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