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