n=5: 19 unitary pairs; printed (b): tested per m {-3: 1, -2: 2, -1: 9, 0: 19, 1: 19, 2: 19, 3: 19, 4: 19}, reachable per m {-3: 1, -2: 2, -1: 9, 0: 19, 1: 19, 2: 19, 3: 19, 4: 19} ; printed (a), m != 0: tested per m {-2: 1, -1: 2, 1: 19, 2: 19, 3: 19, 4: 19}, reachable per m {-2: 1, -1: 2, 1: 19, 2: 19, 3: 19, 4: 19}
n=7: 13 unitary pairs; printed (b): tested per m {-2: 1, -1: 6, 0: 13, 1: 13, 2: 13, 3: 13, 4: 13}, reachable per m {-1: 6} ; printed (a), m != 0: tested per m {-2: 1, -1: 2, 1: 13, 2: 13, 3: 13, 4: 13}, reachable per m {}
n=9: 5 unitary pairs; printed (b): tested per m {-1: 2, 0: 5, 1: 5, 2: 5, 3: 5, 4: 5}, reachable per m {-1: 2} ; printed (a), m != 0: tested per m {-1: 1, 1: 5, 2: 5, 3: 5, 4: 5}, reachable per m {}
n=11: 5 unitary pairs; printed (b): tested per m {-1: 2, 0: 5, 1: 5, 2: 5, 3: 5, 4: 5}, reachable per m {-1: 2} ; printed (a), m != 0: tested per m {-1: 1, 1: 5, 2: 5, 3: 5, 4: 5}, reachable per m {}
