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