[[0,1,2,3,4,6,8,9,10,12,13,14,15,16,17,18,19,20,22,23,24,25,27,28,29,30,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,49,50,52,53,54,55,56,58,59,63,66,69,70,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,92,93,94,95,96,97,98,99,100,101,102,103,104,105,107,108,109,110,111,112,113,115,116,117,118,119,120,121,122,123,124,125,127,129,130,131,132,134,135,136,137,138,139,142,143,144,146,256,257,258,259,260,265,266,267,268,270,271,272,273,274,276,277,278,279,280,281,282,283,284,287,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,307,308,309,310,311,313,314,315,316,317,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,347,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,369,370,372,374,375,377,379,380,381,382,383,384,386,387,388,389,390,393,394,397,399,400,402,515,520,545,550,552,559,561,566,574,575,582,584,592,594,602,612,619,622,631,637,642,648,655,670,673,682,685,694,699,710,718,731,742,749,760,783,807,808,809,812,815,838,841,842,852,853,886,915,920,926,941,946,951,961,962,971,973,981,987,988,989,991,998,1007],[5,7,11,21,26,31,48,60,61,62,64,65,67,68,71,91,106,114,126,133,140,141,145,147,149,150,151,152,154,157,160,161,163,165,166,167,168,170,171,172,173,174,175,176,177,178,180,182,185,186,187,190,192,193,194,203,204,208,209,210,211,213,214,216,217,218,219,220,221,225,226,228,229,231,233,234,236,237,238,239,240,241,246,248,249,252,254,255,261,262,263,269,275,285,286,288,304,305,306,312,318,319,346,348,366,367,368,371,373,376,378,385,391,392,395,396,398,401,403,404,405,406,407,408,409,410,411,412,416,418,420,421,423,426,427,428,429,430,431,432,433,434,435,436,437,438,440,441,442,443,444,445,446,447,450,452,453,454,456,460,461,462,463,464,466,467,469,470,471,472,473,474,475,477,479,480,482,485,488,491,493,494,495,497,498,499,504,505,506,511,521,526,529,534,576,578,596,599,609,617,643,645,649,661,666,671,674,677,683,686,689,691,696,698,704,705,709,713,714,719,722,724,732,743,747,751,754,755,756,757,773,777,791,792,804,806,817,820,831,844,846,855,858,869,873,874,883,889,895,912,921,929,935,938,955,959,977,984,994,995,1003,1009,1013,1015,1016],[51,57,128,148,153,155,156,158,159,164,179,181,183,184,188,189,196,197,198,199,200,201,205,206,207,212,215,222,223,224,227,230,232,235,243,244,245,250,251,253,413,414,415,417,419,422,424,439,448,449,451,455,457,458,459,465,468,476,478,481,483,484,486,492,496,500,501,503,507,508,509,510,514,516,517,531,542,543,546,568,569,589,591,593,600,603,607,626,629,630,633,638,641,647,657,681,692,700,701,726,733,734,745,770,774,778,787,798,803,824,834,845,862,863,866,876,901,913,931,947,965,968,983,990,997,1001,1004,1008,1018],[162,169,191,195,202,242,264,425,490,502,512,523,525,533,536,557,581,597,613,615,620,635,640,644,668,690,711,720,744,759,765,768,776,779,794,800,810,816,833,849,860,871,875,878,881,888,893,905,906,910,924,930,942,943,948,949,950,954,976,978,1012,1017],[247,487,489,549,553,558,571,579,580,601,608,611,664,675,676,687,717,735,739,766,785,786,793,823,827,828,835,882,908,914,922,927,937,940,957,963,969,975,985,1011],[518,532,537,555,556,560,567,583,587,588,654,659,663,669,678,702,707,715,716,721,740,746,758,763,775,797,801,802,811,822,825,839,850,861,865,885,892,897,900,909,911,918,939,966,972,993,1000,1020,1022],[513,519,528,538,539,562,565,573,577,610,627,662,684,703,723,729,753,772,790,805,819,832,836,840,851,902,917,923,956,1002,1021],[527,544,554,570,598,604,616,618,636,639,656,665,706,728,781,813,814,818,826,864,890,894,896,953,964,979,980,999,1005,1010,1019],[522,541,551,606,614,623,650,652,653,679,688,693,695,712,738,748,752,761,769,782,795,821,843,859,877,903,925,928,958,960,974,986],[530,535,563,572,628,680,697,750,764,789,796,848,854,884,891,899,919,936,944,952,970,982,1014,1023],[564,590,605,625,632,672,708,737,788,799,904,932,933],[540,547,586,621,624,634,658,730,762,829,830,847,856,868,870,992],[595,660,736,771,780,784,857,880,907,945],[646,651,725,837,867,887,934,996],[741,767,898,967],[585,727],[548,667,879,916],[524,1006],[872]]