Quelle  F_27_Aut1.m   Sprache: unbekannt

F_27_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, g25, g26, g27, g28, g29, g30, g31, g32, g33, g34, g35, g36, g37, g38, g39, g40, g41, g42 | 

    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*g26*g27^-7*g28^2*g29^6*g30^-2*g31^-7*g33^8*g35^-1*g36^-1*g39,
    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*g25*g26^-1*g27^10*g28^-1*g29^-9*g30*g31^6*g33^-5*g35^-1*g36*g39^-1,
    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*g25^-1*g26^-1*g27^3*g29^-2,
    g4^g3 = g4*g6,
    g4^g3^-1 = g4*g6^-1*g9*g15^-1*g24*g38*g40^-2*g41*g42^-1,
    g5^g1 = g6^-1*g9^-1*g38^-1*g40^2*g41^-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*g25*g26^5*g27^-10*g28^-2*g29^10*g30^
11*g31^-22*g33^21*g35^-8*g36^2*g37^-6*g39^4*g40^2*g41^-2,
    g5^g2 = g5*g7,
    g5^g2^-1 = g5*g7^-1*g10*g16^-1*g25,
    g5^g3 = g5*g8*g11*g12^-1*g13*g14^-1*g17^-2*g18^2*g19^-2*g20^2*g22^
-1*g23*g26^-1*g27^7*g28^-1*g29^-6*g30^3*g31*g33^-3*g34*g36*g37^-3*g39*g40*g41^
-1,
    g5^g3^-1 = g5*g8^-1*g11^-1*g12*g14*g17^2*g18^-2*g19^4*g20^-5*g21*g23^
-1*g26*g27^-7*g28^2*g29^6*g30^-7*g31^2*g32^-2*g33^4*g34*g35^-1*g36^-4*g37^
9*g39^-4*g41,
    g5^g4 = g5*g11^-1*g12*g17^2*g18^-2*g19*g21^-1*g26*g27^-7*g28^2*g29^6*g30^
-2*g31^-7*g33^8*g35^-1*g36^-1*g39,
    g5^g4^-1 = g5*g11*g12^-1*g17^-2*g18^2*g19^-1*g21*g26^-1*g27^7*g28^-1*g29^
-6*g30*g31^5*g33^-5*g36*g39^-1,
    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*g26^-3*g27^21*g29^-18*g30^-5*g31^
16*g32^5*g33^-8*g35^-3*g36^-10*g37^4*g38^18*g39*g40^-23*g41^10*g42,
    g6^g1^-1 = g5^-1*g7^-1*g26*g27^-3*g29^2,
    g6^g2 = g6*g8,
    g6^g2^-1 = g6*g8^-1*g12*g18^-1*g29,
    g6^g3 = g6*g9,
    g6^g3^-1 = g6*g9^-1*g15*g24^-1*g42,
    g6^g4 = g6*g13^-1*g14*g19*g20^-1*g22*g23^-1*g30^-1*g31*g36^-1*g37*g40^
-1*g41,
    g6^g4^-1 = g6*g13*g14^-1*g19^-1*g20*g22^-1*g23*g30*g31^-1*g34*g37^
-2*g39*g40*g41^-1,
    g6^g5 = g6*g19*g20^-2*g21*g30^-2*g31^4*g33^-2*g34^-1*g37^3*g39^-2,
    g6^g5^-1 = g6*g19^-1*g20^2*g21^-1*g30^2*g31^-4*g33^2*g34*g37^-3*g39^2,
    g7^g1 = g9*g38*g40^-2*g41,
    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*g25^54*g26^31*g27^26*g28^21*g29^73*g30^
8*g31^-37*g32^3*g33^93*g34^4*g35^-29*g36^-9*g37^-4*g38^2*g39^6*g40^-3*g41,
    g7^g2 = g7*g10,
    g7^g2^-1 = g7*g10^-1*g16*g25^-1,
    g7^g3 = g7*g11,
    g7^g3^-1 = g7*g11^-1*g19^3*g20^-3*g21*g28^3*g30^-6*g31^3*g32^-1*g33*g35^
-1*g36^-3*g37^6*g39^-3,
    g7^g4 = g7*g17^-1*g18*g26^-1*g27^5*g29^-4*g31*g35^-1,
    g7^g4^-1 = g7*g17*g18^-1*g26*g27^-5*g29^4*g31^-1*g35,
    g7^g5 = g7*g26*g27^-3*g29^2,
    g7^g5^-1 = g7*g26^-1*g27^3*g29^-2,
    g7^g6 = g7*g30*g31^-3*g33^3*g35^-1,
    g7^g6^-1 = g7*g30^-1*g31^3*g33^-3*g35,
    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*g26*g27^-7*g28^-1*g29^6*g30^5*g31^-7*g32^
-7*g33*g34^7*g35^2*g36^8*g37^-10*g38^-16*g39^2*g40^22*g41^-10*g42^-1,
    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*g25^-1*g26^4*g27^-16*g28*g29^8*g30^-2*g31^
3*g33^-5*g34^-1*g35^3*g36^-1*g37^6*g39^-4*g40^-1*g41,
    g8^g2 = g8*g12,
    g8^g2^-1 = g8*g12^-1*g18*g29^-1,
    g8^g3 = g8*g13,
    g8^g3^-1 = g8*g13^-1*g22^2*g23^-1*g32*g34^-1*g36^-1*g37*g40^-3*g41^2,
    g8^g4 = g8*g19^-1*g20*g30*g31^-1*g34*g37^-2*g39,
    g8^g4^-1 = g8*g19*g20^-1*g30^-1*g31*g34^-1*g37^2*g39^-1,
    g8^g5 = g8*g30*g31^-2*g33,
    g8^g5^-1 = g8*g30^-1*g31^2*g33^-1,
    g8^g6 = g8*g32^-1*g34^2*g37^-2*g39,
    g8^g6^-1 = g8*g32*g34^-2*g37^2*g39^-1,
    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*g26^-3*g27^15*g28^27*g29^-12*g30^
-63*g31^40*g32^117*g33^10*g34^-88*g35^-14*g36^-74*g37^138*g38^277*g39^-37*g40^
-268*g41^121*g42^54,
    g9^g1^-1 = g7*g26^-1*g27^3*g29^-2,
    g9^g2 = g9*g14,
    g9^g2^-1 = g9*g14^-1*g21*g35^-1,
    g9^g3 = g9*g15,
    g9^g3^-1 = g9*g15^-1*g24*g42^-1,
    g9^g4 = g9*g22^-1*g23*g36*g37^-1*g40*g41^-1,
    g9^g4^-1 = g9*g22*g23^-1*g36^-1*g37*g40^-1*g41,
    g9^g5 = g9*g36*g37^-2*g39,
    g9^g5^-1 = g9*g36^-1*g37^2*g39^-1,
    g9^g6 = g9*g38^-1*g40^2*g41^-1,
    g9^g6^-1 = g9*g38*g40^-2*g41,
    g9^g7 = g9,
    g9^g7^-1 = g9,
    g9^g8 = g9,
    g9^g8^-1 = g9,
    g10^g1 = g15^-1*g24*g42^-1,
    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*g25^297*g26^132*g27^204*g28^131*g29^
