PDS_VERSION_ID = PDS3 RECORD_TYPE = STREAM ^SPICE_KERNEL = "naif0012.tls" KERNEL_TYPE_ID = LSK OBJECT = SPICE_KERNEL INTERCHANGE_FORMAT = ASCII KERNEL_TYPE = LEAPSECONDS DESCRIPTION = "SPICE leapseconds kernel" END_OBJECT = SPICE_KERNEL END