@!H__PAGEZERO__TEXT__text__TEXT` I` __stubs__TEXTh__stub_helper__TEXTx__const__TEXT!__gcc_except_tab__TEXT __cstring__TEXT@ @__unwind_info__TEXT44__eh_frame__TEXTȾ0Ⱦ(__DATA__got__DATA(<__nl_symbol_ptr__DATA((A__la_symbol_ptr__DATA88C__const__DATA  __data__DATA(__common__DATA H__LINKEDIT0$+"0 @`8HT P,,&R/X /usr/lib/dyld3T67 $ *( _ 0/usr/lib/libz.1.dylib 0x/usr/lib/libc++.1.dylib 8/usr/lib/libSystem.B.dylib&X)HUHAWAVAUATSHxILoHGHL9tLfff.HHHKHxHt'HHH9tHQH)HHHHPęHKL9HuLs HC(L9tGHHHK(HxHt'HHH9tHQH)HHHHPtHK(L9HuLkH{C8HHKILH)HHHHH)v HIYHsTH@L4M9tGDIEID$I}Ht(IEH9tHHH)HHHIMӘID$L9IuHxLhII9GLeIL$ HMMl$8L`M1DHpL4W)EHEIFAI9F}ffff.IOIWH)Hiҫ9HUH;UtA}:HHU"H}L*IFHxH HcAUzA}UH<[H\H;\sHLHH@HHEH9tHHH)HHHHMsH}Hu膓LfIH}Ht#HEH9tHHH)HHHHM)HpHhHHIH)HH9L`sHx[A\A]A^A_]II}Ht(IEH9tHHH)HHHIM轓IH}HtLHEH9tHHH)HHHHM茓'H=;H5;H l!菓IIH}Ht#HEH9tHHH)HHHHM7LMoIII}HtIEH9yHHH)HHHIM_UHAWAVAUATSHIHLcHCL9tIfHHHKHxHt'HHH9tHQH)HHHHP脒HKL9HuLs HC(L9tGHHHK(HxHt'HHH9tHQH)HHHHP4HK(L9HuLcLkC8HHKLH)HHHHH)v L ^s\H@L4M9tOff.ID$HCI|$Ht)ID$H9tHHH)HHHIL$萑HCL9IuHLII9GHHI HE1fff.N$IL$IT$H)HuIHcHHCK8qs8MH4RHTH;THD HHfWf)EHEf)pHEJ1HȹAffff.AANuA1Hy1HHMHuHG8PW8lH9s HHMH}HlLDžhHxH;EsHHxfDHpHh D9rLLID$IL$H)!1H@_HLcE1fB HHBHRH)Hiҫ9ѻ|BfID$B IEHcHpHM <tىdH4RHTH;TsHD HH@HIMfM&KIFH H(H)HHLfLI^HHC(HH \H HH(H9tHHH)HHHH(脉H@HLt)HHH9tHHH)HHHHH<HpHt)HxH9tHHH)HHHHxH}Ht#HEH9tHHH)HHHHMۈAHHHIH)HI9rH[A\A]A^A_]IHpHt)HxH9tHHH)HHHHxpH}Ht#HEH9tHHH)HHHHMDLZIIH Ht)H(H9tHHH)HHHH(H@HJHHH9tHHH)HHHHHƇIII>HvIFH9tHHH)HHHIN臇NI{>I.II>Ht#IFH9tHHH)HHHINBH}HHEH9HHH)HHHHMfDUHAWAVAUATSPIH=iIEE1I;EL%ff.1H=D)IMOt LIUM}I)LHHH9s.LuII9LBMuI)HUMI1Mu"3LuI?MuI)HUMIJ<ބHLHHEHEBNdHL}LL I]MeHEIEMtLH[A\A]A^A_]xH[A\A]A^A_]ÐUHAWAVAUATSHHuI L7H_L)HIIHL9vIɃLL7HGL)HIHUUUUUUUH9s-HH9HBLLL)HI1HIĸu,LLL)HIJIH<@貃LLH4[HHDHDHHMLiL+)MItIHUIH}LH>tHLOILMNlL+KDJDIHEH0HPH)IILnLLMLtH}L7LHUH RLHLM9tXHCHCHCAGCIWHSIGIGIGMHM9uL7LMHHOLGM9t>fDI_IHt#IGH9tHHH)HHHIO8I9IuMtLH[A\A]A^A_]H[A\A]A^A_]IH;Ht(KDH9tKLHPH)HHHHӁLˁLff.UHAWAVAUATSPIII^IFHH)HIIL9swI IH)HILL9vLIIFH)HIHUUUUUUUH9s[HH9HBI^H)HI1HIĸuBT@HCHCHI^HI^Iu6I^H)HIJH<@ǀLH [H HRHHffff.HFHFHHIuM>IFL9tX@HAHAHA@AHxHyH@H@H@H@HI9uM>IFIIvIVL9tDfff.HXHxHt#HHH9tHQH)HHHHPI9HuMtLH[A\A]A^A_]H[A\A]A^A_]fffff.UHAWAVAUATSHIIIUI]H)HHHH>t L~IUM}I)LHHH9s.LuII9LBMuI)HUMI1Mu"3LuI?MuI)HUMIJ<~HLHHEHEBNdHL}LL I]MeHEIEMtLH[A\A]A^A_]x~H[A\A]A^A_]ÐUHAWAVAUATSHIII]M}LH)HL9skIUH)HLHH>tL}IUM}I)LHHH9sHII9LBMeI)LeHUI1MutLvH6wIMnM.HhIDIFHuHUH)HHL\wLI^L`IGfILHuuHEHUH)HHpL}tTHHcxBI $Hcҋ4H<ftƉtH|HR;7uHffff.H}Ht#HEH9tHHH)HHHHM,vII9(H}Ht#HEH9tHHH)HHHHMuHx[A\A]A^A_]IH}Ht0HEH9t"HHH)HHHHM I IHuH}Ht#HEH9tHHH)HHHHM}uLuII>HtIFH9tHHH)HHHINGu`XIUHAWAVAUATSHILI\$HMl$M+l$H}HPtH}HDtIIMLI\$ID$H9tNfff.HHIL$HxHt(HHH9tHQH)HHHHPtIL$H9HuLuHEHL)U W)EHEHIυ AL1H1H@M|M+HNHH)HDiE1Lu11E1 fH]HMHHH9uZHHy LbHMHHH?H9HwHH@HH9HCHLaHEH]HKHMHHHHH!4AE9fHH8HHHUHE11H)HHHHH)HHHH)v H}`TsRH IHH9tEDHHHMHxHt'HHH9tHQH)HHHHPDaHMH9HuIEIMHH9H$E1HHhHpHHH9uoHHyH``HpHHH?H9HwHH@HH9HCHH` `HhIEHHCHhH`HHHHH!4W)@HDžPHHH9AK dHL,E1ffff.OHIFH9tHHH)HHHIN"VUHAWAVAUATSPIIAEMu IE0IE(IE IEIEIEAu8IMGI9te1Le11 Iu(I}0H ȋ MH9sHIu(fff.LLTIMGLH)HH9r=st=HsHAUHstKHHGH@UsH[A\A]A^A_]IMeI>Ht#IE(H9tHHH)HHHIM(TI$HtYIEH9tH@HHIMHxHt'HHH9tHQH)HHHHPTIMH9HuI$HlTLT_UHAWAVAUATSHIIIUI]H)HHHH>t LSIUM}I)LHHH9s.LuII9LBMuI)HUMI1Mu"3LuI?MuI)HUMIJ<SHLHHEHEBNdHL}LLSI]MeHEIEMtLH[A\A]A^A_]HSH[A\A]A^A_]ÐUHAWAVAUATSHIILH)III$M|$LH)HI9HMHuHItEID$H9tHHH)HHHIL$HRID$ID$I$E11M9vL9RI$M|$I)LHHH9w6IM9MBM9v)LQID$H)HI9vFL<ưEEMJ<1RHI\$I$JID$HHuHUfRJ`EMMI)HLKRI|$EЄtM)LHLL$RI\$"ILH9tHGH)HHHID$H[A\A]A^A_]fffff.UHAWAVAUATSHIIIUI]H)HHHH=t LPIUM}I)LHHH9s/LuII9LBMuI)HUMI1Mu"3LuIMuI)HUMIJ<PHLHHEHEHJNdHL}LLPI]MeHEIEMtLH[A\A]A^A_]fPH[A\A]A^A_]ffffff.UHAWAVATSIIID$ID$I$II^HH)H)tYHILH I9rLOHOID$I$K HID$I6IVLLN[A\A^A_]IM<$MtcID$L9tQff.HHIL$HxHt(HHH9tHQH)HHHHPSOIL$L9HuM<$L:OLPOf.UHAWAVAUATSPHUIII9I\$f.HCHCHMoM+/MItLLH>tHlNLNILkL+KDHCI7IWH)IILNMLsII\$HI\$L9}qH[A\A]A^A_]IH;Ht#HCH9tHHH)HHHHK,NLBNfff.UHAWAVSPHIIGIGIHtlH H9rLMHH<@MHIOIH[HIGfDHAHAHIOHIOHuH[A^A_]IIHt]IGH9tLfHHIOHxHt'HHH9tHQH)HHHHP$MIOH9HuIH ML#Mffff.UHAWAVAUATSH(IHIH)HHHM,$ID$HL)HHH9!HUMI txID$L9tJ@HHIL$HxHt(HHH9tHQH)HHHHPSLIL$L9HuM,$L:LID$ID$I$11LmM9vLKI $ID$H)HHHHTUUUUUUH9w$HM9L9IMBsu LiKMIO4vLKID$I$LID$LHLLID$HL)HHH9HUv H IL4˱1MI9tiML}IFH)HEMfL9tH3HSLJHII9uHEHHHHRMlID$L}ȋMĄt9I+$HHHHMH)LLLH([A\A]A^A_]IL9tEHHIL$HxHt(HHH9tHQH)HHHHPsJIL$L9HuH([A\A]A^A_]ffffff.UHAVSH`HIIFHH9W)EHEHy H}IHHH<JHHEH]IIVHHHHsYPUH9|EHHBT\H=SH5 SH )S YBH@ƒMuH5SA H5 SAHMHH 9"HcB҃MIM9|%EHHVAE̋M9HcAM9|%EHH AE̋M9HcRmM9|%EHH@E̋M97HcK#M9|%EHHx@E̋M9HcOM9|%EHH.@E̋M9HcVM9|%EHH?E̋M9HcBtM9|%EHH?E̋M9HcAM9|%EHHP?E̋M9HcYM9|%EHH?E̋M9}HcEuoM9|%EHH>E̋M9}=HcSu-M9|SEHH>E/HhZHH=O^?>EHcMHcH9}Q H wbH>HsRquH9|EHH=FH=NH5OH OP>HADXE1L=\fL(HDAƋEEHcMHcоH9}O H wAH>Hs1quH9|EHH3=E9/H9`}` \=IDA]IEIEIEH[H‹H AEt`MI111f.IMIuAPAH9sHIMLH;A;]rLHH; HH<DAH=&MH5)MH IMy< HAEE1Hffff.E EHcMHcH9}L H wfH>HsVquH9|EHHX;H=bLH5eLH L(;ffWf)HDžHAD9\}D\E1EfE EHcMHcH9}L H wfH>HsVquH9|EHH:H=KH5KH K0:fHHHH;sHHHH9AE9!HHHHt)HH9tHHH)HHHH!:AE9IcH1ffffff.HËEEDHcMHcоH9}O H wAH>Hs1quH9|EHH39H;(fWf)pHDžHHE1dffffff.E EHcMHcH9  H wHH>Hs8quH9|EHHd8@E̋MHcHc@H9 E1@@r!D@-tG+tr quH9|EHH7xMA9|REHH7E.M9|"EHHv7EE1MȺ9}*HcъӀ r?fWɃ.H%SH8H5H177f.fWɃ/9}ڃ9woM9|5EHH6E̋Mf(Y9W*X9}Hc/w9Hc.M9|5EHH26E̋M949f(fHc09}9w~M9|5EHH5E̋M*^XY89offffff.E19AWHcъE1 ҃eA5M9|%EHH 5E̋ME19|Hc+u-M9|cEHH4E?҃-u7MA9|.EHH4E E1M Fts9}gHc0rW9}9wIG4M9|EHH4E̋MFtsfffff.DEADW*p4YEtfW 6hHxH;sHHxfDHpHhy3AċA9H(HHHt#IEH9tHHH)HHHIMU/LM/F<HHpH*HxH9tHHH)HHHHx/3.HH.H==H5=H =E..H=Z?H5]?H }?$.=H=6?H59?H ?I.^H=D.H=?.H=9@.H=@.H=@.H=A.H=A.H=A~.H=qBr.H=Bf.H=9CZ.1.E1M)tqIE1E1ff.KHpHx H)t;H1۹1ffff.HHSH+SHiҫЉH9rAAM9rH==1D-H=C-t$HHHH5=H-G@-HHC8HC0HC(HC HCHCHCHHVJHHL5-=Lt HHH HLtHcHH*H=>*H=?*H=n?*1L*ZHL@L( HL)L)I}Ht)H0H9tHHH)HHHH0)HHt)HH9tHHH)HHHHx)H)UHAWAVAUATSPIMt$A$ I>&ADŽ$I<$L(A$ Ic$9AT H wIsQA$H9|HcAt-u8A$A9|hADŽ$I<$LL(A$ AAT+u3A$9|%ADŽ$I<$L (A$ E1A$9HcAt@ @1҃/vqf9} @ރ9wVD,A$9|-ADŽ$I<$L}'A$ A$BTk9}HcAt4/wEDH[A\A]A^A_]ATH"CH8H581''UHAWAVSPHL{0HC@HC8HC0HC(HC HCHCHCHH57L&CPHCHH[A^A_]IL&H{Ht#HC H9tHHH)HHHHK &H;Ht#HCH9tHHH)HHHHK&L&DUH&d&fUHAWAVAUATSHIIIUI]H)HHHH=t L%IUM}I)LHHH9s/LuII9LBMuI)HUMI1Mu"3LuIMuI)HUMIJ<%HLHHEHEHJNdHL}LL%I]MeHEIEMtLH[A\A]A^A_]V%H[A\A]A^A_]ffffff.UHAWAVAUATSHIIIUI]H)HHHH=t L$IUM}I)LHHH9s/LuII9LBMuI)HUMI1Mu"3LuIMuI)HUMIJ<$HLHHEHEHJNdHL}LL$I]MeHEIEMtLH[A\A]A^A_]&$H[A\A]A^A_]ffffff.UHAWAVAUATSH8IIHH}H#}HL`I|(A#D MuO,7N#B#uUH}H}LLEI#H5 ?H}3#HHI8 HшEH}L#EB#H}LEMDLLLHuHH@H<t #H}"HH8[A\A]A^A_]IIIH}"H}"IL"HLxL""H"H"H4@UHAWAVAUATSH(IHI1MLH)IHE1H)LOII)M~7IELLH]LuLEP`EILuH]H1L9M~XLEAH}L!Eu MHuMHuIEH@`LLIH}!1M9LELEMu3I)M~ IELHLLP`IH1L9u I@LH([A\A]A^A_]HH}L!H!UHAWAVATSH0IIW)EHEI$I9D$t`1L}11 HUHMHc4HI6H9tHHHEfL I$IL$H)HH9r0 HHuHxH]IF I;F(s HIF IHuLB H}Ht#HEH9tHHH)HHHHM| H0[A\A^A_]II IHZ H}Ht#HEH9tHHH)HHHHM. LD fffff.UHAWAVSPIH=6} I1I9Nt,H<IIVH)HH9rIv I+vHH=86E11 IFI9F t+@JID$H9tHHH)HHHIL$pIAUHAWAVSPIAAvH=11IFI9Ft7L=ff.1L{IFINH)HH9rۿ H[A^A_]W%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%LAS%hhhhehhh h]hhh'hmxhnhdh Zh0PhHFhbJ* q Q U pP> Q? ] C Q O )' ^8`s;W6SMM7c  c.c)""<c  c ou j  C o  ) '"  Z > @K{p )c'tc$h9ucU?ec:?vc^Xg}u cw$.L5D= GTL)' qÀAp     i  .~  H~ ^n D In {{    R_ P  M , encode/Volumes/KINGSTON/uaiToCnfC++/BooleanVariableEncoder.ccvalues[j] < (int) mapValue.size()%d The mapping on the valueThe clauses necessary to completly represent the domainassignDistrib/Volumes/KINGSTON/uaiToCnfC++/Cpt.ccmaxNbCubes == distrib.size()primeImplicantReductionnotIntoBeExplored.size() == 0========= %lf ========= %d: computeMapDiffOne/Volumes/KINGSTON/uaiToCnfC++/Cpt.hcpt != 1 || pos != -1 Set of Cpt's variables Set of weighted cubesuai-i-o-w-e-v-s-implicit-info-atMostmain/Volumes/KINGSTON/uaiToCnfC++/Main.ccposIdxInputFilerbc Network type: c Number of variables in the problem: %d c Number of CPTs: %d c Size of the biggest domain: %d c Arity of the network: %d c Number of tuples for all the CPTs: %d c Number of propositional variables created: %d c Number of values: %d primec Number of remaining tuples in all CPTs after simplification: %d DIRECTLOG/dev/stdoutc Total elapsed time: %lf UNKNOWwparse_uai/Volumes/KINGSTON/uaiToCnfC++/Parser.h*in != EOFMARKOVBAYESOur soft only tackles MARKOV and BAYES format: see the UAI webpage competion for more details *in == EOFPARSE ERROR! Unexpected char: %c To run the BN to CNF translator bn2Cnf you need to make precise some information:USAGE: ./bn2Cnf -i inputFile.uai [-o outputFile] [-w outputWeightFile] [-v outputMapVariable] [-e typeEncoding] [-implicit] [-s prime]where: * inputFile is the name of the BN file (extension .uai) which must follow the UAI format * outputFile is the name of resulting CNF file which follows the DIMACS format (by default outputFile = /dev/stdout) * outputWeightFile is the name of the file where the weight map is saved (by default outputWeightFile = /dev/stdout) * outputMapVariable is the name of the file where the variable map is saved (by default outputMapVariable = /dev/stdout) * typeEncoding is a string which gives the type of encoding used to represent the variables (DIRECT by default): LOG, DIRECT * -implicit means we are going to use the implicit encoding of the most frequent weight * -s prime, means we are going to first simplify the CPTs using Quine/McCluskey algorithmc =================== Information about the instance ======================c =================== Preprocessing (Quine/McCluskey) ======================c Simplification unknownc Cpts: %d Variables:c Number of Boolean variables used to encode the domains: %d c Number of clauses used to encode the domains: %d %d = [%s%d, ] %d %lf -%d %lf 0 %lf p cnf %d %d 0 c Number of variables: %d c Number of clauses: %d c =================== Transformation information ======================c ================= Transformation information - Implicit ==================c =================== CNF information ======================1 0 -1 0[V%d, size = %d] (%d, %d)48XQX!QaaQ Q` P` t Lp'x0(p*P/DA8pNī@T`UpV0@ZP _p }`Pԯ  "@ p0 $ 7DEIKL0MOP0TTprss vwxzz{И!zPLRx5 zRx zPLRx zRx zRx zPLRx zPLRx zRx zPLRxU zRx zRx  "% &pNP[`UW@TpVSPQ@Z\0P } ~P $.8BLV`jt~ĥΥإ (2<FPZdnx@` ЦpP` "8`%C`BRBRARARBRBRARARApQ@__ZNSt3__14coutEQr@__ZNSt3__15ctypeIcE2idE@__ZTVN10__cxxabiv117__class_type_infoE`@__ZTVN10__cxxabiv120__si_class_type_infoE@__ZdlPv`@__Znam@__Znwm@___gxx_personality_v0@___stack_chk_guard@___stderrp@dyld_stub_binder@__ZTI14ProblemEncoderQr@__ZTI22BooleanVariableEncoder@__ZTS14ProblemEncoder@__ZTS22BooleanVariableEncoder@__ZdlPv@__Znam@__Znwmr@_gzopenr@_gzreadr@__ZNKSt3__120__vector_base_commonILb1EE20__throw_length_errorEvr@__ZNKSt3__16locale9use_facetERNS0_2idEr@__ZNKSt3__18ios_base6getlocEvr@__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6__initEmcr@__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6assignEPKcr@__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEED1Evr@__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE3putEcr@__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEvr@__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE6sentryC1ERS3_r@__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE6sentryD1Evr@__ZNSt3__16localeD1Evr@__ZNSt3__18ios_base33__set_badbit_and_consider_rethrowEvr@__ZNSt3__18ios_base5clearEjr@__ZSt9terminatevr@___cxa_begin_catchr@___cxa_end_catchr@__Unwind_Resumer@___assert_rtnr@___bzeror@___exp10r@___stack_chk_failr@_clockr@_exitr@_fopenr@_fprintfr@_fputcr@_fwriter@_ldexpr@_memcpyr@_memmover@_printfr@_putcharr@_putsr@_strcmp__mainmh_execute_header)Z-N?4helpvT2s3Cpt12WeightedCube7Problem8Variable8BooleanVariableDirectEncoder6encodeERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE5BooleanVariableLogEncoder6encodeERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE2BooleanVariableEncoder5printEv6ClassicalCNFProblemEncoder6encodeEb3HiddenCNFProblemEncoder6encodeEb#;C5printEv13assignDistribERNSt3__16vectorIdNS0_9allocatorIdEEEE2ERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE1ERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEENPQ523primeImplicantReductionEv1printEvfirstE ST^3makeEssentialERNSt3__16vectorINS1_IiNS0_9allocatorIiEEEENS2_IS4_EEEES7_7markedCurrentCubeE 9addNewCptERNSt3__16vectorIiNS0_9allocatorIiEEEE5printEvЌ5printEv1 SV2I 214ProblemEncoder8BooleanVariableDirectEncoder5BooleanVariableLogEncoder2BooleanVariableEncoder6ClassicalCNFProblemEncoder3HiddenCNFProblemEncoder8BooleanVariableDirectEncoder 5BooleanVariableLogEncoder 6ClassicalCNFProblemEncoder 3HiddenCNFProblemEncoder 2 14ProblemEncoder 8BooleanVariableDirectEncoder 5BooleanVariableLogEncoder 6ClassicalCNFProblemEncoder 3HiddenCNFProblemEncoder 2BooleanVariableEncoder ؄ȅ4globalIdxValueE 6globalIdVariableE  $8G "%* &[pN0PPQS@TE`UpVW@ZP[\H {j }{~ ~P, N`trLxD8ī  0) P< pN ` r `  ԯ  ^ A  G P/u   )    N Px `  p* (" 0(^ p' p  ( ,, 0B  X  v    p    @ 0Op`Ц  X  <P _Vf67v*FW~*=HOU\elt|  wxSTUVWXYZ[\_`abefgjkRhilnqrstuvyz{|}~]^mop@  wxSTUVWXYZ[\_`abefgjkRhilnqrstuvyz{|}~ __ZNSt3__16vectorIiNS_9allocatorIiEEE21__push_back_slow_pathIiEEvOT___ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEE21__push_back_slow_pathIRKS3_EEvOT___ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEE8__appendEm__ZNSt3__16vectorIiNS_9allocatorIiEEE21__push_back_slow_pathIRKiEEvOT___ZNSt3__16vectorIiNS_9allocatorIiEEE8__appendEm__ZN12WeightedCubeC2EdjRNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE__ZNSt3__16vectorIjNS_9allocatorIjEEE21__push_back_slow_pathIjEEvOT___ZNSt3__16vectorIP8VariableNS_9allocatorIS2_EEE6assignIPS2_EENS_9enable_ifIXaasr21__is_forward_iteratorIT_EE5valuesr16is_constructibleIS2_NS_15iterator_traitsIS9_E9referenceEEE5valueEvE4typeES9_S9___ZNSt3__16vectorIP12WeightedCubeNS_9allocatorIS2_EEE21__push_back_slow_pathIS2_EEvOT___ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEEC2ERKS5___ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEE18__construct_at_endIPS3_EENS_9enable_ifIXsr21__is_forward_iteratorIT_EE5valueEvE4typeES9_S9_m__ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEEC2Em__ZNSt3__16vectorINS0_IiNS_9allocatorIiEEEENS1_IS3_EEE6assignIPS3_EENS_9enable_ifIXaasr21__is_forward_iteratorIT_EE5valuesr16is_constructibleIS3_NS_15iterator_traitsIS9_E9referenceEEE5valueEvE4typeES9_S9___ZNSt3__16vectorIbNS_9allocatorIbEEE7reserveEm__ZNSt3__114__copy_alignedINS_6vectorIbNS_9allocatorIbEEEELb0EEENS_14__bit_iteratorIT_Lb0EXLi0EEEENS5_IS6_XT0_EXLi0EEEES8_S7___ZNSt3__16vectorIiNS_9allocatorIiEEE6assignIPiEENS_9enable_ifIXaasr21__is_forward_iteratorIT_EE5valuesr16is_constructibleIiNS_15iterator_traitsIS7_E9referenceEEE5valueEvE4typeES7_S7___ZL8parseIntI12StreamBufferEiRT___ZN7ProblemC2Ev___clang_call_terminate__ZNSt3__16vectorIP8VariableNS_9allocatorIS2_EEE21__push_back_slow_pathIRKS2_EEvOT___ZNSt3__16vectorIdNS_9allocatorIdEEE21__push_back_slow_pathIdEEvOT___ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m__ZNSt3__116__pad_and_outputIcNS_11char_traitsIcEEEENS_19ostreambuf_iteratorIT_T0_EES6_PKS4_S8_S8_RNS_8ios_baseES4___ZNSt3__16vectorIP3CptNS_9allocatorIS2_EEE21__push_back_slow_pathIS2_EEvOT_GCC_except_table0GCC_except_table1GCC_except_table4GCC_except_table0GCC_except_table1GCC_except_table4GCC_except_table5GCC_except_table6GCC_except_table7GCC_except_table13GCC_except_table14GCC_except_table15GCC_except_table17GCC_except_table1GCC_except_table2GCC_except_table8GCC_except_table9GCC_except_table0GCC_except_table0GCC_except_table1__Z4helpv__ZN12WeightedCube13makeEssentialERNSt3__16vectorINS1_IiNS0_9allocatorIiEEEENS2_IS4_EEEES7___ZN12WeightedCube17markedCurrentCubeE__ZN12WeightedCube23primeImplicantReductionEv__ZN12WeightedCube5firstE__ZN12WeightedCube5printEv__ZN22BooleanVariableEncoder5printEv__ZN23HiddenCNFProblemEncoder6encodeEb__ZN25BooleanVariableLogEncoder6encodeERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE__ZN26ClassicalCNFProblemEncoder6encodeEb__ZN28BooleanVariableDirectEncoder6encodeERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE__ZN3Cpt13assignDistribERNSt3__16vectorIdNS0_9allocatorIdEEEE__ZN3Cpt5printEv__ZN3CptC1ERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE__ZN3CptC2ERNSt3__16vectorIP8VariableNS0_9allocatorIS3_EEEE__ZN7Problem5printEv__ZN7Problem9addNewCptERNSt3__16vectorIiNS0_9allocatorIiEEEE__ZN8Variable14globalIdxValueE__ZN8Variable16globalIdVariableE__ZN8Variable5printEv__ZTI14ProblemEncoder__ZTI22BooleanVariableEncoder__ZTI23HiddenCNFProblemEncoder__ZTI25BooleanVariableLogEncoder__ZTI26ClassicalCNFProblemEncoder__ZTI28BooleanVariableDirectEncoder__ZTS14ProblemEncoder__ZTS22BooleanVariableEncoder__ZTS23HiddenCNFProblemEncoder__ZTS25BooleanVariableLogEncoder__ZTS26ClassicalCNFProblemEncoder__ZTS28BooleanVariableDirectEncoder__ZTV23HiddenCNFProblemEncoder__ZTV25BooleanVariableLogEncoder__ZTV26ClassicalCNFProblemEncoder__ZTV28BooleanVariableDirectEncoder__mh_execute_header_main__Unwind_Resume__ZNKSt3__120__vector_base_commonILb1EE20__throw_length_errorEv__ZNKSt3__16locale9use_facetERNS0_2idE__ZNKSt3__18ios_base6getlocEv__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6__initEmc__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6assignEPKc__ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEED1Ev__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE3putEc__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv__ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE6sentryC1ERS3___ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE6sentryD1Ev__ZNSt3__14coutE__ZNSt3__15ctypeIcE2idE__ZNSt3__16localeD1Ev__ZNSt3__18ios_base33__set_badbit_and_consider_rethrowEv__ZNSt3__18ios_base5clearEj__ZSt9terminatev__ZTVN10__cxxabiv117__class_type_infoE__ZTVN10__cxxabiv120__si_class_type_infoE__ZdlPv__Znam__Znwm___assert_rtn___bzero___cxa_begin_catch___cxa_end_catch___exp10___gxx_personality_v0___stack_chk_fail___stack_chk_guard___stderrp_clock_exit_fopen_fprintf_fputc_fwrite_gzopen_gzread_ldexp_memcpy_memmove_printf_putchar_puts_strcmpdyld_stub_binder