--- /srv/rebuilderd/tmp/rebuilderdh5SAE2/inputs/libcvc5-1_1.1.2-2+b3_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdh5SAE2/out/libcvc5-1_1.1.2-2+b3_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-01-09 10:41:45.000000 debian-binary │ -rw-r--r-- 0 0 0 1308 2025-01-09 10:41:45.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6280932 2025-01-09 10:41:45.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6280592 2025-01-09 10:41:45.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 {} │ │ │ │ @@ -3789,15 +3789,15 @@ │ │ │ │ 0000000001a0a818 0000000000000016 R_PPC64_RELATIVE 16df258 │ │ │ │ 0000000001a0a820 0000000000000016 R_PPC64_RELATIVE 16df268 │ │ │ │ 0000000001a0a828 0000000000000016 R_PPC64_RELATIVE 16df280 │ │ │ │ 0000000001a0a830 0000000000000016 R_PPC64_RELATIVE 16df290 │ │ │ │ 0000000001a0a838 0000000000000016 R_PPC64_RELATIVE 16b6fb8 │ │ │ │ 0000000001a0a840 0000000000000016 R_PPC64_RELATIVE 16df298 │ │ │ │ 0000000001a0a848 0000000000000016 R_PPC64_RELATIVE 16df2b0 │ │ │ │ -0000000001a0a850 0000000000000016 R_PPC64_RELATIVE 16df3b8 │ │ │ │ +0000000001a0a850 0000000000000016 R_PPC64_RELATIVE 16df3b0 │ │ │ │ 0000000001a0a858 0000000000000016 R_PPC64_RELATIVE 16df2c0 │ │ │ │ 0000000001a0a860 0000000000000016 R_PPC64_RELATIVE 16df2d0 │ │ │ │ 0000000001a0a868 0000000000000016 R_PPC64_RELATIVE 16df2e0 │ │ │ │ 0000000001a0a870 0000000000000016 R_PPC64_RELATIVE 16df2f0 │ │ │ │ 0000000001a0a878 0000000000000016 R_PPC64_RELATIVE 16df300 │ │ │ │ 0000000001a0a880 0000000000000016 R_PPC64_RELATIVE 16df310 │ │ │ │ 0000000001a0a888 0000000000000016 R_PPC64_RELATIVE 16df320 │ │ │ │ @@ -3805,15 +3805,15 @@ │ │ │ │ 0000000001a0a898 0000000000000016 R_PPC64_RELATIVE 16df330 │ │ │ │ 0000000001a0a8a0 0000000000000016 R_PPC64_RELATIVE 16df348 │ │ │ │ 0000000001a0a8a8 0000000000000016 R_PPC64_RELATIVE 16df360 │ │ │ │ 0000000001a0a8b0 0000000000000016 R_PPC64_RELATIVE 16df370 │ │ │ │ 0000000001a0a8b8 0000000000000016 R_PPC64_RELATIVE 16df380 │ │ │ │ 0000000001a0a8c0 0000000000000016 R_PPC64_RELATIVE 16df390 │ │ │ │ 0000000001a0a8c8 0000000000000016 R_PPC64_RELATIVE 16df3a0 │ │ │ │ -0000000001a0a8d0 0000000000000016 R_PPC64_RELATIVE 16df3b0 │ │ │ │ +0000000001a0a8d0 0000000000000016 R_PPC64_RELATIVE 16df3c0 │ │ │ │ 0000000001a0a8d8 0000000000000016 R_PPC64_RELATIVE 16a6e48 │ │ │ │ 0000000001a0a8e0 0000000000000016 R_PPC64_RELATIVE 16df3c8 │ │ │ │ 0000000001a0a8e8 0000000000000016 R_PPC64_RELATIVE 16df3d8 │ │ │ │ 0000000001a0a8f0 0000000000000016 R_PPC64_RELATIVE 16df3f8 │ │ │ │ 0000000001a0a8f8 0000000000000016 R_PPC64_RELATIVE 16df410 │ │ │ │ 0000000001a0a900 0000000000000016 R_PPC64_RELATIVE 16df430 │ │ │ │ 0000000001a0a908 0000000000000016 R_PPC64_RELATIVE 16df448 │ │ │ │ @@ -3865,23 +3865,23 @@ │ │ │ │ 0000000001a0aa78 0000000000000016 R_PPC64_RELATIVE 16d4260 │ │ │ │ 0000000001a0aa80 0000000000000016 R_PPC64_RELATIVE 16d2bf8 │ │ │ │ 0000000001a0aa88 0000000000000016 R_PPC64_RELATIVE 16df768 │ │ │ │ 0000000001a0aa90 0000000000000016 R_PPC64_RELATIVE 16df770 │ │ │ │ 0000000001a0aa98 0000000000000016 R_PPC64_RELATIVE 16b2e30 │ │ │ │ 0000000001a0aaa0 0000000000000016 R_PPC64_RELATIVE 16df780 │ │ │ │ 0000000001a0aaa8 0000000000000016 R_PPC64_RELATIVE 16df790 │ │ │ │ -0000000001a0aab0 0000000000000016 R_PPC64_RELATIVE 16df7f0 │ │ │ │ +0000000001a0aab0 0000000000000016 R_PPC64_RELATIVE 16df808 │ │ │ │ 0000000001a0aab8 0000000000000016 R_PPC64_RELATIVE 16df7b0 │ │ │ │ 0000000001a0aac0 0000000000000016 R_PPC64_RELATIVE 16df7c0 │ │ │ │ 0000000001a0aac8 0000000000000016 R_PPC64_RELATIVE 16df7d8 │ │ │ │ -0000000001a0aad0 0000000000000016 R_PPC64_RELATIVE 16df800 │ │ │ │ +0000000001a0aad0 0000000000000016 R_PPC64_RELATIVE 16df7f0 │ │ │ │ 0000000001a0aad8 0000000000000016 R_PPC64_RELATIVE 16df818 │ │ │ │ 0000000001a0aae0 0000000000000016 R_PPC64_RELATIVE 16df830 │ │ │ │ 0000000001a0aae8 0000000000000016 R_PPC64_RELATIVE 16df848 │ │ │ │ -0000000001a0aaf0 0000000000000016 R_PPC64_RELATIVE 16e09f0 │ │ │ │ +0000000001a0aaf0 0000000000000016 R_PPC64_RELATIVE 16e09d8 │ │ │ │ 0000000001a0aaf8 0000000000000016 R_PPC64_RELATIVE 16df858 │ │ │ │ 0000000001a0ab00 0000000000000016 R_PPC64_RELATIVE 16df868 │ │ │ │ 0000000001a0ab08 0000000000000016 R_PPC64_RELATIVE 16df878 │ │ │ │ 0000000001a0ab10 0000000000000016 R_PPC64_RELATIVE 16df888 │ │ │ │ 0000000001a0ab18 0000000000000016 R_PPC64_RELATIVE 16df898 │ │ │ │ 0000000001a0ab20 0000000000000016 R_PPC64_RELATIVE 16df8b0 │ │ │ │ 0000000001a0ab28 0000000000000016 R_PPC64_RELATIVE 16df8c8 │ │ │ │ @@ -3923,16 +3923,16 @@ │ │ │ │ 0000000001a0ac48 0000000000000016 R_PPC64_RELATIVE 16dfbb0 │ │ │ │ 0000000001a0ac50 0000000000000016 R_PPC64_RELATIVE 16dfbc0 │ │ │ │ 0000000001a0ac58 0000000000000016 R_PPC64_RELATIVE 16dfbd8 │ │ │ │ 0000000001a0ac60 0000000000000016 R_PPC64_RELATIVE 16dfbe8 │ │ │ │ 0000000001a0ac68 0000000000000016 R_PPC64_RELATIVE 16dfbf8 │ │ │ │ 0000000001a0ac70 0000000000000016 R_PPC64_RELATIVE 16dfc08 │ │ │ │ 0000000001a0ac78 0000000000000016 R_PPC64_RELATIVE 16adb48 │ │ │ │ -0000000001a0ac80 0000000000000016 R_PPC64_RELATIVE 16dfc18 │ │ │ │ -0000000001a0ac88 0000000000000016 R_PPC64_RELATIVE 16dfc28 │ │ │ │ +0000000001a0ac80 0000000000000016 R_PPC64_RELATIVE 16dfc30 │ │ │ │ +0000000001a0ac88 0000000000000016 R_PPC64_RELATIVE 16dfc18 │ │ │ │ 0000000001a0ac90 0000000000000016 R_PPC64_RELATIVE 16dfc40 │ │ │ │ 0000000001a0ac98 0000000000000016 R_PPC64_RELATIVE 16dfc58 │ │ │ │ 0000000001a0aca0 0000000000000016 R_PPC64_RELATIVE 16dfc60 │ │ │ │ 0000000001a0aca8 0000000000000016 R_PPC64_RELATIVE 16dfc70 │ │ │ │ 0000000001a0acb0 0000000000000016 R_PPC64_RELATIVE 16a09f0 │ │ │ │ 0000000001a0acb8 0000000000000016 R_PPC64_RELATIVE 16dfc90 │ │ │ │ 0000000001a0acc0 0000000000000016 R_PPC64_RELATIVE 16dfca8 │ │ │ │ @@ -4103,15 +4103,15 @@ │ │ │ │ 0000000001a0b1e8 0000000000000016 R_PPC64_RELATIVE 16e0988 │ │ │ │ 0000000001a0b1f0 0000000000000016 R_PPC64_RELATIVE 16e0998 │ │ │ │ 0000000001a0b1f8 0000000000000016 R_PPC64_RELATIVE 16e09a8 │ │ │ │ 0000000001a0b200 0000000000000016 R_PPC64_RELATIVE 16e09c0 │ │ │ │ 0000000001a0b208 0000000000000016 R_PPC64_RELATIVE 16a0998 │ │ │ │ 0000000001a0b210 0000000000000016 R_PPC64_RELATIVE 16a0898 │ │ │ │ 0000000001a0b218 0000000000000016 R_PPC64_RELATIVE 16e09c8 │ │ │ │ -0000000001a0b220 0000000000000016 R_PPC64_RELATIVE 16e09d8 │ │ │ │ +0000000001a0b220 0000000000000016 R_PPC64_RELATIVE 16e09e8 │ │ │ │ 0000000001a0b228 0000000000000016 R_PPC64_RELATIVE 16d3318 │ │ │ │ 0000000001a0b230 0000000000000016 R_PPC64_RELATIVE 16d3320 │ │ │ │ 0000000001a0b238 0000000000000016 R_PPC64_RELATIVE 16a40c0 │ │ │ │ 0000000001a0b240 0000000000000016 R_PPC64_RELATIVE 16d3310 │ │ │ │ 0000000001a0b248 0000000000000016 R_PPC64_RELATIVE 16e0180 │ │ │ │ 0000000001a0b250 0000000000000016 R_PPC64_RELATIVE 16e0750 │ │ │ │ 0000000001a0b258 0000000000000016 R_PPC64_RELATIVE 16d3638 │ │ │ │ @@ -8045,16 +8045,16 @@ │ │ │ │ 0000000001a212a0 0000000000000016 R_PPC64_RELATIVE 16b0dc8 │ │ │ │ 0000000001a212c0 0000000000000016 R_PPC64_RELATIVE 16f4928 │ │ │ │ 0000000001a212e0 0000000000000016 R_PPC64_RELATIVE 16df048 │ │ │ │ 0000000001a21300 0000000000000016 R_PPC64_RELATIVE 16a09c0 │ │ │ │ 0000000001a21320 0000000000000016 R_PPC64_RELATIVE 16b6fb8 │ │ │ │ 0000000001a21340 0000000000000016 R_PPC64_RELATIVE 16df2b0 │ │ │ │ 0000000001a21360 0000000000000016 R_PPC64_RELATIVE 16f4940 │ │ │ │ -0000000001a21380 0000000000000016 R_PPC64_RELATIVE 16df3b0 │ │ │ │ -0000000001a213a0 0000000000000016 R_PPC64_RELATIVE 16df3b8 │ │ │ │ +0000000001a21380 0000000000000016 R_PPC64_RELATIVE 16df3c0 │ │ │ │ +0000000001a213a0 0000000000000016 R_PPC64_RELATIVE 16df3b0 │ │ │ │ 0000000001a213c0 0000000000000016 R_PPC64_RELATIVE 16d2bf8 │ │ │ │ 0000000001a213e0 0000000000000016 R_PPC64_RELATIVE 16a09f0 │ │ │ │ 0000000001a21400 0000000000000016 R_PPC64_RELATIVE 16df768 │ │ │ │ 0000000001a21420 0000000000000016 R_PPC64_RELATIVE 16df780 │ │ │ │ 0000000001a21440 0000000000000016 R_PPC64_RELATIVE 16f4950 │ │ │ │ 0000000001a21460 0000000000000016 R_PPC64_RELATIVE 16df908 │ │ │ │ 0000000001a21480 0000000000000016 R_PPC64_RELATIVE 16f4960 │ │ │ │ @@ -8191,23 +8191,23 @@ │ │ │ │ 0000000001a224e0 0000000000000016 R_PPC64_RELATIVE 16dec70 │ │ │ │ 0000000001a22500 0000000000000016 R_PPC64_RELATIVE 16dec88 │ │ │ │ 0000000001a22520 0000000000000016 R_PPC64_RELATIVE 16decc0 │ │ │ │ 0000000001a22540 0000000000000016 R_PPC64_RELATIVE 16df7b0 │ │ │ │ 0000000001a22560 0000000000000016 R_PPC64_RELATIVE 16df7a8 │ │ │ │ 0000000001a22580 0000000000000016 R_PPC64_RELATIVE 16df7c0 │ │ │ │ 0000000001a225a0 0000000000000016 R_PPC64_RELATIVE 16df7d8 │ │ │ │ -0000000001a225c0 0000000000000016 R_PPC64_RELATIVE 16df800 │ │ │ │ -0000000001a225e0 0000000000000016 R_PPC64_RELATIVE 16df7f0 │ │ │ │ +0000000001a225c0 0000000000000016 R_PPC64_RELATIVE 16df7f0 │ │ │ │ +0000000001a225e0 0000000000000016 R_PPC64_RELATIVE 16df808 │ │ │ │ 0000000001a22600 0000000000000016 R_PPC64_RELATIVE 16df818 │ │ │ │ 0000000001a22620 0000000000000016 R_PPC64_RELATIVE 16df830 │ │ │ │ 0000000001a22640 0000000000000016 R_PPC64_RELATIVE 16df848 │ │ │ │ 0000000001a22660 0000000000000016 R_PPC64_RELATIVE 16dfc40 │ │ │ │ 0000000001a22680 0000000000000016 R_PPC64_RELATIVE 16f4da0 │ │ │ │ -0000000001a226a0 0000000000000016 R_PPC64_RELATIVE 16e09d8 │ │ │ │ -0000000001a226c0 0000000000000016 R_PPC64_RELATIVE 16e09f0 │ │ │ │ +0000000001a226a0 0000000000000016 R_PPC64_RELATIVE 16e09e8 │ │ │ │ +0000000001a226c0 0000000000000016 R_PPC64_RELATIVE 16e09d8 │ │ │ │ 0000000001a226e0 0000000000000016 R_PPC64_RELATIVE 16df0e0 │ │ │ │ 0000000001a22700 0000000000000016 R_PPC64_RELATIVE 16f4db8 │ │ │ │ 0000000001a22720 0000000000000016 R_PPC64_RELATIVE 16df1a0 │ │ │ │ 0000000001a22740 0000000000000016 R_PPC64_RELATIVE 16df1e8 │ │ │ │ 0000000001a22760 0000000000000016 R_PPC64_RELATIVE 16f4dd0 │ │ │ │ 0000000001a22780 0000000000000016 R_PPC64_RELATIVE 16df200 │ │ │ │ 0000000001a227a0 0000000000000016 R_PPC64_RELATIVE 16f4de8 │ │ │ │ @@ -8258,16 +8258,16 @@ │ │ │ │ 0000000001a22d40 0000000000000016 R_PPC64_RELATIVE 16f4fb8 │ │ │ │ 0000000001a22d60 0000000000000016 R_PPC64_RELATIVE 16dfb60 │ │ │ │ 0000000001a22d80 0000000000000016 R_PPC64_RELATIVE 16dfb80 │ │ │ │ 0000000001a22da0 0000000000000016 R_PPC64_RELATIVE 16df4f0 │ │ │ │ 0000000001a22dc0 0000000000000016 R_PPC64_RELATIVE 16f4fd0 │ │ │ │ 0000000001a22de0 0000000000000016 R_PPC64_RELATIVE 16b0db0 │ │ │ │ 0000000001a22e00 0000000000000016 R_PPC64_RELATIVE 16df918 │ │ │ │ -0000000001a22e20 0000000000000016 R_PPC64_RELATIVE 16dfc18 │ │ │ │ -0000000001a22e40 0000000000000016 R_PPC64_RELATIVE 16dfc28 │ │ │ │ +0000000001a22e20 0000000000000016 R_PPC64_RELATIVE 16dfc30 │ │ │ │ +0000000001a22e40 0000000000000016 R_PPC64_RELATIVE 16dfc18 │ │ │ │ 0000000001a22e60 0000000000000016 R_PPC64_RELATIVE 16dfd50 │ │ │ │ 0000000001a22e80 0000000000000016 R_PPC64_RELATIVE 16dfd68 │ │ │ │ 0000000001a22ea0 0000000000000016 R_PPC64_RELATIVE 16dfde8 │ │ │ │ 0000000001a22ec0 0000000000000016 R_PPC64_RELATIVE 16dfdf8 │ │ │ │ 0000000001a22ee0 0000000000000016 R_PPC64_RELATIVE 16dea18 │ │ │ │ 0000000001a22f00 0000000000000016 R_PPC64_RELATIVE 16f4fe8 │ │ │ │ 0000000001a22f20 0000000000000016 R_PPC64_RELATIVE 16dea20 │ │ │ ├── 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: dd7c69c25bdbf2524a36cfed65bb2efde9192cdd │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: fb767f9e4914d07aeb321abe0468a0604cbbe10d │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -16307,16 +16307,16 @@ │ │ │ │ opt-res-reconstruction-size │ │ │ │ output-lang │ │ │ │ parse-only │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition │ │ │ │ partition-strategy │ │ │ │ +partition │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ pb-rewrites │ │ │ │ pivot-threshold │ │ │ │ pool-inst │ │ │ │ portfolio-jobs │ │ │ │ @@ -16358,16 +16358,16 @@ │ │ │ │ prop-row-length │ │ │ │ purify-triggers │ │ │ │ quant-alpha-equiv │ │ │ │ quant-dsplit │ │ │ │ quant-fun-wd │ │ │ │ quant-ind │ │ │ │ quant-rep-mode │ │ │ │ -random-freq │ │ │ │ random-frequency │ │ │ │ +random-freq │ │ │ │ random-partitioning │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevance-filter │ │ │ │ relevant-triggers │ │ │ │ repeat-simp │ │ │ │ @@ -16513,16 +16513,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -write-partitions-to │ │ │ │ partitions-out │ │ │ │ +write-partitions-to │ │ │ │ Argument ' │ │ │ │ ' for bool option │ │ │ │ is not a bool constant │ │ │ │ Unrecognized option key or setting: │ │ │ │ Ungettable option key or setting: │ │ │ │ is not a legal setting, value should be at least │ │ │ │ is not a legal setting, value should be at most │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -73818,15 +73818,15 @@ │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-12624 │ │ │ │ addi r3,r1,7224 │ │ │ │ stw r9,7216(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,177 │ │ │ │ addis r4,r2,-52 │ │ │ │ - addi r4,r4,-12616 │ │ │ │ + addi r4,r4,-12608 │ │ │ │ addi r3,r1,7264 │ │ │ │ stw r9,7256(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,177 │ │ │ │ addis r4,r2,-56 │ │ │ │ addi r4,r4,18760 │ │ │ │ addi r3,r1,7304 │ │ │ │ @@ -74141,22 +74141,22 @@ │ │ │ │ li r9,229 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,7520 │ │ │ │ addi r3,r1,9384 │ │ │ │ stw r9,9376(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,230 │ │ │ │ - addis r4,r2,-53 │ │ │ │ - addi r4,r4,1784 │ │ │ │ + addis r4,r2,-56 │ │ │ │ + addi r4,r4,-6928 │ │ │ │ addi r3,r1,9424 │ │ │ │ stw r9,9416(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,231 │ │ │ │ - addis r4,r2,-56 │ │ │ │ - addi r4,r4,-6928 │ │ │ │ + addis r4,r2,-53 │ │ │ │ + addi r4,r4,1784 │ │ │ │ addi r3,r1,9464 │ │ │ │ stw r9,9456(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,231 │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-11672 │ │ │ │ addi r3,r1,9504 │ │ │ │ @@ -74214,15 +74214,15 @@ │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-11536 │ │ │ │ addi r3,r1,9864 │ │ │ │ stw r9,9856(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,239 │ │ │ │ addis r4,r2,-52 │ │ │ │ - addi r4,r4,-11520 │ │ │ │ + addi r4,r4,-11512 │ │ │ │ addi r3,r1,9904 │ │ │ │ stw r9,9896(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,239 │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-11496 │ │ │ │ addi r3,r1,9944 │ │ │ │ @@ -74544,15 +74544,15 @@ │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-10472 │ │ │ │ addi r3,r1,12064 │ │ │ │ stw r9,12056(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,292 │ │ │ │ addis r4,r2,-52 │ │ │ │ - addi r4,r4,-10456 │ │ │ │ + addi r4,r4,-10448 │ │ │ │ addi r3,r1,12104 │ │ │ │ stw r9,12096(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,292 │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-10432 │ │ │ │ addi r3,r1,12144 │ │ │ │ @@ -74651,22 +74651,22 @@ │ │ │ │ li r9,308 │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-10072 │ │ │ │ addi r3,r1,12784 │ │ │ │ stw r9,12776(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,309 │ │ │ │ - addis r4,r2,-56 │ │ │ │ - addi r4,r4,-6904 │ │ │ │ + addis r4,r2,-52 │ │ │ │ + addi r4,r4,-10064 │ │ │ │ addi r3,r1,12824 │ │ │ │ stw r9,12816(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,310 │ │ │ │ - addis r4,r2,-52 │ │ │ │ - addi r4,r4,-10064 │ │ │ │ + addis r4,r2,-56 │ │ │ │ + addi r4,r4,-6904 │ │ │ │ addi r3,r1,12864 │ │ │ │ stw r9,12856(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,310 │ │ │ │ addis r4,r2,-52 │ │ │ │ addi r4,r4,-10048 │ │ │ │ addi r3,r1,12904 │ │ │ │ @@ -75620,15 +75620,15 @@ │ │ │ │ addi r3,r1,19224 │ │ │ │ stw r9,19216(r1) │ │ │ │ bl 150eba8 │ │ │ │ li r9,468 │ │ │ │ addi r31,r1,19264 │ │ │ │ addis r4,r2,-52 │ │ │ │ mr r3,r31 │ │ │ │ - addi r4,r4,-6928 │ │ │ │ + addi r4,r4,-6936 │ │ │ │ stw r9,19256(r1) │ │ │ │ bl 150eba8 │ │ │ │ addis r9,r2,-50 │ │ │ │ li r10,1 │ │ │ │ addis r30,r2,1 │ │ │ │ li r8,468 │ │ │ │ lfs f0,15120(r9) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ bl 1e2418 > const&) const@@Base+0x5da8> │ │ │ │ nop │ │ │ │ ld r3,248(r1) │ │ │ │ bl 1e2418 > const&) const@@Base+0x5da8> │ │ │ │ nop │ │ │ │ ld r3,96(r1) │ │ │ │ li r9,0 │ │ │ │ -[ Too much input for diff (SHA256: 429687171a668613b9d781dd12c55eeffc3385c2bb412c2ec416e6f5ccd99c4a) ] │ │ │ │ +[ Too much input for diff (SHA256: 49879f5a843ed278ec00a07c0671e5a0ab60bdd5432c60339eb3ab855e59cf34) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -17084,16 +17084,16 @@ │ │ │ │ 0x016df340 65000000 00000000 6974652d 6474742d e.......ite-dtt- │ │ │ │ 0x016df350 73706c69 742d7175 616e7400 00000000 split-quant..... │ │ │ │ 0x016df360 6974652d 6c696674 2d717561 6e740000 ite-lift-quant.. │ │ │ │ 0x016df370 6974652d 73696d70 00000000 00000000 ite-simp........ │ │ │ │ 0x016df380 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x016df390 6a682d73 6b6f6c65 6d000000 00000000 jh-skolem....... │ │ │ │ 0x016df3a0 6a682d73 6b6f6c65 6d2d726c 76000000 jh-skolem-rlv... │ │ │ │ - 0x016df3b0 6c616e67 00000000 696e7075 742d6c61 lang....input-la │ │ │ │ - 0x016df3c0 6e677561 67650000 6c656d6d 612d696e nguage..lemma-in │ │ │ │ + 0x016df3b0 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ + 0x016df3c0 6c616e67 00000000 6c656d6d 612d696e lang....lemma-in │ │ │ │ 0x016df3d0 70726f63 65737300 6c656d6d 612d696e process.lemma-in │ │ │ │ 0x016df3e0 70726f63 6573732d 696e6665 722d6571 process-infer-eq │ │ │ │ 0x016df3f0 2d6c6974 00000000 6c656d6d 612d696e -lit....lemma-in │ │ │ │ 0x016df400 70726f63 6573732d 73756273 00000000 process-subs.... │ │ │ │ 0x016df410 6c656d6d 61732d6f 6e2d7265 706c6179 lemmas-on-replay │ │ │ │ 0x016df420 2d666169 6c757265 00000000 00000000 -failure........ │ │ │ │ 0x016df430 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -17152,17 +17152,17 @@ │ │ │ │ 0x016df780 70617273 652d6f6e 6c790000 00000000 parse-only...... │ │ │ │ 0x016df790 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ 0x016df7a0 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ 0x016df7b0 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x016df7c0 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x016df7d0 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x016df7e0 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ - 0x016df7f0 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ - 0x016df800 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ - 0x016df810 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x016df7f0 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ + 0x016df800 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x016df810 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ 0x016df820 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ 0x016df830 70617274 6974696f 6e2d746c 696d6974 partition-tlimit │ │ │ │ 0x016df840 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x016df850 6e2d7768 656e0000 70622d72 65777269 n-when..pb-rewri │ │ │ │ 0x016df860 74657300 00000000 7069766f 742d7468 tes.....pivot-th │ │ │ │ 0x016df870 72657368 6f6c6400 706f6f6c 2d696e73 reshold.pool-ins │ │ │ │ 0x016df880 74000000 00000000 706f7274 666f6c69 t.......portfoli │ │ │ │ @@ -17219,16 +17219,16 @@ │ │ │ │ 0x016dfbb0 70757269 66792d74 72696767 65727300 purify-triggers. │ │ │ │ 0x016dfbc0 7175616e 742d616c 7068612d 65717569 quant-alpha-equi │ │ │ │ 0x016dfbd0 76000000 00000000 7175616e 742d6473 v.......quant-ds │ │ │ │ 0x016dfbe0 706c6974 00000000 7175616e 742d6675 plit....quant-fu │ │ │ │ 0x016dfbf0 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x016dfc00 64000000 00000000 7175616e 742d7265 d.......quant-re │ │ │ │ 0x016dfc10 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f │ │ │ │ - 0x016dfc20 72657100 00000000 72616e64 6f6d2d66 req.....random-f │ │ │ │ - 0x016dfc30 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ + 0x016dfc20 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ + 0x016dfc30 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ 0x016dfc40 72616e64 6f6d2d70 61727469 74696f6e random-partition │ │ │ │ 0x016dfc50 696e6700 00000000 72652d65 6c696d00 ing.....re-elim. │ │ │ │ 0x016dfc60 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x016dfc70 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x016dfc80 6f64792d 7465726d 73000000 00000000 ody-terms....... │ │ │ │ 0x016dfc90 72656c61 74696f6e 616c2d74 72696767 relational-trigg │ │ │ │ 0x016dfca0 65727300 00000000 72656c65 76616e63 ers.....relevanc │ │ │ │ @@ -17438,17 +17438,17 @@ │ │ │ │ 0x016e0960 7573652d 706f7274 666f6c69 6f000000 use-portfolio... │ │ │ │ 0x016e0970 7573652d 736f6900 75736572 2d706174 use-soi.user-pat │ │ │ │ 0x016e0980 00000000 00000000 75736572 2d706f6f ........user-poo │ │ │ │ 0x016e0990 6c000000 00000000 7661722d 656c696d l.......var-elim │ │ │ │ 0x016e09a0 2d717561 6e740000 7661722d 696e6571 -quant..var-ineq │ │ │ │ 0x016e09b0 2d656c69 6d2d7175 616e7400 00000000 -elim-quant..... │ │ │ │ 0x016e09c0 76657262 6f736500 77662d63 6865636b verbose.wf-check │ │ │ │ - 0x016e09d0 696e6700 00000000 77726974 652d7061 ing.....write-pa │ │ │ │ - 0x016e09e0 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ - 0x016e09f0 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ + 0x016e09d0 696e6700 00000000 70617274 6974696f ing.....partitio │ │ │ │ + 0x016e09e0 6e732d6f 75740000 77726974 652d7061 ns-out..write-pa │ │ │ │ + 0x016e09f0 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ 0x016e0a00 41726775 6d656e74 20270000 00000000 Argument '...... │ │ │ │ 0x016e0a10 2720666f 7220626f 6f6c206f 7074696f ' for bool optio │ │ │ │ 0x016e0a20 6e200000 00000000 20697320 6e6f7420 n ...... is not │ │ │ │ 0x016e0a30 6120626f 6f6c2063 6f6e7374 616e7400 a bool constant. │ │ │ │ 0x016e0a40 556e7265 636f676e 697a6564 206f7074 Unrecognized opt │ │ │ │ 0x016e0a50 696f6e20 6b657920 6f722073 65747469 ion key or setti │ │ │ │ 0x016e0a60 6e673a20 00000000 25660000 00000000 ng: ....%f...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1912,23 +1912,23 @@ │ │ │ │ 0x01a0a7e0 00f26d01 00000000 c0696a01 00000000 ..m......ij..... │ │ │ │ 0x01a0a7f0 a8366d01 00000000 18f26d01 00000000 .6m.......m..... │ │ │ │ 0x01a0a800 28f26d01 00000000 d0696a01 00000000 (.m......ij..... │ │ │ │ 0x01a0a810 40f26d01 00000000 58f26d01 00000000 @.m.....X.m..... │ │ │ │ 0x01a0a820 68f26d01 00000000 80f26d01 00000000 h.m.......m..... │ │ │ │ 0x01a0a830 90f26d01 00000000 b86f6b01 00000000 ..m......ok..... │ │ │ │ 0x01a0a840 98f26d01 00000000 b0f26d01 00000000 ..m.......m..... │ │ │ │ - 0x01a0a850 b8f36d01 00000000 c0f26d01 00000000 ..m.......m..... │ │ │ │ + 0x01a0a850 b0f36d01 00000000 c0f26d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a860 d0f26d01 00000000 e0f26d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a870 f0f26d01 00000000 00f36d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a880 10f36d01 00000000 20f36d01 00000000 ..m..... .m..... │ │ │ │ 0x01a0a890 90f96d01 00000000 30f36d01 00000000 ..m.....0.m..... │ │ │ │ 0x01a0a8a0 48f36d01 00000000 60f36d01 00000000 H.m.....`.m..... │ │ │ │ 0x01a0a8b0 70f36d01 00000000 80f36d01 00000000 p.m.......m..... │ │ │ │ 0x01a0a8c0 90f36d01 00000000 a0f36d01 00000000 ..m.......m..... │ │ │ │ - 0x01a0a8d0 b0f36d01 00000000 486e6a01 00000000 ..m.....Hnj..... │ │ │ │ + 0x01a0a8d0 c0f36d01 00000000 486e6a01 00000000 ..m.....Hnj..... │ │ │ │ 0x01a0a8e0 c8f36d01 00000000 d8f36d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a8f0 f8f36d01 00000000 10f46d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a900 30f46d01 00000000 48f46d01 00000000 0.m.....H.m..... │ │ │ │ 0x01a0a910 58f46d01 00000000 70f46d01 00000000 X.m.....p.m..... │ │ │ │ 0x01a0a920 80f46d01 00000000 98f46d01 00000000 ..m.......m..... │ │ │ │ 0x01a0a930 30176b01 00000000 b0f46d01 00000000 0.k.......m..... │ │ │ │ 0x01a0a940 c0f46d01 00000000 d8f46d01 00000000 ..m.......m..... │ │ │ │ @@ -1950,19 +1950,19 @@ │ │ │ │ 0x01a0aa40 d8f66d01 00000000 e8f66d01 00000000 ..m.......m..... │ │ │ │ 0x01a0aa50 08f76d01 00000000 10f76d01 00000000 ..m.......m..... │ │ │ │ 0x01a0aa60 18f76d01 00000000 30f76d01 00000000 ..m.....0.m..... │ │ │ │ 0x01a0aa70 48f76d01 00000000 60426d01 00000000 H.m.....`Bm..... │ │ │ │ 0x01a0aa80 f82b6d01 00000000 68f76d01 00000000 .+m.....h.m..... │ │ │ │ 0x01a0aa90 70f76d01 00000000 302e6b01 00000000 p.m.....0.k..... │ │ │ │ 0x01a0aaa0 80f76d01 00000000 90f76d01 00000000 ..m.......m..... │ │ │ │ - 0x01a0aab0 f0f76d01 00000000 b0f76d01 00000000 ..m.......m..... │ │ │ │ + 0x01a0aab0 08f86d01 00000000 b0f76d01 00000000 ..m.......m..... │ │ │ │ 0x01a0aac0 c0f76d01 00000000 d8f76d01 00000000 ..m.......m..... │ │ │ │ - 0x01a0aad0 00f86d01 00000000 18f86d01 00000000 ..m.......m..... │ │ │ │ + 0x01a0aad0 f0f76d01 00000000 18f86d01 00000000 ..m.......m..... │ │ │ │ 0x01a0aae0 30f86d01 00000000 48f86d01 00000000 0.m.....H.m..... │ │ │ │ - 0x01a0aaf0 f0096e01 00000000 58f86d01 00000000 ..n.....X.m..... │ │ │ │ + 0x01a0aaf0 d8096e01 00000000 58f86d01 00000000 ..n.....X.m..... │ │ │ │ 0x01a0ab00 68f86d01 00000000 78f86d01 00000000 h.m.....x.m..... │ │ │ │ 0x01a0ab10 88f86d01 00000000 98f86d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ab20 b0f86d01 00000000 c8f86d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ab30 e0f86d01 00000000 f0f86d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ab40 08f96d01 00000000 18f96d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ab50 30f96d01 00000000 48f96d01 00000000 0.m.....H.m..... │ │ │ │ 0x01a0ab60 60f96d01 00000000 70f96d01 00000000 `.m.....p.m..... │ │ │ │ @@ -1979,15 +1979,15 @@ │ │ │ │ 0x01a0ac10 10fb6d01 00000000 20fb6d01 00000000 ..m..... .m..... │ │ │ │ 0x01a0ac20 30fb6d01 00000000 48fb6d01 00000000 0.m.....H.m..... │ │ │ │ 0x01a0ac30 60fb6d01 00000000 80fb6d01 00000000 `.m.......m..... │ │ │ │ 0x01a0ac40 a0fb6d01 00000000 b0fb6d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ac50 c0fb6d01 00000000 d8fb6d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ac60 e8fb6d01 00000000 f8fb6d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ac70 08fc6d01 00000000 48db6a01 00000000 ..m.....H.j..... │ │ │ │ - 0x01a0ac80 18fc6d01 00000000 28fc6d01 00000000 ..m.....(.m..... │ │ │ │ + 0x01a0ac80 30fc6d01 00000000 18fc6d01 00000000 0.m.......m..... │ │ │ │ 0x01a0ac90 40fc6d01 00000000 58fc6d01 00000000 @.m.....X.m..... │ │ │ │ 0x01a0aca0 60fc6d01 00000000 70fc6d01 00000000 `.m.....p.m..... │ │ │ │ 0x01a0acb0 f0096a01 00000000 90fc6d01 00000000 ..j.......m..... │ │ │ │ 0x01a0acc0 a8fc6d01 00000000 c0fc6d01 00000000 ..m.......m..... │ │ │ │ 0x01a0acd0 d8fc6d01 00000000 e8fc6d01 00000000 ..m.......m..... │ │ │ │ 0x01a0ace0 08fd6d01 00000000 20fd6d01 00000000 ..m..... .m..... │ │ │ │ 0x01a0acf0 38fd6d01 00000000 080a6a01 00000000 8.m.......j..... │ │ │ │ @@ -2069,15 +2069,15 @@ │ │ │ │ 0x01a0b1b0 980d6b01 00000000 28096e01 00000000 ..k.....(.n..... │ │ │ │ 0x01a0b1c0 40096e01 00000000 50096e01 00000000 @.n.....P.n..... │ │ │ │ 0x01a0b1d0 60096e01 00000000 70096e01 00000000 `.n.....p.n..... │ │ │ │ 0x01a0b1e0 78096e01 00000000 88096e01 00000000 x.n.......n..... │ │ │ │ 0x01a0b1f0 98096e01 00000000 a8096e01 00000000 ..n.......n..... │ │ │ │ 0x01a0b200 c0096e01 00000000 98096a01 00000000 ..n.......j..... │ │ │ │ 0x01a0b210 98086a01 00000000 c8096e01 00000000 ..j.......n..... │ │ │ │ - 0x01a0b220 d8096e01 00000000 18336d01 00000000 ..n......3m..... │ │ │ │ + 0x01a0b220 e8096e01 00000000 18336d01 00000000 ..n......3m..... │ │ │ │ 0x01a0b230 20336d01 00000000 c0406a01 00000000 3m......@j..... │ │ │ │ 0x01a0b240 10336d01 00000000 80016e01 00000000 .3m.......n..... │ │ │ │ 0x01a0b250 50076e01 00000000 38366d01 00000000 P.n.....86m..... │ │ │ │ 0x01a0b260 c0686d01 00000000 38e16a01 00000000 .hm.....8.j..... │ │ │ │ 0x01a0b270 684b6d01 00000000 b0536a01 00000000 hKm......Sj..... │ │ │ │ 0x01a0b280 c8536a01 00000000 604b6d01 00000000 .Sj.....`Km..... │ │ │ │ 0x01a0b290 c84b6d01 00000000 d84b6d01 00000000 .Km......Km..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -308,17 +308,17 @@ │ │ │ │ 0x01a21310 00000000 00000000 71010000 00000000 ........q....... │ │ │ │ 0x01a21320 b86f6b01 00000000 01000000 00000000 .ok............. │ │ │ │ 0x01a21330 00000000 00000000 72010000 00000000 ........r....... │ │ │ │ 0x01a21340 b0f26d01 00000000 00000000 00000000 ..m............. │ │ │ │ 0x01a21350 00000000 00000000 73010000 00000000 ........s....... │ │ │ │ 0x01a21360 40496f01 00000000 00000000 00000000 @Io............. │ │ │ │ 0x01a21370 00000000 00000000 74010000 00000000 ........t....... │ │ │ │ - 0x01a21380 b0f36d01 00000000 01000000 00000000 ..m............. │ │ │ │ + 0x01a21380 c0f36d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a21390 00000000 00000000 75010000 00000000 ........u....... │ │ │ │ - 0x01a213a0 b8f36d01 00000000 01000000 00000000 ..m............. │ │ │ │ + 0x01a213a0 b0f36d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a213b0 00000000 00000000 76010000 00000000 ........v....... │ │ │ │ 0x01a213c0 f82b6d01 00000000 01000000 00000000 .+m............. │ │ │ │ 0x01a213d0 00000000 00000000 77010000 00000000 ........w....... │ │ │ │ 0x01a213e0 f0096a01 00000000 01000000 00000000 ..j............. │ │ │ │ 0x01a213f0 00000000 00000000 78010000 00000000 ........x....... │ │ │ │ 0x01a21400 68f76d01 00000000 01000000 00000000 h.m............. │ │ │ │ 0x01a21410 00000000 00000000 79010000 00000000 ........y....... │ │ │ │ @@ -600,31 +600,31 @@ │ │ │ │ 0x01a22550 00000000 00000000 03020000 00000000 ................ │ │ │ │ 0x01a22560 a8f76d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22570 00000000 00000000 04020000 00000000 ................ │ │ │ │ 0x01a22580 c0f76d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22590 00000000 00000000 05020000 00000000 ................ │ │ │ │ 0x01a225a0 d8f76d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a225b0 00000000 00000000 06020000 00000000 ................ │ │ │ │ - 0x01a225c0 00f86d01 00000000 01000000 00000000 ..m............. │ │ │ │ + 0x01a225c0 f0f76d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a225d0 00000000 00000000 07020000 00000000 ................ │ │ │ │ - 0x01a225e0 f0f76d01 00000000 01000000 00000000 ..m............. │ │ │ │ + 0x01a225e0 08f86d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a225f0 00000000 00000000 08020000 00000000 ................ │ │ │ │ 0x01a22600 18f86d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22610 00000000 00000000 09020000 00000000 ................ │ │ │ │ 0x01a22620 30f86d01 00000000 01000000 00000000 0.m............. │ │ │ │ 0x01a22630 00000000 00000000 0a020000 00000000 ................ │ │ │ │ 0x01a22640 48f86d01 00000000 01000000 00000000 H.m............. │ │ │ │ 0x01a22650 00000000 00000000 0b020000 00000000 ................ │ │ │ │ 0x01a22660 40fc6d01 00000000 00000000 00000000 @.m............. │ │ │ │ 0x01a22670 00000000 00000000 0c020000 00000000 ................ │ │ │ │ 0x01a22680 a04d6f01 00000000 00000000 00000000 .Mo............. │ │ │ │ 0x01a22690 00000000 00000000 0d020000 00000000 ................ │ │ │ │ - 0x01a226a0 d8096e01 00000000 01000000 00000000 ..n............. │ │ │ │ + 0x01a226a0 e8096e01 00000000 01000000 00000000 ..n............. │ │ │ │ 0x01a226b0 00000000 00000000 0e020000 00000000 ................ │ │ │ │ - 0x01a226c0 f0096e01 00000000 01000000 00000000 ..n............. │ │ │ │ + 0x01a226c0 d8096e01 00000000 01000000 00000000 ..n............. │ │ │ │ 0x01a226d0 00000000 00000000 0f020000 00000000 ................ │ │ │ │ 0x01a226e0 e0f06d01 00000000 00000000 00000000 ..m............. │ │ │ │ 0x01a226f0 00000000 00000000 10020000 00000000 ................ │ │ │ │ 0x01a22700 b84d6f01 00000000 00000000 00000000 .Mo............. │ │ │ │ 0x01a22710 00000000 00000000 11020000 00000000 ................ │ │ │ │ 0x01a22720 a0f16d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22730 00000000 00000000 12020000 00000000 ................ │ │ │ │ @@ -734,17 +734,17 @@ │ │ │ │ 0x01a22db0 00000000 00000000 46020000 00000000 ........F....... │ │ │ │ 0x01a22dc0 d04f6f01 00000000 00000000 00000000 .Oo............. │ │ │ │ 0x01a22dd0 00000000 00000000 47020000 00000000 ........G....... │ │ │ │ 0x01a22de0 b00d6b01 00000000 01000000 00000000 ..k............. │ │ │ │ 0x01a22df0 00000000 00000000 48020000 00000000 ........H....... │ │ │ │ 0x01a22e00 18f96d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22e10 00000000 00000000 49020000 00000000 ........I....... │ │ │ │ - 0x01a22e20 18fc6d01 00000000 01000000 00000000 ..m............. │ │ │ │ + 0x01a22e20 30fc6d01 00000000 01000000 00000000 0.m............. │ │ │ │ 0x01a22e30 00000000 00000000 4a020000 00000000 ........J....... │ │ │ │ - 0x01a22e40 28fc6d01 00000000 01000000 00000000 (.m............. │ │ │ │ + 0x01a22e40 18fc6d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22e50 00000000 00000000 4b020000 00000000 ........K....... │ │ │ │ 0x01a22e60 50fd6d01 00000000 01000000 00000000 P.m............. │ │ │ │ 0x01a22e70 00000000 00000000 4c020000 00000000 ........L....... │ │ │ │ 0x01a22e80 68fd6d01 00000000 01000000 00000000 h.m............. │ │ │ │ 0x01a22e90 00000000 00000000 4d020000 00000000 ........M....... │ │ │ │ 0x01a22ea0 e8fd6d01 00000000 01000000 00000000 ..m............. │ │ │ │ 0x01a22eb0 00000000 00000000 4e020000 00000000 ........N....... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 37633639 63323562 64626632 35323461 7c69c25bdbf2524a │ │ │ │ - 0x00000010 33366366 65643635 62623265 66646539 36cfed65bb2efde9 │ │ │ │ - 0x00000020 31393263 64642e64 65627567 00000000 192cdd.debug.... │ │ │ │ - 0x00000030 bd86aeea .... │ │ │ │ + 0x00000000 37363766 39653439 31346430 37616562 767f9e4914d07aeb │ │ │ │ + 0x00000010 33323161 62653034 36386130 36303463 321abe0468a0604c │ │ │ │ + 0x00000020 62626531 30642e64 65627567 00000000 bbe10d.debug.... │ │ │ │ + 0x00000030 dae88bbe ....