/*
www-ATLAS of Group Representations.
U6(2):S3 represented as 20 x 20 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"10000000000000000000",
"00001000000000000000",
"00000010000000000000",
"00100000000000000000",
"00000000010000000000",
"00010000000000000000",
"00000000000010000000",
"00111010100000000000",
"00000100000000000000",
"11111110011000000000",
"00000000000000010000",
"00000001000000000000",
"11101000000001000000",
"11010010000100110000",
"00000000000100000000",
"00101000000000001000",
"11101001000110010100",
"00010010000000000010",
"11010010000100010001"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"00010000000000000000",
"00000100000000000000",
"00000001000000000000",
"00000000100000000000",
"00000000001000000000",
"00000000000100000000",
"00000000000001000000",
"00111100100000000000",
"00000000000000100000",
"11100000001001000000",
"00000000000000001000",
"00000000000000000100",
"10010000001000000000",
"00110101011001100000",
"00000000000000000010",
"00000000000000000001",
"00110000000111001101",
"00000011001001010011",
"10110111000001001000"]);

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