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