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