../ themis_a_ephemeris_20100517.txt 22-Jun-2023 00:15 111875 themis_b_ephemeris_20100517.txt 22-Jun-2023 00:15 83017 themis_c_ephemeris_20100517.txt 22-Jun-2023 00:15 84499 themis_d_ephemeris_20100517.txt 22-Jun-2023 00:15 112303 themis_e_ephemeris_20100517.txt 22-Jun-2023 00:15 112311