../ themis_a_ephemeris_20090517.txt 22-Jun-2023 00:12 111237 themis_b_ephemeris_20090517.txt 22-Jun-2023 00:12 85123 themis_c_ephemeris_20090517.txt 22-Jun-2023 00:12 91311 themis_d_ephemeris_20090517.txt 22-Jun-2023 00:12 112095 themis_e_ephemeris_20090517.txt 22-Jun-2023 00:12 111999