tempoch-core 0.4.5

// SPDX-License-Identifier: AGPL-3.0-only
// Copyright (C) 2026 Valles Puig, Ramon
//
// @generated by tempoch-time-data-updater
// Do not edit this file manually.
//
// Provenance (run `cargo run -p tempoch-time-data-updater -- --check` to verify):
//   UTC-TAI history  SHA-256: 54e702abdc388ae3bf8cfc5f126900a5277829ad90e80f6773df6e714a133642
//   ΔT observed      SHA-256: 9f88e53593495a09219fe956eeadea0fa9f8e3e02c310b2aa2b70852383cdf6f
//   ΔT predictions   SHA-256: 5d864fddd30b2c64d2a86d3debbb25604eb5de44370c96bccf2abd5463f3db08
//
// The modern ΔT series is a *derived* product: observed USNO monthly points
// are concatenated with C0-adjusted prediction points.  The boundary MJD
// between observed and predicted data is MODERN_DELTA_T_OBSERVED_END_MJD.

#[derive(Debug, Clone, Copy, PartialEq)]
pub(crate) struct UtcTaiSegment {
    pub start_mjd: i32,
    pub end_mjd: Option<i32>,
    pub base_seconds: f64,
    pub reference_mjd: f64,
    pub slope_seconds_per_day: f64,
}

pub(crate) const PRE_1961_TAI_MINUS_UTC_APPROX: f64 = 10.0;
pub(crate) const UTC_TAI_HISTORY_URL: &str =
    "https://hpiers.obspm.fr/eoppc/bul/bulc/UTC-TAI.history";
pub(crate) const DELTA_T_OBSERVED_URL: &str = "https://maia.usno.navy.mil/ser7/deltat.data";
pub(crate) const DELTA_T_PREDICTIONS_URL: &str = "https://maia.usno.navy.mil/ser7/deltat.preds";
pub(crate) const UTC_TAI_HISTORY_START_MJD: i32 = 37300;
pub(crate) const MODERN_DELTA_T_START_MJD: f64 = 41714.000;
/// Last MJD with an *observed* (non-predicted) ΔT value in [`MODERN_DELTA_T_POINTS`].
/// Points after this MJD are C0-adjusted USNO predictions, not confirmed observations.
pub(crate) const MODERN_DELTA_T_OBSERVED_END_MJD: f64 = 61131.000;
pub(crate) const MODERN_DELTA_T_END_MJD: f64 = 63871.000;

