../ themis_a_ephemeris_20130731.txt 22-Jun-2023 00:22 111853 themis_b_ephemeris_20130731.txt 22-Jun-2023 00:22 83037 themis_c_ephemeris_20130731.txt 22-Jun-2023 00:22 83048 themis_d_ephemeris_20130731.txt 22-Jun-2023 00:22 111434 themis_e_ephemeris_20130731.txt 22-Jun-2023 00:22 111023