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

⊟

103 MB

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

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

⊟

1.52 KB

Files ¶

⊟

2.27 KB

cvc5_1.1.2-2_amd64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.77 KB

data.tar.xz ¶

⊟

1.75 KB

data.tar ¶

⊟

1.74 KB

./usr/bin/cvc5 ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

821 B

readelf --wide --notes {} ¶

⊟

866 B

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

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

⊟

5.15 KB

libcvc5-1_1.1.2-2_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

⊟

4.64 KB

data.tar.xz ¶

⊟

4.62 KB

data.tar ¶

⊟

4.6 KB

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

⊟

430 B

readelf --wide --notes {} ¶

⊟

3.31 KB

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

⊟

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-2_amd64.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.4 KB

data.tar.xz ¶

⊟

1.38 KB

data.tar ¶

⊟

1.36 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

2.07 KB

python3-cvc5_1.1.2-2_amd64.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.48 KB

data.tar.xz ¶

⊟

1.45 KB

data.tar ¶

⊟

1.44 KB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

430 B

readelf --wide --notes {} ¶

⊟

811 B

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

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

⊟

2.46 KB

cvc5-dbgsym_1.1.2-2_amd64.deb ¶

⊟

367 B

file list ¶

⊟

652 B

control.tar.xz ¶

⊟

624 B

control.tar ¶

⊟

376 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

1.41 KB

data.tar.xz ¶

⊟

1.39 KB

data.tar ¶

⊟

1.37 KB

file list ¶

⊟

25.0 MB

libcvc5-1-dbgsym_1.1.2-2_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 ¶

⊟

25.0 MB

data.tar.xz ¶

⊟

25.0 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

25.0 MB

./usr/lib/debug/.build-id/01/1bdd4603fde98a863f29997abba99d0af64a0d.debug vs.

./usr/lib/debug/.build-id/4a/053cef3520471edfa4a7bbe95122ef3589eae6.debug ¶

Files 96% similar despite different names

⊟

887 B

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

⊟

3.52 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

24.2 MB

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

⊟

3.32 KB

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

⊟

544 B

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

⊟

650 KB

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

⊟

176 KB

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

⊟

60.4 MB

libcvc5parser1-dbgsym_1.1.2-2_amd64.deb ¶

⊟

367 B

file list ¶

⊟

813 B

control.tar.xz ¶

⊟

785 B

control.tar ¶

⊟

537 B

./control ¶

⊟

226 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

178 B

line order ¶

⊟

60.4 MB

data.tar.xz ¶

⊟

60.4 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

60.4 MB

./usr/lib/debug/.build-id/6c/fe61039083b5aeaebb47eff3f8d5265caa185b.debug vs.

./usr/lib/debug/.build-id/8b/0524c14b219b3facc090ab17316e883af8bd67.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 {} ¶

⊟

58.7 MB

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

⊟

1.99 KB

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

⊟

14.8 KB

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

⊟

1.67 MB

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

⊟

17.8 MB

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

⊟

17.8 MB

data.tar.xz ¶

⊟

17.8 MB

data.tar ¶

⊟

1.39 KB

file list ¶

⊟

17.8 MB

./usr/lib/debug/.build-id/30/bef06f63ce0f4b8ce488e28ab9965ef83ad035.debug vs.

./usr/lib/debug/.build-id/17/1c75bc674211407073b35ab48fb3dc66779825.debug ¶

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

⊟

887 B

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

⊟

3.48 KB

readelf --wide --sections {} ¶

⊟

430 B

readelf --wide --notes {} ¶

⊟

16.1 MB

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

⊟

1.04 KB

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

⊟

7.79 KB

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

⊟

1.76 MB

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


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

1	·ea11a0c5bf0073d3040704f5e42add36·1886524·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
2	·de1670d00e1976635c6d131aa941d112·107444·math·optional·cvc5_1.1.2-2_amd64.deb
3	·e1b73c321e30e9b69c9a02b0fe680584·183024284·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
4	·2~~f432~~4~~d84~~e~~cedb87f17~~058~~ebe5~~9~~39dcd~~·~~6694~~392·libs·optional·~~lib~~cvc5-1_1.1.2-2_amd64.deb	1	·03ef4b1debc41c93ca0b8004b1902006·1886304·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
		2	·aa14c288eb36480b35322a9bb5116a06·108224·math·optional·cvc5_1.1.2-2_amd64.deb
		3	·fd0a887ebeb178857b15eb2aee759f5f·183024368·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
		4	·1f2a95fd31e6a9de54c0d92adfccf764·6695696·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5	·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb	5	·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6	·0b~~305e~~31c5f056~~623d61~~89c~~449f1ef0b~~·4116~~440~~·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb	6	·bf6623bdcde5026de04ad8c69039397c·4116384·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
7	·9d26066386683c618e2818a5cc170af9·237284·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
8	·a0fbb7ddde5783ac96ff0964f1d20eec·2664372·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
9	·1~~c59~~7~~aac2~~9~~568d8~~af4d759a7cdb00c61·~~34044~~8·py~~thon~~·optional·~~python3-cvc5~~_1.1.2-2_amd64.deb	7	·7f0b17107783d93431ea64b56acdd80b·237588·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
		8	·8b067b443a6b744cfafe77642228f75b·2664320·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
		9	·f74ac794b433ca0e5c941431895968be·340328·python·optional·python3-cvc5_1.1.2-2_amd64.deb


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


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

1	Displaying·notes·found·in:·.note.gnu.property	1	Displaying·notes·found·in:·.note.gnu.property
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·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:·~~28f322~~ac499f4~~e466~~17e2331~~e3ba~~d12e784d9d99	6	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·c9df1aaf4c6ff84bbee1b0e83213632d120889a9

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


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

1	Hex·dump·of·section·'.gnu_debuglink':	1	Hex·dump·of·section·'.gnu_debuglink':
2	··0x00000000·66333232·61633439·39663465·34363631·f322ac499f4e4661
3	··0x00000010·37653~~233~~·33316533·62616431·326~~53738~~·~~7e2331e3bad12e78~~	2	··0x00000000·64663161·61663463·36666638·34626265·df1aaf4c6ff84bbe
		3	··0x00000010·65316230·65383332·31333633·32643132·e1b0e83213632d12
4	··0x00000020·3~~464~~3~~964~~·39392e64·65627567·00000000·~~4d9d9~~9.debug....	4	··0x00000020·30383839·61392e64·65627567·00000000·0889a9.debug....
5	··0x00000030·~~17890c4f~~····························...O	5	··0x00000030·f1ffa8b1····························....


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


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

1	Displaying·notes·found·in:·.note.gnu.build-id	1	Displaying·notes·found·in:·.note.gnu.build-id
2	··Owner················Data·size·» Description	2	··Owner················Data·size·» Description
3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·0~~11bdd460~~3f~~de98a863~~f2~~999~~7abba9~~9d0a~~f64a0d	3	··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·4a053cef3520471edfa4a7bbe95122ef3589eae6


Offset 668316, 19 lines modified		Offset 668316, 19 lines modified
668316	» movl···$0x52,0xd20(%rsp)	668316	» movl···$0x52,0xd20(%rsp)
668317	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668317	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668318	» lea····0xd50(%rsp),%rdi	668318	» lea····0xd50(%rsp),%rdi
668319	» lea····0x12d29f9(%rip),%rsi········	668319	» lea····0x12d29f9(%rip),%rsi········
668320	» movl···$0x53,0xd48(%rsp)	668320	» movl···$0x53,0xd48(%rsp)
668321	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668321	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668322	» lea····0xd78(%rsp),%rdi	668322	» lea····0xd78(%rsp),%rdi
668323	» lea····0x12d~~3cb5~~(%rip),%rsi········	668323	» lea····0x12d0ea8(%rip),%rsi········
668324	» movl···$0x54,0xd70(%rsp)	668324	» movl···$0x54,0xd70(%rsp)
668325	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668325	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668326	» lea····0xda0(%rsp),%rdi	668326	» lea····0xda0(%rsp),%rdi
668327	» lea····0x12d~~0e89~~(%rip),%rsi········	668327	» lea····0x12d3c96(%rip),%rsi········
668328	» movl···$0x55,0xd98(%rsp)	668328	» movl···$0x55,0xd98(%rsp)
668329	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668329	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668330	» lea····0xdc8(%rsp),%rdi	668330	» lea····0xdc8(%rsp),%rdi
668331	» lea····0x12d04c2(%rip),%rsi········	668331	» lea····0x12d04c2(%rip),%rsi········
668332	» movl···$0x55,0xdc0(%rsp)	668332	» movl···$0x55,0xdc0(%rsp)
668333	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668333	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668334	» lea····0xdf0(%rsp),%rdi	668334	» lea····0xdf0(%rsp),%rdi
Offset 668956, 19 lines modified		Offset 668956, 19 lines modified
668956	» movl···$0xec,0x2620(%rsp)	668956	» movl···$0xec,0x2620(%rsp)
668957	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668957	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668958	» lea····0x2650(%rsp),%rdi	668958	» lea····0x2650(%rsp),%rdi
668959	» lea····0x12cfe28(%rip),%rsi········	668959	» lea····0x12cfe28(%rip),%rsi········
668960	» movl···$0xed,0x2648(%rsp)	668960	» movl···$0xed,0x2648(%rsp)
668961	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668961	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668962	» lea····0x2678(%rsp),%rdi	668962	» lea····0x2678(%rsp),%rdi
668963	» lea····0x12cfe1e(%rip),%rsi········	668963	» lea····0x12cfa9e(%rip),%rsi········
668964	» movl···$0xee,0x2670(%rsp)	668964	» movl···$0xee,0x2670(%rsp)
668965	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668965	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668966	» lea····0x26a0(%rsp),%rdi	668966	» lea····0x26a0(%rsp),%rdi
668967	» lea····0x12cfa7f(%rip),%rsi········	668967	» lea····0x12cfdff(%rip),%rsi········
668968	» movl···$0xef,0x2698(%rsp)	668968	» movl···$0xef,0x2698(%rsp)
668969	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668969	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668970	» lea····0x26c8(%rsp),%rdi	668970	» lea····0x26c8(%rsp),%rdi
668971	» lea····0x12cfdf3(%rip),%rsi········	668971	» lea····0x12cfdf3(%rip),%rsi········
668972	» movl···$0xef,0x26c0(%rsp)	668972	» movl···$0xef,0x26c0(%rsp)
668973	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	668973	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668974	» lea····0x26f0(%rsp),%rdi	668974	» lea····0x26f0(%rsp),%rdi
Offset 669340, 19 lines modified		Offset 669340, 19 lines modified
669340	» movl···$0x148,0x3520(%rsp)	669340	» movl···$0x148,0x3520(%rsp)
669341	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669341	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669342	» lea····0x3550(%rsp),%rdi	669342	» lea····0x3550(%rsp),%rdi
669343	» lea····0x12cf510(%rip),%rsi········	669343	» lea····0x12cf510(%rip),%rsi········
669344	» movl···$0x149,0x3548(%rsp)	669344	» movl···$0x149,0x3548(%rsp)
669345	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669345	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669346	» lea····0x3578(%rsp),%rdi	669346	» lea····0x3578(%rsp),%rdi
669347	» lea····0x12c~~7622~~(%rip),%rsi········	669347	» lea····0x12cf506(%rip),%rsi········
669348	» movl···$0x14a,0x3570(%rsp)	669348	» movl···$0x14a,0x3570(%rsp)
669349	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669349	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669350	» lea····0x35a0(%rsp),%rdi	669350	» lea····0x35a0(%rsp),%rdi
669351	» lea····0x12c~~f4e7~~(%rip),%rsi········	669351	» lea····0x12c7603(%rip),%rsi········
669352	» movl···$0x14b,0x3598(%rsp)	669352	» movl···$0x14b,0x3598(%rsp)
669353	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669353	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669354	» lea····0x35c8(%rsp),%rdi	669354	» lea····0x35c8(%rsp),%rdi
669355	» lea····0x12d0c86(%rip),%rsi········	669355	» lea····0x12d0c86(%rip),%rsi········
669356	» movl···$0x14b,0x35c0(%rsp)	669356	» movl···$0x14b,0x35c0(%rsp)
669357	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>	669357	» call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669358	» lea····0x35f0(%rsp),%rdi	669358	» lea····0x35f0(%rsp),%rdi
Offset 4194296, 8 lines modified		Offset 4194296, 8 lines modified
4194296	» cmp····%rbx,-0x188(%rbp)	4194296	» cmp····%rbx,-0x188(%rbp)
4194297	» je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>	4194297	» je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>
4194298	./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591	4194298	./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194299	» mov····(%rbx),%rsi	4194299	» mov····(%rbx),%rsi
4194300	./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058	4194300	./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058
4194301	» mov····(%r12),%rdi	4194301	» mov····(%r12),%rdi
4194302	./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591	4194302	./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194303	[·Too·much·input·for·diff·(SHA256:·~~1ab1e1~~9~~1d5ab5d598ce412~~41~~cd0~~31~~0551~~3~~3cf0c5d2~~c~~5744~~c~~cd07d~~596f~~3bbfd16~~)·]	4194303	[·Too·much·input·for·diff·(SHA256:·98045f0907e6311046960014f7b3148663256b66b19c2a17ce1af45d607f2bce)·]


