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