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

⊟

141 MB

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

/srv/reproducible-results/rbuild-debian/r-b-build.QltOvmW3/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

⊟

27.4 KB

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

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

26.8 KB

data.tar.xz ¶

⊟

26.8 KB

data.tar ¶

⊟

26.8 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

8.59 KB

readelf --wide --relocs {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

847 B

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

Ordering differences only

⊟

6.49 KB

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

⊟

2.76 KB

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

⊟

3.97 KB

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

⊟

2.62 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.27 KB

python3-cvc5_1.1.2-2_arm64.deb ¶

⊟

452 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 ¶

⊟

452 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/54/91f316bc2304a893bad0f1d6c29710249e1f10.debug vs.

./usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 75% 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.58 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 ¶

⊟

802 B

control.tar.xz ¶

⊟

774 B

control.tar ¶

⊟

526 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/34/6929189d3f46e3746da538ae2f45a43a443b90.debug vs.

./usr/lib/debug/.build-id/b6/02dd1f76c838ef87cb553c060c86d12f564efe.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 95% 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 {} ¶

⊟

565 B

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

⊟

659 KB

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

⊟

177 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/ef/e58aaf75465840ce3d85ee70d9767d00992f90.debug vs.

./usr/lib/debug/.build-id/97/0f41825131cf163d71a500179420f3b545290e.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 90% 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/93/af99550bc3d54244e026c13fd22adeb6e15831.debug vs.

./usr/lib/debug/.build-id/16/6621ab2963bbf5d9a7fca5d62a2ca97a33ab6c.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.96 KB

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

⊟

1.76 MB

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


Offset 1, 10 lines modified		Offset 1, 10 lines modified

1	·5ebb1c6352ea72c6eecf430f1976c53a·1845172·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
2	·4911913f3a8cb401c627312216ee55dc·97024·math·optional·cvc5_1.1.2-2_arm64.deb
3	·534a53ad514a43cb659d7277ee052f01·179952428·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
4	·~~268d6bbaf~~d83~~949b989538f34f6~~9~~adc~~8·5714528·libs·optional·~~lib~~cvc5-1_1.1.2-2_arm64.deb	1	·c37c3d73f6df7f67ef72190960e86e53·1845224·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
		2	·81a1ae6c6ffe339f3d1560312cbde3fb·96976·math·optional·cvc5_1.1.2-2_arm64.deb
		3	·134e5e56e317d29cf997191bad7a966f·179955592·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
		4	·57ad2cdf2c5038c20277f263e594d605·5715228·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5	·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb	5	·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6	·~~792~~1~~3f9577cb1e4cd7dff3~~0~~f357~~1f626·4015508·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb	6	·010dc169a3261f2509826e4c0c9a01f4·4015556·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
7	·1054dd95036209883bb1e8a1c03a2459·208068·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
8	·c17fd42d7766e5c8accf68019c5a3999·2586020·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
9	·68947ee~~67a71~~69d7bca8f~~4a011f~~794b4·298~~904~~·py~~thon~~·optional·~~python3-cvc5~~_1.1.2-2_arm64.deb	7	·a57deb3cfa6930c435bee8f2595437db·208188·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
		8	·1f9f22bab911d1d1270b72640e03ffad·2586220·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
		9	·20a364b7f5f87b0d36942079c1ffdc9c·297884·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····95~~716~~·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0····95668·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:·~~549~~1~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·48d5114ce602695e58bb1eb44bf021792d64bece

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·39316633·31366263·32333034·61383933·91f316bc2304a893
3	··0x00000010·6~~26164~~30·66316436·63323937·3~~130~~3234·~~bad0f1d~~6c2~~971024~~	2	··0x00000000·64353131·34636536·30323639·35653538·d5114ce602695e58
		3	··0x00000010·62623165·62343462·66303231·37393264·bb1eb44bf021792d
4	··0x00000020·39653166·~~3130~~2e64·65627567·00000000·~~9e1f10~~.debug....	4	··0x00000020·36346265·63652e64·65627567·00000000·64bece.debug....
5	··0x00000030·~~327da50b~~····························2}..	5	··0x00000030·8e2a0348····························.*.H


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·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0··5713~~060~~·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0··5713756·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:·3469291~~89d3f46~~e~~3746da~~53~~8ae2f45a43a443b90~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·b602dd1f76c838ef87cb553c060c86d12f564efe


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 9106, 16 lines modified		Offset 9106, 16 lines modified
9106	use-fcsimplex	9106	use-fcsimplex
9107	use-portfolio	9107	use-portfolio
9108	user-pat	9108	user-pat
9109	user-pool	9109	user-pool
9110	var-elim-quant	9110	var-elim-quant
9111	var-ineq-elim-quant	9111	var-ineq-elim-quant
9112	wf-checking	9112	wf-checking
9113	partitions-out
9114	write-partitions-to	9113	write-partitions-to
		9114	partitions-out
9115	Argument·'	9115	Argument·'
9116	'·for·bool·option·	9116	'·for·bool·option·
9117	·is·not·a·bool·constant	9117	·is·not·a·bool·constant
9118	Unrecognized·option·key·or·setting:·	9118	Unrecognized·option·key·or·setting:·
9119	Ungettable·option·key·or·setting:·	9119	Ungettable·option·key·or·setting:·
9120	·is·not·a·legal·setting,·value·should·be·at·least·	9120	·is·not·a·legal·setting,·value·should·be·at·least·
9121	·is·not·a·legal·setting,·value·should·be·at·most·	9121	·is·not·a·legal·setting,·value·should·be·at·most·


