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