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