ELF>`=@h@8 @ @@@hh 000--```(j(z(zm}}DDPtdbbbQtdRtd(j(z(z/lib64/ld-linux-x86-64.so.2GNUGNU9wV4>C)ݽSW~60f2(AP0   689:=@ACFJLMPQj|ofdTqXKz|j Ck-pBE9fhs MЦls2b~r:sL : emRLtj# CQm1rV |$D 7\d   ; U 6% "`[]!|v $ `E!`zP# !P{P 3!}!z ( "@Te ]o!| 3 "@Te `=+ P]]!|P!@z "0T "8!0{ !{xL "T "pXlibstdc++.so.6__gmon_start___ITM_deregisterTMCloneTable_ITM_registerTMCloneTable_ZNSt8ios_base4InitD1Ev_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZTVSt15basic_streambufIcSt11char_traitsIcEE__gxx_personality_v0_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode_ZNSo3putEc_ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZNKSt5ctypeIcE13_M_widen_initEv_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate_ZdlPv__cxa_begin_catch_ZTVSt9basic_iosIcSt11char_traitsIcEE_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZNSt6localeD1Ev_ZNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEED1Ev__cxa_end_catch_ZSt24__throw_out_of_range_fmtPKcz_ZNSt8ios_baseD2Ev_ZSt16__throw_bad_castv_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm_ZSt17__throw_bad_allocv_ZNSt8ios_base4InitC1Ev_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev_ZNKSt8__detail20_Prime_rehash_policy14_M_need_rehashEmmm_ZTTSt14basic_ofstreamIcSt11char_traitsIcEE_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4findEPKcmm_ZNSo9_M_insertImEERSoT__ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E_Znwm__cxa_rethrow_ZNSt12__basic_fileIcED1Ev_ZNSt6localeC1Ev_ZTVSt14basic_ofstreamIcSt11char_traitsIcEE_ZNSt8ios_baseC2Ev_ZSt19__throw_logic_errorPKc_ZNKSt5ctypeIcE8do_widenEc_ZTVNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEEE_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm_ZTVNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEEE_ZSt4cout_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_assignERKS4__ZNSo5flushEv_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev_ZSt7getlineIcSt11char_traitsIcESaIcEERSt13basic_istreamIT_T0_ES7_RNSt7__cxx1112basic_stringIS4_S5_T1_EES4__ZTTNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEEElibm.so.6libgcc_s.so.1_Unwind_Resumelibc.so.6strlen__cxa_atexitmemsetfputcmemcpystderrfwrite__cxa_finalize__xstat__libc_start_mainvfprintf_edata_IO_stdin_used_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJRKS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT___data_start_end_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED1Ev__bss_start__libc_csu_init_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT__ZNSt10_HashtableImmSaImENSt8__detail9_IdentityESt8equal_toImESt4hashImENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE21_M_insert_unique_nodeEmmPNS1_10_Hash_nodeImLb0EEEm__libc_csu_finiGCC_3.0GLIBC_2.14GLIBC_2.2.5GLIBCXX_3.4.20GLIBCXX_3.4.18GLIBCXX_3.4.11GLIBCXX_3.4.9CXXABI_1.3GLIBCXX_3.4.21GLIBCXX_3.4    P&y ( 00 ui ; p G h V ae )t ӯk q t) (z@>0z0=8z>}O@}8}I}?M+0125(@zJ`z;z@0{NP{={O|8|I|E}?PB (08@HPX ` h p x ȀЀ؀ ! "(#0$8%@&H'P)X*`,h-p.x/34HHOHtH5O%O@%Oh%Oh%Oh%Oh%Oh%Oh%Oh%Ohp%Oh`%Oh P%Oh @%Oh 0%Oh %zOh %rOh%jOh%bOh%ZOh%ROh%JOh%BOh%:Oh%2Oh%*Ohp%"Oh`%OhP%Oh@% Oh0%Oh %Nh%Nh%Nh%Nh %Nh!%Nh"%Nh#%Nh$%Nh%%Nh&%Nh'p%Nh(`%Nh)P%Nh*@%Nh+0%Nh, %zNh-%rNh.%LfHD$ H$HH9tLHD$hH$HH9tHD$`H$HH9tLl$pHD$0H$HH9tH$@HfH$8H$01HHD$XH$0HDŽ$HHDŽ$@H0H9tDL, H|$P2HH}QHGH GH$H@HHEHH$HD$ H$HH9H$HH9tHLHD$PHxH(HHPH$HHHHDŽ$H|$PHUEH$HaHIGH VEL$pHpHDŽ$xH EIH$HGH$H$IFpH9tHD$I~PH$HDH DH@HpHDH DH$H@HIGH DL$pHpHDŽ$x=H$HH95H/(HHT$H$HH9tH|$`IL9tH|$ HPHT$H$HH9tAWfAVAUATUSH)D$@HD$PGH^D$L|HD$@HD$ H$L5m)HD$H$HD$fDKHI9H+LHtӹHH=)HH=(XH=(H:HD$HH$IHD$`HzHXU$HT$H$Ht$HH;t$PHFHH$H;D$zHH$HFH$HHFHD$H I9@HD$HHl$@HD$H9H$Ld$`HD$HD$8L$HD$(@ID$HD$`LmH]LHt MnH$H[H)AED$pID$H\$h Jtg H5'H=HHT$hHt$`H=HIHH@IH{8msCLHLl$`H\$hL$D|$LHt MH\$8HHwAE$LH$H|$DH$L9tH|$`ID$H9H H9l$H|$ \HĨ1[]A\A]A^A_D$fDHHT$DLd$`H|$1LHT$`H$H$LHHHD$`H$Wfo$NfDHT$H|$ H$H;|$UK@H H9l$@ID$H9LHpfHt$1LH$HD$`HT$pHLHH$HD$`|Ht$(H|$1wHT$8H$H$HLHH\$8H$fHHH H@0H9sHfH5$H=EH=E$H5%H=EH=EH5U$H=EoH=E'H5o%H=EKH=tE_!H5s%H=\E'H=PE;9H5w%H=8EH=,EH= E ~H5%H=EH=D HD$@HD$ H=y$1jH=# HD$PH=x#H6HSH H1HH=E H=BHHFDH5Ef1I^HHPTL: H H= >BDH=DH DH9tHBHt H=CH5CH)HHH?HHtHAHtfD=Du/UH=AHt H=zChD]{f.SHHHt$(HT$0HL$8LD$@LL$Ht7)D$P)L$`)T$p)$)$)$)$)$H *DH$HD$H=0!HD$ D$D$ 0HD$ H=CHT$HH5C ff.AWIAVAUATUSHH$@t$;HH\$PH:11H$Ht=ff$H i=$$H$H@HDŽ$HH*=HDŽ$HxH"H;H{H$H(H$~HsHI7H{H$HZHHS1^H$0fHDŽ$Lt$pHD$XH$`H$0H$HD$0H$H$H$HDŽ$8HDŽ$@HDŽ$HDŽ$P?HDŽ$XHDŽ$`HDŽ$Ƅ$HD$)D$pfH$H@HH{8qSCH\$0H|$PMHHHRD 1H5HHHl$xHHH+\$pH$81HHHH$0HIHt7HH;XthHHu$fDH9tSH HtHq1HHI9tMuHHHLHXH|$XAQHl$x@H9$HEHEL$H$LHt MH$HHEHA$H$HEH]HD$x kHMHH  H@0H9l HZHT$0HLMHt+fHt$1HMH$HEHUHLHH$HEAH$HN HH5LI_M'HH$H9HD$`H$HFH$LHt MH$pH H A$$HD$`HH$IOH9BIIH$I)HD$hH$HI9H$LGHLt HL$I I $HD$hH5>L$B  H$HHRH1fHHȃHHH w|$HH;X_HHu'DH9GH HtHq1HHI9tHHHIIQI1IHH@MM A|$8At$CLHLL$pLT$xLHL)HH9'H}H{9HD$( H5H=.8H$Ƅ$ HDŽ$HCH$H$HL$H$L97H)11HIuH$H$H=7yIHH@MMD A|$8At$CLHH$HH9tfoL$@Ha2H}H$H1)$H}pPHD$H}@H$jH{0H |0HH$H@HHj/H$}HD$ H$HH9tBH0H$~s2H$pHPH$`2IFp)$H9tHD$I~PH$H.H/IH /H@HpH.H.H$H@HIGL$pHpH.H$HDŽ$xHD$HHD$HHD$hH$HH9t5HD$`H$HH9tHD$0H$HH9tH$@HtfH/HHuH$8H$01HAHD$XH$0HDŽ$HHDŽ$@H0H9tHl$xLd$pL9t,I<$ID$H9aI L9uLd$pMtLFH$H\$PHJ.H$H(H{H$H{xHD$H{HH$H/H /HH$H@HH,HDŽ$H$H[]A\A]A^A_L$pH|$`1Ll$pLH$pH$H$HLH)H$pH$@H9\$"LxI$H  H@0H9LfDI)11 LMA|$8u LI$HH@0H9ƅ@w LI$HM H@0H9OLBfDI L9fDI)11HA@H$HxHw NfIv`WIv`HF| Ls )H5Ll$pH= 2H1H1H@HHN{8usCH=1Ll$p3HLl$pHD$0H$HH9t+H$@HtfDHHHuH$8H$01HiHD$XH$0HDŽ$HHDŽ$@H0H9tH\$xHl$pH9t+H}HEH9H H9uHl$pHtHoH\$PH{*H$H(H$H{H+H$'H{xH)HD$hHM$HD$`HHH5H=M0H$HH=90TH5HHHt$xH+t$pHH'H5yHHHH@HH?}8uCH2HtH$H|$h1HH$H$H$LHHL$H$HLl$p6HH H@0H9fLl$pHTHHEH H@0H99H,fDH H9D$<H'H+)HD$H=m Ll$pLl$pLl$pHH5 H= 1H=+ fDH$H= 1UH= Ll$pt@;HHIHqHHH"HiH:HyH^H\H2IHFHIHf.f.ATIUSHoHH9t#DH;HCH9t,H H9uI$Ht%H[]A\fH H9uD[]A\f.AWIAVIAUIATIUSH8H_H/HI)H)HH4Ht$H9HD$H|$WH$L$$ID$HD$I$IEMmHHD$Lt HLl$(IIHD$AD$HD$Ml$B(I9IvH$HEH)HHHHH@HJH HHH9H HH HJHHHJH@H H@@H9uH$HH0Lb I9tvHIFL)HyHHwHHLHJH HHH9LH HH H@H HJHH@HJH@H9uHGHIIH9t)f.I}IEH9I L9uHtHH$~$L$$HD$IG$AH8[]A\A]A^A_MzHD$DHH9H$HI I9KefDoH JHHHJH@H H@@H9/mf.oHHH H@H RHJH9tHD$Hd$3@Ht$(1LHT$(I$IT$Ht$LH#I$Ll$(HD$SH$H=`HcH<$tH<$I<$H9|$tH4H\f.fAWHIAVAUATIUSH(LoHLH)H)HH4IH9CLHT$HL$HL$HT$HJ0HD$Lu HD H2HHHHJH9KH0HrHpHrH HBHpBI9trMwHCHI)IIvHHHJH HHH9,H HH HJHHHJH@H H@@H9uIIIM9toLIGL)HzLHHHHLfHJH HHH9H HH H@H HJHH@HJH@H9uHIIL9t fDI?IGH9tT'I M9uHtHHl$~D$Lt$HD$ID$D$A$H([]A\A]A^A_fDI M9uDoH JHHHJH@H H@@H9foHHH H@H RHJH9HH9Hu%A 1HD$f.HItoZXf.AWIAVIAUILATUSHH HHWHwLgNHHIHH9JL<LL1HILS0HKHCHta1LKfHHHHLMt this->size() (which is %zu)Output file %s already exists. Delete or use -f to overwriteNo BTOR2 input file(s) specified. btorsplit [options] BTOR2_FILE... -h,--help Print this help and exit. -v Increase verbosity. -f Overwrite output file if it already exists.Split multi-property BTOR2 files into single property files. For each property a new file 'p[0-9]+.btor is generated;hhxx(x,xxH<(zRx +zRx $FJ w?;*3$"D`\XpdAJ48eBDA x ABN QABzPLRxU L$PBEE E(D0A8Dp 8A0A(B BBBH H4BHB B(D0A8D` 8A0A(B BBBG LdBEE H(A0A8K@% 8D0A(B BBBE PBEB B(A0A8Gf 8A0A(B BBBA ,zPLRx 4`ePWBFB B(A0A8GF 8C0A(B BBBI ,zPLRxY 4].DWD$]BEE E(H0H8G@j8A0A(B BBBlTK%-e}))5)) ) ))p)))):()(B))')))(')( ) ) ( ) )!T)$)%(&+)&')')')')()((((()()()7T     e    ;@>0=> 0 ](z8zo  h` oooo`o}60F0V0f0v00000000011&161F1V1f1v11111111122&262F2V2f2v22222222233GCC: (Debian 8.3.0-6) 8.3.0 `  ` 0 0 303]`bHcf(z8z@z}P>0?`q0306]0=.==>&58z\@>h(zfb]!  0}8z(z  9!@z l .`=!`zP"6H!z/Y"@Te!0{ 0C"0T^x `=+!P{P)>!{x%V"Tf# :      "@Te[    " . a !|   P]]' "pX !|P . J k  "`[ -] 5T c }!| !}4btorsplit.cpp_ZL3diePKcz_ZL10split_fileNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb_ZL11s_verbosity_ZL10split_fileNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb.cold.116main.cold.117_GLOBAL__sub_I_main_ZStL8__ioinitcrtstuff.cderegister_tm_clones__do_global_dtors_auxcompleted.7325__do_global_dtors_aux_fini_array_entryframe_dummy__frame_dummy_init_array_entry__FRAME_END____GNU_EH_FRAME_HDR__dso_handleDW.ref.__gxx_personality_v0_DYNAMIC__TMC_END____init_array_end__init_array_start_GLOBAL_OFFSET_TABLE__ZNSo3putEc@@GLIBCXX_3.4_ZTVSt9basic_iosIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv@@GLIBCXX_3.4_edata_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev@@GLIBCXX_3.4_ZNSt8ios_baseC2Ev@@GLIBCXX_3.4_ZNSt8ios_baseD2Ev@@GLIBCXX_3.4_IO_stdin_used_ZTTNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEEE@@GLIBCXX_3.4.21_ZSt17__throw_bad_allocv@@GLIBCXX_3.4__cxa_begin_catch@@CXXABI_1.3__cxa_finalize@@GLIBC_2.2.5strlen@@GLIBC_2.2.5_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@@GLIBCXX_3.4_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_assignERKS4_@@GLIBCXX_3.4.21memset@@GLIBC_2.2.5_ZTVSt15basic_streambufIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSo9_M_insertImEERSoT_@@GLIBCXX_3.4.9_ZNSo5flushEv@@GLIBCXX_3.4_ZSt19__throw_logic_errorPKc@@GLIBCXX_3.4_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev_ZTTSt14basic_ofstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEED1Ev@@GLIBCXX_3.4.21memcpy@@GLIBC_2.14_ZNKSt5ctypeIcE8do_widenEc__cxa_atexit@@GLIBC_2.2.5_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode@@GLIBCXX_3.4_ZdlPv@@GLIBCXX_3.4_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_Znwm@@GLIBCXX_3.4__xstat@@GLIBC_2.2.5_ZTVNSt7__cxx1118basic_stringstreamIcSt11char_traitsIcESaIcEEE@@GLIBCXX_3.4.21_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev@@GLIBCXX_3.4_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l@@GLIBCXX_3.4.9_ZNKSt5ctypeIcE13_M_widen_initEv@@GLIBCXX_3.4.11_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJRKS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_fputc@@GLIBC_2.2.5_ZSt16__throw_bad_castv@@GLIBCXX_3.4_ZSt4cout@@GLIBCXX_3.4_ZNKSt8__detail20_Prime_rehash_policy14_M_need_rehashEmmm@@GLIBCXX_3.4.18vfprintf@@GLIBC_2.2.5_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E@@GLIBCXX_3.4stderr@@GLIBC_2.2.5__data_start_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED1Ev_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm@@GLIBCXX_3.4.21_ZNSt6localeD1Ev@@GLIBCXX_3.4__cxa_rethrow@@CXXABI_1.3_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev@@GLIBCXX_3.4__bss_start_ZSt24__throw_out_of_range_fmtPKcz@@GLIBCXX_3.4.20_ZTVSt13basic_filebufIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm@@GLIBCXX_3.4.21__libc_csu_init_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT__ZTVSt14basic_ofstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev@@GLIBCXX_3.4__cxa_end_catch@@CXXABI_1.3__gxx_personality_v0@@CXXABI_1.3_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate@@GLIBCXX_3.4_ZNSt10_HashtableImmSaImENSt8__detail9_IdentityESt8equal_toImESt4hashImENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE21_M_insert_unique_nodeEmmPNS1_10_Hash_nodeImLb0EEEm_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4findEPKcmm@@GLIBCXX_3.4.21_ITM_deregisterTMCloneTable_Unwind_Resume@@GCC_3.0_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@@GLIBCXX_3.4.21__libc_csu_fini_ZSt7getlineIcSt11char_traitsIcESaIcEERSt13basic_istreamIT_T0_ES7_RNSt7__cxx1112basic_stringIS4_S5_T1_EES4_@@GLIBCXX_3.4.21_ZNSt12__basic_fileIcED1Ev@@GLIBCXX_3.4__libc_start_main@@GLIBC_2.2.5__gmon_start___ITM_registerTMCloneTablefwrite@@GLIBC_2.2.5_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZTVNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEEE@@GLIBCXX_3.4.21_ZNSt6localeC1Ev@@GLIBCXX_3.4_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4.symtab.strtab.shstrtab.interp.note.ABI-tag.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.plt.got.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.init_array.fini_array.data.rel.ro.dynamic.got.plt.data.bss.comment# 1$DoN V ^o``kozB``h00 0 0 3 30303*]] ``bbHcHcff(z(j8z8j@z@jh }mo0 pqq8 0qq : ~YA&