/*
www-ATLAS of Group Representations.
S4(5) represented as permutations on 156 points.
*/

G<x,y>:=PermutationGroup<156|\[
2,1,5,7,3,10,4,12,13,6,16,8,9,20,21,11,23,18,25,14,15,29,17,31,19,
33,34,36,22,39,24,41,26,27,45,28,47,48,30,42,32,40,43,53,35,56,37,38,58,59,
61,63,44,65,66,46,69,49,50,60,51,74,52,76,54,55,67,68,57,82,83,73,72,62,88,
64,91,92,94,96,81,70,71,100,101,102,87,75,105,106,77,78,110,79,107,80,103,112,114,84,
85,86,97,118,89,90,95,122,124,93,127,98,116,99,130,113,121,104,133,120,117,108,123,109,137,
138,111,140,129,115,142,143,119,145,135,147,125,126,150,128,152,131,132,154,134,149,136,148,146,139,
153,141,151,144,156,155]
,\[
3,4,6,8,9,1,11,2,14,15,17,18,19,5,22,16,7,24,26,27,28,10,30,12,32,
13,35,37,38,40,36,42,43,44,20,46,21,49,50,23,51,25,52,54,55,31,57,48,29,60,
62,33,64,34,67,68,70,71,72,39,73,41,75,77,78,79,45,80,81,47,84,85,86,87,89,
90,53,93,95,56,97,98,99,58,59,61,103,104,63,107,108,109,65,111,66,106,69,113,115,116,
117,100,74,119,120,121,76,123,125,126,128,129,82,130,83,102,131,132,88,134,96,135,91,136,92,
139,127,94,141,138,101,144,137,105,146,148,149,114,110,151,112,153,142,118,140,122,147,124,133,155,
145,152,143,150,154,156]
>;
print "Group G is S4(5) < Sym(156)";