{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.X6CpiGZX/b1/cafeobj_1.6.0-2_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.X6CpiGZX/b2/cafeobj_1.6.0-2_amd64.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- 6471a0885a062f4c7174cacb26728020 13584528 science optional cafeobj_1.6.0-2_amd64.deb\n+ 06b3d37c7461ae525c9d7e9cf048af1e 13608560 science optional cafeobj_1.6.0-2_amd64.deb\n"}, {"source1": "cafeobj_1.6.0-2_amd64.deb", "source2": "cafeobj_1.6.0-2_amd64.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     2748 2020-02-18 20:27:40.000000 control.tar.xz\n--rw-r--r--   0        0        0 13581588 2020-02-18 20:27:40.000000 data.tar.xz\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 13605616 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: amd64\n Maintainer: Norbert Preining <norbert@preining.info>\n-Installed-Size: 52876\n+Installed-Size: 52844\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) 51222672 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl\n+-rwxr-xr-x   0 root         (0) root         (0) 51189896 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", "comments": ["File has been modified after NT_GNU_BUILD_ID has been applied."], "unified_diff": null, "details": [{"source1": "strings --all --bytes=8 {}", "source2": "strings --all --bytes=8 {}", "unified_diff": "@@ -2136,20 +2136,21 @@\n .gnu_debuglink\n hostname-id-1717174408\n STANDARD-CLASS\n YES-OR-NO-P\n OPTIMISTIC\n E..Ga9[lI3\n 'GOCuK$7\n-34wz.=\"S\n-oQb~%TpAr\n-f:=1@a1(\n-FjA4%Ui^\n-p#8$~z:;\n-]}g=8V\tq\n+@z_=0^?;W\n+0o~AYfOP\n+i16qa>p_\n+YK%V:Ok`\n+H,ccOT KM[1\n+GOf:~8Li\n+'Q6`8U>+\n tu^B%jeEkZCD\n ^B%jeE+kZD\n ltu^B%jeE\n undefined \n &OPTIONAL and &KEY found in the same lambda list: \n tu^jeEkZCD\n ltu^B%jeE\n@@ -2162,28 +2163,24 @@\n ^jeEkZCD\n ltu^B%jeE+kZCD\n `%jeEkZCD\n tu^jeEkZCD\n tu^B%jeEkZCD\n ltu^B%jeE\n SYS:make-target-2-load.lisp\n-.@1@0`4P4\n-ibirkblb\n-QUR5SuRuU5T\n-UeX%ZUUeYu\\\n-]F^F_6_f`\n- X!h!(\"X$X%\n-V)W9XIV9W\n-kykymynio\n-jjhJkjjjn*o\n-?l?l@<?lC,A\\E\\E\n-K\\K,L<KLL\n-r=s]s=tmsmv-x}v\n-3^4n6~6N7\n-u?x?w_zo|\n+ARBr>BDR@\n+SRTrSrVbXBXrZ\"[\n+-t.d.4/t1d1$2D3\n+`TbDbdd$eTetg\n+PeQURuSuT\n+(F,V-f-F\n+S9UIV)VIWyVYY\n+z9{Y|i})~\n+%{%K'+'[)+'{*{)\n+T]X-VmT=Z]Y\n ltuB%jeE\n ltu^B%je\n ltu^B%jeE\n ltu^B%jeE\n ltu^B%jeE\n ltu^B%jeE\n tu^B%jeEkZCD\n@@ -2196,44 +2193,42 @@\n ltu^B%jeE\n ltu^B%jeE+kCD\n ltu^B%jeE\n ^B%jeEkZCD\n ltu^B%jeE\n %jeE+kCD\n ltu^B%jeE\n-l@h@l@p p`h`p\n-tBxbxBpB{\"|\n-lCl#h#nCo#p\n-r%u%tered%z\n-xFyFxF|f|Fx\n-PGTgTgPgT\n-lHthnHdHp(x\n-x)|i|\tt)\n-$j J$j'J&\n-hjkJl*dJljo*p*l\n- K k\"K K$\n-<+@+DKD+@\n-tkx+|K|+\n-\\,`L`l\\L`\n-P-PMHmPmT\n-</@/@o<O@OD\n-@qCQDQ@qD\n-HsFSDsHsL\n-HSdS\\3dSh3h\n-,t 4<44t0\n-l4dTltptn\n-,U$u,50U0\n-(V,v,v(v,\n-b6`6d6b6hvdvh\n-t6tVv6tvx6x\n-87<w@w;78\n-4<4\\0|4\\\n-\\=`=`=\\=`\n+x p x@| \n+,A;a<a8!<a@a@\n+b b$b$b&\n+p\"p\"lbpBt\n+hdh$d$hDl\n+X%\\e\\%Xe\\\n+(f.f0F.&2\n+L'L'DG@'M\n+hGdGh'lglGh\n+<hD(H(Hh@\n+x)vitix)|\n+D*H*HJJjH\n+o*p*ljp*t\n+4,0,4l8L8L0l8\n+P0RpP0T0TP\n+hph0jPhPl\n+DQLqPqPqH\n+|R|Rt2|r\n+$3$s 3$3(\n+dsfSdsh3h\n+TTWTXtTtX4\\t\\\n+\\V\\6^6\\6`\n+TxVXT8XxX\n+0z(:0:4z4\n+,[,[.{,[0\n+l{p{p[h{p\n D!EQF!FQG\n-^c^3`s^S\n+^3^S`s^c\n ]G_7_g`Ga\n hZi:h*kZm\n ltu^B%jeE\n tu^B%jeEkZCD\n tu^B%jeEkZCD\n ltu^B%jeE\n ltu^B%jeE\n@@ -2245,15 +2240,15 @@\n ltu^B%jeE\n ltu^B%jeE\n l%jeEkZCD|\n h6h>i^j.\n PigNose0.99\n -- CafeOBJ system Version 1.6.0(PigNose0.99) --\n .0(PigNose0.99)\n-2025 Jul 9 Wed 3:34:03 GMT\n+2024 Jun 5 Wed 21:13:28 GMT\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 A string of all characters which are considered to be whitespace.\n Same as Perl's [\\s].\n@@ -2511,21 +2506,21 @@\n ltu^B%jeE\n ltujeEkD\n ^B%jeEkZCD\n ltu^BjeE\n BjeEkZCD\n ltu^B%jeE\n ltu^B%jeE+kZCD|\n+cl-ppcre\n+cl-ppcre-test\n+sb-posix\n Proclaiming \n  to be INLINE, but \n  previously compiled. A declaration of NOTINLINE at the call site\n  will eliminate this warning, as will proclaiming and defining the function before its first potential use.\n-cl-ppcre\n-cl-ppcre-test\n-sb-posix\n ltu^BjeE\n cl-ppcre-test\n sb-posix\n SortId/0\n TypeErr/0\n SyntaxErr/0\n *Condition*/0\n@@ -21317,14 +21312,15 @@\n DELETE-NON-EXEC\n ALL-TOGATHER\n LHS-ONLY\n VARIABLE-IS-CONSTANT\n *RENAMED-VARIABLE-NUMBER*\n BACKWARD\n ROLL-BACK\n+EMBED-THEORY\n *ABST-BTERM*\n *ABST-BTERM-REPRESENTATION*\n *ABST-BTERM-TARGET-VARIABLE*\n VERTICAL\n *BINSPECT-MOD-NAME*\n *BINSPECT-MOD-DECL*\n DRAFT-ANSI-CL-2\n@@ -21381,18 +21377,17 @@\n EVALUABLE\n EVALUATION\n ALREADY-EVALUATED\n *CLAUSE-PRETTY-PRINT*\n *CURRENT-PROOF-SYSTEM*\n *CURRENT-PSYS*\n *GIVEN-CLAUSE*\n+USE-THEORY\n *PN-PROOF-MODULE*\n *PN-REFINEMENT-CHECK-MODULE*\n-USE-THEORY\n-EMBED-THEORY\n *PN-NO-DB-RESET*\n *CLAUSE-HASH*\n *USABLE*\n *DEMODULATORS*\n *NEW-DEMODULATOR*\n *PASSIVE*\n *MAX-INPUT-ID*\n@@ -22053,24 +22048,24 @@\n INPUT-CHAR/EBCDIC-US/CR\n INPUT-CHAR/EBCDIC-US/CRLF\n INPUT-CHAR/KOI8-R/LF\n INPUT-CHAR/KOI8-R/CR\n INPUT-CHAR/KOI8-R/CRLF\n INPUT-CHAR/KOI8-U/LF\n INPUT-CHAR/KOI8-U/CR\n-ENV-NATIVE-LEXENV\n-+CHARACTER-NAME-HUFFMAN-TREE+\n-PV-TABLE-SLOT-NAME-LISTS\n-PV-TABLE-CACHE\n INPUT-CHAR/KOI8-U/CRLF\n INPUT-CHAR/X-MAC-CYRILLIC/LF\n INPUT-CHAR/X-MAC-CYRILLIC/CR\n INPUT-CHAR/X-MAC-CYRILLIC/CRLF\n INPUT-CHAR/CP437/LF\n INPUT-CHAR/CP437/CR\n+ENV-NATIVE-LEXENV\n++CHARACTER-NAME-HUFFMAN-TREE+\n+PV-TABLE-SLOT-NAME-LISTS\n+PV-TABLE-CACHE\n INPUT-CHAR/CP437/CRLF\n INPUT-CHAR/CP850/LF\n INPUT-CHAR/CP850/CR\n INPUT-CHAR/CP850/CRLF\n INPUT-CHAR/CP852/LF\n INPUT-CHAR/CP852/CR\n INPUT-CHAR/CP852/CRLF\n@@ -39207,61 +39202,61 @@\n I/O is possible on a descriptor (see fcntl(2)).\n mlockall: lock all pages which will become mapped into the address space of the process in the future.\n mmap: map at given location\n openlog() facility for the usenet subsystem\n Log severity level denoting critical conditions.\n If supplied to openlog(), delay opening the syslog connection to the first syslog() call.\n mmap: anonymous mapping not associated with any file\n+profiling timer alarm (see setitimer(2)).\n+quit program.\n+If supplied to openlog(), log the process ID with each message\n+mmap: no protection\n+stop (cannot be caught or ignored).\n+mmap: write protection\n+Locally-defined openlog() facility\n+Designator for a FILENAME: a STRING designating itself, or a\n+designator for a PATHNAME designating the corresponding native namestring.\n+openlog() facility for authorization messages\n+interrupt program.\n+Log severity level denoting a condition that should be corrected immediately.\n SYS:CONTRIB;SB-POSIX;INTERFACE.LISP.NEWEST\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util.lisp\n SYS:SRC;CODE;INSPECT.LISP\n SYS:SRC;PCL;GRAY-STREAMS-CLASS.LISP\n SYS:SRC;PCL;DEFCOMBIN.LISP\n 8QXZ()7695J\n+Dynamic space\n+Immobile space\n+Read-only space\n+Static space\n+Control stack\n+Binding stack\n Superclass of all Gray output streams whose element-type\n is a subtype of character.\n SYS:SRC;PCL;CTOR.LISP\n SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-JPN-TBL.LISP\n SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-CN-TBL.LISP\n SYS:SRC;CODE;NTRACE.LISP\n SYS:SRC;CODE;PROFILE.LISP\n alloc_profile_buffer\n-Dynamic space\n-Immobile space\n-Read-only space\n-Static space\n-Control stack\n-Binding stack\n bounding index designator\n SUBSEQ-OUT-OF-BOUNDS:IS-AN-ERROR\n Superclass of all Gray output streams.\n Superclass of all Gray input streams.\n Superclass of all Gray input streams whose element-type\n is a subtype of unsigned-byte or signed-byte.\n Superclass of all Gray input streams whose element-type\n is a subtype of character.\n Superclass of all Gray streams whose element-type is a subtype of character.\n SYS:SRC;PCL;CPL.LISP\n-profiling timer alarm (see setitimer(2)).\n-quit program.\n-If supplied to openlog(), log the process ID with each message\n-mmap: no protection\n-stop (cannot be caught or ignored).\n-mmap: write protection\n-Locally-defined openlog() facility\n-Designator for a FILENAME: a STRING designating itself, or a\n-designator for a PATHNAME designating the corresponding native namestring.\n-openlog() facility for authorization messages\n-interrupt program.\n-Log severity level denoting a condition that should be corrected immediately.\n Log severity level denoting a panic.\n msync: invalidate all cached data\n floating-point exception.\n terminal line hangup.\n illegal instruction.\n Window size change.\n software termination signal.\n@@ -39673,21 +39668,21 @@\n I.e., if O is a DOWNWARD-OPERATION and its DOWNWARD-OPERATION slot designates operation D, then\n the action (O . M) of O on module M will depends on each of (D . C) for each child C of module M.\n The default value for slot DOWNWARD-OPERATION is NIL, which designates the operation O itself.\n E.g. in order for a MODULE to be loaded with LOAD-OP (resp. compiled with COMPILE-OP), all the\n children of the MODULE must have been loaded with LOAD-OP (resp. compiled with COMPILE-OP.\n A CHILD-COMPONENT is a COMPONENT that may be part of\n a PARENT-COMPONENT.\n+SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-WIN.LISP\n+SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-CN.LISP\n missing arg\n ~@<Specializing on the second argument to ~S has ~\n                     unportable effects, and also interferes with ~\n                     precomputation of print functions for exceptional ~\n                     situations.~@:>\n-SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-WIN.LISP\n-SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-CN.LISP\n SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-ISO.LISP\n SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-DOS.LISP\n SYS:SRC;CODE;EXTERNAL-FORMATS;ENC-JPN.LISP\n System that was not defined yet.\n Top level session that this is part of\n Memoize expensive computations\n Superclass of all Gray streams whose element-type\n@@ -39780,18 +39775,18 @@\n Operation to load the result of monolithic-compile-concatenated-source-op\n Operation to compile the result of monolithic-concatenate-source-op\n Operation to concatenate all sources in a system into a single file\n Operation to load the result of concatenate-source-op as source\n Operation to concatenate all sources in a system and its dependencies\n into a single file\n Operation to load the result of compile-concatenated-source-op\n+os_reported_page_size\n Deprecation Conditions\n There is no primary method\n There is no applicable method\n-os_reported_page_size\n /build/reproducible-path/cafeobj-1.6.0/comlib/dag.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c.lisp\n /build/reproducible-path/cafeobj-1.6.0/thstuff/basics.lisp\n@@ -39838,25 +39833,25 @@\n parameter specializer name\n standard pprint dispatch table\n Idiosyncrasies\n Testing a system is _never_ done.\n Something strange where symbol or class expected.\n Extensible Sequences\n ; $ ~A~%\n+A module is a intermediate component with both a parent and children,\n+typically but not necessarily representing the files in a subdirectory of the build source.\n (unnamed)\n setgrent\n endgrent\n-A module is a intermediate component with both a parent and children,\n-typically but not necessarily representing the files in a subdirectory of the build source.\n setpwent\n endpwent\n-/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/cl-ppcre.asd\n+cfgetispeed\n Abstract operation for gathering many input files from a system\n+/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/cl-ppcre.asd\n check-type\n-cfgetispeed\n cfgetospeed\n build-report\n Saving a Core Image\n Given a SYSTEM, and a (Unix-style relative path) NAME of a file (or directory) of given TYPE,\n return the absolute pathname of a corresponding file under that system's source code pathname.\n setfsuid\n fdatasync\n@@ -45302,16 +45297,14 @@\n The productions are: <seq> -> <quant> | <quant><seq>.\n Will return <parse-tree> or (:SEQUENCE <parse-tree> <parse-tree>).\n Parses and consumes a <regex>, a complete regular expression.\n The productions are: <regex> -> <seq> | <seq>\"|\"<regex>.\n Will return <parse-tree> or (:ALTERNATION <parse-tree> <parse-tree>).\n Translate the regex string STRING into a parse tree.\n Defines SYMBOL to be a synonm for the parse tree NEW-PARSE-TREE.\n-Returns the parse tree the SYMBOL symbol is a synonym for.  Returns\n-NIL is SYMBOL wasn't yet defined to be a synonym.\n Accessor macro to extract the first flag out of a three-element flag list.\n Accessor macro to extract the second flag out of a three-element flag list.\n Accessor macro to extract the third flag out of a three-element flag list.\n Reads a flag token and sets or unsets the corresponding entry in\n the special FLAGS list.\n Combines all items in LIST into test function and returns a\n logical-OR combination of these functions.  Items can be single\n@@ -45444,23 +45437,20 @@\n which matches REGEX. Optionally evaluates and returns RETURN-FORM at\n the end. If CASE-INSENSITIVE is true and REGEX isn't already a\n scanner, a case-insensitive scanner is used.\n Similar to the standard function APROPOS-LIST but returns a list of\n all symbols which match the regular expression REGEX.  If\n CASE-INSENSITIVE is true and REGEX isn't already a scanner, a\n case-insensitive scanner is used.\n-Auxiliary function used by REGEX-APROPOS. Tries to print some\n-meaningful information about a symbol.\n-[constant]\n- value: \n-[variable] value: \n-[class] \n-function\n-compiled \n- [an error occurred while trying to print more info]\n+Similar to the standard function APROPOS but returns a list of all\n+symbols which match the regular expression REGEX.  If CASE-INSENSITIVE\n+is true and REGEX isn't already a scanner, a case-insensitive scanner\n+is used.\n+Returns the parse tree the SYMBOL symbol is a synonym for.  Returns\n+NIL is SYMBOL wasn't yet defined to be a synonym.\n ', premature end of input.\n Like SCAN but returns substrings of TARGET-STRING instead of\n positions, i.e. this function returns two values on success: the whole\n match as a string plus an array of substrings (or NILs) corresponding\n to the matched registers.  If SHAREDP is true, the substrings may\n share structure with TARGET-STRING.\n Executes BODY with the variables in VAR-LIST bound to the\n@@ -45533,25 +45523,31 @@\n structure with TARGET-STRING.\n Checks whether all words in STR between FROM and TO are upcased,\n downcased or capitalized and returns a function which applies a\n corresponding case modification to strings.  Returns #'IDENTITY\n otherwise, especially if words in the target area extend beyond FROM\n or TO.  STR is supposed to be bounded by START and END.  It is assumed\n that (<= START FROM TO END).\n-Similar to the standard function APROPOS but returns a list of all\n-symbols which match the regular expression REGEX.  If CASE-INSENSITIVE\n-is true and REGEX isn't already a scanner, a case-insensitive scanner\n-is used.\n+Auxiliary function used by REGEX-APROPOS. Tries to print some\n+meaningful information about a symbol.\n+[constant]\n+ value: \n+[variable] value: \n+[class] \n+function\n+compiled \n+ [an error occurred while trying to print more info]\n Defines the symbol NAME to be a synonym for the parse tree\n PARSE-TREE.  Both arguments are quoted.\n+OPSYNTAX-EQUALP\n OPERATOR-EQUALP\n !PIP<aIS<\n  in top-level form ending at character position: \n-OBJECT-EQUALP\n No context module is set.\n+OBJECT-EQUALP\n EX-INTERFACE-EQUALP\n TOP-OBJECT-EQUALP\n )>)mv9)m.\n MULTISET-EQUALP\n DAG-NODE-EQUALP\n BDAG-EQUALP\n Parse the string INPUT and return a double-precision float,\n@@ -45636,14 +45632,15 @@\n SIGNATURE-STRUCT-EQUALP\n AXIOM-SET-EQUALP\n MODULE-DYN-CONTEXT-EQUALP\n %CHAOS-OBJECT-EQUALP\n %CHAOS-STATIC-OBJECT-EQUALP\n MQEDMMEDMMELQEQ\n TM[[dHEIMEDM`EDMLEIg\n+Internal error: dictionary, unknown type of token \n MTWSC-BIN: meth=\n expecting arg name, given invalid object: \n expecting theory, given invalid object: \n expecting parameter context, given invalid object: \n Alias name \n  is already used for module \n modexp-update-name: no such module \n@@ -45669,15 +45666,14 @@\n in view body, for bop \n beginning of pattern: \n invalid sort reference \n RULE-RING-EQUALP\n  : init = \n #<Theory \n  : zero = \n-OPSYNTAX-EQUALP\n , mod-ref = \n METHOD-EQUALP\n fmt$JLR0A95048XY\n !METHOD-INFO-EQUALP\n get-method-info: no opinfo-table\n SORT-STRUCT-EQUALP\n SORT*-EQUALP\n@@ -45692,15 +45688,14 @@\n AXIOM-EQUALP\n MACRO-EQUALP\n #<MacroDecl: \n  has no function definition.\n  has no bound value.\n AST evaluator accepted an ast \n  with no evaluator specified.\n-Internal error: dictionary, unknown type of token \n CHAOS-LIST-EQUALP\n fmt$27V93ZCKT6U4\n fmt$326WBQ5LWQNN\n SUBST*-EQUALP\n No context module is specified.\n Context module is not set\n Invalid module specification \n@@ -45790,64 +45785,61 @@\n , parsed term = \n Arbitrarily taking the \n Taking the \n , term contains variable(s): \n given an AC-state, produce a solution (system of equations\n  which, if true, imply the original AC equation true) from\n  the matrix of 'state'\n--- rhs-c-count=\n-, rhs-f-count=\n--- lhs-c-count=\n-, lhs-f-count=\n-, lhs-v-count=\n-rhs-f-sol=\n--- rhs-c-max=\n-, rhs-f-max=\n-, rhs-full-bits=\n--- rhs-c-compat=\n-, rhs-f-compat=\n--- rhs-c-r=\n-, rhs-f-r=\n--- lhs-f-r=\n-, lhs-v-r=\n--- lhs-mask=\n--- lhs-f-mask=\n--- lhs-r-mask=\n-No proof is ongoing.\n-There are no unproved goals.\n -- non coherent, sort match fail.\n new-env = \n   RHS = \n test-env = \n MATCH-SYSTEM-EQUALP\n+ shifts the element one bit to the left\n HSLLLLDL\n ; puts all repeated terms together in the list, and bashes the array\n  ; (into numbers) in locations corresponding to the duplicate terms. \n  ; returns the newly grouped permutation of list.\n  ; e.g. for input (a b c c c d d e f f) and #(0 0 0 0 0 0 0 0 0),\n  ; this should make the array into #(0 0 3 2 1 2 1 0 2 1).\n -----------------------------------\n MATCH-STATE-EQUALP\n --Match state, match-system-sys : \n --Match state, sys-to-solve :\n -Match state, theory-info\n -Match state, theory-state\n [NEXT-MATCH-STATE] retun with no-match.\n MATCH-Z-STATE-EQUALP\n- shifts the element one bit to the left\n MATCH-C-STATE-EQUALP\n MATCH-AZ-STATE-EQUALP\n MATCH-CZ-STATE-EQUALP\n takes a system of equations and an environment, and \n    returns an AC-state, which is suitable for framing\n    or passing to 'AC-next-state'\n+-- rhs-c-count=\n+, rhs-f-count=\n+-- lhs-c-count=\n+, lhs-f-count=\n+, lhs-v-count=\n+rhs-f-sol=\n+-- rhs-c-max=\n+, rhs-f-max=\n+, rhs-full-bits=\n+-- rhs-c-compat=\n+, rhs-f-compat=\n+-- rhs-c-r=\n+, rhs-f-r=\n+-- lhs-f-r=\n+, lhs-v-r=\n+-- lhs-mask=\n+-- lhs-f-mask=\n+-- lhs-r-mask=\n ===================\n No such module or invalid module expression \n-Illegal variable form: \n-Invalid argument to ':ind' command: \n+Could not parse \n TACTIC-EQUALP\n fmt$FKFKCWJRET5F\n TACTIC-SEQ-EQUALP\n TRIVIAL-MATCH-ACZ-STATE-EQUALP\n ; shifts the element one bit to the left\n HSLLLLDL\n , lhs-constants = \n@@ -45859,23 +45851,23 @@\n  lhs-f-r=\n  lhs-mask=\n  lhs-f-mask=\n  lhs-r-mask=\n unify? = \n one way match? = \n -- result : \n-BEH-STUFF-EQUALP\n adding sort \n Unsupported type of sort \n Sort name \n  is reserfed for the system, sorry.\n , new-name = \n You can not specify the order with built in sort \n  is illegal for sort name.\n sort membership: no such sort \n+BEH-STUFF-EQUALP\n Hidden sort : \n axioms : \n theorem : \n assumptions : \n targets :\n invalid strategy \n  for opeator \n@@ -46298,14 +46290,16 @@\n invalid character code '\\\n ' is given\n BI-TERM-EQUALP\n LISP-EQUALP\n rllllllllllllllh\n , entries -------------------\n internal error, could not find \n+No proof is ongoing.\n+There are no unproved goals.\n failed to invoke TRAM compiler\n failed to open TRAM I/O streams\n Unkonwn TRAM term \n No context module is specified, please 'select' or 'open' a module.\n no such view \"\n fmt$9D7YUQX62I5F\n TACTIC-CTFP-COMMON-EQUALP\n@@ -46356,15 +46350,16 @@\n no target term is given!\n no target term is specified yet.\n unknown apply action : \n tree form\n - term = \n  (reversed)\n  of the last module\n-Could not parse \n+Illegal variable form: \n+Invalid argument to ':ind' command: \n RULE-PAT-EQUALP\n   rule      :\n   subst     :\n   cond-ok   :\n   condition :\n RWL-STATE-EQUALP\n #<rwl-state(\n@@ -47183,17 +47178,17 @@\n source-registry\n &OPTIONAL and &KEY found in the same lambda list: ~S\n No generic function ~S present when encountering macroexpansion of defmethod. Assuming it will be an instance of standard-generic-function.\n Overwriting already existing readtable ~S.\n autom4te.cache\n cover_db\n INSTANCE \n-USE-SIZE-TEMP\n COMMON-LISP\n \tNEW-VALUE\n+USE-SIZE-TEMP\n COMMON-LISP\n COMMON-LISP\n \tNEW-VALUE\n COMMON-LISP\n COMMON-LISP\n \tNEW-VALUE\n COMMON-LISP\n@@ -47775,21 +47770,21 @@\n COMMON-LISP$\n \tDEBUG-FUN\n EXTERNAL-FORMAT\n EXTERNAL-FORMAT\n EXTERNAL-FORMAT\n NEW-FORM\n OLD-FORM\n+COMMON-LISP(\n+MORE-ARG\n+COMMON-LISP\n WRAPPER2\n WRAPPER18\n WRAPPER14\n WRAPPER8\n-COMMON-LISP(\n-MORE-ARG\n-COMMON-LISP\n FORM\tSB-KERNEL\n ENVIRONMENT\n \tARG-FORMS\n ELEMENT-TYPE\n INSTANCE\tSB-KERNEL\n VAR-VAL-PAIRS\n COMMON-LISP(\n@@ -55525,15 +55520,14 @@\n COMMON-LISP$\n 033SDU)r\n KR\\BV[XEnM\n REG-EXPR\n COMMON-LISP\n STR-SLOT\n REST-ARG\n-COMMON-LISP \n OLD-CASE-MODE\n EVERYTHING\n WORD-BOUNDARY\n \tLOOKAHEAD\n LOOKBEHIND\n REPETITION\n REGISTER\n@@ -55602,39 +55596,42 @@\n STANDALONE\n CURRENT-MIN-REST\n \tLOOKAHEAD\n CURRENT-MIN-REST\n LOOKBEHIND\n j2\tm<bo[\n `b>gTbk:\n-REST-ARG\n+ALLOW-OTHER\n+CONTEXT$\n+OPTIONAL-ARGS\n STORE-VARS\n CHECK-CURR-POS(\n #Lu1<'7w\n-'q8zz=,R\n-ALLOW-OTHER\n-OPTIONAL-ARGS\n+COMMON-LISP \n ALLOW-OTHER\n-CONTEXT$\n OPTIONAL-ARGS\n+REST-ARG\n lDk'nOv8\n \tMATCH-END(\n \tSUBSTR-FN\n+'q8zz=,R\n \tTOKEN-SEQ \n COMMON-LISP\n REST-ARG\n COMMON-LISP \n OPTIONAL-ARGS\n COMMON-LISP$\n OPTIONAL-ARGS\n COMMON-LISP\n OPTIONAL-ARGS\n REST-ARG\n REST-ARG\n REST-ARG\n+SUBTERMS$\n+OPTIONAL-ARGS\n CONTEXT-MOD\n \tMISC-INFO \n NO-ERROR\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n EXPORTING-OBJECTS\n PARAMETERS \n@@ -55787,41 +55784,39 @@\n REST-ARG\n .DEFAULTING-TEMP. \n N-SUPPLIED-15\n OPTIONAL-ARGS\n ELEMENTS\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n-SUBST-PCONST\n-OPTIONAL-ARGS\n SUBTERMS8\n PRINT-NAME\n OPTIONAL-ARGS\n PRINT-NAME\n OPTIONAL-ARGS\n .DEFAULTING-TEMP.\n JUXTAPOSITION$\n N-SUPPLIED-20\n \tEQUATIONS(\n \tVARIABLES$'\n COMMON-LISP\n REST-ARG\n SYMBOL-OR-STRING\n OPTIONAL-ARGS\n-SUBTERMS$\n-OPTIONAL-ARGS\n SUBTERMS \n OPTIONAL-ARGS\n-SUBTERMS$\n-OPTIONAL-ARGS\n MODULE2 \n OPTIONAL-ARGS\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n+SUBTERMS$\n+OPTIONAL-ARGS\n+SUBTERMS$\n+OPTIONAL-ARGS\n COMMON-LISP\n OPTIONAL-ARGS\n \tQUALIFIER\n \tQUALIFIER\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n SORT-RELATION\n@@ -55841,16 +55836,14 @@\n MDOULE\th\n OPTIONAL-ARGS\n MODULE\th\n OPTIONAL-ARGS\n \tEQUATIONS\n \tVARIABLES(\"\n ELEMENTS$\n-SUBTERMS$\n-OPTIONAL-ARGS\n OPINFO-TABLE(\n OPTIONAL-ARGS\n OPINFO-TABLE$\n OPTIONAL-ARGS\n CURRENT \n OPINFO-TABLE\n OPTIONAL-ARGS\n@@ -55870,16 +55863,14 @@\n OPTIONAL-ARGS\n REST-ARG\n OPINFO-TABLE(\n OPTIONAL-ARGS\n OPINFO-TABLE\n OPTIONAL-ARGS\n OPTIONAL-ARGS\t\n-OPINFO-TABLE$\n-OPTIONAL-ARGS\n .DEFAULTING-TEMP. \n N-SUPPLIED-15\n OPTIONAL-ARGS\n .DEFAULTING-TEMP. \n N-SUPPLIED-15\n OPTIONAL-ARGS\n \tPROCESSOR\n@@ -55914,14 +55905,16 @@\n METHODS\t\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n    $ ( , 8 \n COMMON-LISP\n REST-ARG\n+SUBST-PCONST\n+OPTIONAL-ARGS\n IGNORE-QUAL\n OPTIONAL-ARGS\n .DEFAULTING-TEMP.\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n COMMON-LISP\n REST-ARG\n@@ -55976,14 +55969,16 @@\n UPPER-BOUND\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n LOWER-BOUND\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n+OPINFO-TABLE$\n+OPTIONAL-ARGS\n \tVARS-ALSO\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n    $ ( , 8 < \n COMMON-LISP\n REST-ARG\n  $ ( , 8 \n@@ -56145,21 +56140,21 @@\n PRINT-WARNING\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n COMMON-LISP$\n OPTIONAL-ARGS\n COMMON-LISP$\n OPTIONAL-ARGS\n+INSTANCE\tSB-KERNEL\n OPTIONAL-ARGS\n OPTIONAL-ARGS\n INSTANCE\tSB-KERNEL\n INSTANCE\tSB-KERNEL\n INSTANCE\tSB-KERNEL\n OBJECT\tSB-KERNEL\n-INSTANCE\tSB-KERNEL\n EXECUTOR\n .DEFAULTING-TEMP.\n \tNO-MORE-P\t\n A\tSB-KERNEL \n ?**ARRAY(\n ARRAY_?(\n MAX_?,5g4\n@@ -56915,14 +56910,15 @@\n   STREAM-READ-CHAR and STREAM-UNREAD-CHAR.\n This is used to implement READ-CHAR-NO-HANG. It returns either a\n   character, or NIL if no input is currently available, or :EOF if\n   end-of-file is reached. The default method provided by\n   FUNDAMENTAL-CHARACTER-INPUT-STREAM simply calls STREAM-READ-CHAR; this\n   is sufficient for file streams, but interactive streams should define\n   their own method.\n+DEPRECATED. Use the FILE-TYPE of a COMPONENT instead.\n /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.4.5.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands.fasl\n no translator for primitive alien type ~//\n no definition for alien type ~//\n unknown alien type: ~//\n It has a slot ~//, while ~// is requested.\n New lambda-list ~// is incompatible with existing methods of ~S.\n Old lambda-list ~//\n@@ -56989,15 +56985,14 @@\n before it was aborted by a non-local transfer of control.\n ~@<~S ~S causes name-conflicts in ~S between the following symbols: ~2I~@:_~{~//~^, ~}~:@>\n ~@<There is no class named ~//.~@:>\n ~&Symbol ~//\n ~@<Cannot find type for specializer ~// when executing ~S for a ~// of a ~//.~@:>\n ~:[~*~;~// ~]~{~S ~}~:S\n ~//, slot:~S, ~:S\n-DEPRECATED. Use the FILE-TYPE of a COMPONENT instead.\n shared object list lock\n Specializer lock\n Lock for active processes.\n Around spawn().\n Scheduler lock\n PASSWD database lock\n GROUP database lock\n@@ -58100,15 +58095,14 @@\n SYS:OUTPUT;STUFF-GROVELED-FROM-HEADERS.LISP\n 1.0.53.11\n 1.0.56.55\n SYS:SRC;COMPILER;X86-64;AVX2-INSTS.LISP\n SYS:SRC;COMPILER;TYPE-VOP-MACROS.LISP\n SYS:SRC;COMPILER;X86-64;TYPE-VOPS.LISP\n SYS:SRC;CODE;FORMAT-TIME.LISP\n-asdf-package-system\n sb-aclrepl\n sb-bsd-sockets\n sb-capstone\n sb-cltl2\n sb-concurrency\n sb-cover\n sb-executable\n@@ -58187,14 +58181,17 @@\n SYS:SRC;COMPILER;BITOPS-DERIVE-TYPE.LISP\n <w=YF'G_J0KpN\n k!w#[&_'\n 3J6+8k8}A\n WIDETAG-TN\n CLEANUP-FUN-10\n CLEANUP-FUN-17\n+load TN allocated, but no move function?~@\n+                   VM definition is inconsistent, recompile and try again.\n+BYTES-READ\n SYS:SRC;CODE;LATE-CONDITION.LISP\n SYS:SRC;CODE;MISC.LISP\n SYS:SRC;COMPILER;GENERIC;VM-TRAN.LISP\n SYS:SRC;COMPILER;TYPETRAN.LISP\n  _\"D$9%^&\n aNnLuK~+\n SYS:SRC;COMPILER;GENERIC;VM-IR2TRAN.LISP\n@@ -58205,17 +58202,14 @@\n SYS:SRC;CODE;TARGET-SIGNAL.LISP\n SYS:SRC;CODE;LATE-EXTENSIONS.LISP\n SYS:SRC;CODE;LATE-GLOBALDB.LISP\n SYS:SRC;CODE;ICF.LISP\n SYS:SRC;CODE;QUERY.LISP\n SYS:SRC;CODE;DEFTYPE.LISP\n SYS:SRC;CODE;LINUX-OS.LISP\n-load TN allocated, but no move function?~@\n-                   VM definition is inconsistent, recompile and try again.\n-BYTES-READ\n SYS:SRC;CODE;TARGET-STREAM.LISP\n 4M4P:S@w@\n XXX/cfc~e\n OPTIMIZE-DECL\n Formfeed\n Linefeed\n SB-UNW-GET-PC\n@@ -58277,18 +58271,17 @@\n DC+Eej%Bl\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner.lisp\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest.lisp\n 7\"V\"9$a$~&\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser.lisp\n AkNGO-P}T\n YZdgepvd{\n-0L1o1W2x2\n /build/reproducible-path/cafeobj-1.6.0/comlib/macros.lisp\n-8H9a9/:F?\n DCEej%Bl\n+0L1o1W2x2\n /build/reproducible-path/cafeobj-1.6.0/comlib/string.lisp\n /build/reproducible-path/cafeobj-1.6.0/comlib/list.lisp\n SYS:CONTRIB;SB-POSIX;STRTOD.LISP.NEWEST\n  ! B V q \n $%$A$c$x$\n %,%L%_%z%\n &$&F&[&w&\n@@ -58319,14 +58312,15 @@\n b6bGb_bpb\n c&cBcVcrc\n d'd:dUdid\n e#e?eSene\n Q*T_V,X?\\0^\n /build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2.lisp\n J\tK}M1O+P\n+8H9a9/:F?\n /build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context.lisp\n U:X0Z\\]ma\n CLEANUP-FUN-0\n CLEANUP-FUN-2\n /build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object.lisp\n /build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-utils.lisp\n /build/reproducible-path/cafeobj-1.6.0/thstuff/citp.lisp\n@@ -58370,14 +58364,15 @@\n lisp_init_function\n immobile_space_relocs\n immobile_space_reloc_index\n code_component_order\n tot_gc_nsec\n gc_coalesce_string_literals\n MORE-ARG\n+asdf-package-system\n Takes an object and a location holding a list. Conses the object onto\n   the list, returning the modified list. OBJ is evaluated before PLACE.\n Ku$E]R4A\n COMMON-LISP\n NEW-VAR,=g8\n MORE-ARG\n \tFUNCTIONS\n@@ -59413,19 +59408,14 @@\n WITHOUT-INTERRUPTS-BODY-3\n CLEANUP-FUN-8\n CLEANUP-FUN-11\n CLEANUP-FUN-14\n CLEANUP-FUN-28\n CLEANUP-FUN-21\n CLEANUP-FUN-13\n-HASH-KEYS\n-HASH-VALUES\n-EXTERNAL-SYMBOL\n-PRESENT-SYMBOL\n-PRESENT-SYMBOLS\n CLEANUP-FUN-16\n CLEANUP-FUN-37\n CLEANUP-FUN-31\n CLEANUP-FUN-49\n CLEANUP-FUN-76\n CLEANUP-FUN-181\n CLEANUP-FUN-231\n@@ -59439,14 +59429,19 @@\n CLEANUP-FUN-600\n CLEANUP-FUN-131\n CLEANUP-FUN-282\n CLEANUP-FUN-444\n CLEANUP-FUN-606\n CLEANUP-FUN-722\n /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/packages.lisp\n+HASH-KEYS\n+HASH-VALUES\n+EXTERNAL-SYMBOL\n+PRESENT-SYMBOL\n+PRESENT-SYMBOLS\n ~@<Implicitly creating new generic function ~//.~:@>\n redefining ~// in DEFUN\n redefining ~// in DEFMACRO\n redefining ~// in DEFGENERIC\n ~@<The new ~A proclamation for~@[ ~A~] ~//~@:_~2@T~//~@:_does not match the current value ~S of type~@:_~2@T~//~@:>\n ~@<The new ~A proclamation for~@[ ~A~] ~//~@:_~2@T~//~@:_does not match the old ~4:*~A~3* proclamation~@:_~2@T~//~@:>\n ~@<The new ~A proclamation for~@[ ~A~] ~//~@:_~2@T~//~@:_does not match the derived return type~@:_~2@T~//~@:>\n@@ -59658,19 +59653,16 @@\n ~@<Cannot select IO functions to use for bivalent ~\n                 stream ~S and a sequence with element-type ~S.~@:>\n /build/reproducible-path/cafeobj-1.6.0/cafeobj/commands.lisp\n /build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations.lisp\n primitives\n term-parser\n construct\n-NU${e3I&\n dV=jlI]M\n-aZ<B_#27\n-sA]^?_m_\n-LtwuI_m_\n+d1wg_uYsa}\n PQRAPAQARASH\n A[AZAYAXZYX\n PQRVWAPAQARASH\n A[AZAYAX_^ZYX\n PQRVWAPAQARASH\n A[AZAYAX_^ZYX\n PQRVWAPAQARASH\n"}]}]}]}]}]}