Offset 5, 8 lines modified		Offset 5, 8 lines modified
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·2090	7	Installed-Size:·2090
8	Depends:·cvc5·(=·1.1.2-2)	8	Depends:·cvc5·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Description:·debug·symbols·for·cvc5	11	Description:·debug·symbols·for·cvc5
12	Build-Ids:·~~28f322~~ac499f4~~e466~~17e2331~~e3ba~~d12e784d9d99	12	Build-Ids:·c9df1aaf4c6ff84bbee1b0e83213632d120889a9


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/28/~~f322~~ac499f4~~e466~~17e2331~~e3ba~~d12e784d9d99.debug	1	usr/lib/debug/.build-id/c9/df1aaf4c6ff84bbee1b0e83213632d120889a9.debug


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/28/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c9/
7	-rw-r--r--···0·root·········(0)·root·········(0)··212~~9024~~·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/28/~~f322~~ac499f4~~e466~~17e2331~~e3ba~~d12e784d9d99.debug	7	-rw-r--r--···0·root·········(0)·root·········(0)··2128960·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c9/df1aaf4c6ff84bbee1b0e83213632d120889a9.debug
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/	9	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5	10	lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcvc5-1-dbgsym	1	Package:·libcvc5-1-dbgsym
2	Source:·cvc5	2	Source:·cvc5
3	Version:·1.1.2-2	3	Version:·1.1.2-2
4	Auto-Built-Package:·debug-symbols	4	Auto-Built-Package:·debug-symbols
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·182619	7	Installed-Size:·182617
8	Depends:·libcvc5-1·(=·1.1.2-2)	8	Depends:·libcvc5-1·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5-1	12	Description:·debug·symbols·for·libcvc5-1
13	Build-Ids:·0~~11bdd460~~3f~~de98a863~~f2~~999~~7abba9~~9d0a~~f64a0d	13	Build-Ids:·4a053cef3520471edfa4a7bbe95122ef3589eae6


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/01/1~~bdd460~~3f~~de98a863~~f2~~999~~7abba9~~9d0a~~f64a0d.debug	1	usr/lib/debug/.build-id/4a/053cef3520471edfa4a7bbe95122ef3589eae6.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:··········18698~~8296~~·(bytes·into·file)	13	··Start·of·section·headers:··········186986728·(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·0xb253708:	1	There·are·40·section·headers,·starting·at·offset·0xb2530e8:

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modified		Offset 27, 23 lines modified
27	··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·32	27	··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·32
28	··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8	28	··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8
29	··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8	29	··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8
30	··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32	30	··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32
31	··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·32	31	··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·32
32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1	32	··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··8	33	··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··8
34	··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·8815~~d80~~·00···C··0···0··8	34	··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·8815736·00···C··0···0··8
35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8823~~c58~~·0dc9ab·00···C··0···0··8	35	··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8823610·0dc9ab·00···C··0···0··8
36	··[31]·.debug_line·······PROGBITS········0000000000000000·8~~900608~~·8726d8·00···C··0···0··8	36	··[31]·.debug_line·······PROGBITS········0000000000000000·88fffc0·8726d8·00···C··0···0··8
37	··[32]·.debug_str········PROGBITS········0000000000000000·9172~~ce0~~·3e0075·01·MSC··0···0··8	37	··[32]·.debug_str········PROGBITS········0000000000000000·9172698·3e0072·01·MSC··0···0··8
38	··[33]·.debug_line_str···PROGBITS········0000000000000000·9552~~d58~~·0028d5·01·MSC··0···0··8	38	··[33]·.debug_line_str···PROGBITS········0000000000000000·9552710·0028d5·01·MSC··0···0··8
39	··[34]·.debug_loclists···PROGBITS········0000000000000000·955~~5630~~·12960c0·00···C··0···0··8	39	··[34]·.debug_loclists···PROGBITS········0000000000000000·9554fe8·12960be·00···C··0···0··8
40	··[35]·.debug_macro······PROGBITS········0000000000000000·a7eb~~6f0~~·16a~~5d7~~·00···C··0···0··8	40	··[35]·.debug_macro······PROGBITS········0000000000000000·a7eb0a8·16a600·00···C··0···0··8
41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a955cc8·585e55·00···C··0···0··8	41	··[36]·.debug_rnglists···PROGBITS········0000000000000000·a9556a8·585e55·00···C··0···0··8
42	··[37]·.symtab···········SYMTAB··········0000000000000000·aedbb20·0ca1a0·18·····38·31780··8	42	··[37]·.symtab···········SYMTAB··········0000000000000000·aedb500·0ca1a0·18·····38·31780··8
43	··[38]·.strtab···········STRTAB··········0000000000000000·afa5cc0·2ad8b5·00······0···0··1	43	··[38]·.strtab···········STRTAB··········0000000000000000·afa56a0·2ad8b5·00······0···0··1
44	··[39]·.shstrtab·········STRTAB··········0000000000000000·b25~~357~~5·000191·00······0···0··1	44	··[39]·.shstrtab·········STRTAB··········0000000000000000·b252f55·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, 27 lines modified		Offset 8, 27 lines modified
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)	9	·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0	10	····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11	····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·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:·29·(DW_TAG_base_type)	12	·<1><15>:·Abbrev·Number:·29·(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:·0x1608e):·long·int	15	····<18>···DW_AT_name········:·(strp)·(offset:·0x160a8):·long·int
16	·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)	16	·<1><1c>:·Abbrev·Number:·29·(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:·0xea17):·long·unsigned·int	19	····<1f>···DW_AT_name········:·(strp)·(offset:·0xea17):·long·unsigned·int
20	·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type)	20	·<1><23>:·Abbrev·Number:·29·(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:·0x1ad64):·unsigned·char	23	····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad64):·unsigned·char
24	·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)	24	·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)
25	····<2b>···DW_AT_byte_size···:·(data1)·2	25	····<2b>···DW_AT_byte_size···:·(data1)·2
26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)	26	····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned)
27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x12~~7f5~~):·short·unsigned·int	27	····<2d>···DW_AT_name········:·(strp)·(offset:·0x1280f):·short·unsigned·int
28	·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type)	28	·<1><31>:·Abbrev·Number:·29·(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:·0xc7b8):·unsigned·int	31	····<34>···DW_AT_name········:·(strp)·(offset:·0xc7b8):·unsigned·int
32	·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)	32	·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)
33	····<39>···DW_AT_byte_size···:·(data1)·1	33	····<39>···DW_AT_byte_size···:·(data1)·1
34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)	34	····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char)
Offset 100, 15 lines modified		Offset 100, 15 lines modified
100	·<1><b8>:·Abbrev·Number:·29·(DW_TAG_base_type)	100	·<1><b8>:·Abbrev·Number:·29·(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:·0x1ff56):·char32_t	103	····<bb>···DW_AT_name········:·(strp)·(offset:·0x1ff56):·char32_t
104	·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)	104	·<1><bf>:·Abbrev·Number:·29·(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:·0x14164):·__int128	107	····<c2>···DW_AT_name········:·(strp)·(offset:·0x1417e):·__int128
108	·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)	108	·<1><c6>:·Abbrev·Number:·29·(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:·0x236e8):·__int128·unsigned	111	····<c9>···DW_AT_name········:·(strp)·(offset:·0x236e8):·__int128·unsigned
112	·<1><cd>:·Abbrev·Number:·0	112	·<1><cd>:·Abbrev·Number:·0
113	··Compilation·Unit·@·offset·0xce:	113	··Compilation·Unit·@·offset·0xce:
114	···Length:········0x1006·(32-bit)	114	···Length:········0x1006·(32-bit)
Offset 807, 29 lines modified		Offset 807, 29 lines modified
807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f16f):·_IO_read_end	807	····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f16f):·_IO_read_end
808	····<45e>···DW_AT_decl_file···:·(data1)·69	808	····<45e>···DW_AT_decl_file···:·(data1)·69
809	····<45f>···DW_AT_decl_line···:·(data1)·56	809	····<45f>···DW_AT_decl_line···:·(data1)·56
810	····<460>···DW_AT_decl_column·:·(data1)·9	810	····<460>···DW_AT_decl_column·:·(data1)·9
811	····<461>···DW_AT_type········:·(ref_udata)·<0x13d>	811	····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812	····<462>···DW_AT_data_member_location:·(data1)·16	812	····<462>···DW_AT_data_member_location:·(data1)·16
813	·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)	813	·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814	····<464>···DW_AT_name········:·(strp)·(offset:·0x10623):·_IO_read_base	814	····<464>···DW_AT_name········:·(strp)·(offset:·0x1063d):·_IO_read_base
815	····<468>···DW_AT_decl_file···:·(data1)·69	815	····<468>···DW_AT_decl_file···:·(data1)·69
816	····<469>···DW_AT_decl_line···:·(data1)·57	816	····<469>···DW_AT_decl_line···:·(data1)·57
817	····<46a>···DW_AT_decl_column·:·(data1)·9	817	····<46a>···DW_AT_decl_column·:·(data1)·9
818	····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>	818	····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819	····<46c>···DW_AT_data_member_location:·(data1)·24	819	····<46c>···DW_AT_data_member_location:·(data1)·24
820	·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)	820	·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821	····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base	821	····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base
822	····<472>···DW_AT_decl_file···:·(data1)·69	822	····<472>···DW_AT_decl_file···:·(data1)·69
823	····<473>···DW_AT_decl_line···:·(data1)·58	823	····<473>···DW_AT_decl_line···:·(data1)·58
824	····<474>···DW_AT_decl_column·:·(data1)·9	824	····<474>···DW_AT_decl_column·:·(data1)·9
825	····<475>···DW_AT_type········:·(ref_udata)·<0x13d>	825	····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826	····<476>···DW_AT_data_member_location:·(data1)·32	826	····<476>···DW_AT_data_member_location:·(data1)·32
827	·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)	827	·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828	····<478>···DW_AT_name········:·(strp)·(offset:·0xfccb):·_IO_write_ptr	828	····<478>···DW_AT_name········:·(strp)·(offset:·0xfce5):·_IO_write_ptr
829	····<47c>···DW_AT_decl_file···:·(data1)·69	829	····<47c>···DW_AT_decl_file···:·(data1)·69
830	····<47d>···DW_AT_decl_line···:·(data1)·59	830	····<47d>···DW_AT_decl_line···:·(data1)·59
831	····<47e>···DW_AT_decl_column·:·(data1)·9	831	····<47e>···DW_AT_decl_column·:·(data1)·9
832	····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>	832	····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833	····<480>···DW_AT_data_member_location:·(data1)·40	833	····<480>···DW_AT_data_member_location:·(data1)·40
834	·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)	834	·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835	····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end	835	····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end
Offset 842, 36 lines modified		Offset 842, 36 lines modified
842	····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base	842	····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base
843	····<490>···DW_AT_decl_file···:·(data1)·69	843	····<490>···DW_AT_decl_file···:·(data1)·69
844	····<491>···DW_AT_decl_line···:·(data1)·61	844	····<491>···DW_AT_decl_line···:·(data1)·61
845	····<492>···DW_AT_decl_column·:·(data1)·9	845	····<492>···DW_AT_decl_column·:·(data1)·9
846	····<493>···DW_AT_type········:·(ref_udata)·<0x13d>	846	····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847	····<494>···DW_AT_data_member_location:·(data1)·56	847	····<494>···DW_AT_data_member_location:·(data1)·56
848	·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)	848	·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849	····<496>···DW_AT_name········:·(strp)·(offset:·0x15~~3ff~~):·_IO_buf_end	849	····<496>···DW_AT_name········:·(strp)·(offset:·0x15419):·_IO_buf_end
850	····<49a>···DW_AT_decl_file···:·(data1)·69	850	····<49a>···DW_AT_decl_file···:·(data1)·69
851	····<49b>···DW_AT_decl_line···:·(data1)·62	851	····<49b>···DW_AT_decl_line···:·(data1)·62
852	····<49c>···DW_AT_decl_column·:·(data1)·9	852	····<49c>···DW_AT_decl_column·:·(data1)·9
853	····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>	853	····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854	····<49e>···DW_AT_data_member_location:·(data1)·64	854	····<49e>···DW_AT_data_member_location:·(data1)·64
855	·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)	855	·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856	····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base	856	····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base
857	····<4a4>···DW_AT_decl_file···:·(data1)·69	857	····<4a4>···DW_AT_decl_file···:·(data1)·69
858	····<4a5>···DW_AT_decl_line···:·(data1)·65	858	····<4a5>···DW_AT_decl_line···:·(data1)·65
859	····<4a6>···DW_AT_decl_column·:·(data1)·9	859	····<4a6>···DW_AT_decl_column·:·(data1)·9
860	····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>	860	····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861	····<4a8>···DW_AT_data_member_location:·(data1)·72	861	····<4a8>···DW_AT_data_member_location:·(data1)·72
862	·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)	862	·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863	····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10~~eea~~):·_IO_backup_base	863	····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f04):·_IO_backup_base
864	····<4ae>···DW_AT_decl_file···:·(data1)·69	864	····<4ae>···DW_AT_decl_file···:·(data1)·69
865	····<4af>···DW_AT_decl_line···:·(data1)·66	865	····<4af>···DW_AT_decl_line···:·(data1)·66
866	····<4b0>···DW_AT_decl_column·:·(data1)·9	866	····<4b0>···DW_AT_decl_column·:·(data1)·9
867	····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>	867	····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868	····<4b2>···DW_AT_data_member_location:·(data1)·80	868	····<4b2>···DW_AT_data_member_location:·(data1)·80
869	·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)	869	·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870	····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d1d):·_IO_save_end	870	····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d37):·_IO_save_end
871	····<4b8>···DW_AT_decl_file···:·(data1)·69	871	····<4b8>···DW_AT_decl_file···:·(data1)·69
872	····<4b9>···DW_AT_decl_line···:·(data1)·67	872	····<4b9>···DW_AT_decl_line···:·(data1)·67
873	····<4ba>···DW_AT_decl_column·:·(data1)·9	873	····<4ba>···DW_AT_decl_column·:·(data1)·9
874	····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>	874	····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875	····<4bc>···DW_AT_data_member_location:·(data1)·88	875	····<4bc>···DW_AT_data_member_location:·(data1)·88
876	·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)	876	·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877	····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers	877	····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers
Offset 884, 58 lines modified		Offset 884, 58 lines modified
884	····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac82):·_chain	884	····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac82):·_chain
885	····<4cd>···DW_AT_decl_file···:·(data1)·69	885	····<4cd>···DW_AT_decl_file···:·(data1)·69
886	····<4ce>···DW_AT_decl_line···:·(data1)·71	886	····<4ce>···DW_AT_decl_line···:·(data1)·71
887	····<4cf>···DW_AT_decl_column·:·(data1)·20	887	····<4cf>···DW_AT_decl_column·:·(data1)·20
888	····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>	888	····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889	····<4d2>···DW_AT_data_member_location:·(data1)·104	889	····<4d2>···DW_AT_data_member_location:·(data1)·104
890	·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)	890	·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891	····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fce):·_fileno	891	····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fe8):·_fileno
892	····<4d8>···DW_AT_decl_file···:·(data1)·69	892	····<4d8>···DW_AT_decl_file···:·(data1)·69
893	····<4d9>···DW_AT_decl_line···:·(data1)·73	893	····<4d9>···DW_AT_decl_line···:·(data1)·73
894	····<4da>···DW_AT_decl_column·:·(data1)·7	894	····<4da>···DW_AT_decl_column·:·(data1)·7
895	····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int	895	····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896	····<4df>···DW_AT_data_member_location:·(data1)·112	896	····<4df>···DW_AT_data_member_location:·(data1)·112
897	·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)	897	·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898	····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c249):·_flags2	898	····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c249):·_flags2
899	····<4e5>···DW_AT_decl_file···:·(data1)·69	899	····<4e5>···DW_AT_decl_file···:·(data1)·69
Max diff block lines reached; 25374023/25381125 bytes (99.97%) of diff not shown.


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·31626464·34363033·66646539·38613836·1bdd4603fde98a86
3	··0x00000010·33663239·~~3939~~3~~761~~·62~~6261~~39·396~~430~~61·~~3f29997abba99d0a~~	2	··0x00000000·30353363·65663335·32303437·31656466·053cef3520471edf
		3	··0x00000010·61346137·62626539·35313232·65663335·a4a7bbe95122ef35
