{
"schema_version":1,
"upstream_commit":"53b1ca3ce5f8c223f96819b2ea9ba16c3719e63e",
"heyoka_version":"7.10.0",
"generator":"oracle/phase11_oracle.cpp",
"tolerance":"0x1.cd2b297d889bcp-54",
"models":[{"name":"kepler","initial_time":"0x0p+0","initial_state":["0x1.b8b679a042b37p-2","-0x1.a581765e05c12p+0","0x1.a4bcebb82b54cp-4","-0x1.dcf5d2e8debbep-1","-0x1.b50b74bbaa52cp-2","0x1.c7d3f15fbbdfcp-3"],"parameters":["0x1.370e13ee0eefep+0"],"samples":[{"time":"0x0p+0","state":["0x1.b8b679a042b37p-2","-0x1.a581765e05c12p+0","0x1.a4bcebb82b54cp-4","-0x1.dcf5d2e8debbep-1","-0x1.b50b74bbaa52cp-2","0x1.c7d3f15fbbdfcp-3"]},{"time":"0x1.999999999999ap-4","state":["0x1.58d3348032a5bp-2","-0x1.afeaabb9ecb69p+0","0x1.ff5b6b7c5112dp-4","-0x1.e1b27efc0018dp-1","-0x1.8be7f8ea152cap-2","0x1.c236ddd8c378dp-3"]},{"time":"0x1.8p-1","state":["-0x1.1ffc395179ap-2","-0x1.dba44a2241ae6p+0","0x1.0a35646a283f6p-2","-0x1.e4a5a2ff8f966p-1","-0x1.2c0ade9cacc1p-3","0x1.8d9ac96b30609p-3"]},{"time":"0x1p+1","state":["-0x1.64a1fcc1d66ebp+0","-0x1.d3bebbb65514ap+0","0x1.dc8e94f292d5bp-2","-0x1.a1de2a8bf0321p-1","0x1.4cb1457d7fc1cp-3","0x1.14e2e10a7a9bdp-3"]},{"time":"0x1.724858b26d8d1p+2","state":["-0x1.ce5d84ab77e5dp+1","-0x1.1d08784406c2cp-1","0x1.7b3073a756c5dp-1","-0x1.900f0da7d263ep-2","0x1.a93a3378600e2p-2","0x1.bbdd4e98cddb2p-6"]}],"final_stm":["0x1.e2394dfd17a28p-6","0x1.387d5161c1b14p+1","-0x1.8ef3cff3958fap-2","0x1.98c1d6b39e965p+2","0x1.c115e5ccba899p+1","-0x1.d4112643b305p-1","0x1.4c58692c8ebc2p-1","0x1.1c79e8ec3505dp+2","-0x1.5e27e54ce4d8ap-1","0x1.2ea21e2670e45p+1","0x1.052c82b826399p+3","-0x1.e7a4bb6d591bfp-1","-0x1.84b238f04c8c9p-3","-0x1.0543274fc33e8p+0","-0x1.c8f73562e8f45p-2","-0x1.92c1b90b74559p-1","-0x1.2ad7a392ac0edp+0","0x1.f0adc0e10fa0fp+1","-0x1.052a11bcf27e2p-3","0x1.f96f43cd696bdp-1","-0x1.2c566adb3327bp-3","0x1.b5bdc4d1d77ep+0","0x1.75b9faf549e7cp+0","-0x1.bb8bea57017efp-2","0x1.6070b684c8da9p-3","0x1.4fb11a0cde03dp-1","-0x1.217fc8c22ec7cp-3","0x1.9866839a23592p-1","0x1.64542a83e7049p+0","-0x1.19755995b843cp-2","-0x1.c8ed9d1b2815ep-5","-0x1.2d88b9e8402d4p-2","-0x1.1db529806fe36p-2","-0x1.6ff24ae01fb01p-2","-0x1.98d6401e48c5p-2","0x1.87a91ab81a4ccp-2"]},{"name":"cr3bp","initial_time":"0x0p+0","initial_state":["0x1.032b63bfd34a2p+0","-0x1.5af352076ddedp-5","0x1.cf8d51a51fc7ep-3","-0x1.f8e1f430a6d77p-4","0x1.f9b405b15cbc3p-4","0x1.fa8a50e24d0a4p-4"],"parameters":["0x1.8e267fe908e12p-7"],"samples":[{"time":"0x0p+0","state":["0x1.032b63bfd34a2p+0","-0x1.5af352076ddedp-5","0x1.cf8d51a51fc7ep-3","-0x1.f8e1f430a6d77p-4","0x1.f9b405b15cbc3p-4","0x1.fa8a50e24d0a4p-4"]},{"time":"0x1.999999999999ap-4","state":["0x1.007e5ed7db835p+0","-0x1.d6efd47173bfcp-6","0x1.e49f33f60d01bp-3","-0x1.5ce8cb5e69d98p-4","0x1.2d81e37daa55ap-3","0x1.500560b8b16c9p-4"]},{"time":"0x1.8p-1","state":["0x1.086d5c9831d6ep+0","0x1.0679c427b9404p-4","0x1.9c97bb120a226p-3","0x1.5719ec55cc6f6p-3","0x1.2af55fb49a7e7p-4","-0x1.82ab99d45fce6p-3"]},{"time":"0x1p+1","state":["0x1.2275fe886f665p+0","-0x1.de0f7bf06cc23p-4","-0x1.a045d65927d4ap-3","-0x1.0e2cf51bfdda7p-4","-0x1.626b458cb85abp-3","-0x1.18aa0dc8817e1p-2"]},{"time":"0x1.724858b26d8d1p+2","state":["0x1.b8b679a042b6fp-2","-0x1.a581765e05c09p+0","0x1.a4bcebb82b49fp-4","-0x1.dcf5d2e8debafp-1","-0x1.b50b74bbaa55dp-2","0x1.c7d3f15fbbdf4p-3"]}],"final_stm":["-0x1.8412883af45adp+6","0x1.9e7c3425bb03p+4","-0x1.be87b9292497bp+5","-0x1.e827784f4a14ep+4","-0x1.5fcf46ae939a5p+5","-0x1.12866f087b3e8p+5","-0x1.0b031cf90e01ap+5","0x1.630247810a923p+3","-0x1.1e907cff95a9dp+4","-0x1.c82bcbc2b1db3p+3","-0x1.67387fa7efb8bp+3","-0x1.6461f9e24e47cp+3","-0x1.8980b0b0fa6c6p+5","0x1.6b2849ac10c84p+3","-0x1.eb4dbe3f73894p+4","-0x1.bfbc14ee022e7p+3","-0x1.76ea58c3c4ee7p+4","-0x1.3cf46f58a2072p+4","-0x1.3f64d14000019p+5","0x1.ac383a7ab0b3ap+3","-0x1.5ce2e39c8d71fp+4","-0x1.0f2049f00c4cbp+4","-0x1.b263901197ae4p+3","-0x1.ad2a46ca33389p+3","0x1.d9e72e4f1455dp+5","-0x1.debec054214c2p+3","0x1.1560664282747p+5","0x1.0baa09b94e595p+4","0x1.cc67814c95867p+4","0x1.516df69878f12p+4","-0x1.ff4127bdc9a95p+0","0x1.106124622dbd3p-1","-0x1.9cd03a09e00e2p-2","-0x1.e2745bd103d7dp-1","-0x1.eb3b0eed20418p-2","-0x1.dcaa4b09a234p-2"]},{"name":"bcp","initial_time":"0x1.7ae147ae147aep-2","initial_state":["0x1.032b63bfd34a2p+0","-0x1.5af352076ddedp-5","0x1.cf8d51a51fc7ep-3","-0x1.f8e1f430a6d77p-4","0x1.f9b405b15cbc3p-4","0x1.fa8a50e24d0a4p-4"],"parameters":["0x1.8e267fe908e12p-7","0x1.413123edfa44p+18","0x1.84cfa71151612p+8","-0x1.d9b349c3ee56ep-1"],"samples":[{"time":"0x1.7ae147ae147aep-2","state":["0x1.032b63bfd34a2p+0","-0x1.5af352076ddedp-5","0x1.cf8d51a51fc7ep-3","-0x1.f8e1f430a6d77p-4","0x1.f9b405b15cbc3p-4","0x1.fa8a50e24d0a4p-4"]},{"time":"0x1.e147ae147ae14p-2","state":["0x1.00814876cb0f5p+0","-0x1.d772ba7df0d1ap-6","0x1.e49bd20b620e3p-3","-0x1.59708e31ee9fp-4","0x1.2c220d4fb4a4cp-3","0x1.4f7dbc142ff06p-4"]},{"time":"0x1.70a3d70a3d70ap-1","state":["0x1.fce8a3bb7f7ddp-1","0x1.6c32b8326da5bp-7","0x1.f399832e2af11p-3","0x1.57fe7714a2b01p-6","0x1.4caa6e4382927p-3","-0x1.806305d090334p-6"]},{"time":"0x1.1eb851eb851ecp+0","state":["0x1.0893ece8577e1p+0","0x1.f82efb6c59c27p-5","0x1.9bd09f1359315p-3","0x1.53b9d47acfcbp-3","0x1.10bf1ab9cb9d9p-4","-0x1.852240069926ap-3"]},{"time":"0x1.deb851eb851ecp+0","state":["0x1.24e1e1c8678d8p+0","-0x1.02963fafe7ca3p-6","-0x1.4cb2d7537b27bp-5","0x1.1a24a1d08ae01p-7","-0x1.c0123985e0e72p-3","-0x1.8ab9b636cecc6p-2"]}],"final_stm":["0x1.e90c2c87e32bp+1","-0x1.011a6df52ed79p-1","0x1.19df9c583c4bap+1","0x1.c22d47e35b90dp-1","0x1.0c751b404bca6p+1","0x1.7eeebfe0e4d5p+0","-0x1.c589dd1d4cee4p-1","0x1.089150e2b086ap-1","-0x1.43373632d4fb3p-2","-0x1.c8ecddc493038p-1","-0x1.fdd11c558323cp-3","-0x1.5e1d430aaf54cp-4","0x1.b5240fb766a25p+0","0x1.5679bc91881fap-3","0x1.198c777907a2bp+1","0x1.3738ea42c2247p-2","0x1.9f2ab556a79ffp-1","0x1.ec95ca6d4afb3p+0","0x1.23c9476be8362p+3","-0x1.6a6eb0cb3ceap+0","0x1.a067ec86d5978p+2","0x1.9f5e5182b7c5ap+0","0x1.3b730c0af5858p+2","0x1.28496ddf95a16p+2","-0x1.4aa6bc5b56a82p+1","-0x1.22766f78fe53ap-1","-0x1.18376fb96c0d6p+1","0x1.25f35203410b3p-3","-0x1.4159614e32fcep+1","-0x1.9a21e45270e44p+0","0x1.d5e3e912444e1p+0","0x1.ae5baf9c2125bp-3","-0x1.c2d9d2c89892p-3","0x1.47e2fa8d69f37p-2","0x1.2dd6e44f2c27cp+0","0x1.5246989ed095dp-3"]}]
}