{
  "schema": "tnfr.sine-port-relaxation.v1",
  "report": {
    "classes": [
      1,
      2,
      1
    ],
    "contacts": [
      [
        0,
        1
      ],
      [
        1,
        2
      ]
    ],
    "phase_origins": [
      {
        "numerator": 0,
        "denominator": 1
      },
      {
        "numerator": 1,
        "denominator": 1000
      },
      {
        "numerator": 0,
        "denominator": 1
      }
    ],
    "formation_time": {
      "numerator": 100,
      "denominator": 1
    },
    "relaxation_duration": {
      "numerator": 10000000000000,
      "denominator": 1
    },
    "form_error_bound": {
      "numerator": 1,
      "denominator": 10000000000
    },
    "phase_error_bound": {
      "numerator": 1,
      "denominator": 10000000000
    },
    "endpoint_radius": {
      "numerator": 1,
      "denominator": 100000000000000000000000000000000
    },
    "radius": {
      "numerator": 1,
      "denominator": 12
    },
    "decay_power": 512,
    "work_allowance": {
      "numerator": 1,
      "denominator": 500000
    },
    "normalized_gap_lower_bound": {
      "numerator": 3,
      "denominator": 100
    },
    "phase_resolution_fraction": {
      "numerator": 1,
      "denominator": 2
    },
    "form_resolution_fraction": {
      "numerator": 1,
      "denominator": 2
    },
    "geometry": {
      "component_count": 3,
      "contacts": [
        [
          0,
          1
        ],
        [
          1,
          2
        ]
      ],
      "contact_degrees": [
        1,
        2,
        1
      ],
      "layer_masses": [
        {
          "numerator": 3,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 3,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        },
        {
          "numerator": 4,
          "denominator": 1
        }
      ],
      "internal_laplacian": [
        [
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          }
        ]
      ],
      "joined_laplacian": [
        [
          {
            "numerator": 3,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -1,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 3,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 4,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          }
        ]
      ],
      "normalized_interior_matrix": [
        [
          {
            "numerator": 2,
            "denominator": 3
          },
          {
            "numerator": -2,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 2
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 3
          },
          {
            "numerator": -2,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          }
        ]
      ],
      "normalized_form_matrix": [
        [
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": -1,
            "denominator": 4
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 4
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -2,
            "denominator": 3
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          }
        ],
        [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": -1,
            "denominator": 2
          },
          {
            "numerator": 1,
            "denominator": 2
          }
        ]
      ],
      "connected": true,
      "contact_diameter": 2
    },
    "unprobed_handoff": {
      "formation_certificate": {
        "scaled_time": {
          "numerator": 100,
          "denominator": 1
        },
        "form_error_bound": {
          "numerator": 1,
          "denominator": 10000000000
        },
        "phase_error_bound": {
          "numerator": 1,
          "denominator": 10000000000
        },
        "radius": {
          "numerator": 1,
          "denominator": 12
        },
        "original_time": {
          "numerator": 102400,
          "denominator": 1023
        },
        "reference_model": {
          "storage_scale": 1.0,
          "epi_weight": 0.9990234375,
          "phase_weight": 0.0009765625,
          "phase_domain": "regular"
        },
        "preparation_dimension": 16,
        "full_relative_preparation": true,
        "initial_forms_by_class": [
          [
            {
              "numerator": -343796200,
              "denominator": 38307
            },
            {
              "numerator": -85949050,
              "denominator": 12769
            },
            {
              "numerator": -171898100,
              "denominator": 38307
            },
            {
              "numerator": -85949050,
              "denominator": 38307
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 85949050,
              "denominator": 38307
            },
            {
              "numerator": 171898100,
              "denominator": 38307
            },
            {
              "numerator": 85949050,
              "denominator": 12769
            },
            {
              "numerator": 343796200,
              "denominator": 38307
            }
          ],
          [
            {
              "numerator": -687592400,
              "denominator": 38307
            },
            {
              "numerator": -171898100,
              "denominator": 12769
            },
            {
              "numerator": -343796200,
              "denominator": 38307
            },
            {
              "numerator": -171898100,
              "denominator": 38307
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 171898100,
              "denominator": 38307
            },
            {
              "numerator": 343796200,
              "denominator": 38307
            },
            {
              "numerator": 171898100,
              "denominator": 12769
            },
            {
              "numerator": 687592400,
              "denominator": 38307
            }
          ]
        ],
        "initial_form_storage_by_class": [
          {
            "numerator": 29548956783610000,
            "denominator": 163047361
          },
          {
            "numerator": 118195827134440000,
            "denominator": 163047361
          }
        ],
        "initial_storage_upper_bounds": [
          {
            "numerator": 2216171758770837798673556004402278747,
            "denominator": 12228552075000000000000000000
          },
          {
            "numerator": 8864687035083175597347112004402278747,
            "denominator": 12228552075000000000000000000
          }
        ],
        "source_budget_margin_bounds": [
          {
            "lo": {
              "numerator": 278613236597683921307924110315898488355996937937,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 139306618298841960653962055157949244177998468969,
              "denominator": 170141183460469231731687303715884105728
            }
          },
          {
            "lo": {
              "numerator": 93605845627925181166669313907300163947479107149,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 46802922813962590583334656953650081973739553575,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "source_budget_certified_by_class": [
          true,
          true
        ],
        "gamma_bounds": {
          "lo": {
            "numerator": 3308750045361523034179564622145679,
            "denominator": 10633823966279326983230456482242756608
          },
          "hi": {
            "numerator": 105880001451568737093746067908661729,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "inverse_gamma_bounds": {
          "lo": {
            "numerator": 273404060374615245765113255436148452828975,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": 1093616241498460983060453021744593811316923,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "eta_bounds": {
          "lo": {
            "numerator": 32944918095003358548072239388471,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 4118114761875419818509029923559,
            "denominator": 42535295865117307932921825928971026432
          }
        },
        "forcing_norm_bounds": {
          "lo": {
            "numerator": 721847907504013534635101317432875170781,
            "denominator": 170141183460469231731687303715884105728
          },
          "hi": {
            "numerator": 1443695815008027069270202634865750341563,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "nominal_scaled_initial_norm_upper_bounds": [
          {
            "numerator": 650590188388209490861640382370024915717,
            "denominator": 85070591730234615865843651857942052864
          },
          {
            "numerator": 650590188388209490861640382370024915717,
            "denominator": 42535295865117307932921825928971026432
          }
        ],
        "scaled_initial_error_norm_upper_bounds": [
          {
            "numerator": 22460540105533724772391257,
            "denominator": 170141183460469231731687303715884105728
          },
          {
            "numerator": 22460540105533724772391257,
            "denominator": 170141183460469231731687303715884105728
          }
        ],
        "scaled_initial_norm_upper_bounds": [
          {
            "numerator": 1301180376776441442263386298464822222691,
            "denominator": 170141183460469231731687303715884105728
          },
          {
            "numerator": 2602360753552860423986667063204872054125,
            "denominator": 170141183460469231731687303715884105728
          }
        ],
        "initial_phase_error_norm_upper_bound": {
          "numerator": 144369581500802706927020263491,
          "denominator": 340282366920938463463374607431768211456
        },
        "exponential_decay_bounds": {
          "lo": {
            "numerator": 701374233231058797338605168651,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 175343558307764699334651292163,
            "denominator": 85070591730234615865843651857942052864
          }
        },
        "scaled_form_radius_upper_bounds": [
          {
            "numerator": 14977339417237913439766341915891277433257831453673325912833790520992109,
            "denominator": 7237005577332262213973186563042994240829374041602535252466099000494570602496
          },
          {
            "numerator": 3772854053967505267715690465642294495461361068444354757364997434654495,
            "denominator": 1809251394333065553493296640760748560207343510400633813116524750123642650624
          }
        ],
        "endpoint_form_norm_upper_bounds": [
          {
            "numerator": 123161251163431278936499636100781938577062294621639620840097014263397436109959213084861557815676301964221400355445170175042975699956676440464883938603,
            "denominator": 26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008
          },
          {
            "numerator": 31024831099765187428449278009370377535351144358097586037893959675177331068147324495652211349145280741304569300440109878814243555882548345863006002665,
            "denominator": 6546781215792283740026379393655198304433284092086129578966582736192267592809349109766540184651808314301773368255120142018434513091770786106657055178752
          }
        ],
        "endpoint_phase_error_norm_upper_bounds": [
          {
            "numerator": 2347852901763045283334919319613063956501459062448551082287675031609140082380334373441477921692558528038808131,
            "denominator": 76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568
          },
          {
            "numerator": 1174355336810623389620606035388925443849223241464013173702411967843771817856912021246122706167064228040975695,
            "denominator": 38478521676166483605741250097796497856523182881313912761668255277583712667477744737709244389536050430475222646784
          }
        ],
        "proxy_target_distance_bounds": [
          {
            "lo": {
              "numerator": 312507251399441078613614585529959,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 78126812849860269653403646386851,
              "denominator": 85070591730234615865843651857942052864
            }
          },
          {
            "lo": {
              "numerator": 312507251399441078613614585529959,
              "denominator": 170141183460469231731687303715884105728
            },
            "hi": {
              "numerator": 625014502798882157227229171094807,
              "denominator": 340282366920938463463374607431768211456
            }
          }
        ],
        "endpoint_relative_norm_squared_upper_bounds": [
          {
            "numerator": 15169371088463334559241442878821482801896910417134333223482789967047796277030046149500620118517462699505701109712373132943985796562083725729544914365689222704887326431462377144206584356811216094293202941949720943784689898408989878255922362871133082365037405369291335906434311800864748668422255170873,
            "denominator": 685765508599211085406992031398401158759299079491541508764000248557024672719959118395646962442045349201660590667234013968119772982843080987903012964780708787451812337588750783066948774723991753080189067657794974398949244241113521123786594812548932026532556574571938698730267509225767960757581162756440064
          },
          {
            "numerator": 962585017151624631075958853018933275523055193067030743633854810588611363834934949632666859373226731590795830390634964861415381678000340192934669829644975941844925556323892500193397952576414991810719293534948457980453855378911175881370201019884254744890959525996208262311230747307228937936903642641,
            "denominator": 42860344287450692837937001962400072422456192468221344297750015534814042044997444899727935152627834325103786916702125873007485811427692561743938310298794299215738271099296923941684298420249484567511816728612185899934327765069595070236662175784308251658284785910746168670641719326610497547348822672277504
          }
        ],
        "endpoint_excess_storage_upper_bounds": [
          {
            "numerator": 15169371088463334559241442878821482801896910417134333223482789967047796277030046149500620118517462699505701109712373132943985796562083725729544914365689222704887326431462377144206584356811216094293202941949720943784689898408989878255922362871133082365037405369291335906434311800864748668422255170873,
            "denominator": 342882754299605542703496015699200579379649539745770754382000124278512336359979559197823481221022674600830295333617006984059886491421540493951506482390354393725906168794375391533474387361995876540094533828897487199474622120556760561893297406274466013266278287285969349365133754612883980378790581378220032
          },
          {
            "numerator": 962585017151624631075958853018933275523055193067030743633854810588611363834934949632666859373226731590795830390634964861415381678000340192934669829644975941844925556323892500193397952576414991810719293534948457980453855378911175881370201019884254744890959525996208262311230747307228937936903642641,
            "denominator": 21430172143725346418968500981200036211228096234110672148875007767407021022498722449863967576313917162551893458351062936503742905713846280871969155149397149607869135549648461970842149210124742283755908364306092949967163882534797535118331087892154125829142392955373084335320859663305248773674411336138752
          }
        ],
        "target_phase_storage_bounds_by_class": [
          {
            "lo": {
              "numerator": 716498555848023651768225418177480406391,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 89562319481002956471028177272185050809,
              "denominator": 42535295865117307932921825928971026432
            }
          },
          {
            "lo": {
              "numerator": 2530736586116349826275982556603615888181,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 632684146529087456568995639150903972079,
              "denominator": 85070591730234615865843651857942052864
            }
          }
        ],
        "initial_zero_winding_margin_bounds": {
          "lo": {
            "numerator": 534514291964426900545652493888260470163,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 534514291964426900545652493888260470165,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "initial_zero_winding_certified": true,
        "radius_angle_bounds": {
          "lo": {
            "numerator": 515226476667985973195141350151546746503,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 515226476667985973195141350151546746519,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "acute_radius_margin_bounds": {
          "lo": {
            "numerator": 19287815364497400734698836429388645131,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 4821953841124350183674709107347161287,
            "denominator": 85070591730234615865843651857942052864
          }
        },
        "acute_radius_certified": true,
        "coercivity_lower_bound": {
          "numerator": 19277488958074173347136660837908279161,
          "denominator": 1701411834604692317316873037158841057280
        },
        "barrier_lower_bound": {
          "numerator": 13387145109773731491067125581880749,
          "denominator": 170141183460469231731687303715884105728
        },
        "endpoint_radius_margin_bounds": [
          {
            "lo": {
              "numerator": 2355544828433730297092109439281976691,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 588886207108432574273027359820494173,
              "denominator": 85070591730234615865843651857942052864
            }
          },
          {
            "lo": {
              "numerator": 2355429713531756461723392506835889501,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 1177714856765878230861696253417944751,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "endpoint_radius_certified_by_class": [
          true,
          true
        ],
        "storage_barrier_margin_bounds": [
          {
            "lo": {
              "numerator": 2929990518493460599315339960511319,
              "denominator": 85070591730234615865843651857942052864
            },
            "hi": {
              "numerator": 11719962073973842397261359842045277,
              "denominator": 340282366920938463463374607431768211456
            }
          },
          {
            "lo": {
              "numerator": 11489732270026171659827494949870897,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 5744866135013085829913747474935449,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "storage_barrier_certified_by_class": [
          true,
          true
        ],
        "formation_certified_by_class": [
          true,
          true
        ],
        "symmetry_inequivalent": true,
        "status": "certified_two_formed_classes",
        "unavailable_reasons": [],
        "class_order": [
          "winding_one",
          "winding_two"
        ],
        "target_windings": [
          1,
          2
        ],
        "symmetry_winding_orbits": [
          [
            -1,
            1
          ],
          [
            -2,
            2
          ]
        ],
        "nodes": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8
        ],
        "edges": [
          [
            0,
            1
          ],
          [
            0,
            8
          ],
          [
            1,
            2
          ],
          [
            2,
            3
          ],
          [
            3,
            4
          ],
          [
            4,
            5
          ],
          [
            5,
            6
          ],
          [
            6,
            7
          ],
          [
            7,
            8
          ]
        ],
        "initial_phases": [
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          },
          {
            "numerator": 0,
            "denominator": 1
          }
        ],
        "target_phase_turns_by_class": [
          [
            {
              "numerator": -4,
              "denominator": 9
            },
            {
              "numerator": -1,
              "denominator": 3
            },
            {
              "numerator": -2,
              "denominator": 9
            },
            {
              "numerator": -1,
              "denominator": 9
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 1,
              "denominator": 9
            },
            {
              "numerator": 2,
              "denominator": 9
            },
            {
              "numerator": 1,
              "denominator": 3
            },
            {
              "numerator": 4,
              "denominator": 9
            }
          ],
          [
            {
              "numerator": -8,
              "denominator": 9
            },
            {
              "numerator": -2,
              "denominator": 3
            },
            {
              "numerator": -4,
              "denominator": 9
            },
            {
              "numerator": -2,
              "denominator": 9
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 2,
              "denominator": 9
            },
            {
              "numerator": 4,
              "denominator": 9
            },
            {
              "numerator": 2,
              "denominator": 3
            },
            {
              "numerator": 8,
              "denominator": 9
            }
          ]
        ],
        "held_capacities": [
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          },
          {
            "numerator": 1,
            "denominator": 1
          }
        ],
        "metric_weights": [
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          }
        ],
        "nominal_source_scale": {
          "numerator": 85949050,
          "denominator": 38307
        },
        "common_source_storage_budget": {
          "numerator": 1000000000,
          "denominator": 1
        },
        "conserved_form_mean": {
          "numerator": 0,
          "denominator": 1
        },
        "conserved_lifted_phase_mean": {
          "numerator": 0,
          "denominator": 1
        },
        "relative_mean_leaf_dimension": 16,
        "residual_constraints": [
          "sum_form_residuals_equals_zero",
          "sum_lifted_phase_residuals_equals_zero"
        ],
        "lambda_lower_bound": {
          "numerator": 1,
          "denominator": 5
        },
        "laplacian_upper_bound": {
          "numerator": 4,
          "denominator": 1
        },
        "form_loss": {
          "numerator": 1023,
          "denominator": 1024
        },
        "exchange_weight": {
          "numerator": 1,
          "denominator": 1024
        },
        "phase_exchange_beta": {
          "numerator": 1,
          "denominator": 1
        },
        "law": "normalized_sine_reciprocal_exchange",
        "clock": "tau=e*t; e=1023/1024",
        "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
        "scope": [
          "fixed_simple_unit_C9_same_complete_positive_loss_law_for_both_classes",
          "phase_flat_nominal_sources_with_all_node_mean_zero_form_and_phase_errors",
          "same_exact_zero_conserved_form_and_lifted_phase_origins",
          "positive_budgets_have_sixteen_dimensional_relative_interior_not_ambient_box",
          "unequal_nominal_costs_each_full_source_family_fits_one_common_storage_budget",
          "one_fresh_shared_preparation_domain_no_cached_certificate_consumption",
          "full_nonlinear_transit_and_initial_errors_retained_in_weighted_Duhamel_bounds",
          "strict_initial_zero_winding_endpoint_radius_acute_chart_and_storage_barriers",
          "conditional_recovery_to_target_and_uniform_form_on_each_fixed_mean_leaf",
          "D9_global_origins_and_joint_sign_preserve_winding_magnitude",
          "unavailable_is_not_failed_formation_or_instability",
          "no_receiver_response_or_spectral_measurement_prediction",
          "no_trajectory_solver_events_resets_or_parameter_search",
          "no_autonomous_preparation_support_origin_law_selection_or_physical_identity"
        ]
      },
      "lyapunov_decay_rate": {
        "numerator": 635095294801085274229627050189016740459980153047955046769378592952831,
        "denominator": 3039553553054257514066612379943905852291670574012008199408889529438344388280320
      },
      "decay_exponent": {
        "numerator": 155052562207296209528717541550052915151362342052723400090180320545124755859375,
        "denominator": 74207850416363708839516903807224263971964613623340043930881092027303329792
      },
      "exact_decay_upper_bound": {
        "numerator": 1,
        "denominator": 13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096
      },
      "initial_lyapunov_upper_bounds": [
        {
          "numerator": 76561345357649529608359286047307475889897601235174448372815472473917212670894480469116691090595805870675726711818115406263436875909280274116770066568692897907939928411218007579113720433865835721165933190844697255474953904260664184465463721889319529970870775896638881117801586807724496438274308459724362499219156751190056554778957441,
          "denominator": 291692388023600909576570480915096887632063931195453639269806850294683922749004165276464767161168917619303915533416314347002310792708569291354816517306378487043688168389704809442089954361991664884624733029088153467598523035406273358292809162885189165329455575799344844205974591271951923361363628905152927577316981473774121013949766723677716480
        },
        {
          "numerator": 5069708932097989697651781244343487438694164238723228965981001173990178895841510410751243492908562617061982326744865965443442543752780499525540512302252430144328467070943276922385978503707899290138374709292928846432620175054636059204824493930523100466689333103319725585999675951846057770736571594445732358491819443099909954510559769,
          "denominator": 18230774251475056848535655057193555477003995699715852454362928143417745171812760329779047947573057351206494720838519646687644424544285580709676032331648655440230510524356550590130622147624479055289045814318009591724907689712892084893300572680324322833090973487459052762873411954496995210085226806572057973582311342110882563371860420229857280
        }
      ],
      "endpoint_form_norm_squared_upper_bounds": [
        {
          "numerator": 76561345357649529608359286047307475889897601235174448372815472473917212670894480469116691090595805870675726711818115406263436875909280274116770066568692897907939928411218007579113720433865835721165933190844697255474953904260664184465463721889319529970870775896638881117801586807724496438274308459724362499219156751190056554778957441,
          "denominator": 18932234165258928969801116992725212465738136037037348661296964408581058026989794933861548522637944528729005527350825579027570594687178677091740630194052305914389888273240553205221540204670214416334204883205792360045471485977387446473378260693672573750156216147445841367743976884788355688373012803716658557255778864074042003619510495264607474423356807023918065407699719042495698590873218253310705078298236068137508658021920011981855580431759992671786030297634062680868031696261097784868864
        },
        {
          "numerator": 563300992455332188627975693815943048743796026524803218442333463776686543982390045639027054767618068562442480749429551715938060416975611058393390255805825571592051896771475213598442055967544365570930523254769871825846686117181784356091610436724788940743259233702191731777741772427339752304063510493970262054646604788878883834506641,
          "denominator": 131473848369853673401396645782813975456514833590537143481228919504035125187429131485149642518319059227284760606602955409913684685327629702025976598569807679961040890786392730591816251421320933446765311688929113611426885319287412822731793477039392873264973723246151676164888728366585803391479255581365684425387353222736402802913267328226440794606644493221653231997914715572886795769952904536879896377071083806510476791818888972096219308553888837998514099289125435283805775668479845728256
        }
      ],
      "endpoint_phase_norm_squared_upper_bounds": [
        {
          "numerator": 382806726788247648041796430236537379449488006175872241864077362369586063354472402345583455452979029353378633559090577031317184379546401370583850332843464489539699642056090037895568602169329178605829665954223486277374769521303320922327318609446597649854353879483194405589007934038622482191371542298621812496095783755950282773894787205,
          "denominator": 24443473030330545509802624746995129845940429347073403663042880342139919326090402483521445584094250449537794501050042967924054084651881857254232703530433761756080211255108229719259013722870291330404438127108985708966139131155476356495988223489749203902918282167437086232460951900493393173482653180013467526027220515067849633887649352719764517240383540771355426007328760362289344329263130092227440230067797727845126814382578311957575352642489861559509159452279583733167677022145098411958727606272
        },
        {
          "numerator": 25348544660489948488258906221717437193470821193616144829905005869950894479207552053756217464542813085309911633724329827217212718763902497627702561511262150721642335354716384611929892518539496450691873546464644232163100875273180296024122469652615502333446665516598627929998379759230288853682857972228661792459097215499549772552798845,
          "denominator": 1527717064395659094362664046687195615371276834192087728940180021383744957880650155220090349005890653096112156315627685495253380290742616078389543970652110109755013203444264357453688357679393208150277382944311606810383695697217272280999263968109325243932392635464817889528809493780837073342665823750841720376701282191740602117978084544985282327523971298209714125458047522643084020578945630764215014379237357990320425898911144497348459540155616347469322465767473983322979813884068650747420475392
        }
      ],
      "handoff_certified_by_class": [
        true,
        true
      ]
    },
    "joined_bounds": {
      "supported": true,
      "joined_gap_lower_bound": {
        "numerator": 2,
        "denominator": 135
      },
      "joined_cosine_bounds": {
        "lo": {
          "numerator": 19277488958074173347136660837908279161,
          "denominator": 340282366920938463463374607431768211456
        },
        "hi": {
          "numerator": 9638744479037086673568330418954139589,
          "denominator": 170141183460469231731687303715884105728
        }
      },
      "joined_barrier_lower_bound": {
        "numerator": 19277488958074173347136660837908279161,
        "denominator": 6615089212943043729728002368473574030704640
      },
      "joined_radius_squared_upper_bound": {
        "numerator": 30000000000000000000000000000000000000000000000000000000003,
        "denominator": 5000000000000000000000000000000000000000000000000000000000000000
      },
      "joined_excess_storage_upper_bound": {
        "numerator": 5000000000000000000000000000200000000000000000000000000011,
        "denominator": 5000000000000000000000000000000000000000000000000000000000000000
      },
      "joined_radius_margin_bounds": {
        "lo": {
          "numerator": 73782196822030983643867676165570131,
          "denominator": 10633823966279326983230456482242756608
        },
        "hi": {
          "numerator": 2361030298304991476603765637298244193,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      "joined_storage_margin_bounds": {
        "lo": {
          "numerator": 325679005790409712381909940050671,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 651358011580819424763819880101343,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      "contact_work_upper_bound": {
        "numerator": 1250000000000000000000000000050000000000000000000000000001,
        "denominator": 1250000000000000000000000000000000000000000000000000000000000000
      },
      "work_margin_bounds": {
        "lo": {
          "numerator": 85070591730234615865843651854539,
          "denominator": 85070591730234615865843651857942052864
        },
        "hi": {
          "numerator": 340282366920938463463374607418157,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      "joined_form_mean_bounds": {
        "lo": {
          "numerator": -117339,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 117339,
          "denominator": 170141183460469231731687303715884105728
        }
      },
      "joined_phase_mean_bounds": {
        "lo": {
          "numerator": 117338747214116711539094692217616429,
          "denominator": 340282366920938463463374607431768211456
        },
        "hi": {
          "numerator": 117338747214116711539094692218085785,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      "identity_certified": true,
      "work_within_allowance": true
    },
    "gamma_bounds": {
      "lo": {
        "numerator": 3308750045361523034179564622145679,
        "denominator": 10633823966279326983230456482242756608
      },
      "hi": {
        "numerator": 105880001451568737093746067908661729,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "origin_span": {
      "numerator": 1,
      "denominator": 1000
    },
    "phase_allowance": {
      "numerator": 1,
      "denominator": 2000
    },
    "form_allowance_bounds": {
      "lo": {
        "numerator": 26470000362892184273436516977165,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 52940000725784368546873033954331,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "normalized_gap_certified": true,
    "edge_deviation_bounds": {
      "lo": {
        "numerator": 126365625415786279790650575734582615,
        "denominator": 21267647932558653966460912964485513216
      },
      "hi": {
        "numerator": 2021850006652580476650409211753321925,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "refined_cosine_bounds": {
      "lo": {
        "numerator": 28548624015158056085375564272072364943,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 57097248030316112170751128544144729987,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "refined_chart_certified": true,
    "edge_disagreement_norm_squared_upper_bound": {
      "numerator": 15000000000000000000000000000600000000000000000000000000033,
      "denominator": 1250000000000000000000000000000000000000000000000000000000000000
    },
    "edge_disagreement_norm_bounds": {
      "lo": {
        "numerator": 147346587106715120692043727845830469,
        "denominator": 42535295865117307932921825928971026432
      },
      "hi": {
        "numerator": 1178772696853720965536349822766643897,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "odd_bounds": {
      "gap_lower_bound": {
        "numerator": 7,
        "denominator": 30
      },
      "forcing_upper_bound": {
        "numerator": 1443695815008027069270202634923498174165321082770808105397806144455617659552394445796704650751443,
        "denominator": 170141183460469231731687303715884105728000000000000000000000000000000000000000000000000000000000000000
      },
      "initial_norm_upper_bound": {
        "numerator": 104189770927852573530248610961801173277,
        "denominator": 4253529586511730793292182592897102643200000000000000000000000000000000
      },
      "phase_damping": {
        "numerator": 7,
        "denominator": 180
      },
      "scaled_form_damping": {
        "numerator": 405271976013365462456562226826432229353459117939745038099227143852983475656546,
        "denominator": 168158620610762968110351987724066492914194998468019437200087356239041615
      },
      "determinant": {
        "numerator": 1418391378943359243929448067176932138799657802589659146349902972037196109816511,
        "denominator": 15134275854968667129931678895165984362277549862121749348007862061513745350
      },
      "initial_joint_norm_upper_bound": {
        "numerator": 7092994694675427242329741889697469960604512405381904985078025703943147975449,
        "denominator": 289480223093290488558927462521719769633174961664101410098643960019782824099840000000000000000000000000000000
      },
      "initial_scaled_form_norm_upper_bound": {
        "numerator": 11031613097079644689212382550928492656100410869790325016102858623107415933,
        "denominator": 1447401115466452442794637312608598848165874808320507050493219800098914120499200000000000000000000000000000000
      },
      "joint_initial_correction": {
        "numerator": 0,
        "denominator": 1
      },
      "scaled_form_initial_correction": {
        "numerator": 0,
        "denominator": 1
      },
      "joint_norm_upper_bound": {
        "numerator": 417200408557577617785741458738023749343241380645331432746104984760493163541744334629389462234889721742519819340484560830305236828969555088229379908820415267304460914921834189441256467574477793228617173307,
        "denominator": 1911987796472960910812042771253182511725093916295544366904484046328616929404655658979373896141611051797670057668641020809444738709687270437080268800000000000000000000000000000000000000000000000000000000000000
      },
      "scaled_form_norm_upper_bound": {
        "numerator": 352947805611768257356041652839920927309275673443560394425917624770238942825924559133316293127684108818441752021608913486510571131027467202418356267342740809198952077576046259515545280328587681483067,
        "denominator": 1911987796472960910812042771253182511725093916295544366904484046328616929404655658979373896141611051797670057668641020809444738709687270437080268800000000000000000000000000000000000000000000000000000000000000
      },
      "phase_norm_upper_bound": {
        "numerator": 208600380752691614776999407389838294632084344960502438153249705339058966890343580276974297775591424713314318891118291219609361669770343057848291163588341305022635056936955882743757991559879060908149328187,
        "denominator": 955993898236480455406021385626591255862546958147772183452242023164308464702327829489686948070805525898835028834320510404722369354843635218540134400000000000000000000000000000000000000000000000000000000000000
      },
      "certified": true
    },
    "even_bounds": {
      "gap_lower_bound": {
        "numerator": 3,
        "denominator": 100
      },
      "forcing_upper_bound": {
        "numerator": 1237430549744071308614870125153956498583556428805049701119864495234483500465631845716198182972467903098261788508510824484759289617993562892144252809654875449504050970473330717584588846499101849455691607525513663218079906921415260739558060079,
        "denominator": 813269666134710871501461165453177851438156791422990057539684800795374129921689166050038950735805323951926027356190539326915531822927585855495392983746350016418205200453865803104649216000000000000000000000000000000000000000000000000000000000000000
      },
      "initial_norm_upper_bound": {
        "numerator": 1178772696853720965536349822743068309267,
        "denominator": 34028236692093846346337460743176821145600000000000000000000000000000000
      },
      "phase_damping": {
        "numerator": 1,
        "denominator": 200
      },
      "scaled_form_damping": {
        "numerator": 28947835466417259119261512527741172444992035949745176543823062571582461252634,
        "denominator": 93421455894868315616862215402259162730108332482233020666715197910578675
      },
      "determinant": {
        "numerator": 14436549150850682233384011377709682557403974641879695063644845206626999156317,
        "denominator": 9342145589486831561686221540225916273010833248223302066671519791057867500
      },
      "initial_joint_norm_upper_bound": {
        "numerator": 80248074360403196768056233562941543971022354246760259711167099931679823861079,
        "denominator": 2315841784746323908471419700173758157065399693312811280789151680158262592798720000000000000000000000000000000
      },
      "initial_scaled_form_norm_upper_bound": {
        "numerator": 124808454853941570723533640214181164030089795233543433567680875552658942643,
        "denominator": 11579208923731619542357098500868790785326998466564056403945758400791312963993600000000000000000000000000000000
      },
      "joint_initial_correction": {
        "numerator": 0,
        "denominator": 1
      },
      "scaled_form_initial_correction": {
        "numerator": 0,
        "denominator": 1
      },
      "joint_norm_upper_bound": {
        "numerator": 13474425483750101391748101073530930254418064335239726783051872714284421122560094034566302449044985611700217122255976404544366418394635485117651591393648468042067766577287473498384537778817406536523535883703558553034197406470092792549522727874191873817690495119975038595213825158893,
        "denominator": 44164009279373745414197463773948417062616260667318312835817918989879118658135706932362802706474852865225243563384738077732388274963403514912827600720262516748884563811452960377671925805492510551772960210936507472652124815360000000000000000000000000000000000000000000000000000000000000
      },
      "scaled_form_norm_upper_bound": {
        "numerator": 1854265118955089712710757218805391312926164008703546083065997595649937206248160721269132304837763676234343480740406364958529918747198373284465213778910098333401137862316858046503921070409086143372726690436080552213720208191206813691827526622135770867001378417889372114604642626876916097370779302134488684711693813,
        "denominator": 939264600643974245872089883184096560700203591673663353913671029668754949748365268580925044119694794779347394973393786745616708432586795202691054469244943232572833162294290997873007143240256235579101582934968621296409395166364767190827943622160895495378839797760000000000000000000000000000000000000000000000000000000000000
      },
      "phase_norm_upper_bound": {
        "numerator": 286571191547012439800993534508482475210559427671319293674170224857574540705824492812715603230324625983939760476262794414413763722213646150180273851293513705148792925106448952099010037420079964372542628418649567819014355175412529157493945101238166807638124841105034281443829261311854772441685312594789664538092563123701,
        "denominator": 939264600643974245872089883184096560700203591673663353913671029668754949748365268580925044119694794779347394973393786745616708432586795202691054469244943232572833162294290997873007143240256235579101582934968621296409395166364767190827943622160895495378839797760000000000000000000000000000000000000000000000000000000000000
      },
      "certified": true
    },
    "form_mean_error_floor": {
      "numerator": 1,
      "denominator": 1450000000000000000000000000000000
    },
    "phase_mean_error_floor": {
      "numerator": 1,
      "denominator": 1450000000000000000000000000000000
    },
    "all_time_form_error_upper_bound": {
      "numerator": 5201650359693126008611678188529983888689181554070677177129227620175619873979219478263593177262068433,
      "denominator": 1154400243404045545301735260978910106859768817269868243482210107029999227850000000000000000000000000000000
    },
    "all_time_phase_error_upper_bound": {
      "numerator": 92538742151432901242974681825677403094168004511545033772477625056927,
      "denominator": 348893155293606541740298970092556332544150000000000000000000000000000000
    },
    "form_resolution_margin_bounds": {
      "lo": {
        "numerator": -185043700866769411580444777158249,
        "denominator": 42535295865117307932921825928971026432
      },
      "hi": {
        "numerator": -740174803467077646321779108632995,
        "denominator": 170141183460469231731687303715884105728
      }
    },
    "phase_resolution_margin_bounds": {
      "lo": {
        "numerator": 39943162697302473386582548425567137,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 79886325394604946773165096851134275,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "all_time_envelopes_certified": true,
    "form_resolution_certified": false,
    "phase_resolution_certified": true,
    "joint_resolution_certified": false,
    "status": "phase_only",
    "unavailable_reasons": [],
    "resolution_limitations": [
      "form_resolution_not_certified"
    ],
    "odd_gap_lower_bound": {
      "numerator": 7,
      "denominator": 30
    },
    "refined_cosine_lower_bound": {
      "numerator": 1,
      "denominator": 6
    },
    "clock": "tau=e*t; e=1023/1024; estimates cover all postcontact tau>=0",
    "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
    "gap_method": "exact_psd_Lhat_minus_gap_times_weighted_mean_free_metric",
    "implementation_component_cap": 16,
    "scope": [
      "same_degree_aware_thirty_or_general_ten_m_coordinate_surrogate",
      "fresh_original_zero_sum_source_errors_and_unprobed_handoff_no_ideal_reset",
      "full_and_surrogate_acute_trapping_before_parity_estimates",
      "reflection_odd_modes_generated_by_internal_nonlinearity_not_discarded",
      "weighted_even_and_odd_error_rectangles_include_initial_exchange",
      "actual_nominal_conserved_mean_difference_retained_as_permanent_floor",
      "uniform_each_fine_coordinate_bounds_for_all_uninterrupted_postcontact_times",
      "origin_span_resolution_is_declared_mathematical_policy_not_a_sensor",
      "insufficient_channel_bound_is_not_observed_tracking_failure",
      "supplied_work_and_fixed_support_no_occurrence_rule_solver_or_physical_identity"
    ]
  },
  "frozen_stopping_rule": {
    "envelopes_admitted": true,
    "phase_resolution_passed": true,
    "form_resolution_passed": false,
    "joint_resolution_passed": false
  },
  "frozen_stopping_rule_passed": false
}