#############################################################################
##
#W  tma12m9.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tma12m9.tom,v 4.2 2001/07/05 06:56:17 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of the nineth maximal subgroup of
##  $A12$
##
#H  tomlib history
#H  --------------
#H  $Log: tma12m9.tom,v $
#H  Revision 4.2  2001/07/05 06:56:17  gap
#H  first revision for tomlib
#H
#H
#H  tom history (GAP 4)
#H  -------------------
#H  (Rev. 4.2 of tomlib coincides with Rev. 4.1 of tom in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tom/tma12m9.tom,v
#H  Working file: tma12m9.tom
#H  head: 4.1
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.1.0.10
#H  	GAP4R2PRE2: 4.1.0.8
#H  	GAP4R2PRE1: 4.1.0.2
#H  	GAP4R1: 4.1.0.6
#H  	GAP4B5: 4.1.0.4
#H  	dec16-98b: 4.1
#H  	GAP4b4: 4.1
#H  	version-14-apr: 4.1
#H  	version-15-jun: 4.1
#H  keyword substitution: kv
#H  total revisions: 2;	selected revisions: 2
#H  description:
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:33:50;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/17 12:46:08;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tma12m9_tom :=
    "@(#)$Id: tma12m9.tom,v 4.2 2001/07/05 06:56:17 gap Exp $";

SetActualLibFileName("tma12m9");


