Conj_1
:=
[ MatrixAlgebra(CyclotomicField(5), 3) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 1, 1 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_2
:=
[ MatrixAlgebra(CyclotomicField(5), 3) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 1, 1 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 2, 2 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_3
:=
[ MatrixAlgebra(CyclotomicField(5), 4) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_4
:=
[ MatrixAlgebra(CyclotomicField(5), 5) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 1, 1 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_2_2
:=
[ MatrixAlgebra(CyclotomicField(5), 3) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() |
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0,
    0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() |
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0,
    0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_5
:=
[ MatrixAlgebra(CyclotomicField(5), 5) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() |
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0,
    0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() |
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0,
    0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() |
    0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0,
    0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_5
:=
[ MatrixAlgebra(CyclotomicField(5), 5) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 
    ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 
    0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_2_2
:=
[ MatrixAlgebra(CyclotomicField(5), 3) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 2, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;

Conj_3_2
:=
[ MatrixAlgebra(CyclotomicField(5), 3) |
    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 2, 2 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ],

    [ CyclotomicField(5) | [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 2, 2 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ 
    RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
]
;


Sym3:=SymmetricGroup(3);
Sym5:=SymmetricGroup(5);
P:=PermutationMatrix(Q5,Sym3!(1,3)(2,3));
P2:=PermutationMatrix(Q5,Sym3!(1,3));
P5:=PermutationMatrix(Q5,Sym5!(1,5));
P6:=PermutationMatrix(Q5,Sym5!(1,3));
S2:=&*Conj_1;
S3:=&*Conj_2;
S4:=&*Conj_3;
S5:=&*Conj_4;

D1:=DiagonalMatrix([1,1,Z_K![0,0,-1,-1],1,1]);
D2:=DiagonalMatrix([1,Z_K![1,0,1,1],1]);
D3:=DiagonalMatrix([1,K![1,0,2,2],1]);
