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