/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/cvc5_1.1.2-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/cvc5_1.1.2-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/cvc5_1.1.2-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/b1/cvc5_1.1.2-2_arm64.changes /srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/b2/cvc5_1.1.2-2

⊟

141 MB

/srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/b1/cvc5_1.1.2-2_arm64.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.WXF2JxZq/b2/cvc5_1.1.2-2_arm64.changes ¶

⊟

1.52 KB

Files ¶

⊟

2.26 KB

cvc5_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.77 KB

data.tar.xz ¶

⊟

1.75 KB

data.tar ¶

⊟

1.73 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

815 B

readelf --wide --notes {} ¶

⊟

866 B

readelf --wide --decompress --hex-dump=.gnu_debuglink {} ¶

error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment

⊟

39.8 KB

libcvc5-1_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

39.2 KB

data.tar.xz ¶

⊟

39.2 KB

data.tar ¶

⊟

39.2 KB

./usr/lib/aarch64-linux-gnu/libcvc5.so.1 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

14.4 KB

readelf --wide --relocs {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

435 B

strings --all --bytes=8 {} ¶

Ordering differences only

⊟

8.12 KB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} ¶

⊟

3.84 KB

readelf --wide --decompress --hex-dump=.rodata {} ¶

⊟

4.89 KB

readelf --wide --decompress --hex-dump=.data.rel.ro {} ¶

⊟

6.03 KB

readelf --wide --decompress --hex-dump=.data {} ¶

⊟

811 B

readelf --wide --decompress --hex-dump=.gnu_debuglink {} ¶

error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment

⊟

2.11 KB

libcvc5parser1_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.59 KB

data.tar.xz ¶

⊟

1.57 KB

data.tar ¶

⊟

1.56 KB

./usr/lib/aarch64-linux-gnu/libcvc5parser.so.1 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

628 B

readelf --wide --notes {} ¶

⊟

811 B

readelf --wide --decompress --hex-dump=.gnu_debuglink {} ¶

error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment

⊟

2.18 KB

python3-cvc5_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.67 KB

data.tar.xz ¶

⊟

1.65 KB

data.tar ¶

⊟

1.63 KB

./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-aarch64-linux-gnu.so ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

628 B

readelf --wide --notes {} ¶

⊟

811 B

readelf --wide --decompress --hex-dump=.gnu_debuglink {} ¶

error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment

⊟

37.4 MB

cvc5-dbgsym_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

37.4 MB

data.tar.xz ¶

⊟

37.4 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

37.4 MB

./usr/lib/debug/.build-id/65/39cf7b1dbb340d5f2102db87662f2e1cff7ae4.debug vs.

./usr/lib/debug/.build-id/3c/216cc076ba08cae0b5c62a8c4c4983da4cf99d.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 74% similar despite different names

⊟

969 B

readelf --wide --file-header {} ¶

error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name

⊟

3.56 KB

readelf --wide --sections {} ¶

error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name

⊟

909 B

readelf --wide --notes {} ¶

error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name

⊟

35.8 MB

readelf --wide --debug-dump=info {} ¶

error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name

⊟

2.11 KB

readelf --wide --debug-dump=macro {} ¶

error from `readelf --wide --debug-dump=macro {}`: readelf: Error: Unable to find program interpreter name

⊟

8.5 KB

strings --all --bytes=8 {} ¶

⊟

1.62 MB

readelf --wide --decompress --string-dump=.debug_str {} ¶

error from `readelf --wide --decompress --string-dump=.debug_str {}`: readelf: Error: Unable to find program interpreter name

⊟

25.0 MB

libcvc5-1-dbgsym_1.1.2-2_arm64.deb ¶

⊟

369 B

file list ¶

⊟

661 B

control.tar.xz ¶

⊟

633 B

control.tar ¶

⊟

385 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

25.0 MB

data.tar.xz ¶

⊟

25.0 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

25.0 MB

./usr/lib/debug/.build-id/90/8abc44d440abea6880c9bb754112e306731327.debug vs.

./usr/lib/debug/.build-id/ad/c3959dde4c9dd808f4e3f024c83a21ba9c2bf6.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 94% similar despite different names

⊟

865 B

readelf --wide --file-header {} ¶

⊟

3.51 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

24.2 MB

readelf --wide --debug-dump=info {} ¶

⊟

2.82 KB

readelf --wide --debug-dump=macro {} ¶

⊟

564 B

readelf --wide --debug-dump=loc {} ¶

⊟

661 KB

strings --all --bytes=8 {} ¶

⊟

176 KB

readelf --wide --decompress --string-dump=.debug_str {} ¶

⊟

60.4 MB

libcvc5parser1-dbgsym_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

60.4 MB

data.tar.xz ¶

⊟

60.4 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

60.4 MB

./usr/lib/debug/.build-id/94/25858b64515e3a9e86f59a1567bda4949e0905.debug vs.

./usr/lib/debug/.build-id/0d/d4be7dd3df2f53de85c087b5e5770e8ad50bea.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 91% similar despite different names

⊟

865 B

readelf --wide --file-header {} ¶

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

58.7 MB

readelf --wide --debug-dump=info {} ¶

⊟

1.99 KB

readelf --wide --debug-dump=macro {} ¶

⊟

15.5 KB

strings --all --bytes=8 {} ¶

⊟

1.67 MB

readelf --wide --decompress --string-dump=.debug_str {} ¶

⊟

17.9 MB

python3-cvc5-dbgsym_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

668 B

control.tar.xz ¶

⊟

640 B

control.tar ¶

⊟

392 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

17.9 MB

data.tar.xz ¶

⊟

17.9 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

17.9 MB

./usr/lib/debug/.build-id/3b/8ff167854225cbf196207d074da64d4575c06a.debug vs.

./usr/lib/debug/.build-id/3f/6bb5d1e5d845799185ad989e403bc1341c762c.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names

⊟

865 B

readelf --wide --file-header {} ¶

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

16.1 MB

readelf --wide --debug-dump=info {} ¶

⊟

1.04 KB

readelf --wide --debug-dump=macro {} ¶

⊟

7.42 KB

strings --all --bytes=8 {} ¶

⊟

1.76 MB

readelf --wide --decompress --string-dump=.debug_str {} ¶

+·efc1abd6279bcfcc39834760bc1fe928·1844656·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
+·47d384618ef904c6c82379cb90e3abc5·97184·math·optional·cvc5_1.1.2-2_arm64.deb
+·4ace6d264a346f492f3a842c2a22e5c2·179890092·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
+·f1ab3d0642d29eae4b520932318dad44·1844088·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
+·f0b6d4a05d666866aa4a6da9506008f3·97128·math·optional·cvc5_1.1.2-2_arm64.deb
+·169a81bac86a6f98be6752f87fe18aff·179896788·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
+·c5ec8293e67b51afeff4dc4a54e0eb17·5717832·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
+·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
+·414f0e18e8049308d3fe0dd047f21648·4013008·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
+·997f4c6e1f0beffc4b7771fdc4c7b8d5·208596·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
+·57a01c6ded9003e060119b86762f24f7·2585464·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
+·3578079826566f6f9606224fc78614e5·4012104·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
+·969fa8492ef3d1dc396ce29acb5f5fe4·208004·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
+·48bcc5d6dc8d2566d0f15da96f882a95·2585500·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
+·102c3d7ec9b07874ddbc580d11099aa1·297612·python·optional·python3-cvc5_1.1.2-2_arm64.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2	-rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0····95876·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0····95820·2024-03-19·00:06:23.000000·data.tar.xz


Offset 1, 12 lines modified		Offset 1, 12 lines modified

1	Displaying·notes·found·in:·.note.gnu.property	1	Displaying·notes·found·in:·.note.gnu.property
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC	3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC

4	Displaying·notes·found·in:·.note.gnu.build-id	4	Displaying·notes·found·in:·.note.gnu.build-id
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·~~6539~~cf7b~~1dbb34~~0d5f2102db8~~7662f2e1cff7ae4~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·3c216cc076ba08cae0b5c62a8c4c4983da4cf99d

7	Displaying·notes·found·in:·.note.ABI-tag	7	Displaying·notes·found·in:·.note.ABI-tag
8	··Owner················Data·size·» Description	8	··Owner················Data·size·» Description
9	··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0	9	··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0


Offset 1, 7 lines modified		Offset 1, 7 lines modified

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·33396366·37623164·62623334·30643566·39cf7b1dbb340d5f
3	··0x00000010·32313~~032~~·64623837·36363266·32653163·210~~2db8~~76~~62f2e1c~~	2	··0x00000000·32313663·63303736·62613038·63616530·216cc076ba08cae0
		3	··0x00000010·62356336·32613863·34633439·38336461·b5c62a8c4c4983da
4	··0x00000020·66663761·~~653~~42e64·65627567·00000000·~~ff7ae4~~.debug....	4	··0x00000020·34636639·39642e64·65627567·00000000·4cf99d.debug....
5	··0x00000030·~~64f6593c~~····························d.Y<	5	··0x00000030·2ea1865f····························..._


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2	-rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0··5714764·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0··5716364·2024-03-19·00:06:23.000000·data.tar.xz


Offset 1, 8 lines modified		Offset 1, 8 lines modified

1	Displaying·notes·found·in:·.note.gnu.property	1	Displaying·notes·found·in:·.note.gnu.property
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC	3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC

4	Displaying·notes·found·in:·.note.gnu.build-id	4	Displaying·notes·found·in:·.note.gnu.build-id
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·~~908abc44~~d44~~0abea6~~8~~80c9bb754112e306731327~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·adc3959dde4c9dd808f4e3f024c83a21ba9c2bf6


Offset 8921, 16 lines modified		Offset 8921, 16 lines modified
8921	preprocess-only	8921	preprocess-only
8922	preregister-mode	8922	preregister-mode
8923	print-cores-full	8923	print-cores-full
8924	print-dot-clusters	8924	print-dot-clusters
8925	print-inst	8925	print-inst
8926	print-inst-full	8926	print-inst-full
8927	produce-abducts	8927	produce-abducts
8928	produce-assertions
8929	interactive-mode	8928	interactive-mode
		8929	produce-assertions
8930	produce-assignments	8930	produce-assignments
8931	produce-difficulty	8931	produce-difficulty
8932	produce-interpolants	8932	produce-interpolants
8933	produce-learned-literals	8933	produce-learned-literals
8934	produce-proofs	8934	produce-proofs
8935	produce-unsat-assumptions	8935	produce-unsat-assumptions
8936	proof-alethe-res-pivots	8936	proof-alethe-res-pivots


