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

⊟

106 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.59 KB

cvc5_1.1.2-3_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.1 KB

data.tar.xz ¶

⊟

2.08 KB

data.tar ¶

⊟

2.06 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

721 B

readelf --wide --notes {} ¶

⊟

432 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

⊟

46.3 KB

libcvc5-1_1.1.2-3_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

⊟

45.7 KB

data.tar.xz ¶

⊟

45.7 KB

data.tar ¶

⊟

45.7 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

17.5 KB

readelf --wide --relocs {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

840 B

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

Ordering differences only

⊟

7.31 KB

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

⊟

5.17 KB

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

⊟

6.02 KB

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

⊟

7.29 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-3_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.6 KB

data.tar.xz ¶

⊟

1.58 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.

⊟

633 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.19 KB

python3-cvc5_1.1.2-3_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.68 KB

data.tar.xz ¶

⊟

1.65 KB

data.tar ¶

⊟

1.64 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.

⊟

633 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

⊟

26.0 MB

cvc5-dbgsym_1.1.2-3_arm64.deb ¶

⊟

452 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

26.0 MB

data.tar.xz ¶

⊟

26.0 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

26.0 MB

./usr/lib/debug/.build-id/37/4ccc31d6a80edfe01fb445aee4da4e31ff657b.debug vs.

./usr/lib/debug/.build-id/14/968616f2eb7f7387df5192e0f9459900b540c5.debug ¶

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

⊟

969 B

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

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

⊟

3.56 KB

readelf --wide --sections {} ¶

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

⊟

815 B

readelf --wide --notes {} ¶

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

⊟

25.0 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

⊟

9.42 KB

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

⊟

1020 KB

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

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

⊟

31.7 MB

libcvc5-1-dbgsym_1.1.2-3_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 ¶

⊟

31.7 MB

data.tar.xz ¶

⊟

31.7 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

31.7 MB

./usr/lib/debug/.build-id/df/19ecde8c469cd3ac149e23ca10975425d1a7ac.debug vs.

./usr/lib/debug/.build-id/99/b8a76d6e79563bcff82fe980118d8371d53769.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.52 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

30.8 MB

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

⊟

3.44 KB

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

⊟

544 B

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

⊟

651 KB

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

⊟

221 KB

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

⊟

36.8 MB

libcvc5parser1-dbgsym_1.1.2-3_arm64.deb ¶

⊟

367 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

36.8 MB

data.tar.xz ¶

⊟

36.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

36.8 MB

./usr/lib/debug/.build-id/02/e5540662ba294b70e8cc98a315952c097c6f7b.debug vs.

./usr/lib/debug/.build-id/66/ad54a1c670785f6c3e4638df1180f59468cbba.debug ¶

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

⊟

865 B

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

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

633 B

readelf --wide --notes {} ¶

⊟

35.8 MB

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

⊟

1.99 KB

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

⊟

15.3 KB

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

⊟

1000 KB

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

⊟

11.8 MB

python3-cvc5-dbgsym_1.1.2-3_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 ¶

⊟

11.8 MB

data.tar.xz ¶

⊟

11.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

11.8 MB

./usr/lib/debug/.build-id/b5/bf09fd4f15cda74c7d65482981405127307d14.debug vs.

./usr/lib/debug/.build-id/55/719f12da3798e2f8e248bf8671c798caf1cc25.debug ¶

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

⊟

865 B

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

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

633 B

readelf --wide --notes {} ¶

⊟

10.8 MB

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

⊟

1.04 KB

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

⊟

7.52 KB

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

⊟

1.04 MB

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

+·04dd5ed6a20df553fb367eb96f0a4e73·1936568·debug·optional·cvc5-dbgsym_1.1.2-3_arm64.deb
+·0688d1174d380ab513059bf09ede5637·98500·math·optional·cvc5_1.1.2-3_arm64.deb
+·1fb0170e6e649cbf194227be8063dc44·177172248·debug·optional·libcvc5-1-dbgsym_1.1.2-3_arm64.deb
+·56e693f76824445eb9e8df344550ec1e·1937052·debug·optional·cvc5-dbgsym_1.1.2-3_arm64.deb
+·701e60c982c346a293e8124e2e315a35·98020·math·optional·cvc5_1.1.2-3_arm64.deb
+·89f91c793f349f71833ed90722cd5ac0·177176204·debug·optional·libcvc5-1-dbgsym_1.1.2-3_arm64.deb
+·a3d143f876ad48857f05aa0ea7bcc872·5805076·libs·optional·libcvc5-1_1.1.2-3_arm64.deb
+·4b129826e96432345a4edfcd04bfdadb·93084·libdevel·optional·libcvc5-dev_1.1.2-3_arm64.deb
+·0458e6aef64e60f704e5766084c761d9·3988084·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_arm64.deb
+·e976c8ee1401f0afde529bff2fda6b82·207908·libs·optional·libcvc5parser1_1.1.2-3_arm64.deb
+·c2bf95bd3f59adabfbc31c468cc14d97·2595672·debug·optional·python3-cvc5-dbgsym_1.1.2-3_arm64.deb
+·f5dd83ee6df7224e8396675688da5456·3988240·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_arm64.deb
+·8b0852f0cbdd33e9605a5f33d7744f35·207912·libs·optional·libcvc5parser1_1.1.2-3_arm64.deb
+·c10d0622ff36835a4b4795518dfed34a·2595948·debug·optional·python3-cvc5-dbgsym_1.1.2-3_arm64.deb
+·04fc735aacf83deafad2789fcf00aa01·272536·python·optional·python3-cvc5_1.1.2-3_arm64.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2025-07-27·11:13:23.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2025-07-27·11:13:23.000000·debian-binary
2	-rw-r--r--···0········0········0·····1116·2025-07-27·11:13:23.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1116·2025-07-27·11:13:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0····97192·2025-07-27·11:13:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0····96712·2025-07-27·11:13:23.000000·data.tar.xz


Offset 1, 11 lines modified		Offset 1, 11 lines modified

1	Displaying·notes·found·in:·.note.gnu.build-id	1	Displaying·notes·found·in:·.note.gnu.build-id
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·374~~ccc3~~1d6~~a80ed~~f~~e01fb445ae~~e~~4da~~4~~e31ff6~~57b	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·14968616f2eb7f7387df5192e0f9459900b540c5

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

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


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	e{/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·34636363·33316436·61383065·64666530·4ccc31d6a80edfe0
3	··0x00000010·31666234·34356~~165~~·65~~3464~~61·3~~465~~3331·~~1fb445ae~~e~~4da4e31~~	2	··0x00000000·39363836·31366632·65623766·37333837·968616f2eb7f7387
		3	··0x00000010·64663531·39326530·66393435·39393030·df5192e0f9459900
4	··0x00000020·6~~666~~3635·~~3762~~2e64·65627567·00000000·~~ff657b~~.debug....	4	··0x00000020·62353430·63352e64·65627567·00000000·b540c5.debug....
5	··0x00000030·67~~6bd~~ebd····························gk..	5	··0x00000030·e7e0beb9····························....


Offset 8909, 16 lines modified		Offset 8909, 16 lines modified
8909	preprocess-only	8909	preprocess-only
8910	preregister-mode	8910	preregister-mode
8911	print-cores-full	8911	print-cores-full
8912	print-dot-clusters	8912	print-dot-clusters
8913	print-inst	8913	print-inst
8914	print-inst-full	8914	print-inst-full
8915	produce-abducts	8915	produce-abducts
8916	produce-assertions
8917	interactive-mode	8916	interactive-mode
		8917	produce-assertions
8918	produce-assignments	8918	produce-assignments
8919	produce-difficulty	8919	produce-difficulty
8920	produce-interpolants	8920	produce-interpolants
8921	produce-learned-literals	8921	produce-learned-literals
8922	produce-proofs	8922	produce-proofs
8923	produce-unsat-assumptions	8923	produce-unsat-assumptions
8924	proof-alethe-res-pivots	8924	proof-alethe-res-pivots
Offset 9094, 16 lines modified		Offset 9094, 16 lines modified
9094	use-fcsimplex	9094	use-fcsimplex
9095	use-portfolio	9095	use-portfolio
9096	user-pat	9096	user-pat
9097	user-pool	9097	user-pool
9098	var-elim-quant	9098	var-elim-quant
9099	var-ineq-elim-quant	9099	var-ineq-elim-quant
9100	wf-checking	9100	wf-checking
9101	write-partitions-to
9102	partitions-out	9101	partitions-out
		9102	write-partitions-to
9103	·[options]·[input-file]	9103	·[options]·[input-file]
9104	Without·an·input·file,·or·with·`-',·cvc5·reads·from·standard·input.	9104	Without·an·input·file,·or·with·`-',·cvc5·reads·from·standard·input.
9105	cvc5·options:	9105	cvc5·options:
9106	+:iL:o:qt:vhHs:Vm	9106	+:iL:o:qt:vhHs:Vm
9107	'·missing·its·required·argument	9107	'·missing·its·required·argument
9108	can't·understand·option·`	9108	can't·understand·option·`
9109	Most·commonly-used·cvc5·options:	9109	Most·commonly-used·cvc5·options:


Offset 73613, 15 lines modified		Offset 73613, 15 lines modified
73613	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	73613	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
73614	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	73614	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
73615	» mov» w2,·#0xb1··················» //·#177	73615	» mov» w2,·#0xb1··················» //·#177
73616	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	73616	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
73617	» mov» x4,·#0x1c20················» //·#7200	73617	» mov» x4,·#0x1c20················» //·#7200
73618	» adrp» x1,·1342000·<CaDiCaL::Internal::cover()@@Base+0x42180>	73618	» adrp» x1,·1342000·<CaDiCaL::Internal::cover()@@Base+0x42180>
73619	» add» x0,·x19,·x4	73619	» add» x0,·x19,·x4
73620	» add» x1,·x1,·#0xf98	73620	» add» x1,·x1,·#0xfa0
73621	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	73621	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
73622	» str» w2,·[sp,·#7224]	73622	» str» w2,·[sp,·#7224]
73623	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	73623	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
73624	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	73624	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
73625	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	73625	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
73626	» mov» w2,·#0xb1··················» //·#177	73626	» mov» w2,·#0xb1··················» //·#177
73627	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	73627	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
Offset 74294, 15 lines modified		Offset 74294, 15 lines modified
74294	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	74294	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
74295	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	74295	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
74296	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	74296	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
74297	» mov» w2,·#0xec··················» //·#236	74297	» mov» w2,·#0xec··················» //·#236
74298	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	74298	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
74299	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>	74299	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>
74300	» mov» x24,·#0x25d0················» //·#9680	74300	» mov» x24,·#0x25d0················» //·#9680
74301	» add» x1,·x1,·#0x398	74301	» add» x1,·x1,·#0x390
74302	» add» x0,·x19,·x24	74302	» add» x0,·x19,·x24
74303	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	74303	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
74304	» str» w2,·[sp,·#9704]	74304	» str» w2,·[sp,·#9704]
74305	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	74305	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
74306	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	74306	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
74307	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	74307	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
74308	» mov» w2,·#0xec··················» //·#236	74308	» mov» w2,·#0xec··················» //·#236
Offset 75139, 28 lines modified		Offset 75139, 28 lines modified
75139	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75139	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75140	» str» w2,·[sp,·#12744]	75140	» str» w2,·[sp,·#12744]
75141	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75141	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75142	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75142	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75143	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75143	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75144	» mov» w2,·#0x135·················» //·#309	75144	» mov» w2,·#0x135·················» //·#309
75145	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75145	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75146	» adrp» x1,·1307000·<CaDiCaL::Internal::cover()@@Base+0x7180>	75146	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>
75147	» mov» x28,·#0x31d8················» //·#12760	75147	» mov» x28,·#0x31d8················» //·#12760
75148	» add» x1,·x1,·#0x810	75148	» add» x1,·x1,·#0x990
75149	» add» x0,·x19,·x28	75149	» add» x0,·x19,·x28
75150	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75150	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75151	» str» w2,·[sp,·#12784]	75151	» str» w2,·[sp,·#12784]
75152	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75152	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75153	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75153	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75154	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75154	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75155	» mov» w2,·#0x136·················» //·#310	75155	» mov» w2,·#0x136·················» //·#310
75156	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75156	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75157	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>	75157	» adrp» x1,·1307000·<CaDiCaL::Internal::cover()@@Base+0x7180>
75158	» mov» x27,·#0x3200················» //·#12800	75158	» mov» x27,·#0x3200················» //·#12800
75159	» add» x1,·x1,·#0x990	75159	» add» x1,·x1,·#0x810
75160	» add» x0,·x19,·x27	75160	» add» x0,·x19,·x27
75161	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75161	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75162	» str» w2,·[sp,·#12824]	75162	» str» w2,·[sp,·#12824]
75163	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75163	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75164	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75164	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75165	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75165	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75166	» mov» w2,·#0x136·················» //·#310	75166	» mov» w2,·#0x136·················» //·#310
Offset 75382, 28 lines modified		Offset 75382, 28 lines modified
75382	» str» w2,·[sp,·#13624]	75382	» str» w2,·[sp,·#13624]
75383	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75383	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75384	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75384	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75385	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75385	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75386	» mov» w2,·#0x14a·················» //·#330	75386	» mov» w2,·#0x14a·················» //·#330
75387	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75387	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75388	» mov» x5,·#0x3548················» //·#13640	75388	» mov» x5,·#0x3548················» //·#13640
75389	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>	75389	» adrp» x1,·1314000·<CaDiCaL::Internal::cover()@@Base+0x14180>
75390	» add» x0,·x19,·x5	75390	» add» x0,·x19,·x5
75391	» add» x1,·x1,·#0x~~af8~~	75391	» add» x1,·x1,·#0x850
75392	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75392	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75393	» str» w2,·[sp,·#13664]	75393	» str» w2,·[sp,·#13664]
75394	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75394	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75395	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75395	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75396	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75396	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75397	» mov» w2,·#0x14b·················» //·#331	75397	» mov» w2,·#0x14b·················» //·#331
75398	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75398	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75399	» mov» x4,·#0x3570················» //·#13680	75399	» mov» x4,·#0x3570················» //·#13680
75400	» adrp» x1,·1314000·<CaDiCaL::Internal::cover()@@Base+0x14180>	75400	» adrp» x1,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>
75401	» add» x0,·x19,·x4	75401	» add» x0,·x19,·x4
75402	» add» x1,·x1,·#0x~~850~~	75402	» add» x1,·x1,·#0xaf8
75403	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75403	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75404	» str» w2,·[sp,·#13704]	75404	» str» w2,·[sp,·#13704]
75405	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75405	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
75406	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	75406	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
75407	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	75407	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
75408	» mov» w2,·#0x14b·················» //·#331	75408	» mov» w2,·#0x14b·················» //·#331
75409	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	75409	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
Offset 77058, 15 lines modified		Offset 77058, 15 lines modified
77058	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	77058	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
77059	» mov» x6,·#0x4b20················» //·#19232	77059	» mov» x6,·#0x4b20················» //·#19232
77060	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	77060	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
77061	» mov» w2,·#0x1d4·················» //·#468	77061	» mov» w2,·#0x1d4·················» //·#468
77062	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	77062	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
77063	» add» x0,·sp,·x6	77063	» add» x0,·sp,·x6
77064	» adrp» x1,·1344000·<CaDiCaL::Internal::cover()@@Base+0x44180>	77064	» adrp» x1,·1344000·<CaDiCaL::Internal::cover()@@Base+0x44180>
77065	» add» x1,·x1,·#0x5d0	77065	» add» x1,·x1,·#0x5c8
77066	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	77066	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
77067	» str» w2,·[x3]	77067	» str» w2,·[x3]
77068	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	77068	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
77069	» str» x0,·[sp,·#24]	77069	» str» x0,·[sp,·#24]
77070	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>	77070	» bl» 11c4460·<cvc5::internal::Options::Options()@@Base+0x14c0>
77071	/usr/include/c++/15/bits/hashtable.h:473·(discriminator·3)	77071	/usr/include/c++/15/bits/hashtable.h:473·(discriminator·3)
77072	» adrp» x26,·160c000·<cvc5::internal::Printer::d_printers@@Base+0x1ef0>	77072	» adrp» x26,·160c000·<cvc5::internal::Printer::d_printers@@Base+0x1ef0>
Offset 404733, 15 lines modified		Offset 404733, 15 lines modified
404733	» add» x0,·x2,·#0xb48	404733	» add» x0,·x2,·#0xb48
404734	» bl» 1af768·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2948>	404734	» bl» 1af768·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2948>
404735	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360	404735	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360
404736	» bl» 8c960·<cvc5::internal::Configuration::isAssertionBuild()@plt>	404736	» bl» 8c960·<cvc5::internal::Configuration::isAssertionBuild()@plt>
404737	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·2)	404737	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·2)
404738	» adrp» x2,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>	404738	» adrp» x2,·1343000·<CaDiCaL::Internal::cover()@@Base+0x43180>
404739	» mov» w1,·w0	404739	» mov» w1,·w0
404740	» add» x0,·x2,·#0x578	404740	» add» x0,·x2,·#0x590
404741	» bl» 1af768·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2948>	404741	» bl» 1af768·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2948>
404742	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361	404742	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361
404743	» bl» 86cb0·<cvc5::internal::Configuration::isCoverageBuild()@plt>	404743	» bl» 86cb0·<cvc5::internal::Configuration::isCoverageBuild()@plt>
404744	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·2)	404744	./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·2)
404745	» adrp» x2,·1308000·<CaDiCaL::Internal::cover()@@Base+0x8180>	404745	» adrp» x2,·1308000·<CaDiCaL::Internal::cover()@@Base+0x8180>
404746	» mov» w1,·w0	404746	» mov» w1,·w0
404747	» add» x0,·x2,·#0xb50	404747	» add» x0,·x2,·#0xb50
Offset 4194296, 8 lines modified		Offset 4194296, 8 lines modified
4194296	» mov» x3,·#0xffffe0000000000·····» //·#1152919305583591424	4194296	» mov» x3,·#0xffffe0000000000·····» //·#1152919305583591424
4194297	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:301	4194297	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:301
4194298	» and» x1,·x1,·#0xfffff0000000000	4194298	» and» x1,·x1,·#0xfffff0000000000
4194299	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:301·(discriminator·1)	4194299	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:301·(discriminator·1)
4194300	» cmp» x1,·x3	4194300	» cmp» x1,·x3
Max diff block lines reached; 267/7302 bytes (3.66%) of diff not shown.


Offset 17104, 16 lines modified		Offset 17104, 16 lines modified
17104	··0x01342f20·65000000·00000000·6974652d·6474742d·e.......ite-dtt-	17104	··0x01342f20·65000000·00000000·6974652d·6474742d·e.......ite-dtt-
17105	··0x01342f30·73706c69·742d7175·616e7400·00000000·split-quant.....	17105	··0x01342f30·73706c69·742d7175·616e7400·00000000·split-quant.....
17106	··0x01342f40·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..	17106	··0x01342f40·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..
17107	··0x01342f50·6974652d·73696d70·00000000·00000000·ite-simp........	17107	··0x01342f50·6974652d·73696d70·00000000·00000000·ite-simp........
17108	··0x01342f60·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....	17108	··0x01342f60·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....
17109	··0x01342f70·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......	17109	··0x01342f70·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......
17110	··0x01342f80·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...	17110	··0x01342f80·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...
17111	··0x01342f90·6c6~~16e67~~·~~00000000~~·696e7075~~·742d~~6~~c61·la~~n~~g....i~~npu~~t-la~~	17111	··0x01342f90·696e7075·742d6c61·6e677561·67650000·input-language..
17112	··0x01342fa0·6e6~~775~~61·~~6765~~0000·6c656d6d·612d696e·~~nguage~~..lemma-in	17112	··0x01342fa0·6c616e67·00000000·6c656d6d·612d696e·lang....lemma-in
17113	··0x01342fb0·70726f63·65737300·6c656d6d·612d696e·process.lemma-in	17113	··0x01342fb0·70726f63·65737300·6c656d6d·612d696e·process.lemma-in
17114	··0x01342fc0·70726f63·6573732d·696e6665·722d6571·process-infer-eq	17114	··0x01342fc0·70726f63·6573732d·696e6665·722d6571·process-infer-eq
17115	··0x01342fd0·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in	17115	··0x01342fd0·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in
17116	··0x01342fe0·70726f63·6573732d·73756273·00000000·process-subs....	17116	··0x01342fe0·70726f63·6573732d·73756273·00000000·process-subs....
17117	··0x01342ff0·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay	17117	··0x01342ff0·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
17118	··0x01343000·2d666169·6c757265·00000000·00000000·-failure........	17118	··0x01343000·2d666169·6c757265·00000000·00000000·-failure........
17119	··0x01343010·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus	17119	··0x01343010·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
Offset 17167, 16 lines modified		Offset 17167, 16 lines modified
17167	··0x01343310·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si	17167	··0x01343310·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17168	··0x01343320·6d700000·00000000·6f70742d·7265732d·mp......opt-res-	17168	··0x01343320·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17169	··0x01343330·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s	17169	··0x01343330·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17170	··0x01343340·697a6500·00000000·6f757470·75740000·ize.....output..	17170	··0x01343340·697a6500·00000000·6f757470·75740000·ize.....output..
17171	··0x01343350·6f757470·75742d6c·616e6700·00000000·output-lang.....	17171	··0x01343350·6f757470·75742d6c·616e6700·00000000·output-lang.....
17172	··0x01343360·70617273·652d6f6e·6c790000·00000000·parse-only......	17172	··0x01343360·70617273·652d6f6e·6c790000·00000000·parse-only......
17173	··0x01343370·70617274·69616c2d·74726967·67657273·partial-triggers	17173	··0x01343370·70617274·69616c2d·74726967·67657273·partial-triggers
17174	··0x01343380·00000000·00000000·70617274·6974696f·........partitio
17175	··0x01343390·~~6e2d6368~~·~~65636b~~00·63686563·6b000000·~~n-check~~.check...	17174	··0x01343380·00000000·00000000·63686563·6b000000·........check...
		17175	··0x01343390·70617274·6974696f·6e2d6368·65636b00·partition-check.
17176	··0x013433a0·70617274·6974696f·6e2d636f·6e666c69·partition-confli	17176	··0x013433a0·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17177	··0x013433b0·63742d73·697a6500·70617274·6974696f·ct-size.partitio	17177	··0x013433b0·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17178	··0x013433c0·6e2d7374·6172742d·74696d65·00000000·n-start-time....	17178	··0x013433c0·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17179	··0x013433d0·70617274·6974696f·6e000000·00000000·partition.......	17179	··0x013433d0·70617274·6974696f·6e000000·00000000·partition.......
17180	··0x013433e0·70617274·6974696f·6e2d7374·72617465·partition-strate	17180	··0x013433e0·70617274·6974696f·6e2d7374·72617465·partition-strate
17181	··0x013433f0·67790000·00000000·70617274·6974696f·gy......partitio	17181	··0x013433f0·67790000·00000000·70617274·6974696f·gy......partitio
17182	··0x01343400·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.	17182	··0x01343400·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
Offset 17198, 17 lines modified		Offset 17198, 17 lines modified
17198	··0x01343500·7465722d·6d6f6465·00000000·00000000·ter-mode........	17198	··0x01343500·7465722d·6d6f6465·00000000·00000000·ter-mode........
17199	··0x01343510·7072696e·742d636f·7265732d·66756c6c·print-cores-full	17199	··0x01343510·7072696e·742d636f·7265732d·66756c6c·print-cores-full
17200	··0x01343520·00000000·00000000·7072696e·742d646f·........print-do	17200	··0x01343520·00000000·00000000·7072696e·742d646f·........print-do
17201	··0x01343530·742d636c·75737465·72730000·00000000·t-clusters......	17201	··0x01343530·742d636c·75737465·72730000·00000000·t-clusters......
17202	··0x01343540·7072696e·742d696e·73740000·00000000·print-inst......	17202	··0x01343540·7072696e·742d696e·73740000·00000000·print-inst......
17203	··0x01343550·7072696e·742d696e·73742d66·756c6c00·print-inst-full.	17203	··0x01343550·7072696e·742d696e·73742d66·756c6c00·print-inst-full.
17204	··0x01343560·70726f64·7563652d·61626475·63747300·produce-abducts.	17204	··0x01343560·70726f64·7563652d·61626475·63747300·produce-abducts.
17205	··0x01343570·70726f64·7563652d·61737365·7274696f·produce-assertio
17206	··0x01343580·6e730000·00000000·696e7465·72616374·ns......interact
17207	··0x01343590·6976652d·6d6~~f64~~65·~~00000000~~·0~~0000000·~~ive-mode~~........~~	17205	··0x01343570·696e7465·72616374·6976652d·6d6f6465·interactive-mode
		17206	··0x01343580·00000000·00000000·70726f64·7563652d·........produce-
		17207	··0x01343590·61737365·7274696f·6e730000·00000000·assertions......
17208	··0x013435a0·70726f64·7563652d·61737369·676e6d65·produce-assignme	17208	··0x013435a0·70726f64·7563652d·61737369·676e6d65·produce-assignme
17209	··0x013435b0·6e747300·00000000·70726f64·7563652d·nts.....produce-	17209	··0x013435b0·6e747300·00000000·70726f64·7563652d·nts.....produce-
17210	··0x013435c0·64696666·6963756c·74790000·00000000·difficulty......	17210	··0x013435c0·64696666·6963756c·74790000·00000000·difficulty......
17211	··0x013435d0·70726f64·7563652d·696e7465·72706f6c·produce-interpol	17211	··0x013435d0·70726f64·7563652d·696e7465·72706f6c·produce-interpol
17212	··0x013435e0·616e7473·00000000·70726f64·7563652d·ants....produce-	17212	··0x013435e0·616e7473·00000000·70726f64·7563652d·ants....produce-
17213	··0x013435f0·6c656172·6e65642d·6c697465·72616c73·learned-literals	17213	··0x013435f0·6c656172·6e65642d·6c697465·72616c73·learned-literals
17214	··0x01343600·00000000·00000000·70726f64·7563652d·........produce-	17214	··0x01343600·00000000·00000000·70726f64·7563652d·........produce-
Offset 17458, 17 lines modified		Offset 17458, 17 lines modified
17458	··0x01344540·7573652d·706f7274·666f6c69·6f000000·use-portfolio...	17458	··0x01344540·7573652d·706f7274·666f6c69·6f000000·use-portfolio...
17459	··0x01344550·7573652d·736f6900·75736572·2d706174·use-soi.user-pat	17459	··0x01344550·7573652d·736f6900·75736572·2d706174·use-soi.user-pat
17460	··0x01344560·00000000·00000000·75736572·2d706f6f·........user-poo	17460	··0x01344560·00000000·00000000·75736572·2d706f6f·........user-poo
17461	··0x01344570·6c000000·00000000·7661722d·656c696d·l.......var-elim	17461	··0x01344570·6c000000·00000000·7661722d·656c696d·l.......var-elim
17462	··0x01344580·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq	17462	··0x01344580·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq
17463	··0x01344590·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....	17463	··0x01344590·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....
17464	··0x013445a0·76657262·6f736500·77662d63·6865636b·verbose.wf-check	17464	··0x013445a0·76657262·6f736500·77662d63·6865636b·verbose.wf-check
17465	··0x013445b0·696e6700·00000000·7~~77269~~74·6~~52d70~~61·ing.....~~wri~~t~~e-pa~~	17465	··0x013445b0·696e6700·00000000·70617274·6974696f·ing.....partitio
		17466	··0x013445c0·6e732d6f·75740000·77726974·652d7061·ns-out..write-pa
17466	··0x013445c0·72746974·696f6e73·2d746f00·00000000·rtitions-to.....	17467	··0x013445d0·72746974·696f6e73·2d746f00·00000000·rtitions-to.....
17467	··0x013445d0·70617274·6974696f·6e732d6f·75740000·partitions-out..
17468	··0x013445e0·75736167·653a2000·205b6f70·74696f6e·usage:·.·[option	17468	··0x013445e0·75736167·653a2000·205b6f70·74696f6e·usage:·.·[option
17469	··0x013445f0·735d205b·696e7075·742d6669·6c655d00·s]·[input-file].	17469	··0x013445f0·735d205b·696e7075·742d6669·6c655d00·s]·[input-file].
17470	··0x01344600·57697468·6f757420·616e2069·6e707574·Without·an·input	17470	··0x01344600·57697468·6f757420·616e2069·6e707574·Without·an·input
17471	··0x01344610·2066696c·652c206f·72207769·74682060··file,·or·with·`	17471	··0x01344610·2066696c·652c206f·72207769·74682060··file,·or·with·`
17472	··0x01344620·2d272c20·63766335·20726561·64732066·-',·cvc5·reads·f	17472	··0x01344620·2d272c20·63766335·20726561·64732066·-',·cvc5·reads·f
17473	··0x01344630·726f6d20·7374616e·64617264·20696e70·rom·standard·inp	17473	··0x01344630·726f6d20·7374616e·64617264·20696e70·rom·standard·inp
17474	··0x01344640·75742e00·00000000·63766335·206f7074·ut......cvc5·opt	17474	··0x01344640·75742e00·00000000·63766335·206f7074·ut......cvc5·opt


Offset 1865, 15 lines modified		Offset 1865, 15 lines modified
1865	··0x015ef8c8·b8263401·00000000·c8263401·00000000·.&4......&4.....	1865	··0x015ef8c8·b8263401·00000000·c8263401·00000000·.&4......&4.....
1866	··0x015ef8d8·e8263401·00000000·f8263401·00000000·.&4......&4.....	1866	··0x015ef8d8·e8263401·00000000·f8263401·00000000·.&4......&4.....
1867	··0x015ef8e8·10273401·00000000·28273401·00000000·.'4.....('4.....	1867	··0x015ef8e8·10273401·00000000·28273401·00000000·.'4.....('4.....
1868	··0x015ef8f8·38273401·00000000·48273401·00000000·8'4.....H'4.....	1868	··0x015ef8f8·38273401·00000000·48273401·00000000·8'4.....H'4.....
1869	··0x015ef908·58273401·00000000·68273401·00000000·X'4.....h'4.....	1869	··0x015ef908·58273401·00000000·68273401·00000000·X'4.....h'4.....
1870	··0x015ef918·78273401·00000000·90273401·00000000·x'4......'4.....	1870	··0x015ef918·78273401·00000000·90273401·00000000·x'4......'4.....
1871	··0x015ef928·a8273401·00000000·b8273401·00000000·.'4......'4.....	1871	··0x015ef928·a8273401·00000000·b8273401·00000000·.'4......'4.....
1872	··0x015ef938·c8273401·00000000·98333401·00000000·.'4......34.....	1872	··0x015ef938·c8273401·00000000·88333401·00000000·.'4......34.....
1873	··0x015ef948·e0273401·00000000·f0273401·00000000·.'4......'4.....	1873	··0x015ef948·e0273401·00000000·f0273401·00000000·.'4......'4.....
1874	··0x015ef958·08283401·00000000·204f3101·00000000·.(4.....·O1.....	1874	··0x015ef958·08283401·00000000·204f3101·00000000·.(4.....·O1.....
1875	··0x015ef968·18283401·00000000·28283401·00000000·.(4.....((4.....	1875	··0x015ef968·18283401·00000000·28283401·00000000·.(4.....((4.....
1876	··0x015ef978·38283401·00000000·50283401·00000000·8(4.....P(4.....	1876	··0x015ef978·38283401·00000000·50283401·00000000·8(4.....P(4.....
1877	··0x015ef988·68283401·00000000·88283401·00000000·h(4......(4.....	1877	··0x015ef988·68283401·00000000·88283401·00000000·h(4......(4.....
1878	··0x015ef998·a0283401·00000000·b8283401·00000000·.(4......(4.....	1878	··0x015ef998·a0283401·00000000·b8283401·00000000·.(4......(4.....
1879	··0x015ef9a8·d0283401·00000000·f0283401·00000000·.(4......(4.....	1879	··0x015ef9a8·d0283401·00000000·f0283401·00000000·.(4......(4.....
Offset 1917, 23 lines modified		Offset 1917, 23 lines modified
1917	··0x015efc08·e02d3401·00000000·50a43001·00000000·.-4.....P.0.....	1917	··0x015efc08·e02d3401·00000000·50a43001·00000000·.-4.....P.0.....
1918	··0x015efc18·30713301·00000000·f82d3401·00000000·0q3......-4.....	1918	··0x015efc18·30713301·00000000·f82d3401·00000000·0q3......-4.....
1919	··0x015efc28·082e3401·00000000·60a43001·00000000·..4.....`.0.....	1919	··0x015efc28·082e3401·00000000·60a43001·00000000·..4.....`.0.....
1920	··0x015efc38·202e3401·00000000·382e3401·00000000··.4.....8.4.....	1920	··0x015efc38·202e3401·00000000·382e3401·00000000··.4.....8.4.....
1921	··0x015efc48·482e3401·00000000·602e3401·00000000·H.4.....`.4.....	1921	··0x015efc48·482e3401·00000000·602e3401·00000000·H.4.....`.4.....
1922	··0x015efc58·702e3401·00000000·50aa3101·00000000·p.4.....P.1.....	1922	··0x015efc58·702e3401·00000000·50aa3101·00000000·p.4.....P.1.....
1923	··0x015efc68·782e3401·00000000·902e3401·00000000·x.4.......4.....	1923	··0x015efc68·782e3401·00000000·902e3401·00000000·x.4.......4.....
1924	··0x015efc78·982f3401·00000000·a02e3401·00000000·./4.......4.....	1924	··0x015efc78·902f3401·00000000·a02e3401·00000000·./4.......4.....
1925	··0x015efc88·b02e3401·00000000·c02e3401·00000000·..4.......4.....	1925	··0x015efc88·b02e3401·00000000·c02e3401·00000000·..4.......4.....
1926	··0x015efc98·d02e3401·00000000·e02e3401·00000000·..4.......4.....	1926	··0x015efc98·d02e3401·00000000·e02e3401·00000000·..4.......4.....
1927	··0x015efca8·f02e3401·00000000·002f3401·00000000·..4....../4.....	1927	··0x015efca8·f02e3401·00000000·002f3401·00000000·..4....../4.....
1928	··0x015efcb8·88353401·00000000·102f3401·00000000·.54....../4.....	1928	··0x015efcb8·70353401·00000000·102f3401·00000000·p54....../4.....
1929	··0x015efcc8·282f3401·00000000·402f3401·00000000·(/4.....@/4.....	1929	··0x015efcc8·282f3401·00000000·402f3401·00000000·(/4.....@/4.....
1930	··0x015efcd8·502f3401·00000000·602f3401·00000000·P/4.....`/4.....	1930	··0x015efcd8·502f3401·00000000·602f3401·00000000·P/4.....`/4.....
1931	··0x015efce8·702f3401·00000000·802f3401·00000000·p/4....../4.....	1931	··0x015efce8·702f3401·00000000·802f3401·00000000·p/4....../4.....
1932	··0x015efcf8·902f3401·00000000·d8a83001·00000000·./4.......0.....	1932	··0x015efcf8·a02f3401·00000000·d8a83001·00000000·./4.......0.....
1933	··0x015efd08·a82f3401·00000000·b82f3401·00000000·./4....../4.....	1933	··0x015efd08·a82f3401·00000000·b82f3401·00000000·./4....../4.....
1934	··0x015efd18·d82f3401·00000000·f02f3401·00000000·./4....../4.....	1934	··0x015efd18·d82f3401·00000000·f02f3401·00000000·./4....../4.....
1935	··0x015efd28·10303401·00000000·28303401·00000000·.04.....(04.....	1935	··0x015efd28·10303401·00000000·28303401·00000000·.04.....(04.....
1936	··0x015efd38·38303401·00000000·50303401·00000000·804.....P04.....	1936	··0x015efd38·38303401·00000000·50303401·00000000·804.....P04.....
1937	··0x015efd48·60303401·00000000·78303401·00000000·`04.....x04.....	1937	··0x015efd48·60303401·00000000·78303401·00000000·`04.....x04.....
1938	··0x015efd58·c8513101·00000000·90303401·00000000·.Q1......04.....	1938	··0x015efd58·c8513101·00000000·90303401·00000000·.Q1......04.....
1939	··0x015efd68·a0303401·00000000·b8303401·00000000·.04......04.....	1939	··0x015efd68·a0303401·00000000·b8303401·00000000·.04......04.....
Offset 1955, 28 lines modified		Offset 1955, 28 lines modified
1955	··0x015efe68·b8323401·00000000·c8323401·00000000·.24......24.....	1955	··0x015efe68·b8323401·00000000·c8323401·00000000·.24......24.....
1956	··0x015efe78·e8323401·00000000·f0323401·00000000·.24......24.....	1956	··0x015efe78·e8323401·00000000·f0323401·00000000·.24......24.....
1957	··0x015efe88·f8323401·00000000·10333401·00000000·.24......34.....	1957	··0x015efe88·f8323401·00000000·10333401·00000000·.24......34.....
1958	··0x015efe98·28333401·00000000·e87c3301·00000000·(34......\|3.....	1958	··0x015efe98·28333401·00000000·e87c3301·00000000·(34......\|3.....
1959	··0x015efea8·88663301·00000000·48333401·00000000·.f3.....H34.....	1959	··0x015efea8·88663301·00000000·48333401·00000000·.f3.....H34.....
1960	··0x015efeb8·50333401·00000000·c8683101·00000000·P34......h1.....	1960	··0x015efeb8·50333401·00000000·c8683101·00000000·P34......h1.....
1961	··0x015efec8·60333401·00000000·70333401·00000000·`34.....p34.....	1961	··0x015efec8·60333401·00000000·70333401·00000000·`34.....p34.....
1962	··0x015efed8·d0333401·00000000·88333401·00000000·.34......34.....	1962	··0x015efed8·d0333401·00000000·90333401·00000000·.34......34.....
1963	··0x015efee8·a0333401·00000000·b8333401·00000000·.34......34.....	1963	··0x015efee8·a0333401·00000000·b8333401·00000000·.34......34.....
1964	··0x015efef8·e0333401·00000000·f8333401·00000000·.34......34.....	1964	··0x015efef8·e0333401·00000000·f8333401·00000000·.34......34.....
1965	··0x015eff08·10343401·00000000·28343401·00000000·.44.....(44.....	1965	··0x015eff08·10343401·00000000·28343401·00000000·.44.....(44.....
1966	··0x015eff18·d0453401·00000000·38343401·00000000·.E4.....844.....	1966	··0x015eff18·b8453401·00000000·38343401·00000000·.E4.....844.....
1967	··0x015eff28·48343401·00000000·58343401·00000000·H44.....X44.....	1967	··0x015eff28·48343401·00000000·58343401·00000000·H44.....X44.....
1968	··0x015eff38·68343401·00000000·78343401·00000000·h44.....x44.....	1968	··0x015eff38·68343401·00000000·78343401·00000000·h44.....x44.....
1969	··0x015eff48·90343401·00000000·a8343401·00000000·.44......44.....	1969	··0x015eff48·90343401·00000000·a8343401·00000000·.44......44.....
1970	··0x015eff58·c0343401·00000000·d0343401·00000000·.44......44.....	1970	··0x015eff58·c0343401·00000000·d0343401·00000000·.44......44.....
1971	··0x015eff68·e8343401·00000000·f8343401·00000000·.44......44.....	1971	··0x015eff68·e8343401·00000000·f8343401·00000000·.44......44.....
1972	··0x015eff78·10353401·00000000·28353401·00000000·.54.....(54.....	1972	··0x015eff78·10353401·00000000·28353401·00000000·.54.....(54.....
1973	··0x015eff88·40353401·00000000·50353401·00000000·@54.....P54.....	1973	··0x015eff88·40353401·00000000·50353401·00000000·@54.....P54.....
1974	··0x015eff98·e8773001·00000000·60353401·00000000·.w0.....`54.....	1974	··0x015eff98·e8773001·00000000·60353401·00000000·.w0.....`54.....
1975	··0x015effa8·70353401·00000000·a0353401·00000000·p54......54.....	1975	··0x015effa8·88353401·00000000·a0353401·00000000·.54......54.....
1976	··0x015effb8·b8353401·00000000·d0353401·00000000·.54......54.....	1976	··0x015effb8·b8353401·00000000·d0353401·00000000·.54......54.....
1977	··0x015effc8·e8353401·00000000·18793101·00000000·.54......y1.....	1977	··0x015effc8·e8353401·00000000·18793101·00000000·.54......y1.....
1978	··0x015effd8·08363401·00000000·18363401·00000000·.64......64.....	1978	··0x015effd8·08363401·00000000·18363401·00000000·.64......64.....
1979	··0x015effe8·90b03201·00000000·38363401·00000000·..2.....864.....	1979	··0x015effe8·90b03201·00000000·38363401·00000000·..2.....864.....
1980	··0x015efff8·50363401·00000000·60363401·00000000·P64.....`64.....	1980	··0x015efff8·50363401·00000000·60363401·00000000·P64.....`64.....
1981	··0x015f0008·70363401·00000000·88363401·00000000·p64......64.....	1981	··0x015f0008·70363401·00000000·88363401·00000000·p64......64.....
1982	··0x015f0018·98363401·00000000·b0363401·00000000·.64......64.....	1982	··0x015f0018·98363401·00000000·b0363401·00000000·.64......64.....
Offset 2074, 15 lines modified		Offset 2074, 15 lines modified
2074	··0x015f05d8·30483101·00000000·08453401·00000000·0H1......E4.....	2074	··0x015f05d8·30483101·00000000·08453401·00000000·0H1......E4.....
2075	··0x015f05e8·20453401·00000000·30453401·00000000··E4.....0E4.....	2075	··0x015f05e8·20453401·00000000·30453401·00000000··E4.....0E4.....
2076	··0x015f05f8·40453401·00000000·50453401·00000000·@E4.....PE4.....	2076	··0x015f05f8·40453401·00000000·50453401·00000000·@E4.....PE4.....
2077	··0x015f0608·58453401·00000000·68453401·00000000·XE4.....hE4.....	2077	··0x015f0608·58453401·00000000·68453401·00000000·XE4.....hE4.....
2078	··0x015f0618·78453401·00000000·88453401·00000000·xE4......E4.....	2078	··0x015f0618·78453401·00000000·88453401·00000000·xE4......E4.....
2079	··0x015f0628·a0453401·00000000·e0363001·00000000·.E4......60.....	2079	··0x015f0628·a0453401·00000000·e0363001·00000000·.E4......60.....
2080	··0x015f0638·e0353001·00000000·a8453401·00000000·.50......E4.....	2080	··0x015f0638·e0353001·00000000·a8453401·00000000·.50......E4.....
2081	··0x015f0648·b8453401·00000000·a86d3301·00000000·.E4......m3.....	2081	··0x015f0648·c8453401·00000000·a86d3301·00000000·.E4......m3.....
2082	··0x015f0658·b06d3301·00000000·887b3001·00000000·.m3......{0.....	2082	··0x015f0658·b06d3301·00000000·887b3001·00000000·.m3......{0.....
2083	··0x015f0668·a06d3301·00000000·603d3401·00000000·.m3.....`=4.....	2083	··0x015f0668·a06d3301·00000000·603d3401·00000000·.m3.....`=4.....
2084	··0x015f0678·30433401·00000000·c0703301·00000000·0C4......p3.....	2084	··0x015f0678·30433401·00000000·c0703301·00000000·0C4......p3.....
2085	··0x015f0688·30a33301·00000000·d01b3101·00000000·0.3.......1.....	2085	··0x015f0688·30a33301·00000000·d01b3101·00000000·0.3.......1.....
2086	··0x015f0698·e8853301·00000000·a88b3001·00000000·..3.......0.....	2086	··0x015f0698·e8853301·00000000·a88b3001·00000000·..3.......0.....
2087	··0x015f06a8·c08b3001·00000000·e0853301·00000000·..0.......3.....	2087	··0x015f06a8·c08b3001·00000000·e0853301·00000000·..0.......3.....
2088	··0x015f06b8·48863301·00000000·58863301·00000000·H.3.....X.3.....	2088	··0x015f06b8·48863301·00000000·58863301·00000000·H.3.....X.3.....


Offset 308, 17 lines modified		Offset 308, 17 lines modified
308	··0x01601310·00000000·00000000·71010000·00000000·........q.......	308	··0x01601310·00000000·00000000·71010000·00000000·........q.......
309	··0x01601320·50aa3101·00000000·01000000·00000000·P.1.............	309	··0x01601320·50aa3101·00000000·01000000·00000000·P.1.............
310	··0x01601330·00000000·00000000·72010000·00000000·........r.......	310	··0x01601330·00000000·00000000·72010000·00000000·........r.......
311	··0x01601340·902e3401·00000000·00000000·00000000·..4.............	311	··0x01601340·902e3401·00000000·00000000·00000000·..4.............
312	··0x01601350·00000000·00000000·73010000·00000000·........s.......	312	··0x01601350·00000000·00000000·73010000·00000000·........s.......
313	··0x01601360·98833501·00000000·00000000·00000000·..5.............	313	··0x01601360·98833501·00000000·00000000·00000000·..5.............
314	··0x01601370·00000000·00000000·74010000·00000000·........t.......	314	··0x01601370·00000000·00000000·74010000·00000000·........t.......
315	··0x01601380·902f3401·00000000·01000000·00000000·./4.............	315	··0x01601380·a02f3401·00000000·01000000·00000000·./4.............
316	··0x01601390·00000000·00000000·75010000·00000000·........u.......	316	··0x01601390·00000000·00000000·75010000·00000000·........u.......
317	··0x016013a0·982f3401·00000000·01000000·00000000·./4.............	317	··0x016013a0·902f3401·00000000·01000000·00000000·./4.............
318	··0x016013b0·00000000·00000000·76010000·00000000·........v.......	318	··0x016013b0·00000000·00000000·76010000·00000000·........v.......
319	··0x016013c0·88663301·00000000·01000000·00000000·.f3.............	319	··0x016013c0·88663301·00000000·01000000·00000000·.f3.............
320	··0x016013d0·00000000·00000000·77010000·00000000·........w.......	320	··0x016013d0·00000000·00000000·77010000·00000000·........w.......
321	··0x016013e0·f8773001·00000000·01000000·00000000·.w0.............	321	··0x016013e0·f8773001·00000000·01000000·00000000·.w0.............
322	··0x016013f0·00000000·00000000·78010000·00000000·........x.......	322	··0x016013f0·00000000·00000000·78010000·00000000·........x.......
323	··0x01601400·48333401·00000000·01000000·00000000·H34.............	323	··0x01601400·48333401·00000000·01000000·00000000·H34.............
324	··0x01601410·00000000·00000000·79010000·00000000·........y.......	324	··0x01601410·00000000·00000000·79010000·00000000·........y.......
Offset 592, 17 lines modified		Offset 592, 17 lines modified
592	··0x016024d0·00000000·00000000·ff010000·00000000·................	592	··0x016024d0·00000000·00000000·ff010000·00000000·................
593	··0x016024e0·50283401·00000000·01000000·00000000·P(4.............	593	··0x016024e0·50283401·00000000·01000000·00000000·P(4.............
594	··0x016024f0·00000000·00000000·00020000·00000000·................	594	··0x016024f0·00000000·00000000·00020000·00000000·................
595	··0x01602500·68283401·00000000·01000000·00000000·h(4.............	595	··0x01602500·68283401·00000000·01000000·00000000·h(4.............
596	··0x01602510·00000000·00000000·01020000·00000000·................	596	··0x01602510·00000000·00000000·01020000·00000000·................
597	··0x01602520·a0283401·00000000·01000000·00000000·.(4.............	597	··0x01602520·a0283401·00000000·01000000·00000000·.(4.............
598	··0x01602530·00000000·00000000·02020000·00000000·................	598	··0x01602530·00000000·00000000·02020000·00000000·................
599	··0x01602540·88333401·00000000·01000000·00000000·.34.............	599	··0x01602540·90333401·00000000·01000000·00000000·.34.............
600	··0x01602550·00000000·00000000·03020000·00000000·................	600	··0x01602550·00000000·00000000·03020000·00000000·................
601	··0x01602560·98333401·00000000·01000000·00000000·.34.............	601	··0x01602560·88333401·00000000·01000000·00000000·.34.............
602	··0x01602570·00000000·00000000·04020000·00000000·................	602	··0x01602570·00000000·00000000·04020000·00000000·................
603	··0x01602580·a0333401·00000000·01000000·00000000·.34.............	603	··0x01602580·a0333401·00000000·01000000·00000000·.34.............
604	··0x01602590·00000000·00000000·05020000·00000000·................	604	··0x01602590·00000000·00000000·05020000·00000000·................
605	··0x016025a0·b8333401·00000000·01000000·00000000·.34.............	605	··0x016025a0·b8333401·00000000·01000000·00000000·.34.............
606	··0x016025b0·00000000·00000000·06020000·00000000·................	606	··0x016025b0·00000000·00000000·06020000·00000000·................
607	··0x016025c0·e0333401·00000000·01000000·00000000·.34.............	607	··0x016025c0·e0333401·00000000·01000000·00000000·.34.............
608	··0x016025d0·00000000·00000000·07020000·00000000·................	608	··0x016025d0·00000000·00000000·07020000·00000000·................
Offset 614, 17 lines modified		Offset 614, 17 lines modified
614	··0x01602630·00000000·00000000·0a020000·00000000·................	614	··0x01602630·00000000·00000000·0a020000·00000000·................
615	··0x01602640·28343401·00000000·01000000·00000000·(44.............	615	··0x01602640·28343401·00000000·01000000·00000000·(44.............
616	··0x01602650·00000000·00000000·0b020000·00000000·................	616	··0x01602650·00000000·00000000·0b020000·00000000·................
617	··0x01602660·20383401·00000000·00000000·00000000··84.............	617	··0x01602660·20383401·00000000·00000000·00000000··84.............
618	··0x01602670·00000000·00000000·0c020000·00000000·................	618	··0x01602670·00000000·00000000·0c020000·00000000·................
619	··0x01602680·f8873501·00000000·00000000·00000000·..5.............	619	··0x01602680·f8873501·00000000·00000000·00000000·..5.............
620	··0x01602690·00000000·00000000·0d020000·00000000·................	620	··0x01602690·00000000·00000000·0d020000·00000000·................
621	··0x016026a0·b8453401·00000000·01000000·00000000·.E4.............	621	··0x016026a0·c8453401·00000000·01000000·00000000·.E4.............
622	··0x016026b0·00000000·00000000·0e020000·00000000·................	622	··0x016026b0·00000000·00000000·0e020000·00000000·................
623	··0x016026c0·d0453401·00000000·01000000·00000000·.E4.............	623	··0x016026c0·b8453401·00000000·01000000·00000000·.E4.............
624	··0x016026d0·00000000·00000000·0f020000·00000000·................	624	··0x016026d0·00000000·00000000·0f020000·00000000·................
625	··0x016026e0·c02c3401·00000000·00000000·00000000·.,4.............	625	··0x016026e0·c02c3401·00000000·00000000·00000000·.,4.............
626	··0x016026f0·00000000·00000000·10020000·00000000·................	626	··0x016026f0·00000000·00000000·10020000·00000000·................
627	··0x01602700·10883501·00000000·00000000·00000000·..5.............	627	··0x01602700·10883501·00000000·00000000·00000000·..5.............
628	··0x01602710·00000000·00000000·11020000·00000000·................	628	··0x01602710·00000000·00000000·11020000·00000000·................
629	··0x01602720·802d3401·00000000·01000000·00000000·.-4.............	629	··0x01602720·802d3401·00000000·01000000·00000000·.-4.............
630	··0x01602730·00000000·00000000·12020000·00000000·................	630	··0x01602730·00000000·00000000·12020000·00000000·................
Offset 1404, 17 lines modified		Offset 1404, 17 lines modified
1404	··0x01605790·00000000·00000000·95030000·00000000·................	1404	··0x01605790·00000000·00000000·95030000·00000000·................
1405	··0x016057a0·10963501·00000000·00000000·00000000·..5.............	1405	··0x016057a0·10963501·00000000·00000000·00000000·..5.............
1406	··0x016057b0·00000000·00000000·96030000·00000000·................	1406	··0x016057b0·00000000·00000000·96030000·00000000·................
1407	··0x016057c0·60353401·00000000·00000000·00000000·`54.............	1407	··0x016057c0·60353401·00000000·00000000·00000000·`54.............
1408	··0x016057d0·00000000·00000000·97030000·00000000·................	1408	··0x016057d0·00000000·00000000·97030000·00000000·................
1409	··0x016057e0·28963501·00000000·00000000·00000000·(.5.............	1409	··0x016057e0·28963501·00000000·00000000·00000000·(.5.............
1410	··0x016057f0·00000000·00000000·98030000·00000000·................	1410	··0x016057f0·00000000·00000000·98030000·00000000·................
1411	··0x01605800·70353401·00000000·00000000·00000000·p54.............	1411	··0x01605800·88353401·00000000·00000000·00000000·.54.............
1412	··0x01605810·00000000·00000000·99030000·00000000·................	1412	··0x01605810·00000000·00000000·99030000·00000000·................
1413	··0x01605820·88353401·00000000·00000000·00000000·.54.............	1413	··0x01605820·70353401·00000000·00000000·00000000·p54.............
1414	··0x01605830·00000000·00000000·9a030000·00000000·................	1414	··0x01605830·00000000·00000000·9a030000·00000000·................
1415	··0x01605840·40963501·00000000·00000000·00000000·@.5.............	1415	··0x01605840·40963501·00000000·00000000·00000000·@.5.............
1416	··0x01605850·00000000·00000000·9b030000·00000000·................	1416	··0x01605850·00000000·00000000·9b030000·00000000·................
1417	··0x01605860·58963501·00000000·00000000·00000000·X.5.............	1417	··0x01605860·58963501·00000000·00000000·00000000·X.5.............
1418	··0x01605870·00000000·00000000·9c030000·00000000·................	1418	··0x01605870·00000000·00000000·9c030000·00000000·................
1419	··0x01605880·a0353401·00000000·00000000·00000000·.54.............	1419	··0x01605880·a0353401·00000000·00000000·00000000·.54.............
1420	··0x01605890·00000000·00000000·9d030000·00000000·................	1420	··0x01605890·00000000·00000000·9d030000·00000000·................
Offset 1675, 15 lines modified		Offset 1675, 15 lines modified
1675	··0x01606880·01000000·00000000·01000000·00000000·................	1675	··0x01606880·01000000·00000000·01000000·00000000·................
1676	··0x01606890·00000000·00000000·e8733601·00000000·.........s6.....	1676	··0x01606890·00000000·00000000·e8733601·00000000·.........s6.....
1677	··0x016068a0·201e3601·00000000·01000000·00000000··.6.............	1677	··0x016068a0·201e3601·00000000·01000000·00000000··.6.............
1678	··0x016068b0·01000000·00000000·00000000·00000000·................	1678	··0x016068b0·01000000·00000000·00000000·00000000·................
1679	··0x016068c0·c8733601·00000000·301e3601·00000000·.s6.....0.6.....	1679	··0x016068c0·c8733601·00000000·301e3601·00000000·.s6.....0.6.....
1680	··0x016068d0·01000000·01000000·03000000·00000000·................	1680	··0x016068d0·01000000·01000000·03000000·00000000·................
1681	··0x016068e0·00000000·00000000·b0733601·00000000·.........s6.....	1681	··0x016068e0·00000000·00000000·b0733601·00000000·.........s6.....
1682	··0x016068f0·98333401·00000000·00000000·00000000·.34.............	1682	··0x016068f0·88333401·00000000·00000000·00000000·.34.............
1683	··0x01606900·01000000·00000000·00000000·00000000·................	1683	··0x01606900·01000000·00000000·00000000·00000000·................
1684	··0x01606910·90733601·00000000·401e3601·00000000·.s6.....@.6.....	1684	··0x01606910·90733601·00000000·401e3601·00000000·.s6.....@.6.....
1685	··0x01606920·01000000·00000000·01000000·00000000·................	1685	··0x01606920·01000000·00000000·01000000·00000000·................
1686	··0x01606930·00000000·00000000·70733601·00000000·........ps6.....	1686	··0x01606930·00000000·00000000·70733601·00000000·........ps6.....
1687	··0x01606940·581e3601·00000000·01000000·00000000·X.6.............	1687	··0x01606940·581e3601·00000000·01000000·00000000·X.6.............
1688	··0x01606950·01000000·00000000·00000000·00000000·................	1688	··0x01606950·01000000·00000000·00000000·00000000·................
1689	··0x01606960·50733601·00000000·681e3601·00000000·Ps6.....h.6.....	1689	··0x01606960·50733601·00000000·681e3601·00000000·Ps6.....h.6.....
Offset 2102, 15 lines modified		Offset 2102, 15 lines modified
2102	··0x01608330·181e3601·00000000·01000000·00000000·..6.............	2102	··0x01608330·181e3601·00000000·01000000·00000000·..6.............
2103	··0x01608340·01000000·00000000·00000000·00000000·................	2103	··0x01608340·01000000·00000000·00000000·00000000·................
2104	··0x01608350·e8733601·00000000·201e3601·00000000·.s6.....·.6.....	2104	··0x01608350·e8733601·00000000·201e3601·00000000·.s6.....·.6.....
2105	··0x01608360·01000000·00000000·01000000·00000000·................	2105	··0x01608360·01000000·00000000·01000000·00000000·................
2106	··0x01608370·00000000·00000000·c8733601·00000000·.........s6.....	2106	··0x01608370·00000000·00000000·c8733601·00000000·.........s6.....
2107	··0x01608380·301e3601·00000000·01000000·01000000·0.6.............	2107	··0x01608380·301e3601·00000000·01000000·01000000·0.6.............
2108	··0x01608390·03000000·00000000·00000000·00000000·................	2108	··0x01608390·03000000·00000000·00000000·00000000·................
2109	··0x016083a0·b0733601·00000000·98333401·00000000·.s6......34.....	2109	··0x016083a0·b0733601·00000000·88333401·00000000·.s6......34.....
2110	··0x016083b0·00000000·00000000·01000000·00000000·................	2110	··0x016083b0·00000000·00000000·01000000·00000000·................
2111	··0x016083c0·00000000·00000000·90733601·00000000·.........s6.....	2111	··0x016083c0·00000000·00000000·90733601·00000000·.........s6.....
2112	··0x016083d0·401e3601·00000000·01000000·00000000·@.6.............	2112	··0x016083d0·401e3601·00000000·01000000·00000000·@.6.............
2113	··0x016083e0·01000000·00000000·00000000·00000000·................	2113	··0x016083e0·01000000·00000000·00000000·00000000·................
2114	··0x016083f0·70733601·00000000·581e3601·00000000·ps6.....X.6.....	2114	··0x016083f0·70733601·00000000·581e3601·00000000·ps6.....X.6.....
2115	··0x01608400·01000000·00000000·01000000·00000000·................	2115	··0x01608400·01000000·00000000·01000000·00000000·................
2116	··0x01608410·00000000·00000000·50733601·00000000·........Ps6.....	2116	··0x01608410·00000000·00000000·50733601·00000000·........Ps6.....


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·arm64	5	Architecture:·arm64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·2386	7	Installed-Size:·2386
8	Depends:·cvc5·(=·1.1.2-3)	8	Depends:·cvc5·(=·1.1.2-3)
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:·374~~ccc3~~1d6~~a80ed~~f~~e01fb445ae~~e~~4da~~4~~e31ff6~~57b	12	Build-Ids:·14968616f2eb7f7387df5192e0f9459900b540c5


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/37/4~~ccc3~~1d6~~a80ed~~f~~e01fb445ae~~e~~4da~~4~~e31ff6~~57b.debug	1	usr/lib/debug/.build-id/14/968616f2eb7f7387df5192e0f9459900b540c5.debug


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/37/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/14/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2432~~136~~·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/37/4~~ccc3~~1d6~~a80ed~~f~~e01fb445ae~~e~~4da~~4~~e31ff6~~57b.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2432080·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/14/968616f2eb7f7387df5192e0f9459900b540c5.debug
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/
10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5	10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-07-27·11:13: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:···············0xae00	11	··Entry·point·address:···············0xae00
12	··Start·of·program·headers:··········64·(bytes·into·file)	12	··Start·of·program·headers:··········64·(bytes·into·file)
13	··Start·of·section·headers:··········2429576·(bytes·into·file)	13	··Start·of·section·headers:··········2429520·(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·0x251288:	1	There·are·40·section·headers,·starting·at·offset·0x251250:

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.build-id·NOTE············00000000000002e0·0002e0·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············00000000000002e0·0002e0·000024·00···A··0···0··4
6	··[·2]·.interp···········NOBITS··········0000000000000304·000304·00001b·00···A··0···0··1	6	··[·2]·.interp···········NOBITS··········0000000000000304·000304·00001b·00···A··0···0··1
7	··[·3]·.gnu.hash·········NOBITS··········0000000000000320·000304·00005c·00···A··4···0··8	7	··[·3]·.gnu.hash·········NOBITS··········0000000000000320·000304·00005c·00···A··4···0··8
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000006f618·05f5e8·000150·00··WA··0···0··8	27	··[22]·.data.rel.ro······NOBITS··········000000000006f618·05f5e8·000150·00··WA··0···0··8
28	··[23]·.dynamic··········NOBITS··········000000000006f768·05f5e8·000260·10··WA··5···0··8	28	··[23]·.dynamic··········NOBITS··········000000000006f768·05f5e8·000260·10··WA··5···0··8
29	··[24]·.got··············NOBITS··········000000000006f9c8·05f5e8·000638·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········000000000006f9c8·05f5e8·000638·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········0000000000070000·05f5e8·006180·00··WA··0···0··8	30	··[25]·.data·············NOBITS··········0000000000070000·05f5e8·006180·00··WA··0···0··8
31	··[26]·.bss··············NOBITS··········0000000000076180·05f5e8·000100·00··WA··0···0··8	31	··[26]·.bss··············NOBITS··········0000000000076180·05f5e8·000100·00··WA··0···0··8
32	··[27]·.comment··········PROGBITS········0000000000000000·05a820·00001e·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·05a820·00001e·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05a840·0001ad·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05a840·0001ad·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·05a9f0·163ad8·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·05a9f0·163a94·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1be4c8·0034e0·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1be488·0034e0·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·1c19a8·0100e6·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·1c1968·0100e6·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·1d1a90·02f724·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·1d1a50·02f729·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·2011b8·000811·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·201180·000811·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·2019d0·0359c6·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·201998·0359c6·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·237398·00a5b1·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·237360·00a5b1·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·241950·008573·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·241918·008573·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·249ec8·003318·18·····38·256··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·249e90·003318·18·····38·256··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·24d1e0·003efb·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·24d1a8·003efb·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·2510db·0001a9·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·2510a3·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 3697, 15 lines modified		Offset 3697, 15 lines modified
3697	00000000015ef908··0000000000000403·R_AARCH64_RELATIVE························1342758	3697	00000000015ef908··0000000000000403·R_AARCH64_RELATIVE························1342758
3698	00000000015ef910··0000000000000403·R_AARCH64_RELATIVE························1342768	3698	00000000015ef910··0000000000000403·R_AARCH64_RELATIVE························1342768
3699	00000000015ef918··0000000000000403·R_AARCH64_RELATIVE························1342778	3699	00000000015ef918··0000000000000403·R_AARCH64_RELATIVE························1342778
3700	00000000015ef920··0000000000000403·R_AARCH64_RELATIVE························1342790	3700	00000000015ef920··0000000000000403·R_AARCH64_RELATIVE························1342790
3701	00000000015ef928··0000000000000403·R_AARCH64_RELATIVE························13427a8	3701	00000000015ef928··0000000000000403·R_AARCH64_RELATIVE························13427a8
3702	00000000015ef930··0000000000000403·R_AARCH64_RELATIVE························13427b8	3702	00000000015ef930··0000000000000403·R_AARCH64_RELATIVE························13427b8
3703	00000000015ef938··0000000000000403·R_AARCH64_RELATIVE························13427c8	3703	00000000015ef938··0000000000000403·R_AARCH64_RELATIVE························13427c8
3704	00000000015ef940··0000000000000403·R_AARCH64_RELATIVE························1343398	3704	00000000015ef940··0000000000000403·R_AARCH64_RELATIVE························1343388
3705	00000000015ef948··0000000000000403·R_AARCH64_RELATIVE························13427e0	3705	00000000015ef948··0000000000000403·R_AARCH64_RELATIVE························13427e0
3706	00000000015ef950··0000000000000403·R_AARCH64_RELATIVE························13427f0	3706	00000000015ef950··0000000000000403·R_AARCH64_RELATIVE························13427f0
3707	00000000015ef958··0000000000000403·R_AARCH64_RELATIVE························1342808	3707	00000000015ef958··0000000000000403·R_AARCH64_RELATIVE························1342808
3708	00000000015ef960··0000000000000403·R_AARCH64_RELATIVE························1314f20	3708	00000000015ef960··0000000000000403·R_AARCH64_RELATIVE························1314f20
3709	00000000015ef968··0000000000000403·R_AARCH64_RELATIVE························1342818	3709	00000000015ef968··0000000000000403·R_AARCH64_RELATIVE························1342818
3710	00000000015ef970··0000000000000403·R_AARCH64_RELATIVE························1342828	3710	00000000015ef970··0000000000000403·R_AARCH64_RELATIVE························1342828
3711	00000000015ef978··0000000000000403·R_AARCH64_RELATIVE························1342838	3711	00000000015ef978··0000000000000403·R_AARCH64_RELATIVE························1342838
Offset 3800, 31 lines modified		Offset 3800, 31 lines modified
3800	00000000015efc40··0000000000000403·R_AARCH64_RELATIVE························1342e38	3800	00000000015efc40··0000000000000403·R_AARCH64_RELATIVE························1342e38
3801	00000000015efc48··0000000000000403·R_AARCH64_RELATIVE························1342e48	3801	00000000015efc48··0000000000000403·R_AARCH64_RELATIVE························1342e48
3802	00000000015efc50··0000000000000403·R_AARCH64_RELATIVE························1342e60	3802	00000000015efc50··0000000000000403·R_AARCH64_RELATIVE························1342e60
3803	00000000015efc58··0000000000000403·R_AARCH64_RELATIVE························1342e70	3803	00000000015efc58··0000000000000403·R_AARCH64_RELATIVE························1342e70
3804	00000000015efc60··0000000000000403·R_AARCH64_RELATIVE························131aa50	3804	00000000015efc60··0000000000000403·R_AARCH64_RELATIVE························131aa50
3805	00000000015efc68··0000000000000403·R_AARCH64_RELATIVE························1342e78	3805	00000000015efc68··0000000000000403·R_AARCH64_RELATIVE························1342e78
3806	00000000015efc70··0000000000000403·R_AARCH64_RELATIVE························1342e90	3806	00000000015efc70··0000000000000403·R_AARCH64_RELATIVE························1342e90
3807	00000000015efc78··0000000000000403·R_AARCH64_RELATIVE························1342f98	3807	00000000015efc78··0000000000000403·R_AARCH64_RELATIVE························1342f90
3808	00000000015efc80··0000000000000403·R_AARCH64_RELATIVE························1342ea0	3808	00000000015efc80··0000000000000403·R_AARCH64_RELATIVE························1342ea0
3809	00000000015efc88··0000000000000403·R_AARCH64_RELATIVE························1342eb0	3809	00000000015efc88··0000000000000403·R_AARCH64_RELATIVE························1342eb0
3810	00000000015efc90··0000000000000403·R_AARCH64_RELATIVE························1342ec0	3810	00000000015efc90··0000000000000403·R_AARCH64_RELATIVE························1342ec0
3811	00000000015efc98··0000000000000403·R_AARCH64_RELATIVE························1342ed0	3811	00000000015efc98··0000000000000403·R_AARCH64_RELATIVE························1342ed0
3812	00000000015efca0··0000000000000403·R_AARCH64_RELATIVE························1342ee0	3812	00000000015efca0··0000000000000403·R_AARCH64_RELATIVE························1342ee0
3813	00000000015efca8··0000000000000403·R_AARCH64_RELATIVE························1342ef0	3813	00000000015efca8··0000000000000403·R_AARCH64_RELATIVE························1342ef0
3814	00000000015efcb0··0000000000000403·R_AARCH64_RELATIVE························1342f00	3814	00000000015efcb0··0000000000000403·R_AARCH64_RELATIVE························1342f00
3815	00000000015efcb8··0000000000000403·R_AARCH64_RELATIVE························1343588	3815	00000000015efcb8··0000000000000403·R_AARCH64_RELATIVE························1343570
3816	00000000015efcc0··0000000000000403·R_AARCH64_RELATIVE························1342f10	3816	00000000015efcc0··0000000000000403·R_AARCH64_RELATIVE························1342f10
3817	00000000015efcc8··0000000000000403·R_AARCH64_RELATIVE························1342f28	3817	00000000015efcc8··0000000000000403·R_AARCH64_RELATIVE························1342f28
3818	00000000015efcd0··0000000000000403·R_AARCH64_RELATIVE························1342f40	3818	00000000015efcd0··0000000000000403·R_AARCH64_RELATIVE························1342f40
3819	00000000015efcd8··0000000000000403·R_AARCH64_RELATIVE························1342f50	3819	00000000015efcd8··0000000000000403·R_AARCH64_RELATIVE························1342f50
3820	00000000015efce0··0000000000000403·R_AARCH64_RELATIVE························1342f60	3820	00000000015efce0··0000000000000403·R_AARCH64_RELATIVE························1342f60
3821	00000000015efce8··0000000000000403·R_AARCH64_RELATIVE························1342f70	3821	00000000015efce8··0000000000000403·R_AARCH64_RELATIVE························1342f70


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·31396563·64653863·34363963·64336163·19ecde8c469cd3ac
3	··0x00000010·313~~43965~~·32336361·31303937·353~~432~~35·~~149e23ca10975425~~	2	··0x00000000·62386137·36643665·37393536·33626366·b8a76d6e79563bcf
		3	··0x00000010·66383266·65393830·31313864·38333731·f82fe980118d8371
4	··0x00000020·643~~161~~37·61632e64·65627567·00000000·d1a7ac.debug....	4	··0x00000020·64353337·36392e64·65627567·00000000·d53769.debug....
5	··0x00000030·~~24b927~~43····························$.'C	5	··0x00000030·6e97014b····························n..K


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·65353534·30363632·62613239·34623730·e5540662ba294b70
3	··0x00000010·65~~386~~363·39386133·31353935·32633~~039~~·~~e8cc98a315952c09~~	2	··0x00000000·61643534·61316336·37303738·35663663·ad54a1c670785f6c
		3	··0x00000010·33653436·33386466·31313830·66353934·3e4638df1180f594
4	··0x00000020·37633666·37622e64·65627567·00000000·~~7c6f7b~~.debug....	4	··0x00000020·36386362·62612e64·65627567·00000000·68cbba.debug....
5	··0x00000030·~~a43fca5b~~····························.?.[	5	··0x00000030·7112182f····························q../


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·62663039·66643466·31356364·61373463·bf09fd4f15cda74c
3	··0x00000010·37643~~635~~·343~~83239~~·38313430·353~~132~~37·7d~~6548~~2~~9814051~~27	2	··0x00000000·37313966·31326461·33373938·65326638·719f12da3798e2f8
		3	··0x00000010·65323438·62663836·37316337·39386361·e248bf8671c798ca
4	··0x00000020·333~~037~~64·31342e64·65627567·00000000·~~307d14~~.debug....	4	··0x00000020·66316363·32352e64·65627567·00000000·f1cc25.debug....
5	··0x00000030·~~a137~~c~~260~~····························.7.`	5	··0x00000030·1ff5cdf8····························....


Offset 12, 37 lines modified		Offset 12, 37 lines modified
12	·<1><15>:·Abbrev·Number:·93·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·93·(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:·0xa3bab):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa3bab):·unsigned·char
16	·<1><1c>:·Abbrev·Number:·93·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·93·(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:·0x4a37f):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a365):·short·unsigned·int
20	·<1><23>:·Abbrev·Number:·93·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·93·(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:·0xbbe87):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbbe87):·unsigned·int
24	·<1><2a>:·Abbrev·Number:·93·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·93·(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:·0x7cbb9):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cbb9):·long·unsigned·int
28	·<1><31>:·Abbrev·Number:·101·(DW_TAG_const_type)	28	·<1><31>:·Abbrev·Number:·101·(DW_TAG_const_type)
29	····<32>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	29	····<32>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
30	·<1><33>:·Abbrev·Number:·116·(DW_TAG_typedef)	30	·<1><33>:·Abbrev·Number:·116·(DW_TAG_typedef)
31	····<34>···DW_AT_name········:·(strp)·(offset:·0xb723):·__int8_t	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xb709):·__int8_t
32	····<38>···DW_AT_decl_file···:·(data1)·32	32	····<38>···DW_AT_decl_file···:·(data1)·32
33	····<39>···DW_AT_decl_line···:·(data1)·37	33	····<39>···DW_AT_decl_line···:·(data1)·37
34	····<3a>···DW_AT_decl_column·:·(data1)·21	34	····<3a>···DW_AT_decl_column·:·(data1)·21
35	····<3b>···DW_AT_type········:·(ref_udata)·<0x3c>,·signed·char	35	····<3b>···DW_AT_type········:·(ref_udata)·<0x3c>,·signed·char
36	·<1><3c>:·Abbrev·Number:·93·(DW_TAG_base_type)	36	·<1><3c>:·Abbrev·Number:·93·(DW_TAG_base_type)
37	····<3d>···DW_AT_byte_size···:·(data1)·1	37	····<3d>···DW_AT_byte_size···:·(data1)·1
38	····<3e>···DW_AT_encoding····:·(data1)·6» (signed·char)	38	····<3e>···DW_AT_encoding····:·(data1)·6» (signed·char)
39	····<3f>···DW_AT_name········:·(strp)·(offset:·0xb3e6a):·signed·char	39	····<3f>···DW_AT_name········:·(strp)·(offset:·0xb3e6a):·signed·char
40	·<1><43>:·Abbrev·Number:·116·(DW_TAG_typedef)	40	·<1><43>:·Abbrev·Number:·116·(DW_TAG_typedef)
41	····<44>···DW_AT_name········:·(strp)·(offset:·0x417ea):·__uint8_t	41	····<44>···DW_AT_name········:·(strp)·(offset:·0x417d0):·__uint8_t
42	····<48>···DW_AT_decl_file···:·(data1)·32	42	····<48>···DW_AT_decl_file···:·(data1)·32
43	····<49>···DW_AT_decl_line···:·(data1)·38	43	····<49>···DW_AT_decl_line···:·(data1)·38
44	····<4a>···DW_AT_decl_column·:·(data1)·23	44	····<4a>···DW_AT_decl_column·:·(data1)·23
45	····<4b>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char	45	····<4b>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
46	·<1><4c>:·Abbrev·Number:·116·(DW_TAG_typedef)	46	·<1><4c>:·Abbrev·Number:·116·(DW_TAG_typedef)
47	····<4d>···DW_AT_name········:·(strp)·(offset:·0xb4ac4):·__int16_t	47	····<4d>···DW_AT_name········:·(strp)·(offset:·0xb4ac4):·__int16_t
48	····<51>···DW_AT_decl_file···:·(data1)·32	48	····<51>···DW_AT_decl_file···:·(data1)·32
Offset 72, 91 lines modified		Offset 72, 91 lines modified
72	·<1><75>:·Abbrev·Number:·116·(DW_TAG_typedef)	72	·<1><75>:·Abbrev·Number:·116·(DW_TAG_typedef)
73	····<76>···DW_AT_name········:·(strp)·(offset:·0x90071):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x90071):·__uint32_t
74	····<7a>···DW_AT_decl_file···:·(data1)·32	74	····<7a>···DW_AT_decl_file···:·(data1)·32
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:·116·(DW_TAG_typedef)	78	·<1><7e>:·Abbrev·Number:·116·(DW_TAG_typedef)
79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63831):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63817):·__int64_t
80	····<83>···DW_AT_decl_file···:·(data1)·32	80	····<83>···DW_AT_decl_file···:·(data1)·32
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:·93·(DW_TAG_base_type)	84	·<1><88>:·Abbrev·Number:·93·(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:·0xffe9):·long·int	87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xffcf):·long·int
88	·<1><8f>:·Abbrev·Number:·116·(DW_TAG_typedef)	88	·<1><8f>:·Abbrev·Number:·116·(DW_TAG_typedef)
89	····<90>···DW_AT_name········:·(strp)·(offset:·0x6873b):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68721):·__uint64_t
90	····<94>···DW_AT_decl_file···:·(data1)·32	90	····<94>···DW_AT_decl_file···:·(data1)·32
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:·116·(DW_TAG_typedef)	94	·<1><98>:·Abbrev·Number:·116·(DW_TAG_typedef)
95	····<99>···DW_AT_name········:·(strp)·(offset:·0x59da2):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x59d88):·__int_least8_t
96	····<9d>···DW_AT_decl_file···:·(data1)·32	96	····<9d>···DW_AT_decl_file···:·(data1)·32
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)·<0x33>,·__int8_t,·signed·char	99	····<a0>···DW_AT_type········:·(ref_udata)·<0x33>,·__int8_t,·signed·char
100	·<1><a1>:·Abbrev·Number:·116·(DW_TAG_typedef)	100	·<1><a1>:·Abbrev·Number:·116·(DW_TAG_typedef)
101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fee4):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x5feca):·__uint_least8_t
102	····<a6>···DW_AT_decl_file···:·(data1)·32	102	····<a6>···DW_AT_decl_file···:·(data1)·32
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)·<0x43>,·__uint8_t,·unsigned·char	105	····<a9>···DW_AT_type········:·(ref_udata)·<0x43>,·__uint8_t,·unsigned·char
106	·<1><aa>:·Abbrev·Number:·116·(DW_TAG_typedef)	106	·<1><aa>:·Abbrev·Number:·116·(DW_TAG_typedef)
107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fd8d):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fd8d):·__int_least16_t
108	····<af>···DW_AT_decl_file···:·(data1)·32	108	····<af>···DW_AT_decl_file···:·(data1)·32
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)·<0x4c>,·__int16_t,·short·int	111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4c>,·__int16_t,·short·int
112	·<1><b3>:·Abbrev·Number:·116·(DW_TAG_typedef)	112	·<1><b3>:·Abbrev·Number:·116·(DW_TAG_typedef)
113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10f1d):·__uint_least16_t	113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10f03):·__uint_least16_t
114	····<b8>···DW_AT_decl_file···:·(data1)·32	114	····<b8>···DW_AT_decl_file···:·(data1)·32
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)·<0x5c>,·__uint16_t,·short·unsigned·int	117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5c>,·__uint16_t,·short·unsigned·int
118	·<1><bc>:·Abbrev·Number:·116·(DW_TAG_typedef)	118	·<1><bc>:·Abbrev·Number:·116·(DW_TAG_typedef)
119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x56c39):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x56c1f):·__int_least32_t
120	····<c1>···DW_AT_decl_file···:·(data1)·32	120	····<c1>···DW_AT_decl_file···:·(data1)·32
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)·<0x65>,·__int32_t,·int	123	····<c4>···DW_AT_type········:·(ref_udata)·<0x65>,·__int32_t,·int
124	·<1><c5>:·Abbrev·Number:·116·(DW_TAG_typedef)	124	·<1><c5>:·Abbrev·Number:·116·(DW_TAG_typedef)
125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcb31c):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcb31c):·__uint_least32_t
126	····<ca>···DW_AT_decl_file···:·(data1)·32	126	····<ca>···DW_AT_decl_file···:·(data1)·32
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:·116·(DW_TAG_typedef)	130	·<1><ce>:·Abbrev·Number:·116·(DW_TAG_typedef)
131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ec9f):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ec85):·__int_least64_t
132	····<d3>···DW_AT_decl_file···:·(data1)·32	132	····<d3>···DW_AT_decl_file···:·(data1)·32
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
135	····<d6>···DW_AT_type········:·(ref_udata)·<0x7e>,·__int64_t,·long·int	135	····<d6>···DW_AT_type········:·(ref_udata)·<0x7e>,·__int64_t,·long·int
136	·<1><d7>:·Abbrev·Number:·116·(DW_TAG_typedef)	136	·<1><d7>:·Abbrev·Number:·116·(DW_TAG_typedef)
137	····<d8>···DW_AT_name········:·(strp)·(offset:·0xa37be):·__uint_least64_t	137	····<d8>···DW_AT_name········:·(strp)·(offset:·0xa37be):·__uint_least64_t
138	····<dc>···DW_AT_decl_file···:·(data1)·32	138	····<dc>···DW_AT_decl_file···:·(data1)·32
139	····<dd>···DW_AT_decl_line···:·(data1)·59	139	····<dd>···DW_AT_decl_line···:·(data1)·59
140	····<de>···DW_AT_decl_column·:·(data1)·20	140	····<de>···DW_AT_decl_column·:·(data1)·20
141	····<df>···DW_AT_type········:·(ref_udata)·<0x8f>,·__uint64_t,·long·unsigned·int	141	····<df>···DW_AT_type········:·(ref_udata)·<0x8f>,·__uint64_t,·long·unsigned·int
142	·<1><e1>:·Abbrev·Number:·116·(DW_TAG_typedef)	142	·<1><e1>:·Abbrev·Number:·116·(DW_TAG_typedef)
143	····<e2>···DW_AT_name········:·(strp)·(offset:·0x559cd):·__intmax_t	143	····<e2>···DW_AT_name········:·(strp)·(offset:·0x559b3):·__intmax_t
144	····<e6>···DW_AT_decl_file···:·(data1)·32	144	····<e6>···DW_AT_decl_file···:·(data1)·32
145	····<e7>···DW_AT_decl_line···:·(data1)·72	145	····<e7>···DW_AT_decl_line···:·(data1)·72
146	····<e8>···DW_AT_decl_column·:·(data1)·18	146	····<e8>···DW_AT_decl_column·:·(data1)·18
147	····<e9>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	147	····<e9>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
148	·<1><eb>:·Abbrev·Number:·116·(DW_TAG_typedef)	148	·<1><eb>:·Abbrev·Number:·116·(DW_TAG_typedef)
149	····<ec>···DW_AT_name········:·(strp)·(offset:·0x502a8):·__uintmax_t	149	····<ec>···DW_AT_name········:·(strp)·(offset:·0x5028e):·__uintmax_t
150	····<f0>···DW_AT_decl_file···:·(data1)·32	150	····<f0>···DW_AT_decl_file···:·(data1)·32
151	····<f1>···DW_AT_decl_line···:·(data1)·73	151	····<f1>···DW_AT_decl_line···:·(data1)·73
152	····<f2>···DW_AT_decl_column·:·(data1)·27	152	····<f2>···DW_AT_decl_column·:·(data1)·27
153	····<f3>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	153	····<f3>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
154	·<1><f4>:·Abbrev·Number:·116·(DW_TAG_typedef)	154	·<1><f4>:·Abbrev·Number:·116·(DW_TAG_typedef)
155	····<f5>···DW_AT_name········:·(strp)·(offset:·0x5694e):·__off_t	155	····<f5>···DW_AT_name········:·(strp)·(offset:·0x56934):·__off_t
156	····<f9>···DW_AT_decl_file···:·(data1)·32	156	····<f9>···DW_AT_decl_file···:·(data1)·32
157	····<fa>···DW_AT_decl_line···:·(data1)·152	157	····<fa>···DW_AT_decl_line···:·(data1)·152
158	····<fb>···DW_AT_decl_column·:·(data1)·25	158	····<fb>···DW_AT_decl_column·:·(data1)·25
159	····<fc>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	159	····<fc>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
160	·<1><fe>:·Abbrev·Number:·116·(DW_TAG_typedef)	160	·<1><fe>:·Abbrev·Number:·116·(DW_TAG_typedef)
Max diff block lines reached; 26209038/26216835 bytes (99.97%) of diff not shown.


