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