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

⊟

88.5 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.27 KB

cvc5_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.77 KB

data.tar.xz ¶

⊟

1.75 KB

data.tar ¶

⊟

1.74 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

821 B

readelf --wide --notes {} ¶

⊟

866 B

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

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

⊟

31.9 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

⊟

31.4 KB

data.tar.xz ¶

⊟

31.4 KB

data.tar ¶

⊟

31.4 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 {} ¶

⊟

739 B

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

Ordering differences only

⊟

6.67 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.85 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.34 KB

data.tar.xz ¶

⊟

1.32 KB

data.tar ¶

⊟

1.3 KB

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

⊟

430 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

1.99 KB

python3-cvc5_1.1.2-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.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 ¶

⊟

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

⊟

37.6 MB

data.tar.xz ¶

⊟

37.6 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

37.6 MB

./usr/lib/debug/.build-id/a7/663e2c65baddecc22269ab41b9a0c0f83a5697.debug vs.

./usr/lib/debug/.build-id/8e/fe5827581c5e96c1556f2cec202c0d40def4a4.debug ¶

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

⊟

887 B

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

⊟

3.52 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

36.8 MB

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

⊟

3.54 KB

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

⊟

687 B

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

⊟

655 KB

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

⊟

220 KB

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

⊟

38.7 MB

libcvc5parser1-dbgsym_1.1.2-3_amd64.deb ¶

⊟

367 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

38.7 MB

data.tar.xz ¶

⊟

38.7 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

38.7 MB

./usr/lib/debug/.build-id/7c/f626a50a298f851db2d45b7291ccd2ef93bf3c.debug vs.

./usr/lib/debug/.build-id/d6/1fd47bddcd00d00fd9c52ef1d3c97acfa15afe.debug ¶

Files 90% similar despite different names

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

37.7 MB

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

⊟

1.99 KB

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

⊟

14.5 KB

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

⊟

994 KB

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

⊟

12.2 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.2 MB

data.tar.xz ¶

⊟

12.2 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

12.2 MB

./usr/lib/debug/.build-id/49/54e61a609513fb922a97551ff0391c663f4fb1.debug vs.

./usr/lib/debug/.build-id/e8/6cb85ade5ab0d4a115e7ac81dfecfc7d5fdf63.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

11.1 MB

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

⊟

1.04 KB

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

⊟

7.34 KB

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

⊟

1.1 MB

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

+·c1a35578a5123ce2afe65634f8c1b7c6·1886408·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·b896258a353a58e1bec7156a59d32d55·108288·math·optional·cvc5_1.1.2-3_amd64.deb
+·053a447949a9cbecaf9f5d482b9b7d1a·183070404·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·7d6016f604fdea04c0b83d2ae835d3ec·1885584·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·3cdc4bedd90cfe1dae0a37551c443cf7·108232·math·optional·cvc5_1.1.2-3_amd64.deb
+·adcf23555c43a14bdbf5721d69f126ea·183065644·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·af8be99871e08ff6497dc64e8df7a884·6691240·libs·optional·libcvc5-1_1.1.2-3_amd64.deb
+·e65c5a9b14e36e22a503f64f1850a3a7·93084·libdevel·optional·libcvc5-dev_1.1.2-3_amd64.deb
+·4ffcc96815c92ba4e886fdf46dd00a5c·4121376·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·686a2c2eb3be470eacc0675cc82ff157·237064·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·f561bd023682a3cdca09383fdaabbaeb·2665376·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·f6afeee8f6f086421f61a04be67b4ec1·4120696·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·108b2092b2c48fda9bd5e44b553768a5·237288·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·1f1f09e3b5e63147b8a16f4f8fa902d6·2665264·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·f538eb29d71201d251860bcc3997323f·339140·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·····1116·2025-07-27·11:13:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0···106980·2025-07-27·11:13:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0···106924·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:·~~ad5f9~~d111bf93~~ec96~~c~~c1b37972d5555b5f9bd813~~	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·29790fdfd1db306b3cb4ce5f5011967e473f29a5

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, 7 lines modified		Offset 1, 7 lines modified

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·35663964·31313162·66393365·63393663·5f9d111bf93ec96c
3	··0x00000010·633~~16233~~·~~373937~~32·64353535·35623566·~~c1b37972~~d~~5555~~b5f	2	··0x00000000·37393066·64666431·64623330·36623363·790fdfd1db306b3c
		3	··0x00000010·62346365·35663530·31313936·37653437·b4ce5f5011967e47
4	··0x00000020·396~~264~~38·31332e64·65627567·00000000·~~9bd813~~.debug....	4	··0x00000020·33663239·61352e64·65627567·00000000·3f29a5.debug....
5	··0x00000030·~~055a~~1~~835~~····························.Z.5	5	··0x00000030·3d4c1f5c····························=L.\


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·····1280·2025-07-27·11:13:23.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1280·2025-07-27·11:13:23.000000·control.tar.xz
3	-rw-r--r--···0········0········0··668~~750~~8·2025-07-27·11:13:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0··6689768·2025-07-27·11:13:23.000000·data.tar.xz


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:·~~a7663e~~2c65~~badd~~ecc~~222~~69~~ab41b9a0~~c0~~f83a5697~~	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·8efe5827581c5e96c1556f2cec202c0d40def4a4


Offset 26765, 16 lines modified		Offset 26765, 16 lines modified
26765	proof-granularity	26765	proof-granularity
26766	proof-mode	26766	proof-mode
26767	proof-pedantic	26767	proof-pedantic
26768	proof-rewrite-rcons-rec-limit	26768	proof-rewrite-rcons-rec-limit
26769	prop-row-length	26769	prop-row-length
26770	quant-dsplit	26770	quant-dsplit
26771	quant-rep-mode	26771	quant-rep-mode
26772	random-frequency
26773	random-freq	26772	random-freq
		26773	random-frequency
26774	re-inter-mode	26774	re-inter-mode
26775	replay-early-close-depth	26775	replay-early-close-depth
26776	replay-lemma-reject-cut	26776	replay-lemma-reject-cut
26777	replay-num-err-penalty	26777	replay-num-err-penalty
26778	replay-reject-cut	26778	replay-reject-cut
26779	restart-int-base	26779	restart-int-base
26780	restart-int-inc	26780	restart-int-inc
Offset 26830, 16 lines modified		Offset 26830, 16 lines modified
26830	trigger-active-sel	26830	trigger-active-sel
26831	trigger-sel	26831	trigger-sel
26832	uf-ss-abort-card	26832	uf-ss-abort-card
26833	unate-lemmas	26833	unate-lemmas
26834	unsat-cores-mode	26834	unsat-cores-mode
26835	user-pat	26835	user-pat
26836	user-pool	26836	user-pool
26837	partitions-out
26838	write-partitions-to	26837	write-partitions-to
		26838	partitions-out
26839	Argument·'	26839	Argument·'
26840	'·for·bool·option·	26840	'·for·bool·option·
26841	·is·not·a·bool·constant	26841	·is·not·a·bool·constant
26842	·is·negative	26842	·is·negative
26843	·did·parse·only·partially·as·	26843	·did·parse·only·partially·as·
26844	,·leaving·'	26844	,·leaving·'
26845	·did·not·parse·as·	26845	·did·not·parse·as·


Offset 668649, 19 lines modified		Offset 668649, 19 lines modified
668649	» movl···$0x75,0x12c0(%rsp)	668649	» movl···$0x75,0x12c0(%rsp)
668650	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668650	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668651	» lea····0x12f0(%rsp),%rdi	668651	» lea····0x12f0(%rsp),%rdi
668652	» lea····0x12cce43(%rip),%rsi········	668652	» lea····0x12cce43(%rip),%rsi········
668653	» movl···$0x76,0x12e8(%rsp)	668653	» movl···$0x76,0x12e8(%rsp)
668654	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668654	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668655	» lea····0x1318(%rsp),%rdi	668655	» lea····0x1318(%rsp),%rdi
668656	» lea····0x12~~c11e1~~(%rip),%rsi········	668656	» lea····0x12bee5c(%rip),%rsi········
668657	» movl···$0x77,0x1310(%rsp)	668657	» movl···$0x77,0x1310(%rsp)
668658	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668658	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668659	» lea····0x1340(%rsp),%rdi	668659	» lea····0x1340(%rsp),%rdi
668660	» lea····0x12~~bee3d~~(%rip),%rsi········	668660	» lea····0x12c11c2(%rip),%rsi········
668661	» movl···$0x78,0x1338(%rsp)	668661	» movl···$0x78,0x1338(%rsp)
668662	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668662	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668663	» lea····0x1368(%rsp),%rdi	668663	» lea····0x1368(%rsp),%rdi
668664	» lea····0x12cb992(%rip),%rsi········	668664	» lea····0x12cb992(%rip),%rsi········
668665	» movl···$0x78,0x1360(%rsp)	668665	» movl···$0x78,0x1360(%rsp)
668666	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668666	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668667	» lea····0x1390(%rsp),%rdi	668667	» lea····0x1390(%rsp),%rdi
Offset 668881, 19 lines modified		Offset 668881, 19 lines modified
668881	» movl···$0xae,0x1bd0(%rsp)	668881	» movl···$0xae,0x1bd0(%rsp)
668882	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668882	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668883	» lea····0x1c00(%rsp),%rdi	668883	» lea····0x1c00(%rsp),%rdi
668884	» lea····0x12cb3e1(%rip),%rsi········	668884	» lea····0x12cb3e1(%rip),%rsi········
668885	» movl···$0xaf,0x1bf8(%rsp)	668885	» movl···$0xaf,0x1bf8(%rsp)
668886	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668886	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668887	» lea····0x1c28(%rsp),%rdi	668887	» lea····0x1c28(%rsp),%rdi
668888	» lea····0x12cb~~50a~~(%rip),%rsi········	668888	» lea····0x12cb3d0(%rip),%rsi········
668889	» movl···$0xb0,0x1c20(%rsp)	668889	» movl···$0xb0,0x1c20(%rsp)
668890	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668890	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668891	» lea····0x1c50(%rsp),%rdi	668891	» lea····0x1c50(%rsp),%rdi
668892	» lea····0x12cb~~3b1~~(%rip),%rsi········	668892	» lea····0x12cb4eb(%rip),%rsi········
668893	» movl···$0xb1,0x1c48(%rsp)	668893	» movl···$0xb1,0x1c48(%rsp)
668894	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668894	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668895	» lea····0x1c78(%rsp),%rdi	668895	» lea····0x1c78(%rsp),%rdi
668896	» lea····0x12ccdbb(%rip),%rsi········	668896	» lea····0x12ccdbb(%rip),%rsi········
668897	» movl···$0xb1,0x1c70(%rsp)	668897	» movl···$0xb1,0x1c70(%rsp)
668898	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668898	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668899	» lea····0x1ca0(%rsp),%rdi	668899	» lea····0x1ca0(%rsp),%rdi
Offset 669101, 15 lines modified		Offset 669101, 15 lines modified
669101	» movl···$0xe4,0x2468(%rsp)	669101	» movl···$0xe4,0x2468(%rsp)
669102	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669102	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669103	» lea····0x2498(%rsp),%rdi	669103	» lea····0x2498(%rsp),%rdi
669104	» lea····0x12cc27e(%rip),%rsi········	669104	» lea····0x12cc27e(%rip),%rsi········
669105	» movl···$0xe5,0x2490(%rsp)	669105	» movl···$0xe5,0x2490(%rsp)
669106	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669106	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669107	» lea····0x24c0(%rsp),%rdi	669107	» lea····0x24c0(%rsp),%rdi
669108	» lea····0x12cb~~4f1~~(%rip),%rsi········	669108	» lea····0x12cb505(%rip),%rsi········
669109	» movl···$0xe6,0x24b8(%rsp)	669109	» movl···$0xe6,0x24b8(%rsp)
669110	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669110	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669111	» lea····0x24e8(%rsp),%rdi	669111	» lea····0x24e8(%rsp),%rdi
669112	» lea····0x12be0a8(%rip),%rsi········	669112	» lea····0x12be0a8(%rip),%rsi········
669113	» movl···$0xe7,0x24e0(%rsp)	669113	» movl···$0xe7,0x24e0(%rsp)
669114	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669114	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669115	» lea····0x2510(%rsp),%rdi	669115	» lea····0x2510(%rsp),%rdi
Offset 669129, 35 lines modified		Offset 669129, 35 lines modified
669129	» movl···$0xe9,0x2580(%rsp)	669129	» movl···$0xe9,0x2580(%rsp)
669130	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669130	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669131	» lea····0x25b0(%rsp),%rdi	669131	» lea····0x25b0(%rsp),%rdi
669132	» lea····0x12cc1b0(%rip),%rsi········	669132	» lea····0x12cc1b0(%rip),%rsi········
669133	» movl···$0xea,0x25a8(%rsp)	669133	» movl···$0xea,0x25a8(%rsp)
669134	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669134	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669135	» lea····0x25d8(%rsp),%rdi	669135	» lea····0x25d8(%rsp),%rdi
669136	» lea····0x12c~~2004~~(%rip),%rsi········	669136	» lea····0x12cad8d(%rip),%rsi········
669137	» movl···$0xeb,0x25d0(%rsp)	669137	» movl···$0xeb,0x25d0(%rsp)
669138	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669138	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669139	» lea····0x2600(%rsp),%rdi	669139	» lea····0x2600(%rsp),%rdi
669140	» lea····0x12c~~ad6e~~(%rip),%rsi········	669140	» lea····0x12c1fe5(%rip),%rsi········
669141	» movl···$0xec,0x25f8(%rsp)	669141	» movl···$0xec,0x25f8(%rsp)
669142	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669142	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669143	» lea····0x2628(%rsp),%rdi	669143	» lea····0x2628(%rsp),%rdi
669144	» lea····0x12cad5f(%rip),%rsi········	669144	» lea····0x12cad5f(%rip),%rsi········
669145	» movl···$0xec,0x2620(%rsp)	669145	» movl···$0xec,0x2620(%rsp)
669146	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669146	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669147	» lea····0x2650(%rsp),%rdi	669147	» lea····0x2650(%rsp),%rdi
669148	» lea····0x12cad58(%rip),%rsi········	669148	» lea····0x12cad58(%rip),%rsi········
669149	» movl···$0xed,0x2648(%rsp)	669149	» movl···$0xed,0x2648(%rsp)
669150	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669150	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669151	» lea····0x2678(%rsp),%rdi	669151	» lea····0x2678(%rsp),%rdi
669152	» lea····0x12ca9ce(%rip),%rsi········	669152	» lea····0x12cad4e(%rip),%rsi········
669153	» movl···$0xee,0x2670(%rsp)	669153	» movl···$0xee,0x2670(%rsp)
669154	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669154	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669155	» lea····0x26a0(%rsp),%rdi	669155	» lea····0x26a0(%rsp),%rdi
669156	» lea····0x12cad2f(%rip),%rsi········	669156	» lea····0x12ca9af(%rip),%rsi········
669157	» movl···$0xef,0x2698(%rsp)	669157	» movl···$0xef,0x2698(%rsp)
669158	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669158	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669159	» lea····0x26c8(%rsp),%rdi	669159	» lea····0x26c8(%rsp),%rdi
669160	» lea····0x12cad23(%rip),%rsi········	669160	» lea····0x12cad23(%rip),%rsi········
669161	» movl···$0xef,0x26c0(%rsp)	669161	» movl···$0xef,0x26c0(%rsp)
669162	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669162	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669163	» lea····0x26f0(%rsp),%rdi	669163	» lea····0x26f0(%rsp),%rdi
Offset 669369, 15 lines modified		Offset 669369, 15 lines modified
669369	» movl···$0x122,0x2ee0(%rsp)	669369	» movl···$0x122,0x2ee0(%rsp)
669370	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669370	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669371	» lea····0x2f10(%rsp),%rdi	669371	» lea····0x2f10(%rsp),%rdi
669372	» lea····0x12ca7f4(%rip),%rsi········	669372	» lea····0x12ca7f4(%rip),%rsi········
669373	» movl···$0x123,0x2f08(%rsp)	669373	» movl···$0x123,0x2f08(%rsp)
669374	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669374	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669375	» lea····0x2f38(%rsp),%rdi	669375	» lea····0x2f38(%rsp),%rdi
669376	» lea····0x12ca7e6(%rip),%rsi········	669376	» lea····0x12ca7e1(%rip),%rsi········
669377	» movl···$0x124,0x2f30(%rsp)	669377	» movl···$0x124,0x2f30(%rsp)
669378	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669378	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669379	» lea····0x2f60(%rsp),%rdi	669379	» lea····0x2f60(%rsp),%rdi
669380	» lea····0x12cb42f(%rip),%rsi········	669380	» lea····0x12cb42f(%rip),%rsi········
669381	» movl···$0x124,0x2f58(%rsp)	669381	» movl···$0x124,0x2f58(%rsp)
669382	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669382	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669383	» lea····0x2f88(%rsp),%rdi	669383	» lea····0x2f88(%rsp),%rdi
Offset 669441, 19 lines modified		Offset 669441, 19 lines modified
669441	» movl···$0x133,0x31b0(%rsp)	669441	» movl···$0x133,0x31b0(%rsp)
669442	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669442	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669443	» lea····0x31e0(%rsp),%rdi	669443	» lea····0x31e0(%rsp),%rdi
669444	» lea····0x12ca691(%rip),%rsi········	669444	» lea····0x12ca691(%rip),%rsi········
669445	» movl···$0x134,0x31d8(%rsp)	669445	» movl···$0x134,0x31d8(%rsp)
669446	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669446	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669447	» lea····0x3208(%rsp),%rdi	669447	» lea····0x3208(%rsp),%rdi
669448	» lea····0x12bd693(%rip),%rsi········	669448	» lea····0x12ca679(%rip),%rsi········
669449	» movl···$0x135,0x3200(%rsp)	669449	» movl···$0x135,0x3200(%rsp)
669450	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669450	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669451	» lea····0x3230(%rsp),%rdi	669451	» lea····0x3230(%rsp),%rdi
669452	» lea····0x12ca65a(%rip),%rsi········	669452	» lea····0x12bd674(%rip),%rsi········
669453	» movl···$0x136,0x3228(%rsp)	669453	» movl···$0x136,0x3228(%rsp)
669454	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669454	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669455	» lea····0x3258(%rsp),%rdi	669455	» lea····0x3258(%rsp),%rdi
669456	» lea····0x12ca646(%rip),%rsi········	669456	» lea····0x12ca646(%rip),%rsi········
669457	» movl···$0x136,0x3250(%rsp)	669457	» movl···$0x136,0x3250(%rsp)
669458	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669458	» call···13f9df0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669459	» lea····0x3280(%rsp),%rdi	669459	» lea····0x3280(%rsp),%rdi
Max diff block lines reached; 1092/6645 bytes (16.43%) of diff not shown.


