--- /srv/rebuilderd/tmp/rebuilderdTOwLYa/inputs/libcvc5-1_1.3.2-1+b1_ppc64el.deb
+++ /srv/rebuilderd/tmp/rebuilderdTOwLYa/out/libcvc5-1_1.3.2-1+b1_ppc64el.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-04-23 15:19:33.000000 debian-binary
│  -rw-r--r--   0        0        0     1312 2026-04-23 15:19:33.000000 control.tar.xz
│ --rw-r--r--   0        0        0  7307276 2026-04-23 15:19:33.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  7306936 2026-04-23 15:19:33.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/powerpc64le-linux-gnu/libcvc5.so.1
│ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied.
│ │ │ ├── readelf --wide --relocs {}
│ │ │ │ @@ -4131,15 +4131,15 @@
│ │ │ │  0000000001e871d0  0000000000000016 R_PPC64_RELATIVE                          1b15068
│ │ │ │  0000000001e871d8  0000000000000016 R_PPC64_RELATIVE                          1b15080
│ │ │ │  0000000001e871e0  0000000000000016 R_PPC64_RELATIVE                          1b15098
│ │ │ │  0000000001e871e8  0000000000000016 R_PPC64_RELATIVE                          1b150c0
│ │ │ │  0000000001e871f0  0000000000000016 R_PPC64_RELATIVE                          1b150d8
│ │ │ │  0000000001e871f8  0000000000000016 R_PPC64_RELATIVE                          1b150f0
│ │ │ │  0000000001e87200  0000000000000016 R_PPC64_RELATIVE                          1b15108
│ │ │ │ -0000000001e87208  0000000000000016 R_PPC64_RELATIVE                          1b160e8
│ │ │ │ +0000000001e87208  0000000000000016 R_PPC64_RELATIVE                          1b16100
│ │ │ │  0000000001e87210  0000000000000016 R_PPC64_RELATIVE                          1ae48d0
│ │ │ │  0000000001e87218  0000000000000016 R_PPC64_RELATIVE                          1ae5448
│ │ │ │  0000000001e87220  0000000000000016 R_PPC64_RELATIVE                          1b15118
│ │ │ │  0000000001e87228  0000000000000016 R_PPC64_RELATIVE                          1b15140
│ │ │ │  0000000001e87230  0000000000000016 R_PPC64_RELATIVE                          1af9ab8
│ │ │ │  0000000001e87238  0000000000000016 R_PPC64_RELATIVE                          1b15158
│ │ │ │  0000000001e87240  0000000000000016 R_PPC64_RELATIVE                          1b15170
│ │ │ │ @@ -4192,16 +4192,16 @@
│ │ │ │  0000000001e873b8  0000000000000016 R_PPC64_RELATIVE                          1ae51b8
│ │ │ │  0000000001e873c0  0000000000000016 R_PPC64_RELATIVE                          1b153f0
│ │ │ │  0000000001e873c8  0000000000000016 R_PPC64_RELATIVE                          1ae5068
│ │ │ │  0000000001e873d0  0000000000000016 R_PPC64_RELATIVE                          1b15408
│ │ │ │  0000000001e873d8  0000000000000016 R_PPC64_RELATIVE                          1b15418
│ │ │ │  0000000001e873e0  0000000000000016 R_PPC64_RELATIVE                          1b15428
│ │ │ │  0000000001e873e8  0000000000000016 R_PPC64_RELATIVE                          1ae0960
│ │ │ │ -0000000001e873f0  0000000000000016 R_PPC64_RELATIVE                          1b15450
│ │ │ │ -0000000001e873f8  0000000000000016 R_PPC64_RELATIVE                          1b15438
│ │ │ │ +0000000001e873f0  0000000000000016 R_PPC64_RELATIVE                          1b15438
│ │ │ │ +0000000001e873f8  0000000000000016 R_PPC64_RELATIVE                          1b15448
│ │ │ │  0000000001e87400  0000000000000016 R_PPC64_RELATIVE                          1b15460
│ │ │ │  0000000001e87408  0000000000000016 R_PPC64_RELATIVE                          1b15628
│ │ │ │  0000000001e87410  0000000000000016 R_PPC64_RELATIVE                          1b15478
│ │ │ │  0000000001e87418  0000000000000016 R_PPC64_RELATIVE                          1b15480
│ │ │ │  0000000001e87420  0000000000000016 R_PPC64_RELATIVE                          1b15490
│ │ │ │  0000000001e87428  0000000000000016 R_PPC64_RELATIVE                          1b154a0
│ │ │ │  0000000001e87430  0000000000000016 R_PPC64_RELATIVE                          1ad5f58
│ │ │ │ @@ -4385,15 +4385,15 @@
│ │ │ │  0000000001e879c0  0000000000000016 R_PPC64_RELATIVE                          1b160a8
│ │ │ │  0000000001e879c8  0000000000000016 R_PPC64_RELATIVE                          1ae4b38
│ │ │ │  0000000001e879d0  0000000000000016 R_PPC64_RELATIVE                          1b160b8
│ │ │ │  0000000001e879d8  0000000000000016 R_PPC64_RELATIVE                          1b160d0
│ │ │ │  0000000001e879e0  0000000000000016 R_PPC64_RELATIVE                          1ad1e08
│ │ │ │  0000000001e879e8  0000000000000016 R_PPC64_RELATIVE                          1ad1cf8
│ │ │ │  0000000001e879f0  0000000000000016 R_PPC64_RELATIVE                          1b160d8
│ │ │ │ -0000000001e879f8  0000000000000016 R_PPC64_RELATIVE                          1b160f8
│ │ │ │ +0000000001e879f8  0000000000000016 R_PPC64_RELATIVE                          1b160e8
│ │ │ │  0000000001e87a00  0000000000000016 R_PPC64_RELATIVE                          1b079f8
│ │ │ │  0000000001e87a08  0000000000000016 R_PPC64_RELATIVE                          1b07a00
│ │ │ │  0000000001e87a10  0000000000000016 R_PPC64_RELATIVE                          1b34688
│ │ │ │  0000000001e87a18  0000000000000016 R_PPC64_RELATIVE                          1b079f0
│ │ │ │  0000000001e87a20  0000000000000016 R_PPC64_RELATIVE                          1b158f8
│ │ │ │  0000000001e87a28  0000000000000016 R_PPC64_RELATIVE                          1b15ec8
│ │ │ │  0000000001e87a30  0000000000000016 R_PPC64_RELATIVE                          1b07d10
│ │ │ │ @@ -9052,16 +9052,16 @@
│ │ │ │  0000000001ea27e8  0000000000000016 R_PPC64_RELATIVE                          1b150c0
│ │ │ │  0000000001ea2808  0000000000000016 R_PPC64_RELATIVE                          1b150b0
│ │ │ │  0000000001ea2828  0000000000000016 R_PPC64_RELATIVE                          1b150d8
│ │ │ │  0000000001ea2848  0000000000000016 R_PPC64_RELATIVE                          1b150f0
│ │ │ │  0000000001ea2868  0000000000000016 R_PPC64_RELATIVE                          1b15108
│ │ │ │  0000000001ea2888  0000000000000016 R_PPC64_RELATIVE                          1b15460
│ │ │ │  0000000001ea28a8  0000000000000016 R_PPC64_RELATIVE                          1b2b240
│ │ │ │ -0000000001ea28c8  0000000000000016 R_PPC64_RELATIVE                          1b160f8
│ │ │ │ -0000000001ea28e8  0000000000000016 R_PPC64_RELATIVE                          1b160e8
│ │ │ │ +0000000001ea28c8  0000000000000016 R_PPC64_RELATIVE                          1b160e8
│ │ │ │ +0000000001ea28e8  0000000000000016 R_PPC64_RELATIVE                          1b16100
│ │ │ │  0000000001ea2908  0000000000000016 R_PPC64_RELATIVE                          1b14980
│ │ │ │  0000000001ea2928  0000000000000016 R_PPC64_RELATIVE                          1b2b258
│ │ │ │  0000000001ea2948  0000000000000016 R_PPC64_RELATIVE                          1b14a00
│ │ │ │  0000000001ea2968  0000000000000016 R_PPC64_RELATIVE                          1ae4690
│ │ │ │  0000000001ea2988  0000000000000016 R_PPC64_RELATIVE                          1b2b270
│ │ │ │  0000000001ea29a8  0000000000000016 R_PPC64_RELATIVE                          1b14a40
│ │ │ │  0000000001ea29c8  0000000000000016 R_PPC64_RELATIVE                          1b2b288
│ │ │ │ @@ -9137,16 +9137,16 @@
│ │ │ │  0000000001ea3288  0000000000000016 R_PPC64_RELATIVE                          1ae4e88
│ │ │ │  0000000001ea32a8  0000000000000016 R_PPC64_RELATIVE                          1b155e0
│ │ │ │  0000000001ea32c8  0000000000000016 R_PPC64_RELATIVE                          1b2b588
│ │ │ │  0000000001ea32e8  0000000000000016 R_PPC64_RELATIVE                          1b14d88
│ │ │ │  0000000001ea3308  0000000000000016 R_PPC64_RELATIVE                          1b2b5a0
│ │ │ │  0000000001ea3328  0000000000000016 R_PPC64_RELATIVE                          1ae45c0
│ │ │ │  0000000001ea3348  0000000000000016 R_PPC64_RELATIVE                          1b151a8
│ │ │ │ -0000000001ea3368  0000000000000016 R_PPC64_RELATIVE                          1b15450
│ │ │ │ -0000000001ea3388  0000000000000016 R_PPC64_RELATIVE                          1b15438
│ │ │ │ +0000000001ea3368  0000000000000016 R_PPC64_RELATIVE                          1b15438
│ │ │ │ +0000000001ea3388  0000000000000016 R_PPC64_RELATIVE                          1b15448
│ │ │ │  0000000001ea33a8  0000000000000016 R_PPC64_RELATIVE                          1b15558
│ │ │ │  0000000001ea33c8  0000000000000016 R_PPC64_RELATIVE                          1b15570
│ │ │ │  0000000001ea33e8  0000000000000016 R_PPC64_RELATIVE                          1b155f8
│ │ │ │  0000000001ea3408  0000000000000016 R_PPC64_RELATIVE                          1b15608
│ │ │ │  0000000001ea3428  0000000000000016 R_PPC64_RELATIVE                          1ae49c0
│ │ │ │  0000000001ea3448  0000000000000016 R_PPC64_RELATIVE                          1b2b5b8
│ │ │ │  0000000001ea3468  0000000000000016 R_PPC64_RELATIVE                          1b14340
│ │ │ ├── readelf --wide --notes {}
│ │ │ │ @@ -1,4 +1,4 @@
│ │ │ │  
│ │ │ │  Displaying notes found in: .note.gnu.build-id
│ │ │ │    Owner                Data size 	Description
│ │ │ │ -  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 1b57a17f39aa051994c22823488c1d8729e37c11
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: b2eef0fa31b177bfe47457bd20f5b4de7b86426b
│ │ │ ├── strings --all --bytes=8 {}
│ │ │ │┄ Ordering differences only
│ │ │ │ @@ -23595,16 +23595,16 @@
│ │ │ │  proof-rewrite-rcons-rec-limit
│ │ │ │  proof-rewrite-rcons-step-limit
│ │ │ │  prop-row-length
│ │ │ │  quant-alpha-equiv
│ │ │ │  quant-fun-wd
│ │ │ │  quant-ind
│ │ │ │  quant-rep-mode
│ │ │ │ -random-frequency
│ │ │ │  random-freq
│ │ │ │ +random-frequency
│ │ │ │  random-partitioning
│ │ │ │  re-first-class
│ │ │ │  re-inter-mode
│ │ │ │  register-quant-body-terms
│ │ │ │  relational-triggers
│ │ │ │  relevant-triggers
│ │ │ │  replay-early-close-depth
│ │ │ │ @@ -23737,16 +23737,16 @@
│ │ │ │  use-fcsimplex
│ │ │ │  use-portfolio
│ │ │ │  user-pat
│ │ │ │  user-pool
│ │ │ │  var-elim-quant
│ │ │ │  var-ineq-elim-quant
│ │ │ │  wf-checking
│ │ │ │ -partitions-out
│ │ │ │  write-partitions-to
│ │ │ │ +partitions-out
│ │ │ │   [options] [input-file]
│ │ │ │  Without an input file, or with `-', cvc5 reads from standard input.
│ │ │ │  cvc5 options:
│ │ │ │  +:iL:o:qt:vhHs:Vm
│ │ │ │  ' missing its required argument
│ │ │ │  can't understand option `
│ │ │ │  Common options:
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -79543,22 +79543,22 @@
│ │ │ │  	li      r9,123
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,11712
│ │ │ │  	addi    r3,r1,5048
│ │ │ │  	stw     r9,5040(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,124
│ │ │ │ -	addis   r4,r2,-61
│ │ │ │ -	addi    r4,r4,17448
│ │ │ │ +	addis   r4,r2,-57
│ │ │ │ +	addi    r4,r4,11728
│ │ │ │  	addi    r3,r1,5088
│ │ │ │  	stw     r9,5080(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,125
│ │ │ │ -	addis   r4,r2,-57
│ │ │ │ -	addi    r4,r4,11728
│ │ │ │ +	addis   r4,r2,-61
│ │ │ │ +	addi    r4,r4,17448
│ │ │ │  	addi    r3,r1,5128
│ │ │ │  	stw     r9,5120(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,125
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,11736
│ │ │ │  	addi    r3,r1,5168
│ │ │ │ @@ -80311,40 +80311,40 @@
│ │ │ │  	li      r9,249
│ │ │ │  	addis   r4,r2,-61
│ │ │ │  	addi    r4,r4,14800
│ │ │ │  	addi    r3,r1,10168
│ │ │ │  	stw     r9,10160(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,250
│ │ │ │ -	addis   r4,r2,-58
│ │ │ │ -	addi    r4,r4,22512
│ │ │ │ +	addis   r4,r2,-61
│ │ │ │ +	addi    r4,r4,17496
│ │ │ │  	addi    r3,r1,10208
│ │ │ │  	stw     r9,10200(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,251
│ │ │ │ -	addis   r4,r2,-61
│ │ │ │ -	addi    r4,r4,17496
│ │ │ │ +	addis   r4,r2,-58
│ │ │ │ +	addi    r4,r4,22512
│ │ │ │  	addi    r3,r1,10248
│ │ │ │  	stw     r9,10240(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,251
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,13560
│ │ │ │  	addi    r3,r1,10288
│ │ │ │  	stw     r9,10280(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,252
│ │ │ │ -	addis   r4,r2,-60
│ │ │ │ -	addi    r4,r4,19560
│ │ │ │ +	addis   r4,r2,-57
│ │ │ │ +	addi    r4,r4,13568
│ │ │ │  	addi    r3,r1,10328
│ │ │ │  	stw     r9,10320(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,253
│ │ │ │ -	addis   r4,r2,-57
│ │ │ │ -	addi    r4,r4,13568
│ │ │ │ +	addis   r4,r2,-60
│ │ │ │ +	addi    r4,r4,19560
│ │ │ │  	addi    r3,r1,10368
│ │ │ │  	stw     r9,10360(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,253
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,13584
│ │ │ │  	addi    r3,r1,10408
│ │ │ │ @@ -80792,15 +80792,15 @@
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,14648
│ │ │ │  	addi    r3,r1,13368
│ │ │ │  	stw     r9,13360(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,325
│ │ │ │  	addis   r4,r2,-57
│ │ │ │ -	addi    r4,r4,14672
│ │ │ │ +	addi    r4,r4,14664
│ │ │ │  	addi    r3,r1,13408
│ │ │ │  	stw     r9,13400(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,325
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	addi    r4,r4,14688
│ │ │ │  	addi    r3,r1,13448
│ │ │ │ @@ -81946,15 +81946,15 @@
│ │ │ │  	addi    r3,r1,21048
│ │ │ │  	stw     r9,21040(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	li      r9,513
│ │ │ │  	addi    r31,r1,21088
│ │ │ │  	addis   r4,r2,-57
│ │ │ │  	mr      r3,r31
│ │ │ │ -	addi    r4,r4,17912
│ │ │ │ +	addi    r4,r4,17920
│ │ │ │  	stw     r9,21080(r1)
│ │ │ │  	bl      17dded8 <cvc5::internal::Options::Options()@@Base+0x1cf8>
│ │ │ │  	addis   r9,r2,-54
│ │ │ │  	li      r10,1
│ │ │ │  	addis   r29,r2,1
│ │ │ │  	li      r8,513
│ │ │ │  	lfs     f0,5932(r9)
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	beq     10b3bc0 <void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::__resize_and_overwrite<std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1}>(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x18290>
│ │ │ │  	mr      r3,r26
│ │ │ │  	li      r4,64
│ │ │ │  	bl      c2120 <std::__throw_bad_variant_access(unsigned int)@@Base-0x2120>
│ │ │ │  	ld      r2,24(r1)
│ │ │ │  	cmpdi   r27,0
│ │ │ │  	bne     10b3980 <void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::__resize_and_overwrite<std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1}>(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x18050>
│ │ │ │ -[ Too much input for diff (SHA256: 01f9f985c7c5c17e640385e1fc5cea4bd500808080d266fb21ffb65a145e71c4) ]
│ │ │ │ +[ Too much input for diff (SHA256: 9a0fadb8605a3ba44ea1ce97d67132c5553d1615082777a08bd703c37f472932) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ │ @@ -19050,16 +19050,16 @@
│ │ │ │    0x01b153d0 6f6e732d 73746570 2d6c696d 69740000 ons-step-limit..
│ │ │ │    0x01b153e0 70726f70 2d726f77 2d6c656e 67746800 prop-row-length.
│ │ │ │    0x01b153f0 7175616e 742d616c 7068612d 65717569 quant-alpha-equi
│ │ │ │    0x01b15400 76000000 00000000 7175616e 742d6675 v.......quant-fu
│ │ │ │    0x01b15410 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in
│ │ │ │    0x01b15420 64000000 00000000 7175616e 742d7265 d.......quant-re
│ │ │ │    0x01b15430 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f
│ │ │ │ -  0x01b15440 72657175 656e6379 00000000 00000000 requency........
│ │ │ │ -  0x01b15450 72616e64 6f6d2d66 72657100 00000000 random-freq.....
│ │ │ │ +  0x01b15440 72657100 00000000 72616e64 6f6d2d66 req.....random-f
│ │ │ │ +  0x01b15450 72657175 656e6379 00000000 00000000 requency........
│ │ │ │    0x01b15460 72616e64 6f6d2d70 61727469 74696f6e random-partition
│ │ │ │    0x01b15470 696e6700 00000000 72652d65 6c696d00 ing.....re-elim.
│ │ │ │    0x01b15480 72652d66 69727374 2d636c61 73730000 re-first-class..
│ │ │ │    0x01b15490 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode...
│ │ │ │    0x01b154a0 72656769 73746572 2d717561 6e742d62 register-quant-b
│ │ │ │    0x01b154b0 6f64792d 7465726d 73000000 00000000 ody-terms.......
│ │ │ │    0x01b154c0 72656c61 74696f6e 616c2d74 72696767 relational-trigg
│ │ │ │ @@ -19252,17 +19252,17 @@
│ │ │ │    0x01b16070 7573652d 706f7274 666f6c69 6f000000 use-portfolio...
│ │ │ │    0x01b16080 7573652d 736f6900 75736572 2d706174 use-soi.user-pat
│ │ │ │    0x01b16090 00000000 00000000 75736572 2d706f6f ........user-poo
│ │ │ │    0x01b160a0 6c000000 00000000 7661722d 656c696d l.......var-elim
│ │ │ │    0x01b160b0 2d717561 6e740000 7661722d 696e6571 -quant..var-ineq
│ │ │ │    0x01b160c0 2d656c69 6d2d7175 616e7400 00000000 -elim-quant.....
│ │ │ │    0x01b160d0 76657262 6f736500 77662d63 6865636b verbose.wf-check
│ │ │ │ -  0x01b160e0 696e6700 00000000 70617274 6974696f ing.....partitio
│ │ │ │ -  0x01b160f0 6e732d6f 75740000 77726974 652d7061 ns-out..write-pa
│ │ │ │ -  0x01b16100 72746974 696f6e73 2d746f00 00000000 rtitions-to.....
│ │ │ │ +  0x01b160e0 696e6700 00000000 77726974 652d7061 ing.....write-pa
│ │ │ │ +  0x01b160f0 72746974 696f6e73 2d746f00 00000000 rtitions-to.....
│ │ │ │ +  0x01b16100 70617274 6974696f 6e732d6f 75740000 partitions-out..
│ │ │ │    0x01b16110 75736167 653a2000 205b6f70 74696f6e usage: . [option
│ │ │ │    0x01b16120 735d205b 696e7075 742d6669 6c655d00 s] [input-file].
│ │ │ │    0x01b16130 57697468 6f757420 616e2069 6e707574 Without an input
│ │ │ │    0x01b16140 2066696c 652c206f 72207769 74682060  file, or with `
│ │ │ │    0x01b16150 2d272c20 63766335 20726561 64732066 -', cvc5 reads f
│ │ │ │    0x01b16160 726f6d20 7374616e 64617264 20696e70 rom standard inp
│ │ │ │    0x01b16170 75742e00 00000000 63766335 206f7074 ut......cvc5 opt
│ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {}
│ │ │ │ @@ -2076,15 +2076,15 @@
│ │ │ │    0x01e87198 0050b101 00000000 6867ae01 00000000 .P......hg......
│ │ │ │    0x01e871a8 1050b101 00000000 2050b101 00000000 .P...... P......
│ │ │ │    0x01e871b8 4050b101 00000000 5050b101 00000000 @P......PP......
│ │ │ │    0x01e871c8 b050b101 00000000 6850b101 00000000 .P......hP......
│ │ │ │    0x01e871d8 8050b101 00000000 9850b101 00000000 .P.......P......
│ │ │ │    0x01e871e8 c050b101 00000000 d850b101 00000000 .P.......P......
│ │ │ │    0x01e871f8 f050b101 00000000 0851b101 00000000 .P.......Q......
│ │ │ │ -  0x01e87208 e860b101 00000000 d048ae01 00000000 .`.......H......
│ │ │ │ +  0x01e87208 0061b101 00000000 d048ae01 00000000 .a.......H......
│ │ │ │    0x01e87218 4854ae01 00000000 1851b101 00000000 HT.......Q......
│ │ │ │    0x01e87228 4051b101 00000000 b89aaf01 00000000 @Q..............
│ │ │ │    0x01e87238 5851b101 00000000 7051b101 00000000 XQ......pQ......
│ │ │ │    0x01e87248 8051b101 00000000 8049ae01 00000000 .Q.......I......
│ │ │ │    0x01e87258 a849ae01 00000000 e84fae01 00000000 .I.......O......
│ │ │ │    0x01e87268 2851ae01 00000000 9851b101 00000000 (Q.......Q......
│ │ │ │    0x01e87278 a851b101 00000000 c051b101 00000000 .Q.......Q......
│ │ │ │ @@ -2106,16 +2106,16 @@
│ │ │ │    0x01e87378 3853b101 00000000 5853b101 00000000 8S......XS......
│ │ │ │    0x01e87388 7053b101 00000000 8853b101 00000000 pS.......S......
│ │ │ │    0x01e87398 a053b101 00000000 c053b101 00000000 .S.......S......
│ │ │ │    0x01e873a8 884eae01 00000000 e053b101 00000000 .N.......S......
│ │ │ │    0x01e873b8 b851ae01 00000000 f053b101 00000000 .Q.......S......
│ │ │ │    0x01e873c8 6850ae01 00000000 0854b101 00000000 hP.......T......
│ │ │ │    0x01e873d8 1854b101 00000000 2854b101 00000000 .T......(T......
│ │ │ │ -  0x01e873e8 6009ae01 00000000 5054b101 00000000 `.......PT......
│ │ │ │ -  0x01e873f8 3854b101 00000000 6054b101 00000000 8T......`T......
│ │ │ │ +  0x01e873e8 6009ae01 00000000 3854b101 00000000 `.......8T......
│ │ │ │ +  0x01e873f8 4854b101 00000000 6054b101 00000000 HT......`T......
│ │ │ │    0x01e87408 2856b101 00000000 7854b101 00000000 (V......xT......
│ │ │ │    0x01e87418 8054b101 00000000 9054b101 00000000 .T.......T......
│ │ │ │    0x01e87428 a054b101 00000000 585fad01 00000000 .T......X_......
│ │ │ │    0x01e87438 c054b101 00000000 7855ae01 00000000 .T......xU......
│ │ │ │    0x01e87448 d854b101 00000000 d84aae01 00000000 .T.......J......
│ │ │ │    0x01e87458 9853ae01 00000000 f054b101 00000000 .S.......T......
│ │ │ │    0x01e87468 1055b101 00000000 2855b101 00000000 .U......(U......
│ │ │ │ @@ -2203,15 +2203,15 @@
│ │ │ │    0x01e87988 884cae01 00000000 5060b101 00000000 .L......P`......
│ │ │ │    0x01e87998 6060b101 00000000 7060b101 00000000 ``......p`......
│ │ │ │    0x01e879a8 8060b101 00000000 8860b101 00000000 .`.......`......
│ │ │ │    0x01e879b8 9860b101 00000000 a860b101 00000000 .`.......`......
│ │ │ │    0x01e879c8 384bae01 00000000 b860b101 00000000 8K.......`......
│ │ │ │    0x01e879d8 d060b101 00000000 081ead01 00000000 .`..............
│ │ │ │    0x01e879e8 f81cad01 00000000 d860b101 00000000 .........`......
│ │ │ │ -  0x01e879f8 f860b101 00000000 f879b001 00000000 .`.......y......
│ │ │ │ +  0x01e879f8 e860b101 00000000 f879b001 00000000 .`.......y......
│ │ │ │    0x01e87a08 007ab001 00000000 8846b301 00000000 .z.......F......
│ │ │ │    0x01e87a18 f079b001 00000000 f858b101 00000000 .y.......X......
│ │ │ │    0x01e87a28 c85eb101 00000000 107db001 00000000 .^.......}......
│ │ │ │    0x01e87a38 f01eb301 00000000 6811ae01 00000000 ........h.......
│ │ │ │    0x01e87a48 c84eae01 00000000 6867ad01 00000000 .N......hg......
│ │ │ │    0x01e87a58 8067ad01 00000000 8097b001 00000000 .g..............
│ │ │ │    0x01e87a68 e047ae01 00000000 e097b001 00000000 .G..............
│ │ │ ├── readelf --wide --decompress --hex-dump=.data {}
│ │ │ │ @@ -648,17 +648,17 @@
│ │ │ │    0x01ea2850 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea2860 1b020000 00000000 0851b101 00000000 .........Q......
│ │ │ │    0x01ea2870 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea2880 1c020000 00000000 6054b101 00000000 ........`T......
│ │ │ │    0x01ea2890 00000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea28a0 1d020000 00000000 40b2b201 00000000 ........@.......
│ │ │ │    0x01ea28b0 00000000 00000000 00000000 00000000 ................
│ │ │ │ -  0x01ea28c0 1e020000 00000000 f860b101 00000000 .........`......
│ │ │ │ +  0x01ea28c0 1e020000 00000000 e860b101 00000000 .........`......
│ │ │ │    0x01ea28d0 01000000 00000000 00000000 00000000 ................
│ │ │ │ -  0x01ea28e0 1f020000 00000000 e860b101 00000000 .........`......
│ │ │ │ +  0x01ea28e0 1f020000 00000000 0061b101 00000000 .........a......
│ │ │ │    0x01ea28f0 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea2900 20020000 00000000 8049b101 00000000  ........I......
│ │ │ │    0x01ea2910 00000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea2920 21020000 00000000 58b2b201 00000000 !.......X.......
│ │ │ │    0x01ea2930 00000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea2940 22020000 00000000 004ab101 00000000 "........J......
│ │ │ │    0x01ea2950 01000000 00000000 00000000 00000000 ................
│ │ │ │ @@ -818,17 +818,17 @@
│ │ │ │    0x01ea32f0 00000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea3300 70020000 00000000 a0b5b201 00000000 p...............
│ │ │ │    0x01ea3310 00000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea3320 71020000 00000000 c045ae01 00000000 q........E......
│ │ │ │    0x01ea3330 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea3340 72020000 00000000 a851b101 00000000 r........Q......
│ │ │ │    0x01ea3350 01000000 00000000 00000000 00000000 ................
│ │ │ │ -  0x01ea3360 73020000 00000000 5054b101 00000000 s.......PT......
│ │ │ │ +  0x01ea3360 73020000 00000000 3854b101 00000000 s.......8T......
│ │ │ │    0x01ea3370 01000000 00000000 00000000 00000000 ................
│ │ │ │ -  0x01ea3380 74020000 00000000 3854b101 00000000 t.......8T......
│ │ │ │ +  0x01ea3380 74020000 00000000 4854b101 00000000 t.......HT......
│ │ │ │    0x01ea3390 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea33a0 75020000 00000000 5855b101 00000000 u.......XU......
│ │ │ │    0x01ea33b0 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea33c0 76020000 00000000 7055b101 00000000 v.......pU......
│ │ │ │    0x01ea33d0 01000000 00000000 00000000 00000000 ................
│ │ │ │    0x01ea33e0 77020000 00000000 f855b101 00000000 w........U......
│ │ │ │    0x01ea33f0 01000000 00000000 00000000 00000000 ................
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 35376131 37663339 61613035 31393934 57a17f39aa051994
│ │ │ │ -  0x00000010 63323238 32333438 38633164 38373239 c22823488c1d8729
│ │ │ │ -  0x00000020 65333763 31312e64 65627567 00000000 e37c11.debug....
│ │ │ │ -  0x00000030 ba232c38                            .#,8
│ │ │ │ +  0x00000000 65656630 66613331 62313737 62666534 eef0fa31b177bfe4
│ │ │ │ +  0x00000010 37343537 62643230 66356234 64653762 7457bd20f5b4de7b
│ │ │ │ +  0x00000020 38363432 36622e64 65627567 00000000 86426b.debug....
│ │ │ │ +  0x00000030 101e0390                            ....