--- /srv/rebuilderd/tmp/rebuilderdmIKztX/inputs/libcvc5-1_1.3.2-1+b2_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdmIKztX/out/libcvc5-1_1.3.2-1+b2_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-06-29 00:03:52.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2026-06-29 00:03:52.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7305576 2026-06-29 00:03:52.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7306196 2026-06-29 00:03:52.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 {} │ │ │ │ @@ -4035,15 +4035,15 @@ │ │ │ │ 0000000001e86ee0 0000000000000016 R_PPC64_RELATIVE 1b14868 │ │ │ │ 0000000001e86ee8 0000000000000016 R_PPC64_RELATIVE 1b14878 │ │ │ │ 0000000001e86ef0 0000000000000016 R_PPC64_RELATIVE 1b14890 │ │ │ │ 0000000001e86ef8 0000000000000016 R_PPC64_RELATIVE 1b148a0 │ │ │ │ 0000000001e86f00 0000000000000016 R_PPC64_RELATIVE 1aea8c8 │ │ │ │ 0000000001e86f08 0000000000000016 R_PPC64_RELATIVE 1b148a8 │ │ │ │ 0000000001e86f10 0000000000000016 R_PPC64_RELATIVE 1ad14c0 │ │ │ │ -0000000001e86f18 0000000000000016 R_PPC64_RELATIVE 1b14968 │ │ │ │ +0000000001e86f18 0000000000000016 R_PPC64_RELATIVE 1b14970 │ │ │ │ 0000000001e86f20 0000000000000016 R_PPC64_RELATIVE 1b148c0 │ │ │ │ 0000000001e86f28 0000000000000016 R_PPC64_RELATIVE 1b148d0 │ │ │ │ 0000000001e86f30 0000000000000016 R_PPC64_RELATIVE 1b148e0 │ │ │ │ 0000000001e86f38 0000000000000016 R_PPC64_RELATIVE 1ae4778 │ │ │ │ 0000000001e86f40 0000000000000016 R_PPC64_RELATIVE 1ae4e48 │ │ │ │ 0000000001e86f48 0000000000000016 R_PPC64_RELATIVE 1b148f0 │ │ │ │ 0000000001e86f50 0000000000000016 R_PPC64_RELATIVE 1ae4f20 │ │ │ │ @@ -4052,15 +4052,15 @@ │ │ │ │ 0000000001e86f68 0000000000000016 R_PPC64_RELATIVE 1b14910 │ │ │ │ 0000000001e86f70 0000000000000016 R_PPC64_RELATIVE 1ae4f30 │ │ │ │ 0000000001e86f78 0000000000000016 R_PPC64_RELATIVE 1ae4f58 │ │ │ │ 0000000001e86f80 0000000000000016 R_PPC64_RELATIVE 1b14928 │ │ │ │ 0000000001e86f88 0000000000000016 R_PPC64_RELATIVE 1b14938 │ │ │ │ 0000000001e86f90 0000000000000016 R_PPC64_RELATIVE 1b14948 │ │ │ │ 0000000001e86f98 0000000000000016 R_PPC64_RELATIVE 1b14958 │ │ │ │ -0000000001e86fa0 0000000000000016 R_PPC64_RELATIVE 1b14978 │ │ │ │ +0000000001e86fa0 0000000000000016 R_PPC64_RELATIVE 1b14968 │ │ │ │ 0000000001e86fa8 0000000000000016 R_PPC64_RELATIVE 1ad82a8 │ │ │ │ 0000000001e86fb0 0000000000000016 R_PPC64_RELATIVE 1b14980 │ │ │ │ 0000000001e86fb8 0000000000000016 R_PPC64_RELATIVE 1b14990 │ │ │ │ 0000000001e86fc0 0000000000000016 R_PPC64_RELATIVE 1b149b0 │ │ │ │ 0000000001e86fc8 0000000000000016 R_PPC64_RELATIVE 1b149c8 │ │ │ │ 0000000001e86fd0 0000000000000016 R_PPC64_RELATIVE 1b149e8 │ │ │ │ 0000000001e86fd8 0000000000000016 R_PPC64_RELATIVE 1b14a00 │ │ │ │ @@ -4123,23 +4123,23 @@ │ │ │ │ 0000000001e871a0 0000000000000016 R_PPC64_RELATIVE 1b14da8 │ │ │ │ 0000000001e871a8 0000000000000016 R_PPC64_RELATIVE 1b14db0 │ │ │ │ 0000000001e871b0 0000000000000016 R_PPC64_RELATIVE 1ae6518 │ │ │ │ 0000000001e871b8 0000000000000016 R_PPC64_RELATIVE 1b14dc0 │ │ │ │ 0000000001e871c0 0000000000000016 R_PPC64_RELATIVE 1b14dd0 │ │ │ │ 0000000001e871c8 0000000000000016 R_PPC64_RELATIVE 1b14df0 │ │ │ │ 0000000001e871d0 0000000000000016 R_PPC64_RELATIVE 1b14e00 │ │ │ │ -0000000001e871d8 0000000000000016 R_PPC64_RELATIVE 1b14e78 │ │ │ │ +0000000001e871d8 0000000000000016 R_PPC64_RELATIVE 1b14e60 │ │ │ │ 0000000001e871e0 0000000000000016 R_PPC64_RELATIVE 1b14e18 │ │ │ │ 0000000001e871e8 0000000000000016 R_PPC64_RELATIVE 1b14e30 │ │ │ │ 0000000001e871f0 0000000000000016 R_PPC64_RELATIVE 1b14e48 │ │ │ │ -0000000001e871f8 0000000000000016 R_PPC64_RELATIVE 1b14e60 │ │ │ │ +0000000001e871f8 0000000000000016 R_PPC64_RELATIVE 1b14e70 │ │ │ │ 0000000001e87200 0000000000000016 R_PPC64_RELATIVE 1b14e88 │ │ │ │ 0000000001e87208 0000000000000016 R_PPC64_RELATIVE 1b14ea0 │ │ │ │ 0000000001e87210 0000000000000016 R_PPC64_RELATIVE 1b14eb8 │ │ │ │ -0000000001e87218 0000000000000016 R_PPC64_RELATIVE 1b15e98 │ │ │ │ +0000000001e87218 0000000000000016 R_PPC64_RELATIVE 1b15eb0 │ │ │ │ 0000000001e87220 0000000000000016 R_PPC64_RELATIVE 1ae4680 │ │ │ │ 0000000001e87228 0000000000000016 R_PPC64_RELATIVE 1ae51f8 │ │ │ │ 0000000001e87230 0000000000000016 R_PPC64_RELATIVE 1b14ec8 │ │ │ │ 0000000001e87238 0000000000000016 R_PPC64_RELATIVE 1b14ef0 │ │ │ │ 0000000001e87240 0000000000000016 R_PPC64_RELATIVE 1af9868 │ │ │ │ 0000000001e87248 0000000000000016 R_PPC64_RELATIVE 1b14f08 │ │ │ │ 0000000001e87250 0000000000000016 R_PPC64_RELATIVE 1b14f20 │ │ │ │ @@ -4192,18 +4192,18 @@ │ │ │ │ 0000000001e873c8 0000000000000016 R_PPC64_RELATIVE 1ae4f68 │ │ │ │ 0000000001e873d0 0000000000000016 R_PPC64_RELATIVE 1b151a0 │ │ │ │ 0000000001e873d8 0000000000000016 R_PPC64_RELATIVE 1ae4e18 │ │ │ │ 0000000001e873e0 0000000000000016 R_PPC64_RELATIVE 1b151b8 │ │ │ │ 0000000001e873e8 0000000000000016 R_PPC64_RELATIVE 1b151c8 │ │ │ │ 0000000001e873f0 0000000000000016 R_PPC64_RELATIVE 1b151d8 │ │ │ │ 0000000001e873f8 0000000000000016 R_PPC64_RELATIVE 1ae0710 │ │ │ │ -0000000001e87400 0000000000000016 R_PPC64_RELATIVE 1b15200 │ │ │ │ -0000000001e87408 0000000000000016 R_PPC64_RELATIVE 1b151e8 │ │ │ │ +0000000001e87400 0000000000000016 R_PPC64_RELATIVE 1b151e8 │ │ │ │ +0000000001e87408 0000000000000016 R_PPC64_RELATIVE 1b151f8 │ │ │ │ 0000000001e87410 0000000000000016 R_PPC64_RELATIVE 1b15210 │ │ │ │ -0000000001e87418 0000000000000016 R_PPC64_RELATIVE 1b153e0 │ │ │ │ +0000000001e87418 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ 0000000001e87420 0000000000000016 R_PPC64_RELATIVE 1b15228 │ │ │ │ 0000000001e87428 0000000000000016 R_PPC64_RELATIVE 1b15230 │ │ │ │ 0000000001e87430 0000000000000016 R_PPC64_RELATIVE 1b15240 │ │ │ │ 0000000001e87438 0000000000000016 R_PPC64_RELATIVE 1b15250 │ │ │ │ 0000000001e87440 0000000000000016 R_PPC64_RELATIVE 1ad5d08 │ │ │ │ 0000000001e87448 0000000000000016 R_PPC64_RELATIVE 1b15270 │ │ │ │ 0000000001e87450 0000000000000016 R_PPC64_RELATIVE 1ae5328 │ │ │ │ @@ -4224,15 +4224,15 @@ │ │ │ │ 0000000001e874c8 0000000000000016 R_PPC64_RELATIVE 1b15378 │ │ │ │ 0000000001e874d0 0000000000000016 R_PPC64_RELATIVE 1b15388 │ │ │ │ 0000000001e874d8 0000000000000016 R_PPC64_RELATIVE 1ad6470 │ │ │ │ 0000000001e874e0 0000000000000016 R_PPC64_RELATIVE 1b15390 │ │ │ │ 0000000001e874e8 0000000000000016 R_PPC64_RELATIVE 1b153a8 │ │ │ │ 0000000001e874f0 0000000000000016 R_PPC64_RELATIVE 1b153b8 │ │ │ │ 0000000001e874f8 0000000000000016 R_PPC64_RELATIVE 1b153c8 │ │ │ │ -0000000001e87500 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ +0000000001e87500 0000000000000016 R_PPC64_RELATIVE 1b153e8 │ │ │ │ 0000000001e87508 0000000000000016 R_PPC64_RELATIVE 1b153f0 │ │ │ │ 0000000001e87510 0000000000000016 R_PPC64_RELATIVE 1b15400 │ │ │ │ 0000000001e87518 0000000000000016 R_PPC64_RELATIVE 1adb1c0 │ │ │ │ 0000000001e87520 0000000000000016 R_PPC64_RELATIVE 1b15410 │ │ │ │ 0000000001e87528 0000000000000016 R_PPC64_RELATIVE 1b15420 │ │ │ │ 0000000001e87530 0000000000000016 R_PPC64_RELATIVE 1b15438 │ │ │ │ 0000000001e87538 0000000000000016 R_PPC64_RELATIVE 1ae4898 │ │ │ │ @@ -4385,15 +4385,15 @@ │ │ │ │ 0000000001e879d0 0000000000000016 R_PPC64_RELATIVE 1b15e58 │ │ │ │ 0000000001e879d8 0000000000000016 R_PPC64_RELATIVE 1ae48e8 │ │ │ │ 0000000001e879e0 0000000000000016 R_PPC64_RELATIVE 1b15e68 │ │ │ │ 0000000001e879e8 0000000000000016 R_PPC64_RELATIVE 1b15e80 │ │ │ │ 0000000001e879f0 0000000000000016 R_PPC64_RELATIVE 1ad1bb8 │ │ │ │ 0000000001e879f8 0000000000000016 R_PPC64_RELATIVE 1ad1aa8 │ │ │ │ 0000000001e87a00 0000000000000016 R_PPC64_RELATIVE 1b15e88 │ │ │ │ -0000000001e87a08 0000000000000016 R_PPC64_RELATIVE 1b15ea8 │ │ │ │ +0000000001e87a08 0000000000000016 R_PPC64_RELATIVE 1b15e98 │ │ │ │ 0000000001e87a10 0000000000000016 R_PPC64_RELATIVE 1b077a8 │ │ │ │ 0000000001e87a18 0000000000000016 R_PPC64_RELATIVE 1b077b0 │ │ │ │ 0000000001e87a20 0000000000000016 R_PPC64_RELATIVE 1b34438 │ │ │ │ 0000000001e87a28 0000000000000016 R_PPC64_RELATIVE 1b077a0 │ │ │ │ 0000000001e87a30 0000000000000016 R_PPC64_RELATIVE 1b156a8 │ │ │ │ 0000000001e87a38 0000000000000016 R_PPC64_RELATIVE 1b15c78 │ │ │ │ 0000000001e87a40 0000000000000016 R_PPC64_RELATIVE 1b07ac0 │ │ │ │ @@ -8886,16 +8886,16 @@ │ │ │ │ 0000000001ea1328 0000000000000016 R_PPC64_RELATIVE 1ae4840 │ │ │ │ 0000000001ea1348 0000000000000016 R_PPC64_RELATIVE 1b2ab10 │ │ │ │ 0000000001ea1368 0000000000000016 R_PPC64_RELATIVE 1b14680 │ │ │ │ 0000000001ea1388 0000000000000016 R_PPC64_RELATIVE 1ad5cd8 │ │ │ │ 0000000001ea13a8 0000000000000016 R_PPC64_RELATIVE 1aea8c8 │ │ │ │ 0000000001ea13c8 0000000000000016 R_PPC64_RELATIVE 1ad14c0 │ │ │ │ 0000000001ea13e8 0000000000000016 R_PPC64_RELATIVE 1b2ab18 │ │ │ │ -0000000001ea1408 0000000000000016 R_PPC64_RELATIVE 1b14978 │ │ │ │ -0000000001ea1428 0000000000000016 R_PPC64_RELATIVE 1b14968 │ │ │ │ +0000000001ea1408 0000000000000016 R_PPC64_RELATIVE 1b14968 │ │ │ │ +0000000001ea1428 0000000000000016 R_PPC64_RELATIVE 1b14970 │ │ │ │ 0000000001ea1448 0000000000000016 R_PPC64_RELATIVE 1b070a0 │ │ │ │ 0000000001ea1468 0000000000000016 R_PPC64_RELATIVE 1ad5d08 │ │ │ │ 0000000001ea1488 0000000000000016 R_PPC64_RELATIVE 1b14da8 │ │ │ │ 0000000001ea14a8 0000000000000016 R_PPC64_RELATIVE 1b14dc0 │ │ │ │ 0000000001ea14c8 0000000000000016 R_PPC64_RELATIVE 1b2ab28 │ │ │ │ 0000000001ea14e8 0000000000000016 R_PPC64_RELATIVE 1b14ec8 │ │ │ │ 0000000001ea1508 0000000000000016 R_PPC64_RELATIVE 1b2ab38 │ │ │ │ @@ -9027,16 +9027,16 @@ │ │ │ │ 0000000001ea24c8 0000000000000016 R_PPC64_RELATIVE 1b14900 │ │ │ │ 0000000001ea24e8 0000000000000016 R_PPC64_RELATIVE 1b2af60 │ │ │ │ 0000000001ea2508 0000000000000016 R_PPC64_RELATIVE 1b14f08 │ │ │ │ 0000000001ea2528 0000000000000016 R_PPC64_RELATIVE 1b2af70 │ │ │ │ 0000000001ea2548 0000000000000016 R_PPC64_RELATIVE 1b14f20 │ │ │ │ 0000000001ea2568 0000000000000016 R_PPC64_RELATIVE 1ad5cf8 │ │ │ │ 0000000001ea2588 0000000000000016 R_PPC64_RELATIVE 1b2af88 │ │ │ │ -0000000001ea25a8 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ -0000000001ea25c8 0000000000000016 R_PPC64_RELATIVE 1b153e0 │ │ │ │ +0000000001ea25a8 0000000000000016 R_PPC64_RELATIVE 1b153e8 │ │ │ │ +0000000001ea25c8 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ 0000000001ea25e8 0000000000000016 R_PPC64_RELATIVE 1b153f0 │ │ │ │ 0000000001ea2608 0000000000000016 R_PPC64_RELATIVE 1b2afa0 │ │ │ │ 0000000001ea2628 0000000000000016 R_PPC64_RELATIVE 1b15460 │ │ │ │ 0000000001ea2648 0000000000000016 R_PPC64_RELATIVE 1b15470 │ │ │ │ 0000000001ea2668 0000000000000016 R_PPC64_RELATIVE 1b15e20 │ │ │ │ 0000000001ea2688 0000000000000016 R_PPC64_RELATIVE 1b2afb0 │ │ │ │ 0000000001ea26a8 0000000000000016 R_PPC64_RELATIVE 1ad1aa8 │ │ │ │ @@ -9045,23 +9045,23 @@ │ │ │ │ 0000000001ea2708 0000000000000016 R_PPC64_RELATIVE 1b142c0 │ │ │ │ 0000000001ea2728 0000000000000016 R_PPC64_RELATIVE 1b142d8 │ │ │ │ 0000000001ea2748 0000000000000016 R_PPC64_RELATIVE 1b14310 │ │ │ │ 0000000001ea2768 0000000000000016 R_PPC64_RELATIVE 1b14e18 │ │ │ │ 0000000001ea2788 0000000000000016 R_PPC64_RELATIVE 1b14e28 │ │ │ │ 0000000001ea27a8 0000000000000016 R_PPC64_RELATIVE 1b14e30 │ │ │ │ 0000000001ea27c8 0000000000000016 R_PPC64_RELATIVE 1b14e48 │ │ │ │ -0000000001ea27e8 0000000000000016 R_PPC64_RELATIVE 1b14e60 │ │ │ │ -0000000001ea2808 0000000000000016 R_PPC64_RELATIVE 1b14e78 │ │ │ │ +0000000001ea27e8 0000000000000016 R_PPC64_RELATIVE 1b14e70 │ │ │ │ +0000000001ea2808 0000000000000016 R_PPC64_RELATIVE 1b14e60 │ │ │ │ 0000000001ea2828 0000000000000016 R_PPC64_RELATIVE 1b14e88 │ │ │ │ 0000000001ea2848 0000000000000016 R_PPC64_RELATIVE 1b14ea0 │ │ │ │ 0000000001ea2868 0000000000000016 R_PPC64_RELATIVE 1b14eb8 │ │ │ │ 0000000001ea2888 0000000000000016 R_PPC64_RELATIVE 1b15210 │ │ │ │ 0000000001ea28a8 0000000000000016 R_PPC64_RELATIVE 1b2aff0 │ │ │ │ -0000000001ea28c8 0000000000000016 R_PPC64_RELATIVE 1b15ea8 │ │ │ │ -0000000001ea28e8 0000000000000016 R_PPC64_RELATIVE 1b15e98 │ │ │ │ +0000000001ea28c8 0000000000000016 R_PPC64_RELATIVE 1b15e98 │ │ │ │ +0000000001ea28e8 0000000000000016 R_PPC64_RELATIVE 1b15eb0 │ │ │ │ 0000000001ea2908 0000000000000016 R_PPC64_RELATIVE 1b14730 │ │ │ │ 0000000001ea2928 0000000000000016 R_PPC64_RELATIVE 1b2b008 │ │ │ │ 0000000001ea2948 0000000000000016 R_PPC64_RELATIVE 1b147b0 │ │ │ │ 0000000001ea2968 0000000000000016 R_PPC64_RELATIVE 1ae4440 │ │ │ │ 0000000001ea2988 0000000000000016 R_PPC64_RELATIVE 1b2b020 │ │ │ │ 0000000001ea29a8 0000000000000016 R_PPC64_RELATIVE 1b147f0 │ │ │ │ 0000000001ea29c8 0000000000000016 R_PPC64_RELATIVE 1b2b038 │ │ │ │ @@ -9137,16 +9137,16 @@ │ │ │ │ 0000000001ea3288 0000000000000016 R_PPC64_RELATIVE 1ae4c38 │ │ │ │ 0000000001ea32a8 0000000000000016 R_PPC64_RELATIVE 1b15390 │ │ │ │ 0000000001ea32c8 0000000000000016 R_PPC64_RELATIVE 1b2b338 │ │ │ │ 0000000001ea32e8 0000000000000016 R_PPC64_RELATIVE 1b14b38 │ │ │ │ 0000000001ea3308 0000000000000016 R_PPC64_RELATIVE 1b2b350 │ │ │ │ 0000000001ea3328 0000000000000016 R_PPC64_RELATIVE 1ae4370 │ │ │ │ 0000000001ea3348 0000000000000016 R_PPC64_RELATIVE 1b14f58 │ │ │ │ -0000000001ea3368 0000000000000016 R_PPC64_RELATIVE 1b15200 │ │ │ │ -0000000001ea3388 0000000000000016 R_PPC64_RELATIVE 1b151e8 │ │ │ │ +0000000001ea3368 0000000000000016 R_PPC64_RELATIVE 1b151e8 │ │ │ │ +0000000001ea3388 0000000000000016 R_PPC64_RELATIVE 1b151f8 │ │ │ │ 0000000001ea33a8 0000000000000016 R_PPC64_RELATIVE 1b15308 │ │ │ │ 0000000001ea33c8 0000000000000016 R_PPC64_RELATIVE 1b15320 │ │ │ │ 0000000001ea33e8 0000000000000016 R_PPC64_RELATIVE 1b153a8 │ │ │ │ 0000000001ea3408 0000000000000016 R_PPC64_RELATIVE 1b153b8 │ │ │ │ 0000000001ea3428 0000000000000016 R_PPC64_RELATIVE 1ae4770 │ │ │ │ 0000000001ea3448 0000000000000016 R_PPC64_RELATIVE 1b2b368 │ │ │ │ 0000000001ea3468 0000000000000016 R_PPC64_RELATIVE 1b140f0 │ │ │ │ @@ -9884,15 +9884,15 @@ │ │ │ │ 0000000001ea8458 0000000000000016 R_PPC64_RELATIVE 1b3fa00 │ │ │ │ 0000000001ea8460 0000000000000016 R_PPC64_RELATIVE 1b3b298 │ │ │ │ 0000000001ea8480 0000000000000016 R_PPC64_RELATIVE 1b3f9e0 │ │ │ │ 0000000001ea8488 0000000000000016 R_PPC64_RELATIVE 1b3b2a0 │ │ │ │ 0000000001ea84a8 0000000000000016 R_PPC64_RELATIVE 1b3f9c8 │ │ │ │ 0000000001ea84b0 0000000000000016 R_PPC64_RELATIVE 1b3b2a8 │ │ │ │ 0000000001ea84d0 0000000000000016 R_PPC64_RELATIVE 1b3f9b0 │ │ │ │ -0000000001ea84d8 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ +0000000001ea84d8 0000000000000016 R_PPC64_RELATIVE 1b153e8 │ │ │ │ 0000000001ea84f8 0000000000000016 R_PPC64_RELATIVE 1b3f9a0 │ │ │ │ 0000000001ea8500 0000000000000016 R_PPC64_RELATIVE 1b3b2b8 │ │ │ │ 0000000001ea8520 0000000000000016 R_PPC64_RELATIVE 1b3f950 │ │ │ │ 0000000001ea8528 0000000000000016 R_PPC64_RELATIVE 1b3b2c0 │ │ │ │ 0000000001ea8548 0000000000000016 R_PPC64_RELATIVE 1b3f930 │ │ │ │ 0000000001ea8550 0000000000000016 R_PPC64_RELATIVE 1b3b2d0 │ │ │ │ 0000000001ea8570 0000000000000016 R_PPC64_RELATIVE 1b3f918 │ │ │ │ @@ -10238,15 +10238,15 @@ │ │ │ │ 0000000001eaa000 0000000000000016 R_PPC64_RELATIVE 1b3fa00 │ │ │ │ 0000000001eaa008 0000000000000016 R_PPC64_RELATIVE 1b3b298 │ │ │ │ 0000000001eaa028 0000000000000016 R_PPC64_RELATIVE 1b3f9e0 │ │ │ │ 0000000001eaa030 0000000000000016 R_PPC64_RELATIVE 1b3b2a0 │ │ │ │ 0000000001eaa050 0000000000000016 R_PPC64_RELATIVE 1b3f9c8 │ │ │ │ 0000000001eaa058 0000000000000016 R_PPC64_RELATIVE 1b3b2a8 │ │ │ │ 0000000001eaa078 0000000000000016 R_PPC64_RELATIVE 1b3f9b0 │ │ │ │ -0000000001eaa080 0000000000000016 R_PPC64_RELATIVE 1b153d8 │ │ │ │ +0000000001eaa080 0000000000000016 R_PPC64_RELATIVE 1b153e8 │ │ │ │ 0000000001eaa0a0 0000000000000016 R_PPC64_RELATIVE 1b3f9a0 │ │ │ │ 0000000001eaa0a8 0000000000000016 R_PPC64_RELATIVE 1b3b2b8 │ │ │ │ 0000000001eaa0c8 0000000000000016 R_PPC64_RELATIVE 1b3f950 │ │ │ │ 0000000001eaa0d0 0000000000000016 R_PPC64_RELATIVE 1b3b2c0 │ │ │ │ 0000000001eaa0f0 0000000000000016 R_PPC64_RELATIVE 1b3f930 │ │ │ │ 0000000001eaa0f8 0000000000000016 R_PPC64_RELATIVE 1b3b2d0 │ │ │ │ 0000000001eaa118 0000000000000016 R_PPC64_RELATIVE 1b3f918 │ │ │ ├── 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: 9eb9ea8fe0396e2f0c049a97a4793a04dd14dc60 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 4b9a96b574592b771dc9c55c98354f16818b8f5c │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -23614,16 +23614,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition-strategy │ │ │ │ partition │ │ │ │ +partition-strategy │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -23654,16 +23654,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 │ │ │ │ @@ -23796,16 +23796,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -partitions-out │ │ │ │ write-partitions-to │ │ │ │ +partitions-out │ │ │ │ [options] [input-file] │ │ │ │ Without an input file, or with `-', cvc5 reads from standard input. │ │ │ │ cvc5 options: │ │ │ │ +:iL:o:qt:vhHs:Vm │ │ │ │ ' missing its required argument │ │ │ │ can't understand option ` │ │ │ │ Common options: │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -79303,22 +79303,22 @@ │ │ │ │ li r9,86 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,10520 │ │ │ │ addi r3,r1,3528 │ │ │ │ stw r9,3520(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,87 │ │ │ │ - addis r4,r2,-55 │ │ │ │ - addi r4,r4,31704 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,10544 │ │ │ │ addi r3,r1,3568 │ │ │ │ stw r9,3560(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,88 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,10544 │ │ │ │ + addis r4,r2,-55 │ │ │ │ + addi r4,r4,31704 │ │ │ │ addi r3,r1,3608 │ │ │ │ stw r9,3600(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,88 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,11056 │ │ │ │ addi r3,r1,3648 │ │ │ │ @@ -79922,15 +79922,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,11880 │ │ │ │ addi r3,r1,7648 │ │ │ │ stw r9,7640(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,188 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,11896 │ │ │ │ + addi r4,r4,11888 │ │ │ │ addi r3,r1,7688 │ │ │ │ stw r9,7680(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,188 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,26536 │ │ │ │ addi r3,r1,7728 │ │ │ │ @@ -80299,40 +80299,40 @@ │ │ │ │ li r9,249 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,14208 │ │ │ │ addi r3,r1,10168 │ │ │ │ stw r9,10160(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,250 │ │ │ │ - addis r4,r2,-58 │ │ │ │ - addi r4,r4,21920 │ │ │ │ + addis r4,r2,-61 │ │ │ │ + addi r4,r4,16904 │ │ │ │ addi r3,r1,10208 │ │ │ │ stw r9,10200(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,251 │ │ │ │ - addis r4,r2,-61 │ │ │ │ - addi r4,r4,16904 │ │ │ │ + addis r4,r2,-58 │ │ │ │ + addi r4,r4,21920 │ │ │ │ addi r3,r1,10248 │ │ │ │ stw r9,10240(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,251 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,12968 │ │ │ │ addi r3,r1,10288 │ │ │ │ stw r9,10280(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,252 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,12976 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,18968 │ │ │ │ addi r3,r1,10328 │ │ │ │ stw r9,10320(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,253 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,18968 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,12976 │ │ │ │ addi r3,r1,10368 │ │ │ │ stw r9,10360(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,253 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,12992 │ │ │ │ addi r3,r1,10408 │ │ │ │ @@ -80384,15 +80384,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13152 │ │ │ │ addi r3,r1,10728 │ │ │ │ stw r9,10720(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,13176 │ │ │ │ + addi r4,r4,13168 │ │ │ │ addi r3,r1,10768 │ │ │ │ stw r9,10760(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13192 │ │ │ │ addi r3,r1,10808 │ │ │ │ @@ -80539,22 +80539,22 @@ │ │ │ │ li r9,285 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,-528 │ │ │ │ addi r3,r1,11768 │ │ │ │ stw r9,11760(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,286 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,13528 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,13560 │ │ │ │ addi r3,r1,11808 │ │ │ │ stw r9,11800(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,287 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,13560 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,13528 │ │ │ │ addi r3,r1,11848 │ │ │ │ stw r9,11840(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,287 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,11976 │ │ │ │ addi r3,r1,11888 │ │ │ │ @@ -80780,15 +80780,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14056 │ │ │ │ addi r3,r1,13368 │ │ │ │ stw r9,13360(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,325 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,14080 │ │ │ │ + addi r4,r4,14072 │ │ │ │ addi r3,r1,13408 │ │ │ │ stw r9,13400(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,325 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14096 │ │ │ │ addi r3,r1,13448 │ │ │ │ @@ -80899,22 +80899,22 @@ │ │ │ │ li r9,343 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14432 │ │ │ │ addi r3,r1,14168 │ │ │ │ stw r9,14160(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,344 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14440 │ │ │ │ + addis r4,r2,-61 │ │ │ │ + addi r4,r4,16928 │ │ │ │ addi r3,r1,14208 │ │ │ │ stw r9,14200(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,345 │ │ │ │ - addis r4,r2,-61 │ │ │ │ - addi r4,r4,16928 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14440 │ │ │ │ addi r3,r1,14248 │ │ │ │ stw r9,14240(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,345 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14456 │ │ │ │ addi r3,r1,14288 │ │ │ │ @@ -80960,15 +80960,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14552 │ │ │ │ addi r3,r1,14568 │ │ │ │ stw r9,14560(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,14560 │ │ │ │ + addi r4,r4,14568 │ │ │ │ addi r3,r1,14608 │ │ │ │ stw r9,14600(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14576 │ │ │ │ addi r3,r1,14648 │ │ │ │ @@ -81049,22 +81049,22 @@ │ │ │ │ li r9,366 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,14744 │ │ │ │ addi r3,r1,15168 │ │ │ │ stw r9,15160(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,367 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14768 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,10360 │ │ │ │ addi r3,r1,15208 │ │ │ │ stw r9,15200(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,368 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,10360 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14768 │ │ │ │ addi r3,r1,15248 │ │ │ │ stw r9,15240(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,368 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,10512 │ │ │ │ addi r3,r1,15288 │ │ │ │ @@ -81934,15 +81934,15 @@ │ │ │ │ addi r3,r1,21048 │ │ │ │ stw r9,21040(r1) │ │ │ │ bl 17ddc98 │ │ │ │ li r9,513 │ │ │ │ addi r31,r1,21088 │ │ │ │ addis r4,r2,-57 │ │ │ │ mr r3,r31 │ │ │ │ - addi r4,r4,17320 │ │ │ │ + addi r4,r4,17328 │ │ │ │ stw r9,21080(r1) │ │ │ │ bl 17ddc98 │ │ │ │ addis r9,r2,-54 │ │ │ │ li r10,1 │ │ │ │ addis r29,r2,1 │ │ │ │ li r8,513 │ │ │ │ lfs f0,5340(r9) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ ld r2,24(r1) │ │ │ │ ld r3,32(r30) │ │ │ │ ld r9,0(r3) │ │ │ │ rldicr r10,r9,4,19 │ │ │ │ srdi r10,r10,4 │ │ │ │ cmpd r10,r29 │ │ │ │ beq 10b3934 , std::allocator >::__resize_and_overwrite(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x181a4> │ │ │ │ -[ Too much input for diff (SHA256: d1d48bb36a83de109b3bacb50b8b376dd8d03fd30b9a1716432ac6c3c649697f) ] │ │ │ │ +[ Too much input for diff (SHA256: a4ed11188fbe4b156beaa8e35af1756a3889e5a915a15ea60c30805333ee3ddf) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18913,16 +18913,16 @@ │ │ │ │ 0x01b148f0 696e7374 2d776865 6e2d7068 61736500 inst-when-phase. │ │ │ │ 0x01b14900 696e7465 72616374 69766500 00000000 interactive..... │ │ │ │ 0x01b14910 696e7465 72706f6c 616e7473 2d6d6f64 interpolants-mod │ │ │ │ 0x01b14920 65000000 00000000 6974652d 73696d70 e.......ite-simp │ │ │ │ 0x01b14930 00000000 00000000 6a682d72 6c762d6f ........jh-rlv-o │ │ │ │ 0x01b14940 72646572 00000000 6a682d73 6b6f6c65 rder....jh-skole │ │ │ │ 0x01b14950 6d000000 00000000 6a682d73 6b6f6c65 m.......jh-skole │ │ │ │ - 0x01b14960 6d2d726c 76000000 696e7075 742d6c61 m-rlv...input-la │ │ │ │ - 0x01b14970 6e677561 67650000 6c616e67 00000000 nguage..lang.... │ │ │ │ + 0x01b14960 6d2d726c 76000000 6c616e67 00000000 m-rlv...lang.... │ │ │ │ + 0x01b14970 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ 0x01b14980 6c656d6d 612d696e 70726f63 65737300 lemma-inprocess. │ │ │ │ 0x01b14990 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01b149a0 696e6665 722d6571 2d6c6974 00000000 infer-eq-lit.... │ │ │ │ 0x01b149b0 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01b149c0 73756273 00000000 6c656d6d 61732d6f subs....lemmas-o │ │ │ │ 0x01b149d0 6e2d7265 706c6179 2d666169 6c757265 n-replay-failure │ │ │ │ 0x01b149e0 00000000 00000000 6c667363 2d657870 ........lfsc-exp │ │ │ │ @@ -18993,17 +18993,17 @@ │ │ │ │ 0x01b14df0 70617273 696e672d 6d6f6465 00000000 parsing-mode.... │ │ │ │ 0x01b14e00 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ 0x01b14e10 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x01b14e20 6e2d6368 65636b00 63686563 6b000000 n-check.check... │ │ │ │ 0x01b14e30 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x01b14e40 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x01b14e50 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ - 0x01b14e60 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ - 0x01b14e70 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ - 0x01b14e80 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ + 0x01b14e60 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ + 0x01b14e70 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ + 0x01b14e80 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ 0x01b14e90 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ 0x01b14ea0 70617274 6974696f 6e2d746c 696d6974 partition-tlimit │ │ │ │ 0x01b14eb0 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x01b14ec0 6e2d7768 656e0000 706c7567 696e2d6e n-when..plugin-n │ │ │ │ 0x01b14ed0 6f746966 792d7361 742d636c 61757365 otify-sat-clause │ │ │ │ 0x01b14ee0 2d696e2d 736f6c76 65000000 00000000 -in-solve....... │ │ │ │ 0x01b14ef0 706c7567 696e2d73 68617265 2d736b6f plugin-share-sko │ │ │ │ @@ -19050,16 +19050,16 @@ │ │ │ │ 0x01b15180 6f6e732d 73746570 2d6c696d 69740000 ons-step-limit.. │ │ │ │ 0x01b15190 70726f70 2d726f77 2d6c656e 67746800 prop-row-length. │ │ │ │ 0x01b151a0 7175616e 742d616c 7068612d 65717569 quant-alpha-equi │ │ │ │ 0x01b151b0 76000000 00000000 7175616e 742d6675 v.......quant-fu │ │ │ │ 0x01b151c0 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x01b151d0 64000000 00000000 7175616e 742d7265 d.......quant-re │ │ │ │ 0x01b151e0 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f │ │ │ │ - 0x01b151f0 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ - 0x01b15200 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ + 0x01b151f0 72657100 00000000 72616e64 6f6d2d66 req.....random-f │ │ │ │ + 0x01b15200 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ 0x01b15210 72616e64 6f6d2d70 61727469 74696f6e random-partition │ │ │ │ 0x01b15220 696e6700 00000000 72652d65 6c696d00 ing.....re-elim. │ │ │ │ 0x01b15230 72652d66 69727374 2d636c61 73730000 re-first-class.. │ │ │ │ 0x01b15240 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x01b15250 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x01b15260 6f64792d 7465726d 73000000 00000000 ody-terms....... │ │ │ │ 0x01b15270 72656c61 74696f6e 616c2d74 72696767 relational-trigg │ │ │ │ @@ -19080,16 +19080,16 @@ │ │ │ │ 0x01b15360 726c696d 69740000 726c696d 69742d70 rlimit..rlimit-p │ │ │ │ 0x01b15370 65720000 00000000 72722d74 75726e73 er......rr-turns │ │ │ │ 0x01b15380 00000000 00000000 72776569 67687400 ........rweight. │ │ │ │ 0x01b15390 7361742d 70726f6f 662d6d69 6e2d6469 sat-proof-min-di │ │ │ │ 0x01b153a0 6d616373 00000000 7361742d 72616e64 macs....sat-rand │ │ │ │ 0x01b153b0 6f6d2d73 65656400 7361742d 736f6c76 om-seed.sat-solv │ │ │ │ 0x01b153c0 65720000 00000000 73652d73 6f6c7665 er......se-solve │ │ │ │ - 0x01b153d0 2d696e74 00000000 73656564 00000000 -int....seed.... │ │ │ │ - 0x01b153e0 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ + 0x01b153d0 2d696e74 00000000 72616e64 6f6d2d73 -int....random-s │ │ │ │ + 0x01b153e0 65656400 00000000 73656564 00000000 eed.....seed.... │ │ │ │ 0x01b153f0 73656776 2d737069 6e000000 00000000 segv-spin....... │ │ │ │ 0x01b15400 73656d61 6e746963 2d636865 636b7300 semantic-checks. │ │ │ │ 0x01b15410 7365702d 6d696e2d 72656669 6e650000 sep-min-refine.. │ │ │ │ 0x01b15420 7365702d 7072652d 736b6f6c 656d2d65 sep-pre-skolem-e │ │ │ │ 0x01b15430 6d700000 00000000 7365712d 61727261 mp......seq-arra │ │ │ │ 0x01b15440 79000000 00000000 73657473 2d70726f y.......sets-pro │ │ │ │ 0x01b15450 78792d6c 656d6d61 73000000 00000000 xy-lemmas....... │ │ │ │ @@ -19252,17 +19252,17 @@ │ │ │ │ 0x01b15e20 7573652d 706f7274 666f6c69 6f000000 use-portfolio... │ │ │ │ 0x01b15e30 7573652d 736f6900 75736572 2d706174 use-soi.user-pat │ │ │ │ 0x01b15e40 00000000 00000000 75736572 2d706f6f ........user-poo │ │ │ │ 0x01b15e50 6c000000 00000000 7661722d 656c696d l.......var-elim │ │ │ │ 0x01b15e60 2d717561 6e740000 7661722d 696e6571 -quant..var-ineq │ │ │ │ 0x01b15e70 2d656c69 6d2d7175 616e7400 00000000 -elim-quant..... │ │ │ │ 0x01b15e80 76657262 6f736500 77662d63 6865636b verbose.wf-check │ │ │ │ - 0x01b15e90 696e6700 00000000 70617274 6974696f ing.....partitio │ │ │ │ - 0x01b15ea0 6e732d6f 75740000 77726974 652d7061 ns-out..write-pa │ │ │ │ - 0x01b15eb0 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x01b15e90 696e6700 00000000 77726974 652d7061 ing.....write-pa │ │ │ │ + 0x01b15ea0 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x01b15eb0 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ 0x01b15ec0 75736167 653a2000 205b6f70 74696f6e usage: . [option │ │ │ │ 0x01b15ed0 735d205b 696e7075 742d6669 6c655d00 s] [input-file]. │ │ │ │ 0x01b15ee0 57697468 6f757420 616e2069 6e707574 Without an input │ │ │ │ 0x01b15ef0 2066696c 652c206f 72207769 74682060 file, or with ` │ │ │ │ 0x01b15f00 2d272c20 63766335 20726561 64732066 -', cvc5 reads f │ │ │ │ 0x01b15f10 726f6d20 7374616e 64617264 20696e70 rom standard inp │ │ │ │ 0x01b15f20 75742e00 00000000 63766335 206f7074 ut......cvc5 opt │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2028,23 +2028,23 @@ │ │ │ │ 0x01e86ea8 087ead01 00000000 307bb001 00000000 .~......0{...... │ │ │ │ 0x01e86eb8 3848b101 00000000 5048b101 00000000 8H......PH...... │ │ │ │ 0x01e86ec8 e051ae01 00000000 6048b101 00000000 .Q......`H...... │ │ │ │ 0x01e86ed8 c04dae01 00000000 6848b101 00000000 .M......hH...... │ │ │ │ 0x01e86ee8 7848b101 00000000 9048b101 00000000 xH.......H...... │ │ │ │ 0x01e86ef8 a048b101 00000000 c8a8ae01 00000000 .H.............. │ │ │ │ 0x01e86f08 a848b101 00000000 c014ad01 00000000 .H.............. │ │ │ │ - 0x01e86f18 6849b101 00000000 c048b101 00000000 hI.......H...... │ │ │ │ + 0x01e86f18 7049b101 00000000 c048b101 00000000 pI.......H...... │ │ │ │ 0x01e86f28 d048b101 00000000 e048b101 00000000 .H.......H...... │ │ │ │ 0x01e86f38 7847ae01 00000000 484eae01 00000000 xG......HN...... │ │ │ │ 0x01e86f48 f048b101 00000000 204fae01 00000000 .H...... O...... │ │ │ │ 0x01e86f58 0049b101 00000000 f84fb101 00000000 .I.......O...... │ │ │ │ 0x01e86f68 1049b101 00000000 304fae01 00000000 .I......0O...... │ │ │ │ 0x01e86f78 584fae01 00000000 2849b101 00000000 XO......(I...... │ │ │ │ 0x01e86f88 3849b101 00000000 4849b101 00000000 8I......HI...... │ │ │ │ - 0x01e86f98 5849b101 00000000 7849b101 00000000 XI......xI...... │ │ │ │ + 0x01e86f98 5849b101 00000000 6849b101 00000000 XI......hI...... │ │ │ │ 0x01e86fa8 a882ad01 00000000 8049b101 00000000 .........I...... │ │ │ │ 0x01e86fb8 9049b101 00000000 b049b101 00000000 .I.......I...... │ │ │ │ 0x01e86fc8 c849b101 00000000 e849b101 00000000 .I.......I...... │ │ │ │ 0x01e86fd8 004ab101 00000000 104ab101 00000000 .J.......J...... │ │ │ │ 0x01e86fe8 2048ae01 00000000 284ab101 00000000 H......(J...... │ │ │ │ 0x01e86ff8 404ab101 00000000 504dae01 00000000 @J......PM...... │ │ │ │ 0x01e87008 584ab101 00000000 704ab101 00000000 XJ......pJ...... │ │ │ │ @@ -2072,19 +2072,19 @@ │ │ │ │ 0x01e87168 684db101 00000000 c043ae01 00000000 hM.......C...... │ │ │ │ 0x01e87178 a052ae01 00000000 704db101 00000000 .R......pM...... │ │ │ │ 0x01e87188 884db101 00000000 8052ad01 00000000 .M.......R...... │ │ │ │ 0x01e87198 a070b001 00000000 a84db101 00000000 .p.......M...... │ │ │ │ 0x01e871a8 b04db101 00000000 1865ae01 00000000 .M.......e...... │ │ │ │ 0x01e871b8 c04db101 00000000 d04db101 00000000 .M.......M...... │ │ │ │ 0x01e871c8 f04db101 00000000 004eb101 00000000 .M.......N...... │ │ │ │ - 0x01e871d8 784eb101 00000000 184eb101 00000000 xN.......N...... │ │ │ │ + 0x01e871d8 604eb101 00000000 184eb101 00000000 `N.......N...... │ │ │ │ 0x01e871e8 304eb101 00000000 484eb101 00000000 0N......HN...... │ │ │ │ - 0x01e871f8 604eb101 00000000 884eb101 00000000 `N.......N...... │ │ │ │ + 0x01e871f8 704eb101 00000000 884eb101 00000000 pN.......N...... │ │ │ │ 0x01e87208 a04eb101 00000000 b84eb101 00000000 .N.......N...... │ │ │ │ - 0x01e87218 985eb101 00000000 8046ae01 00000000 .^.......F...... │ │ │ │ + 0x01e87218 b05eb101 00000000 8046ae01 00000000 .^.......F...... │ │ │ │ 0x01e87228 f851ae01 00000000 c84eb101 00000000 .Q.......N...... │ │ │ │ 0x01e87238 f04eb101 00000000 6898af01 00000000 .N......h....... │ │ │ │ 0x01e87248 084fb101 00000000 204fb101 00000000 .O...... O...... │ │ │ │ 0x01e87258 304fb101 00000000 3047ae01 00000000 0O......0G...... │ │ │ │ 0x01e87268 5847ae01 00000000 984dae01 00000000 XG.......M...... │ │ │ │ 0x01e87278 d84eae01 00000000 484fb101 00000000 .N......HO...... │ │ │ │ 0x01e87288 584fb101 00000000 704fb101 00000000 XO......pO...... │ │ │ │ @@ -2106,31 +2106,31 @@ │ │ │ │ 0x01e87388 e850b101 00000000 0851b101 00000000 .P.......Q...... │ │ │ │ 0x01e87398 2051b101 00000000 3851b101 00000000 Q......8Q...... │ │ │ │ 0x01e873a8 5051b101 00000000 7051b101 00000000 PQ......pQ...... │ │ │ │ 0x01e873b8 384cae01 00000000 9051b101 00000000 8L.......Q...... │ │ │ │ 0x01e873c8 684fae01 00000000 a051b101 00000000 hO.......Q...... │ │ │ │ 0x01e873d8 184eae01 00000000 b851b101 00000000 .N.......Q...... │ │ │ │ 0x01e873e8 c851b101 00000000 d851b101 00000000 .Q.......Q...... │ │ │ │ - 0x01e873f8 1007ae01 00000000 0052b101 00000000 .........R...... │ │ │ │ - 0x01e87408 e851b101 00000000 1052b101 00000000 .Q.......R...... │ │ │ │ - 0x01e87418 e053b101 00000000 2852b101 00000000 .S......(R...... │ │ │ │ + 0x01e873f8 1007ae01 00000000 e851b101 00000000 .........Q...... │ │ │ │ + 0x01e87408 f851b101 00000000 1052b101 00000000 .Q.......R...... │ │ │ │ + 0x01e87418 d853b101 00000000 2852b101 00000000 .S......(R...... │ │ │ │ 0x01e87428 3052b101 00000000 4052b101 00000000 0R......@R...... │ │ │ │ 0x01e87438 5052b101 00000000 085dad01 00000000 PR.......]...... │ │ │ │ 0x01e87448 7052b101 00000000 2853ae01 00000000 pR......(S...... │ │ │ │ 0x01e87458 8852b101 00000000 8848ae01 00000000 .R.......H...... │ │ │ │ 0x01e87468 4851ae01 00000000 a052b101 00000000 HQ.......R...... │ │ │ │ 0x01e87478 c052b101 00000000 d852b101 00000000 .R.......R...... │ │ │ │ 0x01e87488 f052b101 00000000 205dad01 00000000 .R...... ]...... │ │ │ │ 0x01e87498 0853b101 00000000 2053b101 00000000 .S...... S...... │ │ │ │ 0x01e874a8 3053b101 00000000 4053b101 00000000 0S......@S...... │ │ │ │ 0x01e874b8 6053b101 00000000 6853b101 00000000 `S......hS...... │ │ │ │ 0x01e874c8 7853b101 00000000 8853b101 00000000 xS.......S...... │ │ │ │ 0x01e874d8 7064ad01 00000000 9053b101 00000000 pd.......S...... │ │ │ │ 0x01e874e8 a853b101 00000000 b853b101 00000000 .S.......S...... │ │ │ │ - 0x01e874f8 c853b101 00000000 d853b101 00000000 .S.......S...... │ │ │ │ + 0x01e874f8 c853b101 00000000 e853b101 00000000 .S.......S...... │ │ │ │ 0x01e87508 f053b101 00000000 0054b101 00000000 .S.......T...... │ │ │ │ 0x01e87518 c0b1ad01 00000000 1054b101 00000000 .........T...... │ │ │ │ 0x01e87528 2054b101 00000000 3854b101 00000000 T......8T...... │ │ │ │ 0x01e87538 9848ae01 00000000 c048ae01 00000000 .H.......H...... │ │ │ │ 0x01e87548 4854b101 00000000 6054b101 00000000 HT......`T...... │ │ │ │ 0x01e87558 7054b101 00000000 8054b101 00000000 pT.......T...... │ │ │ │ 0x01e87568 2051ae01 00000000 9854b101 00000000 Q.......T...... │ │ │ │ @@ -2203,15 +2203,15 @@ │ │ │ │ 0x01e87998 384aae01 00000000 005eb101 00000000 8J.......^...... │ │ │ │ 0x01e879a8 105eb101 00000000 205eb101 00000000 .^...... ^...... │ │ │ │ 0x01e879b8 305eb101 00000000 385eb101 00000000 0^......8^...... │ │ │ │ 0x01e879c8 485eb101 00000000 585eb101 00000000 H^......X^...... │ │ │ │ 0x01e879d8 e848ae01 00000000 685eb101 00000000 .H......h^...... │ │ │ │ 0x01e879e8 805eb101 00000000 b81bad01 00000000 .^.............. │ │ │ │ 0x01e879f8 a81aad01 00000000 885eb101 00000000 .........^...... │ │ │ │ - 0x01e87a08 a85eb101 00000000 a877b001 00000000 .^.......w...... │ │ │ │ + 0x01e87a08 985eb101 00000000 a877b001 00000000 .^.......w...... │ │ │ │ 0x01e87a18 b077b001 00000000 3844b301 00000000 .w......8D...... │ │ │ │ 0x01e87a28 a077b001 00000000 a856b101 00000000 .w.......V...... │ │ │ │ 0x01e87a38 785cb101 00000000 c07ab001 00000000 x\.......z...... │ │ │ │ 0x01e87a48 a01cb301 00000000 180fae01 00000000 ................ │ │ │ │ 0x01e87a58 784cae01 00000000 1865ad01 00000000 xL.......e...... │ │ │ │ 0x01e87a68 3065ad01 00000000 3095b001 00000000 0e......0....... │ │ │ │ 0x01e87a78 9045ae01 00000000 9095b001 00000000 .E.............. │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -316,17 +316,17 @@ │ │ │ │ 0x01ea1390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea13a0 75010000 00000000 c8a8ae01 00000000 u............... │ │ │ │ 0x01ea13b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea13c0 76010000 00000000 c014ad01 00000000 v............... │ │ │ │ 0x01ea13d0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea13e0 77010000 00000000 18abb201 00000000 w............... │ │ │ │ 0x01ea13f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea1400 78010000 00000000 7849b101 00000000 x.......xI...... │ │ │ │ + 0x01ea1400 78010000 00000000 6849b101 00000000 x.......hI...... │ │ │ │ 0x01ea1410 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea1420 79010000 00000000 6849b101 00000000 y.......hI...... │ │ │ │ + 0x01ea1420 79010000 00000000 7049b101 00000000 y.......pI...... │ │ │ │ 0x01ea1430 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea1440 7a010000 00000000 a070b001 00000000 z........p...... │ │ │ │ 0x01ea1450 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea1460 7b010000 00000000 085dad01 00000000 {........]...... │ │ │ │ 0x01ea1470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea1480 7c010000 00000000 a84db101 00000000 |........M...... │ │ │ │ 0x01ea1490 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01ea2530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2540 02020000 00000000 204fb101 00000000 ........ O...... │ │ │ │ 0x01ea2550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2560 03020000 00000000 f85cad01 00000000 .........\...... │ │ │ │ 0x01ea2570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2580 04020000 00000000 88afb201 00000000 ................ │ │ │ │ 0x01ea2590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea25a0 05020000 00000000 d853b101 00000000 .........S...... │ │ │ │ + 0x01ea25a0 05020000 00000000 e853b101 00000000 .........S...... │ │ │ │ 0x01ea25b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea25c0 06020000 00000000 e053b101 00000000 .........S...... │ │ │ │ + 0x01ea25c0 06020000 00000000 d853b101 00000000 .........S...... │ │ │ │ 0x01ea25d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea25e0 07020000 00000000 f053b101 00000000 .........S...... │ │ │ │ 0x01ea25f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2600 08020000 00000000 a0afb201 00000000 ................ │ │ │ │ 0x01ea2610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2620 09020000 00000000 6054b101 00000000 ........`T...... │ │ │ │ 0x01ea2630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -634,31 +634,31 @@ │ │ │ │ 0x01ea2770 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2780 14020000 00000000 284eb101 00000000 ........(N...... │ │ │ │ 0x01ea2790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea27a0 15020000 00000000 304eb101 00000000 ........0N...... │ │ │ │ 0x01ea27b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea27c0 16020000 00000000 484eb101 00000000 ........HN...... │ │ │ │ 0x01ea27d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea27e0 17020000 00000000 604eb101 00000000 ........`N...... │ │ │ │ + 0x01ea27e0 17020000 00000000 704eb101 00000000 ........pN...... │ │ │ │ 0x01ea27f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea2800 18020000 00000000 784eb101 00000000 ........xN...... │ │ │ │ + 0x01ea2800 18020000 00000000 604eb101 00000000 ........`N...... │ │ │ │ 0x01ea2810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2820 19020000 00000000 884eb101 00000000 .........N...... │ │ │ │ 0x01ea2830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2840 1a020000 00000000 a04eb101 00000000 .........N...... │ │ │ │ 0x01ea2850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2860 1b020000 00000000 b84eb101 00000000 .........N...... │ │ │ │ 0x01ea2870 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2880 1c020000 00000000 1052b101 00000000 .........R...... │ │ │ │ 0x01ea2890 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea28a0 1d020000 00000000 f0afb201 00000000 ................ │ │ │ │ 0x01ea28b0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea28c0 1e020000 00000000 a85eb101 00000000 .........^...... │ │ │ │ + 0x01ea28c0 1e020000 00000000 985eb101 00000000 .........^...... │ │ │ │ 0x01ea28d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea28e0 1f020000 00000000 985eb101 00000000 .........^...... │ │ │ │ + 0x01ea28e0 1f020000 00000000 b05eb101 00000000 .........^...... │ │ │ │ 0x01ea28f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2900 20020000 00000000 3047b101 00000000 .......0G...... │ │ │ │ 0x01ea2910 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2920 21020000 00000000 08b0b201 00000000 !............... │ │ │ │ 0x01ea2930 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2940 22020000 00000000 b047b101 00000000 "........G...... │ │ │ │ 0x01ea2950 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x01ea32f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea3300 70020000 00000000 50b3b201 00000000 p.......P....... │ │ │ │ 0x01ea3310 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea3320 71020000 00000000 7043ae01 00000000 q.......pC...... │ │ │ │ 0x01ea3330 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea3340 72020000 00000000 584fb101 00000000 r.......XO...... │ │ │ │ 0x01ea3350 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea3360 73020000 00000000 0052b101 00000000 s........R...... │ │ │ │ + 0x01ea3360 73020000 00000000 e851b101 00000000 s........Q...... │ │ │ │ 0x01ea3370 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea3380 74020000 00000000 e851b101 00000000 t........Q...... │ │ │ │ + 0x01ea3380 74020000 00000000 f851b101 00000000 t........Q...... │ │ │ │ 0x01ea3390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea33a0 75020000 00000000 0853b101 00000000 u........S...... │ │ │ │ 0x01ea33b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea33c0 76020000 00000000 2053b101 00000000 v....... S...... │ │ │ │ 0x01ea33d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea33e0 77020000 00000000 a853b101 00000000 w........S...... │ │ │ │ 0x01ea33f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01ea8460 98b2b301 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8480 e0f9b301 00000000 a0b2b301 00000000 ................ │ │ │ │ 0x01ea8490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea84a0 00000000 00000000 c8f9b301 00000000 ................ │ │ │ │ 0x01ea84b0 a8b2b301 00000000 b6030000 f4010000 ................ │ │ │ │ 0x01ea84c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea84d0 b0f9b301 00000000 d853b101 00000000 .........S...... │ │ │ │ + 0x01ea84d0 b0f9b301 00000000 e853b101 00000000 .........S...... │ │ │ │ 0x01ea84e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x01ea84f0 00000000 00000000 a0f9b301 00000000 ................ │ │ │ │ 0x01ea8500 b8b2b301 00000000 03000000 00000000 ................ │ │ │ │ 0x01ea8510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8520 50f9b301 00000000 c0b2b301 00000000 P............... │ │ │ │ 0x01ea8530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea8540 00000000 00000000 30f9b301 00000000 ........0....... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x01eaa010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa020 00000000 00000000 e0f9b301 00000000 ................ │ │ │ │ 0x01eaa030 a0b2b301 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01eaa050 c8f9b301 00000000 a8b2b301 00000000 ................ │ │ │ │ 0x01eaa060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x01eaa070 00000000 00000000 b0f9b301 00000000 ................ │ │ │ │ - 0x01eaa080 d853b101 00000000 00000000 00000000 .S.............. │ │ │ │ + 0x01eaa080 e853b101 00000000 00000000 00000000 .S.............. │ │ │ │ 0x01eaa090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x01eaa0a0 a0f9b301 00000000 b8b2b301 00000000 ................ │ │ │ │ 0x01eaa0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x01eaa0c0 00000000 00000000 50f9b301 00000000 ........P....... │ │ │ │ 0x01eaa0d0 c0b2b301 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01eaa0f0 30f9b301 00000000 d0b2b301 00000000 0............... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 62396561 38666530 33393665 32663063 b9ea8fe0396e2f0c │ │ │ │ - 0x00000010 30343961 39376134 37393361 30346464 049a97a4793a04dd │ │ │ │ - 0x00000020 31346463 36302e64 65627567 00000000 14dc60.debug.... │ │ │ │ - 0x00000030 8ee40b32 ...2 │ │ │ │ + 0x00000000 39613936 62353734 35393262 37373164 9a96b574592b771d │ │ │ │ + 0x00000010 63396335 35633938 33353466 31363831 c9c55c98354f1681 │ │ │ │ + 0x00000020 38623866 35632e64 65627567 00000000 8b8f5c.debug.... │ │ │ │ + 0x00000030 d3c372db ..r.