Quelle  F_26_Aut1.m   Sprache: unbekannt

F_26_Aut1 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7, g8, g9, g10, g11, g12, g13, g14, g15, g16, g17, g18, g19, g20, g21, g22, g23, g24 | 

    g2^g1 = g3^-1,
    g2^g1^-1 = g2^3*g3*g4^3*g5^3*g7*g11^-1*g12*g17^2*g18^-2*g19*g21^-1,
    g3^g1 = g2*g3^3,
    g3^g1^-1 = g2^-1,
    g3^g2 = g3*g4,
    g3^g2^-1 = g3*g4^-1*g5*g7^-1*g10*g11*g12^-1*g16^-1*g17^-3*g18^3*g19^
-1*g21,
    g4^g1 = g4*g6^2*g9,
    g4^g1^-1 = g4*g5^2*g7,
    g4^g2 = g4*g5,
    g4^g2^-1 = g4*g5^-1*g7*g10^-1*g16,
    g4^g3 = g4*g6,
    g4^g3^-1 = g4*g6^-1*g9*g15^-1*g24,
    g5^g1 = g6^-1*g9^-1,
    g5^g1^-1 = g5^3*g6*g7^9*g8^5*g10^10*g11^3*g12^7*g13^2*g14^-2*g16^5*g17^
5*g18^5*g19^-2*g20^6*g21^-4*g22^-2*g23^2,
    g5^g2 = g5*g7,
    g5^g2^-1 = g5*g7^-1*g10*g16^-1,
    g5^g3 = g5*g8*g11*g12^-1*g13*g14^-1*g17^-2*g18^2*g19^-2*g20^2*g22^-1*g23,
    g5^g3^-1 = g5*g8^-1*g11^-1*g12*g14*g17^2*g18^-2*g19^4*g20^-5*g21*g23^-1,
    g5^g4 = g5*g11^-1*g12*g17^2*g18^-2*g19*g21^-1,
    g5^g4^-1 = g5*g11*g12^-1*g17^-2*g18^2*g19^-1*g21,
    g6^g1 = g5*g6^3*g8^5*g9^9*g11^3*g12^-3*g13^12*g14^-2*g15^10*g17^-6*g18^
6*g19*g20^-5*g21^4*g22^17*g23^-7*g24^5,
    g6^g1^-1 = g5^-1*g7^-1,
    g6^g2 = g6*g8,
    g6^g2^-1 = g6*g8^-1*g12*g18^-1,
    g6^g3 = g6*g9,
    g6^g3^-1 = g6*g9^-1*g15*g24^-1,
    g6^g4 = g6*g13^-1*g14*g19*g20^-1*g22*g23^-1,
    g6^g4^-1 = g6*g13*g14^-1*g19^-1*g20*g22^-1*g23,
    g6^g5 = g6*g19*g20^-2*g21,
    g6^g5^-1 = g6*g19^-1*g20^2*g21^-1,
    g7^g1 = g9,
    g7^g1^-1 = g7^9*g8^6*g9*g10^36*g11^12*g12^24*g13^8*g16^60*g17^59*g18^
33*g19^10*g20^27*g21^-9*g22^-1*g23,
    g7^g2 = g7*g10,
    g7^g2^-1 = g7*g10^-1*g16,
    g7^g3 = g7*g11,
    g7^g3^-1 = g7*g11^-1*g19^3*g20^-3*g21,
    g7^g4 = g7*g17^-1*g18,
    g7^g4^-1 = g7*g17*g18^-1,
    g7^g5 = g7,
    g7^g5^-1 = g7,
    g7^g6 = g7,
    g7^g6^-1 = g7,
    g8^g1 = g8^-1*g9^-3*g11^-1*g12*g13^-5*g14*g15^-6*g17^2*g18^-2*g19^-2*g20^
4*g21^-2*g22^-12*g23^6*g24^-4,
    g8^g1^-1 = g7^-3*g8^-1*g10^-6*g11^-2*g12^-2*g13^-1*g14*g16^-4*g17^-4*g18^
