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

⊟

140 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.43 KB

cvc5_1.1.2-2_armhf.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.93 KB

data.tar.xz ¶

⊟

1.91 KB

data.tar ¶

⊟

1.89 KB

./usr/bin/cvc5 ¶

⊟

615 B

readelf --wide --notes {} ¶

⊟

428 B

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

⊟

866 B

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

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

⊟

14.5 KB

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

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

13.9 KB

data.tar.xz ¶

⊟

13.9 KB

data.tar ¶

⊟

13.9 KB

./usr/lib/arm-linux-gnueabihf/libcvc5.so.1 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 B

readelf --wide --notes {} ¶

⊟

808 B

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

Ordering differences only

⊟

3.5 KB

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

⊟

2.63 KB

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

⊟

3.09 KB

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

⊟

2.49 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

⊟

1.92 KB

libcvc5parser1_1.1.2-2_armhf.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.4 KB

data.tar.xz ¶

⊟

1.38 KB

data.tar ¶

⊟

1.37 KB

./usr/lib/arm-linux-gnueabihf/libcvc5parser.so.1 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 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

⊟

1.99 KB

python3-cvc5_1.1.2-2_armhf.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.48 KB

data.tar.xz ¶

⊟

1.46 KB

data.tar ¶

⊟

1.44 KB

./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-arm-linux-gnueabihf.so ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 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

⊟

39.9 MB

cvc5-dbgsym_1.1.2-2_armhf.deb ¶

⊟

367 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

39.9 MB

data.tar.xz ¶

⊟

39.9 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

39.9 MB

./usr/lib/debug/.build-id/d4/3f0451810a76e4c08232c141e1299bbe3cf417.debug vs.

./usr/lib/debug/.build-id/06/e011a6a1d235a9962dd5aef99e559a8ed0742f.debug ¶

Files 77% similar despite different names

⊟

1000 B

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

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

⊟

3.31 KB

readelf --wide --sections {} ¶

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

⊟

709 B

readelf --wide --notes {} ¶

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

⊟

38.1 MB

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

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

⊟

2.1 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.76 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

⊟

26.8 MB

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

⊟

369 B

file list ¶

⊟

661 B

control.tar.xz ¶

⊟

633 B

control.tar ¶

⊟

385 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

26.8 MB

data.tar.xz ¶

⊟

26.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

26.8 MB

./usr/lib/debug/.build-id/a9/dc81852232513fe38eab9301cda154f2a8a164.debug vs.

./usr/lib/debug/.build-id/a4/ca32796497467f8d76014af17ef50e244193d6.debug ¶

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

⊟

897 B

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

⊟

3.26 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

26.1 MB

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

⊟

2.82 KB

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

⊟

546 B

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

⊟

657 KB

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

⊟

130 KB

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

⊟

58.1 MB

libcvc5parser1-dbgsym_1.1.2-2_armhf.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 ¶

⊟

58.1 MB

data.tar.xz ¶

⊟

58.1 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

58.1 MB

./usr/lib/debug/.build-id/4e/be2aff89026219b9b530fc838c7a5168b94735.debug vs.

./usr/lib/debug/.build-id/7a/2b6d8d1e968746289e26c82e17e7ac4c105bad.debug ¶

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

⊟

898 B

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

⊟

3.22 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

56.6 MB

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

⊟

1.98 KB

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

⊟

15.7 KB

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

⊟

1.53 MB

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

⊟

15.5 MB

python3-cvc5-dbgsym_1.1.2-2_armhf.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 ¶

⊟

15.5 MB

data.tar.xz ¶

⊟

15.5 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

15.5 MB

./usr/lib/debug/.build-id/9d/2d4f6cd0fd33f67397e621bf65e75abf94af49.debug vs.

./usr/lib/debug/.build-id/a3/44bda91a234414bf86e6df63045de3cf07f48b.debug ¶

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

⊟

898 B

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

⊟

3.22 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

14.0 MB

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

⊟

1.03 KB

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

⊟

7.47 KB

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

⊟

1.5 MB

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

+·79f3c9609b0b19fc48a4e9e705bba9d7·1858552·debug·optional·cvc5-dbgsym_1.1.2-2_armhf.deb
+·e7560225125ed001d16ea057c716ed2a·100564·math·optional·cvc5_1.1.2-2_armhf.deb
+·d5a4828c99b32bb4f657027ab3c5f783·181090392·debug·optional·libcvc5-1-dbgsym_1.1.2-2_armhf.deb
+·60d0ae05381d96e352a1dafa9dd9f585·1859632·debug·optional·cvc5-dbgsym_1.1.2-2_armhf.deb
+·c0314e8fd4bc46b815a6fe9500ac0811·100596·math·optional·cvc5_1.1.2-2_armhf.deb
+·1d9ab329323b9d184d6cc8c4e349b62b·181090584·debug·optional·libcvc5-1-dbgsym_1.1.2-2_armhf.deb
+·f907268c1b7ba111f37d23d0fb72d327·5674164·libs·optional·libcvc5-1_1.1.2-2_armhf.deb
+·4c02b368bdfc8603ee9c0d65b10cefaa·93008·libdevel·optional·libcvc5-dev_1.1.2-2_armhf.deb
+·13e3d94422344735d7a6a8adb756c842·4034368·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_armhf.deb
+·3d17c6ec908b2b7ea4f8a77f055681cd·206864·libs·optional·libcvc5parser1_1.1.2-2_armhf.deb
+·06c3b4a1266faf5619de262c6828c1f1·2580484·debug·optional·python3-cvc5-dbgsym_1.1.2-2_armhf.deb
+·ce6d40f2f3b7af4f35992cf1d03c8b97·4034684·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_armhf.deb
+·af4acfdfc7fb2f8d335ed06d888fbffb·207324·libs·optional·libcvc5parser1_1.1.2-2_armhf.deb
+·b5b58574c4193394552abb74b38c0f7c·2580244·debug·optional·python3-cvc5-dbgsym_1.1.2-2_armhf.deb
+·158079e64cd4fdb3a45f563a5ec4c74e·316392·python·optional·python3-cvc5_1.1.2-2_armhf.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····99256·2024-03-19·00:06:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0····99288·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.build-id	1	Displaying·notes·found·in:·.note.gnu.build-id
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·d~~43f~~0451~~810~~a~~76e4c0823~~2~~c141~~e1299bbe~~3cf~~417	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·06e011a6a1d235a9962dd5aef99e559a8ed0742f

4	Displaying·notes·found·in:·.note.ABI-tag	4	Displaying·notes·found·in:·.note.ABI-tag
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0	6	··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0


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


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·33663034·35313831·30613736·65346330·3f0451810a76e4c0
3	··0x00000010·38323332·633~~134~~31·65313239·396~~262~~65·~~8232c14~~1~~e1299bbe~~	2	··0x00000000·65303131·61366131·64323335·61393936·e011a6a1d235a996
		3	··0x00000010·32646435·61656639·39653535·39613865·2dd5aef99e559a8e
4	··0x00000020·33636634·3~~137~~2e64·65627567·00000000·~~3cf~~417.debug....	4	··0x00000020·64303734·32662e64·65627567·00000000·d0742f.debug....
5	··0x00000030·~~dc123c1d~~····························.~~.<.~~	5	··0x00000030·ee38106f····························.8.o


Offset 1, 4 lines modified		Offset 1, 4 lines modified

1	Displaying·notes·found·in:·.note.gnu.build-id	1	Displaying·notes·found·in:·.note.gnu.build-id
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·a~~9dc81852232513~~f~~e38eab930~~1c~~da1~~54f2~~a8a164~~	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·a4ca32796497467f8d76014af17ef50e244193d6


Offset 14127, 16 lines modified		Offset 14127, 16 lines modified
14127	prop-row-length	14127	prop-row-length
14128	purify-triggers	14128	purify-triggers
14129	quant-alpha-equiv	14129	quant-alpha-equiv
14130	quant-dsplit	14130	quant-dsplit
14131	quant-fun-wd	14131	quant-fun-wd
14132	quant-ind	14132	quant-ind
14133	quant-rep-mode	14133	quant-rep-mode
14134	random-freq
14135	random-frequency	14134	random-frequency
		14135	random-freq
14136	random-partitioning	14136	random-partitioning
14137	re-inter-mode	14137	re-inter-mode
14138	register-quant-body-terms	14138	register-quant-body-terms
14139	relational-triggers	14139	relational-triggers
14140	relevance-filter	14140	relevance-filter
14141	relevant-triggers	14141	relevant-triggers
14142	repeat-simp	14142	repeat-simp
Offset 14282, 16 lines modified		Offset 14282, 16 lines modified
14282	use-fcsimplex	14282	use-fcsimplex
14283	use-portfolio	14283	use-portfolio
14284	user-pat	14284	user-pat
14285	user-pool	14285	user-pool
14286	var-elim-quant	14286	var-elim-quant
14287	var-ineq-elim-quant	14287	var-ineq-elim-quant
14288	wf-checking	14288	wf-checking
14289	write-partitions-to
14290	partitions-out	14289	partitions-out
		14290	write-partitions-to
14291	Argument·'	14291	Argument·'
14292	'·for·bool·option·	14292	'·for·bool·option·
14293	·is·not·a·bool·constant	14293	·is·not·a·bool·constant
14294	Unrecognized·option·key·or·setting:·	14294	Unrecognized·option·key·or·setting:·
14295	Ungettable·option·key·or·setting:·	14295	Ungettable·option·key·or·setting:·
14296	·is·not·a·legal·setting,·value·should·be·at·least·	14296	·is·not·a·legal·setting,·value·should·be·at·least·
14297	·is·not·a·legal·setting,·value·should·be·at·most·	14297	·is·not·a·legal·setting,·value·should·be·at·most·


Offset 61358, 16 lines modified		Offset 61358, 16 lines modified
61358	» sbceq» r7,·lr,·sl,·ror·sl	61358	» sbceq» r7,·lr,·sl,·ror·sl
61359	» sbceq» r7,·lr,·r6,·ror·sl	61359	» sbceq» r7,·lr,·r6,·ror·sl
61360	» sbceq» r7,·lr,·lr,·ror·#20	61360	» sbceq» r7,·lr,·lr,·ror·#20
61361	» sbceq» r7,·lr,·r2,·ror·sl	61361	» sbceq» r7,·lr,·r2,·ror·sl
61362	» sbceq» r7,·lr,·lr,·ror·#20	61362	» sbceq» r7,·lr,·lr,·ror·#20
61363	» sbceq» r7,·lr,·sl,·ror·#20	61363	» sbceq» r7,·lr,·sl,·ror·#20
61364	» sbceq» r7,·lr,·sl,·ror·#20	61364	» sbceq» r7,·lr,·sl,·ror·#20
61365	» sbceq» fp,·sl,·lr,·lsl·#15
61366	» sbceq» r7,·lr,·r2,·asr·sl	61365	» sbceq» r7,·lr,·r6,·ror·#20
		61366	» sbceq» fp,·sl,·sl,·ror·r7
61367	» sbceq» r7,·lr,·r2,·asr·#20	61367	» sbceq» r7,·lr,·r2,·asr·#20
61368	» sbceq» r7,·lr,·r6,·asr·#20	61368	» sbceq» r7,·lr,·r6,·asr·#20
61369	» sbceq» r7,·lr,·lr,·lsr·sl	61369	» sbceq» r7,·lr,·lr,·lsr·sl
61370	» sbceq» r7,·lr,·sl,·lsr·sl	61370	» sbceq» r7,·lr,·sl,·lsr·sl
61371	» sbceq» r7,·lr,·sl,·lsr·sl	61371	» sbceq» r7,·lr,·sl,·lsr·sl
61372	» sbceq» r1,·fp,·lr,·lsr·r8	61372	» sbceq» r1,·fp,·lr,·lsr·r8
61373	» sbceq» r1,·fp,·r6,·lsr·r8	61373	» sbceq» r1,·fp,·r6,·lsr·r8
Offset 62493, 16 lines modified		Offset 62493, 16 lines modified
62493	» smulleq»sl,·sp,·r6,·lr	62493	» smulleq»sl,·sp,·r6,·lr
62494	» smulleq»sl,·sl,·r4,·sl» @·<UNPREDICTABLE>	62494	» smulleq»sl,·sl,·r4,·sl» @·<UNPREDICTABLE>
62495	» sbceq» r7,·lr,·r2,·ror·r3	62495	» sbceq» r7,·lr,·r2,·ror·r3
62496	» sbceq» ip,·fp,·r4,·lsr·#7	62496	» sbceq» ip,·fp,·r4,·lsr·#7
62497	» sbceq» r7,·lr,·r6,·asr·#6	62497	» sbceq» r7,·lr,·r6,·asr·#6
62498	» sbceq» r7,·lr,·r8,·lsr·r3	62498	» sbceq» r7,·lr,·r8,·lsr·r3
62499	» sbceq» r7,·lr,·sl,·lsr·#6	62499	» sbceq» r7,·lr,·sl,·lsr·#6
62500	» ldrsheq»r4,·[r0],·#10
62501	» sbceq» r7,·lr,·ip,·lsl·#6	62500	» sbceq» r7,·lr,·r6,·lsr·#6
		62501	» sbcseq» r4,·r0,·r0,·ror·#1
62502	» sbceq» r7,·lr,·r2,·lsl·#6	62502	» sbceq» r7,·lr,·r2,·lsl·#6
62503	» sbceq» r7,·lr,·r0,·lsl·#6	62503	» sbceq» r7,·lr,·r0,·lsl·#6
62504	» strdeq» r7,·[lr],·#46» @·0x2e	62504	» strdeq» r7,·[lr],·#46» @·0x2e
62505	» sbceq» r2,·fp,·r8,·lsr·#28	62505	» sbceq» r2,·fp,·r8,·lsr·#28
62506	» ldrdeq» r7,·[lr],·#46» @·0x2e	62506	» ldrdeq» r7,·[lr],·#46» @·0x2e
62507	» ldrdeq» r7,·[lr],·#44» @·0x2c	62507	» ldrdeq» r7,·[lr],·#44» @·0x2c
62508	» ldrdeq» r7,·[lr],·#40» @·0x28	62508	» ldrdeq» r7,·[lr],·#40» @·0x28
Offset 62553, 15 lines modified		Offset 62553, 15 lines modified
62553	» sbceq» r7,·lr,·r8,·lsr·r1	62553	» sbceq» r7,·lr,·r8,·lsr·r1
62554	» sbceq» r7,·lr,·r2,·lsr·r1	62554	» sbceq» r7,·lr,·r2,·lsr·r1
62555	» sbceq» r7,·lr,·r8,·lsr·#2	62555	» sbceq» r7,·lr,·r8,·lsr·#2
62556	» sbceq» r7,·lr,·r0,·lsr·#2	62556	» sbceq» r7,·lr,·r0,·lsr·#2
62557	» sbceq» r7,·lr,·r2,·lsl·r1	62557	» sbceq» r7,·lr,·r2,·lsl·r1
62558	» sbceq» r6,·fp,·r2,·ror·lr	62558	» sbceq» r6,·fp,·r2,·ror·lr
62559	» sbceq» r7,·lr,·sl,·ror·#1	62559	» sbceq» r7,·lr,·sl,·ror·#1
62560	» l~~drd~~eq» r7,·[lr],·#10	62560	» sbceq» r7,·lr,·r2,·ror·#1
62561	» ldrdeq» r7,·[lr],·#2	62561	» ldrdeq» r7,·[lr],·#2
62562	» sbceq» r7,·lr,·sl,·asr·#1	62562	» sbceq» r7,·lr,·sl,·asr·#1
62563	» strheq» r7,·[lr],·#6	62563	» strheq» r7,·[lr],·#6
62564	» sbceq» r7,·lr,·ip,·lsr·#1	62564	» sbceq» r7,·lr,·ip,·lsr·#1
62565	» sbceq» r7,·lr,·ip,·lsr·#1	62565	» sbceq» r7,·lr,·ip,·lsr·#1
62566	» sbceq» r7,·lr,·r4,·lsr·#1	62566	» sbceq» r7,·lr,·r4,·lsr·#1
62567	» smulleq»r7,·lr,·ip,·r0	62567	» smulleq»r7,·lr,·ip,·r0
Offset 62571, 16 lines modified		Offset 62571, 16 lines modified
62571	» sbceq» r7,·lr,·r0,·lsl·#1	62571	» sbceq» r7,·lr,·r0,·lsl·#1
62572	» sbceq» r7,·lr,·lr,·ror·r0	62572	» sbceq» r7,·lr,·lr,·ror·r0
62573	» sbceq» r7,·lr,·r6,·ror·r0	62573	» sbceq» r7,·lr,·r6,·ror·r0
62574	» sbceq» r7,·lr,·lr,·rrx	62574	» sbceq» r7,·lr,·lr,·rrx
62575	» sbceq» r7,·lr,·r2,·rrx	62575	» sbceq» r7,·lr,·r2,·rrx
62576	» sbceq» r7,·lr,·r6,·asr·r0	62576	» sbceq» r7,·lr,·r6,·asr·r0
62577	» sbceq» r7,·lr,·sl,·asr·r0	62577	» sbceq» r7,·lr,·sl,·asr·r0
		62578	» ldrdeq» sl,·[sl],·#18
62578	» sbceq» r7,·lr,·r6,·asr·#32	62579	» sbceq» r7,·lr,·sl,·lsr·#32
62579	» strheq» sl,·[sl],·#22
62580	» sbceq» r7,·lr,·ip,·lsl·r0	62580	» sbceq» r7,·lr,·ip,·lsl·r0
62581	» sbceq» r7,·lr,·ip	62581	» sbceq» r7,·lr,·ip
62582	» strdeq» r6,·[lr],·#248» @·0xf8	62582	» strdeq» r6,·[lr],·#248» @·0xf8
62583	» sbceq» r6,·lr,·ip,·ror·#31	62583	» sbceq» r6,·lr,·ip,·ror·#31
62584	» sbceq» r6,·lr,·r0,·ror·#31	62584	» sbceq» r6,·lr,·r0,·ror·#31
62585	» ldrdeq» r6,·[lr],·#242» @·0xf2	62585	» ldrdeq» r6,·[lr],·#242» @·0xf2
62586	» sbceq» r7,·fp,·r4,·lsl·#11	62586	» sbceq» r7,·fp,·r4,·lsl·#11
Offset 63769, 15 lines modified		Offset 63769, 15 lines modified
63769	» ldrdeq» r6,·[lr],·#118» @·0x76	63769	» ldrdeq» r6,·[lr],·#118» @·0x76
63770	» sbceq» r6,·lr,·sl,·asr·#15	63770	» sbceq» r6,·lr,·sl,·asr·#15
63771	» sbceq» r6,·lr,·r2,·asr·#15	63771	» sbceq» r6,·lr,·r2,·asr·#15
63772	» strdeq» r8,·[sl],·#214» @·0xd6	63772	» strdeq» r8,·[sl],·#214» @·0xd6
63773	» ldrdeq» r9,·[sl],·#154» @·0x9a	63773	» ldrdeq» r9,·[sl],·#154» @·0x9a
63774	» sbceq» r6,·lr,·r6,·ror·r7	63774	» sbceq» r6,·lr,·r6,·ror·r7
63775	» sbceq» r6,·lr,·r6,·ror·#14	63775	» sbceq» r6,·lr,·r6,·ror·#14
63776	» sbceq» r6,·lr,·lr,·asr·r7	63776	» sbceq» r6,·lr,·sl,·asr·r7
63777	» rsceq» fp,·r3,·r4,·ror·#30	63777	» rsceq» fp,·r3,·r4,·ror·#30
63778	» rsceq» fp,·r3,·ip,·lsr·pc	63778	» rsceq» fp,·r3,·ip,·lsr·pc
63779	» rsceq» fp,·r3,·r0,·lsl·pc	63779	» rsceq» fp,·r3,·r0,·lsl·pc
63780	» rsceq» fp,·r3,·lr,·ror·#29	63780	» rsceq» fp,·r3,·lr,·ror·#29
63781	» rsceq» fp,·r3,·sl,·ror·#29	63781	» rsceq» fp,·r3,·sl,·ror·#29
63782	» ldrdeq» fp,·[r3],·#228» @·0xe4»@·<UNPREDICTABLE>	63782	» ldrdeq» fp,·[r3],·#228» @·0xe4»@·<UNPREDICTABLE>
63783	/usr/include/c++/14/bits/hashtable_policy.h:387	63783	/usr/include/c++/14/bits/hashtable_policy.h:387
Offset 4194296, 8 lines modified		Offset 4194296, 8 lines modified
4194296	» bne.n» 80ba4a·<std::_Hashtable<int,·int,·std::allocator<int>,·std::__detail::_Identity,·std::equal_to<int>,·std::hash<int>,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<false,·true,·true>·>::_M_insert_unique_node(unsigned·int,·unsigned·int,·std::__detail::_Hash_node<int,·false>*,·unsigned·int)@@Base+0x1a03a>	4194296	» bne.n» 80ba4a·<std::_Hashtable<int,·int,·std::allocator<int>,·std::__detail::_Identity,·std::equal_to<int>,·std::hash<int>,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<false,·true,·true>·>::_M_insert_unique_node(unsigned·int,·unsigned·int,·std::__detail::_Hash_node<int,·false>*,·unsigned·int)@@Base+0x1a03a>
4194297	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:303	4194297	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:303
4194298	» adds» r2,·#1	4194298	» adds» r2,·#1
4194299	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:304	4194299	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:304
4194300	» mov» r0,·r1	4194300	» mov» r0,·r1
4194301	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:303	4194301	./obj-arm-linux-gnueabihf/src/./src/./expr/node_value.h:303
4194302	» bfi» r3,·r2,·#8,·#20	4194302	» bfi» r3,·r2,·#8,·#20
4194303	[·Too·much·input·for·diff·(SHA256:·~~c5c~~ebd7f6~~861cd~~ba3e18a98~~ac62~~5ef542c25c~~40e~~b2c88f8fec7~~524fca2e~~e98f7)·]	4194303	[·Too·much·input·for·diff·(SHA256:·0a4e7525eeb2de62ab5bd5754a026bbb1cf46f42e28f7d5b3bd1ce18f42b2e5c)·]


