{"abstract":"The exact involution permutations result violates the stated contract at paired positions removal.","category":"Numerics","checks":6,"contract":"Input 0<=n<=7; return lexicographically sorted permutations p of 0..n-1 satisfying p[p[i]]=i.","contract_signature":"x","evaluation_group":"s3-numerics-involution-permutations","failed_approach":"The partial repair [v for v in rest if v<j] still violates the paired positions removal invariant.","family":"s3-numerics-involution-permutations-paired-positions-removal","id":"FA-15336","implementations":{"attempt":{"sha256":"5e78e0a75b6407c6b3db179e4129a8c05dd6ecb13f9f3823a17fb76497e13a33","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport itertools\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    n=x;out=[]\n    def visit(p,free):\n     if not free:\n      out.append(p);return\n     i=free[0]\n     rest=[v for v in free if v!=i]\n     q=p[:];q[i]=i\n     visit(q,rest)\n     for j in rest:\n      q=p[:];q[i]=j;q[j]=i\n      visit(q,[v for v in rest if v<j])\n    visit([-1]*n,list(range(n)))\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (1, [[0]]), (2, [[0, 1], [1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]])], [(4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (1, [[0]]), (2, [[0, 1], [1, 0]])], [(5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (2, [[0, 1], [1, 0]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]])], [(6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (0, [[]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]])], [(7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]]), (0, [[]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (1, [[0]])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"explicit oracle %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"c0451a0934cdb8938965ee92083357630ccb1ac791a7bd2f11d7e0c04cd8e283","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport itertools\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    n=x;out=[]\n    def visit(p,free):\n     if not free:\n      out.append(p);return\n     i=free[0]\n     rest=[v for v in free if v!=i]\n     q=p[:];q[i]=i\n     visit(q,rest)\n     for j in rest:\n      q=p[:];q[i]=j;q[j]=i\n      visit(q,[])\n    visit([-1]*n,list(range(n)))\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (1, [[0]]), (2, [[0, 1], [1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]])], [(4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (1, [[0]]), (2, [[0, 1], [1, 0]])], [(5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (0, [[]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (2, [[0, 1], [1, 0]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]])], [(6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (0, [[]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]])], [(7, [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]]), (5, [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 4, 3, 2], [0, 2, 1, 3, 4], [0, 2, 1, 4, 3], [0, 3, 2, 1, 4], [0, 3, 4, 1, 2], [0, 4, 2, 3, 1], [0, 4, 3, 2, 1], [1, 0, 2, 3, 4], [1, 0, 2, 4, 3], [1, 0, 3, 2, 4], [1, 0, 4, 3, 2], [2, 1, 0, 3, 4], [2, 1, 0, 4, 3], [2, 3, 0, 1, 4], [2, 4, 0, 3, 1], [3, 1, 2, 0, 4], [3, 1, 4, 0, 2], [3, 2, 1, 0, 4], [3, 4, 2, 0, 1], [4, 1, 2, 3, 0], [4, 1, 3, 2, 0], [4, 2, 1, 3, 0], [4, 3, 2, 1, 0]]), (0, [[]]), (4, [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]]), (6, [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 2, 5, 4, 3], [0, 1, 3, 2, 4, 5], [0, 1, 3, 2, 5, 4], [0, 1, 4, 3, 2, 5], [0, 1, 4, 5, 2, 3], [0, 1, 5, 3, 4, 2], [0, 1, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5], [0, 2, 1, 3, 5, 4], [0, 2, 1, 4, 3, 5], [0, 2, 1, 5, 4, 3], [0, 3, 2, 1, 4, 5], [0, 3, 2, 1, 5, 4], [0, 3, 4, 1, 2, 5], [0, 3, 5, 1, 4, 2], [0, 4, 2, 3, 1, 5], [0, 4, 2, 5, 1, 3], [0, 4, 3, 2, 1, 5], [0, 4, 5, 3, 1, 2], [0, 5, 2, 3, 4, 1], [0, 5, 2, 4, 3, 1], [0, 5, 3, 2, 4, 1], [0, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5], [1, 0, 2, 3, 5, 4], [1, 0, 2, 4, 3, 5], [1, 0, 2, 5, 4, 3], [1, 0, 3, 2, 4, 5], [1, 0, 3, 2, 5, 4], [1, 0, 4, 3, 2, 5], [1, 0, 4, 5, 2, 3], [1, 0, 5, 3, 4, 2], [1, 0, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5], [2, 1, 0, 3, 5, 4], [2, 1, 0, 4, 3, 5], [2, 1, 0, 5, 4, 3], [2, 3, 0, 1, 4, 5], [2, 3, 0, 1, 5, 4], [2, 4, 0, 3, 1, 5], [2, 4, 0, 5, 1, 3], [2, 5, 0, 3, 4, 1], [2, 5, 0, 4, 3, 1], [3, 1, 2, 0, 4, 5], [3, 1, 2, 0, 5, 4], [3, 1, 4, 0, 2, 5], [3, 1, 5, 0, 4, 2], [3, 2, 1, 0, 4, 5], [3, 2, 1, 0, 5, 4], [3, 4, 2, 0, 1, 5], [3, 4, 5, 0, 1, 2], [3, 5, 2, 0, 4, 1], [3, 5, 4, 0, 2, 1], [4, 1, 2, 3, 0, 5], [4, 1, 2, 5, 0, 3], [4, 1, 3, 2, 0, 5], [4, 1, 5, 3, 0, 2], [4, 2, 1, 3, 0, 5], [4, 2, 1, 5, 0, 3], [4, 3, 2, 1, 0, 5], [4, 3, 5, 1, 0, 2], [4, 5, 2, 3, 0, 1], [4, 5, 3, 2, 0, 1], [5, 1, 2, 3, 4, 0], [5, 1, 2, 4, 3, 0], [5, 1, 3, 2, 4, 0], [5, 1, 4, 3, 2, 0], [5, 2, 1, 3, 4, 0], [5, 2, 1, 4, 3, 0], [5, 3, 2, 1, 4, 0], [5, 3, 4, 1, 2, 0], [5, 4, 2, 3, 1, 0], [5, 4, 3, 2, 1, 0]]), (1, [[0]])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"explicit oracle %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model. Inputs are restricted to the explicit contract; this is not a production algebra library. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-numerics-involution-permutations-paired-positions-removal","generated_at":"2026-09-29T14:39:25.821914+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Exact discrete arithmetic with observable algorithmic state; no floating point approximation is used.","root_cause":"The paired positions removal step uses [] instead of [v for v in rest if v!=j].","sha256":"2737b3e09243775d5618ac03c5f3b2b4a24420be8a0288e36630e6162c890e43","title":"Involution permutations: paired positions removal · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":56.355,"exit_code":1,"observations":[{"actual":[[0,1,2],[0,2,1],[1,0,-1],[2,1,0]],"check":"explicit oracle 0","expected":[[0,1,2],[0,2,1],[1,0,2],[2,1,0]],"passed":false},{"actual":[[]],"check":"explicit oracle 1","expected":[[]],"passed":true},{"actual":[[0,1,2,3,4,5,6],[0,1,2,3,4,6,5],[0,1,2,3,5,4,-1],[0,1,2,3,6,5,4],[0,1,2,4,3,-1,-1],[0,1,2,5,4,3,-1],[0,1,2,6,4,5,3],[0,1,2,6,5,4,3],[0,1,3,2,-1,-1,-1],[0,1,4,3,2,-1,-1],[0,1,5,3,4,2,-1],[0,1,5,4,3,2,-1],[0,1,6,3,4,5,2],[0,1,6,3,5,4,2],[0,1,6,4,3,-1,2],[0,1,6,5,4,3,2],[0,2,1,-1,-1,-1,-1],[0,3,2,1,-1,-1,-1],[0,4,2,3,1,-1,-1],[0,4,3,2,1,-1,-1],[0,5,2,3,4,1,-1],[0,5,2,4,3,1,-1],[0,5,3,2,-1,1,-1],[0,5,4,3,2,1,-1],[0,6,2,3,4,5,1],[0,6,2,3,5,4,1],[0,6,2,4,3,-1,1],[0,6,2,5,4,3,1],[0,6,3,2,-1,-1,1],[0,6,4,3,2,-1,1],[0,6,5,3,4,2,1],[0,6,5,4,3,2,1],[1,0,-1,-1,-1,-1,-1],[2,1,0,-1,-1,-1,-1],[3,1,2,0,-1,-1,-1],[3,2,1,0,-1,-1,-1],[4,1,2,3,0,-1,-1],[4,1,3,2,0,-1,-1],[4,2,1,-1,0,-1,-1],[4,3,2,1,0,-1,-1],[5,1,2,3,4,0,-1],[5,1,2,4,3,0,-1],[5,1,3,2,-1,0,-1],[5,1,4,3,2,0,-1],[5,2,1,-1,-1,0,-1],[5,3,2,1,-1,0,-1],[5,4,2,3,1,0,-1],[5,4,3,2,1,0,-1],[6,1,2,3,4,5,0],[6,1,2,3,5,4,0],[6,1,2,4,3,-1,0],[6,1,2,5,4,3,0],[6,1,3,2,-1,-1,0],[6,1,4,3,2,-1,0],[6,1,5,3,4,2,0],[6,1,5,4,3,2,0],[6,2,1,-1,-1,-1,0],[6,3,2,1,-1,-1,0],[6,4,2,3,1,-1,0],[6,4,3,2,1,-1,0],[6,5,2,3,4,1,0],[6,5,2,4,3,1,0],[6,5,3,2,-1,1,0],[6,5,4,3,2,1,0]],"check":"explicit oracle 2","expected":[[0,1,2,3,4,5,6],[0,1,2,3,4,6,5],[0,1,2,3,5,4,6],[0,1,2,3,6,5,4],[0,1,2,4,3,5,6],[0,1,2,4,3,6,5],[0,1,2,5,4,3,6],[0,1,2,5,6,3,4],[0,1,2,6,4,5,3],[0,1,2,6,5,4,3],[0,1,3,2,4,5,6],[0,1,3,2,4,6,5],[0,1,3,2,5,4,6],[0,1,3,2,6,5,4],[0,1,4,3,2,5,6],[0,1,4,3,2,6,5],[0,1,4,5,2,3,6],[0,1,4,6,2,5,3],[0,1,5,3,4,2,6],[0,1,5,3,6,2,4],[0,1,5,4,3,2,6],[0,1,5,6,4,2,3],[0,1,6,3,4,5,2],[0,1,6,3,5,4,2],[0,1,6,4,3,5,2],[0,1,6,5,4,3,2],[0,2,1,3,4,5,6],[0,2,1,3,4,6,5],[0,2,1,3,5,4,6],[0,2,1,3,6,5,4],[0,2,1,4,3,5,6],[0,2,1,4,3,6,5],[0,2,1,5,4,3,6],[0,2,1,5,6,3,4],[0,2,1,6,4,5,3],[0,2,1,6,5,4,3],[0,3,2,1,4,5,6],[0,3,2,1,4,6,5],[0,3,2,1,5,4,6],[0,3,2,1,6,5,4],[0,3,4,1,2,5,6],[0,3,4,1,2,6,5],[0,3,5,1,4,2,6],[0,3,5,1,6,2,4],[0,3,6,1,4,5,2],[0,3,6,1,5,4,2],[0,4,2,3,1,5,6],[0,4,2,3,1,6,5],[0,4,2,5,1,3,6],[0,4,2,6,1,5,3],[0,4,3,2,1,5,6],[0,4,3,2,1,6,5],[0,4,5,3,1,2,6],[0,4,5,6,1,2,3],[0,4,6,3,1,5,2],[0,4,6,5,1,3,2],[0,5,2,3,4,1,6],[0,5,2,3,6,1,4],[0,5,2,4,3,1,6],[0,5,2,6,4,1,3],[0,5,3,2,4,1,6],[0,5,3,2,6,1,4],[0,5,4,3,2,1,6],[0,5,4,6,2,1,3],[0,5,6,3,4,1,2],[0,5,6,4,3,1,2],[0,6,2,3,4,5,1],[0,6,2,3,5,4,1],[0,6,2,4,3,5,1],[0,6,2,5,4,3,1],[0,6,3,2,4,5,1],[0,6,3,2,5,4,1],[0,6,4,3,2,5,1],[0,6,4,5,2,3,1],[0,6,5,3,4,2,1],[0,6,5,4,3,2,1],[1,0,2,3,4,5,6],[1,0,2,3,4,6,5],[1,0,2,3,5,4,6],[1,0,2,3,6,5,4],[1,0,2,4,3,5,6],[1,0,2,4,3,6,5],[1,0,2,5,4,3,6],[1,0,2,5,6,3,4],[1,0,2,6,4,5,3],[1,0,2,6,5,4,3],[1,0,3,2,4,5,6],[1,0,3,2,4,6,5],[1,0,3,2,5,4,6],[1,0,3,2,6,5,4],[1,0,4,3,2,5,6],[1,0,4,3,2,6,5],[1,0,4,5,2,3,6],[1,0,4,6,2,5,3],[1,0,5,3,4,2,6],[1,0,5,3,6,2,4],[1,0,5,4,3,2,6],[1,0,5,6,4,2,3],[1,0,6,3,4,5,2],[1,0,6,3,5,4,2],[1,0,6,4,3,5,2],[1,0,6,5,4,3,2],[2,1,0,3,4,5,6],[2,1,0,3,4,6,5],[2,1,0,3,5,4,6],[2,1,0,3,6,5,4],[2,1,0,4,3,5,6],[2,1,0,4,3,6,5],[2,1,0,5,4,3,6],[2,1,0,5,6,3,4],[2,1,0,6,4,5,3],[2,1,0,6,5,4,3],[2,3,0,1,4,5,6],[2,3,0,1,4,6,5],[2,3,0,1,5,4,6],[2,3,0,1,6,5,4],[2,4,0,3,1,5,6],[2,4,0,3,1,6,5],[2,4,0,5,1,3,6],[2,4,0,6,1,5,3],[2,5,0,3,4,1,6],[2,5,0,3,6,1,4],[2,5,0,4,3,1,6],[2,5,0,6,4,1,3],[2,6,0,3,4,5,1],[2,6,0,3,5,4,1],[2,6,0,4,3,5,1],[2,6,0,5,4,3,1],[3,1,2,0,4,5,6],[3,1,2,0,4,6,5],[3,1,2,0,5,4,6],[3,1,2,0,6,5,4],[3,1,4,0,2,5,6],[3,1,4,0,2,6,5],[3,1,5,0,4,2,6],[3,1,5,0,6,2,4],[3,1,6,0,4,5,2],[3,1,6,0,5,4,2],[3,2,1,0,4,5,6],[3,2,1,0,4,6,5],[3,2,1,0,5,4,6],[3,2,1,0,6,5,4],[3,4,2,0,1,5,6],[3,4,2,0,1,6,5],[3,4,5,0,1,2,6],[3,4,6,0,1,5,2],[3,5,2,0,4,1,6],[3,5,2,0,6,1,4],[3,5,4,0,2,1,6],[3,5,6,0,4,1,2],[3,6,2,0,4,5,1],[3,6,2,0,5,4,1],[3,6,4,0,2,5,1],[3,6,5,0,4,2,1],[4,1,2,3,0,5,6],[4,1,2,3,0,6,5],[4,1,2,5,0,3,6],[4,1,2,6,0,5,3],[4,1,3,2,0,5,6],[4,1,3,2,0,6,5],[4,1,5,3,0,2,6],[4,1,5,6,0,2,3],[4,1,6,3,0,5,2],[4,1,6,5,0,3,2],[4,2,1,3,0,5,6],[4,2,1,3,0,6,5],[4,2,1,5,0,3,6],[4,2,1,6,0,5,3],[4,3,2,1,0,5,6],[4,3,2,1,0,6,5],[4,3,5,1,0,2,6],[4,3,6,1,0,5,2],[4,5,2,3,0,1,6],[4,5,2,6,0,1,3],[4,5,3,2,0,1,6],[4,5,6,3,0,1,2],[4,6,2,3,0,5,1],[4,6,2,5,0,3,1],[4,6,3,2,0,5,1],[4,6,5,3,0,2,1],[5,1,2,3,4,0,6],[5,1,2,3,6,0,4],[5,1,2,4,3,0,6],[5,1,2,6,4,0,3],[5,1,3,2,4,0,6],[5,1,3,2,6,0,4],[5,1,4,3,2,0,6],[5,1,4,6,2,0,3],[5,1,6,3,4,0,2],[5,1,6,4,3,0,2],[5,2,1,3,4,0,6],[5,2,1,3,6,0,4],[5,2,1,4,3,0,6],[5,2,1,6,4,0,3],[5,3,2,1,4,0,6],[5,3,2,1,6,0,4],[5,3,4,1,2,0,6],[5,3,6,1,4,0,2],[5,4,2,3,1,0,6],[5,4,2,6,1,0,3],[5,4,3,2,1,0,6],[5,4,6,3,1,0,2],[5,6,2,3,4,0,1],[5,6,2,4,3,0,1],[5,6,3,2,4,0,1],[5,6,4,3,2,0,1],[6,1,2,3,4,5,0],[6,1,2,3,5,4,0],[6,1,2,4,3,5,0],[6,1,2,5,4,3,0],[6,1,3,2,4,5,0],[6,1,3,2,5,4,0],[6,1,4,3,2,5,0],[6,1,4,5,2,3,0],[6,1,5,3,4,2,0],[6,1,5,4,3,2,0],[6,2,1,3,4,5,0],[6,2,1,3,5,4,0],[6,2,1,4,3,5,0],[6,2,1,5,4,3,0],[6,3,2,1,4,5,0],[6,3,2,1,5,4,0],[6,3,4,1,2,5,0],[6,3,5,1,4,2,0],[6,4,2,3,1,5,0],[6,4,2,5,1,3,0],[6,4,3,2,1,5,0],[6,4,5,3,1,2,0],[6,5,2,3,4,1,0],[6,5,2,4,3,1,0],[6,5,3,2,4,1,0],[6,5,4,3,2,1,0]],"passed":false},{"actual":[[0]],"check":"explicit oracle 3","expected":[[0]],"passed":true},{"actual":[[0,1],[1,0]],"check":"explicit oracle 4","expected":[[0,1],[1,0]],"passed":true},{"actual":[[0,1,2,3],[0,1,3,2],[0,2,1,-1],[0,3,2,1],[1,0,-1,-1],[2,1,0,-1],[3,1,2,0],[3,2,1,0]],"check":"explicit oracle 5","expected":[[0,1,2,3],[0,1,3,2],[0,2,1,3],[0,3,2,1],[1,0,2,3],[1,0,3,2],[2,1,0,3],[2,3,0,1],[3,1,2,0],[3,2,1,0]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit oracle 0\", \"actual\": [[0, 1, 2], [0, 2, 1], [1, 0, -1], [2, 1, 0]], \"expected\": [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]], \"passed\": false}, {\"check\": \"explicit oracle 1\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit oracle 2\", \"actual\": [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, -1], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, -1, -1], [0, 1, 2, 5, 4, 3, -1], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, -1, -1, -1], [0, 1, 4, 3, 2, -1, -1], [0, 1, 5, 3, 4, 2, -1], [0, 1, 5, 4, 3, 2, -1], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, -1, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, -1, -1, -1, -1], [0, 3, 2, 1, -1, -1, -1], [0, 4, 2, 3, 1, -1, -1], [0, 4, 3, 2, 1, -1, -1], [0, 5, 2, 3, 4, 1, -1], [0, 5, 2, 4, 3, 1, -1], [0, 5, 3, 2, -1, 1, -1], [0, 5, 4, 3, 2, 1, -1], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, -1, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, -1, -1, 1], [0, 6, 4, 3, 2, -1, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, -1, -1, -1, -1, -1], [2, 1, 0, -1, -1, -1, -1], [3, 1, 2, 0, -1, -1, -1], [3, 2, 1, 0, -1, -1, -1], [4, 1, 2, 3, 0, -1, -1], [4, 1, 3, 2, 0, -1, -1], [4, 2, 1, -1, 0, -1, -1], [4, 3, 2, 1, 0, -1, -1], [5, 1, 2, 3, 4, 0, -1], [5, 1, 2, 4, 3, 0, -1], [5, 1, 3, 2, -1, 0, -1], [5, 1, 4, 3, 2, 0, -1], [5, 2, 1, -1, -1, 0, -1], [5, 3, 2, 1, -1, 0, -1], [5, 4, 2, 3, 1, 0, -1], [5, 4, 3, 2, 1, 0, -1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, -1, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, -1, -1, 0], [6, 1, 4, 3, 2, -1, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, -1, -1, -1, 0], [6, 3, 2, 1, -1, -1, 0], [6, 4, 2, 3, 1, -1, 0], [6, 4, 3, 2, 1, -1, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, -1, 1, 0], [6, 5, 4, 3, 2, 1, 0]], \"expected\": [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]], \"passed\": false}, {\"check\": \"explicit oracle 3\", \"actual\": [[0]], \"expected\": [[0]], \"passed\": true}, {\"check\": \"explicit oracle 4\", \"actual\": [[0, 1], [1, 0]], \"expected\": [[0, 1], [1, 0]], \"passed\": true}, {\"check\": \"explicit oracle 5\", \"actual\": [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, -1], [0, 3, 2, 1], [1, 0, -1, -1], [2, 1, 0, -1], [3, 1, 2, 0], [3, 2, 1, 0]], \"expected\": [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":54.786,"exit_code":1,"observations":[{"actual":[[0,1,2],[0,2,1],[1,0,-1],[2,-1,0]],"check":"explicit oracle 0","expected":[[0,1,2],[0,2,1],[1,0,2],[2,1,0]],"passed":false},{"actual":[[]],"check":"explicit oracle 1","expected":[[]],"passed":true},{"actual":[[0,1,2,3,4,5,6],[0,1,2,3,4,6,5],[0,1,2,3,5,4,-1],[0,1,2,3,6,-1,4],[0,1,2,4,3,-1,-1],[0,1,2,5,-1,3,-1],[0,1,2,6,-1,-1,3],[0,1,3,2,-1,-1,-1],[0,1,4,-1,2,-1,-1],[0,1,5,-1,-1,2,-1],[0,1,6,-1,-1,-1,2],[0,2,1,-1,-1,-1,-1],[0,3,-1,1,-1,-1,-1],[0,4,-1,-1,1,-1,-1],[0,5,-1,-1,-1,1,-1],[0,6,-1,-1,-1,-1,1],[1,0,-1,-1,-1,-1,-1],[2,-1,0,-1,-1,-1,-1],[3,-1,-1,0,-1,-1,-1],[4,-1,-1,-1,0,-1,-1],[5,-1,-1,-1,-1,0,-1],[6,-1,-1,-1,-1,-1,0]],"check":"explicit oracle 2","expected":[[0,1,2,3,4,5,6],[0,1,2,3,4,6,5],[0,1,2,3,5,4,6],[0,1,2,3,6,5,4],[0,1,2,4,3,5,6],[0,1,2,4,3,6,5],[0,1,2,5,4,3,6],[0,1,2,5,6,3,4],[0,1,2,6,4,5,3],[0,1,2,6,5,4,3],[0,1,3,2,4,5,6],[0,1,3,2,4,6,5],[0,1,3,2,5,4,6],[0,1,3,2,6,5,4],[0,1,4,3,2,5,6],[0,1,4,3,2,6,5],[0,1,4,5,2,3,6],[0,1,4,6,2,5,3],[0,1,5,3,4,2,6],[0,1,5,3,6,2,4],[0,1,5,4,3,2,6],[0,1,5,6,4,2,3],[0,1,6,3,4,5,2],[0,1,6,3,5,4,2],[0,1,6,4,3,5,2],[0,1,6,5,4,3,2],[0,2,1,3,4,5,6],[0,2,1,3,4,6,5],[0,2,1,3,5,4,6],[0,2,1,3,6,5,4],[0,2,1,4,3,5,6],[0,2,1,4,3,6,5],[0,2,1,5,4,3,6],[0,2,1,5,6,3,4],[0,2,1,6,4,5,3],[0,2,1,6,5,4,3],[0,3,2,1,4,5,6],[0,3,2,1,4,6,5],[0,3,2,1,5,4,6],[0,3,2,1,6,5,4],[0,3,4,1,2,5,6],[0,3,4,1,2,6,5],[0,3,5,1,4,2,6],[0,3,5,1,6,2,4],[0,3,6,1,4,5,2],[0,3,6,1,5,4,2],[0,4,2,3,1,5,6],[0,4,2,3,1,6,5],[0,4,2,5,1,3,6],[0,4,2,6,1,5,3],[0,4,3,2,1,5,6],[0,4,3,2,1,6,5],[0,4,5,3,1,2,6],[0,4,5,6,1,2,3],[0,4,6,3,1,5,2],[0,4,6,5,1,3,2],[0,5,2,3,4,1,6],[0,5,2,3,6,1,4],[0,5,2,4,3,1,6],[0,5,2,6,4,1,3],[0,5,3,2,4,1,6],[0,5,3,2,6,1,4],[0,5,4,3,2,1,6],[0,5,4,6,2,1,3],[0,5,6,3,4,1,2],[0,5,6,4,3,1,2],[0,6,2,3,4,5,1],[0,6,2,3,5,4,1],[0,6,2,4,3,5,1],[0,6,2,5,4,3,1],[0,6,3,2,4,5,1],[0,6,3,2,5,4,1],[0,6,4,3,2,5,1],[0,6,4,5,2,3,1],[0,6,5,3,4,2,1],[0,6,5,4,3,2,1],[1,0,2,3,4,5,6],[1,0,2,3,4,6,5],[1,0,2,3,5,4,6],[1,0,2,3,6,5,4],[1,0,2,4,3,5,6],[1,0,2,4,3,6,5],[1,0,2,5,4,3,6],[1,0,2,5,6,3,4],[1,0,2,6,4,5,3],[1,0,2,6,5,4,3],[1,0,3,2,4,5,6],[1,0,3,2,4,6,5],[1,0,3,2,5,4,6],[1,0,3,2,6,5,4],[1,0,4,3,2,5,6],[1,0,4,3,2,6,5],[1,0,4,5,2,3,6],[1,0,4,6,2,5,3],[1,0,5,3,4,2,6],[1,0,5,3,6,2,4],[1,0,5,4,3,2,6],[1,0,5,6,4,2,3],[1,0,6,3,4,5,2],[1,0,6,3,5,4,2],[1,0,6,4,3,5,2],[1,0,6,5,4,3,2],[2,1,0,3,4,5,6],[2,1,0,3,4,6,5],[2,1,0,3,5,4,6],[2,1,0,3,6,5,4],[2,1,0,4,3,5,6],[2,1,0,4,3,6,5],[2,1,0,5,4,3,6],[2,1,0,5,6,3,4],[2,1,0,6,4,5,3],[2,1,0,6,5,4,3],[2,3,0,1,4,5,6],[2,3,0,1,4,6,5],[2,3,0,1,5,4,6],[2,3,0,1,6,5,4],[2,4,0,3,1,5,6],[2,4,0,3,1,6,5],[2,4,0,5,1,3,6],[2,4,0,6,1,5,3],[2,5,0,3,4,1,6],[2,5,0,3,6,1,4],[2,5,0,4,3,1,6],[2,5,0,6,4,1,3],[2,6,0,3,4,5,1],[2,6,0,3,5,4,1],[2,6,0,4,3,5,1],[2,6,0,5,4,3,1],[3,1,2,0,4,5,6],[3,1,2,0,4,6,5],[3,1,2,0,5,4,6],[3,1,2,0,6,5,4],[3,1,4,0,2,5,6],[3,1,4,0,2,6,5],[3,1,5,0,4,2,6],[3,1,5,0,6,2,4],[3,1,6,0,4,5,2],[3,1,6,0,5,4,2],[3,2,1,0,4,5,6],[3,2,1,0,4,6,5],[3,2,1,0,5,4,6],[3,2,1,0,6,5,4],[3,4,2,0,1,5,6],[3,4,2,0,1,6,5],[3,4,5,0,1,2,6],[3,4,6,0,1,5,2],[3,5,2,0,4,1,6],[3,5,2,0,6,1,4],[3,5,4,0,2,1,6],[3,5,6,0,4,1,2],[3,6,2,0,4,5,1],[3,6,2,0,5,4,1],[3,6,4,0,2,5,1],[3,6,5,0,4,2,1],[4,1,2,3,0,5,6],[4,1,2,3,0,6,5],[4,1,2,5,0,3,6],[4,1,2,6,0,5,3],[4,1,3,2,0,5,6],[4,1,3,2,0,6,5],[4,1,5,3,0,2,6],[4,1,5,6,0,2,3],[4,1,6,3,0,5,2],[4,1,6,5,0,3,2],[4,2,1,3,0,5,6],[4,2,1,3,0,6,5],[4,2,1,5,0,3,6],[4,2,1,6,0,5,3],[4,3,2,1,0,5,6],[4,3,2,1,0,6,5],[4,3,5,1,0,2,6],[4,3,6,1,0,5,2],[4,5,2,3,0,1,6],[4,5,2,6,0,1,3],[4,5,3,2,0,1,6],[4,5,6,3,0,1,2],[4,6,2,3,0,5,1],[4,6,2,5,0,3,1],[4,6,3,2,0,5,1],[4,6,5,3,0,2,1],[5,1,2,3,4,0,6],[5,1,2,3,6,0,4],[5,1,2,4,3,0,6],[5,1,2,6,4,0,3],[5,1,3,2,4,0,6],[5,1,3,2,6,0,4],[5,1,4,3,2,0,6],[5,1,4,6,2,0,3],[5,1,6,3,4,0,2],[5,1,6,4,3,0,2],[5,2,1,3,4,0,6],[5,2,1,3,6,0,4],[5,2,1,4,3,0,6],[5,2,1,6,4,0,3],[5,3,2,1,4,0,6],[5,3,2,1,6,0,4],[5,3,4,1,2,0,6],[5,3,6,1,4,0,2],[5,4,2,3,1,0,6],[5,4,2,6,1,0,3],[5,4,3,2,1,0,6],[5,4,6,3,1,0,2],[5,6,2,3,4,0,1],[5,6,2,4,3,0,1],[5,6,3,2,4,0,1],[5,6,4,3,2,0,1],[6,1,2,3,4,5,0],[6,1,2,3,5,4,0],[6,1,2,4,3,5,0],[6,1,2,5,4,3,0],[6,1,3,2,4,5,0],[6,1,3,2,5,4,0],[6,1,4,3,2,5,0],[6,1,4,5,2,3,0],[6,1,5,3,4,2,0],[6,1,5,4,3,2,0],[6,2,1,3,4,5,0],[6,2,1,3,5,4,0],[6,2,1,4,3,5,0],[6,2,1,5,4,3,0],[6,3,2,1,4,5,0],[6,3,2,1,5,4,0],[6,3,4,1,2,5,0],[6,3,5,1,4,2,0],[6,4,2,3,1,5,0],[6,4,2,5,1,3,0],[6,4,3,2,1,5,0],[6,4,5,3,1,2,0],[6,5,2,3,4,1,0],[6,5,2,4,3,1,0],[6,5,3,2,4,1,0],[6,5,4,3,2,1,0]],"passed":false},{"actual":[[0]],"check":"explicit oracle 3","expected":[[0]],"passed":true},{"actual":[[0,1],[1,0]],"check":"explicit oracle 4","expected":[[0,1],[1,0]],"passed":true},{"actual":[[0,1,2,3],[0,1,3,2],[0,2,1,-1],[0,3,-1,1],[1,0,-1,-1],[2,-1,0,-1],[3,-1,-1,0]],"check":"explicit oracle 5","expected":[[0,1,2,3],[0,1,3,2],[0,2,1,3],[0,3,2,1],[1,0,2,3],[1,0,3,2],[2,1,0,3],[2,3,0,1],[3,1,2,0],[3,2,1,0]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit oracle 0\", \"actual\": [[0, 1, 2], [0, 2, 1], [1, 0, -1], [2, -1, 0]], \"expected\": [[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]], \"passed\": false}, {\"check\": \"explicit oracle 1\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit oracle 2\", \"actual\": [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, -1], [0, 1, 2, 3, 6, -1, 4], [0, 1, 2, 4, 3, -1, -1], [0, 1, 2, 5, -1, 3, -1], [0, 1, 2, 6, -1, -1, 3], [0, 1, 3, 2, -1, -1, -1], [0, 1, 4, -1, 2, -1, -1], [0, 1, 5, -1, -1, 2, -1], [0, 1, 6, -1, -1, -1, 2], [0, 2, 1, -1, -1, -1, -1], [0, 3, -1, 1, -1, -1, -1], [0, 4, -1, -1, 1, -1, -1], [0, 5, -1, -1, -1, 1, -1], [0, 6, -1, -1, -1, -1, 1], [1, 0, -1, -1, -1, -1, -1], [2, -1, 0, -1, -1, -1, -1], [3, -1, -1, 0, -1, -1, -1], [4, -1, -1, -1, 0, -1, -1], [5, -1, -1, -1, -1, 0, -1], [6, -1, -1, -1, -1, -1, 0]], \"expected\": [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 6, 5], [0, 1, 2, 3, 5, 4, 6], [0, 1, 2, 3, 6, 5, 4], [0, 1, 2, 4, 3, 5, 6], [0, 1, 2, 4, 3, 6, 5], [0, 1, 2, 5, 4, 3, 6], [0, 1, 2, 5, 6, 3, 4], [0, 1, 2, 6, 4, 5, 3], [0, 1, 2, 6, 5, 4, 3], [0, 1, 3, 2, 4, 5, 6], [0, 1, 3, 2, 4, 6, 5], [0, 1, 3, 2, 5, 4, 6], [0, 1, 3, 2, 6, 5, 4], [0, 1, 4, 3, 2, 5, 6], [0, 1, 4, 3, 2, 6, 5], [0, 1, 4, 5, 2, 3, 6], [0, 1, 4, 6, 2, 5, 3], [0, 1, 5, 3, 4, 2, 6], [0, 1, 5, 3, 6, 2, 4], [0, 1, 5, 4, 3, 2, 6], [0, 1, 5, 6, 4, 2, 3], [0, 1, 6, 3, 4, 5, 2], [0, 1, 6, 3, 5, 4, 2], [0, 1, 6, 4, 3, 5, 2], [0, 1, 6, 5, 4, 3, 2], [0, 2, 1, 3, 4, 5, 6], [0, 2, 1, 3, 4, 6, 5], [0, 2, 1, 3, 5, 4, 6], [0, 2, 1, 3, 6, 5, 4], [0, 2, 1, 4, 3, 5, 6], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 4, 3, 6], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 4, 5, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 2, 1, 4, 5, 6], [0, 3, 2, 1, 4, 6, 5], [0, 3, 2, 1, 5, 4, 6], [0, 3, 2, 1, 6, 5, 4], [0, 3, 4, 1, 2, 5, 6], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 4, 2, 6], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 4, 5, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 2, 3, 1, 5, 6], [0, 4, 2, 3, 1, 6, 5], [0, 4, 2, 5, 1, 3, 6], [0, 4, 2, 6, 1, 5, 3], [0, 4, 3, 2, 1, 5, 6], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 3, 1, 2, 6], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 3, 1, 5, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 2, 3, 4, 1, 6], [0, 5, 2, 3, 6, 1, 4], [0, 5, 2, 4, 3, 1, 6], [0, 5, 2, 6, 4, 1, 3], [0, 5, 3, 2, 4, 1, 6], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 3, 2, 1, 6], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 3, 4, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 2, 3, 4, 5, 1], [0, 6, 2, 3, 5, 4, 1], [0, 6, 2, 4, 3, 5, 1], [0, 6, 2, 5, 4, 3, 1], [0, 6, 3, 2, 4, 5, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 3, 2, 5, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 3, 4, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 2, 3, 4, 5, 6], [1, 0, 2, 3, 4, 6, 5], [1, 0, 2, 3, 5, 4, 6], [1, 0, 2, 3, 6, 5, 4], [1, 0, 2, 4, 3, 5, 6], [1, 0, 2, 4, 3, 6, 5], [1, 0, 2, 5, 4, 3, 6], [1, 0, 2, 5, 6, 3, 4], [1, 0, 2, 6, 4, 5, 3], [1, 0, 2, 6, 5, 4, 3], [1, 0, 3, 2, 4, 5, 6], [1, 0, 3, 2, 4, 6, 5], [1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 5, 4], [1, 0, 4, 3, 2, 5, 6], [1, 0, 4, 3, 2, 6, 5], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 5, 3], [1, 0, 5, 3, 4, 2, 6], [1, 0, 5, 3, 6, 2, 4], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 4, 2, 3], [1, 0, 6, 3, 4, 5, 2], [1, 0, 6, 3, 5, 4, 2], [1, 0, 6, 4, 3, 5, 2], [1, 0, 6, 5, 4, 3, 2], [2, 1, 0, 3, 4, 5, 6], [2, 1, 0, 3, 4, 6, 5], [2, 1, 0, 3, 5, 4, 6], [2, 1, 0, 3, 6, 5, 4], [2, 1, 0, 4, 3, 5, 6], [2, 1, 0, 4, 3, 6, 5], [2, 1, 0, 5, 4, 3, 6], [2, 1, 0, 5, 6, 3, 4], [2, 1, 0, 6, 4, 5, 3], [2, 1, 0, 6, 5, 4, 3], [2, 3, 0, 1, 4, 5, 6], [2, 3, 0, 1, 4, 6, 5], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 5, 4], [2, 4, 0, 3, 1, 5, 6], [2, 4, 0, 3, 1, 6, 5], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 5, 3], [2, 5, 0, 3, 4, 1, 6], [2, 5, 0, 3, 6, 1, 4], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 4, 1, 3], [2, 6, 0, 3, 4, 5, 1], [2, 6, 0, 3, 5, 4, 1], [2, 6, 0, 4, 3, 5, 1], [2, 6, 0, 5, 4, 3, 1], [3, 1, 2, 0, 4, 5, 6], [3, 1, 2, 0, 4, 6, 5], [3, 1, 2, 0, 5, 4, 6], [3, 1, 2, 0, 6, 5, 4], [3, 1, 4, 0, 2, 5, 6], [3, 1, 4, 0, 2, 6, 5], [3, 1, 5, 0, 4, 2, 6], [3, 1, 5, 0, 6, 2, 4], [3, 1, 6, 0, 4, 5, 2], [3, 1, 6, 0, 5, 4, 2], [3, 2, 1, 0, 4, 5, 6], [3, 2, 1, 0, 4, 6, 5], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 5, 4], [3, 4, 2, 0, 1, 5, 6], [3, 4, 2, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 5, 2], [3, 5, 2, 0, 4, 1, 6], [3, 5, 2, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 4, 1, 2], [3, 6, 2, 0, 4, 5, 1], [3, 6, 2, 0, 5, 4, 1], [3, 6, 4, 0, 2, 5, 1], [3, 6, 5, 0, 4, 2, 1], [4, 1, 2, 3, 0, 5, 6], [4, 1, 2, 3, 0, 6, 5], [4, 1, 2, 5, 0, 3, 6], [4, 1, 2, 6, 0, 5, 3], [4, 1, 3, 2, 0, 5, 6], [4, 1, 3, 2, 0, 6, 5], [4, 1, 5, 3, 0, 2, 6], [4, 1, 5, 6, 0, 2, 3], [4, 1, 6, 3, 0, 5, 2], [4, 1, 6, 5, 0, 3, 2], [4, 2, 1, 3, 0, 5, 6], [4, 2, 1, 3, 0, 6, 5], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 5, 3], [4, 3, 2, 1, 0, 5, 6], [4, 3, 2, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 5, 2], [4, 5, 2, 3, 0, 1, 6], [4, 5, 2, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 3, 0, 1, 2], [4, 6, 2, 3, 0, 5, 1], [4, 6, 2, 5, 0, 3, 1], [4, 6, 3, 2, 0, 5, 1], [4, 6, 5, 3, 0, 2, 1], [5, 1, 2, 3, 4, 0, 6], [5, 1, 2, 3, 6, 0, 4], [5, 1, 2, 4, 3, 0, 6], [5, 1, 2, 6, 4, 0, 3], [5, 1, 3, 2, 4, 0, 6], [5, 1, 3, 2, 6, 0, 4], [5, 1, 4, 3, 2, 0, 6], [5, 1, 4, 6, 2, 0, 3], [5, 1, 6, 3, 4, 0, 2], [5, 1, 6, 4, 3, 0, 2], [5, 2, 1, 3, 4, 0, 6], [5, 2, 1, 3, 6, 0, 4], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 4, 0, 3], [5, 3, 2, 1, 4, 0, 6], [5, 3, 2, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 4, 0, 2], [5, 4, 2, 3, 1, 0, 6], [5, 4, 2, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 3, 1, 0, 2], [5, 6, 2, 3, 4, 0, 1], [5, 6, 2, 4, 3, 0, 1], [5, 6, 3, 2, 4, 0, 1], [5, 6, 4, 3, 2, 0, 1], [6, 1, 2, 3, 4, 5, 0], [6, 1, 2, 3, 5, 4, 0], [6, 1, 2, 4, 3, 5, 0], [6, 1, 2, 5, 4, 3, 0], [6, 1, 3, 2, 4, 5, 0], [6, 1, 3, 2, 5, 4, 0], [6, 1, 4, 3, 2, 5, 0], [6, 1, 4, 5, 2, 3, 0], [6, 1, 5, 3, 4, 2, 0], [6, 1, 5, 4, 3, 2, 0], [6, 2, 1, 3, 4, 5, 0], [6, 2, 1, 3, 5, 4, 0], [6, 2, 1, 4, 3, 5, 0], [6, 2, 1, 5, 4, 3, 0], [6, 3, 2, 1, 4, 5, 0], [6, 3, 2, 1, 5, 4, 0], [6, 3, 4, 1, 2, 5, 0], [6, 3, 5, 1, 4, 2, 0], [6, 4, 2, 3, 1, 5, 0], [6, 4, 2, 5, 1, 3, 0], [6, 4, 3, 2, 1, 5, 0], [6, 4, 5, 3, 1, 2, 0], [6, 5, 2, 3, 4, 1, 0], [6, 5, 2, 4, 3, 1, 0], [6, 5, 3, 2, 4, 1, 0], [6, 5, 4, 3, 2, 1, 0]], \"passed\": false}, {\"check\": \"explicit oracle 3\", \"actual\": [[0]], \"expected\": [[0]], \"passed\": true}, {\"check\": \"explicit oracle 4\", \"actual\": [[0, 1], [1, 0]], \"expected\": [[0, 1], [1, 0]], \"passed\": true}, {\"check\": \"explicit oracle 5\", \"actual\": [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, -1], [0, 3, -1, 1], [1, 0, -1, -1], [2, -1, 0, -1], [3, -1, -1, 0]], \"expected\": [[0, 1, 2, 3], [0, 1, 3, 2], [0, 2, 1, 3], [0, 3, 2, 1], [1, 0, 2, 3], [1, 0, 3, 2], [2, 1, 0, 3], [2, 3, 0, 1], [3, 1, 2, 0], [3, 2, 1, 0]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}