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