249*g30^-39*g31^102*g32^42*g33^135*g34^-17*g35^-2*g36^-41*g37^125*g38^15*g39^
-54*g40^-31*g41^16,
    g10^g2 = g10*g16,
    g10^g2^-1 = g10*g16^-1*g25,
    g10^g3 = g10*g17^2*g18^-1*g26^2*g27^-7*g28*g29^5*g31^-4*g33^3,
    g10^g3^-1 = g10*g17^-2*g18*g26^-2*g27^7*g28*g29^-5*g30^-1*g31^4*g33^-3,
    g10^g4 = g10*g26^-1*g27^2*g29^-1,
    g10^g4^-1 = g10*g26*g27^-2*g29,
    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*g38^3*g42,
    g11^g1^-1 = g10^-9*g12^-6*g14^-1*g16^-27*g17^-12*g18^-18*g20^-8*g21*g25^
-33*g27^-47*g29^-15*g31^-10*g33^-19*g35^8*g37*g39^-1,
    g11^g2 = g11*g17,
    g11^g2^-1 = g11*g17^-1*g27,
    g11^g3 = g11*g19^3*g20^-3*g21*g28^3*g30^-6*g31^3*g32^2*g33*g34^-3*g35^
-1*g36^-2*g37^6*g39^-3,
    g11^g3^-1 = g11*g19^-3*g20^3*g21^-1*g28^-3*g30^6*g31^-3*g32*g33^
-1*g35*g36^3*g37^-6*g39^3,
    g11^g4 = g11*g28^-1*g31^3*g33^-3*g35,
    g11^g4^-1 = g11*g28*g31^-3*g33^3*g35^-1,
    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*g28*g30^-4*g31^
3*g32^6*g33*g34^-8*g35^-1*g36^-5*g37^10*g38^13*g39^-3*g40^-18*g41^8*g42,
    g12^g1^-1 = g10^-9*g11^-3*g12^-3*g13^-1*g16^-27*g17^-27*g18^-3*g19^
-8*g21*g22^-1*g23*g25^-33*g26^-16*g27^-21*g28^-16*g29^-25*g30^10*g32^-3*g33^
-23*g34^2*g35^8*g36^8*g37^-13*g38^-1*g39^6*g40^3*g41^-2,
    g12^g2 = g12*g18,
    g12^g2^-1 = g12*g18^-1*g29,
    g12^g3 = g12*g19,
    g12^g3^-1 = g12*g19^-1*g32,
    g12^g4 = g12*g30^-1*g31,
    g12^g4^-1 = g12*g30*g31^-1,
    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*g27^2*g28^-6*g29^-2*g30^15*g31^-11*g32^-39*g33*g34^
33*g35*g36^18*g37^-48*g38^-110*g39^15*g40^88*g41^-40*g42^-33,
    g13^g1^-1 = g10^3*g12*g16^3*g17^2*g18*g20*g21^-1*g25*g27^2*g29*g31^-2*g33^
4*g35^-2*g37^-1*g39,
    g13^g2 = g13*g20,
    g13^g2^-1 = g13*g20^-1*g33,
    g13^g3 = g13*g22^2*g23^-1*g32*g34^-1*g36^-1*g37*g38^2*g40^-4*g41^2,
    g13^g3^-1 = g13*g22^-2*g23*g32^-1*g34*g36*g37^-1*g40^3*g41^-2,
    g13^g4 = g13*g34^-1*g37^2*g39^-1,
    g13^g4^-1 = g13*g34*g37^-2*g39,
    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*g28^-12*g30^27*g31^-15*g32^-59*g33^-5*g34^51*g35^5*g36^26*g37^-54*g38^
-137*g39^15*g40^123*g41^-48*g42^-33,
    g14^g1^-1 = g10^3*g11*g16^3*g17^3*g25*g27^3,
    g14^g2 = g14*g21,
    g14^g2^-1 = g14*g21^-1*g35,
    g14^g3 = g14*g22,
    g14^g3^-1 = g14*g22^-1*g38,
    g14^g4 = g14*g36^-1*g37,
    g14^g4^-1 = g14*g36*g37^-1,
    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*g26^6*g27^-24*g28^81*g29^18*g30^-114*g31^
93*g32^357*g33^3*g34^-219*g35^-8*g36^-74*g37^377*g38^882*g39^-114*g40^
-573*g41^276*g42^297,
    g15^g1^-1 = g10^-1*g16*g25^-1,
    g15^g2 = g15*g23,
    g15^g2^-1 = g15*g23^-1*g39,
    g15^g3 = g15*g24,
    g15^g3^-1 = g15*g24^-1*g42,
    g15^g4 = g15*g40^-1*g41,
    g15^g4^-1 = g15*g40*g41^-1,
    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*g42^-2,
    g16^g1^-1 = g16^81*g17^81*g18^27*g19^45*g20^-9*g21^18*g22^15*g23^
-3*g24*g25^486*g26^189*g27^405*g28^189*g29^270*g31^234*g32^84*g33^45*g34^
-27*g35^72*g36^-9*g37^153*g38^28*g39^-57*g40^-29*g41^15,
    g16^g2 = g16*g25,
    g16^g2^-1 = g16*g25^-1,
    g16^g3 = g16*g26,
    g16^g3^-1 = g16*g26^-1,
    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*g38^-2,
    g17^g1^-1 = g16^-27*g17^-18*g18^-9*g19^-6*g21^-3*g22^-1*g25^-108*g26^
-45*g27^-27*g28^-21*g29^-90*g30^-18*g31^18*g33^-51*g34^-8*g36*g37^-3,
    g17^g2 = g17*g27,
    g17^g2^-1 = g17*g27^-1,
    g17^g3 = g17*g28,
    g17^g3^-1 = g17*g28^-1,
    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*g32^-3*g34^4*g37^-1*g38^-7*g40^7*g41^-2,
    g18^g1^-1 = g16^-27*g17^-27*g19^-12*g20^6*g21^-3*g22^-2*g23*g25^-108*g26^
-45*g27^-81*g28^-45*g29^-36*g30^15*g31^-33*g32^-15*g33^-6*g34^10*g35^-3*g36^
8*g37^-28*g38^-3*g39^15*g40^5*g41^-2,
    g18^g2 = g18*g29,
    g18^g2^-1 = g18*g29^-1,
    g18^g3 = g18*g30,
    g18^g3^-1 = g18*g30^-1,
    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*g31^2*g32^9*g33^-3*g34^-9*g35*g37^10*g38^33*g39^
-4*g40^-18*g41^9*g42^18,
    g19^g1^-1 = g16^9*g17^3*g18^3*g20*g25^18*g27^24*g31^8*g33^-1*g35^
-1*g37*g39^-1,
    g19^g2 = g19*g31,
    g19^g2^-1 = g19*g31^-1,
    g19^g3 = g19*g32,
    g19^g3^-1 = g19*g32^-1,
    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*g28*g30^-1*g32^11*g34^-7*g36^-1*g37^3*g38^
39*g40^-21*g41^6*g42^18,
    g20^g1^-1 = g16^9*g17^6*g19*g25^18*g26^9*g27^3*g28^5*g29^12*g30*g31^
-9*g33^12*g34*g35^-3*g36^-1,
    g20^g2 = g20*g33,
    g20^g2^-1 = g20*g33^-1,
    g20^g3 = g20*g34,
    g20^g3^-1 = g20*g34^-1,
    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*g28^3*g30^-6*g31^3*g32^
