Sz(32): B = Q:T, |B| = 31744, classes 34, mu(B) = 3
D_62 (x -> -x + b over Z/31): order 62, mu = 2
41:4 (a in <32 mod 41>, 32 has order 4): order 164, mu = 2
25:4 (a in <7 mod 25>, 7 has order 4): order 100, mu = 2
D_8 (order 2^3): mu = 2 (Lemma 2(b) says >= 2)
D_16 (order 2^4): mu = 3 (Lemma 2(b) says >= 3)
D_32 (order 2^5): mu = 4 (Lemma 2(b) says >= 4)
D_64 (order 2^6): mu = 5 (Lemma 2(b) says >= 5)
D_128 (order 2^7): mu = 6 (Lemma 2(b) says >= 6)
time 10.6s
