{
  "I": {
    "representation": "I",
    "V": [
      "L0",
      "L1",
      "L2",
      "L3",
      "L4"
    ],
    "E": {
      "Psi_1": {
        "from": "L1",
        "to": "L0",
        "label": "5/9"
      },
      "Psi_2": {
        "from": "L1",
        "to": "L2",
        "label": "5/8"
      },
      "Psi_3": {
        "from": "L2",
        "to": "L3",
        "label": "7/4"
      },
      "Psi_4": {
        "from": "L3",
        "to": "L4",
        "label": "-4/9"
      }
    },
    "removed_as": {
      "b_f+ <-> omega_f": "G",
      "X uniformiser": "G",
      "Kummer <-> ES realisation of Theta_aux": "G",
      "period frame Omega^+- / lambda^+-": "G",
      "Gauss(chi_8)": "G",
      "gamma_Kato <-> gamma_tree": "L",
      "lattice indices": "L",
      "partner factors": "P"
    },
    "kept_non_neutral": {},
    "unknown_E_labels_defaulted": [],
    "agrees": true,
    "holonomy": {
      "components": 1,
      "beta_1": 0,
      "beta_1_check": 0,
      "spanning_tree": [
        "Psi_1",
        "Psi_2",
        "Psi_3",
        "Psi_4"
      ],
      "fundamental_cycles": [],
      "trivial": true
    }
  },
  "II": {
    "representation": "II",
    "V": [
      "L0",
      "L1",
      "L2",
      "L3",
      "L4",
      "L2'"
    ],
    "E": {
      "Psi_1": {
        "from": "L1",
        "to": "L0",
        "label": "5/9"
      },
      "Psi_2": {
        "from": "L1",
        "to": "L2",
        "label": "5/8"
      },
      "Psi_3": {
        "from": "L2",
        "to": "L3",
        "label": "7/4"
      },
      "Psi_4": {
        "from": "L3",
        "to": "L4",
        "label": "-4/9"
      },
      "A'": {
        "from": "L2",
        "to": "L4",
        "label": "-7/9"
      },
      "id": {
        "from": "L2",
        "to": "L2'",
        "label": "1"
      },
      "Psi_3^PC": {
        "from": "L2'",
        "to": "L3",
        "label": "7/4"
      }
    },
    "removed_as": {
      "b_f+ <-> omega_f": "G",
      "X uniformiser": "G",
      "Kummer <-> ES realisation of Theta_aux": "G",
      "period frame Omega^+- / lambda^+-": "G",
      "Gauss(chi_8)": "G",
      "gamma_Kato <-> gamma_tree": "L",
      "lattice indices": "L",
      "partner factors": "P"
    },
    "kept_non_neutral": {},
    "unknown_E_labels_defaulted": [],
    "agrees": true,
    "holonomy": {
      "components": 1,
      "beta_1": 2,
      "beta_1_check": 2,
      "spanning_tree": [
        "A'",
        "Psi_1",
        "Psi_2",
        "Psi_3",
        "id"
      ],
      "fundamental_cycles": [
        {
          "cotree_edge": "Psi_4",
          "cycle": [
            "Psi_4^+",
            "A'^-",
            "Psi_3^+"
          ],
          "product": "1",
          "_product": "1",
          "component": 1
        },
        {
          "cotree_edge": "Psi_3^PC",
          "cycle": [
            "Psi_3^PC^+",
            "Psi_3^-",
            "id^+"
          ],
          "product": "1",
          "_product": "1",
          "component": 1
        }
      ],
      "trivial": true
    }
  }
}