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