Offset 22565, 16 lines modified		Offset 22565, 16 lines modified
22565	··0x0159f220·616e756c·61726974·79007072·6f6f662d·anularity.proof-	22565	··0x0159f220·616e756c·61726974·79007072·6f6f662d·anularity.proof-
22566	··0x0159f230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan	22566	··0x0159f230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan
22567	··0x0159f240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit	22567	··0x0159f240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit
22568	··0x0159f250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi	22568	··0x0159f250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi
22569	··0x0159f260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt	22569	··0x0159f260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt
22570	··0x0159f270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q	22570	··0x0159f270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q
22571	··0x0159f280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra	22571	··0x0159f280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra
		22572	··0x0159f290·6e646f6d·2d667265·71007261·6e646f6d·ndom-freq.random
22572	··0x0159f290~~·6e646f6d~~·2d667265·7175656e·63790072·ndom-frequency.r	22573	··0x0159f2a0·2d667265·7175656e·63790072·652d656c·-frequency.re-el
22573	··0x0159f2a0·616e646f·6d2d6672·65710072·652d656c·andom-freq.re-el
22574	··0x0159f2b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode	22574	··0x0159f2b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode
22575	··0x0159f2c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl	22575	··0x0159f2c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl
22576	··0x0159f2d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay	22576	··0x0159f2d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay
22577	··0x0159f2e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu	22577	··0x0159f2e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu
22578	··0x0159f2f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err	22578	··0x0159f2f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err
22579	··0x0159f300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-	22579	··0x0159f300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-
22580	··0x0159f310·72656a65·63742d63·75740072·65737461·reject-cut.resta	22580	··0x0159f310·72656a65·63742d63·75740072·65737461·reject-cut.resta
Offset 22644, 17 lines modified		Offset 22644, 17 lines modified
22644	··0x0159f710·63650074·72696767·65722d61·63746976·ce.trigger-activ	22644	··0x0159f710·63650074·72696767·65722d61·63746976·ce.trigger-activ
22645	··0x0159f720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se	22645	··0x0159f720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se
22646	··0x0159f730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab	22646	··0x0159f730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab
22647	··0x0159f740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l	22647	··0x0159f740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l
22648	··0x0159f750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core	22648	··0x0159f750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core
22649	··0x0159f760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.	22649	··0x0159f760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.
22650	··0x0159f770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos	22650	··0x0159f770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos
22651	··0x0159f780·65007061·72746974·696f6e73·2d6f7574·e.partitions-out
22652	··0x0159f790·00777269·74652d70·61727469·74696f6e·.write-partition	22651	··0x0159f780·65007772·6974652d·70617274·6974696f·e.write-partitio
		22652	··0x0159f790·6e732d74·6f007061·72746974·696f6e73·ns-to.partitions
22653	··0x0159f7a0·~~732d~~7~~46f~~·00417267·756d656e·74202700·~~s-to~~.Argument·'.	22653	··0x0159f7a0·2d6f7574·00417267·756d656e·74202700·-out.Argument·'.
22654	··0x0159f7b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio	22654	··0x0159f7b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
22655	··0x0159f7c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo	22655	··0x0159f7c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo
22656	··0x0159f7d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·	22656	··0x0159f7d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·
22657	··0x0159f7e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ	22657	··0x0159f7e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ
22658	··0x0159f7f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl	22658	··0x0159f7f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl
22659	··0x0159f800·79207061·72746961·6c6c7920·61732000·y·partially·as·.	22659	··0x0159f800·79207061·72746961·6c6c7920·61732000·y·partially·as·.
22660	··0x0159f810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did	22660	··0x0159f810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did


Offset 1925, 15 lines modified		Offset 1925, 15 lines modified
1925	··0x01866fa0·cf4f5901·00000000·95e85901·00000000·.OY.......Y.....	1925	··0x01866fa0·cf4f5901·00000000·95e85901·00000000·.OY.......Y.....
1926	··0x01866fb0·a4e85901·00000000·00000000·00000000·..Y.............	1926	··0x01866fb0·a4e85901·00000000·00000000·00000000·..Y.............
1927	··0x01866fc0·cc595901·00000000·5fd25901·00000000·.YY....._.Y.....	1927	··0x01866fc0·cc595901·00000000·5fd25901·00000000·.YY....._.Y.....
1928	··0x01866fd0·58d25901·00000000·00000000·00000000·X.Y.............	1928	··0x01866fd0·58d25901·00000000·00000000·00000000·X.Y.............
1929	··0x01866fe0·93e35901·00000000·c94c5901·00000000·..Y......LY.....	1929	··0x01866fe0·93e35901·00000000·c94c5901·00000000·..Y......LY.....
1930	··0x01866ff0·e34c5901·00000000·00000000·00000000·.LY.............	1930	··0x01866ff0·e34c5901·00000000·00000000·00000000·.LY.............
1931	··0x01867000·93e35901·00000000·f7885901·00000000·..Y.......Y.....	1931	··0x01867000·93e35901·00000000·f7885901·00000000·..Y.......Y.....
1932	··0x01867010·8df75901·00000000·00000000·00000000·..Y.............	1932	··0x01867010·a1f75901·00000000·00000000·00000000·..Y.............
1933	··0x01867020·6c045a01·00000000·87e85901·00000000·l.Z.......Y.....	1933	··0x01867020·6c045a01·00000000·87e85901·00000000·l.Z.......Y.....
1934	··0x01867030·79e85901·00000000·00000000·00000000·y.Y.............	1934	··0x01867030·79e85901·00000000·00000000·00000000·y.Y.............
1935	··0x01867040·55e85901·00000000·5fe85901·00000000·U.Y....._.Y.....	1935	··0x01867040·55e85901·00000000·5fe85901·00000000·U.Y....._.Y.....
1936	··0x01867050·68e85901·00000000·39e75901·00000000·h.Y.....9.Y.....	1936	··0x01867050·68e85901·00000000·39e75901·00000000·h.Y.....9.Y.....
1937	··0x01867060·cc595901·00000000·49e85901·00000000·.YY.....I.Y.....	1937	··0x01867060·cc595901·00000000·49e85901·00000000·.YY.....I.Y.....
1938	··0x01867070·50e85901·00000000·00000000·00000000·P.Y.............	1938	··0x01867070·50e85901·00000000·00000000·00000000·P.Y.............
1939	··0x01867080·c0e55901·00000000·cfe55901·00000000·..Y.......Y.....	1939	··0x01867080·c0e55901·00000000·cfe55901·00000000·..Y.......Y.....
Offset 2170, 22 lines modified		Offset 2170, 22 lines modified
2170	··0x01867ef0·08fa5901·00000000·19fa5901·00000000·..Y.......Y.....	2170	··0x01867ef0·08fa5901·00000000·19fa5901·00000000·..Y.......Y.....
2171	··0x01867f00·2afa5901·00000000·3cfa5901·00000000·*.Y.....<.Y.....	2171	··0x01867f00·2afa5901·00000000·3cfa5901·00000000·*.Y.....<.Y.....
2172	··0x01867f10·b7f05901·00000000·51fa5901·00000000·..Y.....Q.Y.....	2172	··0x01867f10·b7f05901·00000000·51fa5901·00000000·..Y.....Q.Y.....
2173	··0x01867f20·66fa5901·00000000·78fa5901·00000000·f.Y.....x.Y.....	2173	··0x01867f20·66fa5901·00000000·78fa5901·00000000·f.Y.....x.Y.....
2174	··0x01867f30·95fa5901·00000000·ccf05901·00000000·..Y.......Y.....	2174	··0x01867f30·95fa5901·00000000·ccf05901·00000000·..Y.......Y.....
2175	··0x01867f40·9ffa5901·00000000·2f0a5a01·00000000·..Y...../.Z.....	2175	··0x01867f40·9ffa5901·00000000·2f0a5a01·00000000·..Y...../.Z.....
2176	··0x01867f50·d3f05901·00000000·fb045a01·00000000·..Y.......Z.....	2176	··0x01867f50·d3f05901·00000000·fb045a01·00000000·..Y.......Z.....
2177	··0x01867f60·8df75901·00000000·eff05901·00000000·..Y.......Y.....	2177	··0x01867f60·a1f75901·00000000·eff05901·00000000·..Y.......Y.....
2178	··0x01867f70·f6f05901·00000000·f47f5901·00000000·..Y.......Y.....	2178	··0x01867f70·f6f05901·00000000·f47f5901·00000000·..Y.......Y.....
2179	··0x01867f80·affb5901·00000000·06055a01·00000000·..Y.......Z.....	2179	··0x01867f80·affb5901·00000000·06055a01·00000000·..Y.......Z.....
2180	··0x01867f90·bfed5901·00000000·02f15901·00000000·..Y.......Y.....	2180	··0x01867f90·bfed5901·00000000·02f15901·00000000·..Y.......Y.....
2181	··0x01867fa0·12f15901·00000000·2af15901·00000000·..Y.....*.Y.....	2181	··0x01867fa0·12f15901·00000000·2af15901·00000000·..Y.....*.Y.....
2182	··0x01867fb0·3ff15901·00000000·52f15901·00000000·?.Y.....R.Y.....	2182	··0x01867fb0·3ff15901·00000000·52f15901·00000000·?.Y.....R.Y.....
2183	··0x01867fc0·6af15901·00000000·7bf15901·00000000·j.Y.....{.Y.....	2183	··0x01867fc0·6af15901·00000000·7bf15901·00000000·j.Y.....{.Y.....
2184	··0x01867fd0·82f75901·00000000·b7fa5901·00000000·..Y.......Y.....	2184	··0x01867fd0·96f75901·00000000·b7fa5901·00000000·..Y.......Y.....
2185	··0x01867fe0·8af15901·00000000·1a055a01·00000000·..Y.......Z.....	2185	··0x01867fe0·8af15901·00000000·1a055a01·00000000·..Y.......Z.....
2186	··0x01867ff0·9af15901·00000000·a9f15901·00000000·..Y.......Y.....	2186	··0x01867ff0·9af15901·00000000·a9f15901·00000000·..Y.......Y.....
2187	··0x01868000·c0f15901·00000000·27055a01·00000000·..Y.....'.Z.....	2187	··0x01868000·c0f15901·00000000·27055a01·00000000·..Y.....'.Z.....
2188	··0x01868010·d1f15901·00000000·42055a01·00000000·..Y.....B.Z.....	2188	··0x01868010·d1f15901·00000000·42055a01·00000000·..Y.....B.Z.....
2189	··0x01868020·bdfb5901·00000000·def15901·00000000·..Y.......Y.....	2189	··0x01868020·bdfb5901·00000000·def15901·00000000·..Y.......Y.....
2190	··0x01868030·450a5a01·00000000·ebff5901·00000000·E.Z.......Y.....	2190	··0x01868030·450a5a01·00000000·ebff5901·00000000·E.Z.......Y.....
2191	··0x01868040·eff15901·00000000·57055a01·00000000·..Y.....W.Z.....	2191	··0x01868040·eff15901·00000000·57055a01·00000000·..Y.....W.Z.....
Offset 2202, 15 lines modified		Offset 2202, 15 lines modified
2202	··0x018680f0·35f25901·00000000·6a005a01·00000000·5.Y.....j.Z.....	2202	··0x018680f0·35f25901·00000000·6a005a01·00000000·5.Y.....j.Z.....
2203	··0x01868100·7c005a01·00000000·96005a01·00000000·\|.Z.......Z.....	2203	··0x01868100·7c005a01·00000000·96005a01·00000000·\|.Z.......Z.....
2204	··0x01868110·44f25901·00000000·b04d5701·00000000·D.Y......MW.....	2204	··0x01868110·44f25901·00000000·b04d5701·00000000·D.Y......MW.....
2205	··0x01868120·62f25901·00000000·6a055a01·00000000·b.Y.....j.Z.....	2205	··0x01868120·62f25901·00000000·6a055a01·00000000·b.Y.....j.Z.....
2206	··0x01868130·7d055a01·00000000·72f25901·00000000·}.Z.....r.Y.....	2206	··0x01868130·7d055a01·00000000·72f25901·00000000·}.Z.....r.Y.....
2207	··0x01868140·92055a01·00000000·a2055a01·00000000·..Z.......Z.....	2207	··0x01868140·92055a01·00000000·a2055a01·00000000·..Z.......Z.....
2208	··0x01868150·7ff25901·00000000·d36d5901·00000000·..Y......mY.....	2208	··0x01868150·7ff25901·00000000·d36d5901·00000000·..Y......mY.....
2209	··0x01868160·9ff25901·00000000·8ef25901·00000000·..Y.......Y.....	2209	··0x01868160·8ef25901·00000000·9af25901·00000000·..Y.......Y.....
2210	··0x01868170·07ff5901·00000000·abf25901·00000000·..Y.......Y.....	2210	··0x01868170·07ff5901·00000000·abf25901·00000000·..Y.......Y.....
2211	··0x01868180·b3f25901·00000000·af055a01·00000000·..Y.......Z.....	2211	··0x01868180·b3f25901·00000000·af055a01·00000000·..Y.......Z.....
2212	··0x01868190·63235901·00000000·cc055a01·00000000·c#Y.......Z.....	2212	··0x01868190·63235901·00000000·cc055a01·00000000·c#Y.......Z.....
2213	··0x018681a0·a20d5a01·00000000·e3055a01·00000000·..Z.......Z.....	2213	··0x018681a0·a20d5a01·00000000·e3055a01·00000000·..Z.......Z.....
2214	··0x018681b0·4f0b5a01·00000000·c1f25901·00000000·O.Z.......Y.....	2214	··0x018681b0·4f0b5a01·00000000·c1f25901·00000000·O.Z.......Y.....
2215	··0x018681c0·daf25901·00000000·f2f25901·00000000·..Y.......Y.....	2215	··0x018681c0·daf25901·00000000·f2f25901·00000000·..Y.......Y.....
2216	··0x018681d0·09f35901·00000000·7a235901·00000000·..Y.....z#Y.....	2216	··0x018681d0·09f35901·00000000·7a235901·00000000·..Y.....z#Y.....
Offset 2292, 15 lines modified		Offset 2292, 15 lines modified
2292	··0x01868690·d50b5a01·00000000·56f75901·00000000·..Z.....V.Y.....	2292	··0x01868690·d50b5a01·00000000·56f75901·00000000·..Z.....V.Y.....
2293	··0x018686a0·f3fa5901·00000000·01fb5901·00000000·..Y.......Y.....	2293	··0x018686a0·f3fa5901·00000000·01fb5901·00000000·..Y.......Y.....
2294	··0x018686b0·f6fe5901·00000000·12fb5901·00000000·..Y.......Y.....	2294	··0x018686b0·f6fe5901·00000000·12fb5901·00000000·..Y.......Y.....
2295	··0x018686c0·67f75901·00000000·70f75901·00000000·g.Y.....p.Y.....	2295	··0x018686c0·67f75901·00000000·70f75901·00000000·g.Y.....p.Y.....
2296	··0x018686d0·6c085a01·00000000·7e085a01·00000000·l.Z.....~.Z.....	2296	··0x018686d0·6c085a01·00000000·7e085a01·00000000·l.Z.....~.Z.....
2297	··0x018686e0·7af75901·00000000·29235901·00000000·z.Y.....)#Y.....	2297	··0x018686e0·7af75901·00000000·29235901·00000000·z.Y.....)#Y.....
2298	··0x018686f0·ce225901·00000000·bcfd5901·00000000·."Y.......Y.....	2298	··0x018686f0·ce225901·00000000·bcfd5901·00000000·."Y.......Y.....
2299	··0x01868700·91f75901·00000000·00000000·00000000·..Y.............	2299	··0x01868700·82f75901·00000000·00000000·00000000·..Y.............
2300	··0x01868710·483c8701·00000000·c0d14901·00000000·H<........I.....	2300	··0x01868710·483c8701·00000000·c0d14901·00000000·H<........I.....
2301	··0x01868720·80d24901·00000000·d0cf4901·00000000·..I.......I.....	2301	··0x01868720·80d24901·00000000·d0cf4901·00000000·..I.......I.....
2302	··0x01868730·b0f14901·00000000·b0cf4901·00000000·..I.......I.....	2302	··0x01868730·b0f14901·00000000·b0cf4901·00000000·..I.......I.....
2303	··0x01868740·60d34901·00000000·00000000·00000000·`.I.............	2303	··0x01868740·60d34901·00000000·00000000·00000000·`.I.............
2304	··0x01868750·783c8701·00000000·20d44901·00000000·x<......·.I.....	2304	··0x01868750·783c8701·00000000·20d44901·00000000·x<......·.I.....
2305	··0x01868760·70d94901·00000000·e0cf4901·00000000·p.I.......I.....	2305	··0x01868760·70d94901·00000000·e0cf4901·00000000·p.I.......I.....
2306	··0x01868770·40d04901·00000000·10e44901·00000000·@.I.......I.....	2306	··0x01868770·40d04901·00000000·10e44901·00000000·@.I.......I.....


