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