FA-15321 / Numerics / Open access

Involution permutations: fixed point image · case 01

The exact involution permutations result violates the stated contract at fixed point image.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The fixed point image step uses 0 instead of i.

THE FAILURE

The fixed point image step uses 0 instead of i.

Unsuccessful approach: The partial repair n-1 still violates the fixed point image invariant.

Case contract

Input 0<=n<=7; return lexicographically sorted permutations p of 0..n-1 satisfying p[p[i]]=i.

Why this case matters

Exact discrete arithmetic with observable algorithmic state; no floating point approximation is used.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import itertools
from fractions import Fraction
N = 1
observations = []
def solve(x):
    n=x;out=[]
    def visit(p,free):
     if not free:
      out.append(p);return
     i=free[0]
     rest=[v for v in free if v!=i]
     q=p[:];q[i]=0
     visit(q,rest)
     for j in rest:
      q=p[:];q[i]=j;q[j]=i
      visit(q,[v for v in rest if v!=j])
    visit([-1]*n,list(range(n)))
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[(2, [[0, 1], [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]]), (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]])], [(3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [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, [[]]), (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]]), (2, [[0, 1], [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]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [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]])], [(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, [[]]), (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]]), (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]]), (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]])], [(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]]), (2, [[0, 1], [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]]), (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]])]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("explicit oracle %d" % i, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
explicit oracle 0	`[[0, 0], [1, 0]]`	`[[0, 1], [1, 0]]`	Failed
explicit oracle 1	`[[]]`	`[[]]`	Passed
explicit oracle 2	[[0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 6, 5], [0, 0, 0, 0, 5, 4, 0], [0, 0, 0, 0, 6, 0, 4], [0, 0, 0, 4, 3, 0, 0], [0, 0, 0, 4, 3, 6, 5], [0, 0, 0, 5, 0, 3, 0], [0, 0, 0, 5, 6, 3, 4], [0, 0, 0, 6, 0, 0, 3], [0, 0, 0, 6, 5, 4, 3], [0, 0, 3, 2, 0, 0, 0], [0, 0, 3, 2, 0, 6, 5], [0, 0, 3, 2, 5, 4, 0], [0, 0, 3, 2, 6, 0, 4], [0, 0, 4, 0, 2, 0, 0], [0, 0, 4, 0, 2, 6, 5], [0, 0, 4, 5, 2, 3, 0], [0, 0, 4, 6, 2, 0, 3], [0, 0, 5, 0, 0, 2, 0], [0, 0, 5, 0, 6, 2, 4], [0, 0, 5, 4, 3, 2, 0], [0, 0, 5, 6, 0, 2, 3], [0, 0, 6, 0, 0, 0, 2], [0, 0, 6, 0, 5, 4, 2], [0, 0, 6, 4, 3, 0, 2], [0, 0, 6, 5, 0, 3, 2], [0, 2, 1, 0, 0, 0, 0], [0, 2, 1, 0, 0, 6, 5], [0, 2, 1, 0, 5, 4, 0], [0, 2, 1, 0, 6, 0, 4], [0, 2, 1, 4, 3, 0, 0], [0, 2, 1, 4, 3, 6, 5], [0, 2, 1, 5, 0, 3, 0], [0, 2, 1, 5, 6, 3, 4], [0, 2, 1, 6, 0, 0, 3], [0, 2, 1, 6, 5, 4, 3], [0, 3, 0, 1, 0, 0, 0], [0, 3, 0, 1, 0, 6, 5], [0, 3, 0, 1, 5, 4, 0], [0, 3, 0, 1, 6, 0, 4], [0, 3, 4, 1, 2, 0, 0], [0, 3, 4, 1, 2, 6, 5], [0, 3, 5, 1, 0, 2, 0], [0, 3, 5, 1, 6, 2, 4], [0, 3, 6, 1, 0, 0, 2], [0, 3, 6, 1, 5, 4, 2], [0, 4, 0, 0, 1, 0, 0], [0, 4, 0, 0, 1, 6, 5], [0, 4, 0, 5, 1, 3, 0], [0, 4, 0, 6, 1, 0, 3], [0, 4, 3, 2, 1, 0, 0], [0, 4, 3, 2, 1, 6, 5], [0, 4, 5, 0, 1, 2, 0], [0, 4, 5, 6, 1, 2, 3], [0, 4, 6, 0, 1, 0, 2], [0, 4, 6, 5, 1, 3, 2], [0, 5, 0, 0, 0, 1, 0], [0, 5, 0, 0, 6, 1, 4], [0, 5, 0, 4, 3, 1, 0], [0, 5, 0, 6, 0, 1, 3], [0, 5, 3, 2, 0, 1, 0], [0, 5, 3, 2, 6, 1, 4], [0, 5, 4, 0, 2, 1, 0], [0, 5, 4, 6, 2, 1, 3], [0, 5, 6, 0, 0, 1, 2], [0, 5, 6, 4, 3, 1, 2], [0, 6, 0, 0, 0, 0, 1], [0, 6, 0, 0, 5, 4, 1], [0, 6, 0, 4, 3, 0, 1], [0, 6, 0, 5, 0, 3, 1], [0, 6, 3, 2, 0, 0, 1], [0, 6, 3, 2, 5, 4, 1], [0, 6, 4, 0, 2, 0, 1], [0, 6, 4, 5, 2, 3, 1], [0, 6, 5, 0, 0, 2, 1], [0, 6, 5, 4, 3, 2, 1], [1, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 6, 5], [1, 0, 0, 0, 5, 4, 0], [1, 0, 0, 0, 6, 0, 4], [1, 0, 0, 4, 3, 0, 0], [1, 0, 0, 4, 3, 6, 5], [1, 0, 0, 5, 0, 3, 0], [1, 0, 0, 5, 6, 3, 4], [1, 0, 0, 6, 0, 0, 3], [1, 0, 0, 6, 5, 4, 3], [1, 0, 3, 2, 0, 0, 0], [1, 0, 3, 2, 0, 6, 5], [1, 0, 3, 2, 5, 4, 0], [1, 0, 3, 2, 6, 0, 4], [1, 0, 4, 0, 2, 0, 0], [1, 0, 4, 0, 2, 6, 5], [1, 0, 4, 5, 2, 3, 0], [1, 0, 4, 6, 2, 0, 3], [1, 0, 5, 0, 0, 2, 0], [1, 0, 5, 0, 6, 2, 4], [1, 0, 5, 4, 3, 2, 0], [1, 0, 5, 6, 0, 2, 3], [1, 0, 6, 0, 0, 0, 2], [1, 0, 6, 0, 5, 4, 2], [1, 0, 6, 4, 3, 0, 2], [1, 0, 6, 5, 0, 3, 2], [2, 0, 0, 0, 0, 0, 0], [2, 0, 0, 0, 0, 6, 5], [2, 0, 0, 0, 5, 4, 0], [2, 0, 0, 0, 6, 0, 4], [2, 0, 0, 4, 3, 0, 0], [2, 0, 0, 4, 3, 6, 5], [2, 0, 0, 5, 0, 3, 0], [2, 0, 0, 5, 6, 3, 4], [2, 0, 0, 6, 0, 0, 3], [2, 0, 0, 6, 5, 4, 3], [2, 3, 0, 1, 0, 0, 0], [2, 3, 0, 1, 0, 6, 5], [2, 3, 0, 1, 5, 4, 0], [2, 3, 0, 1, 6, 0, 4], [2, 4, 0, 0, 1, 0, 0], [2, 4, 0, 0, 1, 6, 5], [2, 4, 0, 5, 1, 3, 0], [2, 4, 0, 6, 1, 0, 3], [2, 5, 0, 0, 0, 1, 0], [2, 5, 0, 0, 6, 1, 4], [2, 5, 0, 4, 3, 1, 0], [2, 5, 0, 6, 0, 1, 3], [2, 6, 0, 0, 0, 0, 1], [2, 6, 0, 0, 5, 4, 1], [2, 6, 0, 4, 3, 0, 1], [2, 6, 0, 5, 0, 3, 1], [3, 0, 0, 0, 0, 0, 0], [3, 0, 0, 0, 0, 6, 5], [3, 0, 0, 0, 5, 4, 0], [3, 0, 0, 0, 6, 0, 4], [3, 0, 4, 0, 2, 0, 0], [3, 0, 4, 0, 2, 6, 5], [3, 0, 5, 0, 0, 2, 0], [3, 0, 5, 0, 6, 2, 4], [3, 0, 6, 0, 0, 0, 2], [3, 0, 6, 0, 5, 4, 2], [3, 2, 1, 0, 0, 0, 0], [3, 2, 1, 0, 0, 6, 5], [3, 2, 1, 0, 5, 4, 0], [3, 2, 1, 0, 6, 0, 4], [3, 4, 0, 0, 1, 0, 0], [3, 4, 0, 0, 1, 6, 5], [3, 4, 5, 0, 1, 2, 0], [3, 4, 6, 0, 1, 0, 2], [3, 5, 0, 0, 0, 1, 0], [3, 5, 0, 0, 6, 1, 4], [3, 5, 4, 0, 2, 1, 0], [3, 5, 6, 0, 0, 1, 2], [3, 6, 0, 0, 0, 0, 1], [3, 6, 0, 0, 5, 4, 1], [3, 6, 4, 0, 2, 0, 1], [3, 6, 5, 0, 0, 2, 1], [4, 0, 0, 0, 0, 0, 0], [4, 0, 0, 0, 0, 6, 5], [4, 0, 0, 5, 0, 3, 0], [4, 0, 0, 6, 0, 0, 3], [4, 0, 3, 2, 0, 0, 0], [4, 0, 3, 2, 0, 6, 5], [4, 0, 5, 0, 0, 2, 0], [4, 0, 5, 6, 0, 2, 3], [4, 0, 6, 0, 0, 0, 2], [4, 0, 6, 5, 0, 3, 2], [4, 2, 1, 0, 0, 0, 0], [4, 2, 1, 0, 0, 6, 5], [4, 2, 1, 5, 0, 3, 0], [4, 2, 1, 6, 0, 0, 3], [4, 3, 0, 1, 0, 0, 0], [4, 3, 0, 1, 0, 6, 5], [4, 3, 5, 1, 0, 2, 0], [4, 3, 6, 1, 0, 0, 2], [4, 5, 0, 0, 0, 1, 0], [4, 5, 0, 6, 0, 1, 3], [4, 5, 3, 2, 0, 1, 0], [4, 5, 6, 0, 0, 1, 2], [4, 6, 0, 0, 0, 0, 1], [4, 6, 0, 5, 0, 3, 1], [4, 6, 3, 2, 0, 0, 1], [4, 6, 5, 0, 0, 2, 1], [5, 0, 0, 0, 0, 0, 0], [5, 0, 0, 0, 6, 0, 4], [5, 0, 0, 4, 3, 0, 0], [5, 0, 0, 6, 0, 0, 3], [5, 0, 3, 2, 0, 0, 0], [5, 0, 3, 2, 6, 0, 4], [5, 0, 4, 0, 2, 0, 0], [5, 0, 4, 6, 2, 0, 3], [5, 0, 6, 0, 0, 0, 2], [5, 0, 6, 4, 3, 0, 2], [5, 2, 1, 0, 0, 0, 0], [5, 2, 1, 0, 6, 0, 4], [5, 2, 1, 4, 3, 0, 0], [5, 2, 1, 6, 0, 0, 3], [5, 3, 0, 1, 0, 0, 0], [5, 3, 0, 1, 6, 0, 4], [5, 3, 4, 1, 2, 0, 0], [5, 3, 6, 1, 0, 0, 2], [5, 4, 0, 0, 1, 0, 0], [5, 4, 0, 6, 1, 0, 3], [5, 4, 3, 2, 1, 0, 0], [5, 4, 6, 0, 1, 0, 2], [5, 6, 0, 0, 0, 0, 1], [5, 6, 0, 4, 3, 0, 1], [5, 6, 3, 2, 0, 0, 1], [5, 6, 4, 0, 2, 0, 1], [6, 0, 0, 0, 0, 0, 0], [6, 0, 0, 0, 5, 4, 0], [6, 0, 0, 4, 3, 0, 0], [6, 0, 0, 5, 0, 3, 0], [6, 0, 3, 2, 0, 0, 0], [6, 0, 3, 2, 5, 4, 0], [6, 0, 4, 0, 2, 0, 0], [6, 0, 4, 5, 2, 3, 0], [6, 0, 5, 0, 0, 2, 0], [6, 0, 5, 4, 3, 2, 0], [6, 2, 1, 0, 0, 0, 0], [6, 2, 1, 0, 5, 4, 0], [6, 2, 1, 4, 3, 0, 0], [6, 2, 1, 5, 0, 3, 0], [6, 3, 0, 1, 0, 0, 0], [6, 3, 0, 1, 5, 4, 0], [6, 3, 4, 1, 2, 0, 0], [6, 3, 5, 1, 0, 2, 0], [6, 4, 0, 0, 1, 0, 0], [6, 4, 0, 5, 1, 3, 0], [6, 4, 3, 2, 1, 0, 0], [6, 4, 5, 0, 1, 2, 0], [6, 5, 0, 0, 0, 1, 0], [6, 5, 0, 4, 3, 1, 0], [6, 5, 3, 2, 0, 1, 0], [6, 5, 4, 0, 2, 1, 0]]	[[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]]	Failed
explicit oracle 3	`[[0]]`	`[[0]]`	Passed
explicit oracle 4	`[[0, 0, 0], [0, 2, 1], [1, 0, 0], [2, 0, 0]]`	`[[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]`	Failed
explicit oracle 5	`[[0, 0, 0, 0], [0, 0, 3, 2], [0, 2, 1, 0], [0, 3, 0, 1], [1, 0, 0, 0], [1, 0, 3, 2], [2, 0, 0, 0], [2, 3, 0, 1], [3, 0, 0, 0], [3, 2, 1, 0]]`	`[[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]]`	Failed

SHA-256 / 54ae81c7b208315d7f92baf32218d55c18de641139063d7170f5fdfc6db85680

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import itertools
from fractions import Fraction
N = 1
observations = []
def solve(x):
    n=x;out=[]
    def visit(p,free):
     if not free:
      out.append(p);return
     i=free[0]
     rest=[v for v in free if v!=i]
     q=p[:];q[i]=n-1
     visit(q,rest)
     for j in rest:
      q=p[:];q[i]=j;q[j]=i
      visit(q,[v for v in rest if v!=j])
    visit([-1]*n,list(range(n)))
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[(2, [[0, 1], [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]]), (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]])], [(3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [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, [[]]), (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]]), (2, [[0, 1], [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]]), (3, [[0, 1, 2], [0, 2, 1], [1, 0, 2], [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]])], [(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, [[]]), (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]]), (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]]), (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]])], [(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]]), (2, [[0, 1], [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]]), (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]])]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("explicit oracle %d" % i, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
explicit oracle 0	`[[1, 0], [1, 1]]`	`[[0, 1], [1, 0]]`	Failed
explicit oracle 1	`[[]]`	`[[]]`	Passed
explicit oracle 2	[[1, 0, 3, 2, 5, 4, 6], [1, 0, 3, 2, 6, 6, 4], [1, 0, 3, 2, 6, 6, 5], [1, 0, 3, 2, 6, 6, 6], [1, 0, 4, 5, 2, 3, 6], [1, 0, 4, 6, 2, 6, 3], [1, 0, 4, 6, 2, 6, 5], [1, 0, 4, 6, 2, 6, 6], [1, 0, 5, 4, 3, 2, 6], [1, 0, 5, 6, 6, 2, 3], [1, 0, 5, 6, 6, 2, 4], [1, 0, 5, 6, 6, 2, 6], [1, 0, 6, 4, 3, 6, 2], [1, 0, 6, 4, 3, 6, 5], [1, 0, 6, 4, 3, 6, 6], [1, 0, 6, 5, 6, 3, 2], [1, 0, 6, 5, 6, 3, 4], [1, 0, 6, 5, 6, 3, 6], [1, 0, 6, 6, 5, 4, 2], [1, 0, 6, 6, 5, 4, 3], [1, 0, 6, 6, 5, 4, 6], [1, 0, 6, 6, 6, 6, 2], [1, 0, 6, 6, 6, 6, 3], [1, 0, 6, 6, 6, 6, 4], [1, 0, 6, 6, 6, 6, 5], [1, 0, 6, 6, 6, 6, 6], [2, 3, 0, 1, 5, 4, 6], [2, 3, 0, 1, 6, 6, 4], [2, 3, 0, 1, 6, 6, 5], [2, 3, 0, 1, 6, 6, 6], [2, 4, 0, 5, 1, 3, 6], [2, 4, 0, 6, 1, 6, 3], [2, 4, 0, 6, 1, 6, 5], [2, 4, 0, 6, 1, 6, 6], [2, 5, 0, 4, 3, 1, 6], [2, 5, 0, 6, 6, 1, 3], [2, 5, 0, 6, 6, 1, 4], [2, 5, 0, 6, 6, 1, 6], [2, 6, 0, 4, 3, 6, 1], [2, 6, 0, 4, 3, 6, 5], [2, 6, 0, 4, 3, 6, 6], [2, 6, 0, 5, 6, 3, 1], [2, 6, 0, 5, 6, 3, 4], [2, 6, 0, 5, 6, 3, 6], [2, 6, 0, 6, 5, 4, 1], [2, 6, 0, 6, 5, 4, 3], [2, 6, 0, 6, 5, 4, 6], [2, 6, 0, 6, 6, 6, 1], [2, 6, 0, 6, 6, 6, 3], [2, 6, 0, 6, 6, 6, 4], [2, 6, 0, 6, 6, 6, 5], [2, 6, 0, 6, 6, 6, 6], [3, 2, 1, 0, 5, 4, 6], [3, 2, 1, 0, 6, 6, 4], [3, 2, 1, 0, 6, 6, 5], [3, 2, 1, 0, 6, 6, 6], [3, 4, 5, 0, 1, 2, 6], [3, 4, 6, 0, 1, 6, 2], [3, 4, 6, 0, 1, 6, 5], [3, 4, 6, 0, 1, 6, 6], [3, 5, 4, 0, 2, 1, 6], [3, 5, 6, 0, 6, 1, 2], [3, 5, 6, 0, 6, 1, 4], [3, 5, 6, 0, 6, 1, 6], [3, 6, 4, 0, 2, 6, 1], [3, 6, 4, 0, 2, 6, 5], [3, 6, 4, 0, 2, 6, 6], [3, 6, 5, 0, 6, 2, 1], [3, 6, 5, 0, 6, 2, 4], [3, 6, 5, 0, 6, 2, 6], [3, 6, 6, 0, 5, 4, 1], [3, 6, 6, 0, 5, 4, 2], [3, 6, 6, 0, 5, 4, 6], [3, 6, 6, 0, 6, 6, 1], [3, 6, 6, 0, 6, 6, 2], [3, 6, 6, 0, 6, 6, 4], [3, 6, 6, 0, 6, 6, 5], [3, 6, 6, 0, 6, 6, 6], [4, 2, 1, 5, 0, 3, 6], [4, 2, 1, 6, 0, 6, 3], [4, 2, 1, 6, 0, 6, 5], [4, 2, 1, 6, 0, 6, 6], [4, 3, 5, 1, 0, 2, 6], [4, 3, 6, 1, 0, 6, 2], [4, 3, 6, 1, 0, 6, 5], [4, 3, 6, 1, 0, 6, 6], [4, 5, 3, 2, 0, 1, 6], [4, 5, 6, 6, 0, 1, 2], [4, 5, 6, 6, 0, 1, 3], [4, 5, 6, 6, 0, 1, 6], [4, 6, 3, 2, 0, 6, 1], [4, 6, 3, 2, 0, 6, 5], [4, 6, 3, 2, 0, 6, 6], [4, 6, 5, 6, 0, 2, 1], [4, 6, 5, 6, 0, 2, 3], [4, 6, 5, 6, 0, 2, 6], [4, 6, 6, 5, 0, 3, 1], [4, 6, 6, 5, 0, 3, 2], [4, 6, 6, 5, 0, 3, 6], [4, 6, 6, 6, 0, 6, 1], [4, 6, 6, 6, 0, 6, 2], [4, 6, 6, 6, 0, 6, 3], [4, 6, 6, 6, 0, 6, 5], [4, 6, 6, 6, 0, 6, 6], [5, 2, 1, 4, 3, 0, 6], [5, 2, 1, 6, 6, 0, 3], [5, 2, 1, 6, 6, 0, 4], [5, 2, 1, 6, 6, 0, 6], [5, 3, 4, 1, 2, 0, 6], [5, 3, 6, 1, 6, 0, 2], [5, 3, 6, 1, 6, 0, 4], [5, 3, 6, 1, 6, 0, 6], [5, 4, 3, 2, 1, 0, 6], [5, 4, 6, 6, 1, 0, 2], [5, 4, 6, 6, 1, 0, 3], [5, 4, 6, 6, 1, 0, 6], [5, 6, 3, 2, 6, 0, 1], [5, 6, 3, 2, 6, 0, 4], [5, 6, 3, 2, 6, 0, 6], [5, 6, 4, 6, 2, 0, 1], [5, 6, 4, 6, 2, 0, 3], [5, 6, 4, 6, 2, 0, 6], [5, 6, 6, 4, 3, 0, 1], [5, 6, 6, 4, 3, 0, 2], [5, 6, 6, 4, 3, 0, 6], [5, 6, 6, 6, 6, 0, 1], [5, 6, 6, 6, 6, 0, 2], [5, 6, 6, 6, 6, 0, 3], [5, 6, 6, 6, 6, 0, 4], [5, 6, 6, 6, 6, 0, 6], [6, 2, 1, 4, 3, 6, 0], [6, 2, 1, 4, 3, 6, 5], [6, 2, 1, 4, 3, 6, 6], [6, 2, 1, 5, 6, 3, 0], [6, 2, 1, 5, 6, 3, 4], [6, 2, 1, 5, 6, 3, 6], [6, 2, 1, 6, 5, 4, 0], [6, 2, 1, 6, 5, 4, 3], [6, 2, 1, 6, 5, 4, 6], [6, 2, 1, 6, 6, 6, 0], [6, 2, 1, 6, 6, 6, 3], [6, 2, 1, 6, 6, 6, 4], [6, 2, 1, 6, 6, 6, 5], [6, 2, 1, 6, 6, 6, 6], [6, 3, 4, 1, 2, 6, 0], [6, 3, 4, 1, 2, 6, 5], [6, 3, 4, 1, 2, 6, 6], [6, 3, 5, 1, 6, 2, 0], [6, 3, 5, 1, 6, 2, 4], [6, 3, 5, 1, 6, 2, 6], [6, 3, 6, 1, 5, 4, 0], [6, 3, 6, 1, 5, 4, 2], [6, 3, 6, 1, 5, 4, 6], [6, 3, 6, 1, 6, 6, 0], [6, 3, 6, 1, 6, 6, 2], [6, 3, 6, 1, 6, 6, 4], [6, 3, 6, 1, 6, 6, 5], [6, 3, 6, 1, 6, 6, 6], [6, 4, 3, 2, 1, 6, 0], [6, 4, 3, 2, 1, 6, 5], [6, 4, 3, 2, 1, 6, 6], [6, 4, 5, 6, 1, 2, 0], [6, 4, 5, 6, 1, 2, 3], [6, 4, 5, 6, 1, 2, 6], [6, 4, 6, 5, 1, 3, 0], [6, 4, 6, 5, 1, 3, 2], [6, 4, 6, 5, 1, 3, 6], [6, 4, 6, 6, 1, 6, 0], [6, 4, 6, 6, 1, 6, 2], [6, 4, 6, 6, 1, 6, 3], [6, 4, 6, 6, 1, 6, 5], [6, 4, 6, 6, 1, 6, 6], [6, 5, 3, 2, 6, 1, 0], [6, 5, 3, 2, 6, 1, 4], [6, 5, 3, 2, 6, 1, 6], [6, 5, 4, 6, 2, 1, 0], [6, 5, 4, 6, 2, 1, 3], [6, 5, 4, 6, 2, 1, 6], [6, 5, 6, 4, 3, 1, 0], [6, 5, 6, 4, 3, 1, 2], [6, 5, 6, 4, 3, 1, 6], [6, 5, 6, 6, 6, 1, 0], [6, 5, 6, 6, 6, 1, 2], [6, 5, 6, 6, 6, 1, 3], [6, 5, 6, 6, 6, 1, 4], [6, 5, 6, 6, 6, 1, 6], [6, 6, 3, 2, 5, 4, 0], [6, 6, 3, 2, 5, 4, 1], [6, 6, 3, 2, 5, 4, 6], [6, 6, 3, 2, 6, 6, 0], [6, 6, 3, 2, 6, 6, 1], [6, 6, 3, 2, 6, 6, 4], [6, 6, 3, 2, 6, 6, 5], [6, 6, 3, 2, 6, 6, 6], [6, 6, 4, 5, 2, 3, 0], [6, 6, 4, 5, 2, 3, 1], [6, 6, 4, 5, 2, 3, 6], [6, 6, 4, 6, 2, 6, 0], [6, 6, 4, 6, 2, 6, 1], [6, 6, 4, 6, 2, 6, 3], [6, 6, 4, 6, 2, 6, 5], [6, 6, 4, 6, 2, 6, 6], [6, 6, 5, 4, 3, 2, 0], [6, 6, 5, 4, 3, 2, 1], [6, 6, 5, 4, 3, 2, 6], [6, 6, 5, 6, 6, 2, 0], [6, 6, 5, 6, 6, 2, 1], [6, 6, 5, 6, 6, 2, 3], [6, 6, 5, 6, 6, 2, 4], [6, 6, 5, 6, 6, 2, 6], [6, 6, 6, 4, 3, 6, 0], [6, 6, 6, 4, 3, 6, 1], [6, 6, 6, 4, 3, 6, 2], [6, 6, 6, 4, 3, 6, 5], [6, 6, 6, 4, 3, 6, 6], [6, 6, 6, 5, 6, 3, 0], [6, 6, 6, 5, 6, 3, 1], [6, 6, 6, 5, 6, 3, 2], [6, 6, 6, 5, 6, 3, 4], [6, 6, 6, 5, 6, 3, 6], [6, 6, 6, 6, 5, 4, 0], [6, 6, 6, 6, 5, 4, 1], [6, 6, 6, 6, 5, 4, 2], [6, 6, 6, 6, 5, 4, 3], [6, 6, 6, 6, 5, 4, 6], [6, 6, 6, 6, 6, 6, 0], [6, 6, 6, 6, 6, 6, 1], [6, 6, 6, 6, 6, 6, 2], [6, 6, 6, 6, 6, 6, 3], [6, 6, 6, 6, 6, 6, 4], [6, 6, 6, 6, 6, 6, 5], [6, 6, 6, 6, 6, 6, 6]]	[[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]]	Failed
explicit oracle 3	`[[0]]`	`[[0]]`	Passed
explicit oracle 4	`[[1, 0, 2], [2, 2, 0], [2, 2, 1], [2, 2, 2]]`	`[[0, 1, 2], [0, 2, 1], [1, 0, 2], [2, 1, 0]]`	Failed
explicit oracle 5	`[[1, 0, 3, 2], [1, 0, 3, 3], [2, 3, 0, 1], [2, 3, 0, 3], [3, 2, 1, 0], [3, 2, 1, 3], [3, 3, 3, 0], [3, 3, 3, 1], [3, 3, 3, 2], [3, 3, 3, 3]]`	`[[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]]`	Failed

SHA-256 / 85ed28c9d4b933220b85a6f35ee1b8c7069d974ad400bdc98b8e3fdc4574836d

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 6 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:39:25.694967+00:00.

Case digest / 2988bbd1fe468a8739865a6fcc7717a65590fced9f1a1023a18eab04dfa32d97