|
#############################################################################
##
#W ctomisc1.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables of miscellaneous
## CAS tables (alphabetical order, up to 'e')
##
#H ctbllib history
#H ---------------
#H $Log: ctomisc1.tbl,v $
#H Revision 4.39 2012/06/20 14:45:32 gap
#H added tables and fusions, as documented in ctbldiff.dat
#H TB
#H
#H Revision 4.38 2012/04/23 16:16:14 gap
#H next step of consolidation:
#H
#H - removed a few unnecessary duplicate tables,
#H and changed some related fusions, names of maxes, table constructions
#H - make sure that duplicate tables arise only via `ConstructPermuted'
#H constructions
#H - added some relative names
#H - added fusions A11.2 -> A12.2, L2(11).2 -> A12.2, D8x2F4(2)'.2 -> B,
#H L2(41) -> M, (A5xA12):2 -> A17,
#H - added maxes of A12.2, L6(2), 2.M22.2
#H - added table of QD16.2,
#H - fixed the syntax of two `ALN' calls
#H TB
#H
#H Revision 4.37 2012/01/30 08:31:57 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.36 2011/09/28 13:23:58 gap
#H - removed revision entry and SET_TABLEFILENAME call,
#H - added fusions 2.2^8.f20 -> 2.[2^9]:5:4, 2^2.2^8:s3 -> 2^2.[2^9]:S3,
#H c3d2 -> Co3
#H TB
#H
#H Revision 4.35 2010/12/01 17:47:57 gap
#H renamed "Sym(4)" to "Symm(4)";
#H note that the table constructed with `CharacterTable( "Symmetric", 4 )'
#H gets the identifier `"Sym(4)"', and this table is sorted differently
#H TB
#H
#H Revision 4.34 2010/05/05 13:20:07 gap
#H - added many class fusions,
#H - changed several class fusions according to consistency conditions,
#H after systematic checks of consistency
#H - with Brauer tables w.r.t. the restriction of characters,
#H - of subgroup fusions with the corresponding subgroup fusions between
#H proper factors where the factor fusions are stored,
#H - of subgroup fusions from maximal subgroups with subgroup fusions of
#H extensions inside automorphic extensions
#H
#H TB
#H
#H Revision 4.33 2010/01/19 17:05:34 gap
#H added several tables of maximal subgroups of central extensions of
#H simple groups (many of them were contributed by S. Dany)
#H TB
#H
#H Revision 4.32 2009/07/29 14:00:41 gap
#H added two tables of maxes of 2F4(2)
#H TB
#H
#H Revision 4.31 2009/03/02 16:44:38 gap
#H moved the tables of A15, A16 from ctomisc1.tbl to ctoalter.tbl
#H TB
#H
#H Revision 4.30 2007/07/03 08:27:32 gap
#H renamed table `"d60"' to `"D120"'
#H (the name goes back to CAS times; it does not fit to the programmatic use
#H of names such as `"C<n>"', `"D<n>"', `"S<n>"' etc.)
#H TB
#H
#H Revision 4.29 2004/02/17 17:33:14 gap
#H added certain tables of isoclinic groups of ATLAS groups
#H (which are available in atlasrep),
#H added missing maxes of U5(2)
#H TB
#H
#H Revision 4.28 2004/01/20 10:26:13 gap
#H added several names of the forms `<name>C<class>', `<name>N<class>'
#H TB
#H
#H Revision 4.27 2003/06/20 15:03:09 gap
#H added several fusions
#H TB
#H
#H Revision 4.26 2003/06/10 16:19:09 gap
#H store in several fusions between character tables to which subgroup number
#H in the table of marks of the supergroup the subgroup belongs
#H (in order to make the commutative diagrams testable)
#H TB
#H
#H Revision 4.25 2003/05/15 17:38:17 gap
#H next step towards the closer connection to the library of tables of marks:
#H added fusions tbl -> tom, adjusted fusions between character tables
#H in order to make the diagrams commute, adjusted orderings of maxes
#H TB
#H
#H Revision 4.24 2003/03/07 15:53:40 gap
#H added tables of `Isoclinic(2.A5.2)' and `L2(125)',
#H and many `tomidentifier' components (still several are missing)
#H TB
#H
#H Revision 4.23 2003/01/24 15:57:34 gap
#H replaced several fusions by ones that are compatible with Brauer tables
#H TB
#H
#H Revision 4.22 2003/01/21 16:25:32 gap
#H further standardizations of `InfoText' strings,
#H added and corrected `Maxes' infos,
#H added some fusions
#H TB
#H
#H Revision 4.21 2003/01/14 17:28:50 gap
#H changed `InfoText' values (for a better programmatic access)
#H and replaced `ConstructDirectProduct' by `ConstructPermuted' where
#H there is only one factor (again better programmatic handling)
#H TB
#H
#H Revision 4.20 2002/10/22 12:44:11 gap
#H added 215 factor fusions for cases <tbl> -> <tbl> / O_{<p>}(<tbl>)
#H (they make it possible to construct <p>-modular Brauer tables
#H for tables of the type [p^n].<fact> where the <p>-modular Brauer table
#H of <fact> is in the library)
#H TB
#H
#H Revision 4.19 2002/09/23 15:00:11 gap
#H changed 2x3.A7.2 into a ``construction'' table,
#H corrected fusion A11Syl2 -> A11,
#H changed the name `c2m24' to `M24C2B'
#H TB
#H
#H Revision 4.18 2002/09/18 15:22:01 gap
#H changed the `text' components of many fusions,
#H in order to use them as a status information (for evaluation)
#H TB
#H
#H Revision 4.17 2002/08/21 13:53:50 gap
#H removed names of the form `c1m<n>', `c2m<n>', `c3m<n>'
#H TB
#H
#H Revision 4.16 2002/07/26 16:58:05 gap
#H added more missing table automorphisms,
#H removed a few inconvenient names such as `c2' for `Co2'
#H (note that `c2' is used for the cyclic group of order 2,
#H which occurs in direct product constructions ...)
#H TB
#H
#H Revision 4.15 2002/07/12 06:45:55 gap
#H further tidying up: removed `irredinfo' stuff, rearranged constructions
#H TB
#H
#H Revision 4.14 2001/05/04 16:48:49 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.14 of ctbllib coincides with Rev. 4.13 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctomisc1.tbl,v
#H Working file: ctomisc1.tbl
#H head: 4.13
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.13.0.6
#H GAP4R2PRE2: 4.13.0.4
#H GAP4R2PRE1: 4.13.0.2
#H GAP4R1: 4.10.0.2
#H keyword substitution: kv
#H total revisions: 15; selected revisions: 15
#H description:
#H ----------------------------
#H revision 4.13
#H date: 2000/01/06 14:47:53; author: gap; state: Exp; lines: +2 -2174
#H removed tables with name `2.cenc1'
#H (a relic from old CAS times that is inconsistent;
#H time to get rid of it, before someone finds it interesting ...)
#H
#H TB
#H ----------------------------
#H revision 4.12
#H date: 1999/10/04 15:57:15; author: gap; state: Exp; lines: +6 -2
#H added and corrected several fusions from character tables
#H to their tables of marks,
#H unified two instances of the table of (A6xA6):2^2,
#H corrected the name of the table of marks of 2F4(2).
#H
#H TB
#H ----------------------------
#H revision 4.11
#H date: 1999/09/14 13:28:19; author: gap; state: Exp; lines: +2 -484
#H really removed corrupted tables (had only been commented out before)
#H
#H TB
#H ----------------------------
#H revision 4.10
#H date: 1999/07/21 11:11:30; author: gap; state: Exp; lines: +12 -20
#H renamed `a15' and `a16' to `A15' and `A16', respectively
#H (just for unified treatment of tables via names)
#H
#H TB
#H ----------------------------
#H revision 4.9
#H date: 1999/07/19 16:00:31; author: gap; state: Exp; lines: +20 -12
#H added fusion A16 -> S16
#H
#H TB
#H ----------------------------
#H revision 4.8
#H date: 1999/07/16 10:53:37; author: gap; state: Exp; lines: +58 -45
#H changed `classtext' components of tables of alternating and symmetric
#H groups to `ClassParameters' values (same format as computed from
#H generic tables)
#H
#H TB
#H ----------------------------
#H revision 4.7
#H date: 1999/07/14 15:18:38; author: gap; state: Exp; lines: +483 -483
#H removed incomplete CAS table of `D2MJ4'
#H
#H TB
#H ----------------------------
#H revision 4.6
#H date: 1999/07/14 11:39:40; author: gap; state: Exp; lines: +4 -3
#H cosmetic changes for the release ...
#H
#H TB
#H ----------------------------
#H revision 4.5
#H date: 1999/06/11 14:35:34; author: gap; state: Exp; lines: +17 -2
#H added fusions A15 -> S15, A16 -> S16
#H
#H TB
#H ----------------------------
#H revision 4.4
#H date: 1997/11/25 15:45:25; author: gap; state: Exp; lines: +7 -5
#H first attempt to link the library of character tables and the
#H library of tables of marks
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1997/08/05 15:03:47; author: gap; state: Exp; lines: +5 -5
#H removed unnecessary (and ugly) `return' statements in the calls of
#H `ConstructPermuted' and `ConstructSubdirect'
#H ----------------------------
#H revision 4.2
#H date: 1997/08/01 15:43:06; author: gap; state: Exp; lines: +2 -40
#H added table of 2^7:S6(2)
#H (subgroup of Fi22.2; stored using Clifford matrices);
#H added tables of A14 mod p for p = 2, 11, 13
#H (moved ordinary table from `ctomisc1.tbl' to `ctoalter.tbl' for that);
#H added maxes of 2.M12;
#H updated the ``table of contents''.
#H ----------------------------
#H revision 4.1
#H date: 1997/07/17 15:43:37; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.2
#H date: 1997/04/04 12:20:17; author: sam; state: Exp; lines: +59 -96
#H added 'ConstructPermuted', 'ConstructSubdirect',
#H changed table constructions involving 'CharTable', 'RecFields'
#H 'Sort...' up to now
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 16:00:19; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("2..11.m23",
[
"origin: CAS library,\n",
"names:= 2..11.m23\n",
" order: 2^18.3^2.5.7.11.23 = 20,891,566,080\n",
" number of classes: 56\n",
" source:gabrysch, thomas\n",
" ein computerprogramm zur berechnung\n",
" von charakterentafeln und einige anwendungen,\n",
" diplomarbeit, univ. of bielefeld [1977]\n",
" comments:non-split extension of m23 with an\n",
" elementar-abelian group of order 2..11.m23 \n",
" test: 1. o.r., sym 2 decompose correctly \n",
"2nd power map determined by subgroup fusion into Fi23\n",
"tests: 1.o.r., pow[2,3,5,7,11,23]"
],
[20891566080,908328960,82575360,11796480,344064,49152,43008,6144,12288,12288,
512,512,256,128,128,128,32,32,32,32,5760,1152,576,576,1152,5760,96,96,96,96,
48,48,120,40,40,120,30,30,30,30,56,28,56,56,28,56,28,28,28,28,22,22,22,22,23,
23],
[,[1,1,1,1,1,1,3,3,4,4,6,6,5,9,9,10,12,11,16,16,21,21,21,21,21,21,21,21,25,25,
23,23,33,33,33,33,37,37,39,39,41,41,41,44,44,44,41,43,44,46,53,53,51,51,55,
56],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,1,2,3,4,4,4,5,6,9,10,
7,8,33,34,35,36,33,36,33,36,44,45,46,41,42,43,49,50,47,48,51,52,53,54,55,
56],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,19,21,22,23,24,25,26,27,
28,29,30,31,32,1,2,3,4,21,26,21,26,44,45,46,41,42,43,49,50,47,48,51,52,53,54,
56,55],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,19,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,39,40,37,38,1,2,3,1,2,3,5,7,5,7,53,54,51,52,56,
55],,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,39,40,37,38,41,42,43,44,45,46,47,48,49,50,1,2,1,
2,56,55],,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,19,21,22,
23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,1,1]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[22,22,22,22,6,6,6,6,6,6,2,2,2,2,2,2,0,0,
0,0,4,4,4,4,4,4,0,0,0,0,0,0,2,2,2,2,-1,-1,-1,-1,1,1,1,1,1,1,-1,-1,-1,-1,0,0,0,
0,-1,-1],[230,230,230,230,22,22,22,22,22,22,2,2,2,2,2,2,0,0,0,0,5,5,5,5,5,5,1,
1,1,1,1,1,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,1,1,1,1,-1,-1,-1,-1,0,0],[231,231,
231,231,7,7,7,7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,6,6,6,6,6,6,-2,-2,-2,-2,-2,
-2,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1],[45,45,45,45,-3,-3,-3,-3,
-3,-3,1,1,1,1,1,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,
E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,-E(7)^3-E(7)^5-E(7)^6
,-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,1,1,1,1,-1,
-1],
[GALOIS,[5,3]],[231,231,231,231,7,7,7,7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-3,
-3,-3,-3,-3,-3,1,1,1,1,1,1,1,1,1,1,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,
-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)-E(15)^2-E(15)^4-E(15)^8,
-E(15)-E(15)^2-E(15)^4-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1],
[GALOIS,[7,7]],[253,253,253,253,13,13,13,13,13,13,1,1,1,1,1,1,-1,-1,-1,-1,1,1,
1,1,1,1,1,1,1,1,1,1,-2,-2,-2,-2,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,0,0,0,0,0,0],[
770,770,770,770,-14,-14,-14,-14,-14,-14,-2,-2,-2,-2,-2,-2,0,0,0,0,5,5,5,5,5,5,
1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(23)+E(23)^2+E(23)^3
+E(23)^4+E(23)^6+E(23)^8+E(23)^9+E(23)^12+E(23)^13+E(23)^16+E(23)^18,
E(23)^5+E(23)^7+E(23)^10+E(23)^11+E(23)^14+E(23)^15+E(23)^17+E(23)^19+E(23)^20
+E(23)^21+E(23)^22],
[GALOIS,[10,5]],[896,896,896,896,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,-4,
-4,-4,0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,E(11)+E(11)^3+E(11)^4
+E(11)^5+E(11)^9,E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9,
E(11)^2+E(11)^6+E(11)^7+E(11)^8+E(11)^10,E(11)^2+E(11)^6+E(11)^7+E(11)^8
+E(11)^10,-1,-1],
[GALOIS,[12,2]],[990,990,990,990,-18,-18,-18,-18,-18,-18,2,2,2,2,2,2,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,
E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,1,1],
[GALOIS,[14,3]],[1035,1035,1035,1035,27,27,27,27,27,27,-1,-1,-1,-1,-1,-1,1,1,
1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,
1,1,0,0],[2024,2024,2024,2024,8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,
0],[1288,-56,-56,8,56,-8,0,0,-8,8,4,4,-4,0,0,0,-2,2,0,0,10,-2,-2,2,2,-10,2,-2,
-2,2,0,0,3,-1,-1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,0,0],[57960,-2520,
-2520,360,-168,24,0,0,24,-24,4,4,-4,0,0,0,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,0,0],[12880,-560,-560,80,112,-16,
0,0,-16,16,8,8,-8,0,0,0,0,0,0,0,10,-2,-2,2,2,-10,-2,2,2,-2,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,-1,1,-1,1,0,0],[14168,-616,-616,88,168,-24,0,0,-24,24,
-4,-4,4,0,0,0,2,-2,0,0,20,-4,-4,4,4,-20,0,0,0,0,0,0,3,-1,-1,3,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[70840,-3080,-3080,440,-56,8,0,0,8,-8,-4,-4,4,0,0,0,
-2,2,0,0,10,-2,-2,2,2,-10,-2,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[56672,-2464,-2464,352,224,-32,0,0,-32,32,0,0,0,0,0,0,0,0,0,0,-10,
2,2,-2,-2,10,2,-2,-2,2,0,0,-3,1,1,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[253,-99,29,-3,29,-3,-15,1,5,-3,-3,5,1,1,-3,1,1,1,-1,-1,10,0,2,0,-6,0,2,0,
2,0,0,-2,3,1,-1,-3,0,0,0,0,1,-1,1,1,-1,1,1,-1,1,-1,0,0,0,0,0,0],[1518,-594,
174,-18,62,-2,-34,-2,14,-2,2,2,2,-2,-2,2,0,0,0,0,15,9,3,-3,-9,-15,-1,1,-1,1,
-1,1,3,1,-1,-3,0,0,0,0,-1,1,-1,-1,1,-1,-1,1,-1,1,0,0,0,0,0,0],[3542,-1386,406,
-42,70,6,-42,-10,22,6,2,2,2,-2,-2,2,0,0,0,0,5,9,1,-3,-3,-15,1,-3,1,-3,3,-1,-3,
-1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[506,154,26,-6,42,10,14,-2,2,
-6,-2,6,2,-2,2,-2,0,0,0,0,11,1,-1,-3,3,9,3,1,-1,-3,-1,1,1,-1,1,-1,1,-1,1,-1,2,
0,-2,2,0,-2,0,0,0,0,0,0,0,0,0,0],[3542,1078,182,-42,70,-26,42,-6,14,-10,-6,2,
-2,-2,2,2,0,0,0,0,14,-2,2,-6,6,6,-2,-2,2,2,0,0,2,-2,2,-2,-1,1,-1,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[3795,-1485,435,-45,-13,19,-1,-17,11,19,3,-5,-1,-1,3,
-1,-1,-1,1,1,15,9,3,-3,-9,-15,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,1,-1,1,1,-1,1,1,
-1,1,-1,0,0,0,0,0,0],[26565,-10395,3045,-315,-91,5,49,1,-19,5,5,-3,1,-3,1,1,1,
1,-1,-1,15,-9,3,3,-9,15,-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[30360,-11880,3480,-360,-8,-8,8,8,-8,-8,0,0,0,0,0,0,0,0,0,0,-15,9,
-3,-3,9,-15,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,
0],[22770,-8910,2610,-270,162,-30,-78,18,18,-30,-2,-2,-2,2,2,-2,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,-1,-1,1,-1,1,-1,1,-1,0,0,0,0,0,0],[
7084,2156,364,-84,140,76,28,-4,-4,-20,4,4,4,0,0,-4,0,0,0,0,19,5,-5,-3,3,21,-1,
1,-1,1,1,-1,-1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[10120,3080,
520,-120,168,40,56,-8,8,-24,0,0,0,0,0,0,0,0,0,0,-5,-7,7,-3,3,-15,3,1,-1,-3,-1,
1,0,0,0,0,0,0,0,0,-2,0,2,-2,0,2,0,0,0,0,0,0,0,0,0,0],[10626,3234,546,-126,-14,
-46,14,-2,10,2,6,-2,2,2,-2,-2,0,0,0,0,6,-6,6,-6,6,-6,-2,2,-2,2,2,-2,1,-1,1,-1,
1,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[14168,4312,728,-168,56,-72,56,-8,
24,-8,0,0,0,0,0,0,0,0,0,0,11,1,-1,-3,3,9,-1,-3,3,1,-1,1,-2,2,-2,2,1,-1,1,-1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[17710,5390,910,-210,-98,62,-70,10,-26,14,2,-6,
-2,2,-2,2,0,0,0,0,25,-1,1,-9,9,15,1,-1,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0],[28336,8624,1456,-336,112,112,0,0,-16,-16,0,0,0,0,0,0,0,
0,0,0,-14,2,-2,6,-6,-6,-2,-2,2,2,0,0,1,-1,1,-1,1,-1,1,-1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0],[32384,9856,1664,-384,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-16,-8,8,0,
0,-24,0,0,0,0,0,0,-1,1,-1,1,-1,1,-1,1,2,0,-2,2,0,-2,0,0,0,0,0,0,0,0,0,0],[
35420,10780,1820,-420,28,-36,28,-4,12,-4,-4,-4,-4,0,0,4,0,0,0,0,5,7,-7,3,-3,
15,1,3,-3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3795,
-1485,435,-45,83,-13,-41,7,11,-13,-5,3,-1,3,-1,-1,-1,-1,1,1,15,-9,3,3,-9,15,
-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,0,1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0],[3542,
-1386,406,-42,70,6,-42,-10,22,6,2,2,2,-2,-2,2,0,0,0,0,5,-9,1,3,-3,15,1,3,1,3,
-3,-1,-3,-1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[8855,-3465,1015,
-105,7,39,-21,-37,31,39,-5,3,-1,3,-1,-1,1,1,-1,-1,-10,0,-2,0,6,0,-2,0,-2,0,0,
2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5313,-2079,609,-63,49,17,
-35,-19,25,17,5,-3,1,-3,1,1,-1,-1,1,1,-15,-9,-3,3,9,15,1,-1,1,-1,1,-1,3,1,-1,
-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[20608,-896,-896,128,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,-20,4,4,-4,-4,20,0,0,0,0,0,0,3,-1,-1,3,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9,-E(11)-E(11)^3-E(11)^4-E(11)^5
-E(11)^9,E(11)^2+E(11)^6+E(11)^7+E(11)^8+E(11)^10,-E(11)^2-E(11)^6-E(11)^7
-E(11)^8-E(11)^10,0,0],
[GALOIS,[45,2]],[12880,-560,-560,80,-112,16,0,0,16,-16,0,0,0,0,0,0,0,0,
-2*E(8)-2*E(8)^3,2*E(8)+2*E(8)^3,10,-2,-2,2,2,-10,2,-2,-2,2,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,-1,1,-1,1,0,0],
[GALOIS,[47,5]],[2530,-990,290,-30,-46,18,18,-14,2,18,-2,-2,-2,2,2,-2,0,0,0,0,
10,0,2,0,-6,0,2,0,2,0,0,-2,0,0,0,0,0,0,0,0,E(7)+E(7)^2+E(7)^4,
-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
-E(7)-E(7)^2-E(7)^4,E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0],
[GALOIS,[49,3]],[11385,-4455,1305,-135,-87,9,45,-3,-15,9,-3,5,1,1,-3,1,-1,-1,
1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(7)^3+E(7)^5+E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4,-E(7)^3-E(7)^5-E(7)^6,
E(7)^3+E(7)^5+E(7)^6,-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4,0,0,0,0,0,0],
[GALOIS,[51,3]],[22770,6930,1170,-270,-126,-30,-42,6,-6,18,-2,6,2,-2,2,-2,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2*E(7)^3+2*E(7)^5+2*E(7)^6,0,
-2*E(7)^3-2*E(7)^5-2*E(7)^6,2*E(7)+2*E(7)^2+2*E(7)^4,0,-2*E(7)-2*E(7)^2
-2*E(7)^4,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[53,3]],[10626,3234,546,-126,-14,-46,14,-2,10,2,6,-2,2,2,-2,-2,0,0,0,
0,-3,3,-3,3,-3,3,1,-1,1,-1,-1,1,1,-1,1,-1,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,
E(15)^7+E(15)^11+E(15)^13+E(15)^14,-E(15)-E(15)^2-E(15)^4-E(15)^8,
E(15)+E(15)^2+E(15)^4+E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[55,7]]],
[(55,56),(51,53)(52,54),(41,44)(42,45)(43,46)(47,49)(48,50),(37,39)(38,40),
(19,20)]);
ALF("2..11.m23","Fi23",[1,2,3,4,3,4,9,11,10,12,12,10,11,31,30,32,31,32,63,
64,7,18,24,26,25,20,24,26,49,53,51,55,13,38,39,40,62,91,62,91,29,59,60,29,
59,60,60,88,60,88,41,78,41,79,80,81],[
"fusion is unique up to table automorphisms,\n",
"the representative is equal to the fusion map on the CAS table"
]);
ALF("2..11.m23","M23",[1,1,1,1,2,2,2,2,2,2,4,4,4,4,4,4,9,9,9,9,3,3,3,3,3,
3,6,6,6,6,6,6,5,5,5,5,14,14,15,15,7,7,7,8,8,8,12,12,13,13,10,10,11,11,16,
17]);
ALN("2..11.m23",["f23m6"]);
MOT("2.2^8.f20",
[
"origin: CAS library,\n",
"maximal subgroup of 2F4(2)',\n",
" centralizer of 2a-element\n",
" structure:= 2*[2^8]:f20 [f20: frobenius group of order 20]\n",
" 1st & 2nd orthogonality relations are satisfied\n",
" symmetric squares decompose properly\n",
" created August 1984,\n",
" test: 1. o.r., sym 2 decompose correctly,\n",
"tests: 1.o.r., pow[2,5]"
],
[10240,10240,1024,128,512,128,128,64,32,32,128,64,64,32,32,32,10,32,16,32,16,
16,16,10,16,16,16,16],
[,[1,1,1,1,1,1,1,5,7,7,2,3,5,5,7,7,17,11,12,11,12,13,13,17,18,20,20,18],,,[1,
2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,1,18,19,20,21,22,23,2,28,27,26,25]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,
-1,-1,1,1,1,1,-1,-1,1,1,-1,1,-1,1,1,1,-1,-1,-1,-1],[1,1,1,-1,1,1,-1,1,-E(4),
E(4),1,-1,1,-1,-E(4),E(4),1,-1,-E(4),-1,E(4),-1,-1,1,E(4),-E(4),-E(4),E(4)],
[TENSOR,[2,3]],[4,4,4,0,4,4,0,4,0,0,4,0,4,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0],[5,
5,5,1,5,-3,1,1,1,1,-3,1,1,1,1,1,0,1,1,1,1,-1,-1,0,-1,-1,-1,-1],
[TENSOR,[6,2]],
[TENSOR,[6,3]],
[TENSOR,[6,4]],[10,10,10,2,10,2,2,-2,0,0,2,2,-2,2,0,0,0,-2,0,-2,0,0,0,0,0,0,0,
0],
[TENSOR,[10,3]],[10,10,-6,-2,2,2,-2,-2,0,0,-2,-2,2,2,0,0,0,0,0,0,0,0,0,0,
E(8)+E(8)^3,-E(8)-E(8)^3,E(8)+E(8)^3,-E(8)-E(8)^3],
[TENSOR,[12,2]],[10,10,-6,0,2,2,0,2,1-E(4),1+E(4),-2,0,-2,0,1-E(4),1+E(4),0,
2*E(4),-1+E(4),-2*E(4),-1-E(4),0,0,0,0,0,0,0],
[TENSOR,[14,4]],
[TENSOR,[12,3]],
[TENSOR,[12,4]],
[TENSOR,[14,2]],
[TENSOR,[14,3]],[16,-16,0,-4,0,0,4,0,-2,-2,0,0,0,0,2,2,1,0,0,0,0,0,0,-1,0,0,0,
0],
[TENSOR,[20,2]],
[TENSOR,[20,3]],
[TENSOR,[20,4]],[20,20,-12,0,4,-4,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,2,-2,0,0,0,0,
0],
[TENSOR,[24,3]],[40,40,8,4,-8,0,4,0,0,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[26,3]],[64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,
0]],
[(25,28)(26,27),(22,23),( 9,10)(15,16)(18,20)(19,21)(25,26)(27,28),( 9,10)
(15,16)(18,20)(19,21)(25,27)(26,28),( 9,15)(10,16)]);
ARC("2.2^8.f20","tomfusion",rec(name:="2.[2^8]:5:4",map:=[1,2,3,6,4,5,7,
26,36,36,18,23,24,35,37,37,38,108,115,108,115,89,90,119,243,243,243,243],
text:=[
"fusion map is unique up to table autom."
]));
ALF("2.2^8.f20","2F4(2)'",[1,2,2,2,3,3,3,5,5,5,6,6,7,7,7,7,8,10,10,11,11,
12,13,14,19,20,22,21],[
"fusion is unique up to table automorphisms,\n",
"the representative is equal to the fusion map on the CAS table"
]);
ALF("2.2^8.f20","2.[2^9]:5:4",[1,2,3,19,4,7,20,11,36,37,8,24,12,26,38,39,
15,28,42,27,43,31,31,16,47,46,46,47]);
ALN("2.2^8.f20",["2F4(2)'C2a","2F4(2)'N2a"]);
MOT("2^10:(2^5:s5)",
[
"origin: CAS library,\n",
"One intersection between a Co2M8 and a Co2M2, has index 3 in Co2M8.\n",
"Computed using Clifford matrices and lots of information from Co2M2.\n",
"Test: 1.OR, JAMES, JAMES,n=3,\n",
"and restricted characters from Co2M2 (and Co2) decompose properly.\n",
"tests: 1.o.r., pow[2,3,5]"
],
[3932160,786432,393216,98304,98304,32768,32768,49152,122880,40960,24576,12288,
256,256,256,256,128,128,128,128,128,128,4096,4096,4096,4096,2048,2048,2048,
2048,2048,2048,2048,2048,1024,1024,1024,512,512,512,512,128,128,128,128,64,64,
48,48,48,48,192,192,192,192,96,96,96,96,48,6144,6144,6144,6144,2048,2048,2048,
2048,512,512,512,512,64,64,32,1024,1024,512,512,512,128,16384,16384,16384,
16384,8192,8192,8192,8192,4096,2048,2048,1024,1024,512,512,512,512,256,256,
128,128,20,20,40,40,20,20480,4096,2048,1280,49152,49152,24576,4096,4096,4096,
3072,3072,2048,1536,12288,12288,12288,12288,4096,4096,4096,4096,1536,1536,
1024,1024,1024,1024,1024,1024,512,96,96,96,96,48,48,256,256,256,256,64,64,64,
32,96,96,96,96,48,48,512,512,512,512,256,256,256,256,128,1024,1024,512,256,
256,256,2048,2048,1024,512,512,512,256,256,256,256,256,256,128,128],
[,[1,1,1,1,1,1,1,1,1,1,1,1,23,23,26,26,23,26,27,27,27,27,1,1,2,2,7,7,3,3,2,7,
1,7,3,7,7,7,7,7,7,23,25,24,26,34,32,52,55,53,54,52,52,52,52,52,52,52,52,52,1,
5,3,4,4,3,1,5,7,5,7,5,76,77,78,82,82,84,82,84,90,1,2,2,1,3,3,2,1,3,3,3,7,7,82,
82,82,82,88,88,87,90,105,106,105,105,105,1,2,3,10,1,1,1,1,3,3,5,5,3,5,1,1,3,3,
1,3,1,3,3,1,7,7,7,7,7,7,7,52,55,55,52,52,55,82,84,83,85,91,76,77,80,52,53,53,
52,52,53,82,82,82,82,90,90,90,90,83,82,82,82,87,83,87,1,2,3,4,7,5,6,10,82,83,
84,85,88,89],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,61,63,62,
64,1,5,4,3,8,12,9,2,11,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,
79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,
103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,
122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,122,125,
124,123,131,130,145,146,147,148,149,150,151,152,112,119,118,113,114,121,159,
160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,
179,180,181,182,183,184,185,186,187],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,
69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,
95,96,97,98,99,100,101,102,108,111,1,10,9,108,109,110,111,112,113,114,115,116,
117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,
136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,
155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,
174,175,176,177,178,179,180,181,182,183,184,185,186,187]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,
1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,1,1,1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,
1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],
[TENSOR,[2,3]],[4,4,4,4,4,4,4,4,4,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,
2,2,2,2,0,0,0,0,0,0,0,0,0,4,4,4,4,4,4,4,4,4,4,4,4,4,2,2,2,2,2,2,2,2,-1,-1,-1,
-1,-1,4,4,4,4,4,4,4,4,4,4,4,4,4,4,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,-1,-1,-1,
-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],
[TENSOR,[5,3]],
[TENSOR,[5,2]],
[TENSOR,[5,4]],[5,5,5,5,5,5,5,5,5,5,5,5,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,5,5,5,5,5,5,5,5,5,
5,5,5,5,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,-5,-5,-5,-5,-5,-5,-5,-5,-5,-5,-5,-5,
-5,-5,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1],
[TENSOR,[9,4]],
[TENSOR,[9,2]],
[TENSOR,[9,3]],[6,6,6,6,6,6,6,6,6,6,6,6,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,-2,-2,-2,
-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,-2,-2,-2,6,6,6,6,6,6,6,6,6,6,6,6,6,0,0,
0,0,0,0,0,0,-1,-1,1,1,1,-6,-6,-6,-6,-6,-6,-6,-6,-6,-6,-6,-6,-6,-6,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2],
[TENSOR,[13,2]],[15,15,15,15,15,15,15,15,15,15,15,15,1,1,1,1,1,1,1,1,1,1,3,3,
3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,3,3,3,
3,3,3,3,3,3,3,3,3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,-5,-5,-5,-5,3,3,3,3,3,3,3,3,3,3,3,3,3,
3,3,3,3,3,3,3,3,3,3,3,3,3,3,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,
-1,-1,-1,-1,-1,-1,-1,-1,-1,3,3,3,3,3,3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1],[15,15,15,15,15,15,15,15,15,15,15,15,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,
0,0,0,0,0,0,0,0,0,3,3,3,3,3,3,3,3,3,3,3,3,1,1,1,3,3,3,3,3,3,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,-5,-5,-5,-5,3,3,3,3,3,
3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,0,0,0,0,0,0,-1,-1,-1,-1,-1,1,1,1,
0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,3,3,3,3,3,3,3,3,-1,
-1,-1,-1,-1,-1],
[TENSOR,[15,4]],
[TENSOR,[16,4]],
[TENSOR,[16,3]],
[TENSOR,[15,3]],
[TENSOR,[15,2]],
[TENSOR,[16,2]],[30,30,30,30,30,30,30,30,30,30,30,30,0,0,0,0,0,0,0,0,0,0,-2,
-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,
-2,-2,-2,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,-10,-10,-10,-10,6,6,6,6,6,6,
6,6,6,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,2,2,2,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,-2,2,2,2,2,2,2],
[TENSOR,[23,2]],[2,2,2,-2,-2,2,2,-2,0,-2,0,0,2,-2,2,-2,0,0,-2,2,0,0,2,-2,-2,2,
2,-2,2,-2,0,-2,0,2,0,0,0,2,0,0,-2,0,0,0,0,0,0,0,0,0,0,2,-2,-2,2,-2,0,0,2,0,0,
0,0,0,0,0,0,0,0,0,0,0,2,-2,0,2,2,2,-2,-2,0,2,2,2,2,-2,-2,-2,-2,2,2,-2,0,0,0,0,
0,0,0,0,0,0,0,0,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,-2,2,-2,2,2,-2,0,0,2,
2,0,0,-2,-2,0,2,2,-2,-2,0,0,2,2,-2,-2,0,0,0,0,0,0,0,0,0,0,2,2,-2,-2,-2,0,0,2,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[25,2]],[8,8,8,-8,-8,8,8,-8,0,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,-2,2,-2,0,0,2,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,8,8,8,-8,-8,-8,-8,8,8,-8,0,0,0,0,0,0,0,0,0,
0,0,0,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,4,4,-4,4,-4,-4,4,0,0,-4,-4,0,0,4,
4,0,2,2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,4,4,0,0,-4,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[27,2]],[10,10,10,-10,-10,10,10,-10,0,-10,0,0,-2,2,-2,2,0,0,2,-2,0,0,
2,-2,-2,2,2,-2,2,-2,0,-2,0,2,0,0,0,2,0,0,-2,0,0,0,0,0,0,0,0,0,0,-2,2,2,-2,2,0,
0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,2,0,2,2,2,-2,-2,0,10,10,10,10,-10,-10,-10,
-10,10,10,-10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,
-2,2,-2,2,2,-2,0,0,2,2,0,0,-2,-2,0,2,2,-2,-2,0,0,2,2,-2,-2,0,0,0,0,0,0,0,0,0,
0,2,2,-2,-2,-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[29,2]],[12,12,12,-12,-12,12,12,-12,0,-12,0,0,0,0,0,0,0,0,0,0,0,0,-4,
4,4,-4,-4,4,-4,4,0,4,0,-4,0,0,0,-4,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,4,4,0,12,12,12,12,-12,-12,-12,-12,12,
12,-12,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[30,30,30,-30,-30,30,30,-30,0,
-30,0,0,2,-2,2,-2,0,0,-2,2,0,0,6,-6,-6,6,6,-6,6,-6,0,-6,0,6,0,0,0,6,0,0,-6,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,2,0,-2,-2,-2,2,
2,0,-2,-2,-2,-2,2,2,2,2,-2,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,6,-6,-6,6,-6,6,6,-6,0,0,6,6,0,0,-6,-6,0,0,0,0,0,0,0,-2,-2,2,2,0,0,
0,0,0,0,0,0,0,0,-2,-2,2,2,2,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[30,30,30,-30,-30,30,30,-30,0,-30,0,0,-2,2,-2,2,0,0,2,-2,0,0,-2,2,2,-2,-2,
2,-2,2,0,2,0,-2,0,0,0,-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,2,-2,0,6,6,6,-6,-6,0,-2,-2,-2,-2,2,2,2,2,-2,-2,2,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,-6,-6,6,-6,6,6,-6,0,0,6,6,0,0,
-6,-6,0,0,0,0,0,0,0,-2,-2,2,2,0,0,0,0,0,0,0,0,0,0,-2,-2,2,2,2,0,0,-2,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[32,2]],
[TENSOR,[33,2]],[60,60,60,-60,-60,60,60,-60,0,-60,0,0,0,0,0,0,0,0,0,0,0,0,-4,
4,4,-4,-4,4,-4,4,0,4,0,-4,0,0,0,-4,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,4,4,0,-4,-4,-4,-4,4,4,4,4,-4,-4,4,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,4,4,-4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[20,-12,4,-8,8,-4,4,0,-10,0,6,-2,2,-2,-2,2,
0,0,0,0,2,-2,4,0,0,4,0,-4,-4,0,-2,4,-2,0,2,2,-2,0,-2,2,0,2,2,-2,-2,0,0,0,0,0,
0,2,2,-2,-2,0,-2,2,0,0,6,-6,-6,6,-2,2,-2,2,-2,-2,2,2,0,0,0,0,0,0,0,0,0,4,4,-4,
-4,-4,4,0,0,0,0,0,2,-2,2,-2,-2,2,-2,2,0,0,0,0,0,0,0,0,0,0,0,8,-8,0,0,-4,4,4,
-4,0,0,6,-6,6,-6,2,2,-2,-2,0,0,-2,2,4,-4,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,
2,-2,-2,0,0,2,-2,-2,2,0,-2,2,0,0,4,-4,0,-2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[37,2]],
[TENSOR,[37,4]],
[TENSOR,[37,3]],[40,-24,8,-16,16,-8,8,0,-20,0,12,-4,0,0,0,0,0,0,0,0,0,0,8,0,0,
8,0,-8,-8,0,-4,8,-4,0,4,4,-4,0,-4,4,0,0,0,0,0,0,0,0,0,0,0,-2,-2,2,2,0,2,-2,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,8,-8,-8,-8,8,0,0,0,0,0,4,-4,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,-16,0,0,-8,8,8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,2,2,0,0,0,0,0,0,0,0,0,0,0,8,-8,
0,-4,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[41,2]],[60,-36,12,-24,24,-12,12,0,-30,0,18,-6,2,-2,-2,2,0,0,0,0,2,-2,
-4,0,0,-4,0,4,4,0,2,-4,2,0,-2,-2,2,0,2,-2,0,-2,-2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,6,-6,-6,6,-2,2,-2,2,-2,-2,2,2,0,0,0,0,0,0,0,0,0,12,12,-12,-12,-12,12,0,
0,0,0,0,6,-6,2,-2,-2,2,-2,2,0,0,0,0,0,0,0,0,0,0,0,-24,24,0,0,12,-12,-12,12,0,
0,-6,6,-6,6,-2,-2,2,2,0,0,2,-2,-4,4,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,-2,2,2,-2,0,2,-2,0,0,4,-4,0,-2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[43,2]],
[TENSOR,[43,4]],
[TENSOR,[43,3]],[120,-72,24,-48,48,-24,24,0,-60,0,36,-12,0,0,0,0,0,0,0,0,0,0,
0,-8,-8,0,8,0,0,8,4,0,4,-8,-4,-4,4,0,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-8,-8,8,8,8,-8,0,0,0,0,0,-4,4,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-12,12,-12,12,-4,-4,4,4,0,
0,4,-4,-8,8,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,-4,-4,4,0,-4,4,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[120,-72,24,-48,48,-24,24,0,-60,0,
36,-12,0,0,0,0,0,0,0,0,0,0,0,8,8,0,-8,0,0,-8,-4,0,-4,8,4,4,-4,0,4,-4,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,-12,-12,12,-4,4,-4,4,-4,-4,4,4,0,0,0,0,0,0,
0,0,0,-8,-8,8,8,8,-8,0,0,0,0,0,-4,4,-4,4,4,-4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[47,2]],
[TENSOR,[48,3]],[1,1,1,1,1,1,1,1,-1,1,-1,-1,1,1,1,1,-1,-1,1,1,-1,-1,1,1,1,1,1,
1,1,1,-1,1,-1,1,-1,-1,-1,1,-1,-1,1,1,-1,-1,1,1,-1,1,1,-1,-1,1,1,1,1,1,-1,-1,1,
-1,1,-1,1,-1,-1,1,1,-1,1,-1,1,-1,1,1,-1,1,1,1,1,1,-1,1,1,1,1,1,1,1,1,1,1,1,-1,
-1,1,1,1,1,-1,-1,-1,1,1,-1,1,1,-1,1,1,1,-1,1,1,1,1,1,1,-1,-1,1,-1,1,1,1,1,1,1,
1,1,-1,-1,1,1,-1,-1,1,1,-1,1,1,1,1,-1,-1,1,1,1,1,-1,1,1,-1,1,-1,-1,1,1,-1,1,1,
1,1,1,-1,-1,1,-1,1,1,1,-1,1,-1,1,1,1,-1,1,-1,1,-1,1,1,1,1,-1,-1],
[TENSOR,[2,51]],
[TENSOR,[3,51]],
[TENSOR,[2,53]],
[TENSOR,[5,51]],
[TENSOR,[5,53]],
[TENSOR,[5,52]],
[TENSOR,[5,54]],
[TENSOR,[9,51]],
[TENSOR,[9,54]],
[TENSOR,[9,52]],
[TENSOR,[9,53]],
[TENSOR,[13,51]],
[TENSOR,[13,52]],
[TENSOR,[15,51]],
[TENSOR,[16,51]],
[TENSOR,[15,54]],
[TENSOR,[16,54]],
[TENSOR,[16,53]],
[TENSOR,[15,53]],
[TENSOR,[15,52]],
[TENSOR,[16,52]],
[TENSOR,[23,51]],
[TENSOR,[23,52]],[30,30,30,6,6,-2,-2,6,0,-10,0,0,2,2,2,2,0,0,-2,-2,0,0,6,-2,
-2,6,-2,6,6,-2,0,6,0,-2,0,0,0,-2,0,0,-2,2,0,0,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,6,0,6,0,0,6,6,0,-2,0,-2,0,0,0,0,2,2,-2,2,-2,0,14,-2,-2,14,6,6,-10,6,-2,-2,
-2,0,0,2,2,2,2,0,0,0,-2,0,0,0,0,0,10,-6,2,0,18,18,18,2,2,2,0,0,-6,0,6,6,6,6,6,
6,6,6,0,0,-2,-2,0,0,-2,-2,0,0,0,0,0,0,0,2,-2,2,-2,0,0,0,0,0,0,0,0,0,0,2,2,2,2,
-2,0,0,-2,0,6,6,-2,0,-2,0,2,2,2,0,2,0,-2,0,2,2,-2,-2,0,0],[30,30,30,6,6,-2,-2,
6,0,-10,0,0,0,0,0,0,-2,-2,0,0,2,2,6,-2,-2,6,-2,6,6,-2,0,6,0,-2,0,0,0,-2,0,0,
-2,0,-2,-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-6,0,-6,-6,0,0,-6,0,2,0,2,0,0,0,
-2,-2,2,-2,2,0,-2,14,14,-2,6,6,6,-10,-2,-2,-2,0,0,0,0,0,0,-2,-2,2,0,0,0,0,0,0,
10,-6,2,0,-6,-6,-6,10,-6,-6,0,0,2,0,0,0,0,0,0,0,0,0,-6,-6,0,0,2,2,0,0,2,0,0,0,
0,0,0,-2,2,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,-2,-6,-6,2,0,2,0,2,2,2,0,
2,0,-2,0,2,2,-2,-2,0,0],
[TENSOR,[76,3]],
[TENSOR,[75,4]],[30,30,30,6,6,-2,-2,6,0,-10,0,0,-2,-2,-2,-2,0,0,2,2,0,0,-2,6,
6,-2,6,-2,-2,6,0,-2,0,6,0,0,0,-2,0,0,-2,-2,0,0,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,6,0,6,0,0,6,6,0,-2,0,-2,0,0,0,0,2,2,-2,2,-2,0,14,-2,-2,14,6,6,-10,6,-2,-2,
-2,0,0,2,2,2,2,0,0,0,-2,0,0,0,0,0,10,-6,2,0,18,18,18,2,2,2,0,0,-6,0,6,6,6,6,6,
6,6,6,0,0,-2,-2,0,0,-2,-2,0,0,0,0,0,0,0,-2,2,-2,2,0,0,0,0,0,0,0,0,0,0,2,2,2,2,
-2,0,0,-2,0,-2,-2,6,0,-2,0,2,2,2,0,2,0,-2,0,-2,-2,2,2,0,0],
[TENSOR,[75,3]],
[TENSOR,[76,4]],[30,30,30,6,6,-2,-2,6,0,-10,0,0,0,0,0,0,2,2,0,0,-2,-2,-2,6,6,
-2,6,-2,-2,6,0,-2,0,6,0,0,0,-2,0,0,-2,0,2,2,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,-6,0,-6,-6,0,0,-6,0,2,0,2,0,0,0,-2,-2,2,-2,2,0,-2,14,14,-2,6,6,6,-10,-2,-2,
-2,0,0,0,0,0,0,-2,-2,2,0,0,0,0,0,0,10,-6,2,0,-6,-6,-6,10,-6,-6,0,0,2,0,0,0,0,
0,0,0,0,0,-6,-6,0,0,2,2,0,0,2,0,0,0,0,0,0,2,-2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,2,2,0,-2,2,2,-6,0,2,0,2,2,2,0,2,0,-2,0,-2,-2,2,2,0,0],
[TENSOR,[76,2]],
[TENSOR,[82,3]],
[TENSOR,[79,4]],
[TENSOR,[75,2]],
[TENSOR,[79,3]],
[TENSOR,[82,4]],
[TENSOR,[82,2]],
[TENSOR,[79,2]],[60,60,60,12,12,-4,-4,12,0,-20,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,-4,0,-4,0,-4,-4,-4,0,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,
-6,6,-6,-6,6,6,-6,-2,2,-2,2,0,0,0,0,0,0,0,0,0,-4,-4,-4,-4,-4,-4,12,12,12,-4,
-4,0,0,-2,-2,-2,-2,2,2,-2,2,0,0,0,0,0,20,-12,4,0,-12,-12,-12,-12,4,4,0,0,4,0,
-6,-6,-6,-6,-6,-6,-6,-6,6,6,2,2,-2,-2,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,2,2,2,2,-2,2,2,-2,-2,0,0,0,0,0,0,0,0,0,4,0,4,0,-4,0,0,0,0,0,0],[60,60,
60,12,12,-4,-4,12,0,-20,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,-4,-4,-4,-4,-4,0,-4,
0,-4,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,4,4,-4,4,-4,0,-4,28,28,-4,12,12,12,-20,-4,-4,-4,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,-20,12,-4,0,12,12,12,-20,12,12,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,0,4,
0,4,4,4,0,4,0,-4,0,0,0,0,0,0,0],[60,60,60,12,12,-4,-4,12,0,-20,0,0,0,0,0,0,0,
0,0,0,0,0,-4,-4,-4,-4,-4,-4,-4,-4,0,-4,0,-4,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,-4,4,0,28,-4,-4,28,12,
12,-20,12,-4,-4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-20,12,-4,0,-36,-36,-36,-4,
-4,-4,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,4,4,0,-4,0,4,4,4,0,4,0,-4,0,0,0,0,0,0,0],
[TENSOR,[93,2]],
[TENSOR,[92,2]],
[TENSOR,[91,4]],
[TENSOR,[91,51]],
[TENSOR,[91,54]],
[TENSOR,[91,3]],
[TENSOR,[91,2]],
[TENSOR,[91,53]],
[TENSOR,[91,52]],[240,240,240,48,48,-16,-16,48,0,-80,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-16,-16,-16,-16,-16,-16,-16,-16,-16,
16,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[40,-24,8,16,-16,-8,8,0,0,0,0,0,4,4,
-4,-4,0,0,0,0,0,0,8,0,0,8,0,8,-8,0,0,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
4,-4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,8,-8,-8,8,-8,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,12,-12,
-12,-4,4,-4,4,0,0,-4,4,0,0,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,
-4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[104,2]],[80,-48,16,32,-32,-16,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,0,
0,16,0,16,-16,0,0,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,4,-4,4,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,-16,-16,16,-16,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[120,-72,24,48,-48,-24,24,0,0,0,0,0,4,4,-4,
-4,0,0,0,0,0,0,-8,0,0,-8,0,-8,8,0,0,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,24,24,-24,-24,24,
-24,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-12,
-12,12,12,4,-4,4,-4,0,0,4,-4,0,0,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,-4,4,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[120,-72,24,48,
-48,-24,24,0,0,0,0,0,0,0,0,0,4,-4,0,0,0,0,0,8,8,0,8,0,0,-8,8,0,8,-8,-8,8,-8,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,-8,-8,8,8,-8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,12,12,-12,-12,-4,4,-4,4,0,0,-4,4,0,0,4,-4,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,-4,4,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],
[TENSOR,[107,2]],
[TENSOR,[108,2]],
[TENSOR,[108,52]],
[TENSOR,[108,51]],[240,-144,48,96,-96,-48,48,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-16,-16,0,-16,0,0,16,0,0,0,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-16,-16,16,16,-16,16,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,32,-32,16,16,0,0,-16,40,0,8,-8,0,0,0,
0,0,0,0,0,0,0,8,8,-8,-8,0,0,0,0,-8,0,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,
1,1,1,1,-1,1,1,-1,-1,16,16,8,8,-8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,-16,0,0,0,4,4,0,-4,16,
16,8,8,0,-8,0,-8,-4,4,0,0,4,4,0,0,-4,1,-1,-1,1,1,-1,0,0,0,0,0,0,0,0,1,1,1,1,
-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,-8,0,-4,0,4,0,0,0,0,0,0,0,0],[160,32,
-32,16,16,0,0,-16,40,0,8,-8,0,0,0,0,0,0,0,0,0,0,-8,-8,8,8,0,0,0,0,8,0,-8,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,1,-1,1,1,1,1,1,-1,1,1,-1,-1,8,8,16,16,0,0,-8,-8,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,-16,-16,16,0,0,0,-4,-4,0,4,-8,-8,-16,-16,8,0,8,0,-4,4,0,0,-4,-4,0,0,4,1,
-1,-1,1,1,-1,0,0,0,0,0,0,0,0,-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,
-8,0,-4,0,4,0,0,0,0,0,0,0,0],
[TENSOR,[115,2]],
[TENSOR,[114,3]],
[TENSOR,[114,2]],
[TENSOR,[115,3]],
[TENSOR,[115,4]],
[TENSOR,[114,4]],[320,64,-64,32,32,0,0,-32,80,0,16,-16,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,-1,-1,-1,-1,1,-1,-1,
1,1,-8,-8,8,8,8,8,-8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,-32,0,0,0,8,8,0,-8,-8,-8,8,8,-8,8,-8,8,
8,-8,0,0,0,0,0,0,0,1,-1,-1,1,1,-1,0,0,0,0,0,0,0,0,-1,-1,-1,-1,1,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[122,3]],
[TENSOR,[122,4]],
[TENSOR,[122,2]],
[TENSOR,[37,51]],
[TENSOR,[37,52]],
[TENSOR,[37,53]],
[TENSOR,[37,54]],
[TENSOR,[41,51]],
[TENSOR,[41,52]],
[TENSOR,[43,51]],
[TENSOR,[43,53]],
[TENSOR,[43,54]],
[TENSOR,[43,52]],
[TENSOR,[47,51]],
[TENSOR,[48,53]],
[TENSOR,[47,52]],
[TENSOR,[48,51]],[30,30,30,-6,-6,-2,-2,-6,0,10,0,0,2,-2,2,-2,0,0,2,-2,0,0,6,2,
2,6,-2,-6,6,2,0,-6,0,-2,0,0,0,-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,-2,-2,2,0,14,-2,-2,14,-6,-6,10,-6,-2,-2,2,0,
0,4,4,-4,-4,0,0,0,0,0,0,0,0,0,20,4,-4,0,12,12,12,-4,-4,-4,0,0,4,0,6,-6,-6,6,
-6,6,6,-6,0,0,-2,-2,0,0,2,2,0,0,0,0,0,0,0,2,-2,-2,2,0,2,-2,0,0,0,0,0,0,0,2,2,
-2,-2,2,0,0,-2,0,0,0,0,0,0,0,4,4,4,0,-4,0,0,0,4,-4,0,0,0,0],[30,30,30,-6,-6,
-2,-2,-6,0,10,0,0,2,-2,2,-2,0,0,2,-2,0,0,-2,-6,-6,-2,6,2,-2,-6,0,2,0,6,0,0,0,
-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
2,2,-2,-2,2,0,14,-2,-2,14,-6,-6,10,-6,-2,-2,2,0,0,4,4,-4,-4,0,0,0,0,0,0,0,0,0,
-20,-4,4,0,-12,-12,-12,4,4,4,0,0,-4,0,-6,6,6,-6,6,-6,-6,6,0,0,2,2,0,0,-2,-2,0,
0,0,0,0,0,0,-2,2,2,-2,0,-2,2,0,0,0,0,0,0,0,-2,-2,2,2,-2,0,0,2,0,0,0,0,0,0,0,4,
4,4,0,-4,0,0,0,0,0,-4,4,0,0],
[TENSOR,[140,3]],
[TENSOR,[141,2]],
[TENSOR,[141,3]],
[TENSOR,[140,2]],
[TENSOR,[141,4]],
[TENSOR,[140,4]],[60,60,60,-12,-12,-4,-4,-12,0,20,0,0,0,0,0,0,0,0,0,0,0,0,-4,
4,4,-4,-4,4,-4,4,0,4,0,-4,0,0,0,4,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,4,-4,0,28,-4,-4,28,-12,-12,20,-12,-4,
-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-40,-8,8,0,-24,-24,-24,8,8,8,0,0,-8,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,-4,4,-4,0,0],
[TENSOR,[148,2]],[60,60,60,-12,-12,-4,-4,-12,0,20,0,0,0,0,0,0,0,0,0,0,0,0,-4,
4,4,-4,-4,4,-4,4,0,4,0,-4,0,0,0,4,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,4,-4,-4,4,0,-4,28,28,-4,-12,-12,-12,20,-4,
-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,8,8,8,0,-8,0,0,0,-4,4,4,-4,0,0],
[TENSOR,[150,2]],[60,60,60,-12,-12,-4,-4,-12,0,20,0,0,0,0,0,0,0,0,0,0,0,0,12,
4,4,12,-4,-12,12,4,0,-12,0,-4,0,0,0,-4,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,4,-4,0,-4,28,28,-4,-12,-12,-12,20,
-4,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[60,60,60,-12,-12,-4,-4,-12,0,20,
0,0,0,0,0,0,0,0,0,0,0,0,-4,-12,-12,-4,12,4,-4,-12,0,4,0,12,0,0,0,-4,0,0,4,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,4,4,-4,
0,-4,28,28,-4,-12,-12,-12,20,-4,-4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,-4,-4,4,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
120,120,120,-24,-24,-8,-8,-24,0,40,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,
0,8,0,8,-8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-8,-8,-8,-8,8,8,8,8,-8,8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,-40,-8,8,0,24,24,24,-8,-8,-8,0,0,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,-4,4],[120,120,120,-24,-24,-8,-8,-24,0,40,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-8,-8,-8,-8,8,8,-24,-24,24,-8,8,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-12,12,12,-12,12,-12,
-12,12,0,0,4,4,0,0,-4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,4,-4,-4,
4,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[154,2]],
[TENSOR,[154,52]],
[TENSOR,[155,2]],
[TENSOR,[154,51]],
[TENSOR,[114,51]],
[TENSOR,[114,53]],
[TENSOR,[115,53]],
[TENSOR,[114,54]],
[TENSOR,[115,51]],
[TENSOR,[114,52]],
[TENSOR,[115,52]],
[TENSOR,[115,54]],
[TENSOR,[122,51]],
[TENSOR,[122,53]],
[TENSOR,[122,54]],
[TENSOR,[122,52]],[240,-144,48,0,0,16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,
-12,0,0,4,-4,0,4,0,-4,0,0,0,0,8,-8,0,0,0,0,16,-16,16,-16,0,0,0,0,0,0,0,0,0,4,
-4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,48,-48,0,0,8,-8,0,0,0,0,24,0,0,-24,0,8,-8,0,
0,0,8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,8,8,-8,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[172,2]],
[TENSOR,[172,3]],[240,-144,48,0,0,16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-12,0,
12,0,0,-4,4,0,-4,0,4,0,0,0,0,-8,8,0,0,0,0,16,-16,16,-16,0,0,0,0,0,0,0,0,0,4,
-4,4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,48,-48,0,0,8,-8,0,0,0,0,0,24,-24,0,-8,0,0,8,
0,0,0,0,0,0,-8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-8,-8,8,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[172,4]],
[TENSOR,[175,2]],
[TENSOR,[175,3]],
[TENSOR,[175,4]],[480,-288,96,0,0,32,-32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,24,0,
-24,8,0,0,-8,0,-8,0,8,0,0,0,0,0,0,0,0,0,-32,32,-32,32,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[180,3]],[320,64,-64,-32,-32,0,0,32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,
-16,16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,-2,2,2,0,0,
-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,-32,-16,16,0,-16,0,16,0,
0,0,0,0,0,0,0,0,2,-2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[320,64,-64,-32,-32,0,0,32,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-16,16,-16,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,2,-2,-2,2,2,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-16,16,32,
-32,-16,0,16,0,0,0,0,0,0,0,0,0,0,2,-2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[183,2]],
[TENSOR,[182,2]],[640,128,-128,-64,-64,0,0,64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,2,2,-2,-2,0,0,2,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,-16,16,-16,-16,-16,16,16,0,0,0,0,
0,0,0,0,0,-2,2,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[186,2]]],
[( 13, 14)( 15, 16)( 19, 20)( 21, 22)( 73, 74)( 76, 77)( 95, 98)( 96, 97)
(112,113)(116,117)(118,119)(122,123)(124,125)(126,128)(127,129)(132,137)
(133,136)(134,135)(139,142)(140,141)(150,151)(153,156)(154,155)(159,161)
(160,162)(163,166)(164,165)(168,169)(171,173)]);
ALF("2^10:(2^5:s5)","2^10:m22:2",[1,2,3,2,3,4,3,4,2,4,3,4,57,58,60,60,59,
60,62,61,61,62,5,9,11,10,8,12,6,6,11,7,9,7,7,8,6,7,6,7,6,24,25,27,26,28,
28,32,34,34,33,13,17,14,17,16,16,15,15,17,5,12,12,10,11,8,9,8,6,6,7,7,69,
70,71,18,19,20,21,22,23,5,10,11,9,12,8,11,9,8,7,6,7,6,18,21,21,19,22,20,
23,23,72,73,29,30,31,49,50,51,52,43,48,47,47,45,46,46,45,44,44,43,48,46,
45,47,46,47,45,44,47,44,46,46,45,45,44,44,63,65,66,64,67,68,24,25,26,27,
28,39,40,41,63,65,66,64,67,68,57,59,58,59,62,62,61,61,60,57,58,59,62,60,
61,49,50,51,50,51,51,52,52,53,54,56,55,56,55],[
"fusion is unique up to table automorphisms,\n",
"the representative is equal to the fusion map on the CAS table"
]);
ALF("2^10:(2^5:s5)","Co2",[1,2,3,2,3,4,3,4,2,4,3,4,8,11,23,23,12,23,27,24,
24,27,3,4,10,7,9,8,12,12,10,11,4,11,11,9,12,11,12,11,12,11,25,13,23,28,28,
20,39,39,36,6,20,19,20,21,21,18,18,20,3,8,8,7,10,9,4,9,12,12,11,11,24,28,
49,9,11,25,12,26,27,3,7,10,4,8,9,10,4,9,11,12,11,12,9,12,12,11,26,25,27,
27,32,52,15,32,31,4,10,12,13,2,3,4,4,9,8,8,9,12,12,2,3,8,9,4,8,4,9,12,4,
12,8,8,9,9,12,12,19,37,39,20,21,41,11,25,23,13,28,27,28,48,19,37,39,20,21,
41,8,12,11,12,27,27,24,24,23,8,11,12,27,23,24,4,10,12,10,12,12,13,13,12,
23,26,13,26,13],[
"fusion is unique up to table automorphisms,\n",
"the representative is equal to the fusion map on the CAS table"
]);
ALF("2^10:(2^5:s5)","A5.2",[1,1,1,1,1,1,1,1,1,1,1,1,6,6,6,6,6,6,6,6,6,6,2,
2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,6,6,6,6,6,6,7,7,7,7,3,3,3,3,3,3,3,3,3,
5,5,5,5,5,5,5,5,5,5,5,5,6,6,6,2,2,2,2,2,2,1,1,1,1,1,1,1,1,1,1,1,1,1,5,5,5,
5,5,5,5,5,4,4,4,4,4,1,1,1,1,1,1,1,1,1,1,1,1,1,1,5,5,5,5,5,5,5,5,5,5,5,5,5,
5,5,5,5,7,7,7,7,7,7,2,2,2,2,2,6,6,6,3,3,3,3,3,3,5,5,5,5,5,5,5,5,5,2,2,2,2,
2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2]);
MOT("2^2.2^8:s3",
[
"origin: CAS library,\n",
"maximal subgroup of 2F4(2)',\n",
" normalizer of klein four group contained in class 2b\n",
" structure:= 2^2.[2^8]:s3 [s3: symmetric group on 3 elements]\n",
" 1st & 2nd orthogonality relations are satisfied\n",
" symmetric squares decompose properly\n",
" created august 1984\n",
"tests: 1.o.r., pow[2,3]"
],
[6144,2048,256,1536,256,256,32,12,32,192,32,128,32,64,32,32,12,32,32,16,16,12,
12,16,16,16,16],
[,[1,1,1,1,1,1,1,8,5,4,6,2,2,4,5,6,8,12,12,14,14,17,17,18,19,19,18],[1,2,3,4,
5,6,7,1,9,10,11,12,13,14,15,16,4,19,18,20,21,10,10,26,27,24,25]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,-1,1,1,
1,-1,1,-1,1,1,-1,1,1,1,-1,-1,1,1,-1,-1,-1,-1],[2,2,2,2,2,2,0,-1,2,2,0,2,0,2,2,
0,-1,2,2,0,0,-1,-1,0,0,0,0],[2,2,-2,2,-2,2,0,-1,0,-2,0,-2,0,2,0,0,-1,0,0,0,0,
1,1,E(8)+E(8)^3,-E(8)-E(8)^3,E(8)+E(8)^3,-E(8)-E(8)^3],
[TENSOR,[4,2]],[3,3,3,3,3,3,-1,0,-1,3,-1,3,-1,3,-1,-1,0,-1,-1,-1,-1,0,0,1,1,1,
1],
[TENSOR,[6,2]],[3,3,-1,3,-1,3,1,0,1,3,1,-1,1,-1,1,1,0,-1+2*E(4),-1-2*E(4),-1,
-1,0,0,-E(4),E(4),E(4),-E(4)],
[TENSOR,[8,2]],
[GALOIS,[8,3]],
[TENSOR,[10,2]],[4,4,-4,4,-4,4,0,1,0,-4,0,-4,0,4,0,0,1,0,0,0,0,-1,-1,0,0,0,
0],[6,6,-2,6,-2,6,0,0,-2,6,0,-2,0,-2,-2,0,0,2,2,0,0,0,0,0,0,0,0],[6,6,2,6,2,6,
0,0,0,-6,0,2,0,-2,0,0,0,0,0,0,0,0,0,E(8)-E(8)^3,E(8)-E(8)^3,-E(8)+E(8)^3,
-E(8)+E(8)^3],
[TENSOR,[14,2]],[12,12,-4,12,-4,-4,0,0,0,0,0,4,0,0,0,0,0,0,0,2,-2,0,0,0,0,0,
0],[12,12,4,12,4,-4,-2,0,0,0,2,-4,-2,0,0,2,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[16,2]],
[TENSOR,[17,2]],[16,16,0,-16,0,0,0,-2,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0],[
16,16,0,-16,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,-E(12)^7+E(12)^11,
E(12)^7-E(12)^11,0,0,0,0],
[GALOIS,[21,5]],[24,-8,-4,0,4,0,2,0,-2,0,-2,0,-2,0,2,2,0,0,0,0,0,0,0,0,0,0,
0],[24,-8,-4,0,4,0,2,0,2,0,2,0,-2,0,-2,-2,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[23,2]],
[TENSOR,[24,2]],[48,-16,8,0,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
[(24,27)(25,26),(22,23),(20,21),(18,19)(24,25)(26,27),(18,19)(24,26)(25,27),
(18,19)(22,23)(24,25)(26,27),(18,19)(22,23)(24,26)(25,27),( 9,15)(11,16)]);
ARC("2^2.2^8:s3","tomfusion",rec(name:="2^2.[2^8]:S3",map:=[1,2,5,3,4,6,7,
8,29,14,43,18,44,27,35,42,47,131,131,111,128,152,152,321,321,321,321],text:=[
"fusion map is unique up to table autom."
]));
ALF("2^2.2^8:s3","2F4(2)'",[1,2,2,3,3,3,3,4,5,5,5,6,6,7,7,7,9,10,11,12,13,
15,16,19,20,22,21],[
"fusion is unique up to table automorphisms,\n",
"the representative is equal to the fusion map on the CAS table"
]);
ALF("2^2.2^8:s3","2^2.[2^9]:S3",[1,2,7,3,8,4,28,23,18,5,35,9,33,12,19,34,
24,20,21,37,37,25,25,42,41,41,42]);
MOT("2.[2^9]:5:4",
[
"origin: Dixon's Algorithm"
],
[20480,20480,2048,1024,1280,1280,256,256,256,256,128,128,128,128,20,20,20,20,
256,256,256,256,128,128,64,64,64,64,32,16,16,64,64,64,64,64,64,64,64,32,32,32,
32,16,16,16,16],
[,[1,1,1,1,2,2,1,2,3,3,4,4,3,3,15,15,16,16,1,1,3,3,2,3,4,4,8,8,8,11,12,19,19,
19,19,20,20,20,20,24,24,24,24,27,28,27,28],,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14
,1,2,6,5,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-E(4),E(4),-E(4),E(4),E(4),
-E(4),E(4),-E(4),-E(4),E(4),E(4),-E(4),-E(4),E(4),E(4),-E(4)],
[TENSOR,[2,3]],[4,4,4,4,4,4,4,4,4,4,4,4,4,4,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5,5,5,5,5,5,-3,-3,1,1,1,1,-3,1,0,0,0,0,
1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1],
[TENSOR,[6,2]],
[TENSOR,[6,4]],
[TENSOR,[6,3]],[10,10,10,10,10,10,2,2,-2,-2,-2,-2,2,-2,0,0,0,0,-2,-2,-2,-2,-2
,-2,-2,-2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[10,3]],[1,1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,-1,1,
-1,1,1,1,-1,-1,1,-1,-1,-1,-1,1,1,1,1,-1,-1,1,1,-1,-1,1,1],
[TENSOR,[2,12]],
[TENSOR,[3,13]],
[TENSOR,[2,14]],
[TENSOR,[5,12]],
[TENSOR,[6,13]],
[TENSOR,[6,12]],
[TENSOR,[6,15]],
[TENSOR,[6,14]],
[TENSOR,[10,12]],
[TENSOR,[10,14]],[10,10,-6,2,0,0,2,-2,-4*E(4),4*E(4),2,-2,0,0,0,0,0,0,0,0,2,2
,2,0,-2,0,-2*E(4),2*E(4),0,0,0,-1+E(4),-1-E(4),-1+E(4),-1-E(4),-1+E(4),-1-E(4)
,-1+E(4),-1-E(4),1-E(4),1+E(4),1-E(4),1+E(4),0,0,0,0],
[TENSOR,[23,15]],
[TENSOR,[23,2]],
[TENSOR,[23,14]],
[TENSOR,[23,13]],
[TENSOR,[23,4]],
[TENSOR,[23,12]],
[TENSOR,[23,3]],[20,20,-12,4,0,0,4,-4,0,0,-4,4,0,0,0,0,0,0,-4,-4,0,0,0,-4,0,4
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[31,3]],[40,40,8,-8,0,0,0,0,4,4,0,0,0,-4,0,0,0,0,-4,-4,-4,-4,4,4,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[33,14]],
[TENSOR,[33,12]],
[TENSOR,[33,3]],[40,40,-24,8,0,0,-8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[16,-16,0,0,-4*E(4),4*E(4),0,0,0,0,0,0
,0,0,1,-1,-E(4),E(4),-4,4,-4*E(4),4*E(4),0,0,0,0,0,0,0,0,0,-2*E(4),2*E(4),
2*E(4),-2*E(4),-2,-2,2,2,0,0,0,0,0,0,0,0],
[TENSOR,[38,12]],
[TENSOR,[38,2]],
[TENSOR,[38,13]],
[TENSOR,[38,14]],
[TENSOR,[38,3]],
[TENSOR,[38,15]],
[TENSOR,[38,4]],[64,-64,0,0,-16*E(4),16*E(4),0,0,0,0,0,0,0,0,-1,1,E(4),-E(4),
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[46,12]]],
[(32,34)(33,35)(36,38)(37,39),
(19,20)(21,22)(32,36)(33,37)(34,38)(35,39)(40,42)(41,43)(44,46)(45,47),
( 9,10)(27,28)(32,33)(34,35)(36,39)(37,38)(40,41)(42,43)(44,45)(46,47),
( 5, 6)(17,18)(21,22)(36,38)(37,39)]);
ALF("2.[2^9]:5:4","2F4(2)'.2",[1,2,2,3,18,19,3,6,19,18,5,7,21,21,8,13,29,
28,2,3,18,19,21,6,20,7,11,10,22,23,12,19,18,21,21,5,5,7,7,22,22,10,11,27,
26,17,16],[
"compatible with 2.2^8.f20 -> 2F4(2)'"
]);
MOT("2^2.[2^9]:S3",
[
"origin: Dixon's Algorithm"
],
[12288,4096,3072,512,384,192,512,512,256,256,256,128,128,128,128,128,128,64,64
,64,64,32,24,24,12,12,12,64,128,128,128,128,64,64,64,32,16,16,16,16,16,16],
[,[1,1,1,1,3,3,1,1,2,2,2,3,2,7,7,7,7,8,8,9,9,9,23,23,24,24,24,1,7,7,7,7,2,4,4,
7,12,5,20,21,21,20],[1,2,3,4,5,6,7,8,9,11,10,12,13,15,14,17,16,18,19,21,20,22,
1,3,5,6,6,28,30,29,32,31,33,34,35,36,37,38,40,39,42,41]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1
,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,3,3,3,3,3,3,3,3,3,3,3,3,-1,-1
,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1],
[TENSOR,[4,2]],[3,3,3,3,3,3,-1,-1,-1,-1,-1,-1,-1,-1-2*E(4),-1+2*E(4),
-1-2*E(4),-1+2*E(4),1,1,-1+2*E(4),-1-2*E(4),1,0,0,0,0,0,-1,1,1,1,1,-1,-1,-1,1,
1,-1,E(4),-E(4),-E(4),E(4)],
[GALOIS,[6,3]],
[TENSOR,[6,2]],
[TENSOR,[7,2]],[6,6,6,6,6,6,-2,-2,-2,-2,-2,-2,-2,2,2,2,2,-2,-2,2,2,-2,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,1,1,1,-1,1,1,1,-1,-1,1,-1,-1,-1,-1,-1,1
,1,1,1,-1,1,1,1,-1,-1,-1,1,1,1,1,-1,-1,-1,1,-1,1,1,1,-1,-1],
[TENSOR,[2,11]],
[TENSOR,[3,11]],
[TENSOR,[4,12]],
[TENSOR,[4,11]],
[TENSOR,[7,12]],
[TENSOR,[6,12]],
[TENSOR,[7,11]],
[TENSOR,[6,11]],
[TENSOR,[10,11]],[4,4,4,4,-4,0,-4,-4,-4,0,0,4,0,0,0,0,0,0,0,0,0,0,-2,-2,2,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,4,4,4,-4,0,-4,-4,-4,0,0,4,0,0,0,0,0,0,0,0,0
,0,1,1,-1,-E(3)+E(3)^2,E(3)-E(3)^2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[22,11]],[12,12,12,12,-12,0,4,4,4,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[12,12,12,-4,0,0,4,4,-4,4,4,0,-4,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-2,2,2,2,2,-2,2,2,-2,0,0,0,0,0,0],
[TENSOR,[25,2]],
[TENSOR,[25,12]],
[TENSOR,[25,11]],[24,24,24,-8,0,0,-8,-8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[16,16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,-2,2,0,0,0,0,-4,-4,4,4,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[30,2]],[32,32,-32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-2,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[24,-8,0,0,0,0,-4,4,0,4*E(4),-4*E(4),0,0,-2*E(4)
,2*E(4),2*E(4),-2*E(4),-2,2,0,0,0,0,0,0,0,0,-2,4*E(4),-4*E(4),0,0,2,-2,2,0,0,0
,0,0,0,0],
[TENSOR,[33,12]],
[TENSOR,[33,2]],
[TENSOR,[33,11]],[24,-8,0,0,0,0,-4,4,0,-4*E(4),4*E(4),0,0,-2*E(4),2*E(4),
2*E(4),-2*E(4),2,-2,0,0,0,0,0,0,0,0,-2,0,0,-4*E(4),4*E(4),2,2,-2,0,0,0,0,0,0,0
],
[TENSOR,[37,12]],
[TENSOR,[37,2]],
[TENSOR,[37,11]],[48,-16,0,0,0,0,8,-8,0,0,0,0,0,-4,-4,4,4,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[41,11]]],
[(26,27),(14,17)(15,16)(20,21)(39,40)(41,42),
(10,11)(14,16)(15,17)(29,30)(31,32),(14,16)(15,17)(18,19)(29,31)(30,32)(34,35)
]);
ALF("2^2.[2^9]:S3","2F4(2)'.2",[1,2,3,3,5,20,2,3,6,18,19,7,21,18,19,21,21,
5,7,10,11,22,4,9,14,24,25,3,21,21,19,18,6,7,5,21,12,23,26,27,17,16],[
"fusion map is unique up to table automorphisms"
]);
MOT("2^6:u3(3)",
[
"origin: CAS library,\n",
"subgroup of index 2 in maximal subgroup of ru\n",
" structure:= 2^6:u[3,3]\n",
" 1st & 2nd orthogonality relations are satisfied\n",
" symmetric squares decompose properly\n",
" created september 1984\n",
"tests: 1.o.r., pow[2,3,7]"
],
[387072,6144,1536,512,128,108,36,12,384,128,384,128,64,64,32,12,7,7,16,16,16,
16,12,12],
[,[1,1,1,1,2,6,7,7,3,4,3,4,3,4,4,6,17,18,9,10,11,12,16,16],[1,2,3,4,5,1,1,2,
11,12,9,10,13,14,15,3,18,17,21,22,19,20,11,9],,,,[1,2,3,4,5,6,7,8,11,12,9,10,
13,14,15,16,1,1,21,22,19,20,24,23]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[6,6,-2,-2,-2,-3,0,0,-2,-2,
-2,-2,2,2,2,1,-1,-1,0,0,0,0,1,1],[7,7,-1,-1,-1,-2,1,1,3,3,3,3,-1,-1,-1,2,0,0,
-1,-1,-1,-1,0,0],[7,7,3,3,3,-2,1,1,-1-2*E(4),-1-2*E(4),-1+2*E(4),-1+2*E(4),1,
1,1,0,0,0,E(4),E(4),-E(4),-E(4),-1+E(4),-1-E(4)],
[GALOIS,[4,3]],[14,14,-2,-2,-2,5,-1,-1,2,2,2,2,2,2,2,1,0,0,0,0,0,0,-1,-1],[21,
21,5,5,5,3,0,0,1,1,1,1,1,1,1,-1,0,0,-1,-1,-1,-1,1,1],[21,21,1,1,1,3,0,0,
-3+2*E(4),-3+2*E(4),-3-2*E(4),-3-2*E(4),-1,-1,-1,1,0,0,E(4),E(4),-E(4),-E(4),
-E(4),E(4)],
[GALOIS,[8,3]],[27,27,3,3,3,0,0,0,3,3,3,3,-1,-1,-1,0,-1,-1,1,1,1,1,0,0],[28,
28,-4,-4,-4,1,1,1,4*E(4),4*E(4),-4*E(4),-4*E(4),0,0,0,-1,0,0,0,0,0,0,E(4),
-E(4)],
[GALOIS,[11,3]],[32,32,0,0,0,-4,-1,-1,0,0,0,0,0,0,0,0,-E(7)-E(7)^2-E(7)^4,
-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0],
[GALOIS,[13,3]],[63,-1,15,-1,-1,0,3,-1,3,-1,3,-1,3,-1,-1,0,0,0,1,-1,1,-1,0,
0],[63,-1,-9,7,-1,0,3,-1,3,-1,3,-1,-1,3,-1,0,0,0,-1,1,-1,1,0,0],[126,-2,6,6,
-2,0,-3,1,6,-2,6,-2,2,2,-2,0,0,0,0,0,0,0,0,0],[189,-3,-3,13,-3,0,0,0,-3,1,-3,
1,-3,1,1,0,0,0,1,-1,1,-1,0,0],[189,-3,21,5,-3,0,0,0,-3,1,-3,1,1,-3,1,0,0,0,-1,
1,-1,1,0,0],[189,-3,9,-7,1,0,0,0,-3-6*E(4),1+2*E(4),-3+6*E(4),1-2*E(4),-1,3,
-1,0,0,0,E(4),-E(4),-E(4),E(4),0,0],
[GALOIS,[20,3]],[189,-3,-15,1,1,0,0,0,-3+6*E(4),1-2*E(4),-3-6*E(4),1+2*E(4),3,
-1,-1,0,0,0,E(4),-E(4),-E(4),E(4),0,0],
[GALOIS,[22,3]],[378,-6,-6,-6,2,0,0,0,6,-2,6,-2,-2,-2,2,0,0,0,0,0,0,0,0,0]],
[(17,18),( 9,11)(10,12)(19,21)(20,22)(23,24)]);
ALF("2^6:u3(3)","Ru",[1,2,2,2,7,4,4,11,5,8,5,8,8,8,7,11,12,12,13,15,13,15,
18,18],[
"fusion map is unique, equal to that on the CAS table"
]);
ALF("2^6:u3(3)","U3(3)",[1,1,2,2,2,3,4,4,5,5,6,6,7,7,7,8,9,10,11,11,12,12,
13,14]);
MOT("2^{1+6}:3^{1+2}:2A4",
[
"1st maximal subgroup of U5(2), origin: CAYLEY"
],
[82944,82944,1536,1152,1296,1296,1296,1296,216,216,36,2304,2304,384,96,144,
144,144,144,96,96,16,24,24,24,24,1728,1728,432,432,108,108,1728,1728,432,432,
144,144,144,144,144,144,144,144,108,108,96,96,36,36,36,36,18,18,144,144,72,72,
24,24,24,24,18,18],
[,[1,1,1,2,6,5,6,5,9,9,10,1,1,2,3,5,6,5,6,12,12,14,16,17,17,16,28,27,30,29,32,
31,27,28,30,29,29,30,27,28,28,27,29,30,32,31,28,27,31,32,32,31,54,53,34,33,36,
35,35,36,47,48,53,54],[1,2,3,4,1,1,2,2,1,2,4,12,13,14,15,12,12,13,13,20,21,22,
21,21,20,20,1,1,1,1,1,1,2,2,2,2,12,12,12,12,13,13,13,13,2,2,3,3,13,13,12,12,6,
5,4,4,4,4,14,14,15,15,7,8]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,E(3),E(3)^2,E(3)^2,E(3),E(3),E(3)^2,E(3)^2,E(3),
E(3)^2,E(3),E(3),E(3)^2,E(3)^2,E(3),E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3),
E(3)^2,E(3)^2,E(3),E(3),E(3)^2,E(3),E(3)^2,E(3)^2,E(3),E(3)^2,E(3),E(3),
E(3)^2,E(3)^2,E(3),E(3)^2,E(3)],
[TENSOR,[2,2]],[3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,-1,-1,-1,-1,-1,-1,-1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,
2,2,2,2,2,2,2,2,2,2,-2,-2,-2,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,1,1,1,1,1,1,1,1,-1,-1,-1,-1,1,1,1,1,-1,-1,-1,-1,-1,-1,1,1,1,1,-1,
-1],
[TENSOR,[5,2]],
[TENSOR,[5,3]],[8,8,8,8,8,8,8,8,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,2,
2,2,2,2,2,2,2,0,0,0,0,0,0,0,0,2,2,2,2,0,0,0,0,-1,-1,2,2,2,2,0,0,0,0,-1,-1],
[TENSOR,[8,2]],
[TENSOR,[8,3]],[3,3,3,3,3*E(3),3*E(3)^2,3*E(3),3*E(3)^2,0,0,0,-1,-1,-1,-1,
-E(3)^2,-E(3),-E(3)^2,-E(3),1,1,1,E(3),E(3)^2,E(3)^2,E(3),E(3)+2*E(3)^2,
2*E(3)+E(3)^2,-E(3)-2*E(3)^2,-2*E(3)-E(3)^2,E(3)-E(3)^2,-E(3)+E(3)^2,
2*E(3)+E(3)^2,E(3)+2*E(3)^2,-E(3)-2*E(3)^2,-2*E(3)-E(3)^2,-E(3)^2,-E(3),
-E(3)^2,-E(3),-E(3),-E(3)^2,-E(3)^2,-E(3),E(3)-E(3)^2,-E(3)+E(3)^2,
E(3)+2*E(3)^2,2*E(3)+E(3)^2,-1,-1,-1,-1,0,0,2*E(3)+E(3)^2,E(3)+2*E(3)^2,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|