Offset 314, 15 lines modified		Offset 314, 15 lines modified
314	··0x01879370·00000000·00000000·73010000·00000000·........s.......	314	··0x01879370·00000000·00000000·73010000·00000000·........s.......
315	··0x01879380·9dfb5901·00000000·00000000·00000000·..Y.............	315	··0x01879380·9dfb5901·00000000·00000000·00000000·..Y.............
316	··0x01879390·00000000·00000000·74010000·00000000·........t.......	316	··0x01879390·00000000·00000000·74010000·00000000·........t.......
317	··0x018793a0·fdf05901·00000000·01000000·00000000·..Y.............	317	··0x018793a0·fdf05901·00000000·01000000·00000000·..Y.............
318	··0x018793b0·00000000·00000000·75010000·00000000·........u.......	318	··0x018793b0·00000000·00000000·75010000·00000000·........u.......
319	··0x018793c0·c3ef5901·00000000·01000000·00000000·..Y.............	319	··0x018793c0·c3ef5901·00000000·01000000·00000000·..Y.............
320	··0x018793d0·00000000·00000000·76010000·00000000·........v.......	320	··0x018793d0·00000000·00000000·76010000·00000000·........v.......
321	··0x018793e0·8df75901·00000000·01000000·00000000·..Y.............	321	··0x018793e0·a1f75901·00000000·01000000·00000000·..Y.............
322	··0x018793f0·00000000·00000000·77010000·00000000·........w.......	322	··0x018793f0·00000000·00000000·77010000·00000000·........w.......
323	··0x01879400·63235901·00000000·01000000·00000000·c#Y.............	323	··0x01879400·63235901·00000000·01000000·00000000·c#Y.............
324	··0x01879410·00000000·00000000·78010000·00000000·........x.......	324	··0x01879410·00000000·00000000·78010000·00000000·........x.......
325	··0x01879420·eff05901·00000000·01000000·00000000·..Y.............	325	··0x01879420·eff05901·00000000·01000000·00000000·..Y.............
326	··0x01879430·00000000·00000000·79010000·00000000·........y.......	326	··0x01879430·00000000·00000000·79010000·00000000·........y.......
327	··0x01879440·affb5901·00000000·00000000·00000000·..Y.............	327	··0x01879440·affb5901·00000000·00000000·00000000·..Y.............
328	··0x01879450·00000000·00000000·7a010000·00000000·........z.......	328	··0x01879450·00000000·00000000·7a010000·00000000·........z.......
Offset 616, 17 lines modified		Offset 616, 17 lines modified
616	··0x0187a650·00000000·00000000·0a020000·00000000·................	616	··0x0187a650·00000000·00000000·0a020000·00000000·................
617	··0x0187a660·7bf15901·00000000·01000000·00000000·{.Y.............	617	··0x0187a660·7bf15901·00000000·01000000·00000000·{.Y.............
618	··0x0187a670·00000000·00000000·0b020000·00000000·................	618	··0x0187a670·00000000·00000000·0b020000·00000000·................
619	··0x0187a680·07ff5901·00000000·00000000·00000000·..Y.............	619	··0x0187a680·07ff5901·00000000·00000000·00000000·..Y.............
620	··0x0187a690·00000000·00000000·0c020000·00000000·................	620	··0x0187a690·00000000·00000000·0c020000·00000000·................
621	··0x0187a6a0·04ff5901·00000000·00000000·00000000·..Y.............	621	··0x0187a6a0·04ff5901·00000000·00000000·00000000·..Y.............
622	··0x0187a6b0·00000000·00000000·0d020000·00000000·................	622	··0x0187a6b0·00000000·00000000·0d020000·00000000·................
623	··0x0187a6c0·91f75901·00000000·01000000·00000000·..Y.............	623	··0x0187a6c0·82f75901·00000000·01000000·00000000·..Y.............
624	··0x0187a6d0·00000000·00000000·0e020000·00000000·................	624	··0x0187a6d0·00000000·00000000·0e020000·00000000·................
625	··0x0187a6e0·82f75901·00000000·01000000·00000000·..Y.............	625	··0x0187a6e0·96f75901·00000000·01000000·00000000·..Y.............
626	··0x0187a6f0·00000000·00000000·0f020000·00000000·................	626	··0x0187a6f0·00000000·00000000·0f020000·00000000·................
627	··0x0187a700·1eff5901·00000000·00000000·00000000·..Y.............	627	··0x0187a700·1eff5901·00000000·00000000·00000000·..Y.............
628	··0x0187a710·00000000·00000000·10020000·00000000·................	628	··0x0187a710·00000000·00000000·10020000·00000000·................
629	··0x0187a720·1bff5901·00000000·00000000·00000000·..Y.............	629	··0x0187a720·1bff5901·00000000·00000000·00000000·..Y.............
630	··0x0187a730·00000000·00000000·11020000·00000000·................	630	··0x0187a730·00000000·00000000·11020000·00000000·................
631	··0x0187a740·18ef5901·00000000·01000000·00000000·..Y.............	631	··0x0187a740·18ef5901·00000000·01000000·00000000·..Y.............
632	··0x0187a750·00000000·00000000·12020000·00000000·................	632	··0x0187a750·00000000·00000000·12020000·00000000·................
Offset 736, 17 lines modified		Offset 736, 17 lines modified
736	··0x0187add0·00000000·00000000·46020000·00000000·........F.......	736	··0x0187add0·00000000·00000000·46020000·00000000·........F.......
737	··0x0187ade0·a8005a01·00000000·00000000·00000000·..Z.............	737	··0x0187ade0·a8005a01·00000000·00000000·00000000·..Z.............
738	··0x0187adf0·00000000·00000000·47020000·00000000·........G.......	738	··0x0187adf0·00000000·00000000·47020000·00000000·........G.......
739	··0x0187ae00·49745901·00000000·01000000·00000000·ItY.............	739	··0x0187ae00·49745901·00000000·01000000·00000000·ItY.............
740	··0x0187ae10·00000000·00000000·48020000·00000000·........H.......	740	··0x0187ae10·00000000·00000000·48020000·00000000·........H.......
741	··0x0187ae20·def15901·00000000·01000000·00000000·..Y.............	741	··0x0187ae20·def15901·00000000·01000000·00000000·..Y.............
742	··0x0187ae30·00000000·00000000·49020000·00000000·........I.......	742	··0x0187ae30·00000000·00000000·49020000·00000000·........I.......
743	··0x0187ae40·9ff25901·00000000·01000000·00000000·..Y.............	743	··0x0187ae40·8ef25901·00000000·01000000·00000000·..Y.............
744	··0x0187ae50·00000000·00000000·4a020000·00000000·........J.......	744	··0x0187ae50·00000000·00000000·4a020000·00000000·........J.......
745	··0x0187ae60·8ef25901·00000000·01000000·00000000·..Y.............	745	··0x0187ae60·9af25901·00000000·01000000·00000000·..Y.............
746	··0x0187ae70·00000000·00000000·4b020000·00000000·........K.......	746	··0x0187ae70·00000000·00000000·4b020000·00000000·........K.......
747	··0x0187ae80·1bf35901·00000000·01000000·00000000·..Y.............	747	··0x0187ae80·1bf35901·00000000·01000000·00000000·..Y.............
748	··0x0187ae90·00000000·00000000·4c020000·00000000·........L.......	748	··0x0187ae90·00000000·00000000·4c020000·00000000·........L.......
749	··0x0187aea0·2cf35901·00000000·01000000·00000000·,.Y.............	749	··0x0187aea0·2cf35901·00000000·01000000·00000000·,.Y.............
750	··0x0187aeb0·00000000·00000000·4d020000·00000000·........M.......	750	··0x0187aeb0·00000000·00000000·4d020000·00000000·........M.......
751	··0x0187aec0·7cf35901·00000000·01000000·00000000·\|.Y.............	751	··0x0187aec0·7cf35901·00000000·01000000·00000000·\|.Y.............
752	··0x0187aed0·00000000·00000000·4e020000·00000000·........N.......	752	··0x0187aed0·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:·2090	7	Installed-Size:·2090
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:·~~ad5f9~~d111bf93~~ec96~~c~~c1b37972d5555b5f9bd813~~	12	Build-Ids:·29790fdfd1db306b3cb4ce5f5011967e473f29a5


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/ad/~~5f9~~d111bf93~~ec96~~c~~c1b37972d5555b5f9bd813~~.debug	1	usr/lib/debug/.build-id/29/790fdfd1db306b3cb4ce5f5011967e473f29a5.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/ad/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/29/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2129024·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/ad/~~5f9~~d111bf93~~ec96~~c~~c1b37972d5555b5f9bd813~~.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2128920·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/29/790fdfd1db306b3cb4ce5f5011967e473f29a5.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:·182650	7	Installed-Size:·182649
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:·~~a7663e~~2c65~~badd~~ecc~~222~~69~~ab41b9a0~~c0~~f83a5697~~	13	Build-Ids:·8efe5827581c5e96c1556f2cec202c0d40def4a4


Offset 3796, 15 lines modified		Offset 3796, 15 lines modified
3796	0000000001866fc8··0000000000000008·R_X86_64_RELATIVE·························159d25f	3796	0000000001866fc8··0000000000000008·R_X86_64_RELATIVE·························159d25f
3797	0000000001866fd0··0000000000000008·R_X86_64_RELATIVE·························159d258	3797	0000000001866fd0··0000000000000008·R_X86_64_RELATIVE·························159d258
3798	0000000001866fe0··0000000000000008·R_X86_64_RELATIVE·························159e393	3798	0000000001866fe0··0000000000000008·R_X86_64_RELATIVE·························159e393
3799	0000000001866fe8··0000000000000008·R_X86_64_RELATIVE·························1594cc9	3799	0000000001866fe8··0000000000000008·R_X86_64_RELATIVE·························1594cc9
3800	0000000001866ff0··0000000000000008·R_X86_64_RELATIVE·························1594ce3	3800	0000000001866ff0··0000000000000008·R_X86_64_RELATIVE·························1594ce3
3801	0000000001867000··0000000000000008·R_X86_64_RELATIVE·························159e393	3801	0000000001867000··0000000000000008·R_X86_64_RELATIVE·························159e393
3802	0000000001867008··0000000000000008·R_X86_64_RELATIVE·························15988f7	3802	0000000001867008··0000000000000008·R_X86_64_RELATIVE·························15988f7
3803	0000000001867010··0000000000000008·R_X86_64_RELATIVE·························159f78d	3803	0000000001867010··0000000000000008·R_X86_64_RELATIVE·························159f7a1
3804	0000000001867020··0000000000000008·R_X86_64_RELATIVE·························15a046c	3804	0000000001867020··0000000000000008·R_X86_64_RELATIVE·························15a046c
3805	0000000001867028··0000000000000008·R_X86_64_RELATIVE·························159e887	3805	0000000001867028··0000000000000008·R_X86_64_RELATIVE·························159e887
3806	0000000001867030··0000000000000008·R_X86_64_RELATIVE·························159e879	3806	0000000001867030··0000000000000008·R_X86_64_RELATIVE·························159e879
3807	0000000001867040··0000000000000008·R_X86_64_RELATIVE·························159e855	3807	0000000001867040··0000000000000008·R_X86_64_RELATIVE·························159e855
3808	0000000001867048··0000000000000008·R_X86_64_RELATIVE·························159e85f	3808	0000000001867048··0000000000000008·R_X86_64_RELATIVE·························159e85f
3809	0000000001867050··0000000000000008·R_X86_64_RELATIVE·························159e868	3809	0000000001867050··0000000000000008·R_X86_64_RELATIVE·························159e868
3810	0000000001867058··0000000000000008·R_X86_64_RELATIVE·························159e739	3810	0000000001867058··0000000000000008·R_X86_64_RELATIVE·························159e739
Offset 4227, 29 lines modified		Offset 4227, 29 lines modified
4227	0000000001867f28··0000000000000008·R_X86_64_RELATIVE·························159fa78	4227	0000000001867f28··0000000000000008·R_X86_64_RELATIVE·························159fa78
4228	0000000001867f30··0000000000000008·R_X86_64_RELATIVE·························159fa95	4228	0000000001867f30··0000000000000008·R_X86_64_RELATIVE·························159fa95
4229	0000000001867f38··0000000000000008·R_X86_64_RELATIVE·························159f0cc	4229	0000000001867f38··0000000000000008·R_X86_64_RELATIVE·························159f0cc
4230	0000000001867f40··0000000000000008·R_X86_64_RELATIVE·························159fa9f	4230	0000000001867f40··0000000000000008·R_X86_64_RELATIVE·························159fa9f
4231	0000000001867f48··0000000000000008·R_X86_64_RELATIVE·························15a0a2f	4231	0000000001867f48··0000000000000008·R_X86_64_RELATIVE·························15a0a2f
4232	0000000001867f50··0000000000000008·R_X86_64_RELATIVE·························159f0d3	4232	0000000001867f50··0000000000000008·R_X86_64_RELATIVE·························159f0d3
4233	0000000001867f58··0000000000000008·R_X86_64_RELATIVE·························15a04fb	4233	0000000001867f58··0000000000000008·R_X86_64_RELATIVE·························15a04fb
4234	0000000001867f60··0000000000000008·R_X86_64_RELATIVE·························159f78d	4234	0000000001867f60··0000000000000008·R_X86_64_RELATIVE·························159f7a1
4235	0000000001867f68··0000000000000008·R_X86_64_RELATIVE·························159f0ef	4235	0000000001867f68··0000000000000008·R_X86_64_RELATIVE·························159f0ef
4236	0000000001867f70··0000000000000008·R_X86_64_RELATIVE·························159f0f6	4236	0000000001867f70··0000000000000008·R_X86_64_RELATIVE·························159f0f6
4237	0000000001867f78··0000000000000008·R_X86_64_RELATIVE·························1597ff4	4237	0000000001867f78··0000000000000008·R_X86_64_RELATIVE·························1597ff4
4238	0000000001867f80··0000000000000008·R_X86_64_RELATIVE·························159fbaf	4238	0000000001867f80··0000000000000008·R_X86_64_RELATIVE·························159fbaf
4239	0000000001867f88··0000000000000008·R_X86_64_RELATIVE·························15a0506	4239	0000000001867f88··0000000000000008·R_X86_64_RELATIVE·························15a0506
4240	0000000001867f90··0000000000000008·R_X86_64_RELATIVE·························159edbf	4240	0000000001867f90··0000000000000008·R_X86_64_RELATIVE·························159edbf
4241	0000000001867f98··0000000000000008·R_X86_64_RELATIVE·························159f102	4241	0000000001867f98··0000000000000008·R_X86_64_RELATIVE·························159f102
4242	0000000001867fa0··0000000000000008·R_X86_64_RELATIVE·························159f112	4242	0000000001867fa0··0000000000000008·R_X86_64_RELATIVE·························159f112
4243	0000000001867fa8··0000000000000008·R_X86_64_RELATIVE·························159f12a	4243	0000000001867fa8··0000000000000008·R_X86_64_RELATIVE·························159f12a
4244	0000000001867fb0··0000000000000008·R_X86_64_RELATIVE·························159f13f	4244	0000000001867fb0··0000000000000008·R_X86_64_RELATIVE·························159f13f
4245	0000000001867fb8··0000000000000008·R_X86_64_RELATIVE·························159f152	4245	0000000001867fb8··0000000000000008·R_X86_64_RELATIVE·························159f152
4246	0000000001867fc0··0000000000000008·R_X86_64_RELATIVE·························159f16a	4246	0000000001867fc0··0000000000000008·R_X86_64_RELATIVE·························159f16a
4247	0000000001867fc8··0000000000000008·R_X86_64_RELATIVE·························159f17b	4247	0000000001867fc8··0000000000000008·R_X86_64_RELATIVE·························159f17b
4248	0000000001867fd0··0000000000000008·R_X86_64_RELATIVE·························159f782	4248	0000000001867fd0··0000000000000008·R_X86_64_RELATIVE·························159f796


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·36363365·32633635·62616464·65636332·663e2c65baddecc2
3	··0x00000010·~~3232~~3639·~~6162~~3431·62396130·63306638·~~2269ab41b9a0c0f8~~	2	··0x00000000·66653538·32373538·31633565·39366331·fe5827581c5e96c1
		3	··0x00000010·35353666·32636563·32303263·30643430·556f2cec202c0d40
4	··0x00000020·336~~135~~36·39372e64·65627567·00000000·~~3a5697~~.debug....	4	··0x00000020·64656634·61342e64·65627567·00000000·def4a4.debug....
5	··0x00000030·~~fddb59b1~~····························..Y.	5	··0x00000030·b2976f8e····························..o.


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·66363236·61353061·32393866·38353164·f626a50a298f851d
3	··0x00000010·~~6232~~6434·3562~~3732~~·39316363·643~~265~~66·b2d45b~~7291cc~~d2ef	2	··0x00000000·31666434·37626464·63643030·64303066·1fd47bddcd00d00f
		3	··0x00000010·64396335·32656631·64336339·37616366·d9c52ef1d3c97acf
4	··0x00000020·393~~362~~66·33632e64·65627567·00000000·~~93bf3c~~.debug....	4	··0x00000020·61313561·66652e64·65627567·00000000·a15afe.debug....
5	··0x00000030·~~cfd45c5a~~····························~~..\Z~~	5	··0x00000030·315c74bb····························1\t.


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·35346536·31613630·39353133·66623932·54e61a609513fb92
3	··0x00000010·326~~139~~37·35~~3531~~66·~~663033~~39·31633636·~~2a97~~5~~51ff0391c66~~	2	··0x00000000·36636238·35616465·35616230·64346131·6cb85ade5ab0d4a1
		3	··0x00000010·31356537·61633831·64666563·66633764·15e7ac81dfecfc7d
4	··0x00000020·33663466·62312e64·65627567·00000000·3f4fb1.debug....	4	··0x00000020·35666466·36332e64·65627567·00000000·5fdf63.debug....
5	··0x00000030·~~7c7d6d62~~····························~~\|}mb~~	5	··0x00000030·b54323bd····························.C#.


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/a7/~~663e~~2c65~~badd~~ecc~~222~~69~~ab41b9a0~~c0~~f83a5697~~.debug	1	usr/lib/debug/.build-id/8e/fe5827581c5e96c1556f2cec202c0d40def4a4.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:··········1870~~20352~~·(bytes·into·file)	13	··Start·of·section·headers:··········187018944·(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·0xb25~~b44~~0:	1	There·are·40·section·headers,·starting·at·offset·0xb25aec0:

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·004d0c·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000185f780·000570·014ad0·00··WA··0···0·32	27	··[22]·.data.rel.ro······NOBITS··········000000000185f780·000570·014ad0·00··WA··0···0·32
28	··[23]·.dynamic··········NOBITS··········0000000001874250·000570·000250·10··WA··4···0··8	28	··[23]·.dynamic··········NOBITS··········0000000001874250·000570·000250·10··WA··4···0··8
29	··[24]·.got··············NOBITS··········00000000018744a0·000570·003b50·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········00000000018744a0·000570·003b50·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········0000000001878000·000570·008240·00··WA··0···0·32	30	··[25]·.data·············NOBITS··········0000000001878000·000570·008240·00··WA··0···0·32
31	··[26]·.bss··············NOBITS··········0000000001880240·000570·001a00·00··WA··0···0·32	31	··[26]·.bss··············NOBITS··········0000000001880240·000570·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·00dc57·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc57·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·00df10·881~~94ab~~·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·00df10·8818f99·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·882~~73c~~0·0dd047·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8826eb0·0dd047·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·890~~440~~8·87390b·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·8903ef8·87390b·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·9177d18·3df17b·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·9177808·3df17a·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·9556e98·0028d5·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·9556988·0028d5·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·9559770·129b1b7·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·9559260·129b1b3·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·a7f4928·16a3ac·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·a7f4418·16a33c·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a95ecd8·58474e·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a95e758·58474e·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·aee~~342~~8·0ca260·18·····38·31788··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·aee2ea8·0ca260·18·····38·31788··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·afad688·2adc23·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·afad108·2adc23·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·b25~~b2a~~b·000191·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·b25ad2b·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:·8·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·8·(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:·0x15fc0):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x15fa6):·long·int
16	·<1><1c>:·Abbrev·Number:·8·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·8·(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:·0xe~~909~~):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xe8ef):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·8·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·8·(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:·0x1aca8):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1ac8e):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·8·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·8·(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:·0x12~~703~~):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x126e9):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·8·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·8·(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:·0xc7a4):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xc78a):·unsigned·int
32	·<1><38>:·Abbrev·Number:·8·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·8·(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:·0x1c0de):·signed·char	35	····<3b>···DW_AT_name········:·(strp)·(offset:·0x1c0c4):·signed·char
36	·<1><3f>:·Abbrev·Number:·8·(DW_TAG_base_type)	36	·<1><3f>:·Abbrev·Number:·8·(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:·0x1dd63):·short·int	39	····<42>···DW_AT_name········:·(strp)·(offset:·0x1dd49):·short·int
40	·<1><46>:·Abbrev·Number:·9·(DW_TAG_base_type)	40	·<1><46>:·Abbrev·Number:·9·(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:·8·(DW_TAG_base_type)	44	·<1><4d>:·Abbrev·Number:·8·(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:·0x1c0e5):·char	47	····<50>···DW_AT_name········:·(strp)·(offset:·0x1c0cb):·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:·0	53	···Abbrev·Offset:·0
54	···Pointer·Size:··8	54	···Pointer·Size:··8
Offset 84, 15 lines modified		Offset 84, 15 lines modified
84	·<1><9c>:·Abbrev·Number:·8·(DW_TAG_base_type)	84	·<1><9c>:·Abbrev·Number:·8·(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:·0x5dd765):·float	87	····<9f>···DW_AT_name········:·(strp)·(offset:·0x5dd765):·float
88	·<1><a3>:·Abbrev·Number:·8·(DW_TAG_base_type)	88	·<1><a3>:·Abbrev·Number:·8·(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:·0x1c743):·long·long·unsigned·int	91	····<a6>···DW_AT_name········:·(strp)·(offset:·0x1c729):·long·long·unsigned·int
92	·<1><aa>:·Abbrev·Number:·8·(DW_TAG_base_type)	92	·<1><aa>:·Abbrev·Number:·8·(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:·0x1448):·bool	95	····<ad>···DW_AT_name········:·(strp)·(offset:·0x1448):·bool
96	·<1><b1>:·Abbrev·Number:·8·(DW_TAG_base_type)	96	·<1><b1>:·Abbrev·Number:·8·(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:·8·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·8·(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:·0x1fec0):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fec0):·char32_t
104	·<1><bf>:·Abbrev·Number:·8·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·8·(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:·0x14072):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x14058):·__int128
108	·<1><c6>:·Abbrev·Number:·8·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·8·(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:·0x23728):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x23728):·__int128·unsigned
112	·<1><cd>:·Abbrev·Number:·0	112	·<1><cd>:·Abbrev·Number:·0
113	··Compilation·Unit·@·offset·0xce:	113	··Compilation·Unit·@·offset·0xce:
114	···Length:········0x1006·(32-bit)	114	···Length:········0x1006·(32-bit)
Offset 154, 15 lines modified		Offset 154, 15 lines modified
154	····<119>···DW_AT_name········:·(strp)·(offset:·0xa99):·max_align_t	154	····<119>···DW_AT_name········:·(strp)·(offset:·0xa99):·max_align_t
155	····<11d>···DW_AT_decl_file···:·(data1)·20	155	····<11d>···DW_AT_decl_file···:·(data1)·20
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:·32·(DW_TAG_typedef)	160	·<1><123>:·Abbrev·Number:·32·(DW_TAG_typedef)
161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd~~612~~):·__off_t	161	····<124>···DW_AT_name········:·(strp)·(offset:·0xd5f8):·__off_t
162	····<128>···DW_AT_decl_file···:·(data1)·21	162	····<128>···DW_AT_decl_file···:·(data1)·21
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:·32·(DW_TAG_typedef)	166	·<1><12f>:·Abbrev·Number:·32·(DW_TAG_typedef)
167	····<130>···DW_AT_name········:·(strp)·(offset:·0x7609):·__off64_t	167	····<130>···DW_AT_name········:·(strp)·(offset:·0x7609):·__off64_t
168	····<134>···DW_AT_decl_file···:·(data1)·21	168	····<134>···DW_AT_decl_file···:·(data1)·21
Offset 760, 28 lines modified		Offset 760, 28 lines modified
760	····<40e>···DW_AT_decl_column·:·(data1)·11	760	····<40e>···DW_AT_decl_column·:·(data1)·11
761	····<40f>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·81·(DW_TAG_typedef)]	761	····<40f>···DW_AT_import······:·(ref_udata)·<0x118>» [Abbrev·Number:·81·(DW_TAG_typedef)]
762	·<2><410>:·Abbrev·Number:·0	762	·<2><410>:·Abbrev·Number:·0
763	·<1><411>:·Abbrev·Number:·24·(DW_TAG_pointer_type)	763	·<1><411>:·Abbrev·Number:·24·(DW_TAG_pointer_type)
764	····<412>···DW_AT_byte_size···:·(implicit_const)·8	764	····<412>···DW_AT_byte_size···:·(implicit_const)·8
765	····<412>···DW_AT_type········:·(ref_udata)·<0x142>,·char	765	····<412>···DW_AT_type········:·(ref_udata)·<0x142>,·char
766	·<1><413>:·Abbrev·Number:·32·(DW_TAG_typedef)	766	·<1><413>:·Abbrev·Number:·32·(DW_TAG_typedef)
767	····<414>···DW_AT_name········:·(strp)·(offset:·0xdc6c):·wint_t	767	····<414>···DW_AT_name········:·(strp)·(offset:·0xdc52):·wint_t
768	····<418>···DW_AT_decl_file···:·(data1)·65	768	····<418>···DW_AT_decl_file···:·(data1)·65
769	····<419>···DW_AT_decl_line···:·(data1)·20	769	····<419>···DW_AT_decl_line···:·(data1)·20
770	····<41a>···DW_AT_decl_column·:·(data1)·23	770	····<41a>···DW_AT_decl_column·:·(data1)·23
771	····<41b>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int	771	····<41b>···DW_AT_type········:·(ref_addr)·<0x31>,·unsigned·int
772	·<1><41f>:·Abbrev·Number:·64·(DW_TAG_array_type)	772	·<1><41f>:·Abbrev·Number:·64·(DW_TAG_array_type)
773	····<420>···DW_AT_type········:·(ref_addr)·<0x4d>,·char	773	····<420>···DW_AT_type········:·(ref_addr)·<0x4d>,·char
774	····<424>···DW_AT_sibling·····:·(ref_udata)·<0x42d>	774	····<424>···DW_AT_sibling·····:·(ref_udata)·<0x42d>
775	·<2><426>:·Abbrev·Number:·68·(DW_TAG_subrange_type)	775	·<2><426>:·Abbrev·Number:·68·(DW_TAG_subrange_type)
776	····<427>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int	776	····<427>···DW_AT_type········:·(ref_addr)·<0x1c>,·long·unsigned·int
777	····<42b>···DW_AT_upper_bound·:·(data1)·3	777	····<42b>···DW_AT_upper_bound·:·(data1)·3
778	·<2><42c>:·Abbrev·Number:·0	778	·<2><42c>:·Abbrev·Number:·0
779	·<1><42d>:·Abbrev·Number:·38·(DW_TAG_typedef)	779	·<1><42d>:·Abbrev·Number:·38·(DW_TAG_typedef)
780	····<42e>···DW_AT_name········:·(strp)·(offset:·0xb5a6):·__FILE	780	····<42e>···DW_AT_name········:·(strp)·(offset:·0xb58c):·__FILE
781	····<432>···DW_AT_decl_file···:·(data1)·68	781	····<432>···DW_AT_decl_file···:·(data1)·68
782	····<433>···DW_AT_decl_line···:·(data1)·5	782	····<433>···DW_AT_decl_line···:·(data1)·5
783	····<434>···DW_AT_decl_column·:·(data1)·25	783	····<434>···DW_AT_decl_column·:·(data1)·25
784	····<435>···DW_AT_type········:·(ref_udata)·<0x437>,·_IO_FILE	784	····<435>···DW_AT_type········:·(ref_udata)·<0x437>,·_IO_FILE
785	·<1><437>:·Abbrev·Number:·39·(DW_TAG_structure_type)	785	·<1><437>:·Abbrev·Number:·39·(DW_TAG_structure_type)
786	····<438>···DW_AT_name········:·(strp)·(offset:·0xc9c19d):·_IO_FILE	786	····<438>···DW_AT_name········:·(strp)·(offset:·0xc9c19d):·_IO_FILE
787	····<43c>···DW_AT_byte_size···:·(data1)·216	787	····<43c>···DW_AT_byte_size···:·(data1)·216
Offset 807, 71 lines modified		Offset 807, 71 lines modified
807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f0d9):·_IO_read_end	807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f0d9):·_IO_read_end
808	····<45e>···DW_AT_decl_file···:·(data1)·69	808	····<45e>···DW_AT_decl_file···:·(data1)·69
Max diff block lines reached; 38546486/38553726 bytes (99.98%) of diff not shown.


