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