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