Offset 1568, 16 lines modified		Offset 1568, 16 lines modified
1568	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1568	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1569	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1569	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1570	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1570	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1571	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1571	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1572	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1572	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1573	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1573	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1574	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1574	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1575	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1575	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1576	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1576	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1577	··Offset:······················0x19e8	1577	··Offset:······················0x19e8
1578	··Version:·····················5	1578	··Version:·····················5
1579	··Offset·size:·················4	1579	··Offset·size:·················4

1580	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1580	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1581	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1581	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52731, 16 lines modified		Offset 52731, 16 lines modified
52731	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	52731	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52732	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	52732	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52733	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	52733	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52734	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52734	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52735	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52735	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52736	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52736	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52737	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52737	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52738	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	52738	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
52739	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	52739	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

52740	··Offset:······················0x490c7	52740	··Offset:······················0x490c7
52741	··Version:·····················5	52741	··Version:·····················5
52742	··Offset·size:·················4	52742	··Offset·size:·················4

52743	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52743	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52744	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52744	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342585, 17 lines modified		Offset 1342585, 19 lines modified
1342585	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·	1342585	·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1342586	·DW_MACRO_start_file·-·lineno:·24·filenum:·43	1342586	·DW_MACRO_start_file·-·lineno:·24·filenum:·43
1342587	·DW_MACRO_end_file	1342587	·DW_MACRO_end_file
1342588	·DW_MACRO_import·-·offset·:·0x521b5	1342588	·DW_MACRO_import·-·offset·:·0x521b5
1342589	·DW_MACRO_end_file	1342589	·DW_MACRO_end_file
1342590	·DW_MACRO_start_file·-·lineno:·49·filenum:·136	1342590	·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1342591	·DW_MACRO_end_file	1342591	·DW_MACRO_end_file
		1342592	·DW_MACRO_start_file·-·lineno:·50·filenum:·32
		1342593	·DW_MACRO_end_file
1342592	·DW_MACRO_start_file·-·lineno:·51·filenum:·112	1342594	·DW_MACRO_start_file·-·lineno:·52·filenum:·112
1342593	·DW_MACRO_end_file	1342595	·DW_MACRO_end_file
1342594	·DW_MACRO_start_file·-·lineno:·52·filenum:·303	1342596	·DW_MACRO_start_file·-·lineno:·53·filenum:·303
1342595	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1	1342597	·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1342596	·DW_MACRO_start_file·-·lineno:·41·filenum:·14	1342598	·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1342597	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·	1342599	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1342598	·DW_MACRO_start_file·-·lineno:·33·filenum:·15	1342600	·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1342599	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1	1342601	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1342600	·DW_MACRO_start_file·-·lineno:·35·filenum:·16	1342602	·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1342601	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1	1342603	·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1342603, 16 lines modified		Offset 1342605, 14 lines modified
1342603	·DW_MACRO_end_file	1342605	·DW_MACRO_end_file
1342604	·DW_MACRO_end_file	1342606	·DW_MACRO_end_file
1342605	·DW_MACRO_import·-·offset·:·0x9e15	1342607	·DW_MACRO_import·-·offset·:·0x9e15
1342606	·DW_MACRO_start_file·-·lineno:·56·filenum:·177	1342608	·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1342607	·DW_MACRO_import·-·offset·:·0x5103ab	1342609	·DW_MACRO_import·-·offset·:·0x5103ab
1342608	·DW_MACRO_end_file	1342610	·DW_MACRO_end_file
1342609	·DW_MACRO_end_file	1342611	·DW_MACRO_end_file
1342610	·DW_MACRO_start_file·-·lineno:·53·filenum:·32
1342611	·DW_MACRO_end_file
1342612	·DW_MACRO_start_file·-·lineno:·57·filenum:·83	1342612	·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1342613	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·	1342613	·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1342614	·DW_MACRO_start_file·-·lineno:·42·filenum:·177	1342614	·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1342615	·DW_MACRO_import·-·offset·:·0x510997	1342615	·DW_MACRO_import·-·offset·:·0x510997
1342616	·DW_MACRO_end_file	1342616	·DW_MACRO_end_file
1342617	·DW_MACRO_start_file·-·lineno:·43·filenum:·140	1342617	·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1342618	·DW_MACRO_import·-·offset·:·0x10b80	1342618	·DW_MACRO_import·-·offset·:·0x10b80


Offset 4194297, 8 lines modified		Offset 4194297, 8 lines modified
4194297	····00c1b7b7·v000000000000000·v000000000000000·location·view·pair	4194297	····00c1b7b7·v000000000000000·v000000000000000·location·view·pair
4194298	····00c1b7b9·v000000000000000·v000000000000000·location·view·pair	4194298	····00c1b7b9·v000000000000000·v000000000000000·location·view·pair
4194299	····00c1b7bb·v000000000000000·v000000000000000·location·view·pair	4194299	····00c1b7bb·v000000000000000·v000000000000000·location·view·pair
4194300	····00c1b7bd·v000000000000000·v000000000000000·location·view·pair	4194300	····00c1b7bd·v000000000000000·v000000000000000·location·view·pair
4194301	····00c1b7bf·v000000000000000·v000000000000000·location·view·pair	4194301	····00c1b7bf·v000000000000000·v000000000000000·location·view·pair

4194302	····00c1b7c1·0000000000620492·(base·address)	4194302	····00c1b7c1·0000000000620492·(base·address)
4194303	[·Too·much·input·for·diff·(SHA256:·fabd~~57db5db~~1~~2f63~~d834~~6d6~~b20~~78c2958~~1~~8a81~~1b7b2905b0b1ae24~~c85e3dcd92~~)·]	4194303	[·Too·much·input·for·diff·(SHA256:·c2d693aa981b09ed409494babf04f512c116ee6192615065aeb39409f075b6de)·]