4	··0x00000020·663~~634~~61·~~3064~~2e64·65627567·00000000·~~f64~~a0d.debug....	4	··0x00000020·38396561·65362e64·65627567·00000000·89eae6.debug....
5	··0x00000030·~~0aca981b~~····························....	5	··0x00000030·b67864d4····························.xd.


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·66653631·30333930·38336235·61656165·fe61039083b5aeae
3	··0x00000010·~~6262~~3437·6~~5666633~~·663~~86435~~·32363563·~~bb47eff3f8d5265~~c	2	··0x00000000·30353234·63313462·32313962·33666163·0524c14b219b3fac
		3	··0x00000010·63303930·61623137·33313665·38383361·c090ab17316e883a
4	··0x00000020·6~~1613138~~·3~~562~~2e64·65627567·00000000·~~aa185b~~.debug....	4	··0x00000020·66386264·36372e64·65627567·00000000·f8bd67.debug....
5	··0x00000030·~~7b155615~~····························~~{.V~~.	5	··0x00000030·923d1e9b····························.=..


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·62656630·36663633·63653066·34623863·bef06f63ce0f4b8c
3	··0x00000010·~~6534~~3838·6~~532~~3~~861~~·62393936·3~~56566~~38·~~e488e28ab9965ef8~~	2	··0x00000000·31633735·62633637·34323131·34303730·1c75bc6742114070
		3	··0x00000010·37336233·35616234·38666233·64633636·73b35ab48fb3dc66
4	··0x00000020·3~~36164~~30·33352e64·65627567·00000000·~~3ad03~~5.debug....	4	··0x00000020·37373938·32352e64·65627567·00000000·779825.debug....
5	··0x00000030·~~9e427e84~~····························.B~.	5	··0x00000030·f519aa0c····························....


Offset 1568, 16 lines modified		Offset 1568, 16 lines modified
1568	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1568	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1569	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1569	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1570	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1570	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1571	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1571	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1572	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	1572	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1573	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1573	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1574	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1574	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1575	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1575	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1576	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1576	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

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

1580	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1580	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1581	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1581	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52751, 16 lines modified		Offset 52751, 16 lines modified
52751	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	52751	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52752	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	52752	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52753	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	52753	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52754	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	52754	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52755	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	52755	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52756	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	52756	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52757	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	52757	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52758	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	52758	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52759	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	52759	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

52760	··Offset:······················0x49155	52760	··Offset:······················0x49155
52761	··Version:·····················5	52761	··Version:·····················5
52762	··Offset·size:·················4	52762	··Offset·size:·················4

52763	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·	52763	·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52764	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·	52764	·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342749, 15 lines modified		Offset 1342749, 15 lines modified
1342749	·DW_MACRO_end_file	1342749	·DW_MACRO_end_file
1342750	·DW_MACRO_import·-·offset·:·0x52266	1342750	·DW_MACRO_import·-·offset·:·0x52266
1342751	·DW_MACRO_end_file	1342751	·DW_MACRO_end_file
1342752	·DW_MACRO_start_file·-·lineno:·49·filenum:·136	1342752	·DW_MACRO_start_file·-·lineno:·49·filenum:·136


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

4194297	····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:	4194297	····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:
4194298	·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))	4194298	·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))
4194299	····00c1aa84·<End·of·list>	4194299	····00c1aa84·<End·of·list>

4194300	····00c1aa85·v000000000000000·v000000000000000·location·view·pair	4194300	····00c1aa85·v000000000000000·v000000000000000·location·view·pair

4194301	[·Too·much·input·for·diff·(SHA256:·1~~873~~b1~~0192~~57da66~~c75d4e7f314~~e~~88a5~~2~~932~~6~~f2a~~425~~9ab~~ae220~~b717c7623bade~~)·]	4194301	[·Too·much·input·for·diff·(SHA256:·4d12a9bde0651a08e885b2959e63992fdc68e46425cecfaa3200d9a1580ef1c2)·]

