{
"schema_version":1,
"upstream_commit":"53b1ca3ce5f8c223f96819b2ea9ba16c3719e63e",
"heyoka_version":"7.10.0",
"generator":"oracle/phase9_oracle.cpp",
"threshold":"0x1.12e0be826d695p-30",
"bodies":[{"name":"mercury","cases":[{"epoch":"-0x1.39e3p+15","state":["0x1.72df40eaa8e43p+35","-0x1.8d11be3238a77p+34","-0x1.212fcbe458ed5p+34","0x1.07ab76ec4d279p+14","0x1.2f75a4906f788p+15","0x1.28a6a7b100fb1p+14"]},{"epoch":"-0x1p-1","state":["-0x1.512f8b56d377ap+34","-0x1.b85bd65fb5faep+35","-0x1.b37985a847eb4p+34","0x1.1b77542ce6cb5p+15","-0x1.496a0d320446ap+13","-0x1.258ed982ba639p+13"]},{"epoch":"0x0p+0","state":["-0x1.39b55fdbc1767p+34","-0x1.bb971efc9e55cp+35","-0x1.b95caabd04288p+34","0x1.1e59f953440f8p+15","-0x1.2a112bae90d22p+13","-0x1.1602b24426753p+13"]},{"epoch":"0x1p-1","state":["-0x1.220097c609ab1p+34","-0x1.be7f872cb3916p+35","-0x1.beed5a0009045p+34","0x1.2105fbca7de2ap+15","-0x1.0a8d669cc2188p+13","-0x1.0648f7b4ab46p+13"]},{"epoch":"0x1.ecp+6","state":["0x1.6e20e652fce4p+35","0x1.7c45d3334e181p+33","0x1.99e5a1ef6450fp+30","-0x1.4d6d5c667a7e6p+14","0x1.4f9206f52e7c6p+15","0x1.8914392bc36fap+14"]},{"epoch":"0x1.1d5bp+15","state":["0x1.13dfb51b0c617p+35","-0x1.4d171d2b41a8ap+35","-0x1.9d06a916720bfp+34","0x1.d461f961e22cp+14","0x1.b80890a953598p+14","0x1.755b110b1b7b4p+13"]}]},{"name":"venus","cases":[{"epoch":"-0x1.39e3p+15","state":["-0x1.ecc755dce3698p+34","-0x1.6246b10afe681p+36","-0x1.2ee46de697f0ap+35","0x1.02ba49b934a24p+15","-0x1.1c889ea37e945p+13","-0x1.82fc1e036c156p+12"]},{"epoch":"-0x1p-1","state":["-0x1.9097c28338d56p+36","-0x1.ef2c46e8d9025p+31","0x1.263f640210d81p+32","0x1.8c212f09c4ff1p+8","-0x1.f51267e586a3cp+14","-0x1.c3a25dd9e98e5p+13"]},{"epoch":"0x0p+0","state":["-0x1.907d486a1c296p+36","-0x1.4a22227e78f7bp+32","0x1.010195a58dc9p+32","0x1.bc946411de91ap+9","-0x1.f4b985e938a22p+14","-0x1.c44c026834ed1p+13"]},{"epoch":"0x1p-1","state":["-0x1.904e7fcd57efp+36","-0x1.9c9d649e13edfp+32","0x1.b76d7e2713d46p+31","0x1.5979f46cbeac3p+10","-0x1.f44745f6e41e1p+14","-0x1.c4deaf22c29aap+13"]},{"epoch":"0x1.ecp+6","state":["0x1.80d750113cc5p+36","0x1.e01f166207addp+34","0x1.da51299983f69p+32","-0x1.4e440c182613fp+13","0x1.d5b424da78a6p+14","0x1.bbc801da70911p+13"]},{"epoch":"0x1.1d5bp+15","state":["0x1.7d5410f4d56b7p+36","0x1.02bfe9c67097cp+35","0x1.11296b26d1598p+33","-0x1.6a537325c76cep+13","0x1.d11c4ff76b5cdp+14","0x1.b9b41da8ca291p+13"]}]},{"name":"earth_moon","cases":[{"epoch":"-0x1.39e3p+15","state":["-0x1.931d9973a300cp+34","0x1.ee1bf3cc427a6p+36","0x1.acbbc62d6ea98p+35","-0x1.d121dc1e8206ap+14","-0x1.405562f3a7a2ep+12","-0x1.160bab4493478p+11"]},{"epoch":"-0x1p-1","state":["-0x1.6482c3cf1821bp+34","0x1.f016ab0edfb51p+36","0x1.ae28f5c1d0f24p+35","-0x1.d2d51a6f21782p+14","-0x1.1c32d588b069bp+12","-0x1.ecd96511d2ecfp+10"]},{"epoch":"0x0p+0","state":["-0x1.77bac61044911p+34","0x1.ef56645c8226ep+36","0x1.ad823d673080ap+35","-0x1.d22413e42cb29p+14","-0x1.2b2d841d1f46p+12","-0x1.0369c41c1638ap+11"]},{"epoch":"0x1p-1","state":["-0x1.8aeb4c43bfa5ep+34","0x1.ee8c3fd651a6cp+36","0x1.acd2f6e47b318p+35","-0x1.d169c35adf7dcp+14","-0x1.3a2254093ebf7p+12","-0x1.1061bebcbe655p+11"]},{"epoch":"0x1.ecp+6","state":["-0x1.9bc0617fc7bfbp+36","-0x1.5eb12c2c894f4p+36","-0x1.3015b3cc72e86p+35","0x1.351734360e3f4p+14","-0x1.3a93e158a6555p+14","-0x1.10c57a1ee44aep+13"]},{"epoch":"0x1.1d5bp+15","state":["-0x1.722d2fedb81adp+34","0x1.efa14e646d6b2p+36","0x1.ad8006f6b8082p+35","-0x1.d25141f1a6405p+14","-0x1.270208697f1c1p+12","-0x1.ff1af8531dbe8p+10"]}]},{"name":"mars","cases":[{"epoch":"-0x1.39e3p+15","state":["-0x1.cc139ab2f7085p+37","0x1.33b68aecabe93p+33","0x1.560cd3e31d7bap+33","-0x1.c51952d5441c6p+8","-0x1.3a79f940c8426p+14","-0x1.201043114496fp+13"]},{"epoch":"-0x1p-1","state":["0x1.834fbb6662295p+37","-0x1.bab8645a40423p+30","-0x1.81e1287ac4d19p+32","0x1.64d7ceda2d72ep+10","0x1.75b566edc7bdep+14","0x1.559c3c16c1d85p+13"]},{"epoch":"0x0p+0","state":["0x1.836bc58621185p+37","-0x1.88bf92b1aaca9p+29","-0x1.65b9fd2942a08p+32","0x1.43c03a7c9cea7p+10","0x1.75b8d5e47e2cep+14","0x1.55bc03eac683bp+13"]},{"epoch":"0x1p-1","state":["0x1.838515b54728dp+37","0x1.8fd1b72681167p+27","-0x1.49904d08d5761p+32","0x1.22ab09e41c452p+10","0x1.75b9a3519e69fp+14","0x1.55d95fd0858fp+13"]},{"epoch":"0x1.ecp+6","state":["0x1.1d1f7f185647ap+36","0x1.6c3de06e0275ap+37","0x1.466bf18cd8eddp+36","-0x1.56231bceb4a1bp+14","0x1.1b633d1f2aa77p+13","0x1.28f63f53a7532p+12"]},{"epoch":"0x1.1d5bp+15","state":["0x1.505554c558f21p+36","0x1.6046eb6dc0127p+37","0x1.3a2cc621fb93cp+36","-0x1.4ce5353a33af2p+14","0x1.478dff4f92dcap+13","0x1.5030313292b41p+12"]}]},{"name":"jupiter","cases":[{"epoch":"-0x1.39e3p+15","state":["0x1.fabf21d8dfa31p+37","-0x1.3428deea8e003p+39","-0x1.0e6c2853c79a6p+38","0x1.798ac4104ee81p+13","0x1.33193f10771b4p+12","0x1.c4eaf89fe8892p+10"]},{"epoch":"-0x1p-1","state":["0x1.170c33360771fp+39","0x1.7c736a63e42afp+38","0x1.2af48d8d9c871p+37","-0x1.ed51238366e14p+12","0x1.3e97921182684p+13","0x1.1d237ce82f3f2p+12"]},{"epoch":"0x0p+0","state":["0x1.16e387c65c0e6p+39","0x1.7cdc641123232p+38","0x1.2b528235623bap+37","-0x1.edd74f742e80ep+12","0x1.3e69ccfc15c5dp+13","0x1.1cff842fb892cp+12"]},{"epoch":"0x1p-1","state":["0x1.16bad14954f1ap+39","0x1.7d454ea65707cp+38","0x1.2bb06b0003129p+37","-0x1.ee5d6673ae65cp+12","0x1.3e3bfbc70695cp+13","0x1.1cdb809075fd1p+12"]},{"epoch":"0x1.ecp+6","state":["0x1.d5e8db3be58ebp+38","0x1.da2ce4d8fd22bp+38","0x1.7f9966663b41cp+37","-0x1.322640df1c0cap+13","0x1.0d29c7a79550dp+13","0x1.eb52932cadb0dp+11"]},{"epoch":"0x1.1d5bp+15","state":["-0x1.764e4c157978ep+39","-0x1.edcaece91937dp+36","-0x1.15aa57d4edf71p+35","0x1.fb3f1a4048bf5p+10","-0x1.6072081794bc5p+13","-0x1.312c115e5d37ep+12"]}]},{"name":"saturn","cases":[{"epoch":"-0x1.39e3p+15","state":["-0x1.174914467c412p+40","0x1.1e7fcd3cf3b54p+39","0x1.1c6b5dd345da3p+38","-0x1.4b74ee3c86ea5p+12","-0x1.eaf605d50abdap+12","-0x1.78db686c5ebb9p+11"]},{"epoch":"-0x1p-1","state":["0x1.be94ef60278f2p+39","0x1.ade48a292a819p+39","0x1.3cb37702e266dp+38","-0x1.d03c12b21a08ap+12","0x1.7e14af5be8667p+12","0x1.638e66dfb7529p+11"]},{"epoch":"0x0p+0","state":["0x1.be6ead8171e84p+39","0x1.ae04045597fc2p+39","0x1.3cd0c20b0bec4p+38","-0x1.d05e37e3657d4p+12","0x1.7df3c27f844eep+12","0x1.637624d85b839p+11"]},{"epoch":"0x1p-1","state":["0x1.be4868d221a29p+39","0x1.ae237bcb4ffcfp+39","0x1.3cee0b13684e6p+38","-0x1.d0805a79622b4p+12","0x1.7dd2d2fc6cacdp+12","0x1.635de06a567a4p+11"]},{"epoch":"0x1.ecp+6","state":["0x1.9865cacccb877p+39","0x1.caf92e4d74ed8p+39","0x1.58021e9b7472fp+38","-0x1.eff223f11ff4fp+12","0x1.5d187aa88b1b2p+12","0x1.4b0acf2147721p+11"]},{"epoch":"0x1.1d5bp+15","state":["-0x1.3ec8fd3a6ce64p+40","-0x1.a1190638b492ep+38","-0x1.d5478a1a19aa4p+36","0x1.3fc79d3e610a1p+11","-0x1.08186d64f534cp+13","-0x1.c250e8124375fp+11"]}]},{"name":"uranus","cases":[{"epoch":"-0x1.39e3p+15","state":["-0x1.232843a4f46b5p+41","-0x1.f4cf818de74c5p+39","-0x1.959e8500be382p+38","0x1.609cb75fd439dp+11","-0x1.72f3aa76dbfe3p+12","-0x1.49f91344dd5dfp+11"]},{"epoch":"-0x1p-1","state":["0x1.f6950e6cf4b8ap+40","-0x1.b3b0e6d8ab267p+40","-0x1.8bde9851ecd1bp+39","0x1.21df8f05953b7p+12","0x1.0a60ec387e1bep+12","0x1.c24402f2f0bb3p+10"]},{"epoch":"0x0p+0","state":["0x1.f6a0ff82f1471p+40","-0x1.b3a5ed43a67f7p+40","-0x1.8bd551c3fbe84p+39","0x1.21d7f542a1cffp+12","0x1.0a674f297180ep+12","0x1.c24fa35b54485p+10"]},{"epoch":"0x1p-1","state":["0x1.f6acf04914b05p+40","-0x1.b39af36ad3f41p+40","-0x1.8bcc0af871088p+39","0x1.21d05b5d13b2bp+12","0x1.0a6db1f9459c6p+12","0x1.c25b438faac7ep+10"]},{"epoch":"0x1.ecp+6","state":["0x1.00faa115dafebp+41","-0x1.a8fb1b257c0c1p+40","-0x1.82cf4b2054bp+39","0x1.1a75f82aeca39p+12","0x1.10766cff18139p+12","0x1.cd5b12f4f6876p+10"]},{"epoch":"0x1.1d5bp+15","state":["0x1.488846768b956p+41","0x1.a8c44c2693e22p+39","0x1.4ef704bda963bp+38","-0x1.1d35295ba2745p+11","0x1.5ca1476ff8d58p+12","0x1.356aa7d0e5bc6p+11"]}]},{"name":"neptune","cases":[{"epoch":"-0x1.39e3p+15","state":["0x1.b85d903b26937p+40","0x1.b5481378cc155p+41","0x1.5b01962ab5f5bp+40","-0x1.3503dc6534cep+12","0x1.09449261464efp+11","0x1.efe0445b48812p+9"]},{"epoch":"-0x1p-1","state":["0x1.24bebc0c9b27dp+41","-0x1.903d198da6b72p+41","-0x1.5637329206f05p+40","0x1.1723b617a5e06p+12","0x1.690c5f9311d35p+11","0x1.0bd1991dc58f3p+10"]},{"epoch":"0x0p+0","state":["0x1.24c47c0aacb95p+41","-0x1.90396188382c6p+41","-0x1.56347060fc579p+40","0x1.172112350cf49p+12","0x1.691311f174a19p+11","0x1.0bd7557601045p+10"]},{"epoch":"0x1p-1","state":["0x1.24ca3bfb282f3p+41","-0x1.9035a970efb98p+41","-0x1.5631ae20aef98p+40","0x1.171e6e4caee7cp+12","0x1.6919c4581684bp+11","0x1.0bdd11db4e8aep+10"]},{"epoch":"0x1.ecp+6","state":["0x1.2a447bcbfdcd8p+41","-0x1.8c9e606b3dd4ap+41","-0x1.5386d25eb20f8p+40","0x1.149093cac2ab5p+12","0x1.6f7d45ae2e1fbp+11","0x1.1157f75dc12f4p+10"]},{"epoch":"0x1.1d5bp+15","state":["-0x1.fa16905239157p+41","0x1.0030c71fd25cfp+40","0x1.041feb6cd8b69p+39","-0x1.797957e8c9635p+10","-0x1.2e316be46c2dap+12","-0x1.e56988cd14444p+10"]}]},{"name":"pluto","cases":[{"epoch":"-0x1.39e3p+15","state":["0x1.39293ca569e27p+41","0x1.7e0544fabb10dp+42","0x1.200b23ad8c188p+40","-0x1.b54bdfd148ae6p+11","0x1.5c17b4147a5ffp+9","0x1.3e8c24ce10889p+10"]},{"epoch":"-0x1p-1","state":["-0x1.5812fddcfdbadp+40","-0x1.e73f349e7d955p+41","-0x1.90ba03f782e1fp+39","0x1.47bfc952a5984p+12","-0x1.e83a66cd596c6p+10","-0x1.11d3fa9d4d825p+11"]},{"epoch":"0x0p+0","state":["-0x1.58057d1021e65p+40","-0x1.e741b83e45a08p+41","-0x1.90c54bf954899p+39","0x1.47c1238154929p+12","-0x1.e82a2ffc24b7p+10","-0x1.11d25a7a77098p+11"]},{"epoch":"0x1p-1","state":["-0x1.57f7fc3490221p+40","-0x1.e7443bc8c76cfp+41","-0x1.90d093ea4f037p+39","0x1.47c27da705474p+12","-0x1.e819f8f4c6994p+10","-0x1.11d0ba40d0d9fp+11"]},{"epoch":"0x1.ecp+6","state":["-0x1.4b054249ab145p+40","-0x1.e9a2454522c82p+41","-0x1.9b946c5bcb421p+39","0x1.49054702fd9fap+12","-0x1.d88eac71b5554p+10","-0x1.103bfe1570d86p+11"]},{"epoch":"0x1.1d5bp+15","state":["0x1.597e0a86216a5p+42","0x1.efea5abfeae81p+41","-0x1.abb5a80bb0f6fp+38","-0x1.a7fcdfd401e21p+10","0x1.722e39cbb28fdp+11","0x1.669872ed6adcfp+10"]}]}],
"threshold_cases":[{"threshold":"0x1.4f8b588e368f1p-17","state":["0x1.80d652137031fp+36","0x1.e026c2bd9a845p+34","0x1.da5dad30349cdp+32","-0x1.4e473fe1fec6bp+13","0x1.d5b3dafe66f19p+14","0x1.bbc7dc29fdfc5p+13"]},{"threshold":"0x1p-1","state":["0x1.7eda869c156f8p+36","0x1.cf0b61c5e5f8ap+34","0x1.918242552dbb3p+33","-0x1.568bbd523eafdp+13","0x1.dcd1c70715496p+14","0x1.9d73ebf4cacb6p+13"]}]
}