== (a) mode G vs brute force (torsion-free classes / orientable among them)
OK [3,3] K=4 index=24 engine: classes=1 orientable=1 | brute force: torsionfree=1 orientable=1
OK [3,4] K=8 index=48 engine: classes=1 orientable=1 | brute force: torsionfree=1 orientable=1
OK [3,5] K=20 index=120 engine: classes=1 orientable=1 | brute force: torsionfree=1 orientable=1
OK [4,4] K=1 index=8 engine: classes=3 orientable=1 | brute force: torsionfree=3 orientable=1
OK [4,4] K=2 index=16 engine: classes=7 orientable=2 | brute force: torsionfree=7 orientable=2
OK [4,4] K=3 index=24 engine: classes=6 orientable=2 | brute force: torsionfree=6 orientable=2
OK [6,3] K=1 index=12 engine: classes=3 orientable=1 | brute force: torsionfree=3 orientable=1
OK [6,3] K=2 index=24 engine: classes=5 orientable=1 | brute force: torsionfree=5 orientable=1
OK [3,6] K=2 index=12 engine: classes=3 orientable=1 | brute force: torsionfree=3 orientable=1
OK [3,6] K=4 index=24 engine: classes=5 orientable=1 | brute force: torsionfree=5 orientable=1
OK [8,8] K=1 index=16 engine: classes=51 orientable=4 | brute force: torsionfree=51 orientable=4
OK [6,6] K=1 index=12 engine: classes=8 orientable=0 | brute force: torsionfree=8 orientable=0
OK [6,6] K=2 index=24 engine: classes=133 orientable=12 | brute force: torsionfree=133 orientable=12
OK [5,5] K=2 index=20 engine: classes=3 orientable=0 | brute force: torsionfree=3 orientable=0
OK [12,3] K=2 index=48 engine: classes=303 orientable=20 | brute force: torsionfree=303 orientable=20
OK [3,3,3] K=5 index=120 engine: classes=1 orientable=1 | brute force: torsionfree=1 orientable=1
== (a') mode B (one cell, all root-type slices): domain search vs plain backtracking vs brute force
OK [3,3,3] one cell: slices=4 raw=1 classes=1 orientable=1 (plain backtracking: classes=1 orientable=1; per-slice count mismatches=0) | brute force index 24: torsionfree=1 orientable=1
OK [4,3,3] one cell: slices=11 raw=2 classes=2 orientable=2 (plain backtracking: classes=2 orientable=2; per-slice count mismatches=0) | brute force index 48: torsionfree=2 orientable=2
OK [3,4,3] one cell: slices=11 raw=3 classes=3 orientable=3 (plain backtracking: classes=3 orientable=3; per-slice count mismatches=0) | brute force index 48: torsionfree=3 orientable=3
OK [4,3,4] one cell: slices=11 raw=31 classes=18 orientable=6 (plain backtracking: classes=18 orientable=6; per-slice count mismatches=0) | brute force index 48: torsionfree=18 orientable=6
OK [5,3,3] one cell: slices=16 raw=3 classes=2 orientable=2 (plain backtracking: classes=2 orientable=2; per-slice count mismatches=0) | brute force index 120: torsionfree=2 orientable=2
OK [3,5,3] one cell: slices=21 raw=12 classes=7 orientable=7 (plain backtracking: classes=7 orientable=7; per-slice count mismatches=0)
OK [5,3,5] one cell: slices=16 raw=26 classes=12 orientable=12 (plain backtracking: classes=12 orientable=12; per-slice count mismatches=0)
OK [4,3,5] one cell: slices=11 raw=0 classes=0 orientable=0 (plain backtracking: classes=0 orientable=0; per-slice count mismatches=0)
OK [5,3,4] one cell: slices=16 raw=0 classes=0 orientable=0 (plain backtracking: classes=0 orientable=0; per-slice count mismatches=0)
OK [8,8] one cell: slices=8 raw=97 classes=51 orientable=4 (plain backtracking: classes=51 orientable=4; per-slice count mismatches=0) | brute force index 16: torsionfree=51 orientable=4
OK [6,6] one cell: slices=6 raw=10 classes=8 orientable=0 (plain backtracking: classes=8 orientable=0; per-slice count mismatches=0) | brute force index 12: torsionfree=8 orientable=0
== (a'') mode A (two cells, orientable, last label 3) vs mode G vs brute force (orientable torsion-free classes of index 2|C|)
OK [6,3] K=2 orientable: G:raw=3,classes=1 A:raw=1,classes=1 Ar:raw=1,classes=1 | brute force index 24: orientable torsion-free=1
OK [8,3] K=2 orientable: G:raw=0,classes=0 A:raw=0,classes=0 Ar:raw=0,classes=0 | brute force index 32: orientable torsion-free=0
OK [7,3] K=2 orientable: G:raw=0,classes=0 A:raw=0,classes=0 Ar:raw=0,classes=0 | brute force index 28: orientable torsion-free=0
OK [10,3] K=2 orientable: G:raw=0,classes=0 A:raw=0,classes=0 Ar:raw=0,classes=0 | brute force index 40: orientable torsion-free=0
OK [12,3] K=2 orientable: G:raw=267,classes=20 A:raw=79,classes=20 Ar:raw=32,classes=20 | brute force index 48: orientable torsion-free=20
OK [4,3,3] K=2 orientable: G:raw=6,classes=1 A:raw=1,classes=1 Ar:raw=1,classes=1
OK [3,4,3] K=2 orientable: G:raw=24,classes=1 A:raw=3,classes=1 Ar:raw=1,classes=1
OK [3,3,3] K=2 orientable: G:raw=0,classes=0 A:raw=0,classes=0 Ar:raw=0,classes=0
DONE