#[rustfmt::skip]
pub(crate) const UTC_TAI_SEGMENTS: [UtcTaiSegment; 41] = [
    UtcTaiSegment {
        start_mjd: 37300,
        end_mjd: Some(37512),
        base_seconds: 1.4228180,
        reference_mjd: 37300.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 37512,
        end_mjd: Some(37665),
        base_seconds: 1.3728180,
        reference_mjd: 37300.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 37665,
        end_mjd: Some(38334),
        base_seconds: 1.8458580,
        reference_mjd: 37665.0,
        slope_seconds_per_day: 0.0011232,
    },
    UtcTaiSegment {
        start_mjd: 38334,
        end_mjd: Some(38395),
        base_seconds: 1.9458580,
        reference_mjd: 37665.0,
        slope_seconds_per_day: 0.0011232,
    },
    UtcTaiSegment {
        start_mjd: 38395,
        end_mjd: Some(38486),
        base_seconds: 3.2401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 38486,
        end_mjd: Some(38639),
        base_seconds: 3.3401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 38639,
        end_mjd: Some(38761),
        base_seconds: 3.4401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 38761,
        end_mjd: Some(38820),
        base_seconds: 3.5401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 38820,
        end_mjd: Some(38942),
        base_seconds: 3.6401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 38942,
        end_mjd: Some(39004),
        base_seconds: 3.7401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 39004,
        end_mjd: Some(39126),
        base_seconds: 3.8401300,
        reference_mjd: 38761.0,
        slope_seconds_per_day: 0.0012960,
    },
    UtcTaiSegment {
        start_mjd: 39126,
        end_mjd: Some(39887),
        base_seconds: 4.3131700,
        reference_mjd: 39126.0,
        slope_seconds_per_day: 0.0025920,
    },
    UtcTaiSegment {
        start_mjd: 39887,
        end_mjd: Some(41317),
        base_seconds: 4.2131700,
        reference_mjd: 39126.0,
        slope_seconds_per_day: 0.0025920,
    },
    UtcTaiSegment {
        start_mjd: 41317,
        end_mjd: Some(41499),
        base_seconds: 10.0000000,
        reference_mjd: 41317.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 41499,
        end_mjd: Some(41683),
        base_seconds: 11.0000000,
        reference_mjd: 41499.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 41683,
        end_mjd: Some(42048),
        base_seconds: 12.0000000,
        reference_mjd: 41683.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 42048,
        end_mjd: Some(42413),
        base_seconds: 13.0000000,
        reference_mjd: 42048.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 42413,
        end_mjd: Some(42778),
        base_seconds: 14.0000000,
        reference_mjd: 42413.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 42778,
        end_mjd: Some(43144),
        base_seconds: 15.0000000,
        reference_mjd: 42778.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 43144,
        end_mjd: Some(43509),
        base_seconds: 16.0000000,
        reference_mjd: 43144.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 43509,
        end_mjd: Some(43874),
        base_seconds: 17.0000000,
        reference_mjd: 43509.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 43874,
        end_mjd: Some(44239),
        base_seconds: 18.0000000,
        reference_mjd: 43874.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 44239,
        end_mjd: Some(44786),
        base_seconds: 19.0000000,
        reference_mjd: 44239.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 44786,
        end_mjd: Some(45151),
        base_seconds: 20.0000000,
        reference_mjd: 44786.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 45151,
        end_mjd: Some(45516),
        base_seconds: 21.0000000,
        reference_mjd: 45151.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 45516,
        end_mjd: Some(46247),
        base_seconds: 22.0000000,
        reference_mjd: 45516.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 46247,
        end_mjd: Some(47161),
        base_seconds: 23.0000000,
        reference_mjd: 46247.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 47161,
        end_mjd: Some(47892),
        base_seconds: 24.0000000,
        reference_mjd: 47161.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 47892,
        end_mjd: Some(48257),
        base_seconds: 25.0000000,
        reference_mjd: 47892.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 48257,
        end_mjd: Some(48804),
        base_seconds: 26.0000000,
        reference_mjd: 48257.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 48804,
        end_mjd: Some(49169),
        base_seconds: 27.0000000,
        reference_mjd: 48804.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 49169,
        end_mjd: Some(49534),
        base_seconds: 28.0000000,
        reference_mjd: 49169.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 49534,
        end_mjd: Some(50083),
        base_seconds: 29.0000000,
        reference_mjd: 49534.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 50083,
        end_mjd: Some(50630),
        base_seconds: 30.0000000,
        reference_mjd: 50083.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 50630,
        end_mjd: Some(51179),
        base_seconds: 31.0000000,
        reference_mjd: 50630.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 51179,
        end_mjd: Some(53736),
        base_seconds: 32.0000000,
        reference_mjd: 51179.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 53736,
        end_mjd: Some(54832),
        base_seconds: 33.0000000,
        reference_mjd: 53736.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 54832,
        end_mjd: Some(56109),
        base_seconds: 34.0000000,
        reference_mjd: 54832.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 56109,
        end_mjd: Some(57204),
        base_seconds: 35.0000000,
        reference_mjd: 56109.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 57204,
        end_mjd: Some(57754),
        base_seconds: 36.0000000,
        reference_mjd: 57204.0,
        slope_seconds_per_day: 0.0000000,
    },
    UtcTaiSegment {
        start_mjd: 57754,
        end_mjd: None,
        base_seconds: 37.0000000,
        reference_mjd: 57754.0,
        slope_seconds_per_day: 0.0000000,
    },
];

