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

⊟

141 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.26 KB

cvc5_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.77 KB

data.tar.xz ¶

⊟

1.75 KB

data.tar ¶

⊟

1.73 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

815 B

readelf --wide --notes {} ¶

⊟

866 B

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

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

⊟

31.0 KB

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

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

30.5 KB

data.tar.xz ¶

⊟

30.5 KB

data.tar ¶

⊟

30.5 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

10.7 KB

readelf --wide --relocs {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

705 B

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

Ordering differences only

⊟

5.74 KB

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

⊟

3.84 KB

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

⊟

4.1 KB

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

⊟

3.89 KB

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

⊟

811 B

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

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

⊟

2.11 KB

libcvc5parser1_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.59 KB

data.tar.xz ¶

⊟

1.57 KB

data.tar ¶

⊟

1.56 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

628 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

2.18 KB

python3-cvc5_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.67 KB

data.tar.xz ¶

⊟

1.65 KB

data.tar ¶

⊟

1.63 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

628 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

37.4 MB

cvc5-dbgsym_1.1.2-2_arm64.deb ¶

⊟

452 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

37.4 MB

data.tar.xz ¶

⊟

37.4 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

37.4 MB

./usr/lib/debug/.build-id/54/91f316bc2304a893bad0f1d6c29710249e1f10.debug vs.

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

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

⊟

969 B

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

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

⊟

3.56 KB

readelf --wide --sections {} ¶

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

⊟

909 B

readelf --wide --notes {} ¶

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

⊟

35.8 MB

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

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

⊟

2.11 KB

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

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

⊟

8.58 KB

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

⊟

1.62 MB

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

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

⊟

25.0 MB

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

⊟

369 B

file list ¶

⊟

802 B

control.tar.xz ¶

⊟

774 B

control.tar ¶

⊟

526 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

25.0 MB

data.tar.xz ¶

⊟

25.0 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

25.0 MB

./usr/lib/debug/.build-id/e1/4719d18139a190792f2945beaf65b7b679c74c.debug vs.

./usr/lib/debug/.build-id/4c/9375793bc409f7f0e727e4b3cb853df62a21ca.debug ¶

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

⊟

865 B

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

⊟

3.51 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

24.2 MB

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

⊟

3.41 KB

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

⊟

565 B

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

⊟

658 KB

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

⊟

177 KB

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

⊟

60.4 MB

libcvc5parser1-dbgsym_1.1.2-2_arm64.deb ¶

⊟

367 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

60.4 MB

data.tar.xz ¶

⊟

60.4 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

60.4 MB

./usr/lib/debug/.build-id/ef/e58aaf75465840ce3d85ee70d9767d00992f90.debug vs.

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

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

⊟

865 B

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

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

58.7 MB

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

⊟

1.99 KB

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

⊟

15.5 KB

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

⊟

1.67 MB

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

⊟

17.9 MB

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

⊟

367 B

file list ¶

⊟

668 B

control.tar.xz ¶

⊟

640 B

control.tar ¶

⊟

392 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

17.9 MB

data.tar.xz ¶

⊟

17.9 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

17.9 MB

./usr/lib/debug/.build-id/3e/854f762718a8f4db53a9fdf527622e294febb5.debug vs.

./usr/lib/debug/.build-id/ab/299eb05ec9803cc8cdd9a0142cb9b5ff2d03f8.debug ¶

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

⊟

865 B

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

⊟

3.47 KB

readelf --wide --sections {} ¶

⊟

628 B

readelf --wide --notes {} ¶

⊟

16.1 MB

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

⊟

1.04 KB

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

⊟

7.68 KB

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

⊟

1.76 MB

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


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

1	·5ebb1c6352ea72c6eecf430f1976c53a·1845172·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
2	·4911913f3a8cb401c627312216ee55dc·97024·math·optional·cvc5_1.1.2-2_arm64.deb
3	·347744ed3acf598831b384ad38c1a1b5·179951984·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
4	·2~~0186f~~d53f2d~~9443a14d~~1~~cab4a5d12af~~·~~5714676~~·libs·optional·~~lib~~cvc5-1_1.1.2-2_arm64.deb	1	·c37c3d73f6df7f67ef72190960e86e53·1845224·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
		2	·81a1ae6c6ffe339f3d1560312cbde3fb·96976·math·optional·cvc5_1.1.2-2_arm64.deb
		3	·6f7e303d39c9703aa462d37dbede1ea4·179953860·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
		4	·fc362b4f2a7ef0e0307d22c1c3bd5670·5715396·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5	·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb	5	·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6	·~~792~~1~~3f9577cb1e4cd7dff3~~0~~f357~~1f626·4015508·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb	6	·010dc169a3261f2509826e4c0c9a01f4·4015556·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
7	·f509fe5688abe84bcbbc141fb585bc83·208068·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
8	·b896c22ed9d18c16cdc8f19ff5151e4c·2585488·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
9	·74b78~~9368c7eecfb~~d~~e94~~2~~1f3~~5300d~~d95~~·298228·py~~thon~~·optional·~~python3-cvc5~~_1.1.2-2_arm64.deb	7	·7708ab4a7d00840db6a23b4d95cc04aa·208188·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
		8	·4f8eb3ed656d82def9a564ad1fccc3f8·2586304·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
		9	·6d20c478d2ef0b2a4875403b55d4d9a1·297924·python·optional·python3-cvc5_1.1.2-2_arm64.deb


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


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

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

4	Displaying·notes·found·in:·.note.gnu.build-id	4	Displaying·notes·found·in:·.note.gnu.build-id
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·~~549~~1~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·48d5114ce602695e58bb1eb44bf021792d64bece

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


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·39316633·31366263·32333034·61383933·91f316bc2304a893
3	··0x00000010·6~~26164~~30·66316436·63323937·3~~130~~3234·~~bad0f1d~~6c2~~971024~~	2	··0x00000000·64353131·34636536·30323639·35653538·d5114ce602695e58
		3	··0x00000010·62623165·62343462·66303231·37393264·bb1eb44bf021792d
4	··0x00000020·39653166·~~3130~~2e64·65627567·00000000·~~9e1f10~~.debug....	4	··0x00000020·36346265·63652e64·65627567·00000000·64bece.debug....
5	··0x00000030·~~327da50b~~····························2}..	5	··0x00000030·8e2a0348····························.*.H


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


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

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

4	Displaying·notes·found·in:·.note.gnu.build-id	4	Displaying·notes·found·in:·.note.gnu.build-id
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·~~e14~~719~~d1813~~9~~a19~~0792f2945b~~eaf6~~5~~b7b~~6~~79c74c~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·4c9375793bc409f7f0e727e4b3cb853df62a21ca


Offset 8900, 16 lines modified		Offset 8900, 16 lines modified
8900	opt-res-reconstruction-size	8900	opt-res-reconstruction-size
8901	output-lang	8901	output-lang
8902	parse-only	8902	parse-only
8903	partial-triggers	8903	partial-triggers
8904	partition-check	8904	partition-check
8905	partition-conflict-size	8905	partition-conflict-size
8906	partition-start-time	8906	partition-start-time
8907	partition
8908	partition-strategy	8907	partition-strategy
		8908	partition
8909	partition-time-interval	8909	partition-time-interval
8910	partition-tlimit	8910	partition-tlimit
8911	partition-when	8911	partition-when
8912	pb-rewrites	8912	pb-rewrites
8913	pivot-threshold	8913	pivot-threshold
8914	pool-inst	8914	pool-inst
8915	portfolio-jobs	8915	portfolio-jobs
Offset 8951, 16 lines modified		Offset 8951, 16 lines modified
8951	prop-row-length	8951	prop-row-length
8952	purify-triggers	8952	purify-triggers
8953	quant-alpha-equiv	8953	quant-alpha-equiv
8954	quant-dsplit	8954	quant-dsplit
8955	quant-fun-wd	8955	quant-fun-wd
8956	quant-ind	8956	quant-ind
8957	quant-rep-mode	8957	quant-rep-mode
8958	random-freq
8959	random-frequency	8958	random-frequency
		8959	random-freq
8960	random-partitioning	8960	random-partitioning
8961	re-inter-mode	8961	re-inter-mode
8962	register-quant-body-terms	8962	register-quant-body-terms
8963	relational-triggers	8963	relational-triggers
8964	relevance-filter	8964	relevance-filter
8965	relevant-triggers	8965	relevant-triggers
8966	repeat-simp	8966	repeat-simp


