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