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