| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/deepthought/tst/ (GAP Algebra Version 4.15.1©) Datei vom 20.5.2025 mit Größe 107 kB |
|
Quelle compare-dtpols.tst Sprache: unbekannt |
|
|
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] gap> coll := Collector(UnitriangularPcpGroup(7, 0));;
gap> dto := DTP_DTObjFromCollector(coll, true);; gap> dto![PC_DTPPolynomials]; [ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 13, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ -1, [ 17, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 22, 1 ] ], [ -1, [ 8, 1 ], [ 10, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 10, 1 ], [ 22, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ -1, [ 20, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 11, 1 ], [ 22, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 23, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -1, [ 9, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 23, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ -1, [ 14, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 23, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ -1, [ 18, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 23, 1 ] ], [ -1, [ 9, 1 ], [ 11, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 11, 1 ], [ 23, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ -1, [ 4, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ -1, [ 10, 1 ], [ 24, 1 ] ], [ -1, [ 4, 1 ], [ 5, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ -1, [ 15, 1 ], [ 24, 1 ] ], [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 24, 1 ] ], [ 1, [ 7, 1 ], [ 10, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 24, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 24, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ -1, [ 5, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 8, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ -1, [ 11, 1 ], [ 25, 1 ] ], [ -1, [ 5, 1 ], [ 6, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 12, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 5, 1 ], [ 8, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 25, 1 ] ], [ 1, [ 8, 1 ], [ 11, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 11, 1 ], [ 12, 1 ], [ 25, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 12, 1 ], [ 25, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 26, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ -1, [ 6, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 9, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 13, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ 1, [ 6, 1 ], [ 9, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ 1, [ 16, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 27, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 10, 1 ], [ 27, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ 1, [ 14, 1 ], [ 27, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 17, 1 ], [ 27, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 19, 1 ], [ 27, 1 ] ], [ -1, [ 10, 1 ], [ 12, 1 ], [ 27, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 28, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 9, 1 ], [ 28, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ -1, [ 14, 1 ], [ 28, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ -1, [ 18, 1 ], [ 28, 1 ] ], [ -1, [ 9, 1 ], [ 11, 1 ], [ 28, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 29, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ -1, [ 10, 1 ], [ 29, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ -1, [ 15, 1 ], [ 29, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 30, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ -1, [ 11, 1 ], [ 30, 1 ] ] ] , [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 31, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ 1, [ 12, 1 ], [ 31, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 32, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 13, 1 ], [ 32, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 16, 1 ], [ 32, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 33, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ -1, [ 15, 1 ], [ 33, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 34, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 35, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 36, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 37, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 38, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ 1, [ 39, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ 1, [ 40, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 41, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 42, 1 ] ] ] ] ] gap> dto := DTP_DTObjFromCollector(coll, false);; gap> dto![PC_DTPPolynomials]; [ [ [ 1, [ 1, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 23, 1 ] ] ] , [ [ 1, [ 3, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 26, 1 ] ] ] , [ [ 1, [ 6, 1 ] ], [ 1, [ 27, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 28, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 29, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 30, 1 ] ], [ -1, [ 4, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 31, 1 ] ], [ -1, [ 5, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 32, 1 ] ], [ -1, [ 6, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 33, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 34, 1 ] ], [ -1, [ 9, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 23, 1 ] ], [ 1, [ 8, 1 ], [ 25, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ], [ 25, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 35, 1 ] ], [ -1, [ 10, 1 ], [ 24, 1 ] ], [ -1, [ 4, 1 ], [ 5, 1 ], [ 24, 1 ] ], [ 1, [ 9, 1 ], [ 26, 1 ] ], [ -1, [ 4, 1 ], [ 24, 1 ], [ 26, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 36, 1 ] ], [ -1, [ 11, 1 ], [ 25, 1 ] ], [ -1, [ 5, 1 ], [ 6, 1 ], [ 25, 1 ] ], [ 1, [ 10, 1 ], [ 27, 1 ] ], [ -1, [ 5, 1 ], [ 25, 1 ], [ 27, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 37, 1 ] ], [ -1, [ 13, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 22, 1 ], [ 24, 1 ] ], [ 1, [ 12, 1 ], [ 25, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 24, 1 ] ], [ -1, [ 9, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 24, 1 ], [ 28, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 38, 1 ] ], [ -1, [ 14, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 5, 1 ], [ 23, 1 ], [ 25, 1 ] ], [ 1, [ 13, 1 ], [ 26, 1 ] ], [ -1, [ 9, 1 ], [ 23, 1 ], [ 26, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 23, 1 ], [ 26, 1 ] ], [ 1, [ 8, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ 1, [ 5, 1 ], [ 8, 1 ], [ 25, 1 ] ], [ -1, [ 10, 1 ], [ 29, 1 ] ], [ 1, [ 5, 1 ], [ 25, 1 ], [ 29, 1 ] ] ], [ [ 1, [ 18, 1 ] ], [ 1, [ 39, 1 ] ], [ -1, [ 15, 1 ], [ 24, 1 ] ], [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ] ], [ -1, [ 4, 1 ], [ 6, 1 ], [ 24, 1 ], [ 26, 1 ] ], [ 1, [ 14, 1 ], [ 27, 1 ] ], [ -1, [ 10, 1 ], [ 24, 1 ], [ 27, 1 ] ], [ -1, [ 4, 1 ], [ 5, 1 ], [ 24, 1 ], [ 27, 1 ] ], [ 1, [ 9, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 4, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 6, 1 ], [ 9, 1 ], [ 26, 1 ] ], [ -1, [ 11, 1 ], [ 30, 1 ] ], [ 1, [ 6, 1 ], [ 26, 1 ], [ 30, 1 ] ] ], [ [ 1, [ 19, 1 ] ], [ 1, [ 40, 1 ] ], [ -1, [ 17, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 22, 1 ], [ 24, 1 ] ], [ 1, [ 16, 1 ], [ 26, 1 ] ], [ -1, [ 13, 1 ], [ 22, 1 ], [ 26, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ], [ 26, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 22, 1 ], [ 24, 1 ], [ 26, 1 ] ], [ 1, [ 12, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 24, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 24, 1 ], [ 26, 1 ] ], [ -1, [ 14, 1 ], [ 28, 1 ] ], [ 1, [ 10, 1 ], [ 24, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 24, 1 ], [ 28, 1 ] ], [ -1, [ 9, 1 ], [ 26, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 24, 1 ], [ 26, 1 ], [ 28, 1 ] ], [ -1, [ 8, 1 ], [ 10, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 10, 1 ], [ 22, 1 ] ], [ 1, [ 7, 1 ], [ 10, 1 ], [ 24, 1 ] ], [ -1, [ 2, 1 ], [ 10, 1 ], [ 22, 1 ], [ 24, 1 ] ], [ 1, [ 12, 1 ], [ 31, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ], [ 31, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ], [ 31, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ], [ 31, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ], [ 31, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 41, 1 ] ], [ -1, [ 18, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 23, 1 ], [ 25, 1 ] ], [ 1, [ 17, 1 ], [ 27, 1 ] ], [ -1, [ 14, 1 ], [ 23, 1 ], [ 27, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 23, 1 ], [ 27, 1 ] ], [ -1, [ 3, 1 ], [ 5, 1 ], [ 23, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ 1, [ 13, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 9, 1 ], [ 23, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 23, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 8, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 25, 1 ] ], [ 1, [ 5, 1 ], [ 8, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ -1, [ 15, 1 ], [ 29, 1 ] ], [ 1, [ 11, 1 ], [ 25, 1 ], [ 29, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 25, 1 ], [ 29, 1 ] ], [ -1, [ 10, 1 ], [ 27, 1 ], [ 29, 1 ] ], [ 1, [ 5, 1 ], [ 25, 1 ], [ 27, 1 ], [ 29, 1 ] ], [ -1, [ 9, 1 ], [ 11, 1 ], [ 23, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 11, 1 ], [ 23, 1 ] ], [ 1, [ 8, 1 ], [ 11, 1 ], [ 25, 1 ] ], [ -1, [ 3, 1 ], [ 11, 1 ], [ 23, 1 ], [ 25, 1 ] ], [ 1, [ 13, 1 ], [ 32, 1 ] ], [ -1, [ 9, 1 ], [ 23, 1 ], [ 32, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 23, 1 ], [ 32, 1 ] ], [ 1, [ 8, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ -1, [ 3, 1 ], [ 23, 1 ], [ 25, 1 ], [ 32, 1 ] ] ], [ [ 1, [ 21, 1 ] ], [ 1, [ 42, 1 ] ], [ -1, [ 20, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 22, 1 ], [ 24, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ -1, [ 2, 1 ], [ 5, 1 ], [ 6, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ 1, [ 19, 1 ], [ 27, 1 ] ], [ -1, [ 17, 1 ], [ 22, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 22, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 22, 1 ], [ 24, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 22, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 5, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ 1, [ 16, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 13, 1 ], [ 22, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 22, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 12, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 24, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 24, 1 ], [ 27, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ] ], [ -1, [ 18, 1 ], [ 28, 1 ] ], [ 1, [ 15, 1 ], [ 24, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ], [ 28, 1 ] ], [ -1, [ 14, 1 ], [ 27, 1 ], [ 28, 1 ] ], [ 1, [ 10, 1 ], [ 24, 1 ], [ 27, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 24, 1 ], [ 27, 1 ], [ 28, 1 ] ], [ -1, [ 9, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 11, 1 ], [ 22, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 11, 1 ], [ 22, 1 ], [ 24, 1 ] ], [ -1, [ 8, 1 ], [ 11, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 11, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ 1, [ 7, 1 ], [ 11, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ -1, [ 2, 1 ], [ 11, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 24, 1 ] ], [ -1, [ 9, 1 ], [ 11, 1 ], [ 28, 1 ] ], [ 1, [ 4, 1 ], [ 11, 1 ], [ 24, 1 ], [ 28, 1 ] ], [ 1, [ 16, 1 ], [ 32, 1 ] ], [ -1, [ 13, 1 ], [ 22, 1 ], [ 32, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ], [ 32, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 22, 1 ], [ 24, 1 ], [ 32, 1 ] ], [ 1, [ 12, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ -1, [ 8, 1 ], [ 22, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 22, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ 1, [ 7, 1 ], [ 24, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ -1, [ 2, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 32, 1 ] ], [ 1, [ 4, 1 ], [ 7, 1 ], [ 24, 1 ], [ 32, 1 ] ], [ -1, [ 9, 1 ], [ 28, 1 ], [ 32, 1 ] ], [ 1, [ 4, 1 ], [ 24, 1 ], [ 28, 1 ], [ 32, 1 ] ], [ 1, [ 11, 1 ], [ 12, 1 ], [ 25, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 12, 1 ], [ 25, 1 ] ], [ -1, [ 10, 1 ], [ 12, 1 ], [ 27, 1 ] ], [ 1, [ 5, 1 ], [ 12, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ -1, [ 15, 1 ], [ 33, 1 ] ], [ 1, [ 11, 1 ], [ 25, 1 ], [ 33, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 25, 1 ], [ 33, 1 ] ], [ -1, [ 10, 1 ], [ 27, 1 ], [ 33, 1 ] ], [ 1, [ 5, 1 ], [ 25, 1 ], [ 27, 1 ], [ 33, 1 ] ], [ -1, [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 22, 1 ], [ 25, 1 ] ], [ -1, [ 5, 1 ], [ 8, 1 ], [ 22, 1 ], [ 25, 1 ], [ 27, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 24, 1 ], [ 25, 1 ] ], [ 1, [ 5, 1 ], [ 7, 1 ], [ 24, 1 ], [ 25, 1 ], [ 27, 1 ] ] ] ] gap> coll := Collector(HeisenbergPcpGroup(7));; gap> dto := DTP_DTObjFromCollector(coll, true);; gap> dto![PC_DTPPolynomials]; [ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 16, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 8, 1 ], [ 16, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 17, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 9, 1 ], [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 18, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 10, 1 ], [ 18, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 19, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 11, 1 ], [ 19, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 20, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 12, 1 ], [ 20, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 21, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 13, 1 ], [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 14, 1 ], [ 22, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 23, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 26, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 27, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 28, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 29, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 30, 1 ] ] ] ] ] gap> dto := DTP_DTObjFromCollector(coll, false);; gap> dto![PC_DTPPolynomials]; [ [ [ 1, [ 1, 1 ] ], [ 1, [ 16, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 17, 1 ] ] ] , [ [ 1, [ 3, 1 ] ], [ 1, [ 18, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 19, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 20, 1 ] ] ] , [ [ 1, [ 6, 1 ] ], [ 1, [ 21, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 23, 1 ] ] ] , [ [ 1, [ 9, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 26, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 27, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 28, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 29, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 30, 1 ] ], [ 1, [ 8, 1 ], [ 16, 1 ] ], [ 1, [ 9, 1 ], [ 17, 1 ] ], [ 1, [ 10, 1 ], [ 18, 1 ] ], [ 1, [ 11, 1 ], [ 19, 1 ] ], [ 1, [ 12, 1 ], [ 20, 1 ] ], [ 1, [ 13, 1 ], [ 21, 1 ] ], [ 1, [ 14, 1 ], [ 22, 1 ] ] ] ] gap> coll := Collector(ExamplesOfSomePcpGroups(15));; gap> dto := DTP_DTObjFromCollector(coll, true);; gap> dto![PC_DTPPolynomials]; [ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 14, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 2, 1 ], [ 14, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 4, 1 ], [ 14, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 14, 3 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 5, 1 ], [ 14, 1 ] ], [ 1, [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 3, 1 ], [ 14, 3 ] ], [ 1, [ 2, 1 ], [ 14, 4 ] ] ], [ [ 1, [ 7, 1 ] ], [ -1, [ 3, 2 ], [ 14, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -1, [ 2, 1 ], [ 14, 3 ] ], [ -1, [ 2, 2 ], [ 14, 2 ] ], [ -2, [ 2, 2 ], [ 14, 3 ] ] ], [ [ 1, [ 8, 1 ] ], [ 2, [ 3, 2 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 2, 1 ], [ 14, 3 ] ], [ 3, [ 2, 2 ], [ 14, 3 ] ], [ 2, [ 2, 2 ], [ 14, 2 ] ], [ 1, [ 7, 1 ], [ 14, 1 ] ], [ -1, [ 3, 2 ], [ 14, 2 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ -1, [ 2, 1 ], [ 14, 4 ] ], [ -2, [ 2, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 9, 1 ] ], [ -7, [ 3, 2 ], [ 14, 1 ] ], [ -7, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -7, [ 2, 1 ], [ 14, 3 ] ], [ -15, [ 2, 2 ], [ 14, 3 ] ], [ -7, [ 2, 2 ], [ 14, 2 ] ], [ -1, [ 3, 2 ], [ 14, 2 ] ], [ -4, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ -7, [ 2, 1 ], [ 14, 4 ] ], [ 1, [ 8, 1 ], [ 14, 1 ] ], [ 1, [ 7, 1 ], [ 14, 2 ] ], [ -7, [ 3, 2 ], [ 14, 3 ] ], [ -10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ -10, [ 2, 1 ], [ 14, 5 ] ], [ -20, [ 2, 2 ], [ 14, 5 ] ], [ -3, [ 4, 2 ], [ 14, 1 ] ], [ -3, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ -3, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ -3, [ 3, 1 ], [ 14, 3 ] ], [ -15, [ 2, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 10, 1 ] ], [ 2, [ 2, 2 ], [ 14, 2 ] ], [ 2, [ 3, 2 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 2, 1 ], [ 14, 3 ] ], [ 1, [ 3, 3 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ 1, [ 2, 1 ], [ 14, 4 ] ], [ 8, [ 2, 2 ], [ 14, 3 ] ], [ 6, [ 2, 2 ], [ 14, 4 ] ], [ 1, [ 2, 3 ], [ 14, 2 ] ], [ 6, [ 2, 3 ], [ 14, 3 ] ], [ 6, [ 2, 3 ], [ 14, 4 ] ] ], [ [ 1, [ 11, 1 ] ], [ 4, [ 2, 2 ], [ 14, 2 ] ], [ 4, [ 3, 2 ], [ 14, 1 ] ], [ 4, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 4, [ 2, 1 ], [ 14, 3 ] ], [ 1, [ 2, 2 ], [ 14, 3 ] ], [ 3, [ 3, 2 ], [ 14, 2 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 3, [ 2, 1 ], [ 14, 4 ] ], [ 4, [ 3, 2 ], [ 14, 3 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ 3, [ 2, 1 ], [ 14, 5 ] ], [ 1, [ 9, 1 ], [ 14, 1 ] ], [ 1, [ 8, 1 ], [ 14, 2 ] ], [ 1, [ 7, 1 ], [ 14, 3 ] ], [ 2, [ 4, 2 ], [ 14, 2 ] ], [ 2, [ 3, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ 2, [ 2, 1 ], [ 4, 1 ], [ 14, 4 ] ], [ 2, [ 3, 1 ], [ 14, 4 ] ], [ 3, [ 3, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 12, 1 ] ], [ -4, [ 2, 2 ], [ 14, 2 ] ], [ 16, [ 2, 2 ], [ 14, 3 ] ], [ 4, [ 3, 2 ], [ 14, 2 ] ], [ 5, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 7, [ 2, 1 ], [ 14, 4 ] ], [ 16, [ 2, 2 ], [ 14, 4 ] ], [ 8, [ 3, 2 ], [ 14, 3 ] ], [ 2, [ 4, 2 ], [ 14, 1 ] ], [ 2, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ 2, [ 3, 1 ], [ 14, 3 ] ], [ 7, [ 2, 3 ], [ 14, 2 ] ], [ 3, [ 3, 3 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 2, 3 ], [ 14, 3 ] ], [ -7, [ 3, 3 ], [ 14, 2 ] ], [ -9, [ 2, 1 ], [ 3, 2 ], [ 14, 3 ] ], [ -20, [ 2, 2 ], [ 3, 1 ], [ 14, 4 ] ], [ -1, [ 3, 2 ], [ 4, 1 ], [ 14, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ -1, [ 2, 2 ], [ 4, 1 ], [ 14, 2 ] ], [ -2, [ 2, 2 ], [ 4, 1 ], [ 14, 3 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -8, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ -1, [ 2, 1 ], [ 14, 3 ] ], [ -40, [ 2, 3 ], [ 14, 5 ] ], [ -35, [ 2, 3 ], [ 14, 4 ] ], [ -20, [ 2, 2 ], [ 14, 5 ] ] ], [ [ 1, [ 13, 1 ] ], [ -2, [ 2, 2 ], [ 14, 2 ] ], [ -4, [ 3, 2 ], [ 14, 1 ] ], [ -2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -2, [ 2, 1 ], [ 14, 3 ] ], [ 7, [ 2, 2 ], [ 14, 3 ] ], [ 3, [ 3, 2 ], [ 14, 2 ] ], [ 9, [ 2, 1 ], [ 14, 4 ] ], [ -4, [ 3, 2 ], [ 14, 3 ] ], [ -1, [ 4, 2 ], [ 14, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ -1, [ 3, 1 ], [ 14, 3 ] ], [ 23, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ 9, [ 3, 3 ], [ 14, 2 ] ], [ 13, [ 2, 1 ], [ 3, 2 ], [ 14, 3 ] ], [ 27, [ 2, 3 ], [ 14, 3 ] ], [ -2, [ 2, 3 ], [ 14, 2 ] ], [ 2, [ 3, 2 ], [ 4, 1 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 2, [ 2, 2 ], [ 4, 1 ], [ 14, 2 ] ], [ 4, [ 2, 2 ], [ 4, 1 ], [ 14, 3 ] ], [ 4, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 10, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ 30, [ 2, 2 ], [ 3, 1 ], [ 14, 4 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 10, [ 2, 1 ], [ 14, 5 ] ], [ 70, [ 2, 2 ], [ 14, 5 ] ], [ 72, [ 2, 2 ], [ 14, 4 ] ], [ 100, [ 2, 3 ], [ 14, 4 ] ], [ 80, [ 2, 3 ], [ 14, 5 ] ], [ 1, [ 10, 1 ], [ 14, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 15, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 4, 1 ], [ 15, 1 ] ], [ 1, [ 5, 1 ], [ 15, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ -2, [ 4, 1 ], [ 15, 1 ] ], [ 2, [ 6, 1 ], [ 15, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 7, [ 4, 1 ], [ 15, 1 ] ], [ -7, [ 6, 1 ], [ 15, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ -1, [ 4, 1 ], [ 15, 1 ] ], [ 1, [ 6, 1 ], [ 15, 1 ] ], [ 3, [ 7, 1 ], [ 15, 1 ] ], [ 1, [ 4, 1 ], [ 15, 2 ] ], [ 3, [ 5, 1 ], [ 15, 2 ] ], [ 1, [ 8, 1 ], [ 15, 1 ] ], [ 2, [ 6, 1 ], [ 15, 2 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 4, 1 ], [ 15, 1 ] ], [ 4, [ 6, 1 ], [ 15, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 2, [ 7, 1 ], [ 15, 1 ] ], [ 9, [ 4, 1 ], [ 15, 2 ] ], [ 2, [ 5, 1 ], [ 15, 2 ] ], [ 1, [ 9, 1 ], [ 15, 1 ] ], [ -7, [ 6, 1 ], [ 15, 2 ] ], [ 1, [ 4, 2 ], [ 15, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 4, [ 4, 1 ], [ 15, 1 ] ], [ -4, [ 6, 1 ], [ 15, 1 ] ], [ -6, [ 7, 1 ], [ 15, 1 ] ], [ -6, [ 4, 1 ], [ 15, 2 ] ], [ -6, [ 5, 1 ], [ 15, 2 ] ], [ -2, [ 4, 2 ], [ 15, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 16, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ -1, [ 4, 1 ], [ 16, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 2, [ 4, 1 ], [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 16, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ -7, [ 4, 1 ], [ 16, 1 ] ], [ 5, [ 5, 1 ], [ 16, 1 ] ], [ 2, [ 6, 1 ], [ 16, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 2, [ 4, 1 ], [ 16, 1 ] ], [ -1, [ 7, 1 ], [ 16, 1 ] ], [ 1, [ 4, 1 ], [ 16, 2 ] ] ], [ [ 1, [ 11, 1 ] ], [ 4, [ 4, 1 ], [ 16, 1 ] ], [ 3, [ 5, 1 ], [ 16, 1 ] ], [ 3, [ 6, 1 ], [ 16, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 4, 1 ], [ 16, 1 ] ], [ 3, [ 5, 1 ], [ 16, 1 ] ], [ 2, [ 6, 1 ], [ 16, 1 ] ], [ 1, [ 7, 1 ], [ 16, 1 ] ], [ 5, [ 4, 1 ], [ 16, 2 ] ], [ 3, [ 8, 1 ], [ 16, 1 ] ], [ -3, [ 5, 1 ], [ 16, 2 ] ], [ -1, [ 4, 2 ], [ 16, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -6, [ 4, 1 ], [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 16, 1 ] ], [ -1, [ 6, 1 ], [ 16, 1 ] ], [ 2, [ 7, 1 ], [ 16, 1 ] ], [ -4, [ 4, 1 ], [ 16, 2 ] ], [ -1, [ 8, 1 ], [ 16, 1 ] ], [ 1, [ 5, 1 ], [ 16, 2 ] ], [ 2, [ 4, 2 ], [ 16, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 17, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ -3, [ 5, 1 ], [ 17, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 2, [ 6, 1 ], [ 17, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 2, [ 5, 1 ], [ 17, 1 ] ], [ 1, [ 7, 1 ], [ 17, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -1, [ 5, 1 ], [ 17, 1 ] ], [ -2, [ 7, 1 ], [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 18, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 19, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 20, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 21, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 23, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 26, 1 ] ] ] ] ] gap> dto := DTP_DTObjFromCollector(coll, false);; gap> dto![PC_DTPPolynomials]; [ [ [ 1, [ 1, 1 ] ], [ 1, [ 14, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 15, 1 ] ] ] , [ [ 1, [ 3, 1 ] ], [ 1, [ 16, 1 ] ], [ 1, [ 2, 1 ], [ 14, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 17, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 14, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 14, 3 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 19, 1 ] ], [ 1, [ 5, 1 ], [ 14, 1 ] ], [ 1, [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 3, 1 ], [ 14, 3 ] ], [ 1, [ 2, 1 ], [ 14, 4 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 5, 1 ], [ 15, 1 ] ], [ 1, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -1, [ 3, 2 ], [ 14, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -1, [ 4, 1 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 3 ] ], [ -1, [ 2, 2 ], [ 14, 2 ] ], [ -2, [ 2, 2 ], [ 14, 3 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 21, 1 ] ], [ -2, [ 4, 1 ], [ 15, 1 ] ], [ -2, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ -2, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 2, [ 3, 2 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 4, 1 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 3 ] ], [ 3, [ 2, 2 ], [ 14, 3 ] ], [ 2, [ 2, 2 ], [ 14, 2 ] ], [ 1, [ 7, 1 ], [ 14, 1 ] ], [ 2, [ 6, 1 ], [ 15, 1 ] ], [ 2, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 2, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 2, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 2, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ -1, [ 3, 2 ], [ 14, 2 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ -1, [ 5, 1 ], [ 16, 1 ] ], [ -1, [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 4 ] ], [ -2, [ 2, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 22, 1 ] ], [ 7, [ 4, 1 ], [ 15, 1 ] ], [ 7, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 7, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -7, [ 3, 2 ], [ 14, 1 ] ], [ -7, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -7, [ 4, 1 ], [ 16, 1 ] ], [ -7, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -7, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -7, [ 2, 1 ], [ 14, 3 ] ], [ -15, [ 2, 2 ], [ 14, 3 ] ], [ -7, [ 2, 2 ], [ 14, 2 ] ], [ -7, [ 6, 1 ], [ 15, 1 ] ], [ -7, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ -7, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -7, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -7, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ -1, [ 3, 2 ], [ 14, 2 ] ], [ -4, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 5, [ 5, 1 ], [ 16, 1 ] ], [ 5, [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 5, [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 5, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ -7, [ 2, 1 ], [ 14, 4 ] ], [ 1, [ 8, 1 ], [ 14, 1 ] ], [ 1, [ 7, 1 ], [ 14, 2 ] ], [ -7, [ 3, 2 ], [ 14, 3 ] ], [ -10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ 2, [ 6, 1 ], [ 16, 1 ] ], [ 2, [ 5, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 4 ], [ 16, 1 ] ], [ -10, [ 2, 1 ], [ 14, 5 ] ], [ -20, [ 2, 2 ], [ 14, 5 ] ], [ -3, [ 4, 2 ], [ 14, 1 ] ], [ -3, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ -3, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ -3, [ 5, 1 ], [ 17, 1 ] ], [ -3, [ 4, 1 ], [ 14, 1 ], [ 17, 1 ] ], [ -3, [ 3, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ -3, [ 2, 1 ], [ 14, 3 ], [ 17, 1 ] ], [ -3, [ 3, 1 ], [ 14, 3 ] ], [ -15, [ 2, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 23, 1 ] ], [ 2, [ 2, 2 ], [ 14, 2 ] ], [ -1, [ 4, 1 ], [ 15, 1 ] ], [ -1, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ -1, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 2, [ 3, 2 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 4, 1 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 3 ] ], [ 1, [ 6, 1 ], [ 15, 1 ] ], [ 1, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 3, [ 7, 1 ], [ 15, 1 ] ], [ 1, [ 4, 1 ], [ 15, 2 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ 3, [ 5, 1 ], [ 15, 2 ] ], [ 3, [ 4, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ 3, [ 3, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ 3, [ 2, 1 ], [ 14, 3 ], [ 15, 2 ] ], [ 1, [ 8, 1 ], [ 15, 1 ] ], [ 1, [ 7, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 2, [ 6, 1 ], [ 15, 2 ] ], [ 2, [ 5, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ 2, [ 4, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ 2, [ 3, 1 ], [ 14, 3 ], [ 15, 2 ] ], [ 2, [ 2, 1 ], [ 14, 4 ], [ 15, 2 ] ], [ -1, [ 3, 2 ], [ 14, 1 ], [ 15, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -1, [ 3, 2 ], [ 14, 2 ], [ 15, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 1, [ 3, 3 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ -1, [ 7, 1 ], [ 16, 1 ] ], [ -1, [ 4, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ], [ 16, 1 ] ], [ 1, [ 3, 2 ], [ 14, 1 ], [ 16, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 1, [ 4, 1 ], [ 16, 2 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 16, 2 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 16, 2 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 1, [ 2, 2 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 2, 2 ], [ 14, 3 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -1, [ 2, 2 ], [ 14, 2 ], [ 15, 1 ] ], [ -3, [ 2, 2 ], [ 14, 3 ], [ 15, 1 ] ], [ -2, [ 2, 2 ], [ 14, 4 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 14, 4 ] ], [ 8, [ 2, 2 ], [ 14, 3 ] ], [ 6, [ 2, 2 ], [ 14, 4 ] ], [ 1, [ 2, 3 ], [ 14, 2 ] ], [ 6, [ 2, 3 ], [ 14, 3 ] ], [ 6, [ 2, 3 ], [ 14, 4 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 24, 1 ] ], [ 4, [ 2, 2 ], [ 14, 2 ] ], [ 1, [ 4, 1 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 4, [ 3, 2 ], [ 14, 1 ] ], [ 4, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ 4, [ 4, 1 ], [ 16, 1 ] ], [ 4, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 4, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 4, [ 2, 1 ], [ 14, 3 ] ], [ 1, [ 2, 2 ], [ 14, 3 ] ], [ 4, [ 6, 1 ], [ 15, 1 ] ], [ 4, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 4, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 4, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 4, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ 3, [ 3, 2 ], [ 14, 2 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 3, [ 5, 1 ], [ 16, 1 ] ], [ 3, [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 3, [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 3, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 3, [ 2, 1 ], [ 14, 4 ] ], [ 4, [ 3, 2 ], [ 14, 3 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ 3, [ 6, 1 ], [ 16, 1 ] ], [ 3, [ 5, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 3, [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 3, [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 3, [ 2, 1 ], [ 14, 4 ], [ 16, 1 ] ], [ 3, [ 2, 1 ], [ 14, 5 ] ], [ 1, [ 9, 1 ], [ 14, 1 ] ], [ 1, [ 8, 1 ], [ 14, 2 ] ], [ 1, [ 7, 1 ], [ 14, 3 ] ], [ 2, [ 4, 2 ], [ 14, 2 ] ], [ 2, [ 3, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ 2, [ 2, 1 ], [ 4, 1 ], [ 14, 4 ] ], [ 2, [ 6, 1 ], [ 17, 1 ] ], [ 2, [ 5, 1 ], [ 14, 1 ], [ 17, 1 ] ], [ 2, [ 4, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ 2, [ 3, 1 ], [ 14, 3 ], [ 17, 1 ] ], [ 2, [ 2, 1 ], [ 14, 4 ], [ 17, 1 ] ], [ 2, [ 3, 1 ], [ 14, 4 ] ], [ 3, [ 3, 2 ], [ 14, 4 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 25, 1 ] ], [ 1, [ 4, 1 ], [ 16, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -4, [ 2, 2 ], [ 14, 2 ] ], [ 16, [ 2, 2 ], [ 14, 3 ] ], [ 4, [ 3, 2 ], [ 14, 2 ] ], [ 5, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 3, [ 5, 1 ], [ 16, 1 ] ], [ 3, [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 5, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 7, [ 2, 1 ], [ 14, 4 ] ], [ 16, [ 2, 2 ], [ 14, 4 ] ], [ 8, [ 3, 2 ], [ 14, 3 ] ], [ 2, [ 6, 1 ], [ 16, 1 ] ], [ 2, [ 5, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ -4, [ 2, 1 ], [ 14, 4 ], [ 16, 1 ] ], [ 2, [ 4, 2 ], [ 14, 1 ] ], [ 2, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ 2, [ 5, 1 ], [ 17, 1 ] ], [ 2, [ 4, 1 ], [ 14, 1 ], [ 17, 1 ] ], [ 2, [ 3, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 17, 1 ] ], [ 2, [ 3, 1 ], [ 14, 3 ] ], [ 7, [ 2, 3 ], [ 14, 2 ] ], [ 2, [ 7, 1 ], [ 15, 1 ] ], [ 9, [ 4, 1 ], [ 15, 2 ] ], [ 9, [ 3, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ 9, [ 2, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ -1, [ 2, 2 ], [ 14, 3 ], [ 15, 1 ] ], [ 2, [ 5, 1 ], [ 15, 2 ] ], [ 2, [ 4, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ 2, [ 3, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ 2, [ 2, 1 ], [ 14, 3 ], [ 15, 2 ] ], [ -4, [ 3, 2 ], [ 14, 1 ], [ 15, 1 ] ], [ -3, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 5, [ 3, 2 ], [ 14, 2 ], [ 15, 1 ] ], [ 7, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 3, [ 3, 3 ], [ 14, 1 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 1, [ 7, 1 ], [ 16, 1 ] ], [ -5, [ 4, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -5, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -5, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ 1, [ 5, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 1, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ], [ 16, 1 ] ], [ 4, [ 3, 2 ], [ 14, 1 ], [ 16, 1 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 5, [ 4, 1 ], [ 16, 2 ] ], [ 5, [ 3, 1 ], [ 14, 1 ], [ 16, 2 ] ], [ 5, [ 2, 1 ], [ 14, 2 ], [ 16, 2 ] ], [ 4, [ 2, 2 ], [ 14, 2 ], [ 16, 1 ] ], [ 1, [ 2, 2 ], [ 14, 3 ], [ 16, 1 ] ], [ -2, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 8, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ 39, [ 2, 2 ], [ 14, 4 ], [ 15, 1 ] ], [ 2, [ 2, 3 ], [ 14, 3 ] ], [ 1, [ 9, 1 ], [ 15, 1 ] ], [ -7, [ 6, 1 ], [ 15, 2 ] ], [ -7, [ 5, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ -7, [ 4, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ -7, [ 3, 1 ], [ 14, 3 ], [ 15, 2 ] ], [ -7, [ 2, 1 ], [ 14, 4 ], [ 15, 2 ] ], [ 1, [ 8, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 7, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 9, [ 3, 2 ], [ 14, 3 ], [ 15, 1 ] ], [ 10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ -7, [ 3, 3 ], [ 14, 2 ] ], [ -9, [ 2, 1 ], [ 3, 2 ], [ 14, 3 ] ], [ -20, [ 2, 2 ], [ 3, 1 ], [ 14, 4 ] ], [ 3, [ 8, 1 ], [ 16, 1 ] ], [ 3, [ 7, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 6, [ 6, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 6, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 6, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ 6, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ], [ 16, 1 ] ], [ 6, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ], [ 16, 1 ] ], [ -5, [ 3, 2 ], [ 14, 2 ], [ 16, 1 ] ], [ -6, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ -3, [ 5, 1 ], [ 16, 2 ] ], [ -3, [ 4, 1 ], [ 14, 1 ], [ 16, 2 ] ], [ -3, [ 3, 1 ], [ 14, 2 ], [ 16, 2 ] ], [ -3, [ 2, 1 ], [ 14, 3 ], [ 16, 2 ] ], [ -12, [ 2, 2 ], [ 14, 4 ], [ 16, 1 ] ], [ 10, [ 2, 1 ], [ 14, 5 ], [ 15, 1 ] ], [ 40, [ 2, 2 ], [ 14, 5 ], [ 15, 1 ] ], [ 1, [ 4, 2 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 4, 2 ], [ 14, 1 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -1, [ 3, 2 ], [ 4, 1 ], [ 14, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ -1, [ 4, 2 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -1, [ 2, 2 ], [ 4, 1 ], [ 14, 2 ] ], [ -2, [ 2, 2 ], [ 4, 1 ], [ 14, 3 ] ], [ 1, [ 7, 1 ], [ 17, 1 ] ], [ 1, [ 4, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 5, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ], [ 17, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ], [ 17, 1 ] ], [ -1, [ 3, 2 ], [ 14, 1 ], [ 17, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ -1, [ 4, 1 ], [ 16, 1 ], [ 17, 1 ] ], [ -1, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ], [ 17, 1 ] ], [ -1, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ], [ 17, 1 ] ], [ -1, [ 2, 2 ], [ 14, 2 ], [ 17, 1 ] ], [ -2, [ 2, 2 ], [ 14, 3 ], [ 17, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ 1, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -8, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ -1, [ 2, 1 ], [ 14, 3 ] ], [ -40, [ 2, 3 ], [ 14, 5 ] ], [ -35, [ 2, 3 ], [ 14, 4 ] ], [ -20, [ 2, 2 ], [ 14, 5 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 26, 1 ] ], [ -2, [ 2, 2 ], [ 14, 2 ] ], [ 4, [ 4, 1 ], [ 15, 1 ] ], [ 4, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ 4, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -4, [ 3, 2 ], [ 14, 1 ] ], [ -2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ] ], [ -6, [ 4, 1 ], [ 16, 1 ] ], [ -6, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -6, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -2, [ 2, 1 ], [ 14, 3 ] ], [ 7, [ 2, 2 ], [ 14, 3 ] ], [ -4, [ 6, 1 ], [ 15, 1 ] ], [ -4, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ -4, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -6, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -16, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ 3, [ 3, 2 ], [ 14, 2 ] ], [ -1, [ 5, 1 ], [ 16, 1 ] ], [ -1, [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 9, [ 2, 1 ], [ 14, 4 ] ], [ -4, [ 3, 2 ], [ 14, 3 ] ], [ -1, [ 6, 1 ], [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -1, [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ -1, [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ -1, [ 4, 2 ], [ 14, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ] ], [ -1, [ 5, 1 ], [ 17, 1 ] ], [ -1, [ 4, 1 ], [ 14, 1 ], [ 17, 1 ] ], [ -1, [ 3, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 17, 1 ] ], [ -1, [ 3, 1 ], [ 14, 3 ] ], [ -6, [ 7, 1 ], [ 15, 1 ] ], [ -6, [ 4, 1 ], [ 15, 2 ] ], [ -6, [ 3, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ -6, [ 2, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ -6, [ 5, 1 ], [ 15, 2 ] ], [ -6, [ 4, 1 ], [ 14, 1 ], [ 15, 2 ] ], [ -6, [ 3, 1 ], [ 14, 2 ], [ 15, 2 ] ], [ -6, [ 2, 1 ], [ 14, 3 ], [ 15, 2 ] ], [ 2, [ 3, 2 ], [ 14, 1 ], [ 15, 1 ] ], [ 23, [ 2, 2 ], [ 3, 1 ], [ 14, 3 ] ], [ 2, [ 7, 1 ], [ 16, 1 ] ], [ 4, [ 4, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 4, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 4, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ 2, [ 5, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 2, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ], [ 16, 1 ] ], [ -2, [ 3, 2 ], [ 14, 1 ], [ 16, 1 ] ], [ -4, [ 4, 1 ], [ 16, 2 ] ], [ -4, [ 3, 1 ], [ 14, 1 ], [ 16, 2 ] ], [ -4, [ 2, 1 ], [ 14, 2 ], [ 16, 2 ] ], [ 5, [ 2, 2 ], [ 14, 3 ], [ 16, 1 ] ], [ -8, [ 3, 2 ], [ 14, 3 ], [ 15, 1 ] ], [ -10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ], [ 15, 1 ] ], [ 9, [ 3, 3 ], [ 14, 2 ] ], [ 13, [ 2, 1 ], [ 3, 2 ], [ 14, 3 ] ], [ -1, [ 8, 1 ], [ 16, 1 ] ], [ -2, [ 2, 2 ], [ 14, 2 ], [ 16, 1 ] ], [ -1, [ 7, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ -2, [ 6, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -2, [ 5, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ] ], [ -2, [ 4, 1 ], [ 14, 2 ], [ 15, 1 ], [ 16, 1 ] ], [ -2, [ 3, 1 ], [ 14, 3 ], [ 15, 1 ], [ 16, 1 ] ], [ -2, [ 2, 1 ], [ 14, 4 ], [ 15, 1 ], [ 16, 1 ] ], [ 5, [ 3, 2 ], [ 14, 2 ], [ 16, 1 ] ], [ 7, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ], [ 16, 1 ] ], [ 1, [ 5, 1 ], [ 16, 2 ] ], [ 1, [ 4, 1 ], [ 14, 1 ], [ 16, 2 ] ], [ 1, [ 3, 1 ], [ 14, 2 ], [ 16, 2 ] ], [ 1, [ 2, 1 ], [ 14, 3 ], [ 16, 2 ] ], [ 14, [ 2, 2 ], [ 14, 4 ], [ 16, 1 ] ], [ 27, [ 2, 3 ], [ 14, 3 ] ], [ -2, [ 2, 3 ], [ 14, 2 ] ], [ -10, [ 2, 1 ], [ 14, 5 ], [ 15, 1 ] ], [ -30, [ 2, 2 ], [ 14, 5 ], [ 15, 1 ] ], [ -2, [ 4, 2 ], [ 15, 1 ] ], [ -2, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 15, 1 ] ], [ -2, [ 2, 1 ], [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -2, [ 4, 2 ], [ 14, 1 ], [ 15, 1 ] ], [ -2, [ 3, 1 ], [ 4, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -2, [ 2, 1 ], [ 4, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 2, [ 3, 2 ], [ 4, 1 ], [ 14, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 2 ] ], [ 2, [ 4, 2 ], [ 16, 1 ] ], [ 2, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 16, 1 ] ], [ 2, [ 2, 1 ], [ 4, 1 ], [ 14, 2 ], [ 16, 1 ] ], [ 2, [ 2, 2 ], [ 4, 1 ], [ 14, 2 ] ], [ 4, [ 2, 2 ], [ 4, 1 ], [ 14, 3 ] ], [ -2, [ 7, 1 ], [ 17, 1 ] ], [ -2, [ 4, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 3, 1 ], [ 14, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 2, 1 ], [ 14, 2 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 5, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 4, 1 ], [ 14, 1 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ], [ 17, 1 ] ], [ -2, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ], [ 17, 1 ] ], [ 2, [ 3, 2 ], [ 14, 1 ], [ 17, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 14, 2 ], [ 17, 1 ] ], [ 2, [ 4, 1 ], [ 16, 1 ], [ 17, 1 ] ], [ 2, [ 3, 1 ], [ 14, 1 ], [ 16, 1 ], [ 17, 1 ] ], [ 2, [ 2, 1 ], [ 14, 2 ], [ 16, 1 ], [ 17, 1 ] ], [ 2, [ 2, 2 ], [ 14, 2 ], [ 17, 1 ] ], [ 4, [ 2, 2 ], [ 14, 3 ], [ 17, 1 ] ], [ -2, [ 3, 1 ], [ 14, 2 ], [ 15, 1 ] ], [ -6, [ 3, 2 ], [ 14, 2 ], [ 15, 1 ] ], [ -10, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ 4, [ 2, 1 ], [ 3, 2 ], [ 14, 2 ] ], [ 10, [ 2, 1 ], [ 3, 1 ], [ 14, 3 ] ], [ 10, [ 2, 1 ], [ 3, 1 ], [ 14, 4 ] ], [ 30, [ 2, 2 ], [ 3, 1 ], [ 14, 4 ] ], [ -36, [ 2, 2 ], [ 14, 4 ], [ 15, 1 ] ], [ -2, [ 2, 1 ], [ 14, 3 ], [ 15, 1 ] ], [ -6, [ 2, 2 ], [ 14, 3 ], [ 15, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 14, 2 ] ], [ 6, [ 2, 1 ], [ 14, 4 ], [ 16, 1 ] ], [ 10, [ 2, 1 ], [ 14, 5 ] ], [ 70, [ 2, 2 ], [ 14, 5 ] ], [ 72, [ 2, 2 ], [ 14, 4 ] ], [ 100, [ 2, 3 ], [ 14, 4 ] ], [ 80, [ 2, 3 ], [ 14, 5 ] ], [ 1, [ 10, 1 ], [ 14, 1 ] ] ] ] gap> coll := Collector(ExamplesOfSomePcpGroups(16));; gap> dto := DTP_DTObjFromCollector(coll, true);; gap> dto![PC_DTPPolynomials]; [ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 18, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 3, [ 2, 2 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 2, 4 ], [ 18, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 5, [ 2, 3 ], [ 18, 2 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 6, [ 2, 4 ], [ 18, 2 ] ] ], [ [ 1, [ 9, 1 ] ], [ -1, [ 4, 1 ], [ 18, 1 ] ], [ -1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ -3, [ 2, 2 ], [ 18, 2 ] ], [ -1, [ 2, 2 ], [ 18, 1 ] ], [ -2, [ 2, 3 ], [ 18, 1 ] ], [ -4, [ 2, 3 ], [ 18, 2 ] ], [ 1, [ 7, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 8, 1 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ 3, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 7, [ 2, 2 ], [ 18, 3 ] ], [ 4, [ 2, 2 ], [ 18, 2 ] ], [ 20, [ 2, 3 ], [ 18, 2 ] ], [ 24, [ 2, 3 ], [ 18, 3 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 18, [ 2, 4 ], [ 18, 2 ] ], [ 18, [ 2, 4 ], [ 18, 3 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 9, [ 2, 3 ], [ 18, 2 ] ], [ 3, [ 2, 3 ], [ 18, 1 ] ], [ 10, [ 2, 4 ], [ 18, 1 ] ], [ 21, [ 2, 4 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 6, [ 2, 5 ], [ 18, 1 ] ], [ 12, [ 2, 5 ], [ 18, 2 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 9, 1 ], [ 18, 1 ] ], [ 1, [ 7, 1 ], [ 18, 2 ] ] ], [ [ 1, [ 13, 1 ] ], [ -3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ -11, [ 2, 3 ], [ 18, 2 ] ], [ -5, [ 2, 3 ], [ 18, 1 ] ], [ -5, [ 2, 4 ], [ 18, 1 ] ], [ -10, [ 2, 4 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 2, [ 2, 5 ], [ 18, 1 ] ], [ 4, [ 2, 5 ], [ 18, 2 ] ], [ -1, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 19, [ 2, 3 ], [ 18, 2 ] ], [ 3, [ 2, 3 ], [ 18, 1 ] ], [ 9, [ 2, 4 ], [ 18, 1 ] ], [ 54, [ 2, 4 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ 5, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 3, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ 6, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ 19, [ 2, 3 ], [ 18, 3 ] ], [ 54, [ 2, 4 ], [ 18, 3 ] ], [ 6, [ 2, 5 ], [ 18, 1 ] ], [ 36, [ 2, 5 ], [ 18, 2 ] ], [ 36, [ 2, 5 ], [ 18, 3 ] ] ], [ [ 1, [ 15, 1 ] ], [ 8, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 86, [ 2, 3 ], [ 18, 2 ] ], [ 11, [ 2, 3 ], [ 18, 1 ] ], [ 30, [ 2, 4 ], [ 18, 1 ] ], [ 186, [ 2, 4 ], [ 18, 2 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ 4, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 15, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 12, [ 2, 2 ], [ 18, 3 ] ], [ 7, [ 2, 2 ], [ 18, 2 ] ], [ 95, [ 2, 3 ], [ 18, 3 ] ], [ 189, [ 2, 4 ], [ 18, 3 ] ], [ 1, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ 6, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ 12, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ 18, [ 2, 5 ], [ 18, 1 ] ], [ 108, [ 2, 5 ], [ 18, 2 ] ], [ 108, [ 2, 5 ], [ 18, 3 ] ], [ 1, [ 11, 1 ], [ 18, 1 ] ], [ 1, [ 4, 2 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ] ], [ 3, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 4, 1 ], [ 18, 2 ] ] ], [ [ 1, [ 16, 1 ] ], [ -6, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ -30, [ 2, 3 ], [ 18, 2 ] ], [ -3, [ 2, 3 ], [ 18, 1 ] ], [ -7, [ 2, 4 ], [ 18, 1 ] ], [ -32, [ 2, 4 ], [ 18, 2 ] ], [ -2, [ 6, 1 ], [ 18, 1 ] ], [ -2, [ 4, 1 ], [ 18, 2 ] ], [ -2, [ 5, 1 ], [ 18, 2 ] ], [ -2, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ -5, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ -2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ -12, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ -9, [ 2, 2 ], [ 18, 3 ] ], [ -5, [ 2, 2 ], [ 18, 2 ] ], [ -34, [ 2, 3 ], [ 18, 3 ] ], [ -27, [ 2, 4 ], [ 18, 3 ] ], [ -2, [ 2, 5 ], [ 18, 1 ] ], [ -4, [ 2, 5 ], [ 18, 2 ] ], [ -2, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ -2, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ -6, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 4, 2 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ] ], [ 3, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 13, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 4, [ 2, 4 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 3, [ 2, 5 ], [ 18, 1 ] ], [ 4, [ 2, 5 ], [ 18, 2 ] ], [ 4, [ 2, 4 ], [ 4, 1 ], [ 18, 1 ] ] ] ] , [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 19, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 3, 1 ], [ 19, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 5, 1 ], [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 6, 1 ], [ 19, 1 ] ], [ 1, [ 3, 2 ], [ 19, 2 ] ] ], [ [ 1, [ 9, 1 ] ], [ -1, [ 3, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 3, 3 ], [ 19, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 3, [ 3, 2 ], [ 19, 2 ] ], [ 1, [ 8, 1 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 19, 2 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 3, [ 3, 2 ], [ 19, 3 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -1, [ 3, 2 ], [ 19, 2 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 2, [ 3, 2 ], [ 19, 3 ] ], [ 1, [ 9, 1 ], [ 19, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 3, 2 ], [ 19, 2 ] ], [ 1, [ 10, 1 ], [ 19, 1 ] ], [ 1, [ 3, 3 ], [ 19, 2 ] ] ], [ [ 1, [ 15, 1 ] ], [ 4, [ 3, 2 ], [ 19, 2 ] ], [ 3, [ 3, 3 ], [ 19, 1 ] ], [ 5, [ 3, 3 ], [ 19, 2 ] ], [ 1, [ 3, 2 ], [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 4, 2 ], [ 19, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ -1, [ 3, 1 ], [ 19, 3 ] ], [ -2, [ 3, 2 ], [ 19, 3 ] ], [ 1, [ 3, 2 ], [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ], [ 2, [ 3, 3 ], [ 19, 2 ] ], [ 2, [ 12, 1 ], [ 19, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 3, [ 11, 1 ], [ 19, 1 ] ], [ 3, [ 8, 1 ], [ 19, 2 ] ], [ 3, [ 6, 1 ], [ 19, 3 ] ], [ 1, [ 13, 1 ], [ 19, 1 ] ], [ 1, [ 9, 1 ], [ 19, 2 ] ], [ 4, [ 4, 2 ], [ 19, 2 ] ], [ 4, [ 3, 1 ], [ 4, 1 ], [ 19, 3 ] ], [ 4, [ 3, 1 ], [ 19, 4 ] ], [ 1, [ 3, 2 ], [ 19, 4 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 20, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 4, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ -1, [ 4, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 6, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 20, 2 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -3, [ 5, 1 ], [ 20, 1 ] ], [ -1, [ 7, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 1, [ 8, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 20, 2 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 1, [ 6, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 20, 2 ] ], [ 1, [ 8, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 20, 2 ] ], [ 1, [ 4, 2 ], [ 20, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 20, 1 ] ], [ -3, [ 6, 1 ], [ 20, 1 ] ], [ -2, [ 4, 1 ], [ 20, 2 ] ], [ 1, [ 7, 1 ], [ 20, 1 ] ], [ -2, [ 8, 1 ], [ 20, 1 ] ], [ -2, [ 5, 1 ], [ 20, 2 ] ], [ 1, [ 4, 2 ], [ 20, 1 ] ], [ -1, [ 9, 1 ], [ 20, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 3, [ 5, 1 ], [ 20, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 21, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 6, 1 ], [ 21, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 5, 1 ], [ 21, 1 ] ], [ 1, [ 6, 1 ], [ 21, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ], [ 4, [ 7, 1 ], [ 21, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 22, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 23, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 24, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 25, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 26, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 27, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 28, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 29, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 30, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 31, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 32, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 33, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 34, 1 ] ] ] ] ] gap> dto := DTP_DTObjFromCollector(coll, false);; gap> dto![PC_DTPPolynomials]; [ [ [ 1, [ 1, 1 ] ], [ 1, [ 18, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 19, 1 ] ] ] , [ [ 1, [ 3, 1 ] ], [ 1, [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ] ], [ 1, [ 3, 1 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 22, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ] ] ], [ [ 1, [ 6, 1 ] ], [ 1, [ 23, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 7, 1 ] ], [ 1, [ 24, 1 ] ], [ 1, [ 2, 4 ], [ 18, 1 ] ], [ 1, [ 5, 1 ], [ 19, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 25, 1 ] ], [ 1, [ 6, 1 ], [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 2 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 5, [ 2, 3 ], [ 18, 2 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 6, [ 2, 4 ], [ 18, 2 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ] ], [ [ 1, [ 9, 1 ] ], [ 1, [ 26, 1 ] ], [ -1, [ 4, 1 ], [ 18, 1 ] ], [ -1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ -1, [ 3, 2 ], [ 19, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ -1, [ 4, 1 ], [ 20, 1 ] ], [ -1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ] ], [ -1, [ 3, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -3, [ 2, 2 ], [ 18, 2 ] ], [ -1, [ 2, 2 ], [ 18, 1 ] ], [ -2, [ 2, 3 ], [ 18, 1 ] ], [ -4, [ 2, 3 ], [ 18, 2 ] ], [ -1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ -1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ -2, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 7, 1 ], [ 18, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ 1, [ 27, 1 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 8, 1 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ 1, [ 3, 3 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 3, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 20, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 2 ] ], [ 1, [ 3, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 7, [ 2, 2 ], [ 18, 3 ] ], [ 4, [ 2, 2 ], [ 18, 2 ] ], [ 20, [ 2, 3 ], [ 18, 2 ] ], [ 24, [ 2, 3 ], [ 18, 3 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 18, [ 2, 4 ], [ 18, 2 ] ], [ 18, [ 2, 4 ], [ 18, 3 ] ], [ 1, [ 2, 1 ], [ 18, 3 ], [ 19, 1 ] ], [ 4, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 6, [ 2, 2 ], [ 18, 3 ], [ 19, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 6, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 6, [ 2, 3 ], [ 18, 3 ], [ 19, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 28, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 3, [ 3, 2 ], [ 19, 2 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 9, [ 2, 3 ], [ 18, 2 ] ], [ 3, [ 2, 3 ], [ 18, 1 ] ], [ 10, [ 2, 4 ], [ 18, 1 ] ], [ 21, [ 2, 4 ], [ 18, 2 ] ], [ 7, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 9, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 19, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 3, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 6, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 13, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 8, 1 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 19, 2 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 6, [ 2, 5 ], [ 18, 1 ] ], [ 12, [ 2, 5 ], [ 18, 2 ] ], [ 6, [ 2, 4 ], [ 18, 1 ], [ 19, 1 ] ], [ 12, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 5, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ 10, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 3, [ 3, 2 ], [ 19, 3 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 3, [ 2, 1 ], [ 18, 2 ], [ 19, 3 ] ], [ 3, [ 2, 2 ], [ 18, 1 ], [ 19, 3 ] ], [ 6, [ 2, 2 ], [ 18, 2 ], [ 19, 3 ] ] ], [ [ 1, [ 12, 1 ] ], [ 1, [ 29, 1 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 9, 1 ], [ 18, 1 ] ], [ 1, [ 7, 1 ], [ 18, 2 ] ] ], [ [ 1, [ 13, 1 ] ], [ 1, [ 30, 1 ] ], [ -3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ -2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ -1, [ 3, 2 ], [ 19, 2 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ -3, [ 5, 1 ], [ 20, 1 ] ], [ -3, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ -3, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -3, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -3, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ -3, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ -11, [ 2, 3 ], [ 18, 2 ] ], [ -5, [ 2, 3 ], [ 18, 1 ] ], [ -5, [ 2, 4 ], [ 18, 1 ] ], [ -10, [ 2, 4 ], [ 18, 2 ] ], [ -5, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ -1, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 2, [ 2, 5 ], [ 18, 1 ] ], [ 4, [ 2, 5 ], [ 18, 2 ] ], [ 3, [ 2, 4 ], [ 18, 1 ], [ 19, 1 ] ], [ 6, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 3, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ 6, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 2, [ 3, 2 ], [ 19, 3 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 2, [ 2, 1 ], [ 18, 2 ], [ 19, 3 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 2, [ 2, 2 ], [ 18, 1 ], [ 19, 3 ] ], [ 4, [ 2, 2 ], [ 18, 2 ], [ 19, 3 ] ], [ 1, [ 9, 1 ], [ 19, 1 ] ], [ -1, [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 7, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ -1, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ -1, [ 7, 1 ], [ 20, 1 ] ], [ -1, [ 2, 4 ], [ 18, 1 ], [ 20, 1 ] ], [ -1, [ 5, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -1, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -1, [ 4, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ -1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ -1, [ 3, 1 ], [ 19, 3 ], [ 20, 1 ] ], [ -1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ], [ 20, 1 ] ], [ -1, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ -2, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 31, 1 ] ], [ 3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 2 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 3, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 2, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 19, [ 2, 3 ], [ 18, 2 ] ], [ 3, [ 2, 3 ], [ 18, 1 ] ], [ 9, [ 2, 4 ], [ 18, 1 ] ], [ 54, [ 2, 4 ], [ 18, 2 ] ], [ 7, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 24, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 6, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 10, 1 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 4, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 5, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 8, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 3 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 3, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 5, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 3, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ 6, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ 3, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 8, 1 ], [ 20, 1 ] ], [ 1, [ 6, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 3, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 20, 2 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 20, 2 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ 5, [ 2, 3 ], [ 18, 2 ], [ 20, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ], [ 20, 1 ] ], [ 6, [ 2, 4 ], [ 18, 2 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 19, [ 2, 3 ], [ 18, 3 ] ], [ 54, [ 2, 4 ], [ 18, 3 ] ], [ 6, [ 2, 5 ], [ 18, 1 ] ], [ 36, [ 2, 5 ], [ 18, 2 ] ], [ 36, [ 2, 5 ], [ 18, 3 ] ], [ 7, [ 2, 2 ], [ 18, 3 ], [ 19, 1 ] ], [ 24, [ 2, 3 ], [ 18, 3 ], [ 19, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ], [ 19, 1 ] ], [ 18, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 18, [ 2, 4 ], [ 18, 3 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 3 ], [ 19, 2 ] ], [ 6, [ 2, 2 ], [ 18, 3 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ 6, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 6, [ 2, 3 ], [ 18, 3 ], [ 19, 2 ] ] ], [ [ 1, [ 15, 1 ] ], [ 1, [ 32, 1 ] ], [ 8, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 9, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 3, 2 ], [ 19, 2 ] ], [ 4, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 20, 1 ] ], [ 8, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 6, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 2, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 2, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 86, [ 2, 3 ], [ 18, 2 ] ], [ 11, [ 2, 3 ], [ 18, 1 ] ], [ 30, [ 2, 4 ], [ 18, 1 ] ], [ 186, [ 2, 4 ], [ 18, 2 ] ], [ 38, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 4, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 17, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ 108, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 4, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 4, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 28, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 6, 1 ], [ 18, 1 ] ], [ 1, [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 5, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ 3, [ 3, 3 ], [ 19, 1 ] ], [ 3, [ 2, 1 ], [ 3, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ 15, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 16, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 2, [ 3, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 20, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 2 ] ], [ 1, [ 3, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 4, [ 2, 2 ], [ 18, 2 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ] ], [ 15, [ 2, 3 ], [ 18, 2 ], [ 20, 1 ] ], [ 2, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 11, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 12, [ 2, 2 ], [ 18, 3 ] ], [ 7, [ 2, 2 ], [ 18, 2 ] ], [ 95, [ 2, 3 ], [ 18, 3 ] ], [ 189, [ 2, 4 ], [ 18, 3 ] ], [ 3, [ 2, 1 ], [ 18, 3 ], [ 19, 1 ] ], [ 44, [ 2, 2 ], [ 18, 3 ], [ 19, 1 ] ], [ 111, [ 2, 3 ], [ 18, 3 ], [ 19, 1 ] ], [ 1, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ 3, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 5, [ 3, 3 ], [ 19, 2 ] ], [ 5, [ 2, 1 ], [ 3, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 6, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ 12, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ 7, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 14, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 5, [ 2, 1 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 5, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 10, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 8, 1 ], [ 20, 1 ] ], [ 1, [ 6, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 3, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 3, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 20, 2 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 20, 2 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ 6, [ 2, 4 ], [ 18, 1 ], [ 20, 1 ] ], [ 12, [ 2, 4 ], [ 18, 2 ], [ 20, 1 ] ], [ 5, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 10, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 2, 1 ], [ 18, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 6, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ], [ 20, 1 ] ], [ 18, [ 2, 5 ], [ 18, 1 ] ], [ 108, [ 2, 5 ], [ 18, 2 ] ], [ 108, [ 2, 5 ], [ 18, 3 ] ], [ 12, [ 2, 4 ], [ 18, 1 ], [ 19, 1 ] ], [ 72, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 72, [ 2, 4 ], [ 18, 3 ], [ 19, 1 ] ], [ 5, [ 2, 1 ], [ 18, 3 ], [ 19, 2 ] ], [ 30, [ 2, 2 ], [ 18, 3 ], [ 19, 2 ] ], [ 5, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ 30, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 30, [ 2, 3 ], [ 18, 3 ], [ 19, 2 ] ], [ 1, [ 11, 1 ], [ 18, 1 ] ], [ 1, [ 4, 2 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 3, 2 ], [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 4, 2 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ] ], [ 2, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 3, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 21, 1 ] ], [ 2, [ 2, 3 ], [ 18, 1 ], [ 21, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ 1, [ 33, 1 ] ], [ -6, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ -1, [ 5, 1 ], [ 20, 1 ] ], [ -6, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ -1, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -30, [ 2, 3 ], [ 18, 2 ] ], [ -3, [ 2, 3 ], [ 18, 1 ] ], [ -7, [ 2, 4 ], [ 18, 1 ] ], [ -32, [ 2, 4 ], [ 18, 2 ] ], [ -1, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ -2, [ 6, 1 ], [ 18, 1 ] ], [ -2, [ 4, 1 ], [ 18, 2 ] ], [ -2, [ 5, 1 ], [ 18, 2 ] ], [ -2, [ 2, 2 ], [ 3, 2 ], [ 18, 1 ] ], [ -5, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ] ], [ -2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ] ], [ -12, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ] ], [ -3, [ 6, 1 ], [ 20, 1 ] ], [ -2, [ 4, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ -3, [ 5, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ -2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ -1, [ 3, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ -1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 4, 1 ], [ 20, 2 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 20, 2 ] ], [ -2, [ 3, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ -2, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ -5, [ 2, 2 ], [ 18, 2 ], [ 20, 1 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ] ], [ -12, [ 2, 3 ], [ 18, 2 ], [ 20, 1 ] ], [ -1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ -4, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ -9, [ 2, 2 ], [ 18, 3 ] ], [ -5, [ 2, 2 ], [ 18, 2 ] ], [ -34, [ 2, 3 ], [ 18, 3 ] ], [ -27, [ 2, 4 ], [ 18, 3 ] ], [ -1, [ 4, 2 ], [ 19, 1 ] ], [ -1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ -1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ -1, [ 5, 1 ], [ 21, 1 ] ], [ -1, [ 4, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ -1, [ 3, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ -1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ -2, [ 2, 5 ], [ 18, 1 ] ], [ -4, [ 2, 5 ], [ 18, 2 ] ], [ -1, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ -1, [ 3, 1 ], [ 19, 3 ] ], [ -2, [ 3, 2 ], [ 19, 3 ] ], [ -2, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ -1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ -2, [ 2, 1 ], [ 18, 2 ], [ 19, 3 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 19, 3 ] ], [ -4, [ 2, 2 ], [ 18, 2 ], [ 19, 3 ] ], [ -2, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ] ], [ 1, [ 7, 1 ], [ 20, 1 ] ], [ -2, [ 2, 4 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 5, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 19, 3 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ], [ 20, 1 ] ], [ -2, [ 2, 3 ], [ 3, 2 ], [ 18, 1 ] ], [ -6, [ 2, 4 ], [ 3, 1 ], [ 18, 2 ] ], [ -2, [ 8, 1 ], [ 20, 1 ] ], [ -2, [ 6, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 4, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 5, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ -1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ -2, [ 5, 1 ], [ 20, 2 ] ], [ -2, [ 2, 3 ], [ 18, 1 ], [ 20, 2 ] ], [ -2, [ 4, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ -2, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 2 ] ], [ -2, [ 3, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ -2, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 2 ] ], [ -6, [ 2, 4 ], [ 18, 2 ], [ 20, 1 ] ], [ -2, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 4, 2 ], [ 18, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 3, 2 ], [ 4, 1 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 4, 2 ], [ 20, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 4, 1 ], [ 18, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 2, 2 ], [ 4, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 6, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 5, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 3, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 21, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ], [ 21, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 3, 2 ], [ 19, 1 ] ], [ 2, [ 3, 3 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 1 ], [ 3, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 2, 3 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 2, 1 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 4, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 12, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 18, [ 2, 4 ], [ 18, 3 ], [ 19, 1 ] ], [ 21, [ 2, 3 ], [ 18, 3 ], [ 19, 1 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 2, 1 ], [ 18, 3 ], [ 19, 2 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 12, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 12, [ 2, 2 ], [ 18, 3 ], [ 19, 2 ] ], [ 4, [ 2, 2 ], [ 18, 2 ], [ 19, 2 ] ], [ 12, [ 2, 3 ], [ 18, 3 ], [ 19, 2 ] ], [ 6, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 13, 1 ], [ 18, 1 ] ], [ 2, [ 12, 1 ], [ 19, 1 ] ], [ 2, [ 6, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 5, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 2, [ 9, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 2, [ 7, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 3, 1 ], [ 18, 2 ], [ 19, 1 ] ], [ -1, [ 9, 1 ], [ 20, 1 ] ], [ -1, [ 7, 1 ], [ 18, 1 ], [ 20, 1 ] ], [ 4, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 5, [ 2, 2 ], [ 18, 3 ], [ 19, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 34, 1 ] ], [ 3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ] ], [ 4, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 3, [ 5, 1 ], [ 20, 1 ] ], [ 3, [ 2, 3 ], [ 18, 1 ], [ 20, 1 ] ], [ 3, [ 4, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ] ], [ 3, [ 3, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 3, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 20, 1 ] ], [ 4, [ 2, 3 ], [ 18, 2 ] ], [ 2, [ 2, 3 ], [ 18, 1 ] ], [ 3, [ 2, 4 ], [ 18, 1 ] ], [ 4, [ 2, 4 ], [ 18, 2 ] ], [ 3, [ 2, 2 ], [ 18, 2 ], [ 19, 1 ] ], [ 4, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ] ], [ 3, [ 2, 3 ], [ 18, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ] ], [ 1, [ 4, 2 ], [ 19, 1 ] ], [ 1, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 1, [ 3, 1 ], [ 4, 1 ], [ 19, 2 ] ], [ 1, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 5, 1 ], [ 21, 1 ] ], [ 1, [ 2, 3 ], [ 18, 1 ], [ 21, 1 ] ], [ 1, [ 4, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 1, [ 3, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 3, [ 2, 5 ], [ 18, 1 ] ], [ 4, [ 2, 5 ], [ 18, 2 ] ], [ 3, [ 2, 4 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 2, 4 ], [ 18, 2 ], [ 19, 1 ] ], [ 4, [ 2, 3 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 2, 3 ], [ 18, 2 ], [ 19, 2 ] ], [ 1, [ 3, 1 ], [ 19, 3 ] ], [ 1, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 3 ] ], [ 3, [ 11, 1 ], [ 19, 1 ] ], [ 3, [ 8, 1 ], [ 19, 2 ] ], [ 3, [ 6, 1 ], [ 19, 3 ] ], [ 3, [ 4, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 3, [ 5, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 1, [ 13, 1 ], [ 19, 1 ] ], [ 1, [ 9, 1 ], [ 19, 2 ] ], [ 4, [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 1, [ 7, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 4, [ 2, 4 ], [ 4, 1 ], [ 18, 1 ] ], [ 4, [ 2, 3 ], [ 4, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 4, [ 4, 2 ], [ 19, 2 ] ], [ 4, [ 2, 2 ], [ 4, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 4, [ 3, 1 ], [ 4, 1 ], [ 19, 3 ] ], [ 4, [ 2, 1 ], [ 4, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 4, [ 7, 1 ], [ 21, 1 ] ], [ 4, [ 2, 4 ], [ 18, 1 ], [ 21, 1 ] ], [ 4, [ 5, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 4, [ 2, 3 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ] ], [ 4, [ 4, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 4, [ 2, 2 ], [ 18, 1 ], [ 19, 2 ], [ 21, 1 ] ], [ 4, [ 3, 1 ], [ 19, 3 ], [ 21, 1 ] ], [ 4, [ 2, 1 ], [ 18, 1 ], [ 19, 3 ], [ 21, 1 ] ], [ 1, [ 2, 4 ], [ 18, 1 ], [ 19, 2 ] ], [ 2, [ 2, 4 ], [ 18, 2 ], [ 19, 2 ] ], [ 3, [ 2, 3 ], [ 18, 1 ], [ 19, 3 ] ], [ 1, [ 2, 3 ], [ 18, 2 ], [ 19, 3 ] ], [ 4, [ 2, 4 ], [ 3, 1 ], [ 18, 1 ], [ 19, 1 ] ], [ 3, [ 2, 3 ], [ 3, 1 ], [ 18, 1 ], [ 19, 2 ] ], [ 2, [ 2, 2 ], [ 3, 1 ], [ 18, 1 ], [ 19, 3 ] ], [ 4, [ 3, 1 ], [ 19, 4 ] ], [ 1, [ 3, 2 ], [ 19, 4 ] ], [ 1, [ 2, 1 ], [ 3, 1 ], [ 18, 1 ], [ 19, 4 ] ], [ 4, [ 2, 1 ], [ 18, 1 ], [ 19, 4 ] ], [ 1, [ 2, 1 ], [ 18, 2 ], [ 19, 4 ] ], [ 1, [ 2, 2 ], [ 18, 1 ], [ 19, 4 ] ], [ 2, [ 2, 2 ], [ 18, 2 ], [ 19, 4 ] ] ] ] gap> coll := Collector(PcGroupToPcpGroup(SmallGroup(23^4, 5)));; gap> dto := DTP_DTObjFromCollector(coll, true);; gap> dto![PC_DTPPolynomials]; [ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 5, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 6, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 7, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ] ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 8, 1 ] ] ] ] ] gap> dto := DTP_DTObjFromCollector(coll, false);; gap> dto![PC_DTPPolynomials]; [ [ [ 1, [ 1, 1 ] ], [ 1, [ 5, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 6, 1 ] ] ], [ [ 1, [ 3, 1 ] ], [ 1, [ 7, 1 ] ] ], [ [ 1, [ 4, 1 ] ], [ 1, [ 8, 1 ] ] ] ] [Dauer der Verarbeitung: 0.123 Sekunden, vorverarbeitet 2026-06-17] |
2026-07-27