The number of files for each SPICE kernel type is shown in the table below for the missions specified.
An asterisk (*) indicates that one or more non-kernel files are also present; usually this is an 'aareadme'
file that explains the kernel file naming convention. The count of the number of kernels is made ONLY
in the primary directory; in some cases there are additional kernels in a subdirectory (for instance,
older versions of kernels that have been replaced with newer versions).