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