#[rustfmt::skip]
pub(crate) const MODERN_DELTA_T_POINTS: [(f64, f64); 670] = [
    (41714.000, 43.4724),
    (41742.000, 43.5648),
    (41773.000, 43.6737),
    (41803.000, 43.7782),
    (41834.000, 43.8763),
    (41864.000, 43.9562),
    (41895.000, 44.0315),
    (41926.000, 44.1132),
    (41956.000, 44.1982),
    (41987.000, 44.2952),
    (42017.000, 44.3936),
    (42048.000, 44.4841),
    (42079.000, 44.5646),
    (42107.000, 44.6425),
    (42138.000, 44.7386),
    (42168.000, 44.8370),
    (42199.000, 44.9302),
    (42229.000, 44.9986),
    (42260.000, 45.0584),
    (42291.000, 45.1284),
    (42321.000, 45.2064),
    (42352.000, 45.2980),
    (42382.000, 45.3897),
    (42413.000, 45.4761),
    (42444.000, 45.5632),
    (42472.000, 45.6450),
    (42503.000, 45.7375),
    (42533.000, 45.8284),
    (42564.000, 45.9133),
    (42594.000, 45.9820),
    (42625.000, 46.0407),
    (42656.000, 46.1067),
    (42686.000, 46.1825),
    (42717.000, 46.2789),
    (42747.000, 46.3713),
    (42778.000, 46.4567),
    (42809.000, 46.5445),
    (42838.000, 46.6311),
    (42869.000, 46.7302),
    (42899.000, 46.8284),
    (42930.000, 46.9247),
    (42960.000, 46.9970),
    (42991.000, 47.0709),
    (43022.000, 47.1451),
    (43052.000, 47.2362),
    (43083.000, 47.3413),
    (43113.000, 47.4319),
    (43144.000, 47.5214),
    (43175.000, 47.6049),
    (43203.000, 47.6837),
    (43234.000, 47.7781),
    (43264.000, 47.8771),
    (43295.000, 47.9687),
    (43325.000, 48.0348),
    (43356.000, 48.0942),
    (43387.000, 48.1608),
    (43417.000, 48.2460),
    (43448.000, 48.3439),
    (43478.000, 48.4355),
    (43509.000, 48.5344),
    (43540.000, 48.6325),
    (43568.000, 48.7294),
    (43599.000, 48.8365),
    (43629.000, 48.9353),
    (43660.000, 49.0319),
    (43690.000, 49.1013),
    (43721.000, 49.1591),
    (43752.000, 49.2286),
    (43782.000, 49.3070),
    (43813.000, 49.4018),
    (43843.000, 49.4945),
    (43874.000, 49.5861),
    (43905.000, 49.6805),
    (43933.000, 49.7602),
    (43964.000, 49.8556),
    (43994.000, 49.9489),
    (44025.000, 50.0347),
    (44055.000, 50.1019),
    (44086.000, 50.1622),
    (44117.000, 50.2260),
    (44147.000, 50.2968),
    (44178.000, 50.3831),
    (44208.000, 50.4599),
    (44239.000, 50.5387),
    (44270.000, 50.6160),
    (44299.000, 50.6866),
    (44330.000, 50.7658),
    (44360.000, 50.8454),
    (44391.000, 50.9187),
    (44421.000, 50.9761),
    (44452.000, 51.0278),
    (44483.000, 51.0843),
    (44513.000, 51.1538),
    (44544.000, 51.2319),
    (44574.000, 51.3063),
    (44605.000, 51.3808),
    (44636.000, 51.4526),
    (44664.000, 51.5160),
    (44695.000, 51.5985),
    (44725.000, 51.6809),
    (44756.000, 51.7573),
    (44786.000, 51.8133),
    (44817.000, 51.8532),
    (44848.000, 51.9014),
    (44878.000, 51.9603),
    (44909.000, 52.0328),
    (44939.000, 52.0985),
    (44970.000, 52.1668),
    (45001.000, 52.2316),
    (45029.000, 52.2938),
    (45060.000, 52.3680),
    (45090.000, 52.4465),
    (45121.000, 52.5180),
    (45151.000, 52.5751),
    (45182.000, 52.6178),
    (45213.000, 52.6668),
    (45243.000, 52.7340),
    (45274.000, 52.8056),
    (45304.000, 52.8792),
    (45335.000, 52.9565),
    (45366.000, 53.0445),
    (45394.000, 53.1268),
    (45425.000, 53.2197),
    (45455.000, 53.3024),
    (45486.000, 53.3747),
    (45516.000, 53.4335),
    (45547.000, 53.4778),
    (45578.000, 53.5300),
    (45608.000, 53.5845),
    (45639.000, 53.6523),
    (45669.000, 53.7256),
    (45700.000, 53.7882),
    (45731.000, 53.8367),
    (45760.000, 53.8830),
    (45791.000, 53.9443),
    (45821.000, 54.0042),
    (45852.000, 54.0536),
    (45882.000, 54.0856),
    (45913.000, 54.1084),
    (45944.000, 54.1463),
    (45974.000, 54.1914),
    (46005.000, 54.2452),
    (46035.000, 54.2958),
    (46066.000, 54.3427),
    (46097.000, 54.3911),
    (46125.000, 54.4320),
    (46156.000, 54.4898),
    (46186.000, 54.5456),
    (46217.000, 54.5977),
    (46247.000, 54.6355),
    (46278.000, 54.6532),
    (46309.000, 54.6776),
    (46339.000, 54.7174),
    (46370.000, 54.7741),
    (46400.000, 54.8253),
    (46431.000, 54.8713),
    (46462.000, 54.9161),
    (46490.000, 54.9581),
    (46521.000, 54.9997),
    (46551.000, 55.0476),
    (46582.000, 55.0912),
    (46612.000, 55.1132),
    (46643.000, 55.1328),
    (46674.000, 55.1532),
    (46704.000, 55.1898),
    (46735.000, 55.2416),
    (46765.000, 55.2838),
    (46796.000, 55.3222),
    (46827.000, 55.3613),
    (46855.000, 55.4063),
    (46886.000, 55.4629),
    (46916.000, 55.5111),
    (46947.000, 55.5524),
    (46977.000, 55.5812),
    (47008.000, 55.6004),
    (47039.000, 55.6262),
    (47069.000, 55.6656),
    (47100.000, 55.7168),
    (47130.000, 55.7698),
    (47161.000, 55.8197),
    (47192.000, 55.8615),
    (47221.000, 55.9130),
    (47252.000, 55.9663),
    (47282.000, 56.0220),
    (47313.000, 56.0700),
    (47343.000, 56.0939),
    (47374.000, 56.1105),
    (47405.000, 56.1314),
    (47435.000, 56.1611),
    (47466.000, 56.2068),
    (47496.000, 56.2583),
    (47527.000, 56.3000),
    (47558.000, 56.3399),
    (47586.000, 56.3790),
    (47617.000, 56.4283),
    (47647.000, 56.4804),
    (47678.000, 56.5352),
    (47708.000, 56.5697),
    (47739.000, 56.5983),
    (47770.000, 56.6328),
    (47800.000, 56.6739),
    (47831.000, 56.7332),
    (47861.000, 56.7972),
    (47892.000, 56.8553),
    (47923.000, 56.9111),
    (47951.000, 56.9755),
    (47982.000, 57.0471),
    (48012.000, 57.1136),
    (48043.000, 57.1738),
    (48073.000, 57.2226),
    (48104.000, 57.2597),
    (48135.000, 57.3073),
    (48165.000, 57.3643),
    (48196.000, 57.4334),
    (48226.000, 57.5016),
    (48257.000, 57.5653),
    (48288.000, 57.6333),
    (48316.000, 57.6973),
    (48347.000, 57.7711),
    (48377.000, 57.8407),
    (48408.000, 57.9058),
    (48438.000, 57.9576),
    (48469.000, 57.9975),
    (48500.000, 58.0426),
    (48530.000, 58.1043),
    (48561.000, 58.1679),
    (48591.000, 58.2389),
    (48622.000, 58.3092),
    (48653.000, 58.3833),
    (48682.000, 58.4537),
    (48713.000, 58.5401),
    (48743.000, 58.6228),
    (48774.000, 58.6917),
    (48804.000, 58.7410),
    (48835.000, 58.7836),
    (48866.000, 58.8406),
    (48896.000, 58.8986),
    (48927.000, 58.9714),
    (48957.000, 59.0438),
    (48988.000, 59.1218),
    (49019.000, 59.2003),
    (49047.000, 59.2747),
    (49078.000, 59.3574),
    (49108.000, 59.4434),
    (49139.000, 59.5242),
    (49169.000, 59.5850),
    (49200.000, 59.6343),
    (49231.000, 59.6928),
    (49261.000, 59.7588),
    (49292.000, 59.8386),
    (49322.000, 59.9111),
    (49353.000, 59.9845),
    (49384.000, 60.0564),
    (49412.000, 60.1231),
    (49443.000, 60.2042),
    (49473.000, 60.2804),
    (49504.000, 60.3530),
    (49534.000, 60.4012),
    (49565.000, 60.4440),
    (49596.000, 60.4900),
    (49626.000, 60.5578),
    (49657.000, 60.6324),
    (49687.000, 60.7059),
    (49718.000, 60.7853),
    (49749.000, 60.8664),
    (49777.000, 60.9387),
    (49808.000, 61.0277),
    (49838.000, 61.1103),
    (49869.000, 61.1870),
    (49899.000, 61.2454),
    (49930.000, 61.2881),
    (49961.000, 61.3378),
    (49991.000, 61.4036),
    (50022.000, 61.4760),
    (50052.000, 61.5525),
    (50083.000, 61.6287),
    (50114.000, 61.6846),
    (50143.000, 61.7433),
    (50174.000, 61.8132),
    (50204.000, 61.8823),
    (50235.000, 61.9497),
    (50265.000, 61.9969),
    (50296.000, 62.0343),
    (50327.000, 62.0714),
    (50357.000, 62.1202),
    (50388.000, 62.1810),
    (50418.000, 62.2382),
    (50449.000, 62.2950),
    (50480.000, 62.3506),
    (50508.000, 62.3995),
    (50539.000, 62.4754),
    (50569.000, 62.5463),
    (50600.000, 62.6136),
    (50630.000, 62.6571),
    (50661.000, 62.6942),
    (50692.000, 62.7383),
    (50722.000, 62.7926),
    (50753.000, 62.8567),
    (50783.000, 62.9146),
    (50814.000, 62.9659),
    (50845.000, 63.0217),
    (50873.000, 63.0807),
    (50904.000, 63.1462),
    (50934.000, 63.2053),
    (50965.000, 63.2599),
    (50995.000, 63.2844),
    (51026.000, 63.2961),
    (51057.000, 63.3126),
    (51087.000, 63.3422),
    (51118.000, 63.3871),
    (51148.000, 63.4339),
    (51179.000, 63.4673),
    (51210.000, 63.4979),
    (51238.000, 63.5319),
    (51269.000, 63.5679),
    (51299.000, 63.6104),
    (51330.000, 63.6444),
    (51360.000, 63.6642),
    (51391.000, 63.6739),
    (51422.000, 63.6926),
    (51452.000, 63.7147),
    (51483.000, 63.7518),
    (51513.000, 63.7927),
    (51544.000, 63.8285),
    (51575.000, 63.8557),
    (51604.000, 63.8804),
    (51635.000, 63.9075),
    (51665.000, 63.9393),
    (51696.000, 63.9691),
    (51726.000, 63.9799),
    (51757.000, 63.9833),
    (51788.000, 63.9938),
    (51818.000, 64.0093),
    (51849.000, 64.0400),
    (51879.000, 64.0670),
    (51910.000, 64.0908),
    (51941.000, 64.1068),
    (51969.000, 64.1282),
    (52000.000, 64.1584),
    (52030.000, 64.1833),
    (52061.000, 64.2094),
    (52091.000, 64.2117),
    (52122.000, 64.2073),
    (52153.000, 64.2116),
    (52183.000, 64.2223),
    (52214.000, 64.2500),
    (52244.000, 64.2761),
    (52275.000, 64.2998),
    (52306.000, 64.3192),
    (52334.000, 64.3450),
    (52365.000, 64.3735),
    (52395.000, 64.3943),
    (52426.000, 64.4151),
    (52456.000, 64.4132),
    (52487.000, 64.4118),
    (52518.000, 64.4097),
    (52548.000, 64.4168),
    (52579.000, 64.4329),
    (52609.000, 64.4511),
    (52640.000, 64.4734),
    (52671.000, 64.4893),
    (52699.000, 64.5053),
    (52730.000, 64.5269),
    (52760.000, 64.5471),
    (52791.000, 64.5597),
    (52821.000, 64.5512),
    (52852.000, 64.5371),
    (52883.000, 64.5359),
    (52913.000, 64.5415),
    (52944.000, 64.5544),
    (52974.000, 64.5654),
    (53005.000, 64.5736),
    (53036.000, 64.5891),
    (53065.000, 64.6015),
    (53096.000, 64.6176),
    (53126.000, 64.6374),
    (53157.000, 64.6549),
    (53187.000, 64.6530),
    (53218.000, 64.6379),
    (53249.000, 64.6372),
    (53279.000, 64.6400),
    (53310.000, 64.6543),
    (53340.000, 64.6723),
    (53371.000, 64.6876),
    (53402.000, 64.7052),
    (53430.000, 64.7313),
    (53461.000, 64.7575),
    (53491.000, 64.7811),
    (53522.000, 64.8001),
    (53552.000, 64.7995),
    (53583.000, 64.7876),
    (53614.000, 64.7831),
    (53644.000, 64.7921),
    (53675.000, 64.8096),
    (53705.000, 64.8311),
    (53736.000, 64.8452),
    (53767.000, 64.8597),
    (53795.000, 64.8850),
    (53826.000, 64.9175),
    (53856.000, 64.9480),
    (53887.000, 64.9794),
    (53917.000, 64.9895),
    (53948.000, 65.0028),
    (53979.000, 65.0138),
    (54009.000, 65.0371),
    (54040.000, 65.0773),
    (54070.000, 65.1122),
    (54101.000, 65.1464),
    (54132.000, 65.1833),
    (54160.000, 65.2145),
    (54191.000, 65.2494),
    (54221.000, 65.2921),
    (54252.000, 65.3279),
    (54282.000, 65.3413),
    (54313.000, 65.3452),
    (54344.000, 65.3496),
    (54374.000, 65.3711),
    (54405.000, 65.3972),
    (54435.000, 65.4296),
    (54466.000, 65.4573),
    (54497.000, 65.4868),
    (54526.000, 65.5152),
    (54557.000, 65.5450),
    (54587.000, 65.5781),
    (54618.000, 65.6127),
    (54648.000, 65.6288),
    (54679.000, 65.6370),
    (54710.000, 65.6493),
    (54740.000, 65.6760),
    (54771.000, 65.7097),
    (54801.000, 65.7461),
    (54832.000, 65.7768),
    (54863.000, 65.8025),
    (54891.000, 65.8237),
    (54922.000, 65.8595),
    (54952.000, 65.8973),
    (54983.000, 65.9323),
    (55013.000, 65.9509),
    (55044.000, 65.9534),
    (55075.000, 65.9628),
    (55105.000, 65.9839),
    (55136.000, 66.0147),
    (55166.000, 66.0420),
    (55197.000, 66.0699),
    (55228.000, 66.0961),
    (55256.000, 66.1310),
    (55287.000, 66.1683),
    (55317.000, 66.2072),
    (55348.000, 66.2356),
    (55378.000, 66.2409),
    (55409.000, 66.2335),
    (55440.000, 66.2349),
    (55470.000, 66.2441),
    (55501.000, 66.2751),
    (55531.000, 66.3054),
    (55562.000, 66.3246),
    (55593.000, 66.3406),
    (55621.000, 66.3624),
    (55652.000, 66.3957),
    (55682.000, 66.4289),
    (55713.000, 66.4619),
    (55743.000, 66.4749),
    (55774.000, 66.4751),
    (55805.000, 66.4829),
    (55835.000, 66.5056),
    (55866.000, 66.5383),
    (55896.000, 66.5706),
    (55927.000, 66.6030),
    (55958.000, 66.6340),
    (55987.000, 66.6569),
    (56018.000, 66.6925),
    (56048.000, 66.7289),
    (56079.000, 66.7579),
    (56109.000, 66.7708),
    (56140.000, 66.7740),
    (56171.000, 66.7846),
    (56201.000, 66.8103),
    (56232.000, 66.8400),
    (56262.000, 66.8779),
    (56293.000, 66.9069),
    (56324.000, 66.9443),
    (56352.000, 66.9763),
    (56383.000, 67.0258),
    (56413.000, 67.0716),
    (56444.000, 67.1100),
    (56474.000, 67.1266),
    (56505.000, 67.1331),
    (56536.000, 67.1458),
    (56566.000, 67.1717),
    (56597.000, 67.2091),
    (56627.000, 67.2460),
    (56658.000, 67.2810),
    (56689.000, 67.3136),
    (56717.000, 67.3457),
    (56748.000, 67.3890),
    (56778.000, 67.4318),
    (56809.000, 67.4666),
    (56839.000, 67.4858),
    (56870.000, 67.4989),
    (56901.000, 67.5111),
    (56931.000, 67.5353),
    (56962.000, 67.5711),
    (56992.000, 67.6070),
    (57023.000, 67.6439),
    (57054.000, 67.6765),
    (57082.000, 67.7117),
    (57113.000, 67.7591),
    (57143.000, 67.8012),
    (57174.000, 67.8402),
    (57204.000, 67.8606),
    (57235.000, 67.8822),
    (57266.000, 67.9120),
    (57296.000, 67.9546),
    (57327.000, 68.0055),
    (57357.000, 68.0514),
    (57388.000, 68.1024),
    (57419.000, 68.1577),
    (57448.000, 68.2044),
    (57479.000, 68.2665),
    (57509.000, 68.3188),
    (57540.000, 68.3704),
    (57570.000, 68.3964),
    (57601.000, 68.4094),
    (57632.000, 68.4305),
    (57662.000, 68.4630),
    (57693.000, 68.5078),
    (57723.000, 68.5537),
    (57754.000, 68.5927),
    (57785.000, 68.6298),
    (57813.000, 68.6671),
    (57844.000, 68.7135),
    (57874.000, 68.7623),
    (57905.000, 68.8033),
    (57935.000, 68.8245),
    (57966.000, 68.8373),
    (57997.000, 68.8477),
    (58027.000, 68.8689),
    (58058.000, 68.9006),
    (58088.000, 68.9355),
    (58119.000, 68.9676),
    (58150.000, 68.9875),
    (58178.000, 69.0176),
    (58209.000, 69.0499),
    (58239.000, 69.0823),
    (58270.000, 69.1070),
    (58300.000, 69.1134),
    (58331.000, 69.1142),
    (58362.000, 69.1207),
    (58392.000, 69.1356),
    (58423.000, 69.1646),
    (58453.000, 69.1964),
    (58484.000, 69.2202),
    (58515.000, 69.2452),
    (58543.000, 69.2733),
    (58574.000, 69.3032),
    (58604.000, 69.3326),
    (58635.000, 69.3541),
    (58665.000, 69.3582),
    (58696.000, 69.3442),
    (58727.000, 69.3376),
    (58757.000, 69.3377),
    (58788.000, 69.3432),
    (58818.000, 69.3540),
    (58849.000, 69.3612),
    (58880.000, 69.3752),
    (58909.000, 69.3890),
    (58940.000, 69.4092),
    (58970.000, 69.4265),
    (59001.000, 69.4386),
    (59031.000, 69.4241),
    (59062.000, 69.3921),
    (59093.000, 69.3693),
    (59123.000, 69.3575),
    (59154.000, 69.3593),
    (59184.000, 69.3630),
    (59215.000, 69.3594),
    (59246.000, 69.3510),
    (59274.000, 69.3538),
    (59305.000, 69.3582),
    (59335.000, 69.3673),
    (59366.000, 69.3679),
    (59396.000, 69.3514),
    (59427.000, 69.3273),
    (59458.000, 69.3033),
    (59488.000, 69.2892),
    (59519.000, 69.2881),
    (59549.000, 69.2908),
    (59580.000, 69.2945),
    (59611.000, 69.2914),
    (59639.000, 69.2861),
    (59670.000, 69.2835),
    (59700.000, 69.2816),
    (59731.000, 69.2799),
    (59761.000, 69.2527),
    (59792.000, 69.2213),
    (59823.000, 69.1975),
    (59853.000, 69.1891),
    (59884.000, 69.1942),
    (59914.000, 69.2036),
    (59945.000, 69.2039),
    (59976.000, 69.1986),
    (60004.000, 69.1993),
    (60035.000, 69.2084),
    (60065.000, 69.2183),
    (60096.000, 69.2300),
    (60126.000, 69.2201),
    (60157.000, 69.1988),
    (60188.000, 69.1814),
    (60218.000, 69.1723),
    (60249.000, 69.1727),
    (60279.000, 69.1724),
    (60310.000, 69.1752),
    (60341.000, 69.1797),
    (60370.000, 69.1874),
    (60401.000, 69.1983),
    (60431.000, 69.2018),
    (60462.000, 69.2044),
    (60492.000, 69.1879),
    (60523.000, 69.1588),
    (60554.000, 69.1322),
    (60584.000, 69.1250),
    (60615.000, 69.1304),
    (60645.000, 69.1345),
    (60676.000, 69.1377),
    (60707.000, 69.1366),
    (60735.000, 69.1384),
    (60766.000, 69.1471),
    (60796.000, 69.1542),
    (60827.000, 69.1550),
    (60857.000, 69.1406),
    (60888.000, 69.1219),
    (60919.000, 69.0994),
    (60949.000, 69.0909),
    (60980.000, 69.0909),
    (61010.000, 69.1042),
    (61041.000, 69.1099),
    (61072.000, 69.1133),
    (61100.000, 69.1168),
    (61131.000, 69.1330),
    (61132.000, 69.1332),
    (61223.000, 69.1532),
    (61314.000, 69.1332),
    (61406.000, 69.1832),
    (61497.000, 69.2532),
    (61588.000, 69.3032),
    (61680.000, 69.3032),
    (61771.000, 69.3832),
    (61862.000, 69.4832),
    (61954.000, 69.5532),
    (62045.000, 69.5832),
    (62136.000, 69.6732),
    (62228.000, 69.7932),
    (62319.000, 69.8732),
    (62410.000, 69.9132),
    (62502.000, 70.0132),
    (62593.000, 70.1232),
    (62684.000, 70.2132),
    (62775.000, 70.2532),
    (62867.000, 70.3632),
    (62958.000, 70.4632),
    (63049.000, 70.5532),
    (63141.000, 70.5732),
    (63232.000, 70.6632),
    (63323.000, 70.7632),
    (63415.000, 70.8632),
    (63506.000, 70.9032),
    (63597.000, 71.0232),
    (63689.000, 71.1432),
    (63780.000, 71.2432),
    (63871.000, 71.2932),
];