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

⊟

80.6 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.78 KB

cvc5_1.1.2-3_amd64.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

⊟

2.2 KB

data.tar.xz ¶

⊟

2.18 KB

data.tar ¶

⊟

2.16 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

821 B

readelf --wide --notes {} ¶

⊟

438 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

⊟

35.3 KB

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

⊟

34.8 KB

data.tar.xz ¶

⊟

34.7 KB

data.tar ¶

⊟

34.7 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

11.4 KB

readelf --wide --relocs {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

745 B

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

Ordering differences only

⊟

10.0 KB

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

⊟

2.63 KB

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

⊟

4.91 KB

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

⊟

3.69 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.91 KB

libcvc5parser1_1.1.2-3_amd64.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.36 KB

./usr/lib/x86_64-linux-gnu/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

⊟

2.07 KB

python3-cvc5_1.1.2-3_amd64.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.48 KB

data.tar.xz ¶

⊟

1.45 KB

data.tar ¶

⊟

1.44 KB

./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-x86_64-linux-gnu.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

⊟

2.46 KB

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

⊟

1.41 KB

data.tar.xz ¶

⊟

1.39 KB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

31.7 MB

libcvc5-1-dbgsym_1.1.2-3_amd64.deb ¶

⊟

369 B

file list ¶

⊟

802 B

control.tar.xz ¶

⊟

774 B

control.tar ¶

⊟

526 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

31.7 MB

data.tar.xz ¶

⊟

31.7 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

31.7 MB

./usr/lib/debug/.build-id/35/9df554ce3cd9f0af739df4adfba42b126a8717.debug vs.

./usr/lib/debug/.build-id/8a/b6a79b25fdce7d6a2c3fe31a5fdc6768dd449e.debug ¶

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

⊟

887 B

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

⊟

3.52 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

30.8 MB

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

⊟

3.5 KB

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

⊟

697 B

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

⊟

651 KB

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

⊟

217 KB

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

⊟

36.8 MB

libcvc5parser1-dbgsym_1.1.2-3_amd64.deb ¶

⊟

452 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

36.8 MB

data.tar.xz ¶

⊟

36.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

36.8 MB

./usr/lib/debug/.build-id/ed/1a2b8b006f0bbee1ec6e4ab2ddb4b69e93546d.debug vs.

./usr/lib/debug/.build-id/34/1ab03a3ecd94f1452987eee95b3c78928d0ba2.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

35.8 MB

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

⊟

1.99 KB

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

⊟

15.0 KB

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

⊟

1000 KB

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

⊟

12.1 MB

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

⊟

12.1 MB

data.tar.xz ¶

⊟

12.1 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

12.1 MB

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

./usr/lib/debug/.build-id/40/f15da9bbfb52ddd1588132c633069764222598.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

11.0 MB

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

⊟

1.04 KB

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

⊟

7.96 KB

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

⊟

1.09 MB

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

+·1bba8555caca8dfd27ba8a2cc66f61ea·1967800·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·dee2577aab39519d564c37bfa9439d62·110408·math·optional·cvc5_1.1.2-3_amd64.deb
+·883cc2b3e37cf71f1caec17e84074e5e·180254228·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·d7b30ef43b10e3cc2d1c762bea9cf2c1·1968056·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·a73a7e09ed044f695c42fd511bd197be·110404·math·optional·cvc5_1.1.2-3_amd64.deb
+·0a42037d9810ff824dd92160a410e7ac·180253828·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·5afe8b059d3326eb7181d97f938f9689·6748180·libs·optional·libcvc5-1_1.1.2-3_amd64.deb
+·e65c5a9b14e36e22a503f64f1850a3a7·93084·libdevel·optional·libcvc5-dev_1.1.2-3_amd64.deb
+·b161bdf771995e5453646417737991b6·4086696·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·415dd1fe44dc5fefdec069cd16cfe217·237984·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·09eba732c3ae72e21d074a8134c8ddec·2649912·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·c35274047f24e82ec26d339ed33ac195·4086368·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·63d53186f269962ade93cce668e4b1fd·237792·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·d14704b3d828d9a49fa0b9d9fbfa0ef6·2649740·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·7d147b879b9b65f527790e715ac568ff·342268·python·optional·python3-cvc5_1.1.2-3_amd64.deb


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


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

1	Displaying·notes·found·in:·.note.gnu.property	1	Displaying·notes·found·in:·.note.gnu.property
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline	3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline

4	Displaying·notes·found·in:·.note.gnu.build-id	4	Displaying·notes·found·in:·.note.gnu.build-id
5	··Owner················Data·size·» Description	5	··Owner················Data·size·» Description
6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·3c29c906acaa75b~~9339278d~~f34d1~~6a941795890~~c	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·dbc80ae97b8bbd8261f9edc21be71feab4f3fc46

7	Displaying·notes·found·in:·.note.ABI-tag	7	Displaying·notes·found·in:·.note.ABI-tag
8	··Owner················Data·size·» Description	8	··Owner················Data·size·» Description
9	··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0	9	··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	/lib64/ld-linux-x86-64.so.2	1	F/lib64/ld-linux-x86-64.so.2
2	t<{~_d&'<oq\|s	2	t<{~_d&'<oq\|s
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·32396339·30366163·61613735·62393333·29c906acaa75b933
3	··0x00000010·39323~~738~~·6~~466~~3~~334~~·~~643136~~61·39343137·~~9278df34d16a9417~~	2	··0x00000000·63383061·65393762·38626264·38323631·c80ae97b8bbd8261
		3	··0x00000010·66396564·63323162·65373166·65616234·f9edc21be71feab4
4	··0x00000020·393~~53839~~·3~~063~~2e64·65627567·00000000·~~95890c~~.debug....	4	··0x00000020·66336663·34362e64·65627567·00000000·f3fc46.debug....
5	··0x00000030·~~f10e7~~606····························..v.	5	··0x00000030·5989c6dc····························Y...


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:·359df554ce3cd9f0af73~~9df4~~adfb~~a42b126a8717~~	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·8ab6a79b25fdce7d6a2c3fe31a5fdc6768dd449e


Offset 25517, 16 lines modified		Offset 25517, 16 lines modified
25517	proof-granularity	25517	proof-granularity
25518	proof-mode	25518	proof-mode
25519	proof-pedantic	25519	proof-pedantic
25520	proof-rewrite-rcons-rec-limit	25520	proof-rewrite-rcons-rec-limit
25521	prop-row-length	25521	prop-row-length
25522	quant-dsplit	25522	quant-dsplit
25523	quant-rep-mode	25523	quant-rep-mode
25524	random-freq
25525	random-frequency	25524	random-frequency
		25525	random-freq
25526	re-inter-mode	25526	re-inter-mode
25527	replay-early-close-depth	25527	replay-early-close-depth
25528	replay-lemma-reject-cut	25528	replay-lemma-reject-cut
25529	replay-num-err-penalty	25529	replay-num-err-penalty
25530	replay-reject-cut	25530	replay-reject-cut
25531	restart-int-base	25531	restart-int-base
25532	restart-int-inc	25532	restart-int-inc
Offset 25582, 16 lines modified		Offset 25582, 16 lines modified
25582	trigger-active-sel	25582	trigger-active-sel
25583	trigger-sel	25583	trigger-sel
25584	uf-ss-abort-card	25584	uf-ss-abort-card
25585	unate-lemmas	25585	unate-lemmas
25586	unsat-cores-mode	25586	unsat-cores-mode
25587	user-pat	25587	user-pat
25588	user-pool	25588	user-pool
25589	partitions-out
25590	write-partitions-to	25589	write-partitions-to
		25590	partitions-out
25591	·[options]·[input-file]	25591	·[options]·[input-file]
25592	cvc5·options:	25592	cvc5·options:
25593	+:iL:o:qt:vhHs:Vm	25593	+:iL:o:qt:vhHs:Vm
25594	can't·understand·option·`	25594	can't·understand·option·`
25595	no-arith-brab	25595	no-arith-brab
25596	no-arith-eq-solver	25596	no-arith-eq-solver
25597	no-arith-no-partial-fun	25597	no-arith-no-partial-fun


Offset 660132, 21 lines modified		Offset 660132, 21 lines modified
660132	» lea····0x1bf0(%rsp),%rdi	660132	» lea····0x1bf0(%rsp),%rdi
660133	» lea····0x1314b66(%rip),%rsi········	660133	» lea····0x1314b66(%rip),%rsi········
660134	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660134	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660135	» movl···$0xaf,0x1be8(%rsp)	660135	» movl···$0xaf,0x1be8(%rsp)
660136	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660136	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660137	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660137	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660138	» lea····0x1c18(%rsp),%rdi	660138	» lea····0x1c18(%rsp),%rdi
660139	» lea····0x1314~~c8f~~(%rip),%rsi········	660139	» lea····0x1314b55(%rip),%rsi········
660140	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660140	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660141	» movl···$0xb0,0x1c10(%rsp)	660141	» movl···$0xb0,0x1c10(%rsp)
660142	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660142	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660143	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660143	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660144	» lea····0x1c40(%rsp),%rdi	660144	» lea····0x1c40(%rsp),%rdi
660145	» lea····0x1314~~b36~~(%rip),%rsi········	660145	» lea····0x1314c70(%rip),%rsi········
660146	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660146	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660147	» movl···$0xb1,0x1c38(%rsp)	660147	» movl···$0xb1,0x1c38(%rsp)
660148	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660148	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660149	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660149	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660150	» lea····0x1c68(%rsp),%rdi	660150	» lea····0x1c68(%rsp),%rdi
660151	» lea····0x13164ab(%rip),%rsi········	660151	» lea····0x13164ab(%rip),%rsi········
660152	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660152	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660468, 33 lines modified		Offset 660468, 33 lines modified
660468	» lea····0x24b0(%rsp),%rdi	660468	» lea····0x24b0(%rsp),%rdi
660469	» lea····0x13090ef(%rip),%rsi········	660469	» lea····0x13090ef(%rip),%rsi········
660470	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660470	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660471	» movl···$0xe6,0x24a8(%rsp)	660471	» movl···$0xe6,0x24a8(%rsp)
660472	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660472	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660473	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660473	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660474	» lea····0x24d8(%rsp),%rdi	660474	» lea····0x24d8(%rsp),%rdi
660475	» lea····0x1314c57(%rip),%rsi········	660475	» lea····0x1314c6b(%rip),%rsi········
660476	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660476	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660477	» movl···$0xe7,0x24d0(%rsp)	660477	» movl···$0xe7,0x24d0(%rsp)
660478	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660478	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660479	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660479	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660480	» lea····0x2500(%rsp),%rdi	660480	» lea····0x2500(%rsp),%rdi
660481	» lea····0x131459a(%rip),%rsi········	660481	» lea····0x131459a(%rip),%rsi········
660482	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660482	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660483	» movl···$0xe7,0x24f8(%rsp)	660483	» movl···$0xe7,0x24f8(%rsp)
660484	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660484	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660485	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660485	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660486	» lea····0x2528(%rsp),%rdi	660486	» lea····0x2528(%rsp),%rdi
660487	» lea····0x13~~14582~~(%rip),%rsi········	660487	» lea····0x130d3eb(%rip),%rsi········
660488	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660488	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660489	» movl···$0xe8,0x2520(%rsp)	660489	» movl···$0xe8,0x2520(%rsp)
660490	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660490	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660491	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660491	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660492	» lea····0x2550(%rsp),%rdi	660492	» lea····0x2550(%rsp),%rdi
660493	» lea····0x13~~0d3cc~~(%rip),%rsi········	660493	» lea····0x1314563(%rip),%rsi········
660494	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660494	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660495	» movl···$0xe9,0x2548(%rsp)	660495	» movl···$0xe9,0x2548(%rsp)
660496	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660496	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660497	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660497	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660498	» lea····0x2578(%rsp),%rdi	660498	» lea····0x2578(%rsp),%rdi
660499	» lea····0x1314f68(%rip),%rsi········	660499	» lea····0x1314f68(%rip),%rsi········
660500	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660500	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660504, 21 lines modified		Offset 660504, 21 lines modified
660504	» lea····0x25a0(%rsp),%rdi	660504	» lea····0x25a0(%rsp),%rdi
660505	» lea····0x13158a0(%rip),%rsi········	660505	» lea····0x13158a0(%rip),%rsi········
660506	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660506	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660507	» movl···$0xea,0x2598(%rsp)	660507	» movl···$0xea,0x2598(%rsp)
660508	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660508	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660509	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660509	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660510	» lea····0x25c8(%rsp),%rdi	660510	» lea····0x25c8(%rsp),%rdi
660511	» lea····0x13~~14512~~(%rip),%rsi········	660511	» lea····0x130b707(%rip),%rsi········
660512	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660512	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660513	» movl···$0xeb,0x25c0(%rsp)	660513	» movl···$0xeb,0x25c0(%rsp)
660514	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660514	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660515	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660515	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660516	» lea····0x25f0(%rsp),%rdi	660516	» lea····0x25f0(%rsp),%rdi
660517	» lea····0x13~~0b6e8~~(%rip),%rsi········	660517	» lea····0x13144f3(%rip),%rsi········
660518	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660518	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660519	» movl···$0xec,0x25e8(%rsp)	660519	» movl···$0xec,0x25e8(%rsp)
660520	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660520	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660521	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660521	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660522	» lea····0x2618(%rsp),%rdi	660522	» lea····0x2618(%rsp),%rdi
660523	» lea····0x13144e4(%rip),%rsi········	660523	» lea····0x13144e4(%rip),%rsi········
660524	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660524	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660528, 21 lines modified		Offset 660528, 21 lines modified
660528	» lea····0x2640(%rsp),%rdi	660528	» lea····0x2640(%rsp),%rdi
660529	» lea····0x13144dd(%rip),%rsi········	660529	» lea····0x13144dd(%rip),%rsi········
660530	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660530	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660531	» movl···$0xed,0x2638(%rsp)	660531	» movl···$0xed,0x2638(%rsp)
660532	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660532	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660533	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660533	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660534	» lea····0x2668(%rsp),%rdi	660534	» lea····0x2668(%rsp),%rdi
660535	» lea····0x13144d3(%rip),%rsi········	660535	» lea····0x1314153(%rip),%rsi········
660536	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660536	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660537	» movl···$0xee,0x2660(%rsp)	660537	» movl···$0xee,0x2660(%rsp)
660538	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660538	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660539	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660539	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660540	» lea····0x2690(%rsp),%rdi	660540	» lea····0x2690(%rsp),%rdi
660541	» lea····0x1314134(%rip),%rsi········	660541	» lea····0x13144b4(%rip),%rsi········
660542	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660542	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660543	» movl···$0xef,0x2688(%rsp)	660543	» movl···$0xef,0x2688(%rsp)
660544	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660544	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660545	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660545	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660546	» lea····0x26b8(%rsp),%rdi	660546	» lea····0x26b8(%rsp),%rdi
660547	» lea····0x13144a8(%rip),%rsi········	660547	» lea····0x13144a8(%rip),%rsi········
660548	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660548	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660660, 21 lines modified		Offset 660660, 21 lines modified
660660	» lea····0x29b0(%rsp),%rdi	660660	» lea····0x29b0(%rsp),%rdi
660661	» lea····0x1315acd(%rip),%rsi········	660661	» lea····0x1315acd(%rip),%rsi········
660662	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660662	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660663	» movl···$0x102,0x29a8(%rsp)	660663	» movl···$0x102,0x29a8(%rsp)
660664	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660664	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660665	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660665	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660666	» lea····0x29d8(%rsp),%rdi	660666	» lea····0x29d8(%rsp),%rdi
660667	» lea····0x1315ac1(%rip),%rsi········	660667	» lea····0x1315ad7(%rip),%rsi········
660668	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660668	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660669	» movl···$0x103,0x29d0(%rsp)	660669	» movl···$0x103,0x29d0(%rsp)
660670	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660670	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660671	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660671	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660672	» lea····0x2a00(%rsp),%rdi	660672	» lea····0x2a00(%rsp),%rdi
660673	» lea····0x1315ab8(%rip),%rsi········	660673	» lea····0x1315aa2(%rip),%rsi········
660674	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660674	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660675	» movl···$0x104,0x29f8(%rsp)	660675	» movl···$0x104,0x29f8(%rsp)
660676	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660676	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660677	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>	660677	» call···1447ca0·<cvc5::internal::Options::Options()@@Base+0x1290>
660678	» lea····0x2a28(%rsp),%rdi	660678	» lea····0x2a28(%rsp),%rdi
660679	» lea····0x1315aad(%rip),%rsi········	660679	» lea····0x1315aad(%rip),%rsi········
660680	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660680	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660864, 15 lines modified		Offset 660864, 15 lines modified
660864	» lea····0x2f00(%rsp),%rdi	660864	» lea····0x2f00(%rsp),%rdi
660865	» lea····0x1313f79(%rip),%rsi········	660865	» lea····0x1313f79(%rip),%rsi········
660866	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660866	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660867	» movl···$0x123,0x2ef8(%rsp)	660867	» movl···$0x123,0x2ef8(%rsp)
660868	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660868	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
Max diff block lines reached; 3880/10094 bytes (38.44%) of diff not shown.


Offset 22571, 16 lines modified		Offset 22571, 16 lines modified
22571	··0x015f0280·6772616e·756c6172·69747900·70726f6f·granularity.proo	22571	··0x015f0280·6772616e·756c6172·69747900·70726f6f·granularity.proo
22572	··0x015f0290·662d6d6f·64650070·726f6f66·2d706564·f-mode.proof-ped	22572	··0x015f0290·662d6d6f·64650070·726f6f66·2d706564·f-mode.proof-ped
22573	··0x015f02a0·616e7469·63007072·6f6f662d·72657772·antic.proof-rewr	22573	··0x015f02a0·616e7469·63007072·6f6f662d·72657772·antic.proof-rewr
22574	··0x015f02b0·6974652d·72636f6e·732d7265·632d6c69·ite-rcons-rec-li	22574	··0x015f02b0·6974652d·72636f6e·732d7265·632d6c69·ite-rcons-rec-li
22575	··0x015f02c0·6d697400·70726f70·2d726f77·2d6c656e·mit.prop-row-len	22575	··0x015f02c0·6d697400·70726f70·2d726f77·2d6c656e·mit.prop-row-len
22576	··0x015f02d0·67746800·7175616e·742d6473·706c6974·gth.quant-dsplit	22576	··0x015f02d0·67746800·7175616e·742d6473·706c6974·gth.quant-dsplit
22577	··0x015f02e0·00717561·6e742d72·65702d6d·6f646500·.quant-rep-mode.	22577	··0x015f02e0·00717561·6e742d72·65702d6d·6f646500·.quant-rep-mode.
22578	··0x015f02f0·72616e64·6f6d2d66·72657100·72616~~e64~~·random-freq~~.rand~~	22578	··0x015f02f0·72616e64·6f6d2d66·72657175·656e6379·random-frequency
22579	··0x015f0300·~~6f6d2d~~66·726~~57175~~·6~~56e~~6379·0072652d·om-freq~~uency~~.re-	22579	··0x015f0300·0072616e·646f6d2d·66726571·0072652d·.random-freq.re-
22580	··0x015f0310·656c696d·0072652d·696e7465·722d6d6f·elim.re-inter-mo	22580	··0x015f0310·656c696d·0072652d·696e7465·722d6d6f·elim.re-inter-mo
22581	··0x015f0320·64650072·65706c61·792d6561·726c792d·de.replay-early-	22581	··0x015f0320·64650072·65706c61·792d6561·726c792d·de.replay-early-
22582	··0x015f0330·636c6f73·652d6465·70746800·7265706c·close-depth.repl	22582	··0x015f0330·636c6f73·652d6465·70746800·7265706c·close-depth.repl
22583	··0x015f0340·61792d6c·656d6d61·2d72656a·6563742d·ay-lemma-reject-	22583	··0x015f0340·61792d6c·656d6d61·2d72656a·6563742d·ay-lemma-reject-
22584	··0x015f0350·63757400·7265706c·61792d6e·756d2d65·cut.replay-num-e	22584	··0x015f0350·63757400·7265706c·61792d6e·756d2d65·cut.replay-num-e
22585	··0x015f0360·72722d70·656e616c·74790072·65706c61·rr-penalty.repla	22585	··0x015f0360·72722d70·656e616c·74790072·65706c61·rr-penalty.repla
22586	··0x015f0370·792d7265·6a656374·2d637574·00726573·y-reject-cut.res	22586	··0x015f0370·792d7265·6a656374·2d637574·00726573·y-reject-cut.res
Offset 22650, 17 lines modified		Offset 22650, 17 lines modified
22650	··0x015f0770·72616365·00747269·67676572·2d616374·race.trigger-act	22650	··0x015f0770·72616365·00747269·67676572·2d616374·race.trigger-act
22651	··0x015f0780·6976652d·73656c00·74726967·6765722d·ive-sel.trigger-	22651	··0x015f0780·6976652d·73656c00·74726967·6765722d·ive-sel.trigger-
22652	··0x015f0790·73656c00·75662d73·73007566·2d73732d·sel.uf-ss.uf-ss-	22652	··0x015f0790·73656c00·75662d73·73007566·2d73732d·sel.uf-ss.uf-ss-
22653	··0x015f07a0·61626f72·742d6361·72640075·6e617465·abort-card.unate	22653	··0x015f07a0·61626f72·742d6361·72640075·6e617465·abort-card.unate
22654	··0x015f07b0·2d6c656d·6d617300·756e7361·742d636f·-lemmas.unsat-co	22654	··0x015f07b0·2d6c656d·6d617300·756e7361·742d636f·-lemmas.unsat-co
22655	··0x015f07c0·7265732d·6d6f6465·00757365·722d7061·res-mode.user-pa	22655	··0x015f07c0·7265732d·6d6f6465·00757365·722d7061·res-mode.user-pa
22656	··0x015f07d0·74007573·65722d70·6f6f6c00·76657262·t.user-pool.verb	22656	··0x015f07d0·74007573·65722d70·6f6f6c00·76657262·t.user-pool.verb
22657	··0x015f07e0·6f736500·70617274·6974696f·6e732d6f·ose.partitions-o
22658	··0x015f07f0·7~~574~~0077·72697465·2d706172·7469746~~9·ut~~.write-partiti	22657	··0x015f07e0·6f736500·77726974·652d7061·72746974·ose.write-partit
		22658	··0x015f07f0·696f6e73·2d746f00·70617274·6974696f·ions-to.partitio
22659	··0x015f0800·6f6e732d·7~~46f~~0075·73616765·3a200020·ons-to.usage:·.·	22659	··0x015f0800·6e732d6f·75740075·73616765·3a200020·ns-out.usage:·.·
22660	··0x015f0810·5b6f7074·696f6e73·5d205b69·6e707574·[options]·[input	22660	··0x015f0810·5b6f7074·696f6e73·5d205b69·6e707574·[options]·[input
22661	··0x015f0820·2d66696c·655d0063·76633520·6f707469·-file].cvc5·opti	22661	··0x015f0820·2d66696c·655d0063·76633520·6f707469·-file].cvc5·opti
22662	··0x015f0830·6f6e733a·002b3a69·4c3a6f3a·71743a76·ons:.+:iL:o:qt:v	22662	··0x015f0830·6f6e733a·002b3a69·4c3a6f3a·71743a76·ons:.+:iL:o:qt:v
22663	··0x015f0840·6848733a·566d0063·616e2774·20756e64·hHs:Vm.can't·und	22663	··0x015f0840·6848733a·566d0063·616e2774·20756e64·hHs:Vm.can't·und
22664	··0x015f0850·65727374·616e6420·6f707469·6f6e2060·erstand·option·`	22664	··0x015f0850·65727374·616e6420·6f707469·6f6e2060·erstand·option·`
22665	··0x015f0860·006e6f2d·61726974·682d6272·6162006e·.no-arith-brab.n	22665	··0x015f0860·006e6f2d·61726974·682d6272·6162006e·.no-arith-brab.n
22666	··0x015f0870·6f2d6172·6974682d·65712d73·6f6c7665·o-arith-eq-solve	22666	··0x015f0870·6f2d6172·6974682d·65712d73·6f6c7665·o-arith-eq-solve


Offset 1933, 15 lines modified		Offset 1933, 15 lines modified
1933	··0x018a31c0·bb5f5e01·00000000·62f85e01·00000000·._^.....b.^.....	1933	··0x018a31c0·bb5f5e01·00000000·62f85e01·00000000·._^.....b.^.....
1934	··0x018a31d0·71f85e01·00000000·00000000·00000000·q.^.............	1934	··0x018a31d0·71f85e01·00000000·00000000·00000000·q.^.............
1935	··0x018a31e0·b8695e01·00000000·2ce25e01·00000000·.i^.....,.^.....	1935	··0x018a31e0·b8695e01·00000000·2ce25e01·00000000·.i^.....,.^.....
1936	··0x018a31f0·25e25e01·00000000·00000000·00000000·%.^.............	1936	··0x018a31f0·25e25e01·00000000·00000000·00000000·%.^.............
1937	··0x018a3200·60f35e01·00000000·b55c5e01·00000000·`.^......\^.....	1937	··0x018a3200·60f35e01·00000000·b55c5e01·00000000·`.^......\^.....
1938	··0x018a3210·cf5c5e01·00000000·00000000·00000000·.\^.............	1938	··0x018a3210·cf5c5e01·00000000·00000000·00000000·.\^.............
1939	··0x018a3220·60f35e01·00000000·c4985e01·00000000·`.^.......^.....	1939	··0x018a3220·60f35e01·00000000·c4985e01·00000000·`.^.......^.....
1940	··0x018a3230·ef075f01·00000000·00000000·00000000·.._.............	1940	··0x018a3230·03085f01·00000000·00000000·00000000·.._.............
1941	··0x018a3240·39145f01·00000000·54f85e01·00000000·9._.....T.^.....	1941	··0x018a3240·39145f01·00000000·54f85e01·00000000·9._.....T.^.....
1942	··0x018a3250·46f85e01·00000000·00000000·00000000·F.^.............	1942	··0x018a3250·46f85e01·00000000·00000000·00000000·F.^.............
1943	··0x018a3260·22f85e01·00000000·2cf85e01·00000000·".^.....,.^.....	1943	··0x018a3260·22f85e01·00000000·2cf85e01·00000000·".^.....,.^.....
1944	··0x018a3270·35f85e01·00000000·06f75e01·00000000·5.^.......^.....	1944	··0x018a3270·35f85e01·00000000·06f75e01·00000000·5.^.......^.....
1945	··0x018a3280·b8695e01·00000000·16f85e01·00000000·.i^.......^.....	1945	··0x018a3280·b8695e01·00000000·16f85e01·00000000·.i^.......^.....
1946	··0x018a3290·1df85e01·00000000·00000000·00000000·..^.............	1946	··0x018a3290·1df85e01·00000000·00000000·00000000·..^.............
1947	··0x018a32a0·8df55e01·00000000·9cf55e01·00000000·..^.......^.....	1947	··0x018a32a0·8df55e01·00000000·9cf55e01·00000000·..^.......^.....
Offset 2178, 22 lines modified		Offset 2178, 22 lines modified
2178	··0x018a4110·d5095f01·00000000·e6095f01·00000000·.._......._.....	2178	··0x018a4110·d5095f01·00000000·e6095f01·00000000·.._......._.....
2179	··0x018a4120·f7095f01·00000000·090a5f01·00000000·.._......._.....	2179	··0x018a4120·f7095f01·00000000·090a5f01·00000000·.._......._.....
2180	··0x018a4130·19015f01·00000000·1e0a5f01·00000000·.._......._.....	2180	··0x018a4130·19015f01·00000000·1e0a5f01·00000000·.._......._.....
2181	··0x018a4140·330a5f01·00000000·450a5f01·00000000·3._.....E._.....	2181	··0x018a4140·330a5f01·00000000·450a5f01·00000000·3._.....E._.....
2182	··0x018a4150·620a5f01·00000000·2e015f01·00000000·b._......._.....	2182	··0x018a4150·620a5f01·00000000·2e015f01·00000000·b._......._.....
2183	··0x018a4160·6c0a5f01·00000000·fc195f01·00000000·l._......._.....	2183	··0x018a4160·6c0a5f01·00000000·fc195f01·00000000·l._......._.....
2184	··0x018a4170·35015f01·00000000·c8145f01·00000000·5._......._.....	2184	··0x018a4170·35015f01·00000000·c8145f01·00000000·5._......._.....
2185	··0x018a4180·ef075f01·00000000·51015f01·00000000·.._.....Q._.....	2185	··0x018a4180·03085f01·00000000·51015f01·00000000·.._.....Q._.....
2186	··0x018a4190·58015f01·00000000·c18f5e01·00000000·X._.......^.....	2186	··0x018a4190·58015f01·00000000·c18f5e01·00000000·X._.......^.....
2187	··0x018a41a0·7c0b5f01·00000000·d3145f01·00000000·\|._......._.....	2187	··0x018a41a0·7c0b5f01·00000000·d3145f01·00000000·\|._......._.....
2188	··0x018a41b0·21fe5e01·00000000·64015f01·00000000·!.^.....d._.....	2188	··0x018a41b0·21fe5e01·00000000·64015f01·00000000·!.^.....d._.....
2189	··0x018a41c0·74015f01·00000000·8c015f01·00000000·t._......._.....	2189	··0x018a41c0·74015f01·00000000·8c015f01·00000000·t._......._.....
2190	··0x018a41d0·a1015f01·00000000·b4015f01·00000000·.._......._.....	2190	··0x018a41d0·a1015f01·00000000·b4015f01·00000000·.._......._.....
2191	··0x018a41e0·cc015f01·00000000·dd015f01·00000000·.._......._.....	2191	··0x018a41e0·cc015f01·00000000·dd015f01·00000000·.._......._.....
2192	··0x018a41f0·e4075f01·00000000·840a5f01·00000000·.._......._.....	2192	··0x018a41f0·f8075f01·00000000·840a5f01·00000000·.._......._.....
2193	··0x018a4200·ec015f01·00000000·e7145f01·00000000·.._......._.....	2193	··0x018a4200·ec015f01·00000000·e7145f01·00000000·.._......._.....
2194	··0x018a4210·fc015f01·00000000·0b025f01·00000000·.._......._.....	2194	··0x018a4210·fc015f01·00000000·0b025f01·00000000·.._......._.....
2195	··0x018a4220·22025f01·00000000·f4145f01·00000000·"._......._.....	2195	··0x018a4220·22025f01·00000000·f4145f01·00000000·"._......._.....
2196	··0x018a4230·33025f01·00000000·0f155f01·00000000·3._......._.....	2196	··0x018a4230·33025f01·00000000·0f155f01·00000000·3._......._.....
2197	··0x018a4240·8a0b5f01·00000000·40025f01·00000000·.._.....@._.....	2197	··0x018a4240·8a0b5f01·00000000·40025f01·00000000·.._.....@._.....
2198	··0x018a4250·121a5f01·00000000·b80f5f01·00000000·.._......._.....	2198	··0x018a4250·121a5f01·00000000·b80f5f01·00000000·.._......._.....
2199	··0x018a4260·51025f01·00000000·24155f01·00000000·Q._.....$._.....	2199	··0x018a4260·51025f01·00000000·24155f01·00000000·Q._.....$._.....
Offset 2210, 15 lines modified		Offset 2210, 15 lines modified
2210	··0x018a4310·97025f01·00000000·37105f01·00000000·.._.....7._.....	2210	··0x018a4310·97025f01·00000000·37105f01·00000000·.._.....7._.....
2211	··0x018a4320·49105f01·00000000·63105f01·00000000·I._.....c._.....	2211	··0x018a4320·49105f01·00000000·63105f01·00000000·I._.....c._.....
2212	··0x018a4330·a6025f01·00000000·705e5c01·00000000·.._.....p^\.....	2212	··0x018a4330·a6025f01·00000000·705e5c01·00000000·.._.....p^\.....
2213	··0x018a4340·c4025f01·00000000·37155f01·00000000·.._.....7._.....	2213	··0x018a4340·c4025f01·00000000·37155f01·00000000·.._.....7._.....
2214	··0x018a4350·4a155f01·00000000·d4025f01·00000000·J._......._.....	2214	··0x018a4350·4a155f01·00000000·d4025f01·00000000·J._......._.....
2215	··0x018a4360·5f155f01·00000000·6f155f01·00000000·_._.....o._.....	2215	··0x018a4360·5f155f01·00000000·6f155f01·00000000·_._.....o._.....
2216	··0x018a4370·e1025f01·00000000·037e5e01·00000000·.._......~^.....	2216	··0x018a4370·e1025f01·00000000·037e5e01·00000000·.._......~^.....
2217	··0x018a4380·f0025f01·00000000·fc025f01·00000000·.._......._.....	2217	··0x018a4380·01035f01·00000000·f0025f01·00000000·.._......._.....
2218	··0x018a4390·d40e5f01·00000000·0d035f01·00000000·.._......._.....	2218	··0x018a4390·d40e5f01·00000000·0d035f01·00000000·.._......._.....
2219	··0x018a43a0·15035f01·00000000·7c155f01·00000000·.._.....\|._.....	2219	··0x018a43a0·15035f01·00000000·7c155f01·00000000·.._.....\|._.....
2220	··0x018a43b0·684c5e01·00000000·99155f01·00000000·hL^......._.....	2220	··0x018a43b0·684c5e01·00000000·99155f01·00000000·hL^......._.....
2221	··0x018a43c0·6f1d5f01·00000000·b0155f01·00000000·o._......._.....	2221	··0x018a43c0·6f1d5f01·00000000·b0155f01·00000000·o._......._.....
2222	··0x018a43d0·1c1b5f01·00000000·23035f01·00000000·.._.....#._.....	2222	··0x018a43d0·1c1b5f01·00000000·23035f01·00000000·.._.....#._.....
2223	··0x018a43e0·3c035f01·00000000·54035f01·00000000·<._.....T._.....	2223	··0x018a43e0·3c035f01·00000000·54035f01·00000000·<._.....T._.....
2224	··0x018a43f0·6b035f01·00000000·7f4c5e01·00000000·k._......L^.....	2224	··0x018a43f0·6b035f01·00000000·7f4c5e01·00000000·k._......L^.....
Offset 2300, 15 lines modified		Offset 2300, 15 lines modified
2300	··0x018a48b0·a21b5f01·00000000·b8075f01·00000000·.._......._.....	2300	··0x018a48b0·a21b5f01·00000000·b8075f01·00000000·.._......._.....
2301	··0x018a48c0·c00a5f01·00000000·ce0a5f01·00000000·.._......._.....	2301	··0x018a48c0·c00a5f01·00000000·ce0a5f01·00000000·.._......._.....
2302	··0x018a48d0·c30e5f01·00000000·df0a5f01·00000000·.._......._.....	2302	··0x018a48d0·c30e5f01·00000000·df0a5f01·00000000·.._......._.....
2303	··0x018a48e0·c9075f01·00000000·d2075f01·00000000·.._......._.....	2303	··0x018a48e0·c9075f01·00000000·d2075f01·00000000·.._......._.....
2304	··0x018a48f0·39185f01·00000000·4b185f01·00000000·9._.....K._.....	2304	··0x018a48f0·39185f01·00000000·4b185f01·00000000·9._.....K._.....
2305	··0x018a4900·dc075f01·00000000·bf315e01·00000000·.._......1^.....	2305	··0x018a4900·dc075f01·00000000·bf315e01·00000000·.._......1^.....
2306	··0x018a4910·64315e01·00000000·890d5f01·00000000·d1^......._.....	2306	··0x018a4910·64315e01·00000000·890d5f01·00000000·d1^......._.....
2307	··0x018a4920·f3075f01·00000000·00000000·00000000·.._.............	2307	··0x018a4920·e4075f01·00000000·00000000·00000000·.._.............
2308	··0x018a4930·68fe8a01·00000000·f0ee4e01·00000000·h.........N.....	2308	··0x018a4930·68fe8a01·00000000·f0ee4e01·00000000·h.........N.....
2309	··0x018a4940·b0ef4e01·00000000·00ed4e01·00000000·..N.......N.....	2309	··0x018a4940·b0ef4e01·00000000·00ed4e01·00000000·..N.......N.....
2310	··0x018a4950·40104f01·00000000·e0ec4e01·00000000·@.O.......N.....	2310	··0x018a4950·40104f01·00000000·e0ec4e01·00000000·@.O.......N.....
2311	··0x018a4960·d0f04e01·00000000·00000000·00000000·..N.............	2311	··0x018a4960·d0f04e01·00000000·00000000·00000000·..N.............
2312	··0x018a4970·98fe8a01·00000000·90f14e01·00000000·..........N.....	2312	··0x018a4970·98fe8a01·00000000·90f14e01·00000000·..........N.....
2313	··0x018a4980·20f74e01·00000000·10ed4e01·00000000··.N.......N.....	2313	··0x018a4980·20f74e01·00000000·10ed4e01·00000000··.N.......N.....
2314	··0x018a4990·70ed4e01·00000000·80024f01·00000000·p.N.......O.....	2314	··0x018a4990·70ed4e01·00000000·80024f01·00000000·p.N.......O.....


Offset 314, 15 lines modified		Offset 314, 15 lines modified
314	··0x018b5370·00000000·00000000·73010000·00000000·........s.......	314	··0x018b5370·00000000·00000000·73010000·00000000·........s.......
315	··0x018b5380·6a0b5f01·00000000·00000000·00000000·j._.............	315	··0x018b5380·6a0b5f01·00000000·00000000·00000000·j._.............
316	··0x018b5390·00000000·00000000·74010000·00000000·........t.......	316	··0x018b5390·00000000·00000000·74010000·00000000·........t.......
317	··0x018b53a0·5f015f01·00000000·01000000·00000000·_._.............	317	··0x018b53a0·5f015f01·00000000·01000000·00000000·_._.............
318	··0x018b53b0·00000000·00000000·75010000·00000000·........u.......	318	··0x018b53b0·00000000·00000000·75010000·00000000·........u.......
319	··0x018b53c0·25005f01·00000000·01000000·00000000·%._.............	319	··0x018b53c0·25005f01·00000000·01000000·00000000·%._.............
320	··0x018b53d0·00000000·00000000·76010000·00000000·........v.......	320	··0x018b53d0·00000000·00000000·76010000·00000000·........v.......
321	··0x018b53e0·ef075f01·00000000·01000000·00000000·.._.............	321	··0x018b53e0·03085f01·00000000·01000000·00000000·.._.............
322	··0x018b53f0·00000000·00000000·77010000·00000000·........w.......	322	··0x018b53f0·00000000·00000000·77010000·00000000·........w.......
323	··0x018b5400·684c5e01·00000000·01000000·00000000·hL^.............	323	··0x018b5400·684c5e01·00000000·01000000·00000000·hL^.............
324	··0x018b5410·00000000·00000000·78010000·00000000·........x.......	324	··0x018b5410·00000000·00000000·78010000·00000000·........x.......
325	··0x018b5420·51015f01·00000000·01000000·00000000·Q._.............	325	··0x018b5420·51015f01·00000000·01000000·00000000·Q._.............
326	··0x018b5430·00000000·00000000·79010000·00000000·........y.......	326	··0x018b5430·00000000·00000000·79010000·00000000·........y.......
327	··0x018b5440·7c0b5f01·00000000·00000000·00000000·\|._.............	327	··0x018b5440·7c0b5f01·00000000·00000000·00000000·\|._.............
328	··0x018b5450·00000000·00000000·7a010000·00000000·........z.......	328	··0x018b5450·00000000·00000000·7a010000·00000000·........z.......
Offset 616, 17 lines modified		Offset 616, 17 lines modified
616	··0x018b6650·00000000·00000000·0a020000·00000000·................	616	··0x018b6650·00000000·00000000·0a020000·00000000·................
617	··0x018b6660·dd015f01·00000000·01000000·00000000·.._.............	617	··0x018b6660·dd015f01·00000000·01000000·00000000·.._.............
618	··0x018b6670·00000000·00000000·0b020000·00000000·................	618	··0x018b6670·00000000·00000000·0b020000·00000000·................
619	··0x018b6680·d40e5f01·00000000·00000000·00000000·.._.............	619	··0x018b6680·d40e5f01·00000000·00000000·00000000·.._.............
620	··0x018b6690·00000000·00000000·0c020000·00000000·................	620	··0x018b6690·00000000·00000000·0c020000·00000000·................
621	··0x018b66a0·d10e5f01·00000000·00000000·00000000·.._.............	621	··0x018b66a0·d10e5f01·00000000·00000000·00000000·.._.............
622	··0x018b66b0·00000000·00000000·0d020000·00000000·................	622	··0x018b66b0·00000000·00000000·0d020000·00000000·................
623	··0x018b66c0·f3075f01·00000000·01000000·00000000·.._.............	623	··0x018b66c0·e4075f01·00000000·01000000·00000000·.._.............
624	··0x018b66d0·00000000·00000000·0e020000·00000000·................	624	··0x018b66d0·00000000·00000000·0e020000·00000000·................
625	··0x018b66e0·e4075f01·00000000·01000000·00000000·.._.............	625	··0x018b66e0·f8075f01·00000000·01000000·00000000·.._.............
626	··0x018b66f0·00000000·00000000·0f020000·00000000·................	626	··0x018b66f0·00000000·00000000·0f020000·00000000·................
627	··0x018b6700·eb0e5f01·00000000·00000000·00000000·.._.............	627	··0x018b6700·eb0e5f01·00000000·00000000·00000000·.._.............
628	··0x018b6710·00000000·00000000·10020000·00000000·................	628	··0x018b6710·00000000·00000000·10020000·00000000·................
629	··0x018b6720·e80e5f01·00000000·00000000·00000000·.._.............	629	··0x018b6720·e80e5f01·00000000·00000000·00000000·.._.............
630	··0x018b6730·00000000·00000000·11020000·00000000·................	630	··0x018b6730·00000000·00000000·11020000·00000000·................
631	··0x018b6740·7aff5e01·00000000·01000000·00000000·z.^.............	631	··0x018b6740·7aff5e01·00000000·01000000·00000000·z.^.............
632	··0x018b6750·00000000·00000000·12020000·00000000·................	632	··0x018b6750·00000000·00000000·12020000·00000000·................
Offset 736, 17 lines modified		Offset 736, 17 lines modified
736	··0x018b6dd0·00000000·00000000·46020000·00000000·........F.......	736	··0x018b6dd0·00000000·00000000·46020000·00000000·........F.......
737	··0x018b6de0·75105f01·00000000·00000000·00000000·u._.............	737	··0x018b6de0·75105f01·00000000·00000000·00000000·u._.............
738	··0x018b6df0·00000000·00000000·47020000·00000000·........G.......	738	··0x018b6df0·00000000·00000000·47020000·00000000·........G.......
739	··0x018b6e00·25845e01·00000000·01000000·00000000·%.^.............	739	··0x018b6e00·25845e01·00000000·01000000·00000000·%.^.............
740	··0x018b6e10·00000000·00000000·48020000·00000000·........H.......	740	··0x018b6e10·00000000·00000000·48020000·00000000·........H.......
741	··0x018b6e20·40025f01·00000000·01000000·00000000·@._.............	741	··0x018b6e20·40025f01·00000000·01000000·00000000·@._.............
742	··0x018b6e30·00000000·00000000·49020000·00000000·........I.......	742	··0x018b6e30·00000000·00000000·49020000·00000000·........I.......
743	··0x018b6e40·f0025f01·00000000·01000000·00000000·.._.............	743	··0x018b6e40·01035f01·00000000·01000000·00000000·.._.............
744	··0x018b6e50·00000000·00000000·4a020000·00000000·........J.......	744	··0x018b6e50·00000000·00000000·4a020000·00000000·........J.......
745	··0x018b6e60·fc025f01·00000000·01000000·00000000·.._.............	745	··0x018b6e60·f0025f01·00000000·01000000·00000000·.._.............
746	··0x018b6e70·00000000·00000000·4b020000·00000000·........K.......	746	··0x018b6e70·00000000·00000000·4b020000·00000000·........K.......
747	··0x018b6e80·7d035f01·00000000·01000000·00000000·}._.............	747	··0x018b6e80·7d035f01·00000000·01000000·00000000·}._.............
748	··0x018b6e90·00000000·00000000·4c020000·00000000·........L.......	748	··0x018b6e90·00000000·00000000·4c020000·00000000·........L.......
749	··0x018b6ea0·8e035f01·00000000·01000000·00000000·.._.............	749	··0x018b6ea0·8e035f01·00000000·01000000·00000000·.._.............
750	··0x018b6eb0·00000000·00000000·4d020000·00000000·........M.......	750	··0x018b6eb0·00000000·00000000·4d020000·00000000·........M.......
751	··0x018b6ec0·de035f01·00000000·01000000·00000000·.._.............	751	··0x018b6ec0·de035f01·00000000·01000000·00000000·.._.............
752	··0x018b6ed0·00000000·00000000·4e020000·00000000·........N.......	752	··0x018b6ed0·00000000·00000000·4e020000·00000000·........N.......


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·2178	7	Installed-Size:·2178
8	Depends:·cvc5·(=·1.1.2-3)	8	Depends:·cvc5·(=·1.1.2-3)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Description:·debug·symbols·for·cvc5	11	Description:·debug·symbols·for·cvc5
12	Build-Ids:·3c29c906acaa75b~~9339278d~~f34d1~~6a941795890~~c	12	Build-Ids:·dbc80ae97b8bbd8261f9edc21be71feab4f3fc46


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/3c/29c906acaa75b~~9339278d~~f34d1~~6a941795890~~c.debug	1	usr/lib/debug/.build-id/db/c80ae97b8bbd8261f9edc21be71feab4f3fc46.debug


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/3c/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/db/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2219448·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/3c/29c906acaa75b~~9339278d~~f34d1~~6a941795890~~c.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2219488·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/db/c80ae97b8bbd8261f9edc21be71feab4f3fc46.debug
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/
10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5	10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcvc5-1-dbgsym	1	Package:·libcvc5-1-dbgsym
2	Source:·cvc5	2	Source:·cvc5
3	Version:·1.1.2-3	3	Version:·1.1.2-3
4	Auto-Built-Package:·debug-symbols	4	Auto-Built-Package:·debug-symbols
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·179880	7	Installed-Size:·179879
8	Depends:·libcvc5-1·(=·1.1.2-3)	8	Depends:·libcvc5-1·(=·1.1.2-3)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5-1	12	Description:·debug·symbols·for·libcvc5-1
13	Build-Ids:·359df554ce3cd9f0af73~~9df4~~adfb~~a42b126a8717~~	13	Build-Ids:·8ab6a79b25fdce7d6a2c3fe31a5fdc6768dd449e


Offset 3809, 15 lines modified		Offset 3809, 15 lines modified
3809	00000000018a31e8··0000000000000008·R_X86_64_RELATIVE·························15ee22c	3809	00000000018a31e8··0000000000000008·R_X86_64_RELATIVE·························15ee22c
3810	00000000018a31f0··0000000000000008·R_X86_64_RELATIVE·························15ee225	3810	00000000018a31f0··0000000000000008·R_X86_64_RELATIVE·························15ee225
3811	00000000018a3200··0000000000000008·R_X86_64_RELATIVE·························15ef360	3811	00000000018a3200··0000000000000008·R_X86_64_RELATIVE·························15ef360
3812	00000000018a3208··0000000000000008·R_X86_64_RELATIVE·························15e5cb5	3812	00000000018a3208··0000000000000008·R_X86_64_RELATIVE·························15e5cb5
3813	00000000018a3210··0000000000000008·R_X86_64_RELATIVE·························15e5ccf	3813	00000000018a3210··0000000000000008·R_X86_64_RELATIVE·························15e5ccf
3814	00000000018a3220··0000000000000008·R_X86_64_RELATIVE·························15ef360	3814	00000000018a3220··0000000000000008·R_X86_64_RELATIVE·························15ef360
3815	00000000018a3228··0000000000000008·R_X86_64_RELATIVE·························15e98c4	3815	00000000018a3228··0000000000000008·R_X86_64_RELATIVE·························15e98c4
3816	00000000018a3230··0000000000000008·R_X86_64_RELATIVE·························15f0~~7ef~~	3816	00000000018a3230··0000000000000008·R_X86_64_RELATIVE·························15f0803
3817	00000000018a3240··0000000000000008·R_X86_64_RELATIVE·························15f1439	3817	00000000018a3240··0000000000000008·R_X86_64_RELATIVE·························15f1439
3818	00000000018a3248··0000000000000008·R_X86_64_RELATIVE·························15ef854	3818	00000000018a3248··0000000000000008·R_X86_64_RELATIVE·························15ef854
3819	00000000018a3250··0000000000000008·R_X86_64_RELATIVE·························15ef846	3819	00000000018a3250··0000000000000008·R_X86_64_RELATIVE·························15ef846
3820	00000000018a3260··0000000000000008·R_X86_64_RELATIVE·························15ef822	3820	00000000018a3260··0000000000000008·R_X86_64_RELATIVE·························15ef822
3821	00000000018a3268··0000000000000008·R_X86_64_RELATIVE·························15ef82c	3821	00000000018a3268··0000000000000008·R_X86_64_RELATIVE·························15ef82c
3822	00000000018a3270··0000000000000008·R_X86_64_RELATIVE·························15ef835	3822	00000000018a3270··0000000000000008·R_X86_64_RELATIVE·························15ef835
3823	00000000018a3278··0000000000000008·R_X86_64_RELATIVE·························15ef706	3823	00000000018a3278··0000000000000008·R_X86_64_RELATIVE·························15ef706
Offset 4240, 29 lines modified		Offset 4240, 29 lines modified
4240	00000000018a4148··0000000000000008·R_X86_64_RELATIVE·························15f0a45	4240	00000000018a4148··0000000000000008·R_X86_64_RELATIVE·························15f0a45
4241	00000000018a4150··0000000000000008·R_X86_64_RELATIVE·························15f0a62	4241	00000000018a4150··0000000000000008·R_X86_64_RELATIVE·························15f0a62
4242	00000000018a4158··0000000000000008·R_X86_64_RELATIVE·························15f012e	4242	00000000018a4158··0000000000000008·R_X86_64_RELATIVE·························15f012e
4243	00000000018a4160··0000000000000008·R_X86_64_RELATIVE·························15f0a6c	4243	00000000018a4160··0000000000000008·R_X86_64_RELATIVE·························15f0a6c
4244	00000000018a4168··0000000000000008·R_X86_64_RELATIVE·························15f19fc	4244	00000000018a4168··0000000000000008·R_X86_64_RELATIVE·························15f19fc
4245	00000000018a4170··0000000000000008·R_X86_64_RELATIVE·························15f0135	4245	00000000018a4170··0000000000000008·R_X86_64_RELATIVE·························15f0135
4246	00000000018a4178··0000000000000008·R_X86_64_RELATIVE·························15f14c8	4246	00000000018a4178··0000000000000008·R_X86_64_RELATIVE·························15f14c8
4247	00000000018a4180··0000000000000008·R_X86_64_RELATIVE·························15f0~~7ef~~	4247	00000000018a4180··0000000000000008·R_X86_64_RELATIVE·························15f0803
4248	00000000018a4188··0000000000000008·R_X86_64_RELATIVE·························15f0151	4248	00000000018a4188··0000000000000008·R_X86_64_RELATIVE·························15f0151
4249	00000000018a4190··0000000000000008·R_X86_64_RELATIVE·························15f0158	4249	00000000018a4190··0000000000000008·R_X86_64_RELATIVE·························15f0158
4250	00000000018a4198··0000000000000008·R_X86_64_RELATIVE·························15e8fc1	4250	00000000018a4198··0000000000000008·R_X86_64_RELATIVE·························15e8fc1
4251	00000000018a41a0··0000000000000008·R_X86_64_RELATIVE·························15f0b7c	4251	00000000018a41a0··0000000000000008·R_X86_64_RELATIVE·························15f0b7c
4252	00000000018a41a8··0000000000000008·R_X86_64_RELATIVE·························15f14d3	4252	00000000018a41a8··0000000000000008·R_X86_64_RELATIVE·························15f14d3
4253	00000000018a41b0··0000000000000008·R_X86_64_RELATIVE·························15efe21	4253	00000000018a41b0··0000000000000008·R_X86_64_RELATIVE·························15efe21
4254	00000000018a41b8··0000000000000008·R_X86_64_RELATIVE·························15f0164	4254	00000000018a41b8··0000000000000008·R_X86_64_RELATIVE·························15f0164
4255	00000000018a41c0··0000000000000008·R_X86_64_RELATIVE·························15f0174	4255	00000000018a41c0··0000000000000008·R_X86_64_RELATIVE·························15f0174
4256	00000000018a41c8··0000000000000008·R_X86_64_RELATIVE·························15f018c	4256	00000000018a41c8··0000000000000008·R_X86_64_RELATIVE·························15f018c
4257	00000000018a41d0··0000000000000008·R_X86_64_RELATIVE·························15f01a1	4257	00000000018a41d0··0000000000000008·R_X86_64_RELATIVE·························15f01a1
4258	00000000018a41d8··0000000000000008·R_X86_64_RELATIVE·························15f01b4	4258	00000000018a41d8··0000000000000008·R_X86_64_RELATIVE·························15f01b4
4259	00000000018a41e0··0000000000000008·R_X86_64_RELATIVE·························15f01cc	4259	00000000018a41e0··0000000000000008·R_X86_64_RELATIVE·························15f01cc
4260	00000000018a41e8··0000000000000008·R_X86_64_RELATIVE·························15f01dd	4260	00000000018a41e8··0000000000000008·R_X86_64_RELATIVE·························15f01dd
4261	00000000018a41f0··0000000000000008·R_X86_64_RELATIVE·························15f07e4	4261	00000000018a41f0··0000000000000008·R_X86_64_RELATIVE·························15f07f8


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·39646635·35346365·33636439·66306166·9df554ce3cd9f0af
3	··0x00000010·373~~33964~~·~~66346164~~·66626~~134~~·32623~~132~~·~~739df4ad~~f~~ba42b12~~	2	··0x00000000·62366137·39623235·66646365·37643661·b6a79b25fdce7d6a
		3	··0x00000010·32633366·65333161·35666463·36373638·2c3fe31a5fdc6768
4	··0x00000020·36613837·3~~137~~2e64·65627567·00000000·~~6a8717~~.debug....	4	··0x00000020·64643434·39652e64·65627567·00000000·dd449e.debug....
5	··0x00000030·8118~~4d24~~····························..M$	5	··0x00000030·8f08f133····························...3


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·31613262·38623030·36663062·62656531·1a2b8b006f0bbee1
3	··0x00000010·656~~33665~~·3461~~6232~~·64646234·62363965·~~ec6e4~~a~~b2d~~db4~~b69e~~	2	··0x00000000·31616230·33613365·63643934·66313435·1ab03a3ecd94f145
		3	··0x00000010·32393837·65656539·35623363·37383932·2987eee95b3c7892
4	··0x00000020·3~~933~~3~~534~~·~~3664~~2e64·65627567·00000000·~~93546d~~.debug....	4	··0x00000020·38643062·61322e64·65627567·00000000·8d0ba2.debug....
5	··0x00000030·7aa9~~1df9~~····························z...	5	··0x00000030·d7ba7226····························..r&


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·66663635·39333564·65373966·63346162·ff65935de79fc4ab
3	··0x00000010·31626636·663~~035~~64·~~393~~866~~31·~~30~~313~~46~~6·1bf6~~f05d98f~~1014f~~	2	··0x00000000·66313564·61396262·66623532·64646431·f15da9bbfb52ddd1
		3	··0x00000010·35383831·33326336·33333036·39373634·588132c633069764
4	··0x00000020·3~~661~~3939·35302e64·65627567·00000000·~~6a9950~~.debug....	4	··0x00000020·32323235·39382e64·65627567·00000000·222598.debug....
5	··0x00000030·~~b122367~~9····························~~."6y~~	5	··0x00000030·6410df39····························d..9


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/35/9df554ce3cd9f0af73~~9df4~~adfb~~a42b126a8717~~.debug	1	usr/lib/debug/.build-id/8a/b6a79b25fdce7d6a2c3fe31a5fdc6768dd449e.debug


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


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	There·are·40·section·headers,·starting·at·offset·0xafa6~~c88~~:	1	There·are·40·section·headers,·starting·at·offset·0xafa67c0:

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004ca8·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004ca8·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000004f40·000294·00fbb8·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000004f40·000294·00fbb8·18···A··4···1··8
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000189b920·000710·0149d0·00··WA··0···0·32	27	··[22]·.data.rel.ro······NOBITS··········000000000189b920·000710·0149d0·00··WA··0···0·32
28	··[23]·.dynamic··········NOBITS··········00000000018b02f0·000710·000250·10··WA··4···0··8	28	··[23]·.dynamic··········NOBITS··········00000000018b02f0·000710·000250·10··WA··4···0··8
29	··[24]·.got··············NOBITS··········00000000018b0540·000710·003ab8·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········00000000018b0540·000710·003ab8·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········00000000018b4000·000710·008240·00··WA··0···0·32	30	··[25]·.data·············NOBITS··········00000000018b4000·000710·008240·00··WA··0···0·32
31	··[26]·.bss··············NOBITS··········00000000018bc240·000710·001a00·00··WA··0···0·32	31	··[26]·.bss··············NOBITS··········00000000018bc240·000710·001a00·00··WA··0···0·32
32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00d979·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00d979·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·00dc38·85~~7011~~8·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·00dc38·856fbe8·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·857dd50·0de5df·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·857d820·0de5df·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·865~~c33~~0·874894·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·865be00·874894·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·8ed0bc8·3d7125·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·8ed0698·3d7129·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·92a7~~cf0~~·0028e4·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·92a77c8·0028e4·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·92aa~~5d8~~·1294673·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·92aa0b0·1294673·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·a53e~~c50~~·167~~1b1~~·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·a53e728·167215·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a6a5~~e08~~·58acf2·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a6a5940·58acf2·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·ac30~~b00~~·0c8850·18·····38·31538··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·ac30638·0c8850·18·····38·31538··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·acf~~9350~~·2ad7a0·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·acf8e88·2ad7a0·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·afa6~~af0~~·000191·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·afa6628·000191·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	··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)	49	··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)


Offset 8, 47 lines modified		Offset 8, 47 lines modified
8	···Pointer·Size:··8	8	···Pointer·Size:··8
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····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src	11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12	·<1><15>:·Abbrev·Number:·7·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·7·(DW_TAG_base_type)
13	····<16>···DW_AT_byte_size···:·(data1)·8	13	····<16>···DW_AT_byte_size···:·(data1)·8
14	····<17>···DW_AT_encoding····:·(data1)·5» (signed)	14	····<17>···DW_AT_encoding····:·(data1)·5» (signed)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0x15c4e):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x15c34):·long·int
16	·<1><1c>:·Abbrev·Number:·7·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·7·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·8	17	····<1d>···DW_AT_byte_size···:·(data1)·8
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xe7f8):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xe7de):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·7·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·7·(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:·0x1a8b4):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1a89a):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·7·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·7·(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:·0x12625):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x1260b):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·7·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·7·(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:·0xc8ee):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xc8d4):·unsigned·int
32	·<1><38>:·Abbrev·Number:·7·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·7·(DW_TAG_base_type)
33	····<39>···DW_AT_byte_size···:·(data1)·1	33	····<39>···DW_AT_byte_size···:·(data1)·1
34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)	34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)
35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x1ba2e):·signed·char	35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x1ba14):·signed·char
36	·<1><3f>:·Abbrev·Number:·7·(DW_TAG_base_type)	36	·<1><3f>:·Abbrev·Number:·7·(DW_TAG_base_type)
37	····<40>···DW_AT_byte_size···:·(data1)·2	37	····<40>···DW_AT_byte_size···:·(data1)·2
38	····<41>···DW_AT_encoding····:·(data1)·5» (signed)	38	····<41>···DW_AT_encoding····:·(data1)·5» (signed)
39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1d6ae):·short·int	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1d694):·short·int
40	·<1><46>:·Abbrev·Number:·69·(DW_TAG_base_type)	40	·<1><46>:·Abbrev·Number:·69·(DW_TAG_base_type)
41	····<47>···DW_AT_byte_size···:·(data1)·4	41	····<47>···DW_AT_byte_size···:·(data1)·4
42	····<48>···DW_AT_encoding····:·(data1)·5» (signed)	42	····<48>···DW_AT_encoding····:·(data1)·5» (signed)
43	····<49>···DW_AT_name········:·(string)·int	43	····<49>···DW_AT_name········:·(string)·int
44	·<1><4d>:·Abbrev·Number:·7·(DW_TAG_base_type)	44	·<1><4d>:·Abbrev·Number:·7·(DW_TAG_base_type)
45	····<4e>···DW_AT_byte_size···:·(data1)·1	45	····<4e>···DW_AT_byte_size···:·(data1)·1
46	····<4f>···DW_AT_encoding····:·(data1)·6» (signed·char)	46	····<4f>···DW_AT_encoding····:·(data1)·6» (signed·char)
47	····<50>···DW_AT_name········:·(strp)·(offset:·0x1ba35):·char	47	····<50>···DW_AT_name········:·(strp)·(offset:·0x1ba1b):·char
48	·<1><54>:·Abbrev·Number:·0	48	·<1><54>:·Abbrev·Number:·0
49	··Compilation·Unit·@·offset·0x55:	49	··Compilation·Unit·@·offset·0x55:
50	···Length:········0x20·(32-bit)	50	···Length:········0x20·(32-bit)
51	···Version:·······5	51	···Version:·······5
52	···Unit·Type:·····DW_UT_partial·(3)	52	···Unit·Type:·····DW_UT_partial·(3)
53	···Abbrev·Offset:·0x5545	53	···Abbrev·Offset:·0x5545
54	···Pointer·Size:··8	54	···Pointer·Size:··8
Offset 84, 15 lines modified		Offset 84, 15 lines modified
84	·<1><9c>:·Abbrev·Number:·7·(DW_TAG_base_type)	84	·<1><9c>:·Abbrev·Number:·7·(DW_TAG_base_type)
85	····<9d>···DW_AT_byte_size···:·(data1)·4	85	····<9d>···DW_AT_byte_size···:·(data1)·4
86	····<9e>···DW_AT_encoding····:·(data1)·4» (float)	86	····<9e>···DW_AT_encoding····:·(data1)·4» (float)
87	····<9f>···DW_AT_name········:·(strp)·(offset:·0x5c7b37):·float	87	····<9f>···DW_AT_name········:·(strp)·(offset:·0x5c7b37):·float
88	·<1><a3>:·Abbrev·Number:·7·(DW_TAG_base_type)	88	·<1><a3>:·Abbrev·Number:·7·(DW_TAG_base_type)
89	····<a4>···DW_AT_byte_size···:·(data1)·8	89	····<a4>···DW_AT_byte_size···:·(data1)·8
90	····<a5>···DW_AT_encoding····:·(data1)·7» (unsigned)	90	····<a5>···DW_AT_encoding····:·(data1)·7» (unsigned)
91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1c09f):·long·long·unsigned·int	91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1c085):·long·long·unsigned·int
92	·<1><aa>:·Abbrev·Number:·7·(DW_TAG_base_type)	92	·<1><aa>:·Abbrev·Number:·7·(DW_TAG_base_type)
93	····<ab>···DW_AT_byte_size···:·(data1)·1	93	····<ab>···DW_AT_byte_size···:·(data1)·1
94	····<ac>···DW_AT_encoding····:·(data1)·2» (boolean)	94	····<ac>···DW_AT_encoding····:·(data1)·2» (boolean)
95	····<ad>···DW_AT_name········:·(strp)·(offset:·0x1400):·bool	95	····<ad>···DW_AT_name········:·(strp)·(offset:·0x1400):·bool
96	·<1><b1>:·Abbrev·Number:·7·(DW_TAG_base_type)	96	·<1><b1>:·Abbrev·Number:·7·(DW_TAG_base_type)
97	····<b2>···DW_AT_byte_size···:·(data1)·2	97	····<b2>···DW_AT_byte_size···:·(data1)·2
98	····<b3>···DW_AT_encoding····:·(data1)·16» (unicode·string)	98	····<b3>···DW_AT_encoding····:·(data1)·16» (unicode·string)
Offset 100, 15 lines modified		Offset 100, 15 lines modified
100	·<1><b8>:·Abbrev·Number:·7·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·7·(DW_TAG_base_type)
101	····<b9>···DW_AT_byte_size···:·(data1)·4	101	····<b9>···DW_AT_byte_size···:·(data1)·4
102	····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string)	102	····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string)
103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x1f90d):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x1f90d):·char32_t
104	·<1><bf>:·Abbrev·Number:·7·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·7·(DW_TAG_base_type)
105	····<c0>···DW_AT_byte_size···:·(data1)·16	105	····<c0>···DW_AT_byte_size···:·(data1)·16
106	····<c1>···DW_AT_encoding····:·(data1)·5» (signed)	106	····<c1>···DW_AT_encoding····:·(data1)·5» (signed)
107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x13ed5):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x13ebb):·__int128
108	·<1><c6>:·Abbrev·Number:·7·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·7·(DW_TAG_base_type)
109	····<c7>···DW_AT_byte_size···:·(data1)·16	109	····<c7>···DW_AT_byte_size···:·(data1)·16
110	····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned)	110	····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned)
111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x2308b):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x2308b):·__int128·unsigned
112	·<1><cd>:·Abbrev·Number:·0	112	·<1><cd>:·Abbrev·Number:·0
113	··Compilation·Unit·@·offset·0xce:	113	··Compilation·Unit·@·offset·0xce:
114	···Length:········0x1004·(32-bit)	114	···Length:········0x1004·(32-bit)
Offset 154, 15 lines modified		Offset 154, 15 lines modified
154	····<119>···DW_AT_name········:·(strp)·(offset:·0xaa0):·max_align_t	154	····<119>···DW_AT_name········:·(strp)·(offset:·0xaa0):·max_align_t
155	····<11d>···DW_AT_decl_file···:·(data1)·21	155	····<11d>···DW_AT_decl_file···:·(data1)·21
156	····<11e>···DW_AT_decl_line···:·(data2)·451	156	····<11e>···DW_AT_decl_line···:·(data2)·451
157	····<120>···DW_AT_decl_column·:·(data1)·3	157	····<120>···DW_AT_decl_column·:·(data1)·3
158	····<121>···DW_AT_type········:·(ref_udata)·<0xef>,·11max_align_t	158	····<121>···DW_AT_type········:·(ref_udata)·<0xef>,·11max_align_t
159	····<122>···DW_AT_alignment···:·(data1)·16	159	····<122>···DW_AT_alignment···:·(data1)·16
160	·<1><123>:·Abbrev·Number:·62·(DW_TAG_typedef)	160	·<1><123>:·Abbrev·Number:·62·(DW_TAG_typedef)
161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd64b):·__off_t	161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd631):·__off_t
162	····<128>···DW_AT_decl_file···:·(data1)·22	162	····<128>···DW_AT_decl_file···:·(data1)·22
163	····<129>···DW_AT_decl_line···:·(data1)·152	163	····<129>···DW_AT_decl_line···:·(data1)·152
164	····<12a>···DW_AT_decl_column·:·(data1)·25	164	····<12a>···DW_AT_decl_column·:·(data1)·25
165	····<12b>···DW_AT_type········:·(ref_addr)·<0x15>,·long·int	165	····<12b>···DW_AT_type········:·(ref_addr)·<0x15>,·long·int
166	·<1><12f>:·Abbrev·Number:·62·(DW_TAG_typedef)	166	·<1><12f>:·Abbrev·Number:·62·(DW_TAG_typedef)
167	····<130>···DW_AT_name········:·(strp)·(offset:·0x776b):·__off64_t	167	····<130>···DW_AT_name········:·(strp)·(offset:·0x776b):·__off64_t
168	····<134>···DW_AT_decl_file···:·(data1)·22	168	····<134>···DW_AT_decl_file···:·(data1)·22
Offset 760, 28 lines modified		Offset 760, 28 lines modified
760	····<411>···DW_AT_decl_column·:·(data1)·11	760	····<411>···DW_AT_decl_column·:·(data1)·11
761	····<412>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·121·(DW_TAG_typedef)]	761	····<412>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·121·(DW_TAG_typedef)]
762	·<2><413>:·Abbrev·Number:·0	762	·<2><413>:·Abbrev·Number:·0
763	·<1><414>:·Abbrev·Number:·31·(DW_TAG_pointer_type)	763	·<1><414>:·Abbrev·Number:·31·(DW_TAG_pointer_type)
764	····<415>···DW_AT_byte_size···:·(implicit_const)·8	764	····<415>···DW_AT_byte_size···:·(implicit_const)·8
765	····<415>···DW_AT_type········:·(ref_udata)·<0x142>,·char	765	····<415>···DW_AT_type········:·(ref_udata)·<0x142>,·char
766	·<1><416>:·Abbrev·Number:·62·(DW_TAG_typedef)	766	·<1><416>:·Abbrev·Number:·62·(DW_TAG_typedef)
767	····<417>···DW_AT_name········:·(strp)·(offset:·0xdcb0):·wint_t	767	····<417>···DW_AT_name········:·(strp)·(offset:·0xdc96):·wint_t
768	····<41b>···DW_AT_decl_file···:·(data1)·67	768	····<41b>···DW_AT_decl_file···:·(data1)·67
769	····<41c>···DW_AT_decl_line···:·(data1)·20	769	····<41c>···DW_AT_decl_line···:·(data1)·20
770	····<41d>···DW_AT_decl_column·:·(data1)·23	770	····<41d>···DW_AT_decl_column·:·(data1)·23
771	····<41e>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int	771	····<41e>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int
772	·<1><422>:·Abbrev·Number:·107·(DW_TAG_array_type)	772	·<1><422>:·Abbrev·Number:·107·(DW_TAG_array_type)
773	····<423>···DW_AT_type········:·(ref_addr)·<0x4d>,·char	773	····<423>···DW_AT_type········:·(ref_addr)·<0x4d>,·char
774	····<427>···DW_AT_sibling·····:·(ref_udata)·<0x430>	774	····<427>···DW_AT_sibling·····:·(ref_udata)·<0x430>
775	·<2><429>:·Abbrev·Number:·111·(DW_TAG_subrange_type)	775	·<2><429>:·Abbrev·Number:·111·(DW_TAG_subrange_type)
776	····<42a>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int	776	····<42a>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int
777	····<42e>···DW_AT_upper_bound·:·(data1)·3	777	····<42e>···DW_AT_upper_bound·:·(data1)·3
778	·<2><42f>:·Abbrev·Number:·0	778	·<2><42f>:·Abbrev·Number:·0
779	·<1><430>:·Abbrev·Number:·40·(DW_TAG_typedef)	779	·<1><430>:·Abbrev·Number:·40·(DW_TAG_typedef)
780	····<431>···DW_AT_name········:·(strp)·(offset:·0xb~~718~~):·__FILE	780	····<431>···DW_AT_name········:·(strp)·(offset:·0xb6fe):·__FILE
781	····<435>···DW_AT_decl_file···:·(data1)·70	781	····<435>···DW_AT_decl_file···:·(data1)·70
782	····<436>···DW_AT_decl_line···:·(data1)·5	782	····<436>···DW_AT_decl_line···:·(data1)·5
783	····<437>···DW_AT_decl_column·:·(data1)·25	783	····<437>···DW_AT_decl_column·:·(data1)·25
784	····<438>···DW_AT_type········:·(ref_udata)·<0x43a>,·_IO_FILE	784	····<438>···DW_AT_type········:·(ref_udata)·<0x43a>,·_IO_FILE
785	·<1><43a>:·Abbrev·Number:·35·(DW_TAG_structure_type)	785	·<1><43a>:·Abbrev·Number:·35·(DW_TAG_structure_type)
786	····<43b>···DW_AT_name········:·(strp)·(offset:·0xc7ff5c):·_IO_FILE	786	····<43b>···DW_AT_name········:·(strp)·(offset:·0xc7ff5c):·_IO_FILE
787	····<43f>···DW_AT_byte_size···:·(data1)·216	787	····<43f>···DW_AT_byte_size···:·(data1)·216
Offset 807, 71 lines modified		Offset 807, 71 lines modified
807	····<45d>···DW_AT_name········:·(strp)·(offset:·0x1e94f):·_IO_read_end	807	····<45d>···DW_AT_name········:·(strp)·(offset:·0x1e94f):·_IO_read_end
808	····<461>···DW_AT_decl_file···:·(data1)·71	808	····<461>···DW_AT_decl_file···:·(data1)·71
Max diff block lines reached; 32306807/32314056 bytes (99.98%) of diff not shown.


Offset 1588, 16 lines modified		Offset 1588, 16 lines modified
1588	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1588	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1589	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1589	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1590	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1590	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1591	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1591	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1592	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1592	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1593	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1593	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1594	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1594	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1595	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1595	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1596	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1596	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1597	··Offset:······················0x1a60	1597	··Offset:······················0x1a60
1598	··Version:·····················5	1598	··Version:·····················5
1599	··Offset·size:·················4	1599	··Offset·size:·················4

1600	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1600	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1601	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1601	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 53801, 16 lines modified		Offset 53801, 16 lines modified
53801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	53801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
53802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	53802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
53803	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	53803	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
53804	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	53804	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
53805	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	53805	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
53806	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	53806	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
53807	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	53807	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
53808	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	53808	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
53809	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	53809	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

53810	··Offset:······················0x4af83	53810	··Offset:······················0x4af83
53811	··Version:·····················5	53811	··Version:·····················5
53812	··Offset·size:·················4	53812	··Offset·size:·················4

53813	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	53813	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
53814	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	53814	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1337960, 17 lines modified		Offset 1337960, 19 lines modified
1337960	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·	1337960	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1337961	·DW_MACRO_start_file·-·lineno:·24·filenum:·41	1337961	·DW_MACRO_start_file·-·lineno:·24·filenum:·41
1337962	·DW_MACRO_end_file	1337962	·DW_MACRO_end_file
1337963	·DW_MACRO_import·-·offset·:·0x54554	1337963	·DW_MACRO_import·-·offset·:·0x54554
1337964	·DW_MACRO_end_file	1337964	·DW_MACRO_end_file
1337965	·DW_MACRO_start_file·-·lineno:·49·filenum:·138	1337965	·DW_MACRO_start_file·-·lineno:·49·filenum:·138
1337966	·DW_MACRO_end_file	1337966	·DW_MACRO_end_file
		1337967	·DW_MACRO_start_file·-·lineno:·50·filenum:·28
		1337968	·DW_MACRO_end_file
1337967	·DW_MACRO_start_file·-·lineno:·50·filenum:·114	1337969	·DW_MACRO_start_file·-·lineno:·52·filenum:·114
1337968	·DW_MACRO_end_file	1337970	·DW_MACRO_end_file
1337969	·DW_MACRO_start_file·-·lineno:·51·filenum:·305	1337971	·DW_MACRO_start_file·-·lineno:·54·filenum:·305
1337970	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1337972	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1337971	·DW_MACRO_start_file·-·lineno:·43·filenum:·13	1337973	·DW_MACRO_start_file·-·lineno:·43·filenum:·13
1337972	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1337974	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1337973	·DW_MACRO_start_file·-·lineno:·33·filenum:·14	1337975	·DW_MACRO_start_file·-·lineno:·33·filenum:·14
1337974	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1337976	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1337975	·DW_MACRO_start_file·-·lineno:·37·filenum:·15	1337977	·DW_MACRO_start_file·-·lineno:·37·filenum:·15
1337976	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1	1337978	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1337978, 16 lines modified		Offset 1337980, 14 lines modified
1337978	·DW_MACRO_end_file	1337980	·DW_MACRO_end_file
1337979	·DW_MACRO_end_file	1337981	·DW_MACRO_end_file
1337980	·DW_MACRO_import·-·offset·:·0x9c81	1337982	·DW_MACRO_import·-·offset·:·0x9c81
1337981	·DW_MACRO_start_file·-·lineno:·59·filenum:·179	1337983	·DW_MACRO_start_file·-·lineno:·59·filenum:·179
1337982	·DW_MACRO_import·-·offset·:·0x5165ed	1337984	·DW_MACRO_import·-·offset·:·0x5165ed
1337983	·DW_MACRO_end_file	1337985	·DW_MACRO_end_file
1337984	·DW_MACRO_end_file	1337986	·DW_MACRO_end_file
1337985	·DW_MACRO_start_file·-·lineno:·53·filenum:·28
1337986	·DW_MACRO_end_file
1337987	·DW_MACRO_start_file·-·lineno:·57·filenum:·84	1337987	·DW_MACRO_start_file·-·lineno:·57·filenum:·84
1337988	·DW_MACRO_import·-·offset·:·0x10e39	1337988	·DW_MACRO_import·-·offset·:·0x10e39
1337989	·DW_MACRO_start_file·-·lineno:·47·filenum:·179	1337989	·DW_MACRO_start_file·-·lineno:·47·filenum:·179
1337990	·DW_MACRO_import·-·offset·:·0x516c34	1337990	·DW_MACRO_import·-·offset·:·0x516c34
1337991	·DW_MACRO_end_file	1337991	·DW_MACRO_end_file
1337992	·DW_MACRO_start_file·-·lineno:·48·filenum:·142	1337992	·DW_MACRO_start_file·-·lineno:·48·filenum:·142
1337993	·DW_MACRO_import·-·offset·:·0x10e49	1337993	·DW_MACRO_import·-·offset·:·0x10e49


Offset 4194297, 8 lines modified		Offset 4194297, 8 lines modified
4194297	····00c8d74d·v000000000000000·v000000000000000·location·view·pair	4194297	····00c8d74d·v000000000000000·v000000000000000·location·view·pair

4194298	····00c8d74f·000000000063a533·(base·address)	4194298	····00c8d74f·000000000063a533·(base·address)
4194299	····00c8d758·v000000000000000·v000000000000000·views·at·00c8d749·for:	4194299	····00c8d758·v000000000000000·v000000000000000·views·at·00c8d749·for:
4194300	·············000000000063a533·000000000063a537·(DW_OP_reg0·(rax))	4194300	·············000000000063a533·000000000063a537·(DW_OP_reg0·(rax))
4194301	····00c8d75d·v000000000000000·v000000000000000·views·at·00c8d74b·for:	4194301	····00c8d75d·v000000000000000·v000000000000000·views·at·00c8d74b·for:
4194302	·············000000000063a537·000000000063a58e·(DW_OP_fbreg:·-1048)	4194302	·············000000000063a537·000000000063a58e·(DW_OP_fbreg:·-1048)
4194303	[·Too·much·input·for·diff·(SHA256:·4e~~fc2a~~7~~ad48b37dc55~~7c627~~9919b4b0a~~8~~8de0~~7~~0ac51b88~~81~~08af~~7~~839c5~~9dcfaf)·]	4194303	[·Too·much·input·for·diff·(SHA256:·2fe66e17839592ef67737cf776f7adf897d48f1f37689777318d4d070174792a)·]

+GCC:·(Debian·15.2.0-4)·15.2.0
+/is}I(zJ
+jxZ<[XNb
+uM2Zg>#2
+nP?oXs]0
+ArDrrrnr
+cOT41B0F
+~{m!NuRx
+pN2^4Ud»`
+ZtWuFz/4w
+p((M@A8T
+-WpFT8*8
+G&jiQ]Fe
+Pyi#»   *OsS
+a»      q1cM=q
+H[W%4Q» wU
+nf@-2tV_
+:EGng#pK
+Jp%x-"^»Yk
+YGP,Uw0l
+>[4\3*Ew[
+bEW+·-&
+bEW+·-&
+F*,fEiLg
+n(l,oB<;o
+;/85U1s0
+tW"#fPm0
+T?FO5Nd
+fF=S3W#QK`
+gQE,GCQ9H
+XtdEt3,v
+;k"Vq1;;
+Cn;Zq1;R
+xXb{`PjU
+eafmOR$}
+vmwH.cTyL
+b3s~{7/9
+[rxs_h%k
+j)x{"\'w
+U]»     `.4#h
+a7.gD3kr
+"/h^L4Xc
+{_ex$4oX1
+&ppm+»  \I[U
+NGC=9qZx
+@?QhvJd.M0/
+ueP9?(^x
+u|=p`·D>
+c(`3gfNk
+vN6sg{\nZ
+S(·&75CU
+'mmD[#k{
+JB-oo!o.<
+]!{,S2G)
+[C/xB'K
+~{uJHd$
+RXd\(Wd\(Wd\(Wd\H
+@YGP,E70l
+n`XO·Q70
+y<tRN7XL
+pZLDDZN7Y
+·xI0ih|,"/L
+G·-Nv·Zd
+sAQ,3'vAl
+gA=5iN(-
+@I3OtB)7
+Ztq@Ouq@
+`a?4PnQ
+YD|.»   @8t
+Z]C"J;Ca
+!m0s2C|t
+`'PPfQ<6
+SE%vj^/?
+IdiB*t|&
+X"PQS}wH
+N9sYEjH
+;Yw;>r2r
+»       »       VE3»    /a
+w»      0M=~;F
+&x*7s#yCc
+·[7e@i$1^
+]62(M!:mR8
+]9\C>]y
+[kt3n/{1
+}t4[KHIn
+e:_oTND7
+Xg7]%x.S
+nV1f`Hv
+ER=*K9DM)
+^y|9qz9.
+xW>&<R=&
+QT!k4lX'?
+Hql|v=dp
+Hor[qBgcw#
+:x]O`JZd
+!\2"lD]2
+m~bF1jmS
+^A_!HoBi
+i6LT:HXx
+V}7SA#sH
+\gING:-p
+KJBL)BBM
+nH5|n|,
+s{#p]{"d{
+yf)!?(vLl!
+[\teQ#}n
+[7rP4ltM
+kg,*|)·|
+a#Kl+lXV
+D+':bdp7
+#%\tD+':
+DGh-e\tD{Nt
+d]ZBs)kh
+whk8=[;Q'^=
+zgG4)|z8
+DTj]le6$
+s?2#<!yr2
+LnY~cseu
+*0nHa.%\K
+IgX\6O5(6
+-/s2@g+T
+Ge&T?,vl
+Mo,<3unj
+nuM·K_p!
+~hEc.2UVD
+d9lj#rGIo
+^1OK}zg


Offset 1204, 2340 lines modified		Offset 1204, 2340 lines modified
1204	··[··a58e]··__USE_FORTIFY_LEVEL	1204	··[··a58e]··__USE_FORTIFY_LEVEL
1205	··[··a5a2]··__glibcxx_want_is_scoped_enum	1205	··[··a5a2]··__glibcxx_want_is_scoped_enum
1206	··[··a5c0]··__STDC_EMBED_FOUND__·1	1206	··[··a5c0]··__STDC_EMBED_FOUND__·1
1207	··[··a5d7]··__UINT_LEAST16_MAX__·0xffff	1207	··[··a5d7]··__UINT_LEAST16_MAX__·0xffff
1208	··[··a5f3]··MOD_TAI·ADJ_TAI	1208	··[··a5f3]··MOD_TAI·ADJ_TAI
1209	··[··a603]··_LOCALE_FACETS_TCC·1	1209	··[··a603]··_LOCALE_FACETS_TCC·1
Diff chunk too large, falling back to line-by-line diff (2326 lines added, 2326 lines removed)
1210	··[··a618]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW	1210	··[··a618]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW
1211	··[··a652]··~~DEB_BUILD~~_TIM~~E·"23:13:23"~~	1211	··[··a652]··_M_len
1212	··[··a66c]··_M_~~len~~	1212	··[··a659]··PTHREAD_SCOPE_PROCESS·PTHREAD_SCOPE_PROCESS
1213	··[··a673]··~~PTHREAD~~_~~SCOPE~~_~~PROCESS·PTHREAD_SCOPE~~_P~~ROCESS~~	1213	··[··a685]··__isoc23_wscanf
1214	··[··a69f]··__~~isoc23_wscanf~~	1214	··[··a695]··CVC5_KIND_TABLE_PROJECT
1215	··[··a6af]··~~CVC5~~_~~KIND~~_TABLE_~~PROJECT~~	1215	··[··a6ad]··__ELF__·1
1216	··[··a6c7]··~~__E~~LF_~~_·1~~	1216	··[··a6b7]··tm_mon
1217	··[··a6d1]··tm_mon	1217	··[··a6be]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag
1218	··[··a~~6d8~~]··~~_ZNSt7~~__c~~xx1112bas~~ic_stri~~ngIcSt11cha~~r_~~traitsIcESaIcEE12_M~~_construct~~IPKcEEvT_S8_S~~t20~~forward_iterator_tag~~	1218	··[··a726]··__cpp_lib_node_extract·201606L
1219	··[··a740]··_~~_cpp_lib_node~~_~~extract·20~~1~~606L~~	1219	··[··a745]··_GLIBCXX11_USE_C99_WCHAR·1
1220	··[··a75f]··_~~GLIBCXX11_USE~~_~~C99_WCHAR·1~~	1220	··[··a760]··__glibcxx_want_unwrap_ref·
1221	··[··a77a]··_~~_glib~~cxx_want_unwrap_~~ref·~~	1221	··[··a77b]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLESt16initializer_listIcE
1222	··[··a795]··~~_ZNSt7_~~_~~cxx1112basic~~_~~stringIc~~S~~t11ch~~ar_~~traitsIcES~~aI~~cEEp~~LE~~St16initializer~~_~~listIcE~~	1222	··[··a7cb]··_GLIBCXX_HAVE_SYS_TIME_H·1
1223	··[··a7e5]··_GLI~~BCXX_HAVE_SYS_TIME_H·~~1	1223	··[··a7e6]··INT_FAST16_MIN·(-9223372036854775807L-1)
1224	··[··a800]··~~INT_FAST16~~_~~MIN~~·(~~-92233720368547758~~0~~7L-1~~)	1224	··[··a80f]··CLOCKS_PER_SEC·((__clock_t)·1000000)
1225	··[··a829]··CLOCKS_~~PER~~_SEC~~·((__clock~~_t)·~~1000000)~~	1225	··[··a834]··CVC5__CHECK_H·
1226	··[··a84e]··~~CVC5~~_~~_CH~~E~~CK_H·~~	1226	··[··a843]··__USE_XOPEN2K·1
1227	··[··a85d]··_~~_USE~~_~~XOPEN2K·1~~	1227	··[··a853]··_Lock_policy
1228	··[··a86d]··~~_Lock_policy~~	1228	··[··a860]··WEOF·(0xffffffffu)
1229	··[··a87a]··W~~EOF·(0xffffffffu)~~	1229	··[··a873]··ADJ_STATUS·0x0010
1230	··[··a88d]··AD~~J_STATUS·0x0010~~	1230	··[··a885]··~basic_iostream
1231	··[··a89f]··~basic_iost~~ream~~	1231	··[··a895]··_GLIBCXX_VISIBILITY(V)·__attribute__·((__visibility__·(#V)))
1232	··[··a8af]··_GLIBCXX_VIS~~IBILITY(V)·~~__~~attribute__·((_~~_~~visibility~~_~~_·(#V)))~~	1232	··[··a8d2]··_GLIBCXX_USE_CONSTRAINTS_FOR_OPTIONAL
1233	··[··a8ec]··_GLIBCXX_~~USE~~_~~CON~~STRAIN~~TS_FOR_OPTIONAL~~	1233	··[··a8f8]··_GLIBCXX_X86_RDRAND·1
1234	··[··a912]··_~~GLIBCXX~~_~~X86~~_~~RDRAND·~~1	1234	··[··a90e]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE3endEv
1235	··[··a928]··_ZNKSt1~~7ba~~sic_string_vi~~ewIcSt11c~~har_traitsIcE~~E3endEv~~	1235	··[··a943]··_ZNSt16initializer_listIcEC4EPKcm
1236	··[··a95d]··_~~ZNSt16initializer~~_~~lis~~tI~~cEC4EPKcm~~	1236	··[··a965]··__LDBL_DECIMAL_DIG__·21
1237	··[··a97f]··__L~~DBL~~_~~DECIMAL_DIG__·21~~	1237	··[··a97d]··CLONE_PARENT·0x00008000
1238	··[··a997]··C~~LON~~E~~_PARENT·~~0~~x00008000~~	1238	··[··a995]··_ZNK4cvc516CVC5ApiException10getMessageB5cxx11Ev
1239	··[··a9af]··_~~ZNK4cvc516CV~~C~~5ApiException10getMessageB5cxx1~~1Ev	1239	··[··a9c6]··_GLIBCXX_STRING_VIEW_TCC·1
1240	··[··a9e0]··_~~GLIBCXX_~~ST~~RING~~_~~VIEW_TCC·1~~	1240	··[··a9e1]··__INT_LEAST32_MAX__·0x7fffffff
1241	··[··a~~9fb~~]··__I~~NT_LEAST3~~2_~~MAX_~~_~~·0x7fffffff~~	1241	··[··aa00]··_IO_wide_data
1242	··[··aa1a]··_IO_wide_data	1242	··[··aa0e]··__cpp_lib_optional·201606L
1243	··[··aa28]··__cpp_~~lib~~_opti~~onal~~·201~~606~~L	1243	··[··aa29]··__cpp_namespace_attributes·201411L
1244	··[··aa43]··~~__cpp~~_na~~mespace~~_a~~ttributes~~·~~20141~~1L	1244	··[··aa4c]··_GLIBCXX_REFWRAP_H·1
1245	··[··aa66]··_GL~~IBCXX_REFWRAP_H·1~~	1245	··[··aa61]··_ZNSt8ios_baseC4Ev
1246	··[··aa7b]··_Z~~NSt8ios_baseC4Ev~~	1246	··[··aa74]··__SIZEOF_FLOAT128__·16
1247	··[··aa8e]··~~__S~~IZE~~OF_FL~~OAT12~~8__·~~16	1247	··[··aa8b]··EREMOTEIO·121
1248	··[··aaa5]··~~EREMOTE~~IO·121	1248	··[··aa99]··_ZNSt9basic_iosIcSt11char_traitsIcEEC4Ev
1249	··[··aab3]··~~_ZNSt9basic~~_io~~sIcSt11ch~~ar_tr~~ait~~s~~IcEEC4~~Ev	1249	··[··aac2]··_old_offset
1250	··[··aadc]··_~~old~~_~~offset~~	1250	··[··aace]··__HAVE_FLOATN_NOT_TYPEDEF·0
1251	··[··aae8]··__~~HAVE_FLOATN~~_~~NOT_TYPEDEF·0~~	1251	··[··aaea]··__glibcxx_want_bool_constant
1252	··[··ab04]··__glibcxx_want~~_bool_co~~n~~stant~~	1252	··[··ab07]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE5rfindEPKcmm
1253	··[··ab21]··_ZNKSt1~~7basi~~c_~~string~~_viewI~~cSt11~~char_t~~rai~~tsIcEE5~~rfindEPKcmm~~	1253	··[··ab42]··_ZNKSt15__new_allocatorIcE8max_sizeEv
1254	··[··ab5c]··~~_ZNKSt15_~~_new_allocat~~orI~~c~~E8m~~a~~x_s~~izeEv	1254	··[··ab68]··_M_allocated_capacity
1255	··[··ab82]··_M_a~~llo~~cat~~ed_~~capac~~ity~~	1255	··[··ab7e]··basic_streambuf<char,·std::char_traits<char>·>
1256	··[··ab98]··~~basic~~_~~streambuf<char,~~·~~std::char~~_~~traits<char>~~·>	1256	··[··abad]··PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP·{·{·__PTHREAD_MUTEX_INITIALIZER·(PTHREAD_MUTEX_ERRORCHECK_NP)·}·}
1257	··[··abc7]··~~PTHREAD_ERROR~~CHEC~~K_MUTE~~X_~~INITIA~~LI~~ZER_~~N~~P·{·{·~~__PT~~HRE~~A~~D_MU~~T~~EX_~~IN~~ITIALIZER·~~(P~~THREAD_MU~~TEX_~~ERRORC~~HE~~CK_NP)·}·~~}	1257	··[··ac17]··CVC5_KIND_FLOATINGPOINT_GEQ
1258	··[··ac31]··C~~VC5_KIND~~_FLO~~ATI~~N~~GPOINT~~_~~GEQ~~	1258	··[··ac33]··_GLIBCXX_MONOSTATE_H·1
1259	··[··ac4d]··_~~GLIBCXX~~_~~MONOSTATE_H·1~~	1259	··[··ac4a]··__cpp_variadic_templates·200704L
1260	··[··ac64]··__c~~pp_variadic~~_~~templ~~ate~~s·200704L~~	1260	··[··ac6b]··_ZNSt15__new_allocatorIcED2Ev
1261	··[··ac85]··_ZN~~St15__new_allocatorIcED2Ev~~	1261	··[··ac89]··ENOSYS·38
1262	··[··aca3]··ENOSYS~~·38~~	1262	··[··ac93]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1263	··[··acad]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7~~compa~~reERK~~S4_~~	1263	··[··acd8]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6insertEmmc
1264	··[··a~~cf2~~]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~6in~~sertEmmc	1264	··[··ad19]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE13_M_set_lengthEm
1265	··[··ad33]··~~_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcE~~E~~13_M_set_lengthEm~~	1265	··[··ad60]··ENOPKG·65
1266	··[··ad7a]··EN~~OPKG·65~~	1266	··[··ad6a]··CVC5_SORT_KIND_SEQUENCE_SORT
1267	··[··ad84]··CVC5_SORT_~~KIND~~_~~SEQUENCE~~_~~SORT~~	1267	··[··ad87]··__CFLOAT128·_Complex·_Float128
1268	··[··ada1]··__~~CFLOAT128·~~_~~Complex·_Flo~~at~~128~~	1268	··[··ada6]··__glibcxx_want_ranges_cache_latest
1269	··[··adc0]··__~~glibcxx~~_~~want~~_~~ranges_cache_latest~~	1269	··[··adc9]··__LONG_MAX__·0x7fffffffffffffffL
1270	··[··ade3]··__LONG_~~MAX~~__~~·0x7fffffff~~f~~fffffffL~~	1270	··[··adea]··CVC5_EXPORT·__attribute__((visibility("default")))
1271	··[··ae04]··~~CVC5_EXPORT~~·__~~attribute_~~_~~((visibili~~ty("def~~ault")))~~	1271	··[··ae1d]··__STD_TYPE·typedef
1272	··[··ae37]··~~__STD_TYPE~~·typedef	1272	··[··ae30]··fopen
1273	··[··ae4a]··fopen	1273	··[··ae36]··__cpp_lib_not_fn·201603L
1274	··[··ae50]··~~__cpp_lib_not_fn·201603L~~	1274	··[··ae4f]··RENAME_WHITEOUT·(1·<<·2)
1275	··[··ae69]··~~RENAME_WHITEOUT·(1·<<·2)~~	1275	··[··ae68]··difference_type
1276	··[··ae82]··~~difference_type~~	1276	··[··ae78]··__GXX_ABI_VERSION·1020
1277	··[··ae92]··__~~GXX~~_~~ABI~~_VERSION·~~1020~~	1277	··[··ae8f]··__ORDER_PDP_ENDIAN__·3412
1278	··[··aea9]··_~~_ORDER_PDP_~~END~~IAN__·3412~~	1278	··[··aea9]··_ZNSo5flushEv
1279	··[··aec3]··_~~ZNSo5flushE~~v	1279	··[··aeb7]··__glibcxx_want_variant·
1280	··[··aed1]··__~~glibcxx_want~~_~~varia~~nt·	1280	··[··aecf]··_GLIBCXX_ASAN_ANNOTATE_GROW(n)·
1281	··[··aee9]··~~_GLIBCXX~~_AS~~AN_ANNOTATE~~_GR~~OW(n)·~~	1281	··[··aeef]··_S_badbit
1282	··[··af09]··_S_badbit	1282	··[··aef9]··CVC5_API_KIND_CHECK(kind)·CVC5_API_CHECK(isDefinedKind(kind))·<<·"Invalid·kind·'"·<<·std::to_string(kind)·<<·"'";
1283	··[··af13]··~~CVC5_API_KIND_CHECK(kind)~~·~~CVC5_API_CHECK~~(is~~DefinedKind(kind))·<<·"Inva~~l~~id·kind·'"·<<·std::to_string(k~~in~~d)·<<·"'";~~	1283	··[··af6b]··wcslen
1284	··[··af85]··~~wcslen~~	1284	··[··af72]··_GXX_NULLPTR_T·
1285	··[··af8c]··~~_GXX~~_N~~ULLPTR_T·~~	1285	··[··af82]··ENOTNAM·118
1286	··[··af9c]··EN~~OTNAM·~~118	1286	··[··af8e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_
1287	··[··afa8]··~~_ZNSt7__cxx1112bas~~ic_s~~trin~~g~~IcSt11char_t~~r~~aitsIcES~~a~~IcEE~~p~~LERKS4~~_	1287	··[··afcc]··isgraph
1288	··[··afe6]··~~isgraph~~	1288	··[··afd4]··__SLONG32_TYPE·int
1289	··[··afee]··__SL~~ONG~~32_T~~YPE~~·int	1289	··[··afe7]··EL3RST·47
1290	··[··~~b00~~1]··~~EL3RST·47~~	1290	··[··aff1]··_M_replace_facet
1291	··[··b00b]··~~_M_replace~~_~~face~~t	1291	··[··b002]··5div_t
1292	··[··b01c]··5~~div~~_t	1292	··[··b009]··CVC5_KIND_RELATION_TRANSPOSE
1293	··[··b023]··~~CVC5~~_KIND_RE~~LATION~~_~~TRAN~~SPOSE	1293	··[··b026]··_ZSt10__distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_St26random_access_iterator_tag
1294	··[··b040]··~~_ZSt10__distanceIPKcENSt15iterator_traitsI~~T_~~E15differen~~ce_type~~ES3_S3_St26~~r~~ando~~m~~_access_~~i~~terator_tag~~	1294	··[··b08a]··L_ctermid·9
1295	··[··b0a4]··L_~~ctermid~~·9	1295	··[··b096]··__INT_FAST8_WIDTH__·8
1296	··[··b0b0]··__~~INT~~_~~FAST8~~_~~WIDTH__·8~~	1296	··[··b0ac]··__glibcxx_want_constexpr_algorithms
1297	··[··b0c6]··~~__glibcxx_want~~_~~constexpr_algorithms~~	1297	··[··b0d0]··UINT16_MAX·(65535)
1298	··[··b0ea]··~~UINT16~~_~~MAX·(65535)~~	1298	··[··b0e3]··__glibcxx_want_generator
1299	··[··b0fd]··__~~glibcxx_want~~_~~generator~~	1299	··[··b0fc]··__FLT64_MAX_10_EXP__·308
1300	··[··b116]··__FLT6~~4_MAX_10~~_~~EXP~~__·308	1300	··[··b115]··__BFLT16_DECIMAL_DIG__·4
1301	··[··b12f]··__BFLT~~16_DECIMAL_DIG~~__·4	1301	··[··b12e]··__CPUELT(cpu)·((cpu)·/·__NCPUBITS)
1302	··[··b148]··__CPU~~ELT(cpu)·((cpu)·/·~~__N~~CPUBITS)~~	1302	··[··b151]··__GNUC_STDC_INLINE__·1
1303	··[··b16b]··_~~_GNU~~C_~~STDC~~_~~INLIN~~E__·1	1303	··[··b168]··_GLIBCXX_LONG_DOUBLE_ALT128_COMPAT
1304	··[··b182]··_~~GLIBCXX~~_~~LONG~~_~~DOUBLE~~_~~ALT128_COMPAT~~	1304	··[··b18b]··__cpp_lib_nonmember_container_access·201411L
1305	··[··b1a5]··__cpp_~~lib~~_nonmem~~ber_conta~~in~~er_acces~~s·201411L	1305	··[··b1b8]··__cpp_nested_namespace_definitions·201411L
1306	··[··b1d2]··_~~_cpp~~_ne~~sted~~_~~namespace~~_~~definitions·201411L~~	1306	··[··b1e3]··CVC5_KIND_SET_SINGLETON
1307	··[··b1fd]··~~CVC5_KIND_SET_SINGLETON~~	1307	··[··b1fb]··vfwprintf
1308	··[··b215]··~~vfwprintf~~	1308	··[··b205]··_GLIBCXX_HAVE_STRERROR_R·1
1309	··[··b21f]··_~~GLIBCX~~X_~~HAVE~~_~~STRERROR_R·1~~	1309	··[··b220]··__DEC64X_MIN__·1E-6143D64x
1310	··[··b23a]··~~__DEC64X_MIN~~__~~·1E-6143D64x~~	1310	··[··b23b]··__pptr
1311	··[··b255]··_~~_pptr~~	1311	··[··b242]··CLONE_NEWTIME·0x00000080
1312	··[··b25c]··CLONE_~~NEW~~TIME~~·0x00000080~~	1312	··[··b25b]··CVC5_LEARNED_LIT_TYPE_PREPROCESS
1313	··[··b275]··~~CVC5~~_~~LEARNED~~_~~LIT_TYPE~~_~~PREPROCESS~~	1313	··[··b27c]··__glibcxx_nonmember_container_access·201411L
1314	··[··b296]··__~~glibcxx~~_~~nonmember~~_~~container~~_~~access·201411L~~	1314	··[··b2a9]··_PSTL_PRAGMA_VECTOR_UNALIGNED·
1315	··[··b2c3]··_PSTL_~~PRAGMA_VECTOR_UNALIGNED·~~	1315	··[··b2c8]··__FLT32X_MIN__·2.22507385850720138309023271733240406e-308F32x
1316	··[··b~~2e2~~]··__~~FLT32X~~_~~MIN~~_~~_·2.225073858507~~2~~0138309~~0~~2327~~1~~73324040~~6~~e-3~~08F32x	1316	··[··b306]··__cpp_range_based_for·201603L
1317	··[··b320]··__~~cpp~~_~~range~~_~~based~~_~~for·2016~~03L	1317	··[··b324]··_GLIBCXX_USE_UCHAR_C8RTOMB_MBRTOC8_CXX20·1
1318	··[··b33e]··~~_GL~~IBC~~XX_USE~~_~~UCH~~A~~R_C8R~~T~~OMB_MBR~~T~~OC8~~_~~CXX20·1~~	1318	··[··b34f]··CVC5_KIND_FLOATINGPOINT_REM
1319	··[··b369]··~~CVC5_K~~I~~ND_FLO~~ATI~~NGPO~~IN~~T_REM~~	1319	··[··b36b]··_GLIBCXX_HAVE_SINCOSF·1
1320	··[··b385]··_GL~~IBC~~X~~X_HAV~~E_~~SINCOSF·1~~	1320	··[··b383]··__FLT32X_MIN_EXP__·(-1021)
1321	··[··b39d]··~~__FLT32X~~_MIN~~_EXP_~~_·(~~-1021)~~	1321	··[··b39e]··_ISOC99_SOURCE
1322	··[··b3b8]··_ISOC99_SOURCE	1322	··[··b3ad]··CVC5_API_UNSUPPORTED_CHECK(cond)·CVC5_PREDICT_TRUE(cond)·?·(void)0·:·cvc5::internal::OstreamVoider()·&·cvc5::CVC5ApiUnsupportedExceptionStream().ostream()
1323	··[··b~~3c7~~]··~~CVC5_API_UNSUPPORTED_CHECK(cond)~~·~~CVC5~~_~~PREDICT~~_~~TRUE(cond)·?·(~~voi~~d)0·:~~·cv~~c5::i~~nt~~ernal::~~Ostrea~~mVoider()·&·cvc5::CVC5ApiUnsupportedEx~~c~~eption~~Strea~~m().ost~~re~~am()~~	1323	··[··b448]··__glibcxx_want_stacktrace
1324	··[··b462]··__glibcxx_want_~~stacktrace~~	1324	··[··b462]··__glibcxx_want_filesystem
1325	··[··b47c]··_~~_glib~~cxx_want_fi~~lesystem~~	1325	··[··b47c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4Ev
1326	··[··b496]··~~_ZNSt7~~__~~cxx1112basi~~c_~~stringIcSt11c~~h~~ar_tra~~i~~tsIcESaIcEEC4Ev~~	1326	··[··b4b6]··~_Alloc_hider
1327	··[··b4d0]··~_Alloc_hider	1327	··[··b4c4]··__glibcxx_want_string_udls
1328	··[··b4de]··~~__glibcxx~~_~~want~~_s~~tring_udls~~	1328	··[··b4df]··CVC5_KIND_SET_CHOOSE
1329	··[··b4f9]··~~CVC5_KIND~~_S~~ET_CHOOSE~~	1329	··[··b4f4]··_M_remove_reference
Max diff block lines reached; 1589/222172 bytes (0.72%) of diff not shown.


Offset 6, 8 lines modified		Offset 6, 8 lines modified
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·4193	7	Installed-Size:·4193
8	Depends:·libcvc5parser1·(=·1.1.2-3)	8	Depends:·libcvc5parser1·(=·1.1.2-3)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5parser1	12	Description:·debug·symbols·for·libcvc5parser1
13	Build-Ids:·ed1a2b~~8b006f0bbee1ec6e4ab2dd~~b~~4b6~~9~~e93546d~~	13	Build-Ids:·341ab03a3ecd94f1452987eee95b3c78928d0ba2


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/ed/1a2b~~8b006f0bbee1ec6e4ab2dd~~b~~4b6~~9~~e93546d~~.debug	1	usr/lib/debug/.build-id/34/1ab03a3ecd94f1452987eee95b3c78928d0ba2.debug


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000bb918·0008d8·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000bb918·0008d8·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000bd8d0·0008d8·000230·10··WA··4···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000bd8d0·0008d8·000230·10··WA··4···0··8
27	··[22]·.got··············NOBITS··········00000000000bdb00·0008d8·001500·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000bdb00·0008d8·001500·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000bf000·0008d8·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000bf000·0008d8·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000bf060·0008d8·000080·00··WA··0···0·32	29	··[24]·.bss··············NOBITS··········00000000000bf060·0008d8·000080·00··WA··0···0·32
30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001e·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001e·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00075e·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00075e·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009e0·29b~~31d~~·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009e0·29b2f4·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b~~d00~~·006836·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29bcd8·006836·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a2538·032c2a·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a2510·032c2a·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d5168·05a56f·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d5140·05a572·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32f6d8·0007d7·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32f6b8·0007d7·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32feb0·08837d·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32fe90·08837d·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3b8230·00cc0a·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3b8210·00cc04·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3c4e40·020155·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3c4e18·020155·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3e4f98·00d0b0·18·····36·1029··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3e4f70·00d0b0·18·····36·1029··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3f2048·02305a·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3f2020·02305a·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·4150a2·000184·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·41507a·000184·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),·l·(large),·p·(processor·specific)	47	··D·(mbind),·l·(large),·p·(processor·specific)


Offset 25, 15 lines modified		Offset 25, 15 lines modified
25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4c8ab):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4c8ab):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·33·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·33·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·46	29	····<2f>···DW_AT_decl_file···:·(data1)·46
30	····<30>···DW_AT_decl_line···:·(data2)·440	30	····<30>···DW_AT_decl_line···:·(data2)·440
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5b2c):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5b46):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·27·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·27·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51c65):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51c65):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·46	36	····<3d>···DW_AT_decl_file···:·(data1)·46
37	····<3e>···DW_AT_decl_line···:·(data2)·441	37	····<3e>···DW_AT_decl_line···:·(data2)·441
38	····<40>···DW_AT_decl_column·:·(data1)·13	38	····<40>···DW_AT_decl_column·:·(data1)·13
39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int	39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
Offset 51, 77 lines modified		Offset 51, 77 lines modified
51	·<1><51>:·Abbrev·Number:·18·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·18·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6357c):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6357c):·long·long·int
55	·<1><58>:·Abbrev·Number:·18·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·18·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ab56):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ab70):·long·double
59	·<1><5f>:·Abbrev·Number:·31·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·31·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5b2e):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5b48):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·46	61	····<64>···DW_AT_decl_file···:·(data1)·46
62	····<65>···DW_AT_decl_line···:·(data2)·451	62	····<65>···DW_AT_decl_line···:·(data2)·451
63	····<67>···DW_AT_decl_column·:·(data1)·3	63	····<67>···DW_AT_decl_column·:·(data1)·3
64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t	64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65	····<69>···DW_AT_alignment···:·(data1)·16	65	····<69>···DW_AT_alignment···:·(data1)·16
66	·<1><6a>:·Abbrev·Number:·40·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·40·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34ba1):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34ba1):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·18·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·18·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa298b):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa29a5):·unsigned·char
72	·<1><76>:·Abbrev·Number:·18·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·18·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5aede):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5aede):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·18·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·18·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1447f2):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1447f2):·unsigned·int
80	·<1><84>:·Abbrev·Number:·18·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·18·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd947d):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9497):·signed·char
84	·<1><8b>:·Abbrev·Number:·18·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·18·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b44e):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b44e):·short·int
88	·<1><92>:·Abbrev·Number:·34·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·34·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9bf2c):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9bf46):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·47	90	····<97>···DW_AT_decl_file···:·(data1)·47
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·29·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·29·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·34·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·34·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa819a):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa81b4):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·47	102	····<ab>···DW_AT_decl_file···:·(data1)·47
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·34·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·34·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5b3a):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5b54):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·47	108	····<b4>···DW_AT_decl_file···:·(data1)·47
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·10·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·10·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·24·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·24·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·18·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·18·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)	119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9484):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd949e):·char
121	·<1><c4>:·Abbrev·Number:·29·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·29·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·23·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·23·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>
126	·<2><ce>:·Abbrev·Number:·8·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·8·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·53	127	····<cf>···DW_AT_decl_file···:·(data1)·53
Offset 860, 33 lines modified		Offset 860, 33 lines modified
860	·<1><457>:·Abbrev·Number:·1·(DW_TAG_structure_type)	860	·<1><457>:·Abbrev·Number:·1·(DW_TAG_structure_type)
861	····<458>···DW_AT_name········:·(strp)·(offset:·0x11f59c):·typedef·__va_list_tag·__va_list_tag	861	····<458>···DW_AT_name········:·(strp)·(offset:·0x11f59c):·typedef·__va_list_tag·__va_list_tag
862	····<45c>···DW_AT_byte_size···:·(data1)·24	862	····<45c>···DW_AT_byte_size···:·(data1)·24
863	····<45d>···DW_AT_decl_file···:·(data1)·92	863	····<45d>···DW_AT_decl_file···:·(data1)·92
864	····<45e>···DW_AT_decl_line···:·(data1)·0	864	····<45e>···DW_AT_decl_line···:·(data1)·0
865	····<45f>···DW_AT_sibling·····:·(ref_udata)·<0x480>	865	····<45f>···DW_AT_sibling·····:·(ref_udata)·<0x480>
866	·<2><461>:·Abbrev·Number:·2·(DW_TAG_member)	866	·<2><461>:·Abbrev·Number:·2·(DW_TAG_member)
867	····<462>···DW_AT_name········:·(strp)·(offset:·0x74~~ef5~~):·gp_offset	867	····<462>···DW_AT_name········:·(strp)·(offset:·0x74f0f):·gp_offset
868	····<466>···DW_AT_decl_file···:·(implicit_const)·92	868	····<466>···DW_AT_decl_file···:·(implicit_const)·92
869	····<466>···DW_AT_decl_line···:·(implicit_const)·0	869	····<466>···DW_AT_decl_line···:·(implicit_const)·0
870	····<466>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	870	····<466>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
871	····<467>···DW_AT_data_member_location:·(data1)·0	871	····<467>···DW_AT_data_member_location:·(data1)·0
872	·<2><468>:·Abbrev·Number:·2·(DW_TAG_member)	872	·<2><468>:·Abbrev·Number:·2·(DW_TAG_member)
873	····<469>···DW_AT_name········:·(strp)·(offset:·0x8f971):·fp_offset	873	····<469>···DW_AT_name········:·(strp)·(offset:·0x8f98b):·fp_offset
874	····<46d>···DW_AT_decl_file···:·(implicit_const)·92	874	····<46d>···DW_AT_decl_file···:·(implicit_const)·92
875	····<46d>···DW_AT_decl_line···:·(implicit_const)·0	875	····<46d>···DW_AT_decl_line···:·(implicit_const)·0
876	····<46d>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	876	····<46d>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
877	····<46e>···DW_AT_data_member_location:·(data1)·4	877	····<46e>···DW_AT_data_member_location:·(data1)·4
878	·<2><46f>:·Abbrev·Number:·2·(DW_TAG_member)	878	·<2><46f>:·Abbrev·Number:·2·(DW_TAG_member)
879	····<470>···DW_AT_name········:·(strp)·(offset:·0x92bb5):·overflow_arg_area	879	····<470>···DW_AT_name········:·(strp)·(offset:·0x92bcf):·overflow_arg_area
880	····<474>···DW_AT_decl_file···:·(implicit_const)·92	880	····<474>···DW_AT_decl_file···:·(implicit_const)·92
881	····<474>···DW_AT_decl_line···:·(implicit_const)·0	881	····<474>···DW_AT_decl_line···:·(implicit_const)·0
882	····<474>···DW_AT_type········:·(ref_udata)·<0xb8>	882	····<474>···DW_AT_type········:·(ref_udata)·<0xb8>
883	····<476>···DW_AT_data_member_location:·(data1)·8	883	····<476>···DW_AT_data_member_location:·(data1)·8
884	·<2><477>:·Abbrev·Number:·2·(DW_TAG_member)	884	·<2><477>:·Abbrev·Number:·2·(DW_TAG_member)
885	····<478>···DW_AT_name········:·(strp)·(offset:·0xba063):·reg_save_area	885	····<478>···DW_AT_name········:·(strp)·(offset:·0xba07d):·reg_save_area
886	····<47c>···DW_AT_decl_file···:·(implicit_const)·92	886	····<47c>···DW_AT_decl_file···:·(implicit_const)·92
887	····<47c>···DW_AT_decl_line···:·(implicit_const)·0	887	····<47c>···DW_AT_decl_line···:·(implicit_const)·0
888	····<47c>···DW_AT_type········:·(ref_udata)·<0xb8>	888	····<47c>···DW_AT_type········:·(ref_udata)·<0xb8>
889	····<47e>···DW_AT_data_member_location:·(data1)·16	889	····<47e>···DW_AT_data_member_location:·(data1)·16
890	·<2><47f>:·Abbrev·Number:·0	890	·<2><47f>:·Abbrev·Number:·0
891	·<1><480>:·Abbrev·Number:·34·(DW_TAG_typedef)	891	·<1><480>:·Abbrev·Number:·34·(DW_TAG_typedef)
892	····<481>···DW_AT_name········:·(strp)·(offset:·0x116500):·wint_t	892	····<481>···DW_AT_name········:·(strp)·(offset:·0x116500):·wint_t
Max diff block lines reached; 37519310/37526899 bytes (99.98%) of diff not shown.


Offset 1806, 16 lines modified		Offset 1806, 16 lines modified
1806	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1806	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1807	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1807	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1808	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1808	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1809	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1809	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1810	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1810	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1811	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1811	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1812	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1812	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1813	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1813	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1814	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1814	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1815	··Offset:······················0x1d38	1815	··Offset:······················0x1d38
1816	··Version:·····················5	1816	··Version:·····················5
1817	··Offset·size:·················4	1817	··Offset·size:·················4

1818	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1818	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1819	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1819	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 49392, 16 lines modified		Offset 49392, 16 lines modified
49392	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	49392	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
49393	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	49393	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
49394	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	49394	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
49395	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	49395	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
49396	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	49396	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
49397	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	49397	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
49398	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	49398	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
49399	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	49399	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
49400	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	49400	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

49401	··Offset:······················0x40a1b	49401	··Offset:······················0x40a1b
49402	··Version:·····················5	49402	··Version:·····················5
49403	··Offset·size:·················4	49403	··Offset·size:·················4

49404	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	49404	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
49405	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	49405	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·15.2.0-4)·15.2.0
+"VC3,6vYY
+J-"y#H`#;U
+jzXkC:F
+!e`=]{m=
+hU7<E#LJ7
+/V`V;78U7
+B9!G!S%3
+Iw<pL0{Z7
+o/NM»   ZO3
+·!>9>pTG
+f@@_|Wv"WJ
+PAXuV^C
+aTT[!mO+
+Wa&G5Mkx
+"k}*Aay{t
+Uw[6:<ZS!
++mW1ar\y
+):J]7Z=\B
+Y·EhoCb>=C;
+X*qUI6H&
+gK&"iz#us
+=W4P"OC@
+·`Ilm1FG@
+#S@&Q@9R
+[d8?5?\o
+;^\$w:b
+VrkVn`~$
+W|O^x-o
+yd5A~&» j+(
+^Hr]HRwT
+O/W?·*d·
+,?2?dqHB
+>3\l:_6K}<
+O*bM%<?<Y
+|;»     wW9m'
+RUa_Lgds
+_^[=9nzd
+=k+={15H
+Q5#TiB`Qt
+?V$»    y»   #D6B
+TTdRi»  L*-
+YYTdeQ5V
+CL5r'*Ipw0
+X.}J_.=o
+iX+lEw» b.
+$sP`|eqze
+Wc>0_"b4e
+>3_KHK#/
+}^~~*!_z
+O5wr[!'2
+_&)VGjrW6S
+W2}2Ql0%
+qz$Z?m2NSc
+!A,:HoyC
+{>dO»   ;b6]
+BbN9il)[Qj
+mm%;,;K*
++G3WV{·
+mge&ffj~
+p`Nmqv%*
+JFCigxzU
+oSmQs)i/%
+vX"hQj=A:A
+~`,JF`!yy
+iP#MsLjd
+mlc19WlV
+[0mG#MdJ
+]PWaIw><
+^g[H-jgG
+{>s"1/V^
+q6t"Ao]5
+»       IF+o}S`V
+[»      Nm4jKp
+J6~vswBGz
+}T#LZEbV
+,HC>S#ow
+:)87|cGoN
+u.LAy8y|;
+QQC[!»  ;,k
++;ix.Ukn
+UFsAz/h9
+!ew5=$@y
+icr?_Zb8
+yW·O[k»  V
+evnA;^QH
+$+·K.E'I
+-p3Pp%G
+';iZ·w(#p
+Y6ZAY_)T
+=5tX5?l*
+*Ai\C»  ^8
+*s"ta!,-4
+·aYM_@|
+q2!!q,&
+X.DC/UG\
+XC9i10cC
+"}-0|}Qx
+._!t.O$XS
+RRoOi6xH
+e>nDqpM1Arb
+'ja!»   S+i
+<W_:9fAo
+Vm·ecq9P^
+<b%qL[#fVM9i/7
+mlUZ\KVH
+»     h3J]B
+\$G/Z:O?
+[Q@s-bBDO(Q
+XC#j,SHO-
+.f-N^kZ06
+y?^VG~1`a"l
+{?.pEw@g
+ZP9»    /gZ<
+rp%Y^i1nD
+]F!»  -<u
+%SU,wLh^
+Q?»     nF8R&
+OCP^(HI#xi
+<\E9/8K%
+P"cGwlf-/*LI
+$k·:Sa(» 'I
+>{^$]$pi(
+oNYHW,lW
+Ru0{u,x&K
+Q"11(3-zh
+iT)j{·k=


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/ef/ff65~~935de79fc4ab~~1b~~f6f05d98f1~~0~~14f~~6~~a99~~50.debug	1	usr/lib/debug/.build-id/40/f15da9bbfb52ddd1588132c633069764222598.debug


Offset 20, 49 lines modified		Offset 20, 49 lines modified
20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)	20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)
21	····<35>···DW_AT_byte_size···:·(data1)·8	21	····<35>···DW_AT_byte_size···:·(data1)·8
22	····<36>···DW_AT_encoding····:·(data1)·4» (float)	22	····<36>···DW_AT_encoding····:·(data1)·4» (float)
23	····<37>···DW_AT_name········:·(strp)·(offset:·0x740ac):·double	23	····<37>···DW_AT_name········:·(strp)·(offset:·0x740ac):·double
24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)	24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)
25	····<3c>···DW_AT_byte_size···:·(data1)·1	25	····<3c>···DW_AT_byte_size···:·(data1)·1
26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x80~~2fd~~):·unsigned·char	27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x80317):·unsigned·char
28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)	28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)
29	····<43>···DW_AT_byte_size···:·(data1)·2	29	····<43>···DW_AT_byte_size···:·(data1)·2
30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)	30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)
31	····<45>···DW_AT_name········:·(strp)·(offset:·0xdeb5d):·short·unsigned·int	31	····<45>···DW_AT_name········:·(strp)·(offset:·0xdeb77):·short·unsigned·int
32	·<1><49>:·Abbrev·Number:·1·(DW_TAG_base_type)	32	·<1><49>:·Abbrev·Number:·1·(DW_TAG_base_type)
33	····<4a>···DW_AT_byte_size···:·(data1)·4	33	····<4a>···DW_AT_byte_size···:·(data1)·4
34	····<4b>···DW_AT_encoding····:·(data1)·7» (unsigned)	34	····<4b>···DW_AT_encoding····:·(data1)·7» (unsigned)
35	····<4c>···DW_AT_name········:·(strp)·(offset:·0x14c866):·unsigned·int	35	····<4c>···DW_AT_name········:·(strp)·(offset:·0x14c866):·unsigned·int
36	·<1><50>:·Abbrev·Number:·20·(DW_TAG_const_type)	36	·<1><50>:·Abbrev·Number:·20·(DW_TAG_const_type)
37	····<51>···DW_AT_type········:·(ref_udata)·<0x49>,·unsigned·int	37	····<51>···DW_AT_type········:·(ref_udata)·<0x49>,·unsigned·int
38	·<1><52>:·Abbrev·Number:·1·(DW_TAG_base_type)	38	·<1><52>:·Abbrev·Number:·1·(DW_TAG_base_type)
39	····<53>···DW_AT_byte_size···:·(data1)·8	39	····<53>···DW_AT_byte_size···:·(data1)·8
40	····<54>···DW_AT_encoding····:·(data1)·7» (unsigned)	40	····<54>···DW_AT_encoding····:·(data1)·7» (unsigned)
41	····<55>···DW_AT_name········:·(strp)·(offset:·0x4e450):·long·unsigned·int	41	····<55>···DW_AT_name········:·(strp)·(offset:·0x4e450):·long·unsigned·int
42	·<1><59>:·Abbrev·Number:·20·(DW_TAG_const_type)	42	·<1><59>:·Abbrev·Number:·20·(DW_TAG_const_type)
43	····<5a>···DW_AT_type········:·(ref_udata)·<0x52>,·long·unsigned·int	43	····<5a>···DW_AT_type········:·(ref_udata)·<0x52>,·long·unsigned·int
44	·<1><5b>:·Abbrev·Number:·63·(DW_TAG_typedef)	44	·<1><5b>:·Abbrev·Number:·63·(DW_TAG_typedef)
45	····<5c>···DW_AT_name········:·(strp)·(offset:·0xbc4b0):·__int8_t	45	····<5c>···DW_AT_name········:·(strp)·(offset:·0xbc4ca):·__int8_t
46	····<60>···DW_AT_decl_file···:·(data1)·52	46	····<60>···DW_AT_decl_file···:·(data1)·52
47	····<61>···DW_AT_decl_line···:·(data1)·37	47	····<61>···DW_AT_decl_line···:·(data1)·37
48	····<62>···DW_AT_decl_column·:·(data1)·21	48	····<62>···DW_AT_decl_column·:·(data1)·21
49	····<63>···DW_AT_type········:·(ref_udata)·<0x64>,·signed·char	49	····<63>···DW_AT_type········:·(ref_udata)·<0x64>,·signed·char
50	·<1><64>:·Abbrev·Number:·1·(DW_TAG_base_type)	50	·<1><64>:·Abbrev·Number:·1·(DW_TAG_base_type)
51	····<65>···DW_AT_byte_size···:·(data1)·1	51	····<65>···DW_AT_byte_size···:·(data1)·1
52	····<66>···DW_AT_encoding····:·(data1)·6» (signed·char)	52	····<66>···DW_AT_encoding····:·(data1)·6» (signed·char)
53	····<67>···DW_AT_name········:·(strp)·(offset:·0xdd741):·signed·char	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xdd75b):·signed·char
54	·<1><6b>:·Abbrev·Number:·63·(DW_TAG_typedef)	54	·<1><6b>:·Abbrev·Number:·63·(DW_TAG_typedef)
55	····<6c>···DW_AT_name········:·(strp)·(offset:·0xb4928):·__uint8_t	55	····<6c>···DW_AT_name········:·(strp)·(offset:·0xb4942):·__uint8_t
56	····<70>···DW_AT_decl_file···:·(data1)·52	56	····<70>···DW_AT_decl_file···:·(data1)·52
57	····<71>···DW_AT_decl_line···:·(data1)·38	57	····<71>···DW_AT_decl_line···:·(data1)·38
58	····<72>···DW_AT_decl_column·:·(data1)·23	58	····<72>···DW_AT_decl_column·:·(data1)·23
59	····<73>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char	59	····<73>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char
60	·<1><74>:·Abbrev·Number:·63·(DW_TAG_typedef)	60	·<1><74>:·Abbrev·Number:·63·(DW_TAG_typedef)
61	····<75>···DW_AT_name········:·(strp)·(offset:·0xc0004):·__int16_t	61	····<75>···DW_AT_name········:·(strp)·(offset:·0xc001e):·__int16_t
62	····<79>···DW_AT_decl_file···:·(data1)·52	62	····<79>···DW_AT_decl_file···:·(data1)·52
63	····<7a>···DW_AT_decl_line···:·(data1)·39	63	····<7a>···DW_AT_decl_line···:·(data1)·39
64	····<7b>···DW_AT_decl_column·:·(data1)·26	64	····<7b>···DW_AT_decl_column·:·(data1)·26
65	····<7c>···DW_AT_type········:·(ref_udata)·<0x7d>,·short·int	65	····<7c>···DW_AT_type········:·(ref_udata)·<0x7d>,·short·int
66	·<1><7d>:·Abbrev·Number:·1·(DW_TAG_base_type)	66	·<1><7d>:·Abbrev·Number:·1·(DW_TAG_base_type)
67	····<7e>···DW_AT_byte_size···:·(data1)·2	67	····<7e>···DW_AT_byte_size···:·(data1)·2
68	····<7f>···DW_AT_encoding····:·(data1)·5» (signed)	68	····<7f>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 70, 15 lines modified		Offset 70, 15 lines modified
70	·<1><84>:·Abbrev·Number:·63·(DW_TAG_typedef)	70	·<1><84>:·Abbrev·Number:·63·(DW_TAG_typedef)
71	····<85>···DW_AT_name········:·(strp)·(offset:·0x53f6):·__uint16_t	71	····<85>···DW_AT_name········:·(strp)·(offset:·0x53f6):·__uint16_t
72	····<89>···DW_AT_decl_file···:·(data1)·52	72	····<89>···DW_AT_decl_file···:·(data1)·52
73	····<8a>···DW_AT_decl_line···:·(data1)·40	73	····<8a>···DW_AT_decl_line···:·(data1)·40
74	····<8b>···DW_AT_decl_column·:·(data1)·28	74	····<8b>···DW_AT_decl_column·:·(data1)·28
75	····<8c>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int	75	····<8c>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int
76	·<1><8d>:·Abbrev·Number:·63·(DW_TAG_typedef)	76	·<1><8d>:·Abbrev·Number:·63·(DW_TAG_typedef)
77	····<8e>···DW_AT_name········:·(strp)·(offset:·0xa0d84):·__int32_t	77	····<8e>···DW_AT_name········:·(strp)·(offset:·0xa0d9e):·__int32_t
78	····<92>···DW_AT_decl_file···:·(data1)·52	78	····<92>···DW_AT_decl_file···:·(data1)·52
79	····<93>···DW_AT_decl_line···:·(data1)·41	79	····<93>···DW_AT_decl_line···:·(data1)·41
80	····<94>···DW_AT_decl_column·:·(data1)·20	80	····<94>···DW_AT_decl_column·:·(data1)·20
81	····<95>···DW_AT_type········:·(ref_udata)·<0x9a>,·int	81	····<95>···DW_AT_type········:·(ref_udata)·<0x9a>,·int
82	·<1><97>:·Abbrev·Number:·20·(DW_TAG_const_type)	82	·<1><97>:·Abbrev·Number:·20·(DW_TAG_const_type)
83	····<98>···DW_AT_type········:·(ref_udata)·<0x8d>,·__int32_t,·int	83	····<98>···DW_AT_type········:·(ref_udata)·<0x8d>,·__int32_t,·int
84	·<1><9a>:·Abbrev·Number:·384·(DW_TAG_base_type)	84	·<1><9a>:·Abbrev·Number:·384·(DW_TAG_base_type)
Offset 90, 33 lines modified		Offset 90, 33 lines modified
90	·<1><a5>:·Abbrev·Number:·63·(DW_TAG_typedef)	90	·<1><a5>:·Abbrev·Number:·63·(DW_TAG_typedef)
91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1344ec):·__uint32_t	91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1344ec):·__uint32_t
92	····<aa>···DW_AT_decl_file···:·(data1)·52	92	····<aa>···DW_AT_decl_file···:·(data1)·52
93	····<ab>···DW_AT_decl_line···:·(data1)·42	93	····<ab>···DW_AT_decl_line···:·(data1)·42
94	····<ac>···DW_AT_decl_column·:·(data1)·22	94	····<ac>···DW_AT_decl_column·:·(data1)·22
95	····<ad>···DW_AT_type········:·(ref_udata)·<0x49>,·unsigned·int	95	····<ad>···DW_AT_type········:·(ref_udata)·<0x49>,·unsigned·int
96	·<1><ae>:·Abbrev·Number:·63·(DW_TAG_typedef)	96	·<1><ae>:·Abbrev·Number:·63·(DW_TAG_typedef)
97	····<af>···DW_AT_name········:·(strp)·(offset:·0x825d3):·__int64_t	97	····<af>···DW_AT_name········:·(strp)·(offset:·0x825ed):·__int64_t
98	····<b3>···DW_AT_decl_file···:·(data1)·52	98	····<b3>···DW_AT_decl_file···:·(data1)·52
99	····<b4>···DW_AT_decl_line···:·(data1)·44	99	····<b4>···DW_AT_decl_line···:·(data1)·44
100	····<b5>···DW_AT_decl_column·:·(data1)·25	100	····<b5>···DW_AT_decl_column·:·(data1)·25
101	····<b6>···DW_AT_type········:·(ref_udata)·<0xb8>,·long·int	101	····<b6>···DW_AT_type········:·(ref_udata)·<0xb8>,·long·int
102	·<1><b8>:·Abbrev·Number:·1·(DW_TAG_base_type)	102	·<1><b8>:·Abbrev·Number:·1·(DW_TAG_base_type)
103	····<b9>···DW_AT_byte_size···:·(data1)·8	103	····<b9>···DW_AT_byte_size···:·(data1)·8
104	····<ba>···DW_AT_encoding····:·(data1)·5» (signed)	104	····<ba>···DW_AT_encoding····:·(data1)·5» (signed)
105	····<bb>···DW_AT_name········:·(strp)·(offset:·0xe789b):·long·int	105	····<bb>···DW_AT_name········:·(strp)·(offset:·0xe78b7):·long·int
106	·<1><bf>:·Abbrev·Number:·20·(DW_TAG_const_type)	106	·<1><bf>:·Abbrev·Number:·20·(DW_TAG_const_type)
107	····<c0>···DW_AT_type········:·(ref_udata)·<0xb8>,·long·int	107	····<c0>···DW_AT_type········:·(ref_udata)·<0xb8>,·long·int
108	·<1><c2>:·Abbrev·Number:·63·(DW_TAG_typedef)	108	·<1><c2>:·Abbrev·Number:·63·(DW_TAG_typedef)
109	····<c3>···DW_AT_name········:·(strp)·(offset:·0x1132bd):·__uint64_t	109	····<c3>···DW_AT_name········:·(strp)·(offset:·0x1132bd):·__uint64_t
110	····<c7>···DW_AT_decl_file···:·(data1)·52	110	····<c7>···DW_AT_decl_file···:·(data1)·52
111	····<c8>···DW_AT_decl_line···:·(data1)·45	111	····<c8>···DW_AT_decl_line···:·(data1)·45
112	····<c9>···DW_AT_decl_column·:·(data1)·27	112	····<c9>···DW_AT_decl_column·:·(data1)·27
113	····<ca>···DW_AT_type········:·(ref_udata)·<0x52>,·long·unsigned·int	113	····<ca>···DW_AT_type········:·(ref_udata)·<0x52>,·long·unsigned·int
114	·<1><cb>:·Abbrev·Number:·63·(DW_TAG_typedef)	114	·<1><cb>:·Abbrev·Number:·63·(DW_TAG_typedef)
115	····<cc>···DW_AT_name········:·(strp)·(offset:·0xe99ad):·__int_least8_t	115	····<cc>···DW_AT_name········:·(strp)·(offset:·0xe99c9):·__int_least8_t
116	····<d0>···DW_AT_decl_file···:·(data1)·52	116	····<d0>···DW_AT_decl_file···:·(data1)·52
117	····<d1>···DW_AT_decl_line···:·(data1)·52	117	····<d1>···DW_AT_decl_line···:·(data1)·52
118	····<d2>···DW_AT_decl_column·:·(data1)·18	118	····<d2>···DW_AT_decl_column·:·(data1)·18
119	····<d3>···DW_AT_type········:·(ref_udata)·<0x5b>,·__int8_t,·signed·char	119	····<d3>···DW_AT_type········:·(ref_udata)·<0x5b>,·__int8_t,·signed·char
120	·<1><d4>:·Abbrev·Number:·63·(DW_TAG_typedef)	120	·<1><d4>:·Abbrev·Number:·63·(DW_TAG_typedef)
121	····<d5>···DW_AT_name········:·(strp)·(offset:·0x2fa51):·__uint_least8_t	121	····<d5>···DW_AT_name········:·(strp)·(offset:·0x2fa51):·__uint_least8_t
122	····<d9>···DW_AT_decl_file···:·(data1)·52	122	····<d9>···DW_AT_decl_file···:·(data1)·52
Offset 126, 63 lines modified		Offset 126, 63 lines modified
126	·<1><dd>:·Abbrev·Number:·63·(DW_TAG_typedef)	126	·<1><dd>:·Abbrev·Number:·63·(DW_TAG_typedef)
127	····<de>···DW_AT_name········:·(strp)·(offset:·0x136a9c):·__int_least16_t	127	····<de>···DW_AT_name········:·(strp)·(offset:·0x136a9c):·__int_least16_t
128	····<e2>···DW_AT_decl_file···:·(data1)·52	128	····<e2>···DW_AT_decl_file···:·(data1)·52
129	····<e3>···DW_AT_decl_line···:·(data1)·54	129	····<e3>···DW_AT_decl_line···:·(data1)·54
130	····<e4>···DW_AT_decl_column·:·(data1)·19	130	····<e4>···DW_AT_decl_column·:·(data1)·19
131	····<e5>···DW_AT_type········:·(ref_udata)·<0x74>,·__int16_t,·short·int	131	····<e5>···DW_AT_type········:·(ref_udata)·<0x74>,·__int16_t,·short·int
132	·<1><e6>:·Abbrev·Number:·63·(DW_TAG_typedef)	132	·<1><e6>:·Abbrev·Number:·63·(DW_TAG_typedef)
133	····<e7>···DW_AT_name········:·(strp)·(offset:·0xb46b3):·__uint_least16_t	133	····<e7>···DW_AT_name········:·(strp)·(offset:·0xb46cd):·__uint_least16_t
134	····<eb>···DW_AT_decl_file···:·(data1)·52	134	····<eb>···DW_AT_decl_file···:·(data1)·52
135	····<ec>···DW_AT_decl_line···:·(data1)·55	135	····<ec>···DW_AT_decl_line···:·(data1)·55
136	····<ed>···DW_AT_decl_column·:·(data1)·20	136	····<ed>···DW_AT_decl_column·:·(data1)·20
137	····<ee>···DW_AT_type········:·(ref_udata)·<0x84>,·__uint16_t,·short·unsigned·int	137	····<ee>···DW_AT_type········:·(ref_udata)·<0x84>,·__uint16_t,·short·unsigned·int
138	·<1><f0>:·Abbrev·Number:·63·(DW_TAG_typedef)	138	·<1><f0>:·Abbrev·Number:·63·(DW_TAG_typedef)
139	····<f1>···DW_AT_name········:·(strp)·(offset:·0x1157ac):·__int_least32_t	139	····<f1>···DW_AT_name········:·(strp)·(offset:·0x1157ac):·__int_least32_t
140	····<f5>···DW_AT_decl_file···:·(data1)·52	140	····<f5>···DW_AT_decl_file···:·(data1)·52
141	····<f6>···DW_AT_decl_line···:·(data1)·56	141	····<f6>···DW_AT_decl_line···:·(data1)·56
142	····<f7>···DW_AT_decl_column·:·(data1)·19	142	····<f7>···DW_AT_decl_column·:·(data1)·19
143	····<f8>···DW_AT_type········:·(ref_udata)·<0x8d>,·__int32_t,·int	143	····<f8>···DW_AT_type········:·(ref_udata)·<0x8d>,·__int32_t,·int
144	·<1><fa>:·Abbrev·Number:·63·(DW_TAG_typedef)	144	·<1><fa>:·Abbrev·Number:·63·(DW_TAG_typedef)
145	····<fb>···DW_AT_name········:·(strp)·(offset:·0x95a6d):·__uint_least32_t	145	····<fb>···DW_AT_name········:·(strp)·(offset:·0x95a87):·__uint_least32_t
146	····<ff>···DW_AT_decl_file···:·(data1)·52	146	····<ff>···DW_AT_decl_file···:·(data1)·52
147	····<100>···DW_AT_decl_line···:·(data1)·57	147	····<100>···DW_AT_decl_line···:·(data1)·57
148	····<101>···DW_AT_decl_column·:·(data1)·20	148	····<101>···DW_AT_decl_column·:·(data1)·20
149	····<102>···DW_AT_type········:·(ref_udata)·<0xa5>,·__uint32_t,·unsigned·int	149	····<102>···DW_AT_type········:·(ref_udata)·<0xa5>,·__uint32_t,·unsigned·int
150	·<1><104>:·Abbrev·Number:·63·(DW_TAG_typedef)	150	·<1><104>:·Abbrev·Number:·63·(DW_TAG_typedef)
151	····<105>···DW_AT_name········:·(strp)·(offset:·0xf8ece):·__int_least64_t	151	····<105>···DW_AT_name········:·(strp)·(offset:·0xf8ece):·__int_least64_t
152	····<109>···DW_AT_decl_file···:·(data1)·52	152	····<109>···DW_AT_decl_file···:·(data1)·52
Max diff block lines reached; 11487981/11495515 bytes (99.93%) of diff not shown.


Offset 5062, 16 lines modified		Offset 5062, 16 lines modified
5062	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	5062	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5063	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	5063	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5064	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	5064	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5065	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5065	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5066	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5066	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5067	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5067	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5068	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5068	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5069	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	5069	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
5070	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	5070	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

5071	··Offset:······················0x70c5	5071	··Offset:······················0x70c5
5072	··Version:·····················5	5072	··Version:·····················5
5073	··Offset·size:·················4	5073	··Offset·size:·················4

5074	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	5074	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5075	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	5075	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1

+GCC:·(Debian·15.2.0-4)·15.2.0
+ObwBxS5Qo
+e\jHgNq`6
+plcj,IV`
+wF<P;`Wu
+P-J)c@WI[
+g"w&JOT,
+gt@2>~AK
+ZGZL8Db~l
+.U+21Sk[O
+r-^i5Zo\'
+)1145F*Z
+u»      4"AsG?
++;ko5eg
+^H2egoosaF
+z'[mgu==
+&uZyF;;me
+<JF0nQ!Qy
+i-vPv;jh
+EO>!rTv+
+;WMd{=xR
+rf5\_]<
+\u<xngw"\G
+<}Ql<P"R
+g"w'JOUl
+|kn!>#·X{
+^3n4"!J2'
+Ch]Kze|[
+-2&K{%g$
+ae=2`0,Yj
+F25FQO?D
+JF?ve"'CI{
+gQO&·.~n
+gk=P@+» o%
+lN<$_myt8o
+L!ldgSWL
+.#Iv9?Ja
+UxO8+3d4<
+`Q,KT1cf
+)LILc+»
+%i7K%h`
+<3vdVL16d
+js/K5~}{
+VyJGdo.&
+GdcG-80U="
+Sb"XiZ3G
+W,:A*NH7
+;!B6Rm'Dd
+Vb/,"3
+d*t217h:
+(>@LC{#:R|
+fFKV{afT
+#8kq={I?
+LDkbxnC'I
+X%%$a~_,\h
+e}JZNw,w
+j{/neO6wh
+TkpA\VdG
+>»      ogfa%}
+\30Bxo~?
+aJ2RKn·:Hv
+<DJ2JKZ!:
+PJ2EK^Dt
+r>G3QkZH;
+pKQ3Ek2
+c{G2JKz!:x
+ys\?'?;t
+>R~9HmdvG
+a/f0N~Ex
+kFz-{;X~
+)Gb5fpd9
+$cYj]b"k
+*+/»    SZDMB
+Ol"W9&iU
+Q»      0J,6kF
+Y`Wul=J»
+KSsG=,M7
+f{»     uM>5G
+jBxsSov1A
+`.R_m>`bv
+[^o5xg7]
+kZVIta{{
+%6yO5/Ov
+IH?{P+G
+@mCLk9?O
+zIB_$(yW
+P&A!U&4^i
++V2+~RfCJf
+zn9gf}~^
+[53+W2{
+t:gf}~^
+&OOn#3dg
+w-]3,*sc
+a=m6Tz--
+v]]3,*sc
+fMh0dUW~
+u?m2K!f)
+u/·pK7Y8
+b=o4Y/%k
+:P.isRLf
+gc2[k;Mg
+{jLgkmgX
+k[Lg{lggi
+^;b:;c;
+^[j:[e;
+l+5lg:{Rz-9
+|j7rVC}
+zQ_Bc)He
+oWs^OI+v
+CZ»     $kaT2
+[v:\'B0$=y
+Lsee^0Wf
+DQBS0·kie
+&yqS7GiP
+kG?`7u%h
+(f?»    du%e>
+Q,O..r)
+f.s-i"
++cT)c1qSv!
+o»      `=aky2
+_~$HCo)Z
+PYCV!]/[
+~»      svV1ge
+·B<d6MA4
+YewR0z$T
+#Ni?&i?
+·M[HuW8


Offset 7980, 7841 lines modified		Offset 7980, 7841 lines modified
7980	··[·76d42]··__pyx_mdef_16cvc5_python_base_6Solver_227declareSepHeap	7980	··[·76d42]··__pyx_mdef_16cvc5_python_base_6Solver_227declareSepHeap
7981	··[·76d7a]··__STDCPP_MATH_SPEC_FUNCS__·201003L	7981	··[·76d7a]··__STDCPP_MATH_SPEC_FUNCS__·201003L
7982	··[·76d9d]··setStreamInput	7982	··[·76d9d]··setStreamInput
7983	··[·76dac]··iswupper	7983	··[·76dac]··iswupper
7984	··[·76db5]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal12SolverEngineEEEEC4Ev	7984	··[·76db5]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal12SolverEngineEEEEC4Ev
7985	··[·76e06]··STA_PPSSIGNAL·0x0100	7985	··[·76e06]··STA_PPSSIGNAL·0x0100
Diff chunk too large, falling back to line-by-line diff (7827 lines added, 7827 lines removed)
7986	··[·76e1b]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv	7986	··[·76e1b]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv
7987	··[·76eaf]··~~_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEEEN4cvc54Sort~~EE~~SaIS9_EE~~1~~2_Vector_implC4EOSA_~~	7987	··[·76eaf]··DEB_BUILD_TIME·"01:13:23"
7988	··[·76~~f2a~~]··__~~DECL~~_SIMD_log1pf·	7988	··[·76ec9]··_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE12_Vector_implC4EOSA_
7989	··[·76f3e]··_~~SIZE~~_T_D~~ECLARED~~·	7989	··[·76f44]··__DECL_SIMD_log1pf·
7990	··[·76f50]··_ZNS~~t4pair~~I~~KN4cvc54~~T~~ermES~~1_EC~~4EOS3_~~	7990	··[·76f58]··_SIZE_T_DECLARED·
7991	··[·76f74]··~~__glibcxx~~_~~requires_c~~an_incr~~ement_rang~~e~~(_Fi~~r~~st1,_Last~~1,_~~First2)·~~	7991	··[·76f6a]··_ZNSt4pairIKN4cvc54TermES1_EC4EOS3_
7992	··[·76fb4]··_~~ZNSt11~~char_trait~~sIwE2eqERKwS~~2_	7992	··[·76f8e]··__glibcxx_requires_can_increment_range(_First1,_Last1,_First2)·
7993	··[·76fd4]··_ZNSt16~~in_place_~~in~~dex_tILm4EEC4Ev~~	7993	··[·76fce]··_ZNSt11char_traitsIwE2eqERKwS2_
7994	··[·76ff6]··_unused2	7994	··[·76fee]··_ZNSt16in_place_index_tILm4EEC4Ev
7995	··[·7~~6fff~~]··~~__get_n<4,~~·~~std::__detail::__variant::_Variadic~~_~~union<false,·cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::Val~~u~~eInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionI~~n~~f[·...·tr~~u~~ncated·by·diffo~~s~~cope;·len:·141,·SHA:·7076e7acdd0be56e41e3a93d78530e1~~e~~529add4a~~d~~3c40ef71721bc~~2~~3a606ac5d·...·]~~	7995	··[·77010]··_unused2
7996	··[·771~~86]~~··__~~pyx~~_n_s_BITV~~ECT~~O~~R_ASHR~~·__pyx_mstat~~e_g~~lobal->__py~~x_n_~~s~~_BITVECTOR_A~~SHR	7996	··[·77019]··__get_n<4,·std::__detail::__variant::_Variadic_union<false,·cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo[·...·truncated·by·diffoscope;·len:·140,·SHA:·2c87391c89c287079bf97b6ef82937044350fb41a9232ce75cb26f19134f0b3c·...·]
7997	··[·771cd]··__uint_leas~~t64~~_t	7997	··[·771a0]··__pyx_n_s_BITVECTOR_ASHR·__pyx_mstate_global->__pyx_n_s_BITVECTOR_ASHR
7998	··[·771de]··~~_ZNSt8_Rb_treeINSt7_~~_~~cxx1112basic~~_strin~~gIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEES~~t10_Select1st~~ISA_ES~~t4~~lessIS5_ESaISA~~_~~EE5clearE~~v	7998	··[·771e7]··__uint_least64_t
7999	··[·77~~26a~~]··_ZNKSt23_Rb_tree_const_iteratorIN4cvc54TermEEptEv	7999	··[·771f8]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE5clearEv
8000	··[·7729c]··Py_~~CAPSUL~~E~~_H·~~	8000	··[·77284]··_ZNKSt23_Rb_tree_const_iteratorIN4cvc54TermEEptEv
8001	··[·772aa]··~~_ZNKSt15__new_allocatorISt13_Rb_tree_nodeISt4pairIKNSt7__cxx1112basic_stringIcSt11ch~~ar_~~traitsIcE~~S~~aIcEEEm~~EEE~~11_M_max~~_~~size~~Ev	8001	··[·772b6]··Py_CAPSULE_H·
8002	··[·77~~325~~]··__~~DECL~~_SIMD_cosh~~f64~~x·	8002	··[·772c4]··_ZNKSt15__new_allocatorISt13_Rb_tree_nodeISt4pairIKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEE11_M_max_sizeEv
8003	··[·7733b]··~~_CS_POSIX_V7_ILP32~~_~~OFFBIG~~_LD~~FLAGS·~~_CS_POS~~IX_V7_~~ILP32_~~OFFBIG_LDFLAGS~~	8003	··[·7733f]··__DECL_SIMD_coshf64x·
8004	··[·7737f]··_~~GLIBCX~~X_SI~~ZED~~_DEA~~LLO~~C~~(p,n)·(p),·(n)·*·sizeof(_Tp)~~	8004	··[·77355]··_CS_POSIX_V7_ILP32_OFFBIG_LDFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LDFLAGS
8005	··[·773b2]··~~_Head~~_~~base<1,·std::default~~_~~delete<cvc5::Stat::StatData>,·true>~~	8005	··[·77399]··_GLIBCXX_SIZED_DEALLOC(p,n)·(p),·(n)·*·sizeof(_Tp)
8006	··[·773f1]··Py_tp_setattro·69	8006	··[·773cc]··_Head_base<1,·std::default_delete<cvc5::Stat::StatData>,·true>
8007	··[·77403]··_M_left	8007	··[·7740b]··Py_tp_setattro·69
8008	··[·7740b]··_~~ZNSt6lo~~caleD1Ev	8008	··[·7741d]··_M_left
8009	··[·7741c]··~~__pyx~~_~~pw_1~~6~~cvc5_pyt~~hon_ba~~se_6So~~lve~~r_95mkS~~epEmp	8009	··[·77425]··_ZNSt6localeD1Ev
8010	··[·7744b]··~~_ZNSt12~~__~~shared~~_pt~~rIN4~~cvc5~~8internal16DT~~yp~~eCon~~st~~ruc~~to~~rELN9__g~~nu_c~~xx12~~_~~Lock~~_poli~~cyE2EE4swa~~pERS5_	8010	··[·77436]··__pyx_pw_16cvc5_python_base_6Solver_95mkSepEmp
8011	··[·774aa]··_ZNSt6vector~~IjSaIjEE~~C4E~~OS1~~_~~RKS0~~_St1~~7integra~~l_c~~onstantIbLb1EE~~	8011	··[·77465]··_ZNSt12__shared_ptrIN4cvc58internal16DTypeConstructorELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_
8012	··[·774e7]··_~~_pyx_mdef_16cvc5_python~~_~~base~~_~~6Solv~~er_~~53mkNulla~~bl~~eSort~~	8012	··[·774c4]··_ZNSt6vectorIjSaIjEEC4EOS1_RKS0_St17integral_constantIbLb1EE
8013	··[·7751e]··__pyx_codeo~~bj__14·_~~_py~~x_mst~~ate_global~~->_~~_~~pyx_codeo~~b~~j__14~~	8013	··[·77501]··__pyx_mdef_16cvc5_python_base_6Solver_53mkNullableSort
8014	··[·77557]··__pyx_n~~_s_INST~~_NO_~~PATTE~~RN·__pyx_mstate_global->__pyx_n~~_s_INST~~_NO_~~PATTE~~RN	8014	··[·77538]··__pyx_codeobj__14·__pyx_mstate_global->__pyx_codeobj__14
8015	··[·775a0]··__pyx_~~type~~_~~16cvc5~~_pyt~~hon~~_base_Op	8015	··[·77571]··__pyx_n_s_INST_NO_PATTERN·__pyx_mstate_global->__pyx_n_s_INST_NO_PATTERN
8016	··[·775c1]··~~HAVE~~_~~CTERMID·1~~	8016	··[·775ba]··__pyx_type_16cvc5_python_base_Op
8017	··[·775d0]··~~__pyx_n_s~~_~~Datatype~~C~~onstructor~~D~~ecl___setsta~~·~~__pyx_mstate_global->__pyx_n_s_DatatypeConstructorDecl___setst~~a	8017	··[·775db]··HAVE_CTERMID·1
8018	··[·77~~63b~~]··_~~ZN4~~cvc~~510S~~tatistics8iterator~~mmEi~~	8018	··[·775ea]··__pyx_n_s_DatatypeConstructorDecl___setsta·__pyx_mstate_global->__pyx_n_s_DatatypeConstructorDecl___setsta
8019	··[·7765d]··_Z~~N9__gnu_cxx14__alloc_traitsISaISt4pairIK~~N4cvc5~~4Term~~ENSt~~7__cxx1112b~~asic_stri~~ngIcSt11~~c~~har_t~~rait~~sIcESaIcEEEEESB_E15_S_a~~lwa~~ys_equal~~Ev	8019	··[·77655]··_ZN4cvc510Statistics8iteratormmEi
8020	··[·776e1]··SCNxFAST~~64·~~__PRI64_PREFI~~X·"x"~~	8020	··[·77677]··_ZN9__gnu_cxx14__alloc_traitsISaISt4pairIKN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESB_E15_S_always_equalEv
8021	··[·776ff]··_ZN~~4cvc510~~S~~tatistics8iteratormmEv~~	8021	··[·776fb]··SCNxFAST64·__PRI64_PREFIX·"x"
8022	··[·77721]··_~~_pyx_k_getSygu~~s~~Con~~stra~~ints~~	8022	··[·77719]··_ZN4cvc510Statistics8iteratormmEv
8023	··[·7773d]··__pyx~~_doc~~_~~16cvc~~5_pytho~~n_ba~~s~~e_6~~So~~lver_204~~getDifficulty	8023	··[·7773b]··__pyx_k_getSygusConstraints
8024	··[·77773]··return_eq	8024	··[·77757]··__pyx_doc_16cvc5_python_base_6Solver_204getDifficulty
8025	··[·7777d]··~~__pyx_k_LFSC~~_RULE	8025	··[·7778d]··return_eq
8026	··[·7778f]··~~__pyx_n_s_Sort_getBagElementSort~~·~~__pyx_mstate_global->~~__pyx_n_s_Sort_~~getBag~~E~~lementSort~~	8026	··[·77797]··__pyx_k_LFSC_RULE
8027	··[·777e6]··__pyx_t~~p_n~~e~~w_16cvc5~~_pyt~~hon~~_ba~~se_~~__pyx_scope_~~struct_2___i~~t~~er__~~	8027	··[·777a9]··__pyx_n_s_Sort_getBagElementSort·__pyx_mstate_global->__pyx_n_s_Sort_getBagElementSort
8028	··[·77824]··__pyx_pw_16cvc5_python_base_~~4Sort~~_~~115g~~etAr~~rayElemen~~t~~Sort~~	8028	··[·77800]··__pyx_tp_new_16cvc5_python_base___pyx_scope_struct_2___iter__
8029	··[·7785d]··~~OPT~~_~~STAT~~_~~INC(~~name~~)·((void)0)~~	8029	··[·7783e]··__pyx_pw_16cvc5_python_base_4Sort_115getArrayElementSort
8030	··[·7787a]··_~~_pyx~~_k_ac	8030	··[·77877]··OPT_STAT_INC(name)·((void)0)
8031	··[·77885]··~~_ZNSt12~~_~~Vector~~_~~baseISt4~~p~~airINSt7__c~~xx~~1112basic~~_~~stringIcSt11cha~~r_~~traitsIcESaIcEEEN4cvc54SortEES~~a~~IS9_EE12_Ve~~c~~tor_implC4EOSC_~~	8031	··[·77894]··__pyx_k_ac
8032	··[·77~~900~~]··__NO_~~CTYP~~E·1	8032	··[·7789f]··_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE12_Vector_implC4EOSC_
8033	··[·7790d]··ULO~~NG_WIDTH~~	8033	··[·7791a]··__NO_CTYPE·1
8034	··[·77919]··~~PY_PARSER_REQUIRES_F~~U~~TURE~~_~~KEY~~W~~ORD·~~	8034	··[·77927]··ULONG_WIDTH
8035	··[·7793c]··__~~statx_timestamp~~_~~defined~~·1	8035	··[·77933]··PY_PARSER_REQUIRES_FUTURE_KEYWORD·
8036	··[·77958]··_ZNSt~~16alloc~~ator_trai~~tsISaISt6~~vect~~orIN4cvc54TermES~~aIS2_~~EEEE7~~de~~stroyIS4_EEvRS5_PT_~~	8036	··[·77956]··__statx_timestamp_defined·1
8037	··[·779aa]··__~~pyx_k_g~~etValueS~~epHeap~~	8037	··[·77972]··_ZNSt16allocator_traitsISaISt6vectorIN4cvc54TermESaIS2_EEEE7destroyIS4_EEvRS5_PT_
8038	··[·779c2]··_~~ZNKSt3m~~ap~~IN4cvc54TermE~~S1_~~St4lessIS~~1_~~ESa~~ISt4pa~~irIKS1_~~S~~1_EEE8max_siz~~eEv	8038	··[·779c4]··__pyx_k_getValueSepHeap
8039	··[·77~~a09~~]··_~~GLIBCXX_ASAN_ANNO~~TATE_SHRINK~~(n)·~~	8039	··[·779dc]··_ZNKSt3mapIN4cvc54TermES1_St4lessIS1_ESaISt4pairIKS1_S1_EEE8max_sizeEv
8040	··[·77a2b]··~~__pyx_codeobj_~~_44~~7·__pyx~~_ms~~tate~~_~~global->__pyx~~_co~~deobj__447~~	8040	··[·77a23]··_GLIBCXX_ASAN_ANNOTATE_SHRINK(n)·
8041	··[·77a66]··__pyx_mdef_~~16cvc5~~_pyt~~hon_b~~ase_~~4Term~~_~~76getInt~~e~~gerValue~~	8041	··[·77a45]··__pyx_codeobj__447·__pyx_mstate_global->__pyx_codeobj__447
8042	··[·77a9c]··_~~ZNSt8~~_~~Rb_tre~~e~~INSt7~~__~~cxx11~~1~~2bas~~ic~~_string~~Ic~~St11c~~har_traits~~IcESaIcEEESt4pairIKS~~5_~~N4cvc5~~4~~StatEESt10~~_~~Sel~~e~~ct1s~~tI~~SA_E~~St4le~~ssIS5_ESaISA_EEC4EOSG_OSaISt13_Rb_t~~re~~e_nod~~e~~ISA_EE~~	8042	··[·77a80]··__pyx_mdef_16cvc5_python_base_4Term_76getIntegerValue
8043	··[·77~~b42~~]··_ZNSt4pairIN4cvc56~~Result~~ESt6vect~~orIN~~S0_4TermESaIS3_EEED2Ev	8043	··[·77ab6]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4EOSG_OSaISt13_Rb_tree_nodeISA_EE
8044	··[·77b7d]··__py~~x_n_s_~~ad~~dSygusConstrain~~t~~·__pyx_~~mstate_glob~~al->_~~_p~~yx_n_s_~~addS~~ygusConstraint~~	8044	··[·77b5c]··_ZNSt4pairIN4cvc56ResultESt6vectorINS0_4TermESaIS3_EEED2Ev
8045	··[·77bcc]··Py~~Err~~_Bad~~Inter~~n~~alC~~al~~l()~~·_P~~yErr~~_B~~adIn~~te~~rnalC~~all(__~~FILE~~__~~,·__LINE__)~~	8045	··[·77b97]··__pyx_n_s_addSygusConstraint·__pyx_mstate_global->__pyx_n_s_addSygusConstraint
8046	··[·77~~c0f~~]··~~__pyx~~_~~pw_16cvc5_python~~_~~base~~_~~6Solv~~er~~_257b~~l~~ockModelValues~~	8046	··[·77be6]··PyErr_BadInternalCall()·_PyErr_BadInternalCall(__FILE__,·__LINE__)
8047	··[·77c47]··_~~ZNSt4~~pai~~rIN4~~cvc5~~6Resul~~tES~~t6vectorIN~~S0~~_4T~~er~~mESaIS3_EEEaSERKS6_~~	8047	··[·77c29]··__pyx_pw_16cvc5_python_base_6Solver_257blockModelValues
8048	··[·77c86]··_ZNSt~~23_Rb_tree_con~~st_it~~era~~torIN4c~~vc5~~4Term~~EEC4~~ERKS~~t17_Rb_tree~~_i~~ter~~a~~torI~~S1_E	8048	··[·77c61]··_ZNSt4pairIN4cvc56ResultESt6vectorINS0_4TermESaIS3_EEEaSERKS6_
8049	··[·77cd2]··_PSTL_~~CONF~~I~~G_H·~~	8049	··[·77ca0]··_ZNSt23_Rb_tree_const_iteratorIN4cvc54TermEEC4ERKSt17_Rb_tree_iteratorIS1_E
8050	··[·77ce2]··_POSIX_DE~~LAYT~~IMER_MAX·32	8050	··[·77cec]··_PSTL_CONFIG_H·
8051	··[·77cfb]··~~int~~_~~n_sign~~_~~posn~~	8051	··[·77cfc]··_POSIX_DELAYTIMER_MAX·32
8052	··[·77d0b]··~~_POSIX_QLIMIT·1~~	8052	··[·77d15]··int_n_sign_posn
8053	··[·77d1b]··_~~ZNKSt6vectorIN4cvc512DatatypeDec~~lESaIS1_~~EE6rbeginEv~~	8053	··[·77d25]··_POSIX_QLIMIT·1
8054	··[·77d50]··_ZNSt16allocato~~r_t~~r~~aitsISa~~IN4cvc5~~5ProofEEE8al~~locateE~~RS2_mPK~~v	8054	··[·77d35]··_ZNKSt6vectorIN4cvc512DatatypeDeclESaIS1_EE6rbeginEv
8055	··[·77d8d]··__~~pyx~~_~~k_b~~v	8055	··[·77d6a]··_ZNSt16allocator_traitsISaIN4cvc55ProofEEE8allocateERS2_mPKv
8056	··[·77d98]··~~_ZNSt15~~__~~new~~_~~allocatorIjEC2E~~v	8056	··[·77da7]··__pyx_k_bv
8057	··[·77db6]··_ZSt4co~~she~~	8057	··[·77db2]··_ZNSt15__new_allocatorIjEC2Ev
8058	··[·77dc1]··_ZSt4coshf	8058	··[·77dd0]··_ZSt4coshe
8059	··[·77dcc]··_S~~entinel~~	8059	··[·77ddb]··_ZSt4coshf
8060	··[·77dd6]··_ZNS~~t22_~~Option~~al_payload_bas~~eIl~~E8_M_resetEv~~	8060	··[·77de6]··_Sentinel
8061	··[·77~~e02~~]··~~rew~~ind	8061	··[·77df0]··_ZNSt22_Optional_payload_baseIlE8_M_resetEv
8062	··[·77e09]··nb~~_float~~	8062	··[·77e1c]··rewind
8063	··[·77e12]··~~_Head_base<0,~~·~~cvc5::i~~nte~~rna~~l~~::Rand~~o~~m*,·f~~a~~lse~~>	8063	··[·77e23]··nb_float
8064	··[·77e40]··~~__pyx_kp_u~~_verba~~tim_embe~~d~~_rst~~_~~leading~~_aste~~_68~~·__~~pyx_msta~~te~~_gl~~obal~~->__pyx_kp_u_verb~~a~~tim_emb~~ed_~~rst_le~~a~~ding_~~aste_68	8064	··[·77e2c]··_Head_base<0,·cvc5::internal::Random*,·false>
8065	··[·77eb1]··~_Vector_base	8065	··[·77e5a]··__pyx_kp_u_verbatim_embed_rst_leading_aste_68·__pyx_mstate_global->__pyx_kp_u_verbatim_embed_rst_leading_aste_68
8066	··[·77ebf]··__glibc~~xx_wan~~t_fr~~eestanding~~_~~var~~iant	8066	··[·77ecb]··~_Vector_base
8067	··[·77ee3]··~~__pyx~~_n_s~~_REGEXP~~_~~INTER·_~~_p~~yx_m~~stat~~e_glob~~a~~l->__pyx_~~n_s_~~REGEXP_INTER~~	8067	··[·77ed9]··__glibcxx_want_freestanding_variant
8068	··[·77~~f26~~]··_~~ZNSt7~~__~~cxx1112basic~~_~~stringIcS~~t~~11char_traitsIcESaIcE~~E~~10_M~~_~~destroy~~Em	8068	··[·77efd]··__pyx_n_s_REGEXP_INTER·__pyx_mstate_global->__pyx_n_s_REGEXP_INTER
8069	··[·77f6a]··__pyx_k_Arg~~ument_mus~~t_fit~~_in~~_a_~~uin~~t~~32_t~~	8069	··[·77f40]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_destroyEm
8070	··[·77f92]··Py_~~CPYTHON~~_~~OBJECT~~_H·	8070	··[·77f84]··__pyx_k_Argument_must_fit_in_a_uint32_t
8071	··[·77fa7]··~~_ZNSt15__n~~ew_~~allocatorIw~~EC~~4Ev~~	8071	··[·77fac]··Py_CPYTHON_OBJECT_H·
8072	··[·77fc5]··~~__pyx~~_~~codeobj__11~~1·__~~pyx~~_~~mst~~a~~te_~~globa~~l->__pyx_~~code~~obj__111~~	8072	··[·77fc1]··_ZNSt15__new_allocatorIwEC4Ev
8073	··[·7~~8000~~]··__~~BFLT~~16_~~MAX~~_10_~~EXP~~__~~·38~~	8073	··[·77fdf]··__pyx_codeobj__111·__pyx_mstate_global->__pyx_codeobj__111
8074	··[·78019]··_~~ZNSt6vectorIN4cvc55ProofESaIS1~~_EE12_Gu~~ard~~_~~allocC4ERKS4_~~	8074	··[·7801a]··__BFLT16_MAX_10_EXP__·38
8075	··[·78052]··_~~_pyx_pf_16~~cvc5~~_python~~_~~base~~_~~4Te~~rm_~~12__ge_~~_	8075	··[·78033]··_ZNSt6vectorIN4cvc55ProofESaIS1_EE12_Guard_allocC4ERKS4_
8076	··[·7807d]··~~CVC~~5_~~USE~~_~~CRYP~~T~~OMINISAT·1~~	8076	··[·7806c]··__pyx_pf_16cvc5_python_base_4Term_12__ge__
8077	··[·78096]··~~__glibcxx_want_modules~~	8077	··[·78097]··CVC5_USE_CRYPTOMINISAT·1
8078	··[·780ad]··__always_~~inlin~~e	8078	··[·780b0]··__glibcxx_want_modules
8079	··[·780bd]··Py_~~CPYTHON~~_~~WARNINGS_H~~	8079	··[·780c7]··__always_inline
8080	··[·780d3]··~~__W~~C~~OREDUM~~P~~(status)·((status)·&·_~~_W~~COREFLAG)~~	8080	··[·780d7]··Py_CPYTHON_WARNINGS_H
8081	··[·78~~100~~]··_~~ZNSt16alloca~~t~~or_trait~~sISa~~IcEE8allocate~~E~~RS0_m~~	8081	··[·780ed]··__WCOREDUMP(status)·((status)·&·__WCOREFLAG)
8082	··[·7812e]··__~~DECL_~~SI~~MD_hyp~~ot~~f32·~~	8082	··[·7811a]··_ZNSt16allocator_traitsISaIcEE8allocateERS0_m
8083	··[·78144]··~~__pyx_pw_16cvc5~~_~~python~~_~~base~~_13S~~ymbo~~lM~~anage~~r_5~~isL~~og~~icSet~~	8083	··[·78148]··__DECL_SIMD_hypotf32·
8084	··[·7817c]··M_1_~~PI·0.318~~3~~09886183790671~~54	8084	··[·7815e]··__pyx_pw_16cvc5_python_base_13SymbolManager_5isLogicSet
8085	··[·7819a]··~~_ZNSt8__detail9~~__~~variant5~~__~~getILm4ERKSt7varian~~tI~~JN4cvc5~~10~~OptionInfo~~8~~VoidInfoENS~~4_9~~ValueInfoIbEE~~NS6~~_INSt7__cxx1112basic_stringIcSt1~~1~~char_traitsIcESaIcEEEEENS4_1~~0~~NumberInfoIlEENSF_ImEENSF_IdEENS~~4~~_8ModeInfoEEEEEDcOT0_~~	8085	··[·78196]··M_1_PI·0.31830988618379067154
8086	··[·78~~271~~]··SCNoLEAST8~~·"hh~~o"	8086	··[·781b4]··_ZNSt8__detail9__variant5__getILm4ERKSt7variantIJN4cvc510OptionInfo8VoidInfoENS4_9ValueInfoIbEENS6_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS4_10NumberInfoIlEENSF_ImEENSF_IdEENS4_8ModeInfoEEEEEDcOT0_
8087	··[·78282]··_ZS~~t14__copy~~_mo~~ve_a2I~~L~~b0EPN4cvc54Term~~ES2_S~~2_ET2_~~T0~~_T1_S3_~~	8087	··[·7828b]··SCNoLEAST8·"hho"
8088	··[·782bc]··__USE_~~GNU·~~1	8088	··[·7829c]··_ZSt14__copy_move_a2ILb0EPN4cvc54TermES2_S2_ET2_T0_T1_S3_
8089	··[·782c8]··__py~~x_k~~_c~~sorts~~	8089	··[·782d6]··__USE_GNU·1
8090	··[·782d7]··12__pyx_mstate	8090	··[·782e2]··__pyx_k_csorts
8091	··[·782e6]··__pyx_k_~~DATATYPE_SORT~~	8091	··[·782f1]··12__pyx_mstate
8092	··[·78~~2fc~~]··co_~~version~~	8092	··[·78300]··__pyx_k_DATATYPE_SORT
8093	··[·78307]··~~_GLIBC~~XX_~~TO_ADDR~~	8093	··[·78316]··co_version
8094	··[·78318]··_~~_pyx~~_k_dc	8094	··[·78321]··_GLIBCXX_TO_ADDR
8095	··[·78323]··__pyx_k_dd	8095	··[·78332]··__pyx_k_dc
8096	··[·7832e]··__pyx~~_mdef_16cvc5_python_base_11SynthResult_17_~~_~~setstat~~e_~~cython~~__	8096	··[·7833d]··__pyx_k_dd
8097	··[·78370]··__~~DECL~~_~~SIMD~~_log2l·	8097	··[·78348]··__pyx_mdef_16cvc5_python_base_11SynthResult_17__setstate_cython__
8098	··[·78383]··__~~pyx~~_k_ds	8098	··[·7838a]··__DECL_SIMD_log2l·
8099	··[·7838e]··_~~Elt~~	8099	··[·7839d]··__pyx_k_ds
8100	··[·78393]··__USE~~_ISOCXX11~~·1	8100	··[·783a8]··_Elt
8101	··[·783a4]··~~_ZNSt22~~_~~Optional~~_~~payload~~_~~base~~I~~mE8_~~S~~torageImLb~~1~~EEC4Ev~~	8101	··[·783ad]··__USE_ISOCXX11·1
8102	··[·783d9]··__~~LDBL~~_DIG__·18	8102	··[·783be]··_ZNSt22_Optional_payload_baseImE8_StorageImLb1EEC4Ev
8103	··[·783e9]··_~~ZN4cvc~~58D~~atatypeC4Ev~~	8103	··[·783f3]··__LDBL_DIG__·18
8104	··[·78~~3ff~~]··_ZN~~KSt1~~4~~__shared_countILN9__gnu_~~c~~xx12_L~~oc~~k_polic~~y~~E2EE9_M_unique~~Ev	8104	··[·78403]··_ZN4cvc58DatatypeC4Ev
8105	··[·78441]··__g~~lib~~cxx_~~want~~_~~make_from~~_tuple	8105	··[·78419]··_ZNKSt14__shared_countILN9__gnu_cxx12_Lock_policyE2EE9_M_uniqueEv
Max diff block lines reached; 477/1146449 bytes (0.04%) of diff not shown.