22*g33*g34^-21*g35^-1*g36^-4*g37^12*g38^54*g39^-3*g40^-42*g41^12*g42^18,
    g21^g1^-1 = g16^9*g17^9*g18^-3*g19^3*g20^-3*g21*g25^18*g26^9*g27^9*g28^
9*g29^6*g30^-6*g32^2*g33*g34^-3*g35^2*g36^-2*g37^6*g39^-3,
    g21^g2 = g21*g35,
    g21^g2^-1 = g21*g35^-1,
    g21^g3 = g21*g36,
    g21^g3^-1 = g21*g36^-1,
    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*g28^-12*g30^
18*g31^-26*g32^-84*g33^12*g34^63*g35^-2*g36^6*g37^-90*g38^-234*g39^33*g40^
135*g41^-63*g42^-108,
    g22^g1^-1 = g16^-3*g17^-1*g27^-2,
    g22^g2 = g22*g37,
    g22^g2^-1 = g22*g37^-1,
    g22^g3 = g22*g38,
    g22^g3^-1 = g22*g38^-1,
    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*g26^
-2*g27^7*g28^-20*g29^-5*g30^18*g31^-5*g32^-96*g33^-6*g34^51*g35^3*g37^-36*g38^
-252*g39^9*g40^126*g41^-36*g42^-108,
    g23^g1^-1 = g16^-3*g17^-2*g18*g26^-1*g27*g28^-1*g29^-2*g31^4*g33^-3,
    g23^g2 = g23*g39,
    g23^g2^-1 = g23*g39^-1,
    g23^g3 = g23*g40,
    g23^g3^-1 = g23*g40^-1,
    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*g26^
9*g27^-9*g28^81*g29^14*g30^-42*g31^102*g32^378*g33^-15*g34^-153*g35^18*g36^
45*g37^369*g38^1026*g39^-99*g40^-405*g41^243*g42^486,
    g24^g1^-1 = g16*g25^-2,
    g24^g2 = g24*g41,
    g24^g2^-1 = g24*g41^-1,
    g24^g3 = g24*g42,
    g24^g3^-1 = g24*g42^-1,
    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,
    g25^g1 = g42^-1,
    g25^g1^-1 = g25^243*g26^81*g27^243*g28^81*g29^81*g30^27*g31^135*g32^
45*g33^-27*g34^-9*g35^54*g36^18*g37^45*g38^15*g39^-9*g40^-3*g41^3*g42,
    g25^g2 = g25,
    g25^g2^-1 = g25,
    g25^g3 = g25,
    g25^g3^-1 = g25,
    g25^g4 = g25,
    g25^g4^-1 = g25,
    g25^g5 = g25,
    g25^g5^-1 = g25,
    g25^g6 = g25,
    g25^g6^-1 = g25,
    g25^g7 = g25,
    g25^g7^-1 = g25,
    g25^g8 = g25,
    g25^g8^-1 = g25,
    g25^g9 = g25,
    g25^g9^-1 = g25,
    g25^g10 = g25,
    g25^g10^-1 = g25,
    g25^g11 = g25,
    g25^g11^-1 = g25,
    g25^g12 = g25,
    g25^g12^-1 = g25,
    g25^g13 = g25,
    g25^g13^-1 = g25,
    g25^g14 = g25,
    g25^g14^-1 = g25,
    g25^g15 = g25,
    g25^g15^-1 = g25,
    g25^g16 = g25,
    g25^g16^-1 = g25,
    g25^g17 = g25,
    g25^g17^-1 = g25,
    g25^g18 = g25,
    g25^g18^-1 = g25,
    g25^g19 = g25,
    g25^g19^-1 = g25,
    g25^g20 = g25,
    g25^g20^-1 = g25,
    g25^g21 = g25,
    g25^g21^-1 = g25,
    g25^g22 = g25,
    g25^g22^-1 = g25,
    g25^g23 = g25,
    g25^g23^-1 = g25,
    g25^g24 = g25,
    g25^g24^-1 = g25,
    g26^g1 = g41*g42^3,
    g26^g1^-1 = g25^-81*g27^-81*g29^-27*g31^-45*g33^9*g35^-18*g37^-15*g39^
3*g41^-1,
    g26^g2 = g26,
    g26^g2^-1 = g26,
    g26^g3 = g26,
    g26^g3^-1 = g26,
    g26^g4 = g26,
    g26^g4^-1 = g26,
    g26^g5 = g26,
    g26^g5^-1 = g26,
    g26^g6 = g26,
    g26^g6^-1 = g26,
    g26^g7 = g26,
    g26^g7^-1 = g26,
    g26^g8 = g26,
    g26^g8^-1 = g26,
    g26^g9 = g26,
    g26^g9^-1 = g26,
    g26^g10 = g26,
    g26^g10^-1 = g26,
    g26^g11 = g26,
    g26^g11^-1 = g26,
    g26^g12 = g26,
    g26^g12^-1 = g26,
    g26^g13 = g26,
    g26^g13^-1 = g26,
    g26^g14 = g26,
    g26^g14^-1 = g26,
    g26^g15 = g26,
    g26^g15^-1 = g26,
    g26^g16 = g26,
    g26^g16^-1 = g26,
    g26^g17 = g26,
    g26^g17^-1 = g26,
    g26^g18 = g26,
    g26^g18^-1 = g26,
    g26^g19 = g26,
    g26^g19^-1 = g26,
    g26^g20 = g26,
    g26^g20^-1 = g26,
    g26^g21 = g26,
    g26^g21^-1 = g26,
    g26^g22 = g26,
    g26^g22^-1 = g26,
    g26^g23 = g26,
    g26^g23^-1 = g26,
    g26^g24 = g26,
    g26^g24^-1 = g26,
    g26^g25 = g26,
    g26^g25^-1 = g26,
    g27^g1 = g38*g42^3,
    g27^g1^-1 = g25^-81*g26^-27*g27^-54*g28^-18*g29^-27*g30^-9*g31^-18*g32^
