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