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