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