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