⊟
60.6 KB
/srv/reproducible-results/rbuild-debian/r-b-build.do06JJtV/b1/cvc5_1.0.3-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.do06JJtV/b2/cvc5_1.0.3-1_arm64.changes
⊟
830 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·5d466989e74133d60efcc22b0abefaa4·2523068·debug·optional·cvc5-dbgsym_1.0.3-1_arm64.deb1 ·5d466989e74133d60efcc22b0abefaa4·2523068·debug·optional·cvc5-dbgsym_1.0.3-1_arm64.deb
2 ·f2bc2004196f62280c73b3a677943e48·97432·math·optional·cvc5_1.0.3-1_arm64.deb2 ·f2bc2004196f62280c73b3a677943e48·97432·math·optional·cvc5_1.0.3-1_arm64.deb
3 ·b3223f6fdcc70f931642d2e49f3781f5·165904536·debug·optional·libcvc5-1-dbgsym_1.0.3-1_arm64.deb 
4 ·3df0cbeda89cc4edd8c54c4a7d9f7dd6·4943508·libs·optional·libcvc5-1_1.0.3-1_arm64.deb3 ·0f92933930e2e4b6bf97acae0513c824·165903884·debug·optional·libcvc5-1-dbgsym_1.0.3-1_arm64.deb
 4 ·ca00c6b42bdcb117b21e74c0803c2b2f·4943152·libs·optional·libcvc5-1_1.0.3-1_arm64.deb
5 ·54fd1c28f239a279e9ff009dbb8dea3d·58576·libdevel·optional·libcvc5-dev_1.0.3-1_arm64.deb5 ·54fd1c28f239a279e9ff009dbb8dea3d·58576·libdevel·optional·libcvc5-dev_1.0.3-1_arm64.deb
6 ·f7d80a975c467f66eba97028b906f033·4867504·debug·optional·libcvc5parser1-dbgsym_1.0.3-1_arm64.deb6 ·f7d80a975c467f66eba97028b906f033·4867504·debug·optional·libcvc5parser1-dbgsym_1.0.3-1_arm64.deb
7 ·4eb9856f5763cde42ed562660145f372·273216·libs·optional·libcvc5parser1_1.0.3-1_arm64.deb7 ·4eb9856f5763cde42ed562660145f372·273216·libs·optional·libcvc5parser1_1.0.3-1_arm64.deb
⊟
34.0 KB
libcvc5-1_1.0.3-1_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary
2 -rw-r--r--···0········0········0·····1268·2022-12-20·01:35:50.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1268·2022-12-20·01:35:50.000000·control.tar.xz
3 -rw-r--r--···0········0········0··4942048·2022-12-20·01:35:50.000000·data.tar.xz3 -rw-r--r--···0········0········0··4941692·2022-12-20·01:35:50.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
33.5 KB
data.tar.xz
⊟
33.5 KB
data.tar
⊟
33.4 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
9.35 KB
readelf --wide --relocs {}
    
Offset 7208, 16 lines modifiedOffset 7208, 16 lines modified
7208 00000000012f1290··0000000000000403·R_AARCH64_RELATIVE························1105b107208 00000000012f1290··0000000000000403·R_AARCH64_RELATIVE························1105b10
7209 00000000012f12b0··0000000000000403·R_AARCH64_RELATIVE························1141c507209 00000000012f12b0··0000000000000403·R_AARCH64_RELATIVE························1141c50
7210 00000000012f12d0··0000000000000403·R_AARCH64_RELATIVE························1131a387210 00000000012f12d0··0000000000000403·R_AARCH64_RELATIVE························1131a38
7211 00000000012f12f0··0000000000000403·R_AARCH64_RELATIVE························10f40e07211 00000000012f12f0··0000000000000403·R_AARCH64_RELATIVE························10f40e0
7212 00000000012f1310··0000000000000403·R_AARCH64_RELATIVE························112cfc07212 00000000012f1310··0000000000000403·R_AARCH64_RELATIVE························112cfc0
7213 00000000012f1330··0000000000000403·R_AARCH64_RELATIVE························1104ab07213 00000000012f1330··0000000000000403·R_AARCH64_RELATIVE························1104ab0
7214 00000000012f1350··0000000000000403·R_AARCH64_RELATIVE························1141c687214 00000000012f1350··0000000000000403·R_AARCH64_RELATIVE························1141c68
7215 00000000012f1370··0000000000000403·R_AARCH64_RELATIVE························1131d887215 00000000012f1370··0000000000000403·R_AARCH64_RELATIVE························1131d98
7216 00000000012f1390··0000000000000403·R_AARCH64_RELATIVE························1131d907216 00000000012f1390··0000000000000403·R_AARCH64_RELATIVE························1131d88
7217 00000000012f13b0··0000000000000403·R_AARCH64_RELATIVE························112cfc87217 00000000012f13b0··0000000000000403·R_AARCH64_RELATIVE························112cfc8
7218 00000000012f13d0··0000000000000403·R_AARCH64_RELATIVE························10f41107218 00000000012f13d0··0000000000000403·R_AARCH64_RELATIVE························10f4110
7219 00000000012f13f0··0000000000000403·R_AARCH64_RELATIVE························11320e87219 00000000012f13f0··0000000000000403·R_AARCH64_RELATIVE························11320e8
7220 00000000012f1410··0000000000000403·R_AARCH64_RELATIVE························11321007220 00000000012f1410··0000000000000403·R_AARCH64_RELATIVE························1132100
7221 00000000012f1430··0000000000000403·R_AARCH64_RELATIVE························1141c787221 00000000012f1430··0000000000000403·R_AARCH64_RELATIVE························1141c78
7222 00000000012f1450··0000000000000403·R_AARCH64_RELATIVE························11322307222 00000000012f1450··0000000000000403·R_AARCH64_RELATIVE························1132230
7223 00000000012f1470··0000000000000403·R_AARCH64_RELATIVE························1141c887223 00000000012f1470··0000000000000403·R_AARCH64_RELATIVE························1141c88
Offset 7339, 19 lines modifiedOffset 7339, 19 lines modified
7339 00000000012f22f0··0000000000000403·R_AARCH64_RELATIVE························11420207339 00000000012f22f0··0000000000000403·R_AARCH64_RELATIVE························1142020
7340 00000000012f2310··0000000000000403·R_AARCH64_RELATIVE························10f92a87340 00000000012f2310··0000000000000403·R_AARCH64_RELATIVE························10f92a8
7341 00000000012f2330··0000000000000403·R_AARCH64_RELATIVE························11311b87341 00000000012f2330··0000000000000403·R_AARCH64_RELATIVE························11311b8
7342 00000000012f2350··0000000000000403·R_AARCH64_RELATIVE························11420387342 00000000012f2350··0000000000000403·R_AARCH64_RELATIVE························1142038
7343 00000000012f2370··0000000000000403·R_AARCH64_RELATIVE························11316687343 00000000012f2370··0000000000000403·R_AARCH64_RELATIVE························1131668
7344 00000000012f2390··0000000000000403·R_AARCH64_RELATIVE························11316807344 00000000012f2390··0000000000000403·R_AARCH64_RELATIVE························1131680
7345 00000000012f23b0··0000000000000403·R_AARCH64_RELATIVE························11316b87345 00000000012f23b0··0000000000000403·R_AARCH64_RELATIVE························11316b8
 7346 00000000012f23d0··0000000000000403·R_AARCH64_RELATIVE························1132130
7346 00000000012f23d0··0000000000000403·R_AARCH64_RELATIVE························11321287347 00000000012f23f0··0000000000000403·R_AARCH64_RELATIVE························1132128
7347 00000000012f23f0··0000000000000403·R_AARCH64_RELATIVE························1132138 
7348 00000000012f2410··0000000000000403·R_AARCH64_RELATIVE························11321407348 00000000012f2410··0000000000000403·R_AARCH64_RELATIVE························1132140
7349 00000000012f2430··0000000000000403·R_AARCH64_RELATIVE························11321687349 00000000012f2430··0000000000000403·R_AARCH64_RELATIVE························1132158
7350 00000000012f2450··0000000000000403·R_AARCH64_RELATIVE························11321587350 00000000012f2450··0000000000000403·R_AARCH64_RELATIVE························1132170
7351 00000000012f2470··0000000000000403·R_AARCH64_RELATIVE························11332107351 00000000012f2470··0000000000000403·R_AARCH64_RELATIVE························1133210
7352 00000000012f2490··0000000000000403·R_AARCH64_RELATIVE························11332287352 00000000012f2490··0000000000000403·R_AARCH64_RELATIVE························1133228
7353 00000000012f24b0··0000000000000403·R_AARCH64_RELATIVE························1131ad87353 00000000012f24b0··0000000000000403·R_AARCH64_RELATIVE························1131ad8
7354 00000000012f24d0··0000000000000403·R_AARCH64_RELATIVE························11420607354 00000000012f24d0··0000000000000403·R_AARCH64_RELATIVE························1142060
7355 00000000012f24f0··0000000000000403·R_AARCH64_RELATIVE························1131b987355 00000000012f24f0··0000000000000403·R_AARCH64_RELATIVE························1131b98
7356 00000000012f2510··0000000000000403·R_AARCH64_RELATIVE························1131bf87356 00000000012f2510··0000000000000403·R_AARCH64_RELATIVE························1131bf8
7357 00000000012f2530··0000000000000403·R_AARCH64_RELATIVE························11420787357 00000000012f2530··0000000000000403·R_AARCH64_RELATIVE························1142078
Offset 7391, 16 lines modifiedOffset 7391, 16 lines modified
7391 00000000012f2970··0000000000000403·R_AARCH64_RELATIVE························11324107391 00000000012f2970··0000000000000403·R_AARCH64_RELATIVE························1132410
7392 00000000012f2990··0000000000000403·R_AARCH64_RELATIVE························11421c07392 00000000012f2990··0000000000000403·R_AARCH64_RELATIVE························11421c0
7393 00000000012f29b0··0000000000000403·R_AARCH64_RELATIVE························11324287393 00000000012f29b0··0000000000000403·R_AARCH64_RELATIVE························1132428
7394 00000000012f29d0··0000000000000403·R_AARCH64_RELATIVE························11421e07394 00000000012f29d0··0000000000000403·R_AARCH64_RELATIVE························11421e0
7395 00000000012f29f0··0000000000000403·R_AARCH64_RELATIVE························1131e887395 00000000012f29f0··0000000000000403·R_AARCH64_RELATIVE························1131e88
7396 00000000012f2a10··0000000000000403·R_AARCH64_RELATIVE························11421f87396 00000000012f2a10··0000000000000403·R_AARCH64_RELATIVE························11421f8
7397 00000000012f2a30··0000000000000403·R_AARCH64_RELATIVE························1105af87397 00000000012f2a30··0000000000000403·R_AARCH64_RELATIVE························1105af8
7398 00000000012f2a50··0000000000000403·R_AARCH64_RELATIVE························11324d0 
7399 00000000012f2a70··0000000000000403·R_AARCH64_RELATIVE························11324b87398 00000000012f2a50··0000000000000403·R_AARCH64_RELATIVE························11324b8
 7399 00000000012f2a70··0000000000000403·R_AARCH64_RELATIVE························11324c8
