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