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