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