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