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