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

⊟

141 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.62 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

⊟

2.13 KB

data.tar.xz ¶

⊟

2.11 KB

data.tar ¶

⊟

2.09 KB

./usr/bin/cvc5 ¶

⊟

815 B

readelf --wide --notes {} ¶

⊟

431 B

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

⊟

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

⊟

47.9 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

⊟

47.3 KB

data.tar.xz ¶

⊟

47.3 KB

data.tar ¶

⊟

47.3 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

17.9 KB

readelf --wide --relocs {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

1.1 KB

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

Ordering differences only

⊟

6.89 KB

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

⊟

5.63 KB

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

⊟

6.44 KB

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

⊟

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

⊟

367 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

37.4 MB

data.tar.xz ¶

⊟

37.4 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

37.4 MB

./usr/lib/debug/.build-id/9e/53c8a01452d0d0134e6a7f21d2d90a94b5eb3d.debug vs.

./usr/lib/debug/.build-id/d4/670fd84ec44d1ece5068be6f1f6fe6f4722308.debug ¶

Files 76% 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.88 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/80/92948f00c637837be3919ab4a76f3f6e8b2be9.debug vs.

./usr/lib/debug/.build-id/69/815afb921498fae81f9ec33be70938c9e30476.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 {} ¶

⊟

3.54 KB

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

⊟

565 B

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

⊟

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

⊟

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/0b/d6bae8bd78c956552d6a24f23f77648f337fe8.debug vs.

./usr/lib/debug/.build-id/92/95c52229f1a036e69888b1b4f41ce87822bbbe.debug ¶

File has been modified after NT_GNU_BUILD_ID has been applied. Files 92% 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.4 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/86/44f892f14bdf24254eef451c2badccec1045e2.debug vs.

./usr/lib/debug/.build-id/d3/fe1a48cacd555f581fa9afe4de0a38ece870ff.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.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.46 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	·360bb27992d34115916c8edfbe0c8d19·1845884·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
2	·cd191748e45df6e460efcb1e194be586·97056·math·optional·cvc5_1.1.2-2_arm64.deb
3	·ced7e982cebf9b41b1c3a5118b27c519·179950628·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
4	·~~d7a470f~~a~~f9c~~d90~~53ed6c8~~7~~13df1~~158c5·~~571~~4~~924~~·libs·optional·~~lib~~cvc5-1_1.1.2-2_arm64.deb	1	·4c3f5bd6a380d12070fc9b07f9a3a1b9·1844736·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
		2	·ea69eb12f2c1d00324ea981129d75304·97020·math·optional·cvc5_1.1.2-2_arm64.deb
		3	·9e84c7435f91c703ef58da62ea2ddff9·179947880·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
		4	·2902cd62b65df78401619eb3b333fe09·5714448·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	·074~~8942~~2~~e04~~29ba~~837~~38c7d~~ecfd451~~ad·4015028·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb	6	·c14355d2fa22e56a5e23a0d341822cad·4015028·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
7	·590278b1269a85daf5376bc0d1bbb48c·208056·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
8	·1dbff5835c5020d7643b734dc66184ce·2586340·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
9	·~~b1947a5c~~1~~47e8c4737~~3~~2683016b1fe95~~·2~~9782~~8·py~~thon~~·optional·~~python3-cvc5~~_1.1.2-2_arm64.deb	7	·a9d6b1aa122c0f8b2f35d0e857580941·208108·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
		8	·e05e164594a8f86292dd552f99576de1·2586604·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
		9	·7a27689fd688d5a3c785759eaab3a473·298040·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····95748·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0····95712·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:·9~~e53c8a01~~4~~52d0~~d0134e6~~a7f21d2d90a9~~4~~b5eb3d~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·d4670fd84ec44d1ece5068be6f1f6fe6f4722308

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, 8 lines modified		Offset 1, 8 lines modified
1	=/lib/ld-linux-aarch64.so.1	1	/lib/ld-linux-aarch64.so.1
2	Ut<{~·U>	2	Ut<{~·U>
3	_ZTIN4cvc58internal9ExceptionE	3	_ZTIN4cvc58internal9ExceptionE
4	_ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4	_ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5	_ZNK4cvc56Result9isUnknownEv	5	_ZNK4cvc56Result9isUnknownEv
6	_ZNK4cvc56Result7isUnsatEv	6	_ZNK4cvc56Result7isUnsatEv
7	_ZNK4cvc510OptionInfo9boolValueEv	7	_ZNK4cvc510OptionInfo9boolValueEv
8	_ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	8	_ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE


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·35336338·61303134·35326430·64303133·53c8a01452d0d013
3	··0x00000010·3~~465~~3661·~~3766~~3~~231~~·64326439·306~~13934~~·~~4e6a7f21d2d90a94~~	2	··0x00000000·36373066·64383465·63343464·31656365·670fd84ec44d1ece
		3	··0x00000010·35303638·62653666·31663666·65366634·5068be6f1f6fe6f4
4	··0x00000020·623~~56562~~·3~~364~~2e64·65627567·00000000·~~b5eb3d~~.debug....	4	··0x00000020·37323233·30382e64·65627567·00000000·722308.debug....
5	··0x00000030·~~b15441a2~~····························.~~TA.~~	5	··0x00000030·1330b756····························.0.V


Offset 8900, 16 lines modified		Offset 8900, 16 lines modified
8900	opt-res-reconstruction-size	8900	opt-res-reconstruction-size
8901	output-lang	8901	output-lang
8902	parse-only	8902	parse-only
8903	partial-triggers	8903	partial-triggers
8904	partition-check	8904	partition-check
8905	partition-conflict-size	8905	partition-conflict-size
8906	partition-start-time	8906	partition-start-time
8907	partition
8908	partition-strategy	8907	partition-strategy
		8908	partition
8909	partition-time-interval	8909	partition-time-interval
8910	partition-tlimit	8910	partition-tlimit
8911	partition-when	8911	partition-when
8912	pb-rewrites	8912	pb-rewrites
8913	pivot-threshold	8913	pivot-threshold
8914	pool-inst	8914	pool-inst
8915	portfolio-jobs	8915	portfolio-jobs
Offset 8951, 16 lines modified		Offset 8951, 16 lines modified
8951	prop-row-length	8951	prop-row-length
8952	purify-triggers	8952	purify-triggers
8953	quant-alpha-equiv	8953	quant-alpha-equiv
8954	quant-dsplit	8954	quant-dsplit
8955	quant-fun-wd	8955	quant-fun-wd
8956	quant-ind	8956	quant-ind
8957	quant-rep-mode	8957	quant-rep-mode
8958	random-frequency
8959	random-freq	8958	random-freq
		8959	random-frequency
8960	random-partitioning	8960	random-partitioning
8961	re-inter-mode	8961	re-inter-mode
8962	register-quant-body-terms	8962	register-quant-body-terms
8963	relational-triggers	8963	relational-triggers
8964	relevance-filter	8964	relevance-filter
8965	relevant-triggers	8965	relevant-triggers
8966	repeat-simp	8966	repeat-simp
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 73289, 24 lines modified		Offset 73289, 24 lines modified
73289	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73289	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73290	» add» x0,·x19,·x8	73290	» add» x0,·x19,·x8
73291	» add» x1,·x1,·#0xf88	73291	» add» x1,·x1,·#0xf88
73292	» str» w2,·[sp,·#4840]	73292	» str» w2,·[sp,·#4840]
73293	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73293	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73294	» mov» w2,·#0x77··················» //·#119	73294	» mov» w2,·#0x77··················» //·#119
73295	» mov» x7,·#0x12e8················» //·#4840	73295	» mov» x7,·#0x12e8················» //·#4840
73296	» adrp» x1,·1~~30d~~000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73296	» adrp» x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
73297	» add» x0,·x19,·x7	73297	» add» x0,·x19,·x7
73298	» add» x1,·x1,·#0x~~f98~~	73298	» add» x1,·x1,·#0x950
73299	» str» w2,·[sp,·#4880]	73299	» str» w2,·[sp,·#4880]
73300	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73300	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73301	» mov» w2,·#0x78··················» //·#120	73301	» mov» w2,·#0x78··················» //·#120
73302	» mov» x6,·#0x1310················» //·#4880	73302	» mov» x6,·#0x1310················» //·#4880
73303	» adrp» x1,·1~~2cf~~000·<CaDiCaL::Internal::cover()@@Base+0x3c80>	73303	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73304	» add» x0,·x19,·x6	73304	» add» x0,·x19,·x6
73305	» add» x1,·x1,·#0x~~950~~	73305	» add» x1,·x1,·#0xf98
73306	» str» w2,·[sp,·#4920]	73306	» str» w2,·[sp,·#4920]
73307	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73307	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73308	» mov» w2,·#0x78··················» //·#120	73308	» mov» w2,·#0x78··················» //·#120
73309	» mov» x5,·#0x1338················» //·#4920	73309	» mov» x5,·#0x1338················» //·#4920
73310	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73310	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73311	» add» x0,·x19,·x5	73311	» add» x0,·x19,·x5
73312	» add» x1,·x1,·#0xfa0	73312	» add» x1,·x1,·#0xfa0
Offset 73703, 15 lines modified		Offset 73703, 15 lines modified
73703	» add» x0,·x19,·x3	73703	» add» x0,·x19,·x3
73704	» add» x1,·x1,·#0x300	73704	» add» x1,·x1,·#0x300
73705	» str» w2,·[sp,·#7200]	73705	» str» w2,·[sp,·#7200]
73706	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73706	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73707	» mov» w2,·#0xb1··················» //·#177	73707	» mov» w2,·#0xb1··················» //·#177
73708	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	73708	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
73709	» mov» x0,·#0x1c20················» //·#7200	73709	» mov» x0,·#0x1c20················» //·#7200
73710	» add» x1,·x1,·#0x310	73710	» add» x1,·x1,·#0x308
73711	» add» x0,·x19,·x0	73711	» add» x0,·x19,·x0
73712	» str» w2,·[sp,·#7240]	73712	» str» w2,·[sp,·#7240]
73713	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73713	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73714	» mov» w2,·#0xb1··················» //·#177	73714	» mov» w2,·#0xb1··················» //·#177
73715	» mov» x30,·#0x1c48················» //·#7240	73715	» mov» x30,·#0x1c48················» //·#7240
73716	» adrp» x1,·12d5000·<CaDiCaL::Internal::cover()@@Base+0x9c80>	73716	» adrp» x1,·12d5000·<CaDiCaL::Internal::cover()@@Base+0x9c80>
73717	» add» x0,·x19,·x30	73717	» add» x0,·x19,·x30
Offset 74079, 45 lines modified		Offset 74079, 45 lines modified
74079	» mov» x3,·#0x2468················» //·#9320	74079	» mov» x3,·#0x2468················» //·#9320
74080	» adrp» x1,·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~~301~~000·<CaDiCaL::Internal::cover()@@Base+0x35c80>	74086	» adrp» x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
74087	» mov» x0,·#0x2490················» //·#9360	74087	» mov» x0,·#0x2490················» //·#9360
74088	» add» x1,·x1,·#0xb80	74088	» add» x1,·x1,·#0x980
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~~2cf~~000·<CaDiCaL::Internal::cover()@@Base+0x3c80>	74094	» adrp» x1,·1301000·<CaDiCaL::Internal::cover()@@Base+0x35c80>
74095	» add» x0,·x19,·x30	74095	» add» x0,·x19,·x30
74096	» add» x1,·x1,·#0x980	74096	» add» x1,·x1,·#0xb80
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 74137, 15 lines modified		Offset 74137, 15 lines modified
74137	» add» x1,·x1,·#0x6f8	74137	» add» x1,·x1,·#0x6f8
74138	» add» x0,·x19,·x23	74138	» add» x0,·x19,·x23
74139	» str» w2,·[sp,·#9680]	74139	» str» w2,·[sp,·#9680]
74140	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74140	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74141	» mov» w2,·#0xec··················» //·#236	74141	» mov» w2,·#0xec··················» //·#236
74142	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74142	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74143	» mov» x22,·#0x25d0················» //·#9680	74143	» mov» x22,·#0x25d0················» //·#9680
74144	» add» x1,·x1,·#0x708	74144	» add» x1,·x1,·#0x700
74145	» add» x0,·x19,·x22	74145	» add» x0,·x19,·x22
74146	» str» w2,·[sp,·#9720]	74146	» str» w2,·[sp,·#9720]
74147	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74147	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74148	» mov» w2,·#0xec··················» //·#236	74148	» mov» w2,·#0xec··················» //·#236
74149	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74149	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74150	» mov» x21,·#0x25f8················» //·#9720	74150	» mov» x21,·#0x25f8················» //·#9720
74151	» add» x1,·x1,·#0x710	74151	» add» x1,·x1,·#0x710
Offset 74166, 15 lines modified		Offset 74166, 15 lines modified
74166	» add» x1,·x1,·#0x740	74166	» add» x1,·x1,·#0x740
74167	» str» w2,·[sp,·#9840]	74167	» str» w2,·[sp,·#9840]
74168	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74168	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74169	» mov» w2,·#0xef··················» //·#239	74169	» mov» w2,·#0xef··················» //·#239
74170	» mov» x17,·#0x2670················» //·#9840	74170	» mov» x17,·#0x2670················» //·#9840
74171	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74171	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74172	» add» x0,·x19,·x17	74172	» add» x0,·x19,·x17
74173	» add» x1,·x1,·#0x750	74173	» add» x1,·x1,·#0x758
74174	» str» w2,·[sp,·#9880]	74174	» str» w2,·[sp,·#9880]
74175	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74175	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74176	» mov» w2,·#0xef··················» //·#239	74176	» mov» w2,·#0xef··················» //·#239
74177	» mov» x16,·#0x2698················» //·#9880	74177	» mov» x16,·#0x2698················» //·#9880
74178	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74178	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74179	» add» x0,·x19,·x16	74179	» add» x0,·x19,·x16
74180	» add» x1,·x1,·#0x768	74180	» add» x1,·x1,·#0x768
Offset 74551, 15 lines modified		Offset 74551, 15 lines modified
74551	» add» x1,·x1,·#0xb68	74551	» add» x1,·x1,·#0xb68
74552	» str» w2,·[sp,·#12040]	74552	» str» w2,·[sp,·#12040]
74553	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74553	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74554	» mov» w2,·#0x124·················» //·#292	74554	» mov» w2,·#0x124·················» //·#292
74555	» mov» x16,·#0x2f08················» //·#12040	74555	» mov» x16,·#0x2f08················» //·#12040
74556	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74556	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74557	» add» x0,·x19,·x16	74557	» add» x0,·x19,·x16
74558	» add» x1,·x1,·#0xb80	74558	» add» x1,·x1,·#0xb78
Max diff block lines reached; 1448/6871 bytes (21.07%) of diff not shown.


Offset 17079, 16 lines modified		Offset 17079, 16 lines modified
17079	··0x0130e290·65000000·00000000·6974652d·6474742d·e.......ite-dtt-	17079	··0x0130e290·65000000·00000000·6974652d·6474742d·e.......ite-dtt-
17080	··0x0130e2a0·73706c69·742d7175·616e7400·00000000·split-quant.....	17080	··0x0130e2a0·73706c69·742d7175·616e7400·00000000·split-quant.....
17081	··0x0130e2b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..	17081	··0x0130e2b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..
17082	··0x0130e2c0·6974652d·73696d70·00000000·00000000·ite-simp........	17082	··0x0130e2c0·6974652d·73696d70·00000000·00000000·ite-simp........
17083	··0x0130e2d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....	17083	··0x0130e2d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....
17084	··0x0130e2e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......	17084	··0x0130e2e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......
17085	··0x0130e2f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...	17085	··0x0130e2f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...
17086	··0x0130e300·696~~e7075~~·~~742d6c61~~·6e6775~~61·67~~65~~0000·i~~n~~put-la~~ngua~~ge..~~	17086	··0x0130e300·6c616e67·00000000·696e7075·742d6c61·lang....input-la
17087	··0x0130e310·6c6~~16e~~67·~~0000~~0000·6c656d6d·612d696e·~~lang..~~..lemma-in	17087	··0x0130e310·6e677561·67650000·6c656d6d·612d696e·nguage..lemma-in
17088	··0x0130e320·70726f63·65737300·6c656d6d·612d696e·process.lemma-in	17088	··0x0130e320·70726f63·65737300·6c656d6d·612d696e·process.lemma-in
17089	··0x0130e330·70726f63·6573732d·696e6665·722d6571·process-infer-eq	17089	··0x0130e330·70726f63·6573732d·696e6665·722d6571·process-infer-eq
17090	··0x0130e340·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in	17090	··0x0130e340·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in
17091	··0x0130e350·70726f63·6573732d·73756273·00000000·process-subs....	17091	··0x0130e350·70726f63·6573732d·73756273·00000000·process-subs....
17092	··0x0130e360·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay	17092	··0x0130e360·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
17093	··0x0130e370·2d666169·6c757265·00000000·00000000·-failure........	17093	··0x0130e370·2d666169·6c757265·00000000·00000000·-failure........
17094	··0x0130e380·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus	17094	··0x0130e380·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
Offset 17142, 22 lines modified		Offset 17142, 22 lines modified
17142	··0x0130e680·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si	17142	··0x0130e680·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17143	··0x0130e690·6d700000·00000000·6f70742d·7265732d·mp......opt-res-	17143	··0x0130e690·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17144	··0x0130e6a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s	17144	··0x0130e6a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17145	··0x0130e6b0·697a6500·00000000·6f757470·75740000·ize.....output..	17145	··0x0130e6b0·697a6500·00000000·6f757470·75740000·ize.....output..
17146	··0x0130e6c0·6f757470·75742d6c·616e6700·00000000·output-lang.....	17146	··0x0130e6c0·6f757470·75742d6c·616e6700·00000000·output-lang.....
17147	··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......	17147	··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148	··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers	17148	··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149	··0x0130e6f0·00000000·00000000·70617274·6974696f·........partitio
17150	··0x0130e700·~~6e2d6368~~·~~65636b~~00·63686563·6b000000·~~n-check~~.check...	17149	··0x0130e6f0·00000000·00000000·63686563·6b000000·........check...
		17150	··0x0130e700·70617274·6974696f·6e2d6368·65636b00·partition-check.
17151	··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli	17151	··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152	··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio	17152	··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153	··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....	17153	··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154	··0x0130e740·70617274·6974696f·6e000000·00000000·partition.......
17155	··0x0130e750·70617274·6974696f·6e2d7374·72617465·partition-strate	17154	··0x0130e740·70617274·6974696f·6e2d7374·72617465·partition-strate
17156	··0x0130e760·67790000·00000000·70617274·6974696f·gy......partitio	17155	··0x0130e750·67790000·00000000·70617274·6974696f·gy......partitio
		17156	··0x0130e760·6e000000·00000000·70617274·6974696f·n.......partitio
17157	··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.	17157	··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
17158	··0x0130e780·70617274·6974696f·6e2d746c·696d6974·partition-tlimit	17158	··0x0130e780·70617274·6974696f·6e2d746c·696d6974·partition-tlimit
17159	··0x0130e790·00000000·00000000·70617274·6974696f·........partitio	17159	··0x0130e790·00000000·00000000·70617274·6974696f·........partitio
17160	··0x0130e7a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri	17160	··0x0130e7a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri
17161	··0x0130e7b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th	17161	··0x0130e7b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th
17162	··0x0130e7c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins	17162	··0x0130e7c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins
17163	··0x0130e7d0·74000000·00000000·706f7274·666f6c69·t.......portfoli	17163	··0x0130e7d0·74000000·00000000·706f7274·666f6c69·t.......portfoli
Offset 17214, 16 lines modified		Offset 17214, 16 lines modified
17214	··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.	17214	··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.
17215	··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi	17215	··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi
17216	··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds	17216	··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds
17217	··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu	17217	··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu
17218	··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in	17218	··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in
17219	··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re	17219	··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re
17220	··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f	17220	··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f
		17221	··0x0130eb70·72657100·00000000·72616e64·6f6d2d66·req.....random-f
17221	··0x0130eb70·72657175·656e6379·00000000·00000000·requency........	17222	··0x0130eb80·72657175·656e6379·00000000·00000000·requency........
17222	··0x0130eb80·72616e64·6f6d2d66·72657100·00000000·random-freq.....
17223	··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition	17223	··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition
17224	··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.	17224	··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.
17225	··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...	17225	··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...
17226	··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b	17226	··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b
17227	··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......	17227	··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......
17228	··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg	17228	··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg
17229	··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc	17229	··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc
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 1860, 15 lines modified		Offset 1860, 15 lines modified
1860	··0x015cf6a8·28da3001·00000000·38da3001·00000000·(.0.....8.0.....	1860	··0x015cf6a8·28da3001·00000000·38da3001·00000000·(.0.....8.0.....
1861	··0x015cf6b8·58da3001·00000000·68da3001·00000000·X.0.....h.0.....	1861	··0x015cf6b8·58da3001·00000000·68da3001·00000000·X.0.....h.0.....
1862	··0x015cf6c8·80da3001·00000000·98da3001·00000000·..0.......0.....	1862	··0x015cf6c8·80da3001·00000000·98da3001·00000000·..0.......0.....
1863	··0x015cf6d8·a8da3001·00000000·b8da3001·00000000·..0.......0.....	1863	··0x015cf6d8·a8da3001·00000000·b8da3001·00000000·..0.......0.....
1864	··0x015cf6e8·c8da3001·00000000·d8da3001·00000000·..0.......0.....	1864	··0x015cf6e8·c8da3001·00000000·d8da3001·00000000·..0.......0.....
1865	··0x015cf6f8·e8da3001·00000000·00db3001·00000000·..0.......0.....	1865	··0x015cf6f8·e8da3001·00000000·00db3001·00000000·..0.......0.....
1866	··0x015cf708·18db3001·00000000·28db3001·00000000·..0.....(.0.....	1866	··0x015cf708·18db3001·00000000·28db3001·00000000·..0.....(.0.....
1867	··0x015cf718·38db3001·00000000·08e73001·00000000·8.0.......0.....	1867	··0x015cf718·38db3001·00000000·f8e63001·00000000·8.0.......0.....
1868	··0x015cf728·50db3001·00000000·60db3001·00000000·P.0.....`.0.....	1868	··0x015cf728·50db3001·00000000·60db3001·00000000·P.0.....`.0.....
1869	··0x015cf738·78db3001·00000000·18042e01·00000000·x.0.............	1869	··0x015cf738·78db3001·00000000·18042e01·00000000·x.0.............
1870	··0x015cf748·88db3001·00000000·98db3001·00000000·..0.......0.....	1870	··0x015cf748·88db3001·00000000·98db3001·00000000·..0.......0.....
1871	··0x015cf758·a8db3001·00000000·c0db3001·00000000·..0.......0.....	1871	··0x015cf758·a8db3001·00000000·c0db3001·00000000·..0.......0.....
1872	··0x015cf768·d8db3001·00000000·f8db3001·00000000·..0.......0.....	1872	··0x015cf768·d8db3001·00000000·f8db3001·00000000·..0.......0.....
1873	··0x015cf778·10dc3001·00000000·28dc3001·00000000·..0.....(.0.....	1873	··0x015cf778·10dc3001·00000000·28dc3001·00000000·..0.....(.0.....
1874	··0x015cf788·40dc3001·00000000·60dc3001·00000000·@.0.....`.0.....	1874	··0x015cf788·40dc3001·00000000·60dc3001·00000000·@.0.....`.0.....
Offset 1912, 23 lines modified		Offset 1912, 23 lines modified
1912	··0x015cf9e8·50e13001·00000000·50592d01·00000000·P.0.....PY-.....	1912	··0x015cf9e8·50e13001·00000000·50592d01·00000000·P.0.....PY-.....
1913	··0x015cf9f8·28263001·00000000·68e13001·00000000·(&0.....h.0.....	1913	··0x015cf9f8·28263001·00000000·68e13001·00000000·(&0.....h.0.....
1914	··0x015cfa08·78e13001·00000000·60592d01·00000000·x.0.....`Y-.....	1914	··0x015cfa08·78e13001·00000000·60592d01·00000000·x.0.....`Y-.....
1915	··0x015cfa18·90e13001·00000000·a8e13001·00000000·..0.......0.....	1915	··0x015cfa18·90e13001·00000000·a8e13001·00000000·..0.......0.....
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·00e33001·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·f8e83001·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·10e33001·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.....
1931	··0x015cfb18·a8e33001·00000000·c0e33001·00000000·..0.......0.....	1931	··0x015cfb18·a8e33001·00000000·c0e33001·00000000·..0.......0.....
1932	··0x015cfb28·d0e33001·00000000·e8e33001·00000000·..0.......0.....	1932	··0x015cfb28·d0e33001·00000000·e8e33001·00000000·..0.......0.....
1933	··0x015cfb38·c0062e01·00000000·00e43001·00000000·..........0.....	1933	··0x015cfb38·c0062e01·00000000·00e43001·00000000·..........0.....
1934	··0x015cfb48·10e43001·00000000·28e43001·00000000·..0.....(.0.....	1934	··0x015cfb48·10e43001·00000000·28e43001·00000000·..0.....(.0.....
Offset 1950, 19 lines modified		Offset 1950, 19 lines modified
1950	··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....	1950	··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....
1951	··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....	1951	··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....
1952	··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....	1952	··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....
1953	··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....	1953	··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....
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·40e73001·00000000·f8e63001·00000000·@.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·50e73001·00000000·68e73001·00000000·P.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.....
Offset 1979, 15 lines modified		Offset 1979, 15 lines modified
1979	··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....	1979	··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....
1980	··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....	1980	··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....
1981	··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....	1981	··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....
1982	··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....	1982	··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....
1983	··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....	1983	··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....
1984	··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....	1984	··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....
1985	··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....	1985	··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....
1986	··0x015cfe88·80eb3001·00000000·68eb3001·00000000·..0.....h.0.....	1986	··0x015cfe88·68eb3001·00000000·78eb3001·00000000·h.0.....x.0.....
1987	··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....	1987	··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....
1988	··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....	1988	··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....
1989	··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....	1989	··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....
1990	··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....	1990	··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....
1991	··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....	1991	··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....
1992	··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....	1992	··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....
1993	··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..0.......,.....	1993	··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..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 308, 17 lines modified		Offset 308, 17 lines modified
308	··0x015e1310·00000000·00000000·71010000·00000000·........q.......	308	··0x015e1310·00000000·00000000·71010000·00000000·........q.......
309	··0x015e1320·485f2e01·00000000·01000000·00000000·H_..............	309	··0x015e1320·485f2e01·00000000·01000000·00000000·H_..............
310	··0x015e1330·00000000·00000000·72010000·00000000·........r.......	310	··0x015e1330·00000000·00000000·72010000·00000000·........r.......
311	··0x015e1340·00e23001·00000000·00000000·00000000·..0.............	311	··0x015e1340·00e23001·00000000·00000000·00000000·..0.............
312	··0x015e1350·00000000·00000000·73010000·00000000·........s.......	312	··0x015e1350·00000000·00000000·73010000·00000000·........s.......
313	··0x015e1360·90383201·00000000·00000000·00000000·.82.............	313	··0x015e1360·90383201·00000000·00000000·00000000·.82.............
314	··0x015e1370·00000000·00000000·74010000·00000000·........t.......	314	··0x015e1370·00000000·00000000·74010000·00000000·........t.......
315	··0x015e1380·10e33001·00000000·01000000·00000000·..0.............	315	··0x015e1380·00e33001·00000000·01000000·00000000·..0.............
316	··0x015e1390·00000000·00000000·75010000·00000000·........u.......	316	··0x015e1390·00000000·00000000·75010000·00000000·........u.......
317	··0x015e13a0·00e33001·00000000·01000000·00000000·..0.............	317	··0x015e13a0·08e33001·00000000·01000000·00000000·..0.............
318	··0x015e13b0·00000000·00000000·76010000·00000000·........v.......	318	··0x015e13b0·00000000·00000000·76010000·00000000·........v.......
319	··0x015e13c0·801b3001·00000000·01000000·00000000·..0.............	319	··0x015e13c0·801b3001·00000000·01000000·00000000·..0.............
320	··0x015e13d0·00000000·00000000·77010000·00000000·........w.......	320	··0x015e13d0·00000000·00000000·77010000·00000000·........w.......
321	··0x015e13e0·80f92c01·00000000·01000000·00000000·..,.............	321	··0x015e13e0·80f92c01·00000000·01000000·00000000·..,.............
322	··0x015e13f0·00000000·00000000·78010000·00000000·........x.......	322	··0x015e13f0·00000000·00000000·78010000·00000000·........x.......
323	··0x015e1400·b8e63001·00000000·01000000·00000000·..0.............	323	··0x015e1400·b8e63001·00000000·01000000·00000000·..0.............
324	··0x015e1410·00000000·00000000·79010000·00000000·........y.......	324	··0x015e1410·00000000·00000000·79010000·00000000·........y.......
Offset 592, 39 lines modified		Offset 592, 39 lines modified
592	··0x015e24d0·00000000·00000000·ff010000·00000000·................	592	··0x015e24d0·00000000·00000000·ff010000·00000000·................
593	··0x015e24e0·c0db3001·00000000·01000000·00000000·..0.............	593	··0x015e24e0·c0db3001·00000000·01000000·00000000·..0.............
594	··0x015e24f0·00000000·00000000·00020000·00000000·................	594	··0x015e24f0·00000000·00000000·00020000·00000000·................
595	··0x015e2500·d8db3001·00000000·01000000·00000000·..0.............	595	··0x015e2500·d8db3001·00000000·01000000·00000000·..0.............
596	··0x015e2510·00000000·00000000·01020000·00000000·................	596	··0x015e2510·00000000·00000000·01020000·00000000·................
597	··0x015e2520·10dc3001·00000000·01000000·00000000·..0.............	597	··0x015e2520·10dc3001·00000000·01000000·00000000·..0.............
598	··0x015e2530·00000000·00000000·02020000·00000000·................	598	··0x015e2530·00000000·00000000·02020000·00000000·................
599	··0x015e2540·f8e63001·00000000·01000000·00000000·..0.............	599	··0x015e2540·00e73001·00000000·01000000·00000000·..0.............
600	··0x015e2550·00000000·00000000·03020000·00000000·................	600	··0x015e2550·00000000·00000000·03020000·00000000·................
601	··0x015e2560·08e73001·00000000·01000000·00000000·..0.............	601	··0x015e2560·f8e63001·00000000·01000000·00000000·..0.............
602	··0x015e2570·00000000·00000000·04020000·00000000·................	602	··0x015e2570·00000000·00000000·04020000·00000000·................
603	··0x015e2580·10e73001·00000000·01000000·00000000·..0.............	603	··0x015e2580·10e73001·00000000·01000000·00000000·..0.............
604	··0x015e2590·00000000·00000000·05020000·00000000·................	604	··0x015e2590·00000000·00000000·05020000·00000000·................
605	··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............	605	··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............
606	··0x015e25b0·00000000·00000000·06020000·00000000·................	606	··0x015e25b0·00000000·00000000·06020000·00000000·................
607	··0x015e25c0·50e73001·00000000·01000000·00000000·P.0.............	607	··0x015e25c0·40e73001·00000000·01000000·00000000·@.0.............
608	··0x015e25d0·00000000·00000000·07020000·00000000·................	608	··0x015e25d0·00000000·00000000·07020000·00000000·................
609	··0x015e25e0·40e73001·00000000·01000000·00000000·@.0.............	609	··0x015e25e0·58e73001·00000000·01000000·00000000·X.0.............
610	··0x015e25f0·00000000·00000000·08020000·00000000·................	610	··0x015e25f0·00000000·00000000·08020000·00000000·................
611	··0x015e2600·68e73001·00000000·01000000·00000000·h.0.............	611	··0x015e2600·68e73001·00000000·01000000·00000000·h.0.............
612	··0x015e2610·00000000·00000000·09020000·00000000·................	612	··0x015e2610·00000000·00000000·09020000·00000000·................
613	··0x015e2620·80e73001·00000000·01000000·00000000·..0.............	613	··0x015e2620·80e73001·00000000·01000000·00000000·..0.............
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 734, 17 lines modified		Offset 734, 17 lines modified
734	··0x015e2db0·00000000·00000000·46020000·00000000·........F.......	734	··0x015e2db0·00000000·00000000·46020000·00000000·........F.......
735	··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............	735	··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............
736	··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......	736	··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......
737	··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............	737	··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............
738	··0x015e2df0·00000000·00000000·48020000·00000000·........H.......	738	··0x015e2df0·00000000·00000000·48020000·00000000·........H.......
739	··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............	739	··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............
740	··0x015e2e10·00000000·00000000·49020000·00000000·........I.......	740	··0x015e2e10·00000000·00000000·49020000·00000000·........I.......
741	··0x015e2e20·80eb3001·00000000·01000000·00000000·..0.............	741	··0x015e2e20·68eb3001·00000000·01000000·00000000·h.0.............
742	··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......	742	··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......
743	··0x015e2e40·68eb3001·00000000·01000000·00000000·h.0.............	743	··0x015e2e40·78eb3001·00000000·01000000·00000000·x.0.............
744	··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......	744	··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......
745	··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............	745	··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............
746	··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......	746	··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......
747	··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............	747	··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............
748	··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......	748	··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......
749	··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............	749	··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............
750	··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......	750	··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......
Offset 1675, 15 lines modified		Offset 1675, 15 lines modified
1675	··0x015e6880·01000000·00000000·01000000·00000000·................	1675	··0x015e6880·01000000·00000000·01000000·00000000·................
1676	··0x015e6890·00000000·00000000·e0283301·00000000·.........(3.....	1676	··0x015e6890·00000000·00000000·e0283301·00000000·.........(3.....
1677	··0x015e68a0·18d33201·00000000·01000000·00000000·..2.............	1677	··0x015e68a0·18d33201·00000000·01000000·00000000·..2.............
1678	··0x015e68b0·01000000·00000000·00000000·00000000·................	1678	··0x015e68b0·01000000·00000000·00000000·00000000·................
1679	··0x015e68c0·c0283301·00000000·28d33201·00000000·.(3.....(.2.....	1679	··0x015e68c0·c0283301·00000000·28d33201·00000000·.(3.....(.2.....
1680	··0x015e68d0·01000000·01000000·03000000·00000000·................	1680	··0x015e68d0·01000000·01000000·03000000·00000000·................
1681	··0x015e68e0·00000000·00000000·a8283301·00000000·.........(3.....	1681	··0x015e68e0·00000000·00000000·a8283301·00000000·.........(3.....
1682	··0x015e68f0·08e73001·00000000·00000000·00000000·..0.............	1682	··0x015e68f0·f8e63001·00000000·00000000·00000000·..0.............
1683	··0x015e6900·01000000·00000000·00000000·00000000·................	1683	··0x015e6900·01000000·00000000·00000000·00000000·................
1684	··0x015e6910·88283301·00000000·38d33201·00000000·.(3.....8.2.....	1684	··0x015e6910·88283301·00000000·38d33201·00000000·.(3.....8.2.....
1685	··0x015e6920·01000000·00000000·01000000·00000000·................	1685	··0x015e6920·01000000·00000000·01000000·00000000·................
1686	··0x015e6930·00000000·00000000·68283301·00000000·........h(3.....	1686	··0x015e6930·00000000·00000000·68283301·00000000·........h(3.....
1687	··0x015e6940·50d33201·00000000·01000000·00000000·P.2.............	1687	··0x015e6940·50d33201·00000000·01000000·00000000·P.2.............
1688	··0x015e6950·01000000·00000000·00000000·00000000·................	1688	··0x015e6950·01000000·00000000·00000000·00000000·................
1689	··0x015e6960·48283301·00000000·60d33201·00000000·H(3.....`.2.....	1689	··0x015e6960·48283301·00000000·60d33201·00000000·H(3.....`.2.....
Offset 2102, 15 lines modified		Offset 2102, 15 lines modified
2102	··0x015e8330·10d33201·00000000·01000000·00000000·..2.............	2102	··0x015e8330·10d33201·00000000·01000000·00000000·..2.............
2103	··0x015e8340·01000000·00000000·00000000·00000000·................	2103	··0x015e8340·01000000·00000000·00000000·00000000·................
2104	··0x015e8350·e0283301·00000000·18d33201·00000000·.(3.......2.....	2104	··0x015e8350·e0283301·00000000·18d33201·00000000·.(3.......2.....
2105	··0x015e8360·01000000·00000000·01000000·00000000·................	2105	··0x015e8360·01000000·00000000·01000000·00000000·................
2106	··0x015e8370·00000000·00000000·c0283301·00000000·.........(3.....	2106	··0x015e8370·00000000·00000000·c0283301·00000000·.........(3.....
2107	··0x015e8380·28d33201·00000000·01000000·01000000·(.2.............	2107	··0x015e8380·28d33201·00000000·01000000·01000000·(.2.............
2108	··0x015e8390·03000000·00000000·00000000·00000000·................	2108	··0x015e8390·03000000·00000000·00000000·00000000·................
2109	··0x015e83a0·a8283301·00000000·08e73001·00000000·.(3.......0.....	2109	··0x015e83a0·a8283301·00000000·f8e63001·00000000·.(3.......0.....
2110	··0x015e83b0·00000000·00000000·01000000·00000000·................	2110	··0x015e83b0·00000000·00000000·01000000·00000000·................
2111	··0x015e83c0·00000000·00000000·88283301·00000000·.........(3.....	2111	··0x015e83c0·00000000·00000000·88283301·00000000·.........(3.....
2112	··0x015e83d0·38d33201·00000000·01000000·00000000·8.2.............	2112	··0x015e83d0·38d33201·00000000·01000000·00000000·8.2.............
2113	··0x015e83e0·01000000·00000000·00000000·00000000·................	2113	··0x015e83e0·01000000·00000000·00000000·00000000·................
2114	··0x015e83f0·68283301·00000000·50d33201·00000000·h(3.....P.2.....	2114	··0x015e83f0·68283301·00000000·50d33201·00000000·h(3.....P.2.....
2115	··0x015e8400·01000000·00000000·01000000·00000000·................	2115	··0x015e8400·01000000·00000000·01000000·00000000·................
2116	··0x015e8410·00000000·00000000·48283301·00000000·........H(3.....	2116	··0x015e8410·00000000·00000000·48283301·00000000·........H(3.....


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:·9~~e53c8a01~~4~~52d0~~d0134e6~~a7f21d2d90a9~~4~~b5eb3d~~	12	Build-Ids:·d4670fd84ec44d1ece5068be6f1f6fe6f4722308


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/9e/5~~3c8a01~~4~~52d0~~d0134e6~~a7f21d2d90a9~~4~~b5eb3d~~.debug	1	usr/lib/debug/.build-id/d4/670fd84ec44d1ece5068be6f1f6fe6f4722308.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/9e/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/d4/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2338600·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/9e/5~~3c8a01~~4~~52d0~~d0134e6~~a7f21d2d90a9~~4~~b5eb3d~~.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2338520·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/d4/670fd84ec44d1ece5068be6f1f6fe6f4722308.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:··········233~~604~~0·(bytes·into·file)	13	··Start·of·section·headers:··········2335960·(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 1, 8 lines modified		Offset 1, 8 lines modified
1	There·are·40·section·headers,·starting·at·offset·0x23a528:	1	There·are·40·section·headers,·starting·at·offset·0x23a4d8:

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·154775·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·154741·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3f8·0034cf·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3c8·0034cf·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b28c8·00f4af·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2898·00f4af·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d78·02f6f5·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d48·02f6ec·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1470·000803·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1438·000803·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1c78·02fcd1·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1c40·02fcd1·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·221950·00a~~50f~~·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·221918·00a4f5·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22be60·007095·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22be10·007095·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·232ef8·003438·18·····38·261··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·232ea8·003438·18·····38·261··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·236330·004049·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·2362e0·004049·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a379·0001a9·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a329·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 3687, 15 lines modified		Offset 3687, 15 lines modified
3687	00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························130dac8	3687	00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························130dac8
3688	00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························130dad8	3688	00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························130dad8
3689	00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························130dae8	3689	00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························130dae8
3690	00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························130db00	3690	00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························130db00
3691	00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························130db18	3691	00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························130db18
3692	00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························130db28	3692	00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························130db28
3693	00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························130db38	3693	00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························130db38
3694	00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························130e708	3694	00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························130e6f8
3695	00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························130db50	3695	00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························130db50
3696	00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························130db60	3696	00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························130db60
3697	00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························130db78	3697	00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························130db78
3698	00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························12e0418	3698	00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························12e0418
3699	00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························130db88	3699	00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························130db88
3700	00000000015cf750··0000000000000403·R_AARCH64_RELATIVE························130db98	3700	00000000015cf750··0000000000000403·R_AARCH64_RELATIVE························130db98
3701	00000000015cf758··0000000000000403·R_AARCH64_RELATIVE························130dba8	3701	00000000015cf758··0000000000000403·R_AARCH64_RELATIVE························130dba8
Offset 3790, 15 lines modified		Offset 3790, 15 lines modified
3790	00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························130e1a8	3790	00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························130e1a8
3791	00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························130e1b8	3791	00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························130e1b8
3792	00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························130e1d0	3792	00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························130e1d0
3793	00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························130e1e0	3793	00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························130e1e0
3794	00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························12e5f48	3794	00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························12e5f48
3795	00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························130e1e8	3795	00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························130e1e8
3796	00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························130e200	3796	00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························130e200
3797	00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························130e300	3797	00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························130e308
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
Offset 3806, 15 lines modified		Offset 3806, 15 lines modified
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


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·39323934·38663030·63363337·38333762·92948f00c637837b
3	··0x00000010·65333931·396~~162~~34·61373~~666~~·33663665~~·e39~~19ab~~4a76f3~~f6e	2	··0x00000000·38313561·66623932·31343938·66616538·815afb921498fae8
		3	··0x00000010·31663965·63333362·65373039·33386339·1f9ec33be70938c9
4	··0x00000020·~~3862~~3~~262~~·65392e64·65627567·00000000·~~8b2be9~~.debug....	4	··0x00000020·65333034·37362e64·65627567·00000000·e30476.debug....
5	··0x00000030·~~72afe56e~~····························r..n	5	··0x00000030·f6f07cf1····························..\|.


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·64366261·65386264·37386339·35363535·d6bae8bd78c95655
3	··0x00000010·3~~2643661~~·323~~466~~32·33663737·363~~4386~~6·~~2d6a~~24f23f~~77648f~~	2	··0x00000000·39356335·32323239·66316130·33366536·95c52229f1a036e6
		3	··0x00000010·39383838·62316234·66343163·65383738·9888b1b4f41ce878
4	··0x00000020·333~~337~~66·6~~538~~2e64·65627567·00000000·~~337fe8~~.debug....	4	··0x00000020·32326262·62652e64·65627567·00000000·22bbbe.debug....
5	··0x00000030·~~d29765d7~~····························..e.	5	··0x00000030·0fe68b9a····························....


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·34346638·39326631·34626466·32343235·44f892f14bdf2425
3	··0x00000010·34656566·343~~531~~63·326~~26164~~·63636563·4eef4~~51c2badccec~~	2	··0x00000000·66653161·34386361·63643535·35663538·fe1a48cacd555f58
		3	··0x00000010·31666139·61666534·64653061·33386563·1fa9afe4de0a38ec
4	··0x00000020·31303435·6~~532~~2e64·65627567·00000000·~~1045e2~~.debug....	4	··0x00000020·65383730·66662e64·65627567·00000000·e870ff.debug....
5	··0x00000030·~~6370bcd4~~····························cp..	5	··0x00000030·006f1b59····························.o.Y


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:·0xa390e):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa3941):·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:·0x4a657):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a66e):·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:·0xbba29):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbba5c):·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:·0x7d199):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7d1b0):·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:·0x71~~8f9~~):·signed·char	37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x71910):·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:·0x41979):·__uint8_t	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x4195f):·__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:·0xb453c):·__int16_t	45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb456f):·__int16_t
46	····<4f>···DW_AT_decl_file···:·(data1)·31	46	····<4f>···DW_AT_decl_file···:·(data1)·31
47	····<50>···DW_AT_decl_line···:·(data1)·39	47	····<50>···DW_AT_decl_line···:·(data1)·39
48	····<51>···DW_AT_decl_column·:·(data1)·26	48	····<51>···DW_AT_decl_column·:·(data1)·26
49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int	49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)	50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)
51	····<54>···DW_AT_byte_size···:·(data1)·2	51	····<54>···DW_AT_byte_size···:·(data1)·2
52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)	52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)
53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b~~8ec~~):·short·int	53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b903):·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:·0xb9292):·__uint16_t	55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb92c5):·__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:·0x8b720):·__int32_t	61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b737):·__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:·0x90178):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x9018f):·__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:·0x63d64):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d7b):·__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:·0x68cb3):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68cca):·__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:·0x5a269):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a280):·__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:·0x60240):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x60257):·__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:·0x802b5):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x802cc):·__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:·0x57261):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57278):·__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:·0xcafad):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf93):·__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:·0x2f1c8):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f1ae):·__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 14313, 16 lines modified		Offset 14313, 16 lines modified
14313	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	14313	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14314	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	14314	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14315	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	14315	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14316	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14316	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14317	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14317	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14318	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14318	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14319	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14319	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14320	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	14320	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14321	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	14321	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

14322	··Offset:······················0x134e0	14322	··Offset:······················0x134e0
14323	··Version:·····················5	14323	··Version:·····················5
14324	··Offset·size:·················4	14324	··Offset·size:·················4

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

+GCC:·(Debian·14.2.0-19)·14.2.0
+D$&sEG\i
+kxuT-y3J
+Fj?m"B[_
+#kPw-thd
+)J~1B[^*
+OW0?SYK\
+/C·bO2FM
+X&B<icy?Nx
+~3qC3»  n?u
+|(vX*uX*
+;U.;Zky
+m*313C[.
+XTXn)NtE
+JJN**)wE
+N3R_L6l5
+b_Ykc-w'
+jhV5ig*
+P$a#n)6,·
+\&n'6,XB
+IdXx[l7X^
+B[F&M+(L;"dRH
+f*r_7:_b
+L.Lv;Yu!lP
+fBdN$fE*
+M+q8%h7I[w"
+O}%=-~?&
+Tj-$~7FKS
+zE+ihu,D+
+·At;Ih7[a
++oZN[M!*W
+z1M6:]u
+CE»     m01.O
+^Y.FGY]iG<p"
+^fo8)!{q
+vP^1NJ=
+N8cMxY3s
+N{CDe·o:
+H}Gus?BM]
+];F$$Fcb
+/?itHEq`
+*LpR6:N%e
+xM(v~9\[
+S}"r#DmT
+{IS}og+jT
+r?53ES|`
+Swi~%#Rw
+o,CpT@{#'
+Rc_w5t{L
+mseS.9&@
+f0EMc=B0
+Hc[Mb<» Rsu
+[4`qa@E!
+Fq%Bd
+,DJ;rOe
+snG&A"Dl5
+bRGvH'"D
+n}ql,$B$
+E>c6R!f~1
+!?u"Dd3#D
+?&23$BLY
+wfk\@?gy!
+S'qBGiBG
+dOqc/:q'
+NS&Ea"<+?
+j-=;=hYiP
+xVa*G:sD
+H|&n-6,·
+|K)|VD8i
+]U|=WW+1
+P|A)pCbmO
+cc0ZU{}m<p
+uvmc\F~I}
+J#L8h*b]
+^O&;Z$yv
+>|D@F73[
+&LGC}xB`
+bI=YU/8{Kl'
+?I"OZ8l"
+Vq3K_4PV
+LY2a5EByO
+Yq3]?t·m[*m
+`iu%xNA=
+T6='1&OY]
+u2hy=]U/
+P!mWkf» j
+qlB;»   .yE
+:1aXdwCN
+RtG"%~?N
+OSTx4u(Gzpv
+R;4D-rBI
+d7gI·{»  A
+?CB3<\D%<
+O\~)(E]d
+@o?)}}PF
+,%>?1Ki_L
+W$$4hmw$
+!A8w/O3»S
+j;Zfo!/T
+@cBaR(xT:
+Hdj1#q'4
+X4j#zh<F/
+JB·i|%qU
+TS)<Rs!b
+[Hew_5']
+y'`-Q&Zdi
+-mj-EFKj
+(O?c>xuC
+#·'TsknfH
+CQ·d)\Vx
+DJ"#*^E"
+Y<ae»   YtT3a
+EQ>x»   >xi
+b>\}Gf?a
+BhKCwXw=
+"3-65"=
+h&U,~g@)e
+F</)!aNh
+JiBBa@C?wr
+}'I`pH+F
+)W?>Wgpz&
+aQ8BLPd9
+E8Ph/O4"
+-xNQNJnu
+»       k·J4`F3
+<Y~^d;zi
+YTD,(**(


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:·179042	7	Installed-Size:·179041
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:·809~~2948~~f~~00c637~~8~~37be3~~9~~19ab4a~~76f3~~f6e8b2be9~~	13	Build-Ids:·69815afb921498fae81f9ec33be70938c9e30476


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/80/9~~2948~~f~~00c637~~8~~37be3~~9~~19ab4a~~76f3~~f6e8b2be9~~.debug	1	usr/lib/debug/.build-id/69/815afb921498fae81f9ec33be70938c9e30476.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:·0x1b230):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1b230):·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:·0x2050d):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x2050d):·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:·0x23dd5):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x23dd5):·__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:·0x1f703):·_IO_read_end	807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f703):·_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:·0x83b43c):·_chain	884	····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83b43c):·_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:·0x1c72d):·_flags2	898	····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c72d):·_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 52819, 16 lines modified		Offset 52819, 16 lines modified
52819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	52819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	52820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	52821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52824	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52824	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52825	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52825	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52826	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	52826	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52827	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	52827	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

52828	··Offset:······················0x49403	52828	··Offset:······················0x49403
52829	··Version:·····················5	52829	··Version:·····················5
52830	··Offset·size:·················4	52830	··Offset·size:·················4

52831	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52831	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52832	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52832	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1337383, 19 lines modified		Offset 1337383, 17 lines modified
1337383	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·	1337383	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1337384	·DW_MACRO_start_file·-·lineno:·24·filenum:·42	1337384	·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1337385	·DW_MACRO_end_file	1337385	·DW_MACRO_end_file
1337386	·DW_MACRO_import·-·offset·:·0x524c0	1337386	·DW_MACRO_import·-·offset·:·0x524c0
1337387	·DW_MACRO_end_file	1337387	·DW_MACRO_end_file
1337388	·DW_MACRO_start_file·-·lineno:·49·filenum:·136	1337388	·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1337389	·DW_MACRO_end_file	1337389	·DW_MACRO_end_file
1337390	·DW_MACRO_start_file·-·lineno:·50·filenum:·31	1337390	·DW_MACRO_start_file·-·lineno:·51·filenum:·31
1337391	·DW_MACRO_end_file
1337392	·DW_MACRO_start_file·-·lineno:·51·filenum:·112
1337393	·DW_MACRO_end_file	1337391	·DW_MACRO_end_file
1337394	·DW_MACRO_start_file·-·lineno:·54·filenum:·302	1337392	·DW_MACRO_start_file·-·lineno:·52·filenum:·302
1337395	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1337393	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1337396	·DW_MACRO_start_file·-·lineno:·41·filenum:·14	1337394	·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1337397	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1337395	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1337398	·DW_MACRO_start_file·-·lineno:·33·filenum:·15	1337396	·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1337399	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1337397	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1337400	·DW_MACRO_start_file·-·lineno:·35·filenum:·16	1337398	·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1337401	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1	1337399	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1337403, 14 lines modified		Offset 1337401, 16 lines modified
1337403	·DW_MACRO_end_file	1337401	·DW_MACRO_end_file
1337404	·DW_MACRO_end_file	1337402	·DW_MACRO_end_file
1337405	·DW_MACRO_import·-·offset·:·0x9fd7	1337403	·DW_MACRO_import·-·offset·:·0x9fd7
1337406	·DW_MACRO_start_file·-·lineno:·56·filenum:·177	1337404	·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1337407	·DW_MACRO_import·-·offset·:·0x50c84f	1337405	·DW_MACRO_import·-·offset·:·0x50c84f
1337408	·DW_MACRO_end_file	1337406	·DW_MACRO_end_file
1337409	·DW_MACRO_end_file	1337407	·DW_MACRO_end_file
		1337408	·DW_MACRO_start_file·-·lineno:·53·filenum:·112
		1337409	·DW_MACRO_end_file
1337410	·DW_MACRO_start_file·-·lineno:·57·filenum:·83	1337410	·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1337411	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·	1337411	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1337412	·DW_MACRO_start_file·-·lineno:·42·filenum:·177	1337412	·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1337413	·DW_MACRO_import·-·offset·:·0x50ce3b	1337413	·DW_MACRO_import·-·offset·:·0x50ce3b
1337414	·DW_MACRO_end_file	1337414	·DW_MACRO_end_file
1337415	·DW_MACRO_start_file·-·lineno:·43·filenum:·140	1337415	·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1337416	·DW_MACRO_import·-·offset·:·0x10d32	1337416	·DW_MACRO_import·-·offset·:·0x10d32


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:·9a~~f54~~2bfd~~26c06~~b~~0c491e14~~82a906b2~~b4fbc9~~4581~~d3c8cb~~9~~fb794414~~12aa~~a49f~~)·]	4194301	[·Too·much·input·for·diff·(SHA256:·be728d537e1b5153e3f838ed9d6ff2af3a1d045901151ba059c8a03ea91a02a7)·]

+vGCC:·(Debian·14.2.0-19)·14.2.0
+o69nCi_,
+»       GUW~i{^E
+_smY_kb$
+U_N?pZezmAF
+O·=!^GzR|
+OX$D>@n|
+&p*7x,f~LXQ
+[8V&JsN1
+tFZ%_W0x[
+Ceu?SaT.5
+DdrfxA?9~bza?9
+CT>IMw@e
+!w8#$SP`i
+L4C,~o-z*
+l?[|c`"=Q
+O@Fu·6)vb
+^Ak6K5+hz
+_1fBl{\nd
+wR2m|<Tr|<T
+e8b9mgp$
+YD;1,yL2
+}i»     Pdn9a
+,ZNU(Hb]
+d&ltbpGw
+mPs)@[f?
+f'4RWf'4R7f'4Rwf
+:h;djY(up
+h/SIwz&>
++[P9}z!T
+(T7=Egc]EOWh
+RJzCv_N*
+B·_E~W=c*Y
+TAWW`JoZ
+Ab\bzbab
+[kp_E(O]f
+[rOZ",U^
+RNJ9RNJ
+|Y04nN(~
+/H2ml,Y!7L
+lR{`aRkdlRkd
+vpD.m=0$4
+_PFX"L#I
+@'SwJ4]rJ<
+Rt>e`eD7
+qAiait·<z
+GZzFj.DjH
+Xge3wTzRj
+|v+S4pd8
+fSu6itVnP#VLs'
+$&}D+?%pJU)
+>QpQ{U[|)U
+bf>8xX0Z
+SZ»     IQ/qJW
+.qJWrNi_
+>pbt&+zf
+]gDywT7
+nFELqrq$
+d2;y~2KKE
+hOh@@4p
+YL»    d3-q
+'8+Me~R<
+`i:U:'Ji
+;T~Gh`\e4
+·=FXa'u5fV
+Uf9Qy\s
+!><H}_F]M6
+.M&'NOtY
+:F;D79$HF)4
+P6·L.HFic
+![CD/9$h
+kNfEt_/&_
++<KSdkPG>
+oXfpWB>L
+·;rJ7CNi
+SZj1Q%qJW
+oWrJ+'uQ
+SZLHRyrJ
+SD#oNiO#
+u<f»    }{L9,G
+wVz$hv~Gi6
+TS#4kSN>
+MH9·]l}mHt@
+``;t)L7H
+~R&,-?`<
+(7/vuth7c
+B#J»   \U@{
+PxF7l*aE
+qY7g|n{M
+lb)hZnIt
+oRbg8'un
+FWZRiE%
+j9"D\%W
+@F;OrFD1
+nj6Tl4|{Y
+(qlA>^-F~
+·XN2v·U
+=X%mBYX.
+zt1=9A~t1
+Ybz!4NR?
+IF)4-t^h
+w2M'-lx1
+·~E@&a/BR4
+XXk9'_sX
+N,Xd%K45
+~cz3gX'nF
+d»      t8Z39c
+u»      K$3fKh
+^i6<(8G/
+][^{fe(J
+:f>e.\#f
+f"i%{u-$
+['6CO$b9
+>+F5up@O
+E%+t+xEJ
+yM^dLNt5
+suE\$09UkLN
+ChQn7s/34
+?X?VDna*["
+o|L/;hsP
+oS`ymnR
+*roSp/Y&
+ep,(tL7@c
+cuS]buS/
+>Vcj»   >)U
+egk;_M
+Da|=NI+Q


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:·~~0bd6bae8bd78c95~~6~~552d6a2~~4f2~~3f7764~~8~~f337f~~e8	13	Build-Ids:·9295c52229f1a036e69888b1b4f41ce87822bbbe


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/0b/~~d6bae8bd78c95~~6~~552d6a2~~4f2~~3f7764~~8~~f337f~~e8.debug	1	usr/lib/debug/.build-id/92/95c52229f1a036e69888b1b4f41ce87822bbbe.debug


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

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·29d18a·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d1d0·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29dad8·0063b2·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29db18·0063b2·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3e90·02e797·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3ed0·02e797·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d2628·05b4cc·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d2668·05b4c9·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32daf8·0007d1·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32db38·0007d1·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e2d0·07dffc·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e310·07dffc·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac2d0·00cdac·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac310·00cdad·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b9080·01ab0a·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b90c0·01ab0a·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3b90·00fbd0·18·····36·1487··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3bd0·00fbd0·18·····36·1487··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3e3760·01c3cf·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3e37a0·01c3cf·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffb2f·000193·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffb6f·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:·0xa60b2):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa60cc):·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:·0x64000):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x64036):·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:·0x9b~~0f2~~):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9b10c):·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:·0xa60b4):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa60ce):·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:·0xa30bc):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa30d6):·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:·0x5b~~7ed~~):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b823):·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:·0x1457e9):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1457e9):·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:·0xd9dad):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9dc7):·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:·0x9c646):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c660):·__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:·0xa85d6):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa85f0):·__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:·0xa60c0):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa60da):·__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:·0xd9db4):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9dce):·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 48491, 16 lines modified		Offset 48491, 16 lines modified
48491	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	48491	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
48492	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	48492	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
48493	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	48493	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
48494	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	48494	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
48495	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	48495	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
48496	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	48496	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
48497	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	48497	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
48498	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	48498	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
48499	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	48499	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