+GCC:·(Debian·14.2.0-19)·14.2.0
+}ggfggy<
+O.P__\{e
+o3~c`moG}
+Fd~y_)K^%t
+#w{`~U=s;
+D;KY-|\B
+nZ`*^lh_|
+Zd^T&LrG%
+cj)!=vj·
+z)_{ivi5
+-QBv/NU4
+LG^n?AJL
+W5C<G{ZC
+pnNe*t87w
+Y0R>T6Ff
+rV=ZF-kU
+F/c!'(((
+En$_H:Hg
+{rW~Q{l-
+Wa}||}jw
+VwhJ,z^j
+[g$owOpV
+^d^i.)VM
+;$h07K5XQy
+IEGHo@G4~
+f0Pqe-:a
+Xdo4ne\>
+XRcj)!5vz·
+#=#Am1XB
+)HuJ`Am9
+M@~Uf3~s:Q
+<c6$@EPb(@E
+##MRYv~c
+`p-$rw8_
+Hr#)$fqs
+OkTR"2)»
+K;2eo+O$
+S+\;5ic(T
+nMyqknbA
+nKyq[nRA
+N7lz%Yvl
+G96}c$3?
+&9W$7Jvd,
+V:_ES5K?`
+/i6%)4H&
+);s[56#*
+AZZUUd#2
+Jg=wB~Zn
+{""YG#c*
+Q$`F*l$;H
+I(V,G25c
+gIE4w<jG
+eWO34nZb
+/8K{w7FO"
+&<&/u=*}
+R/cd·;mj]B
+sWqgy1ETJM
+dVY0mbeM
+vuJ»    l8tc0
+L^P,O$nJ=
+,?&{zA?M
+^Pl#_O/(
+:n@9mQPN
+^I9-UCT()
+VI9-f+i_
+RN39PN[\)
+PRNC6M!t
+rZ»     IQ/QN
+D9]*RNK-p
+cF%9?d#{
+Rh,+]1||
+-h8Q"%a;
+YFoM$iG1
+|o!+[fuX
+R209X1rW
+OY/REY2b
+-PG[sk$*
+$|9^<,4@D
+p\,ZV_fM
+Ijhfm1IR
+/Ym$Oj0E
+sp@xx0Or
+KVq<h&2"
+Q::HRN<KD
+%+JR,BwlOuY
+rACNm#(S
+$BS,s-zzjHT^
+GMHr@»  Jr
+{|h%O(» 3"<
+GTUBiaC%
+de?a(w)~
+zD0JSQ!SN
+CI+NuQ?ME
+zS{):?y3T
+.exY#TJ?
+w(|"+]1||
+,2hTj-Fv
+e~O>$U>bp
+Gu5VmyMv
+W^KtQ\KA,w
+&v;nEMp
+_,\I}Wr~q
+»       vW{Tn?,W
+Qp\+:2z#
+qz|@T5(X6N
+·ai}$A%Z
+f<K5?I3?K
+}Gpr&E#g
+"@)B/}IR*
+^va'I7aO
+cH.XnI#$
+&uees\Yi
+(K+M](K
+t9U?S!b
+pCemulp`
+x<·{WIve
+c^·_t%T\
+c(·2"l;CW
+]V7,H"?%
+]Z<yF$^n
+Uk3`S{Jn
+):,yRrH
+!8nH·F
+o,3aukEu
+}m|mn|Q0>
+rL>%'Ms4


Offset 259, 30 lines modified		Offset 259, 30 lines modified
259	··[··2521]··_M_guarded	259	··[··2521]··_M_guarded
260	··[··252c]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8	260	··[··252c]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
261	··[··254c]··__FLT64X_DIG__·18	261	··[··254c]··__FLT64X_DIG__·18
262	··[··255e]··wcstombs	262	··[··255e]··wcstombs
263	··[··2567]··_S_noreplace	263	··[··2567]··_S_noreplace
264	··[··2574]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))	264	··[··2574]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
265	··[··25a7]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name	265	··[··25a7]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
266	··[··25ce]··DEB_BUILD_DATE·"2024-03-18"
267	··[··25ea]··_GLIBCXX_SIZED_DEALLOC(T,p,n)·(p),·(n)·*·sizeof(T)	266	··[··25ce]··_GLIBCXX_SIZED_DEALLOC(T,p,n)·(p),·(n)·*·sizeof(T)
268	··[··261d]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32	267	··[··2601]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32
269	··[··265f]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)	268	··[··2643]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)
270	··[··2797]··_GLIBCXX_HAVE_WCHAR_H·1	269	··[··277b]··_GLIBCXX_HAVE_WCHAR_H·1
271	··[··27af]··CVC5_PROOF_FORMAT_ALF	270	··[··2793]··CVC5_PROOF_FORMAT_ALF
272	··[··27c5]··__glibcxx_requires_irreflexive(_First,_Last)·	271	··[··27a9]··__glibcxx_requires_irreflexive(_First,_Last)·
273	··[··27f3]··__cpp_initializer_lists·200806L	272	··[··27d7]··__cpp_initializer_lists·200806L
274	··[··2~~813~~]··__glibcxx_want_map_try_emplace·	273	··[··27f7]··__glibcxx_want_map_try_emplace·
275	··[··2833]··__glibcxx_map_try_emplace·201411L	274	··[··2817]··__glibcxx_map_try_emplace·201411L
276	··[··2855]··CVC5_KIND_BAG_UNION_DISJOINT	275	··[··2839]··CVC5_KIND_BAG_UNION_DISJOINT
277	··[··2872]··__FLT16_MAX_10_EXP__·4	276	··[··2856]··__FLT16_MAX_10_EXP__·4
278	··[··2889]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128	277	··[··286d]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128
279	··[··28cf]··__glibcxx_want_constexpr_memory·	278	··[··28b3]··__glibcxx_want_constexpr_memory·
280	··[··28f0]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv	279	··[··28d4]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
281	··[··2935]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv	280	··[··2919]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
		281	··[··2963]··DEB_BUILD_DATE·"2024-03-19"
282	··[··297f]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))	282	··[··297f]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))
283	··[··2a88]··_GLIBCXX_USE_NANOSLEEP·1	283	··[··2a88]··_GLIBCXX_USE_NANOSLEEP·1
284	··[··2aa1]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_	284	··[··2aa1]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
285	··[··2adf]··__FLT32_HAS_INFINITY__·1	285	··[··2adf]··__FLT32_HAS_INFINITY__·1
286	··[··2af8]··__swappable_with_details	286	··[··2af8]··__swappable_with_details
287	··[··2b11]··tolower	287	··[··2b11]··tolower
288	··[··2b19]··streampos	288	··[··2b19]··streampos
Offset 1770, 1287 lines modified		Offset 1770, 1287 lines modified
1770	··[··f190]··EPERM·1	1770	··[··f190]··EPERM·1
1771	··[··f198]··__glibcxx_want_shared_timed_mutex	1771	··[··f198]··__glibcxx_want_shared_timed_mutex
1772	··[··f1ba]··CVC5_KIND_NULLABLE_LIFT	1772	··[··f1ba]··CVC5_KIND_NULLABLE_LIFT
1773	··[··f1d2]··_VA_LIST_·	1773	··[··f1d2]··_VA_LIST_·
1774	··[··f1dd]··__x86_64·1	1774	··[··f1dd]··__x86_64·1
1775	··[··f1e8]··__LC_TELEPHONE·10	1775	··[··f1e8]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1273 lines added, 1273 lines removed)
1776	··[··f1fa]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_	1776	··[··f1fa]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1777	··[··f235]··~~_ZNSt7__cxx1112basic~~_~~stri~~ngI~~cSt11ch~~ar_~~traitsIcES~~aI~~cEE5eras~~eE~~N9__gnu_c~~xx1~~7__normal_iteratorIPKcS4_EE~~	1777	··[··f235]··DEB_BUILD_TIME·"14:06:23"
1778	··[··f299]··~~CPU~~_~~COUNT(cpu~~set~~p)·__CPU~~_~~COUNT_~~S~~·(siz~~e~~of·(cp~~u_~~set~~_~~t),·cpus~~etp)	1778	··[··f24f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1779	··[··f2d8]··__S~~SE2~~__·1	1779	··[··f2b3]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1780	··[··f2e3]··~~_ZN9_~~_~~gnu~~_~~cxx~~2~~1__default~~_~~lock~~_~~polic~~yE	1780	··[··f2f2]··__SSE2__·1
1781	··[··f~~309~~]··msg_prefix	1781	··[··f2fd]··_ZN9__gnu_cxx21__default_lock_policyE
1782	··[··f314]··~~INT_LEAST64_MIN~~·~~(-__INT64~~_~~C(9223372036854775807)-1)~~	1782	··[··f323]··msg_prefix
1783	··[··f348]··_ZNSiC4Ev	1783	··[··f32e]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1784	··[··f352]··_~~GLIBCXX~~_USE_SC~~HED_Y~~IE~~LD·~~1	1784	··[··f362]··_ZNSiC4Ev
1785	··[··f36d]··__EXCE~~PTION_H~~·1	1785	··[··f36c]··_GLIBCXX_USE_SCHED_YIELD·1
1786	··[··f37d]··~~INT~~_~~LEAST64~~_MAX~~·(__~~INT64_~~C(9223372036854775807))~~	1786	··[··f387]··__EXCEPTION_H·1
1787	··[··f3ae]··~~_ZSt8distanceIPKc~~ENSt1~~5iterator~~_~~traitsI~~T~~_E15difference_typeES3_S3_~~	1787	··[··f397]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1788	··[··f3f1]··_~~_gl~~ibcxx_want_formatters	1788	··[··f3c8]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1789	··[··f40b]··__~~CPU_ISSET_S(cpu,se~~tsize,c~~pusetp)·(__e~~x~~tension__·({·size_t·__cpu·=·(cpu);·~~__~~cpu·/·8·<·(setsize)·?·((((~~const·__c~~pu_~~ma~~sk·*)·((cpuse~~t~~p)->__bi~~t~~s))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))~~	1789	··[··f40b]··__glibcxx_want_formatters
1790	··[··f4d1]··~~EVAL~~UE(name)·~~CVC5~~_~~BLOCK~~_~~MOD~~ELS_M~~ODE~~_·~~##name~~	1790	··[··f425]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))
1791	··[··f4fd]··~~__glibcxx~~_~~want~~_~~quoted~~_~~string_io~~	1791	··[··f4eb]··EVALUE(name)·CVC5_BLOCK_MODELS_MODE_·##name
1792	··[··f51d]··_~~ZNSaI~~cEa~~SERKS~~_	1792	··[··f517]··__glibcxx_want_quoted_string_io
1793	··[··f52d]··~~CVC5~~_KIN~~D_FLO~~ATING~~POINT_I~~S_~~NAN~~	1793	··[··f537]··_ZNSaIcEaSERKS_
1794	··[··f54c]··~~_ZNKSt17basic_string~~_~~vie~~wI~~cSt11ch~~ar_t~~raits~~I~~cEE16find_last~~_not_~~ofES2_m~~	1794	··[··f547]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1795	··[··f592]··__~~WORD~~S~~IZE~~_TIME64_~~COMPAT3~~2·1	1795	··[··f566]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m
1796	··[··f5af]··_Z~~NSt9exceptionD0Ev~~	1796	··[··f5ac]··__WORDSIZE_TIME64_COMPAT32·1
1797	··[··f5c3]··__~~glibcx~~x_~~wan~~t~~_semaphore~~	1797	··[··f5c9]··_ZNSt9exceptionD0Ev
1798	··[··f5dc]··~~CVC5_KIND~~_B~~ITVECTOR_SMULO~~	1798	··[··f5dd]··__glibcxx_want_semaphore
1799	··[··f5f6]··_~~GLIBCXX20~~_~~DEPR~~EC~~ATED·~~	1799	··[··f5f6]··CVC5_KIND_BITVECTOR_SMULO
1800	··[··f60d]··~~CVC5_KIND~~_SEQ~~_UPD~~ATE	1800	··[··f610]··_GLIBCXX20_DEPRECATED·
1801	··[··f622]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~S~~aIcE~~E~~6append~~E~~RKS4_mm~~	1801	··[··f627]··CVC5_KIND_SEQ_UPDATE
1802	··[··f667]··~~MOD~~_~~MAX~~E~~RROR·ADJ_MAX~~ER~~ROR~~	1802	··[··f63c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm
1803	··[··f681]··~~__PTHREAD_RW~~LOCK_~~INIT~~IALIZER~~(__flags)·0,·0,·0,·0,·0,·0,·0,·0,·__P~~THREAD~~_RWLOC~~K_~~ELISION~~_EXTR~~A,·0,·__flags~~	1803	··[··f681]··MOD_MAXERROR·ADJ_MAXERROR
1804	··[··f6ea]··_GLI~~BCXX~~_PARSE_N~~UMBE~~RS_~~H·1~~	1804	··[··f69b]··__PTHREAD_RWLOCK_INITIALIZER(__flags)·0,·0,·0,·0,·0,·0,·0,·0,·__PTHREAD_RWLOCK_ELISION_EXTRA,·0,·__flags
1805	··[··f705]··_GLIBCXX_CHARCONV_H·1	1805	··[··f704]··_GLIBCXX_PARSE_NUMBERS_H·1
1806	··[··f71b]··__GLIBC~~_USE_C23_STRTOL~~	1806	··[··f71f]··_GLIBCXX_CHARCONV_H·1
1807	··[··f732]··_GLIBCXX_MOVE_BAC~~KWAR~~D3~~(_Tp,_Up,_Vp)·std::move~~_~~backward(~~_T~~p,·_Up,·_Vp)~~	1807	··[··f735]··__GLIBC_USE_C23_STRTOL
1808	··[··f779]··CVC5_~~KIND~~_~~STRING~~_TO_~~CODE~~	1808	··[··f74c]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1809	··[··f792]··~~_ZNSt7__cxx1112basic~~_~~strin~~gI~~cSt11ch~~ar_~~traitsIcE~~SaI~~cEE12~~_~~All~~oc_~~hider~~C~~4EPcRKS3_~~	1809	··[··f793]··CVC5_KIND_STRING_TO_CODE
1810	··[··f7e0]··~~CVC5~~_~~LEARNED~~_LIT_~~TYP~~E~~_PR~~E~~PROCESS~~_~~SOLV~~ED	1810	··[··f7ac]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1811	··[··f~~808~~]··_~~GLIBCXX~~_~~HAV~~E_~~COM~~PLEX_~~H·1~~	1811	··[··f7fa]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1812	··[··f822]··~~7lldiv~~_t	1812	··[··f822]··_GLIBCXX_HAVE_COMPLEX_H·1
1813	··[··f82b]··~~_ZNSt~~7~~__cxx1112basic_stringIcSt11char_tra~~i~~tsIcESaIcEE9_~~M_~~muta~~t~~eEmmPKcm~~	1813	··[··f83c]··7lldiv_t
1814	··[··f872]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~5rfind~~EPKcmm	1814	··[··f845]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm
1815	··[··f8b5]··_ZN~~St6localeC4ERKS_R~~KNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi	1815	··[··f88c]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm
1816	··[··f~~900~~]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE~~7replace~~E~~mmPKc~~m	1816	··[··f8cf]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1817	··[··f945]··__EXCE~~PTIONS·1~~	1817	··[··f91a]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm
1818	··[··f954]··_~~GLIBCXX~~_A~~LWAYS_~~INLIN~~E·inlin~~e·~~__attribute__((__always_inline__)~~)	1818	··[··f95f]··__EXCEPTIONS·1
1819	··[··f995]··_~~ZNKSt7~~_~~_cxx1112basic_str~~in~~gIcS~~t~~11char_traitsIcESaIcEE5cr~~e~~ndEv~~	1819	··[··f96e]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1820	··[··f9d4]··~~CVC5~~_RM_~~ROUND~~_~~TOWARD_PO~~SI~~TIV~~E	1820	··[··f9af]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1821	··[··f9f2]··CVC5_~~LEA~~RNED_LIT~~_TYPE~~_~~INTERNAL~~	1821	··[··f9ee]··CVC5_RM_ROUND_TOWARD_POSITIVE
1822	··[··fa11]··~~__H~~AV~~E_F~~LOA~~T128_~~UN~~LIK~~E_LDBL·(__~~HAV~~E_~~DIST~~INCT_~~FLO~~A~~T128·&&·__LDB~~L~~_MANT_DIG__·!=·113)~~	1822	··[··fa0c]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1823	··[··fa64]··__~~glibcxx~~_~~unordered~~_~~map~~_~~try~~_~~emplace~~·~~2014~~11L	1823	··[··fa2b]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1824	··[··fa90]··_____fpos_t_de~~fined·~~1	1824	··[··fa7e]··__glibcxx_unordered_map_try_emplace·201411L
1825	··[··faa6]··~~CVC5~~_K~~IND~~_~~INST~~_~~ADD_TO_POOL~~	1825	··[··faaa]··_____fpos_t_defined·1
1826	··[··fac1]··~~_GLIBCXX~~_~~HAVE~~_ARPA_I~~NET_H·1~~	1826	··[··fac0]··CVC5_KIND_INST_ADD_TO_POOL
1827	··[··fadd]··ENAVAI~~L·119~~	1827	··[··fadb]··_GLIBCXX_HAVE_ARPA_INET_H·1
1828	··[··fae9]··~~_GLIBCXX_STD~~I~~O_SEEK_END·2~~	1828	··[··faf7]··ENAVAIL·119
1829	··[··fb03]··__USE_UNI~~X98~~	1829	··[··fb03]··_GLIBCXX_STDIO_SEEK_END·2
1830	··[··fb10]··__~~RED~~IRE~~CT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(_~~_ASMN~~AME·(#alias))~~	1830	··[··fb1d]··__USE_UNIX98
1831	··[··fb65]··_GLIBCXX_~~PACKAGE~~_~~BUGR~~E~~PORT·""~~	1831	··[··fb2a]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1832	··[··fb83]··~~__glibcxx_want~~_~~adaptor~~_i~~terator~~_~~pair_constructor~~	1832	··[··fb7f]··_GLIBCXX_PACKAGE_BUGREPORT·""
1833	··[··fbb4]··~~_ZN9~~__g~~nu_~~cxx17_~~_normal~~_iterator~~IPcNSt7_~~_~~cxx1112~~basi~~c_st~~r~~ingIcSt1~~1ch~~ar_~~tr~~aitsIcESa~~Ic~~EEEEpLEl~~	1833	··[··fb9d]··__glibcxx_want_adaptor_iterator_pair_constructor
1834	··[··f~~c11~~]··__stub_revo~~ke·~~	1834	··[··fbce]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl
1835	··[··fc20]··_~~ZNKSt17basic~~_s~~tring_viewIcS~~t~~11ch~~ar_tr~~aitsIcEE~~4co~~pyEPcmm~~	1835	··[··fc2b]··__stub_revoke·
1836	··[··fc59]··wcsncmp	1836	··[··fc3a]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm
1837	··[··fc61]··~~STA_CLOCKERR·0x1000~~	1837	··[··fc73]··wcsncmp
1838	··[··fc75]··~~UINT~~PTR_W~~IDTH·__WORDSIZE~~	1838	··[··fc7b]··STA_CLOCKERR·0x1000
1839	··[··fc8e]··~~__FLT16~~_~~HAS_INFINITY__·1~~	1839	··[··fc8f]··UINTPTR_WIDTH·__WORDSIZE
1840	··[··fca7]··~~_GLIBCXX~~_~~TSAN~~_MUTEX_POS~~T_SIG~~N~~AL(X)~~·	1840	··[··fca8]··__FLT16_HAS_INFINITY__·1
1841	··[··fccb]··_IO_~~write_ptr~~	1841	··[··fcc1]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1842	··[··fcd9]··~~CVC5_SORT~~_KIND_~~TUPLE~~_S~~ORT~~	1842	··[··fce5]··_IO_write_ptr
1843	··[··fcf3]··~~__glibcxx~~_~~want~~_~~nonmember~~_~~container~~_ac~~cess~~	1843	··[··fcf3]··CVC5_SORT_KIND_TUPLE_SORT
1844	··[··fd1d]··_~~GLIBCXX~~_~~ATOMIC~~_~~LOCK_FREE~~_~~H·1~~	1844	··[··fd0d]··__glibcxx_want_nonmember_container_access
1845	··[··fd3b]··_GLIBCXX_~~HAVE~~_~~NETDB~~_H·1	1845	··[··fd37]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1
1846	··[··fd53]··~~CVC5_USE~~_C~~RYPTOMINISAT~~·1	1846	··[··fd55]··_GLIBCXX_HAVE_NETDB_H·1
1847	··[··fd6c]··~~__builtin_unwind_resume~~	1847	··[··fd6d]··CVC5_USE_CRYPTOMINISAT·1
1848	··[··fd84]··__SC~~_THREAD~~_~~STACK_MIN~~_VA~~LUE·75~~	1848	··[··fd86]··__builtin_unwind_resume
1849	··[··fda3]··E~~KEYEXP~~I~~RED·12~~7	1849	··[··fd9e]··__SC_THREAD_STACK_MIN_VALUE·75
1850	··[··fdb3]··~~towctrans~~	1850	··[··fdbd]··EKEYEXPIRED·127
1851	··[··fdbd]··~~_BITS_STDIO_LIM_H·1~~	1851	··[··fdcd]··towctrans
1852	··[··fdd1]··~~_ZNSt7__cxx1112basic~~_~~strin~~gIcS~~t11char~~_~~traits~~Ic~~ESa~~I~~cEE10_~~M_~~replaceEmmPKcm~~	1852	··[··fdd7]··_BITS_STDIO_LIM_H·1
1853	··[··f~~e1a~~]··~~MOD~~_~~CLKA·ADJ~~_~~OFF~~SET_SI~~NGL~~E~~SHOT~~	1853	··[··fdeb]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm
1854	··[··fe39]··~~_ZNKSt15__exception~~_~~ptr13exception~~_~~ptr20__cxa~~_~~exception_typeEv~~	1854	··[··fe34]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1855	··[··fe78]··_ZNSt15~~bas~~ic_stre~~ambufIcS~~t11char_t~~raitsIcEE4s~~yncEv	1855	··[··fe53]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1856	··[··feab]··_GLI~~BCXX~~_~~HAV~~E~~_LINK·1~~	1856	··[··fe92]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1857	··[··fec0]··~~htole16(x)·_~~_ui~~nt16~~_~~identity~~·(x)	1857	··[··fec5]··_GLIBCXX_HAVE_LINK·1
1858	··[··fee1]··~~STA~~_~~UNSYNC·0x0040~~	1858	··[··feda]··htole16(x)·__uint16_identity·(x)
1859	··[··fef3]··~~CVC5_KIND_F~~LOATINGPOIN~~T_IS_NEG~~	1859	··[··fefb]··STA_UNSYNC·0x0040
1860	··[··ff12]··_~~_glibcxx_want_int~~_~~pow2·~~	1860	··[··ff0d]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1861	··[··ff2b]··__~~DECIMAL~~_~~DIG~~__·21	1861	··[··ff2c]··__glibcxx_want_int_pow2·
1862	··[··ff3e]··~~cvc5_sort~~_k~~ind~~_~~hash~~	1862	··[··ff45]··__DECIMAL_DIG__·21
1863	··[··ff52]··IN~~TMAX~~_~~MIN·(-_~~_I~~NT64~~_~~C(9223372036854775807)-1)~~	1863	··[··ff58]··cvc5_sort_kind_hash
Max diff block lines reached; 50001/179641 bytes (27.83%) of diff not shown.


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcvc5parser1-dbgsym	1	Package:·libcvc5parser1-dbgsym
2	Source:·cvc5	2	Source:·cvc5
3	Version:·1.1.2-2	3	Version:·1.1.2-2
4	Auto-Built-Package:·debug-symbols	4	Auto-Built-Package:·debug-symbols
5	Architecture:·amd64	5	Architecture:·amd64
6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>	6	Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7	Installed-Size:·4221	7	Installed-Size:·4220
8	Depends:·libcvc5parser1·(=·1.1.2-2)	8	Depends:·libcvc5parser1·(=·1.1.2-2)
9	Section:·debug	9	Section:·debug
10	Priority:·optional	10	Priority:·optional
11	Multi-Arch:·same	11	Multi-Arch:·same
12	Description:·debug·symbols·for·libcvc5parser1	12	Description:·debug·symbols·for·libcvc5parser1
13	Build-Ids:·~~6cfe61039083b5ae~~a~~ebb47eff3f8d5265caa185b~~	13	Build-Ids:·8b0524c14b219b3facc090ab17316e883af8bd67


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/6c/~~fe61039083b5ae~~a~~ebb47eff3f8d5265caa185b~~.debug	1	usr/lib/debug/.build-id/8b/0524c14b219b3facc090ab17316e883af8bd67.debug


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

2	Section·Headers:	2	Section·Headers:
3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al	3	··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0	4	··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4	5	··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8	6	··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8
7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8	7	··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8
Offset 25, 23 lines modified		Offset 25, 23 lines modified
25	··[20]·.data.rel.ro······NOBITS··········00000000000ba918·0008d8·001fb8·00··WA··0···0··8	25	··[20]·.data.rel.ro······NOBITS··········00000000000ba918·0008d8·001fb8·00··WA··0···0··8
26	··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··8	26	··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··8
27	··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··8	27	··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··8
28	··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··8	28	··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··8
29	··[24]·.bss··············NOBITS··········00000000000be060·0008d8·000080·00··WA··0···0·32	29	··[24]·.bss··············NOBITS··········00000000000be060·0008d8·000080·00··WA··0···0·32
30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··1	30	··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··1
31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·000741·00···C··0···0··8	31	··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·000741·00···C··0···0··8
32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a2~~309~~·00···C··0···0··8	32	··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a22a2·00···C··0···0··8
33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a2cd8·00654b·00···C··0···0··8	33	··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a2c70·00654b·00···C··0···0··8
34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a9~~228~~·03286e·00···C··0···0··8	34	··[29]·.debug_line·······PROGBITS········0000000000000000·2a91c0·03286e·00···C··0···0··8
35	··[30]·.debug_str········PROGBITS········0000000000000000·2dba98·05b034·01·MSC··0···0··8	35	··[30]·.debug_str········PROGBITS········0000000000000000·2dba30·05b02c·01·MSC··0···0··8
36	··[31]·.debug_line_str···PROGBITS········0000000000000000·336ad0·0007d4·01·MSC··0···0··8	36	··[31]·.debug_line_str···PROGBITS········0000000000000000·336a60·0007d4·01·MSC··0···0··8
37	··[32]·.debug_loclists···PROGBITS········0000000000000000·3372a8·087530·00···C··0···0··8	37	··[32]·.debug_loclists···PROGBITS········0000000000000000·337238·087530·00···C··0···0··8
38	··[33]·.debug_macro······PROGBITS········0000000000000000·3be7d8·00cbcd·00···C··0···0··8	38	··[33]·.debug_macro······PROGBITS········0000000000000000·3be768·00cbc1·00···C··0···0··8
39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3cb3a8·020c46·00···C··0···0··8	39	··[34]·.debug_rnglists···PROGBITS········0000000000000000·3cb330·020c46·00···C··0···0··8
40	··[35]·.symtab···········SYMTAB··········0000000000000000·3ebff0·00d0f8·18·····36·1032··8	40	··[35]·.symtab···········SYMTAB··········0000000000000000·3ebf78·00d0f8·18·····36·1032··8
41	··[36]·.strtab···········STRTAB··········0000000000000000·3f90e8·022c26·00······0···0··1	41	··[36]·.strtab···········STRTAB··········0000000000000000·3f9070·022c26·00······0···0··1
42	··[37]·.shstrtab·········STRTAB··········0000000000000000·41b~~d0e~~·000184·00······0···0··1	42	··[37]·.shstrtab·········STRTAB··········0000000000000000·41bc96·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 18, 110 lines modified		Offset 18, 110 lines modified
18	····<21>···DW_AT_decl_file···:·(data1)·45	18	····<21>···DW_AT_decl_file···:·(data1)·45
19	····<22>···DW_AT_decl_line···:·(data1)·214	19	····<22>···DW_AT_decl_line···:·(data1)·214
20	····<23>···DW_AT_decl_column·:·(data1)·23	20	····<23>···DW_AT_decl_column·:·(data1)·23
21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int	21	····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int
22	·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)	22	·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)
23	····<26>···DW_AT_byte_size···:·(data1)·8	23	····<26>···DW_AT_byte_size···:·(data1)·8
24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)	24	····<27>···DW_AT_encoding····:·(data1)·7» (unsigned)
25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d140):·long·unsigned·int	25	····<28>···DW_AT_name········:·(strp)·(offset:·0x4d176):·long·unsigned·int
26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)	26	·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)
27	····<2d>···DW_AT_byte_size···:·(data1)·32	27	····<2d>···DW_AT_byte_size···:·(data1)·32
28	····<2e>···DW_AT_alignment···:·(data1)·16	28	····<2e>···DW_AT_alignment···:·(data1)·16
29	····<2f>···DW_AT_decl_file···:·(data1)·45	29	····<2f>···DW_AT_decl_file···:·(data1)·45
30	····<30>···DW_AT_decl_line···:·(data2)·425	30	····<30>···DW_AT_decl_line···:·(data2)·425
31	····<32>···DW_AT_decl_column·:·(data1)·16	31	····<32>···DW_AT_decl_column·:·(data1)·16
32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5~~bef~~):·11max_align_t	32	····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5c09):·11max_align_t
33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>	33	····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)	34	·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)
35	····<39>···DW_AT_name········:·(strp)·(offset:·0x52227):·__max_align_ll	35	····<39>···DW_AT_name········:·(strp)·(offset:·0x5225d):·__max_align_ll
36	····<3d>···DW_AT_decl_file···:·(data1)·45	36	····<3d>···DW_AT_decl_file···:·(data1)·45
37	····<3e>···DW_AT_decl_line···:·(data2)·426	37	····<3e>···DW_AT_decl_line···:·(data2)·426
38	····<40>···DW_AT_decl_column·:·(data1)·13	38	····<40>···DW_AT_decl_column·:·(data1)·13
39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int	39	····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
40	····<42>···DW_AT_alignment···:·(data1)·8	40	····<42>···DW_AT_alignment···:·(data1)·8
41	····<43>···DW_AT_data_member_location:·(data1)·0	41	····<43>···DW_AT_data_member_location:·(data1)·0
42	·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)	42	·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)
43	····<45>···DW_AT_name········:·(strp)·(offset:·0x52206):·__max_align_ld	43	····<45>···DW_AT_name········:·(strp)·(offset:·0x5223c):·__max_align_ld
44	····<49>···DW_AT_decl_file···:·(data1)·45	44	····<49>···DW_AT_decl_file···:·(data1)·45
45	····<4a>···DW_AT_decl_line···:·(data2)·427	45	····<4a>···DW_AT_decl_line···:·(data2)·427
46	····<4c>···DW_AT_decl_column·:·(data1)·15	46	····<4c>···DW_AT_decl_column·:·(data1)·15
47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double	47	····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double
48	····<4e>···DW_AT_alignment···:·(data1)·16	48	····<4e>···DW_AT_alignment···:·(data1)·16
49	····<4f>···DW_AT_data_member_location:·(data1)·16	49	····<4f>···DW_AT_data_member_location:·(data1)·16
50	·<2><50>:·Abbrev·Number:·0	50	·<2><50>:·Abbrev·Number:·0
51	·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)	51	·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)
52	····<52>···DW_AT_byte_size···:·(data1)·8	52	····<52>···DW_AT_byte_size···:·(data1)·8
53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)	53	····<53>···DW_AT_encoding····:·(data1)·5» (signed)
54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63c8c):·long·long·int	54	····<54>···DW_AT_name········:·(strp)·(offset:·0x63cc2):·long·long·int
55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)	55	·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)
56	····<59>···DW_AT_byte_size···:·(data1)·16	56	····<59>···DW_AT_byte_size···:·(data1)·16
57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)	57	····<5a>···DW_AT_encoding····:·(data1)·4» (float)
58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9aca1):·long·double	58	····<5b>···DW_AT_name········:·(strp)·(offset:·0x9acbb):·long·double
59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)	59	·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)
60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5~~bf1~~):·max_align_t	60	····<60>···DW_AT_name········:·(strp)·(offset:·0xa5c0b):·max_align_t
61	····<64>···DW_AT_decl_file···:·(data1)·45	61	····<64>···DW_AT_decl_file···:·(data1)·45
62	····<65>···DW_AT_decl_line···:·(data2)·436	62	····<65>···DW_AT_decl_line···:·(data2)·436
63	····<67>···DW_AT_decl_column·:·(data1)·3	63	····<67>···DW_AT_decl_column·:·(data1)·3
64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t	64	····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65	····<69>···DW_AT_alignment···:·(data1)·16	65	····<69>···DW_AT_alignment···:·(data1)·16
66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)	66	·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)
67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34ad7):·decltype(nullptr)	67	····<6b>···DW_AT_name········:·(strp)·(offset:·0x34af3):·decltype(nullptr)
68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)	68	·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)
69	····<70>···DW_AT_byte_size···:·(data1)·1	69	····<70>···DW_AT_byte_size···:·(data1)·1
70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	70	····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2c1e):·unsigned·char	71	····<72>···DW_AT_name········:·(strp)·(offset:·0xa2c38):·unsigned·char
72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)	72	·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)
73	····<77>···DW_AT_byte_size···:·(data1)·2	73	····<77>···DW_AT_byte_size···:·(data1)·2
74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)	74	····<78>···DW_AT_encoding····:·(data1)·7» (unsigned)
75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b4c7):·short·unsigned·int	75	····<79>···DW_AT_name········:·(strp)·(offset:·0x5b4fd):·short·unsigned·int
76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)	76	·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)
77	····<7e>···DW_AT_byte_size···:·(data1)·4	77	····<7e>···DW_AT_byte_size···:·(data1)·4
78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)	78	····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned)
79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14506c):·unsigned·int	79	····<80>···DW_AT_name········:·(strp)·(offset:·0x14506c):·unsigned·int
80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)	80	·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)
81	····<85>···DW_AT_byte_size···:·(data1)·1	81	····<85>···DW_AT_byte_size···:·(data1)·1
82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)	82	····<86>···DW_AT_encoding····:·(data1)·6» (signed·char)
83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a3a):·signed·char	83	····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a54):·signed·char
84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)	84	·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)
85	····<8c>···DW_AT_byte_size···:·(data1)·2	85	····<8c>···DW_AT_byte_size···:·(data1)·2
86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)	86	····<8d>···DW_AT_encoding····:·(data1)·5» (signed)
87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bc75):·short·int	87	····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bcab):·short·int
88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)	88	·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)
89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c~~1f5~~):·__int32_t	89	····<93>···DW_AT_name········:·(strp)·(offset:·0x9c20f):·__int32_t
90	····<97>···DW_AT_decl_file···:·(data1)·46	90	····<97>···DW_AT_decl_file···:·(data1)·46
91	····<98>···DW_AT_decl_line···:·(data1)·41	91	····<98>···DW_AT_decl_line···:·(data1)·41
92	····<99>···DW_AT_decl_column·:·(data1)·20	92	····<99>···DW_AT_decl_column·:·(data1)·20
93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int	93	····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)	94	·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)
95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int	95	····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96	·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)	96	·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)
97	····<a0>···DW_AT_byte_size···:·(data1)·4	97	····<a0>···DW_AT_byte_size···:·(data1)·4
98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)	98	····<a1>···DW_AT_encoding····:·(data1)·5» (signed)
99	····<a2>···DW_AT_name········:·(string)·int	99	····<a2>···DW_AT_name········:·(string)·int
100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)	100	·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)
101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8~~0ee~~):·__off_t	101	····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8108):·__off_t
102	····<ab>···DW_AT_decl_file···:·(data1)·46	102	····<ab>···DW_AT_decl_file···:·(data1)·46
103	····<ac>···DW_AT_decl_line···:·(data1)·152	103	····<ac>···DW_AT_decl_line···:·(data1)·152
104	····<ad>···DW_AT_decl_column·:·(data1)·25	104	····<ad>···DW_AT_decl_column·:·(data1)·25
105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	105	····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)	106	·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)
107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5~~bfd~~):·__off64_t	107	····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5c17):·__off64_t
108	····<b4>···DW_AT_decl_file···:·(data1)·46	108	····<b4>···DW_AT_decl_file···:·(data1)·46
109	····<b5>···DW_AT_decl_line···:·(data1)·153	109	····<b5>···DW_AT_decl_line···:·(data1)·153
110	····<b6>···DW_AT_decl_column·:·(data1)·27	110	····<b6>···DW_AT_decl_column·:·(data1)·27
111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	111	····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112	·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)	112	·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)
113	····<b9>···DW_AT_byte_size···:·(data1)·8	113	····<b9>···DW_AT_byte_size···:·(data1)·8
114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)	114	·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)
115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8	115	····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	116	····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)	117	·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)
118	····<be>···DW_AT_byte_size···:·(data1)·1	118	····<be>···DW_AT_byte_size···:·(data1)·1
119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)	119	····<bf>···DW_AT_encoding····:·(data1)·6» (signed·char)
120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9a41):·char	120	····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9a5b):·char
121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)	121	·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)
122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char	122	····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)	123	·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)
124	····<c8>···DW_AT_name········:·(string)·std	124	····<c8>···DW_AT_name········:·(string)·std
125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>	125	····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>
126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	126	·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
127	····<cf>···DW_AT_decl_file···:·(data1)·52	127	····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 512, 15 lines modified		Offset 512, 15 lines modified
512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfb>» [Abbrev·Number:·60·(DW_TAG_subprogram)]	512	····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfb>» [Abbrev·Number:·60·(DW_TAG_subprogram)]
513	·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	513	·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
514	····<2af>···DW_AT_decl_file···:·(data1)·58	514	····<2af>···DW_AT_decl_file···:·(data1)·58
515	····<2b0>···DW_AT_decl_line···:·(data1)·55	515	····<2b0>···DW_AT_decl_line···:·(data1)·55
516	····<2b1>···DW_AT_decl_column·:·(data1)·11	516	····<2b1>···DW_AT_decl_column·:·(data1)·11
517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0e>» [Abbrev·Number:·78·(DW_TAG_subprogram)]	517	····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0e>» [Abbrev·Number:·78·(DW_TAG_subprogram)]
518	·<2><2b4>:·Abbrev·Number:·82·(DW_TAG_typedef)	518	·<2><2b4>:·Abbrev·Number:·82·(DW_TAG_typedef)
519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4d~~ed7~~):·ptrdiff_t	519	····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4df0d):·ptrdiff_t
520	····<2b9>···DW_AT_decl_file···:·(data1)·53	520	····<2b9>···DW_AT_decl_file···:·(data1)·53
521	····<2ba>···DW_AT_decl_line···:·(data2)·311	521	····<2ba>···DW_AT_decl_line···:·(data2)·311
522	····<2bc>···DW_AT_decl_column·:·(data1)·28	522	····<2bc>···DW_AT_decl_column·:·(data1)·28
523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int	523	····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
524	·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)	524	·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
525	····<2bf>···DW_AT_decl_file···:·(data1)·63	525	····<2bf>···DW_AT_decl_file···:·(data1)·63
526	····<2c0>···DW_AT_decl_line···:·(data1)·131	526	····<2c0>···DW_AT_decl_line···:·(data1)·131
Offset 853, 15 lines modified		Offset 853, 15 lines modified
Max diff block lines reached; 61543188/61550958 bytes (99.99%) of diff not shown.


Offset 1794, 16 lines modified		Offset 1794, 16 lines modified
1794	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	1794	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1795	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	1795	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1796	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	1796	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1797	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	1797	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1798	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1	1798	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1799	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	1799	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1800	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	1800	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	1801	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	1802	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

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

1806	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1	1806	·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1807	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1	1807	·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 48467, 16 lines modified		Offset 48467, 16 lines modified
48467	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	48467	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
48468	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	48468	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
48469	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	48469	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
48470	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	48470	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
48471	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1	48471	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
48472	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1	48472	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
48473	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	48473	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
48474	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	48474	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
48475	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	48475	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

48476	··Offset:······················0x3efeb	48476	··Offset:······················0x3efeb
48477	··Version:·····················5	48477	··Version:·····················5
48478	··Offset·size:·················4	48478	··Offset·size:·················4

48479	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1	48479	·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
48480	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1	48480	·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1

+gGCC:·(Debian·14.2.0-19)·14.2.0
+]czx""iY
+vZ@ZK'EY
+pN#y3ujY|G
+Z&xy-Sd^=
+.:J?VO,j
+P|NMoy5B,z
+XTB,[$@+G;
+z;V*P,*!
+|Z#DK0@RP
+*;%B$TQ»q
+B'lO>HD\m~-
+T%D·r@HV<
+;6v]:)\-$
+?pVq:r"
+RLp"?b`W1·
+»       {1'gr|$
+n@+?s.W{'>
+L^I3Y5Z|?*
+E25QE9;uQ
+i»      cJ»    cUn
+bbkVS!zWg
++PLS5Oe|
+Ks&»    r<Rc|S8Q
+obKQpH_=
+s#@V?M;6
+tppdP+/b
+"{M7MwME
+Vt1Q8HzGS
+?;P0#PkE
+gd?cPB>,
+gvruJiG76
+FFO2ok2#
+*E=VlCdW%)
+,Q6TU<.|
+)D^uvtp#=
+,DX,:+-\
+kz"k1rZ7
+h|r-H$s3
+#@Cfua5A
+b0$Oux{·%z
+r/_?BPf#
+A;4SI.bR
+Vt{pr1>%
+\oE*t»  gT
+i?yJBc1f
+I&jDkISz·x
+~AP?$}o9>
+_8A<Nj!9
+,5@S+w)h
+;t&m}*)M
+{{A=^O:M
++G»     Ll"QMD
+tb<=c"|X
+aE:@^!-7
+?-8SJ<MW
+=:{Qo'\i/
+;7BA+7BU
+u,{9/~Qd
+Ek%5LH
+»       ,-^gW.`P
+"l/`AulM
+H*kWKF
+*)&PmTGK
+')ywoU<$
+.Ostnd<»
+v]xK$ZFG
+tlY$r8aS[l
+=JAn~B^e
+pO_·}XnP
+`J=T*$$t
+&Cs;~+@+3&K
+,!1wEi» v.
+vm.;a2V7K
+dS9kKZi(6
+X\-*15{g
+r']e]G-Z'
+]L2!&8[\
+tB,i#AJL6
+T#D0rBXN
+!)X,N/5'
+!B@`I,o
+Va·`q·»   H&
+hsVn)_uJ
+&\YW8!JR
+_bYnI:Qd
+OH#Z{8-\
+'_Ru8H<[
+rbp]rpYjpE
+('}·v6iZ
+k_+gT2RH
+ra4,b-QW
+|ZTzyiQ/
+S5KVV{f@
+,MLk:iCkV
+{b#Mo4Y")EX
+'»     Ynzq/4
+x~9,7aI1
+,tk)!U{W
+s!ysd=>3Z
+[utov9[T
+$.7»    <Kl|]
+IT|mC~f#h
+$A;y%4]'»
+`Gtz>}R»
+@P5$}jH^
+e*H`g0mX
+U'q#'_#un
+m}tuGOxe/n
+W9_p?VEf
+@mY·|Hyt
+yjP>?nik2
+[P%2,f-Y
+V2okw»  Vx
+!~-M21&P
+C]px-=ibQ
+`w2mBA-(
+>XPMWWK>G
+WO!'ta=W
+|[F1YU,d
+^rWQp0W]
+x-dM{,(8A
+[W.{0Af»
+j&5Ga·zY
+YP`e#cn2
+_E:y;FRE*
+)i»    494tm$Rs:


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	usr/lib/debug/.build-id/30/~~bef06f~~6~~3ce0f~~4~~b8ce488e28ab9965ef83ad03~~5.debug	1	usr/lib/debug/.build-id/17/1c75bc674211407073b35ab48fb3dc66779825.debug


Offset 3, 64 lines modified		Offset 3, 64 lines modified
3	··Compilation·Unit·@·offset·0:	3	··Compilation·Unit·@·offset·0:
4	···Length:········0x2c4536·(32-bit)	4	···Length:········0x2c4536·(32-bit)
5	···Version:·······5	5	···Version:·······5
6	···Unit·Type:·····DW_UT_compile·(1)	6	···Unit·Type:·····DW_UT_compile·(1)
7	···Abbrev·Offset:·0	7	···Abbrev·Offset:·0
8	···Pointer·Size:··8	8	···Pointer·Size:··8
9	·<0><c>:·Abbrev·Number:·357·(DW_TAG_compile_unit)	9	·<0><c>:·Abbrev·Number:·357·(DW_TAG_compile_unit)
10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x965de):·GNU·C++17·14.2.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables	10	····<e>···DW_AT_producer····:·(strp)·(offset:·0x965cd):·GNU·C++17·14.2.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables
11	····<12>···DW_AT_language····:·(data1)·33» (C++14)	11	····<12>···DW_AT_language····:·(data1)·33» (C++14)
12	····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx	12	····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx
13	····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python	13	····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python
14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e	14	····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e
15	····<1f>···DW_AT_low_pc······:·(addr)·0	15	····<1f>···DW_AT_low_pc······:·(addr)·0
16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0	16	····<27>···DW_AT_stmt_list···:·(sec_offset)·0
17	····<2b>···DW_AT_macros······:·(sec_offset)·0	17	····<2b>···DW_AT_macros······:·(sec_offset)·0
18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)	18	·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)
19	····<30>···DW_AT_byte_size···:·(data1)·8	19	····<30>···DW_AT_byte_size···:·(data1)·8
20	····<31>···DW_AT_encoding····:·(data1)·4» (float)	20	····<31>···DW_AT_encoding····:·(data1)·4» (float)
21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73a13):·double	21	····<32>···DW_AT_name········:·(strp)·(offset:·0x73a0e):·double
22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)	22	·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)
23	····<37>···DW_AT_byte_size···:·(data1)·1	23	····<37>···DW_AT_byte_size···:·(data1)·1
24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)	24	····<38>···DW_AT_encoding····:·(data1)·8» (unsigned·char)
25	····<39>···DW_AT_name········:·(strp)·(offset:·0x80086):·unsigned·char	25	····<39>···DW_AT_name········:·(strp)·(offset:·0x800bc):·unsigned·char
26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)	26	·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)
27	····<3e>···DW_AT_byte_size···:·(data1)·2	27	····<3e>···DW_AT_byte_size···:·(data1)·2
28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)	28	····<3f>···DW_AT_encoding····:·(data1)·7» (unsigned)
29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf0af):·short·unsigned·int	29	····<40>···DW_AT_name········:·(strp)·(offset:·0xdf0c9):·short·unsigned·int
30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)	30	·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)
31	····<45>···DW_AT_byte_size···:·(data1)·4	31	····<45>···DW_AT_byte_size···:·(data1)·4
32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)	32	····<46>···DW_AT_encoding····:·(data1)·7» (unsigned)
33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14c5d0):·unsigned·int	33	····<47>···DW_AT_name········:·(strp)·(offset:·0x14c5d0):·unsigned·int
34	·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)	34	·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)
35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	35	····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)	36	·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)
37	····<4e>···DW_AT_byte_size···:·(data1)·8	37	····<4e>···DW_AT_byte_size···:·(data1)·8
38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)	38	····<4f>···DW_AT_encoding····:·(data1)·7» (unsigned)
39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e316):·long·unsigned·int	39	····<50>···DW_AT_name········:·(strp)·(offset:·0x4e311):·long·unsigned·int
40	·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)	40	·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)
41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int	41	····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
42	·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)	42	·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)
43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc~~707~~):·__int8_t	43	····<57>···DW_AT_name········:·(strp)·(offset:·0xbc6f6):·__int8_t
44	····<5b>···DW_AT_decl_file···:·(data1)·52	44	····<5b>···DW_AT_decl_file···:·(data1)·52
45	····<5c>···DW_AT_decl_line···:·(data1)·37	45	····<5c>···DW_AT_decl_line···:·(data1)·37
46	····<5d>···DW_AT_decl_column·:·(data1)·21	46	····<5d>···DW_AT_decl_column·:·(data1)·21
47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char	47	····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char
48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)	48	·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)
49	····<60>···DW_AT_byte_size···:·(data1)·1	49	····<60>···DW_AT_byte_size···:·(data1)·1
50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)	50	····<61>···DW_AT_encoding····:·(data1)·6» (signed·char)
51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddc9c):·signed·char	51	····<62>···DW_AT_name········:·(strp)·(offset:·0xddcb6):·signed·char
52	·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)	52	·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)
53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb4990):·__uint8_t	53	····<67>···DW_AT_name········:·(strp)·(offset:·0xb497f):·__uint8_t
54	····<6b>···DW_AT_decl_file···:·(data1)·52	54	····<6b>···DW_AT_decl_file···:·(data1)·52
55	····<6c>···DW_AT_decl_line···:·(data1)·38	55	····<6c>···DW_AT_decl_line···:·(data1)·38
56	····<6d>···DW_AT_decl_column·:·(data1)·23	56	····<6d>···DW_AT_decl_column·:·(data1)·23
57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char	57	····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char
58	·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)	58	·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)
59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc0262):·__int16_t	59	····<70>···DW_AT_name········:·(strp)·(offset:·0xc0251):·__int16_t
60	····<74>···DW_AT_decl_file···:·(data1)·52	60	····<74>···DW_AT_decl_file···:·(data1)·52
61	····<75>···DW_AT_decl_line···:·(data1)·39	61	····<75>···DW_AT_decl_line···:·(data1)·39
62	····<76>···DW_AT_decl_column·:·(data1)·26	62	····<76>···DW_AT_decl_column·:·(data1)·26
63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int	63	····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int
64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)	64	·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)
65	····<79>···DW_AT_byte_size···:·(data1)·2	65	····<79>···DW_AT_byte_size···:·(data1)·2
66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)	66	····<7a>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 68, 15 lines modified		Offset 68, 15 lines modified
68	·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)	68	·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)
69	····<80>···DW_AT_name········:·(strp)·(offset:·0x53e7):·__uint16_t	69	····<80>···DW_AT_name········:·(strp)·(offset:·0x53e7):·__uint16_t
70	····<84>···DW_AT_decl_file···:·(data1)·52	70	····<84>···DW_AT_decl_file···:·(data1)·52
71	····<85>···DW_AT_decl_line···:·(data1)·40	71	····<85>···DW_AT_decl_line···:·(data1)·40
72	····<86>···DW_AT_decl_column·:·(data1)·28	72	····<86>···DW_AT_decl_column·:·(data1)·28
73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int	73	····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int
74	·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)	74	·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)
75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa0fa1):·__int32_t	75	····<89>···DW_AT_name········:·(strp)·(offset:·0xa0f90):·__int32_t
76	····<8d>···DW_AT_decl_file···:·(data1)·52	76	····<8d>···DW_AT_decl_file···:·(data1)·52
77	····<8e>···DW_AT_decl_line···:·(data1)·41	77	····<8e>···DW_AT_decl_line···:·(data1)·41
78	····<8f>···DW_AT_decl_column·:·(data1)·20	78	····<8f>···DW_AT_decl_column·:·(data1)·20
79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int	79	····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int
80	·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)	80	·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)
81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	81	····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
82	·<1><95>:·Abbrev·Number:·375·(DW_TAG_base_type)	82	·<1><95>:·Abbrev·Number:·375·(DW_TAG_base_type)
Offset 88, 15 lines modified		Offset 88, 15 lines modified
88	·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)	88	·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)
89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x13429d):·__uint32_t	89	····<a1>···DW_AT_name········:·(strp)·(offset:·0x13429d):·__uint32_t
90	····<a5>···DW_AT_decl_file···:·(data1)·52	90	····<a5>···DW_AT_decl_file···:·(data1)·52
91	····<a6>···DW_AT_decl_line···:·(data1)·42	91	····<a6>···DW_AT_decl_line···:·(data1)·42
92	····<a7>···DW_AT_decl_column·:·(data1)·22	92	····<a7>···DW_AT_decl_column·:·(data1)·22
93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int	93	····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
94	·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)	94	·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)
95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x822c3):·__int64_t	95	····<aa>···DW_AT_name········:·(strp)·(offset:·0x822f9):·__int64_t
96	····<ae>···DW_AT_decl_file···:·(data1)·52	96	····<ae>···DW_AT_decl_file···:·(data1)·52
97	····<af>···DW_AT_decl_line···:·(data1)·44	97	····<af>···DW_AT_decl_line···:·(data1)·44
98	····<b0>···DW_AT_decl_column·:·(data1)·25	98	····<b0>···DW_AT_decl_column·:·(data1)·25
99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int	99	····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)	100	·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)
101	····<b4>···DW_AT_byte_size···:·(data1)·8	101	····<b4>···DW_AT_byte_size···:·(data1)·8
102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)	102	····<b5>···DW_AT_encoding····:·(data1)·5» (signed)
Offset 112, 75 lines modified		Offset 112, 75 lines modified
112	·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)	112	·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)
113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9a39):·__int_least8_t	113	····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9a39):·__int_least8_t
114	····<cb>···DW_AT_decl_file···:·(data1)·52	114	····<cb>···DW_AT_decl_file···:·(data1)·52
115	····<cc>···DW_AT_decl_line···:·(data1)·52	115	····<cc>···DW_AT_decl_line···:·(data1)·52
116	····<cd>···DW_AT_decl_column·:·(data1)·18	116	····<cd>···DW_AT_decl_column·:·(data1)·18
117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char	117	····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char
118	·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)	118	·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)
119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f99b):·__uint_least8_t	119	····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9b7):·__uint_least8_t
120	····<d4>···DW_AT_decl_file···:·(data1)·52	120	····<d4>···DW_AT_decl_file···:·(data1)·52
121	····<d5>···DW_AT_decl_line···:·(data1)·53	121	····<d5>···DW_AT_decl_line···:·(data1)·53
122	····<d6>···DW_AT_decl_column·:·(data1)·19	122	····<d6>···DW_AT_decl_column·:·(data1)·19
123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char	123	····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char
124	·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)	124	·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)
125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136838):·__int_least16_t	125	····<d9>···DW_AT_name········:·(strp)·(offset:·0x136838):·__int_least16_t
126	····<dd>···DW_AT_decl_file···:·(data1)·52	126	····<dd>···DW_AT_decl_file···:·(data1)·52
127	····<de>···DW_AT_decl_line···:·(data1)·54	127	····<de>···DW_AT_decl_line···:·(data1)·54
128	····<df>···DW_AT_decl_column·:·(data1)·19	128	····<df>···DW_AT_decl_column·:·(data1)·19
129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int	129	····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int
130	·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)	130	·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)
131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb4~~70b~~):·__uint_least16_t	131	····<e2>···DW_AT_name········:·(strp)·(offset:·0xb46fa):·__uint_least16_t
132	····<e6>···DW_AT_decl_file···:·(data1)·52	132	····<e6>···DW_AT_decl_file···:·(data1)·52
133	····<e7>···DW_AT_decl_line···:·(data1)·55	133	····<e7>···DW_AT_decl_line···:·(data1)·55
134	····<e8>···DW_AT_decl_column·:·(data1)·20	134	····<e8>···DW_AT_decl_column·:·(data1)·20
135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int	135	····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int
136	·<1><ea>:·Abbrev·Number:·61·(DW_TAG_typedef)	136	·<1><ea>:·Abbrev·Number:·61·(DW_TAG_typedef)
137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115a4b):·__int_least32_t	137	····<eb>···DW_AT_name········:·(strp)·(offset:·0x115a4b):·__int_least32_t
138	····<ef>···DW_AT_decl_file···:·(data1)·52	138	····<ef>···DW_AT_decl_file···:·(data1)·52
139	····<f0>···DW_AT_decl_line···:·(data1)·56	139	····<f0>···DW_AT_decl_line···:·(data1)·56
140	····<f1>···DW_AT_decl_column·:·(data1)·19	140	····<f1>···DW_AT_decl_column·:·(data1)·19
141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int	141	····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
Max diff block lines reached; 16846710/16854652 bytes (99.95%) of diff not shown.


Offset 5044, 16 lines modified		Offset 5044, 16 lines modified
5044	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1	5044	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5045	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1	5045	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5046	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1	5046	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5047	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1	5047	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5048	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1	5048	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5049	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1	5049	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5050	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2	5050	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5051	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"	5051	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
5052	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"	5052	·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"

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

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

+%GCC:·(Debian·14.2.0-19)·14.2.0
+.~K.zKv$
+dm.o&j+x3I;
+G-0~7ZWSt
+$<·|]AF%<b
+)./yY`ld
+r$6»    }1u?P<
+GV(H»   J%[R
+sA0gJs6m
+d?at#CBZ
+F}\whrm
+·q]q^q;cM
+,z$tt'/1'
+"{({»   "Sd
+>9OXArNg
+f]r.)sFW
+L].RQotX
+abkC`6'F
+S#6UA`R»>D6
+R)J"Uf]-y
+[Y=3P^;`
+l2p>@%~
+g[@8]Nz0
+r2)'u)!%
+J9·``?Pz
+Xw,}LSlb
+$2IV^6c
+{$Vd{FbM
+\L|K4*2»j
+Vir*qE:+A
+tx=s\@{m
+<»      o70`0O
+v%ABrSIn#v^$
+·v[$[2ChdX
+\`4G~n(h
+y`X!K9$?
+,]b4E~I8
+\Ic)^N4·
+r#t0b·WQV
+[1<GIF(fH
+WUt0Gw_*
+JK=l3_4A
+]Tiw'h\(j
+}Q@@d_eQd
+SF2|>L6o·?>sS>lJ
+e:km57Nh
+;xpR!n28
+!n»     K\"@k#
+f)tZ·Tvx
+BS(i»   e»  k
+L5s5^YK&
+j0ku!@t-
+)8uYBc,a
+hez@@cbe
+c'\Z?eZE
+F»     7TA&\y
+zTj<FN2Zs
+!VzTUGju
+=+h9E:tn
+DjZ,8AdE
+bA>^"8!-W
+CI7[rTIN#
+?ERr_::H
+i3H4UEsW4U
+a]RrGIv·zI$
+·MJ6)I]DW
+H=T.[s@i
+v*IVRr[I
+uE}X@G+8\7
+B~.pmdT)?^w
+}?/?Ot,atA~
+CG3a=C~~
+>^~!H4O(
+|#8K~UXx
+xNf:rCm0-
+T'O=M=;_
+<#O:d%g8
++Y'd+'W5+
+i{dAoi{d
+T(T:+B")
+.RX'4:+B")
+B?~CaaU@o)U>-"@
+·lN*6K(K
+b~P(joTT
+oP6UT9WU
+u[+P7i·/
+M5JiU{^E
+MQVce+WK
+|<C2U0?M]
+eK/hFH[*YlQ
+>Ah:DQ&*
+Cs0G7
+W\{r+EL]
+l7(((((((((((((
+O|^~0qve
+UF_H$2MrcJr
+;WwM$w@M
+;9$Wv8I
+;}Inn^SU
+'InfUSu@
+qvjI.}gs
+s.jr]kmr
+;,H=CXf^J
+l.*6k(_4
+ECYZL"{
+>;^R@Ol8w
+MQVke+VIY
+UY~l92ni<
+N<ik}/kZ
+B<"W"4Z~
+'y·<LQ}o,
+;m01?J+n>
+!0Z(}EC;
+#KX"KpdS
+qT!),»  a[
+Nyf#hZtH
+wje6~-?n
+a4=S1t>:
+&p.#·Jb]
+L'(((((((((((((((((((G9
+_Pri}s\=H
+UJ_H8<MrcJr
+rcQnJ}x,
+FXT»    roC_/
+,!7rwkuV
+]b=h·Yc(
+%iiKLp9