-2*g19^2*g20^-5*g21^3*g22*g23^-1,
    g8^g2 = g8*g12,
    g8^g2^-1 = g8*g12^-1*g18,
    g8^g3 = g8*g13,
    g8^g3^-1 = g8*g13^-1*g22^2*g23^-1,
    g8^g4 = g8*g19^-1*g20,
    g8^g4^-1 = g8*g19*g20^-1,
    g8^g5 = g8,
    g8^g5^-1 = g8,
    g8^g6 = g8,
    g8^g6^-1 = g8,
    g8^g7 = g8,
    g8^g7^-1 = g8,
    g9^g1 = g7*g8^6*g9^9*g11^6*g12^2*g13^30*g14^6*g15^36*g17^-3*g18^3*g19^
42*g20^-27*g21^13*g22^143*g23^-51*g24^60,
    g9^g1^-1 = g7,
    g9^g2 = g9*g14,
    g9^g2^-1 = g9*g14^-1*g21,
    g9^g3 = g9*g15,
    g9^g3^-1 = g9*g15^-1*g24,
    g9^g4 = g9*g22^-1*g23,
    g9^g4^-1 = g9*g22*g23^-1,
    g9^g5 = g9,
    g9^g5^-1 = g9,
    g9^g6 = g9,
    g9^g6^-1 = g9,
    g9^g7 = g9,
    g9^g7^-1 = g9,
    g9^g8 = g9,
    g9^g8^-1 = g9,
    g10^g1 = g15^-1*g24,
    g10^g1^-1 = g10^27*g11^9*g12^18*g13^6*g14^3*g15*g16^135*g17^135*g18^
54*g19^60*g20^6*g21^15*g22^16*g23^-5,
    g10^g2 = g10*g16,
    g10^g2^-1 = g10*g16^-1,
    g10^g3 = g10*g17^2*g18^-1,
    g10^g3^-1 = g10*g17^-2*g18,
    g10^g4 = g10,
    g10^g4^-1 = g10,
    g10^g5 = g10,
    g10^g5^-1 = g10,
    g10^g6 = g10,
    g10^g6^-1 = g10,
    g10^g7 = g10,
    g10^g7^-1 = g10,
    g10^g8 = g10,
    g10^g8^-1 = g10,
    g10^g9 = g10,
    g10^g9^-1 = g10,
    g11^g1 = g14*g15^3*g22^3*g24^3,
    g11^g1^-1 = g10^-9*g12^-6*g14^-1*g16^-27*g17^-12*g18^-18*g20^-8*g21,
    g11^g2 = g11*g17,
    g11^g2^-1 = g11*g17^-1,
    g11^g3 = g11*g19^3*g20^-3*g21,
    g11^g3^-1 = g11*g19^-3*g20^3*g21^-1,
    g11^g4 = g11,
    g11^g4^-1 = g11,
    g11^g5 = g11,
    g11^g5^-1 = g11,
    g11^g6 = g11,
    g11^g6^-1 = g11,
    g11^g7 = g11,
    g11^g7^-1 = g11,
    g11^g8 = g11,
    g11^g8^-1 = g11,
    g11^g9 = g11,
    g11^g9^-1 = g11,
    g11^g10 = g11,
    g11^g10^-1 = g11,
    g12^g1 = g13*g15^3*g19^2*g20^-3*g21*g22^7*g23^-4*g24^3,
    g12^g1^-1 = g10^-9*g11^-3*g12^-3*g13^-1*g16^-27*g17^-27*g18^-3*g19^
-8*g21*g22^-1*g23,
    g12^g2 = g12*g18,
    g12^g2^-1 = g12*g18^-1,
    g12^g3 = g12*g19,
    g12^g3^-1 = g12*g19^-1,
    g12^g4 = g12,
    g12^g4^-1 = g12,
    g12^g5 = g12,
    g12^g5^-1 = g12,
    g12^g6 = g12,
    g12^g6^-1 = g12,
    g12^g7 = g12,
    g12^g7^-1 = g12,
    g12^g8 = g12,
    g12^g8^-1 = g12,
    g12^g9 = g12,
    g12^g9^-1 = g12,
    g12^g10 = g12,
    g12^g10^-1 = g12,
    g12^g11 = g12,
    g12^g11^-1 = g12,
    g13^g1 = g12^-1*g13^-3*g14^-3*g15^-9*g17^-1*g18*g19^-9*g20^4*g21^-2*g22^
