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

    g1^2,
    g2^2,
    g3^2,
    g4^2,

    g2^g1 = g2,
    g3^g1 = g3,
    g3^g2 = g3,
    g4^g1 = g4,
    g4^g2 = g4,
    g4^g3 = g4,
    g5^g1 = g5,
    g5^g2 = g5,
    g5^g3 = g5,
    g5^g4 = g5,
    g6^g1 = g6,
    g6^g2 = g6,
    g6^g3 = g6,
    g6^g4 = g6,
    g6^g5 = g6,
    g6^g5^-1 = g6,
    g7^g1 = g7,
    g7^g2 = g7,
    g7^g3 = g7,
    g7^g4 = g7,
    g7^g5 = g7,
    g7^g5^-1 = g7,
    g7^g6 = g7,
    g7^g6^-1 = g7,
    g8^g1 = g8,
    g8^g2 = g8,
    g8^g3 = g8,
    g8^g4 = g8,
    g8^g5 = g8,
    g8^g5^-1 = g8,
    g8^g6 = g8,
    g8^g6^-1 = g8,
    g8^g7 = g8,
    g8^g7^-1 = g8,
    g9^g1 = g9^-1,
    g9^g2 = g9^-1,
    g9^g3 = g9,
    g9^g4 = g9,
    g9^g5 = g9^2*g10,
    g9^g5^-1 = g9^2*g10^-1,
    g9^g6 = g9^2*g10^-1,
    g9^g6^-1 = g9^2*g10,
    g9^g7 = g9,
    g9^g7^-1 = g9,
    g9^g8 = g9,
    g9^g8^-1 = g9,
    g10^g1 = g10^-1,
    g10^g2 = g10^-1,
    g10^g3 = g10,
    g10^g4 = g10,
    g10^g5 = g9^3*g10^2,
    g10^g5^-1 = g9^-3*g10^2,
    g10^g6 = g9^-3*g10^2,
    g10^g6^-1 = g9^3*g10^2,
    g10^g7 = g10,
    g10^g7^-1 = g10,
    g10^g8 = g10,
    g10^g8^-1 = g10,
    g10^g9 = g10,
    g10^g9^-1 = g10,
    g11^g1 = g11,
    g11^g2 = g11^-1,
    g11^g3 = g11^-1,
    g11^g4 = g11,
    g11^g5 = g11,
    g11^g5^-1 = g11,
    g11^g6 = g11^2*g12,
    g11^g6^-1 = g11^2*g12^-1,
    g11^g7 = g11^2*g12^-1,
    g11^g7^-1 = g11^2*g12,
    g11^g8 = g11,
    g11^g8^-1 = g11,
    g11^g9 = g11*g15,
    g11^g9^-1 = g11*g15^-1,
    g11^g10 = g11*g16,
    g11^g10^-1 = g11*g16^-1,
    g12^g1 = g12,
    g12^g2 = g12^-1,
    g12^g3 = g12^-1,
    g12^g4 = g12,
    g12^g5 = g12,
    g12^g5^-1 = g12,
    g12^g6 = g11^3*g12^2,
    g12^g6^-1 = g11^-3*g12^2,
    g12^g7 = g11^-3*g12^2,
    g12^g7^-1 = g11^3*g12^2,
    g12^g8 = g12,
    g12^g8^-1 = g12,
    g12^g9 = g12*g16,
    g12^g9^-1 = g12*g16^-1,
    g12^g10 = g12*g15^3,
    g12^g10^-1 = g12*g15^-3,
    g12^g11 = g12,
    g12^g11^-1 = g12,
    g13^g1 = g13,
    g13^g2 = g13,
    g13^g3 = g13^-1,
    g13^g4 = g13^-1,
    g13^g5 = g13,
    g13^g5^-1 = g13,
    g13^g6 = g13,
    g13^g6^-1 = g13,
    g13^g7 = g13^2*g14,
    g13^g7^-1 = g13^2*g14^-1,
    g13^g8 = g13^2*g14^-1,
    g13^g8^-1 = g13^2*g14,
    g13^g9 = g13,
    g13^g9^-1 = g13,
    g13^g10 = g13,
    g13^g10^-1 = g13,
    g13^g11 = g13*g17,
    g13^g11^-1 = g13*g17^-1,
    g13^g12 = g13*g18,
    g13^g12^-1 = g13*g18^-1,
    g14^g1 = g14,
    g14^g2 = g14,
    g14^g3 = g14^-1,
    g14^g4 = g14^-1,
    g14^g5 = g14,
    g14^g5^-1 = g14,
    g14^g6 = g14,
    g14^g6^-1 = g14,
    g14^g7 = g13^3*g14^2,
    g14^g7^-1 = g13^-3*g14^2,
    g14^g8 = g13^-3*g14^2,
    g14^g8^-1 = g13^3*g14^2,
    g14^g9 = g14,
    g14^g9^-1 = g14,
    g14^g10 = g14,
    g14^g10^-1 = g14,
    g14^g11 = g14*g18,
    g14^g11^-1 = g14*g18^-1,
    g14^g12 = g14*g17^3,
    g14^g12^-1 = g14*g17^-3,
    g14^g13 = g14,
    g14^g13^-1 = g14,
    g15^g1 = g15^-1,
    g15^g2 = g15,
    g15^g3 = g15^-1,
    g15^g4 = g15,
    g15^g5 = g15^2*g16,
    g15^g5^-1 = g15^2*g16^-1,
    g15^g6 = g15,
    g15^g6^-1 = g15,
    g15^g7 = g15^2*g16^-1,
    g15^g7^-1 = g15^2*g16,
    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*g19^-1,
    g15^g13^-1 = g15*g19,
    g15^g14 = g15*g20^-1,
    g15^g14^-1 = g15*g20,
    g16^g1 = g16^-1,
    g16^g2 = g16,
    g16^g3 = g16^-1,
    g16^g4 = g16,
    g16^g5 = g15^3*g16^2,
    g16^g5^-1 = g15^-3*g16^2,
    g16^g6 = g16,
    g16^g6^-1 = g16,
    g16^g7 = g15^-3*g16^2,
    g16^g7^-1 = g15^3*g16^2,
    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*g20^-1,
    g16^g13^-1 = g16*g20,
    g16^g14 = g16*g19^-3,
    g16^g14^-1 = g16*g19^3,
    g16^g15 = g16,
    g16^g15^-1 = g16,
    g17^g1 = g17,
    g17^g2 = g17^-1,
    g17^g3 = g17,
    g17^g4 = g17^-1,
    g17^g5 = g17,
    g17^g5^-1 = g17,
    g17^g6 = g17^2*g18,
    g17^g6^-1 = g17^2*g18^-1,
    g17^g7 = g17,
    g17^g7^-1 = g17,
    g17^g8 = g17^2*g18^-1,
    g17^g8^-1 = g17^2*g18,
    g17^g9 = g17*g19,
    g17^g9^-1 = g17*g19^-1,
    g17^g10 = g17*g20,
    g17^g10^-1 = g17*g20^-1,
    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 = g18,
    g18^g2 = g18^-1,
    g18^g3 = g18,
    g18^g4 = g18^-1,
    g18^g5 = g18,
    g18^g5^-1 = g18,
    g18^g6 = g17^3*g18^2,
    g18^g6^-1 = g17^-3*g18^2,
    g18^g7 = g18,
    g18^g7^-1 = g18,
    g18^g8 = g17^-3*g18^2,
    g18^g8^-1 = g17^3*g18^2,
    g18^g9 = g18*g20,
    g18^g9^-1 = g18*g20^-1,
    g18^g10 = g18*g19^3,
    g18^g10^-1 = g18*g19^-3,
    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 = g19^-1,
    g19^g2 = g19,
    g19^g3 = g19,
    g19^g4 = g19^-1,
    g19^g5 = g19^2*g20,
    g19^g5^-1 = g19^2*g20^-1,
    g19^g6 = g19,
    g19^g6^-1 = g19,
    g19^g7 = g19,
    g19^g7^-1 = g19,
    g19^g8 = g19^2*g20^-1,
    g19^g8^-1 = g19^2*g20,
    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 = g20^-1,
    g20^g2 = g20,
    g20^g3 = g20,
    g20^g4 = g20^-1,
    g20^g5 = g19^3*g20^2,
    g20^g5^-1 = g19^-3*g20^2,
    g20^g6 = g20,
    g20^g6^-1 = g20,
    g20^g7 = g20,
    g20^g7^-1 = g20,
    g20^g8 = g19^-3*g20^2,
    g20^g8^-1 = g19^3*g20^2,
    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
>;