Offset 16395, 16 lines modified		Offset 16395, 16 lines modified
16395	··0x00d6a218·2d726f77·2d6c656e·67746800·70757269·-row-length.puri	16395	··0x00d6a218·2d726f77·2d6c656e·67746800·70757269·-row-length.puri
16396	··0x00d6a228·66792d74·72696767·65727300·7175616e·fy-triggers.quan	16396	··0x00d6a228·66792d74·72696767·65727300·7175616e·fy-triggers.quan
16397	··0x00d6a238·742d616c·7068612d·65717569·76000000·t-alpha-equiv...	16397	··0x00d6a238·742d616c·7068612d·65717569·76000000·t-alpha-equiv...
16398	··0x00d6a248·7175616e·742d6473·706c6974·00000000·quant-dsplit....	16398	··0x00d6a248·7175616e·742d6473·706c6974·00000000·quant-dsplit....
16399	··0x00d6a258·7175616e·742d6675·6e2d7764·00000000·quant-fun-wd....	16399	··0x00d6a258·7175616e·742d6675·6e2d7764·00000000·quant-fun-wd....
16400	··0x00d6a268·7175616e·742d696e·64000000·7175616e·quant-ind...quan	16400	··0x00d6a268·7175616e·742d696e·64000000·7175616e·quant-ind...quan
16401	··0x00d6a278·742d7265·702d6d6f·64650000·72616e64·t-rep-mode..rand	16401	··0x00d6a278·742d7265·702d6d6f·64650000·72616e64·t-rep-mode..rand
		16402	··0x00d6a288·6f6d2d66·72657175·656e6379·00000000·om-frequency....
16402	··0x00d6a288·6f6d2d66·72657100·72616e64·6f~~6d2~~d~~66·~~om-freq.rand~~om-f~~	16403	··0x00d6a298·72616e64·6f6d2d66·72657100·72616e64·random-freq.rand
16403	··0x00d6a298·72657175·656e6379·00000000·72616e64·requency....rand
16404	··0x00d6a2a8·6f6d2d70·61727469·74696f6e·696e6700·om-partitioning.	16404	··0x00d6a2a8·6f6d2d70·61727469·74696f6e·696e6700·om-partitioning.
16405	··0x00d6a2b8·72652d65·6c696d00·72652d69·6e746572·re-elim.re-inter	16405	··0x00d6a2b8·72652d65·6c696d00·72652d69·6e746572·re-elim.re-inter
16406	··0x00d6a2c8·2d6d6f64·65000000·72656769·73746572·-mode...register	16406	··0x00d6a2c8·2d6d6f64·65000000·72656769·73746572·-mode...register
16407	··0x00d6a2d8·2d717561·6e742d62·6f64792d·7465726d·-quant-body-term	16407	··0x00d6a2d8·2d717561·6e742d62·6f64792d·7465726d·-quant-body-term
16408	··0x00d6a2e8·73000000·72656c61·74696f6e·616c2d74·s...relational-t	16408	··0x00d6a2e8·73000000·72656c61·74696f6e·616c2d74·s...relational-t
16409	··0x00d6a2f8·72696767·65727300·72656c65·76616e63·riggers.relevanc	16409	··0x00d6a2f8·72696767·65727300·72656c65·76616e63·riggers.relevanc
16410	··0x00d6a308·652d6669·6c746572·00000000·72656c65·e-filter....rele	16410	··0x00d6a308·652d6669·6c746572·00000000·72656c65·e-filter....rele
Offset 16592, 17 lines modified		Offset 16592, 17 lines modified
16592	··0x00d6ae68·6d706c65·78000000·7573652d·706f7274·mplex...use-port	16592	··0x00d6ae68·6d706c65·78000000·7573652d·706f7274·mplex...use-port
16593	··0x00d6ae78·666f6c69·6f000000·7573652d·736f6900·folio...use-soi.	16593	··0x00d6ae78·666f6c69·6f000000·7573652d·736f6900·folio...use-soi.
16594	··0x00d6ae88·75736572·2d706174·00000000·75736572·user-pat....user	16594	··0x00d6ae88·75736572·2d706174·00000000·75736572·user-pat....user
16595	··0x00d6ae98·2d706f6f·6c000000·7661722d·656c696d·-pool...var-elim	16595	··0x00d6ae98·2d706f6f·6c000000·7661722d·656c696d·-pool...var-elim
16596	··0x00d6aea8·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq	16596	··0x00d6aea8·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq
16597	··0x00d6aeb8·2d656c69·6d2d7175·616e7400·76657262·-elim-quant.verb	16597	··0x00d6aeb8·2d656c69·6d2d7175·616e7400·76657262·-elim-quant.verb
16598	··0x00d6aec8·6f736500·77662d63·6865636b·696e6700·ose.wf-checking.	16598	··0x00d6aec8·6f736500·77662d63·6865636b·696e6700·ose.wf-checking.
		16599	··0x00d6aed8·70617274·6974696f·6e732d6f·75740000·partitions-out..
16599	··0x00d6aed8·77726974·652d7061·72746974·696f6e73·write-partitions	16600	··0x00d6aee8·77726974·652d7061·72746974·696f6e73·write-partitions
16600	··0x00d6aee8·2d746f00·70617274·6974696f·6e732d6f·-to.partitions-o
16601	··0x00d6aef8·75740000·41726775·6d656e74·20270000·ut..Argument·'..	16601	··0x00d6aef8·2d746f00·41726775·6d656e74·20270000·-to.Argument·'..
16602	··0x00d6af08·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio	16602	··0x00d6af08·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
16603	··0x00d6af18·6e200000·20697320·6e6f7420·6120626f·n·..·is·not·a·bo	16603	··0x00d6af18·6e200000·20697320·6e6f7420·6120626f·n·..·is·not·a·bo
16604	··0x00d6af28·6f6c2063·6f6e7374·616e7400·556e7265·ol·constant.Unre	16604	··0x00d6af28·6f6c2063·6f6e7374·616e7400·556e7265·ol·constant.Unre
16605	··0x00d6af38·636f676e·697a6564·206f7074·696f6e20·cognized·option·	16605	··0x00d6af38·636f676e·697a6564·206f7074·696f6e20·cognized·option·
16606	··0x00d6af48·6b657920·6f722073·65747469·6e673a20·key·or·setting:·	16606	··0x00d6af48·6b657920·6f722073·65747469·6e673a20·key·or·setting:·
16607	··0x00d6af58·00000000·25660000·556e6765·74746162·....%f..Ungettab	16607	··0x00d6af58·00000000·25660000·556e6765·74746162·....%f..Ungettab
16608	··0x00d6af68·6c65206f·7074696f·6e206b65·79206f72·le·option·key·or	16608	··0x00d6af68·6c65206f·7074696f·6e206b65·79206f72·le·option·key·or


