{
  "source_6x6": {
    "GCN": 2.836651313304901,
    "quotient_tied": 0.006622464640531689
  },
  "transfer_8x8": {
    "GCN": 3.0560272336006165,
    "quotient_tied": 0.005467748432420194
  },
  "parameters": {
    "GCN": 545,
    "quotient_tied": 1313,
    "untied_relation_bank_equivalent": 1024
  },
  "compression_edges_over_generators": 72.0,
  "math": {
    "group": "Z_5 x Z_7",
    "cycle_rows": 47,
    "max_wrap_incidence": 7,
    "all_edge_label_differences_zero_in_quotient": true,
    "relation_classes": 4,
    "directed_edges": 140
  }
}