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