-6*g35^-9*g36^-3*g37^-3*g38^-1,
    g27^g2 = g27,
    g27^g2^-1 = g27,
    g27^g3 = g27,
    g27^g3^-1 = g27,
    g27^g4 = g27,
    g27^g4^-1 = g27,
    g27^g5 = g27,
    g27^g5^-1 = g27,
    g27^g6 = g27,
    g27^g6^-1 = g27,
    g27^g7 = g27,
    g27^g7^-1 = g27,
    g27^g8 = g27,
    g27^g8^-1 = g27,
    g27^g9 = g27,
    g27^g9^-1 = g27,
    g27^g10 = g27,
    g27^g10^-1 = g27,
    g27^g11 = g27,
    g27^g11^-1 = g27,
    g27^g12 = g27,
    g27^g12^-1 = g27,
    g27^g13 = g27,
    g27^g13^-1 = g27,
    g27^g14 = g27,
    g27^g14^-1 = g27,
    g27^g15 = g27,
    g27^g15^-1 = g27,
    g27^g16 = g27,
    g27^g16^-1 = g27,
    g27^g17 = g27,
    g27^g17^-1 = g27,
    g27^g18 = g27,
    g27^g18^-1 = g27,
    g27^g19 = g27,
    g27^g19^-1 = g27,
    g27^g20 = g27,
    g27^g20^-1 = g27,
    g27^g21 = g27,
    g27^g21^-1 = g27,
    g27^g22 = g27,
    g27^g22^-1 = g27,
    g27^g23 = g27,
    g27^g23^-1 = g27,
    g27^g24 = g27,
    g27^g24^-1 = g27,
    g27^g25 = g27,
    g27^g25^-1 = g27,
    g27^g26 = g27,
    g27^g26^-1 = g27,
    g28^g1 = g37^-1*g38^-3*g41^-3*g42^-9,
    g28^g1^-1 = g25^27*g27^18*g29^9*g31^6*g35^3*g37,
    g28^g2 = g28,
    g28^g2^-1 = g28,
    g28^g3 = g28,
    g28^g3^-1 = g28,
    g28^g4 = g28,
    g28^g4^-1 = g28,
    g28^g5 = g28,
    g28^g5^-1 = g28,
    g28^g6 = g28,
    g28^g6^-1 = g28,
    g28^g7 = g28,
    g28^g7^-1 = g28,
    g28^g8 = g28,
    g28^g8^-1 = g28,
    g28^g9 = g28,
    g28^g9^-1 = g28,
    g28^g10 = g28,
    g28^g10^-1 = g28,
    g28^g11 = g28,
    g28^g11^-1 = g28,
    g28^g12 = g28,
    g28^g12^-1 = g28,
    g28^g13 = g28,
    g28^g13^-1 = g28,
    g28^g14 = g28,
    g28^g14^-1 = g28,
    g28^g15 = g28,
    g28^g15^-1 = g28,
    g28^g16 = g28,
    g28^g16^-1 = g28,
    g28^g17 = g28,
    g28^g17^-1 = g28,
    g28^g18 = g28,
    g28^g18^-1 = g28,
    g28^g19 = g28,
    g28^g19^-1 = g28,
    g28^g20 = g28,
    g28^g20^-1 = g28,
    g28^g21 = g28,
    g28^g21^-1 = g28,
    g28^g22 = g28,
    g28^g22^-1 = g28,
    g28^g23 = g28,
    g28^g23^-1 = g28,
    g28^g24 = g28,
    g28^g24^-1 = g28,
    g28^g25 = g28,
    g28^g25^-1 = g28,
    g28^g26 = g28,
    g28^g26^-1 = g28,
    g28^g27 = g28,
    g28^g27^-1 = g28,
    g29^g1 = g38^2*g40^-1*g42^3,
    g29^g1^-1 = g25^-81*g26^-27*g27^-81*g28^-27*g31^-36*g32^-12*g33^18*g34^