Offset 972, 27 lines modified		Offset 972, 27 lines modified
972	··0x00eafba8·d83fd300·789dd600·889dd600·989dd600·.?..x...........	972	··0x00eafba8·d83fd300·789dd600·889dd600·989dd600·.?..x...........
973	··0x00eafbb8·ac9dd600·c49dd600·d89dd600·e89dd600·................	973	··0x00eafbb8·ac9dd600·c49dd600·d89dd600·e89dd600·................
974	··0x00eafbc8·049ed600·0c9ed600·149ed600·2c9ed600·............,...	974	··0x00eafbc8·049ed600·0c9ed600·149ed600·2c9ed600·............,...
975	··0x00eafbd8·409ed600·e4eed500·4cd9d500·5c9ed600·@.......L...\...	975	··0x00eafbd8·409ed600·e4eed500·4cd9d500·5c9ed600·@.......L...\...
976	··0x00eafbe8·649ed600·a8eed300·709ed600·7c9ed600·d.......p...\|...	976	··0x00eafbe8·649ed600·a8eed300·709ed600·7c9ed600·d.......p...\|...
977	··0x00eafbf8·145ad300·909ed600·a09ed600·b89ed600·.Z..............	977	··0x00eafbf8·145ad300·909ed600·a09ed600·b89ed600·.Z..............
978	··0x00eafc08·d09ed600·e49ed600·fc9ed600·109fd600·................	978	··0x00eafc08·d09ed600·e49ed600·fc9ed600·109fd600·................
979	··0x00eafc18·ecaed600·209fd600·2c9fd600·3c9fd600·....·...,...<...	979	··0x00eafc18·d8aed600·209fd600·2c9fd600·3c9fd600·....·...,...<...
980	··0x00eafc28·489fd600·589fd600·709fd600·849fd600·H...X...p.......	980	··0x00eafc28·489fd600·589fd600·709fd600·849fd600·H...X...p.......
981	··0x00eafc38·9c9fd600·ac9fd600·c09fd600·d09fd600·................	981	··0x00eafc38·9c9fd600·ac9fd600·c09fd600·d09fd600·................
982	··0x00eafc48·e49fd600·f89fd600·0ca0d600·18a0d600·................	982	··0x00eafc48·e49fd600·f89fd600·0ca0d600·18a0d600·................
983	··0x00eafc58·54d5d200·28a0d600·38a0d600·60a0d600·T...(...8...`...	983	··0x00eafc58·54d5d200·28a0d600·38a0d600·60a0d600·T...(...8...`...
984	··0x00eafc68·74a0d600·88a0d600·a0a0d600·30fed300·t...........0...	984	··0x00eafc68·74a0d600·88a0d600·a0a0d600·30fed300·t...........0...
985	··0x00eafc78·bca0d600·cca0d600·502bd500·e8a0d600·........P+......	985	··0x00eafc78·bca0d600·cca0d600·502bd500·e8a0d600·........P+......
986	··0x00eafc88·00a1d600·10a1d600·1ca1d600·30a1d600·............0...	986	··0x00eafc88·00a1d600·10a1d600·1ca1d600·30a1d600·............0...
987	··0x00eafc98·40a1d600·54a1d600·68a1d600·7ca1d600·@...T...h...\|...	987	··0x00eafc98·40a1d600·54a1d600·68a1d600·7ca1d600·@...T...h...\|...
988	··0x00eafca8·88a1d600·98a1d600·a8a1d600·c0a1d600·................	988	··0x00eafca8·88a1d600·98a1d600·a8a1d600·c0a1d600·................
989	··0x00eafcb8·d4a1d600·f4a1d600·14a2d600·24a2d600·............$...	989	··0x00eafcb8·d4a1d600·f4a1d600·14a2d600·24a2d600·............$...
990	··0x00eafcc8·34a2d600·48a2d600·58a2d600·68a2d600·4...H...X...h...	990	··0x00eafcc8·34a2d600·48a2d600·58a2d600·68a2d600·4...H...X...h...
991	··0x00eafcd8·74a2d600·f09fd300·84a2d600·90a2d600·t...............	991	··0x00eafcd8·74a2d600·f09fd300·98a2d600·84a2d600·t...............
992	··0x00eafce8·a4a2d600·b8a2d600·c0a2d600·d0a2d600·................	992	··0x00eafce8·a4a2d600·b8a2d600·c0a2d600·d0a2d600·................
993	··0x00eafcf8·64d5d200·eca2d600·00a3d600·14a3d600·d...............	993	··0x00eafcf8·64d5d200·eca2d600·00a3d600·14a3d600·d...............
994	··0x00eafd08·28a3d600·34a3d600·50a3d600·68a3d600·(...4...P...h...	994	··0x00eafd08·28a3d600·34a3d600·50a3d600·68a3d600·(...4...P...h...
995	··0x00eafd18·80a3d600·7cd5d200·94a3d600·a8a3d600·....\|...........	995	··0x00eafd18·80a3d600·7cd5d200·94a3d600·a8a3d600·....\|...........
996	··0x00eafd28·b8a3d600·c8a3d600·e8a3d600·f0a3d600·................	996	··0x00eafd28·b8a3d600·c8a3d600·e8a3d600·f0a3d600·................
997	··0x00eafd38·fca3d600·08a4d600·10a4d600·20a4d600·............·...	997	··0x00eafd38·fca3d600·08a4d600·10a4d600·20a4d600·............·...
998	··0x00eafd48·30a4d600·3ca4d600·08aad300·4ca4d600·0...<.......L...	998	··0x00eafd48·30a4d600·3ca4d600·08aad300·4ca4d600·0...<.......L...
Offset 1029, 15 lines modified		Offset 1029, 15 lines modified
1029	··0x00eaff38·6cadd600·7cadd600·8cadd600·440bd600·l...\|.......D...	1029	··0x00eaff38·6cadd600·7cadd600·8cadd600·440bd600·l...\|.......D...
1030	··0x00eaff48·98d5d200·a4add600·acadd600·c0add600·................	1030	··0x00eaff48·98d5d200·a4add600·acadd600·c0add600·................
1031	··0x00eaff58·ccadd600·dcadd600·e8add600·f4add600·................	1031	··0x00eaff58·ccadd600·dcadd600·e8add600·f4add600·................
1032	··0x00eaff68·fcadd600·10aed600·1caed600·30aed600·............0...	1032	··0x00eaff68·fcadd600·10aed600·1caed600·30aed600·............0...
1033	··0x00eaff78·20d0d300·40aed600·54aed600·60aed600··...@...T...`...	1033	··0x00eaff78·20d0d300·40aed600·54aed600·60aed600··...@...T...`...
1034	··0x00eaff88·70aed600·80aed600·88aed600·94aed600·p...............	1034	··0x00eaff88·70aed600·80aed600·88aed600·94aed600·p...............
1035	··0x00eaff98·a0aed600·b0aed600·c4aed600·14d5d200·................	1035	··0x00eaff98·a0aed600·b0aed600·c4aed600·14d5d200·................
1036	··0x00eaffa8·14e1d200·ccaed600·d8aed600·1ce0d500·................	1036	··0x00eaffa8·14e1d200·ccaed600·e8aed600·1ce0d500·................
1037	··0x00eaffb8·20e0d500·bc13d300·14e0d500·50a7d600··...........P...	1037	··0x00eaffb8·20e0d500·bc13d300·14e0d500·50a7d600··...........P...
1038	··0x00eaffc8·94acd600·b45ed300·403dd300·8ca5d300·.....^..@=......	1038	··0x00eaffc8·94acd600·b45ed300·403dd300·8ca5d300·.....^..@=......
1039	··0x00eaffd8·bcf7d500·9824d300·ac24d300·ec25d300·.....$...$...%..	1039	··0x00eaffd8·bcf7d500·9824d300·ac24d300·ec25d300·.....$...$...%..
1040	··0x00eaffe8·18f8d500·24f8d500·8c5bd800·fc1dd600·....$....[......	1040	··0x00eaffe8·18f8d500·24f8d500·8c5bd800·fc1dd600·....$....[......
1041	··0x00eafff8·bc13d300·7c9bd600·2c61d800·f01ed600·....\|...,a......	1041	··0x00eafff8·bc13d300·7c9bd600·2c61d800·f01ed600·....\|...,a......
1042	··0x00eb0008·e41ed600·fc1ed600·44fed500·8ca5d300·........D.......	1042	··0x00eb0008·e41ed600·fc1ed600·44fed500·8ca5d300·........D.......
1043	··0x00eb0018·b871d800·984ad800·2003d600·3003d600·.q...J..·...0...	1043	··0x00eb0018·b871d800·984ad800·2003d600·3003d600·.q...J..·...0...


Offset 301, 16 lines modified		Offset 301, 16 lines modified
301	··0x00eba2a0·00000000·06020000·d09ed600·01000000·................	301	··0x00eba2a0·00000000·06020000·d09ed600·01000000·................
302	··0x00eba2b0·00000000·07020000·145ad300·01000000·.........Z......	302	··0x00eba2b0·00000000·07020000·145ad300·01000000·.........Z......
303	··0x00eba2c0·00000000·08020000·e49ed600·01000000·................	303	··0x00eba2c0·00000000·08020000·e49ed600·01000000·................
304	··0x00eba2d0·00000000·09020000·fc9ed600·01000000·................	304	··0x00eba2d0·00000000·09020000·fc9ed600·01000000·................
305	··0x00eba2e0·00000000·0a020000·109fd600·01000000·................	305	··0x00eba2e0·00000000·0a020000·109fd600·01000000·................
306	··0x00eba2f0·00000000·0b020000·a4a2d600·00000000·................	306	··0x00eba2f0·00000000·0b020000·a4a2d600·00000000·................
307	··0x00eba300·00000000·0c020000·acf1d700·00000000·................	307	··0x00eba300·00000000·0c020000·acf1d700·00000000·................
308	··0x00eba310·00000000·0d020000·d8aed600·01000000·................	308	··0x00eba310·00000000·0d020000·e8aed600·01000000·................
309	··0x00eba320·00000000·0e020000·ecaed600·01000000·................	309	··0x00eba320·00000000·0e020000·d8aed600·01000000·................
310	··0x00eba330·00000000·0f020000·9498d600·00000000·................	310	··0x00eba330·00000000·0f020000·9498d600·00000000·................
311	··0x00eba340·00000000·10020000·c4f1d700·00000000·................	311	··0x00eba340·00000000·10020000·c4f1d700·00000000·................
312	··0x00eba350·00000000·11020000·3899d600·01000000·........8.......	312	··0x00eba350·00000000·11020000·3899d600·01000000·........8.......
313	··0x00eba360·00000000·12020000·7899d600·00000000·........x.......	313	··0x00eba360·00000000·12020000·7899d600·00000000·........x.......
314	··0x00eba370·00000000·13020000·dcf1d700·00000000·................	314	··0x00eba370·00000000·13020000·dcf1d700·00000000·................
315	··0x00eba380·00000000·14020000·8c99d600·00000000·................	315	··0x00eba380·00000000·14020000·8c99d600·00000000·................
316	··0x00eba390·00000000·15020000·f4f1d700·00000000·................	316	··0x00eba390·00000000·15020000·f4f1d700·00000000·................
Offset 361, 16 lines modified		Offset 361, 16 lines modified
361	··0x00eba660·00000000·42020000·a4f3d700·00000000·....B...........	361	··0x00eba660·00000000·42020000·a4f3d700·00000000·....B...........
362	··0x00eba670·00000000·43020000·d4a1d600·01000000·....C...........	362	··0x00eba670·00000000·43020000·d4a1d600·01000000·....C...........
363	··0x00eba680·00000000·44020000·f4a1d600·01000000·....D...........	363	··0x00eba680·00000000·44020000·f4a1d600·01000000·....D...........
364	··0x00eba690·00000000·45020000·1c9cd600·00000000·....E...........	364	··0x00eba690·00000000·45020000·1c9cd600·00000000·....E...........
365	··0x00eba6a0·00000000·46020000·bcf3d700·00000000·....F...........	365	··0x00eba6a0·00000000·46020000·bcf3d700·00000000·....F...........
366	··0x00eba6b0·00000000·47020000·34d0d300·01000000·....G...4.......	366	··0x00eba6b0·00000000·47020000·34d0d300·01000000·....G...4.......
367	··0x00eba6c0·00000000·48020000·d09fd600·01000000·....H...........	367	··0x00eba6c0·00000000·48020000·d09fd600·01000000·....H...........
368	··0x00eba6d0·00000000·49020000·84a2d600·01000000·....I...........	368	··0x00eba6d0·00000000·49020000·98a2d600·01000000·....I...........
369	··0x00eba6e0·00000000·4a020000·90a2d600·01000000·....J...........	369	··0x00eba6e0·00000000·4a020000·84a2d600·01000000·....J...........
370	··0x00eba6f0·00000000·4b020000·94a3d600·01000000·....K...........	370	··0x00eba6f0·00000000·4b020000·94a3d600·01000000·....K...........
371	··0x00eba700·00000000·4c020000·a8a3d600·01000000·....L...........	371	··0x00eba700·00000000·4c020000·a8a3d600·01000000·....L...........
372	··0x00eba710·00000000·4d020000·20a4d600·01000000·....M...·.......	372	··0x00eba710·00000000·4d020000·20a4d600·01000000·....M...·.......
373	··0x00eba720·00000000·4e020000·30a4d600·01000000·....N...0.......	373	··0x00eba720·00000000·4e020000·30a4d600·01000000·....N...0.......
374	··0x00eba730·00000000·4f020000·90a7d600·00000000·....O...........	374	··0x00eba730·00000000·4f020000·90a7d600·00000000·....O...........
375	··0x00eba740·00000000·50020000·d4f3d700·00000000·....P...........	375	··0x00eba740·00000000·50020000·d4f3d700·00000000·....P...........
376	··0x00eba750·00000000·51020000·a492d600·00000000·....Q...........	376	··0x00eba750·00000000·51020000·a492d600·00000000·....Q...........


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·armhf	5	Architecture:·armhf
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:·2190	7	Installed-Size:·2190
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:·d~~43f~~0451~~810~~a~~76e4c0823~~2~~c141~~e1299bbe~~3cf~~417	12	Build-Ids:·06e011a6a1d235a9962dd5aef99e559a8ed0742f


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/d4/3f0451~~810~~a~~76e4c0823~~2~~c141~~e1299bbe~~3cf~~417.debug	1	usr/lib/debug/.build-id/06/e011a6a1d235a9962dd5aef99e559a8ed0742f.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/d4/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/06/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2231692·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/d4/3f0451~~810~~a~~76e4c0823~~2~~c141~~e1299bbe~~3cf~~417.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2231532·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/06/e011a6a1d235a9962dd5aef99e559a8ed0742f.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:···························ARM	9	··Machine:···························ARM
10	··Version:···························0x1	10	··Version:···························0x1
11	··Entry·point·address:···············0x5ed9	11	··Entry·point·address:···············0x5ed9
12	··Start·of·program·headers:··········52·(bytes·into·file)	12	··Start·of·program·headers:··········52·(bytes·into·file)
13	··Start·of·section·headers:··········22~~3009~~2·(bytes·into·file)	13	··Start·of·section·headers:··········2229932·(bytes·into·file)
14	··Flags:·····························0x5000400,·Version5·EABI,·hard-float·ABI	14	··Flags:·····························0x5000400,·Version5·EABI,·hard-float·ABI
15	··Size·of·this·header:···············52·(bytes)	15	··Size·of·this·header:···············52·(bytes)
16	··Size·of·program·headers:···········32·(bytes)	16	··Size·of·program·headers:···········32·(bytes)
17	··Number·of·program·headers:·········10	17	··Number·of·program·headers:·········10
18	··Size·of·section·headers:···········40·(bytes)	18	··Size·of·section·headers:···········40·(bytes)
19	··Number·of·section·headers:·········40	19	··Number·of·section·headers:·········40
20	··Section·header·string·table·index:·39	20	··Section·header·string·table·index:·39


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·64633831·38353232·33323531·33666533·dc81852232513fe3
3	··0x00000010·386~~5616~~2·39333031·636~~461~~3~~1·35~~34663~~2·8e~~a~~b9301cda154~~f2	2	··0x00000000·63613332·37393634·39373436·37663864·ca32796497467f8d
		3	··0x00000010·37363031·34616631·37656635·30653234·76014af17ef50e24
4	··0x00000020·613~~861~~31·36342e64·65627567·00000000·~~a8a164~~.debug....	4	··0x00000020·34313933·64362e64·65627567·00000000·4193d6.debug....
5	··0x00000030·75779~~df7~~····························~~uw.~~.	5	··0x00000030·9853730c····························.Ss.


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·62653261·66663839·30323632·31396239·be2aff89026219b9
3	··0x00000010·62353~~330~~·66633~~833~~·38633761·35313638·b~~530fc838c~~7a~~516~~8	2	··0x00000000·32623664·38643165·39363837·34363238·2b6d8d1e96874628
		3	··0x00000010·39653236·63383265·31376537·61633463·9e26c82e17e7ac4c
4	··0x00000020·62393~~437~~·~~3335~~2e64·65627567·00000000·~~b94735~~.debug....	4	··0x00000020·31303562·61642e64·65627567·00000000·105bad.debug....
5	··0x00000030·~~a335f7d3~~····························.5..	5	··0x00000030·4809b8c7····························H...


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·32643466·36636430·66643333·66363733·2d4f6cd0fd33f673
3	··0x00000010·39376~~536~~·323~~162~~66·363~~565~~37·3~~561~~6266·~~97e621bf65e75a~~bf	2	··0x00000000·34346264·61393161·32333434·31346266·44bda91a234414bf
		3	··0x00000010·38366536·64663633·30343564·65336366·86e6df63045de3cf
4	··0x00000020·39346~~166~~·3~~439~~2e64·65627567·00000000·94af49.debug....	4	··0x00000020·30376634·38622e64·65627567·00000000·07f48b.debug....
5	··0x00000030·~~6ca3e~~fdb····························l...	5	··0x00000030·1a5b8f1d····························.[..


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············00000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··4
6	··[·2]·.interp···········NOBITS··········00000198·000198·000019·00···A··0···0··1	6	··[·2]·.interp···········NOBITS··········00000198·000198·000019·00···A··0···0··1
7	··[·3]·.gnu.hash·········NOBITS··········000001b4·000198·000060·04···A··4···0··4	7	··[·3]·.gnu.hash·········NOBITS··········000001b4·000198·000060·04···A··4···0··4
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.dynamic··········NOBITS··········00045b84·044ac8·000128·08··WA··5···0··4	27	··[22]·.dynamic··········NOBITS··········00045b84·044ac8·000128·08··WA··5···0··4
28	··[23]·.got··············NOBITS··········00045cac·044ac8·000354·04··WA··0···0··4	28	··[23]·.got··············NOBITS··········00045cac·044ac8·000354·04··WA··0···0··4
29	··[24]·.data·············NOBITS··········00046000·044ac8·0030a8·00··WA··0···0··4	29	··[24]·.data·············NOBITS··········00046000·044ac8·0030a8·00··WA··0···0··4
30	··[25]·.bss··············NOBITS··········000490a8·044ac8·0000ac·00··WA··0···0··4	30	··[25]·.bss··············NOBITS··········000490a8·044ac8·0000ac·00··WA··0···0··4
31	··[26]·.comment··········PROGBITS········00000000·04417c·00001e·01··MS··0···0··1	31	··[26]·.comment··········PROGBITS········00000000·04417c·00001e·01··MS··0···0··1
32	··[27]·.ARM.attributes···ARM_ATTRIBUTES··00000000·04419a·000033·00······0···0··1	32	··[27]·.ARM.attributes···ARM_ATTRIBUTES··00000000·04419a·000033·00······0···0··1
33	··[28]·.debug_aranges····PROGBITS········00000000·0441d0·000194·00···C··0···0··4	33	··[28]·.debug_aranges····PROGBITS········00000000·0441d0·000194·00···C··0···0··4
34	··[29]·.debug_info·······PROGBITS········00000000·044364·1526cf·00···C··0···0··4	34	··[29]·.debug_info·······PROGBITS········00000000·044364·152610·00···C··0···0··4
35	··[30]·.debug_abbrev·····PROGBITS········00000000·196a34·003468·00···C··0···0··4	35	··[30]·.debug_abbrev·····PROGBITS········00000000·196974·003468·00···C··0···0··4
36	··[31]·.debug_line·······PROGBITS········00000000·199e9c·011697·00···C··0···0··4	36	··[31]·.debug_line·······PROGBITS········00000000·199ddc·011697·00···C··0···0··4
37	··[32]·.debug_frame······PROGBITS········00000000·1ab534·0005b6·00···C··0···0··4	37	··[32]·.debug_frame······PROGBITS········00000000·1ab474·0005b6·00···C··0···0··4
38	··[33]·.debug_str········PROGBITS········00000000·1abaec·02ec49·01·MSC··0···0··4	38	··[33]·.debug_str········PROGBITS········00000000·1aba2c·02ec4e·01·MSC··0···0··4
39	··[34]·.debug_loclists···PROGBITS········00000000·1da~~738~~·02d49e·00···C··0···0··4	39	··[34]·.debug_loclists···PROGBITS········00000000·1da67c·02d49e·00···C··0···0··4
40	··[35]·.debug_macro······PROGBITS········00000000·207bd8·00a0c3·00···C··0···0··4	40	··[35]·.debug_macro······PROGBITS········00000000·207b1c·00a0dd·00···C··0···0··4
41	··[36]·.debug_rnglists···PROGBITS········00000000·211c9c·0074e8·00···C··0···0··4	41	··[36]·.debug_rnglists···PROGBITS········00000000·211bfc·0074e8·00···C··0···0··4
42	··[37]·.symtab···········SYMTAB··········00000000·219184·0034b0·10·····38·550··4	42	··[37]·.symtab···········SYMTAB··········00000000·2190e4·0034b0·10·····38·550··4
43	··[38]·.strtab···········STRTAB··········00000000·21c634·003f81·00······0···0··1	43	··[38]·.strtab···········STRTAB··········00000000·21c594·003f81·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········00000000·2205b5·000197·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········00000000·220515·000197·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),·y·(purecode),·p·(processor·specific)	49	··D·(mbind),·y·(purecode),·p·(processor·specific)


Offset 4, 87 lines modified		Offset 4, 87 lines modified
4	···Length:········0x1539·(32-bit)	4	···Length:········0x1539·(32-bit)
5	···Version:·······5	5	···Version:·······5
6	···Unit·Type:·····DW_UT_partial·(3)	6	···Unit·Type:·····DW_UT_partial·(3)
7	···Abbrev·Offset:·0	7	···Abbrev·Offset:·0
8	···Pointer·Size:··4	8	···Pointer·Size:··4
9	·<0><c>:·Abbrev·Number:·46·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·46·(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····:·(strp)·(offset:·0xc55b4):·./obj-arm-linux-gnueabihf/src/main	11	····<11>···DW_AT_comp_dir····:·(strp)·(offset:·0xc559a):·./obj-arm-linux-gnueabihf/src/main
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)·7» (unsigned)	14	····<17>···DW_AT_encoding····:·(data1)·7» (unsigned)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0x2f~~a2c~~):·long·long·unsigned·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x2f9c5):·long·long·unsigned·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)·4	17	····<1d>···DW_AT_byte_size···:·(data1)·4
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x35~~765~~):·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x356fe):·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:·0xa3442):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xa3428):·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:·0xd89e7):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0xd89e7):·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:·0x2f~~a31~~):·long·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0x2f9ca):·long·unsigned·int
32	·<1><38>:·Abbrev·Number:·35·(DW_TAG_typedef)	32	·<1><38>:·Abbrev·Number:·35·(DW_TAG_typedef)
33	····<39>···DW_AT_name········:·(strp)·(offset:·0xb0e3):·__int8_t	33	····<39>···DW_AT_name········:·(strp)·(offset:·0xb0e3):·__int8_t
34	····<3d>···DW_AT_decl_file···:·(data1)·32	34	····<3d>···DW_AT_decl_file···:·(data1)·32
35	····<3e>···DW_AT_decl_line···:·(data1)·37	35	····<3e>···DW_AT_decl_line···:·(data1)·37
36	····<3f>···DW_AT_decl_column·:·(data1)·21	36	····<3f>···DW_AT_decl_column·:·(data1)·21
37	····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char	37	····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char
38	·<1><41>:·Abbrev·Number:·16·(DW_TAG_base_type)	38	·<1><41>:·Abbrev·Number:·16·(DW_TAG_base_type)
39	····<42>···DW_AT_byte_size···:·(data1)·1	39	····<42>···DW_AT_byte_size···:·(data1)·1
40	····<43>···DW_AT_encoding····:·(data1)·6» (signed·char)	40	····<43>···DW_AT_encoding····:·(data1)·6» (signed·char)
41	····<44>···DW_AT_name········:·(strp)·(offset:·0xb2971):·signed·char	41	····<44>···DW_AT_name········:·(strp)·(offset:·0xb2957):·signed·char
42	·<1><48>:·Abbrev·Number:·35·(DW_TAG_typedef)	42	·<1><48>:·Abbrev·Number:·35·(DW_TAG_typedef)
43	····<49>···DW_AT_name········:·(strp)·(offset:·0x41~~e5c~~):·__uint8_t	43	····<49>···DW_AT_name········:·(strp)·(offset:·0x41df5):·__uint8_t
44	····<4d>···DW_AT_decl_file···:·(data1)·32	44	····<4d>···DW_AT_decl_file···:·(data1)·32
45	····<4e>···DW_AT_decl_line···:·(data1)·38	45	····<4e>···DW_AT_decl_line···:·(data1)·38
46	····<4f>···DW_AT_decl_column·:·(data1)·23	46	····<4f>···DW_AT_decl_column·:·(data1)·23
47	····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char	47	····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char
48	·<1><51>:·Abbrev·Number:·35·(DW_TAG_typedef)	48	·<1><51>:·Abbrev·Number:·35·(DW_TAG_typedef)
49	····<52>···DW_AT_name········:·(strp)·(offset:·0xb3c5e):·__int16_t	49	····<52>···DW_AT_name········:·(strp)·(offset:·0xb3c44):·__int16_t
50	····<56>···DW_AT_decl_file···:·(data1)·32	50	····<56>···DW_AT_decl_file···:·(data1)·32
51	····<57>···DW_AT_decl_line···:·(data1)·39	51	····<57>···DW_AT_decl_line···:·(data1)·39
52	····<58>···DW_AT_decl_column·:·(data1)·26	52	····<58>···DW_AT_decl_column·:·(data1)·26
53	····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int	53	····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int
54	·<1><5a>:·Abbrev·Number:·16·(DW_TAG_base_type)	54	·<1><5a>:·Abbrev·Number:·16·(DW_TAG_base_type)
55	····<5b>···DW_AT_byte_size···:·(data1)·2	55	····<5b>···DW_AT_byte_size···:·(data1)·2
56	····<5c>···DW_AT_encoding····:·(data1)·5» (signed)	56	····<5c>···DW_AT_encoding····:·(data1)·5» (signed)
57	····<5d>···DW_AT_name········:·(strp)·(offset:·0x8ae4c):·short·int	57	····<5d>···DW_AT_name········:·(strp)·(offset:·0x8ae16):·short·int
58	·<1><61>:·Abbrev·Number:·35·(DW_TAG_typedef)	58	·<1><61>:·Abbrev·Number:·35·(DW_TAG_typedef)
59	····<62>···DW_AT_name········:·(strp)·(offset:·0xb8882):·__uint16_t	59	····<62>···DW_AT_name········:·(strp)·(offset:·0xb8868):·__uint16_t
60	····<66>···DW_AT_decl_file···:·(data1)·32	60	····<66>···DW_AT_decl_file···:·(data1)·32
61	····<67>···DW_AT_decl_line···:·(data1)·40	61	····<67>···DW_AT_decl_line···:·(data1)·40
62	····<68>···DW_AT_decl_column·:·(data1)·28	62	····<68>···DW_AT_decl_column·:·(data1)·28
63	····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int	63	····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int
64	·<1><6a>:·Abbrev·Number:·35·(DW_TAG_typedef)	64	·<1><6a>:·Abbrev·Number:·35·(DW_TAG_typedef)
65	····<6b>···DW_AT_name········:·(strp)·(offset:·0x8aca5):·__int32_t	65	····<6b>···DW_AT_name········:·(strp)·(offset:·0x8ac6f):·__int32_t
66	····<6f>···DW_AT_decl_file···:·(data1)·32	66	····<6f>···DW_AT_decl_file···:·(data1)·32
67	····<70>···DW_AT_decl_line···:·(data1)·41	67	····<70>···DW_AT_decl_line···:·(data1)·41
68	····<71>···DW_AT_decl_column·:·(data1)·20	68	····<71>···DW_AT_decl_column·:·(data1)·20
69	····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int	69	····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int
70	·<1><73>:·Abbrev·Number:·40·(DW_TAG_base_type)	70	·<1><73>:·Abbrev·Number:·40·(DW_TAG_base_type)
71	····<74>···DW_AT_byte_size···:·(data1)·4	71	····<74>···DW_AT_byte_size···:·(data1)·4
72	····<75>···DW_AT_encoding····:·(data1)·5» (signed)	72	····<75>···DW_AT_encoding····:·(data1)·5» (signed)
73	····<76>···DW_AT_name········:·(string)·int	73	····<76>···DW_AT_name········:·(string)·int
74	·<1><7a>:·Abbrev·Number:·29·(DW_TAG_const_type)	74	·<1><7a>:·Abbrev·Number:·29·(DW_TAG_const_type)
75	····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int	75	····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int
76	·<1><7c>:·Abbrev·Number:·35·(DW_TAG_typedef)	76	·<1><7c>:·Abbrev·Number:·35·(DW_TAG_typedef)
77	····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f~~62e~~):·__uint32_t	77	····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f5f8):·__uint32_t
78	····<81>···DW_AT_decl_file···:·(data1)·32	78	····<81>···DW_AT_decl_file···:·(data1)·32
79	····<82>···DW_AT_decl_line···:·(data1)·42	79	····<82>···DW_AT_decl_line···:·(data1)·42
80	····<83>···DW_AT_decl_column·:·(data1)·22	80	····<83>···DW_AT_decl_column·:·(data1)·22
81	····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int	81	····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int
82	·<1><85>:·Abbrev·Number:·35·(DW_TAG_typedef)	82	·<1><85>:·Abbrev·Number:·35·(DW_TAG_typedef)
83	····<86>···DW_AT_name········:·(strp)·(offset:·0x9fad1):·__int64_t	83	····<86>···DW_AT_name········:·(strp)·(offset:·0x9fab7):·__int64_t
84	····<8a>···DW_AT_decl_file···:·(data1)·32	84	····<8a>···DW_AT_decl_file···:·(data1)·32
85	····<8b>···DW_AT_decl_line···:·(data1)·47	85	····<8b>···DW_AT_decl_line···:·(data1)·47
86	····<8c>···DW_AT_decl_column·:·(data1)·44	86	····<8c>···DW_AT_decl_column·:·(data1)·44
87	····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int	87	····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int
88	·<1><8f>:·Abbrev·Number:·16·(DW_TAG_base_type)	88	·<1><8f>:·Abbrev·Number:·16·(DW_TAG_base_type)
89	····<90>···DW_AT_byte_size···:·(data1)·8	89	····<90>···DW_AT_byte_size···:·(data1)·8
90	····<91>···DW_AT_encoding····:·(data1)·5» (signed)	90	····<91>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 92, 83 lines modified		Offset 92, 83 lines modified
92	·<1><96>:·Abbrev·Number:·35·(DW_TAG_typedef)	92	·<1><96>:·Abbrev·Number:·35·(DW_TAG_typedef)
93	····<97>···DW_AT_name········:·(strp)·(offset:·0xe734):·__uint64_t	93	····<97>···DW_AT_name········:·(strp)·(offset:·0xe734):·__uint64_t
94	····<9b>···DW_AT_decl_file···:·(data1)·32	94	····<9b>···DW_AT_decl_file···:·(data1)·32
95	····<9c>···DW_AT_decl_line···:·(data1)·48	95	····<9c>···DW_AT_decl_line···:·(data1)·48
96	····<9d>···DW_AT_decl_column·:·(data1)·46	96	····<9d>···DW_AT_decl_column·:·(data1)·46
97	····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int	97	····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int
98	·<1><9f>:·Abbrev·Number:·35·(DW_TAG_typedef)	98	·<1><9f>:·Abbrev·Number:·35·(DW_TAG_typedef)
99	····<a0>···DW_AT_name········:·(strp)·(offset:·0x59ff8):·__int_least8_t	99	····<a0>···DW_AT_name········:·(strp)·(offset:·0x59fc2):·__int_least8_t
100	····<a4>···DW_AT_decl_file···:·(data1)·32	100	····<a4>···DW_AT_decl_file···:·(data1)·32
101	····<a5>···DW_AT_decl_line···:·(data1)·52	101	····<a5>···DW_AT_decl_line···:·(data1)·52
102	····<a6>···DW_AT_decl_column·:·(data1)·18	102	····<a6>···DW_AT_decl_column·:·(data1)·18
103	····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char	103	····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char
104	·<1><a8>:·Abbrev·Number:·35·(DW_TAG_typedef)	104	·<1><a8>:·Abbrev·Number:·35·(DW_TAG_typedef)
105	····<a9>···DW_AT_name········:·(strp)·(offset:·0x602dc):·__uint_least8_t	105	····<a9>···DW_AT_name········:·(strp)·(offset:·0x602a6):·__uint_least8_t
106	····<ad>···DW_AT_decl_file···:·(data1)·32	106	····<ad>···DW_AT_decl_file···:·(data1)·32
107	····<ae>···DW_AT_decl_line···:·(data1)·53	107	····<ae>···DW_AT_decl_line···:·(data1)·53
108	····<af>···DW_AT_decl_column·:·(data1)·19	108	····<af>···DW_AT_decl_column·:·(data1)·19
109	····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char	109	····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char
110	·<1><b1>:·Abbrev·Number:·35·(DW_TAG_typedef)	110	·<1><b1>:·Abbrev·Number:·35·(DW_TAG_typedef)
111	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f9e5):·__int_least16_t	111	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f9af):·__int_least16_t
112	····<b6>···DW_AT_decl_file···:·(data1)·32	112	····<b6>···DW_AT_decl_file···:·(data1)·32
113	····<b7>···DW_AT_decl_line···:·(data1)·54	113	····<b7>···DW_AT_decl_line···:·(data1)·54
114	····<b8>···DW_AT_decl_column·:·(data1)·19	114	····<b8>···DW_AT_decl_column·:·(data1)·19
115	····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int	115	····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int
116	·<1><ba>:·Abbrev·Number:·35·(DW_TAG_typedef)	116	·<1><ba>:·Abbrev·Number:·35·(DW_TAG_typedef)
117	····<bb>···DW_AT_name········:·(strp)·(offset:·0x10e98):·__uint_least16_t	117	····<bb>···DW_AT_name········:·(strp)·(offset:·0x10e98):·__uint_least16_t
118	····<bf>···DW_AT_decl_file···:·(data1)·32	118	····<bf>···DW_AT_decl_file···:·(data1)·32
119	····<c0>···DW_AT_decl_line···:·(data1)·55	119	····<c0>···DW_AT_decl_line···:·(data1)·55
120	····<c1>···DW_AT_decl_column·:·(data1)·20	120	····<c1>···DW_AT_decl_column·:·(data1)·20
121	····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int	121	····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int
122	·<1><c3>:·Abbrev·Number:·35·(DW_TAG_typedef)	122	·<1><c3>:·Abbrev·Number:·35·(DW_TAG_typedef)
123	····<c4>···DW_AT_name········:·(strp)·(offset:·0x571da):·__int_least32_t	123	····<c4>···DW_AT_name········:·(strp)·(offset:·0x571a4):·__int_least32_t
124	····<c8>···DW_AT_decl_file···:·(data1)·32	124	····<c8>···DW_AT_decl_file···:·(data1)·32
125	····<c9>···DW_AT_decl_line···:·(data1)·56	125	····<c9>···DW_AT_decl_line···:·(data1)·56
126	····<ca>···DW_AT_decl_column·:·(data1)·19	126	····<ca>···DW_AT_decl_column·:·(data1)·19
127	····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int	127	····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int
128	·<1><cc>:·Abbrev·Number:·35·(DW_TAG_typedef)	128	·<1><cc>:·Abbrev·Number:·35·(DW_TAG_typedef)
129	····<cd>···DW_AT_name········:·(strp)·(offset:·0xcadeb):·__uint_least32_t	129	····<cd>···DW_AT_name········:·(strp)·(offset:·0xcadd1):·__uint_least32_t
130	····<d1>···DW_AT_decl_file···:·(data1)·32	130	····<d1>···DW_AT_decl_file···:·(data1)·32
Max diff block lines reached; 39933651/39941573 bytes (99.98%) of diff not shown.


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

