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