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