{
  "schema":"tnfr.organized-source-coherence-handoff.attempt.v1",
  "status":"not_evaluated",
  "protocol":{
    "path":"protocol.json",
    "bytes":31634,
    "sha256":"1032dddefc5b09845eb23f98b70205c86e7daf4cf40d67ee22bffea1550a2c91"
  },
  "freeze":{
    "path":"freeze.json",
    "bytes":114951,
    "sha256":"102a27ce26bcc8e67282f7e8c375a2f2248b5f79d3c787686c29e0350c4fa626"
  },
  "driver":{
    "path":"benchmarks/organized_source_coherence_handoff.py",
    "bytes":19900,
    "sha256":"6828bc81dc1a13b6fd6d72db343f3949b9f89780cac3497aa420275d8748c03c"
  },
  "python":"3.13.6",
  "platform":"Windows-11-10.0.26300-SP0",
  "networkx":"3.6.1",
  "interval_bits":128,
  "predictions":{
    "reception_handoff":{
      "phases":[
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-234584436859434399080179999554276646665,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-938337747437737596320719998217106586631,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-353790743603081877477251481498218666187,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5527980368798154335582054398409666659,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-945143394776156365589987490365741950889,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-236285848694039091397496872591435487715,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-700775839867744985685235470847801968145,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-700775839867744985685235470847801968123,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "displacement":[
        {
          "lo":{
            "numerator":-11,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-9,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":9,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      "after":[
        {
          "lo":{
            "numerator":-941740571106946980955353744291424268785,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-470870285553473490477676872145712134367,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-176044665884238592579967304230529912567,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-176044665884238592579967304230529912557,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-234584436859434399080179999554276646665,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-938337747437737596320719998217106586631,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-353790743603081877477251481498218666187,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5527980368798154335582054398409666659,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-945143394776156365589987490365741950889,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-236285848694039091397496872591435487715,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-700775839867744985685235470847801968145,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-700775839867744985685235470847801968123,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "resultants":[
        [
          {
            "lo":{
              "numerator":1542155905352007105840149563739694995623,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":771077952676003552920074781869847497941,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-75,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":147,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        [
          {
            "lo":{
              "numerator":1542155905352007105840149563739694995653,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":1542155905352007105840149563739694995857,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-119,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":57,
              "denominator":170141183460469231731687303715884105728
            }
          }
        ]
      ],
      "work":{
        "lo":{
          "numerator":-245,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":255,
          "denominator":170141183460469231731687303715884105728
        }
      }
    },
    "moving_control":{
      "phases":[
        {
          "lo":{
            "numerator":-234584436859434399080179999554276646665,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-938337747437737596320719998217106586631,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-353790743603081877477251481498218666187,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5527980368798154335582054398409666659,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "displacement":[
        {
          "lo":{
            "numerator":-1193874559347559582790799351765026035,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1193874559347559582790799351765026013,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":37308579979611236962212479742657063,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":1193874559347559582790799351765026033,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      "after":[
        {
          "lo":{
            "numerator":-939531621997085155903510797568871612695,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-234882905499271288975877699392217903161,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-353193806323408097685856081822336153179,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-706387612646816195371712163644672306319,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-470870285553473490477676872145712134387,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-941740571106946980955353744291424268745,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-704178663536954370319869216922119650259,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-704178663536954370319869216922119650237,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-7290886811983777495068510774262734871,
            "denominator":5316911983139663491615228241121378304
          },
          "hi":{
            "numerator":-466616755966961759684384689552815031729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-229054848396969149048900162183510413229,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-229054848396969149048900162183510413221,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":4253529586511730793292182592897102643,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8507059173023461586584365185794205287,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":123034483371508036111034446277549411897,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":123034483371508036111034446277549411901,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":241815437156504341428776709962201721151,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":483630874313008682857553419924403442317,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":360596390941500646746518973646854030405,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":22537274433843790421657435852928376901,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":479377344726496952064261237331506339659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":958754689452993904128522474663012679347,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "resultants":[
        [
          {
            "lo":{
              "numerator":386065190770442913283219588544722211511,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":1544260763081771653132878354178888846333,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-4515215095455737148558213020966464381,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":-18060860381822948594232852083865857227,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        [
          {
            "lo":{
              "numerator":1544260763081771653132878354178888846073,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":386065190770442913283219588544722211575,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":4515215095455737148558213020966464315,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":18060860381822948594232852083865857493,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ]
      ],
      "work":{
        "lo":{
          "numerator":-3264702838517326830663920314542121,
          "denominator":10633823966279326983230456482242756608
        },
        "hi":{
          "numerator":-52235245416277229290622725032673375,
          "denominator":170141183460469231731687303715884105728
        }
      }
    },
    "reception":{
      "form_after":[
        {
          "numerator":1999194012824401,
          "denominator":180143985094819840
        },
        {
          "numerator":-1999194012824401,
          "denominator":180143985094819840
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "work":{
        "numerator":-11778118651540507587903402074397,
        "denominator":16225927682921336339157801028812800
      },
      "form_error_budget":{
        "numerator":1,
        "denominator":100000000000000000
      }
    }
  },
  "execution_counts":{
    "atomic_reception_preparation":1,
    "atomic_coherence_responses":2,
    "silence":0,
    "serial_controls":0,
    "flow_steps":0,
    "attempts":1
  }
}