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