Offset 73054, 23 lines modified		Offset 73054, 23 lines modified
73054	» mov» w2,·#0x53··················» //·#83	73054	» mov» w2,·#0x53··················» //·#83
73055	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73055	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73056	» add» x0,·x19,·#0xd20	73056	» add» x0,·x19,·#0xd20
73057	» add» x1,·x1,·#0xd10	73057	» add» x1,·x1,·#0xd10
73058	» str» w2,·[sp,·#3400]	73058	» str» w2,·[sp,·#3400]
73059	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73059	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73060	» mov» w2,·#0x54··················» //·#84	73060	» mov» w2,·#0x54··················» //·#84
73061	» adrp» x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>	73061	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73062	» add» x0,·x19,·#0xd48	73062	» add» x0,·x19,·#0xd48
73063	» add» x1,·x1,·#0x~~c30~~	73063	» add» x1,·x1,·#0xd28
73064	» str» w2,·[sp,·#3440]	73064	» str» w2,·[sp,·#3440]
73065	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73065	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73066	» mov» w2,·#0x55··················» //·#85	73066	» mov» w2,·#0x55··················» //·#85
73067	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73067	» adrp» x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>
73068	» add» x0,·x19,·#0xd70	73068	» add» x0,·x19,·#0xd70
73069	» add» x1,·x1,·#0x~~d28~~	73069	» add» x1,·x1,·#0xc30
73070	» str» w2,·[sp,·#3480]	73070	» str» w2,·[sp,·#3480]
73071	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73071	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73072	» mov» w2,·#0x55··················» //·#85	73072	» mov» w2,·#0x55··················» //·#85
73073	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>	73073	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
73074	» add» x0,·x19,·#0xd98	73074	» add» x0,·x19,·#0xd98
73075	» add» x1,·x1,·#0x260	73075	» add» x1,·x1,·#0x260
73076	» str» w2,·[sp,·#3520]	73076	» str» w2,·[sp,·#3520]
Offset 73289, 24 lines modified		Offset 73289, 24 lines modified
73289	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73289	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73290	» add» x0,·x19,·x8	73290	» add» x0,·x19,·x8
73291	» add» x1,·x1,·#0xf88	73291	» add» x1,·x1,·#0xf88
73292	» str» w2,·[sp,·#4840]	73292	» str» w2,·[sp,·#4840]
73293	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73293	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73294	» mov» w2,·#0x77··················» //·#119	73294	» mov» w2,·#0x77··················» //·#119
73295	» mov» x7,·#0x12e8················» //·#4840	73295	» mov» x7,·#0x12e8················» //·#4840
73296	» adrp» x1,·1~~30d~~000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73296	» adrp» x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
73297	» add» x0,·x19,·x7	73297	» add» x0,·x19,·x7
73298	» add» x1,·x1,·#0x~~f98~~	73298	» add» x1,·x1,·#0x950
73299	» str» w2,·[sp,·#4880]	73299	» str» w2,·[sp,·#4880]
73300	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73300	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73301	» mov» w2,·#0x78··················» //·#120	73301	» mov» w2,·#0x78··················» //·#120
73302	» mov» x6,·#0x1310················» //·#4880	73302	» mov» x6,·#0x1310················» //·#4880
73303	» adrp» x1,·1~~2cf~~000·<CaDiCaL::Internal::cover()@@Base+0x3c80>	73303	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73304	» add» x0,·x19,·x6	73304	» add» x0,·x19,·x6
73305	» add» x1,·x1,·#0x~~950~~	73305	» add» x1,·x1,·#0xf98
73306	» str» w2,·[sp,·#4920]	73306	» str» w2,·[sp,·#4920]
73307	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73307	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73308	» mov» w2,·#0x78··················» //·#120	73308	» mov» w2,·#0x78··················» //·#120
73309	» mov» x5,·#0x1338················» //·#4920	73309	» mov» x5,·#0x1338················» //·#4920
73310	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>	73310	» adrp» x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73311	» add» x0,·x19,·x5	73311	» add» x0,·x19,·x5
73312	» add» x1,·x1,·#0xfa0	73312	» add» x1,·x1,·#0xfa0
Offset 73703, 15 lines modified		Offset 73703, 15 lines modified
73703	» add» x0,·x19,·x3	73703	» add» x0,·x19,·x3
73704	» add» x1,·x1,·#0x300	73704	» add» x1,·x1,·#0x300
73705	» str» w2,·[sp,·#7200]	73705	» str» w2,·[sp,·#7200]
73706	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73706	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73707	» mov» w2,·#0xb1··················» //·#177	73707	» mov» w2,·#0xb1··················» //·#177
73708	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	73708	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
73709	» mov» x0,·#0x1c20················» //·#7200	73709	» mov» x0,·#0x1c20················» //·#7200
73710	» add» x1,·x1,·#0x308	73710	» add» x1,·x1,·#0x310
73711	» add» x0,·x19,·x0	73711	» add» x0,·x19,·x0
73712	» str» w2,·[sp,·#7240]	73712	» str» w2,·[sp,·#7240]
73713	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	73713	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73714	» mov» w2,·#0xb1··················» //·#177	73714	» mov» w2,·#0xb1··················» //·#177
73715	» mov» x30,·#0x1c48················» //·#7240	73715	» mov» x30,·#0x1c48················» //·#7240
73716	» adrp» x1,·12d5000·<CaDiCaL::Internal::cover()@@Base+0x9c80>	73716	» adrp» x1,·12d5000·<CaDiCaL::Internal::cover()@@Base+0x9c80>
73717	» add» x0,·x19,·x30	73717	» add» x0,·x19,·x30
Offset 74079, 25 lines modified		Offset 74079, 25 lines modified
74079	» mov» x3,·#0x2468················» //·#9320	74079	» mov» x3,·#0x2468················» //·#9320
74080	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>	74080	» adrp» x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
74081	» add» x0,·x19,·x3	74081	» add» x0,·x19,·x3
74082	» add» x1,·x1,·#0x1e0	74082	» add» x1,·x1,·#0x1e0
74083	» str» w2,·[sp,·#9360]	74083	» str» w2,·[sp,·#9360]
74084	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74084	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74085	» mov» w2,·#0xe6··················» //·#230	74085	» mov» w2,·#0xe6··················» //·#230
74086	» adrp» x1,·1~~2cf~~000·<CaDiCaL::Internal::cover()@@Base+0x3c80>	74086	» adrp» x1,·1301000·<CaDiCaL::Internal::cover()@@Base+0x35c80>
74087	» mov» x0,·#0x2490················» //·#9360	74087	» mov» x0,·#0x2490················» //·#9360
74088	» add» x1,·x1,·#0x980	74088	» add» x1,·x1,·#0xb80
74089	» add» x0,·x19,·x0	74089	» add» x0,·x19,·x0
74090	» str» w2,·[sp,·#9400]	74090	» str» w2,·[sp,·#9400]
74091	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74091	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74092	» mov» w2,·#0xe7··················» //·#231	74092	» mov» w2,·#0xe7··················» //·#231
74093	» mov» x30,·#0x24b8················» //·#9400	74093	» mov» x30,·#0x24b8················» //·#9400
74094	» adrp» x1,·1~~301~~000·<CaDiCaL::Internal::cover()@@Base+0x35c80>	74094	» adrp» x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
74095	» add» x0,·x19,·x30	74095	» add» x0,·x19,·x30
74096	» add» x1,·x1,·#0xb80	74096	» add» x1,·x1,·#0x980
74097	» str» w2,·[sp,·#9440]	74097	» str» w2,·[sp,·#9440]
74098	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74098	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74099	» mov» w2,·#0xe7··················» //·#231	74099	» mov» w2,·#0xe7··················» //·#231
74100	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74100	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74101	» mov» x28,·#0x24e0················» //·#9440	74101	» mov» x28,·#0x24e0················» //·#9440
74102	» add» x1,·x1,·#0x6b8	74102	» add» x1,·x1,·#0x6b8
74103	» add» x0,·x19,·x28	74103	» add» x0,·x19,·x28
Offset 74166, 15 lines modified		Offset 74166, 15 lines modified
74166	» add» x1,·x1,·#0x740	74166	» add» x1,·x1,·#0x740
74167	» str» w2,·[sp,·#9840]	74167	» str» w2,·[sp,·#9840]
74168	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74168	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74169	» mov» w2,·#0xef··················» //·#239	74169	» mov» w2,·#0xef··················» //·#239
74170	» mov» x17,·#0x2670················» //·#9840	74170	» mov» x17,·#0x2670················» //·#9840
74171	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74171	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74172	» add» x0,·x19,·x17	74172	» add» x0,·x19,·x17
74173	» add» x1,·x1,·#0x750	74173	» add» x1,·x1,·#0x758
74174	» str» w2,·[sp,·#9880]	74174	» str» w2,·[sp,·#9880]
74175	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74175	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74176	» mov» w2,·#0xef··················» //·#239	74176	» mov» w2,·#0xef··················» //·#239
74177	» mov» x16,·#0x2698················» //·#9880	74177	» mov» x16,·#0x2698················» //·#9880
74178	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74178	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74179	» add» x0,·x19,·x16	74179	» add» x0,·x19,·x16
74180	» add» x1,·x1,·#0x768	74180	» add» x1,·x1,·#0x768
Offset 74551, 15 lines modified		Offset 74551, 15 lines modified
74551	» add» x1,·x1,·#0xb68	74551	» add» x1,·x1,·#0xb68
74552	» str» w2,·[sp,·#12040]	74552	» str» w2,·[sp,·#12040]
74553	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74553	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74554	» mov» w2,·#0x124·················» //·#292	74554	» mov» w2,·#0x124·················» //·#292
74555	» mov» x16,·#0x2f08················» //·#12040	74555	» mov» x16,·#0x2f08················» //·#12040
74556	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74556	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74557	» add» x0,·x19,·x16	74557	» add» x0,·x19,·x16
74558	» add» x1,·x1,·#0xb78	74558	» add» x1,·x1,·#0xb80
74559	» str» w2,·[sp,·#12080]	74559	» str» w2,·[sp,·#12080]
74560	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>	74560	» bl» 118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74561	» mov» w2,·#0x124·················» //·#292	74561	» mov» w2,·#0x124·················» //·#292
74562	» mov» x15,·#0x2f30················» //·#12080	74562	» mov» x15,·#0x2f30················» //·#12080
74563	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>	74563	» adrp» x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74564	» add» x0,·x19,·x15	74564	» add» x0,·x19,·x15
74565	» add» x1,·x1,·#0xb90	74565	» add» x1,·x1,·#0xb90
Offset 4194296, 8 lines modified		Offset 4194296, 8 lines modified
4194296	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:304	4194296	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:304
4194297	» mov» x0,·x1	4194297	» mov» x0,·x1
4194298	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:303	4194298	./obj-aarch64-linux-gnu/src/./src/./expr/node_value.h:303
4194299	» bfi» w3,·w2,·#8,·#20	4194299	» bfi» w3,·w2,·#8,·#20
Max diff block lines reached; 340/5688 bytes (5.98%) of diff not shown.


Offset 17079, 16 lines modified		Offset 17079, 16 lines modified
17079	··0x0130e290·65000000·00000000·6974652d·6474742d·e.......ite-dtt-	17079	··0x0130e290·65000000·00000000·6974652d·6474742d·e.......ite-dtt-
17080	··0x0130e2a0·73706c69·742d7175·616e7400·00000000·split-quant.....	17080	··0x0130e2a0·73706c69·742d7175·616e7400·00000000·split-quant.....
17081	··0x0130e2b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..	17081	··0x0130e2b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..
17082	··0x0130e2c0·6974652d·73696d70·00000000·00000000·ite-simp........	17082	··0x0130e2c0·6974652d·73696d70·00000000·00000000·ite-simp........
17083	··0x0130e2d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....	17083	··0x0130e2d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....
17084	··0x0130e2e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......	17084	··0x0130e2e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......
17085	··0x0130e2f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...	17085	··0x0130e2f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...
17086	··0x0130e300·6c6~~16e67~~·~~00000000~~·696e7075~~·742d~~6~~c61·la~~n~~g....i~~npu~~t-la~~	17086	··0x0130e300·696e7075·742d6c61·6e677561·67650000·input-language..
17087	··0x0130e310·6e6~~775~~61·~~6765~~0000·6c656d6d·612d696e·~~nguage~~..lemma-in	17087	··0x0130e310·6c616e67·00000000·6c656d6d·612d696e·lang....lemma-in
17088	··0x0130e320·70726f63·65737300·6c656d6d·612d696e·process.lemma-in	17088	··0x0130e320·70726f63·65737300·6c656d6d·612d696e·process.lemma-in
17089	··0x0130e330·70726f63·6573732d·696e6665·722d6571·process-infer-eq	17089	··0x0130e330·70726f63·6573732d·696e6665·722d6571·process-infer-eq
17090	··0x0130e340·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in	17090	··0x0130e340·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in
17091	··0x0130e350·70726f63·6573732d·73756273·00000000·process-subs....	17091	··0x0130e350·70726f63·6573732d·73756273·00000000·process-subs....
17092	··0x0130e360·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay	17092	··0x0130e360·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
17093	··0x0130e370·2d666169·6c757265·00000000·00000000·-failure........	17093	··0x0130e370·2d666169·6c757265·00000000·00000000·-failure........
17094	··0x0130e380·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus	17094	··0x0130e380·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
Offset 17147, 17 lines modified		Offset 17147, 17 lines modified
17147	··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......	17147	··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148	··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers	17148	··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149	··0x0130e6f0·00000000·00000000·63686563·6b000000·........check...	17149	··0x0130e6f0·00000000·00000000·63686563·6b000000·........check...
17150	··0x0130e700·70617274·6974696f·6e2d6368·65636b00·partition-check.	17150	··0x0130e700·70617274·6974696f·6e2d6368·65636b00·partition-check.
17151	··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli	17151	··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152	··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio	17152	··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153	··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....	17153	··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154	··0x0130e740·70617274·6974696f·6e000000·00000000·partition.......
17155	··0x0130e750·70617274·6974696f·6e2d7374·72617465·partition-strate	17154	··0x0130e740·70617274·6974696f·6e2d7374·72617465·partition-strate
17156	··0x0130e760·67790000·00000000·70617274·6974696f·gy......partitio	17155	··0x0130e750·67790000·00000000·70617274·6974696f·gy......partitio
		17156	··0x0130e760·6e000000·00000000·70617274·6974696f·n.......partitio
17157	··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.	17157	··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
17158	··0x0130e780·70617274·6974696f·6e2d746c·696d6974·partition-tlimit	17158	··0x0130e780·70617274·6974696f·6e2d746c·696d6974·partition-tlimit
17159	··0x0130e790·00000000·00000000·70617274·6974696f·........partitio	17159	··0x0130e790·00000000·00000000·70617274·6974696f·........partitio
17160	··0x0130e7a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri	17160	··0x0130e7a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri
17161	··0x0130e7b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th	17161	··0x0130e7b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th
17162	··0x0130e7c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins	17162	··0x0130e7c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins
17163	··0x0130e7d0·74000000·00000000·706f7274·666f6c69·t.......portfoli	17163	··0x0130e7d0·74000000·00000000·706f7274·666f6c69·t.......portfoli
Offset 17214, 16 lines modified		Offset 17214, 16 lines modified
17214	··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.	17214	··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.
17215	··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi	17215	··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi
17216	··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds	17216	··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds
17217	··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu	17217	··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu
17218	··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in	17218	··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in
17219	··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re	17219	··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re
17220	··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f	17220	··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f
17221	··0x0130eb70·72657100·00000000·72616e64·6f6d2d66·req.....random-f
17222	··0x0130eb80·72657175·656e6379·00000000·00000000·requency........	17221	··0x0130eb70·72657175·656e6379·00000000·00000000·requency........
		17222	··0x0130eb80·72616e64·6f6d2d66·72657100·00000000·random-freq.....
17223	··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition	17223	··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition
17224	··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.	17224	··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.
17225	··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...	17225	··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...
17226	··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b	17226	··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b
17227	··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......	17227	··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......
17228	··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg	17228	··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg
17229	··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc	17229	··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc


Offset 1912, 23 lines modified		Offset 1912, 23 lines modified
1912	··0x015cf9e8·50e13001·00000000·50592d01·00000000·P.0.....PY-.....	1912	··0x015cf9e8·50e13001·00000000·50592d01·00000000·P.0.....PY-.....
1913	··0x015cf9f8·28263001·00000000·68e13001·00000000·(&0.....h.0.....	1913	··0x015cf9f8·28263001·00000000·68e13001·00000000·(&0.....h.0.....
1914	··0x015cfa08·78e13001·00000000·60592d01·00000000·x.0.....`Y-.....	1914	··0x015cfa08·78e13001·00000000·60592d01·00000000·x.0.....`Y-.....
1915	··0x015cfa18·90e13001·00000000·a8e13001·00000000·..0.......0.....	1915	··0x015cfa18·90e13001·00000000·a8e13001·00000000·..0.......0.....
1916	··0x015cfa28·b8e13001·00000000·d0e13001·00000000·..0.......0.....	1916	··0x015cfa28·b8e13001·00000000·d0e13001·00000000·..0.......0.....
1917	··0x015cfa38·e0e13001·00000000·485f2e01·00000000·..0.....H_......	1917	··0x015cfa38·e0e13001·00000000·485f2e01·00000000·..0.....H_......
1918	··0x015cfa48·e8e13001·00000000·00e23001·00000000·..0.......0.....	1918	··0x015cfa48·e8e13001·00000000·00e23001·00000000·..0.......0.....
1919	··0x015cfa58·08e33001·00000000·10e23001·00000000·..0.......0.....	1919	··0x015cfa58·00e33001·00000000·10e23001·00000000·..0.......0.....
1920	··0x015cfa68·20e23001·00000000·30e23001·00000000··.0.....0.0.....	1920	··0x015cfa68·20e23001·00000000·30e23001·00000000··.0.....0.0.....
1921	··0x015cfa78·40e23001·00000000·50e23001·00000000·@.0.....P.0.....	1921	··0x015cfa78·40e23001·00000000·50e23001·00000000·@.0.....P.0.....
1922	··0x015cfa88·60e23001·00000000·70e23001·00000000·`.0.....p.0.....	1922	··0x015cfa88·60e23001·00000000·70e23001·00000000·`.0.....p.0.....
1923	··0x015cfa98·e0e83001·00000000·80e23001·00000000·..0.......0.....	1923	··0x015cfa98·e0e83001·00000000·80e23001·00000000·..0.......0.....
1924	··0x015cfaa8·98e23001·00000000·b0e23001·00000000·..0.......0.....	1924	··0x015cfaa8·98e23001·00000000·b0e23001·00000000·..0.......0.....
1925	··0x015cfab8·c0e23001·00000000·d0e23001·00000000·..0.......0.....	1925	··0x015cfab8·c0e23001·00000000·d0e23001·00000000·..0.......0.....
1926	··0x015cfac8·e0e23001·00000000·f0e23001·00000000·..0.......0.....	1926	··0x015cfac8·e0e23001·00000000·f0e23001·00000000·..0.......0.....
1927	··0x015cfad8·00e33001·00000000·d85d2d01·00000000·..0......]-.....	1927	··0x015cfad8·10e33001·00000000·d85d2d01·00000000·..0......]-.....
1928	··0x015cfae8·18e33001·00000000·28e33001·00000000·..0.....(.0.....	1928	··0x015cfae8·18e33001·00000000·28e33001·00000000·..0.....(.0.....
1929	··0x015cfaf8·48e33001·00000000·60e33001·00000000·H.0.....`.0.....	1929	··0x015cfaf8·48e33001·00000000·60e33001·00000000·H.0.....`.0.....
1930	··0x015cfb08·80e33001·00000000·98e33001·00000000·..0.......0.....	1930	··0x015cfb08·80e33001·00000000·98e33001·00000000·..0.......0.....
1931	··0x015cfb18·a8e33001·00000000·c0e33001·00000000·..0.......0.....	1931	··0x015cfb18·a8e33001·00000000·c0e33001·00000000·..0.......0.....
1932	··0x015cfb28·d0e33001·00000000·e8e33001·00000000·..0.......0.....	1932	··0x015cfb28·d0e33001·00000000·e8e33001·00000000·..0.......0.....
1933	··0x015cfb38·c0062e01·00000000·00e43001·00000000·..........0.....	1933	··0x015cfb38·c0062e01·00000000·00e43001·00000000·..........0.....
1934	··0x015cfb48·10e43001·00000000·28e43001·00000000·..0.....(.0.....	1934	··0x015cfb48·10e43001·00000000·28e43001·00000000·..0.....(.0.....
Offset 1950, 17 lines modified		Offset 1950, 17 lines modified
1950	··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....	1950	··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....
1951	··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....	1951	··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....
1952	··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....	1952	··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....
1953	··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....	1953	··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....
1954	··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....	1954	··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....
1955	··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............	1955	··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............
1956	··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....	1956	··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....
1957	··0x015cfcb8·40e73001·00000000·00e73001·00000000·@.0.......0.....	1957	··0x015cfcb8·58e73001·00000000·00e73001·00000000·X.0.......0.....
1958	··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....	1958	··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....
1959	··0x015cfcd8·50e73001·00000000·68e73001·00000000·P.0.....h.0.....	1959	··0x015cfcd8·40e73001·00000000·68e73001·00000000·@.0.....h.0.....
1960	··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....	1960	··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....
1961	··0x015cfcf8·28f93001·00000000·a8e73001·00000000·(.0.......0.....	1961	··0x015cfcf8·28f93001·00000000·a8e73001·00000000·(.0.......0.....
1962	··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....	1962	··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....
1963	··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....	1963	··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....
1964	··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....	1964	··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....
1965	··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....	1965	··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....
1966	··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....	1966	··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....
Offset 1979, 15 lines modified		Offset 1979, 15 lines modified
1979	··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....	1979	··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....
1980	··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....	1980	··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....
1981	··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....	1981	··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....
1982	··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....	1982	··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....
1983	··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....	1983	··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....
1984	··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....	1984	··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....
1985	··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....	1985	··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....
1986	··0x015cfe88·68eb3001·00000000·78eb3001·00000000·h.0.....x.0.....	1986	··0x015cfe88·80eb3001·00000000·68eb3001·00000000·..0.....h.0.....
1987	··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....	1987	··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....
1988	··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....	1988	··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....
1989	··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....	1989	··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....
1990	··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....	1990	··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....
1991	··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....	1991	··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....
1992	··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....	1992	··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....
1993	··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..0.......,.....	1993	··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..0.......,.....


Offset 308, 17 lines modified		Offset 308, 17 lines modified
308	··0x015e1310·00000000·00000000·71010000·00000000·........q.......	308	··0x015e1310·00000000·00000000·71010000·00000000·........q.......
309	··0x015e1320·485f2e01·00000000·01000000·00000000·H_..............	309	··0x015e1320·485f2e01·00000000·01000000·00000000·H_..............
310	··0x015e1330·00000000·00000000·72010000·00000000·........r.......	310	··0x015e1330·00000000·00000000·72010000·00000000·........r.......
311	··0x015e1340·00e23001·00000000·00000000·00000000·..0.............	311	··0x015e1340·00e23001·00000000·00000000·00000000·..0.............
312	··0x015e1350·00000000·00000000·73010000·00000000·........s.......	312	··0x015e1350·00000000·00000000·73010000·00000000·........s.......
313	··0x015e1360·90383201·00000000·00000000·00000000·.82.............	313	··0x015e1360·90383201·00000000·00000000·00000000·.82.............
314	··0x015e1370·00000000·00000000·74010000·00000000·........t.......	314	··0x015e1370·00000000·00000000·74010000·00000000·........t.......
315	··0x015e1380·00e33001·00000000·01000000·00000000·..0.............	315	··0x015e1380·10e33001·00000000·01000000·00000000·..0.............
316	··0x015e1390·00000000·00000000·75010000·00000000·........u.......	316	··0x015e1390·00000000·00000000·75010000·00000000·........u.......
317	··0x015e13a0·08e33001·00000000·01000000·00000000·..0.............	317	··0x015e13a0·00e33001·00000000·01000000·00000000·..0.............
318	··0x015e13b0·00000000·00000000·76010000·00000000·........v.......	318	··0x015e13b0·00000000·00000000·76010000·00000000·........v.......
319	··0x015e13c0·801b3001·00000000·01000000·00000000·..0.............	319	··0x015e13c0·801b3001·00000000·01000000·00000000·..0.............
320	··0x015e13d0·00000000·00000000·77010000·00000000·........w.......	320	··0x015e13d0·00000000·00000000·77010000·00000000·........w.......
321	··0x015e13e0·80f92c01·00000000·01000000·00000000·..,.............	321	··0x015e13e0·80f92c01·00000000·01000000·00000000·..,.............
322	··0x015e13f0·00000000·00000000·78010000·00000000·........x.......	322	··0x015e13f0·00000000·00000000·78010000·00000000·........x.......
323	··0x015e1400·b8e63001·00000000·01000000·00000000·..0.............	323	··0x015e1400·b8e63001·00000000·01000000·00000000·..0.............
324	··0x015e1410·00000000·00000000·79010000·00000000·........y.......	324	··0x015e1410·00000000·00000000·79010000·00000000·........y.......
Offset 600, 17 lines modified		Offset 600, 17 lines modified
600	··0x015e2550·00000000·00000000·03020000·00000000·................	600	··0x015e2550·00000000·00000000·03020000·00000000·................
601	··0x015e2560·f8e63001·00000000·01000000·00000000·..0.............	601	··0x015e2560·f8e63001·00000000·01000000·00000000·..0.............
602	··0x015e2570·00000000·00000000·04020000·00000000·................	602	··0x015e2570·00000000·00000000·04020000·00000000·................
603	··0x015e2580·10e73001·00000000·01000000·00000000·..0.............	603	··0x015e2580·10e73001·00000000·01000000·00000000·..0.............
604	··0x015e2590·00000000·00000000·05020000·00000000·................	604	··0x015e2590·00000000·00000000·05020000·00000000·................
605	··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............	605	··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............
606	··0x015e25b0·00000000·00000000·06020000·00000000·................	606	··0x015e25b0·00000000·00000000·06020000·00000000·................
607	··0x015e25c0·50e73001·00000000·01000000·00000000·P.0.............	607	··0x015e25c0·40e73001·00000000·01000000·00000000·@.0.............
608	··0x015e25d0·00000000·00000000·07020000·00000000·................	608	··0x015e25d0·00000000·00000000·07020000·00000000·................
609	··0x015e25e0·40e73001·00000000·01000000·00000000·@.0.............	609	··0x015e25e0·58e73001·00000000·01000000·00000000·X.0.............
610	··0x015e25f0·00000000·00000000·08020000·00000000·................	610	··0x015e25f0·00000000·00000000·08020000·00000000·................
611	··0x015e2600·68e73001·00000000·01000000·00000000·h.0.............	611	··0x015e2600·68e73001·00000000·01000000·00000000·h.0.............
612	··0x015e2610·00000000·00000000·09020000·00000000·................	612	··0x015e2610·00000000·00000000·09020000·00000000·................
613	··0x015e2620·80e73001·00000000·01000000·00000000·..0.............	613	··0x015e2620·80e73001·00000000·01000000·00000000·..0.............
614	··0x015e2630·00000000·00000000·0a020000·00000000·................	614	··0x015e2630·00000000·00000000·0a020000·00000000·................
615	··0x015e2640·98e73001·00000000·01000000·00000000·..0.............	615	··0x015e2640·98e73001·00000000·01000000·00000000·..0.............
616	··0x015e2650·00000000·00000000·0b020000·00000000·................	616	··0x015e2650·00000000·00000000·0b020000·00000000·................
Offset 734, 17 lines modified		Offset 734, 17 lines modified
734	··0x015e2db0·00000000·00000000·46020000·00000000·........F.......	734	··0x015e2db0·00000000·00000000·46020000·00000000·........F.......
735	··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............	735	··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............
736	··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......	736	··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......
737	··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............	737	··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............
738	··0x015e2df0·00000000·00000000·48020000·00000000·........H.......	738	··0x015e2df0·00000000·00000000·48020000·00000000·........H.......
739	··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............	739	··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............
740	··0x015e2e10·00000000·00000000·49020000·00000000·........I.......	740	··0x015e2e10·00000000·00000000·49020000·00000000·........I.......
741	··0x015e2e20·68eb3001·00000000·01000000·00000000·h.0.............	741	··0x015e2e20·80eb3001·00000000·01000000·00000000·..0.............
742	··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......	742	··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......
743	··0x015e2e40·78eb3001·00000000·01000000·00000000·x.0.............	743	··0x015e2e40·68eb3001·00000000·01000000·00000000·h.0.............
744	··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......	744	··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......
745	··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............	745	··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............
746	··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......	746	··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......
747	··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............	747	··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............
748	··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......	748	··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......
749	··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............	749	··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............
750	··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......	750	··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·arm64	5	Architecture:·arm64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·2294	7	Installed-Size:·2294
8	Depends:·cvc5·(=·1.1.2-2)	8	Depends:·cvc5·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Description:·debug·symbols·for·cvc5	11	Description:·debug·symbols·for·cvc5
12	Build-Ids:·~~549~~1~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~	12	Build-Ids:·48d5114ce602695e58bb1eb44bf021792d64bece


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/54/91~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~.debug	1	usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.debug


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/54/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2338~~520~~·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/54/91~~f316bc~~2~~304a893~~b~~ad0f1d6c~~297102~~49e1f10~~.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2338448·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.debug
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5	10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5


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


Offset 3790, 15 lines modified		Offset 3790, 15 lines modified
3790	00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························130e1a8	3790	00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························130e1a8
3791	00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························130e1b8	3791	00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························130e1b8
3792	00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························130e1d0	3792	00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························130e1d0
3793	00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························130e1e0	3793	00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························130e1e0
3794	00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························12e5f48	3794	00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························12e5f48
3795	00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························130e1e8	3795	00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························130e1e8
3796	00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························130e200	3796	00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························130e200
3797	00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························130e308	3797	00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························130e300
3798	00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························130e210	3798	00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························130e210
3799	00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························130e220	3799	00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························130e220
3800	00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························130e230	3800	00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························130e230
3801	00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························130e240	3801	00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························130e240
3802	00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························130e250	3802	00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························130e250
3803	00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························130e260	3803	00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························130e260
3804	00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························130e270	3804	00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························130e270
Offset 3806, 15 lines modified		Offset 3806, 15 lines modified
3806	00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························130e280	3806	00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························130e280
3807	00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························130e298	3807	00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························130e298
3808	00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························130e2b0	3808	00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························130e2b0
3809	00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························130e2c0	3809	00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························130e2c0
3810	00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························130e2d0	3810	00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························130e2d0
3811	00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························130e2e0	3811	00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························130e2e0
3812	00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························130e2f0	3812	00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························130e2f0
3813	00000000015cfad8··0000000000000403·R_AARCH64_RELATIVE························130e300	3813	00000000015cfad8··0000000000000403·R_AARCH64_RELATIVE························130e310
3814	00000000015cfae0··0000000000000403·R_AARCH64_RELATIVE························12d5dd8	3814	00000000015cfae0··0000000000000403·R_AARCH64_RELATIVE························12d5dd8
3815	00000000015cfae8··0000000000000403·R_AARCH64_RELATIVE························130e318	3815	00000000015cfae8··0000000000000403·R_AARCH64_RELATIVE························130e318
3816	00000000015cfaf0··0000000000000403·R_AARCH64_RELATIVE························130e328	3816	00000000015cfaf0··0000000000000403·R_AARCH64_RELATIVE························130e328
3817	00000000015cfaf8··0000000000000403·R_AARCH64_RELATIVE························130e348	3817	00000000015cfaf8··0000000000000403·R_AARCH64_RELATIVE························130e348
3818	00000000015cfb00··0000000000000403·R_AARCH64_RELATIVE························130e360	3818	00000000015cfb00··0000000000000403·R_AARCH64_RELATIVE························130e360
3819	00000000015cfb08··0000000000000403·R_AARCH64_RELATIVE························130e380	3819	00000000015cfb08··0000000000000403·R_AARCH64_RELATIVE························130e380
3820	00000000015cfb10··0000000000000403·R_AARCH64_RELATIVE························130e398	3820	00000000015cfb10··0000000000000403·R_AARCH64_RELATIVE························130e398
Offset 3866, 19 lines modified		Offset 3866, 19 lines modified
3866	00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13031e0	3866	00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13031e0
3867	00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························1301b80	3867	00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························1301b80
3868	00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························130e6b8	3868	00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························130e6b8
3869	00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························130e6c0	3869	00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························130e6c0
3870	00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························12e1dc0	3870	00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························12e1dc0
3871	00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························130e6d0	3871	00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························130e6d0


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·34373139·64313831·33396131·39303739·4719d18139a19079
3	··0x00000010·3~~266~~3239·343~~562~~65·6~~166~~3635·62376236·~~2f2945beaf65b~~7b6	2	··0x00000000·39333735·37393362·63343039·66376630·9375793bc409f7f0
		3	··0x00000010·65373237·65346233·63623835·33646636·e727e4b3cb853df6
4	··0x00000020·3~~73963~~37·34632e64·65627567·00000000·~~79c74c~~.debug....	4	··0x00000020·32613231·63612e64·65627567·00000000·2a21ca.debug....
5	··0x00000030·~~681baaf5~~····························h...	5	··0x00000030·d342e192····························.B..


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·65353861·61663735·34363538·34306365·e58aaf75465840ce
3	··0x00000010·33643835·~~6565~~3730·643~~9373~~6·37643030~~·3d~~8~~5ee70d97~~67d00	2	··0x00000000·30663431·38323531·33316366·31363364·0f41825131cf163d
		3	··0x00000010·37316135·30303137·39343230·66336235·71a500179420f3b5
4	··0x00000020·39393266·3~~930~~2e64·65627567·00000000·992f90.debug....	4	··0x00000020·34353239·30652e64·65627567·00000000·45290e.debug....
5	··0x00000030·~~84240fa~~c····························.$..	5	··0x00000030·c90594cc····························....


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·38353466·37363237·31386138·66346462·854f762718a8f4db
3	··0x00000010·353~~36139~~·6~~664663~~5·32373632·3265323~~9·53a~~9~~fdf~~5~~27622e29~~	2	··0x00000000·32393965·62303565·63393830·33636338·299eb05ec9803cc8
		3	··0x00000010·63646439·61303134·32636239·62356666·cdd9a0142cb9b5ff
4	··0x00000020·346~~66562~~·62352e64·65627567·00000000·~~4febb5~~.debug....	4	··0x00000020·32643033·66382e64·65627567·00000000·2d03f8.debug....
5	··0x00000030·~~a99c95ef~~····························....	5	··0x00000030·3db2ded1····························=...


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.property·NOTE············00000000000002e0·0002e0·000020·00···A··0···0··8	5	··[·1]·.note.gnu.property·NOTE············00000000000002e0·0002e0·000020·00···A··0···0··8
6	··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··4	6	··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··4
7	··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··1	7	··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··1
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··8	27	··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··8
28	··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··8	28	··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··8
29	··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··8	30	··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··8
31	··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··8	31	··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··8
32	··[27]·.comment··········PROGBITS········0000000000000000·05aa9c·00001f·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·05aa9c·00001f·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b9·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b9·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15473e·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15470c·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3c0·0034cf·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af390·0034cf·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2890·00f4af·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·1b2860·00f4af·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d40·02f6d6·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·1c1d10·02f6d3·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1418·000803·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·1f13e8·000803·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1c20·02fcd1·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1bf0·02fcd1·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·2218f8·00a~~518~~·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·2218c8·00a4fa·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22b~~e10~~·007095·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·22bdc8·007095·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·232ea8·003438·18·····38·261··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·232e60·003438·18·····38·261··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·2362e0·004049·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·236298·004049·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a~~329~~·0001a9·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·23a2e1·0001a9·00······0···0··1
45	Key·to·Flags:	45	Key·to·Flags:
46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),	48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49	··D·(mbind),·p·(processor·specific)	49	··D·(mbind),·p·(processor·specific)


Offset 8, 155 lines modified		Offset 8, 155 lines modified
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit)
10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0	10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main	11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main
12	·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)
13	····<16>···DW_AT_byte_size···:·(data1)·1	13	····<16>···DW_AT_byte_size···:·(data1)·1
14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa3~~8de~~):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa3911):·unsigned·char
16	·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·2	17	····<1d>···DW_AT_byte_size···:·(data1)·2
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a627):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a63e):·short·unsigned·int
20	·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)
21	····<24>···DW_AT_byte_size···:·(data1)·4	21	····<24>···DW_AT_byte_size···:·(data1)·4
22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)	22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)
23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbb~~9f9~~):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbba2c):·unsigned·int
24	·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·8	25	····<2b>···DW_AT_byte_size···:·(data1)·8
26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)	26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)
27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7d169):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7d180):·long·unsigned·int
28	·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)	28	·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)
29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__int8_t	29	····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__int8_t
30	····<36>···DW_AT_decl_file···:·(data1)·31	30	····<36>···DW_AT_decl_file···:·(data1)·31
31	····<37>···DW_AT_decl_line···:·(data1)·37	31	····<37>···DW_AT_decl_line···:·(data1)·37
32	····<38>···DW_AT_decl_column·:·(data1)·21	32	····<38>···DW_AT_decl_column·:·(data1)·21
33	····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char	33	····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char
34	·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)	34	·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)
35	····<3b>···DW_AT_byte_size···:·(data1)·1	35	····<3b>···DW_AT_byte_size···:·(data1)·1
36	····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char)	36	····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char)
37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x718c9):·signed·char	37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x718e0):·signed·char
38	·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)	38	·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x41949):·__uint8_t	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x4192f):·__uint8_t
40	····<46>···DW_AT_decl_file···:·(data1)·31	40	····<46>···DW_AT_decl_file···:·(data1)·31
41	····<47>···DW_AT_decl_line···:·(data1)·38	41	····<47>···DW_AT_decl_line···:·(data1)·38
42	····<48>···DW_AT_decl_column·:·(data1)·23	42	····<48>···DW_AT_decl_column·:·(data1)·23
43	····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char	43	····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44	·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)	44	·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)
45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb450c):·__int16_t	45	····<4b>···DW_AT_name········:·(strp)·(offset:·0xb453f):·__int16_t
46	····<4f>···DW_AT_decl_file···:·(data1)·31	46	····<4f>···DW_AT_decl_file···:·(data1)·31
47	····<50>···DW_AT_decl_line···:·(data1)·39	47	····<50>···DW_AT_decl_line···:·(data1)·39
48	····<51>···DW_AT_decl_column·:·(data1)·26	48	····<51>···DW_AT_decl_column·:·(data1)·26
49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int	49	····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)	50	·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)
51	····<54>···DW_AT_byte_size···:·(data1)·2	51	····<54>···DW_AT_byte_size···:·(data1)·2
52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)	52	····<55>···DW_AT_encoding····:·(data1)·5» (signed)
53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b8bc):·short·int	53	····<56>···DW_AT_name········:·(strp)·(offset:·0x8b8d3):·short·int
54	·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)	54	·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)
55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9262):·__uint16_t	55	····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9295):·__uint16_t
56	····<5f>···DW_AT_decl_file···:·(data1)·31	56	····<5f>···DW_AT_decl_file···:·(data1)·31
57	····<60>···DW_AT_decl_line···:·(data1)·40	57	····<60>···DW_AT_decl_line···:·(data1)·40
58	····<61>···DW_AT_decl_column·:·(data1)·28	58	····<61>···DW_AT_decl_column·:·(data1)·28
59	····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int	59	····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60	·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)	60	·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)
61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b~~6f0~~):·__int32_t	61	····<64>···DW_AT_name········:·(strp)·(offset:·0x8b707):·__int32_t
62	····<68>···DW_AT_decl_file···:·(data1)·31	62	····<68>···DW_AT_decl_file···:·(data1)·31
63	····<69>···DW_AT_decl_line···:·(data1)·41	63	····<69>···DW_AT_decl_line···:·(data1)·41
64	····<6a>···DW_AT_decl_column·:·(data1)·20	64	····<6a>···DW_AT_decl_column·:·(data1)·20
65	····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int	65	····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
66	·<1><6c>:·Abbrev·Number:·22·(DW_TAG_base_type)	66	·<1><6c>:·Abbrev·Number:·22·(DW_TAG_base_type)
67	····<6d>···DW_AT_byte_size···:·(data1)·4	67	····<6d>···DW_AT_byte_size···:·(data1)·4
68	····<6e>···DW_AT_encoding····:·(data1)·5» (signed)	68	····<6e>···DW_AT_encoding····:·(data1)·5» (signed)
69	····<6f>···DW_AT_name········:·(string)·int	69	····<6f>···DW_AT_name········:·(string)·int
70	·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)	70	·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)
71	····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int	71	····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72	·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)	72	·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)
73	····<76>···DW_AT_name········:·(strp)·(offset:·0x90148):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x9015f):·__uint32_t
74	····<7a>···DW_AT_decl_file···:·(data1)·31	74	····<7a>···DW_AT_decl_file···:·(data1)·31
75	····<7b>···DW_AT_decl_line···:·(data1)·42	75	····<7b>···DW_AT_decl_line···:·(data1)·42
76	····<7c>···DW_AT_decl_column·:·(data1)·22	76	····<7c>···DW_AT_decl_column·:·(data1)·22
77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int	77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78	·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)	78	·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)
79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d34):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d4b):·__int64_t
80	····<83>···DW_AT_decl_file···:·(data1)·31	80	····<83>···DW_AT_decl_file···:·(data1)·31
81	····<84>···DW_AT_decl_line···:·(data1)·44	81	····<84>···DW_AT_decl_line···:·(data1)·44
82	····<85>···DW_AT_decl_column·:·(data1)·25	82	····<85>···DW_AT_decl_column·:·(data1)·25
83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84	·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)	84	·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)
85	····<89>···DW_AT_byte_size···:·(data1)·8	85	····<89>···DW_AT_byte_size···:·(data1)·8
86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe83):·long·int	87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe83):·long·int
88	·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)	88	·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)
89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68c83):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68c9a):·__uint64_t
90	····<94>···DW_AT_decl_file···:·(data1)·31	90	····<94>···DW_AT_decl_file···:·(data1)·31
91	····<95>···DW_AT_decl_line···:·(data1)·45	91	····<95>···DW_AT_decl_line···:·(data1)·45
92	····<96>···DW_AT_decl_column·:·(data1)·27	92	····<96>···DW_AT_decl_column·:·(data1)·27
93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94	·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)	94	·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)
95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a239):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x5a250):·__int_least8_t
96	····<9d>···DW_AT_decl_file···:·(data1)·31	96	····<9d>···DW_AT_decl_file···:·(data1)·31
97	····<9e>···DW_AT_decl_line···:·(data1)·52	97	····<9e>···DW_AT_decl_line···:·(data1)·52
98	····<9f>···DW_AT_decl_column·:·(data1)·18	98	····<9f>···DW_AT_decl_column·:·(data1)·18
99	····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char	99	····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100	·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)	100	·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)
101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x60210):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x60227):·__uint_least8_t
102	····<a6>···DW_AT_decl_file···:·(data1)·31	102	····<a6>···DW_AT_decl_file···:·(data1)·31
103	····<a7>···DW_AT_decl_line···:·(data1)·53	103	····<a7>···DW_AT_decl_line···:·(data1)·53
104	····<a8>···DW_AT_decl_column·:·(data1)·19	104	····<a8>···DW_AT_decl_column·:·(data1)·19
105	····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char	105	····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106	·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)	106	·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)
107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x80285):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x8029c):·__int_least16_t
108	····<af>···DW_AT_decl_file···:·(data1)·31	108	····<af>···DW_AT_decl_file···:·(data1)·31
109	····<b0>···DW_AT_decl_line···:·(data1)·54	109	····<b0>···DW_AT_decl_line···:·(data1)·54
110	····<b1>···DW_AT_decl_column·:·(data1)·19	110	····<b1>···DW_AT_decl_column·:·(data1)·19
111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int	111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112	·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)	112	·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)
113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__uint_least16_t	113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__uint_least16_t
114	····<b8>···DW_AT_decl_file···:·(data1)·31	114	····<b8>···DW_AT_decl_file···:·(data1)·31
115	····<b9>···DW_AT_decl_line···:·(data1)·55	115	····<b9>···DW_AT_decl_line···:·(data1)·55
116	····<ba>···DW_AT_decl_column·:·(data1)·20	116	····<ba>···DW_AT_decl_column·:·(data1)·20
117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int	117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118	·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)	118	·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)
119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57231):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x57248):·__int_least32_t
120	····<c1>···DW_AT_decl_file···:·(data1)·31	120	····<c1>···DW_AT_decl_file···:·(data1)·31
121	····<c2>···DW_AT_decl_line···:·(data1)·56	121	····<c2>···DW_AT_decl_line···:·(data1)·56
122	····<c3>···DW_AT_decl_column·:·(data1)·19	122	····<c3>···DW_AT_decl_column·:·(data1)·19
123	····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int	123	····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124	·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)	124	·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)
125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf7d):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf63):·__uint_least32_t
126	····<ca>···DW_AT_decl_file···:·(data1)·31	126	····<ca>···DW_AT_decl_file···:·(data1)·31
127	····<cb>···DW_AT_decl_line···:·(data1)·57	127	····<cb>···DW_AT_decl_line···:·(data1)·57
128	····<cc>···DW_AT_decl_column·:·(data1)·20	128	····<cc>···DW_AT_decl_column·:·(data1)·20
129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int	129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130	·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)	130	·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)
131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f198):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f17e):·__int_least64_t
132	····<d3>···DW_AT_decl_file···:·(data1)·31	132	····<d3>···DW_AT_decl_file···:·(data1)·31
133	····<d4>···DW_AT_decl_line···:·(data1)·58	133	····<d4>···DW_AT_decl_line···:·(data1)·58
134	····<d5>···DW_AT_decl_column·:·(data1)·19	134	····<d5>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 37480147/37488254 bytes (99.98%) of diff not shown.


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

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

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

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

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

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


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcvc5-1-dbgsym	1	Package:·libcvc5-1-dbgsym
2	Source:·cvc5	2	Source:·cvc5
3	Version:·1.1.2-2	3	Version:·1.1.2-2
4	Auto-Built-Package:·debug-symbols	4	Auto-Built-Package:·debug-symbols
5	Architecture:·arm64	5	Architecture:·arm64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·179045	7	Installed-Size:·179047
8	Depends:·libcvc5-1·(=·1.1.2-2)	8	Depends:·libcvc5-1·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5-1	12	Description:·debug·symbols·for·libcvc5-1
13	Build-Ids:·~~e14~~719~~d1813~~9~~a19~~0792f2945b~~eaf6~~5~~b7b~~6~~79c74c~~	13	Build-Ids:·4c9375793bc409f7f0e727e4b3cb853df62a21ca


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/e1/4719~~d1813~~9~~a19~~0792f2945b~~eaf6~~5~~b7b~~6~~79c74c~~.debug	1	usr/lib/debug/.build-id/4c/9375793bc409f7f0e727e4b3cb853df62a21ca.debug


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


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

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

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

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

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


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

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

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

