(a) level 10: tau a_s tau = a_s^-1: True ; b_s b_t = a_s^-1 a_t: True ; a_s = tau o b_s: True
(b) n=3: Q induces 32 = 2^5 permutations of Z/2^n (|G(B)_n| = 2^5 from s5);  (c) P induces 2^5
(b) n=4: Q induces 128 = 2^7 permutations of Z/2^n (|G(B)_n| = 2^7 from s5);  (c) P induces 2^7
(b) n=5: Q induces 1024 = 2^10 permutations of Z/2^n (|G(B)_n| = 2^10 from s5);  (c) P induces 2^10
(b) n=6: Q induces 8192 = 2^13 permutations of Z/2^n (|G(B)_n| = 2^13 from s5);  (c) P induces 2^13
(b) n=7: Q induces 65536 = 2^16 permutations of Z/2^n (|G(B)_n| = 2^16 from s5);  (c) P induces 2^16
