<?php
function uintprint6($a)
{
  return sprintf("%u %u %u %u %u %u", $a[0], $a[1], $a[2], $a[3], $a[4], $a[5]);
}

function sort6(&$a)
{
  $mask = gmp_init('539414e0a5380d4e02ab811ae054b81566055c2157014ec0531294c435310aac429d10a62c29832a60c558313a0c4c531306c4c152b054741518a5460d5182ac611b1a06b8852d414b4252d0b0b4298d0a5c42b31074c419b106654198a866215c283b0a0e528386a0e1543850ae222b881ad406b421ad032b444aca11d28466a119544650b194256429591152c454871522354889d2147484e5213b084e9813a4455912a6458991546454e11533054c895a30568ca1a32b08cad03634458d1a22668519a138684cca133604cd11176045d88175405d42175031d44475181d4631518e8463a8172a21ca8b12a2e0a8b9422e540bb110ec458b1174446b111a1c4688d1b0354c0d58435290d4343508ad421d5086ac05aa216a831aa0b8a82d4a0b560654a195056540e95033540cab0346c615318561614a5850d6142e850b1542c2b190ac60a', 16);
  $bits = (intval($a[0] <= $a[1])     ) | (intval($a[1] <= $a[2]) << 1) | (intval($a[2] <= $a[3]) << 2) | (intval($a[3] <= $a[4]) << 3) | (intval($a[4] <= $a[5]) << 4)
          | (intval($a[0] <= $a[2]) << 5) | (intval($a[1] <= $a[3]) << 6) | (intval($a[2] <= $a[4]) << 7) | (intval($a[3] <= $a[5]) << 8)
          | (intval($a[0] <= $a[3]) << 9) | (intval($a[1] <= $a[4]) <<10) | (intval($a[2] <= $a[5]) <<11) 
          | (intval($a[0] <= $a[4]) <<12) | (intval($a[1] <= $a[5]) <<13)
          | (intval($a[0] <= $a[5]) <<14);
  $b = array(
    0x0000 => 1095,
    0x0001 => 2070,
    0x0002 => 1530,
    0x0004 => 1269,
    0x0005 => 2196,
    0x0008 => 1722,
    0x0009 => 1704,
    0x000a => 1827,
    0x0010 => 1635,
    0x0011 => 1113,
    0x0012 => 1617,
    0x0014 => 1287,
    0x0015 => 2283,
    0x0021 => 2088,
    0x0022 => 18,
    0x0023 => 0,
    0x0029 => 2520,
    0x002a => 2451,
    0x002b => 2433,
    0x0031 => 1131,
    0x0032 => 1512,
    0x0033 => 2175,
    0x0042 => 1986,
    0x0044 => 624,
    0x0046 => 2304,
    0x0052 => 2004,
    0x0054 => 729,
    0x0056 => 2391,
    0x0062 => 123,
    0x0072 => 105,
    0x0084 => 1251,
    0x0085 => 2109,
    0x0088 => 426,
    0x0089 => 1686,
    0x008c => 1233,
    0x008d => 2541,
    0x00c4 => 39,
    0x0108 => 645,
    0x0109 => 924,
    0x010a => 1809,
    0x0110 => 855,
    0x0111 => 768,
    0x0112 => 1599,
    0x0118 => 750,
    0x0119 => 663,
    0x011a => 1791,
    0x0129 => 942,
    0x012a => 1353,
    0x012b => 2415,
    0x0131 => 786,
    0x0132 => 1389,
    0x0133 => 2157,
    0x0139 => 681,
    0x013a => 1371,
    0x013b => 2589,
    0x0188 => 408,
    0x0189 => 906,
    0x0205 => 1890,
    0x0215 => 1872,
    0x0221 => 174,
    0x0223 => 279,
    0x0225 => 975,
    0x0231 => 1149,
    0x0233 => 261,
    0x0235 => 993,
    0x0244 => 642,
    0x0245 => 921,
    0x0246 => 1806,
    0x0254 => 747,
    0x0255 => 660,
    0x0256 => 1788,
    0x0262 => 489,
    0x0263 => 384,
    0x0265 => 939,
    0x0266 => 1350,
    0x0267 => 2412,
    0x0272 => 471,
    0x0273 => 297,
    0x0275 => 678,
    0x0276 => 1368,
    0x0277 => 2586,
    0x0285 => 195,
    0x02c4 => 405,
    0x02c5 => 903,
    0x040a => 1932,
    0x042a => 2469,
    0x0442 => 1968,
    0x0446 => 2217,
    0x044a => 1950,
    0x0462 => 141,
    0x046a => 2487,
    0x0488 => 1179,
    0x048a => 237,
    0x048c => 1215,
    0x04c4 => 813,
    0x04c6 => 2130,
    0x04ca => 2037,
    0x04cc => 708,
    0x04ce => 2562,
    0x050a => 1914,
    0x052a => 1335,
    0x0588 => 834,
    0x058a => 219,
    0x0646 => 1911,
    0x0662 => 507,
    0x0666 => 1332,
    0x06c4 => 831,
    0x06c6 => 216,
    0x0814 => 1305,
    0x0815 => 2265,
    0x0854 => 1479,
    0x0884 => 21,
    0x0885 => 3,
    0x088c => 2454,
    0x088d => 2436,
    0x0894 => 1497,
    0x0895 => 2178,
    0x08c4 => 126,
    0x08d4 => 108,
    0x0910 => 1428,
    0x0911 => 339,
    0x0914 => 1410,
    0x0915 => 2247,
    0x0918 => 1446,
    0x0919 => 321,
    0x0988 => 495,
    0x0989 => 390,
    0x098c => 1356,
    0x098d => 2418,
    0x0994 => 1392,
    0x0995 => 2160,
    0x0998 => 477,
    0x0999 => 303,
    0x099c => 1374,
    0x099d => 2592,
    0x0a15 => 1854,
    0x0a54 => 1461,
    0x0a55 => 318,
    0x0a85 => 282,
    0x0a95 => 264,
    0x0ac4 => 492,
    0x0ac5 => 387,
    0x0ad4 => 474,
    0x0ad5 => 300,
    0x0c8c => 2472,
    0x0cc4 => 144,
    0x0ccc => 2490,
    0x0d88 => 513,
    0x0d8c => 1338,
    0x0ec4 => 510,
    0x1029 => 576,
    0x102b => 2346,
    0x1089 => 1668,
    0x108d => 2367,
    0x10a9 => 81,
    0x1129 => 594,
    0x112b => 2328,
    0x1189 => 888,
    0x11a9 => 63,
    0x1221 => 540,
    0x1223 => 1551,
    0x1225 => 1062,
    0x1229 => 558,
    0x122b => 1743,
    0x1263 => 366,
    0x1265 => 957,
    0x1267 => 2325,
    0x1285 => 1572,
    0x128d => 1764,
    0x12a5 => 1044,
    0x12a9 => 447,
    0x12ad => 1026,
    0x12c5 => 885,
    0x12e5 => 60,
    0x142a => 1491,
    0x142b => 2259,
    0x146a => 1473,
    0x1488 => 1632,
    0x1489 => 1650,
    0x148a => 1614,
    0x148c => 1197,
    0x148d => 2280,
    0x14a9 => 1128,
    0x14aa => 1509,
    0x14ab => 2172,
    0x14ca => 2019,
    0x14cc => 726,
    0x14ce => 2388,
    0x14ea => 102,
    0x152a => 1317,
    0x152b => 2241,
    0x1588 => 852,
    0x1589 => 870,
    0x158a => 1596,
    0x15a9 => 783,
    0x15aa => 1404,
    0x15ab => 2154,
    0x162b => 1848,
    0x1662 => 1437,
    0x1663 => 348,
    0x1666 => 1419,
    0x1667 => 2238,
    0x166a => 1455,
    0x166b => 330,
    0x168d => 1869,
    0x16a9 => 1146,
    0x16ab => 258,
    0x16ad => 1008,
    0x16c4 => 849,
    0x16c5 => 867,
    0x16c6 => 1593,
    0x16cc => 744,
    0x16cd => 762,
    0x16ce => 1785,
    0x16e5 => 780,
    0x16e6 => 1401,
    0x16e7 => 2151,
    0x16ea => 468,
    0x16eb => 312,
    0x16ed => 675,
    0x16ee => 1383,
    0x16ef => 2583,
    0x188d => 2349,
    0x1989 => 372,
    0x198d => 2331,
    0x1a85 => 1554,
    0x1a8d => 1746,
    0x1ac5 => 369,
    0x1c8c => 1302,
    0x1c8d => 2262,
    0x1ccc => 1476,
    0x1d88 => 1425,
    0x1d89 => 354,
    0x1d8c => 1320,
    0x1d8d => 2244,
    0x1e8d => 1851,
    0x1ec4 => 1440,
    0x1ec5 => 351,
    0x1ecc => 1458,
    0x1ecd => 333,
    0x2052 => 1656,
    0x2056 => 2373,
    0x2072 => 87,
    0x2112 => 1581,
    0x211a => 1773,
    0x2132 => 1035,
    0x213a => 1017,
    0x2152 => 876,
    0x2172 => 69,
    0x2256 => 1770,
    0x2272 => 453,
    0x2276 => 1014,
    0x2442 => 2073,
    0x2446 => 2199,
    0x244a => 2055,
    0x2452 => 1116,
    0x2456 => 2286,
    0x2462 => 159,
    0x246a => 2505,
    0x2472 => 1134,
    0x24c6 => 2112,
    0x24ca => 1689,
    0x24ce => 2544,
    0x250a => 1896,
    0x251a => 1878,
    0x252a => 981,
    0x253a => 999,
    0x254a => 927,
    0x2552 => 771,
    0x255a => 666,
    0x256a => 945,
    0x2572 => 789,
    0x257a => 684,
    0x258a => 201,
    0x25ca => 909,
    0x2646 => 1893,
    0x2656 => 1875,
    0x2662 => 525,
    0x2666 => 978,
    0x2672 => 1152,
    0x2676 => 996,
    0x26c6 => 198,
    0x2854 => 585,
    0x2856 => 2355,
    0x28d4 => 90,
    0x2910 => 1074,
    0x2912 => 1563,
    0x2914 => 1056,
    0x2918 => 552,
    0x291a => 1755,
    0x2952 => 360,
    0x2954 => 603,
    0x2956 => 2337,
    0x2994 => 1038,
    0x2998 => 459,
    0x299c => 1020,
    0x29d4 => 72,
    0x2a54 => 567,
    0x2a56 => 1752,
    0x2ad4 => 456,
    0x2c56 => 2268,
    0x2cc4 => 162,
    0x2cc6 => 2094,
    0x2ccc => 2508,
    0x2cce => 2526,
    0x2cd4 => 1137,
    0x2cd6 => 2181,
    0x2d1a => 1860,
    0x2d52 => 342,
    0x2d56 => 2250,
    0x2d5a => 324,
    0x2d88 => 531,
    0x2d8a => 183,
    0x2d8c => 984,
    0x2d98 => 1158,
    0x2d9a => 270,
    0x2d9c => 1002,
    0x2dca => 288,
    0x2dcc => 948,
    0x2dce => 2421,
    0x2dd4 => 792,
    0x2dd6 => 2163,
    0x2dda => 306,
    0x2ddc => 687,
    0x2dde => 2595,
    0x2e56 => 1857,
    0x2ec4 => 528,
    0x2ec6 => 180,
    0x2ed4 => 1155,
    0x2ed6 => 267,
    0x346a => 579,
    0x34ca => 1671,
    0x34ce => 2370,
    0x34ea => 84,
    0x352a => 963,
    0x356a => 597,
    0x358a => 1578,
    0x35aa => 1050,
    0x35ca => 891,
    0x35ea => 66,
    0x3662 => 543,
    0x3666 => 1065,
    0x366a => 561,
    0x36c6 => 1575,
    0x36ce => 1767,
    0x36e6 => 1047,
    0x36ea => 450,
    0x36ee => 1029,
    0x3ccc => 582,
    0x3cce => 2352,
    0x3d88 => 1071,
    0x3d8a => 1560,
    0x3d8c => 966,
    0x3dca => 375,
    0x3dcc => 600,
    0x3dce => 2334,
    0x3ec4 => 546,
    0x3ec6 => 1557,
    0x3ecc => 564,
    0x3ece => 1749,
    0x4131 => 804,
    0x4133 => 2139,
    0x4139 => 699,
    0x413b => 2571,
    0x4231 => 1167,
    0x4233 => 243,
    0x4235 => 1203,
    0x4273 => 2025,
    0x4275 => 696,
    0x4277 => 2568,
    0x4331 => 822,
    0x4333 => 225,
    0x4911 => 1962,
    0x4915 => 2229,
    0x4919 => 2049,
    0x4931 => 153,
    0x4939 => 2499,
    0x4995 => 2142,
    0x4999 => 2031,
    0x499d => 2574,
    0x4a15 => 1941,
    0x4a35 => 2478,
    0x4a55 => 2046,
    0x4a75 => 2496,
    0x4a95 => 246,
    0x4ad5 => 2028,
    0x4b15 => 1923,
    0x4b31 => 519,
    0x4b35 => 1326,
    0x4b95 => 228,
    0x5129 => 612,
    0x512b => 2310,
    0x5139 => 717,
    0x513b => 2397,
    0x51a9 => 45,
    0x5221 => 1080,
    0x5223 => 1533,
    0x5225 => 1272,
    0x5229 => 1725,
    0x522b => 1830,
    0x5231 => 1185,
    0x5233 => 1620,
    0x5235 => 1290,
    0x5263 => 1989,
    0x5265 => 609,
    0x5267 => 2307,
    0x5273 => 2007,
    0x5275 => 714,
    0x5277 => 2394,
    0x52a5 => 1254,
    0x52a9 => 429,
    0x52ad => 1236,
    0x52e5 => 42,
    0x5329 => 630,
    0x532b => 1812,
    0x5331 => 840,
    0x5333 => 1602,
    0x5339 => 735,
    0x533b => 1794,
    0x53a9 => 411,
    0x552b => 2223,
    0x55a9 => 801,
    0x55ab => 2136,
    0x562b => 1935,
    0x5663 => 1971,
    0x5667 => 2220,
    0x566b => 1953,
    0x56a9 => 1164,
    0x56ab => 240,
    0x56ad => 1218,
    0x56e5 => 798,
    0x56e7 => 2133,
    0x56eb => 2040,
    0x56ed => 693,
    0x56ef => 2565,
    0x572b => 1917,
    0x57a9 => 819,
    0x57ab => 222,
    0x5939 => 1467,
    0x5989 => 1995,
    0x598d => 2313,
    0x5999 => 2013,
    0x599d => 2400,
    0x59a9 => 132,
    0x59b9 => 114,
    0x5a35 => 1308,
    0x5a75 => 1482,
    0x5a85 => 1536,
    0x5a8d => 1833,
    0x5a95 => 1518,
    0x5aa5 => 24,
    0x5aad => 2457,
    0x5ab5 => 1500,
    0x5ac5 => 1992,
    0x5ad5 => 2010,
    0x5ae5 => 129,
    0x5af5 => 111,
    0x5b31 => 1431,
    0x5b35 => 1413,
    0x5b39 => 1449,
    0x5b8d => 1815,
    0x5b95 => 1605,
    0x5b9d => 1797,
    0x5ba9 => 498,
    0x5bad => 1359,
    0x5bb5 => 1395,
    0x5bb9 => 480,
    0x5bbd => 1377,
    0x5d89 => 1977,
    0x5d8d => 2226,
    0x5da9 => 150,
    0x5e8d => 1938,
    0x5ead => 2475,
    0x5ec5 => 1974,
    0x5ecd => 1956,
    0x5ee5 => 147,
    0x5eed => 2493,
    0x5f8d => 1920,
    0x5fa9 => 516,
    0x5fad => 1341,
    0x6132 => 1245,
    0x6133 => 2121,
    0x613a => 1227,
    0x613b => 2553,
    0x6172 => 51,
    0x6272 => 435,
    0x6273 => 1677,
    0x6276 => 1224,
    0x6277 => 2550,
    0x6333 => 207,
    0x6372 => 417,
    0x6373 => 897,
    0x653a => 1209,
    0x6572 => 807,
    0x657a => 702,
    0x6672 => 1170,
    0x6676 => 1206,
    0x6772 => 825,
    0x6910 => 1092,
    0x6911 => 2067,
    0x6912 => 1545,
    0x6914 => 1266,
    0x6915 => 2211,
    0x6918 => 1719,
    0x6919 => 1701,
    0x691a => 1737,
    0x6931 => 2085,
    0x6932 => 15,
    0x6933 => 2103,
    0x6939 => 2517,
    0x693a => 2448,
    0x693b => 2535,
    0x6952 => 1983,
    0x6954 => 621,
    0x6956 => 2319,
    0x6972 => 33,
    0x6994 => 1248,
    0x6995 => 2124,
    0x6998 => 441,
    0x6999 => 1683,
    0x699c => 1230,
    0x699d => 2556,
    0x69d4 => 54,
    0x6a54 => 1716,
    0x6a55 => 1698,
    0x6a56 => 1734,
    0x6a75 => 2514,
    0x6a76 => 2445,
    0x6a77 => 2532,
    0x6ad4 => 438,
    0x6ad5 => 1680,
    0x6b15 => 1905,
    0x6b31 => 171,
    0x6b33 => 189,
    0x6b35 => 972,
    0x6b54 => 639,
    0x6b55 => 918,
    0x6b56 => 1821,
    0x6b72 => 399,
    0x6b73 => 381,
    0x6b75 => 936,
    0x6b76 => 1347,
    0x6b77 => 2427,
    0x6b95 => 210,
    0x6bd4 => 420,
    0x6bd5 => 900,
    0x6d1a => 1842,
    0x6d3a => 2466,
    0x6d52 => 1965,
    0x6d56 => 2232,
    0x6d5a => 1947,
    0x6d72 => 138,
    0x6d7a => 2484,
    0x6d98 => 1176,
    0x6d9a => 252,
    0x6d9c => 1212,
    0x6dd4 => 810,
    0x6dd6 => 2145,
    0x6dda => 2034,
    0x6ddc => 705,
    0x6dde => 2577,
    0x6e56 => 1839,
    0x6e76 => 2463,
    0x6ed4 => 1173,
    0x6ed6 => 249,
    0x6f56 => 1926,
    0x6f72 => 504,
    0x6f76 => 1329,
    0x6fd4 => 828,
    0x6fd6 => 231,
    0x713b => 2379,
    0x7273 => 1659,
    0x7277 => 2376,
    0x7333 => 1584,
    0x733b => 1776,
    0x7373 => 879,
    0x752a => 1278,
    0x752b => 2205,
    0x753a => 1296,
    0x753b => 2292,
    0x756a => 615,
    0x757a => 720,
    0x75aa => 1260,
    0x75ab => 2118,
    0x75ea => 48,
    0x7662 => 1083,
    0x7663 => 1101,
    0x7666 => 1275,
    0x7667 => 2202,
    0x766a => 1710,
    0x766b => 2058,
    0x7672 => 1188,
    0x7673 => 1641,
    0x7676 => 1293,
    0x7677 => 2289,
    0x76e6 => 1257,
    0x76e7 => 2115,
    0x76ea => 432,
    0x76eb => 1692,
    0x76ee => 1239,
    0x76ef => 2547,
    0x772b => 1899,
    0x773b => 1881,
    0x776a => 633,
    0x776b => 651,
    0x7772 => 843,
    0x7773 => 861,
    0x777a => 738,
    0x777b => 756,
    0x77ab => 204,
    0x77ea => 414,
    0x77eb => 912,
    0x7939 => 573,
    0x793b => 2361,
    0x7999 => 1665,
    0x799d => 2382,
    0x79b9 => 96,
    0x7a75 => 588,
    0x7a77 => 2358,
    0x7ad5 => 1662,
    0x7af5 => 93,
    0x7b31 => 537,
    0x7b33 => 1566,
    0x7b35 => 1059,
    0x7b39 => 555,
    0x7b3b => 1758,
    0x7b73 => 363,
    0x7b75 => 954,
    0x7b77 => 2340,
    0x7b95 => 1587,
    0x7b9d => 1779,
    0x7bb5 => 1041,
    0x7bb9 => 462,
    0x7bbd => 1023,
    0x7bd5 => 882,
    0x7bf5 => 75,
    0x7d3a => 1488,
    0x7d3b => 2274,
    0x7d7a => 1470,
    0x7d88 => 1089,
    0x7d89 => 1107,
    0x7d8a => 1542,
    0x7d8c => 1281,
    0x7d8d => 2208,
    0x7d98 => 1629,
    0x7d99 => 1647,
    0x7d9a => 1524,
    0x7d9c => 1194,
    0x7d9d => 2295,
    0x7da9 => 2082,
    0x7daa => 12,
    0x7dab => 2100,
    0x7db9 => 1125,
    0x7dba => 1506,
    0x7dbb => 2187,
    0x7dca => 1998,
    0x7dcc => 618,
    0x7dce => 2316,
    0x7dda => 2016,
    0x7ddc => 723,
    0x7dde => 2403,
    0x7dea => 30,
    0x7dfa => 117,
    0x7e76 => 1311,
    0x7e77 => 2271,
    0x7ec4 => 1086,
    0x7ec5 => 1104,
    0x7ec6 => 1539,
    0x7ecc => 1713,
    0x7ecd => 2061,
    0x7ece => 1731,
    0x7ed4 => 1626,
    0x7ed5 => 1644,
    0x7ed6 => 1521,
    0x7ee5 => 2079,
    0x7ee6 => 9,
    0x7ee7 => 2097,
    0x7eed => 2511,
    0x7eee => 2442,
    0x7eef => 2529,
    0x7ef5 => 1122,
    0x7ef6 => 1503,
    0x7ef7 => 2184,
    0x7f3b => 1863,
    0x7f72 => 1434,
    0x7f73 => 345,
    0x7f76 => 1416,
    0x7f77 => 2253,
    0x7f7a => 1452,
    0x7f7b => 327,
    0x7f8d => 1902,
    0x7f9d => 1884,
    0x7fa9 => 168,
    0x7fab => 186,
    0x7fad => 987,
    0x7fb9 => 1143,
    0x7fbb => 273,
    0x7fbd => 1005,
    0x7fcc => 636,
    0x7fcd => 654,
    0x7fce => 1818,
    0x7fd4 => 846,
    0x7fd5 => 864,
    0x7fd6 => 1608,
    0x7fdc => 741,
    0x7fdd => 759,
    0x7fde => 1800,
    0x7fea => 396,
    0x7feb => 291,
    0x7fed => 933,
    0x7fee => 1362,
    0x7fef => 2424,
    0x7ff5 => 777,
    0x7ff6 => 1398,
    0x7ff7 => 2166,
    0x7ffa => 483,
    0x7ffb => 309,
    0x7ffd => 672,
    0x7ffe => 1380,
    0x7fff => 2598,
  );
  $mask >>= $b[$bits];
  $i5 = gmp_intval(gmp_mod($mask,8));
  $mask >>= 3;
  $i4 = gmp_intval(gmp_mod($mask,8));
  $mask >>= 3;
  $i3 = gmp_intval(gmp_mod($mask,8));
  $mask >>= 3;
  $i2 = gmp_intval(gmp_mod($mask,8));
  $mask >>= 3;
  $i1 = gmp_intval(gmp_mod($mask,8));
  $mask >>= 3;
  $i0 = gmp_intval(gmp_mod($mask,8));
  $tmp = array($a[$i0], $a[$i1], $a[$i2], $a[$i3], $a[$i4], $a[$i5]);
  $a = $tmp;
}

