astrodynamics-gnss 0.9.4

//! GENERATED — DO NOT EDIT BY HAND.
//!
//! Real-file SP3 0-ULP golden data for the `astrodynamics-gnss`
//! interpolation parity test. Emitted by
//! `parity/generator/sp3_golden_fixture.py` from the named public IGS
//! SP3 file `GRG0MGXFIN_20201760000_01D_15M_ORB.SP3` (provenance:
//! `parity/fixtures/sp3/PROVENANCE.md`), read with
//! `gnssanalysis.gn_io.sp3.read_sp3`, interpolated with the committed recipe:
//! scipy.interpolate.CubicSpline(x,y) defaults (not-a-knot, extrapolate=True, axis=0); per-axis position + 1-D clock; nodes = J2000 int64 seconds (gnssanalysis read_sp3 / datetime2j2000); values native SP3 km (position) / us (clock); km->m and us->s as single final multiplies (sp3_interp.position_m / clock_s)
//!
//! gnssanalysis 0.0.59, scipy 1.17.1, numpy 2.4.6.
//!
//! Node substrate is f64 bit patterns (exact); positions are METERS
//! (km spline * 1000), clocks SECONDS (us spline * 1e-6).

/// One golden interpolation case for a satellite.
pub(super) struct GoldenCase {
    pub query_seconds_j2000: u64,
    pub position_m_bits: [u64; 3],
    pub clock_s_bits: u64,
}

/// One satellite's full node substrate + golden cases.
pub(super) struct GoldenSat {
    pub prn: &'static str,
    /// J2000 integer-second node axis, as f64 bits.
    pub nodes_seconds_j2000: &'static [u64],
    /// Per-node ECEF position in km (X/Y/Z), as f64 bits.
    pub positions_km_bits: &'static [[u64; 3]],
    /// Per-node clock in microseconds, as f64 bits.
    pub clocks_us_bits: &'static [u64],
    pub cases: &'static [GoldenCase],
}

