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