{
"schema_version":1,
"upstream_commit":"53b1ca3ce5f8c223f96819b2ea9ba16c3719e63e",
"generator":"oracle/phase8_oracle.cpp",
"bodies":[{"name":"mercury","body_mu":"0x1.409b988ap+44","radius":"0x1.29dap+21","safe_radius":"0x1.47a3p+21","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.af74df782bfdep+35","0x1.a510770b8bfdep-3","0x1.f5a088b1113b8p-4","0x1.b220c06be6d06p-1","0x1.fe58dd4e847e8p-2","0x1.da01332385915p-1"],"state":["-0x1.d67909a32bd68p+34","0x1.172bf1bae5f77p+35","0x1.638ddeebd8402p+32","-0x1.6fe0db06a6834p+15","-0x1.cb664820ecf48p+14","0x1.e80c4f77644e4p+10"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.af74fa7ee23dp+35","0x1.a51a752a364d2p-3","0x1.f533b0f94a0ep-4","0x1.b102066d9de55p-1","0x1.01ba430160547p-1","0x1.17f35a83721p+1"],"state":["-0x1.afc453383c0e2p+35","-0x1.6a9b627ca0b3cp+34","0x1.8f4461a762498p+31","0x1.12ea0942a6fd5p+13","-0x1.4e26d8ff113d8p+15","-0x1.0ca16bebc0053p+12"]},{"epoch":"0x0p+0","elements":["0x1.af7515859888ap+35","0x1.a5247348e5337p-3","0x1.f4c6d94150e17p-4","0x1.afe34c6ed1452p-1","0x1.0448175caabf7p-1","0x1.8734f8364e5b4p+1"],"state":["-0x1.39b283f4e6a44p+34","-0x1.eec5f7d0cf388p+35","-0x1.a0575f54742ecp+31","0x1.1e5995f3823ccp+15","-0x1.800d51858bd6fp+13","-0x1.11020559e0765p+12"]},{"epoch":"0x1.c89p+12","elements":["0x1.af751aed604a9p+35","0x1.a52672ec37cd3p-3","0x1.f4b1145bdc856p-4","0x1.afa9f3a1c2e88p-1","0x1.04cadc598fd9cp-1","-0x1.8736bef46170ep+1"],"state":["-0x1.1a5fb7b37197p+33","-0x1.00d36e48733bfp+36","-0x1.1bfaefb3b164fp+32","0x1.2caeca8a5c283p+15","-0x1.03b97e5199aeep+12","-0x1.e3c59d6ed90efp+11"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.af75230924206p+35","0x1.a529726a262a1p-3","0x1.f4906ca239aabp-4","0x1.af53ed6d737b3p-1","0x1.058f061e52b7bp-1","0x1.9e8cadef43ae3p-1"],"state":["-0x1.90124abf150e9p+34","0x1.2a8657e4dbad8p+35","0x1.55ec5c094c936p+32","-0x1.88edf425c97fap+15","-0x1.8a52b061ef2e3p+14","0x1.3e54e4198ae54p+11"]}]},{"name":"venus","body_mu":"0x1.2775214c0ep+48","radius":"0x1.71628p+22","safe_radius":"0x1.9652c00000001p+22","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.931b7bdf1f6c3p+36","0x1.c1808c238e8acp-8","0x1.e59662e62cccdp-5","0x1.59171c20eae14p+0","0x1.e5c84d89d35cbp-1","0x1.36cb062d19353p-2"],"state":["-0x1.56919489492e7p+36","0x1.9c5faef13395ap+35","0x1.687eef67c5976p+32","-0x1.1c73bb856fea2p+14","-0x1.d78c02015d79bp+14","0x1.48faf8dc5961fp+9"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.931c0a4e9ab92p+36","0x1.becf86aa91f0ep-8","0x1.e57982fa7dddp-5","0x1.57d97c98f4f75p+0","0x1.e849affca548p-1","-0x1.4889f1e8e96d9p+1"],"state":["0x1.860b94e0319bcp+36","-0x1.afaebd2c93b3ap+34","-0x1.7fd7003e53cecp+32","0x1.1e1e2260ae60fp+13","0x1.0677fb3760ad4p+15","-0x1.3d826d677b89p+6"]},{"epoch":"0x0p+0","elements":["0x1.931c98be16476p+36","0x1.bc1e813058d6dp-8","0x1.e55ca30ec1a9cp-5","0x1.569bdd106d273p+0","0x1.eacb12709dd1fp-1","0x1.c052c1a172793p-1"],"state":["-0x1.907f56e5ae78dp+36","-0x1.9241901a5c23p+31","0x1.6f218c9b60bfbp+32","0x1.bd3496439f16p+9","-0x1.12ad1f4dfde72p+15","-0x1.09f139a9836d8p+9"]},{"epoch":"0x1.c89p+12","elements":["0x1.931cb53afbb49p+36","0x1.bb94b253d6235p-8","0x1.e556dca20c1e6p-5","0x1.565c564fefb1bp+0","0x1.eb4b5a3ac8097p-1","-0x1.1cca9f5556f1cp+1"],"state":["0x1.930dcaa404b3fp+36","0x1.d4356cb5eaedp+32","-0x1.6db6957c3ab26p+32","-0x1.4eadcef41f2d4p+11","0x1.0fa1ef1a95a1fp+15","0x1.3bcb9d13707d5p+9"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.931cdff6d3608p+36","0x1.bac5f9a024624p-8","0x1.e54e32e5214dap-5","0x1.55fd0b12cfaa3p+0","0x1.ec0bc8284e03ap-1","0x1.4e5ffc2be6efp+1"],"state":["0x1.3c04cffbc4cb6p+34","-0x1.8d8f76f878484p+36","-0x1.41730352f85f2p+31","0x1.0a843909e73ap+15","0x1.a30d2c531fd9ep+12","-0x1.d4cd75f5179cep+10"]}]},{"name":"earth","body_mu":"0x1.6a8665bda54p+48","radius":"0x1.85484p+22","safe_radius":"0x1.ac35e00000001p+22","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.16a5353bc768dp+37","0x1.133c662014399p-6","0x1.d9964eb515375p-12","0x0p+0","0x1.c90a8e6ceb542p+0","0x1.0c88d195eedd6p-6"],"state":["-0x1.f59b5762f92b5p+34","0x1.0ab18592cf3b3p+37","0x1.ed5e9802139cap+25","-0x1.ccbd51ad741bep+14","-0x1.b0c2df91292a2p+12","-0x1.904b14f07d947p+1"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.16a59bdc2f58ap+37","0x1.128430ad4471ap-6","0x1.d94f692c975c8p-13","0x0p+0","0x1.ca7c500fc1557p+0","-0x1.307634d32a086p-6"],"state":["-0x1.b6d7f2255601fp+34","0x1.0c6e65003119fp+37","0x1.f04b3d83eea2p+24","-0x1.cfa3387fec4a8p+14","-0x1.7b9458f567d15p+12","-0x1.5ee56bef603c8p+0"]},{"epoch":"0x0p+0","elements":["0x1.16a6027c9777ap+37","0x1.11cbfb3a200c1p-6","-0x1.1b97d54da2a1fp-22","0x0p+0","0x1.cbee11b3412f9p+0","-0x1.b686c00c0488ep-5"],"state":["-0x1.77c1de987340ep+34","0x1.0df148099059cp+37","-0x1.2b09d4dfae3f2p+15","-0x1.d22422fa0e829p+14","-0x1.461f25f8e9a3ap+12","0x1.6945db1461476p-10"]},{"epoch":"0x1.c89p+12","elements":["0x1.16a6170337854p+37","0x1.11a7237a9730cp-6","-0x1.7d51358d82f17p-15","0x0p+0","0x1.cc3805bf0c1bap+0","-0x1.d2a2515ea5605p-5"],"state":["-0x1.72c9d90eb4e53p+34","0x1.0e0db21539e55p+37","-0x1.92400ce1b35f5p+22","-0x1.d25140419b317p+14","-0x1.41ed6ecd80e9p+12","0x1.df847d658ec7p-3"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.16a635cd837d4p+37","0x1.116fdf365a941p-6","-0x1.daff6fc1fc6c3p-14","0x0p+0","0x1.cca6f51bce061p+0","-0x1.b414f87a8808p-5"],"state":["-0x1.7e8075de3373fp+34","0x1.0dcd269d09fbap+37","-0x1.f49b0ec48816bp+23","-0x1.d1dfd1e80de6p+14","-0x1.4beaf5b8bef96p+12","0x1.33ee1d8ab2459p-1"]}]},{"name":"mars","body_mu":"0x1.379d5dcfcp+45","radius":"0x1.9eac4p+21","safe_radius":"0x1.c823e00000001p+21","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.a89173125e39ep+37","0x1.7de5848681ef1p-4","0x1.0aca063dd6079p-5","0x1.c018dbe845d8fp-1","-0x1.4f003cdd8f48dp+0","-0x1.eaaf667881a7ap+0"],"state":["-0x1.3171304294e1ep+37","-0x1.352fc1ead3616p+37","0x1.2f08fbd4f9bdp+29","0x1.1c0dad30dc39bp+14","-0x1.d3f0e0d0df7eep+13","-0x1.7fa4a4af7e56p+9"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.a892c45a05ce1p+37","0x1.7e382a073882ep-4","0x1.09a0689cd9666p-5","0x1.bd7b934507488p-1","-0x1.4bb548c27b53ep+0","-0x1.aac6f885d01bap-1"],"state":["0x1.e51e88f63dbc2p+35","-0x1.78d917caad8f6p+37","-0x1.5c6d4517f1022p+32","0x1.76f39f2de20b1p+14","0x1.28ae2e564f2cep+13","-0x1.8c6cea46a9e68p+8"]},{"epoch":"0x0p+0","elements":["0x1.a89415a1adfd4p+37","0x1.7e8acf88150d6p-4","0x1.0876cafb540fbp-5","0x1.bade4aa09548fp-1","-0x1.486a54a5e4299p+0","0x1.9c353e7fc1f37p-2"],"state":["0x1.83684ba2ab7dep+37","-0x1.763b94ad766ep+31","-0x1.349f4bb7b4e1ap+32","0x1.443a36eddb15p+10","0x1.9adda9a57046fp+14","0x1.037af60f5fbb3p+9"]},{"epoch":"0x1.c89p+12","elements":["0x1.a8945916e243ap+37","0x1.7e9b5725e9db4p-4","0x1.083b44a36b923p-5","0x1.ba586e5c4fb13p-1","-0x1.47c1bc3e775eep+0","-0x1.11326e2276de4p+1"],"state":["-0x1.6fd22365922b4p+37","-0x1.eda751f51cf6fp+36","0x1.ed2060c4d6d73p+30","0x1.c2407f05b68f4p+13","-0x1.19feefe67d472p+14","-0x1.6dd8fd5d0be82p+9"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.a894be47deaaap+37","0x1.7eb422dca8d6dp-4","0x1.07e1fa1514fcep-5","0x1.b98fa19ea5c0ep-1","-0x1.46c4d4b092febp+0","-0x1.34bfc7a581bebp+1"],"state":["-0x1.adf7c53c68813p+37","-0x1.18e1024328addp+36","0x1.e4f6cf9fe4cb8p+31","0x1.0732ec69983cp+13","-0x1.477d059b8ab73p+14","-0x1.42c0a7b0df3d6p+9"]}]},{"name":"jupiter","body_mu":"0x1.c214bb40e53cp+56","radius":"0x1.10b868p+26","safe_radius":"0x1.32cf75p+29","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.6a75987699b15p+39","0x1.8e8d28e083605p-5","0x1.760c9549eb7a3p-6","0x1.bf17b6f38324fp+0","-0x1.7f2f2c8bcb53dp+0","0x1.53f6bbb65e31p+0"],"state":["-0x1.3a68ef9e4edap+32","0x1.6568d2ef77703p+39","-0x1.5ef95574cdd6bp+31","-0x1.9d54355654194p+13","0x1.07ce7cde90534p+9","0x1.27435812d8f51p+8"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.6a7386936fbbp+39","0x1.8d773b5333adp-5","0x1.7586199f46bb4p-6","0x1.c001d6772adc8p+0","-0x1.7f26363378055p+0","-0x1.35a44f9bec946p+1"],"state":["-0x1.a47d855b9e5f8p+38","-0x1.36c532da5efbep+39","0x1.7ec093ba6c47dp+33","0x1.4d4cd7890792bp+13","-0x1.a3932d221efep+12","-0x1.a8066d6007381p+7"]},{"epoch":"0x0p+0","elements":["0x1.6a7174b044d14p+39","0x1.8c614dc5644f5p-5","0x1.74ff9df464361p-6","0x1.c0ebf5fb3e1f6p+0","-0x1.7f1d3fdb2098fp+0","0x1.820cc20e055bcp-2"],"state":["0x1.16b09ff11b81dp+39","0x1.99f59c7c3f6acp+38","-0x1.c5a9e919234ecp+33","-0x1.ee02ceff6ed72p+12","0x1.5c4106c2afcafp+13","0x1.05b3379ca3dadp+7"]},{"epoch":"0x1.c89p+12","elements":["0x1.6a710ab54ae06p+39","0x1.8c29b7787db92p-5","0x1.74e4b83b8d9bdp-6","0x1.c11ac969ad287p+0","-0x1.7f1b74f9715a1p+0","-0x1.ba33713d4495dp+0"],"state":["0x1.26ad35341265dp+36","-0x1.6a794020b2ab1p+39","0x1.5cda9e2280492p+30","0x1.914da3f124b9cp+13","0x1.e3079a8fe19dap+10","-0x1.2770ad495b2b2p+8"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.6a706bbaf9853p+39","0x1.8bd6550c4ab9cp-5","0x1.74bc5f2de23b5p-6","0x1.c1610760f41fep+0","-0x1.7f18c49ee4327p+0","0x1.c973dc7ab5e0ap+0"],"state":["-0x1.4e2dad962152ap+38","0x1.44ed3d02496e2p+39","0x1.30aef2647b30ep+32","-0x1.70413d11c6d0ep+13","-0x1.4f820330c93a6p+12","0x1.1dffe430d11dep+8"]}]},{"name":"saturn","body_mu":"0x1.0d846d5e167cp+55","radius":"0x1.cc4808p+25","safe_radius":"0x1.fa4f3c0000001p+25","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.4c423f344dbedp+40","0x1.c19708c33fdfbp-5","0x1.62e30ff882648p-5","0x1.fe6d9d8558b57p+0","-0x1.73cb4bc335688p-2","0x1.397056dc68277p-1"],"state":["-0x1.8aac0e936d346p+39","0x1.f02d998519538p+39","0x1.b140b2e8e1631p+33","-0x1.f8de378ddc573p+12","-0x1.799f11007fbfp+12","0x1.aad187741a136p+8"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.4c37188f5bef9p+40","0x1.bd69b46b2150ap-5","0x1.6329ecf4da03p-5","0x1.fd236dd6cbd46p+0","-0x1.761f695fb1852p-2","0x1.87013b24d97fap+1"],"state":["-0x1.7af08d5cf7ff2p+35","-0x1.5df074cc174d7p+40","0x1.a878af01e3986p+34","0x1.1d0b08d69770cp+13","-0x1.68fe7d7f26c23p+8","-0x1.63462c14ec212p+8"]},{"epoch":"0x0p+0","elements":["0x1.4c2bf1ea6501p+40","0x1.b93c6011178ffp-5","0x1.6370c9f1522e8p-5","0x1.fbd93e27a747cp+0","-0x1.787386fd3f74ep-2","-0x1.a481754e04d5ap-1"],"state":["0x1.bf03f3352f5a9p+39","0x1.c7d9259a040bdp+39","-0x1.9b813636dc10fp+35","-0x1.cf24f4d2248c7p+12","0x1.a56e5dbd41b5dp+12","0x1.625da57be69cp+7"]},{"epoch":"0x1.c89p+12","elements":["0x1.4c29b6f899959p+40","0x1.b86680e5bd32fp-5","0x1.637ef63d3ec9cp-5","0x1.fb973427bb825p+0","-0x1.78eac0f2af1ebp-2","-0x1.65fc78dc46114p+1"],"state":["0x1.0872ee6bc41f7p+39","-0x1.42d2e0624b39ap+40","0x1.68651c5f441fp+30","0x1.06dd1cdd36204p+13","0x1.c6517b0e26cacp+11","-0x1.8de42c7fb78dp+8"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.4c265e83ec7eap+40","0x1.b725ae6743d1p-5","0x1.639438ee9493ep-5","0x1.fb342400365e5p+0","-0x1.799d99f894fadp-2","-0x1.5800758586fbbp+1"],"state":["0x1.4b026beae3451p+39","-0x1.3212fc1de4f82p+40","-0x1.495b657da7f9p+32","0x1.f22d38330aaebp+12","0x1.1d9f712303e55p+12","-0x1.8ca4a1f5313d4p+8"]}]},{"name":"uranus","body_mu":"0x1.4958e8bf1fep+52","radius":"0x1.82fe5p+24","safe_radius":"0x1.a9b1580000001p+24","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.4e41c5bb307d7p+41","0x1.83da745e96a07p-5","0x1.bca85a930a53cp-7","0x1.4a54f4cd2c6c4p+0","0x1.adda54df349bp+0","0x1.e411cf851324ap-4"],"state":["-0x1.3e0a85c234674p+41","0x1.12a56949f3f64p+37","0x1.0d8fe699c7a56p+35","-0x1.a6480edb4ba9cp+8","-0x1.bc9cb9e207d72p+12","-0x1.53684ca4f37c6p+4"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.4e3906c14e8dp+41","0x1.837e3ecd6c584p-5","0x1.bb44adedb384p-7","0x1.4a8575a792093p+0","0x1.af7c8dd00446ap+0","0x1.6340443fb8d76p+0"],"state":["-0x1.c31cad4b19104p+39","-0x1.36cc5906bc8dcp+41","0x1.3901a6943d2d2p+31","0x1.8c8de59229247p+12","-0x1.49e67fe8e6c62p+11","-0x1.716cc9aab3733p+6"]},{"epoch":"0x0p+0","elements":["0x1.4e3047c76898p+41","0x1.8322093c17b4fp-5","0x1.b9e10147b9537p-7","0x1.4ab5f6820dedcp+0","0x1.b11ec6c1940e7p+0","0x1.44eb5bf167dc5p+1"],"state":["0x1.f667fde790a83p+40","-0x1.de8abb4a71ccfp+40","-0x1.094bb3dfadd5dp+35","0x1.223b22e157c41p+12","0x1.2036ef6584927p+12","-0x1.58a2c866e1217p+5"]},{"epoch":"0x1.c89p+12","elements":["0x1.4e2e87f8b0b62p+41","0x1.830f97fdef8ecp-5","0x1.b999de407d3e2p-7","0x1.4abfa9f25b7c9p+0","0x1.b1726c54c6b77p+0","-0x1.2fc1572d6e308p+1"],"state":["0x1.1a7c2c4683fe8p+41","0x1.8ca22557b19bap+40","-0x1.76582bc7ff20dp+34","-0x1.ef12fb0a04fe5p+11","0x1.4857f2bc48454p+12","0x1.1b36753703267p+6"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.4e2be83ac82d7p+41","0x1.82f3edce23a2dp-5","0x1.b92f28772d61ep-7","0x1.4ace37463d7dbp+0","0x1.b1efe628095b9p+0","-0x1.2166e570ca403p-4"],"state":["-0x1.365eec55846b4p+41","0x1.1c19f1edd1164p+39","0x1.11fa75366f9dcp+35","-0x1.87fe33d0d23bep+10","-0x1.b29414c1bb414p+12","-0x1.5cab2762b632ap+2"]}]},{"name":"neptune","body_mu":"0x1.849c9728aaap+52","radius":"0x1.77b3bp+24","safe_radius":"0x1.9d45a80000001p+24","cases":[{"epoch":"-0x1.1d57ffbe76c8bp+16","elements":["0x1.05d62872a4599p+42","0x1.1625b5c0d3bfbp-7","0x1.f9f3359cc35f8p-6","0x1.266e77a200d0cp+1","-0x1.8113d5577c75ap+0","-0x1.8cf06873f93c7p+1"],"state":["-0x1.61aadd77d94d8p+41","-0x1.87de82fc0a936p+41","0x1.0366a38968589p+37","0x1.f3e22652ee07cp+11","-0x1.c2edf18f80656p+11","-0x1.1d4f465a3d3fdp+4"]},{"epoch":"-0x1.1d58p+15","elements":["0x1.05d6be7a8cec3p+42","0x1.17d1efc9fa9ecp-7","0x1.fa0d1a42a0cd9p-6","0x1.266b8eec9a2ecp+1","-0x1.827eca0982b98p+0","0x1.756595ac5580cp-1"],"state":["0x1.a71cc52ef66cp+37","0x1.03c3f5c4a3439p+42","-0x1.69cadd64273edp+36","-0x1.5504fca7b7922p+12","0x1.374817ee04fp+8","0x1.dd24bbe760dc8p+6"]},{"epoch":"0x0p+0","elements":["0x1.05d7548275c3cp+42","0x1.197e29d3e6324p-7","0x1.fa26fee88a206p-6","0x1.2668a6373236ap+1","-0x1.83e9bebc2fb68p+0","-0x1.c384bda2720e6p+0"],"state":["0x1.24a3fca216d44p+41","-0x1.b3468a9d92b14p+41","0x1.1c1ca8305160bp+34","0x1.1790da896c51p+12","0x1.7eb3d8b0ad8bep+11","-0x1.4c3b676a96439p+7"]},{"epoch":"0x1.c89p+12","elements":["0x1.05d772844092ep+42","0x1.19d3cfa2c24dep-7","0x1.fa2c2cac9d2f1p-6","0x1.26681145122b6p+1","-0x1.843256955fb2fp+0","-0x1.fec17cc58529fp-1"],"state":["0x1.fd398aa5ba5aep+41","-0x1.baf8a2ac7fb26p+39","-0x1.2e8a0458228d1p+36","0x1.17a2d0b828f16p+10","0x1.4dbada81eccbcp+12","-0x1.0f75cb80d108fp+7"]},{"epoch":"0x1.1d5bfef9db22dp+14","elements":["0x1.05d79f87771efp+42","0x1.1a5449d8783e2p-7","0x1.fa33f169e8db5p-6","0x1.266731d747507p+1","-0x1.849f3ba0226cfp+0","0x1.5268ef88c265fp-3"],"state":["0x1.2f06bb40db97ap+41","0x1.a558a15bee8fcp+41","-0x1.f5204ff64a354p+36","-0x1.15a04793df1c6p+12","0x1.90af3159961dp+11","0x1.22e7e615bd54fp+5"]}]}]
}