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