48500	··Offset:······················0x3f212	48500	··Offset:······················0x3f212
48501	··Version:·····················5	48501	··Version:·····················5
48502	··Offset·size:·················4	48502	··Offset·size:·················4

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

+GCC:·(Debian·14.2.0-19)·14.2.0
+-O@:F.@:V>
+U'#w@K['5|J
+RBA-#s&c
+)v=»    .5_v
+>6}}z`jy"
+kv·G28V)
+;0}McL$_r)
+iu</P[}Y<^N
+HM3%DUQ!
+\nz[=%D'
+B4>/BT
+rqiB`%og
+To@D\m~-
+pG&DF--lj
+"ag)!N!!
+YVVXYz-F%
+c3;)U~JCJj
+roPS9>yVra
+\Q+\QW]Q
+i7yJcq{nm
+g=hHLYOe
+M&6A%-9\gN
+qb&*m"d^
+*&:7m!rb&
+-}3c&zx./
+@`\(0<)P
+rr`]j`Yz`E
+v,(|[g\]
+BiVh@|9:
++]8-w.F'
+=CI<(9CEe
+Jl|>(tA$F
+PSOh9dZs
+GV-j*$M5:
+Orbbm3cMN
+c8rL;d:MU?
+/4VFOkPh
+O>wDC0&/
+vrI@Zc,<C
+;~G?_J>@2
+s@(E1H('
+?7qatw":$p
+G*`'i=v;N
+,m/^$0Y
+Fhf>gVJK
+:`++Q%dZ»
+d;Ya&7)#J)
+·g"-51lI{_
+@YVEWUQ5
+.=r8.$:'
+jrTf»   eZg
+B+~g*L,}FG
+^_lBP+^XHR
+g-IQ$Ub"
+).$lN%y:
+E+jZB/Hy+
+\-6)u#a8
+[#AP4f7/
+J;@7Iyv5{0
+oqsp=F"J?
+E(qRN»  .*
+?d#d;dZ5
+[#wO5D=x=
+w4o5sG
+Gd$Ij<[^:of
+OPxTWEQ7\
+.+JfdSdm
+VtS@mCak7
+#ua;vBRU
+O(N3H<
+[^T4oy,i
+U0SZCj@;A
+L&Qcb]AFW`]·
+~*ih^2Ssk
+`@z;=S"Us
+?N5ok&^`
+k/zj·l^c
+/^i:3-)hj
+XrG&{=#J<*
+G5_vYM<#
+tgXh%B]~
+SN{xg<vg
+[5c95#q
+jq'N5,K9U
+(~·Fo(4-z
+=&[g?d9t
+s,VP%wXj
+X|v]-$Tv
+oOfeZwp-CP
+xAK0.qFb
+"»      lN-HU|8
+&P=6uSO3
+;/b»    5T*|
+wRiB`%w]
+T++hzh{8v
+:"<J&Dm
+#b|n=+}Oe
+fdJ&6#S2
+~yqLe)?<
+I#Y;Q|?*
+N)q]/FCda
+VB7b%zcV
+E25RX$S'
+E25SX$S7
+fs[]#5[O
+U4iOj@zF
+@'+#?xwA!u
+Yc_]6?7E
+&9G)X[;(
+VE+U[74Y
+LW>?dK%?$
+@:4fX|Q<v
+ChvH@l9:
+~zZ?vzZE
+t~E,8;zf
+U[8StnNsx
+v'a}k74+
+vLR35NBZ
+g9\^n\.^
+D`=ypNw!
+!iYEoF<
+e'!»    !@BB
+"<ZdtHOi
+<N?ot\.oQ
+%g}M-`UH.4
+_+q·C?-%|*


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/86/~~44f~~8~~92f14bd~~f~~24254ee~~f4~~51c2b~~adccec~~1045e2~~.debug	1	usr/lib/debug/.build-id/d3/fe1a48cacd555f581fa9afe4de0a38ece870ff.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:·0x739e2):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x739dd):·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:·0x8010c):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x80142):·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:·0xdf367):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf381):·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:·0x14cd4a):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cd4a):·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:·0x4e33c):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e337):·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:·0xbc8e8):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc8d7):·__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:·0xddf70):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddf8a):·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:·0xb4bc7):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4bb6):·__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:·0xc0460):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc044f):·__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:·0xa11fc):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa11eb):·__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:·364·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·364·(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:·0x134975):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x134975):·__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:·0x82382):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x823b8):·__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:·0xe9d76):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9d76):·__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:·0x2f9e1):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9fd):·__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:·0x136f10):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136f10):·__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:·0xb492e):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb491d):·__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:·0x115ffc):·__int_least32_t	137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115ffc):·__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:·0x95b45):·__uint_least32_t	143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x95b34):·__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:·0xf92e3):·__int_least64_t	149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf92e3):·__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; 16864739/16872319 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