6*g35^-9*g36^-3*g37^-6*g38^-2*g39^3*g40,
    g29^g2 = g29,
    g29^g2^-1 = g29,
    g29^g3 = g29,
    g29^g3^-1 = g29,
    g29^g4 = g29,
    g29^g4^-1 = g29,
    g29^g5 = g29,
    g29^g5^-1 = g29,
    g29^g6 = g29,
    g29^g6^-1 = g29,
    g29^g7 = g29,
    g29^g7^-1 = g29,
    g29^g8 = g29,
    g29^g8^-1 = g29,
    g29^g9 = g29,
    g29^g9^-1 = g29,
    g29^g10 = g29,
    g29^g10^-1 = g29,
    g29^g11 = g29,
    g29^g11^-1 = g29,
    g29^g12 = g29,
    g29^g12^-1 = g29,
    g29^g13 = g29,
    g29^g13^-1 = g29,
    g29^g14 = g29,
    g29^g14^-1 = g29,
    g29^g15 = g29,
    g29^g15^-1 = g29,
    g29^g16 = g29,
    g29^g16^-1 = g29,
    g29^g17 = g29,
    g29^g17^-1 = g29,
    g29^g18 = g29,
    g29^g18^-1 = g29,
    g29^g19 = g29,
    g29^g19^-1 = g29,
    g29^g20 = g29,
    g29^g20^-1 = g29,
    g29^g21 = g29,
    g29^g21^-1 = g29,
    g29^g22 = g29,
    g29^g22^-1 = g29,
    g29^g23 = g29,
    g29^g23^-1 = g29,
    g29^g24 = g29,
    g29^g24^-1 = g29,
    g29^g25 = g29,
    g29^g25^-1 = g29,
    g29^g26 = g29,
    g29^g26^-1 = g29,
    g29^g27 = g29,
    g29^g27^-1 = g29,
    g29^g28 = g29,
    g29^g28^-1 = g29,
    g30^g1 = g37^-2*g38^-6*g39*g40^3*g41^-3*g42^-9,
    g30^g1^-1 = g25^27*g27^27*g31^12*g33^-6*g35^3*g37^2*g39^-1,
    g30^g2 = g30,
    g30^g2^-1 = g30,
    g30^g3 = g30,
    g30^g3^-1 = g30,
    g30^g4 = g30,
    g30^g4^-1 = g30,
    g30^g5 = g30,
    g30^g5^-1 = g30,
    g30^g6 = g30,
    g30^g6^-1 = g30,
    g30^g7 = g30,
    g30^g7^-1 = g30,
    g30^g8 = g30,
    g30^g8^-1 = g30,
    g30^g9 = g30,
    g30^g9^-1 = g30,
    g30^g10 = g30,
    g30^g10^-1 = g30,
    g30^g11 = g30,
    g30^g11^-1 = g30,
    g30^g12 = g30,
    g30^g12^-1 = g30,
    g30^g13 = g30,
    g30^g13^-1 = g30,
    g30^g14 = g30,
    g30^g14^-1 = g30,
    g30^g15 = g30,
    g30^g15^-1 = g30,
    g30^g16 = g30,
    g30^g16^-1 = g30,
    g30^g17 = g30,
    g30^g17^-1 = g30,
    g30^g18 = g30,
    g30^g18^-1 = g30,
    g30^g19 = g30,
    g30^g19^-1 = g30,
    g30^g20 = g30,
    g30^g20^-1 = g30,
    g30^g21 = g30,
    g30^g21^-1 = g30,
    g30^g22 = g30,
    g30^g22^-1 = g30,
    g30^g23 = g30,
    g30^g23^-1 = g30,
    g30^g24 = g30,
    g30^g24^-1 = g30,
    g30^g25 = g30,
    g30^g25^-1 = g30,
    g30^g26 = g30,
    g30^g26^-1 = g30,
    g30^g27 = g30,
    g30^g27^-1 = g30,
    g30^g28 = g30,
    g30^g28^-1 = g30,
    g30^g29 = g30,
    g30^g29^-1 = g30,
    g31^g1 = g34^-1*g38^-6*g42^-9,
    g31^g1^-1 = g25^27*g26^9*g27^9*g28^3*g29^9*g30^3*g33^3*g34,
    g31^g2 = g31,
    g31^g2^-1 = g31,
    g31^g3 = g31,
    g31^g3^-1 = g31,
    g31^g4 = g31,
    g31^g4^-1 = g31,
    g31^g5 = g31,
    g31^g5^-1 = g31,
    g31^g6 = g31,
    g31^g6^-1 = g31,
    g31^g7 = g31,
    g31^g7^-1 = g31,
    g31^g8 = g31,
    g31^g8^-1 = g31,
    g31^g9 = g31,
    g31^g9^-1 = g31,
    g31^g10 = g31,
    g31^g10^-1 = g31,
    g31^g11 = g31,
    g31^g11^-1 = g31,
    g31^g12 = g31,
    g31^g12^-1 = g31,
    g31^g13 = g31,
    g31^g13^-1 = g31,
    g31^g14 = g31,
    g31^g14^-1 = g31,
    g31^g15 = g31,
    g31^g15^-1 = g31,
    g31^g16 = g31,
    g31^g16^-1 = g31,
    g31^g17 = g31,
    g31^g17^-1 = g31,
    g31^g18 = g31,
    g31^g18^-1 = g31,
    g31^g19 = g31,
    g31^g19^-1 = g31,
    g31^g20 = g31,
    g31^g20^-1 = g31,
    g31^g21 = g31,
    g31^g21^-1 = g31,
    g31^g22 = g31,
    g31^g22^-1 = g31,
    g31^g23 = g31,
    g31^g23^-1 = g31,
    g31^g24 = g31,
    g31^g24^-1 = g31,
    g31^g25 = g31,
    g31^g25^-1 = g31,
    g31^g26 = g31,
    g31^g26^-1 = g31,
    g31^g27 = g31,
    g31^g27^-1 = g31,
    g31^g28 = g31,
    g31^g28^-1 = g31,
    g31^g29 = g31,
    g31^g29^-1 = g31,
    g31^g30 = g31,
    g31^g30^-1 = g31,
    g32^g1 = g33*g34^3*g37^6*g38^18*g41^9*g42^27,
    g32^g1^-1 = g25^-9*g27^-3*g29^-3*g33^-1,
    g32^g2 = g32,
    g32^g2^-1 = g32,
    g32^g3 = g32,
    g32^g3^-1 = g32,
    g32^g4 = g32,
    g32^g4^-1 = g32,
    g32^g5 = g32,
    g32^g5^-1 = g32,
    g32^g6 = g32,
    g32^g6^-1 = g32,
    g32^g7 = g32,
    g32^g7^-1 = g32,
    g32^g8 = g32,
    g32^g8^-1 = g32,
    g32^g9 = g32,
    g32^g9^-1 = g32,
    g32^g10 = g32,
    g32^g10^-1 = g32,
    g32^g11 = g32,
    g32^g11^-1 = g32,
    g32^g12 = g32,
    g32^g12^-1 = g32,
    g32^g13 = g32,
    g32^g13^-1 = g32,
    g32^g14 = g32,
    g32^g14^-1 = g32,
    g32^g15 = g32,
    g32^g15^-1 = g32,
    g32^g16 = g32,
    g32^g16^-1 = g32,
    g32^g17 = g32,
    g32^g17^-1 = g32,
    g32^g18 = g32,
    g32^g18^-1 = g32,
    g32^g19 = g32,
    g32^g19^-1 = g32,
    g32^g20 = g32,
    g32^g20^-1 = g32,
    g32^g21 = g32,
    g32^g21^-1 = g32,
    g32^g22 = g32,
    g32^g22^-1 = g32,
    g32^g23 = g32,
    g32^g23^-1 = g32,
    g32^g24 = g32,
    g32^g24^-1 = g32,
    g32^g25 = g32,
    g32^g25^-1 = g32,
    g32^g26 = g32,
    g32^g26^-1 = g32,
    g32^g27 = g32,
    g32^g27^-1 = g32,
    g32^g28 = g32,
    g32^g28^-1 = g32,
    g32^g29 = g32,
    g32^g29^-1 = g32,
    g32^g30 = g32,
    g32^g30^-1 = g32,
    g32^g31 = g32,
    g32^g31^-1 = g32,
    g33^g1 = g32^-1*g38^-9*g40^3*g42^-9,
    g33^g1^-1 = g25^27*g26^9*g27^18*g28^6*g31^3*g32,
    g33^g2 = g33,
    g33^g2^-1 = g33,
    g33^g3 = g33,
    g33^g3^-1 = g33,
    g33^g4 = g33,
    g33^g4^-1 = g33,
    g33^g5 = g33,
    g33^g5^-1 = g33,
    g33^g6 = g33,
    g33^g6^-1 = g33,
    g33^g7 = g33,
    g33^g7^-1 = g33,
    g33^g8 = g33,
    g33^g8^-1 = g33,
    g33^g9 = g33,
    g33^g9^-1 = g33,
    g33^g10 = g33,
    g33^g10^-1 = g33,
    g33^g11 = g33,
    g33^g11^-1 = g33,
    g33^g12 = g33,
    g33^g12^-1 = g33,
    g33^g13 = g33,
    g33^g13^-1 = g33,
    g33^g14 = g33,
    g33^g14^-1 = g33,
    g33^g15 = g33,
    g33^g15^-1 = g33,
    g33^g16 = g33,
    g33^g16^-1 = g33,
    g33^g17 = g33,
    g33^g17^-1 = g33,
    g33^g18 = g33,
    g33^g18^-1 = g33,
    g33^g19 = g33,
    g33^g19^-1 = g33,
    g33^g20 = g33,
    g33^g20^-1 = g33,
    g33^g21 = g33,
    g33^g21^-1 = g33,
    g33^g22 = g33,
    g33^g22^-1 = g33,
    g33^g23 = g33,
    g33^g23^-1 = g33,
    g33^g24 = g33,
    g33^g24^-1 = g33,
    g33^g25 = g33,
    g33^g25^-1 = g33,
    g33^g26 = g33,
    g33^g26^-1 = g33,
    g33^g27 = g33,
    g33^g27^-1 = g33,
    g33^g28 = g33,
    g33^g28^-1 = g33,
    g33^g29 = g33,
    g33^g29^-1 = g33,
    g33^g30 = g33,
    g33^g30^-1 = g33,
    g33^g31 = g33,
    g33^g31^-1 = g33,
    g33^g32 = g33,
    g33^g32^-1 = g33,
    g34^g1 = g31*g32^3*g37^9*g38^27*g39^-3*g40^-9*g41^9*g42^27,
    g34^g1^-1 = g25^-9*g27^-6*g31^-1,
    g34^g2 = g34,
    g34^g2^-1 = g34,
    g34^g3 = g34,
    g34^g3^-1 = g34,
    g34^g4 = g34,
    g34^g4^-1 = g34,
    g34^g5 = g34,
    g34^g5^-1 = g34,
    g34^g6 = g34,
    g34^g6^-1 = g34,
    g34^g7 = g34,
    g34^g7^-1 = g34,
    g34^g8 = g34,
    g34^g8^-1 = g34,
    g34^g9 = g34,
    g34^g9^-1 = g34,
    g34^g10 = g34,
    g34^g10^-1 = g34,
    g34^g11 = g34,
    g34^g11^-1 = g34,
    g34^g12 = g34,
    g34^g12^-1 = g34,
    g34^g13 = g34,
    g34^g13^-1 = g34,
    g34^g14 = g34,
    g34^g14^-1 = g34,
    g34^g15 = g34,
    g34^g15^-1 = g34,
    g34^g16 = g34,
    g34^g16^-1 = g34,
    g34^g17 = g34,
    g34^g17^-1 = g34,
    g34^g18 = g34,
    g34^g18^-1 = g34,
    g34^g19 = g34,
    g34^g19^-1 = g34,
    g34^g20 = g34,
    g34^g20^-1 = g34,
    g34^g21 = g34,
    g34^g21^-1 = g34,
    g34^g22 = g34,
    g34^g22^-1 = g34,
    g34^g23 = g34,
    g34^g23^-1 = g34,
    g34^g24 = g34,
    g34^g24^-1 = g34,
    g34^g25 = g34,
    g34^g25^-1 = g34,
    g34^g26 = g34,
    g34^g26^-1 = g34,
    g34^g27 = g34,
    g34^g27^-1 = g34,
    g34^g28 = g34,
    g34^g28^-1 = g34,
    g34^g29 = g34,
    g34^g29^-1 = g34,
    g34^g30 = g34,
    g34^g30^-1 = g34,
    g34^g31 = g34,
    g34^g31^-1 = g34,
    g34^g32 = g34,
    g34^g32^-1 = g34,
    g34^g33 = g34,
    g34^g33^-1 = g34,
    g35^g1 = g32^-3*g34^3*g36^-1*g38^-12*g40^6*g42^-9,
    g35^g1^-1 = g25^27*g26^9*g27^27*g28^9*g29^-9*g30^-3*g31^9*g32^3*g33^
