/*
www-ATLAS of Group Representations.
(A5 x U3(8):3a):2 represented as 28 x 28 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,28,[
"0100000000000000000000000000",
"1000000000000000000000000000",
"0010000000000000000000000000",
"0001000000000000000000000000",
"0000010000000000000000000000",
"0000100000000000000000000000",
"0000101100000000000000000000",
"0000110100000000000000000000",
"0000110001000000000000000000",
"0000110010000000000000000000",
"0000111111001000000000000000",
"0000001101001100000000000000",
"0000101011100000000000000000",
"0000000001110000000000000000",
"0000001100001110010000000000",
"0000011001110100111000000000",
"0000000111001110000010000000",
"0000111110011100010000000000",
"0000110100100111010010000000",
"0000001110000101101001011000",
"0000010001011110110000000000",
"0000010011100111011011000000",
"0000111111001100010000100000",
"0000101001101100010101001000",
"0000111000100110100010001000",
"0000011100011011011111011100",
"0000101100010110110111011010",
"0000110111101010110010000001"]);

y:=CambridgeMatrix(1,F,28,[
"0110000000000000000000000000",
"0010000000000000000000000000",
"0001000000000000000000000000",
"1011000000000000000000000000",
"0000011000000000000000000000",
"0000001000000000000000000000",
"0000110000000000000000000000",
"0000100110000000000000000000",
"0000100001100000000000000000",
"0000111101110000000000000000",
"0000000110010000000000000000",
"0000000110111110000000000000",
"0000100001000111000000000000",
"0000001010000110100000000000",
"0000010000101111100000000000",
"0000101001000101010100000000",
"0000100101100101011001000000",
"0000111100100110010111100000",
"0000110000111110010001010000",
"0000011110110001110111100000",
"0000001000011110000010000100",
"0000001110101101100110110000",
"0000000100101011001011111010",
"0000011110101000110101010101",
"0000111110011110000111111000",
"0000101110011100000010110011",
"0000100011011001010111001111",
"0000110101000111001001010011"]);

G<x,y>:=MatrixGroup<28,F|x,y>;
print "Group G is (A5 x U3(8):3a):2 < GL(28,GF(2))";