{
  "schema": "tnfr.sine-port-form-tracking.v1",
  "report": {
    "baseline_certificate": {
      "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"
      ]
    },
    "bridge_hessian_variation_upper_bound": {
      "numerator": 15000000000000000000000000000600000000000000000000000000033,
      "denominator": 1250000000000000000000000000000000000000000000000000000000000000
    },
    "even_bridge_forcing_upper_bound": {
      "numerator": 4298567873205186597014903017799179843086598878950385525827099707311005177703591755034016105051362575295744639522818895574701191266860756801281399324651676468030093662421570807936912987223525543607957834631835492007173472783226329832866248444843754044113296848887317020427812725049309953485600446129002029510559430076992318844520164346146745364796215315628058929757054583082133,
      "denominator": 1174080750804967807340112353980120700875254489592079192392088787085943687185456585726156305149618493474184243716742233432020885540733494003363818086556179040716041452867863747341258929050320294473876978668710776620511743957955958988534929527701119369223549747200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
    },
    "odd_heat_bounds": {
      "gap_lower_bound": {
        "numerator": 7,
        "denominator": 30
      },
      "spectral_lower_bound": {
        "numerator": 7,
        "denominator": 180
      },
      "spectral_upper_bound": {
        "numerator": 2,
        "denominator": 1
      },
      "spectral_ratio_upper_bound": {
        "numerator": 360,
        "denominator": 7
      },
      "dyadic_band_count": 6,
      "heat_integral_upper_bound": {
        "numerator": 103,
        "denominator": 40
      },
      "derivative_filter_gain_upper_bound": {
        "numerator": 143,
        "denominator": 40
      },
      "initial_norm_upper_bound": {
        "numerator": 104189770927852573530248610961801173277,
        "denominator": 4253529586511730793292182592897102643200000000000000000000000000000000
      },
      "forcing_upper_bound": {
        "numerator": 1443695815008027069270202634923498174165321082770808105397806144455617659552394445796704650751443,
        "denominator": 170141183460469231731687303715884105728000000000000000000000000000000000000000000000000000000000000000
      },
      "loop_gain_upper_bound": {
        "numerator": 4809336549467820887956066848908301697345976956185355903922498388436590189,
        "denominator": 1621089249322426735929993790121630709945779785318967896552406176110783814959104
      },
      "loop_margin": {
        "numerator": 1621084439985877268109105834054781801644082439342011711196502253612395378368915,
        "denominator": 1621089249322426735929993790121630709945779785318967896552406176110783814959104
      },
      "initial_form_contribution_upper_bound": {
        "numerator": 104189770927852573530248610961801173277,
        "denominator": 4253529586511730793292182592897102643200000000000000000000000000000000
      },
      "initial_joint_contribution_upper_bound": {
        "numerator": 2253018865704610762741571942063893381072876762215896432623960515488806433885581900352719464785337798472013673963,
        "denominator": 34476755421845169310744160087625662079444771861657265834454756728715006550060059284987482973024301185705799491518464000000000000000000000000000000
      },
      "forced_contribution_upper_bound": {
        "numerator": 9368043275734425958168800983262492034484944292645627991789295417563037979375726400260480091076330230043301527095396984802480039014609,
        "denominator": 231584178474632390847141970017375815706539969331281128078915168015826259279872000000000000000000000000000000000000000000000000000000000000000
      },
      "form_norm_upper_bound": {
        "numerator": 162359062051057449054317225990957008613133667213574496370482499046909032469557351799080264824273332928913380471170631601302621217095354659532655246564368481522199,
        "denominator": 4013610670642071175700124865018057332258315142040090940015247931636793313974848949312871654279694170193920000000000000000000000000000000000000000000000000000000000000000
      },
      "certified": true
    },
    "even_heat_bounds": {
      "gap_lower_bound": {
        "numerator": 3,
        "denominator": 100
      },
      "spectral_lower_bound": {
        "numerator": 1,
        "denominator": 200
      },
      "spectral_upper_bound": {
        "numerator": 2,
        "denominator": 1
      },
      "spectral_ratio_upper_bound": {
        "numerator": 400,
        "denominator": 1
      },
      "dyadic_band_count": 9,
      "heat_integral_upper_bound": {
        "numerator": 269,
        "denominator": 80
      },
      "derivative_filter_gain_upper_bound": {
        "numerator": 349,
        "denominator": 80
      },
      "initial_norm_upper_bound": {
        "numerator": 1178772696853720965536349822743068309267,
        "denominator": 34028236692093846346337460743176821145600000000000000000000000000000000
      },
      "forcing_upper_bound": {
        "numerator": 1790721263087651741760743158238073666022480796254052647925600891396989770010719653492928922210709539849089466878715744259063027232814013593453270990517703776038143274041516400388118640457861579676504625842592815185348349703961521464813097990140414300466499111246139071339343118776093043544983288537589843126530396334376992318844520164346146745364796215315628058929757054583082133,
        "denominator": 1174080750804967807340112353980120700875254489592079192392088787085943687185456585726156305149618493474184243716742233432020885540733494003363818086556179040716041452867863747341258929050320294473876978668710776620511743957955958988534929527701119369223549747200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
      },
      "loop_gain_upper_bound": {
        "numerator": 6520817621461808430056982635077689558561561607259864842536720814158391515,
        "denominator": 231584178474632390847141970017375815706539969331281128078915168015826259279872
      },
      "loop_margin": {
        "numerator": 231577657657010929038711913034740738016981407769673868214072631295012100888357,
        "denominator": 231584178474632390847141970017375815706539969331281128078915168015826259279872
      },
      "initial_form_contribution_upper_bound": {
        "numerator": 1178772696853720965536349822743068309267,
        "denominator": 34028236692093846346337460743176821145600000000000000000000000000000000
      },
      "initial_joint_contribution_upper_bound": {
        "numerator": 2832222076588362142445762193847937934021611632747405169225316807283430647174818188812665769762627083438833315197,
        "denominator": 3940200619639447921227904010014361380507973927046544666794829340424572177149721061141426625488491564080662799030681600000000000000000000000000000
      },
      "forced_contribution_upper_bound": {
        "numerator": 22056982635780457832958694904203652682489747686117660235777978779007872972034502172282702038432601662210793001902560917984872234691041987567682063615313368502512030463909378491158620767679974240384275260155820769236977785104249078366366273228749511140693799542124256324523272416910026437761204954321758306699523630122144384887089775862631910441768872562831586343691841598281140196245679439041053145157320648718332331,
        "denominator": 319615181472181578131022296617532652668023215364269057736040290962521435987409606008645127017397175215534111121071872861733355922572721907001775122013113951555577146167486580534772407247506291194345606694216307497420256082492976727731090921692283850122200988749118732738377544186048252947187955138560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
      },
      "form_norm_upper_bound": {
        "numerator": 22056982635780457832958706205738184978356638344587617008528779783631690801984196833605661699007270885904082269736473741847781434750340265763283855988542429436159936333769441945003296597513126434372742269178840000738933135237538529272328392737825927654730374569961448399703081309475424763428760439355596632677351399419758004087089775862631910441768872562831586343691841598281140196245679439041053145157320648718332331,
        "denominator": 319606181926870848657811921731041154028062867315486763818572283361552031837075453566194921203777679891571069509760321049831072050262110440085920944447672863718132768995926761259362397128368808638255194581461761478163977382943728405994142304803615459696881794549880515153486553881977883884046893711360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
      },
      "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": 19735095504588835983923675434549319168004511545033772477625056927,
      "denominator": 348893155293606541740298970092556332544150000000000000000000000000000000
    },
    "all_time_phase_error_upper_bound": {
      "numerator": 92538742151432901242974681825677403094168004511545033772477625056927,
      "denominator": 348893155293606541740298970092556332544150000000000000000000000000000000
    },
    "form_resolution_margin_bounds": {
      "lo": {
        "numerator": 16845986667265345824247194462909,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 8422993333632672912123597231455,
        "denominator": 85070591730234615865843651857942052864
      }
    },
    "phase_resolution_margin_bounds": {
      "lo": {
        "numerator": 39943162697302473386582548425567137,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 79886325394604946773165096851134275,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "all_time_envelopes_certified": true,
    "form_resolution_certified": true,
    "phase_resolution_certified": true,
    "joint_resolution_certified": true,
    "status": "full",
    "unavailable_reasons": [],
    "resolution_limitations": [],
    "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
    "method": "fixed_reference_heat_filter_total_variation_and_finite_supremum_small_gain",
    "scope": [
      "same_complete_law_support_surrogate_source_and_resolution_primitives",
      "fresh_baseline_phase_parity_bounds_not_incoming_report_premises",
      "fixed_reference_phase_hessian_internal_cosines_and_unit_bridge_weights",
      "noncommuting_diffusion_and_phase_operators_keep_convolution_order",
      "time_varying_bridge_hessian_retained_as_explicit_even_forcing",
      "bounded_forcing_no_time_derivative_or_commuting_mode_assumption",
      "initial_form_and_joint_coordinate_exchange_retained",
      "uniform_all_time_fine_coordinate_envelopes_with_conserved_mean_floors",
      "declared_resolution_policy_not_observed_error_or_physical_sensor",
      "no_trajectory_solver_ideal_reset_probe_or_support_occurrence_rule"
    ]
  },
  "frozen_stopping_rule": {
    "envelopes_admitted": true,
    "phase_resolution_passed": true,
    "form_resolution_passed": true,
    "joint_resolution_passed": true
  },
  "frozen_stopping_rule_passed": true
}