{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.HP1ltFDO/b1/cafeobj_1.6.0-2_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.HP1ltFDO/b2/cafeobj_1.6.0-2_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n 2d68d336a099924de136196a0ab59ea5 24960 science optional cafeobj-mode_1.6.0-2_all.deb\n- 23ede92c58368251180706cb21a619d8 11895364 science optional cafeobj_1.6.0-2_arm64.deb\n+ d85efffc5c2db3386b285b95b06afcd9 11876680 science optional cafeobj_1.6.0-2_arm64.deb\n"}, {"source1": "cafeobj_1.6.0-2_arm64.deb", "source2": "cafeobj_1.6.0-2_arm64.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r-- 0 0 0 4 2020-02-18 20:27:40.000000 debian-binary\n -rw-r--r-- 0 0 0 2752 2020-02-18 20:27:40.000000 control.tar.xz\n--rw-r--r-- 0 0 0 11892420 2020-02-18 20:27:40.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 11873736 2020-02-18 20:27:40.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./control", "source2": "./control", "unified_diff": "@@ -1,12 +1,12 @@\n Package: cafeobj\n Version: 1.6.0-2\n Architecture: arm64\n Maintainer: Norbert Preining \n-Installed-Size: 49771\n+Installed-Size: 49707\n Depends: libc6 (>= 2.38), libzstd1 (>= 1.5.5)\n Section: science\n Priority: optional\n Homepage: http://cafeobj.org/\n Description: new generation algebraic specification and programming language\n CafeOBJ is a most advanced formal specification language which\n inherits many advanced features (e.g. flexible mix-fix syntax,\n"}, {"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,15 +1,15 @@\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/bin/\n -rwxr-xr-x 0 root (0) root (0) 5442 2020-02-18 20:27:40.000000 ./usr/bin/cafeobj\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/\n--rwxr-xr-x 0 root (0) root (0) 48043680 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl\n+-rwxr-xr-x 0 root (0) root (0) 47978128 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/\n drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/\n -rw-r--r-- 0 root (0) root (0) 1785 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/2tuple.cafe\n -rw-r--r-- 0 root (0) root (0) 1939 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/3tuple.cafe\n -rw-r--r-- 0 root (0) root (0) 2103 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/4tuple.cafe\n -rw-r--r-- 0 root (0) root (0) 2211 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/base_bool.cafe\n"}, {"source1": "./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl", "source2": "./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl", "unified_diff": null, "details": [{"source1": "strings --all --bytes=8 {}", "source2": "strings --all --bytes=8 {}", "unified_diff": "@@ -1664,38 +1664,43 @@\n .dynamic\n .got.plt\n .gnu_debuglink\n hostname-id-1723080462\n e originated in CMU CL's-@\n dV=jlI]MC\n -- CafeOBJ system Version 1.6.0(PigNose0.99) --\n-2025 Dec 9 Tue 9:22:26 GMT\n+2024 Nov 6 Wed 3:01:40 GMT\n jMkUl5l}m\n Signaled if CL-PPCRE's parser encounters an error\n when trying to parse a regex string or to convert a parse tree into\n its internal representation.\n Signaled when CL-PPCRE functions are\n invoked with wrong arguments.\n LEXER structures are used to hold the regex string which is\n currently lexed and to keep track of the lexer's state.\n All errors signaled by CL-PPCRE are of\n this type.\n-The string which caused the syntax error.\n Returns the position within the string where the error occurred\n (or NIL if the error happened while trying to convert a parse tree\n Returns the string the parser was parsing when the error was\n encountered (or NIL if the error happened while trying to convert a\n parse tree).\n+The string which caused the syntax error.\n Maximum number of collisions (for any element) we accept before we\n allocate more storage. This is now fixed, but could be made to vary\n depending on the size of the storage vector (e.g. in the range of\n 1-4). Larger probe-depths mean more collisions are tolerated before\n the table grows, but increase the constant factor.\n-Z7JEb/Ig\n+Z7JEbOMg\n+a://v//h\n+)_+)\"_Ah\n lzTDtup9\n+MA]^?O]H\n+Bl{K^O]H\n+)twuIO]H\n The real start of *STRING*. This is for repeated scans and is only used internally.\n Counts the number of \"complicated\" repetitions while the matchers\n are built.\n Counts the number of repetitions the inner regexes of which may\n have zero-length while the matchers are built.\n An array to keep track of how often\n repetitive patterns have been tested already.\n@@ -1710,33 +1715,31 @@\n An array which holds the end positions\n of the current register candidates.\n Where to start scanning within *STRING*.\n Start of the next possible end-string candidate.\n An array which holds the next start positions\n of the current register candidates.\n &OPTIONAL and &KEY found in the same lambda list: \n+Z=@\\n'Ds\n PigNose0.99\n .0(PigNose0.99)\n module |binspect| {pr(BOOL)}\n-V Tp[@V`]p[\n-Y _0^P_@b\n-y {0{p}@}P~\n-ZAbq`a]!bqf\n-XBYr[rY\"W\n-hCiSjSkcl\n-L$P4BDCdD\n-!f$6#f$F%v)\n-^'^W_g^g_\n-&H'H(H)8*8+(,\n-n:o*o*p:\n-9+=K>;9[@\n-*-+M+M-M-\n-u=y]wm{={\n-)N$^+>,^-\n-XnS~Z>U.[N\\\n+Zq[A^1]![1_\n+\\s`caSbsc#cs\n+PTQdP4St\n+^5_%c5aE\n+:x:(\n+9 i!)!)#\n+4z5Z6Z4z7\n+3|.,+\\,|1l7\n+t,o\\u\\w,r\n+*M+M*--=.]-M\n+R]SmR=UMT-W\n+#N#~$^%^&N'\n+8~8.:N;~<\n +J,L,|.:,\n .s/e.!/q3\n The standard optimize settings used by most declaration expressions.\n A string of all characters which are considered to be whitespace.\n Same as Perl's [\\s].\n Whether the parser will start in extended mode.\n Special optimize settings used only by a few declaration expressions.\n@@ -1756,77 +1759,70 @@\n keyword argument to CREATE-OPTIMIZED-TEST-FUNCTION - see there for the\n possible non-NIL values.\n The upper exclusive bound on the char-codes of characters which can\n occur in character classes. Change this value BEFORE creating\n scanners if you don't need the (full) Unicode support of\n implementations like AllegroCL, CLISP, LispWorks, or SBCL.\n Whether the parser should support Perl's \\Q and \\E.\n-ZC[3[S\\c\n-Z=@\\n'Ds\n+ZC[S[3\\c\n =h\"8aA_8!\n-eRuELnNmxiU\n-GO`:~8%h\n-R.&J_xk8f\n-v@{L\\d49\n-1GjAb$Ui2\n-J0ltXpSX\n-XS2@hq:v:\n+&\t92;;]z!T\n+'QD`8UB+\n+\\KCJ3.C+v\n binds abstracted boolean term\n If T, timeouts in Y-OR-N-P-WAIT are enabled. Otherwise it behaves\n like Y-OR-N-P. This is provided for users whose lisps don't handle\n read-char-no-hang properly.\n+=h\"8AA_8!\n+=h\"8!B_8!\n term constructed from *abst-bterm*\n If T, y-or-n-p-wait will clear the input before printing the prompt\n and asking the user for input.\n-=h\"8AA_8!\n-=h\"8!B_8!\n binds a variable targeted to heuristic inspection (bguess).\n-H L P@P`L\n-8!0a,a a<\n-H!DAH!LaL\n-xCpcxc|#|\n-tdt$pdtDw\n-DeH%L%LEH\n-t&x&xFpFl\n-('(g*'(',\n-\\^X^\\>`\n-x>x~p^l~|\n+^`d`\\ d`e\n+8Gg@\n+t'tgpgt'x\n+JhHhL(L(HHL\n+()(\t$I(\t,)*\n+4I8)8\t0i\n+d)`)dIh)h\n+DLHLHlDlH\n+\\N`Ndndn\\.d\n+8Q<14~4~0>4~8\n &D&6'N)m\n cl-ppcre\n cl-ppcre-test\n sb-posix\n SYS:make-target-2-load.lisp\n =h\"8aA_8!\n =h\"8aA_8!\n =h\"8aA_8!\n =h\"8aA_8!\n+INVALIDATE-ALIEN=\t\n+ENUM-LISP-REP-METHOD\n+SPINLOCK-VALUE\n+CURRENT-THREAD-S90\n+AVLTREE-LIST\n+OUTPUT-CHAR-CP8590\n+M-READ-N-CHARACTERS/ISO-90\n+T-BUFFER\n+O-C-STRING/ISO-8859-14/C90\n+MATCH-ERROR\n+NE-BUFFERED\n+O-C-STRI98\n+ERS/ISO-8859-3/CR\n+READ-RIGHT-PAREN9L\n+BYTES-FOR-CHAR/CP1253/CR\n cl-ppcre\n cl-ppcre-test\n sb-posix\n undefined \n cl-ppcre\n flexi-streams\n Proclaiming \n@@ -1861,14 +1857,15 @@\n without recursively forcing the other systems we depend on.\n :ALL to force all systems including other systems we depend on to be rebuilt (resp. not).\n (SYSTEM1 SYSTEM2 ... SYSTEMN) to force systems named in a given list\n :FORCE-NOT has precedence over :FORCE; builtin systems cannot be forced.\n For backward compatibility, all keyword arguments are passed to MAKE-OPERATION\n when instantiating a new operation, that will in turn be inherited by new operations.\n But do NOT depend on it, for this is deprecated behavior.\n+46Jl#3MO9\n *CURRENT-CATCH-BLOCK*\n *CURRENT-UNWIND-PROTECT-BLOCK*\n *IMMOBILE-CODEBLOB-TREE*\n *IMMOBILE-CODEBLOB-VECTOR*\n *DYNSPACE-CODEBLOB-TREE*\n *LINKAGE-NAME-MAP*\n *ELF-LINKAGE-CELL-MODIFIED*\n@@ -16025,200 +16022,211 @@\n %GENERIC-FUNCTIONS\n ARGS-LAMBDA-LIST\n CLASS-PRECEDENCE-DESCRIPTION-P\n COPY-METHOD-COMBINATION-INFO\n METHOD-COMBINATION-INFO-P\n COPY-ENV\n EXPANDERS\n+FUNCTIONALITY\n COUNTER-P\n PROFILE-INFO-P\n READ-STATS-FUN\n OVERHEAD-P\n TIME-INFO-P\n PROCESS-P\n-BUILD-OPERATION\n+CONTEXT-ARGUMENTS\n+CONTEXT-FORMAT\n ADDITIONAL-INPUT-FILES\n-GATHER-TYPE\n KEEP-COMPONENT\n-ACTIONS-R\n KEEP-OPERATION\n COMPONENT-TYPE\n-CASE-INSENSITIVE-P\n+START-OF-END-STRING-P\n MULTISET-P\n EQUAL-FUN\n DEPENDS-ON\n+BUILD-OPERATION\n+WEAKLY-DEPENDS-ON\n COPY-CHARSET\n CHARSET-P\n COPY-CHARMAP\n CHARMAP-P\n COMPLEMENTP\n-REQUIRES\n REQUIRED-BY\n PARAMETERS\n COPY-DAG-NODE\n DAG-NODE-P\n COPY-BDAG\n+SUBNODES\n POSITIVEP\n COPY-LEXER\n-LAST-POS\n+CONTAINS-REGISTER-P\n MIN-REST\n-WEAKLY-DEPENDS-ON\n+CASE-INSENSITIVE-P\n COPY-GRPH-INFO\n GRPH-INFO-P\n COPY-GRPH-INT-NODE-INFO\n GRPH-INT-NODE-INFO-P\n COPY-GRPH-LEAF-INFO\n GRPH-LEAF-INFO-P\n REF-NAME\n COPY-%CHAOS-OBJECT\n %CHAOS-OBJECT-P\n CHAOS-PR-OBJECT\n COPY-%CHAOS-STATIC-OBJECT\n %CHAOS-STATIC-OBJECT-P\n OBJECT-P\n+MISC-INFO\n COPY-EX-INTERFACE\n EX-INTERFACE-P\n TOP-OBJECT-P\n INTERFACE\n-MISC-INFO\n-DECL-FORM\n COPY-PARSE-DICTIONARY\n PARSE-DICTIONARY-P\n-BUILTINS\n COPY-SIGNATURE-STRUCT\n SIGNATURE-STRUCT-P\n PRINT-SIGNATURE\n COPY-AXIOM-SET\n AXIOM-SET-P\n PRINT-AXIOM-SET\n-EQUATIONS\n COPY-MODULE-DYN-CONTEXT\n MODULE-DYN-CONTEXT-P\n $$ACTION-STACK\n+SPECIAL-BINDINGS\n $$RULE-COUNTER\n-$$STOP-PATTERN\n $$SELECTION-STACK\n COPY-MODULE\n PRINT-MODULE-OBJECT\n-THEOREMS\n+SIGNATURE\n+DECL-FORM\n COPY-TRS\n PRINT-TRS\n+ERR-SORTS\n+OP-REV-TABLE\n+OPERATORS\n+SORT-ORDER\n+SEM-AXIOMS\n SORT-NAME-MAP\n OPINFO-TABLE\n-SORT-GRAPH\n-SEM-RELATIONS\n-OP-REV-TABLE\n-EXT-RULE-TABLE\n+DUMMY-METHODS\n+OP-INFO-MAP\n VIEW-STRUCT-P\n PRINT-VIEW-STRUCT-OBJECT\n SORT-MAPS\n COPY-INT-INSTANTIATION\n INT-INSTANTIATION-P\n COPY-INT-PLUS\n INT-PLUS-P\n COPY-INT-RENAME\n INT-RENAME-P\n COPY-SYMBOL-TABLE\n SYMBOL-TABLE-P\n COPY-STABLE\n STABLE-P\n+UNKNOWNS\n COPY-MODMORPH\n MODMORPH-P\n SORT-STRUCT-P\n PRINT-SORT-INTERNAL\n-DERIVED-FROM\n CONTEXT-MOD\n PRINT-SORT-OBJECT\n PRINT-BSORT-OBJECT\n+DERIVED-FROM\n AND-SORT-P\n PRINT-AND-SORT-OBJECT\n+INHABITED\n OR-SORT-P\n PRINT-OR-SORT-OBJECT\n ERR-SORT-P\n PRINT-ERR-SORT-OBJECT\n COPY-OPSYNTAX\n OPSYNTAX-P\n TOKEN-SEQ\n OPERATOR-P\n PRINT-OPERATOR-OBJECT\n STRATEGY\n METHOD-P\n PRINT-METHOD-OBJECT\n-ID-SYMBOL\n-BEHAVIOURAL\n-PRECEDENCE\n HAS-MEMO\n SUPPLIED-STRATEGY\n+ASSOCIATIVITY\n+PRECEDENCE\n+BEHAVIOURAL\n !METHOD-INFO-P\n-COHERENT\n THEORY-INFO-FOR-MATCHING\n-RULES-WITH-DIFFERENT-TOP\n-OVERLOADED-METHODS\n REW-STRATEGY\n+STRICTLY-OVERLOADED\n+RULES-WITH-DIFFERENT-TOP\n RULES-WITH-SAME-TOP\n+HAS-TRANS\n+LOWER-METHODS\n+OVERLOADED-METHODS\n RULE-RING-P\n REWRITE-RULE-P\n PRINT-RULE-OBJECT\n-NEXT-MATCH-METHOD\n-META-AND-OR\n NEED-COPY\n+NEXT-MATCH-METHOD\n EX-REWRITE-RULE-P\n PRINT-AXIOM-OBJECT\n+NON-EXEC\n COPY-MACRO\n PRINT-MACRO\n COPY-CHAOS-LIST\n CHAOS-LIST-P\n PR-CHAOS-LIST\n COPY-SUBST*\n SUBST*-P\n PR-SUBST\n COPY-MATCH-SYSTEM\n MATCH-SYSTEM-P\n SYSTEM-TO-SOLVE\n COPY-MATCH-STATE\n MATCH-STATE-P\n-THEORY-INFO\n COPY-MATCH-Z-STATE\n MATCH-Z-STATE-P\n COPY-MATCH-C-STATE\n MATCH-C-STATE-P\n COPY-MATCH-AZ-STATE\n MATCH-AZ-STATE-P\n COPY-MATCH-CZ-STATE\n MATCH-CZ-STATE-P\n COPY-TRIVIAL-MATCH-ACZ-STATE\n TRIVIAL-MATCH-ACZ-STATE-P\n NO-MORE-P\n COPY-BEH-STUFF\n BEH-STUFF-P\n PRINT-BEH-STUFF\n+ASSUMPTIONS\n COPY-BI-TERM\n BI-TERM-P\n PRINT$BUILTIN\n COPY-LISP\n PRINT$LISP\n COPY-FOUND-PATTERN\n FOUND-PATTERN-P\n+RULE-NUM\n COPY-RULE-PAT\n RULE-PAT-P\n PRINT-RULE-PATTERN\n COPY-RWL-STATE\n RWL-STATE-P\n PR-RWL-STATE\n IS-FINAL\n TRANS-RULES\n COPY-RWL-SCH-NODE\n RWL-SCH-NODE-P\n PR-RWL-SCH-NODE\n COPY-RWL-SCH-CONTEXT\n RWL-SCH-CONTEXT-P\n PRINT-SCH-CONTEXT\n-ZERO-TRANS-ALLOWED\n-SOL-FOUND\n STATE-PREDICATE\n+SOL-FOUND\n+TRANS-SO-FAR\n+CUR-DEPTH\n+FINAL-CHECK\n+TERM-HASH\n COPY-TACTIC\n TACTIC-P\n PR-TACTIC\n EXECUTOR\n COPY-TACTIC-SEQ\n TACTIC-SEQ-P\n PR-TACTIC-SEQ\n@@ -16236,68 +16244,61 @@\n COPY-TACTIC-IND\n TACTIC-IND-P\n COPY-CITP-FLAG-STRUCT\n CITP-FLAG-STRUCT-P\n COPY-PTREE-NODE\n PTREE-NODE-P\n PR-PTREE-NODE\n-SUBNODES\n-NEXT-CHILD\n NUM-CHILDREN\n COPY-PTREE\n PR-PTREE\n DEFS-SO-FAR\n-INDVAR-SUBST\n+VAR-SUBST\n+CONSTRUCTOR-OPS\n COPY-GOAL\n-ASSUMPTIONS\n+STEP-OPS\n CRITICAL-PAIRS\n IND-CONSTANTS\n-STEP-OPS\n+BASE-OPS\n COPY-CITP-PROOF\n CITP-PROOF-P\n DISCHARGED\n COPY-CPP\n COPY-ABST-BTERM\n ABST-BTERM-P\n PRINT-BTERM\n COPY-ABST-AND\n ABST-AND-P\n LITERAL-P\n PR-LITERAL\n-STAT-BITS\n CLAUSE-P\n PRINT-CLAUSE\n CONTAINER\n+LITERALS\n HEAT-LEVEL\n+PICK-WEIGHT\n COPY-PSYSTEM\n PSYSTEM-P\n-CLAUSE-HASH\n-BI-DEMODS\n-DEMODULATORS\n COPY-CLASH\n PRINT-CLASH\n+ALREADY-EVALUATED\n FOUND-LIT\n-CLASHABLES\n-EVALUATION\n-EVALUABLE\n COPY-PARAMOD\n PARAMOD-P\n PR-PARAMOD\n PRINT-DEMODULATOR\n COPY-OPTION-SET\n OPTION-SET-P\n COPY-FACTOR\n FACTOR-P\n COPY-SIGMATCH-SET\n SIGMATCH-SET-P\n COPY-INV-CHECK-SYSTEM\n INV-CHECK-SYSTEM-P\n-INITIAL-STATE\n AFTER-NUM\n-AFTER-LOOP\n COPY-OLDOC\n PRINT-ONLINE-DOCUMENT\n COPY-COMDE\n PRINT-COMDE\n EVALUATOR\n PATHNAMEP\n PRETTY-STREAM-P\n@@ -16470,14 +16471,15 @@\n FIND-METHOD-IN-TABLE\n SET-INDSTEPS\n OPERATOR--TYPE\n UNIFY-ACZ-NEXT-STATE\n %OP-DECL-HIDDEN\n SORT-EQUAL\n *PARAMETER-SORT*\n+INITIAL-STATE\n %FAX--TYPE\n *_*_LEFT\n RIGHT-ASSOCIATIVE-ID-NORMAL-FORM\n %AXIOM-DECL-RHS\n PRINT-REN-SORT\n MAX-LITERALS\n PRINT-BTERM-WITH-SUBST\n@@ -16949,15 +16951,14 @@\n MATCH-ADD-M-SYSTEM\n REGISTER-ONLINE-HELP\n OLDOC-PARSE-TO-WORDS\n GET-MSG-DESCRIPTION\n ACZ-STATE\n BSORT-TERM-PREDICATE\n PTREE-DEFS-SO-FAR\n-CUR-DEPTH\n SHOW-NEG-LITERALS\n PARSER-MAKE-APPLFORM\n COMPUTE-VAR-FOR-IDENTITY-COMPLETIONS\n MAKE-OPERATOR-CLUSTERS-IN\n *USE-CHOOSE-MATCH*\n *ID-SORT*\n %RESTORE-FILE\n@@ -16989,14 +16990,15 @@\n PRINT-OP-METH2\n MODEXP-SKIP\n ARG-ACC-LIST-PRIME\n OPERATOR-ID\n READ-MANY-OF\n MAKE-AUGM-LEAF\n SHOW-TERM\n+INDVAR-SUBST\n _ASSOC-LIST\n TIME-FOR-RUN\n MODULE-DIRECT-SUBMODULES\n DECLARE-SUBSORT-IN-MODULE\n UNKNOWN-ACTION\n %SAVE-CHAOS-FILE\n %LOOK-UP--TYPE\n@@ -17224,14 +17226,15 @@\n INIT-WALL-SECONDS\n VIEW-STATUS\n NO-CURRENT-MODULE\n TERM-IS-SIMPLE-LISP-FORM?\n INVALID-DEPTH-STATE\n FULL-RESET\n DECLARE-OPERATOR-THEORY\n+STAT-BITS\n ADD-MODEXP-EVAL\n LATE-JUXT-OPERATOR\n MATCH-AC-STATE-INITIALIZE\n APPLY-SI\n EVAL-DELIMITER-PROC\n THE-AZ-PROPERTY\n .METHOD-VAL2.\n@@ -17627,14 +17630,15 @@\n SELECTOR\n OFF-TRAM-DEBUG\n RHS-F-MS\n FOUND-PATTERN-DIRECTION\n MODEXP-EVAL-PRINCIPAL-OP\n VAR-DECL-LIST-SORT\n METHOD-IS-OF-SAME-OPERATOR+\n+COHERENT\n *SELECT-AMBIG-TERM*\n MOD-TOKEN\n CHECK-OVERLOADING-WITH-BUILTIN\n EXPAND-GOAL-BY-COB\n PN-DISTINCT-CONSTANTS\n *FOPL-IFF*\n RESOLVE-SUBST-FORM\n@@ -17681,14 +17685,15 @@\n *REGULARIZE-OPTIMIZE*\n *VAR-DECL-LIST*\n USER-INDUCTION-CASES\n NEXT-MATCH\n WHERE-SPEC\n MATCH-ACZ-NOTE-REPEATS\n IS-DIRECTORY?\n+BI-DEMODS\n FIRST-ARG-LEVEL-CONSTRAINT\n REN-HSORT\n REPORT-DECL-ERROR\n !METHOD-INFO-RULES-WITH-DIFFERENT-TOP\n CITP-PARSE-EMBED\n MODULE-IS-THEORY\n GET-TRS-ERROR-SORTS\n@@ -17777,14 +17782,15 @@\n ANY-INT-NODES?\n O!-SYMBOL-P\n .SEPARATOR-THIN.\n DO-DELETE\n *REDUCE-BUILTIN-EAGER*\n FINISH-MATCH\n AXIOM-META-AND-OR\n+BUILTINS\n READ-CONTINUE-APPEND\n PROOF-MOD\n EQN-NUMBER\n NEW-ERR-SORT\n CL-MEMBER-TEST\n DONESUBST\n MAKE-PN-PARAM\n@@ -17905,15 +17911,14 @@\n LEX-STRING-MATCH\n SETUP-TRAM-BOOL-MODULES\n OPINFO-OPERATOR\n %RMAP-MAP\n PROCESS-EV-LISP-FORM\n INDUCTION-CASES\n EQ-UNITS-BOTH-WAYS\n-FINAL-CHECK\n READ-LEXICON\n PARSE-MODULE-ELEMENT-1\n NOT-LOWEST-P-FAST\n GRPH-INT-NODE-INFO-NAME\n .CONTEXT.\n FIND-SOME-METHOD-IN\n METHOD-SELECT-MOST-GENERAL-VERSION-OF\n@@ -18021,14 +18026,15 @@\n ADD-METHOD-TO-TABLE-VERY-FAST\n PN-AUTOMATIC-SETTINGS-3\n LISP-TERM\n HYPER-SYMMETRY-KLUDGE\n !METHOD-INFO-OVERLOADED-METHODS\n APPLY-AUTO\n .ML-END-CHAR.\n+META-AND-OR\n _TRS_MODULE_NAMES_\n OLDOC-MDKEY\n PARSE-REQUIRE-COMMAND\n IS-PARAMOD-FETCH\n IMP-EXPR\n @MAKE-A-PATTERNS\n ext-rule-table-14\n@@ -18062,14 +18068,15 @@\n META-GET-LIST-INTEGERS\n FILE-COLUMN\n SIGMATCH-SET-OPS\n *Substitution*\n PSUP-PARSE-AXIOM\n SUBSTITUTION-FOREACH\n INITIALIZE-TRS\n+EQUATIONS\n GET-PANDORIC\n .DEFAULT-TACTICS.\n TRS-TERM-HEAD\n SORT-INFO\n *TERM-DEBUG*\n .TACTIC-IND.\n WITH-CITP-ENV\n@@ -18077,14 +18084,15 @@\n OPERATOR-STRATEGY\n FIRST-LIT\n _TRAM_SORT_ORDER_DECL_COMMAND_\n SHOW-CONSTRUCTOR-ORDER\n CL-WT-DELETE\n READ-IF-PRESENT\n ?example\n+NEXT-CHILD\n %LET-VALUE\n GET-GTERMS\n STR-TO-INT\n FUN-BODY\n WRAPPED-BODY\n .MAPPING-DEBUG.\n VAR-THEN\n@@ -18221,14 +18229,15 @@\n MAKE-INDVAR-COMB-SUBSTITUTIONS\n .RULES-SO-FAR.\n DEFINE-SORT\n %VARS--TYPE\n FOREACH-DENTRY\n IS-SLISP-FORM?\n DECLARE-PSORT\n+EVALUABLE\n ALLOCATE-ACZ-STATE\n MAKE-AUGM-PAD\n *PRINT-TERM-STRUCT*\n %DYNA-COMMENT-FORM\n SIGNATURE$MODULE\n PSYSTEM-BI-DEMODS\n %SIGNATURE-SORTS\n@@ -18756,15 +18765,14 @@\n REG-DIRECT-SUB-OR-EQUAL-SORTS\n PN-AUTOMATIC-SETTINGS-1\n TACTIC-CTF-NAME\n SAVE-CAFEOBJ-NO-TOP\n HIDDEN-OBJECTS\n DICTIONARY-BUILTINS\n %TRACE--TYPE\n-RULE-NUM\n PRINT-TERM-TREE\n *PRINT-EXEC-RULE*\n THEORY-INFO-IS-A\n %ATTR-RENAME-TARGET\n $NAME-TERM-TYPE\n NEW-ARITY\n %SAVE-OPTION--TYPE\n@@ -18895,15 +18903,14 @@\n NO-OPSET\n TRS-OPERATOR-SPECIAL-TOKEN-MAP\n REWRITE-DEBUG-ON\n PRINT-MODULE-GRAPH\n FIND-MATCH-VAR\n PRINT-PN-STAT-DETAIL\n NORMALIZE-MODEXP\n-HAS-TRANS\n PARSELIST\n CITP-PARSE-BGUESS\n OBSERVERS\n WITH-SPOILER-ON\n %VIEW-MAP\n EVAL-GENDOC\n SUBSTITUTION-DOMAIN\n@@ -19095,22 +19102,22 @@\n RULE-SPEC\n DO-APPLY-CTF\n CHECK-ON-GOING\n GET-COMMAND-INFO\n REWRITE-RULE-NEXT-MATCH-METHOD\n THEORY-STANDARD-FORM\n _COARITY\n-OP-INFO-MAP\n FIX-OPERATOR-MAPPING\n !NORMALIZE-TERM\n SORT-CHECK\n DUMP-TERM-HASH\n UNIFY-AC-NEXT-STATE\n PRINT-MODULE-SORT-TREE\n %PN-ASSIGN--TYPE\n+AFTER-LOOP\n .NEXT-GOALS.\n *CHARACTER-SORT*\n APPLICATION-FORM-TYPE\n MAKE-CT-LABEL\n MAKE-UNIVERSAL-CLOSURE\n MAKE-CPP\n PCONST-PRINT-NAME\n@@ -19213,15 +19220,14 @@\n TYPE-ERR\n ID-NESTED-SKOLEMS\n METHOD-IS-INSTANCE-OF\n RWL-STATE-DEPTH\n IS-QID-TOKEN\n _SUBSORTS\n MODEXP-EVAL\n-SIGNATURE\n CAFEOBJ-EVAL-LISP-PROC\n REAL-NAME\n *INTERACTIVE-SESSION*\n CHAOS-EXPR\n TERM-BODY\n QUEUE-FRONT-PTR\n OPERATOR-MODULE-ID\n@@ -19264,15 +19270,14 @@\n CHAOS-GET-DIRECTORY\n GET-MODULE-IMPORTED-PARAMETERS*\n SUBSTITUTION-COMPOSIT\n %SLOT-DEFAULT\n %CBRED-RHS\n DELETE-LITERAL-FROM-TABLE-SLOW\n CITP-PRINT-MESSAGE\n-INHABITED\n FIND-BTERM-SOLUTION-WITH-SUBST\n IS-EQUALITY\n LOWEST-METHOD!\n RWL-CHECK-ONE-STEP-REACHABILITY\n STABLE-OPERATORS\n FORM-ITEM\n MAKE-ABST-AND\n@@ -19312,15 +19317,14 @@\n SyntaxErr/0\n INVALID-FORMULA\n MAKE-BSORT\n CHECK-POLIMORPHIC-OVERLOADING-IN\n FOPL-OR?\n DECLARE-METHOD-PRECEDENCE\n EXTRACT-GIVEN-CLAUSE\n-TRANS-SO-FAR\n FINAL-RES\n SORT-IS-USER-DEFINED?\n NORMALIZE-PLUS\n READ-SHARP\n TERM$PSUEDO-CONSTANT-NAME\n EVAL-DRIBBLE\n CREATE-NZNAT\n@@ -19508,14 +19512,15 @@\n AUGM-INT-NODE-LPAD\n SORT-STRUCT-HIDDEN\n *TYPE-ERR-METHOD*\n %AXIOM-DECL--TYPE\n *BOOL-EQUAL*\n EVAL-TRACE-WHOLE\n APPLY-ONE-DEMODULATOR\n+CLAUSE-HASH\n *POSITIONAL-ARG-POS*\n GET-BTERM-VARIABLE\n LIST-OF-ALIST\n M1-ELEMS\n CHECK-AXIOM-VALIDITY\n OCCURS-VAR-VAL\n BUILD-BIN-RES\n@@ -19625,14 +19630,15 @@\n IS-IN-SAME-CONNECTED-COMPONENT\n MAKE-ANYTHING-IS-OK-TERM\n right-associative\n GET-MODULE-TRS-OR-ERROR\n PRINT-LOOP3\n INDEX-TABLE-COUNT\n OP-RELATION\n+THEORY-INFO\n SORT-REF\n .NEXT-CONTEXT-MODULE.\n UNIFY-INIT-FUN\n SUBST-LIST\n CITP-PARSE-RESET\n :spoiler\n AST-TYPE\n@@ -19778,14 +19784,15 @@\n NLIST-LIST\n NUM-OCCURRENCES\n MODMORPH-FIND-MAPPED-SORTS\n MODULE-SYMBOL-TABLE\n *PERFOROM-ON-DEMAND-REDUCTION*\n PARSER-PARSES\n MATCH-AZ-NEXT-STATE-AUX\n+SORT-GRAPH\n *Z-NZNAT-VALUE*\n DUMP-MODEXP-LOCAL\n VARIABLE$STATUS\n WHEN-MATCH\n LONGEST-TERM-ID\n _PWD-PAT\n CHECK-OP-SENSIBLENESS\n@@ -19826,14 +19833,15 @@\n ACCUM-VARS\n RWL-SCH-CONTEXT-STATE-PREDICATE\n UNIFY-HEAVY\n CLEAR-ERR-SORTS\n SEND-FORM\n TRY-REMOVE-ERROR-METHOD\n TERM-IS-NOT-BOOL\n+SEM-RELATIONS\n MATCH-EMPTY-STATE-INITIALIZE\n DTREE-FETCH\n FIND-QUAL-SORT\n $$MATCHES\n THEORY-CONTAINS-IDENTITY\n MISC-ERROR\n %REQUIRE-FEATURE\n@@ -20008,15 +20016,14 @@\n CONTEXT-NAME\n FRM-COND\n INSTALL-LAST-TERM\n MAKE-SUBST*\n PN-TERM-EQUATIONAL-EQUAL\n PARSE-VIEW-BODY\n ____STATE\n-UNKNOWNS\n DEMODULATOR\n *BUILTIN-SORT-TABLE*\n MAKE-SIGMATCH-VIEW-NAME\n MODULE-METHODS-WITH-BEH-AXIOM\n MAKE-EXT-RULE-TABLE-NAME\n GIVEN-CLAUSE\n MATCH-IS-IDEM-OK2?\n@@ -20362,15 +20369,14 @@\n UN-INDEX-PARAMODULATION\n GET-MSG-TYPE\n _POPD-PAT\n NEW-LITERAL\n RWL-SCH-CONTEXT-CONDITION\n SELF-REL\n PN-ORIENT-TERM-PAIR\n-SORT-ORDER\n PRINT-TERM-HORIZONTAL\n SET-CAFEOBJ-LIBPATH\n TACTIC-CSP-MINUS\n GET-CONTEXT\n %DESCRIBE--TYPE\n PRINT-MATCH-EQUATION\n APPLY-IND-TACTIC\n@@ -20460,15 +20466,14 @@\n %RECORD-DECL-SUPERS\n COMPONENTS____!?\n PRINT-LISTS-AT-END\n MODULE-OWN-AXIOMS\n PRINT-MATCH-STATE\n ALL-CASES\n INSTALL-FOPL-SENTENCE\n-PICK-WEIGHT\n %INSPECT--TYPE\n MAKE-OPERATOR-TOKEN-SEQ\n DAG-FOUND\n *PN-PARAMETERS*\n NEW-DEMODULATOR\n %DELIMITER--TYPE\n SYM-ELIM\n@@ -20505,15 +20510,14 @@\n PRINT-MODULE-PARAMETERS\n CREATE-NEW-SUBST\n PARA-INTO-TIME\n PROCESS-BPREDICATES-DECLARATION-FORM\n COND-PARSE\n TERM-FORM\n !READ-IN\n-LITERALS\n CREATE-SORT-OBJECT\n OWN-SLOTS\n $NAME-IDENTIFIER\n *PRINT-INDENT-CONTIN*\n ASSOC-DECL\n .NEW-AXS-SO-FAR.\n %SUBSORT-DECL-SORT-RELATION\n@@ -20738,14 +20742,15 @@\n MACRO-RHS\n PARAMETER-ARG-NAME\n $$SHOW-RED\n SHOW-OPTION-SET\n TOP-OBJECT-STATUS\n PRINT-VIEW-MODEXP-ABBREV\n LOWER-BOUNDS\n+ID-SYMBOL\n _TRAM_SORT_DECL_COMMAND_\n %SCASE-NAME\n EVAL-SEQ\n RAW-PARSE\n SOS-QUEUE\n USING-IMPORT-VAR\n METHOD-TABLE\n@@ -20780,15 +20785,14 @@\n RESET-CLAUSE-DB\n COMPUTE-SET-OCS\n PRINT-MODULE-VARIABLES\n OBJECT-DECL-FORM\n HAVE-COMMON-SUBSORT\n TEST-AND\n $NAME-TRS\n-LOWER-METHODS\n *BOOTSTRAPPING-BOOL*\n INFO-LEFT\n *CITP-FLAGS*\n ADD-EQ-LITERAL\n TERM-TYPE-EQ\n PN-CLOCK\n OPERATOR-IS-ASSOCIATIVE\n@@ -20856,15 +20860,14 @@\n INCLUDE-OBJECT\n EVAL-AST\n OBJECT-MISC-INFO\n GATHER-SORTS-WITH-ID\n IS-NZNAT-TOKEN\n MODULE-COBASIS\n INCLUDE-BAD-RULE\n-ALREADY-EVALUATED\n PRINT-THEORY-INFO\n THEORY-INFO-IS-CIZ\n MAKE-CITP-FLAG-STRUCT\n ADD-LITERAL-TO-TABLE\n TERM-HASH-EQ\n TRS$RULES\n CREATE-MODULE\n@@ -20891,15 +20894,14 @@\n PARSE-CITP-BINSPECT\n *RWL-SEARCH-NO-STATE-REPORT*\n DIRECT-VALUE\n ADD-EQUATION-TO-M-SYSTEM\n MODULE-EQ\n GEN-VAR-NUM\n VIEW-FRAG\n-ERR-SORTS\n REWRITE-RULE-CONTEXT-MOD\n AC-STATE-RHS-F-MAX\n DMOD-TABLE\n PARSE-WITH-DELIMITER\n GENERATE-STATISTICS-FORM-REWRITING-ONLY\n ASSIGNMENTS\n UNIFY-EMPTY-STATE-INITIALIZE\n@@ -20940,14 +20942,15 @@\n MATCH-WITH-EMPTY-THEORY\n RULE-MAKE-AND-COND\n EVAL-SHOW-DELIMITER\n GET-CONTEXT-MODULE\n identity:\n APPLY-A-EXTENSIONS\n %CHECK-WHAT\n+EVALUATION\n MAKE-TC-VARIABLE-SUBSTITUTIONS\n BCEQDECLARATION\n *DEBUG-OP-RELATION*\n MOVE-FROM-USABLE-TO-SOS\n SHOW-MODE\n %STOP-AT--TYPE\n SHOW-FULL-LIT-TABLE\n@@ -21160,14 +21163,15 @@\n PRINT-ERR-SORT-INTERNAL\n DECLARE-VIEW\n VARIABLES-OCCUR-AT-TOP?\n MODULE-$$ACTION-STACK\n MAKE-PIGNOSE-FLAG\n INITIALIZE-PSYSTEM\n MODULE-HAS-BEHAVIOURAL-AXIOMS\n+EXT-RULE-TABLE\n AXIOM-RHS\n *_*METH2\n *TRAM-OPTIONS*\n MAKE-PSYSTEM\n REDUCER-NO-STAT\n MAX-LEFT\n .TACTIC-IP+.\n@@ -21230,15 +21234,14 @@\n MODMORPH-IMPORT-SUBMODULE\n @APPLY-ALL\n TRAM-RWL-AUX-TRANS-OP-TEMPLATE\n FIND-SORTS-IMAGE*\n ID-GEN-MATCH\n RWL-SCH-CONTEXT-ZERO-TRANS-ALLOWED\n GET-METHOD-PRECEDENCE\n-CONSTRUCTOR-OPS\n APPLY-ONE-RULE-NO-SIMPLIFY\n INV-CHECK-MAX-DEPTH\n *BCONST-TERM-SORT*\n CONDITION-CHECK-OK\n METHOD-MISC-INFO\n ID-A-DEP-MATCH\n FIND-MATCHING-RULES\n@@ -21509,15 +21512,14 @@\n ?commands\n REG-SORT<\n LITERAL-SIGN\n ALL-ERROR-OPERATORS\n PRE-CHOOSE-FINAL\n REGULARIZE-SIGNATURE-INTERNAL\n CASE-EQUAL\n-STRICTLY-OVERLOADED\n !LOOK-UP\n COMPOSE-SUBST2\n INVALID-MODULE\n BOUND-TOKEN\n MAKE-PTREE-GOAL-NAME\n DECLARE-OPERATOR-IN-MODULE\n INSTALL-FOPL-CLAUSE\n@@ -21596,14 +21598,15 @@\n MATCH-ACZ-STATE-LHS-MASK\n PIGNOSE-EVAL-GOAL-PROC\n *PRINT-VARIABLES*\n RUN-SHELL\n CREATE-RAT\n CUR-TRIAL\n GET-MODEXP-CHILDREN\n+DEMODULATORS\n MAKE-SIMPLE-LISP-FORM-TERM\n LAST-SIBLINGS\n APPLY-NF\n MATCH-ACZ-STATE-LHS-V-COUNT\n sort-order\n CAFEOBJ-EVAL-CLEAR-MEMO-PROC\n MATCH-A-MAKE-TERM\n@@ -21928,15 +21931,14 @@\n STRUCTURE-CONC-NAME\n METHOD-IS-DERIVED-FROM\n PARSE-VARS\n BSORT-TERM-CREATOR\n TRAM-MAKE-BUILT-IN-AXIOMS\n RWL-CONTINUE+\n *DEBUG-FORMULA*\n-NON-EXEC\n SOLUTION\n READ-OPATTR\n MATCH-Z-STATE-SYS\n BIND-PATTERN\n *FOPL-SENTENCE-MODULE*\n TERM-OP-CONTAINS-THEORY\n %CLASS-DECL--TYPE\n@@ -22303,14 +22305,15 @@\n SORT-MISC-INFO\n PRINT-AXIOM-BRIEF\n TRS-REV-OP-NAME\n *LAST-TERM-EQN-RHS*\n *PRINT-WITH-SORT*\n GOAL-IS-DISCHARGED\n SKIP-NUM\n+$$STOP-PATTERN\n MATCH-Z-EQUAL\n CONTROL-D-STRING\n SIGNATURE$OPERATORS\n CLAUSE-COUNTER\n ALLOCATE-METHOD-INFO\n REAL-THEORY\n RULE-LHS\n@@ -22511,15 +22514,14 @@\n METHOD-SUPPLIED-STRATEGY\n THEORY-CONTAINS-AC-DIRECT\n PARSER-FIND-PARSE-STRICT\n DELETE-INTO-VAR-PAT\n IS-APPLFORM?\n FLATTEN-TACTIC-SEQ\n NORMAL-TERM\n-DUMMY-METHODS\n COPY-DTREE\n THE-C-PROPERTY\n IS-VARIABLE\n GET-MODULE-TOP-SORTS\n *Z-CHAR-VALUE*\n MAKE-%CHAOS-STATIC-OBJECT\n DST-METHOD\n@@ -22986,15 +22988,14 @@\n MAX-KEPT\n GATHER-OP-RELATIONS-FROM-ORDER\n MAKE-FORM\n PRINT-INSTANCE-DB\n CREATE-MODMORPH\n TARGET-FORM\n NAME-WIDTH\n-ASSOCIATIVITY\n GOAL-HYPOS\n PARA-FROM-GEN\n FIND-BUILTIN-METHOD-IN\n LIST-ASSOC-SUBTERMS-AUX\n METH-REF\n VARIABLE!_\n IS-OPERATOR-THEORY?\n@@ -23017,15 +23018,14 @@\n OP-SYMBOL\n .TERM-DELIMITING-CHARS.\n PIGNOSE-PARSE-SIGMATCH\n ?_?OPNAME\n CHECK-CYCLIC-SORT-ORDER\n DUMP-CEXEC-TERM-HASH\n INTRODUCE-INSTANCIATED-AXIOM-TO-MODULE\n-SPECIAL-BINDINGS\n RRULE-REF\n CLEAR-INDUCTION-SCHEME\n *STRING-SORT*\n EVAL-CITP-INIT\n _ Class _\n LOOP-AFTER\n MAP-CHAOS-SORT-TO-TRS\n@@ -23087,15 +23087,14 @@\n DEMOD-NORMALIZE-TERM\n APPLY-TACTIC\n M-SYSTEM-EXTRACT-ONE-SYSTEM\n POS-LIST\n .TACTIC-NF.\n MATCH-EQUATION-COMP\n VARIABLE-IMAGE-FAST\n-BASE-OPS\n @APPLY-RULE\n ABST-AND-SUBST\n NEGATIVE-LITERAL?\n TH-MATCH-STATE\n ASSOC-IN-SUBSTITUTION\n NO-SUCH-CLAUSE\n SORT-INHABITED\n@@ -23128,15 +23127,14 @@\n %TRACE-WHOLE--TYPE\n PUSH-NEXT-GOAL\n UNIT-DEL-TIME\n *SORT_BUILTIN*\n ?Character\n OPINFO-P\n !METHOD-INFO-LOWER-METHODS\n-SEM-AXIOMS\n PRINT-REN-OP\n PN-PARAM-MIN\n PERFORM-DEMODULATION\n SAFE-IS-FALSE?\n THEORY-MODULE\n PRINT-CHECK-BU\n ADJOIN-SORT-RELATION\n@@ -23449,15 +23447,14 @@\n END-REWRITE\n FIND-MODEXP-EVAL\n PARSE-AXIOM-OR-TERM\n DELETE-OBJECT-FROM-ASSOC-TABLE\n LEX-VALS-SET\n ORDER-CONSTRUCTORS\n ?_ HBottom _\n-VAR-SUBST\n EMPTY-METHODS\n *ALWAYS-MEMO*\n ADD-MODULE-ALIAS\n FIND-ERROR-METHOD-IN\n REWRITE-ABORT\n RWL-STATE-TRANS-RULES\n !METHOD-INFO-STRICTLY-OVERLOADED\n@@ -23507,15 +23504,14 @@\n BSORT-HIDDEN\n MAPPING-IMAGE-2\n SORT-ARITY\n PRINT-SORT-NAME2\n ARG-SORT-LIST\n MATCH-ACZ-STATE-RHS-C\n THEORY-INFO-IS-ACZ\n-OPERATORS\n DEMOD-CONDITION\n UNIFY-C-EQUAL\n RULE-NEXT-MATCH-METHOD\n UNREAD-TOKEN\n PUT-GOAL-IN-SOS?\n INV-CHECK-SYSTEM-GOALS\n *PROOF-INDENT*\n@@ -23537,15 +23533,14 @@\n *ID-MODULE*\n STEP-COMMANDS\n FOPL-CLAUSE-FORM-MODULE\n *ON-OPERATOR-DEBUG*\n PROCESS-RECORD-DECLARATION-FORM\n PARSER-SCAN-PARENTHESIZED-UNIT\n CONST-TERM\n-TERM-HASH\n TERM$STATUS\n %AXIOM-DECL-LABELS\n RESTORE-SYSTEM\n EVAL-POPD\n *BUILTIN-METHOD*\n NO-SYSTEM-EQUATIONS\n AUGM-TREE-NAME\n@@ -23678,27 +23673,29 @@\n TERM-VARIABLES\n CREATE-PLUS\n SIGMATCH-SET-MODULE\n CHANGE-AXIOM-DECL-TO-NOW\n ALL-FACTORS\n IGNORE-THESE\n BACK-UNIT-DEL-GEN\n+ZERO-TRANS-ALLOWED\n V-TERM-LIST\n AXIOM-HEADER\n BAD-RULE-TYPES\n NUM-GEN-CONST\n CHAOS-GET-RELATIVE-PATH\n SAVE-PN-FLAGS\n GET-MSG-LEVEL\n LITERAL-TRUE-FALSE-REDUCE\n DECLARE-ERROR-VARIABLES-IN\n NO-TARGET\n NEXT-MATCH-STATE\n MATCH-ACZ-STATE-LHS-V\n REWRITE-RULE-LABELS\n+THEOREMS\n BINSPECT-INTRO-PREDICATES\n RHS-F-SOL\n CUR-NODE\n *SYSTEM-EX-DIR*\n *RUN-TIME*\n COM-NAME\n NEW-GLOBAL-STATE\n@@ -23747,14 +23744,15 @@\n LISP-INFO\n EXPORTING-OBJECTS\n TREE-WIDTH\n %VIEW-UNDER\n SET-CLAUSE-CONTAINER\n *CURRENT-CAFEOBJ-RULE*\n PARA-FROM\n+CLASHABLES\n MAX-SECONDS?\n APPLY-IT\n BSORTDECLARATION\n OLDOC-RTITLE\n LAST-ITEM\n MATCH-C-STATE-INITIALIZE\n PERFORM-INV-CHECK\n@@ -25258,38 +25256,37 @@\n ARG-INFO-LAMBDA-LIST\n ARG-INFO-PRECEDENCE\n GF-INFO-SIMPLE-ACCESSOR-TYPE\n GF-INFO-CNM-CHECKER\n WRAPPER0\n ALLOCATION-CLASS\n SIMPLE-NEXT-METHOD-CALL\n-CPD-CLASS\n-CPD-AFTER\n-CPD-COUNT\n+%SLOT-DEFINITION\n+SUPERCLASS\n CPD-SUPERS\n+CPD-COUNT\n+CPD-AFTER\n+CPD-CLASS\n NATIVE-LEXENV\n SYMBOL-EXPANSIONS\n+ENCAPSULATION-FUN\n ENCAPSULATED-FUN\n CLEAR-STATS-FUN\n-ENCAPSULATION-FUN\n GC-RUN-TIME\n-%SLOT-DEFINITION\n-SUPERCLASS\n-FUNCTIONALITY\n-CONTEXT-FORMAT\n-CONTEXT-ARGUMENTS\n ANCESTOR\n-START-OF-END-STRING-P\n-MULTI-LINE-P\n+GATHER-TYPE\n+ACTIONS-R\n NO-NEWLINE-P\n+MULTI-LINE-P\n SINGLE-LINE-P\n NEGATEDP\n-THEN-REGEX\n ELSE-REGEX\n-CONTAINS-REGISTER-P\n+THEN-REGEX\n+REQUIRES\n+LAST-POS\n QUEUE-TAIL\n PRINT-LINES\n LINE-NUMBER\n BUFFER-SIGNIFICANT-SPACES\n BUFFER-FILL-POINTER\n QUEUE-HEAD\n NUMBER-MATCHABLE-P\n@@ -25311,22 +25308,22 @@\n FOREIGN-CODE-P\n FUN-HOOKS\n CUR-LABELS\n CUR-OFFS\n INST-PROPERTIES\n FILTERED-VALUES\n FUNCTION-CODE\n-NEIGHBOR-COLOR-COUNTS\n-FULL-INCIDENCE\n-INITIAL-DOMAIN\n INVALID-FASL-STREAM\n INVALID-FASL-BYTE-NR\n INVALID-FASL-EXPECTED\n INVALID-FASL-BYTE\n INVALID-FASL-FHSSS\n+NEIGHBOR-COLOR-COUNTS\n+FULL-INCIDENCE\n+INITIAL-DOMAIN\n TRAM-EOF\n HORIZONTAL\n EOF-OBJECT\n BIVALENT\n UNSPECIFIC\n ABSOLUTE\n CHAOS-ERROR-HANDLER\n@@ -26853,29 +26850,14 @@\n LOOP-UNIVERSE-FOR-KEYWORDS\n LOOP-UNIVERSE-PATH-KEYWORDS\n LOOP-PATH-NAMES\n LOOP-PATH-PREPOSITION-GROUPS\n LOOP-PATH-INCLUSIVE-PERMITTED\n LOOP-PATH-FUNCTION\n LOOP-PATH-USER-DATA\n-MAKE-BLOCK-END\n-MAKE-NEWLINE\n-MAKE-INDENTATION\n-MAKE-BLOCK-START\n-MAKE-TAB\n-MAKE-PPRINT-DISPATCH-ENTRY\n-MAKE-INSTRUCTION\n-MAKE-INST-SPACE\n-MAKE-INST-SPACE-CHOICE\n-MAKE-OFFS-HOOK\n-MAKE-SOURCE-FORM-CACHE\n-MAKE-LOCATION-GROUP\n-MAKE-LOOP-COLLECTOR\n-MAKE-LOOP-MINIMAX-INTERNAL\n-MAKE-LOOP-PATH\n NO-LAMBDA-LIST\n ENV-PARENT\n ENV-VARS\n ENV-FUNS\n ENV-EXPANDERS\n ENV-SYMBOL-EXPANSIONS\n ENV-TAGS\n@@ -26945,14 +26927,38 @@\n INTERPRETED-FUNCTION-LAMBDA-LIST\n INTERPRETED-FUNCTION-DEBUG-LAMBDA-LIST\n INTERPRETED-FUNCTION-ENV\n INTERPRETED-FUNCTION-DECLARATIONS\n INTERPRETED-FUNCTION-DOCUMENTATION\n INTERPRETED-FUNCTION-BODY\n INTERPRETED-FUNCTION-SOURCE-LOCATION\n+MAKE-BLOCK-END\n+MAKE-NEWLINE\n+MAKE-INDENTATION\n+MAKE-BLOCK-START\n+MAKE-TAB\n+MAKE-PPRINT-DISPATCH-ENTRY\n+MAKE-INSTRUCTION\n+MAKE-INST-SPACE\n+MAKE-INST-SPACE-CHOICE\n+MAKE-OFFS-HOOK\n+MAKE-SOURCE-FORM-CACHE\n+MAKE-LOCATION-GROUP\n+MAKE-LOOP-COLLECTOR\n+MAKE-LOOP-MINIMAX-INTERNAL\n+MAKE-LOOP-PATH\n+%MAKE-ENV\n+MAKE-COUNTER\n+MAKE-PROFILE-INFO\n+MAKE-OVERHEAD\n+MAKE-TIME-INFO\n+MAKE-CHARSET\n+MAKE-CHARMAP%\n+NO-OUTPUT-FILE\n+MAKE-LEXER-INTERNAL\n ANNOTATION-INDEX\n ANNOTATION-POSN\n LABEL-INDEX\n LABEL-POSN\n LABEL-COMMENT\n NON-PACKED\n PP-DISPATCH-ENTRIES\n@@ -27071,23 +27077,18 @@\n DSTATE-CURRENT-VALID-LOCATIONS\n SHIFTER-OPERAND-REGISTER\n SHIFTER-OPERAND-FUNCTION-CODE\n SHIFTER-OPERAND-OPERAND\n EXTEND-REGISTER\n EXTEND-KIND\n EXTEND-OPERAND\n-%MAKE-ENV\n-MAKE-COUNTER\n-MAKE-PROFILE-INFO\n-MAKE-OVERHEAD\n-MAKE-TIME-INFO\n-MAKE-CHARSET\n-MAKE-CHARMAP%\n-NO-OUTPUT-FILE\n-MAKE-LEXER-INTERNAL\n+MEMORY-OPERAND-BASE\n+MEMORY-OPERAND-OFFSET\n+MEMORY-OPERAND-MODE\n+IGNORE-ALL\n MAKE-EVAL-LEXENV\n MAKE-PPRINT-DISPATCH-TABLE\n MAKE-FASL-INPUT\n MAKE-FASL-GROUP\n %MAKE-ARG\n MAKE-INST-FORMAT\n MAKE-STMT\n@@ -27095,38 +27096,38 @@\n MAKE-BACK-PATCH\n MAKE-CHOOSER\n MAKE-FILLER\n MAKE-STORAGE-INFO\n %MAKE-SEGMENT\n %MAKE-DSTATE\n MAKE-SHIFTER-OPERAND\n-IGNORE-ALL\n+MAKE-MEMORY-OPERAND\n DECL-TOPLEVEL\n ID-THEOREM\n IDEM-THEORY\n ID-EXT-THEORY\n AC-THEORY\n A-MIDDLE-THEORY\n A-RIGHT-THEORY\n A-LEFT-THEORY\n-WALK-LOCALLY\n-WALK-MACROLET\n INNER-MODULE\n DOC-ONLY\n BAD-RULE\n CL-PPCRE\n NON-BASE-CHARS-EXIST-P\n ASDF-UNICODE\n ARENA-ALLOCATOR\n COMMON-LISP\n IEEE-FLOATING-POINT\n SB-CORE-COMPRESSION\n SB-PACKAGE-LOCKS\n SB-THREAD\n SB-UNICODE\n+WALK-LOCALLY\n+WALK-MACROLET\n WALK-DEFUN\n WALK-SYMBOL-MACROLET\n WALK-TAGBODY\n WALK-LOAD-TIME-VALUE\n WALK-SETQ\n OPERATION-DESIGNATOR\n POSITIVE-INFINITY\n@@ -27183,17 +27184,14 @@\n READ-ERROR\n SINGLE-CHAR-WILD\n UTF-32LE\n PER-LINE-PREFIX\n MORE-ARGUMENT\n MORE-RESULT\n SPECIFIED\n-MEMORY-OPERAND-BASE\n-MEMORY-OPERAND-OFFSET\n-MEMORY-OPERAND-MODE\n VERTEX-NUMBER\n VERTEX-FULL-INCIDENCE\n VERTEX-NEIGHBOR-COLORS\n VERTEX-NEIGHBOR-COLOR-COUNTS\n VERTEX-INITIAL-DOMAIN\n VERTEX-INITIAL-DOMAIN-SIZE\n VERTEX-TN\n@@ -28365,15 +28363,14 @@\n FOP-MSET\n FOP-BASE-STRING\n FOP-NAMED-PACKAGE-SAVE\n DEFAULTED-FASL-TRUENAME\n TBL-SLOT\n FOP-SVSET\n FOP-STRUCTSET\n-MAKE-MEMORY-OPERAND\n %MAKE-VERTEX\n %MAKE-INTERFERENCE-GRAPH\n MAKE-BINARY-NODE\n *SYMBOL-MACRO*\n EVAL-IN-NATIVE-ENVIRONMENT\n RELATIVE-TO\n PRETTY-OUT\n@@ -28483,28 +28480,28 @@\n WALK-DECLARATIONS\n CONVERT-MACRO-TO-LAMBDA\n NORMALIZED-P\n NORMALIZE-STRING\n F-STREAM-\n *ASSEMBLER-ROUTINES-BY-ADDR*\n *DISASSEM-INST-SPACE*\n-DISASSEMBLE-ASSEM-SEGMENT\n-TARGET-IF-DESIRABLE\n-SYMBOL-MACRO84\n-BODY-NAME-\n *REAL-START-POS*\n END-STRING-OFFSET\n END-ANCHORED-P\n END-STRING\n *REP-NUM*\n *ZERO-LENGTH-NUM*\n *REPEAT-COUNTERS*\n *LAST-POS-STORES*\n *END-POS*\n *STRING*\n+DISASSEMBLE-ASSEM-SEGMENT\n+TARGET-IF-DESIRABLE\n+SYMBOL-MACRO84\n+BODY-NAME-\n *REG-STARTS*\n *REG-ENDS*\n *START-POS*\n *END-STRING-POS*\n *REGS-MAYBE-START*\n ACCUMULATE-START-P\n REG-NAMES\n@@ -28532,28 +28529,31 @@\n CASE-MODE\n ITERATOR-COPY\n ITERATOR-INDEX\n ITERATOR-ELEMENT\n ITERATOR-ENDP\n ITERATOR-STEP\n ADJUST-SEQUENCE\n-NCLOSURE15\n DCHUNK-EXTRACT\n+NCLOSURE15\n DISASSEMBLE-MEMORY\n GET-COMPILED-FUNS\n DISASSEMBLE-CODE-COMPONENT\n FIND-PATTERN\n SEQUENCE-OF-ONES-P\n COUNT-TRAILING-ZEROS\n UNICODE-CHAR->NAME\n SIZE-NBYTE\n LOOP-STANDARD-EXPANSION\n END-LOOP\n+MAKE-ARRAY-FROM-TWO-CHARS\n+WALK-DEFINITIONS\n BUILD-REPLACEMENT-TEMPLATE\n RESOLVE-PROPERTY\n+ALIEN-STAT\n MAKE-NULL-ENVIRONMENT\n GET-VARIABLE\n EVAL-SETQ\n EVAL-MACROLET\n FIRST-FORM\n MAYBE-EVAL\n EVAL-FUNCTION\n@@ -28667,41 +28667,38 @@\n WALK-TAGBODY-1\n *KEY-TO-WALKER-ENVIRONMENT*\n OLD-BODY\n RECORD-NEW-SOURCE-PATH\n WALKER-INFO-TO-BOGO-FUN\n BOGO-FUN-TO-WALKER-INFO\n STOP-FORM\n-WALK-DEFINITIONS\n-ALIEN-STAT\n-MAKE-ARRAY-FROM-TWO-CHARS\n WITH-ALIEN-STAT\n *EXTENDED-MODE-P*\n+KEY-INDEX-\n *PACK-ASSIGN-COSTS*\n *REGISTER-ALLOCATION-METHOD*\n *REPACK-BLOCKS*\n *PACK-OPTIMIZE-SAVES*\n *REPACK-BLOCK-EVENT-INFO*\n-KEY-INDEX-\n *DEPRECATED-FUNCTION-STYLE-WARNING-EXPLAIN-NOTIFIED-P*\n LAST-STR\n *DEFAULT-OUTPUT-TRANSLATIONS*\n +GOOD-BITS+\n *DEPRECATED-FUNCTION-STYLE-WARNING-TRAVERSE-NOTIFIED-P*\n++DONE-BIT+\n +CHARACTER-MISC-DATABASE+\n REGEX-LENGTH\n COPY-REGEX\n REGEX-MIN-LENGTH\n EVERYTHINGP\n MAKE-SIMPLE-SEQUENCE-ITERATOR\n START-ANCHORED-P\n REMOVE-REGISTERS\n END-STRING-AUX\n GATHER-STRINGS\n-*LOOP-DESETQ-TEMPORARY*\n SETTINGS\n CALL-WITH-SAVED-DEFERRED-WARNINGS\n CHECK-FLAG\n REIFY-UNDEFINED-WARNING\n REIFIED-DEFERRED-WARNINGS\n ADJUSTMENT\n +OPTIMIZATION-VARIABLES+\n@@ -28862,14 +28859,19 @@\n CHECK-NOT-OLD-ASDF-SYSTEM\n *OLD-ASDF-SYSTEMS*\n FOUND-SYSTEM\n DEFINITION-DEPENDENCIES-UP-TO-DATE-P\n SUB-SPEC\n SUBSTRINGS\n EMIT-SUBSTRING\n+TERMIOS-CC\n+TERMIOS-LFLAG\n+TERMIOS-CFLAG\n+TERMIOS-OFLAG\n+TERMIOS-IFLAG\n ADD-FUN-HEADER-HOOKS\n ERROR-PARSE-FUN\n CALL-FUN-HOOKS\n GET-INTERNAL-ERROR-NAME\n SPECIALIZER-RANK\n PAD-INST-COLUMN\n BUILD-INST-SPACE\n@@ -28962,19 +28964,14 @@\n PRIN1-QUOTED-SHORT\n MAP-SEGMENT-INSTRUCTIONS\n DSTATE-GETPROP\n PRINT-BYTES\n LABEL-SEGMENTS\n MAYBE-NOTE-STATIC-SYMBOL\n NOTE-CODE-CONSTANT\n-TERMIOS-CC\n-TERMIOS-LFLAG\n-TERMIOS-CFLAG\n-TERMIOS-OFLAG\n-TERMIOS-IFLAG\n UNCOND-BRANCH-REG\n PRINT-VX.T\n PRINT-SIMD-IMMH-SHIFT-LEFT\n PRINT-VBHS\n PRINT-FLOAT-REG\n FP-DATA-PROCESSING-1\n BRK-CONTROL\n@@ -29490,17 +29487,18 @@\n PASSWD-NAME\n FLOCK-LEN\n FLOCK-START\n FLOCK-WHENCE\n FLOCK-TYPE\n PREBUILT-SYSTEM-STATIC-LIBRARY\n N-ARRAY26\n-MERGE-ACTION-STATUS\n-+DONE-BIT+\n+*LOOP-DESETQ-TEMPORARY*\n NCLOSURE30\n+MERGE-ACTION-STATUS\n+KEYWORDS-AND-FORMS\n SPLIT-MIN\n LOOP-ELEMENTS-ITERATION-PATH\n LOOP-CONSTANT-FOLD-IF-POSSIBLE\n LOOP-DESTRUCTURING-BIND\n TYPE-FOR-DEFAULT-INIT\n MAKE-LOOP-MINIMAX\n REQUIRED-TYPE\n@@ -29568,15 +29566,14 @@\n LOOP-DISALLOW-ANONYMOUS-COLLECTORS\n LOOP-SUM-COLLECTION\n DESETQ-DECLS\n LOOP-DO-WHILE\n LOOP-DISALLOW-CONDITIONAL\n LOOP-PSEUDO-BODY\n FIND-IN-DESETQ\n-KEYWORDS-AND-FORMS\n *LOOP-EPILOGUE*\n STD-ATOM-TYPE-SPECIFIER-P\n STEP-HACK\n LOOP-MAXMIN-COLLECTION\n MAP-NAME\n GEN-LOOP-BODY\n SEQUENCE-VARIABLE\n@@ -29681,14 +29678,16 @@\n VERTICES-BEST-COLOR/SINGLE-COLOR\n INIT-LIVE-TNS\n FAILED-TO-PACK-LOAD-TN-ERROR\n VERTICES-BEST-COLOR/SINGLE-VERTEX\n *TN-LOOP-DEPTH-MULTIPLIER*\n *TN-WRITE-COST*\n *PACK-ITERATIONS*\n+STATUS-BITS\n+STATUS-LEVEL\n ELSE-FORM\n ELEMENT<\n CALL-NOW-P\n TIMESTAMP\n THEN-FORM\n FUNCTION-SPEC\n SEPARATORP\n@@ -29712,20 +29711,18 @@\n SELFWARD-OPERATION-DEPENDS-ON\n +VOID-BITS+\n +TODO-BITS+\n +KEEP-BIT+\n PERFORM-STATUS\n +NEED-BIT+\n MAKE-ACTION-STATUS\n-STATUS-LEVEL\n COMPUTE-ACTION-STATUS\n COLLECT-ACTION-DEPENDENCIES\n MARK-STATUS-NEEDED\n %COMPUTE-PLAN-CLASS-VALUE\n-STATUS-BITS\n PADDING-4-20\n PADDING-11-8\n FCNTL-WITH-POINTER-ARG\n DURATION\n OFFSET-OF-ALIEN-STAT-DEV\n WITH-GROWING-C-STRING\n WITH-ALIEN-TIMEVAL\n@@ -30041,20 +30038,21 @@\n PRIMARY-SYSTEM\n DESTINATION-DIRECTORY\n *DEPRECATED-FUNCTION-STYLE-WARNING-SYSTEM-DEFINITION-PATHNAME-NOTIFIED-P*\n *DEPRECATED-FUNCTION-STYLE-WARNING-ENABLE-ASDF-BINARY-LOCATIONS-COMPATIBILITY-NOTIFIED-P*\n *DEPRECATED-FUNCTION-STYLE-WARNING-SYSTEM-REGISTERED-P-NOTIFIED-P*\n *DEPRECATED-FUNCTION-STYLE-WARNING-COMPONENT-LOAD-DEPENDENCIES-NOTIFIED-P*\n *DEPRECATED-FUNCTION-STYLE-WARNING-RUN-SHELL-COMMAND-NOTIFIED-P*\n-ONE-ITER-\n NCLOSURE23\n+ONE-ITER-\n SPECIAL82\n NOT-PRESENT85\n BUNDLE-OUTPUT-FILES\n-LOOP-DESETQ-TEMP\n+LIST-INITARG-0\n+STRING-INITARG-0\n *!DELAYED-DEFMETHOD-ARGS*\n POSTLUDEP\n LISP-OBJECT-FILES\n PRELUDEP\n ENTRY-POINT-P\n *IMAGE-RESTORED-P*\n CONSTRUCT\n@@ -30106,16 +30104,15 @@\n OS-HAIKU-P\n FIRST-FEATURE\n FEATURE-SETS\n *LINK-GUID*\n VALIDATEP\n DIRECTORY-PATHNAME\n PATHNAME-SPEC\n-LIST-INITARG-0\n-STRING-INITARG-0\n+LOOP-DESETQ-TEMP\n FIELD-VALUES-12\n ARG-FOR-(BYTE 64 0)-\n SEGMENT-\n FIELD-VALUES-3\n FIELD-VALUES-8\n FIELD-VALUES-6\n FIELD-VALUES-38\n@@ -33163,14 +33160,17 @@\n DEFINITION-SOURCE-LOCATION+PLIST-EQUALP\n A\tSB-KERNEL\n B\tSB-KERNEL\n TYPE-CONTEXT-EQUALP\n SYMTBL-MAGIC-EQUALP\n A\tSB-KERNEL0\n B\tSB-KERNEL,\n+~@<~@(~D~) call~:P to ~// ~2:*~[~;was~:;were~] compiled before a compiler-macro was defined for it. A declaration of NOTINLINE at the call site~:P will eliminate this warning, as will defining the compiler-macro before its first potential use.~@:>\n+~A elements in ~2I~_~:S ~I~_to satisfy lambda list ~2I~_~//: ~I~_\n+~@<~S ~S causes name-conflicts in ~S between the following symbols: ~2I~@:_~{~//~^, ~}~:@>\n RANDOM-STATE-EQUALP\n READTABLE-EQUALP\n A\tSB-KERNEL<\n PPRINT-DISPATCH-TABLE-EQUALP\n A\tSB-KERNEL\n TRANSFORM-EQUALP\n A\tSB-KERNEL<\n@@ -33319,17 +33319,14 @@\n \tCONDITION\n COMMON-LISP\n COMMON-LISP8\n SYS:SRC;COMPILER;BITOPS-DERIVE-TYPE.LISP\n SYS:SRC;CODE;MACROEXPAND.LISP\n SYS:SRC;CODE;FOREIGN.LISP\n @4L7[8E99<\n-~@<~@(~D~) call~:P to ~// ~2:*~[~;was~:;were~] compiled before a compiler-macro was defined for it. A declaration of NOTINLINE at the call site~:P will eliminate this warning, as will defining the compiler-macro before its first potential use.~@:>\n-~A elements in ~2I~_~:S ~I~_to satisfy lambda list ~2I~_~//: ~I~_\n-~@<~S ~S causes name-conflicts in ~S between the following symbols: ~2I~@:_~{~//~^, ~}~:@>\n Base class for all Gray streams.\n Superclass of all Gray input streams.\n An ASDF session with a cache to memoize some computations\n Base class for all components of a build\n Compile the system and produce a linkable static library (.a/.lib)\n for all the linkable object files associated with the system. Compare with DLL-OP.\n On most implementations, these object files only include extensions to the runtime\n@@ -34073,22 +34070,20 @@\n bad thing to be a type specifier: ~//\n FLET ({(name lambda-list declaration* form*)}*) declaration* body-form*\n Evaluate the BODY-FORMS with local function definitions. The bindings do\n not enclose the definitions; any use of NAME in the FORMS will refer to the\n lexically apparent function definition in the enclosing environment.\n SB-BROTHERTREE\n internal: 1-2-Brother tree\n+Symbol ~// cannot be both the name of a type and the name of a declaration\n private: implementation details of LOOP\n ZO]batiOn\n (8*b,1.(0\n 7\"V\"9$a$~&\n-Symbol ~// cannot be both the name of a type and the name of a declaration\n Should the contents of arrays be printed?\n-A pair of operation and component uniquely identifies a node in the dependency graph\n-of steps to be performed while building a system.\n \n \n COMMON-LISP\n WEAK-POINTER\n If WEAK-POINTER is valid, return the value of WEAK-POINTER and T.\n If the referent of WEAK-POINTER has been garbage collected,\n returns the values NIL and NIL.\n@@ -34099,29 +34094,29 @@\n COMMON-LISP8\n MEMBER-TYPE\tSB-KERNEL44g4\n COMMON-LISP8*gX\n SB-IMPL-%'0+\n /u2&:.>,@\n ;SBpDbEaL\n y8{m}t~~\n-VPXPZK^b_\n-KzL|Z'\\~c\n-SB-REGALLOC\n-private: implementation of the compiler's register allocator\n->=?D@j@^A\n No format-control for ~S\n ~2I~@[~:@_ ~:@_~:{~:(~A~): ~S~:^, ~:_~}~]~:@_ ~:@_Stream: ~S\n ~@\n Bogus slot cell in SLOT-VALUE: ~S\n no host specified\n ~S is not a valid logical namestring:\n (~S ~S) is not a defined info type.\n Ignore the package lock.\n Unlock the package.\n Ignore all package locks in the context of this operation.\n+VPXPZK^b_\n+KzL|Z'\\~c\n+SB-REGALLOC\n+private: implementation of the compiler's register allocator\n+>=?D@j@^A\n ~S can't be used to initialize an array of type ~//.\n the default for the :PRINT argument to LOAD\n the fixnum closest in value to positive infinity\n the previous value of ++\n the value of the most recent top level READ\n counter for generating unique GENSYM symbols\n Boole function op, makes BOOLE return complement of integer1.\n@@ -36629,29 +36624,81 @@\n VALUE forms. The variables are bound in parallel after all of the VALUES forms\n have been evaluated.\n LABELS ({(name lambda-list declaration* form*)}*) declaration* body-form*\n Evaluate the BODY-FORMS with local function definitions. The bindings enclose\n the new definitions, so the defined functions can call themselves or each\n LEXICAL-DEF\n FUNCTIONAL-KIND-EQ\n-/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory.lisp\n+A pair of operation and component uniquely identifies a node in the dependency graph\n+of steps to be performed while building a system.\n /build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm.lisp\n+missing arg\n+info hashtable\n+data start\n+text start\n+elsewhere start\n SYS:SRC;CODE;WEAK.LISP\n SYS:SRC;COMPILER;IR1UTIL.LISP\n /build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport.lisp\n /build/reproducible-path/cafeobj-1.6.0/comlib/lex.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine.lisp\n+/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory.lisp\n+/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/construct/match-method.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram.lisp\n+/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval.lisp\n+/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils.lisp\n+/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader.lisp\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+VALUE\tSB-KERNEL(\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+VALUE\tSB-KERNEL(\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+VALUE\tSB-KERNEL(\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+VALUE\tSB-KERNEL(\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+VALUE\tSB-KERNEL(\n+INSTANCE\tSB-KERNEL0\n+INSTANCE\tSB-KERNEL,\n+\tCONDITION\n+COMMON-LISP\n+If SYMBOL names a macro in ENV, returns the expansion function,\n+else returns NIL. If ENV is unspecified or NIL, use the global environment\n+\tCONDITION\n+COMMON-LISP<\n+COMMON-LISP8\n+COMMON-LISP8\n+Return the values of :DISPLACED-TO and :DISPLACED-INDEX-offset\n+ options to MAKE-ARRAY, or NIL and 0 if not a displaced array.\n+COMMON-LISP\n+Convert ALIEN to an Alien of the specified TYPE (not evaluated.) Both types\n+ must be Alien array, pointer or function types.\n+COMMON-LISP0\n+Return non-NIL if SYMBOL is bound to a value.\n+PATHSPEC4\n+Convert PATHSPEC (a pathname designator) into a pathname.\n+Converts the pathspec argument to a logical-pathname and returns it.\n+INSTANCE\tSB-KERNEL4\n+CONTROLD\n+COMMON-LISPH\n+REST-ARG\n SYS:SRC;CODE;EARLY-FULL-EVAL.LISP\n-missing arg\n-info hashtable\n-data start\n-text start\n-elsewhere start\n '[:signature \"\n ':axset[\"\n :module[\"\n '[:trs \"\n #