4194301	[·Too·much·input·for·diff·(SHA256:·429105b~~5ef810~~9~~e2a739~~bb4325c~~3a0f57~~d~~1a543e~~def~~d82~~c~~94d2d6878~~3367c5f7)·]	4194301	[·Too·much·input·for·diff·(SHA256:·f970b6d1e039748347b503e97c09b8c0dc602c092d4cffe8c7c44ea9bc3497c7)·]

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


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


Offset 6, 8 lines modified		Offset 6, 8 lines modified
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·4108	7	Installed-Size:·4108
8	Depends:·libcvc5parser1·(=·1.1.2-2)	8	Depends:·libcvc5parser1·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5parser1	12	Description:·debug·symbols·for·libcvc5parser1
13	Build-Ids:·e~~fe58aaf7~~54~~65840ce~~3d~~85ee7~~0d9~~767d00992f~~90	13	Build-Ids:·970f41825131cf163d71a500179420f3b545290e


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


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8	5	··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8
6	··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4	6	··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4
7	··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·0018fc·00···A··4···0··8	7	··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·0018fc·00···A··4···0··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000cc898·00c850·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000cc898·00c850·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000ce850·00c850·000250·10··WA··5···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000ce850·00c850·000250·10··WA··5···0··8
27	··[22]·.got··············NOBITS··········00000000000ceaa0·00c850·001560·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000ceaa0·00c850·001560·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000d0000·00c850·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000d0000·00c850·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000d0058·00c850·000070·00··WA··0···0··8	29	··[24]·.bss··············NOBITS··········00000000000d0058·00c850·000070·00··WA··0···0··8
30	··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006a4·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006a4·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d260·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·000948·29d212·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29dba8·0063b2·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29db60·0063b2·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f60·02e797·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a3f18·02e797·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d26f8·05b4b2·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d26b0·05b4b1·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32dbb0·0007d1·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32db68·0007d1·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e388·07dffc·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32e340·07dffc·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac388·00cdb2·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3ac340·00cd9d·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b9140·01ab0a·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b90e0·01ab0a·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3c50·00fbd0·18·····36·1487··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3d3bf0·00fbd0·18·····36·1487··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3e3820·01c3cf·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3e37c0·01c3cf·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffbef·000193·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·3ffb8f·000193·00······0···0··1
43	Key·to·Flags:	43	Key·to·Flags:
44	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	44	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
45	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	45	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
46	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),	46	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
47	··D·(mbind),·p·(processor·specific)	47	··D·(mbind),·p·(processor·specific)


