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