|
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 ] ],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.26 Sekunden
(vorverarbeitet)
]
|
