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