../ themis_a_ephemeris_20120730.txt 22-Jun-2023 00:20 111482 themis_b_ephemeris_20120730.txt 22-Jun-2023 00:20 87109 themis_c_ephemeris_20120730.txt 22-Jun-2023 00:20 85034 themis_d_ephemeris_20120730.txt 22-Jun-2023 00:20 112021 themis_e_ephemeris_20120730.txt 22-Jun-2023 00:20 112189