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