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