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