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