Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/deepthought/tst/ (Algebra von RWTH Aachen 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 ] ] ] ]