/*
www-ATLAS of Group Representations.
O10-(2):2 represented as 32 x 32 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,32,[
"01000000000000000000000000000000",
"10000000000000000000000000000000",
"00000100000000000000000000000000",
"00000001000000000000000000000000",
"00000000100000000000000000000000",
"00100000000000000000000000000000",
"00000000000010000000000000000000",
"00010000000000000000000000000000",
"00001000000000000000000000000000",
"00000000000000000010000000000000",
"00000000000000000000100000000000",
"10001000000100010000000000000000",
"00000010000000000000000000000000",
"00000000000000000000000001000000",
"10000000000000001000000000000000",
"11001000100000010000000000000000",
"01000000000000100000000000000000",
"00000000000000000000000000000010",
"00000000010000000000000000000000",
"01011001000110101101101011001010",
"00000000001000000000000000000000",
"00111110011110001101110000100101",
"00000000010000000010001000000000",
"11011111000000011000110001110100",
"10010011101011010110101011000010",
"00000000000001000000000000000000",
"00001010110101000111000111010010",
"10010101011010110101110000011110",
"00010001010000000100001000001010",
"11011000111010001111000011101001",
"00000000000000000100000000000000",
"01011010111001011010101111010110"]);

y:=CambridgeMatrix(1,F,32,[
"00100000000000000000000000000000",
"10110000000000000000000000000000",
"00000010000000000000000000000000",
"10000000000000000000000000000000",
"01000000000000000000000000000000",
"00000000001000000000000000000000",
"00000000000001000000000000000000",
"00000000000000100000000000000000",
"00000000000000001000000000000000",
"00001000000000000000000000000000",
"00000000000000000000010000000000",
"00000100000000000000000000000000",
"00000000000000000000000100000000",
"00000000000000000000000000100000",
"00000000000000000000000000010000",
"00000001000000000000000000000000",
"00000000000000000000000000000100",
"00000000100000000000000000000000",
"00000000000000000000000000000001",
"00000000010000000000000000000000",
"00110111011010101101010110010011",
"01110111111110100110111011101000",
"00000000000100000000000000000000",
"00010111000101010100110010010100",
"00000000000010000000000000000000",
"11000110000100011111001101100100",
"00110101001100010110110011000001",
"11110110110000001000001001000010",
"00000000000000010000000000000000",
"10000010101111111011011100101011",
"01010010111001011010101111010110",
"11010001011010110101110000011110"]);

G<x,y>:=MatrixGroup<32,F|x,y>;
print "Group G is O10-(2):2 < GL(32,GF(2))";