+GCC:·(Debian·14.3.0-5)·14.3.0
+R^5~=_#=
+c-$cIZhBZ
+%^qz`qy$
+^T}3?h|*[<)
+w1qaMqy=
+b<{p~)}j?
+&%G[kY!}\C
+!>G/@ylz9
+Ly;:B}fd
+.jd9EV(jd-
+-Hrs|2Lr:"
+r()BY/5A
+rp*g?x!x
+OX3b'%<a=}z
+(KH]JHY^
+$y\#M:a]#
+hT9rI·+S
+J+»     =%8FA
+M»      }UCTX<
+i0;h!+>
+~hrpR4h·
+!J^KnYQji,wL
+f|ML#29:
+tk9-SYic
+>)y)>iyi
+]rW~SGl9
+h<qZ[('»j
+OI,gu*D$h
+Taa(uudL
+df&4Q·3
++}C=-ctu
+[Q9w\>Tz
+~$IoWVF_
+K&]u-{Vd
+w{jBnoN%)5
+K'·D{`%{rr
+!ceiU#{t1
+Jn0$G8/`
+dCbIRW5$
+mZDF<,F}
+~Q2lULaq:
+usu\^1`Ve
+W»      ,_g}L]
+w&p2W$d
+cs=:uiit
+a,!uh!cyy4O
+{7:Uy_~JDC
+]\$O[*#q
+W8Ta>Xb&
+[{Hh[CS$x/J,+F
+|OwSwP%H=
+;{[.{YZy
+NK?jY*[vQK1e
+p@#N>C#G
+j{$zXEwQH
+BpAj^<~g
+}ZbuY)eo,
+`_hWm7Ax1
+co@G9*^~
+hx?"^|X41l*
+:7r!(P+)
+zDl9PZB'X_PJ
+jyA»    ?»   wA» rR
+Xs&-zfY$
+?2Gw-HB-
+^*tv*b<G
+'Js8W1» ~a
+'b{B~[*6
+o/xZmPsO
+BSf!4Ocw
+U;FmJ`?M6
+\2^3&LsB
+*|m8khx=)o
+!j>:p|·X7
+[Z4@;\Ke
+JR$y#L&5»       G
+!<<r\$(fQ
+N5x@I['X
+»       J(-pF·a
+kUPC`.i$
+=K<-<g7y
+WHppr*q;
+y%'qe'Z9
+JGR6:Sq:
+CBT(m_C
+s$*Z<1g5$
+jBo+pR=|
+N@N:]d\E
+;K5"s\&O
+x+|<Js]+
+DTgB/i*J
+*C&JQ3$u
+·d1(P[X5
+\Y$Ro1Z)y
+TuX@;dbn?
+|J<'f-w!
+Y<QO-9gdA
+]E!VQQ$_
+kK·oo`@{
+!$kFqVUA
+gUnJF`9|
+*v+U,\)R
+pv+A"bvK
+(hUPi'd0
+j}4=wAy8
+[;edE·5w
+Ug?H66$dwMI?
+>jnIjSP:
+·AuwA%(N!
+,ejKCPS-
+w»      *+/:l<a
+CpYD|^J.;
+RIH[(|cq%
+):"iRR@
+~ocV2TGn
+-qo!Uz» z0
+{h|+:OD:
+aD%RZiu%~e5z
+MVReMkE3"
+tae(Rq=@
+zWeu}+\]
+G9nEpfs+
+H»      ^(k\=dV
+tHd1(~t|
+';zi6@u(
+D81~j<IWm


Offset 1191, 2329 lines modified		Offset 1191, 2329 lines modified
1191	··[··a414]··_BITS_TYPES_STRUCT_SCHED_PARAM·1	1191	··[··a414]··_BITS_TYPES_STRUCT_SCHED_PARAM·1
1192	··[··a435]··__USE_FORTIFY_LEVEL	1192	··[··a435]··__USE_FORTIFY_LEVEL
1193	··[··a449]··__glibcxx_want_is_scoped_enum	1193	··[··a449]··__glibcxx_want_is_scoped_enum
1194	··[··a467]··__UINT_LEAST16_MAX__·0xffff	1194	··[··a467]··__UINT_LEAST16_MAX__·0xffff
1195	··[··a483]··MOD_TAI·ADJ_TAI	1195	··[··a483]··MOD_TAI·ADJ_TAI
1196	··[··a493]··_LOCALE_FACETS_TCC·1	1196	··[··a493]··_LOCALE_FACETS_TCC·1
Diff chunk too large, falling back to line-by-line diff (2315 lines added, 2315 lines removed)
1197	··[··a4a8]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW	1197	··[··a4a8]··__exctype_l(name)·extern·int·name·(int,·locale_t)·__THROW
1198	··[··a4e2]··~~DEB_BUILD~~_TIM~~E·"23:13:23"~~	1198	··[··a4e2]··_M_len
1199	··[··a4fc]··_M_~~len~~	1199	··[··a4e9]··PTHREAD_SCOPE_PROCESS·PTHREAD_SCOPE_PROCESS
1200	··[··a503]··~~PTHREAD~~_~~SCOPE~~_~~PROCESS·PTHREAD_SCOPE~~_P~~ROCESS~~	1200	··[··a515]··__isoc23_wscanf
1201	··[··a52f]··__~~isoc23_wscanf~~	1201	··[··a525]··CVC5_KIND_TABLE_PROJECT
1202	··[··a53f]··~~CVC5~~_~~KIND~~_TABLE_~~PROJECT~~	1202	··[··a53d]··__ELF__·1
1203	··[··a557]··~~__E~~LF_~~_·1~~	1203	··[··a547]··tm_mon
1204	··[··a561]··tm_mon	1204	··[··a54e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag
1205	··[··a568]··~~_ZNSt7~~__c~~xx1112bas~~ic_stri~~ngIcSt11cha~~r_~~traitsIcESaIcEE12_M~~_construct~~IPKcEEvT_S8_S~~t20~~forward_iterator_tag~~	1205	··[··a5b6]··__cpp_lib_node_extract·201606L
1206	··[··a5d0]··_~~_cpp_lib_node~~_~~extract·20~~1~~606L~~	1206	··[··a5d5]··_GLIBCXX11_USE_C99_WCHAR·1
1207	··[··a5ef]··_~~GLIBCXX11_USE~~_~~C99_WCHAR·1~~	1207	··[··a5f0]··__glibcxx_want_unwrap_ref·
1208	··[··a60a]··_~~_glib~~cxx_want_unwrap_~~ref·~~	1208	··[··a60b]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLESt16initializer_listIcE
1209	··[··a625]··~~_ZNSt7_~~_~~cxx1112basic~~_~~stringIc~~S~~t11ch~~ar_~~traitsIcES~~aI~~cEEp~~LE~~St16initializer~~_~~listIcE~~	1209	··[··a65b]··_GLIBCXX_HAVE_SYS_TIME_H·1
1210	··[··a675]··_GLI~~BCXX_HAVE_SYS_TIME_H·~~1	1210	··[··a676]··INT_FAST16_MIN·(-9223372036854775807L-1)
1211	··[··a690]··~~INT_FAST16~~_~~MIN~~·(~~-92233720368547758~~0~~7L-1~~)	1211	··[··a69f]··CLOCKS_PER_SEC·((__clock_t)·1000000)
1212	··[··a6b9]··CLOCKS_~~PER~~_SEC~~·((__clock~~_t)·~~1000000)~~	1212	··[··a6c4]··CVC5__CHECK_H·
1213	··[··a6de]··~~CVC5~~_~~_CH~~E~~CK_H·~~	1213	··[··a6d3]··__USE_XOPEN2K·1
1214	··[··a6ed]··_~~_USE~~_~~XOPEN2K·1~~	1214	··[··a6e3]··_Lock_policy
1215	··[··a6fd]··~~_Lock_policy~~	1215	··[··a6f0]··WEOF·(0xffffffffu)
1216	··[··a70a]··W~~EOF·(0xffffffffu)~~	1216	··[··a703]··ADJ_STATUS·0x0010
1217	··[··a71d]··AD~~J_STATUS·0x0010~~	1217	··[··a715]··~basic_iostream
1218	··[··a72f]··~basic_iost~~ream~~	1218	··[··a725]··_GLIBCXX_VISIBILITY(V)·__attribute__·((__visibility__·(#V)))
1219	··[··a73f]··_GLIBCXX~~_VISIBILITY(V)·__attribute_~~_·~~((_~~_~~visibility__~~·~~(#V))~~)	1219	··[··a762]··_GLIBCXX_X86_RDRAND·1
1220	··[··a77c]··_~~GLIBCXX~~_~~X86~~_~~RDRAND·~~1	1220	··[··a778]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE3endEv
1221	··[··a792]··_ZNKSt1~~7ba~~sic_string_vi~~ewIcSt11c~~har_traitsIcE~~E3endEv~~	1221	··[··a7ad]··_ZNSt16initializer_listIcEC4EPKcm
1222	··[··a7c7]··_~~ZNSt16initializer~~_~~lis~~tI~~cEC4EPKcm~~	1222	··[··a7cf]··__LDBL_DECIMAL_DIG__·21
1223	··[··a7e9]··__L~~DBL~~_~~DECIMAL_DIG__·21~~	1223	··[··a7e7]··CLONE_PARENT·0x00008000
1224	··[··a~~801~~]··C~~LON~~E~~_PARENT·~~0~~x00008000~~	1224	··[··a7ff]··_ZNK4cvc516CVC5ApiException10getMessageB5cxx11Ev
1225	··[··a819]··_~~ZNK4cvc516CV~~C~~5ApiException10getMessageB5cxx1~~1Ev	1225	··[··a830]··_GLIBCXX_STRING_VIEW_TCC·1
1226	··[··a84a]··_~~GLIBCXX_~~ST~~RING~~_~~VIEW_TCC·1~~	1226	··[··a84b]··__INT_LEAST32_MAX__·0x7fffffff
1227	··[··a865]··__I~~NT_LEAST3~~2_~~MAX_~~_~~·0x7fffffff~~	1227	··[··a86a]··_IO_wide_data
1228	··[··a884]··_IO_wide_data	1228	··[··a878]··__cpp_lib_optional·201606L
1229	··[··a892]··__cpp_~~lib~~_opti~~onal~~·201~~606~~L	1229	··[··a893]··__cpp_namespace_attributes·201411L
1230	··[··a8ad]··~~__cpp~~_na~~mespace~~_a~~ttributes~~·~~20141~~1L	1230	··[··a8b6]··_GLIBCXX_REFWRAP_H·1
1231	··[··a8d0]··_GL~~IBCXX_REFWRAP_H·1~~	1231	··[··a8cb]··_ZNSt8ios_baseC4Ev
1232	··[··a8e5]··_Z~~NSt8ios_baseC4Ev~~	1232	··[··a8de]··__SIZEOF_FLOAT128__·16
1233	··[··a8f8]··~~__S~~IZE~~OF_FL~~OAT12~~8__·~~16	1233	··[··a8f5]··EREMOTEIO·121
1234	··[··a90f]··~~EREMOTE~~IO·121	1234	··[··a903]··_ZNSt9basic_iosIcSt11char_traitsIcEEC4Ev
1235	··[··a91d]··~~_ZNSt9basic~~_io~~sIcSt11ch~~ar_tr~~ait~~s~~IcEEC4~~Ev	1235	··[··a92c]··_old_offset
1236	··[··a946]··_~~old~~_~~offset~~	1236	··[··a938]··__HAVE_FLOATN_NOT_TYPEDEF·0
1237	··[··a952]··__~~HAVE_FLOATN~~_~~NOT_TYPEDEF·0~~	1237	··[··a954]··__glibcxx_want_bool_constant
1238	··[··a96e]··__glibcxx_want~~_bool_co~~n~~stant~~	1238	··[··a971]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE5rfindEPKcmm
1239	··[··a98b]··_ZNKSt1~~7basi~~c_~~string~~_viewI~~cSt11~~char_t~~rai~~tsIcEE5~~rfindEPKcmm~~	1239	··[··a9ac]··_ZNKSt15__new_allocatorIcE8max_sizeEv
1240	··[··a9c6]··~~_ZNKSt15_~~_new_allocat~~orI~~c~~E8m~~a~~x_s~~izeEv	1240	··[··a9d2]··_M_allocated_capacity
1241	··[··a9ec]··_M_a~~llo~~cat~~ed_~~capac~~ity~~	1241	··[··a9e8]··basic_streambuf<char,·std::char_traits<char>·>
1242	··[··aa02]··~~basic~~_~~streambuf<char,~~·~~std::char~~_~~traits<char>~~·>	1242	··[··aa17]··PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP·{·{·__PTHREAD_MUTEX_INITIALIZER·(PTHREAD_MUTEX_ERRORCHECK_NP)·}·}
1243	··[··aa31]··~~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)·}·~~}	1243	··[··aa81]··CVC5_KIND_FLOATINGPOINT_GEQ
1244	··[··aa9b]··~~CVC5~~_KIND_~~FLOAT~~I~~NGPO~~I~~NT_G~~EQ	1244	··[··aa9d]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEppEi
1245	··[··aab7]··~~_ZN9_~~_~~gnu~~_c~~xx17__norm~~al_~~ite~~rator~~IPcNSt7__cxx1112~~basic_~~stringIcS~~t~~11ch~~ar_t~~rai~~ts~~IcESaIcEEEEppEi~~	1245	··[··aafa]··__cpp_variadic_templates·200704L
1246	··[··ab14]··__c~~pp_variadic~~_~~templ~~ate~~s·200704L~~	1246	··[··ab1b]··_ZNSt15__new_allocatorIcED2Ev
1247	··[··ab35]··_ZN~~St15__new_allocatorIcED2Ev~~	1247	··[··ab39]··ENOSYS·38
1248	··[··ab53]··ENOSYS~~·38~~	1248	··[··ab43]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1249	··[··ab5d]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7~~compa~~reERK~~S4_~~	1249	··[··ab88]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6insertEmmc
1250	··[··aba2]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~6insert~~Emmc	1250	··[··abc9]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEppEv
1251	··[··a~~be3~~]··_Z~~N9__gnu_cxx17__normal_iteratorIPc~~NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~EEpp~~Ev	1251	··[··ac26]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE13_M_set_lengthEm
1252	··[··ac40]··~~_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcE~~E~~13_M_set_lengthEm~~	1252	··[··ac6d]··ENOPKG·65
1253	··[··ac87]··EN~~OPKG·65~~	1253	··[··ac77]··CVC5_SORT_KIND_SEQUENCE_SORT
1254	··[··ac91]··CVC5_SORT_~~KIND~~_~~SEQUENCE~~_~~SORT~~	1254	··[··ac94]··__CFLOAT128·_Complex·_Float128
1255	··[··acae]··__~~CFLO~~A~~T128·_Complex·_Float128~~	1255	··[··acb3]··__LONG_MAX__·0x7fffffffffffffffL
1256	··[··accd]··__LONG_~~MAX~~__~~·0x7fffffff~~f~~fffffffL~~	1256	··[··acd4]··CVC5_EXPORT·__attribute__((visibility("default")))
1257	··[··a~~cee~~]··~~CVC5_EXPORT~~·__~~attribute_~~_~~((visibili~~ty("def~~ault")))~~	1257	··[··ad07]··__STD_TYPE·typedef
1258	··[··ad21]··~~__STD_TYPE~~·typedef	1258	··[··ad1a]··fopen
1259	··[··ad34]··fopen	1259	··[··ad20]··__cpp_lib_not_fn·201603L
1260	··[··ad3a]··~~__cpp_lib_not_fn·201603L~~	1260	··[··ad39]··RENAME_WHITEOUT·(1·<<·2)
1261	··[··ad53]··~~RENAME_WHITEOUT·(1·<<·2)~~	1261	··[··ad52]··difference_type
1262	··[··ad6c]··~~difference~~_~~type~~	1262	··[··ad62]··__ORDER_PDP_ENDIAN__·3412
1263	··[··ad7c]··_~~_ORDER_PDP_~~END~~IAN__·3412~~	1263	··[··ad7c]··_ZNSo5flushEv
1264	··[··ad96]··_~~ZNSo5flushE~~v	1264	··[··ad8a]··__glibcxx_want_variant·
1265	··[··ada4]··__~~glibcxx_want~~_~~varia~~nt·	1265	··[··ada2]··_GLIBCXX_ASAN_ANNOTATE_GROW(n)·
1266	··[··adbc]··~~_GLIBCXX~~_AS~~AN_ANNOTATE~~_GR~~OW(n)·~~	1266	··[··adc2]··_S_badbit
1267	··[··addc]··_S_badbit	1267	··[··adcc]··CVC5_API_KIND_CHECK(kind)·CVC5_API_CHECK(isDefinedKind(kind))·<<·"Invalid·kind·'"·<<·std::to_string(kind)·<<·"'";
1268	··[··a~~de6]··CVC5_API_KIND_CHECK(kind)·CVC5_API_CHECK(isD~~efine~~dKind(kind))·<<·"Invalid·kind·'~~"·<<·~~std::t~~o_s~~tring(~~kin~~d)·<<·"'";~~	1268	··[··ae3e]··wcslen
1269	··[··ae58]··~~wcslen~~	1269	··[··ae45]··_GXX_NULLPTR_T·
1270	··[··ae5f]··~~_GXX~~_N~~ULLPTR_T·~~	1270	··[··ae55]··ENOTNAM·118
1271	··[··ae6f]··EN~~OTNAM·~~118	1271	··[··ae61]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_
1272	··[··ae7b]··~~_ZNSt7__cxx1112bas~~ic_s~~trin~~g~~IcSt11char_t~~r~~aitsIcES~~a~~IcEE~~p~~LERKS4~~_	1272	··[··ae9f]··isgraph
1273	··[··aeb9]··~~isgraph~~	1273	··[··aea7]··__SLONG32_TYPE·int
1274	··[··aec1]··__SL~~ONG~~32_T~~YPE~~·int	1274	··[··aeba]··EL3RST·47
1275	··[··aed4]··~~EL3RST·47~~	1275	··[··aec4]··_M_replace_facet
1276	··[··aede]··~~_M_replace~~_~~face~~t	1276	··[··aed5]··5div_t
1277	··[··aeef]··5~~div~~_t	1277	··[··aedc]··CVC5_KIND_RELATION_TRANSPOSE
1278	··[··aef6]··~~CVC5~~_KIND_RE~~LATION~~_~~TRAN~~SPOSE	1278	··[··aef9]··_ZSt10__distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_St26random_access_iterator_tag
1279	··[··af13]··~~_ZSt10__distanceIPKcENSt15iterator_traitsI~~T_~~E15differen~~ce_type~~ES3_S3_St26~~r~~ando~~m~~_access_~~i~~terator_tag~~	1279	··[··af5d]··L_ctermid·9
1280	··[··af77]··L_~~ctermid~~·9	1280	··[··af69]··__INT_FAST8_WIDTH__·8
1281	··[··af83]··__~~INT~~_~~FAST8~~_~~WIDTH__·8~~	1281	··[··af7f]··__glibcxx_want_constexpr_algorithms
1282	··[··af99]··~~__glibcxx_want~~_~~constexpr_algorithms~~	1282	··[··afa3]··UINT16_MAX·(65535)
1283	··[··afbd]··~~UINT16~~_~~MAX·(65535)~~	1283	··[··afb6]··__glibcxx_want_generator
1284	··[··afd0]··__~~glibcxx_want~~_~~generator~~	1284	··[··afcf]··__FLT64_MAX_10_EXP__·308
1285	··[··afe9]··__FLT6~~4_MAX_10~~_~~EXP~~__·308	1285	··[··afe8]··__BFLT16_DECIMAL_DIG__·4
1286	··[··b002]··__BFLT~~16_DECIMAL_DIG~~__·4	1286	··[··b001]··__CPUELT(cpu)·((cpu)·/·__NCPUBITS)
1287	··[··b01b]··__CPU~~ELT(cpu)·((cpu)·/·~~__N~~CPUBITS)~~	1287	··[··b024]··__GNUC_STDC_INLINE__·1
1288	··[··b03e]··_~~_GNU~~C_~~STDC~~_~~INLIN~~E__·1	1288	··[··b03b]··_GLIBCXX_LONG_DOUBLE_ALT128_COMPAT
1289	··[··b055]··_~~GLIBCXX~~_~~LONG~~_~~DOUBLE~~_~~ALT128_COMPAT~~	1289	··[··b05e]··__cpp_lib_nonmember_container_access·201411L
1290	··[··b078]··__cpp_~~lib~~_nonmem~~ber_conta~~in~~er_acces~~s·201411L	1290	··[··b08b]··__cpp_nested_namespace_definitions·201411L
1291	··[··b0a5]··_~~_cpp~~_ne~~sted~~_~~namespace~~_~~definitions·201411L~~	1291	··[··b0b6]··CVC5_KIND_SET_SINGLETON
1292	··[··b0d0]··~~CVC5_KIND_SET_SINGLETON~~	1292	··[··b0ce]··vfwprintf
1293	··[··b0e8]··~~vfwprintf~~	1293	··[··b0d8]··_GLIBCXX_HAVE_STRERROR_R·1
1294	··[··b0f2]··_GLIBCXX_HAVE~~_ST~~RERRO~~R_R~~·1	1294	··[··b0f3]··_GLIBCXX_CERRNO·1
1295	··[··b10d]··_~~GLIBCXX~~_~~CERRNO·1~~	1295	··[··b105]··__pptr
1296	··[··b11f]··_~~_pptr~~	1296	··[··b10c]··CLONE_NEWTIME·0x00000080
1297	··[··b126]··CLONE_~~NEW~~TIME~~·0x00000080~~	1297	··[··b125]··CVC5_LEARNED_LIT_TYPE_PREPROCESS
1298	··[··b13f]··~~CVC5~~_~~LEARNED~~_~~LIT_TYPE~~_~~PREPROCESS~~	1298	··[··b146]··__glibcxx_nonmember_container_access·201411L
1299	··[··b160]··__~~glibcxx~~_~~nonmember~~_~~container~~_~~access·201411L~~	1299	··[··b173]··_PSTL_PRAGMA_VECTOR_UNALIGNED·
1300	··[··b18d]··_PSTL_~~PRAGMA_VECTOR_UNALIGNED·~~	1300	··[··b192]··__FLT32X_MIN__·2.22507385850720138309023271733240406e-308F32x
1301	··[··b1ac]··__~~FLT32X~~_~~MIN~~_~~_·2.225073858507~~2~~0138309~~0~~2327~~1~~73324040~~6~~e-3~~08F32x	1301	··[··b1d0]··__cpp_range_based_for·201603L
1302	··[··b1ea]··__~~cpp~~_~~range~~_~~based~~_~~for·2016~~03L	1302	··[··b1ee]··_GLIBCXX_USE_UCHAR_C8RTOMB_MBRTOC8_CXX20·1
1303	··[··b208]··~~_GL~~IBC~~XX_USE~~_~~UCH~~A~~R_C8R~~T~~OMB_MBR~~T~~OC8~~_~~CXX20·1~~	1303	··[··b219]··CVC5_KIND_FLOATINGPOINT_REM
1304	··[··b233]··~~CVC5_K~~I~~ND_FLO~~ATI~~NGPO~~IN~~T_REM~~	1304	··[··b235]··_GLIBCXX_HAVE_SINCOSF·1
1305	··[··b24f]··_GL~~IBC~~X~~X_HAV~~E_~~SINCOSF·1~~	1305	··[··b24d]··__FLT32X_MIN_EXP__·(-1021)
1306	··[··b267]··~~__FLT32X~~_MIN~~_EXP_~~_·(~~-1021)~~	1306	··[··b268]··_ISOC99_SOURCE
1307	··[··b282]··_ISOC99_SOURCE	1307	··[··b277]··CVC5_API_UNSUPPORTED_CHECK(cond)·CVC5_PREDICT_TRUE(cond)·?·(void)0·:·cvc5::internal::OstreamVoider()·&·cvc5::CVC5ApiUnsupportedExceptionStream().ostream()
1308	··[··b291]··~~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()~~	1308	··[··b312]··__glibcxx_want_stacktrace
1309	··[··b32c]··__glibcxx_want_~~stacktrace~~	1309	··[··b32c]··__glibcxx_want_filesystem
1310	··[··b346]··_~~_glib~~cxx_want_fi~~lesystem~~	1310	··[··b346]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4Ev
1311	··[··b360]··~~_ZNSt7~~__~~cxx1112basi~~c_~~stringIcSt11c~~h~~ar_tra~~i~~tsIcESaIcEEC4Ev~~	1311	··[··b380]··~_Alloc_hider
1312	··[··b39a]··~_Alloc_hider	1312	··[··b38e]··__glibcxx_want_string_udls
1313	··[··b3a8]··~~__glibcxx~~_~~want~~_s~~tring_udls~~	1313	··[··b3a9]··CVC5_KIND_SET_CHOOSE
1314	··[··b3c3]··~~CVC5_KIND~~_S~~ET_CHOOSE~~	1314	··[··b3be]··_M_remove_reference
1315	··[··b3d8]··_M_rem~~ove~~_~~reference~~	1315	··[··b3d2]··__CPUMASK(cpu)·((__cpu_mask)·1·<<·((cpu)·%·__NCPUBITS))
1316	··[··b~~3ec~~]··__~~CPUMASK(cpu)·((__cpu~~_~~mask)·1·<<·((c~~p~~u)·%·_~~_~~NCPUBITS~~))	1316	··[··b40a]··__DEFINED_ptrdiff_t·
Max diff block lines reached; 250/225141 bytes (0.11%) 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:·4227	7	Installed-Size:·4227
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:·7cf~~626a50a298f851~~db~~2d45b7291~~c~~cd2e~~f~~93bf3c~~	13	Build-Ids:·d61fd47bddcd00d00fd9c52ef1d3c97acfa15afe


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/7c/f~~626a50a298f851~~db~~2d45b7291~~c~~cd2e~~f~~93bf3c~~.debug	1	usr/lib/debug/.build-id/d6/1fd47bddcd00d00fd9c52ef1d3c97acfa15afe.debug


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

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··········00000000000ba918·0008d8·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000ba918·0008d8·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··8
27	··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000be060·0008d8·000080·00··WA··0···0·32	29	··[24]·.bss··············NOBITS··········00000000000be060·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·000744·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·000744·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a3~~41c~~·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a33f7·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a3de8·006587·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a3dc0·006587·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2aa370·03286f·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2aa348·03286f·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2dcbe0·05b013·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2dcbb8·05b01d·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·337bf8·0007d2·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·337bd8·0007d2·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·3383d0·087bdd·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·3383b0·087bdd·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3bffb0·00cbd9·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3bff90·00cbd0·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3ccb90·020c01·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3ccb60·020c01·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3ed798·00d128·18·····36·1034··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3ed768·00d128·18·····36·1034··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3fa8c0·022cb4·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3fa890·022cb4·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·41d574·000184·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·41d544·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:·0x4ce5d):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4ce5d):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·45	29	····<2f>···DW_AT_decl_file···:·(data1)·45
30	····<30>···DW_AT_decl_line···:·(data2)·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:·0xa57ce):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa57e8):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51f1d):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51f1d):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·45	36	····<3d>···DW_AT_decl_file···:·(data1)·45
37	····<3e>···DW_AT_decl_line···:·(data2)·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:·68·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63979):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63979):·long·long·int
55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9a8bf):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9a8d9):·long·double
59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa57d0):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa57ea):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·45	61	····<64>···DW_AT_decl_file···:·(data1)·45
62	····<65>···DW_AT_decl_line···:·(data2)·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:·86·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x349fc):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x349fc):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2~~7fd~~):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2817):·unsigned·char
72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b1bd):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b1bd):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14479e):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14479e):·unsigned·int
80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd93e5):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd93ff):·signed·char
84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4baa9):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4baa9):·short·int
88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9be13):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9be2d):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·46	90	····<97>···DW_AT_decl_file···:·(data1)·46
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa7be0):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa7bfa):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·46	102	····<ab>···DW_AT_decl_file···:·(data1)·46
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa57dc):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa57f6):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·46	108	····<b4>···DW_AT_decl_file···:·(data1)·46
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)	119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9~~3ec~~):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9406):·char
121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>
126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·52	127	····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 853, 15 lines modified		Offset 853, 15 lines modified
853	····<44b>···DW_AT_import······:·(ref_udata)·<0x1359>» [Abbrev·Number:·60·(DW_TAG_subprogram)]	853	····<44b>···DW_AT_import······:·(ref_udata)·<0x1359>» [Abbrev·Number:·60·(DW_TAG_subprogram)]
854	·<2><44d>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	854	·<2><44d>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
855	····<44e>···DW_AT_decl_file···:·(data1)·70	855	····<44e>···DW_AT_decl_file···:·(data1)·70
856	····<44f>···DW_AT_decl_line···:·(data1)·105	856	····<44f>···DW_AT_decl_line···:·(data1)·105
857	····<450>···DW_AT_decl_column·:·(data1)·11	857	····<450>···DW_AT_decl_column·:·(data1)·11
858	····<451>···DW_AT_import······:·(ref_udata)·<0x1369>» [Abbrev·Number:·60·(DW_TAG_subprogram)]	858	····<451>···DW_AT_import······:·(ref_udata)·<0x1369>» [Abbrev·Number:·60·(DW_TAG_subprogram)]
859	·<2><453>:·Abbrev·Number:·67·(DW_TAG_namespace)	859	·<2><453>:·Abbrev·Number:·67·(DW_TAG_namespace)
860	····<454>···DW_AT_name········:·(strp)·(offset:·0x96fd1):·__detail	860	····<454>···DW_AT_name········:·(strp)·(offset:·0x96feb):·__detail
861	·<3><458>:·Abbrev·Number:·77·(DW_TAG_variable)	861	·<3><458>:·Abbrev·Number:·77·(DW_TAG_variable)
862	····<459>···DW_AT_name········:·(strp)·(offset:·0x123679):·__integer_to_chars_is_unsigned	862	····<459>···DW_AT_name········:·(strp)·(offset:·0x123679):·__integer_to_chars_is_unsigned
863	····<45d>···DW_AT_decl_file···:·(implicit_const)·74	863	····<45d>···DW_AT_decl_file···:·(implicit_const)·74
864	····<45d>···DW_AT_decl_line···:·(implicit_const)·48	864	····<45d>···DW_AT_decl_line···:·(implicit_const)·48
865	····<45d>···DW_AT_decl_column·:·(implicit_const)·20	865	····<45d>···DW_AT_decl_column·:·(implicit_const)·20
866	····<45d>···DW_AT_type········:·(ref_udata)·<0xcd6>,·bool	866	····<45d>···DW_AT_type········:·(ref_udata)·<0xcd6>,·bool
867	····<45f>···DW_AT_declaration·:·(flag_present)·1	867	····<45f>···DW_AT_declaration·:·(flag_present)·1
Offset 872, 33 lines modified		Offset 872, 33 lines modified
872	·<1><461>:·Abbrev·Number:·80·(DW_TAG_structure_type)	872	·<1><461>:·Abbrev·Number:·80·(DW_TAG_structure_type)
873	····<462>···DW_AT_name········:·(strp)·(offset:·0x11f17b):·typedef·__va_list_tag·__va_list_tag	873	····<462>···DW_AT_name········:·(strp)·(offset:·0x11f17b):·typedef·__va_list_tag·__va_list_tag
874	····<466>···DW_AT_byte_size···:·(data1)·24	874	····<466>···DW_AT_byte_size···:·(data1)·24
875	····<467>···DW_AT_decl_file···:·(data1)·92	875	····<467>···DW_AT_decl_file···:·(data1)·92
876	····<468>···DW_AT_decl_line···:·(data1)·0	876	····<468>···DW_AT_decl_line···:·(data1)·0
877	····<469>···DW_AT_sibling·····:·(ref_udata)·<0x48a>	877	····<469>···DW_AT_sibling·····:·(ref_udata)·<0x48a>
878	·<2><46b>:·Abbrev·Number:·85·(DW_TAG_member)	878	·<2><46b>:·Abbrev·Number:·85·(DW_TAG_member)
879	····<46c>···DW_AT_name········:·(strp)·(offset:·0x751d8):·gp_offset	879	····<46c>···DW_AT_name········:·(strp)·(offset:·0x751f2):·gp_offset
880	····<470>···DW_AT_decl_file···:·(implicit_const)·92	880	····<470>···DW_AT_decl_file···:·(implicit_const)·92
881	····<470>···DW_AT_decl_line···:·(implicit_const)·0	881	····<470>···DW_AT_decl_line···:·(implicit_const)·0
882	····<470>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	882	····<470>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
883	····<471>···DW_AT_data_member_location:·(data1)·0	883	····<471>···DW_AT_data_member_location:·(data1)·0
884	·<2><472>:·Abbrev·Number:·85·(DW_TAG_member)	884	·<2><472>:·Abbrev·Number:·85·(DW_TAG_member)
885	····<473>···DW_AT_name········:·(strp)·(offset:·0x90094):·fp_offset	885	····<473>···DW_AT_name········:·(strp)·(offset:·0x900ae):·fp_offset
886	····<477>···DW_AT_decl_file···:·(implicit_const)·92	886	····<477>···DW_AT_decl_file···:·(implicit_const)·92
887	····<477>···DW_AT_decl_line···:·(implicit_const)·0	887	····<477>···DW_AT_decl_line···:·(implicit_const)·0
888	····<477>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	888	····<477>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
Max diff block lines reached; 39511307/39518923 bytes (99.98%) of diff not shown.


Offset 1794, 16 lines modified		Offset 1794, 16 lines modified
1794	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1794	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1795	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1795	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1796	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1796	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1797	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1797	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1798	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1798	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1799	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1799	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1800	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1800	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1803	··Offset:······················0x1ccf	1803	··Offset:······················0x1ccf
1804	··Version:·····················5	1804	··Version:·····················5
1805	··Offset·size:·················4	1805	··Offset·size:·················4

1806	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1806	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1807	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1807	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 48434, 16 lines modified		Offset 48434, 16 lines modified
48434	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	48434	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
48435	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	48435	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
48436	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	48436	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
48437	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	48437	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
48438	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	48438	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
48439	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	48439	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
48440	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	48440	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
48441	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	48441	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
48442	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	48442	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

48443	··Offset:······················0x3ef02	48443	··Offset:······················0x3ef02
48444	··Version:·····················5	48444	··Version:·····················5
48445	··Offset·size:·················4	48445	··Offset·size:·················4

48446	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	48446	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
48447	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	48447	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+GCC:·(Debian·14.3.0-5)·14.3.0
+{fXf^eN{QZ#
+sC5pN3I3C6
+`_ZFY»
+VPyB`%/5
+oByB`%o}
+L>LD\m>-
+!VuEO'!:
++)r=PRv
+*]QuMU(+
+ri`%2"&:
+jbpcrpEjpu
+)dX9d_n[gSK
+wJ*YXs2!
+.CKl5d'|<
+Gy3zL_Sr
+RO'=4qtf
+i!sC\iAi=n
+QMo(9d)8
+em${TL]a~t
+$#YOC[`F
+iJ=&N[Q_
+@~#$bD^]
+K.4Tlc0.
+Vl}%FAJ^8-
+X)4s;rT
+M7kD'%-
+R&:GsL[l1"7
+B8<-FLSC
+(F_dy`L;z
+>iL+^2GS
+ZImt@0gH
+l8$·]2vz
+!hQh8JZ@
+"3Zh]&}
+qAQDQQQY
+gq1ZUlt^
+fu6}?|4!
+xl9>)@)j
+]N"akM>+
+A}!9X(3w
+to!I^eLV
+·_2#Pv(~
+k4ES_6]
+o`FXS`V>
+mDs3,8k»
+*»     |RnI%H
+i-fWgsv/e
+K7rK5sC^
+a[P]}.v)HK
+?2/3&M&
+OS<|K9<O
+MUQ[e2yS
+.Ostnk>».
+M}z8QD90=
+TP@{8sTd
+·,B:Q(@:I8
+ZQzHH5W1
+p[GhQ8R<_
+cY5*ym\
+f"OagP9E^
+R']i^K-j'}w
+lyH,I_'8@
+!A.'}t`5r({
+Y%DvbnpM
+H9DD\m~-
+I»      1#M!D]
+G5!·W"D\G
+/<r#Dd_G
+C[hHv_2A#
+%w9r»   ?/O
+E2uFX$Sk
+E2uGX$WR+h
+!-gE:aqT!
+»       ]M?EcS8
+R|Bu/SI]
+&:S^q/S[`|&
+qP"gTPQ
+DSWjJ$m"
+))FX9b.3
+*()DX9d]fYkQs
+rZQ6t\"Yo
+Y<BY)E^R
+Pi6EOq@'H)
+&Sh9]1d
+@wAZy»  kQ
+?v|jl[|=
+:;^QAVW(v
++d-f?O"(
+D+89/rgN{
+ZG44D/k5
+bBB\9Ngvy
+DrLsL%H8
+mEU<ibvM
+\@"»    Ndy`L
+J0_L';34]
+M<cD»  ·wg
++!q%\^e}F
+=:,>`)k=#d
+Z4=+Fee)
+:ZctH/Kq
+M7XlgKm@
+~'/2f-rV
+%,s[FUK
++%=G3jS>
+G^SU^SE6h
+&d}_"K]`
+:)NdM%l
+nXK~0zfE`
+B81b<8q
+d`)BP*u+k
+C)D*I%GD
+q}E_)9vO
+"gN2Z<Re
+Gis}Tq:B[
+}xNED?,c
+ZLlEAL2X
+@o3OA/1z
+·Z2ZG-J<
+.Oslng<»
+Q6LOsd^v
+{Z2%{lRf
+h%,SwIEF
+@-,@uGH.@u
+"xyWfz\:
+"iAv6zdo/
+D-TVc+0-U5R


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/49/~~54e61~~a~~609513fb922a9~~7551ff0~~391~~c~~663~~f4fb1.debug	1	usr/lib/debug/.build-id/e8/6cb85ade5ab0d4a115e7ac81dfecfc7d5fdf63.debug


Offset 3, 64 lines modified		Offset 3, 64 lines modified
3	··Compilation·Unit·@·offset·0:	3	··Compilation·Unit·@·offset·0:
4	···Length:········0x2c4727·(32-bit)	4	···Length:········0x2c4727·(32-bit)
5	···Version:·······5	5	···Version:·······5
6	···Unit·Type:·····DW_UT_compile·(1)	6	···Unit·Type:·····DW_UT_compile·(1)
7	···Abbrev·Offset:·0	7	···Abbrev·Offset:·0
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·361·(DW_TAG_compile_unit)	9	·<0><c>:·Abbrev·Number:·361·(DW_TAG_compile_unit)
10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x78c1a):·GNU·C++17·14.3.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables	10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x78c34):·GNU·C++17·14.3.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables
11	····<12>···DW_AT_language····:·(data1)·33» (C++14)	11	····<12>···DW_AT_language····:·(data1)·33» (C++14)
12	····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx	12	····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx
13	····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python	13	····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e
15	····<1f>···DW_AT_low_pc······:·(addr)·0	15	····<1f>···DW_AT_low_pc······:·(addr)·0
16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0	16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0
17	····<2b>···DW_AT_macros······:·(sec_offset)·0	17	····<2b>···DW_AT_macros······:·(sec_offset)·0
18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)	18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)
19	····<30>···DW_AT_byte_size···:·(data1)·8	19	····<30>···DW_AT_byte_size···:·(data1)·8
20	····<31>···DW_AT_encoding····:·(data1)·4» (float)	20	····<31>···DW_AT_encoding····:·(data1)·4» (float)
21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73c3f):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73c3f):·double
22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)	22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)
23	····<37>···DW_AT_byte_size···:·(data1)·1	23	····<37>···DW_AT_byte_size···:·(data1)·1
24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
25	····<39>···DW_AT_name········:·(strp)·(offset:·0x80391):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x803ab):·unsigned·char
26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)	26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)
27	····<3e>···DW_AT_byte_size···:·(data1)·2	27	····<3e>···DW_AT_byte_size···:·(data1)·2
28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)	28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)
29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf606):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf620):·short·unsigned·int
30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)	30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)
31	····<45>···DW_AT_byte_size···:·(data1)·4	31	····<45>···DW_AT_byte_size···:·(data1)·4
32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)	32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)
33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cd3a):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14cd3a):·unsigned·int
34	·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)	34	·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)
35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)	36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)
37	····<4e>···DW_AT_byte_size···:·(data1)·8	37	····<4e>···DW_AT_byte_size···:·(data1)·8
38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)	38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)
39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e542):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e542):·long·unsigned·int
40	·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)	40	·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)
41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int	41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
42	·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)	42	·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbcc48):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbcc62):·__int8_t
44	····<5b>···DW_AT_decl_file···:·(data1)·52	44	····<5b>···DW_AT_decl_file···:·(data1)·52
45	····<5c>···DW_AT_decl_line···:·(data1)·37	45	····<5c>···DW_AT_decl_line···:·(data1)·37
46	····<5d>···DW_AT_decl_column·:·(data1)·21	46	····<5d>···DW_AT_decl_column·:·(data1)·21
47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char	47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char
48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)	48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)
49	····<60>···DW_AT_byte_size···:·(data1)·1	49	····<60>···DW_AT_byte_size···:·(data1)·1
50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)	50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)
51	····<62>···DW_AT_name········:·(strp)·(offset:·0xde~~1f3~~):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xde20d):·signed·char
52	·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)	52	·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)
53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4eb5):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4ecf):·__uint8_t
54	····<6b>···DW_AT_decl_file···:·(data1)·52	54	····<6b>···DW_AT_decl_file···:·(data1)·52
55	····<6c>···DW_AT_decl_line···:·(data1)·38	55	····<6c>···DW_AT_decl_line···:·(data1)·38
56	····<6d>···DW_AT_decl_column·:·(data1)·23	56	····<6d>···DW_AT_decl_column·:·(data1)·23
57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char	57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char
58	·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)	58	·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)
59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc07a3):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc07bd):·__int16_t
60	····<74>···DW_AT_decl_file···:·(data1)·52	60	····<74>···DW_AT_decl_file···:·(data1)·52
61	····<75>···DW_AT_decl_line···:·(data1)·39	61	····<75>···DW_AT_decl_line···:·(data1)·39
62	····<76>···DW_AT_decl_column·:·(data1)·26	62	····<76>···DW_AT_decl_column·:·(data1)·26
63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int	63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int
64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)	64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)
65	····<79>···DW_AT_byte_size···:·(data1)·2	65	····<79>···DW_AT_byte_size···:·(data1)·2
66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)	66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 68, 15 lines modified		Offset 68, 15 lines modified
68	·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)	68	·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)
69	····<80>···DW_AT_name········:·(strp)·(offset:·0x5408):·__uint16_t	69	····<80>···DW_AT_name········:·(strp)·(offset:·0x5408):·__uint16_t
70	····<84>···DW_AT_decl_file···:·(data1)·52	70	····<84>···DW_AT_decl_file···:·(data1)·52
71	····<85>···DW_AT_decl_line···:·(data1)·40	71	····<85>···DW_AT_decl_line···:·(data1)·40
72	····<86>···DW_AT_decl_column·:·(data1)·28	72	····<86>···DW_AT_decl_column·:·(data1)·28
73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int	73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int
74	·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)	74	·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)
75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa138d):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa13a7):·__int32_t
76	····<8d>···DW_AT_decl_file···:·(data1)·52	76	····<8d>···DW_AT_decl_file···:·(data1)·52
77	····<8e>···DW_AT_decl_line···:·(data1)·41	77	····<8e>···DW_AT_decl_line···:·(data1)·41
78	····<8f>···DW_AT_decl_column·:·(data1)·20	78	····<8f>···DW_AT_decl_column·:·(data1)·20
79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int	79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int
80	·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)	80	·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)
81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
82	·<1><95>:·Abbrev·Number:·378·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·378·(DW_TAG_base_type)
Offset 88, 33 lines modified		Offset 88, 33 lines modified
88	·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)	88	·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)
89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1349c8):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x1349c8):·__uint32_t
90	····<a5>···DW_AT_decl_file···:·(data1)·52	90	····<a5>···DW_AT_decl_file···:·(data1)·52
91	····<a6>···DW_AT_decl_line···:·(data1)·42	91	····<a6>···DW_AT_decl_line···:·(data1)·42
92	····<a7>···DW_AT_decl_column·:·(data1)·22	92	····<a7>···DW_AT_decl_column·:·(data1)·22
93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
94	·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)	94	·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)
95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x825ce):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x825e8):·__int64_t
96	····<ae>···DW_AT_decl_file···:·(data1)·52	96	····<ae>···DW_AT_decl_file···:·(data1)·52
97	····<af>···DW_AT_decl_line···:·(data1)·44	97	····<af>···DW_AT_decl_line···:·(data1)·44
98	····<b0>···DW_AT_decl_column·:·(data1)·25	98	····<b0>···DW_AT_decl_column·:·(data1)·25
99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int	99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)	100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)
101	····<b4>···DW_AT_byte_size···:·(data1)·8	101	····<b4>···DW_AT_byte_size···:·(data1)·8
102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)	102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)
103	····<b6>···DW_AT_name········:·(strp)·(offset:·0xe7d81):·long·int	103	····<b6>···DW_AT_name········:·(strp)·(offset:·0xe7d9d):·long·int
104	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_const_type)	104	·<1><ba>:·Abbrev·Number:·21·(DW_TAG_const_type)
105	····<bb>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int	105	····<bb>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
106	·<1><bd>:·Abbrev·Number:·61·(DW_TAG_typedef)	106	·<1><bd>:·Abbrev·Number:·61·(DW_TAG_typedef)
107	····<be>···DW_AT_name········:·(strp)·(offset:·0x113b59):·__uint64_t	107	····<be>···DW_AT_name········:·(strp)·(offset:·0x113b59):·__uint64_t
108	····<c2>···DW_AT_decl_file···:·(data1)·52	108	····<c2>···DW_AT_decl_file···:·(data1)·52
109	····<c3>···DW_AT_decl_line···:·(data1)·45	109	····<c3>···DW_AT_decl_line···:·(data1)·45
110	····<c4>···DW_AT_decl_column·:·(data1)·27	110	····<c4>···DW_AT_decl_column·:·(data1)·27
111	····<c5>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int	111	····<c5>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
112	·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)	112	·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)
113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9fa3):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9fbf):·__int_least8_t
114	····<cb>···DW_AT_decl_file···:·(data1)·52	114	····<cb>···DW_AT_decl_file···:·(data1)·52
115	····<cc>···DW_AT_decl_line···:·(data1)·52	115	····<cc>···DW_AT_decl_line···:·(data1)·52
116	····<cd>···DW_AT_decl_column·:·(data1)·18	116	····<cd>···DW_AT_decl_column·:·(data1)·18
117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char	117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char
118	·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)	118	·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)
119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9b0):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9b0):·__uint_least8_t
120	····<d4>···DW_AT_decl_file···:·(data1)·52	120	····<d4>···DW_AT_decl_file···:·(data1)·52
Offset 124, 63 lines modified		Offset 124, 63 lines modified
124	·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)	124	·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)
125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136f63):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136f63):·__int_least16_t
126	····<dd>···DW_AT_decl_file···:·(data1)·52	126	····<dd>···DW_AT_decl_file···:·(data1)·52
127	····<de>···DW_AT_decl_line···:·(data1)·54	127	····<de>···DW_AT_decl_line···:·(data1)·54
128	····<df>···DW_AT_decl_column·:·(data1)·19	128	····<df>···DW_AT_decl_column·:·(data1)·19
129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int	129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int
130	·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)	130	·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)
131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb4c30):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb4c4a):·__uint_least16_t
132	····<e6>···DW_AT_decl_file···:·(data1)·52	132	····<e6>···DW_AT_decl_file···:·(data1)·52
133	····<e7>···DW_AT_decl_line···:·(data1)·55	133	····<e7>···DW_AT_decl_line···:·(data1)·55
134	····<e8>···DW_AT_decl_column·:·(data1)·20	134	····<e8>···DW_AT_decl_column·:·(data1)·20
135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int	135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int
Max diff block lines reached; 11585053/11592932 bytes (99.93%) of diff not shown.


