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