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