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

⊟

106 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.7 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

⊟

2.2 KB

data.tar.xz ¶

⊟

2.18 KB

data.tar ¶

⊟

2.16 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

821 B

readelf --wide --notes {} ¶

⊟

438 B

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

⊟

866 B

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

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

⊟

25.5 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

⊟

25.0 KB

data.tar.xz ¶

⊟

25.0 KB

data.tar ¶

⊟

24.9 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

8.31 KB

readelf --wide --relocs {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

411 B

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

Ordering differences only

⊟

7.18 KB

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

⊟

1.43 KB

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

⊟

3.84 KB

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

⊟

2.42 KB

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

⊟

811 B

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

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

⊟

1.91 KB

libcvc5parser1_1.1.2-3_amd64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.4 KB

data.tar.xz ¶

⊟

1.38 KB

data.tar ¶

⊟

1.36 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

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

⊟

26.0 MB

cvc5-dbgsym_1.1.2-3_amd64.deb ¶

⊟

452 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

26.0 MB

data.tar.xz ¶

⊟

26.0 MB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

26.0 MB

./usr/lib/debug/.build-id/ce/7acf1d8c1fa70cade43a76e7231a67abf76c90.debug vs.

./usr/lib/debug/.build-id/53/06e17322ee87035d76b35ed8f472059e02046c.debug ¶

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

⊟

2.52 KB

readelf --wide --sections {} ¶

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

⊟

915 B

readelf --wide --notes {} ¶

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

⊟

25.0 MB

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

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

⊟

2.11 KB

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

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

⊟

9.48 KB

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

⊟

1020 KB

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

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

⊟

31.7 MB

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

⊟

369 B

file list ¶

⊟

802 B

control.tar.xz ¶

⊟

774 B

control.tar ¶

⊟

526 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

31.7 MB

data.tar.xz ¶

⊟

31.7 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

31.7 MB

./usr/lib/debug/.build-id/d3/65b4b22dab149b8ba02537c07c83e2e7ba6d50.debug vs.

./usr/lib/debug/.build-id/62/a39ece9415ca0ca48f5dfd1660301a3d1f44af.debug ¶

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

⊟

887 B

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

⊟

3.52 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

30.8 MB

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

⊟

3.51 KB

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

⊟

697 B

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

⊟

648 KB

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

⊟

217 KB

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

⊟

36.8 MB

libcvc5parser1-dbgsym_1.1.2-3_amd64.deb ¶

⊟

367 B

file list ¶

⊟

669 B

control.tar.xz ¶

⊟

641 B

control.tar ¶

⊟

393 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

36.8 MB

data.tar.xz ¶

⊟

36.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

36.8 MB

./usr/lib/debug/.build-id/e7/4aa843b0f9ad96b6dd64fcbee76aefe86fca6f.debug vs.

./usr/lib/debug/.build-id/c3/2474c7c148f421e3972b6bba1b9a4239814370.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

35.8 MB

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

⊟

1.99 KB

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

⊟

14.7 KB

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

⊟

1000 KB

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

⊟

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

⊟

11.8 MB

data.tar.xz ¶

⊟

11.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

11.8 MB

./usr/lib/debug/.build-id/22/3b310489fb887a082adaeb10aaa0609ce9a890.debug vs.

./usr/lib/debug/.build-id/84/4a0871e5b99c0d13023dcfc426e6a57ac050df.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

10.8 MB

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

⊟

1.04 KB

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

⊟

7.82 KB

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

⊟

1.04 MB

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

+·8877dc58312328e39dd1cc1f450facc6·1967740·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·ddb6e7a54a64938d86f2818f685cd215·110756·math·optional·cvc5_1.1.2-3_amd64.deb
+·aa7eaf3b39743cf0e079631e8655b929·180253912·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·11b89f28b3b395b728da90e41b284b66·1967528·debug·optional·cvc5-dbgsym_1.1.2-3_amd64.deb
+·0b576d12837e1de83367315ed00c089c·110544·math·optional·cvc5_1.1.2-3_amd64.deb
+·4265b54d6b804e0e7bf94a708876a488·180249292·debug·optional·libcvc5-1-dbgsym_1.1.2-3_amd64.deb
+·326caccdf9abe8fa6d4047aad3e073be·6745772·libs·optional·libcvc5-1_1.1.2-3_amd64.deb
+·e65c5a9b14e36e22a503f64f1850a3a7·93084·libdevel·optional·libcvc5-dev_1.1.2-3_amd64.deb
+·54ff7ee5180f3fe18676011822c161b6·4086584·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·2acbaebac1d090b415129bc2e2356925·237724·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·f3957d659d51604bb85e9a1d32003bb2·2681664·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·831f6a1b037fa0a231fbf858699b1cbc·4086448·debug·optional·libcvc5parser1-dbgsym_1.1.2-3_amd64.deb
+·6fc0e6316cd7a568cee8d261396bb10a·237784·libs·optional·libcvc5parser1_1.1.2-3_amd64.deb
+·80bce5be71f0ba25adf021ca1c5905a0·2681632·debug·optional·python3-cvc5-dbgsym_1.1.2-3_amd64.deb
+·6a771f7d0c62e8e3c347bb09e1aeb4b0·326952·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···109~~448~~·2025-07-27·11:13:23.000000·data.tar.xz	3	-rw-r--r--···0········0········0···109236·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:·~~ce7acf1d8c1fa~~70cade43~~a76e~~723~~1a67abf7~~6c90	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·5306e17322ee87035d76b35ed8f472059e02046c

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


Offset 1, 8 lines modified		Offset 1, 8 lines modified
1	/lib64/ld-linux-x86-64.so.2	1	l/lib64/ld-linux-x86-64.so.2
2	t<{~_d&'<oq\|s	2	t<{~_d&'<oq\|s
3	_ZTIN4cvc58internal9ExceptionE	3	_ZTIN4cvc58internal9ExceptionE
4	_ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4	_ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5	_ZNK4cvc56Result9isUnknownEv	5	_ZNK4cvc56Result9isUnknownEv
6	_ZNK4cvc56Result7isUnsatEv	6	_ZNK4cvc56Result7isUnsatEv
7	_ZNK4cvc510OptionInfo9boolValueEv	7	_ZNK4cvc510OptionInfo9boolValueEv
8	_ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	8	_ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·37616366·31643863·31666137·30636164·7acf1d8c1fa70cad
3	··0x00000010·653~~4336~~1·373~~665~~37·~~3233~~3~~161~~·363~~761~~62·~~e43a~~7~~6e7231a67ab~~	2	··0x00000000·30366531·37333232·65653837·30333564·06e17322ee87035d
		3	··0x00000010·37366233·35656438·66343732·30353965·76b35ed8f472059e
4	··0x00000020·66373~~663~~·3~~930~~2e64·65627567·00000000·~~f76c90~~.debug....	4	··0x00000020·30323034·36632e64·65627567·00000000·02046c.debug....
5	··0x00000030·~~d628359e~~····························.~~(5.~~	5	··0x00000030·bac37478····························..tx


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:·d36~~5b4b22dab~~1~~49b8b~~a025~~37c07c8~~3~~e2e7ba6d50~~	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·62a39ece9415ca0ca48f5dfd1660301a3d1f44af


Offset 25582, 16 lines modified		Offset 25582, 16 lines modified
25582	trigger-active-sel	25582	trigger-active-sel
25583	trigger-sel	25583	trigger-sel
25584	uf-ss-abort-card	25584	uf-ss-abort-card
25585	unate-lemmas	25585	unate-lemmas
25586	unsat-cores-mode	25586	unsat-cores-mode
25587	user-pat	25587	user-pat
25588	user-pool	25588	user-pool
25589	write-partitions-to
25590	partitions-out	25589	partitions-out
		25590	write-partitions-to
25591	·[options]·[input-file]	25591	·[options]·[input-file]
25592	cvc5·options:	25592	cvc5·options:
25593	+:iL:o:qt:vhHs:Vm	25593	+:iL:o:qt:vhHs:Vm
25594	can't·understand·option·`	25594	can't·understand·option·`
25595	no-arith-brab	25595	no-arith-brab
25596	no-arith-eq-solver	25596	no-arith-eq-solver
25597	no-arith-no-partial-fun	25597	no-arith-no-partial-fun


Offset 659568, 21 lines modified		Offset 659568, 21 lines modified
659568	» lea····0xd40(%rsp),%rdi	659568	» lea····0xd40(%rsp),%rdi
659569	» lea····0x1317019(%rip),%rsi········	659569	» lea····0x1317019(%rip),%rsi········
659570	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659570	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659571	» movl···$0x53,0xd38(%rsp)	659571	» movl···$0x53,0xd38(%rsp)
659572	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659572	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659573	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659573	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659574	» lea····0xd68(%rsp),%rdi	659574	» lea····0xd68(%rsp),%rdi
659575	» lea····0x131~~555d~~(%rip),%rsi········	659575	» lea····0x13182dc(%rip),%rsi········
659576	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659576	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659577	» movl···$0x54,0xd60(%rsp)	659577	» movl···$0x54,0xd60(%rsp)
659578	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659578	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659579	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659579	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659580	» lea····0xd90(%rsp),%rdi	659580	» lea····0xd90(%rsp),%rdi
659581	» lea····0x131~~82bd~~(%rip),%rsi········	659581	» lea····0x131553e(%rip),%rsi········
659582	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659582	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659583	» movl···$0x55,0xd88(%rsp)	659583	» movl···$0x55,0xd88(%rsp)
659584	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659584	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659585	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659585	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659586	» lea····0xdb8(%rsp),%rdi	659586	» lea····0xdb8(%rsp),%rdi
659587	» lea····0x1314ae2(%rip),%rsi········	659587	» lea····0x1314ae2(%rip),%rsi········
659588	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659588	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 659784, 21 lines modified		Offset 659784, 21 lines modified
659784	» lea····0x12e0(%rsp),%rdi	659784	» lea····0x12e0(%rsp),%rdi
659785	» lea····0x1316533(%rip),%rsi········	659785	» lea····0x1316533(%rip),%rsi········
659786	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659786	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659787	» movl···$0x76,0x12d8(%rsp)	659787	» movl···$0x76,0x12d8(%rsp)
659788	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659788	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659789	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659789	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659790	» lea····0x1308(%rsp),%rdi	659790	» lea····0x1308(%rsp),%rdi
659791	» lea····0x130~~9e84~~(%rip),%rsi········	659791	» lea····0x130a90c(%rip),%rsi········
659792	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659792	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659793	» movl···$0x77,0x1300(%rsp)	659793	» movl···$0x77,0x1300(%rsp)
659794	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659794	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659795	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659795	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659796	» lea····0x1330(%rsp),%rdi	659796	» lea····0x1330(%rsp),%rdi
659797	» lea····0x130~~a8ed~~(%rip),%rsi········	659797	» lea····0x1309e65(%rip),%rsi········
659798	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659798	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
659799	» movl···$0x78,0x1328(%rsp)	659799	» movl···$0x78,0x1328(%rsp)
659800	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	659800	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
659801	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	659801	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
659802	» lea····0x1358(%rsp),%rdi	659802	» lea····0x1358(%rsp),%rdi
659803	» lea····0x1315117(%rip),%rsi········	659803	» lea····0x1315117(%rip),%rsi········
659804	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	659804	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660462, 15 lines modified		Offset 660462, 15 lines modified
660462	» lea····0x2488(%rsp),%rdi	660462	» lea····0x2488(%rsp),%rdi
660463	» lea····0x131596e(%rip),%rsi········	660463	» lea····0x131596e(%rip),%rsi········
660464	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660464	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660465	» movl···$0xe5,0x2480(%rsp)	660465	» movl···$0xe5,0x2480(%rsp)
660466	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660466	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660467	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660467	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660468	» lea····0x24b0(%rsp),%rdi	660468	» lea····0x24b0(%rsp),%rdi
660469	» lea····0x1314c8a(%rip),%rsi········	660469	» lea····0x1314c76(%rip),%rsi········
660470	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660470	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660471	» movl···$0xe6,0x24a8(%rsp)	660471	» movl···$0xe6,0x24a8(%rsp)
660472	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660472	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660473	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660473	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660474	» lea····0x24d8(%rsp),%rdi	660474	» lea····0x24d8(%rsp),%rdi
660475	» lea····0x13090d0(%rip),%rsi········	660475	» lea····0x13090d0(%rip),%rsi········
660476	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660476	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660660, 21 lines modified		Offset 660660, 21 lines modified
660660	» lea····0x29b0(%rsp),%rdi	660660	» lea····0x29b0(%rsp),%rdi
660661	» lea····0x1315acd(%rip),%rsi········	660661	» lea····0x1315acd(%rip),%rsi········
660662	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660662	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660663	» movl···$0x102,0x29a8(%rsp)	660663	» movl···$0x102,0x29a8(%rsp)
660664	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660664	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660665	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660665	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660666	» lea····0x29d8(%rsp),%rdi	660666	» lea····0x29d8(%rsp),%rdi
660667	» lea····0x1315ad7(%rip),%rsi········	660667	» lea····0x1315ac1(%rip),%rsi········
660668	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660668	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660669	» movl···$0x103,0x29d0(%rsp)	660669	» movl···$0x103,0x29d0(%rsp)
660670	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660670	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660671	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660671	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660672	» lea····0x2a00(%rsp),%rdi	660672	» lea····0x2a00(%rsp),%rdi
660673	» lea····0x1315aa2(%rip),%rsi········	660673	» lea····0x1315ab8(%rip),%rsi········
660674	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660674	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660675	» movl···$0x104,0x29f8(%rsp)	660675	» movl···$0x104,0x29f8(%rsp)
660676	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660676	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660677	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660677	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660678	» lea····0x2a28(%rsp),%rdi	660678	» lea····0x2a28(%rsp),%rdi
660679	» lea····0x1315aad(%rip),%rsi········	660679	» lea····0x1315aad(%rip),%rsi········
660680	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660680	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 660972, 21 lines modified		Offset 660972, 21 lines modified
660972	» lea····0x31d0(%rsp),%rdi	660972	» lea····0x31d0(%rsp),%rdi
660973	» lea····0x1313e16(%rip),%rsi········	660973	» lea····0x1313e16(%rip),%rsi········
660974	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660974	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660975	» movl···$0x134,0x31c8(%rsp)	660975	» movl···$0x134,0x31c8(%rsp)
660976	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660976	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660977	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660977	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660978	» lea····0x31f8(%rsp),%rdi	660978	» lea····0x31f8(%rsp),%rdi
660979	» lea····0x13~~13dfe~~(%rip),%rsi········	660979	» lea····0x13086bb(%rip),%rsi········
660980	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660980	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660981	» movl···$0x135,0x31f0(%rsp)	660981	» movl···$0x135,0x31f0(%rsp)
660982	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660982	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660983	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660983	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660984	» lea····0x3220(%rsp),%rdi	660984	» lea····0x3220(%rsp),%rdi
660985	» lea····0x13~~0869c~~(%rip),%rsi········	660985	» lea····0x1313ddf(%rip),%rsi········
660986	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660986	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
660987	» movl···$0x136,0x3218(%rsp)	660987	» movl···$0x136,0x3218(%rsp)
660988	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	660988	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
660989	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	660989	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
660990	» lea····0x3248(%rsp),%rdi	660990	» lea····0x3248(%rsp),%rdi
660991	» lea····0x1313dcb(%rip),%rsi········	660991	» lea····0x1313dcb(%rip),%rsi········
660992	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	660992	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 661104, 21 lines modified		Offset 661104, 21 lines modified
661104	» lea····0x3540(%rsp),%rdi	661104	» lea····0x3540(%rsp),%rdi
661105	» lea····0x1313bc5(%rip),%rsi········	661105	» lea····0x1313bc5(%rip),%rsi········
661106	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	661106	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
661107	» movl···$0x149,0x3538(%rsp)	661107	» movl···$0x149,0x3538(%rsp)
661108	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	661108	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
661109	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	661109	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
661110	» lea····0x3568(%rsp),%rdi	661110	» lea····0x3568(%rsp),%rdi
661111	» lea····0x13~~13bbb~~(%rip),%rsi········	661111	» lea····0x130bc51(%rip),%rsi········
661112	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	661112	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
661113	» movl···$0x14a,0x3560(%rsp)	661113	» movl···$0x14a,0x3560(%rsp)
661114	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	661114	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
661115	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	661115	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
661116	» lea····0x3590(%rsp),%rdi	661116	» lea····0x3590(%rsp),%rdi
661117	» lea····0x13~~0bc32~~(%rip),%rsi········	661117	» lea····0x1313b9c(%rip),%rsi········
661118	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	661118	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
661119	» movl···$0x14b,0x3588(%rsp)	661119	» movl···$0x14b,0x3588(%rsp)
661120	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)	661120	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·1)
661121	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>	661121	» call···1447c60·<cvc5::internal::Options::Options()@@Base+0x1290>
661122	» lea····0x35b8(%rsp),%rdi	661122	» lea····0x35b8(%rsp),%rdi
661123	» lea····0x13152a6(%rip),%rsi········	661123	» lea····0x13152a6(%rip),%rsi········
661124	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)	661124	/usr/include/c++/15/bits/stl_pair.h:902·(discriminator·5)
Offset 661938, 15 lines modified		Offset 661938, 15 lines modified
661938	» lea····0x4af8(%rsp),%rdi	661938	» lea····0x4af8(%rsp),%rdi
Max diff block lines reached; 1019/7170 bytes (14.21%) of diff not shown.


Offset 22650, 17 lines modified		Offset 22650, 17 lines modified
22650	··0x015f0770·72616365·00747269·67676572·2d616374·race.trigger-act	22650	··0x015f0770·72616365·00747269·67676572·2d616374·race.trigger-act
22651	··0x015f0780·6976652d·73656c00·74726967·6765722d·ive-sel.trigger-	22651	··0x015f0780·6976652d·73656c00·74726967·6765722d·ive-sel.trigger-
22652	··0x015f0790·73656c00·75662d73·73007566·2d73732d·sel.uf-ss.uf-ss-	22652	··0x015f0790·73656c00·75662d73·73007566·2d73732d·sel.uf-ss.uf-ss-
22653	··0x015f07a0·61626f72·742d6361·72640075·6e617465·abort-card.unate	22653	··0x015f07a0·61626f72·742d6361·72640075·6e617465·abort-card.unate
22654	··0x015f07b0·2d6c656d·6d617300·756e7361·742d636f·-lemmas.unsat-co	22654	··0x015f07b0·2d6c656d·6d617300·756e7361·742d636f·-lemmas.unsat-co
22655	··0x015f07c0·7265732d·6d6f6465·00757365·722d7061·res-mode.user-pa	22655	··0x015f07c0·7265732d·6d6f6465·00757365·722d7061·res-mode.user-pa
22656	··0x015f07d0·74007573·65722d70·6f6f6c00·76657262·t.user-pool.verb	22656	··0x015f07d0·74007573·65722d70·6f6f6c00·76657262·t.user-pool.verb
		22657	··0x015f07e0·6f736500·70617274·6974696f·6e732d6f·ose.partitions-o
22657	··0x015f07e0·6f7~~365~~00·77726974·652d7061·72746974~~·ose~~.write-partit	22658	··0x015f07f0·75740077·72697465·2d706172·74697469·ut.write-partiti
22658	··0x015f07f0·696f6e73·2d746f00·70617274·6974696f·ions-to.partitio
22659	··0x015f0800·6e732d6f·7~~574~~0075·73616765·3a200020·ns-out.usage:·.·	22659	··0x015f0800·6f6e732d·746f0075·73616765·3a200020·ons-to.usage:·.·
22660	··0x015f0810·5b6f7074·696f6e73·5d205b69·6e707574·[options]·[input	22660	··0x015f0810·5b6f7074·696f6e73·5d205b69·6e707574·[options]·[input
22661	··0x015f0820·2d66696c·655d0063·76633520·6f707469·-file].cvc5·opti	22661	··0x015f0820·2d66696c·655d0063·76633520·6f707469·-file].cvc5·opti
22662	··0x015f0830·6f6e733a·002b3a69·4c3a6f3a·71743a76·ons:.+:iL:o:qt:v	22662	··0x015f0830·6f6e733a·002b3a69·4c3a6f3a·71743a76·ons:.+:iL:o:qt:v
22663	··0x015f0840·6848733a·566d0063·616e2774·20756e64·hHs:Vm.can't·und	22663	··0x015f0840·6848733a·566d0063·616e2774·20756e64·hHs:Vm.can't·und
22664	··0x015f0850·65727374·616e6420·6f707469·6f6e2060·erstand·option·`	22664	··0x015f0850·65727374·616e6420·6f707469·6f6e2060·erstand·option·`
22665	··0x015f0860·006e6f2d·61726974·682d6272·6162006e·.no-arith-brab.n	22665	··0x015f0860·006e6f2d·61726974·682d6272·6162006e·.no-arith-brab.n
22666	··0x015f0870·6f2d6172·6974682d·65712d73·6f6c7665·o-arith-eq-solve	22666	··0x015f0870·6f2d6172·6974682d·65712d73·6f6c7665·o-arith-eq-solve


Offset 1933, 15 lines modified		Offset 1933, 15 lines modified
1933	··0x018a31c0·bb5f5e01·00000000·62f85e01·00000000·._^.....b.^.....	1933	··0x018a31c0·bb5f5e01·00000000·62f85e01·00000000·._^.....b.^.....
1934	··0x018a31d0·71f85e01·00000000·00000000·00000000·q.^.............	1934	··0x018a31d0·71f85e01·00000000·00000000·00000000·q.^.............
1935	··0x018a31e0·b8695e01·00000000·2ce25e01·00000000·.i^.....,.^.....	1935	··0x018a31e0·b8695e01·00000000·2ce25e01·00000000·.i^.....,.^.....
1936	··0x018a31f0·25e25e01·00000000·00000000·00000000·%.^.............	1936	··0x018a31f0·25e25e01·00000000·00000000·00000000·%.^.............
1937	··0x018a3200·60f35e01·00000000·b55c5e01·00000000·`.^......\^.....	1937	··0x018a3200·60f35e01·00000000·b55c5e01·00000000·`.^......\^.....
1938	··0x018a3210·cf5c5e01·00000000·00000000·00000000·.\^.............	1938	··0x018a3210·cf5c5e01·00000000·00000000·00000000·.\^.............
1939	··0x018a3220·60f35e01·00000000·c4985e01·00000000·`.^.......^.....	1939	··0x018a3220·60f35e01·00000000·c4985e01·00000000·`.^.......^.....
1940	··0x018a3230·03085f01·00000000·00000000·00000000·.._.............	1940	··0x018a3230·ef075f01·00000000·00000000·00000000·.._.............
1941	··0x018a3240·39145f01·00000000·54f85e01·00000000·9._.....T.^.....	1941	··0x018a3240·39145f01·00000000·54f85e01·00000000·9._.....T.^.....
1942	··0x018a3250·46f85e01·00000000·00000000·00000000·F.^.............	1942	··0x018a3250·46f85e01·00000000·00000000·00000000·F.^.............
1943	··0x018a3260·22f85e01·00000000·2cf85e01·00000000·".^.....,.^.....	1943	··0x018a3260·22f85e01·00000000·2cf85e01·00000000·".^.....,.^.....
1944	··0x018a3270·35f85e01·00000000·06f75e01·00000000·5.^.......^.....	1944	··0x018a3270·35f85e01·00000000·06f75e01·00000000·5.^.......^.....
1945	··0x018a3280·b8695e01·00000000·16f85e01·00000000·.i^.......^.....	1945	··0x018a3280·b8695e01·00000000·16f85e01·00000000·.i^.......^.....
1946	··0x018a3290·1df85e01·00000000·00000000·00000000·..^.............	1946	··0x018a3290·1df85e01·00000000·00000000·00000000·..^.............
1947	··0x018a32a0·8df55e01·00000000·9cf55e01·00000000·..^.......^.....	1947	··0x018a32a0·8df55e01·00000000·9cf55e01·00000000·..^.......^.....
Offset 2178, 22 lines modified		Offset 2178, 22 lines modified
2178	··0x018a4110·d5095f01·00000000·e6095f01·00000000·.._......._.....	2178	··0x018a4110·d5095f01·00000000·e6095f01·00000000·.._......._.....
2179	··0x018a4120·f7095f01·00000000·090a5f01·00000000·.._......._.....	2179	··0x018a4120·f7095f01·00000000·090a5f01·00000000·.._......._.....
2180	··0x018a4130·19015f01·00000000·1e0a5f01·00000000·.._......._.....	2180	··0x018a4130·19015f01·00000000·1e0a5f01·00000000·.._......._.....
2181	··0x018a4140·330a5f01·00000000·450a5f01·00000000·3._.....E._.....	2181	··0x018a4140·330a5f01·00000000·450a5f01·00000000·3._.....E._.....
2182	··0x018a4150·620a5f01·00000000·2e015f01·00000000·b._......._.....	2182	··0x018a4150·620a5f01·00000000·2e015f01·00000000·b._......._.....
2183	··0x018a4160·6c0a5f01·00000000·fc195f01·00000000·l._......._.....	2183	··0x018a4160·6c0a5f01·00000000·fc195f01·00000000·l._......._.....
2184	··0x018a4170·35015f01·00000000·c8145f01·00000000·5._......._.....	2184	··0x018a4170·35015f01·00000000·c8145f01·00000000·5._......._.....
2185	··0x018a4180·03085f01·00000000·51015f01·00000000·.._.....Q._.....	2185	··0x018a4180·ef075f01·00000000·51015f01·00000000·.._.....Q._.....
2186	··0x018a4190·58015f01·00000000·c18f5e01·00000000·X._.......^.....	2186	··0x018a4190·58015f01·00000000·c18f5e01·00000000·X._.......^.....
2187	··0x018a41a0·7c0b5f01·00000000·d3145f01·00000000·\|._......._.....	2187	··0x018a41a0·7c0b5f01·00000000·d3145f01·00000000·\|._......._.....
2188	··0x018a41b0·21fe5e01·00000000·64015f01·00000000·!.^.....d._.....	2188	··0x018a41b0·21fe5e01·00000000·64015f01·00000000·!.^.....d._.....
2189	··0x018a41c0·74015f01·00000000·8c015f01·00000000·t._......._.....	2189	··0x018a41c0·74015f01·00000000·8c015f01·00000000·t._......._.....
2190	··0x018a41d0·a1015f01·00000000·b4015f01·00000000·.._......._.....	2190	··0x018a41d0·a1015f01·00000000·b4015f01·00000000·.._......._.....
2191	··0x018a41e0·cc015f01·00000000·dd015f01·00000000·.._......._.....	2191	··0x018a41e0·cc015f01·00000000·dd015f01·00000000·.._......._.....
2192	··0x018a41f0·f8075f01·00000000·840a5f01·00000000·.._......._.....	2192	··0x018a41f0·e4075f01·00000000·840a5f01·00000000·.._......._.....
2193	··0x018a4200·ec015f01·00000000·e7145f01·00000000·.._......._.....	2193	··0x018a4200·ec015f01·00000000·e7145f01·00000000·.._......._.....
2194	··0x018a4210·fc015f01·00000000·0b025f01·00000000·.._......._.....	2194	··0x018a4210·fc015f01·00000000·0b025f01·00000000·.._......._.....
2195	··0x018a4220·22025f01·00000000·f4145f01·00000000·"._......._.....	2195	··0x018a4220·22025f01·00000000·f4145f01·00000000·"._......._.....
2196	··0x018a4230·33025f01·00000000·0f155f01·00000000·3._......._.....	2196	··0x018a4230·33025f01·00000000·0f155f01·00000000·3._......._.....
2197	··0x018a4240·8a0b5f01·00000000·40025f01·00000000·.._.....@._.....	2197	··0x018a4240·8a0b5f01·00000000·40025f01·00000000·.._.....@._.....
2198	··0x018a4250·121a5f01·00000000·b80f5f01·00000000·.._......._.....	2198	··0x018a4250·121a5f01·00000000·b80f5f01·00000000·.._......._.....
2199	··0x018a4260·51025f01·00000000·24155f01·00000000·Q._.....$._.....	2199	··0x018a4260·51025f01·00000000·24155f01·00000000·Q._.....$._.....
Offset 2300, 15 lines modified		Offset 2300, 15 lines modified
2300	··0x018a48b0·a21b5f01·00000000·b8075f01·00000000·.._......._.....	2300	··0x018a48b0·a21b5f01·00000000·b8075f01·00000000·.._......._.....
2301	··0x018a48c0·c00a5f01·00000000·ce0a5f01·00000000·.._......._.....	2301	··0x018a48c0·c00a5f01·00000000·ce0a5f01·00000000·.._......._.....
2302	··0x018a48d0·c30e5f01·00000000·df0a5f01·00000000·.._......._.....	2302	··0x018a48d0·c30e5f01·00000000·df0a5f01·00000000·.._......._.....
2303	··0x018a48e0·c9075f01·00000000·d2075f01·00000000·.._......._.....	2303	··0x018a48e0·c9075f01·00000000·d2075f01·00000000·.._......._.....
2304	··0x018a48f0·39185f01·00000000·4b185f01·00000000·9._.....K._.....	2304	··0x018a48f0·39185f01·00000000·4b185f01·00000000·9._.....K._.....
2305	··0x018a4900·dc075f01·00000000·bf315e01·00000000·.._......1^.....	2305	··0x018a4900·dc075f01·00000000·bf315e01·00000000·.._......1^.....
2306	··0x018a4910·64315e01·00000000·890d5f01·00000000·d1^......._.....	2306	··0x018a4910·64315e01·00000000·890d5f01·00000000·d1^......._.....
2307	··0x018a4920·e4075f01·00000000·00000000·00000000·.._.............	2307	··0x018a4920·f3075f01·00000000·00000000·00000000·.._.............
2308	··0x018a4930·68fe8a01·00000000·b0ee4e01·00000000·h.........N.....	2308	··0x018a4930·68fe8a01·00000000·b0ee4e01·00000000·h.........N.....
2309	··0x018a4940·70ef4e01·00000000·c0ec4e01·00000000·p.N.......N.....	2309	··0x018a4940·70ef4e01·00000000·c0ec4e01·00000000·p.N.......N.....
2310	··0x018a4950·00104f01·00000000·a0ec4e01·00000000·..O.......N.....	2310	··0x018a4950·00104f01·00000000·a0ec4e01·00000000·..O.......N.....
2311	··0x018a4960·90f04e01·00000000·00000000·00000000·..N.............	2311	··0x018a4960·90f04e01·00000000·00000000·00000000·..N.............
2312	··0x018a4970·98fe8a01·00000000·50f14e01·00000000·........P.N.....	2312	··0x018a4970·98fe8a01·00000000·50f14e01·00000000·........P.N.....
2313	··0x018a4980·e0f64e01·00000000·d0ec4e01·00000000·..N.......N.....	2313	··0x018a4980·e0f64e01·00000000·d0ec4e01·00000000·..N.......N.....
2314	··0x018a4990·30ed4e01·00000000·40024f01·00000000·0.N.....@.O.....	2314	··0x018a4990·30ed4e01·00000000·40024f01·00000000·0.N.....@.O.....


Offset 314, 15 lines modified		Offset 314, 15 lines modified
314	··0x018b5370·00000000·00000000·73010000·00000000·........s.......	314	··0x018b5370·00000000·00000000·73010000·00000000·........s.......
315	··0x018b5380·6a0b5f01·00000000·00000000·00000000·j._.............	315	··0x018b5380·6a0b5f01·00000000·00000000·00000000·j._.............
316	··0x018b5390·00000000·00000000·74010000·00000000·........t.......	316	··0x018b5390·00000000·00000000·74010000·00000000·........t.......
317	··0x018b53a0·5f015f01·00000000·01000000·00000000·_._.............	317	··0x018b53a0·5f015f01·00000000·01000000·00000000·_._.............
318	··0x018b53b0·00000000·00000000·75010000·00000000·........u.......	318	··0x018b53b0·00000000·00000000·75010000·00000000·........u.......
319	··0x018b53c0·25005f01·00000000·01000000·00000000·%._.............	319	··0x018b53c0·25005f01·00000000·01000000·00000000·%._.............
320	··0x018b53d0·00000000·00000000·76010000·00000000·........v.......	320	··0x018b53d0·00000000·00000000·76010000·00000000·........v.......
321	··0x018b53e0·03085f01·00000000·01000000·00000000·.._.............	321	··0x018b53e0·ef075f01·00000000·01000000·00000000·.._.............
322	··0x018b53f0·00000000·00000000·77010000·00000000·........w.......	322	··0x018b53f0·00000000·00000000·77010000·00000000·........w.......
323	··0x018b5400·684c5e01·00000000·01000000·00000000·hL^.............	323	··0x018b5400·684c5e01·00000000·01000000·00000000·hL^.............
324	··0x018b5410·00000000·00000000·78010000·00000000·........x.......	324	··0x018b5410·00000000·00000000·78010000·00000000·........x.......
325	··0x018b5420·51015f01·00000000·01000000·00000000·Q._.............	325	··0x018b5420·51015f01·00000000·01000000·00000000·Q._.............
326	··0x018b5430·00000000·00000000·79010000·00000000·........y.......	326	··0x018b5430·00000000·00000000·79010000·00000000·........y.......
327	··0x018b5440·7c0b5f01·00000000·00000000·00000000·\|._.............	327	··0x018b5440·7c0b5f01·00000000·00000000·00000000·\|._.............
328	··0x018b5450·00000000·00000000·7a010000·00000000·........z.......	328	··0x018b5450·00000000·00000000·7a010000·00000000·........z.......
Offset 616, 17 lines modified		Offset 616, 17 lines modified
616	··0x018b6650·00000000·00000000·0a020000·00000000·................	616	··0x018b6650·00000000·00000000·0a020000·00000000·................
617	··0x018b6660·dd015f01·00000000·01000000·00000000·.._.............	617	··0x018b6660·dd015f01·00000000·01000000·00000000·.._.............
618	··0x018b6670·00000000·00000000·0b020000·00000000·................	618	··0x018b6670·00000000·00000000·0b020000·00000000·................
619	··0x018b6680·d40e5f01·00000000·00000000·00000000·.._.............	619	··0x018b6680·d40e5f01·00000000·00000000·00000000·.._.............
620	··0x018b6690·00000000·00000000·0c020000·00000000·................	620	··0x018b6690·00000000·00000000·0c020000·00000000·................
621	··0x018b66a0·d10e5f01·00000000·00000000·00000000·.._.............	621	··0x018b66a0·d10e5f01·00000000·00000000·00000000·.._.............
622	··0x018b66b0·00000000·00000000·0d020000·00000000·................	622	··0x018b66b0·00000000·00000000·0d020000·00000000·................
623	··0x018b66c0·e4075f01·00000000·01000000·00000000·.._.............	623	··0x018b66c0·f3075f01·00000000·01000000·00000000·.._.............
624	··0x018b66d0·00000000·00000000·0e020000·00000000·................	624	··0x018b66d0·00000000·00000000·0e020000·00000000·................
625	··0x018b66e0·f8075f01·00000000·01000000·00000000·.._.............	625	··0x018b66e0·e4075f01·00000000·01000000·00000000·.._.............
626	··0x018b66f0·00000000·00000000·0f020000·00000000·................	626	··0x018b66f0·00000000·00000000·0f020000·00000000·................
627	··0x018b6700·eb0e5f01·00000000·00000000·00000000·.._.............	627	··0x018b6700·eb0e5f01·00000000·00000000·00000000·.._.............
628	··0x018b6710·00000000·00000000·10020000·00000000·................	628	··0x018b6710·00000000·00000000·10020000·00000000·................
629	··0x018b6720·e80e5f01·00000000·00000000·00000000·.._.............	629	··0x018b6720·e80e5f01·00000000·00000000·00000000·.._.............
630	··0x018b6730·00000000·00000000·11020000·00000000·................	630	··0x018b6730·00000000·00000000·11020000·00000000·................
631	··0x018b6740·7aff5e01·00000000·01000000·00000000·z.^.............	631	··0x018b6740·7aff5e01·00000000·01000000·00000000·z.^.............
632	··0x018b6750·00000000·00000000·12020000·00000000·................	632	··0x018b6750·00000000·00000000·12020000·00000000·................


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·2178	7	Installed-Size:·2178
8	Depends:·cvc5·(=·1.1.2-3)	8	Depends:·cvc5·(=·1.1.2-3)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Description:·debug·symbols·for·cvc5	11	Description:·debug·symbols·for·cvc5
12	Build-Ids:·~~ce7acf1d8c1fa~~70cade43~~a76e~~723~~1a67abf7~~6c90	12	Build-Ids:·5306e17322ee87035d76b35ed8f472059e02046c


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/ce/~~7acf1d8c1fa~~70cade43~~a76e~~723~~1a67abf7~~6c90.debug	1	usr/lib/debug/.build-id/53/06e17322ee87035d76b35ed8f472059e02046c.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/ce/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/53/
7	-rw-r--r--···0·root·········(0)·root·········(0)··2219472·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/ce/~~7acf1d8c1fa~~70cade43~~a76e~~723~~1a67abf7~~6c90.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2219472·2025-07-27·11:13:23.000000·./usr/lib/debug/.build-id/53/06e17322ee87035d76b35ed8f472059e02046c.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 28, 21 lines modified		Offset 28, 21 lines modified
28	··[23]·.data.rel.ro······NOBITS··········0000000000067500·01f4d8·000318·00··WA··0···0·32	28	··[23]·.data.rel.ro······NOBITS··········0000000000067500·01f4d8·000318·00··WA··0···0·32
29	··[24]·.dynamic··········NOBITS··········0000000000067818·01f4d8·000240·10··WA··6···0··8	29	··[24]·.dynamic··········NOBITS··········0000000000067818·01f4d8·000240·10··WA··6···0··8
30	··[25]·.got··············NOBITS··········0000000000067a58·01f4d8·0005a0·08··WA··0···0··8	30	··[25]·.got··············NOBITS··········0000000000067a58·01f4d8·0005a0·08··WA··0···0··8
31	··[26]·.data·············NOBITS··········0000000000068000·01f4d8·006180·00··WA··0···0·32	31	··[26]·.data·············NOBITS··········0000000000068000·01f4d8·006180·00··WA··0···0·32
32	··[27]·.bss··············NOBITS··········000000000006e180·01f4d8·000500·00··WA··0···0·32	32	··[27]·.bss··············NOBITS··········000000000006e180·01f4d8·000500·00··WA··0···0·32
33	··[28]·.comment··········PROGBITS········0000000000000000·01f458·00001e·01··MS··0···0··1	33	··[28]·.comment··········PROGBITS········0000000000000000·01f458·00001e·01··MS··0···0··1
34	··[29]·.debug_aranges····PROGBITS········0000000000000000·01f478·0001ea·00···C··0···0··8	34	··[29]·.debug_aranges····PROGBITS········0000000000000000·01f478·0001ea·00···C··0···0··8
35	··[30]·.debug_info·······PROGBITS········0000000000000000·01f668·166fb4·00···C··0···0··8	35	··[30]·.debug_info·······PROGBITS········0000000000000000·01f668·166fa5·00···C··0···0··8
36	··[31]·.debug_abbrev·····PROGBITS········0000000000000000·186620·00350f·00···C··0···0··8	36	··[31]·.debug_abbrev·····PROGBITS········0000000000000000·186610·00350f·00···C··0···0··8
37	··[32]·.debug_line·······PROGBITS········0000000000000000·189b30·010585·00···C··0···0··8	37	··[32]·.debug_line·······PROGBITS········0000000000000000·189b20·010585·00···C··0···0··8
38	··[33]·.debug_str········PROGBITS········0000000000000000·19a0b8·02effb·01·MSC··0···0··8	38	··[33]·.debug_str········PROGBITS········0000000000000000·19a0a8·02eff9·01·MSC··0···0··8
39	··[34]·.debug_line_str···PROGBITS········0000000000000000·1c90b8·0007f1·01·MSC··0···0··8	39	··[34]·.debug_line_str···PROGBITS········0000000000000000·1c90a8·0007f1·01·MSC··0···0··8
40	··[35]·.debug_loclists···PROGBITS········0000000000000000·1c98b0·038e2f·00···C··0···0··8	40	··[35]·.debug_loclists···PROGBITS········0000000000000000·1c98a0·038e2f·00···C··0···0··8
41	··[36]·.debug_macro······PROGBITS········0000000000000000·2026e0·00a1a6·00···C··0···0··8	41	··[36]·.debug_macro······PROGBITS········0000000000000000·2026d0·00a1b4·00···C··0···0··8
42	··[37]·.debug_rnglists···PROGBITS········0000000000000000·20c888·009d1f·00···C··0···0··8	42	··[37]·.debug_rnglists···PROGBITS········0000000000000000·20c888·009d1f·00···C··0···0··8
43	··[38]·.symtab···········SYMTAB··········0000000000000000·2165a8·002568·18·····39·117··8	43	··[38]·.symtab···········SYMTAB··········0000000000000000·2165a8·002568·18·····39·117··8
44	··[39]·.strtab···········STRTAB··········0000000000000000·218b10·0046cf·00······0···0··1	44	··[39]·.strtab···········STRTAB··········0000000000000000·218b10·0046cf·00······0···0··1
45	··[40]·.shstrtab·········STRTAB··········0000000000000000·21d1df·0001ad·00······0···0··1	45	··[40]·.shstrtab·········STRTAB··········0000000000000000·21d1df·0001ad·00······0···0··1
46	Key·to·Flags:	46	Key·to·Flags:
47	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	47	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
48	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	48	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),


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


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·36356234·62323264·61623134·39623862·65b4b22dab149b8b
3	··0x00000010·61303235·33~~3763~~30·3763~~383~~3·65326537·a~~02537c07c83e2e7~~	2	··0x00000000·61333965·63653934·31356361·30636134·a39ece9415ca0ca4
		3	··0x00000010·38663564·66643136·36303330·31613364·8f5dfd1660301a3d
4	··0x00000020·62613664·~~3530~~2e64·65627567·00000000·~~ba6d50~~.debug....	4	··0x00000020·31663434·61662e64·65627567·00000000·1f44af.debug....
5	··0x00000030·~~29d787a9~~····························)...	5	··0x00000030·9350f6bd····························.P..


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·34616138·34336230·66396164·39366236·4aa843b0f9ad96b6
3	··0x00000010·~~646~~43634·6~~663~~6~~265~~·65373661·~~6566~~6538·~~dd6~~4~~fcbee76aef~~e8	2	··0x00000000·32343734·63376331·34386634·32316533·2474c7c148f421e3
		3	··0x00000010·39373262·36626261·31623961·34323339·972b6bba1b9a4239
4	··0x00000020·3~~6666361~~·3~~666~~2e64·65627567·00000000·~~6fca6f~~.debug....	4	··0x00000020·38313433·37302e64·65627567·00000000·814370.debug....
5	··0x00000030·~~d83a~~e~~5db~~····························.:..	5	··0x00000030·7a77eba9····························zw..


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·33623331·30343839·66623838·37613038·3b310489fb887a08
3	··0x00000010·3261~~6461~~·~~656231~~30·6~~1616130~~·3~~630~~3963·2ad~~aeb~~1~~0aaa06~~09c	2	··0x00000000·34613038·37316535·62393963·30643133·4a0871e5b99c0d13
		3	··0x00000010·30323364·63666334·32366536·61353761·023dcfc426e6a57a
4	··0x00000020·653~~961~~38·~~3930~~2e64·65627567·00000000·~~e9a890~~.debug....	4	··0x00000020·63303530·64662e64·65627567·00000000·c050df.debug....
5	··0x00000030·~~121713b6~~····························....	5	··0x00000030·b0500c23····························.P.#


Offset 12, 37 lines modified		Offset 12, 37 lines modified
12	·<1><15>:·Abbrev·Number:·93·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·93·(DW_TAG_base_type)
13	····<16>···DW_AT_byte_size···:·(data1)·1	13	····<16>···DW_AT_byte_size···:·(data1)·1
14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	14	····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa349c):·unsigned·char	15	····<18>···DW_AT_name········:·(strp)·(offset:·0xa349c):·unsigned·char
16	·<1><1c>:·Abbrev·Number:·93·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·93·(DW_TAG_base_type)
17	····<1d>···DW_AT_byte_size···:·(data1)·2	17	····<1d>···DW_AT_byte_size···:·(data1)·2
18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)	18	····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned)
19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a080):·short·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a066):·short·unsigned·int
20	·<1><23>:·Abbrev·Number:·93·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·93·(DW_TAG_base_type)
21	····<24>···DW_AT_byte_size···:·(data1)·4	21	····<24>···DW_AT_byte_size···:·(data1)·4
22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)	22	····<25>···DW_AT_encoding····:·(data1)·7» (unsigned)
23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbb8ef):·unsigned·int	23	····<26>···DW_AT_name········:·(strp)·(offset:·0xbb8ef):·unsigned·int
24	·<1><2a>:·Abbrev·Number:·93·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·93·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·8	25	····<2b>···DW_AT_byte_size···:·(data1)·8
26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)	26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)
27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7c816):·long·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x7c816):·long·unsigned·int
28	·<1><31>:·Abbrev·Number:·101·(DW_TAG_const_type)	28	·<1><31>:·Abbrev·Number:·101·(DW_TAG_const_type)
29	····<32>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	29	····<32>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
30	·<1><33>:·Abbrev·Number:·116·(DW_TAG_typedef)	30	·<1><33>:·Abbrev·Number:·116·(DW_TAG_typedef)
31	····<34>···DW_AT_name········:·(strp)·(offset:·0xb777):·__int8_t	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xb75d):·__int8_t
32	····<38>···DW_AT_decl_file···:·(data1)·32	32	····<38>···DW_AT_decl_file···:·(data1)·32
33	····<39>···DW_AT_decl_line···:·(data1)·37	33	····<39>···DW_AT_decl_line···:·(data1)·37
34	····<3a>···DW_AT_decl_column·:·(data1)·21	34	····<3a>···DW_AT_decl_column·:·(data1)·21
35	····<3b>···DW_AT_type········:·(ref_udata)·<0x3c>,·signed·char	35	····<3b>···DW_AT_type········:·(ref_udata)·<0x3c>,·signed·char
36	·<1><3c>:·Abbrev·Number:·93·(DW_TAG_base_type)	36	·<1><3c>:·Abbrev·Number:·93·(DW_TAG_base_type)
37	····<3d>···DW_AT_byte_size···:·(data1)·1	37	····<3d>···DW_AT_byte_size···:·(data1)·1
38	····<3e>···DW_AT_encoding····:·(data1)·6» (signed·char)	38	····<3e>···DW_AT_encoding····:·(data1)·6» (signed·char)
39	····<3f>···DW_AT_name········:·(strp)·(offset:·0xb377a):·signed·char	39	····<3f>···DW_AT_name········:·(strp)·(offset:·0xb377a):·signed·char
40	·<1><43>:·Abbrev·Number:·116·(DW_TAG_typedef)	40	·<1><43>:·Abbrev·Number:·116·(DW_TAG_typedef)
41	····<44>···DW_AT_name········:·(strp)·(offset:·0x414b1):·__uint8_t	41	····<44>···DW_AT_name········:·(strp)·(offset:·0x41497):·__uint8_t
42	····<48>···DW_AT_decl_file···:·(data1)·32	42	····<48>···DW_AT_decl_file···:·(data1)·32
43	····<49>···DW_AT_decl_line···:·(data1)·38	43	····<49>···DW_AT_decl_line···:·(data1)·38
44	····<4a>···DW_AT_decl_column·:·(data1)·23	44	····<4a>···DW_AT_decl_column·:·(data1)·23
45	····<4b>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char	45	····<4b>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
46	·<1><4c>:·Abbrev·Number:·116·(DW_TAG_typedef)	46	·<1><4c>:·Abbrev·Number:·116·(DW_TAG_typedef)
47	····<4d>···DW_AT_name········:·(strp)·(offset:·0xb43eb):·__int16_t	47	····<4d>···DW_AT_name········:·(strp)·(offset:·0xb43eb):·__int16_t
48	····<51>···DW_AT_decl_file···:·(data1)·32	48	····<51>···DW_AT_decl_file···:·(data1)·32
Offset 72, 91 lines modified		Offset 72, 91 lines modified
72	·<1><75>:·Abbrev·Number:·116·(DW_TAG_typedef)	72	·<1><75>:·Abbrev·Number:·116·(DW_TAG_typedef)
73	····<76>···DW_AT_name········:·(strp)·(offset:·0x8fadd):·__uint32_t	73	····<76>···DW_AT_name········:·(strp)·(offset:·0x8fadd):·__uint32_t
74	····<7a>···DW_AT_decl_file···:·(data1)·32	74	····<7a>···DW_AT_decl_file···:·(data1)·32
75	····<7b>···DW_AT_decl_line···:·(data1)·42	75	····<7b>···DW_AT_decl_line···:·(data1)·42
76	····<7c>···DW_AT_decl_column·:·(data1)·22	76	····<7c>···DW_AT_decl_column·:·(data1)·22
77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int	77	····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78	·<1><7e>:·Abbrev·Number:·116·(DW_TAG_typedef)	78	·<1><7e>:·Abbrev·Number:·116·(DW_TAG_typedef)
79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x634e4):·__int64_t	79	····<7f>···DW_AT_name········:·(strp)·(offset:·0x634ca):·__int64_t
80	····<83>···DW_AT_decl_file···:·(data1)·32	80	····<83>···DW_AT_decl_file···:·(data1)·32
81	····<84>···DW_AT_decl_line···:·(data1)·44	81	····<84>···DW_AT_decl_line···:·(data1)·44
82	····<85>···DW_AT_decl_column·:·(data1)·25	82	····<85>···DW_AT_decl_column·:·(data1)·25
83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	83	····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84	·<1><88>:·Abbrev·Number:·93·(DW_TAG_base_type)	84	·<1><88>:·Abbrev·Number:·93·(DW_TAG_base_type)
85	····<89>···DW_AT_byte_size···:·(data1)·8	85	····<89>···DW_AT_byte_size···:·(data1)·8
86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8a>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xffe4):·long·int	87	····<8b>···DW_AT_name········:·(strp)·(offset:·0xffca):·long·int
88	·<1><8f>:·Abbrev·Number:·116·(DW_TAG_typedef)	88	·<1><8f>:·Abbrev·Number:·116·(DW_TAG_typedef)
89	····<90>···DW_AT_name········:·(strp)·(offset:·0x683b1):·__uint64_t	89	····<90>···DW_AT_name········:·(strp)·(offset:·0x68397):·__uint64_t
90	····<94>···DW_AT_decl_file···:·(data1)·32	90	····<94>···DW_AT_decl_file···:·(data1)·32
91	····<95>···DW_AT_decl_line···:·(data1)·45	91	····<95>···DW_AT_decl_line···:·(data1)·45
92	····<96>···DW_AT_decl_column·:·(data1)·27	92	····<96>···DW_AT_decl_column·:·(data1)·27
93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	93	····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94	·<1><98>:·Abbrev·Number:·116·(DW_TAG_typedef)	94	·<1><98>:·Abbrev·Number:·116·(DW_TAG_typedef)
95	····<99>···DW_AT_name········:·(strp)·(offset:·0x59a79):·__int_least8_t	95	····<99>···DW_AT_name········:·(strp)·(offset:·0x59a5f):·__int_least8_t
96	····<9d>···DW_AT_decl_file···:·(data1)·32	96	····<9d>···DW_AT_decl_file···:·(data1)·32
97	····<9e>···DW_AT_decl_line···:·(data1)·52	97	····<9e>···DW_AT_decl_line···:·(data1)·52
98	····<9f>···DW_AT_decl_column·:·(data1)·18	98	····<9f>···DW_AT_decl_column·:·(data1)·18
99	····<a0>···DW_AT_type········:·(ref_udata)·<0x33>,·__int8_t,·signed·char	99	····<a0>···DW_AT_type········:·(ref_udata)·<0x33>,·__int8_t,·signed·char
100	·<1><a1>:·Abbrev·Number:·116·(DW_TAG_typedef)	100	·<1><a1>:·Abbrev·Number:·116·(DW_TAG_typedef)
101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fbcd):·__uint_least8_t	101	····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fbb3):·__uint_least8_t
102	····<a6>···DW_AT_decl_file···:·(data1)·32	102	····<a6>···DW_AT_decl_file···:·(data1)·32
103	····<a7>···DW_AT_decl_line···:·(data1)·53	103	····<a7>···DW_AT_decl_line···:·(data1)·53
104	····<a8>···DW_AT_decl_column·:·(data1)·19	104	····<a8>···DW_AT_decl_column·:·(data1)·19
105	····<a9>···DW_AT_type········:·(ref_udata)·<0x43>,·__uint8_t,·unsigned·char	105	····<a9>···DW_AT_type········:·(ref_udata)·<0x43>,·__uint8_t,·unsigned·char
106	·<1><aa>:·Abbrev·Number:·116·(DW_TAG_typedef)	106	·<1><aa>:·Abbrev·Number:·116·(DW_TAG_typedef)
107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7f9f5):·__int_least16_t	107	····<ab>···DW_AT_name········:·(strp)·(offset:·0x7f9f5):·__int_least16_t
108	····<af>···DW_AT_decl_file···:·(data1)·32	108	····<af>···DW_AT_decl_file···:·(data1)·32
109	····<b0>···DW_AT_decl_line···:·(data1)·54	109	····<b0>···DW_AT_decl_line···:·(data1)·54
110	····<b1>···DW_AT_decl_column·:·(data1)·19	110	····<b1>···DW_AT_decl_column·:·(data1)·19
111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4c>,·__int16_t,·short·int	111	····<b2>···DW_AT_type········:·(ref_udata)·<0x4c>,·__int16_t,·short·int
112	·<1><b3>:·Abbrev·Number:·116·(DW_TAG_typedef)	112	·<1><b3>:·Abbrev·Number:·116·(DW_TAG_typedef)
113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10edb):·__uint_least16_t	113	····<b4>···DW_AT_name········:·(strp)·(offset:·0x10ec1):·__uint_least16_t
114	····<b8>···DW_AT_decl_file···:·(data1)·32	114	····<b8>···DW_AT_decl_file···:·(data1)·32
115	····<b9>···DW_AT_decl_line···:·(data1)·55	115	····<b9>···DW_AT_decl_line···:·(data1)·55
116	····<ba>···DW_AT_decl_column·:·(data1)·20	116	····<ba>···DW_AT_decl_column·:·(data1)·20
117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5c>,·__uint16_t,·short·unsigned·int	117	····<bb>···DW_AT_type········:·(ref_udata)·<0x5c>,·__uint16_t,·short·unsigned·int
118	·<1><bc>:·Abbrev·Number:·116·(DW_TAG_typedef)	118	·<1><bc>:·Abbrev·Number:·116·(DW_TAG_typedef)
119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x568d0):·__int_least32_t	119	····<bd>···DW_AT_name········:·(strp)·(offset:·0x568b6):·__int_least32_t
120	····<c1>···DW_AT_decl_file···:·(data1)·32	120	····<c1>···DW_AT_decl_file···:·(data1)·32
121	····<c2>···DW_AT_decl_line···:·(data1)·56	121	····<c2>···DW_AT_decl_line···:·(data1)·56
122	····<c3>···DW_AT_decl_column·:·(data1)·19	122	····<c3>···DW_AT_decl_column·:·(data1)·19
123	····<c4>···DW_AT_type········:·(ref_udata)·<0x65>,·__int32_t,·int	123	····<c4>···DW_AT_type········:·(ref_udata)·<0x65>,·__int32_t,·int
124	·<1><c5>:·Abbrev·Number:·116·(DW_TAG_typedef)	124	·<1><c5>:·Abbrev·Number:·116·(DW_TAG_typedef)
125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcab75):·__uint_least32_t	125	····<c6>···DW_AT_name········:·(strp)·(offset:·0xcab75):·__uint_least32_t
126	····<ca>···DW_AT_decl_file···:·(data1)·32	126	····<ca>···DW_AT_decl_file···:·(data1)·32
127	····<cb>···DW_AT_decl_line···:·(data1)·57	127	····<cb>···DW_AT_decl_line···:·(data1)·57
128	····<cc>···DW_AT_decl_column·:·(data1)·20	128	····<cc>···DW_AT_decl_column·:·(data1)·20
129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int	129	····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130	·<1><ce>:·Abbrev·Number:·116·(DW_TAG_typedef)	130	·<1><ce>:·Abbrev·Number:·116·(DW_TAG_typedef)
131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ea61):·__int_least64_t	131	····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ea47):·__int_least64_t
132	····<d3>···DW_AT_decl_file···:·(data1)·32	132	····<d3>···DW_AT_decl_file···:·(data1)·32
133	····<d4>···DW_AT_decl_line···:·(data1)·58	133	····<d4>···DW_AT_decl_line···:·(data1)·58
134	····<d5>···DW_AT_decl_column·:·(data1)·19	134	····<d5>···DW_AT_decl_column·:·(data1)·19
135	····<d6>···DW_AT_type········:·(ref_udata)·<0x7e>,·__int64_t,·long·int	135	····<d6>···DW_AT_type········:·(ref_udata)·<0x7e>,·__int64_t,·long·int
136	·<1><d7>:·Abbrev·Number:·116·(DW_TAG_typedef)	136	·<1><d7>:·Abbrev·Number:·116·(DW_TAG_typedef)
137	····<d8>···DW_AT_name········:·(strp)·(offset:·0xa308c):·__uint_least64_t	137	····<d8>···DW_AT_name········:·(strp)·(offset:·0xa308c):·__uint_least64_t
138	····<dc>···DW_AT_decl_file···:·(data1)·32	138	····<dc>···DW_AT_decl_file···:·(data1)·32
139	····<dd>···DW_AT_decl_line···:·(data1)·59	139	····<dd>···DW_AT_decl_line···:·(data1)·59
140	····<de>···DW_AT_decl_column·:·(data1)·20	140	····<de>···DW_AT_decl_column·:·(data1)·20
141	····<df>···DW_AT_type········:·(ref_udata)·<0x8f>,·__uint64_t,·long·unsigned·int	141	····<df>···DW_AT_type········:·(ref_udata)·<0x8f>,·__uint64_t,·long·unsigned·int
142	·<1><e1>:·Abbrev·Number:·116·(DW_TAG_typedef)	142	·<1><e1>:·Abbrev·Number:·116·(DW_TAG_typedef)
143	····<e2>···DW_AT_name········:·(strp)·(offset:·0x55664):·__intmax_t	143	····<e2>···DW_AT_name········:·(strp)·(offset:·0x5564a):·__intmax_t
144	····<e6>···DW_AT_decl_file···:·(data1)·32	144	····<e6>···DW_AT_decl_file···:·(data1)·32
145	····<e7>···DW_AT_decl_line···:·(data1)·72	145	····<e7>···DW_AT_decl_line···:·(data1)·72
146	····<e8>···DW_AT_decl_column·:·(data1)·18	146	····<e8>···DW_AT_decl_column·:·(data1)·18
147	····<e9>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	147	····<e9>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
148	·<1><eb>:·Abbrev·Number:·116·(DW_TAG_typedef)	148	·<1><eb>:·Abbrev·Number:·116·(DW_TAG_typedef)
149	····<ec>···DW_AT_name········:·(strp)·(offset:·0x4ffea):·__uintmax_t	149	····<ec>···DW_AT_name········:·(strp)·(offset:·0x4ffd0):·__uintmax_t
150	····<f0>···DW_AT_decl_file···:·(data1)·32	150	····<f0>···DW_AT_decl_file···:·(data1)·32
151	····<f1>···DW_AT_decl_line···:·(data1)·73	151	····<f1>···DW_AT_decl_line···:·(data1)·73
152	····<f2>···DW_AT_decl_column·:·(data1)·27	152	····<f2>···DW_AT_decl_column·:·(data1)·27
153	····<f3>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int	153	····<f3>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
154	·<1><f4>:·Abbrev·Number:·116·(DW_TAG_typedef)	154	·<1><f4>:·Abbrev·Number:·116·(DW_TAG_typedef)
155	····<f5>···DW_AT_name········:·(strp)·(offset:·0x565e5):·__off_t	155	····<f5>···DW_AT_name········:·(strp)·(offset:·0x565cb):·__off_t
156	····<f9>···DW_AT_decl_file···:·(data1)·32	156	····<f9>···DW_AT_decl_file···:·(data1)·32
157	····<fa>···DW_AT_decl_line···:·(data1)·152	157	····<fa>···DW_AT_decl_line···:·(data1)·152
158	····<fb>···DW_AT_decl_column·:·(data1)·25	158	····<fb>···DW_AT_decl_column·:·(data1)·25
159	····<fc>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int	159	····<fc>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
160	·<1><fe>:·Abbrev·Number:·116·(DW_TAG_typedef)	160	·<1><fe>:·Abbrev·Number:·116·(DW_TAG_typedef)
Max diff block lines reached; 26204294/26212091 bytes (99.97%) of diff not shown.


Offset 1751, 16 lines modified		Offset 1751, 16 lines modified
1751	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1751	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1752	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1752	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1753	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1753	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1754	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1754	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1755	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	1755	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1756	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1756	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1757	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1757	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1758	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	1758	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
1759	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	1759	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

1760	··Offset:······················0x1cd8	1760	··Offset:······················0x1cd8
1761	··Version:·····················5	1761	··Version:·····················5
1762	··Offset·size:·················4	1762	··Offset·size:·················4

1763	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1763	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1764	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1764	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14357, 16 lines modified		Offset 14357, 16 lines modified
14357	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	14357	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14358	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	14358	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14359	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	14359	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14360	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	14360	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14361	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1	14361	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14362	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	14362	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14363	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	14363	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14364	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-26"	14364	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2025-07-28"
14365	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"23:13:23"	14365	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"01:13:23"

14366	··Offset:······················0x1359a	14366	··Offset:······················0x1359a
14367	··Version:·····················5	14367	··Version:·····················5
14368	··Offset·size:·················4	14368	··Offset·size:·················4

14369	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU	14369	·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14370	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE	14370	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE

+GCC:·(Debian·15.2.0-7)·15.2.0
+~r=9Bn#_
+LquHVTwq7
+\qTXVT_q.
+[%.CZ·nB
+@»      '4O4i_C·
+cv'eXnv|9
+K\<Q5jePY\|
+_~zY\l7C»       _B
+-.Vm-·g]
+*-qqg59·N»
+{_U0!2/R
+Dr+$,-mi
+*zM'4.^{|
+$cZMmeM"
+.]>FSe1;b
+y]h>O>?W
+Ox*[T]» N
+Yp6>h·<h`|
+f}@81B@@b
+?zq4k[!"
+ie'VV)"`
+"j6IOSvQ
+u90/G@@^
+ZD@X=-\/
+uU"q."·;
+tHF@K/5h
+`g;!@A#x
++AnP%!··D
+kf)_j&R[G
+>I|-3XU]
+t:*[[sX/j
+WEt7&_D@
+R@@=O98Wj
+XQP,(("(
+-i#q."`[
+MM!D(Yk/Yrj/
+j;,'T7=ib
+c\nTg+oj
+{@s<WasM
+fWv>w:gWv=w
+)~[u:*[[sH/j
+E+wSaW:i
+^i$U`Z^E"
+&8Nml1G|L
+grn,5h^C'
+:R4?8]p~Y1X
+\KbkM;LF
+RNnt3J_%
+R%=wx$AL
+zdX3cS;vcD%vvj
+{tZGB2V+
+hzbs7;P[
+JKpe»   Vh;
+Zu;;vM93
+[7j1,{HaX@
+jcZO'9"$
+_5?+8~J+q
+)DZ·W|28
+Nz<IeK/:)x
+LJAY2h~$5@
+w.zX:bj»8
+il5>?jLR
+·_!-G#.h
+ICK9DC/8*
+[1·x0PK<·
+X`FR}Ej%z
+#NN`r4aN
+SqBkm&Ns
+Xr\O@8>V
+N0asF&d
+s/&3|27I
+qF"d80g
+NF~x&DeJ3<
+'tHZH3E:
+),;GKD:kb
+ACR552u·
+~m1u|!;`*
+u=K%qp;K=
+·,E})-U(@
++}c}(ACg
+q[)Edl5Y
+OC5q.|&
+VKQ.=.+Q
+CTdG)n.5
+:<Y'];Fi
+Uf85^dEJ
+<C^ItCcId
+n:VZB*9&
+jfSpXA5\
++Zg1l0Qa
+||^G+rId
+Z.F$(wP~
+NFQoHQ2l
+G7F/2mm)
+Z*i[%OG2
+F@;WI'E$
+ThYhP6zC
+IP_+hyUQ
+i$]@J%TlE
+-GmN8Tcs
+'UPnT~+7j
+AFLIiE0]
+SPh5.JPO
+NQ{SyTZPUN
+nUl>k-/\;
+|\cxf;OjB
+;r\g)'t
++^!%@W.x
+!%·RN[$
+pEQVdZ34
+\*kwC|(|1
+]IfN}]KBZ
+\GM\GEJ;IO
+h.ub=-Jf
+r;k+@Z&H;k
+·EN;%u9pr
+b1R`?Mql1
+&KcfslN7
+&dvu·k6Qf7
+»       $Xq'Xq»
+TF»     5i,Vu
+}/(T6oRw
+|*iy2f'k
+chc2nOn7RY}
+ne}zN+O
+{jw/Fj/Q


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:·179877	7	Installed-Size:·179880
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:·d36~~5b4b22dab~~1~~49b8b~~a025~~37c07c8~~3~~e2e7ba6d50~~	13	Build-Ids:·62a39ece9415ca0ca48f5dfd1660301a3d1f44af


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/d3/65~~b4b22dab~~1~~49b8b~~a025~~37c07c8~~3~~e2e7ba6d50~~.debug	1	usr/lib/debug/.build-id/62/a39ece9415ca0ca48f5dfd1660301a3d1f44af.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:··········184180928·(bytes·into·file)	13	··Start·of·section·headers:··········184184128·(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·0xafa60c0:	1	There·are·40·section·headers,·starting·at·offset·0xafa6d40:

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004ca8·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004ca8·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000004f40·000294·00fbb8·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000004f40·000294·00fbb8·18···A··4···1··8
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········000000000189b920·000710·0149d0·00··WA··0···0·32	27	··[22]·.data.rel.ro······NOBITS··········000000000189b920·000710·0149d0·00··WA··0···0·32
28	··[23]·.dynamic··········NOBITS··········00000000018b02f0·000710·000250·10··WA··4···0··8	28	··[23]·.dynamic··········NOBITS··········00000000018b02f0·000710·000250·10··WA··4···0··8
29	··[24]·.got··············NOBITS··········00000000018b0540·000710·003ab8·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········00000000018b0540·000710·003ab8·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········00000000018b4000·000710·008240·00··WA··0···0·32	30	··[25]·.data·············NOBITS··········00000000018b4000·000710·008240·00··WA··0···0·32
31	··[26]·.bss··············NOBITS··········00000000018bc240·000710·001a00·00··WA··0···0·32	31	··[26]·.bss··············NOBITS··········00000000018bc240·000710·001a00·00··WA··0···0·32
32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00d976·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00d976·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·00dc30·856f~~33f~~·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·00dc30·856ff6b·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·857~~cf7~~0·0de5df·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·857dba0·0de5df·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·865~~b55~~0·8748aa·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·865c180·8748aa·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·8e~~cfe0~~0·3d7127·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·8ed0a30·3d7129·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·92a~~6f28~~·0028e4·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·92a7b60·0028e4·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·92a~~9810~~·1294698·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·92aa448·129469b·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·a53dea8·1672be·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·a53eae8·1672fd·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a6a5168·58adca·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a6a5de8·58adca·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·ac~~2ff3~~8·0c8850·18·····38·31538··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·ac30bb8·0c8850·18·····38·31538··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·acf~~878~~8·2ad7a0·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·acf9408·2ad7a0·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·afa~~5f2~~8·000191·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·afa6ba8·000191·00······0···0··1
45	Key·to·Flags:	45	Key·to·Flags:
46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),	46	··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),	47	··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),	48	··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49	··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)	49	··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)


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


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

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

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

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

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


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

4194298	····00c8d74f·000000000063a533·(base·address)	4194298	····00c8d74f·000000000063a533·(base·address)
4194299	····00c8d758·v000000000000000·v000000000000000·views·at·00c8d749·for:	4194299	····00c8d758·v000000000000000·v000000000000000·views·at·00c8d749·for:
4194300	·············000000000063a533·000000000063a537·(DW_OP_reg0·(rax))	4194300	·············000000000063a533·000000000063a537·(DW_OP_reg0·(rax))
4194301	····00c8d75d·v000000000000000·v000000000000000·views·at·00c8d74b·for:	4194301	····00c8d75d·v000000000000000·v000000000000000·views·at·00c8d74b·for:
4194302	·············000000000063a537·000000000063a58e·(DW_OP_fbreg:·-1048)	4194302	·············000000000063a537·000000000063a58e·(DW_OP_fbreg:·-1048)
4194303	[·Too·much·input·for·diff·(SHA256:·~~1377cc~~60a5f9~~2458d~~63b782c0~~a7cb2~~fe25cb2~~73ad4c~~ccfe9~~7a3~~c~~344488885eb7~~)·]	4194303	[·Too·much·input·for·diff·(SHA256:·840b421b6c585f0ba106f89d03331aff8f255b1f8197c2fe6f7c0152cb0c431e)·]

+GCC:·(Debian·15.2.0-7)·15.2.0
+%?!}?ax=
+{E~KKof~(d
+e>}K~I#`
+|$_MFrqm
+;DP9m\f|
+$C]1O'&9
+!_CZQvZ[»       *
+AwmPW^v6
+j.Nq[rK}
+EzoRBsA·R4*
++hTyiD3.
+BeiM|^U<
+DX%$,T%·
+{sy',Y.y
+~gu!NuJx
+y}p,Oz<.
+wE="!:&l
+bjv!\gn2
+QyJS,|xm
+`7.aD3kJ
+B3/=Z<ufZ
++A^[.+kk2
+$(@=p*']
+}Zt\SwgZ·
+},8yHrlq
+cOT41B0F
+`jS-»   LcO*
+~&HzJ>e,G
+A#dsnt-WHo
+,::J!;:k
+AM#!R;Zk
+·WC%v[E
+&C!'25Kx<
+*,t$g*Ka
+'mmD[#k{
+n»      q1cM]q
+^yiELADvIl
+bEW+·-&
+Cqkqo6iCzS
+ZTr@;|r@
+U{5[T·-.
+FXgSjDImF
+\g65Y_[=@
+p+pER-)r
+`(}iF?8ix
+·V:(7ty
+[^uuUqPuY
+JB-oo!o.<
+]!{,S2G)
+[C/xB'K
+~{uJHd$
+RXd\(Wd\(Wd\(Wd\H
+@YGP,E70l
+n`XO·Q70
+y<tRN7XL
+pZLDDZN7Y
+{yQ0BZG6
+pe»     @OB5|}3
+#!32xz0v>
+$?KF%0?K
+B-Py0.~XF
+F7(5*N%+
+oZY/"2/x
+CmE3T<'@
+@DfVn.DJ
+c%n>xR"{*
+>9>·rE7m#
+'<bpY$nC·
+@»      K_d_ag
+#h\<=t60
+%hd<%_"3
+KK_·drH
+g'.O|1s&!b
+'p"8k$]'
+i!34nVg(
+(')a]"-[;
+n#pT:#E/
+"=V9K^·M»
+]9\]>]q
+P·_$7Y,g
+>,zVy/cy
+[c~/,kA:
+Q:*cg{Fsq
+jHI/4ox7+
+\RLs2"1
+U4*`"C0;
+jW(SaKuI
+Ex?E$M`»
+^{|k1j|-0
++O|bn>,]
+Dt!|}=(9
+A7&?#xN0
+,ziu.G]P
+sH<&FSm»
+r&Dg@9?]!
+i`9qx9oo
+*db[pZ**
+-jcG~Gc
+ijkB~Gkzss
+sG&(`-[f
+W)0M}~;F
+·S»      gzuZ"@
+xW>&<R=&
+r\·\(!CsG
+l\eD+4l'
+Hor[qBgcw#
+aH{;66M$8
+^A_!HoBi
+I6LT:HXx
+yE"*nn57
+IqX$*54j
+G?:hrPE
+e1Q,Heb?
+*SE\VF<RB
+VTX3l`wlj
+:»      /-*%9K
+=R'RG{v9
+WlY]VE@S
+hvm-~kv-
+sz#p]{"d{4
+EW58K(\_
+CkJ70EC
+h]rP?-*
+xBIH^6(L
+Z4FWR4wUm
++4U9Q`{R


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


Offset 6, 8 lines modified		Offset 6, 8 lines modified
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
7	Installed-Size:·4193	7	Installed-Size:·4193
8	Depends:·libcvc5parser1·(=·1.1.2-3)	8	Depends:·libcvc5parser1·(=·1.1.2-3)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5parser1	12	Description:·debug·symbols·for·libcvc5parser1
13	Build-Ids:·e74~~aa843b0~~f~~9ad96b6dd~~64fcb~~ee76~~a~~efe86fca6f~~	13	Build-Ids:·c32474c7c148f421e3972b6bba1b9a4239814370


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/e7/4~~aa843b0~~f~~9ad96b6dd~~64fcb~~ee76~~a~~efe86fca6f~~.debug	1	usr/lib/debug/.build-id/c3/2474c7c148f421e3972b6bba1b9a4239814370.debug


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000bb918·0008d8·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000bb918·0008d8·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000bd8d0·0008d8·000230·10··WA··4···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000bd8d0·0008d8·000230·10··WA··4···0··8
27	··[22]·.got··············NOBITS··········00000000000bdb00·0008d8·001500·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000bdb00·0008d8·001500·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000bf000·0008d8·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000bf000·0008d8·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000bf060·0008d8·000080·00··WA··0···0·32	29	··[24]·.bss··············NOBITS··········00000000000bf060·0008d8·000080·00··WA··0···0·32
30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001e·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001e·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00075e·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00075e·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009e0·29b~~2ec~~·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009e0·29b348·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b~~cd0~~·006836·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29bd28·006836·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a2508·032c2a·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a2560·032c2a·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2d5138·05a56a·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2d5190·05a56e·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32f~~6a8~~·0007d7·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·32f700·0007d7·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32fe80·08837d·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·32fed8·08837d·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3b8200·00cc0f·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3b8258·00cc07·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3c4e10·020155·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3c4e60·020155·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3e4f68·00d0b0·18·····36·1029··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3e4fb8·00d0b0·18·····36·1029··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3f2018·02305a·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3f2068·02305a·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·415072·000184·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·4150c2·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:·0x4c8a9):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4c8a9):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·33·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·33·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·46	29	····<2f>···DW_AT_decl_file···:·(data1)·46
30	····<30>···DW_AT_decl_line···:·(data2)·440	30	····<30>···DW_AT_decl_line···:·(data2)·440
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5b2a):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5b44):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·27·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·27·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51c63):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x51c63):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·46	36	····<3d>···DW_AT_decl_file···:·(data1)·46
37	····<3e>···DW_AT_decl_line···:·(data2)·441	37	····<3e>···DW_AT_decl_line···:·(data2)·441
38	····<40>···DW_AT_decl_column·:·(data1)·13	38	····<40>···DW_AT_decl_column·:·(data1)·13
39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int	39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
Offset 51, 77 lines modified		Offset 51, 77 lines modified
51	·<1><51>:·Abbrev·Number:·18·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·18·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6357a):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x6357a):·long·long·int
55	·<1><58>:·Abbrev·Number:·18·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·18·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ab54):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ab6e):·long·double
59	·<1><5f>:·Abbrev·Number:·31·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·31·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5b2c):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5b46):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·46	61	····<64>···DW_AT_decl_file···:·(data1)·46
62	····<65>···DW_AT_decl_line···:·(data2)·451	62	····<65>···DW_AT_decl_line···:·(data2)·451
63	····<67>···DW_AT_decl_column·:·(data1)·3	63	····<67>···DW_AT_decl_column·:·(data1)·3
64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t	64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65	····<69>···DW_AT_alignment···:·(data1)·16	65	····<69>···DW_AT_alignment···:·(data1)·16
66	·<1><6a>:·Abbrev·Number:·40·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·40·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b9f):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b9f):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·18·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·18·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2989):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa29a3):·unsigned·char
72	·<1><76>:·Abbrev·Number:·18·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·18·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5aedc):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5aedc):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·18·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·18·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1447f2):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x1447f2):·unsigned·int
80	·<1><84>:·Abbrev·Number:·18·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·18·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd947b):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9495):·signed·char
84	·<1><8b>:·Abbrev·Number:·18·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·18·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b44c):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4b44c):·short·int
88	·<1><92>:·Abbrev·Number:·34·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·34·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9bf2a):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9bf44):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·47	90	····<97>···DW_AT_decl_file···:·(data1)·47
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·29·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·29·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·34·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·34·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8198):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa81b2):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·47	102	····<ab>···DW_AT_decl_file···:·(data1)·47
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·34·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·34·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5b38):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5b52):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·47	108	····<b4>···DW_AT_decl_file···:·(data1)·47
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·10·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·10·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·24·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·24·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·18·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·18·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)	119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9482):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd949c):·char
121	·<1><c4>:·Abbrev·Number:·29·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·29·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·23·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·23·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x457>
126	·<2><ce>:·Abbrev·Number:·8·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·8·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·53	127	····<cf>···DW_AT_decl_file···:·(data1)·53
Offset 860, 33 lines modified		Offset 860, 33 lines modified
860	·<1><457>:·Abbrev·Number:·1·(DW_TAG_structure_type)	860	·<1><457>:·Abbrev·Number:·1·(DW_TAG_structure_type)
861	····<458>···DW_AT_name········:·(strp)·(offset:·0x11f587):·typedef·__va_list_tag·__va_list_tag	861	····<458>···DW_AT_name········:·(strp)·(offset:·0x11f587):·typedef·__va_list_tag·__va_list_tag
862	····<45c>···DW_AT_byte_size···:·(data1)·24	862	····<45c>···DW_AT_byte_size···:·(data1)·24
863	····<45d>···DW_AT_decl_file···:·(data1)·92	863	····<45d>···DW_AT_decl_file···:·(data1)·92
864	····<45e>···DW_AT_decl_line···:·(data1)·0	864	····<45e>···DW_AT_decl_line···:·(data1)·0
865	····<45f>···DW_AT_sibling·····:·(ref_udata)·<0x480>	865	····<45f>···DW_AT_sibling·····:·(ref_udata)·<0x480>
866	·<2><461>:·Abbrev·Number:·2·(DW_TAG_member)	866	·<2><461>:·Abbrev·Number:·2·(DW_TAG_member)
867	····<462>···DW_AT_name········:·(strp)·(offset:·0x74~~ef3~~):·gp_offset	867	····<462>···DW_AT_name········:·(strp)·(offset:·0x74f0d):·gp_offset
868	····<466>···DW_AT_decl_file···:·(implicit_const)·92	868	····<466>···DW_AT_decl_file···:·(implicit_const)·92
869	····<466>···DW_AT_decl_line···:·(implicit_const)·0	869	····<466>···DW_AT_decl_line···:·(implicit_const)·0
870	····<466>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	870	····<466>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
871	····<467>···DW_AT_data_member_location:·(data1)·0	871	····<467>···DW_AT_data_member_location:·(data1)·0
872	·<2><468>:·Abbrev·Number:·2·(DW_TAG_member)	872	·<2><468>:·Abbrev·Number:·2·(DW_TAG_member)
873	····<469>···DW_AT_name········:·(strp)·(offset:·0x8f96f):·fp_offset	873	····<469>···DW_AT_name········:·(strp)·(offset:·0x8f989):·fp_offset
874	····<46d>···DW_AT_decl_file···:·(implicit_const)·92	874	····<46d>···DW_AT_decl_file···:·(implicit_const)·92
875	····<46d>···DW_AT_decl_line···:·(implicit_const)·0	875	····<46d>···DW_AT_decl_line···:·(implicit_const)·0
876	····<46d>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int	876	····<46d>···DW_AT_type········:·(ref_udata)·<0x7d>,·unsigned·int
877	····<46e>···DW_AT_data_member_location:·(data1)·4	877	····<46e>···DW_AT_data_member_location:·(data1)·4
878	·<2><46f>:·Abbrev·Number:·2·(DW_TAG_member)	878	·<2><46f>:·Abbrev·Number:·2·(DW_TAG_member)
879	····<470>···DW_AT_name········:·(strp)·(offset:·0x92bb3):·overflow_arg_area	879	····<470>···DW_AT_name········:·(strp)·(offset:·0x92bcd):·overflow_arg_area
880	····<474>···DW_AT_decl_file···:·(implicit_const)·92	880	····<474>···DW_AT_decl_file···:·(implicit_const)·92
881	····<474>···DW_AT_decl_line···:·(implicit_const)·0	881	····<474>···DW_AT_decl_line···:·(implicit_const)·0
882	····<474>···DW_AT_type········:·(ref_udata)·<0xb8>	882	····<474>···DW_AT_type········:·(ref_udata)·<0xb8>
883	····<476>···DW_AT_data_member_location:·(data1)·8	883	····<476>···DW_AT_data_member_location:·(data1)·8
884	·<2><477>:·Abbrev·Number:·2·(DW_TAG_member)	884	·<2><477>:·Abbrev·Number:·2·(DW_TAG_member)
885	····<478>···DW_AT_name········:·(strp)·(offset:·0xba061):·reg_save_area	885	····<478>···DW_AT_name········:·(strp)·(offset:·0xba07b):·reg_save_area
886	····<47c>···DW_AT_decl_file···:·(implicit_const)·92	886	····<47c>···DW_AT_decl_file···:·(implicit_const)·92
887	····<47c>···DW_AT_decl_line···:·(implicit_const)·0	887	····<47c>···DW_AT_decl_line···:·(implicit_const)·0
888	····<47c>···DW_AT_type········:·(ref_udata)·<0xb8>	888	····<47c>···DW_AT_type········:·(ref_udata)·<0xb8>
889	····<47e>···DW_AT_data_member_location:·(data1)·16	889	····<47e>···DW_AT_data_member_location:·(data1)·16
890	·<2><47f>:·Abbrev·Number:·0	890	·<2><47f>:·Abbrev·Number:·0
891	·<1><480>:·Abbrev·Number:·34·(DW_TAG_typedef)	891	·<1><480>:·Abbrev·Number:·34·(DW_TAG_typedef)
892	····<481>···DW_AT_name········:·(strp)·(offset:·0x1164eb):·wint_t	892	····<481>···DW_AT_name········:·(strp)·(offset:·0x1164eb):·wint_t
Max diff block lines reached; 37519307/37526896 bytes (99.98%) of diff not shown.


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

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

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

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

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

