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