{
  "schema":"tnfr.sine-class-collective-forward-protocol.v1",
  "evaluation_status_at_freeze":"not_evaluated",
  "source_base_commit":"362124d03f34940e23b5d84ca29c6c839d6471a1",
  "runtime_overlays":[],
  "runtime_environment":{
    "python":"3.13.6 (tags/v3.13.6:4e66535, Aug  6 2025, 14:36:00) [MSC v.1944 64 bit (AMD64)]",
    "implementation":"cpython",
    "platform":"Windows-11-10.0.26300-SP0",
    "packages":{
      "numpy":"2.3.3",
      "scipy":"1.16.3",
      "networkx":"3.5",
      "mpmath":"1.3.0"
    }
  },
  "theory_owner":"theory/nodal/SINE_CLASS_COLLECTIVE_FORWARD_PROTOCOL.md#sine-class-collective-forward-protocol",
  "source_specification":{
    "prior_artifact_receipts":[
      {
        "path":"docs/assets/sine_formed_classes/class-collective-prediction-v1.evidence.zip",
        "bytes":1016399,
        "sha256":"01b443211665c027bcd5b86ace8a22a4e7ae051f34d172d5520644e6225ba16a"
      }
    ],
    "preparation_owner":"theory/nodal/SINE_CLASS_NONLINEAR_ORGANIZATION.md#sine-nonlinear-organization-source",
    "retained_source":"original acquired component balls with their zero-sum correlations; endpoint radius 1e-32",
    "reference":"zero form and absolute continuous target phase lifts; not a newly acquired source",
    "source_coordinates":"pre-input form x and absolute continuous phase theta at 0-",
    "node_order":[
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19,
      20,
      21,
      22,
      23,
      24,
      25,
      26
    ],
    "state_order":"x[0:27], theta[0:27]",
    "support":"three undirected unit-conductance C9 cycles with contacts (4,13) and (13,22)",
    "capacities":[
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "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
      }
    ],
    "clock":"tau=(1023/1024)*t; both rows transformed",
    "pressure_refresh":"continuous state-dependent full sine field",
    "forcing":"one declared time-zero form jump; no continuous Gamma source",
    "seed":null,
    "interval_method":"rational_outward_dyadic128_machin_trigonometry_v1",
    "physical_identification":"not supplied or tested"
  },
  "producer":"tnfr.physics.relational_sine_class_port_readout.bound_sine_class_port_readout",
  "producer_inputs":{
    "initial_form_bounds":[
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ],
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ]
    ],
    "initial_phase_bounds":[
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ],
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ]
    ],
    "port_impulse":[
      {
        "numerator":0,
        "denominator":1
      },
      {
        "numerator":7,
        "denominator":10000
      },
      {
        "numerator":0,
        "denominator":1
      }
    ],
    "horizon":{
      "numerator":1,
      "denominator":1
    },
    "time_step":{
      "numerator":1,
      "denominator":16
    },
    "order":12,
    "max_steps":32
  },
  "source_covers":{
    "classes":[
      [
        1,
        1,
        1
      ],
      [
        1,
        2,
        1
      ]
    ],
    "pi_bounds":[
      {
        "numerator":363771576891766324280234942777729862653393377328392429958772151117938894466185,
        "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
      },
      {
        "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
        "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
      }
    ],
    "reference_form_bounds":[
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ],
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ]
    ],
    "reference_phase_bounds":[
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ],
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ]
    ],
    "actual_form_bounds":[
      [
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ]
      ],
      [
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ]
      ]
    ],
    "actual_phase_bounds":[
      [
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ]
      ],
      [
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
            "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
            "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
            "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
            "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
            "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
            "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          },
          {
            "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":100000000000000000000000000000000
          },
          {
            "numerator":1,
            "denominator":100000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
            "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
            "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
            "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
            "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
            "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
          }
        ],
        [
          {
            "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
            "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
          },
          {
            "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
            "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
          }
        ]
      ]
    ]
  },
  "observation_policy":{
    "endpoint_radius":{
      "numerator":1,
      "denominator":100000000000000000000000000000000
    },
    "gamma_upper":{
      "numerator":1,
      "denominator":3000
    },
    "linear_source_allowance":{
      "numerator":3,
      "denominator":299800000000000000000000000000000
    },
    "reference_radius_ceiling":{
      "numerator":1,
      "denominator":1000000000000
    },
    "actual_prediction_resolution_allowance":{
      "numerator":1,
      "denominator":10000000000
    },
    "reading_error_per_model":{
      "numerator":1,
      "denominator":100000000
    },
    "nominal_prediction_comparison":"closed_interval_overlap_without_intersection",
    "actual_prediction_comparison":"whole_forward_band_in_prediction_plus_resolution_allowance",
    "separation":"forward_recorded_lower_strictly_above_grounded_recorded_upper"
  },
  "inspected_prediction":[
    {
      "mediator_class":1,
      "nominal_cubic_bounds":[
        {
          "numerator":53488871097392233209834274828126531,
          "denominator":170141183460469231731687303715884105728
        },
        {
          "numerator":53488871097392233212098299152541721,
          "denominator":170141183460469231731687303715884105728
        }
      ],
      "nominal_full_bounds":[
        {
          "numerator":265621310402960970341403632422283739088092138941272973839114765901141,
          "denominator":844907046589056680734504295981216041848610921440608256000000000000000000
        },
        {
          "numerator":265621310402960970352646589985282200676637676394344472587276835661359,
          "denominator":844907046589056680734504295981216041848610921440608256000000000000000000
        }
      ],
      "actual_full_bounds":[
        {
          "numerator":195419887210597994865949007170600429766034825644144326190948481063341625985395827516664841429545656392610927,
          "denominator":621605395656659506883083146165264068152172723859640811520000000000000000000000000000000000000000000000000000000
        },
        {
          "numerator":195419887210597994874220547954907331634821736006334437349154463501450838291651829134455791457340940287076573,
          "denominator":621605395656659506883083146165264068152172723859640811520000000000000000000000000000000000000000000000000000000
        }
      ],
      "nominal_comparator_bounds":[
        {
          "numerator":47516168478534791999071856243511749,
          "denominator":170141183460469231731687303715884105728
        },
        {
          "numerator":47516168478534791999071856538759375,
          "denominator":170141183460469231731687303715884105728
        }
      ],
      "actual_comparator_bounds":[
        {
          "numerator":13267013532914901749530567323131858184764713332806656219859,
          "denominator":47505206243552896821088952621465600000000000000000000000000000
        },
        {
          "numerator":13267013532914901749530567406518835737725168182696273467641,
          "denominator":47505206243552896821088952621465600000000000000000000000000000
        }
      ],
      "numerical_radius":{
        "numerator":1132012162207595,
        "denominator":170141183460469231731687303715884105728
      },
      "comparator_numerical_radius":{
        "numerator":147623813,
        "denominator":170141183460469231731687303715884105728
      }
    },
    {
      "mediator_class":2,
      "nominal_cubic_bounds":[
        {
          "numerator":13372218012348048677008443291981361,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":106977744098784389420595594984681267,
          "denominator":340282366920938463463374607431768211456
        }
      ],
      "nominal_full_bounds":[
        {
          "numerator":66405328782628512466263096398983315363272749017899412129479314033879,
          "denominator":211226761647264170183626073995304010462152730360152064000000000000000000
        },
        {
          "numerator":531242630261028099752590686317863441117355765872441245341637411557093,
          "denominator":1689814093178113361469008591962432083697221842881216512000000000000000000
        }
      ],
      "actual_full_bounds":[
        {
          "numerator":48854972672174884481928548280501655975324185555237936777123268881288509690810405190069716710883919286141013,
          "denominator":155401348914164876720770786541316017038043180964910202880000000000000000000000000000000000000000000000000000000
        },
        {
          "numerator":390839781377399075871971467812627047886699149991003006786971209589885785717268806699345638541074245076106271,
          "denominator":1243210791313319013766166292330528136304345447719281623040000000000000000000000000000000000000000000000000000000
        }
      ],
      "nominal_comparator_bounds":[
        {
          "numerator":95032338712793578838569184922468243,
          "denominator":340282366920938463463374607431768211456
        },
        {
          "numerator":2969760584774799338705287047280109,
          "denominator":10633823966279326983230456482242756608
        }
      ],
      "actual_comparator_bounds":[
        {
          "numerator":26534027556046391777510793543174054613930345149347443299093,
          "denominator":95010412487105793642177905242931200000000000000000000000000000
        },
        {
          "numerator":829188361126449743047212303435875242668053117533858278251,
          "denominator":2969075390222056051318059538841600000000000000000000000000000
        }
      ],
      "numerical_radius":{
        "numerator":4528048648830379,
        "denominator":680564733841876926926749214863536422912
      },
      "comparator_numerical_radius":{
        "numerator":590495245,
        "denominator":680564733841876926926749214863536422912
      }
    }
  ],
  "comparison_reader":"tnfr.research.sine_class_collective_forward.assess_collective_forward_report",
  "reserved_attempt_policy":{
    "maximum_attempts":1,
    "steps_per_class":16,
    "adaptation_or_retry":false,
    "prediction_used_by_producer":false,
    "preserve_incomplete_response":true,
    "export_failure":"retain attempt, any partial output file and export-error metadata; unexported memory is not retained evidence",
    "outcomes":[
      "all_conditions_met",
      "unavailable",
      "complete_with_unmet_conditions",
      "execution_or_assessment_error"
    ],
    "classwise_outcomes":[
      "all_conditions_met",
      "consistency_conflict",
      "numerically_unresolved",
      "resolution_not_met",
      "discrimination_unresolved"
    ]
  }
}