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