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