;;; -*- Mode: Lisp; Package: tape; Base:10; Readtable:CL -*-
;;;
;;; Backup log for "(:TAPE "JB-INCREMENTAL-00078")" (format:LMFL-FORMAT) on host: GSI-JAMES-BROWN.
;;; Dumped by fileserver on 2804619583ate.
;;;


(SETQ *DUMP-INFO-LIST* (QUOTE ((:TAPE "JB-INCREMENTAL-00078") :HOST "GSI-JAMES-BROWN" :LOG-FILE "JB: BACKUP-LOGS.INCREMENTAL; 78.BACKUP-LOG#1" :TAPE-FORMAT LMFL-FORMAT :USER "fileserver" :TIME 2804619583 :LOG-VERSION 2))) 


;;; The format for the files is:
;;; (<directory> <name> <type> <version> <characters> <creation-date>
;;;  <byte-size> <author>)
;;;

(setq *dump-files-list*
'(("PROPOSALS" TLPCP::GENERATING-INTERNAL-RELEASES TLPCP::TEXT 10 T 2804617917 8 TLPCP::|saz|)
("K-NUBUS" TLPCP::ILLOP-CODES TLPCP::LISP 527 T 2804556189 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::LISP 7 T 2804600086 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::LISP 6 T 2804597545 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::LISP 5 T 2804555926 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KFASL 7 T 2804604786 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KFASL 6 T 2804597614 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KFASL 5 T 2804556057 8 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KENV 7 NIL 2804604900 16 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KENV 6 NIL 2804597713 16 TLPCP::|rg|)
(("K-NUBUS" "COLD") TLPCP::MEMORY-MAP-USE-NUBUS-MEMORY-FC TLPCP::KENV 5 NIL 2804556163 16 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::ZWEI-COMS TLPCP::QFASL 5 NIL 2804104290 16 TLPCP::|CStacy|)
("K-MAP-CHECK" TLPCP::ZWEI-COMS TLPCP::LISP 5 T 2804103850 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::ZL-TYPES TLPCP::LISP 3 T 2761589263 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::ZL-TYPES TLPCP::KFASL 3 T 2771951454 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::ZL-TYPES TLPCP::KENV 3 NIL 2771951476 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::XSTACK-GROUPS TLPCP::LISP 3 T 2774448702 8 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::XSTACK-GROUPS TLPCP::KFASL 3 T 2774533747 8 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::XSTACK-GROUPS TLPCP::KENV 3 NIL 2774533822 16 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::XBOOT TLPCP::LISP 2 T 2772216566 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::XBOOT TLPCP::KFASL 2 T 2772216761 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::XBOOT TLPCP::KENV 2 NIL 2772216917 16 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::WIMP-APPLY TLPCP::LISP 10 T 2764360120 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::WARM-LOADER-FOO TLPCP::LISP 217 T 2788983602 8 TLPCP::WKF)
("K-MAP-CHECK" TLPCP::WARM-FILES TLPCP::QFASL 124 NIL 2804112318 16 TLPCP::|smh|)
("K-MAP-CHECK" TLPCP::WARM-FILES TLPCP::LISP 124 T 2804110522 8 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::WARM-BOOT TLPCP::LISP 123 T 2803662501 8 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::WARM-BOOT TLPCP::KFASL 123 T 2803664197 8 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::WARM-BOOT TLPCP::KENV 123 NIL 2803664405 16 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::VANILLA-INTERPRETER TLPCP::LISP 80 T 2802457829 8 TLPCP::JIM)
(("K-MAP-CHECK" "WARM") TLPCP::VANILLA-INTERPRETER TLPCP::KFASL 80 T 2802460776 8 TLPCP::JIM)
(("K-MAP-CHECK" "WARM") TLPCP::VANILLA-INTERPRETER TLPCP::KENV 80 NIL 2802461456 16 TLPCP::JIM)
(("K-MAP-CHECK" "WARM") TLPCP::TOP-LEVEL-FORMS TLPCP::LISP 9 T 2797953724 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::TOP-LEVEL-FORMS TLPCP::KFASL 9 T 2799264818 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::TOP-LEVEL-FORMS TLPCP::KENV 9 NIL 2799264850 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::THROW TLPCP::LISP 25 T 2800392200 8 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::THROW TLPCP::KFASL 25 T 2800392559 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::THROW TLPCP::KENV 25 NIL 2800392602 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::STRING TLPCP::LISP 40 T 2797858567 8 TLPCP::|pfc|)
(("K-MAP-CHECK" "WARM") TLPCP::STRING TLPCP::KFASL 40 T 2799258549 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::STRING TLPCP::KENV 40 NIL 2799258746 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::STACK-GROUPS TLPCP::LISP 19 T 2789064138 8 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::STACK-GROUPS TLPCP::KFASL 19 T 2799262802 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::STACK-GROUPS TLPCP::KENV 19 NIL 2799262843 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::PACKAGE TLPCP::LKFASL 37 T 2796416412 8 TLPCP::RWK)
(("K-MAP-CHECK" "WARM") TLPCP::PACKAGE TLPCP::LKENV 37 NIL 2796417216 16 TLPCP::RWK)
(("K-MAP-CHECK" "WARM") TLPCP::PACKAGE TLPCP::LISP 67 T 2800496080 8 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::PACKAGE TLPCP::KFASL 67 T 2800496811 8 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::PACKAGE TLPCP::KENV 67 NIL 2800497495 16 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::NSEQ TLPCP::LISP 69 T 2802376457 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::NSEQ TLPCP::KFASL 69 T 2802380966 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::NSEQ TLPCP::KENV 69 NIL 2802382263 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::MISCELLANEOUS-FUNCTIONS TLPCP::LISP 10 T 2800306186 8 TLPCP::PFC)
(("K-MAP-CHECK" "WARM") TLPCP::MISCELLANEOUS-FUNCTIONS TLPCP::KFASL 10 T 2800306979 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::MISCELLANEOUS-FUNCTIONS TLPCP::KENV 10 NIL 2800306988 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::LISTS TLPCP::LISP 27 T 2792179365 8 TLPCP::WKF)
(("K-MAP-CHECK" "WARM") TLPCP::LISTS TLPCP::KFASL 27 T 2799258769 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::LISTS TLPCP::KENV 27 NIL 2799258886 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::HASH TLPCP::LISP 42 T 2797949206 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::HASH TLPCP::KFASL 42 T 2799262518 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::HASH TLPCP::KENV 42 NIL 2799262685 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::GENERIC TLPCP::LISP 86 T 2802375678 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::GENERIC TLPCP::KFASL 86 T 2802379835 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::GENERIC TLPCP::KENV 86 NIL 2802380347 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::FIXNUM TLPCP::LISP 90 T 2804539053 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::FIXNUM TLPCP::KFASL 90 T 2804544095 8 TLPCP::|fileserver|)
(("K-MAP-CHECK" "WARM") TLPCP::FIXNUM TLPCP::KENV 90 NIL 2804544181 16 TLPCP::|fileserver|)
(("K-MAP-CHECK" "WARM") TLPCP::EQUAL TLPCP::LISP 17 T 2796669948 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::EQUAL TLPCP::KFASL 17 T 2799262463 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::EQUAL TLPCP::KENV 17 NIL 2799262494 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::DO TLPCP::LISP 2 T 2802377230 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::DO TLPCP::KFASL 2 T 2802382818 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::DO TLPCP::KENV 2 NIL 2802382861 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::DEFMACRO TLPCP::LISP 14 T 2797953513 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::DEFMACRO TLPCP::KFASL 14 T 2799264719 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::DEFMACRO TLPCP::KENV 14 NIL 2799264793 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::CONVERT TLPCP::LISP 26 T 2800901058 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::CONVERT TLPCP::KFASL 26 T 2801072541 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::CONVERT TLPCP::KENV 26 NIL 2801072564 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::CONTROL-PDL TLPCP::LISP 134 T 2798170332 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::CONTROL-PDL TLPCP::KFASL 134 T 2799262873 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::CONTROL-PDL TLPCP::KENV 134 NIL 2799263118 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::CHARACTER TLPCP::LISP 46 T 2803656143 8 TLPCP::JIM)
(("K-MAP-CHECK" "WARM") TLPCP::CHARACTER TLPCP::KFASL 46 T 2803657714 8 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::CHARACTER TLPCP::KENV 46 NIL 2803657876 16 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::BOOT-STACK-GROUPS TLPCP::LISP 6 T 2794844091 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::BOOT-STACK-GROUPS TLPCP::KFASL 6 T 2799263166 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::BOOT-STACK-GROUPS TLPCP::KENV 6 NIL 2799263174 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::BALD TLPCP::LISP 29 T 2798744024 8 TLPCP::|pfc|)
(("K-MAP-CHECK" "WARM") TLPCP::BALD TLPCP::KFASL 29 T 2799258912 8 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::BALD TLPCP::KENV 29 NIL 2799259210 16 TLPCP::|jim|)
(("K-MAP-CHECK" "WARM") TLPCP::ARRAY2 TLPCP::LISP 106 T 2803656249 8 TLPCP::JIM)
(("K-MAP-CHECK" "WARM") TLPCP::ARRAY2 TLPCP::KFASL 106 T 2803656503 8 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::ARRAY2 TLPCP::KENV 106 NIL 2803657622 16 TLPCP::|smh|)
(("K-MAP-CHECK" "WARM") TLPCP::ARITHMETIC TLPCP::LISP 44 T 2801843956 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::ARITHMETIC TLPCP::KFASL 44 T 2801846018 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "WARM") TLPCP::ARITHMETIC TLPCP::KENV 44 NIL 2801846150 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::VMEM-FRAMES TLPCP::LISP 1 T 2741132703 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::VINCULUM TLPCP::LISP 2 T 2741095254 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::VINC-EXPORTER TLPCP::LISP 2 T 2748977326 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::UNFASL TLPCP::LISP 16 T 2771330735 8 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::TYPICAL-K-MAPS TLPCP::LISP 13 T 2791813482 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::TYPES TLPCP::QFASL 136 NIL 2799194114 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::TYPES TLPCP::LISP 136 T 2799128940 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::TYPES TLPCP::KFASL 134 T 2797957270 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::TYPES TLPCP::KENV 134 NIL 2797958079 16 TLPCP::PFC)
(("K-MAP-CHECK" "TV") TLPCP::TV-SIM TLPCP::LISP 2 T 2751555787 8 TLPCP::EFH)
(("K-MAP-CHECK" "TV") TLPCP::PRIMS TLPCP::LISP 2 T 2751557241 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::TST TLPCP::LISP 2 T 2763643475 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TS TLPCP::LISP 5 T 2774532974 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::TEST-STRATEGY TLPCP::LISP 4 T 2791818366 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::TEST-PACKAGE TLPCP::LISP 9 T 2772107379 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::TEST-PACKAGE TLPCP::KFASL 6 T 2768425338 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::TEST-PACKAGE TLPCP::KENV 6 NIL 2768425349 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::TEST-PACK TLPCP::LISP 1 T 2772569380 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::TEST-MAKE-REGION TLPCP::LISP 1 T 2791309218 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::TEST-FORMAT TLPCP::LISP 1 T 2771526122 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::TEST-DEFSTRUCT TLPCP::LISP 4 T 2777314694 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST-DEFSTRUCT TLPCP::KFASL 3 T 2777314515 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST-DEFSTRUCT TLPCP::KENV 3 NIL 2777314540 16 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST-APPLY TLPCP::LISP 2 T 2764674472 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST-APPLY TLPCP::KFASL 1 T 2764619264 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST-APPLY TLPCP::KENV 1 T 2764619268 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::TEST TLPCP::LISP 4 T 2764179950 8 TLPCP::|khh|)
(("K-MAP-CHECK" "TEST") TLPCP::TEST-FLOAT TLPCP::LISP 28 T 2794431427 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "TEST") TLPCP::TEST-FLOAT TLPCP::KFASL 24 T 2793653985 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "TEST") TLPCP::TEST-FLOAT TLPCP::KENV 24 NIL 2793654167 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::TDEFS TLPCP::LISP 1 T 2774467110 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::TDEFS TLPCP::KFASL 1 T 2774467134 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::TDEFS TLPCP::KENV 1 NIL 2774467183 16 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::SYSTEM TLPCP::LISP 24 T 2798830862 8 TLPCP::|pfc|)
("K-MAP-CHECK" TLPCP::SYSDEF-FLEABIT TLPCP::LISP 158 T 2794502679 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::SYSDEF TLPCP::LISP 389 T 2796993661 8 TLPCP::|fileserver|)
("K-MAP-CHECK" TLPCP::SYMBOL-PROPERTIES TLPCP::LISP 1 T 2779723795 8 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::STATIC-DOC TLPCP::TEXT 6 T 2776964941 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::STACK-GROUP-TOGGLE TLPCP::LISP 16 T 2779823611 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::STACK-GROUP-TOGGLE TLPCP::KFASL 16 T 2779824214 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::STACK-GROUP-TOGGLE TLPCP::KENV 16 NIL 2779824230 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::STACK-GROUP-PRESET TLPCP::LISP 1 T 2778015283 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::SPY-DIAGS-OLD TLPCP::LISP 72 T 2749582179 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIMULATION-SYSDEF-OLD TLPCP::LISP 1 T 2792168563 8 TLPCP::WKF)
("K-MAP-CHECK" TLPCP::SIMULATION-SYSDEF TLPCP::LISP 339 T 2794507657 8 TLPCP::|jim|)
("K-MAP-CHECK" TLPCP::SIMULATION-PACKAGES TLPCP::LISP 101 T 2767189426 8 TLPCP::|efh|)
("K-MAP-CHECK" TLPCP::SIMULATION-MICROCODE TLPCP::LISP 37 T 2745272100 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIMULATION-CONSTANTS TLPCP::LISP 15 T 2745430385 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIMULATION-AREAS TLPCP::LISP 7 T 2745272093 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIM-READ-HACK TLPCP::LISP 3 T 2741982926 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIM-DIAGS TLPCP::LISP 11 T 2747159612 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::SIM TLPCP::LISP 1 T 2757068873 8 TLPCP::|efh|)
("K-MAP-CHECK" TLPCP::SI-IMPORTS TLPCP::LISP 7 T 2775073015 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::SI-IMPORTS TLPCP::KFASL 7 T 2775073030 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::SI-IMPORTS TLPCP::KENV 7 NIL 2775073034 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::SEQUENCES-BY-HAIR TLPCP::LISP 2 T 2769543315 8 TLPCP::|efh|)
("K-MAP-CHECK" TLPCP::SEQUENCES TLPCP::LISP 1 T 2767382326 8 TLPCP::|khh|)
(("K-MAP-CHECK" "SCREEN") TLPCP::FSCREEN TLPCP::LISP 2 T 2794435461 8 TLPCP::RWK)
("K-MAP-CHECK" TLPCP::SAVE TLPCP::LISP 32 T 2772592352 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::SAVE TLPCP::KFASL 30 T 2772506380 8 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::SAVE TLPCP::KENV 30 NIL 2772506563 16 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::RUN-TAK-DEMO TLPCP::LISP 4 T 2750849523 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::REGIONS TLPCP::LISP 1 T 2741263729 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::PROM-MAKER TLPCP::LISP 3 T 2743903355 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::PRIMITIVES TLPCP::LISP 6 T 2747925647 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::PRIMITIVE-TYPES TLPCP::LISP 1 T 2755266149 8 TLPCP::|efh|)
("K-MAP-CHECK" TLPCP::PRIMITIVE-SETF TLPCP::LISP 8 T 2787589264 8 TLPCP::|pfc|)
("K-MAP-CHECK" TLPCP::PRIMITIVE-ARITHMETIC TLPCP::LISP 2 T 2748859182 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::PAGING-DEVICES TLPCP::LISP 7 T 2775153218 8 TLPCP::YOUCEF)
("K-MAP-CHECK" TLPCP::PAGING-DEVICES TLPCP::KFASL 6 T 2774616810 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::PAGING-DEVICES TLPCP::KENV 6 NIL 2774616878 16 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::PACKAGE-DEFINITIONS TLPCP::LISP 84 T 2804283855 8 TLPCP::|keith|)
(("K-MAP-CHECK" "OPCODES") TLPCP::WEITEK-FP-OPCODES TLPCP::LISP 9 T 2741704987 8 TLPCP::|naha|)
(("K-MAP-CHECK" "OPCODES") TLPCP::OPCODE-FIELDS TLPCP::LISP 10 T 2743458026 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "OPCODES") TLPCP::OPCODE-FIELD-VALUES TLPCP::LISP 2 T 2743547760 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "OPCODES") TLPCP::OPCODE-FIELD-DEFS TLPCP::LISP 4 T 2743457900 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "OPCODES") TLPCP::HACK-OPCODE-DEFS TLPCP::LISP 8 T 2743456617 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "OPCODES") TLPCP::GENERATE-OPCODE-MASKS TLPCP::LISP 2 T 2745703992 8 TLPCP::|naha|)
(("K-MAP-CHECK" "OPCODES") TLPCP::AM29332-ALU-OPCODES TLPCP::LISP 8 T 2743772736 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::OCONS TLPCP::LISP 1 T 2754661704 8 TLPCP::|efh|)
("K-MAP-CHECK" TLPCP::NMACROS TLPCP::QFASL 4 NIL 2799192431 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::NMACROS TLPCP::LISP 4 T 2773543177 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::NILS-PNAME TLPCP::LISP 1 T 2757598071 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::NILS-PNAME TLPCP::KFASL 1 T 2757598097 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::NEW-SETF-MACROS TLPCP::QFASL 20 NIL 2799193878 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::NEW-SETF-MACROS TLPCP::LISP 20 T 2795120518 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::NEW-SETF TLPCP::QFASL 41 NIL 2799192502 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::NEW-SETF TLPCP::LISP 41 T 2788379208 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::NEW-PACK TLPCP::LISP 3 T 2769973306 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::NEW-PACK TLPCP::KFASL 3 T 2769973402 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::NEW-PACK TLPCP::KENV 3 NIL 2769974055 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::NEW-FASDUMP-FOR-K-DEBUGGER TLPCP::QFASL 65 NIL 2799689688 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::NEW-FASDUMP-FOR-K-DEBUGGER TLPCP::LISP 65 T 2799432697 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::NEW-FASDUMP TLPCP::QFASL 66 NIL 2804264390 16 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::NEW-FASDUMP TLPCP::LISP 66 T 2804194254 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::NEW-DEBUG-BOARD TLPCP::LISP 3 T 2747857873 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FSYSDCL TLPCP::LISP 2 T 2802280271 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FSYSCONF TLPCP::LISP 1 T 2801825939 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FQDEFS TLPCP::LISP 7 T 2804173213 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FQCOM TLPCP::LISP 32 T 2804173427 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FCOLDUT TLPCP::QFASL 26 NIL 2803407526 16 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FCOLDUT TLPCP::LISP 26 T 2803406763 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FCOLDPK TLPCP::LISP 12 T 2802448322 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FCOLDLD TLPCP::QFASL 15 NIL 2804172489 16 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FCOLDLD TLPCP::LISP 15 T 2803408409 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FARRAY2 TLPCP::LISP 4 T 2802699885 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::FARRAY TLPCP::LISP 5 T 2802699836 8 TLPCP::|rg|)
(("K-MAP-CHECK" "NCOLD") TLPCP::COLDPK TLPCP::LISP 1 T 2800531674 8 TLPCP::RG)
("K-MAP-CHECK" TLPCP::MUNCH TLPCP::LISP 4 T 2751978720 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::STACK-GROUPS TLPCP::LISP 17 T 2774647805 8 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::STACK-GROUPS TLPCP::KFASL 17 T 2774878922 8 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::STACK-GROUPS TLPCP::KENV 17 NIL 2774878956 16 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::SPECIAL-PDL TLPCP::LISP 2 T 2774647790 8 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::SPECIAL-PDL TLPCP::KFASL 1 T 2774638258 8 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::SPECIAL-PDL TLPCP::KENV 1 NIL 2774638269 16 TLPCP::|rg|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::EXPANDED-MACROS TLPCP::LISP 1 T 2777578202 8 TLPCP::|erRic|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-SUPPORT-FOR-DEBUGGER TLPCP::LISP 1 T 2774620904 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-SCAVENGE TLPCP::LISP 1 T 2774620830 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-DOCUMENTATION TLPCP::TEXT 1 T 2774620918 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-DEFS TLPCP::LISP 3 T 2774632917 8 TLPCP::|khh|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-DEFS TLPCP::KFASL 3 T 2774632957 8 TLPCP::|khh|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL-DEFS TLPCP::KENV 3 NIL 2774633043 16 TLPCP::|khh|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL TLPCP::LISP 75 T 2774561026 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL TLPCP::KFASL 66 T 2773091733 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CONTROL-PDL TLPCP::KENV 66 NIL 2773092255 16 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CALL-HARDWARE-RESTORE TLPCP::LISP 1 T 2774620869 8 TLPCP::|naha|)
(("K-MAP-CHECK" "MULTIPROCESS") TLPCP::CALL-HARDWARE-DUMP TLPCP::LISP 1 T 2774620844 8 TLPCP::|naha|)
("K-MAP-CHECK" TLPCP::MINI-FASLOAD-OPCODES-FOR-K-DEBUGGER TLPCP::LISP 22 T 2799433173 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::MINI-FASLOAD-OPCODES TLPCP::LISP 22 T 2794412029 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::MINI-EVAL TLPCP::LISP 2 T 2769802419 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::MINI-DEBUGGER TLPCP::LISP 1 T 2752505604 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::MEMORY-CONTROL TLPCP::LISP 2 T 2748425613 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::MAKE-DATA-TYPES TLPCP::LISP 9 T 2756335097 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::LOWCORE TLPCP::LISP 5 T 2750851486 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::LOADER TLPCP::QFASL 17 NIL 2804539743 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::LOADER TLPCP::LISP 17 T 2804528691 8 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::LOAD-PROBLEMS TLPCP::LISP 2 T 2774274466 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::LIGHTS TLPCP::LISP 8 T 2745962492 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::LI-IMPORTS TLPCP::QFASL 27 NIL 2797527699 16 TLPCP::|pfc|)
("K-MAP-CHECK" TLPCP::LI-IMPORTS TLPCP::LISP 27 T 2797485461 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::LI-FAKES TLPCP::LISP 41 T 2788371671 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::LAMBDA-TO-K-STREAMS TLPCP::LISP 4 T 2793277340 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::LAMBDA-MACROS TLPCP::LISP 1 T 2741092066 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::LAMBDA-LIST TLPCP::QFASL 24 NIL 2799192448 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::LAMBDA-LIST TLPCP::LISP 24 T 2787860311 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::LAMBDA-LIST TLPCP::KFASL 14 T 2774637052 8 TLPCP::HLC)
("K-MAP-CHECK" TLPCP::LAMBDA-LIST TLPCP::KENV 14 NIL 2774637252 16 TLPCP::HLC)
("K-MAP-CHECK" TLPCP::KTYPES TLPCP::LISP 17 T 2769619256 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::KTYPES TLPCP::KFASL 17 T 2769619370 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::KTYPES TLPCP::KENV 17 NIL 2769619894 16 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::KTV TLPCP::LISP 6 T 2752012549 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::KOLD-LOADER TLPCP::QFASL 147 NIL 2804112070 16 TLPCP::|smh|)
("K-MAP-CHECK" TLPCP::KOLD-LOADER TLPCP::LISP 147 T 2804110318 8 TLPCP::|smh|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::TRAPS TLPCP::BOTEX 2 T 2791237589 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::TRANSPORTER-RAM TLPCP::BOTEX 1 T 2790103354 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::TITLE-PAGE TLPCP::BOTEX 1 T 2790103350 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::TIMING TLPCP::BOTEX 4 T 2791253534 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::STORAGE-CONVENTIONS TLPCP::BOTEX 2 T 2790799179 8 TLPCP::SAZ)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::STILL-TO-WRITE TLPCP::BOTEX 1 T 2790103316 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::SPY TLPCP::BOTEX 1 T 2790103312 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::SHORT TLPCP::LOG 1 T 2790103103 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::SHORT TLPCP::DVI 1 T 2790103099 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::SHORT TLPCP::BOTEX 1 T 2790103095 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::SHORT TLPCP::AUX 1 T 2790103091 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::REGISTER-MEMORY TLPCP::BOTEX 1 T 2790103243 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::REGISTER-LIST TLPCP::BOTEX 1 T 2790103239 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::README TLPCP::TXT 1 T 2790103086 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::QUESTIONS TLPCP::TXT 1 T 2790103076 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::PROGRAM-COUNTER TLPCP::BOTEX 1 T 2790103233 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::NOTATION-CONVENTIONS TLPCP::BOTEX 1 T 2790103229 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MEMORY-BOARD TLPCP::BOTEX 1 T 2790103222 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MEMORY-ACCESS TLPCP::BOTEX 1 T 2790103215 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL TLPCP::TOC 1 T 2790103067 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL TLPCP::LOG 1 T 2790103059 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL TLPCP::DVI 1 T 2790102909 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL TLPCP::BOTEX 2 T 2791237585 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL TLPCP::AUX 1 T 2790102900 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::MANUAL :UNSPECIFIC 2 T 2790102856 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::KDOC TLPCP::LIB 1 T 2790103210 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::INTRODUCTION TLPCP::BOTEX 2 T 2791237582 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::INSTRUCTION-SET TLPCP::BOTEX 7 T 2791263647 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::INSTRUCTION-CACHE TLPCP::BOTEX 2 T 2791237577 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::GC-RAM TLPCP::BOTEX 1 T 2790103181 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::FUNCTIONAL-IO TLPCP::BOTEX 2 T 2796673010 8 TLPCP::RG)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::EMPTY-MANUAL TLPCP::BOTEX 2 T 2791247242 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::EDITORS-NOTE TLPCP::BOTEX 4 T 2791266030 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::DATATYPE-RAM TLPCP::BOTEX 1 T 2790103167 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::COPYRIGHT-PAGE TLPCP::BOTEX 2 T 2792514535 8 TLPCP::RWK)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::COMPILED-FUNCTIONS TLPCP::BOTEX 1 T 2790103155 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::CALL-HARDWARE TLPCP::BOTEX 3 T 2796673023 8 TLPCP::RG)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::BYF TLPCP::TEX 2 T 2790344286 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::BYF TLPCP::LOG 1 T 2790103132 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::ARCHITECTURE-OVERVIEW TLPCP::BOTEX 2 T 2790862705 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::ALUS TLPCP::BOTEX 1 T 2790103122 8 TLPCP::JIM)
(("K-MAP-CHECK" "KDOC" "FALCON") TLPCP::ALU-OPCODES TLPCP::BOTEX 2 T 2791253539 8 TLPCP::|saz|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WINDOW TLPCP::LISP 10 T 2782138028 8 TLPCP::|pld|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WIMP-TERMINAL TLPCP::QFASL 11 NIL 2802703240 16 TLPCP::|smh|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WIMP-TERMINAL TLPCP::LISP 11 T 2802703195 8 TLPCP::|smh|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WIMP-REPL TLPCP::LISP 25 T 2765715539 8 TLPCP::|erRic|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WIMP-PATCH TLPCP::QFASL 4 NIL 2803075734 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WIMP-PATCH TLPCP::LISP 4 T 2802978877 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG2") TLPCP::WARM-DOWNLOAD TLPCP::LISP 4 T 2762263282 8 TLPCP::EFH)
(("K-MAP-CHECK" "KBUG2") TLPCP::SIMPLE-PRINTERS TLPCP::LISP 2 T 2765480262 8 TLPCP::|naha|)
(("K-MAP-CHECK" "KBUG2") TLPCP::KBUG2 TLPCP::QFASL 246 NIL 2804541251 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG2") TLPCP::KBUG2 TLPCP::LQFASL 213 NIL 2796418607 16 TLPCP::RWK)
(("K-MAP-CHECK" "KBUG2") TLPCP::KBUG2 TLPCP::LISP 246 T 2804538281 8 TLPCP::|rg|)
(("K-MAP-CHECK" "KBUG2") TLPCP::KBUG-GENERIC TLPCP::QFASL 162 NIL 2801588898 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG2") TLPCP::KBUG-GENERIC TLPCP::LISP 162 T 2801588522 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG2") TLPCP::GENERIC-MEMORY-INTERFACE TLPCP::LISP 1 T 2762948539 8 TLPCP::|khh|)
(("K-MAP-CHECK" "KBUG2") TLPCP::GENERIC TLPCP::LISP 2 T 2762951937 8 TLPCP::|khh|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-VECTORS-SUPPORT TLPCP::LISP 16 T 2797302576 8 TLPCP::|rg|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-VECTORS TLPCP::QFASL 101 NIL 2797280570 16 TLPCP::|rg|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-VECTORS TLPCP::LISP 107 T 2804519071 8 TLPCP::|pace|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-MARCH-PACE TLPCP::LISP 17 T 2804534317 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-MARCH TLPCP::LISP 17 T 2804536331 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-MARCH TLPCP::KFASL 11 T 2804101020 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::TEST-MARCH TLPCP::KENV 11 NIL 2804101038 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::STATE-SAVE TLPCP::LISP 1 T 2786544765 8 TLPCP::RG)
(("K-MAP-CHECK" "KBUG") TLPCP::SPY-DIAGS TLPCP::QFASL 52 NIL 2802878695 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::SPY-DIAGS TLPCP::LISP 52 T 2802866326 8 TLPCP::|rg|)
(("K-MAP-CHECK" "KBUG") TLPCP::PACKAGE-HIERARCHIES TLPCP::LISP 5 T 2775066894 8 TLPCP::EFH)
(("K-MAP-CHECK" "KBUG") TLPCP::PACKAGE-ENVIRONMENTS TLPCP::LISP 18 T 2757508298 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::PACKAGE-ENVIROMNENTS TLPCP::LISP 2 T 2750547651 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::NEW-SPY-UTILITIES TLPCP::QFASL 91 NIL 2804521292 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::NEW-SPY-UTILITIES TLPCP::LQFASL 72 NIL 2795785879 16 TLPCP::|pfc|)
(("K-MAP-CHECK" "KBUG") TLPCP::NEW-SPY-UTILITIES TLPCP::LISP 91 T 2804519002 8 TLPCP::|pace|)
(("K-MAP-CHECK" "KBUG") TLPCP::MINI-CONS TLPCP::LISP 18 T 2753827839 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::MINI-CONS TLPCP::KBIN 21 T 2754506024 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::MEMORY-TESTS TLPCP::LISP 48 T 2791476295 8 TLPCP::WKF)
(("K-MAP-CHECK" "KBUG") TLPCP::MAKE-COLD-LOAD-COMPILER TLPCP::LISP 1 T 2751649881 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::KBUG TLPCP::QFASL 166 NIL 2804544224 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::KBUG TLPCP::LISP 166 T 2804541804 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::K-HACKING-PE TLPCP::LISP 7 T 2750552067 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::INITIALIZE-COLD-LOADER TLPCP::LISP 1 T 2751893200 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::GOTO-DEBUGGER-PE TLPCP::LISP 1 T 2750666945 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::GOTO-COMPILER-PE TLPCP::LISP 2 T 2750552792 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "KBUG") TLPCP::GET-IMAGE TLPCP::LISP 10 T 2772594075 8 TLPCP::EFH)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-SUPPORT TLPCP::QFASL 90 NIL 2799197976 16 TLPCP::JIM)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-SUPPORT TLPCP::LISP 90 T 2797964569 8 TLPCP::|pfc|)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-CROCK0 TLPCP::QFASL 7 NIL 2799197369 16 TLPCP::JIM)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-CROCK0 TLPCP::LISP 7 T 2788379112 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-BOARD TLPCP::QFASL 27 NIL 2804264561 16 TLPCP::|rg|)
(("K-MAP-CHECK" "KBUG") TLPCP::DEBUG-BOARD TLPCP::LISP 27 T 2804255987 8 TLPCP::JIM)
(("K-MAP-CHECK" "KBUG") TLPCP::DAISY-NEW-SPY-UTILITIES TLPCP::LISP 5 T 2788544985 8 TLPCP::KHH)
(("K-MAP-CHECK" "KBUG") TLPCP::CREATE-EVIRONMENTS TLPCP::LISP 4 T 2772592805 8 TLPCP::|erRic|)
(("K-MAP-CHECK" "KBUG") TLPCP::BAREFOOT-DIAGS TLPCP::LISP 7 T 2790778783 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::K-SYSTEM-PACKAGES TLPCP::LISP 10 T 2786549871 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::K-SYSDEF TLPCP::LISP 6 T 2775072758 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::K-PACKAGES TLPCP::LISP 3 T 2773540907 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::K-ORPHANS TLPCP::LISP 7 T 2747999144 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::K-MACROS-FOR-K-DEBUGGER TLPCP::QFASL 38 NIL 2799197194 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::K-MACROS-FOR-K-DEBUGGER TLPCP::LISP 38 T 2788445130 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::K-MACROS TLPCP::QFASL 38 NIL 2799196887 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::K-MACROS TLPCP::LISP 38 T 2788445107 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::K-LISP TLPCP::TEXT 2 T 2745103502 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::K-LISP TLPCP::LISP 11 T 2766581879 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::K-DEBUG TLPCP::LISP 23 T 2743010580 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "ISIM") TLPCP::STORAGE TLPCP::LISP 16 T 2736801027 8 TLPCP::|efh|)
(("K-MAP-CHECK" "ISIM") TLPCP::POINTER TLPCP::LISP 1 T 2732292228 8 TLPCP::|pace|)
(("K-MAP-CHECK" "ISIM") TLPCP::K-TESTS TLPCP::LISP 2 T 2732740392 8 TLPCP::EFH)
(("K-MAP-CHECK" "ISIM") TLPCP::K-MICROCODE TLPCP::LISP 1 T 2732219449 8 TLPCP::|pace|)
(("K-MAP-CHECK" "ISIM") TLPCP::K-FUNS TLPCP::LISP 11 T 2742319652 8 TLPCP::EFH)
(("K-MAP-CHECK" "ISIM") TLPCP::K-DEFS TLPCP::LISP 1 T 2732219651 8 TLPCP::|pace|)
(("K-MAP-CHECK" "ISIM") TLPCP::K-CONTROL TLPCP::LISP 5 T 2737719863 8 TLPCP::EFH)
(("K-MAP-CHECK" "ISIM") TLPCP::I-TESTS TLPCP::LISP 5 T 2734122065 8 TLPCP::|efh|)
(("K-MAP-CHECK" "ISIM") TLPCP::I-EXPAND TLPCP::LISP 40 T 2742319514 8 TLPCP::EFH)
("K-MAP-CHECK" TLPCP::INSTRUCTIONS TLPCP::LISP 32 T 2796687635 8 TLPCP::RG)
("K-MAP-CHECK" TLPCP::IMPORTED-SYMS TLPCP::LISP 10 T 2788450388 8 TLPCP::WKF)
("K-MAP-CHECK" TLPCP::IMICRO-CROCK TLPCP::LISP 1 T 2741112648 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::ILLOP-CODES TLPCP::LISP 530 T 2804541844 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::ILLOP TLPCP::QFASL 12 NIL 2799184699 16 TLPCP::JIM)
("K-MAP-CHECK" TLPCP::ILLOP TLPCP::LISP 12 T 2799129063 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::HW-EXPORTER TLPCP::LISP 2 T 2748977362 8 TLPCP::|jrm|)
(("K-MAP-CHECK" "HOT") TLPCP::VCMEM-DRIVER TLPCP::LISP 29 T 2785349233 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::VCMEM-DRIVER TLPCP::KFASL 28 T 2769793888 8 TLPCP::EFH)
(("K-MAP-CHECK" "HOT") TLPCP::VCMEM-DRIVER TLPCP::KENV 28 NIL 2769793924 16 TLPCP::EFH)
(("K-MAP-CHECK" "HOT") TLPCP::READTABLE TLPCP::LISP 12 T 2802465216 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::READTABLE TLPCP::KFASL 12 T 2802466271 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::READTABLE TLPCP::KENV 12 NIL 2802466365 16 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::READER TLPCP::LISP 68 T 2801588560 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::READER TLPCP::KFASL 68 T 2801590821 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::READER TLPCP::KENV 68 NIL 2801591209 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::RATIONAL TLPCP::LISP 30 T 2802199606 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::RATIONAL TLPCP::KFASL 30 T 2802199706 8 TLPCP::|rg|)
(("K-MAP-CHECK" "HOT") TLPCP::RATIONAL TLPCP::KENV 30 NIL 2802199750 16 TLPCP::|rg|)
(("K-MAP-CHECK" "HOT") TLPCP::PRINTER TLPCP::LISP 89 T 2804281650 8 TLPCP::|jim|)
(("K-MAP-CHECK" "HOT") TLPCP::PRINTER TLPCP::KFASL 89 T 2804287399 8 TLPCP::|keith|)
(("K-MAP-CHECK" "HOT") TLPCP::PRINTER TLPCP::KENV 89 NIL 2804289505 16 TLPCP::|keith|)
(("K-MAP-CHECK" "HOT") TLPCP::MINI-LISP-LISTENER TLPCP::LISP 26 T 2802093050 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::MINI-LISP-LISTENER TLPCP::KFASL 26 T 2802098287 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::MINI-LISP-LISTENER TLPCP::KENV 26 NIL 2802098352 16 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::K-UC-TV TLPCP::LISP 51 T 2769787481 8 TLPCP::EFH)
(("K-MAP-CHECK" "HOT") TLPCP::K-UC-TV TLPCP::KFASL 51 T 2769793940 8 TLPCP::EFH)
(("K-MAP-CHECK" "HOT") TLPCP::K-UC-TV TLPCP::KENV 51 NIL 2769794073 16 TLPCP::EFH)
(("K-MAP-CHECK" "HOT") TLPCP::HOT-BOOT TLPCP::LISP 7 T 2794429585 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::HOT-BOOT TLPCP::KFASL 6 T 2782334378 8 TLPCP::|rauen|)
(("K-MAP-CHECK" "HOT") TLPCP::HOT-BOOT TLPCP::KENV 6 NIL 2782334397 16 TLPCP::|rauen|)
(("K-MAP-CHECK" "HOT") TLPCP::HIGH-LEVEL-STREAMS TLPCP::LISP 19 T 2799960956 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::HIGH-LEVEL-STREAMS TLPCP::KFASL 19 T 2799962170 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::HIGH-LEVEL-STREAMS TLPCP::KENV 19 NIL 2799962391 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FORMAT TLPCP::LISP 24 T 2788367821 8 TLPCP::WKF)
(("K-MAP-CHECK" "HOT") TLPCP::FORMAT TLPCP::KFASL 24 T 2799266670 8 TLPCP::|jim|)
(("K-MAP-CHECK" "HOT") TLPCP::FORMAT TLPCP::KENV 24 NIL 2799266935 16 TLPCP::|jim|)
(("K-MAP-CHECK" "HOT") TLPCP::FLOAT TLPCP::LISP 125 T 2801845408 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FLOAT TLPCP::KFASL 125 T 2801847535 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FLOAT TLPCP::KENV 125 NIL 2801847789 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN-EVALS TLPCP::LISP 11 T 2803050185 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN-EVALS TLPCP::KFASL 11 T 2803050211 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN-EVALS TLPCP::KENV 11 NIL 2803050231 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN TLPCP::LISP 67 T 2803647650 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN TLPCP::KFASL 67 T 2803649507 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::FBIN TLPCP::KENV 67 NIL 2803649828 16 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::CROSS-SUPPORT TLPCP::LISP 53 T 2804281179 8 TLPCP::JIM)
(("K-MAP-CHECK" "HOT") TLPCP::CROSS-SUPPORT TLPCP::KFASL 53 T 2804289535 8 TLPCP::|keith|)
(("K-MAP-CHECK" "HOT") TLPCP::CROSS-SUPPORT TLPCP::KENV 53 NIL 2804289710 16 TLPCP::|keith|)
(("K-MAP-CHECK" "HOT") TLPCP::COMPLEX TLPCP::LISP 8 T 2773743997 8 TLPCP::|rg|)
(("K-MAP-CHECK" "HOT") TLPCP::COMPLEX TLPCP::KFASL 8 T 2799267765 8 TLPCP::|jim|)
(("K-MAP-CHECK" "HOT") TLPCP::COMPLEX TLPCP::KENV 8 NIL 2799267800 16 TLPCP::|jim|)
(("K-MAP-CHECK" "HOT") TLPCP::BIGNUM TLPCP::LISP 118 T 2802199002 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "HOT") TLPCP::BIGNUM TLPCP::KFASL 118 T 2802199539 8 TLPCP::|rg|)
(("K-MAP-CHECK" "HOT") TLPCP::BIGNUM TLPCP::KENV 118 NIL 2802199643 16 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::HEAP-TEST TLPCP::LISP 1 T 2781276871 8 TLPCP::|erRic|)
("K-MAP-CHECK" TLPCP::HARDWARE-SIMULATION TLPCP::LISP 37 T 2748861857 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::HARDWARE-CONSTANTS TLPCP::LISP 73 T 2804515698 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::GLOBAL-REGISTERS-FOR-K-DEBUGGER TLPCP::LISP 109 T 2800981483 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::GLOBAL-REGISTERS TLPCP::LISP 109 T 2800961568 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::GLOBAL-FRAMES TLPCP::LISP 5 T 2747997514 8 TLPCP::|jrm|)
("K-MAP-CHECK" TLPCP::GC TLPCP::LISP 8 T 2773155166 8 TLPCP::|khh|)
("K-MAP-CHECK" TLPCP::FOO-WARM-FILES TLPCP::LISP 2 T 2782494390 8 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::FOO-WARM-BOOT TLPCP::LISP 3 T 2782516870 8 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::FOO-TRAP-HANDLERS TLPCP::LISP 41 T 2793985821 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-TRAP-HANDLERS TLPCP::KFASL 40 T 2793982880 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-TRAP-HANDLERS TLPCP::KENV 40 NIL 2793983977 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-SIMULATION-SYSDEF TLPCP::LISP 320 T 2793991045 8 TLPCP::PFC)
("K-MAP-CHECK" TLPCP::FOO-NUCLEAR-CONTROL TLPCP::LISP 29 T 2793910363 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-NUCLEAR-CONTROL TLPCP::KFASL 30 T 2793984069 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-NUCLEAR-CONTROL TLPCP::KENV 30 NIL 2793984426 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-KOLD-LOADER TLPCP::QFASL 120 NIL 2793914193 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-DT-OVF-TRAP TLPCP::LISP 54 T 2793911316 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-DT-OVF-TRAP TLPCP::KFASL 54 T 2793984504 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-DT-OVF-TRAP TLPCP::KENV 54 NIL 2793984552 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-BOOT TLPCP::LISP 401 T 2793974441 8 TLPCP::|rg|)
("K-MAP-CHECK" TLPCP::FOO-BOOT TLPCP::KFASL 401 T 2793984591 8 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO-BOOT TLPCP::KENV 401 NIL 2793984985 16 TLPCP::|wkf|)
("K-MAP-CHECK" TLPCP::FOO TLPCP::LISP 7 T 2780674020 8 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::FOO TLPCP::KFASL 7 T 2780674039 8 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::FOO TLPCP::KENV 7 NIL 2780674043 16 TLPCP::|rauen|)
("K-MAP-CHECK" TLPCP::FLOATING-POINT-OPCODES TLPCP::LISP 13 T 2800631330 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::XAPPEND TLPCP::LISP 1 T 2734033241 8 TLPCP::|efh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TST TLPCP::LISP 8 T 2746810949 8 TLPCP::|khh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TREE-EQ TLPCP::LISP 1 T 2733429996 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP-UTIL TLPCP::QFASL 32 NIL 2799192661 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP-UTIL TLPCP::LISP 32 T 2774963967 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP-DEFS TLPCP::QFASL 56 NIL 2799192746 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP-DEFS TLPCP::LISP 56 T 2798839154 8 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP TLPCP::QFASL 42 NIL 2803674824 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TOP TLPCP::LISP 42 T 2803673551 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TODO TLPCP::LISP 22 T 2774970743 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST1 TLPCP::LISP 4 T 2732125443 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-TAK TLPCP::LISP 13 T 2755601683 8 TLPCP::|khh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-FILE TLPCP::LISP 5 T 2757098122 8 TLPCP::|efh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-FILE TLPCP::KFASL 7 T 2757098145 8 TLPCP::|efh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-FIB TLPCP::LISP 2 T 2756758210 8 TLPCP::|khh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-DEFTYPE TLPCP::LISP 2 T 2771596305 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-DEFSTRUCT TLPCP::LISP 5 T 2766083296 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-DEFSTRUCT TLPCP::KFASL 5 T 2766083316 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST-DEFSTRUCT TLPCP::KENV 5 T 2766083320 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST TLPCP::LISP 87 T 2774293917 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::TEST TLPCP::KBIN 8 T 2747063129 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::SUB TLPCP::LISP 6 T 2765805382 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::REWRITERS TLPCP::QFASL 7 NIL 2801832048 16 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::REWRITERS TLPCP::LISP 7 T 2801767695 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::REWRITE TLPCP::QFASL 52 NIL 2799193942 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::REWRITE TLPCP::LISP 52 T 2787677087 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::REST TLPCP::LISP 8 T 2748637332 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PROCESSOR-DEFS TLPCP::QFASL 14 NIL 2799192996 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PROCESSOR-DEFS TLPCP::LISP 14 T 2799150142 8 TLPCP::|rg|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PRIMOP-DEFS TLPCP::QFASL 3 NIL 2799193036 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PRIMOP-DEFS TLPCP::LISP 3 T 2752064183 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PRIMITIVES TLPCP::QFASL 113 NIL 2799193134 16 TLPCP::JIM)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PRIMITIVES TLPCP::LISP 113 T 2792792189 8 TLPCP::|wkf|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::PRIMDOC TLPCP::LISP 2 T 2750282921 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::OTOP-DEFS TLPCP::LISP 1 T 2747340210 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::NTOP-DEFS TLPCP::LISP 3 T 2747338211 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::NTOP TLPCP::LISP 36 T 2756903249 8 TLPCP::|efh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::NMACROS TLPCP::LISP 105 T 2768570072 8 TLPCP::|erRic|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::NEW-MACROS TLPCP::QFASL 16 NIL 2800378991 16 TLPCP::PFC)
(("K-MAP-CHECK" "FLEABIT") TLPCP::NEW-MACROS TLPCP::LISP 16 T 2800358304 8 TLPCP::PFC)
(("K-MAP-CHECK" "FLEABIT") TLPCP::MV TLPCP::LISP 5 T 2754345784 8 TLPCP::|efh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::MULTIPLY TLPCP::LISP 7 T 2746623289 8 TLPCP::|khh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::LOSE TLPCP::LISP 1 T 2753301716 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::LLKEY TLPCP::LISP 19 T 2743108308 8 TLPCP::EFH)
(("K-MAP-CHECK" "FLEABIT") TLPCP::KFASL-TOP TLPCP::LISP 10 T 2760963663 8 TLPCP::|khh|)
(("K-MAP-CHECK" "FLEABIT") TLPCP::KBIN-TOP TLPCP::LISP 1 T 2760980621 8 TLPCP::|khh|)
))

;;; End of tape log.