Paper IX exact verification summary
paths=64
count=216360
total 216360 feasible 63240 dangerous 0
witness: s=4 b=4 first_failure=5 discrepancy=1
candidate_U: 1 2 3 5 9 15
discrepancy_GF: -z**5*(z + 1)/((z**3 - z**2 - 1)*(z**4 - z**3 - z**2 - z + 1))
templates 192 remzero 176 nonzero 16
ell2_exceptional_cases=16
selfloop-feeder: rank3_assignments=32 lower_maps=12 symmetry_classes=6 bad=0 det=±1 later_zero=all
templates 168
rank3 32 dangerous 0
rank3 maps Counter({(1, 1, 3, 0): 2, (1, 3, 1, 0): 2, (3, 0, 1, 1): 2, (3, 1, 0, 1): 2, (0, 0, 3, 1): 2, (0, 1, 3, 0): 2, (0, 3, 0, 1): 2, (0, 3, 1, 0): 2, (1, 0, 3, 0): 2, (1, 3, 0, 0): 2, (3, 0, 1, 0): 2, (3, 1, 0, 0): 2, (1, 2, 3, 0): 1, (1, 3, 2, 0): 1, (2, 1, 3, 0): 1, (2, 3, 1, 0): 1, (3, 0, 1, 2): 1, (3, 0, 2, 1): 1, (3, 1, 0, 2): 1, (3, 2, 0, 1): 1})
