--- /srv/rebuilderd/tmp/rebuilderdG46fU3/inputs/libcvc5-1_1.3.2-1+b2_loong64.deb +++ /srv/rebuilderd/tmp/rebuilderdG46fU3/out/libcvc5-1_1.3.2-1+b2_loong64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-24 00:41:55.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2025-12-24 00:41:55.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7131444 2025-12-24 00:41:55.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7132164 2025-12-24 00:41:55.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/loongarch64-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4326,15 +4326,15 @@ │ │ │ │ 0000000001d2d408 0000000000000003 R_LARCH_RELATIVE 19f5d08 │ │ │ │ 0000000001d2d410 0000000000000003 R_LARCH_RELATIVE 19f5d18 │ │ │ │ 0000000001d2d418 0000000000000003 R_LARCH_RELATIVE 19c61f0 │ │ │ │ 0000000001d2d420 0000000000000003 R_LARCH_RELATIVE 19c68e0 │ │ │ │ 0000000001d2d428 0000000000000003 R_LARCH_RELATIVE 19f5d28 │ │ │ │ 0000000001d2d430 0000000000000003 R_LARCH_RELATIVE 19c69b8 │ │ │ │ 0000000001d2d438 0000000000000003 R_LARCH_RELATIVE 19f5d38 │ │ │ │ -0000000001d2d440 0000000000000003 R_LARCH_RELATIVE 19f6460 │ │ │ │ +0000000001d2d440 0000000000000003 R_LARCH_RELATIVE 19f6478 │ │ │ │ 0000000001d2d448 0000000000000003 R_LARCH_RELATIVE 19f5d48 │ │ │ │ 0000000001d2d450 0000000000000003 R_LARCH_RELATIVE 19c69c8 │ │ │ │ 0000000001d2d458 0000000000000003 R_LARCH_RELATIVE 19c69f0 │ │ │ │ 0000000001d2d460 0000000000000003 R_LARCH_RELATIVE 19f5d60 │ │ │ │ 0000000001d2d468 0000000000000003 R_LARCH_RELATIVE 19f5d70 │ │ │ │ 0000000001d2d470 0000000000000003 R_LARCH_RELATIVE 19f5d80 │ │ │ │ 0000000001d2d478 0000000000000003 R_LARCH_RELATIVE 19f5d90 │ │ │ │ @@ -4436,15 +4436,15 @@ │ │ │ │ 0000000001d2d778 0000000000000003 R_LARCH_RELATIVE 19f63f0 │ │ │ │ 0000000001d2d780 0000000000000003 R_LARCH_RELATIVE 19f6408 │ │ │ │ 0000000001d2d788 0000000000000003 R_LARCH_RELATIVE 19f6420 │ │ │ │ 0000000001d2d790 0000000000000003 R_LARCH_RELATIVE 19f6430 │ │ │ │ 0000000001d2d798 0000000000000003 R_LARCH_RELATIVE 19f6440 │ │ │ │ 0000000001d2d7a0 0000000000000003 R_LARCH_RELATIVE 19b7fe8 │ │ │ │ 0000000001d2d7a8 0000000000000003 R_LARCH_RELATIVE 19b3bf8 │ │ │ │ -0000000001d2d7b0 0000000000000003 R_LARCH_RELATIVE 19f6478 │ │ │ │ +0000000001d2d7b0 0000000000000003 R_LARCH_RELATIVE 19f6460 │ │ │ │ 0000000001d2d7b8 0000000000000003 R_LARCH_RELATIVE 19c6440 │ │ │ │ 0000000001d2d7c0 0000000000000003 R_LARCH_RELATIVE 19c6468 │ │ │ │ 0000000001d2d7c8 0000000000000003 R_LARCH_RELATIVE 19b3ac8 │ │ │ │ 0000000001d2d7d0 0000000000000003 R_LARCH_RELATIVE 19b4a28 │ │ │ │ 0000000001d2d7d8 0000000000000003 R_LARCH_RELATIVE 19b3940 │ │ │ │ 0000000001d2d7e0 0000000000000003 R_LARCH_RELATIVE 19b6cc8 │ │ │ │ 0000000001d2d7e8 0000000000000003 R_LARCH_RELATIVE 19b4ad8 │ │ │ │ @@ -4474,18 +4474,18 @@ │ │ │ │ 0000000001d2d8a8 0000000000000003 R_LARCH_RELATIVE 19c6a00 │ │ │ │ 0000000001d2d8b0 0000000000000003 R_LARCH_RELATIVE 19f6620 │ │ │ │ 0000000001d2d8b8 0000000000000003 R_LARCH_RELATIVE 19c68b0 │ │ │ │ 0000000001d2d8c0 0000000000000003 R_LARCH_RELATIVE 19f6638 │ │ │ │ 0000000001d2d8c8 0000000000000003 R_LARCH_RELATIVE 19f6648 │ │ │ │ 0000000001d2d8d0 0000000000000003 R_LARCH_RELATIVE 19f6658 │ │ │ │ 0000000001d2d8d8 0000000000000003 R_LARCH_RELATIVE 19c2338 │ │ │ │ -0000000001d2d8e0 0000000000000003 R_LARCH_RELATIVE 19f6680 │ │ │ │ -0000000001d2d8e8 0000000000000003 R_LARCH_RELATIVE 19f6668 │ │ │ │ +0000000001d2d8e0 0000000000000003 R_LARCH_RELATIVE 19f6668 │ │ │ │ +0000000001d2d8e8 0000000000000003 R_LARCH_RELATIVE 19f6678 │ │ │ │ 0000000001d2d8f0 0000000000000003 R_LARCH_RELATIVE 19f6690 │ │ │ │ -0000000001d2d8f8 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ +0000000001d2d8f8 0000000000000003 R_LARCH_RELATIVE 19f6860 │ │ │ │ 0000000001d2d900 0000000000000003 R_LARCH_RELATIVE 19f66a8 │ │ │ │ 0000000001d2d908 0000000000000003 R_LARCH_RELATIVE 19f66b0 │ │ │ │ 0000000001d2d910 0000000000000003 R_LARCH_RELATIVE 19f66c0 │ │ │ │ 0000000001d2d918 0000000000000003 R_LARCH_RELATIVE 19f66d0 │ │ │ │ 0000000001d2d920 0000000000000003 R_LARCH_RELATIVE 19b7ff8 │ │ │ │ 0000000001d2d928 0000000000000003 R_LARCH_RELATIVE 19f66f0 │ │ │ │ 0000000001d2d930 0000000000000003 R_LARCH_RELATIVE 19c6da8 │ │ │ │ @@ -4506,15 +4506,15 @@ │ │ │ │ 0000000001d2d9a8 0000000000000003 R_LARCH_RELATIVE 19f67f8 │ │ │ │ 0000000001d2d9b0 0000000000000003 R_LARCH_RELATIVE 19f6808 │ │ │ │ 0000000001d2d9b8 0000000000000003 R_LARCH_RELATIVE 19b8760 │ │ │ │ 0000000001d2d9c0 0000000000000003 R_LARCH_RELATIVE 19f6810 │ │ │ │ 0000000001d2d9c8 0000000000000003 R_LARCH_RELATIVE 19f6828 │ │ │ │ 0000000001d2d9d0 0000000000000003 R_LARCH_RELATIVE 19f6838 │ │ │ │ 0000000001d2d9d8 0000000000000003 R_LARCH_RELATIVE 19f6848 │ │ │ │ -0000000001d2d9e0 0000000000000003 R_LARCH_RELATIVE 19f6868 │ │ │ │ +0000000001d2d9e0 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ 0000000001d2d9e8 0000000000000003 R_LARCH_RELATIVE 19f6870 │ │ │ │ 0000000001d2d9f0 0000000000000003 R_LARCH_RELATIVE 19f6880 │ │ │ │ 0000000001d2d9f8 0000000000000003 R_LARCH_RELATIVE 19bcec0 │ │ │ │ 0000000001d2da00 0000000000000003 R_LARCH_RELATIVE 19f6890 │ │ │ │ 0000000001d2da08 0000000000000003 R_LARCH_RELATIVE 19f68a0 │ │ │ │ 0000000001d2da10 0000000000000003 R_LARCH_RELATIVE 19f68b8 │ │ │ │ 0000000001d2da18 0000000000000003 R_LARCH_RELATIVE 19c6310 │ │ │ │ @@ -9141,16 +9141,16 @@ │ │ │ │ 0000000001d424c0 0000000000000003 R_LARCH_RELATIVE 19f5d38 │ │ │ │ 0000000001d424e0 0000000000000003 R_LARCH_RELATIVE 1a0c3f8 │ │ │ │ 0000000001d42500 0000000000000003 R_LARCH_RELATIVE 19f6370 │ │ │ │ 0000000001d42520 0000000000000003 R_LARCH_RELATIVE 1a0c408 │ │ │ │ 0000000001d42540 0000000000000003 R_LARCH_RELATIVE 19f6388 │ │ │ │ 0000000001d42560 0000000000000003 R_LARCH_RELATIVE 19b7fe8 │ │ │ │ 0000000001d42580 0000000000000003 R_LARCH_RELATIVE 1a0c420 │ │ │ │ -0000000001d425a0 0000000000000003 R_LARCH_RELATIVE 19f6868 │ │ │ │ -0000000001d425c0 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ +0000000001d425a0 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ +0000000001d425c0 0000000000000003 R_LARCH_RELATIVE 19f6860 │ │ │ │ 0000000001d425e0 0000000000000003 R_LARCH_RELATIVE 19f6870 │ │ │ │ 0000000001d42600 0000000000000003 R_LARCH_RELATIVE 1a0c438 │ │ │ │ 0000000001d42620 0000000000000003 R_LARCH_RELATIVE 19f68e0 │ │ │ │ 0000000001d42640 0000000000000003 R_LARCH_RELATIVE 19f68f0 │ │ │ │ 0000000001d42660 0000000000000003 R_LARCH_RELATIVE 19f72b8 │ │ │ │ 0000000001d42680 0000000000000003 R_LARCH_RELATIVE 1a0c448 │ │ │ │ 0000000001d426a0 0000000000000003 R_LARCH_RELATIVE 19b3db0 │ │ │ │ @@ -9251,16 +9251,16 @@ │ │ │ │ 0000000001d43280 0000000000000003 R_LARCH_RELATIVE 19c66c0 │ │ │ │ 0000000001d432a0 0000000000000003 R_LARCH_RELATIVE 19f6810 │ │ │ │ 0000000001d432c0 0000000000000003 R_LARCH_RELATIVE 1a0c7d0 │ │ │ │ 0000000001d432e0 0000000000000003 R_LARCH_RELATIVE 19f5f70 │ │ │ │ 0000000001d43300 0000000000000003 R_LARCH_RELATIVE 1a0c7e8 │ │ │ │ 0000000001d43320 0000000000000003 R_LARCH_RELATIVE 19c5e10 │ │ │ │ 0000000001d43340 0000000000000003 R_LARCH_RELATIVE 19f63c0 │ │ │ │ -0000000001d43360 0000000000000003 R_LARCH_RELATIVE 19f6680 │ │ │ │ -0000000001d43380 0000000000000003 R_LARCH_RELATIVE 19f6668 │ │ │ │ +0000000001d43360 0000000000000003 R_LARCH_RELATIVE 19f6668 │ │ │ │ +0000000001d43380 0000000000000003 R_LARCH_RELATIVE 19f6678 │ │ │ │ 0000000001d433a0 0000000000000003 R_LARCH_RELATIVE 19f6788 │ │ │ │ 0000000001d433c0 0000000000000003 R_LARCH_RELATIVE 19f67a0 │ │ │ │ 0000000001d433e0 0000000000000003 R_LARCH_RELATIVE 19f6828 │ │ │ │ 0000000001d43400 0000000000000003 R_LARCH_RELATIVE 19f6838 │ │ │ │ 0000000001d43420 0000000000000003 R_LARCH_RELATIVE 19c61e8 │ │ │ │ 0000000001d43440 0000000000000003 R_LARCH_RELATIVE 1a0c800 │ │ │ │ 0000000001d43460 0000000000000003 R_LARCH_RELATIVE 19f5508 │ │ │ │ @@ -9612,16 +9612,16 @@ │ │ │ │ 0000000001d45fa0 0000000000000003 R_LARCH_RELATIVE 1a0d4c8 │ │ │ │ 0000000001d45fc0 0000000000000003 R_LARCH_RELATIVE 19f61b8 │ │ │ │ 0000000001d45fe0 0000000000000003 R_LARCH_RELATIVE 1a0d4e8 │ │ │ │ 0000000001d46000 0000000000000003 R_LARCH_RELATIVE 19f63f0 │ │ │ │ 0000000001d46020 0000000000000003 R_LARCH_RELATIVE 1a0d500 │ │ │ │ 0000000001d46040 0000000000000003 R_LARCH_RELATIVE 19b3bf8 │ │ │ │ 0000000001d46060 0000000000000003 R_LARCH_RELATIVE 1a0d518 │ │ │ │ -0000000001d46080 0000000000000003 R_LARCH_RELATIVE 19f6478 │ │ │ │ -0000000001d460a0 0000000000000003 R_LARCH_RELATIVE 19f6460 │ │ │ │ +0000000001d46080 0000000000000003 R_LARCH_RELATIVE 19f6460 │ │ │ │ +0000000001d460a0 0000000000000003 R_LARCH_RELATIVE 19f6478 │ │ │ │ 0000000001d460c0 0000000000000003 R_LARCH_RELATIVE 1a0d530 │ │ │ │ 0000000001d460e0 0000000000000003 R_LARCH_RELATIVE 1a0d548 │ │ │ │ 0000000001d46100 0000000000000003 R_LARCH_RELATIVE 19c6440 │ │ │ │ 0000000001d46120 0000000000000003 R_LARCH_RELATIVE 1a0d560 │ │ │ │ 0000000001d46140 0000000000000003 R_LARCH_RELATIVE 19c6468 │ │ │ │ 0000000001d46160 0000000000000003 R_LARCH_RELATIVE 1a0d578 │ │ │ │ 0000000001d46180 0000000000000003 R_LARCH_RELATIVE 19b3ac8 │ │ │ │ @@ -9998,15 +9998,15 @@ │ │ │ │ 0000000001d48458 0000000000000003 R_LARCH_RELATIVE 1a20e70 │ │ │ │ 0000000001d48460 0000000000000003 R_LARCH_RELATIVE 1a1c708 │ │ │ │ 0000000001d48480 0000000000000003 R_LARCH_RELATIVE 1a20e50 │ │ │ │ 0000000001d48488 0000000000000003 R_LARCH_RELATIVE 1a1c710 │ │ │ │ 0000000001d484a8 0000000000000003 R_LARCH_RELATIVE 1a20e38 │ │ │ │ 0000000001d484b0 0000000000000003 R_LARCH_RELATIVE 1a1c718 │ │ │ │ 0000000001d484d0 0000000000000003 R_LARCH_RELATIVE 1a20e20 │ │ │ │ -0000000001d484d8 0000000000000003 R_LARCH_RELATIVE 19f6868 │ │ │ │ +0000000001d484d8 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ 0000000001d484f8 0000000000000003 R_LARCH_RELATIVE 1a20e10 │ │ │ │ 0000000001d48500 0000000000000003 R_LARCH_RELATIVE 1a1c728 │ │ │ │ 0000000001d48520 0000000000000003 R_LARCH_RELATIVE 1a20dc0 │ │ │ │ 0000000001d48528 0000000000000003 R_LARCH_RELATIVE 1a1c730 │ │ │ │ 0000000001d48548 0000000000000003 R_LARCH_RELATIVE 1a20da0 │ │ │ │ 0000000001d48550 0000000000000003 R_LARCH_RELATIVE 1a1c740 │ │ │ │ 0000000001d48570 0000000000000003 R_LARCH_RELATIVE 1a20d88 │ │ │ │ @@ -10352,15 +10352,15 @@ │ │ │ │ 0000000001d4a000 0000000000000003 R_LARCH_RELATIVE 1a20e70 │ │ │ │ 0000000001d4a008 0000000000000003 R_LARCH_RELATIVE 1a1c708 │ │ │ │ 0000000001d4a028 0000000000000003 R_LARCH_RELATIVE 1a20e50 │ │ │ │ 0000000001d4a030 0000000000000003 R_LARCH_RELATIVE 1a1c710 │ │ │ │ 0000000001d4a050 0000000000000003 R_LARCH_RELATIVE 1a20e38 │ │ │ │ 0000000001d4a058 0000000000000003 R_LARCH_RELATIVE 1a1c718 │ │ │ │ 0000000001d4a078 0000000000000003 R_LARCH_RELATIVE 1a20e20 │ │ │ │ -0000000001d4a080 0000000000000003 R_LARCH_RELATIVE 19f6868 │ │ │ │ +0000000001d4a080 0000000000000003 R_LARCH_RELATIVE 19f6858 │ │ │ │ 0000000001d4a0a0 0000000000000003 R_LARCH_RELATIVE 1a20e10 │ │ │ │ 0000000001d4a0a8 0000000000000003 R_LARCH_RELATIVE 1a1c728 │ │ │ │ 0000000001d4a0c8 0000000000000003 R_LARCH_RELATIVE 1a20dc0 │ │ │ │ 0000000001d4a0d0 0000000000000003 R_LARCH_RELATIVE 1a1c730 │ │ │ │ 0000000001d4a0f0 0000000000000003 R_LARCH_RELATIVE 1a20da0 │ │ │ │ 0000000001d4a0f8 0000000000000003 R_LARCH_RELATIVE 1a1c740 │ │ │ │ 0000000001d4a118 0000000000000003 R_LARCH_RELATIVE 1a20d88 │ │ │ ├── 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: 1a049a2ffaf15bc8bc9df37b52b42c88a12e8a88 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 310ef82c4bd79be253f054d190adde1a85269529 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -10258,16 +10258,16 @@ │ │ │ │ preregister-mode │ │ │ │ print-arith-lit-token │ │ │ │ print-cores-full │ │ │ │ print-dot-clusters │ │ │ │ print-inst │ │ │ │ print-inst-full │ │ │ │ print-skolem-definitions │ │ │ │ -interactive-mode │ │ │ │ produce-assertions │ │ │ │ +interactive-mode │ │ │ │ proof-alethe-define-skolems │ │ │ │ proof-alethe-res-pivots │ │ │ │ proof-chain-m-res │ │ │ │ proof-check │ │ │ │ proof-dag-global │ │ │ │ proof-dot-dag │ │ │ │ proof-elim-subtypes │ │ │ │ @@ -10281,16 +10281,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 │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -60456,23 +60456,23 @@ │ │ │ │ pcalau12i $a1, 6417 │ │ │ │ addi.d $a1, $a1, -1984 │ │ │ │ addi.d $a0, $a0, 1449 │ │ │ │ stptr.w $t0, $sp, 3488 │ │ │ │ bl 23092344 │ │ │ │ addi.d $a0, $sp, 2047 │ │ │ │ li.w $t0, 87 │ │ │ │ - pcalau12i $a1, 6454 │ │ │ │ - addi.d $a1, $a1, -1208 │ │ │ │ + pcalau12i $a1, 6417 │ │ │ │ + addi.d $a1, $a1, -1960 │ │ │ │ addi.d $a0, $a0, 1489 │ │ │ │ stptr.w $t0, $sp, 3528 │ │ │ │ bl 23092316 │ │ │ │ addi.d $a0, $sp, 2047 │ │ │ │ li.w $t0, 88 │ │ │ │ - pcalau12i $a1, 6417 │ │ │ │ - addi.d $a1, $a1, -1960 │ │ │ │ + pcalau12i $a1, 6454 │ │ │ │ + addi.d $a1, $a1, -1208 │ │ │ │ addi.d $a0, $a0, 1529 │ │ │ │ stptr.w $t0, $sp, 3568 │ │ │ │ bl 23092288 │ │ │ │ addi.d $a0, $sp, 2047 │ │ │ │ li.w $t0, 88 │ │ │ │ pcalau12i $a1, 6369 │ │ │ │ addi.d $a1, $a1, 1896 │ │ │ │ @@ -60746,24 +60746,24 @@ │ │ │ │ addi.d $a1, $a1, -1384 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 5008 │ │ │ │ bl 23091188 │ │ │ │ lu12i.w $t1, 1 │ │ │ │ ori $t1, $t1, 0x3c0 │ │ │ │ li.w $t0, 124 │ │ │ │ - pcalau12i $a1, 6355 │ │ │ │ - addi.d $a1, $a1, -56 │ │ │ │ + pcalau12i $a1, 6417 │ │ │ │ + addi.d $a1, $a1, -1368 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 5048 │ │ │ │ bl 23091156 │ │ │ │ lu12i.w $t1, 1 │ │ │ │ ori $t1, $t1, 0x3e8 │ │ │ │ li.w $t0, 125 │ │ │ │ - pcalau12i $a1, 6417 │ │ │ │ - addi.d $a1, $a1, -1368 │ │ │ │ + pcalau12i $a1, 6355 │ │ │ │ + addi.d $a1, $a1, -56 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 5088 │ │ │ │ bl 23091124 │ │ │ │ lu12i.w $t1, 1 │ │ │ │ ori $t1, $t1, 0x410 │ │ │ │ li.w $t0, 125 │ │ │ │ pcalau12i $a1, 6417 │ │ │ │ @@ -61794,24 +61794,24 @@ │ │ │ │ addi.d $a1, $a1, 496 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 10248 │ │ │ │ bl 23086996 │ │ │ │ lu12i.w $t1, 2 │ │ │ │ ori $t1, $t1, 0x838 │ │ │ │ li.w $t0, 252 │ │ │ │ - pcalau12i $a1, 6416 │ │ │ │ - addi.d $a1, $a1, 504 │ │ │ │ + pcalau12i $a1, 6370 │ │ │ │ + addi.d $a1, $a1, -120 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 10288 │ │ │ │ bl 23086964 │ │ │ │ lu12i.w $t1, 2 │ │ │ │ ori $t1, $t1, 0x860 │ │ │ │ li.w $t0, 253 │ │ │ │ - pcalau12i $a1, 6370 │ │ │ │ - addi.d $a1, $a1, -120 │ │ │ │ + pcalau12i $a1, 6416 │ │ │ │ + addi.d $a1, $a1, 504 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 10328 │ │ │ │ bl 23086932 │ │ │ │ lu12i.w $t1, 2 │ │ │ │ ori $t1, $t1, 0x888 │ │ │ │ li.w $t0, 253 │ │ │ │ pcalau12i $a1, 6416 │ │ │ │ @@ -62411,15 +62411,15 @@ │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 13328 │ │ │ │ bl 23084532 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x440 │ │ │ │ li.w $t0, 325 │ │ │ │ pcalau12i $a1, 6415 │ │ │ │ - addi.d $a1, $a1, 1664 │ │ │ │ + addi.d $a1, $a1, 1656 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 13368 │ │ │ │ bl 23084500 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x468 │ │ │ │ li.w $t0, 325 │ │ │ │ pcalau12i $a1, 6415 │ │ │ │ @@ -62570,24 +62570,24 @@ │ │ │ │ addi.d $a1, $a1, 2016 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 14128 │ │ │ │ bl 23083892 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x760 │ │ │ │ li.w $t0, 344 │ │ │ │ - pcalau12i $a1, 6353 │ │ │ │ - addi.d $a1, $a1, 16 │ │ │ │ + pcalau12i $a1, 6415 │ │ │ │ + addi.d $a1, $a1, 2024 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 14168 │ │ │ │ bl 23083860 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x788 │ │ │ │ li.w $t0, 345 │ │ │ │ - pcalau12i $a1, 6415 │ │ │ │ - addi.d $a1, $a1, 2024 │ │ │ │ + pcalau12i $a1, 6353 │ │ │ │ + addi.d $a1, $a1, 16 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 14208 │ │ │ │ bl 23083828 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x7b0 │ │ │ │ li.w $t0, 345 │ │ │ │ pcalau12i $a1, 6415 │ │ │ │ @@ -62651,15 +62651,15 @@ │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 14528 │ │ │ │ bl 23083572 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x8f0 │ │ │ │ li.w $t0, 353 │ │ │ │ pcalau12i $a1, 6416 │ │ │ │ - addi.d $a1, $a1, -1944 │ │ │ │ + addi.d $a1, $a1, -1952 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 14568 │ │ │ │ bl 23083540 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0x918 │ │ │ │ li.w $t0, 353 │ │ │ │ pcalau12i $a1, 6416 │ │ │ │ @@ -62770,24 +62770,24 @@ │ │ │ │ addi.d $a1, $a1, -1768 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 15128 │ │ │ │ bl 23083092 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0xb48 │ │ │ │ li.w $t0, 367 │ │ │ │ - pcalau12i $a1, 6367 │ │ │ │ - addi.d $a1, $a1, -488 │ │ │ │ + pcalau12i $a1, 6416 │ │ │ │ + addi.d $a1, $a1, -1744 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 15168 │ │ │ │ bl 23083060 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0xb70 │ │ │ │ li.w $t0, 368 │ │ │ │ - pcalau12i $a1, 6416 │ │ │ │ - addi.d $a1, $a1, -1744 │ │ │ │ + pcalau12i $a1, 6367 │ │ │ │ + addi.d $a1, $a1, -488 │ │ │ │ add.d $a0, $t1, $sp │ │ │ │ stptr.w $t0, $sp, 15208 │ │ │ │ bl 23083028 │ │ │ │ lu12i.w $t1, 3 │ │ │ │ ori $t1, $t1, 0xb98 │ │ │ │ li.w $t0, 368 │ │ │ │ pcalau12i $a1, 6416 │ │ │ │ @@ -454476,15 +454476,15 @@ │ │ │ │ move $a1, $a0 │ │ │ │ pcalau12i $a0, 5973 │ │ │ │ addi.d $a0, $a0, 1944 │ │ │ │ bl -2636 # 2630e4 , std::allocator > const&)@@Base+0x32d0> │ │ │ │ bl -1808612 │ │ │ │ move $a1, $a0 │ │ │ │ pcalau12i $a0, 6035 │ │ │ │ - addi.d $a0, $a0, 1152 │ │ │ │ + addi.d $a0, $a0, 1128 │ │ │ │ bl -2656 # 2630e4 , std::allocator > const&)@@Base+0x32d0> │ │ │ │ bl -1839464 │ │ │ │ move $a1, $a0 │ │ │ │ pcalau12i $a0, 5973 │ │ │ │ addi.d $a0, $a0, 1952 │ │ │ │ bl -2676 # 2630e4 , std::allocator > const&)@@Base+0x32d0> │ │ │ │ bl -1824812 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ b -264 # 10a70fc , std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::~_Hashtable()@@Base+0x31078> │ │ │ │ nop │ │ │ │ bl -16771260 │ │ │ │ b -692 # 10a6f5c , std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::~_Hashtable()@@Base+0x30ed8> │ │ │ │ move $a1, $t7 │ │ │ │ b -380 # 10a709c , std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::~_Hashtable()@@Base+0x31018> │ │ │ │ move $t2, $t1 │ │ │ │ -[ Too much input for diff (SHA256: e5e4601909836a9e908034ab5d86e1688acd06b8b4a831742925359d0db1815b) ] │ │ │ │ +[ Too much input for diff (SHA256: 23baa37e43bd267383329ef256bfa7632382dd1a1bc2674b1ddeb9ab4dee9c5a) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18782,17 +18782,17 @@ │ │ │ │ 0x019f63f0 7072696e 742d636f 7265732d 66756c6c print-cores-full │ │ │ │ 0x019f6400 00000000 00000000 7072696e 742d646f ........print-do │ │ │ │ 0x019f6410 742d636c 75737465 72730000 00000000 t-clusters...... │ │ │ │ 0x019f6420 7072696e 742d696e 73740000 00000000 print-inst...... │ │ │ │ 0x019f6430 7072696e 742d696e 73742d66 756c6c00 print-inst-full. │ │ │ │ 0x019f6440 7072696e 742d736b 6f6c656d 2d646566 print-skolem-def │ │ │ │ 0x019f6450 696e6974 696f6e73 00000000 00000000 initions........ │ │ │ │ - 0x019f6460 696e7465 72616374 6976652d 6d6f6465 interactive-mode │ │ │ │ - 0x019f6470 00000000 00000000 70726f64 7563652d ........produce- │ │ │ │ - 0x019f6480 61737365 7274696f 6e730000 00000000 assertions...... │ │ │ │ + 0x019f6460 70726f64 7563652d 61737365 7274696f produce-assertio │ │ │ │ + 0x019f6470 6e730000 00000000 696e7465 72616374 ns......interact │ │ │ │ + 0x019f6480 6976652d 6d6f6465 00000000 00000000 ive-mode........ │ │ │ │ 0x019f6490 70726f6f 662d616c 65746865 2d646566 proof-alethe-def │ │ │ │ 0x019f64a0 696e652d 736b6f6c 656d7300 00000000 ine-skolems..... │ │ │ │ 0x019f64b0 70726f6f 662d616c 65746865 2d726573 proof-alethe-res │ │ │ │ 0x019f64c0 2d706976 6f747300 70726f6f 662d6368 -pivots.proof-ch │ │ │ │ 0x019f64d0 61696e2d 6d2d7265 73000000 00000000 ain-m-res....... │ │ │ │ 0x019f64e0 70726f6f 662d6368 65636b00 00000000 proof-check..... │ │ │ │ 0x019f64f0 70726f6f 662d6461 672d676c 6f62616c proof-dag-global │ │ │ │ @@ -18815,16 +18815,16 @@ │ │ │ │ 0x019f6600 6f6e732d 73746570 2d6c696d 69740000 ons-step-limit.. │ │ │ │ 0x019f6610 70726f70 2d726f77 2d6c656e 67746800 prop-row-length. │ │ │ │ 0x019f6620 7175616e 742d616c 7068612d 65717569 quant-alpha-equi │ │ │ │ 0x019f6630 76000000 00000000 7175616e 742d6675 v.......quant-fu │ │ │ │ 0x019f6640 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x019f6650 64000000 00000000 7175616e 742d7265 d.......quant-re │ │ │ │ 0x019f6660 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f │ │ │ │ - 0x019f6670 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ - 0x019f6680 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ + 0x019f6670 72657100 00000000 72616e64 6f6d2d66 req.....random-f │ │ │ │ + 0x019f6680 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ 0x019f6690 72616e64 6f6d2d70 61727469 74696f6e random-partition │ │ │ │ 0x019f66a0 696e6700 00000000 72652d65 6c696d00 ing.....re-elim. │ │ │ │ 0x019f66b0 72652d66 69727374 2d636c61 73730000 re-first-class.. │ │ │ │ 0x019f66c0 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x019f66d0 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x019f66e0 6f64792d 7465726d 73000000 00000000 ody-terms....... │ │ │ │ 0x019f66f0 72656c61 74696f6e 616c2d74 72696767 relational-trigg │ │ │ │ @@ -18845,16 +18845,16 @@ │ │ │ │ 0x019f67e0 726c696d 69740000 726c696d 69742d70 rlimit..rlimit-p │ │ │ │ 0x019f67f0 65720000 00000000 72722d74 75726e73 er......rr-turns │ │ │ │ 0x019f6800 00000000 00000000 72776569 67687400 ........rweight. │ │ │ │ 0x019f6810 7361742d 70726f6f 662d6d69 6e2d6469 sat-proof-min-di │ │ │ │ 0x019f6820 6d616373 00000000 7361742d 72616e64 macs....sat-rand │ │ │ │ 0x019f6830 6f6d2d73 65656400 7361742d 736f6c76 om-seed.sat-solv │ │ │ │ 0x019f6840 65720000 00000000 73652d73 6f6c7665 er......se-solve │ │ │ │ - 0x019f6850 2d696e74 00000000 72616e64 6f6d2d73 -int....random-s │ │ │ │ - 0x019f6860 65656400 00000000 73656564 00000000 eed.....seed.... │ │ │ │ + 0x019f6850 2d696e74 00000000 73656564 00000000 -int....seed.... │ │ │ │ + 0x019f6860 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ 0x019f6870 73656776 2d737069 6e000000 00000000 segv-spin....... │ │ │ │ 0x019f6880 73656d61 6e746963 2d636865 636b7300 semantic-checks. │ │ │ │ 0x019f6890 7365702d 6d696e2d 72656669 6e650000 sep-min-refine.. │ │ │ │ 0x019f68a0 7365702d 7072652d 736b6f6c 656d2d65 sep-pre-skolem-e │ │ │ │ 0x019f68b0 6d700000 00000000 7365712d 61727261 mp......seq-arra │ │ │ │ 0x019f68c0 79000000 00000000 73657473 2d70726f y.......sets-pro │ │ │ │ 0x019f68d0 78792d6c 656d6d61 73000000 00000000 xy-lemmas....... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2173,15 +2173,15 @@ │ │ │ │ 0x01d2d3c8 b05c9f01 00000000 c85c9f01 00000000 .\.......\...... │ │ │ │ 0x01d2d3d8 d85c9f01 00000000 88c29c01 00000000 .\.............. │ │ │ │ 0x01d2d3e8 e05c9f01 00000000 c8379b01 00000000 .\.......7...... │ │ │ │ 0x01d2d3f8 a85d9f01 00000000 f85c9f01 00000000 .].......\...... │ │ │ │ 0x01d2d408 085d9f01 00000000 185d9f01 00000000 .].......]...... │ │ │ │ 0x01d2d418 f0619c01 00000000 e0689c01 00000000 .a.......h...... │ │ │ │ 0x01d2d428 285d9f01 00000000 b8699c01 00000000 (].......i...... │ │ │ │ - 0x01d2d438 385d9f01 00000000 60649f01 00000000 8]......`d...... │ │ │ │ + 0x01d2d438 385d9f01 00000000 78649f01 00000000 8]......xd...... │ │ │ │ 0x01d2d448 485d9f01 00000000 c8699c01 00000000 H].......i...... │ │ │ │ 0x01d2d458 f0699c01 00000000 605d9f01 00000000 .i......`]...... │ │ │ │ 0x01d2d468 705d9f01 00000000 805d9f01 00000000 p].......]...... │ │ │ │ 0x01d2d478 905d9f01 00000000 a05d9f01 00000000 .].......]...... │ │ │ │ 0x01d2d488 58a49b01 00000000 b85d9f01 00000000 X........]...... │ │ │ │ 0x01d2d498 c85d9f01 00000000 e85d9f01 00000000 .].......]...... │ │ │ │ 0x01d2d4a8 005e9f01 00000000 205e9f01 00000000 .^...... ^...... │ │ │ │ @@ -2228,15 +2228,15 @@ │ │ │ │ 0x01d2d738 98639f01 00000000 a8619c01 00000000 .c.......a...... │ │ │ │ 0x01d2d748 d0619c01 00000000 30689c01 00000000 .a......0h...... │ │ │ │ 0x01d2d758 70699c01 00000000 b0639f01 00000000 pi.......c...... │ │ │ │ 0x01d2d768 c0639f01 00000000 d8639f01 00000000 .c.......c...... │ │ │ │ 0x01d2d778 f0639f01 00000000 08649f01 00000000 .c.......d...... │ │ │ │ 0x01d2d788 20649f01 00000000 30649f01 00000000 d......0d...... │ │ │ │ 0x01d2d798 40649f01 00000000 e87f9b01 00000000 @d.............. │ │ │ │ - 0x01d2d7a8 f83b9b01 00000000 78649f01 00000000 .;......xd...... │ │ │ │ + 0x01d2d7a8 f83b9b01 00000000 60649f01 00000000 .;......`d...... │ │ │ │ 0x01d2d7b8 40649c01 00000000 68649c01 00000000 @d......hd...... │ │ │ │ 0x01d2d7c8 c83a9b01 00000000 284a9b01 00000000 .:......(J...... │ │ │ │ 0x01d2d7d8 40399b01 00000000 c86c9b01 00000000 @9.......l...... │ │ │ │ 0x01d2d7e8 d84a9b01 00000000 68499b01 00000000 .J......hI...... │ │ │ │ 0x01d2d7f8 90649f01 00000000 b0649f01 00000000 .d.......d...... │ │ │ │ 0x01d2d808 a0d99b01 00000000 c8649f01 00000000 .........d...... │ │ │ │ 0x01d2d818 e0649f01 00000000 f0649f01 00000000 .d.......d...... │ │ │ │ @@ -2247,31 +2247,31 @@ │ │ │ │ 0x01d2d868 68659f01 00000000 88659f01 00000000 he.......e...... │ │ │ │ 0x01d2d878 a0659f01 00000000 b8659f01 00000000 .e.......e...... │ │ │ │ 0x01d2d888 d0659f01 00000000 f0659f01 00000000 .e.......e...... │ │ │ │ 0x01d2d898 c0669c01 00000000 10669f01 00000000 .f.......f...... │ │ │ │ 0x01d2d8a8 006a9c01 00000000 20669f01 00000000 .j...... f...... │ │ │ │ 0x01d2d8b8 b0689c01 00000000 38669f01 00000000 .h......8f...... │ │ │ │ 0x01d2d8c8 48669f01 00000000 58669f01 00000000 Hf......Xf...... │ │ │ │ - 0x01d2d8d8 38239c01 00000000 80669f01 00000000 8#.......f...... │ │ │ │ - 0x01d2d8e8 68669f01 00000000 90669f01 00000000 hf.......f...... │ │ │ │ - 0x01d2d8f8 58689f01 00000000 a8669f01 00000000 Xh.......f...... │ │ │ │ + 0x01d2d8d8 38239c01 00000000 68669f01 00000000 8#......hf...... │ │ │ │ + 0x01d2d8e8 78669f01 00000000 90669f01 00000000 xf.......f...... │ │ │ │ + 0x01d2d8f8 60689f01 00000000 a8669f01 00000000 `h.......f...... │ │ │ │ 0x01d2d908 b0669f01 00000000 c0669f01 00000000 .f.......f...... │ │ │ │ 0x01d2d918 d0669f01 00000000 f87f9b01 00000000 .f.............. │ │ │ │ 0x01d2d928 f0669f01 00000000 a86d9c01 00000000 .f.......m...... │ │ │ │ 0x01d2d938 08679f01 00000000 00639c01 00000000 .g.......c...... │ │ │ │ 0x01d2d948 c86b9c01 00000000 20679f01 00000000 .k...... g...... │ │ │ │ 0x01d2d958 40679f01 00000000 58679f01 00000000 @g......Xg...... │ │ │ │ 0x01d2d968 70679f01 00000000 10809b01 00000000 pg.............. │ │ │ │ 0x01d2d978 88679f01 00000000 a0679f01 00000000 .g.......g...... │ │ │ │ 0x01d2d988 b0679f01 00000000 c0679f01 00000000 .g.......g...... │ │ │ │ 0x01d2d998 e0679f01 00000000 e8679f01 00000000 .g.......g...... │ │ │ │ 0x01d2d9a8 f8679f01 00000000 08689f01 00000000 .g.......h...... │ │ │ │ 0x01d2d9b8 60879b01 00000000 10689f01 00000000 `........h...... │ │ │ │ 0x01d2d9c8 28689f01 00000000 38689f01 00000000 (h......8h...... │ │ │ │ - 0x01d2d9d8 48689f01 00000000 68689f01 00000000 Hh......hh...... │ │ │ │ + 0x01d2d9d8 48689f01 00000000 58689f01 00000000 Hh......Xh...... │ │ │ │ 0x01d2d9e8 70689f01 00000000 80689f01 00000000 ph.......h...... │ │ │ │ 0x01d2d9f8 c0ce9b01 00000000 90689f01 00000000 .........h...... │ │ │ │ 0x01d2da08 a0689f01 00000000 b8689f01 00000000 .h.......h...... │ │ │ │ 0x01d2da18 10639c01 00000000 38639c01 00000000 .c......8c...... │ │ │ │ 0x01d2da28 c8689f01 00000000 e0689f01 00000000 .h.......h...... │ │ │ │ 0x01d2da38 f0689f01 00000000 00699f01 00000000 .h.......i...... │ │ │ │ 0x01d2da48 a06b9c01 00000000 18699f01 00000000 .k.......i...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01d42530 00000000 00000000 02020000 00000000 ................ │ │ │ │ 0x01d42540 88639f01 00000000 01000000 00000000 .c.............. │ │ │ │ 0x01d42550 00000000 00000000 03020000 00000000 ................ │ │ │ │ 0x01d42560 e87f9b01 00000000 00000000 00000000 ................ │ │ │ │ 0x01d42570 00000000 00000000 04020000 00000000 ................ │ │ │ │ 0x01d42580 20c4a001 00000000 00000000 00000000 ............... │ │ │ │ 0x01d42590 00000000 00000000 05020000 00000000 ................ │ │ │ │ - 0x01d425a0 68689f01 00000000 01000000 00000000 hh.............. │ │ │ │ + 0x01d425a0 58689f01 00000000 01000000 00000000 Xh.............. │ │ │ │ 0x01d425b0 00000000 00000000 06020000 00000000 ................ │ │ │ │ - 0x01d425c0 58689f01 00000000 01000000 00000000 Xh.............. │ │ │ │ + 0x01d425c0 60689f01 00000000 01000000 00000000 `h.............. │ │ │ │ 0x01d425d0 00000000 00000000 07020000 00000000 ................ │ │ │ │ 0x01d425e0 70689f01 00000000 00000000 00000000 ph.............. │ │ │ │ 0x01d425f0 00000000 00000000 08020000 00000000 ................ │ │ │ │ 0x01d42600 38c4a001 00000000 00000000 00000000 8............... │ │ │ │ 0x01d42610 00000000 00000000 09020000 00000000 ................ │ │ │ │ 0x01d42620 e0689f01 00000000 00000000 00000000 .h.............. │ │ │ │ 0x01d42630 00000000 00000000 0a020000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x01d432f0 00000000 00000000 70020000 00000000 ........p....... │ │ │ │ 0x01d43300 e8c7a001 00000000 00000000 00000000 ................ │ │ │ │ 0x01d43310 00000000 00000000 71020000 00000000 ........q....... │ │ │ │ 0x01d43320 105e9c01 00000000 01000000 00000000 .^.............. │ │ │ │ 0x01d43330 00000000 00000000 72020000 00000000 ........r....... │ │ │ │ 0x01d43340 c0639f01 00000000 01000000 00000000 .c.............. │ │ │ │ 0x01d43350 00000000 00000000 73020000 00000000 ........s....... │ │ │ │ - 0x01d43360 80669f01 00000000 01000000 00000000 .f.............. │ │ │ │ + 0x01d43360 68669f01 00000000 01000000 00000000 hf.............. │ │ │ │ 0x01d43370 00000000 00000000 74020000 00000000 ........t....... │ │ │ │ - 0x01d43380 68669f01 00000000 01000000 00000000 hf.............. │ │ │ │ + 0x01d43380 78669f01 00000000 01000000 00000000 xf.............. │ │ │ │ 0x01d43390 00000000 00000000 75020000 00000000 ........u....... │ │ │ │ 0x01d433a0 88679f01 00000000 01000000 00000000 .g.............. │ │ │ │ 0x01d433b0 00000000 00000000 76020000 00000000 ........v....... │ │ │ │ 0x01d433c0 a0679f01 00000000 01000000 00000000 .g.............. │ │ │ │ 0x01d433d0 00000000 00000000 77020000 00000000 ........w....... │ │ │ │ 0x01d433e0 28689f01 00000000 01000000 00000000 (h.............. │ │ │ │ 0x01d433f0 00000000 00000000 78020000 00000000 ........x....... │ │ │ │ @@ -1540,17 +1540,17 @@ │ │ │ │ 0x01d46010 00000000 00000000 d9030000 00000000 ................ │ │ │ │ 0x01d46020 00d5a001 00000000 00000000 00000000 ................ │ │ │ │ 0x01d46030 00000000 00000000 da030000 00000000 ................ │ │ │ │ 0x01d46040 f83b9b01 00000000 00000000 00000000 .;.............. │ │ │ │ 0x01d46050 00000000 00000000 db030000 00000000 ................ │ │ │ │ 0x01d46060 18d5a001 00000000 00000000 00000000 ................ │ │ │ │ 0x01d46070 00000000 00000000 dc030000 00000000 ................ │ │ │ │ - 0x01d46080 78649f01 00000000 00000000 00000000 xd.............. │ │ │ │ + 0x01d46080 60649f01 00000000 00000000 00000000 `d.............. │ │ │ │ 0x01d46090 00000000 00000000 dd030000 00000000 ................ │ │ │ │ - 0x01d460a0 60649f01 00000000 00000000 00000000 `d.............. │ │ │ │ + 0x01d460a0 78649f01 00000000 00000000 00000000 xd.............. │ │ │ │ 0x01d460b0 00000000 00000000 de030000 00000000 ................ │ │ │ │ 0x01d460c0 30d5a001 00000000 00000000 00000000 0............... │ │ │ │ 0x01d460d0 00000000 00000000 df030000 00000000 ................ │ │ │ │ 0x01d460e0 48d5a001 00000000 00000000 00000000 H............... │ │ │ │ 0x01d460f0 00000000 00000000 e0030000 00000000 ................ │ │ │ │ 0x01d46100 40649c01 00000000 00000000 00000000 @d.............. │ │ │ │ 0x01d46110 00000000 00000000 e1030000 00000000 ................ │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01d48460 08c7a101 00000000 00000000 00000000 ................ │ │ │ │ 0x01d48470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01d48480 500ea201 00000000 10c7a101 00000000 P............... │ │ │ │ 0x01d48490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01d484a0 00000000 00000000 380ea201 00000000 ........8....... │ │ │ │ 0x01d484b0 18c7a101 00000000 b6030000 f4010000 ................ │ │ │ │ 0x01d484c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01d484d0 200ea201 00000000 68689f01 00000000 .......hh...... │ │ │ │ + 0x01d484d0 200ea201 00000000 58689f01 00000000 .......Xh...... │ │ │ │ 0x01d484e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x01d484f0 00000000 00000000 100ea201 00000000 ................ │ │ │ │ 0x01d48500 28c7a101 00000000 03000000 00000000 (............... │ │ │ │ 0x01d48510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01d48520 c00da201 00000000 30c7a101 00000000 ........0....... │ │ │ │ 0x01d48530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01d48540 00000000 00000000 a00da201 00000000 ................ │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x01d4a010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01d4a020 00000000 00000000 500ea201 00000000 ........P....... │ │ │ │ 0x01d4a030 10c7a101 00000000 01000000 00000000 ................ │ │ │ │ 0x01d4a040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01d4a050 380ea201 00000000 18c7a101 00000000 8............... │ │ │ │ 0x01d4a060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x01d4a070 00000000 00000000 200ea201 00000000 ........ ....... │ │ │ │ - 0x01d4a080 68689f01 00000000 00000000 00000000 hh.............. │ │ │ │ + 0x01d4a080 58689f01 00000000 00000000 00000000 Xh.............. │ │ │ │ 0x01d4a090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x01d4a0a0 100ea201 00000000 28c7a101 00000000 ........(....... │ │ │ │ 0x01d4a0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x01d4a0c0 00000000 00000000 c00da201 00000000 ................ │ │ │ │ 0x01d4a0d0 30c7a101 00000000 01000000 00000000 0............... │ │ │ │ 0x01d4a0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01d4a0f0 a00da201 00000000 40c7a101 00000000 ........@....... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 30343961 32666661 66313562 63386263 049a2ffaf15bc8bc │ │ │ │ - 0x00000010 39646633 37623532 62343263 38386131 9df37b52b42c88a1 │ │ │ │ - 0x00000020 32653861 38382e64 65627567 00000000 2e8a88.debug.... │ │ │ │ - 0x00000030 8c1aea4c ...L │ │ │ │ + 0x00000000 30656638 32633462 64373962 65323533 0ef82c4bd79be253 │ │ │ │ + 0x00000010 66303534 64313930 61646465 31613835 f054d190adde1a85 │ │ │ │ + 0x00000020 32363935 32392e64 65627567 00000000 269529.debug.... │ │ │ │ + 0x00000030 8810ae41 ...A