General information about SPICE LS-kernels                                    
==========================================                                    
                                                                              
   In the SPICE system, the Leapsecond (or LS) -kernel contains a             
   tabulation of the leapseconds and other data required to perform a         
   transformation between Universal Time Coordinated (UTC) and                
   Ephemeris time (ET). Leapseconds may occur at the New Year or the          
   end of June.                                                               
                                                                              
   The information in LSK file can be manipulated by a collection of          
   subroutines to provide required time system transformation. These          
   subroutines are part of the SPICE library, the principal component         
   of the SPICE Toolkit, and can be integrated into a user's                  
   application program. For information on the SPICE toolkit                  
   and/or how to obtain it, please consult SPICE_INST.CAT and                 
   SOFT.CAT.                                                                  
                                                                              
   Refer to the TIME.REQ document provided with the Toolkit to get more       
   information about time conversions supported within the SPICE              
   system.                                                                    
                                                                              
Mars Express LSK Files                                                        
                                                                              
   This file describes the contents of the DATA/LSK directory. It also        
   provides the file naming conventions used for the Mars Express LSK         
   kernels, and it provides identification of the most current version of     
   LSK files.                                                                 
                                                                              
   The LSK file is created by NAIF, and modified every time a new Leapsecond  
   is announced by the International Earth Rotation Service (IERS).           
                                                                              
   All LSK files (*.TLS) contained in this directory are UNIX text            
   files. In order to be used in a non-UNIX environment, they have to         
   be converted to the appropiate end-line convention. For example, the       
   lines have to be terminated by a <CR><LF> combination for Windows          
   platforms.                                                                 
                                                                              
Mars Express Leap Seconds Kernels Contained in this Data Set                  
============================================================                  
                                                                              
   The following LS-kernels are provided in this data set:                    
                                                                              
   NAIFvvvv.TLS   File specifying the relationship between the                
                  Barycentric Dynamical Time (TDB, also called                
                  Ephemeris Time, ET) and Coordinated Universal Time          
                  (UTC) up to the last modification in the Leapseconds.       
                                                                              
   Note that when several LSK kernels are provided in the dataset, the        
   most recent one supersedes all the others.                                 
                                                                              
Kernel file details                                                           
===================                                                           
                                                                              
   The most detailed description of the data in an LSK file is provided       
   in metadata included inside the description area of the file. This         
   information can be viewed using any text editor program.