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