~/f/z3/RPMS.2017 ~/f/z3 ~/f/z3 RPMS.2017/libz3-4_8-4.8.8-0.0.x86_64.rpm RPMS/libz3-4_8-4.8.8-0.0.x86_64.rpm differ: byte 225, line 1 Comparing libz3-4_8-4.8.8-0.0.x86_64.rpm to libz3-4_8-4.8.8-0.0.x86_64.rpm comparing the rpm tags of libz3-4_8 --- /tmp/tmp.6xIN7SAHjl/tmp.ZQEf6Jl45N 2020-06-14 20:20:40.461014116 +0000 +++ /tmp/tmp.6xIN7SAHjl/tmp.6PspqAyAQh 2020-06-14 20:20:40.465014131 +0000 @@ -99,7 +99,7 @@ ___QF_CHECKSUM___ /usr/lib64/libz3.so.4.8 0 -/usr/lib64/libz3.so.4.8.8.0 3577bf80158df46080fc05e89ff94b814e357e8c99255f09e8b6ff649464925a 0 +/usr/lib64/libz3.so.4.8.8.0 d4b7846947561ef2a3be8e07d5b65b055ebc19009e0d286e11b9693fdc3db447 0 ___QF_CHECKSUM___ comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/lib64/libz3.so.4.8.8.0: only difference was in build-id, gnu_debuglink or gnu_debugdata, GOOD. Package content is identical RPMS.2017/libz3-4_8-debuginfo-4.8.8-0.0.x86_64.rpm RPMS/libz3-4_8-debuginfo-4.8.8-0.0.x86_64.rpm differ: byte 225, line 1 Comparing libz3-4_8-debuginfo-4.8.8-0.0.x86_64.rpm to libz3-4_8-debuginfo-4.8.8-0.0.x86_64.rpm comparing the rpm tags of libz3-4_8-debuginfo --- /tmp/tmp.455bW0Xs4P/tmp.aWQUcpORzx 2020-06-14 20:22:08.997365138 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.5PjYBHXT0q 2020-06-14 20:22:09.001365154 +0000 @@ -30,7 +30,7 @@ ___QF_NAME_VER_REL___ ___QF_PROVIDES___ -debuginfo(build-id) 32776 e86490af07cee9e90430f87c9af9a98df730f62b +debuginfo(build-id) 32776 883d7c11b3a43a6704861eb3833f27a03e0301d2 libz3-4_8-debuginfo 8 @VERSION@-@RELEASE_LONG@ libz3-4_8-debuginfo(x86-64) 8 @VERSION@-@RELEASE_LONG@ @@ -55,9 +55,9 @@ ___QF_FILELIST___ /usr/lib/debug 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/.build-id 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/e8 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib64/libz3.so.4.8.8.0 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug +/usr/lib/debug/.build-id/88 4096 (none) 40755 root root 0 4294967295 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib64/libz3.so.4.8.8.0 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug /usr/lib/debug/usr 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/lib64 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug 0 (none) 100644 root root 0 4294967295 @@ -68,12 +68,12 @@ ___QF_CHECKSUM___ /usr/lib/debug 0 /usr/lib/debug/.build-id 4096 -/usr/lib/debug/.build-id/e8 4096 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b 4096 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b.debug 4096 +/usr/lib/debug/.build-id/88 4096 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2 4096 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2.debug 4096 /usr/lib/debug/usr 0 /usr/lib/debug/usr/lib64 0 -/usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug aaf5e94dc4f299040eca80d09a63c2f3b09e57fc935dda3e4effd276be654169 0 +/usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug e3b55334c55120ed7088900690a3772fa78ef359f0a1b38d6f439777e66b9895 0 ___QF_CHECKSUM___ comparing rpmtags comparing RELEASE comparing PROVIDES --- /tmp/tmp.455bW0Xs4P/tmp.aWQUcpORzx 2020-06-14 20:22:09.013365201 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.5PjYBHXT0q 2020-06-14 20:22:09.017365216 +0000 @@ -3,7 +3,7 @@ -debuginfo(build-id) 32776 e86490af07cee9e90430f87c9af9a98df730f62b +debuginfo(build-id) 32776 883d7c11b3a43a6704861eb3833f27a03e0301d2 libz3-4_8-debuginfo 8 @VERSION@-@RELEASE_LONG@ libz3-4_8-debuginfo(x86-64) 8 @VERSION@-@RELEASE_LONG@ rpmlib(CompressedFileNames) 16777226 3.0.4-1 comparing scripts comparing filelist --- /tmp/tmp.455bW0Xs4P/tmp.aWQUcpORzx 2020-06-14 20:22:09.029365264 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.5PjYBHXT0q 2020-06-14 20:22:09.033365280 +0000 @@ -1,8 +1,8 @@ /usr/lib/debug 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/.build-id 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/e8 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib64/libz3.so.4.8.8.0 -/usr/lib/debug/.build-id/e8/6490af07cee9e90430f87c9af9a98df730f62b.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug +/usr/lib/debug/.build-id/88 4096 (none) 40755 root root 0 4294967295 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib64/libz3.so.4.8.8.0 +/usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug /usr/lib/debug/usr 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/lib64 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug 0 (none) 100644 root root 0 4294967295 comparing file checksum creating rename script RPM meta information is different Extracting packages Missing in old package: /usr/lib/debug/.build-id/88 4096 Missing in old package: /usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2 4096 Missing in old package: /usr/lib/debug/.build-id/88/3d7c11b3a43a6704861eb3833f27a03e0301d2.debug 4096 /usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug differs in ELF section .debug_aranges --- /tmp/tmp.455bW0Xs4P/tmp.PY7L4OuPFK 2020-06-14 20:23:02.117573962 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.Nz49G1lPP8 2020-06-14 20:23:02.125573994 +0000 @@ -22,102 +22,102 @@ 0110 a00e1d00 00000000 8d400100 00000000 .........@...... 0120 a8250700 00000000 be1d0000 00000000 .%.............. 0130 00000000 00000000 00000000 00000000 ................ - 0140 3c000000 0200f201 7a000800 00000000 <.......z....... + 0140 3c000000 0200f001 7a000800 00000000 <.......z....... 0150 304f1e00 00000000 52270100 00000000 0O......R'...... 0160 66430700 00000000 371a0000 00000000 fC......7....... 0170 00000000 00000000 00000000 00000000 ................ - 0180 4c000000 020010a8 7e000800 00000000 L.......~....... + 0180 4c000000 02000ea8 7e000800 00000000 L.......~....... 0190 90761f00 00000000 00190100 00000000 .v.............. 01a0 cc5d0700 00000000 05160000 00000000 .].............. 01b0 9e5d0700 00000000 2d000000 00000000 .]......-....... 01c0 00000000 00000000 00000000 00000000 ................ - 01d0 3c000000 020085f4 82000800 00000000 <............... + 01d0 3c000000 020083f4 82000800 00000000 <............... 01e0 908f2000 00000000 45780100 00000000 .. .....Ex...... 01f0 d2730700 00000000 2f190000 00000000 .s....../....... 0200 00000000 00000000 00000000 00000000 ................ - 0210 3c000000 02007c16 89000800 00000000 <.....|......... + 0210 3c000000 02008416 89000800 00000000 <............... 0220 e0072200 00000000 44390100 00000000 ..".....D9...... 0230 028d0700 00000000 a7180000 00000000 ................ 0240 00000000 00000000 00000000 00000000 ................ - 0250 3c000000 0200c044 8e000800 00000000 <......D........ + 0250 3c000000 0200c844 8e000800 00000000 <......D........ 0260 30412300 00000000 e91d0100 00000000 0A#............. 0270 aaa50700 00000000 34110000 00000000 ........4....... 0280 00000000 00000000 00000000 00000000 ................ - 0290 3c000000 02007bbb 92000800 00000000 <.....{......... + 0290 3c000000 020083bb 92000800 00000000 <............... 02a0 205f2400 00000000 fb3e0100 00000000 _$......>...... 02b0 deb60700 00000000 670a0000 00000000 ........g....... 02c0 00000000 00000000 00000000 00000000 ................ - 02d0 3c000000 0200f5cf 97000800 00000000 <............... + 02d0 3c000000 0200fdcf 97000800 00000000 <............... 02e0 209e2500 00000000 ff170100 00000000 .%............. 02f0 46c10700 00000000 f8090000 00000000 F............... 0300 00000000 00000000 00000000 00000000 ................ - 0310 3c000000 0200964b 9c000800 00000000 <......K........ + 0310 3c000000 02009e4b 9c000800 00000000 <......K........ 0320 20b62600 00000000 ad240100 00000000 .&......$...... 0330 3ecb0700 00000000 351c0000 00000000 >.......5....... 0340 00000000 00000000 00000000 00000000 ................ - 0350 3c000000 0200388b a1000800 00000000 <.....8......... + 0350 3c000000 0200408b a1000800 00000000 <.....@......... 0360 d0da2700 00000000 15270100 00000000 ..'......'...... 0370 74e70700 00000000 3b180000 00000000 t.......;....... 0380 00000000 00000000 00000000 00000000 ................ - 0390 3c000000 0200f7d8 a5000800 00000000 <............... + 0390 3c000000 0200ffd8 a5000800 00000000 <............... 03a0 f0012900 00000000 bc180100 00000000 ..)............. 03b0 b0ff0700 00000000 e2160000 00000000 ................ 03c0 00000000 00000000 00000000 00000000 ................ - 03d0 3c000000 020078a0 aa000800 00000000 <.....x......... + 03d0 3c000000 020080a0 aa000800 00000000 <............... 03e0 b01a2a00 00000000 3d160100 00000000 ..*.....=....... 03f0 92160800 00000000 c0190000 00000000 ................ 0400 00000000 00000000 00000000 00000000 ................ - 0410 5c000000 02000846 af000800 00000000 \......F........ + 0410 5c000000 02001046 af000800 00000000 \......F........ 0420 f0302b00 00000000 2d0d0100 00000000 .0+.....-....... 0430 92300800 00000000 d0180000 00000000 .0.............. 0440 52300800 00000000 20000000 00000000 R0...... ....... 0450 72300800 00000000 20000000 00000000 r0...... ....... 0460 00000000 00000000 00000000 00000000 ................ - 0470 3c000000 02001f95 b3000800 00000000 <............... + 0470 3c000000 02002795 b3000800 00000000 <.....'......... 0480 203e2c00 00000000 591e0100 00000000 >,.....Y....... 0490 62490800 00000000 ca170000 00000000 bI.............. 04a0 00000000 00000000 00000000 00000000 ................ - 04b0 3c000000 0200a646 b8000800 00000000 <......F........ + 04b0 3c000000 0200ae46 b8000800 00000000 <......F........ 04c0 805c2d00 00000000 811c0100 00000000 .\-............. 04d0 2c610800 00000000 92160000 00000000 ,a.............. 04e0 00000000 00000000 00000000 00000000 ................ - 04f0 3c000000 0200cb7e bc000800 00000000 <......~........ + 04f0 3c000000 0200d37e bc000800 00000000 <......~........ 0500 10792e00 00000000 f02f0100 00000000 .y......./...... 0510 be770800 00000000 30170000 00000000 .w......0....... 0520 00000000 00000000 00000000 00000000 ................ - 0530 3c000000 0200fb38 c1000800 00000000 <......8........ + 0530 3c000000 02000339 c1000800 00000000 <......9........ 0540 00a92f00 00000000 f0290100 00000000 ../......)...... 0550 ee8e0800 00000000 e11a0000 00000000 ................ 0560 00000000 00000000 00000000 00000000 ................ - 0570 3c000000 020068f3 c5000800 00000000 <.....h......... + 0570 3c000000 020070f3 c5000800 00000000 <.....p......... 0580 f0d23000 00000000 b13c0100 00000000 ..0......<...... 0590 d0a90800 00000000 82140000 00000000 ................ 05a0 00000000 00000000 00000000 00000000 ................ - 05b0 3c000000 02009a87 ca000800 00000000 <............... + 05b0 3c000000 0200a287 ca000800 00000000 <............... 05c0 b00f3200 00000000 0c2b0100 00000000 ..2......+...... 05d0 52be0800 00000000 a9190000 00000000 R............... 05e0 00000000 00000000 00000000 00000000 ................ - 05f0 3c000000 02004215 cf000800 00000000 <.....B......... + 05f0 3c000000 02004a15 cf000800 00000000 <.....J......... 0600 c03a3300 00000000 611f0100 00000000 .:3.....a....... 0610 fcd70800 00000000 521b0000 00000000 ........R....... 0620 00000000 00000000 00000000 00000000 ................ - 0630 3c000000 0200ef7d d3000800 00000000 <......}........ + 0630 3c000000 0200f77d d3000800 00000000 <......}........ 0640 305a3400 00000000 19320100 00000000 0Z4......2...... 0650 4ef30800 00000000 55170000 00000000 N.......U....... 0660 00000000 00000000 00000000 00000000 ................ - 0670 3c000000 02000932 d8000800 00000000 <......2........ + 0670 3c000000 02001132 d8000800 00000000 <......2........ 0680 508c3500 00000000 f31c0100 00000000 P.5............. 0690 a40a0900 00000000 111a0000 00000000 ................ 06a0 00000000 00000000 00000000 00000000 ................ - 06b0 3c000000 0200e59c dc000800 00000000 <............... + 06b0 3c000000 0200ed9c dc000800 00000000 <............... 06c0 50a93600 00000000 25370100 00000000 P.6.....%7...... 06d0 b6240900 00000000 af160000 00000000 .$.............. 06e0 00000000 00000000 00000000 00000000 ................ - 06f0 3c000000 0200e468 e1000800 00000000 <......h........ + 06f0 3c000000 0200ec68 e1000800 00000000 <......h........ 0700 80e03700 00000000 363b0100 00000000 ..7.....6;...... 0710 663b0900 00000000 28140000 00000000 f;......(....... 0720 00000000 00000000 00000000 00000000 ................ - 0730 8c000000 02001629 e6000800 00000000 .......)........ + 0730 8c000000 02001e29 e6000800 00000000 .......)........ 0740 c01b3900 00000000 1c200100 00000000 ..9...... ...... 0750 24500900 00000000 29260000 00000000 $P......)&...... 0760 8e4f0900 00000000 1e000000 00000000 .O.............. @@ -126,217 +126,217 @@ 0790 e84f0900 00000000 1e000000 00000000 .O.............. 07a0 06500900 00000000 1e000000 00000000 .P.............. 07b0 00000000 00000000 00000000 00000000 ................ - 07c0 5c000000 0200b320 eb000800 00000000 \...... ........ + 07c0 5c000000 0200bb20 eb000800 00000000 \...... ........ 07d0 e03b3a00 00000000 27160100 00000000 .;:.....'....... 07e0 0a770900 00000000 0c280000 00000000 .w.......(...... 07f0 4e760900 00000000 1a000000 00000000 Nv.............. 0800 68760900 00000000 a1000000 00000000 hv.............. 0810 00000000 00000000 00000000 00000000 ................ - 0820 3c000000 0200cee3 ef000800 00000000 <............... + 0820 3c000000 0200d6e3 ef000800 00000000 <............... 0830 10523b00 00000000 32250100 00000000 .R;.....2%...... 0840 169f0900 00000000 7c1d0000 00000000 ........|....... 0850 00000000 00000000 00000000 00000000 ................ - 0860 3c000000 02005091 f4000800 00000000 <.....P......... + 0860 3c000000 02005891 f4000800 00000000 <.....X......... 0870 50773c00 00000000 731b0100 00000000 Pw<.....s....... 0880 92bc0900 00000000 1c1d0000 00000000 ................ 0890 00000000 00000000 00000000 00000000 ................ - 08a0 3c000000 020032b1 f8000800 00000000 <.....2......... + 08a0 3c000000 02003ab1 f8000800 00000000 <.....:......... 08b0 d0923d00 00000000 a1ee0000 00000000 ..=............. 08c0 aed90900 00000000 1d180000 00000000 ................ 08d0 00000000 00000000 00000000 00000000 ................ - 08e0 3c000000 02004968 fc000800 00000000 <.....Ih........ + 08e0 3c000000 02005168 fc000800 00000000 <.....Qh........ 08f0 80813e00 00000000 8c250100 00000000 ..>......%...... 0900 ccf10900 00000000 28150000 00000000 ........(....... 0910 00000000 00000000 00000000 00000000 ................ - 0920 3c000000 02009299 ff000800 00000000 <............... + 0920 3c000000 02009a99 ff000800 00000000 <............... 0930 10a73f00 00000000 2c180100 00000000 ..?.....,....... 0940 f4060a00 00000000 17240000 00000000 .........$...... 0950 00000000 00000000 00000000 00000000 ................ - 0960 3c000000 0200377b 04010800 00000000 <.....7{........ + 0960 3c000000 02003f7b 04010800 00000000 <.....?{........ 0970 40bf4000 00000000 a3150100 00000000 @.@............. 0980 0c2b0a00 00000000 10240000 00000000 .+.......$...... 0990 00000000 00000000 00000000 00000000 ................ - 09a0 3c000000 0200193e 09010800 00000000 <......>........ + 09a0 3c000000 0200213e 09010800 00000000 <.....!>........ 09b0 f0d44100 00000000 c3350100 00000000 ..A......5...... 09c0 1c4f0a00 00000000 b2120000 00000000 .O.............. 09d0 00000000 00000000 00000000 00000000 ................ - 09e0 4c000000 02008998 0d010800 00000000 L............... + 09e0 4c000000 02009198 0d010800 00000000 L............... 09f0 c00a4300 00000000 2c2d0100 00000000 ..C.....,-...... 0a00 ce610a00 00000000 a7200000 00000000 .a....... ...... 0a10 10d71700 00000000 b3000000 00000000 ................ 0a20 00000000 00000000 00000000 00000000 ................ - 0a30 3c000000 0200c256 12010800 00000000 <......V........ + 0a30 3c000000 0200ca56 12010800 00000000 <......V........ 0a40 f0374400 00000000 30290100 00000000 .7D.....0)...... 0a50 76820a00 00000000 d61f0000 00000000 v............... 0a60 00000000 00000000 00000000 00000000 ................ - 0a70 3c000000 02001e92 17010800 00000000 <............... + 0a70 3c000000 02008392 17010800 00000000 <............... 0a80 20614500 00000000 931f0100 00000000 aE............. 0a90 4ca20a00 00000000 ba240000 00000000 L........$...... 0aa0 00000000 00000000 00000000 00000000 ................ - 0ab0 3c000000 0200e6da 1c010800 00000000 <............... + 0ab0 3c000000 02004bdb 1c010800 00000000 <.....K......... 0ac0 c0804600 00000000 d3370100 00000000 ..F......7...... 0ad0 06c70a00 00000000 84210000 00000000 .........!...... 0ae0 00000000 00000000 00000000 00000000 ................ - 0af0 3c000000 02004b64 22010800 00000000 <.....Kd"....... + 0af0 3c000000 0200b064 22010800 00000000 <......d"....... 0b00 a0b84700 00000000 fb450100 00000000 ..G......E...... 0b10 8ae80a00 00000000 3b130000 00000000 ........;....... /usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug differs in ELF section .debug_info --- /tmp/tmp.455bW0Xs4P/tmp.PY7L4OuPFK 2020-06-14 20:23:19.381641549 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.Nz49G1lPP8 2020-06-14 20:23:37.769713387 +0000 @@ -33,7 +33,7 @@ 00001c0 0400f6a0 0200087c 65000000 ade38500 .......|e....... 00001d0 3b924c86 00924c86 005c3502 0d001c00 ;.L...L..\5..... 00001e0 00000400 f6a00200 087c6500 0000ade3 .........|e..... - 00001f0 8500544d a0190309 52a01903 00001800 ..TM....R....... + 00001f0 8500548a a0190309 8fa01903 00001800 ..T............. 0000200 00000400 f6a00200 087c6500 0000ade3 .........|e..... 0000210 85001a08 045d6a86 00001800 00000400 .....]j......... 0000220 f6a00200 087c6500 0000ade3 85001a04 .....|e......... @@ -48,7 +48,7 @@ 00002b0 005d890c 00a30000 000400f6 a0020008 .].............. 00002c0 7c650000 00ade385 00275f02 000027a5 |e.......'_...'. 00002d0 01000027 83010000 276f5661 00273eb8 ...'....'oVa.'>. - 00002e0 61002720 17620030 940c1603 3e099b0c a.' .b.0....>... + 00002e0 61002720 17620030 d10c1603 3e09d80c a.' .b.0....>... 00002f0 1603003b 5c238c00 5c238c00 4d0c0415 ...;\#..\#..M... 0000300 3b40cc9c 0040cc9c 004da303 153be9d8 ;@...@...M...;.. 0000310 8400e9d8 84004d20 04153be7 79a800e7 ......M ..;.y... @@ -70,12 +70,12 @@ 0000410 65000000 ade38500 42cc60ac 00000000 e.......B.`..... 0000420 001bcd01 004e0000 000400f6 a0020008 .....N.......... 0000430 7c650000 00ade385 00276703 00002724 |e.......'g...'$ - 0000440 01000027 9f020000 279e3162 00459025 ...'....'.1b.E.% + 0000440 01000027 9f020000 279e3162 0045cd25 ...'....'.1b.E.% 0000450 1a0342bd 10000044 d9820046 550642bf ..B....D...FU.B. 0000460 24000082 d9820046 3b06422b 230000ea $......F;.B+#... 0000470 da820046 6906001b 00000004 00f6a002 ...Fi........... - 0000480 00087c22 d70100ad e3850045 232c1603 ..|".......E#,.. - 0000490 45472c16 03001c00 00000400 f6a00200 EG,............. + 0000480 00087c22 d70100ad e3850045 602c1603 ..|".......E`,.. + 0000490 45842c16 03001c00 00000400 f6a00200 E.,............. 00004a0 087c22d7 0100ade3 8500548e 95030009 .|".......T..... 00004b0 95950300 00001a00 00000400 f6a00200 ................ 00004c0 087c22d7 0100ade3 850048e8 e38700de .|".......H..... @@ -101,7 +101,7 @@ 0000600 00655817 00560000 000400f6 a0020008 .eX..V.......... 0000610 7c22d701 00ade385 00279f02 000027a1 |".......'....'. 0000620 04000027 c0cc6100 2715d561 0045225d ...'..a.'..a.E"] - 0000630 02004596 fc20033b 76a88700 76a88700 ..E.. .;v...v... + 0000630 020045d3 fc20033b 76a88700 76a88700 ..E.. .;v...v... 0000640 2e170417 3bd380a8 00d380a8 002e4103 ....;.........A. 0000650 163bf1f2 8500f1f2 85002e81 0215001d .;.............. 0000660 00000004 00f6a002 00087c1d e60300ad ..........|..... @@ -111,342 +111,342 @@ 00006a0 00230000 000400f6 a0020008 7c1de603 .#..........|... 00006b0 00ade385 004863eb 860063eb 8600482c .....Hc...c...H, 00006c0 a987002c a9870000 1d000000 0400f6a0 ...,............ - 00006d0 0200087c e3180600 ade38500 42a1fc01 ...|........B... + 00006d0 0200087c ff180600 ade38500 42a1fc01 ...|........B... 00006e0 00738ca2 0009eb06 00200000 000400f6 .s....... ...... - 00006f0 a0020008 7ca1b307 00ade385 004533d7 ....|........E3. - 0000700 1b034595 d71b0345 89d71b03 001a0000 ..E....E........ - 0000710 000400f6 a0020008 7ca1b307 00ade385 ........|....... + 00006f0 a0020008 7cadb307 00ade385 004570d7 ....|........Ep. + 0000700 1b0345d2 d71b0345 c6d71b03 001a0000 ..E....E........ + 0000710 000400f6 a0020008 7cadb307 00ade385 ........|....... 0000720 0048b320 ee00b320 ee00001c 00000004 .H. ... ........ - 0000730 00f6a002 00087ca1 b30700ad e3850054 ......|........T + 0000730 00f6a002 00087cad b30700ad e3850054 ......|........T 0000740 9eb80500 09a7b805 0000001d 00000004 ................ - 0000750 00f6a002 00087c7e 510900ad e3850042 ......|~Q......B + 0000750 00f6a002 00087c8a 510900ad e3850042 ......|.Q......B 0000760 ab5eac00 00000000 33180100 1d000000 .^......3....... - 0000770 0400f6a0 0200087c 7e510900 ade38500 .......|~Q...... + 0000770 0400f6a0 0200087c 8a510900 ade38500 .......|.Q...... 0000780 4282bc00 00e6cf82 001c9610 00320000 B............2.. - 0000790 000400f6 a0020008 7c04cc0a 00ade385 ........|....... - 00007a0 00453964 27034512 5e270345 de5d2703 .E9d'.E.^'.E.]'. - 00007b0 45183627 033b9d75 01009190 a20005f9 E.6'.;.u........ - 00007c0 020a0018 00000004 00f6a002 00087c04 ..............|. + 0000790 000400f6 a0020008 7c10cc0a 00ade385 ........|....... + 00007a0 00457664 2703454f 5e270345 1b5e2703 .Evd'.EO^'.E.^'. + 00007b0 45553627 033b9d75 01009190 a20005f9 EU6'.;.u........ + 00007c0 020a0018 00000004 00f6a002 00087c10 ..............|. 00007d0 cc0a00ad e385001a 080565a0 aa00001d ..........e..... - 00007e0 00000004 00f6a002 00087c8e ce0c00ad ..........|..... + 00007e0 00000004 00f6a002 00087c10 cf0c00ad ..........|..... 00007f0 e3850042 0260ac00 00000000 1d170100 ...B.`.......... - 0000800 52000000 0400f6a0 0200087c 8ece0c00 R..........|.... + 0000800 52000000 0400f6a0 0200087c 10cf0c00 R..........|.... 0000810 ade38500 276a0600 0027d4a8 61002702 ....'j...'..a.'. - 0000820 a9610027 5fcc6100 27ef3862 0045a1de .a.'_.a.'.8b.E.. - 0000830 17034596 81190345 0f3d1703 421d1786 ..E....E.=..B... + 0000820 a9610027 5fcc6100 27ef3862 0045dede .a.'_.a.'.8b.E.. + 0000830 170345d3 81190345 4c3d1703 421d1786 ..E....EL=..B... 0000840 001d1786 00416b0c 3b352200 00f1dc82 .....Ak.;5"..... 0000850 0021e001 06001e00 00000400 f6a00200 .!.............. - 0000860 087c8ece 0c00ade3 85003bef fa0100aa .|........;..... + 0000860 087c10cf 0c00ade3 85003bef fa0100aa .|........;..... 0000870 88a20009 e2010a00 1e000000 0400f6a0 ................ - 0000880 0200087c 8ece0c00 ade38500 3b669285 ...|........;f.. + 0000880 0200087c 10cf0c00 ade38500 3b669285 ...|........;f.. 0000890 00669285 00403803 17001c00 00000400 .f...@8......... - 00008a0 f6a00200 087c7283 0e00ade3 85005ae8 .....|r.......Z. + 00008a0 f6a00200 087cf483 0e00ade3 85005ae8 .....|........Z. 00008b0 e38700de e3870034 00002f00 00000400 .......4../..... - 00008c0 f6a00200 087c7283 0e00ade3 850027ab .....|r.......'. - 00008d0 03000045 864a1703 45ca4817 0345af4a ...E.J..E.H..E.J - 00008e0 1703456b 48170345 b54b1703 00370000 ..EkH..E.K...7.. - 00008f0 000400f6 a0020008 7cc2d80f 00ade385 ........|....... - 0000900 0027a508 00004507 73180345 76721803 .'....E.s..Evr.. - 0000910 458d6c18 0345a771 18033b20 510000e3 E.l..E.q..; Q... + 00008c0 f6a00200 087cf483 0e00ade3 850027ab .....|........'. + 00008d0 03000045 c34a1703 45074917 0345ec4a ...E.J..E.I..E.J + 00008e0 170345a8 48170345 f24b1703 00370000 ..E.H..E.K...7.. + 00008f0 000400f6 a0020008 7c44d90f 00ade385 ........|D...... + 0000900 0027a508 00004544 73180345 b3721803 .'....EDs..E.r.. + 0000910 45ca6c18 0345e471 18033b20 510000e3 E.l..E.q..; Q... 0000920 d882000f 67020600 1e000000 0400f6a0 ....g........... - 0000930 0200087c 9f671100 ade38500 3b90c101 ...|.g......;... + 0000930 0200087c 21681100 ade38500 3b90c101 ...|!h......;... 0000940 00f98ea2 002c4006 06001e00 00000400 .....,@......... - 0000950 f6a00200 087c9f67 1100ade3 85003bd6 .....|.g......;. + 0000950 f6a00200 087c2168 1100ade3 85003bd6 .....|!h......;. 0000960 a4a50000 0000002c 07010100 1e000000 .......,........ - 0000970 0400f6a0 0200087c 9f671100 ade38500 .......|.g...... + 0000970 0400f6a0 0200087c 21681100 ade38500 .......|!h...... 0000980 3bf58f00 00f5d482 000fa101 0d001d00 ;............... - 0000990 00000400 f6a00200 087ca1c6 1200ade3 .........|...... + 0000990 00000400 f6a00200 087c23c7 1200ade3 .........|#..... 00009a0 85004257 b20000e6 cf820006 340c001c ..BW........4... - 00009b0 00000004 00f6a002 00087ca1 c61200ad ..........|..... - 00009c0 e3850054 88443503 09924435 0300001e ...T.D5...D5.... - 00009d0 00000004 00f6a002 00087c1e ac1400ad ..........|..... + 00009b0 00000004 00f6a002 00087c23 c71200ad ..........|#.... + 00009c0 e3850054 c5443503 09cf4435 0300001e ...T.D5...D5.... + 00009d0 00000004 00f6a002 00087ca0 ac1400ad ..........|..... 00009e0 e385003b 85d7a400 00000000 5a570301 ...;........ZW.. - 00009f0 001e0000 000400f6 a0020008 7c1eac14 ............|... + 00009f0 001e0000 000400f6 a0020008 7ca0ac14 ............|... 0000a00 00ade385 003b27d7 a4000000 000041aa .....;'.......A. - 0000a10 0301001e 00000004 00f6a002 00087c1e ..............|. + 0000a10 0301001e 00000004 00f6a002 00087ca0 ..............|. 0000a20 ac1400ad e385003b a2d7a400 00000000 .......;........ 0000a30 4d8c0201 001e0000 000400f6 a0020008 M............... - 0000a40 7c1eac14 00ade385 003bedaa 0000e6d2 |........;...... + 0000a40 7ca0ac14 00ade385 003bedaa 0000e6d2 |........;...... 0000a50 820006f0 010d001e 00000004 00f6a002 ................ - 0000a60 00087c1e ac1400ad e385003b 1f710000 ..|........;.q.. + 0000a60 00087ca0 ac1400ad e385003b 1f710000 ..|........;.q.. 0000a70 f5d48200 08b1010d 001d0000 000400f6 ................ - 0000a80 a0020008 7c1eac14 00ade385 004255fe ....|........BU. + 0000a80 a0020008 7ca0ac14 00ade385 004255fe ....|........BU. 0000a90 83000000 00005839 05001c00 00000400 ......X9........ - 0000aa0 f6a00200 087c1eac 1400ade3 85005436 .....|........T6 + 0000aa0 f6a00200 087ca0ac 1400ade3 85005436 .....|........T6 0000ab0 d1080009 3cd10800 00001e00 00000400 ....<........... - 0000ac0 f6a00200 087c1eac 1400ade3 85003b0f .....|........;. + 0000ac0 f6a00200 087ca0ac 1400ade3 85003b0f .....|........;. 0000ad0 d8a40000 00000059 7b030100 1c000000 .......Y{....... - 0000ae0 0400f6a0 0200087c 1eac1400 ade38500 .......|........ + 0000ae0 0400f6a0 0200087c a0ac1400 ade38500 .......|........ 0000af0 547f9a08 0009889a 08000000 1e000000 T............... - 0000b00 0400f6a0 0200087c 534a1600 ade38500 .......|SJ...... + 0000b00 0400f6a0 0200087c d54a1600 ade38500 .......|.J...... 0000b10 3bd6bd01 00748da2 0014f602 0a001e00 ;....t.......... - 0000b20 00000400 f6a00200 087c534a 1600ade3 .........|SJ.... + 0000b20 00000400 f6a00200 087cd54a 1600ade3 .........|.J.... 0000b30 85003b67 d7a40000 00000023 a5010500 ..;g.......#.... - 0000b40 1b000000 0400f6a0 0200087c 534a1600 ...........|SJ.. - 0000b50 ade38500 45e9601b 0345b460 1b03001d ....E.`..E.`.... - 0000b60 00000004 00f6a002 00087c53 4a1600ad ..........|SJ... + 0000b40 1b000000 0400f6a0 0200087c d54a1600 ...........|.J.. + 0000b50 ade38500 4526611b 0345f160 1b03001d ....E&a..E.`.... + 0000b60 00000004 00f6a002 00087cd5 4a1600ad ..........|.J... 0000b70 e3850042 f9d6a400 00000000 4a540500 ...B........JT.. - 0000b80 1e000000 0400f6a0 0200087c 534a1600 ...........|SJ.. + 0000b80 1e000000 0400f6a0 0200087c d54a1600 ...........|.J.. 0000b90 ade38500 3b567200 00f5d482 000fb101 ....;Vr......... - 0000ba0 0d001a00 00000400 f6a00200 087cf9f2 .............|.. + 0000ba0 0d001a00 00000400 f6a00200 087c7bf3 .............|{. 0000bb0 1700ade3 85004802 47ab0002 47ab0000 ......H.G...G... - 0000bc0 1e000000 0400f6a0 0200087c f9f21700 ...........|.... + 0000bc0 1e000000 0400f6a0 0200087c 7bf31700 ...........|{... 0000bd0 ade38500 3b823a00 00e6d282 000bf001 ....;.:......... - 0000be0 0d001d00 00000400 f6a00200 087c8e93 .............|.. + 0000be0 0d001d00 00000400 f6a00200 087c1094 .............|.. 0000bf0 1900ade3 85004202 ee01000d 9aa20033 ......B........3 - 0000c00 26060021 00000004 00f6a002 00087c8e &..!..........|. - 0000c10 931900ad e3850054 6af14b03 0971f14b .......Tj.K..q.K - 0000c20 030978f1 4b030000 1b000000 0400f6a0 ..x.K........... - 0000c30 0200087c 06031b00 ade38500 4595a567 ...|........E..g - 0000c40 03452ba4 6703001d 00000004 00f6a002 .E+.g........... - 0000c50 00087cad b01c00ad e3850042 09dc0000 ..|........B.... + 0000c00 26060021 00000004 00f6a002 00087c10 &..!..........|. + 0000c10 941900ad e3850054 a7f14b03 09aef14b .......T..K....K + 0000c20 0309b5f1 4b030000 1b000000 0400f6a0 ....K........... + 0000c30 0200087c 88031b00 ade38500 45d2a567 ...|........E..g + 0000c40 034568a4 6703001d 00000004 00f6a002 .Eh.g........... + 0000c50 00087c2f b11c00ad e3850042 09dc0000 ..|/.......B.... 0000c60 f5df8200 02330a00 1c000000 0400f6a0 .....3.......... - 0000c70 0200087c adb01c00 ade38500 5491a031 ...|........T..1 - 0000c80 03099ba0 31030000 1c000000 0400f6a0 ....1........... - 0000c90 0200087c adb01c00 ade38500 5473a031 ...|........Ts.1 - 0000ca0 03097da0 31030000 1e000000 0400f6a0 ..}.1........... - 0000cb0 0200087c c6411e00 ade38500 3bb5d600 ...|.A......;... + 0000c70 0200087c 2fb11c00 ade38500 54cea031 ...|/.......T..1 + 0000c80 0309d8a0 31030000 1c000000 0400f6a0 ....1........... /usr/lib/debug/usr/lib64/libz3.so.4.8.8.0-4.8.8-0.0.x86_64.debug differs in ELF section .debug_line --- /tmp/tmp.455bW0Xs4P/tmp.PY7L4OuPFK 2020-06-14 20:23:51.153765580 +0000 +++ /tmp/tmp.455bW0Xs4P/tmp.Nz49G1lPP8 2020-06-14 20:23:54.109777097 +0000 @@ -15971,7 +15971,7 @@ 03e5e0 3c056300 02040258 056c085a 0563082c <.c....X.l.Z.c., 03e5f0 0567030d 082e6604 14050506 03e27a58 .g....f.......zX 03e600 050e0613 04150507 0603bf04 82050503 ................ - 03e610 db7c0105 10061390 02080001 01c23202 .|............2. + 03e610 db7c0105 10061390 02080001 01de3202 .|............2. 03e620 00030027 04000001 01fb0e0d 00010101 ...'............ 03e630 01000000 01000001 2f757372 2f696e63 ......../usr/inc 03e640 6c756465 2f632b2b 2f31302f 62697473 lude/c++/10/bits @@ -21057,244649 +21057,244649 @@ 0523c0 03cc1a74 05270603 c6760105 2003ba09 ...t.'...v.. ... 0523d0 4a050051 05200379 083c0414 05050603 J..Q. .y.<...... 0523e0 8c647404 28051406 03100104 05050003 .dt.(........... - 0523f0 eb1b7404 28051403 95649e05 00740414 ..t.(....d...t.. - 052400 052d0370 02380104 16050506 03ca0074 .-.p.8.........t - 052410 0414052d 0603b67f 01050074 0416050a ...-.......t.... - 052420 03ca0074 0548acac 04140505 0603b67f ...t.H.......... - 052430 01041603 ca000105 0a060105 48acac04 ............H... - 052440 05050d06 03ab1b01 051303c5 76010520 ............v.. - 052450 01060104 28050e06 03d46d01 06010405 ....(.....m..... - 052460 05200603 ac120104 28050e03 d46d0106 . ......(....m.. - 052470 01040505 0d0603e8 1b010520 03c47601 ........... ..v. - 052480 04280500 03d46d01 06010405 0603ac12 .(....m......... - 052490 01042803 d46d0106 01040506 03e91b01 ..(..m.......... - 0524a0 04140389 64010416 03ca0001 04280514 ....d........(.. - 0524b0 06034601 05000858 0416033a 08580858 ..F....X...:.X.X - 0524c0 04050603 ae1b0103 c2760104 2803d46d .........v..(..m - 0524d0 01060104 050603eb 1b0103c1 76010428 ............v..( - 0524e0 03d46d01 06010405 0603ac12 01042803 ..m...........(. - 0524f0 d46d0106 01040506 03ac1201 042803d4 .m...........(.. - 052500 6d010601 04050603 ac120104 2803d46d m...........(..m - 052510 01060104 050603ed 1b010414 038c6401 ..............d. - 052520 06010428 03090104 0503eb1b 02370106 ...(.........7.. - 052530 029b0113 0414038b 64010601 040503f5 ........d....... - 052540 1b747406 02850114 042803ad 64010601 .tt......(..d... - 052550 06010601 040503d3 1b740602 63130414 .........t..c... - 052560 03886401 06010601 06010601 06010415 ..d............. - 052570 0603ad01 01131303 a07f0101 060103e0 ................ - 052580 00740242 1206bb06 01040506 03c91a01 .t.B............ - 052590 030c0103 bf770113 060103c0 08740602 .....w.......t.. - 0525a0 3d1303be 77011306 0103c108 74042705 =...w.......t.'. - 0525b0 20038364 02640108 ac040505 00060380 ..d.d.......... - 0525c0 1c011313 04280399 64010601 040503e7 .....(..d....... - 0525d0 1b010428 03996474 040503e7 1b740428 ...(..dt.....t.( - 0525e0 039964ac 040503e7 1b740428 06039964 ..d......t.(...d - 0525f0 58060104 0503e71b 0103b30b 8203cd74 X..............t - 052600 9e03a876 2e038b15 4a03cd74 f2066715 ...v....J..t..g. - 052610 13050e03 ab0b0105 00131303 f66a0101 .............j.. - 052620 06010428 0603d46d 01040506 03b72701 ...(...m......'. - 052630 042803cb 589eba04 050603b5 27010428 .(..X.......'..( - 052640 0603d858 82040503 a8273c04 280603d8 ...X.....'<.(... - 052650 584a0658 04050603 fb1b0104 28039364 XJ.X........(..d - 052660 01067404 050603e4 0c011303 b87e0101 ..t..........~.. - 052670 060103d0 100106b3 cd042805 0f039464 ..........(....d - 052680 01051a06 034b0105 16740405 052503bc .....K...t...%.. - 052690 0a583c04 28051003 fc750105 0fbb0405 .X<.(....u...... - 0526a0 050003ea 1b740428 050f0396 64081274 .....t.(....d..t - 0526b0 04050500 0603ea1b 01042803 85640106 ..........(..d.. - 0526c0 01060106 01040503 fb1b0104 28050f06 ............(... - 0526d0 038964ba 05090613 0405050a 0603c136 ..d............6 - 0526e0 58052e06 03ce5301 3c042805 1003f475 X.....S.<.(....u - 0526f0 01050fbb 04050500 03f41b74 0428050f ...........t.(.. - 052700 038c6490 74040505 000603f4 1b010428 ..d.t..........( - 052710 050f0603 8c64082e 04050500 03f41b74 .....d.........t - 052720 0428050f 038c644a 74040505 000603f4 .(....dJt....... - 052730 1b0101c9 04280382 64010601 040503fe .....(..d....... - 052740 1b010428 050f0603 866408ba 05090613 ...(.....d...... - 052750 0405050a 0603c136 58052e06 03ce5301 .......6X.....S. - 052760 3c042805 0a0603c3 7501051a 06010516 <.(.....u....... - 052770 74040505 0a0603f4 36580509 13050d13 t.......6X...... - 052780 0674050e 06038d5c 3c050d13 050e03ba .t.....\<....... - 052790 7701051a 01053401 053f0601 58050d06 w.....4..?..X... - 0527a0 03c70801 06010526 0603b777 01050d06 .......&...w.... - 0527b0 03c90801 0511062f 050e035b 01050d13 ......./...[.... - 0527c0 13051106 01050d74 05110684 05151305 .......t........ - 0527d0 1e060105 1c3c0515 0683051a 0601051d .....<.......... - 0527e0 064c0658 050d0614 051203db 78010521 .L.X........x..! - 0527f0 01052806 0158050d 0603a607 01051903 ..(..X.......... - 052800 d4770105 34010552 06010578 3cc8050d .w..4..R...x<... - 052810 0603ad08 01052401 06660511 06081305 ......$..f...... - 052820 1303dd78 01052501 053c0106 01041505 ...x..%..<...... - 052830 0a060396 75010519 01051703 73010523 ....u.......s..# - 052840 01060104 16050a06 039f0201 0405054b ...............K - 052850 0603d808 01041605 1c03a877 58040505 ...........wX... - 052860 4b03d808 4a4a0416 051c03a8 77015804 K...JJ......w.X. - 052870 05051106 03fc0f01 051403d8 7801052c ............x.., - 052880 01054301 0601050e 0603b407 01050d13 ..C............. - 052890 051c03be 7f010529 01060105 52038d79 .......)....R..y - 0528a0 01051903 b50758f2 050d0603 71010524 ......X.....q..$ - 0528b0 01064a90 050d0616 051203d4 7801051f ..J.........x... - 0528c0 01052606 01ac050d 0603ad07 01060104 ..&............. - 0528d0 27050a06 03996d66 05091305 25060105 '.....mf....%... - 0528e0 0958064c 05200601 082e0405 050d0603 .X.L. .......... - 0528f0 e5120104 06050903 dd6f0106 01040505 .........o...... - 052900 1f03a310 01052875 051f8f05 0d068305 ......(u........ - 052910 1c034601 05290106 01052206 03da7301 ..F..)...."...s. - 052920 05300105 38060105 2803e00c 74f20500 .0..8...(...t... - 052930 0603b409 01042803 81640106 01740405 ......(..d...t.. - 052940 05160603 c01b0105 00130602 25120428 ............%..( - 052950 050f0603 c3640105 09061304 05050a06 .....d.......... - 052960 03c13658 052e0603 ce53013c 04280510 ..6X.....S.<.(.. - 052970 03f47501 ba040505 00039913 01042805 ..u...........(. - 052980 0f03e86c 74740405 05000603 f81b0103 ...ltt.......... - 052990 9f770113 06740428 050f0603 e36c0105 .w...t.(.....l.. - 0529a0 09061304 05050a06 03c13658 052e0603 ..........6X.... - 0529b0 ce53013c 04280510 03f47501 050fbb04 .S.<.(....u..... - 0529c0 05050003 f91b7404 28050f03 87646674 ......t.(....dft - 0529d0 04050500 0603f91b 01041605 520603f7 ............R... - 0529e0 66089e66 0405050d 03c01001 05110683 f..f............ - 0529f0 05160362 01050d13 05140601 d6050d06 ...b............ - 052a00 03280104 14050503 926c0104 15050a03 .(.......l...... - 052a10 e1000105 19010517 03730105 23010601 .........s..#... - 052a20 0416050a 06039f02 01051c06 01085804 ..............X. - 052a30 1b051106 03fd7d01 04170506 03da0001 ......}......... - 052a40 050b0613 05054a05 165a0416 05120369 ......J..Z.....i - 052a50 4a041705 1603173c 04160512 03693c05 J......<.....i<. - 052a60 09598204 17051203 18010511 49820506 .Y..........I... - 052a70 060e050b 06130505 4a05165a 04160512 ........J..Z.... - 052a80 03694a04 17051603 173c0416 05120369 .iJ......<.....i - 052a90 3c050959 82042805 0f0603f6 7e010509 <..Y..(.....~... - 052aa0 06130405 050a0603 c136ba05 2e0603ce .........6...... - 052ab0 53013c04 28050a06 03c37501 051a0601 S.<.(.....u..... - 052ac0 05167404 05050a06 03f43658 05091305 ..t.......6X.... - 052ad0 0d13050e 038d5c9e 050d1305 0e03ba77 ......\........w - 052ae0 01051a01 05340105 3f060158 050d0603 .....4..?..X.... - 052af0 c7080106 01052606 03b77701 050d0603 ......&...w..... - 052b00 c9080166 0428050f 03ad6d01 04050500 ...f.(....m..... - 052b10 03f91b74 0428050f 03876474 74040505 ...t.(....dtt... - 052b20 000603f9 1b0166bb 042803fd 63010405 ......f..(..c... - 052b30 051d0603 ea140104 28050003 966b7474 ........(....ktt - 052b40 04050516 0603f914 01041605 0f0603a5 ................ - 052b50 6b01054d acac0405 05160603 cb140105 k..M............ - 052b60 1d061304 30050506 03826b08 3c041b05 ....0.....k.<... - 052b70 00036b01 041603c8 00010601 06110613 ..k............. - 052b80 f1f20430 06034e01 036a0101 041b050a ...0..N..j...... - 052b90 03bd0501 041603b1 7e010509 0613c804 ........~....... - 052ba0 14052d03 907c0104 1b051703 16747404 ..-..|.......tt. - 052bb0 05051606 03d51301 050d1313 04140505 ................ - 052bc0 03936c01 0416050a 0603ca00 01041405 ..l............. - 052bd0 2d03b67f ac041605 050603ca 00740548 -............t.H - 052be0 0601ac04 05050d06 03a41301 06010430 ...............0 - 052bf0 05220603 b76c0104 1b052503 60010414 ."...l....%.`... - 052c00 05051406 01041505 0a0603c5 01010537 ...............7 - 052c10 01038a7f 01010601 0416050a 06039903 ................ - 052c20 01051103 827f0106 01050903 ff000105 ................ - 052c30 1a9f3c66 04150537 0603db7d 0103847f .........>....... 0252e50 0076a07f 9f000000 00000000 00000000 .v.............. 0252e60 00000000 00000002 121d0000 00000028 ...............( - 0252e70 121d0000 00000006 00fa9071 04009f00 ...........q.... + 0252e70 121d0000 00000006 00fa8e71 04009f00 ...........q.... 0252e80 00000000 00000000 00000000 00000000 ................ 0252e90 0002121d 00000000 0028121d 00000000 .........(...... - 0252ea0 000600fa 95710400 9f000000 00000000 .....q.......... + 0252ea0 000600fa 93710400 9f000000 00000000 .....q.......... 0252eb0 00000000 00000000 00000002 121d0000 ................ - 0252ec0 00000028 121d0000 00000006 00fa9a71 ...(...........q + 0252ec0 00000028 121d0000 00000006 00fa9871 ...(...........q 0252ed0 04009f00 00000000 00000000 00000000 ................ 0252ee0 00000000 00000000 00000030 121d0000 ...........0.... 0252ef0 00000040 121d0000 00000001 00554012 ...@.........U@. @@ -152374,26 +152374,26 @@ 0253310 0000ab12 1d000000 00000300 91987f00 ................ 0253320 00000000 00000000 00000000 00000000 ................ 0253330 0096121d 00000000 00ab121d 00000000 ................ - 0253340 000600f2 cf2e7900 00000000 00000000 ......y......... + 0253340 000600f2 cd2e7900 00000000 00000000 ......y......... 0253350 00000000 00000000 000000a3 121d0000 ................ 0253360 000000aa 121d0000 00000001 00540000 .............T.. 0253370 00000000 00000000 00000000 00000000 ................ 0253380 a3121d00 00000000 ab121d00 00000000 ................ 0253390 01005e00 00000000 00000000 00000000 ..^............. 02533a0 00000000 00a3121d 00000000 00ab121d ................ - 02533b0 00000000 000600f2 cf2e7900 00000000 ..........y..... + 02533b0 00000000 000600f2 cd2e7900 00000000 ..........y..... 02533c0 00000000 00000000 00000000 000002d6 ................ 02533d0 121d0000 000000d6 121d0000 00000006 ................ - 02533e0 00f2cf2e 79000000 00000000 00000000 ....y........... + 02533e0 00f2cd2e 79000000 00000000 00000000 ....y........... 02533f0 00000000 00000000 02d6121d 00000000 ................ - 0253400 00d6121d 00000000 000600f2 f62e7900 ..............y. + 0253400 00d6121d 00000000 000600f2 f42e7900 ..............y. 0253410 00000000 00000000 00000000 00000000 ................ 0253420 000102d6 121d0000 000000d6 121d0000 ................ - 0253430 00000006 00f2cf2e 79000000 00000000 ........y....... + 0253430 00000006 00f2cd2e 79000000 00000000 ........y....... 0253440 00000000 00000000 00000002 000000d6 ................ 0253450 121d0000 00000036 131d0000 00000006 .......6........ - 0253460 00f2f62e 790000a2 131d0000 000000ad ....y........... - 0253470 131d0000 00000006 00f2f62e 79000000 ............y... + 0253460 00f2f42e 790000a2 131d0000 000000ad ....y........... + 0253470 131d0000 00000006 00f2f42e 79000000 ............y... 0253480 00000000 00000000 00000000 00000002 ................ 0253490 000000d6 121d0000 00000036 131d0000 ...........6.... 02534a0 00000003 0091a07f a2131d00 00000000 ................ @@ -152420,12 +152420,12 @@ 02535f0 0000ad13 1d000000 00000100 50000000 ............P... 0253600 00000000 00000000 00000000 0000001b ................ 0253610 131d0000 0000002d 131d0000 00000006 .......-........ - 0253620 00f21f30 79000000 00000000 00000000 ...0y........... + 0253620 00f21d30 79000000 00000000 00000000 ...0y........... 0253630 00000000 00000000 001b131d 00000000 ................ 0253640 002d131d 00000000 0001005e 00000000 .-.........^.... 0253650 00000000 00000000 00000000 00001b13 ................ 0253660 1d000000 00002d13 1d000000 00000600 ......-......... - 0253670 f2f62e79 00000000 00000000 00000000 ...y............ + 0253670 f2f42e79 00000000 00000000 00000000 ...y............ 0253680 00000000 00000000 00002513 1d000000 ..........%..... 0253690 00002c13 1d000000 00000100 542c131d ..,.........T,.. 02536a0 00000000 002d131d 00000000 00030091 .....-.......... @@ -152433,7 +152433,7 @@ 02536c0 00000000 25131d00 00000000 2d131d00 ....%.......-... 02536d0 00000000 01005f00 00000000 00000000 ......_......... 02536e0 00000000 00000000 0025131d 00000000 .........%...... - 02536f0 002d131d 00000000 000600f2 f62e7900 .-............y. + 02536f0 002d131d 00000000 000600f2 f42e7900 .-............y. 0253700 00000000 00000000 00000000 00000000 ................ 0253710 00000000 00000000 00000000 00409d1d .............@.. 0253720 00000000 007a9d1d 00000000 00010055 .....z.........U @@ -152495,7 +152495,7 @@ 0253aa0 00000000 979d1d00 00000000 03007e08 ..............~. 0253ab0 9f000000 00000000 00000000 00000000 ................ 0253ac0 0001008e 9d1d0000 00000097 9d1d0000 ................ - 0253ad0 00000006 00f2cb31 79000000 00000000 .......1y....... + 0253ad0 00000006 00f2c931 79000000 00000000 .......1y....... 0253ae0 00000000 00000000 00000000 006d9e1d .............m.. 0253af0 00000000 00889e1d 00000000 00010051 ...............Q 0253b00 00000000 00000000 00000000 00000000 ................ @@ -152516,7 +152516,7 @@ 0253bf0 00000000 779e1d00 00000000 01005e00 ....w.........^. 0253c00 00000000 00000000 00000000 00000000 ................ 0253c10 00779e1d 00000000 00819e1d 00000000 .w.............. - 0253c20 000600f2 58337900 00000000 00000000 ....X3y......... + 0253c20 000600f2 56337900 00000000 00000000 ....V3y......... 0253c30 00000000 00000000 00000077 9e1d0000 ...........w.... 0253c40 00000081 9e1d0000 00000001 00510000 .............Q.. 0253c50 00000000 00000000 00000000 00000000 ................ @@ -152552,7 +152552,7 @@ 0253e30 00289e1d 00000000 0001005e 00000000 .(.........^.... 0253e40 00000000 00000000 00000000 0000289e ..............(. 0253e50 1d000000 0000339e 1d000000 00000600 ......3......... - 0253e60 f2533579 00000000 00000000 00000000 .S5y............ + 0253e60 f2513579 00000000 00000000 00000000 .Q5y............ 0253e70 00000000 00000000 289e1d00 00000000 ........(....... 0253e80 339e1d00 00000000 03007878 9f000000 3.........xx.... 0253e90 00000000 00000000 00000000 00000000 ................ @@ -152577,7 +152577,7 @@ 0253fc0 0000f69d 1d000000 0000fc9d 1d000000 ................ 0253fd0 00000100 5c000000 00000000 00000000 ....\........... 0253fe0 00000000 000000fc 9d1d0000 00000004 ................ - 0253ff0 9e1d0000 00000006 00f23737 79000000 ..........77y... + 0253ff0 9e1d0000 00000006 00f23537 79000000 ..........57y... 0254000 00000000 00000000 00000000 00000000 ................ 0254010 00fc9d1d 00000000 00049e1d 00000000 ................ 0254020 00010050 00000000 00000000 00000000 ...P............ @@ -152597,7 +152597,7 @@ 0254100 00000000 00049f1d 00000000 0001005e ...............^ 0254110 00000000 00000000 00000000 00000000 ................ 0254120 0200909e 1d000000 0000049f 1d000000 ................ - 0254130 00000600 f25b3879 00000000 00000000 .....[8y........ + 0254130 00000600 f2593879 00000000 00000000 .....Y8y........ 0254140 00000000 00000000 00000200 00000000 ................ 0254150 909e1d00 00000000 cb9e1d00 00000000 ................ 0254160 01005dcb 9e1d0000 000000d7 9e1d0000 ..]............. @@ -152617,7 +152617,7 @@ 0254240 049f1d00 00000000 01005d00 00000000 ..........]..... 0254250 00000000 00000000 00000001 00d79e1d ................ 0254260 00000000 00fe9e1d 00000000 000600f2 ................ - 0254270 11387900 00000000 00000000 00000000 .8y............. + 0254270 0f387900 00000000 00000000 00000000 .8y............. 0254280 00000000 000000d7 9e1d0000 000000fe ................ 0254290 9e1d0000 00000001 005d0000 00000000 .........]...... 02542a0 00000000 00000000 00000000 d79e1d00 ................ @@ -152725,14 +152725,14 @@ 0254900 a01d0000 00000007 0091a07f 0623089f .............#.. 0254910 00000000 00000000 00000000 00000000 ................ 0254920 01007aa0 1d000000 00008ea0 1d000000 ..z............. - 0254930 00000600 f2103b79 00000000 00000000 ......;y........ + 0254930 00000600 f20e3b79 00000000 00000000 ......;y........ 0254940 00000000 00000000 00000000 83a01d00 ................ 0254950 00000000 8ea01d00 00000000 01005600 ..............V. RPMS.2017/z3-4.8.8-0.0.x86_64.rpm RPMS/z3-4.8.8-0.0.x86_64.rpm differ: byte 225, line 1 Comparing z3-4.8.8-0.0.x86_64.rpm to z3-4.8.8-0.0.x86_64.rpm comparing the rpm tags of z3 --- /tmp/tmp.e9zASccOLv/tmp.PXajEwh6v3 2020-06-14 20:24:35.341937331 +0000 +++ /tmp/tmp.e9zASccOLv/tmp.g8FPO3Lpnj 2020-06-14 20:24:35.341937331 +0000 @@ -98,7 +98,7 @@ ___QF_FILELIST___ ___QF_CHECKSUM___ -/usr/bin/z3 4fd9be8de251513fc123f823bd10313cb95e3203fe10f24f8c7d4c85435d9acd 0 +/usr/bin/z3 ae8045f05716184c2b807fb6f149c6eff1062993c046429ba0fcf15b2425f3a7 0 /usr/share/doc/packages/z3 0 /usr/share/doc/packages/z3/README.md 4012839c825260aab8e7f9e5fe948caafd15eee295e1aa9edb3a771a6979cc92 2 /usr/share/doc/packages/z3/RELEASE_NOTES dd7e133544e656dee85923d2a8604dbbe8b4ec14c49a0855b14b930bb7252f58 2 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/bin/z3: only difference was in build-id, gnu_debuglink or gnu_debugdata, GOOD. Package content is identical RPMS.2017/z3-debuginfo-4.8.8-0.0.x86_64.rpm RPMS/z3-debuginfo-4.8.8-0.0.x86_64.rpm differ: byte 225, line 1 Comparing z3-debuginfo-4.8.8-0.0.x86_64.rpm to z3-debuginfo-4.8.8-0.0.x86_64.rpm comparing the rpm tags of z3-debuginfo --- /tmp/tmp.djqI9xQMD0/tmp.VtfgfiM632 2020-06-14 20:26:03.202276300 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.ergXNyKdIm 2020-06-14 20:26:03.206276316 +0000 @@ -30,7 +30,7 @@ ___QF_NAME_VER_REL___ ___QF_PROVIDES___ -debuginfo(build-id) 32776 1b34583179eeca2db88dd274f2f8f99f73d651bf +debuginfo(build-id) 32776 9f556e475fc6a2e6e52f395ecd41c53da7aa69f1 z3-debuginfo 8 @VERSION@-@RELEASE_LONG@ z3-debuginfo(x86-64) 8 @VERSION@-@RELEASE_LONG@ @@ -55,9 +55,9 @@ ___QF_FILELIST___ /usr/lib/debug 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/.build-id 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/1b 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/bin/z3 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug +/usr/lib/debug/.build-id/9f 4096 (none) 40755 root root 0 4294967295 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/bin/z3 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug /usr/lib/debug/usr 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/bin 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug 0 (none) 100644 root root 0 4294967295 @@ -68,12 +68,12 @@ ___QF_CHECKSUM___ /usr/lib/debug 0 /usr/lib/debug/.build-id 4096 -/usr/lib/debug/.build-id/1b 4096 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf 4096 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf.debug 4096 +/usr/lib/debug/.build-id/9f 4096 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1 4096 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1.debug 4096 /usr/lib/debug/usr 0 /usr/lib/debug/usr/bin 0 -/usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug d55c36bbc99df5c85b5ad723bab9fd60eb18bc244f1133648518b809c6af613a 0 +/usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug 5349f3bb5505afe108c6a35a5d291681d5ea081b703458ac017855b0deb4804c 0 ___QF_CHECKSUM___ comparing rpmtags comparing RELEASE comparing PROVIDES --- /tmp/tmp.djqI9xQMD0/tmp.VtfgfiM632 2020-06-14 20:26:03.218276361 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.ergXNyKdIm 2020-06-14 20:26:03.222276377 +0000 @@ -3,7 +3,7 @@ -debuginfo(build-id) 32776 1b34583179eeca2db88dd274f2f8f99f73d651bf +debuginfo(build-id) 32776 9f556e475fc6a2e6e52f395ecd41c53da7aa69f1 rpmlib(CompressedFileNames) 16777226 3.0.4-1 rpmlib(FileDigests) 16777226 4.6.0-1 rpmlib(PayloadFilesHavePrefix) 16777226 4.0-1 comparing scripts comparing filelist --- /tmp/tmp.djqI9xQMD0/tmp.VtfgfiM632 2020-06-14 20:26:03.238276439 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.ergXNyKdIm 2020-06-14 20:26:03.238276439 +0000 @@ -1,8 +1,8 @@ /usr/lib/debug 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/.build-id 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/1b 4096 (none) 40755 root root 0 4294967295 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/bin/z3 -/usr/lib/debug/.build-id/1b/34583179eeca2db88dd274f2f8f99f73d651bf.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug +/usr/lib/debug/.build-id/9f 4096 (none) 40755 root root 0 4294967295 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/bin/z3 +/usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1.debug 4096 (none) 120777 root root 0 4294967295 ../../../../../usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug /usr/lib/debug/usr 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/bin 0 (none) 40755 root root 0 4294967295 /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug 0 (none) 100644 root root 0 4294967295 comparing file checksum creating rename script RPM meta information is different Extracting packages Missing in old package: /usr/lib/debug/.build-id/9f 4096 Missing in old package: /usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1 4096 Missing in old package: /usr/lib/debug/.build-id/9f/556e475fc6a2e6e52f395ecd41c53da7aa69f1.debug 4096 /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug differs in ELF section .debug_aranges --- /tmp/tmp.djqI9xQMD0/tmp.i5rfLUf1cF 2020-06-14 20:26:55.914478101 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.lyooWBzmFH 2020-06-14 20:26:55.922478131 +0000 @@ -19,112 +19,112 @@ 00e0 d0001a00 00000000 a7a80100 00000000 ................ 00f0 d6940600 00000000 592b0000 00000000 ........Y+...... 0100 00000000 00000000 00000000 00000000 ................ - 0110 3c000000 02001ae8 6e000800 00000000 <.......n....... + 0110 3c000000 020028e8 6e000800 00000000 <.....(.n....... 0120 80a91b00 00000000 ddab0100 00000000 ................ 0130 30c00600 00000000 46280000 00000000 0.......F(...... 0140 00000000 00000000 00000000 00000000 ................ - 0150 3c000000 0200f8fd 75000800 00000000 <.......u....... + 0150 3c000000 020005fe 75000800 00000000 <.......u....... 0160 60551d00 00000000 4d5d0100 00000000 `U......M]...... 0170 76e80600 00000000 261e0000 00000000 v.......&....... 0180 00000000 00000000 00000000 00000000 ................ - 0190 3c000000 02004997 7b000800 00000000 <.....I.{....... + 0190 3c000000 02005097 7b000800 00000000 <.....P.{....... 01a0 b0b21e00 00000000 22260100 00000000 ........"&...... 01b0 9c060700 00000000 151b0000 00000000 ................ 01c0 00000000 00000000 00000000 00000000 ................ - 01d0 3c000000 0200ba4a 80000800 00000000 <......J........ + 01d0 3c000000 0200c14a 80000800 00000000 <......J........ 01e0 e0d81f00 00000000 103b0100 00000000 .........;...... 01f0 b2210700 00000000 831a0000 00000000 .!.............. 0200 00000000 00000000 00000000 00000000 ................ - 0210 3c000000 02005743 85000800 00000000 <.....WC........ + 0210 3c000000 02005e43 85000800 00000000 <.....^C........ 0220 f0132100 00000000 a4b10100 00000000 ..!............. 0230 363c0700 00000000 4f1a0000 00000000 6<......O....... 0240 00000000 00000000 00000000 00000000 ................ - 0250 3c000000 0200ce4a 8c000800 00000000 <......J........ + 0250 3c000000 02009d4b 8c000800 00000000 <......K........ 0260 a0c52200 00000000 60880100 00000000 ..".....`....... 0270 86560700 00000000 111f0000 00000000 .V.............. 0280 00000000 00000000 00000000 00000000 ................ - 0290 3c000000 0200c586 92000800 00000000 <............... + 0290 3c000000 02009487 92000800 00000000 <............... 02a0 004e2400 00000000 8e4e0100 00000000 .N$......N...... 02b0 98750700 00000000 53090000 00000000 .u......S....... 02c0 00000000 00000000 00000000 00000000 ................ - 02d0 3c000000 0200aedb 97000800 00000000 <............... + 02d0 3c000000 02007ddc 97000800 00000000 <.....}......... 02e0 909c2500 00000000 3f460100 00000000 ..%.....?F...... 02f0 ec7e0700 00000000 880b0000 00000000 .~.............. 0300 00000000 00000000 00000000 00000000 ................ - 0310 3c000000 02008c08 9d000800 00000000 <............... + 0310 3c000000 02005b09 9d000800 00000000 <.....[......... 0320 d0e22600 00000000 ed240100 00000000 ..&......$...... 0330 748a0700 00000000 351c0000 00000000 t.......5....... 0340 00000000 00000000 00000000 00000000 ................ - 0350 3c000000 02002e48 a2000800 00000000 <......H........ + 0350 3c000000 0200fd48 a2000800 00000000 <......H........ 0360 c0072800 00000000 2c3a0100 00000000 ..(.....,:...... 0370 aaa60700 00000000 fe190000 00000000 ................ 0380 00000000 00000000 00000000 00000000 ................ - 0390 3c000000 02000ff1 a6000800 00000000 <............... + 0390 3c000000 0200def1 a6000800 00000000 <............... 03a0 f0412900 00000000 2a280100 00000000 .A).....*(...... 03b0 a8c00700 00000000 0d180000 00000000 ................ 03c0 00000000 00000000 00000000 00000000 ................ - 03d0 3c000000 020003c7 ab000800 00000000 <............... + 03d0 3c000000 0200d2c7 ab000800 00000000 <............... 03e0 206a2a00 00000000 6d1b0100 00000000 j*.....m....... 03f0 b6d80700 00000000 2a1a0000 00000000 ........*....... 0400 00000000 00000000 00000000 00000000 ................ - 0410 5c000000 0200efac b0000800 00000000 \............... + 0410 5c000000 0200bead b0000800 00000000 \............... 0420 90852b00 00000000 3d1f0100 00000000 ..+.....=....... 0430 20f30700 00000000 c81a0000 00000000 ............... 0440 e0f20700 00000000 20000000 00000000 ........ ....... 0450 00f30700 00000000 20000000 00000000 ........ ....... 0460 00000000 00000000 00000000 00000000 ................ - 0470 4c000000 02000a68 b5000800 00000000 L......h........ + 0470 4c000000 0200d968 b5000800 00000000 L......h........ 0480 d0a42c00 00000000 2f250100 00000000 ..,...../%...... 0490 060e0800 00000000 39160000 00000000 ........9....... 04a0 e80d0800 00000000 1e000000 00000000 ................ 04b0 00000000 00000000 00000000 00000000 ................ - 04c0 3c000000 02002ffb b9000800 00000000 <...../......... + 04c0 3c000000 0200fefb b9000800 00000000 <............... 04d0 00ca2d00 00000000 cd290100 00000000 ..-......)...... 04e0 40240800 00000000 46180000 00000000 @$......F....... 04f0 00000000 00000000 00000000 00000000 ................ - 0500 3c000000 0200ab80 be000800 00000000 <............... + 0500 3c000000 02007a81 be000800 00000000 <.....z......... 0510 d0f32e00 00000000 90320100 00000000 .........2...... 0520 863c0800 00000000 de160000 00000000 .<.............. 0530 00000000 00000000 00000000 00000000 ................ - 0540 3c000000 02008939 c3000800 00000000 <......9........ + 0540 3c000000 0200583a c3000800 00000000 <.....X:........ 0550 60263000 00000000 d0350100 00000000 `&0......5...... 0560 64530800 00000000 b71b0000 00000000 dS.............. 0570 00000000 00000000 00000000 00000000 ................ - 0580 3c000000 0200cb1f c8000800 00000000 <............... + 0580 3c000000 02009a20 c8000800 00000000 <...... ........ 0590 305c3100 00000000 14350100 00000000 0\1......5...... 05a0 1c6f0800 00000000 6e140000 00000000 .o......n....... 05b0 00000000 00000000 00000000 00000000 ................ - 05c0 3c000000 02004b8f cc000800 00000000 <.....K......... + 05c0 3c000000 02001a90 cc000800 00000000 <............... 05d0 50913200 00000000 6c340100 00000000 P.2.....l4...... 05e0 8a830800 00000000 a91a0000 00000000 ................ 05f0 00000000 00000000 00000000 00000000 ................ - 0600 3c000000 0200ce40 d1000800 00000000 <......@........ + 0600 3c000000 02009d41 d1000800 00000000 <......A........ 0610 c0c53300 00000000 ca140100 00000000 ..3............. 0620 349e0800 00000000 bb1b0000 00000000 4............... 0630 00000000 00000000 00000000 00000000 ................ - 0640 3c000000 0200e79b d5000800 00000000 <............... + 0640 3c000000 0200b69c d5000800 00000000 <............... 0650 90da3400 00000000 39320100 00000000 ..4.....92...... 0660 f0b90800 00000000 6d1a0000 00000000 ........m....... 0670 00000000 00000000 00000000 00000000 ................ - 0680 3c000000 0200bb66 da000800 00000000 <......f........ + 0680 3c000000 02008a67 da000800 00000000 <......g........ 0690 d00c3600 00000000 e33f0100 00000000 ..6......?...... 06a0 5ed40800 00000000 23190000 00000000 ^.......#....... 06b0 00000000 00000000 00000000 00000000 ................ - 06c0 3c000000 0200ff2a df000800 00000000 <......*........ + 06c0 3c000000 0200ce2b df000800 00000000 <......+........ 06d0 c04c3700 00000000 70380100 00000000 .L7.....p8...... 06e0 82ed0800 00000000 26180000 00000000 ........&....... 06f0 00000000 00000000 00000000 00000000 ................ - 0700 5c000000 0200860f e4000800 00000000 \............... + 0700 5c000000 02005510 e4000800 00000000 \.....U......... 0710 30853800 00000000 663a0100 00000000 0.8.....f:...... 0720 16060900 00000000 8c150000 00000000 ................ 0730 a8050900 00000000 50000000 00000000 ........P....... 0740 f8050900 00000000 1e000000 00000000 ................ 0750 00000000 00000000 00000000 00000000 ................ - 0760 3c000000 020031c8 e8000800 00000000 <.....1......... + 0760 3c000000 020000c9 e8000800 00000000 <............... 0770 a0bf3900 00000000 b7140100 00000000 ..9............. 0780 a21b0900 00000000 b22a0000 00000000 .........*...... 0790 00000000 00000000 00000000 00000000 ................ - 07a0 7c000000 020036ec ed000800 00000000 |.....6......... + 07a0 7c000000 020005ed ed000800 00000000 |............... 07b0 60d43a00 00000000 a81a0100 00000000 `.:............. 07c0 30470900 00000000 0b220000 00000000 0G......."...... 07d0 54460900 00000000 1a000000 00000000 TF.............. @@ -132,213 +132,213 @@ 07f0 cc460900 00000000 45000000 00000000 .F......E....... 0800 12470900 00000000 1e000000 00000000 .G.............. 0810 00000000 00000000 00000000 00000000 ................ - 0820 4c000000 0200187f f2000800 00000000 L............... + 0820 4c000000 0200e77f f2000800 00000000 L............... 0830 10ef3b00 00000000 0d380100 00000000 ..;......8...... 0840 82690900 00000000 06200000 00000000 .i....... ...... 0850 3c690900 00000000 45000000 00000000 .....*<...... 08d0 12a70900 00000000 37190000 00000000 ........7....... 08e0 00000000 00000000 00000000 00000000 ................ - 08f0 3c000000 0200cb8c ff000800 00000000 <............... + 08f0 3c000000 02009a8d ff000800 00000000 <............... 0900 00853f00 00000000 4e200100 00000000 ..?.....N ...... 0910 4ac00900 00000000 991e0000 00000000 J............... 0920 00000000 00000000 00000000 00000000 ................ - 0930 3c000000 02004721 04010800 00000000 <.....G!........ + 0930 3c000000 02001622 04010800 00000000 <......"........ 0940 50a54000 00000000 b4200100 00000000 P.@...... ...... 0950 e4de0900 00000000 94200000 00000000 ......... ...... 0960 00000000 00000000 00000000 00000000 ................ - 0970 3c000000 02002fdb 08010800 00000000 <...../......... + 0970 3c000000 0200fedb 08010800 00000000 <............... 0980 10c64100 00000000 332c0100 00000000 ..A.....3,...... 0990 78ff0900 00000000 2e230000 00000000 x........#...... 09a0 00000000 00000000 00000000 00000000 ................ - 09b0 4c000000 02001acb 0d010800 00000000 L............... + 09b0 4c000000 0200e9cb 0d010800 00000000 L............... 09c0 50f24200 00000000 92420100 00000000 P.B......B...... 09d0 a6220a00 00000000 dd160000 00000000 .".............. 09e0 80e21700 00000000 b3000000 00000000 ................ 09f0 00000000 00000000 00000000 00000000 ................ - 0a00 3c000000 02002591 12010800 00000000 <.....%......... + 0a00 3c000000 0200f491 12010800 00000000 <............... 0a10 f0344400 00000000 b03c0100 00000000 .4D......<...... 0a20 84390a00 00000000 0c230000 00000000 .9.......#...... 0a30 00000000 00000000 00000000 00000000 ................ - 0a40 3c000000 0200e56c 17010800 00000000 <......l........ + 0a40 3c000000 0200b46d 17010800 00000000 <......m........ 0a50 a0714500 00000000 862a0100 00000000 .qE......*...... 0a60 905c0a00 00000000 6f230000 00000000 .\......o#...... 0a70 00000000 00000000 00000000 00000000 ................ - 0a80 3c000000 02005efb 1c010800 00000000 <.....^......... + 0a80 3c000000 02002dfc 1c010800 00000000 <.....-......... 0a90 309c4600 00000000 40380100 00000000 0.F.....@8...... 0aa0 00800a00 00000000 ed1f0000 00000000 ................ 0ab0 00000000 00000000 00000000 00000000 ................ - 0ac0 3c000000 02006a87 22010800 00000000 <.....j."....... + 0ac0 3c000000 02003988 22010800 00000000 <.....9."....... 0ad0 70d44700 00000000 ac390100 00000000 p.G......9...... /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug differs in ELF section .debug_info --- /tmp/tmp.djqI9xQMD0/tmp.i5rfLUf1cF 2020-06-14 20:27:14.306548243 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.lyooWBzmFH 2020-06-14 20:27:33.622621761 +0000 @@ -36,8 +36,8 @@ 00001f0 00c6e58d 0012b702 14001800 00000400 ................ 0000200 4e980200 087ce800 00000a9b 87001908 N....|.......... 0000210 044b2488 00001c00 00000400 4e980200 .K$.........N... - 0000220 087ce800 00000a9b 87004fe4 4c290308 .|........O.L).. - 0000230 e94c2903 00001800 00000400 4e980200 .L).........N... + 0000220 087ce800 00000a9b 87004f16 4e290308 .|........O.N).. + 0000230 1b4e2903 00001800 00000400 4e980200 .N).........N... 0000240 087ce800 00000a9b 87001904 075bb5ac .|...........[.. 0000250 00001a00 00000400 4e980200 087ce800 ........N....|.. 0000260 00000a9b 87004642 59a20038 59a20000 ......FBY..8Y... @@ -76,12 +76,12 @@ 0000470 00000a9b 87005705 77ae0000 00000020 ......W.w...... 0000480 cd010056 00000004 004e9802 00087ce8 ...V.....N....|. 0000490 0000000a 9b870026 a94c6200 26b86a62 .......&.Lb.&.jb - 00004a0 0026b4de 620041e6 d129030c bd100000 .&..b.A..)...... + 00004a0 0026b4de 62004118 d329030c bd100000 .&..b.A..)...... 00004b0 be8d8400 4855060c bf240000 fc8d8400 ....HU...$...... 00004c0 483b060c 2b230000 648f8400 4869063f H;..+#..d...Hi.? 00004d0 41a80100 afa0a400 1e10010a 001b0000 A............... 00004e0 0004004e 98020008 7c76e901 000a9b87 ...N....|v...... - 00004f0 004115d8 25034139 d8250300 1c000000 .A..%.A9.%...... + 00004f0 004147d9 2503416b d9250300 1c000000 .AG.%.Ak.%...... 0000500 04004e98 0200087c 76e90100 0a9b8700 ..N....|v....... 0000510 4f979603 00089e96 03000000 1a000000 O............... 0000520 04004e98 0200087c 76e90100 0a9b8700 ..N....|v....... @@ -103,351 +103,351 @@ 0000620 c5888400 0cb1010d 001d0000 00040001 ................ 0000630 2e000008 0c76e901 000a9b87 00572a0a .....v.......W*. 0000640 9d002a0a 9d006458 17001d00 00000400 ..*...dX........ - 0000650 012e0000 080cbd0d 04000a9b 8700576d ..............Wm + 0000650 012e0000 080ce60d 04000a9b 8700576d ..............Wm 0000660 41ac0049 00f10007 8c1a001d 00000004 A..I............ - 0000670 00012e00 00080cbd 0d04000a 9b870057 ...............W + 0000670 00012e00 00080ce6 0d04000a 9b870057 ...............W 0000680 c689f100 00000000 2d360500 23000000 ........-6..#... - 0000690 04004e98 0200087c bd0d0400 0a9b8700 ..N....|........ + 0000690 04004e98 0200087c e60d0400 0a9b8700 ..N....|........ 00006a0 460fa688 000fa688 0046d863 8900d863 F........F.c...c - 00006b0 89000020 00000004 004e9802 00087c50 ... .....N....|P - 00006c0 fb07000a 9b870041 88842b03 41ea842b .......A..+.A..+ - 00006d0 0341de84 2b03001a 00000004 004e9802 .A..+........N.. - 00006e0 00087c50 fb07000a 9b870046 980df100 ..|P.......F.... + 00006b0 89000020 00000004 004e9802 00087c3c ... .....N....|< + 00006c0 fb07000a 9b870041 ba852b03 411c862b .......A..+.A..+ + 00006d0 03411086 2b03001a 00000004 004e9802 .A..+........N.. + 00006e0 00087c3c fb07000a 9b870046 980df100 ..|<.......F.... 00006f0 980df100 001c0000 0004004e 98020008 ...........N.... - 0000700 7c50fb07 000a9b87 004f90b9 05000899 |P.......O...... + 0000700 7c3cfb07 000a9b87 004f90b9 05000899 |<.......O...... 0000710 b9050000 001b0000 0004004e 98020008 ...........N.... - 0000720 7c50fb07 000a9b87 004158f8 0500418a |P.......AX...A. + 0000720 7c3cfb07 000a9b87 004158f8 0500418a |<.......AX...A. 0000730 f8050000 1d000000 0400012e 0000080c ................ - 0000740 67a70900 0a9b8700 57d574ae 00000000 g.......W.t..... + 0000740 53a70900 0a9b8700 57d574ae 00000000 S.......W.t..... 0000750 00391801 001d0000 00040001 2e000008 .9.............. - 0000760 0c67a709 000a9b87 0057d3c2 0000e180 .g.......W...... + 0000760 0c53a709 000a9b87 0057d3c2 0000e180 .S.......W...... 0000770 84000b96 10001800 00000400 4e980200 ............N... - 0000780 087c67a7 09000a9b 87001908 0596b5ac .|g............. - 0000790 00001c00 00000400 4e980200 087c5d87 ........N....|]. + 0000780 087c53a7 09000a9b 87001908 0596b5ac .|S............. + 0000790 00001c00 00000400 4e980200 087c388a ........N....|8. 00007a0 0d000a9b 870056c0 9e8900b6 9e890041 ......V........A - 00007b0 00001d00 00000400 012e0000 080c5d87 ..............]. + 00007b0 00001d00 00000400 012e0000 080c388a ..............8. 00007c0 0d000a9b 8700572c 76ae0000 00000020 ......W,v...... - 00007d0 17010048 00000004 004e9802 00087c5d ...H.....N....|] - 00007e0 870d000a 9b870026 ad000000 26450500 .......&....&E.. - 00007f0 00269d07 000026bd 07000041 9a912703 .&....&....A..'. - 0000800 41359927 0341d3ec 260341be b2240341 A5.'.A..&.A..$.A - 0000810 d0fc2603 4101e926 03411f98 2703001e ..&.A..&.A..'... - 0000820 00000004 004e9802 00087c5d 870d000a .....N....|].... + 00007d0 17010048 00000004 004e9802 00087c38 ...H.....N....|8 + 00007e0 8a0d000a 9b870026 ad000000 26450500 .......&....&E.. + 00007f0 00269d07 000026bd 07000041 cc922703 .&....&....A..'. + 0000800 41679a27 034105ee 260341f0 b3240341 Ag.'.A..&.A..$.A + 0000810 02fe2603 4133ea26 03415199 2703001e ..&.A3.&.AQ.'... + 0000820 00000004 004e9802 00087c38 8a0d000a .....N....|8.... 0000830 9b87003f 67080200 6396a400 09e2010a ...?g...c....... - 0000840 001e0000 0004004e 98020008 7c5d870d .......N....|].. + 0000840 001e0000 0004004e 98020008 7c388a0d .......N....|8.. 0000850 000a9b87 003f9249 87009249 87004038 .....?.I...I..@8 - 0000860 0317003e 00000004 004e9802 00087ceb ...>.....N....|. - 0000870 7a0f000a 9b870026 e7030000 41bcf426 z......&....A..& - 0000880 03416bf1 26034178 f6260341 a1f62603 .Ak.&.Ax.&.A..&. - 0000890 415df426 0341f1f3 2603414f f6260341 A].&.A..&.AO.&.A - 00008a0 a7f72603 001e0000 0004004e 98020008 ..&........N.... - 00008b0 7c871911 000a9b87 003f19cd 0100b29c |........?...... + 0000860 0317003e 00000004 004e9802 00087cc6 ...>.....N....|. + 0000870 7d0f000a 9b870026 e7030000 41eef526 }......&....A..& + 0000880 03419df2 260341aa f7260341 d3f72603 .A..&.A..&.A..&. + 0000890 418ff526 034123f5 26034181 f7260341 A..&.A#.&.A..&.A + 00008a0 d9f82603 001e0000 0004004e 98020008 ..&........N.... + 00008b0 7c621c11 000a9b87 003f19cd 0100b29c |b.......?...... 00008c0 a4002c40 0606001e 00000004 004e9802 ..,@.........N.. - 00008d0 00087c87 1911000a 9b87003f 06b6a700 ..|........?.... + 00008d0 00087c62 1c11000a 9b87003f 06b6a700 ..|b.......?.... 00008e0 00000000 2c070101 001e0000 0004004e ....,..........N - 00008f0 98020008 7c871911 000a9b87 003f4491 ....|........?D. + 00008f0 98020008 7c621c11 000a9b87 003f4491 ....|b.......?D. 0000900 0000c588 840009a1 010d001d 00000004 ................ - 0000910 00012e00 00080c1f b212000a 9b870057 ...............W + 0000910 00012e00 00080cfa b412000a 9b870057 ...............W 0000920 4fb50000 e1808400 06340c00 1d000000 O........4...... - 0000930 0400012e 0000080c 1fb21200 0a9b8700 ................ + 0000930 0400012e 0000080c fab41200 0a9b8700 ................ 0000940 57190a02 002c9aa4 002feb06 001c0000 W....,.../...... - 0000950 0004004e 98020008 7c1fb212 000a9b87 ...N....|....... - 0000960 004f5cf3 44030866 f3440300 001e0000 .O\.D..f.D...... - 0000970 0004004e 98020008 7c969714 000a9b87 ...N....|....... + 0000950 0004004e 98020008 7cfab412 000a9b87 ...N....|....... + 0000960 004f8ef4 44030898 f4440300 001e0000 .O..D....D...... + 0000970 0004004e 98020008 7c719a14 000a9b87 ...N....|q...... 0000980 003f20e8 a6000000 00005c57 0301001e .? .......\W.... - 0000990 00000004 004e9802 00087c96 9714000a .....N....|..... + 0000990 00000004 004e9802 00087c71 9a14000a .....N....|q.... 00009a0 9b87003f c2e7a600 00000000 43aa0301 ...?........C... - 00009b0 001e0000 0004004e 98020008 7c969714 .......N....|... + 00009b0 001e0000 0004004e 98020008 7c719a14 .......N....|q.. 00009c0 000a9b87 003f3de8 a6000000 00004e8c .....?=.......N. - 00009d0 0201001e 00000004 004e9802 00087c96 .........N....|. - 00009e0 9714000a 9b87003f 5fc90100 2d9ba400 .......?_...-... + 00009d0 0201001e 00000004 004e9802 00087c71 .........N....|q + 00009e0 9a14000a 9b87003f 5fc90100 2d9ba400 .......?_...-... 00009f0 5cf6020a 001e0000 0004004e 98020008 \..........N.... - 0000a00 7c969714 000a9b87 003fdeac 00002284 |........?....". + 0000a00 7c719a14 000a9b87 003fdeac 00002284 |q.......?....". 0000a10 840006f0 010d001e 00000004 004e9802 .............N.. - 0000a20 00087c96 9714000a 9b87003f c7710000 ..|........?.q.. + 0000a20 00087c71 9a14000a 9b87003f c7710000 ..|q.......?.q.. 0000a30 c5888400 08b1010d 001d0000 00040001 ................ - 0000a40 2e000008 0c969714 000a9b87 0057e4b2 .............W.. + 0000a40 2e000008 0c719a14 000a9b87 0057e4b2 .....q.......W.. 0000a50 85000000 00005d39 05001e00 00000400 ......]9........ - 0000a60 4e980200 087c9697 14000a9b 87003faa N....|........?. + 0000a60 4e980200 087c719a 14000a9b 87003faa N....|q.......?. 0000a70 e8a60000 0000005e 7b030100 1c000000 .......^{....... - 0000a80 04004e98 0200087c 96971400 0a9b8700 ..N....|........ + 0000a80 04004e98 0200087c 719a1400 0a9b8700 ..N....|q....... 0000a90 4fc39b08 0008cc9b 08000000 1e000000 O............... - 0000aa0 04004e98 0200087c 96521600 0a9b8700 ..N....|.R...... + 0000aa0 04004e98 0200087c 71551600 0a9b8700 ..N....|qU...... 0000ab0 3f02e8a6 00000000 001da501 05001b00 ?............... - 0000ac0 00000400 4e980200 087c9652 16000a9b ....N....|.R.... - 0000ad0 870041d5 0d2b0341 a00d2b03 001d0000 ..A..+.A..+..... - 0000ae0 00040001 2e000008 0c965216 000a9b87 ..........R..... + 0000ac0 00000400 4e980200 087c7155 16000a9b ....N....|qU.... + 0000ad0 87004107 0f2b0341 d20e2b03 001d0000 ..A..+.A..+..... + 0000ae0 00040001 2e000008 0c715516 000a9b87 .........qU..... 0000af0 005794e7 a6000000 00004754 05001a00 .W........GT.... - 0000b00 00000400 4e980200 087ce606 18000a9b ....N....|...... + 0000b00 00000400 4e980200 087cc109 18000a9b ....N....|...... 0000b10 87004692 5cad0092 5cad0000 1d000000 ..F.\...\....... - 0000b20 0400012e 0000080c 85b61900 0a9b8700 ................ + 0000b20 0400012e 0000080c 60b91900 0a9b8700 ........`....... 0000b30 5744fb01 0050a8a4 00322606 00210000 WD...P...2&..!.. - 0000b40 0004004e 98020008 7c85b619 000a9b87 ...N....|....... - 0000b50 004fc29f 5b0308c9 9f5b0308 d09f5b03 .O..[....[....[. - 0000b60 00001b00 00000400 4e980200 087c0e59 ........N....|.Y - 0000b70 1b000a9b 8700418a 56770341 20557703 ......A.Vw.A Uw. - 0000b80 00220000 0004004e 98020008 7cf4ff1c .".....N....|... + 0000b40 0004004e 98020008 7c60b919 000a9b87 ...N....|`...... + 0000b50 004ff4a0 5b0308fb a05b0308 02a15b03 .O..[....[....[. + 0000b60 00001b00 00000400 4e980200 087ce95b ........N....|.[ + 0000b70 1b000a9b 870041bc 57770341 52567703 ......A.Ww.ARVw. + 0000b80 00220000 0004004e 98020008 7ccf021d .".....N....|... 0000b90 000a9b87 00414bf9 11000c5a e400009c .....AK....Z.... 0000ba0 9484000a 330a001c 00000004 004e9802 ....3........N.. - 0000bb0 00087cf4 ff1c000a 9b87004f 494f4103 ..|........OIOA. - 0000bc0 08534f41 0300001c 00000004 004e9802 .SOA.........N.. - 0000bd0 00087cf4 ff1c000a 9b87004f 2b4f4103 ..|........O+OA. - 0000be0 08354f41 0300001b 00000004 004e9802 .5OA.........N.. - 0000bf0 00087ced 9b1e000a 9b870041 60274503 ..|........A`'E. - 0000c00 41292745 03001b00 00000400 4e980200 A)'E........N... - 0000c10 087ced9b 1e000a9b 870041a4 867f0341 .|........A....A - 0000c20 cc867f03 001e0000 0004004e 98020008 ...........N.... - 0000c30 7ced9b1e 000a9b87 003f31de 00005d84 |........?1...]. + 0000bb0 00087ccf 021d000a 9b87004f 7b504103 ..|........O{PA. + 0000bc0 08855041 0300001c 00000004 004e9802 ..PA.........N.. + 0000bd0 00087ccf 021d000a 9b87004f 5d504103 ..|........O]PA. + 0000be0 08675041 0300001b 00000004 004e9802 .gPA.........N.. + 0000bf0 00087cd2 9e1e000a 9b870041 92284503 ..|........A.(E. + 0000c00 415b2845 03001b00 00000400 4e980200 A[(E........N... + 0000c10 087cd29e 1e000a9b 870041d6 877f0341 .|........A....A + 0000c20 fe877f03 001e0000 0004004e 98020008 ...........N.... + 0000c30 7cd29e1e 000a9b87 003f31de 00005d84 |........?1...]. 0000c40 84000c14 020a001d 00000004 00012e00 ................ - 0000c50 00080c3a f021000a 9b870057 2f283a00 ...:.!.....W/(:. + 0000c50 00080c1f f321000a 9b870057 2f283a00 .....!.....W/(:. 0000c60 00000000 13ed0500 1b000000 04004e98 ..............N. - 0000c70 0200087c 3af02100 0a9b8700 41a41e85 ...|:.!.....A... - 0000c80 0341641e 8503001b 00000004 004e9802 .Ad..........N.. - 0000c90 00087cf7 7623000a 9b870041 52f46b03 ..|.v#.....AR.k. - 0000ca0 41a11d6c 03004a00 00000400 4e980200 A..l..J.....N... - 0000cb0 087cf776 23000a9b 87002692 0c000041 .|.v#.....&....A - 0000cc0 1e1d6c03 41724b6d 03413a58 6d034119 ..l.ArKm.A:Xm.A. /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug differs in ELF section .debug_line --- /tmp/tmp.djqI9xQMD0/tmp.i5rfLUf1cF 2020-06-14 20:27:46.742671610 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.lyooWBzmFH 2020-06-14 20:27:49.626682559 +0000 @@ -7833,7 +7833,7 @@ 001e940 15061304 02050606 035f4a05 05061305 ........._J..... 001e950 1c065a05 17061458 0455051d 03b77f01 ..Z....X.U...... 001e960 66582e04 02051c06 03c70001 05170614 fX.............. - 001e970 58020200 01014324 02000300 ef060000 X.....C$........ + 001e970 58020200 01016c24 02000300 ef060000 X.....l$........ 001e980 0101fb0e 0d000101 01010000 00010000 ................ 001e990 012f7573 722f696e 636c7564 652f632b ./usr/include/c+ 001e9a0 2b2f3130 002f7573 722f696e 636c7564 +/10./usr/includ @@ -15546,9 +15546,9 @@ 003cb50 05050603 8116ac05 09130505 06110510 ................ 003cb60 c9042705 060603bb 6a3c0505 06130506 ..'.....j<...... 003cb70 068f0407 0509031e 01040c05 0703e203 ................ - 003cb80 01050503 db7c0105 0a034201 05000613 .....|....B..... + 003cb80 01050503 db7c0105 0a034201 05050613 .....|....B..... 003cb90 740603be 7f580613 90050706 03a30401 t....X.......... - 003cba0 050503db 7c01050a 03420105 00061306 ....|....B...... + 003cba0 050503db 7c01050a 03420105 05061306 ....|....B...... 003cbb0 03be7fba 06139004 53050b06 03bc0301 ........S....... 003cbc0 040b0505 03a77c01 0453050b 0603d903 ......|..S...... 003cbd0 01040b05 0e03a87c 74040c05 070603bf .......|t....... @@ -15588,84224 +15588,84224 @@ 003cdf0 040b0505 03a77c01 0453050b 0603d903 ......|..S...... 003ce00 01040b05 0e03a87c 74040c05 070603bf .......|t....... 003ce10 04580505 03db7c01 050a0342 74051106 .X....|....Bt... - 003ce20 1303bf7f 58900453 05000603 bc030104 ....X..S........ - 003ce30 0b03a77c 01045306 03d90301 040b03a8 ...|..S......... - 003ce40 7c74040c 0603bf04 5803db7c 01050a03 |t......X..|.... - 003ce50 42740511 061303bf 7f589004 45050006 Bt.......X..E... - 003ce60 03660104 0a03f302 01044506 038d7d74 .f........E...}t - 003ce70 040a03f3 02745804 0703e87d 01045905 .....tX....}..Y. - 003ce80 050603ca 35ba0500 13042703 974a7406 ....5.....'..Jt. - 003ce90 13050606 57050006 14838204 470603b8 ....W.......G... - 003cea0 7f010446 0505033a 01051718 0601040d ...F...:........ - 003ceb0 050a0603 7501051a 01040a05 0a03c602 ....u........... - 003cec0 01040d05 1a0603ba 7d01052a 74040a05 ........}..*t... - 003ced0 1c03c602 74820446 05170603 c57d0106 ....t..F.....}.. - 003cee0 01040d05 0a060375 01051a01 040a050a .......u........ - 003cef0 03c60201 040d051a 0603ba7d 01052a74 ...........}..*t - 003cf00 040a051c 03c60274 82044605 170603c5 .......t..F..... - 003cf10 7d010601 040d050a 06037501 051a0104 }.........u..... - 003cf20 0a050a03 c6020104 0d051a06 03ba7d01 ..............}. - 003cf30 052a7404 0a051c03 c6027482 04070500 .*t.......t..... - 003cf40 03e87d01 90042705 17036501 82040705 ..}...'...e..... - 003cf50 090603c3 15010666 05050610 05001504 .......f........ - 003cf60 2703b96a 4a061305 06065705 00061483 '..jJ.....W..... - 003cf70 82040705 0503c515 01580206 00010104 .........X...... - 003cf80 16050900 0902d694 06000000 00000328 ...............( - 003cf90 01052306 01040505 01060379 089e0404 ..#........y.... - 003cfa0 05070376 01060104 05054003 0a017405 ...v......@...t. - 003cfb0 05069f06 01041605 23180407 050d03b9 ........#....... - 003cfc0 0fac0409 05010600 09020e95 06000000 ................ - 003cfd0 0000039f 73010526 13050165 05262206 ....s..&...e.&". - 003cfe0 58061406 2e040605 1c03b67e 20050700 X..........~ ... - 003cff0 02040106 03d60301 00020401 03d47c01 ..............|. - 003d000 00020401 03780100 02040103 5d01051c .....x......]... - 003d010 00020401 06130002 04014a05 07000204 ..........J..... - 003d020 0106030d 01000204 01060105 02000204 ................ - 003d030 01031f01 050706a3 041303ff 01010414 ................ - 003d040 038d7d01 05130603 0d015804 06050e06 ..}.......X..... - 003d050 03110104 15050703 0c010601 0406051c ................ - 003d060 03198205 070603d6 030103d4 7c010378 ............|..x - 003d070 01035d01 051c0613 4a050706 030d0106 ..].....J....... - 003d080 01050203 1f010507 06a30413 03ff0101 ................ - 003d090 0414038d 7d010513 06030d01 58040605 ....}.......X... - 003d0a0 0e060311 01041505 07030c01 06010406 ................ - 003d0b0 051c0319 90580502 032c0104 14051303 .....X...,...... - 003d0c0 9e7f9e58 040c0505 034a829e 04150603 ...X.....J...... - 003d0d0 c100c804 1403bf7f 01060104 0c010404 ................ - 003d0e0 06035d58 036c0106 01031401 040603ff ..]X.l.......... - 003d0f0 03740404 03817c58 041b0603 394a0601 .t....|X....9J.. - 003d100 04060603 c3030103 f67d0106 01041b06 .........}...... - 003d110 03c77e01 06010406 0603d900 01060106 ..~............. - 003d120 03610104 1b034601 06010415 06032e01 .a....F......... - 003d130 041403bf 7f010601 040603ef 00014a4a ..............JJ - 003d140 06031c01 035d0106 134a0603 0d010601 .....]...J...... - 003d150 03e30201 04110603 d87e5814 18040603 .........~X..... - 003d160 80049e06 010603ab 7a010613 040c0398 ........z....... - 003d170 7f580406 03e80008 124a0619 06010603 .X.......J...... - 003d180 74010601 06032401 06010411 0603ec00 t.....$......... - 003d190 01040603 cf020103 d47c0106 010603b1 .........|...... - 003d1a0 7f010415 030c0106 01040c03 ad7f0182 ................ - 003d1b0 04060603 eb00f206 01060378 0106134a ...........x...J - 003d1c0 06031f01 0613040c 05100367 ac050706 ...........g.... - 003d1d0 03a40301 050503db 7c010510 06139e05 ........|....... - 003d1e0 1403957f 829e0415 0603c100 e4041403 ................ - 003d1f0 bf7f0106 01040c01 04040603 5d58036c ............]X.l - 003d200 01060103 14010406 03ff0374 04040381 ...........t.... - 003d210 7c58041b 0603394a 06010406 0603c303 |X....9J........ - 003d220 0103f67d 01060104 1b0603c7 7e010601 ...}........~... - 003d230 04060603 d9000106 01060361 01041b03 ...........a.... - 003d240 46010601 04150603 2e010414 03bf7f01 F............... - 003d250 06010406 03ef0001 4a4a0603 1c01035d ........JJ.....] - 003d260 01061358 06030d01 060103e3 02010411 ...X............ - 003d270 0603d87e 58141804 06038004 9e060106 ...~X........... - 003d280 03ab7a01 0613040c 03987f58 040603e8 ..z........X.... - 003d290 0008124a 06190601 06037401 06010603 ...J......t..... - 003d2a0 24010601 04110603 ec000104 0603cf02 $............... - 003d2b0 0103d47c 01060106 03b17f01 0415030c ...|............ - 003d2c0 01060104 0c03ad7f 01580510 03eb0001 .........X...... - 003d2d0 3c050706 03a40301 050503db 7c010510 <...........|... - 003d2e0 06139e82 04060514 06010601 06037801 ..............x. - 003d2f0 06134a06 031f0106 13ac040c 03fc7e01 ..J...........~. - 003d300 3cd69e04 150603c1 00c80414 03bf7f01 <............... - 003d310 0601040c 01040406 035d5803 6c010601 .........]X.l... - 003d320 03140104 0603ff03 74040403 817c5804 ........t....|X. - 003d330 1b060339 4a060104 060603c3 030103f6 ...9J........... - 003d340 7d010601 041b0603 c77e0106 01040606 }........~...... - 003d350 03d90001 06010603 6101041b 03460106 ........a....F.. - 003d360 01041506 032e0104 1403bf7f 01060104 ................ - 003d370 0603ef00 014a4a06 031c0103 5d010613 .....JJ.....]... - 003d380 4a06030d 01060103 e3020104 110603d8 J............... - 003d390 7e581418 04060380 049e0601 0603ab7a ~X.............z - 003d3a0 01061304 0c03987f 58040603 e8000812 ........X....... - 003d3b0 4a061906 01060374 01060106 03240106 J......t.....$.. - 003d3c0 01041106 03ec0001 040603cf 020103d4 ................ - 003d3d0 7c010601 0603b17f 01041503 0c010601 |............... - 003d3e0 040c03ad 7f010406 0603eb00 08740601 .............t.. - 003d3f0 06037801 06134a06 031f0106 13040c05 ..x...J......... - 003d400 0103fc7e ac9e0415 0603c100 c8041403 ...~............ - 003d410 bf7f0106 01040c01 04040603 5d58036c ............]X.l - 003d420 01060103 14010406 03ff0374 04040381 ...........t.... - 003d430 7c58041b 0603394a 06010406 0603c303 |X....9J........ - 003d440 0103f67d 01060104 1b0603c7 7e010601 ...}........~... - 003d450 04060603 d9000106 01060361 01041b03 ...........a.... - 003d460 46010601 04150603 2e010414 03bf7f01 F............... - 003d470 06010406 03ef0001 4a4a0603 1c01035d ........JJ.....] - 003d480 0106134a 06030d01 060103e3 02010411 ...J............ - 003d490 0603d87e 58141804 06038004 9e060106 ...~X........... - 003d4a0 03ab7a01 0613040c 03987f58 040603e8 ..z........X.... - 003d4b0 0008124a 06190601 06037401 06010603 ...J......t..... - 003d4c0 24010601 04110603 ec000104 0603cf02 $............... - 003d4d0 0103d47c 01060106 03b17f01 0415030c ...|............ - 003d4e0 01060104 0c03ad7f 01040606 03eb0008 ................ - 003d4f0 74060106 03780106 134a0603 1f010613 t....x...J...... - 003d500 040c03fc 7eac9ee4 0404035d 58040603 ....~......]X... - 003d510 ff037404 0403817c 58040603 95014a4a ..t....|X.....JJ - 003d520 4a037a01 5803f002 0158038c 7d9e040c J.z.X....X..}... - 003d530 03987f58 040603e8 0008124a 040c0398 ...X.......J.... - 003d540 7f015805 1003eb00 013c0507 0603a403 ..X......<...... - 003d550 01050503 db7c0105 1006139e 82040605 .....|.......... - 003d560 01037901 4a032001 ac040c03 fc7e013c ..y.J. ......~.< - 003d570 04360509 06030cd6 054c0601 04120546 .6.......L.....F - 003d580 03419e04 36054c03 3f9e0412 05050603 .A..6.L.?....... - 003d590 413c0546 06010404 05410310 58040605 A<.F.....A..X... - 003d5a0 0203ff03 74040405 4103817c 58040605 ....t...A..|X... - 003d5b0 33039501 4a4a4a05 1c037a01 4a050203 3...JJJ...z.J... - 003d5c0 f0020158 051a038c 7d9e0436 054c03a4 ...X....}..6.L.. - 003d5d0 7f580406 051a03dc 0008124a 04120546 .X.........J...F - 003d5e0 03e57e01 ac043605 4c033f01 58040605 ..~...6.L.?.X... - 003d5f0 1a03d800 082e4a05 1f032001 042b0529 ......J... ..+.) - 003d600 03ef7eac 05050601 05130105 290601e4 ..~.........)... - 003d610 82050506 01051301 05290601 e4820505 .........)...... - 003d620 06010513 01052906 01e40509 00020404 ......)......... - 003d630 0603c800 82000204 04060105 05000204 ................ - 003d640 040603b8 7f010513 00020404 01052900 ..............). - 003d650 02040406 01000204 04082005 05000204 .......... ..... - 003d660 02060105 13000204 02010529 00020402 ...........).... - 003d670 06010002 04020890 05090603 c8000101 ................ - 003d680 01010101 06010505 0603b87f 01051301 ................ - 003d690 05290601 08200505 00020402 06010513 .)... .......... - 003d6a0 00020402 01052900 02040206 01000204 ......)......... - 003d6b0 02083c05 05060105 13010529 0601e405 ..<........).... + 003ce20 1303bf7f 58900453 050b0603 bc030104 ....X..S........ + 003ce30 0b050503 a77c0104 53050b06 03d90301 .....|..S....... + 003ce40 040b050e 03a87c74 040c0507 0603bf04 ......|t........ + 003ce50 58050503 db7c0105 0a034274 05110613 X....|....Bt.... + 003ce60 03bf7f58 90044505 05060366 01040a05 ...X..E....f.... + 003ce70 0a03f302 01051c06 01044505 28038d7d ..........E.(..} + 003ce80 74040a05 1c03f302 74580407 051003e8 t.......tX...... + 003ce90 7d010459 05050603 ca35ba05 09130510 }..Y.....5...... + 003cea0 06010427 05060603 974a7405 05061305 ...'.....Jt..... + 003ceb0 06065705 0c061405 17838204 47050706 ..W.........G... + 003cec0 03b87f01 04460505 033a0105 17180601 .....F...:...... + 003ced0 040d050a 06037501 051a0104 0a050a03 ......u......... + 003cee0 c6020104 0d051a06 03ba7d01 052a7404 ..........}..*t. + 003cef0 0a051c03 c6027482 04460517 0603c57d ......t..F.....} + 003cf00 01060104 0d050a06 03750105 1a01040a .........u...... + 003cf10 050a03c6 0201040d 051a0603 ba7d0105 .............}.. + 003cf20 2a74040a 051c03c6 02748204 46051706 *t.......t..F... + 003cf30 03c57d01 0601040d 050a0603 7501051a ..}.........u... + 003cf40 01040a05 0a03c602 01040d05 1a0603ba ................ + 003cf50 7d01052a 74040a05 1c03c602 74820407 }..*t.......t... + 003cf60 051003e8 7d019004 27051703 65018204 ....}...'...e... + 003cf70 07050906 03c31501 06660505 0610050d .........f...... + 003cf80 15051406 01042705 060603b9 6a4a0505 ......'.....jJ.. + 003cf90 06130506 06570505 06148382 040703c5 .....W.......... + 003cfa0 15015802 06000101 04160509 000902d6 ..X............. + 003cfb0 94060000 00000003 28010523 06010405 ........(..#.... + 003cfc0 05010603 79089e04 04050703 76010601 ....y.......v... + 003cfd0 04050540 030a0174 0505069f 06010416 ...@...t........ + 003cfe0 05231804 07050d03 b90fac04 09050106 .#.............. + 003cff0 0009020e 95060000 00000003 9f730105 .............s.. + 003d000 26130501 65052622 06580614 062e0406 &...e.&".X...... + 003d010 051c03b6 7e200507 00020401 0603d603 ....~ .......... + 003d020 01000204 0103d47c 01000204 01037801 .......|......x. + 003d030 00020401 035d0105 1c000204 01061300 .....].......... + 003d040 0204014a 05070002 04010603 0d010002 ...J............ /usr/lib/debug/usr/bin/z3-4.8.8-0.0.x86_64.debug differs in ELF section .debug_loc --- /tmp/tmp.djqI9xQMD0/tmp.i5rfLUf1cF 2020-06-14 20:28:07.330749697 +0000 +++ /tmp/tmp.djqI9xQMD0/tmp.lyooWBzmFH 2020-06-14 20:28:18.758792968 +0000 @@ -58663,14 +58663,14 @@ 00e5220 0000140b 1a000000 00000100 5c000000 ............\... 00e5230 00000000 00000000 00000000 0001021d ................ 00e5240 0a1a0000 0000001d 0a1a0000 00000006 ................ - 00e5250 00f2e4b4 6b000000 00000000 00000000 ....k........... + 00e5250 00f2f2b4 6b000000 00000000 00000000 ....k........... 00e5260 00000000 00000002 006a0a1a 00000000 .........j...... - 00e5270 00830a1a 00000000 000600f2 0bb56b00 ..............k. + 00e5270 00830a1a 00000000 000600f2 19b56b00 ..............k. 00e5280 00000000 00000000 00000000 00000000 ................ 00e5290 0002006a 0a1a0000 00000083 0a1a0000 ...j............ 00e52a0 00000001 005c0000 00000000 00000000 .....\.......... 00e52b0 00000000 00000400 6a0a1a00 00000000 ........j....... - 00e52c0 830a1a00 00000000 0600f20b b56b0000 .............k.. + 00e52c0 830a1a00 00000000 0600f219 b56b0000 .............k.. 00e52d0 00000000 00000000 00000000 00000000 ................ 00e52e0 03006a0a 1a000000 0000830a 1a000000 ..j............. 00e52f0 00000100 5c000000 00000000 00000000 ....\........... @@ -58682,10 +58682,10 @@ 00e5350 00000000 007e0a1a 00000000 00830a1a .....~.......... 00e5360 00000000 0001005c 00000000 00000000 .......\........ 00e5370 00000000 00000000 0003650a 1a000000 ..........e..... - 00e5380 0000650a 1a000000 00000600 f20bb56b ..e............k + 00e5380 0000650a 1a000000 00000600 f219b56b ..e............k 00e5390 00000000 00000000 00000000 00000000 ................ 00e53a0 00000103 650a1a00 00000000 650a1a00 ....e.......e... - 00e53b0 00000000 0600f20b b56b0000 00000000 .........k...... + 00e53b0 00000000 0600f219 b56b0000 00000000 .........k...... 00e53c0 00000000 00000000 00000000 01000000 ................ 00e53d0 00000000 0000870a 1a000000 0000ac0a ................ 00e53e0 1a000000 00000100 5cac0a1a 00000000 ........\....... @@ -58780,10 +58780,10 @@ 00e5970 00000100 504a0c1a 00000000 004b0c1a ....PJ.......K.. 00e5980 00000000 0001005f 00000000 00000000 ......._........ 00e5990 00000000 00000000 0200d00b 1a000000 ................ - 00e59a0 0000f20b 1a000000 00000600 f253b96b .............S.k + 00e59a0 0000f20b 1a000000 00000600 f261b96b .............a.k 00e59b0 00000000 00000000 00000000 00000000 ................ 00e59c0 00000300 d00b1a00 00000000 f20b1a00 ................ - 00e59d0 00000000 0600f253 b96b0000 00000000 .......S.k...... + 00e59d0 00000000 0600f261 b96b0000 00000000 .......a.k...... 00e59e0 00000000 00000000 00000000 00000000 ................ 00e59f0 00000000 00000000 e00e1a00 00000000 ................ 00e5a00 110f1a00 00000000 01005511 0f1a0000 ..........U..... @@ -59067,8 +59067,8 @@ 00e6b60 53131a00 00000000 01005c00 00000000 S.........\..... 00e6b70 00000000 00000000 00000000 0000003c ...............< 00e6b80 121a0000 000000c6 121a0000 00000006 ................ - 00e6b90 00f2aec5 6b000014 131a0000 00000053 ....k..........S - 00e6ba0 131a0000 00000006 00f2aec5 6b000000 ............k... + 00e6b90 00f2bcc5 6b000014 131a0000 00000053 ....k..........S + 00e6ba0 131a0000 00000006 00f2bcc5 6b000000 ............k... 00e6bb0 00000000 00000000 00000000 00000000 ................ 00e6bc0 0000003c 121a0000 000000c6 121a0000 ...<............ 00e6bd0 00000003 0091887f 14131a00 00000000 ................ @@ -59487,8 +59487,8 @@ 00e85a0 00002318 1a000000 00000100 5c000000 ..#.........\... 00e85b0 00000000 00000000 00000000 00000000 ................ 00e85c0 00fc161a 00000000 0086171a 00000000 ................ - 00e85d0 000600f2 7ad46b00 00de171a 00000000 ....z.k......... - 00e85e0 0023181a 00000000 000600f2 7ad46b00 .#..........z.k. + 00e85d0 000600f2 88d46b00 00de171a 00000000 ......k......... + 00e85e0 0023181a 00000000 000600f2 88d46b00 .#............k. 00e85f0 00000000 00000000 00000000 00000000 ................ 00e8600 00000000 00fc161a 00000000 0086171a ................ 00e8610 00000000 00030091 887fde17 1a000000 ................ @@ -59813,8 +59813,8 @@ 00e9a00 c11b1a00 00000000 040073d0 04060000 ..........s..... 00e9a10 00000000 00000000 00000000 00000000 ................ 00e9a20 00006d1b 1a000000 0000831b 1a000000 ..m............. - 00e9a30 00000600 f20adf6b 0000c11b 1a000000 .......k........ - 00e9a40 0000e31b 1a000000 00000600 f20adf6b ...............k + 00e9a30 00000600 f218df6b 0000c11b 1a000000 .......k........ + 00e9a40 0000e31b 1a000000 00000600 f218df6b ...............k 00e9a50 00000000 00000000 00000000 00000000 ................ 00e9a60 00000000 00006d1b 1a000000 0000831b ......m......... 00e9a70 1a000000 00000100 56c11b1a 00000000 ........V....... @@ -61363,10 +61363,10 @@ 00efae0 0306de2b 1a000000 0000de2b 1a000000 ...+.......+.... 00efaf0 00000100 5d000000 00000000 00000000 ....]........... 00efb00 00000000 00010007 2c1a0000 0000002a ........,......* - 00efb10 2c1a0000 00000006 00f2c923 6c000000 ,..........#l... + 00efb10 2c1a0000 00000006 00f2d723 6c000000 ,..........#l... 00efb20 00000000 00000000 00000000 00000000 ................ 00efb30 000c2c1a 00000000 002a2c1a 00000000 ..,......*,..... - 00efb40 000600f2 c9236c00 00000000 00000000 .....#l......... + 00efb40 000600f2 d7236c00 00000000 00000000 .....#l......... 00efb50 00000000 00000000 000100a6 2b1a0000 ............+... 00efb60 000000b2 2b1a0000 00000004 0091b07f ....+........... 00efb70 9f000000 00000000 00000000 00000000 ................ @@ -61388,7 +61388,7 @@ 00efc70 0001005c ac301a00 00000000 bc301a00 ...\.0.......0.. 00efc80 00000000 01005c00 00000000 00000000 ......\......... 00efc90 00000000 00000004 054e2c1a 00000000 .........N,..... - 00efca0 004e2c1a 00000000 000600f2 a6266c00 .N,..........&l. + 00efca0 004e2c1a 00000000 000600f2 b4266c00 .N,..........&l. 00efcb0 00000000 00000000 00000000 00000000 ................ 00efcc0 00050000 00000000 004e2c1a 00000000 .........N,..... 00efcd0 00652c1a 00000000 00010055 652c1a00 .e,........Ue,.. @@ -61441,9 +61441,9 @@ 00effc0 db2c1a00 00000000 01005600 00000000 .,........V..... 00effd0 00000000 00000000 00000000 00d22c1a ..............,. 00effe0 00000000 00db2c1a 00000000 000600f2 ......,......... - 00efff0 ef276c00 00000000 00000000 00000000 .'l............. + 00efff0 fd276c00 00000000 00000000 00000000 .'l............. 00f0000 00000000 000000d2 2c1a0000 000000db ........,....... - 00f0010 2c1a0000 00000006 00f2d827 6c000000 ,..........'l... + 00f0010 2c1a0000 00000006 00f2e627 6c000000 ,..........'l... 00f0020 00000000 00000000 00000000 00000002 ................ 00f0030 00000002 00f12c1a 00000000 00572f1a ......,......W/. 00f0040 00000000 00040091 b07f9f7a 2f1a0000 ...........z/... @@ -61553,8 +61553,8 @@ 00f06c0 2d1a0000 00000003 0091e07e 00000000 -..........~.... 00f06d0 00000000 00000000 00000000 01020203 ................ 00f06e0 ff2d1a00 00000000 ff2d1a00 00000000 .-.......-...... - 00f06f0 0600f2e4 296c0000 77301a00 00000000 ....)l..w0...... - 00f0700 77301a00 00000000 0600f2e4 296c0000 w0..........)l.. + 00f06f0 0600f2f2 296c0000 77301a00 00000000 ....)l..w0...... + 00f0700 77301a00 00000000 0600f2f2 296c0000 w0..........)l.. 00f0710 00000000 00000000 00000000 00000000 ................ 00f0720 05000000 00000000 0600ff2d 1a000000 ...........-.... 00f0730 0000912e 1a000000 00000300 91e07e9c ..............~. @@ -61566,13 +61566,13 @@ 00f0790 91e07e00 00000000 00000000 00000000 ..~............. 00f07a0 00000004 00000000 00000005 00ff2d1a ..............-. 00f07b0 00000000 00912e1a 00000000 000600f2 ................ - 00f07c0 e4296c00 009c2f1a 00000000 00d02f1a .)l.../......./. - 00f07d0 00000000 000600f2 e4296c00 00ec2f1a .........)l.../. + 00f07c0 f2296c00 009c2f1a 00000000 00d02f1a .)l.../......./. + 00f07d0 00000000 000600f2 f2296c00 00ec2f1a .........)l.../. 00f07e0 00000000 00f92f1a 00000000 000600f2 ....../......... - 00f07f0 e4296c00 0058301a 00000000 0077301a .)l..X0......w0. - 00f0800 00000000 000600f2 e4296c00 0077301a .........)l..w0. + 00f07f0 f2296c00 0058301a 00000000 0077301a .)l..X0......w0. + 00f0800 00000000 000600f2 f2296c00 0077301a .........)l..w0. 00f0810 00000000 0092301a 00000000 000600f2 ......0......... - 00f0820 e4296c00 00000000 00000000 00000000 .)l............. + 00f0820 f2296c00 00000000 00000000 00000000 .)l............. 00f0830 00000000 00040000 00000000 000500ff ................ 00f0840 2d1a0000 00000091 2e1a0000 00000003 -............... 00f0850 0091887f 9c2f1a00 00000000 d02f1a00 ...../......./.. @@ -62884,15 +62884,15 @@ 00f59f0 0000d197 06000000 00000100 56000000 ............V... 00f5a00 00000000 00000000 00000000 00000001 ................ 00f5a10 00000000 00000000 00e03a1a 00000000 ..........:..... - 00f5a20 00f33a1a 00000000 000600f2 9e626c00 ..:..........bl. + 00f5a20 00f33a1a 00000000 000600f2 ac626c00 ..:..........bl. 00f5a30 00f83a1a 00000000 005d3b1a 00000000 ..:......];..... - 00f5a40 000600f2 9e626c00 003c3c1a 00000000 .....bl..<<..... - 00f5a50 00673c1a 00000000 000600f2 9e626c00 .g<..........bl. + 00f5a40 000600f2 ac626c00 003c3c1a 00000000 .....bl..<<..... + 00f5a50 00673c1a 00000000 000600f2 ac626c00 .g<..........bl. 00f5a60 00663d1a 00000000 00663d1a 00000000 .f=......f=..... - 00f5a70 000600f2 9e626c00 00b89706 00000000 .....bl......... - 00f5a80 00219806 00000000 000600f2 9e626c00 .!...........bl. + 00f5a70 000600f2 ac626c00 00b89706 00000000 .....bl......... + 00f5a80 00219806 00000000 000600f2 ac626c00 .!...........bl. 00f5a90 00369806 00000000 00559806 00000000 .6.......U...... - 00f5aa0 000600f2 9e626c00 00000000 00000000 .....bl......... + 00f5aa0 000600f2 ac626c00 00000000 00000000 .....bl......... 00f5ab0 00000000 00000000 00000001 00000000 ................ 00f5ac0 00000000 00e03a1a 00000000 00f33a1a ......:.......:. 00f5ad0 00000000 00040091 887f9ff8 3a1a0000 ............:... @@ -64345,10 +64345,10 @@ 00fb540 00834b1a 00000000 00ac4b1a 00000000 ..K.......K..... 00fb550 00030075 109f0000 00000000 00000000 ...u............ 00fb560 00000000 00000200 00000000 ac4b1a00 .............K.. - 00fb570 00000000 c34b1a00 00000000 0600f21d .....K.......... + 00fb570 00000000 c34b1a00 00000000 0600f22b .....K.........+ 00fb580 a56c0000 564f1a00 00000000 5d4f1a00 .l..VO......]O.. - 00fb590 00000000 0600f21d a56c0000 654f1a00 .........l..eO.. - 00fb5a0 00000000 6d4f1a00 00000000 0600f21d ....mO.......... + 00fb590 00000000 0600f22b a56c0000 654f1a00 .......+.l..eO.. + 00fb5a0 00000000 6d4f1a00 00000000 0600f22b ....mO.........+ 00fb5b0 a56c0000 00000000 00000000 00000000 .l.............. 00fb5c0 00000000 00000000 bb4b1a00 00000000 .........K...... 00fb5d0 c34b1a00 00000000 01005056 4f1a0000 .K........PVO... @@ -64374,7 +64374,7 @@ 00fb710 00f24b1a 00000000 0001005c 00000000 ..K........\.... 00fb720 00000000 00000000 00000000 0300f24b ...............K 00fb730 1a000000 0000064c 1a000000 00000600 .......L........ - 00fb740 f21da56c 00000000 00000000 00000000 ...l............ + 00fb740 f22ba56c 00000000 00000000 00000000 .+.l............ 00fb750 00000000 00000600 f24b1a00 00000000 .........K...... 00fb760 064c1a00 00000000 030091d0 7e000000 .L..........~... 00fb770 00000000 00000000 00000000 00020001 ................ @@ -64626,7 +64626,7 @@ 00fc6d0 00fc9b06 00000000 000b9c06 00000000 ................ 00fc6e0 0001005c 00000000 00000000 00000000 ...\............ 00fc6f0 00000000 0200e89b 06000000 0000fc9b ................ - 00fc700 06000000 00000600 f21da56c 00000000 ...........l.... + 00fc700 06000000 00000600 f22ba56c 00000000 .........+.l.... 00fc710 00000000 00000000 00000000 00000600 ................ 00fc720 e89b0600 00000000 fc9b0600 00000000 ................ 00fc730 030091d0 7e000000 00000000 00000000 ....~........... @@ -65235,8 +65235,8 @@ 00fece0 00000000 0003571a 00000000 00010056 ......W........V 00fecf0 00000000 00000000 00000000 00000000 ................ overalldiffered=4 (not bit-by-bit identical) overall=1