Offset 73289, 24 lines modified		Offset 73289, 24 lines modified
73289	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>	73289	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
73290	» add» x0,·x19,·x8	73290	» add» x0,·x19,·x8
73291	» add» x1,·x1,·#0x888	73291	» add» x1,·x1,·#0x888
73292	» str» w2,·[sp,·#4840]	73292	» str» w2,·[sp,·#4840]
73293	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	73293	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
73294	» mov» w2,·#0x77··················» //·#119	73294	» mov» w2,·#0x77··················» //·#119
73295	» mov» x7,·#0x12e8················» //·#4840	73295	» mov» x7,·#0x12e8················» //·#4840
73296	» adrp» x1,·1~~2dd~~000·<CaDiCaL::Internal::cover()@@Base+0x4380>	73296	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
73297	» add» x0,·x19,·x7	73297	» add» x0,·x19,·x7
73298	» add» x1,·x1,·#0x~~250~~	73298	» add» x1,·x1,·#0x898
73299	» str» w2,·[sp,·#4880]	73299	» str» w2,·[sp,·#4880]
73300	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	73300	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
73301	» mov» w2,·#0x78··················» //·#120	73301	» mov» w2,·#0x78··················» //·#120
73302	» mov» x6,·#0x1310················» //·#4880	73302	» mov» x6,·#0x1310················» //·#4880
73303	» adrp» x1,·1~~31b~~000·<CaDiCaL::Internal::cover()@@Base+0x42380>	73303	» adrp» x1,·12dd000·<CaDiCaL::Internal::cover()@@Base+0x4380>
73304	» add» x0,·x19,·x6	73304	» add» x0,·x19,·x6
73305	» add» x1,·x1,·#0x~~898~~	73305	» add» x1,·x1,·#0x250
73306	» str» w2,·[sp,·#4920]	73306	» str» w2,·[sp,·#4920]
73307	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	73307	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
73308	» mov» w2,·#0x78··················» //·#120	73308	» mov» w2,·#0x78··················» //·#120
73309	» mov» x5,·#0x1338················» //·#4920	73309	» mov» x5,·#0x1338················» //·#4920
73310	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>	73310	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
73311	» add» x0,·x19,·x5	73311	» add» x0,·x19,·x5
73312	» add» x1,·x1,·#0x8a0	73312	» add» x1,·x1,·#0x8a0
Offset 73703, 15 lines modified		Offset 73703, 15 lines modified
73703	» add» x0,·x19,·x3	73703	» add» x0,·x19,·x3
73704	» add» x1,·x1,·#0xc00	73704	» add» x1,·x1,·#0xc00
73705	» str» w2,·[sp,·#7200]	73705	» str» w2,·[sp,·#7200]
73706	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	73706	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
73707	» mov» w2,·#0xb1··················» //·#177	73707	» mov» w2,·#0xb1··················» //·#177
73708	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>	73708	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
73709	» mov» x0,·#0x1c20················» //·#7200	73709	» mov» x0,·#0x1c20················» //·#7200
73710	» add» x1,·x1,·#0xc08	73710	» add» x1,·x1,·#0xc10
73711	» add» x0,·x19,·x0	73711	» add» x0,·x19,·x0
73712	» str» w2,·[sp,·#7240]	73712	» str» w2,·[sp,·#7240]
73713	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	73713	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
73714	» mov» w2,·#0xb1··················» //·#177	73714	» mov» w2,·#0xb1··················» //·#177
73715	» mov» x30,·#0x1c48················» //·#7240	73715	» mov» x30,·#0x1c48················» //·#7240
73716	» adrp» x1,·12e3000·<CaDiCaL::Internal::cover()@@Base+0xa380>	73716	» adrp» x1,·12e3000·<CaDiCaL::Internal::cover()@@Base+0xa380>
73717	» add» x0,·x19,·x30	73717	» add» x0,·x19,·x30
Offset 74079, 45 lines modified		Offset 74079, 45 lines modified
74079	» mov» x3,·#0x2468················» //·#9320	74079	» mov» x3,·#0x2468················» //·#9320
74080	» adrp» x1,·1310000·<CaDiCaL::Internal::cover()@@Base+0x37380>	74080	» adrp» x1,·1310000·<CaDiCaL::Internal::cover()@@Base+0x37380>
74081	» add» x0,·x19,·x3	74081	» add» x0,·x19,·x3
74082	» add» x1,·x1,·#0xae0	74082	» add» x1,·x1,·#0xae0
74083	» str» w2,·[sp,·#9360]	74083	» str» w2,·[sp,·#9360]
74084	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74084	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74085	» mov» w2,·#0xe6··················» //·#230	74085	» mov» w2,·#0xe6··················» //·#230
74086	» adrp» x1,·1~~2dd~~000·<CaDiCaL::Internal::cover()@@Base+0x4380>	74086	» adrp» x1,·130f000·<CaDiCaL::Internal::cover()@@Base+0x36380>
74087	» mov» x0,·#0x2490················» //·#9360	74087	» mov» x0,·#0x2490················» //·#9360
74088	» add» x1,·x1,·#0x280	74088	» add» x1,·x1,·#0x480
74089	» add» x0,·x19,·x0	74089	» add» x0,·x19,·x0
74090	» str» w2,·[sp,·#9400]	74090	» str» w2,·[sp,·#9400]
74091	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74091	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74092	» mov» w2,·#0xe7··················» //·#231	74092	» mov» w2,·#0xe7··················» //·#231
74093	» mov» x30,·#0x24b8················» //·#9400	74093	» mov» x30,·#0x24b8················» //·#9400
74094	» adrp» x1,·1~~30f~~000·<CaDiCaL::Internal::cover()@@Base+0x36380>	74094	» adrp» x1,·12dd000·<CaDiCaL::Internal::cover()@@Base+0x4380>
74095	» add» x0,·x19,·x30	74095	» add» x0,·x19,·x30
74096	» add» x1,·x1,·#0x480	74096	» add» x1,·x1,·#0x280
74097	» str» w2,·[sp,·#9440]	74097	» str» w2,·[sp,·#9440]
74098	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74098	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74099	» mov» w2,·#0xe7··················» //·#231	74099	» mov» w2,·#0xe7··················» //·#231
74100	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>	74100	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
74101	» mov» x28,·#0x24e0················» //·#9440	74101	» mov» x28,·#0x24e0················» //·#9440
74102	» add» x1,·x1,·#0xfb8	74102	» add» x1,·x1,·#0xfb8
74103	» add» x0,·x19,·x28	74103	» add» x0,·x19,·x28
74104	» str» w2,·[sp,·#9480]	74104	» str» w2,·[sp,·#9480]
74105	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74105	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74106	» mov» w2,·#0xe8··················» //·#232	74106	» mov» w2,·#0xe8··················» //·#232
74107	» adrp» x1,·1~~2ef~~000·<CaDiCaL::Internal::cover()@@Base+0x16380>	74107	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
74108	» mov» x27,·#0x2508················» //·#9480	74108	» mov» x27,·#0x2508················» //·#9480
74109	» add» x1,·x1,·#0x6c0	74109	» add» x1,·x1,·#0xfc0
74110	» add» x0,·x19,·x27	74110	» add» x0,·x19,·x27
74111	» str» w2,·[sp,·#9520]	74111	» str» w2,·[sp,·#9520]
74112	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74112	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74113	» mov» w2,·#0xe9··················» //·#233	74113	» mov» w2,·#0xe9··················» //·#233
74114	» adrp» x1,·1~~31b~~000·<CaDiCaL::Internal::cover()@@Base+0x42380>	74114	» adrp» x1,·12ef000·<CaDiCaL::Internal::cover()@@Base+0x16380>
74115	» mov» x26,·#0x2530················» //·#9520	74115	» mov» x26,·#0x2530················» //·#9520
74116	» add» x1,·x1,·#0xfc0	74116	» add» x1,·x1,·#0x6c0
74117	» add» x0,·x19,·x26	74117	» add» x0,·x19,·x26
74118	» str» w2,·[sp,·#9560]	74118	» str» w2,·[sp,·#9560]
74119	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74119	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74120	» mov» w2,·#0xe9··················» //·#233	74120	» mov» w2,·#0xe9··················» //·#233
74121	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>	74121	» adrp» x1,·131b000·<CaDiCaL::Internal::cover()@@Base+0x42380>
74122	» mov» x25,·#0x2558················» //·#9560	74122	» mov» x25,·#0x2558················» //·#9560
74123	» add» x1,·x1,·#0xfd0	74123	» add» x1,·x1,·#0xfd0
Offset 74137, 15 lines modified		Offset 74137, 15 lines modified
74137	» add» x1,·x1,·#0xff8	74137	» add» x1,·x1,·#0xff8
74138	» add» x0,·x19,·x23	74138	» add» x0,·x19,·x23
74139	» str» w2,·[sp,·#9680]	74139	» str» w2,·[sp,·#9680]
74140	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74140	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74141	» mov» w2,·#0xec··················» //·#236	74141	» mov» w2,·#0xec··················» //·#236
74142	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>	74142	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>
74143	» mov» x22,·#0x25d0················» //·#9680	74143	» mov» x22,·#0x25d0················» //·#9680
74144	» add» x1,·x1,·#0x0	74144	» add» x1,·x1,·#0x8
74145	» add» x0,·x19,·x22	74145	» add» x0,·x19,·x22
74146	» str» w2,·[sp,·#9720]	74146	» str» w2,·[sp,·#9720]
74147	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74147	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74148	» mov» w2,·#0xec··················» //·#236	74148	» mov» w2,·#0xec··················» //·#236
74149	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>	74149	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>
74150	» mov» x21,·#0x25f8················» //·#9720	74150	» mov» x21,·#0x25f8················» //·#9720
74151	» add» x1,·x1,·#0x10	74151	» add» x1,·x1,·#0x10
Offset 74674, 24 lines modified		Offset 74674, 24 lines modified
74674	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>	74674	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>
74675	» mov» x27,·#0x31b0················» //·#12720	74675	» mov» x27,·#0x31b0················» //·#12720
74676	» add» x1,·x1,·#0x5f8	74676	» add» x1,·x1,·#0x5f8
74677	» add» x0,·x19,·x27	74677	» add» x0,·x19,·x27
74678	» str» w2,·[sp,·#12760]	74678	» str» w2,·[sp,·#12760]
74679	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74679	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74680	» mov» w2,·#0x135·················» //·#309	74680	» mov» w2,·#0x135·················» //·#309
74681	» adrp» x1,·1~~2dd~~000·<CaDiCaL::Internal::cover()@@Base+0x4380>	74681	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>
74682	» mov» x26,·#0x31d8················» //·#12760	74682	» mov» x26,·#0x31d8················» //·#12760
74683	» add» x1,·x1,·#0x~~298~~	74683	» add» x1,·x1,·#0x600
74684	» add» x0,·x19,·x26	74684	» add» x0,·x19,·x26
74685	» str» w2,·[sp,·#12800]	74685	» str» w2,·[sp,·#12800]
74686	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74686	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74687	» mov» w2,·#0x136·················» //·#310	74687	» mov» w2,·#0x136·················» //·#310
74688	» adrp» x1,·1~~31c~~000·<CaDiCaL::Internal::cover()@@Base+0x43380>	74688	» adrp» x1,·12dd000·<CaDiCaL::Internal::cover()@@Base+0x4380>
74689	» mov» x25,·#0x3200················» //·#12800	74689	» mov» x25,·#0x3200················» //·#12800
74690	» add» x1,·x1,·#0x~~600~~	74690	» add» x1,·x1,·#0x298
74691	» add» x0,·x19,·x25	74691	» add» x0,·x19,·x25
74692	» str» w2,·[sp,·#12840]	74692	» str» w2,·[sp,·#12840]
74693	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>	74693	» bl» 119c360·<cvc5::internal::Options::Options()@@Base+0x14fc>
74694	» mov» w2,·#0x136·················» //·#310	74694	» mov» w2,·#0x136·················» //·#310
74695	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>	74695	» adrp» x1,·131c000·<CaDiCaL::Internal::cover()@@Base+0x43380>
74696	» mov» x24,·#0x3228················» //·#12840	74696	» mov» x24,·#0x3228················» //·#12840
74697	» add» x1,·x1,·#0x610	74697	» add» x1,·x1,·#0x610
Max diff block lines reached; 2518/8125 bytes (30.99%) of diff not shown.


Offset 17079, 16 lines modified		Offset 17079, 16 lines modified
17079	··0x0131bb90·65000000·00000000·6974652d·6474742d·e.......ite-dtt-	17079	··0x0131bb90·65000000·00000000·6974652d·6474742d·e.......ite-dtt-
17080	··0x0131bba0·73706c69·742d7175·616e7400·00000000·split-quant.....	17080	··0x0131bba0·73706c69·742d7175·616e7400·00000000·split-quant.....
17081	··0x0131bbb0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..	17081	··0x0131bbb0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..
17082	··0x0131bbc0·6974652d·73696d70·00000000·00000000·ite-simp........	17082	··0x0131bbc0·6974652d·73696d70·00000000·00000000·ite-simp........
17083	··0x0131bbd0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....	17083	··0x0131bbd0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....
17084	··0x0131bbe0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......	17084	··0x0131bbe0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......
17085	··0x0131bbf0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...	17085	··0x0131bbf0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...
17086	··0x0131bc00·6c6~~16e67~~·~~00000000~~·696e7075~~·742d~~6~~c61·la~~n~~g....i~~npu~~t-la~~	17086	··0x0131bc00·696e7075·742d6c61·6e677561·67650000·input-language..
17087	··0x0131bc10·6e6~~775~~61·~~6765~~0000·6c656d6d·612d696e·~~nguage~~..lemma-in	17087	··0x0131bc10·6c616e67·00000000·6c656d6d·612d696e·lang....lemma-in
17088	··0x0131bc20·70726f63·65737300·6c656d6d·612d696e·process.lemma-in	17088	··0x0131bc20·70726f63·65737300·6c656d6d·612d696e·process.lemma-in
17089	··0x0131bc30·70726f63·6573732d·696e6665·722d6571·process-infer-eq	17089	··0x0131bc30·70726f63·6573732d·696e6665·722d6571·process-infer-eq
17090	··0x0131bc40·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in	17090	··0x0131bc40·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in
17091	··0x0131bc50·70726f63·6573732d·73756273·00000000·process-subs....	17091	··0x0131bc50·70726f63·6573732d·73756273·00000000·process-subs....
17092	··0x0131bc60·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay	17092	··0x0131bc60·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
17093	··0x0131bc70·2d666169·6c757265·00000000·00000000·-failure........	17093	··0x0131bc70·2d666169·6c757265·00000000·00000000·-failure........
17094	··0x0131bc80·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus	17094	··0x0131bc80·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
Offset 17142, 16 lines modified		Offset 17142, 16 lines modified
17142	··0x0131bf80·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si	17142	··0x0131bf80·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17143	··0x0131bf90·6d700000·00000000·6f70742d·7265732d·mp......opt-res-	17143	··0x0131bf90·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17144	··0x0131bfa0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s	17144	··0x0131bfa0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17145	··0x0131bfb0·697a6500·00000000·6f757470·75740000·ize.....output..	17145	··0x0131bfb0·697a6500·00000000·6f757470·75740000·ize.....output..
17146	··0x0131bfc0·6f757470·75742d6c·616e6700·00000000·output-lang.....	17146	··0x0131bfc0·6f757470·75742d6c·616e6700·00000000·output-lang.....
17147	··0x0131bfd0·70617273·652d6f6e·6c790000·00000000·parse-only......	17147	··0x0131bfd0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148	··0x0131bfe0·70617274·69616c2d·74726967·67657273·partial-triggers	17148	··0x0131bfe0·70617274·69616c2d·74726967·67657273·partial-triggers
17149	··0x0131bff0·00000000·00000000·63686563·6b000000·........check...
17150	··0x0131c000·70617274·6974696f~~·6e2d6368~~·6~~5636b00·~~partitio~~n-check.~~	17149	··0x0131bff0·00000000·00000000·70617274·6974696f·........partitio
		17150	··0x0131c000·6e2d6368·65636b00·63686563·6b000000·n-check.check...
17151	··0x0131c010·70617274·6974696f·6e2d636f·6e666c69·partition-confli	17151	··0x0131c010·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152	··0x0131c020·63742d73·697a6500·70617274·6974696f·ct-size.partitio	17152	··0x0131c020·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153	··0x0131c030·6e2d7374·6172742d·74696d65·00000000·n-start-time....	17153	··0x0131c030·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154	··0x0131c040·70617274·6974696f·6e000000·00000000·partition.......	17154	··0x0131c040·70617274·6974696f·6e000000·00000000·partition.......
17155	··0x0131c050·70617274·6974696f·6e2d7374·72617465·partition-strate	17155	··0x0131c050·70617274·6974696f·6e2d7374·72617465·partition-strate
17156	··0x0131c060·67790000·00000000·70617274·6974696f·gy......partitio	17156	··0x0131c060·67790000·00000000·70617274·6974696f·gy......partitio
17157	··0x0131c070·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.	17157	··0x0131c070·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
Offset 17173, 17 lines modified		Offset 17173, 17 lines modified
17173	··0x0131c170·7465722d·6d6f6465·00000000·00000000·ter-mode........	17173	··0x0131c170·7465722d·6d6f6465·00000000·00000000·ter-mode........
17174	··0x0131c180·7072696e·742d636f·7265732d·66756c6c·print-cores-full	17174	··0x0131c180·7072696e·742d636f·7265732d·66756c6c·print-cores-full
17175	··0x0131c190·00000000·00000000·7072696e·742d646f·........print-do	17175	··0x0131c190·00000000·00000000·7072696e·742d646f·........print-do
17176	··0x0131c1a0·742d636c·75737465·72730000·00000000·t-clusters......	17176	··0x0131c1a0·742d636c·75737465·72730000·00000000·t-clusters......
17177	··0x0131c1b0·7072696e·742d696e·73740000·00000000·print-inst......	17177	··0x0131c1b0·7072696e·742d696e·73740000·00000000·print-inst......
17178	··0x0131c1c0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.	17178	··0x0131c1c0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.
17179	··0x0131c1d0·70726f64·7563652d·61626475·63747300·produce-abducts.	17179	··0x0131c1d0·70726f64·7563652d·61626475·63747300·produce-abducts.
17180	··0x0131c1e0·70726f64·7563652d·61737365·7274696f·produce-assertio
17181	··0x0131c1f0·6e730000·00000000·696e7465·72616374·ns......interact
17182	··0x0131c200·6976652d·6d6~~f64~~65·~~00000000~~·0~~0000000·~~ive-mode~~........~~	17180	··0x0131c1e0·696e7465·72616374·6976652d·6d6f6465·interactive-mode
		17181	··0x0131c1f0·00000000·00000000·70726f64·7563652d·........produce-
		17182	··0x0131c200·61737365·7274696f·6e730000·00000000·assertions......
17183	··0x0131c210·70726f64·7563652d·61737369·676e6d65·produce-assignme	17183	··0x0131c210·70726f64·7563652d·61737369·676e6d65·produce-assignme
17184	··0x0131c220·6e747300·00000000·70726f64·7563652d·nts.....produce-	17184	··0x0131c220·6e747300·00000000·70726f64·7563652d·nts.....produce-
17185	··0x0131c230·64696666·6963756c·74790000·00000000·difficulty......	17185	··0x0131c230·64696666·6963756c·74790000·00000000·difficulty......
17186	··0x0131c240·70726f64·7563652d·696e7465·72706f6c·produce-interpol	17186	··0x0131c240·70726f64·7563652d·696e7465·72706f6c·produce-interpol
17187	··0x0131c250·616e7473·00000000·70726f64·7563652d·ants....produce-	17187	··0x0131c250·616e7473·00000000·70726f64·7563652d·ants....produce-
17188	··0x0131c260·6c656172·6e65642d·6c697465·72616c73·learned-literals	17188	··0x0131c260·6c656172·6e65642d·6c697465·72616c73·learned-literals
17189	··0x0131c270·00000000·00000000·70726f64·7563652d·........produce-	17189	··0x0131c270·00000000·00000000·70726f64·7563652d·........produce-


Offset 1860, 15 lines modified		Offset 1860, 15 lines modified
1860	··0x015df6a8·28b33101·00000000·38b33101·00000000·(.1.....8.1.....	1860	··0x015df6a8·28b33101·00000000·38b33101·00000000·(.1.....8.1.....
1861	··0x015df6b8·58b33101·00000000·68b33101·00000000·X.1.....h.1.....	1861	··0x015df6b8·58b33101·00000000·68b33101·00000000·X.1.....h.1.....
1862	··0x015df6c8·80b33101·00000000·98b33101·00000000·..1.......1.....	1862	··0x015df6c8·80b33101·00000000·98b33101·00000000·..1.......1.....
1863	··0x015df6d8·a8b33101·00000000·b8b33101·00000000·..1.......1.....	1863	··0x015df6d8·a8b33101·00000000·b8b33101·00000000·..1.......1.....
1864	··0x015df6e8·c8b33101·00000000·d8b33101·00000000·..1.......1.....	1864	··0x015df6e8·c8b33101·00000000·d8b33101·00000000·..1.......1.....
1865	··0x015df6f8·e8b33101·00000000·00b43101·00000000·..1.......1.....	1865	··0x015df6f8·e8b33101·00000000·00b43101·00000000·..1.......1.....
1866	··0x015df708·18b43101·00000000·28b43101·00000000·..1.....(.1.....	1866	··0x015df708·18b43101·00000000·28b43101·00000000·..1.....(.1.....
1867	··0x015df718·38b43101·00000000·f8bf3101·00000000·8.1.......1.....	1867	··0x015df718·38b43101·00000000·08c03101·00000000·8.1.......1.....
1868	··0x015df728·50b43101·00000000·60b43101·00000000·P.1.....`.1.....	1868	··0x015df728·50b43101·00000000·60b43101·00000000·P.1.....`.1.....
1869	··0x015df738·78b43101·00000000·18dd2e01·00000000·x.1.............	1869	··0x015df738·78b43101·00000000·18dd2e01·00000000·x.1.............
1870	··0x015df748·88b43101·00000000·98b43101·00000000·..1.......1.....	1870	··0x015df748·88b43101·00000000·98b43101·00000000·..1.......1.....
1871	··0x015df758·a8b43101·00000000·c0b43101·00000000·..1.......1.....	1871	··0x015df758·a8b43101·00000000·c0b43101·00000000·..1.......1.....
1872	··0x015df768·d8b43101·00000000·f8b43101·00000000·..1.......1.....	1872	··0x015df768·d8b43101·00000000·f8b43101·00000000·..1.......1.....
1873	··0x015df778·10b53101·00000000·28b53101·00000000·..1.....(.1.....	1873	··0x015df778·10b53101·00000000·28b53101·00000000·..1.....(.1.....
1874	··0x015df788·40b53101·00000000·60b53101·00000000·@.1.....`.1.....	1874	··0x015df788·40b53101·00000000·60b53101·00000000·@.1.....`.1.....
Offset 1912, 23 lines modified		Offset 1912, 23 lines modified
1912	··0x015df9e8·50ba3101·00000000·50322e01·00000000·P.1.....P2......	1912	··0x015df9e8·50ba3101·00000000·50322e01·00000000·P.1.....P2......
1913	··0x015df9f8·28ff3001·00000000·68ba3101·00000000·(.0.....h.1.....	1913	··0x015df9f8·28ff3001·00000000·68ba3101·00000000·(.0.....h.1.....
1914	··0x015dfa08·78ba3101·00000000·60322e01·00000000·x.1.....`2......	1914	··0x015dfa08·78ba3101·00000000·60322e01·00000000·x.1.....`2......
1915	··0x015dfa18·90ba3101·00000000·a8ba3101·00000000·..1.......1.....	1915	··0x015dfa18·90ba3101·00000000·a8ba3101·00000000·..1.......1.....
1916	··0x015dfa28·b8ba3101·00000000·d0ba3101·00000000·..1.......1.....	1916	··0x015dfa28·b8ba3101·00000000·d0ba3101·00000000·..1.......1.....
1917	··0x015dfa38·e0ba3101·00000000·48382f01·00000000·..1.....H8/.....	1917	··0x015dfa38·e0ba3101·00000000·48382f01·00000000·..1.....H8/.....
1918	··0x015dfa48·e8ba3101·00000000·00bb3101·00000000·..1.......1.....	1918	··0x015dfa48·e8ba3101·00000000·00bb3101·00000000·..1.......1.....
1919	··0x015dfa58·08bc3101·00000000·10bb3101·00000000·..1.......1.....	1919	··0x015dfa58·00bc3101·00000000·10bb3101·00000000·..1.......1.....
1920	··0x015dfa68·20bb3101·00000000·30bb3101·00000000··.1.....0.1.....	1920	··0x015dfa68·20bb3101·00000000·30bb3101·00000000··.1.....0.1.....
1921	··0x015dfa78·40bb3101·00000000·50bb3101·00000000·@.1.....P.1.....	1921	··0x015dfa78·40bb3101·00000000·50bb3101·00000000·@.1.....P.1.....
1922	··0x015dfa88·60bb3101·00000000·70bb3101·00000000·`.1.....p.1.....	1922	··0x015dfa88·60bb3101·00000000·70bb3101·00000000·`.1.....p.1.....
1923	··0x015dfa98·f8c13101·00000000·80bb3101·00000000·..1.......1.....	1923	··0x015dfa98·e0c13101·00000000·80bb3101·00000000·..1.......1.....
1924	··0x015dfaa8·98bb3101·00000000·b0bb3101·00000000·..1.......1.....	1924	··0x015dfaa8·98bb3101·00000000·b0bb3101·00000000·..1.......1.....
1925	··0x015dfab8·c0bb3101·00000000·d0bb3101·00000000·..1.......1.....	1925	··0x015dfab8·c0bb3101·00000000·d0bb3101·00000000·..1.......1.....
1926	··0x015dfac8·e0bb3101·00000000·f0bb3101·00000000·..1.......1.....	1926	··0x015dfac8·e0bb3101·00000000·f0bb3101·00000000·..1.......1.....
1927	··0x015dfad8·00bc3101·00000000·d8362e01·00000000·..1......6......	1927	··0x015dfad8·10bc3101·00000000·d8362e01·00000000·..1......6......
1928	··0x015dfae8·18bc3101·00000000·28bc3101·00000000·..1.....(.1.....	1928	··0x015dfae8·18bc3101·00000000·28bc3101·00000000·..1.....(.1.....
1929	··0x015dfaf8·48bc3101·00000000·60bc3101·00000000·H.1.....`.1.....	1929	··0x015dfaf8·48bc3101·00000000·60bc3101·00000000·H.1.....`.1.....
1930	··0x015dfb08·80bc3101·00000000·98bc3101·00000000·..1.......1.....	1930	··0x015dfb08·80bc3101·00000000·98bc3101·00000000·..1.......1.....
1931	··0x015dfb18·a8bc3101·00000000·c0bc3101·00000000·..1.......1.....	1931	··0x015dfb18·a8bc3101·00000000·c0bc3101·00000000·..1.......1.....
1932	··0x015dfb28·d0bc3101·00000000·e8bc3101·00000000·..1.......1.....	1932	··0x015dfb28·d0bc3101·00000000·e8bc3101·00000000·..1.......1.....
1933	··0x015dfb38·c0df2e01·00000000·00bd3101·00000000·..........1.....	1933	··0x015dfb38·c0df2e01·00000000·00bd3101·00000000·..........1.....
1934	··0x015dfb48·10bd3101·00000000·28bd3101·00000000·..1.....(.1.....	1934	··0x015dfb48·10bd3101·00000000·28bd3101·00000000·..1.....(.1.....
Offset 1950, 28 lines modified		Offset 1950, 28 lines modified
1950	··0x015dfc48·28bf3101·00000000·38bf3101·00000000·(.1.....8.1.....	1950	··0x015dfc48·28bf3101·00000000·38bf3101·00000000·(.1.....8.1.....
1951	··0x015dfc58·58bf3101·00000000·60bf3101·00000000·X.1.....`.1.....	1951	··0x015dfc58·58bf3101·00000000·60bf3101·00000000·X.1.....`.1.....
1952	··0x015dfc68·68bf3101·00000000·80bf3101·00000000·h.1.......1.....	1952	··0x015dfc68·68bf3101·00000000·80bf3101·00000000·h.1.......1.....
1953	··0x015dfc78·98bf3101·00000000·e00a3101·00000000·..1.......1.....	1953	··0x015dfc78·98bf3101·00000000·e00a3101·00000000·..1.......1.....
1954	··0x015dfc88·80f43001·00000000·b8bf3101·00000000·..0.......1.....	1954	··0x015dfc88·80f43001·00000000·b8bf3101·00000000·..0.......1.....
1955	··0x015dfc98·c0bf3101·00000000·c0f62e01·00000000·..1.............	1955	··0x015dfc98·c0bf3101·00000000·c0f62e01·00000000·..1.............
1956	··0x015dfca8·d0bf3101·00000000·e0bf3101·00000000·..1.......1.....	1956	··0x015dfca8·d0bf3101·00000000·e0bf3101·00000000·..1.......1.....
1957	··0x015dfcb8·40c03101·00000000·~~00c0~~3101·00000000·@.1.......1.....	1957	··0x015dfcb8·40c03101·00000000·f8bf3101·00000000·@.1.......1.....
1958	··0x015dfcc8·10c03101·00000000·28c03101·00000000·..1.....(.1.....	1958	··0x015dfcc8·10c03101·00000000·28c03101·00000000·..1.....(.1.....
1959	··0x015dfcd8·50c03101·00000000·68c03101·00000000·P.1.....h.1.....	1959	··0x015dfcd8·50c03101·00000000·68c03101·00000000·P.1.....h.1.....
1960	··0x015dfce8·80c03101·00000000·98c03101·00000000·..1.......1.....	1960	··0x015dfce8·80c03101·00000000·98c03101·00000000·..1.......1.....
1961	··0x015dfcf8·40d23101·00000000·a8c03101·00000000·@.1.......1.....	1961	··0x015dfcf8·40d23101·00000000·a8c03101·00000000·@.1.......1.....
1962	··0x015dfd08·b8c03101·00000000·c8c03101·00000000·..1.......1.....	1962	··0x015dfd08·b8c03101·00000000·c8c03101·00000000·..1.......1.....
1963	··0x015dfd18·d8c03101·00000000·e8c03101·00000000·..1.......1.....	1963	··0x015dfd18·d8c03101·00000000·e8c03101·00000000·..1.......1.....
1964	··0x015dfd28·00c13101·00000000·18c13101·00000000·..1.......1.....	1964	··0x015dfd28·00c13101·00000000·18c13101·00000000·..1.......1.....
1965	··0x015dfd38·30c13101·00000000·40c13101·00000000·0.1.....@.1.....	1965	··0x015dfd38·30c13101·00000000·40c13101·00000000·0.1.....@.1.....
1966	··0x015dfd48·58c13101·00000000·68c13101·00000000·X.1.....h.1.....	1966	··0x015dfd48·58c13101·00000000·68c13101·00000000·X.1.....h.1.....
1967	··0x015dfd58·80c13101·00000000·98c13101·00000000·..1.......1.....	1967	··0x015dfd58·80c13101·00000000·98c13101·00000000·..1.......1.....
1968	··0x015dfd68·b0c13101·00000000·c0c13101·00000000·..1.......1.....	1968	··0x015dfd68·b0c13101·00000000·c0c13101·00000000·..1.......1.....
1969	··0x015dfd78·70d22d01·00000000·d0c13101·00000000·p.-.......1.....	1969	··0x015dfd78·70d22d01·00000000·d0c13101·00000000·p.-.......1.....
1970	··0x015dfd88·e0c13101·00000000·10c23101·00000000·..1.......1.....	1970	··0x015dfd88·f8c13101·00000000·10c23101·00000000·..1.......1.....
1971	··0x015dfd98·28c23101·00000000·40c23101·00000000·(.1.....@.1.....	1971	··0x015dfd98·28c23101·00000000·40c23101·00000000·(.1.....@.1.....
1972	··0x015dfda8·58c23101·00000000·10072f01·00000000·X.1......./.....	1972	··0x015dfda8·58c23101·00000000·10072f01·00000000·X.1......./.....
1973	··0x015dfdb8·78c23101·00000000·88c23101·00000000·x.1.......1.....	1973	··0x015dfdb8·78c23101·00000000·88c23101·00000000·x.1.......1.....
1974	··0x015dfdc8·883e3001·00000000·a8c23101·00000000·.>0.......1.....	1974	··0x015dfdc8·883e3001·00000000·a8c23101·00000000·.>0.......1.....
1975	··0x015dfdd8·c0c23101·00000000·d0c23101·00000000·..1.......1.....	1975	··0x015dfdd8·c0c23101·00000000·d0c23101·00000000·..1.......1.....
1976	··0x015dfde8·e0c23101·00000000·f8c23101·00000000·..1.......1.....	1976	··0x015dfde8·e0c23101·00000000·f8c23101·00000000·..1.......1.....
1977	··0x015dfdf8·08c33101·00000000·20c33101·00000000·..1.....·.1.....	1977	··0x015dfdf8·08c33101·00000000·20c33101·00000000·..1.....·.1.....


Offset 308, 17 lines modified		Offset 308, 17 lines modified
308	··0x015f1310·00000000·00000000·71010000·00000000·........q.......	308	··0x015f1310·00000000·00000000·71010000·00000000·........q.......
309	··0x015f1320·48382f01·00000000·01000000·00000000·H8/.............	309	··0x015f1320·48382f01·00000000·01000000·00000000·H8/.............
310	··0x015f1330·00000000·00000000·72010000·00000000·........r.......	310	··0x015f1330·00000000·00000000·72010000·00000000·........r.......
311	··0x015f1340·00bb3101·00000000·00000000·00000000·..1.............	311	··0x015f1340·00bb3101·00000000·00000000·00000000·..1.............
312	··0x015f1350·00000000·00000000·73010000·00000000·........s.......	312	··0x015f1350·00000000·00000000·73010000·00000000·........s.......
313	··0x015f1360·90113301·00000000·00000000·00000000·..3.............	313	··0x015f1360·90113301·00000000·00000000·00000000·..3.............
314	··0x015f1370·00000000·00000000·74010000·00000000·........t.......	314	··0x015f1370·00000000·00000000·74010000·00000000·........t.......
315	··0x015f1380·00bc3101·00000000·01000000·00000000·..1.............	315	··0x015f1380·10bc3101·00000000·01000000·00000000·..1.............
316	··0x015f1390·00000000·00000000·75010000·00000000·........u.......	316	··0x015f1390·00000000·00000000·75010000·00000000·........u.......
317	··0x015f13a0·08bc3101·00000000·01000000·00000000·..1.............	317	··0x015f13a0·00bc3101·00000000·01000000·00000000·..1.............
318	··0x015f13b0·00000000·00000000·76010000·00000000·........v.......	318	··0x015f13b0·00000000·00000000·76010000·00000000·........v.......
319	··0x015f13c0·80f43001·00000000·01000000·00000000·..0.............	319	··0x015f13c0·80f43001·00000000·01000000·00000000·..0.............
320	··0x015f13d0·00000000·00000000·77010000·00000000·........w.......	320	··0x015f13d0·00000000·00000000·77010000·00000000·........w.......
321	··0x015f13e0·80d22d01·00000000·01000000·00000000·..-.............	321	··0x015f13e0·80d22d01·00000000·01000000·00000000·..-.............
322	··0x015f13f0·00000000·00000000·78010000·00000000·........x.......	322	··0x015f13f0·00000000·00000000·78010000·00000000·........x.......
323	··0x015f1400·b8bf3101·00000000·01000000·00000000·..1.............	323	··0x015f1400·b8bf3101·00000000·01000000·00000000·..1.............
324	··0x015f1410·00000000·00000000·79010000·00000000·........y.......	324	··0x015f1410·00000000·00000000·79010000·00000000·........y.......
Offset 592, 17 lines modified		Offset 592, 17 lines modified
592	··0x015f24d0·00000000·00000000·ff010000·00000000·................	592	··0x015f24d0·00000000·00000000·ff010000·00000000·................
593	··0x015f24e0·c0b43101·00000000·01000000·00000000·..1.............	593	··0x015f24e0·c0b43101·00000000·01000000·00000000·..1.............
594	··0x015f24f0·00000000·00000000·00020000·00000000·................	594	··0x015f24f0·00000000·00000000·00020000·00000000·................
595	··0x015f2500·d8b43101·00000000·01000000·00000000·..1.............	595	··0x015f2500·d8b43101·00000000·01000000·00000000·..1.............
596	··0x015f2510·00000000·00000000·01020000·00000000·................	596	··0x015f2510·00000000·00000000·01020000·00000000·................
597	··0x015f2520·10b53101·00000000·01000000·00000000·..1.............	597	··0x015f2520·10b53101·00000000·01000000·00000000·..1.............
598	··0x015f2530·00000000·00000000·02020000·00000000·................	598	··0x015f2530·00000000·00000000·02020000·00000000·................
599	··0x015f2540·~~00c0~~3101·00000000·01000000·00000000·..1.............	599	··0x015f2540·f8bf3101·00000000·01000000·00000000·..1.............
600	··0x015f2550·00000000·00000000·03020000·00000000·................	600	··0x015f2550·00000000·00000000·03020000·00000000·................
601	··0x015f2560·f8bf3101·00000000·01000000·00000000·..1.............	601	··0x015f2560·08c03101·00000000·01000000·00000000·..1.............
602	··0x015f2570·00000000·00000000·04020000·00000000·................	602	··0x015f2570·00000000·00000000·04020000·00000000·................
603	··0x015f2580·10c03101·00000000·01000000·00000000·..1.............	603	··0x015f2580·10c03101·00000000·01000000·00000000·..1.............
604	··0x015f2590·00000000·00000000·05020000·00000000·................	604	··0x015f2590·00000000·00000000·05020000·00000000·................
605	··0x015f25a0·28c03101·00000000·01000000·00000000·(.1.............	605	··0x015f25a0·28c03101·00000000·01000000·00000000·(.1.............
606	··0x015f25b0·00000000·00000000·06020000·00000000·................	606	··0x015f25b0·00000000·00000000·06020000·00000000·................
607	··0x015f25c0·50c03101·00000000·01000000·00000000·P.1.............	607	··0x015f25c0·50c03101·00000000·01000000·00000000·P.1.............
608	··0x015f25d0·00000000·00000000·07020000·00000000·................	608	··0x015f25d0·00000000·00000000·07020000·00000000·................
Offset 1404, 17 lines modified		Offset 1404, 17 lines modified
1404	··0x015f5790·00000000·00000000·95030000·00000000·................	1404	··0x015f5790·00000000·00000000·95030000·00000000·................
1405	··0x015f57a0·08243301·00000000·00000000·00000000·.$3.............	1405	··0x015f57a0·08243301·00000000·00000000·00000000·.$3.............
1406	··0x015f57b0·00000000·00000000·96030000·00000000·................	1406	··0x015f57b0·00000000·00000000·96030000·00000000·................
1407	··0x015f57c0·d0c13101·00000000·00000000·00000000·..1.............	1407	··0x015f57c0·d0c13101·00000000·00000000·00000000·..1.............
1408	··0x015f57d0·00000000·00000000·97030000·00000000·................	1408	··0x015f57d0·00000000·00000000·97030000·00000000·................
1409	··0x015f57e0·20243301·00000000·00000000·00000000··$3.............	1409	··0x015f57e0·20243301·00000000·00000000·00000000··$3.............
1410	··0x015f57f0·00000000·00000000·98030000·00000000·................	1410	··0x015f57f0·00000000·00000000·98030000·00000000·................
1411	··0x015f5800·e0c13101·00000000·00000000·00000000·..1.............	1411	··0x015f5800·f8c13101·00000000·00000000·00000000·..1.............
1412	··0x015f5810·00000000·00000000·99030000·00000000·................	1412	··0x015f5810·00000000·00000000·99030000·00000000·................
1413	··0x015f5820·f8c13101·00000000·00000000·00000000·..1.............	1413	··0x015f5820·e0c13101·00000000·00000000·00000000·..1.............
1414	··0x015f5830·00000000·00000000·9a030000·00000000·................	1414	··0x015f5830·00000000·00000000·9a030000·00000000·................
1415	··0x015f5840·38243301·00000000·00000000·00000000·8$3.............	1415	··0x015f5840·38243301·00000000·00000000·00000000·8$3.............
1416	··0x015f5850·00000000·00000000·9b030000·00000000·................	1416	··0x015f5850·00000000·00000000·9b030000·00000000·................
1417	··0x015f5860·50243301·00000000·00000000·00000000·P$3.............	1417	··0x015f5860·50243301·00000000·00000000·00000000·P$3.............
1418	··0x015f5870·00000000·00000000·9c030000·00000000·................	1418	··0x015f5870·00000000·00000000·9c030000·00000000·................
1419	··0x015f5880·10c23101·00000000·00000000·00000000·..1.............	1419	··0x015f5880·10c23101·00000000·00000000·00000000·..1.............
1420	··0x015f5890·00000000·00000000·9d030000·00000000·................	1420	··0x015f5890·00000000·00000000·9d030000·00000000·................
Offset 1675, 15 lines modified		Offset 1675, 15 lines modified
1675	··0x015f6880·01000000·00000000·01000000·00000000·................	1675	··0x015f6880·01000000·00000000·01000000·00000000·................
1676	··0x015f6890·00000000·00000000·e0013401·00000000·..........4.....	1676	··0x015f6890·00000000·00000000·e0013401·00000000·..........4.....
1677	··0x015f68a0·18ac3301·00000000·01000000·00000000·..3.............	1677	··0x015f68a0·18ac3301·00000000·01000000·00000000·..3.............
1678	··0x015f68b0·01000000·00000000·00000000·00000000·................	1678	··0x015f68b0·01000000·00000000·00000000·00000000·................
1679	··0x015f68c0·c0013401·00000000·28ac3301·00000000·..4.....(.3.....	1679	··0x015f68c0·c0013401·00000000·28ac3301·00000000·..4.....(.3.....
1680	··0x015f68d0·01000000·01000000·03000000·00000000·................	1680	··0x015f68d0·01000000·01000000·03000000·00000000·................
1681	··0x015f68e0·00000000·00000000·a8013401·00000000·..........4.....	1681	··0x015f68e0·00000000·00000000·a8013401·00000000·..........4.....
1682	··0x015f68f0·f8bf3101·00000000·00000000·00000000·..1.............	1682	··0x015f68f0·08c03101·00000000·00000000·00000000·..1.............
1683	··0x015f6900·01000000·00000000·00000000·00000000·................	1683	··0x015f6900·01000000·00000000·00000000·00000000·................
1684	··0x015f6910·88013401·00000000·38ac3301·00000000·..4.....8.3.....	1684	··0x015f6910·88013401·00000000·38ac3301·00000000·..4.....8.3.....
1685	··0x015f6920·01000000·00000000·01000000·00000000·................	1685	··0x015f6920·01000000·00000000·01000000·00000000·................
1686	··0x015f6930·00000000·00000000·68013401·00000000·........h.4.....	1686	··0x015f6930·00000000·00000000·68013401·00000000·........h.4.....
1687	··0x015f6940·50ac3301·00000000·01000000·00000000·P.3.............	1687	··0x015f6940·50ac3301·00000000·01000000·00000000·P.3.............
1688	··0x015f6950·01000000·00000000·00000000·00000000·................	1688	··0x015f6950·01000000·00000000·00000000·00000000·................
1689	··0x015f6960·48013401·00000000·60ac3301·00000000·H.4.....`.3.....	1689	··0x015f6960·48013401·00000000·60ac3301·00000000·H.4.....`.3.....
Offset 2102, 15 lines modified		Offset 2102, 15 lines modified
2102	··0x015f8330·10ac3301·00000000·01000000·00000000·..3.............	2102	··0x015f8330·10ac3301·00000000·01000000·00000000·..3.............
2103	··0x015f8340·01000000·00000000·00000000·00000000·................	2103	··0x015f8340·01000000·00000000·00000000·00000000·................
2104	··0x015f8350·e0013401·00000000·18ac3301·00000000·..4.......3.....	2104	··0x015f8350·e0013401·00000000·18ac3301·00000000·..4.......3.....
2105	··0x015f8360·01000000·00000000·01000000·00000000·................	2105	··0x015f8360·01000000·00000000·01000000·00000000·................
2106	··0x015f8370·00000000·00000000·c0013401·00000000·..........4.....	2106	··0x015f8370·00000000·00000000·c0013401·00000000·..........4.....
2107	··0x015f8380·28ac3301·00000000·01000000·01000000·(.3.............	2107	··0x015f8380·28ac3301·00000000·01000000·01000000·(.3.............
2108	··0x015f8390·03000000·00000000·00000000·00000000·................	2108	··0x015f8390·03000000·00000000·00000000·00000000·................
2109	··0x015f83a0·a8013401·00000000·f8bf3101·00000000·..4.......1.....	2109	··0x015f83a0·a8013401·00000000·08c03101·00000000·..4.......1.....
2110	··0x015f83b0·00000000·00000000·01000000·00000000·................	2110	··0x015f83b0·00000000·00000000·01000000·00000000·................
2111	··0x015f83c0·00000000·00000000·88013401·00000000·..........4.....	2111	··0x015f83c0·00000000·00000000·88013401·00000000·..........4.....
2112	··0x015f83d0·38ac3301·00000000·01000000·00000000·8.3.............	2112	··0x015f83d0·38ac3301·00000000·01000000·00000000·8.3.............
2113	··0x015f83e0·01000000·00000000·00000000·00000000·................	2113	··0x015f83e0·01000000·00000000·00000000·00000000·................
2114	··0x015f83f0·68013401·00000000·50ac3301·00000000·h.4.....P.3.....	2114	··0x015f83f0·68013401·00000000·50ac3301·00000000·h.4.....P.3.....
2115	··0x015f8400·01000000·00000000·01000000·00000000·................	2115	··0x015f8400·01000000·00000000·01000000·00000000·................
2116	··0x015f8410·00000000·00000000·48013401·00000000·........H.4.....	2116	··0x015f8410·00000000·00000000·48013401·00000000·........H.4.....


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·arm64	5	Architecture:·arm64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·2293	7	Installed-Size:·2293
8	Depends:·cvc5·(=·1.1.2-2)	8	Depends:·cvc5·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Description:·debug·symbols·for·cvc5	11	Description:·debug·symbols·for·cvc5
12	Build-Ids:·~~6539~~cf7b~~1dbb34~~0d5f2102db8~~7662f2e1cff7ae4~~	12	Build-Ids:·3c216cc076ba08cae0b5c62a8c4c4983da4cf99d


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/65/39cf7b~~1dbb34~~0d5f2102db8~~7662f2e1cff7ae4~~.debug	1	usr/lib/debug/.build-id/3c/216cc076ba08cae0b5c62a8c4c4983da4cf99d.debug


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/65/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/3c/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2337~~536~~·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/65/39cf7b~~1dbb34~~0d5f2102db8~~7662f2e1cff7ae4~~.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2337448·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/3c/216cc076ba08cae0b5c62a8c4c4983da4cf99d.debug
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5	10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5


Offset 6, 15 lines modified		Offset 6, 15 lines modified
6	··OS/ABI:····························UNIX·-·System·V	6	··OS/ABI:····························UNIX·-·System·V
7	··ABI·Version:·······················0	7	··ABI·Version:·······················0
8	··Type:······························DYN·(Shared·object·file)	8	··Type:······························DYN·(Shared·object·file)
9	··Machine:···························AArch64	9	··Machine:···························AArch64
10	··Version:···························0x1	10	··Version:···························0x1
11	··Entry·point·address:···············0xb040	11	··Entry·point·address:···············0xb040
12	··Start·of·program·headers:··········64·(bytes·into·file)	12	··Start·of·program·headers:··········64·(bytes·into·file)
13	··Start·of·section·headers:··········2334~~976~~·(bytes·into·file)	13	··Start·of·section·headers:··········2334888·(bytes·into·file)
14	··Flags:·····························0x0	14	··Flags:·····························0x0
15	··Size·of·this·header:···············64·(bytes)	15	··Size·of·this·header:···············64·(bytes)
16	··Size·of·program·headers:···········56·(bytes)	16	··Size·of·program·headers:···········56·(bytes)
17	··Number·of·program·headers:·········12	17	··Number·of·program·headers:·········12
18	··Size·of·section·headers:···········64·(bytes)	18	··Size·of·section·headers:···········64·(bytes)
19	··Number·of·section·headers:·········40	19	··Number·of·section·headers:·········40
20	··Section·header·string·table·index:·39	20	··Section·header·string·table·index:·39


Offset 3687, 15 lines modified		Offset 3687, 15 lines modified
3687	00000000015df6e8··0000000000000403·R_AARCH64_RELATIVE························131b3c8	3687	00000000015df6e8··0000000000000403·R_AARCH64_RELATIVE························131b3c8
3688	00000000015df6f0··0000000000000403·R_AARCH64_RELATIVE························131b3d8	3688	00000000015df6f0··0000000000000403·R_AARCH64_RELATIVE························131b3d8
3689	00000000015df6f8··0000000000000403·R_AARCH64_RELATIVE························131b3e8	3689	00000000015df6f8··0000000000000403·R_AARCH64_RELATIVE························131b3e8
3690	00000000015df700··0000000000000403·R_AARCH64_RELATIVE························131b400	3690	00000000015df700··0000000000000403·R_AARCH64_RELATIVE························131b400
3691	00000000015df708··0000000000000403·R_AARCH64_RELATIVE························131b418	3691	00000000015df708··0000000000000403·R_AARCH64_RELATIVE························131b418
3692	00000000015df710··0000000000000403·R_AARCH64_RELATIVE························131b428	3692	00000000015df710··0000000000000403·R_AARCH64_RELATIVE························131b428
3693	00000000015df718··0000000000000403·R_AARCH64_RELATIVE························131b438	3693	00000000015df718··0000000000000403·R_AARCH64_RELATIVE························131b438
3694	00000000015df720··0000000000000403·R_AARCH64_RELATIVE························131~~bff~~8	3694	00000000015df720··0000000000000403·R_AARCH64_RELATIVE························131c008
3695	00000000015df728··0000000000000403·R_AARCH64_RELATIVE························131b450	3695	00000000015df728··0000000000000403·R_AARCH64_RELATIVE························131b450
3696	00000000015df730··0000000000000403·R_AARCH64_RELATIVE························131b460	3696	00000000015df730··0000000000000403·R_AARCH64_RELATIVE························131b460
3697	00000000015df738··0000000000000403·R_AARCH64_RELATIVE························131b478	3697	00000000015df738··0000000000000403·R_AARCH64_RELATIVE························131b478
3698	00000000015df740··0000000000000403·R_AARCH64_RELATIVE························12edd18	3698	00000000015df740··0000000000000403·R_AARCH64_RELATIVE························12edd18
3699	00000000015df748··0000000000000403·R_AARCH64_RELATIVE························131b488	3699	00000000015df748··0000000000000403·R_AARCH64_RELATIVE························131b488
3700	00000000015df750··0000000000000403·R_AARCH64_RELATIVE························131b498	3700	00000000015df750··0000000000000403·R_AARCH64_RELATIVE························131b498
3701	00000000015df758··0000000000000403·R_AARCH64_RELATIVE························131b4a8	3701	00000000015df758··0000000000000403·R_AARCH64_RELATIVE························131b4a8
Offset 3790, 31 lines modified		Offset 3790, 31 lines modified
3790	00000000015dfa20··0000000000000403·R_AARCH64_RELATIVE························131baa8	3790	00000000015dfa20··0000000000000403·R_AARCH64_RELATIVE························131baa8
3791	00000000015dfa28··0000000000000403·R_AARCH64_RELATIVE························131bab8	3791	00000000015dfa28··0000000000000403·R_AARCH64_RELATIVE························131bab8
3792	00000000015dfa30··0000000000000403·R_AARCH64_RELATIVE························131bad0	3792	00000000015dfa30··0000000000000403·R_AARCH64_RELATIVE························131bad0
3793	00000000015dfa38··0000000000000403·R_AARCH64_RELATIVE························131bae0	3793	00000000015dfa38··0000000000000403·R_AARCH64_RELATIVE························131bae0
3794	00000000015dfa40··0000000000000403·R_AARCH64_RELATIVE························12f3848	3794	00000000015dfa40··0000000000000403·R_AARCH64_RELATIVE························12f3848
3795	00000000015dfa48··0000000000000403·R_AARCH64_RELATIVE························131bae8	3795	00000000015dfa48··0000000000000403·R_AARCH64_RELATIVE························131bae8
3796	00000000015dfa50··0000000000000403·R_AARCH64_RELATIVE························131bb00	3796	00000000015dfa50··0000000000000403·R_AARCH64_RELATIVE························131bb00
3797	00000000015dfa58··0000000000000403·R_AARCH64_RELATIVE························131bc08	3797	00000000015dfa58··0000000000000403·R_AARCH64_RELATIVE························131bc00
3798	00000000015dfa60··0000000000000403·R_AARCH64_RELATIVE························131bb10	3798	00000000015dfa60··0000000000000403·R_AARCH64_RELATIVE························131bb10
3799	00000000015dfa68··0000000000000403·R_AARCH64_RELATIVE························131bb20	3799	00000000015dfa68··0000000000000403·R_AARCH64_RELATIVE························131bb20
3800	00000000015dfa70··0000000000000403·R_AARCH64_RELATIVE························131bb30	3800	00000000015dfa70··0000000000000403·R_AARCH64_RELATIVE························131bb30
3801	00000000015dfa78··0000000000000403·R_AARCH64_RELATIVE························131bb40	3801	00000000015dfa78··0000000000000403·R_AARCH64_RELATIVE························131bb40
3802	00000000015dfa80··0000000000000403·R_AARCH64_RELATIVE························131bb50	3802	00000000015dfa80··0000000000000403·R_AARCH64_RELATIVE························131bb50
3803	00000000015dfa88··0000000000000403·R_AARCH64_RELATIVE························131bb60	3803	00000000015dfa88··0000000000000403·R_AARCH64_RELATIVE························131bb60
3804	00000000015dfa90··0000000000000403·R_AARCH64_RELATIVE························131bb70	3804	00000000015dfa90··0000000000000403·R_AARCH64_RELATIVE························131bb70
3805	00000000015dfa98··0000000000000403·R_AARCH64_RELATIVE························131c1f8	3805	00000000015dfa98··0000000000000403·R_AARCH64_RELATIVE························131c1e0
3806	00000000015dfaa0··0000000000000403·R_AARCH64_RELATIVE························131bb80	3806	00000000015dfaa0··0000000000000403·R_AARCH64_RELATIVE························131bb80
3807	00000000015dfaa8··0000000000000403·R_AARCH64_RELATIVE························131bb98	3807	00000000015dfaa8··0000000000000403·R_AARCH64_RELATIVE························131bb98
3808	00000000015dfab0··0000000000000403·R_AARCH64_RELATIVE························131bbb0	3808	00000000015dfab0··0000000000000403·R_AARCH64_RELATIVE························131bbb0
3809	00000000015dfab8··0000000000000403·R_AARCH64_RELATIVE························131bbc0	3809	00000000015dfab8··0000000000000403·R_AARCH64_RELATIVE························131bbc0
3810	00000000015dfac0··0000000000000403·R_AARCH64_RELATIVE························131bbd0	3810	00000000015dfac0··0000000000000403·R_AARCH64_RELATIVE························131bbd0
3811	00000000015dfac8··0000000000000403·R_AARCH64_RELATIVE························131bbe0	3811	00000000015dfac8··0000000000000403·R_AARCH64_RELATIVE························131bbe0


Offset 1, 7 lines modified		Offset 1, 7 lines modified

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·38616263·34346434·34306162·65613638·8abc44d440abea68
3	··0x00000010·383~~063~~39·626~~2373~~5·34313~~132~~·65333036·~~80c9bb75~~4~~112e3~~06	2	··0x00000000·63333935·39646465·34633964·64383038·c3959dde4c9dd808
		3	··0x00000010·66346533·66303234·63383361·32316261·f4e3f024c83a21ba
4	··0x00000020·37333~~133~~·32372e64·65627567·00000000·~~731327~~.debug....	4	··0x00000020·39633262·66362e64·65627567·00000000·9c2bf6.debug....
5	··0x00000030·~~e7111df9~~····························....	5	··0x00000030·423c0757····························B<.W


Offset 1, 7 lines modified		Offset 1, 7 lines modified

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·32353835·38623634·35313565·33613965·25858b64515e3a9e
3	··0x00000010·38366635·396~~131~~35·36376264·613~~43934~~·~~86f59a1567bda494~~	2	··0x00000000·64346265·37646433·64663266·35336465·d4be7dd3df2f53de
		3	··0x00000010·38356330·38376235·65353737·30653861·85c087b5e5770e8a
4	··0x00000020·~~396~~53039·~~3035~~2e64·65627567·00000000·9e0~~905~~.debug....	4	··0x00000020·64353062·65612e64·65627567·00000000·d50bea.debug....
5	··0x00000030·~~c58ffb1~~2····························....	5	··0x00000030·e6bbbc22····························..."


Offset 1, 7 lines modified		Offset 1, 7 lines modified

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·38666631·36373835·34323235·63626631·8ff167854225cbf1
3	··0x00000010·3~~9363~~230·37643037·34~~6461~~36·3~~464~~3435·96~~207~~d~~074~~d~~a64d45~~	2	··0x00000000·36626235·64316535·64383435·37393931·6bb5d1e5d8457991
		3	··0x00000010·38356164·39383965·34303362·63313334·85ad989e403bc134
4	··0x00000020·3~~73563~~30·36612e64·65627567·00000000·75c06a.debug....	4	··0x00000020·31633736·32632e64·65627567·00000000·1c762c.debug....
5	··0x00000030·~~228~~e~~d88b~~····························"...	5	··0x00000030·8e0e2ec1····························....


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	There·are·40·section·headers,·starting·at·offset·0x23a~~100~~:	1	There·are·40·section·headers,·starting·at·offset·0x23a0a8:

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.property·NOTE············00000000000002e0·0002e0·000020·00···A··0···0··8	5	··[·1]·.note.gnu.property·NOTE············00000000000002e0·0002e0·000020·00···A··0···0··8
6	··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··4	6	··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··4
7	··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··1	7	··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··1
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··8	27	··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··8
28	··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··8	28	··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··8
29	··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··8	30	··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··8
31	··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··8	31	··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··8
32	··[27]·.comment··········PROGBITS········0000000000000000·05aa9c·00001f·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·05aa9c·00001f·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b8·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b8·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac78·154791·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac78·154746·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af410·0034d0·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3c0·0034d0·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b28e0·00f40c·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2890·00f40c·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1cf0·02f574·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1ca0·02f570·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1268·000801·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1210·000801·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1a70·02fce0·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1a18·02fce0·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·221~~750~~·00a2e8·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·2216f8·00a2e6·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22b~~a38~~·007095·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22b9e0·007095·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·232ad0·003438·18·····38·261··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·232a78·003438·18·····38·261··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·235~~f08~~·004049·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·235eb0·004049·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·239~~f51~~·0001a9·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·239ef9·0001a9·00······0···0··1
45	Key·to·Flags:	45	Key·to·Flags:
46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),	48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49	··D·(mbind),·p·(processor·specific)	49	··D·(mbind),·p·(processor·specific)


Offset 8, 155 lines modified		Offset 8, 155 lines modified
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·28·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·28·(DW_TAG_partial_unit)
10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0	10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main	11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main
12	·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)
13	····<16>···DW_AT_byte_size···:·(data1)·1	13	····<16>···DW_AT_byte_size···:·(data1)·1
14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa349c):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa34cf):·unsigned·char
16	·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·2	17	····<1d>···DW_AT_byte_size···:·(data1)·2
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a41a):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a431):·short·unsigned·int
20	·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)
21	····<24>···DW_AT_byte_size···:·(data1)·4	21	····<24>···DW_AT_byte_size···:·(data1)·4
22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)	22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)
23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbb520):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbb553):·unsigned·int
24	·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·8	25	····<2b>···DW_AT_byte_size···:·(data1)·8
26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)	26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)
27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cddb):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cdf2):·long·unsigned·int
28	·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)	28	·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)
29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb58a):·__int8_t	29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb58a):·__int8_t
30	····<36>···DW_AT_decl_file···:·(data1)·31	30	····<36>···DW_AT_decl_file···:·(data1)·31
31	····<37>···DW_AT_decl_line···:·(data1)·37	31	····<37>···DW_AT_decl_line···:·(data1)·37
32	····<38>···DW_AT_decl_column·:·(data1)·21	32	····<38>···DW_AT_decl_column·:·(data1)·21
33	····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char	33	····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char
34	·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)	34	·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)
35	····<3b>···DW_AT_byte_size···:·(data1)·1	35	····<3b>···DW_AT_byte_size···:·(data1)·1
36	····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char)	36	····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char)
37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x715e1):·signed·char	37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x715f8):·signed·char
38	·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)	38	·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x41750):·__uint8_t	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x41736):·__uint8_t
40	····<46>···DW_AT_decl_file···:·(data1)·31	40	····<46>···DW_AT_decl_file···:·(data1)·31
41	····<47>···DW_AT_decl_line···:·(data1)·38	41	····<47>···DW_AT_decl_line···:·(data1)·38
42	····<48>···DW_AT_decl_column·:·(data1)·23	42	····<48>···DW_AT_decl_column·:·(data1)·23
43	····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char	43	····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44	·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)	44	·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)
45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb404c):·__int16_t	45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb407f):·__int16_t
46	····<4f>···DW_AT_decl_file···:·(data1)·31	46	····<4f>···DW_AT_decl_file···:·(data1)·31
47	····<50>···DW_AT_decl_line···:·(data1)·39	47	····<50>···DW_AT_decl_line···:·(data1)·39
48	····<51>···DW_AT_decl_column·:·(data1)·26	48	····<51>···DW_AT_decl_column·:·(data1)·26
49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int	49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)	50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)
51	····<54>···DW_AT_byte_size···:·(data1)·2	51	····<54>···DW_AT_byte_size···:·(data1)·2
52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)	52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)
53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b~~4fc~~):·short·int	53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b513):·short·int
54	·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)	54	·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)
55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8d89):·__uint16_t	55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8dbc):·__uint16_t
56	····<5f>···DW_AT_decl_file···:·(data1)·31	56	····<5f>···DW_AT_decl_file···:·(data1)·31
57	····<60>···DW_AT_decl_line···:·(data1)·40	57	····<60>···DW_AT_decl_line···:·(data1)·40
58	····<61>···DW_AT_decl_column·:·(data1)·28	58	····<61>···DW_AT_decl_column·:·(data1)·28
59	····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int	59	····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60	·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)	60	·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)
61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b330):·__int32_t	61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b347):·__int32_t
62	····<68>···DW_AT_decl_file···:·(data1)·31	62	····<68>···DW_AT_decl_file···:·(data1)·31
63	····<69>···DW_AT_decl_line···:·(data1)·41	63	····<69>···DW_AT_decl_line···:·(data1)·41
64	····<6a>···DW_AT_decl_column·:·(data1)·20	64	····<6a>···DW_AT_decl_column·:·(data1)·20
65	····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int	65	····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
66	·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)	66	·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)
67	····<6d>···DW_AT_byte_size···:·(data1)·4	67	····<6d>···DW_AT_byte_size···:·(data1)·4
68	····<6e>···DW_AT_encoding····:·(data1)·5» (signed)	68	····<6e>···DW_AT_encoding····:·(data1)·5» (signed)
69	····<6f>···DW_AT_name········:·(string)·int	69	····<6f>···DW_AT_name········:·(string)·int
70	·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)	70	·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)
71	····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int	71	····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72	·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)	72	·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)
73	····<76>···DW_AT_name········:·(strp)·(offset:·0x8fd42):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x8fd59):·__uint32_t
74	····<7a>···DW_AT_decl_file···:·(data1)·31	74	····<7a>···DW_AT_decl_file···:·(data1)·31
75	····<7b>···DW_AT_decl_line···:·(data1)·42	75	····<7b>···DW_AT_decl_line···:·(data1)·42
76	····<7c>···DW_AT_decl_column·:·(data1)·22	76	····<7c>···DW_AT_decl_column·:·(data1)·22
77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int	77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78	·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)	78	·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)
79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63b05):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63b1c):·__int64_t
80	····<83>···DW_AT_decl_file···:·(data1)·31	80	····<83>···DW_AT_decl_file···:·(data1)·31
81	····<84>···DW_AT_decl_line···:·(data1)·44	81	····<84>···DW_AT_decl_line···:·(data1)·44
82	····<85>···DW_AT_decl_column·:·(data1)·25	82	····<85>···DW_AT_decl_column·:·(data1)·25
83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84	·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)	84	·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)
85	····<89>···DW_AT_byte_size···:·(data1)·8	85	····<89>···DW_AT_byte_size···:·(data1)·8
86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe27):·long·int	87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe27):·long·int
88	·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)	88	·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)
89	····<90>···DW_AT_name········:·(strp)·(offset:·0x689c9):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x689e0):·__uint64_t
90	····<94>···DW_AT_decl_file···:·(data1)·31	90	····<94>···DW_AT_decl_file···:·(data1)·31
91	····<95>···DW_AT_decl_line···:·(data1)·45	91	····<95>···DW_AT_decl_line···:·(data1)·45
92	····<96>···DW_AT_decl_column·:·(data1)·27	92	····<96>···DW_AT_decl_column·:·(data1)·27
93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94	·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)	94	·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)
95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a032):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a049):·__int_least8_t
96	····<9d>···DW_AT_decl_file···:·(data1)·31	96	····<9d>···DW_AT_decl_file···:·(data1)·31
97	····<9e>···DW_AT_decl_line···:·(data1)·52	97	····<9e>···DW_AT_decl_line···:·(data1)·52
98	····<9f>···DW_AT_decl_column·:·(data1)·18	98	····<9f>···DW_AT_decl_column·:·(data1)·18
99	····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char	99	····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100	·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)	100	·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)
101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x~~5fff7~~):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x6000e):·__uint_least8_t
102	····<a6>···DW_AT_decl_file···:·(data1)·31	102	····<a6>···DW_AT_decl_file···:·(data1)·31
103	····<a7>···DW_AT_decl_line···:·(data1)·53	103	····<a7>···DW_AT_decl_line···:·(data1)·53
104	····<a8>···DW_AT_decl_column·:·(data1)·19	104	····<a8>···DW_AT_decl_column·:·(data1)·19
105	····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char	105	····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106	·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)	106	·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)
107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7f~~ef7~~):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7ff0e):·__int_least16_t
108	····<af>···DW_AT_decl_file···:·(data1)·31	108	····<af>···DW_AT_decl_file···:·(data1)·31
109	····<b0>···DW_AT_decl_line···:·(data1)·54	109	····<b0>···DW_AT_decl_line···:·(data1)·54
110	····<b1>···DW_AT_decl_column·:·(data1)·19	110	····<b1>···DW_AT_decl_column·:·(data1)·19
111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int	111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112	·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)	112	·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)
113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d7a):·__uint_least16_t	113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d7a):·__uint_least16_t
114	····<b8>···DW_AT_decl_file···:·(data1)·31	114	····<b8>···DW_AT_decl_file···:·(data1)·31
115	····<b9>···DW_AT_decl_line···:·(data1)·55	115	····<b9>···DW_AT_decl_line···:·(data1)·55
116	····<ba>···DW_AT_decl_column·:·(data1)·20	116	····<ba>···DW_AT_decl_column·:·(data1)·20
117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int	117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118	·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)	118	·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)
119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x5702a):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57041):·__int_least32_t
120	····<c1>···DW_AT_decl_file···:·(data1)·31	120	····<c1>···DW_AT_decl_file···:·(data1)·31
121	····<c2>···DW_AT_decl_line···:·(data1)·56	121	····<c2>···DW_AT_decl_line···:·(data1)·56
122	····<c3>···DW_AT_decl_column·:·(data1)·19	122	····<c3>···DW_AT_decl_column·:·(data1)·19
123	····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int	123	····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124	·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)	124	·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)
125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa82):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa68):·__uint_least32_t
126	····<ca>···DW_AT_decl_file···:·(data1)·31	126	····<ca>···DW_AT_decl_file···:·(data1)·31
127	····<cb>···DW_AT_decl_line···:·(data1)·57	127	····<cb>···DW_AT_decl_line···:·(data1)·57
128	····<cc>···DW_AT_decl_column·:·(data1)·20	128	····<cc>···DW_AT_decl_column·:·(data1)·20
129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int	129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130	·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)	130	·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)
131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2efd7):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2efbd):·__int_least64_t
132	····<d3>···DW_AT_decl_file···:·(data1)·31	132	····<d3>···DW_AT_decl_file···:·(data1)·31
133	····<d4>···DW_AT_decl_line···:·(data1)·58	133	····<d4>···DW_AT_decl_line···:·(data1)·58
134	····<d5>···DW_AT_decl_column·:·(data1)·19	134	····<d5>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 37479067/37487174 bytes (99.98%) of diff not shown.


