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