F1: 25575 primitive 4x4 matrices scanned
F1 N=4 two pairs: 45 (graph, model) pairs; (L_A, first failing level) -> count:
    L_A=2, fails at level 2: 12
    L_A=3, fails at level 2: 33
F2 N=5 two pairs + 1: 571 (graph, model) pairs; (L_A, first failing level) -> count:
    L_A=2, fails at level 2: 8
    L_A=3, fails at level 2: 422
    L_A=3, fails at level 3: 31
    L_A=4, fails at level 2: 110
F3 N=4 four twins: 2 (graph, model) pairs; (L_A, first failing level) -> count:
    L_A=2, fails at level 2: 2
F3 N=5 four twins: 7 (graph, model) pairs; (L_A, first failing level) -> count:
    L_A=2, fails at level 2: 4
    L_A=3, fails at level 3: 3
F3 N=6 four twins: 283 (graph, model) pairs; (L_A, first failing level) -> count:
    L_A=2, fails at level 2: 8
    L_A=3, fails at level 2: 136
    L_A=3, fails at level 3: 109
    L_A=4, fails at level 4: 30
violations: 0
ALL PASS
