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