Offset 18, 110 lines modified		Offset 18, 110 lines modified
18	····<21>···DW_AT_decl_file···:·(data1)·45	18	····<21>···DW_AT_decl_file···:·(data1)·45
19	····<22>···DW_AT_decl_line···:·(data1)·214	19	····<22>···DW_AT_decl_line···:·(data1)·214
20	····<23>···DW_AT_decl_column·:·(data1)·23	20	····<23>···DW_AT_decl_column·:·(data1)·23
21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int	21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int
22	·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)	22	·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)
23	····<26>···DW_AT_byte_size···:·(data1)·8	23	····<26>···DW_AT_byte_size···:·(data1)·8
24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)	24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)
25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d444):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d47a):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·45	29	····<2f>···DW_AT_decl_file···:·(data1)·45
30	····<30>···DW_AT_decl_line···:·(data2)·425	30	····<30>···DW_AT_decl_line···:·(data2)·425
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa6082):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa609c):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52552):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52588):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·45	36	····<3d>···DW_AT_decl_file···:·(data1)·45
37	····<3e>···DW_AT_decl_line···:·(data2)·426	37	····<3e>···DW_AT_decl_line···:·(data2)·426
38	····<40>···DW_AT_decl_column·:·(data1)·13	38	····<40>···DW_AT_decl_column·:·(data1)·13
39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int	39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
40	····<42>···DW_AT_alignment···:·(data1)·8	40	····<42>···DW_AT_alignment···:·(data1)·8
41	····<43>···DW_AT_data_member_location:·(data1)·0	41	····<43>···DW_AT_data_member_location:·(data1)·0
42	·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)	42	·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)
43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52531):·__max_align_ld	43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52567):·__max_align_ld
44	····<49>···DW_AT_decl_file···:·(data1)·45	44	····<49>···DW_AT_decl_file···:·(data1)·45
45	····<4a>···DW_AT_decl_line···:·(data2)·427	45	····<4a>···DW_AT_decl_line···:·(data2)·427
46	····<4c>···DW_AT_decl_column·:·(data1)·15	46	····<4c>···DW_AT_decl_column·:·(data1)·15
47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double	47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double
48	····<4e>···DW_AT_alignment···:·(data1)·16	48	····<4e>···DW_AT_alignment···:·(data1)·16
49	····<4f>···DW_AT_data_member_location:·(data1)·16	49	····<4f>···DW_AT_data_member_location:·(data1)·16
50	·<2><50>:·Abbrev·Number:·0	50	·<2><50>:·Abbrev·Number:·0
51	·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6~~3fd0~~):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x64006):·long·long·int
55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9b0c2):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9b0dc):·long·double
59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa6084):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa609e):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·45	61	····<64>···DW_AT_decl_file···:·(data1)·45
62	····<65>···DW_AT_decl_line···:·(data2)·436	62	····<65>···DW_AT_decl_line···:·(data2)·436
63	····<67>···DW_AT_decl_column·:·(data1)·3	63	····<67>···DW_AT_decl_column·:·(data1)·3
64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t	64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65	····<69>···DW_AT_alignment···:·(data1)·16	65	····<69>···DW_AT_alignment···:·(data1)·16
66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34c1c):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34c38):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa308c):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa30a6):·unsigned·char
72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b7bd):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b7f3):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1457b9):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1457b9):·unsigned·int
80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9d7d):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9d97):·signed·char
84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bf79):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bfaf):·short·int
88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c616):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c630):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·46	90	····<97>···DW_AT_decl_file···:·(data1)·46
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·84·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·84·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa85a6):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa85c0):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·46	102	····<ab>···DW_AT_decl_file···:·(data1)·46
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa6090):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa60aa):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·46	108	····<b4>···DW_AT_decl_file···:·(data1)·46
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·56·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·56·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	119	····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9d84):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9d9e):·char
121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>
126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·52	127	····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 512, 15 lines modified		Offset 512, 15 lines modified
512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xe0c>» [Abbrev·Number:·59·(DW_TAG_subprogram)]	512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xe0c>» [Abbrev·Number:·59·(DW_TAG_subprogram)]
513	·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	513	·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
514	····<2af>···DW_AT_decl_file···:·(data1)·58	514	····<2af>···DW_AT_decl_file···:·(data1)·58
515	····<2b0>···DW_AT_decl_line···:·(data1)·55	515	····<2b0>···DW_AT_decl_line···:·(data1)·55
516	····<2b1>···DW_AT_decl_column·:·(data1)·11	516	····<2b1>···DW_AT_decl_column·:·(data1)·11
517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe1f>» [Abbrev·Number:·78·(DW_TAG_subprogram)]	517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe1f>» [Abbrev·Number:·78·(DW_TAG_subprogram)]
518	·<2><2b4>:·Abbrev·Number:·83·(DW_TAG_typedef)	518	·<2><2b4>:·Abbrev·Number:·83·(DW_TAG_typedef)
519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e~~1ce~~):·ptrdiff_t	519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e204):·ptrdiff_t
520	····<2b9>···DW_AT_decl_file···:·(data1)·53	520	····<2b9>···DW_AT_decl_file···:·(data1)·53
521	····<2ba>···DW_AT_decl_line···:·(data2)·311	521	····<2ba>···DW_AT_decl_line···:·(data2)·311
522	····<2bc>···DW_AT_decl_column·:·(data1)·28	522	····<2bc>···DW_AT_decl_column·:·(data1)·28
523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
524	·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	524	·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
525	····<2bf>···DW_AT_decl_file···:·(data1)·63	525	····<2bf>···DW_AT_decl_file···:·(data1)·63
526	····<2c0>···DW_AT_decl_line···:·(data1)·131	526	····<2c0>···DW_AT_decl_line···:·(data1)·131
Offset 853, 60 lines modified		Offset 853, 60 lines modified
Max diff block lines reached; 61570776/61578548 bytes (99.99%) of diff not shown.


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

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

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

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

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

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


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/3e/~~854f762718a8f4db53a~~9~~fdf5~~2~~7622e294febb5~~.debug	1	usr/lib/debug/.build-id/ab/299eb05ec9803cc8cdd9a0142cb9b5ff2d03f8.debug


