# output of: python sp4_roles.py 2   (control run, 2026-10-24 ~16:27Z, verifier A)
q = 2 closure order 720 expected |Sp_4(q)| = 720 time 0s
involutions 75 elements of order 3 80 time 0s
classes of order-3 elements: 2 sizes [40, 40]
class 0 (size 40): |Xa| = 9, b with C-role 18, D-role 18, C+D (hom of J) 0, C+F 18, time 0s
class 1 (size 40): |Xa| = 9, b with C-role 18, D-role 18, C+D (hom of J) 0, C+F 18, time 0s
RESULT Sp_4(2): homomorphisms J -> Sp_4(2) with A non-trivial: 0