1788	··Offset:······················0x1dbc	1788	··Offset:······················0x1dbc
1789	··Version:·····················5	1789	··Version:·····················5
1790	··Offset·size:·················4	1790	··Offset·size:·················4

1791	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1791	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1792	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1792	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14137, 16 lines modified		Offset 14137, 16 lines modified
14137	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14137	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14138	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14138	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14139	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14139	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14140	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1	14140	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1
14141	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64	14141	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64
14142	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64	14142	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64
14143	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14143	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14144	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	14144	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14145	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	14145	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

14146	··Offset:······················0x13237	14146	··Offset:······················0x13237
14147	··Version:·····················5	14147	··Version:·····················5
14148	··Offset·size:·················4	14148	··Offset·size:·················4

14149	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU	14149	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14150	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE	14150	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE

+GCC:·(Debian·14.2.0-8)·14.2.0
+c3:jg9-tL
+$J<$5F#,
+PTpC~rFI
+g_5$\LSC#.Zg
+c+$uCp.kU
+JiH7U4OK
+uJ}sajZa
+{LR,»   4A<}
+;2?8lG!dYT
++qdnyx-:
+^c1SG~ll
+|{7udq2B
+·:2~p^G`b
+&fa|sa_s
+_#<[->[-\\
+ARA{g@8D
+"=MuX^S2
+MY;YTucU
+vIOiNx·C
+<"!»    &"H[
+Uw7YFWr#N
+n,Z>opI_As
+*;x^\*$uX
+T^ey^}Hm
+C|6mz=;Y
+Hn:jdl$#[
+q&lU1=(R
+N9G:»   ~SGGZ
+vR*@Iiwd
+BWY\1gg=
+"T]\eFWq5
+B?jSYc6r
+yx=AzO
+Nke9Y[Nt8r
+pM0n0U1:w4
+j->»    'sM0.
+f2n~;AwP-
+g2.<@ERs/
+G3!ipX0n~
+#hT:_GZ@J
+;Cf7_eg\
+.4W8`{CH
+|TG^wtB
+v+1]u^u~{
+m0!mk5I1
+z&wd!-p&
+q{T#U'@u
+Re$<#kR%
+Gd#RDmXe
+/t,j%WTdE
+#9:r](xl7
+J6vEYLWN
+_^0hY)?Mr
+_Kk/Pxfi
+G!sec6'(
+ZKBau#
+qsM(Nb#rdBq
+lhkc5#QHlm
+Gamkc5;P
+<Xu4'K9f
+;/Px6Hob
+|*2S&(;OAf
+%`gXmh
+!^NUsf[je
+co=i#ml.
+,:!»    R$AY
+ub\LCr8X
+E;e,C\I;
+#;64Gvlh
+;";RRb-).
+p_m1»   *^Y
+VG9_c.4[|
+L&?KHt=d
+@,,(^]qA
+»       f6I-ZAA
+BEi.w;fT
+JH?a+aC4
+_8R)VXIwV
+,~>j,rAe
+*5XR)*/7
+YTdKDQzk
+?G/#>&bJrE8b
+ibl^kc» @
+u@*vP/WvnOo
+-zvVAR7lj"
+.;>>5j6
+,dHNIJh&
+MYx,)rEx"5
+}X~G`bnP
+u3!Kc3s$
+Iy*q$w~·z
+gR;n.sd
+mH9,qdH)x_
+}d}y's$y
+jl~G`bn=
+·:r{z~G`b
+HJf~G`b>
+#017[f,V
+·:rec~G`b6n2
+B("/4)<)("
+,%L]hjmP
+`h6m1y7T
+"aut:C-vg
+w}CBG»  J-~
+?Y*q:{,~
+vI3'KUN_
+:p&"q((;
+p&28gbvk
+$H3+Aq&»
+·20cpH8»
+avZ.[nYR
+v·bJcUe
+OCd[Z#h^=;
+L.?cfl&;
+;cJ,,mH,,mH,
++i8%]k#]
+tm~!))$*\
+YC$[L(4_
+;E"OI}&#s-
+=A;$`ssr;Mq^
+qGJt*k}}x
+UO.CZp&
+q3n·FsQW
+]g$7M!st
+cU<mAT|V
+@VS?r!yW


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:·180230	7	Installed-Size:·180230
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:·a~~9dc81852232513~~f~~e38eab930~~1c~~da1~~54f2~~a8a164~~	13	Build-Ids:·a4ca32796497467f8d76014af17ef50e244193d6


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/a9/~~dc81852232513~~f~~e38eab930~~1c~~da1~~54f2~~a8a164~~.debug	1	usr/lib/debug/.build-id/a4/ca32796497467f8d76014af17ef50e244193d6.debug


Offset 8, 15 lines modified		Offset 8, 15 lines modified
8	···Pointer·Size:··4	8	···Pointer·Size:··4
9	·<0><c>:·Abbrev·Number:·2·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·2·(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····:·(strp)·(offset:·0x202cb):·./obj-arm-linux-gnueabihf/src	11	····<11>···DW_AT_comp_dir····:·(strp)·(offset:·0x202cb):·./obj-arm-linux-gnueabihf/src
12	·<1><15>:·Abbrev·Number:·125·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·125·(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)·7» (unsigned)	14	····<17>···DW_AT_encoding····:·(data1)·7» (unsigned)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0x1376f):·long·long·unsigned·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x13789):·long·long·unsigned·int
16	·<1><1c>:·Abbrev·Number:·125·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·125·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·4	17	····<1d>···DW_AT_byte_size···:·(data1)·4
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x9707):·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x9707):·unsigned·int
20	·<1><23>:·Abbrev·Number:·126·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·126·(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)·5» (signed)	22	····<25>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 28, 19 lines modified		Offset 28, 19 lines modified
28	·<1><31>:·Abbrev·Number:·125·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·125·(DW_TAG_base_type)
29	····<32>···DW_AT_byte_size···:·(data1)·1	29	····<32>···DW_AT_byte_size···:·(data1)·1
30	····<33>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	30	····<33>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
31	····<34>···DW_AT_name········:·(strp)·(offset:·0x1a922):·unsigned·char	31	····<34>···DW_AT_name········:·(strp)·(offset:·0x1a922):·unsigned·char
32	·<1><38>:·Abbrev·Number:·125·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·125·(DW_TAG_base_type)
33	····<39>···DW_AT_byte_size···:·(data1)·2	33	····<39>···DW_AT_byte_size···:·(data1)·2
34	····<3a>···DW_AT_encoding····:·(data1)·7» (unsigned)	34	····<3a>···DW_AT_encoding····:·(data1)·7» (unsigned)
35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x12288):·short·unsigned·int	35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x122a2):·short·unsigned·int
36	·<1><3f>:·Abbrev·Number:·125·(DW_TAG_base_type)	36	·<1><3f>:·Abbrev·Number:·125·(DW_TAG_base_type)
37	····<40>···DW_AT_byte_size···:·(data1)·4	37	····<40>···DW_AT_byte_size···:·(data1)·4
38	····<41>···DW_AT_encoding····:·(data1)·7» (unsigned)	38	····<41>···DW_AT_encoding····:·(data1)·7» (unsigned)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x13774):·long·unsigned·int	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1378e):·long·unsigned·int
40	·<1><46>:·Abbrev·Number:·125·(DW_TAG_base_type)	40	·<1><46>:·Abbrev·Number:·125·(DW_TAG_base_type)
41	····<47>···DW_AT_byte_size···:·(data1)·1	41	····<47>···DW_AT_byte_size···:·(data1)·1
42	····<48>···DW_AT_encoding····:·(data1)·6» (signed·char)	42	····<48>···DW_AT_encoding····:·(data1)·6» (signed·char)
43	····<49>···DW_AT_name········:·(strp)·(offset:·0x1bc44):·signed·char	43	····<49>···DW_AT_name········:·(strp)·(offset:·0x1bc44):·signed·char
44	·<1><4d>:·Abbrev·Number:·125·(DW_TAG_base_type)	44	·<1><4d>:·Abbrev·Number:·125·(DW_TAG_base_type)
45	····<4e>···DW_AT_byte_size···:·(data1)·2	45	····<4e>···DW_AT_byte_size···:·(data1)·2
46	····<4f>···DW_AT_encoding····:·(data1)·5» (signed)	46	····<4f>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 766, 29 lines modified		Offset 766, 29 lines modified
766	····<417>···DW_AT_name········:·(strp)·(offset:·0x1eae1):·_IO_read_end	766	····<417>···DW_AT_name········:·(strp)·(offset:·0x1eae1):·_IO_read_end
767	····<41b>···DW_AT_decl_file···:·(data1)·69	767	····<41b>···DW_AT_decl_file···:·(data1)·69
768	····<41c>···DW_AT_decl_line···:·(data1)·55	768	····<41c>···DW_AT_decl_line···:·(data1)·55
769	····<41d>···DW_AT_decl_column·:·(data1)·9	769	····<41d>···DW_AT_decl_column·:·(data1)·9
770	····<41e>···DW_AT_type········:·(ref_udata)·<0x102>	770	····<41e>···DW_AT_type········:·(ref_udata)·<0x102>
771	····<41f>···DW_AT_data_member_location:·(data1)·8	771	····<41f>···DW_AT_data_member_location:·(data1)·8
772	·<2><420>:·Abbrev·Number:·85·(DW_TAG_member)	772	·<2><420>:·Abbrev·Number:·85·(DW_TAG_member)
773	····<421>···DW_AT_name········:·(strp)·(offset:·0x100dd):·_IO_read_base	773	····<421>···DW_AT_name········:·(strp)·(offset:·0x100f7):·_IO_read_base
774	····<425>···DW_AT_decl_file···:·(data1)·69	774	····<425>···DW_AT_decl_file···:·(data1)·69
775	····<426>···DW_AT_decl_line···:·(data1)·56	775	····<426>···DW_AT_decl_line···:·(data1)·56
776	····<427>···DW_AT_decl_column·:·(data1)·9	776	····<427>···DW_AT_decl_column·:·(data1)·9
777	····<428>···DW_AT_type········:·(ref_udata)·<0x102>	777	····<428>···DW_AT_type········:·(ref_udata)·<0x102>
778	····<429>···DW_AT_data_member_location:·(data1)·12	778	····<429>···DW_AT_data_member_location:·(data1)·12
779	·<2><42a>:·Abbrev·Number:·85·(DW_TAG_member)	779	·<2><42a>:·Abbrev·Number:·85·(DW_TAG_member)
780	····<42b>···DW_AT_name········:·(strp)·(offset:·0x4bc6):·_IO_write_base	780	····<42b>···DW_AT_name········:·(strp)·(offset:·0x4bc6):·_IO_write_base
781	····<42f>···DW_AT_decl_file···:·(data1)·69	781	····<42f>···DW_AT_decl_file···:·(data1)·69
782	····<430>···DW_AT_decl_line···:·(data1)·57	782	····<430>···DW_AT_decl_line···:·(data1)·57
783	····<431>···DW_AT_decl_column·:·(data1)·9	783	····<431>···DW_AT_decl_column·:·(data1)·9
784	····<432>···DW_AT_type········:·(ref_udata)·<0x102>	784	····<432>···DW_AT_type········:·(ref_udata)·<0x102>
785	····<433>···DW_AT_data_member_location:·(data1)·16	785	····<433>···DW_AT_data_member_location:·(data1)·16
786	·<2><434>:·Abbrev·Number:·85·(DW_TAG_member)	786	·<2><434>:·Abbrev·Number:·85·(DW_TAG_member)
787	····<435>···DW_AT_name········:·(strp)·(offset:·0xf7ba):·_IO_write_ptr	787	····<435>···DW_AT_name········:·(strp)·(offset:·0xf7d4):·_IO_write_ptr
788	····<439>···DW_AT_decl_file···:·(data1)·69	788	····<439>···DW_AT_decl_file···:·(data1)·69
789	····<43a>···DW_AT_decl_line···:·(data1)·58	789	····<43a>···DW_AT_decl_line···:·(data1)·58
790	····<43b>···DW_AT_decl_column·:·(data1)·9	790	····<43b>···DW_AT_decl_column·:·(data1)·9
791	····<43c>···DW_AT_type········:·(ref_udata)·<0x102>	791	····<43c>···DW_AT_type········:·(ref_udata)·<0x102>
792	····<43d>···DW_AT_data_member_location:·(data1)·20	792	····<43d>···DW_AT_data_member_location:·(data1)·20
793	·<2><43e>:·Abbrev·Number:·85·(DW_TAG_member)	793	·<2><43e>:·Abbrev·Number:·85·(DW_TAG_member)
794	····<43f>···DW_AT_name········:·(strp)·(offset:·0xde6a):·_IO_write_end	794	····<43f>···DW_AT_name········:·(strp)·(offset:·0xde6a):·_IO_write_end
Offset 801, 36 lines modified		Offset 801, 36 lines modified
801	····<449>···DW_AT_name········:·(strp)·(offset:·0xaf6a):·_IO_buf_base	801	····<449>···DW_AT_name········:·(strp)·(offset:·0xaf6a):·_IO_buf_base
802	····<44d>···DW_AT_decl_file···:·(data1)·69	802	····<44d>···DW_AT_decl_file···:·(data1)·69
803	····<44e>···DW_AT_decl_line···:·(data1)·60	803	····<44e>···DW_AT_decl_line···:·(data1)·60
804	····<44f>···DW_AT_decl_column·:·(data1)·9	804	····<44f>···DW_AT_decl_column·:·(data1)·9
805	····<450>···DW_AT_type········:·(ref_udata)·<0x102>	805	····<450>···DW_AT_type········:·(ref_udata)·<0x102>
806	····<451>···DW_AT_data_member_location:·(data1)·28	806	····<451>···DW_AT_data_member_location:·(data1)·28
807	·<2><452>:·Abbrev·Number:·85·(DW_TAG_member)	807	·<2><452>:·Abbrev·Number:·85·(DW_TAG_member)
808	····<453>···DW_AT_name········:·(strp)·(offset:·0x14e14):·_IO_buf_end	808	····<453>···DW_AT_name········:·(strp)·(offset:·0x14e2e):·_IO_buf_end
809	····<457>···DW_AT_decl_file···:·(data1)·69	809	····<457>···DW_AT_decl_file···:·(data1)·69
810	····<458>···DW_AT_decl_line···:·(data1)·61	810	····<458>···DW_AT_decl_line···:·(data1)·61
811	····<459>···DW_AT_decl_column·:·(data1)·9	811	····<459>···DW_AT_decl_column·:·(data1)·9
812	····<45a>···DW_AT_type········:·(ref_udata)·<0x102>	812	····<45a>···DW_AT_type········:·(ref_udata)·<0x102>
813	····<45b>···DW_AT_data_member_location:·(data1)·32	813	····<45b>···DW_AT_data_member_location:·(data1)·32
814	·<2><45c>:·Abbrev·Number:·85·(DW_TAG_member)	814	·<2><45c>:·Abbrev·Number:·85·(DW_TAG_member)
815	····<45d>···DW_AT_name········:·(strp)·(offset:·0xdf22):·_IO_save_base	815	····<45d>···DW_AT_name········:·(strp)·(offset:·0xdf22):·_IO_save_base
816	····<461>···DW_AT_decl_file···:·(data1)·69	816	····<461>···DW_AT_decl_file···:·(data1)·69
817	····<462>···DW_AT_decl_line···:·(data1)·64	817	····<462>···DW_AT_decl_line···:·(data1)·64
818	····<463>···DW_AT_decl_column·:·(data1)·9	818	····<463>···DW_AT_decl_column·:·(data1)·9
819	····<464>···DW_AT_type········:·(ref_udata)·<0x102>	819	····<464>···DW_AT_type········:·(ref_udata)·<0x102>
820	····<465>···DW_AT_data_member_location:·(data1)·36	820	····<465>···DW_AT_data_member_location:·(data1)·36
821	·<2><466>:·Abbrev·Number:·85·(DW_TAG_member)	821	·<2><466>:·Abbrev·Number:·85·(DW_TAG_member)
822	····<467>···DW_AT_name········:·(strp)·(offset:·0x10972):·_IO_backup_base	822	····<467>···DW_AT_name········:·(strp)·(offset:·0x1098c):·_IO_backup_base
823	····<46b>···DW_AT_decl_file···:·(data1)·69	823	····<46b>···DW_AT_decl_file···:·(data1)·69
824	····<46c>···DW_AT_decl_line···:·(data1)·65	824	····<46c>···DW_AT_decl_line···:·(data1)·65
825	····<46d>···DW_AT_decl_column·:·(data1)·9	825	····<46d>···DW_AT_decl_column·:·(data1)·9
826	····<46e>···DW_AT_type········:·(ref_udata)·<0x102>	826	····<46e>···DW_AT_type········:·(ref_udata)·<0x102>
827	····<46f>···DW_AT_data_member_location:·(data1)·40	827	····<46f>···DW_AT_data_member_location:·(data1)·40
828	·<2><470>:·Abbrev·Number:·85·(DW_TAG_member)	828	·<2><470>:·Abbrev·Number:·85·(DW_TAG_member)
829	····<471>···DW_AT_name········:·(strp)·(offset:·0x18~~8ed~~):·_IO_save_end	829	····<471>···DW_AT_name········:·(strp)·(offset:·0x18907):·_IO_save_end
830	····<475>···DW_AT_decl_file···:·(data1)·69	830	····<475>···DW_AT_decl_file···:·(data1)·69
831	····<476>···DW_AT_decl_line···:·(data1)·66	831	····<476>···DW_AT_decl_line···:·(data1)·66
832	····<477>···DW_AT_decl_column·:·(data1)·9	832	····<477>···DW_AT_decl_column·:·(data1)·9
833	····<478>···DW_AT_type········:·(ref_udata)·<0x102>	833	····<478>···DW_AT_type········:·(ref_udata)·<0x102>
834	····<479>···DW_AT_data_member_location:·(data1)·44	834	····<479>···DW_AT_data_member_location:·(data1)·44
835	·<2><47a>:·Abbrev·Number:·85·(DW_TAG_member)	835	·<2><47a>:·Abbrev·Number:·85·(DW_TAG_member)
836	····<47b>···DW_AT_name········:·(strp)·(offset:·0x465f):·_markers	836	····<47b>···DW_AT_name········:·(strp)·(offset:·0x465f):·_markers
Offset 843, 15 lines modified		Offset 843, 15 lines modified
843	····<486>···DW_AT_name········:·(strp)·(offset:·0x8465c7):·_chain	843	····<486>···DW_AT_name········:·(strp)·(offset:·0x8465c7):·_chain
844	····<48a>···DW_AT_decl_file···:·(data1)·69	844	····<48a>···DW_AT_decl_file···:·(data1)·69
845	····<48b>···DW_AT_decl_line···:·(data1)·70	845	····<48b>···DW_AT_decl_line···:·(data1)·70
846	····<48c>···DW_AT_decl_column·:·(data1)·20	846	····<48c>···DW_AT_decl_column·:·(data1)·20
847	····<48d>···DW_AT_type········:·(ref_udata)·<0xea9>	847	····<48d>···DW_AT_type········:·(ref_udata)·<0xea9>
848	····<48f>···DW_AT_data_member_location:·(data1)·52	848	····<48f>···DW_AT_data_member_location:·(data1)·52
849	·<2><490>:·Abbrev·Number:·60·(DW_TAG_member)	849	·<2><490>:·Abbrev·Number:·60·(DW_TAG_member)
850	····<491>···DW_AT_name········:·(strp)·(offset:·0x19bc7):·_fileno	850	····<491>···DW_AT_name········:·(strp)·(offset:·0x19be1):·_fileno
851	····<495>···DW_AT_decl_file···:·(data1)·69	851	····<495>···DW_AT_decl_file···:·(data1)·69
852	····<496>···DW_AT_decl_line···:·(data1)·72	852	····<496>···DW_AT_decl_line···:·(data1)·72
853	····<497>···DW_AT_decl_column·:·(data1)·7	853	····<497>···DW_AT_decl_column·:·(data1)·7
854	····<498>···DW_AT_type········:·(ref_addr)·<0x23>,·int	854	····<498>···DW_AT_type········:·(ref_addr)·<0x23>,·int
855	····<49c>···DW_AT_data_member_location:·(data1)·56	855	····<49c>···DW_AT_data_member_location:·(data1)·56
856	·<2><49d>:·Abbrev·Number:·60·(DW_TAG_member)	856	·<2><49d>:·Abbrev·Number:·60·(DW_TAG_member)
857	····<49e>···DW_AT_name········:·(strp)·(offset:·0x1bd13):·_flags2	857	····<49e>···DW_AT_name········:·(strp)·(offset:·0x1bd13):·_flags2
Offset 864, 29 lines modified		Offset 864, 29 lines modified
864	····<4ab>···DW_AT_name········:·(strp)·(offset:·0xa2d2):·_old_offset	864	····<4ab>···DW_AT_name········:·(strp)·(offset:·0xa2d2):·_old_offset
865	····<4af>···DW_AT_decl_file···:·(data1)·69	865	····<4af>···DW_AT_decl_file···:·(data1)·69
866	····<4b0>···DW_AT_decl_line···:·(data1)·74	866	····<4b0>···DW_AT_decl_line···:·(data1)·74
867	····<4b1>···DW_AT_decl_column·:·(data1)·11	867	····<4b1>···DW_AT_decl_column·:·(data1)·11
868	····<4b2>···DW_AT_type········:·(ref_udata)·<0xed>,·__off_t,·long·int	868	····<4b2>···DW_AT_type········:·(ref_udata)·<0xed>,·__off_t,·long·int
869	····<4b3>···DW_AT_data_member_location:·(data1)·64	869	····<4b3>···DW_AT_data_member_location:·(data1)·64
870	·<2><4b4>:·Abbrev·Number:·60·(DW_TAG_member)	870	·<2><4b4>:·Abbrev·Number:·60·(DW_TAG_member)
871	····<4b5>···DW_AT_name········:·(strp)·(offset:·0x14033):·_cur_column	871	····<4b5>···DW_AT_name········:·(strp)·(offset:·0x1404d):·_cur_column
Max diff block lines reached; 27328146/27335395 bytes (99.97%) of diff not shown.


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

