SPICE Data for Mars 2020 (M2020)
--------------------------------------------------------
 
     This set of data consists (or will consist) of the planning and 
     operations SPICE data produced for the Mars 2020 mission.