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