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