Offset 1837, 16 lines modified		Offset 1837, 16 lines modified
1837	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1837	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1838	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1838	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1839	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1839	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1840	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1840	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1841	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	1841	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1842	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1842	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1843	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1843	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1844	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1844	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1845	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1845	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1846	··Offset:······················0x1ef3	1846	··Offset:······················0x1ef3
1847	··Version:·····················5	1847	··Version:·····················5
1848	··Offset·size:·················4	1848	··Offset·size:·················4

1849	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1849	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1850	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1850	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14519, 16 lines modified		Offset 14519, 16 lines modified
14519	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	14519	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14520	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	14520	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14521	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	14521	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14522	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14522	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14523	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14523	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14524	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14524	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14525	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14525	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14526	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	14526	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
14527	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	14527	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

14528	··Offset:······················0x139ae	14528	··Offset:······················0x139ae
14529	··Version:·····················5	14529	··Version:·····················5
14530	··Offset·size:·················4	14530	··Offset·size:·················4

14531	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU	14531	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14532	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE	14532	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE

+GCC:·(Debian·15.2.0-9)·15.2.0
+g!=$nDzX<
+z»      [[o(3·o
+K\<V5fIHy\<
+$%$=H0ExbV
+c\`v4G<F
+VeZ#6"oH
+*~wDi\,
+J:X'L'%B~
+d_6&\·ts+»       .r
+i=1N}!4l
+*S=l*aS=
+oUKeKrJC
+r):,W»  ?v
+mBteU!XcBT
+awdi${AD@
+"yT2[)"·
+VW!·`_?
+!·;S@@v&?s
+xG@@Lw9(
+atiaC@t/
+IF@XO-X
+rA,q."·e
+-#`hu%<Z
+xel<q."`}
+*!·-U<r%
+B%Td~I4v
+\r\·=*at>
+\<&&'FQ
+Th9c!]k»
+GP8N1M7yn
+)=d:|La
+czsW4#d·
+WoXyaRaX
+Qy#Yd$c7
+`]+^]T`A
+PSTQO?Lr
+':Pl!Y?N
+%7Q<?SELdh3
+`yx'q"Fg
+,d[bLgwH
+mo6v[zVpj
+SsG=X[wZ
+Af'xw$
+XwPVe*wP
+mCW»    ~G!6
+e`[&P4~`
+uB_a*"5
+p9|'[([BR
+e!r?J9v%
+DOVW,··h
+aWxq8{AD
+uP&c]Y&"
+(aHY`:3LD@
+TA@R]#zO
+ei|"u.!`m
+&#·=M:re
+V<F~<L0T
+WKK_Vwe]
+~Ro:]%Ky5&
+H$g)n7g
+:rD4B&/
+~g"+:0P>u
+sX3/"'4N|
+xpiQ»  l}
+Pvf*M2q/
+G>fjTl&u
+^;)=&:\q
+lqOK:{|C
+d2>PB8y.d
+`9hZg9hZg9
+mZpPDg9V
+jF/#»   ·p6
+Pk-T(y%Y
+pv:X@!{M>
+>:?]QUOp
+LL"EW:Q%
+aE}0VE};iW
+/'plfJ[uI`t
+.LET"x3^
+S[wihC2N
+hsATb[1.
+D%B3Id&
+aUed»   tQr
+g[wPVe(wP
+{Iw·fQXC
+=)GaXR;6
+t)]_fHxr1B
+tp-9&0d{
+dmLxr_;ZRL6
+mT?2=v(Y
+eY8]%1q
+ci2\~q40N2Z"!
+,j\p!]P(
+-2r;\"#I
+;MTo$qo$
+k6J[f3P
+MPO`Snn·u
+rFA#Z_rs
+o~@Zu9''
+A48H@^<I
+go(=$yw2o
+qI6=c`_i0
+=V]f)w]v
+Ej4-Rc;v;M
+mQ4TKU+
+C47QtI:Th`
+G'(c,kLk
+uVF+o95|
+VmQtRwcb3
+SsPZ\(qJG
+vdHq+b'w
+DZ\}.%;>
+AX8Xp"eK)N
+Zk)D,A;~
+V&$#>)F1a%
+rM·|0_;CY
+R.BiU>lE
+NK"Za3!f"
+I@8M<EZ>:
+mllnD4=z^
+"Ni}5FJN
+@nK:;9sK
+"t<0S/)Bk
+~lK-|Z·#+
+Z,r_y[a?'1
+EQ@@YD@@


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-3	3	Version:·1.1.2-3
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@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·198619	7	Installed-Size:·198616
8	Depends:·libcvc5-1·(=·1.1.2-3)	8	Depends:·libcvc5-1·(=·1.1.2-3)
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:·d~~f19ecde8c46~~9cd3ac~~149e23ca~~1~~0975425~~d1a7ac	13	Build-Ids:·99b8a76d6e79563bcff82fe980118d8371d53769


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/df/1~~9ecde8c46~~9cd3ac~~149e23ca~~1~~0975425~~d1a7ac.debug	1	usr/lib/debug/.build-id/99/b8a76d6e79563bcff82fe980118d8371d53769.debug


Offset 8, 47 lines modified		Offset 8, 47 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:·3·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·3·(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:·0x16025):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x1600b):·long·int
16	·<1><1c>:·Abbrev·Number:·3·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·3·(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:·0xebc9):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xebaf):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·3·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·3·(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:·0x1ad8d):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad73):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·3·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·3·(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:·0x1298c):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x12972):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·3·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·3·(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:·0xcbda):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xcbc0):·unsigned·int
32	·<1><38>:·Abbrev·Number:·3·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·3·(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)
35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x1bf35):·signed·char	35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x1bf1b):·signed·char
36	·<1><3f>:·Abbrev·Number:·3·(DW_TAG_base_type)	36	·<1><3f>:·Abbrev·Number:·3·(DW_TAG_base_type)
37	····<40>···DW_AT_byte_size···:·(data1)·2	37	····<40>···DW_AT_byte_size···:·(data1)·2
38	····<41>···DW_AT_encoding····:·(data1)·5» (signed)	38	····<41>···DW_AT_encoding····:·(data1)·5» (signed)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1d~~c0a~~):·short·int	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1dbf0):·short·int
40	·<1><46>:·Abbrev·Number:·67·(DW_TAG_base_type)	40	·<1><46>:·Abbrev·Number:·67·(DW_TAG_base_type)
41	····<47>···DW_AT_byte_size···:·(data1)·4	41	····<47>···DW_AT_byte_size···:·(data1)·4
42	····<48>···DW_AT_encoding····:·(data1)·5» (signed)	42	····<48>···DW_AT_encoding····:·(data1)·5» (signed)
43	····<49>···DW_AT_name········:·(string)·int	43	····<49>···DW_AT_name········:·(string)·int
44	·<1><4d>:·Abbrev·Number:·3·(DW_TAG_base_type)	44	·<1><4d>:·Abbrev·Number:·3·(DW_TAG_base_type)
45	····<4e>···DW_AT_byte_size···:·(data1)·1	45	····<4e>···DW_AT_byte_size···:·(data1)·1
46	····<4f>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	46	····<4f>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
47	····<50>···DW_AT_name········:·(strp)·(offset:·0x1bf3c):·char	47	····<50>···DW_AT_name········:·(strp)·(offset:·0x1bf22):·char
48	·<1><54>:·Abbrev·Number:·0	48	·<1><54>:·Abbrev·Number:·0
49	··Compilation·Unit·@·offset·0x55:	49	··Compilation·Unit·@·offset·0x55:
50	···Length:········0x20·(32-bit)	50	···Length:········0x20·(32-bit)
51	···Version:·······5	51	···Version:·······5
52	···Unit·Type:·····DW_UT_partial·(3)	52	···Unit·Type:·····DW_UT_partial·(3)
53	···Abbrev·Offset:·0x338c	53	···Abbrev·Offset:·0x338c
54	···Pointer·Size:··8	54	···Pointer·Size:··8
Offset 84, 15 lines modified		Offset 84, 15 lines modified
84	·<1><9c>:·Abbrev·Number:·3·(DW_TAG_base_type)	84	·<1><9c>:·Abbrev·Number:·3·(DW_TAG_base_type)
85	····<9d>···DW_AT_byte_size···:·(data1)·4	85	····<9d>···DW_AT_byte_size···:·(data1)·4
86	····<9e>···DW_AT_encoding····:·(data1)·4» (float)	86	····<9e>···DW_AT_encoding····:·(data1)·4» (float)
87	····<9f>···DW_AT_name········:·(strp)·(offset:·0x5c837f):·float	87	····<9f>···DW_AT_name········:·(strp)·(offset:·0x5c837f):·float
88	·<1><a3>:·Abbrev·Number:·3·(DW_TAG_base_type)	88	·<1><a3>:·Abbrev·Number:·3·(DW_TAG_base_type)
89	····<a4>···DW_AT_byte_size···:·(data1)·8	89	····<a4>···DW_AT_byte_size···:·(data1)·8
90	····<a5>···DW_AT_encoding····:·(data1)·7» (unsigned)	90	····<a5>···DW_AT_encoding····:·(data1)·7» (unsigned)
91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1c58b):·long·long·unsigned·int	91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1c571):·long·long·unsigned·int
92	·<1><aa>:·Abbrev·Number:·3·(DW_TAG_base_type)	92	·<1><aa>:·Abbrev·Number:·3·(DW_TAG_base_type)
93	····<ab>···DW_AT_byte_size···:·(data1)·1	93	····<ab>···DW_AT_byte_size···:·(data1)·1
94	····<ac>···DW_AT_encoding····:·(data1)·2» (boolean)	94	····<ac>···DW_AT_encoding····:·(data1)·2» (boolean)
95	····<ad>···DW_AT_name········:·(strp)·(offset:·0x14c0):·bool	95	····<ad>···DW_AT_name········:·(strp)·(offset:·0x14c0):·bool
96	·<1><b1>:·Abbrev·Number:·3·(DW_TAG_base_type)	96	·<1><b1>:·Abbrev·Number:·3·(DW_TAG_base_type)
97	····<b2>···DW_AT_byte_size···:·(data1)·2	97	····<b2>···DW_AT_byte_size···:·(data1)·2
98	····<b3>···DW_AT_encoding····:·(data1)·16» (unicode·string)	98	····<b3>···DW_AT_encoding····:·(data1)·16» (unicode·string)
Offset 100, 15 lines modified		Offset 100, 15 lines modified
100	·<1><b8>:·Abbrev·Number:·3·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·3·(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:·0x1fed1):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fed1):·char32_t
104	·<1><bf>:·Abbrev·Number:·3·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·3·(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:·0x14244):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x1422a):·__int128
108	·<1><c6>:·Abbrev·Number:·3·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·3·(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:·0x2387e):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x2387e):·__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:········0x1004·(32-bit)	114	···Length:········0x1004·(32-bit)
Offset 154, 15 lines modified		Offset 154, 15 lines modified
154	····<119>···DW_AT_name········:·(strp)·(offset:·0xafe):·max_align_t	154	····<119>···DW_AT_name········:·(strp)·(offset:·0xafe):·max_align_t
155	····<11d>···DW_AT_decl_file···:·(data1)·21	155	····<11d>···DW_AT_decl_file···:·(data1)·21
156	····<11e>···DW_AT_decl_line···:·(data2)·451	156	····<11e>···DW_AT_decl_line···:·(data2)·451
157	····<120>···DW_AT_decl_column·:·(data1)·3	157	····<120>···DW_AT_decl_column·:·(data1)·3
158	····<121>···DW_AT_type········:·(ref_udata)·<0xef>,·11max_align_t	158	····<121>···DW_AT_type········:·(ref_udata)·<0xef>,·11max_align_t
159	····<122>···DW_AT_alignment···:·(data1)·16	159	····<122>···DW_AT_alignment···:·(data1)·16
160	·<1><123>:·Abbrev·Number:·103·(DW_TAG_typedef)	160	·<1><123>:·Abbrev·Number:·103·(DW_TAG_typedef)
161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd980):·__off_t	161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd966):·__off_t
162	····<128>···DW_AT_decl_file···:·(data1)·22	162	····<128>···DW_AT_decl_file···:·(data1)·22
163	····<129>···DW_AT_decl_line···:·(data1)·152	163	····<129>···DW_AT_decl_line···:·(data1)·152
164	····<12a>···DW_AT_decl_column·:·(data1)·25	164	····<12a>···DW_AT_decl_column·:·(data1)·25
165	····<12b>···DW_AT_type········:·(ref_addr)·<0x15>,·long·int	165	····<12b>···DW_AT_type········:·(ref_addr)·<0x15>,·long·int
166	·<1><12f>:·Abbrev·Number:·103·(DW_TAG_typedef)	166	·<1><12f>:·Abbrev·Number:·103·(DW_TAG_typedef)
167	····<130>···DW_AT_name········:·(strp)·(offset:·0x7850):·__off64_t	167	····<130>···DW_AT_name········:·(strp)·(offset:·0x7850):·__off64_t
168	····<134>···DW_AT_decl_file···:·(data1)·22	168	····<134>···DW_AT_decl_file···:·(data1)·22
Offset 760, 28 lines modified		Offset 760, 28 lines modified
760	····<411>···DW_AT_decl_column·:·(data1)·11	760	····<411>···DW_AT_decl_column·:·(data1)·11
761	····<412>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·113·(DW_TAG_typedef)]	761	····<412>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·113·(DW_TAG_typedef)]
762	·<2><413>:·Abbrev·Number:·0	762	·<2><413>:·Abbrev·Number:·0
763	·<1><414>:·Abbrev·Number:·28·(DW_TAG_pointer_type)	763	·<1><414>:·Abbrev·Number:·28·(DW_TAG_pointer_type)
764	····<415>···DW_AT_byte_size···:·(implicit_const)·8	764	····<415>···DW_AT_byte_size···:·(implicit_const)·8
765	····<415>···DW_AT_type········:·(ref_udata)·<0x142>,·char	765	····<415>···DW_AT_type········:·(ref_udata)·<0x142>,·char
766	·<1><416>:·Abbrev·Number:·103·(DW_TAG_typedef)	766	·<1><416>:·Abbrev·Number:·103·(DW_TAG_typedef)
767	····<417>···DW_AT_name········:·(strp)·(offset:·0xe02f):·wint_t	767	····<417>···DW_AT_name········:·(strp)·(offset:·0xe015):·wint_t
768	····<41b>···DW_AT_decl_file···:·(data1)·66	768	····<41b>···DW_AT_decl_file···:·(data1)·66
769	····<41c>···DW_AT_decl_line···:·(data1)·20	769	····<41c>···DW_AT_decl_line···:·(data1)·20
770	····<41d>···DW_AT_decl_column·:·(data1)·23	770	····<41d>···DW_AT_decl_column·:·(data1)·23
771	····<41e>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int	771	····<41e>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int
772	·<1><422>:·Abbrev·Number:·95·(DW_TAG_array_type)	772	·<1><422>:·Abbrev·Number:·95·(DW_TAG_array_type)
773	····<423>···DW_AT_type········:·(ref_addr)·<0x4d>,·char	773	····<423>···DW_AT_type········:·(ref_addr)·<0x4d>,·char
774	····<427>···DW_AT_sibling·····:·(ref_udata)·<0x430>	774	····<427>···DW_AT_sibling·····:·(ref_udata)·<0x430>
775	·<2><429>:·Abbrev·Number:·100·(DW_TAG_subrange_type)	775	·<2><429>:·Abbrev·Number:·100·(DW_TAG_subrange_type)
776	····<42a>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int	776	····<42a>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int
777	····<42e>···DW_AT_upper_bound·:·(data1)·3	777	····<42e>···DW_AT_upper_bound·:·(data1)·3
778	·<2><42f>:·Abbrev·Number:·0	778	·<2><42f>:·Abbrev·Number:·0
779	·<1><430>:·Abbrev·Number:·115·(DW_TAG_typedef)	779	·<1><430>:·Abbrev·Number:·115·(DW_TAG_typedef)
780	····<431>···DW_AT_name········:·(strp)·(offset:·0xb965):·__FILE	780	····<431>···DW_AT_name········:·(strp)·(offset:·0xb94b):·__FILE
781	····<435>···DW_AT_decl_file···:·(data1)·69	781	····<435>···DW_AT_decl_file···:·(data1)·69
782	····<436>···DW_AT_decl_line···:·(data1)·5	782	····<436>···DW_AT_decl_line···:·(data1)·5
783	····<437>···DW_AT_decl_column·:·(data1)·25	783	····<437>···DW_AT_decl_column·:·(data1)·25
784	····<438>···DW_AT_type········:·(ref_udata)·<0x43a>,·_IO_FILE	784	····<438>···DW_AT_type········:·(ref_udata)·<0x43a>,·_IO_FILE
785	·<1><43a>:·Abbrev·Number:·80·(DW_TAG_structure_type)	785	·<1><43a>:·Abbrev·Number:·80·(DW_TAG_structure_type)
786	····<43b>···DW_AT_name········:·(strp)·(offset:·0xc80835):·_IO_FILE	786	····<43b>···DW_AT_name········:·(strp)·(offset:·0xc80835):·_IO_FILE
787	····<43f>···DW_AT_byte_size···:·(data1)·216	787	····<43f>···DW_AT_byte_size···:·(data1)·216
Offset 807, 71 lines modified		Offset 807, 71 lines modified
807	····<45d>···DW_AT_name········:·(strp)·(offset:·0x1eef0):·_IO_read_end	807	····<45d>···DW_AT_name········:·(strp)·(offset:·0x1eef0):·_IO_read_end
808	····<461>···DW_AT_decl_file···:·(data1)·70	808	····<461>···DW_AT_decl_file···:·(data1)·70
Max diff block lines reached; 32313015/32320273 bytes (99.98%) of diff not shown.


Offset 1674, 16 lines modified		Offset 1674, 16 lines modified
1674	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1674	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1675	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1675	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1676	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1676	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1677	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1677	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1678	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1678	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1679	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1679	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1680	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1680	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1681	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1681	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1682	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1682	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1683	··Offset:······················0x1c7d	1683	··Offset:······················0x1c7d
1684	··Version:·····················5	1684	··Version:·····················5
1685	··Offset·size:·················4	1685	··Offset·size:·················4

1686	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1686	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1687	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1687	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 53895, 16 lines modified		Offset 53895, 16 lines modified
53895	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	53895	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
53896	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	53896	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
53897	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	53897	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
53898	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	53898	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
53899	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	53899	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
53900	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	53900	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
53901	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	53901	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
53902	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	53902	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
53903	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	53903	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

53904	··Offset:······················0x4b2c7	53904	··Offset:······················0x4b2c7
53905	··Version:·····················5	53905	··Version:·····················5
53906	··Offset·size:·················4	53906	··Offset·size:·················4

53907	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	53907	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
53908	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	53908	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1332622, 15 lines modified		Offset 1332622, 15 lines modified
1332622	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·	1332622	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1332623	·DW_MACRO_start_file·-·lineno:·24·filenum:·41	1332623	·DW_MACRO_start_file·-·lineno:·24·filenum:·41
1332624	·DW_MACRO_end_file	1332624	·DW_MACRO_end_file
1332625	·DW_MACRO_import·-·offset·:·0x54844	1332625	·DW_MACRO_import·-·offset·:·0x54844
1332626	·DW_MACRO_end_file	1332626	·DW_MACRO_end_file
1332627	·DW_MACRO_start_file·-·lineno:·49·filenum:·138	1332627	·DW_MACRO_start_file·-·lineno:·49·filenum:·138
1332628	·DW_MACRO_end_file	1332628	·DW_MACRO_end_file
1332629	·DW_MACRO_start_file·-·lineno:·52·filenum:·304	1332629	·DW_MACRO_start_file·-·lineno:·50·filenum:·304
1332630	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1332630	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1332631	·DW_MACRO_start_file·-·lineno:·43·filenum:·13	1332631	·DW_MACRO_start_file·-·lineno:·43·filenum:·13
1332632	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1332632	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1332633	·DW_MACRO_start_file·-·lineno:·33·filenum:·14	1332633	·DW_MACRO_start_file·-·lineno:·33·filenum:·14
1332634	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1332634	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1332635	·DW_MACRO_start_file·-·lineno:·37·filenum:·15	1332635	·DW_MACRO_start_file·-·lineno:·37·filenum:·15
1332636	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1	1332636	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1332638, 17 lines modified		Offset 1332638, 17 lines modified
1332638	·DW_MACRO_end_file	1332638	·DW_MACRO_end_file
1332639	·DW_MACRO_end_file	1332639	·DW_MACRO_end_file
1332640	·DW_MACRO_import·-·offset·:·0x9e90	1332640	·DW_MACRO_import·-·offset·:·0x9e90
1332641	·DW_MACRO_start_file·-·lineno:·59·filenum:·179	1332641	·DW_MACRO_start_file·-·lineno:·59·filenum:·179
1332642	·DW_MACRO_import·-·offset·:·0x5126b4	1332642	·DW_MACRO_import·-·offset·:·0x5126b4
1332643	·DW_MACRO_end_file	1332643	·DW_MACRO_end_file
1332644	·DW_MACRO_end_file	1332644	·DW_MACRO_end_file
1332645	·DW_MACRO_start_file·-·lineno:·53·filenum:·28	1332645	·DW_MACRO_start_file·-·lineno:·51·filenum:·28
1332646	·DW_MACRO_end_file	1332646	·DW_MACRO_end_file
1332647	·DW_MACRO_start_file·-·lineno:·54·filenum:·114	1332647	·DW_MACRO_start_file·-·lineno:·52·filenum:·114
1332648	·DW_MACRO_end_file	1332648	·DW_MACRO_end_file
1332649	·DW_MACRO_start_file·-·lineno:·57·filenum:·84	1332649	·DW_MACRO_start_file·-·lineno:·57·filenum:·84
1332650	·DW_MACRO_import·-·offset·:·0x11029	1332650	·DW_MACRO_import·-·offset·:·0x11029
1332651	·DW_MACRO_start_file·-·lineno:·47·filenum:·179	1332651	·DW_MACRO_start_file·-·lineno:·47·filenum:·179
1332652	·DW_MACRO_import·-·offset·:·0x512cfb	1332652	·DW_MACRO_import·-·offset·:·0x512cfb
1332653	·DW_MACRO_end_file	1332653	·DW_MACRO_end_file
1332654	·DW_MACRO_start_file·-·lineno:·48·filenum:·142	1332654	·DW_MACRO_start_file·-·lineno:·48·filenum:·142


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

4194297	····00c50a3f·v000000000000003·v000000000000000·views·at·00c50a3d·for:	4194297	····00c50a3f·v000000000000003·v000000000000000·views·at·00c50a3d·for:
4194298	·············00000000004686b0·00000000004686b4·(DW_OP_reg22·(x22))	4194298	·············00000000004686b0·00000000004686b4·(DW_OP_reg22·(x22))
4194299	····00c50a4b·<End·of·list>	4194299	····00c50a4b·<End·of·list>

4194300	····00c50a4c·v000000000000000·v000000000000002·location·view·pair	4194300	····00c50a4c·v000000000000000·v000000000000002·location·view·pair

4194301	[·Too·much·input·for·diff·(SHA256:·~~97c56489290~~3502~~009c3~~de~~5a586e~~4~~486~~1~~2529~~965~~4d3f~~bc3eb~~c93f4a464f2e1~~48)·]	4194301	[·Too·much·input·for·diff·(SHA256:·7ae3be5dd753ba1729377b10edec28bfac469010b069950741bceeb27bd7974c)·]

+GCC:·(Debian·15.2.0-9)·15.2.0
+W8P8T8R8V8Q8U
+W#/?u|D~
+YY{"=~t{7z=]mx
+'{~E^[k>%
+t?'U_VkR
+DkSR>-QoUH
+{\ug7[Tw
+CI^4IJSO3iz
+t?'W_Qsr
+d@ef%TP4
+KQWf%|P7f%(Pwf%
+-{waY`aa)
+M\;khBLCo
+,2.3bY.#
+q&/g\>7d
++-*//._FT~
+Vo;bt##>
+^oem|^U=
+U!+On=6
+eU·Ii1M+7
+C.ky'-6C
+PqswtsFu\
+·rfoD#z2g
+=yRo`l^3
+_i!B1\aNu
+bA6·s`J
+_W9*8O*b
+*37ua*3]
+?-gflbf\V
+~A"h-;xX
+c(Hv]$&v
+Uk'tuZ/S
+`xD'HS$d
+m~7<·6j-
+v-#+#C2!
+a^/F?@;D
+F=M;K+S
+p{*Ca9b;
+kuD>m2LW
+IR4s:J"R.Dy
+d"6h(ptZ
+(*%G/;P
+Z/l(hPV|
+hh,Eoy?rF
+T@|b:cKO
+ZNA-Vp~:
+*8|m21~R
+l=exHo5x
+fI06-·li
+/·*XBw0x?7
+q"w7|L":
+?beNy;
+~hI+8?ee
+·8l:Gd6R
+..'&ia3|
+ys%#of%R
+Md+g1KG9`dGQ>
+OPfSA·kY
+PLO{:C'z
+CqWA?j<n
+nzk(Du]Y
+-tI\$-eT
+»       K}]zI:M
+{9NbP!j;i
+m·Db%=-@
+$voQ·\r'
+)CD9yi&]v
+veq^vj&Z
+G=z(wRx!
+#Jt&/<UC
+aN=^8(#n
+j|o/I?FT<w
+%,Igsy/U
+!0:-lA'+
+E,AIqY@IqY@IqY@IqY@zw
+T5b^zGV5b^
+rf3twgV'
+zx{](.'>
+%PU$~·V6
+s»      x8's.Q=
+vfyu(:ii
+/YGZ:0Ak
+*9QBJ`=Q
+"`*L:HLwcq
+"wG6)@v3
+rao|()?R
+.DrC)'7<T
+Zwr*LpNF
+B!k;z|Je
+x)Kgflq,
+Rd4@)8n
+M~"PC8Osr0W
+>[87srpW
+·&|6{l]Z
+)hF^Se"`
+gH}K%m_}
+,]»     \W!>]
+EuOQm3L
+w]MmMjq
+w;EQP$
+g,qOU^l>
+jFc+H+b6#
+d3!![)d|
+c]`%{/As
+pTd10aTB
+Ui]5Nm4
+O>)@9Wf.
+f2Dg5cCtN
+XG<X'{i\v
+oa#j:Mgs
+{Y&(;#t5d
+|NDO)?+`q
+b/+|P»  H`
+d=oP0[g7
+zZ4s2n
+@I8HG.'W
+y3hRe&MVcr»
+\#2\c2\S2PUck
+sOug^*"k
+~*0nvKBP
+$OuTLfCf:
+V(('uZI>L
+l,B(-PwT
+*L7=Lw&_
+uyWb=Ti0
+a6·3-s,qw


Offset 1232, 2381 lines modified		Offset 1232, 2381 lines modified
1232	··[··a793]··__ARM_FEATURE_IDIV·1	1232	··[··a793]··__ARM_FEATURE_IDIV·1
1233	··[··a7a8]··__glibcxx_want_is_scoped_enum	1233	··[··a7a8]··__glibcxx_want_is_scoped_enum
1234	··[··a7c6]··__STDC_EMBED_FOUND__·1	1234	··[··a7c6]··__STDC_EMBED_FOUND__·1
1235	··[··a7dd]··__UINT_LEAST16_MAX__·0xffff	1235	··[··a7dd]··__UINT_LEAST16_MAX__·0xffff
1236	··[··a7f9]··MOD_TAI·ADJ_TAI	1236	··[··a7f9]··MOD_TAI·ADJ_TAI
1237	··[··a809]··_LOCALE_FACETS_TCC·1	1237	··[··a809]··_LOCALE_FACETS_TCC·1
Diff chunk too large, falling back to line-by-line diff (2367 lines added, 2367 lines removed)
1238	··[··a81e]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW	1238	··[··a81e]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW
1239	··[··a858]··~~DEB_BUILD~~_TIM~~E·"23:13:23"~~	1239	··[··a858]··_M_len
1240	··[··a872]··_M_~~len~~	1240	··[··a85f]··PTHREAD_SCOPE_PROCESS·PTHREAD_SCOPE_PROCESS
1241	··[··a879]··~~PTHREAD~~_~~SCOPE~~_~~PROCESS·PTHREAD_SCOPE~~_P~~ROCESS~~	1241	··[··a88b]··__isoc23_wscanf
1242	··[··a8a5]··__~~isoc23_wscanf~~	1242	··[··a89b]··CVC5_KIND_TABLE_PROJECT
1243	··[··a8b5]··~~CVC5~~_~~KIND~~_TABLE_~~PROJECT~~	1243	··[··a8b3]··__ELF__·1
1244	··[··a8cd]··~~__E~~LF_~~_·1~~	1244	··[··a8bd]··tm_mon
1245	··[··a8d7]··tm_mon	1245	··[··a8c4]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag
1246	··[··a~~8de~~]··~~_ZNSt7~~__c~~xx1112bas~~ic_stri~~ngIcSt11cha~~r_~~traitsIcESaIcEE12_M~~_construct~~IPKcEEvT_S8_S~~t20~~forward_iterator_tag~~	1246	··[··a92c]··__cpp_lib_node_extract·201606L
1247	··[··a946]··_~~_cpp_lib_node~~_~~extract·20~~1~~606L~~	1247	··[··a94b]··_GLIBCXX11_USE_C99_WCHAR·1
1248	··[··a965]··_~~GLIBCXX11_USE~~_~~C99_WCHAR·1~~	1248	··[··a966]··__glibcxx_want_unwrap_ref·
1249	··[··a980]··_~~_glib~~cxx_want_unwrap_~~ref·~~	1249	··[··a981]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLESt16initializer_listIcE
1250	··[··a99b]··~~_ZNSt7_~~_~~cxx1112basic~~_~~stringIc~~S~~t11ch~~ar_~~traitsIcES~~aI~~cEEp~~LE~~St16initializer~~_~~listIcE~~	1250	··[··a9d1]··_GLIBCXX_HAVE_SYS_TIME_H·1
1251	··[··a9eb]··_GLI~~BCXX_HAVE_SYS_TIME_H·~~1	1251	··[··a9ec]··INT_FAST16_MIN·(-9223372036854775807L-1)
1252	··[··aa06]··~~INT_FAST16~~_~~MIN~~·(~~-92233720368547758~~0~~7L-1~~)	1252	··[··aa15]··CLOCKS_PER_SEC·((__clock_t)·1000000)
1253	··[··aa2f]··CLOCKS_~~PER~~_SEC~~·((__clock~~_t)·~~1000000)~~	1253	··[··aa3a]··CVC5__CHECK_H·
1254	··[··aa54]··~~CVC5~~_~~_CH~~E~~CK_H·~~	1254	··[··aa49]··__USE_XOPEN2K·1
1255	··[··aa63]··_~~_USE~~_~~XOPEN2K·1~~	1255	··[··aa59]··_Lock_policy
1256	··[··aa73]··~~_Lock_policy~~	1256	··[··aa66]··WEOF·(0xffffffffu)
1257	··[··aa80]··~~WEOF·(0xffffffffu)~~	1257	··[··aa79]··__ARM_FEATURE_BF16
1258	··[··aa93]··__ARM_FEATU~~RE_BF~~16	1258	··[··aa8c]··ADJ_STATUS·0x0010
1259	··[··aaa6]··AD~~J_STATUS·0x0010~~	1259	··[··aa9e]··~basic_iostream
1260	··[··aab8]··~basic_iost~~ream~~	1260	··[··aaae]··_GLIBCXX_VISIBILITY(V)·__attribute__·((__visibility__·(#V)))
1261	··[··aac8]··_GLIBCXX_VIS~~IBILITY(V)·~~__~~attribute__·((_~~_~~visibility~~_~~_·(#V)))~~	1261	··[··aaeb]··_GLIBCXX_USE_CONSTRAINTS_FOR_OPTIONAL
1262	··[··ab05]··_~~GLIBCXX~~_~~USE~~_~~CONSTRAINTS~~_~~FOR~~_~~OPTIONA~~L	1262	··[··ab11]··__glibcxx_robust_nonmodifying_seq_ops·201304L
1263	··[··ab2b]··_~~_glibcxx_robu~~st_n~~onmodifying_seq~~_ops~~·201~~3~~04L~~	1263	··[··ab3f]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE3endEv
1264	··[··ab59]··_~~ZNKSt17basic~~_~~string~~_~~viewIcSt11char~~_~~traits~~IcE~~E3endEv~~	1264	··[··ab74]··__ARM_FEATURE_SME_B16B16
1265	··[··ab8e]··_~~_ARM_FEATURE~~_SME~~_B16B16~~	1265	··[··ab8d]··_ZNSt16initializer_listIcEC4EPKcm
1266	··[··aba7]··_~~ZNSt16initializer~~_l~~ist~~Ic~~EC4EPKcm~~	1266	··[··abaf]··__WCHAR_UNSIGNED__·1
1267	··[··abc9]··~~__WCH~~AR~~_UNSIGNED__·1~~	1267	··[··abc4]··CLONE_PARENT·0x00008000
1268	··[··abde]··C~~LON~~E~~_PARENT·~~0~~x00008000~~	1268	··[··abdc]··_ZNK4cvc516CVC5ApiException10getMessageB5cxx11Ev
1269	··[··a~~bf6~~]··_~~ZNK4cvc516CV~~C~~5ApiException10getMessageB5cxx1~~1Ev	1269	··[··ac0d]··_GLIBCXX_STRING_VIEW_TCC·1
1270	··[··ac27]··_~~GLIBCXX_~~ST~~RING~~_~~VIEW_TCC·1~~	1270	··[··ac28]··__INT_LEAST32_MAX__·0x7fffffff
1271	··[··ac42]··__I~~NT_LEAST3~~2_~~MAX_~~_~~·0x7fffffff~~	1271	··[··ac47]··_IO_wide_data
1272	··[··ac61]··_IO_wide_data	1272	··[··ac55]··__cpp_lib_optional·201606L
1273	··[··ac6f]··__cpp_~~lib~~_opti~~onal~~·201~~606~~L	1273	··[··ac70]··__cpp_namespace_attributes·201411L
1274	··[··ac8a]··~~__cpp~~_na~~mespace~~_a~~ttributes~~·~~20141~~1L	1274	··[··ac93]··_GLIBCXX_REFWRAP_H·1
1275	··[··acad]··_GL~~IBCXX_REFWRAP_H·1~~	1275	··[··aca8]··_ZNSt8ios_baseC4Ev
1276	··[··acc2]··_~~ZNS~~t8ios_~~baseC4Ev~~	1276	··[··acbb]··__glibcxx_want_freestanding_algorithm
1277	··[··acd5]··~~__glibcxx_want_freestanding_algorithm~~	1277	··[··ace1]··EREMOTEIO·121
1278	··[··acfb]··~~EREMOTE~~IO·121	1278	··[··acef]··_ZNSt9basic_iosIcSt11char_traitsIcEEC4Ev
1279	··[··ad09]··~~_ZNSt9basic~~_io~~sIcSt11ch~~ar_tr~~ait~~s~~IcEEC4~~Ev	1279	··[··ad18]··_old_offset
1280	··[··ad32]··_~~old~~_~~offset~~	1280	··[··ad24]··__HAVE_FLOATN_NOT_TYPEDEF·0
1281	··[··ad3e]··__~~HAVE_FLOATN~~_~~NOT_TYPEDEF·0~~	1281	··[··ad40]··__glibcxx_want_bool_constant
1282	··[··ad5a]··__glibcxx_want~~_bool_co~~n~~stant~~	1282	··[··ad5d]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE5rfindEPKcmm
1283	··[··ad77]··_~~ZNKSt17basic~~_st~~ring~~_v~~iew~~I~~cSt11char~~_~~trait~~sI~~cEE5rfindEPKcmm~~	1283	··[··ad98]··__LDBL_DECIMAL_DIG__·36
1284	··[··adb2]··__~~LDBL~~_~~DECIMAL_D~~IG_~~_·36~~	1284	··[··adb0]··_ZNKSt15__new_allocatorIcE8max_sizeEv
1285	··[··adca]··~~_ZNKSt15_~~_new_allocat~~orI~~c~~E8m~~a~~x_s~~izeEv	1285	··[··add6]··_M_allocated_capacity
1286	··[··adf0]··_M_a~~llo~~cat~~ed_~~capac~~ity~~	1286	··[··adec]··basic_streambuf<char,·std::char_traits<char>·>
1287	··[··ae06]··~~basic~~_~~streambuf<char,~~·~~std::char~~_~~traits<char>~~·>	1287	··[··ae1b]··PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP·{·{·__PTHREAD_MUTEX_INITIALIZER·(PTHREAD_MUTEX_ERRORCHECK_NP)·}·}
1288	··[··ae35]··~~PTHREAD_ERROR~~CHEC~~K_MUTE~~X_~~INITIA~~LI~~ZER_~~N~~P·{·{·~~__PT~~HRE~~A~~D_MU~~T~~EX_~~IN~~ITIALIZER·~~(P~~THREAD_MU~~TEX_~~ERRORC~~HE~~CK_NP)·}·~~}	1288	··[··ae85]··CVC5_KIND_FLOATINGPOINT_GEQ
1289	··[··ae9f]··C~~VC5_KIND~~_FLO~~ATI~~N~~GPOINT~~_~~GEQ~~	1289	··[··aea1]··_GLIBCXX_MONOSTATE_H·1
1290	··[··aebb]··_~~GLIBCXX~~_~~MONOSTAT~~E~~_H·1~~	1290	··[··aeb8]··_ZNSt15__new_allocatorIcED2Ev
1291	··[··aed2]··_ZN~~St15__new_allocatorIcED2Ev~~	1291	··[··aed6]··ENOSYS·38
1292	··[··aef0]··ENOSYS~~·38~~	1292	··[··aee0]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1293	··[··a~~efa~~]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7~~compa~~reERK~~S4_~~	1293	··[··af25]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6insertEmmc
1294	··[··af3f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~6in~~sertEmmc	1294	··[··af66]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE13_M_set_lengthEm
1295	··[··af80]··~~_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcE~~E~~13_M_set_lengthEm~~	1295	··[··afad]··ENOPKG·65
1296	··[··afc7]··EN~~OPKG·65~~	1296	··[··afb7]··CVC5_SORT_KIND_SEQUENCE_SORT
1297	··[··afd1]··CVC5_SORT_~~KIND~~_~~SEQUENCE~~_~~SORT~~	1297	··[··afd4]··__CFLOAT128·_Complex·_Float128
1298	··[··afee]··__~~CFLOAT128·~~_~~Complex·_Flo~~at~~128~~	1298	··[··aff3]··__glibcxx_want_ranges_cache_latest
1299	··[··b00d]··__~~glibcxx~~_~~want~~_~~ranges_cache_latest~~	1299	··[··b016]··__LONG_MAX__·0x7fffffffffffffffL
1300	··[··b030]··__LONG_~~MAX~~__~~·0x7fffffff~~f~~fffffffL~~	1300	··[··b037]··CVC5_EXPORT·__attribute__((visibility("default")))
1301	··[··b051]··~~CVC5_EXPORT~~·__~~attribute_~~_~~((visibili~~ty("def~~ault")))~~	1301	··[··b06a]··__STD_TYPE·typedef
1302	··[··b084]··~~__STD_TYPE~~·typedef	1302	··[··b07d]··fopen
1303	··[··b097]··fopen	1303	··[··b083]··__cpp_lib_not_fn·201603L
1304	··[··b09d]··~~__cpp_lib_not_fn·201603L~~	1304	··[··b09c]··RENAME_WHITEOUT·(1·<<·2)
1305	··[··b0b6]··~~RENAME_WHITEOUT·(1·<<·2)~~	1305	··[··b0b5]··difference_type
1306	··[··b0cf]··~~difference_type~~	1306	··[··b0c5]··__GXX_ABI_VERSION·1020
1307	··[··b0df]··__~~GXX~~_~~ABI~~_VERSION·~~1020~~	1307	··[··b0dc]··__ORDER_PDP_ENDIAN__·3412
1308	··[··b0f6]··_~~_ORDER_PDP_~~END~~IAN__·3412~~	1308	··[··b0f6]··_ZNSo5flushEv
1309	··[··b110]··_~~ZNSo5flushE~~v	1309	··[··b104]··__glibcxx_want_variant·
1310	··[··b11e]··__~~glibcxx_want~~_~~varia~~nt·	1310	··[··b11c]··_GLIBCXX_ASAN_ANNOTATE_GROW(n)·
1311	··[··b136]··~~_GLIBCXX~~_AS~~AN_ANNOTATE~~_GR~~OW(n)·~~	1311	··[··b13c]··_S_badbit
1312	··[··b156]··_S_badbit	1312	··[··b146]··CVC5_API_KIND_CHECK(kind)·CVC5_API_CHECK(isDefinedKind(kind))·<<·"Invalid·kind·'"·<<·std::to_string(kind)·<<·"'";
1313	··[··b160]··~~CVC5_API_KIND_CHECK(kind)~~·~~CVC5_API_CHECK~~(is~~DefinedKind(kind))·<<·"Inva~~l~~id·kind·'"·<<·std::to_string(k~~in~~d)·<<·"'";~~	1313	··[··b1b8]··wcslen
1314	··[··b1d2]··~~wcslen~~	1314	··[··b1bf]··_GXX_NULLPTR_T·
1315	··[··b1d9]··~~_GXX~~_N~~ULLPTR_T·~~	1315	··[··b1cf]··ENOTNAM·118
1316	··[··b1e9]··EN~~OTNAM·~~118	1316	··[··b1db]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_
1317	··[··b~~1f5~~]··~~_ZNSt7__cxx1112bas~~ic_s~~trin~~g~~IcSt11char_t~~r~~aitsIcES~~a~~IcEE~~p~~LERKS4~~_	1317	··[··b219]··isgraph
1318	··[··b233]··~~isgraph~~	1318	··[··b221]··__SLONG32_TYPE·int
1319	··[··b23b]··__SL~~ONG~~32_T~~YPE~~·int	1319	··[··b234]··EL3RST·47
1320	··[··b24e]··~~EL3RST·47~~	1320	··[··b23e]··_M_replace_facet
1321	··[··b258]··~~_M_replace~~_~~face~~t	1321	··[··b24f]··5div_t
1322	··[··b269]··5~~div~~_t	1322	··[··b256]··CVC5_KIND_RELATION_TRANSPOSE
1323	··[··b270]··~~CVC5~~_KIND_RE~~LATION~~_~~TRAN~~SPOSE	1323	··[··b273]··_ZSt10__distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_St26random_access_iterator_tag
1324	··[··b28d]··~~_ZSt10__distanceIPKcENSt15iterator_traitsI~~T_~~E15differen~~ce_type~~ES3_S3_St26~~r~~ando~~m~~_access_~~i~~terator_tag~~	1324	··[··b2d7]··L_ctermid·9
1325	··[··b2f1]··L_~~ctermid~~·9	1325	··[··b2e3]··__INT_FAST8_WIDTH__·8
1326	··[··b2fd]··__~~INT~~_~~FAST8~~_~~WIDTH__·8~~	1326	··[··b2f9]··__glibcxx_want_constexpr_algorithms
1327	··[··b313]··~~__glibcxx_want~~_~~constexpr_algorithms~~	1327	··[··b31d]··UINT16_MAX·(65535)
1328	··[··b337]··~~UINT16~~_~~MAX·(65535)~~	1328	··[··b330]··__glibcxx_want_generator
1329	··[··b34a]··__~~glibcxx_want~~_~~generator~~	1329	··[··b349]··__FLT64_MAX_10_EXP__·308
1330	··[··b363]··__FLT6~~4_MAX_10~~_~~EXP~~__·308	1330	··[··b362]··__BFLT16_DECIMAL_DIG__·4
1331	··[··b37c]··__BFLT~~16_DECIMAL_DIG~~__·4	1331	··[··b37b]··__CPUELT(cpu)·((cpu)·/·__NCPUBITS)
1332	··[··b395]··__CPU~~ELT(cpu)·((cpu)·/·~~__N~~CPUBITS)~~	1332	··[··b39e]··__GNUC_STDC_INLINE__·1
1333	··[··b3b8]··_~~_GNU~~C_~~STDC~~_~~INLIN~~E__·1	1333	··[··b3b5]··_GLIBCXX_LONG_DOUBLE_ALT128_COMPAT
1334	··[··b3cf]··_~~GLIBCXX~~_~~LONG~~_~~DOUBLE~~_~~ALT128_COMPAT~~	1334	··[··b3d8]··__cpp_lib_nonmember_container_access·201411L
1335	··[··b~~3f2~~]··__cpp_~~lib~~_nonmem~~ber_conta~~in~~er_acces~~s·201411L	1335	··[··b405]··__cpp_nested_namespace_definitions·201411L
1336	··[··b41f]··_~~_cpp~~_ne~~sted~~_~~namespace~~_~~definitions·201411L~~	1336	··[··b430]··CVC5_KIND_SET_SINGLETON
1337	··[··b44a]··~~CVC5_KIND_SET_SINGLETON~~	1337	··[··b448]··vfwprintf
1338	··[··b462]··~~vfwprintf~~	1338	··[··b452]··_GLIBCXX_HAVE_STRERROR_R·1
1339	··[··b46c]··_~~GLIBCX~~X_~~HAVE~~_~~STRERROR_R·1~~	1339	··[··b46d]··__DEC64X_MIN__·1E-6143D64x
1340	··[··b487]··~~__DEC64X_MIN~~__~~·1E-6143D64x~~	1340	··[··b488]··__pptr
1341	··[··b4a2]··_~~_pptr~~	1341	··[··b48f]··CLONE_NEWTIME·0x00000080
1342	··[··b4a9]··CLONE_~~NEW~~TIME~~·0x00000080~~	1342	··[··b4a8]··CVC5_LEARNED_LIT_TYPE_PREPROCESS
1343	··[··b4c2]··~~CVC5~~_~~LEARNED~~_~~LIT_TYPE~~_~~PREPROCESS~~	1343	··[··b4c9]··__glibcxx_nonmember_container_access·201411L
1344	··[··b4e3]··__~~glibcxx~~_~~nonmember~~_~~container~~_~~access·201411L~~	1344	··[··b4f6]··_PSTL_PRAGMA_VECTOR_UNALIGNED·
1345	··[··b510]··_PSTL_~~PRAGMA_VECTOR_UNALIGNED·~~	1345	··[··b515]··__FLT32X_MIN__·2.22507385850720138309023271733240406e-308F32x
1346	··[··b52f]··__~~FLT32X~~_~~MIN~~_~~_·2.225073858507~~2~~0138309~~0~~2327~~1~~73324040~~6~~e-3~~08F32x	1346	··[··b553]··__cpp_range_based_for·201603L
1347	··[··b56d]··__~~cpp~~_~~range~~_~~based~~_~~for·2016~~03L	1347	··[··b571]··_GLIBCXX_USE_UCHAR_C8RTOMB_MBRTOC8_CXX20·1
1348	··[··b58b]··~~_GL~~IBC~~XX_USE~~_~~UCH~~A~~R_C8R~~T~~OMB_MBR~~T~~OC8~~_~~CXX20·1~~	1348	··[··b59c]··CVC5_KIND_FLOATINGPOINT_REM
1349	··[··b5b6]··~~CVC5_K~~I~~ND_FLO~~ATI~~NGPO~~IN~~T_REM~~	1349	··[··b5b8]··_GLIBCXX_HAVE_SINCOSF·1
1350	··[··b5d2]··_GL~~IBC~~X~~X_HAV~~E_~~SINCOSF·1~~	1350	··[··b5d0]··__FLT32X_MIN_EXP__·(-1021)
1351	··[··b5ea]··~~__FLT32X~~_MIN~~_EXP_~~_·(~~-1021)~~	1351	··[··b5eb]··_ISOC99_SOURCE
1352	··[··b~~605~~]··_ISOC99_SOURCE	1352	··[··b5fa]··CVC5_API_UNSUPPORTED_CHECK(cond)·CVC5_PREDICT_TRUE(cond)·?·(void)0·:·cvc5::internal::OstreamVoider()·&·cvc5::CVC5ApiUnsupportedExceptionStream().ostream()
1353	··[··b614]··~~CVC5_API_UNSUPPORTED_CHECK(cond)~~·~~CVC5~~_~~PREDICT~~_~~TRUE(cond)·?·(~~voi~~d)0·:~~·cv~~c5::i~~nt~~ernal::~~Ostrea~~mVoider()·&·cvc5::CVC5ApiUnsupportedEx~~c~~eption~~Strea~~m().ost~~re~~am()~~	1353	··[··b695]··__glibcxx_want_stacktrace
1354	··[··b6af]··__glibcxx_want_~~stacktrace~~	1354	··[··b6af]··__glibcxx_want_filesystem
1355	··[··b6c9]··_~~_glib~~cxx_want_fi~~lesystem~~	1355	··[··b6c9]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4Ev
1356	··[··b6e3]··~~_ZNSt7~~__~~cxx1112basi~~c_~~stringIcSt11c~~h~~ar_tra~~i~~tsIcESaIcEEC4Ev~~	1356	··[··b703]··~_Alloc_hider
1357	··[··b71d]··~_Alloc_hider	1357	··[··b711]··__glibcxx_want_string_udls
Max diff block lines reached; 2297/225695 bytes (1.02%) of diff not shown.


Offset 6, 8 lines modified		Offset 6, 8 lines modified
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·4790	7	Installed-Size:·4790
8	Depends:·libcvc5parser1·(=·1.1.2-3)	8	Depends:·libcvc5parser1·(=·1.1.2-3)
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:·~~02e5~~54066~~2ba294b70~~e8~~cc9~~8a315~~952c0~~9~~7c6f7~~b	13	Build-Ids:·66ad54a1c670785f6c3e4638df1180f59468cbba


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/02/e554066~~2ba294b70~~e8~~cc9~~8a315~~952c0~~9~~7c6f7~~b.debug	1	usr/lib/debug/.build-id/66/ad54a1c670785f6c3e4638df1180f59468cbba.debug


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

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.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007098·18···A··4···3··8	7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007098·18···A··4···3··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000cc8b0·0bc868·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000cc8b0·0bc868·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000ce868·0bc868·000250·10··WA··4···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000ce868·0bc868·000250·10··WA··4···0··8
27	··[22]·.got··············NOBITS··········00000000000ceab8·0bc868·001548·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000ceab8·0bc868·001548·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000d0000·0bc868·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000d0000·0bc868·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000d0058·0bc868·000070·00··WA··0···0··8	29	··[24]·.bss··············NOBITS··········00000000000d0058·0bc868·000070·00··WA··0···0··8
30	··[25]·.comment··········PROGBITS········0000000000000000·0b1580·00001e·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·0b1580·00001e·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0b15a0·0006a1·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0b15a0·0006a1·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·0b1c48·296977·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·0b1c48·29693c·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·3485c0·006705·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·348588·006705·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·34ecc8·02ea1a·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·34ec90·02ea1a·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·37d6e8·05aa19·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·37d6b0·05aa0d·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·3d8~~108~~·0007d4·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·3d80c0·0007d4·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·3d88e0·07dfad·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·3d8898·07dfad·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·456890·00ce65·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·456848·00ce6b·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·4636f8·01a733·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·4636b8·01a733·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·47de30·00fb40·18·····36·1482··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·47ddf0·00fb40·18·····36·1482··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·48d970·01c909·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·48d930·01c909·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·4aa279·000193·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·4aa239·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 25, 15 lines modified		Offset 25, 15 lines modified
25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4cb2f):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4cb2f):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·46	29	····<2f>···DW_AT_decl_file···:·(data1)·46
30	····<30>···DW_AT_decl_line···:·(data2)·440	30	····<30>···DW_AT_decl_line···:·(data2)·440
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5ec6):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5ee0):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51f10):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51f10):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·46	36	····<3d>···DW_AT_decl_file···:·(data1)·46
37	····<3e>···DW_AT_decl_line···:·(data2)·441	37	····<3e>···DW_AT_decl_line···:·(data2)·441
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
Offset 51, 77 lines modified		Offset 51, 77 lines modified
51	·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6389b):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6389b):·long·long·int
55	·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ae55):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ae6f):·long·double
59	·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5ec8):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5ee2):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·46	61	····<64>···DW_AT_decl_file···:·(data1)·46
62	····<65>···DW_AT_decl_line···:·(data2)·451	62	····<65>···DW_AT_decl_line···:·(data2)·451
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:·40·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·40·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34d84):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34d84):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2d00):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2d1a):·unsigned·char
72	·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b184):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b184):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14508e):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14508e):·unsigned·int
80	·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd96a0):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd96ba):·signed·char
84	·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b6d2):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b6d2):·short·int
88	·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c22b):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c245):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·47	90	····<97>···DW_AT_decl_file···:·(data1)·47
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8559):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8573):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·47	102	····<ab>···DW_AT_decl_file···:·(data1)·47
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5ed4):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5eee):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·47	108	····<b4>···DW_AT_decl_file···:·(data1)·47
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:·8·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·8·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd96a7):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd96c1):·char
121	·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>
126	·<2><ce>:·Abbrev·Number:·6·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·6·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·53	127	····<cf>···DW_AT_decl_file···:·(data1)·53
Offset 860, 41 lines modified		Offset 860, 41 lines modified
860	·<1><457>:·Abbrev·Number:·33·(DW_TAG_typedef)	860	·<1><457>:·Abbrev·Number:·33·(DW_TAG_typedef)
861	····<458>···DW_AT_name········:·(strp)·(offset:·0x3ee37):·__gnuc_va_list	861	····<458>···DW_AT_name········:·(strp)·(offset:·0x3ee37):·__gnuc_va_list
862	····<45c>···DW_AT_decl_file···:·(data1)·91	862	····<45c>···DW_AT_decl_file···:·(data1)·91
863	····<45d>···DW_AT_decl_line···:·(data1)·40	863	····<45d>···DW_AT_decl_line···:·(data1)·40
864	····<45e>···DW_AT_decl_column·:·(data1)·27	864	····<45e>···DW_AT_decl_column·:·(data1)·27
865	····<45f>···DW_AT_type········:·(ref_udata)·<0x461>,·__va_list	865	····<45f>···DW_AT_type········:·(ref_udata)·<0x461>,·__va_list
866	·<1><461>:·Abbrev·Number:·1·(DW_TAG_structure_type)	866	·<1><461>:·Abbrev·Number:·1·(DW_TAG_structure_type)
867	····<462>···DW_AT_name········:·(strp)·(offset:·0x766a7):·__va_list	867	····<462>···DW_AT_name········:·(strp)·(offset:·0x766c1):·__va_list
868	····<466>···DW_AT_byte_size···:·(data1)·32	868	····<466>···DW_AT_byte_size···:·(data1)·32
869	····<467>···DW_AT_decl_file···:·(data1)·92	869	····<467>···DW_AT_decl_file···:·(data1)·92
870	····<468>···DW_AT_decl_line···:·(data1)·0	870	····<468>···DW_AT_decl_line···:·(data1)·0
871	····<469>···DW_AT_sibling·····:·(ref_udata)·<0x494>	871	····<469>···DW_AT_sibling·····:·(ref_udata)·<0x494>
872	·<2><46b>:·Abbrev·Number:·26·(DW_TAG_member)	872	·<2><46b>:·Abbrev·Number:·26·(DW_TAG_member)
873	····<46c>···DW_AT_name········:·(strp)·(offset:·0x1010f3):·__stack	873	····<46c>···DW_AT_name········:·(strp)·(offset:·0x1010f3):·__stack
874	····<470>···DW_AT_type········:·(ref_udata)·<0xb8>	874	····<470>···DW_AT_type········:·(ref_udata)·<0xb8>
875	····<472>···DW_AT_data_member_location:·(data1)·0	875	····<472>···DW_AT_data_member_location:·(data1)·0
876	····<473>···DW_AT_artificial··:·(flag_present)·1	876	····<473>···DW_AT_artificial··:·(flag_present)·1
877	·<2><473>:·Abbrev·Number:·26·(DW_TAG_member)	877	·<2><473>:·Abbrev·Number:·26·(DW_TAG_member)
878	····<474>···DW_AT_name········:·(strp)·(offset:·0xaa8d3):·__gr_top	878	····<474>···DW_AT_name········:·(strp)·(offset:·0xaa8ed):·__gr_top
879	····<478>···DW_AT_type········:·(ref_udata)·<0xb8>	879	····<478>···DW_AT_type········:·(ref_udata)·<0xb8>
880	····<47a>···DW_AT_data_member_location:·(data1)·8	880	····<47a>···DW_AT_data_member_location:·(data1)·8
881	····<47b>···DW_AT_artificial··:·(flag_present)·1	881	····<47b>···DW_AT_artificial··:·(flag_present)·1
882	·<2><47b>:·Abbrev·Number:·26·(DW_TAG_member)	882	·<2><47b>:·Abbrev·Number:·26·(DW_TAG_member)
883	····<47c>···DW_AT_name········:·(strp)·(offset:·0x7624b):·__vr_top	883	····<47c>···DW_AT_name········:·(strp)·(offset:·0x76265):·__vr_top
884	····<480>···DW_AT_type········:·(ref_udata)·<0xb8>	884	····<480>···DW_AT_type········:·(ref_udata)·<0xb8>
885	····<482>···DW_AT_data_member_location:·(data1)·16	885	····<482>···DW_AT_data_member_location:·(data1)·16
886	····<483>···DW_AT_artificial··:·(flag_present)·1	886	····<483>···DW_AT_artificial··:·(flag_present)·1
887	·<2><483>:·Abbrev·Number:·26·(DW_TAG_member)	887	·<2><483>:·Abbrev·Number:·26·(DW_TAG_member)
888	····<484>···DW_AT_name········:·(strp)·(offset:·0x97081):·__gr_offs	888	····<484>···DW_AT_name········:·(strp)·(offset:·0x9709b):·__gr_offs
889	····<488>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	889	····<488>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
890	····<48a>···DW_AT_data_member_location:·(data1)·24	890	····<48a>···DW_AT_data_member_location:·(data1)·24
891	····<48b>···DW_AT_artificial··:·(flag_present)·1	891	····<48b>···DW_AT_artificial··:·(flag_present)·1
892	·<2><48b>:·Abbrev·Number:·26·(DW_TAG_member)	892	·<2><48b>:·Abbrev·Number:·26·(DW_TAG_member)
Max diff block lines reached; 37496685/37504374 bytes (99.98%) of diff not shown.


Offset 1892, 16 lines modified		Offset 1892, 16 lines modified
1892	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1892	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1893	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1893	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1894	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1894	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1895	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1895	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1896	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1896	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1897	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1897	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1898	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1898	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1899	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1899	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1900	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1900	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1901	··Offset:······················0x1f53	1901	··Offset:······················0x1f53
1902	··Version:·····················5	1902	··Version:·····················5
1903	··Offset·size:·················4	1903	··Offset·size:·················4

1904	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1904	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1905	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1905	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 49442, 16 lines modified		Offset 49442, 16 lines modified
49442	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	49442	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
49443	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	49443	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
49444	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	49444	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
49445	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	49445	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
49446	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	49446	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
49447	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	49447	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
49448	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	49448	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
49449	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	49449	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
49450	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	49450	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

49451	··Offset:······················0x40cdb	49451	··Offset:······················0x40cdb
49452	··Version:·····················5	49452	··Version:·····················5
49453	··Offset·size:·················4	49453	··Offset·size:·················4

49454	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	49454	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
49455	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	49455	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·15.2.0-9)·15.2.0
+Lon]Ihu
+I?0{B9Uo0
+m{*z4Cz;
+M3LAoj|f]g
+sTu):OC@
+XR0q,u.R@
+EX%N%_mv
+Ps6c3%h8
+E2UBX$c*
+`,Mu+"qRT
+G8nE8^f9
+r»      P`8BDy
+<oAVNPBD
+V"OggS96
+oQ,j|^,
+Te.OLG
+\,S@c5rF
+[+L">NUa
+R|H#>{D[a
+E2UDX$S!
+A)mO^Ze\
+n|p7m\7~
+e4_cMsM(
+<4<#a]yh
+i\q3a@i7L
+G,f!e;+Fs
+TTdRi»  L*-
+~GHpv9'i
+/C`o:»  Lr
+}KW+HS[<
+R%Vi_</{1
+)UQf4{u
+Tiz%%s|3»
+J?;.&`Q02
+·"Ot+$894
+%[_=[_7[o
+dxXG9-h^
+#0SI1wC%
+`I$h}R}F·z
+VeYj.v~`
+XQkW|iRY
+r#|r&nt%
+H63i8@?
+I6(E)J/""
+~dCn,\0!8w
+~f+Qn=q/I
+;JNj6~oG
+w`F5]^my
+Mcz)tFQ[
+FC_[T?{\?
+<%v*V{;:
+>s0Va9))
+MLE|&aGO
+B;+xbM@n
+b#xq)Y&`
+/=FVJPL|av
+?0O]J7,
+/-MMbI~U2
+ff=T\qLY
+aUnM<\p\
+nqmEk{R$w%\
+{X)m^+'o
+-bo:`s7J$5
+$;W»   fLL
+z*x&»   -X/n
+<,K=w+D»
+_w^aFt%b$
+mG[fMN;$
+l!PvE&@f
+_N">»   b:?
+QE3%r/G><@U
+Ib=6N"OZ
+<qEQV-NR
+TOmHYW6;
+Y2]}WBz-
+jJykh7iSU
+]avY"TsT
+E2URX$S)
+;:`tbXeE
+i]Y>yXlZn
+>#=qxN» :7
+lVvX<##=;,
+#<c=z)
+A*DY4+JY
+kqBF4dK>
+x]HVTiYD
+pmmMd_V;
+jh%INSC;~
+w2>»    ·tn<d
+Pj57~gR/_
+w4i#z=L]
+ZR)9X*{!
+m^NwHhTAq
+{~e$]pGP
+QBq6TWTb#
+j|PP5]W-
+%nG?F(t
+@Grq_.6L
+K`Yy+lV;w
+#cIB,PZ
+?-'H*:M*N
+;2wOYMVH
+XT9Y^nXd
+g^"y*>jG
+^P)]X*oKi
+JuZi%%r?B
+l"Cz&·:k
+@P1$Nm%^
+Z'MdM)I.5G<
++u@`/V*$
+W:[m>GJt
+'yR%^]nF
+»       &7#x.u7B
+C3H%`ez[_
+b3xI1Y.`
+Z)!?>"m6
+ia\Flq5}»
+'^yB|i_
+'N;*NlJf
+&1'#Ri|j
+Mk8c|i;*I
+C2;6$+{
+Fde1"q=g»
+*Vb+b$%$
+J+l8fI#D
+Ly'dZ5$k


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/b5/bf09~~fd4~~f15cda7~~4c7d65~~482981~~405127307d14~~.debug	1	usr/lib/debug/.build-id/55/719f12da3798e2f8e248bf8671c798caf1cc25.debug


Offset 20, 19 lines modified		Offset 20, 19 lines modified
20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)	20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)
21	····<35>···DW_AT_byte_size···:·(data1)·8	21	····<35>···DW_AT_byte_size···:·(data1)·8
22	····<36>···DW_AT_encoding····:·(data1)·4» (float)	22	····<36>···DW_AT_encoding····:·(data1)·4» (float)
23	····<37>···DW_AT_name········:·(strp)·(offset:·0x6d71d):·double	23	····<37>···DW_AT_name········:·(strp)·(offset:·0x6d71d):·double
24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)	24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)
25	····<3c>···DW_AT_byte_size···:·(data1)·1	25	····<3c>···DW_AT_byte_size···:·(data1)·1
26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x79~~0ea~~):·unsigned·char	27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x79104):·unsigned·char
28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)	28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)
29	····<43>···DW_AT_byte_size···:·(data1)·2	29	····<43>···DW_AT_byte_size···:·(data1)·2
30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)	30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)
31	····<45>···DW_AT_name········:·(strp)·(offset:·0xd1ce4):·short·unsigned·int	31	····<45>···DW_AT_name········:·(strp)·(offset:·0xd1cfe):·short·unsigned·int
32	·<1><49>:·Abbrev·Number:·21·(DW_TAG_const_type)	32	·<1><49>:·Abbrev·Number:·21·(DW_TAG_const_type)
33	····<4a>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int	33	····<4a>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int
34	·<1><4b>:·Abbrev·Number:·1·(DW_TAG_base_type)	34	·<1><4b>:·Abbrev·Number:·1·(DW_TAG_base_type)
35	····<4c>···DW_AT_byte_size···:·(data1)·4	35	····<4c>···DW_AT_byte_size···:·(data1)·4
36	····<4d>···DW_AT_encoding····:·(data1)·7» (unsigned)	36	····<4d>···DW_AT_encoding····:·(data1)·7» (unsigned)
37	····<4e>···DW_AT_name········:·(strp)·(offset:·0x13b08e):·unsigned·int	37	····<4e>···DW_AT_name········:·(strp)·(offset:·0x13b08e):·unsigned·int
38	·<1><52>:·Abbrev·Number:·21·(DW_TAG_const_type)	38	·<1><52>:·Abbrev·Number:·21·(DW_TAG_const_type)
Offset 40, 31 lines modified		Offset 40, 31 lines modified
40	·<1><54>:·Abbrev·Number:·1·(DW_TAG_base_type)	40	·<1><54>:·Abbrev·Number:·1·(DW_TAG_base_type)
41	····<55>···DW_AT_byte_size···:·(data1)·8	41	····<55>···DW_AT_byte_size···:·(data1)·8
42	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)	42	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0x4965b):·long·unsigned·int	43	····<57>···DW_AT_name········:·(strp)·(offset:·0x4965b):·long·unsigned·int
44	·<1><5b>:·Abbrev·Number:·21·(DW_TAG_const_type)	44	·<1><5b>:·Abbrev·Number:·21·(DW_TAG_const_type)
45	····<5c>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int	45	····<5c>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int
46	·<1><5d>:·Abbrev·Number:·61·(DW_TAG_typedef)	46	·<1><5d>:·Abbrev·Number:·61·(DW_TAG_typedef)
47	····<5e>···DW_AT_name········:·(strp)·(offset:·0xb04db):·__int8_t	47	····<5e>···DW_AT_name········:·(strp)·(offset:·0xb04f5):·__int8_t
48	····<62>···DW_AT_decl_file···:·(data1)·52	48	····<62>···DW_AT_decl_file···:·(data1)·52
49	····<63>···DW_AT_decl_line···:·(data1)·37	49	····<63>···DW_AT_decl_line···:·(data1)·37
50	····<64>···DW_AT_decl_column·:·(data1)·21	50	····<64>···DW_AT_decl_column·:·(data1)·21
51	····<65>···DW_AT_type········:·(ref_udata)·<0x66>,·signed·char	51	····<65>···DW_AT_type········:·(ref_udata)·<0x66>,·signed·char
52	·<1><66>:·Abbrev·Number:·1·(DW_TAG_base_type)	52	·<1><66>:·Abbrev·Number:·1·(DW_TAG_base_type)
53	····<67>···DW_AT_byte_size···:·(data1)·1	53	····<67>···DW_AT_byte_size···:·(data1)·1
54	····<68>···DW_AT_encoding····:·(data1)·6» (signed·char)	54	····<68>···DW_AT_encoding····:·(data1)·6» (signed·char)
55	····<69>···DW_AT_name········:·(strp)·(offset:·0xd096f):·signed·char	55	····<69>···DW_AT_name········:·(strp)·(offset:·0xd0989):·signed·char
56	·<1><6d>:·Abbrev·Number:·61·(DW_TAG_typedef)	56	·<1><6d>:·Abbrev·Number:·61·(DW_TAG_typedef)
57	····<6e>···DW_AT_name········:·(strp)·(offset:·0xa933f):·__uint8_t	57	····<6e>···DW_AT_name········:·(strp)·(offset:·0xa9359):·__uint8_t
58	····<72>···DW_AT_decl_file···:·(data1)·52	58	····<72>···DW_AT_decl_file···:·(data1)·52
59	····<73>···DW_AT_decl_line···:·(data1)·38	59	····<73>···DW_AT_decl_line···:·(data1)·38
60	····<74>···DW_AT_decl_column·:·(data1)·23	60	····<74>···DW_AT_decl_column·:·(data1)·23
61	····<75>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char	61	····<75>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char
62	·<1><76>:·Abbrev·Number:·61·(DW_TAG_typedef)	62	·<1><76>:·Abbrev·Number:·61·(DW_TAG_typedef)
63	····<77>···DW_AT_name········:·(strp)·(offset:·0xb3c34):·__int16_t	63	····<77>···DW_AT_name········:·(strp)·(offset:·0xb3c4e):·__int16_t
64	····<7b>···DW_AT_decl_file···:·(data1)·52	64	····<7b>···DW_AT_decl_file···:·(data1)·52
65	····<7c>···DW_AT_decl_line···:·(data1)·39	65	····<7c>···DW_AT_decl_line···:·(data1)·39
66	····<7d>···DW_AT_decl_column·:·(data1)·26	66	····<7d>···DW_AT_decl_column·:·(data1)·26
67	····<7e>···DW_AT_type········:·(ref_udata)·<0x80>,·short·int	67	····<7e>···DW_AT_type········:·(ref_udata)·<0x80>,·short·int
68	·<1><80>:·Abbrev·Number:·1·(DW_TAG_base_type)	68	·<1><80>:·Abbrev·Number:·1·(DW_TAG_base_type)
69	····<81>···DW_AT_byte_size···:·(data1)·2	69	····<81>···DW_AT_byte_size···:·(data1)·2
70	····<82>···DW_AT_encoding····:·(data1)·5» (signed)	70	····<82>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 72, 15 lines modified		Offset 72, 15 lines modified
72	·<1><87>:·Abbrev·Number:·61·(DW_TAG_typedef)	72	·<1><87>:·Abbrev·Number:·61·(DW_TAG_typedef)
73	····<88>···DW_AT_name········:·(strp)·(offset:·0x4f82):·__uint16_t	73	····<88>···DW_AT_name········:·(strp)·(offset:·0x4f82):·__uint16_t
74	····<8c>···DW_AT_decl_file···:·(data1)·52	74	····<8c>···DW_AT_decl_file···:·(data1)·52
75	····<8d>···DW_AT_decl_line···:·(data1)·40	75	····<8d>···DW_AT_decl_line···:·(data1)·40
76	····<8e>···DW_AT_decl_column·:·(data1)·28	76	····<8e>···DW_AT_decl_column·:·(data1)·28
77	····<8f>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int	77	····<8f>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int
78	·<1><90>:·Abbrev·Number:·61·(DW_TAG_typedef)	78	·<1><90>:·Abbrev·Number:·61·(DW_TAG_typedef)
79	····<91>···DW_AT_name········:·(strp)·(offset:·0x969c8):·__int32_t	79	····<91>···DW_AT_name········:·(strp)·(offset:·0x969e2):·__int32_t
80	····<95>···DW_AT_decl_file···:·(data1)·52	80	····<95>···DW_AT_decl_file···:·(data1)·52
81	····<96>···DW_AT_decl_line···:·(data1)·41	81	····<96>···DW_AT_decl_line···:·(data1)·41
82	····<97>···DW_AT_decl_column·:·(data1)·20	82	····<97>···DW_AT_decl_column·:·(data1)·20
83	····<98>···DW_AT_type········:·(ref_udata)·<0x9d>,·int	83	····<98>···DW_AT_type········:·(ref_udata)·<0x9d>,·int
84	·<1><9a>:·Abbrev·Number:·21·(DW_TAG_const_type)	84	·<1><9a>:·Abbrev·Number:·21·(DW_TAG_const_type)
85	····<9b>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int	85	····<9b>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int
86	·<1><9d>:·Abbrev·Number:·373·(DW_TAG_base_type)	86	·<1><9d>:·Abbrev·Number:·373·(DW_TAG_base_type)
Offset 92, 33 lines modified		Offset 92, 33 lines modified
92	·<1><a8>:·Abbrev·Number:·61·(DW_TAG_typedef)	92	·<1><a8>:·Abbrev·Number:·61·(DW_TAG_typedef)
93	····<a9>···DW_AT_name········:·(strp)·(offset:·0x123aa0):·__uint32_t	93	····<a9>···DW_AT_name········:·(strp)·(offset:·0x123aa0):·__uint32_t
94	····<ad>···DW_AT_decl_file···:·(data1)·52	94	····<ad>···DW_AT_decl_file···:·(data1)·52
95	····<ae>···DW_AT_decl_line···:·(data1)·42	95	····<ae>···DW_AT_decl_line···:·(data1)·42
96	····<af>···DW_AT_decl_column·:·(data1)·22	96	····<af>···DW_AT_decl_column·:·(data1)·22
97	····<b0>···DW_AT_type········:·(ref_udata)·<0x4b>,·unsigned·int	97	····<b0>···DW_AT_type········:·(ref_udata)·<0x4b>,·unsigned·int
98	·<1><b1>:·Abbrev·Number:·61·(DW_TAG_typedef)	98	·<1><b1>:·Abbrev·Number:·61·(DW_TAG_typedef)
99	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7ae5a):·__int64_t	99	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7ae74):·__int64_t
100	····<b6>···DW_AT_decl_file···:·(data1)·52	100	····<b6>···DW_AT_decl_file···:·(data1)·52
101	····<b7>···DW_AT_decl_line···:·(data1)·44	101	····<b7>···DW_AT_decl_line···:·(data1)·44
102	····<b8>···DW_AT_decl_column·:·(data1)·25	102	····<b8>···DW_AT_decl_column·:·(data1)·25
103	····<b9>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int	103	····<b9>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int
104	·<1><bb>:·Abbrev·Number:·1·(DW_TAG_base_type)	104	·<1><bb>:·Abbrev·Number:·1·(DW_TAG_base_type)
105	····<bc>···DW_AT_byte_size···:·(data1)·8	105	····<bc>···DW_AT_byte_size···:·(data1)·8
106	····<bd>···DW_AT_encoding····:·(data1)·5» (signed)	106	····<bd>···DW_AT_encoding····:·(data1)·5» (signed)
107	····<be>···DW_AT_name········:·(strp)·(offset:·0xda3cb):·long·int	107	····<be>···DW_AT_name········:·(strp)·(offset:·0xda3e7):·long·int
108	·<1><c2>:·Abbrev·Number:·21·(DW_TAG_const_type)	108	·<1><c2>:·Abbrev·Number:·21·(DW_TAG_const_type)
109	····<c3>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int	109	····<c3>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int
110	·<1><c5>:·Abbrev·Number:·61·(DW_TAG_typedef)	110	·<1><c5>:·Abbrev·Number:·61·(DW_TAG_typedef)
111	····<c6>···DW_AT_name········:·(strp)·(offset:·0x103c5c):·__uint64_t	111	····<c6>···DW_AT_name········:·(strp)·(offset:·0x103c5c):·__uint64_t
112	····<ca>···DW_AT_decl_file···:·(data1)·52	112	····<ca>···DW_AT_decl_file···:·(data1)·52
113	····<cb>···DW_AT_decl_line···:·(data1)·45	113	····<cb>···DW_AT_decl_line···:·(data1)·45
114	····<cc>···DW_AT_decl_column·:·(data1)·27	114	····<cc>···DW_AT_decl_column·:·(data1)·27
115	····<cd>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int	115	····<cd>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int
116	·<1><ce>:·Abbrev·Number:·61·(DW_TAG_typedef)	116	·<1><ce>:·Abbrev·Number:·61·(DW_TAG_typedef)
117	····<cf>···DW_AT_name········:·(strp)·(offset:·0xdc34b):·__int_least8_t	117	····<cf>···DW_AT_name········:·(strp)·(offset:·0xdc367):·__int_least8_t
118	····<d3>···DW_AT_decl_file···:·(data1)·52	118	····<d3>···DW_AT_decl_file···:·(data1)·52
119	····<d4>···DW_AT_decl_line···:·(data1)·52	119	····<d4>···DW_AT_decl_line···:·(data1)·52
120	····<d5>···DW_AT_decl_column·:·(data1)·18	120	····<d5>···DW_AT_decl_column·:·(data1)·18
121	····<d6>···DW_AT_type········:·(ref_udata)·<0x5d>,·__int8_t,·signed·char	121	····<d6>···DW_AT_type········:·(ref_udata)·<0x5d>,·__int8_t,·signed·char
122	·<1><d7>:·Abbrev·Number:·61·(DW_TAG_typedef)	122	·<1><d7>:·Abbrev·Number:·61·(DW_TAG_typedef)
123	····<d8>···DW_AT_name········:·(strp)·(offset:·0x2c938):·__uint_least8_t	123	····<d8>···DW_AT_name········:·(strp)·(offset:·0x2c938):·__uint_least8_t
124	····<dc>···DW_AT_decl_file···:·(data1)·52	124	····<dc>···DW_AT_decl_file···:·(data1)·52
Offset 128, 63 lines modified		Offset 128, 63 lines modified
128	·<1><e0>:·Abbrev·Number:·61·(DW_TAG_typedef)	128	·<1><e0>:·Abbrev·Number:·61·(DW_TAG_typedef)
129	····<e1>···DW_AT_name········:·(strp)·(offset:·0x125df1):·__int_least16_t	129	····<e1>···DW_AT_name········:·(strp)·(offset:·0x125df1):·__int_least16_t
130	····<e5>···DW_AT_decl_file···:·(data1)·52	130	····<e5>···DW_AT_decl_file···:·(data1)·52
131	····<e6>···DW_AT_decl_line···:·(data1)·54	131	····<e6>···DW_AT_decl_line···:·(data1)·54
132	····<e7>···DW_AT_decl_column·:·(data1)·19	132	····<e7>···DW_AT_decl_column·:·(data1)·19
133	····<e8>···DW_AT_type········:·(ref_udata)·<0x76>,·__int16_t,·short·int	133	····<e8>···DW_AT_type········:·(ref_udata)·<0x76>,·__int16_t,·short·int
134	·<1><e9>:·Abbrev·Number:·61·(DW_TAG_typedef)	134	·<1><e9>:·Abbrev·Number:·61·(DW_TAG_typedef)
135	····<ea>···DW_AT_name········:·(strp)·(offset:·0xa9123):·__uint_least16_t	135	····<ea>···DW_AT_name········:·(strp)·(offset:·0xa913d):·__uint_least16_t
136	····<ee>···DW_AT_decl_file···:·(data1)·52	136	····<ee>···DW_AT_decl_file···:·(data1)·52
137	····<ef>···DW_AT_decl_line···:·(data1)·55	137	····<ef>···DW_AT_decl_line···:·(data1)·55
138	····<f0>···DW_AT_decl_column·:·(data1)·20	138	····<f0>···DW_AT_decl_column·:·(data1)·20
139	····<f1>···DW_AT_type········:·(ref_udata)·<0x87>,·__uint16_t,·short·unsigned·int	139	····<f1>···DW_AT_type········:·(ref_udata)·<0x87>,·__uint16_t,·short·unsigned·int
140	·<1><f3>:·Abbrev·Number:·61·(DW_TAG_typedef)	140	·<1><f3>:·Abbrev·Number:·61·(DW_TAG_typedef)
141	····<f4>···DW_AT_name········:·(strp)·(offset:·0x106007):·__int_least32_t	141	····<f4>···DW_AT_name········:·(strp)·(offset:·0x106007):·__int_least32_t
142	····<f8>···DW_AT_decl_file···:·(data1)·52	142	····<f8>···DW_AT_decl_file···:·(data1)·52
143	····<f9>···DW_AT_decl_line···:·(data1)·56	143	····<f9>···DW_AT_decl_line···:·(data1)·56
144	····<fa>···DW_AT_decl_column·:·(data1)·19	144	····<fa>···DW_AT_decl_column·:·(data1)·19
145	····<fb>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int	145	····<fb>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int
146	·<1><fd>:·Abbrev·Number:·61·(DW_TAG_typedef)	146	·<1><fd>:·Abbrev·Number:·61·(DW_TAG_typedef)
147	····<fe>···DW_AT_name········:·(strp)·(offset:·0x8ca13):·__uint_least32_t	147	····<fe>···DW_AT_name········:·(strp)·(offset:·0x8ca2d):·__uint_least32_t
148	····<102>···DW_AT_decl_file···:·(data1)·52	148	····<102>···DW_AT_decl_file···:·(data1)·52
149	····<103>···DW_AT_decl_line···:·(data1)·57	149	····<103>···DW_AT_decl_line···:·(data1)·57
150	····<104>···DW_AT_decl_column·:·(data1)·20	150	····<104>···DW_AT_decl_column·:·(data1)·20
151	····<105>···DW_AT_type········:·(ref_udata)·<0xa8>,·__uint32_t,·unsigned·int	151	····<105>···DW_AT_type········:·(ref_udata)·<0xa8>,·__uint32_t,·unsigned·int
152	·<1><107>:·Abbrev·Number:·61·(DW_TAG_typedef)	152	·<1><107>:·Abbrev·Number:·61·(DW_TAG_typedef)
Max diff block lines reached; 11282835/11290357 bytes (99.93%) of diff not shown.


