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