GF(8) modulus 0b1011 primitive 2
S(a,b): closed, order 64
|<S(1,0), M(g), W>| = 29120 (expected q^2(q^2+1)(q-1) = 29120 )
nondegenerate alternating forms preserved by the generators: 7 first: (0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0)
orbit of <(1,0,0,0)>: 65 points
no three points of the orbit are collinear (all 43680 triples)
classes (order:size): [(1, 1), (2, 455), (4, 1820), (4, 1820), (5, 5824), (7, 4160), (7, 4160), (7, 4160), (13, 2240), (13, 2240), (13, 2240)]
normal closure of every nontrivial class = G (G simple)
per class (order, size, max tail over all x): [(1, 1, 1), (2, 455, 2), (4, 1820, 8), (4, 1820, 11), (5, 5824, 62), (7, 4160, 56), (7, 4160, 56), (7, 4160, 56), (13, 2240, 27), (13, 2240, 27), (13, 2240, 27)]
mu(Sz(8)) = 62
witness re-check by direct iteration: tail 62 period 90
witness x = (2, 6, 6, 3, 2, 5, 4, 0, 6, 2, 5, 7, 1, 5, 1, 6)
witness y = (0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1)
other convention: per class [(1, 1, 1), (2, 455, 2), (4, 1820, 8), (4, 1820, 11), (5, 5824, 62), (7, 4160, 56), (7, 4160, 56), (7, 4160, 56), (13, 2240, 27), (13, 2240, 27), (13, 2240, 27)] mu = 62
random y check (60 y): max 62 by order [(2, 2), (4, 8), (4, 11), (5, 62), (7, 56), (13, 27)]
|stabilizer of a point| = 448
mu(B) = 3
|N(<g>)| for g of order 7: 14  mu = 2
|N(<g>)| for g of order 13: 52  mu = 2
|N(<g>)| for g of order 5: 20  mu = 2
time 42.0s
