{
  "ablation": {
    "minus": {
      "clipping_inactive": true,
      "final_error_vs_exact_Euler": {
        "denominator": 7467325133404183285160204311426480323380836638603613165307055367543908422374506631077498039325924291054180237655457647283259156293339373858683302843043289268318417110776443121717502831666986621046393165544656728770522189706400597972295914569860842632434062740463228011672949536561969238050908899971914945979314725728617497957114028126149541888,
        "numerator": 3532688512785354142778083139748000297605311126992260706963108331844367917027441547552815882850664544545072782728835465095880788952329553979798526005570045721091067558870016962866877835794753283770301069433613363091520289122523326792197065034867806954227010603850931213339771800369435164476595922000945206808542889773353412782933
      },
      "final_observation": {
        "epi": [
          {
            "denominator": 2251799813685248,
            "numerator": 1077792066837187
          },
          {
            "denominator": 18014398509481984,
            "numerator": 7688889121510917
          },
          {
            "denominator": 1125899906842624,
            "numerator": 669398256750911
          },
          {
            "denominator": 2251799813685248,
            "numerator": 1077792066837187
          },
          {
            "denominator": 18014398509481984,
            "numerator": 7688889121510917
          },
          {
            "denominator": 1125899906842624,
            "numerator": 669398256750911
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 649037107316853453566312041152512,
              "numerator": -7180288033176686650797252918961
            },
            {
              "denominator": 649037107316853453566312041152512,
              "numerator": -7180288033176686650797252918961
            }
          ],
          [
            {
              "denominator": 649037107316853453566312041152512,
              "numerator": -7180288033176686650797252918961
            },
            {
              "denominator": 649037107316853453566312041152512,
              "numerator": -7180288033176686650797252918961
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 7180288033176686650797252918961
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 7180288033176686650797252918961
            }
          ],
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 7180288033176686650797252918961
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 7180288033176686650797252918961
            }
          ]
        ],
        "intensity": {
          "denominator": 486777830487640090174734030864384,
          "numerator": 7180288033176686650797252918961
        },
        "intensity_rate": {
          "denominator": 649037107316853453566312041152512,
          "numerator": -7180288033176686650797252918961
        },
        "means": [
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222989
          },
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222989
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "frozen_state_preserved": true,
      "initial_observation": {
        "epi": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 128,
              "numerator": -3
            },
            {
              "denominator": 128,
              "numerator": -3
            }
          ],
          [
            {
              "denominator": 128,
              "numerator": -3
            },
            {
              "denominator": 128,
              "numerator": -3
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ],
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ]
        ],
        "intensity": {
          "denominator": 32,
          "numerator": 1
        },
        "intensity_rate": {
          "denominator": 128,
          "numerator": -3
        },
        "means": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 2,
            "numerator": 1
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "max_form_error_vs_exact_Euler": {
        "denominator": 503820925841965910293903145710484129446837736164208910110436162020372297817921504473130470168740451712297816270119789770967814979078946625948466280425014092358004268645291408699733274151255074551605446727954090503833797734023629893148800753371273495187319355867136,
        "numerator": 332506711530857533982573732672490402332289745968308986671865652910000520279902685321644344099638078599220825313808905956640567978522823468771267749044474482439032163412733705502000203669065642847404433851065380724753687795534053416912272823834112961
      },
      "max_integration_defect": {
        "denominator": 576460752303423488,
        "numerator": 31
      },
      "max_pressure_defect": {
        "denominator": 1,
        "numerator": 0
      },
      "runtime_bound": {
        "denominator": 2305843009213693952,
        "numerator": 8277
      },
      "source_model_bound": {
        "denominator": 1,
        "numerator": 0
      }
    },
    "plus": {
      "clipping_inactive": true,
      "final_error_vs_exact_Euler": {
        "denominator": 489378619942776555776259149753645814473086509947526392401563180567357582368735666574294911505263774338526756054988072372355672066840289205202668935121685005488515783771844976424878265576127635196896422497134623376704942224598669588712385057250400182759198735758998110972998420828125215984904365668559417899700369865350676346117424947275336377171968,
        "numerator": 309101238637982416599273861117704800578368750598931563382625285531901792487452847870339367736833634455247112793028875466203657865616252830335160741182946253811483578309982238691729821460726165965905912758916708728756060706289664167782192448209181105281280424561532815438256898898553946051021216676198164113448101746430599143707884801
      },
      "final_observation": {
        "epi": [
          {
            "denominator": 9007199254740992,
            "numerator": 4696030987392241
          },
          {
            "denominator": 2251799813685248,
            "numerator": 1290688673496383
          },
          {
            "denominator": 9007199254740992,
            "numerator": 3652013200733707
          },
          {
            "denominator": 9007199254740992,
            "numerator": 4696030987392241
          },
          {
            "denominator": 2251799813685248,
            "numerator": 1290688673496383
          },
          {
            "denominator": 9007199254740992,
            "numerator": 3652013200733707
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 162259276829213363391578010288128,
              "numerator": -1795072008294159300341433535231
            },
            {
              "denominator": 162259276829213363391578010288128,
              "numerator": -1795072008294159300341433535231
            }
          ],
          [
            {
              "denominator": 162259276829213363391578010288128,
              "numerator": -1795072008294159300341433535231
            },
            {
              "denominator": 162259276829213363391578010288128,
              "numerator": -1795072008294159300341433535231
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 121694457621910022543683507716096,
              "numerator": 1795072008294159300341433535231
            },
            {
              "denominator": 121694457621910022543683507716096,
              "numerator": 1795072008294159300341433535231
            }
          ],
          [
            {
              "denominator": 121694457621910022543683507716096,
              "numerator": 1795072008294159300341433535231
            },
            {
              "denominator": 121694457621910022543683507716096,
              "numerator": 1795072008294159300341433535231
            }
          ]
        ],
        "intensity": {
          "denominator": 121694457621910022543683507716096,
          "numerator": 1795072008294159300341433535231
        },
        "intensity_rate": {
          "denominator": 162259276829213363391578010288128,
          "numerator": -1795072008294159300341433535231
        },
        "means": [
          {
            "denominator": 3377699720527872,
            "numerator": 1688849860263935
          },
          {
            "denominator": 3377699720527872,
            "numerator": 1688849860263935
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "frozen_state_preserved": true,
      "initial_observation": {
        "epi": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 128,
              "numerator": -3
            },
            {
              "denominator": 128,
              "numerator": -3
            }
          ],
          [
            {
              "denominator": 128,
              "numerator": -3
            },
            {
              "denominator": 128,
              "numerator": -3
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ],
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ]
        ],
        "intensity": {
          "denominator": 32,
          "numerator": 1
        },
        "intensity_rate": {
          "denominator": 128,
          "numerator": -3
        },
        "means": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 2,
            "numerator": 1
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "max_form_error_vs_exact_Euler": {
        "denominator": 955817617075735460500506151862589481392747089741262485159303087045620278063936848777919749033718309254935070419898578852257172005547439853911462763909541026344757390179384719579840362453374287493938325189716061282626840282419276540453877064942187856951560030779293185494137540679932062470516339196405113085352284893263039738510595600147141361664,
        "numerator": 628829923512542999103031385285040848145859977975146434512661583277943570781007501413805274365813836904391802765454157041875904554527407513516757805758111336716949558193468398532916464845599074738346242912953176323905484878516341159657994448104682664412958490216133779988297889575778561068932797007461633594823284351081925940549205
      },
      "max_integration_defect": {
        "denominator": 18014398509481984,
        "numerator": 1
      },
      "max_pressure_defect": {
        "denominator": 1,
        "numerator": 0
      },
      "runtime_bound": {
        "denominator": 9223372036854775808,
        "numerator": 40287
      },
      "source_model_bound": {
        "denominator": 1,
        "numerator": 0
      }
    }
  },
  "ablation_gap": {
    "denominator": 162259276829213363391578010288128,
    "numerator": -16483143839592679
  },
  "initial_intensity_rate_defects": {
    "minus": {
      "denominator": 576460752303423488,
      "numerator": 1
    },
    "plus": {
      "denominator": 576460752303423488,
      "numerator": 1
    }
  },
  "observed_gap": {
    "denominator": 81129638414606681695789005144064,
    "numerator": 388656844391610419558655110263
  },
  "passed": true,
  "prediction": {
    "ablation": "same_weights_and_preparations_uniform_held_phase",
    "ablation_gap_tolerance": {
      "denominator": 500000000000000000000000,
      "numerator": 750000000003
    },
    "capacity": [
      1,
      1,
      1,
      1,
      1,
      1
    ],
    "clipping_interval": [
      0,
      1
    ],
    "continuous_gap_lower": {
      "denominator": 65536,
      "numerator": 127
    },
    "dt": {
      "denominator": 128,
      "numerator": 1
    },
    "form_radius_bound": {
      "denominator": 24,
      "numerator": 5
    },
    "generator": [
      [
        {
          "denominator": 2,
          "numerator": -1
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 1,
          "numerator": 0
        }
      ],
      [
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 2,
          "numerator": -1
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        }
      ],
      [
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 2,
          "numerator": -1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 4,
          "numerator": 1
        }
      ],
      [
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 2,
          "numerator": -1
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        }
      ],
      [
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 2,
          "numerator": -1
        },
        {
          "denominator": 4,
          "numerator": 1
        }
      ],
      [
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 4,
          "numerator": 1
        },
        {
          "denominator": 1,
          "numerator": 0
        },
        {
          "denominator": 2,
          "numerator": -1
        }
      ]
    ],
    "horizon": {
      "denominator": 1,
      "numerator": 1
    },
    "ideal_source": [
      {
        "denominator": 12,
        "numerator": 1
      },
      {
        "denominator": 24,
        "numerator": -1
      },
      {
        "denominator": 24,
        "numerator": -1
      },
      {
        "denominator": 12,
        "numerator": 1
      },
      {
        "denominator": 24,
        "numerator": -1
      },
      {
        "denominator": 24,
        "numerator": -1
      }
    ],
    "model": "held_phase_capacity_support_affine_S0_unforced_scalar_Euler",
    "nodes": [
      0,
      1,
      2,
      3,
      4,
      5
    ],
    "observed_gap_threshold": {
      "denominator": 1024,
      "numerator": 1
    },
    "phase": [
      0.0,
      1.0471975511965976,
      0.5235987755982988,
      0.0,
      1.0471975511965976,
      0.5235987755982988
    ],
    "pressure_weights": {
      "epi": 0.5,
      "phase": 0.5,
      "topo": 0.0,
      "vf": 0.0
    },
    "protocol": "F4-source-relative-response-v1",
    "reference_scope": "exact_Euler_rationals_and_analytic_bound; complex_exp_is_estimate",
    "regions": [
      [
        0,
        1,
        2
      ],
      [
        3,
        4,
        5
      ]
    ],
    "runtime": {
      "networkx": "3.6.1",
      "numpy": "2.5.3",
      "precision": "binary64",
      "python": "3.13.6",
      "randomness": "none"
    },
    "runtime_allowance": {
      "denominator": 1000000000000,
      "numerator": 1
    },
    "source_allowance": {
      "denominator": 1000000000000,
      "numerator": 1
    },
    "source_sha256": {
      "benchmarks/source_relative_form_response.py": "2728f39f078b02fd6912d2efa708d843c84b55a9b402cfefd5f5a728aa4637cd",
      "src/tnfr/config/defaults_core.py": "bf938cb6108005a519f7e184865366a0f00ccdfd4fd685fbb3a8ea7b73faf551",
      "src/tnfr/dynamics/_euler_kernel.py": "2d355304c3b82fbdcde42a2c9b70d2d0ab9e53c9462e9746b74d30aab05635c7",
      "src/tnfr/dynamics/canonical.py": "a3a1407b963f7846b1c005eaba3f76f2e2e72e0436b88b2ef2d7a4ebc1569221",
      "src/tnfr/dynamics/dnfr.py": "e746586a987b223fda19192a49729e5274216668b4522d79cd46a935f184f7a1",
      "src/tnfr/dynamics/fused_dnfr.py": "67ebc6c994da1f26ff1e1265dc135efe1fc24d0114d1b021fb9e5978eec77b2a",
      "src/tnfr/dynamics/integrators.py": "788ca278ade7d8fa3306308944f982af82872f9e6f9f4a3382f981278328b57b",
      "src/tnfr/mathematics/_phase_midpoint.py": "aea8e1902f83b7d585c31119f96039816dc607b2bad40200d85264446826d446",
      "src/tnfr/physics/form_geometry.py": "e89ba8b34fb1652ec16a9b50a580e29f05a803a121f1a09f16bc6f94e9577725"
    },
    "steps": 128,
    "trajectories": {
      "minus": {
        "continuous_intensity_estimate": 0.01960831302470951,
        "euler_final": [
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 804139034710506338266430875110692930184349293740009561067337191310912638922352077316736962850698367070636747333023259902179734243613948080741921367468167113866543417728630298483983990927435766241074730000788683510776817349418353609532607713416088791522003797422842314553465283954661204281486258645107732129614065081267776887924440477837330230000897
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 567012471560405427272005283516104233414082066143156330629639310375567417607449165267703029909795537215877093460258600832417322194916221944496880578025041750741329271583959755887846364560987290808423223508002769484061443062718851892970905569005164560615973126803025301622683638038562696670915811844590243975861904280978952762612541238095061128197891
          },
          {
            "denominator": 367033964957082416832194362315234360854814882460644794301172385425518186776551749930721183628947830753895067041241054279266754050130216903902001701341263754116386837828883732318658699182095726397672316872850967532528706668449002191534288792937800137069399051819248583229748815621093911988678274251419563424775277399013007259588068710456502282878976,
            "numerator": 207763070867895683863682503816152250382614483720175718527514452716657266032377314249971777253298270059214140363541116235250866965562782849543302065638593415022612084415178084885030459901037825334133986932078588050083494899639201911675554868801386867569604346672405970800585992933334892744916893754704851110793923757957828476747857636701655584768767
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 804139034710506338266430875110692930184349293740009561067337191310912638922352077316736962850698367070636747333023259902179734243613948080741921367468167113866543417728630298483983990927435766241074730000788683510776817349418353609532607713416088791522003797422842314553465283954661204281486258645107732129614065081267776887924440477837330230000897
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 567012471560405427272005283516104233414082066143156330629639310375567417607449165267703029909795537215877093460258600832417322194916221944496880578025041750741329271583959755887846364560987290808423223508002769484061443062718851892970905569005164560615973126803025301622683638038562696670915811844590243975861904280978952762612541238095061128197891
          },
          {
            "denominator": 367033964957082416832194362315234360854814882460644794301172385425518186776551749930721183628947830753895067041241054279266754050130216903902001701341263754116386837828883732318658699182095726397672316872850967532528706668449002191534288792937800137069399051819248583229748815621093911988678274251419563424775277399013007259588068710456502282878976,
            "numerator": 207763070867895683863682503816152250382614483720175718527514452716657266032377314249971777253298270059214140363541116235250866965562782849543302065638593415022612084415178084885030459901037825334133986932078588050083494899639201911675554868801386867569604346672405970800585992933334892744916893754704851110793923757957828476747857636701655584768767
          }
        ],
        "euler_intensity": {
          "denominator": 359237150485644809507327978259678956085689167058647283457336810596618520429997455884920747213817185380163327492204501640088065341886557849816309574978933568913397745446629649922945507135099692901765899273134643110722484378720241215096085804918828089920342263923273810086717030668439378080251098225910597022937658948876764230678800315739297345946164861398150343357377278034146497802501430239355182913004437303496743087925074188616356368707569953898771383333324425697274794934089429182734732933644836929968665921459321243761391928627197537889430817572122851533612796561684039061560104452116846745995662993259356698932840215450841206143203128493294098034212707199513947710270237748364331784167489536,
          "numerator": 7037241788019125878645940908879293394424195663065460135163194120262190157706532220012039182659232488272256656136878650560748249397492850329748982653939316145724837299008592762311718519448079152277065645695677234381744694737720866871304780458030267950333970722729187176428594330590064300838846312133405280992962588677176117814704028365726789818957752858145992115684083681667560497939337086059476929511338543677934649445720815899843617547742120436902223081852361740159136306828851653862729960669187954243414284748637480430569733911754967118745573580400869374889776208871568957723618803127104671704060399568164739026427062452194125002376071950642343401445886892565165482011209187169236216477192367
        },
        "initial": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          }
        ],
        "initial_rate": [
          {
            "denominator": 96,
            "numerator": 5
          },
          {
            "denominator": 48,
            "numerator": 1
          },
          {
            "denominator": 96,
            "numerator": -7
          },
          {
            "denominator": 96,
            "numerator": 5
          },
          {
            "denominator": 48,
            "numerator": 1
          },
          {
            "denominator": 96,
            "numerator": -7
          }
        ],
        "intensity_error_budget": {
          "denominator": 4000000000000000000000000,
          "numerator": 610530386440185546923
        },
        "truncation_bound": {
          "denominator": 8192,
          "numerator": 1
        }
      },
      "plus": {
        "continuous_intensity_estimate": 0.024345599871311546,
        "euler_final": [
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 866870050693030359511152618489109073416114754644998728379575044884314245909921956828327553677605076256629632645698288670355883761569532985748119860778116691051512249159430050862183924334183051607254309562323462520065864850665312216828878319231940762643867131306359940033254196788581525076435479573774901653395355702689098362541389283944510143736583
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 781891517336082571267595112577190174132993559696979290749144674931220001089450639381789377029359277736007576641181656520082624891549478760237356462205383913518334872733449423152855224843156083012865711327072530091044258086452111289336946216270342943269166137533117943601639289965506297607187605186106522337705948289063325363115443758584689979410685
          },
          {
            "denominator": 367033964957082416832194362315234360854814882460644794301172385425518186776551749930721183628947830753895067041241054279266754050130216903902001701341263754116386837828883732318658699182095726397672316872850967532528706668449002191534288792937800137069399051819248583229748815621093911988678274251419563424775277399013007259588068710456502282878976,
            "numerator": 138360555428345392553604610706276729394945245105472686669578648184393718414984475843552542766680657632683298240141595121290503911915572419356633471266020480032118476270105729974228261478808805941478470086927453146015529268394147410759977055531129279125840260519003403935899851743118912312111640187158989139387590100581404957967894805052453393531647
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 866870050693030359511152618489109073416114754644998728379575044884314245909921956828327553677605076256629632645698288670355883761569532985748119860778116691051512249159430050862183924334183051607254309562323462520065864850665312216828878319231940762643867131306359940033254196788581525076435479573774901653395355702689098362541389283944510143736583
          },
          {
            "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
            "numerator": 781891517336082571267595112577190174132993559696979290749144674931220001089450639381789377029359277736007576641181656520082624891549478760237356462205383913518334872733449423152855224843156083012865711327072530091044258086452111289336946216270342943269166137533117943601639289965506297607187605186106522337705948289063325363115443758584689979410685
          },
          {
            "denominator": 367033964957082416832194362315234360854814882460644794301172385425518186776551749930721183628947830753895067041241054279266754050130216903902001701341263754116386837828883732318658699182095726397672316872850967532528706668449002191534288792937800137069399051819248583229748815621093911988678274251419563424775277399013007259588068710456502282878976,
            "numerator": 138360555428345392553604610706276729394945245105472686669578648184393718414984475843552542766680657632683298240141595121290503911915572419356633471266020480032118476270105729974228261478808805941478470086927453146015529268394147410759977055531129279125840260519003403935899851743118912312111640187158989139387590100581404957967894805052453393531647
          }
        ],
        "euler_intensity": {
          "denominator": 359237150485644809507327978259678956085689167058647283457336810596618520429997455884920747213817185380163327492204501640088065341886557849816309574978933568913397745446629649922945507135099692901765899273134643110722484378720241215096085804918828089920342263923273810086717030668439378080251098225910597022937658948876764230678800315739297345946164861398150343357377278034146497802501430239355182913004437303496743087925074188616356368707569953898771383333324425697274794934089429182734732933644836929968665921459321243761391928627197537889430817572122851533612796561684039061560104452116846745995662993259356698932840215450841206143203128493294098034212707199513947710270237748364331784167489536,
          "numerator": 8758190876716782895385519638684453433090796588851774444525429744604265732999903258620639260375235949568515149900428125453907788790019806413676888192893867793174052939964129790671213684721289230277231865250730068041295115697962558953797619813284733803576237675908439600144107175477059483668115462758759604817622847979978001231991684648098137032125843982675175970376779463661163234999620023866231836671173000782776176765462088602885086548017948651065760207789696548616731945612355833708770199470994591808114861619210276177879999292814193658678418512167716288325314606341139324242433596367163441798068682500456933990576270432704014337060364681205014465936371598680796570921396042643278747246583991
        },
        "initial": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          }
        ],
        "initial_rate": [
          {
            "denominator": 96,
            "numerator": 11
          },
          {
            "denominator": 48,
            "numerator": -5
          },
          {
            "denominator": 96,
            "numerator": -1
          },
          {
            "denominator": 96,
            "numerator": 11
          },
          {
            "denominator": 48,
            "numerator": -5
          },
          {
            "denominator": 96,
            "numerator": -1
          }
        ],
        "intensity_error_budget": {
          "denominator": 64000000000000000000000000,
          "numerator": 17098605792946044922643
        },
        "truncation_bound": {
          "denominator": 32768,
          "numerator": 7
        }
      }
    }
  },
  "scope": "finite_internal_information_test_not_physical_validation_or_formation",
  "source": [
    {
      "denominator": 72057594037927936,
      "numerator": 6004799503160661
    },
    {
      "denominator": 144115188075855872,
      "numerator": -6004799503160661
    },
    {
      "denominator": 144115188075855872,
      "numerator": -6004799503160661
    },
    {
      "denominator": 72057594037927936,
      "numerator": 6004799503160661
    },
    {
      "denominator": 144115188075855872,
      "numerator": -6004799503160661
    },
    {
      "denominator": 144115188075855872,
      "numerator": -6004799503160661
    }
  ],
  "trajectories": {
    "minus": {
      "clipping_inactive": true,
      "final_error_vs_exact_Euler": {
        "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
        "numerator": 474527159865930217408374887822615194575858876391413806289591341027336443786319049628522777871214847651750289623281266153696062774314575350430754835190265110895577636495646106825664252774083849863644835315053352298302842974785141579408003846906194990166723347287500184262684533506728654914861697028731659532888720702044285230603812097
      },
      "final_observation": {
        "epi": [
          {
            "denominator": 9007199254740992,
            "numerator": 4933494720985525
          },
          {
            "denominator": 18014398509481984,
            "numerator": 6957386507628689
          },
          {
            "denominator": 9007199254740992,
            "numerator": 5098610907311615
          },
          {
            "denominator": 9007199254740992,
            "numerator": 4933494720985525
          },
          {
            "denominator": 18014398509481984,
            "numerator": 6957386507628689
          },
          {
            "denominator": 9007199254740992,
            "numerator": 5098610907311615
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 1298074214633706907132624082305024,
              "numerator": -3582772404625143541985272437761
            },
            {
              "denominator": 1298074214633706907132624082305024,
              "numerator": -3582772404625143541985272437761
            }
          ],
          [
            {
              "denominator": 1298074214633706907132624082305024,
              "numerator": -3582772404625143541985272437761
            },
            {
              "denominator": 1298074214633706907132624082305024,
              "numerator": -3582772404625143541985272437761
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 9535687735964788752288510803701
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 9535687735964788752288510803701
            }
          ],
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 9535687735964788752288510803701
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 9535687735964788752288510803701
            }
          ]
        ],
        "intensity": {
          "denominator": 486777830487640090174734030864384,
          "numerator": 9535687735964788752288510803701
        },
        "intensity_rate": {
          "denominator": 1298074214633706907132624082305024,
          "numerator": -3582772404625143541985272437761
        },
        "means": [
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222969
          },
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222969
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "frozen_state_preserved": true,
      "initial_observation": {
        "epi": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 8,
            "numerator": 5
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            },
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            }
          ],
          [
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            },
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ],
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ]
        ],
        "intensity": {
          "denominator": 32,
          "numerator": 1
        },
        "intensity_rate": {
          "denominator": 576460752303423488,
          "numerator": -13510798882111487
        },
        "means": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 2,
            "numerator": 1
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "max_form_error_vs_exact_Euler": {
        "denominator": 625126353082486338194986105380117918482321092717116390037149169852878491045403006705134268831708214757149679118134366291802075155073690476284064629906015316821421023079438864855913589304232564818340470262739368935783507628513418246046613504,
        "numerator": 293418810878626280906959635465141633125303844634531725625832001694559734209029700890490428373181863360158001955900336053308319230803234128840242611809422308820290679899625059029457964165084758789802819763644816884181902664305
      },
      "max_integration_defect": {
        "denominator": 9223372036854775808,
        "numerator": 511
      },
      "max_pressure_defect": {
        "denominator": 144115188075855872,
        "numerator": 1
      },
      "runtime_bound": {
        "denominator": 18446744073709551616,
        "numerator": 84719
      },
      "source_model_bound": {
        "denominator": 216172782113783808,
        "numerator": 1
      }
    },
    "plus": {
      "clipping_inactive": true,
      "final_error_vs_exact_Euler": {
        "denominator": 1468135859828329667328777449260937443419259529842579177204689541702072747106206999722884734515791323015580268164964217117067016200520867615608006805365055016465547351315534929274634796728382905590689267491403870130114826673796008766137155171751200548277596207276994332918995262484375647954713097005678253699101109596052029038352274841826009131515904,
        "numerator": 699176356834561697871196340497723863721878763666909726887119450545371487405945918385911934307309383307403574826992832933913362902823900735903053481151867187138187486426772699162099484238679157967059852605406823489303394919867531799698524212296911976161314726778273198680839846409758396450891252033458605197481513306773013763551275783
      },
      "final_observation": {
        "epi": [
          {
            "denominator": 9007199254740992,
            "numerator": 5318357441029025
          },
          {
            "denominator": 4503599627370496,
            "numerator": 2398501693522207
          },
          {
            "denominator": 18014398509481984,
            "numerator": 6790876108076085
          },
          {
            "denominator": 9007199254740992,
            "numerator": 5318357441029025
          },
          {
            "denominator": 4503599627370496,
            "numerator": 2398501693522207
          },
          {
            "denominator": 18014398509481984,
            "numerator": 6790876108076085
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 1947111321950560360698936123457536,
              "numerator": 8429229424933774608559227564313
            },
            {
              "denominator": 1947111321950560360698936123457536,
              "numerator": 8429229424933774608559227564313
            }
          ],
          [
            {
              "denominator": 1947111321950560360698936123457536,
              "numerator": 8429229424933774608559227564313
            },
            {
              "denominator": 1947111321950560360698936123457536,
              "numerator": 8429229424933774608559227564313
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 11867628802314451269640441465279
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 11867628802314451269640441465279
            }
          ],
          [
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 11867628802314451269640441465279
            },
            {
              "denominator": 486777830487640090174734030864384,
              "numerator": 11867628802314451269640441465279
            }
          ]
        ],
        "intensity": {
          "denominator": 486777830487640090174734030864384,
          "numerator": 11867628802314451269640441465279
        },
        "intensity_rate": {
          "denominator": 1947111321950560360698936123457536,
          "numerator": 8429229424933774608559227564313
        },
        "means": [
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222963
          },
          {
            "denominator": 54043195528445952,
            "numerator": 27021597764222963
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "frozen_state_preserved": true,
      "initial_observation": {
        "epi": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          },
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 8,
            "numerator": 5
          },
          {
            "denominator": 8,
            "numerator": 3
          }
        ],
        "gram_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_imag_numerator": [
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ],
          [
            {
              "denominator": 1,
              "numerator": 0
            },
            {
              "denominator": 1,
              "numerator": 0
            }
          ]
        ],
        "gram_rate_real": [
          [
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            },
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            }
          ],
          [
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            },
            {
              "denominator": 576460752303423488,
              "numerator": -13510798882111487
            }
          ]
        ],
        "gram_real": [
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ],
          [
            {
              "denominator": 32,
              "numerator": 1
            },
            {
              "denominator": 32,
              "numerator": 1
            }
          ]
        ],
        "intensity": {
          "denominator": 32,
          "numerator": 1
        },
        "intensity_rate": {
          "denominator": 576460752303423488,
          "numerator": -13510798882111487
        },
        "means": [
          {
            "denominator": 2,
            "numerator": 1
          },
          {
            "denominator": 2,
            "numerator": 1
          }
        ],
        "nodal_rate_rounding_defect": [
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          },
          {
            "denominator": 1,
            "numerator": 0
          }
        ]
      },
      "max_form_error_vs_exact_Euler": {
        "denominator": 132073632783916311588084946229129151629711831509030380531990177256668475639181214868604313971914296973668598748314282169720586889875671384312634744615734894227096670999751271042182879419106610263256058227052797101037007073187890434709599224691759119122384645224434499584,
        "numerator": 84477936248510767278571019605196290008308057836762917683990938910864800968310333196915678121704139693864765427164810619088901689229030844302813410419108149594007623783145557351985982978900019610625503738422032279262941757387278776152889958425169629153217
      },
      "max_integration_defect": {
        "denominator": 9223372036854775808,
        "numerator": 509
      },
      "max_pressure_defect": {
        "denominator": 144115188075855872,
        "numerator": 1
      },
      "runtime_bound": {
        "denominator": 18446744073709551616,
        "numerator": 85927
      },
      "source_model_bound": {
        "denominator": 216172782113783808,
        "numerator": 1
      }
    }
  }
}