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