+CpGCC:·(Debian·15.2.0-7)·15.2.0
+J9(OBzH^
+zVCk,6q5f5
+zI!cXc5$
+o)q%-ed%
+\?05^nwB
+D4qCFx-*W
+·.616p\G
+»      Fn;AnN5
+BE-<$iYzxD|
+OHz9=<%C
+hn·CGQ·9o6#
+g3ZY~_6A
+c»      t^|,:!
+N#u_ws/3v
+i*w}"@nH
+X+lEw»  b.
+UN`IM\Yb
+b<]·].P;
+]"s}u(Xs
+'cXbgxbV
+W*)VGjr/
+\~`s,_2<
+!f}d0>#
+D$y6(SmN
+"]tIoyc>9
+to1jAW5<gy
+:jO8»   RR/
+R|X4QI<c
+C9TTTT@P@
+t5YqZ6mn
+%n?krAj
+R0CKLOn·%n
+TTP@vPQ@
+<H&-7Bo8
++tbm])|^
+C(C+/m.@b+
+;,aV38K
+Df*7CQCkt
+Mz.ADvyI.
+·>.).p\G
+*?7·`jY7
+h.rP;kd3
+(`xy=$u]
+#A:&D>&a
+&T3^mDuP
+?>oJzV1bB
+E2UFX$Si
+mJ:-}O!%{-
+AymP·}jR
+*V%GwIwMc
+Tp]46=V"L
+QbCwAVt\
+&Y<ddU'pR
+=uo\X82H
+wL_Y2?gJ
+gVVxfK4{
+tMB'KLOs_
+w2}<^l0%
+·Tf|WlS)
+jCYdS(Af
+qz4R?m0N
+K3»     }dSn[c
+J>Y^`-Jas
+A.uL:Qj_
+-mP<8Lzp
+lK)v^JB*
+AQf4K:hFy·/
+CmP2h>{I
+BM9r'kak
+`o»     >Qb*W
++m%+)I>
+<&Nv)n&b_4
+Z+&/<<LN
+:YN<{/FaZz
+$$5m!]:^
+K[IU+/$|
+oitCjJ4]
+I2:\JO]mAD
+(INoTQa#=c*ke
+:EFo+#HF
+/1|%I\)+
+?+hC·s~1
+_IC+MSHK-1}
+WG;5LK/Qw
+(A^+/a*/
+C.Tav?» :p
+]F!»  -)<
+q6t,Ao]%
+T"cG{lf=/"L
+<9\»    pn5#
+·34ml!AG
+;,\2i&];
+Ght:N~*L
+]FsAz7h9
+th16e^-Xk
+ZPB)I,%j
+s*]0U(h6;Ts
+Vl2PDZ`j
+!eO5=,@y
+TZC+Az;
+>;|Dw5?%?
+eP,AP@Y2
+K>+3!+
+@H,,4HE
+Rtz·;zD%
+YZuZNz#x
+:etsIm(jV
+O/D}\;us
+QE'c#P;<
+UDn@a]_E
+lNnq7svy
+z'gpOYew
+w5Cv/BBV»       *
+V}pu.Y
+x7U·B)E
+.v^M4·OW
+KXrE<cU&
+}lX)0<:Gbx
+s1h|.fis.fis.
+ve_8ur('
+u»     OhbF·fc.
+Wu6~»   H;d
+rgEi`jE[HD
+pH&#prQ#
+?(vr3W7~
+g5pU'Ji7dn


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/22/~~3b3~~1~~048~~9~~fb887a~~082ad~~aeb10aaa0609~~ce~~9a890~~.debug	1	usr/lib/debug/.build-id/84/4a0871e5b99c0d13023dcfc426e6a57ac050df.debug


Offset 20, 19 lines modified		Offset 20, 19 lines modified
20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)	20	·<1><34>:·Abbrev·Number:·1·(DW_TAG_base_type)
21	····<35>···DW_AT_byte_size···:·(data1)·8	21	····<35>···DW_AT_byte_size···:·(data1)·8
22	····<36>···DW_AT_encoding····:·(data1)·4» (float)	22	····<36>···DW_AT_encoding····:·(data1)·4» (float)
23	····<37>···DW_AT_name········:·(strp)·(offset:·0x6d70e):·double	23	····<37>···DW_AT_name········:·(strp)·(offset:·0x6d70e):·double
24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)	24	·<1><3b>:·Abbrev·Number:·1·(DW_TAG_base_type)
25	····<3c>···DW_AT_byte_size···:·(data1)·1	25	····<3c>···DW_AT_byte_size···:·(data1)·1
26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	26	····<3d>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x79088):·unsigned·char	27	····<3e>···DW_AT_name········:·(strp)·(offset:·0x790a2):·unsigned·char
28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)	28	·<1><42>:·Abbrev·Number:·1·(DW_TAG_base_type)
29	····<43>···DW_AT_byte_size···:·(data1)·2	29	····<43>···DW_AT_byte_size···:·(data1)·2
30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)	30	····<44>···DW_AT_encoding····:·(data1)·7» (unsigned)
31	····<45>···DW_AT_name········:·(strp)·(offset:·0xd19d2):·short·unsigned·int	31	····<45>···DW_AT_name········:·(strp)·(offset:·0xd19ec):·short·unsigned·int
32	·<1><49>:·Abbrev·Number:·21·(DW_TAG_const_type)	32	·<1><49>:·Abbrev·Number:·21·(DW_TAG_const_type)
33	····<4a>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int	33	····<4a>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int
34	·<1><4b>:·Abbrev·Number:·1·(DW_TAG_base_type)	34	·<1><4b>:·Abbrev·Number:·1·(DW_TAG_base_type)
35	····<4c>···DW_AT_byte_size···:·(data1)·4	35	····<4c>···DW_AT_byte_size···:·(data1)·4
36	····<4d>···DW_AT_encoding····:·(data1)·7» (unsigned)	36	····<4d>···DW_AT_encoding····:·(data1)·7» (unsigned)
37	····<4e>···DW_AT_name········:·(strp)·(offset:·0x13a8c1):·unsigned·int	37	····<4e>···DW_AT_name········:·(strp)·(offset:·0x13a8c1):·unsigned·int
38	·<1><52>:·Abbrev·Number:·21·(DW_TAG_const_type)	38	·<1><52>:·Abbrev·Number:·21·(DW_TAG_const_type)
Offset 40, 31 lines modified		Offset 40, 31 lines modified
40	·<1><54>:·Abbrev·Number:·1·(DW_TAG_base_type)	40	·<1><54>:·Abbrev·Number:·1·(DW_TAG_base_type)
41	····<55>···DW_AT_byte_size···:·(data1)·8	41	····<55>···DW_AT_byte_size···:·(data1)·8
42	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)	42	····<56>···DW_AT_encoding····:·(data1)·7» (unsigned)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0x49548):·long·unsigned·int	43	····<57>···DW_AT_name········:·(strp)·(offset:·0x49548):·long·unsigned·int
44	·<1><5b>:·Abbrev·Number:·21·(DW_TAG_const_type)	44	·<1><5b>:·Abbrev·Number:·21·(DW_TAG_const_type)
45	····<5c>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int	45	····<5c>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int
46	·<1><5d>:·Abbrev·Number:·62·(DW_TAG_typedef)	46	·<1><5d>:·Abbrev·Number:·62·(DW_TAG_typedef)
47	····<5e>···DW_AT_name········:·(strp)·(offset:·0xb03cc):·__int8_t	47	····<5e>···DW_AT_name········:·(strp)·(offset:·0xb03e6):·__int8_t
48	····<62>···DW_AT_decl_file···:·(data1)·52	48	····<62>···DW_AT_decl_file···:·(data1)·52
49	····<63>···DW_AT_decl_line···:·(data1)·37	49	····<63>···DW_AT_decl_line···:·(data1)·37
50	····<64>···DW_AT_decl_column·:·(data1)·21	50	····<64>···DW_AT_decl_column·:·(data1)·21
51	····<65>···DW_AT_type········:·(ref_udata)·<0x66>,·signed·char	51	····<65>···DW_AT_type········:·(ref_udata)·<0x66>,·signed·char
52	·<1><66>:·Abbrev·Number:·1·(DW_TAG_base_type)	52	·<1><66>:·Abbrev·Number:·1·(DW_TAG_base_type)
53	····<67>···DW_AT_byte_size···:·(data1)·1	53	····<67>···DW_AT_byte_size···:·(data1)·1
54	····<68>···DW_AT_encoding····:·(data1)·6» (signed·char)	54	····<68>···DW_AT_encoding····:·(data1)·6» (signed·char)
55	····<69>···DW_AT_name········:·(strp)·(offset:·0xd062f):·signed·char	55	····<69>···DW_AT_name········:·(strp)·(offset:·0xd0649):·signed·char
56	·<1><6d>:·Abbrev·Number:·62·(DW_TAG_typedef)	56	·<1><6d>:·Abbrev·Number:·62·(DW_TAG_typedef)
57	····<6e>···DW_AT_name········:·(strp)·(offset:·0xa91be):·__uint8_t	57	····<6e>···DW_AT_name········:·(strp)·(offset:·0xa91d8):·__uint8_t
58	····<72>···DW_AT_decl_file···:·(data1)·52	58	····<72>···DW_AT_decl_file···:·(data1)·52
59	····<73>···DW_AT_decl_line···:·(data1)·38	59	····<73>···DW_AT_decl_line···:·(data1)·38
60	····<74>···DW_AT_decl_column·:·(data1)·23	60	····<74>···DW_AT_decl_column·:·(data1)·23
61	····<75>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char	61	····<75>···DW_AT_type········:·(ref_udata)·<0x3b>,·unsigned·char
62	·<1><76>:·Abbrev·Number:·62·(DW_TAG_typedef)	62	·<1><76>:·Abbrev·Number:·62·(DW_TAG_typedef)
63	····<77>···DW_AT_name········:·(strp)·(offset:·0xb3b13):·__int16_t	63	····<77>···DW_AT_name········:·(strp)·(offset:·0xb3b2d):·__int16_t
64	····<7b>···DW_AT_decl_file···:·(data1)·52	64	····<7b>···DW_AT_decl_file···:·(data1)·52
65	····<7c>···DW_AT_decl_line···:·(data1)·39	65	····<7c>···DW_AT_decl_line···:·(data1)·39
66	····<7d>···DW_AT_decl_column·:·(data1)·26	66	····<7d>···DW_AT_decl_column·:·(data1)·26
67	····<7e>···DW_AT_type········:·(ref_udata)·<0x80>,·short·int	67	····<7e>···DW_AT_type········:·(ref_udata)·<0x80>,·short·int
68	·<1><80>:·Abbrev·Number:·1·(DW_TAG_base_type)	68	·<1><80>:·Abbrev·Number:·1·(DW_TAG_base_type)
69	····<81>···DW_AT_byte_size···:·(data1)·2	69	····<81>···DW_AT_byte_size···:·(data1)·2
70	····<82>···DW_AT_encoding····:·(data1)·5» (signed)	70	····<82>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 72, 15 lines modified		Offset 72, 15 lines modified
72	·<1><87>:·Abbrev·Number:·62·(DW_TAG_typedef)	72	·<1><87>:·Abbrev·Number:·62·(DW_TAG_typedef)
73	····<88>···DW_AT_name········:·(strp)·(offset:·0x504c):·__uint16_t	73	····<88>···DW_AT_name········:·(strp)·(offset:·0x504c):·__uint16_t
74	····<8c>···DW_AT_decl_file···:·(data1)·52	74	····<8c>···DW_AT_decl_file···:·(data1)·52
75	····<8d>···DW_AT_decl_line···:·(data1)·40	75	····<8d>···DW_AT_decl_line···:·(data1)·40
76	····<8e>···DW_AT_decl_column·:·(data1)·28	76	····<8e>···DW_AT_decl_column·:·(data1)·28
77	····<8f>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int	77	····<8f>···DW_AT_type········:·(ref_udata)·<0x42>,·short·unsigned·int
78	·<1><90>:·Abbrev·Number:·62·(DW_TAG_typedef)	78	·<1><90>:·Abbrev·Number:·62·(DW_TAG_typedef)
79	····<91>···DW_AT_name········:·(strp)·(offset:·0x9688a):·__int32_t	79	····<91>···DW_AT_name········:·(strp)·(offset:·0x968a4):·__int32_t
80	····<95>···DW_AT_decl_file···:·(data1)·52	80	····<95>···DW_AT_decl_file···:·(data1)·52
81	····<96>···DW_AT_decl_line···:·(data1)·41	81	····<96>···DW_AT_decl_line···:·(data1)·41
82	····<97>···DW_AT_decl_column·:·(data1)·20	82	····<97>···DW_AT_decl_column·:·(data1)·20
83	····<98>···DW_AT_type········:·(ref_udata)·<0x9d>,·int	83	····<98>···DW_AT_type········:·(ref_udata)·<0x9d>,·int
84	·<1><9a>:·Abbrev·Number:·21·(DW_TAG_const_type)	84	·<1><9a>:·Abbrev·Number:·21·(DW_TAG_const_type)
85	····<9b>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int	85	····<9b>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int
86	·<1><9d>:·Abbrev·Number:·386·(DW_TAG_base_type)	86	·<1><9d>:·Abbrev·Number:·386·(DW_TAG_base_type)
Offset 92, 33 lines modified		Offset 92, 33 lines modified
92	·<1><a8>:·Abbrev·Number:·62·(DW_TAG_typedef)	92	·<1><a8>:·Abbrev·Number:·62·(DW_TAG_typedef)
93	····<a9>···DW_AT_name········:·(strp)·(offset:·0x12338e):·__uint32_t	93	····<a9>···DW_AT_name········:·(strp)·(offset:·0x12338e):·__uint32_t
94	····<ad>···DW_AT_decl_file···:·(data1)·52	94	····<ad>···DW_AT_decl_file···:·(data1)·52
95	····<ae>···DW_AT_decl_line···:·(data1)·42	95	····<ae>···DW_AT_decl_line···:·(data1)·42
96	····<af>···DW_AT_decl_column·:·(data1)·22	96	····<af>···DW_AT_decl_column·:·(data1)·22
97	····<b0>···DW_AT_type········:·(ref_udata)·<0x4b>,·unsigned·int	97	····<b0>···DW_AT_type········:·(ref_udata)·<0x4b>,·unsigned·int
98	·<1><b1>:·Abbrev·Number:·62·(DW_TAG_typedef)	98	·<1><b1>:·Abbrev·Number:·62·(DW_TAG_typedef)
99	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7adbf):·__int64_t	99	····<b2>···DW_AT_name········:·(strp)·(offset:·0x7add9):·__int64_t
100	····<b6>···DW_AT_decl_file···:·(data1)·52	100	····<b6>···DW_AT_decl_file···:·(data1)·52
101	····<b7>···DW_AT_decl_line···:·(data1)·44	101	····<b7>···DW_AT_decl_line···:·(data1)·44
102	····<b8>···DW_AT_decl_column·:·(data1)·25	102	····<b8>···DW_AT_decl_column·:·(data1)·25
103	····<b9>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int	103	····<b9>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int
104	·<1><bb>:·Abbrev·Number:·1·(DW_TAG_base_type)	104	·<1><bb>:·Abbrev·Number:·1·(DW_TAG_base_type)
105	····<bc>···DW_AT_byte_size···:·(data1)·8	105	····<bc>···DW_AT_byte_size···:·(data1)·8
106	····<bd>···DW_AT_encoding····:·(data1)·5» (signed)	106	····<bd>···DW_AT_encoding····:·(data1)·5» (signed)
107	····<be>···DW_AT_name········:·(strp)·(offset:·0xda037):·long·int	107	····<be>···DW_AT_name········:·(strp)·(offset:·0xda053):·long·int
108	·<1><c2>:·Abbrev·Number:·21·(DW_TAG_const_type)	108	·<1><c2>:·Abbrev·Number:·21·(DW_TAG_const_type)
109	····<c3>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int	109	····<c3>···DW_AT_type········:·(ref_udata)·<0xbb>,·long·int
110	·<1><c5>:·Abbrev·Number:·62·(DW_TAG_typedef)	110	·<1><c5>:·Abbrev·Number:·62·(DW_TAG_typedef)
111	····<c6>···DW_AT_name········:·(strp)·(offset:·0x10376c):·__uint64_t	111	····<c6>···DW_AT_name········:·(strp)·(offset:·0x10376c):·__uint64_t
112	····<ca>···DW_AT_decl_file···:·(data1)·52	112	····<ca>···DW_AT_decl_file···:·(data1)·52
113	····<cb>···DW_AT_decl_line···:·(data1)·45	113	····<cb>···DW_AT_decl_line···:·(data1)·45
114	····<cc>···DW_AT_decl_column·:·(data1)·27	114	····<cc>···DW_AT_decl_column·:·(data1)·27
115	····<cd>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int	115	····<cd>···DW_AT_type········:·(ref_udata)·<0x54>,·long·unsigned·int
116	·<1><ce>:·Abbrev·Number:·62·(DW_TAG_typedef)	116	·<1><ce>:·Abbrev·Number:·62·(DW_TAG_typedef)
117	····<cf>···DW_AT_name········:·(strp)·(offset:·0xdbf89):·__int_least8_t	117	····<cf>···DW_AT_name········:·(strp)·(offset:·0xdbfa5):·__int_least8_t
118	····<d3>···DW_AT_decl_file···:·(data1)·52	118	····<d3>···DW_AT_decl_file···:·(data1)·52
119	····<d4>···DW_AT_decl_line···:·(data1)·52	119	····<d4>···DW_AT_decl_line···:·(data1)·52
120	····<d5>···DW_AT_decl_column·:·(data1)·18	120	····<d5>···DW_AT_decl_column·:·(data1)·18
121	····<d6>···DW_AT_type········:·(ref_udata)·<0x5d>,·__int8_t,·signed·char	121	····<d6>···DW_AT_type········:·(ref_udata)·<0x5d>,·__int8_t,·signed·char
122	·<1><d7>:·Abbrev·Number:·62·(DW_TAG_typedef)	122	·<1><d7>:·Abbrev·Number:·62·(DW_TAG_typedef)
123	····<d8>···DW_AT_name········:·(strp)·(offset:·0x2c980):·__uint_least8_t	123	····<d8>···DW_AT_name········:·(strp)·(offset:·0x2c980):·__uint_least8_t
124	····<dc>···DW_AT_decl_file···:·(data1)·52	124	····<dc>···DW_AT_decl_file···:·(data1)·52
Offset 128, 63 lines modified		Offset 128, 63 lines modified
128	·<1><e0>:·Abbrev·Number:·62·(DW_TAG_typedef)	128	·<1><e0>:·Abbrev·Number:·62·(DW_TAG_typedef)
129	····<e1>···DW_AT_name········:·(strp)·(offset:·0x1256ca):·__int_least16_t	129	····<e1>···DW_AT_name········:·(strp)·(offset:·0x1256ca):·__int_least16_t
130	····<e5>···DW_AT_decl_file···:·(data1)·52	130	····<e5>···DW_AT_decl_file···:·(data1)·52
131	····<e6>···DW_AT_decl_line···:·(data1)·54	131	····<e6>···DW_AT_decl_line···:·(data1)·54
132	····<e7>···DW_AT_decl_column·:·(data1)·19	132	····<e7>···DW_AT_decl_column·:·(data1)·19
133	····<e8>···DW_AT_type········:·(ref_udata)·<0x76>,·__int16_t,·short·int	133	····<e8>···DW_AT_type········:·(ref_udata)·<0x76>,·__int16_t,·short·int
134	·<1><e9>:·Abbrev·Number:·62·(DW_TAG_typedef)	134	·<1><e9>:·Abbrev·Number:·62·(DW_TAG_typedef)
135	····<ea>···DW_AT_name········:·(strp)·(offset:·0xa8fb6):·__uint_least16_t	135	····<ea>···DW_AT_name········:·(strp)·(offset:·0xa8fd0):·__uint_least16_t
136	····<ee>···DW_AT_decl_file···:·(data1)·52	136	····<ee>···DW_AT_decl_file···:·(data1)·52
137	····<ef>···DW_AT_decl_line···:·(data1)·55	137	····<ef>···DW_AT_decl_line···:·(data1)·55
138	····<f0>···DW_AT_decl_column·:·(data1)·20	138	····<f0>···DW_AT_decl_column·:·(data1)·20
139	····<f1>···DW_AT_type········:·(ref_udata)·<0x87>,·__uint16_t,·short·unsigned·int	139	····<f1>···DW_AT_type········:·(ref_udata)·<0x87>,·__uint16_t,·short·unsigned·int
140	·<1><f3>:·Abbrev·Number:·62·(DW_TAG_typedef)	140	·<1><f3>:·Abbrev·Number:·62·(DW_TAG_typedef)
141	····<f4>···DW_AT_name········:·(strp)·(offset:·0x105aed):·__int_least32_t	141	····<f4>···DW_AT_name········:·(strp)·(offset:·0x105aed):·__int_least32_t
142	····<f8>···DW_AT_decl_file···:·(data1)·52	142	····<f8>···DW_AT_decl_file···:·(data1)·52
143	····<f9>···DW_AT_decl_line···:·(data1)·56	143	····<f9>···DW_AT_decl_line···:·(data1)·56
144	····<fa>···DW_AT_decl_column·:·(data1)·19	144	····<fa>···DW_AT_decl_column·:·(data1)·19
145	····<fb>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int	145	····<fb>···DW_AT_type········:·(ref_udata)·<0x90>,·__int32_t,·int
146	·<1><fd>:·Abbrev·Number:·62·(DW_TAG_typedef)	146	·<1><fd>:·Abbrev·Number:·62·(DW_TAG_typedef)
147	····<fe>···DW_AT_name········:·(strp)·(offset:·0x8c988):·__uint_least32_t	147	····<fe>···DW_AT_name········:·(strp)·(offset:·0x8c9a2):·__uint_least32_t
148	····<102>···DW_AT_decl_file···:·(data1)·52	148	····<102>···DW_AT_decl_file···:·(data1)·52
149	····<103>···DW_AT_decl_line···:·(data1)·57	149	····<103>···DW_AT_decl_line···:·(data1)·57
150	····<104>···DW_AT_decl_column·:·(data1)·20	150	····<104>···DW_AT_decl_column·:·(data1)·20
151	····<105>···DW_AT_type········:·(ref_udata)·<0xa8>,·__uint32_t,·unsigned·int	151	····<105>···DW_AT_type········:·(ref_udata)·<0xa8>,·__uint32_t,·unsigned·int
152	·<1><107>:·Abbrev·Number:·62·(DW_TAG_typedef)	152	·<1><107>:·Abbrev·Number:·62·(DW_TAG_typedef)
Max diff block lines reached; 11276047/11283569 bytes (99.93%) of diff not shown.