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