{
  "schema":"tnfr.sine-class-neighbor-forward-protocol.v1",
  "evaluation_status_at_freeze":"not_evaluated",
  "source_base_commit":"8af5b1932308b81e5fbb4e519de0162b8e82ccfc",
  "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_NEIGHBOR_FORWARD_PROTOCOL.md#sine-class-neighbor-forward-protocol",
  "source_specification":{
    "prior_artifact_receipts":[],
    "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-",
    "history_source_association":"all four counterfactual histories share one complete actual source in class (1,2,1)",
    "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":"two simultaneous time-zero form jumps at nodes 4 and 22, selected per history; 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_readout.bound_sine_class_four_history_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
        }
      ]
    ],
    "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":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
        }
      ]
    ],
    "first_probe_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "second_probe_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "first_probe_node":4,
    "second_probe_node":22,
    "readout_node":13,
    "delay":{
      "numerator":0,
      "denominator":1
    },
    "total_duration":{
      "numerator":1,
      "denominator":8
    },
    "time_step":{
      "numerator":1,
      "denominator":128
    },
    "order":16,
    "max_steps":64
  },
  "source_covers":{
    "classes":[
      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
        }
      ]
    ],
    "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":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
        }
      ]
    ],
    "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":-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
    },
    "total_duration":{
      "numerator":1,
      "denominator":8
    },
    "source_error_upper_bound":{
      "numerator":25917840000000000000000001110857139,
      "denominator":16660080000019285111573662109375000000000000000000000000000000000000000000000
    },
    "readout_error_bound":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    },
    "actual_width_allowance":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    },
    "reading_count":4,
    "independent_additive_reading_count":4,
    "mixed_coefficients":[
      1,
      -1,
      -1,
      1
    ],
    "prediction_comparison":"closed_interval_overlap_without_intersection",
    "separation":"negative_forward_recorded_upper_below_independent_additive_recorded_lower",
    "primary_observation":"shared_prefix_cancelled_suffix_increment_mixed_interval",
    "source_transfer":"four_nonlinear_initialization_defects_after_exact_common_linear_cancellation"
  },
  "static_prediction":{
    "mediator_class":2,
    "donor_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "receiver_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "horizon":{
      "numerator":1,
      "denominator":8
    },
    "endpoint_radius":{
      "numerator":1,
      "denominator":100000000000000000000000000000000
    },
    "readout_error_bound":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    },
    "radius":{
      "numerator":1,
      "denominator":12
    },
    "contact_work_allowance":{
      "numerator":1,
      "denominator":1000000000000
    },
    "donor_work_allowance":{
      "numerator":1,
      "denominator":1000000
    },
    "receiver_work_allowance":{
      "numerator":1,
      "denominator":1000000
    },
    "onset":{
      "mediator_class":2,
      "gamma_bounds":{
        "lo":{
          "numerator":3308750045361523034179564622145679,
          "denominator":10633823966279326983230456482242756608
        },
        "hi":{
          "numerator":105880001451568737093746067908661729,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "channel_cosine_bounds":[
        {
          "lo":{
            "numerator":260671416271158057711349560967603721851,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2036495439618422325869918445059404077,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":59089412908010704988265434475810890537,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3693088306750669061766589654738180659,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":260671416271158057711349560967603721851,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2036495439618422325869918445059404077,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":1,
            "denominator":1
          },
          "hi":{
            "numerator":1,
            "denominator":1
          }
        }
      ],
      "mixed_channel_factors":[
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":-1,
            "denominator":1024
          },
          {
            "numerator":-1,
            "denominator":1024
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":-15,
            "denominator":1024
          },
          {
            "numerator":-15,
            "denominator":1024
          }
        ]
      ],
      "degrees":[
        2,
        2,
        2,
        2,
        3,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        4,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        3,
        2,
        2,
        2,
        2
      ],
      "donor_phase_velocity_column":[
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":4
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "receiver_phase_velocity_column":[
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":4
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "donor_phase_curvature_column":[
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":4
        },
        {
          "numerator":-1,
          "denominator":1
        },
        {
          "numerator":17,
          "denominator":12
        },
        {
          "numerator":-1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":4
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":8
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":1,
          "denominator":8
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":12
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "receiver_phase_curvature_column":[
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":12
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":8
        },
        {
          "numerator":-1,
          "denominator":2
        },
        {
          "numerator":1,
          "denominator":8
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":4
        },
        {
          "numerator":-1,
          "denominator":1
        },
        {
          "numerator":17,
          "denominator":12
        },
        {
          "numerator":-1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":4
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "channel_order":[
        "donor_internal",
        "mediator_internal",
        "receiver_internal",
        "contacts"
      ],
      "intervention_nodes":[
        4,
        22
      ],
      "readout_node":13,
      "time_degree":4,
      "amplitude_degree":3
    },
    "formal_onset_bounds":[
      {
        "numerator":-13911031909955374003949863274250196655293466044250716520360411042655701776950055871648104202236296555338557483321491770452345205487397052647618271623977399656626942670535637760757717,
        "denominator":598008216632976371697735644702348584536405246902083247220875921706093794716375762404103004004990504111786204800430166155026589905240121409306972824498630058082565445957748647537262486126146850127872000000000000
      },
      {
        "numerator":-212265501555715545714567005527499330592881210876660232823747129768013394424605409738823614509744163995085767251390571659776293821360698906603884337944940077472627895894985759791,
        "denominator":9124881235244390437282343211400582649786457014497119861158385035798550334417354773011825622634742799557284619147188814621377409442750875996505322639444428376503989348720529900165748384493207552000000000000
      }
    ],
    "per_history_fidelity":[
      {
        "total_input_variation":{
          "numerator":0,
          "denominator":1
        },
        "horizon":{
          "numerator":1,
          "denominator":8
        },
        "endpoint_radius":{
          "numerator":1,
          "denominator":100000000000000000000000000000000
        },
        "flow_comparison_margin":{
          "numerator":11999,
          "denominator":12000
        },
        "phase_bootstrap_margin":{
          "numerator":287999999,
          "denominator":288000000
        },
        "nominal_fifth_order_error_upper_bound":{
          "numerator":0,
          "denominator":1
        },
        "nonlinear_initialization_error_upper_bound":{
          "numerator":27,
          "denominator":1619730005625937460937500000000000000000000000000000000000000000000000
        },
        "form_error_upper_bound":{
          "numerator":27,
          "denominator":1619730005625937460937500000000000000000000000000000000000000000000000
        },
        "phase_error_upper_bound":{
          "numerator":9,
          "denominator":6478920022503749843750000000000000000000000000000000000000000000000000000
        },
        "port_pressure_error_upper_bounds":[
          {
            "numerator":81,
            "denominator":809865002812968730468750000000000000000000000000000000000000000000000
          },
          {
            "numerator":27,
            "denominator":202466250703242182617187500000000000000000000000000000000000000000000
          },
          {
            "numerator":81,
            "denominator":809865002812968730468750000000000000000000000000000000000000000000000
          }
        ],
        "gamma_upper_bound":{
          "numerator":1,
          "denominator":3000
        },
        "port_nodes":[
          4,
          13,
          22
        ],
        "scope":[
          "nominal_interface_retains_complete_first_and_third_amplitude_memory_terms",
          "fifth_order_bound_applies_to_the_full_reflection_even_projection",
          "exact_linear_source_Pi_exp_J_t_z0_is_retained_not_dropped_or_estimated_as_zero",
          "initialization_error_bounds_only_the_additional_nonlinear_source_coupling",
          "source_radius_bounds_residual_maximum_coordinates_about_declared_common_origins",
          "original_origins_or_actual_branch_means_are_retained_exactly_without_recentering_claims",
          "pressure_error_multiplies_form_fidelity_by_the_actual_port_Laplacian_row_norm",
          "finite_horizon_accuracy_does_not_supply_identity_work_or_return_admission",
          "no_interface_approximation_is_extended_through_the_long_relaxation_dwell"
        ]
      },
      {
        "total_input_variation":{
          "numerator":7,
          "denominator":10000
        },
        "horizon":{
          "numerator":1,
          "denominator":8
        },
        "endpoint_radius":{
          "numerator":1,
          "denominator":100000000000000000000000000000000
        },
        "flow_comparison_margin":{
          "numerator":11999,
          "denominator":12000
        },
        "phase_bootstrap_margin":{
          "numerator":287999999,
          "denominator":288000000
        },
        "nominal_fifth_order_error_upper_bound":{
          "numerator":343,
          "denominator":46492346777333625000035156250000000000
        },
        "nonlinear_initialization_error_upper_bound":{
          "numerator":25917840000000000000000001110857139,
          "denominator":66640320000077140446294648437500000000000000000000000000000000000000000000000
        },
        "form_error_upper_bound":{
          "numerator":995576818821642215978570232560002249485706474510112001701,
          "denominator":134946648000126821022626629067000684060039062500000000000000000000000000000000000000000000000
        },
        "phase_error_upper_bound":{
          "numerator":995576818821642215978570232560002249485706474510112001701,
          "denominator":1619359776001521852271519548804008208720468750000000000000000000000000000000000000000000000000000
        },
        "port_pressure_error_upper_bounds":[
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":22491108000021136837104438177833447343339843750000000000000000000000000000000000000000000000
          },
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":16868331000015852627828328633375085507504882812500000000000000000000000000000000000000000000
          },
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":22491108000021136837104438177833447343339843750000000000000000000000000000000000000000000000
          }
        ],
        "gamma_upper_bound":{
          "numerator":1,
          "denominator":3000
        },
        "port_nodes":[
          4,
          13,
          22
        ],
        "scope":[
          "nominal_interface_retains_complete_first_and_third_amplitude_memory_terms",
          "fifth_order_bound_applies_to_the_full_reflection_even_projection",
          "exact_linear_source_Pi_exp_J_t_z0_is_retained_not_dropped_or_estimated_as_zero",
          "initialization_error_bounds_only_the_additional_nonlinear_source_coupling",
          "source_radius_bounds_residual_maximum_coordinates_about_declared_common_origins",
          "original_origins_or_actual_branch_means_are_retained_exactly_without_recentering_claims",
          "pressure_error_multiplies_form_fidelity_by_the_actual_port_Laplacian_row_norm",
          "finite_horizon_accuracy_does_not_supply_identity_work_or_return_admission",
          "no_interface_approximation_is_extended_through_the_long_relaxation_dwell"
        ]
      },
      {
        "total_input_variation":{
          "numerator":7,
          "denominator":10000
        },
        "horizon":{
          "numerator":1,
          "denominator":8
        },
        "endpoint_radius":{
          "numerator":1,
          "denominator":100000000000000000000000000000000
        },
        "flow_comparison_margin":{
          "numerator":11999,
          "denominator":12000
        },
        "phase_bootstrap_margin":{
          "numerator":287999999,
          "denominator":288000000
        },
        "nominal_fifth_order_error_upper_bound":{
          "numerator":343,
          "denominator":46492346777333625000035156250000000000
        },
        "nonlinear_initialization_error_upper_bound":{
          "numerator":25917840000000000000000001110857139,
          "denominator":66640320000077140446294648437500000000000000000000000000000000000000000000000
        },
        "form_error_upper_bound":{
          "numerator":995576818821642215978570232560002249485706474510112001701,
          "denominator":134946648000126821022626629067000684060039062500000000000000000000000000000000000000000000000
        },
        "phase_error_upper_bound":{
          "numerator":995576818821642215978570232560002249485706474510112001701,
          "denominator":1619359776001521852271519548804008208720468750000000000000000000000000000000000000000000000000000
        },
        "port_pressure_error_upper_bounds":[
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":22491108000021136837104438177833447343339843750000000000000000000000000000000000000000000000
          },
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":16868331000015852627828328633375085507504882812500000000000000000000000000000000000000000000
          },
          {
            "numerator":995576818821642215978570232560002249485706474510112001701,
            "denominator":22491108000021136837104438177833447343339843750000000000000000000000000000000000000000000000
          }
        ],
        "gamma_upper_bound":{
          "numerator":1,
          "denominator":3000
        },
        "port_nodes":[
          4,
          13,
          22
        ],
        "scope":[
          "nominal_interface_retains_complete_first_and_third_amplitude_memory_terms",
          "fifth_order_bound_applies_to_the_full_reflection_even_projection",
          "exact_linear_source_Pi_exp_J_t_z0_is_retained_not_dropped_or_estimated_as_zero",
          "initialization_error_bounds_only_the_additional_nonlinear_source_coupling",
          "source_radius_bounds_residual_maximum_coordinates_about_declared_common_origins",
          "original_origins_or_actual_branch_means_are_retained_exactly_without_recentering_claims",
          "pressure_error_multiplies_form_fidelity_by_the_actual_port_Laplacian_row_norm",
          "finite_horizon_accuracy_does_not_supply_identity_work_or_return_admission",
          "no_interface_approximation_is_extended_through_the_long_relaxation_dwell"
        ]
      },
      {
        "total_input_variation":{
          "numerator":7,
          "denominator":5000
        },
        "horizon":{
          "numerator":1,
          "denominator":8
        },
        "endpoint_radius":{
          "numerator":1,
          "denominator":100000000000000000000000000000000
        },
        "flow_comparison_margin":{
          "numerator":11999,
          "denominator":12000
        },
        "phase_bootstrap_margin":{
          "numerator":287999999,
          "denominator":288000000
        },
        "nominal_fifth_order_error_upper_bound":{
          "numerator":343,
          "denominator":1452885836790726562504394531250000000
        },
        "nonlinear_initialization_error_upper_bound":{
          "numerator":51835680000000000000000001110857139,
          "denominator":66640320000077140446294648437500000000000000000000000000000000000000000000000
        },
        "form_error_upper_bound":{
          "numerator":7964614156945942727897140465120000562371426618260112001701,
          "denominator":33736662000009663969816631752547559060039062500000000000000000000000000000000000000000000000
        },
        "phase_error_upper_bound":{
          "numerator":7964614156945942727897140465120000562371426618260112001701,
          "denominator":404839944000115967637799581030570708720468750000000000000000000000000000000000000000000000000000
        },
        "port_pressure_error_upper_bounds":[
          {
            "numerator":7964614156945942727897140465120000562371426618260112001701,
            "denominator":5622777000001610661636105292091259843339843750000000000000000000000000000000000000000000000
          },
          {
            "numerator":7964614156945942727897140465120000562371426618260112001701,
            "denominator":4217082750001207996227078969068444882504882812500000000000000000000000000000000000000000000
          },
          {
            "numerator":7964614156945942727897140465120000562371426618260112001701,
            "denominator":5622777000001610661636105292091259843339843750000000000000000000000000000000000000000000000
          }
        ],
        "gamma_upper_bound":{
          "numerator":1,
          "denominator":3000
        },
        "port_nodes":[
          4,
          13,
          22
        ],
        "scope":[
          "nominal_interface_retains_complete_first_and_third_amplitude_memory_terms",
          "fifth_order_bound_applies_to_the_full_reflection_even_projection",
          "exact_linear_source_Pi_exp_J_t_z0_is_retained_not_dropped_or_estimated_as_zero",
          "initialization_error_bounds_only_the_additional_nonlinear_source_coupling",
          "source_radius_bounds_residual_maximum_coordinates_about_declared_common_origins",
          "original_origins_or_actual_branch_means_are_retained_exactly_without_recentering_claims",
          "pressure_error_multiplies_form_fidelity_by_the_actual_port_Laplacian_row_norm",
          "finite_horizon_accuracy_does_not_supply_identity_work_or_return_admission",
          "no_interface_approximation_is_extended_through_the_long_relaxation_dwell"
        ]
      }
    ],
    "higher_amplitude_error_upper_bound":{
      "numerator":65598749999983193,
      "denominator":261519450622273828125988819143749827734375000000000
    },
    "nonlinear_source_error_upper_bound":{
      "numerator":25917840000000000000000001110857139,
      "denominator":16660080000019285111573662109375000000000000000000000000000000000000000000000
    },
    "event_ledger":{
      "contact_work":{
        "numerator":1,
        "denominator":1250000000000000000000000000000000000000000000000000000000000000
      },
      "initial_radius":{
        "numerator":3,
        "denominator":5000000000000000000000000000000000000000000000000000000000000000
      },
      "initial_storage":{
        "numerator":11,
        "denominator":5000000000000000000000000000000000000000000000000000000000000000
      },
      "barrier":{
        "numerator":1,
        "denominator":388800
      },
      "initial_identity":true,
      "contact_allowed":true,
      "histories":[
        {
          "label":"neither",
          "first_probe_amplitude":{
            "numerator":0,
            "denominator":1
          },
          "second_probe_amplitude":{
            "numerator":0,
            "denominator":1
          },
          "second_event_time":{
            "numerator":0,
            "denominator":1
          },
          "total_duration":{
            "numerator":1,
            "denominator":8
          },
          "cumulative_amplitude_budget":{
            "numerator":0,
            "denominator":1
          },
          "maximum_form_coordinate_upper_bound":{
            "numerator":862785402772516596884284428313985930384602042767125780784609927102464,
            "denominator":86271829073865514857929051999341398548184427937667308174881157657303763535071886144578456878662109375
          },
          "maximum_phase_deviation_upper_bound":{
            "numerator":741127019916944243723882997998818367735419600654519694051265467405570134057357,
            "denominator":74106936887670870923401472925090944060670799633749963027893604164947927984170220000000000000000000000000000000
          },
          "pre_second_form_coordinate_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "pre_second_phase_deviation_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "first_probe_work_bounds":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "second_probe_work_bounds":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "first_probe_work_upper_bound":{
            "numerator":0,
            "denominator":1
          },
          "second_probe_work_upper_bound":{
            "numerator":0,
            "denominator":1
          },
          "first_probe_work_margin":{
            "numerator":1,
            "denominator":1000000
          },
          "second_probe_work_margin":{
            "numerator":1,
            "denominator":1000000
          },
          "after_first_radius_squared_upper_bound":{
            "numerator":741513498285526254918347698819496867802590647892739391071975737099974218223176955398566515676489962644834628551194649205985489335710511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_squared_upper_bound":{
            "numerator":741513498285526254918347698819496867802590647892739391071975737099974218223176955398566515676489962644834628551194649205985489335710511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_excess_storage_upper_bound":{
            "numerator":11,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_excess_storage_upper_bound":{
            "numerator":11,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_radius_margin":{
            "numerator":8580997023239427545514254372876520758486794715930766724958398522792988765120186709521969536654615798213105117042881705204996438096823048933597001743393184790961196488343039248157146130595978605393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_margin":{
            "numerator":8580997023239427545514254372876520758486794715930766724958398522792988765120186709521969536654615798213105117042881705204996438096823048933597001743393184790961196488343039248157146130595978605393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_storage_margin":{
            "numerator":3124999999999999999999999999999999999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_storage_margin":{
            "numerator":3124999999999999999999999999999999999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "first_form_mean_shift":{
            "numerator":0,
            "denominator":1
          },
          "final_form_mean_shift":{
            "numerator":0,
            "denominator":1
          },
          "final_form_mean_bounds":{
            "lo":{
              "numerator":-117339,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":117339,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "final_phase_mean_bounds":{
            "lo":{
              "numerator":-117339,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":117339,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "tangent_endpoint_discrepancy_upper_bound":null,
          "first_probe_work_within_allowance":true,
          "second_probe_work_within_allowance":true,
          "work_within_allowances":true,
          "first_probe_identity_certified":true,
          "second_probe_identity_certified":true,
          "identity_certified":true
        },
        {
          "label":"first_only",
          "first_probe_amplitude":{
            "numerator":7,
            "denominator":10000
          },
          "second_probe_amplitude":{
            "numerator":0,
            "denominator":1
          },
          "second_event_time":{
            "numerator":0,
            "denominator":1
          },
          "total_duration":{
            "numerator":1,
            "denominator":8
          },
          "cumulative_amplitude_budget":{
            "numerator":7,
            "denominator":10000
          },
          "maximum_form_coordinate_upper_bound":{
            "numerator":60390280534417433140054113795786758111719720103375166785986072888628442042767125780784609927102464,
            "denominator":86271829073865514857929051999341398548184427937667308174881157657303763535071886144578456878662109375
          },
          "maximum_phase_deviation_upper_bound":{
            "numerator":4035258920395607533238340437708167335969772751290321758928730498714416206007694051265467405570134057357,
            "denominator":74106936887670870923401472925090944060670799633749963027893604164947927984170220000000000000000000000000000000
          },
          "pre_second_form_coordinate_upper_bound":{
            "numerator":70000000000000000000000000001,
            "denominator":100000000000000000000000000000000
          },
          "pre_second_phase_deviation_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "first_probe_work_bounds":{
            "lo":{
              "numerator":250107539686889770645580336448057,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":125053769843444885322790168238321,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "second_probe_work_bounds":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "first_probe_work_upper_bound":{
            "numerator":367500000000000000000000000021,
            "denominator":500000000000000000000000000000000000
          },
          "second_probe_work_upper_bound":{
            "numerator":0,
            "denominator":1
          },
          "first_probe_work_margin":{
            "numerator":132499999999999999999999999979,
            "denominator":500000000000000000000000000000000000
          },
          "second_probe_work_margin":{
            "numerator":1,
            "denominator":1000000
          },
          "after_first_radius_squared_upper_bound":{
            "numerator":1816425471861796654961029688475412789187913119957034361953595488833958614206611254183373602722912819597151371214382688108523340349209876019497802399923157555130802660955095306058962536641950511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_squared_upper_bound":{
            "numerator":1816425471861796654961029688475412789187913119957034361953595488833958614206611254183373602722912819597151371214382688108523340349209876019497802399923157555130802660955095306058962536641950511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_excess_storage_upper_bound":{
            "numerator":3675000000000000000000000000210000000000000000000000000011,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_excess_storage_upper_bound":{
            "numerator":3675000000000000000000000000210000000000000000000000000011,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_radius_margin":{
            "numerator":8564649193992671375619605105680242043384103497851153415700822837014967707328621473363608549701919806152561789356471908793653627801644168642020108620434964782628822776051404142245469337170222445393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_margin":{
            "numerator":8564649193992671375619605105680242043384103497851153415700822837014967707328621473363608549701919806152561789356471908793653627801644168642020108620434964782628822776051404142245469337170222445393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_storage_margin":{
            "numerator":2231974999999999999999999999948969999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_storage_margin":{
            "numerator":2231974999999999999999999999948969999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "first_form_mean_shift":{
            "numerator":21,
            "denominator":580000
          },
          "final_form_mean_shift":{
            "numerator":21,
            "denominator":580000
          },
          "final_form_mean_bounds":{
            "lo":{
              "numerator":1540071057185281838950617835329961,
              "denominator":42535295865117307932921825928971026432
            },
            "hi":{
              "numerator":3080142114370563677901235670777261,
              "denominator":85070591730234615865843651857942052864
            }
          },
          "final_phase_mean_bounds":{
            "lo":{
              "numerator":-117339,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":117339,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "tangent_endpoint_discrepancy_upper_bound":null,
          "first_probe_work_within_allowance":true,
          "second_probe_work_within_allowance":true,
          "work_within_allowances":true,
          "first_probe_identity_certified":true,
          "second_probe_identity_certified":true,
          "identity_certified":true
        },
        {
          "label":"second_only",
          "first_probe_amplitude":{
            "numerator":0,
            "denominator":1
          },
          "second_probe_amplitude":{
            "numerator":7,
            "denominator":10000
          },
          "second_event_time":{
            "numerator":0,
            "denominator":1
          },
          "total_duration":{
            "numerator":1,
            "denominator":8
          },
          "cumulative_amplitude_budget":{
            "numerator":7,
            "denominator":10000
          },
          "maximum_form_coordinate_upper_bound":{
            "numerator":60390280534417433140054113795786758111719720103375166785986072888628442042767125780784609927102464,
            "denominator":86271829073865514857929051999341398548184427937667308174881157657303763535071886144578456878662109375
          },
          "maximum_phase_deviation_upper_bound":{
            "numerator":4035258920395607533238340437708167335969772751290321758928730498714416206007694051265467405570134057357,
            "denominator":74106936887670870923401472925090944060670799633749963027893604164947927984170220000000000000000000000000000000
          },
          "pre_second_form_coordinate_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "pre_second_phase_deviation_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "first_probe_work_bounds":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "second_probe_work_bounds":{
            "lo":{
              "numerator":250107539686889770645580336448057,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":125053769843444885322790168238321,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "first_probe_work_upper_bound":{
            "numerator":0,
            "denominator":1
          },
          "second_probe_work_upper_bound":{
            "numerator":367500000000000000000000000021,
            "denominator":500000000000000000000000000000000000
          },
          "first_probe_work_margin":{
            "numerator":1,
            "denominator":1000000
          },
          "second_probe_work_margin":{
            "numerator":132499999999999999999999999979,
            "denominator":500000000000000000000000000000000000
          },
          "after_first_radius_squared_upper_bound":{
            "numerator":741513498285526254918347698819496867802590647892739391071975737099974218223176955398566515676489962644834628551194649205985489335710511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_squared_upper_bound":{
            "numerator":1816425471861796654961029688475412789187913119957034361953595488833958614206611254183373602722912819597151371214382688108523340349209876019497802399923157555130802660955095306058962536641950511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_excess_storage_upper_bound":{
            "numerator":11,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_excess_storage_upper_bound":{
            "numerator":3675000000000000000000000000210000000000000000000000000011,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_radius_margin":{
            "numerator":8580997023239427545514254372876520758486794715930766724958398522792988765120186709521969536654615798213105117042881705204996438096823048933597001743393184790961196488343039248157146130595978605393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_margin":{
            "numerator":8564649193992671375619605105680242043384103497851153415700822837014967707328621473363608549701919806152561789356471908793653627801644168642020108620434964782628822776051404142245469337170222445393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_storage_margin":{
            "numerator":3124999999999999999999999999999999999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_storage_margin":{
            "numerator":2231974999999999999999999999948969999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "first_form_mean_shift":{
            "numerator":0,
            "denominator":1
          },
          "final_form_mean_shift":{
            "numerator":21,
            "denominator":580000
          },
          "final_form_mean_bounds":{
            "lo":{
              "numerator":1540071057185281838950617835329961,
              "denominator":42535295865117307932921825928971026432
            },
            "hi":{
              "numerator":3080142114370563677901235670777261,
              "denominator":85070591730234615865843651857942052864
            }
          },
          "final_phase_mean_bounds":{
            "lo":{
              "numerator":-117339,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":117339,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "tangent_endpoint_discrepancy_upper_bound":null,
          "first_probe_work_within_allowance":true,
          "second_probe_work_within_allowance":true,
          "work_within_allowances":true,
          "first_probe_identity_certified":true,
          "second_probe_identity_certified":true,
          "identity_certified":true
        },
        {
          "label":"both",
          "first_probe_amplitude":{
            "numerator":7,
            "denominator":10000
          },
          "second_probe_amplitude":{
            "numerator":7,
            "denominator":10000
          },
          "second_event_time":{
            "numerator":0,
            "denominator":1
          },
          "total_duration":{
            "numerator":1,
            "denominator":8
          },
          "cumulative_amplitude_budget":{
            "numerator":7,
            "denominator":5000
          },
          "maximum_form_coordinate_upper_bound":{
            "numerator":120780561068834866280108227590710730820666923609866049143658159846872282042767125780784609927102464,
            "denominator":86271829073865514857929051999341398548184427937667308174881157657303763535071886144578456878662109375
          },
          "maximum_phase_deviation_upper_bound":{
            "numerator":8070517840791215066476680134289314754995301778697645519039093262009231757495694051265467405570134057357,
            "denominator":74106936887670870923401472925090944060670799633749963027893604164947927984170220000000000000000000000000000000
          },
          "pre_second_form_coordinate_upper_bound":{
            "numerator":70000000000000000000000000001,
            "denominator":100000000000000000000000000000000
          },
          "pre_second_phase_deviation_upper_bound":{
            "numerator":1,
            "denominator":100000000000000000000000000000000
          },
          "first_probe_work_bounds":{
            "lo":{
              "numerator":250107539686889770645580336448057,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":125053769843444885322790168238321,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "second_probe_work_bounds":{
            "lo":{
              "numerator":250107539686889770645580336448057,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":125053769843444885322790168238321,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "first_probe_work_upper_bound":{
            "numerator":367500000000000000000000000021,
            "denominator":500000000000000000000000000000000000
          },
          "second_probe_work_upper_bound":{
            "numerator":367500000000000000000000000021,
            "denominator":500000000000000000000000000000000000
          },
          "first_probe_work_margin":{
            "numerator":132499999999999999999999999979,
            "denominator":500000000000000000000000000000000000
          },
          "second_probe_work_margin":{
            "numerator":132499999999999999999999999979,
            "denominator":500000000000000000000000000000000000
          },
          "after_first_radius_squared_upper_bound":{
            "numerator":1816425471861796654961029688475412789187913119957034361953595488833958614206611254183373602722912819597151371214382688108523340349209876019497802399923157555130802660955095306058962536641950511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_squared_upper_bound":{
            "numerator":7265701887447186619844118753797839267305714156739679738211333729554840755386423026906009442335982561315667618207869009528651093893765268294026088373512245061549570693358995962911939583948190511828046105032172550165147,
            "denominator":137295952371830840728228069966024332135788715454892267599334483142631573357703695594420142594022816344462978427158421647786085405836592920419129421472548371210000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_excess_storage_upper_bound":{
            "numerator":3675000000000000000000000000210000000000000000000000000011,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_excess_storage_upper_bound":{
            "numerator":7350000000000000000000000000420000000000000000000000000011,
            "denominator":5000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_radius_margin":{
            "numerator":8564649193992671375619605105680242043384103497851153415700822837014967707328621473363608549701919806152561789356471908793653627801644168642020108620434964782628822776051404142245469337170222445393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_radius_margin":{
            "numerator":8515605706252402865935657304092340205081043288520109607314503192848479768058003167409104827145402178477095143133530531900872478019743170111549354046672662995071053863759769036333792543744466285393547585054710447048513677,
            "denominator":1235663571346477566554052629694218989222098439094030408394010348283684160219333260349781283346205347100166805844425794830074768652529336283772164793252935340890000000000000000000000000000000000000000000000000000000000000000
          },
          "after_first_storage_margin":{
            "numerator":2231974999999999999999999999948969999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "after_second_storage_margin":{
            "numerator":1338949999999999999999999999897939999999999999999999999997327,
            "denominator":1215000000000000000000000000000000000000000000000000000000000000000
          },
          "first_form_mean_shift":{
            "numerator":21,
            "denominator":580000
          },
          "final_form_mean_shift":{
            "numerator":21,
            "denominator":290000
          },
          "final_form_mean_bounds":{
            "lo":{
              "numerator":24641136914964509423209885365514055,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":24641136914964509423209885365983411,
              "denominator":340282366920938463463374607431768211456
            }
          },
          "final_phase_mean_bounds":{
            "lo":{
              "numerator":-117339,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":117339,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "tangent_endpoint_discrepancy_upper_bound":null,
          "first_probe_work_within_allowance":true,
          "second_probe_work_within_allowance":true,
          "work_within_allowances":true,
          "first_probe_identity_certified":true,
          "second_probe_identity_certified":true,
          "identity_certified":true
        }
      ]
    },
    "pre_receiver_laplacian_absolute_bounds":[
      {
        "numerator":3,
        "denominator":50000000000000000000000000000000
      },
      {
        "numerator":3,
        "denominator":50000000000000000000000000000000
      },
      {
        "numerator":3,
        "denominator":50000000000000000000000000000000
      },
      {
        "numerator":3,
        "denominator":50000000000000000000000000000000
      }
    ],
    "static_cone":{
      "tangent_phase_remainder_bound":{
        "numerator":288000031,
        "denominator":13823999952
      },
      "donor_edge_phase_cones":[
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-1550766093543735214705617443934915291,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-22153800028209931244714626878280256219,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-17058425847445087005947681399989908773,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":451937517779180729883418326839787716221,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":64689095893327239177636452807251282651,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-64689095893327239177636452807251282651,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-451937517779180729883418326839787716221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":17058425847445087005947681399989908773,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":22153800028209931244714626878280256219,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":1550766093543735214705617443934915291,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-1218459094597506246479665678864829147,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-8086136875896904863846983743097582885,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":8086136875896904863846983743097582885,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":1218459094597506246479665678864829147,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-8861520759590106056568120724065070125,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":8861520759590106056568120724065070125,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-54055271927047912194405996325008526043,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-377500750015225441000805131464088419965,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":65575247004365182826045074651634226131,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          }
        }
      ],
      "receiver_edge_phase_cones":[
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-8861520759590106056568120724065070125,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":8861520759590106056568120724065070125,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-1218459094597506246479665678864829147,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-8086136875896904863846983743097582885,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":8086136875896904863846983743097582885,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":1218459094597506246479665678864829147,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-1550766093543735214705617443934915291,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-22153800028209931244714626878280256219,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-17058425847445087005947681399989908773,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":451937517779180729883418326839787716221,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":64689095893327239177636452807251282651,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-64689095893327239177636452807251282651,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-451937517779180729883418326839787716221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":17058425847445087005947681399989908773,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":22153800028209931244714626878280256219,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":1550766093543735214705617443934915291,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":886152095651277278253713913794743003,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-11519976061930604261484170396037499611,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-65575247004365182826045074651634226131,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":377500750015225441000805131464088419965,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":54055271927047912194405996325008526043,
            "denominator":42535295865117307932921825928971026432
          }
        }
      ],
      "normalized_mixed_force_bounds":[
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-4655375444467090317256382832146828023,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5694219435457014447469302153068856017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":8861599174276912896878461121795978003,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":35633772846743992317898776189855580631,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-4655375444467090317256382832146828023,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5694219435457014447469302153068856017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-4447107411776702608734844283314525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5537850504521439199334733539390153,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":190820407066560290512416286150520649,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3382901682852105255943285184570362549,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-758123428954083033868105931747030765,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-5968914848365325549519804084372095951,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":190820407066560290512416286150520649,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3382901682852105255943285184570362549,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-4447107411776702608734844283314525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5537850504521439199334733539390153,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-4655375444467090317256382832146828023,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5694219435457014447469302153068856017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":8861599174276912896878461121795978003,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":35633772846743992317898776189855580631,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-4655375444467090317256382832146828023,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5694219435457014447469302153068856017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":251850467548653478932192762594217083,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":5240375139629469900877783910761045,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1538458841274265320605062825953265,
            "denominator":170141183460469231731687303715884105728
          }
        }
      ],
      "minimum_force_lower_bound":{
        "numerator":-758123428954083033868105931747030765,
        "denominator":5316911983139663491615228241121378304
      },
      "mediator_force_upper_bound":{
        "numerator":-5968914848365325549519804084372095951,
        "denominator":85070591730234615865843651857942052864
      },
      "competing_force_upper_bound":{
        "numerator":35633772846743992317898776189855580631,
        "denominator":340282366920938463463374607431768211456
      },
      "normalized_heat_shape_bounds":[
        {
          "numerator":-758123428954083033868105931747030765,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":-179103388699649358681438132194438277545,
          "denominator":10889035741470030830827987437816582766592
        }
      ],
      "direct_cubic_heat_bounds":[
        {
          "numerator":-6536116557118185218676654154430264035174373218420939636462636874018642031310262270917549014508288311304444439289730300319944135436157760965103667273692447445156369651378875848399,
          "denominator":233596959622256395194427986211854915834533299571126268445654656916442888561084282189102735939449415668666486250168033654307261681734422425510536259569777366438502127327245565444243158643026113331200000000000
        },
        {
          "numerator":-1472596485630215114115907105765430459890630008182543238768832454537629656925476644862195717780841681986847324626887279670392575401288657071666312920930904839147013885591059747,
          "denominator":114061015440554880466029290142507283122330712681213998264479812947481879180216934662647820282934284994466057739339860182767217618034385949956316532993055354706299866859006623752071854806165094400000000000
        }
      ],
      "complete_cubic_correction_upper_bound":{
        "numerator":145151999511,
        "denominator":101089572488237987697893835232653134693877500000
      }
    },
    "complete_cubic_correction_upper_bound":{
      "numerator":145151999511,
      "denominator":101089572488237987697893835232653134693877500000
    },
    "decision":{
      "true_bounds":[
        {
          "numerator":-24638139332744467239090734713164394949997066520538302399455244667221995474012830062431337912395070674293134967474052591555660061233575315736899193642882806506407509664711934479161072564134738080681996767495717226112491819539198374044081968335890194048751701329621137649699156932383710201,
          "denominator":880544662558295604139579424676156879675626057817560728478388398485039702984534529201214671337456978777714600918767384751175356202942910349383321787389470924094523574442288480556674867395175330279334354805148620073459499219020826343918025019996255066755306618880000000000000000000000000000000000000000000000000000000
        },
        {
          "numerator":-5550849807246964382734557154129346123841885489016203748315254820463973424476657503178420906211420490869889512135159714617453653173952702289028118304495384335986950751160354471372273083796063886946185905292813848572811899537404525038684076824275425630392872920024273949391933540100613,
          "denominator":429953448514792775458779015955154726404114286043730824452338085197773292472917250586530601238992665418805957479866887085534841895968217944034825091498765099655529089083148672146813900095300454237956227932201474645243896103037512863241223154295046419314114560000000000000000000000000000000000000000000000000000000
        }
      ],
      "recorded_bounds":[
        {
          "numerator":-28160317982977649655649052411869022468699570751808545313368798261162154285950968179236196597744898589403993371149122130560361486045346957134432480792440690202785603962481088401387772033715439401799334186716311706406329816415281679419754068415875214315772927805141137649699156932383710201,
          "denominator":880544662558295604139579424676156879675626057817560728478388398485039702984534529201214671337456978777714600918767384751175356202942910349383321787389470924094523574442288480556674867395175330279334354805148620073459499219020826343918025019996255066755306618880000000000000000000000000000000000000000000000000000000
        },
        {
          "numerator":-3831036013187793280899441090308727218225428344841280450505902479672880254584988500832298501255449829194665682215692166275314285590079830512888817938500323937364834394827759782785017483414862069994360993564007949991836315125254473585719184207095239953136414680024273949391933540100613,
          "denominator":429953448514792775458779015955154726404114286043730824452338085197773292472917250586530601238992665418805957479866887085534841895968217944034825091498765099655529089083148672146813900095300454237956227932201474645243896103037512863241223154295046419314114560000000000000000000000000000000000000000000000000000000
        }
      ],
      "orientation":-1,
      "oriented_lower":{
        "numerator":5550849807246964382734557154129346123841885489016203748315254820463973424476657503178420906211420490869889512135159714617453653173952702289028118304495384335986950751160354471372273083796063886946185905292813848572811899537404525038684076824275425630392872920024273949391933540100613,
        "denominator":429953448514792775458779015955154726404114286043730824452338085197773292472917250586530601238992665418805957479866887085534841895968217944034825091498765099655529089083148672146813900095300454237956227932201474645243896103037512863241223154295046419314114560000000000000000000000000000000000000000000000000000000
      },
      "recorded_sign_margin":{
        "numerator":3831036013187793280899441090308727218225428344841280450505902479672880254584988500832298501255449829194665682215692166275314285590079830512888817938500323937364834394827759782785017483414862069994360993564007949991836315125254473585719184207095239953136414680024273949391933540100613,
        "denominator":429953448514792775458779015955154726404114286043730824452338085197773292472917250586530601238992665418805957479866887085534841895968217944034825091498765099655529089083148672146813900095300454237956227932201474645243896103037512863241223154295046419314114560000000000000000000000000000000000000000000000000000000
      },
      "null_separation_margin":{
        "numerator":2111222219128622179064325026488108312608971200666357152696550138881787084693319498486176096299479167519441852296224617933174918006206958736749517572505263538742718038495165094197761883033660253042536081835202051410860730713104422132754291589915054275879956440024273949391933540100613,
        "denominator":429953448514792775458779015955154726404114286043730824452338085197773292472917250586530601238992665418805957479866887085534841895968217944034825091498765099655529089083148672146813900095300454237956227932201474645243896103037512863241223154295046419314114560000000000000000000000000000000000000000000000000000000
      },
      "noise_ceiling":{
        "numerator":5550849807246964382734557154129346123841885489016203748315254820463973424476657503178420906211420490869889512135159714617453653173952702289028118304495384335986950751160354471372273083796063886946185905292813848572811899537404525038684076824275425630392872920024273949391933540100613,
        "denominator":1719813794059171101835116063820618905616457144174923297809352340791093169891669002346122404955970661675223829919467548342139367583872871776139300365995060398622116356332594688587255600381201816951824911728805898580975584412150051452964892617180185677256458240000000000000000000000000000000000000000000000000000000
      },
      "true_sign":true,
      "recorded_sign":true,
      "null_excluded":true,
      "cancellation_margin":{
        "numerator":-21115960682511284822532417014459767431294562289268059485541691073281836662074691945626479227045242759182276563798983052550958636421803674339365906493324922810029415366942780556934373094554036759564659348275122745818653822663115068668409868255905173781730474854101137649699156932383710201,
        "denominator":880544662558295604139579424676156879675626057817560728478388398485039702984534529201214671337456978777714600918767384751175356202942910349383321787389470924094523574442288480556674867395175330279334354805148620073459499219020826343918025019996255066755306618880000000000000000000000000000000000000000000000000000000
      },
      "scalar_cancellation":false,
      "status":"zero_contrast_record_sets_disjoint"
    },
    "exact_mixed_zero":false,
    "response_bound_available":true,
    "all_work_within_allowances":true,
    "all_identities_certified":true,
    "conditional_protocol_sufficient":true,
    "status":"zero_contrast_record_sets_disjoint",
    "unavailable_reasons":[],
    "intervention_nodes":[
      4,
      22
    ],
    "readout_node":13,
    "history_order":[
      "neither",
      "donor_only",
      "receiver_only",
      "both"
    ],
    "reading_count":4,
    "additive_comparator_rule":"F_add(a,b;z0)=F(a,0;z0)+F(0,b;z0)-F(0,0;z0)",
    "scope":[
      "both_signed_form_interventions_are_simultaneous_at_distinct_end_ports",
      "same_complete_initial_source_is_retained_in_all_four_histories",
      "the_exact_common_linear_source_cancels_but_four_nonlinear_source_defects_are_charged",
      "hidden_quadratic_feedback_is_part_of_the_complete_cubic_hierarchy",
      "formal_time_onset_is_not_a_finite_response_or_sign_certificate",
      "finite_static_cone_requires_equal_positive_impulses_and_horizon_at_most_one_eighth",
      "complete_cubic_correction_includes_quadratic_hidden_feedback_and_phase_recoupling",
      "four_reading_errors_and_separately_noisy_additive_null_eight_errors_are_distinct",
      "commuting_event_bookkeeping_reuses_the_ledger_with_receiver_pressure_unchanged_by_donor",
      "identity_and_work_are_conditional_on_original_component_source_norms_and_zero_sums",
      "status_describes_observation_only_work_and_identity_remain_separate_conditional_checks",
      "no_response_time_coefficient_source_acquisition_or_frozen_evidence_is_evaluated"
    ]
  },
  "comparison_reader":"tnfr.research.sine_class_neighbor_forward.assess_neighbor_forward_report",
  "reserved_attempt_policy":{
    "maximum_attempts":1,
    "history_count":4,
    "positive_duration_segments":4,
    "steps_per_history":16,
    "maximum_unique_kernel_attempts":64,
    "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",
      "consistency_conflict",
      "numerically_unresolved",
      "discrimination_unresolved",
      "execution_or_assessment_error"
    ]
  }
}