1615	··Offset:······················0x1b31	1615	··Offset:······················0x1b31
1616	··Version:·····················5	1616	··Version:·····················5
1617	··Offset·size:·················4	1617	··Offset·size:·················4

1618	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1618	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1619	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1619	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52363, 16 lines modified		Offset 52363, 16 lines modified
52363	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52363	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52364	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52364	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52365	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52365	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52366	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1	52366	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1
52367	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64	52367	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64
52368	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64	52368	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64
52369	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52369	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52370	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	52370	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52371	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	52371	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

52372	··Offset:······················0x48d2b	52372	··Offset:······················0x48d2b
52373	··Version:·····················5	52373	··Version:·····················5
52374	··Offset·size:·················4	52374	··Offset·size:·················4

52375	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52375	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52376	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52376	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1313362, 15 lines modified		Offset 1313362, 15 lines modified
1313362	·DW_MACRO_end_file	1313362	·DW_MACRO_end_file
1313363	·DW_MACRO_end_file	1313363	·DW_MACRO_end_file
1313364	·DW_MACRO_import·-·offset·:·0x9e52	1313364	·DW_MACRO_import·-·offset·:·0x9e52
1313365	·DW_MACRO_start_file·-·lineno:·56·filenum:·178·filename:·/usr/include/c++/14/bits/version.h	1313365	·DW_MACRO_start_file·-·lineno:·56·filenum:·178·filename:·/usr/include/c++/14/bits/version.h
1313366	·DW_MACRO_import·-·offset·:·0x4f6892	1313366	·DW_MACRO_import·-·offset·:·0x4f6892
1313367	·DW_MACRO_end_file	1313367	·DW_MACRO_end_file
1313368	·DW_MACRO_end_file	1313368	·DW_MACRO_end_file
1313369	·DW_MACRO_start_file·-·lineno:·51·filenum:·113·filename:·./src/./options/language.h	1313369	·DW_MACRO_start_file·-·lineno:·52·filenum:·113·filename:·./src/./options/language.h
1313370	·DW_MACRO_end_file	1313370	·DW_MACRO_end_file
1313371	·DW_MACRO_start_file·-·lineno:·54·filenum:·36·filename:·./src/./options/managed_streams.h	1313371	·DW_MACRO_start_file·-·lineno:·54·filenum:·36·filename:·./src/./options/managed_streams.h
1313372	·DW_MACRO_end_file	1313372	·DW_MACRO_end_file
1313373	·DW_MACRO_start_file·-·lineno:·57·filenum:·84·filename:·/usr/include/c++/14/cstring	1313373	·DW_MACRO_start_file·-·lineno:·57·filenum:·84·filename:·/usr/include/c++/14/cstring
1313374	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·	1313374	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1313375	·DW_MACRO_start_file·-·lineno:·42·filenum:·178·filename:·/usr/include/c++/14/bits/version.h	1313375	·DW_MACRO_start_file·-·lineno:·42·filenum:·178·filename:·/usr/include/c++/14/bits/version.h
1313376	·DW_MACRO_import·-·offset·:·0x4f6e7e	1313376	·DW_MACRO_import·-·offset·:·0x4f6e7e


Offset 4194297, 8 lines modified		Offset 4194297, 8 lines modified
4194297	·············0031fbea·0031fbea·(DW_OP_fbreg:·-384)	4194297	·············0031fbea·0031fbea·(DW_OP_fbreg:·-384)
4194298	····009ea724·<End·of·list>	4194298	····009ea724·<End·of·list>

4194299	····009ea725·v0000015·v0000016·location·view·pair	4194299	····009ea725·v0000015·v0000016·location·view·pair

4194300	····009ea727·v0000015·v0000016·views·at·009ea725·for:	4194300	····009ea727·v0000015·v0000016·views·at·009ea725·for:
4194301	·············0031fbea·0031fbea·(DW_OP_fbreg:·-316)	4194301	·············0031fbea·0031fbea·(DW_OP_fbreg:·-316)
4194302	[·Too·much·input·for·diff·(SHA256:·6e3f~~2a78b40a~~33656e7588d~~d257~~4~~670a8f3935~~42b0~~8612~~e~~c66~~55c~~11f0f50f362~~)·]	4194302	[·Too·much·input·for·diff·(SHA256:·79fe490e0ed366d463b5e837bb4fc4627b6af40b7edfe5fc5acb7358aae911da)·]

