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