{
"schema_version":1,
"upstream_commit":"53b1ca3ce5f8c223f96819b2ea9ba16c3719e63e",
"heyoka_version":"7.10.0",
"generator":"oracle/phase12_oracle.cpp",
"tolerance":"0x1.cd2b297d889bcp-54",
"models":[{"name":"zoh_kepler","initial_state":["0x1.17948558c997p-2","-0x1.d7cfb942f2b88p-3","-0x1.cf6a77aa8131p-1","0x1.d22dc63041ba2p-1","0x1.9fcbd114e1e18p-1","-0x1.608162545034p-4","0x1.d773202cabd0dp-1"],"parameters":["0x1.078c1689e9496p-5","0x1.7941c6ce0f54fp-1","0x1.4dba723c47795p-1","-0x1.6f9f3943ab947p-3","0x1.25088c8564b05p-1"],"final_time":"0x1.47aa4e0f5fab9p-3","final_state":["0x1.a8a66a6e804d8p-2","-0x1.8fdbab9c0d67ep-4","-0x1.d037dc24cae21p-1","0x1.b6f679f9e4ad4p-1","0x1.afc88368f277fp-1","0x1.076e2a0237045p-4","0x1.d5f1009be0257p-1"],"sensitivities":["0x1.fb52ba8356cb9p-1","-0x1.4701573ec7c6ep-9","-0x1.92166555b11cbp-7","0x1.46befef211d8fp-3","-0x1.021824797ea58p-13","-0x1.67edadbafe513p-11","-0x1.779835af8a189p-12","0x1.4ff18941bab3p-7","0x1.d4c527affc13fp-12","-0x1.5d33ad5e7a769p-23","-0x1.0871c28de6661p-20","-0x1.45ff57f6bd995p-9","0x1.f9de290eeedeep-1","0x1.d6a8473534918p-8","-0x1.01abe1aacca9fp-13","0x1.4656433707c44p-3","0x1.5a40289d4fdfbp-12","-0x1.4bba54b61a7e6p-12","0x1.28b52ea4b67bbp-7","-0x1.5cdc424273227p-23","0x1.d46fa869a7337p-12","0x1.c0dea39afebccp-22","-0x1.919ebaaad0dfcp-7","0x1.d789f88c89a53p-8","0x1.05734b00de075p+0","-0x1.67bb770d8bef1p-11","0x1.5a9edd6a60eedp-12","0x1.49ec9ec8d2437p-3","0x1.71b69c067525ap-14","-0x1.4aaee15dac7c2p-9","-0x1.085d7cb2d2f21p-20","0x1.c12b1ce517c47p-22","0x1.d6fb29244e89ap-12","-0x1.abb89ece3d551p-4","-0x1.d6c6db6787ed2p-6","-0x1.49cf649132fabp-3","0x1.fc151d3618a44p-1","-0x1.108b3f7c8059cp-9","-0x1.b7a9850887cd8p-7","-0x1.2587c0062ed2ap-8","0x1.068aea1952cfap-3","0x1.6e09049ea9c38p-8","-0x1.ea57ed5ec2d97p-19","-0x1.ab9a8e9fcbbe6p-16","-0x1.d2ed0a9712068p-6","-0x1.354a3f7dcc8c5p-3","0x1.3e0e1afefc225p-4","-0x1.0f92e00b92c08p-9","0x1.f9baae2dd4d0bp-1","0x1.5713465a8e3dep-8","-0x1.02c8f02db4bdp-8","0x1.ceee3bff98d73p-4","-0x1.e96db3888fefp-19","0x1.6d6c152f6a429p-8","0x1.29741f53f0e42p-17","-0x1.48eac59a3edb9p-3","0x1.3fbd4cdd5ab8ap-4","0x1.0a0e25ad6fd7cp-2","-0x1.b736525850a4bp-7","0x1.57ec8d7d58f0fp-8","0x1.0523702ac7af5p+0","0x1.2427e58559db1p-10","-0x1.055034a72d30bp-5","-0x1.ab643d5e8d955p-16","0x1.29da92f2f5171p-17","0x1.7155ad68e45c8p-8","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x1p+0","-0x1.7710dc85e8056p-4","0x0p+0","0x0p+0","0x0p+0"]},{"name":"zoh_cr3bp","initial_state":["0x1.804c51fa04344p-1","-0x1.20744c8c1e6eep-1","-0x1.72672e0f5a208p-2","-0x1.3c7486c6ac768p-1","-0x1.48a2e08391b9p-1","-0x1.7e8c3f242339p-4","0x1.0b86015a92ae1p+0"],"parameters":["0x1.60066fdd7963ap-10","-0x1.87896c8e35b29p-1","-0x1.109b26875921fp-1","-0x1.73a38ce780653p-2","0x1.b4c5b6bfdbd7cp-2","0x1.f20df615d8e9fp-2"],"final_time":"0x1.f28321040f02p+0","final_state":["0x1.2aa7198f9204cp-6","-0x1.374c11adc50d1p-3","-0x1.8bac399eb34ebp-2","-0x1.717adcae20ad8p-1","0x1.42fb4842ba973p-1","-0x1.10b5ce15a6c5bp-4","0x1.0b3ce84ceacefp+0"],"sensitivities":["-0x1.7ec43cd697356p+0","-0x1.d3b904c12ff76p-1","-0x1.e695ff3c4fe1dp+0","-0x1.4e71168a5fb8dp-1","-0x1.001154c8facdcp+1","-0x1.0171a436a5878p-4","-0x1.2ac85d79d9be6p-10","0x1.c61f836f8eeedp-1","-0x1.65460dd57a39ep-10","-0x1.0636aa6aa77fdp-10","0x1.1543cc4c0a5e2p-10","0x1.2fee40bcb817ep-1","0x1.f51a97ff18b1dp-3","0x1.a27a78db96f5bp-1","0x1.f9c9b4063cb04p-1","0x1.770ce8338c62p+0","0x1.471b452ea74cbp-4","0x1.158e05269146cp-10","-0x1.a5dbcacf83bc2p-1","0x1.a11739243f627p-10","0x1.331286cddc0dfp-15","-0x1.775180db15005p-12","0x1.134a616e117f5p-3","0x1.97dae8a255164p-5","0x1.0eeba1a8d90bbp+0","-0x1.a05b211e8df41p-4","0x1.579090a9e5accp-5","-0x1.94b7530d5375bp-5","-0x1.ea22019218abap-12","0x1.747aaa777f112p-2","-0x1.409b8098a1dep-12","0x1.56ebab1c0f507p-14","-0x1.ae71f7d371e59p-11","0x1.7f4b1b0b6a259p-1","0x1.7d16acfe06617p+1","0x1.34d7f526e3bfep+0","0x1.db4e4a60f54e3p-3","0x1.3b121636cae97p+1","0x1.57caed87668e7p-2","0x1.b42132b021151p-10","-0x1.4b706d26feda3p+0","0x1.9b90f6d3ee131p-10","0x1.b23df784407e4p-11","0x1.163c1ebe19c68p-12","0x1.64b41c2bfe304p+0","0x1.c5d5aaf86b82p+1","0x1.e0dc6a1afb881p+1","-0x1.e64300470643fp-3","0x1.9769e65d9654p+1","0x1.37a5efaaa2822p-2","0x1.0fa03ad3e166cp-10","-0x1.9cd8e2ca895bcp-1","0x1.a41982db8cbfp-11","0x1.146a74b4a68aep-9","-0x1.d790a0bb3314ep-10","0x1.3cb02133a9a0bp+0","0x1.8e5dc4df21466p+1","0x1.87ae2de323369p+1","0x1.0ec8f287ae6fp-1","0x1.6a72369264dcfp+1","0x1.312c1eafcf95ap+0","0x1.757acd710f29dp-10","-0x1.1bd3f57a1593ep+0","0x1.3b0692bcf9c9p-10","0x1.ae35af8cde97dp-11","0x1.7f7c59b8e46ecp-12","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x1p+0","-0x1.a9442b81138cp-1","0x0p+0","0x0p+0","0x0p+0"]},{"name":"zoh_equinoctial","initial_state":["0x1.0de4ec4a7b02ap+0","-0x1.6bf3851c7c8bap-1","-0x1.865d7d1c2eeaap-2","-0x1.73f2f3e772d07p-2","0x1.3005c23d6bc0ap-2","0x1.a7ecf5358bf01p+1","0x1.61cf0c5c344fdp-1"],"parameters":["0x1.7978ae9516ec1p-5","-0x1.0fb55761d10b8p-3","0x1.a7d005f28d8b7p-1","-0x1.1720ee9d4fbbep-1","0x1.cbb2bfbd4ccaep-1"],"final_time":"0x1.31f15c4d486efp+0","final_state":["0x1.2d94891d0e33cp+0","-0x1.7bf5d2c888f4bp-1","-0x1.02a7c02c4f8ap-1","-0x1.7657b9c598feap-2","0x1.43582bc2b9c87p-2","0x1.5a64f0a8760dep+2","0x1.487e914d2678dp-1"],"sensitivities":["0x1.15bdefc190c98p+0","-0x1.47bf6471dce64p-5","0x1.32cdaf85a837p-6","0x1.8cdf7d4ccbacdp-64","-0x1.9ecde7d8d1decp-66","0x1.d3f962304f235p-6","-0x1.8e09b15989fe7p-3","0x1.7516029e5e1abp+1","0x1.b518365ecdc3ap-10","0x1.3ef84a560421bp-3","0x1.668f84c25f445p-64","-0x1.0b0584c1e48f3p-3","0x1.045b62fb0de35p+0","-0x1.7ebe34503ab01p-4","0x1.0003454ea75edp-6","0x1.fb727d71f3366p-10","0x1.ce0994c92d40bp-5","0x1.7dcc753800b74p-5","-0x1.65dd617d4c4ep-1","-0x1.37b6adb65a7cp-4","-0x1.729cdd242235ap-5","0x1.28a187edc0816p-7","-0x1.d38b5626210f2p-6","0x1.537047ba8bd46p-6","0x1.06219cf4544afp+0","-0x1.781415f1a3c34p-6","-0x1.74b7394ab315p-9","-0x1.eb546f61bc1a7p-6","0x1.8a9d0b8f86d8p-3","-0x1.71e05134d5e0ap+1","0x1.5821b21edafc7p-11","-0x1.4dcb8919422d3p-3","-0x1.b3bef47bd8df4p-7","0x1.b76e0f2bf0e3cp-6","0x1.68fdc25b703bap-7","0x1.1bbc0b2032b3ap-6","0x1.0048621f3fe93p+0","-0x1.3d2dea4e42d24p-10","-0x1.6431303be351dp-7","0x1.ee7178b1b2bc9p-9","-0x1.cf72aead5b412p-5","0x1.a1960526f9c93p-13","0x1.3cd75bb92b5bcp-16","0x1.0f7e3379f547fp-8","-0x1.026993ce45fdp-10","-0x1.022e446272c6cp-7","0x1.02d3814730398p-7","-0x1.7284ae18089cbp-7","0x1.026ca9fec69ep+0","0x1.a10def89d18b6p-8","-0x1.cda1be48de391p-6","0x1.b0b1827de16afp-2","0x1.a119715ec32afp-12","-0x1.7f3cc125339bep-12","-0x1.1d3db67b22575p-5","-0x1.17614ebc2103p+0","0x1.ad741729e851ep-4","-0x1.0658ad66db4ffp+0","0x1.fac4eddefa9edp-6","0x1.f63ce8dfacc7cp-9","0x1.efe7b90a78fdfp-3","0x1.3a8b3d0163df3p-13","-0x1.26d375f55e0fcp-9","-0x1.049cf9131ad7ap-5","0x1.9d5fa0fc9832fp-8","0x1.2595fabe64777p-6","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x0p+0","0x1p+0","-0x1.12b0afbb06b8p+0","0x0p+0","0x0p+0","0x0p+0"]},{"name":"zoh_solar_sail","initial_state":["0x1.999999999999ap-1","-0x1.999999999999ap-2","0x1.3333333333333p-2","0x1.999999999999ap-3","0x1.ccccccccccccdp-1","-0x1.999999999999ap-4"],"parameters":["0x1p-2","-0x1.199999999999ap+0","0x1.47ae147ae147bp-5"],"final_time":"0x1.8p-1","final_state":["0x1.3bc52505552aap-1","0x1.4c69da5c1eeaap-2","0x1.f3d79443bdd39p-4","-0x1.93c5532d2022ap-1","0x1.be2ea01e8d8a2p-1","-0x1.80276c48108b3p-2"],"sensitivities":["0x1.c25ed8a056c59p+0","-0x1.9138c2787e5a4p-3","0x1.72e6938ac3fd6p-2","0x1.ef78ebb42e4cep-1","-0x1.ab1d4459ac5e1p-9","0x1.8961823874586p-4","-0x1.ed572547784b5p-7","-0x1.9cf7832753452p-12","-0x1.a1de116c8733cp-4","0x1.58ce167729ed5p-1","-0x1.4444418c537dcp-5","0x1.8a7660410fb43p-7","0x1.4bd5365db7073p-1","-0x1.75fe871a66b56p-11","-0x1.f001c10a21d92p-8","0x1.eac154a241293p-10","0x1.606f29d6a7895p-2","-0x1.0f3cb10dd1d3ep-4","0x1.7249103da49edp-1","0x1.7e39b28c946bdp-4","-0x1.d05ce0ab22b17p-9","0x1.52253c5c4bb95p-1","0x1.1ee4b27d543abp-9","0x1.5017182bf6463p-9","0x1.57850eedc11bep+1","-0x1.78e18eb0d34dp-3","0x1.1decd0f3bc442p+0","0x1.05afae8c488b3p+1","0x1.b0a8f21c8211ep-3","0x1.a57607207996p-2","-0x1.836bef3fa28cp-5","-0x1.2f68b7c19644bp-10","0x1.0f637efcb3eccp-1","-0x1.011934f12667p+0","0x1.161289399f898p-3","0x1.655f6e50e4f33p-2","0x1.2b3ec1e42dd4fp-1","0x1.3d56cd69a8e55p-4","-0x1.ee93d53fd04c1p-6","0x1.577ecf630f171p-8","0x1.f9cb8ed2d2bcep-1","-0x1.1cf0af2bf3c75p-4","-0x1.9e2375826e6aep-1","0x1.8bc3bdc64fe0ep-2","0x1.559a4ee882424p-5","0x1.29739cf2c1214p-1","0x1.6a4f05df54936p-8","0x1.bbf96b99979eep-8"]}]
}