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