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