q=512 modulus=0b1000010001 irreducible=yes primitive=2
my generators preserve J: True ; ovoid invariant (262145 points tested): True
x: det=1 preserves J=True Bruhat certificate=('BWB', (283, 139, 18), (443, 191))
y: det=1 preserves J=True Bruhat certificate=('B', (0, 0, 150))
claimed tail 24814, orbit-cycle 291: O_{mu+lam} == O_mu: True ; O_{mu-1+lam} != O_{mu-1}: True  => tail == 24814: True
Brent on T-normal forms: tail=24814 orbit-cycle=291
full-storage direct iteration in Sz(q): tail=24814 cycle=148701
time 8.3s
