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