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