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