7400 00000000012f2a90··0000000000000403·R_AARCH64_RELATIVE························11325d87400 00000000012f2a90··0000000000000403·R_AARCH64_RELATIVE························11325d8
7401 00000000012f2ab0··0000000000000403·R_AARCH64_RELATIVE························11325f07401 00000000012f2ab0··0000000000000403·R_AARCH64_RELATIVE························11325f0
7402 00000000012f2ad0··0000000000000403·R_AARCH64_RELATIVE························11326607402 00000000012f2ad0··0000000000000403·R_AARCH64_RELATIVE························1132660
7403 00000000012f2af0··0000000000000403·R_AARCH64_RELATIVE························11313e87403 00000000012f2af0··0000000000000403·R_AARCH64_RELATIVE························11313e8
7404 00000000012f2b10··0000000000000403·R_AARCH64_RELATIVE························11422107404 00000000012f2b10··0000000000000403·R_AARCH64_RELATIVE························1142210
7405 00000000012f2b30··0000000000000403·R_AARCH64_RELATIVE························11313f07405 00000000012f2b30··0000000000000403·R_AARCH64_RELATIVE························11313f0
7406 00000000012f2b50··0000000000000403·R_AARCH64_RELATIVE························11422187406 00000000012f2b50··0000000000000403·R_AARCH64_RELATIVE························1142218
Offset 7757, 16 lines modifiedOffset 7757, 16 lines modified
7757 00000000012f5730··0000000000000403·R_AARCH64_RELATIVE························11323e07757 00000000012f5730··0000000000000403·R_AARCH64_RELATIVE························11323e0
7758 00000000012f5750··0000000000000403·R_AARCH64_RELATIVE························11325607758 00000000012f5750··0000000000000403·R_AARCH64_RELATIVE························1132560
7759 00000000012f5770··0000000000000403·R_AARCH64_RELATIVE························1142f707759 00000000012f5770··0000000000000403·R_AARCH64_RELATIVE························1142f70
7760 00000000012f5790··0000000000000403·R_AARCH64_RELATIVE························11327407760 00000000012f5790··0000000000000403·R_AARCH64_RELATIVE························1132740
7761 00000000012f57b0··0000000000000403·R_AARCH64_RELATIVE························1142f807761 00000000012f57b0··0000000000000403·R_AARCH64_RELATIVE························1142f80
7762 00000000012f57d0··0000000000000403·R_AARCH64_RELATIVE························11327587762 00000000012f57d0··0000000000000403·R_AARCH64_RELATIVE························1132758
7763 00000000012f57f0··0000000000000403·R_AARCH64_RELATIVE························1142f987763 00000000012f57f0··0000000000000403·R_AARCH64_RELATIVE························1142f98
7764 00000000012f5810··0000000000000403·R_AARCH64_RELATIVE························11327987764 00000000012f5810··0000000000000403·R_AARCH64_RELATIVE························1132780
7765 00000000012f5830··0000000000000403·R_AARCH64_RELATIVE························11327807765 00000000012f5830··0000000000000403·R_AARCH64_RELATIVE························1132790
7766 00000000012f5850··0000000000000403·R_AARCH64_RELATIVE························1105e907766 00000000012f5850··0000000000000403·R_AARCH64_RELATIVE························1105e90
7767 00000000012f5870··0000000000000403·R_AARCH64_RELATIVE························1142fb07767 00000000012f5870··0000000000000403·R_AARCH64_RELATIVE························1142fb0
7768 00000000012f5890··0000000000000403·R_AARCH64_RELATIVE························11327b07768 00000000012f5890··0000000000000403·R_AARCH64_RELATIVE························11327b0
7769 00000000012f58b0··0000000000000403·R_AARCH64_RELATIVE························11327c07769 00000000012f58b0··0000000000000403·R_AARCH64_RELATIVE························11327c0
7770 00000000012f58d0··0000000000000403·R_AARCH64_RELATIVE························11327d07770 00000000012f58d0··0000000000000403·R_AARCH64_RELATIVE························11327d0
7771 00000000012f58f0··0000000000000403·R_AARCH64_RELATIVE························1142fc87771 00000000012f58f0··0000000000000403·R_AARCH64_RELATIVE························1142fc8
7772 00000000012f5910··0000000000000403·R_AARCH64_RELATIVE························10fb7f07772 00000000012f5910··0000000000000403·R_AARCH64_RELATIVE························10fb7f0
Offset 7869, 15 lines modifiedOffset 7869, 15 lines modified
7869 00000000012f6450··0000000000000403·R_AARCH64_RELATIVE························114e8807869 00000000012f6450··0000000000000403·R_AARCH64_RELATIVE························114e880
7870 00000000012f6458··0000000000000403·R_AARCH64_RELATIVE························1149b807870 00000000012f6458··0000000000000403·R_AARCH64_RELATIVE························1149b80
7871 00000000012f6478··0000000000000403·R_AARCH64_RELATIVE························114ed987871 00000000012f6478··0000000000000403·R_AARCH64_RELATIVE························114ed98
7872 00000000012f6480··0000000000000403·R_AARCH64_RELATIVE························1149b887872 00000000012f6480··0000000000000403·R_AARCH64_RELATIVE························1149b88
7873 00000000012f64a0··0000000000000403·R_AARCH64_RELATIVE························114ed787873 00000000012f64a0··0000000000000403·R_AARCH64_RELATIVE························114ed78
7874 00000000012f64a8··0000000000000403·R_AARCH64_RELATIVE························1149b987874 00000000012f64a8··0000000000000403·R_AARCH64_RELATIVE························1149b98
7875 00000000012f64c8··0000000000000403·R_AARCH64_RELATIVE························114ed607875 00000000012f64c8··0000000000000403·R_AARCH64_RELATIVE························114ed60
7876 00000000012f64d0··0000000000000403·R_AARCH64_RELATIVE························11321387876 00000000012f64d0··0000000000000403·R_AARCH64_RELATIVE························1132128
7877 00000000012f64f0··0000000000000403·R_AARCH64_RELATIVE························114ed407877 00000000012f64f0··0000000000000403·R_AARCH64_RELATIVE························114ed40
7878 00000000012f64f8··0000000000000403·R_AARCH64_RELATIVE························1149ba87878 00000000012f64f8··0000000000000403·R_AARCH64_RELATIVE························1149ba8
7879 00000000012f6518··0000000000000403·R_AARCH64_RELATIVE························114ed207879 00000000012f6518··0000000000000403·R_AARCH64_RELATIVE························114ed20
7880 00000000012f6520··0000000000000403·R_AARCH64_RELATIVE························1149bc07880 00000000012f6520··0000000000000403·R_AARCH64_RELATIVE························1149bc0
7881 00000000012f6540··0000000000000403·R_AARCH64_RELATIVE························114ed007881 00000000012f6540··0000000000000403·R_AARCH64_RELATIVE························114ed00
7882 00000000012f6548··0000000000000403·R_AARCH64_RELATIVE························1149bd07882 00000000012f6548··0000000000000403·R_AARCH64_RELATIVE························1149bd0
7883 00000000012f6568··0000000000000403·R_AARCH64_RELATIVE························114ece07883 00000000012f6568··0000000000000403·R_AARCH64_RELATIVE························114ece0
Offset 8195, 15 lines modifiedOffset 8195, 15 lines modified
8195 00000000012f7dc8··0000000000000403·R_AARCH64_RELATIVE························114e8808195 00000000012f7dc8··0000000000000403·R_AARCH64_RELATIVE························114e880
8196 00000000012f7dd0··0000000000000403·R_AARCH64_RELATIVE························1149b808196 00000000012f7dd0··0000000000000403·R_AARCH64_RELATIVE························1149b80
8197 00000000012f7df0··0000000000000403·R_AARCH64_RELATIVE························114ed988197 00000000012f7df0··0000000000000403·R_AARCH64_RELATIVE························114ed98
8198 00000000012f7df8··0000000000000403·R_AARCH64_RELATIVE························1149b888198 00000000012f7df8··0000000000000403·R_AARCH64_RELATIVE························1149b88
8199 00000000012f7e18··0000000000000403·R_AARCH64_RELATIVE························114ed788199 00000000012f7e18··0000000000000403·R_AARCH64_RELATIVE························114ed78
8200 00000000012f7e20··0000000000000403·R_AARCH64_RELATIVE························1149b988200 00000000012f7e20··0000000000000403·R_AARCH64_RELATIVE························1149b98
8201 00000000012f7e40··0000000000000403·R_AARCH64_RELATIVE························114ed608201 00000000012f7e40··0000000000000403·R_AARCH64_RELATIVE························114ed60
8202 00000000012f7e48··0000000000000403·R_AARCH64_RELATIVE························11321388202 00000000012f7e48··0000000000000403·R_AARCH64_RELATIVE························1132128
8203 00000000012f7e68··0000000000000403·R_AARCH64_RELATIVE························114ed408203 00000000012f7e68··0000000000000403·R_AARCH64_RELATIVE························114ed40
8204 00000000012f7e70··0000000000000403·R_AARCH64_RELATIVE························1149ba88204 00000000012f7e70··0000000000000403·R_AARCH64_RELATIVE························1149ba8
8205 00000000012f7e90··0000000000000403·R_AARCH64_RELATIVE························114ed208205 00000000012f7e90··0000000000000403·R_AARCH64_RELATIVE························114ed20
8206 00000000012f7e98··0000000000000403·R_AARCH64_RELATIVE························1149bc08206 00000000012f7e98··0000000000000403·R_AARCH64_RELATIVE························1149bc0
8207 00000000012f7eb8··0000000000000403·R_AARCH64_RELATIVE························114ed008207 00000000012f7eb8··0000000000000403·R_AARCH64_RELATIVE························114ed00
8208 00000000012f7ec0··0000000000000403·R_AARCH64_RELATIVE························1149bd08208 00000000012f7ec0··0000000000000403·R_AARCH64_RELATIVE························1149bd0
8209 00000000012f7ee0··0000000000000403·R_AARCH64_RELATIVE························114ece08209 00000000012f7ee0··0000000000000403·R_AARCH64_RELATIVE························114ece0
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9c7edab7980c4bbd493d95ad856a3e56c80b6eee3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c78e34af50997a9e355170cb7c3c2f3261466f65
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
1.36 KB
strings --all --bytes=8 {}
    
Offset 1, 7 lines modifiedOffset 1, 8 lines modified
 1 |</2aFoe
