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