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