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