K:= ext where K is RationalField() ; Mat:=MatrixRing(K,3); BB:= [ [ 1, 0, 0, 0, 1, 0, 0, 0, 1 ], [ theta, 0, 0, 0, -theta^2 - theta + 1, 0, 0, 0, theta^2 - 2 ], [ theta^2, 0, 0, 0, theta + 2, 0, 0, 0, -theta^2 - theta + 3 ], [ 0, 1, 0, 0, 0, 1, 2, 0, 0 ], [ 0, theta, 0, 0, 0, -theta^2 - theta + 1, 2*theta^2 - 4, 0, 0 ], [ 0, theta^2, 0, 0, 0, theta + 2, -2*theta^2 - 2*theta + 6, 0, 0 ], [ 0, 0, 1, 2, 0, 0, 0, 2, 0 ], [ 0, 0, theta, -2*theta^2 - 2*theta + 2, 0, 0, 0, 2*theta^2 - 4, 0 ], [ 0, 0, theta^2, 2*theta + 4, 0, 0, 0, -2*theta^2 - 2*theta + 6, 0 ] ] ; BB:=[Mat!x : x in BB]; G:= quo< FreeGroup(3) | $.1^-1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.2 * $.1^-1 * $.3 = Id($), $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^2 * $.3^-1 * $.1 = Id($), $.3^-1 * $.2 * $.1 * $.2^-3 * $.3 * $.1^-1 * $.2^2 = Id($), $.2^2 * $.1^-1 * $.2 * $.1^-1 * $.3 * $.1^-1 * $.2^2 * $.3 * $.2^2 * $.1^-1 * $.2 = Id($), $.2^-1 * $.3 * $.2 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2 * $.1^-1 = Id($), $.3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2 * $.3 * $.2^-2 * $.3 * $.2 * $.3 * $.1 = Id($), $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^2 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 = Id($), $.1 * $.2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2^2 * $.3 * $.2 * $.1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1 = Id($), $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-2 * $.2 * $.1 * $.2 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 = Id($), $.2^-2 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.2 * $.3^-1 * $.2 * $.1 * $.2^-1 * $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-2 = Id($), $.1^-1 * $.2^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 = Id($), $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^-2 * $.1 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.2 * $.1^-1 * $.3 = Id($), $.3 * $.2^-1 * $.3^-1 * $.2^2 * $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^4 * $.3^-1 * $.2^2 * $.3 * $.2 * $.3 * $.1^-1 * $.3 * $.2 * $.3 = Id($), $.1^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-1 * $.1^-1 * $.2^-1 * $.1 * $.2^-1 * $.1^-1 * $.3^-1 * $.1 * $.3^-2 * $.2^-1 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 * $.2^2 = Id($), $.3 * $.2 * $.1^-1 * $.3 * $.2 * $.1^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.2^6 * $.1 * $.2^-2 * $.3 * $.2 * $.3 * $.2^-1 = Id($), $.2^-1 * $.3^-1 * $.2^-2 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.1 * $.3^-2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^-3 * $.3^-1 * $.2 * $.1^-1 * $.2^-1 * $.3 = Id($), $.3 * $.2 * $.3 * $.2^-1 * $.3 * $.2^-1 * $.1^-1 * $.2 * $.3^-1 * $.2 * $.1^2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-2 * $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3 * $.1^-1 * $.2^2 = Id($), $.1 * $.2 * $.3^-1 * $.2^2 * $.3 * $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-3 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^4 * $.3^-1 * $.1 * $.3^-1 * $.2 = Id($), $.3^-1 * $.2 * $.1^-1 * $.2 * $.3^-1 * $.1 * $.3^-2 * $.1 * $.3^-2 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2^2 = Id($), $.3^-1 * $.2^4 * $.1 * $.3^-1 * $.2^2 * $.3 * $.2 * $.1 * $.3^-1 * $.2^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.1^-1 * $.2^-2 * $.1 * $.2^-1 * $.1^-1 * $.3 * $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.2^2 * $.1^-1 * $.2^3 * $.1^-1 = Id($), $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-2 * $.2 * $.1^2 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.2^4 * $.3^-1 * $.2^6 = Id($), $.2^4 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-1 * $.3 * $.1 * $.2^-1 * $.1 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-1 * $.3^2 * $.1^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-1 * $.2 * $.1^-1 * $.3 = Id($), $.3 * $.1^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.1^-1 = Id($), $.1 * $.2^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-2 * $.3 * $.1^-1 * $.2^-3 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.2^-3 * $.3^-1 * $.2^2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 = Id($), $.3 * $.2^-2 * $.3 * $.2^-2 * $.3 * $.2 * $.3^2 * $.1^-1 * $.3 * $.1 * $.2 * $.1^-1 * $.3 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-2 * $.2 * $.1 * $.2^-2 * $.3 * $.1^-1 * $.2^-1 = Id($), $.2^-3 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.1 * $.2^-2 * $.3 * $.2 * $.3^2 * $.1^-1 * $.3 * $.2^-4 * $.3 * $.1^-1 * $.3 * $.2 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.1^-1 * $.3 = Id($), $.3 * $.2^-5 * $.1 * $.2 * $.1^-1 * $.2 * $.1^2 * $.3^-1 * $.1 * $.2^-1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2 * $.1 * $.3^-1 * $.1 * $.2^2 * $.1^-1 * $.2^-2 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.1 * $.2^-1 * $.1^-2 = Id($), $.1 * $.3^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3^-2 * $.2 * $.1 * $.2^-1 * $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-2 * $.1 * $.3^-1 * $.2^2 * $.3 * $.2 * $.1 * $.3^-1 = Id($), $.2^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.1^-1 * $.2^-4 * $.3 * $.2^-1 * $.1 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.1 * $.2^-2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-2 * $.3 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.3 * $.1^-1 * $.3 = Id($), $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1^2 * $.2 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-3 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.2^-3 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3^-1 = Id($), $.2 * $.1 * $.2^3 * $.3^-1 * $.2^4 * $.1^-1 * $.2^2 * $.3 * $.1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.1^-1 * $.3^-1 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.2^-3 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1 * $.3^-1 * $.2^2 * $.3 * $.2^-1 * $.3 * $.1^-1 = Id($), $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.2^-4 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.1^-1 * $.3 * $.2^-3 * $.1^-1 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.2 * $.3 = Id($), $.3^-1 * $.2^-1 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-2 * $.2 * $.1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2^3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-2 * $.1 * $.3^-1 * $.2^-1 * $.3 * $.1 * $.3^-1 * $.2^4 * $.3^-1 * $.2 * $.1^-1 * $.3^-1 * $.2 * $.1^-1 * $.2 * $.3^-1 * $.1 = Id($), $.3^-1 * $.1 * $.2 * $.3^-1 * $.1 * $.2 * $.3 * $.2^-2 * $.3 * $.2 * $.3 * $.1 * $.3^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.2^-3 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.2^-1 * $.1^-1 * $.2^4 * $.1 * $.3^-1 * $.1^-2 * $.2 * $.3^-1 * $.1 * $.3^-2 * $.1 * $.3^-1 * $.1 = Id($), $.3^-1 * $.2 * $.1 * $.3^-1 * $.2 * $.1 * $.2 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-2 * $.2^-1 * $.3^-1 * $.2^3 * $.1^-1 * $.3 * $.1^-1 * $.3^-1 * $.1 * $.3^-2 * $.2^-1 * $.3^-1 * $.2^2 * $.3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 = Id($), $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3 * $.1^-1 * $.3^-1 * $.2 * $.1^-1 * $.2^-1 * $.3 * $.2^-1 * $.1^-1 * $.3 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-4 * $.3 * $.2 * $.3^-1 * $.1 * $.2^-2 * $.3 * $.2^3 * $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.1^2 = Id($), $.3^-1 * $.2 * $.1 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2^2 * $.3 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.2^2 * $.3^-1 * $.2 * $.1^2 * $.2 = Id($), $.1 * $.3^-1 * $.1 * $.3 * $.1^-1 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.2 * $.3 * $.2^5 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 = Id($), $.1^2 * $.2^4 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-1 * $.3 * $.1 * $.2 * $.1^-1 * $.2^4 * $.3^-2 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2 = Id($), $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.3 * $.2^-2 * $.3 * $.2 * $.3^2 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.2 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3^2 * $.1^-1 * $.3 * $.2^-1 * $.1 * $.2^-1 * $.3 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.1^-1 * $.3 * $.2^-3 * $.1 * $.2^-2 * $.3^-1 * $.2^3 * $.3 * $.1^-1 = Id($), $.3^-1 * $.2^3 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^2 * $.3^-1 * $.2^4 * $.3^-1 * $.1^2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1^2 * $.2^4 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.3 * $.1 * $.2 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 = Id($), $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.2 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-2 * $.3 * $.1^2 * $.3^-1 * $.2^4 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 = Id($), $.2^-3 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.2^-4 * $.3^-1 * $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.1^-1 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.2^-1 * $.3 * $.1^-2 * $.3 * $.2^-8 = Id($), $.3 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-2 * $.1 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.2 * $.3 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-2 * $.2^-1 * $.3^-1 * $.2^-1 * $.3 * $.1^-1 * $.2^2 = Id($), $.2^-2 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-2 * $.3 * $.2 * $.3 * $.2^-1 * $.3 * $.2^-1 * $.1 * $.2 * $.3^-1 * $.1 * $.2 * $.1^-1 * $.2^-2 * $.3 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-4 * $.3 * $.1^-1 * $.3^-1 * $.2^-4 * $.3 * $.2^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-2 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1^-2 = Id($), $.1^-1 * $.2^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.2^-2 * $.3 * $.2 * $.3 * $.1^3 * $.2 * $.1^-1 * $.2 * $.1 * $.2 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-1 * $.1 * $.2^-1 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^3 * $.3^-1 * $.2^2 * $.3^-1 * $.1^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-4 * $.3 * $.1^-1 = Id($), $.3^-1 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.2 * $.1 * $.2^-1 * $.3 * $.1^2 * $.2^4 * $.3^-1 * $.1 * $.2^2 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.3 * $.2^-1 * $.1 * $.2^-2 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.3^-1 * $.1 * $.2 * $.3^-1 * $.1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^2 * $.3^-1 * $.2 * $.1^2 * $.2 * $.3^-1 = Id($), $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1 * $.2^3 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.3^-1 * $.2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.2^-1 * $.3^-1 * $.2 * $.1^2 * $.3^-1 * $.1 * $.2^-1 * $.3^-1 * $.1 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.2^-1 * $.1 * $.2^-1 * $.1^-2 * $.3 * $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.2^-1 * $.1^-1 * $.2^-1 * $.3 * $.2^-2 = Id($), $.3 * $.1 * $.3^-1 * $.1 * $.2^2 * $.3^-1 * $.1^2 * $.3^-1 * $.2 * $.3^-1 * $.2 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.2^3 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1 * $.3^-1 * $.2^2 * $.1 * $.3^-1 * $.2^4 * $.3^-1 * $.2^2 * $.1 * $.2^-3 * $.3^-1 * $.1 * $.3^-2 * $.1 * $.3^-1 * $.1 * $.3^-1 * $.1^2 * $.3^-1 * $.2^4 * $.1 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.3 * $.2^-1 = Id($), $.2^2 * $.1 * $.3^-1 * $.2^4 * $.3^-1 * $.2^6 * $.3^-1 * $.2 * $.1^-1 * $.3^-1 * $.2^-1 * $.3^-1 * $.2^2 * $.1^-1 * $.3^-1 * $.2^-1 * $.1 * $.3^-1 * $.1 * $.2^-3 * $.3 * $.2^-2 * $.3 * $.2 * $.3^2 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.2^-2 * $.1 * $.3^-1 * $.1 * $.2^-2 * $.3 * $.2 * $.3 * $.2 * $.1 * $.3^-1 * $.2 * $.1^-1 * $.3 * $.1^-1 * $.2 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.3 * $.1^-1 * $.2 * $.1^-1 * $.2^-1 * $.1 * $.2^-1 * $.3^-1 = Id($) > ; GENS:= [ [ -theta^2 - 2*theta + 1, theta^2 - 2*theta - 1, -theta^2 - 3*theta - 1, 6*theta^2 + 4*theta - 12, 2*theta^2 + theta - 3, 2*theta^2 + 3*theta - 1, -6*theta^2 - 2*theta + 12, -4*theta^2 + 2*theta + 4, -theta^2 + theta + 2 ], [ theta^2 + 2*theta - 1, theta, theta^2 + 3*theta + 1, -6*theta^2 - 4*theta + 12, -2*theta^2 - theta + 3, -theta^2 - theta + 1, 2*theta^2 - 4, 4*theta^2 - 2*theta - 4, theta^2 - theta - 2 ], [ 2*theta^2 + 5*theta, 3*theta, theta^2 + 4*theta + 1, -8*theta^2 - 6*theta + 14, -5*theta^2 - 3*theta + 9, -3*theta^2 - 3*theta + 3, 6*theta^2 - 12, 6*theta^2 - 2*theta - 8, 3*theta^2 - 2*theta - 4 ] ] ; GENS:=[Mat!x : x in GENS];