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