--- /srv/rebuilderd/tmp/rebuilderdA1Ra02/inputs/libcvc5-1_1.3.2-1_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdA1Ra02/out/libcvc5-1_1.3.2-1_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-24 00:41:53.000000 debian-binary │ -rw-r--r-- 0 0 0 1280 2025-12-24 00:41:53.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7283672 2025-12-24 00:41:53.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7283504 2025-12-24 00:41:53.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 {} │ │ │ │ @@ -3921,15 +3921,15 @@ │ │ │ │ 0000000001e76b00 0000000000000016 R_PPC64_RELATIVE 1b04568 │ │ │ │ 0000000001e76b08 0000000000000016 R_PPC64_RELATIVE 1ad4860 │ │ │ │ 0000000001e76b10 0000000000000016 R_PPC64_RELATIVE 1b04578 │ │ │ │ 0000000001e76b18 0000000000000016 R_PPC64_RELATIVE 1b04590 │ │ │ │ 0000000001e76b20 0000000000000016 R_PPC64_RELATIVE 1ad4998 │ │ │ │ 0000000001e76b28 0000000000000016 R_PPC64_RELATIVE 1b045a8 │ │ │ │ 0000000001e76b30 0000000000000016 R_PPC64_RELATIVE 1b045b8 │ │ │ │ -0000000001e76b38 0000000000000016 R_PPC64_RELATIVE 1b051a0 │ │ │ │ +0000000001e76b38 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ 0000000001e76b40 0000000000000016 R_PPC64_RELATIVE 1b045d0 │ │ │ │ 0000000001e76b48 0000000000000016 R_PPC64_RELATIVE 1b045e0 │ │ │ │ 0000000001e76b50 0000000000000016 R_PPC64_RELATIVE 1b045f8 │ │ │ │ 0000000001e76b58 0000000000000016 R_PPC64_RELATIVE 1ad4d00 │ │ │ │ 0000000001e76b60 0000000000000016 R_PPC64_RELATIVE 1ad4e08 │ │ │ │ 0000000001e76b68 0000000000000016 R_PPC64_RELATIVE 1ad4cd8 │ │ │ │ 0000000001e76b70 0000000000000016 R_PPC64_RELATIVE 1ad4c78 │ │ │ │ @@ -4123,19 +4123,19 @@ │ │ │ │ 0000000001e77150 0000000000000016 R_PPC64_RELATIVE 1b05120 │ │ │ │ 0000000001e77158 0000000000000016 R_PPC64_RELATIVE 1b05128 │ │ │ │ 0000000001e77160 0000000000000016 R_PPC64_RELATIVE 1ad6890 │ │ │ │ 0000000001e77168 0000000000000016 R_PPC64_RELATIVE 1b05138 │ │ │ │ 0000000001e77170 0000000000000016 R_PPC64_RELATIVE 1b05148 │ │ │ │ 0000000001e77178 0000000000000016 R_PPC64_RELATIVE 1b05168 │ │ │ │ 0000000001e77180 0000000000000016 R_PPC64_RELATIVE 1b05178 │ │ │ │ -0000000001e77188 0000000000000016 R_PPC64_RELATIVE 1b051d8 │ │ │ │ -0000000001e77190 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ +0000000001e77188 0000000000000016 R_PPC64_RELATIVE 1b051f0 │ │ │ │ +0000000001e77190 0000000000000016 R_PPC64_RELATIVE 1b05198 │ │ │ │ 0000000001e77198 0000000000000016 R_PPC64_RELATIVE 1b051a8 │ │ │ │ 0000000001e771a0 0000000000000016 R_PPC64_RELATIVE 1b051c0 │ │ │ │ -0000000001e771a8 0000000000000016 R_PPC64_RELATIVE 1b051e8 │ │ │ │ +0000000001e771a8 0000000000000016 R_PPC64_RELATIVE 1b051d8 │ │ │ │ 0000000001e771b0 0000000000000016 R_PPC64_RELATIVE 1b05200 │ │ │ │ 0000000001e771b8 0000000000000016 R_PPC64_RELATIVE 1b05218 │ │ │ │ 0000000001e771c0 0000000000000016 R_PPC64_RELATIVE 1b05230 │ │ │ │ 0000000001e771c8 0000000000000016 R_PPC64_RELATIVE 1b06228 │ │ │ │ 0000000001e771d0 0000000000000016 R_PPC64_RELATIVE 1ad49f8 │ │ │ │ 0000000001e771d8 0000000000000016 R_PPC64_RELATIVE 1ad5570 │ │ │ │ 0000000001e771e0 0000000000000016 R_PPC64_RELATIVE 1b05240 │ │ │ │ @@ -4192,18 +4192,18 @@ │ │ │ │ 0000000001e77378 0000000000000016 R_PPC64_RELATIVE 1ad52e0 │ │ │ │ 0000000001e77380 0000000000000016 R_PPC64_RELATIVE 1b05518 │ │ │ │ 0000000001e77388 0000000000000016 R_PPC64_RELATIVE 1ad5190 │ │ │ │ 0000000001e77390 0000000000000016 R_PPC64_RELATIVE 1b05530 │ │ │ │ 0000000001e77398 0000000000000016 R_PPC64_RELATIVE 1b05540 │ │ │ │ 0000000001e773a0 0000000000000016 R_PPC64_RELATIVE 1b05550 │ │ │ │ 0000000001e773a8 0000000000000016 R_PPC64_RELATIVE 1ad0a88 │ │ │ │ -0000000001e773b0 0000000000000016 R_PPC64_RELATIVE 1b05560 │ │ │ │ -0000000001e773b8 0000000000000016 R_PPC64_RELATIVE 1b05570 │ │ │ │ +0000000001e773b0 0000000000000016 R_PPC64_RELATIVE 1b05578 │ │ │ │ +0000000001e773b8 0000000000000016 R_PPC64_RELATIVE 1b05560 │ │ │ │ 0000000001e773c0 0000000000000016 R_PPC64_RELATIVE 1b05588 │ │ │ │ -0000000001e773c8 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ +0000000001e773c8 0000000000000016 R_PPC64_RELATIVE 1b05758 │ │ │ │ 0000000001e773d0 0000000000000016 R_PPC64_RELATIVE 1b055a0 │ │ │ │ 0000000001e773d8 0000000000000016 R_PPC64_RELATIVE 1b055a8 │ │ │ │ 0000000001e773e0 0000000000000016 R_PPC64_RELATIVE 1b055b8 │ │ │ │ 0000000001e773e8 0000000000000016 R_PPC64_RELATIVE 1b055c8 │ │ │ │ 0000000001e773f0 0000000000000016 R_PPC64_RELATIVE 1ac6098 │ │ │ │ 0000000001e773f8 0000000000000016 R_PPC64_RELATIVE 1b055e8 │ │ │ │ 0000000001e77400 0000000000000016 R_PPC64_RELATIVE 1ad56a0 │ │ │ │ @@ -4224,15 +4224,15 @@ │ │ │ │ 0000000001e77478 0000000000000016 R_PPC64_RELATIVE 1b056f0 │ │ │ │ 0000000001e77480 0000000000000016 R_PPC64_RELATIVE 1b05700 │ │ │ │ 0000000001e77488 0000000000000016 R_PPC64_RELATIVE 1ac6858 │ │ │ │ 0000000001e77490 0000000000000016 R_PPC64_RELATIVE 1b05708 │ │ │ │ 0000000001e77498 0000000000000016 R_PPC64_RELATIVE 1b05720 │ │ │ │ 0000000001e774a0 0000000000000016 R_PPC64_RELATIVE 1b05730 │ │ │ │ 0000000001e774a8 0000000000000016 R_PPC64_RELATIVE 1b05740 │ │ │ │ -0000000001e774b0 0000000000000016 R_PPC64_RELATIVE 1b05760 │ │ │ │ +0000000001e774b0 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ 0000000001e774b8 0000000000000016 R_PPC64_RELATIVE 1b05768 │ │ │ │ 0000000001e774c0 0000000000000016 R_PPC64_RELATIVE 1b05778 │ │ │ │ 0000000001e774c8 0000000000000016 R_PPC64_RELATIVE 1acb538 │ │ │ │ 0000000001e774d0 0000000000000016 R_PPC64_RELATIVE 1b05788 │ │ │ │ 0000000001e774d8 0000000000000016 R_PPC64_RELATIVE 1b05798 │ │ │ │ 0000000001e774e0 0000000000000016 R_PPC64_RELATIVE 1b057b0 │ │ │ │ 0000000001e774e8 0000000000000016 R_PPC64_RELATIVE 1ad4c10 │ │ │ │ @@ -9027,34 +9027,34 @@ │ │ │ │ 0000000001e924c8 0000000000000016 R_PPC64_RELATIVE 1b04c78 │ │ │ │ 0000000001e924e8 0000000000000016 R_PPC64_RELATIVE 1b1b2d8 │ │ │ │ 0000000001e92508 0000000000000016 R_PPC64_RELATIVE 1b05280 │ │ │ │ 0000000001e92528 0000000000000016 R_PPC64_RELATIVE 1b1b2e8 │ │ │ │ 0000000001e92548 0000000000000016 R_PPC64_RELATIVE 1b05298 │ │ │ │ 0000000001e92568 0000000000000016 R_PPC64_RELATIVE 1ac6088 │ │ │ │ 0000000001e92588 0000000000000016 R_PPC64_RELATIVE 1b1b300 │ │ │ │ -0000000001e925a8 0000000000000016 R_PPC64_RELATIVE 1b05760 │ │ │ │ -0000000001e925c8 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ +0000000001e925a8 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ +0000000001e925c8 0000000000000016 R_PPC64_RELATIVE 1b05758 │ │ │ │ 0000000001e925e8 0000000000000016 R_PPC64_RELATIVE 1b05768 │ │ │ │ 0000000001e92608 0000000000000016 R_PPC64_RELATIVE 1b1b318 │ │ │ │ 0000000001e92628 0000000000000016 R_PPC64_RELATIVE 1b057d8 │ │ │ │ 0000000001e92648 0000000000000016 R_PPC64_RELATIVE 1b057e8 │ │ │ │ 0000000001e92668 0000000000000016 R_PPC64_RELATIVE 1b06198 │ │ │ │ 0000000001e92688 0000000000000016 R_PPC64_RELATIVE 1b1b328 │ │ │ │ 0000000001e926a8 0000000000000016 R_PPC64_RELATIVE 1ac1e38 │ │ │ │ 0000000001e926c8 0000000000000016 R_PPC64_RELATIVE 1b042d8 │ │ │ │ 0000000001e926e8 0000000000000016 R_PPC64_RELATIVE 1b1b340 │ │ │ │ 0000000001e92708 0000000000000016 R_PPC64_RELATIVE 1b04638 │ │ │ │ 0000000001e92728 0000000000000016 R_PPC64_RELATIVE 1b04650 │ │ │ │ 0000000001e92748 0000000000000016 R_PPC64_RELATIVE 1b04688 │ │ │ │ -0000000001e92768 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ -0000000001e92788 0000000000000016 R_PPC64_RELATIVE 1b051a0 │ │ │ │ +0000000001e92768 0000000000000016 R_PPC64_RELATIVE 1b05198 │ │ │ │ +0000000001e92788 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ 0000000001e927a8 0000000000000016 R_PPC64_RELATIVE 1b051a8 │ │ │ │ 0000000001e927c8 0000000000000016 R_PPC64_RELATIVE 1b051c0 │ │ │ │ -0000000001e927e8 0000000000000016 R_PPC64_RELATIVE 1b051e8 │ │ │ │ -0000000001e92808 0000000000000016 R_PPC64_RELATIVE 1b051d8 │ │ │ │ +0000000001e927e8 0000000000000016 R_PPC64_RELATIVE 1b051d8 │ │ │ │ +0000000001e92808 0000000000000016 R_PPC64_RELATIVE 1b051f0 │ │ │ │ 0000000001e92828 0000000000000016 R_PPC64_RELATIVE 1b05200 │ │ │ │ 0000000001e92848 0000000000000016 R_PPC64_RELATIVE 1b05218 │ │ │ │ 0000000001e92868 0000000000000016 R_PPC64_RELATIVE 1b05230 │ │ │ │ 0000000001e92888 0000000000000016 R_PPC64_RELATIVE 1b05588 │ │ │ │ 0000000001e928a8 0000000000000016 R_PPC64_RELATIVE 1b1b368 │ │ │ │ 0000000001e928c8 0000000000000016 R_PPC64_RELATIVE 1b06210 │ │ │ │ 0000000001e928e8 0000000000000016 R_PPC64_RELATIVE 1b06228 │ │ │ │ @@ -9137,16 +9137,16 @@ │ │ │ │ 0000000001e93288 0000000000000016 R_PPC64_RELATIVE 1ad4fb0 │ │ │ │ 0000000001e932a8 0000000000000016 R_PPC64_RELATIVE 1b05708 │ │ │ │ 0000000001e932c8 0000000000000016 R_PPC64_RELATIVE 1b1b6b0 │ │ │ │ 0000000001e932e8 0000000000000016 R_PPC64_RELATIVE 1b04eb0 │ │ │ │ 0000000001e93308 0000000000000016 R_PPC64_RELATIVE 1b1b6c8 │ │ │ │ 0000000001e93328 0000000000000016 R_PPC64_RELATIVE 1ad46e8 │ │ │ │ 0000000001e93348 0000000000000016 R_PPC64_RELATIVE 1b052d0 │ │ │ │ -0000000001e93368 0000000000000016 R_PPC64_RELATIVE 1b05560 │ │ │ │ -0000000001e93388 0000000000000016 R_PPC64_RELATIVE 1b05570 │ │ │ │ +0000000001e93368 0000000000000016 R_PPC64_RELATIVE 1b05578 │ │ │ │ +0000000001e93388 0000000000000016 R_PPC64_RELATIVE 1b05560 │ │ │ │ 0000000001e933a8 0000000000000016 R_PPC64_RELATIVE 1b05680 │ │ │ │ 0000000001e933c8 0000000000000016 R_PPC64_RELATIVE 1b05698 │ │ │ │ 0000000001e933e8 0000000000000016 R_PPC64_RELATIVE 1b05720 │ │ │ │ 0000000001e93408 0000000000000016 R_PPC64_RELATIVE 1b05730 │ │ │ │ 0000000001e93428 0000000000000016 R_PPC64_RELATIVE 1ad4ae8 │ │ │ │ 0000000001e93448 0000000000000016 R_PPC64_RELATIVE 1b1b6e0 │ │ │ │ 0000000001e93468 0000000000000016 R_PPC64_RELATIVE 1b04468 │ │ │ │ @@ -9658,15 +9658,15 @@ │ │ │ │ 0000000001e972b0 0000000000000016 R_PPC64_RELATIVE 1b30110 │ │ │ │ 0000000001e972b8 0000000000000016 R_PPC64_RELATIVE 1b2b018 │ │ │ │ 0000000001e972d8 0000000000000016 R_PPC64_RELATIVE 1b30950 │ │ │ │ 0000000001e972e0 0000000000000016 R_PPC64_RELATIVE 1b2b020 │ │ │ │ 0000000001e97300 0000000000000016 R_PPC64_RELATIVE 1b30930 │ │ │ │ 0000000001e97308 0000000000000016 R_PPC64_RELATIVE 1b2b030 │ │ │ │ 0000000001e97328 0000000000000016 R_PPC64_RELATIVE 1b30918 │ │ │ │ -0000000001e97330 0000000000000016 R_PPC64_RELATIVE 1b051a0 │ │ │ │ +0000000001e97330 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ 0000000001e97350 0000000000000016 R_PPC64_RELATIVE 1b308f8 │ │ │ │ 0000000001e97358 0000000000000016 R_PPC64_RELATIVE 1b2b040 │ │ │ │ 0000000001e97378 0000000000000016 R_PPC64_RELATIVE 1b308d8 │ │ │ │ 0000000001e97380 0000000000000016 R_PPC64_RELATIVE 1b2b058 │ │ │ │ 0000000001e973a0 0000000000000016 R_PPC64_RELATIVE 1b308b8 │ │ │ │ 0000000001e973a8 0000000000000016 R_PPC64_RELATIVE 1b2b068 │ │ │ │ 0000000001e973c8 0000000000000016 R_PPC64_RELATIVE 1b30898 │ │ │ │ @@ -9884,15 +9884,15 @@ │ │ │ │ 0000000001e98458 0000000000000016 R_PPC64_RELATIVE 1b2fd78 │ │ │ │ 0000000001e98460 0000000000000016 R_PPC64_RELATIVE 1b2b610 │ │ │ │ 0000000001e98480 0000000000000016 R_PPC64_RELATIVE 1b2fd58 │ │ │ │ 0000000001e98488 0000000000000016 R_PPC64_RELATIVE 1b2b618 │ │ │ │ 0000000001e984a8 0000000000000016 R_PPC64_RELATIVE 1b2fd40 │ │ │ │ 0000000001e984b0 0000000000000016 R_PPC64_RELATIVE 1b2b620 │ │ │ │ 0000000001e984d0 0000000000000016 R_PPC64_RELATIVE 1b2fd28 │ │ │ │ -0000000001e984d8 0000000000000016 R_PPC64_RELATIVE 1b05760 │ │ │ │ +0000000001e984d8 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ 0000000001e984f8 0000000000000016 R_PPC64_RELATIVE 1b2fd18 │ │ │ │ 0000000001e98500 0000000000000016 R_PPC64_RELATIVE 1b2b630 │ │ │ │ 0000000001e98520 0000000000000016 R_PPC64_RELATIVE 1b2fcc8 │ │ │ │ 0000000001e98528 0000000000000016 R_PPC64_RELATIVE 1b2b638 │ │ │ │ 0000000001e98548 0000000000000016 R_PPC64_RELATIVE 1b2fca8 │ │ │ │ 0000000001e98550 0000000000000016 R_PPC64_RELATIVE 1b2b648 │ │ │ │ 0000000001e98570 0000000000000016 R_PPC64_RELATIVE 1b2fc90 │ │ │ │ @@ -10010,15 +10010,15 @@ │ │ │ │ 0000000001e98e30 0000000000000016 R_PPC64_RELATIVE 1b30110 │ │ │ │ 0000000001e98e38 0000000000000016 R_PPC64_RELATIVE 1b2b018 │ │ │ │ 0000000001e98e58 0000000000000016 R_PPC64_RELATIVE 1b30950 │ │ │ │ 0000000001e98e60 0000000000000016 R_PPC64_RELATIVE 1b2b020 │ │ │ │ 0000000001e98e80 0000000000000016 R_PPC64_RELATIVE 1b30930 │ │ │ │ 0000000001e98e88 0000000000000016 R_PPC64_RELATIVE 1b2b030 │ │ │ │ 0000000001e98ea8 0000000000000016 R_PPC64_RELATIVE 1b30918 │ │ │ │ -0000000001e98eb0 0000000000000016 R_PPC64_RELATIVE 1b051a0 │ │ │ │ +0000000001e98eb0 0000000000000016 R_PPC64_RELATIVE 1b05190 │ │ │ │ 0000000001e98ed0 0000000000000016 R_PPC64_RELATIVE 1b308f8 │ │ │ │ 0000000001e98ed8 0000000000000016 R_PPC64_RELATIVE 1b2b040 │ │ │ │ 0000000001e98ef8 0000000000000016 R_PPC64_RELATIVE 1b308d8 │ │ │ │ 0000000001e98f00 0000000000000016 R_PPC64_RELATIVE 1b2b058 │ │ │ │ 0000000001e98f20 0000000000000016 R_PPC64_RELATIVE 1b308b8 │ │ │ │ 0000000001e98f28 0000000000000016 R_PPC64_RELATIVE 1b2b068 │ │ │ │ 0000000001e98f48 0000000000000016 R_PPC64_RELATIVE 1b30898 │ │ │ │ @@ -10238,15 +10238,15 @@ │ │ │ │ 0000000001e9a000 0000000000000016 R_PPC64_RELATIVE 1b2fd78 │ │ │ │ 0000000001e9a008 0000000000000016 R_PPC64_RELATIVE 1b2b610 │ │ │ │ 0000000001e9a028 0000000000000016 R_PPC64_RELATIVE 1b2fd58 │ │ │ │ 0000000001e9a030 0000000000000016 R_PPC64_RELATIVE 1b2b618 │ │ │ │ 0000000001e9a050 0000000000000016 R_PPC64_RELATIVE 1b2fd40 │ │ │ │ 0000000001e9a058 0000000000000016 R_PPC64_RELATIVE 1b2b620 │ │ │ │ 0000000001e9a078 0000000000000016 R_PPC64_RELATIVE 1b2fd28 │ │ │ │ -0000000001e9a080 0000000000000016 R_PPC64_RELATIVE 1b05760 │ │ │ │ +0000000001e9a080 0000000000000016 R_PPC64_RELATIVE 1b05750 │ │ │ │ 0000000001e9a0a0 0000000000000016 R_PPC64_RELATIVE 1b2fd18 │ │ │ │ 0000000001e9a0a8 0000000000000016 R_PPC64_RELATIVE 1b2b630 │ │ │ │ 0000000001e9a0c8 0000000000000016 R_PPC64_RELATIVE 1b2fcc8 │ │ │ │ 0000000001e9a0d0 0000000000000016 R_PPC64_RELATIVE 1b2b638 │ │ │ │ 0000000001e9a0f0 0000000000000016 R_PPC64_RELATIVE 1b2fca8 │ │ │ │ 0000000001e9a0f8 0000000000000016 R_PPC64_RELATIVE 1b2b648 │ │ │ │ 0000000001e9a118 0000000000000016 R_PPC64_RELATIVE 1b2fc90 │ │ │ ├── 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: 6d3c3310072557463f8928f6d3f145abbe526c74 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 4f7d762b1c97e760e0332a8a4d1138dd3ab191ce │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -23463,16 +23463,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition │ │ │ │ partition-strategy │ │ │ │ +partition │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -23503,16 +23503,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-freq │ │ │ │ random-frequency │ │ │ │ +random-freq │ │ │ │ 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 {} │ │ │ │ @@ -79363,22 +79363,22 @@ │ │ │ │ li r9,86 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,11408 │ │ │ │ addi r3,r1,3528 │ │ │ │ stw r9,3520(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,87 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,11432 │ │ │ │ + addis r4,r2,-55 │ │ │ │ + addi r4,r4,32592 │ │ │ │ addi r3,r1,3568 │ │ │ │ stw r9,3560(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,88 │ │ │ │ - addis r4,r2,-55 │ │ │ │ - addi r4,r4,32592 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,11432 │ │ │ │ addi r3,r1,3608 │ │ │ │ stw r9,3600(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,88 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,11944 │ │ │ │ addi r3,r1,3648 │ │ │ │ @@ -79591,22 +79591,22 @@ │ │ │ │ li r9,123 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,12008 │ │ │ │ addi r3,r1,5048 │ │ │ │ stw r9,5040(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,124 │ │ │ │ - addis r4,r2,-61 │ │ │ │ - addi r4,r4,17768 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,12024 │ │ │ │ addi r3,r1,5088 │ │ │ │ stw r9,5080(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,125 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,12024 │ │ │ │ + addis r4,r2,-61 │ │ │ │ + addi r4,r4,17768 │ │ │ │ addi r3,r1,5128 │ │ │ │ stw r9,5120(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,125 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,12032 │ │ │ │ addi r3,r1,5168 │ │ │ │ @@ -80359,22 +80359,22 @@ │ │ │ │ li r9,249 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,15120 │ │ │ │ addi r3,r1,10168 │ │ │ │ stw r9,10160(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,250 │ │ │ │ - addis r4,r2,-58 │ │ │ │ - addi r4,r4,22808 │ │ │ │ + addis r4,r2,-61 │ │ │ │ + addi r4,r4,17816 │ │ │ │ addi r3,r1,10208 │ │ │ │ stw r9,10200(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,251 │ │ │ │ - addis r4,r2,-61 │ │ │ │ - addi r4,r4,17816 │ │ │ │ + addis r4,r2,-58 │ │ │ │ + addi r4,r4,22808 │ │ │ │ addi r3,r1,10248 │ │ │ │ stw r9,10240(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,251 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13856 │ │ │ │ addi r3,r1,10288 │ │ │ │ @@ -80420,15 +80420,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13968 │ │ │ │ addi r3,r1,10568 │ │ │ │ stw r9,10560(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,258 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,13984 │ │ │ │ + addi r4,r4,13976 │ │ │ │ addi r3,r1,10608 │ │ │ │ stw r9,10600(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,258 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13992 │ │ │ │ addi r3,r1,10648 │ │ │ │ @@ -80444,15 +80444,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14040 │ │ │ │ addi r3,r1,10728 │ │ │ │ stw r9,10720(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,14056 │ │ │ │ + addi r4,r4,14064 │ │ │ │ addi r3,r1,10768 │ │ │ │ stw r9,10760(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14080 │ │ │ │ addi r3,r1,10808 │ │ │ │ @@ -80599,22 +80599,22 @@ │ │ │ │ li r9,285 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,384 │ │ │ │ addi r3,r1,11768 │ │ │ │ stw r9,11760(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,286 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14448 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,14416 │ │ │ │ addi r3,r1,11808 │ │ │ │ stw r9,11800(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,287 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,14416 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14448 │ │ │ │ addi r3,r1,11848 │ │ │ │ stw r9,11840(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,287 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,12864 │ │ │ │ addi r3,r1,11888 │ │ │ │ @@ -80840,15 +80840,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14944 │ │ │ │ addi r3,r1,13368 │ │ │ │ stw r9,13360(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,325 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,14960 │ │ │ │ + addi r4,r4,14968 │ │ │ │ addi r3,r1,13408 │ │ │ │ stw r9,13400(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,325 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14984 │ │ │ │ addi r3,r1,13448 │ │ │ │ @@ -81020,15 +81020,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15440 │ │ │ │ addi r3,r1,14568 │ │ │ │ stw r9,14560(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,15456 │ │ │ │ + addi r4,r4,15448 │ │ │ │ addi r3,r1,14608 │ │ │ │ stw r9,14600(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15464 │ │ │ │ addi r3,r1,14648 │ │ │ │ @@ -81109,22 +81109,22 @@ │ │ │ │ li r9,366 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15632 │ │ │ │ addi r3,r1,15168 │ │ │ │ stw r9,15160(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,367 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,15656 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,11248 │ │ │ │ addi r3,r1,15208 │ │ │ │ stw r9,15200(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,368 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,11248 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,15656 │ │ │ │ addi r3,r1,15248 │ │ │ │ stw r9,15240(r1) │ │ │ │ bl 17d95c8 │ │ │ │ li r9,368 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,11400 │ │ │ │ addi r3,r1,15288 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ mr r4,r28 │ │ │ │ mr r5,r29 │ │ │ │ std r9,368(r1) │ │ │ │ bl 10aff78 , std::allocator >::__resize_and_overwrite(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x18668> │ │ │ │ mr r28,r3 │ │ │ │ li r3,640 │ │ │ │ bl bb300 │ │ │ │ -[ Too much input for diff (SHA256: 41aa59a29f4f1b352dd6735af4711707f3804f953571195773fba63a8a8d1f2f) ] │ │ │ │ +[ Too much input for diff (SHA256: 81b0af9e46692207773183622898908ec3c23fa9d9c25d031aa679b6d4875a25) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18987,21 +18987,21 @@ │ │ │ │ 0x01b05120 6f757470 75740000 6f757470 75742d6c output..output-l │ │ │ │ 0x01b05130 616e6700 00000000 70617273 652d6f6e ang.....parse-on │ │ │ │ 0x01b05140 6c790000 00000000 70617273 652d736b ly......parse-sk │ │ │ │ 0x01b05150 6f6c656d 2d646566 696e6974 696f6e73 olem-definitions │ │ │ │ 0x01b05160 00000000 00000000 70617273 696e672d ........parsing- │ │ │ │ 0x01b05170 6d6f6465 00000000 70617274 69616c2d mode....partial- │ │ │ │ 0x01b05180 74726967 67657273 00000000 00000000 triggers........ │ │ │ │ - 0x01b05190 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ - 0x01b051a0 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x01b05190 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x01b051a0 6e2d6368 65636b00 70617274 6974696f n-check.partitio │ │ │ │ 0x01b051b0 6e2d636f 6e666c69 63742d73 697a6500 n-conflict-size. │ │ │ │ 0x01b051c0 70617274 6974696f 6e2d7374 6172742d partition-start- │ │ │ │ 0x01b051d0 74696d65 00000000 70617274 6974696f time....partitio │ │ │ │ - 0x01b051e0 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ - 0x01b051f0 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ + 0x01b051e0 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ + 0x01b051f0 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ 0x01b05200 70617274 6974696f 6e2d7469 6d652d69 partition-time-i │ │ │ │ 0x01b05210 6e746572 76616c00 70617274 6974696f nterval.partitio │ │ │ │ 0x01b05220 6e2d746c 696d6974 00000000 00000000 n-tlimit........ │ │ │ │ 0x01b05230 70617274 6974696f 6e2d7768 656e0000 partition-when.. │ │ │ │ 0x01b05240 706c7567 696e2d6e 6f746966 792d7361 plugin-notify-sa │ │ │ │ 0x01b05250 742d636c 61757365 2d696e2d 736f6c76 t-clause-in-solv │ │ │ │ 0x01b05260 65000000 00000000 706c7567 696e2d73 e.......plugin-s │ │ │ │ @@ -19048,17 +19048,17 @@ │ │ │ │ 0x01b054f0 77726974 652d7263 6f6e732d 73746570 write-rcons-step │ │ │ │ 0x01b05500 2d6c696d 69740000 70726f70 2d726f77 -limit..prop-row │ │ │ │ 0x01b05510 2d6c656e 67746800 7175616e 742d616c -length.quant-al │ │ │ │ 0x01b05520 7068612d 65717569 76000000 00000000 pha-equiv....... │ │ │ │ 0x01b05530 7175616e 742d6675 6e2d7764 00000000 quant-fun-wd.... │ │ │ │ 0x01b05540 7175616e 742d696e 64000000 00000000 quant-ind....... │ │ │ │ 0x01b05550 7175616e 742d7265 702d6d6f 64650000 quant-rep-mode.. │ │ │ │ - 0x01b05560 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ - 0x01b05570 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ - 0x01b05580 00000000 00000000 72616e64 6f6d2d70 ........random-p │ │ │ │ + 0x01b05560 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ + 0x01b05570 00000000 00000000 72616e64 6f6d2d66 ........random-f │ │ │ │ + 0x01b05580 72657100 00000000 72616e64 6f6d2d70 req.....random-p │ │ │ │ 0x01b05590 61727469 74696f6e 696e6700 00000000 artitioning..... │ │ │ │ 0x01b055a0 72652d65 6c696d00 72652d66 69727374 re-elim.re-first │ │ │ │ 0x01b055b0 2d636c61 73730000 72652d69 6e746572 -class..re-inter │ │ │ │ 0x01b055c0 2d6d6f64 65000000 72656769 73746572 -mode...register │ │ │ │ 0x01b055d0 2d717561 6e742d62 6f64792d 7465726d -quant-body-term │ │ │ │ 0x01b055e0 73000000 00000000 72656c61 74696f6e s.......relation │ │ │ │ 0x01b055f0 616c2d74 72696767 65727300 00000000 al-triggers..... │ │ │ │ @@ -19079,16 +19079,16 @@ │ │ │ │ 0x01b056e0 726c696d 69742d70 65720000 00000000 rlimit-per...... │ │ │ │ 0x01b056f0 72722d74 75726e73 00000000 00000000 rr-turns........ │ │ │ │ 0x01b05700 72776569 67687400 7361742d 70726f6f rweight.sat-proo │ │ │ │ 0x01b05710 662d6d69 6e2d6469 6d616373 00000000 f-min-dimacs.... │ │ │ │ 0x01b05720 7361742d 72616e64 6f6d2d73 65656400 sat-random-seed. │ │ │ │ 0x01b05730 7361742d 736f6c76 65720000 00000000 sat-solver...... │ │ │ │ 0x01b05740 73652d73 6f6c7665 2d696e74 00000000 se-solve-int.... │ │ │ │ - 0x01b05750 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ - 0x01b05760 73656564 00000000 73656776 2d737069 seed....segv-spi │ │ │ │ + 0x01b05750 73656564 00000000 72616e64 6f6d2d73 seed....random-s │ │ │ │ + 0x01b05760 65656400 00000000 73656776 2d737069 eed.....segv-spi │ │ │ │ 0x01b05770 6e000000 00000000 73656d61 6e746963 n.......semantic │ │ │ │ 0x01b05780 2d636865 636b7300 7365702d 6d696e2d -checks.sep-min- │ │ │ │ 0x01b05790 72656669 6e650000 7365702d 7072652d refine..sep-pre- │ │ │ │ 0x01b057a0 736b6f6c 656d2d65 6d700000 00000000 skolem-emp...... │ │ │ │ 0x01b057b0 7365712d 61727261 79000000 00000000 seq-array....... │ │ │ │ 0x01b057c0 73657473 2d70726f 78792d6c 656d6d61 sets-proxy-lemma │ │ │ │ 0x01b057d0 73000000 00000000 73686f77 2d636f6e s.......show-con │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1971,15 +1971,15 @@ │ │ │ │ 0x01e76ac8 0845b001 00000000 2845b001 00000000 .E......(E...... │ │ │ │ 0x01e76ad8 3845b001 00000000 5045b001 00000000 8E......PE...... │ │ │ │ 0x01e76ae8 004bad01 00000000 7048ad01 00000000 .K......pH...... │ │ │ │ 0x01e76af8 8048ad01 00000000 6845b001 00000000 .H......hE...... │ │ │ │ 0x01e76b08 6048ad01 00000000 7845b001 00000000 `H......xE...... │ │ │ │ 0x01e76b18 9045b001 00000000 9849ad01 00000000 .E.......I...... │ │ │ │ 0x01e76b28 a845b001 00000000 b845b001 00000000 .E.......E...... │ │ │ │ - 0x01e76b38 a051b001 00000000 d045b001 00000000 .Q.......E...... │ │ │ │ + 0x01e76b38 9051b001 00000000 d045b001 00000000 .Q.......E...... │ │ │ │ 0x01e76b48 e045b001 00000000 f845b001 00000000 .E.......E...... │ │ │ │ 0x01e76b58 004dad01 00000000 084ead01 00000000 .M.......N...... │ │ │ │ 0x01e76b68 d84cad01 00000000 784cad01 00000000 .L......xL...... │ │ │ │ 0x01e76b78 1046b001 00000000 2046b001 00000000 .F...... F...... │ │ │ │ 0x01e76b88 3846b001 00000000 5046b001 00000000 8F......PF...... │ │ │ │ 0x01e76b98 7046b001 00000000 8846b001 00000000 pF.......F...... │ │ │ │ 0x01e76ba8 a046b001 00000000 b846b001 00000000 .F.......F...... │ │ │ │ @@ -2072,17 +2072,17 @@ │ │ │ │ 0x01e77118 e050b001 00000000 3847ad01 00000000 .P......8G...... │ │ │ │ 0x01e77128 1856ad01 00000000 e850b001 00000000 .V.......P...... │ │ │ │ 0x01e77138 0051b001 00000000 1056ac01 00000000 .Q.......V...... │ │ │ │ 0x01e77148 1874af01 00000000 2051b001 00000000 .t...... Q...... │ │ │ │ 0x01e77158 2851b001 00000000 9068ad01 00000000 (Q.......h...... │ │ │ │ 0x01e77168 3851b001 00000000 4851b001 00000000 8Q......HQ...... │ │ │ │ 0x01e77178 6851b001 00000000 7851b001 00000000 hQ......xQ...... │ │ │ │ - 0x01e77188 d851b001 00000000 9051b001 00000000 .Q.......Q...... │ │ │ │ + 0x01e77188 f051b001 00000000 9851b001 00000000 .Q.......Q...... │ │ │ │ 0x01e77198 a851b001 00000000 c051b001 00000000 .Q.......Q...... │ │ │ │ - 0x01e771a8 e851b001 00000000 0052b001 00000000 .Q.......R...... │ │ │ │ + 0x01e771a8 d851b001 00000000 0052b001 00000000 .Q.......R...... │ │ │ │ 0x01e771b8 1852b001 00000000 3052b001 00000000 .R......0R...... │ │ │ │ 0x01e771c8 2862b001 00000000 f849ad01 00000000 (b.......I...... │ │ │ │ 0x01e771d8 7055ad01 00000000 4052b001 00000000 pU......@R...... │ │ │ │ 0x01e771e8 6852b001 00000000 e09bae01 00000000 hR.............. │ │ │ │ 0x01e771f8 8052b001 00000000 9852b001 00000000 .R.......R...... │ │ │ │ 0x01e77208 a852b001 00000000 a84aad01 00000000 .R.......J...... │ │ │ │ 0x01e77218 d04aad01 00000000 1051ad01 00000000 .J.......Q...... │ │ │ │ @@ -2106,31 +2106,31 @@ │ │ │ │ 0x01e77338 6054b001 00000000 8054b001 00000000 `T.......T...... │ │ │ │ 0x01e77348 9854b001 00000000 b054b001 00000000 .T.......T...... │ │ │ │ 0x01e77358 c854b001 00000000 e854b001 00000000 .T.......T...... │ │ │ │ 0x01e77368 b04fad01 00000000 0855b001 00000000 .O.......U...... │ │ │ │ 0x01e77378 e052ad01 00000000 1855b001 00000000 .R.......U...... │ │ │ │ 0x01e77388 9051ad01 00000000 3055b001 00000000 .Q......0U...... │ │ │ │ 0x01e77398 4055b001 00000000 5055b001 00000000 @U......PU...... │ │ │ │ - 0x01e773a8 880aad01 00000000 6055b001 00000000 ........`U...... │ │ │ │ - 0x01e773b8 7055b001 00000000 8855b001 00000000 pU.......U...... │ │ │ │ - 0x01e773c8 5057b001 00000000 a055b001 00000000 PW.......U...... │ │ │ │ + 0x01e773a8 880aad01 00000000 7855b001 00000000 ........xU...... │ │ │ │ + 0x01e773b8 6055b001 00000000 8855b001 00000000 `U.......U...... │ │ │ │ + 0x01e773c8 5857b001 00000000 a055b001 00000000 XW.......U...... │ │ │ │ 0x01e773d8 a855b001 00000000 b855b001 00000000 .U.......U...... │ │ │ │ 0x01e773e8 c855b001 00000000 9860ac01 00000000 .U.......`...... │ │ │ │ 0x01e773f8 e855b001 00000000 a056ad01 00000000 .U.......V...... │ │ │ │ 0x01e77408 0056b001 00000000 004cad01 00000000 .V.......L...... │ │ │ │ 0x01e77418 c054ad01 00000000 1856b001 00000000 .T.......V...... │ │ │ │ 0x01e77428 3856b001 00000000 5056b001 00000000 8V......PV...... │ │ │ │ 0x01e77438 6856b001 00000000 b060ac01 00000000 hV.......`...... │ │ │ │ 0x01e77448 8056b001 00000000 9856b001 00000000 .V.......V...... │ │ │ │ 0x01e77458 a856b001 00000000 b856b001 00000000 .V.......V...... │ │ │ │ 0x01e77468 d856b001 00000000 e056b001 00000000 .V.......V...... │ │ │ │ 0x01e77478 f056b001 00000000 0057b001 00000000 .V.......W...... │ │ │ │ 0x01e77488 5868ac01 00000000 0857b001 00000000 Xh.......W...... │ │ │ │ 0x01e77498 2057b001 00000000 3057b001 00000000 W......0W...... │ │ │ │ - 0x01e774a8 4057b001 00000000 6057b001 00000000 @W......`W...... │ │ │ │ + 0x01e774a8 4057b001 00000000 5057b001 00000000 @W......PW...... │ │ │ │ 0x01e774b8 6857b001 00000000 7857b001 00000000 hW......xW...... │ │ │ │ 0x01e774c8 38b5ac01 00000000 8857b001 00000000 8........W...... │ │ │ │ 0x01e774d8 9857b001 00000000 b057b001 00000000 .W.......W...... │ │ │ │ 0x01e774e8 104cad01 00000000 384cad01 00000000 .L......8L...... │ │ │ │ 0x01e774f8 c057b001 00000000 d857b001 00000000 .W.......W...... │ │ │ │ 0x01e77508 e857b001 00000000 f857b001 00000000 .W.......W...... │ │ │ │ 0x01e77518 9854ad01 00000000 1058b001 00000000 .T.......X...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01e92530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92540 02020000 00000000 9852b001 00000000 .........R...... │ │ │ │ 0x01e92550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92560 03020000 00000000 8860ac01 00000000 .........`...... │ │ │ │ 0x01e92570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92580 04020000 00000000 00b3b101 00000000 ................ │ │ │ │ 0x01e92590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e925a0 05020000 00000000 6057b001 00000000 ........`W...... │ │ │ │ + 0x01e925a0 05020000 00000000 5057b001 00000000 ........PW...... │ │ │ │ 0x01e925b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e925c0 06020000 00000000 5057b001 00000000 ........PW...... │ │ │ │ + 0x01e925c0 06020000 00000000 5857b001 00000000 ........XW...... │ │ │ │ 0x01e925d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e925e0 07020000 00000000 6857b001 00000000 ........hW...... │ │ │ │ 0x01e925f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92600 08020000 00000000 18b3b101 00000000 ................ │ │ │ │ 0x01e92610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92620 09020000 00000000 d857b001 00000000 .........W...... │ │ │ │ 0x01e92630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -626,25 +626,25 @@ │ │ │ │ 0x01e926f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92700 10020000 00000000 3846b001 00000000 ........8F...... │ │ │ │ 0x01e92710 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92720 11020000 00000000 5046b001 00000000 ........PF...... │ │ │ │ 0x01e92730 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92740 12020000 00000000 8846b001 00000000 .........F...... │ │ │ │ 0x01e92750 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e92760 13020000 00000000 9051b001 00000000 .........Q...... │ │ │ │ + 0x01e92760 13020000 00000000 9851b001 00000000 .........Q...... │ │ │ │ 0x01e92770 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e92780 14020000 00000000 a051b001 00000000 .........Q...... │ │ │ │ + 0x01e92780 14020000 00000000 9051b001 00000000 .........Q...... │ │ │ │ 0x01e92790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e927a0 15020000 00000000 a851b001 00000000 .........Q...... │ │ │ │ 0x01e927b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e927c0 16020000 00000000 c051b001 00000000 .........Q...... │ │ │ │ 0x01e927d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e927e0 17020000 00000000 e851b001 00000000 .........Q...... │ │ │ │ + 0x01e927e0 17020000 00000000 d851b001 00000000 .........Q...... │ │ │ │ 0x01e927f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e92800 18020000 00000000 d851b001 00000000 .........Q...... │ │ │ │ + 0x01e92800 18020000 00000000 f051b001 00000000 .........Q...... │ │ │ │ 0x01e92810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92820 19020000 00000000 0052b001 00000000 .........R...... │ │ │ │ 0x01e92830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92840 1a020000 00000000 1852b001 00000000 .........R...... │ │ │ │ 0x01e92850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e92860 1b020000 00000000 3052b001 00000000 ........0R...... │ │ │ │ 0x01e92870 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x01e932f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e93300 70020000 00000000 c8b6b101 00000000 p............... │ │ │ │ 0x01e93310 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e93320 71020000 00000000 e846ad01 00000000 q........F...... │ │ │ │ 0x01e93330 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e93340 72020000 00000000 d052b001 00000000 r........R...... │ │ │ │ 0x01e93350 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e93360 73020000 00000000 6055b001 00000000 s.......`U...... │ │ │ │ + 0x01e93360 73020000 00000000 7855b001 00000000 s.......xU...... │ │ │ │ 0x01e93370 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e93380 74020000 00000000 7055b001 00000000 t.......pU...... │ │ │ │ + 0x01e93380 74020000 00000000 6055b001 00000000 t.......`U...... │ │ │ │ 0x01e93390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e933a0 75020000 00000000 8056b001 00000000 u........V...... │ │ │ │ 0x01e933b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e933c0 76020000 00000000 9856b001 00000000 v........V...... │ │ │ │ 0x01e933d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e933e0 77020000 00000000 2057b001 00000000 w....... W...... │ │ │ │ 0x01e933f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -1839,15 +1839,15 @@ │ │ │ │ 0x01e972c0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e972d0 00000000 00000000 5009b301 00000000 ........P....... │ │ │ │ 0x01e972e0 20b0b201 00000000 01000000 00000000 ............... │ │ │ │ 0x01e972f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e97300 3009b301 00000000 30b0b201 00000000 0.......0....... │ │ │ │ 0x01e97310 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01e97320 00000000 00000000 1809b301 00000000 ................ │ │ │ │ - 0x01e97330 a051b001 00000000 00000000 00000000 .Q.............. │ │ │ │ + 0x01e97330 9051b001 00000000 00000000 00000000 .Q.............. │ │ │ │ 0x01e97340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e97350 f808b301 00000000 40b0b201 00000000 ........@....... │ │ │ │ 0x01e97360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e97370 00000000 00000000 d808b301 00000000 ................ │ │ │ │ 0x01e97380 58b0b201 00000000 01000000 00000000 X............... │ │ │ │ 0x01e97390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e973a0 b808b301 00000000 68b0b201 00000000 ........h....... │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01e98460 10b6b201 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98480 58fdb201 00000000 18b6b201 00000000 X............... │ │ │ │ 0x01e98490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e984a0 00000000 00000000 40fdb201 00000000 ........@....... │ │ │ │ 0x01e984b0 20b6b201 00000000 b6030000 f4010000 ............... │ │ │ │ 0x01e984c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01e984d0 28fdb201 00000000 6057b001 00000000 (.......`W...... │ │ │ │ + 0x01e984d0 28fdb201 00000000 5057b001 00000000 (.......PW...... │ │ │ │ 0x01e984e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x01e984f0 00000000 00000000 18fdb201 00000000 ................ │ │ │ │ 0x01e98500 30b6b201 00000000 03000000 00000000 0............... │ │ │ │ 0x01e98510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98520 c8fcb201 00000000 38b6b201 00000000 ........8....... │ │ │ │ 0x01e98530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e98540 00000000 00000000 a8fcb201 00000000 ................ │ │ │ │ @@ -2279,15 +2279,15 @@ │ │ │ │ 0x01e98e40 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e98e50 00000000 00000000 5009b301 00000000 ........P....... │ │ │ │ 0x01e98e60 20b0b201 00000000 01000000 00000000 ............... │ │ │ │ 0x01e98e70 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98e80 3009b301 00000000 30b0b201 00000000 0.......0....... │ │ │ │ 0x01e98e90 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01e98ea0 00000000 00000000 1809b301 00000000 ................ │ │ │ │ - 0x01e98eb0 a051b001 00000000 00000000 00000000 .Q.............. │ │ │ │ + 0x01e98eb0 9051b001 00000000 00000000 00000000 .Q.............. │ │ │ │ 0x01e98ec0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98ed0 f808b301 00000000 40b0b201 00000000 ........@....... │ │ │ │ 0x01e98ee0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e98ef0 00000000 00000000 d808b301 00000000 ................ │ │ │ │ 0x01e98f00 58b0b201 00000000 01000000 00000000 X............... │ │ │ │ 0x01e98f10 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e98f20 b808b301 00000000 68b0b201 00000000 ........h....... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x01e9a010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01e9a020 00000000 00000000 58fdb201 00000000 ........X....... │ │ │ │ 0x01e9a030 18b6b201 00000000 01000000 00000000 ................ │ │ │ │ 0x01e9a040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e9a050 40fdb201 00000000 20b6b201 00000000 @....... ....... │ │ │ │ 0x01e9a060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x01e9a070 00000000 00000000 28fdb201 00000000 ........(....... │ │ │ │ - 0x01e9a080 6057b001 00000000 00000000 00000000 `W.............. │ │ │ │ + 0x01e9a080 5057b001 00000000 00000000 00000000 PW.............. │ │ │ │ 0x01e9a090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x01e9a0a0 18fdb201 00000000 30b6b201 00000000 ........0....... │ │ │ │ 0x01e9a0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x01e9a0c0 00000000 00000000 c8fcb201 00000000 ................ │ │ │ │ 0x01e9a0d0 38b6b201 00000000 01000000 00000000 8............... │ │ │ │ 0x01e9a0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01e9a0f0 a8fcb201 00000000 48b6b201 00000000 ........H....... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 33633333 31303037 32353537 34363366 3c3310072557463f │ │ │ │ - 0x00000010 38393238 66366433 66313435 61626265 8928f6d3f145abbe │ │ │ │ - 0x00000020 35323663 37342e64 65627567 00000000 526c74.debug.... │ │ │ │ - 0x00000030 21a2f4d9 !... │ │ │ │ + 0x00000000 37643736 32623163 39376537 36306530 7d762b1c97e760e0 │ │ │ │ + 0x00000010 33333261 38613464 31313338 64643361 332a8a4d1138dd3a │ │ │ │ + 0x00000020 62313931 63652e64 65627567 00000000 b191ce.debug.... │ │ │ │ + 0x00000030 06fd146a ...j