const G01_NODES: &[u64] = &[
    0x41c34255a0000000,
    0x41c3425762000000,
    0x41c3425924000000,
    0x41c3425ae6000000,
    0x41c3425ca8000000,
    0x41c3425e6a000000,
    0x41c342602c000000,
    0x41c34261ee000000,
    0x41c34263b0000000,
    0x41c3426572000000,
    0x41c3426734000000,
    0x41c34268f6000000,
    0x41c3426ab8000000,
    0x41c3426c7a000000,
    0x41c3426e3c000000,
    0x41c3426ffe000000,
    0x41c34271c0000000,
    0x41c3427382000000,
    0x41c3427544000000,
    0x41c3427706000000,
    0x41c34278c8000000,
    0x41c3427a8a000000,
    0x41c3427c4c000000,
    0x41c3427e0e000000,
    0x41c3427fd0000000,
    0x41c3428192000000,
    0x41c3428354000000,
    0x41c3428516000000,
    0x41c34286d8000000,
    0x41c342889a000000,
    0x41c3428a5c000000,
    0x41c3428c1e000000,
    0x41c3428de0000000,
    0x41c3428fa2000000,
    0x41c3429164000000,
    0x41c3429326000000,
    0x41c34294e8000000,
    0x41c34296aa000000,
    0x41c342986c000000,
    0x41c3429a2e000000,
    0x41c3429bf0000000,
    0x41c3429db2000000,
    0x41c3429f74000000,
    0x41c342a136000000,
    0x41c342a2f8000000,
    0x41c342a4ba000000,
    0x41c342a67c000000,
    0x41c342a83e000000,
    0x41c342aa00000000,
    0x41c342abc2000000,
    0x41c342ad84000000,
    0x41c342af46000000,
    0x41c342b108000000,
    0x41c342b2ca000000,
    0x41c342b48c000000,
    0x41c342b64e000000,
    0x41c342b810000000,
    0x41c342b9d2000000,
    0x41c342bb94000000,
    0x41c342bd56000000,
    0x41c342bf18000000,
    0x41c342c0da000000,
    0x41c342c29c000000,
    0x41c342c45e000000,
    0x41c342c620000000,
    0x41c342c7e2000000,
    0x41c342c9a4000000,
    0x41c342cb66000000,
    0x41c342cd28000000,
    0x41c342ceea000000,
    0x41c342d0ac000000,
    0x41c342d26e000000,
    0x41c342d430000000,
    0x41c342d5f2000000,
    0x41c342d7b4000000,
    0x41c342d976000000,
    0x41c342db38000000,
    0x41c342dcfa000000,
    0x41c342debc000000,
    0x41c342e07e000000,
    0x41c342e240000000,
    0x41c342e402000000,
    0x41c342e5c4000000,
    0x41c342e786000000,
    0x41c342e948000000,
    0x41c342eb0a000000,
    0x41c342eccc000000,
    0x41c342ee8e000000,
    0x41c342f050000000,
    0x41c342f212000000,
    0x41c342f3d4000000,
    0x41c342f596000000,
    0x41c342f758000000,
    0x41c342f91a000000,
    0x41c342fadc000000,
    0x41c342fc9e000000,
];
const G01_POS_KM: &[[u64; 3]] = &[
    [0xc0c463041fa76534, 0x40d30d3881f969e4, 0xc0cca4dbed959a31],
    [0xc0c6f389f455a7d2, 0x40d3d1e1a86d71f3, 0xc0c824b084f8f8a5],
    [0xc0c9075d2e1ef73c, 0x40d47b7fe557de0d, 0xc0c3399034dad320],
    [0xc0ca9fa7d0e991ff, 0x40d4ff5bc6327ed8, 0xc0bbf1e3af20ea5b],
    [0xc0cbc1dfd66277c4, 0x40d553727da61e0c, 0xc0b0f3ee48a58b3f],
    [0xc0cc77801d8e8640, 0x40d56ee18398a655, 0xc096a83a8049667b],
    [0xc0cccd97f51697f2, 0x40d54a48c5197a25, 0x4096e4fc5692b3cc],
    [0xc0ccd4352f01754b, 0x40d4e01f1c58255b, 0x40b102bc57f3061c],
    [0xc0cc9dae70c1333c, 0x40d42cf5400fba88, 0x40bbff5d4013ec46],
    [0xc0cc3dd500d5e8d5, 0x40d32fa40535c9e6, 0x40c33ea09e90795f],
    [0xc0cbc9169b0ee49f, 0x40d1e963a95c853c, 0x40c82654d1d041cc],
    [0xc0cb5398b80ecfa7, 0x40d05dcadaa92e62, 0x40cca073ec918e32],
    [0xc0caf05725fe974a, 0x40cd256a95b78cca, 0x40d04c4f3b70ef56],
    [0xc0cab04fc37a3db4, 0x40c92025729b280f, 0x40d1fe69330d7386],
    [0xc0caa1c4a0ec7432, 0x40c4bf40eed02cd4, 0x40d35ee1efdc9c4e],
    [0xc0cacf9cc51116a9, 0x40c01920d1b71759, 0x40d4679377d0f1f5],
    [0xc0cb40ea6138fffc, 0x40b68c855bbbe879, 0x40d513f43e2d6239],
    [0xc0cbf89b7c914b16, 0x40a9816885d31338, 0x40d5612aa99fa11b],
    [0xc0ccf5581f42bb66, 0x408816271fff79c8, 0x40d54e175f394b7b],
    [0xc0ce318eef911cf3, 0xc099ea837329c348, 0x40d4db5655f7835a],
    [0xc0cfa3af1d3671ac, 0xc0af0fde4a59c066, 0x40d40b36fbf401c5],
    [0xc0d09f4642aed139, 0xc0b7fa58855da273, 0x40d2e1abf42352eb],
    [0xc0d178f49e59f2bb, 0xc0bfad40faeff5c7, 0x40d16433265add9c],
    [0xc0d2558f1eff9f88, 0xc0c341b5fbbd7b20, 0x40cf336e03eea20a],
    [0xc0d32aedf1fddebe, 0xc0c633ee7f130596, 0x40cb14d3dbfceb79],
    [0xc0d3ee7d0d6b228e, 0xc0c8a731f04577d9, 0x40c67f39dece5711],
    [0xc0d495a7ee781840, 0xc0ca99e89b280f13, 0x40c18725227d028a],
    [0xc0d51644c764ae00, 0xc0cc0ee993b3a68b, 0x40b8853c5143bf72],
    [0xc0d566fb112fd32c, 0xc0cd0d3ef60e0eb6, 0x40ab2336eb0b7c35],
    [0xc0d57fa1c31df762, 0xc0cd9fc3309c7ffe, 0x40831980cae642c0],
    [0xc0d55991deb52c9d, 0xc0cdd49bd0aed99d, 0xc0a1ab2105186db5],
    [0xc0d4efea81c714fd, 0xc0cdbc975ce18266, 0xc0b3e84baaac1095],
    [0xc0d43fc444d44567, 0xc0cd6a749bd8383b, 0xc0bea583950b955f],
    [0xc0d348524bd33d29, 0xc0ccf21a3c297bfa, 0xc0c46fa94c660a20],
    [0xc0d20af013cab820, 0xc0cc67c62c55c960, 0xc0c9350eb9cb6849],
    [0xc0d08b1bae5bc87e, 0xc0cbdf3c0fb224ab, 0xc0cd8e9d883ba344],
    [0xc0cd9cb97dfa00e2, 0xc0cb6afa263d816b, 0xc0d0b4e41d81f106],
    [0xc0c9b832553ac4f8, 0xc0cb1b7bb17481b2, 0xc0d25b07e8c47a18],
    [0xc0c57ab1f38c5437, 0xc0cafe8f5cb790fb, 0xc0d3b2a20ae53650],
    [0xc0c0f8f6f355cd92, 0xc0cb1ec796a6a012, 0xc0d4b5de1e2de871],
    [0xc0b89380746455eb, 0xc0cb8309ed63454a, 0xc0d560439fbe76c9],
    [0xc0ae14303b81b64e, 0xc0cc2e418e000863, 0xc0d5aec9abb8800f],
    [0xc0961a580baa582e, 0xc0cd1f37f1d81f10, 0xc0d59fe5f5dfeb8e],
    [0x408e3725b8561d43, 0xc0ce50959157abb9, 0xc0d53396a7c17a89],
    [0x40a9612e6cf41f21, 0xc0cfb90b2806af47, 0xc0d46b66cbbc2b95],
    [0x40b50cae2c881e47, 0xc0d0a5d15c78a6db, 0xc0d34a6ceda66128],
    [0x40bcb6af6f3b213e, 0xc0d17c1b0d130dfa, 0xc0d1d5439fcb0c02],
    [0x40c1c85b0a244630, 0xc0d25603b2e1693c, 0xc0d011fb9f666235],
    [0x40c4c2393b0813cb, 0xc0d3293b2862f599, 0xc0cc100ece1c5825],
    [0x40c741f1a85015c2, 0xc0d3eae611a11234, 0xc0c78040323358f3],
    [0x40c944dfbb59ddc2, 0xc0d4900b77a7008a, 0xc0c288479ff4fd6d],
    [0x40caccc53354c122, 0xc0d50e05e019b0ab, 0xc0ba7bb634a87e39],
    [0x40cbdfa89e98dcdb, 0xc0d55af36fa3fcca, 0xc0aee139906cca2e],
    [0x40cc878883cafb3b, 0xc0d56e2084988095, 0xc09081623d4f15e8],
    [0x40ccd1e592e1ef74, 0xc0d54068480e8c8b, 0x409d09c8c586876e],
    [0x40cccf280cae642c, 0xc0d4cc86fa871a3b, 0x40b2847d94185059],
    [0x40cc91e64ccee5ac, 0xc0d40f5a40208180, 0x40bd72d7ce63a5c2],
    [0x40cc2e13e878fabe, 0xc0d3080c6277c45d, 0x40c3ededfcd24e16],
    [0x40cbb822106ab14f, 0xc0d1b8285ee99a63, 0x40c8c813ed6ba8c6],
    [0x40cb441ab827fa1a, 0xc0d023959b845565, 0x40cd31c4373f316e],
    [0x40cae4c066ec9e23, 0xc0cca0f66c7eae5c, 0x40d08b75c4e2f380],
    [0x40caaabc767d34df, 0xc0c88e1802d9cf14, 0x40d232f063ae2542],
    [0x40caa3e4e82949a5, 0xc0c4227aa9930be1, 0x40d387ddef5ec80c],
    [0x40cadaa1dfc9ff93, 0xc0bee9af4f2f123c, 0x40d4844eaafff36b],
    [0x40cb557958d9b5e9, 0xc0b53bc867275686, 0x40d523f271c10d7c],
    [0x40cc16c5da836eb5, 0xc0a6ddaeba8c5868, 0x40d5642b0196d8f5],
    [0x40cd1c9aebcc6c55, 0xc07b6c12817763e5, 0x40d5441506dd69d3],
    [0x40ce60d7f141205c, 0x409ee88e8d5410f9, 0x40d4c487f672b884],
    [0x40cfd9680aa64c30, 0x40b0b4d63f67f4dc, 0x40d3e80d07fed203],
    [0x40d0bc55cd5f99c4, 0x40b90f4bc68661ae, 0x40d2b2cddeca2553],
    [0x40d19703382e44b7, 0x40c052ebf0fe047d, 0x40d12a7ba0a52696],
    [0x40d2734611dbca97, 0x40c3ae286fef7c24, 0x40ceac5ebf5d7881],
    [0x40d346e197bb7308, 0x40c68f729c0229a6, 0x40ca7c89a8694035],
    [0x40d4073b5043e532, 0x40c8f14e01d5c316, 0x40c5d860e147ae14],
    [0x40d4a9c6f51697f2, 0x40cad2bebe8bc16a, 0x40c0d4a3b66f9336],
    [0x40d524713cab81f9, 0x40cc37320b2c83ed, 0x40b70f0f445ed4a2],
    [0x40d56e05801b4352, 0x40cd263cfb3311a5, 0x40a82153445ed4a2],
    [0x40d57e8a8c7192ea, 0x40cdab34cda6e760, 0x406bc0499d0203e6],
    [0x40d54f935e529bae, 0x40cdd4a572de43ee, 0xc0a4b0d2a9f7b5af],
    [0x40d4dc810d51f81a, 0x40cdb3abf19d66ae, 0xc0b562511a11233e],
    [0x40d422b3c254a3c6, 0x40cd5b3b230b9dc3, 0xc0c00831ccc89b0f],
    [0x40d321a93526527a, 0x40ccdf51ca5bd945, 0xc0c51a802339c0ec],
    [0x40d1db07d2aa5c5f, 0x40cc54295e39713b, 0xc0c9d2742f2f9874],
    [0x40d0529652e72da1, 0x40cbcd64f102363b, 0xc0ce1bf293d102bc],
    [0x40cd1c4051a86940, 0x40cb5d47868fd19a, 0xc0d0f2588ad2567a],
    [0x40c92a8f9f9053a0, 0x40cb13f8d0cc35ce, 0xc0d28e3e8c7e2824],
    [0x40c4e291182235b5, 0x40cafedecadddf44, 0xc0d3dabd77318fc5],
    [0x40c059537518b0d1, 0x40cb281201c4fc1e, 0xc0d4d22eae1cde5d],
    [0x40b74b98fe8ab4fa, 0x40cb95f17d523b36, 0xc0d5704a670196d9],
    [0x40ab80586705c897, 0x40cc4ada47b24639, 0xc0d5b23ac5fbf834],
    [0x409105005f288484, 0x40cd450574aba387, 0xc0d596aa2a023209],
    [0xc09405134a87e38f, 0x40ce7e8e5532617c, 0xc0d51dcc5308bb90],
    [0xc0abb42757b41bfc, 0x40cfeda1345069a5, 0xc0d449620945f9df],
    [0xc0b61ffeb95e5aff, 0x40d0c268cddd6e05, 0xc0d31cb6ee807bbb],
    [0xc0bdaf5f5536933a, 0x40d199cadb2f661f, 0xc0d19c9929cfdd23],
    [0xc0c235a549e8815e, 0x40d273717f51efb7, 0xc0cf9e9555a3a084],
];
const G01_CLK_US: &[u64] = &[
    0x402ea1bc33f85511,
    0x402ea52630ec3116,
    0x402ea8828c36da88,
    0x402eabe1eb4202da,
    0x402eaf47d805e5f3,
    0x402eb2a66dbd72bd,
    0x402eb606fac6045c,
    0x402eb96aceaaf35e,
    0x402ebcd26fa3fcca,
    0x402ec03621fafc8b,
    0x402ec39e492bc2fc,
    0x402ec7041461b6d4,
    0x402eca715831f03d,
    0x402ecddc4007570c,
    0x402ed13a2df9378f,
    0x402ed4a16a487336,
    0x402ed807dd441355,
    0x402edb6b8f9b1316,
    0x402edecfc829cfdd,
    0x402ee231a4bdba0a,
    0x402ee58e0008637c,
    0x402ee8e6afcce1c6,
    0x402eec426351def0,
    0x402eef99c38b04ab,
    0x402ef2eee957470f,
    0x402ef64e26d4801f,
    0x402ef9aa3f034b0e,
    0x402efd031055b899,
    0x402f005d52c16df4,
    0x402f03b85e80bed7,
    0x402f0714983d7907,
    0x402f0a74e22a2c23,
    0x402f0dda8bd230ba,
    0x402f11355475a31a,
    0x402f14988094e5d6,
    0x402f17f7dfa00e28,
    0x402f1b5ed8d36b4c,
    0x402f1eb8d8234224,
    0x402f221858bc59b8,
    0x402f25696e58a32f,
    0x402f28c111ada76e,
    0x402f2c1b328b6d87,
    0x402f2f6db940fece,
    0x402f32c450268901,
    0x402f361ae70c1334,
    0x402f39641f644956,
    0x402f3cb945308bb9,
    0x402f4008e9b38d61,
    0x402f435c5b4aa971,
    0x402f46a22b3892ef,
    0x402f49f7d73c9258,
    0x402f4d4801f75105,
    0x402f509c7ffde721,
    0x402f53f290abb44e,
    0x402f574a558ea7ce,
    0x402f5aa2c2374795,
    0x402f5dfa871a3b15,
    0x402f6155714b9cb7,
    0x402f64b124d099e1,
    0x402f681d5c31593e,
    0x402f6b7fbefd0071,
    0x402f6ee158750c1c,
    0x402f72365cb35f3d,
    0x402f7586a8fc0d2c,
    0x402f78e0eb67c287,
    0x402f7c373f316e37,
    0x402f7f87ad080b67,
    0x402f82dbe7f2c301,
    0x402f862e4d1a6506,
    0x402f89819d2391d5,
    0x402f8cd3bf2f5558,
    0x402f90247021d10b,
    0x402f93760bf5d788,
    0x402f96c4e7253da7,
    0x402f9a0e6299524c,
    0x402f9d6451b93038,
    0x402fa0bf1a5ca298,
    0x402fa40ee06d9381,
    0x402fa760bf5d7881,
    0x402faac0c62e4d1a,
    0x402fae13d31b9b67,
    0x402fb16851223183,
    0x402fb4aba3875925,
    0x402fb7ff151e7536,
    0x402fbb4c7f349386,
    0x402fbe98fe69270b,
    0x402fc1e4b44a1f08,
    0x402fc52c7b890d5a,
    0x402fc87a4a48f96e,
    0x402fcbc6eb0b7c35,
    0x402fcf18c9fb6135,
    0x402fd2697aeddce8,
    0x402fd5b9628cbd12,
    0x402fd90d9d7774ac,
    0x402fdc5da6a44418,
    0x402fdfad2999567e,
];
const G01_CASES: &[GoldenCase] = &[
    GoldenCase {
        query_seconds_j2000: 0x41c342567a800000,
        position_m_bits: [0xc1652f3a0381d7f4, 0x4172facb057fcc93, 0xc169e5024b908340],
        clock_s_bits: 0x3ef01033df02f127,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c3425762800000,
        position_m_bits: [0xc1666a79bd24c787, 0x41735b29bd3660d5, 0xc16792847ca8e8e1],
        clock_s_bits: 0x3ef0111e9a48900c,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342aa9c400000,
        position_m_bits: [0x41652c5255e36fd7, 0xc172fa6c65180ac3, 0xc169e877c1ccd64a],
        clock_s_bits: 0x3ef064a98d03cf14,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fc08000000,
        position_m_bits: [0xc160bc1a21f97160, 0x4171be3b0b2b32be, 0xc1700e940d55773e],
        clock_s_bits: 0x3ef0b570e3c8c10e,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fd34000000,
        position_m_bits: [0xc162c7b69f9fdaa0, 0x41724a6e38404674, 0xc16d953fbfb7b6fc],
        clock_s_bits: 0x3ef0b69a008903b7,
    },
];

