H0 rank-invariant finite pairs: [(4, 5), (3, 6), (2, 7)]
Oriented reduction over Q : AGREES
Oriented reduction over F_2 : AGREES
Oriented reduction over F_3 : AGREES
Oriented reduction over F_5 : AGREES
Oriented reduction over F_7 : AGREES
Oriented reduction over F_101 : AGREES
Fixed-field ac -> b paths: 0; after cancelling (c,bd): 1
All 24 vertex relabelings: zero-path obstruction unchanged
INDEPENDENT CHECK PASSED