Offset 1778, 16 lines modified		Offset 1778, 16 lines modified
1778	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1778	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1779	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1779	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1780	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1780	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1781	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1781	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1782	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	1782	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1783	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1783	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1784	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1784	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1785	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1785	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1786	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1786	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1787	··Offset:······················0x1dbf	1787	··Offset:······················0x1dbf
1788	··Version:·····················5	1788	··Version:·····················5
1789	··Offset·size:·················4	1789	··Offset·size:·················4

1790	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1790	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1791	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1791	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14113, 16 lines modified		Offset 14113, 16 lines modified
14113	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	14113	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14114	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	14114	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14115	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	14115	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14116	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14116	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14117	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14117	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14118	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14118	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14119	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14119	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14120	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	14120	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	14121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

14122	··Offset:······················0x13216	14122	··Offset:······················0x13216
14123	··Version:·····················5	14123	··Version:·····················5
14124	··Offset·size:·················4	14124	··Offset·size:·················4

14125	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU	14125	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14126	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE	14126	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE

+GCC:·(Debian·14.2.0-14)·14.2.0
+S84o\V+y
+xM}w`rAC
+.%Zw$Y/%J
+?`#\,'O
+JeIS"DIS
+{&yr?S!~
+q5B\RkaI
+KwLg^Q!6
+|-1K%y~'
+\o&f^r>ntk
+UpH8&dTqLs
+%\/4uanQ!
+:>cNS!<>h`
+V-j<r53D"
+P!myhK&
+bF-476WS@q
+lKaH)`'B
+C4d\{=#n
++#<=eYIB
+{XbL$Or}w_
+Aa)XJ)J)
+d@K-k=&'!
+N1CKL)a`
+?w»     A;,{,
+>Daw09=QA
+^HCZl5kV
+}»      6hFt*x
+ZG>;i*>'>
+.P#J·nVF|w
+^}{b'!W3
+%nf<eq?0
+\MbWK>3Y
+u{=`p)M1
+aIV»    =3?B
+iIF&/:Pu
+i?Q6-lhs
+z{`-=%@=
+·{[uEiS8
+d?-#hV]2n
+J^UvDMzrq
+WP,h[:p`
+XOz@rk1@f
+:l$[0^-W
+/W>;i>L
+R7=~»   *-L
+v*X8pG&V
+>n8/fjl»
+`\QUNXe#
+HfyE2Y_"
+I#BO>(t'B
+;f]=K{HyW~
+i.E{ni|5
+!"av?}4AO
++xs"Wh7!
+Cig4»   rB(
+»       9q$-]s·
+»       2s$-]{m
+*Hs/b>l?E|
+j*z4GOX_
+»       3sNX>%h
+`1Y?V":}1Y?
+IDxB"[?)P
+!h?8Ao}N
+D1<l@o}>
+O4$3-65"=
+%?xO$Y,}
+U&n@y*Ti
+'iY»   ]&Ph
+W_&zFg"y
+H·t=.Z/ACs
+LPFU--Eu
+Z<e-OVKmF
+wBJf=^\o
+$1FvXf|
+zF»     9A"OH
+Y4.K@.^-
+m'gpDj5U
+OdSV8Sgj[
+|72;A]6%p
+hE^C/'Q}
+ps'}rDHHT
+Q,f1N\,G
+c"_AcRh}
+·FL·h1»   [L
+uAe0Wv.!
+;cl1}%A
+Do#Z3XiM1iR
+`YeT|mXcM
+~fg7V[^E
+T\v=pkhQ
+t}hQ@dMr
+nCi·_J·W
+mM76v6>|
+g+&zZPS$
+>yA8aW
+_&V'j:!r
+bpb;=-·O
+Casg(4i
+[?S3*28[»
+=4!v-%Ek
+vRLEzBmE
+&7K{ab/z;Mn
+q_wPl(XL
+/Qa=lv_-
+t_FJ&<=+
+G*uh^\eF»
+o?F[}tbw
+!icwMR-I
+|b8X(7HO
+ms-k=&'!
+`wo_U'0
+=;=hiIH
+uX-m";uz
+HB.n-6,·
+](ya-7J.
+oYEb2X1VI
+c2GUQ#(a
+_gS2c|
+OOwK|v
+u-VN'5Y.
+.[b&C;kQ
+g6'M+opC-
+YC`Yj5gp
+AZW(9eqr
+U\lK2R7»
+·Fpj1=kV


Offset 6, 8 lines modified		Offset 6, 8 lines modified
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·178978	7	Installed-Size:·178978
8	Depends:·libcvc5-1·(=·1.1.2-2)	8	Depends:·libcvc5-1·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5-1	12	Description:·debug·symbols·for·libcvc5-1
13	Build-Ids:·~~908abc44~~d44~~0abea6~~8~~80c9bb754112e306731327~~	13	Build-Ids:·adc3959dde4c9dd808f4e3f024c83a21ba9c2bf6


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/90/~~8abc44~~d44~~0abea6~~8~~80c9bb754112e306731327~~.debug	1	usr/lib/debug/.build-id/ad/c3959dde4c9dd808f4e3f024c83a21ba9c2bf6.debug


Offset 8, 27 lines modified		Offset 8, 27 lines modified
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0	10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src	11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src
12	·<1><15>:·Abbrev·Number:·2·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·2·(DW_TAG_base_type)
13	····<16>···DW_AT_byte_size···:·(data1)·8	13	····<16>···DW_AT_byte_size···:·(data1)·8
14	····<17>···DW_AT_encoding····:·(data1)·5» (signed)	14	····<17>···DW_AT_encoding····:·(data1)·5» (signed)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0x16145):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x1615f):·long·int
16	·<1><1c>:·Abbrev·Number:·2·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·2·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·8	17	····<1d>···DW_AT_byte_size···:·(data1)·8
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xeaa1):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xeaa1):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·2·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·2·(DW_TAG_base_type)
21	····<24>···DW_AT_byte_size···:·(data1)·1	21	····<24>···DW_AT_byte_size···:·(data1)·1
22	····<25>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	22	····<25>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1ae8e):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1ae8e):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·2·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·2·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·2	25	····<2b>···DW_AT_byte_size···:·(data1)·2
26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)	26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)
27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x128d5):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x128ef):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·2·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·2·(DW_TAG_base_type)
29	····<32>···DW_AT_byte_size···:·(data1)·4	29	····<32>···DW_AT_byte_size···:·(data1)·4
30	····<33>···DW_AT_encoding····:·(data1)·7» (unsigned)	30	····<33>···DW_AT_encoding····:·(data1)·7» (unsigned)
31	····<34>···DW_AT_name········:·(strp)·(offset:·0xc925):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xc925):·unsigned·int
32	·<1><38>:·Abbrev·Number:·2·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·2·(DW_TAG_base_type)
33	····<39>···DW_AT_byte_size···:·(data1)·1	33	····<39>···DW_AT_byte_size···:·(data1)·1
34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)	34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)
Offset 100, 15 lines modified		Offset 100, 15 lines modified
100	·<1><b8>:·Abbrev·Number:·2·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·2·(DW_TAG_base_type)
101	····<b9>···DW_AT_byte_size···:·(data1)·4	101	····<b9>···DW_AT_byte_size···:·(data1)·4
102	····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string)	102	····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string)
103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x2000a):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x2000a):·char32_t
104	·<1><bf>:·Abbrev·Number:·2·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·2·(DW_TAG_base_type)
105	····<c0>···DW_AT_byte_size···:·(data1)·16	105	····<c0>···DW_AT_byte_size···:·(data1)·16
106	····<c1>···DW_AT_encoding····:·(data1)·5» (signed)	106	····<c1>···DW_AT_encoding····:·(data1)·5» (signed)
107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x14270):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x1428a):·__int128
108	·<1><c6>:·Abbrev·Number:·2·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·2·(DW_TAG_base_type)
109	····<c7>···DW_AT_byte_size···:·(data1)·16	109	····<c7>···DW_AT_byte_size···:·(data1)·16
110	····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned)	110	····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned)
111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x23886):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x23886):·__int128·unsigned
112	·<1><cd>:·Abbrev·Number:·0	112	·<1><cd>:·Abbrev·Number:·0
113	··Compilation·Unit·@·offset·0xce:	113	··Compilation·Unit·@·offset·0xce:
114	···Length:········0xff6·(32-bit)	114	···Length:········0xff6·(32-bit)
Offset 807, 29 lines modified		Offset 807, 29 lines modified
807	····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2b9):·_IO_read_end	807	····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2b9):·_IO_read_end
808	····<45b>···DW_AT_decl_file···:·(data1)·68	808	····<45b>···DW_AT_decl_file···:·(data1)·68
809	····<45c>···DW_AT_decl_line···:·(data1)·55	809	····<45c>···DW_AT_decl_line···:·(data1)·55
810	····<45d>···DW_AT_decl_column·:·(data1)·9	810	····<45d>···DW_AT_decl_column·:·(data1)·9
811	····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>	811	····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812	····<45f>···DW_AT_data_member_location:·(data1)·16	812	····<45f>···DW_AT_data_member_location:·(data1)·16
813	·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)	813	·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)
814	····<461>···DW_AT_name········:·(strp)·(offset:·0x10671):·_IO_read_base	814	····<461>···DW_AT_name········:·(strp)·(offset:·0x1068b):·_IO_read_base
815	····<465>···DW_AT_decl_file···:·(data1)·68	815	····<465>···DW_AT_decl_file···:·(data1)·68
816	····<466>···DW_AT_decl_line···:·(data1)·56	816	····<466>···DW_AT_decl_line···:·(data1)·56
817	····<467>···DW_AT_decl_column·:·(data1)·9	817	····<467>···DW_AT_decl_column·:·(data1)·9
818	····<468>···DW_AT_type········:·(ref_udata)·<0x13d>	818	····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819	····<469>···DW_AT_data_member_location:·(data1)·24	819	····<469>···DW_AT_data_member_location:·(data1)·24
820	·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)	820	·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)
821	····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base	821	····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base
822	····<46f>···DW_AT_decl_file···:·(data1)·68	822	····<46f>···DW_AT_decl_file···:·(data1)·68
823	····<470>···DW_AT_decl_line···:·(data1)·57	823	····<470>···DW_AT_decl_line···:·(data1)·57
824	····<471>···DW_AT_decl_column·:·(data1)·9	824	····<471>···DW_AT_decl_column·:·(data1)·9
825	····<472>···DW_AT_type········:·(ref_udata)·<0x13d>	825	····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826	····<473>···DW_AT_data_member_location:·(data1)·32	826	····<473>···DW_AT_data_member_location:·(data1)·32
827	·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)	827	·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)
828	····<475>···DW_AT_name········:·(strp)·(offset:·0xfc9c):·_IO_write_ptr	828	····<475>···DW_AT_name········:·(strp)·(offset:·0xfcb6):·_IO_write_ptr
829	····<479>···DW_AT_decl_file···:·(data1)·68	829	····<479>···DW_AT_decl_file···:·(data1)·68
830	····<47a>···DW_AT_decl_line···:·(data1)·58	830	····<47a>···DW_AT_decl_line···:·(data1)·58
831	····<47b>···DW_AT_decl_column·:·(data1)·9	831	····<47b>···DW_AT_decl_column·:·(data1)·9
832	····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>	832	····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833	····<47d>···DW_AT_data_member_location:·(data1)·40	833	····<47d>···DW_AT_data_member_location:·(data1)·40
834	·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)	834	·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)
835	····<47f>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_write_end	835	····<47f>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_write_end
Offset 842, 36 lines modified		Offset 842, 36 lines modified
842	····<489>···DW_AT_name········:·(strp)·(offset:·0xb644):·_IO_buf_base	842	····<489>···DW_AT_name········:·(strp)·(offset:·0xb644):·_IO_buf_base
843	····<48d>···DW_AT_decl_file···:·(data1)·68	843	····<48d>···DW_AT_decl_file···:·(data1)·68
844	····<48e>···DW_AT_decl_line···:·(data1)·60	844	····<48e>···DW_AT_decl_line···:·(data1)·60
845	····<48f>···DW_AT_decl_column·:·(data1)·9	845	····<48f>···DW_AT_decl_column·:·(data1)·9
846	····<490>···DW_AT_type········:·(ref_udata)·<0x13d>	846	····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847	····<491>···DW_AT_data_member_location:·(data1)·56	847	····<491>···DW_AT_data_member_location:·(data1)·56
848	·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)	848	·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)
849	····<493>···DW_AT_name········:·(strp)·(offset:·0x15527):·_IO_buf_end	849	····<493>···DW_AT_name········:·(strp)·(offset:·0x15541):·_IO_buf_end
850	····<497>···DW_AT_decl_file···:·(data1)·68	850	····<497>···DW_AT_decl_file···:·(data1)·68
851	····<498>···DW_AT_decl_line···:·(data1)·61	851	····<498>···DW_AT_decl_line···:·(data1)·61
852	····<499>···DW_AT_decl_column·:·(data1)·9	852	····<499>···DW_AT_decl_column·:·(data1)·9
853	····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>	853	····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854	····<49b>···DW_AT_data_member_location:·(data1)·64	854	····<49b>···DW_AT_data_member_location:·(data1)·64
855	·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)	855	·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)
856	····<49d>···DW_AT_name········:·(strp)·(offset:·0xe3e4):·_IO_save_base	856	····<49d>···DW_AT_name········:·(strp)·(offset:·0xe3e4):·_IO_save_base
857	····<4a1>···DW_AT_decl_file···:·(data1)·68	857	····<4a1>···DW_AT_decl_file···:·(data1)·68
858	····<4a2>···DW_AT_decl_line···:·(data1)·64	858	····<4a2>···DW_AT_decl_line···:·(data1)·64
859	····<4a3>···DW_AT_decl_column·:·(data1)·9	859	····<4a3>···DW_AT_decl_column·:·(data1)·9
860	····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>	860	····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861	····<4a5>···DW_AT_data_member_location:·(data1)·72	861	····<4a5>···DW_AT_data_member_location:·(data1)·72
862	·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)	862	·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)
863	····<4a7>···DW_AT_name········:·(strp)·(offset:·0x1~~0ff8~~):·_IO_backup_base	863	····<4a7>···DW_AT_name········:·(strp)·(offset:·0x11012):·_IO_backup_base
864	····<4ab>···DW_AT_decl_file···:·(data1)·68	864	····<4ab>···DW_AT_decl_file···:·(data1)·68
865	····<4ac>···DW_AT_decl_line···:·(data1)·65	865	····<4ac>···DW_AT_decl_line···:·(data1)·65
866	····<4ad>···DW_AT_decl_column·:·(data1)·9	866	····<4ad>···DW_AT_decl_column·:·(data1)·9
867	····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>	867	····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868	····<4af>···DW_AT_data_member_location:·(data1)·80	868	····<4af>···DW_AT_data_member_location:·(data1)·80
869	·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)	869	·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)
870	····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18dda):·_IO_save_end	870	····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18df4):·_IO_save_end
871	····<4b5>···DW_AT_decl_file···:·(data1)·68	871	····<4b5>···DW_AT_decl_file···:·(data1)·68
872	····<4b6>···DW_AT_decl_line···:·(data1)·66	872	····<4b6>···DW_AT_decl_line···:·(data1)·66
873	····<4b7>···DW_AT_decl_column·:·(data1)·9	873	····<4b7>···DW_AT_decl_column·:·(data1)·9
874	····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>	874	····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875	····<4b9>···DW_AT_data_member_location:·(data1)·88	875	····<4b9>···DW_AT_data_member_location:·(data1)·88
876	·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)	876	·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)
877	····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers	877	····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers
Offset 884, 15 lines modified		Offset 884, 15 lines modified
884	····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa20):·_chain	884	····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa20):·_chain
885	····<4ca>···DW_AT_decl_file···:·(data1)·68	885	····<4ca>···DW_AT_decl_file···:·(data1)·68
886	····<4cb>···DW_AT_decl_line···:·(data1)·70	886	····<4cb>···DW_AT_decl_line···:·(data1)·70
887	····<4cc>···DW_AT_decl_column·:·(data1)·20	887	····<4cc>···DW_AT_decl_column·:·(data1)·20
888	····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>	888	····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889	····<4cf>···DW_AT_data_member_location:·(data1)·104	889	····<4cf>···DW_AT_data_member_location:·(data1)·104
890	·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)	890	·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)
891	····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a054):·_fileno	891	····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a06e):·_fileno
892	····<4d5>···DW_AT_decl_file···:·(data1)·68	892	····<4d5>···DW_AT_decl_file···:·(data1)·68
893	····<4d6>···DW_AT_decl_line···:·(data1)·72	893	····<4d6>···DW_AT_decl_line···:·(data1)·72
894	····<4d7>···DW_AT_decl_column·:·(data1)·7	894	····<4d7>···DW_AT_decl_column·:·(data1)·7
895	····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int	895	····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896	····<4dc>···DW_AT_data_member_location:·(data1)·112	896	····<4dc>···DW_AT_data_member_location:·(data1)·112
897	·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)	897	·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)
898	····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c367):·_flags2	898	····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c367):·_flags2
Offset 905, 29 lines modified		Offset 905, 29 lines modified
Max diff block lines reached; 25376480/25383509 bytes (99.97%) of diff not shown.


Offset 1605, 16 lines modified		Offset 1605, 16 lines modified
1605	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1605	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1606	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1606	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1607	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1607	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1608	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1608	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1609	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1609	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1610	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1610	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1611	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1611	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1612	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1612	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1613	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1613	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1614	··Offset:······················0x1b35	1614	··Offset:······················0x1b35
1615	··Version:·····················5	1615	··Version:·····················5
1616	··Offset·size:·················4	1616	··Offset·size:·················4

1617	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1617	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1618	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1618	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52331, 16 lines modified		Offset 52331, 16 lines modified
52331	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	52331	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52332	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	52332	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52333	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	52333	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52334	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52334	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52335	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52335	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52336	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52336	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52337	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52337	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52338	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	52338	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52339	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	52339	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

52340	··Offset:······················0x48d28	52340	··Offset:······················0x48d28
52341	··Version:·····················5	52341	··Version:·····················5
52342	··Offset·size:·················4	52342	··Offset·size:·················4

52343	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52343	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52344	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52344	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1312378, 17 lines modified		Offset 1312378, 17 lines modified
1312378	·DW_MACRO_end_file	1312378	·DW_MACRO_end_file
1312379	·DW_MACRO_import·-·offset·:·0x51c20	1312379	·DW_MACRO_import·-·offset·:·0x51c20
1312380	·DW_MACRO_end_file	1312380	·DW_MACRO_end_file
1312381	·DW_MACRO_start_file·-·lineno:·49·filenum:·136	1312381	·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1312382	·DW_MACRO_end_file	1312382	·DW_MACRO_end_file
1312383	·DW_MACRO_start_file·-·lineno:·51·filenum:·31	1312383	·DW_MACRO_start_file·-·lineno:·51·filenum:·31
1312384	·DW_MACRO_end_file	1312384	·DW_MACRO_end_file
1312385	·DW_MACRO_start_file·-·lineno:·52·filenum:·112	1312385	·DW_MACRO_start_file·-·lineno:·53·filenum:·112
1312386	·DW_MACRO_end_file	1312386	·DW_MACRO_end_file
1312387	·DW_MACRO_start_file·-·lineno:·53·filenum:·291	1312387	·DW_MACRO_start_file·-·lineno:·54·filenum:·291
1312388	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1312388	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1312389	·DW_MACRO_start_file·-·lineno:·41·filenum:·14	1312389	·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1312390	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1312390	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1312391	·DW_MACRO_start_file·-·lineno:·33·filenum:·15	1312391	·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1312392	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1312392	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1312393	·DW_MACRO_start_file·-·lineno:·35·filenum:·16	1312393	·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1312394	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1	1312394	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1


Offset 4194297, 8 lines modified		Offset 4194297, 8 lines modified

4194297	····00bcc2a2·v000000000000006·v000000000000008·location·view·pair	4194297	····00bcc2a2·v000000000000006·v000000000000008·location·view·pair

4194298	····00bcc2a4·v000000000000006·v000000000000008·views·at·00bcc2a2·for:	4194298	····00bcc2a4·v000000000000006·v000000000000008·views·at·00bcc2a2·for:
4194299	·············000000000045eba0·000000000045eba0·(DW_OP_implicit_pointer:·<0x340d162>·0)	4194299	·············000000000045eba0·000000000045eba0·(DW_OP_implicit_pointer:·<0x340d162>·0)
4194300	····00bcc2b5·<End·of·list>	4194300	····00bcc2b5·<End·of·list>

4194301	[·Too·much·input·for·diff·(SHA256:·b34~~33e26~~965~~c78~~a8135f48c726~~5ea8~~2~~0b6~~cd~~9841~~1~~92c77~~1~~b0d980~~5a~~fbb24693~~b)·]	4194301	[·Too·much·input·for·diff·(SHA256:·b75f509f5f8b314ecab6d0d7e2c8ec3dd6721c5898159cf2653a724dae1a2a8b)·]

+GCC:·(Debian·14.2.0-14)·14.2.0
+X8T8R8V8
+eB#T)"8J
+Rw9$\0c!
+K)us*Lp:
+^(d7$R~U
+ie(}EGZ/
+Qb):·YT
+\|7xply(
+GxDj"p}4
+WIqM%N8$^y
+AZZUulcrK-
+ay*W^I"l
+se~#|Yy;
+gf$ddf'dC/
+)jq^<N^cF
+Kd6kZ-ql%
+·xLgJs$d
+`c?^SE4Q
+D$+|;&» duj
+EW4w@nfoL
+t7·&i*1I
+a7·'i*1I
+JVcfSgVSZ
+]-J{3{-h
+:>"}\e;v}zM
+-9{?RbkB!.
+A>EDz_
+:(TV[A6h
+%+ZZm0Mb
+I]0='.G»
+z"A_?rZ
+Zh>BsS'<PIPyQ7
+\gUQVex;_,R
+vN4m3O`p
+T1[E~@P_
+(|@YkTXG
+thWB5<*%
+u$'1Tc1,?MN
+wCo[Qg*b{
+dKU|#^» ~`
+=I»     zPMhV
+_Se#\_{mo(
+s"a}NdC
+(#~5[}c:
++M'pFz.u
+&?rr>xL7
+[#\D6wms
+Evtc/zI·
+jyqt}wZyqt}_Zf
+D(yw39;("
+ervPD>(F
+?&&o-ox'%
+s=(^LJ4F
+ety3etx1e$
+('pmNUjb,
+`f#@Q%f#DQ
+f#LR]fsDO_
+·Q;"DMoJ
+\.u]55cj
+li*'Nk(m
+p"{UC[]T
+)|U@EL`·
+x;yw.%at
+k{t&AGv)
+H4ky@2^z
+EC»     :pp&D
+K-K9Gk?C
+»       ?r1L(7p
+:u./wjs\
+itTSI/mx?
+wsoi$<>o
+&KG2959h
+'K#AZxx"
+wc'cj'GG
+FZ7yYTHI:
+G0h?,V[;
+Im<I^neYJ
+Sw&I&G
+Sn[k_Ix<
+jg:m{»  LK
+sWY<MCfU
+gR_QeLDY
+EcC&2M=)
+J?UdyAiVg
+CnLNA%-BOh
+n<Nd[Tw(
+Ko{>ahFg
+qR)b>De
+I+NuQ?YEV
+R5iJW[nF
+#;1*8(XN[
+a~p^$cC'
+x5a~!FsZ
+!)^@HJ%·
+GK>e»   >S%
+Z=&xR00f$
+\<oEUDe~Kfo
+IJ94~L<)
+y.(tPikTPG
+/rgu]0F95
+h5u;Fo|@
+T\Ii]a+4
+rhOB9<*%y~
++uX2|f;$
+`8q7PZ-m
+QmPIGz#d
+]=^lH1q,
+Liixlt<T<
+n_i»    )<+m_
+oJ,\22u,
+jYqt}ojYqt
+M+#-P0*P
+zu3*C5|»
+GAKt>z%Q
+.Kj3w#{'Am
+nL7f1%F;
+fnIm6$xB
+qi@&i/Bb3
+.9oHkFs=J
+·Aq'4H·C,
+=/t>Wu_
+l`S_'gq%Ojh
+,<W@%G$v
+vTd1·nD\
+^Kwv·7»  g
+"9:0{dv)T


Offset 260, 32 lines modified		Offset 260, 32 lines modified
260	··[··2505]··find_first_of	260	··[··2505]··find_first_of
261	··[··2513]··_M_guarded	261	··[··2513]··_M_guarded
262	··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8	262	··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
263	··[··253e]··wcstombs	263	··[··253e]··wcstombs
264	··[··2547]··_S_noreplace	264	··[··2547]··_S_noreplace
265	··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))	265	··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
266	··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name	266	··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
267	··[··25ae]··DEB_BUILD_DATE·"2024-03-18"
268	··[··25ca]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32	267	··[··25ae]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32
269	··[··2~~60c~~]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)	268	··[··25f0]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)
270	··[··2744]··_GLIBCXX_HAVE_WCHAR_H·1	269	··[··2728]··_GLIBCXX_HAVE_WCHAR_H·1
271	··[··275c]··__stub___compat_uselib·	270	··[··2740]··__stub___compat_uselib·
272	··[··2774]··__ARM_FEATURE_BTI	271	··[··2758]··__ARM_FEATURE_BTI
273	··[··2786]··CVC5_PROOF_FORMAT_ALF	272	··[··276a]··CVC5_PROOF_FORMAT_ALF
274	··[··279c]··__glibcxx_requires_irreflexive(_First,_Last)·	273	··[··2780]··__glibcxx_requires_irreflexive(_First,_Last)·
275	··[··27ca]··__cpp_initializer_lists·200806L	274	··[··27ae]··__cpp_initializer_lists·200806L
276	··[··27ea]··__glibcxx_want_map_try_emplace·	275	··[··27ce]··__glibcxx_want_map_try_emplace·
277	··[··2~~80a~~]··__glibcxx_map_try_emplace·201411L	276	··[··27ee]··__glibcxx_map_try_emplace·201411L
278	··[··282c]··__ARM_NEON·1	277	··[··2810]··__ARM_NEON·1
279	··[··2839]··CVC5_KIND_BAG_UNION_DISJOINT	278	··[··281d]··CVC5_KIND_BAG_UNION_DISJOINT
280	··[··2856]··__FLT16_MAX_10_EXP__·4	279	··[··283a]··__FLT16_MAX_10_EXP__·4
281	··[··286d]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128	280	··[··2851]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128
282	··[··28b3]··__glibcxx_want_constexpr_memory·	281	··[··2897]··__glibcxx_want_constexpr_memory·
283	··[··28d4]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv	282	··[··28b8]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
284	··[··2~~919~~]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv	283	··[··28fd]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
		284	··[··2947]··DEB_BUILD_DATE·"2024-03-19"
285	··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))	285	··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))
286	··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1	286	··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1
287	··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_	287	··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
288	··[··2ac3]··__FLT32_HAS_INFINITY__·1	288	··[··2ac3]··__FLT32_HAS_INFINITY__·1
289	··[··2adc]··__swappable_with_details	289	··[··2adc]··__swappable_with_details
290	··[··2af5]··tolower	290	··[··2af5]··tolower
291	··[··2afd]··__TIMESIZE·64	291	··[··2afd]··__TIMESIZE·64
Offset 1788, 1291 lines modified		Offset 1788, 1291 lines modified
1788	··[··f1e2]··EPERM·1	1788	··[··f1e2]··EPERM·1
1789	··[··f1ea]··__glibcxx_want_shared_timed_mutex	1789	··[··f1ea]··__glibcxx_want_shared_timed_mutex
1790	··[··f20c]··__ARM_FEATURE_SME2	1790	··[··f20c]··__ARM_FEATURE_SME2
1791	··[··f21f]··CVC5_KIND_NULLABLE_LIFT	1791	··[··f21f]··CVC5_KIND_NULLABLE_LIFT
1792	··[··f237]··_VA_LIST_·	1792	··[··f237]··_VA_LIST_·
1793	··[··f242]··__LC_TELEPHONE·10	1793	··[··f242]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1277 lines added, 1277 lines removed)
1794	··[··f254]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_	1794	··[··f254]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1795	··[··f28f]··~~_ZNSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEE5eras~~eE~~N9__gnu_c~~xx1~~7__normal_iteratorIPKcS4_EE~~	1795	··[··f28f]··DEB_BUILD_TIME·"14:06:23"
1796	··[··f2f3]··~~CPU~~_~~COUNT(cpu~~set~~p)·__CPU~~_~~COUNT_~~S~~·(siz~~e~~of·(cp~~u_~~set~~_~~t),·cpus~~etp)	1796	··[··f2a9]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1797	··[··f332]··_ZN9__~~gnu~~_~~cxx21~~__default_~~lock_~~p~~olicyE~~	1797	··[··f30d]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1798	··[··f358]··msg_prefix	1798	··[··f34c]··_ZN9__gnu_cxx21__default_lock_policyE
1799	··[··f363]··~~INT_LEAST64_MIN~~·~~(-__INT64~~_~~C(9223372036854775807)-1)~~	1799	··[··f372]··msg_prefix
1800	··[··f397]··_ZNSiC4Ev	1800	··[··f37d]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1801	··[··f3a1]··_~~GLIBCXX~~_USE_SC~~HED_Y~~IE~~LD·~~1	1801	··[··f3b1]··_ZNSiC4Ev
1802	··[··f3bc]··__EXCE~~PTION_H~~·1	1802	··[··f3bb]··_GLIBCXX_USE_SCHED_YIELD·1
1803	··[··f3cc]··~~INT~~_~~LEAST64~~_MAX~~·(__~~INT64_~~C(9223372036854775807))~~	1803	··[··f3d6]··__EXCEPTION_H·1
1804	··[··f3fd]··~~_ZSt8distanceIPKc~~ENSt1~~5iterator~~_~~traitsI~~T~~_E15difference_typeES3_S3_~~	1804	··[··f3e6]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1805	··[··f440]··_~~_gl~~ibcxx_want_formatters	1805	··[··f417]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1806	··[··f45a]··__~~CPU_ISSET_S(cpu,se~~tsize,c~~pusetp)·(__e~~x~~tension__·({·size_t·__cpu·=·(cpu);·~~__~~cpu·/·8·<·(setsize)·?·((((~~const·__c~~pu_~~ma~~sk·*)·((cpuse~~t~~p)->__bi~~t~~s))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))~~	1806	··[··f45a]··__glibcxx_want_formatters
1807	··[··f~~520~~]··__glibcxx_~~wan~~t_quoted_string_io	1807	··[··f474]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))
1808	··[··f540]··_~~ZNSaI~~cEa~~SERKS~~_	1808	··[··f53a]··__glibcxx_want_quoted_string_io
1809	··[··f550]··~~CVC5~~_KIN~~D_FLO~~ATING~~POINT_I~~S_~~NAN~~	1809	··[··f55a]··_ZNSaIcEaSERKS_
1810	··[··f56f]··_~~_ARM~~_FEAT~~URE_U~~NALIG~~NED·1~~	1810	··[··f56a]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1811	··[··f589]··_~~ZNKSt17basic_string~~_~~viewIcSt11char~~_~~traitsIc~~EE1~~6find~~_~~last_not_of~~ES~~2_m~~	1811	··[··f589]··__ARM_FEATURE_UNALIGNED·1
1812	··[··f5cf]··__~~WORD~~S~~IZE~~_TIME64_~~COMPAT3~~2·0	1812	··[··f5a3]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m
1813	··[··f5ec]··_Z~~NSt9exceptionD0Ev~~	1813	··[··f5e9]··__WORDSIZE_TIME64_COMPAT32·0
1814	··[··f600]··~~CVC5~~_KIND~~_BITVECTOR_SMULO~~	1814	··[··f606]··_ZNSt9exceptionD0Ev
1815	··[··f61a]··_~~GLIBCXX20~~_~~DEPR~~EC~~ATED·~~	1815	··[··f61a]··CVC5_KIND_BITVECTOR_SMULO
1816	··[··f631]··~~CVC5_KIND~~_SEQ~~_UPD~~ATE	1816	··[··f634]··_GLIBCXX20_DEPRECATED·
1817	··[··f646]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~S~~aIcE~~E~~6append~~E~~RKS4_mm~~	1817	··[··f64b]··CVC5_KIND_SEQ_UPDATE
1818	··[··f68b]··~~MOD~~_~~MAX~~E~~RROR·ADJ_MAX~~ER~~ROR~~	1818	··[··f660]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm
1819	··[··f6a5]··~~_GLIBC~~X~~X_PA~~R~~SE_NU~~MBERS_~~H·1~~	1819	··[··f6a5]··MOD_MAXERROR·ADJ_MAXERROR
1820	··[··f6c0]··_GLIBCXX_CHARCONV_H·1	1820	··[··f6bf]··_GLIBCXX_PARSE_NUMBERS_H·1
1821	··[··f6d6]··__GLIBC~~_USE_C23_STRTOL~~	1821	··[··f6da]··_GLIBCXX_CHARCONV_H·1
1822	··[··f6ed]··_GLIBCXX_MOVE_BAC~~KWAR~~D3~~(_Tp,_Up,_Vp)·std::move~~_~~backward(~~_T~~p,·_Up,·_Vp)~~	1822	··[··f6f0]··__GLIBC_USE_C23_STRTOL
1823	··[··f734]··CVC5_~~KIND~~_~~STRING~~_TO_~~CODE~~	1823	··[··f707]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1824	··[··f74d]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~SaI~~cEE12~~_~~All~~oc_~~hider~~C~~4EPcRKS3_~~	1824	··[··f74e]··CVC5_KIND_STRING_TO_CODE
1825	··[··f79b]··~~CVC5~~_~~LEARNED~~_LIT_~~TYP~~E~~_PR~~E~~PROCESS~~_~~SOLV~~ED	1825	··[··f767]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1826	··[··f7c3]··_~~GLIBCXX~~_~~HAV~~E_~~COM~~PLEX_~~H·1~~	1826	··[··f7b5]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1827	··[··f7dd]··~~7lldiv~~_t	1827	··[··f7dd]··_GLIBCXX_HAVE_COMPLEX_H·1
1828	··[··f7e6]··~~_ZNSt~~7~~__cxx1112basic_stringIcSt11char_tra~~i~~tsIcESaIcEE9_~~M_~~muta~~t~~eEmmPKcm~~	1828	··[··f7f7]··7lldiv_t
1829	··[··f82d]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~5rfind~~EPKcmm	1829	··[··f800]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm
1830	··[··f870]··_ZN~~St6localeC4ERKS_R~~KNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi	1830	··[··f847]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm
1831	··[··f8bb]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~7replace~~E~~mmPKc~~m	1831	··[··f88a]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1832	··[··f~~900~~]··__EXCE~~PTIONS·1~~	1832	··[··f8d5]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm
1833	··[··f90f]··_~~GLIBCXX~~_A~~LWAYS_~~INLIN~~E·inlin~~e·~~__attribute__((__always_inline__)~~)	1833	··[··f91a]··__EXCEPTIONS·1
1834	··[··f950]··_~~ZNKSt7~~_~~_cxx1112basic_str~~in~~gIcS~~t~~11char_traitsIcESaIcEE5cr~~e~~ndEv~~	1834	··[··f929]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1835	··[··f98f]··~~CVC5~~_RM_~~ROUND~~_~~TOWARD_PO~~SI~~TIV~~E	1835	··[··f96a]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1836	··[··f9ad]··CVC5_~~LEA~~RNED_LIT~~_TYPE~~_~~INTERNAL~~	1836	··[··f9a9]··CVC5_RM_ROUND_TOWARD_POSITIVE
1837	··[··f9cc]··~~__H~~AV~~E_F~~LOA~~T128_~~UN~~LIK~~E_LDBL·(__~~HAV~~E_~~DIST~~INCT_~~FLO~~A~~T128·&&·__LDB~~L~~_MANT_DIG__·!=·113)~~	1837	··[··f9c7]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1838	··[··f~~a1f~~]··__~~glibcxx~~_~~unordered~~_~~map~~_~~try~~_~~emplace~~·~~2014~~11L	1838	··[··f9e6]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1839	··[··fa4b]··_____fpos_t_de~~fined·~~1	1839	··[··fa39]··__glibcxx_unordered_map_try_emplace·201411L
1840	··[··fa61]··~~CVC5~~_K~~IND~~_~~INST~~_~~ADD_TO_POOL~~	1840	··[··fa65]··_____fpos_t_defined·1
1841	··[··fa7c]··~~_GLIBCXX~~_~~HAVE~~_ARPA_I~~NET_H·1~~	1841	··[··fa7b]··CVC5_KIND_INST_ADD_TO_POOL
1842	··[··fa98]··ENAVAI~~L·119~~	1842	··[··fa96]··_GLIBCXX_HAVE_ARPA_INET_H·1
1843	··[··faa4]··~~_GLIBCXX_STD~~I~~O_SEEK_END·2~~	1843	··[··fab2]··ENAVAIL·119
1844	··[··fabe]··__USE_UNI~~X98~~	1844	··[··fabe]··_GLIBCXX_STDIO_SEEK_END·2
1845	··[··facb]··__~~RED~~IRE~~CT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(_~~_ASMN~~AME·(#alias))~~	1845	··[··fad8]··__USE_UNIX98
1846	··[··f~~b20~~]··_GLIBCXX_~~PACKAGE~~_~~BUGR~~E~~PORT·""~~	1846	··[··fae5]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1847	··[··fb3e]··~~__glibcxx_want~~_~~adaptor~~_i~~terator~~_~~pair_constructor~~	1847	··[··fb3a]··_GLIBCXX_PACKAGE_BUGREPORT·""
1848	··[··fb6f]··~~_ZN9~~__g~~nu_~~cxx17_~~_normal~~_iterator~~IPcNSt7_~~_~~cxx1112~~basi~~c_st~~r~~ingIcSt1~~1ch~~ar_~~tr~~aitsIcESa~~Ic~~EEEEpLEl~~	1848	··[··fb58]··__glibcxx_want_adaptor_iterator_pair_constructor
1849	··[··fbcc]··__stub_revo~~ke·~~	1849	··[··fb89]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl
1850	··[··fbdb]··_~~ZNKSt17basic~~_s~~tring_viewIcS~~t~~11ch~~ar_tr~~aitsIcEE~~4co~~pyEPcmm~~	1850	··[··fbe6]··__stub_revoke·
1851	··[··f~~c14~~]··wcsncmp	1851	··[··fbf5]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm
1852	··[··fc1c]··~~STA_CLOCKERR·0x1000~~	1852	··[··fc2e]··wcsncmp
1853	··[··fc30]··~~UINT~~PTR_W~~IDTH·__WORDSIZE~~	1853	··[··fc36]··STA_CLOCKERR·0x1000
1854	··[··fc49]··~~__FLT16~~_~~HAS_INFINITY__·1~~	1854	··[··fc4a]··UINTPTR_WIDTH·__WORDSIZE
1855	··[··fc62]··__~~ARM~~_A~~RCH_PROFILE·65~~	1855	··[··fc63]··__FLT16_HAS_INFINITY__·1
1856	··[··fc78]··_~~GLIBCXX~~_TSAN_M~~UTEX~~_~~POST~~_~~SIGNA~~L~~(X)·~~	1856	··[··fc7c]··__ARM_ARCH_PROFILE·65
1857	··[··fc9c]··_IO_~~write_ptr~~	1857	··[··fc92]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1858	··[··fcaa]··~~CVC5_SORT~~_KIND_~~TUPLE~~_S~~ORT~~	1858	··[··fcb6]··_IO_write_ptr
1859	··[··fcc4]··~~__glibcxx~~_~~want~~_~~nonmember~~_~~container~~_ac~~cess~~	1859	··[··fcc4]··CVC5_SORT_KIND_TUPLE_SORT
1860	··[··fcee]··_~~GLIBCXX~~_~~ATOMIC~~_~~LOCK_FREE~~_~~H·1~~	1860	··[··fcde]··__glibcxx_want_nonmember_container_access
1861	··[··fd0c]··__ARM_~~FEATU~~RE_~~RNG~~	1861	··[··fd08]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1
1862	··[··fd1e]··~~CVC5~~_~~USE~~_CR~~YPTOMINISAT·1~~	1862	··[··fd26]··__ARM_FEATURE_RNG
1863	··[··fd37]··~~__builtin_unwind_resume~~	1863	··[··fd38]··CVC5_USE_CRYPTOMINISAT·1
1864	··[··fd4f]··__SC~~_THREAD~~_~~STACK_MIN~~_VA~~LUE·75~~	1864	··[··fd51]··__builtin_unwind_resume
1865	··[··fd6e]··E~~KEYEXP~~I~~RED·12~~7	1865	··[··fd69]··__SC_THREAD_STACK_MIN_VALUE·75
1866	··[··fd7e]··~~towctrans~~	1866	··[··fd88]··EKEYEXPIRED·127
1867	··[··fd88]··~~_BITS_STDIO_LIM_H·1~~	1867	··[··fd98]··towctrans
1868	··[··fd9c]··~~_ZNSt7__cxx1112basic~~_~~strin~~gIcS~~t11char~~_~~traits~~Ic~~ESa~~I~~cEE10_~~M_~~replaceEmmPKcm~~	1868	··[··fda2]··_BITS_STDIO_LIM_H·1
1869	··[··fde5]··~~MOD~~_~~CLKA·ADJ~~_~~OFF~~SET_SI~~NGL~~E~~SHOT~~	1869	··[··fdb6]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm
1870	··[··f~~e04~~]··~~_ZNKSt15__exception~~_~~ptr13exception~~_~~ptr20__cxa~~_~~exception_typeEv~~	1870	··[··fdff]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1871	··[··fe43]··_ZNSt15~~bas~~ic_stre~~ambufIcS~~t11char_t~~raitsIcEE4s~~yncEv	1871	··[··fe1e]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1872	··[··fe76]··_GLI~~BCXX~~_~~HAV~~E~~_LINK·1~~	1872	··[··fe5d]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1873	··[··fe8b]··~~htole16(x)·_~~_ui~~nt16~~_~~identity~~·(x)	1873	··[··fe90]··_GLIBCXX_HAVE_LINK·1
1874	··[··feac]··~~STA~~_~~UNSYNC·0x0040~~	1874	··[··fea5]··htole16(x)·__uint16_identity·(x)
1875	··[··febe]··~~CVC5_KIND_F~~LOATINGPOIN~~T_IS_NEG~~	1875	··[··fec6]··STA_UNSYNC·0x0040
1876	··[··fedd]··_~~_glibcxx_want_int~~_~~pow2·~~	1876	··[··fed8]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1877	··[··fef6]··cvc5_~~sor~~t_kind_~~hash~~	1877	··[··fef7]··__glibcxx_want_int_pow2·
1878	··[··ff0a]··IN~~TMAX~~_~~MIN·(-_~~_I~~NT64~~_~~C(9223372036854775807)-1)~~	1878	··[··ff10]··cvc5_sort_kind_hash
1879	··[··ff39]··_Z~~St5flush~~I~~cSt11char~~_~~trait~~sIc~~EERSt13basic_ostreamIT_T~~0~~_ES6_~~	1879	··[··ff24]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)
Max diff block lines reached; 49811/179833 bytes (27.70%) of diff not shown.


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/94/~~25858b64515e3a9~~e8~~6f59a1~~5~~67bda4949e~~0~~905~~.debug	1	usr/lib/debug/.build-id/0d/d4be7dd3df2f53de85c087b5e5770e8ad50bea.debug


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	There·are·38·section·headers,·starting·at·offset·0x3ff360:	1	There·are·38·section·headers,·starting·at·offset·0x3ff368:

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8	5	··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8
6	··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4	6	··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4
7	··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·0018fc·00···A··4···0··8	7	··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·0018fc·00···A··4···0··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000cc898·00c850·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000cc898·00c850·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000ce850·00c850·000250·10··WA··5···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000ce850·00c850·000250·10··WA··5···0··8
27	··[22]·.got··············NOBITS··········00000000000ceaa0·00c850·001560·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000ceaa0·00c850·001560·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000d0000·00c850·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000d0000·00c850·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000d0058·00c850·000070·00··WA··0···0··8	29	··[24]·.bss··············NOBITS··········00000000000d0058·00c850·000070·00··WA··0···0··8
30	··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006a6·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006a6·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d~~1f3~~·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d204·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29db40·006401·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29db50·006401·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f48·02e577·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f58·02e577·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d24c0·05b19b·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d24d0·05b195·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32d660·0007b9·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32d668·0007b9·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32de20·07e00e·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32de28·07e00e·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3abe30·00c914·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3abe38·00c911·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b8748·01aaf2·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b8750·01aaf2·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3240·00fbb8·18·····36·1486··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3248·00fbb8·18·····36·1486··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3e2~~df8~~·01c3cf·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3e2e00·01c3cf·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ff1c7·000193·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ff1cf·000193·00······0···0··1
43	Key·to·Flags:	43	Key·to·Flags:
44	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	44	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
45	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	45	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
46	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),	46	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
47	··D·(mbind),·p·(processor·specific)	47	··D·(mbind),·p·(processor·specific)


Offset 18, 110 lines modified		Offset 18, 110 lines modified
18	····<21>···DW_AT_decl_file···:·(data1)·45	18	····<21>···DW_AT_decl_file···:·(data1)·45
19	····<22>···DW_AT_decl_line···:·(data1)·214	19	····<22>···DW_AT_decl_line···:·(data1)·214
20	····<23>···DW_AT_decl_column·:·(data1)·23	20	····<23>···DW_AT_decl_column·:·(data1)·23
21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int	21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int
22	·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type)	22	·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type)
23	····<26>···DW_AT_byte_size···:·(data1)·8	23	····<26>···DW_AT_byte_size···:·(data1)·8
24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)	24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)
25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d347):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d37d):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·45	29	····<2f>···DW_AT_decl_file···:·(data1)·45
30	····<30>···DW_AT_decl_line···:·(data2)·425	30	····<30>···DW_AT_decl_line···:·(data2)·425
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5dcf):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5de9):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x5243c):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52472):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·45	36	····<3d>···DW_AT_decl_file···:·(data1)·45
37	····<3e>···DW_AT_decl_line···:·(data2)·426	37	····<3e>···DW_AT_decl_line···:·(data2)·426
38	····<40>···DW_AT_decl_column·:·(data1)·13	38	····<40>···DW_AT_decl_column·:·(data1)·13
39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int	39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
40	····<42>···DW_AT_alignment···:·(data1)·8	40	····<42>···DW_AT_alignment···:·(data1)·8
41	····<43>···DW_AT_data_member_location:·(data1)·0	41	····<43>···DW_AT_data_member_location:·(data1)·0
42	·<2><44>:·Abbrev·Number:·24·(DW_TAG_member)	42	·<2><44>:·Abbrev·Number:·24·(DW_TAG_member)
43	····<45>···DW_AT_name········:·(strp)·(offset:·0x5241b):·__max_align_ld	43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52451):·__max_align_ld
44	····<49>···DW_AT_decl_file···:·(data1)·45	44	····<49>···DW_AT_decl_file···:·(data1)·45
45	····<4a>···DW_AT_decl_line···:·(data2)·427	45	····<4a>···DW_AT_decl_line···:·(data2)·427
46	····<4c>···DW_AT_decl_column·:·(data1)·15	46	····<4c>···DW_AT_decl_column·:·(data1)·15
47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double	47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double
48	····<4e>···DW_AT_alignment···:·(data1)·16	48	····<4e>···DW_AT_alignment···:·(data1)·16
49	····<4f>···DW_AT_data_member_location:·(data1)·16	49	····<4f>···DW_AT_data_member_location:·(data1)·16
50	·<2><50>:·Abbrev·Number:·0	50	·<2><50>:·Abbrev·Number:·0
51	·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63e93):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63ec9):·long·long·int
55	·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ae56):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ae70):·long·double
59	·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5dd1):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5deb):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·45	61	····<64>···DW_AT_decl_file···:·(data1)·45
62	····<65>···DW_AT_decl_line···:·(data2)·436	62	····<65>···DW_AT_decl_line···:·(data2)·436
63	····<67>···DW_AT_decl_column·:·(data1)·3	63	····<67>···DW_AT_decl_column·:·(data1)·3
64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t	64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65	····<69>···DW_AT_alignment···:·(data1)·16	65	····<69>···DW_AT_alignment···:·(data1)·16
66	·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b1b):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b37):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2e0b):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2e25):·unsigned·char
72	·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b680):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b6b6):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x145276):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x145276):·unsigned·int
80	·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a84):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a9e):·signed·char
84	·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4be7c):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4beb2):·short·int
88	·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c3aa):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c3c4):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·46	90	····<97>···DW_AT_decl_file···:·(data1)·46
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8~~2f3~~):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa830d):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·46	102	····<ab>···DW_AT_decl_file···:·(data1)·46
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5ddd):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5df7):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·46	108	····<b4>···DW_AT_decl_file···:·(data1)·46
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9a8b):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9aa5):·char
121	·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e>
126	·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·52	127	····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 512, 15 lines modified		Offset 512, 15 lines modified
512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>» [Abbrev·Number:·47·(DW_TAG_subprogram)]	512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>» [Abbrev·Number:·47·(DW_TAG_subprogram)]
513	·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)	513	·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
514	····<2af>···DW_AT_decl_file···:·(data1)·58	514	····<2af>···DW_AT_decl_file···:·(data1)·58
515	····<2b0>···DW_AT_decl_line···:·(data1)·55	515	····<2b0>···DW_AT_decl_line···:·(data1)·55
516	····<2b1>···DW_AT_decl_column·:·(data1)·11	516	····<2b1>···DW_AT_decl_column·:·(data1)·11
517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>» [Abbrev·Number:·18·(DW_TAG_subprogram)]	517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>» [Abbrev·Number:·18·(DW_TAG_subprogram)]
518	·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef)	518	·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef)
519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0b8):·ptrdiff_t	519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0ee):·ptrdiff_t
520	····<2b9>···DW_AT_decl_file···:·(data1)·53	520	····<2b9>···DW_AT_decl_file···:·(data1)·53
521	····<2ba>···DW_AT_decl_line···:·(data2)·311	521	····<2ba>···DW_AT_decl_line···:·(data2)·311
522	····<2bc>···DW_AT_decl_column·:·(data1)·28	522	····<2bc>···DW_AT_decl_column·:·(data1)·28
523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
524	·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)	524	·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
525	····<2bf>···DW_AT_decl_file···:·(data1)·63	525	····<2bf>···DW_AT_decl_file···:·(data1)·63
526	····<2c0>···DW_AT_decl_line···:·(data1)·131	526	····<2c0>···DW_AT_decl_line···:·(data1)·131
Offset 853, 60 lines modified		Offset 853, 60 lines modified
Max diff block lines reached; 61570159/61577927 bytes (99.99%) of diff not shown.


