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