-42*g23^12*g24^-27,
    g13^g1^-1 = g10^3*g12*g16^3*g17^2*g18*g20*g21^-1,
    g13^g2 = g13*g20,
    g13^g2^-1 = g13*g20^-1,
    g13^g3 = g13*g22^2*g23^-1,
    g13^g3^-1 = g13*g22^-2*g23,
    g13^g4 = g13,
    g13^g4^-1 = g13,
    g13^g5 = g13,
    g13^g5^-1 = g13,
    g13^g6 = g13,
    g13^g6^-1 = g13,
    g13^g7 = g13,
    g13^g7^-1 = g13,
    g13^g8 = g13,
    g13^g8^-1 = g13,
    g13^g9 = g13,
    g13^g9^-1 = g13,
    g13^g10 = g13,
    g13^g10^-1 = g13,
    g13^g11 = g13,
    g13^g11^-1 = g13,
    g13^g12 = g13,
    g13^g12^-1 = g13,
    g14^g1 = g11^-1*g13^-6*g15^-9*g19^-17*g20^15*g21^-5*g22^-54*g23^24*g24^
-27,
    g14^g1^-1 = g10^3*g11*g16^3*g17^3,
    g14^g2 = g14*g21,
    g14^g2^-1 = g14*g21^-1,
    g14^g3 = g14*g22,
    g14^g3^-1 = g14*g22^-1,
    g14^g4 = g14,
    g14^g4^-1 = g14,
    g14^g5 = g14,
    g14^g5^-1 = g14,
    g14^g6 = g14,
    g14^g6^-1 = g14,
    g14^g7 = g14,
    g14^g7^-1 = g14,
    g14^g8 = g14,
    g14^g8^-1 = g14,
    g14^g9 = g14,
    g14^g9^-1 = g14,
    g14^g10 = g14,
    g14^g10^-1 = g14,
    g14^g11 = g14,
    g14^g11^-1 = g14,
    g14^g12 = g14,
    g14^g12^-1 = g14,
    g14^g13 = g14,
    g14^g13^-1 = g14,
    g15^g1 = g10*g11^3*g12^6*g13^18*g14^9*g15^27*g17^12*g18^-1*g19^87*g20^
