“…(2,3,5)(4,6,7),(1,2,3,4,5,6,7) S and set H 3m = A 3 wr H m where A 3 has order 3 and degree 3. The bound γ 0 log 2 c 0S (d)+ 2 3 < d is a consequence of d(H m ) = 2r, d(H 3m ) = 2r + 1, c(H m ) = m − 1 3 , c(H 3m ) = 4mIt follows from γ log 2 c − 2 3 < d and log 2 c 0 < d that c < 9 (d+1)/5 and c 0 < 2 d .…”