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