1 _ZGVZN4cvc58internal6Random9getRandomEvE9s_current2 _ZGVZN4cvc58internal6Random9getRandomEvE9s_current
2 _ZZN4cvc58internal6Random9getRandomEvE9s_current3 _ZZN4cvc58internal6Random9getRandomEvE9s_current
3 _ZN4cvc58internal11NodeVisitorINS0_18SharedTermsVisitorEE7s_inRunE4 _ZN4cvc58internal11NodeVisitorINS0_18SharedTermsVisitorEE7s_inRunE
4 _ZN4cvc58internal11NodeVisitorINS0_18PreRegisterVisitorEE7s_inRunE5 _ZN4cvc58internal11NodeVisitorINS0_18PreRegisterVisitorEE7s_inRunE
5 _ZN4cvc58internal11NodeVisitorINS0_12AtomsCollectEE7s_inRunE6 _ZN4cvc58internal11NodeVisitorINS0_12AtomsCollectEE7s_inRunE
6 __bss_start7 __bss_start
7 __getauxval8 __getauxval
Offset 8460, 16 lines modifiedOffset 8461, 16 lines modified
8460 nl-rlv-assert-bounds8461 nl-rlv-assert-bounds
8461 on-repeat-ite-simp8462 on-repeat-ite-simp
8462 output-lang8463 output-lang
8463 parse-only8464 parse-only
8464 partial-triggers8465 partial-triggers
8465 partition-check8466 partition-check
8466 partition-conflict-size8467 partition-conflict-size
8467 partition 
8468 partition-strategy8468 partition-strategy
 8469 partition
8469 pb-rewrites8470 pb-rewrites
8470 pivot-threshold8471 pivot-threshold
8471 pool-inst8472 pool-inst
8472 portfolio-jobs8473 portfolio-jobs
8473 pp-assert-max-sub-size8474 pp-assert-max-sub-size
8474 pre-skolem-quant8475 pre-skolem-quant
8475 pre-skolem-quant-nested8476 pre-skolem-quant-nested
Offset 8503, 16 lines modifiedOffset 8504, 16 lines modified
8503 prop-row-length8504 prop-row-length
8504 purify-triggers8505 purify-triggers
8505 quant-alpha-equiv8506 quant-alpha-equiv
8506 quant-dsplit8507 quant-dsplit
8507 quant-fun-wd8508 quant-fun-wd
8508 quant-ind8509 quant-ind
8509 quant-rep-mode8510 quant-rep-mode
8510 random-frequency 
8511 random-freq8511 random-freq
 8512 random-frequency
8512 re-inter-mode8513 re-inter-mode
8513 register-quant-body-terms8514 register-quant-body-terms
8514 relational-triggers8515 relational-triggers
8515 relevance-filter8516 relevance-filter
8516 relevant-triggers8517 relevant-triggers
8517 repeat-simp8518 repeat-simp
8518 replay-early-close-depth8519 replay-early-close-depth
Offset 8536, 16 lines modifiedOffset 8537, 16 lines modified
8536 sets-infer-as-lemmas8537 sets-infer-as-lemmas
8537 sets-proxy-lemmas8538 sets-proxy-lemmas
8538 show-config8539 show-config
8539 show-trace-tags8540 show-trace-tags
8540 simp-ite-compress8541 simp-ite-compress
8541 simp-with-care8542 simp-with-care
8542 simplex-check-period8543 simplex-check-period
8543 simplification-mode 
8544 simplification8544 simplification
 8545 simplification-mode
