TY - RPRT TI - GAP computations needed in the proof of [DNT, Theorem 6.1 (ii)] AU - Thomas Breuer AU - Klaus Lux PY - 2012 UR - https://arxiv.org/abs/1206.6212 ID - 1206.6212 ER -