PDS_VERSION_ID           = 3
DATA_SET_ID              = "VEX-V-VIRTIS-2/3-EXT4-V1.0"
PRODUCT_ID               = "SOFTWARE_PACKAGE"
PRODUCT_CREATION_TIME    = 2011-03-04T14:27:21.000
RELEASE_ID               = 0001
REVISION_ID              = 0000
RECORD_TYPE              = UNDEFINED
^COMPRESSED_FILE         = "LECTUREPDS2_8_1.ZIP"

OBJECT                   = COMPRESSED_FILE
  FILE_NAME              = "LECTUREPDS2_8_1.ZIP"
  RECORD_TYPE            = UNDEFINED
  ENCODING_TYPE          = ZIP
  INTERCHANGE_FORMAT     = BINARY
  REQUIRED_STORAGE_BYTES = 131748
  DESCRIPTION            = "Compression is described in ZIPINFO.TXT.
                            Software documentation in LECTURE_PDS.PDF"
END_OBJECT               = COMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_arascpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     19840
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_arascpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_arbinpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     22099
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_arbinpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_atabpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     13444
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_atabpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_bmaskpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      4086
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_bmaskpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_btabpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     16881
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_btabpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_btabvect.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      6945
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_btabvect.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_colaspds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     17946
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_colaspds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_colbipds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     19997
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_colbipds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_compute_intnum.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      2602
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_compute_intnum.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_compute_scet.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      2648
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_compute_scet.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_eolpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5109
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_eolpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_fcode.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      4970
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_fcode.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_getpath.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      3386
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_getpath.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_headpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      7672
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_headpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_hk_names.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      7978
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_hk_names.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_imagepds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     18140
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_imagepds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_listpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5362
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_listpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_objpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      7208
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_objpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_pdshk.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5406
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_pdshk.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_pdspar.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     15048
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_pdspar.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_pointpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      6296
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_pointpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_qubepds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     43212
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_qubepds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_readpds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     17746
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_readpds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_scet.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      4247
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_scet.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_scet2ut.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      7115
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_scet2ut.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_str2num.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      8637
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_str2num.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_swapdata.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5180
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_swapdata.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_time.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5883
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_time.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_transfunchk.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      4889
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_transfunchk.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_translatehk.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     22192
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_translatehk.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_typepds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5742
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_typepds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "v_vaxtoieee.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =      5362
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file v_vaxtoieee.pro"
END_OBJECT               = UNCOMPRESSED_FILE

OBJECT                   = UNCOMPRESSED_FILE
  FILE_NAME              = "virtispds.pro"
  RECORD_TYPE            = STREAM
  FILE_RECORDS           =     24604
  INTERCHANGE_FORMAT     = ASCII
  DESCRIPTION            = "This is the source file virtispds.pro"
END_OBJECT               = UNCOMPRESSED_FILE

END