Offset 73054, 23 lines modified		Offset 73054, 23 lines modified
73054	» mov» w2,·#0x53··················» //·#83	73054	» mov» w2,·#0x53··················» //·#83
73055	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73055	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73056	» add» x0,·x19,·#0xd20	73056	» add» x0,·x19,·#0xd20
73057	» add» x1,·x1,·#0xd10	73057	» add» x1,·x1,·#0xd10
73058	» str» w2,·[sp,·#3400]	73058	» str» w2,·[sp,·#3400]
73059	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73059	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73060	» mov» w2,·#0x54··················» //·#84	73060	» mov» w2,·#0x54··················» //·#84
73061	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73061	» adrp» x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>
73062	» add» x0,·x19,·#0xd48	73062	» add» x0,·x19,·#0xd48
73063	» add» x1,·x1,·#0x~~d28~~	73063	» add» x1,·x1,·#0xc30
73064	» str» w2,·[sp,·#3440]	73064	» str» w2,·[sp,·#3440]
73065	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73065	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73066	» mov» w2,·#0x55··················» //·#85	73066	» mov» w2,·#0x55··················» //·#85
73067	» adrp» x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>	73067	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73068	» add» x0,·x19,·#0xd70	73068	» add» x0,·x19,·#0xd70
73069	» add» x1,·x1,·#0x~~c30~~	73069	» add» x1,·x1,·#0xd28
73070	» str» w2,·[sp,·#3480]	73070	» str» w2,·[sp,·#3480]
73071	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73071	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73072	» mov» w2,·#0x55··················» //·#85	73072	» mov» w2,·#0x55··················» //·#85
73073	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>	73073	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
73074	» add» x0,·x19,·#0xd98	73074	» add» x0,·x19,·#0xd98
73075	» add» x1,·x1,·#0x260	73075	» add» x1,·x1,·#0x260
73076	» str» w2,·[sp,·#3520]	73076	» str» w2,·[sp,·#3520]
Offset 74079, 45 lines modified		Offset 74079, 45 lines modified
74079	» mov» x3,·#0x2468················» //·#9320	74079	» mov» x3,·#0x2468················» //·#9320
74080	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>	74080	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
74081	» add» x0,·x19,·x3	74081	» add» x0,·x19,·x3
74082	» add» x1,·x1,·#0x1e0	74082	» add» x1,·x1,·#0x1e0
74083	» str» w2,·[sp,·#9360]	74083	» str» w2,·[sp,·#9360]
74084	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74084	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74085	» mov» w2,·#0xe6··················» //·#230	74085	» mov» w2,·#0xe6··················» //·#230
74086	» adrp» x1,·1~~2cf~~000·<CaDiCaL::Internal::cover()@@Base+0x3c80>	74086	» adrp» x1,·1301000·<CaDiCaL::Internal::cover()@@Base+0x35c80>
74087	» mov» x0,·#0x2490················» //·#9360	74087	» mov» x0,·#0x2490················» //·#9360
74088	» add» x1,·x1,·#0x980	74088	» add» x1,·x1,·#0xb80
74089	» add» x0,·x19,·x0	74089	» add» x0,·x19,·x0
74090	» str» w2,·[sp,·#9400]	74090	» str» w2,·[sp,·#9400]
74091	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74091	» bl» 118ba40·<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~~301~~000·<CaDiCaL::Internal::cover()@@Base+0x35c80>	74094	» adrp» x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
74095	» add» x0,·x19,·x30	74095	» add» x0,·x19,·x30
74096	» add» x1,·x1,·#0xb80	74096	» add» x1,·x1,·#0x980
74097	» str» w2,·[sp,·#9440]	74097	» str» w2,·[sp,·#9440]
74098	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74098	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74099	» mov» w2,·#0xe7··················» //·#231	74099	» mov» w2,·#0xe7··················» //·#231
74100	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74100	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74101	» mov» x28,·#0x24e0················» //·#9440	74101	» mov» x28,·#0x24e0················» //·#9440
74102	» add» x1,·x1,·#0x6b8	74102	» add» x1,·x1,·#0x6b8
74103	» add» x0,·x19,·x28	74103	» add» x0,·x19,·x28
74104	» str» w2,·[sp,·#9480]	74104	» str» w2,·[sp,·#9480]
74105	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74105	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74106	» mov» w2,·#0xe8··················» //·#232	74106	» mov» w2,·#0xe8··················» //·#232
74107	» adrp» x1,·1~~2e1~~000·<CaDiCaL::Internal::cover()@@Base+0x15c80>	74107	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74108	» mov» x27,·#0x2508················» //·#9480	74108	» mov» x27,·#0x2508················» //·#9480
74109	» add» x1,·x1,·#0xdc0	74109	» add» x1,·x1,·#0x6c0
74110	» add» x0,·x19,·x27	74110	» add» x0,·x19,·x27
74111	» str» w2,·[sp,·#9520]	74111	» str» w2,·[sp,·#9520]
74112	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74112	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74113	» mov» w2,·#0xe9··················» //·#233	74113	» mov» w2,·#0xe9··················» //·#233
74114	» adrp» x1,·1~~30e~~000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74114	» adrp» x1,·12e1000·<CaDiCaL::Internal::cover()@@Base+0x15c80>
74115	» mov» x26,·#0x2530················» //·#9520	74115	» mov» x26,·#0x2530················» //·#9520
74116	» add» x1,·x1,·#0x6c0	74116	» add» x1,·x1,·#0xdc0
74117	» add» x0,·x19,·x26	74117	» add» x0,·x19,·x26
74118	» str» w2,·[sp,·#9560]	74118	» str» w2,·[sp,·#9560]
74119	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74119	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74120	» mov» w2,·#0xe9··················» //·#233	74120	» mov» w2,·#0xe9··················» //·#233
74121	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74121	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74122	» mov» x25,·#0x2558················» //·#9560	74122	» mov» x25,·#0x2558················» //·#9560
74123	» add» x1,·x1,·#0x6d0	74123	» add» x1,·x1,·#0x6d0
Offset 74829, 23 lines modified		Offset 74829, 23 lines modified
74829	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74829	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74830	» add» x0,·x19,·x4	74830	» add» x0,·x19,·x4
74831	» add» x1,·x1,·#0xe50	74831	» add» x1,·x1,·#0xe50
74832	» str» w2,·[sp,·#13640]	74832	» str» w2,·[sp,·#13640]
74833	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74833	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74834	» mov» w2,·#0x14a·················» //·#330	74834	» mov» w2,·#0x14a·················» //·#330
74835	» mov» x3,·#0x3548················» //·#13640	74835	» mov» x3,·#0x3548················» //·#13640
74836	» adrp» x1,·1~~2df~~000·<CaDiCaL::Internal::cover()@@Base+0x13c80>	74836	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74837	» add» x0,·x19,·x3	74837	» add» x0,·x19,·x3
74838	» add» x1,·x1,·#0xd48	74838	» add» x1,·x1,·#0xe68
74839	» str» w2,·[sp,·#13680]	74839	» str» w2,·[sp,·#13680]
74840	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74840	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74841	» mov» w2,·#0x14b·················» //·#331	74841	» mov» w2,·#0x14b·················» //·#331
74842	» adrp» x1,·1~~30e~~000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74842	» adrp» x1,·12df000·<CaDiCaL::Internal::cover()@@Base+0x13c80>
74843	» mov» x0,·#0x3570················» //·#13680	74843	» mov» x0,·#0x3570················» //·#13680
74844	» add» x1,·x1,·#0xe68	74844	» add» x1,·x1,·#0xd48
74845	» add» x0,·x19,·x0	74845	» add» x0,·x19,·x0
74846	» str» w2,·[sp,·#13720]	74846	» str» w2,·[sp,·#13720]
74847	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74847	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74848	» mov» w2,·#0x14b·················» //·#331	74848	» mov» w2,·#0x14b·················» //·#331
74849	» mov» x30,·#0x3598················» //·#13720	74849	» mov» x30,·#0x3598················» //·#13720
74850	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74850	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74851	» add» x0,·x19,·x30	74851	» add» x0,·x19,·x30
Offset 75947, 15 lines modified		Offset 75947, 15 lines modified
75947	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	75947	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
75948	» mov» x6,·#0x4020················» //·#16416	75948	» mov» x6,·#0x4020················» //·#16416
75949	» add» x3,·sp,·x6	75949	» add» x3,·sp,·x6
75950	» mov» x5,·#0x4b30················» //·#19248	75950	» mov» x5,·#0x4b30················» //·#19248
75951	» mov» w2,·#0x1d4·················» //·#468	75951	» mov» w2,·#0x1d4·················» //·#468
75952	» add» x0,·sp,·x5	75952	» add» x0,·sp,·x5
75953	» adrp» x1,·130f000·<CaDiCaL::Internal::cover()@@Base+0x43c80>	75953	» adrp» x1,·130f000·<CaDiCaL::Internal::cover()@@Base+0x43c80>
75954	» add» x1,·x1,·#0x938	75954	» add» x1,·x1,·#0x940
75955	» str» x0,·[sp,·#24]	75955	» str» x0,·[sp,·#24]
75956	» str» w2,·[x3,·#2824]	75956	» str» w2,·[x3,·#2824]
75957	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	75957	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
75958	/usr/include/c++/14/bits/hashtable.h:499	75958	/usr/include/c++/14/bits/hashtable.h:499
75959	» adrp» x27,·15ec000·<cvc5::internal::Printer::d_printers@@Base+0x1ef8>	75959	» adrp» x27,·15ec000·<cvc5::internal::Printer::d_printers@@Base+0x1ef8>
75960	» add» x2,·x27,·#0xbb0	75960	» add» x2,·x27,·#0xbb0
75961	/usr/include/c++/14/bits/stl_pair.h:882·(discriminator·1)	75961	/usr/include/c++/14/bits/stl_pair.h:882·(discriminator·1)
Offset 407872, 15 lines modified		Offset 407872, 15 lines modified
407872	» add» x0,·x2,·#0x2e0	407872	» add» x0,·x2,·#0x2e0
407873	» bl» 1b35cc·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b6c>	407873	» bl» 1b35cc·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b6c>
407874	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360	407874	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360
407875	» bl» 8ea30·<cvc5::internal::Configuration::isAssertionBuild()@plt>	407875	» bl» 8ea30·<cvc5::internal::Configuration::isAssertionBuild()@plt>
407876	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·1)	407876	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·1)
407877	» adrp» x2,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	407877	» adrp» x2,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
407878	» mov» w1,·w0	407878	» mov» w1,·w0
407879	» add» x0,·x2,·#0x~~8e8~~	407879	» add» x0,·x2,·#0x900
407880	» bl» 1b35cc·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b6c>	407880	» bl» 1b35cc·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b6c>
407881	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361	407881	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361
407882	» bl» 88ca0·<cvc5::internal::Configuration::isCoverageBuild()@plt>	407882	» bl» 88ca0·<cvc5::internal::Configuration::isCoverageBuild()@plt>
407883	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·1)	407883	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·1)
407884	» adrp» x2,·12d4000·<CaDiCaL::Internal::cover()@@Base+0x8c80>	407884	» adrp» x2,·12d4000·<CaDiCaL::Internal::cover()@@Base+0x8c80>
407885	» mov» w1,·w0	407885	» mov» w1,·w0
407886	» add» x0,·x2,·#0x2e8	407886	» add» x0,·x2,·#0x2e8
Offset 4194296, 8 lines modified		Offset 4194296, 8 lines modified
4194296	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:304	4194296	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:304
Max diff block lines reached; 440/6461 bytes (6.81%) of diff not shown.


Offset 17173, 17 lines modified		Offset 17173, 17 lines modified
17173	··0x0130e870·7465722d·6d6f6465·00000000·00000000·ter-mode........	17173	··0x0130e870·7465722d·6d6f6465·00000000·00000000·ter-mode........
17174	··0x0130e880·7072696e·742d636f·7265732d·66756c6c·print-cores-full	17174	··0x0130e880·7072696e·742d636f·7265732d·66756c6c·print-cores-full
17175	··0x0130e890·00000000·00000000·7072696e·742d646f·........print-do	17175	··0x0130e890·00000000·00000000·7072696e·742d646f·........print-do
17176	··0x0130e8a0·742d636c·75737465·72730000·00000000·t-clusters......	17176	··0x0130e8a0·742d636c·75737465·72730000·00000000·t-clusters......
17177	··0x0130e8b0·7072696e·742d696e·73740000·00000000·print-inst......	17177	··0x0130e8b0·7072696e·742d696e·73740000·00000000·print-inst......
17178	··0x0130e8c0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.	17178	··0x0130e8c0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.
17179	··0x0130e8d0·70726f64·7563652d·61626475·63747300·produce-abducts.	17179	··0x0130e8d0·70726f64·7563652d·61626475·63747300·produce-abducts.
17180	··0x0130e8e0·70726f64·7563652d·61737365·7274696f·produce-assertio
17181	··0x0130e8f0·6e730000·00000000·696e7465·72616374·ns......interact
17182	··0x0130e900·6976652d·6d6~~f64~~65·~~00000000~~·0~~0000000·~~ive-mode~~........~~	17180	··0x0130e8e0·696e7465·72616374·6976652d·6d6f6465·interactive-mode
		17181	··0x0130e8f0·00000000·00000000·70726f64·7563652d·........produce-
		17182	··0x0130e900·61737365·7274696f·6e730000·00000000·assertions......
17183	··0x0130e910·70726f64·7563652d·61737369·676e6d65·produce-assignme	17183	··0x0130e910·70726f64·7563652d·61737369·676e6d65·produce-assignme
17184	··0x0130e920·6e747300·00000000·70726f64·7563652d·nts.....produce-	17184	··0x0130e920·6e747300·00000000·70726f64·7563652d·nts.....produce-
17185	··0x0130e930·64696666·6963756c·74790000·00000000·difficulty......	17185	··0x0130e930·64696666·6963756c·74790000·00000000·difficulty......
17186	··0x0130e940·70726f64·7563652d·696e7465·72706f6c·produce-interpol	17186	··0x0130e940·70726f64·7563652d·696e7465·72706f6c·produce-interpol
17187	··0x0130e950·616e7473·00000000·70726f64·7563652d·ants....produce-	17187	··0x0130e950·616e7473·00000000·70726f64·7563652d·ants....produce-
17188	··0x0130e960·6c656172·6e65642d·6c697465·72616c73·learned-literals	17188	··0x0130e960·6c656172·6e65642d·6c697465·72616c73·learned-literals
17189	··0x0130e970·00000000·00000000·70726f64·7563652d·........produce-	17189	··0x0130e970·00000000·00000000·70726f64·7563652d·........produce-
Offset 17433, 17 lines modified		Offset 17433, 17 lines modified
17433	··0x0130f8b0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...	17433	··0x0130f8b0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...
17434	··0x0130f8c0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat	17434	··0x0130f8c0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat
17435	··0x0130f8d0·00000000·00000000·75736572·2d706f6f·........user-poo	17435	··0x0130f8d0·00000000·00000000·75736572·2d706f6f·........user-poo
17436	··0x0130f8e0·6c000000·00000000·7661722d·656c696d·l.......var-elim	17436	··0x0130f8e0·6c000000·00000000·7661722d·656c696d·l.......var-elim
17437	··0x0130f8f0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq	17437	··0x0130f8f0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq
17438	··0x0130f900·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....	17438	··0x0130f900·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....
17439	··0x0130f910·76657262·6f736500·77662d63·6865636b·verbose.wf-check	17439	··0x0130f910·76657262·6f736500·77662d63·6865636b·verbose.wf-check
17440	··0x0130f920·696e6700·00000000·7~~06172~~74·6~~97469~~6f·ing.....~~par~~t~~itio~~	17440	··0x0130f920·696e6700·00000000·77726974·652d7061·ing.....write-pa
17441	··0x0130f930·6e732d6f·75740000·77726974·652d7061·ns-out..write-pa
17442	··0x0130f940·72746974·696f6e73·2d746f00·00000000·rtitions-to.....	17441	··0x0130f930·72746974·696f6e73·2d746f00·00000000·rtitions-to.....
		17442	··0x0130f940·70617274·6974696f·6e732d6f·75740000·partitions-out..
17443	··0x0130f950·41726775·6d656e74·20270000·00000000·Argument·'......	17443	··0x0130f950·41726775·6d656e74·20270000·00000000·Argument·'......
17444	··0x0130f960·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio	17444	··0x0130f960·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
17445	··0x0130f970·6e200000·00000000·20697320·6e6f7420·n·......·is·not·	17445	··0x0130f970·6e200000·00000000·20697320·6e6f7420·n·......·is·not·
17446	··0x0130f980·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.	17446	··0x0130f980·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.
17447	··0x0130f990·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt	17447	··0x0130f990·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt
17448	··0x0130f9a0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti	17448	··0x0130f9a0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti
17449	··0x0130f9b0·6e673a20·00000000·25660000·00000000·ng:·....%f......	17449	··0x0130f9b0·6e673a20·00000000·25660000·00000000·ng:·....%f......


Offset 1916, 15 lines modified		Offset 1916, 15 lines modified
1916	··0x015cfa28·b8e13001·00000000·d0e13001·00000000·..0.......0.....	1916	··0x015cfa28·b8e13001·00000000·d0e13001·00000000·..0.......0.....
1917	··0x015cfa38·e0e13001·00000000·485f2e01·00000000·..0.....H_......	1917	··0x015cfa38·e0e13001·00000000·485f2e01·00000000·..0.....H_......
1918	··0x015cfa48·e8e13001·00000000·00e23001·00000000·..0.......0.....	1918	··0x015cfa48·e8e13001·00000000·00e23001·00000000·..0.......0.....
1919	··0x015cfa58·08e33001·00000000·10e23001·00000000·..0.......0.....	1919	··0x015cfa58·08e33001·00000000·10e23001·00000000·..0.......0.....
1920	··0x015cfa68·20e23001·00000000·30e23001·00000000··.0.....0.0.....	1920	··0x015cfa68·20e23001·00000000·30e23001·00000000··.0.....0.0.....
1921	··0x015cfa78·40e23001·00000000·50e23001·00000000·@.0.....P.0.....	1921	··0x015cfa78·40e23001·00000000·50e23001·00000000·@.0.....P.0.....
1922	··0x015cfa88·60e23001·00000000·70e23001·00000000·`.0.....p.0.....	1922	··0x015cfa88·60e23001·00000000·70e23001·00000000·`.0.....p.0.....
1923	··0x015cfa98·f8e83001·00000000·80e23001·00000000·..0.......0.....	1923	··0x015cfa98·e0e83001·00000000·80e23001·00000000·..0.......0.....
1924	··0x015cfaa8·98e23001·00000000·b0e23001·00000000·..0.......0.....	1924	··0x015cfaa8·98e23001·00000000·b0e23001·00000000·..0.......0.....
1925	··0x015cfab8·c0e23001·00000000·d0e23001·00000000·..0.......0.....	1925	··0x015cfab8·c0e23001·00000000·d0e23001·00000000·..0.......0.....
1926	··0x015cfac8·e0e23001·00000000·f0e23001·00000000·..0.......0.....	1926	··0x015cfac8·e0e23001·00000000·f0e23001·00000000·..0.......0.....
1927	··0x015cfad8·00e33001·00000000·d85d2d01·00000000·..0......]-.....	1927	··0x015cfad8·00e33001·00000000·d85d2d01·00000000·..0......]-.....
1928	··0x015cfae8·18e33001·00000000·28e33001·00000000·..0.....(.0.....	1928	··0x015cfae8·18e33001·00000000·28e33001·00000000·..0.....(.0.....
1929	··0x015cfaf8·48e33001·00000000·60e33001·00000000·H.0.....`.0.....	1929	··0x015cfaf8·48e33001·00000000·60e33001·00000000·H.0.....`.0.....
1930	··0x015cfb08·80e33001·00000000·98e33001·00000000·..0.......0.....	1930	··0x015cfb08·80e33001·00000000·98e33001·00000000·..0.......0.....
Offset 1954, 24 lines modified		Offset 1954, 24 lines modified
1954	··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....	1954	··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....
1955	··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............	1955	··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............
1956	··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....	1956	··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....
1957	··0x015cfcb8·58e73001·00000000·00e73001·00000000·X.0.......0.....	1957	··0x015cfcb8·58e73001·00000000·00e73001·00000000·X.0.......0.....
1958	··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....	1958	··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....
1959	··0x015cfcd8·40e73001·00000000·68e73001·00000000·@.0.....h.0.....	1959	··0x015cfcd8·40e73001·00000000·68e73001·00000000·@.0.....h.0.....
1960	··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....	1960	··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....
1961	··0x015cfcf8·28f93001·00000000·a8e73001·00000000·(.0.......0.....	1961	··0x015cfcf8·40f93001·00000000·a8e73001·00000000·@.0.......0.....
1962	··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....	1962	··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....
1963	··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....	1963	··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....
1964	··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....	1964	··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....
1965	··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....	1965	··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....
1966	··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....	1966	··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....
1967	··0x015cfd58·80e83001·00000000·98e83001·00000000·..0.......0.....	1967	··0x015cfd58·80e83001·00000000·98e83001·00000000·..0.......0.....
1968	··0x015cfd68·b0e83001·00000000·c0e83001·00000000·..0.......0.....	1968	··0x015cfd68·b0e83001·00000000·c0e83001·00000000·..0.......0.....
1969	··0x015cfd78·70f92c01·00000000·d0e83001·00000000·p.,.......0.....	1969	··0x015cfd78·70f92c01·00000000·d0e83001·00000000·p.,.......0.....
1970	··0x015cfd88·e0e83001·00000000·10e93001·00000000·..0.......0.....	1970	··0x015cfd88·f8e83001·00000000·10e93001·00000000·..0.......0.....
1971	··0x015cfd98·28e93001·00000000·40e93001·00000000·(.0.....@.0.....	1971	··0x015cfd98·28e93001·00000000·40e93001·00000000·(.0.....@.0.....
1972	··0x015cfda8·58e93001·00000000·102e2e01·00000000·X.0.............	1972	··0x015cfda8·58e93001·00000000·102e2e01·00000000·X.0.............
1973	··0x015cfdb8·78e93001·00000000·88e93001·00000000·x.0.......0.....	1973	··0x015cfdb8·78e93001·00000000·88e93001·00000000·x.0.......0.....
1974	··0x015cfdc8·88652f01·00000000·a8e93001·00000000·.e/.......0.....	1974	··0x015cfdc8·88652f01·00000000·a8e93001·00000000·.e/.......0.....
1975	··0x015cfdd8·c0e93001·00000000·d0e93001·00000000·..0.......0.....	1975	··0x015cfdd8·c0e93001·00000000·d0e93001·00000000·..0.......0.....
1976	··0x015cfde8·e0e93001·00000000·f8e93001·00000000·..0.......0.....	1976	··0x015cfde8·e0e93001·00000000·f8e93001·00000000·..0.......0.....
1977	··0x015cfdf8·08ea3001·00000000·20ea3001·00000000·..0.....·.0.....	1977	··0x015cfdf8·08ea3001·00000000·20ea3001·00000000·..0.....·.0.....
Offset 2069, 15 lines modified		Offset 2069, 15 lines modified
2069	··0x015d03b8·28fd2d01·00000000·78f83001·00000000·(.-.....x.0.....	2069	··0x015d03b8·28fd2d01·00000000·78f83001·00000000·(.-.....x.0.....
2070	··0x015d03c8·90f83001·00000000·a0f83001·00000000·..0.......0.....	2070	··0x015d03c8·90f83001·00000000·a0f83001·00000000·..0.......0.....
2071	··0x015d03d8·b0f83001·00000000·c0f83001·00000000·..0.......0.....	2071	··0x015d03d8·b0f83001·00000000·c0f83001·00000000·..0.......0.....
2072	··0x015d03e8·c8f83001·00000000·d8f83001·00000000·..0.......0.....	2072	··0x015d03e8·c8f83001·00000000·d8f83001·00000000·..0.......0.....
2073	··0x015d03f8·e8f83001·00000000·f8f83001·00000000·..0.......0.....	2073	··0x015d03f8·e8f83001·00000000·f8f83001·00000000·..0.......0.....
2074	··0x015d0408·10f93001·00000000·28f92c01·00000000·..0.....(.,.....	2074	··0x015d0408·10f93001·00000000·28f92c01·00000000·..0.....(.,.....
2075	··0x015d0418·28f82c01·00000000·18f93001·00000000·(.,.......0.....	2075	··0x015d0418·28f82c01·00000000·18f93001·00000000·(.,.......0.....
2076	··0x015d0428·38f93001·00000000·a0223001·00000000·8.0......"0.....	2076	··0x015d0428·28f93001·00000000·a0223001·00000000·(.0......"0.....
2077	··0x015d0438·a8223001·00000000·50302d01·00000000·."0.....P0-.....	2077	··0x015d0438·a8223001·00000000·50302d01·00000000·."0.....P0-.....
2078	··0x015d0448·98223001·00000000·d0f03001·00000000·."0.......0.....	2078	··0x015d0448·98223001·00000000·d0f03001·00000000·."0.......0.....
2079	··0x015d0458·a0f63001·00000000·b8253001·00000000·..0......%0.....	2079	··0x015d0458·a0f63001·00000000·b8253001·00000000·..0......%0.....
2080	··0x015d0468·28583001·00000000·c8d02d01·00000000·(X0.......-.....	2080	··0x015d0468·28583001·00000000·c8d02d01·00000000·(X0.......-.....
2081	··0x015d0478·e03a3001·00000000·40432d01·00000000·.:0.....@C-.....	2081	··0x015d0478·e03a3001·00000000·40432d01·00000000·.:0.....@C-.....
2082	··0x015d0488·58432d01·00000000·d83a3001·00000000·XC-......:0.....	2082	··0x015d0488·58432d01·00000000·d83a3001·00000000·XC-......:0.....
2083	··0x015d0498·403b3001·00000000·503b3001·00000000·@;0.....P;0.....	2083	··0x015d0498·403b3001·00000000·503b3001·00000000·@;0.....P;0.....


Offset 614, 17 lines modified		Offset 614, 17 lines modified
614	··0x015e2630·00000000·00000000·0a020000·00000000·................	614	··0x015e2630·00000000·00000000·0a020000·00000000·................
615	··0x015e2640·98e73001·00000000·01000000·00000000·..0.............	615	··0x015e2640·98e73001·00000000·01000000·00000000·..0.............
616	··0x015e2650·00000000·00000000·0b020000·00000000·................	616	··0x015e2650·00000000·00000000·0b020000·00000000·................
617	··0x015e2660·90eb3001·00000000·00000000·00000000·..0.............	617	··0x015e2660·90eb3001·00000000·00000000·00000000·..0.............
618	··0x015e2670·00000000·00000000·0c020000·00000000·................	618	··0x015e2670·00000000·00000000·0c020000·00000000·................
619	··0x015e2680·f03c3201·00000000·00000000·00000000·.<2.............	619	··0x015e2680·f03c3201·00000000·00000000·00000000·.<2.............
620	··0x015e2690·00000000·00000000·0d020000·00000000·................	620	··0x015e2690·00000000·00000000·0d020000·00000000·................
621	··0x015e26a0·38f93001·00000000·01000000·00000000·8.0.............	621	··0x015e26a0·28f93001·00000000·01000000·00000000·(.0.............
622	··0x015e26b0·00000000·00000000·0e020000·00000000·................	622	··0x015e26b0·00000000·00000000·0e020000·00000000·................
623	··0x015e26c0·28f93001·00000000·01000000·00000000·(.0.............	623	··0x015e26c0·40f93001·00000000·01000000·00000000·@.0.............
624	··0x015e26d0·00000000·00000000·0f020000·00000000·................	624	··0x015e26d0·00000000·00000000·0f020000·00000000·................
625	··0x015e26e0·30e03001·00000000·00000000·00000000·0.0.............	625	··0x015e26e0·30e03001·00000000·00000000·00000000·0.0.............
626	··0x015e26f0·00000000·00000000·10020000·00000000·................	626	··0x015e26f0·00000000·00000000·10020000·00000000·................
627	··0x015e2700·083d3201·00000000·00000000·00000000·.=2.............	627	··0x015e2700·083d3201·00000000·00000000·00000000·.=2.............
628	··0x015e2710·00000000·00000000·11020000·00000000·................	628	··0x015e2710·00000000·00000000·11020000·00000000·................
629	··0x015e2720·f0e03001·00000000·01000000·00000000·..0.............	629	··0x015e2720·f0e03001·00000000·01000000·00000000·..0.............
630	··0x015e2730·00000000·00000000·12020000·00000000·................	630	··0x015e2730·00000000·00000000·12020000·00000000·................
Offset 1404, 17 lines modified		Offset 1404, 17 lines modified
1404	··0x015e5790·00000000·00000000·95030000·00000000·................	1404	··0x015e5790·00000000·00000000·95030000·00000000·................
1405	··0x015e57a0·084b3201·00000000·00000000·00000000·.K2.............	1405	··0x015e57a0·084b3201·00000000·00000000·00000000·.K2.............
1406	··0x015e57b0·00000000·00000000·96030000·00000000·................	1406	··0x015e57b0·00000000·00000000·96030000·00000000·................
1407	··0x015e57c0·d0e83001·00000000·00000000·00000000·..0.............	1407	··0x015e57c0·d0e83001·00000000·00000000·00000000·..0.............
1408	··0x015e57d0·00000000·00000000·97030000·00000000·................	1408	··0x015e57d0·00000000·00000000·97030000·00000000·................
1409	··0x015e57e0·204b3201·00000000·00000000·00000000··K2.............	1409	··0x015e57e0·204b3201·00000000·00000000·00000000··K2.............
1410	··0x015e57f0·00000000·00000000·98030000·00000000·................	1410	··0x015e57f0·00000000·00000000·98030000·00000000·................
1411	··0x015e5800·e0e83001·00000000·00000000·00000000·..0.............	1411	··0x015e5800·f8e83001·00000000·00000000·00000000·..0.............
1412	··0x015e5810·00000000·00000000·99030000·00000000·................	1412	··0x015e5810·00000000·00000000·99030000·00000000·................
1413	··0x015e5820·f8e83001·00000000·00000000·00000000·..0.............	1413	··0x015e5820·e0e83001·00000000·00000000·00000000·..0.............
1414	··0x015e5830·00000000·00000000·9a030000·00000000·................	1414	··0x015e5830·00000000·00000000·9a030000·00000000·................
1415	··0x015e5840·384b3201·00000000·00000000·00000000·8K2.............	1415	··0x015e5840·384b3201·00000000·00000000·00000000·8K2.............
1416	··0x015e5850·00000000·00000000·9b030000·00000000·................	1416	··0x015e5850·00000000·00000000·9b030000·00000000·................
1417	··0x015e5860·504b3201·00000000·00000000·00000000·PK2.............	1417	··0x015e5860·504b3201·00000000·00000000·00000000·PK2.............
1418	··0x015e5870·00000000·00000000·9c030000·00000000·................	1418	··0x015e5870·00000000·00000000·9c030000·00000000·................
1419	··0x015e5880·10e93001·00000000·00000000·00000000·..0.............	1419	··0x015e5880·10e93001·00000000·00000000·00000000·..0.............
1420	··0x015e5890·00000000·00000000·9d030000·00000000·................	1420	··0x015e5890·00000000·00000000·9d030000·00000000·................


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:·2294	7	Installed-Size:·2294
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:·~~549~~1~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~	12	Build-Ids:·48d5114ce602695e58bb1eb44bf021792d64bece


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/54/91~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~.debug	1	usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.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/54/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2338~~520~~·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/54/91~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2338448·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.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:··········2335~~960~~·(bytes·into·file)	13	··Start·of·section·headers:··········2335888·(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 3798, 15 lines modified		Offset 3798, 15 lines modified
3798	00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························130e210	3798	00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························130e210
3799	00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························130e220	3799	00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························130e220
3800	00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························130e230	3800	00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························130e230
3801	00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························130e240	3801	00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························130e240
3802	00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························130e250	3802	00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························130e250
3803	00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························130e260	3803	00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························130e260
3804	00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························130e270	3804	00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························130e270
3805	00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························130e8f8	3805	00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························130e8e0
3806	00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························130e280	3806	00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························130e280
3807	00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························130e298	3807	00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························130e298
3808	00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························130e2b0	3808	00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························130e2b0
3809	00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························130e2c0	3809	00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························130e2c0
3810	00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························130e2d0	3810	00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························130e2d0
3811	00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························130e2e0	3811	00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························130e2e0
3812	00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························130e2f0	3812	00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························130e2f0
Offset 3874, 15 lines modified		Offset 3874, 15 lines modified
3874	00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························130e700	3874	00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························130e700
3875	00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························130e710	3875	00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························130e710
3876	00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························130e728	3876	00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························130e728
3877	00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························130e740	3877	00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························130e740
3878	00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························130e768	3878	00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························130e768
3879	00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························130e780	3879	00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························130e780
3880	00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························130e798	3880	00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························130e798
3881	00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························130f928	3881	00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························130f940
3882	00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························130e7a8	3882	00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························130e7a8
3883	00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························130e7b8	3883	00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························130e7b8
3884	00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························130e7c8	3884	00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························130e7c8
3885	00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························130e7d8	3885	00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························130e7d8
3886	00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························130e7e8	3886	00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························130e7e8
3887	00000000015cfd28··0000000000000403·R_AARCH64_RELATIVE························130e800	3887	00000000015cfd28··0000000000000403·R_AARCH64_RELATIVE························130e800
3888	00000000015cfd30··0000000000000403·R_AARCH64_RELATIVE························130e818	3888	00000000015cfd30··0000000000000403·R_AARCH64_RELATIVE························130e818
Offset 3892, 15 lines modified		Offset 3892, 15 lines modified
3892	00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························130e868	3892	00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························130e868
3893	00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························130e880	3893	00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························130e880
3894	00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························130e898	3894	00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························130e898
3895	00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························130e8b0	3895	00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························130e8b0
3896	00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························130e8c0	3896	00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························130e8c0
3897	00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························12cf970	3897	00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························12cf970


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·36393239·31383964·33663436·65333734·6929189d3f46e374
3	··0x00000010~~·3664613~~5·33386165·32663435·61343361·6~~da5~~38ae2f~~45a4~~3a	2	··0x00000000·30326464·31663736·63383338·65663837·02dd1f76c838ef87
		3	··0x00000010·63623535·33633036·30633836·64313266·cb553c060c86d12f
4	··0x00000020·34343362·~~3930~~2e64·65627567·00000000·~~443b90~~.debug....	4	··0x00000020·35363465·66652e64·65627567·00000000·564efe.debug....
5	··0x00000030·~~eb197f~~34····························...4	5	··0x00000030·02a65c3f····························..\?


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·65353861·61663735·34363538·34306365·e58aaf75465840ce
3	··0x00000010·33643835·~~6565~~3730·643~~9373~~6·37643030~~·3d~~8~~5ee70d97~~67d00	2	··0x00000000·30663431·38323531·33316366·31363364·0f41825131cf163d
		3	··0x00000010·37316135·30303137·39343230·66336235·71a500179420f3b5
4	··0x00000020·39393266·3~~930~~2e64·65627567·00000000·992f90.debug....	4	··0x00000020·34353239·30652e64·65627567·00000000·45290e.debug....
5	··0x00000030·~~84240fa~~c····························.$..	5	··0x00000030·c90594cc····························....


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·61663939·35353062·63336435·34323434·af99550bc3d54244
3	··0x00000010·65303236·6~~331~~3~~366~~·64323261·64656236·e02~~6c13fd22adeb6~~	2	··0x00000000·36363231·61623239·36336262·66356439·6621ab2963bbf5d9
		3	··0x00000010·61376663·61356436·32613263·61393761·a7fca5d62a2ca97a
4	··0x00000020·653~~13538~~·3~~331~~2e64·65627567·00000000·~~e15831~~.debug....	4	··0x00000020·33336162·36632e64·65627567·00000000·33ab6c.debug....
5	··0x00000030·~~fe740272~~····························.t.r	5	··0x00000030·1cab1cc6····························....


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	There·are·40·section·headers,·starting·at·offset·0x23a4d8:	1	There·are·40·section·headers,·starting·at·offset·0x23a490:

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·0001b9·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b9·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15473e·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15470c·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3c0·0034cf·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af390·0034cf·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2890·00f4af·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2860·00f4af·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d40·02f6d6·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d10·02f6d3·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1418·000803·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f13e8·000803·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1c20·02fcd1·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1bf0·02fcd1·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·2218f8·00a~~518~~·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·2218c8·00a4fa·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22b~~e10~~·007095·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22bdc8·007095·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·232ea8·003438·18·····38·261··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·232e60·003438·18·····38·261··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·2362e0·004049·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·236298·004049·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a~~329~~·0001a9·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a2e1·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:·29·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·29·(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:·0xa3~~8de~~):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa3911):·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:·0x4a627):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a63e):·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:·0xbb~~9f9~~):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbba2c):·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:·0x7d169):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7d180):·long·unsigned·int
28	·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)	28	·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)
29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__int8_t	29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__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:·0x718c9):·signed·char	37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x718e0):·signed·char
38	·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)	38	·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x41949):·__uint8_t	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x4192f):·__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:·40·(DW_TAG_typedef)	44	·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)
45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb450c):·__int16_t	45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb453f):·__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:·0x8b8bc):·short·int	53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b8d3):·short·int
54	·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)	54	·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)
55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9262):·__uint16_t	55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9295):·__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:·40·(DW_TAG_typedef)	60	·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)
61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b~~6f0~~):·__int32_t	61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b707):·__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:·22·(DW_TAG_base_type)	66	·<1><6c>:·Abbrev·Number:·22·(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:·34·(DW_TAG_const_type)	70	·<1><73>:·Abbrev·Number:·34·(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:·40·(DW_TAG_typedef)	72	·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)
73	····<76>···DW_AT_name········:·(strp)·(offset:·0x90148):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x9015f):·__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:·40·(DW_TAG_typedef)	78	·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)
79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d34):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d4b):·__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:·0xfe83):·long·int	87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe83):·long·int
88	·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)	88	·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)
89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68c83):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68c9a):·__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:·40·(DW_TAG_typedef)	94	·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)
95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a239):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a250):·__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:·40·(DW_TAG_typedef)	100	·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)
101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x60210):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x60227):·__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:·40·(DW_TAG_typedef)	106	·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)
107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x80285):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x8029c):·__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:·40·(DW_TAG_typedef)	112	·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)
113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__uint_least16_t	113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__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:·40·(DW_TAG_typedef)	118	·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)
119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57231):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57248):·__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:·40·(DW_TAG_typedef)	124	·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)
125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf7d):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf63):·__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:·40·(DW_TAG_typedef)	130	·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)
131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f198):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f17e):·__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; 37480147/37488254 bytes (99.98%) of diff not shown.


