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