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