Offset 1831, 16 lines modified		Offset 1831, 16 lines modified
1831	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1831	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1832	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1832	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1833	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1833	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1834	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1834	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1835	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1835	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1836	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1836	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1837	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1837	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1838	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1838	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1839	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1839	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1840	··Offset:······················0x1e1a	1840	··Offset:······················0x1e1a
1841	··Version:·····················5	1841	··Version:·····················5
1842	··Offset·size:·················4	1842	··Offset·size:·················4

1843	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1843	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1844	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1844	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 47774, 16 lines modified		Offset 47774, 16 lines modified
47774	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	47774	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
47775	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	47775	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
47776	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	47776	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
47777	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	47777	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
47778	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	47778	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
47779	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	47779	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
47780	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	47780	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
47781	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	47781	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
47782	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	47782	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

47783	··Offset:······················0x3e7f4	47783	··Offset:······················0x3e7f4
47784	··Version:·····················5	47784	··Version:·····················5
47785	··Offset·size:·················4	47785	··Offset·size:·················4

47786	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	47786	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
47787	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	47787	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·14.2.0-14)·14.2.0
+#e/08lW]
+o0l1$lV;
+EVutDO1J
+[M{i\}%|
+r50KIqby/O
+cPw*oW» Q?N
+»       E2!FORC
+!tF5v<`
+h=4,+F&D
+HN1<y2;6{8
+^S2]1[!)>>
+>?}>NI~X
+oj*n$:pV
+#C8Yz2Bl
+L!B?N@:
+*t*F<R3(
+gx";J'=d
+h]m'L2,4
+v`c*6N9
+IM<%Rs;Bg
+q51KIqbx
+.6xn~C4O
+,kS+%DHe
+"!Rw(!:`P
+?t»    U\nB
+baW9!N"!z
+&#ZQQX,/
+.erO2_e:c
+}Z8_(eG]9;
+%t%{~0A0
+E2uDX$S#
+cR?6rjd^
+_dYfI<Q
+xw9G)pt*
+j\\A+4/b?4
+'xS{»   lxq
+"KDpd@XL/
+!pj·dvX
+YQU_tpt-
+atCXP|%:
+=KI<(9KEe
+»       )`c9;r=
+'D^:YFw?z
+&YQx"n24
+u_lRrw1n
++H_]>vPtU
+$|$dE;ij(K
+d!Y"EYPM
+q^*dM*
+b%p3a3KV
+fnvC9,me
+Ffs»    .-1:
+HiMUFJ;]jJin
+W-,sgQ|v
++ZaqC!KI
+IL;Ii7:(7
+vHGZ1·m
+H.gklP{"
+""mzRVr;<
+]mNjw)» $3
+I1;9LN» f
+U;A2i}O,
+u;]3]=ja
+qH#!]3JEo
+.";8»   w$a
+eu9.U;7
+]K.·TUf3
+iA7YmP#3
+Qcbrcn65
+ufFhoeF8
+ja-eo·{7p
+·9nG,w-j&
+_KF8?0z
+z8-ABPl[
+XTHJu;l(~eP
+<+b?Ulm%
+c@gwr=45
+HQyvTU"q
+nZyW%+eW
+_WWWeWcF<
+HQrLE|Lhs
+-a^D%(Gx
+OQx\WEQ7\
+=CKs<^1V
+b`Ra0}Wp}W8
+$4[:4E!
+E,)THhRXDs+$
+OL>Cli3;·
+}ffg»   8->bQ
+,Za:3,)hj
+[(MpfRC$
+CMfK'3,`
+ayVEdTsay
+d|gyn]QN
+^m)vb,1:
+[5c95#q
+}»      ;$Ai`0F
+TC_)*P{O
+B5R!;3h`
+a{}rG@1v
+qLAQQQQQQQ
+OG8p#)%-
+@f"x*4$
+rJE8>w5_
+M_Vf»   4)n>G
+SJ9^p=\VdcA
+E2uRX$S+
+FfmcXmcd^z
+mUvIyE|Q6C
+lJ(@6=G)
+wjX!K#\yq
+L-S[7tkZ
+(keTP[7TN
+/{pdTD-Z[7
+t&:w#_n\
+!·OrNEjt
+Ci`*BIxbX
+|@Mqsn({
+!t}H`|%:
+PTAS}vGZn
+.n*qK.|z
+H*PaD!P2
+{w,.)CdQ{
+PO6=)@K+8
+YQfH{:DA
+)?·M?}Jic


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/3b/~~8ff1678~~5~~422~~5~~cbf~~1~~96207d07~~4d~~a64d4575~~c06a.debug	1	usr/lib/debug/.build-id/3f/6bb5d1e5d845799185ad989e403bc1341c762c.debug


Offset 14, 53 lines modified		Offset 14, 53 lines modified
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4bdaf	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4bdaf
15	····<1f>···DW_AT_low_pc······:·(addr)·0	15	····<1f>···DW_AT_low_pc······:·(addr)·0
16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0	16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0
17	····<2b>···DW_AT_macros······:·(sec_offset)·0	17	····<2b>···DW_AT_macros······:·(sec_offset)·0
18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)	18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)
19	····<30>···DW_AT_byte_size···:·(data1)·8	19	····<30>···DW_AT_byte_size···:·(data1)·8
20	····<31>···DW_AT_encoding····:·(data1)·4» (float)	20	····<31>···DW_AT_encoding····:·(data1)·4» (float)
21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73694):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x7368f):·double
22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)	22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)
23	····<37>···DW_AT_byte_size···:·(data1)·1	23	····<37>···DW_AT_byte_size···:·(data1)·1
24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
25	····<39>···DW_AT_name········:·(strp)·(offset:·0x7f~~dd2~~):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x7fe08):·unsigned·char
26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)	26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)
27	····<3e>···DW_AT_byte_size···:·(data1)·2	27	····<3e>···DW_AT_byte_size···:·(data1)·2
28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)	28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)
29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdeec6):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdeee0):·short·unsigned·int
30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)	30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)
31	····<45>···DW_AT_byte_size···:·(data1)·4	31	····<45>···DW_AT_byte_size···:·(data1)·4
32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)	32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)
33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14c6f4):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14c6f4):·unsigned·int
34	·<1><4b>:·Abbrev·Number:·22·(DW_TAG_const_type)	34	·<1><4b>:·Abbrev·Number:·22·(DW_TAG_const_type)
35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)	36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)
37	····<4e>···DW_AT_byte_size···:·(data1)·8	37	····<4e>···DW_AT_byte_size···:·(data1)·8
38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)	38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)
39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4dff3):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4dfee):·long·unsigned·int
40	·<1><54>:·Abbrev·Number:·22·(DW_TAG_const_type)	40	·<1><54>:·Abbrev·Number:·22·(DW_TAG_const_type)
41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int	41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
42	·<1><56>:·Abbrev·Number:·60·(DW_TAG_typedef)	42	·<1><56>:·Abbrev·Number:·60·(DW_TAG_typedef)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc562):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc551):·__int8_t
44	····<5b>···DW_AT_decl_file···:·(data1)·52	44	····<5b>···DW_AT_decl_file···:·(data1)·52
45	····<5c>···DW_AT_decl_line···:·(data1)·37	45	····<5c>···DW_AT_decl_line···:·(data1)·37
46	····<5d>···DW_AT_decl_column·:·(data1)·21	46	····<5d>···DW_AT_decl_column·:·(data1)·21
47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char	47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char
48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)	48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)
49	····<60>···DW_AT_byte_size···:·(data1)·1	49	····<60>···DW_AT_byte_size···:·(data1)·1
50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)	50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)
51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddb1d):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddb37):·signed·char
52	·<1><66>:·Abbrev·Number:·60·(DW_TAG_typedef)	52	·<1><66>:·Abbrev·Number:·60·(DW_TAG_typedef)
53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4893):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4882):·__uint8_t
54	····<6b>···DW_AT_decl_file···:·(data1)·52	54	····<6b>···DW_AT_decl_file···:·(data1)·52
55	····<6c>···DW_AT_decl_line···:·(data1)·38	55	····<6c>···DW_AT_decl_line···:·(data1)·38
56	····<6d>···DW_AT_decl_column·:·(data1)·23	56	····<6d>···DW_AT_decl_column·:·(data1)·23
57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char	57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char
58	·<1><6f>:·Abbrev·Number:·60·(DW_TAG_typedef)	58	·<1><6f>:·Abbrev·Number:·60·(DW_TAG_typedef)
59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc00c1):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc00b0):·__int16_t
60	····<74>···DW_AT_decl_file···:·(data1)·52	60	····<74>···DW_AT_decl_file···:·(data1)·52
61	····<75>···DW_AT_decl_line···:·(data1)·39	61	····<75>···DW_AT_decl_line···:·(data1)·39
62	····<76>···DW_AT_decl_column·:·(data1)·26	62	····<76>···DW_AT_decl_column·:·(data1)·26
63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int	63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int
64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)	64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)
65	····<79>···DW_AT_byte_size···:·(data1)·2	65	····<79>···DW_AT_byte_size···:·(data1)·2
66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)	66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 68, 15 lines modified		Offset 68, 15 lines modified
68	·<1><7f>:·Abbrev·Number:·60·(DW_TAG_typedef)	68	·<1><7f>:·Abbrev·Number:·60·(DW_TAG_typedef)
69	····<80>···DW_AT_name········:·(strp)·(offset:·0x53d5):·__uint16_t	69	····<80>···DW_AT_name········:·(strp)·(offset:·0x53d5):·__uint16_t
70	····<84>···DW_AT_decl_file···:·(data1)·52	70	····<84>···DW_AT_decl_file···:·(data1)·52
71	····<85>···DW_AT_decl_line···:·(data1)·40	71	····<85>···DW_AT_decl_line···:·(data1)·40
72	····<86>···DW_AT_decl_column·:·(data1)·28	72	····<86>···DW_AT_decl_column·:·(data1)·28
73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int	73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int
74	·<1><88>:·Abbrev·Number:·60·(DW_TAG_typedef)	74	·<1><88>:·Abbrev·Number:·60·(DW_TAG_typedef)
75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa0f4c):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa0f3b):·__int32_t
76	····<8d>···DW_AT_decl_file···:·(data1)·52	76	····<8d>···DW_AT_decl_file···:·(data1)·52
77	····<8e>···DW_AT_decl_line···:·(data1)·41	77	····<8e>···DW_AT_decl_line···:·(data1)·41
78	····<8f>···DW_AT_decl_column·:·(data1)·20	78	····<8f>···DW_AT_decl_column·:·(data1)·20
79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int	79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int
80	·<1><92>:·Abbrev·Number:·22·(DW_TAG_const_type)	80	·<1><92>:·Abbrev·Number:·22·(DW_TAG_const_type)
81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
82	·<1><95>:·Abbrev·Number:·361·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·361·(DW_TAG_base_type)
Offset 88, 15 lines modified		Offset 88, 15 lines modified
88	·<1><a0>:·Abbrev·Number:·60·(DW_TAG_typedef)	88	·<1><a0>:·Abbrev·Number:·60·(DW_TAG_typedef)
89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1343b9):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1343b9):·__uint32_t
90	····<a5>···DW_AT_decl_file···:·(data1)·52	90	····<a5>···DW_AT_decl_file···:·(data1)·52
91	····<a6>···DW_AT_decl_line···:·(data1)·42	91	····<a6>···DW_AT_decl_line···:·(data1)·42
92	····<a7>···DW_AT_decl_column·:·(data1)·22	92	····<a7>···DW_AT_decl_column·:·(data1)·22
93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
94	·<1><a9>:·Abbrev·Number:·60·(DW_TAG_typedef)	94	·<1><a9>:·Abbrev·Number:·60·(DW_TAG_typedef)
95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x82048):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x8207e):·__int64_t
96	····<ae>···DW_AT_decl_file···:·(data1)·52	96	····<ae>···DW_AT_decl_file···:·(data1)·52
97	····<af>···DW_AT_decl_line···:·(data1)·44	97	····<af>···DW_AT_decl_line···:·(data1)·44
98	····<b0>···DW_AT_decl_column·:·(data1)·25	98	····<b0>···DW_AT_decl_column·:·(data1)·25
99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int	99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)	100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)
101	····<b4>···DW_AT_byte_size···:·(data1)·8	101	····<b4>···DW_AT_byte_size···:·(data1)·8
102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)	102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 112, 75 lines modified		Offset 112, 75 lines modified
112	·<1><c6>:·Abbrev·Number:·60·(DW_TAG_typedef)	112	·<1><c6>:·Abbrev·Number:·60·(DW_TAG_typedef)
113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9909):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9909):·__int_least8_t
114	····<cb>···DW_AT_decl_file···:·(data1)·52	114	····<cb>···DW_AT_decl_file···:·(data1)·52
115	····<cc>···DW_AT_decl_line···:·(data1)·52	115	····<cc>···DW_AT_decl_line···:·(data1)·52
116	····<cd>···DW_AT_decl_column·:·(data1)·18	116	····<cd>···DW_AT_decl_column·:·(data1)·18
117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char	117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char
118	·<1><cf>:·Abbrev·Number:·60·(DW_TAG_typedef)	118	·<1><cf>:·Abbrev·Number:·60·(DW_TAG_typedef)
119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f~~7fe~~):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f81a):·__uint_least8_t
120	····<d4>···DW_AT_decl_file···:·(data1)·52	120	····<d4>···DW_AT_decl_file···:·(data1)·52
121	····<d5>···DW_AT_decl_line···:·(data1)·53	121	····<d5>···DW_AT_decl_line···:·(data1)·53
122	····<d6>···DW_AT_decl_column·:·(data1)·19	122	····<d6>···DW_AT_decl_column·:·(data1)·19
123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char	123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char
124	·<1><d8>:·Abbrev·Number:·60·(DW_TAG_typedef)	124	·<1><d8>:·Abbrev·Number:·60·(DW_TAG_typedef)
125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x13693e):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x13693e):·__int_least16_t
126	····<dd>···DW_AT_decl_file···:·(data1)·52	126	····<dd>···DW_AT_decl_file···:·(data1)·52
127	····<de>···DW_AT_decl_line···:·(data1)·54	127	····<de>···DW_AT_decl_line···:·(data1)·54
128	····<df>···DW_AT_decl_column·:·(data1)·19	128	····<df>···DW_AT_decl_column·:·(data1)·19
129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int	129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int
130	·<1><e1>:·Abbrev·Number:·60·(DW_TAG_typedef)	130	·<1><e1>:·Abbrev·Number:·60·(DW_TAG_typedef)
131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb45fa):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb45e9):·__uint_least16_t
132	····<e6>···DW_AT_decl_file···:·(data1)·52	132	····<e6>···DW_AT_decl_file···:·(data1)·52
133	····<e7>···DW_AT_decl_line···:·(data1)·55	133	····<e7>···DW_AT_decl_line···:·(data1)·55
134	····<e8>···DW_AT_decl_column·:·(data1)·20	134	····<e8>···DW_AT_decl_column·:·(data1)·20
135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int	135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int
136	·<1><ea>:·Abbrev·Number:·60·(DW_TAG_typedef)	136	·<1><ea>:·Abbrev·Number:·60·(DW_TAG_typedef)
137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115aaf):·__int_least32_t	137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115aaf):·__int_least32_t
138	····<ef>···DW_AT_decl_file···:·(data1)·52	138	····<ef>···DW_AT_decl_file···:·(data1)·52
139	····<f0>···DW_AT_decl_line···:·(data1)·56	139	····<f0>···DW_AT_decl_line···:·(data1)·56
140	····<f1>···DW_AT_decl_column·:·(data1)·19	140	····<f1>···DW_AT_decl_column·:·(data1)·19
141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
142	·<1><f4>:·Abbrev·Number:·60·(DW_TAG_typedef)	142	·<1><f4>:·Abbrev·Number:·60·(DW_TAG_typedef)
143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x95880):·__uint_least32_t	143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x9586f):·__uint_least32_t
144	····<f9>···DW_AT_decl_file···:·(data1)·52	144	····<f9>···DW_AT_decl_file···:·(data1)·52
145	····<fa>···DW_AT_decl_line···:·(data1)·57	145	····<fa>···DW_AT_decl_line···:·(data1)·57
146	····<fb>···DW_AT_decl_column·:·(data1)·20	146	····<fb>···DW_AT_decl_column·:·(data1)·20
147	····<fc>···DW_AT_type········:·(ref_udata)·<0xa0>,·__uint32_t,·unsigned·int	147	····<fc>···DW_AT_type········:·(ref_udata)·<0xa0>,·__uint32_t,·unsigned·int
148	·<1><fe>:·Abbrev·Number:·60·(DW_TAG_typedef)	148	·<1><fe>:·Abbrev·Number:·60·(DW_TAG_typedef)
149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf8e49):·__int_least64_t	149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf8e49):·__int_least64_t
150	····<103>···DW_AT_decl_file···:·(data1)·52	150	····<103>···DW_AT_decl_file···:·(data1)·52
151	····<104>···DW_AT_decl_line···:·(data1)·58	151	····<104>···DW_AT_decl_line···:·(data1)·58
152	····<105>···DW_AT_decl_column·:·(data1)·19	152	····<105>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 16862962/16870542 bytes (99.96%) of diff not shown.


