../ themis_a_ephemeris_20080525.txt 22-Jun-2023 16:20 110847 themis_b_ephemeris_20080525.txt 22-Jun-2023 16:20 83711 themis_c_ephemeris_20080525.txt 22-Jun-2023 16:20 100647 themis_d_ephemeris_20080525.txt 22-Jun-2023 16:20 111894 themis_e_ephemeris_20080525.txt 22-Jun-2023 16:20 111976