| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/spinsym/symdata/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 1.9.2019 mit Größe 18 kB |
|
Quelle ctbs15.tbl Sprache: unbekannt |
|
|
MBT("Sym(15)",2,
"(no info text)", [1,2,1,2,1,1,1,2,1,2,1,1,1,2,2,1,2,1,2,1,1,2,1,2,2,1,3], [11,10,0], [[1,3,5,7,10,11,12,13,14,18,20,22,23,40,49],[2,4,6,8,17,19,26,35,36,37,41]], [], [[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,0,0,1 ,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,-1,0,-1,1,0,0,0,0,0 ,0,0,0,0],[0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0],[0 ,1,0,-1,-1,1,-1,1,0,0,0,0,0,0,0],[-2,-2,1,0,1,-1,0,-1,0,1,0,0,0,0,0],[-1,-1,0, 0,1,0,0,-1,1,0,0,0,0,0,0],[1,2,-1,0,-2,1,0,1,-1,-1,0,1,0,0,0],[2,2,-1,0,-1,1,0 ,1,-1,-1,1,0,0,0,0],[-2,-2,2,0,2,-2,0,-1,1,1,-1,-1,1,0,0],[0,1,-3,-1,-1,1,0,1, 0,-1,0,0,-1,1,0],[-2,-2,0,0,0,-1,0,0,0,1,0,0,0,-1,1]],[[1,0,0,0,0,0,0,0,0,0,0] ,[-1,1,0,0,0,0,0,0,0,0,0],[0,-1,1,0,0,0,0,0,0,0,0],[-1,0,-1,0,1,0,0,0,0,0,0],[ -2,0,-1,0,-1,0,0,1,0,0,0],[-1,1,-1,1,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0],[1 ,-1,0,-1,1,-1,0,-1,1,0,0],[2,0,1,-1,0,0,0,0,-1,1,0],[1,0,1,-1,-1,0,1,0,0,0,0], [-2,-2,0,1,0,1,-1,0,0,-1,1]]], 0, 0, 0, rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[12,3]],[1,[12,2,1 ]],[1,[11,4]],[1,[11,3,1]],[1,[10,5]],[1,[10,4,1]],[1,[10,3,2]],[1,[9,6]],[1,[ 9,5..1]],[1,[9,4,2]],[1,[9,3,2,1]],[1,[8,7]],[1,[8,6,1]],[1,[8,5..2]],[1,[8,4, 3]],[1,[8,4,2,1]],[1,[7,6,2]],[1,[7,5..3]],[1,[7,5,2,1]],[1,[7,4,3,1]],[1,[6,5 ..4]],[1,[6,5,3,1]],[1,[6,4,3,2]],[1,[5,4..1]]])); MBT("Sym(15)",3, "(no info text)", [1,1,5,1,1,1,1,6,1,2,5,1,1,2,5,1,1,7,1,1,1,3,1,6,1,2,1,1,2,6,1,1,1,2,5,5,1,5,1 ,3,2,5,1,1,1,1,5,1,3,1,1,3,7,1,4,2,2,5,1,6,1,1,1,4,2,6,3,5,1,2], [6,4,2,1,4,2,1], [[1,2,4,5,7,8,9,10,12,13,15,16,17,19,20,21,22,24,25,26,31,35,36,38,42,46,47,49 ,53,62,68,70,72,73,74,101],[3,6,23,34,37,40,41,65,67,82],[11,14,45,51,100],,[ 29,30,32,33,39,43,48,50,81,106],[61,63,64,66,77]], [,,,[[2,3],[1,2]],,,4], [[[-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] ,[2,-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,0,0,0,0,0 ],[-2,2,-1,1,-1,1,-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,0,0,0 ,0,0],[-2,1,-1,2,-2,2,-1,1,-1,1,-1,-1,0,0,0,-1,1,-1,0,0,0,1,-1,1,0,0,0,0,0,0,0 ,0,0,0,0,0],[3,-3,2,-2,2,-2,2,-2,1,-1,1,2,-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,-1,0,-1,0,0,1,0,1,1,-1,0,0,1,-1,1,1,-1,-1,0,1,-1,0,-1,1 ,0,0,0,0,0,0,0,0,0],[-4,3,-3,2,-2,2,-3,3,-2,2,-2,-2,2,-1,1,-2,1,-1,-1,1,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,2,-1,1,0,-1,-1,0,0,1,1,0,0,1,0,-1,0,1,-1, -1,0,0,1,-1,0,0,1,0,-1,1,0,0,0],[3,-3,2,-2,1,-1,3,-2,2,-1,1,2,-2,1,-1,1,-1,0,1 ,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,0,1,0,0,0,-1,0,0,0,0,0,-1,0,1,0,0, 0,1,0,-1,1,0,1,0,-1,1,0,0,0,0,0,0,0],[0,0,-1,0,-2,2,-1,1,0,1,-2,-1,0,-1,1,-1,0 ,-2,-1,1,-1,1,1,1,0,-1,0,1,-1,-1,-1,1,-1,-1,1,0],[-1,1,0,-1,-1,0,-1,1,0,1,0,-1 ,0,-1,0,-1,0,0,1,0,-1,1,1,0,-1,0,0,0,0,-1,1,0,0,0,0,0],[-3,3,-2,2,-1,1,-2,2,-1 ,1,0,-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,-3,3,-2,3,-3,2, -2,1,-2,1,2,-1,1,0,2,-1,1,0,-1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[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],[-1,0,1,0,2,-3,0 ,-1,0,-1,2,1,0,2,-1,1,-1,2,1,-2,1,-1,-1,-1,0,1,0,0,1,1,1,-1,1,1,-2,1],[3,-2,2, -1,1,0,2,-2,1,-1,0,1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1, -1,1,1,0,-1,1,-2,1,0,-1,2,0,0,-1,1,0,-1,1,1,-1,-1,0,0,1,0,-1,0,1,0,-1,0,1,0,0] ,[-4,2,-2,1,-2,2,-2,2,-1,2,-2,-1,1,0,0,-1,0,-1,0,1,-1,0,0,1,-1,0,-1,1,0,0,0,0, 0,0,0,0],[-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],[1,-1,0,0,0,0,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],[-2,2,-1,1,0,0,-2,1,-1,0,0,-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],[3,-3,2,-3,0,-1,1,-1,2,0,0,1,-2,0,0,0,-1,0,1,0,-1,1,1,0,0,-1,0,0,0,-1,0,1, 0,0,0,0],[-4,2,-2,3,-1,1,-2,2,-3,1,-1,-1,1,0,0,-1,1,0,-1,0,1,0,-1,0,0,1,0,0,0, 0,0,0,0,0,0,0],[-2,1,-1,0,0,0,-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],[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],[2,-2,1,-1,0,0,1,-1,0,0,0,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,-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],[-3,2,-2,1,-2,0,-1,1,0,1,0,-1,0,0,0,-1,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0 ,0,0,0,0],[3,-3,2,-1,2,-1,1,-1,0,-1,0,1,0,1,0,1,0,0,0,0,1,-1,-1,0,0,0,0,0,0,1, 0,0,0,0,0,0],[2,-2,2,-3,2,-1,1,-1,1,-1,0,1,0,0,0,1,-1,0,0,0,0,-1,1,0,0,0,0,0,0 ,0,0,0,0,0,0,0],[0,0,1,-1,0,0,0,-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],[1,-1,1,0,1,0,1,-1,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0],[0,-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],[-2,1,-1,1,-1,0,-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],[3,-3,2,-2,1,-1,2,-1,1,-1,0,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]],[[-1,0,0,1,0,-1,1,0,0,0],[1,-1,0,0,0,1,-1,-1,1,0],[-1,0,-1,0,1, -1,1,0,-1,1],[1,1,0,-1,-1,1,0,0,0,0],[1,0,0,0,0,0,0,0,0,0],[-1,0,1,0,0,-1,0,1, 0,0],[-1,-1,0,1,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[0,-1,-1,0,1,0,0,0,0,0],[1 ,-1,1,0,0,0,0,0,0,0]],[[1,0,-1,1,0],[-1,1,0,-1,1],[1,0,0,0,0],[-1,-1,1,0,0],[0 ,1,0,0,0]],,[[-1,1,-1,1,0,0,0,0,0,0],[1,-1,0,0,1,-1,-1,1,0,0],[1,0,1,-1,-1,1,0 ,0,0,0],[-1,1,0,0,-1,0,1,0,-1,1],[0,0,1,0,-1,1,0,-1,1,0],[-1,0,-1,0,1,0,0,0,0, 0],[1,-1,1,-1,-1,0,1,0,0,0],[1,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,-1 ,1,0,0,0,0,0,0,0]],[[1,-1,1,0,0],[0,0,1,-1,1],[-1,0,-1,1,0],[1,0,0,0,0],[-1,1, 0,0,0]]], 0, 0, 0, rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3 ]],[1,[12,2,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1,1]],[1,[10,5]] ,[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[10,2,2,1]],[1,[9,6]],[1,[9,5..1] ],[1,[9,4,2]],[1,[9,4,1,1]],[1,[9,3,3]],[1,[9,3,2,1]],[1,[9,2,2,1,1]],[1,[8,7] ],[1,[8,6,1]],[1,[8,5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8,4,2,1]],[1,[8,3,3,1 ]],[1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1]],[1,[7,5 ..3]],[1,[7,5,2,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4,2,2]],[1,[7,4,2,1,1]],[1 ,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3,2,2,1]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,5 ..4]],[1,[6,5,3,1]],[1,[6,5,2,2]],[1,[6,5,2,1,1]],[1,[6,4,4,1]],[1,[6,4,3,2]], [1,[6,4,3,1,1]],[1,[6,4,2,2,1]],[1,[6,3,3,2,1]],[1,[6,3,2,2,1,1]],[1,[5,5,4,1] ],[1,[5,5,3,2]],[1,[5,5,3,1,1]],[1,[5,5,2,2,1]],[1,[5,4,4,2]],[1,[5,4,4,1,1]], [1,[5,4,3,3]],[1,[5,4..1]],[1,[5,4,2,2,1,1]],[1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]] ,[1,[4,4,3,3,1]],[1,[4,4,3,2,2]],[1,[4,4,3,2,1,1]],[1,[4,3,3,2,2,1]]])); MBT("Sym(15)",5, "(no info text)", [1,1,4,1,22,2,1,4,2,20,19,1,1,1,15,1,13,1,1,26,1,12,2,1,10,9,1,8,4,1,1,12,4,25 ,24,4,1,7,6,1,4,2,15,1,2,1,10,22,4,1,7,6,2,22,23,22,1,2,3,20,13,1,2,19,9,1,8,4 ,19,4,1,4,20,2,21,1,2,3,19,20,1,1,9,1,18,1,1,7,13,1,4,17,1,16,15,1,2,3,1,15,13 ,14,1,10,6,1,12,8,4,12,1,1,2,8,2,10,1,11,9,4,3,6,4,2,7,1,5], [3,2,1,2,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,0], [[1,2,6,7,9,12,14,18,19,27,28,30,33,35,37,43,45,46,51,54,55,56,60,61,64,67,69, 71,74,77,78,79,81,83,93,99,104,123,127,144],[3,5,8,22,39,40,42,66,90,92,95,107 ,120,128],,[10,11,15,21,23,26,48,73,97,98,100,102,124,142]], [,,[[4,5],[3,4],[2,3],[1,2]],,,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,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,-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],[-3,3,-3,3,-2,2,-2,-2,2,-2,2,-2,2,2,-2,2,-1, 1,-1,1,-2,2,-2,-2,2,-2,1,-1,1,-1,-1,1,-1,1,0,0,0,0,0,0],[3,-2,2,-2,2,-2,2,1,-1 ,1,-2,2,-2,-1,1,-1,1,-1,1,0,2,-2,2,1,-1,1,-1,1,-1,0,1,-1,1,0,0,0,0,0,0,0],[-2, 2,-1,1,-2,1,-1,-1,1,0,2,-1,1,1,-1,0,-1,1,0,0,-2,1,-1,-1,1,0,1,-1,0,0,-1,1,0,0, 0,0,0,0,0,0],[-1,1,-1,1,-1,1,-1,-1,1,-1,0,0,1,0,-1,1,0,1,-1,1,0,0,0,0,0,0,0,0, 0,0,0,-1,0,0,0,0,1,0,-1,1],[3,-3,3,-3,2,-2,3,2,-3,3,-2,2,-3,-2,3,-3,1,-1,2,-2, 1,-1,1,1,-1,1,-1,0,-1,1,1,0,1,-1,0,1,-1,-1,1,0],[-3,2,-2,3,-2,2,-3,-1,1,-2,2, -2,3,1,-1,2,-1,1,-2,0,-1,1,-1,-1,0,-1,1,0,1,0,-1,0,-1,0,1,-1,1,0,0,0],[2,-2,1, -1,2,-1,1,1,-1,0,-2,1,-1,-1,1,0,1,-1,0,0,1,-1,0,1,0,0,-1,0,0,0,1,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 ,0,0,0,0,0,0],[-3,3,-3,3,-2,2,-3,-2,3,-3,1,-1,1,1,-1,1,-1,0,-1,1,-1,1,-1,-1,1, -1,1,0,1,-1,0,0,0,0,0,-1,0,1,0,0],[3,-2,2,-3,2,-2,3,1,-1,2,-1,1,-1,-1,0,-1,1,0 ,1,0,1,-1,1,1,0,1,-1,0,-1,0,0,0,0,0,-1,1,0,0,0,0],[-2,2,-1,1,-2,1,-1,-1,1,0,1, -1,0,1,0,0,-1,0,0,0,-1,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,2,-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,0,0,0,0,0,0,0,0],[3, -3,3,-3,1,-1,1,1,-1,1,-1,1,-1,-1,1,-1,0,0,0,0,1,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0],[-3,2,-2,3,-1,1,-1,-1,0,-1,1,-1,1,1,0,1,0,0,0,0,-1,1,-1,-1,0,-1,0,0 ,0,0,0,0,0,0,1,0,0,0,0,0],[2,-2,1,-1,1,-1,0,1,0,0,-1,1,0,-1,0,0,0,0,0,0,1,-1,0 ,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,-2,2,-2,2,-2,2,1,-1,1,-2,2,-2,-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],[-6,4,-4,4,-4,4,-4,-2,2,-2,2, -2,2,1,-1,1,-1,1,-1,0,-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[3,-1,1,-1 ,1,-1,1,0,0,0,-1,1,-1,0,0,0,0,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-2,1,-1,0,-1,1,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0],[-2,2,-1,1,-2,1,-1,-1,1,0,2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0],[4,-4,2,-2,4,-2,2,2,-2,0,-2,1,-1,-1,1,0,1,-1,0,0,2,-1,1,1 ,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[-4,4,-2,2,-2,1,-1,-1,1,0,2,-1,1,1,-1,0,0, 0,0,0,-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,0,0,0,-1,0,0 ,0,0,0,0,0,0,0,1,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,0,0,0,0 ,0,0,0,0,0,0,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,-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],[-2,2,-1, 1,-2,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], [2,-2,1,-1,2,-1,1,1,-1,0,-1,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 ,0,0,0,0],[-3,1,-1,1,-1,1,-1,0,0,0,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],[4,-4,2,-2,2,-1,1,1,-1,0,-2,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],[-2,2,-1,1,-1,1,0,-1,0,0,1,-1,0,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],[-1,1,0,0,-1,0,0,0,0,0,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],[2,-1,1,0,1,-1,0,0,0,0,-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],[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,0],[-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,1,-1,1,-1,0 ,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],[1,-1,0,0, 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],[-2,1 ,-1,0,-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 ],[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]],[[1,-1,1,0,1,-1,1,0,-1,1,-1,1,0,0],[-1,1,0,-1,-1,2,-1,-1,0,0,1,-1,-1,1 ],[1,-1,0,1,0,-1,0,1,0,0,-1,0,1,0],[1,-1,1,0,1,-1,1,0,0,0,0,0,0,0],[-2,2,-2,0, -1,1,-1,0,1,-1,1,0,0,0],[1,-1,2,-1,1,0,1,-1,-1,1,0,0,0,0],[-1,0,-1,1,-1,0,0,0, 1,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,1,-1,0,-1,1,0,0,0,0,0,0], [1,0,1,-1,1,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0],[1,0,0,0,0,0,0 ,0,0,0,0,0,0,0],[-1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0] ],,[[1,-1,1,1,-1,1,0,0,-1,1,-1,1,0,0],[-1,1,0,-1,0,0,1,-1,0,0,1,0,-1,1],[1,-1, 1,1,-1,1,0,0,0,0,0,0,0,0],[-1,1,-2,-1,2,-2,-1,1,1,-1,0,-1,1,0],[1,-1,2,0,-1,1, 1,-1,-1,1,0,0,0,0],[-1,0,-1,0,1,0,-1,0,1,0,0,0,0,0],[-2,2,-2,-1,1,-1,0,0,1,-1, 1,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,0,1,-1,-1,1,0,0,0,0,0,0],[1,0 ,1,0,-1,0,1,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0],[1,-1,0,1,0,0,0,0, 0,0,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0]]], 0, 0, 0, rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3 ]],[1,[12,2,1]],[1,[12,1,1,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1 ,1]],[1,[11,1,1,1,1]],[1,[10,5]],[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[ 10,2,2,1]],[1,[10,2,1,1,1]],[1,[9,6]],[1,[9,5..1]],[1,[9,4,2]],[1,[9,4,1,1]],[ 1,[9,3,3]],[1,[9,3,2,1]],[1,[9,3,1,1,1]],[1,[9,2,2,2]],[1,[9,2,2,1,1]],[1,[9,2 ,1,1,1,1]],[1,[8,7]],[1,[8,6,1]],[1,[8,5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8, 4,2,1]],[1,[8,4,1,1,1]],[1,[8,3,3,1]],[1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[8,3,1, 1,1,1]],[1,[8,2,2,2,1]],[1,[8,2,2,1,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1] ],[1,[7,5..3]],[1,[7,5,2,1]],[1,[7,5,1,1,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4 ,2,2]],[1,[7,4,2,1,1]],[1,[7,4,1,1,1,1]],[1,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3 ,2,2,1]],[1,[7,3,2,1,1,1]],[1,[7,2,2,2,2]],[1,[7,2,2,2,1,1]],[1,[7,2,2,1,1,1,1 ]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,6,1,1,1]],[1,[6,5..4]],[1,[6,5,3,1]],[1,[6, 5,2,2]],[1,[6,5,2,1,1]],[1,[6,5,1,1,1,1]],[1,[6,4,4,1]],[1,[6,4,3,2]],[1,[6,4, 3,1,1]],[1,[6,4,2,2,1]],[1,[6,4,2,1,1,1]],[1,[6,3,3,3]],[1,[6,3,3,2,1]],[1,[6, 3,3,1,1,1]],[1,[6,3,2,2,2]],[1,[6,3,2,2,1,1]],[1,[6,3,2,1,1,1,1]],[1,[6,2,2,2, 2,1]],[1,[6,2,2,2,1,1,1]],[1,[5,5,5]],[1,[5,5,4,1]],[1,[5,5,3,2]],[1,[5,5,3,1, 1]],[1,[5,5,2,2,1]],[1,[5,5,2,1,1,1]],[1,[5,4,4,2]],[1,[5,4,4,1,1]],[1,[5,4,3, 3]],[1,[5,4..1]],[1,[5,4,3,1,1,1]],[1,[5,4,2,2,2]],[1,[5,4,2,2,1,1]],[1,[5,4,2 ,1,1,1,1]],[1,[5,3,3,3,1]],[1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]],[1,[5,3,3,1,1,1,1 ]],[1,[5,3,2,2,2,1]],[1,[5,3,2,2,1,1,1]],[1,[5,2,2,2,2,1,1]],[1,[5,2,2,2,1,1,1 ,1]],[1,[4,4,4,3]],[1,[4,4,4,2,1]],[1,[4,4,4,1,1,1]],[1,[4,4,3,3,1]],[1,[4,4,3 ,2,2]],[1,[4,4,3,2,1,1]],[1,[4,4,3,1,1,1,1]],[1,[4,4,2,2,2,1]],[1,[4,4,2,2,1,1 ,1]],[1,[4,3,3,3,2]],[1,[4,3,3,3,1,1]],[1,[4,3,3,2,2,1]],[1,[4,3,3,2,1,1,1]],[ 1,[4,3,2,2,2,2]],[1,[4,3,2,2,2,1,1]],[1,[4,3,2,2,1,1,1,1]],[1,[4,2,2,2,2,1,1,1 ]],[1,[3,3,3,3,2,1]],[1,[3,3,3,3,1,1,1]],[1,[3,3,3,2,2,2]],[1,[3,3,3,2,2,1,1]] ,[1,[3,3,3,2,1,1,1,1]],[1,[3,3,2,2,2,2,1]],[1,[3,3,2,2,2,1,1,1]],[1,[3,2,2,2,2 ,1,1,1,1]]])); MBT("Sym(15)",7, "(no info text)", [1,40,1,31,23,1,20,17,14,13,1,12,17,52,9,8,6,1,5,23,14,9,8,51,50,49,4,3,1,2,1, 1,13,1,48,6,1,47,4,3,1,46,45,1,31,40,20,13,40,12,9,6,44,40,5,4,3,43,40,2,42,41 ,40,1,1,20,39,14,1,31,12,38,8,37,1,31,5,36,4,35,1,34,31,2,33,32,31,1,17,23,1, 30,12,29,28,8,23,6,1,27,20,5,26,25,3,24,1,23,20,2,23,22,20,1,21,9,14,17,13,1, 19,17,5,18,17,3,13,1,14,16,12,2,14,15,12,1,13,4,6,9,1,8,11,10,2,8,9,5,1,6,7,3, 4], [2,1,1,1,1,1,0,1,1,0,0,1,1,1,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0 ,1,0,0,0,0,0,0,0,0,0,0,0,0], [[1,3,8,10,14,24,29,32,41,50,56,58,66,74,82,86,87,94,100,106,110,112,133,136, 140,143,145]], [,[[6,7],[5,6],[4,5],[3,4],[2,3],[1,2]],2,2,2,2,,2,2,,,2,2,2,,,2,,,2,,,2,,,,,, ,,2,,,,,,,,,2], [[[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],[-1,2,-1,-2 ,1,-2,2,-1,2,-2,-2,1,-2,2,-2,1,0,1,-1,1,-1,-1,1,-1,1,-1,1],[1,-2,1,2,-1,2,-2,1 ,-2,2,1,0,1,-1,1,-1,0,-1,1,-1,0,1,-1,1,-1,1,0],[-1,2,-1,-2,1,-2,1,0,1,-1,-1,0, -1,1,0,1,0,1,-1,0,0,-1,1,-1,1,0,0],[1,-2,1,1,0,1,-1,0,-1,0,1,0,1,0,0,-1,0,-1,0 ,0,0,1,-1,1,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,-1,1,0,0,0,0] ,[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],[-2,2,-2,-2,2, -2,2,-2,2,-2,-1,1,-1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0],[2,-2,2,2,-2,2,-1,1,-1,1, 1,-1,1,-1,0,-1,1,-1,1,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,-1,1,-1,0,0,1 ,-1,1,0,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0,0 ,0,0,0],[-1,0,-1,0,1,0,0,-1,0,0,0,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0],[-1,1,0,-1 ,0,0,1,0,0,0,-1,0,0,0,0,1,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,0,0,0,0,0,0,0,0,0,0,0],[-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],[2,-2,2,1,-1,1,-1,1,-1,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-2,1,-1,-1,1,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,1,0,0,-1, 0,0,0,1,0,0,0,0,0,0,0,0,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],[-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 ,0],[2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0, 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[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],[-2,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],[1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[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],[-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, rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3 ]],[1,[12,2,1]],[1,[12,1,1,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1 ,1]],[1,[11,1,1,1,1]],[1,[10,5]],[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[ 10,2,2,1]],[1,[10,2,1,1,1]],[1,[10,1,1,1,1,1]],[1,[9,6]],[1,[9,5..1]],[1,[9,4, 2]],[1,[9,4,1,1]],[1,[9,3,3]],[1,[9,3,2,1]],[1,[9,3,1,1,1]],[1,[9,2,2,2]],[1,[ 9,2,2,1,1]],[1,[9,2,1,1,1,1]],[1,[9,1,1,1,1,1,1]],[1,[8,7]],[1,[8,6,1]],[1,[8, 5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8,4,2,1]],[1,[8,4,1,1,1]],[1,[8,3,3,1]],[ 1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[8,3,1,1,1,1]],[1,[8,2,2,2,1]],[1,[8,2,2,1,1,1 ]],[1,[8,2,1,1,1,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1]],[1,[7,5..3]],[1,[ 7,5,2,1]],[1,[7,5,1,1,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4,2,2]],[1,[7,4,2,1, 1]],[1,[7,4,1,1,1,1]],[1,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3,2,2,1]],[1,[7,3,2, 1,1,1]],[1,[7,3,1,1,1,1,1]],[1,[7,2,2,2,2]],[1,[7,2,2,2,1,1]],[1,[7,2,2,1,1,1, 1]],[1,[7,2,1,1,1,1,1,1]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,6,1,1,1]],[1,[6,5..4 ]],[1,[6,5,3,1]],[1,[6,5,2,2]],[1,[6,5,2,1,1]],[1,[6,5,1,1,1,1]],[1,[6,4,4,1]] ,[1,[6,4,3,2]],[1,[6,4,3,1,1]],[1,[6,4,2,2,1]],[1,[6,4,2,1,1,1]],[1,[6,4,1,1,1 ,1,1]],[1,[6,3,3,3]],[1,[6,3,3,2,1]],[1,[6,3,3,1,1,1]],[1,[6,3,2,2,2]],[1,[6,3 ,2,2,1,1]],[1,[6,3,2,1,1,1,1]],[1,[6,3,1,1,1,1,1,1]],[1,[6,2,2,2,2,1]],[1,[6,2 ,2,2,1,1,1]],[1,[6,2,2,1,1,1,1,1]],[1,[5,5,5]],[1,[5,5,4,1]],[1,[5,5,3,2]],[1, [5,5,3,1,1]],[1,[5,5,2,2,1]],[1,[5,5,2,1,1,1]],[1,[5,5,1,1,1,1,1]],[1,[5,4,4,2 ]],[1,[5,4,4,1,1]],[1,[5,4,3,3]],[1,[5,4..1]],[1,[5,4,3,1,1,1]],[1,[5,4,2,2,2] ],[1,[5,4,2,2,1,1]],[1,[5,4,2,1,1,1,1]],[1,[5,4,1,1,1,1,1,1]],[1,[5,3,3,3,1]], [1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]],[1,[5,3,3,1,1,1,1]],[1,[5,3,2,2,2,1]],[1,[5, 3,2,2,1,1,1]],[1,[5,3,2,1,1,1,1,1]],[1,[5,2,2,2,2,2]],[1,[5,2,2,2,2,1,1]],[1,[ 5,2,2,2,1,1,1,1]],[1,[5,2,2,1,1,1,1,1,1]],[1,[4,4,4,3]],[1,[4,4,4,2,1]],[1,[4, 4,4,1,1,1]],[1,[4,4,3,3,1]],[1,[4,4,3,2,2]],[1,[4,4,3,2,1,1]],[1,[4,4,3,1,1,1, 1]],[1,[4,4,2,2,2,1]],[1,[4,4,2,2,1,1,1]],[1,[4,4,2,1,1,1,1,1]],[1,[4,3,3,3,2] ],[1,[4,3,3,3,1,1]],[1,[4,3,3,2,2,1]],[1,[4,3,3,2,1,1,1]],[1,[4,3,3,1,1,1,1,1] ],[1,[4,3,2,2,2,2]],[1,[4,3,2,2,2,1,1]],[1,[4,3,2,2,1,1,1,1]],[1,[4,3,2,1,1,1, 1,1,1]],[1,[4,2,2,2,2,2,1]],[1,[4,2,2,2,2,1,1,1]],[1,[4,2,2,2,1,1,1,1,1]],[1,[ 3,3,3,3,3]],[1,[3,3,3,3,2,1]],[1,[3,3,3,3,1,1,1]],[1,[3,3,3,2,2,2]],[1,[3,3,3, 2,2,1,1]],[1,[3,3,3,2,1,1,1,1]],[1,[3,3,3,1,1,1,1,1,1]],[1,[3,3,2,2,2,2,1]],[1 ,[3,3,2,2,2,1,1,1]],[1,[3,3,2,2,1,1,1,1,1]],[1,[3,2,2,2,2,2,2]],[1,[3,2,2,2,2, 2,1,1]],[1,[3,2,2,2,2,1,1,1,1]],[1,[3,2,2,2,1,1,1,1,1,1]],[1,[2,2,2,2,2,2,1,1, 1]],[1,[2,2,2,2,2,1,1,1,1,1]]])); [ Dauer der Verarbeitung: 0.19 Sekunden (vorverarbeitet) ] |
2026-03-28