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