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

F:=GF(2);

x:=CambridgeMatrix(1,F,24,[
"101000001001101010000101",
"110011101101111000100001",
"001010010110000111010111",
"101000000001001010000101",
"000010001000100000000001",
"100000110110010010000100",
"010100001000101101000011",
"011110101111100000010000",
"001000000001101010000101",
"110010111010101010010101",
"110000100111000000110000",
"100110011011010001001010",
"101100000001101010000101",
"011011000000111001111010",
"011110111111101000010000",
"011011000001010110010100",
"101100000101111110011000",
"110111000001100010111111",
"101100000100000111010110",
"000111101100000011011110",
"000111101001001110110101",
"010110110110001010010001",
"101001111011001110011110",
"100100001000100000000001"]);

y:=CambridgeMatrix(1,F,24,[
"000110111010101111010000",
"101110110110100010110110",
"100011000010011110001011",
"111000110000000011111001",
"110110011011000010000000",
"001101110001011101001100",
"110011001111110110110001",
"001000100100111110010111",
"000011001110000010111101",
"010000110111101011001100",
"101011100100111000010100",
"011100001101000000100100",
"001011101101010011110011",
"000101101000001100011010",
"011101100100111110010011",
"010010100100101101101110",
"001111010110011001110010",
"101001101010011101101010",
"111101010101101110100010",
"111111011010110110111111",
"101101100100110101110001",
"110000010011101110110011",
"111010011000010111110011",
"010000111110111101101100"]);

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