Offset 5113, 16 lines modified		Offset 5113, 16 lines modified
5113	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	5113	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5114	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	5114	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5115	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	5115	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5116	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5116	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5117	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5117	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5118	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5118	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5119	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5119	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5120	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	5120	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
5121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	5121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

5122	··Offset:······················0x7210	5122	··Offset:······················0x7210
5123	··Version:·····················5	5123	··Version:·····················5
5124	··Offset·size:·················4	5124	··Offset·size:·················4

5125	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	5125	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5126	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	5126	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1

+v,GCC:·(Debian·14.2.0-14)·14.2.0
+ujuWv(=
+='bz]Ws/d#
+dg»     93]&3
+/<ae_^`/
+`LgACfW;
+Q@_!a&P]u
+H1·JU4Lv
+M!qgnwGP
+jv*g|lh
+vn$M%»  vWfm
+rEP}\(M2
+YK~'fk[S
+wJ5»    5Qqk
+,CABSmM`
+}MB3sM2q
+psU0lodZy#
+$v9j;F/A
+wQfwr~7
+\H~.3zof
+:7^NL{ju
+F^Hb>u/$
+@:97i.hX
+;x7p[%\>
+!rt%U!VC{
+|ptOw7ND
+Y>TasB{R
+!~<7N<{=>
+OWMBXa&?
+pH|)85=»C
+FSQF5_43
+OiwD$;lg
+»       KyQ~~py
+bzQ~1xy.31Y~1
+A{3_5S~1Xi>Q
+CJ6[}R~ux
+Fmb!Erklp
+»       \~1ANg'
+U#Q@bL5/|z
+"N]+Hi+,
+h"b,pUc
+`z6L2]u`
+dzr4FzL
+mqkK));b
+.eIcTm%J
++tcNE+t{N
+w8s·_J|L
+M*^(Tg=)E
+}D+.W@'!*#
+BhnauEC;
+Y=kL?X^,
+?#Vy6gEW[3`
+O?*ol1^V?
+]vvMjvy-F
+CuD;?ev[
+<suD;Wry
+]=DWAcwq
+q-vl57}s
+WBuD;?av
+'q"%Q`'C
+wBuD;?ev[
+o>Wg7a.l
+?d7uJj%tGt
+]9dWAc1.
+U'H`8ICm>»      Q>IC
+n%&~+1i[
+)PdEvZrj
+,`O/f_Lo
+D{wg]H^!!
+MBp"7E9:
+in_j6<P*
+kCCb#FcE
+:u7F7R_:
+-FTud»  A0
+B{8wBymDL]e
+\k)HHnJ|,
+·d]BdnGI
+wBy-BL
+p@^_-v=~Q
+J»      MKj7Go
+W#~)%8s8
+Un/&FqJs
+~8D(D"I!
+ss+WN6P'
+E[F1H47
+KAD#X"D!y
+#Li!lLUu
+~-JC_S;*i:
+$2KBfuL'
+;^I.evv
+M51hfiWg
+LW:'vS» v»g
+OO·y»    \~'m
+Z@F%<n}F
+;M<GTEcC
+]:O&eL%<
+GH%7P»  `_
+M!b!@M=:.
+jju(kJpp
+WnvbH]9n
+sAaY$.KWfM
+!y42Ot1)
+Ssx/`a>
+f68!w.;@v
+^0g>[<_b
+cm.-7Mia
+l<`x"=/v
+CbU'}<Pw
+:P5-L0SE!;
+^5l~,7b$
+[X|uM|EB
+hd';pd(u
+g%-^9dnG
+-GT!V2rD9
+]cqCP!(+
++z~#VZ6b
+c8(<aGc
+Vp>»    /.»  a%
+_vBHRXLX)
+O*<rc2**,L
+W2:*?Ol9
+|qq#Ky\~
+h'rIE58vc
+q(CL6%F_
+k$&:gRbm
+"[X\oa?g$
+vfj5:c'?