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