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