{
  "schema":"tnfr.sine-class-comparison-protocol.v1",
  "source_base_commit":"8e40dac013c026c0f198a2f95131512277286bbf",
  "runtime_overlays":[],
  "evaluation_status_at_freeze":"not_evaluated",
  "producer":"tnfr.physics.relational_sine_class_comparison_readout.bound_sine_class_comparison_readout",
  "producer_inputs":{
    "initial_form_bounds":[
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ],
      [
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ]
      ]
    ],
    "initial_phase_bounds":[
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ],
      [
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          },
          {
            "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          }
        ],
        [
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
          }
        ],
        [
          {
            "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
            "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
          },
          {
            "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
            "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
          }
        ]
      ]
    ],
    "first_probe_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "second_probe_amplitude":{
      "numerator":7,
      "denominator":10000
    },
    "delay":{
      "numerator":1,
      "denominator":1
    },
    "total_duration":{
      "numerator":2,
      "denominator":1
    },
    "time_step":{
      "numerator":1,
      "denominator":128
    },
    "order":16,
    "max_steps":1536
  },
  "observation_policy":{
    "endpoint_radius":{
      "numerator":1,
      "denominator":100000000000000000000000000000000
    },
    "gamma_upper":{
      "numerator":1,
      "denominator":3000
    },
    "total_duration":{
      "numerator":2,
      "denominator":1
    },
    "readout_error_bound":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    },
    "reference_prediction_open_bounds":[
      {
        "numerator":-9627,
        "denominator":500000000000000000000000000000000
      },
      {
        "numerator":-19237,
        "denominator":1000000000000000000000000000000000
      }
    ],
    "prediction_open_bounds":[
      {
        "numerator":-9667,
        "denominator":500000000000000000000000000000000
      },
      {
        "numerator":-19157,
        "denominator":1000000000000000000000000000000000
      }
    ],
    "width_allowance":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    }
  },
  "source_specification":{
    "covers":{
      "classes":[
        [
          1,
          1,
          1
        ],
        [
          1,
          2,
          1
        ]
      ],
      "pi_bounds":[
        {
          "numerator":363771576891766324280234942777729862653393377328392429958772151117938894466185,
          "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
        },
        {
          "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
          "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
        }
      ],
      "reference_form_bounds":[
        [
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ]
        ],
        [
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ]
        ]
      ],
      "reference_phase_bounds":[
        [
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ]
        ],
        [
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":21711016731996786641919559689128982722488122124807605757398297001483711807488
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":32566525097995179962879339533693474083732183187211408636097445502225567711232
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":-181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            },
            {
              "numerator":-121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            }
          ],
          [
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":173688133855974293135356477513031861779904976998460846059186376011869694459904
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":260532200783961439703034716269547792669857465497691269088779564017804541689856
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":130266100391980719851517358134773896334928732748845634544389782008902270844928
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":86844066927987146567678238756515930889952488499230423029593188005934847229952
            }
          ],
          [
            {
              "numerator":121257192297255441426744980925909954217797792442797476652924050372646298155395,
              "denominator":43422033463993573283839119378257965444976244249615211514796594002967423614976
            },
            {
              "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
              "denominator":65133050195990359925758679067386948167464366374422817272194891004451135422464
            }
          ]
        ]
      ],
      "actual_form_bounds":[
        [
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ]
        ],
        [
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ]
        ]
      ],
      "actual_phase_bounds":[
        [
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ]
        ],
        [
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
              "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
              "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
              "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
              "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
              "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
              "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            },
            {
              "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":-1,
              "denominator":100000000000000000000000000000000
            },
            {
              "numerator":1,
              "denominator":100000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
              "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
              "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
              "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
              "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
              "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
            }
          ],
          [
            {
              "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
              "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
            },
            {
              "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
              "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
            }
          ]
        ]
      ]
    },
    "acquired_family_owner":"theory/nodal/SINE_CLASS_NONLINEAR_ORGANIZATION.md#sine-nonlinear-organization-source",
    "source_transfer_owner":"theory/nodal/SINE_CLASS_COMPARISON_PROTOCOL.md#sine-comparison-source-transfer",
    "reached_component_error_radius":{
      "numerator":1,
      "denominator":100000000000000000000000000000000
    },
    "formation_source_error_radius":{
      "numerator":1,
      "denominator":10000000000
    },
    "correlation_scope":"component Euclidean balls and separate zero sums retained from acquisition",
    "reference_is_not_a_preparation_or_hidden_state_reset":true,
    "prior_artifact_receipts":[
      {
        "path":"docs/assets/sine_formed_classes/class-cubic-response-v1.evidence.zip",
        "bytes":1048901,
        "sha256":"991d771464d84f65a25c0a82c9b08f7e5a579e450885141b32fef1a1ed8239cb"
      }
    ]
  },
  "intervention_scale":{
    "numerator":7,
    "denominator":5
  },
  "selection_rule":"upper endpoint of the proved feasible interval; monotone lower signal bound before response",
  "work_and_identity_owner":"theory/nodal/SINE_CLASS_AMPLITUDE_FEASIBILITY.md",
  "numerical_scope":"1536 total planned attempts; actual-family width<=1e-30 is a postcondition, not promised solver success",
  "arithmetic":"rational_outward_dyadic128_machin_trigonometry_v1",
  "complete_model":{
    "nodes":[
      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
    ],
    "edges":[
      [
        0,
        1
      ],
      [
        0,
        8
      ],
      [
        1,
        2
      ],
      [
        2,
        3
      ],
      [
        3,
        4
      ],
      [
        4,
        5
      ],
      [
        4,
        13
      ],
      [
        5,
        6
      ],
      [
        6,
        7
      ],
      [
        7,
        8
      ],
      [
        9,
        10
      ],
      [
        9,
        17
      ],
      [
        10,
        11
      ],
      [
        11,
        12
      ],
      [
        12,
        13
      ],
      [
        13,
        14
      ],
      [
        13,
        22
      ],
      [
        14,
        15
      ],
      [
        15,
        16
      ],
      [
        16,
        17
      ],
      [
        18,
        19
      ],
      [
        18,
        26
      ],
      [
        19,
        20
      ],
      [
        20,
        21
      ],
      [
        21,
        22
      ],
      [
        22,
        23
      ],
      [
        23,
        24
      ],
      [
        24,
        25
      ],
      [
        25,
        26
      ]
    ],
    "capacity":[
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1
    ],
    "form_row":"x'=-D^-1 L x + gamma D^-1 S(theta)",
    "phase_row":"theta'=gamma D^-1 L x",
    "gamma":"1/(1023*pi)",
    "clock":"tau=e*t; e=1023/1024",
    "pressure_refresh":"complete live state in every field and derivative evaluation",
    "storage_scale":1
  },
  "seed":null,
  "backend":"exact Fraction; no sampled randomness",
  "first_outcome":"retain completion, partial failure, unresolved width or exception without retry",
  "response_audit_expansion_limit_bytes":2147483648,
  "runtime_dependencies":{
    "numpy":"2.3.3",
    "networkx":"3.5"
  },
  "runtime_python":"3.13.6",
  "runtime_implementation":"CPython"
}