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