-9*g34^-3*g35^3*g36,
    g35^g2 = g35,
    g35^g2^-1 = g35,
    g35^g3 = g35,
    g35^g3^-1 = g35,
    g35^g4 = g35,
    g35^g4^-1 = g35,
    g35^g5 = g35,
    g35^g5^-1 = g35,
    g35^g6 = g35,
    g35^g6^-1 = g35,
    g35^g7 = g35,
    g35^g7^-1 = g35,
    g35^g8 = g35,
    g35^g8^-1 = g35,
    g35^g9 = g35,
    g35^g9^-1 = g35,
    g35^g10 = g35,
    g35^g10^-1 = g35,
    g35^g11 = g35,
    g35^g11^-1 = g35,
    g35^g12 = g35,
    g35^g12^-1 = g35,
    g35^g13 = g35,
    g35^g13^-1 = g35,
    g35^g14 = g35,
    g35^g14^-1 = g35,
    g35^g15 = g35,
    g35^g15^-1 = g35,
    g35^g16 = g35,
    g35^g16^-1 = g35,
    g35^g17 = g35,
    g35^g17^-1 = g35,
    g35^g18 = g35,
    g35^g18^-1 = g35,
    g35^g19 = g35,
    g35^g19^-1 = g35,
    g35^g20 = g35,
    g35^g20^-1 = g35,
    g35^g21 = g35,
    g35^g21^-1 = g35,
    g35^g22 = g35,
    g35^g22^-1 = g35,
    g35^g23 = g35,
    g35^g23^-1 = g35,
    g35^g24 = g35,
    g35^g24^-1 = g35,
    g35^g25 = g35,
    g35^g25^-1 = g35,
    g35^g26 = g35,
    g35^g26^-1 = g35,
    g35^g27 = g35,
    g35^g27^-1 = g35,
    g35^g28 = g35,
    g35^g28^-1 = g35,
    g35^g29 = g35,
    g35^g29^-1 = g35,
    g35^g30 = g35,
    g35^g30^-1 = g35,
    g35^g31 = g35,
    g35^g31^-1 = g35,
    g35^g32 = g35,
    g35^g32^-1 = g35,
    g35^g33 = g35,
    g35^g33^-1 = g35,
    g35^g34 = g35,
    g35^g34^-1 = g35,
    g36^g1 = g31^3*g32^9*g33^-3*g34^-9*g35*g36^3*g37^12*g38^36*g39^-6*g40^
-18*g41^9*g42^27,
    g36^g1^-1 = g25^-9*g27^-9*g29^3*g31^-3*g33^3*g35^-1,
    g36^g2 = g36,
    g36^g2^-1 = g36,
    g36^g3 = g36,
    g36^g3^-1 = g36,
    g36^g4 = g36,
    g36^g4^-1 = g36,
    g36^g5 = g36,
    g36^g5^-1 = g36,
    g36^g6 = g36,
    g36^g6^-1 = g36,
    g36^g7 = g36,
    g36^g7^-1 = g36,
    g36^g8 = g36,
    g36^g8^-1 = g36,
    g36^g9 = g36,
    g36^g9^-1 = g36,
    g36^g10 = g36,
    g36^g10^-1 = g36,
    g36^g11 = g36,
    g36^g11^-1 = g36,
    g36^g12 = g36,
    g36^g12^-1 = g36,
    g36^g13 = g36,
    g36^g13^-1 = g36,
    g36^g14 = g36,
    g36^g14^-1 = g36,
    g36^g15 = g36,
    g36^g15^-1 = g36,
    g36^g16 = g36,
    g36^g16^-1 = g36,
    g36^g17 = g36,
    g36^g17^-1 = g36,
    g36^g18 = g36,
    g36^g18^-1 = g36,
    g36^g19 = g36,
    g36^g19^-1 = g36,
    g36^g20 = g36,
    g36^g20^-1 = g36,
    g36^g21 = g36,
    g36^g21^-1 = g36,
    g36^g22 = g36,
    g36^g22^-1 = g36,
    g36^g23 = g36,
    g36^g23^-1 = g36,
    g36^g24 = g36,
    g36^g24^-1 = g36,
    g36^g25 = g36,
    g36^g25^-1 = g36,
    g36^g26 = g36,
    g36^g26^-1 = g36,
    g36^g27 = g36,
    g36^g27^-1 = g36,
    g36^g28 = g36,
    g36^g28^-1 = g36,
    g36^g29 = g36,
    g36^g29^-1 = g36,
    g36^g30 = g36,
    g36^g30^-1 = g36,
    g36^g31 = g36,
    g36^g31^-1 = g36,
    g36^g32 = g36,
    g36^g32^-1 = g36,
    g36^g33 = g36,
    g36^g33^-1 = g36,
    g36^g34 = g36,
    g36^g34^-1 = g36,
    g36^g35 = g36,
    g36^g35^-1 = g36,
    g37^g1 = g28*g32^9*g34^-3*g36^3*g38^36*g40^-9*g42^27,
    g37^g1^-1 = g25^-9*g26^-3*g27^-3*g28^-1,
    g37^g2 = g37,
    g37^g2^-1 = g37,
    g37^g3 = g37,
    g37^g3^-1 = g37,
    g37^g4 = g37,
    g37^g4^-1 = g37,
    g37^g5 = g37,
    g37^g5^-1 = g37,
    g37^g6 = g37,
    g37^g6^-1 = g37,
    g37^g7 = g37,
    g37^g7^-1 = g37,
    g37^g8 = g37,
    g37^g8^-1 = g37,
    g37^g9 = g37,
    g37^g9^-1 = g37,
    g37^g10 = g37,
    g37^g10^-1 = g37,
    g37^g11 = g37,
    g37^g11^-1 = g37,
    g37^g12 = g37,
    g37^g12^-1 = g37,
    g37^g13 = g37,
    g37^g13^-1 = g37,
    g37^g14 = g37,
    g37^g14^-1 = g37,
    g37^g15 = g37,
    g37^g15^-1 = g37,
    g37^g16 = g37,
    g37^g16^-1 = g37,
    g37^g17 = g37,
    g37^g17^-1 = g37,
    g37^g18 = g37,
    g37^g18^-1 = g37,
    g37^g19 = g37,
    g37^g19^-1 = g37,
    g37^g20 = g37,
    g37^g20^-1 = g37,
    g37^g21 = g37,
    g37^g21^-1 = g37,
    g37^g22 = g37,
    g37^g22^-1 = g37,
    g37^g23 = g37,
    g37^g23^-1 = g37,
    g37^g24 = g37,
    g37^g24^-1 = g37,
    g37^g25 = g37,
    g37^g25^-1 = g37,
    g37^g26 = g37,
    g37^g26^-1 = g37,
    g37^g27 = g37,
    g37^g27^-1 = g37,
    g37^g28 = g37,
    g37^g28^-1 = g37,
    g37^g29 = g37,
    g37^g29^-1 = g37,
    g37^g30 = g37,
    g37^g30^-1 = g37,
    g37^g31 = g37,
    g37^g31^-1 = g37,
    g37^g32 = g37,
    g37^g32^-1 = g37,
    g37^g33 = g37,
    g37^g33^-1 = g37,
    g37^g34 = g37,
    g37^g34^-1 = g37,
    g37^g35 = g37,
    g37^g35^-1 = g37,
    g37^g36 = g37,
    g37^g36^-1 = g37,
    g38^g1 = g27^-1*g28^-3*g31^-9*g32^-27*g33^3*g34^9*g35^-3*g36^-9*g37^
