1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B
1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib
1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6 vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6
1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6/lib vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6/lib
1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6 vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6
1.4 MB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H
757 KB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H/libHSsmallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H.a vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H/libHSsmallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H.a
1.37 KB
nm -s {}
    
Offset 3800, 24 lines modifiedOffset 3800, 24 lines modified
3800 ·················U·stg_sel_0_upd_info3800 ·················U·stg_sel_0_upd_info
3801 ·················U·stg_sel_1_upd_info3801 ·················U·stg_sel_1_upd_info
3802 ·················U·stg_upd_frame_info3802 ·················U·stg_upd_frame_info
3803 ·················U·transformerszm0zi6zi1zi0_ControlziMonadziTransziClass_CZCMonadTrans_con_info3803 ·················U·transformerszm0zi6zi1zi0_ControlziMonadziTransziClass_CZCMonadTrans_con_info
3804 ·················U·transformerszm0zi6zi1zi0_ControlziMonadziTransziReader_zdtcReaderT_closure3804 ·················U·transformerszm0zi6zi1zi0_ControlziMonadziTransziReader_zdtcReaderT_closure
  
3805 Result.o:3805 Result.o:
3806 0000000000000000·r·.Lr31d_bytes 
3807 0000000000000000·r·.Lr31e_bytes 
3808 0000000000000000·r·.Lr31f_bytes 
3809 0000000000000000·r·.Lr31g_bytes 
3810 0000000000000000·r·.Lr31i_bytes3806 0000000000000000·r·.Lr3ih_bytes
 3807 0000000000000000·r·.Lr3ii_bytes
3811 0000000000000000·r·.Lr31j_bytes3808 0000000000000000·r·.Lr3ij_bytes
3812 0000000000000000·r·.Lr31k_bytes3809 0000000000000000·r·.Lr3ik_bytes
3813 0000000000000000·r·.Lr31l_bytes 
3814 0000000000000000·r·.Lr31m_bytes3810 0000000000000000·r·.Lr3im_bytes
 3811 0000000000000000·r·.Lr3in_bytes
3815 0000000000000000·r·.Lr31o_bytes3812 0000000000000000·r·.Lr3io_bytes
 3813 0000000000000000·r·.Lr3ip_bytes
 3814 0000000000000000·r·.Lr3iq_bytes
 3815 0000000000000000·r·.Lr3is_bytes