LIBTOM( "2^6:3^3:S4",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[1,12],[1,
4,6,7,13],[1,4,6,14],[1,2,15],[1,4,16],[1,2,8,17],[1,4,8,18],[1,6,7,8,19],[1,
7,8,20],[1,3,7,21],[1,4,22],[1,4,23],[1,3,6,24],[1,6,7,25],[1,7,26],[1,2,27],[
1,8,28],[1,4,29],[1,4,30],[1,5,6,31],[1,3,5,7,32],[1,2,4,8,33],[1,2,4,34],[1,
2,35],[1,4,8,36],[1,6,7,37],[1,2,7,38],[1,2,6,7,39],[1,3,4,40],[1,2,7,41],[1,
3,8,42],[1,4,43],[1,2,4,44],[1,2,3,45],[1,3,7,46],[1,4,7,47],[1,4,5,48],[1,7,
49],[1,3,5,8,50],[1,6,51],[1,2,3,5,52],[1,2,6,53],[1,4,7,54],[1,6,55],[1,5,12,
56],[1,2,10,57],[1,5,11,58],[1,2,9,59],[1,5,10,60],[1,3,10,61],[1,3,10,62],[1,
5,9,63],[1,4,9,64],[1,7,9,65],[1,8,12,66],[1,5,10,67],[1,6,9,68],[1,6,9,69],[
1,7,10,70],[1,3,12,71],[1,6,10,72],[1,4,8,16,18,22,36,73],[1,2,4,8,15,17,33,
74],[1,2,7,15,27,38,75],[1,2,4,8,17,36,44,76],[1,3,7,21,26,49,77],[1,2,6,15,
35,53,78],[1,2,4,8,17,18,33,34,36,79],[1,4,8,36,43,80],[1,2,6,7,25,37,38,39,
53,81],[1,3,4,22,40,82],[1,5,6,7,25,31,51,83],[1,3,4,6,14,24,40,84],[1,3,4,7,
21,40,54,85],[1,3,4,8,36,40,42,86],[1,2,4,8,27,33,35,87],[1,4,5,22,23,48,88],[
1,4,7,22,30,54,89],[1,2,4,15,34,44,90],[1,2,4,27,35,44,91],[1,2,4,8,17,18,33,
34,44,92],[1,4,8,16,36,93],[1,3,4,5,8,36,40,48,50,94],[1,4,8,18,28,36,95],[1,
2,4,8,16,18,33,34,96],[1,3,6,7,37,46,49,97],[1,3,4,8,23,36,40,98],[1,4,6,8,14,
30,36,99],[1,4,6,7,13,14,25,37,55,100],[1,4,6,7,13,25,26,37,54,101],[1,4,7,29,
47,102],[1,4,7,30,47,103],[1,2,6,7,8,17,19,20,39,41,104],[1,4,6,7,8,13,18,19,
20,47,105],[1,4,5,23,29,48,106],[1,2,4,6,27,34,53,107],[1,2,4,7,27,34,38,
108],[1,2,6,7,35,41,53,109],[1,2,6,7,27,41,53,110],[1,2,6,7,25,26,38,39,111],[
1,2,7,35,38,41,112],[1,3,4,7,40,46,54,113],[1,2,6,7,35,39,114],[1,2,6,7,27,35,
39,115],[1,2,4,7,27,34,38,116],[1,4,29,117],[1,4,8,23,36,43,118],[1,4,30,
119],[1,4,8,16,36,120],[1,2,3,5,8,17,42,45,50,52,121],[1,2,4,7,34,35,38,122],[
1,2,6,7,15,39,41,123],[1,2,4,6,7,8,14,19,33,39,54,124],[1,2,4,6,7,13,38,39,44,
53,125],[1,2,4,7,38,41,44,47,126],[1,2,4,8,30,33,127],[1,2,4,27,44,128],[1,2,
4,22,34,44,129],[1,2,4,8,16,33,44,130],[1,2,6,7,27,39,131],[1,3,6,7,8,19,21,
24,42,46,132],[1,4,6,7,13,14,16,54,133],[1,4,7,16,47,54,134],[1,2,6,7,37,39,
53,55,135],[1,3,4,16,23,40,136],[1,3,4,7,40,43,54,137],[1,4,6,14,43,138],[1,2,
4,6,7,13,34,39,41,47,139],[1,4,7,43,54,140],[1,4,29,43,141],[1,2,4,6,14,44,53,
142],[1,2,4,35,44,143],[1,4,23,30,43,144],[1,2,4,8,27,33,145],[1,2,4,8,17,28,
33,36,146],[1,2,4,27,44,147],[1,5,6,31,51,55,148],[1,4,16,30,149],[1,6,7,8,19,
26,37,150],[1,4,5,29,48,151],[1,3,4,5,30,40,48,152],[1,2,4,8,23,33,43,153],[1,
2,4,8,33,43,154],[1,3,4,29,40,155],[1,2,4,6,34,35,53,156],[1,2,4,7,38,44,54,
157],[1,3,4,22,40,43,158],[1,4,7,23,43,54,159],[1,4,23,29,160],[1,2,4,30,44,
161],[1,3,4,30,40,43,162],[1,3,6,24,51,55,163],[1,3,6,7,24,25,51,164],[1,2,4,
7,8,20,33,41,54,165],[1,4,22,23,166],[1,2,4,8,29,30,33,167],[1,2,4,6,7,8,13,
19,33,38,53,168],[1,2,4,7,8,20,33,38,47,169],[1,2,3,4,40,43,44,170],[1,3,4,30,
40,171],[1,4,6,14,51,172],[1,4,7,49,54,173],[1,6,7,8,19,51,174],[1,6,7,8,19,
49,175],[1,3,4,30,40,43,176],[1,2,6,8,17,27,53,177],[1,3,4,7,40,43,54,178],[1,
2,7,8,17,35,38,179],[1,4,22,43,180],[1,4,5,22,48,181],[1,4,7,8,29,36,54,182],[
1,4,7,8,30,36,54,183],[1,4,6,14,23,184],[1,3,4,30,40,185],[1,4,30,43,186],[1,
4,30,43,187],[1,2,3,5,7,21,32,41,45,46,52,188],[1,3,4,23,30,40,189],[1,3,4,6,
14,40,43,190],[1,2,7,8,17,27,38,191],[1,4,5,6,14,31,48,192],[1,2,6,7,39,51,
193],[1,2,6,7,39,49,194],[1,2,3,4,5,8,33,40,48,50,52,195],[1,2,3,4,8,33,40,42,
45,196],[1,3,4,8,36,40,43,197],[1,2,4,5,23,44,48,198],[1,3,5,8,28,42,50,199],[
1,2,4,8,22,33,36,200],[1,4,6,14,22,29,201],[1,4,5,30,43,48,202],[1,2,3,6,7,21,
24,39,45,46,203],[1,4,5,7,43,48,54,204],[1,2,3,5,15,45,52,205],[1,3,4,5,7,32,
40,48,54,206],[1,3,4,8,36,40,43,207],[1,4,5,6,14,23,48,208],[1,6,7,8,19,25,55,
209],[1,3,5,7,8,20,21,32,42,46,50,210],[1,2,7,27,38,41,211],[1,4,16,29,30,
212],[1,4,7,8,30,36,54,213],[1,3,6,7,21,37,49,214],[1,2,4,29,44,215],[1,3,4,
16,40,43,216],[1,2,3,5,6,7,24,31,32,39,52,217],[1,3,4,29,40,43,218],[1,3,4,16,
40,43,219],[1,4,5,8,36,43,48,220],[1,4,5,16,43,48,221],[1,3,4,7,23,40,54,
222],[1,4,7,43,54,223],[1,3,7,26,46,49,224],[1,3,5,6,7,8,19,24,31,32,50,225],[
1,11,12,226],[1,9,10,227],[1,10,11,228],[1,11,229],[1,9,10,11,230],[1,6,7,9,
25,65,69,231],[1,4,9,29,64,232],[1,4,7,9,47,64,65,233],[1,2,7,9,41,59,65,
234],[1,6,9,55,68,69,235],[1,6,7,9,37,65,68,69,236],[1,2,6,7,9,39,59,65,68,
237],[1,2,9,35,59,238],[1,2,7,9,38,59,65,239],[1,8,12,28,240],[1,6,9,51,69,
241],[1,4,6,9,14,64,69,242],[1,4,9,23,64,243],[1,2,11,15,244],[1,2,3,10,45,57,
62,245],[1,4,12,16,246],[1,3,8,12,42,66,71,247],[1,4,5,9,48,63,64,248],[1,2,7,
10,41,57,70,249],[1,2,9,27,59,250],[1,8,11,28,251],[1,2,4,9,34,59,64,252],[1,
4,6,7,9,13,64,65,68,253],[1,2,6,9,53,59,68,254],[1,4,9,22,64,255],[1,8,12,28,
66,256],[1,2,9,15,257],[1,2,6,7,10,39,57,70,72,258],[1,2,9,35,59,259],[1,2,6,
9,53,59,69,260],[1,2,9,15,59,261],[1,3,7,10,46,61,62,70,262],[1,6,12,55,263],[
1,4,11,22,264],[1,3,5,7,10,32,62,67,70,265],[1,2,10,15,266],[1,3,7,10,21,61,
62,70,267],[1,3,5,7,10,32,60,61,70,268],[1,7,12,26,269],[1,3,5,8,12,50,56,66,
71,270],[1,2,10,15,57,271],[1,4,10,22,272],[1,3,6,10,24,61,62,72,273],[1,2,3,
5,10,52,57,61,67,274],[1,5,6,10,31,60,67,72,275],[1,2,3,5,10,52,57,60,62,
276],[1,2,4,9,44,59,64,277],[1,2,3,10,45,57,61,278],[1,5,6,9,31,63,69,279],[1,
2,3,4,30,40,43,44,161,162,170,185,186,280],[1,2,4,6,7,13,35,38,39,41,44,47,53,
109,112,125,126,143,281],[1,2,4,6,7,13,27,35,38,39,44,53,91,115,125,131,147,
282],[1,4,8,16,18,22,28,36,73,95,283],[1,2,4,6,7,13,15,34,38,39,41,44,47,53,
90,123,125,126,139,284],[1,2,4,7,22,30,34,38,44,54,89,129,157,161,285],[1,2,4,
7,8,17,18,20,27,33,34,35,36,38,47,79,87,108,122,169,179,191,286],[1,2,4,6,7,
13,27,35,38,39,44,53,91,114,115,125,143,287],[1,2,4,8,16,17,18,22,28,33,34,36,
73,79,93,95,96,120,146,200,288],[1,2,4,6,7,8,13,17,18,19,27,33,34,36,38,53,79,
107,108,145,168,177,191,289],[1,3,4,6,8,14,23,30,36,40,43,98,99,118,144,184,
189,190,290],[1,2,4,6,7,13,27,29,38,39,44,53,125,128,215,291],[1,2,4,6,7,13,
27,38,39,41,44,47,53,110,125,126,147,211,292],[1,2,3,4,29,40,43,44,141,155,
170,215,218,293],[1,2,4,7,8,17,27,35,36,38,41,44,47,76,91,126,179,191,294],[1,
2,4,6,7,13,25,26,37,38,39,44,53,54,81,101,111,125,157,295],[1,2,4,8,16,27,33,
44,128,130,145,147,296],[1,2,4,6,7,8,13,17,27,36,38,39,44,53,76,125,128,177,
191,297],[1,2,4,6,7,8,13,17,18,27,33,34,35,38,39,44,53,91,92,116,125,156,177,
179,298],[1,2,3,4,7,21,38,40,43,44,54,85,157,170,178,223,299],[1,2,3,4,7,38,
40,43,44,46,54,113,137,140,157,170,300],[1,2,4,6,14,22,29,34,44,53,129,142,
201,215,301],[1,2,4,6,7,8,13,16,18,19,27,33,34,35,38,53,87,96,107,116,122,156,
168,302],[1,3,4,7,8,21,29,36,40,42,43,54,85,86,137,155,182,197,218,303],[1,3,
4,7,8,23,30,36,40,43,54,80,98,137,144,159,162,183,304],[1,2,4,15,29,34,35,44,
90,143,215,305],[1,2,4,8,16,27,33,35,44,87,91,130,143,147,306],[1,2,4,7,8,16,
20,33,38,41,44,47,54,126,130,134,157,165,169,307],[1,2,4,6,7,13,14,25,37,38,
39,44,53,55,81,100,125,135,142,308],[1,2,4,5,23,29,44,48,106,151,160,198,215,
309],[1,2,4,8,16,30,33,44,127,130,149,161,310],[1,2,3,5,6,7,24,31,32,35,39,49,
52,114,194,217,311],[1,3,4,5,7,8,29,32,36,40,43,48,50,54,94,151,182,204,206,
218,220,312],[1,3,4,5,7,8,21,30,36,40,43,48,50,54,85,94,152,176,183,204,207,
313],[1,2,4,6,7,13,27,30,38,39,44,53,125,128,161,314],[1,2,4,8,15,17,29,30,33,
74,127,167,315],[1,2,3,4,22,34,40,43,44,82,129,158,170,180,316],[1,2,3,4,30,
40,43,44,161,170,171,176,187,317],[1,2,3,6,7,21,24,27,39,45,46,51,131,193,203,
318],[1,2,4,7,29,38,41,44,47,102,126,215,319],[1,2,3,4,5,8,17,23,36,40,43,44,
48,50,76,94,98,118,170,198,220,320],[1,2,4,8,17,18,27,33,34,35,44,87,91,92,
128,145,321],[1,4,8,16,18,22,23,36,43,73,166,180,322],[1,4,8,16,18,22,36,43,
73,180,323],[1,3,4,8,16,18,22,23,36,40,73,82,98,136,166,324],[1,2,3,4,8,17,36,
40,42,43,44,76,80,86,170,197,207,325],[1,2,4,7,8,17,18,27,33,34,38,41,44,47,
92,116,126,128,191,326],[1,3,4,7,8,29,36,40,43,54,80,140,141,178,182,197,218,
327],[1,3,4,5,8,16,18,22,23,36,40,43,48,50,73,88,94,118,136,158,221,328],[1,3,
4,8,16,18,22,36,40,43,73,82,180,207,219,329],[1,2,4,7,27,35,38,41,44,47,54,91,
112,126,157,211,330],[1,2,4,7,27,35,38,41,44,47,126,128,143,331],[1,2,4,7,27,
38,41,44,47,126,128,147,332],[1,2,3,5,6,7,15,21,24,31,32,39,41,45,46,52,123,
188,203,205,217,333],[1,4,6,7,8,13,14,16,18,22,29,30,36,54,73,89,99,133,182,
201,212,334],[1,2,4,7,30,38,41,44,47,103,126,161,335],[1,2,4,27,35,44,91,128,
143,336],[1,2,4,22,34,43,44,129,180,337],[1,2,4,5,22,23,34,44,48,88,129,166,
181,198,338],[1,4,5,8,16,18,22,36,43,48,73,180,181,220,221,339],[1,2,4,22,34,
35,44,129,143,340],[1,2,4,7,27,38,44,54,128,157,341],[1,4,5,7,8,23,29,36,43,
48,54,106,118,141,159,182,204,220,342],[1,3,4,7,8,23,30,36,40,43,54,118,159,
178,183,187,189,207,343],[1,2,4,7,8,16,18,20,27,33,34,38,47,96,108,116,145,
169,344],[1,2,4,6,8,14,17,18,27,33,34,44,53,92,107,142,147,177,345],[1,4,6,7,
8,13,14,16,30,36,54,99,120,133,149,183,346],[1,4,7,8,16,29,30,36,47,54,120,