8545 solve-bv-as-int8546 solve-bv-as-int
8546 solve-int-as-bv8547 solve-int-as-bv
8547 solve-real-as-int8548 solve-real-as-int
8548 standard-effort-variable-order-pivots8549 standard-effort-variable-order-pivots
8549 stats-all8550 stats-all
8550 stats-every-query8551 stats-every-query
8551 stats-internal8552 stats-internal
⊟
7.95 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 65768, 25 lines modifiedOffset 65768, 25 lines modified
65768 »       mov»    x3,·#0x1270················»  //·#472065768 »       mov»    x3,·#0x1270················»  //·#4720
65769 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>65769 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>
65770 »       add»    x0,·x19,·x365770 »       add»    x0,·x19,·x3
65771 »       add»    x1,·x1,·#0xa2865771 »       add»    x1,·x1,·#0xa28
65772 »       str»    w2,·[sp,·#4856]65772 »       str»    w2,·[sp,·#4856]
65773 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>65773 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
65774 »       mov»    w2,·#0x75··················»    //·#11765774 »       mov»    w2,·#0x75··················»    //·#117
65775 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>65775 »       adrp»   x1,·10f4000·<CaDiCaL::Internal::cover()@@Base+0xea010>
65776 »       mov»    x0,·#0x1298················»  //·#476065776 »       mov»    x0,·#0x1298················»  //·#4760
65777 »       add»    x1,·x1,·#0xa3865777 »       add»    x1,·x1,·#0xe0
65778 »       add»    x0,·x19,·x065778 »       add»    x0,·x19,·x0
65779 »       str»    w2,·[sp,·#4896]65779 »       str»    w2,·[sp,·#4896]
65780 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>65780 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
65781 »       mov»    w2,·#0x76··················»    //·#11865781 »       mov»    w2,·#0x76··················»    //·#118
65782 »       mov»    x30,·#0x12c0················» //·#480065782 »       mov»    x30,·#0x12c0················» //·#4800
65783 »       adrp»   x1,·10f4000·<CaDiCaL::Internal::cover()@@Base+0xea010>65783 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>
65784 »       add»    x0,·x19,·x3065784 »       add»    x0,·x19,·x30
65785 »       add»    x1,·x1,·#0xe065785 »       add»    x1,·x1,·#0xa38
65786 »       str»    w2,·[sp,·#4936]65786 »       str»    w2,·[sp,·#4936]
65787 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>65787 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
65788 »       mov»    w2,·#0x76··················»    //·#11865788 »       mov»    w2,·#0x76··················»    //·#118
65789 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>65789 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>
65790 »       mov»    x28,·#0x12e8················» //·#484065790 »       mov»    x28,·#0x12e8················» //·#4840
65791 »       add»    x1,·x1,·#0xa4065791 »       add»    x1,·x1,·#0xa40
65792 »       add»    x0,·x19,·x2865792 »       add»    x0,·x19,·x28
Offset 66155, 15 lines modifiedOffset 66155, 15 lines modified
66155 »       add»    x1,·x1,·#0xd8866155 »       add»    x1,·x1,·#0xd88
66156 »       add»    x0,·x19,·x2866156 »       add»    x0,·x19,·x28
66157 »       str»    w2,·[sp,·#7056]66157 »       str»    w2,·[sp,·#7056]
66158 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66158 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66159 »       mov»    w2,·#0xab··················»    //·#17166159 »       mov»    w2,·#0xab··················»    //·#171
66160 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>66160 »       adrp»   x1,·1131000·<CaDiCaL::Internal::cover()@@Base+0x127010>
66161 »       mov»    x26,·#0x1b30················» //·#696066161 »       mov»    x26,·#0x1b30················» //·#6960
66162 »       add»    x1,·x1,·#0xd9066162 »       add»    x1,·x1,·#0xd98
66163 »       add»    x0,·x19,·x2666163 »       add»    x0,·x19,·x26
66164 »       str»    w2,·[sp,·#7096]66164 »       str»    w2,·[sp,·#7096]
66165 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66165 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66166 »       mov»    w2,·#0xab··················»    //·#17166166 »       mov»    w2,·#0xab··················»    //·#171
66167 »       adrp»   x1,·10fa000·<CaDiCaL::Internal::cover()@@Base+0xf0010>66167 »       adrp»   x1,·10fa000·<CaDiCaL::Internal::cover()@@Base+0xf0010>
66168 »       mov»    x25,·#0x1b58················» //·#700066168 »       mov»    x25,·#0x1b58················» //·#7000
66169 »       add»    x1,·x1,·#0xe7866169 »       add»    x1,·x1,·#0xe78
Offset 66504, 23 lines modifiedOffset 66504, 23 lines modified
66504 »       mov»    x0,·#0x22d8················»  //·#892066504 »       mov»    x0,·#0x22d8················»  //·#8920
66505 »       add»    x1,·x1,·#0xe066505 »       add»    x1,·x1,·#0xe0
66506 »       add»    x0,·x19,·x066506 »       add»    x0,·x19,·x0
66507 »       str»    w2,·[sp,·#9056]66507 »       str»    w2,·[sp,·#9056]
66508 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66508 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66509 »       mov»    w2,·#0xdc··················»    //·#22066509 »       mov»    w2,·#0xdc··················»    //·#220
66510 »       mov»    x30,·#0x2300················» //·#896066510 »       mov»    x30,·#0x2300················» //·#8960
66511 »       adrp»   x1,·10f4000·<CaDiCaL::Internal::cover()@@Base+0xea010>66511 »       adrp»   x1,·112c000·<CaDiCaL::Internal::cover()@@Base+0x122010>
66512 »       add»    x0,·x19,·x3066512 »       add»    x0,·x19,·x30
66513 »       add»    x1,·x1,·#0x11066513 »       add»    x1,·x1,·#0xfc8
66514 »       str»    w2,·[sp,·#9096]66514 »       str»    w2,·[sp,·#9096]
66515 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66515 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66516 »       mov»    w2,·#0xdd··················»    //·#22166516 »       mov»    w2,·#0xdd··················»    //·#221
66517 »       adrp»   x1,·112c000·<CaDiCaL::Internal::cover()@@Base+0x122010>66517 »       adrp»   x1,·10f4000·<CaDiCaL::Internal::cover()@@Base+0xea010>
66518 »       mov»    x28,·#0x2328················» //·#900066518 »       mov»    x28,·#0x2328················» //·#9000
66519 »       add»    x1,·x1,·#0xfc866519 »       add»    x1,·x1,·#0x110
66520 »       add»    x0,·x19,·x2866520 »       add»    x0,·x19,·x28
66521 »       str»    w2,·[sp,·#9136]66521 »       str»    w2,·[sp,·#9136]
66522 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66522 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66523 »       mov»    w2,·#0xdd··················»    //·#22166523 »       mov»    w2,·#0xdd··················»    //·#221
66524 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66524 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66525 »       mov»    x26,·#0x2350················» //·#904066525 »       mov»    x26,·#0x2350················» //·#9040
66526 »       add»    x1,·x1,·#0xe866526 »       add»    x1,·x1,·#0xe8
Offset 66561, 15 lines modifiedOffset 66561, 15 lines modified
66561 »       add»    x1,·x1,·#0x12866561 »       add»    x1,·x1,·#0x128
66562 »       add»    x0,·x19,·x2166562 »       add»    x0,·x19,·x21
66563 »       str»    w2,·[sp,·#9376]66563 »       str»    w2,·[sp,·#9376]
66564 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66564 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66565 »       mov»    w2,·#0xe2··················»    //·#22666565 »       mov»    w2,·#0xe2··················»    //·#226
66566 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66566 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66567 »       mov»    x20,·#0x2440················» //·#928066567 »       mov»    x20,·#0x2440················» //·#9280
66568 »       add»    x1,·x1,·#0x13866568 »       add»    x1,·x1,·#0x130
66569 »       add»    x0,·x19,·x2066569 »       add»    x0,·x19,·x20
66570 »       str»    w2,·[sp,·#9416]66570 »       str»    w2,·[sp,·#9416]
66571 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66571 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66572 »       mov»    w2,·#0xe2··················»    //·#22666572 »       mov»    w2,·#0xe2··················»    //·#226
66573 »       mov»    x18,·#0x2468················» //·#932066573 »       mov»    x18,·#0x2468················» //·#9320
66574 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66574 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66575 »       add»    x0,·x19,·x1866575 »       add»    x0,·x19,·x18
Offset 66583, 15 lines modifiedOffset 66583, 15 lines modified
66583 »       add»    x1,·x1,·#0x15866583 »       add»    x1,·x1,·#0x158
66584 »       str»    w2,·[sp,·#9496]66584 »       str»    w2,·[sp,·#9496]
66585 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66585 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66586 »       mov»    w2,·#0xe4··················»    //·#22866586 »       mov»    w2,·#0xe4··················»    //·#228
66587 »       mov»    x16,·#0x24b8················» //·#940066587 »       mov»    x16,·#0x24b8················» //·#9400
66588 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66588 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66589 »       add»    x0,·x19,·x1666589 »       add»    x0,·x19,·x16
66590 »       add»    x1,·x1,·#0x16866590 »       add»    x1,·x1,·#0x170
66591 »       str»    w2,·[sp,·#9536]66591 »       str»    w2,·[sp,·#9536]
66592 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66592 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66593 »       mov»    w2,·#0xe4··················»    //·#22866593 »       mov»    w2,·#0xe4··················»    //·#228
66594 »       mov»    x15,·#0x24e0················» //·#944066594 »       mov»    x15,·#0x24e0················» //·#9440
66595 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66595 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66596 »       add»    x0,·x19,·x1566596 »       add»    x0,·x19,·x15
66597 »       add»    x1,·x1,·#0x18066597 »       add»    x1,·x1,·#0x180
Offset 66911, 15 lines modifiedOffset 66911, 15 lines modified
66911 »       add»    x1,·x1,·#0x4b866911 »       add»    x1,·x1,·#0x4b8
66912 »       add»    x0,·x19,·x2366912 »       add»    x0,·x19,·x23
66913 »       str»    w2,·[sp,·#11376]66913 »       str»    w2,·[sp,·#11376]
66914 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66914 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66915 »       mov»    w2,·#0x111·················»   //·#27366915 »       mov»    w2,·#0x111·················»   //·#273
66916 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66916 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66917 »       mov»    x22,·#0x2c10················» //·#1128066917 »       mov»    x22,·#0x2c10················» //·#11280
66918 »       add»    x1,·x1,·#0x4d066918 »       add»    x1,·x1,·#0x4c8
66919 »       add»    x0,·x19,·x2266919 »       add»    x0,·x19,·x22
66920 »       str»    w2,·[sp,·#11416]66920 »       str»    w2,·[sp,·#11416]
66921 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>66921 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
66922 »       mov»    w2,·#0x111·················»   //·#27366922 »       mov»    w2,·#0x111·················»   //·#273
66923 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>66923 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
66924 »       mov»    x21,·#0x2c38················» //·#1132066924 »       mov»    x21,·#0x2c38················» //·#11320
66925 »       add»    x1,·x1,·#0x4e066925 »       add»    x1,·x1,·#0x4e0
Offset 67029, 24 lines modifiedOffset 67029, 24 lines modified
67029 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>67029 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>
67030 »       add»    x0,·x19,·x567030 »       add»    x0,·x19,·x5
67031 »       add»    x1,·x1,·#0x63067031 »       add»    x1,·x1,·#0x630
67032 »       str»    w2,·[sp,·#12056]67032 »       str»    w2,·[sp,·#12056]
67033 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>67033 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
67034 »       mov»    w2,·#0x121·················»   //·#28967034 »       mov»    w2,·#0x121·················»   //·#289
67035 »       mov»    x4,·#0x2eb8················»  //·#1196067035 »       mov»    x4,·#0x2eb8················»  //·#11960
67036 »       adrp»   x1,·1132000·<CaDiCaL::Internal::cover()@@Base+0x128010>67036 »       adrp»   x1,·10f4000·<CaDiCaL::Internal::cover()@@Base+0xea010>
67037 »       add»    x0,·x19,·x467037 »       add»    x0,·x19,·x4
67038 »       add»    x1,·x1,·#0x63867038 »       add»    x1,·x1,·#0x128
67039 »       str»    w2,·[sp,·#12096]67039 »       str»    w2,·[sp,·#12096]
67040 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>67040 »       bl»     f00454·<cvc5::internal::Options::Options()@@Base+0x1600>
67041 »       mov»    w2,·#0x122·················»   //·#29067041 »       mov»    w2,·#0x122·················»   //·#290
Max diff block lines reached; 2616/7952 bytes (32.90%) of diff not shown.
⊟
5.43 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 16409, 16 lines modifiedOffset 16409, 16 lines modified
16409 ··0x01131d10·616e7473·2d6d6f64·65000000·00000000·ants-mode.......16409 ··0x01131d10·616e7473·2d6d6f64·65000000·00000000·ants-mode.......
16410 ··0x01131d20·6974652d·6474742d·73706c69·742d7175·ite-dtt-split-qu16410 ··0x01131d20·6974652d·6474742d·73706c69·742d7175·ite-dtt-split-qu
16411 ··0x01131d30·616e7400·00000000·6974652d·6c696674·ant.....ite-lift16411 ··0x01131d30·616e7400·00000000·6974652d·6c696674·ant.....ite-lift
16412 ··0x01131d40·2d717561·6e740000·6974652d·73696d70·-quant..ite-simp16412 ··0x01131d40·2d717561·6e740000·6974652d·73696d70·-quant..ite-simp
16413 ··0x01131d50·00000000·00000000·6a682d72·6c762d6f·........jh-rlv-o16413 ··0x01131d50·00000000·00000000·6a682d72·6c762d6f·........jh-rlv-o
16414 ··0x01131d60·72646572·00000000·6a682d73·6b6f6c65·rder....jh-skole16414 ··0x01131d60·72646572·00000000·6a682d73·6b6f6c65·rder....jh-skole
16415 ··0x01131d70·6d000000·00000000·6a682d73·6b6f6c65·m.......jh-skole16415 ··0x01131d70·6d000000·00000000·6a682d73·6b6f6c65·m.......jh-skole
 16416 ··0x01131d80·6d2d726c·76000000·696e7075·742d6c61·m-rlv...input-la
16416 ··0x01131d80·6d2d726c·76000000·6c616e67·00000000·m-rlv...lang....16417 ··0x01131d90·6e677561·67650000·6c616e67·00000000·nguage..lang....
16417 ··0x01131d90·696e7075·742d6c61·6e677561·67650000·input-language.. 
16418 ··0x01131da0·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay16418 ··0x01131da0·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
16419 ··0x01131db0·2d666169·6c757265·00000000·00000000·-failure........16419 ··0x01131db0·2d666169·6c757265·00000000·00000000·-failure........
16420 ··0x01131dc0·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus16420 ··0x01131dc0·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
16421 ··0x01131dd0·74000000·00000000·6c667363·2d666c61·t.......lfsc-fla16421 ··0x01131dd0·74000000·00000000·6c667363·2d666c61·t.......lfsc-fla
16422 ··0x01131de0·7474656e·00000000·6c697465·72616c2d·tten....literal-16422 ··0x01131de0·7474656e·00000000·6c697465·72616c2d·tten....literal-
16423 ··0x01131df0·6d617463·68696e67·00000000·00000000·matching........16423 ··0x01131df0·6d617463·68696e67·00000000·00000000·matching........
16424 ··0x01131e00·6d616372·6f732d71·75616e74·00000000·macros-quant....16424 ··0x01131e00·6d616372·6f732d71·75616e74·00000000·macros-quant....
Offset 16467, 20 lines modifiedOffset 16467, 20 lines modified
16467 ··0x011320b0·6e6c2d72·6c762d61·73736572·742d626f·nl-rlv-assert-bo16467 ··0x011320b0·6e6c2d72·6c762d61·73736572·742d626f·nl-rlv-assert-bo
16468 ··0x011320c0·756e6473·00000000·6f6e2d72·65706561·unds....on-repea16468 ··0x011320c0·756e6473·00000000·6f6e2d72·65706561·unds....on-repea
16469 ··0x011320d0·742d6974·652d7369·6d700000·00000000·t-ite-simp......16469 ··0x011320d0·742d6974·652d7369·6d700000·00000000·t-ite-simp......
16470 ··0x011320e0·6f726163·6c657300·6f757470·75740000·oracles.output..16470 ··0x011320e0·6f726163·6c657300·6f757470·75740000·oracles.output..
16471 ··0x011320f0·6f757470·75742d6c·616e6700·00000000·output-lang.....16471 ··0x011320f0·6f757470·75742d6c·616e6700·00000000·output-lang.....
16472 ··0x01132100·70617273·652d6f6e·6c790000·00000000·parse-only......16472 ··0x01132100·70617273·652d6f6e·6c790000·00000000·parse-only......
16473 ··0x01132110·70617274·69616c2d·74726967·67657273·partial-triggers16473 ··0x01132110·70617274·69616c2d·74726967·67657273·partial-triggers
16474 ··0x01132120·00000000·00000000·70617274·6974696f·........partitio 
16475 ··0x01132130·6e2d6368·65636b00·63686563·6b000000·n-check.check...16474 ··0x01132120·00000000·00000000·63686563·6b000000·........check...
 16475 ··0x01132130·70617274·6974696f·6e2d6368·65636b00·partition-check.
16476 ··0x01132140·70617274·6974696f·6e2d636f·6e666c69·partition-confli16476 ··0x01132140·70617274·6974696f·6e2d636f·6e666c69·partition-confli
16477 ··0x01132150·63742d73·697a6500·70617274·6974696f·ct-size.partitio16477 ··0x01132150·63742d73·697a6500·70617274·6974696f·ct-size.partitio
16478 ··0x01132160·6e000000·00000000·70617274·6974696f·n.......partitio 
16479 ··0x01132170·6e2d7374·72617465·67790000·00000000·n-strategy......16478 ··0x01132160·6e2d7374·72617465·67790000·00000000·n-strategy......
 16479 ··0x01132170·70617274·6974696f·6e000000·00000000·partition.......
16480 ··0x01132180·70622d72·65777269·74657300·00000000·pb-rewrites.....16480 ··0x01132180·70622d72·65777269·74657300·00000000·pb-rewrites.....
16481 ··0x01132190·7069766f·742d7468·72657368·6f6c6400·pivot-threshold.16481 ··0x01132190·7069766f·742d7468·72657368·6f6c6400·pivot-threshold.
16482 ··0x011321a0·706f6f6c·2d696e73·74000000·00000000·pool-inst.......16482 ··0x011321a0·706f6f6c·2d696e73·74000000·00000000·pool-inst.......
16483 ··0x011321b0·706f7274·666f6c69·6f2d6a6f·62730000·portfolio-jobs..16483 ··0x011321b0·706f7274·666f6c69·6f2d6a6f·62730000·portfolio-jobs..
16484 ··0x011321c0·70702d61·73736572·742d6d61·782d7375·pp-assert-max-su16484 ··0x011321c0·70702d61·73736572·742d6d61·782d7375·pp-assert-max-su
16485 ··0x011321d0·622d7369·7a650000·7072652d·736b6f6c·b-size..pre-skol16485 ··0x011321d0·622d7369·7a650000·7072652d·736b6f6c·b-size..pre-skol
16486 ··0x011321e0·656d2d71·75616e74·00000000·00000000·em-quant........16486 ··0x011321e0·656d2d71·75616e74·00000000·00000000·em-quant........
Offset 16525, 16 lines modifiedOffset 16525, 16 lines modified
16525 ··0x01132450·70757269·66792d74·72696767·65727300·purify-triggers.16525 ··0x01132450·70757269·66792d74·72696767·65727300·purify-triggers.
16526 ··0x01132460·7175616e·742d616c·7068612d·65717569·quant-alpha-equi16526 ··0x01132460·7175616e·742d616c·7068612d·65717569·quant-alpha-equi
16527 ··0x01132470·76000000·00000000·7175616e·742d6473·v.......quant-ds16527 ··0x01132470·76000000·00000000·7175616e·742d6473·v.......quant-ds
16528 ··0x01132480·706c6974·00000000·7175616e·742d6675·plit....quant-fu16528 ··0x01132480·706c6974·00000000·7175616e·742d6675·plit....quant-fu
16529 ··0x01132490·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in16529 ··0x01132490·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in
16530 ··0x011324a0·64000000·00000000·7175616e·742d7265·d.......quant-re16530 ··0x011324a0·64000000·00000000·7175616e·742d7265·d.......quant-re
16531 ··0x011324b0·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f16531 ··0x011324b0·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f
 16532 ··0x011324c0·72657100·00000000·72616e64·6f6d2d66·req.....random-f
16532 ··0x011324c0·72657175·656e6379·00000000·00000000·requency........16533 ··0x011324d0·72657175·656e6379·00000000·00000000·requency........
16533 ··0x011324d0·72616e64·6f6d2d66·72657100·00000000·random-freq..... 
16534 ··0x011324e0·72652d65·6c696d00·72652d69·6e746572·re-elim.re-inter16534 ··0x011324e0·72652d65·6c696d00·72652d69·6e746572·re-elim.re-inter
16535 ··0x011324f0·2d6d6f64·65000000·72656769·73746572·-mode...register16535 ··0x011324f0·2d6d6f64·65000000·72656769·73746572·-mode...register
16536 ··0x01132500·2d717561·6e742d62·6f64792d·7465726d·-quant-body-term16536 ··0x01132500·2d717561·6e742d62·6f64792d·7465726d·-quant-body-term
16537 ··0x01132510·73000000·00000000·72656c61·74696f6e·s.......relation16537 ··0x01132510·73000000·00000000·72656c61·74696f6e·s.......relation
16538 ··0x01132520·616c2d74·72696767·65727300·00000000·al-triggers.....16538 ··0x01132520·616c2d74·72696767·65727300·00000000·al-triggers.....
16539 ··0x01132530·72656c65·76616e63·652d6669·6c746572·relevance-filter16539 ··0x01132530·72656c65·76616e63·652d6669·6c746572·relevance-filter
16540 ··0x01132540·00000000·00000000·72656c65·76616e74·........relevant16540 ··0x01132540·00000000·00000000·72656c65·76616e74·........relevant
Offset 16569, 17 lines modifiedOffset 16569, 17 lines modified
16569 ··0x01132710·78792d6c·656d6d61·73000000·00000000·xy-lemmas.......16569 ··0x01132710·78792d6c·656d6d61·73000000·00000000·xy-lemmas.......
16570 ··0x01132720·73686f77·2d636f6e·66696700·00000000·show-config.....16570 ··0x01132720·73686f77·2d636f6e·66696700·00000000·show-config.....
16571 ··0x01132730·73686f77·2d747261·63652d74·61677300·show-trace-tags.16571 ··0x01132730·73686f77·2d747261·63652d74·61677300·show-trace-tags.
16572 ··0x01132740·73696d70·2d697465·2d636f6d·70726573·simp-ite-compres16572 ··0x01132740·73696d70·2d697465·2d636f6d·70726573·simp-ite-compres
16573 ··0x01132750·73000000·00000000·73696d70·2d776974·s.......simp-wit16573 ··0x01132750·73000000·00000000·73696d70·2d776974·s.......simp-wit
16574 ··0x01132760·682d6361·72650000·73696d70·6c65782d·h-care..simplex-16574 ··0x01132760·682d6361·72650000·73696d70·6c65782d·h-care..simplex-
16575 ··0x01132770·63686563·6b2d7065·72696f64·00000000·check-period....16575 ··0x01132770·63686563·6b2d7065·72696f64·00000000·check-period....
 16576 ··0x01132780·73696d70·6c696669·63617469·6f6e0000·simplification..
16576 ··0x01132780·73696d70·6c696669·63617469·6f6e2d6d·simplification-m16577 ··0x01132790·73696d70·6c696669·63617469·6f6e2d6d·simplification-m
16577 ··0x01132790·6f646500·00000000·73696d70·6c696669·ode.....simplifi 
16578 ··0x011327a0·63617469·6f6e0000·736f692d·71650000·cation..soi-qe..16578 ··0x011327a0·6f646500·00000000·736f692d·71650000·ode.....soi-qe..
16579 ··0x011327b0·736f6c76·652d6276·2d61732d·696e7400·solve-bv-as-int.16579 ··0x011327b0·736f6c76·652d6276·2d61732d·696e7400·solve-bv-as-int.
16580 ··0x011327c0·736f6c76·652d696e·742d6173·2d627600·solve-int-as-bv.16580 ··0x011327c0·736f6c76·652d696e·742d6173·2d627600·solve-int-as-bv.
16581 ··0x011327d0·736f6c76·652d7265·616c2d61·732d696e·solve-real-as-in16581 ··0x011327d0·736f6c76·652d7265·616c2d61·732d696e·solve-real-as-in
16582 ··0x011327e0·74000000·00000000·7374616e·64617264·t.......standard16582 ··0x011327e0·74000000·00000000·7374616e·64617264·t.......standard
16583 ··0x011327f0·2d656666·6f72742d·76617269·61626c65·-effort-variable16583 ··0x011327f0·2d656666·6f72742d·76617269·61626c65·-effort-variable
16584 ··0x01132800·2d6f7264·65722d70·69766f74·73000000·-order-pivots...16584 ··0x01132800·2d6f7264·65722d70·69766f74·73000000·-order-pivots...
16585 ··0x01132810·73746174·73000000·73746174·732d616c·stats...stats-al16585 ··0x01132810·73746174·73000000·73746174·732d616c·stats...stats-al
⊟
7.82 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 307, 17 lines modifiedOffset 307, 17 lines modified
307 ··0x012f1300·00000000·00000000·71010000·00000000·........q.......307 ··0x012f1300·00000000·00000000·71010000·00000000·........q.......
308 ··0x012f1310·c0cf1201·00000000·01000000·00000000·................308 ··0x012f1310·c0cf1201·00000000·01000000·00000000·................
309 ··0x012f1320·00000000·00000000·72010000·00000000·........r.......309 ··0x012f1320·00000000·00000000·72010000·00000000·........r.......
310 ··0x012f1330·b04a1001·00000000·00000000·00000000·.J..............310 ··0x012f1330·b04a1001·00000000·00000000·00000000·.J..............
311 ··0x012f1340·00000000·00000000·73010000·00000000·........s.......311 ··0x012f1340·00000000·00000000·73010000·00000000·........s.......
312 ··0x012f1350·681c1401·00000000·00000000·00000000·h...............312 ··0x012f1350·681c1401·00000000·00000000·00000000·h...............
313 ··0x012f1360·00000000·00000000·74010000·00000000·........t.......313 ··0x012f1360·00000000·00000000·74010000·00000000·........t.......
314 ··0x012f1370·881d1301·00000000·01000000·00000000·................314 ··0x012f1370·981d1301·00000000·01000000·00000000·................
315 ··0x012f1380·00000000·00000000·75010000·00000000·........u.......315 ··0x012f1380·00000000·00000000·75010000·00000000·........u.......
316 ··0x012f1390·901d1301·00000000·01000000·00000000·................316 ··0x012f1390·881d1301·00000000·01000000·00000000·................
317 ··0x012f13a0·00000000·00000000·76010000·00000000·........v.......317 ··0x012f13a0·00000000·00000000·76010000·00000000·........v.......
318 ··0x012f13b0·c8cf1201·00000000·01000000·00000000·................318 ··0x012f13b0·c8cf1201·00000000·01000000·00000000·................
319 ··0x012f13c0·00000000·00000000·77010000·00000000·........w.......319 ··0x012f13c0·00000000·00000000·77010000·00000000·........w.......
320 ··0x012f13d0·10410f01·00000000·01000000·00000000·.A..............320 ··0x012f13d0·10410f01·00000000·01000000·00000000·.A..............
321 ··0x012f13e0·00000000·00000000·78010000·00000000·........x.......321 ··0x012f13e0·00000000·00000000·78010000·00000000·........x.......
322 ··0x012f13f0·e8201301·00000000·01000000·00000000·.·..............322 ··0x012f13f0·e8201301·00000000·01000000·00000000·.·..............
323 ··0x012f1400·00000000·00000000·79010000·00000000·........y.......323 ··0x012f1400·00000000·00000000·79010000·00000000·........y.......
Offset 569, 23 lines modifiedOffset 569, 23 lines modified
569 ··0x012f2360·00000000·00000000·f4010000·00000000·................569 ··0x012f2360·00000000·00000000·f4010000·00000000·................
570 ··0x012f2370·68161301·00000000·01000000·00000000·h...............570 ··0x012f2370·68161301·00000000·01000000·00000000·h...............
571 ··0x012f2380·00000000·00000000·f5010000·00000000·................571 ··0x012f2380·00000000·00000000·f5010000·00000000·................
572 ··0x012f2390·80161301·00000000·01000000·00000000·................572 ··0x012f2390·80161301·00000000·01000000·00000000·................
573 ··0x012f23a0·00000000·00000000·f6010000·00000000·................573 ··0x012f23a0·00000000·00000000·f6010000·00000000·................
574 ··0x012f23b0·b8161301·00000000·01000000·00000000·................574 ··0x012f23b0·b8161301·00000000·01000000·00000000·................
575 ··0x012f23c0·00000000·00000000·f7010000·00000000·................575 ··0x012f23c0·00000000·00000000·f7010000·00000000·................
576 ··0x012f23d0·28211301·00000000·01000000·00000000·(!..............576 ··0x012f23d0·30211301·00000000·01000000·00000000·0!..............
577 ··0x012f23e0·00000000·00000000·f8010000·00000000·................577 ··0x012f23e0·00000000·00000000·f8010000·00000000·................
578 ··0x012f23f0·38211301·00000000·01000000·00000000·8!..............578 ··0x012f23f0·28211301·00000000·01000000·00000000·(!..............
579 ··0x012f2400·00000000·00000000·f9010000·00000000·................579 ··0x012f2400·00000000·00000000·f9010000·00000000·................
580 ··0x012f2410·40211301·00000000·01000000·00000000·@!..............580 ··0x012f2410·40211301·00000000·01000000·00000000·@!..............
581 ··0x012f2420·00000000·00000000·fa010000·00000000·................581 ··0x012f2420·00000000·00000000·fa010000·00000000·................
582 ··0x012f2430·68211301·00000000·01000000·00000000·h!..............582 ··0x012f2430·58211301·00000000·01000000·00000000·X!..............
583 ··0x012f2440·00000000·00000000·fb010000·00000000·................583 ··0x012f2440·00000000·00000000·fb010000·00000000·................
584 ··0x012f2450·58211301·00000000·01000000·00000000·X!..............584 ··0x012f2450·70211301·00000000·01000000·00000000·p!..............
585 ··0x012f2460·00000000·00000000·fc010000·00000000·................585 ··0x012f2460·00000000·00000000·fc010000·00000000·................
586 ··0x012f2470·10321301·00000000·01000000·00000000·.2..............586 ··0x012f2470·10321301·00000000·01000000·00000000·.2..............
587 ··0x012f2480·00000000·00000000·fd010000·00000000·................587 ··0x012f2480·00000000·00000000·fd010000·00000000·................
588 ··0x012f2490·28321301·00000000·01000000·00000000·(2..............588 ··0x012f2490·28321301·00000000·01000000·00000000·(2..............
589 ··0x012f24a0·00000000·00000000·fe010000·00000000·................589 ··0x012f24a0·00000000·00000000·fe010000·00000000·................
590 ··0x012f24b0·d81a1301·00000000·00000000·00000000·................590 ··0x012f24b0·d81a1301·00000000·00000000·00000000·................
591 ··0x012f24c0·00000000·00000000·ff010000·00000000·................591 ··0x012f24c0·00000000·00000000·ff010000·00000000·................
Offset 673, 17 lines modifiedOffset 673, 17 lines modified
673 ··0x012f29e0·00000000·00000000·28020000·00000000·........(.......673 ··0x012f29e0·00000000·00000000·28020000·00000000·........(.......
674 ··0x012f29f0·881e1301·00000000·00000000·00000000·................674 ··0x012f29f0·881e1301·00000000·00000000·00000000·................
675 ··0x012f2a00·00000000·00000000·29020000·00000000·........).......675 ··0x012f2a00·00000000·00000000·29020000·00000000·........).......
676 ··0x012f2a10·f8211401·00000000·00000000·00000000·.!..............676 ··0x012f2a10·f8211401·00000000·00000000·00000000·.!..............
677 ··0x012f2a20·00000000·00000000·2a020000·00000000·........*.......677 ··0x012f2a20·00000000·00000000·2a020000·00000000·........*.......
678 ··0x012f2a30·f85a1001·00000000·01000000·00000000·.Z..............678 ··0x012f2a30·f85a1001·00000000·01000000·00000000·.Z..............
679 ··0x012f2a40·00000000·00000000·2b020000·00000000·........+.......679 ··0x012f2a40·00000000·00000000·2b020000·00000000·........+.......
680 ··0x012f2a50·d0241301·00000000·01000000·00000000·.$..............680 ··0x012f2a50·b8241301·00000000·01000000·00000000·.$..............
681 ··0x012f2a60·00000000·00000000·2c020000·00000000·........,.......681 ··0x012f2a60·00000000·00000000·2c020000·00000000·........,.......
682 ··0x012f2a70·b8241301·00000000·01000000·00000000·.$..............682 ··0x012f2a70·c8241301·00000000·01000000·00000000·.$..............
683 ··0x012f2a80·00000000·00000000·2d020000·00000000·........-.......683 ··0x012f2a80·00000000·00000000·2d020000·00000000·........-.......
684 ··0x012f2a90·d8251301·00000000·01000000·00000000·.%..............684 ··0x012f2a90·d8251301·00000000·01000000·00000000·.%..............
685 ··0x012f2aa0·00000000·00000000·2e020000·00000000·................685 ··0x012f2aa0·00000000·00000000·2e020000·00000000·................
686 ··0x012f2ab0·f0251301·00000000·01000000·00000000·.%..............686 ··0x012f2ab0·f0251301·00000000·01000000·00000000·.%..............
687 ··0x012f2ac0·00000000·00000000·2f020000·00000000·......../.......687 ··0x012f2ac0·00000000·00000000·2f020000·00000000·......../.......
688 ··0x012f2ad0·60261301·00000000·01000000·00000000·`&..............688 ··0x012f2ad0·60261301·00000000·01000000·00000000·`&..............
689 ··0x012f2ae0·00000000·00000000·30020000·00000000·........0.......689 ··0x012f2ae0·00000000·00000000·30020000·00000000·........0.......
Offset 1405, 17 lines modifiedOffset 1405, 17 lines modified
1405 ··0x012f57a0·00000000·00000000·96030000·00000000·................1405 ··0x012f57a0·00000000·00000000·96030000·00000000·................
1406 ··0x012f57b0·802f1401·00000000·00000000·00000000·./..............1406 ··0x012f57b0·802f1401·00000000·00000000·00000000·./..............
1407 ··0x012f57c0·00000000·00000000·97030000·00000000·................1407 ··0x012f57c0·00000000·00000000·97030000·00000000·................
1408 ··0x012f57d0·58271301·00000000·00000000·00000000·X'..............1408 ··0x012f57d0·58271301·00000000·00000000·00000000·X'..............
1409 ··0x012f57e0·00000000·00000000·98030000·00000000·................1409 ··0x012f57e0·00000000·00000000·98030000·00000000·................
1410 ··0x012f57f0·982f1401·00000000·00000000·00000000·./..............1410 ··0x012f57f0·982f1401·00000000·00000000·00000000·./..............
1411 ··0x012f5800·00000000·00000000·99030000·00000000·................1411 ··0x012f5800·00000000·00000000·99030000·00000000·................
1412 ··0x012f5810·98271301·00000000·01000000·00000000·.'..............1412 ··0x012f5810·80271301·00000000·01000000·00000000·.'..............
1413 ··0x012f5820·00000000·00000000·9a030000·00000000·................1413 ··0x012f5820·00000000·00000000·9a030000·00000000·................
1414 ··0x012f5830·80271301·00000000·01000000·00000000·.'..............1414 ··0x012f5830·90271301·00000000·01000000·00000000·.'..............
1415 ··0x012f5840·00000000·00000000·9b030000·00000000·................1415 ··0x012f5840·00000000·00000000·9b030000·00000000·................
1416 ··0x012f5850·905e1001·00000000·00000000·00000000·.^..............1416 ··0x012f5850·905e1001·00000000·00000000·00000000·.^..............
1417 ··0x012f5860·00000000·00000000·9c030000·00000000·................1417 ··0x012f5860·00000000·00000000·9c030000·00000000·................
1418 ··0x012f5870·b02f1401·00000000·00000000·00000000·./..............1418 ··0x012f5870·b02f1401·00000000·00000000·00000000·./..............
1419 ··0x012f5880·00000000·00000000·9d030000·00000000·................1419 ··0x012f5880·00000000·00000000·9d030000·00000000·................
1420 ··0x012f5890·b0271301·00000000·01000000·00000000·.'..............1420 ··0x012f5890·b0271301·00000000·01000000·00000000·.'..............
1421 ··0x012f58a0·00000000·00000000·9e030000·00000000·................1421 ··0x012f58a0·00000000·00000000·9e030000·00000000·................
Offset 1609, 15 lines modifiedOffset 1609, 15 lines modified
1609 ··0x012f6460·01000000·00000000·01000000·00000000·................1609 ··0x012f6460·01000000·00000000·01000000·00000000·................
1610 ··0x012f6470·00000000·00000000·98ed1401·00000000·................1610 ··0x012f6470·00000000·00000000·98ed1401·00000000·................
1611 ··0x012f6480·889b1401·00000000·01000000·00000000·................1611 ··0x012f6480·889b1401·00000000·01000000·00000000·................
1612 ··0x012f6490·01000000·00000000·00000000·00000000·................1612 ··0x012f6490·01000000·00000000·00000000·00000000·................
1613 ··0x012f64a0·78ed1401·00000000·989b1401·00000000·x...............1613 ··0x012f64a0·78ed1401·00000000·989b1401·00000000·x...............
1614 ··0x012f64b0·01000000·01000000·03000000·00000000·................1614 ··0x012f64b0·01000000·01000000·03000000·00000000·................
1615 ··0x012f64c0·00000000·00000000·60ed1401·00000000·........`.......1615 ··0x012f64c0·00000000·00000000·60ed1401·00000000·........`.......
1616 ··0x012f64d0·38211301·00000000·00000000·00000000·8!..............1616 ··0x012f64d0·28211301·00000000·00000000·00000000·(!..............
1617 ··0x012f64e0·01000000·00000000·00000000·00000000·................1617 ··0x012f64e0·01000000·00000000·00000000·00000000·................
1618 ··0x012f64f0·40ed1401·00000000·a89b1401·00000000·@...............1618 ··0x012f64f0·40ed1401·00000000·a89b1401·00000000·@...............
1619 ··0x012f6500·01000000·00000000·01000000·00000000·................1619 ··0x012f6500·01000000·00000000·01000000·00000000·................
1620 ··0x012f6510·00000000·00000000·20ed1401·00000000·........·.......1620 ··0x012f6510·00000000·00000000·20ed1401·00000000·........·.......
1621 ··0x012f6520·c09b1401·00000000·01000000·00000000·................1621 ··0x012f6520·c09b1401·00000000·01000000·00000000·................
1622 ··0x012f6530·01000000·00000000·00000000·00000000·................1622 ··0x012f6530·01000000·00000000·00000000·00000000·................
1623 ··0x012f6540·00ed1401·00000000·d09b1401·00000000·................1623 ··0x012f6540·00ed1401·00000000·d09b1401·00000000·................
Offset 2016, 15 lines modifiedOffset 2016, 15 lines modified
2016 ··0x012f7dd0·809b1401·00000000·01000000·00000000·................2016 ··0x012f7dd0·809b1401·00000000·01000000·00000000·................
2017 ··0x012f7de0·01000000·00000000·00000000·00000000·................2017 ··0x012f7de0·01000000·00000000·00000000·00000000·................
2018 ··0x012f7df0·98ed1401·00000000·889b1401·00000000·................2018 ··0x012f7df0·98ed1401·00000000·889b1401·00000000·................
2019 ··0x012f7e00·01000000·00000000·01000000·00000000·................2019 ··0x012f7e00·01000000·00000000·01000000·00000000·................
2020 ··0x012f7e10·00000000·00000000·78ed1401·00000000·........x.......2020 ··0x012f7e10·00000000·00000000·78ed1401·00000000·........x.......
2021 ··0x012f7e20·989b1401·00000000·01000000·01000000·................2021 ··0x012f7e20·989b1401·00000000·01000000·01000000·................
2022 ··0x012f7e30·03000000·00000000·00000000·00000000·................2022 ··0x012f7e30·03000000·00000000·00000000·00000000·................
2023 ··0x012f7e40·60ed1401·00000000·38211301·00000000·`.......8!......2023 ··0x012f7e40·60ed1401·00000000·28211301·00000000·`.......(!......
2024 ··0x012f7e50·00000000·00000000·01000000·00000000·................2024 ··0x012f7e50·00000000·00000000·01000000·00000000·................
2025 ··0x012f7e60·00000000·00000000·40ed1401·00000000·........@.......2025 ··0x012f7e60·00000000·00000000·40ed1401·00000000·........@.......
2026 ··0x012f7e70·a89b1401·00000000·01000000·00000000·................2026 ··0x012f7e70·a89b1401·00000000·01000000·00000000·................
2027 ··0x012f7e80·01000000·00000000·00000000·00000000·................2027 ··0x012f7e80·01000000·00000000·00000000·00000000·................
2028 ··0x012f7e90·20ed1401·00000000·c09b1401·00000000··...............2028 ··0x012f7e90·20ed1401·00000000·c09b1401·00000000··...............
2029 ··0x012f7ea0·01000000·00000000·01000000·00000000·................2029 ··0x012f7ea0·01000000·00000000·01000000·00000000·................
2030 ··0x012f7eb0·00000000·00000000·00ed1401·00000000·................2030 ··0x012f7eb0·00000000·00000000·00ed1401·00000000·................
⊟
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
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·37656461·62373938·30633462·62643439·7edab7980c4bbd49 
3 ··0x00000010·33643935·61643835·36613365·35366338·3d95ad856a3e56c82 ··0x00000000·38653334·61663530·39393761·39653335·8e34af50997a9e35
 3 ··0x00000010·35313730·63623763·33633266·33323631·5170cb7c3c2f3261
4 ··0x00000020·30623665·65652e64·65627567·00000000·0b6eee.debug....4 ··0x00000020·34363666·36352e64·65627567·00000000·466f65.debug....
5 ··0x00000030·3b10376e····························;.7n5 ··0x00000030·b9a0f918····························....
  
⊟
25.6 KB
libcvc5-1-dbgsym_1.0.3-1_arm64.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2022-12-20·01:35:50.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2022-12-20·01:35:50.000000·control.tar.xz
3 -rw-r--r--···0········0········0·165903792·2022-12-20·01:35:50.000000·data.tar.xz3 -rw-r--r--···0········0········0·165903140·2022-12-20·01:35:50.000000·data.tar.xz
⊟
661 B
control.tar.xz
⊟
633 B
control.tar
⊟
385 B
./control
    
Offset 6, 8 lines modifiedOffset 6, 8 lines modified
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1654247 Installed-Size:·165424
8 Depends:·libcvc5-1·(=·1.0.3-1)8 Depends:·libcvc5-1·(=·1.0.3-1)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Multi-Arch:·same11 Multi-Arch:·same
12 Description:·debug·symbols·for·libcvc5-112 Description:·debug·symbols·for·libcvc5-1
13 Build-Ids:·9c7edab7980c4bbd493d95ad856a3e56c80b6eee13 Build-Ids:·c78e34af50997a9e355170cb7c3c2f3261466f65
⊟
226 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
178 B
line order
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 usr/lib/debug/.build-id/9c/7edab7980c4bbd493d95ad856a3e56c80b6eee.debug1 usr/lib/debug/.build-id/c7/8e34af50997a9e355170cb7c3c2f3261466f65.debug
⊟
24.5 KB
data.tar.xz
⊟
24.5 KB
data.tar
⊟
1.39 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/9c/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/c7/
7 -rw-r--r--···0·root·········(0)·root·········(0)·169383536·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/9c/7edab7980c4bbd493d95ad856a3e56c80b6eee.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·169383528·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/c7/8e34af50997a9e355170cb7c3c2f3261466f65.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1
⊟
23.1 KB
./usr/lib/debug/.build-id/9c/7edab7980c4bbd493d95ad856a3e56c80b6eee.debug vs.
./usr/lib/debug/.build-id/c7/8e34af50997a9e355170cb7c3c2f3261466f65.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 2% similar despite different names
⊟
864 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························AArch649 ··Machine:···························AArch64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··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:··········169380720·(bytes·into·file)13 ··Start·of·section·headers:··········169380712·(bytes·into·file)
14 ··Flags:·····························0x014 ··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:·········917 ··Number·of·program·headers:·········9
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4419 ··Number·of·section·headers:·········44
20 ··Section·header·string·table·index:·4320 ··Section·header·string·table·index:·43
⊟
3.87 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·44·section·headers,·starting·at·offset·0xa188b70:1 There·are·44·section·headers,·starting·at·offset·0xa188b68:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6 ··[·2]·.dynsym···········NOBITS··········0000000000000260·00025c·00f900·18···A··3···6··86 ··[·2]·.dynsym···········NOBITS··········0000000000000260·00025c·00f900·18···A··3···6··8
7 ··[·3]·.dynstr···········NOBITS··········000000000000fb60·00025c·0284a6·00···A··0···0··17 ··[·3]·.dynstr···········NOBITS··········000000000000fb60·00025c·0284a6·00···A··0···0··1
Offset 29, 25 lines modifiedOffset 29, 25 lines modified
29 ··[24]·.dynamic··········NOBITS··········00000000012ebbb0·008e10·0002a0·10··WA··3···0··829 ··[24]·.dynamic··········NOBITS··········00000000012ebbb0·008e10·0002a0·10··WA··3···0··8
30 ··[25]·.got··············NOBITS··········00000000012ebe50·008e10·000848·00··WA··0···0··830 ··[25]·.got··············NOBITS··········00000000012ebe50·008e10·000848·00··WA··0···0··8
31 ··[26]·.got.plt··········NOBITS··········00000000012ec698·008e10·003968·00··WA··0···0··831 ··[26]·.got.plt··········NOBITS··········00000000012ec698·008e10·003968·00··WA··0···0··8
32 ··[27]·.data·············NOBITS··········00000000012f0000·008e10·009608·00··WA··0···0·1632 ··[27]·.data·············NOBITS··········00000000012f0000·008e10·009608·00··WA··0···0·16
33 ··[28]·.tm_clone_table···NOBITS··········00000000012f9608·008e10·000000·00··WA··0···0··833 ··[28]·.tm_clone_table···NOBITS··········00000000012f9608·008e10·000000·00··WA··0···0··8
34 ··[29]·.bss··············NOBITS··········00000000012f9608·008e10·004449·00··WA··0···0··834 ··[29]·.bss··············NOBITS··········00000000012f9608·008e10·004449·00··WA··0···0··8
35 ··[30]·.comment··········PROGBITS········0000000000000000·00025c·000020·01··MS··0···0··135 ··[30]·.comment··········PROGBITS········0000000000000000·00025c·000020·01··MS··0···0··1
36 ··[31]·.debug_info·······PROGBITS········0000000000000000·000280·7dd2af5·00···C··0···0··836 ··[31]·.debug_info·······PROGBITS········0000000000000000·000280·7dd2aec·00···C··0···0··8
37 ··[32]·.debug_abbrev·····PROGBITS········0000000000000000·7dd2d78·0cfee5·00···C··0···0··837 ··[32]·.debug_abbrev·····PROGBITS········0000000000000000·7dd2d70·0cfee5·00···C··0···0··8
38 ··[33]·.debug_loclists···PROGBITS········0000000000000000·7ea2c60·fdebaa·00···C··0···0··838 ··[33]·.debug_loclists···PROGBITS········0000000000000000·7ea2c58·fdebaa·00···C··0···0··8
39 ··[34]·.debug_aranges····PROGBITS········0000000000000000·8e81810·00c962·00···C··0···0··839 ··[34]·.debug_aranges····PROGBITS········0000000000000000·8e81808·00c962·00···C··0···0··8
40 ··[35]·.debug_rnglists···PROGBITS········0000000000000000·8e8e178·42940b·00···C··0···0··840 ··[35]·.debug_rnglists···PROGBITS········0000000000000000·8e8e170·42940b·00···C··0···0··8
41 ··[36]·.debug_macro······PROGBITS········0000000000000000·92b7588·10a04d·00···C··0···0··841 ··[36]·.debug_macro······PROGBITS········0000000000000000·92b7580·10a04d·00···C··0···0··8
42 ··[37]·.debug_line·······PROGBITS········0000000000000000·93c15d8·722596·00···C··0···0··842 ··[37]·.debug_line·······PROGBITS········0000000000000000·93c15d0·722596·00···C··0···0··8
43 ··[38]·.debug_str········PROGBITS········0000000000000000·9ae3b70·3bd57e·01·MSC··0···0··843 ··[38]·.debug_str········PROGBITS········0000000000000000·9ae3b68·3bd57e·01·MSC··0···0··8
44 ··[39]·.debug_line_str···PROGBITS········0000000000000000·9ea10f0·002e76·01·MSC··0···0··844 ··[39]·.debug_line_str···PROGBITS········0000000000000000·9ea10e8·002e76·01·MSC··0···0··8
45 ··[40]·.note.gnu.gold-version·NOTE············0000000000000000·9ea3f68·00001c·00······0···0··445 ··[40]·.note.gnu.gold-version·NOTE············0000000000000000·9ea3f60·00001c·00······0···0··4
46 ··[41]·.symtab···········SYMTAB··········0000000000000000·9ea3f88·0e5ed8·18·····42·36591··846 ··[41]·.symtab···········SYMTAB··········0000000000000000·9ea3f80·0e5ed8·18·····42·36591··8
47 ··[42]·.strtab···········STRTAB··········0000000000000000·9f89e60·1feb2f·00······0···0··147 ··[42]·.strtab···········STRTAB··········0000000000000000·9f89e58·1feb2f·00······0···0··1
48 ··[43]·.shstrtab·········STRTAB··········0000000000000000·a18898f·0001df·00······0···0··148 ··[43]·.shstrtab·········STRTAB··········0000000000000000·a188987·0001df·00······0···0··1
49 Key·to·Flags:49 Key·to·Flags:
50 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),50 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
51 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),51 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
52 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),52 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
53 ··R·(retain),·D·(mbind),·p·(processor·specific)53 ··R·(retain),·D·(mbind),·p·(processor·specific)
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9c7edab7980c4bbd493d95ad856a3e56c80b6eee3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c78e34af50997a9e355170cb7c3c2f3261466f65
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
806 B
readelf --wide --debug-dump=info {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····<8760d7>···DW_AT_name········:·(strp)·(offset:·0x141d0e):·release4194297 ····<8760d7>···DW_AT_name········:·(strp)·(offset:·0x141d0e):·release
4194298 ····<8760db>···DW_AT_decl_file···:·(data1)·504194298 ····<8760db>···DW_AT_decl_file···:·(data1)·50
4194299 ····<8760dc>···DW_AT_decl_line···:·(data1)·2074194299 ····<8760dc>···DW_AT_decl_line···:·(data1)·207
4194300 ····<8760dd>···DW_AT_decl_column·:·(data1)·154194300 ····<8760dd>···DW_AT_decl_column·:·(data1)·15
4194301 ····<8760de>···DW_AT_linkage_name:·(strp)·(offset:·0x130cef):·_ZNSt15__uniq_ptr_implIN4cvc58internal7options10HolderBASEESt14default_deleteIS3_EE7releaseEv4194301 ····<8760de>···DW_AT_linkage_name:·(strp)·(offset:·0x130cef):·_ZNSt15__uniq_ptr_implIN4cvc58internal7options10HolderBASEESt14default_deleteIS3_EE7releaseEv
4194302 ····<8760e2>···DW_AT_type········:·(ref_udata)·<0x876016>,·pointer,·type4194302 ····<8760e2>···DW_AT_type········:·(ref_udata)·<0x876016>,·pointer,·type
4194303 ····<8760e4>···DW_AT_accessibility:·(data1)·1»   (public)4194303 ····<8760e4>···DW_AT_accessibility:·(data1)·1»   (public)
4194304 [·Too·much·input·for·diff·(SHA256:·5698923a7bb29d5f07278a8a4e954c9c3b58e7260be01ee49139a2e0eb0b5424)·]4194304 [·Too·much·input·for·diff·(SHA256:·d2ce426419944763a2e00b78a41270ce5361f3fe7643ebe04f6832f94e0d7d08)·]
⊟
1.19 KB
readelf --wide --debug-dump=macro {}
    
Offset 938387, 28 lines modifiedOffset 938387, 28 lines modified
938387 ·DW_MACRO_end_file938387 ·DW_MACRO_end_file
938388 ·DW_MACRO_import·-·offset·:·0x1502d938388 ·DW_MACRO_import·-·offset·:·0x1502d
938389 ·DW_MACRO_end_file938389 ·DW_MACRO_end_file
938390 ·DW_MACRO_start_file·-·lineno:·49·filenum:·141938390 ·DW_MACRO_start_file·-·lineno:·49·filenum:·141
938391 ·DW_MACRO_end_file938391 ·DW_MACRO_end_file
938392 ·DW_MACRO_start_file·-·lineno:·50·filenum:·32938392 ·DW_MACRO_start_file·-·lineno:·50·filenum:·32
938393 ·DW_MACRO_end_file938393 ·DW_MACRO_end_file
 938394 ·DW_MACRO_start_file·-·lineno:·51·filenum:·117
 938395 ·DW_MACRO_end_file
938394 ·DW_MACRO_start_file·-·lineno:·53·filenum:·284938396 ·DW_MACRO_start_file·-·lineno:·53·filenum:·284
938395 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1938397 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
938396 ·DW_MACRO_start_file·-·lineno:·46·filenum:·13938398 ·DW_MACRO_start_file·-·lineno:·46·filenum:·13
938397 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1938399 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
938398 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14938400 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
938399 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1938401 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
938400 ·DW_MACRO_end_file938402 ·DW_MACRO_end_file
938401 ·DW_MACRO_end_file938403 ·DW_MACRO_end_file
938402 ·DW_MACRO_start_file·-·lineno:·47·filenum:·19938404 ·DW_MACRO_start_file·-·lineno:·47·filenum:·19
938403 ·DW_MACRO_import·-·offset·:·0x3593938405 ·DW_MACRO_import·-·offset·:·0x3593
938404 ·DW_MACRO_end_file938406 ·DW_MACRO_end_file
938405 ·DW_MACRO_end_file938407 ·DW_MACRO_end_file
938406 ·DW_MACRO_start_file·-·lineno:·54·filenum:·117 
938407 ·DW_MACRO_end_file 
938408 ·DW_MACRO_start_file·-·lineno:·57·filenum:·86938408 ·DW_MACRO_start_file·-·lineno:·57·filenum:·86
938409 ·DW_MACRO_start_file·-·lineno:·42·filenum:·144938409 ·DW_MACRO_start_file·-·lineno:·42·filenum:·144
938410 ·DW_MACRO_import·-·offset·:·0x52aa938410 ·DW_MACRO_import·-·offset·:·0x52aa
938411 ·DW_MACRO_start_file·-·lineno:·26·filenum:·153938411 ·DW_MACRO_start_file·-·lineno:·26·filenum:·153
938412 ·DW_MACRO_import·-·offset·:·0x3636938412 ·DW_MACRO_import·-·offset·:·0x3636
938413 ·DW_MACRO_end_file938413 ·DW_MACRO_end_file
938414 ·DW_MACRO_import·-·offset·:·0x52ba938414 ·DW_MACRO_import·-·offset·:·0x52ba
⊟
808 B
readelf --wide --debug-dump=loc {}
error from `readelf --wide --debug-dump=loc {}`: readelf: Warning: There is a hole [0x367bcd1 - 0x367bce9] in .debug_loclists section.
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ·············00000000003ca0bc·00000000003ca0e4·(DW_OP_reg20·(x20))4194297 ·············00000000003ca0bc·00000000003ca0e4·(DW_OP_reg20·(x20))
4194298 ····00b97a19·v000000000000000·v000000000000000·views·at·00b979fb·for:4194298 ····00b97a19·v000000000000000·v000000000000000·views·at·00b979fb·for:
4194299 ·············00000000003ca550·00000000003ca560·(DW_OP_reg20·(x20))4194299 ·············00000000003ca550·00000000003ca560·(DW_OP_reg20·(x20))
4194300 ····00b97a20·<End·of·list>4194300 ····00b97a20·<End·of·list>
  
4194301 ····00b97a21·v000000000000000·v000000000000006·location·view·pair4194301 ····00b97a21·v000000000000000·v000000000000006·location·view·pair
4194302 ····00b97a23·v000000000000000·v000000000000000·location·view·pair4194302 ····00b97a23·v000000000000000·v000000000000000·location·view·pair
4194303 [·Too·much·input·for·diff·(SHA256:·2fa0b301b9f96bf75f875280c04f85b61a25036d0747b2c028b2b95db94b5c37)·]4194303 [·Too·much·input·for·diff·(SHA256:·0ba09cabaf09e4e9be9b44cc36e49102431ffacf21400f010547475960278e46)·]
⊟
12.7 KB
strings --all --bytes=8 {}
    
Offset 1, 7 lines modifiedOffset 1, 8 lines modified
 1 |</2aFoe
1 GCC:·(Debian·12.2.0-14)·12.2.02 GCC:·(Debian·12.2.0-14)·12.2.0
2 LrUB8»  4#3 LrUB8»  4#
3 W\i7/,4OT$4 W\i7/,4OT$
4 Epuo<%y&5 Epuo<%y&
5 x>-W|-MN6 x>-W|-MN
6 b&nq(I#,7 b&nq(I#,
7 B@eV}GTW8 B@eV}GTW
Offset 28002, 620 lines modifiedOffset 28003, 592 lines modified
28002 7#HNRO'>28003 7#HNRO'>
28003 /hZm!T^B28004 /hZm!T^B
28004 De941[x#w28005 De941[x#w
28005 2'U'·:|VSu28006 2'U'·:|VSu
28006 !*la@.iH28007 !*la@.iH
28007 4eiCX(L928008 4eiCX(L9
28008 DUH+.gk»/!28009 DUH+.gk»/!
28009 N."TyTtJ: 
28010 IG&}HG?0 
28011 4N:2·_"6k 
28012 e-er-E.5 
28013 S*U6kE~"" 
28014 :e(I(g\} 
28015 rT?n{S]F 
28016 '&U{3i)}} 
28017 <C{3i9|n 
28018 {50qR8wJ 
28019 {8973CY}L 
28020 fiff!lV= 
28021 7t.%T/%n\ 
28022 Z2h9`4\~ 
28023 -&m1i01b 
28024 =AbV+&n1 
28025 *&m1!0Nb28010 b`c_2MGaje
 28011 X:9A:[et
 28012 Vh:Ugz"q
 28013 q"x.qz·'#_r^
 28014 kYK~TK~TK
 28015 8C9cz3qF
 28016 xIxOk]]·{'A
 28017 `q3o"|7>V
 28018 KhiFK3ZL
 28019 h1-oGYK+ZZ
 28020 c1>0Ybv(
 28021 &bV+&d1U`|
 28022 bv)&d1!0
 28023 ^W?_`*%h
 28024 ]VPRA!@=
 28025 ]WPRAN@}
 28026 ^WPLAY@A
28026 U5:YS''C)M;28027 U5:YS''C)M;
28027 K2AL2·6s28028 K2AL2·6s
28028 k2Al2·Vp28029 k2Al2·Vp
28029 OBx\"F#b28030 OBx\"F#b
28030 8fA8]Bf·d 
28031 otTCxL"V·b 
28032 \·F"b$UI 
28033 +3A,3·fs 
28034 x$yV·o~3L 
28035 Z"Wcn}[: 
28036 IO,M&VOOD& 
28037 zzbK9=!@}wM 
28038 93}[ff·-a 
28039 %>IuuIX| 
28040 ·A!Y&)vr? 
28041 rkwf~>mB>w 
28042 {@sj0L858 
28043 vUNujd~:B 
28044 ~0Lx?8G} 
28045 >+|3lLIF[ 
28046 4xv!<pF=" 
28047 gLsAs|;:28031 &O@xTB6!d
 28032 $$yV·O^Fw
 28033 e4u=J?tkP
 28034 QPQQQQPQQ
 28035 <s<-XYA>
 28036 ]Dgv»   }Z8
 28037 y2p[vY}@
 28038 3»      zfjj83
 28039 gf5P+%3=
 28040 V3@·MnG"
 28041 Uz+.!UsM
 28042 Qd32jZ·:
 28043 jV0a48oFt
 28044 xQB3Jk6H
 28045 2[0:*/7!
 28046 H|&R)"u#
 28047 _E.H\_$YP
 28048 -xo$(v#I
 28049 ·k"t\[$ypy,L
 28050 DEDeqAEAD6
28048 *aYs:1FX;28051 *aYs:>JX;
28049 C%q*/R|- 
28050 <eQDEfQU 
28051 \+rX6e>eQ 
28052 b.~.-[EZ 
28053 Y>7PW$j1d3 
28054 WEgl}RvF 
28055 v4NP1I%' 
28056 »       ,c79d`m 
28057 [-?D*uL| 
28058 lR/O7i·* 
28059 UxVOo5;x 
28060 YNW6ryz# 
28061 'TDTTTTTPT 
28062 p28F]rnI. 
28063 ,»      &,»    veI 
28064 Wz5*eB]g_ 
28065 Ygi]gAkf28052 ckh*DwE,
 28053 bd(.TXTZ
 28054 U|EfQ3V/
 28055 v7IGno;f
 28056 w|.pA!8*D
 28057 wg?~·V'q
 28058 dnpHt^AO$
 28059 %2{)m\n#.S
 28060 =#Z#ggkz
 28061 >Vh'Nxa8z
 28062 zv_QB\6Y
 28063 (]AhbIc>
 28064 QQQQQAQQP@AP&
 28065 onB^"X%;7!?
 28066 7nqes2b*
 28067 BI»     CMd%;5
 28068 i!I[lA?~
 28069 F^AjPx%#
 28070 ?o&an2anrU
 28071 [HS:AS*$mWX5%
Max diff block lines reached; 10851/12923 bytes (83.97%) of diff not shown.
⊟
58.0 B
.dynsym
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynstr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.gnu.hash
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.gnu.version
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu.version_d
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu.version_r
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.dyn
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.init
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
80.0 B
.data.rel.ro.local
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.got.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.tm_clone_table
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.comment
Timeout exceeded; details may be incomplete.
⊟
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
122 B
libcvc5parser1-dbgsym_1.0.3-1_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 240