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