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