Offset 1814, 16 lines modified		Offset 1814, 16 lines modified
1814	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1814	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1815	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1815	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1816	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1816	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1817	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1817	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	1818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1823	··Offset:······················0x1e41	1823	··Offset:······················0x1e41
1824	··Version:·····················5	1824	··Version:·····················5
1825	··Offset·size:·················4	1825	··Offset·size:·················4

1826	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1826	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1827	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1827	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14312, 16 lines modified		Offset 14312, 16 lines modified
14312	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	14312	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14313	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	14313	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14314	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	14314	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14315	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14315	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14316	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14316	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14317	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14317	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14318	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14318	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14319	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	14319	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14320	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	14320	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

14321	··Offset:······················0x134da	14321	··Offset:······················0x134da
14322	··Version:·····················5	14322	··Version:·····················5
14323	··Offset·size:·················4	14323	··Offset·size:·················4

14324	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU	14324	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14325	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE	14325	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE

+GCC:·(Debian·14.2.0-19)·14.2.0
+D$&sEG\i
+%\/0ufnQ!
+$Bdtbgv&B
+sqWpane!
+S|}>cVP!.UWC
+B|+TALih
+Jm=X3B38
+fg[odR!f47
+%>h"Vo*~
+kE~^t`13a
+Fu[*ux,x&[
+?({PDQpyX
+^md@$-P0
+/pD*tMh?
+@9,qr!L/
+S]'Y=(ar
+_<l^9..G
+I8"IrI}x"
+'JGai8FbL
+R<!!u|dC
+n-PAAu^p
+Ph6'SKouCmC
+Eb·BLRV
+w»    {.0-
+/ZQ^1qr-
+'c]_.&~%L?V"
+Y»      dc?uCmm
+[·n+#I\l7
+f"&C0V>W
+injFwT@Em
+H`j1#a74
+@S6.0.ml
+{IS}og+jt
+Gh{!wr=<Rk
+:_ba:>5rd7=
+#/A9N~cT
+K=LszxfT<L
+RcrG5txJ
+DoGb4F^5T
+<x)Tx>,~UP)
+lW|:2XeW
+XTc[DBS"
+bOK+xQ!:V*Q
+C"DVOvA/"
+\*DBg#l.
+!n#!fGY\
+gp7$Bx.VA
+!?u"Da#=
+»       [5`XZo)
+w{77Wr)
+XM+Tb35m
+?tOk*0q0,S
+MbT]b)Xa
+C=2$g'[p
+Kvh.mgFQ
+.G/*G1[G
+_q.vjMx9D{0
+v&_B}0v*·
+sS%;Z[jc)
+.RCXJS:
+w-llF3I+
+LxJ#+Q~x
+vJ)Af;[ke
+<=c<%)S7
+RCeW?·B9Q
+%:X!@qRJ
+pJlR+LnU
+zgysv_F0
+J#Yx.(@e*
+v·Fuj;>o'6
+zFV9Qu&i
+<URn»   1S%
+I»      eW[q3_Oa
+\euyG:QL
+p^!Gw·jX
+>|J66VJudH+
+<otEOSmK
+QYQ-?^+e_
+'*lM4zS%[
+OUNqo"DD6
+d2d·E»   V{l
+[m~gp:+:
+=meb?yt1L/V
+cBtc12`o
+y'`-Q*Zdi
+*U8*ueR
+`nfH%v37'
+&3WWBIIf
+"k\"Wg&n&#
+vc,/9.!7
+zwk)BK~k_
+=H·t-.X+ASs
+MRl6y9lt
+-gpx?l#\*7LY
+JTF5-=Eu
+)|\BS-hs
+wKBk*7y·e
+E=·v`6eH
+;T>3z+wa
+OeSV8SgJ[
+!++2!&R
+<>byF8N\
+A\fi#»  o4eR
+bS-w)-Zj
+O,wj<^#~
+bm]`L.s=
+EcNqIBL
+M/yenu2·V
+ms\hf>-Vg»
+aE!e8BjI
+.,vCIe8]j
+E|\j[3M+
+b_;!fuBls
+YGz@J)0·
+(4\Fym7ir
+#eRlJ(M3
+O9IcNzLu
+]R0KWg@:
+w>·W<P}U
+a@nVP)2·"7h
+H1K4h%ZR
+ywEg?~"R.
+|lywm2z58
+;M(}1XpJ
+Z\d8;"JU
+pC+s·?GTM^


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcvc5-1-dbgsym	1	Package:·libcvc5-1-dbgsym
2	Source:·cvc5	2	Source:·cvc5
3	Version:·1.1.2-2	3	Version:·1.1.2-2
4	Auto-Built-Package:·debug-symbols	4	Auto-Built-Package:·debug-symbols
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:·179045	7	Installed-Size:·179047
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:·3469291~~89d3f46~~e~~3746da~~53~~8ae2f45a43a443b90~~	13	Build-Ids:·b602dd1f76c838ef87cb553c060c86d12f564efe


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/34/~~6929~~1~~89d3f46~~e~~3746da~~53~~8ae2f45a43a443b90~~.debug	1	usr/lib/debug/.build-id/b6/02dd1f76c838ef87cb553c060c86d12f564efe.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:·16·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·16·(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:·0x16~~3eb~~):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x16405):·long·int
16	·<1><1c>:·Abbrev·Number:·16·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·16·(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:·0xecba):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xecba):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·16·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·16·(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:·0x1b200):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1b200):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·16·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·16·(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:·0x12b23):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x12b3d):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·16·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·16·(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:·0xcad9):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xcad9):·unsigned·int
32	·<1><38>:·Abbrev·Number:·16·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·16·(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:·16·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·16·(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:·0x204dd):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x204dd):·char32_t
104	·<1><bf>:·Abbrev·Number:·16·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·16·(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:·0x14485):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x1449f):·__int128
108	·<1><c6>:·Abbrev·Number:·16·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·16·(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:·0x23da5):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x23da5):·__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:········0x1006·(32-bit)	114	···Length:········0x1006·(32-bit)
Offset 807, 29 lines modified		Offset 807, 29 lines modified
807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f6d3):·_IO_read_end	807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f6d3):·_IO_read_end
808	····<45e>···DW_AT_decl_file···:·(data1)·68	808	····<45e>···DW_AT_decl_file···:·(data1)·68
809	····<45f>···DW_AT_decl_line···:·(data1)·56	809	····<45f>···DW_AT_decl_line···:·(data1)·56
810	····<460>···DW_AT_decl_column·:·(data1)·9	810	····<460>···DW_AT_decl_column·:·(data1)·9
811	····<461>···DW_AT_type········:·(ref_udata)·<0x13d>	811	····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812	····<462>···DW_AT_data_member_location:·(data1)·16	812	····<462>···DW_AT_data_member_location:·(data1)·16
813	·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)	813	·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814	····<464>···DW_AT_name········:·(strp)·(offset:·0x10886):·_IO_read_base	814	····<464>···DW_AT_name········:·(strp)·(offset:·0x108a0):·_IO_read_base
815	····<468>···DW_AT_decl_file···:·(data1)·68	815	····<468>···DW_AT_decl_file···:·(data1)·68
816	····<469>···DW_AT_decl_line···:·(data1)·57	816	····<469>···DW_AT_decl_line···:·(data1)·57
817	····<46a>···DW_AT_decl_column·:·(data1)·9	817	····<46a>···DW_AT_decl_column·:·(data1)·9
818	····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>	818	····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819	····<46c>···DW_AT_data_member_location:·(data1)·24	819	····<46c>···DW_AT_data_member_location:·(data1)·24
820	·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)	820	·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821	····<46e>···DW_AT_name········:·(strp)·(offset:·0x5249):·_IO_write_base	821	····<46e>···DW_AT_name········:·(strp)·(offset:·0x5249):·_IO_write_base
822	····<472>···DW_AT_decl_file···:·(data1)·68	822	····<472>···DW_AT_decl_file···:·(data1)·68
823	····<473>···DW_AT_decl_line···:·(data1)·58	823	····<473>···DW_AT_decl_line···:·(data1)·58
824	····<474>···DW_AT_decl_column·:·(data1)·9	824	····<474>···DW_AT_decl_column·:·(data1)·9
825	····<475>···DW_AT_type········:·(ref_udata)·<0x13d>	825	····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826	····<476>···DW_AT_data_member_location:·(data1)·32	826	····<476>···DW_AT_data_member_location:·(data1)·32
827	·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)	827	·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828	····<478>···DW_AT_name········:·(strp)·(offset:·0xfeb5):·_IO_write_ptr	828	····<478>···DW_AT_name········:·(strp)·(offset:·0xfecf):·_IO_write_ptr
829	····<47c>···DW_AT_decl_file···:·(data1)·68	829	····<47c>···DW_AT_decl_file···:·(data1)·68
830	····<47d>···DW_AT_decl_line···:·(data1)·59	830	····<47d>···DW_AT_decl_line···:·(data1)·59
831	····<47e>···DW_AT_decl_column·:·(data1)·9	831	····<47e>···DW_AT_decl_column·:·(data1)·9
832	····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>	832	····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833	····<480>···DW_AT_data_member_location:·(data1)·40	833	····<480>···DW_AT_data_member_location:·(data1)·40
834	·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)	834	·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835	····<482>···DW_AT_name········:·(strp)·(offset:·0xe58a):·_IO_write_end	835	····<482>···DW_AT_name········:·(strp)·(offset:·0xe58a):·_IO_write_end
Offset 842, 36 lines modified		Offset 842, 36 lines modified
842	····<48c>···DW_AT_name········:·(strp)·(offset:·0xb7cb):·_IO_buf_base	842	····<48c>···DW_AT_name········:·(strp)·(offset:·0xb7cb):·_IO_buf_base
843	····<490>···DW_AT_decl_file···:·(data1)·68	843	····<490>···DW_AT_decl_file···:·(data1)·68
844	····<491>···DW_AT_decl_line···:·(data1)·61	844	····<491>···DW_AT_decl_line···:·(data1)·61
845	····<492>···DW_AT_decl_column·:·(data1)·9	845	····<492>···DW_AT_decl_column·:·(data1)·9
846	····<493>···DW_AT_type········:·(ref_udata)·<0x13d>	846	····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847	····<494>···DW_AT_data_member_location:·(data1)·56	847	····<494>···DW_AT_data_member_location:·(data1)·56
848	·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)	848	·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849	····<496>···DW_AT_name········:·(strp)·(offset:·0x157b9):·_IO_buf_end	849	····<496>···DW_AT_name········:·(strp)·(offset:·0x157d3):·_IO_buf_end
850	····<49a>···DW_AT_decl_file···:·(data1)·68	850	····<49a>···DW_AT_decl_file···:·(data1)·68
851	····<49b>···DW_AT_decl_line···:·(data1)·62	851	····<49b>···DW_AT_decl_line···:·(data1)·62
852	····<49c>···DW_AT_decl_column·:·(data1)·9	852	····<49c>···DW_AT_decl_column·:·(data1)·9
853	····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>	853	····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854	····<49e>···DW_AT_data_member_location:·(data1)·64	854	····<49e>···DW_AT_data_member_location:·(data1)·64
855	·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)	855	·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856	····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe5fd):·_IO_save_base	856	····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe5fd):·_IO_save_base
857	····<4a4>···DW_AT_decl_file···:·(data1)·68	857	····<4a4>···DW_AT_decl_file···:·(data1)·68
858	····<4a5>···DW_AT_decl_line···:·(data1)·65	858	····<4a5>···DW_AT_decl_line···:·(data1)·65
859	····<4a6>···DW_AT_decl_column·:·(data1)·9	859	····<4a6>···DW_AT_decl_column·:·(data1)·9
860	····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>	860	····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861	····<4a8>···DW_AT_data_member_location:·(data1)·72	861	····<4a8>···DW_AT_data_member_location:·(data1)·72
862	·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)	862	·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863	····<4aa>···DW_AT_name········:·(strp)·(offset:·0x1120d):·_IO_backup_base	863	····<4aa>···DW_AT_name········:·(strp)·(offset:·0x11227):·_IO_backup_base
864	····<4ae>···DW_AT_decl_file···:·(data1)·68	864	····<4ae>···DW_AT_decl_file···:·(data1)·68
865	····<4af>···DW_AT_decl_line···:·(data1)·66	865	····<4af>···DW_AT_decl_line···:·(data1)·66
866	····<4b0>···DW_AT_decl_column·:·(data1)·9	866	····<4b0>···DW_AT_decl_column·:·(data1)·9
867	····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>	867	····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868	····<4b2>···DW_AT_data_member_location:·(data1)·80	868	····<4b2>···DW_AT_data_member_location:·(data1)·80
869	·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)	869	·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870	····<4b4>···DW_AT_name········:·(strp)·(offset:·0x19~~0ef~~):·_IO_save_end	870	····<4b4>···DW_AT_name········:·(strp)·(offset:·0x19109):·_IO_save_end
871	····<4b8>···DW_AT_decl_file···:·(data1)·68	871	····<4b8>···DW_AT_decl_file···:·(data1)·68
872	····<4b9>···DW_AT_decl_line···:·(data1)·67	872	····<4b9>···DW_AT_decl_line···:·(data1)·67
873	····<4ba>···DW_AT_decl_column·:·(data1)·9	873	····<4ba>···DW_AT_decl_column·:·(data1)·9
874	····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>	874	····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875	····<4bc>···DW_AT_data_member_location:·(data1)·88	875	····<4bc>···DW_AT_data_member_location:·(data1)·88
876	·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)	876	·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877	····<4be>···DW_AT_name········:·(strp)·(offset:·0x4c67):·_markers	877	····<4be>···DW_AT_name········:·(strp)·(offset:·0x4c67):·_markers
Offset 884, 58 lines modified		Offset 884, 58 lines modified
884	····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83b40c):·_chain	884	····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83b40c):·_chain
885	····<4cd>···DW_AT_decl_file···:·(data1)·68	885	····<4cd>···DW_AT_decl_file···:·(data1)·68
886	····<4ce>···DW_AT_decl_line···:·(data1)·71	886	····<4ce>···DW_AT_decl_line···:·(data1)·71
887	····<4cf>···DW_AT_decl_column·:·(data1)·20	887	····<4cf>···DW_AT_decl_column·:·(data1)·20
888	····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>	888	····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889	····<4d2>···DW_AT_data_member_location:·(data1)·104	889	····<4d2>···DW_AT_data_member_location:·(data1)·104
890	·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)	890	·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891	····<4d4>···DW_AT_name········:·(strp)·(offset:·0x1a3db):·_fileno	891	····<4d4>···DW_AT_name········:·(strp)·(offset:·0x1a3f5):·_fileno
892	····<4d8>···DW_AT_decl_file···:·(data1)·68	892	····<4d8>···DW_AT_decl_file···:·(data1)·68
893	····<4d9>···DW_AT_decl_line···:·(data1)·73	893	····<4d9>···DW_AT_decl_line···:·(data1)·73
894	····<4da>···DW_AT_decl_column·:·(data1)·7	894	····<4da>···DW_AT_decl_column·:·(data1)·7
895	····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int	895	····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896	····<4df>···DW_AT_data_member_location:·(data1)·112	896	····<4df>···DW_AT_data_member_location:·(data1)·112
897	·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)	897	·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898	····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c6fd):·_flags2	898	····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c6fd):·_flags2
899	····<4e5>···DW_AT_decl_file···:·(data1)·68	899	····<4e5>···DW_AT_decl_file···:·(data1)·68
Max diff block lines reached; 25377229/25384335 bytes (99.97%) of diff not shown.


Offset 1641, 16 lines modified		Offset 1641, 16 lines modified
1641	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1641	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1642	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1642	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1643	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1643	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1644	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1644	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1645	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1645	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1646	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1646	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1647	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1647	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1648	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1648	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1649	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1649	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1650	··Offset:······················0x1bb7	1650	··Offset:······················0x1bb7
1651	··Version:·····················5	1651	··Version:·····················5
1652	··Offset·size:·················4	1652	··Offset·size:·················4

1653	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1653	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1654	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1654	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52818, 16 lines modified		Offset 52818, 16 lines modified
52818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	52818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	52819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	52820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52824	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52824	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52825	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	52825	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52826	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	52826	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

52827	··Offset:······················0x493fd	52827	··Offset:······················0x493fd
52828	··Version:·····················5	52828	··Version:·····················5
52829	··Offset·size:·················4	52829	··Offset·size:·················4

52830	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52830	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52831	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52831	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1337382, 17 lines modified		Offset 1337382, 17 lines modified
1337382	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·	1337382	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1337383	·DW_MACRO_start_file·-·lineno:·24·filenum:·42	1337383	·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1337384	·DW_MACRO_end_file	1337384	·DW_MACRO_end_file
1337385	·DW_MACRO_import·-·offset·:·0x524ba	1337385	·DW_MACRO_import·-·offset·:·0x524ba
1337386	·DW_MACRO_end_file	1337386	·DW_MACRO_end_file
1337387	·DW_MACRO_start_file·-·lineno:·49·filenum:·136	1337387	·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1337388	·DW_MACRO_end_file	1337388	·DW_MACRO_end_file
1337389	·DW_MACRO_start_file·-·lineno:·52·filenum:·31	1337389	·DW_MACRO_start_file·-·lineno:·50·filenum:·31
1337390	·DW_MACRO_end_file	1337390	·DW_MACRO_end_file
1337391	·DW_MACRO_start_file·-·lineno:·53·filenum:·112	1337391	·DW_MACRO_start_file·-·lineno:·51·filenum:·112
1337392	·DW_MACRO_end_file	1337392	·DW_MACRO_end_file
1337393	·DW_MACRO_start_file·-·lineno:·54·filenum:·302	1337393	·DW_MACRO_start_file·-·lineno:·54·filenum:·302
1337394	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1337394	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1337395	·DW_MACRO_start_file·-·lineno:·41·filenum:·14	1337395	·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1337396	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1337396	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1337397	·DW_MACRO_start_file·-·lineno:·33·filenum:·15	1337397	·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1337398	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1337398	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1


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

4194297	····00bcc3b4·v000000000000000·v000000000000004·views·at·00bcc3b2·for:	4194297	····00bcc3b4·v000000000000000·v000000000000004·views·at·00bcc3b2·for:
4194298	·············0000000000458840·0000000000458840·(DW_OP_addr:·12d5de0;·DW_OP_stack_value)	4194298	·············0000000000458840·0000000000458840·(DW_OP_addr:·12d5de0;·DW_OP_stack_value)
4194299	····00bcc3c9·<End·of·list>	4194299	····00bcc3c9·<End·of·list>

4194300	····00bcc3ca·v000000000000000·v000000000000004·location·view·pair	4194300	····00bcc3ca·v000000000000000·v000000000000004·location·view·pair

4194301	[·Too·much·input·for·diff·(SHA256:·52eef832~~dccf3e5~~d621dde49fe465760bb575394~~0ac0a~~01~~fec81e~~60~~855a3b896~~)·]	4194301	[·Too·much·input·for·diff·(SHA256:·c8563ea208f20e0041add4d211dc3e42e165edbaf7f31919d01665cba60760f0)·]

+GCC:·(Debian·14.2.0-19)·14.2.0
+o69nCi_,
+»       GUW~i{^E
+_smY_kb$
+U_N?pZezmAF
+eC)98j6@#
+·+\6P~~
+UMUYBPsUsq
+n`i@|*cyZ
+A6Os!Ahv;p
+&q0Q1K4O
+AU.Rn>S»V*C
+`=·iY(s@R
+kC)>XeS»
+A*E/jnk\*
+AC$x7J)+A
+aqEVTv7,>
+IPhRK4y%
+lznh?v}k
+-L`ll36J
+s*pmh)hP
+{`k,-·,CBp·-
+d<?LhKlX
+xBgIs%d{C
+M\d$-!""
+#W-7-Z>}D
+L+[>»   /lx»j
+iu»     Zp~4W?U
+-i$n!nKS
+Y3p·7C5XaY
+jp}pw=sjP
+<!_!\NC%
+SEMz"Lv7
+~L.T&5/
+hqyQyx~~T2
+e7h\]?d/
+d/eD}sb+
+=:/PGf!DS
+h<'"^Fsj
+tq(}.(c<q,
+Xn?K_uE
+pAF#XWKht
+sye=,$d/9BL
+u'nc~'n8
+~_ciuV+h,75
+OmJ4F[E7L
+olG?MG?s
+#4O#4$5Gjr"
+I2b?G_·&
+HSIR{·I~
+C1lbo\4
+H,a\e8d$W
+|sUXM7!o
+`Zto"CG>
+eMd»    =Ih!
+?g^,~d^[2w;
+d':Drj» Q
+}TcRNd<z
+|FAY;h5Q
+E(mKk#rJ7
+»       6wNitfQ
+OJpB»   srk'b
+sB»     srk'by
+wB»     srk'b9
+OtB»    srk'b
+)mSpJ3ch
+)]%rJK5p
+hHl0Dh0(
++|y+*yzMvX1y
+%r:/8$6@PtX
+p?b%6w#@!
+(c_jn=1C
+LhXWqAY!
+»       X7;=&P'
+OM]9Co-mw
+lE:gWf+:
+y[2P*'8k
+N[k?-OG
+tND52tr(
+HlD^%h#MS·
+"wj9B?-`V
+cv.|KwOG
+POD8AWzJ
+azm1U[Ai<4·
+["7|E·1n
+^L\|/n\!
+P5@u]!EV
+Z4]N;QHN
+CQU3r;5m
+C:|A:+rU.b
+s6»     |2_D6
+FP3yRiiR
+=68n!{MGLJ
+SJu`ut{o&>b
+{2Ux&#wS
+pN·Y+L2[E
+$W[A6kW-e
+,29{Z6Z9;
+t,NL~:1A
+vf»     sISme
++Mt]Y+*y
+`Wge#ZYg`
+n;»     <HnIbW
+BN.3\\"$
+Zpmd9hTfIt
+t#H;D3%wd
+f[h[fc#6*
+[btlJ~T/D;%o
+sQ9_*jq(2
+!1].G@i[
+N7-4)jUt
+[5<B}5<B
+fXg\h^i.
+`Zm4-7dn7
+tLQ/zR!7?
+,QZXX{~V"Wcc
+FdVQ2yR»
+@tgE=s[n
+kh$gLGv&
+eL+;_M'
+-scAsX;k
+"T]_1]{H
+}6x·mA;y(
+F9j>9j>>
+e"odml+`
+hw+t>KB
+d»      t(Z39i


Offset 263, 32 lines modified		Offset 263, 32 lines modified
263	··[··256d]··find_first_of	263	··[··256d]··find_first_of
264	··[··257b]··_M_guarded	264	··[··257b]··_M_guarded
265	··[··2586]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8	265	··[··2586]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
266	··[··25a6]··wcstombs	266	··[··25a6]··wcstombs
267	··[··25af]··_S_noreplace	267	··[··25af]··_S_noreplace
268	··[··25bc]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))	268	··[··25bc]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
269	··[··25ef]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name	269	··[··25ef]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
270	··[··2616]··DEB_BUILD_DATE·"2024-03-18"
271	··[··2632]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32	270	··[··2616]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32
272	··[··2674]··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)	271	··[··2658]··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)
273	··[··27ac]··_GLIBCXX_HAVE_WCHAR_H·1	272	··[··2790]··_GLIBCXX_HAVE_WCHAR_H·1
274	··[··27c4]··__stub___compat_uselib·	273	··[··27a8]··__stub___compat_uselib·
275	··[··27dc]··__ARM_FEATURE_BTI	274	··[··27c0]··__ARM_FEATURE_BTI
276	··[··27ee]··CVC5_PROOF_FORMAT_ALF	275	··[··27d2]··CVC5_PROOF_FORMAT_ALF
277	··[··2~~804~~]··__glibcxx_requires_irreflexive(_First,_Last)·	276	··[··27e8]··__glibcxx_requires_irreflexive(_First,_Last)·
278	··[··2832]··__cpp_initializer_lists·200806L	277	··[··2816]··__cpp_initializer_lists·200806L
279	··[··2852]··__glibcxx_want_map_try_emplace·	278	··[··2836]··__glibcxx_want_map_try_emplace·
280	··[··2872]··__glibcxx_map_try_emplace·201411L	279	··[··2856]··__glibcxx_map_try_emplace·201411L
281	··[··2894]··__ARM_NEON·1	280	··[··2878]··__ARM_NEON·1
282	··[··28a1]··CVC5_KIND_BAG_UNION_DISJOINT	281	··[··2885]··CVC5_KIND_BAG_UNION_DISJOINT
283	··[··28be]··__FLT16_MAX_10_EXP__·4	282	··[··28a2]··__FLT16_MAX_10_EXP__·4
284	··[··28d5]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128	283	··[··28b9]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128
285	··[··2~~91b~~]··__glibcxx_want_constexpr_memory·	284	··[··28ff]··__glibcxx_want_constexpr_memory·
286	··[··293c]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv	285	··[··2920]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
287	··[··2981]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv	286	··[··2965]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
		287	··[··29af]··DEB_BUILD_DATE·"2024-03-19"
288	··[··29cb]··__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))))	288	··[··29cb]··__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))))
289	··[··2ad4]··_GLIBCXX_USE_NANOSLEEP·1	289	··[··2ad4]··_GLIBCXX_USE_NANOSLEEP·1
290	··[··2aed]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_	290	··[··2aed]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
291	··[··2b2b]··__FLT32_HAS_INFINITY__·1	291	··[··2b2b]··__FLT32_HAS_INFINITY__·1
292	··[··2b44]··__swappable_with_details	292	··[··2b44]··__swappable_with_details
293	··[··2b5d]··tolower	293	··[··2b5d]··tolower
294	··[··2b65]··__TIMESIZE·64	294	··[··2b65]··__TIMESIZE·64
Offset 1805, 1304 lines modified		Offset 1805, 1304 lines modified
1805	··[··f3fb]··EPERM·1	1805	··[··f3fb]··EPERM·1
1806	··[··f403]··__glibcxx_want_shared_timed_mutex	1806	··[··f403]··__glibcxx_want_shared_timed_mutex
1807	··[··f425]··__ARM_FEATURE_SME2	1807	··[··f425]··__ARM_FEATURE_SME2
1808	··[··f438]··CVC5_KIND_NULLABLE_LIFT	1808	··[··f438]··CVC5_KIND_NULLABLE_LIFT
1809	··[··f450]··_VA_LIST_·	1809	··[··f450]··_VA_LIST_·
1810	··[··f45b]··__LC_TELEPHONE·10	1810	··[··f45b]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1290 lines added, 1290 lines removed)
1811	··[··f46d]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_	1811	··[··f46d]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1812	··[··f4a8]··~~_ZNSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEE5eras~~eE~~N9__gnu_c~~xx1~~7__normal_iteratorIPKcS4_EE~~	1812	··[··f4a8]··DEB_BUILD_TIME·"14:06:23"
1813	··[··f~~50c~~]··~~CPU~~_~~COUNT(cpu~~set~~p)·__CPU~~_~~COUNT_~~S~~·(siz~~e~~of·(cp~~u_~~set~~_~~t),·cpus~~etp)	1813	··[··f4c2]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1814	··[··f54b]··_ZN9__~~gnu~~_~~cxx21~~__default_~~lock_~~p~~olicyE~~	1814	··[··f526]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1815	··[··f571]··msg_prefix	1815	··[··f565]··_ZN9__gnu_cxx21__default_lock_policyE
1816	··[··f57c]··~~INT_LEAST64_MIN~~·~~(-__INT64~~_~~C(9223372036854775807)-1)~~	1816	··[··f58b]··msg_prefix
1817	··[··f5b0]··_ZNSiC4Ev	1817	··[··f596]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1818	··[··f5ba]··_~~GLIBCXX~~_USE_SC~~HED_Y~~IE~~LD·~~1	1818	··[··f5ca]··_ZNSiC4Ev
1819	··[··f5d5]··__EXCE~~PTION_H~~·1	1819	··[··f5d4]··_GLIBCXX_USE_SCHED_YIELD·1
1820	··[··f5e5]··~~INT~~_~~LEAST64~~_MAX~~·(__~~INT64_~~C(9223372036854775807))~~	1820	··[··f5ef]··__EXCEPTION_H·1
1821	··[··f~~616~~]··~~_ZSt8distanceIPKc~~ENSt1~~5iterator~~_~~traitsI~~T~~_E15difference_typeES3_S3_~~	1821	··[··f5ff]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1822	··[··f659]··_~~_gl~~ibcxx_want_formatters	1822	··[··f630]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1823	··[··f673]··__~~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;·}))~~	1823	··[··f673]··__glibcxx_want_formatters
1824	··[··f~~739~~]··__glibcxx_~~wan~~t_quoted_string_io	1824	··[··f68d]··__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;·}))
1825	··[··f759]··_~~ZNSaI~~cEa~~SERKS~~_	1825	··[··f753]··__glibcxx_want_quoted_string_io
1826	··[··f769]··~~CVC5~~_KIN~~D_FLO~~ATING~~POINT_I~~S_~~NAN~~	1826	··[··f773]··_ZNSaIcEaSERKS_
1827	··[··f788]··_~~_ARM~~_FEAT~~URE_U~~NALIG~~NED·1~~	1827	··[··f783]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1828	··[··f7a2]··_~~ZNKSt17basic_string~~_~~viewIcSt11char~~_~~traitsIc~~EE1~~6find~~_~~last_not_of~~ES~~2_m~~	1828	··[··f7a2]··__ARM_FEATURE_UNALIGNED·1
1829	··[··f7e8]··__~~WORD~~S~~IZE~~_TIME64_~~COMPAT3~~2·0	1829	··[··f7bc]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m
1830	··[··f805]··_Z~~NSt9exceptionD0Ev~~	1830	··[··f802]··__WORDSIZE_TIME64_COMPAT32·0
1831	··[··f819]··~~CVC5~~_KIND~~_BITVECTOR_SMULO~~	1831	··[··f81f]··_ZNSt9exceptionD0Ev
1832	··[··f833]··_~~GLIBCXX20~~_~~DEPR~~EC~~ATED·~~	1832	··[··f833]··CVC5_KIND_BITVECTOR_SMULO
1833	··[··f84a]··~~CVC5_KIND~~_SEQ~~_UPD~~ATE	1833	··[··f84d]··_GLIBCXX20_DEPRECATED·
1834	··[··f85f]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~S~~aIcE~~E~~6append~~E~~RKS4_mm~~	1834	··[··f864]··CVC5_KIND_SEQ_UPDATE
1835	··[··f8a4]··~~MOD~~_~~MAX~~E~~RROR·ADJ_MAX~~ER~~ROR~~	1835	··[··f879]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm
1836	··[··f8be]··~~_GLIBC~~X~~X_PA~~R~~SE_NU~~MBERS_~~H·1~~	1836	··[··f8be]··MOD_MAXERROR·ADJ_MAXERROR
1837	··[··f8d9]··_GLIBCXX_CHARCONV_H·1	1837	··[··f8d8]··_GLIBCXX_PARSE_NUMBERS_H·1
1838	··[··f8ef]··__GLIBC~~_USE_C23_STRTOL~~	1838	··[··f8f3]··_GLIBCXX_CHARCONV_H·1
1839	··[··f906]··_GLIBCXX_MOVE_BAC~~KWAR~~D3~~(_Tp,_Up,_Vp)·std::move~~_~~backward(~~_T~~p,·_Up,·_Vp)~~	1839	··[··f909]··__GLIBC_USE_C23_STRTOL
1840	··[··f94d]··CVC5_~~KIND~~_~~STRING~~_TO_~~CODE~~	1840	··[··f920]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1841	··[··f966]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~SaI~~cEE12~~_~~All~~oc_~~hider~~C~~4EPcRKS3_~~	1841	··[··f967]··CVC5_KIND_STRING_TO_CODE
1842	··[··f9b4]··~~CVC5~~_~~LEARNED~~_LIT_~~TYP~~E~~_PR~~E~~PROCESS~~_~~SOLV~~ED	1842	··[··f980]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1843	··[··f9dc]··_~~GLIBCXX~~_~~HAV~~E_~~COM~~PLEX_~~H·1~~	1843	··[··f9ce]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1844	··[··f9f6]··~~7lldiv~~_t	1844	··[··f9f6]··_GLIBCXX_HAVE_COMPLEX_H·1
1845	··[··f~~9ff~~]··~~_ZNSt~~7~~__cxx1112basic_stringIcSt11char_tra~~i~~tsIcESaIcEE9_~~M_~~muta~~t~~eEmmPKcm~~	1845	··[··fa10]··7lldiv_t
1846	··[··fa46]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~5rfind~~EPKcmm	1846	··[··fa19]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm
1847	··[··fa89]··_ZN~~St6localeC4ERKS_R~~KNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi	1847	··[··fa60]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm
1848	··[··fad4]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~7replace~~E~~mmPKc~~m	1848	··[··faa3]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1849	··[··f~~b19~~]··__EXCE~~PTIONS·1~~	1849	··[··faee]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm
1850	··[··fb28]··_~~GLIBCXX~~_A~~LWAYS_~~INLIN~~E·inlin~~e·~~__attribute__((__always_inline__)~~)	1850	··[··fb33]··__EXCEPTIONS·1
1851	··[··fb69]··_~~ZNKSt7~~_~~_cxx1112basic_str~~in~~gIcS~~t~~11char_traitsIcESaIcEE5cr~~e~~ndEv~~	1851	··[··fb42]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1852	··[··fba8]··~~CVC5~~_RM_~~ROUND~~_~~TOWARD_PO~~SI~~TIV~~E	1852	··[··fb83]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1853	··[··fbc6]··CVC5_~~LEA~~RNED_LIT~~_TYPE~~_~~INTERNAL~~	1853	··[··fbc2]··CVC5_RM_ROUND_TOWARD_POSITIVE
1854	··[··fbe5]··~~__H~~AV~~E_F~~LOA~~T128_~~UN~~LIK~~E_LDBL·(__~~HAV~~E_~~DIST~~INCT_~~FLO~~A~~T128·&&·__LDB~~L~~_MANT_DIG__·!=·113)~~	1854	··[··fbe0]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1855	··[··f~~c38~~]··__~~glibcxx~~_~~unordered~~_~~map~~_~~try~~_~~emplace~~·~~2014~~11L	1855	··[··fbff]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1856	··[··fc64]··_____fpos_t_de~~fined·~~1	1856	··[··fc52]··__glibcxx_unordered_map_try_emplace·201411L
1857	··[··fc7a]··~~CVC5~~_K~~IND~~_~~INST~~_~~ADD_TO_POOL~~	1857	··[··fc7e]··_____fpos_t_defined·1
1858	··[··fc95]··~~_GLIBCXX~~_~~HAVE~~_ARPA_I~~NET_H·1~~	1858	··[··fc94]··CVC5_KIND_INST_ADD_TO_POOL
1859	··[··fcb1]··ENAVAI~~L·119~~	1859	··[··fcaf]··_GLIBCXX_HAVE_ARPA_INET_H·1
1860	··[··fcbd]··~~_GLIBCXX_STD~~I~~O_SEEK_END·2~~	1860	··[··fccb]··ENAVAIL·119
1861	··[··fcd7]··__USE_UNI~~X98~~	1861	··[··fcd7]··_GLIBCXX_STDIO_SEEK_END·2
1862	··[··fce4]··__~~RED~~IRE~~CT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(_~~_ASMN~~AME·(#alias))~~	1862	··[··fcf1]··__USE_UNIX98
1863	··[··f~~d39~~]··_GLIBCXX_~~PACKAGE~~_~~BUGR~~E~~PORT·""~~	1863	··[··fcfe]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1864	··[··fd57]··~~__glibcxx_want~~_~~adaptor~~_i~~terator~~_~~pair_constructor~~	1864	··[··fd53]··_GLIBCXX_PACKAGE_BUGREPORT·""
1865	··[··fd88]··~~_ZN9~~__g~~nu_~~cxx17_~~_normal~~_iterator~~IPcNSt7_~~_~~cxx1112~~basi~~c_st~~r~~ingIcSt1~~1ch~~ar_~~tr~~aitsIcESa~~Ic~~EEEEpLEl~~	1865	··[··fd71]··__glibcxx_want_adaptor_iterator_pair_constructor
1866	··[··fde5]··__stub_revo~~ke·~~	1866	··[··fda2]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl
1867	··[··fdf4]··_~~ZNKSt17basic~~_s~~tring_viewIcS~~t~~11ch~~ar_tr~~aitsIcEE~~4co~~pyEPcmm~~	1867	··[··fdff]··__stub_revoke·
1868	··[··fe2d]··wcsncmp	1868	··[··fe0e]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm
1869	··[··fe35]··~~STA_CLOCKERR·0x1000~~	1869	··[··fe47]··wcsncmp
1870	··[··fe49]··~~UINT~~PTR_W~~IDTH·__WORDSIZE~~	1870	··[··fe4f]··STA_CLOCKERR·0x1000
1871	··[··fe62]··~~__FLT16~~_~~HAS_INFINITY__·1~~	1871	··[··fe63]··UINTPTR_WIDTH·__WORDSIZE
1872	··[··fe7b]··__~~ARM~~_A~~RCH_PROFILE·65~~	1872	··[··fe7c]··__FLT16_HAS_INFINITY__·1
1873	··[··fe91]··_~~GLIBCXX~~_TSAN_M~~UTEX~~_~~POST~~_~~SIGNA~~L~~(X)·~~	1873	··[··fe95]··__ARM_ARCH_PROFILE·65
1874	··[··feb5]··_IO_~~write_ptr~~	1874	··[··feab]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1875	··[··fec3]··~~CVC5_SORT~~_KIND_~~TUPLE~~_S~~ORT~~	1875	··[··fecf]··_IO_write_ptr
1876	··[··fedd]··~~__glibcxx~~_~~want~~_~~nonmember~~_~~container~~_ac~~cess~~	1876	··[··fedd]··CVC5_SORT_KIND_TUPLE_SORT
1877	··[··ff07]··_~~GLIBCXX~~_~~ATOMIC~~_~~LOCK_FREE~~_~~H·1~~	1877	··[··fef7]··__glibcxx_want_nonmember_container_access
1878	··[··ff25]··__ARM_~~FEATU~~RE_~~RNG~~	1878	··[··ff21]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1
1879	··[··ff37]··~~CVC5~~_~~USE~~_CR~~YPTOMINISAT·1~~	1879	··[··ff3f]··__ARM_FEATURE_RNG
1880	··[··ff50]··~~__builtin_unwind_resume~~	1880	··[··ff51]··CVC5_USE_CRYPTOMINISAT·1
1881	··[··ff68]··__SC~~_THREAD~~_~~STACK_MIN~~_VA~~LUE·75~~	1881	··[··ff6a]··__builtin_unwind_resume
1882	··[··ff87]··E~~KEYEXP~~I~~RED·12~~7	1882	··[··ff82]··__SC_THREAD_STACK_MIN_VALUE·75
1883	··[··ff97]··~~towctrans~~	1883	··[··ffa1]··EKEYEXPIRED·127
1884	··[··ffa1]··~~_BITS_STDIO_LIM_H·1~~	1884	··[··ffb1]··towctrans
1885	··[··ffb5]··~~_ZNSt7__cxx1112basic~~_~~strin~~gIcS~~t11char~~_~~traits~~Ic~~ESa~~I~~cEE10_~~M_~~replaceEmmPKcm~~	1885	··[··ffbb]··_BITS_STDIO_LIM_H·1
1886	··[··fffe]··~~MOD~~_~~CLKA·ADJ~~_~~OFF~~SET_SI~~NGL~~E~~SHOT~~	1886	··[··ffcf]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm
1887	··[·1001d]··~~_ZNKSt15__exception~~_~~ptr13exception~~_~~ptr20__cxa~~_~~exception_typeEv~~	1887	··[·10018]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1888	··[·1005c]··_ZNSt15~~bas~~ic_stre~~ambufIcS~~t11char_t~~raitsIcEE4s~~yncEv	1888	··[·10037]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1889	··[·1008f]··_GLI~~BCXX~~_~~HAV~~E~~_LINK·1~~	1889	··[·10076]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1890	··[·100a4]··~~htole16(x)·_~~_ui~~nt16~~_~~identity~~·(x)	1890	··[·100a9]··_GLIBCXX_HAVE_LINK·1
1891	··[·100c5]··~~STA~~_~~UNSYNC·0x0040~~	1891	··[·100be]··htole16(x)·__uint16_identity·(x)
1892	··[·100d7]··~~CVC5_KIND_F~~LOATINGPOIN~~T_IS_NEG~~	1892	··[·100df]··STA_UNSYNC·0x0040
1893	··[·100f6]··_~~_glibcxx_want_int~~_~~pow2·~~	1893	··[·100f1]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1894	··[·1010f]··cvc5_~~sor~~t_kind_~~hash~~	1894	··[·10110]··__glibcxx_want_int_pow2·
1895	··[·10123]··IN~~TMAX~~_~~MIN·(-_~~_I~~NT64~~_~~C(9223372036854775807)-1)~~	1895	··[·10129]··cvc5_sort_kind_hash
1896	··[·10152]··_Z~~St5flush~~I~~cSt11char~~_~~trait~~sIc~~EERSt13basic_ostreamIT_T~~0~~_ES6_~~	1896	··[·1013d]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)
Max diff block lines reached; 49811/180861 bytes (27.54%) of diff not shown.


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:·4108	7	Installed-Size:·4108
8	Depends:·libcvc5parser1·(=·1.1.2-2)	8	Depends:·libcvc5parser1·(=·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·libcvc5parser1	12	Description:·debug·symbols·for·libcvc5parser1
13	Build-Ids:·e~~fe58aaf7~~54~~65840ce~~3d~~85ee7~~0d9~~767d00992f~~90	13	Build-Ids:·970f41825131cf163d71a500179420f3b545290e


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/ef/e~~58aaf7~~54~~65840ce~~3d~~85ee7~~0d9~~767d00992f~~90.debug	1	usr/lib/debug/.build-id/97/0f41825131cf163d71a500179420f3b545290e.debug


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

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·0006a4·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006a4·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d260·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d212·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29dba8·0063b2·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29db60·0063b2·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f60·02e797·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f18·02e797·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d26f8·05b4b2·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d26b0·05b4b1·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32dbb0·0007d1·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32db68·0007d1·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e388·07dffc·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e340·07dffc·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac388·00cdb2·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac340·00cd9d·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b9140·01ab0a·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b90e0·01ab0a·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3c50·00fbd0·18·····36·1487··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3bf0·00fbd0·18·····36·1487··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3e3820·01c3cf·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3e37c0·01c3cf·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffbef·000193·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffb8f·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:·68·(DW_TAG_base_type)	22	·<1><25>:·Abbrev·Number:·68·(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:·0x4d444):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d47a):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·71·(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:·0xa6082):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa609c):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52552):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52588):·__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:·88·(DW_TAG_member)	42	·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)
43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52531):·__max_align_ld	43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52567):·__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:·68·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·68·(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:·0x6~~3fd0~~):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x64006):·long·long·int
55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·68·(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:·0x9b0c2):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9b0dc):·long·double
59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa6084):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa609e):·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:·86·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34c1c):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34c38):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·68·(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:·0xa308c):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa30a6):·unsigned·char
72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·68·(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:·0x5b7bd):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b7f3):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·68·(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:·0x1457b9):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1457b9):·unsigned·int
80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·68·(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:·0xd9d7d):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9d97):·signed·char
84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·68·(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:·0x4bf79):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bfaf):·short·int
88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c616):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c630):·__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:·34·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·34·(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:·84·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·84·(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:·90·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa85a6):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa85c0):·__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:·90·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa6090):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa60aa):·__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:·56·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·56·(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:·26·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·26·(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:·68·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·68·(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:·0xd9d84):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9d9e):·char
121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·34·(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:·28·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>
126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·79·(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)·<0xe0c>» [Abbrev·Number:·59·(DW_TAG_subprogram)]	512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xe0c>» [Abbrev·Number:·59·(DW_TAG_subprogram)]
513	·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	513	·<2><2ae>:·Abbrev·Number:·79·(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)·<0xe1f>» [Abbrev·Number:·78·(DW_TAG_subprogram)]	517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe1f>» [Abbrev·Number:·78·(DW_TAG_subprogram)]
518	·<2><2b4>:·Abbrev·Number:·83·(DW_TAG_typedef)	518	·<2><2b4>:·Abbrev·Number:·83·(DW_TAG_typedef)
519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e~~1ce~~):·ptrdiff_t	519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e204):·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:·79·(DW_TAG_imported_declaration)	524	·<2><2be>:·Abbrev·Number:·79·(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; 61570776/61578548 bytes (99.99%) of diff not shown.


Offset 1867, 16 lines modified		Offset 1867, 16 lines modified
1867	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1867	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1868	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1868	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1869	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1869	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1870	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1870	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1871	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1871	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1872	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1872	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1873	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1873	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1874	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1874	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1875	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1875	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

1876	··Offset:······················0x1e9c	1876	··Offset:······················0x1e9c
1877	··Version:·····················5	1877	··Version:·····················5
1878	··Offset·size:·················4	1878	··Offset·size:·················4

1879	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1879	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1880	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1880	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 48490, 16 lines modified		Offset 48490, 16 lines modified
48490	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	48490	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
48491	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	48491	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
48492	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	48492	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
48493	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	48493	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
48494	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	48494	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
48495	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	48495	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
48496	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	48496	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
48497	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	48497	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
48498	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	48498	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

48499	··Offset:······················0x3f20c	48499	··Offset:······················0x3f20c
48500	··Version:·····················5	48500	··Version:·····················5
48501	··Offset·size:·················4	48501	··Offset·size:·················4

48502	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	48502	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
48503	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	48503	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·14.2.0-19)·14.2.0
+#="n@zT<,
+$hqlXg4o
+@6.!aP.4T5v:z^(
+~/c.#7P
+X`]fukxM
+c&f·amL%Y
+K$(4$?kH;
+·E'Dp'+v^
+Tg*1xJ^"
+Qn4dY]uu
+icOyI9-n
+^#vrR=-T$
+.TVI|ERMd
+y&43msl"y
+*>ej:&9E
+*b"J(V)i
+sQ!=)-P.iY2
+&WI`?5_
+/K:1Y7grE%t
+"$?Tx_D9
+G?\_2YeW
+NyT`>vRr
+.:L7JG,j
+EK'?kXw35
+-^N7B{Cg
+bV»     q8"g<
+C?B4n%@f
+>l?)F$Bt)
+%/3|TS,.
+o(`-cic)
+@Z.7BGRy
+P+4#YxlN
+BdJK-k-2kk-
+~PY%c@<V
+&!;]{\IWRI7
+-e-ni$+r
+AE=9\_'*
+Z][5*L4&kg
+m}(Hm>f\a
+>lC`}G'}
+ai»     $"[#s^
+|<u>&32l
+Wq'!H'.R#
+hrH|e,l4q
+@}{yr:nh
+·UAwS^Ra#X
+c-q2GUQ]
+N\.@]_u)
+w-»     ^k<C52t
+Yw_)=XJM
+X>vwA?n`
+tr»     W/ic2
+kNK'n##
+PAZ*X&On
+)TmxITvH}
+*rsg=+» D
+rt/:'LOT
+»       NDigIksj
+gxca3NSZ
+FUkJ!C1A
+:e<@\*IL%
+g$guE·%<
+IR{#4Ijb
+Y,}Voe» s
+n;O@oga:
+BO7>_5\"
+QMv»    |o$E=O
+ZS=zl1!
+w*y}*)='
+o|QC+gy*q
+bSu'l||o
+i$,Mb[s`,-r`
+$&Ul1YX,]
+HT1p(~er
+'5}X%?^bp
+?@fjkjhN
+Fq$?%C.S
+-"(*(**·**
+[#wo5D=r#
+:%8_<'l=_
+Ns?s?qB.
+brKJMs`7
+wS@mEaK7
+TO#iuI}
+V5K9T!wp
+IP<4G!8A
+i00O*N3H<
+[^D$oy,i
+f#kZiP+g
+"lHSR!u?+
+W>DLOs''
+,#r$rqx
+jdyz@E<'-
+^k.vb,1:
+i50Z]Z» h9\
+#0<SZ)LE`B
+b{}rG@1v
+qLAQQQQQQQ
+E?y'·1:E?y
+^MP38+Q
+Pha;Qjer
+Yt=%;@A=
+$wrECpmw»
+#;·'<»   7[
+t@;ozzXP~
+y[M&ov&
+NCPK/h9d^}
+E6QP\@QQ
+O@MQQFJ{
+\YatHOiw
+|.F{-·SuU
+W=YKXE!{p
+S$z%MYI9
+MT<Y/·?b
+z<P0`![h
+whe!9_xe
+!K5FjyIt
+@j9K:X<^
+<[UNn!9-
+BmPq79m8
+JG49E.Mq
+/Jg|1@V'j
+JEwfCp<]
+m9Z7?n9Qkz
+pF>0QF>6
+AtE{@i9O:


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/93/~~af99550bc~~3d~~54244e026~~c~~13fd~~22~~adeb6e15831~~.debug	1	usr/lib/debug/.build-id/16/6621ab2963bbf5d9a7fca5d62a2ca97a33ab6c.debug


Offset 14, 53 lines modified		Offset 14, 53 lines modified
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4be03	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4be03
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:·0x73997):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73992):·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:·0x800c1):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x800f7):·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:·0xdf~~2eb~~):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf305):·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:·0x14cc7a):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cc7a):·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:·0x4e32a):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e325):·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:·0xbc840):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc82f):·__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:·0xddee0):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddefa):·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:·0xb4b3b):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4b2a):·__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:·0xc03b8):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc03a7):·__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:·0x5458):·__uint16_t	69	····<80>···DW_AT_name········:·(strp)·(offset:·0x5458):·__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:·0xa1170):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa115f):·__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:·362·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·362·(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:·0x1348ce):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1348ce):·__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:·0x82337):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x8236d):·__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:·0xe9ce7):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9ce7):·__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:·0x2f9cf):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9eb):·__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:·0x136e69):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136e69):·__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:·0xb48a2):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb4891):·__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:·0x115f45):·__int_least32_t	137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115f45):·__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:·0x95ab9):·__uint_least32_t	143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x95aa8):·__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:·0xf9254):·__int_least64_t	149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf9254):·__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; 16863760/16871340 bytes (99.96%) of diff not shown.


Offset 5121, 16 lines modified		Offset 5121, 16 lines modified
5121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	5121	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5122	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	5122	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5123	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	5123	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5124	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5124	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5125	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5125	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5126	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5126	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5127	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5127	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5128	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	5128	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
5129	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	5129	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

5130	··Offset:······················0x722e	5130	··Offset:······················0x722e
5131	··Version:·····················5	5131	··Version:·····················5
5132	··Offset·size:·················4	5132	··Offset·size:·················4

5133	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	5133	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5134	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	5134	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1