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