|W| = 96  |T| = 24  T <= W: True
T: involutions 1 | Q8 = elements of order 1,2,4 has size 8 | derived subgroup order 8 | element orders [1, 2, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 6, 6, 6, 6, 6, 6, 6, 6]
[W:T] = 4
|Ghat| = 768
stabiliser of mu_T in W: order 24 | equals T: True
QUATERNION MODEL CHECKS PASSED