-33*g21^27*g22^261*g23^-72*g24^135,
    g15^g1^-1 = g10^-1*g16,
    g15^g2 = g15*g23,
    g15^g2^-1 = g15*g23^-1,
    g15^g3 = g15*g24,
    g15^g3^-1 = g15*g24^-1,
    g15^g4 = g15,
    g15^g4^-1 = g15,
    g15^g5 = g15,
    g15^g5^-1 = g15,
    g15^g6 = g15,
    g15^g6^-1 = g15,
    g15^g7 = g15,
    g15^g7^-1 = g15,
    g15^g8 = g15,
    g15^g8^-1 = g15,
    g15^g9 = g15,
    g15^g9^-1 = g15,
    g15^g10 = g15,
    g15^g10^-1 = g15,
    g15^g11 = g15,
    g15^g11^-1 = g15,
    g15^g12 = g15,
    g15^g12^-1 = g15,
    g15^g13 = g15,
    g15^g13^-1 = g15,
    g15^g14 = g15,
    g15^g14^-1 = g15,
    g16^g1 = g24,
    g16^g1^-1 = g16^81*g17^81*g18^27*g19^45*g20^-9*g21^18*g22^15*g23^-3*g24,
    g16^g2 = g16,
    g16^g2^-1 = g16,
    g16^g3 = g16,
    g16^g3^-1 = g16,
    g16^g4 = g16,
    g16^g4^-1 = g16,
    g16^g5 = g16,
    g16^g5^-1 = g16,
    g16^g6 = g16,
    g16^g6^-1 = g16,
    g16^g7 = g16,
    g16^g7^-1 = g16,
    g16^g8 = g16,
    g16^g8^-1 = g16,
    g16^g9 = g16,
    g16^g9^-1 = g16,
    g16^g10 = g16,
    g16^g10^-1 = g16,
    g16^g11 = g16,
    g16^g11^-1 = g16,
    g16^g12 = g16,
    g16^g12^-1 = g16,
    g16^g13 = g16,
    g16^g13^-1 = g16,
    g16^g14 = g16,
    g16^g14^-1 = g16,
    g16^g15 = g16,
    g16^g15^-1 = g16,
    g17^g1 = g22^-1*g24^-3,
    g17^g1^-1 = g16^-27*g17^-18*g18^-9*g19^-6*g21^-3*g22^-1,
    g17^g2 = g17,
    g17^g2^-1 = g17,
    g17^g3 = g17,
    g17^g3^-1 = g17,
    g17^g4 = g17,
    g17^g4^-1 = g17,
    g17^g5 = g17,
    g17^g5^-1 = g17,
    g17^g6 = g17,
    g17^g6^-1 = g17,
    g17^g7 = g17,
    g17^g7^-1 = g17,
    g17^g8 = g17,
    g17^g8^-1 = g17,
    g17^g9 = g17,
    g17^g9^-1 = g17,
    g17^g10 = g17,
    g17^g10^-1 = g17,
    g17^g11 = g17,
    g17^g11^-1 = g17,
    g17^g12 = g17,
    g17^g12^-1 = g17,
    g17^g13 = g17,
    g17^g13^-1 = g17,
    g17^g14 = g17,
    g17^g14^-1 = g17,
    g17^g15 = g17,
    g17^g15^-1 = g17,
    g17^g16 = g17,
    g17^g16^-1 = g17,
    g18^g1 = g22^-2*g23*g24^-3,
    g18^g1^-1 = g16^-27*g17^-27*g19^-12*g20^6*g21^-3*g22^-2*g23,
    g18^g2 = g18,
    g18^g2^-1 = g18,
    g18^g3 = g18,
    g18^g3^-1 = g18,
    g18^g4 = g18,
    g18^g4^-1 = g18,
    g18^g5 = g18,
    g18^g5^-1 = g18,
    g18^g6 = g18,
    g18^g6^-1 = g18,
    g18^g7 = g18,
    g18^g7^-1 = g18,
    g18^g8 = g18,
    g18^g8^-1 = g18,
    g18^g9 = g18,
    g18^g9^-1 = g18,
    g18^g10 = g18,
    g18^g10^-1 = g18,
    g18^g11 = g18,
    g18^g11^-1 = g18,
    g18^g12 = g18,
    g18^g12^-1 = g18,
    g18^g13 = g18,
    g18^g13^-1 = g18,
    g18^g14 = g18,
    g18^g14^-1 = g18,
    g18^g15 = g18,
    g18^g15^-1 = g18,
    g18^g16 = g18,
    g18^g16^-1 = g18,
    g18^g17 = g18,
    g18^g17^-1 = g18,
    g19^g1 = g20*g22^6*g24^9,
    g19^g1^-1 = g16^9*g17^3*g18^3*g20,
    g19^g2 = g19,
    g19^g2^-1 = g19,
    g19^g3 = g19,
    g19^g3^-1 = g19,
    g19^g4 = g19,
    g19^g4^-1 = g19,
    g19^g5 = g19,
    g19^g5^-1 = g19,
    g19^g6 = g19,
    g19^g6^-1 = g19,
    g19^g7 = g19,
    g19^g7^-1 = g19,
    g19^g8 = g19,
    g19^g8^-1 = g19,
    g19^g9 = g19,
    g19^g9^-1 = g19,
    g19^g10 = g19,
    g19^g10^-1 = g19,
    g19^g11 = g19,
    g19^g11^-1 = g19,
    g19^g12 = g19,
    g19^g12^-1 = g19,
    g19^g13 = g19,
    g19^g13^-1 = g19,
    g19^g14 = g19,
    g19^g14^-1 = g19,
    g19^g15 = g19,
    g19^g15^-1 = g19,
    g19^g16 = g19,
    g19^g16^-1 = g19,
    g19^g17 = g19,
    g19^g17^-1 = g19,
    g19^g18 = g19,
    g19^g18^-1 = g19,
    g20^g1 = g19*g22^9*g23^-3*g24^9,
    g20^g1^-1 = g16^9*g17^6*g19,
    g20^g2 = g20,
    g20^g2^-1 = g20,
    g20^g3 = g20,
    g20^g3^-1 = g20,
    g20^g4 = g20,
    g20^g4^-1 = g20,
    g20^g5 = g20,
    g20^g5^-1 = g20,
    g20^g6 = g20,
    g20^g6^-1 = g20,
    g20^g7 = g20,
    g20^g7^-1 = g20,
    g20^g8 = g20,
    g20^g8^-1 = g20,
    g20^g9 = g20,
    g20^g9^-1 = g20,
    g20^g10 = g20,
    g20^g10^-1 = g20,
    g20^g11 = g20,
    g20^g11^-1 = g20,
    g20^g12 = g20,
    g20^g12^-1 = g20,
    g20^g13 = g20,
    g20^g13^-1 = g20,
    g20^g14 = g20,
    g20^g14^-1 = g20,
    g20^g15 = g20,
    g20^g15^-1 = g20,
    g20^g16 = g20,
    g20^g16^-1 = g20,
    g20^g17 = g20,
    g20^g17^-1 = g20,
    g20^g18 = g20,
    g20^g18^-1 = g20,
    g20^g19 = g20,
    g20^g19^-1 = g20,
    g21^g1 = g19^3*g20^-3*g21*g22^12*g23^-6*g24^9,
    g21^g1^-1 = g16^9*g17^9*g18^-3*g19^3*g20^-3*g21,
    g21^g2 = g21,
    g21^g2^-1 = g21,
    g21^g3 = g21,
    g21^g3^-1 = g21,
    g21^g4 = g21,
    g21^g4^-1 = g21,
    g21^g5 = g21,
    g21^g5^-1 = g21,
    g21^g6 = g21,
    g21^g6^-1 = g21,
    g21^g7 = g21,
    g21^g7^-1 = g21,
    g21^g8 = g21,
    g21^g8^-1 = g21,
    g21^g9 = g21,
    g21^g9^-1 = g21,
    g21^g10 = g21,
    g21^g10^-1 = g21,
    g21^g11 = g21,
    g21^g11^-1 = g21,
    g21^g12 = g21,
    g21^g12^-1 = g21,
    g21^g13 = g21,
    g21^g13^-1 = g21,
    g21^g14 = g21,
    g21^g14^-1 = g21,
    g21^g15 = g21,
    g21^g15^-1 = g21,
    g21^g16 = g21,
    g21^g16^-1 = g21,
    g21^g17 = g21,
    g21^g17^-1 = g21,
    g21^g18 = g21,
    g21^g18^-1 = g21,
    g21^g19 = g21,
    g21^g19^-1 = g21,
    g21^g20 = g21,
    g21^g20^-1 = g21,
    g22^g1 = g17^-1*g19^-9*g20^3*g21^-3*g22^-36*g23^9*g24^-27,
    g22^g1^-1 = g16^-3*g17^-1,
    g22^g2 = g22,
    g22^g2^-1 = g22,
    g22^g3 = g22,
    g22^g3^-1 = g22,
    g22^g4 = g22,
    g22^g4^-1 = g22,
    g22^g5 = g22,
    g22^g5^-1 = g22,
    g22^g6 = g22,
    g22^g6^-1 = g22,
    g22^g7 = g22,
    g22^g7^-1 = g22,
    g22^g8 = g22,
    g22^g8^-1 = g22,
    g22^g9 = g22,
    g22^g9^-1 = g22,
    g22^g10 = g22,
    g22^g10^-1 = g22,
    g22^g11 = g22,
    g22^g11^-1 = g22,
    g22^g12 = g22,
    g22^g12^-1 = g22,
    g22^g13 = g22,
    g22^g13^-1 = g22,
    g22^g14 = g22,
    g22^g14^-1 = g22,
    g22^g15 = g22,
    g22^g15^-1 = g22,
    g22^g16 = g22,
    g22^g16^-1 = g22,
    g22^g17 = g22,
    g22^g17^-1 = g22,
    g22^g18 = g22,
    g22^g18^-1 = g22,
    g22^g19 = g22,
    g22^g19^-1 = g22,
    g22^g20 = g22,
    g22^g20^-1 = g22,
    g22^g21 = g22,
    g22^g21^-1 = g22,
    g23^g1 = g17^-2*g18*g19^-15*g20^9*g21^-3*g22^-45*g23^18*g24^-27,
    g23^g1^-1 = g16^-3*g17^-2*g18,
    g23^g2 = g23,
    g23^g2^-1 = g23,
    g23^g3 = g23,
    g23^g3^-1 = g23,
    g23^g4 = g23,
    g23^g4^-1 = g23,
    g23^g5 = g23,
    g23^g5^-1 = g23,
    g23^g6 = g23,
    g23^g6^-1 = g23,
    g23^g7 = g23,
    g23^g7^-1 = g23,
    g23^g8 = g23,
    g23^g8^-1 = g23,
    g23^g9 = g23,
    g23^g9^-1 = g23,
    g23^g10 = g23,
    g23^g10^-1 = g23,
    g23^g11 = g23,
    g23^g11^-1 = g23,
    g23^g12 = g23,
    g23^g12^-1 = g23,
    g23^g13 = g23,
    g23^g13^-1 = g23,
    g23^g14 = g23,
    g23^g14^-1 = g23,
    g23^g15 = g23,
    g23^g15^-1 = g23,
    g23^g16 = g23,
    g23^g16^-1 = g23,
    g23^g17 = g23,
    g23^g17^-1 = g23,
    g23^g18 = g23,
    g23^g18^-1 = g23,
    g23^g19 = g23,
    g23^g19^-1 = g23,
    g23^g20 = g23,
    g23^g20^-1 = g23,
    g23^g21 = g23,
    g23^g21^-1 = g23,
    g23^g22 = g23,
    g23^g22^-1 = g23,
    g24^g1 = g16*g17^9*g18^3*g19^45*g20^-9*g21^18*g22^135*g23^-27*g24^81,
    g24^g1^-1 = g16,
    g24^g2 = g24,
    g24^g2^-1 = g24,
    g24^g3 = g24,
    g24^g3^-1 = g24,
    g24^g4 = g24,
    g24^g4^-1 = g24,
    g24^g5 = g24,
    g24^g5^-1 = g24,
    g24^g6 = g24,
    g24^g6^-1 = g24,
    g24^g7 = g24,
    g24^g7^-1 = g24,
    g24^g8 = g24,
    g24^g8^-1 = g24,
    g24^g9 = g24,
    g24^g9^-1 = g24,
    g24^g10 = g24,
    g24^g10^-1 = g24,
    g24^g11 = g24,
    g24^g11^-1 = g24,
    g24^g12 = g24,
    g24^g12^-1 = g24,
    g24^g13 = g24,
    g24^g13^-1 = g24,
    g24^g14 = g24,
    g24^g14^-1 = g24,
    g24^g15 = g24,
    g24^g15^-1 = g24,
    g24^g16 = g24,
    g24^g16^-1 = g24,
    g24^g17 = g24,
    g24^g17^-1 = g24,
    g24^g18 = g24,
    g24^g18^-1 = g24,
    g24^g19 = g24,
    g24^g19^-1 = g24,
    g24^g20 = g24,
    g24^g20^-1 = g24,
    g24^g21 = g24,
    g24^g21^-1 = g24,
    g24^g22 = g24,
    g24^g22^-1 = g24,
    g24^g23 = g24,
    g24^g23^-1 = g24
>;