| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | · | 1 | ·a06a1b9afe2627ec97bcd6833fcd326e·13584·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb |
| 2 | · | 2 | ·b3406c134001b248ad8938e3fbac66ae·314516·science·extra·boolector_1.5.118.6b56be4.121013-1_i386.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0······704·2012-10-16·12:01:32.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······704·2012-10-16·12:01:32.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···313 | 3 | -rw-r--r--···0········0········0···313620·2012-10-16·12:01:32.000000·data.tar.xz |
| Offset 6, 19 lines modified | Offset 6, 19 lines modified | ||
| 6 | Program·Headers: | 6 | Program·Headers: |
| 7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align | 7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align |
| 8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 | 8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 |
| 9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00013·0x00013·R···0x1 | 9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00013·0x00013·R···0x1 |
| 10 | ······[Requesting·program·interpreter:·/lib/ld-linux.so.2] | 10 | ······[Requesting·program·interpreter:·/lib/ld-linux.so.2] |
| 11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x00d0c·0x00d0c·R···0x1000 | 11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x00d0c·0x00d0c·R···0x1000 |
| 12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x9b178·0x9b178·R·E·0x1000 | 12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x9b178·0x9b178·R·E·0x1000 |
| 13 | ··LOAD···········0x09d000·0x0009d000·0x0009d000·0x3524 | 13 | ··LOAD···········0x09d000·0x0009d000·0x0009d000·0x35240·0x35240·R···0x1000 |
| 14 | ··LOAD···········0x0d2dd8·0x000d3dd8·0x000d3dd8·0x00324·0x00364·RW··0x1000 | 14 | ··LOAD···········0x0d2dd8·0x000d3dd8·0x000d3dd8·0x00324·0x00364·RW··0x1000 |
| 15 | ··DYNAMIC········0x0d2e68·0x000d3e68·0x000d3e68·0x000f8·0x000f8·RW··0x4 | 15 | ··DYNAMIC········0x0d2e68·0x000d3e68·0x000d3e68·0x000f8·0x000f8·RW··0x4 |
| 16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 | 16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 |
| 17 | ··GNU_EH_FRAME···0x0a884 | 17 | ··GNU_EH_FRAME···0x0a8848·0x000a8848·0x000a8848·0x01a64·0x01a64·R···0x4 |
| 18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 | 18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 |
| 19 | ··GNU_RELRO······0x0d2dd8·0x000d3dd8·0x000d3dd8·0x00228·0x00228·R···0x1 | 19 | ··GNU_RELRO······0x0d2dd8·0x000d3dd8·0x000d3dd8·0x00228·0x00228·R···0x1 |
| 20 | ·Section·to·Segment·mapping: | 20 | ·Section·to·Segment·mapping: |
| 21 | ··Segment·Sections... | 21 | ··Segment·Sections... |
| 22 | ···00····· | 22 | ···00····· |
| 23 | ···01·····.interp· | 23 | ···01·····.interp· |
| Offset 14, 17 lines modified | Offset 14, 17 lines modified | ||
| 14 | ··[·9]·.rel.dyn··········REL·············000008ec·0008ec·000298·08···A··5···0··4 | 14 | ··[·9]·.rel.dyn··········REL·············000008ec·0008ec·000298·08···A··5···0··4 |
| 15 | ··[10]·.rel.plt··········REL·············00000b84·000b84·000188·08··AI··5··24··4 | 15 | ··[10]·.rel.plt··········REL·············00000b84·000b84·000188·08··AI··5··24··4 |
| 16 | ··[11]·.init·············PROGBITS········00001000·001000·000020·00··AX··0···0··4 | 16 | ··[11]·.init·············PROGBITS········00001000·001000·000020·00··AX··0···0··4 |
| 17 | ··[12]·.plt··············PROGBITS········00001020·001020·000320·04··AX··0···0·16 | 17 | ··[12]·.plt··············PROGBITS········00001020·001020·000320·04··AX··0···0·16 |
| 18 | ··[13]·.plt.got··········PROGBITS········00001340·001340·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········PROGBITS········00001340·001340·000008·08··AX··0···0··8 |
| 19 | ··[14]·.text·············PROGBITS········00001350·001350·09ae11·00··AX··0···0·16 | 19 | ··[14]·.text·············PROGBITS········00001350·001350·09ae11·00··AX··0···0·16 |
| 20 | ··[15]·.fini·············PROGBITS········0009c164·09c164·000014·00··AX··0···0··4 | 20 | ··[15]·.fini·············PROGBITS········0009c164·09c164·000014·00··AX··0···0··4 |
| 21 | ··[16]·.rodata···········PROGBITS········0009d000·09d000·00b84 | 21 | ··[16]·.rodata···········PROGBITS········0009d000·09d000·00b848·00···A··0···0·32 |
| 22 | ··[17]·.eh_frame_hdr·····PROGBITS········000a884 | 22 | ··[17]·.eh_frame_hdr·····PROGBITS········000a8848·0a8848·001a64·00···A··0···0··4 |
| 23 | ··[18]·.eh_frame·········PROGBITS········000aa2 | 23 | ··[18]·.eh_frame·········PROGBITS········000aa2ac·0aa2ac·027f94·00···A··0···0··4 |
| 24 | ··[19]·.init_array·······INIT_ARRAY······000d3dd8·0d2dd8·000004·04··WA··0···0··4 | 24 | ··[19]·.init_array·······INIT_ARRAY······000d3dd8·0d2dd8·000004·04··WA··0···0··4 |
| 25 | ··[20]·.fini_array·······FINI_ARRAY······000d3ddc·0d2ddc·000004·04··WA··0···0··4 | 25 | ··[20]·.fini_array·······FINI_ARRAY······000d3ddc·0d2ddc·000004·04··WA··0···0··4 |
| 26 | ··[21]·.data.rel.ro······PROGBITS········000d3de0·0d2de0·000088·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······PROGBITS········000d3de0·0d2de0·000088·00··WA··0···0·32 |
| 27 | ··[22]·.dynamic··········DYNAMIC·········000d3e68·0d2e68·0000f8·08··WA··6···0··4 | 27 | ··[22]·.dynamic··········DYNAMIC·········000d3e68·0d2e68·0000f8·08··WA··6···0··4 |
| 28 | ··[23]·.got··············PROGBITS········000d3f60·0d2f60·0000a0·04··WA··0···0··4 | 28 | ··[23]·.got··············PROGBITS········000d3f60·0d2f60·0000a0·04··WA··0···0··4 |
| 29 | ··[24]·.got.plt··········PROGBITS········000d4000·0d3000·0000d0·04··WA··0···0··4 | 29 | ··[24]·.got.plt··········PROGBITS········000d4000·0d3000·0000d0·04··WA··0···0··4 |
| 30 | ··[25]·.data·············PROGBITS········000d40d0·0d30d0·00002c·00··WA··0···0··4 | 30 | ··[25]·.data·············PROGBITS········000d40d0·0d30d0·00002c·00··WA··0···0··4 |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 1 | Displaying·notes·found·in:·.note.ABI-tag | 1 | Displaying·notes·found·in:·.note.ABI-tag |
| 2 | ··Owner·················Data·size» Description | 2 | ··Owner·················Data·size» Description |
| 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
| 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:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·bb1c4030443a0766075db0d7ea77573363fd5bb6 |
| Offset 28619, 40704 lines modified | Offset 28619, 40704 lines modified | ||
| 28619 | ··DW_CFA_nop | 28619 | ··DW_CFA_nop |
| 28620 | 0000c0a4·00000010·0000c07c·FDE·cie=0000002c·pc=0001fa01..0001fa05 | 28620 | 0000c0a4·00000010·0000c07c·FDE·cie=0000002c·pc=0001fa01..0001fa05 |
| 28621 | ··DW_CFA_nop | 28621 | ··DW_CFA_nop |
| 28622 | ··DW_CFA_nop | 28622 | ··DW_CFA_nop |
| 28623 | ··DW_CFA_nop | 28623 | ··DW_CFA_nop |
| 28624 | 0000c0b8·000000 | 28624 | 0000c0b8·00000050·0000c090·FDE·cie=0000002c·pc=0001fa10..0001fcd9 |
| 28625 | ··DW_CFA_advance_loc:·1·to·0001fa11 | 28625 | ··DW_CFA_advance_loc:·1·to·0001fa11 |
| 28626 | ··DW_CFA_def_cfa_offset:·8 | 28626 | ··DW_CFA_def_cfa_offset:·8 |
| 28627 | ··DW_CFA_offset:·r5·(ebp)·at·cfa-8 | 28627 | ··DW_CFA_offset:·r5·(ebp)·at·cfa-8 |
| 28628 | ··DW_CFA_advance_loc:·3·to·0001fa14 | 28628 | ··DW_CFA_advance_loc:·3·to·0001fa14 |
| 28629 | ··DW_CFA_def_cfa_offset:·12 | 28629 | ··DW_CFA_def_cfa_offset:·12 |
| 28630 | ··DW_CFA_offset:·r7·(edi)·at·cfa-12 | 28630 | ··DW_CFA_offset:·r7·(edi)·at·cfa-12 |
| 28631 | ··DW_CFA_advance_loc:· | 28631 | ··DW_CFA_advance_loc:·3·to·0001fa17 |
| 28632 | ··DW_CFA_def_cfa_offset:·16 | 28632 | ··DW_CFA_def_cfa_offset:·16 |
| 28633 | ··DW_CFA_offset:·r6·(esi)·at·cfa-16 | 28633 | ··DW_CFA_offset:·r6·(esi)·at·cfa-16 |
| 28634 | ··DW_CFA_advance_loc:· | 28634 | ··DW_CFA_advance_loc:·3·to·0001fa1a |
| 28635 | ··DW_CFA_def_cfa_offset:·20 | 28635 | ··DW_CFA_def_cfa_offset:·20 |
| 28636 | ··DW_CFA_offset:·r3·(ebx)·at·cfa-20 | 28636 | ··DW_CFA_offset:·r3·(ebx)·at·cfa-20 |
| 28637 | ··DW_CFA_advance_loc:· | 28637 | ··DW_CFA_advance_loc:·14·to·0001fa28 |
| 28638 | ··DW_CFA_def_cfa_offset:· | 28638 | ··DW_CFA_def_cfa_offset:·60 |
| 28639 | ··DW_CFA_advance_loc:· | 28639 | ··DW_CFA_advance_loc:·1·to·0001fa29 |
| 28640 | ··DW_CFA_def_cfa_offset:·64 | ||
| 28641 | ··DW_CFA_advance_loc:·6·to·0001fa2f | ||
| 28642 | ··DW_CFA_def_cfa_offset:·60 | ||
| 28643 | ··DW_CFA_advance_loc:·1·to·0001fa30 | ||
| 28644 | ··DW_CFA_def_cfa_offset:·56 | ||
| 28645 | ··DW_CFA_advance_loc:·8·to·0001fa38 | ||
| 28646 | ··DW_CFA_def_cfa_offset:·60 | ||
| 28647 | ··DW_CFA_advance_loc:·1·to·0001fa39 | ||
| 28648 | ··DW_CFA_def_cfa_offset:·64 | ||
| 28649 | ··DW_CFA_advance_loc:·16·to·0001fa49 | ||
| 28650 | ··DW_CFA_def_cfa_offset:·48 | ||
| 28651 | ··DW_CFA_advance_loc2:·359·to·0001fbb0 | ||
| 28652 | ··DW_CFA_remember_state | ||
| 28653 | ··DW_CFA_def_cfa_offset:·20 | ||
| 28654 | ··DW_CFA_advance_loc:·1·to·0001fbb1 | ||
| 28655 | ··DW_CFA_restore:·r3·(ebx) | ||
| 28656 | ··DW_CFA_def_cfa_offset:·16 | ||
| 28657 | ··DW_CFA_advance_loc:·1·to·0001fbb2 | ||
| 28658 | ··DW_CFA_restore:·r6·(esi) | ||
| 28659 | ··DW_CFA_def_cfa_offset:·12 | ||
| 28660 | ··DW_CFA_advance_loc:·1·to·0001fbb3 | ||
| 28661 | ··DW_CFA_restore:·r7·(edi) | ||
| 28662 | ··DW_CFA_def_cfa_offset:·8 | ||
| 28663 | ··DW_CFA_advance_loc:·1·to·0001fbb4 | ||
| 28664 | ··DW_CFA_restore:·r5·(ebp) | ||
| 28665 | ··DW_CFA_def_cfa_offset:·4 | ||
| 28666 | ··DW_CFA_advance_loc:·4·to·0001fbb8 | ||
| 28667 | ··DW_CFA_restore_state | ||
| 28668 | ··DW_CFA_nop | ||
| 28669 | ··DW_CFA_nop | ||
| 28670 | 0000c10c·00000160·0000c0e4·FDE·cie=0000002c·pc=0001fce0..00020528 | ||
| 28671 | ··DW_CFA_advance_loc:·1·to·0001fce1 | ||
| 28672 | ··DW_CFA_def_cfa_offset:·8 | ||
| 28673 | ··DW_CFA_offset:·r5·(ebp)·at·cfa-8 | ||
| 28674 | ··DW_CFA_advance_loc:·3·to·0001fce4 | ||
| 28675 | ··DW_CFA_def_cfa_offset:·12 | ||
| 28676 | ··DW_CFA_offset:·r7·(edi)·at·cfa-12 | ||
| 28677 | ··DW_CFA_advance_loc:·12·to·0001fcf0 | ||
| 28678 | ··DW_CFA_def_cfa_offset:·16 | ||
| 28679 | ··DW_CFA_offset:·r6·(esi)·at·cfa-16 | ||
| 28680 | ··DW_CFA_advance_loc:·1·to·0001fcf1 | ||
| 28681 | ··DW_CFA_def_cfa_offset:·20 | ||
| 28682 | ··DW_CFA_offset:·r3·(ebx)·at·cfa-20 | ||
| 28683 | ··DW_CFA_advance_loc:·3·to·0001fcf4 | ||
| 28684 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28685 | ··DW_CFA_advance_loc:·13·to·0001fd01 | ||
| 28686 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28687 | ··DW_CFA_advance_loc:·10·to·0001fd0b | ||
| 28688 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28689 | ··DW_CFA_advance_loc:·1·to·0001fd0c | ||
| 28690 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28691 | ··DW_CFA_advance_loc:·7·to·0001fd13 | ||
| 28692 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28693 | ··DW_CFA_advance_loc:·4·to·0001fd17 | ||
| 28694 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28695 | ··DW_CFA_advance_loc:·16·to·0001fd27 | ||
| 28696 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28697 | ··DW_CFA_advance_loc:·46·to·0001fd55 | ||
| 28698 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28699 | ··DW_CFA_advance_loc:·6·to·0001fd5b | ||
| 28700 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28701 | ··DW_CFA_advance_loc:·4·to·0001fd5f | ||
| 28702 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28703 | ··DW_CFA_advance_loc:·21·to·0001fd74 | ||
| 28704 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28705 | ··DW_CFA_advance_loc:·57·to·0001fdad | ||
| 28706 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28707 | ··DW_CFA_advance_loc:·19·to·0001fdc0 | ||
| 28708 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28709 | ··DW_CFA_advance_loc:·6·to·0001fdc6 | ||
| 28710 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28711 | ··DW_CFA_advance_loc:·16·to·0001fdd6 | ||
| 28712 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28713 | ··DW_CFA_advance_loc:·13·to·0001fde3 | ||
| 28714 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28715 | ··DW_CFA_advance_loc:·1·to·0001fde4 | ||
| 28716 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28717 | ··DW_CFA_advance_loc:·4·to·0001fde8 | ||
| 28718 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28719 | ··DW_CFA_advance_loc:·12·to·0001fdf4 | ||
| 28720 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28721 | ··DW_CFA_advance_loc1:·67·to·0001fe37 | ||
| 28722 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28723 | ··DW_CFA_advance_loc:·6·to·0001fe3d | ||
| 28724 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28725 | ··DW_CFA_advance_loc:·4·to·0001fe41 | ||
| 28726 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28727 | ··DW_CFA_advance_loc:·22·to·0001fe57 | ||
| 28728 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28729 | ··DW_CFA_advance_loc:·12·to·0001fe63 | ||
| 28730 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28731 | ··DW_CFA_advance_loc:·1·to·0001fe64 | ||
| 28732 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28733 | ··DW_CFA_advance_loc:·4·to·0001fe68 | ||
| 28734 | ··DW_CFA_def_cfa_offset:·144 | ||
| 28735 | ··DW_CFA_advance_loc:·12·to·0001fe74 | ||
| 28736 | ··DW_CFA_def_cfa_offset:·128 | ||
| 28737 | ··DW_CFA_advance_loc:·60·to·0001feb0 | ||
| 28738 | ··DW_CFA_def_cfa_offset:·136 | ||
| 28739 | ··DW_CFA_advance_loc:·4·to·0001feb4 | ||
| 28740 | ··DW_CFA_def_cfa_offset:·140 | ||
| 28741 | ··DW_CFA_advance_loc:·4·to·0001feb8 | ||
| 28742 | ··DW_CFA_def_cfa_offset:·144 | ||
| Max diff block lines reached; 2420572/2432700 bytes (99.50%) of diff not shown. | |||
| Offset 632, 15 lines modified | Offset 632, 15 lines modified | ||
| 632 | ····1a8b:» 8b·68·40·············» mov····0x40(%eax),%ebp | 632 | ····1a8b:» 8b·68·40·············» mov····0x40(%eax),%ebp |
| 633 | ····1a8e:» 8d·45·ff·············» lea····-0x1(%ebp),%eax | 633 | ····1a8e:» 8d·45·ff·············» lea····-0x1(%ebp),%eax |
| 634 | ····1a91:» 83·f8·01·············» cmp····$0x1,%eax | 634 | ····1a91:» 83·f8·01·············» cmp····$0x1,%eax |
| 635 | ····1a94:» 0f·86·b6·02·00·00····» jbe····1d50·<__cxa_finalize@plt+0xa10> | 635 | ····1a94:» 0f·86·b6·02·00·00····» jbe····1d50·<__cxa_finalize@plt+0xa10> |
| 636 | ····1a9a:» 83·ec·08·············» sub····$0x8,%esp | 636 | ····1a9a:» 83·ec·08·············» sub····$0x8,%esp |
| 637 | ····1a9d:» 56···················» push···%esi | 637 | ····1a9d:» 56···················» push···%esi |
| 638 | ····1a9e:» 51···················» push···%ecx | 638 | ····1a9e:» 51···················» push···%ecx |
| 639 | ····1a9f:» e8· | 639 | ····1a9f:» e8·2c·fa·01·00·······» call···214d0·<__cxa_finalize@plt+0x20190> |
| 640 | ····1aa4:» 83·c4·10·············» add····$0x10,%esp | 640 | ····1aa4:» 83·c4·10·············» add····$0x10,%esp |
| 641 | ····1aa7:» 89·c5················» mov····%eax,%ebp | 641 | ····1aa7:» 89·c5················» mov····%eax,%ebp |
| 642 | ····1aa9:» 83·ec·08·············» sub····$0x8,%esp | 642 | ····1aa9:» 83·ec·08·············» sub····$0x8,%esp |
| 643 | ····1aac:» ff·74·24·1c··········» pushl··0x1c(%esp) | 643 | ····1aac:» ff·74·24·1c··········» pushl··0x1c(%esp) |
| 644 | ····1ab0:» 57···················» push···%edi | 644 | ····1ab0:» 57···················» push···%edi |
| 645 | ····1ab1:» e8·4a·ac·01·00·······» call···1c700·<__cxa_finalize@plt+0x1b3c0> | 645 | ····1ab1:» e8·4a·ac·01·00·······» call···1c700·<__cxa_finalize@plt+0x1b3c0> |
| 646 | ····1ab6:» 55···················» push···%ebp | 646 | ····1ab6:» 55···················» push···%ebp |
| Offset 700, 15 lines modified | Offset 700, 15 lines modified | ||
| 700 | ····1b5d:» 89·44·24·20··········» mov····%eax,0x20(%esp) | 700 | ····1b5d:» 89·44·24·20··········» mov····%eax,0x20(%esp) |
| 701 | ····1b61:» e9·bc·00·00·00·······» jmp····1c22·<__cxa_finalize@plt+0x8e2> | 701 | ····1b61:» e9·bc·00·00·00·······» jmp····1c22·<__cxa_finalize@plt+0x8e2> |
| 702 | ····1b66:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi | 702 | ····1b66:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi |
| 703 | ····1b6d:» 8d·76·00·············» lea····0x0(%esi),%esi | 703 | ····1b6d:» 8d·76·00·············» lea····0x0(%esi),%esi |
| 704 | ····1b70:» 83·ec·08·············» sub····$0x8,%esp | 704 | ····1b70:» 83·ec·08·············» sub····$0x8,%esp |
| 705 | ····1b73:» 50···················» push···%eax | 705 | ····1b73:» 50···················» push···%eax |
| 706 | ····1b74:» 56···················» push···%esi | 706 | ····1b74:» 56···················» push···%esi |
| 707 | ····1b75:» e8· | 707 | ····1b75:» e8·56·f9·01·00·······» call···214d0·<__cxa_finalize@plt+0x20190> |
| 708 | ····1b7a:» 83·c4·10·············» add····$0x10,%esp | 708 | ····1b7a:» 83·c4·10·············» add····$0x10,%esp |
| 709 | ····1b7d:» 89·c5················» mov····%eax,%ebp | 709 | ····1b7d:» 89·c5················» mov····%eax,%ebp |
| 710 | ····1b7f:» 8b·4c·24·18··········» mov····0x18(%esp),%ecx | 710 | ····1b7f:» 8b·4c·24·18··········» mov····0x18(%esp),%ecx |
| 711 | ····1b83:» 8b·44·24·38··········» mov····0x38(%esp),%eax | 711 | ····1b83:» 8b·44·24·38··········» mov····0x38(%esp),%eax |
| 712 | ····1b87:» 8b·37················» mov····(%edi),%esi | 712 | ····1b87:» 8b·37················» mov····(%edi),%esi |
| 713 | ····1b89:» 8b·04·08·············» mov····(%eax,%ecx,1),%eax | 713 | ····1b89:» 8b·04·08·············» mov····(%eax,%ecx,1),%eax |
| 714 | ····1b8c:» 8b·4c·24·0c··········» mov····0xc(%esp),%ecx | 714 | ····1b8c:» 8b·4c·24·0c··········» mov····0xc(%esp),%ecx |
| Offset 716, 15 lines modified | Offset 716, 15 lines modified | ||
| 716 | ····1b93:» 8d·4a·ff·············» lea····-0x1(%edx),%ecx | 716 | ····1b93:» 8d·4a·ff·············» lea····-0x1(%edx),%ecx |
| 717 | ····1b96:» 89·54·24·1c··········» mov····%edx,0x1c(%esp) | 717 | ····1b96:» 89·54·24·1c··········» mov····%edx,0x1c(%esp) |
| 718 | ····1b9a:» 83·f9·01·············» cmp····$0x1,%ecx | 718 | ····1b9a:» 83·f9·01·············» cmp····$0x1,%ecx |
| 719 | ····1b9d:» 0f·86·ed·00·00·00····» jbe····1c90·<__cxa_finalize@plt+0x950> | 719 | ····1b9d:» 0f·86·ed·00·00·00····» jbe····1c90·<__cxa_finalize@plt+0x950> |
| 720 | ····1ba3:» 83·ec·08·············» sub····$0x8,%esp | 720 | ····1ba3:» 83·ec·08·············» sub····$0x8,%esp |
| 721 | ····1ba6:» 50···················» push···%eax | 721 | ····1ba6:» 50···················» push···%eax |
| 722 | ····1ba7:» 56···················» push···%esi | 722 | ····1ba7:» 56···················» push···%esi |
| 723 | ····1ba8:» e8· | 723 | ····1ba8:» e8·23·f9·01·00·······» call···214d0·<__cxa_finalize@plt+0x20190> |
| 724 | ····1bad:» 83·c4·10·············» add····$0x10,%esp | 724 | ····1bad:» 83·c4·10·············» add····$0x10,%esp |
| 725 | ····1bb0:» 89·c2················» mov····%eax,%edx | 725 | ····1bb0:» 89·c2················» mov····%eax,%edx |
| 726 | ····1bb2:» 83·ec·0c·············» sub····$0xc,%esp | 726 | ····1bb2:» 83·ec·0c·············» sub····$0xc,%esp |
| 727 | ····1bb5:» 52···················» push···%edx | 727 | ····1bb5:» 52···················» push···%edx |
| 728 | ····1bb6:» 89·54·24·2c··········» mov····%edx,0x2c(%esp) | 728 | ····1bb6:» 89·54·24·2c··········» mov····%edx,0x2c(%esp) |
| 729 | ····1bba:» 55···················» push···%ebp | 729 | ····1bba:» 55···················» push···%ebp |
| 730 | ····1bbb:» 8b·44·24·28··········» mov····0x28(%esp),%eax | 730 | ····1bbb:» 8b·44·24·28··········» mov····0x28(%esp),%eax |
| Offset 772, 117 lines modified | Offset 772, 117 lines modified | ||
| 772 | ····1c3f:» 8b·04·b0·············» mov····(%eax,%esi,4),%eax | 772 | ····1c3f:» 8b·04·b0·············» mov····(%eax,%esi,4),%eax |
| 773 | ····1c42:» 8b·37················» mov····(%edi),%esi | 773 | ····1c42:» 8b·37················» mov····(%edi),%esi |
| 774 | ····1c44:» 83·fa·01·············» cmp····$0x1,%edx | 774 | ····1c44:» 83·fa·01·············» cmp····$0x1,%edx |
| 775 | ····1c47:» 0f·87·23·ff·ff·ff····» ja·····1b70·<__cxa_finalize@plt+0x830> | 775 | ····1c47:» 0f·87·23·ff·ff·ff····» ja·····1b70·<__cxa_finalize@plt+0x830> |
| 776 | ····1c4d:» 83·ec·08·············» sub····$0x8,%esp | 776 | ····1c4d:» 83·ec·08·············» sub····$0x8,%esp |
| 777 | ····1c50:» 50···················» push···%eax | 777 | ····1c50:» 50···················» push···%eax |
| 778 | ····1c51:» 56···················» push···%esi | 778 | ····1c51:» 56···················» push···%esi |
| 779 | ····1c52:» e8· | 779 | ····1c52:» e8·b9·f6·01·00·······» call···21310·<__cxa_finalize@plt+0x1ffd0> |
| 780 | ····1c57:» 83·c4·10·············» add····$0x10,%esp | 780 | ····1c57:» 83·c4·10·············» add····$0x10,%esp |
| 781 | ····1c5a:» 83·fd·02·············» cmp····$0x2,%ebp | 781 | ····1c5a:» 83·fd·02·············» cmp····$0x2,%ebp |
| 782 | ····1c5d:» 0f·84·7d·00·00·00····» je·····1ce0·<__cxa_finalize@plt+0x9a0> | 782 | ····1c5d:» 0f·84·7d·00·00·00····» je·····1ce0·<__cxa_finalize@plt+0x9a0> |
| 783 | ····1c63:» 83·ec·08·············» sub····$0x8,%esp | 783 | ····1c63:» 83·ec·08·············» sub····$0x8,%esp |
| 784 | ····1c66:» 50···················» push···%eax | 784 | ····1c66:» 50···················» push···%eax |
| 785 | ····1c67:» 89·44·24·28··········» mov····%eax,0x28(%esp) | 785 | ····1c67:» 89·44·24·28··········» mov····%eax,0x28(%esp) |
| 786 | ····1c6b:» 56···················» push···%esi | 786 | ····1c6b:» 56···················» push···%esi |
| 787 | ····1c6c:» e8· | 787 | ····1c6c:» e8·6f·0c·02·00·······» call···228e0·<__cxa_finalize@plt+0x215a0> |
| 788 | ····1c71:» 83·c4·10·············» add····$0x10,%esp | 788 | ····1c71:» 83·c4·10·············» add····$0x10,%esp |
| 789 | ····1c74:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx | 789 | ····1c74:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx |
| 790 | ····1c78:» 89·c5················» mov····%eax,%ebp | 790 | ····1c78:» 89·c5················» mov····%eax,%ebp |
| 791 | ····1c7a:» 83·ec·08·············» sub····$0x8,%esp | 791 | ····1c7a:» 83·ec·08·············» sub····$0x8,%esp |
| 792 | ····1c7d:» 52···················» push···%edx | 792 | ····1c7d:» 52···················» push···%edx |
| 793 | ····1c7e:» 56···················» push···%esi | 793 | ····1c7e:» 56···················» push···%esi |
| 794 | ····1c7f:» e8· | 794 | ····1c7f:» e8·7c·f8·01·00·······» call···21500·<__cxa_finalize@plt+0x201c0> |
| 795 | ····1c84:» 83·c4·10·············» add····$0x10,%esp | 795 | ····1c84:» 83·c4·10·············» add····$0x10,%esp |
| 796 | ····1c87:» e9·f3·fe·ff·ff·······» jmp····1b7f·<__cxa_finalize@plt+0x83f> | 796 | ····1c87:» e9·f3·fe·ff·ff·······» jmp····1b7f·<__cxa_finalize@plt+0x83f> |
| 797 | ····1c8c:» 8d·74·26·00··········» lea····0x0(%esi,%eiz,1),%esi | 797 | ····1c8c:» 8d·74·26·00··········» lea····0x0(%esi,%eiz,1),%esi |
| 798 | ····1c90:» 83·ec·08·············» sub····$0x8,%esp | 798 | ····1c90:» 83·ec·08·············» sub····$0x8,%esp |
| 799 | ····1c93:» 50···················» push···%eax | 799 | ····1c93:» 50···················» push···%eax |
| 800 | ····1c94:» 56···················» push···%esi | 800 | ····1c94:» 56···················» push···%esi |
| 801 | ····1c95:» e8· | 801 | ····1c95:» e8·76·f6·01·00·······» call···21310·<__cxa_finalize@plt+0x1ffd0> |
| 802 | ····1c9a:» 83·c4·10·············» add····$0x10,%esp | 802 | ····1c9a:» 83·c4·10·············» add····$0x10,%esp |
| 803 | ····1c9d:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx | 803 | ····1c9d:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx |
| 804 | ····1ca1:» 83·fa·02·············» cmp····$0x2,%edx | 804 | ····1ca1:» 83·fa·02·············» cmp····$0x2,%edx |
| 805 | ····1ca4:» 74·5a················» je·····1d00·<__cxa_finalize@plt+0x9c0> | 805 | ····1ca4:» 74·5a················» je·····1d00·<__cxa_finalize@plt+0x9c0> |
| 806 | ····1ca6:» 83·ec·08·············» sub····$0x8,%esp | 806 | ····1ca6:» 83·ec·08·············» sub····$0x8,%esp |
| 807 | ····1ca9:» 50···················» push···%eax | 807 | ····1ca9:» 50···················» push···%eax |
| 808 | ····1caa:» 89·44·24·28··········» mov····%eax,0x28(%esp) | 808 | ····1caa:» 89·44·24·28··········» mov····%eax,0x28(%esp) |
| 809 | ····1cae:» 56···················» push···%esi | 809 | ····1cae:» 56···················» push···%esi |
| 810 | ····1caf:» e8· | 810 | ····1caf:» e8·2c·0c·02·00·······» call···228e0·<__cxa_finalize@plt+0x215a0> |
| 811 | ····1cb4:» 83·c4·10·············» add····$0x10,%esp | 811 | ····1cb4:» 83·c4·10·············» add····$0x10,%esp |
| 812 | ····1cb7:» 8b·4c·24·1c··········» mov····0x1c(%esp),%ecx | 812 | ····1cb7:» 8b·4c·24·1c··········» mov····0x1c(%esp),%ecx |
| 813 | ····1cbb:» 89·c2················» mov····%eax,%edx | 813 | ····1cbb:» 89·c2················» mov····%eax,%edx |
| 814 | ····1cbd:» 89·54·24·1c··········» mov····%edx,0x1c(%esp) | 814 | ····1cbd:» 89·54·24·1c··········» mov····%edx,0x1c(%esp) |
| 815 | ····1cc1:» 83·ec·08·············» sub····$0x8,%esp | 815 | ····1cc1:» 83·ec·08·············» sub····$0x8,%esp |
| 816 | ····1cc4:» 51···················» push···%ecx | 816 | ····1cc4:» 51···················» push···%ecx |
| 817 | ····1cc5:» 56···················» push···%esi | 817 | ····1cc5:» 56···················» push···%esi |
| 818 | ····1cc6:» e8· | 818 | ····1cc6:» e8·35·f8·01·00·······» call···21500·<__cxa_finalize@plt+0x201c0> |
| 819 | ····1ccb:» 83·c4·10·············» add····$0x10,%esp | 819 | ····1ccb:» 83·c4·10·············» add····$0x10,%esp |
| 820 | ····1cce:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx | 820 | ····1cce:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx |
| 821 | ····1cd2:» e9·db·fe·ff·ff·······» jmp····1bb2·<__cxa_finalize@plt+0x872> | 821 | ····1cd2:» e9·db·fe·ff·ff·······» jmp····1bb2·<__cxa_finalize@plt+0x872> |
| 822 | ····1cd7:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi | 822 | ····1cd7:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi |
| 823 | ····1cde:» 66·90················» xchg···%ax,%ax | 823 | ····1cde:» 66·90················» xchg···%ax,%ax |
| 824 | ····1ce0:» 83·ec·08·············» sub····$0x8,%esp | 824 | ····1ce0:» 83·ec·08·············» sub····$0x8,%esp |
| 825 | ····1ce3:» 50···················» push···%eax | 825 | ····1ce3:» 50···················» push···%eax |
| 826 | ····1ce4:» 89·44·24·28··········» mov····%eax,0x28(%esp) | 826 | ····1ce4:» 89·44·24·28··········» mov····%eax,0x28(%esp) |
| 827 | ····1ce8:» 56···················» push···%esi | 827 | ····1ce8:» 56···················» push···%esi |
| 828 | ····1ce9:» e8· | 828 | ····1ce9:» e8·02·0b·02·00·······» call···227f0·<__cxa_finalize@plt+0x214b0> |
| 829 | ····1cee:» 83·c4·10·············» add····$0x10,%esp | 829 | ····1cee:» 83·c4·10·············» add····$0x10,%esp |
| 830 | ····1cf1:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx | 830 | ····1cf1:» 8b·54·24·1c··········» mov····0x1c(%esp),%edx |
| 831 | ····1cf5:» 89·c5················» mov····%eax,%ebp | 831 | ····1cf5:» 89·c5················» mov····%eax,%ebp |
| 832 | ····1cf7:» e9·7e·ff·ff·ff·······» jmp····1c7a·<__cxa_finalize@plt+0x93a> | 832 | ····1cf7:» e9·7e·ff·ff·ff·······» jmp····1c7a·<__cxa_finalize@plt+0x93a> |
| 833 | ····1cfc:» 8d·74·26·00··········» lea····0x0(%esi,%eiz,1),%esi | 833 | ····1cfc:» 8d·74·26·00··········» lea····0x0(%esi,%eiz,1),%esi |
| 834 | ····1d00:» 83·ec·08·············» sub····$0x8,%esp | 834 | ····1d00:» 83·ec·08·············» sub····$0x8,%esp |
| 835 | ····1d03:» 50···················» push···%eax | 835 | ····1d03:» 50···················» push···%eax |
| 836 | ····1d04:» 89·44·24·28··········» mov····%eax,0x28(%esp) | 836 | ····1d04:» 89·44·24·28··········» mov····%eax,0x28(%esp) |
| 837 | ····1d08:» 56···················» push···%esi | 837 | ····1d08:» 56···················» push···%esi |
| 838 | ····1d09:» e8· | 838 | ····1d09:» e8·e2·0a·02·00·······» call···227f0·<__cxa_finalize@plt+0x214b0> |
| 839 | ····1d0e:» 83·c4·10·············» add····$0x10,%esp | 839 | ····1d0e:» 83·c4·10·············» add····$0x10,%esp |
| 840 | ····1d11:» 8b·4c·24·1c··········» mov····0x1c(%esp),%ecx | 840 | ····1d11:» 8b·4c·24·1c··········» mov····0x1c(%esp),%ecx |
| 841 | ····1d15:» 89·c2················» mov····%eax,%edx | 841 | ····1d15:» 89·c2················» mov····%eax,%edx |
| 842 | ····1d17:» eb·a4················» jmp····1cbd·<__cxa_finalize@plt+0x97d> | 842 | ····1d17:» eb·a4················» jmp····1cbd·<__cxa_finalize@plt+0x97d> |
| 843 | ····1d19:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi | 843 | ····1d19:» 8d·b4·26·00·00·00·00·» lea····0x0(%esi,%eiz,1),%esi |
| 844 | ····1d20:» 83·ec·04·············» sub····$0x4,%esp | 844 | ····1d20:» 83·ec·04·············» sub····$0x4,%esp |
| 845 | ····1d23:» c1·e0·02·············» shl····$0x2,%eax | 845 | ····1d23:» c1·e0·02·············» shl····$0x2,%eax |
| 846 | ····1d26:» 50···················» push···%eax | 846 | ····1d26:» 50···················» push···%eax |
| 847 | ····1d27:» ff·74·24·3c··········» pushl··0x3c(%esp) | 847 | ····1d27:» ff·74·24·3c··········» pushl··0x3c(%esp) |
| 848 | ····1d2b:» ff·37················» pushl··(%edi) | 848 | ····1d2b:» ff·37················» pushl··(%edi) |
| 849 | ····1d2d:» e8· | 849 | ····1d2d:» e8·9e·c8·03·00·······» call···3e5d0·<__cxa_finalize@plt+0x3d290> |
| 850 | ····1d32:» 83·c4·0c·············» add····$0xc,%esp | 850 | ····1d32:» 83·c4·0c·············» add····$0xc,%esp |
| Max diff block lines reached; 6843328/6851204 bytes (99.89%) of diff not shown. | |||
| Offset 35, 17 lines modified | Offset 35, 17 lines modified | ||
| 35 | ··0x0009d200·2d736f20·25732032·3e2f6465·762f6e75·-so·%s·2>/dev/nu | 35 | ··0x0009d200·2d736f20·25732032·3e2f6465·762f6e75·-so·%s·2>/dev/nu |
| 36 | ··0x0009d210·6c6c0063·616e206e·6f742072·65616420·ll.can·not·read· | 36 | ··0x0009d210·6c6c0063·616e206e·6f742072·65616420·ll.can·not·read· |
| 37 | ··0x0009d220·27257327·0a00426f·6f6c6563·746f7220·'%s'..Boolector· | 37 | ··0x0009d220·27257327·0a00426f·6f6c6563·746f7220·'%s'..Boolector· |
| 38 | ··0x0009d230·56657273·696f6e20·25732025·730a0067·Version·%s·%s..g | 38 | ··0x0009d230·56657273·696f6e20·25732025·730a0067·Version·%s·%s..g |
| 39 | ··0x0009d240·63632028·44656269·616e2038·2e332e30·cc·(Debian·8.3.0 | 39 | ··0x0009d240·63632028·44656269·616e2038·2e332e30·cc·(Debian·8.3.0 |
| 40 | ··0x0009d250·2d362920·382e332e·30005361·74204f63·-6)·8.3.0.Sat·Oc | 40 | ··0x0009d250·2d362920·382e332e·30005361·74204f63·-6)·8.3.0.Sat·Oc |
| 41 | ··0x0009d260·74203133·2031333a·35393a30·39204345·t·13·13:59:09·CE | 41 | ··0x0009d260·74203133·2031333a·35393a30·39204345·t·13·13:59:09·CE |
| 42 | ··0x0009d270·53542032·30313200·54756520·4 | 42 | ··0x0009d270·53542032·30313200·54756520·4a756e20·ST·2012.Tue·Jun· |
| 43 | ··0x0009d280·323 | 43 | ··0x0009d280·32392030·393a3337·3a343920·2b313420·29·09:37:49·+14· |
| 44 | ··0x0009d290·3230323 | 44 | ··0x0009d290·32303231·00736574·74696e67·20736967·2021.setting·sig |
| 45 | ··0x0009d2a0·6e616c20·68616e64·6c657273·0a006e6f·nal·handlers..no | 45 | ··0x0009d2a0·6e616c20·68616e64·6c657273·0a006e6f·nal·handlers..no |
| 46 | ··0x0009d2b0·2074696d·65206c69·6d69740a·002e736d··time·limit...sm | 46 | ··0x0009d2b0·2074696d·65206c69·6d69740a·002e736d··time·limit...sm |
| 47 | ··0x0009d2c0·74320064·756d7069·6e672042·544f5220·t2.dumping·BTOR· | 47 | ··0x0009d2c0·74320064·756d7069·6e672042·544f5220·t2.dumping·BTOR· |
| 48 | ··0x0009d2d0·65787072·65737369·6f6e730a·0064756d·expressions..dum | 48 | ··0x0009d2d0·65787072·65737369·6f6e730a·0064756d·expressions..dum |
| 49 | ··0x0009d2e0·70696e67·20696e20·534d5420·666f726d·ping·in·SMT·form | 49 | ··0x0009d2e0·70696e67·20696e20·534d5420·666f726d·ping·in·SMT·form |
| 50 | ··0x0009d2f0·61740a00·73746174·75732073·61740a00·at..status·sat.. | 50 | ··0x0009d2f0·61740a00·73746174·75732073·61740a00·at..status·sat.. |
| 51 | ··0x0009d300·73746174·75732075·6e736174·0a007374·status·unsat..st | 51 | ··0x0009d300·73746174·75732075·6e736174·0a007374·status·unsat..st |
| Offset 578, 973 lines modified | Offset 578, 973 lines modified | ||
| 578 | ··0x0009f3f0·30662525·29000000·252e3266·20736563·0f%%)...%.2f·sec | 578 | ··0x0009f3f0·30662525·29000000·252e3266·20736563·0f%%)...%.2f·sec |
| 579 | ··0x0009f400·6f6e6473·20736b65·6c65746f·6e207072·onds·skeleton·pr | 579 | ··0x0009f400·6f6e6473·20736b65·6c65746f·6e207072·onds·skeleton·pr |
| 580 | ··0x0009f410·6570726f·63657373·696e6720·64757269·eprocessing·duri | 580 | ··0x0009f410·6570726f·63657373·696e6720·64757269·eprocessing·duri |
| 581 | ··0x0009f420·6e672072·65777269·74696e67·2028252e·ng·rewriting·(%. | 581 | ··0x0009f420·6e672072·65777269·74696e67·2028252e·ng·rewriting·(%. |
| 582 | ··0x0009f430·30662525·29000000·5b62746f·72736174·0f%%)...[btorsat | 582 | ··0x0009f430·30662525·29000000·5b62746f·72736174·0f%%)...[btorsat |
| 583 | ··0x0009f440·5d207265·66696e65·6d656e74·20697465·]·refinement·ite | 583 | ··0x0009f440·5d207265·66696e65·6d656e74·20697465·]·refinement·ite |
| 584 | ··0x0009f450·72617469·6f6e2025·640a0000·0000c842·ration·%d......B | 584 | ··0x0009f450·72617469·6f6e2025·640a0000·0000c842·ration·%d......B |
| 585 | ··0x0009f460· | 585 | ··0x0009f460·31303130·00313030·00313031·00313130·1010.100.101.110 |
| 586 | ··0x0009f470· | 586 | ··0x0009f470·00313131·00313030·30003130·30310000·.111.1000.1001.. |
| 587 | ··0x0009f480· | 587 | ··0x0009f480·a8d2f4ff·90d2f4ff·78d2f4ff·60d2f4ff·........x...`... |
| 588 | ··0x0009f490· | 588 | ··0x0009f490·48d2f4ff·30d2f4ff·18d2f4ff·00d2f4ff·H...0........... |
| 589 | ··0x0009f4a0· | 589 | ··0x0009f4a0·e8d1f4ff·d0d1f4ff·c0d2f4ff·c0d2f4ff·................ |
| 590 | ··0x0009f4b0·c | 590 | ··0x0009f4b0·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 591 | ··0x0009f4c0·c | 591 | ··0x0009f4c0·c0d2f4ff·b8d1f4ff·a0d1f4ff·88d1f4ff·................ |
| 592 | ··0x0009f4d0· | 592 | ··0x0009f4d0·70d1f4ff·10d1f4ff·c0d2f4ff·c0d2f4ff·p............... |
| 593 | ··0x0009f4e0· | 593 | ··0x0009f4e0·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 594 | ··0x0009f4f0· | 594 | ··0x0009f4f0·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 595 | ··0x0009f500· | 595 | ··0x0009f500·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 596 | ··0x0009f510· | 596 | ··0x0009f510·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 597 | ··0x0009f520· | 597 | ··0x0009f520·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 598 | ··0x0009f530· | 598 | ··0x0009f530·c0d2f4ff·c0d2f4ff·c0d2f4ff·c0d2f4ff·................ |
| 599 | ··0x0009f540· | 599 | ··0x0009f540·c0d2f4ff·b8d1f4ff·a0d1f4ff·88d1f4ff·................ |
| 600 | ··0x0009f550· | 600 | ··0x0009f550·70d1f4ff·10d1f4ff·5b62746f·72616967·p.......[btoraig |
| 601 | ··0x0009f560· | 601 | ··0x0009f560·5d207265·66657265·6e636520·636f756e·]·reference·coun |
| 602 | ··0x0009f570· | 602 | ··0x0009f570·74657220·6f766572·666c6f77·0a000000·ter·overflow.... |
| 603 | ··0x0009f580· | 603 | ··0x0009f580·7472616e·73666f72·6d696e67·20414947·transforming·AIG |
| 604 | ··0x0009f590·20 | 604 | ··0x0009f590·20696e74·6f20434e·46207573·696e6720··into·CNF·using· |
| 605 | ··0x0009f5a0· | 605 | ··0x0009f5a0·54736569·74696e20·7472616e·73666f72·Tseitin·transfor |
| 606 | ··0x0009f5b0· | 606 | ··0x0009f5b0·6d617469·6f6e0a00·5b62746f·72616967·mation..[btoraig |
| 607 | ··0x0009f5c0·20 | 607 | ··0x0009f5c0·5d20005b·62746f72·6169675d·20414947·]·.[btoraig]·AIG |
| 608 | ··0x0009f5d0·20 | 608 | ··0x0009f5d0·20696420·6f766572·666c6f77·0a006125··id·overflow..a% |
| 609 | ··0x0009f5e0· | 609 | ··0x0009f5e0·63672025·64202564·20256420·25642025·cg·%d·%d·%d·%d·% |
| 610 | ··0x0009f5f0· | 610 | ··0x0009f5f0·640a0025·75200025·75202575·2025750a·d..%u·.%u·%u·%u. |
| 611 | ··0x0009f600· | 611 | ··0x0009f600·006c2564·2025730a·00692564·2025730a·.l%d·%s..i%d·%s. |
| 612 | ··0x0009f610· | 612 | ··0x0009f610·005b6274·6f72736d·745d2000·20616674·.[btorsmt]·.·aft |
| 613 | ··0x0009f620· | 613 | ··0x0009f620·65722025·2e326620·7365636f·6e64730a·er·%.2f·seconds. |
| 614 | ··0x0009f630· | 614 | ··0x0009f630·00272573·2720756e·64656669·6e656400·.'%s'·undefined. |
| 615 | ··0x0009f640· | 615 | ··0x0009f640·2564202d·20256400·273a666f·726d756c·%d·-·%d.':formul |
| 616 | ··0x0009f650·6 | 616 | ··0x0009f650·61272025·73205341·5400273a·666f726d·a'·%s·SAT.':form |
| 617 | ··0x0009f660· | 617 | ··0x0009f660·756c6127·20257320·554e5341·5400696e·ula'·%s·UNSAT.in |
| 618 | ··0x0009f670· | 618 | ··0x0009f670·69746961·6c697a69·6e672053·4d542070·itializing·SMT·p |
| 619 | ··0x0009f680·6 | 619 | ··0x0009f680·61727365·72003a61·7373756d·7074696f·arser.:assumptio |
| 620 | ··0x0009f690·6 | 620 | ··0x0009f690·6e003a61·78696f6d·73006265·6e63686d·n.:axioms.benchm |
| 621 | ··0x0009f6a0· | 621 | ··0x0009f6a0·61726b00·3a646566·696e6974·696f6e73·ark.:definitions |
| 622 | ··0x0009f6b0·00 | 622 | ··0x0009f6b0·00646973·74696e63·74006578·69737473·.distinct.exists |
| 623 | ··0x0009f6c0· | 623 | ··0x0009f6c0·003a6578·74656e73·696f6e73·003a6578·.:extensions.:ex |
| 624 | ··0x0009f6d0· | 624 | ··0x0009f6d0·74726166·756e7300·3a657874·72617072·trafuns.:extrapr |
| 625 | ··0x0009f6e0· | 625 | ··0x0009f6e0·65647300·3a657874·7261736f·72747300·eds.:extrasorts. |
| 626 | ··0x0009f6f0·6 | 626 | ··0x0009f6f0·66616c73·6500666c·65740066·6f72616c·false.flet.foral |
| 627 | ··0x0009f700· | 627 | ··0x0009f700·6c003a66·6f726d75·6c61003a·66756e73·l.:formula.:funs |
| 628 | ··0x0009f710· | 628 | ··0x0009f710·0069665f·7468656e·5f656c73·65003a6c·.if_then_else.:l |
| 629 | ··0x0009f720·617 | 629 | ··0x0009f720·616e6775·61676500·3a6c6f67·6963003a·anguage.:logic.: |
| 630 | ··0x0009f730·6e | 630 | ··0x0009f730·6e6f7465·73003a70·72656473·003a736f·notes.:preds.:so |
| 631 | ··0x0009f740· | 631 | ··0x0009f740·72747300·3a737461·74757300·3a746865·rts.:status.:the |
| 632 | ··0x0009f750· | 632 | ··0x0009f750·6f727900·74727565·003c696e·7465726e·ory.true.<intern |
| 633 | ··0x0009f760· | 633 | ··0x0009f760·616c2062·696e6420·73796d62·6f6c3e00·al·bind·symbol>. |
| 634 | ··0x0009f770· | 634 | ··0x0009f770·3c696e74·65726e61·6c207472·616e736c·<internal·transl |
| 635 | ··0x0009f780·6 | 635 | ··0x0009f780·61746564·2073796d·626f6c3e·003d0062·ated·symbol>.=.b |
| 636 | ··0x0009f790·6 | 636 | ··0x0009f790·69743000·62697431·0062766e·6f740062·it0.bit1.bvnot.b |
| 637 | ··0x0009f7a0· | 637 | ··0x0009f7a0·76756c65·00627673·6c740062·766e6567·vule.bvslt.bvneg |
| 638 | ··0x0009f7b0·006 | 638 | ··0x0009f7b0·00627673·6c650062·76737562·00627673·.bvsle.bvsub.bvs |
| 639 | ··0x0009f7c0·6 | 639 | ··0x0009f7c0·64697600·62766173·68720062·766f7200·div.bvashr.bvor. |
| 640 | ··0x0009f7d0·6 | 640 | ··0x0009f7d0·62766e6f·72006276·6e616e64·00627675·bvnor.bvnand.bvu |
| 641 | ··0x0009f7e0· | 641 | ··0x0009f7e0·67740062·76756765·00627673·67740062·gt.bvuge.bvsgt.b |
| 642 | ··0x0009f7f0· | 642 | ··0x0009f7f0·76736765·00627663·6f6d7000·6276786f·vsge.bvcomp.bvxo |
| 643 | ··0x0009f800· | 643 | ··0x0009f800·72006276·7372656d·00627673·6d6f6400·r.bvsrem.bvsmod. |
| 644 | ··0x0009f810· | 644 | ··0x0009f810·6276786e·6f720075·6e657870·65637465·bvxnor.unexpecte |
| 645 | ··0x0009f820·6 | 645 | ··0x0009f820·64206172·72617920·61726775·6d656e74·d·array·argument |
| 646 | ··0x0009f830· | 646 | ··0x0009f830·006e6f6e·20626f6f·6c65616e·20636f6e·.non·boolean·con |
| 647 | ··0x0009f840· | 647 | ··0x0009f840·64697469·6f6e616c·00657870·72657373·ditional.express |
| 648 | ··0x0009f850· | 648 | ··0x0009f850·696f6e20·77696474·68206d69·736d6174·ion·width·mismat |
| 649 | ··0x0009f860·6 | 649 | ··0x0009f860·63680065·78747261·63745b00·72657065·ch.extract[.repe |
| 650 | ··0x0009f870·6 | 650 | ··0x0009f870·61745b00·7a65726f·5f657874·656e645b·at[.zero_extend[ |
| 651 | ··0x0009f880· | 651 | ··0x0009f880·00736967·6e5f6578·74656e64·5b00726f·.sign_extend[.ro |
| 652 | ··0x0009f890·7 | 652 | ··0x0009f890·74617465·5f6c6566·745b0072·6f746174·tate_left[.rotat |
| 653 | ··0x0009f8a0· | 653 | ··0x0009f8a0·655f7269·6768745b·00756e73·7570706f·e_right[.unsuppo |
| 654 | ··0x0009f8b0· | 654 | ··0x0009f8b0·72746564·206b6579·776f7264·20272573·rted·keyword·'%s |
| 655 | ··0x0009f8c0· | 655 | ··0x0009f8c0·2700756e·65787065·63746564·20646967·'.unexpected·dig |
| 656 | ··0x0009f8d0· | 656 | ··0x0009f8d0·69742061·66746572·20273027·00756e65·it·after·'0'.une |
| 657 | ··0x0009f8e0· | 657 | ··0x0009f8e0·73636170·65642027·7b272061·66746572·scaped·'{'·after |
| 658 | ··0x0009f8f0· | 658 | ··0x0009f8f0·20277b27·00756e65·78706563·74656420··'{'.unexpected· |
| 659 | ··0x0009f900· | 659 | ··0x0009f900·454f4620·61667465·7220277b·2700756e·EOF·after·'{'.un |
| 660 | ··0x0009f910·6 | 660 | ··0x0009f910·65787065·63746564·20454f46·20616674·expected·EOF·aft |
| 661 | ··0x0009f920· | 661 | ··0x0009f920·65722027·22270075·6e657870·65637465·er·'"'.unexpecte |
| 662 | ··0x0009f930· | 662 | ··0x0009f930·64206368·61726163·74657220·27256327·d·character·'%c' |
| 663 | ··0x0009f940· | 663 | ··0x0009f940·00696c6c·666f726d·65642027·6c657427·.illformed·'let' |
| 664 | ··0x0009f950· | 664 | ··0x0009f950·206f7220·27666c65·74270065·6d707479··or·'flet'.empty |
| 665 | ··0x0009f960·2 | 665 | ··0x0009f960·206c6973·7400696e·64657820·77696474··list.index·widt |
| 666 | ··0x0009f970·6 | 666 | ··0x0009f970·68206d69·736d6174·63682069·6e20273d·h·mismatch·in·'= |
| 667 | ··0x0009f980·7 | 667 | ··0x0009f980·2700756e·73757070·6f727465·64206e65·'.unsupported·ne |
| 668 | ··0x0009f990· | 668 | ··0x0009f990·73746564·20275b66·5d6c6574·2700666c·sted·'[f]let'.fl |
| 669 | ··0x0009f9a0· | 669 | ··0x0009f9a0·65742061·73736967·6e6d656e·74207769·et·assignment·wi |
| 670 | ··0x0009f9b0·6 | 670 | ··0x0009f9b0·64746820·6e6f7420·6f6e6500·63616e20·dth·not·one.can· |
| 671 | ··0x0009f9c0·6 | 671 | ··0x0009f9c0·6e6f7420·68616e64·6c652027·72657065·not·handle·'repe |
| 672 | ··0x0009f9d0·6 | 672 | ··0x0009f9d0·61745b30·5d270073·796d626f·6c696320·at[0]'.symbolic· |
| 673 | ··0x0009f9e0· | 673 | ··0x0009f9e0·68656164·20776974·68206172·67756d65·head·with·argume |
| 674 | ··0x0009f9f0· | 674 | ··0x0009f9f0·6e740069·6e76616c·6964206c·69737420·nt.invalid·list· |
| 675 | ··0x0009fa00· | 675 | ··0x0009fa00·65787072·65737369·6f6e006e·6f6e2062·expression.non·b |
| 676 | ··0x0009fa10·6 | 676 | ··0x0009fa10·6f6f6c65·616e2066·6f726d75·6c610070·oolean·formula.p |
| 677 | ··0x0009fa20· | 677 | ··0x0009fa20·61727369·6e672053·4d542066·696c6520·arsing·SMT·file· |
| 678 | ··0x0009fa30· | 678 | ··0x0009fa30·25730074·6f6f206d·616e7920·636c6f73·%s.too·many·clos |
| 679 | ··0x0009fa40·6 | 679 | ··0x0009fa40·696e6720·27292700·72656164·20256c6c·ing·')'.read·%ll |
| 680 | ··0x0009fa50· | 680 | ··0x0009fa50·75206279·74657300·666f756e·64202575·u·bytes.found·%u |
| 681 | ··0x0009fa60· | 681 | ··0x0009fa60·2073796d·626f6c73·0067656e·65726174··symbols.generat |
| 682 | ··0x0009fa70·6 | 682 | ··0x0009fa70·65642025·75206e6f·64657300·666f756e·ed·%u·nodes.foun |
| 683 | ··0x0009fa80·6 | 683 | ··0x0009fa80·64202564·20617373·756d7074·696f6e73·d·%d·assumptions |
| 684 | ··0x0009fa90· | 684 | ··0x0009fa90·00666f75·6e642025·6420666f·726d756c·.found·%d·formul |
| 685 | ··0x0009faa0·6 | 685 | ··0x0009faa0·61730065·78747261·6374696e·67206578·as.extracting·ex |
| 686 | ··0x0009fab0· | 686 | ··0x0009fab0·70726573·73696f6e·73006578·70656374·pressions.expect |
| Max diff block lines reached; 106477/133187 bytes (79.95%) of diff not shown. | |||
| Offset 1, 426 lines modified | Offset 1, 426 lines modified | ||
| 1 | Hex·dump·of·section·'.eh_frame_hdr': | 1 | Hex·dump·of·section·'.eh_frame_hdr': |
| 2 | ··0x000a884 | 2 | ··0x000a8848·011b033b·601a0000·4b030000·d887f5ff·...;`...K....... |
| 3 | ··0x000a885 | 3 | ··0x000a8858·a81a0000·f88af5ff·cc1a0000·088bf5ff·................ |
| 4 | ··0x000a886 | 4 | ··0x000a8868·f4870100·0f8bf5ff·70df0100·148bf5ff·........p....... |
| 5 | ··0x000a887 | 5 | ··0x000a8878·48370200·288bf5ff·e01a0000·688bf5ff·H7..(.......h... |
| 6 | ··0x000a888 | 6 | ··0x000a8888·7c1a0000·a88cf5ff·141b0000·088df5ff·|............... |
| 7 | ··0x000a889 | 7 | ··0x000a8898·781b0000·688df5ff·d01b0000·a88df5ff·x...h........... |
| 8 | ··0x000a88a | 8 | ··0x000a88a8·081c0000·888ef5ff·741c0000·488ff5ff·........t...H... |
| 9 | ··0x000a88b | 9 | ··0x000a88b8·e81c0000·988ff5ff·2c1d0000·d88ff5ff·........,....... |
| 10 | ··0x000a88c | 10 | ··0x000a88c8·741d0000·0891f5ff·041e0000·9891f5ff·t............... |
| 11 | ··0x000a88d | 11 | ··0x000a88d8·401e0000·d891f5ff·881e0000·9895f5ff·@............... |
| 12 | ··0x000a88e | 12 | ··0x000a88e8·38200000·e895f5ff·80200000·ebb7f5ff·8·.......·...... |
| 13 | ··0x000a88f | 13 | ··0x000a88f8·042c0000·f8b7f5ff·182c0000·58b8f5ff·.,.......,..X... |
| 14 | ··0x000a890 | 14 | ··0x000a8908·6c2c0000·b8b8f5ff·d02c0000·08bbf5ff·l,.......,...... |
| 15 | ··0x000a891 | 15 | ··0x000a8918·ac2d0000·38bbf5ff·d42d0000·68bbf5ff·.-..8....-..h... |
| 16 | ··0x000a892 | 16 | ··0x000a8928·fc2d0000·98bbf5ff·242e0000·f8bcf5ff·.-......$....... |
| 17 | ··0x000a893 | 17 | ··0x000a8938·642e0000·e8c3f5ff·c02e0000·08c7f5ff·d............... |
| 18 | ··0x000a894 | 18 | ··0x000a8948·842f0000·b8c7f5ff·e02f0000·18c9f5ff·./......./...... |
| 19 | ··0x000a895 | 19 | ··0x000a8958·54300000·a8cbf5ff·40310000·e8cdf5ff·T0......@1...... |
| 20 | ··0x000a896 | 20 | ··0x000a8968·0c320000·a8cff5ff·a0320000·e8d7f5ff·.2.......2...... |
| 21 | ··0x000a897 | 21 | ··0x000a8978·00340000·b8d8f5ff·5c340000·f8dbf5ff·.4......\4...... |
| 22 | ··0x000a898 | 22 | ··0x000a8988·68350000·a8dcf5ff·04360000·e8dcf5ff·h5.......6...... |
| 23 | ··0x000a899 | 23 | ··0x000a8998·40360000·28ddf5ff·7c360000·68ddf5ff·@6..(...|6..h... |
| 24 | ··0x000a89a | 24 | ··0x000a89a8·b8360000·a8ddf5ff·f4360000·e8ddf5ff·.6.......6...... |
| 25 | ··0x000a89b | 25 | ··0x000a89b8·30370000·28def5ff·6c370000·68def5ff·07..(...l7..h... |
| 26 | ··0x000a89c | 26 | ··0x000a89c8·a8370000·a8def5ff·e4370000·e8def5ff·.7.......7...... |
| 27 | ··0x000a89d | 27 | ··0x000a89d8·20380000·28dff5ff·5c380000·68dff5ff··8..(...\8..h... |
| 28 | ··0x000a89e | 28 | ··0x000a89e8·98380000·a8dff5ff·d4380000·e8dff5ff·.8.......8...... |
| 29 | ··0x000a89f | 29 | ··0x000a89f8·10390000·28e0f5ff·4c390000·78e2f5ff·.9..(...L9..x... |
| 30 | ··0x000a8a0 | 30 | ··0x000a8a08·203a0000·a8e3f5ff·e03a0000·48e4f5ff··:.......:..H... |
| 31 | ··0x000a8a1 | 31 | ··0x000a8a18·443b0000·e8e4f5ff·c83b0000·58e5f5ff·D;.......;..X... |
| 32 | ··0x000a8a2 | 32 | ··0x000a8a28·343c0000·08e7f5ff·c03c0000·08e8f5ff·4<.......<...... |
| 33 | ··0x000a8a3 | 33 | ··0x000a8a38·8c3d0000·68e8f5ff·d43d0000·c8e8f5ff·.=..h....=...... |
| 34 | ··0x000a8a4 | 34 | ··0x000a8a48·1c3e0000·d8eaf5ff·703f0000·38ebf5ff·.>......p?..8... |
| 35 | ··0x000a8a5 | 35 | ··0x000a8a58·b83f0000·98ebf5ff·00400000·f8ebf5ff·.?.......@...... |
| 36 | ··0x000a8a6 | 36 | ··0x000a8a68·48400000·58ecf5ff·90400000·b8ecf5ff·H@..X....@...... |
| 37 | ··0x000a8a7 | 37 | ··0x000a8a78·d8400000·18edf5ff·20410000·78edf5ff·.@......·A..x... |
| 38 | ··0x000a8a8 | 38 | ··0x000a8a88·68410000·d8edf5ff·b0410000·38eef5ff·hA.......A..8... |
| 39 | ··0x000a8a9 | 39 | ··0x000a8a98·f8410000·98eef5ff·40420000·f8eef5ff·.A......@B...... |
| 40 | ··0x000a8aa | 40 | ··0x000a8aa8·88420000·58eff5ff·d0420000·b8eff5ff·.B..X....B...... |
| 41 | ··0x000a8ab | 41 | ··0x000a8ab8·18430000·18f0f5ff·60430000·78f0f5ff·.C......`C..x... |
| 42 | ··0x000a8ac | 42 | ··0x000a8ac8·a8430000·d8f0f5ff·f0430000·38f1f5ff·.C.......C..8... |
| 43 | ··0x000a8ad | 43 | ··0x000a8ad8·38440000·48f2f5ff·ec440000·68f3f5ff·8D..H....D..h... |
| 44 | ··0x000a8ae | 44 | ··0x000a8ae8·b8450000·08f4f5ff·3c460000·a8f4f5ff·.E......<F...... |
| 45 | ··0x000a8af | 45 | ··0x000a8af8·c0460000·18f5f5ff·2c470000·88f5f5ff·.F......,G...... |
| 46 | ··0x000a8b0 | 46 | ··0x000a8b08·98470000·f8f5f5ff·04480000·68f6f5ff·.G.......H..h... |
| 47 | ··0x000a8b1 | 47 | ··0x000a8b18·70480000·78f7f5ff·30490000·e8f8f5ff·pH..x...0I...... |
| 48 | ··0x000a8b2 | 48 | ··0x000a8b28·ec490000·e8faf5ff·e84a0000·18fcf5ff·.I.......J...... |
| 49 | ··0x000a8b3 | 49 | ··0x000a8b38·a84b0000·48fdf5ff·684c0000·78fef5ff·.K..H...hL..x... |
| 50 | ··0x000a8b4 | 50 | ··0x000a8b48·284d0000·a8fff5ff·e84d0000·3802f6ff·(M.......M..8... |
| 51 | ··0x000a8b5 | 51 | ··0x000a8b58·8c4e0000·1803f6ff·3c4f0000·5803f6ff·.N......<O..X... |
| 52 | ··0x000a8b6 | 52 | ··0x000a8b68·784f0000·9803f6ff·b44f0000·d804f6ff·xO.......O...... |
| 53 | ··0x000a8b7 | 53 | ··0x000a8b78·6c500000·f808f6ff·98510000·0909f6ff·lP.......Q...... |
| 54 | ··0x000a8b8 | 54 | ··0x000a8b88·ac510000·0d09f6ff·c0510000·1109f6ff·.Q.......Q...... |
| 55 | ··0x000a8b9 | 55 | ··0x000a8b98·d4510000·1809f6ff·e8510000·2809f6ff·.Q.......Q..(... |
| 56 | ··0x000a8ba | 56 | ··0x000a8ba8·fc510000·5809f6ff·10520000·8809f6ff·.Q..X....R...... |
| 57 | ··0x000a8bb | 57 | ··0x000a8bb8·24520000·b809f6ff·38520000·e809f6ff·$R......8R...... |
| 58 | ··0x000a8bc | 58 | ··0x000a8bc8·5c520000·480af6ff·90520000·780af6ff·\R..H....R..x... |
| 59 | ··0x000a8bd | 59 | ··0x000a8bd8·bc520000·a80af6ff·e0520000·d80af6ff·.R.......R...... |
| 60 | ··0x000a8be | 60 | ··0x000a8be8·08530000·080bf6ff·30530000·380bf6ff·.S......0S..8... |
| 61 | ··0x000a8bf | 61 | ··0x000a8bf8·5c530000·780bf6ff·a0530000·a80bf6ff·\S..x....S...... |
| 62 | ··0x000a8c0 | 62 | ··0x000a8c08·c8530000·e80bf6ff·00540000·180cf6ff·.S.......T...... |
| 63 | ··0x000a8c1 | 63 | ··0x000a8c18·24540000·780cf6ff·7c540000·a80cf6ff·$T..x...|T...... |
| 64 | ··0x000a8c2 | 64 | ··0x000a8c28·a4540000·d80cf6ff·cc540000·080df6ff·.T.......T...... |
| 65 | ··0x000a8c3 | 65 | ··0x000a8c38·f4540000·380df6ff·18550000·680df6ff·.T..8....U..h... |
| 66 | ··0x000a8c4 | 66 | ··0x000a8c48·40550000·980df6ff·68550000·080ef6ff·@U......hU...... |
| 67 | ··0x000a8c5 | 67 | ··0x000a8c58·c0550000·480ef6ff·04560000·0811f6ff·.U..H....V...... |
| 68 | ··0x000a8c6 | 68 | ··0x000a8c68·c8570000·d813f6ff·9c580000·6814f6ff·.W.......X..h... |
| 69 | ··0x000a8c7 | 69 | ··0x000a8c78·f8580000·9815f6ff·40590000·a815f6ff·.X......@Y...... |
| 70 | ··0x000a8c8 | 70 | ··0x000a8c88·54590000·b815f6ff·68590000·6816f6ff·TY......hY..h... |
| 71 | ··0x000a8c9 | 71 | ··0x000a8c98·d0590000·a816f6ff·e4590000·b816f6ff·.Y.......Y...... |
| 72 | ··0x000a8ca | 72 | ··0x000a8ca8·f8590000·2817f6ff·445a0000·1818f6ff·.Y..(...DZ...... |
| 73 | ··0x000a8cb | 73 | ··0x000a8cb8·b85a0000·d818f6ff·385b0000·e818f6ff·.Z......8[...... |
| 74 | ··0x000a8cc | 74 | ··0x000a8cc8·4c5b0000·3819f6ff·985b0000·5819f6ff·L[..8....[..X... |
| 75 | ··0x000a8cd | 75 | ··0x000a8cd8·ac5b0000·b819f6ff·f85b0000·c819f6ff·.[.......[...... |
| 76 | ··0x000a8ce | 76 | ··0x000a8ce8·0c5c0000·d819f6ff·205c0000·181af6ff·.\......·\...... |
| 77 | ··0x000a8cf | 77 | ··0x000a8cf8·4c5c0000·281af6ff·605c0000·381af6ff·L\..(...`\..8... |
| 78 | ··0x000a8d0 | 78 | ··0x000a8d08·745c0000·481af6ff·885c0000·581af6ff·t\..H....\..X... |
| 79 | ··0x000a8d1 | 79 | ··0x000a8d18·9c5c0000·681af6ff·b05c0000·b81bf6ff·.\..h....\...... |
| 80 | ··0x000a8d2 | 80 | ··0x000a8d28·005d0000·d81bf6ff·145d0000·e81bf6ff·.].......]...... |
| 81 | ··0x000a8d3 | 81 | ··0x000a8d38·285d0000·481cf6ff·3c5d0000·681cf6ff·(]..H...<]..h... |
| 82 | ··0x000a8d4 | 82 | ··0x000a8d48·505d0000·781cf6ff·645d0000·981cf6ff·P]..x...d]...... |
| 83 | ··0x000a8d5 | 83 | ··0x000a8d58·785d0000·381df6ff·d85d0000·f81df6ff·x]..8....]...... |
| 84 | ··0x000a8d6 | 84 | ··0x000a8d68·445e0000·581ff6ff·d85e0000·e81ff6ff·D^..X....^...... |
| 85 | ··0x000a8d7 | 85 | ··0x000a8d78·445f0000·c820f6ff·b85f0000·a821f6ff·D_...·..._...!.. |
| 86 | ··0x000a8d8 | 86 | ··0x000a8d88·40600000·5822f6ff·dc600000·d822f6ff·@`..X"...`...".. |
| 87 | ··0x000a8d9 | 87 | ··0x000a8d98·fc600000·f823f6ff·50610000·3824f6ff·.`...#..Pa..8$.. |
| 88 | ··0x000a8da | 88 | ··0x000a8da8·6c610000·8824f6ff·94610000·f824f6ff·la...$...a...$.. |
| 89 | ··0x000a8db | 89 | ··0x000a8db8·00620000·a825f6ff·50620000·b82ef6ff·.b...%..Pb...... |
| 90 | ··0x000a8dc | 90 | ··0x000a8dc8·74640000·982ff6ff·c0640000·4831f6ff·td.../...d..H1.. |
| 91 | ··0x000a8dd | 91 | ··0x000a8dd8·40650000·3832f6ff·94650000·d832f6ff·@e..82...e...2.. |
| 92 | ··0x000a8de | 92 | ··0x000a8de8·cc650000·8833f6ff·0c660000·b833f6ff·.e...3...f...3.. |
| 93 | ··0x000a8df | 93 | ··0x000a8df8·28660000·1835f6ff·90660000·983ef6ff·(f...5...f...>.. |
| 94 | ··0x000a8e0 | 94 | ··0x000a8e08·80670000·d83ff6ff·2c680000·0840f6ff·.g...?..,h...@.. |
| 95 | ··0x000a8e1 | 95 | ··0x000a8e18·48680000·3840f6ff·5c680000·2842f6ff·Hh..8@..\h..(B.. |
| 96 | ··0x000a8e2 | 96 | ··0x000a8e28·e0680000·3844f6ff·58690000·0847f6ff·.h..8D..Xi...G.. |
| 97 | ··0x000a8e3 | 97 | ··0x000a8e38·ec690000·084af6ff·9c6a0000·a84cf6ff·.i...J...j...L.. |
| 98 | ··0x000a8e4 | 98 | ··0x000a8e48·606b0000·f84cf6ff·bc6b0000·384df6ff·`k...L...k..8M.. |
| 99 | ··0x000a8e5 | 99 | ··0x000a8e58·186c0000·884df6ff·746c0000·d84df6ff·.l...M..tl...M.. |
| 100 | ··0x000a8e6 | 100 | ··0x000a8e68·d06c0000·284ef6ff·2c6d0000·784ef6ff·.l..(N..,m..xN.. |
| 101 | ··0x000a8e7 | 101 | ··0x000a8e78·886d0000·b84ef6ff·e46d0000·a84ff6ff·.m...N...m...O.. |
| 102 | ··0x000a8e8 | 102 | ··0x000a8e88·686e0000·9850f6ff·e06e0000·d850f6ff·hn...P...n...P.. |
| 103 | ··0x000a8e9 | 103 | ··0x000a8e98·186f0000·2851f6ff·5c6f0000·9851f6ff·.o..(Q..\o...Q.. |
| 104 | ··0x000a8ea | 104 | ··0x000a8ea8·ac6f0000·e851f6ff·f06f0000·3852f6ff·.o...Q...o..8R.. |
| 105 | ··0x000a8eb | 105 | ··0x000a8eb8·34700000·8852f6ff·78700000·d852f6ff·4p...R..xp...R.. |
| 106 | ··0x000a8ec | 106 | ··0x000a8ec8·bc700000·2853f6ff·00710000·7853f6ff·.p..(S...q..xS.. |
| 107 | ··0x000a8ed | 107 | ··0x000a8ed8·44710000·c853f6ff·88710000·1854f6ff·Dq...S...q...T.. |
| 108 | ··0x000a8ee | 108 | ··0x000a8ee8·cc710000·9854f6ff·4c720000·7866f6ff·.q...T..Lr..xf.. |
| 109 | ··0x000a8ef | 109 | ··0x000a8ef8·e0780000·a867f6ff·88790000·5869f6ff·.x...g...y..Xi.. |
| 110 | ··0x000a8f0 | 110 | ··0x000a8f08·407a0000·786af6ff·e87a0000·d86af6ff·@z..xj...z...j.. |
| 111 | ··0x000a8f1 | 111 | ··0x000a8f18·447b0000·686bf6ff·a47b0000·a86bf6ff·D{..hk...{...k.. |
| 112 | ··0x000a8f2 | 112 | ··0x000a8f28·c87b0000·386cf6ff·587c0000·386df6ff·.{..8l..X|..8m.. |
| 113 | ··0x000a8f3 | 113 | ··0x000a8f38·247d0000·a86df6ff·9c7d0000·586ef6ff·$}...m...}..Xn.. |
| 114 | ··0x000a8f4 | 114 | ··0x000a8f48·507e0000·086ff6ff·e47e0000·2871f6ff·P~...o...~..(q.. |
| 115 | ··0x000a8f5 | 115 | ··0x000a8f58·bc7f0000·4878f6ff·18810000·e88af6ff·....Hx.......... |
| 116 | ··0x000a8f6 | 116 | ··0x000a8f68·f4840000·c894f6ff·9c860000·5895f6ff·............X... |
| 117 | ··0x000a8f7 | 117 | ··0x000a8f78·2c870000·a897f6ff·90880000·e897f6ff·,............... |
| 118 | ··0x000a8f8 | 118 | ··0x000a8f88·d8880000·8898f6ff·68890000·7899f6ff·........h...x... |
| 119 | ··0x000a8f9 | 119 | ··0x000a8f98·148a0000·189af6ff·a08a0000·989bf6ff·................ |
| 120 | ··0x000a8fa | 120 | ··0x000a8fa8·588b0000·389cf6ff·e48b0000·f89cf6ff·X...8........... |
| 121 | ··0x000a8fb | 121 | ··0x000a8fb8·748c0000·a89ef6ff·448d0000·589ff6ff·t.......D...X... |
| 122 | ··0x000a8fc | 122 | ··0x000a8fc8·f88d0000·18a0f6ff·b88e0000·c8a0f6ff·................ |
| 123 | ··0x000a8fd | 123 | ··0x000a8fd8·6c8f0000·98a1f6ff·18900000·68a2f6ff·l...........h... |
| 124 | ··0x000a8fe | 124 | ··0x000a8fe8·cc900000·f8a4f6ff·24920000·b8a8f6ff·........$....... |
| 125 | ··0x000a8ff | 125 | ··0x000a8ff8·a8930000·48a9f6ff·38940000·28acf6ff·....H...8...(... |
| 126 | ··0x000a900 | 126 | ··0x000a9008·6c950000·98b3f6ff·7c980000·68bdf6ff·l.......|...h... |
| Max diff block lines reached; 0/56720 bytes (0.00%) of diff not shown. | |||
| Offset 1, 10237 lines modified | Offset 1, 10237 lines modified | ||
| 1 | Hex·dump·of·section·'.eh_frame': | 1 | Hex·dump·of·section·'.eh_frame': |
| 2 | ··0x000aa2 | 2 | ··0x000aa2ac·14000000·00000000·017a5200·017c0801·.........zR..|.. |
| 3 | ··0x000aa2 | 3 | ··0x000aa2bc·1b0c0404·88010708·10000000·1c000000·................ |
| 4 | ··0x000aa2 | 4 | ··0x000aa2cc·e470f5ff·36000000·00000000·14000000·.p..6........... |
| 5 | ··0x000aa2 | 5 | ··0x000aa2dc·00000000·017a5200·017c0801·1b0c0404·.....zR..|...... |
| 6 | ··0x000aa2 | 6 | ··0x000aa2ec·88010000·20000000·1c000000·286df5ff·....·.......(m.. |
| 7 | ··0x000aa | 7 | ··0x000aa2fc·20030000·000e0846·0e0c4a0f·0b740478··......F..J..t.x |
| 8 | ··0x000aa3 | 8 | ··0x000aa30c·003f1a3b·2a322422·10000000·40000000·.?.;*2$"....@... |
| 9 | ··0x000aa3 | 9 | ··0x000aa31c·2470f5ff·08000000·00000000·30000000·$p..........0... |
| 10 | ··0x000aa3 | 10 | ··0x000aa32c·54000000·4070f5ff·34000000·00440c01·T...@p..4....D.. |
| 11 | ··0x000aa3 | 11 | ··0x000aa33c·00471005·02750043·10030275·7c4c0f03·.G...u.C...u|L.. |
| 12 | ··0x000aa3 | 12 | ··0x000aa34c·75780654·c10c0100·41c341c5·430c0404·ux.T....A.A.C... |
| 13 | ··0x000aa3 | 13 | ··0x000aa35c·60000000·88000000·8c71f5ff·5a000000·`........q..Z... |
| 14 | ··0x000aa3 | 14 | ··0x000aa36c·00410e08·8502430e·0c870343·0e108604·.A....C....C.... |
| 15 | ··0x000aa3 | 15 | ··0x000aa37c·410e1483·054e0e2c·410e3052·0e20470e·A....N.,A.0R.·G. |
| 16 | ··0x000aa3 | 16 | ··0x000aa38c·28430e2c·410e3048·0e20480a·0e1441c3·(C.,A.0H.·H...A. |
| 17 | ··0x000aa3 | 17 | ··0x000aa39c·0e1044c6·0e0c41c7·0e0841c5·0e04450b·..D...A...A...E. |
| 18 | ··0x000aa3 | 18 | ··0x000aa3ac·430e1443·c30e1041·c60e0c41·c70e0841·C..C...A...A...A |
| 19 | ··0x000aa3 | 19 | ··0x000aa3bc·c50e0400·54000000·ec000000·8871f5ff·....T........q.. |
| 20 | ··0x000aa3 | 20 | ··0x000aa3cc·5d000000·00410e08·83024e0e·18460e1c·]....A....N..F.. |
| 21 | ··0x000aa3 | 21 | ··0x000aa3dc·420e2046·0e1c410e·18460e1c·420e2046·B.·F..A..F..B.·F |
| 22 | ··0x000aa3 | 22 | ··0x000aa3ec·0e1c410e·18460e1c·420e2046·0e1c410e·..A..F..B.·F..A. |
| 23 | ··0x000aa | 23 | ··0x000aa3fc·18460e1c·420e2046·0e1c410e·18460e1c·.F..B.·F..A..F.. |
| 24 | ··0x000aa4 | 24 | ··0x000aa40c·420e2048·0e0841c3·0e040000·34000000·B.·H..A.....4... |
| 25 | ··0x000aa4 | 25 | ··0x000aa41c·44010000·9071f5ff·33000000·00410e08·D....q..3....A.. |
| 26 | ··0x000aa4 | 26 | ··0x000aa42c·8602410e·0c83034e·0e14410e·184d0e1c·..A....N..A..M.. |
| 27 | ··0x000aa4 | 27 | ··0x000aa43c·420e2046·0e1c420e·20480e0c·41c30e08·B.·F..B.·H..A... |
| 28 | ··0x000aa4 | 28 | ··0x000aa44c·41c60e04·68000000·7c010000·9871f5ff·A...h...|....q.. |
| 29 | ··0x000aa4 | 29 | ··0x000aa45c·d6000000·00410e08·8702410e·0c860341·.....A....A....A |
| 30 | ··0x000aa4 | 30 | ··0x000aa46c·0e108304·7e0e1442·0e18420e·1c410e20·....~..B..B..A.· |
| 31 | ··0x000aa4 | 31 | ··0x000aa47c·460e1c42·0e20480e·10560e1c·410e2048·F..B.·H..V..A.·H |
| 32 | ··0x000aa4 | 32 | ··0x000aa48c·0e104d0e·1c410e20·480e104d·0a0e1c42·..M..A.·H..M...B |
| 33 | ··0x000aa4 | 33 | ··0x000aa49c·0e20460e·1c410e18·460e1c42·0e20550b·.·F..A..F..B.·U. |
| 34 | ··0x000aa4 | 34 | ··0x000aa4ac·470e1441·0e18420e·1c410e20·480e1000·G..A..B..A.·H... |
| 35 | ··0x000aa4 | 35 | ··0x000aa4bc·70000000·e8010000·0c72f5ff·bc000000·p........r...... |
| 36 | ··0x000aa4 | 36 | ··0x000aa4cc·00410e08·8502430e·0c870343·0e108604·.A....C....C.... |
| 37 | ··0x000aa4 | 37 | ··0x000aa4dc·410e1483·054e0e3c·410e4058·0e304b0e·A....N.<A.@X.0K. |
| 38 | ··0x000aa4 | 38 | ··0x000aa4ec·38480e3c·410e4048·0e30710e·34440e38·8H.<A.@H.0q.4D.8 |
| 39 | ··0x000aa | 39 | ··0x000aa4fc·440e3c49·0e404a0e·30480a0e·1443c30e·D.<I.@J.0H...C.. |
| 40 | ··0x000aa5 | 40 | ··0x000aa50c·1041c60e·0c41c70e·0841c50e·044b0b43·.A...A...A...K.C |
| 41 | ··0x000aa5 | 41 | ··0x000aa51c·0e1443c3·0e1043c6·0e0c41c7·0e0841c5·..C...C...A...A. |
| 42 | ··0x000aa5 | 42 | ··0x000aa52c·0e040000·40000000·5c020000·5872f5ff·....@...\...Xr.. |
| 43 | ··0x000aa5 | 43 | ··0x000aa53c·4f000000·00410e08·8602410e·0c83034e·O....A....A....N |
| 44 | ··0x000aa5 | 44 | ··0x000aa54c·0e10590e·14420e18·420e1c41·0e204c0e·..Y..B..B..A.·L. |
| 45 | ··0x000aa5 | 45 | ··0x000aa55c·14410e18·440e1c42·0e20480e·10430e0c·.A..D..B.·H..C.. |
| 46 | ··0x000aa5 | 46 | ··0x000aa56c·41c30e08·41c60e04·44000000·a0020000·A...A...D....... |
| 47 | ··0x000aa5 | 47 | ··0x000aa57c·6472f5ff·40000000·00410e08·8702410e·dr..@....A....A. |
| 48 | ··0x000aa5 | 48 | ··0x000aa58c·0c860341·0e108304·5d0e1442·0e18420e·...A....]..B..B. |
| 49 | ··0x000aa5 | 49 | ··0x000aa59c·1c410e20·480e1441·0e18440e·1c420e20·.A.·H..A..D..B.· |
| 50 | ··0x000aa5 | 50 | ··0x000aa5ac·480e1041·c30e0c41·c60e0841·c70e0400·H..A...A...A.... |
| 51 | ··0x000aa5 | 51 | ··0x000aa5bc·8c000000·e8020000·5c72f5ff·25010000·........\r..%... |
| 52 | ··0x000aa5 | 52 | ··0x000aa5cc·00410e08·8502410e·0c870341·0e108604·.A....A....A.... |
| 53 | ··0x000aa5 | 53 | ··0x000aa5dc·410e1483·054e0e30·560a0e3c·410e404d·A....N.0V..<A.@M |
| 54 | ··0x000aa5 | 54 | ··0x000aa5ec·0b510e34·410e3841·0e3c410e·404c0e3c·.Q.4A.8A.<A.@L.< |
| 55 | ··0x000aa | 55 | ··0x000aa5fc·420e404d·0e44420e·48420e4c·410e5048·B.@M.DB.HB.LA.PH |
| 56 | ··0x000aa6 | 56 | ··0x000aa60c·0e3c420e·40480e30·560e3c41·0e40480e·.<B.@H.0V.<A.@H. |
| 57 | ··0x000aa6 | 57 | ··0x000aa61c·304d0e3c·410e4048·0e304e0e·3c4a0e40·0M.<A.@H.0N.<J.@ |
| 58 | ··0x000aa6 | 58 | ··0x000aa62c·4e0e304c·0e3c600e·40460e3c·410e3841·N.0L.<`.@F.<A.8A |
| 59 | ··0x000aa6 | 59 | ··0x000aa63c·0e3c410e·40460e3c·420e4048·0e300000·.<A.@F.<B.@H.0.. |
| 60 | ··0x000aa6 | 60 | ··0x000aa64c·38000000·78030000·fc72f5ff·86000000·8...x....r...... |
| 61 | ··0x000aa6 | 61 | ··0x000aa65c·00410e08·86024c0e·0c830343·0e100244·.A....L....C...D |
| 62 | ··0x000aa6 | 62 | ··0x000aa66c·0e14470e·18420e1c·410e204c·0e10530a·..G..B..A.·L..S. |
| 63 | ··0x000aa6 | 63 | ··0x000aa67c·0e0c41c3·0e0841c6·0e04410b·44000000·..A...A...A.D... |
| 64 | ··0x000aa6 | 64 | ··0x000aa68c·b4030000·5073f5ff·39000000·00410e08·....Ps..9....A.. |
| 65 | ··0x000aa6 | 65 | ··0x000aa69c·8702430e·0c860341·0e108304·590e1442·..C....A....Y..B |
| 66 | ··0x000aa6 | 66 | ··0x000aa6ac·0e18420e·1c410e20·460e1c41·0e18420e·..B..A.·F..A..B. |
| 67 | ··0x000aa6 | 67 | ··0x000aa6bc·1c410e20·480e1041·c30e0c41·c60e0841·.A.·H..A...A...A |
| 68 | ··0x000aa6 | 68 | ··0x000aa6cc·c70e0400·ac010000·fc030000·4873f5ff·............Hs.. |
| 69 | ··0x000aa6 | 69 | ··0x000aa6dc·b1030000·00410e08·8502410e·0c870341·.....A....A....A |
| 70 | ··0x000aa6 | 70 | ··0x000aa6ec·0e108604·410e1483·054e0e60·02440e68·....A....N.`.D.h |
| 71 | ··0x000aa | 71 | ··0x000aa6fc·440e6c41·0e70500e·60520e68·410e6c41·D.lA.pP.`R.hA.lA |
| 72 | ··0x000aa7 | 72 | ··0x000aa70c·0e70480e·60450e68·440e6c41·0e70460e·.pH.`E.hD.lA.pF. |
| 73 | ··0x000aa7 | 73 | ··0x000aa71c·74410e78·440e7c46·0e800148·0e68410e·tA.xD.|F...H.hA. |
| 74 | ··0x000aa7 | 74 | ··0x000aa72c·6c410e70·460e6c41·0e68410e·6c410e70·lA.pF.lA.hA.lA.p |
| 75 | ··0x000aa7 | 75 | ··0x000aa73c·480e6060·0e684a0e·6c410e70·480e605c·H.``.hJ.lA.pH.`\ |
| 76 | ··0x000aa7 | 76 | ··0x000aa74c·0e6c440e·70450e74·450e7844·0e7c410e·.lD.pE.tE.xD.|A. |
| 77 | ··0x000aa7 | 77 | ··0x000aa75c·8001480e·606c0e68·410e6c41·0e70480e·..H.`l.hA.lA.pH. |
| 78 | ··0x000aa7 | 78 | ··0x000aa76c·60690e68·410e6c41·0e70480e·60450e6c·`i.hA.lA.pH.`E.l |
| 79 | ··0x000aa7 | 79 | ··0x000aa77c·410e7045·0e74470e·78440e7c·460e8001·A.pE.tG.xD.|F... |
| 80 | ··0x000aa7 | 80 | ··0x000aa78c·480e6841·0e6c410e·70460e6c·410e6845·H.hA.lA.pF.lA.hE |
| 81 | ··0x000aa7 | 81 | ··0x000aa79c·0e6c410e·70460e6c·410e684b·0e6c410e·.lA.pF.lA.hK.lA. |
| 82 | ··0x000aa7 | 82 | ··0x000aa7ac·70460e6c·410e6847·0e6c410e·70550e60·pF.lA.hG.lA.pU.` |
| 83 | ··0x000aa7 | 83 | ··0x000aa7bc·760e6841·0e6c410e·70480e60·4c0e6841·v.hA.lA.pH.`L.hA |
| 84 | ··0x000aa7 | 84 | ··0x000aa7cc·0e6c450e·70480e60·490e6841·0e6c410e·.lE.pH.`I.hA.lA. |
| 85 | ··0x000aa7 | 85 | ··0x000aa7dc·70480e60·4c0e6841·0e6c410e·70480e60·pH.`L.hA.lA.pH.` |
| 86 | ··0x000aa7 | 86 | ··0x000aa7ec·4c0e6841·0e6c450e·70480e60·4d0e6841·L.hA.lE.pH.`M.hA |
| 87 | ··0x000aa | 87 | ··0x000aa7fc·0e6c410e·70480e60·550e6841·0e6c450e·.lA.pH.`U.hA.lE. |
| 88 | ··0x000aa8 | 88 | ··0x000aa80c·70480e60·520e6841·0e6c450e·70480e60·pH.`R.hA.lE.pH.` |
| 89 | ··0x000aa8 | 89 | ··0x000aa81c·520e6444·0e68440e·6c420e70·480e6448·R.dD.hD.lB.pH.dH |
| 90 | ··0x000aa8 | 90 | ··0x000aa82c·0e68440e·6c420e70·480e6048·0e68410e·.hD.lB.pH.`H.hA. |
| 91 | ··0x000aa8 | 91 | ··0x000aa83c·6c410e70·4c0e604c·0e68410e·6c450e70·lA.pL.`L.hA.lE.p |
| 92 | ··0x000aa8 | 92 | ··0x000aa84c·4c0e604d·0e68410e·6c410e70·480e604d·L.`M.hA.lA.pH.`M |
| 93 | ··0x000aa8 | 93 | ··0x000aa85c·0a0e1441·c30e1041·c60e0c41·c70e0841·...A...A...A...A |
| 94 | ··0x000aa8 | 94 | ··0x000aa86c·c50e0449·0b430e68·410e6c45·0e704c0e·...I.C.hA.lE.pL. |
| 95 | ··0x000aa8 | 95 | ··0x000aa87c·60000000·44000000·ac050000·5875f5ff·`...D.......Xu.. |
| 96 | ··0x000aa8 | 96 | ··0x000aa88c·4f000000·00410e08·8702410e·0c860343·O....A....A....C |
| 97 | ··0x000aa8 | 97 | ··0x000aa89c·0e108304·600e1442·0e18420e·1c410e20·....`..B..B..A.· |
| 98 | ··0x000aa8 | 98 | ··0x000aa8ac·4d0e2442·0e28420e·2c410e30·480e1041·M.$B.(B.,A.0H..A |
| 99 | ··0x000aa8 | 99 | ··0x000aa8bc·c30e0c48·c60e0841·c70e0400·800b0000·...H...A........ |
| 100 | ··0x000aa8 | 100 | ··0x000aa8cc·f4050000·6075f5ff·03220000·00410e08·....`u..."...A.. |
| 101 | ··0x000aa8 | 101 | ··0x000aa8dc·8502410e·0c870341·0e108604·410e1483·..A....A....A... |
| 102 | ··0x000aa8 | 102 | ··0x000aa8ec·05510e80·0203a501·0e840245·0e880242·.Q.........E...B |
| 103 | ··0x000aa | 103 | ··0x000aa8fc·0e8c0241·0e900262·0e800202·630e8402·...A...b....c... |
| 104 | ··0x000aa9 | 104 | ··0x000aa90c·470e8802·470e8c02·460e9002·460e8c02·G...G...F...F... |
| 105 | ··0x000aa9 | 105 | ··0x000aa91c·420e9002·480e8002·02460e88·02410e8c·B...H....F...A.. |
| 106 | ··0x000aa9 | 106 | ··0x000aa92c·02470e90·02480e80·0202670a·0e1441c3·.G...H....g...A. |
| 107 | ··0x000aa9 | 107 | ··0x000aa93c·0e1041c6·0e0c41c7·0e0841c5·0e04440b·..A...A...A...D. |
| 108 | ··0x000aa9 | 108 | ··0x000aa94c·430e8402·470e8802·470e8c02·470e9002·C...G...G...G... |
| 109 | ··0x000aa9 | 109 | ··0x000aa95c·620e8002·6b0a0e14·41c30e10·41c60e0c·b...k...A...A... |
| 110 | ··0x000aa9 | 110 | ··0x000aa96c·41c70e08·41c50e04·470b026a·0e88025a·A...A...G..j...Z |
| 111 | ··0x000aa9 | 111 | ··0x000aa97c·0e8c0241·0e90024e·0e800252·0e880247·...A...N...R...G |
| 112 | ··0x000aa9 | 112 | ··0x000aa98c·0e8c0245·0e90024e·0e8c0243·0e900254·...E...N...C...T |
| 113 | ··0x000aa9 | 113 | ··0x000aa99c·0e800254·0e840247·0e880247·0e8c0246·...T...G...G...F |
| 114 | ··0x000aa9 | 114 | ··0x000aa9ac·0e900246·0e8c0242·0e900248·0e800243·...F...B...H...C |
| 115 | ··0x000aa9 | 115 | ··0x000aa9bc·0e880247·0e8c0242·0e90024c·0e8c0241·...G...B...L...A |
| 116 | ··0x000aa9 | 116 | ··0x000aa9cc·0e880241·0e8c0242·0e900246·0e8c0241·...A...B...F...A |
| 117 | ··0x000aa9 | 117 | ··0x000aa9dc·0e880241·0e8c0242·0e90024c·0e8c0247·...A...B...L...G |
| 118 | ··0x000aa9 | 118 | ··0x000aa9ec·0e880241·0e8c0242·0e90024c·0e8c0241·...A...B...L...A |
| 119 | ··0x000aa | 119 | ··0x000aa9fc·0e880241·0e8c0242·0e90024e·0e80025c·...A...B...N...\ |
| 120 | ··0x000aaa | 120 | ··0x000aaa0c·0e880247·0e8c0241·0e90024e·0e800243·...G...A...N...C |
| 121 | ··0x000aaa | 121 | ··0x000aaa1c·0e880247·0e8c0242·0e900256·0e800202·...G...B...V.... |
| 122 | ··0x000aaa | 122 | ··0x000aaa2c·770e8c02·470e9002·4c0e8002·030d010e·w...G...L....... |
| 123 | ··0x000aaa | 123 | ··0x000aaa3c·84024d0e·88024d0e·8c02470e·9002460e·..M...M...G...F. |
| 124 | ··0x000aaa | 124 | ··0x000aaa4c·8c02410e·8802410e·8c02410e·90024c0e·..A...A...A...L. |
| 125 | ··0x000aaa | 125 | ··0x000aaa5c·8c02410e·8802410e·8c02410e·9002460e·..A...A...A...F. |
| 126 | ··0x000aaa | 126 | ··0x000aaa6c·8c02470e·8802410e·8c02470e·90024c0e·..G...A...G...L. |
| Max diff block lines reached; 0/1371394 bytes (0.00%) of diff not shown. | |||
| Offset 2, 11 lines modified | Offset 2, 11 lines modified | ||
| 2 | Hex·dump·of·section·'.data.rel.ro': | 2 | Hex·dump·of·section·'.data.rel.ro': |
| 3 | ··0x000d3de0·89ef0900·09e20900·bc800a00·29e40900·............)... | 3 | ··0x000d3de0·89ef0900·09e20900·bc800a00·29e40900·............)... |
| 4 | ··0x000d3df0·72e20900·3ee20900·91ef0900·95ef0900·r...>........... | 4 | ··0x000d3df0·72e20900·3ee20900·91ef0900·95ef0900·r...>........... |
| 5 | ··0x000d3e00·4bed0900·30ed0900·0dee0900·78e20900·K...0.......x... | 5 | ··0x000d3e00·4bed0900·30ed0900·0dee0900·78e20900·K...0.......x... |
| 6 | ··0x000d3e10·8be20900·36ed0900·3ded0900·fce10900·....6...=....... | 6 | ··0x000d3e10·8be20900·36ed0900·3ded0900·fce10900·....6...=....... |
| 7 | ··0x000d3e20·36e20900·b6e20900·99ef0900·03e20900·6............... | 7 | ··0x000d3e20·36e20900·b6e20900·99ef0900·03e20900·6............... |
| 8 | ··0x000d3e30·30e20900·00000000·00000000·00000000·0............... | 8 | ··0x000d3e30·30e20900·00000000·00000000·00000000·0............... |
| 9 | ··0x000d3e40·b0d10900· | 9 | ··0x000d3e40·b0d10900·90050a00·62f40900·72f40900·........b...r... |
| 10 | ··0x000d3e50· | 10 | ··0x000d3e50·65f40900·69f40900·6df40900·71f40900·e...i...m...q... |
| 11 | ··0x000d3e60· | 11 | ··0x000d3e60·75f40900·7af40900···················u...z... |
| Offset 1, 13 lines modified | Offset 1, 13 lines modified | ||
| 1 | Hex·dump·of·section·'.got': | 1 | Hex·dump·of·section·'.got': |
| 2 | ··0x000d3f60·f0260100·a07f0100·80790100·80f40000·.&.......y...... | 2 | ··0x000d3f60·f0260100·a07f0100·80790100·80f40000·.&.......y...... |
| 3 | ··0x000d3f70·00000000·00000000·00310100·107a0100·.........1...z.. | 3 | ··0x000d3f70·00000000·00000000·00310100·107a0100·.........1...z.. |
| 4 | ··0x000d3f80·d04e0100·40460100·204d0100·e04b0100·.N..@F..·M...K.. | 4 | ··0x000d3f80·d04e0100·40460100·204d0100·e04b0100·.N..@F..·M...K.. |
| 5 | ··0x000d3f90·b0f30000·00000000·b04a0100·b0490100·.........J...I.. | 5 | ··0x000d3f90·b0f30000·00000000·b04a0100·b0490100·.........J...I.. |
| 6 | ··0x000d3fa0·404b0100·b0450100·00000000·20830100·@K...E......·... | 6 | ··0x000d3fa0·404b0100·b0450100·00000000·20830100·@K...E......·... |
| 7 | ··0x000d3fb0·404e0100·60280100· | 7 | ··0x000d3fb0·404e0100·60280100·d0e50300·204c0100·@N..`(......·L.. |
| 8 | ··0x000d3fc0·00000000·a0270100·e0290100·00560100·.....'...)...V.. | 8 | ··0x000d3fc0·00000000·a0270100·e0290100·00560100·.....'...)...V.. |
| 9 | ··0x000d3fd0·101d0100·f0f30000·00000000·107f0100·................ | 9 | ··0x000d3fd0·101d0100·f0f30000·00000000·107f0100·................ |
| 10 | ··0x000d3fe0·70130000· | 10 | ··0x000d3fe0·70130000·f0e40300·a0e40300·a01d0100·p............... |
| 11 | ··0x000d3ff0·f01f0100·f0f50000·00000000·00000000·................ | 11 | ··0x000d3ff0·f01f0100·f0f50000·00000000·00000000·................ |
| Offset 1, 6 lines modified | Offset 1, 6 lines modified | ||
| 1 | Hex·dump·of·section·'.data': | 1 | Hex·dump·of·section·'.data': |
| 2 | ··0x000d40d0·00000000·d4400d00·40450000·00410000·.....@..@E...A.. | 2 | ··0x000d40d0·00000000·d4400d00·40450000·00410000·.....@..@E...A.. |
| 3 | ··0x000d40e0·f0570000· | 3 | ··0x000d40e0·f0570000·f06d0200·907b0200·10be0200·.W...m...{...... |
| 4 | ··0x000d40f0· | 4 | ··0x000d40f0·f06a0300·b0650300·50b60300··········.j...e..P... |
| Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
| 1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
| 2 | ··0x00000000·3 | 2 | ··0x00000000·31633430·33303434·33613037·36363037·1c4030443a076607 |
| 3 | ··0x00000010· | 3 | ··0x00000010·35646230·64376561·37373537·33333633·5db0d7ea77573363 |
| 4 | ··0x00000020· | 4 | ··0x00000020·66643562·62362e64·65627567·00000000·fd5bb6.debug.... |
| 5 | ··0x00000030· | 5 | ··0x00000030·eb48ab52····························.H.R |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0······52 | 2 | -rw-r--r--···0········0········0······524·2012-10-16·12:01:32.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0····128 | 3 | -rw-r--r--···0········0········0····12868·2012-10-16·12:01:32.000000·data.tar.xz |
| Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
| 5 | Architecture:·i386 | 5 | Architecture:·i386 |
| 6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> | 6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> |
| 7 | Installed-Size:·51 | 7 | Installed-Size:·51 |
| 8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) | 8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) |
| 9 | Section:·debug | 9 | Section:·debug |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Description:·debug·symbols·for·boolector | 11 | Description:·debug·symbols·for·boolector |
| 12 | Build-Ids:· | 12 | Build-Ids:·bb1c4030443a0766075db0d7ea77573363fd5bb6 |
| Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
| 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ | 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ |
| 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ | 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ |
| 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ | 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ |
| 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ |
| 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ |
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/bb/ |
| 7 | -rw-r--r--···0·root·········(0)·root·········(0)····41528·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 7 | -rw-r--r--···0·root·········(0)·root·········(0)····41528·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/bb/1c4030443a0766075db0d7ea77573363fd5bb6.debug |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ |
| 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ |
| 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector |
| Offset 6, 19 lines modified | Offset 6, 19 lines modified | ||
| 6 | Program·Headers: | 6 | Program·Headers: |
| 7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align | 7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align |
| 8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 | 8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 |
| 9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00000·0x00013·R···0x1 | 9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00000·0x00013·R···0x1 |
| 10 | ······[Requesting·program·interpreter:·] | 10 | ······[Requesting·program·interpreter:·] |
| 11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x001ec·0x00d0c·R···0x1000 | 11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x001ec·0x00d0c·R···0x1000 |
| 12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x00000·0x9b178·R·E·0x1000 | 12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x00000·0x9b178·R·E·0x1000 |
| 13 | ··LOAD···········0x001000·0x0009d000·0x0009d000·0x00000·0x3524 | 13 | ··LOAD···········0x001000·0x0009d000·0x0009d000·0x00000·0x35240·R···0x1000 |
| 14 | ··LOAD···········0x000dd8·0x000d3dd8·0x000d3dd8·0x00000·0x00364·RW··0x1000 | 14 | ··LOAD···········0x000dd8·0x000d3dd8·0x000d3dd8·0x00000·0x00364·RW··0x1000 |
| 15 | ··DYNAMIC········0x000dd8·0x000d3e68·0x000d3e68·0x00000·0x000f8·RW··0x4 | 15 | ··DYNAMIC········0x000dd8·0x000d3e68·0x000d3e68·0x00000·0x000f8·RW··0x4 |
| 16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 | 16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 |
| 17 | ··GNU_EH_FRAME···0x001000·0x000a884 | 17 | ··GNU_EH_FRAME···0x001000·0x000a8848·0x000a8848·0x00000·0x01a64·R···0x4 |
| 18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 | 18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 |
| 19 | ··GNU_RELRO······0x000dd8·0x000d3dd8·0x000d3dd8·0x00000·0x00228·R···0x1 | 19 | ··GNU_RELRO······0x000dd8·0x000d3dd8·0x000d3dd8·0x00000·0x00228·R···0x1 |
| 20 | ·Section·to·Segment·mapping: | 20 | ·Section·to·Segment·mapping: |
| 21 | ··Segment·Sections... | 21 | ··Segment·Sections... |
| 22 | ···00····· | 22 | ···00····· |
| 23 | ···01·····.interp· | 23 | ···01·····.interp· |
| Offset 14, 17 lines modified | Offset 14, 17 lines modified | ||
| 14 | ··[·9]·.rel.dyn··········NOBITS··········000008ec·0001ec·000298·08···A··5···0··4 | 14 | ··[·9]·.rel.dyn··········NOBITS··········000008ec·0001ec·000298·08···A··5···0··4 |
| 15 | ··[10]·.rel.plt··········NOBITS··········00000b84·0001ec·000188·08···A··5··24··4 | 15 | ··[10]·.rel.plt··········NOBITS··········00000b84·0001ec·000188·08···A··5··24··4 |
| 16 | ··[11]·.init·············NOBITS··········00001000·001000·000020·00··AX··0···0··4 | 16 | ··[11]·.init·············NOBITS··········00001000·001000·000020·00··AX··0···0··4 |
| 17 | ··[12]·.plt··············NOBITS··········00001020·001000·000320·04··AX··0···0·16 | 17 | ··[12]·.plt··············NOBITS··········00001020·001000·000320·04··AX··0···0·16 |
| 18 | ··[13]·.plt.got··········NOBITS··········00001340·001000·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········NOBITS··········00001340·001000·000008·08··AX··0···0··8 |
| 19 | ··[14]·.text·············NOBITS··········00001350·001000·09ae11·00··AX··0···0·16 | 19 | ··[14]·.text·············NOBITS··········00001350·001000·09ae11·00··AX··0···0·16 |
| 20 | ··[15]·.fini·············NOBITS··········0009c164·001000·000014·00··AX··0···0··4 | 20 | ··[15]·.fini·············NOBITS··········0009c164·001000·000014·00··AX··0···0··4 |
| 21 | ··[16]·.rodata···········NOBITS··········0009d000·001000·00b84 | 21 | ··[16]·.rodata···········NOBITS··········0009d000·001000·00b848·00···A··0···0·32 |
| 22 | ··[17]·.eh_frame_hdr·····NOBITS··········000a884 | 22 | ··[17]·.eh_frame_hdr·····NOBITS··········000a8848·001000·001a64·00···A··0···0··4 |
| 23 | ··[18]·.eh_frame·········NOBITS··········000aa2 | 23 | ··[18]·.eh_frame·········NOBITS··········000aa2ac·001000·027f94·00···A··0···0··4 |
| 24 | ··[19]·.init_array·······NOBITS··········000d3dd8·000dd8·000004·04··WA··0···0··4 | 24 | ··[19]·.init_array·······NOBITS··········000d3dd8·000dd8·000004·04··WA··0···0··4 |
| 25 | ··[20]·.fini_array·······NOBITS··········000d3ddc·000dd8·000004·04··WA··0···0··4 | 25 | ··[20]·.fini_array·······NOBITS··········000d3ddc·000dd8·000004·04··WA··0···0··4 |
| 26 | ··[21]·.data.rel.ro······NOBITS··········000d3de0·000dd8·000088·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······NOBITS··········000d3de0·000dd8·000088·00··WA··0···0·32 |
| 27 | ··[22]·.dynamic··········NOBITS··········000d3e68·000dd8·0000f8·08··WA··6···0··4 | 27 | ··[22]·.dynamic··········NOBITS··········000d3e68·000dd8·0000f8·08··WA··6···0··4 |
| 28 | ··[23]·.got··············NOBITS··········000d3f60·000dd8·0000a0·04··WA··0···0··4 | 28 | ··[23]·.got··············NOBITS··········000d3f60·000dd8·0000a0·04··WA··0···0··4 |
| 29 | ··[24]·.got.plt··········NOBITS··········000d4000·000dd8·0000d0·04··WA··0···0··4 | 29 | ··[24]·.got.plt··········NOBITS··········000d4000·000dd8·0000d0·04··WA··0···0··4 |
| 30 | ··[25]·.data·············NOBITS··········000d40d0·000dd8·00002c·00··WA··0···0··4 | 30 | ··[25]·.data·············NOBITS··········000d40d0·000dd8·00002c·00··WA··0···0··4 |
| Offset 14, 60 lines modified | Offset 14, 60 lines modified | ||
| 14 | ····10:·00000b84·····0·SECTION·LOCAL··DEFAULT···10· | 14 | ····10:·00000b84·····0·SECTION·LOCAL··DEFAULT···10· |
| 15 | ····11:·00001000·····0·SECTION·LOCAL··DEFAULT···11· | 15 | ····11:·00001000·····0·SECTION·LOCAL··DEFAULT···11· |
| 16 | ····12:·00001020·····0·SECTION·LOCAL··DEFAULT···12· | 16 | ····12:·00001020·····0·SECTION·LOCAL··DEFAULT···12· |
| 17 | ····13:·00001340·····0·SECTION·LOCAL··DEFAULT···13· | 17 | ····13:·00001340·····0·SECTION·LOCAL··DEFAULT···13· |
| 18 | ····14:·00001350·····0·SECTION·LOCAL··DEFAULT···14· | 18 | ····14:·00001350·····0·SECTION·LOCAL··DEFAULT···14· |
| 19 | ····15:·0009c164·····0·SECTION·LOCAL··DEFAULT···15· | 19 | ····15:·0009c164·····0·SECTION·LOCAL··DEFAULT···15· |
| 20 | ····16:·0009d000·····0·SECTION·LOCAL··DEFAULT···16· | 20 | ····16:·0009d000·····0·SECTION·LOCAL··DEFAULT···16· |
| 21 | ····17:·000a884 | 21 | ····17:·000a8848·····0·SECTION·LOCAL··DEFAULT···17· |
| 22 | ····18:·000aa2 | 22 | ····18:·000aa2ac·····0·SECTION·LOCAL··DEFAULT···18· |
| 23 | ····19:·000d3dd8·····0·SECTION·LOCAL··DEFAULT···19· | 23 | ····19:·000d3dd8·····0·SECTION·LOCAL··DEFAULT···19· |
| 24 | ····20:·000d3ddc·····0·SECTION·LOCAL··DEFAULT···20· | 24 | ····20:·000d3ddc·····0·SECTION·LOCAL··DEFAULT···20· |
| 25 | ····21:·000d3de0·····0·SECTION·LOCAL··DEFAULT···21· | 25 | ····21:·000d3de0·····0·SECTION·LOCAL··DEFAULT···21· |
| 26 | ····22:·000d3e68·····0·SECTION·LOCAL··DEFAULT···22· | 26 | ····22:·000d3e68·····0·SECTION·LOCAL··DEFAULT···22· |
| 27 | ····23:·000d3f60·····0·SECTION·LOCAL··DEFAULT···23· | 27 | ····23:·000d3f60·····0·SECTION·LOCAL··DEFAULT···23· |
| 28 | ····24:·000d4000·····0·SECTION·LOCAL··DEFAULT···24· | 28 | ····24:·000d4000·····0·SECTION·LOCAL··DEFAULT···24· |
| 29 | ····25:·000d40d0·····0·SECTION·LOCAL··DEFAULT···25· | 29 | ····25:·000d40d0·····0·SECTION·LOCAL··DEFAULT···25· |
| 30 | ····26:·000d4100·····0·SECTION·LOCAL··DEFAULT···26· | 30 | ····26:·000d4100·····0·SECTION·LOCAL··DEFAULT···26· |
| 31 | ····27:·00000000·····0·SECTION·LOCAL··DEFAULT···27· | 31 | ····27:·00000000·····0·SECTION·LOCAL··DEFAULT···27· |
| 32 | ····28:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorsmt2.c | 32 | ····28:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorsmt2.c |
| 33 | ····29:·000 | 33 | ····29:·00035b50···197·FUNC····LOCAL··DEFAULT···14·btor_push_item_smt2 |
| 34 | ····30:·000 | 34 | ····30:·00035c20···118·FUNC····LOCAL··DEFAULT···14·btor_pushch_smt2 |
| 35 | ····31:·000 | 35 | ····31:·00035ca0···173·FUNC····LOCAL··DEFAULT···14·btor_rotate_left_smt2 |
| 36 | ····32:·000 | 36 | ····32:·00035d50···700·FUNC····LOCAL··DEFAULT···14·btor_translate_shift_smt2 |
| 37 | ····33:·000 | 37 | ····33:·00036010····38·FUNC····LOCAL··DEFAULT···14·btor_lshr_smt2 |
| 38 | ····34:·000 | 38 | ····34:·00036040····38·FUNC····LOCAL··DEFAULT···14·btor_shl_smt2 |
| 39 | ····35:·000 | 39 | ····35:·00036070····96·FUNC····LOCAL··DEFAULT···14·btor_perr_smt2 |
| 40 | ····36:·000 | 40 | ····36:·000360d0···207·FUNC····LOCAL··DEFAULT···14·btor_check_boolean_args_smt2 |
| 41 | ····37:·000 | 41 | ····37:·000361a0···499·FUNC····LOCAL··DEFAULT···14·btor_check_arg_sorts_match_smt2 |
| 42 | ····38:·000 | 42 | ····38:·000363a0····98·FUNC····LOCAL··DEFAULT···14·btor_msg_smt2 |
| 43 | ····39:·000 | 43 | ····39:·00036410···191·FUNC····LOCAL··DEFAULT···14·btor_release_work_smt2 |
| 44 | ····40:·000 | 44 | ····40:·000364d0····69·FUNC····LOCAL··DEFAULT···14·btor_new_node_smt2.isra.7 |
| 45 | ····41:·000 | 45 | ····41:·00036520···140·FUNC····LOCAL··DEFAULT···14·btor_check_nargs_smt2 |
| 46 | ····42:·000 | 46 | ····42:·000365b0···519·FUNC····LOCAL··DEFAULT···14·btor_delete_smt2_parser |
| 47 | ····43:·000 | 47 | ····43:·000367c0···165·FUNC····LOCAL··DEFAULT···14·btor_rotate_right_smt2 |
| 48 | ····44:·000 | 48 | ····44:·00036870···628·FUNC····LOCAL··DEFAULT···14·btor_insert_symbol_smt2 |
| 49 | ····45:·000a2 | 49 | ····45:·000a2ed4····16·OBJECT··LOCAL··DEFAULT···16·btor_primes_smt2 |
| 50 | ····46:·000 | 50 | ····46:·00036af0·10183·FUNC····LOCAL··DEFAULT···14·btor_new_smt2_parser |
| 51 | ····47:·000 | 51 | ····47:·000392c0···558·FUNC····LOCAL··DEFAULT···14·btor_ashr_smt2 |
| 52 | ····48:·000 | 52 | ····48:·000394f0··7026·FUNC····LOCAL··DEFAULT···14·btor_read_token_aux_smt2 |
| 53 | ····49:·000 | 53 | ····49:·0003b070···188·FUNC····LOCAL··DEFAULT···14·btor_read_rpar_smt2 |
| 54 | ····50:·000 | 54 | ····50:·0003b130···330·FUNC····LOCAL··DEFAULT···14·btor_parse_int32_smt2 |
| 55 | ····51:·000 | 55 | ····51:·0003b280···605·FUNC····LOCAL··DEFAULT···14·btor_parse_bitvec_sort_smt2.part.13 |
| 56 | ····52:·000 | 56 | ····52:·0003b4e0···363·FUNC····LOCAL··DEFAULT···14·btor_parse_bitvec_sort_smt2.constprop.14 |
| 57 | ····53:·000 | 57 | ····53:·0003b650·11655·FUNC····LOCAL··DEFAULT···14·btor_parse_smt2_parser |
| 58 | ····54:·00001350·····7·FUNC····LOCAL··DEFAULT···14·btor_parse_smt2_parser.cold.17 | 58 | ····54:·00001350·····7·FUNC····LOCAL··DEFAULT···14·btor_parse_smt2_parser.cold.17 |
| 59 | ····55:·000d40f0····12·OBJECT··LOCAL··DEFAULT···25·static_btor_smt2_parser_api | 59 | ····55:·000d40f0····12·OBJECT··LOCAL··DEFAULT···25·static_btor_smt2_parser_api |
| 60 | ····56:·000 | 60 | ····56:·0003bcb8·····0·NOTYPE··LOCAL··DEFAULT···14·.L877 |
| 61 | ····57:·000 | 61 | ····57:·0003bb90·····0·NOTYPE··LOCAL··DEFAULT···14·.L884 |
| 62 | ····58:·000 | 62 | ····58:·0003ba00·····0·NOTYPE··LOCAL··DEFAULT···14·.L883 |
| 63 | ····59:·000 | 63 | ····59:·0003b958·····0·NOTYPE··LOCAL··DEFAULT···14·.L882 |
| 64 | ····60:·000 | 64 | ····60:·0003b810·····0·NOTYPE··LOCAL··DEFAULT···14·.L1167 |
| 65 | ····61:·000 | 65 | ····61:·0003bc78·····0·NOTYPE··LOCAL··DEFAULT···14·.L880 |
| 66 | ····62:·000 | 66 | ····62:·0003bb00·····0·NOTYPE··LOCAL··DEFAULT···14·.L878 |
| 67 | ····63:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·lglib.c | 67 | ····63:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·lglib.c |
| 68 | ····64:·0004c7a0···164·FUNC····LOCAL··DEFAULT···14·lglerepr | 68 | ····64:·0004c7a0···164·FUNC····LOCAL··DEFAULT···14·lglerepr |
| 69 | ····65:·0004c850···306·FUNC····LOCAL··DEFAULT···14·lgledown | 69 | ····65:·0004c850···306·FUNC····LOCAL··DEFAULT···14·lgledown |
| 70 | ····66:·0004c990···302·FUNC····LOCAL··DEFAULT···14·lglrandidxtrav | 70 | ····66:·0004c990···302·FUNC····LOCAL··DEFAULT···14·lglrandidxtrav |
| 71 | ····67:·0004cac0···212·FUNC····LOCAL··DEFAULT···14·lglubyrec | 71 | ····67:·0004cac0···212·FUNC····LOCAL··DEFAULT···14·lglubyrec |
| 72 | ····68:·0004cba0···659·FUNC····LOCAL··DEFAULT···14·lglcount | 72 | ····68:·0004cba0···659·FUNC····LOCAL··DEFAULT···14·lglcount |
| 73 | ····69:·0004ce40···267·FUNC····LOCAL··DEFAULT···14·lglsetjwhbias | 73 | ····69:·0004ce40···267·FUNC····LOCAL··DEFAULT···14·lglsetjwhbias |
| Offset 568, 710 lines modified | Offset 568, 710 lines modified | ||
| 568 | ···564:·0001d1d9·····0·NOTYPE··LOCAL··DEFAULT···14·.L3919 | 568 | ···564:·0001d1d9·····0·NOTYPE··LOCAL··DEFAULT···14·.L3919 |
| 569 | ···565:·0001d241·····0·NOTYPE··LOCAL··DEFAULT···14·.L3908 | 569 | ···565:·0001d241·····0·NOTYPE··LOCAL··DEFAULT···14·.L3908 |
| 570 | ···566:·0001d249·····0·NOTYPE··LOCAL··DEFAULT···14·.L3907 | 570 | ···566:·0001d249·····0·NOTYPE··LOCAL··DEFAULT···14·.L3907 |
| 571 | ···567:·0001d251·····0·NOTYPE··LOCAL··DEFAULT···14·.L3906 | 571 | ···567:·0001d251·····0·NOTYPE··LOCAL··DEFAULT···14·.L3906 |
| 572 | ···568:·0001d259·····0·NOTYPE··LOCAL··DEFAULT···14·.L3905 | 572 | ···568:·0001d259·····0·NOTYPE··LOCAL··DEFAULT···14·.L3905 |
| 573 | ···569:·0001d264·····0·NOTYPE··LOCAL··DEFAULT···14·.L3904 | 573 | ···569:·0001d264·····0·NOTYPE··LOCAL··DEFAULT···14·.L3904 |
| 574 | ···570:·0001d26f·····0·NOTYPE··LOCAL··DEFAULT···14·.L3902 | 574 | ···570:·0001d26f·····0·NOTYPE··LOCAL··DEFAULT···14·.L3902 |
| 575 | ···571:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btor | 575 | ···571:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorconst.c |
| 576 | ···572:·0001fa10··· | 576 | ···572:·0001fa10···713·FUNC····LOCAL··DEFAULT···14·add_const |
| 577 | ···573:·0001f | 577 | ···573:·0001fce0··2120·FUNC····LOCAL··DEFAULT···14·udiv_urem_const |
| 578 | ···574:·000 | 578 | ···574:·00020530···889·FUNC····LOCAL··DEFAULT···14·mul_const |
| 579 | ···575:·000 | 579 | ···575:·000d3e40····40·OBJECT··LOCAL··DEFAULT···21·digit2const_table |
| 580 | ···576:·0002 | 580 | ···576:·000212c0·····0·NOTYPE··LOCAL··DEFAULT···14·.L453 |
| 581 | ···577:·0002 | 581 | ···577:·000212a8·····0·NOTYPE··LOCAL··DEFAULT···14·.L469 |
| 582 | ···578:·0002 | 582 | ···578:·00021290·····0·NOTYPE··LOCAL··DEFAULT···14·.L468 |
| 583 | ···579:·0002 | 583 | ···579:·00021278·····0·NOTYPE··LOCAL··DEFAULT···14·.L467 |
| 584 | ···580:·0002 | 584 | ···580:·00021260·····0·NOTYPE··LOCAL··DEFAULT···14·.L466 |
| 585 | ···581:·0002 | 585 | ···581:·00021248·····0·NOTYPE··LOCAL··DEFAULT···14·.L465 |
| 586 | ···582:·0002 | 586 | ···582:·00021230·····0·NOTYPE··LOCAL··DEFAULT···14·.L464 |
| 587 | ···583:·0002 | 587 | ···583:·00021218·····0·NOTYPE··LOCAL··DEFAULT···14·.L463 |
| 588 | ···584:·0002 | 588 | ···584:·00021200·····0·NOTYPE··LOCAL··DEFAULT···14·.L462 |
| 589 | ···585:·0002 | 589 | ···585:·000211e8·····0·NOTYPE··LOCAL··DEFAULT···14·.L461 |
| 590 | ···586:·0002 | 590 | ···586:·000211d0·····0·NOTYPE··LOCAL··DEFAULT···14·.L460 |
| 591 | ···587:·0002 | 591 | ···587:·000211b8·····0·NOTYPE··LOCAL··DEFAULT···14·.L459 |
| 592 | ···588:·0002 | 592 | ···588:·000211a0·····0·NOTYPE··LOCAL··DEFAULT···14·.L458 |
| 593 | ···589:·0002 | 593 | ···589:·00021188·····0·NOTYPE··LOCAL··DEFAULT···14·.L457 |
| 594 | ···590:·0002 | 594 | ···590:·00021170·····0·NOTYPE··LOCAL··DEFAULT···14·.L456 |
| 595 | ···591:·0002 | 595 | ···591:·00021110·····0·NOTYPE··LOCAL··DEFAULT···14·.L454 |
| 596 | ···592:·000 | 596 | ···592:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btoraig.c |
| 597 | ···593:·0002 | 597 | ···593:·00022e00···163·FUNC····LOCAL··DEFAULT···14·find_and_contradiction_aig |
| 598 | ···594:·0002 | 598 | ···594:·00022eb0···190·FUNC····LOCAL··DEFAULT···14·btor_set_next_id_aig_mgr |
| 599 | ···595:·0002 | 599 | ···595:·00022f70····51·FUNC····LOCAL··DEFAULT···14·inc_aig_ref_counter.part.2 |
| 600 | ···596:·0002 | 600 | ···596:·00022fb0···220·FUNC····LOCAL··DEFAULT···14·btor_simp_aig_by_sat.isra.9 |
| 601 | ···597:·0002 | 601 | ···597:·00023090··4319·FUNC····LOCAL··DEFAULT···14·btor_aig_to_sat_tseitin.part.11 |
| 602 | ···598:·0002 | 602 | ···598:·00024170····74·FUNC····LOCAL··DEFAULT···14·btor_msg_aig.constprop.12 |
| 603 | ···599:·000 | 603 | ···599:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorsmt.c |
| 604 | ···600:·0002 | 604 | ···600:·00026100···198·FUNC····LOCAL··DEFAULT···14·btorsmtppaux |
| 605 | ···601:·0002 | 605 | ···601:·000261d0···104·FUNC····LOCAL··DEFAULT···14·next_numeral |
| 606 | ···602:·00026 | 606 | ···602:·00026240···167·FUNC····LOCAL··DEFAULT···14·btor_smt_message |
| 607 | ···603:·00026 | 607 | ···603:·000262f0····83·FUNC····LOCAL··DEFAULT···14·btor_perr_smt |
| 608 | ···604:·00026 | 608 | ···604:·00026350··1114·FUNC····LOCAL··DEFAULT···14·node2exp |
| 609 | ···605:·00026 | 609 | ···605:·000267b0···364·FUNC····LOCAL··DEFAULT···14·btor_delete_smt_node |
| 610 | ···606:·000 | 610 | ···606:·000a0510····16·OBJECT··LOCAL··DEFAULT···16·btor_smt_primes |
| 611 | ···607:·000 | 611 | ···607:·00026920···139·FUNC····LOCAL··DEFAULT···14·push_input.part.9 |
| 612 | ···608:·0002 | 612 | ···608:·000269b0···389·FUNC····LOCAL··DEFAULT···14·btor_smt_parser_inc_add_release_sat.isra.10 |
| 613 | ···609:·0002 | 613 | ···609:·00026b40···686·FUNC····LOCAL··DEFAULT···14·insert_symbol |
| 614 | ···610:·0002 | 614 | ···610:·00026df0··2123·FUNC····LOCAL··DEFAULT···14·btor_new_smt_parser |
| 615 | ···611:·000 | 615 | ···611:·00027640···732·FUNC····LOCAL··DEFAULT···14·btor_recursively_delete_smt_node |
| 616 | ···612:·0002 | 616 | ···612:·00027920···616·FUNC····LOCAL··DEFAULT···14·btor_release_smt_internals |
| 617 | ···613:·0002 | 617 | ···613:·00027b90···394·FUNC····LOCAL··DEFAULT···14·btor_delete_smt_parser |
| 618 | ···614:·0002 | 618 | ···614:·00027d20···381·FUNC····LOCAL··DEFAULT···14·translate_associative_binary |
| 619 | ···615:·0002 | 619 | ···615:·00027ea0···520·FUNC····LOCAL··DEFAULT···14·translate_cond |
| 620 | ···616:·0002 | 620 | ···616:·000280b0···173·FUNC····LOCAL··DEFAULT···14·translate_unary |
| 621 | ···617:·0002 | 621 | ···617:·00028160···325·FUNC····LOCAL··DEFAULT···14·translate_binary |
| 622 | ···618:·0002 | 622 | ···618:·000282b0··1059·FUNC····LOCAL··DEFAULT···14·translate_shift |
| 623 | ···619:·0002 | 623 | ···619:·000286e0···315·FUNC····LOCAL··DEFAULT···14·translate_extend |
| 624 | ···620:·0002 | 624 | ···620:·00028820··6337·FUNC····LOCAL··DEFAULT···14·nextok |
| 625 | ···621:·0002 | 625 | ···621:·0002a0f0··7452·FUNC····LOCAL··DEFAULT···14·translate_formula |
| 626 | ···622:·0002 | 626 | ···622:·0002be10··5143·FUNC····LOCAL··DEFAULT···14·btor_parse_smt_parser |
| 627 | ···623:·000 | 627 | ···623:·000d40e4····12·OBJECT··LOCAL··DEFAULT···25·static_btor_smt_parser_api |
| 628 | ···624:·0002c | 628 | ···624:·0002c64c·····0·NOTYPE··LOCAL··DEFAULT···14·.L1506 |
| 629 | ···625:·0002c | 629 | ···625:·0002c9b1·····0·NOTYPE··LOCAL··DEFAULT···14·.L1392 |
| 630 | ···626:·0002c | 630 | ···626:·0002c85e·····0·NOTYPE··LOCAL··DEFAULT···14·.L1391 |
| 631 | ···627:·0002c | 631 | ···627:·0002c7c8·····0·NOTYPE··LOCAL··DEFAULT···14·.L1390 |
| 632 | ···628:·000 | 632 | ···628:·0002c7bb·····0·NOTYPE··LOCAL··DEFAULT···14·.L1389 |
| 633 | ···629:·0002 | 633 | ···629:·0002c748·····0·NOTYPE··LOCAL··DEFAULT···14·.L1387 |
| Max diff block lines reached; 49409/81045 bytes (60.96%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 1 | Displaying·notes·found·in:·.note.ABI-tag | 1 | Displaying·notes·found·in:·.note.ABI-tag |
| 2 | ··Owner·················Data·size» Description | 2 | ··Owner·················Data·size» Description |
| 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
| 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:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·bb1c4030443a0766075db0d7ea77573363fd5bb6 |
| Offset 1133, 990 lines modified | Offset 1133, 990 lines modified | ||
| 1133 | 0001f9f0·<btor_version>: | 1133 | 0001f9f0·<btor_version>: |
| 1134 | » ... | 1134 | » ... |
| 1135 | 0001fa01·<__x86.get_pc_thunk.cx>: | 1135 | 0001fa01·<__x86.get_pc_thunk.cx>: |
| 1136 | » ... | 1136 | » ... |
| 1137 | 0001fa10·< | 1137 | 0001fa10·<add_const>: |
| 1138 | » ... | 1138 | » ... |
| 1139 | 0001f | 1139 | 0001fce0·<udiv_urem_const>: |
| 1140 | » ... | 1140 | » ... |
| 1141 | 000 | 1141 | 00020530·<mul_const>: |
| 1142 | » ... | 1142 | » ... |
| 1143 | 00020 | 1143 | 000208b0·<btor_zero_const>: |
| 1144 | » ... | 1144 | » ... |
| 1145 | 00020 | 1145 | 00020910·<btor_one_const>: |
| 1146 | » ... | 1146 | » ... |
| 1147 | 00020 | 1147 | 00020980·<btor_ones_const>: |
| 1148 | » ... | 1148 | » ... |
| 1149 | 00020 | 1149 | 000209e0·<btor_int_to_const>: |
| 1150 | » ... | 1150 | » ... |
| 1151 | 00020 | 1151 | 00020ab0·<btor_unsigned_to_const>: |
| 1152 | » ... | 1152 | » ... |
| 1153 | 00020 | 1153 | 00020b70·<btor_decimal_to_const_n>: |
| 1154 | » ... | 1154 | » ... |
| 1155 | 0002 | 1155 | 00021070·<btor_decimal_to_const>: |
| 1156 | » ... | 1156 | » ... |
| 1157 | 0002 | 1157 | 000210a0·<btor_hex_to_const_n>: |
| 1158 | » ... | 1158 | » ... |
| 1159 | 0002 | 1159 | 00021110·<.L454>: |
| 1160 | » ... | 1160 | » ... |
| 1161 | 0002 | 1161 | 00021170·<.L456>: |
| 1162 | » ... | 1162 | » ... |
| 1163 | 0002 | 1163 | 00021188·<.L457>: |
| 1164 | » ... | 1164 | » ... |
| 1165 | 0002 | 1165 | 000211a0·<.L458>: |
| 1166 | » ... | 1166 | » ... |
| 1167 | 0002 | 1167 | 000211b8·<.L459>: |
| 1168 | » ... | 1168 | » ... |
| 1169 | 00021 | 1169 | 000211d0·<.L460>: |
| 1170 | » ... | 1170 | » ... |
| 1171 | 0002 | 1171 | 000211e8·<.L461>: |
| 1172 | » ... | 1172 | » ... |
| 1173 | 0002 | 1173 | 00021200·<.L462>: |
| 1174 | » ... | 1174 | » ... |
| 1175 | 0002 | 1175 | 00021218·<.L463>: |
| 1176 | » ... | 1176 | » ... |
| 1177 | 0002 | 1177 | 00021230·<.L464>: |
| 1178 | » ... | 1178 | » ... |
| 1179 | 0002 | 1179 | 00021248·<.L465>: |
| 1180 | » ... | 1180 | » ... |
| 1181 | 0002 | 1181 | 00021260·<.L466>: |
| 1182 | » ... | 1182 | » ... |
| 1183 | 0002 | 1183 | 00021278·<.L467>: |
| 1184 | » ... | 1184 | » ... |
| 1185 | 0002 | 1185 | 00021290·<.L468>: |
| 1186 | » ... | 1186 | » ... |
| 1187 | 0002 | 1187 | 000212a8·<.L469>: |
| 1188 | » ... | 1188 | » ... |
| 1189 | 0002 | 1189 | 000212c0·<.L453>: |
| 1190 | » ... | 1190 | » ... |
| 1191 | 0002 | 1191 | 000212e0·<btor_hex_to_const>: |
| 1192 | » ... | 1192 | » ... |
| 1193 | 0002 | 1193 | 00021310·<btor_ground_const_3vl>: |
| 1194 | » ... | 1194 | » ... |
| 1195 | 0002 | 1195 | 00021390·<btor_is_zero_const>: |
| 1196 | » ... | 1196 | » ... |
| 1197 | 0002 | 1197 | 000213c0·<btor_is_one_const>: |
| 1198 | » ... | 1198 | » ... |
| 1199 | 0002 | 1199 | 00021430·<btor_is_ones_const>: |
| 1200 | » ... | 1200 | » ... |
| 1201 | 0002 | 1201 | 00021460·<btor_is_special_const>: |
| 1202 | » ... | 1202 | » ... |
| 1203 | 0002 | 1203 | 000214d0·<btor_copy_const>: |
| 1204 | » ... | 1204 | » ... |
| 1205 | 0002 | 1205 | 00021500·<btor_delete_const>: |
| 1206 | » ... | 1206 | » ... |
| 1207 | 0002 | 1207 | 00021530·<btor_get_num_leading_zeros_const>: |
| 1208 | » ... | 1208 | » ... |
| 1209 | 0002 | 1209 | 00021560·<btor_get_num_leading_ones_const>: |
| 1210 | » ... | 1210 | » ... |
| 1211 | 0002 | 1211 | 00021590·<btor_slice_const>: |
| 1212 | » ... | 1212 | » ... |
| 1213 | 000260 | 1213 | 000216a0·<btor_invert_const>: |
| 1214 | » ... | 1214 | » ... |
| 1215 | 000260 | 1215 | 000216f0·<btor_not_const>: |
| 1216 | » ... | 1216 | » ... |
| Max diff block lines reached; 19628/22231 bytes (88.29%) of diff not shown. | |||
| Offset 510, 175 lines modified | Offset 510, 175 lines modified | ||
| 510 | ··0x00001fb0·32393935·002e4c32·39393400·2e4c3239·2995..L2994..L29 | 510 | ··0x00001fb0·32393935·002e4c32·39393400·2e4c3239·2995..L2994..L29 |
| 511 | ··0x00001fc0·3933002e·4c323939·32002e4c·32393931·93..L2992..L2991 | 511 | ··0x00001fc0·3933002e·4c323939·32002e4c·32393931·93..L2992..L2991 |
| 512 | ··0x00001fd0·002e4c32·39393000·2e4c3239·3839002e·..L2990..L2989.. | 512 | ··0x00001fd0·002e4c32·39393000·2e4c3239·3839002e·..L2990..L2989.. |
| 513 | ··0x00001fe0·4c323938·38002e4c·32393836·002e4c33·L2988..L2986..L3 | 513 | ··0x00001fe0·4c323938·38002e4c·32393836·002e4c33·L2988..L2986..L3 |
| 514 | ··0x00001ff0·39313900·2e4c3339·3038002e·4c333930·919..L3908..L390 | 514 | ··0x00001ff0·39313900·2e4c3339·3038002e·4c333930·919..L3908..L390 |
| 515 | ··0x00002000·37002e4c·33393036·002e4c33·39303500·7..L3906..L3905. | 515 | ··0x00002000·37002e4c·33393036·002e4c33·39303500·7..L3906..L3905. |
| 516 | ··0x00002010·2e4c3339·3034002e·4c333930·32006274·.L3904..L3902.bt | 516 | ··0x00002010·2e4c3339·3034002e·4c333930·32006274·.L3904..L3902.bt |
| 517 | ··0x00002020·6f72 | 517 | ··0x00002020·6f72636f·6e73742e·63007564·69765f75·orconst.c.udiv_u |
| 518 | ··0x00002030· | 518 | ··0x00002030·72656d5f·636f6e73·74006469·67697432·rem_const.digit2 |
| 519 | ··0x00002040·6 | 519 | ··0x00002040·636f6e73·745f7461·626c6500·2e4c3435·const_table..L45 |
| 520 | ··0x00002050· | 520 | ··0x00002050·33002e4c·34363900·2e4c3436·38002e4c·3..L469..L468..L |
| 521 | ··0x00002060· | 521 | ··0x00002060·34363700·2e4c3436·36002e4c·34363500·467..L466..L465. |
| 522 | ··0x00002070· | 522 | ··0x00002070·2e4c3436·34002e4c·34363300·2e4c3436·.L464..L463..L46 |
| 523 | ··0x00002080· | 523 | ··0x00002080·32002e4c·34363100·2e4c3436·30002e4c·2..L461..L460..L |
| 524 | ··0x00002090· | 524 | ··0x00002090·34353900·2e4c3435·38002e4c·34353700·459..L458..L457. |
| 525 | ··0x000020a0· | 525 | ··0x000020a0·2e4c3435·36002e4c·34353400·62746f72·.L456..L454.btor |
| 526 | ··0x000020b0·61 | 526 | ··0x000020b0·6169672e·63006669·6e645f61·6e645f63·aig.c.find_and_c |
| 527 | ··0x000020c0· | 527 | ··0x000020c0·6f6e7472·61646963·74696f6e·5f616967·ontradiction_aig |
| 528 | ··0x000020d0· | 528 | ··0x000020d0·0062746f·725f7365·745f6e65·78745f69·.btor_set_next_i |
| 529 | ··0x000020e0·6 | 529 | ··0x000020e0·645f6169·675f6d67·7200696e·635f6169·d_aig_mgr.inc_ai |
| 530 | ··0x000020f0· | 530 | ··0x000020f0·675f7265·665f636f·756e7465·722e7061·g_ref_counter.pa |
| 531 | ··0x00002100· | 531 | ··0x00002100·72742e32·0062746f·725f7369·6d705f61·rt.2.btor_simp_a |
| 532 | ··0x00002110· | 532 | ··0x00002110·69675f62·795f7361·742e6973·72612e39·ig_by_sat.isra.9 |
| 533 | ··0x00002120·002 | 533 | ··0x00002120·0062746f·725f6169·675f746f·5f736174·.btor_aig_to_sat |
| 534 | ··0x00002130· | 534 | ··0x00002130·5f747365·6974696e·2e706172·742e3131·_tseitin.part.11 |
| 535 | ··0x00002140· | 535 | ··0x00002140·0062746f·725f6d73·675f6169·672e636f·.btor_msg_aig.co |
| 536 | ··0x00002150· | 536 | ··0x00002150·6e737470·726f702e·31320062·746f7273·nstprop.12.btors |
| 537 | ··0x00002160· | 537 | ··0x00002160·6d742e63·0062746f·72736d74·70706175·mt.c.btorsmtppau |
| 538 | ··0x00002170·00 | 538 | ··0x00002170·78006e65·78745f6e·756d6572·616c0062·x.next_numeral.b |
| 539 | ··0x00002180·4 | 539 | ··0x00002180·746f725f·736d745f·6d657373·61676500·tor_smt_message. |
| 540 | ··0x00002190· | 540 | ··0x00002190·62746f72·5f706572·725f736d·74006e6f·btor_perr_smt.no |
| 541 | ··0x000021a0·6 | 541 | ··0x000021a0·64653265·78700062·746f725f·64656c65·de2exp.btor_dele |
| 542 | ··0x000021b0· | 542 | ··0x000021b0·74655f73·6d745f6e·6f646500·62746f72·te_smt_node.btor |
| 543 | ··0x000021c0·73745f7 | 543 | ··0x000021c0·5f736d74·5f707269·6d657300·70757368·_smt_primes.push |
| 544 | ··0x000021d0· | 544 | ··0x000021d0·5f696e70·75742e70·6172742e·39006274·_input.part.9.bt |
| 545 | ··0x000021e0· | 545 | ··0x000021e0·6f725f73·6d745f70·61727365·725f696e·or_smt_parser_in |
| 546 | ··0x000021f0· | 546 | ··0x000021f0·635f6164·645f7265·6c656173·655f7361·c_add_release_sa |
| 547 | ··0x00002200·4 | 547 | ··0x00002200·742e6973·72612e31·3000696e·73657274·t.isra.10.insert |
| 548 | ··0x00002210· | 548 | ··0x00002210·5f73796d·626f6c00·62746f72·5f6e6577·_symbol.btor_new |
| 549 | ··0x00002220· | 549 | ··0x00002220·5f736d74·5f706172·73657200·62746f72·_smt_parser.btor |
| 550 | ··0x00002230· | 550 | ··0x00002230·5f726563·75727369·76656c79·5f64656c·_recursively_del |
| 551 | ··0x00002240· | 551 | ··0x00002240·6574655f·736d745f·6e6f6465·0062746f·ete_smt_node.bto |
| 552 | ··0x00002250· | 552 | ··0x00002250·725f7265·6c656173·655f736d·745f696e·r_release_smt_in |
| 553 | ··0x00002260· | 553 | ··0x00002260·7465726e·616c7300·62746f72·5f64656c·ternals.btor_del |
| 554 | ··0x00002270·656 | 554 | ··0x00002270·6574655f·736d745f·70617273·65720074·ete_smt_parser.t |
| 555 | ··0x00002280· | 555 | ··0x00002280·72616e73·6c617465·5f617373·6f636961·ranslate_associa |
| 556 | ··0x00002290· | 556 | ··0x00002290·74697665·5f62696e·61727900·7472616e·tive_binary.tran |
| 557 | ··0x000022a0· | 557 | ··0x000022a0·736c6174·655f636f·6e640074·72616e73·slate_cond.trans |
| 558 | ··0x000022b0·6 | 558 | ··0x000022b0·6c617465·5f756e61·72790074·72616e73·late_unary.trans |
| 559 | ··0x000022c0·6 | 559 | ··0x000022c0·6c617465·5f62696e·61727900·7472616e·late_binary.tran |
| 560 | ··0x000022d0·7 | 560 | ··0x000022d0·736c6174·655f7368·69667400·7472616e·slate_shift.tran |
| 561 | ··0x000022e0· | 561 | ··0x000022e0·736c6174·655f6578·74656e64·006e6578·slate_extend.nex |
| 562 | ··0x000022f0· | 562 | ··0x000022f0·746f6b00·7472616e·736c6174·655f666f·tok.translate_fo |
| 563 | ··0x00002300· | 563 | ··0x00002300·726d756c·61006274·6f725f70·61727365·rmula.btor_parse |
| 564 | ··0x00002310·7 | 564 | ··0x00002310·5f736d74·5f706172·73657200·73746174·_smt_parser.stat |
| 565 | ··0x00002320·6 | 565 | ··0x00002320·69635f62·746f725f·736d745f·70617273·ic_btor_smt_pars |
| 566 | ··0x00002330· | 566 | ··0x00002330·65725f61·7069002e·4c313530·36002e4c·er_api..L1506..L |
| 567 | ··0x00002340· | 567 | ··0x00002340·31333932·002e4c31·33393100·2e4c3133·1392..L1391..L13 |
| 568 | ··0x00002350· | 568 | ··0x00002350·3930002e·4c313338·39002e4c·31333837·90..L1389..L1387 |
| 569 | ··0x00002360· | 569 | ··0x00002360·00626f6f·6c656374·6f722e63·005f5f66·.boolector.c.__f |
| 570 | ··0x00002370·6 | 570 | ··0x00002370·756e635f·5f2e3432·3037005f·5f66756e·unc__.4207.__fun |
| 571 | ··0x00002380· | 571 | ··0x00002380·635f5f2e·34323131·005f5f66·756e635f·c__.4211.__func_ |
| 572 | ··0x00002390· | 572 | ··0x00002390·5f2e3432·3135005f·5f66756e·635f5f2e·_.4215.__func__. |
| 573 | ··0x000023a0· | 573 | ··0x000023a0·34323230·005f5f66·756e635f·5f2e3432·4220.__func__.42 |
| 574 | ··0x000023b0· | 574 | ··0x000023b0·3234005f·5f66756e·635f5f2e·34323238·24.__func__.4228 |
| 575 | ··0x000023c0·5f | 575 | ··0x000023c0·005f5f66·756e635f·5f2e3432·3333005f·.__func__.4233._ |
| 576 | ··0x000023d0· | 576 | ··0x000023d0·5f66756e·635f5f2e·34323338·005f5f66·_func__.4238.__f |
| 577 | ··0x000023e0· | 577 | ··0x000023e0·756e635f·5f2e3432·3432005f·5f66756e·unc__.4242.__fun |
| 578 | ··0x000023f0· | 578 | ··0x000023f0·635f5f2e·34323437·005f5f66·756e635f·c__.4247.__func_ |
| 579 | ··0x00002400· | 579 | ··0x00002400·5f2e3432·3531005f·5f66756e·635f5f2e·_.4251.__func__. |
| 580 | ··0x00002410· | 580 | ··0x00002410·34323536·005f5f66·756e635f·5f2e3432·4256.__func__.42 |
| 581 | ··0x00002420· | 581 | ··0x00002420·3632005f·5f66756e·635f5f2e·34323638·62.__func__.4268 |
| 582 | ··0x00002430· | 582 | ··0x00002430·005f5f66·756e635f·5f2e3432·3734005f·.__func__.4274._ |
| 583 | ··0x00002440· | 583 | ··0x00002440·5f66756e·635f5f2e·34323831·005f5f66·_func__.4281.__f |
| 584 | ··0x00002450·7 | 584 | ··0x00002450·756e635f·5f2e3432·3836005f·5f66756e·unc__.4286.__fun |
| 585 | ··0x00002460· | 585 | ··0x00002460·635f5f2e·34323931·005f5f66·756e635f·c__.4291.__func_ |
| 586 | ··0x00002470· | 586 | ··0x00002470·5f2e3432·3936005f·5f66756e·635f5f2e·_.4296.__func__. |
| 587 | ··0x00002480· | 587 | ··0x00002480·34333031·005f5f66·756e635f·5f2e3433·4301.__func__.43 |
| 588 | ··0x00002490· | 588 | ··0x00002490·3036005f·5f66756e·635f5f2e·34333133·06.__func__.4313 |
| 589 | ··0x000024a0· | 589 | ··0x000024a0·005f5f66·756e635f·5f2e3433·3139005f·.__func__.4319._ |
| 590 | ··0x000024b0·6 | 590 | ··0x000024b0·5f66756e·635f5f2e·34333235·005f5f66·_func__.4325.__f |
| 591 | ··0x000024c0· | 591 | ··0x000024c0·756e635f·5f2e3433·3331005f·5f66756e·unc__.4331.__fun |
| 592 | ··0x000024d0· | 592 | ··0x000024d0·635f5f2e·34333337·005f5f66·756e635f·c__.4337.__func_ |
| 593 | ··0x000024e0· | 593 | ··0x000024e0·5f2e3433·3433005f·5f66756e·635f5f2e·_.4343.__func__. |
| 594 | ··0x000024f0· | 594 | ··0x000024f0·34333439·005f5f66·756e635f·5f2e3433·4349.__func__.43 |
| 595 | ··0x00002500· | 595 | ··0x00002500·3535005f·5f66756e·635f5f2e·34333631·55.__func__.4361 |
| 596 | ··0x00002510· | 596 | ··0x00002510·005f5f66·756e635f·5f2e3433·3637005f·.__func__.4367._ |
| 597 | ··0x00002520· | 597 | ··0x00002520·5f66756e·635f5f2e·34333733·005f5f66·_func__.4373.__f |
| 598 | ··0x00002530· | 598 | ··0x00002530·756e635f·5f2e3433·3833005f·5f66756e·unc__.4383.__fun |
| 599 | ··0x00002540·6 | 599 | ··0x00002540·635f5f2e·34333933·005f5f66·756e635f·c__.4393.__func_ |
| 600 | ··0x00002550· | 600 | ··0x00002550·5f2e3433·3939005f·5f66756e·635f5f2e·_.4399.__func__. |
| 601 | ··0x00002560· | 601 | ··0x00002560·34343035·005f5f66·756e635f·5f2e3434·4405.__func__.44 |
| 602 | ··0x00002570· | 602 | ··0x00002570·3131005f·5f66756e·635f5f2e·34343137·11.__func__.4417 |
| 603 | ··0x00002580· | 603 | ··0x00002580·005f5f66·756e635f·5f2e3434·3233005f·.__func__.4423._ |
| 604 | ··0x00002590· | 604 | ··0x00002590·5f66756e·635f5f2e·34343239·005f5f66·_func__.4429.__f |
| 605 | ··0x000025a0· | 605 | ··0x000025a0·756e635f·5f2e3434·3335005f·5f66756e·unc__.4435.__fun |
| 606 | ··0x000025b0·6 | 606 | ··0x000025b0·635f5f2e·34343431·005f5f66·756e635f·c__.4441.__func_ |
| 607 | ··0x000025c0· | 607 | ··0x000025c0·5f2e3434·3437005f·5f66756e·635f5f2e·_.4447.__func__. |
| 608 | ··0x000025d0· | 608 | ··0x000025d0·34343533·005f5f66·756e635f·5f2e3434·4453.__func__.44 |
| 609 | ··0x000025e0· | 609 | ··0x000025e0·3539005f·5f66756e·635f5f2e·34343635·59.__func__.4465 |
| 610 | ··0x000025f0· | 610 | ··0x000025f0·005f5f66·756e635f·5f2e3434·3731005f·.__func__.4471._ |
| 611 | ··0x00002600· | 611 | ··0x00002600·5f66756e·635f5f2e·34343737·005f5f66·_func__.4477.__f |
| 612 | ··0x00002610· | 612 | ··0x00002610·756e635f·5f2e3434·3834005f·5f66756e·unc__.4484.__fun |
| 613 | ··0x00002620·6 | 613 | ··0x00002620·635f5f2e·34343931·005f5f66·756e635f·c__.4491.__func_ |
| 614 | ··0x00002630· | 614 | ··0x00002630·5f2e3434·3938005f·5f66756e·635f5f2e·_.4498.__func__. |
| 615 | ··0x00002640· | 615 | ··0x00002640·34353035·005f5f66·756e635f·5f2e3435·4505.__func__.45 |
| 616 | ··0x00002650· | 616 | ··0x00002650·3132005f·5f66756e·635f5f2e·34353138·12.__func__.4518 |
| 617 | ··0x00002660· | 617 | ··0x00002660·005f5f66·756e635f·5f2e3435·3234005f·.__func__.4524._ |
| 618 | ··0x00002670· | 618 | ··0x00002670·5f66756e·635f5f2e·34353330·005f5f66·_func__.4530.__f |
| 619 | ··0x00002680· | 619 | ··0x00002680·756e635f·5f2e3435·3336005f·5f66756e·unc__.4536.__fun |
| 620 | ··0x00002690·6 | 620 | ··0x00002690·635f5f2e·34353432·005f5f66·756e635f·c__.4542.__func_ |
| 621 | ··0x000026a0· | 621 | ··0x000026a0·5f2e3435·3438005f·5f66756e·635f5f2e·_.4548.__func__. |
| 622 | ··0x000026b0· | 622 | ··0x000026b0·34353534·005f5f66·756e635f·5f2e3435·4554.__func__.45 |
| 623 | ··0x000026c0· | 623 | ··0x000026c0·3630005f·5f66756e·635f5f2e·34353636·60.__func__.4566 |
| 624 | ··0x000026d0· | 624 | ··0x000026d0·005f5f66·756e635f·5f2e3435·3732005f·.__func__.4572._ |
| 625 | ··0x000026e0· | 625 | ··0x000026e0·5f66756e·635f5f2e·34353738·005f5f66·_func__.4578.__f |
| 626 | ··0x000026f0· | 626 | ··0x000026f0·756e635f·5f2e3435·3835005f·5f66756e·unc__.4585.__fun |
| 627 | ··0x00002700·6 | 627 | ··0x00002700·635f5f2e·34353936·005f5f66·756e635f·c__.4596.__func_ |
| 628 | ··0x00002710· | 628 | ··0x00002710·5f2e3436·3031005f·5f66756e·635f5f2e·_.4601.__func__. |
| 629 | ··0x00002720· | 629 | ··0x00002720·34363036·005f5f66·756e635f·5f2e3436·4606.__func__.46 |
| 630 | ··0x00002730· | 630 | ··0x00002730·3131005f·5f66756e·635f5f2e·34363136·11.__func__.4616 |
| 631 | ··0x00002740· | 631 | ··0x00002740·005f5f66·756e635f·5f2e3436·3231005f·.__func__.4621._ |
| 632 | ··0x00002750· | 632 | ··0x00002750·5f66756e·635f5f2e·34363236·005f5f66·_func__.4626.__f |
| 633 | ··0x00002760· | 633 | ··0x00002760·756e635f·5f2e3436·3331005f·5f66756e·unc__.4631.__fun |
| 634 | ··0x00002770·6 | 634 | ··0x00002770·635f5f2e·34363336·005f5f66·756e635f·c__.4636.__func_ |
| 635 | ··0x00002780· | 635 | ··0x00002780·5f2e3436·3432005f·5f66756e·635f5f2e·_.4642.__func__. |
| 636 | ··0x00002790· | 636 | ··0x00002790·34363438·005f5f66·756e635f·5f2e3436·4648.__func__.46 |
| Max diff block lines reached; 402/22536 bytes (1.78%) of diff not shown. | |||