{
  "schema":"tnfr.maintained-sha-retention-source.v1",
  "endpoint":{
    "type":"builtins.dict",
    "items":[
      [
        "graph_type",
        "networkx.classes.graph.Graph"
      ],
      [
        "node_order",
        {
          "type":"builtins.tuple",
          "items":[
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14,
            15,
            16,
            17,
            18,
            19,
            "2_sub_0"
          ]
        }
      ],
      [
        "neighbor_order",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    8,
                    9,
                    1,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    8,
                    9,
                    0,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                {
                  "type":"builtins.tuple",
                  "items":[
                    0,
                    1,
                    4,
                    5,
                    3,
                    10,
                    11,
                    12,
                    13,
                    14,
                    15,
                    "2_sub_0"
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                {
                  "type":"builtins.tuple",
                  "items":[
                    0,
                    1,
                    4,
                    5,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    6,
                    7
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                {
                  "type":"builtins.tuple",
                  "items":[
                    2,
                    3,
                    6,
                    7
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                {
                  "type":"builtins.tuple",
                  "items":[
                    4,
                    5,
                    8,
                    9
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                {
                  "type":"builtins.tuple",
                  "items":[
                    4,
                    5,
                    8,
                    9
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                8,
                {
                  "type":"builtins.tuple",
                  "items":[
                    6,
                    7,
                    0,
                    1
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                9,
                {
                  "type":"builtins.tuple",
                  "items":[
                    6,
                    7,
                    0,
                    1
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    18,
                    19,
                    0,
                    1,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    18,
                    19,
                    0,
                    1,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                {
                  "type":"builtins.tuple",
                  "items":[
                    10,
                    11,
                    14,
                    15,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                {
                  "type":"builtins.tuple",
                  "items":[
                    10,
                    11,
                    14,
                    15,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    16,
                    17,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                {
                  "type":"builtins.tuple",
                  "items":[
                    12,
                    13,
                    16,
                    17,
                    2
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                {
                  "type":"builtins.tuple",
                  "items":[
                    14,
                    15,
                    18,
                    19
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                {
                  "type":"builtins.tuple",
                  "items":[
                    14,
                    15,
                    18,
                    19
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                18,
                {
                  "type":"builtins.tuple",
                  "items":[
                    16,
                    17,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                19,
                {
                  "type":"builtins.tuple",
                  "items":[
                    16,
                    17,
                    10,
                    11
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                "2_sub_0",
                {
                  "type":"builtins.tuple",
                  "items":[
                    2
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "graph",
        {
          "type":"builtins.dict",
          "items":[
            [
              "RANDOM_SEED",
              17
            ],
            [
              "_t",
              {
                "type":"binary64",
                "hex":"0x1.c000080000000p+2"
              }
            ],
            [
              "GAMMA",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "type",
                    "none"
                  ]
                ]
              }
            ],
            [
              "GRAMMAR_REJECTION_MODE",
              "raise"
            ],
            [
              "VALIDATE_OPERATOR_PRECONDITIONS",
              true
            ],
            [
              "EDGE_AWARE_ENABLED",
              false
            ],
            [
              "EPI_MIN",
              {
                "type":"binary64",
                "hex":"-0x1.0000000000000p+0"
              }
            ],
            [
              "EPI_MAX",
              {
                "type":"binary64",
                "hex":"0x1.0000000000000p+0"
              }
            ],
            [
              "CLIP_MODE",
              "hard"
            ],
            [
              "GLYPH_FACTORS",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "VAL_scale",
                    {
                      "type":"binary64",
                      "hex":"0x1.0000000000000p+7"
                    }
                  ]
                ]
              }
            ],
            [
              "_dnfrmax",
              {
                "type":"binary64",
                "hex":"0x1.2055653da4024p-4"
              }
            ],
            [
              "_dnfrmax_node",
              11
            ],
            [
              "_vfmax",
              {
                "type":"binary64",
                "hex":"0x1.e666666666666p+6"
              }
            ],
            [
              "_vfmax_node",
              "2_sub_0"
            ],
            [
              "_last_network_stage_schedule",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "operator",
                    "silence"
                  ],
                  [
                    "glyph",
                    "SHA"
                  ],
                  [
                    "schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "nodes_processed",
                    1
                  ]
                ]
              }
            ],
            [
              "_last_network_stage_contract",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    "operator",
                    "silence"
                  ],
                  [
                    "glyph",
                    "SHA"
                  ],
                  [
                    "observed_schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "declared_schedule",
                    "two_phase_jacobi"
                  ],
                  [
                    "schedule_matches_contract",
                    true
                  ],
                  [
                    "read_set",
                    {
                      "type":"builtins.list",
                      "items":[
                        "callback.compute_delta_nfr_effects",
                        "graph.configuration",
                        "graph.monitor_cache_runtime",
                        "graph.telemetry",
                        "runtime.rollback_snapshot_all_graph_storage",
                        "target.DeltaNFR",
                        "target.EPI",
                        "target.EPI_kind",
                        "target.lifecycle_metadata",
                        "target.nu_f",
                        "target.operator_history",
                        "target.theta",
                        "wall_clock"
                      ]
                    }
                  ],
                  [
                    "write_set",
                    {
                      "type":"builtins.list",
                      "items":[
                        "all_nodes.DeltaNFR",
                        "callback.compute_delta_nfr_effects",
                        "graph.monitor_cache_runtime",
                        "graph.telemetry",
                        "target.lifecycle_metadata",
                        "target.nu_f",
                        "target.operator_history"
                      ]
                    }
                  ],
                  [
                    "structural_overlap",
                    "disjoint_target_writes"
                  ],
                  [
                    "merge_law",
                    "immutable_proposal_commit"
                  ],
                  [
                    "merge_law_status",
                    "implemented_and_tested"
                  ],
                  [
                    "rollback_scope",
                    "complete_stage"
                  ],
                  [
                    "direct_call_rollback_scope",
                    "none"
                  ],
                  [
                    "stage_atomic",
                    true
                  ],
                  [
                    "structural_state_target_order_invariant",
                    true
                  ],
                  [
                    "structural_state_target_order_scope",
                    "committed nu_f only under an immutable stage snapshot and one shared stage timestamp; ordered lifecycle, telemetry and monitor streams retain requested target order; cache tie identity and opaque pressure-refresh callback excluded"
                  ],
                  [
                    "relabeling_equivariant",
                    null
                  ],
                  [
                    "relabeling_scope",
                    "no complete all-target relabeling-equivariance certificate"
                  ],
                  [
                    "two_phase_contract_complete",
                    true
                  ],
                  [
                    "executed_two_phase_contract_complete",
                    true
                  ],
                  [
                    "promotion_blockers",
                    {
                      "type":"builtins.list",
                      "items":[]
                    }
                  ],
                  [
                    "footprint_scope",
                    "shared run_network_sequence stage; custom pressure-refresh callback effects are opaque and represented by callback.compute_delta_nfr_effects"
                  ]
                ]
              }
            ],
            [
              "hierarchy",
              {
                "type":"builtins.dict",
                "items":[
                  [
                    2,
                    {
                      "type":"builtins.list",
                      "items":[
                        "2_sub_0"
                      ]
                    }
                  ]
                ]
              }
            ],
            [
              "_edge_version",
              8
            ],
            [
              "_dnfr_prep_dirty",
              true
            ]
          ]
        }
      ],
      [
        "nodes",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40ffffffffffbp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          "AL",
                          "UM",
                          "SHA"
                        ]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.68828f95198a6p-5"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40ffffffffffbp-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          "AL",
                          "AL",
                          "AL",
                          "UM",
                          "SHA"
                        ]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.68828f95198a6p-5"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.3690adc21cebep-2"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.400001fa4d198p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.416d4623c0fdcp+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.b1f984bd842dbp+6"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"collections.deque",
                        "items":[
                          "VAL",
                          "THOL",
                          "UM",
                          "SHA"
                        ],
                        "maxlen":7
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.2529245e53977p-13"
                      }
                    ],
                    [
                      "_operator_step",
                      4
                    ],
                    [
                      "source_glyph",
                      "SHA"
                    ],
                    [
                      "epi_time_history",
                      {
                        "type":"builtins.tuple",
                        "items":[
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000000000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.4000000000000p-2"
                              }
                            ]
                          },
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000040000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.400000fd260c1p-2"
                              }
                            ]
                          },
                          {
                            "type":"builtins.tuple",
                            "items":[
                              {
                                "type":"binary64",
                                "hex":"0x1.c000080000000p+2"
                              },
                              {
                                "type":"binary64",
                                "hex":"0x1.400001fa4d198p-2"
                              }
                            ]
                          }
                        ]
                      }
                    ],
                    [
                      "d2EPI_dt2",
                      {
                        "type":"binary64",
                        "hex":"0x1.0160000000000p-2"
                      }
                    ],
                    [
                      "sub_nodes",
                      {
                        "type":"builtins.list",
                        "items":[
                          "2_sub_0"
                        ]
                      }
                    ],
                    [
                      "sub_epis",
                      {
                        "type":"builtins.list",
                        "items":[
                          {
                            "type":"builtins.dict",
                            "items":[
                              [
                                "epi",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.30c59a4177d6cp-3"
                                }
                              ],
                              [
                                "vf",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.e666666666666p+6"
                                }
                              ],
                              [
                                "timestamp",
                                2
                              ],
                              [
                                "d2_epi",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.0160000000000p-2"
                                }
                              ],
                              [
                                "tau",
                                {
                                  "type":"binary64",
                                  "hex":"0x1.999999999999ap-4"
                                }
                              ],
                              [
                                "node_id",
                                "2_sub_0"
                              ],
                              [
                                "metabolized",
                                true
                              ],
                              [
                                "network_signals",
                                {
                                  "type":"builtins.dict",
                                  "items":[
                                    [
                                      "epi_gradient",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.fff812d8ea800p-12"
                                      }
                                    ],
                                    [
                                      "phase_variance",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.61c886457707ep-1"
                                      }
                                    ],
                                    [
                                      "neighbor_count",
                                      4
                                    ],
                                    [
                                      "coupling_strength_mean",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.333333338c1ecp-1"
                                      }
                                    ],
                                    [
                                      "mean_neighbor_epi",
                                      {
                                        "type":"binary64",
                                        "hex":"0x1.407fffff03542p-2"
                                      }
                                    ]
                                  ]
                                }
                              ],
                              [
                                "bifurcation_level",
                                1
                              ],
                              [
                                "hierarchy_path",
                                {
                                  "type":"builtins.list",
                                  "items":[
                                    2
                                  ]
                                }
                              ]
                            ]
                          }
                        ]
                      }
                    ],
                    [
                      "_thol_subepi_amplitude_alignment",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ],
                    [
                      "_mutation_context",
                      {
                        "type":"builtins.dict",
                        "items":[
                          [
                            "destabilizer_operator",
                            "expansion"
                          ],
                          [
                            "destabilizer_distance",
                            1
                          ],
                          [
                            "recent_history",
                            {
                              "type":"builtins.list",
                              "items":[
                                "expansion"
                              ]
                            }
                          ]
                        ]
                      }
                    ],
                    [
                      "_thol_no_bifurcation_expected",
                      false
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.416d4623c0fdcp+0"
                      }
                    ],
                    [
                      "latent",
                      true
                    ],
                    [
                      "latency_start_time",
                      "2030-01-02T03:04:08+00:00"
                    ],
                    [
                      "preserved_epi",
                      {
                        "type":"binary64",
                        "hex":"0x1.400001fa4d198p-2"
                      }
                    ],
                    [
                      "silence_duration",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ],
                    [
                      "was_initial_on_silence",
                      false
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40000003f4964p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41628aaaaea74p+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.6860e928887f5p-13"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3ffffffe06a8ap-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.dffdcb80ae74ap-6"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3ffffffe06a8ap-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.dffdcb80ae74ap-6"
                      }
                    ],
                    [
                      "phase",
                      {
                        "type":"binary64",
                        "hex":"0x1.1ad8326eb3cf2p+1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40000001f9565p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c731eb6950p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f9f6d95d6aedep-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.40000001f9565p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c731eb6950p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f9f6d95d6aedep-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3ffffffc0b69ep-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41c71298f42e3p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.f9c99c2730768p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.3ffffffc0b69ep-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41c71298f42e3p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.f9c99c2730768p-8"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000001p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"-0x1.b26dfa1a3083cp-33"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.2055653da4024p-4"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000001p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"-0x1.b26dfa1a3083cp-33"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.2055653da4024p-4"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.1bf3e212e1078p-14"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+0"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.1bf3e212e1078p-14"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f02a419d79afcp-5"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.f02a419d79afcp-5"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c731eb6950p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.e28c731eb6950p+1"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x0.0p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.55dab00df3980p-37"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.4000000000000p-2"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41b2f769cf0e0p+2"
                      }
                    ],
                    [
                      "nu_f",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "Si",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p-1"
                      }
                    ],
                    [
                      "EPI_kind",
                      "declared_rounded_post_contact_preparation"
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ],
                    [
                      "_grammar_u2_debt",
                      0
                    ],
                    [
                      "_grammar_prior_coherence",
                      false
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"-0x1.55dab00df3980p-37"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                "2_sub_0",
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "EPI",
                      {
                        "type":"binary64",
                        "hex":"0x1.30c59a4177d6cp-3"
                      }
                    ],
                    [
                      "\u03bdf",
                      {
                        "type":"binary64",
                        "hex":"0x1.e666666666666p+6"
                      }
                    ],
                    [
                      "theta",
                      {
                        "type":"binary64",
                        "hex":"0x1.41628a08fc59cp+0"
                      }
                    ],
                    [
                      "\u0394NFR",
                      {
                        "type":"binary64",
                        "hex":"0x1.b55fda35e6453p-15"
                      }
                    ],
                    [
                      "parent_node",
                      2
                    ],
                    [
                      "hierarchy_level",
                      1
                    ],
                    [
                      "_bifurcation_level",
                      1
                    ],
                    [
                      "_hierarchy_path",
                      {
                        "type":"builtins.list",
                        "items":[
                          2
                        ]
                      }
                    ],
                    [
                      "epi_history",
                      {
                        "type":"builtins.list",
                        "items":[
                          {
                            "type":"binary64",
                            "hex":"0x1.30c59a4177d6cp-3"
                          }
                        ]
                      }
                    ],
                    [
                      "glyph_history",
                      {
                        "type":"builtins.list",
                        "items":[]
                      }
                    ]
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "edges",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.tuple",
              "items":[
                0,
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                1,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                0,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                2,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                1,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffcce13f8191ep-1"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                3,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.fffc950f4b6fep-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                10,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99afc841d6bb2p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                11,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99afc841d6bb2p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffe9d08cf87d8p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.ffe9d08cf87d8p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99836a2692171p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.99836a2692171p-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                2,
                "2_sub_0",
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.9291b2219d30ap-1"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                4,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                3,
                5,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                4,
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                6,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                5,
                7,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                6,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                8,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                7,
                9,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                10,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                12,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                13,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                11,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                12,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                14,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                13,
                15,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                14,
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                16,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                15,
                17,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                16,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                18,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            },
            {
              "type":"builtins.tuple",
              "items":[
                17,
                19,
                {
                  "type":"builtins.dict",
                  "items":[
                    [
                      "weight",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ],
                    [
                      "length",
                      {
                        "type":"binary64",
                        "hex":"0x1.0000000000000p+0"
                      }
                    ]
                  ]
                }
              ]
            }
          ]
        }
      ],
      [
        "object_state",
        {
          "type":"builtins.dict",
          "items":[
            [
              "_last_operator_applied",
              "silence"
            ]
          ]
        }
      ],
      [
        "omitted_rebuildable_caches",
        {
          "type":"builtins.tuple",
          "items":[]
        }
      ],
      [
        "omitted_networkx_views",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "adj"
                ],
                [
                  "type",
                  "networkx.classes.coreviews.AdjacencyView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            },
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "edges"
                ],
                [
                  "type",
                  "networkx.classes.reportviews.EdgeView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            },
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "nodes"
                ],
                [
                  "type",
                  "networkx.classes.reportviews.NodeView"
                ],
                [
                  "scope",
                  "view of retained graph storage"
                ]
              ]
            }
          ]
        }
      ],
      [
        "omitted_networkx_cache",
        {
          "type":"builtins.tuple",
          "items":[
            {
              "type":"builtins.dict",
              "items":[
                [
                  "key",
                  "__networkx_cache__"
                ],
                [
                  "type",
                  "builtins.dict"
                ],
                [
                  "scope",
                  "NetworkX rebuildable cache"
                ]
              ]
            }
          ]
        }
      ]
    ]
  },
  "retained_source_receipts":[
    {
      "path":"freeze.json",
      "bytes":135764,
      "sha256":"a9e060d705a30ce07371b88129c2bc26d15391ab35bb8afb50d3bd7142ff9c46"
    },
    {
      "path":"protocol.json",
      "bytes":2887,
      "sha256":"083e69a852897ccd4384cfb5f04e65ac9bf5cf6891c2c336cbb10c15b16b0ab6"
    },
    {
      "path":"source.json",
      "bytes":224134,
      "sha256":"99ef87dcaa90959f8bd59ee324181b9238184233853c5895b303cd1fafabf72d"
    },
    {
      "path":"source-manifest.json",
      "bytes":141233,
      "sha256":"cae6c888cd4f09e45f03e5d942ed29950768d5697f5ef8f9026d53ce8f60d4ea"
    },
    {
      "path":"source.zip",
      "bytes":3993971,
      "sha256":"3d6f46dca7890b5c3a797a4de6bc37c41e09cc58bb62ea1aa62bdf6757388240"
    },
    {
      "path":"attempt.json",
      "bytes":631,
      "sha256":"29d0468624254a712497435c44b86beef73b96b03d46036553484091836449b3"
    },
    {
      "path":"report.json",
      "bytes":241386,
      "sha256":"ff001269604438616a37738ec4bf37167e10e7a1817e9ccc3278f3f115cf1c15"
    },
    {
      "path":"response.json",
      "bytes":439956,
      "sha256":"d218ce299ddf9bed71606256dd179467383f93527d629cec0ee6f96ac686ffad"
    },
    {
      "path":"raw-after.json",
      "bytes":100593,
      "sha256":"94bcf14ab8b525349f882b3a205ba9da0e82feaf1c071744fbf29834da6828e5"
    }
  ],
  "prediction":{
    "nodes":[
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19,
      "2_sub_0"
    ],
    "edges":[
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        0,
        3
      ],
      [
        0,
        8
      ],
      [
        0,
        9
      ],
      [
        0,
        10
      ],
      [
        0,
        11
      ],
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        1,
        8
      ],
      [
        1,
        9
      ],
      [
        1,
        10
      ],
      [
        1,
        11
      ],
      [
        2,
        3
      ],
      [
        2,
        4
      ],
      [
        2,
        5
      ],
      [
        2,
        10
      ],
      [
        2,
        11
      ],
      [
        2,
        12
      ],
      [
        2,
        13
      ],
      [
        2,
        14
      ],
      [
        2,
        15
      ],
      [
        2,
        20
      ],
      [
        3,
        4
      ],
      [
        3,
        5
      ],
      [
        4,
        6
      ],
      [
        4,
        7
      ],
      [
        5,
        6
      ],
      [
        5,
        7
      ],
      [
        6,
        8
      ],
      [
        6,
        9
      ],
      [
        7,
        8
      ],
      [
        7,
        9
      ],
      [
        10,
        12
      ],
      [
        10,
        13
      ],
      [
        10,
        18
      ],
      [
        10,
        19
      ],
      [
        11,
        12
      ],
      [
        11,
        13
      ],
      [
        11,
        18
      ],
      [
        11,
        19
      ],
      [
        12,
        14
      ],
      [
        12,
        15
      ],
      [
        13,
        14
      ],
      [
        13,
        15
      ],
      [
        14,
        16
      ],
      [
        14,
        17
      ],
      [
        15,
        16
      ],
      [
        15,
        17
      ],
      [
        16,
        18
      ],
      [
        16,
        19
      ],
      [
        17,
        18
      ],
      [
        17,
        19
      ]
    ],
    "shifts":[
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "epi":[
      {
        "numerator":5647091720257531,
        "denominator":18014398509481984
      },
      {
        "numerator":5647091720257531,
        "denominator":18014398509481984
      },
      {
        "numerator":703687508138547,
        "denominator":2251799813685248
      },
      {
        "numerator":1407374884590169,
        "denominator":4503599627370496
      },
      {
        "numerator":2814749766071621,
        "denominator":9007199254740992
      },
      {
        "numerator":2814749766071621,
        "denominator":9007199254740992
      },
      {
        "numerator":5629499536282981,
        "denominator":18014398509481984
      },
      {
        "numerator":5629499536282981,
        "denominator":18014398509481984
      },
      {
        "numerator":2814749765032783,
        "denominator":9007199254740992
      },
      {
        "numerator":2814749765032783,
        "denominator":9007199254740992
      },
      {
        "numerator":5629499534213121,
        "denominator":18014398509481984
      },
      {
        "numerator":5629499534213121,
        "denominator":18014398509481984
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":5,
        "denominator":16
      },
      {
        "numerator":1340400925531995,
        "denominator":9007199254740992
      }
    ],
    "phases":[
      {
        "numerator":2731759960647519,
        "denominator":9007199254740992
      },
      {
        "numerator":2731759960647519,
        "denominator":9007199254740992
      },
      {
        "numerator":1413650242798583,
        "denominator":1125899906842624
      },
      {
        "numerator":1413465863010973,
        "denominator":1125899906842624
      },
      {
        "numerator":2487926704676473,
        "denominator":1125899906842624
      },
      {
        "numerator":2487926704676473,
        "denominator":1125899906842624
      },
      {
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      {
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      {
        "numerator":5660771888349923,
        "denominator":1125899906842624
      },
      {
        "numerator":5660771888349923,
        "denominator":1125899906842624
      },
      {
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      },
      {
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      },
      {
        "numerator":176855943800711,
        "denominator":140737488355328
      },
      {
        "numerator":176855943800711,
        "denominator":140737488355328
      },
      {
        "numerator":176855943800711,
        "denominator":70368744177664
      },
      {
        "numerator":176855943800711,
        "denominator":70368744177664
      },
      {
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      {
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      {
        "numerator":176855943800711,
        "denominator":35184372088832
      },
      {
        "numerator":176855943800711,
        "denominator":35184372088832
      },
      {
        "numerator":1413465820623207,
        "denominator":1125899906842624
      }
    ],
    "capacities":[
      {
        "numerator":1,
        "denominator":2
      },
      {
        "numerator":1,
        "denominator":2
      },
      {
        "numerator":7634563339141851,
        "denominator":70368744177664
      },
      {
        "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
      },
      {
        "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":4278419646001971,
        "denominator":35184372088832
      }
    ],
    "conductances":[
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":4501843153259663,
        "denominator":4503599627370496
      },
      {
        "numerator":4501843153259663,
        "denominator":4503599627370496
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":4501843153259663,
        "denominator":4503599627370496
      },
      {
        "numerator":4501843153259663,
        "denominator":4503599627370496
      },
      {
        "numerator":4503482194877311,
        "denominator":4503599627370496
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":3603641878361561,
        "denominator":4503599627370496
      },
      {
        "numerator":3603641878361561,
        "denominator":4503599627370496
      },
      {
        "numerator":1125709336146171,
        "denominator":1125899906842624
      },
      {
        "numerator":1125709336146171,
        "denominator":1125899906842624
      },
      {
        "numerator":7204234838221169,
        "denominator":9007199254740992
      },
      {
        "numerator":7204234838221169,
        "denominator":9007199254740992
      },
      {
        "numerator":3541035465369989,
        "denominator":4503599627370496
      },
      {
        "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
      },
      {
        "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
      },
      {
        "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
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      }
    ],
    "bounds":{
      "epi":[
        {
          "lo":{
            "numerator":5647091720257531,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5647091720257531,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":5647091720257531,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5647091720257531,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":703687508138547,
            "denominator":2251799813685248
          },
          "hi":{
            "numerator":703687508138547,
            "denominator":2251799813685248
          }
        },
        {
          "lo":{
            "numerator":1407374884590169,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":1407374884590169,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":2814749766071621,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2814749766071621,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":2814749766071621,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2814749766071621,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":5629499536282981,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5629499536282981,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":5629499536282981,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5629499536282981,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":2814749765032783,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2814749765032783,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":2814749765032783,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2814749765032783,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":5629499534213121,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5629499534213121,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":5629499534213121,
            "denominator":18014398509481984
          },
          "hi":{
            "numerator":5629499534213121,
            "denominator":18014398509481984
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":5,
            "denominator":16
          },
          "hi":{
            "numerator":5,
            "denominator":16
          }
        },
        {
          "lo":{
            "numerator":1340400925531995,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":1340400925531995,
            "denominator":9007199254740992
          }
        }
      ],
      "phases":[
        {
          "lo":{
            "numerator":2731759960647519,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2731759960647519,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":2731759960647519,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":2731759960647519,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":1413650242798583,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":1413650242798583,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":1413465863010973,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":1413465863010973,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":2487926704676473,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":2487926704676473,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":2487926704676473,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":2487926704676473,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":530567831402133,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":530567831402133,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":530567831402133,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":530567831402133,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":5660771888349923,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":5660771888349923,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":5660771888349923,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":5660771888349923,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":-1910641575641615,
            "denominator":9671406556917033397649408
          },
          "hi":{
            "numerator":-1910641575641615,
            "denominator":9671406556917033397649408
          }
        },
        {
          "lo":{
            "numerator":-1910641575641615,
            "denominator":9671406556917033397649408
          },
          "hi":{
            "numerator":-1910641575641615,
            "denominator":9671406556917033397649408
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":70368744177664
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":70368744177664
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":70368744177664
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":70368744177664
          }
        },
        {
          "lo":{
            "numerator":530567831402133,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":530567831402133,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":530567831402133,
            "denominator":140737488355328
          },
          "hi":{
            "numerator":530567831402133,
            "denominator":140737488355328
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":35184372088832
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":35184372088832
          }
        },
        {
          "lo":{
            "numerator":176855943800711,
            "denominator":35184372088832
          },
          "hi":{
            "numerator":176855943800711,
            "denominator":35184372088832
          }
        },
        {
          "lo":{
            "numerator":1413465820623207,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":1413465820623207,
            "denominator":1125899906842624
          }
        }
      ],
      "capacities":[
        {
          "lo":{
            "numerator":1,
            "denominator":2
          },
          "hi":{
            "numerator":1,
            "denominator":2
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":2
          },
          "hi":{
            "numerator":1,
            "denominator":2
          }
        },
        {
          "lo":{
            "numerator":7634563339141851,
            "denominator":70368744177664
          },
          "hi":{
            "numerator":7634563339141851,
            "denominator":70368744177664
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4278419646001971,
            "denominator":35184372088832
          },
          "hi":{
            "numerator":4278419646001971,
            "denominator":35184372088832
          }
        }
      ],
      "conductances":[
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":4501843153259663,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":4503482194877311,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":4503482194877311,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":3603641878361561,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":3603641878361561,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":3603641878361561,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":3603641878361561,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":1125709336146171,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":1125709336146171,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":1125709336146171,
            "denominator":1125899906842624
          },
          "hi":{
            "numerator":1125709336146171,
            "denominator":1125899906842624
          }
        },
        {
          "lo":{
            "numerator":7204234838221169,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":7204234838221169,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":7204234838221169,
            "denominator":9007199254740992
          },
          "hi":{
            "numerator":7204234838221169,
            "denominator":9007199254740992
          }
        },
        {
          "lo":{
            "numerator":3541035465369989,
            "denominator":4503599627370496
          },
          "hi":{
            "numerator":3541035465369989,
            "denominator":4503599627370496
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        }
      ],
      "degrees":[
        7,
        7,
        12,
        5,
        4,
        4,
        4,
        4,
        4,
        4,
        7,
        7,
        5,
        5,
        5,
        5,
        4,
        4,
        4,
        4,
        1
      ],
      "mobility":[
        {
          "lo":{
            "numerator":3868401481605529215960793838234319569,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7736802963211058431921587676468639139,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3868401481605529215960793838234319569,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7736802963211058431921587676468639139,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":979293175986759696215455115315926617761,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":489646587993379848107727557657963308935,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":21663048296990963609380445494112189587,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5415762074247740902345111373528047397,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3868401481605529215960793838234319569,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":15473605926422116863843175352937278277,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3868401481605529215960793838234319569,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":15473605926422116863843175352937278277,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":21663048296990963609380445494112189587,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5415762074247740902345111373528047397,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":21663048296990963609380445494112189587,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5415762074247740902345111373528047397,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":21663048296990963609380445494112189587,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5415762074247740902345111373528047397,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":21663048296990963609380445494112189587,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5415762074247740902345111373528047397,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3384851296404838063965694608455029623,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":27078810371238704511725556867640236985,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":411597917642828289337576462079208364191,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":13171133364570505258802446786534667654235,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "form_rate":[
        {
          "lo":{
            "numerator":-467968739523098821311004180274775677,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-3743749916184790570488033442198205415,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-467968739523098821311004180274775677,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-3743749916184790570488033442198205415,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":5160831796220968316272951418684011791,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5160831796220968316272951418684012009,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":58474764159396629191104027075449051,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":58474764159396629191104027075449053,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9969031072039525768129211928148625569,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2492257768009881442032302982037156393,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":9969031072039525768129211928148625569,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2492257768009881442032302982037156393,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-2627116607745223727926800810473927441,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2627116607745223727926800810473927439,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-2627116607745223727926800810473927441,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2627116607745223727926800810473927439,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1313099524806138771708290683983427677,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2626199049612277543416581367966855357,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1313099524806138771708290683983427677,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2626199049612277543416581367966855357,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":23953816339129834597113181069806072371,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":23953816339129834597113181069806072375,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":23953816339129834597113181069806072371,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":23953816339129834597113181069806072375,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11518488655517825796595255440401531,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5759244327758912898297627720200765,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-11518488655517825796595255440401531,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5759244327758912898297627720200765,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-20609890412827581673216378843045877405,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-10304945206413790836608189421522938701,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-20609890412827581673216378843045877405,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-10304945206413790836608189421522938701,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":1,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":1,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-3306214194342185959855152405,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3306214194342185959855152403,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-3306214194342185959855152405,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3306214194342185959855152403,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":539357238071737704042964970159879905,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":269678619035868852021482485079939983,
            "denominator":42535295865117307932921825928971026432
          }
        }
      ],
      "phase_rate":[
        {
          "lo":{
            "numerator":45326710131945653501700593175372893,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22663355065972826750850296587686447,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":45326710131945653501700593175372893,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22663355065972826750850296587686447,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":7757710891964392054115143184746662961,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":124123374271430272865842290955946607391,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-21155624847730026780469728430068747,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-42311249695460053560939456860137493,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-822931774340471862493257246455,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-411465887170235931246628623227,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-822931774340471862493257246455,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-411465887170235931246628623227,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":15568624675650146371077364627,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":31137249351300292742154729255,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15568624675650146371077364627,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":31137249351300292742154729255,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-52888332667054554196324328300669213,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-13222083166763638549081082075167303,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-52888332667054554196324328300669213,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-13222083166763638549081082075167303,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-3776308057277920864919406479346347,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-30210464458223366919355251834770775,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-3776308057277920864919406479346347,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-30210464458223366919355251834770775,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-79789390224756253540752743271,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-638315121798050028326021946167,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-79789390224756253540752743271,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-638315121798050028326021946167,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          }
        },
        {
          "lo":{
            "numerator":-510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-847567342077619413733511691770666725537,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-847567342077619413733511691770666725529,
            "denominator":170141183460469231731687303715884105728
          }
        }
      ],
      "phase_acceleration":[
        {
          "lo":{
            "numerator":-2348213208865909440390035651860028473,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-587053302216477360097508912965007115,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-2348213208865909440390035651860028473,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-587053302216477360097508912965007115,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":32131032110251966690142538617545737455,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":64262064220503933380285077235091478709,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-625885561470659993266413828350118301,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-312942780735329996633206914175059141,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":397002565100848983592596490746323143,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":198501282550424491796298245373161573,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":397002565100848983592596490746323143,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":198501282550424491796298245373161573,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-710207580410936782609556144506383075,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-1420415160821873565219112289012766147,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-710207580410936782609556144506383075,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-1420415160821873565219112289012766147,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":611434081125221013067389894721555945,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1222868162250442026134779789443111893,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":611434081125221013067389894721555945,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1222868162250442026134779789443111893,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":7901225075418341479542850193704013009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7901225075418341479542850193704013029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":7901225075418341479542850193704013009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7901225075418341479542850193704013029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-761587667709804991908267325635363755,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-95198458463725623988533415704420467,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-761587667709804991908267325635363755,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-95198458463725623988533415704420467,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-6557546750924771196613106795516857597,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-6557546750924771196613106795516857581,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-6557546750924771196613106795516857597,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-6557546750924771196613106795516857581,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1640082968154986680812716806145249317,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":205010371019373335101589600768156165,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":1640082968154986680812716806145249317,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":205010371019373335101589600768156165,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-119136508666885067319805652980383931,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-1906184138670161077116890447686142893,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-119136508666885067319805652980383931,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-1906184138670161077116890447686142893,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-91404545151755549753476396509154277173,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-45702272575877774876738198254577131541,
            "denominator":170141183460469231731687303715884105728
          }
        }
      ],
      "edge_phase_velocity":[
        {
          "lo":{
            "numerator":-1,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":1,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":62039023780649163606170295181385617241,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":62039023780649163606170295181385617249,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-21909489956851426765660012508877597,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-43818979913702853531320025017755193,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-98215042799000207698024921476042107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-98215042799000207698024921476042105,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-98215042799000207698024921476042107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-98215042799000207698024921476042105,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-37768587295084510210527922505071835,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-18884293647542255105263961252535917,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-37768587295084510210527922505071835,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-18884293647542255105263961252535917,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":62039023780649163606170295181385617241,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":62039023780649163606170295181385617249,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-21909489956851426765660012508877597,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-43818979913702853531320025017755193,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-98215042799000207698024921476042107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-98215042799000207698024921476042105,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-98215042799000207698024921476042107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-98215042799000207698024921476042105,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-37768587295084510210527922505071835,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-18884293647542255105263961252535917,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-37768587295084510210527922505071835,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-18884293647542255105263961252535917,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-124165685521125732919403230412806744885,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-124165685521125732919403230412806744869,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-62061687547181023603157076724601926923,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-62061687547181023603157076724601926915,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-62061687547181023603157076724601926923,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-62061687547181023603157076724601926915,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-124153584735888496232761646207781378167,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-124153584735888496232761646207781378151,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-124153584735888496232761646207781378167,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-124153584735888496232761646207781378151,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-124123374909745394663892319281968553559,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-124123374909745394663892319281968553543,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-124123374909745394663892319281968553559,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-124123374909745394663892319281968553543,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-3878855461939398636848497548344497987,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-7757710923878797273696995096688995973,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-3878855461939398636848497548344497987,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-7757710923878797273696995096688995973,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-1819258058426669100332865674497280058465,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-909629029213334550166432837248640029217,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":21155213381842856544538481801445519,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1322200836365178534033655112590345,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":21155213381842856544538481801445519,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1322200836365178534033655112590345,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":213517255922943038808852993927,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":427034511845886077617705987855,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":213517255922943038808852993927,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":427034511845886077617705987855,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":213517255922943038808852993927,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":427034511845886077617705987855,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":213517255922943038808852993927,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":427034511845886077617705987855,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-13222090951075976374154267613849617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26444181902151952748308535227699233,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-13222090951075976374154267613849617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26444181902151952748308535227699233,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-13222090951075976374154267613849617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26444181902151952748308535227699233,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-13222090951075976374154267613849617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26444181902151952748308535227699233,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":30209826143101568869326925812824607,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":30209826143101568869326925812824609,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":30209826143101568869326925812824607,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":30209826143101568869326925812824609,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15105232229110180283739945532757421,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7552616114555090141869972766378711,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":15105232229110180283739945532757421,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7552616114555090141869972766378711,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":30209826143101568869326925812824607,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":30209826143101568869326925812824609,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":30209826143101568869326925812824607,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":30209826143101568869326925812824609,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15105232229110180283739945532757421,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7552616114555090141869972766378711,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":15105232229110180283739945532757421,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7552616114555090141869972766378711,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":63842319142370198867472308987,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":15960579785592549716868077247,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":63842319142370198867472308987,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":15960579785592549716868077247,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":63842319142370198867472308987,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":15960579785592549716868077247,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":63842319142370198867472308987,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":15960579785592549716868077247,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":7978601304895462977985583253,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":510630483513309630591077328193,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-3006351875360769255933,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-751587968840192313983,
            "denominator":85070591730234615865843651857942052864
          }
        }
      ],
      "edge_phase_acceleration":[
        {
          "lo":{
            "numerator":-13,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":13,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":16359042706234222025120023765255372285,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":130872341649873776200960190122042985891,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1722327647395249447123621823509910159,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":1722327647395249447123621823509910191,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":299621845835424593291224701921640765,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":4793949533366793492659595230746252259,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":299621845835424593291224701921640765,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":4793949533366793492659595230746252259,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":10249438284284250919932885845564041469,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5124719142142125459966442922782020751,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":10249438284284250919932885845564041469,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5124719142142125459966442922782020751,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":16359042706234222025120023765255372285,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":130872341649873776200960190122042985891,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1722327647395249447123621823509910159,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":1722327647395249447123621823509910191,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":299621845835424593291224701921640765,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":4793949533366793492659595230746252259,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":299621845835424593291224701921640765,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":4793949533366793492659595230746252259,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":10249438284284250919932885845564041469,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5124719142142125459966442922782020751,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":10249438284284250919932885845564041469,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5124719142142125459966442922782020751,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-129150014002478526753836568298533075719,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-64575007001239263376918284149266534051,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-62674053960100537445914691272106186137,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-31337026980050268722957345636053091163,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-62674053960100537445914691272106186137,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-31337026980050268722957345636053091163,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-120622903365589525281027304276478944409,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-120622903365589525281027304276478936791,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-120622903365589525281027304276478944409,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-120622903365589525281027304276478936791,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-129285716108717671752478421795818321173,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-32321429027179417938119605448954578389,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-129285716108717671752478421795818321173,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-32321429027179417938119605448954578389,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-135081675191932637957183261265699815015,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-135081675191932637957183261265699807401,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-135081675191932637957183261265699815015,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-135081675191932637957183261265699807401,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-219928673592763416514046550979337234591,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-109964336796381708257023275489668606451,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":1900953041138725931003592877160351713,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":3801906082277451862007185754320703469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1900953041138725931003592877160351713,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":3801906082277451862007185754320703469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1504212710612634749794749125999029367,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-3008425421225269499589498251998058719,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1504212710612634749794749125999029367,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-3008425421225269499589498251998058719,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1504212710612634749794749125999029367,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-3008425421225269499589498251998058719,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1504212710612634749794749125999029367,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-3008425421225269499589498251998058719,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":2643283323072315591353892078455878037,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2643283323072315591353892078455878043,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":2643283323072315591353892078455878037,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2643283323072315591353892078455878043,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":2643283323072315591353892078455878037,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2643283323072315591353892078455878043,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":2643283323072315591353892078455878037,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2643283323072315591353892078455878043,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-541425796445509154465694844958711049,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-8662812743128146471451117519339376745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-541425796445509154465694844958711049,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-8662812743128146471451117519339376745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11713593352758663633776631089076298821,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-11713593352758663633776631089076298795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11713593352758663633776631089076298821,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-11713593352758663633776631089076298795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-541425796445509154465694844958711049,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-8662812743128146471451117519339376745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-541425796445509154465694844958711049,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-8662812743128146471451117519339376745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11713593352758663633776631089076298821,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-11713593352758663633776631089076298795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11713593352758663633776631089076298821,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-11713593352758663633776631089076298795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-5795959083214966204704839469881493861,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2897979541607483102352419734940746913,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5795959083214966204704839469881493861,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2897979541607483102352419734940746913,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5795959083214966204704839469881493861,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2897979541607483102352419734940746913,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5795959083214966204704839469881493861,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2897979541607483102352419734940746913,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":9837712687234744558238540407807356215,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":9837712687234744558238540407807356237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9837712687234744558238540407807356215,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":9837712687234744558238540407807356237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9837712687234744558238540407807356215,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":9837712687234744558238540407807356237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9837712687234744558238540407807356215,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":9837712687234744558238540407807356237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-443283388353143469741200906728924027,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-1773133553412573878964803626915696105,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-443283388353143469741200906728924027,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-1773133553412573878964803626915696105,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-443283388353143469741200906728924027,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-1773133553412573878964803626915696105,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-443283388353143469741200906728924027,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-1773133553412573878964803626915696105,
            "denominator":85070591730234615865843651857942052864
          }
        }
      ],
      "edge_acceleration_magnitudes":[
        {
          "lo":{
            "numerator":2462460747706704432204422546002022983,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":19699685981653635457635380368016184117,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":404481105719743481595952804509152376865097,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":404481105719743481595952804509152376952487,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":69472619944844717221521109672870228345,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":555780959558757737772168877382961827139,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":347222353439790359155912930526420485959,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":86805588359947589788978232631605121545,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":347222353439790359155912930526420485959,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":86805588359947589788978232631605121545,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":238216446718251647583943655854119785135,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":119108223359125823791971827927059892775,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":238216446718251647583943655854119785135,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":119108223359125823791971827927059892775,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":404481105719743481595952804509152376865097,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":404481105719743481595952804509152376952487,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":69472619944844717221521109672870228345,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":555780959558757737772168877382961827139,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":347222353439790359155912930526420485959,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":86805588359947589788978232631605121545,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":347222353439790359155912930526420485959,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":86805588359947589788978232631605121545,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":238216446718251647583943655854119785135,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":119108223359125823791971827927059892775,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":238216446718251647583943655854119785135,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":119108223359125823791971827927059892775,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":202485444108476219260827327458042175972827,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":404970888216952438521654654916084352033057,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":405187245264294399653586433932740562724127,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":405187245264294399653586433932740562811519,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":405187245264294399653586433932740562724127,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":405187245264294399653586433932740562811519,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":404665148510258064589994978522847444967033,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50583143563782258073749372315355930631809,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":404665148510258064589994978522847444967033,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50583143563782258073749372315355930631809,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":101240971136628447295033088503064333486589,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":404963884546513789180132354012257334033761,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":101240971136628447295033088503064333486589,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":404963884546513789180132354012257334033761,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":202420231354035393949403680755636073449925,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":404840462708070787898807361511272146987225,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":202420231354035393949403680755636073449925,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":404840462708070787898807361511272146987225,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9083566622837256682714632872390159830955,
            "denominator":2658455991569831745807614120560689152
          },
          "hi":{
            "numerator":290674131930792213846868251916485114625025,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":37818902275940650435779004931031377559,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":302551218207525203486232039448251020853,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":37818902275940650435779004931031377559,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":302551218207525203486232039448251020853,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1064447893875646737393420707564791877757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":532223946937823368696710353782395938987,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":1064447893875646737393420707564791877757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":532223946937823368696710353782395938987,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":1064447893875646737393420707564791877757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":532223946937823368696710353782395938987,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":1064447893875646737393420707564791877757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":532223946937823368696710353782395938987,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":64645897854460818408666548653083897057,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":16161474463615204602166637163270974273,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":64645897854460818408666548653083897057,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":16161474463615204602166637163270974273,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":64645897854460818408666548653083897057,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":16161474463615204602166637163270974273,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":64645897854460818408666548653083897057,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":16161474463615204602166637163270974273,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":440581589593004180467716068191091872185,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":440581589593004180467716068191091872615,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":440581589593004180467716068191091872185,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":440581589593004180467716068191091872615,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":277330401112755777072992657105111856271,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":277330401112755777072992657105111856413,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":277330401112755777072992657105111856271,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":277330401112755777072992657105111856413,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":440581589593004180467716068191091872185,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":440581589593004180467716068191091872615,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":440581589593004180467716068191091872185,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":440581589593004180467716068191091872615,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":277330401112755777072992657105111856271,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":277330401112755777072992657105111856413,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":277330401112755777072992657105111856271,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":277330401112755777072992657105111856413,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":136181826401562625038678427745859371909,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34045456600390656259669606936464843023,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":136181826401562625038678427745859371909,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34045456600390656259669606936464843023,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":136181826401562625038678427745859371909,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34045456600390656259669606936464843023,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":136181826401562625038678427745859371909,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34045456600390656259669606936464843023,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":728008681308748713559734933880869477009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":728008681308748713559734933880869477211,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":728008681308748713559734933880869477009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":728008681308748713559734933880869477211,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":728008681308748713559734933880869477009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":728008681308748713559734933880869477211,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":728008681308748713559734933880869477009,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":728008681308748713559734933880869477211,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":68955624378091539635910985229956156855,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34477812189045769817955492614978078449,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":68955624378091539635910985229956156855,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34477812189045769817955492614978078449,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":68955624378091539635910985229956156855,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34477812189045769817955492614978078449,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":68955624378091539635910985229956156855,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":34477812189045769817955492614978078449,
            "denominator":85070591730234615865843651857942052864
          }
        }
      ],
      "form_storage":{
        "lo":{
          "numerator":3586219775182697517130570893829481843,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":3586219775182697517130570893829481855,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "phase_storage":{
        "lo":{
          "numerator":10484585740584079275278975552116228401147,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":10484585740584079275278975552116228401215,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "storage":{
        "lo":{
          "numerator":5244085980179630986398053061505028941495,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":5244085980179630986398053061505028941535,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "storage_rate":{
        "lo":{
          "numerator":-45,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":89,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "edge_energy_coefficients":[
        {
          "lo":{
            "numerator":351780106815243490314917506571717569,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":2814240854521947922519340052573740569,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":31007247174268897696404145173058645069999,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":31007247174268897696404145173058645076929,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9111820047577391305208193929991476085,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2277955011894347826302048482497869025,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":11082016704799327736706364382530718815,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11082016704799327736706364382530718829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":11082016704799327736706364382530718815,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11082016704799327736706364382530718829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6718813821157043590541763769915671541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6718813821157043590541763769915671559,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6718813821157043590541763769915671541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6718813821157043590541763769915671559,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":31007247174268897696404145173058645069999,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":31007247174268897696404145173058645076929,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9111820047577391305208193929991476085,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2277955011894347826302048482497869025,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":11082016704799327736706364382530718815,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11082016704799327736706364382530718829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":11082016704799327736706364382530718815,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11082016704799327736706364382530718829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6718813821157043590541763769915671541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6718813821157043590541763769915671559,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6718813821157043590541763769915671541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6718813821157043590541763769915671559,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15546532236626052974416669489683087340687,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":31093064473252105948833338979366174688313,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3890745440127319305975645436308115862895,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":31125963521018554447805163490464926910099,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":3890745440127319305975645436308115862895,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":31125963521018554447805163490464926910099,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15518767012798377746792813153637160092869,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":969922938299898609174550822102322506021,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":15518767012798377746792813153637160092869,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":969922938299898609174550822102322506021,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":1943315401396279637136938694277530229183,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":31093046422340474194191019108440483673867,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1943315401396279637136938694277530229183,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":31093046422340474194191019108440483673867,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15533916551945924575143028897115871625501,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":31067833103891849150286057794231743257937,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15533916551945924575143028897115871625501,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":31067833103891849150286057794231743257937,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":491414251405021144091107670487444526426623,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":61426781425627643011388458810930565806027,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":9481380371635069050415975031848723873,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":18962760743270138100831950063697447757,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":9481380371635069050415975031848723873,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":18962760743270138100831950063697447757,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1706216988705596967162175825766721411,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":13649735909644775737297406606133771303,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1706216988705596967162175825766721411,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":13649735909644775737297406606133771303,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15866400122881665105561822256046560507,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15866400122881665105561822256046560521,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15866400122881665105561822256046560507,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15866400122881665105561822256046560521,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1706216988705596967162175825766721411,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":13649735909644775737297406606133771303,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":1706216988705596967162175825766721411,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":13649735909644775737297406606133771303,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15866400122881665105561822256046560507,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15866400122881665105561822256046560521,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":15866400122881665105561822256046560507,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15866400122881665105561822256046560521,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":8136530246959426036850832015294047209,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":508533140434964127303177000955877951,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":8136530246959426036850832015294047209,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":508533140434964127303177000955877951,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":8136530246959426036850832015294047209,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":508533140434964127303177000955877951,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":8136530246959426036850832015294047209,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":508533140434964127303177000955877951,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":4671685194201857888802884909575189593,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":18686740776807431555211539638300758383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4671685194201857888802884909575189593,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":18686740776807431555211539638300758383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4671685194201857888802884909575189593,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":18686740776807431555211539638300758383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4671685194201857888802884909575189593,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":18686740776807431555211539638300758383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":5387158154538401534055545721090324755,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":21548632618153606136222182884361299029,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "edge_speed_bounds":[
        {
          "lo":{
            "numerator":242966014166980082707885948980412532229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":242966014166980082707885948980412532965,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":12751653625728233587415966042873905481785,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":12751653625728233587415966042873905483259,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":437187226553659940901426245271540273713,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":109296806638414985225356561317885068519,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":241070629554399734822301218027351949385,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":482141259108799469644602436054703899077,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241070629554399734822301218027351949385,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":482141259108799469644602436054703899077,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":375414636704360725571164081470230158075,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":93853659176090181392791020367557539645,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":375414636704360725571164081470230158075,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":93853659176090181392791020367557539645,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":12751653625728233587415966042873905481785,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":12751653625728233587415966042873905483259,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":437187226553659940901426245271540273713,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":109296806638414985225356561317885068519,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":241070629554399734822301218027351949385,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":482141259108799469644602436054703899077,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241070629554399734822301218027351949385,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":482141259108799469644602436054703899077,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":375414636704360725571164081470230158075,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":93853659176090181392791020367557539645,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":375414636704360725571164081470230158075,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":93853659176090181392791020367557539645,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":12769287508902081716539508854102130073115,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":25538575017804163433079017708204260149179,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":12776041206890185364383351589692026831941,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":25552082413780370728766703179384053666829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":12776041206890185364383351589692026831941,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":25552082413780370728766703179384053666829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6378939901013729755191588547679808028689,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":25515759604054919020766354190719232117705,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":6378939901013729755191588547679808028689,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":25515759604054919020766354190719232117705,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":12769283802330893221350493113258547134497,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":12769283802330893221350493113258547135971,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":12769283802330893221350493113258547134497,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":12769283802330893221350493113258547135971,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":25528210905951076858436513395147980574565,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":25528210905951076858436513395147980577513,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":25528210905951076858436513395147980574565,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":25528210905951076858436513395147980577513,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":101528687300753375002841004223302817535017,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":101528687300753375002841004223302817537635,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":315344807725263822813440107994208244339,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":630689615450527645626880215988416488865,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":315344807725263822813440107994208244339,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":630689615450527645626880215988416488865,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":66886278823146264352519524789742301509,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":267545115292585057410078099158969206185,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":66886278823146264352519524789742301509,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":267545115292585057410078099158969206185,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":576904728496219258658018860121451319515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":576904728496219258658018860121451319773,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":576904728496219258658018860121451319515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":576904728496219258658018860121451319773,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":66886278823146264352519524789742301509,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":267545115292585057410078099158969206185,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":66886278823146264352519524789742301509,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":267545115292585057410078099158969206185,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":576904728496219258658018860121451319515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":576904728496219258658018860121451319773,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":576904728496219258658018860121451319515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":576904728496219258658018860121451319773,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":584251070656357028898310849994920550435,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":292125535328178514449155424997460275345,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":584251070656357028898310849994920550435,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":292125535328178514449155424997460275345,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":584251070656357028898310849994920550435,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":292125535328178514449155424997460275345,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":584251070656357028898310849994920550435,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":292125535328178514449155424997460275345,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":626082663305435662202562329228072110299,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":313041331652717831101281164614036055243,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":626082663305435662202562329228072110299,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":313041331652717831101281164614036055243,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":626082663305435662202562329228072110299,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":313041331652717831101281164614036055243,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":626082663305435662202562329228072110299,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":313041331652717831101281164614036055243,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":672318026546665849722202821229603476659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":672318026546665849722202821229603476803,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "principal_margins":[
        {
          "lo":{
            "numerator":267257146016241686964920093290467695825,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1069028584064966747859680373161870783301,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186245496969574945937963673743106251985,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744981987878299783751854694972425007941,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186259428312440995344168750887795956945,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":745037713249763981376675003551183827781,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":269315883104748394115249684259040380509,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":538631766209496788230499368518080761021,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":269315883104748394115249684259040380509,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":538631766209496788230499368518080761021,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241456402644621216499875092545849269457,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":965825610578484865999500370183397077829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241456402644621216499875092545849269457,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":965825610578484865999500370183397077829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186245496969574945937963673743106251985,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744981987878299783751854694972425007941,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186259428312440995344168750887795956945,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":745037713249763981376675003551183827781,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":269315883104748394115249684259040380509,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":538631766209496788230499368518080761021,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":269315883104748394115249684259040380509,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":538631766209496788230499368518080761021,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241456402644621216499875092545849269457,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":965825610578484865999500370183397077829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":241456402644621216499875092545849269457,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":965825610578484865999500370183397077829,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":267243214673375637558715016145777990865,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1068972858693502550234860064583111963461,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186087111505714680626658326146346392785,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744348446022858722506633304585385571141,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186087111505714680626658326146346392785,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744348446022858722506633304585385571141,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160444753597954475472918672998487825617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641779014391817901891674691993951302469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160444753597954475472918672998487825617,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641779014391817901891674691993951302469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":267166680011226046806768882504341134545,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1068666720044904187227075530017364538181,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":267166680011226046806768882504341134545,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1068666720044904187227075530017364538181,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160263821604729376188057959748278688977,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641055286418917504752231838993114755909,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160263821604729376188057959748278688977,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641055286418917504752231838993114755909,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":267243211470646590484770539007121300689,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1068972845882586361939082156028485202757,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186073180162848631220453249001656687825,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744292720651394524881812996006626751301,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":186073180162848631220453249001656687825,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":744292720651394524881812996006626751301,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":134530997708759711907608804136337546449,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":538123990835038847630435216545350185797,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":134530997708759711907608804136337546449,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":538123990835038847630435216545350185797,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":134530997708759711907608804136337546449,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":538123990835038847630435216545350185797,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":134530997708759711907608804136337546449,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":538123990835038847630435216545350185797,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160249890312301525364904633716092706001,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":640999561249206101459618534864370824005,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160249890312301525364904633716092706001,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":640999561249206101459618534864370824005,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160249890312301525364904633716092706001,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":640999561249206101459618534864370824005,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160249890312301525364904633716092706001,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":640999561249206101459618534864370824005,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287592938835314767462212361264337,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150371755341259069848849445057349,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287592938835314767462212361264337,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150371755341259069848849445057349,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":320708575253102353082730612111652144733,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":641417150506204706165461224223304289469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":320708575253102353082730612111652144733,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":641417150506204706165461224223304289469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287592938835314767462212361264337,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150371755341259069848849445057349,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287592938835314767462212361264337,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150371755341259069848849445057349,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":320708575253102353082730612111652144733,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":641417150506204706165461224223304289469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":320708575253102353082730612111652144733,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":641417150506204706165461224223304289469,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":160354287609745016346209170534405250257,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":641417150438980065384836682137621001029,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "horizon_remaining_margins":[
        {
          "lo":{
            "numerator":947545576981476706505737398671664516817,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":947545576981476706505737398671664517187,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-12006671637849933803664111347901480475319,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3001667909462483450916027836975370118461,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":263222049986467005462980940457706845371,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":526444099972934010925961880915413690925,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":297561136655097053408198150490728811479,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":74390284163774263352049537622682202909,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":297561136655097053408198150490728811479,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":74390284163774263352049537622682202909,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":389059146113152251606959164724140999269,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":97264786528288062901739791181035249849,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":389059146113152251606959164724140999269,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":97264786528288062901739791181035249849,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-12006671637849933803664111347901480475319,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3001667909462483450916027836975370118461,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":263222049986467005462980940457706845371,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":526444099972934010925961880915413690925,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":297561136655097053408198150490728811479,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":74390284163774263352049537622682202909,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":297561136655097053408198150490728811479,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":74390284163774263352049537622682202909,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":389059146113152251606959164724140999269,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":97264786528288062901739791181035249849,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":389059146113152251606959164724140999269,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":97264786528288062901739791181035249849,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-5850157325104289583152324394759509055565,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5850157325104289583152324394759509054827,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-12031692760867326641876718285106641262275,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-46998799847137994694830930801197817425,
            "denominator":1329227995784915872903807060280344576
          }
        },
        {
          "lo":{
            "numerator":-12031692760867326641876718285106641262275,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-46998799847137994694830930801197817425,
            "denominator":1329227995784915872903807060280344576
          }
        },
        {
          "lo":{
            "numerator":-12116100787635641608491502403365664756385,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12116100787635641608491502403365664754909,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-12116100787635641608491502403365664756385,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12116100787635641608491502403365664754909,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-11700617082285989034123417583241182597791,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2925154270571497258530854395810295649079,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-11700617082285989034123417583241182597791,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2925154270571497258530854395810295649079,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-12123050166556620924466024858580875532849,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12123050166556620924466024858580875531373,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-12123050166556620924466024858580875532849,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12123050166556620924466024858580875531373,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-24847685402247050569740709977811461783031,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-49695370804494101139481419955622923564751,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":428947912926130702068372888012418506867,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":214473956463065351034186444006209253481,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":428947912926130702068372888012418506867,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":214473956463065351034186444006209253481,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":100982488780852961384666902965274223697,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":50491244390426480692333451482637111867,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":100982488780852961384666902965274223697,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":50491244390426480692333451482637111867,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":100982488780852961384666902965274223697,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":50491244390426480692333451482637111867,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":100982488780852961384666902965274223697,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":50491244390426480692333451482637111867,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152420273987936588299258562124784542801,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76210136993968294149629281062392271419,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152420273987936588299258562124784542801,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76210136993968294149629281062392271419,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152420273987936588299258562124784542801,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76210136993968294149629281062392271419,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152420273987936588299258562124784542801,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76210136993968294149629281062392271419,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":373872035079170283848991749690475851163,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":373872035079170283848991749690475851313,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":373872035079170283848991749690475851163,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":373872035079170283848991749690475851313,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":352964786258095076836451794162578629579,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22060299141130942302278237135161164357,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":352964786258095076836451794162578629579,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22060299141130942302278237135161164357,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":373872035079170283848991749690475851163,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":373872035079170283848991749690475851313,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":373872035079170283848991749690475851163,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":373872035079170283848991749690475851313,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":352964786258095076836451794162578629579,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22060299141130942302278237135161164357,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":352964786258095076836451794162578629579,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":22060299141130942302278237135161164357,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":349291615110801550935681257140160725683,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":87322903777700387733920314285040181453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":349291615110801550935681257140160725683,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":87322903777700387733920314285040181453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":349291615110801550935681257140160725683,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":87322903777700387733920314285040181453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":349291615110801550935681257140160725683,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":87322903777700387733920314285040181453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":328375818786262234283555517523584945785,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":41046977348282779285444439690448118235,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":328375818786262234283555517523584945785,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":41046977348282779285444439690448118235,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":328375818786262234283555517523584945785,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":41046977348282779285444439690448118235,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":328375818786262234283555517523584945785,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":41046977348282779285444439690448118235,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":152629068582823570261867635761409631313,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76314534291411785130933817880704815675,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152629068582823570261867635761409631313,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76314534291411785130933817880704815675,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152629068582823570261867635761409631313,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76314534291411785130933817880704815675,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":152629068582823570261867635761409631313,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":76314534291411785130933817880704815675,
            "denominator":85070591730234615865843651857942052864
          }
        }
      ],
      "retained_edge_indices":[
        0,
        2,
        3,
        4,
        5,
        6,
        8,
        9,
        10,
        11,
        12,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52
      ]
    },
    "horizon":{
      "numerator":1,
      "denominator":2
    }
  },
  "initial_box":[
    {
      "lo":{
        "numerator":5647091720257531,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5647091720257531,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":5647091720257531,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5647091720257531,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":703687508138547,
        "denominator":2251799813685248
      },
      "hi":{
        "numerator":703687508138547,
        "denominator":2251799813685248
      }
    },
    {
      "lo":{
        "numerator":1407374884590169,
        "denominator":4503599627370496
      },
      "hi":{
        "numerator":1407374884590169,
        "denominator":4503599627370496
      }
    },
    {
      "lo":{
        "numerator":2814749766071621,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2814749766071621,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":2814749766071621,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2814749766071621,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":5629499536282981,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5629499536282981,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":5629499536282981,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5629499536282981,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":2814749765032783,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2814749765032783,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":2814749765032783,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2814749765032783,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":5629499534213121,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5629499534213121,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":5629499534213121,
        "denominator":18014398509481984
      },
      "hi":{
        "numerator":5629499534213121,
        "denominator":18014398509481984
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":5,
        "denominator":16
      },
      "hi":{
        "numerator":5,
        "denominator":16
      }
    },
    {
      "lo":{
        "numerator":1340400925531995,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":1340400925531995,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":2731759960647519,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2731759960647519,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":2731759960647519,
        "denominator":9007199254740992
      },
      "hi":{
        "numerator":2731759960647519,
        "denominator":9007199254740992
      }
    },
    {
      "lo":{
        "numerator":1413650242798583,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":1413650242798583,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":1413465863010973,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":1413465863010973,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":2487926704676473,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":2487926704676473,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":2487926704676473,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":2487926704676473,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":530567831402133,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":530567831402133,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":5660771888349923,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":5660771888349923,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":5660771888349923,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":5660771888349923,
        "denominator":1125899906842624
      }
    },
    {
      "lo":{
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      },
      "hi":{
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      }
    },
    {
      "lo":{
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      },
      "hi":{
        "numerator":-1910641575641615,
        "denominator":9671406556917033397649408
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":70368744177664
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":70368744177664
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":70368744177664
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":70368744177664
      }
    },
    {
      "lo":{
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":530567831402133,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":530567831402133,
        "denominator":140737488355328
      },
      "hi":{
        "numerator":530567831402133,
        "denominator":140737488355328
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":35184372088832
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":35184372088832
      }
    },
    {
      "lo":{
        "numerator":176855943800711,
        "denominator":35184372088832
      },
      "hi":{
        "numerator":176855943800711,
        "denominator":35184372088832
      }
    },
    {
      "lo":{
        "numerator":1413465820623207,
        "denominator":1125899906842624
      },
      "hi":{
        "numerator":1413465820623207,
        "denominator":1125899906842624
      }
    }
  ]
}