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