{
  "schema": "exceptional-flatness-exact-certificate/v1",
  "arithmetic": "Rational polynomial reduction modulo Phi_48/Phi_120; no tolerance",
  "basis": "D_p=product sqrt(mu(interior vertices)); matrices are D^-1 T D",
  "generator": "epsilon I + epsilon^-1 mu(input-middle)/mu(outer), when outer vertices agree",
  "wenzl_recursion": "F_(j+1)=F_j-[j]/[j+1] F_j U_j F_j",
  "checker_sha256": "809B40E838BDAC649274D2358B985112851B6787169468769099A4D032C0188E",
  "graphs": [
    {
      "graph": "E6",
      "h": 12,
      "field_order": 48,
      "cyclotomic_modulus": [
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      "root": 0,
      "branch": 2,
      "short_tip": 5,
      "k": 3,
      "index": "4cos²(pi/h)",
      "depth": 4,
      "graph_adjacency": {
        "0": [
          1
        ],
        "1": [
          0,
          2
        ],
        "2": [
          1,
          3,
          5
        ],
        "3": [
          2,
          4
        ],
        "4": [
          3
        ],
        "5": [
          2
        ]
      },
      "perron_weights": {
        "0": {
          "0": "1"
        },
        "1": {
          "2": "1",
          "6": "1",
          "14": "-1"
        },
        "2": {
          "0": "1",
          "4": "2",
          "12": "-1"
        },
        "3": {
          "2": "1",
          "6": "1",
          "14": "-1"
        },
        "4": {
          "0": "1"
        },
        "5": {
          "2": "1",
          "6": "1",
          "10": "-1"
        }
      },
      "selected_prefix": [
        0,
        1,
        2,
        5
      ],
      "swap_positions": [
        3,
        2,
        1,
        4,
        3,
        2,
        5,
        4,
        3
      ],
      "blocks": [
        {
          "endpoint": 0,
          "suffix_path_count": 1,
          "suffix_paths": [
            [
              5,
              2,
              1,
              0
            ]
          ],
          "wenzl_rank": 1,
          "compression_rank": 1,
          "compression_phase_zeta_exponent": 3,
          "compression_trace": {
            "3": "1"
          },
          "rank_one_column": [
            {
              "3": "1"
            }
          ],
          "rank_one_row": [
            {
              "0": "1"
            }
          ],
          "positive_metric": [
            {
              "2": "3",
              "6": "3",
              "10": "-1",
              "14": "-2"
            }
          ],
          "column_squared_norm": {
            "2": "3",
            "6": "3",
            "10": "-1",
            "14": "-2"
          },
          "dual_row_squared_norm": {
            "2": "1/2",
            "6": "1/2",
            "10": "-3/2",
            "14": "1"
          },
          "squared_nonzero_singular_value": 1,
          "nonunit_singular_values": 0,
          "compression": {
            "0,0": {
              "3": "1"
            }
          },
          "wenzl_projection": {
            "0,0": {
              "0": "1"
            }
          }
        },
        {
          "endpoint": 2,
          "suffix_path_count": 3,
          "suffix_paths": [
            [
              5,
              2,
              1,
              2
            ],
            [
              5,
              2,
              3,
              2
            ],
            [
              5,
              2,
              5,
              2
            ]
          ],
          "wenzl_rank": 1,
          "compression_rank": 0,
          "compression_phase_zeta_exponent": null,
          "compression_trace": {},
          "rank_one_column": [],
          "rank_one_row": [],
          "positive_metric": [
            {
              "2": "3",
              "6": "3",
              "10": "-1",
              "14": "-2"
            },
            {
              "2": "3",
              "6": "3",
              "10": "-1",
              "14": "-2"
            },
            {
              "2": "2",
              "6": "2",
              "14": "-2"
            }
          ],
          "column_squared_norm": {},
          "dual_row_squared_norm": {},
          "squared_nonzero_singular_value": 0,
          "nonunit_singular_values": 0,
          "compression": {},
          "wenzl_projection": {
            "0,0": {
              "0": "1/2"
            },
            "0,1": {
              "0": "-1/2"
            },
            "1,0": {
              "0": "-1/2"
            },
            "1,1": {
              "0": "1/2"
            }
          }
        },
        {
          "endpoint": 4,
          "suffix_path_count": 1,
          "suffix_paths": [
            [
              5,
              2,
              3,
              4
            ]
          ],
          "wenzl_rank": 1,
          "compression_rank": 1,
          "compression_phase_zeta_exponent": 39,
          "compression_trace": {
            "15": "-1"
          },
          "rank_one_column": [
            {
              "15": "-1"
            }
          ],
          "rank_one_row": [
            {
              "0": "1"
            }
          ],
          "positive_metric": [
            {
              "2": "3",
              "6": "3",
              "10": "-1",
              "14": "-2"
            }
          ],
          "column_squared_norm": {
            "2": "3",
            "6": "3",
            "10": "-1",
            "14": "-2"
          },
          "dual_row_squared_norm": {
            "2": "1/2",
            "6": "1/2",
            "10": "-3/2",
            "14": "1"
          },
          "squared_nonzero_singular_value": 1,
          "nonunit_singular_values": 0,
          "compression": {
            "0,0": {
              "15": "-1"
            }
          },
          "wenzl_projection": {
            "0,0": {
              "0": "1"
            }
          }
        }
      ],
      "exact_branch_projection_commutation": true
    },
    {
      "graph": "E8",
      "h": 30,
      "field_order": 120,
      "cyclotomic_modulus": [
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1
      ],
      "root": 0,
      "branch": 4,
      "short_tip": 7,
      "k": 5,
      "index": "4cos²(pi/h)",
      "depth": 6,
      "graph_adjacency": {
        "0": [
          1
        ],
        "1": [
          0,
          2
        ],
        "2": [
          1,
          3
        ],
        "3": [
          2,
          4
        ],
        "4": [
          3,
          5,
          7
        ],
        "5": [
          4,
          6
        ],
        "6": [
          5
        ],
        "7": [
          4
        ]
      },
      "perron_weights": {
        "0": {
          "0": "1"
        },
        "1": {
          "10": "1",
          "14": "1",
          "18": "1",
          "26": "-1",
          "30": "-1"
        },
        "2": {
          "4": "1",
          "8": "1",
          "12": "1",
          "16": "1",
          "24": "-1",
          "28": "-1"
        },
        "3": {
          "2": "1",
          "6": "2",
          "10": "1",
          "14": "1",
          "22": "-1",
          "26": "-1"
        },
        "4": {
          "0": "1",
          "4": "2",
          "8": "2",
          "12": "1",
          "20": "-1",
          "24": "-1"
        },
        "5": {
          "6": "1",
          "10": "2",
          "14": "1",
          "26": "-1",
          "30": "-1"
        },
        "6": {
          "8": "1",
          "12": "1",
          "28": "-1"
        },
        "7": {
          "2": "1",
          "6": "1",
          "10": "1",
          "22": "-1"
        }
      },
      "selected_prefix": [
        0,
        1,
        2,
        3,
        4,
        7
      ],
      "swap_positions": [
        5,
        4,
        3,
        2,
        1,
        6,
        5,
        4,
        3,
        2,
        7,
        6,
        5,
        4,
        3,
        8,
        7,
        6,
        5,
        4,
        9,
        8,
        7,
        6,
        5
      ],
      "blocks": [
        {
          "endpoint": 0,
          "suffix_path_count": 1,
          "suffix_paths": [
            [
              7,
              4,
              3,
              2,
              1,
              0
            ]
          ],
          "wenzl_rank": 1,
          "compression_rank": 1,
          "compression_phase_zeta_exponent": 5,
          "compression_trace": {
            "5": "1"
          },
          "rank_one_column": [
            {
              "5": "1"
            }
          ],
          "rank_one_row": [
            {
              "0": "1"
            }
          ],
          "positive_metric": [
            {
              "0": "18",
              "4": "39",
              "8": "44",
              "12": "29",
              "16": "9",
              "20": "-15",
              "24": "-24",
              "28": "-14"
            }
          ],
          "column_squared_norm": {
            "0": "18",
            "4": "39",
            "8": "44",
            "12": "29",
            "16": "9",
            "20": "-15",
            "24": "-24",
            "28": "-14"
          },
          "dual_row_squared_norm": {
            "0": "4",
            "4": "3",
            "8": "-1",
            "12": "-4",
            "16": "-3",
            "20": "-3",
            "28": "7"
          },
          "squared_nonzero_singular_value": 1,
          "nonunit_singular_values": 0,
          "compression": {
            "0,0": {
              "5": "1"
            }
          },
          "wenzl_projection": {
            "0,0": {
              "0": "1"
            }
          }
        },
        {
          "endpoint": 2,
          "suffix_path_count": 5,
          "suffix_paths": [
            [
              7,
              4,
              3,
              2,
              1,
              2
            ],
            [
              7,
              4,
              3,
              2,
              3,
              2
            ],
            [
              7,
              4,
              3,
              4,
              3,
              2
            ],
            [
              7,
              4,
              5,
              4,
              3,
              2
            ],
            [
              7,
              4,
              7,
              4,
              3,
              2
            ]
          ],
          "wenzl_rank": 1,
          "compression_rank": 0,
          "compression_phase_zeta_exponent": null,
          "compression_trace": {},
          "rank_one_column": [],
          "rank_one_row": [],
          "positive_metric": [
            {
              "0": "18",
              "4": "39",
              "8": "44",
              "12": "29",
              "16": "9",
              "20": "-15",
              "24": "-24",
              "28": "-14"
            },
            {
              "0": "35",
              "4": "76",
              "8": "86",
              "12": "57",
              "16": "18",
              "20": "-29",
              "24": "-47",
              "28": "-28"
            },
            {
              "0": "57",
              "4": "123",
              "8": "139",
              "12": "92",
              "16": "29",
              "20": "-47",
              "24": "-76",
              "28": "-45"
            },
            {
              "0": "47",
              "4": "102",
              "8": "115",
              "12": "76",
              "16": "24",
              "20": "-39",
              "24": "-63",
              "28": "-37"
            },
            {
              "0": "35",
              "4": "76",
              "8": "86",
              "12": "57",
              "16": "18",
              "20": "-29",
              "24": "-47",
              "28": "-28"
            }
          ],
          "column_squared_norm": {},
          "dual_row_squared_norm": {},
          "squared_nonzero_singular_value": 0,
          "nonunit_singular_values": 0,
          "compression": {},
          "wenzl_projection": {
            "0,0": {
              "0": "1",
              "4": "-2",
              "12": "1",
              "20": "1",
              "24": "1",
              "28": "-2"
            },
            "0,1": {
              "0": "-1",
              "4": "2",
              "12": "-1",
              "20": "-1",
              "24": "-1",
              "28": "2"
            },
            "0,2": {
              "0": "1",
              "4": "-2",
              "12": "1",
              "20": "1",
              "24": "1",
              "28": "-2"
            },
            "0,3": {
              "0": "-1",
              "4": "2",
              "12": "-1",
              "20": "-1",
              "24": "-1",
              "28": "2"
            },
            "1,0": {
              "4": "-1",
              "8": "2",
              "12": "1",
              "16": "-3",
              "20": "-1",
              "24": "2"
            },
            "1,1": {
              "4": "1",
              "8": "-2",
              "12": "-1",
              "16": "3",
              "20": "1",
              "24": "-2"
            },
            "1,2": {
              "4": "-1",
              "8": "2",
              "12": "1",
              "16": "-3",
              "20": "-1",
              "24": "2"
            },
            "1,3": {
              "4": "1",
              "8": "-2",
              "12": "-1",
              "16": "3",
              "20": "1",
              "24": "-2"
            },
            "2,0": {
              "0": "-1",
              "4": "2",
              "8": "3",
              "16": "-4",
              "20": "-3",
              "24": "1",
              "28": "3"
            },
            "2,1": {
              "0": "1",
              "4": "-2",
              "8": "-3",
              "16": "4",
              "20": "3",
              "24": "-1",
              "28": "-3"
            },
            "2,2": {
              "0": "-1",
              "4": "2",
              "8": "3",
              "16": "-4",
              "20": "-3",
              "24": "1",
              "28": "3"
            },
            "2,3": {
              "0": "1",
              "4": "-2",
              "8": "-3",
              "16": "4",
              "20": "3",
              "24": "-1",
              "28": "-3"
            },
            "3,0": {
              "0": "-1",
              "4": "1",
              "8": "1",
              "16": "-1",
              "20": "-1",
              "28": "1"
            },
            "3,1": {
              "0": "1",
              "4": "-1",
              "8": "-1",
              "16": "1",
              "20": "1",
              "28": "-1"
            },
            "3,2": {
              "0": "-1",
              "4": "1",
              "8": "1",
              "16": "-1",
              "20": "-1",
              "28": "1"
            },
            "3,3": {
              "0": "1",
              "4": "-1",
              "8": "-1",
              "16": "1",
              "20": "1",
              "28": "-1"
            }
          }
        },
        {
          "endpoint": 4,
          "suffix_path_count": 11,
          "suffix_paths": [
            [
              7,
              4,
              3,
              2,
              3,
              4
            ],
            [
              7,
              4,
              3,
              4,
              3,
              4
            ],
            [
              7,
              4,
              3,
              4,
              5,
              4
            ],
            [
              7,
              4,
              3,
              4,
              7,
              4
            ],
            [
              7,
              4,
              5,
              4,
              3,
              4
            ],
            [
              7,
              4,
              5,
              4,
              5,
              4
            ],
            [
              7,
              4,
              5,
              4,
              7,
              4
            ],
            [
              7,
              4,
              5,
              6,
              5,
              4
            ],
            [
              7,
              4,
              7,
              4,
              3,
              4
            ],
            [
              7,
              4,
              7,
              4,
              5,
              4
            ],
            [
              7,
              4,
              7,
              4,
              7,
              4
            ]
          ],
          "wenzl_rank": 2,
          "compression_rank": 1,
          "compression_phase_zeta_exponent": null,
          "compression_trace": {
            "1": "1",
            "5": "2",
            "9": "-1",
            "13": "-1",
            "17": "-1",
            "21": "-1",
            "29": "2"
          },
          "rank_one_column": [
            {
              "1": "1",
              "5": "1",
              "17": "-2",
              "21": "-2",
              "25": "1",
              "29": "2"
            },
            {
              "1": "-1",
              "9": "2",
              "13": "1",
              "17": "-2",
              "21": "-1",
              "29": "1"
            },
            {
              "1": "-1",
              "5": "1",
              "9": "1",
              "17": "-1",
              "25": "-1",
              "29": "1"
            },
            {
              "1": "-1",
              "5": "1",
              "17": "1",
              "25": "-2",
              "29": "1"
            },
            {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "13": "1",
              "17": "1",
              "29": "-2"
            },
            {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "17": "2",
              "29": "-2"
            },
            {
              "1": "-2",
              "9": "1",
              "17": "2",
              "25": "-1",
              "29": "-1"
            },
            {
              "1": "-1",
              "5": "-1",
              "9": "1",
              "17": "2",
              "29": "-2"
            },
            {},
            {},
            {}
          ],
          "rank_one_row": [
            {
              "0": "1"
            },
            {
              "0": "-1"
            },
            {
              "0": "-1",
              "4": "-1",
              "8": "1",
              "12": "1",
              "16": "1",
              "20": "1",
              "24": "-1",
              "28": "-2"
            },
            {
              "0": "2",
              "4": "1",
              "8": "-1",
              "12": "-1",
              "16": "-1",
              "20": "-1",
              "24": "1",
              "28": "2"
            },
            {
              "0": "1"
            },
            {
              "0": "1",
              "4": "1",
              "8": "-1",
              "12": "-1",
              "16": "-1",
              "20": "-1",
              "24": "1",
              "28": "2"
            },
            {
              "0": "-2",
              "4": "-1",
              "8": "1",
              "12": "1",
              "16": "1",
              "20": "1",
              "24": "-1",
              "28": "-2"
            },
            {
              "0": "-1",
              "4": "-1",
              "8": "1",
              "12": "1",
              "16": "1",
              "20": "1",
              "24": "-1",
              "28": "-2"
            },
            {},
            {},
            {}
          ],
          "positive_metric": [
            {
              "0": "35",
              "4": "76",
              "8": "86",
              "12": "57",
              "16": "18",
              "20": "-29",
              "24": "-47",
              "28": "-28"
            },
            {
              "0": "57",
              "4": "123",
              "8": "139",
              "12": "92",
              "16": "29",
              "20": "-47",
              "24": "-76",
              "28": "-45"
            },
            {
              "0": "47",
              "4": "102",
              "8": "115",
              "12": "76",
              "16": "24",
              "20": "-39",
              "24": "-63",
              "28": "-37"
            },
            {
              "0": "35",
              "4": "76",
              "8": "86",
              "12": "57",
              "16": "18",
              "20": "-29",
              "24": "-47",
              "28": "-28"
            },
            {
              "0": "47",
              "4": "102",
              "8": "115",
              "12": "76",
              "16": "24",
              "20": "-39",
              "24": "-63",
              "28": "-37"
            },
            {
              "0": "39",
              "4": "84",
              "8": "95",
              "12": "63",
              "16": "20",
              "20": "-32",
              "24": "-52",
              "28": "-31"
            },
            {
              "0": "29",
              "4": "63",
              "8": "71",
              "12": "47",
              "16": "15",
              "20": "-24",
              "24": "-39",
              "28": "-23"
            },
            {
              "0": "13",
              "4": "29",
              "8": "32",
              "12": "21",
              "16": "7",
              "20": "-11",
              "24": "-18",
              "28": "-10"
            },
            {
              "0": "35",
              "4": "76",
              "8": "86",
              "12": "57",
              "16": "18",
              "20": "-29",
              "24": "-47",
              "28": "-28"
            },
            {
              "0": "29",
              "4": "63",
              "8": "71",
              "12": "47",
              "16": "15",
              "20": "-24",
              "24": "-39",
              "28": "-23"
            },
            {
              "0": "22",
              "4": "47",
              "8": "53",
              "12": "35",
              "16": "11",
              "20": "-18",
              "24": "-29",
              "28": "-17"
            }
          ],
          "column_squared_norm": {
            "0": "6",
            "4": "13",
            "8": "15",
            "12": "10",
            "16": "3",
            "20": "-5",
            "24": "-8",
            "28": "-5"
          },
          "dual_row_squared_norm": {
            "0": "-4",
            "4": "-1",
            "8": "2",
            "12": "3",
            "16": "1",
            "20": "1",
            "28": "-4"
          },
          "squared_nonzero_singular_value": 1,
          "nonunit_singular_values": 0,
          "compression": {
            "0,0": {
              "1": "1",
              "5": "1",
              "17": "-2",
              "21": "-2",
              "25": "1",
              "29": "2"
            },
            "0,1": {
              "1": "-1",
              "5": "-1",
              "17": "2",
              "21": "2",
              "25": "-1",
              "29": "-2"
            },
            "0,2": {
              "1": "2",
              "17": "-3",
              "21": "-2",
              "25": "3",
              "29": "1"
            },
            "0,3": {
              "1": "-1",
              "5": "1",
              "17": "1",
              "25": "-2",
              "29": "1"
            },
            "0,4": {
              "1": "1",
              "5": "1",
              "17": "-2",
              "21": "-2",
              "25": "1",
              "29": "2"
            },
            "0,5": {
              "1": "-2",
              "17": "3",
              "21": "2",
              "25": "-3",
              "29": "-1"
            },
            "0,6": {
              "1": "1",
              "5": "-1",
              "17": "-1",
              "25": "2",
              "29": "-1"
            },
            "0,7": {
              "1": "2",
              "17": "-3",
              "21": "-2",
              "25": "3",
              "29": "1"
            },
            "1,0": {
              "1": "-1",
              "9": "2",
              "13": "1",
              "17": "-2",
              "21": "-1",
              "29": "1"
            },
            "1,1": {
              "1": "1",
              "9": "-2",
              "13": "-1",
              "17": "2",
              "21": "1",
              "29": "-1"
            },
            "1,2": {
              "1": "-2",
              "5": "1",
              "9": "3",
              "17": "-2",
              "21": "-1",
              "29": "1"
            },
            "1,3": {
              "1": "1",
              "5": "-1",
              "9": "-1",
              "13": "1"
            },
            "1,4": {
              "1": "-1",
              "9": "2",
              "13": "1",
              "17": "-2",
              "21": "-1",
              "29": "1"
            },
            "1,5": {
              "1": "2",
              "5": "-1",
              "9": "-3",
              "17": "2",
              "21": "1",
              "29": "-1"
            },
            "1,6": {
              "1": "-1",
              "5": "1",
              "9": "1",
              "13": "-1"
            },
            "1,7": {
              "1": "-2",
              "5": "1",
              "9": "3",
              "17": "-2",
              "21": "-1",
              "29": "1"
            },
            "2,0": {
              "1": "-1",
              "5": "1",
              "9": "1",
              "17": "-1",
              "25": "-1",
              "29": "1"
            },
            "2,1": {
              "1": "1",
              "5": "-1",
              "9": "-1",
              "17": "1",
              "25": "1",
              "29": "-1"
            },
            "2,2": {
              "5": "3",
              "13": "-2",
              "17": "-1",
              "21": "-2",
              "29": "3"
            },
            "2,3": {
              "1": "-1",
              "5": "-2",
              "9": "1",
              "13": "2",
              "21": "2",
              "25": "-1",
              "29": "-2"
            },
            "2,4": {
              "1": "-1",
              "5": "1",
              "9": "1",
              "17": "-1",
              "25": "-1",
              "29": "1"
            },
            "2,5": {
              "5": "-3",
              "13": "2",
              "17": "1",
              "21": "2",
              "29": "-3"
            },
            "2,6": {
              "1": "1",
              "5": "2",
              "9": "-1",
              "13": "-2",
              "21": "-2",
              "25": "1",
              "29": "2"
            },
            "2,7": {
              "5": "3",
              "13": "-2",
              "17": "-1",
              "21": "-2",
              "29": "3"
            },
            "3,0": {
              "1": "-1",
              "5": "1",
              "17": "1",
              "25": "-2",
              "29": "1"
            },
            "3,1": {
              "1": "1",
              "5": "-1",
              "17": "-1",
              "25": "2",
              "29": "-1"
            },
            "3,2": {
              "1": "2",
              "5": "4",
              "9": "-3",
              "13": "-2",
              "21": "-4",
              "29": "5"
            },
            "3,3": {
              "1": "-3",
              "5": "-3",
              "9": "3",
              "13": "2",
              "17": "1",
              "21": "4",
              "25": "-2",
              "29": "-4"
            },
            "3,4": {
              "1": "-1",
              "5": "1",
              "17": "1",
              "25": "-2",
              "29": "1"
            },
            "3,5": {
              "1": "-2",
              "5": "-4",
              "9": "3",
              "13": "2",
              "21": "4",
              "29": "-5"
            },
            "3,6": {
              "1": "3",
              "5": "3",
              "9": "-3",
              "13": "-2",
              "17": "-1",
              "21": "-4",
              "25": "2",
              "29": "4"
            },
            "3,7": {
              "1": "2",
              "5": "4",
              "9": "-3",
              "13": "-2",
              "21": "-4",
              "29": "5"
            },
            "4,0": {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "13": "1",
              "17": "1",
              "29": "-2"
            },
            "4,1": {
              "1": "2",
              "5": "1",
              "9": "-2",
              "13": "-1",
              "17": "-1",
              "29": "2"
            },
            "4,2": {
              "1": "-1",
              "5": "1",
              "9": "1",
              "17": "-1",
              "25": "-1",
              "29": "1"
            },
            "4,3": {
              "1": "-1",
              "5": "-2",
              "9": "1",
              "13": "1",
              "17": "2",
              "25": "1",
              "29": "-3"
            },
            "4,4": {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "13": "1",
              "17": "1",
              "29": "-2"
            },
            "4,5": {
              "1": "1",
              "5": "-1",
              "9": "-1",
              "17": "1",
              "25": "1",
              "29": "-1"
            },
            "4,6": {
              "1": "1",
              "5": "2",
              "9": "-1",
              "13": "-1",
              "17": "-2",
              "25": "-1",
              "29": "3"
            },
            "4,7": {
              "1": "-1",
              "5": "1",
              "9": "1",
              "17": "-1",
              "25": "-1",
              "29": "1"
            },
            "5,0": {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "17": "2",
              "29": "-2"
            },
            "5,1": {
              "1": "2",
              "5": "1",
              "9": "-2",
              "17": "-2",
              "29": "2"
            },
            "5,2": {
              "5": "3",
              "9": "-1",
              "13": "-1",
              "17": "-1",
              "21": "-1",
              "25": "-1",
              "29": "3"
            },
            "5,3": {
              "1": "-2",
              "5": "-4",
              "9": "3",
              "13": "1",
              "17": "3",
              "21": "1",
              "25": "1",
              "29": "-5"
            },
            "5,4": {
              "1": "-2",
              "5": "-1",
              "9": "2",
              "17": "2",
              "29": "-2"
            },
            "5,5": {
              "5": "-3",
              "9": "1",
              "13": "1",
              "17": "1",
              "21": "1",
              "25": "1",
              "29": "-3"
            },
            "5,6": {
              "1": "2",
              "5": "4",
              "9": "-3",
              "13": "-1",
              "17": "-3",
              "21": "-1",
              "25": "-1",
              "29": "5"
            },
            "5,7": {
              "5": "3",
              "9": "-1",
              "13": "-1",
              "17": "-1",
              "21": "-1",
              "25": "-1",
              "29": "3"
            },
            "6,0": {
              "1": "-2",
              "9": "1",
              "17": "2",
              "25": "-1",
              "29": "-1"
            },
            "6,1": {
              "1": "2",
              "9": "-1",
              "17": "-2",
              "25": "1",
              "29": "1"
            },
            "6,2": {
              "1": "2",
              "5": "4",
              "9": "-3",
              "13": "-2",
              "17": "-1",
              "21": "-3",
              "29": "5"
            },
            "6,3": {
              "1": "-4",
              "5": "-4",
              "9": "4",
              "13": "2",
              "17": "3",
              "21": "3",
              "25": "-1",
              "29": "-6"
            },
            "6,4": {
              "1": "-2",
              "9": "1",
              "17": "2",
              "25": "-1",
              "29": "-1"
            },
            "6,5": {
              "1": "-2",
              "5": "-4",
              "9": "3",
              "13": "2",
              "17": "1",
              "21": "3",
              "29": "-5"
            },
            "6,6": {
              "1": "4",
              "5": "4",
              "9": "-4",
              "13": "-2",
              "17": "-3",
              "21": "-3",
              "25": "1",
              "29": "6"
            },
            "6,7": {
              "1": "2",
              "5": "4",
              "9": "-3",
              "13": "-2",
              "17": "-1",
              "21": "-3",
              "29": "5"
            },
            "7,0": {
              "1": "-1",
              "5": "-1",
              "9": "1",
              "17": "2",
              "29": "-2"
            },
            "7,1": {
              "1": "1",
              "5": "1",
              "9": "-1",
              "17": "-2",
              "29": "2"
            },
            "7,2": {
              "5": "1",
              "9": "-1",
              "25": "-1",
              "29": "1"
            },
            "7,3": {
              "1": "-1",
              "5": "-2",
              "9": "2",
              "17": "2",
              "25": "1",
              "29": "-3"
            },
            "7,4": {
              "1": "-1",
              "5": "-1",
              "9": "1",
              "17": "2",
              "29": "-2"
            },
            "7,5": {
              "5": "-1",
              "9": "1",
              "25": "1",
              "29": "-1"
            },
            "7,6": {
              "1": "1",
              "5": "2",
              "9": "-2",
              "17": "-2",
              "25": "-1",
              "29": "3"
            },
            "7,7": {
              "5": "1",
              "9": "-1",
              "25": "-1",
              "29": "1"
            }
          },
          "wenzl_projection": {
            "0,0": {
              "0": "2",
              "4": "-2",
              "8": "-6",
              "12": "-1",
              "16": "8",
              "20": "5",
              "24": "-3",
              "28": "-4"
            },
            "0,1": {
              "0": "-2",
              "4": "2",
              "8": "6",
              "12": "1",
              "16": "-8",
              "20": "-5",
              "24": "3",
              "28": "4"
            },
            "0,2": {
              "0": "1",
              "4": "-1",
              "8": "-5",
              "12": "-1",
              "16": "7",
              "20": "4",
              "24": "-3",
              "28": "-3"
            },
            "0,3": {
              "0": "1",
              "4": "-1",
              "8": "-1",
              "16": "1",
              "20": "1",
              "28": "-1"
            },
            "0,4": {
              "0": "2",
              "4": "-2",
              "8": "-6",
              "12": "-1",
              "16": "8",
              "20": "5",
              "24": "-3",
              "28": "-4"
            },
            "0,5": {
              "0": "-1",
              "4": "1",
              "8": "5",
              "12": "1",
              "16": "-7",
              "20": "-4",
              "24": "3",
              "28": "3"
            },
            "0,6": {
              "0": "-1",
              "4": "1",
              "8": "1",
              "16": "-1",
              "20": "-1",
              "28": "1"
            },
            "0,7": {
              "0": "1",
              "4": "-1",
              "8": "-5",
              "12": "-1",
              "16": "7",
              "20": "4",
              "24": "-3",
              "28": "-3"
            },
            "1,0": {
              "0": "3",
              "4": "-3",
              "8": "-10",
              "12": "-2",
              "16": "13",
              "20": "8",
              "24": "-5",
              "28": "-6"
            },
            "1,1": {
              "0": "-3",
              "4": "3",
              "8": "10",
              "12": "2",
              "16": "-13",
              "20": "-8",
              "24": "5",
              "28": "6"
            },
            "1,2": {
              "0": "2",
              "4": "-3",
              "8": "-8",
              "12": "-1",
              "16": "11",
              "20": "7",
              "24": "-4",
              "28": "-6"
            },
            "1,3": {
              "0": "1",
              "8": "-2",
              "12": "-1",
              "16": "2",
              "20": "1",
              "24": "-1"
            },
            "1,4": {
              "0": "3",
              "4": "-3",
              "8": "-10",
              "12": "-2",
              "16": "13",
              "20": "8",
              "24": "-5",
              "28": "-6"
            },
            "1,5": {
              "0": "-2",
              "4": "3",
              "8": "8",
              "12": "1",
              "16": "-11",
              "20": "-7",
              "24": "4",
              "28": "6"
            },
            "1,6": {
              "0": "-1",
              "8": "2",
              "12": "1",
              "16": "-2",
              "20": "-1",
              "24": "1"
            },
            "1,7": {
              "0": "2",
              "4": "-3",
              "8": "-8",
              "12": "-1",
              "16": "11",
              "20": "7",
              "24": "-4",
              "28": "-6"
            },
            "2,0": {
              "0": "2",
              "4": "-1",
              "8": "-3",
              "12": "-1",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-1"
            },
            "2,1": {
              "0": "-2",
              "4": "1",
              "8": "3",
              "12": "1",
              "16": "-3",
              "20": "-2",
              "24": "1",
              "28": "1"
            },
            "2,2": {
              "0": "1",
              "4": "-3",
              "8": "-2",
              "12": "1",
              "16": "3",
              "20": "3",
              "28": "-4"
            },
            "2,3": {
              "0": "1",
              "4": "2",
              "8": "-1",
              "12": "-2",
              "20": "-1",
              "24": "-1",
              "28": "3"
            },
            "2,4": {
              "0": "2",
              "4": "-1",
              "8": "-3",
              "12": "-1",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-1"
            },
            "2,5": {
              "0": "-1",
              "4": "3",
              "8": "2",
              "12": "-1",
              "16": "-3",
              "20": "-3",
              "28": "4"
            },
            "2,6": {
              "0": "-1",
              "4": "-2",
              "8": "1",
              "12": "2",
              "20": "1",
              "24": "1",
              "28": "-3"
            },
            "2,7": {
              "0": "1",
              "4": "-3",
              "8": "-2",
              "12": "1",
              "16": "3",
              "20": "3",
              "28": "-4"
            },
            "3,0": {
              "0": "1",
              "4": "-1",
              "8": "-1",
              "16": "1",
              "20": "1",
              "28": "-1"
            },
            "3,1": {
              "0": "-1",
              "4": "1",
              "8": "1",
              "16": "-1",
              "20": "-1",
              "28": "1"
            },
            "3,2": {
              "0": "1",
              "4": "-4",
              "12": "2",
              "20": "2",
              "24": "2",
              "28": "-4"
            },
            "3,3": {
              "4": "3",
              "8": "-1",
              "12": "-2",
              "16": "1",
              "20": "-1",
              "24": "-2",
              "28": "3"
            },
            "3,4": {
              "0": "1",
              "4": "-1",
              "8": "-1",
              "16": "1",
              "20": "1",
              "28": "-1"
            },
            "3,5": {
              "0": "-1",
              "4": "4",
              "12": "-2",
              "20": "-2",
              "24": "-2",
              "28": "4"
            },
            "3,6": {
              "4": "-3",
              "8": "1",
              "12": "2",
              "16": "-1",
              "20": "1",
              "24": "2",
              "28": "-3"
            },
            "3,7": {
              "0": "1",
              "4": "-4",
              "12": "2",
              "20": "2",
              "24": "2",
              "28": "-4"
            },
            "4,0": {
              "4": "-1",
              "8": "-3",
              "16": "5",
              "20": "3",
              "24": "-2",
              "28": "-3"
            },
            "4,1": {
              "4": "1",
              "8": "3",
              "16": "-5",
              "20": "-3",
              "24": "2",
              "28": "3"
            },
            "4,2": {
              "0": "2",
              "4": "-1",
              "8": "-3",
              "12": "-1",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-1"
            },
            "4,3": {
              "0": "-2",
              "12": "1",
              "16": "2",
              "20": "1",
              "24": "-1",
              "28": "-2"
            },
            "4,4": {
              "4": "-1",
              "8": "-3",
              "16": "5",
              "20": "3",
              "24": "-2",
              "28": "-3"
            },
            "4,5": {
              "0": "-2",
              "4": "1",
              "8": "3",
              "12": "1",
              "16": "-3",
              "20": "-2",
              "24": "1",
              "28": "1"
            },
            "4,6": {
              "0": "2",
              "12": "-1",
              "16": "-2",
              "20": "-1",
              "24": "1",
              "28": "2"
            },
            "4,7": {
              "0": "2",
              "4": "-1",
              "8": "-3",
              "12": "-1",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-1"
            },
            "5,0": {
              "0": "-3",
              "4": "-1",
              "12": "2",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-4"
            },
            "5,1": {
              "0": "3",
              "4": "1",
              "12": "-2",
              "16": "-3",
              "20": "-2",
              "24": "1",
              "28": "4"
            },
            "5,2": {
              "0": "2",
              "4": "-2",
              "8": "-1",
              "20": "1",
              "24": "1",
              "28": "-1"
            },
            "5,3": {
              "0": "-5",
              "4": "1",
              "8": "1",
              "12": "2",
              "16": "3",
              "20": "1",
              "24": "-2",
              "28": "-3"
            },
            "5,4": {
              "0": "-3",
              "4": "-1",
              "12": "2",
              "16": "3",
              "20": "2",
              "24": "-1",
              "28": "-4"
            },
            "5,5": {
              "0": "-2",
              "4": "2",
              "8": "1",
              "20": "-1",
              "24": "-1",
              "28": "1"
            },
            "5,6": {
              "0": "5",
              "4": "-1",
              "8": "-1",
              "12": "-2",
              "16": "-3",
              "20": "-1",
              "24": "2",
              "28": "3"
            },
            "5,7": {
              "0": "2",
              "4": "-2",
              "8": "-1",
              "20": "1",
              "24": "1",
              "28": "-1"
            },
            "6,0": {
              "0": "-1",
              "4": "-1",
              "12": "1",
              "16": "1",
              "20": "1",
              "28": "-2"
            },
            "6,1": {
              "0": "1",
              "4": "1",
              "12": "-1",
              "16": "-1",
              "20": "-1",
              "28": "2"
            },
            "6,2": {
              "0": "2",
              "4": "-3",
              "12": "1",
              "16": "-1",
              "20": "1",
              "24": "2",
              "28": "-2"
            },
            "6,3": {
              "0": "-3",
              "4": "2",
              "16": "2",
              "24": "-2"
            },
            "6,4": {
              "0": "-1",
              "4": "-1",
              "12": "1",
              "16": "1",
              "20": "1",
              "28": "-2"
            },
            "6,5": {
              "0": "-2",
              "4": "3",
              "12": "-1",
              "16": "1",
              "20": "-1",
              "24": "-2",
              "28": "2"
            },
            "6,6": {
              "0": "3",
              "4": "-2",
              "16": "-2",
              "24": "2"
            },
            "6,7": {
              "0": "2",
              "4": "-3",
              "12": "1",
              "16": "-1",
              "20": "1",
              "24": "2",
              "28": "-2"
            },
            "7,0": {
              "0": "-3",
              "8": "2",
              "12": "2",
              "28": "-2"
            },
            "7,1": {
              "0": "3",
              "8": "-2",
              "12": "-2",
              "28": "2"
            },
            "7,2": {
              "0": "1",
              "8": "1",
              "16": "-2",
              "20": "-1",
              "24": "1",
              "28": "1"
            },
            "7,3": {
              "0": "-4",
              "8": "1",
              "12": "2",
              "16": "2",
              "20": "1",
              "24": "-1",
              "28": "-3"
            },
            "7,4": {
              "0": "-3",
              "8": "2",
              "12": "2",
              "28": "-2"
            },
            "7,5": {
              "0": "-1",
              "8": "-1",
              "16": "2",
              "20": "1",
              "24": "-1",
              "28": "-1"
            },
            "7,6": {
              "0": "4",
              "8": "-1",
              "12": "-2",
              "16": "-2",
              "20": "-1",
              "24": "1",
              "28": "3"
            },
            "7,7": {
              "0": "1",
              "8": "1",
              "16": "-2",
              "20": "-1",
              "24": "1",
              "28": "1"
            }
          },
          "compact_norm_identity": {
            "t": "zeta_120^4",
            "column_norm_coefficients": [
              6,
              13,
              15,
              10,
              3,
              -5,
              -8,
              -5
            ],
            "dual_row_norm_coefficients": [
              -4,
              -1,
              2,
              3,
              1,
              1,
              0,
              -4
            ],
            "Phi_30_coefficients": [
              1,
              1,
              0,
              -1,
              -1,
              -1,
              0,
              1,
              1
            ],
            "NM_minus_one_quotient_coefficients": [
              -25,
              -33,
              -28,
              -8,
              3,
              12,
              20
            ],
            "NM_minus_one_equals_Phi30_times_quotient": true
          }
        },
        {
          "endpoint": 6,
          "suffix_path_count": 4,
          "suffix_paths": [
            [
              7,
              4,
              3,
              4,
              5,
              6
            ],
            [
              7,
              4,
              5,
              4,
              5,
              6
            ],
            [
              7,
              4,
              5,
              6,
              5,
              6
            ],
            [
              7,
              4,
              7,
              4,
              5,
              6
            ]
          ],
          "wenzl_rank": 0,
          "compression_rank": 0,
          "compression_phase_zeta_exponent": null,
          "compression_trace": {},
          "rank_one_column": [],
          "rank_one_row": [],
          "positive_metric": [
            {
              "0": "47",
              "4": "102",
              "8": "115",
              "12": "76",
              "16": "24",
              "20": "-39",
              "24": "-63",
              "28": "-37"
            },
            {
              "0": "39",
              "4": "84",
              "8": "95",
              "12": "63",
              "16": "20",
              "20": "-32",
              "24": "-52",
              "28": "-31"
            },
            {
              "0": "13",
              "4": "29",
              "8": "32",
              "12": "21",
              "16": "7",
              "20": "-11",
              "24": "-18",
              "28": "-10"
            },
            {
              "0": "29",
              "4": "63",
              "8": "71",
              "12": "47",
              "16": "15",
              "20": "-24",
              "24": "-39",
              "28": "-23"
            }
          ],
          "column_squared_norm": {},
          "dual_row_squared_norm": {},
          "squared_nonzero_singular_value": 0,
          "nonunit_singular_values": 0,
          "compression": {},
          "wenzl_projection": {}
        }
      ],
      "exact_branch_projection_commutation": true
    }
  ]
}