Janko Group J2, GAP, Презентация

Question

Как я могу представить Janko Group J2 в GAP? Я нашел презентацию J2 в атласе конечных групп, но она не работает. http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/J2/

и это моя презентация: f:= FreeGroup( "a", "b");;

г: = F /[ф.1 ^ 2 = ф.2^3=(ф.1 * ф.2)^7=[ф.1, ф.2]^12=(ф.1 * ф.2 * ф.1 * ф.2 * ф.1 * ф.2^-1* ф.1 * ф.2 * ф.1 * ф.2^-1)^6=1];