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