/*
www-ATLAS of Group Representations.
Co3 represented as 22 x 22 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,22,[
"1000100110100111011011",
"0010011000111110101011",
"0001000111000101100010",
"0001111110111010101101",
"1010000011011011010100",
"1100000010001111111001",
"1001001101101101001000",
"1110000000001000010001",
"1010000000011110010011",
"1000001010001101111000",
"0110110111101010100001",
"1001110000111001010011",
"0111110010010110000000",
"1010001010011100001000",
"0110100100101011011011",
"0101110111010101100101",
"1101100110001000100110",
"1000100100110010001011",
"1000100010100001101011",
"0100011010011011011100",
"1100101000100101111110",
"0101100100100001100011"]);

y:=CambridgeMatrix(1,F,22,[
"0101010100000001000001",
"1101100010000010100110",
"1110100000110010100100",
"1100011100010110011000",
"1110101101110111111110",
"1111011011000111001000",
"1100001110001111101101",
"1110100001110010100110",
"1100000100111111101101",
"1011100011110000000100",
"1000001010010000110100",
"1011110000110011110110",
"1111100011010010100100",
"0111111011111011010011",
"1010011000111001110000",
"0001110010000011101000",
"1100100101011110100001",
"0001110111000010111000",
"1111100110110100101001",
"1011100100011011011001",
"0000100000111110100110",
"1110010100011100011100"]);

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