const G15_NODES: &[u64] = &[
    0x41c34255a0000000,
    0x41c3425762000000,
    0x41c3425924000000,
    0x41c3425ae6000000,
    0x41c3425ca8000000,
    0x41c3425e6a000000,
    0x41c342602c000000,
    0x41c34261ee000000,
    0x41c34263b0000000,
    0x41c3426572000000,
    0x41c3426734000000,
    0x41c34268f6000000,
    0x41c3426ab8000000,
    0x41c3426c7a000000,
    0x41c3426e3c000000,
    0x41c3426ffe000000,
    0x41c34271c0000000,
    0x41c3427382000000,
    0x41c3427544000000,
    0x41c3427706000000,
    0x41c34278c8000000,
    0x41c3427a8a000000,
    0x41c3427c4c000000,
    0x41c3427e0e000000,
    0x41c3427fd0000000,
    0x41c3428192000000,
    0x41c3428354000000,
    0x41c3428516000000,
    0x41c34286d8000000,
    0x41c342889a000000,
    0x41c3428a5c000000,
    0x41c3428c1e000000,
    0x41c3428de0000000,
    0x41c3428fa2000000,
    0x41c3429164000000,
    0x41c3429326000000,
    0x41c34294e8000000,
    0x41c34296aa000000,
    0x41c342986c000000,
    0x41c3429a2e000000,
    0x41c3429bf0000000,
    0x41c3429db2000000,
    0x41c3429f74000000,
    0x41c342a136000000,
    0x41c342a2f8000000,
    0x41c342a4ba000000,
    0x41c342a67c000000,
    0x41c342a83e000000,
    0x41c342aa00000000,
    0x41c342abc2000000,
    0x41c342ad84000000,
    0x41c342af46000000,
    0x41c342b108000000,
    0x41c342b2ca000000,
    0x41c342b48c000000,
    0x41c342b64e000000,
    0x41c342b810000000,
    0x41c342b9d2000000,
    0x41c342bb94000000,
    0x41c342bd56000000,
    0x41c342bf18000000,
    0x41c342c0da000000,
    0x41c342c29c000000,
    0x41c342c45e000000,
    0x41c342c620000000,
    0x41c342c7e2000000,
    0x41c342c9a4000000,
    0x41c342cb66000000,
    0x41c342cd28000000,
    0x41c342ceea000000,
    0x41c342d0ac000000,
    0x41c342d26e000000,
    0x41c342d430000000,
    0x41c342d5f2000000,
    0x41c342d7b4000000,
    0x41c342d976000000,
    0x41c342db38000000,
    0x41c342dcfa000000,
    0x41c342debc000000,
    0x41c342e07e000000,
    0x41c342e240000000,
    0x41c342e402000000,
    0x41c342e5c4000000,
    0x41c342e786000000,
    0x41c342e948000000,
    0x41c342eb0a000000,
    0x41c342eccc000000,
    0x41c342ee8e000000,
    0x41c342f050000000,
    0x41c342f212000000,
    0x41c342f3d4000000,
    0x41c342f596000000,
    0x41c342f758000000,
    0x41c342f91a000000,
    0x41c342fadc000000,
    0x41c342fc9e000000,
];
const G15_POS_KM: &[[u64; 3]] = &[
    [0x40b5032ffa1a0cf2, 0xc0d58a1d72d5e072, 0x40c9b1e0308feac4],
    [0x40b7b2656b441bb9, 0xc0d4002909fa54c5, 0x40cdbe7097d06bbe],
    [0x40baea1cdca8e2e3, 0xc0d249810d0aaa7e, 0x40d0a182152f3c2e],
    [0x40beb3dfadd15f03, 0xc0d070bea43fe5c9, 0x40d217c308461f9f],
    [0x40c188c8c5a8155d, 0xc0cd025c56de3327, 0x40d33b5a28bf3beb],
    [0x40c3fe98e503fb37, 0xc0c90cc3b2dd377e, 0x40d407307ab75643],
    [0x40c6b479df8f4730, 0xc0c5178527c39368, 0x40d477d09b62c775],
    [0x40c99fd64955b467, 0xc0c13847908e581d, 0x40d48b74e8a2ec29],
    [0x40ccb2c8866a11ed, 0xc0bb057bae147ae1, 0x40d4420c157eed46],
    [0x40cfdc9d22962cfe, 0xc0b40feb36262cba, 0x40d39d345d18090b],
    [0x40d185394538ef35, 0xc0ab571245d41fa7, 0x40d2a02dd0aaa7df],
    [0x40d313f77903211d, 0xc09fb2d09b738e6d, 0x40d14fc47dfe32a0],
    [0x40d490023a8a3f8a, 0xc086ff88f29d40ee, 0x40cf6466b9991362],
    [0x40d5eedd940357a3, 0x407764ea1e81cb47, 0x40cb9e0229307af2],
    [0x40d7267c709b738e, 0x4094664e32a0663c, 0x40c75daf7ebaf102],
    [0x40d82d9f7607c41a, 0x40a029ec2bd7f51f, 0x40c2b6b1a47a9e2c],
    [0x40d8fc2b4916ca47, 0x40a4f4d6bbba55d2, 0x40bb7bb934ce3de6],
    [0x40d98b732d3415b1, 0x40a8c3a2aeafab54, 0x40b11269069a4df4],
    [0x40d9d67580f55de6, 0x40abcf8b0079a283, 0x40997c5a5e353f7d],
    [0x40d9da0837542a24, 0x40ae58a5757d5a9f, 0xc091bf0b1bbcf4e8],
    [0x40d994f412cadddf, 0x40b05183c5154867, 0xc0ae5721d92b7fe1],
    [0x40d907fe0b3d4ae4, 0x40b179e833e78e19, 0xc0b9a6659d2391d5],
    [0x40d835dee670e2c1, 0x40b2c719c3ac929b, 0xc0c1d9d4bde3fbbd],
    [0x40d723299f40a287, 0x40b4584f564302b4, 0xc0c69462d413122b],
    [0x40d5d621bfe7e1fc, 0x40b6490a1a2e7f6f, 0xc0caeee168943e10],
    [0x40d456834ca0c283, 0x40b8afe833e78e19, 0xc0ced6ee663c74fb],
    [0x40d2ad3e452c59fb, 0x40bb9da6d938151a, 0xc0d11e027ad8e432],
    [0x40d0e4281c3265ae, 0x40bf1c5c372e6a77, 0xc0d287dd577d9557],
    [0x40ce0b4b961804da, 0x40c19777da16616b, 0xc0d3a2fafdf7e804],
    [0x40ca38a2bbdbe3c1, 0x40c3e86a9d40ee07, 0xc0d46a8ea76d97b3],
    [0x40c6653bf2884838, 0x40c67b071a9fbe77, 0xc0d4db1f61b2a27f],
    [0x40c2a4fad3e0bd45, 0x40c945b8690de093, 0xc0d4f297d759ee89],
    [0x40be1429454152b1, 0x40cc3b99fac1d29e, 0xc0d4b051c7f34938],
    [0x40b748e79db22d0e, 0x40cf4cde10a569b1, 0xc0d4151cdfc5cdd5],
    [0x40b102608cb4aec9, 0x40d133a8d8be7297, 0xc0d323409784ec63],
    [0x40a6a886afcce1c6, 0x40d2bb7d10129cbb, 0xc0d1de78c0a06ea0],
    [0x40992c7ef177a701, 0x40d4336365e89225, 0xc0d04bec64e8b7e5],
    [0x407ec0aa77a2cecd, 0x40d590a8e536501e, 0xc0cce43d52a84381],
    [0xc07cb747cfa26a23, 0x40d6c8d412e83a11, 0xc0c8b1b2e935b91f],
    [0xc09394adf00abf77, 0x40d7d2095515054b, 0xc0c412236a161e4f],
    [0xc09dc6e960b6f9fd, 0x40d8a36bc226809d, 0xc0be3315157abb88],
    [0xc0a30f91db65ecc4, 0x40d9357673de1e2e, 0xc0b3bb4a7674d163],
    [0xc0a685f71f79420b, 0x40d9824a96e9bbf1, 0xc0a1d65595feda66],
    [0xc0a9856006d0d499, 0x40d985eebacb4289, 0x4080684b884406c0],
    [0xc0ac511e0f7fcfc4, 0x40d93e7c5f56a7ad, 0x40a9f7e780baa583],
    [0xc0af2e020be51090, 0x40d8ac3964388ebd, 0x40b7b0033fa6defc],
    [0xc0b12f965bc87db3, 0x40d7d19bcf28c79f, 0x40c0fc33faa044af],
    [0xc0b31174d5410f95, 0x40d6b3374da9003f, 0x40c5d303f1a5ca2a],
    [0xc0b557dc295a6c5d, 0x40d55794dbb16c1e, 0x40ca4637b9170d63],
    [0xc0b818d2a9930be1, 0x40d3c6f602ababeb, 0x40ce415b4d48882f],
    [0xc0bb6409b9841aac, 0x40d20b06235f8099, 0x40d0d915162ae4b0],
    [0xc0bf42072c1f42bb, 0x40d02e7d20c069e8, 0x40d24476999dcb58],
    [0xc0c1d9ceb827fa1a, 0x40cc796ef60e0eb6, 0x40d35c64ff609dd0],
    [0xc0c458dc58dde7a7, 0x40c88290d8ec95c0, 0x40d41c00d93c46d8],
    [0xc0c716c181733227, 0x40c48f15b888722a, 0x40d4800ed199bb28],
    [0xc0ca086ebe2f7b18, 0x40c0b46bf9d6f113, 0x40d48704860999dd],
    [0xc0cd1f9427b6fe2e, 0x40ba0be8aada33be, 0x40d4310bd04e618d],
    [0xc0d025940f883340, 0x40b328a8919ef955, 0x40d37ffcba9d1f60],
    [0xc0d1bc053fe1975f, 0x40a9b3a061416378, 0x40d2774ea52263d8],
    [0xc0d348de79af1887, 0x409ccaccecc814d7, 0x40d11c016195464e],
    [0xc0d4c194306a2b17, 0x4081f5f545c78a6e, 0x40cee8fe731d2e0e],
    [0xc0d61bb3958d9b5f, 0xc07feb58c9fb6135, 0x40cb10f1e835dedf],
    [0xc0d74d4607d91255, 0xc0962905f17bd8be, 0x40c6c17a012dfd69],
    [0xc0d84d2ef5ec80c7, 0xc0a0dff225742dcf, 0x40c20e15df2a9d62],
    [0xc0d91380b9346994, 0xc0a5855eb4c7f349, 0x40ba179163dc486b],
    [0xc0d999c56bd6e8b0, 0xc0a935f5529fe005, 0x40af42e1df1172ef],
    [0xc0d9db39507a6bd7, 0xc0ac2c0a01040bfe, 0x40939e5cae21101b],
    [0xc0d9d4f501bc98a2, 0xc0aea86aaf78feef, 0xc0979dc87442c7fc],
    [0xc0d986064528283d, 0xc0b077bf689ca18c, 0xc0b09d24165907d9],
    [0xc0d8ef77007dd441, 0xc0b1a327e27179c0, 0xc0bb0bb4b26394fb],
    [0xc0d814426defc7a4, 0xc0b2f7cacf206424, 0xc0c2836436c9c0a9],
    [0xc0d6f9393f077ccc, 0xc0b4947166be7afa, 0xc0c7320d4690de09],
    [0xc0d5a4d5e3fbbd7b, 0xc0b69403ac929aa2, 0xc0cb7e0d573647bb],
    [0xc0d41f02a400fba9, 0xc0b90c60fe586013, 0xc0cf553f5e7c8d19],
    [0xc0d270d39a6f826f, 0xc0bc0d6953cddd6e, 0xc0d153b2231832fd],
    [0xc0d0a43702752546, 0xc0bfa03f480a5acd, 0xc0d2b32f9a133c1d],
    [0xc0cd873d00713f07, 0xc0c1e364a06e9ff1, 0xc0d3c3357baa9b4a],
    [0xc0c9b348933a0408, 0xc0c43dbb0ca1cef2, 0xc0d47f241da37ef6],
    [0xc0c5e15e657b84dc, 0xc0c6d8a3d95dd4c7, 0xc0d4e3b20b673c4f],
    [0xc0c2253161bb05fb, 0xc0c9aa11da16616b, 0xc0d4eefb3bf2f556],
    [0xc0bd215f8ab0c88a, 0xc0cca4b44ce8101f, 0xc0d4a08bedcc20d5],
    [0xc0b666d24f6598e1, 0xc0cfb861847f5621, 0xc0d3f966d744f5d3],
    [0xc0b034140f98fa37, 0xc0d1694f4cdfaca3, 0xc0d2fc0652977c89],
    [0xc0a537c797679032, 0xc0d2ef9ffe260b2d, 0xc0d1ac582ab68cef],
    [0xc096a741aac53b08, 0xc0d4648eddbdb5d9, 0xc0d00fb3afe1da7b],
    [0xc0761e715a4acf31, 0xc0d5bd6abd6a593a, 0xc0cc59938bbd3804],
    [0x4081faaae6c8f755, 0xc0d6efc9a159817c, 0xc0c8171d5eb7457c],
    [0x409512a76f2a5a47, 0xc0d7f1ece5604189, 0xc0c36a3aec0f8833],
    [0x409efe58982cb210, 0xc0d8bb2142e557de, 0xc0bcce53d3f5b5fa],
    [0x40a38f02441fea81, 0xc0d94416d4562e0a, 0xc0b247bae3d5fdce],
    [0x40a6f14a95c853c1, 0xc0d9872d56c93a71, 0xc09dbd02107b7846],
    [0x40a9e58df3519bd4, 0xc0d980b13ab430f5, 0x408c55332df505d1],
    [0x40acaf822cecc815, 0xc0d92f06955714ba, 0x40ace90c78e9f6a9],
    [0x40af93ee2a1b5c7d, 0xc0d892bfb12d3416, 0x40b91cd9a78f25a2],
    [0x40b16abce368f084, 0xc0d7ae9dd0bb6ed6, 0x40c1a97ec03ff690],
    [0x40b358c6749f0e4e, 0xc0d6877bab606b7b, 0x40c67412d4801f75],
];
const G15_CLK_US: &[u64] = &[
    0xc06bc67adf2ecf20,
    0xc06bc666106ab14f,
    0xc06bc653dc8b86b1,
    0xc06bc640c62e4d1a,
    0xc06bc62e8e1d6495,
    0xc06bc61a86940358,
    0xc06bc606f049a997,
    0xc06bc5f46ed245b3,
    0xc06bc5e25e99e94b,
    0xc06bc5cf6598e10d,
    0xc06bc5be0157eed4,
    0xc06bc5aa8c9b8455,
    0xc06bc5974e65bea1,
    0xc06bc5827d88c1db,
    0xc06bc5709d8c6d61,
    0xc06bc55e0d66f0d0,
    0xc06bc549d9d3458d,
    0xc06bc536d655e28b,
    0xc06bc523e9ea1405,
    0xc06bc513682730c6,
    0xc06bc4ff8ca8198f,
    0xc06bc4eb702602c9,
    0xc06bc4d8d5842b73,
    0xc06bc4c4c37e6f72,
    0xc06bc4b0e5e67946,
    0xc06bc49f383f0baf,
    0xc06bc48b7a1c25d0,
    0xc06bc4780baa582e,
    0xc06bc465c91d14e4,
    0xc06bc45260f5e41d,
    0xc06bc43dd334c5da,
    0xc06bc42921ccd962,
    0xc06bc4183f91e647,
    0xc06bc40374ff865d,
    0xc06bc3f00474d9c7,
    0xc06bc3dcc20d562a,
    0xc06bc3c89d27c393,
    0xc06bc3b6134ce3de,
    0xc06bc3a4bba12b5e,
    0xc06bc390060780fe,
    0xc06bc37eeb2d0a24,
    0xc06bc36a52ef911d,
    0xc06bc356733ebbfd,
    0xc06bc34491298890,
    0xc06bc331e7d9988d,
    0xc06bc31e0c5a8156,
    0xc06bc30b65237048,
    0xc06bc2f8bbd38045,
    0xc06bc2e4d7f0ed3e,
    0xc06bc2d2849cb253,
    0xc06bc2bf5d78811b,
    0xc06bc2ad96a6a012,
    0xc06bc298d8a979e1,
    0xc06bc28705425f20,
    0xc06bc273519bd406,
    0xc06bc2615ebfa8f8,
    0xc06bc24e4c942d49,
    0xc06bc23a3ec02f30,
    0xc06bc2273b42cc2d,
    0xc06bc2146e4c0df6,
    0xc06bc2027d88c1db,
    0xc06bc1eed677707a,
    0xc06bc1dbdf8f4730,
    0xc06bc1c74fb549f9,
    0xc06bc1b6d00b45ae,
    0xc06bc1a231832fcb,
    0xc06bc18f36694899,
    0xc06bc17c49fd7a14,
    0xc06bc1683e425aee,
    0xc06bc155a187a4a5,
    0xc06bc142699c7bcc,
    0xc06bc12df71eafee,
    0xc06bc11ca18bd662,
    0xc06bc109bf9c62a2,
    0xc06bc0f5ba2be059,
    0xc06bc0e1d8622c45,
    0xc06bc0cf67b1c001,
    0xc06bc0bc33f85511,
    0xc06bc0aa7589efd8,
    0xc06bc095ebfa8f7e,
    0xc06bc0837d63022e,
    0xc06bc0711947cfa2,
    0xc06bc05edaec4a41,
    0xc06bc049f72f76e6,
    0xc06bc0366b6177ea,
    0xc06bc024a6a875d5,
    0xc06bc0116ebd4cfd,
    0xc06bbffe9531550d,
    0xc06bbfebd09e12a5,
    0xc06bbfd96e9bbf0e,
    0xc06bbfc488c60cbf,
    0xc06bbfb315d701da,
    0xc06bbf9e321a2e7f,
    0xc06bbf8afc47e49b,
    0xc06bbf7852f7f499,
    0xc06bbf675360d024,
];
const G15_CASES: &[GoldenCase] = &[
    GoldenCase {
        query_seconds_j2000: 0x41c342567a800000,
        position_m_bits: [0x4155bb019eabf1c9, 0xc174542b35b47b54, 0x416b12c7aab54148],
        clock_s_bits: 0xbf2d1fd5a55e5b15,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c3425762800000,
        position_m_bits: [0x4157250865ec2445, 0xc17387b3f26729ca, 0x416d0d07c083fb99],
        clock_s_bits: 0xbf2d1fcb17abb399,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342aa9c400000,
        position_m_bits: [0xc155b85fbb7b7a33, 0x417455176a432009, 0x416b10629525ff87],
        clock_s_bits: 0xbf2d1c17907b0b27,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fc08000000,
        position_m_bits: [0x415239ad9a66d65b, 0xc1766754abb858fa, 0x416468352848a6ad],
        clock_s_bits: 0xbf2d187af9e9b048,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fd34000000,
        position_m_bits: [0x41539b5bc4b78cf7, 0xc1759296c5608afc, 0x4167673fc5f946a7],
        clock_s_bits: 0xbf2d18704895cad0,
    },
];

