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