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