const G32_NODES: &[u64] = &[
    0x41c34255a0000000,
    0x41c3425762000000,
    0x41c3425924000000,
    0x41c3425ae6000000,
    0x41c3425ca8000000,
    0x41c3425e6a000000,
    0x41c342602c000000,
    0x41c34261ee000000,
    0x41c34263b0000000,
    0x41c3426572000000,
    0x41c3426734000000,
    0x41c34268f6000000,
    0x41c3426ab8000000,
    0x41c3426c7a000000,
    0x41c3426e3c000000,
    0x41c3426ffe000000,
    0x41c34271c0000000,
    0x41c3427382000000,
    0x41c3427544000000,
    0x41c3427706000000,
    0x41c34278c8000000,
    0x41c3427a8a000000,
    0x41c3427c4c000000,
    0x41c3427e0e000000,
    0x41c3427fd0000000,
    0x41c3428192000000,
    0x41c3428354000000,
    0x41c3428516000000,
    0x41c34286d8000000,
    0x41c342889a000000,
    0x41c3428a5c000000,
    0x41c3428c1e000000,
    0x41c3428de0000000,
    0x41c3428fa2000000,
    0x41c3429164000000,
    0x41c3429326000000,
    0x41c34294e8000000,
    0x41c34296aa000000,
    0x41c342986c000000,
    0x41c3429a2e000000,
    0x41c3429bf0000000,
    0x41c3429db2000000,
    0x41c3429f74000000,
    0x41c342a136000000,
    0x41c342a2f8000000,
    0x41c342a4ba000000,
    0x41c342a67c000000,
    0x41c342a83e000000,
    0x41c342aa00000000,
    0x41c342abc2000000,
    0x41c342ad84000000,
    0x41c342af46000000,
    0x41c342b108000000,
    0x41c342b2ca000000,
    0x41c342b48c000000,
    0x41c342b64e000000,
    0x41c342b810000000,
    0x41c342b9d2000000,
    0x41c342bb94000000,
    0x41c342bd56000000,
    0x41c342bf18000000,
    0x41c342c0da000000,
    0x41c342c29c000000,
    0x41c342c45e000000,
    0x41c342c620000000,
    0x41c342c7e2000000,
    0x41c342c9a4000000,
    0x41c342cb66000000,
    0x41c342cd28000000,
    0x41c342ceea000000,
    0x41c342d0ac000000,
    0x41c342d26e000000,
    0x41c342d430000000,
    0x41c342d5f2000000,
    0x41c342d7b4000000,
    0x41c342d976000000,
    0x41c342db38000000,
    0x41c342dcfa000000,
    0x41c342debc000000,
    0x41c342e07e000000,
    0x41c342e240000000,
    0x41c342e402000000,
    0x41c342e5c4000000,
    0x41c342e786000000,
    0x41c342e948000000,
    0x41c342eb0a000000,
    0x41c342eccc000000,
    0x41c342ee8e000000,
    0x41c342f050000000,
    0x41c342f212000000,
    0x41c342f3d4000000,
    0x41c342f596000000,
    0x41c342f758000000,
    0x41c342f91a000000,
    0x41c342fadc000000,
    0x41c342fc9e000000,
];
const G32_POS_KM: &[[u64; 3]] = &[
    [0xc0cd1c14e45c358b, 0xc0c4294d3532e7b4, 0xc0d2eba444fa0514],
    [0xc0cd758c881e4713, 0xc0c8596777af6406, 0xc0d18544ababead5],
    [0xc0cdf408b884406c, 0xc0cc2a9810adcd2d, 0xc0cfa335437c5693],
    [0xc0ce888de3087875, 0xc0cf8c8708f648c7, 0xc0cbb08748a15981],
    [0xc0cf21efc2656abe, 0xc0d1393aed139431, 0xc0c744130eed02cd],
    [0xc0cfad893b3a68b2, 0xc0d269d1dc8fb86f, 0xc0c271745c2d2780],
    [0xc0d00c0197fe8ee7, 0xc0d355c5859c8c93, 0xc0ba9bed51d68c69],
    [0xc0d02711433508f6, 0xc0d3fcfb0b4e11dc, 0xc0afc0d9fea8112c],
    [0xc0d01ecab54195cd, 0xc0d46175461b6d44, 0xc0937df29b6b2af1],
    [0xc0cfd5b7fd36f7e4, 0xc0d487368a936c59, 0x4098dafc304ccee6],
    [0xc0cf084904039abf, 0xc0d4740fc21187e8, 0x40b131e0221426fe],
    [0xc0cdca07dc0db270, 0xc0d42f5ed199bb28, 0x40bbe20d0df15a4b],
    [0xc0cc1335d7e45804, 0xc0d3c1bee2584f4c, 0x40c30c614801f751],
    [0xc0c9dff64712e408, 0xc0d334ad9b888723, 0x40c7d4cb704790b8],
    [0xc0c73089a437824d, 0xc0d29228be27179c, 0x40cc3579b280f12c],
    [0xc0c40961be5d9e41, 0xc0d1e447d2bf5515, 0x40d00db0999567dc],
    [0xc0c0730e1b866e44, 0xc0d134d5b8d3f184, 0x40d1bac39aa60914],
    [0xc0b8f4027cd03537, 0xc0d08cede5a35d68, 0x40d31aa441b328b7],
    [0xc0b05c61bcfd4bf1, 0xc0cfe941f811f4f5, 0x40d4274bcac08312],
    [0xc09d14a3ac929aa2, 0xc0cee54849c2c1b1, 0x40d4dc18477bbf94],
    [0x4081379441bb8c33, 0xc0ce181c5bd944aa, 0x40d535e122c45027],
    [0x40a773c1081c2e34, 0xc0cd8849f2e48e8a, 0x40d53305cf355cd9],
    [0x40b543c3ce0fc2ec, 0xc0cd387a6b8305d9, 0x40d4d37655087011],
    [0x40be9492d3c792d1, 0xc0cd275b588e368f, 0x40d418b58366516e],
    [0x40c3bede342aa9f8, 0xc0cd4fad8676a726, 0x40d305d49b77c02b],
    [0x40c7e9e06a4ca4f4, 0xc0cda87c1b75a74c, 0x40d19f686034f3fe],
    [0x40cbb7d7e7c8d196, 0xc0ce257a0b0af5fd, 0x40cfd6ef1ada76d9],
    [0x40cf183e5f41aef7, 0xc0ceb7829731098d, 0x40cbe2c5a79fec9a],
    [0x40d0ff06fec56d5d, 0xc0cf4d38342aa9f8, 0x40c7738d29f59cd0],
    [0x40d23017703f2d3c, 0xc0cfd3bbe3864cb6, 0x40c29cad7625204b],
    [0x40d31cdf736cdf26, 0xc0d01bbb05e1c151, 0x40bae6d4a643cc08],
    [0x40d3c51863065f96, 0xc0d0327481dc0db2, 0x40b01d0d9ba1b196],
    [0x40d42aa0731d2e0e, 0xc0d024c282c2bd7f, 0x40942f04102ff8ec],
    [0x40d4516018655193, 0xc0cfd4750f8c64fe, 0xc0986fdb25b317f0],
    [0x40d43f1b58fb43d9, 0xc0cef75c63ae2542, 0xc0b1287ef2c73259],
    [0x40d3fb30cc4ac6ce, 0xc0cda6fcdd82fd76, 0xc0bbe89f0c4588a0],
    [0x40d38e48d4801f75, 0xc0cbdbbf35eb7458, 0xc0c31631ec02f2fa],
    [0x40d301f8486f049b, 0xc0c992177985271c, 0xc0c7e2fe9a1b9f99],
    [0x40d2605a4f8f8a4c, 0xc0c6cac169a0ad8a, 0xc0cc45494f9c1f86],
    [0x40d1b3a593187619, 0xc0c38ad22528ae75, 0xc0d014c278c0053e],
    [0x40d105c11b79d90a, 0xc0bfb73c766c6de7, 0xc0d1bf2ef25a2510],
    [0x40d05fdd34eb9a17, 0xc0b794ea327ed84d, 0xc0d31a84c9f2fdb9],
    [0x40cf94291098d478, 0xc0ada0d22ea0fd3b, 0xc0d420c4c5b4aa97],
    [0x40ce96327418d691, 0xc09645c554b8bef9, 0xc0d4cd7072fba01f],
    [0x40cdcfe2b7d41744, 0x408fdd20053e2d62, 0xc0d51d9d8c64fdb1],
    [0x40cd478aac860568, 0x40ab4ecc8711d799, 0xc0d51001c43b2dd3],
    [0x40ccff8456473472, 0x40b740f470c996b7, 0xc0d4a4f6d4306e5d],
    [0x40ccf62142cc2d6b, 0x40c04bd8c42e989a, 0xc0d3de76df2a9d62],
    [0x40cd25c3157abb88, 0x40c4be7a7b784663, 0xc0d2c0115ab7dc7b],
    [0x40cd851cfb65668c, 0x40c8e2d325cc4263, 0xc0d14ed8dab5c39c],
    [0x40ce079b1c5c5719, 0x40cca5da3f572de4, 0xc0cf229475925354],
    [0x40ce9deba77e5eab, 0x40cff7ad58750c1c, 0xc0cb1e5b7a0b5ed9],
    [0x40cf36a3d7fd8277, 0x40d166099bcfd4bf, 0xc0c6a2e59756c93a],
    [0x40cfbefa4b2b777d, 0x40d28d6d86bdf4c3, 0xc0c1c40e3b60285f],
    [0x40d011c7a2fcefaa, 0x40d3700a3c792d13, 0xc0b92ea826cc1ca4],
    [0x40d0289d8c8abd5e, 0x40d40e0f50e34763, 0xc0accde6d6dc1a48],
    [0x40d01aed5810624e, 0x40d469c71f0c34c2, 0xc08b021fcc1871e7],
    [0x40cfc112831ad213, 0x40d48775f049a997, 0x409ed4b208e15012],
    [0x40cee50094680171, 0x40d46d26b063e07a, 0x40b2a8fef1a9fbe7],
    [0x40cd96d6d7be9857, 0x40d4226740bbb1f2, 0x40bd4b7c35158b82],
    [0x40cbcf584e160d88, 0x40d3aff71059ea57, 0x40c3b72f24d099e1],
    [0x40c98b343d4f15e8, 0x40d31f6b177ea1c7, 0x40c872c92abef06b],
    [0x40c6cb3c2e6ea854, 0x40d27acab1d4f9c2, 0x40ccc3f8729f59cd],
    [0x40c39472b6b6e0d2, 0x40d1cc290d9945b7, 0x40d04bfa753e707e],
    [0x40bfdfe4f6cefed6, 0x40d11d3f012dfd69, 0x40d1ef0863a19008],
    [0x40b7d55c95af294e, 0x40d0770911cf355d, 0x40d343ff5dfa871a],
    [0x40ae54322749f0e5, 0x40cfc2da9c90c4df, 0x40d4450766e86c66],
    [0x4098130c21187e7c, 0x40cec5d8b29e4d5e, 0x40d4edb07110e454],
    [0xc08b7b29f05ea24d, 0x40ce00c13519bd40, 0x40d53b061dc93ea3],
    [0xc0aa07f1dece5711, 0x40cd799c1b866e44, 0x40d52b9d9be09bb7],
    [0xc0b688fbbfa4c61e, 0x40cd328923897204, 0x40d4bf9d5c63ae25],
    [0xc0bfce7e24894c44, 0x40cd29abddebd902, 0x40d3f8be6473471f],
    [0xc0c45320b630a915, 0x40cd59402df0d413, 0x40d2da4714a90471],
    [0xc0c872a704c48adf, 0x40cdb7d6becedd48, 0x40d168ff543aeab8],
    [0xc0cc32b65e13b18e, 0x40ce38b770f7b9e0, 0x40cf563c4bd33d29],
    [0xc0cf833a1040bfe4, 0x40cecc6647f56217, 0x40cb5061903211cb],
    [0xc0d12bd76640a6b9, 0x40cf6145ffef3908, 0x40c6d1f73e9a6f82],
    [0xc0d253c5a0b5ed8d, 0x40cfe4523760bf5d, 0x40c1eeaa9670196e],
    [0xc0d337414690de09, 0x40d020f5091c0874, 0x40b977f1a11233df],
    [0xc0d3d64ed47bedb7, 0x40d03351bb7f9d6f, 0x40ad4345109070fc],
    [0xc0d4331543914f48, 0x40d0200f477bbf94, 0x408c52fba8826aa9],
    [0xc0d451c0a4ebdd33, 0x40cfbdd10ea9e6ef, 0xc09e727a2877ee4e],
    [0xc0d43850d7add15f, 0x40ced1c1054ac29c, 0xc0b2a1bc61309c80],
    [0xc0d3ee563ac929aa, 0x40cd712783621fb0, 0xc0bd53e0288051ca],
    [0xc0d37c9efe047d3d, 0x40cb94f45471715c, 0xc0c3c1a9c2e33eff],
    [0xc0d2ecd85e679464, 0x40c93a2d3f20a73f, 0xc0c881504da9003f],
    [0xc0d249279f44d445, 0x40c66224ba387592, 0xc0ccd3b2777079e6],
    [0xc0d19bbeed139431, 0x40c31285afd11383, 0xc0d052c5791c4b90],
    [0xc0d0ee7284c27200, 0x40beaa675f1bef4a, 0xc0d1f2ecae46cfc8],
    [0xc0d04a5276b7ed42, 0x40b6700180a17b0f, 0xc0d3431817d2849d],
    [0xc0cf6e9a528ae74f, 0x40ab30ef0c34c1a9, 0xc0d43d7b095af295],
    [0xc0ce77bcb8f9b131, 0x409130dfb9bed30f, 0xc0d4ddccac79702e],
    [0xc0cdb99bce39b457, 0xc0951f83315d701e, 0xc0d5215a62e09fe8],
    [0xc0cd3a0171327243, 0xc0ade82d0f840182, 0xc0d5071285f4a127],
    [0xc0ccfabbcc5b8dc5, 0xc0b8877779a6b50b, 0xc0d48f876b2af145],
    [0xc0ccf99167f4dbe0, 0xc0c0e8c883dbc233, 0xc0d3bceabf7ad4b2],
];
const G32_CLK_US: &[u64] = &[
    0x40731614ed2cbea5,
    0x4073162daa92e621,
    0x4073164626f60e0f,
    0x4073165edaec4a41,
    0x4073167763e4abe7,
    0x4073168fecdd0d8d,
    0x407316a8a82a5615,
    0x407316c12ad81adf,
    0x407316d9c27e9531,
    0x407316f23fee2c99,
    0x4073170afe60c38f,
    0x407317238a7e73a3,
    0x4073173c169c23b8,
    0x40731754d2f5dbba,
    0x4073176d7e889c1b,
    0x407317860242d05f,
    0x4073179f3e89a88b,
    0x407317b81626b2f2,
    0x407317d0adcd2d45,
    0x407317e9984a0e41,
    0x4073180232096788,
    0x4073181b1209edc0,
    0x40731833929ed395,
    0x4073184c0f01fb83,
    0x40731864e054690e,
    0x4073187d8adab9f5,
    0x4073189654d61b2a,
    0x407318af07bfe7e2,
    0x407318c7a17f4129,
    0x407318e030c23fab,
    0x407318f897204296,
    0x40731911372a38b9,
    0x40731929b499d020,
    0x40731941e8a2ec29,
    0x4073195a5daf07c0,
    0x4073197304039abf,
    0x4073198bd987c632,
    0x407319a4af0bf1a6,
    0x407319bd4f15e7c9,
    0x407319d5fdcdf698,
    0x407319ee957470eb,
    0x40731a0738a3b57c,
    0x40731a1f9f01b867,
    0x40731a384fd2a62b,
    0x40731a5101b00368,
    0x40731a699a62ed35,
    0x40731a8257c914b1,
    0x40731a9b18548a9c,
    0x40731ab3bd9cae21,
    0x40731acca8198f1d,
    0x40731ae52bd3c361,
    0x40731afdbf487fcc,
    0x40731b16d6dc1a48,
    0x40731b2f922962d0,
    0x40731b47fcb923a3,
    0x40731b607f66e86c,
    0x40731b79799e518f,
    0x40731b92556d19df,
    0x40731baae297396d,
    0x40731bc357a35504,
    0x40731bdc12f09d8c,
    0x40731bf48d3ae686,
    0x40731c0dca8e2e2c,
    0x40731c2659d12cae,
    0x40731c3f06705c89,
    0x40731c57c6fbd274,
    0x40731c70da5daf08,
    0x40731c896bb98c7e,
    0x40731ca2595bbbe8,
    0x40731cbaeab7995f,
    0x40731cd3d74d594f,
    0x40731cec95bff045,
    0x40731d05553ef6b6,
    0x40731d1e321a2e7f,
    0x40731d36c15d2d02,
    0x40731d4f55de58e6,
    0x40731d682d7b634e,
    0x40731d80cd855971,
    0x40731d996a6a0126,
    0x40731db268d32831,
    0x40731dcae1049236,
    0x40731de355043e53,
    0x40731dfbd3804535,
    0x40731e146a1a500d,
    0x40731e2d0a244630,
    0x40731e45c78a6dad,
    0x40731e5ea1405708,
    0x40731e773affb04f,
    0x40731e9031055b8a,
    0x40731ea8c0485a0c,
    0x40731ec18c5c9a35,
    0x40731eda47a9e2bd,
    0x40731ef2dc2b0ea2,
    0x40731f0bba12b5e5,
    0x40731f24484944ed,
    0x40731f3cf80dc337,
];
const G32_CASES: &[GoldenCase] = &[
    GoldenCase {
        query_seconds_j2000: 0x41c342567a800000,
        position_m_bits: [0xc16c9270888d59fd, 0xc165b738fb7fc049, 0xc171da11344d27fc],
        clock_s_bits: 0x3f34037a424ac433,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c3425762800000,
        position_m_bits: [0xc16cc4e9e869ff3a, 0xc167c86c715a701e, 0xc1711bb66ce926a8],
        clock_s_bits: 0x3f3403878d177afb,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342aa9c400000,
        position_m_bits: [0x416c927f1ea729f0, 0x4165b3390bee19fa, 0xc171db3d0ae7a32d],
        clock_s_bits: 0x3f34084eeb942b56,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fc08000000,
        position_m_bits: [0xc16c458b6e263325, 0xc15e0b6504c0c41a, 0xc17394c6cbe82a23],
        clock_s_bits: 0x3f340cfecaba2851,
    },
    GoldenCase {
        query_seconds_j2000: 0x41c342fd34000000,
        position_m_bits: [0xc16c584c48aea9d1, 0xc161fa5cfee8d7e2, 0xc172ee9873793745],
        clock_s_bits: 0x3f340d104ad332b1,
    },
];

pub(super) const GOLDEN_SATS: &[GoldenSat] = &[
    GoldenSat {
        prn: "G01",
        nodes_seconds_j2000: G01_NODES,
        positions_km_bits: G01_POS_KM,
        clocks_us_bits: G01_CLK_US,
        cases: G01_CASES,
    },
    GoldenSat {
        prn: "G15",
        nodes_seconds_j2000: G15_NODES,
        positions_km_bits: G15_POS_KM,
        clocks_us_bits: G15_CLK_US,
        cases: G15_CASES,
    },
    GoldenSat {
        prn: "G32",
        nodes_seconds_j2000: G32_NODES,
        positions_km_bits: G32_POS_KM,
        clocks_us_bits: G32_CLK_US,
        cases: G32_CASES,
    },
];