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