Offset 5044, 16 lines modified		Offset 5044, 16 lines modified
5044	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	5044	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5045	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	5045	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5046	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	5046	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5047	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5047	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5048	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5048	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5049	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5049	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5050	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5050	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5051	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	5051	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
5052	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	5052	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

5053	··Offset:······················0x704e	5053	··Offset:······················0x704e
5054	··Version:·····················5	5054	··Version:·····················5
5055	··Offset·size:·················4	5055	··Offset·size:·················4

5056	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	5056	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5057	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	5057	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1

+cGCC:·(Debian·14.3.0-5)·14.3.0
+!4A·|qj
+bySSw/|-
+/(^~}he5
+iQr)}Na0
+}:]/AtvF
+o0UOM5|f
+SbK>.o#-
+U%<n;m`r=
+^g:1*Q>z
+^CF$>e(gA{
+wmHqC»  +h*
+hGQ]4^bk
+MgY:62dyX
+M,u3cChq
+`Gd2[YbF
+r`69a&j[F
+_j[FG2fm
+sbiz,/X_
+COpPxIx(
+x+,YGV;»
+·aRmjuwa
+AMuhD7Iy
+dr>kG\k-
+BwTUCw/`
+OH4j·>@\
+O9lGg5m{}3
+,X2»    VO*h»g
+»      ^L*h»  g
+A"74"ko0
+m"~e@e1nX
+nlU95eX&rS
+O»      {cp,f.
+`TU%BBq3)
+O_;#<9I<
+j_e"g;;3
+zTDe"_Y
+n&jY?AJJ5
+tLO<yzVE0gJA
+p\+M3a.b0
+^_sod>» <
+=s%xbXA$
+[VIgWI}(`
+[·*^V3Rj
+-_k`Y4Y'
+cNm'h[/j[
+:8@sOVV
+z7^O2gh
+`^T!Z0/j>K
+WOuB/m%+[
+Ss7{y"u1-
+PIn·6C$OL
+"%AJrXI~Al
+{VG2^I^Bl
+IBIF"6]$
+%LF`-G3Ki
+zl5s(^V4
+>cYNM1+x
+_D7cg37or
+aq}\<q>a
+D]Lt@zovi
+vk--1]?Nu
+ggD.`V~QF
+%Tg»    ub»  b,
+fQ)MmgsR
+j8yM^PCYM:Eu
+·BQ7e?>
+<Iv»    2v(:
+f[H;3Waf
+g»      ;SNKar
+KfMwz--p
+zk:?<>dQ
+(&W6''M
+kjMju7M]s
+wr}Zr}wJ
+{J;-Oe'K
+.LLnsBr}
+I$7l]CUt*
+Bnxv;56?
+Lri41huP
+CW}#?/QO
+CNPyq:/C\
+*69AdERKLRS
+fqw7uB(gg
+BQx5\KX:
+#9pMz*·=m
+DZrJIj#~@$
+@=fZrYI6
+?DsQ4'Mk
++s=_~ap9e
+q[.s=X~1
+K@S-s}\~»
+F[%<K~%8i
+(v'&sr5z
+~_hO'hc?
+VUcZ.`ZR
+QFHZCn;Ug=
+eE[,]\}zQ
+Wr.\Y6bf
+Mlq5^p1'~Cw
+rUZPCYI:Eu
+=5xGX_r%g
+SbaBJ%hI
+rl{qJ,vn
+gk\[!x_f
+:(P~DqQr
+t!HbZkHb:
+WS]'-0d
+`@AAAAA
+LwrmZrmwJnHKN
+Zwr?xD%'
+iwrUZrUwJ
+UjETeTxro>
+r+@nE]rG@
+FrKg5T5Z.
+r;Ang]r?{6
+v-m{DO)w
+iOrs67Q+
+BZhJ!rwQ]
+jdEXeTXW|
+Lh$poR]h
+kuNjUOr]
+RSKs-jBR
+x8><^·J·
+<.82D(y"
+g:*A/"4=
+PbNPbl/m


Offset 7958, 7844 lines modified		Offset 7958, 7844 lines modified
7958	··[·76d97]··__pyx_mdef_16cvc5_python_base_6Solver_227declareSepHeap	7958	··[·76d97]··__pyx_mdef_16cvc5_python_base_6Solver_227declareSepHeap
7959	··[·76dcf]··__STDCPP_MATH_SPEC_FUNCS__·201003L	7959	··[·76dcf]··__STDCPP_MATH_SPEC_FUNCS__·201003L
7960	··[·76df2]··setStreamInput	7960	··[·76df2]··setStreamInput
7961	··[·76e01]··iswupper	7961	··[·76e01]··iswupper
7962	··[·76e0a]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal12SolverEngineEEEEC4Ev	7962	··[·76e0a]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal12SolverEngineEEEEC4Ev
7963	··[·76e5b]··STA_PPSSIGNAL·0x0100	7963	··[·76e5b]··STA_PPSSIGNAL·0x0100
Diff chunk too large, falling back to line-by-line diff (7830 lines added, 7830 lines removed)
7964	··[·76e70]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv	7964	··[·76e70]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv
7965	··[·76f04]··~~_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEEEN4cvc54Sort~~EE~~SaIS9_EE~~1~~2_Vector_implC4EOSA_~~	7965	··[·76f04]··DEB_BUILD_TIME·"01:13:23"
7966	··[·76f7f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~13_~~S_~~copy~~_char~~sEPcPKc~~S7_	7966	··[·76f1e]··_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE12_Vector_implC4EOSA_
7967	··[·76fcd]··_SIZE_T_DE~~CLARED·~~	7967	··[·76f99]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE13_S_copy_charsEPcPKcS7_
7968	··[·76fdf]··_ZNS~~t4pair~~I~~KN4cvc54~~T~~ermES~~1_EC~~4EOS3_~~	7968	··[·76fe7]··_SIZE_T_DECLARED·
7969	··[·7~~7003~~]··~~__glibcxx~~_~~requires_c~~an_incr~~ement_rang~~e~~(_Fi~~r~~st1,_Last~~1,_~~First2)·~~	7969	··[·76ff9]··_ZNSt4pairIKN4cvc54TermES1_EC4EOS3_
7970	··[·77043]··_~~ZNSt11~~char_trait~~sIwE2eqERKwS~~2_	7970	··[·7701d]··__glibcxx_requires_can_increment_range(_First1,_Last1,_First2)·
7971	··[·77063]··_ZNSt16~~in_place_~~in~~dex_tILm4EEC4Ev~~	7971	··[·7705d]··_ZNSt11char_traitsIwE2eqERKwS2_
7972	··[·77085]··_unused2	7972	··[·7707d]··_ZNSt16in_place_index_tILm4EEC4Ev
7973	··[·7708e]··~~__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~~fo:[·...·tr~~u~~ncated·by·diffo~~s~~cope;·len:·139,·SHA:·03b~~e~~90d288ffdbcb4012b7c3fdc66680dd3af~~d~~ce4b0870aca12aa97e458a4e2~~2~~·...·]~~	7973	··[·7709f]··_unused2
7974	··[·77~~215~~]··__~~pyx~~_n_s_BITV~~ECT~~O~~R_ASHR~~·__pyx_mstat~~e_g~~lobal->__py~~x_n_~~s~~_BITVECTOR_A~~SHR	7974	··[·770a8]··__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·...·]
7975	··[·7725c]··__uint_leas~~t64~~_t	7975	··[·7722f]··__pyx_n_s_BITVECTOR_ASHR·__pyx_mstate_global->__pyx_n_s_BITVECTOR_ASHR
7976	··[·7726d]··~~_ZNSt8_Rb_treeINSt7_~~_~~cxx1112basic~~_strin~~gIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEES~~t10_Select1st~~ISA_ES~~t4~~lessIS5_ESaISA~~_~~EE5clearE~~v	7976	··[·77276]··__uint_least64_t
7977	··[·772f9]··_ZNKSt23_Rb_tree_const_iteratorIN4cvc54TermEEptEv	7977	··[·77287]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE5clearEv
7978	··[·7732b]··Py_~~CAPSUL~~E~~_H·~~	7978	··[·77313]··_ZNKSt23_Rb_tree_const_iteratorIN4cvc54TermEEptEv
7979	··[·77339]··~~_ZNKSt15__new_allocatorISt13_Rb_tree_nodeISt4pairIKNSt7__cxx1112basic_stringIcSt11ch~~ar_~~traitsIcE~~S~~aIcEEEm~~EEE~~11_M_max~~_~~size~~Ev	7979	··[·77345]··Py_CAPSULE_H·
7980	··[·773b4]··__~~DECL~~_SIMD_cosh~~f64~~x·	7980	··[·77353]··_ZNKSt15__new_allocatorISt13_Rb_tree_nodeISt4pairIKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEE11_M_max_sizeEv
7981	··[·773ca]··~~_CS_POSIX_V7_ILP32~~_~~OFFBIG~~_LD~~FLAGS·~~_CS_POS~~IX_V7_~~ILP32_~~OFFBIG_LDFLAGS~~	7981	··[·773ce]··__DECL_SIMD_coshf64x·
7982	··[·77~~40e~~]··_~~GLIBCX~~X_SI~~ZED~~_DEA~~LLO~~C~~(p,n)·(p),·(n)·*·sizeof(_Tp)~~	7982	··[·773e4]··_CS_POSIX_V7_ILP32_OFFBIG_LDFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LDFLAGS
7983	··[·77441]··~~_Head~~_~~base<1,·std::default~~_~~delete<cvc5::Stat::StatData>,·true>~~	7983	··[·77428]··_GLIBCXX_SIZED_DEALLOC(p,n)·(p),·(n)·*·sizeof(_Tp)
7984	··[·77480]··Py_tp_setattro·69	7984	··[·7745b]··_Head_base<1,·std::default_delete<cvc5::Stat::StatData>,·true>
7985	··[·77492]··_M_left	7985	··[·7749a]··Py_tp_setattro·69
7986	··[·7749a]··_~~ZNSt6lo~~caleD1Ev	7986	··[·774ac]··_M_left
7987	··[·774ab]··~~__pyx~~_~~pw_1~~6~~cvc5_pyt~~hon_ba~~se_6So~~lve~~r_95mkS~~epEmp	7987	··[·774b4]··_ZNSt6localeD1Ev
7988	··[·774da]··~~_ZNSt12~~__~~shared~~_pt~~rIN4~~cvc5~~8internal16DT~~yp~~eCon~~st~~ruc~~to~~rELN9__g~~nu_c~~xx12~~_~~Lock~~_poli~~cyE2EE4swa~~pERS5_	7988	··[·774c5]··__pyx_pw_16cvc5_python_base_6Solver_95mkSepEmp
7989	··[·77~~539~~]··_ZNSt6vector~~IjSaIjEE~~C4E~~OS1~~_~~RKS0~~_St1~~7integra~~l_c~~onstantIbLb1EE~~	7989	··[·774f4]··_ZNSt12__shared_ptrIN4cvc58internal16DTypeConstructorELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_
7990	··[·77576]··_~~_pyx_mdef_16cvc5_python~~_~~base~~_~~6Solv~~er_~~53mkNulla~~bl~~eSort~~	7990	··[·77553]··_ZNSt6vectorIjSaIjEEC4EOS1_RKS0_St17integral_constantIbLb1EE
7991	··[·775ad]··__pyx_codeo~~bj__14·_~~_py~~x_mst~~ate_global~~->_~~_~~pyx_codeo~~b~~j__14~~	7991	··[·77590]··__pyx_mdef_16cvc5_python_base_6Solver_53mkNullableSort
7992	··[·775e6]··__pyx_n~~_s_INST~~_NO_~~PATTE~~RN·__pyx_mstate_global->__pyx_n~~_s_INST~~_NO_~~PATTE~~RN	7992	··[·775c7]··__pyx_codeobj__14·__pyx_mstate_global->__pyx_codeobj__14
7993	··[·7762f]··__pyx_~~type~~_~~16cvc5~~_pyt~~hon~~_base_Op	7993	··[·77600]··__pyx_n_s_INST_NO_PATTERN·__pyx_mstate_global->__pyx_n_s_INST_NO_PATTERN
7994	··[·77650]··~~HAVE~~_~~CTERMID·1~~	7994	··[·77649]··__pyx_type_16cvc5_python_base_Op
7995	··[·7765f]··~~__pyx_n_s~~_~~Datatype~~C~~onstructor~~D~~ecl___setsta~~·~~__pyx_mstate_global->__pyx_n_s_DatatypeConstructorDecl___setst~~a	7995	··[·7766a]··HAVE_CTERMID·1
7996	··[·776ca]··_~~ZN4~~cvc~~510S~~tatistics8iterator~~mmEi~~	7996	··[·77679]··__pyx_n_s_DatatypeConstructorDecl___setsta·__pyx_mstate_global->__pyx_n_s_DatatypeConstructorDecl___setsta
7997	··[·776ec]··_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	7997	··[·776e4]··_ZN4cvc510Statistics8iteratormmEi
7998	··[·77770]··SCNxFAST~~64·~~__PRI64_PREFI~~X·"x"~~	7998	··[·77706]··_ZN9__gnu_cxx14__alloc_traitsISaISt4pairIKN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESB_E15_S_always_equalEv
7999	··[·7778e]··_ZN~~4cvc510~~S~~tatistics8iteratormmEv~~	7999	··[·7778a]··SCNxFAST64·__PRI64_PREFIX·"x"
8000	··[·777b0]··_~~_pyx_k_getSygu~~s~~Con~~stra~~ints~~	8000	··[·777a8]··_ZN4cvc510Statistics8iteratormmEv
8001	··[·777cc]··__pyx~~_doc~~_~~16cvc~~5_pytho~~n_ba~~s~~e_6~~So~~lver_204~~getDifficulty	8001	··[·777ca]··__pyx_k_getSygusConstraints
8002	··[·77~~802~~]··return_eq	8002	··[·777e6]··__pyx_doc_16cvc5_python_base_6Solver_204getDifficulty
8003	··[·7780c]··~~__pyx_k_LFSC~~_RULE	8003	··[·7781c]··return_eq
8004	··[·7781e]··~~__pyx_n_s_Sort_getBagElementSort~~·~~__pyx_mstate_global->~~__pyx_n_s_Sort_~~getBag~~E~~lementSort~~	8004	··[·77826]··__pyx_k_LFSC_RULE
8005	··[·77875]··__pyx_t~~p_n~~e~~w_16cvc5~~_pyt~~hon~~_ba~~se_~~__pyx_scope_~~struct_2___i~~t~~er__~~	8005	··[·77838]··__pyx_n_s_Sort_getBagElementSort·__pyx_mstate_global->__pyx_n_s_Sort_getBagElementSort
8006	··[·778b3]··__pyx_pw_16cvc5_python_base_~~4Sort~~_~~115g~~etAr~~rayElemen~~t~~Sort~~	8006	··[·7788f]··__pyx_tp_new_16cvc5_python_base___pyx_scope_struct_2___iter__
8007	··[·778ec]··~~OPT~~_~~STAT~~_~~INC(~~name~~)·((void)0)~~	8007	··[·778cd]··__pyx_pw_16cvc5_python_base_4Sort_115getArrayElementSort
8008	··[·77909]··_~~_pyx~~_k_ac	8008	··[·77906]··OPT_STAT_INC(name)·((void)0)
8009	··[·77914]··~~_ZNSt12~~_~~Vector~~_~~baseISt4~~p~~airINSt7__c~~xx~~1112basic~~_~~stringIcSt11cha~~r_~~traitsIcESaIcEEEN4cvc54SortEES~~a~~IS9_EE12_Ve~~c~~tor_implC4EOSC_~~	8009	··[·77923]··__pyx_k_ac
8010	··[·7798f]··__NO_~~CTYP~~E·1	8010	··[·7792e]··_ZNSt12_Vector_baseISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE12_Vector_implC4EOSC_
8011	··[·7799c]··ULO~~NG_WIDTH~~	8011	··[·779a9]··__NO_CTYPE·1
8012	··[·779a8]··~~PY_PARSER_REQUIRES_F~~U~~TURE~~_~~KEY~~W~~ORD·~~	8012	··[·779b6]··ULONG_WIDTH
8013	··[·779cb]··__~~statx_timestamp~~_~~defined~~·1	8013	··[·779c2]··PY_PARSER_REQUIRES_FUTURE_KEYWORD·
8014	··[·779e7]··_ZNSt~~16alloc~~ator_trai~~tsISaISt6~~vect~~orIN4cvc54TermES~~aIS2_~~EEEE7~~de~~stroyIS4_EEvRS5_PT_~~	8014	··[·779e5]··__statx_timestamp_defined·1
8015	··[·77a39]··__~~pyx_k_g~~etValueS~~epHeap~~	8015	··[·77a01]··_ZNSt16allocator_traitsISaISt6vectorIN4cvc54TermESaIS2_EEEE7destroyIS4_EEvRS5_PT_
8016	··[·77a51]··_~~ZNKSt3m~~ap~~IN4cvc54TermE~~S1_~~St4lessIS~~1_~~ESa~~ISt4pa~~irIKS1_~~S~~1_EEE8max_siz~~eEv	8016	··[·77a53]··__pyx_k_getValueSepHeap
8017	··[·77a98]··_~~GLIBCXX_ASAN_ANNO~~TATE_SHRINK~~(n)·~~	8017	··[·77a6b]··_ZNKSt3mapIN4cvc54TermES1_St4lessIS1_ESaISt4pairIKS1_S1_EEE8max_sizeEv
8018	··[·77aba]··~~__pyx_codeobj_~~_44~~7·__pyx~~_ms~~tate~~_~~global->__pyx~~_co~~deobj__447~~	8018	··[·77ab2]··_GLIBCXX_ASAN_ANNOTATE_SHRINK(n)·
8019	··[·77af5]··__pyx_mdef_~~16cvc5~~_pyt~~hon_b~~ase_~~4Term~~_~~76getInt~~e~~gerValue~~	8019	··[·77ad4]··__pyx_codeobj__447·__pyx_mstate_global->__pyx_codeobj__447
8020	··[·77b2b]··_~~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~~	8020	··[·77b0f]··__pyx_mdef_16cvc5_python_base_4Term_76getIntegerValue
8021	··[·77bd1]··_ZNSt4pairIN4cvc56~~Result~~ESt6vect~~orIN~~S0_4TermESaIS3_EEED2Ev	8021	··[·77b45]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4EOSG_OSaISt13_Rb_tree_nodeISA_EE
8022	··[·77~~c0c~~]··__py~~x_n_s_~~ad~~dSygusConstrain~~t~~·__pyx_~~mstate_glob~~al->_~~_p~~yx_n_s_~~addS~~ygusConstraint~~	8022	··[·77beb]··_ZNSt4pairIN4cvc56ResultESt6vectorINS0_4TermESaIS3_EEED2Ev
8023	··[·77c5b]··Py~~Err~~_Bad~~Inter~~n~~alC~~al~~l()~~·_P~~yErr~~_B~~adIn~~te~~rnalC~~all(__~~FILE~~__~~,·__LINE__)~~	8023	··[·77c26]··__pyx_n_s_addSygusConstraint·__pyx_mstate_global->__pyx_n_s_addSygusConstraint
8024	··[·77c9e]··~~__pyx~~_~~pw_16cvc5_python~~_~~base~~_~~6Solv~~er~~_257b~~l~~ockModelValues~~	8024	··[·77c75]··PyErr_BadInternalCall()·_PyErr_BadInternalCall(__FILE__,·__LINE__)
8025	··[·77cd6]··_~~ZNSt4~~pai~~rIN4~~cvc5~~6Resul~~tES~~t6vectorIN~~S0~~_4T~~er~~mESaIS3_EEEaSERKS6_~~	8025	··[·77cb8]··__pyx_pw_16cvc5_python_base_6Solver_257blockModelValues
8026	··[·77~~d15~~]··_ZNSt~~23_Rb_tree_con~~st_it~~era~~torIN4c~~vc5~~4Term~~EEC4~~ERKS~~t17_Rb_tree~~_i~~ter~~a~~torI~~S1_E	8026	··[·77cf0]··_ZNSt4pairIN4cvc56ResultESt6vectorINS0_4TermESaIS3_EEEaSERKS6_
8027	··[·77d61]··_PSTL_~~CONF~~I~~G_H·~~	8027	··[·77d2f]··_ZNSt23_Rb_tree_const_iteratorIN4cvc54TermEEC4ERKSt17_Rb_tree_iteratorIS1_E
8028	··[·77d71]··_POSIX_DE~~LAYT~~IMER_MAX·32	8028	··[·77d7b]··_PSTL_CONFIG_H·
8029	··[·77d8a]··~~int~~_~~n_sign~~_~~posn~~	8029	··[·77d8b]··_POSIX_DELAYTIMER_MAX·32
8030	··[·77d9a]··~~_POSIX_QLIMIT·1~~	8030	··[·77da4]··int_n_sign_posn
8031	··[·77daa]··_~~ZNKSt6vectorIN4cvc512DatatypeDec~~lESaIS1_~~EE6rbeginEv~~	8031	··[·77db4]··_POSIX_QLIMIT·1
8032	··[·77ddf]··_ZNSt16allocato~~r_t~~r~~aitsISa~~IN4cvc5~~5ProofEEE8al~~locateE~~RS2_mPK~~v	8032	··[·77dc4]··_ZNKSt6vectorIN4cvc512DatatypeDeclESaIS1_EE6rbeginEv
8033	··[·77~~e1c~~]··__~~pyx~~_~~k_b~~v	8033	··[·77df9]··_ZNSt16allocator_traitsISaIN4cvc55ProofEEE8allocateERS2_mPKv
8034	··[·77e27]··~~_ZNSt15~~__~~new~~_~~allocatorIjEC2E~~v	8034	··[·77e36]··__pyx_k_bv
8035	··[·77e45]··_ZSt4co~~she~~	8035	··[·77e41]··_ZNSt15__new_allocatorIjEC2Ev
8036	··[·77e50]··_ZSt4coshf	8036	··[·77e5f]··_ZSt4coshe
8037	··[·77e5b]··~~PY_SQLITE_ENABLE_LOAD~~_EX~~TENSION·1~~	8037	··[·77e6a]··_ZSt4coshf
8038	··[·77e7d]··~~_ZNSt~~22_Op~~tional~~_p~~ayload~~_b~~aseIl~~E8~~_M_resetEv~~	8038	··[·77e75]··PY_SQLITE_ENABLE_LOAD_EXTENSION·1
8039	··[·77ea9]··~~rew~~ind	8039	··[·77e97]··_ZNSt22_Optional_payload_baseIlE8_M_resetEv
8040	··[·77eb0]··nb~~_float~~	8040	··[·77ec3]··rewind
8041	··[·77eb9]··~~_Head_base<0,~~·~~cvc5::i~~nte~~rna~~l~~::Rand~~o~~m*,·f~~a~~lse~~>	8041	··[·77eca]··nb_float
8042	··[·77ee7]··~~__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	8042	··[·77ed3]··_Head_base<0,·cvc5::internal::Random*,·false>
8043	··[·77f58]··~_Vector_base	8043	··[·77f01]··__pyx_kp_u_verbatim_embed_rst_leading_aste_68·__pyx_mstate_global->__pyx_kp_u_verbatim_embed_rst_leading_aste_68
8044	··[·77f66]··__glibc~~xx_wan~~t_fr~~eestanding~~_~~var~~iant	8044	··[·77f72]··~_Vector_base
8045	··[·77f8a]··~~__pyx~~_n_s~~_REGEXP~~_~~INTER·_~~_p~~yx_m~~stat~~e_glob~~a~~l->__pyx_~~n_s_~~REGEXP_INTER~~	8045	··[·77f80]··__glibcxx_want_freestanding_variant
8046	··[·77fcd]··_~~ZNSt7~~__~~cxx1112basic~~_~~stringIcS~~t~~11char_traitsIcESaIcE~~E~~10_M~~_~~destroy~~Em	8046	··[·77fa4]··__pyx_n_s_REGEXP_INTER·__pyx_mstate_global->__pyx_n_s_REGEXP_INTER
8047	··[·7~~8011~~]··__pyx_k_Arg~~ument_mus~~t_fit~~_in~~_a_~~uin~~t~~32_t~~	8047	··[·77fe7]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_destroyEm
8048	··[·78039]··Py_~~CPYTHON~~_~~OBJECT~~_H·	8048	··[·7802b]··__pyx_k_Argument_must_fit_in_a_uint32_t
8049	··[·7804e]··~~_ZNSt15__n~~ew_~~allocatorIw~~EC~~4Ev~~	8049	··[·78053]··Py_CPYTHON_OBJECT_H·
8050	··[·7806c]··~~__pyx~~_~~codeobj__11~~1·__~~pyx~~_~~mst~~a~~te_~~globa~~l->__pyx_~~code~~obj__111~~	8050	··[·78068]··_ZNSt15__new_allocatorIwEC4Ev
8051	··[·780a7]··__~~BFLT~~16_~~MAX~~_10_~~EXP~~__~~·38~~	8051	··[·78086]··__pyx_codeobj__111·__pyx_mstate_global->__pyx_codeobj__111
8052	··[·780c0]··__~~pyx_pf_~~16~~cvc5~~_~~python~~_base_~~4Term_12~~__g~~e__~~	8052	··[·780c1]··__BFLT16_MAX_10_EXP__·38
8053	··[·780eb]··~~CVC~~5_~~USE~~_~~CRYP~~T~~OMINISAT·1~~	8053	··[·780da]··__pyx_pf_16cvc5_python_base_4Term_12__ge__
8054	··[·78104]··__~~always_inline~~	8054	··[·78105]··CVC5_USE_CRYPTOMINISAT·1
8055	··[·78114]··Py_~~CPYTHON~~_~~WARNINGS_H~~	8055	··[·7811e]··__always_inline
8056	··[·7812a]··~~__W~~C~~OREDUM~~P~~(status)·((status)·&·_~~_W~~COREFLAG)~~	8056	··[·7812e]··Py_CPYTHON_WARNINGS_H
8057	··[·78157]··_~~ZNSt16alloca~~t~~or_trait~~sISa~~IcEE8allocate~~E~~RS0_m~~	8057	··[·78144]··__WCOREDUMP(status)·((status)·&·__WCOREFLAG)
8058	··[·78185]··__~~DECL_~~SI~~MD_hyp~~ot~~f32·~~	8058	··[·78171]··_ZNSt16allocator_traitsISaIcEE8allocateERS0_m
8059	··[·7819b]··_~~ZNK4cvc52Op12isNullHelperEv~~	8059	··[·7819f]··__DECL_SIMD_hypotf32·
8060	··[·781b8]··~~__pyx~~_p~~w_16~~cvc5~~_python_base_~~13~~Symbo~~l~~Manag~~er~~_5isLogicS~~et	8060	··[·781b5]··_ZNK4cvc52Op12isNullHelperEv
8061	··[·781f0]··M_1_~~PI·0.318~~3~~09886183790671~~54	8061	··[·781d2]··__pyx_pw_16cvc5_python_base_13SymbolManager_5isLogicSet
8062	··[·7820e]··~~_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_~~	8062	··[·7820a]··M_1_PI·0.31830988618379067154
8063	··[·782e5]··SCNoLEAST8~~·"hh~~o"	8063	··[·78228]··_ZNSt8__detail9__variant5__getILm4ERKSt7variantIJN4cvc510OptionInfo8VoidInfoENS4_9ValueInfoIbEENS6_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS4_10NumberInfoIlEENSF_ImEENSF_IdEENS4_8ModeInfoEEEEEDcOT0_
8064	··[·782f6]··~~__US~~E~~_GNU~~·1	8064	··[·782ff]··SCNoLEAST8·"hho"
8065	··[·78302]··__py~~x_k~~_c~~sorts~~	8065	··[·78310]··__USE_GNU·1
8066	··[·78311]··12__pyx_mstate	8066	··[·7831c]··__pyx_k_csorts
8067	··[·78320]··__pyx_k_~~DATATYPE_SORT~~	8067	··[·7832b]··12__pyx_mstate
8068	··[·78336]··co_~~version~~	8068	··[·7833a]··__pyx_k_DATATYPE_SORT
8069	··[·78341]··~~__pyx_k_dc~~	8069	··[·78350]··co_version
8070	··[·7834c]··__pyx_k_dd	8070	··[·7835b]··__pyx_k_dc
8071	··[·78357]··__pyx~~_mdef_16cvc5_python_base_11SynthResult_17_~~_~~setstat~~e_~~cython~~__	8071	··[·78366]··__pyx_k_dd
8072	··[·78399]··__~~DECL~~_~~SIMD~~_log2l·	8072	··[·78371]··__pyx_mdef_16cvc5_python_base_11SynthResult_17__setstate_cython__
8073	··[·783ac]··__~~pyx~~_k_ds	8073	··[·783b3]··__DECL_SIMD_log2l·
8074	··[·783b7]··_~~Elt~~	8074	··[·783c6]··__pyx_k_ds
8075	··[·783bc]··__USE~~_ISOCXX11~~·1	8075	··[·783d1]··_Elt
8076	··[·783cd]··~~_ZNSt22~~_~~Optional~~_~~payload~~_~~base~~I~~mE8_~~S~~torageImLb~~1~~EEC4Ev~~	8076	··[·783d6]··__USE_ISOCXX11·1
8077	··[·78~~402~~]··__~~LDBL~~_DIG__·18	8077	··[·783e7]··_ZNSt22_Optional_payload_baseImE8_StorageImLb1EEC4Ev
8078	··[·78412]··_~~ZN4cvc~~58D~~atatypeC4Ev~~	8078	··[·7841c]··__LDBL_DIG__·18
8079	··[·78428]··_ZN~~KSt1~~4~~__shared_countILN9__gnu_~~c~~xx12_L~~oc~~k_polic~~y~~E2EE9_M_unique~~Ev	8079	··[·7842c]··_ZN4cvc58DatatypeC4Ev
8080	··[·7846a]··__g~~lib~~cxx_~~want~~_~~make_from~~_tuple	8080	··[·78442]··_ZNKSt14__shared_countILN9__gnu_cxx12_Lock_policyE2EE9_M_uniqueEv
8081	··[·78489]··~~__pyx~~_k_Negati~~on_of_~~a~~_finit~~e_fi~~eld~~_~~elem~~e	8081	··[·78484]··__glibcxx_want_make_from_tuple
8082	··[·784b2]··__pyx_~~cod~~e~~obj__353·~~_~~_pyx~~_~~msta~~te_gl~~oba~~l~~->__py~~x_~~cod~~e~~obj__353~~	8082	··[·784a3]··__pyx_k_Negation_of_a_finite_field_eleme
8083	··[·784ed]··__Pyx_~~PyStr~~_~~Fro~~mSt~~rin~~g~~·__Pyx~~_~~PyUni~~code~~_Fr~~o~~mString~~	8083	··[·784cc]··__pyx_codeobj__353·__pyx_mstate_global->__pyx_codeobj__353
Max diff block lines reached; 522/1149204 bytes (0.05%) of diff not shown.