Offset 14, 53 lines modified		Offset 14, 53 lines modified
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4be03	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4be03
15	····<1f>···DW_AT_low_pc······:·(addr)·0	15	····<1f>···DW_AT_low_pc······:·(addr)·0
16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0	16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0
17	····<2b>···DW_AT_macros······:·(sec_offset)·0	17	····<2b>···DW_AT_macros······:·(sec_offset)·0
18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)	18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)
19	····<30>···DW_AT_byte_size···:·(data1)·8	19	····<30>···DW_AT_byte_size···:·(data1)·8
20	····<31>···DW_AT_encoding····:·(data1)·4» (float)	20	····<31>···DW_AT_encoding····:·(data1)·4» (float)
21	····<32>···DW_AT_name········:·(strp)·(offset:·0x739a0):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x7399b):·double
22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)	22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)
23	····<37>···DW_AT_byte_size···:·(data1)·1	23	····<37>···DW_AT_byte_size···:·(data1)·1
24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
25	····<39>···DW_AT_name········:·(strp)·(offset:·0x80~~0ca~~):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x80100):·unsigned·char
26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)	26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)
27	····<3e>···DW_AT_byte_size···:·(data1)·2	27	····<3e>···DW_AT_byte_size···:·(data1)·2
28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)	28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)
29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf2c8):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf2e2):·short·unsigned·int
30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)	30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)
31	····<45>···DW_AT_byte_size···:·(data1)·4	31	····<45>···DW_AT_byte_size···:·(data1)·4
32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)	32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)
33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cc6f):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cc6f):·unsigned·int
34	·<1><4b>:·Abbrev·Number:·22·(DW_TAG_const_type)	34	·<1><4b>:·Abbrev·Number:·22·(DW_TAG_const_type)
35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)	36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)
37	····<4e>···DW_AT_byte_size···:·(data1)·8	37	····<4e>···DW_AT_byte_size···:·(data1)·8
38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)	38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)
39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e32a):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e325):·long·unsigned·int
40	·<1><54>:·Abbrev·Number:·22·(DW_TAG_const_type)	40	·<1><54>:·Abbrev·Number:·22·(DW_TAG_const_type)
41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int	41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
42	·<1><56>:·Abbrev·Number:·60·(DW_TAG_typedef)	42	·<1><56>:·Abbrev·Number:·60·(DW_TAG_typedef)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc849):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc838):·__int8_t
44	····<5b>···DW_AT_decl_file···:·(data1)·52	44	····<5b>···DW_AT_decl_file···:·(data1)·52
45	····<5c>···DW_AT_decl_line···:·(data1)·37	45	····<5c>···DW_AT_decl_line···:·(data1)·37
46	····<5d>···DW_AT_decl_column·:·(data1)·21	46	····<5d>···DW_AT_decl_column·:·(data1)·21
47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char	47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char
48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)	48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)
49	····<60>···DW_AT_byte_size···:·(data1)·1	49	····<60>···DW_AT_byte_size···:·(data1)·1
50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)	50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)
51	····<62>···DW_AT_name········:·(strp)·(offset:·0xdded1):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddeeb):·signed·char
52	·<1><66>:·Abbrev·Number:·60·(DW_TAG_typedef)	52	·<1><66>:·Abbrev·Number:·60·(DW_TAG_typedef)
53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4b44):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4b33):·__uint8_t
54	····<6b>···DW_AT_decl_file···:·(data1)·52	54	····<6b>···DW_AT_decl_file···:·(data1)·52
55	····<6c>···DW_AT_decl_line···:·(data1)·38	55	····<6c>···DW_AT_decl_line···:·(data1)·38
56	····<6d>···DW_AT_decl_column·:·(data1)·23	56	····<6d>···DW_AT_decl_column·:·(data1)·23
57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char	57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char
58	·<1><6f>:·Abbrev·Number:·60·(DW_TAG_typedef)	58	·<1><6f>:·Abbrev·Number:·60·(DW_TAG_typedef)
59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc03c1):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc03b0):·__int16_t
60	····<74>···DW_AT_decl_file···:·(data1)·52	60	····<74>···DW_AT_decl_file···:·(data1)·52
61	····<75>···DW_AT_decl_line···:·(data1)·39	61	····<75>···DW_AT_decl_line···:·(data1)·39
62	····<76>···DW_AT_decl_column·:·(data1)·26	62	····<76>···DW_AT_decl_column·:·(data1)·26
63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int	63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int
64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)	64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)
65	····<79>···DW_AT_byte_size···:·(data1)·2	65	····<79>···DW_AT_byte_size···:·(data1)·2
66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)	66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 68, 15 lines modified		Offset 68, 15 lines modified
68	·<1><7f>:·Abbrev·Number:·60·(DW_TAG_typedef)	68	·<1><7f>:·Abbrev·Number:·60·(DW_TAG_typedef)
69	····<80>···DW_AT_name········:·(strp)·(offset:·0x5458):·__uint16_t	69	····<80>···DW_AT_name········:·(strp)·(offset:·0x5458):·__uint16_t
70	····<84>···DW_AT_decl_file···:·(data1)·52	70	····<84>···DW_AT_decl_file···:·(data1)·52
71	····<85>···DW_AT_decl_line···:·(data1)·40	71	····<85>···DW_AT_decl_line···:·(data1)·40
72	····<86>···DW_AT_decl_column·:·(data1)·28	72	····<86>···DW_AT_decl_column·:·(data1)·28
73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int	73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int
74	·<1><88>:·Abbrev·Number:·60·(DW_TAG_typedef)	74	·<1><88>:·Abbrev·Number:·60·(DW_TAG_typedef)
75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa1179):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa1168):·__int32_t
76	····<8d>···DW_AT_decl_file···:·(data1)·52	76	····<8d>···DW_AT_decl_file···:·(data1)·52
77	····<8e>···DW_AT_decl_line···:·(data1)·41	77	····<8e>···DW_AT_decl_line···:·(data1)·41
78	····<8f>···DW_AT_decl_column·:·(data1)·20	78	····<8f>···DW_AT_decl_column·:·(data1)·20
79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int	79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int
80	·<1><92>:·Abbrev·Number:·22·(DW_TAG_const_type)	80	·<1><92>:·Abbrev·Number:·22·(DW_TAG_const_type)
81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
82	·<1><95>:·Abbrev·Number:·362·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·362·(DW_TAG_base_type)
Offset 88, 15 lines modified		Offset 88, 15 lines modified
88	·<1><a0>:·Abbrev·Number:·60·(DW_TAG_typedef)	88	·<1><a0>:·Abbrev·Number:·60·(DW_TAG_typedef)
89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1348c3):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1348c3):·__uint32_t
90	····<a5>···DW_AT_decl_file···:·(data1)·52	90	····<a5>···DW_AT_decl_file···:·(data1)·52
91	····<a6>···DW_AT_decl_line···:·(data1)·42	91	····<a6>···DW_AT_decl_line···:·(data1)·42
92	····<a7>···DW_AT_decl_column·:·(data1)·22	92	····<a7>···DW_AT_decl_column·:·(data1)·22
93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
94	·<1><a9>:·Abbrev·Number:·60·(DW_TAG_typedef)	94	·<1><a9>:·Abbrev·Number:·60·(DW_TAG_typedef)
95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x82340):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x82376):·__int64_t
96	····<ae>···DW_AT_decl_file···:·(data1)·52	96	····<ae>···DW_AT_decl_file···:·(data1)·52
97	····<af>···DW_AT_decl_line···:·(data1)·44	97	····<af>···DW_AT_decl_line···:·(data1)·44
98	····<b0>···DW_AT_decl_column·:·(data1)·25	98	····<b0>···DW_AT_decl_column·:·(data1)·25
99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int	99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)	100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)
101	····<b4>···DW_AT_byte_size···:·(data1)·8	101	····<b4>···DW_AT_byte_size···:·(data1)·8
102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)	102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 112, 75 lines modified		Offset 112, 75 lines modified
112	·<1><c6>:·Abbrev·Number:·60·(DW_TAG_typedef)	112	·<1><c6>:·Abbrev·Number:·60·(DW_TAG_typedef)
113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9cc4):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9cc4):·__int_least8_t
114	····<cb>···DW_AT_decl_file···:·(data1)·52	114	····<cb>···DW_AT_decl_file···:·(data1)·52
115	····<cc>···DW_AT_decl_line···:·(data1)·52	115	····<cc>···DW_AT_decl_line···:·(data1)·52
116	····<cd>···DW_AT_decl_column·:·(data1)·18	116	····<cd>···DW_AT_decl_column·:·(data1)·18
117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char	117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char
118	·<1><cf>:·Abbrev·Number:·60·(DW_TAG_typedef)	118	·<1><cf>:·Abbrev·Number:·60·(DW_TAG_typedef)
119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9cf):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9eb):·__uint_least8_t
120	····<d4>···DW_AT_decl_file···:·(data1)·52	120	····<d4>···DW_AT_decl_file···:·(data1)·52
121	····<d5>···DW_AT_decl_line···:·(data1)·53	121	····<d5>···DW_AT_decl_line···:·(data1)·53
122	····<d6>···DW_AT_decl_column·:·(data1)·19	122	····<d6>···DW_AT_decl_column·:·(data1)·19
123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char	123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char
124	·<1><d8>:·Abbrev·Number:·60·(DW_TAG_typedef)	124	·<1><d8>:·Abbrev·Number:·60·(DW_TAG_typedef)
125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136e5e):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136e5e):·__int_least16_t
126	····<dd>···DW_AT_decl_file···:·(data1)·52	126	····<dd>···DW_AT_decl_file···:·(data1)·52
127	····<de>···DW_AT_decl_line···:·(data1)·54	127	····<de>···DW_AT_decl_line···:·(data1)·54
128	····<df>···DW_AT_decl_column·:·(data1)·19	128	····<df>···DW_AT_decl_column·:·(data1)·19
129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int	129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int
130	·<1><e1>:·Abbrev·Number:·60·(DW_TAG_typedef)	130	·<1><e1>:·Abbrev·Number:·60·(DW_TAG_typedef)
131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb48ab):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb489a):·__uint_least16_t
132	····<e6>···DW_AT_decl_file···:·(data1)·52	132	····<e6>···DW_AT_decl_file···:·(data1)·52
133	····<e7>···DW_AT_decl_line···:·(data1)·55	133	····<e7>···DW_AT_decl_line···:·(data1)·55
134	····<e8>···DW_AT_decl_column·:·(data1)·20	134	····<e8>···DW_AT_decl_column·:·(data1)·20
135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int	135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int
136	·<1><ea>:·Abbrev·Number:·60·(DW_TAG_typedef)	136	·<1><ea>:·Abbrev·Number:·60·(DW_TAG_typedef)
137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115f4a):·__int_least32_t	137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115f4a):·__int_least32_t
138	····<ef>···DW_AT_decl_file···:·(data1)·52	138	····<ef>···DW_AT_decl_file···:·(data1)·52
139	····<f0>···DW_AT_decl_line···:·(data1)·56	139	····<f0>···DW_AT_decl_line···:·(data1)·56
140	····<f1>···DW_AT_decl_column·:·(data1)·19	140	····<f1>···DW_AT_decl_column·:·(data1)·19
141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
142	·<1><f4>:·Abbrev·Number:·60·(DW_TAG_typedef)	142	·<1><f4>:·Abbrev·Number:·60·(DW_TAG_typedef)
143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x95ac2):·__uint_least32_t	143	····<f5>···DW_AT_name········:·(strp)·(offset:·0x95ab1):·__uint_least32_t
144	····<f9>···DW_AT_decl_file···:·(data1)·52	144	····<f9>···DW_AT_decl_file···:·(data1)·52
145	····<fa>···DW_AT_decl_line···:·(data1)·57	145	····<fa>···DW_AT_decl_line···:·(data1)·57
146	····<fb>···DW_AT_decl_column·:·(data1)·20	146	····<fb>···DW_AT_decl_column·:·(data1)·20
147	····<fc>···DW_AT_type········:·(ref_udata)·<0xa0>,·__uint32_t,·unsigned·int	147	····<fc>···DW_AT_type········:·(ref_udata)·<0xa0>,·__uint32_t,·unsigned·int
148	·<1><fe>:·Abbrev·Number:·60·(DW_TAG_typedef)	148	·<1><fe>:·Abbrev·Number:·60·(DW_TAG_typedef)
149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf9231):·__int_least64_t	149	····<ff>···DW_AT_name········:·(strp)·(offset:·0xf9231):·__int_least64_t
150	····<103>···DW_AT_decl_file···:·(data1)·52	150	····<103>···DW_AT_decl_file···:·(data1)·52
151	····<104>···DW_AT_decl_line···:·(data1)·58	151	····<104>···DW_AT_decl_line···:·(data1)·58
152	····<105>···DW_AT_decl_column·:·(data1)·19	152	····<105>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 16863880/16871460 bytes (99.96%) of diff not shown.


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

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

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