-36*g38^-108*g39^9*g40^27*g41^-27*g42^-81,
    g38^g1^-1 = g25^3*g27,
    g38^g2 = g38,
    g38^g2^-1 = g38,
    g38^g3 = g38,
    g38^g3^-1 = g38,
    g38^g4 = g38,
    g38^g4^-1 = g38,
    g38^g5 = g38,
    g38^g5^-1 = g38,
    g38^g6 = g38,
    g38^g6^-1 = g38,
    g38^g7 = g38,
    g38^g7^-1 = g38,
    g38^g8 = g38,
    g38^g8^-1 = g38,
    g38^g9 = g38,
    g38^g9^-1 = g38,
    g38^g10 = g38,
    g38^g10^-1 = g38,
    g38^g11 = g38,
    g38^g11^-1 = g38,
    g38^g12 = g38,
    g38^g12^-1 = g38,
    g38^g13 = g38,
    g38^g13^-1 = g38,
    g38^g14 = g38,
    g38^g14^-1 = g38,
    g38^g15 = g38,
    g38^g15^-1 = g38,
    g38^g16 = g38,
    g38^g16^-1 = g38,
    g38^g17 = g38,
    g38^g17^-1 = g38,
    g38^g18 = g38,
    g38^g18^-1 = g38,
    g38^g19 = g38,
    g38^g19^-1 = g38,
    g38^g20 = g38,
    g38^g20^-1 = g38,
    g38^g21 = g38,
    g38^g21^-1 = g38,
    g38^g22 = g38,
    g38^g22^-1 = g38,
    g38^g23 = g38,
    g38^g23^-1 = g38,
    g38^g24 = g38,
    g38^g24^-1 = g38,
    g38^g25 = g38,
    g38^g25^-1 = g38,
    g38^g26 = g38,
    g38^g26^-1 = g38,
    g38^g27 = g38,
    g38^g27^-1 = g38,
    g38^g28 = g38,
    g38^g28^-1 = g38,
    g38^g29 = g38,
    g38^g29^-1 = g38,
    g38^g30 = g38,
    g38^g30^-1 = g38,
    g38^g31 = g38,
    g38^g31^-1 = g38,
    g38^g32 = g38,
    g38^g32^-1 = g38,
    g38^g33 = g38,
    g38^g33^-1 = g38,
    g38^g34 = g38,
    g38^g34^-1 = g38,
    g38^g35 = g38,
    g38^g35^-1 = g38,
    g38^g36 = g38,
    g38^g36^-1 = g38,
    g38^g37 = g38,
    g38^g37^-1 = g38,
    g39^g1 = g28^2*g30^-1*g32^15*g34^-9*g36^3*g38^45*g40^-18*g42^27,
    g39^g1^-1 = g25^-9*g26^-3*g27^-6*g28^-2*g29^3*g30,
    g39^g2 = g39,
    g39^g2^-1 = g39,
    g39^g3 = g39,
    g39^g3^-1 = g39,
    g39^g4 = g39,
    g39^g4^-1 = g39,
    g39^g5 = g39,
    g39^g5^-1 = g39,
    g39^g6 = g39,
    g39^g6^-1 = g39,
    g39^g7 = g39,
    g39^g7^-1 = g39,
    g39^g8 = g39,
    g39^g8^-1 = g39,
    g39^g9 = g39,
    g39^g9^-1 = g39,
    g39^g10 = g39,
    g39^g10^-1 = g39,
    g39^g11 = g39,
    g39^g11^-1 = g39,
    g39^g12 = g39,
    g39^g12^-1 = g39,
    g39^g13 = g39,
    g39^g13^-1 = g39,
    g39^g14 = g39,
    g39^g14^-1 = g39,
    g39^g15 = g39,
    g39^g15^-1 = g39,
    g39^g16 = g39,
    g39^g16^-1 = g39,
    g39^g17 = g39,
    g39^g17^-1 = g39,
    g39^g18 = g39,
    g39^g18^-1 = g39,
    g39^g19 = g39,
    g39^g19^-1 = g39,
    g39^g20 = g39,
    g39^g20^-1 = g39,
    g39^g21 = g39,
    g39^g21^-1 = g39,
    g39^g22 = g39,
    g39^g22^-1 = g39,
    g39^g23 = g39,
    g39^g23^-1 = g39,
    g39^g24 = g39,
    g39^g24^-1 = g39,
    g39^g25 = g39,
    g39^g25^-1 = g39,
    g39^g26 = g39,
    g39^g26^-1 = g39,
    g39^g27 = g39,
    g39^g27^-1 = g39,
    g39^g28 = g39,
    g39^g28^-1 = g39,
    g39^g29 = g39,
    g39^g29^-1 = g39,
    g39^g30 = g39,
    g39^g30^-1 = g39,
    g39^g31 = g39,
    g39^g31^-1 = g39,
    g39^g32 = g39,
    g39^g32^-1 = g39,
    g39^g33 = g39,
    g39^g33^-1 = g39,
    g39^g34 = g39,
    g39^g34^-1 = g39,
    g39^g35 = g39,
    g39^g35^-1 = g39,
    g39^g36 = g39,
    g39^g36^-1 = g39,
    g39^g37 = g39,
    g39^g37^-1 = g39,
    g39^g38 = g39,
    g39^g38^-1 = g39,
    g40^g1 = g27^-2*g28^-6*g29*g30^3*g31^-15*g32^-45*g33^9*g34^27*g35^-3*g36^
