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