{
  "schema": "tnfr.sine-port-composition.v1",
  "report": {
    "classes": [
      1,
      2,
      1
    ],
    "contacts": [
      [
        0,
        1
      ],
      [
        1,
        2
      ]
    ],
    "phase_origins": [
      {
        "numerator": 0,
        "denominator": 1
      },
      {
        "numerator": 1,
        "denominator": 1000
      },
      {
        "numerator": 0,
        "denominator": 1
      }
    ],
    "formation_time": {
      "numerator": 100,
      "denominator": 1
    },
    "relaxation_duration": {
      "numerator": 10000000000000,
      "denominator": 1
    },
    "contact_duration": {
      "numerator": 1,
      "denominator": 100
    },
    "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
    },
    "approximation_allowance": {
      "numerator": 1,
      "denominator": 50000000000000000000000000000000
    },
    "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
      ]
    },
    "ideal_port_forcing_bounds": [
      {
        "lo": {
          "numerator": 56713718367868913165547920280248419,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 14178429591967228291386980070062105,
          "denominator": 42535295865117307932921825928971026432
        }
      },
      {
        "lo": {
          "numerator": -42535288775901684874160940210186315,
          "denominator": 85070591730234615865843651857942052864
        },
        "hi": {
          "numerator": -85070577551803369748321880420372629,
          "denominator": 170141183460469231731687303715884105728
        }
      },
      {
        "lo": {
          "numerator": 56713718367868913165547920280248419,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 113427436735737826331095840560496841,
          "denominator": 340282366920938463463374607431768211456
        }
      }
    ],
    "ideal_forcing_norm_upper_bound": {
      "numerator": 42535288775901684874160940210186315,
      "denominator": 85070591730234615865843651857942052864
    },
    "bootstrap_denominator_lower_bound": {
      "numerator": 578960446182844118882060192418765050650259556818998486897998599212897040283256853,
      "denominator": 578960446186580977117854925043439539266349923328202820197287920039565648199680000
    },
    "ideal_surrogate_discrepancy_upper_bound": {
      "numerator": 4815024040446342712714711004228277812378623455624997019991774574669110999314962098439708060828633474582115545713722883716239849575454782701456216971574208863491605533658566092151756258559645984132705248245751898672302744792841680026319538798405,
      "denominator": 160139279748431313052638752455863359213847202542100130265153557312448306522960119325003181993542937558028803558371123182536658820930659685947488846185214728838048686697656080905703236742329077505174455018462524666636863885418717976491673931579692145965934983675925629969624989696
    },
    "preparation_error_upper_bound": {
      "numerator": 1,
      "denominator": 97000000000000000000000000000000
    },
    "total_approximation_error_upper_bound": {
      "numerator": 1542023787105538645123353164828099215937489634257767723701325499118442179480526007256325004751413014103526660138504505755217861944286083590100357090377022493993646210178780511719068657293928836708862751449106535738046763519186407668057357977299359876373830603530934157,
      "denominator": 149141326312377409127204448409251271946213396770972879850448628247201728190258256462405605235642695387852195239040184004732089881720635747488112045624493368750483437159709707746005837565594424964091232995002087826502382648567406438748979877289097892088755018707295535104000000000000000000000000000000
    },
    "approximation_margin_bounds": {
      "lo": {
        "numerator": 1643675,
        "denominator": 170141183460469231731687303715884105728
      },
      "hi": {
        "numerator": 3287351,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "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
      }
    },
    "approximation_certified": true,
    "identity_certified": true,
    "work_within_allowance": true,
    "status": "certified_sine_port_composition",
    "unavailable_reasons": [],
    "clock": "tau=e*t; e=1023/1024",
    "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
    "implementation_component_cap": 16,
    "scope": [
      "fresh_two_class_source_library_with_independent_original_zero_sum_errors",
      "unprobed_actual_source_images_no_incoming_report_or_ideal_reset",
      "phase_origins_supplied_per_component_and_all_edge_offsets_derived",
      "uniform_all_fine_coordinate_error_over_the_whole_window",
      "initial_and_generated_odd_modes_retained_in_full_space_error",
      "connected_multi_component_full_sine_barrier_not_surrogate_storage",
      "supplied_contact_work_separate_from_continuous_dissipation",
      "no_contrast_prediction_solver_event_selector_or_physical_identification"
    ]
  },
  "algebraic_control": {
    "middle_form_rate": {
      "numerator": -1,
      "denominator": 1
    },
    "naive_middle_form_rate": {
      "numerator": -4,
      "denominator": 3
    },
    "weighted_form_charge_rate": {
      "numerator": 0,
      "denominator": 1
    },
    "naive_weighted_form_charge_rate": {
      "numerator": -4,
      "denominator": 3
    },
    "form_storage": {
      "numerator": 2,
      "denominator": 1
    },
    "dissipation": {
      "numerator": 17,
      "denominator": 3
    },
    "storage_rate": {
      "numerator": -17,
      "denominator": 3
    },
    "passed": true
  },
  "frozen_stopping_rule_passed": true
}