+GCC:·(Debian·14.2.0-19)·14.2.0
+?0?5+qn
+cR%VE(.I4
+,X1»    6L*l»g
+»      ^L*l»  g
+m7pg1<\,
+EhTa7NFO
+rajn!?Q"LO
+up@<,[Tm@
+kfI!<>?mf2
+~$X@@e"M
+q@rd»   >Vb
+|7:*rf).+
+n,X}c5^Y]
+%A{2[q^+k
+rfUF\·G.
+pa·dv;Vw;\=%V
+X8kB3QPBL
+»       r;ap5N[
+]:8lp~{/
+[>,]HgSH
+%>loB&u_
+)K>0!F0"
+/PEi[F_x
+rH)i$=Mu
+/[9O{;9{5
+bZ>q^Q%X>
+_/(;O-
+%*=A}-5{
+j}7mt\{a
+Tw.*5VUj
+iHU-7)?N
+-#|%5CXW
+T<Q@QPPPQD@
+]:Og41^e
+ZFjrXvl#(
+-*z>CTr2D
+·HrCP!(K
+s%}JEr3b
+Pd9gLcEqI
+og2zI-j$
+Z+:G4cmG
+_~m1w#?
+Qi;xOgo
+*1|4K9"?
+Q~MXhO07
+;W#hnQMU
+%,Fhb1"E
+\Q+.sG-)
+rg;k0;]c
+D>X6>RO#
+·RnUCY'<
+<R%>G*>RE
+nMJWN;Ni]y
+@.ilX-t"nA
+Y;M%lQoS
+;!/8)r7v:
+Jf9|2JtK
+[a.:`:$;
+'@0g.7>»{
+FM3{uQe!
+q@g_q&Uu
+bw?XVR`"[
++uvoBb)T
+nnSH>suD;
+BH>suD;]
+W`wdRX>{
+@uD;?fv3
+-$no)v5`
+XZmOx1-j4v
+G9yAve0O
+Yrt<tGth(
+/JvW]v<h
+%QvY>voHn
+>O)O.7R6i
+L9Jcg}A]
+bw[^SRk[
+FXL#.&s9/
+e].amfAm
+hhXTTTTTTT
+l8]D(pi[
+^*ecPXu'Tq
+R;^uSu1p
+·>V2n}`&K
+L7>31xj&
+»       |89tOT\*F
+"!7\Qh6
+-:]%iO|
+G0ZF_7vw
+FU~eDBN-)
+*zIu/1Nvh
+_.H82JFu2
+eUN#<*Zl
+b)Ht@`R(O
+»      E]v?9"
+`~vb)q'N
+{_?(Q|f?^
+qo~%aXP,
+bjdBA5f6K
+#]?RdS/J
+S+\b+SB)j[
+*vR8KVAjF
+NL1[Z,13
+w.·GT~l*
+R~^.n7-IO
+JfnUqZdL
+WojZbB^65
+Y3]KLx?>
+(WsQB>» rs
+]St1fo0n
+@3DLJr?y
+Wtbqp5]U
+/<P@QPPPQT
+[A@A@P@@Q~owu
+eX#W4'Fw+
+sNWm-v>acO
+.X3bnZy^v
+G?Bkri|.k
+})hI?A8M
+A%shgW"z
+{%c0k/c7o
+(C^R*C~=bKJ#
+r%-/H1_K1
+a#1,ZaE_
+%!IJT*[E
+I<U~AXRA
+s|GyV~a({