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