/* TEST */
 
$mutations = array(
array(0, 1, 2, 3, 4, 5), 
array(0, 1, 2, 3, 5, 4), 
array(0, 1, 2, 4, 3, 5), 
array(0, 1, 2, 4, 5, 3), 
array(0, 1, 2, 5, 3, 4), 
array(0, 1, 2, 5, 4, 3), 
array(0, 1, 3, 2, 4, 5), 
array(0, 1, 3, 2, 5, 4), 
array(0, 1, 3, 4, 2, 5), 
array(0, 1, 3, 4, 5, 2), 
array(0, 1, 3, 5, 2, 4), 
array(0, 1, 3, 5, 4, 2), 
array(0, 1, 4, 2, 3, 5), 
array(0, 1, 4, 2, 5, 3), 
array(0, 1, 4, 3, 2, 5), 
array(0, 1, 4, 3, 5, 2), 
array(0, 1, 4, 5, 2, 3), 
array(0, 1, 4, 5, 3, 2), 
array(0, 1, 5, 2, 3, 4), 
array(0, 1, 5, 2, 4, 3), 
array(0, 1, 5, 3, 2, 4), 
array(0, 1, 5, 3, 4, 2), 
array(0, 1, 5, 4, 2, 3), 
array(0, 1, 5, 4, 3, 2), 
array(0, 2, 1, 3, 4, 5), 
array(0, 2, 1, 3, 5, 4), 
array(0, 2, 1, 4, 3, 5), 
array(0, 2, 1, 4, 5, 3), 
array(0, 2, 1, 5, 3, 4), 
array(0, 2, 1, 5, 4, 3), 
array(0, 2, 3, 1, 4, 5), 
array(0, 2, 3, 1, 5, 4), 
array(0, 2, 3, 4, 1, 5), 
array(0, 2, 3, 4, 5, 1), 
array(0, 2, 3, 5, 1, 4), 
array(0, 2, 3, 5, 4, 1), 
array(0, 2, 4, 1, 3, 5), 
array(0, 2, 4, 1, 5, 3), 
array(0, 2, 4, 3, 1, 5), 
array(0, 2, 4, 3, 5, 1), 
array(0, 2, 4, 5, 1, 3), 
array(0, 2, 4, 5, 3, 1), 
array(0, 2, 5, 1, 3, 4), 
array(0, 2, 5, 1, 4, 3), 
array(0, 2, 5, 3, 1, 4), 
array(0, 2, 5, 3, 4, 1), 
array(0, 2, 5, 4, 1, 3), 
array(0, 2, 5, 4, 3, 1), 
array(0, 3, 1, 2, 4, 5), 
array(0, 3, 1, 2, 5, 4), 
array(0, 3, 1, 4, 2, 5), 
array(0, 3, 1, 4, 5, 2), 
array(0, 3, 1, 5, 2, 4), 
array(0, 3, 1, 5, 4, 2), 
array(0, 3, 2, 1, 4, 5), 
array(0, 3, 2, 1, 5, 4), 
array(0, 3, 2, 4, 1, 5), 
array(0, 3, 2, 4, 5, 1), 
array(0, 3, 2, 5, 1, 4), 
array(0, 3, 2, 5, 4, 1), 
array(0, 3, 4, 1, 2, 5), 
array(0, 3, 4, 1, 5, 2), 
array(0, 3, 4, 2, 1, 5), 
array(0, 3, 4, 2, 5, 1), 
array(0, 3, 4, 5, 1, 2), 
array(0, 3, 4, 5, 2, 1), 
array(0, 3, 5, 1, 2, 4), 
array(0, 3, 5, 1, 4, 2), 
array(0, 3, 5, 2, 1, 4), 
array(0, 3, 5, 2, 4, 1), 
array(0, 3, 5, 4, 1, 2), 
array(0, 3, 5, 4, 2, 1), 
array(0, 4, 1, 2, 3, 5), 
array(0, 4, 1, 2, 5, 3), 
array(0, 4, 1, 3, 2, 5), 
array(0, 4, 1, 3, 5, 2), 
array(0, 4, 1, 5, 2, 3), 
array(0, 4, 1, 5, 3, 2), 
array(0, 4, 2, 1, 3, 5), 
array(0, 4, 2, 1, 5, 3), 
array(0, 4, 2, 3, 1, 5), 
array(0, 4, 2, 3, 5, 1), 
array(0, 4, 2, 5, 1, 3), 
array(0, 4, 2, 5, 3, 1), 
array(0, 4, 3, 1, 2, 5), 
array(0, 4, 3, 1, 5, 2), 
array(0, 4, 3, 2, 1, 5), 
array(0, 4, 3, 2, 5, 1), 
array(0, 4, 3, 5, 1, 2), 
array(0, 4, 3, 5, 2, 1), 
array(0, 4, 5, 1, 2, 3), 
array(0, 4, 5, 1, 3, 2), 
array(0, 4, 5, 2, 1, 3), 
array(0, 4, 5, 2, 3, 1), 
array(0, 4, 5, 3, 1, 2), 
array(0, 4, 5, 3, 2, 1), 
array(0, 5, 1, 2, 3, 4), 
array(0, 5, 1, 2, 4, 3), 
array(0, 5, 1, 3, 2, 4), 
array(0, 5, 1, 3, 4, 2), 
array(0, 5, 1, 4, 2, 3), 
array(0, 5, 1, 4, 3, 2), 
array(0, 5, 2, 1, 3, 4), 
array(0, 5, 2, 1, 4, 3), 
array(0, 5, 2, 3, 1, 4), 
array(0, 5, 2, 3, 4, 1), 
array(0, 5, 2, 4, 1, 3), 
array(0, 5, 2, 4, 3, 1), 
array(0, 5, 3, 1, 2, 4), 
array(0, 5, 3, 1, 4, 2), 
array(0, 5, 3, 2, 1, 4), 
array(0, 5, 3, 2, 4, 1), 
array(0, 5, 3, 4, 1, 2), 
array(0, 5, 3, 4, 2, 1), 
array(0, 5, 4, 1, 2, 3), 
array(0, 5, 4, 1, 3, 2), 
array(0, 5, 4, 2, 1, 3), 
array(0, 5, 4, 2, 3, 1), 
array(0, 5, 4, 3, 1, 2), 
array(0, 5, 4, 3, 2, 1), 
array(1, 0, 2, 3, 4, 5), 
array(1, 0, 2, 3, 5, 4), 
array(1, 0, 2, 4, 3, 5), 
array(1, 0, 2, 4, 5, 3), 
array(1, 0, 2, 5, 3, 4), 
array(1, 0, 2, 5, 4, 3), 
array(1, 0, 3, 2, 4, 5), 
array(1, 0, 3, 2, 5, 4), 
array(1, 0, 3, 4, 2, 5), 
array(1, 0, 3, 4, 5, 2), 
array(1, 0, 3, 5, 2, 4), 
array(1, 0, 3, 5, 4, 2), 
array(1, 0, 4, 2, 3, 5), 
array(1, 0, 4, 2, 5, 3), 
array(1, 0, 4, 3, 2, 5), 
array(1, 0, 4, 3, 5, 2), 
array(1, 0, 4, 5, 2, 3), 
array(1, 0, 4, 5, 3, 2), 
array(1, 0, 5, 2, 3, 4), 
array(1, 0, 5, 2, 4, 3), 
array(1, 0, 5, 3, 2, 4), 
array(1, 0, 5, 3, 4, 2), 
array(1, 0, 5, 4, 2, 3), 
array(1, 0, 5, 4, 3, 2), 
array(1, 2, 0, 3, 4, 5), 
array(1, 2, 0, 3, 5, 4), 
array(1, 2, 0, 4, 3, 5), 
array(1, 2, 0, 4, 5, 3), 
array(1, 2, 0, 5, 3, 4), 
array(1, 2, 0, 5, 4, 3), 
array(1, 2, 3, 0, 4, 5), 
array(1, 2, 3, 0, 5, 4), 
array(1, 2, 3, 4, 0, 5), 
array(1, 2, 3, 4, 5, 0), 
array(1, 2, 3, 5, 0, 4), 
array(1, 2, 3, 5, 4, 0), 
array(1, 2, 4, 0, 3, 5), 
array(1, 2, 4, 0, 5, 3), 
array(1, 2, 4, 3, 0, 5), 
array(1, 2, 4, 3, 5, 0), 
array(1, 2, 4, 5, 0, 3), 
array(1, 2, 4, 5, 3, 0), 
array(1, 2, 5, 0, 3, 4), 
array(1, 2, 5, 0, 4, 3), 
array(1, 2, 5, 3, 0, 4), 
array(1, 2, 5, 3, 4, 0), 
array(1, 2, 5, 4, 0, 3), 
array(1, 2, 5, 4, 3, 0), 
array(1, 3, 0, 2, 4, 5), 
array(1, 3, 0, 2, 5, 4), 
array(1, 3, 0, 4, 2, 5), 
array(1, 3, 0, 4, 5, 2), 
array(1, 3, 0, 5, 2, 4), 
array(1, 3, 0, 5, 4, 2), 
array(1, 3, 2, 0, 4, 5), 
array(1, 3, 2, 0, 5, 4), 
array(1, 3, 2, 4, 0, 5), 
array(1, 3, 2, 4, 5, 0), 
array(1, 3, 2, 5, 0, 4), 
array(1, 3, 2, 5, 4, 0), 
array(1, 3, 4, 0, 2, 5), 
array(1, 3, 4, 0, 5, 2), 
array(1, 3, 4, 2, 0, 5), 
array(1, 3, 4, 2, 5, 0), 
array(1, 3, 4, 5, 0, 2), 
array(1, 3, 4, 5, 2, 0), 
array(1, 3, 5, 0, 2, 4), 
array(1, 3, 5, 0, 4, 2), 
array(1, 3, 5, 2, 0, 4), 
array(1, 3, 5, 2, 4, 0), 
array(1, 3, 5, 4, 0, 2), 
array(1, 3, 5, 4, 2, 0), 
array(1, 4, 0, 2, 3, 5), 
array(1, 4, 0, 2, 5, 3), 
array(1, 4, 0, 3, 2, 5), 
array(1, 4, 0, 3, 5, 2), 
array(1, 4, 0, 5, 2, 3), 
array(1, 4, 0, 5, 3, 2), 
array(1, 4, 2, 0, 3, 5), 
array(1, 4, 2, 0, 5, 3), 
array(1, 4, 2, 3, 0, 5), 
array(1, 4, 2, 3, 5, 0), 
array(1, 4, 2, 5, 0, 3), 
array(1, 4, 2, 5, 3, 0), 
array(1, 4, 3, 0, 2, 5), 
array(1, 4, 3, 0, 5, 2), 
array(1, 4, 3, 2, 0, 5), 
array(1, 4, 3, 2, 5, 0), 
array(1, 4, 3, 5, 0, 2), 
array(1, 4, 3, 5, 2, 0), 
array(1, 4, 5, 0, 2, 3), 
array(1, 4, 5, 0, 3, 2), 
array(1, 4, 5, 2, 0, 3), 
array(1, 4, 5, 2, 3, 0), 
array(1, 4, 5, 3, 0, 2), 
array(1, 4, 5, 3, 2, 0), 
array(1, 5, 0, 2, 3, 4), 
array(1, 5, 0, 2, 4, 3), 
array(1, 5, 0, 3, 2, 4), 
array(1, 5, 0, 3, 4, 2), 
array(1, 5, 0, 4, 2, 3), 
array(1, 5, 0, 4, 3, 2), 
array(1, 5, 2, 0, 3, 4), 
array(1, 5, 2, 0, 4, 3), 
array(1, 5, 2, 3, 0, 4), 
array(1, 5, 2, 3, 4, 0), 
array(1, 5, 2, 4, 0, 3), 
array(1, 5, 2, 4, 3, 0), 
array(1, 5, 3, 0, 2, 4), 
array(1, 5, 3, 0, 4, 2), 
array(1, 5, 3, 2, 0, 4), 
array(1, 5, 3, 2, 4, 0), 
array(1, 5, 3, 4, 0, 2), 
array(1, 5, 3, 4, 2, 0), 
array(1, 5, 4, 0, 2, 3), 
array(1, 5, 4, 0, 3, 2), 
array(1, 5, 4, 2, 0, 3), 
array(1, 5, 4, 2, 3, 0), 
array(1, 5, 4, 3, 0, 2), 
array(1, 5, 4, 3, 2, 0), 
array(2, 0, 1, 3, 4, 5), 
array(2, 0, 1, 3, 5, 4), 
array(2, 0, 1, 4, 3, 5), 
array(2, 0, 1, 4, 5, 3), 
array(2, 0, 1, 5, 3, 4), 
array(2, 0, 1, 5, 4, 3), 
array(2, 0, 3, 1, 4, 5), 
array(2, 0, 3, 1, 5, 4), 
array(2, 0, 3, 4, 1, 5), 
array(2, 0, 3, 4, 5, 1), 
array(2, 0, 3, 5, 1, 4), 
array(2, 0, 3, 5, 4, 1), 
array(2, 0, 4, 1, 3, 5), 
array(2, 0, 4, 1, 5, 3), 
array(2, 0, 4, 3, 1, 5), 
array(2, 0, 4, 3, 5, 1), 
array(2, 0, 4, 5, 1, 3), 
array(2, 0, 4, 5, 3, 1), 
array(2, 0, 5, 1, 3, 4), 
array(2, 0, 5, 1, 4, 3), 
array(2, 0, 5, 3, 1, 4), 
array(2, 0, 5, 3, 4, 1), 
array(2, 0, 5, 4, 1, 3), 
array(2, 0, 5, 4, 3, 1), 
array(2, 1, 0, 3, 4, 5), 
array(2, 1, 0, 3, 5, 4), 
array(2, 1, 0, 4, 3, 5), 
array(2, 1, 0, 4, 5, 3), 
array(2, 1, 0, 5, 3, 4), 
array(2, 1, 0, 5, 4, 3), 
array(2, 1, 3, 0, 4, 5), 
array(2, 1, 3, 0, 5, 4), 
array(2, 1, 3, 4, 0, 5), 
array(2, 1, 3, 4, 5, 0), 
array(2, 1, 3, 5, 0, 4), 
array(2, 1, 3, 5, 4, 0), 
array(2, 1, 4, 0, 3, 5), 
array(2, 1, 4, 0, 5, 3), 
array(2, 1, 4, 3, 0, 5), 
array(2, 1, 4, 3, 5, 0), 
array(2, 1, 4, 5, 0, 3), 
array(2, 1, 4, 5, 3, 0), 
array(2, 1, 5, 0, 3, 4), 
array(2, 1, 5, 0, 4, 3), 
array(2, 1, 5, 3, 0, 4), 
array(2, 1, 5, 3, 4, 0), 
array(2, 1, 5, 4, 0, 3), 
array(2, 1, 5, 4, 3, 0), 
array(2, 3, 0, 1, 4, 5), 
array(2, 3, 0, 1, 5, 4), 
array(2, 3, 0, 4, 1, 5), 
array(2, 3, 0, 4, 5, 1), 
array(2, 3, 0, 5, 1, 4), 
array(2, 3, 0, 5, 4, 1), 
array(2, 3, 1, 0, 4, 5), 
array(2, 3, 1, 0, 5, 4), 
array(2, 3, 1, 4, 0, 5), 
array(2, 3, 1, 4, 5, 0), 
array(2, 3, 1, 5, 0, 4), 
array(2, 3, 1, 5, 4, 0), 
array(2, 3, 4, 0, 1, 5), 
array(2, 3, 4, 0, 5, 1), 
array(2, 3, 4, 1, 0, 5), 
array(2, 3, 4, 1, 5, 0), 
array(2, 3, 4, 5, 0, 1), 
array(2, 3, 4, 5, 1, 0), 
array(2, 3, 5, 0, 1, 4), 
array(2, 3, 5, 0, 4, 1), 
array(2, 3, 5, 1, 0, 4), 
array(2, 3, 5, 1, 4, 0), 
array(2, 3, 5, 4, 0, 1), 
array(2, 3, 5, 4, 1, 0), 
array(2, 4, 0, 1, 3, 5), 
array(2, 4, 0, 1, 5, 3), 
array(2, 4, 0, 3, 1, 5), 
array(2, 4, 0, 3, 5, 1), 
array(2, 4, 0, 5, 1, 3), 
array(2, 4, 0, 5, 3, 1), 
array(2, 4, 1, 0, 3, 5), 
array(2, 4, 1, 0, 5, 3), 
array(2, 4, 1, 3, 0, 5), 
array(2, 4, 1, 3, 5, 0), 
array(2, 4, 1, 5, 0, 3), 
array(2, 4, 1, 5, 3, 0), 
array(2, 4, 3, 0, 1, 5), 
array(2, 4, 3, 0, 5, 1), 
array(2, 4, 3, 1, 0, 5), 
array(2, 4, 3, 1, 5, 0), 
array(2, 4, 3, 5, 0, 1), 
array(2, 4, 3, 5, 1, 0), 
array(2, 4, 5, 0, 1, 3), 
array(2, 4, 5, 0, 3, 1), 
array(2, 4, 5, 1, 0, 3), 
array(2, 4, 5, 1, 3, 0), 
array(2, 4, 5, 3, 0, 1), 
array(2, 4, 5, 3, 1, 0), 
array(2, 5, 0, 1, 3, 4), 
array(2, 5, 0, 1, 4, 3), 
array(2, 5, 0, 3, 1, 4), 
array(2, 5, 0, 3, 4, 1), 
array(2, 5, 0, 4, 1, 3), 
array(2, 5, 0, 4, 3, 1), 
array(2, 5, 1, 0, 3, 4), 
array(2, 5, 1, 0, 4, 3), 
array(2, 5, 1, 3, 0, 4), 
array(2, 5, 1, 3, 4, 0), 
array(2, 5, 1, 4, 0, 3), 
array(2, 5, 1, 4, 3, 0), 
array(2, 5, 3, 0, 1, 4), 
array(2, 5, 3, 0, 4, 1), 
array(2, 5, 3, 1, 0, 4), 
array(2, 5, 3, 1, 4, 0), 
array(2, 5, 3, 4, 0, 1), 
array(2, 5, 3, 4, 1, 0), 
array(2, 5, 4, 0, 1, 3), 
array(2, 5, 4, 0, 3, 1), 
array(2, 5, 4, 1, 0, 3), 
array(2, 5, 4, 1, 3, 0), 
array(2, 5, 4, 3, 0, 1), 
array(2, 5, 4, 3, 1, 0), 
array(3, 0, 1, 2, 4, 5), 
array(3, 0, 1, 2, 5, 4), 
array(3, 0, 1, 4, 2, 5), 
array(3, 0, 1, 4, 5, 2), 
array(3, 0, 1, 5, 2, 4), 
array(3, 0, 1, 5, 4, 2), 
array(3, 0, 2, 1, 4, 5), 
array(3, 0, 2, 1, 5, 4), 
array(3, 0, 2, 4, 1, 5), 
array(3, 0, 2, 4, 5, 1), 
array(3, 0, 2, 5, 1, 4), 
array(3, 0, 2, 5, 4, 1), 
array(3, 0, 4, 1, 2, 5), 
array(3, 0, 4, 1, 5, 2), 
array(3, 0, 4, 2, 1, 5), 
array(3, 0, 4, 2, 5, 1), 
array(3, 0, 4, 5, 1, 2), 
array(3, 0, 4, 5, 2, 1), 
array(3, 0, 5, 1, 2, 4), 
array(3, 0, 5, 1, 4, 2), 
array(3, 0, 5, 2, 1, 4), 
array(3, 0, 5, 2, 4, 1), 
array(3, 0, 5, 4, 1, 2), 
array(3, 0, 5, 4, 2, 1), 
array(3, 1, 0, 2, 4, 5), 
array(3, 1, 0, 2, 5, 4), 
array(3, 1, 0, 4, 2, 5), 
array(3, 1, 0, 4, 5, 2), 
array(3, 1, 0, 5, 2, 4), 
array(3, 1, 0, 5, 4, 2), 
array(3, 1, 2, 0, 4, 5), 
array(3, 1, 2, 0, 5, 4), 
array(3, 1, 2, 4, 0, 5), 
array(3, 1, 2, 4, 5, 0), 
array(3, 1, 2, 5, 0, 4), 
array(3, 1, 2, 5, 4, 0), 
array(3, 1, 4, 0, 2, 5), 
array(3, 1, 4, 0, 5, 2), 
array(3, 1, 4, 2, 0, 5), 
array(3, 1, 4, 2, 5, 0), 
array(3, 1, 4, 5, 0, 2), 
array(3, 1, 4, 5, 2, 0), 
array(3, 1, 5, 0, 2, 4), 
array(3, 1, 5, 0, 4, 2), 
array(3, 1, 5, 2, 0, 4), 
array(3, 1, 5, 2, 4, 0), 
array(3, 1, 5, 4, 0, 2), 
array(3, 1, 5, 4, 2, 0), 
array(3, 2, 0, 1, 4, 5), 
array(3, 2, 0, 1, 5, 4), 
array(3, 2, 0, 4, 1, 5), 
array(3, 2, 0, 4, 5, 1), 
array(3, 2, 0, 5, 1, 4), 
array(3, 2, 0, 5, 4, 1), 
array(3, 2, 1, 0, 4, 5), 
array(3, 2, 1, 0, 5, 4), 
array(3, 2, 1, 4, 0, 5), 
array(3, 2, 1, 4, 5, 0), 
array(3, 2, 1, 5, 0, 4), 
array(3, 2, 1, 5, 4, 0), 
array(3, 2, 4, 0, 1, 5), 
array(3, 2, 4, 0, 5, 1), 
array(3, 2, 4, 1, 0, 5), 
array(3, 2, 4, 1, 5, 0), 
array(3, 2, 4, 5, 0, 1), 
array(3, 2, 4, 5, 1, 0), 
array(3, 2, 5, 0, 1, 4), 
array(3, 2, 5, 0, 4, 1), 
array(3, 2, 5, 1, 0, 4), 
array(3, 2, 5, 1, 4, 0), 
array(3, 2, 5, 4, 0, 1), 
array(3, 2, 5, 4, 1, 0), 
array(3, 4, 0, 1, 2, 5), 
array(3, 4, 0, 1, 5, 2), 
array(3, 4, 0, 2, 1, 5), 
array(3, 4, 0, 2, 5, 1), 
array(3, 4, 0, 5, 1, 2), 
array(3, 4, 0, 5, 2, 1), 
array(3, 4, 1, 0, 2, 5), 
array(3, 4, 1, 0, 5, 2), 
array(3, 4, 1, 2, 0, 5), 
array(3, 4, 1, 2, 5, 0), 
array(3, 4, 1, 5, 0, 2), 
array(3, 4, 1, 5, 2, 0), 
array(3, 4, 2, 0, 1, 5), 
array(3, 4, 2, 0, 5, 1), 
array(3, 4, 2, 1, 0, 5), 
array(3, 4, 2, 1, 5, 0), 
array(3, 4, 2, 5, 0, 1), 
array(3, 4, 2, 5, 1, 0), 
array(3, 4, 5, 0, 1, 2), 
array(3, 4, 5, 0, 2, 1), 
array(3, 4, 5, 1, 0, 2), 
array(3, 4, 5, 1, 2, 0), 
array(3, 4, 5, 2, 0, 1), 
array(3, 4, 5, 2, 1, 0), 
array(3, 5, 0, 1, 2, 4), 
array(3, 5, 0, 1, 4, 2), 
array(3, 5, 0, 2, 1, 4), 
array(3, 5, 0, 2, 4, 1), 
array(3, 5, 0, 4, 1, 2), 
array(3, 5, 0, 4, 2, 1), 
array(3, 5, 1, 0, 2, 4), 
array(3, 5, 1, 0, 4, 2), 
array(3, 5, 1, 2, 0, 4), 
array(3, 5, 1, 2, 4, 0), 
array(3, 5, 1, 4, 0, 2), 
array(3, 5, 1, 4, 2, 0), 
array(3, 5, 2, 0, 1, 4), 
array(3, 5, 2, 0, 4, 1), 
array(3, 5, 2, 1, 0, 4), 
array(3, 5, 2, 1, 4, 0), 
array(3, 5, 2, 4, 0, 1), 
array(3, 5, 2, 4, 1, 0), 
array(3, 5, 4, 0, 1, 2), 
array(3, 5, 4, 0, 2, 1), 
array(3, 5, 4, 1, 0, 2), 
array(3, 5, 4, 1, 2, 0), 
array(3, 5, 4, 2, 0, 1), 
array(3, 5, 4, 2, 1, 0), 
array(4, 0, 1, 2, 3, 5), 
array(4, 0, 1, 2, 5, 3), 
array(4, 0, 1, 3, 2, 5), 
array(4, 0, 1, 3, 5, 2), 
array(4, 0, 1, 5, 2, 3), 
array(4, 0, 1, 5, 3, 2), 
array(4, 0, 2, 1, 3, 5), 
array(4, 0, 2, 1, 5, 3), 
array(4, 0, 2, 3, 1, 5), 
array(4, 0, 2, 3, 5, 1), 
array(4, 0, 2, 5, 1, 3), 
array(4, 0, 2, 5, 3, 1), 
array(4, 0, 3, 1, 2, 5), 
array(4, 0, 3, 1, 5, 2), 
array(4, 0, 3, 2, 1, 5), 
array(4, 0, 3, 2, 5, 1), 
array(4, 0, 3, 5, 1, 2), 
array(4, 0, 3, 5, 2, 1), 
array(4, 0, 5, 1, 2, 3), 
array(4, 0, 5, 1, 3, 2), 
array(4, 0, 5, 2, 1, 3), 
array(4, 0, 5, 2, 3, 1), 
array(4, 0, 5, 3, 1, 2), 
array(4, 0, 5, 3, 2, 1), 
array(4, 1, 0, 2, 3, 5), 
array(4, 1, 0, 2, 5, 3), 
array(4, 1, 0, 3, 2, 5), 
array(4, 1, 0, 3, 5, 2), 
array(4, 1, 0, 5, 2, 3), 
array(4, 1, 0, 5, 3, 2), 
array(4, 1, 2, 0, 3, 5), 
array(4, 1, 2, 0, 5, 3), 
array(4, 1, 2, 3, 0, 5), 
array(4, 1, 2, 3, 5, 0), 
array(4, 1, 2, 5, 0, 3), 
array(4, 1, 2, 5, 3, 0), 
array(4, 1, 3, 0, 2, 5), 
array(4, 1, 3, 0, 5, 2), 
array(4, 1, 3, 2, 0, 5), 
array(4, 1, 3, 2, 5, 0), 
array(4, 1, 3, 5, 0, 2), 
array(4, 1, 3, 5, 2, 0), 
array(4, 1, 5, 0, 2, 3), 
array(4, 1, 5, 0, 3, 2), 
array(4, 1, 5, 2, 0, 3), 
array(4, 1, 5, 2, 3, 0), 
array(4, 1, 5, 3, 0, 2), 
array(4, 1, 5, 3, 2, 0), 
array(4, 2, 0, 1, 3, 5), 
array(4, 2, 0, 1, 5, 3), 
array(4, 2, 0, 3, 1, 5), 
array(4, 2, 0, 3, 5, 1), 
array(4, 2, 0, 5, 1, 3), 
array(4, 2, 0, 5, 3, 1), 
array(4, 2, 1, 0, 3, 5), 
array(4, 2, 1, 0, 5, 3), 
array(4, 2, 1, 3, 0, 5), 
array(4, 2, 1, 3, 5, 0), 
array(4, 2, 1, 5, 0, 3), 
array(4, 2, 1, 5, 3, 0), 
array(4, 2, 3, 0, 1, 5), 
array(4, 2, 3, 0, 5, 1), 
array(4, 2, 3, 1, 0, 5), 
array(4, 2, 3, 1, 5, 0), 
array(4, 2, 3, 5, 0, 1), 
array(4, 2, 3, 5, 1, 0), 
array(4, 2, 5, 0, 1, 3), 
array(4, 2, 5, 0, 3, 1), 
array(4, 2, 5, 1, 0, 3), 
array(4, 2, 5, 1, 3, 0), 
array(4, 2, 5, 3, 0, 1), 
array(4, 2, 5, 3, 1, 0), 
array(4, 3, 0, 1, 2, 5), 
array(4, 3, 0, 1, 5, 2), 
array(4, 3, 0, 2, 1, 5), 
array(4, 3, 0, 2, 5, 1), 
array(4, 3, 0, 5, 1, 2), 
array(4, 3, 0, 5, 2, 1), 
array(4, 3, 1, 0, 2, 5), 
array(4, 3, 1, 0, 5, 2), 
array(4, 3, 1, 2, 0, 5), 
array(4, 3, 1, 2, 5, 0), 
array(4, 3, 1, 5, 0, 2), 
array(4, 3, 1, 5, 2, 0), 
array(4, 3, 2, 0, 1, 5), 
array(4, 3, 2, 0, 5, 1), 
array(4, 3, 2, 1, 0, 5), 
array(4, 3, 2, 1, 5, 0), 
array(4, 3, 2, 5, 0, 1), 
array(4, 3, 2, 5, 1, 0), 
array(4, 3, 5, 0, 1, 2), 
array(4, 3, 5, 0, 2, 1), 
array(4, 3, 5, 1, 0, 2), 
array(4, 3, 5, 1, 2, 0), 
array(4, 3, 5, 2, 0, 1), 
array(4, 3, 5, 2, 1, 0), 
array(4, 5, 0, 1, 2, 3), 
array(4, 5, 0, 1, 3, 2), 
array(4, 5, 0, 2, 1, 3), 
array(4, 5, 0, 2, 3, 1), 
array(4, 5, 0, 3, 1, 2), 
array(4, 5, 0, 3, 2, 1), 
array(4, 5, 1, 0, 2, 3), 
array(4, 5, 1, 0, 3, 2), 
array(4, 5, 1, 2, 0, 3), 
array(4, 5, 1, 2, 3, 0), 
array(4, 5, 1, 3, 0, 2), 
array(4, 5, 1, 3, 2, 0), 
array(4, 5, 2, 0, 1, 3), 
array(4, 5, 2, 0, 3, 1), 
array(4, 5, 2, 1, 0, 3), 
array(4, 5, 2, 1, 3, 0), 
array(4, 5, 2, 3, 0, 1), 
array(4, 5, 2, 3, 1, 0), 
array(4, 5, 3, 0, 1, 2), 
array(4, 5, 3, 0, 2, 1), 
array(4, 5, 3, 1, 0, 2), 
array(4, 5, 3, 1, 2, 0), 
array(4, 5, 3, 2, 0, 1), 
array(4, 5, 3, 2, 1, 0), 
array(5, 0, 1, 2, 3, 4), 
array(5, 0, 1, 2, 4, 3), 
array(5, 0, 1, 3, 2, 4), 
array(5, 0, 1, 3, 4, 2), 
array(5, 0, 1, 4, 2, 3), 
array(5, 0, 1, 4, 3, 2), 
array(5, 0, 2, 1, 3, 4), 
array(5, 0, 2, 1, 4, 3), 
array(5, 0, 2, 3, 1, 4), 
array(5, 0, 2, 3, 4, 1), 
array(5, 0, 2, 4, 1, 3), 
array(5, 0, 2, 4, 3, 1), 
array(5, 0, 3, 1, 2, 4), 
array(5, 0, 3, 1, 4, 2), 
array(5, 0, 3, 2, 1, 4), 
array(5, 0, 3, 2, 4, 1), 
array(5, 0, 3, 4, 1, 2), 
array(5, 0, 3, 4, 2, 1), 
array(5, 0, 4, 1, 2, 3), 
array(5, 0, 4, 1, 3, 2), 
array(5, 0, 4, 2, 1, 3), 
array(5, 0, 4, 2, 3, 1), 
array(5, 0, 4, 3, 1, 2), 
array(5, 0, 4, 3, 2, 1), 
array(5, 1, 0, 2, 3, 4), 
array(5, 1, 0, 2, 4, 3), 
array(5, 1, 0, 3, 2, 4), 
array(5, 1, 0, 3, 4, 2), 
array(5, 1, 0, 4, 2, 3), 
array(5, 1, 0, 4, 3, 2), 
array(5, 1, 2, 0, 3, 4), 
array(5, 1, 2, 0, 4, 3), 
array(5, 1, 2, 3, 0, 4), 
array(5, 1, 2, 3, 4, 0), 
array(5, 1, 2, 4, 0, 3), 
array(5, 1, 2, 4, 3, 0), 
array(5, 1, 3, 0, 2, 4), 
array(5, 1, 3, 0, 4, 2), 
array(5, 1, 3, 2, 0, 4), 
array(5, 1, 3, 2, 4, 0), 
array(5, 1, 3, 4, 0, 2), 
array(5, 1, 3, 4, 2, 0), 
array(5, 1, 4, 0, 2, 3), 
array(5, 1, 4, 0, 3, 2), 
array(5, 1, 4, 2, 0, 3), 
array(5, 1, 4, 2, 3, 0), 
array(5, 1, 4, 3, 0, 2), 
array(5, 1, 4, 3, 2, 0), 
array(5, 2, 0, 1, 3, 4), 
array(5, 2, 0, 1, 4, 3), 
array(5, 2, 0, 3, 1, 4), 
array(5, 2, 0, 3, 4, 1), 
array(5, 2, 0, 4, 1, 3), 
array(5, 2, 0, 4, 3, 1), 
array(5, 2, 1, 0, 3, 4), 
array(5, 2, 1, 0, 4, 3), 
array(5, 2, 1, 3, 0, 4), 
array(5, 2, 1, 3, 4, 0), 
array(5, 2, 1, 4, 0, 3), 
array(5, 2, 1, 4, 3, 0), 
array(5, 2, 3, 0, 1, 4), 
array(5, 2, 3, 0, 4, 1), 
array(5, 2, 3, 1, 0, 4), 
array(5, 2, 3, 1, 4, 0), 
array(5, 2, 3, 4, 0, 1), 
array(5, 2, 3, 4, 1, 0), 
array(5, 2, 4, 0, 1, 3), 
array(5, 2, 4, 0, 3, 1), 
array(5, 2, 4, 1, 0, 3), 
array(5, 2, 4, 1, 3, 0), 
array(5, 2, 4, 3, 0, 1), 
array(5, 2, 4, 3, 1, 0), 
array(5, 3, 0, 1, 2, 4), 
array(5, 3, 0, 1, 4, 2), 
array(5, 3, 0, 2, 1, 4), 
array(5, 3, 0, 2, 4, 1), 
array(5, 3, 0, 4, 1, 2), 
array(5, 3, 0, 4, 2, 1), 
array(5, 3, 1, 0, 2, 4), 
array(5, 3, 1, 0, 4, 2), 
array(5, 3, 1, 2, 0, 4), 
array(5, 3, 1, 2, 4, 0), 
array(5, 3, 1, 4, 0, 2), 
array(5, 3, 1, 4, 2, 0), 
array(5, 3, 2, 0, 1, 4), 
array(5, 3, 2, 0, 4, 1), 
array(5, 3, 2, 1, 0, 4), 
array(5, 3, 2, 1, 4, 0), 
array(5, 3, 2, 4, 0, 1), 
array(5, 3, 2, 4, 1, 0), 
array(5, 3, 4, 0, 1, 2), 
array(5, 3, 4, 0, 2, 1), 
array(5, 3, 4, 1, 0, 2), 
array(5, 3, 4, 1, 2, 0), 
array(5, 3, 4, 2, 0, 1), 
array(5, 3, 4, 2, 1, 0), 
array(5, 4, 0, 1, 2, 3), 
array(5, 4, 0, 1, 3, 2), 
array(5, 4, 0, 2, 1, 3), 
array(5, 4, 0, 2, 3, 1), 
array(5, 4, 0, 3, 1, 2), 
array(5, 4, 0, 3, 2, 1), 
array(5, 4, 1, 0, 2, 3), 
array(5, 4, 1, 0, 3, 2), 
array(5, 4, 1, 2, 0, 3), 
array(5, 4, 1, 2, 3, 0), 
array(5, 4, 1, 3, 0, 2), 
array(5, 4, 1, 3, 2, 0), 
array(5, 4, 2, 0, 1, 3), 
array(5, 4, 2, 0, 3, 1), 
array(5, 4, 2, 1, 0, 3), 
array(5, 4, 2, 1, 3, 0), 
array(5, 4, 2, 3, 0, 1), 
array(5, 4, 2, 3, 1, 0), 
array(5, 4, 3, 0, 1, 2), 
array(5, 4, 3, 0, 2, 1), 
array(5, 4, 3, 1, 0, 2), 
array(5, 4, 3, 1, 2, 0), 
array(5, 4, 3, 2, 0, 1), 
array(5, 4, 3, 2, 1, 0), 
);

foreach($mutations as $mutation) {
    $tmp = $mutation;
    sort6($tmp);
    echo '(' . uintprint6($mutation) . ') -> (' . uintprint6($tmp) . ')' . PHP_EOL;
}