Offset 4650, 16 lines modified		Offset 4650, 16 lines modified
4650	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	4650	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
4651	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	4651	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
4652	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	4652	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
4653	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	4653	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
4654	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	4654	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
4655	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	4655	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
4656	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	4656	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
4657	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	4657	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
4658	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	4658	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

4659	··Offset:······················0x651e	4659	··Offset:······················0x651e
4660	··Version:·····················5	4660	··Version:·····················5
4661	··Offset·size:·················4	4661	··Offset·size:·················4

4662	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	4662	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
4663	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	4663	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1

+GCC:·(Debian·15.2.0-9)·15.2.0
+ZmiMmeVg
+TA[eeY3U9
+keA6.%<sv·
+MOmucbsCe*v\
+_BRU(F@)x
+~{TTB*Th
++;n9S`E·
+l9·[+E#L&
+rh@Nw3KwZ
+m>$:>1^JD
+mL/y=N[/
+Mdjh#<sF
+W96:`"S3HC
+{!Kw19[l
+G#;;]ndg
+_hnt+'g
+prM=yJ~V
+Bl@YG/c»
+(M,·JQDQAEE
+TO(H#EiDZ
+]n0w%»  _)
+Z8~Y!I-4
+S#,}_zqZJ
+>jZ·pJ5RX
+?8&:w*Y:
+|'m_K3h.r5s
+c?2b-GMx
+Sfx&L&]q
+]7^V,C<x
+q,9q{[`<KN
+·~W,·~·)
+gxq*av[!y
+v@_'+:l7
+w\P?·U0&{
+z@*bLh"E~
+~#eY[D>h
+I=HH9}vA
+IE%<vTdA
+Sdb$,)V#!
+ORS3[diq
+KtcA$~<[
+(;;zR=uR
+·V1Cc%ro
+Mnak!S»
+`OCa]BY#
+u»      5K(DC1
+G#"lDX!#
+u»      MI(_Cu
+*Z4oy$oy
+T2VpwG?
+.fL|S0.+W
+)3>?\0^jQ
+m1lO\LVw}
+vB]/uhFwu<d[
+np]nw[N,T
+gw[A,T·E
+._ew[Ive[
+Ynw[Hva[
+?-»     70"T(,
+LG&v:2y
+gI4>Kf7aJ»
+Kz69sV^C
+^9k^Sw3d6
+Do<&KyqW
+Yh4$m)&7
+f,YjZ;I<
+Nw<WdaA·
+A<(Ca,Lq<l
+flk0-{K3
+U]TI|Wu»
+@(xk?,w?
+*E|;;@q#)
+/+wHn,Zop
+|UUJI?;x
+aEmL7!U6,p
+&_R=?2kQ
+Gw<WCU+u
+Ld)_758}K
+e#eFBb7e
+D;5$WHk@
+sj>:Z;?:
+FEHD_A23!1
+'PlqVu{M_
+FD::MeGV
+KpG>^^?[
+I~--q^a>
+-J0/wD?.pB
+g0<}zqH/
+:.K$|o*A^
+»       (n=I[OL>Y
+./qB·!\>D<
+g!TW·6s-m
+vS_bo>8kQ
+,lr";wJQw>
+y)-076|]b
+yHWBjId-o
+==;{xJE
+Q\@P@AAE\
+J@F:V)%G
+,;lYaW2:1
+>omePBUO
+>G\@EL/bY
+_gy&$45o;
+Hai9IRHjx
+\K+iShz
+_z1Js9mU(F
+ieg=·1R
+»       MQ·lle_
+h&r-KC.;
+mo33h.rU
+/Jg}/>OJu
+G8T[G_·
+#C»     tt+;V
+s6:=X@mp
+Y:xv%Eoj
+gW48&Fbj
+q\QL%Ny%
+>VR~;&$1
+%8^j|eVt
+j·=t>_/A
+biTf4L3B
+e7/YI,U"
+UFl0-Q<;
+Spkx!fZ[
+n»      N?M$nSB
+r7U»    4Y%T!