+GCC:·(Debian·14.2.0-8)·14.2.0
+[V+gb`9D>D}kY
+k#si}xr4
+YBNCT?^
+!gyPf<:X
+)%9oO-k?
+D=xm*h=h^
+=V5\OxGC
+[.eYva)KGQ
+[&JF<]-}
+G*"vR@m]oO
+XU*sBp!I
+Ah:03Ah:2sq
+!=u~PK?.
+odoPla\f
+c8-]0NRD
+·z2f2h|u
+#(?LuBg+
+q)(`GPP0Fa>
+#]g~8z'X?
+>%_oz8B.[
+`D8p3·ie
+mCmS}S}C
+==7"<lR"i
+)/|»    :Z=M
+bJHqK.EZ]
+Lfdg5W),Y
+.cmE<)ZCV
+k6»     ·X2&Z
+»       =`3NscK
+oc1TvV
+l8mbOM/L)7B
+_>{ah*Uo
+V:=j[.9<j-
+/j5j13kp_1/T
+fnzd}KC2
+Eq)&3F#4
+VkT-0n$y
+&1ouGHoP
+x5M.nfz-M
+W`vrySv^^
+y0qi6c#t
+xg*^E'» *v
+Ppf>J}M
+pg/7#r3
+@L{@L3pgoKDdc
+G\B·we:|M
+xa6K|{LW
+ewj'.8e/
+$HjJ0g4Up
+)b.[)]El
+R(^/i»  wz
+qG]VAqP+#
+`]i(GM{12
+z4V5IEQ_
+Vt{z$_[}
+\@W}n3l9
+^·\7?dj#y
+;]kZkQn`
+JF}#kO%^
+y_GC0i}Vu0
+)-^Pt;t%
+j/Dq»   ;Jbe
+d.V,d8V,
+m6I7H[T)
+`fOzL=h·
+I-lvn}<^9
+WZUtobyn}
+w3bkKunF
+a?F7W'1B
+EPo3K6Ck
+%]0Y\/nV
+&0]na&0C
+Hgo9@=zD
+\.$k#6F
+TvZm$8rT
+IuVH0Gg~
+JEt-=.uR*
+`&VBr);,@
+wj:w[jWFS
+p?X}O·'>
+}\ViRhqS
+W8SEE7wk
+CuXIKD_:&
+p@q`sx» (
+eJb*<<lt
+[K58.V<*
+xg6K|[L'
+uW/&3NO#
+jUFU&ylA5
+:?}i:»  <ei
+}WrqNmCo
+yOT{W·,9vzr
+$Iv|nfvRc`,
+xR,B[si*`#
+:[@8=N.m
+(d.'?5mA
+@0h3KfZW
+{crro>U~
+c_=}Y)ME
+%0JVE1G"
+N,/_nDx
+XH.CRo$I
+gX,,~X5:L
+rfI9$=,Y
+(g^pXqP
+EC}»    vDw^
+Tlqo`->
+:/H/fd@>
+(`[Az0R=
+.`mTz"eA
+dYU"<4<s
+p$+cxc`+
+LI:61A@eo|
++G`)=1pj·
+(?>r<tl@
+=[5|<[5T
+?!MnKMX:Cn
+d`Yfx6gY
+qP_Wnqi5
+Kx,pbd{?·>o
+ha_7kq}I5
+h6Ew=n`
+H>2FvdN
+dZvv2BYs
+Z$5gc!jf
+sjOR·jwp{


Offset 256, 30 lines modified		Offset 256, 30 lines modified
256	··[··2036]··_M_guarded	256	··[··2036]··_M_guarded
257	··[··2041]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8	257	··[··2041]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
258	··[··2061]··wcstombs	258	··[··2061]··wcstombs
259	··[··206a]··_S_noreplace	259	··[··206a]··_S_noreplace
260	··[··2077]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))	260	··[··2077]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
261	··[··20aa]··__ARM_FEATURE_MATMUL_INT8	261	··[··20aa]··__ARM_FEATURE_MATMUL_INT8
262	··[··20c4]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name	262	··[··20c4]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
263	··[··20eb]··DEB_BUILD_DATE·"2024-03-18"
264	··[··2~~107~~]··_PSTL_VERSION_MINOR·((_PSTL_VERSION·%·1000)·/·10)	263	··[··20eb]··_PSTL_VERSION_MINOR·((_PSTL_VERSION·%·1000)·/·10)
265	··[··2139]··__FLT32_MIN__·1.1754943508222875e-38F32	264	··[··211d]··__FLT32_MIN__·1.1754943508222875e-38F32
266	··[··2161]··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)	265	··[··2145]··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)
267	··[··2299]··_GLIBCXX_HAVE_WCHAR_H·1	266	··[··227d]··_GLIBCXX_HAVE_WCHAR_H·1
268	··[··22b1]··__ARM_FEATURE_BTI	267	··[··2295]··__ARM_FEATURE_BTI
269	··[··22c3]··CVC5_PROOF_FORMAT_ALF	268	··[··22a7]··CVC5_PROOF_FORMAT_ALF
270	··[··22d9]··__glibcxx_requires_irreflexive(_First,_Last)·	269	··[··22bd]··__glibcxx_requires_irreflexive(_First,_Last)·
271	··[··2~~307~~]··__cpp_initializer_lists·200806L	270	··[··22eb]··__cpp_initializer_lists·200806L
272	··[··2327]··__glibcxx_want_map_try_emplace·	271	··[··230b]··__glibcxx_want_map_try_emplace·
273	··[··2347]··__glibcxx_map_try_emplace·201411L	272	··[··232b]··__glibcxx_map_try_emplace·201411L
274	··[··2369]··CVC5_KIND_BAG_UNION_DISJOINT	273	··[··234d]··CVC5_KIND_BAG_UNION_DISJOINT
275	··[··2386]··CVC5_API_SOLVER_CHECK_BOUND_VARS_DEF_FUN(fun,bound_vars,domain_sorts)·do·{·size_t·size·=·bound_vars.size();·CVC5_API_ARG_SIZE_CHECK_EXPECTED(size·==·domain_sorts.size(),·bound_vars)·<<·"'"·<<·domain_sorts.size()·<<·"'";·size_t·i·=·0;·for·(const·auto&·bv·:·bound_vars)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL(·"bound·variable",·bv,·bound_vars,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·d_nm·==·bv.d_nm,·"bound·variable",·bound_vars,·i)·<<·"a·term·associated·with·the·node·manager·of·this·solver·object";·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·bv.d_node->getKind()·==·cvc5::internal::Kind::BOUND_VARIABLE,·"bound·variable",·bound_vars,·i)·<<·"a·bound·variable";·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·domain_sorts[i]·==·bound_vars[i].getSort(),·"sort·of·parameter",·bound_vars,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·domain_sorts[i].getTypeNode().isFirstClass(),·"domain·sort",·domain_sorts,·i)·<<·"first-class·sort·of·parameter·of·defined·function";·i·+=·1;·}·}·while·(0)	274	··[··236a]··CVC5_API_SOLVER_CHECK_BOUND_VARS_DEF_FUN(fun,bound_vars,domain_sorts)·do·{·size_t·size·=·bound_vars.size();·CVC5_API_ARG_SIZE_CHECK_EXPECTED(size·==·domain_sorts.size(),·bound_vars)·<<·"'"·<<·domain_sorts.size()·<<·"'";·size_t·i·=·0;·for·(const·auto&·bv·:·bound_vars)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL(·"bound·variable",·bv,·bound_vars,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·d_nm·==·bv.d_nm,·"bound·variable",·bound_vars,·i)·<<·"a·term·associated·with·the·node·manager·of·this·solver·object";·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·bv.d_node->getKind()·==·cvc5::internal::Kind::BOUND_VARIABLE,·"bound·variable",·bound_vars,·i)·<<·"a·bound·variable";·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·domain_sorts[i]·==·bound_vars[i].getSort(),·"sort·of·parameter",·bound_vars,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(·domain_sorts[i].getTypeNode().isFirstClass(),·"domain·sort",·domain_sorts,·i)·<<·"first-class·sort·of·parameter·of·defined·function";·i·+=·1;·}·}·while·(0)
276	··[··2751]··__glibcxx_want_constexpr_memory·	275	··[··2735]··__glibcxx_want_constexpr_memory·
277	··[··2772]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv	276	··[··2756]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
278	··[··27b7]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv	277	··[··279b]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
		278	··[··27e5]··DEB_BUILD_DATE·"2024-03-19"
279	··[··2801]··__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))))	279	··[··2801]··__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))))
280	··[··290a]··_GLIBCXX_USE_NANOSLEEP·1	280	··[··290a]··_GLIBCXX_USE_NANOSLEEP·1
281	··[··2923]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_	281	··[··2923]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
282	··[··2961]··__FLT32_HAS_INFINITY__·1	282	··[··2961]··__FLT32_HAS_INFINITY__·1
283	··[··297a]··__swappable_with_details	283	··[··297a]··__swappable_with_details
284	··[··2993]··tolower	284	··[··2993]··tolower
285	··[··299b]··streampos	285	··[··299b]··streampos
Offset 1789, 1308 lines modified		Offset 1789, 1308 lines modified
1789	··[··ec90]··EPERM·1	1789	··[··ec90]··EPERM·1
1790	··[··ec98]··__glibcxx_want_shared_timed_mutex	1790	··[··ec98]··__glibcxx_want_shared_timed_mutex
1791	··[··ecba]··CVC5_KIND_NULLABLE_LIFT	1791	··[··ecba]··CVC5_KIND_NULLABLE_LIFT
1792	··[··ecd2]··_VA_LIST_·	1792	··[··ecd2]··_VA_LIST_·
1793	··[··ecdd]··__END_DECLS·}	1793	··[··ecdd]··__END_DECLS·}
1794	··[··eceb]··__LC_TELEPHONE·10	1794	··[··eceb]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1294 lines added, 1294 lines removed)
1795	··[··ecfd]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_	1795	··[··ecfd]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1796	··[··ed38]··~~_ZNSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEE5eras~~eE~~N9__gnu_c~~xx1~~7__normal_iteratorIPKcS4_EE~~	1796	··[··ed38]··DEB_BUILD_TIME·"14:06:23"
1797	··[··ed9c]··~~CPU~~_~~COUNT(cpu~~set~~p)·__CPU~~_~~COUNT_~~S~~·(siz~~e~~of·(cp~~u_~~set~~_~~t),·cpus~~etp)	1797	··[··ed52]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1798	··[··eddb]··_~~ZNKSt17ba~~s~~ic_string~~_~~viewIc~~S~~t11char_trait~~s~~IcEE4co~~p~~yEPcjj~~	1798	··[··edb6]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1799	··[··e~~e14~~]··_ZN~~9__gnu~~_~~cxx21~~__de~~faul~~t~~_lock~~_~~pol~~icyE	1799	··[··edf5]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcjj
1800	··[··ee3a]··msg_prefix	1800	··[··ee2e]··_ZN9__gnu_cxx21__default_lock_policyE
1801	··[··ee45~~]··INT_LEAST6~~4~~_MI~~N·~~(-__INT64~~_~~C(9223372036854775807)-1)~~	1801	··[··ee54]··msg_prefix
1802	··[··ee79]··_ZNSiC4Ev	1802	··[··ee5f]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1803	··[··ee83]··_~~GLIBCXX~~_USE_SC~~HED_Y~~IE~~LD·~~1	1803	··[··ee93]··_ZNSiC4Ev
1804	··[··ee9e]··__EXCE~~PTION_H~~·1	1804	··[··ee9d]··_GLIBCXX_USE_SCHED_YIELD·1
1805	··[··eeae]··~~INT~~_~~LEAST64~~_MAX~~·(__~~INT64_~~C(9223372036854775807))~~	1805	··[··eeb8]··__EXCEPTION_H·1
1806	··[··eedf]··~~_ZSt8distanceIPKc~~ENSt1~~5iterator~~_~~traitsI~~T~~_E15difference_typeES3_S3_~~	1806	··[··eec8]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1807	··[··e~~f22~~]··_~~_gl~~ibcxx_want_formatters	1807	··[··eef9]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1808	··[··ef3c]··__~~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;·}))~~	1808	··[··ef3c]··__glibcxx_want_formatters
1809	··[··~~f002~~]··__glibcxx_~~wan~~t_quoted_string_io	1809	··[··ef56]··__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;·}))
1810	··[··f022]··_~~ZNSaI~~cEa~~SERKS~~_	1810	··[··f01c]··__glibcxx_want_quoted_string_io
1811	··[··f032]··~~CVC5~~_KIN~~D_FLO~~ATING~~POINT_I~~S_~~NAN~~	1811	··[··f03c]··_ZNSaIcEaSERKS_
1812	··[··f051]··_~~_ARM~~_FEAT~~URE_U~~NALIG~~NED·1~~	1812	··[··f04c]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1813	··[··f06b]··_~~ZNKSt17basic_string~~_~~viewIcSt11char~~_~~traitsIc~~EE1~~6find~~_~~last_not_of~~ES~~2_j~~	1813	··[··f06b]··__ARM_FEATURE_UNALIGNED·1
1814	··[··f0b1]··__~~WORD~~S~~IZE~~_TIME64_~~COMPAT3~~2·1	1814	··[··f085]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_j
1815	··[··f0ce]··_Z~~NSt9exceptionD0Ev~~	1815	··[··f0cb]··__WORDSIZE_TIME64_COMPAT32·1
1816	··[··f0e2]··~~CVC5~~_KIND~~_BITVECTOR_SMULO~~	1816	··[··f0e8]··_ZNSt9exceptionD0Ev
1817	··[··f0fc]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcES~~aIcEE~~10_M~~_~~replaceEjjPKcj~~	1817	··[··f0fc]··CVC5_KIND_BITVECTOR_SMULO
1818	··[··f145]··_GLI~~BCXX20~~_DEPRE~~CAT~~ED·	1818	··[··f116]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEjjPKcj
1819	··[··f15c]··~~fputc~~	1819	··[··f15f]··_GLIBCXX20_DEPRECATED·
1820	··[··f162]··~~CVC5_KIND_SEQ_UPDATE~~	1820	··[··f176]··fputc
1821	··[··f177]··__FDP~~IC__~~	1821	··[··f17c]··CVC5_KIND_SEQ_UPDATE
1822	··[··f181]··~~MOD~~_~~MAXERROR·ADJ~~_M~~AXERROR~~	1822	··[··f191]··__FDPIC__
1823	··[··f19b]··~~_GLIBC~~X~~X_PA~~R~~SE_NU~~MBERS_~~H·1~~	1823	··[··f19b]··MOD_MAXERROR·ADJ_MAXERROR
1824	··[··f1b6]··_GLIBCXX_CHARCONV_H·1	1824	··[··f1b5]··_GLIBCXX_PARSE_NUMBERS_H·1
1825	··[··f1cc]··__DBL~~_DENORM_M~~I~~N__·double(4.9406564584~~1~~24654e-324L)~~	1825	··[··f1d0]··_GLIBCXX_CHARCONV_H·1
1826	··[··f~~200~~]··_GLIBCXX_MOVE~~_BACK~~WARD3(_~~Tp,~~_~~Up,~~_~~Vp)~~·s~~td::move_backward(_Tp,·_Up,·_Vp~~)	1826	··[··f1e6]··__DBL_DENORM_MIN__·double(4.9406564584124654e-324L)
1827	··[··f247]··CVC5_~~KIND~~_~~STRING~~_TO_~~CODE~~	1827	··[··f21a]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1828	··[··f260]··~~__GC~~C_H~~AVE~~_SYNC_~~COM~~PARE_AND_S~~WAP_8·1~~	1828	··[··f261]··CVC5_KIND_STRING_TO_CODE
1829	··[··f285]··~~_ZNSt7~~__~~cxx1112basic~~_~~stringIc~~S~~t11char~~_~~traitsIcESaIcE~~E12_Alloc_~~hiderC4E~~PcR~~KS3_~~	1829	··[··f27a]··__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8·1
1830	··[··f2d3]··~~CVC5~~_~~LEARNED~~_LIT_~~TYP~~E~~_PR~~E~~PROCESS~~_~~SOLV~~ED	1830	··[··f29f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1831	··[··f2fb]··_~~GLIBCXX~~_~~HAV~~E_~~COM~~PLEX_~~H·1~~	1831	··[··f2ed]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1832	··[··f315]··_~~_INT~~_LE~~AST64~~_MAX__~~·0x7fffffffffffffffLL~~	1832	··[··f315]··_GLIBCXX_HAVE_COMPLEX_H·1
1833	··[··f33e]··7~~lldiv_t~~	1833	··[··f32f]··__INT_LEAST64_MAX__·0x7fffffffffffffffLL
1834	··[··f347]··~~UINT_FAST8~~_~~WIDTH·~~8	1834	··[··f358]··7lldiv_t
1835	··[··f35a]··~~_ZNSt6localeC4ERKS_~~RKN~~St7__cxx1112basi~~c_~~string~~IcS~~t11ch~~ar_~~traitsIcES~~aI~~cEEEi~~	1835	··[··f361]··UINT_FAST8_WIDTH·8
1836	··[··f3a5]··__~~glib~~cxx_want_bit~~ops~~	1836	··[··f374]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1837	··[··f3bb]··__~~EXCEPTIONS·1~~	1837	··[··f3bf]··__glibcxx_want_bitops
1838	··[··f3ca]··_~~GLIBCXX~~_A~~LWAYS_~~INLIN~~E·inlin~~e·~~__attribute__((__always_inline__)~~)	1838	··[··f3d5]··__EXCEPTIONS·1
1839	··[··f~~40b~~]··_~~ZNKSt7~~_~~_cxx1112basic_str~~in~~gIcS~~t~~11char_traitsIcESaIcEE5cr~~e~~ndEv~~	1839	··[··f3e4]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1840	··[··f44a]··~~CVC5~~_RM_~~ROUND~~_~~TOWARD_PO~~SI~~TIV~~E	1840	··[··f425]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1841	··[··f468]··CVC5_~~LEA~~RNED_LIT~~_TYPE~~_~~INTERNAL~~	1841	··[··f464]··CVC5_RM_ROUND_TOWARD_POSITIVE
1842	··[··f487]··~~__H~~AV~~E_F~~LOA~~T128_~~UN~~LIK~~E_LDBL·(__~~HAV~~E_~~DIST~~INCT_~~FLO~~A~~T128·&&·__LDB~~L~~_MANT_DIG__·!=·113)~~	1842	··[··f482]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1843	··[··f4da]··__ULFRACT_IBIT__·0	1843	··[··f4a1]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1844	··[··f4ed]··____~~_fpos_t~~_d~~efined~~·1	1844	··[··f4f4]··__ULFRACT_IBIT__·0
1845	··[··f503]··~~__tobody(c,f,a,args)~~·(__~~extension~~__~~·({·int·~~__~~res;·if·(sizeof·(c)·>·1)·{·i~~f~~·(__builtin_~~cons~~tant~~_~~p·(c))·{·in~~t~~·__c·=·(c);·__res·=·__c·<·-128·\|\|·__c·>·255·?·__c·:·(a)[__c];·}·else·_~~_re~~s·=·~~f~~·args;·}·else·__res·=·(a)[(~~in~~t)·(c)];·__r~~es;·}))	1845	··[··f507]··_____fpos_t_defined·1
1846	··[··f5ed]··./src/api/c/cvc5.cpp	1846	··[··f51d]··__tobody(c,f,a,args)·(__extension__·({·int·__res;·if·(sizeof·(c)·>·1)·{·if·(__builtin_constant_p·(c))·{·int·__c·=·(c);·__res·=·__c·<·-128·\|\|·__c·>·255·?·__c·:·(a)[__c];·}·else·__res·=·f·args;·}·else·__res·=·(a)[(int)·(c)];·__res;·}))
1847	··[··f602]··~~CVC5_KIND_INST_ADD_TO_POOL~~	1847	··[··f607]··./src/api/c/cvc5.cpp
1848	··[··f61d]··~~_GLIBCXX~~_~~HAVE~~_ARPA_I~~NET_H·1~~	1848	··[··f61c]··CVC5_KIND_INST_ADD_TO_POOL
1849	··[··f639]··ENAVAI~~L·119~~	1849	··[··f637]··_GLIBCXX_HAVE_ARPA_INET_H·1
1850	··[··f645]··~~_GLIBCXX_STD~~I~~O_SEEK_END·2~~	1850	··[··f653]··ENAVAIL·119
1851	··[··f65f]··__USE_UNI~~X98~~	1851	··[··f65f]··_GLIBCXX_STDIO_SEEK_END·2
1852	··[··f66c]··__~~RED~~IRE~~CT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(_~~_ASMN~~AME·(#alias))~~	1852	··[··f679]··__USE_UNIX98
1853	··[··f6c1]··_GLIBCXX_~~PACKAGE~~_~~BUGR~~E~~PORT·""~~	1853	··[··f686]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1854	··[··f6df]··~~_ZN9__gnu_cxx17__normal~~_~~iterat~~orI~~PcNSt7__cxx1112basic~~_~~stringIcSt11char~~_~~traitsIcESaIc~~E~~EEEpLEi~~	1854	··[··f6db]··_GLIBCXX_PACKAGE_BUGREPORT·""
1855	··[··f~~73c~~]··__stub_revo~~ke·~~	1855	··[··f6f9]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEi
1856	··[··f74b]··wcs~~ncmp~~	1856	··[··f756]··__stub_revoke·
1857	··[··f753]··~~STA_CLOCKERR·0x1000~~	1857	··[··f765]··wcsncmp
1858	··[··f767]··~~UINT~~PTR_W~~IDTH·__WORDSIZE~~	1858	··[··f76d]··STA_CLOCKERR·0x1000
1859	··[··f780]··~~__A~~R~~M_ARC~~H_PROF~~ILE·65~~	1859	··[··f781]··UINTPTR_WIDTH·__WORDSIZE
1860	··[··f796]··_~~GLIBCXX~~_TSAN_M~~UTEX~~_~~POST~~_~~SIGNA~~L~~(X)·~~	1860	··[··f79a]··__ARM_ARCH_PROFILE·65
1861	··[··f7ba]··_IO_~~write_ptr~~	1861	··[··f7b0]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1862	··[··f7c8]··~~CVC5_SORT~~_KIND_~~TUPLE~~_S~~ORT~~	1862	··[··f7d4]··_IO_write_ptr
1863	··[··f7e2]··~~__glibcxx~~_~~want~~_~~nonmember~~_~~container~~_ac~~cess~~	1863	··[··f7e2]··CVC5_SORT_KIND_TUPLE_SORT
1864	··[··f80c]··__~~INT~~_~~FAST32~~_~~MAX__·0x7fffffff~~	1864	··[··f7fc]··__glibcxx_want_nonmember_container_access
1865	··[··f82a]··_~~GLIBCXX~~_HAVE_~~NETDB_H·1~~	1865	··[··f826]··__INT_FAST32_MAX__·0x7fffffff
1866	··[··f842]··~~CVC5_USE~~_C~~RYPTOMINISAT~~·1	1866	··[··f844]··_GLIBCXX_HAVE_NETDB_H·1
1867	··[··f85b]··__DEC~~IMAL_D~~I~~G__~~·17	1867	··[··f85c]··CVC5_USE_CRYPTOMINISAT·1
1868	··[··f86e]··__SC_THREAD~~_ST~~ACK_MIN_~~VALU~~E·75	1868	··[··f875]··__DECIMAL_DIG__·17
1869	··[··f88d]··E~~KEYEXP~~I~~RED·12~~7	1869	··[··f888]··__SC_THREAD_STACK_MIN_VALUE·75
1870	··[··f89d]··~~towctrans~~	1870	··[··f8a7]··EKEYEXPIRED·127
1871	··[··f8a7]··~~_BITS_STDIO_LIM_H·1~~	1871	··[··f8b7]··towctrans
1872	··[··f8bb]··~~MOD~~_~~CLKA·ADJ~~_~~OFF~~SET_SINGLESHOT	1872	··[··f8c1]··_BITS_STDIO_LIM_H·1
1873	··[··f8da]··~~_ZNKSt15__exception~~_~~ptr13exception~~_~~ptr20__cxa~~_~~exception_typeEv~~	1873	··[··f8d5]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1874	··[··f~~919~~]··_ZNSt15~~bas~~ic_stre~~ambufIcS~~t11char_t~~raitsIcEE4s~~yncEv	1874	··[··f8f4]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1875	··[··f94c]··_GLI~~BCXX~~_~~HAV~~E~~_LINK·1~~	1875	··[··f933]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1876	··[··f961]··~~htole16(x)·_~~_ui~~nt16~~_~~identity~~·(x)	1876	··[··f966]··_GLIBCXX_HAVE_LINK·1
1877	··[··f982]··~~STA~~_~~UNSYNC·0x0040~~	1877	··[··f97b]··htole16(x)·__uint16_identity·(x)
1878	··[··f994]··~~CVC5_KIND_F~~LOATINGPOIN~~T_IS_NEG~~	1878	··[··f99c]··STA_UNSYNC·0x0040
1879	··[··f9b3]··_~~_glibcxx_want_int~~_~~pow2·~~	1879	··[··f9ae]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1880	··[··f9cc]··cvc5_~~sor~~t_kind_~~hash~~	1880	··[··f9cd]··__glibcxx_want_int_pow2·
1881	··[··f9e0]··IN~~TMAX~~_~~MIN·(-_~~_I~~NT64~~_~~C(9223372036854775807)-1)~~	1881	··[··f9e6]··cvc5_sort_kind_hash
1882	··[··f~~a0f~~]··_Z~~St5flush~~I~~cSt11char~~_~~trait~~sIc~~EERSt13basic_ostreamIT_T~~0~~_ES6_~~	1882	··[··f9fa]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)
Max diff block lines reached; 202/132691 bytes (0.15%) of diff not shown.


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/4e/be2~~aff~~8~~902~~6~~219b9b530f~~c8~~38c~~7~~a5168b94735~~.debug	1	usr/lib/debug/.build-id/7a/2b6d8d1e968746289e26c82e17e7ac4c105bad.debug


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············00000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············00000114·000114·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············00000114·000114·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········00000138·000138·001900·04···A··3···0··4	6	··[·2]·.gnu.hash·········NOBITS··········00000138·000138·001900·04···A··3···0··4
7	··[·3]·.dynsym···········NOBITS··········00001a38·000138·004b30·10···A··4···3··4	7	··[·3]·.dynsym···········NOBITS··········00001a38·000138·004b30·10···A··4···3··4
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.dynamic··········NOBITS··········0007c390·000380·000120·08··WA··4···0··4	25	··[20]·.dynamic··········NOBITS··········0007c390·000380·000120·08··WA··4···0··4
26	··[21]·.got··············NOBITS··········0007c4b0·000380·000b50·04··WA··0···0··4	26	··[21]·.got··············NOBITS··········0007c4b0·000380·000b50·04··WA··0···0··4
27	··[22]·.data·············NOBITS··········0007d000·000380·000004·00··WA··0···0··4	27	··[22]·.data·············NOBITS··········0007d000·000380·000004·00··WA··0···0··4
28	··[23]·.bss··············NOBITS··········0007d004·000380·000044·00··WA··0···0··4	28	··[23]·.bss··············NOBITS··········0007d004·000380·000044·00··WA··0···0··4
29	··[24]·.comment··········PROGBITS········00000000·000138·00001e·01··MS··0···0··1	29	··[24]·.comment··········PROGBITS········00000000·000138·00001e·01··MS··0···0··1
30	··[25]·.ARM.attributes···ARM_ATTRIBUTES··00000000·000156·000031·00······0···0··1	30	··[25]·.ARM.attributes···ARM_ATTRIBUTES··00000000·000156·000031·00······0···0··1
31	··[26]·.debug_aranges····PROGBITS········00000000·000188·000645·00···C··0···0··4	31	··[26]·.debug_aranges····PROGBITS········00000000·000188·000645·00···C··0···0··4
32	··[27]·.debug_info·······PROGBITS········00000000·0007d0·29ee05·00···C··0···0··4	32	··[27]·.debug_info·······PROGBITS········00000000·0007d0·29ee65·00···C··0···0··4
33	··[28]·.debug_abbrev·····PROGBITS········00000000·29f5d8·00642d·00···C··0···0··4	33	··[28]·.debug_abbrev·····PROGBITS········00000000·29f638·00642d·00···C··0···0··4
34	··[29]·.debug_line·······PROGBITS········00000000·2a5a08·034ac1·00···C··0···0··4	34	··[29]·.debug_line·······PROGBITS········00000000·2a5a68·034ac1·00···C··0···0··4
35	··[30]·.debug_frame······PROGBITS········00000000·2da4cc·002427·00···C··0···0··4	35	··[30]·.debug_frame······PROGBITS········00000000·2da52c·002427·00···C··0···0··4
36	··[31]·.debug_str········PROGBITS········00000000·2dc8f4·05aa53·01·MSC··0···0··4	36	··[31]·.debug_str········PROGBITS········00000000·2dc954·05aa54·01·MSC··0···0··4
37	··[32]·.debug_loclists···PROGBITS········00000000·337348·076ba4·00···C··0···0··4	37	··[32]·.debug_loclists···PROGBITS········00000000·3373a8·076ba4·00···C··0···0··4
38	··[33]·.debug_macro······PROGBITS········00000000·3adeec·00c974·00···C··0···0··4	38	··[33]·.debug_macro······PROGBITS········00000000·3adf4c·00c972·00···C··0···0··4
39	··[34]·.debug_rnglists···PROGBITS········00000000·3ba860·01c30f·00···C··0···0··4	39	··[34]·.debug_rnglists···PROGBITS········00000000·3ba8c0·01c30f·00···C··0···0··4
40	··[35]·.symtab···········SYMTAB··········00000000·3d6b70·010df0·10·····36·3119··4	40	··[35]·.symtab···········SYMTAB··········00000000·3d6bd0·010df0·10·····36·3119··4
41	··[36]·.strtab···········STRTAB··········00000000·3e7960·01c52d·00······0···0··1	41	··[36]·.strtab···········STRTAB··········00000000·3e79c0·01c52d·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········00000000·403e8d·000181·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········00000000·403eed·000181·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),·y·(purecode),·p·(processor·specific)	47	··D·(mbind),·y·(purecode),·p·(processor·specific)


Offset 8, 23 lines modified		Offset 8, 23 lines modified
8	···Pointer·Size:··4	8	···Pointer·Size:··4
9	·<0><c>:·Abbrev·Number:·45·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·45·(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····:·(strp)·(offset:·0x11d749):·./obj-arm-linux-gnueabihf/src/parser	11	····<11>···DW_AT_comp_dir····:·(strp)·(offset:·0x11d749):·./obj-arm-linux-gnueabihf/src/parser
12	·<1><15>:·Abbrev·Number:·116·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·116·(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)·7» (unsigned)	14	····<17>···DW_AT_encoding····:·(data1)·7» (unsigned)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa5cb8):·long·long·unsigned·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa5cb6):·long·long·unsigned·int
16	·<1><1c>:·Abbrev·Number:·116·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·116·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·4	17	····<1d>···DW_AT_byte_size···:·(data1)·4
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x40f7f):·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x40f99):·unsigned·int
20	·<1><23>:·Abbrev·Number:·116·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·116·(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:·0xa2cda):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xa2cd8):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·106·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·106·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·4	25	····<2b>···DW_AT_byte_size···:·(data1)·4
26	····<2c>···DW_AT_encoding····:·(data1)·5» (signed)	26	····<2c>···DW_AT_encoding····:·(data1)·5» (signed)
27	····<2d>···DW_AT_name········:·(string)·int	27	····<2d>···DW_AT_name········:·(string)·int
28	·<1><31>:·Abbrev·Number:·97·(DW_TAG_typedef)	28	·<1><31>:·Abbrev·Number:·97·(DW_TAG_typedef)
29	····<32>···DW_AT_name········:·(strp)·(offset:·0x136827):·size_t	29	····<32>···DW_AT_name········:·(strp)·(offset:·0x136827):·size_t
30	····<36>···DW_AT_decl_file···:·(data1)·46	30	····<36>···DW_AT_decl_file···:·(data1)·46
Offset 34, 59 lines modified		Offset 34, 59 lines modified
34	·<1><3a>:·Abbrev·Number:·116·(DW_TAG_base_type)	34	·<1><3a>:·Abbrev·Number:·116·(DW_TAG_base_type)
35	····<3b>···DW_AT_byte_size···:·(data1)·8	35	····<3b>···DW_AT_byte_size···:·(data1)·8
36	····<3c>···DW_AT_encoding····:·(data1)·5» (signed)	36	····<3c>···DW_AT_encoding····:·(data1)·5» (signed)
37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x8ee0):·long·long·int	37	····<3d>···DW_AT_name········:·(strp)·(offset:·0x8ee0):·long·long·int
38	·<1><41>:·Abbrev·Number:·116·(DW_TAG_base_type)	38	·<1><41>:·Abbrev·Number:·116·(DW_TAG_base_type)
39	····<42>···DW_AT_byte_size···:·(data1)·8	39	····<42>···DW_AT_byte_size···:·(data1)·8
40	····<43>···DW_AT_encoding····:·(data1)·4» (float)	40	····<43>···DW_AT_encoding····:·(data1)·4» (float)
41	····<44>···DW_AT_name········:·(strp)·(offset:·0x9a608):·long·double	41	····<44>···DW_AT_name········:·(strp)·(offset:·0x9a606):·long·double
42	·<1><48>:·Abbrev·Number:·124·(DW_TAG_unspecified_type)	42	·<1><48>:·Abbrev·Number:·124·(DW_TAG_unspecified_type)
43	····<49>···DW_AT_name········:·(strp)·(offset:·0x34734):·decltype(nullptr)	43	····<49>···DW_AT_name········:·(strp)·(offset:·0x34734):·decltype(nullptr)
44	·<1><4d>:·Abbrev·Number:·116·(DW_TAG_base_type)	44	·<1><4d>:·Abbrev·Number:·116·(DW_TAG_base_type)
45	····<4e>···DW_AT_byte_size···:·(data1)·2	45	····<4e>···DW_AT_byte_size···:·(data1)·2
46	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)	46	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)
47	····<50>···DW_AT_name········:·(strp)·(offset:·0x5a916):·short·unsigned·int	47	····<50>···DW_AT_name········:·(strp)·(offset:·0x5a930):·short·unsigned·int
48	·<1><54>:·Abbrev·Number:·116·(DW_TAG_base_type)	48	·<1><54>:·Abbrev·Number:·116·(DW_TAG_base_type)
49	····<55>···DW_AT_byte_size···:·(data1)·4	49	····<55>···DW_AT_byte_size···:·(data1)·4
50	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)	50	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)
51	····<57>···DW_AT_name········:·(strp)·(offset:·0xa5cbd):·long·unsigned·int	51	····<57>···DW_AT_name········:·(strp)·(offset:·0xa5cbb):·long·unsigned·int
52	·<1><5b>:·Abbrev·Number:·116·(DW_TAG_base_type)	52	·<1><5b>:·Abbrev·Number:·116·(DW_TAG_base_type)
53	····<5c>···DW_AT_byte_size···:·(data1)·1	53	····<5c>···DW_AT_byte_size···:·(data1)·1
54	····<5d>···DW_AT_encoding····:·(data1)·6» (signed·char)	54	····<5d>···DW_AT_encoding····:·(data1)·6» (signed·char)
55	····<5e>···DW_AT_name········:·(strp)·(offset:·0x11700c):·signed·char	55	····<5e>···DW_AT_name········:·(strp)·(offset:·0x11700c):·signed·char
56	·<1><62>:·Abbrev·Number:·116·(DW_TAG_base_type)	56	·<1><62>:·Abbrev·Number:·116·(DW_TAG_base_type)
57	····<63>···DW_AT_byte_size···:·(data1)·2	57	····<63>···DW_AT_byte_size···:·(data1)·2
58	····<64>···DW_AT_encoding····:·(data1)·5» (signed)	58	····<64>···DW_AT_encoding····:·(data1)·5» (signed)
59	····<65>···DW_AT_name········:·(strp)·(offset:·0x4a~~eed~~):·short·int	59	····<65>···DW_AT_name········:·(strp)·(offset:·0x4af07):·short·int
60	·<1><69>:·Abbrev·Number:·97·(DW_TAG_typedef)	60	·<1><69>:·Abbrev·Number:·97·(DW_TAG_typedef)
61	····<6a>···DW_AT_name········:·(strp)·(offset:·0x9bc6a):·__int32_t	61	····<6a>···DW_AT_name········:·(strp)·(offset:·0x9bc68):·__int32_t
62	····<6e>···DW_AT_decl_file···:·(data1)·47	62	····<6e>···DW_AT_decl_file···:·(data1)·47
63	····<6f>···DW_AT_decl_line···:·(data1)·41	63	····<6f>···DW_AT_decl_line···:·(data1)·41
64	····<70>···DW_AT_decl_column·:·(data1)·20	64	····<70>···DW_AT_decl_column·:·(data1)·20
65	····<71>···DW_AT_type········:·(ref_udata)·<0x2a>,·int	65	····<71>···DW_AT_type········:·(ref_udata)·<0x2a>,·int
66	·<1><72>:·Abbrev·Number:·30·(DW_TAG_const_type)	66	·<1><72>:·Abbrev·Number:·30·(DW_TAG_const_type)
67	····<73>···DW_AT_type········:·(ref_udata)·<0x69>,·__int32_t,·int	67	····<73>···DW_AT_type········:·(ref_udata)·<0x69>,·__int32_t,·int
68	·<1><74>:·Abbrev·Number:·97·(DW_TAG_typedef)	68	·<1><74>:·Abbrev·Number:·97·(DW_TAG_typedef)
69	····<75>···DW_AT_name········:·(strp)·(offset:·0x6861d):·__int64_t	69	····<75>···DW_AT_name········:·(strp)·(offset:·0x68637):·__int64_t
70	····<79>···DW_AT_decl_file···:·(data1)·47	70	····<79>···DW_AT_decl_file···:·(data1)·47
71	····<7a>···DW_AT_decl_line···:·(data1)·47	71	····<7a>···DW_AT_decl_line···:·(data1)·47
72	····<7b>···DW_AT_decl_column·:·(data1)·44	72	····<7b>···DW_AT_decl_column·:·(data1)·44
73	····<7c>···DW_AT_type········:·(ref_udata)·<0x3a>,·long·long·int	73	····<7c>···DW_AT_type········:·(ref_udata)·<0x3a>,·long·long·int
74	·<1><7d>:·Abbrev·Number:·97·(DW_TAG_typedef)	74	·<1><7d>:·Abbrev·Number:·97·(DW_TAG_typedef)
75	····<7e>···DW_AT_name········:·(strp)·(offset:·0xa819e):·__off_t	75	····<7e>···DW_AT_name········:·(strp)·(offset:·0xa819c):·__off_t
76	····<82>···DW_AT_decl_file···:·(data1)·47	76	····<82>···DW_AT_decl_file···:·(data1)·47
77	····<83>···DW_AT_decl_line···:·(data1)·152	77	····<83>···DW_AT_decl_line···:·(data1)·152
78	····<84>···DW_AT_decl_column·:·(data1)·25	78	····<84>···DW_AT_decl_column·:·(data1)·25
79	····<85>···DW_AT_type········:·(ref_udata)·<0x87>,·long·int	79	····<85>···DW_AT_type········:·(ref_udata)·<0x87>,·long·int
80	·<1><87>:·Abbrev·Number:·116·(DW_TAG_base_type)	80	·<1><87>:·Abbrev·Number:·116·(DW_TAG_base_type)
81	····<88>···DW_AT_byte_size···:·(data1)·4	81	····<88>···DW_AT_byte_size···:·(data1)·4
82	····<89>···DW_AT_encoding····:·(data1)·5» (signed)	82	····<89>···DW_AT_encoding····:·(data1)·5» (signed)
83	····<8a>···DW_AT_name········:·(strp)·(offset:·0x144661):·long·int	83	····<8a>···DW_AT_name········:·(strp)·(offset:·0x144661):·long·int
84	·<1><8e>:·Abbrev·Number:·97·(DW_TAG_typedef)	84	·<1><8e>:·Abbrev·Number:·97·(DW_TAG_typedef)
85	····<8f>···DW_AT_name········:·(strp)·(offset:·0xa5f65):·__off64_t	85	····<8f>···DW_AT_name········:·(strp)·(offset:·0xa5f63):·__off64_t
86	····<93>···DW_AT_decl_file···:·(data1)·47	86	····<93>···DW_AT_decl_file···:·(data1)·47
87	····<94>···DW_AT_decl_line···:·(data1)·153	87	····<94>···DW_AT_decl_line···:·(data1)·153
88	····<95>···DW_AT_decl_column·:·(data1)·27	88	····<95>···DW_AT_decl_column·:·(data1)·27
89	····<96>···DW_AT_type········:·(ref_udata)·<0x74>,·__int64_t,·long·long·int	89	····<96>···DW_AT_type········:·(ref_udata)·<0x74>,·__int64_t,·long·long·int
90	·<1><97>:·Abbrev·Number:·108·(DW_TAG_pointer_type)	90	·<1><97>:·Abbrev·Number:·108·(DW_TAG_pointer_type)
91	····<98>···DW_AT_byte_size···:·(data1)·4	91	····<98>···DW_AT_byte_size···:·(data1)·4
92	·<1><99>:·Abbrev·Number:·1·(DW_TAG_pointer_type)	92	·<1><99>:·Abbrev·Number:·1·(DW_TAG_pointer_type)
Offset 490, 15 lines modified		Offset 490, 15 lines modified
490	····<28b>···DW_AT_import······:·(ref_udata)·<0xd85>» [Abbrev·Number:·111·(DW_TAG_subprogram)]	490	····<28b>···DW_AT_import······:·(ref_udata)·<0xd85>» [Abbrev·Number:·111·(DW_TAG_subprogram)]
491	·<2><28d>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)	491	·<2><28d>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)
492	····<28e>···DW_AT_decl_file···:·(data1)·59	492	····<28e>···DW_AT_decl_file···:·(data1)·59
493	····<28f>···DW_AT_decl_line···:·(data1)·55	493	····<28f>···DW_AT_decl_line···:·(data1)·55
494	····<290>···DW_AT_decl_column·:·(data1)·11	494	····<290>···DW_AT_decl_column·:·(data1)·11
495	····<291>···DW_AT_import······:·(ref_udata)·<0xd97>» [Abbrev·Number:·120·(DW_TAG_subprogram)]	495	····<291>···DW_AT_import······:·(ref_udata)·<0xd97>» [Abbrev·Number:·120·(DW_TAG_subprogram)]
496	·<2><293>:·Abbrev·Number:·74·(DW_TAG_typedef)	496	·<2><293>:·Abbrev·Number:·74·(DW_TAG_typedef)
497	····<294>···DW_AT_name········:·(strp)·(offset:·0x4cf39):·ptrdiff_t	497	····<294>···DW_AT_name········:·(strp)·(offset:·0x4cf53):·ptrdiff_t
498	····<298>···DW_AT_decl_file···:·(data1)·54	498	····<298>···DW_AT_decl_file···:·(data1)·54
499	····<299>···DW_AT_decl_line···:·(data2)·311	499	····<299>···DW_AT_decl_line···:·(data2)·311
500	····<29b>···DW_AT_decl_column·:·(data1)·28	500	····<29b>···DW_AT_decl_column·:·(data1)·28
501	····<29c>···DW_AT_type········:·(ref_udata)·<0x2a>,·int	501	····<29c>···DW_AT_type········:·(ref_udata)·<0x2a>,·int
502	·<2><29d>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)	502	·<2><29d>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)
503	····<29e>···DW_AT_decl_file···:·(data1)·64	503	····<29e>···DW_AT_decl_file···:·(data1)·64
504	····<29f>···DW_AT_decl_line···:·(data1)·131	504	····<29f>···DW_AT_decl_line···:·(data1)·131
Offset 826, 34 lines modified		Offset 826, 34 lines modified
826	····<422>···DW_AT_import······:·(ref_udata)·<0x12c9>» [Abbrev·Number:·111·(DW_TAG_subprogram)]	826	····<422>···DW_AT_import······:·(ref_udata)·<0x12c9>» [Abbrev·Number:·111·(DW_TAG_subprogram)]
827	·<2><424>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)	827	·<2><424>:·Abbrev·Number:·126·(DW_TAG_imported_declaration)
828	····<425>···DW_AT_decl_file···:·(data1)·71	828	····<425>···DW_AT_decl_file···:·(data1)·71
829	····<426>···DW_AT_decl_line···:·(data1)·105	829	····<426>···DW_AT_decl_line···:·(data1)·105
830	····<427>···DW_AT_decl_column·:·(data1)·11	830	····<427>···DW_AT_decl_column·:·(data1)·11
831	····<428>···DW_AT_import······:·(ref_udata)·<0x12d9>» [Abbrev·Number:·111·(DW_TAG_subprogram)]	831	····<428>···DW_AT_import······:·(ref_udata)·<0x12d9>» [Abbrev·Number:·111·(DW_TAG_subprogram)]
832	·<2><42a>:·Abbrev·Number:·62·(DW_TAG_namespace)	832	·<2><42a>:·Abbrev·Number:·62·(DW_TAG_namespace)
833	····<42b>···DW_AT_name········:·(strp)·(offset:·0x96a4b):·__detail	833	····<42b>···DW_AT_name········:·(strp)·(offset:·0x96a49):·__detail
834	·<3><42f>:·Abbrev·Number:·114·(DW_TAG_variable)	834	·<3><42f>:·Abbrev·Number:·114·(DW_TAG_variable)
835	····<430>···DW_AT_name········:·(strp)·(offset:·0x123222):·__integer_to_chars_is_unsigned	835	····<430>···DW_AT_name········:·(strp)·(offset:·0x123222):·__integer_to_chars_is_unsigned
836	····<434>···DW_AT_decl_file···:·(implicit_const)·75	836	····<434>···DW_AT_decl_file···:·(implicit_const)·75
837	····<434>···DW_AT_decl_line···:·(implicit_const)·48	837	····<434>···DW_AT_decl_line···:·(implicit_const)·48
838	····<434>···DW_AT_decl_column·:·(implicit_const)·20	838	····<434>···DW_AT_decl_column·:·(implicit_const)·20
839	····<434>···DW_AT_type········:·(ref_udata)·<0xc60>,·bool	839	····<434>···DW_AT_type········:·(ref_udata)·<0xc60>,·bool
840	····<436>···DW_AT_declaration·:·(flag_present)·1	840	····<436>···DW_AT_declaration·:·(flag_present)·1
841	····<436>···DW_AT_const_value·:·(implicit_const)·1	841	····<436>···DW_AT_const_value·:·(implicit_const)·1
842	····<436>···DW_AT_const_expr··:·(flag_present)·1	842	····<436>···DW_AT_const_expr··:·(flag_present)·1
843	·<3><436>:·Abbrev·Number:·0	843	·<3><436>:·Abbrev·Number:·0
844	·<2><437>:·Abbrev·Number:·0	844	·<2><437>:·Abbrev·Number:·0
845	·<1><438>:·Abbrev·Number:·97·(DW_TAG_typedef)	845	·<1><438>:·Abbrev·Number:·97·(DW_TAG_typedef)
846	····<439>···DW_AT_name········:·(strp)·(offset:·0x3d~~ee8~~):·__gnuc_va_list	846	····<439>···DW_AT_name········:·(strp)·(offset:·0x3df02):·__gnuc_va_list
847	····<43d>···DW_AT_decl_file···:·(data1)·92	847	····<43d>···DW_AT_decl_file···:·(data1)·92
848	····<43e>···DW_AT_decl_line···:·(data1)·40	848	····<43e>···DW_AT_decl_line···:·(data1)·40
849	····<43f>···DW_AT_decl_column·:·(data1)·27	849	····<43f>···DW_AT_decl_column·:·(data1)·27
850	····<440>···DW_AT_type········:·(ref_udata)·<0x442>,·__va_list	850	····<440>···DW_AT_type········:·(ref_udata)·<0x442>,·__va_list
851	·<1><442>:·Abbrev·Number:·105·(DW_TAG_structure_type)	851	·<1><442>:·Abbrev·Number:·105·(DW_TAG_structure_type)
852	····<443>···DW_AT_name········:·(strp)·(offset:·0x75ea8):·__va_list	852	····<443>···DW_AT_name········:·(strp)·(offset:·0x75ec2):·__va_list
Max diff block lines reached; 59316415/59324295 bytes (99.99%) of diff not shown.


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

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

1844	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1844	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1845	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1845	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 47815, 16 lines modified		Offset 47815, 16 lines modified
47815	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	47815	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
47816	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	47816	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
47817	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	47817	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
47818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1	47818	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1
47819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64	47819	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64
47820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64	47820	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64
47821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	47821	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
47822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	47822	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
47823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	47823	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

47824	··Offset:······················0x3e836	47824	··Offset:······················0x3e836
47825	··Version:·····················5	47825	··Version:·····················5
47826	··Offset·size:·················4	47826	··Offset·size:·················4

47827	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	47827	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
47828	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	47828	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·14.2.0-8)·14.2.0
+d-tid}Q"pk0
+D51haM#
+R9UIK7U
+"1`\`0,2
+kw[·j3w6
+J!nA]zwc
+f,-0-3yC
+gn\-D]» a
+!DbsS["~
+Nan!GV·G
+#/Ljl85\h
+\5VyYXEx
+?SbX5J?
+VD(KeS/Y$
+[|)#8Tc?
+(3lB4Xea
+E$3"r(a/J
+`h?;'wg%
+vDC4|N>w0
+A[H[ej>c
+`+i'7rl:?]
+!-MsCAUJP
+]XMf4L*-
+I>)O8·h~L;.%
+<\gA^ND}
+F;zMsM7f
+`'.'XcK|~jE
+ugX[/=-·:Qi
+Lg»     <~3<s
+,i1I30cm
+GKHw»   /[E.
+Iv_+hn@}
+rCP(n8E[
+Zwz·G»   dMK
+@;2@[d$
+}_Dv\AAA
+P@pAT@PpW
+qzD=/Tp(
+:Qh'2ok7
+»       ]?+CfaX
+mS!!p/Y*S
+,9ig9->H
+k\AD#lma
+qE_#%bV:
+[z$Ya@W2
+"xi49/y]&A
+>(~!I^(X*g9
+e]\@f+O%y!
+&;.$)b9w};
+o'm~A,]l@v/
+NOA&IL+#^
+f·,/[CK8.i
+=W-7nh;ykX;
+o7KwCWSt7
+"Iksn4?Rk
+BTl5E!(D
+RB\]E» q
+IXrN;·mzK
+lX|w:C4|z35|
+WS`!}e~5
+*:R#}u@_
+c52N]Hd<
+*mW:T<k%l
+K2F=%2zNU
+C·9I(_J(
+Wiw)'Q/+
+HEAb4L15t*
+Z|n,K;o,s2=
+;9nkM{Ses
+S`<o0.'+
+qW4FEPQP
+uU67Zw6ZMH
+=,7U'qu1
+_EXJ)?E>x
+Wb2t+1+@
+|6^7w>77
+WA92wMVAof
+=V\yKYqM
+O^'+%f97v'
+'LdA`T~?
+P4E3B4E3>^(
+Rrvrc;{bP
+T4V4jlQc
+K,TmcJ^a1e",]a
+M<&j-[eU&
+:Twc=aiZ~
+{|4n35_}Cg"
+]38ilp4N
+!yM=1A~s
+u)Hz=C^c
+){_CD1{|
+CXvcDjR_@
+d&0ry"e4
+Z4u2Y5SE
+Rd.Fb^Nb=3G
+^V]WeoO
+-p#cv)*'
+-fqvozt[
+=Q._P|a
++O:aBubtB
+»       &bK[;*~
+uME'»   <1\:
+P»      *Gn|e%JZNE
+Gf5GhM`L
+[2GVVS82|
+Gr;PepL"S
+K&Y=+3tr
++f=<·1et
+J'<MItS+
+ZD(SeS.[$
+i{m/9nz`r
+]d^·LQ^zQ
+N<o{~uz&3G+
+@f0H,»  dU
+s.!u.+"6
+sEix[fY@s)
+dc1[\yye(
+`}AX/9B}
+=F,ijbL41
+tD(mvQT1
+Ogx"_?/>
+PB^1l*6U
+TCKaj)H'2M
+nSaq9,+
+\P&;ahY
+u~d.4`(-?


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/9d/2d4~~f6cd0fd3~~3~~f67397e~~6~~21b~~f6~~5e7~~5~~abf94a~~f49.debug	1	usr/lib/debug/.build-id/a3/44bda91a234414bf86e6df63045de3cf07f48b.debug


Offset 3, 40 lines modified		Offset 3, 40 lines modified
3	··Compilation·Unit·@·offset·0:	3	··Compilation·Unit·@·offset·0:
4	···Length:········0x270cd6·(32-bit)	4	···Length:········0x270cd6·(32-bit)
5	···Version:·······5	5	···Version:·······5
6	···Unit·Type:·····DW_UT_compile·(1)	6	···Unit·Type:·····DW_UT_compile·(1)
7	···Abbrev·Offset:·0	7	···Abbrev·Offset:·0
8	···Pointer·Size:··4	8	···Pointer·Size:··4
9	·<0><c>:·Abbrev·Number:·331·(DW_TAG_compile_unit)	9	·<0><c>:·Abbrev·Number:·331·(DW_TAG_compile_unit)
10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x44145):·GNU·C++17·14.2.0·-mfloat-abi=hard·-mtls-dialect=gnu·-mthumb·-march=armv7-a+fp·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fno-extern-tls-init·-fPIC·-fvisibility=default	10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x44124):·GNU·C++17·14.2.0·-mfloat-abi=hard·-mtls-dialect=gnu·-mthumb·-march=armv7-a+fp·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fno-extern-tls-init·-fPIC·-fvisibility=default
11	····<12>···DW_AT_language····:·(data1)·33» (C++14)	11	····<12>···DW_AT_language····:·(data1)·33» (C++14)
12	····<13>···DW_AT_name········:·(strp)·(offset:·0xd115):·./obj-arm-linux-gnueabihf/src/api/python/cvc5_python_base.cxx	12	····<13>···DW_AT_name········:·(strp)·(offset:·0xd115):·./obj-arm-linux-gnueabihf/src/api/python/cvc5_python_base.cxx
13	····<17>···DW_AT_comp_dir····:·(strp)·(offset:·0x71ba6):·./obj-arm-linux-gnueabihf/src/api/python	13	····<17>···DW_AT_comp_dir····:·(strp)·(offset:·0x71b85):·./obj-arm-linux-gnueabihf/src/api/python
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x40b30	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x40b30
15	····<1f>···DW_AT_low_pc······:·(addr)·0	15	····<1f>···DW_AT_low_pc······:·(addr)·0
16	····<23>···DW_AT_stmt_list···:·(sec_offset)·0	16	····<23>···DW_AT_stmt_list···:·(sec_offset)·0
17	····<27>···DW_AT_macros······:·(sec_offset)·0	17	····<27>···DW_AT_macros······:·(sec_offset)·0
18	·<1><2b>:·Abbrev·Number:·1·(DW_TAG_base_type)	18	·<1><2b>:·Abbrev·Number:·1·(DW_TAG_base_type)
19	····<2c>···DW_AT_byte_size···:·(data1)·8	19	····<2c>···DW_AT_byte_size···:·(data1)·8
20	····<2d>···DW_AT_encoding····:·(data1)·7» (unsigned)	20	····<2d>···DW_AT_encoding····:·(data1)·7» (unsigned)
21	····<2e>···DW_AT_name········:·(strp)·(offset:·0xa9b9e):·long·long·unsigned·int	21	····<2e>···DW_AT_name········:·(strp)·(offset:·0xa9b57):·long·long·unsigned·int
22	·<1><32>:·Abbrev·Number:·1·(DW_TAG_base_type)	22	·<1><32>:·Abbrev·Number:·1·(DW_TAG_base_type)
23	····<33>···DW_AT_byte_size···:·(data1)·4	23	····<33>···DW_AT_byte_size···:·(data1)·4
24	····<34>···DW_AT_encoding····:·(data1)·7» (unsigned)	24	····<34>···DW_AT_encoding····:·(data1)·7» (unsigned)
25	····<35>···DW_AT_name········:·(strp)·(offset:·0x9ce65):·unsigned·int	25	····<35>···DW_AT_name········:·(strp)·(offset:·0x9ce1e):·unsigned·int
26	·<1><39>:·Abbrev·Number:·1·(DW_TAG_base_type)	26	·<1><39>:·Abbrev·Number:·1·(DW_TAG_base_type)
27	····<3a>···DW_AT_byte_size···:·(data1)·8	27	····<3a>···DW_AT_byte_size···:·(data1)·8
28	····<3b>···DW_AT_encoding····:·(data1)·4» (float)	28	····<3b>···DW_AT_encoding····:·(data1)·4» (float)
29	····<3c>···DW_AT_name········:·(strp)·(offset:·0x73774):·double	29	····<3c>···DW_AT_name········:·(strp)·(offset:·0x73753):·double
30	·<1><40>:·Abbrev·Number:·1·(DW_TAG_base_type)	30	·<1><40>:·Abbrev·Number:·1·(DW_TAG_base_type)
31	····<41>···DW_AT_byte_size···:·(data1)·1	31	····<41>···DW_AT_byte_size···:·(data1)·1
32	····<42>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	32	····<42>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
33	····<43>···DW_AT_name········:·(strp)·(offset:·0x7ea93):·unsigned·char	33	····<43>···DW_AT_name········:·(strp)·(offset:·0x7eaad):·unsigned·char
34	·<1><47>:·Abbrev·Number:·59·(DW_TAG_typedef)	34	·<1><47>:·Abbrev·Number:·59·(DW_TAG_typedef)
35	····<48>···DW_AT_name········:·(strp)·(offset:·0x91e83):·size_t	35	····<48>···DW_AT_name········:·(strp)·(offset:·0x91e3c):·size_t
36	····<4c>···DW_AT_decl_file···:·(data1)·53	36	····<4c>···DW_AT_decl_file···:·(data1)·53
37	····<4d>···DW_AT_decl_line···:·(data1)·214	37	····<4d>···DW_AT_decl_line···:·(data1)·214
38	····<4e>···DW_AT_decl_column·:·(data1)·23	38	····<4e>···DW_AT_decl_column·:·(data1)·23
39	····<4f>···DW_AT_type········:·(ref_udata)·<0x32>,·unsigned·int	39	····<4f>···DW_AT_type········:·(ref_udata)·<0x32>,·unsigned·int
40	·<1><50>:·Abbrev·Number:·22·(DW_TAG_const_type)	40	·<1><50>:·Abbrev·Number:·22·(DW_TAG_const_type)
41	····<51>···DW_AT_type········:·(ref_udata)·<0x47>,·size_t,·unsigned·int	41	····<51>···DW_AT_type········:·(ref_udata)·<0x47>,·size_t,·unsigned·int
42	·<1><52>:·Abbrev·Number:·22·(DW_TAG_const_type)	42	·<1><52>:·Abbrev·Number:·22·(DW_TAG_const_type)
Offset 45, 15 lines modified		Offset 45, 15 lines modified
45	····<56>···DW_AT_byte_size···:·(data1)·8	45	····<56>···DW_AT_byte_size···:·(data1)·8
46	····<57>···DW_AT_decl_file···:·(data1)·54	46	····<57>···DW_AT_decl_file···:·(data1)·54
47	····<58>···DW_AT_decl_line···:·(data1)·60	47	····<58>···DW_AT_decl_line···:·(data1)·60
48	····<59>···DW_AT_decl_column·:·(data1)·3	48	····<59>···DW_AT_decl_column·:·(data1)·3
49	····<5a>···DW_AT_linkage_name:·(strp)·(offset:·0x13906):·5div_t	49	····<5a>···DW_AT_linkage_name:·(strp)·(offset:·0x13906):·5div_t
50	····<5e>···DW_AT_sibling·····:·(ref_udata)·<0x75>	50	····<5e>···DW_AT_sibling·····:·(ref_udata)·<0x75>
51	·<2><5f>:·Abbrev·Number:·48·(DW_TAG_member)	51	·<2><5f>:·Abbrev·Number:·48·(DW_TAG_member)
52	····<60>···DW_AT_name········:·(strp)·(offset:·0x5ad72):·quot	52	····<60>···DW_AT_name········:·(strp)·(offset:·0x5ad51):·quot
53	····<64>···DW_AT_decl_file···:·(data1)·54	53	····<64>···DW_AT_decl_file···:·(data1)·54
54	····<65>···DW_AT_decl_line···:·(data1)·61	54	····<65>···DW_AT_decl_line···:·(data1)·61
55	····<66>···DW_AT_decl_column·:·(data1)·9	55	····<66>···DW_AT_decl_column·:·(data1)·9
56	····<67>···DW_AT_type········:·(ref_udata)·<0x75>,·int	56	····<67>···DW_AT_type········:·(ref_udata)·<0x75>,·int
57	····<68>···DW_AT_data_member_location:·(data1)·0	57	····<68>···DW_AT_data_member_location:·(data1)·0
58	·<2><69>:·Abbrev·Number:·184·(DW_TAG_member)	58	·<2><69>:·Abbrev·Number:·184·(DW_TAG_member)
59	····<6b>···DW_AT_name········:·(string)·rem	59	····<6b>···DW_AT_name········:·(string)·rem
Offset 79, 15 lines modified		Offset 79, 15 lines modified
79	····<8a>···DW_AT_byte_size···:·(data1)·8	79	····<8a>···DW_AT_byte_size···:·(data1)·8
80	····<8b>···DW_AT_decl_file···:·(data1)·54	80	····<8b>···DW_AT_decl_file···:·(data1)·54
81	····<8c>···DW_AT_decl_line···:·(data1)·68	81	····<8c>···DW_AT_decl_line···:·(data1)·68
82	····<8d>···DW_AT_decl_column·:·(data1)·3	82	····<8d>···DW_AT_decl_column·:·(data1)·3
83	····<8e>···DW_AT_linkage_name:·(strp)·(offset:·0x1facd):·6ldiv_t	83	····<8e>···DW_AT_linkage_name:·(strp)·(offset:·0x1facd):·6ldiv_t
84	····<92>···DW_AT_sibling·····:·(ref_udata)·<0xac>	84	····<92>···DW_AT_sibling·····:·(ref_udata)·<0xac>
85	·<2><94>:·Abbrev·Number:·48·(DW_TAG_member)	85	·<2><94>:·Abbrev·Number:·48·(DW_TAG_member)
86	····<95>···DW_AT_name········:·(strp)·(offset:·0x5ad72):·quot	86	····<95>···DW_AT_name········:·(strp)·(offset:·0x5ad51):·quot
87	····<99>···DW_AT_decl_file···:·(data1)·54	87	····<99>···DW_AT_decl_file···:·(data1)·54
88	····<9a>···DW_AT_decl_line···:·(data1)·69	88	····<9a>···DW_AT_decl_line···:·(data1)·69
89	····<9b>···DW_AT_decl_column·:·(data1)·14	89	····<9b>···DW_AT_decl_column·:·(data1)·14
90	····<9c>···DW_AT_type········:·(ref_udata)·<0xac>,·long·int	90	····<9c>···DW_AT_type········:·(ref_udata)·<0xac>,·long·int
91	····<9e>···DW_AT_data_member_location:·(data1)·0	91	····<9e>···DW_AT_data_member_location:·(data1)·0
92	·<2><9f>:·Abbrev·Number:·184·(DW_TAG_member)	92	·<2><9f>:·Abbrev·Number:·184·(DW_TAG_member)
93	····<a1>···DW_AT_name········:·(string)·rem	93	····<a1>···DW_AT_name········:·(string)·rem
Offset 111, 15 lines modified		Offset 111, 15 lines modified
111	····<bf>···DW_AT_byte_size···:·(data1)·16	111	····<bf>···DW_AT_byte_size···:·(data1)·16
112	····<c0>···DW_AT_decl_file···:·(data1)·54	112	····<c0>···DW_AT_decl_file···:·(data1)·54
113	····<c1>···DW_AT_decl_line···:·(data1)·78	113	····<c1>···DW_AT_decl_line···:·(data1)·78
114	····<c2>···DW_AT_decl_column·:·(data1)·3	114	····<c2>···DW_AT_decl_column·:·(data1)·3
115	····<c3>···DW_AT_linkage_name:·(strp)·(offset:·0x10705e):·7lldiv_t	115	····<c3>···DW_AT_linkage_name:·(strp)·(offset:·0x10705e):·7lldiv_t
116	····<c7>···DW_AT_sibling·····:·(ref_udata)·<0xe1>	116	····<c7>···DW_AT_sibling·····:·(ref_udata)·<0xe1>
117	·<2><c9>:·Abbrev·Number:·48·(DW_TAG_member)	117	·<2><c9>:·Abbrev·Number:·48·(DW_TAG_member)
118	····<ca>···DW_AT_name········:·(strp)·(offset:·0x5ad72):·quot	118	····<ca>···DW_AT_name········:·(strp)·(offset:·0x5ad51):·quot
119	····<ce>···DW_AT_decl_file···:·(data1)·54	119	····<ce>···DW_AT_decl_file···:·(data1)·54
120	····<cf>···DW_AT_decl_line···:·(data1)·79	120	····<cf>···DW_AT_decl_line···:·(data1)·79
121	····<d0>···DW_AT_decl_column·:·(data1)·19	121	····<d0>···DW_AT_decl_column·:·(data1)·19
122	····<d1>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int	122	····<d1>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int
123	····<d3>···DW_AT_data_member_location:·(data1)·0	123	····<d3>···DW_AT_data_member_location:·(data1)·0
124	·<2><d4>:·Abbrev·Number:·184·(DW_TAG_member)	124	·<2><d4>:·Abbrev·Number:·184·(DW_TAG_member)
125	····<d6>···DW_AT_name········:·(string)·rem	125	····<d6>···DW_AT_name········:·(string)·rem
Offset 128, 15 lines modified		Offset 128, 15 lines modified
128	····<dc>···DW_AT_decl_column·:·(data1)·19	128	····<dc>···DW_AT_decl_column·:·(data1)·19
129	····<dd>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int	129	····<dd>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int
130	····<df>···DW_AT_data_member_location:·(data1)·8	130	····<df>···DW_AT_data_member_location:·(data1)·8
131	·<2><e0>:·Abbrev·Number:·0	131	·<2><e0>:·Abbrev·Number:·0
132	·<1><e1>:·Abbrev·Number:·1·(DW_TAG_base_type)	132	·<1><e1>:·Abbrev·Number:·1·(DW_TAG_base_type)
133	····<e2>···DW_AT_byte_size···:·(data1)·8	133	····<e2>···DW_AT_byte_size···:·(data1)·8
134	····<e3>···DW_AT_encoding····:·(data1)·5» (signed)	134	····<e3>···DW_AT_encoding····:·(data1)·5» (signed)
135	····<e4>···DW_AT_name········:·(strp)·(offset:·0x9b68d):·long·long·int	135	····<e4>···DW_AT_name········:·(strp)·(offset:·0x9b646):·long·long·int
136	·<1><e8>:·Abbrev·Number:·22·(DW_TAG_const_type)	136	·<1><e8>:·Abbrev·Number:·22·(DW_TAG_const_type)
137	····<e9>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int	137	····<e9>···DW_AT_type········:·(ref_udata)·<0xe1>,·long·long·int
138	·<1><eb>:·Abbrev·Number:·59·(DW_TAG_typedef)	138	·<1><eb>:·Abbrev·Number:·59·(DW_TAG_typedef)
139	····<ec>···DW_AT_name········:·(strp)·(offset:·0x10705f):·lldiv_t	139	····<ec>···DW_AT_name········:·(strp)·(offset:·0x10705f):·lldiv_t
140	····<f0>···DW_AT_decl_file···:·(data1)·54	140	····<f0>···DW_AT_decl_file···:·(data1)·54
141	····<f1>···DW_AT_decl_line···:·(data1)·81	141	····<f1>···DW_AT_decl_line···:·(data1)·81
142	····<f2>···DW_AT_decl_column·:·(data1)·5	142	····<f2>···DW_AT_decl_column·:·(data1)·5
Offset 155, 35 lines modified		Offset 155, 35 lines modified
155	····<104>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	155	····<104>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
156	····<105>···DW_AT_name········:·(strp)·(offset:·0xdcc96):·char	156	····<105>···DW_AT_name········:·(strp)·(offset:·0xdcc96):·char
157	·<1><109>:·Abbrev·Number:·22·(DW_TAG_const_type)	157	·<1><109>:·Abbrev·Number:·22·(DW_TAG_const_type)
158	····<10a>···DW_AT_type········:·(ref_udata)·<0x102>,·char	158	····<10a>···DW_AT_type········:·(ref_udata)·<0x102>,·char
159	·<1><10c>:·Abbrev·Number:·1·(DW_TAG_base_type)	159	·<1><10c>:·Abbrev·Number:·1·(DW_TAG_base_type)
160	····<10d>···DW_AT_byte_size···:·(data1)·4	160	····<10d>···DW_AT_byte_size···:·(data1)·4
161	····<10e>···DW_AT_encoding····:·(data1)·7» (unsigned)	161	····<10e>···DW_AT_encoding····:·(data1)·7» (unsigned)
162	····<10f>···DW_AT_name········:·(strp)·(offset:·0xa9ba3):·long·unsigned·int	162	····<10f>···DW_AT_name········:·(strp)·(offset:·0xa9b5c):·long·unsigned·int
163	·<1><113>:·Abbrev·Number:·22·(DW_TAG_const_type)	163	·<1><113>:·Abbrev·Number:·22·(DW_TAG_const_type)
164	····<114>···DW_AT_type········:·(ref_udata)·<0x10c>,·long·unsigned·int	164	····<114>···DW_AT_type········:·(ref_udata)·<0x10c>,·long·unsigned·int
165	·<1><116>:·Abbrev·Number:·59·(DW_TAG_typedef)	165	·<1><116>:·Abbrev·Number:·59·(DW_TAG_typedef)
166	····<117>···DW_AT_name········:·(strp)·(offset:·0xba66f):·__int8_t	166	····<117>···DW_AT_name········:·(strp)·(offset:·0xba628):·__int8_t
167	····<11b>···DW_AT_decl_file···:·(data1)·55	167	····<11b>···DW_AT_decl_file···:·(data1)·55
168	····<11c>···DW_AT_decl_line···:·(data1)·37	168	····<11c>···DW_AT_decl_line···:·(data1)·37
169	····<11d>···DW_AT_decl_column·:·(data1)·21	169	····<11d>···DW_AT_decl_column·:·(data1)·21
170	····<11e>···DW_AT_type········:·(ref_udata)·<0x120>,·signed·char	170	····<11e>···DW_AT_type········:·(ref_udata)·<0x120>,·signed·char
171	·<1><120>:·Abbrev·Number:·1·(DW_TAG_base_type)	171	·<1><120>:·Abbrev·Number:·1·(DW_TAG_base_type)
172	····<121>···DW_AT_byte_size···:·(data1)·1	172	····<121>···DW_AT_byte_size···:·(data1)·1
173	····<122>···DW_AT_encoding····:·(data1)·6» (signed·char)	173	····<122>···DW_AT_encoding····:·(data1)·6» (signed·char)
174	····<123>···DW_AT_name········:·(strp)·(offset:·0xdcc8f):·signed·char	174	····<123>···DW_AT_name········:·(strp)·(offset:·0xdcc8f):·signed·char
175	·<1><127>:·Abbrev·Number:·59·(DW_TAG_typedef)	175	·<1><127>:·Abbrev·Number:·59·(DW_TAG_typedef)
176	····<128>···DW_AT_name········:·(strp)·(offset:·0xb3864):·__uint8_t	176	····<128>···DW_AT_name········:·(strp)·(offset:·0xb381d):·__uint8_t
Max diff block lines reached; 14682343/14690134 bytes (99.95%) of diff not shown.


Offset 5064, 16 lines modified		Offset 5064, 16 lines modified
5064	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5064	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5065	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5065	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5066	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5066	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5067	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1	5067	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_LARGEFILE_SOURCE·1
5068	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64	5068	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FILE_OFFSET_BITS·64
5069	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64	5069	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_TIME_BITS·64
5070	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5070	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5071	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	5071	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
5072	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	5072	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

5073	··Offset:······················0x7149	5073	··Offset:······················0x7149
5074	··Version:·····················5	5074	··Version:·····················5
5075	··Offset·size:·················4	5075	··Offset·size:·················4

5076	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	5076	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5077	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	5077	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1

+GCC:·(Debian·14.2.0-8)·14.2.0
+D[{?as};
+t5E4wYsV
+-}@%SW[!
+i#m,03~Y
+Z\a/0B2^
+HhH&7DFK0
+W[<FZ?Fr
+)&~!/»  "GdL)
+[U,\-I#
+m/%B])9#
+_SAOUc$$%
+>)~`gO%^
+#],S%%o{"h
+Y6)\u>FP
+`)I0+I2%k
+rJgD)SS:
+,LG:WO.»
+z<?[:Kt$<
+Uj»    5V(»
+a;#GD:X!
+)T8#mE60
+l{a~\"<GM
+Ye>bN5+Yn
+As#aQ!(T
+^)tU"{[
+J3:qwS&@
+»       n·y^QLM
+xJW4i)]#
+t;\)^5BN
+»       K1ap2<~
+M![Sfksx/%
+TP'`c9dB`2)
+.SP"`»  5d}
+[uvja]7[Y
+T:\L7kAm
+~,C+eX<u
+CP8${c#o
+uaRxD$y/
+/c.<Rk<~
+D"VVkQ/O
+·hAC;Yt's
+N#j/^AI_
+w5NvVSC|
+(LMsIGsiK
+M')l;Iil=
+Lw)X^1{F
+i`M]H$7T
+YY<~E7kY
+wQCt]mQ:
+·pOCbJem
+)Fofb|)s
+uD2WTK&B
+f"n·4.%0=
+:»      O+(·0N
+bSVDlOq/
+r6~t{a@>
+d/f*(OP-#
+S'/n+hA0h
+nX7)7z*~
+L/^|d\Y9V,
+Q]}H?I#OK
+|@}?XovtT
+{BW-$c;K
+'9=}VFSB
+;.u,)Pm
++VrlV:=+Q·i
+t]VxRzs2Ys
+d1h]=I:~.
+jZ[o-{Ko
+"*#F·$"l
+EMn+sUqM
+·r:+G,D|
+N0»     Yt!@^md
+B?{\VRU"COX<e
+t|"Y{{gn
+ibW{Yc/S
+L`$|aH`u
+C/C}Hjs{
+:bx?Z=?_
+"""*""""""
+*7k,@5y"
+o1@3yx}34
+a7y[Ca7A%
+gqB|e65
++^9»    O(hAw
+FUCA]&&7
+Q%vD1ZA;
+lq+rG-Ng
+'9P*>2?qu
+g"0r}26Ga
+~)2i,&Ul^
+D}?ZkqtT
+o!r,+bX#
+Ys/3>=.d
+]1Ws$Xo|
+w7Sebb;u
+:Zf·b{RblAy\
+ke]-fWn(-
+XqYY[qYY[q
+EC&d%W[z
+)"*#^FX:
+|@JWfX?F
+sT6GC6P>
+XX»     K,aJT»v
+'a{&VwVm
+fL,;P-» T
+:bx)Zm,S
+{q2GS_Ju
+/Ni;sas{
+[b}!F)JQ
+ULWeO"_b~
+ODDDDDDDDDTDDDB
+frd;G{» *
+bSG·BMpS
+iSG·BMpS
+elXdSG·BMpS
+l0lSoxOR
+?Zjup"h`
+oSG·BMpS
+el^mSG·BMpS
+kSG·BMpS
+_}!mF.Pl
+Ps(lV%(6X6
+iWmJhS"m
+"""""""!"
+Ccy{|,oo