3816 ·················U·base_ControlziExceptionziBase_patError_closure3816 ·················U·base_ControlziExceptionziBase_patError_closure
3817 ·················U·base_ControlziExceptionziBase_patError_info3817 ·················U·base_ControlziExceptionziBase_patError_info
3818 ·················U·base_GHCziBase_eqString_info3818 ·················U·base_GHCziBase_eqString_info
3819 ·················U·base_GHCziBase_zpzp_info3819 ·················U·base_GHCziBase_zpzp_info
3820 ·················U·base_GHCziList_zdwlenAcc_info3820 ·················U·base_GHCziList_zdwlenAcc_info
3821 ·················U·base_GHCziMaybe_zdfEqMaybe1_closure3821 ·················U·base_GHCziMaybe_zdfEqMaybe1_closure
3822 ·················U·base_GHCziMaybe_zdtcMaybe_closure3822 ·················U·base_GHCziMaybe_zdtcMaybe_closure
273 KB
SeriesMonad.o
59.6 KB
readelf --wide --sections {}
Max HTML report size reached
16.7 KB
readelf --wide --symbols {}
Max HTML report size reached
91.2 KB
readelf --wide --relocs {}
Max HTML report size reached
12.9 KB
strings --all --bytes=8 {}
Max HTML report size reached
1.07 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.27 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2kW_info {}
Max HTML report size reached
1.45 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2l1_info {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.34 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lh_info {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.05 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ll_info {}
Max HTML report size reached
1.36 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lq_info {}
Max HTML report size reached
1.07 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.08 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.34 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lF_info {}
Max HTML report size reached
1.08 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.15 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lP_info {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.08 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lZ_info {}
Max HTML report size reached
1.47 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2m0_info {}
Max HTML report size reached
1.05 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2m7_info {}
Max HTML report size reached
1.49 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lX_info {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.05 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mh_info {}
Max HTML report size reached
1.34 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mp_info {}
Max HTML report size reached
1.49 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2me_info {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.14 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mN_info {}
Max HTML report size reached
1.19 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mO_info {}
Max HTML report size reached
1.49 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mP_info {}
Max HTML report size reached
780 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.13 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mV_info {}
Max HTML report size reached
1.12 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.48 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nc_info {}
Max HTML report size reached
1.11 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.56 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nv_info {}
Max HTML report size reached
1.22 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
2.22 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nV_info {}
Max HTML report size reached
1.22 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
2.09 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2o2_info {}
Max HTML report size reached
1.37 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2o4_info {}
Max HTML report size reached
1.33 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2o7_info {}
Max HTML report size reached
2.49 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2oj_info {}
Max HTML report size reached
1.47 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ok_info {}
Max HTML report size reached
1.1 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.37 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2oq_info {}
Max HTML report size reached
1.83 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
34.4 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
Max HTML report size reached
482 KB
Result.o
80.2 KB
readelf --wide --sections {}
Max HTML report size reached
31.0 KB
readelf --wide --symbols {}
Max HTML report size reached
267 KB
readelf --wide --relocs {}
Max HTML report size reached
19.3 KB
strings --all --bytes=8 {}
Max HTML report size reached
3.92 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
4.39 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
964 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
699 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
4.32 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
27.8 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
2.04 KB
readelf --wide --decompress --hex-dump=.strtab {}
Max HTML report size reached
40.4 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
Max HTML report size reached
675 KB
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H/libHSsmallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H_p.a vs.
sxkgr0ljx0kaygyk6348il9g3pz6msfb-smallcheck-1.2.1.1/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H/libHSsmallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H_p.a
12.5 KB
nm -s {}
    
Offset 8620, 26 lines modifiedOffset 8620, 26 lines modified
8620 ·················U·ghczmprim_GHCziTypes_Module_con_info8620 ·················U·ghczmprim_GHCziTypes_Module_con_info
8621 ·················U·ghczmprim_GHCziTypes_TrNameS_con_info8621 ·················U·ghczmprim_GHCziTypes_TrNameS_con_info
8622 ·················U·ghczmprim_GHCziTypes_TyCon_con_info8622 ·················U·ghczmprim_GHCziTypes_TyCon_con_info
8623 ·················U·ghczmprim_GHCziTypes_ZC_con_info8623 ·················U·ghczmprim_GHCziTypes_ZC_con_info
8624 ·················U·ghczmprim_GHCziTypes_ZMZN_closure8624 ·················U·ghczmprim_GHCziTypes_ZMZN_closure
8625 ·················U·ghczmprim_GHCziTypes_krepzdztArrzt_closure8625 ·················U·ghczmprim_GHCziTypes_krepzdztArrzt_closure
8626 ·················U·ghczmprim_GHCziTypes_zdtcInt_closure8626 ·················U·ghczmprim_GHCziTypes_zdtcInt_closure
8627 0000000000000000·r·i2Al_str8627 0000000000000000·r·i2A2_str
8628 0000000000000000·r·i2Am_str8628 0000000000000000·r·i2A3_str
8629 0000000000000000·r·i2An_str8629 0000000000000000·r·i2A4_str
8630 0000000000000000·r·i2Ao_str8630 0000000000000000·r·i2A5_str
8631 0000000000000000·r·i2Ap_str8631 0000000000000000·r·i2A6_str
8632 0000000000000000·r·i2Aq_str8632 0000000000000000·r·i2A7_str
8633 0000000000000000·r·i2Ar_str8633 0000000000000000·r·i2A8_str
8634 0000000000000000·r·i2As_str8634 0000000000000000·r·i2A9_str
8635 0000000000000000·r·i2At_str8635 0000000000000000·r·i2Aa_str
8636 0000000000000000·r·i2Au_str8636 0000000000000000·r·i2Ab_str
8637 0000000000000000·r·i2Av_str8637 0000000000000000·r·i2Ac_str
8638 0000000000000000·r·i2Aw_str8638 0000000000000000·r·i2Ad_str
8639 0000000000000000·r·i2CQ_str8639 0000000000000000·r·i2CQ_str
8640 0000000000000000·r·i2CR_str8640 0000000000000000·r·i2CR_str
8641 0000000000000000·r·i2CS_str8641 0000000000000000·r·i2CS_str
8642 0000000000000000·r·i2CT_str8642 0000000000000000·r·i2CT_str
8643 0000000000000000·r·i2CU_str8643 0000000000000000·r·i2CU_str
8644 0000000000000000·r·i2CV_str8644 0000000000000000·r·i2CV_str
8645 0000000000000000·r·i2CW_str8645 0000000000000000·r·i2CW_str
Offset 8688, 42 lines modifiedOffset 8688, 56 lines modified
8688 0000000000000000·r·i2MJ_str8688 0000000000000000·r·i2MJ_str
8689 0000000000000000·r·i2MK_str8689 0000000000000000·r·i2MK_str
8690 0000000000000000·r·i2ML_str8690 0000000000000000·r·i2ML_str
8691 0000000000000000·r·i2MM_str8691 0000000000000000·r·i2MM_str
8692 0000000000000000·r·i2Mx_str8692 0000000000000000·r·i2Mx_str
8693 0000000000000000·r·i2My_str8693 0000000000000000·r·i2My_str
8694 0000000000000000·r·i2Mz_str8694 0000000000000000·r·i2Mz_str
8695 0000000000000000·r·i2RJ_str8695 0000000000000000·r·i2QJ_str
8696 0000000000000000·r·i2RK_str8696 0000000000000000·r·i2QK_str
8697 0000000000000000·r·i2RL_str8697 0000000000000000·r·i2QL_str
8698 0000000000000000·r·i2RM_str8698 0000000000000000·r·i2QM_str
8699 0000000000000000·r·i2RN_str8699 0000000000000000·r·i2QN_str
8700 0000000000000000·r·i2RO_str8700 0000000000000000·r·i2QO_str
8701 0000000000000000·r·i2RP_str8701 0000000000000000·r·i2QP_str
8702 0000000000000000·r·i2RQ_str8702 0000000000000000·r·i2QQ_str
8703 0000000000000000·r·i2RR_str8703 0000000000000000·r·i2QR_str
8704 0000000000000000·r·i2RS_str8704 0000000000000000·r·i2QS_str
8705 0000000000000000·r·i2RT_str8705 0000000000000000·r·i2QT_str
8706 0000000000000000·r·i2RU_str8706 0000000000000000·r·i2QU_str
8707 0000000000000000·r·i2RV_str8707 0000000000000000·r·i2QV_str
8708 0000000000000000·r·i2RW_str8708 0000000000000000·r·i2QW_str
8709 0000000000000000·r·i2RX_str8709 0000000000000000·r·i2QX_str
8710 0000000000000000·r·i2RY_str8710 0000000000000000·r·i2QY_str
 8711 0000000000000000·r·i2US_str
 8712 0000000000000000·r·i2UT_str
 8713 0000000000000000·r·i2UU_str
 8714 0000000000000000·r·i2UV_str
8711 0000000000000000·r·i2W8_str8715 0000000000000000·r·i2UW_str
8712 0000000000000000·r·i2W9_str8716 0000000000000000·r·i2UX_str
8713 0000000000000000·r·i2Wa_str8717 0000000000000000·r·i2UY_str
8714 0000000000000000·r·i2Wb_str8718 0000000000000000·r·i2UZ_str
8715 0000000000000000·r·i2Wc_str8719 0000000000000000·r·i2V0_str
8716 0000000000000000·r·i2Wd_str8720 0000000000000000·r·i2V1_str
8717 0000000000000000·r·i2We_str8721 0000000000000000·r·i2V2_str
8718 0000000000000000·r·i2Wf_str8722 0000000000000000·r·i2V3_str
8719 0000000000000000·r·i2Wg_str8723 0000000000000000·r·i2ZB_str
8720 0000000000000000·r·i2Wh_str8724 0000000000000000·r·i2ZC_str
8721 0000000000000000·r·i2Wi_str8725 0000000000000000·r·i2ZD_str
8722 0000000000000000·r·i2Wj_str8726 0000000000000000·r·i2ZE_str
 8727 0000000000000000·r·i2ZF_str
 8728 0000000000000000·r·i2ZG_str
 8729 0000000000000000·r·i2ZH_str
 8730 0000000000000000·r·i2ZI_str
 8731 0000000000000000·r·i2ZJ_str
 8732 0000000000000000·r·i2ZK_str
 8733 0000000000000000·r·i2ZL_str
 8734 0000000000000000·r·i2ZM_str
 8735 0000000000000000·r·i2ZN_str
 8736 0000000000000000·r·i2ZO_str
8723 0000000000000000·r·i2q0_str8737 0000000000000000·r·i2q0_str
8724 0000000000000000·r·i2q1_str8738 0000000000000000·r·i2q1_str
8725 0000000000000000·r·i2q2_str8739 0000000000000000·r·i2q2_str
8726 0000000000000000·r·i2q3_str8740 0000000000000000·r·i2q3_str
8727 0000000000000000·r·i2q4_str8741 0000000000000000·r·i2q4_str
8728 0000000000000000·r·i2q5_str8742 0000000000000000·r·i2q5_str
8729 0000000000000000·r·i2q6_str8743 0000000000000000·r·i2q6_str
Offset 8742, 114 lines modifiedOffset 8756, 100 lines modified
8742 0000000000000000·r·i2sY_str8756 0000000000000000·r·i2sY_str
8743 0000000000000000·r·i2sZ_str8757 0000000000000000·r·i2sZ_str
8744 0000000000000000·r·i2t0_str8758 0000000000000000·r·i2t0_str
8745 0000000000000000·r·i2t1_str8759 0000000000000000·r·i2t1_str
8746 0000000000000000·r·i2t2_str8760 0000000000000000·r·i2t2_str
8747 0000000000000000·r·i2t3_str8761 0000000000000000·r·i2t3_str
8748 0000000000000000·r·i2t4_str8762 0000000000000000·r·i2t4_str
8749 0000000000000000·r·i2vZ_str8763 0000000000000000·r·i2vG_str
 8764 0000000000000000·r·i2vH_str
8750 0000000000000000·r·i2w0_str8765 0000000000000000·r·i2wS_str
 8766 0000000000000000·r·i2wT_str
 8767 0000000000000000·r·i2wU_str
 8768 0000000000000000·r·i2wV_str
 8769 0000000000000000·r·i2wW_str
 8770 0000000000000000·r·i2wX_str
 8771 0000000000000000·r·i2wY_str
 8772 0000000000000000·r·i2wZ_str
8751 0000000000000000·r·i2xb_str8773 0000000000000000·r·i2x0_str
8752 0000000000000000·r·i2xc_str8774 0000000000000000·r·i2x1_str
8753 0000000000000000·r·i2xd_str8775 0000000000000000·r·i2x2_str
8754 0000000000000000·r·i2xe_str8776 0000000000000000·r·i2x3_str
8755 0000000000000000·r·i2xf_str8777 0000000000000000·r·i2yP_str
8756 0000000000000000·r·i2xg_str8778 0000000000000000·r·i2yQ_str
8757 0000000000000000·r·i2xh_str8779 0000000000000000·r·i33Z_str
8758 0000000000000000·r·i2xi_str 
8759 0000000000000000·r·i2xj_str 
8760 0000000000000000·r·i2xk_str 
8761 0000000000000000·r·i2xl_str 
8762 0000000000000000·r·i2xm_str 
8763 0000000000000000·r·i2z8_str 
8764 0000000000000000·r·i2z9_str 
8765 0000000000000000·r·i30B_str8780 0000000000000000·r·i340_str
8766 0000000000000000·r·i30C_str 
8767 0000000000000000·r·i30D_str 
8768 0000000000000000·r·i30E_str 
8769 0000000000000000·r·i30F_str 
8770 0000000000000000·r·i30G_str 
8771 0000000000000000·r·i30H_str 
8772 0000000000000000·r·i30I_str 
8773 0000000000000000·r·i30J_str 
8774 0000000000000000·r·i30K_str 
8775 0000000000000000·r·i30L_str 
8776 0000000000000000·r·i30M_str 
Max diff block lines reached; 6444/12745 bytes (50.56%) of diff not shown.
547 KB
SeriesMonad.p_o
90.6 KB
readelf --wide --sections {}
Max HTML report size reached
36.8 KB
readelf --wide --symbols {}
Max HTML report size reached
166 KB
readelf --wide --relocs {}
Max HTML report size reached
41.4 KB
strings --all --bytes=8 {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2q1_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2q3_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2q5_str {}
Max HTML report size reached
408 B
readelf --wide --decompress --string-dump=.rodata.str.i2q7_str {}
Max HTML report size reached
1.21 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2sO_str {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2sQ_str {}
Max HTML report size reached
382 B
readelf --wide --decompress --string-dump=.rodata.str.i2sS_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2sS_str':1 String·dump·of·section·'.rodata.str.i2sS_str':
2 ··[·····0]··<smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H:Test.SmallCheck.SeriesMonad.g_s2l7>2 ··[·····0]··<smallcheck-1.2.1.1-GiZ1PcIlUy1DfsGYq9123H:Test.SmallCheck.SeriesMonad.g_s2kO>
  
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2sU_str {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2kR_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2sW_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2sY_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2t0_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2t2_str {}
Max HTML report size reached
420 B
readelf --wide --decompress --string-dump=.rodata.str.i2t4_str {}
Max HTML report size reached
1.57 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
825 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
2.07 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2l3_info {}
Max HTML report size reached
2.59 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2l7_info {}
Max HTML report size reached
3.53 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2l8_info {}
Max HTML report size reached
2.12 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
823 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.36 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lm_info {}
Max HTML report size reached
2.12 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2CR_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2CT_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2CV_str {}
Max HTML report size reached
408 B
readelf --wide --decompress --string-dump=.rodata.str.i2CX_str {}
Max HTML report size reached
1.21 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2ES_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2EU_str {}
Max HTML report size reached
2.15 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lF_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2EW_str {}
Max HTML report size reached
2.71 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lH_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2EY_str {}
Max HTML report size reached
412 B
readelf --wide --decompress --string-dump=.rodata.str.i2F0_str {}
Max HTML report size reached
1.21 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2H0_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2H2_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2H4_str {}
Max HTML report size reached
2.88 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lQ_info {}
Max HTML report size reached
412 B
readelf --wide --decompress --string-dump=.rodata.str.i2H6_str {}
Max HTML report size reached
1.21 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
446 B
readelf --wide --decompress --string-dump=.rodata.str.i2Ig_str {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2Jf_str {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2lV_info {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2Jh_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2Jj_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2Jl_str {}
Max HTML report size reached
2.74 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2m0_info {}
Max HTML report size reached
420 B
readelf --wide --decompress --string-dump=.rodata.str.i2Jn_str {}
Max HTML report size reached
1.57 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
420 B
readelf --wide --decompress --string-dump=.rodata.str.i2KP_str {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2My_str {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i2MA_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2MC_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2ME_str {}
Max HTML report size reached
2.51 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2me_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2MG_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i2MI_str {}
Max HTML report size reached
3.66 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mi_info {}
Max HTML report size reached
392 B
readelf --wide --decompress --string-dump=.rodata.str.i2MK_str {}
Max HTML report size reached
420 B
readelf --wide --decompress --string-dump=.rodata.str.i2MM_str {}
Max HTML report size reached
1.31 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
3.15 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mn_info {}
Max HTML report size reached
3.03 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2mx_info {}
Max HTML report size reached
1.85 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
1.34 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
4.79 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nb_info {}
Max HTML report size reached
5.66 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nc_info {}
Max HTML report size reached
2.87 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nd_info {}
Max HTML report size reached
3.16 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ne_info {}
Max HTML report size reached
1.82 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ni_info {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nk_info {}
Max HTML report size reached
5.74 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nv_info {}
Max HTML report size reached
2.79 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nu_info {}
Max HTML report size reached
5.13 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nw_info {}
Max HTML report size reached
3.52 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nx_info {}
Max HTML report size reached
1.81 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i38C_str {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nB_info {}
Max HTML report size reached
384 B
readelf --wide --decompress --string-dump=.rodata.str.i38E_str {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nD_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i38G_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i38I_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i38K_str {}
Max HTML report size reached
430 B
readelf --wide --decompress --string-dump=.rodata.str.i38M_str {}
Max HTML report size reached
1.23 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
5.59 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nP_info {}
Max HTML report size reached
2.97 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2nR_info {}
Max HTML report size reached
3.72 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2o3_info {}
Max HTML report size reached
1.79 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2o8_info {}
Max HTML report size reached
584 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2oa_info {}
Max HTML report size reached
1.8 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
244 B
readelf --wide --decompress --string-dump=.rodata.str.i3k5_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i3k5_str':1 String·dump·of·section·'.rodata.str.i3k5_str':
2 ··[·····0]··->>>Series2 ··[·····0]··->Series
  
386 B
readelf --wide --decompress --string-dump=.rodata.str.i3k6_str {}
Max HTML report size reached
2.42 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ow_info {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i3k8_str {}
Max HTML report size reached
243 B
readelf --wide --decompress --string-dump=.rodata.str.i3k9_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i3k9_str':1 String·dump·of·section·'.rodata.str.i3k9_str':
2 ··[·····0]··->Series2 ··[·····0]··->>Series
  
386 B
readelf --wide --decompress --string-dump=.rodata.str.i3ka_str {}
Max HTML report size reached
386 B
readelf --wide --decompress --string-dump=.rodata.str.i3kc_str {}
Max HTML report size reached
2.32 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2ot_info {}
Max HTML report size reached
243 B
readelf --wide --decompress --string-dump=.rodata.str.i3kd_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i3kd_str':1 String·dump·of·section·'.rodata.str.i3kd_str':
2 ··[·····0]··->>Series2 ··[·····0]··->Series
  
386 B
readelf --wide --decompress --string-dump=.rodata.str.i3ke_str {}
Max HTML report size reached
244 B
readelf --wide --decompress --string-dump=.rodata.str.i3kf_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i3kf_str':1 String·dump·of·section·'.rodata.str.i3kf_str':
2 ··[·····0]··->Series2 ··[·····0]··MonadLogic
  
401 B
readelf --wide --decompress --string-dump=.rodata.str.i3kg_str {}
Max HTML report size reached
3.03 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
418 B
readelf --wide --decompress --string-dump=.rodata.str.i3mj_str {}
Max HTML report size reached
396 B
readelf --wide --decompress --string-dump=.rodata.str.i3mz_str {}
Max HTML report size reached
12.0 KB
readelf --wide --decompress --hex-dump=.strtab {}
Max HTML report size reached
61.0 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
Max HTML report size reached
116 KB
Result.p_o
22.5 KB
readelf --wide --sections {}
Max HTML report size reached
8.8 KB
readelf --wide --symbols {}
Max HTML report size reached
30.4 KB
readelf --wide --relocs {}
Max HTML report size reached
10.5 KB
strings --all --bytes=8 {}
Max HTML report size reached
967 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
967 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
803 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
829 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls3y2_info {}
Max HTML report size reached
1.03 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
811 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
811 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
800 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
793 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
805 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
798 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
792 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
837 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
871 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
877 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
879 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
859 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
872 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
876 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
871 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.smallcheckzm1zi2zi1zi1zmGiZZ1PcIl […]
Max HTML report size reached
4.56 KB
readelf --wide --decompress --hex-dump=.strtab {}
Max HTML report size reached
22.0 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
Max HTML report size reached