-9*g37^-45*g38^-135*g39^18*g40^54*g41^-27*g42^-81,
    g40^g1^-1 = g25^3*g27^2*g29^-1,
    g40^g2 = g40,
    g40^g2^-1 = g40,
    g40^g3 = g40,
    g40^g3^-1 = g40,
    g40^g4 = g40,
    g40^g4^-1 = g40,
    g40^g5 = g40,
    g40^g5^-1 = g40,
    g40^g6 = g40,
    g40^g6^-1 = g40,
    g40^g7 = g40,
    g40^g7^-1 = g40,
    g40^g8 = g40,
    g40^g8^-1 = g40,
    g40^g9 = g40,
    g40^g9^-1 = g40,
    g40^g10 = g40,
    g40^g10^-1 = g40,
    g40^g11 = g40,
    g40^g11^-1 = g40,
    g40^g12 = g40,
    g40^g12^-1 = g40,
    g40^g13 = g40,
    g40^g13^-1 = g40,
    g40^g14 = g40,
    g40^g14^-1 = g40,
    g40^g15 = g40,
    g40^g15^-1 = g40,
    g40^g16 = g40,
    g40^g16^-1 = g40,
    g40^g17 = g40,
    g40^g17^-1 = g40,
    g40^g18 = g40,
    g40^g18^-1 = g40,
    g40^g19 = g40,
    g40^g19^-1 = g40,
    g40^g20 = g40,
    g40^g20^-1 = g40,
    g40^g21 = g40,
    g40^g21^-1 = g40,
    g40^g22 = g40,
    g40^g22^-1 = g40,
    g40^g23 = g40,
    g40^g23^-1 = g40,
    g40^g24 = g40,
    g40^g24^-1 = g40,
    g40^g25 = g40,
    g40^g25^-1 = g40,
    g40^g26 = g40,
    g40^g26^-1 = g40,
    g40^g27 = g40,
    g40^g27^-1 = g40,
    g40^g28 = g40,
    g40^g28^-1 = g40,
    g40^g29 = g40,
    g40^g29^-1 = g40,
    g40^g30 = g40,
    g40^g30^-1 = g40,
    g40^g31 = g40,
    g40^g31^-1 = g40,
    g40^g32 = g40,
    g40^g32^-1 = g40,
    g40^g33 = g40,
    g40^g33^-1 = g40,
    g40^g34 = g40,
    g40^g34^-1 = g40,
    g40^g35 = g40,
    g40^g35^-1 = g40,
    g40^g36 = g40,
    g40^g36^-1 = g40,
    g40^g37 = g40,
    g40^g37^-1 = g40,
    g40^g38 = g40,
    g40^g38^-1 = g40,
    g40^g39 = g40,
    g40^g39^-1 = g40,
    g41^g1 = g26^-1*g28^-9*g30^-3*g32^-45*g34^9*g36^-18*g38^-135*g40^27*g42^
-81,
    g41^g1^-1 = g25^3*g26,
    g41^g2 = g41,
    g41^g2^-1 = g41,
    g41^g3 = g41,
    g41^g3^-1 = g41,
    g41^g4 = g41,
    g41^g4^-1 = g41,
    g41^g5 = g41,
    g41^g5^-1 = g41,
    g41^g6 = g41,
    g41^g6^-1 = g41,
    g41^g7 = g41,
    g41^g7^-1 = g41,
    g41^g8 = g41,
    g41^g8^-1 = g41,
    g41^g9 = g41,
    g41^g9^-1 = g41,
    g41^g10 = g41,
    g41^g10^-1 = g41,
    g41^g11 = g41,
    g41^g11^-1 = g41,
    g41^g12 = g41,
    g41^g12^-1 = g41,
    g41^g13 = g41,
    g41^g13^-1 = g41,
    g41^g14 = g41,
    g41^g14^-1 = g41,
    g41^g15 = g41,
    g41^g15^-1 = g41,
    g41^g16 = g41,
    g41^g16^-1 = g41,
    g41^g17 = g41,
    g41^g17^-1 = g41,
    g41^g18 = g41,
    g41^g18^-1 = g41,
    g41^g19 = g41,
    g41^g19^-1 = g41,
    g41^g20 = g41,
    g41^g20^-1 = g41,
    g41^g21 = g41,
    g41^g21^-1 = g41,
    g41^g22 = g41,
    g41^g22^-1 = g41,
    g41^g23 = g41,
    g41^g23^-1 = g41,
    g41^g24 = g41,
    g41^g24^-1 = g41,
    g41^g25 = g41,
    g41^g25^-1 = g41,
    g41^g26 = g41,
    g41^g26^-1 = g41,
    g41^g27 = g41,
    g41^g27^-1 = g41,
    g41^g28 = g41,
    g41^g28^-1 = g41,
    g41^g29 = g41,
    g41^g29^-1 = g41,
    g41^g30 = g41,
    g41^g30^-1 = g41,
    g41^g31 = g41,
    g41^g31^-1 = g41,
    g41^g32 = g41,
    g41^g32^-1 = g41,
    g41^g33 = g41,
    g41^g33^-1 = g41,
    g41^g34 = g41,
    g41^g34^-1 = g41,
    g41^g35 = g41,
    g41^g35^-1 = g41,
    g41^g36 = g41,
    g41^g36^-1 = g41,
    g41^g37 = g41,
    g41^g37^-1 = g41,
    g41^g38 = g41,
    g41^g38^-1 = g41,
    g41^g39 = g41,
    g41^g39^-1 = g41,
    g41^g40 = g41,
    g41^g40^-1 = g41,
    g42^g1 = g25*g26^3*g27^9*g28^27*g29^3*g30^9*g31^45*g32^135*g33^-9*g34^
-27*g35^18*g36^54*g37^135*g38^405*g39^-27*g40^-81*g41^81*g42^243,
    g42^g1^-1 = g25^-1,
    g42^g2 = g42,
    g42^g2^-1 = g42,
    g42^g3 = g42,
    g42^g3^-1 = g42,
    g42^g4 = g42,
    g42^g4^-1 = g42,
    g42^g5 = g42,
    g42^g5^-1 = g42,
    g42^g6 = g42,
    g42^g6^-1 = g42,
    g42^g7 = g42,
    g42^g7^-1 = g42,
    g42^g8 = g42,
    g42^g8^-1 = g42,
    g42^g9 = g42,
    g42^g9^-1 = g42,
    g42^g10 = g42,
    g42^g10^-1 = g42,
    g42^g11 = g42,
    g42^g11^-1 = g42,
    g42^g12 = g42,
    g42^g12^-1 = g42,
    g42^g13 = g42,
    g42^g13^-1 = g42,
    g42^g14 = g42,
    g42^g14^-1 = g42,
    g42^g15 = g42,
    g42^g15^-1 = g42,
    g42^g16 = g42,
    g42^g16^-1 = g42,
    g42^g17 = g42,
    g42^g17^-1 = g42,
    g42^g18 = g42,
    g42^g18^-1 = g42,
    g42^g19 = g42,
    g42^g19^-1 = g42,
    g42^g20 = g42,
    g42^g20^-1 = g42,
    g42^g21 = g42,
    g42^g21^-1 = g42,
    g42^g22 = g42,
    g42^g22^-1 = g42,
    g42^g23 = g42,
    g42^g23^-1 = g42,
    g42^g24 = g42,
    g42^g24^-1 = g42,
    g42^g25 = g42,
    g42^g25^-1 = g42,
    g42^g26 = g42,
    g42^g26^-1 = g42,
    g42^g27 = g42,
    g42^g27^-1 = g42,
    g42^g28 = g42,
    g42^g28^-1 = g42,
    g42^g29 = g42,
    g42^g29^-1 = g42,
    g42^g30 = g42,
    g42^g30^-1 = g42,
    g42^g31 = g42,
    g42^g31^-1 = g42,
    g42^g32 = g42,
    g42^g32^-1 = g42,
    g42^g33 = g42,
    g42^g33^-1 = g42,
    g42^g34 = g42,
    g42^g34^-1 = g42,
    g42^g35 = g42,
    g42^g35^-1 = g42,
    g42^g36 = g42,
    g42^g36^-1 = g42,
    g42^g37 = g42,
    g42^g37^-1 = g42,
    g42^g38 = g42,
    g42^g38^-1 = g42,
    g42^g39 = g42,
    g42^g39^-1 = g42,
    g42^g40 = g42,
    g42^g40^-1 = g42,
    g42^g41 = g42,
    g42^g41^-1 = g42
>;