{
  "status": "PASS",
  "word_encoding": "a,b,... positive generators; uppercase inverse letters; 1 empty word. Vertices in result are 1-based.",
  "three_sheet": {
    "tables_1_based": [
      [
        2,
        1,
        3
      ],
      [
        2,
        3,
        1
      ]
    ],
    "tree_positive_edges_1_based": [
      [
        1,
        2
      ],
      [
        2,
        2
      ]
    ],
    "basis": [
      "aB",
      "ba",
      "bbaBB",
      "bbb"
    ],
    "word_examples": {
      "bbaab": {
        "basis_word": [
          3,
          3,
          4
        ],
        "end_vertex": 1,
        "remaining_tree_word": "1"
      },
      "aa": {
        "basis_word": [
          1,
          2
        ],
        "end_vertex": 1,
        "remaining_tree_word": "1"
      },
      "ab": {
        "basis_word": [
          1
        ],
        "end_vertex": 3,
        "remaining_tree_word": "bb"
      },
      "ba": {
        "basis_word": [
          2
        ],
        "end_vertex": 1,
        "remaining_tree_word": "1"
      }
    },
    "monodromy_image_order": 6,
    "image_stabilizer_order": 2,
    "image_normalizer_order": 2,
    "deck_order": 1,
    "unbased_relabelling_to_reversed_b": [
      2,
      1,
      3
    ]
  },
  "four_sheet": {
    "tables_1_based": [
      [
        2,
        3,
        4,
        1
      ],
      [
        3,
        4,
        1,
        2
      ]
    ],
    "basis": [
      "bAA",
      "abAAA",
      "aab",
      "aaaa",
      "aaabA"
    ],
    "b_squared_rewrite": [
      1,
      3
    ],
    "aba_rewrite": [
      2,
      4
    ],
    "deck_order": 4
  },
  "enumeration": [
    {
      "sheets": 1,
      "labelled_transitive_pairs": 1,
      "based_isomorphism_classes": 1,
      "unbased_isomorphism_classes": 1,
      "deck_orders_by_unbased_class": [
        1
      ]
    },
    {
      "sheets": 2,
      "labelled_transitive_pairs": 3,
      "based_isomorphism_classes": 3,
      "unbased_isomorphism_classes": 3,
      "deck_orders_by_unbased_class": [
        2,
        2,
        2
      ]
    },
    {
      "sheets": 3,
      "labelled_transitive_pairs": 26,
      "based_isomorphism_classes": 13,
      "unbased_isomorphism_classes": 7,
      "deck_orders_by_unbased_class": [
        1,
        1,
        1,
        3,
        3,
        3,
        3
      ]
    },
    {
      "sheets": 4,
      "labelled_transitive_pairs": 426,
      "based_isomorphism_classes": 71,
      "unbased_isomorphism_classes": 26,
      "deck_orders_by_unbased_class": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        2,
        2,
        2,
        2,
        2,
        2,
        4,
        4,
        4,
        4,
        4,
        4,
        4
      ]
    }
  ],
  "checks": {
    "three_sheet_original_words_length_at_most_8": 87381,
    "free_basis_words_length_at_most_4": 4681,
    "small_cover_word_rewrites": 38760,
    "damaged_inputs_rejected": 12,
    "empty_basis_case": true
  }
}