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