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