ELFd4(4 (%"444p p H  ((( Ptd. . DD/lib/ld-linux.so.2GNUaoYKh-?T:GQLk9NeiM_AJc^dD3bj&Um>C8galE[Z<5O\R7@] nH;)6Sf  % (4,!#"*B/I.2$V'X0FP`=W+1rTxdtY,[)cgsĘm2Ԙ>WAj$E` !4I D%=T2qd#ta6EUę$Cԙ&"E#*Inp (!$lk4ycD-Txd_t#c9X0=:&Y "$  ( 0 !ĚԚpRD.@fS$Mj4FDT*dmGtYUN4'ěԛ+ezQ$Z4DTrd9lt'tA6EĜԜ:^GS$494yDT[dC@ tz35BH 9kĝ&*ԝ4x sX !l` @! 7$4 D+T0libstdc++.so.5_ZNSt24__default_alloc_templateILb1ELi0EE8allocateEj_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_PS3__ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_Znaj_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc__cxa_rethrow_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev_ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZNSi6ignoreEii_ZNSs4_Rep11_S_terminalE_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZNSs4_Rep10_M_disposeERKSaIcE_ZNSiC2EPSt15basic_streambufIcSt11char_traitsIcEE__cxa_call_unexpected_ZSt4cerr_ZNSirsERi_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSt14basic_ifstreamIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode_ZNSsD1Ev_ZNSolsEPFRSoS_E_ZNSt9basic_iosIcSt11char_traitsIcEED2Ev_ZdlPv__cxa_end_catch_ZNSt12__basic_fileIcED1Ev_ZSt9terminatev__gxx_personality_v0_ZNSs4_Rep9_S_createEjRKSaIcE_ZNSs4_Rep8_M_cloneERKSaIcEj_ZNSt8ios_baseC2Ev_ZNKSs7compareERKSs_ZNSi3getERc_ZNSs20_S_empty_rep_storageE_ZNSt8ios_base4InitC1Ev_ZNSt15basic_streambufIcSt11char_traitsIcEED2Ev_ZSt19__throw_logic_errorPKc_ZdaPv_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev_ZNSt24__default_alloc_templateILb1ELi0EE10deallocateEPvj_ZNSt8ios_base4InitD1Ev_ZNSt8ios_baseD2Ev__cxa_begin_catch_ZTVSt9basic_iosIcSt11char_traitsIcEE_ZNSiD2Ev_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__Znwj_Jv_RegisterClasses__gmon_start__libm.so.6logsqrtceilfloormodfexplibgcc_s.so.1_Unwind_Resumelibc.so.6putcharstrcpysysconf__strtod_internalstdoutvsprintfungetcmemmovetimes__strtol_internalqsortfscanffgetsmemcpyfeofmallocmktempfflushstrrchrcallocstrcatstdinstrstrstrncmpstrncpyunlinkrealloc__cxa_atexitsscanfstrncatstrdupgettimeofdaymemsetsrandstrcmpfgetcfclosestderrfputcftimefopen_IO_putc_IO_stdin_used__libc_start_mainstrchrfputsvfprintffreeGCC_3.0GLIBC_2.0GLIBC_2.1GLIBC_2.1.3CXXABI_1.2GLIBCPP_3.2 P&y ~ ii @ii si ii үkr)D l` p  *$ +( ,0 -@ YH _X f` g ą ȅ ̅ Ѕ ԅ ؅ ܅                  $ ( , 0 4  8 !< "@ #D $H %L &P 'T (X )\ .` /d 0h 1l 2p 3t 4x 5| 6 7 8 9 : ; < = > ? @ A B C D E F GĆ HȆ Ĭ JІ KԆ L؆ M܆ N O P Q R S T U V W X Z [ \ ] ` a b$ c( e, h0 i4 j8 k< m@ nUQ5 % % h%ą h%ȅ h%̅ h%Ѕ h %ԅ h(%؅ h0%܅ h8p% h@`% hHP% hP@% hX0% h` % hh% hp% hx% h% h% h% h% h% h% h% hp% h`%$ hP%( h@%, h0%0 h %4 h%8 h%< h%@ h%D h%H h%L h%P h %T h(%X h0%\ h8p%` h@`%d hHP%h hP@%l hX0%p h` %t hh%x hp%| hx% h% h% h% h% h% h% h% hp% h`% hP% h@% h0% h % h% h% h% h%Ć h%Ȇ h%̆ h%І h %Ԇ h(%؆ h0%܆ h8p% h@`% hHP% hP@% hX0% h` % hh% hp% hx% h% h% h% h% h% h% h% hp% h`%$ hP%( h@%, h0%0 h %4 h%8 h%< h%@ h1^PTRh(hQVhTUSP["tЋ]ÐU= u)p tp ҡp u ÉU tt h `ÐU} tÍv}u h  hp jhUWVS }nE EEEEEEEpuEE9EE#M E޿1EE9EEEEEE}u$}u}u}u}u }uE h(0 jE} 4S@E }k}P}}}}uqE9E~Ju 4SiY^EM 4Shu 1e[^_à S"$8v5$ SUjXZ5$ Sh뷃jSz|jSxcjStuFjSU0=%t]=%0*hh [_ZhP=/t=[hɖŃh֖뻃h뱃 S4jSEi~h h Y[hP=v޿uEE9EEtEu ޿uEE9EEt}E ޿uE]9]E^EM ޿uEE9EE1uE ޿  1EEE9E҉t S VUE  UhjÐU} tÍv}u h  hp jhxUuu u5p bÐUWVSjE]؃0SP蠂 jEXSP舂 jESPp jU¨SRU jMSQ:Eƀ0]0Dǃ0$蠈DB@@@ }E$0L=p 4$ jh4 VDžHh Dž| DžH <$"XZWHP ju V\] E 0SQpt?Qj hV XZSWa\puSRO މǹÃ8EP uQPuF$UBB$]CC$C, @<<$P F0ЉtJ@@ uEH <@ SNp];BtJ@@ u㋅}G QG$$G(9}G$G(B9~ S|EPDžp\Džx |Q|t1SxVx|uыxDžpH9pƅwp|Bx9‰ld}PۉZl|:9l|lx9l|wu7p|xdH9‰pWw}O]@S9Љ|t |EPEP 4VUBB9&]C$CKB];~PQVu#}$k]0$0ǃ u$0fDž| DžH Džh $(ƅA $$][^h4 RzH<$e[^_à ju$0_}GuF,x< FRh`hFOx1;x}s|M4@A Q;Qtqt AA|xKuF$~|C;x|MAxkPPRQ[y؋M4@A Q;Q_VW1ɋ|x}G(A;x|勽G W9tt @V9{9t<ۉx2x*9Hhƅwe:x|xlWSIhlPu h@5( $xhSu hԍv PvE8XxM@ q8EHU ZHHP@ E䉝M܉U]wXf}O`EH`PH PEpxu ^p}܋p@ Hu]؉EVvuELXP@ E }pHL@ u܉M]؉EuuEPPX@ E MpxP@ u܉}]؉EtuETXP@ EEM؉]܉U }pHT@ Ft VFh4 W/ ”RDžHh DZtG}0pR8vu0@0@0D@ AjE0?{MY W(Dž| DžH Džh <$ƅA<$_Xh4 Q"H$dvUWVSjE]؃0SPt jEXSPt jESPt jU¨SRt jMSQftEƀ0]0Dǃ0$zDB@@@ }E$0L=p 4$ jh4 VDžHh Dž| DžH <$NXZWHP? ju V\] E 0SQpt?Vj hVLZYSW\puSR{ މǹÃ8EP uQPuF$UBB$]CC$C, @<<$P F0ЉtJ@@ uEH <@ Szp];BtJ@@ u㋅}G QG$$G(9}G$G(B9~ S|EPDžp\Džx |Q |t1SxVx|uыxDžpH9pƅwp|Bx9‰ld}PۉZl|:9l|lx9l|wu7p|xdH9‰pWw}O]@S9Љ|t |0uVEP R}G9‰G&]C$ CKBE;~SRVuM<<$u$0ۉ0dž U$0Dž| DžH Džh $(ƅA<$!$^_h4 QH$e[^_à j#U$0_]CuF,x< FRhhFOx1;x}s|M4@A Q;Qtqt AA|xKuF$~|C;x|MAxkPPRQk؋M4@A Q;Q_PW1ɋ|x}G(A;x|勽G W9tt @Vem9t<ۉx2x*9Hhƅw:x|xlPSIhlJPu h@5(  $hWu hԍv PvE8XxM@ q8EHU HZHP@ M܉U]؉E.iY}O`EH`PH PEpxu ^p}܋p@ Hu]؉Eh}ELXp@ E} PHL@ U܉M]؉EguEPPX@ E }pHP@ u܉M]؉E"g}ETXp@ EEM؉]܉u }PHT@ rf Vrh4 W[ ”RDžHh DrtG]0pRdh}0@0@0D@ BjE0kmMY S(Dž| DžH Džh h4$ƅA$1XZh4 WNH$vUWVS|MAnE1ۋP9SH)C9| MA]C,EH t?A@9t" ;C)PWUluN ڃ YSEHt>A@9t" C)ȃPQ lEHڃ qV}G$]C(M0]0CEj0kXEE}EuXxu؋p E]]܉}uMPH@ EEԋEM̉UЉEMU]ȉ}uĉ]uIcEE_}EuXxup E]̉]}uMPH@ EEċEMUEȉM܉U]}Љuԉ]ubE耉E}^E|Xxup E]̉]}uMPH@ EEċ|MUEȉM܉U]}Љuԉ]uIbEXE}w`Ex`x[uXp E]̉]}uMpPYpH@ EEċxMUEȉM܉U]}Љuԉ]uaE0E}Ew88Xxuȉup EY]̉]}uMHYHPH@ u]}Љuԉ]؉MUEEĉM܉Ueae[^_Ë}0pScu0@0@0@ C: P P Py Ph$ PW QF P3EPHEH PUWVS|MAnE1ۋP9SH)C9| MA]C,EH t?A@9t" ;C)PWguN ڃ YS^EHt>A@9t" C)ȃPQugEHڃ qV}G$]C(M0]0SEj0fEE}EuXxu؋p E]]܉}uMZHP@ EEԋEM̉UЉEMU]ȉ}uĉ]u^XEE}EuXxup E]̉]}uMPH@ EEċEMUEȉM܉U]}Љuԉ]u3^XE耉E}E|Xxup E]̉]}uMPH@ EEċ|MUEȉM܉U]}Љuԉ]u]XEXE}w`Ex`Xxup E]̉]}uMpPYpH@ EEċxMUEȉM܉U]}Љuԉ]u9]XE0E}Ew88Xxuȉup E]̉]}uMHYHPH@ u]}Љuԉ]؉MUEEĉM܉U\e[^_Ë}0pS_u0@0@0@ C: P P P P$ P Q PEPHEH PvUWVSE ؋uEEE E@FC+9EEUE ؅8@F EFMuJ^XC S9t CEMF, MF,<t1tERe[^_ËV1ۅt#xGF( FMC‹ hhh}Sݝ߼SVA% hhS趼XWV>$SV% hhS| WVP?YX$SV$ hhSM WV?XZ$SV$$jdvWVN@$h]V$F ڽ($hVk$( $F W<$$hVD$ F W<$$h&V&$~PWSV= h/hh}RݝxhQV# h/hhRCXWSVf=݅Xك EE݅h$PV^# h/hhRͺ WSV=YXh$QV(# h/hhP藺 WSV8>XZh$SV"F @PTvPV?[_$h9V"F ڽ$hKV"~XWSV; hahh}RݝhQV[" hahhRʹYWSV;݅Xك EkEU݅h$QV! hahhPT WSV-<XZh$RV! hahhQ WSV<ZYh$WVy!dt dָ`t `軸Xt X蠸Tt T腸Pt PjLt LOHt H4Dt D@t @_똉UWVSMQUR]Sj$UE;C(uB;~ S*1ɋs9}&{vuC1҃8tB<uA9|~Hu St+ SEt uϪ j hu%ϐUWVSuVB$ 貦E9EPE9E~e[^_ÃuhdžE쉆Ɔ4$wtwÉdžtF<t yӋ1҅t O‰҉u= h84$u j ϥEE;5(Phq*tx5F<t Qً1҅t Y‰҉ue*uh轧džEƆ4$;twÉdžtF<t QӋ1҅t O‰҉u= h4$u j 蓤E9E5Phqtx3F<t Q׋1҅t _‰҉uc*UWVS|u9EEF<tA9ىM~e[^_ÐQ}WUu RS1] U؃ 19‰EȉtB9E}}EBRURuW1]U 19‰EtB9E}uEBEMfExQxEPu}W]Dž|]0U U벉]MQ}WEu EPE]0 UUFUWVS\} uhjhV UEEEEjRV' ݝhh}hWEWV hhWXjEPV;(݅Xك EE݅$WV9 hhW讥 jMQV(Y[$WV  hhW耥 jEPV)XZ$WV hjhV hjhV %dž0%e[^_PA }W]@H$PH1F9dž}#F‹t@9؉} u苖9N F BtSG9% FtB9؉} <tv9 F BuvW) N)Ի)9ˉ2 Džhj"3hDžlh@h@h@ Džx$2xDž|x@x@x x@ hWSV_Fdž~#F‹t@9ȉ}u苖96 F Zɉ;FD@;F~ݝdžt F<t QӋ1҅t O‰҉ۉ{ PRhWEP+hU 19‰Et B9}B@D?`NjtXF<t QՋ1҅t y‰҉% jH H EPDhEtVN9^tB9ȉ} tBOY_QE+U 8VRu )QuE 8e[^_Ð+EtEEEuuu R)VPu{uUt]_P+] Sru VTuG)ЃuEwME4wqPR xՋE PsEqUWVSe[^_ V77߉RVu }W Eȉ΋R 9B} VR벍vRVMu Q E҉E xtދB9}׃ VRR뀐UWVS u }t#v W[X^jVtۉuލe[^_ÐUWVSE XۉEtdEEC@}UMEGRQEuEǃs9(uE+Ex"][uE]Ee[^_v[ ߐUWVS\M M;X9, UR]E}؋G@[M^E]@uSVEEEw9(uE+Exc}t=E؋P u# uPju uEe[^_ u]33אRuu }W EȋučvEMAEuC@}VWEE0{9(ÅuE+EGE>{ G@MEu@UVREEw89(uE+Ey ] up jSWuUu R EE @tڋ}@EuċC@UVRE*E0{9(ÅuE+EąyUWVS u }t#v WXZ^jVqۉuލe[^_ÐUE uÍ@U yqUE uE `qUE uÍ@U EqUWVSE +}9EtREt7uWo Wp uVoX ;T e[^_à h n뷉P T UE uÍU pUU1uÍv R Q)lUU1uÍv R QlUU1uÍv QkUS] uA9Ht7At‹@ t ‹@ u$ËQ;JuRB9tA ސUMU 9sÐUWVS } u;7UtEtkRWFË9tG;pt:sCC PSEGEe[^_Xv^X 봉F9rRW7F Ë;p uאUWVS E p}EEUwU1҅GudG)4PVSWOY AAVOQ FAAG Ge ] G Oe[^_Ð Pjƒ뉐 P/nGtPRFnGQk l V@nUWVS } u;7UtEtkRWFË9tG;pt:sCC PSEGEe[^_Xv^X 봉F9|RW3F Ë;p uאUWVSǃ H!ǃ$5>ǃ(&ǃ, .>ǃ0dyƃEǃ4=ǃhǃ>ǃhǃ>ǃ&ǃ .>ǃǃMbP?C8s<ǃ'ǃǃtj sKF|t P!Kdžt PKdžt PJdžt PJdžt PJdžt PJdžt PaJdžt PAJdžt P!Jdž@t PJdž@Dt PIdžDHt PIdžHLt PIdžLPt PIdžPt PaIdž1; Ct PICC ~hCt PHCCt PHCCt PHCC t PHC t SHG;Q t PvHdž $~ (t PLHdž(t t P#Hdžt PGdžt PGdžt PGdžt919}-t RGG9|Յt PXGdž VBGe[^_]ÍvUWVSE119} Fx 9|U$t P DM(u8hhhPhjjيE ǀ(C@u/C<h@hPhjj C@C@tK< IUNjr@C@Cv ǃtVuMP$1EUtE P.u/hEhPhjju ǃtMUNj󥋃(MtyAt PT.u.hhEphjj&u ǃtWUrP 0M~ Q@MtE P-u/hEhPhjjyt ǃtMUNj󥋃 P#-u2hhPhjjs ǃt UNj󥋃it P,u2hhPhjjjs ǃt UNj󥋃t P,u.hhhjjr ǃtRMP-ct P+u2hhPhjjdr ǃt UNj󥋃MA@EE9EUU܋}t u*Mu1hhuhjjqU M]S'u.hh<Shjjl džS'u0hh=Shjjl džuv|>'F|u0hh>uhjjFl F|[vu&u2hh?uhjjk dž tjUt)P&u:hEh@Phjjk džtSvP)&FPu3hhAPhjj,k FPA~,tBSv0%F0u,hhBShjjj F0tPvx%Fxu3hhCPhjjj FxEt"]S4%u7hEhDPhjj5j džGvS@$@u0hhEShjji dž@SD$Du0hhFShjji džDWI$u,hhGWhjjPi džet)P#uIh8hHPhjjh džfdž\ E*~,t"V0tE@9}V0@9|Ee[^_]ÐUWVSuENF9EiEp ~9E|ELvˉغgfff)ƒ2}2 p ҉F~9~VVF׉F(@GEtWv`"F`u,hhdWhjjg F`ZS~"u1hheShjjg džvtRS "u/hhfShjj'g džEt]Svl!Flu1hEhgPhjjf FlUSvd!Fdu.hhhShjjf FdvSvp@!Fpu.hhiShjjJf FpvSvh Fhu.hhjShjjf FhvS u0hhkShjje dž?Si u0hhlShjjpe dž]S u.hhmShjje džSu0hhnShjjd džWtVtGPou2hhoGPhjjsd džMtuv|F|u-hhpuhjj#d F|uu2hhquhjjc dž[tjUt)Pgu:hEhrPhjjbc džtSvD FDu3hhsPhjj c FD~,tBSv4F4u,hhtShjjb F4Jt^t#P`u7hhuPhjj`b dž]t"]Su7hEhvPhjjb džvS@@u0hhwShjja dž@7SDaDu0hhxShjjha džDt#SH Hu5hhyPhjj a džHSLLu,hhzShjj` džLFSPqPu<hh{Shjjx` džPfdž\ ER~,t"F4tMA9}F4A9|tMW9} A9|Ee[^_]UWVS E] x M U;J~ u hM~ }];{~"uh@ju_vUMJA 9~Ћ]SD }C ;E~E4N9‹E@@ER}2;] }J ;] ~rRvщΉ)ȅ9~6)ȅ.IU9};] }АA 9};] |;] u΋}9u9] t1EP ;U~U]CD; }S@I} 9<}Ee[^_]ÐUWVSvMEET9M;U tEEUX9E~ˍA] MT];YU BUM;Q~E]T9M)v];E ~ HETE9M~UBLƂBte[^_]ÐUWVSEEf]]fEw]1f}u p]EPhjSVP1@ǃǃǃǃj u9hhPh@jjO ǃtjPS u:hhPh@jjqO ǃvtjP u6hhPh@jjO ǃ[t!j 4hhh@jjN ǃt Px ǃt PX ǃt P8 ǃ P ǃrtPu9hhPhjjM ǃt%Pxu7hhPhjjvM ǃt%Pu7hhPhjjM ǃWvtPu9hhhjjL ǃfǃ\ 1Ct(j@P9ƋtuLChhPh@jjJL Dfǃ\ 1[EM\K9E؋u B9~DDUPe[^_]ÐUWVSl]ۋ}t]tS_~21Ʌty ttSW謐K΅t R=LJ GXG$WtG@PWu1MtT1;u_1ɋE9ЋUL \ W$DEL\F ;u|Z1G9M F9~19},G$WEE TED F9|닏tIG$9Ɖ~) DTTN9G$D?w FO9WDvBFO9~O GDUD҉E1;u(@EEME;WFO@]UD<tـE@t\G8E Ev UE_DFE ;u|1W9^MčI E E@t4W@4 <tE@t\G8Eă WF9~؋19ƉE}%W U _DF;u|݋WDtMċWGD O$GhD_dˋTW|G$W`GOQhjWGtDO,t G4OW$ XȋTۉ GLt)1O19}]M}9~F;u|@De[^_]UWVS UEBt&j@Pǃ1E] EuDUBhhPh@jjGEfǀ\ E}FU;r?RjuSE9uPhjuFEEfǀ\ut jjjWu 1҅J!U WVEe[^_]UWVSEEU M;Qu h@ju8F1]tu ~RS?t8Uz9}) Mvu 94u ExC9|ڋUJ9ˉ6rx} 9uE@tHv9~ HUJC9ˉ~π}t&]M TE ؉Ku }W$9vEx,t+HP4DUJdDT ىTuNhDT ىTNlDT ىTNpDT TًV|DDDV$C9j}t:] _9}1֋DT ىTC9|U M19}Eu~vM 9-U4DT ΉTA9~MyC9|]{u^ C9VDBECx9~Uz BD] LE)MuËV89}6[EI}w@<uE MCQ8 9|ڋ] u;^}Ov}WDD+EW`DT TD҉tDCE;X|P8+UMQ8ALƁI$II }uX9IETE13u}Tƍ1U }9tAECX9~ɋU] G;ZXMuF C;^~EX9+vڋuT;E ~ HXC9~޸e[^_]ÐUWVSE @ EEEU zyߋM IuE]tjCPU Bhh Ph@G]t#PE pdU Bu;hh PhjjdAM AeuCF9~+EK9U BRM҉|uEtj@PU BhMh Ph@K}t&UPM qU BuDhMh Phjj~@E @ ؋%]C;]EU)‹E)E|UtM A҉~E;P~Rh`ju @ MA` EuU BS$[vE HWىTU BC;]~M yqEE9E}b]7vـE@D T DމTL\K~DtEU9U|1ۅ~Shju)?Mt"]SM qU Bu5hEh Phjj>M ArSE p U B u0hh Shjj>M A ']C;]'U zrD\C;]~M y qEE9E}@M v9t4TTD\I~ D9}EU9U|EM A Ee[^_]UWVS$j$}juf}tÃu'hh j$h@jj= M f{u C)} 1 QhC_Zu PJf}EC CCCCC ~) u uVSuƃ Fu S1ۃe[^_]UWVS ]t Pǃu {t PuA{hh Phjjk< ǃfǃ\ 1|1ҋ{9}B{9|] E9}}CMvɋDˉT\I~DtE9}|e[^_]ÐUWVS]M ;KUQhjS;1KE@tC` fR$ft C`  s1{h݃Eut E@;KQhSEutɍ14ɀ,tRCd1EuWh@jS:=ـEt1EuKChƃظe[^_]ÉUWVS uf]}~yPhjS:1bu^ ǃ j( hh1 Phjj9 ǃ 9un҉yBtP ? u6hh8 Phjj=9 ǃ $Pu uWuPu S4 Eufǃ\ 1QM  @lj9N~& YC9B}Q;Uu~Nމe[^_]UWVS U ҋux 9~Rh@jVy81vu uEu/C9SVE~ DH9DEC9yVFhEu]vC9yVFhEu9Ey؉EEe[^_]UWVSQM U DE@K؋Uz1ۋ ~7v;M}r ;M~Z3 v։)̉)F9ދ };Mu;Mu9u;Mtx MA Z[^_]ÍvUWVS,M9NjU0҉UЅ~9~Whju61U D@;EfEx M9~WhjuU61vu uuBMA`M tw EC9bRu Su轗ffEtGvUB`M t5PQVRDÃ~#U D@fExfEEօtMG91e[^_]UWVS,EE׋E xU9E ~u hjuL5]K`] } u uE u u?9u׉VuSus]CE;~Svu 1x9~u hju41v] uJuu9U tn UC9XRuSu%ǃft?] t5PSVuÃ~!U D@4xDž] U DxB4ue}uf^~ uK~t~>Q4u )u~yNC~ xu1e[^_]ÉUWVS,] EۋuEx 9~Sh@jVK31F`MtuJu}U;VuhjV31vMWjuVtrUF` ;VuhjV2JF`Mt |F`U |ttlu Vf.uSE93M1t!EPuSVtC9É}~E DxAMЋRuSVELÃ~P~I؉ Uy}t/;]%MЍTMЋ;EPtC;]~e[^_]ÉUWVS,u }x 9~VhjWQ11/vG`MtuJu]t9;_uhjW1G`Ut |uNE9.U1tQuSW@tC9Éu~E D@E̋AMԋRuVWEÃGŰ9؉x 9~RhjW30vG`]uvu uu*9bPuSW͒uC;~Dv D@q9#|tDM9tC9u1th;]#UEԋM9TtDC;]U9u;]} E؋M̍E)؉ÍvBKuEEЋUe[^_]UWVS<]EE ]ЈExM9Ӊ~Shju.1vu uE9lfEx9~Whju|.1u uuB]C`M tw EC9bVu SuffEtGvUB`M t5SQVRlÃ~#U D@fExfEEt#u$EPuuuWu uEȃ MG9bU DpHMċ9DtDG9uO)9uRu SuE>PUtSuEMċE ;DuMډvQu Su_;};}|9]SEEE@tK}tChEt؀}u]CdEE^EЋEE؋]EE@tE$G;}REȍe[^_]ÍvUWVS ] fExU9É~Shju+1u uu> vMC9VuSufE@fv~9~ Shju|+M1 E D@fEDx7VU9ÉELtDC;]us1;u؅fEEDEC;]}2҉y;Et)҉y؋MAME@t؋؉Ѕy;Eu3CN~!y؋UBME@u؅~fEvf}tTMC;]!y؋UBME@t;] fEf}u f}fEEe[^_]UVSu] ;^ESh@jV)1WtOـE݆uEt'ڀEuɋ ݆EuEuً<tـEVd\VdE@u&uRjSV}BFdmdڀE@uـEuD?E@u+ـEuPjSV}ށmFd؃ظe[^]ÉUWVSUEBt)j@PǃM] MuIUBhh Ph@jj'Mfǁ\ EFE;p?PjuSE9uShiju'UEfǂ\MMt[EA9EEqT‰EÀ< tE@tE@9ЉE~KvEMQ9U8YTvE<tE@tE@9ЉE~؋UƂ WEe[^_]ÐUWVS uEF9E } u hj9E]uhPv]+] t PQEu/hh Phjj$& 1] E9Ë} UffUG?uFdDfuCNdTً<GECvfuZNdTً<uTGEVTE@t& pvؘPhjV%1v؉C;]؋Mt>1^89}.N@1ҋ;E |;E]+E L\^8G 9|ƆFtUt ue[^_]ÉUWVS ] ۋuxE ;F~u hjVe$1nv Vu1TM ;~5]SWu VƒxPF@RDU <tـE@ttF‹E UG;~~FRPjuFPU |G;<EE萋FHuSu ViƒxLF@RDU <tـE@tt^؋U FHUGFPU ;<ze[^_]ÐUWVSU ҋu}xE ;F~u h@jV" V_u1E EE;ViMM1ېuuu VUƒxXF@RDU <tE@t vɀtE苖F‹M ـE@tU\E EM;NYEFPU LAM; EE܋VHMuSu VyƒxLF@RDU <tـE@tt^؋U _EEFPUM ;pEe[^_]ÐUWVS,Ep^@$9ÉE(E@hEڋE)E} Ѝ lj}ߋE ـEt}GdEu9؋}E} E@CB;]~Ur^J$9yBhE)MЋM v}ـEt}GdEu+؋}EuoE@ucCA;]~tjFP<EuFUrhh Ph@jjYM fǁ\ 1vuv 9}GDEԍvMԋQ9‰E}[E@@MEЋދ}q)׉ER }Ћ} ߋ}L}4}ǃ Ju؋Ep CE9~fvUr 9TJDM؋}؋W?9}6Ep@)׍R } ߋL}ǃ JuEp CE9~Uz9JdRTuEuEtـEuE@u E@uEu؃ ujE@t_ڀE@tQ$uvE@t݃uE@u_ɐE@tڀE@uE@t؃$IXEuEuـE@l$]EUXZh@jd]uEكEu/$}UE mU]mE-$-}UE mU]mEy؅tɉHuɅy؍e[^]ÉUWVS}E;G_D]uV69}0M_@O)։ERu|\ Ju1ҋ9}2EMOE܋]]B]<9|EEu;wsGEPw$9_huv݇Euً ݇؋OdـEu ؋EE@t ЋEBE;Ut؋GP9D?B9~ƇƇ[^_]ÉUWVS<}EG9EEE_D]ȐuȋN69}0U_@W)ΉEIu|\ Iu1ɋ9}2EUWEċ]]A]<9|EuE9usOAG$9g_hƍv݇Euً ݇؋WdـEu A9~GEE]9]wDu̐E̋H09}3_@)ΉEIu|\ Iu鋇19E}.E܋w$E܋1DE<A;M|EE];_q1ɋW9GTv<A9~1ɋ9}&G$E؋ED<A9|1ɋG9Y_hE@t4؋Wd݇ـE@t4A9~؋t PkLJƇƇƇe[^_]ÐUWVS\EEEEU@(t, PMuJ]A(hhPhjju dž MQ$19]2D?F9~]S$uV$<EHMt PKEu5hhPhjj Ev}tU SEu5hMhPhjj E9v S諶EhhShjj ]؅t uLM܅t u7Uԅt u"]rd PǃI19ED?F9~EUR19ƉEVvMD]ltEDM]؉TF;u~EUJD]t;4v<UB@D88EuE@Ult5$}軸MًE`؋UJDmBMEtUڋMEu؋Uڋ]KDFE ;4C؋Ul19v]CUXUEuE@Ult9$}ǷMًE`؋UmFMEtUڋMEu؋Uڋ]F93EuE;pU1K Mt4]t4uEEE t~M T]ԉTUFB9~MltT1;}J ]C \Et4؋Ut4uMFA$]ԃ ;\| u藵_u莵uF$Uԃ PRV;EF\9Euuhjub1vMA`]t.ulu'EFUD?Mlu ؋]݃uNDEt;4ɋ]vS@DEuڀE@t\Ult/Ƀ$}}Pmmɋ]`KD$EtEtFU;4hً]19vU]EuE@tsUlt<$}}}蘴mmɋ]`m0vEtEuF9VɃ\$$uXMUJ]ˋ] tu]TuԉΉTEUB9EMA]ԃPQEuF9E5EUBMt4}蚳E]Cm9E~̅tP4$X$]E;p5ɍvUt4}}F;Mmȃ;qm~1];}?ɐUB$Mt t}}F]mȃ;m|ɋMtu$}貰mɃ }}uɱuƆƆmmE@t؃$Ӱ%`e[^_]ÍvUWVSEDžLt  Uǂ`~ Ri@u 1b vM1hjQ*DžPDžT]K9P9}Wd[hϋPE@uTP9P~҅yjhju19Uz,tB0t t8uSjhh   PMtPhôjuK]s8CPsh@jS($ |hjSThjSh jSDžTDžHs9T }OTȉPGdPـEݝ@tJffE݀XhE@݅@E@UtT~ QjPR螬T1ҿ~TE;X @DLIvThju~]S@ $I݅ L\ACDT; |ˋ]1ɋ9}8 $݅ TA 9|ԋuu}Fv9}Bt(9j}@P}uHwGh9h}Ph@jjEǀ 1NjTT؉]PKd[hTT݅@}TEɋTUZhfu$}P݇E@P}݇EhUB9}Bt(9j}@PkMuGqAh9h}Ph@jj|] ǃ1uNNjTEP)fDž<M19~jhjQ1uuB]C`t} v}C9eWVSuQff<.t@<9>~>0gO1ZvEـEtȷEEMuEuPuhW#ƃ ~AjEWÃt-C<-uCvCPSNj ~ <+t<0t зEÈ@s) uuKShW蚎ƃ iuuhŵW{ƃ ~L 4~FG <. t@<9G ~#G 0vN~><.t@<9>~>0 1O-O Sj Wu蹍e[^_]ÉUWVSLuENt PqEu?NhhPhjjA fdž\ EF,E EV9U؉UF4EUM1҅EtMy t}]81Ivu;]}kU؅tdUtLtF}1҅tM̋y tu&M}Qj02萊1҅J!UC;]}}؅uE]9] ]؅M؅u F,ERE6h̵u _Xhu 1ՇE;~]u hGvFdUE@t#<t hh hu `UQxU;V~uhjV=1;~,tF0Mt t8uPuhh s Phڵu E];^hu ˆEV9U1Ʌt}y tx9U}uhjVq1F`Ut EuSuh@u ;EM;NuhjV1F`]u+EEU)JuQuhu ؅EU~ E1;F~,uhjVUDGN9~FD]|9}zF@Eȍ)Eĉ׉Uȋ EĀ<DtE@tUʀtE䋖F E؃ Ou؋N19˿UـE@) ut p $h h x;^~ShjV15~,tF0t t8uPShh  MP~U;V~uhjV(1:~,tF4Mt t8uRuhh _ Phu ك ut p $h h x;^~ShjV17v~,tF0t t8uPShh ȇ PhNu BNC9;uh& u VE9UUEEU)JuQuhu hu тEN9l FTUـE@8t 4ЋU<t)u $h USxM;N~uhjV01:~,tF0Ut t8uPuhh g Ph ~v $h ,MSxM;N~uhjV1;~,tF0Ut t8uRuhh  PhNu aNE9Muh& u 7N9EE EVd݆ـE@tE@t$ؐFhUE@tـE@PE܅t h9u }苀Emt U4и)u~ $h MSxM;N~uhjV+19~,tF0Ut t8uRuhh c PhA~v $h (ESxM;N~uhjV1;~,tF0Ut t8uQuhh  PhNu ]NE9M7uh& u 3NY]E^$9]PNU䋆)1ty t])ˋ}NhـE@'Vd݆E$ـE@;^Sh@jVt1Vd F`M䀾t ȋU܅t hZu }#~Em $h ^h U+V~;V~RhjV16~,tF4t t8uPRhh  Phb؋Vd݆v݆Nh}È@؋}܅thZu 4}ESU+V~;V~RhjV 15~,tF4t t8uQRhh H Ph|MEt4;^Sh@jV1 F`NVdM䀾t݆ـEu ȋE܅t hZu }6|Em;^Sh@jV}1m F`=;^ShjV}1m F`FdU݆Eu $h h U+V~;V~RhjVf17v~,tF4t t8uWRhh  PhSU+V~;V~RhjV15~,tF4t t8uQRhh 8 PhwFdU݆Eu $h h U+V~;V~RhjVb17v~,tF4t t8uPRhh ~ Ph¶WU+V~;V~RhjV15~,tF4t t8uSRhh 4~ Phܶv $h h U+V~;V~RhjV14~,tF4t t8uQRhh } Phu 6yNhUـE@?t ЋU܅t#hZu }xENhm݆UE@tz $h h U+V~;V~RhjV16~,tF4t t8uPRhh | Ph bWU+V~;V~RhjV$15~,tF4t t8uSRhh `| Ph&u w؋^$E9]EE1;QM܅th<u wE M@$h h  ]p @PhAu 6w } ;X M@Rt4h Uh  }@~;V~RhjV̾15~,tF4t t8uPRhh { Ph]u v MC;X QE];hwu Gv_uzE׈F,E؍e[^_]ÉUESU ]M $ÍvU}'uE p ]ÉUhjju ur ÐUERuuuu P_ UWVS u;^} 1vPt4SjV^ u1 C;^~Ҹe[^_]ÐUWVSEE]fEEUBt)j@PxǃE] EuHUBhh-Ph@jj̼EE fǀ\ FU;r?PjuSsE9uVhju|EEfǀ\]܅t% uuEPWub 1҅J!U܃ WxE܍e[^_]ÍvU ju uhUWVSEE]fEEUBt)j@PwǃE] EuHUBhhPh@jj蔻Efǀ\ EFU;r?PjuSqrE9uQhܳjuDEEfǀ\U܅t% uuEPWuhj 1҅J!U܃ WvE܍e[^_]ÍvUjjju uo U ju uQtUUE ,]ÍvUE,]ÐUVSM ];KE Qh]v݃ـEutC4€,tOsCh1ـEuRhjS 15vCd1ـEuKCdƃظe[^]ÍvUVSM ];KE QhYv݃EutC4€,t[sCd1EuQh@jSB1DvـEtCh1EuKChƃظe[^]USSM] ;YEEShjQĸ1ptG݁EuʉA4ـEuA4ɋA؋QhƁ‹Qd¸]UWVS M] ;Yu}ShjQ1xt5QAh݁ـEut t5QڋAd݁ـEut e[^_]ÐUMU ;QERhjQl1%t ЋAdƁиÉUMU ;QERh@jQ1%t ЋAhƁиÉUSPMU ;Q]RhjQ迶1QA`t |ft4A` |ttlu Qs]ÉUEU ;PRhjP=1@`ÉUEU ;PRh@jP1 @`ÍvUUE fB]ÐUE@]UUE ]ÍvUE]ÉUUE B]ÉUE@]UUE B]ÉUE@]UUE fB]ÐUE@]UUE B ]ÉUE@ ]UUE B ]ÉUE@ ]UUE B ]ÉUE@ ]UUE ]ÍvUE]ÉUUE ]ÍvUE]ÐUME U]ÉUE݀]ÉUME U]ÉUE݀]ÉUUE ]ÍvUE]ÐUWVS Eu} fE;~WhjV1f}Ft Plu9hhvhjj諳 džfdž\ 1/1;^}B;V|ÊEDe[^_]ÉUSR]U ;SRhjS6"tЀxu @]ÍvUWVS ]݃݃EE @uݓ݃tE@uU}utx1ҋC$9AKh݃E@u ݃{dE@uB9~ݛ [^_]ÉUE݀]ÉUME U]ÉUE݀]ÉUME U$ ]ÉUE݀ ]ÉUME U,(]ÉUE݀(]ÉUME U40]ÉUE݀0]ÉUUE l]ÍvUEl]ÐUUE m]ÍvUEm]ÐUUE n]ÍvUEn]ÐUUE o]ÍvUEo]ÐUUE p]ÍvUEp]ÐUME Uxt]ÉUE݀t]ÉUE ـÈ@Us ݚvǂǂ]UE݀]ÉUUE f]ÉUE]ÐUME U]ÉUE݀]ÉUME U]ÉUE݀]ÉUE]ÉUE]ÉUE]ÉUExtuQhjP臯ÉUWVExt} uVhjPU1"pHe^_]ÐUUztM uPh jR1tBDÉUWVExt} uRh`jP1He^_]ÍvUExtU uQhjPt1t ÉUWVS Ext} U]uSh jP+1TtH$tH$@׃tH$D߃e[^_]UVSUztM ]uuVh`jR裭12t t @t De[^]ÍvUWVExt} UuWhjP>1G`Ut2VRSWfƃ~ D@fExfEEe[^_]ÉUSREPuu ]S`=x S@@D]ÐUE1ɅU ty t]ÍvUWVS U ҋu}x 9~RhjVF`u yu uu&9[PWSVuC;~? D@q9 LtD98tC9u1e[^_]UVS]u CT<t,VS}݃mtt4؍e[^]ÐUVS]u CT<t0VS}#݃mu逻t 4e[^]ÍvUWVSNu9hhPhjj8 ǃet)PMuFhhPhjjђ ǃfǃ\ 1v]ÉUWVSEEH19ϋU  vMDG9~]Ku<td9~L)ʋFD|9}')^@׍4v 3D3E OuU݂M)]D?~9~hu)ʋFD|9}BF@E)4אE0EMT1D1]M OىTuӋ]݃uEDUmJt P@JEu3]Khh>Phjj EEtuN }u}tE40uPu-ut uLUfǂ\ EnuNjvUBx9E M<)uFD4|E@@9}%)JM, Ou؋uNC9ˉ~E40uPOu EUJ9ΐEEuC9~U݂0EuHzt$hjR艏U Jػ9vuދEC9~؃ u-K&U40uR1҅J!UEe[^_]ÍvUWVSLE }ȉEԋuVUԋ<}@݆ɉـE@t8G;|WV؋^DE DE܋U ;@EN@Eu;݆E@t%]TDX;UtG]F@TDTG;|&WV(u1ED}^DE܃E U܋E ;GM m苆IV\,]E<U9}>EċN\E]ċ@] ,]BE9<|؋FxM]ԋF|F|U9}mB9|Ge[^_]ÐUWVSEDžDžDžDžDžDžf\fǀ\~E EPSEEP<$UEܢڢEu fǂ\UtRЃ1t Mfǁ\uttRjVЃ}f\t1"Efxf\t2UB\(]Ѓ E$h@jR耋 ]KtjAPGu;KhhtPh@jj1 Dž?vuNtjAPFu:NhhuPh@jjЊ Dž}OtjAPSFu:OhhvPh@jjp Dž~EHt!jAPEu:UJhhwAPh@jj DžvMYt!jCPEu:u^hhxCPh@jj豉 Džv}OtjAP3Eu6OhhyPh@jjP DžaEXt%jCPDUZhhzPh@jj DžMfǁ\ t jDt Dt jDt ODt 4Dt D` CJ EP@EP<$]EݛDžK9#7GEH9~Dž1ҋ];S}%v7GE;x|HDžEƀƀfǀ\"vUƂƂfǂ\ e[^_]ÍvUWVS,u݆E8}ȻN19XEE@+E݆uEtNـEu<ـ~ R]E$h@jVq EuV\[,?FxFl݆EuًV\[, v}E݆0uEtvـEuU*ـEuu :ߋNC9؅9UE@Eu V\[,=FxFl݆EuًV\[, v}E݆0uEtvـEuU*ـEuu :ߋNC9"؅FlU ݆E@t ƆƆfdž\CUu9~9~:U MV\M Fl* :ƆƆE݆(u}UBB*]E$hjVRnFxFlt4ЋV\,]mEɃ]$EW$WhjV n0~Ɔ~ tEt4WhjVm e[^_]ÉUWVS,M 1ɋ]t;CxClЋC\I,ـEt ؍I, ݃݃ ݃(ɋC19E}oCxS\EClEvAEu *ـEt*EuEuـot ;M|؀{ t|~cS\,]E$Wh jSlCxCl݃ـE u.$h`jS|l vQhjSfl؍e[^_]ÐUWVS\EUƂ1B9*MD]DG9~׋uF?E UD?M1EԋUȉ]ȋ3NEԋE܋KUԍU9E4ʍvEE AE ʃE9~ËUE܊0uEtـEuʋU܋MрE]݃(uEtـEuًU܋MOm؋]S9vu^F|<݆EFDL4EI@@9}5)ΉBu ɋu ̃ IuɋE݀0EuڀEtڀEuʋUڀEM݁(uEtـEuًUڋMQG9؋]Cxu v4ClK\E,Eu1ҹ1ҹ?EuF$9݆E <7tUM]mE EUM]mEE@|<EE<7tE EPh@jj\b EMfǁ\ Eufdž\ vvEfǀ\ƀƀǀǀDžlݝx݀0ݝpEf\EvEotQ@\(]Eܥx݅pEuE}2~!EƀoUB\(ݝxEMƁƁSuEPQǃRuWutuEPWu=luvDU;|PR1҅Mq19Cv;lt/EE@tM؋qCB9~؋uluًEC\UtK PPEPBlt4EPWlR3uf\0fU~8 EPEP$M5EܡP4$Xu;}(H~/-uU u UƂMfytPhjQ_ u;uf\ȍBff E(,ƅkpG9\EP\,`d݅`ڀEtUBxE@lEuƅkkuUfǂ\ M u~B EPEP$5EܦڦEu fdž\UtRЃ1t Mfǁ\uf\}t uut uj]t uUEe[^_]ÍvUWVSuEEEDž|Džxݝ`~ tRh1jV]F$tj@PEu7F$hhPh@jj\ EF$tj@PT|u7F$hhPh@jjq\ Dž|hFTt"j@PxuuFThThPh@jj\ Džxfdž\ x jDžxxvfdž\ƆƆdždžEF9EXj^DK;I9}V@<uDA 9݆ـEuFݞXEX9U~~ t hIjVZ Dž\ݝpE݆0ݝh1f\EotMF\(]Eܥp݅hEuE}2~ƆoF\(ݝpEƆƆ}u&uVzǃuEt }E u|EPWV \_SxPVE}ud}tjxـEuRًMɉ}t݅`Eu ݝ`}ƆvxxE@EEuYWh`jV3YƆuRhjVYPhjVXfdž\FTT;| RV1҅FT1;TF9t5xE@t؋FCTB;T~؋IV\,ـEtFxFlEu1؄~ tPhUjVTEPVcf\fG݆(E~A9@IV\,ـEtFxFlEuE؀}~ t#}ȅ~ Sh  vQhmjVNS}WV8f\f WVf\fup݆(E~A9@IV\,ـEtFxFlEuE؀}ufdž\f uẼ} ~ Rh@=PhRf tftfuY}ą~RE;uGEȃ} ~ShjV5Rfdž\,vQhjVRfdž\f\e[^_]UWVSlUEB9E#vMDA9M~]CTK6y}܋C$9'ӋUJpvu F9Ɖu~}OE9M܉MUE@xE U܋}4;u~*E}@\, ]EOE܃ 9M܉M~AE܋]S$9J[|vu܀<u-}<uWl W$E9U~‹EHE]S 9U?EԐ]؍ }ـE@tuE@DEЋDE܋u;}] }Ou܋EvX@4M4|E܋E܋}؋U;|؋]KS E9U_؋uNy}܋^$9.EHpv}܋TTG9߉}~EHE9M܉CUzx U܋49~!MA\,]EuNE܃ 9M܉~ȍy}܋EP$9?H|]܀< u$u<uFlڋV$E9U~ˋ}OEEP 9UE]؍ }ـE@t]u^DE؋DE܋u;}E Evu܋UvJ@LFu܋};4|؋EHP E9UwE9M]Eu݆ uEt+vEuB]Kvu}܀<trNE܃9M~؋E݀݀TUM|PE;Yu܃u؋}V}u豖UMȃ$}Ym]݃Et-`Euظ1ujSujuـEuEUMt4}A ]u؋$m݃ݛE܋}܋E;xe[^_]ÉUWVSLE.B?MA$9DF9~EEȋU݂0E}ĉEJUWuM;U uB ƃ;U~E@t6EuEtـEuˋUM]MċEăX؋}W9OE̋]C|}̀<usCDT<9}7E[@)׉ER  D } ǃ Ju EEUtM̋]ˋ}WOF9o vEH9lUZ|<t"MD}O6E8u$UE@t JF9~؋Mt ];s$v}vt3E;pM ]4}ـE݇(uEt#vEuDFU;r$W؃L[^_]ÐUWVS]EStjBPPEu>ShhPh@jjpH fǃ\ E݃݃0S9xM؃E E ـEuEt(EC\U,]EÈ@s$ـEuEuuEuEu؋CxClEu}C\U,1]EÈ@s!EuEuu"EuEu؋SFE E 9<u9<u9ـEuÈ@rÈ@9E EEuEtEuxC\,]EuEu؋CxClEu0C\U,E4]EuEu؋SFE 9IE@t;t;{ 4 @Ë@E@t9t;{ 4 DʋDS9~yE@tV<u Cl,ClEu EuًCpt v)ЋPG;{$fC|<RuWS}}}}۽xQmmmmۭxE؃ uE܍e[^_]UWVSUEB9EMuDA9M~E }D?EEE}EU7NEEOUU9EEEA ЃE9~EU݂0uEtـEuًMUMM`EuV9U}]_G|<GDU4LIG@9})ΉuJ IuE}݇0uEtـEuًUڋMQE9U^؃[^_]UWVSEEEEX$tjCP:Eu8UZ$hh7 Ph@jjWA EMQt P-Eu7]Shh8 Phjj@ EYu^$tjCPE^$hh9 Ph@jj@ EEfǀ\ }ąt jXu̅t uC]ȅt u.E vEUB$9EMԋ]DA9M~uF?E݀0EE}EUITWMu;T 3EB ;T~E@t7EuEtـEuˋMT]MMIEuV9UlvE}x@|<uKUBDMԋT49})EX@)֍R  D u ƃ JuEMQE9U~Eu^$9]dUԋMȋE݀(EuEt'EuUԋMDu^$E9]~RujuqE݀0݀ɺ]E;PU]Kuԍ<C|<ulEȀt UBlE@<tًUԋM]ԋu,]v9]Cx9xtˉB99Rt4}UE mU]mEP+^ShjV# ؋U u E]܉8@U E8G;~E܍e[^_]ÍvUWVS]U@;~hS&M tK {XsTU tK$ {lu ClE EtK$ {pu vCpE} t@C$V@Pus|C$ @PuK {xufEEC <wf};{dr݃V $݃ E^uSCp؉CSl݃Eu@bdr݃V $݃ E^uSClG;{UƃEES9UMKCpE@Sl݃ـEu ؋CDTUL; }DCX{@TdIULd,AEu ; |؋SE9UO؃ Sf\Bfvf ufUƃfEfwf} l SMfEQfHK$ {lu K$ {puK {XsTES9UMKCpE@Sl݃ـEu ؋CDTUL; }DCX{@TdIULd,AEu ; |؋SE9UO؃ SHf\Bfvf ufU ƃSfE1f}uIhjSC t}U u vtPh jS9fEf f} u f}tVf}u Wh5vf}u Vhʸ#M A f}ݸtPhjS S'XZhSz!$V0|ЉE ȉET~P p0hjSh jSttWjSЃt%݃EE&݃*EE}Eu )݃0È@sEu~O}uI}uCr2q1hjShjSvEECEEEE ~EPSE~Eu~'Uąu PjEPSEH!E~E}|~(Mąu$EPEPu uEPSE MăX\}ĉׅ6EE+CPS9eteMȃ$۽hۭh݃Et-`Euظ1uOy u݃;u];sVhjS1t|WSfdCƒ$۽h ۭh݃Et-`Euظ1u8QWjSztEـEu {}]F;uvB<ݝxu ݝxt Eċu;uR;sVhjS1t|WS.cCƒ$۽hۭh݃Et-`Euظ1REPCt4PEuيu!݅xEuB{}ݝx6݅xـEu{}ݝxuEHE~F;uP}p0uPhjSGuă tqU t4Q+CPSqs Ph@Sh6S uu SuXZjEPuuu S9fE hFS>}%d~`9 v`K$@ `ltQ;sGVS`t0CƒP$CF;s~ S$4t S,u fE !{ t{t S&$&WhSЃ}{ǃ`u f{~{{uu)‹R $݃ZuVp0hQp0hjS tdU~]@t5)‹R $݃ZuPj@tWhSփK$ ltT;sJvVS^t0CƒP$CF;s~ S$,t S$u fE { t{t S$$$pud݃t݃E@tOtEu ƃ؄u'݃tEu ƃ؃`u;u~4du+ܫ݃ EuƃEe[^_]ÉUWVSxE؋uP1ҹ@@UMEPE<$E[_oݞdždždžVM1ff\7 V~L EP%1ҹ@@UMEPE<$EܦڦEu fdž\tVЃ1t2fdž\)f\fufdž\ vf\fI VB|~B EPUEP<$EܦڦEu fdž\tVЃ1t fdž\f\݆ݖt!݆E@u؋Qv݆لu8MUEـE@u؋H ~tdžuX1ۋF9vF|FxFC9~XF$9F|F$C9~19vC;^$~FtƆƆPjvxv|vhvdV{ t V&1f^tDt@p0hjV ~Ph`jVzf\(~u~ tShjVRfdž\t Vc& EPEP<$EݞEo\e[^_]ÉUWVSEE ]EEEEEEfǀ\PuUf\f^^ MI Mы]Ct P\Eu6ChhHPhjj, E }Gtj@PEu7GhhIPh@jj EEt#jWEu=UhhJPh@jjq ERMA$tj@PEu;]C$hhKPh@jj Ev}Gt PEu0GhhLPhjj EMtEH px}UtxUB$t @PsEu-MA$hhM@PhjjF EEt]C$W@Pu.u}fLJ^ ]t uMt uUt uEąt u}ȅt u~u̅t uiU^ vSuju]Et݀EU]]u%MEUEu]EUEfǀ^UEEEE19}DF9|Mf^vEܾ];s}̋E1ɋ9}BEEUEv}ۋE tA9|U$Vju۽xdM ۭxFM;qnMԅW]19} F9|}nEPuu$uuuuhjW۽h1 0;ۭh}mUt4Mt4Vh_jR۽hFI ] ;ۭh|n.}f\f^E vUnلt!My$ Q۽h;ۭh u۽h]f\BC fۭhf nt"{$؃ SU$ۭh}G9ֳ}Ox]9Ft9|۾t'}W$9}]8Ft9|uH}G$R@Pu۽hO wx}E ]ۭhEnt. PU\Ph|jR۽h ۭhMf\fuS؀n;q ]t4hjuF?} ;w~f\ft ftfu Uf^M19؋Y}EMTMĉT9QE@DELDULUA9~MF;ux19E] $PT݅PH<u:PT݅PEEuEt }EuEF;H}}t؀}EEɋMUQ9'A]FE9]~}tMEEEu6]$9uET]TF9~R؉EEـE]Ex$9T]TF9~E}Ent5Ƀ uuhjP۽h۽X ۭXۭhEUBEـE@u.EgfffEE)9U~U܉U ]t3}EـEt],EEEt]EEe݀ۀEuـEtvـEu Ufǂ^E Me1M9}J] <tEuDF9|؋U9Uu&Mf^fu 1}f^ ]f^f؋}f\"؋Ef\؋Mf\؍Bfff ]1K$9}TTF9~E19}%vUutF9|޾vFM;q7j]t4VjQk u؋}f\f^EEԅt0Et EݘEEݘ E}ԅt\UEf^B uuh jRk&Mp0uh`jQC ua u^u[uYuZuXuڽ]^e[^_]ÐUUE ;BPhjR1tDUWVSEEEE}EUIM܋WMu;U 3E B ;U~E@t6EuEtـEuˋU܋Mu M]X؃[^_]ÉUWVS U ҋ}ux 9~Rh@jWsG`u gau uu&9CPVSWuC;~' DP9 94tC9~1e[^_]UVSuME Ut u+tf9F|JSRQ5( CZY5( j (f9F|#PRQS۶ SVe[1^]ÉUWVS }p u $ p wEE E@ءp u $ p Sh5p 1&Å~6h5p KԶvh5p 赶h5p 蟶EYt \$+GPWY Ph&E@؋p u $ p Ph5p #1)Å~9vh5p Kvh5p ٵh5p õE[t \$+GPWX Ph/5p 胵E ݇E@ p u $ p Rh5p 71)Å~9vh5p K vh5p h5p ״XE t \$+GPWW Ph85p 藴 F;w$Be[^_]ÉUSR]{p u $ p u $ p Ph5p 61(Å~8h5p K vh5p h5p ׳ EPu 5p BY[5p j ]ÍvUWVSEEp u $ p UJRBtjPEu9]KShAhPh@jj& }EUB 9EfJDMUZ9}DMIMMA@EE)ڍ[y@4ӉM 7D7E KuUB EE9E~PM1hI5p 莲^_hZ5p |E;X,SuU Phe5p LCU;Z~ԋMthhl5p !1ۋE;XMQ؋M‹TRPhx5p ܱCE;X|Zh}5p 蹱1ۋU;Z}8MQ‹Ut4hx5p 耱CM;Y|ȃh& 5p aEE;X/uuS Ph5p "1ۋU;Z}[MA@UEЋU<tـE@t$hx5p ưCE;X|UBdME@t"<t hh h 5p iUBTMȋ<tـE@t$h5p $UBhMـE@tFBTȋ u p$uRh5p ¯ ؋UBdM݂ـE@tXـE@tFBT$ȋ u p$uRh5p F ؃h& 5p ,EEU;BE1ɋ];vSuh5p (UMt4hx5p 躮CE;X~΋UBdM݂E@uD<u hvu huh 5p MUMt4h5p 'E]E;h5p EM;QEuuv?t h h5p 豭E]E;X~h5p 荭EM;Q`]UK Sd݃E@u h] t4hx5p 'EEU;B~h5p E*UEBRht4hx5p ѬEM];K~̃h& 5p 譬Yu脰p Ee[^_]靬UVS5p ]u $ p h5p ]ZYh`5p K;sbVSVuI Pt4Lt4Ht4PVSMO Ph5p 0F;s~h5p ɫY^h5p 跫KʉоC99~)PSJVu^K Dt4@t4t94 RVSM P)PSN Ph75p (0SFC9Ɖvp Ee[^]vUWVSp ۋ}u $ p G$tj@PxEu:G$hAh(Ph@jj fLJ\ 1Qh& 5p qZYhy5p _OW lG|<u_9P.EGdE@t<u )򋇀<uRh5p OWC 9ÉΉU~h& 5p ĩOA9`E v9XS_x9-GdрEO@t<u )ʉы<uQh vh5p 5Qu1;wH!PWpOW 9UvG|<uAE؋<u p9~ p$h5p èOWC 9~9΋G\E(];wE~u p$h5p vXZh& 5p dE OFA9}t ue[^_]Up u $ p Ep0h5p UVS p ɋ]u $ p h5p ;sKVSjRu4 Ct4RVSJ Ph5p r F;s~p Ee[^]fUVSp ҋuu $ p h 5p %;^5 t4PSVhI Ph5p C ;^~ˡp Ee[^]UVS p ɋuu $ p hT5p 蔦NʉЃ1Fxqv9~؃)PV.QuFN t94 RSVHP)PVI Phe5p $ VCF9É~p Ee[^]vUSPp ]t;( t P u( p vhSp p 1]UWVS }p u $ p wF;w$p u $ p Sh5p :1(Å~8h5p Kvh5p h5p ۤYt4R+GPWH Ph5p F諤 ;w$;e[^_]ÍvU p u $ p 5p u9UWVS } 1ۅtY]1Ҁ;wt"‰сt 11C;u߉1t3ut[ue[^_]ÍvUWVSuuVsÃ@ExE>t,U‰сUt 11ʉUC;uփE1jjU$Ãu#hXjUjh@jjQ 1At Q%u@hXjV1QhjjSƦ1ۃUvV3MU ɉStMEMCEPuXUB tX MY e[^_]UWVS4u^jjǃuhXj jh@jjE StjSu8hXj Ph@jjW٥1_td^t]Wjs3u@wt v 3蕥$荥u 7|<$t1 [ ue[^_]ÍvUVSjjuÃuhXj jh@jjA StjVݤu8hXj Ph@jjSդ1ۃse[^]UWVS }wt v 3蝤$蕤u 7脤}e[^_]rUWVSuu}R2Ã۸Quu uHـE@u}ugIXZuu]I]mt]u u}p?UM <mtP؃QR}>]U֋UE݂mEmuuى]uEfvɃu u}}>E݀mEmu]]uv]u]ـEu]uE]EUÉփu2]uEEEu]ɋEUÉU ME]uEـEE݀0EEˀtـEuUMUΉiEu]uE]]u]uEEu+E]ɋ]uUUE։ÁOuEEE UEu[EuOEU݂0Eu7EuEuE ًE ]uEEE^Eܠ0EEEكuu}t.mt؃VS螡]EUÉmU݂EEBDEЋU|;<M݁vEP@E EEuqEDU<tـE@tUtEEBU ]uEeɋEȋE@DEGUM;<L؉]u] E݀ـE4U܂0EEuR}-mt$輝E݀EEE@DEЋU|;<M݁v]4S@E 2ـEua<D2tـE@tUtE]C eɋEȋE@DEGUM;<Z]؋] ؋UԋE 9EEEuEEe݀0Et# uu hju bE]؋Ex ufx~!uuuuuh@ju uuuuuu( ظe[^_]ÍvUWVSlEEEEfEx u Uz z uztMhjQ)EEEE1;EPVuHE~.P VuJBPVhjuCfE FU;~MYA9}Ãtj@P0Eu:UBhhPh@jjM EMAtj@P՛Eu;UBhhPh@jj EvtjCP}Eu/hhPh@jj EXMAt j@P-EUBhhPh@jjF EUąt j Eȅt u}̅t uuЅt u̚Mfǁ\ /vEP 9@D\;[EUB@M4D<tـE@tUtMA EUB@MDEu U vMWu} ?EȋU݂Emu(u ؋UMكWu}>E݀UEmuIÈ@s 6كWu}}8'mmuU؃E MCAD;Q G9dEEx~evU;z  BDT9uIM~'RWjQ>tWh juPjWuLEEOEpVu6ÃfVu3EȋMʋUEܢuEtovEu^Vh`ju}ăt uuȅt uЗ]̅t u軗MЅfVu2EȋMʀEU܂uEtvEuqVhjuaUăt u,Eȅt u}̅t uuЅ7 u$UЋF9Ɖu|EE9E p =H ME]U1;\ t\1];t}OEEىED ];})EċEģp ]ED F;t|EuԃEP9u{=h E9}}̉} p  L E1v|9t2E1E;t9p }UF;t|EuЃ9u|EEȣp EEE9E}"p ]}<tBE9E|p p p +p 9Et! h Zh p ỦEȋ p )M̋5p )űE9Et h` +=p +=p 9=p  p '< Wp KY[hu@ XZhu؍ 5 hu_Xhu賍[^hI u褍E 9MC=H @ MPEvu1;t^t1EEu0DE D ME 9M|E9MM=H 1;Lu1ɉUUܐT{Et,=H ;tu;uDtp]EtSPh@Z; ]<hu8 uZe[^_É멋EE@ = @VPhuEX끋EE5@ 0 W@Phu誋EXE h_=H EX@ ] R@PhuP@ } Q@PhЋEEU|| S1,;= EE}_=H 1ҍvM1;LEE]<p ]up EEP; |p 9p t) h 5p 5p h3hu Y[h`uXZh u^_huY[h4up P PhLu蹉h u詉 5 hu蓉 5 hYu}XZh`un^_huu_1҃; EEEE]=  ۍAuSPhzu =H ]u1;\7EEM<U}PQPhu衈h& u莈EEEP; 5huue^_huVY[huGXZhu8E 9M}lvUEtS5 U y҉u֍SVPhuȇ E9M|hu觇^_hu蘇Y[hu艇p 5p PhdugE  9M=H 1ۉu1;t1U;tUU؋D 9U}zEM<<D }Pf E}P0QPhu蓆=H FU;tj EP9M!h E9EE1ۍvL }|tu1;t}Q}Ut#Qt!Phi]Ðۉuō EF]P ȃ<uuuCS Cō E_UWVS,EE E5H 1U 3MUB/tRvt]CC/1E;s L E܋}Gp p ]MDEG L lj]܍1;t}n4u;Et=  H 1ۋQ 9}(AEԡL E؋uu9CQ 9|U E]܍u;t|EEM;A 3E@@/1E;X }YMAU<5L E A9E}^uU94tBEQ9U|tEuE;p |e[^_Ë}G]4QcHAQ뼍zy Ex]؉] ō Exe[^_需USRMH Dt_~>t#Qt!Ph腂]Ðۉuō E]!T ȃ<uuuCS Cō EUWVS EEE4=H  >:M{0tCts1p ;sCC0E1;p@@0}9]C H zt&z0u p p FE;p|Ǎe[^_ÍvB19E}΋Z }9C렐UWVS X SJ9Kt&{3EG{S;E BSe[^_à 4 sQ}tIX 1;S߉B;Q~up 3X 놃 P}X ܃ hB륉UWVS X KA4CtDFP9|uh*pXZ5p hp_Xuh@ pe[^_E뷐|u랍 RE ]| v R qH D8|UWVS }_8ۉO@19ʉM}M 9 B9|;GU~tEE;C vCM4uIӋ}Ku C}4s1;}}ZH Eؐ;Et<U؉U1ɋB 9}'U܋RsŰUUЉUЋu9t*A9|G;}}E믋}Gp p Hu܉F ŰE@EEv}UWVS8 RbmH 1; E}g1ҡH ]D/\DD DDDDD H D0CP; ]|h < WlL EE1E< t6^MȀt#L WTED uE}~E h 9M=L H EԉME1U;t}ыUԋ DF;t |MEE9M|E9M}|=L E1E];t}PEE]؋H S  { CM C L FE;t| h EE9M| jká C$GkZC Cs4k1҃;S} B;S|C tu h/ jP oká C$j_C Csj1҃;S} B;S|S t3u h}/ jT ká C$mjZC CsZj1҃;S} B;S|C tu h/ j  j@@ǣX  G$iP ۉt$T t5 tX tu h.X C=ĉ t/ 0)=ō  p p uы=ȉ H D@ D  p uЋ=ȉ tE7E5H D UEL9M}\ RȋM9p A9M|E p p  uō u Q< t3 1;Y}A C;Y|A=ō  jh ǣ\ gfff)$ h=\ tu h,=\  Ⱦgfff)+ p WG p 9<=ō 1; E}H D.E}P;= |\ B Bō u T Qt* 5P  X5T  ō  T Qt* 5P  X5T  ō K P Qt* 5P w _5T k =ō  \ C Cō u T Qt& 5P  ^5T  ō u P QHt& 5P [5T =ō uwX xm  Pe܍ p 1+ I!+%p Eu$*%p Y$h ;de[^_*% q =ō q p u+*.m1=\  +p +p d G p V7;=ō u1; E}H D.EEP; |\ C Coō u T Qt* 5P kZ5T _ō  T Qt& 5P ,X5T  ō u P Q\t* 5P X5T =ō \ C CDgō u T Qt& 5P X5T ō u P Qt* 5P XX5T L=ō X xip ( ZG(%p E(% q =ō q p |(+/\ Nj@ =d = = x0t"=q  h`_ ׍rqA <qA  H tō  P QuzyA 4yA  H t ō  T QurqA <QA  H t lō e P QuOrqA <qA  H tō  T QuzyA 4yA  H t ō A T Qu+rqA <qA  H tmō y P QuczyA 4yA  H t ō  T QurqA <qA  H t ō 6 P Qu zyA 4yA  H tRō  T QurqA <qA  H t ō  T QuzyA 4QA  =H tō  QuoEU\UHD DBE܋Dt%u܍ H tT DDD Pn^5H D t믃 h4#ED DP$^H D t% h"5H  C CP]C4 h" h" h ~"<ɉt SY Va]ᐉUWVSh@1Y;= EWPh͙[1ۡH u;\0 }H4vMD PPhv[CH ;\0|u1;|0tLt6 j GXEP;= H hXe[^_à h [븃|0u릉kUWVShX1҃;h E1vuh͙Z1ۋL E;\:}GE49PPhNZCL ;\2|Ā|: j WEE;h c hW1҃; E1UEePh͙YH |8/u11;\8 })D24hYCH ;\0 |ۋ]1;\8 j VEEP; Z h@1W;= E1vUEZPh͙XH M|80uN1;\8}FE4D: PPhXCH ;\0|ċ]1;\8t* j UEEP; ;e[^_à h >XH T8tRt7D8PtPhX닉߃ h%WH 벃 h/|8MC h W!|8 h RWUWVS(h9T1 9ƉEH 1|:01;t:z 1ۉM;\:}}MMMD8 9}IP! UERQPhjqVH CM;\ | EFP;uC1 h 9}{1L |:t\1;\:}AE:Pt^PhUCL E;\|ǃ j QS h F9| h`Se[^_É랉 v |:{qUWVS$hhVtVEhau&R1= 9H EM1;t  M1ۋM;\ }z}}MD 9}KP6 UEQPhjutQH C;\:|= FEP9K1h 9}1L |8u F9| uQTe[^_ÉSVh~uQ1ۡL ;\8}>}MPtGQPhuPCL ;\8|ǃh& uPh e뵉v | cYhVhC1e[^_BiU <WaD4119Dž0ug0~ 4jDC 4 0P @ p 8 985ȉ 1҅tv BuR)P5 h>B11Dž8 84tv~tBFv u88~ͅ҉h rR$$<$$Rh A[5  C  $B  $B5  t tu h Dž898,}8 =  85  C98,|١ Dž8$8 4t2$1;^}vC;^|v u88~1ۋ,9Dž8}> =  8< tC5 898,|;, Dž884 tE (1;^}+(t@C;^|ۋv u88~ u- u ࣴ g P@܃ P@Ń hgJ= hQ04Ht C9|DR0H4Pu0H4B0볿 h ō 8؉ GV5 RhWVh IUSPMH Dt_~>t#Qt!PhE>]Ðۉuō E]; ȃ<uuuCS Cō EUWVS,EEE@1E;X }duFM=L E A9Eu}94EQ9U|EUE;P |E1M;q}5UB }H zt*ztE]E;X|ˍe[^_p p EB9E}ŋJ u}94t E9]|HB럋]C}4QBHAQ'u F }4=ō `G}p p ;~|zy Ex]؉]!ō Ee[^_8UWVSMpp p AVR9p p  H UыA 19}I} 9-5H D>, Ѝ ~̍ }5H W(9T(}wE@,kv SE@E5H UWVS 19ljE1ۍv H 1;|7t |$ GP;}|1;} H  EE΋]vTD9tDGEP;}|1;}}q1ۉ H D9D~D|$t;|t W蛮؍ u4H L09Lt6GP;= |؍ p ̍ ue[^_à Pc* hō &؃ P- E|UWVS 19ljE1ۍv H 1;|Bt|.t |$GP;}|1;} H  EE΋]TD9tDGEP;}|1;}}x1ۉ H T9T~T|$u|$t;|t W؍ u4H L09Lt6GP;= |؍ p ̍ ue[^_à P( hō /%؃ P E|UWVSP} u<uGO 4G4 H 1ۉM;\}@D <u"|DtWRH ECM;\|e[^_UWVS8A;N|FPQA <yA  H tō c AuM| >4 h z h@eh h`P h;vɉt V SUWVS uH |-u6TtS~Ft#Vt+Phe[^_Ív1t뷋 A܍  4 @   tH D-1H ;t }ߍvD8 @   \L DFH ;t8 |B1U; }"v L DA; |1;   }# H DLA;  | É1U;  }%v H D,A;  |UWVSPU H MD,5   H 1 ;t}MD ;U tL|,u$;UtWuu Ru=H ]F;t|1ҍe[^_1; }& D,B; }=H ܺ뿐U uu u u.1;  }" H D,A;  |1҉UWVS } 4H 1;\ }=D 9tm;EtRWuPuGH C;\|1;  }'v D,A;  }H 1ҍe[^_ÍPt Ph$늍v܉U P > t 1ҋ 9} B9|à h`UWVS   ۉ׉tB e[^_Ív jBá C$ZC Cs1҃;S}B;S|C tu hN  i h%  I҉t Sg  VUV S1ۉt/FtC uIu3 S&   ɉuхue[^à P P뿉 P멉U R j t 1A9} B9|à h@UVS5  tC e[^Ív  P 5 uƒ h 5 USS 1ۅɉtCu ɉuu]à P R ͐ U~9  хu/DJ  H D Ívt?tDJ  H D-ȋDJ  L D뭐DJ  L D뒐 UJ9  VSt e[^Ív  QtD1ҋ5 9  щӋDDB9~ u 랃 PK hUSPB@q `q < @ D H L P p w w } ȃ ̃ ؃ `    vHyp, Fmg8u u $ |$ p0q 5$` U$ I0q $9X50q 4X5D  1; , p, 1;$, p, s " p, @;$, p, r1;(, p, s " p, @;(, p, r1;,, p, s " p, @;,, p, r1;0, p, s " p, @;0, p, r1;4, D H p, s " p, @;4, p, rK< 9D H 1;8, p, s " p, @;8, p, r1;<, p, s " p, @;<, p, r1;@, p, s " p, @;@, p, r1;D, p, s " p, @;D, p, r1;@ P L P  @ BɉP tu1uk1;<, p, s! " p, @;<, p, r1;@, p, s" " p, @;@, p, r1;H, p, s" " vp, @;H, p, r1;L, p, s " p, @;L, p, r1;P, p, s " p, @;P, p, r1;T, p, s " p, @;T, p, r1;X, p, s " p, @;X, p, r1;\, p, s " p, @;\, p, rh EiP ;@ sL u P 1;`, p, s " p, @;`, p, r1;d, p, s " p, @;d, p, rD L BD t< @;L < ;< s H _1;h, p, s "  p, @;h, p, r1;l, p, s" " v p, @;l, p, r1=< H ]H Qh E}H P d " p, @; , p, r=UWP1 ,  ( dw iBgrȞ}UWVS 0 tz= +0 4<3)ً5̽ 1AԽ ;MEs  C;r}1ۋE;s CE;r[^_ÐUWVSH0 f= 4}< Խ )E1ҡ̽ C;]uMEE EEuui5ؽ ܽ  } ؽ   ؽ 0   P 1P ;4Esv EFEă;4rE<:EuE]ȃE;4bU]E1ME;@Ku QbY_uS RTXZuSRF_Xsu S5Fe[^_Pjh 5dw M눐UWVS }?w{4@>@u {WXZuK QY_uSRXZuS RsEFE FE$F E(FF(Ce[^_Qjh 5dw eUWVS }?wo4@>@u {W*Y_K uQXZuSR_XuS RsEFE FF Ce[^_Pjh 5dw yqUWVS }?wo4@>@u {WXZuK Q|Y_uSRnXZuS R`sEFE FF Ce[^_Qjh 5dw aqUWVS }?wo4@>@u {WY_K uQXZuSR_XuS RsEFE FF Ce[^_Pjh 5dw 9qUWVS E }]?wq4@>@u {WDXZuK Q6Y_uSR(XZuS RsEFFE^ Ce[^_ÉQjh 5dw oUWVS }?ww4@>@Su RXZu{ WY_KuQXZuS Rx_XsEFFS$u RZCe[^_Qjh 5dw qiUWVS }?wc4@>@u {WY_K uQXZuSR_XuS sRFCe[^_Pjh 5dw U뀐UWVS 1E ;8r e[^_É] svh juVCw$F0hjuPh& juGE ;8r뒋F0hjuʋF8uhh juPF0hju_F0hjuK z Fp0hjumܐU0q 0hj5O i0q P:@ujPh& j5O YXh` 5O  h& j5O X0q ZP5O n h& j5O uPhj5O ]{Rhj5O 0q SUWVS EH119ƉEu@E죀. tE . e[^_Vhh`5dw  ̓ h1;u죄. |l;u}E 4. . ̽ 41E9Խ UEEȋs vuMA9rM̋41ɋ}9s v<A9r ] E; ~]ܡ< 9E|C9Et6E9E| 9Et EE4]ЋM9}EuEЉu؋u; }‹}ԋUE؋E}ЉUԣ< 뷍vEsUԋE9‰0 5N 5N  t}Љ=0 fUVS5O 5O  tWؽ u0 e[^Ð P  ܽ ZP 5P 4  0 뾉e[^Uhhjhh6jdj2hO hO hhh|hP$hhhtj h> ÉUWVStw < ؽ 8 u0 e[^_à P ܽ EMP EP =< EEE9EU܋ Խ ̽ u419Es <tUA9r9}t+9}}4 M}8 =< EE뀋=8 4 ]8 =< ؐE릅~5O 5O  u;8 w4 0  P 4 0  u=P  U4뷐Uh`h jhhhhFhԷj h[hhjh@j hhhjhh)jdj2hO hO hh h|hP$hh`hj hhhhjhkhhhXjhMhhhؽj h/hh jhh e jhh Pp$hXh|j hhh jhh  jhh P $hXh0j h ÉUWVSl0  <)FuE)M5Խ UU ̽ E1ۋE;uEM N ]EЋ}u 5ؽ ܽ   ؽ   ؽ =P N N 0 U,¡P P 19ƉM؉}s+=N }E]ԋ}F]Ã;urE<MEUMuE;,E܋M41E];ؽ u0 e[^_à 5hw  O 0 ֐lw 98 P E=4 N  N v,E@uRء8 8 lw EB;Uvء8 w4 0 L P 4 TEu؉8 룐UWVS0 j <)FuEܸ)M܋5Խ UU ̽ E1ۋE;uEM* N ]EА}M 45ؽ ܽ 7 ؽ   ؽ 5P Ƌ0  N  N 0 ދU,¡P u14P ;ؽ u0 e[^_à 5hw  O 0 ֐lw tw 98 < wL4 = 5 EE+< 9tT9}] 8 < lw A9v͡8 w4 0 K P 4 S8 ] 8 뱐UWVS8j5@ 5\ hȸUREtw ڮtw  N PvP tw $aP 8 111;tw EExw 8 EiP D?P P P P RMQhuFEt-;]P Exw uG;=tw Z +]S螪lw y=pw u pw 1Qlw P},$fE fEu  md m.e[^_Ív؍D\ h1ҋ5P E܉Ã;Es*P Eԋ B;rEԋu܉4EP EPMQhuP EEQuVhuptw  PDP vSuhh P I P 1 P  uE= P pttw tO8 tVEthtw hlw h h P ăh 5dw (htw hlw h h P 课 듋Et$h 5dw htw hlw h htw hlw h Qhh@ 5dw 輯7Uؽ  Ð Uu  É1ɡ Q+ P,$1ɃQ P,$ ΉUh蜦 $苦 ÐU ÐP US 9t$Ív  H9D t$ؽ   P  뺉 ؽ C P D= uؽ  넋 ؽ    UVS   195 v1ҋRP,$A9 r1Q P,$ v;19s 5 1ҋRP,$A9r1PKQ,$ɃEuX   9t*1P+5 V,$1V)Q,$ [^  @@ 3UЃ M @Ѓ ÉU hHO hw Ѓ  h`O hw Uԃ M @ԃ ÉU hHO hw ԃ J hO hw -UO P u*O P uRhh} Rhh} 뻐US ]u  @TR訤@D@t]ÐShh` 5dw 讫]"UVS]uu @LQD@DXZV @T R%@te[^ÐVhh` 5dw 6e[^騯UWVSj[u A}j]u $tu]E )E19ƉEs$_1I;Mt.F ;urQu h 5dw  1e[^_ÉWuRu 賷uSu h 5dw ̭몋19ƉEs_3u tF ;uryUWVS EEE] E;tEj,S4u9Su<@uptX SRUe[^_1Iw7Sh ` m uh ` )uFƂ ` P`Whh 5dw bݭ멋 w UV4SqA4 a  w t_KuQC $  a XZusVCY^uR訡XZu KQ蚡e[^ÐQj h@ 5dw 蹨4널UWVS]u}u CTRNCtXw$D @Cte[^_Sjh 5dw Ie[^_麬WQC벐UWVS EE8tlj;uE E+ut,1ۍv 1I9tJCvEtEutEE8ue[^_Wuh 5dw ʼnPVRu蕴uE뛋}1эqaUSQE X| ɍ| t]Éǀ| PhXs(h`q Ct1Huϡ<  P=< C$ RjP蝵롡<  P< C$АUEVS@   ƀ ă C@j[u ă ~t(j]pVitS VRC t4VhHs(hw  hXs0h`q e[^É s UES E +$ÐUhhw { P|  D $1҃;D  svB;D rhj5D 5 DÐUWVShhw  X| ED Et=1VD P,$= v1ҋLRV,$EF;]r؍e[^_UWVShhw ] X<| D 1Ƀ9sv1VP,$AE9]rhhw 6 X| 5D 1Ƀ9s#1ҋRP,$u ` A9rߍe[^_ÐUWVS$EEEEEEE EE$EE(Eܡw  X| u}Sǁ| u R{sXZWs VlY^KuQ^XZuSRP_Xu{WBEC CY^u܍s(V'C$XZuw  @w Rw @w w @w te[^_Phh` 5dw e[^_oUWVS$EEEEEEE EE$EE(Eܡw  X| u}Sǁ| u RSsXZWs VD_XKuQ6Y^SuR(XZu{WEC C_Xu܍s(VC$[^uw  @w Rޚw @w w @w te[^_Qhh` 5dw ֡e[^_GUS ] uw @ w QfXw Z@w Sw  @w R;w @w t]ÍvQhh` 5dw F]麥UWVS$EEEEEEE E} @  u}Ɓ Su R讙C YXKVQ蛙XZWS(R菙Y^u{,W聙XZus Vs_Xu0Se[^u}  @} RK} @} } @} t e[^_ÐQhh` 5dw Be[^_鳤US ] u} @ } QҘX} Z@} S}  @} R觘} @} t]ÍvPhh` 5dw 貟]&UWVS$EEEEEEE E} @  u}Ɓ Su RXZKuQ C YXVSR{ECXZus(V_Xu0Sԗ[^u}  @} R躗} @} } @} te[^_Qhh` 5dw 貞e[^_#UUBM tHtÐ؋B$؋B$UWVSEE]u}u s tNQshW5O 薡 uh 5O 耡u}E O Ee[^_0hs 贪ue[^_ÐUWVSh 5O 踜Eă 9UsD} E9Es)1ۉ t M9 t8Eԃ49Eră E9UrÃh 5O Le[^_Ð tO t)Ju p0 5O I} P 0 5O ڃ̒ hw <4x=D | Ẻt19EEhE̋pvE,BE9]r1WD P,$}]EEv>19s#eBE9]r1PyW,$}]A qXUB#N  P]hC zP hW5O  hh 5O ؞uuh5O 蓝hx  4P hW5O 臞 h h 5O ouuh5O *Eh,u ]蟧P hW5O  h h 5O uuh5O 踜hb 6P hW5O 謝 h˘h 5O 蔝uuh5O O DEE}̋wzh. 蛦9W hW5O  hh 5O uuh5O 贛E̋p D=D DTEEhܗ QV hW5O h hh 5O Puuh5O  E̋ p=D D1POQ,$ ` }fE% fEmm}]fE޴ fEEm]mދE؋DEEu [ h   Q hW5O p h h 5O Xuuh5O E̋ p=D D1POQ,$ }fE% fEmm}]fE޴ fEEm]mދE؋DEE> $ h   R hW5O x hh 5O `uuh5O E̋ p=D D1POQ,$ h }fE% fEmm}]fE޴ fEEm]mދE؋DEE  h    P hW5O 耙 h h 5O huuh5O #E̋ p=D D1POQ,$ p }fE% fEmm}]fE޴ fEEm]mދE؋DDžxDž|  h   l P hW5O 肘 h h 5O j|xh5O E̋ p=D D1POQ,$ x }fE% fEmm}]fE޴ fEEm]mދE؋DDžpDžtgh  &P hW5O ~ hh 5O ftph5O E̋ p=D D1POQ,$ }fE% fEmm}]fE޴ fEEm]mދE؋DDžhDžl>!h  P hW5O z h h 5O blhh5O E̋ p=D D1POQ,$  }fE% fEmm}]fE޴ fEEm]mދE؋DDž`Dždh  P hW5O v h h 5O ^d`h5O E̋ p=D D1POQ,$ p }fE% fEmm}]fE޴ fEEm]mދE؋D1POQ,$ h }fE% fEmm}]fE޴ fEEm]mދE؋D4h  ݝX蛝P hW5O  h h 5O \Xh5O 讒E̋ p=D D1POQ,$ x }fE% fEmm}]fE޴ fEEm]mދE؋D1POQ,$ }fE% fEmm}]fE޴ fEEm]mދE؋DlSh  ݝP6 W hW5O 謒 h h 5O 蔒TPh5O IE̋ p=D D1POQ,$ }fE% fEmm}]fE޴ fEEm]mދE؋D/N1PwV,$ ` }fE% fEmm}]fE޴ fEEm]mދE؋D}̋GHh  ݝHϚtHV hW5O I h h 5O 1LHhh mu؋}̋G$g؋M̋A$W؋űF$؋űF$h <؋M̋A$؋M̋A$؋M̋A$؋M̋A$h 諙t؋M̋A$؋M̋A$؋M̋A$J؋M̋A$:h HHM̋A$ݝ`M̋A$h fM̋A$ݝhM̋A$h Ę M̋A$ݝpM̋A$h 肘vM̋A$ݝx?M̋A$h @6M̋A$]M̋A$h ]M̋A$]M̋A$h —&M̋A$]M̋A$h 胗M̋A$]]M̋A$h D}̋G$]uM̋A$h h Ch 迖h 蜖"h؋M̋A$؋űF$؋E̋@$؋E̋@$؋}̋G$0؋}̋G$ ؋}̋G$؋}̋G$E̋pUWVS  T ɋ]E u}t X tEtePs 輕t9 us50 h SWVS薝e[^_Ívhs luu50 h! Sɗ WVSJUWVSă Dž9sX } vDž9s/1 t9 t-49rءă 9re[^_Ð  tdHu T  ݝt X tR50 h! Sߖ SV } W1 WPT ,$ ݝt X #S50 h! Sp 돃̒ hw <x=D  | _19DžDžXvjNB܅9ݝr1WD P,$ܽݝDžDžvM19s,ܥB܅9ݝr1PyW,$ܽݝA ۉiMݕ4ۋK PݝT ,t X ttChC F? h 50 h W薔W T ,,t X tsx hx  近Q h  50 h WW膙T ,݅ـE@݅ݝ,t X ts,ih, ( h  50 h W`WטT ,,t X ttb{hb 艐: h˘ 50 h WْWP T , (DžDžX,t X .h. Ï h 50 h WW芗T , X(=D (ۋTDžDž;,t X ܗhܗ W h 50 h W>W赖T ,X =D (1POQ,$ ` ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžxDž|H(,t X  h  袍d h  50 h W|xWiT ,X =D (1POQ,$ ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžpDžtU5,t X  h  Uq h 50 h W襎tpWT ,X =D (1POQ,$ h ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžhDžlbB,t X  h   ~ h  50 h WYlhWВT ,X =D (1POQ,$ p ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDž`DždoO,t X   h  轉 h  50 h W d`W脑T ,X =D (1POQ,$ x ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžXDž\| \ ,t X   h  q h 50 h W\XW8T ,X =D (1POQ,$ ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžPDžT i ,t X   h  $ h  50 h WtTPWT ,X =D (1POQ,$  ٽf% f٭٭ٽݝf f݅٭۝٭(ۋDžHDžLv,t X  h  ؅ h  50 h W(LHW蟍T ,X =D (1POQ,$ p ٽf% f٭٭ٽݝf f݅٭۝٭(ۋ1POQ,$ h ٽf% f٭٭ٽݝf f݅٭۝٭(ۋ,ݝ@t X  hh  ' h  50 h WQD@WȋT , X=D (1POQ,$ x ٽf% f٭٭ٽݝf f݅٭۝٭(ۋ$1POQ,$ ٽf% f٭٭ٽݝf f݅٭۝٭(ۋiM,ݝ8t X  h  ) h  50 h Wy<8WT , X=D (1POQ,$ ٽf% f٭٭ٽݝf f݅٭۝٭(ۋK~1P_S,$ ` ٽf% f٭٭ٽݝf f݅٭۝٭(GH,ݝ0t X % tsh  Pt: h  50 h S褂 Q40h uh 50 h! ST؋G$1؋A$؋C$o؋C$\h pGh 50 h! Wā <8W;T ,F؋A$؋A$؋A$؋A$h ~h 50 h! W D@W臆T ,؋A$؋A$؋A$Y؋A$Fh ~0h 50 h! W\ LHWӅT ,Y =D (/A$ݝHsA$h a}=h 50 h! W TPW,T ,Y =D (=A$ݝPA$h |Jh50 h! W \XW膄T ,Y =D (IA$ݝXA$h |Wh 50 h! Wh~ d`W߃T ,Y =D (VA$ݝ`A$h m{dh 50 h! W} lhW8T ,Y =D (cA$ݝhA$h zqh50 h! W} tpW葂T ,Y =D (qA$ݝpA$h  z~h 50 h! Wt| |xWT ,Y =D (}A$ݝxA$h yyh50 h! W{ WDT ,Y =D (A$ݝA$h xhh50 h! W&{ W蝀T ,X (G$ݝXA$h 1xh˘50 h! Wz WT ,h wh 50 h! Wz WT ,Xݝh Pwh 50 h! Wy WT ,h vh50 h! W=y W~=T ,؋A$؋C$؋@$؋@$؋G$#؋G$؋G$؋G$XUWVS EEȽ u} t e[^_ÉQh& jV.h h' jV1h9Rh8 jVh h& jV1g9ZPh& jVg hjV1g9Ph& jVg hjV1g9Ph& jVg hjV1pg9s5PM P4| jVLg h jVC;g9rWh& jV&gE& E ue[^_gPM P4| jVf h jVCf9r;vPM P4| jVf h jVCf9rvM@4w hjVjM P4| hYjVCj 9r\M@4w h; jVCj9rU h 5Ѓ 5O ÐU h 5ԃ 5O pÐUw W1V9Ss!1| t | t8Ht G,9r[^_Ë| P|  D ˉTw ͉| | D  UWVSE EE}uEhuV1d9s4U P| BtNHt/h VCd9rE & ue[^_dvB$Mt4rVg붐B$QM4rV]e吉Uh 5Ѓ u5O 1Uh 5Ѓ 5D 5O  ÐUh 5ԃ M 45O USS1;< r]h 5ԃ  45O C;< rUSPL u]ÐP5D h 5O pd;lw w, t8h]5O C@c;lw vՃh& 5O "c돐hƉUlw R`[ ÉU1 @;lw vÉU 0  ÐUS5D h 5O c 0h5O c;lw vh& 5O ^b]ÉP 4h? 5O C>c;lw v뼐P UuȬ ̬ ÉD  1RQ,$1ɃQP P,$Ȭ ːUtw P(Z É1U;tw s @;tw rÉ1tw U9ЉSs   <u tw @9r[ÐUtw PY É1U;tw s @;tw rÉ1ҡtw U9‰Ss%  <u P tw B9r[ÐUS5D h 5O a 0h5O a;tw rh& 5O ~`]ÉP 4h? 5O C^a;tw r뼐US5D h 5O 3a ph5O a;lw rh& 5O _]ÐR 4h? 5O C`;lw r뽐US5D h 5O ` 0h5O `;tw rh& 5O f_]ÉQ 4h? 5O CF`;tw r뼐USPL u]ÐP5D h 5O 1 `;tw s+ u8h5O C^;tw rՃh& 5O ^듐h]ƉUSSD u =P P5D h 5O ~_ 5P h 5O e_ 5ؽ h 5O L_ 50 h 5O 3_ Ph 5O _;lw w- t<h]5O C];lw vՃh& 5O ]]ÉhRh j5O ]T UtL u L ÐUSPT uO P L Ph& j5O ]5H h j5O u^ ;lw w= utPShC 5O ] щ1t6C;lw v1ҍC u]Ãh& 5O \h& 5O \PSh늍v5H h  j5O ]뽉US hhw VY5O n0XZh` 5O `z h& j5O g\[X0q P5O 5z h& j5O <\L u]Ívh5O [XZhI 5O [;lw w>v udPShC 5O \ щ1t&C;lw vŃh5O R[jhH 5O 5[PSh뚐U1ɉ< QP,$1ɃQD P,$ X ÐUVShhw 走 X4| D 19ى5  s0v1ҋRP,$A9 r5`  e[^ UWVS05tw hF5O Y[ 5lw hL 5O @[ 5xw h5O '[1ۋ tw 19sP 9vC9rVWh] 5O Ztw ue[^_à  R0R1ۍG9sC9r1;tw sP C;tw rQvhp 5O }Z vh 5O gZtw +F +FPh 5O HZXZh 5O 2Y1ۃqC9vh& 5O 1YWxw P,$1Vtw P,$$h 5O 1\Sxw P,$1ɃQlw P,$ $h 5O ]Ȼ[5lw 9E ̽ D1WP,$C9v1PNQ,$$h 5O }[lw 119w ̽ 4|C9v1PV,$1ɃQW],$4$h }5O ]X Wh" 5O Xuuh3 5O Z PPSh5O X 4hJ 5O X_Uh h jhh e jhh Pf$hXh8j h g Uh  h` jhh 3e jhh P>f$hXhl9j h f UWVSGǡpw $>1ҋ pw 9ʉÉsu B9rGe[^_1렃 j>묐UWVS }t=pt 36A$.Avu 3A$Ae[^_ÐUWVSR11;lw w5 EvuAu tB;lw vX[^_Ð1C됉UD Ð0 UuD Uh  h? jhh[ >hh` h ]j hw U@ UWVS5lw tw 98 < wH E E=4 E< 9t]9}8 < 5lw A9vС8 w4 0 e[^_à P  4 0 ې]E]9EEtE9E넡8  8 눐UVS$ ( , 0 4 8  0q te[^Ë5dw Ph& jV`/h q h jV3 h& jV;/ h& jV+/ h jV/ h& jV /^Xh& 5dw .Y[h 5dw .0 8t3h 5dw w.XZh 5dw e.e[^3h ːh 5O 9.$  ^Xh  5O .$  Y[h` 5O -$  XZh 5O -$`  X50q C3cmT/;h 5O -XZhu5O 1m-;5 s( P3h 5O F10;5 rރh& 5O '-^Xh  5O -$  Y[h 5O ,$` w XZh` 5O ,1$ W ;5@q s# v SFj;5@q r2+vh 5O },$ ] Y[h  5O _,$ ? XZh` 5O A,$ ! [^h 5O #,1$`  ;5@q s!  SF ;5@q rh1jv/PUSh& ]jS ,h q h jSk0h& jS+ h& jS+ h jS+ h& jS+]ÐUSh& O jS+h q h jS/ h& jSm+ h& jS]+ h jSM+ h& jS=+\ 8t]ÍvPh j5O + h& j5O +ːUVS5O Ph& jV*h q h jV>/ h& jV* h& jV* h jV* h& jV*[^h 5O 1&*;5@q sp1ېQ h5O i.$ 8uk( uIh& 5O ) , h 5O F$.;5@q re[^$/h5O )RPh5O -{UWVS5O h& jV)h q h jV- h& jV{) h& jVk) h jV[) h& jVK)Y[h  5O (XZh( 5O (^_h 5O (Y[h@ 5O (XZh 5O (^_h 5O (Y[h@! 5O }(XZhE 5O k(1҃;w EEEPE$a hP 5O , E(a hY 5O v,M苁4a tZ19sT(a vPsVha 5O ( ]thW5O ),DPtrtME;4a rh& 5O 'E]E7E;w -e[^_,Phw 5O +떍vP0h 5O J)UWVS5O h& jV\'h q h jV+ h& jV7' h& jV'' h jV' h& jV'Y[h! 5O &XZh! 5O &^_h" 5O &Y[h`" 5O o&XZh" 5O ]&^_h" 5O K&Y[h@# 5O 9&1ۡw 9s | 1w C, 9rh# 5O %1ۡw 9s1w uC 9re[^_N+Ww h 5O * w hY5O *w 밉Qw h 5O ) 7hY5O )w =UWVS5O h& jV%h q h jV) h& jV_% h& jVO% h jV?% h& jV/%XZh# 5O $^_h# 5O $Y[h $ 5O $XZh$ 5O $^_h$ 5O $Y[h % 5O s$XZh 5O a$^_h 5O O$Y[h 5O =$XZh 5O +$^_h 5O $Y[h`% 5O $XZh 5O #1ۃW4 hW5O C7(v׃h 5O #[^h% 5O #1ۡ} 9s'11} u C4 9r݃h& 5O Z#1ۡ} 9s'11} u C4 9r݃h@& 5O #1ۡ} 9s1} uC 9re[^_f(W} h 5O 1' } hY5O '} Q} h 5O & hY5O &} 9P} h 5O & hW5O & h 5O &} vh 5O ! USdw h& jS*"h q h jS& h& jS" h& jS! h jS! h& jS!Y[h& 5dw s!XZh 5dw a!0 8t4h 5dw A!Y[h 5dw /!]&vh ʉUWVS MzE9Erh 5O  e[^_ËE@]sPuvh 5O % v hY 5O % vh  5O $Cw:$' MAt ƉuFPEp h& 5O D!h& 5O * E]E;BP}w h WUr h 5O  "몃h# 5O Vuv h) 5O  v(h@ cEp$p hE 5O "Ph& 뤉hX UWVShu}5O 1V;7s!_P3h 5O F#0;7rh& 5O e[^_UWVS ]Eƿt*Ps h 5O :#SUe[^_Quhj 5O #C8u7Cuh 5O 똃h5O kRPh5O "벍ve[^_UWVS E޿uihu5O }1 U;rs%ӃP3h 5O FL"0;7rh& 5O e[^_QShj 5O "MA8u=E@uh 5O Rh5O dRPh5O !Uh 5O 2$ XZh  5O $ YXh` 5O $ XZh 5O $` ÐUVSh 5O [^hu5O 1;5 s' Q3h 5O F 0;5 rރh& 5O SXZh  5O A[^hu5O 1-;5 s(Ⱥ Q3h 5O Fp 0;5 rރh& 5O XZh 5O [^hu5O 1;5` s(h Q3h 5O F 0;5` rރh& 5O {XZh` 5O i[^hu5O 1U;5 s( Q3h 5O F0;5 rރh& 5O e[^ÐUh 5O $ XZh  5O $ YXh` 5O $ XZh 5O $` tX50q lUVSh 5O X$ 8XZh  5O :$ ^Xh` 5O $ Y[h 5O 1$` ;5@q s  SF;5@q re[^>UVS1;5@q s# v SFN;5@q re[^UVSdw uPh& jSh q h jS h& jS h& jSs h jSc h& jSSY[h& 5dw XZh 5dw  Vh' 5dw 3Y[h& 5dw e[^/UVSdw uPh& jSh q h jS; h& jS h& jS h jS h& jSY[h& 5dw %XZh 5dw  Vh@' 5dw gY[h' 5dw XZh& 5dw e[^QUhx hp 'p %   t D ÐU$h &  Uj%h ]$EP4$]Eh EÉU$h X& h - j]_$PE4$Uh  & h ÐU$h % U%h ]$#EP4$]Eh E` ÐUSh' h ( jhhx   @@t$ h?hh hh`( ht* Xhs* Si2 h?hh hh( h{* hz* S=2jdjh h hh( h* h* S/$jdjhO hO hh@) h|hS[/0hhh hh) h) h* S1hhf hxjh* %%hh* h\zjh* %hh) h{j h* $hh@* h$|j h* $hhh<jh* $ ]ÐUtw P lw $ lw $ x ÉUWVS( lw 9w/  DDC9vݡtw 19ÉEsd EP EvEuRP 1ɋ49s3 EܡP   %dcalloc of %d bytes failed on line %d of file %smalloc of %d bytes failed on line %d of file %srealloc of %d bytes failed on line %d of file %sfind_mat_elm: Row %d out of rangefind_mat_elm: Column %d out of rangeadd_constraint: Invalid %d constraint typeadd_constraint: Wrong constraint typestr_add_constraint: Bad stringdel_constraint: Attempt to delete constraint %d that does not existadd_lag_con: con_type %d not implementedset_var_branch: Column %d out of rangeget_var_branch: Column %d out of rangedel_column: Column %d out of rangeset_upbo: Column %d out of rangeset_upbo: Upperbound must be >= lowerbound set_lowbo: Column %d out of rangeset_lowbo: Upper bound must be >= lower bound set_bounds: Column %d out of rangeget_bounds: Column %d out of rangeset_uprange: row %d out of rangeset_lowrange: row %d out of rangeset_int: Column %d out of rangeget_objective: Not a valid basisget_variables: Not a valid basisget_ptr_variables: Not a valid basisget_constraints: Not a valid basisget_ptr_constraints: Not a valid basisget_ptr_lambda: Not a valid basisget_sensitivity_rhs: Not a valid basisget_ptr_sensitivity_rhs: Not a valid basisget_sensitivity_obj: Not a valid basisget_ptr_sensitivity_obj: Not a valid basisget_sensitivity_objex: Not a valid basisget_ptr_sensitivity_objex: Not a valid basisget_primal_solution: Not a valid basisget_work_solution: Not a valid basisget_ptr_work_solution: Not a valid basisInvalid SOS variable definition index %dInvalid SOS variable weight at index %dis_int: Column %d out of rangeset_semicont: Column %d out of rangeis_semicont: Column %d out of rangeis_SOS_var: Column %d out of rangeadd_SOS: Invalid SOS type definition %dSOS_get_type: Invalid SOS index %dSOS_infeasible: Invalid SOS index %dSOS_is_member: Invalid SOS index %dSOS_is_active: Invalid SOS index %dSOS_is_full: Invalid SOS index %d SOS_set_marked: Invalid SOS index %dSOS_unmark: Invalid SOS index %dSOS_fix_unmarked: Invalid SOS index %dSOS_is_satisfied: Invalid SOS index %dset_rh_range: Row %d out of rangeset_constr_type_ex: Row %d out of rangeset_constr_type: Constraint type %d not (yet) implementedget_constr_type: Row %d out of rangeget_matrecrow: Row %d out of rangeget_column: Column %d out of rangemult_column: Column %d out of rangeget_reduced_costs: Not a valid basisget_ptr_reduced_costs: Not a valid basisset_row_name: Row %d out of rangeget_row_name: Row %d out of rangeset_col_name: Column %d out of rangeModel size: %5d variables, %5d constraints, %8d non-zeros.Variables: %5d integer, %5d semi-cont., %5d SOS.Constraints: %5d equality, %5d Lagrangean, %5d SOS.Converted negative bound for SOS variable %d to zero MARK%04d 'MARKER' 'INTORG' MARK%04d 'MARKER' 'INTEND' lpkit.cUnnamedstr_set_obj_fn: Bad stringstr_add_lag_con: Bad stringstr_add_column: Bad stringget_lambda: Not a valid basisset_rh: Row %d out of Rangeget_rh: Row %d out of Rangestr_set_rh_vec: Bad stringget_row: Row %d out of ranger_%dv_%dModel name: %sMaxMinObjective: %simize(%s)__AntiBodyOf(%d)__max:min: - + %+.12g %s:<=>= %+.12g %s%s: 0 %s %s %+.12g; %s %.12g; %s = %.12g; %s >= %.12g; %s <= %.12g; int %s,%s sec %s sos SOS%s: %s%s%s%s:%.12g <= %d; <= %d:%d; %*.*E%*.0f%12.10f%12.9fNAME %-.8s ROWS N G L E COLUMNS %-8.8s %-8.8s %sRHS RHS %-8.8s %sRANGES RGS %-8.8s %sBOUNDS FX BND %-8.8s %s FR BND %-8.8s SI BND %-8.8s %s SI BND %-8.8s SC BND %-8.8s %s SC BND %-8.8s UP BND %-8.8s %s LO BND %-8.8s %s MI BND %-8.8s SOS S%1d SOS %-8.8s %s SOS %-8.8s %s ENDATA yCxDMbPMbP??{Gz? _BmB-C6?vH7-C6ecolprim:%d, reduced cost: %gTheta = %gEntering primal algorithmInverting: Primal = %dEntering dual algorithmExtrad = %gStart at feasible basisStart at infeasible basisstarting milpsolveLevel %d INFEASIBILITYlp_solve stopped by userlp_solve timed outunboundedinfeasibleThe problem is %sA solution was foundINTLevel %d OPT %s value %gCurrent bounds:--> valid solution found%3d SubGrad %10g lambda %10gResult: %d same basis: %d%g Best feasible solution: %gError: Column %d (%s) has inconsistent bounds (lowbo > upbo).Error: Row %d (%s) has inconsistent range (lowbo > upbo).Warning: Variable %s not used in any constraintsIterative FTRAN correction metric %gError: rhsmincol called with row_nr: %d, rows: %dThis indicates numerical instabilityStart Invert iter %d eta_size %d rhs[0] %g --> Column %d is singular! Skipped.End Invert eta_size %d rhs[0] %gcolprim: no positive reduced costs found, optimality! Pivot %g rejected, too small (limit %g)Warning: Numerical instability, quot = %gpcol[%d] = %18g, rhs[%d] = %18g , upbo = %growprim:%d, pivot element:%18growdual: %d, rhs of selected row: %g upper bound of basis variable: %18growdual: no infeasibilities foundcoldual: %d, pivot element: %gIteration: %d, variable %d changed from 0 to its upper bound of %gIteration: %d, variable %d changed its upper bound of %g to 0Iteration: %d, variable %d entered basis at: %gFeasibility gap of this basis: %gObjective function value of this feasible basis: %gAn attempt was made to divide by zero (pcol[%d])Trying to recover. Reinverting EtaFailed to recover. Can't reinvertContinuing at infeasible basisSINGULAR BASIS! Too many singularities - aborting.SINGULAR BASIS! Will attempt to recover.LOST PRIMAL FEASIBILITY too many times, aborting.LOST PRIMAL FEASIBILITY! Recovering.Error: new upper or lower bound is not more restrictivebound 1: %g, bound 2: %g, value: %gSOS_can_activate: Invalid SOS index %dInternal index error at SOS %d in SOS_can_activateNew upper bound value %g conflicts with old lower bound %gstarting floor subproblem with bounds:New lower bound value %g conflicts with old upper bound %gstarting ceiling subproblem with bounds:SOS_is_marked: Invalid SOS index %dget_varpriority: Column %d out of rangeWarning: INT var %d is already fixed at %d, but has non-INT value %gMaximum number of relaxations exceeded in resolving infeasibility.Feasible solution %g found as real-valued MILP basisLevel %d OPT NOB value %g bound %g... but it was worse than the best so far; discarded!Unsatisfied truncated variables; Selecting var %s, val: %gFeasible solution %g found at iteration %6d, %6d nodes exploredImproved solution %g found at iteration %6d, %6d nodes exploredlp_solve unsuccessful after %d iterations and a last best value of (%g)lp_solve explored %d nodes before terminationError, the current LP seems to be invalidZub: %10g Zlb: %10g Step: %10g pie: %10g Feas %dLagrangean convergence achieved in %d iterationslp_solve unsuccessful after %d Lagrangean iterations and a last best value of (%g)@@$@h㈵>@ffffff???%2d-- *** too deep ***> %-20s %g %s = %g %s > %g %s < %g debug.c Model name: %s %8.8s Maximize %8g Minimize %-9s >= <= lowboupbo %s = %8glag[%-5d]%8g Type Int Real upbo Infinite lowbo Objective function limits: %-20s %15.7g %15.7g %15.7g %-20s %15.7g %15.7g %15.7g Scale factors: %-20s scaled at %g Optimal tableau: %15d%3d%15.7f Value of objective function: %g Actual values of the variables: Actual values of the constraints: From Till FromValue Dual values with from - till limits: Dual value From Till hash.ctighten_bounds found low bound >= upper bound in row %d, column %dtighten_bounds replaced bounds on column %d to [%g ... %g]Entered presolve at iteration %dpresolve found SOS %d (type %d) to be range-infeasible on variable %dpresolve found empty variable %d as member of a SOSpresolve found upper bound infeasibility in row %dpresolve found lower bound infeasibility in row %dpresolve identified optimal solutionpresolve removed %d empty or redundant rowspresolve converted %d singleton rows to boundspresolve removed %d empty columnspresolve.cpresolve tightened %d boundsc formula in the file %s. NEW_NLITS=%d; NEW_VARS=%d c preprocessor. c c ORIGINAL REDUCED c * %d %d c %s. c Orig. Lit New Lit c * c %d c c New Lit Orig. Lit c %d %d %d %d 0 equivalent to %dnot in reduced theoryNEW_NVARS=%d; other=%d ERROR: Failed to open %s. _out.cnfERROR: Problem in counting binary clauses.ERROR: Problem in counting nary clauses.c This cnf file was generated by the preprocessor. It contains a c satisfying truth assignment for the variables of the cnf. ERROR: eqvLit of %d should be assigned a value! ERROR: eqvLit should not equal i, otherwise i is active!ERROR in variable counting method!c This cnf file was generated by the preprocessor. It contains the c reduced theory resulting from the simplifications performed by c The number of variables in the original and reduced theory is: c Here is a mapping between the literals of the original cnf file, c %s, and the literals of the new output cnf file, c Here is the reverse mapping. c The rest of the file contains the actual output cnf file. ERROR: Found inactive literal in reduced theory!ERROR: Problem in counting number of variables.ERROR: Illegal value for tval for literal %d. ERROR: Found clause index %d already in LitNcls of %d when adding it. Memory Allocation Failure #15P Memory Allocation Failure #14P Memory Allocation Failure #3P Memory Allocation Failure #2P Memory Allocation Failure #4P Memory Allocation Failure #5P c BinRes for loop visited %d literals. c BinRes found %d literals for UP. c BinRes2 for loop visited %d literals. c BinRes2 found %d literals for UP. c BinRes3 for loop visited %d literals. c BinRes3 found %d literals for UP. Memory Allocation Failure #19P Memory Allocation Failure #18P Memory Allocation Failure #28 Memory Allocation Failure #10P Memory Allocation Failure #13P c preprocessor timed out at %f sec *** ERROR: Check functions found a bug! ***Memory Allocation Failure #12P Memory Allocation Failure #11P Memory Allocation Failure #9P Memory Allocation Failure #8P Memory Allocation Failure #7P Here is a list of the implications for each literal:-------------------------------------------------- Here is a list of the nary clauses: Here are the indexes of the nary clauses each literal appears in:---------------------------------------------Here are the Active Nary Indices: Here are the Active Literals: Here are the Literals and their Values: Here are the pairs of Equivalent Literals: Here are the indexes of the nary clauses each literal appears in: Here is a list of the implications for each literal: -------------------------------------------------- The contents of the newBclsStack are:The number of top level lits visited multiple times is %d. Here is the number of times BinResDFS was called on each literal: There were %d variables in the initial theory. There were %d binary and %d nary clauses in the initial theory. c -- ITERATION %d OF PREPROCESSOR -- c Preprocessor found %d unit clauses in original theory. c Preprocessor found %d equivalent variables. c Preprocessor generated %d new binary clauses. c Preprocessor reduced %d nary clauses to binary. c Preprocessor satisfied %d clauses. c This includes %d nary and %d binary clauses. c Preprocessor assigned a value to %d variables. c %d variables remain active and unassigned. Initial number of variables: %d Initial number of unit clauses: %d Initial number of binary clauses: %d Initial number of nary clauses: %d Total number of equivalent variables found: %d Number of variables assigned a value: %d Number of new binary clauses generated: %d Number of nary clauses reduced to binary: %d Number of satisfied binary clauses: %d Number of satisfied nary clauses: %d Total number of variables assigned or removed: %d Percentage of variables assigned or removed: %.1f Total number of nary clauses satisfied or reduced: %d Percentage of nary clauses removed: %.1f Number of binary clauses remaining in the theory: %d Percentage of original binary clauses remaining: %.1f Total number of satisfied clauses: %d Percentage of clauses satisfied: %.1fc Preprocessor runtime was %.3f seconds. c Satisfiability of theory still undetermined.c See file %s for simplified theory. c CONTRADICTION found! 1c CONTRADICTION found! 2c CONTRADICTION found! 3c CONTRADICTION found! 4c CONTRADICTION found! 5c CONTRADICTION found! 6c CONTRADICTION found! 7c DFScounter is %d. (INACTIVE) equivLit = %d val = F val = T Here is the Reduced Theory:theory.outHere is the Reduced Theory: %d: indices.outactivelits.outlitvalues.outF U T equiv.out%d: %d nary.outimplicate.outvisited.out%d: %dc %d clauses remain active. c DeleteCount is %d. TEST FILE: %s Runtime: %.3f seconds c Y@%s%d%dc Theory has no gapsRead illegal literal %d in file, #vars = %d! c Inital problem has %d variables, %d nary clauses (%d binary clauses). c Num non-binary clauses %d, Average non-binary clause length %2.3f Memory Allocation Failure #23 Memory Allocation Failure #22 Memory Allocation Failure #21 Illegal parameters specified, #vars = %d, #clauses = %d! Problems finding parameter line in input %sc CONTRADICTION found(1)!c CONTRADICTION found(2)!c CONTRADICTION found(3)!FATAL ERROR: Inactive clause index %d in literal %d: ERROR: Found inactive literals or nary clauses in the theory!ERROR: There are an odd number of implications.ERROR: Found duplicate literal %d in implications of %d! ERROR: Found duplicate index %d in nary clauses of %d! ERROR: Found duplicate literal %d in nary clause %d! ERROR: Implication %d->%d does not have a match! ERROR: Self implication %d->%d in theory! ERROR: Found both %d->%d and %d->%d in theory! ERROR: Found literals %d and %d in clause %d! ERROR: Found lit that should have been forced, %d->%d! ERROR: Found self-implication %d->%d! Memory Allocation Failure #1P c CONTRADICTION found!ERROR: Illegal value for tval of literal %d in UnitPropStack. Memory Allocation Failure #24P Memory Allocation Failure #26P ERROR: HypRes got called on %d, a grey literal! Memory Allocation Failure #20P Memory Allocation Failure #22P Memory Allocation Failure #25P Memory Allocation Failure #23P Memory Allocation Failure #21P Memory Allocation Failure #27P ERROR?: impl = numL (%d). ERROR: %d implies itself! Defaults,PickGSAT,FlipVarScoreGSAT: Selmen, Levesque, Mitchell [AAAI 93]VarScore,CandidateInfoPickGSATVarScore,FalseInfoFlipVarScore2UpdateVarScoreUnexpected Error: increase constant MAXNUMALG [%d] Unexpected Error: Can't find algorithm %s Unexpected Error: increase constant MAXFXNLIST [%d] HHH_rRdj88Nq%u%i[null] -alg %s -w -v %s-param|-fpThe 2nd parameter to a ratio can not be 0 Unexpected Error: increase constant MAXALGPARMS [%d] Unexpected Error: increase constant MAXTOTALPARMS [%d] Unexpected Error: increase constant MAXPARMLINELEN [%d] Defaults,PickNOVELTY,FlipFalseInfoWALKSAT-NOVELTY: McAllester, Selmen, Kautz [AAAI 97]Novety noise set to prob N/[M]Defaults,PickNOVELTYPLUS,FlipFalseInfoWALKSAT-NOVELTY+: Hoos [AAAI 99]Choose random variable from random false clause with prob N/[M]Novelty Noise-novnoiseFalseInfo,VarLastChangePickNOVELTYwalk probability-wpPickNOVELTYPLUSDefaults,PickWALKSATSKG,FlipFalseInfoWALKSAT (SKC Variant): Selmen, Kautz, Cohen [AAAI 94]walksatPickWALKSATSKGDefaultsW,PickGSATW,FlipMakeBreakWDefaultsW,PickGWSATW,FlipMakeBreakVarInFalseWGWSAT: Selmen, Kautz, Cohen [AAAI 94]Choose random variable from an unsat clause with prob N/[M]MakeBreak,MakeBreakW,CandidateInfo,VarInFalseClauseDefaultsW,PickNOVELTYW,FlipMakeBreakWDefaults,PickNOVELTYPLUSWCSWE,FlipMakeBreakWWALKSAT-NOVELTY+/WCS+WE: Hoos [ref ?]MakeBreakW,FalseInfoFlipMakeBreakWMakeBreakW,CandidateInfoPickGSATWgwsatPickGWSATWCreateMakeBreakWVarInFalseClause,FalseInfoFlipMakeBreakVarInFalseWPickNOVELTYWCSWEPickNOVELTYPLUSWCSWE%d,,%f,%f defaultstdoutSatzillaPrintStatsstderrPrintRTDrtdPrintSolutionModelmodelPrintCNFStatscnfstatsTraceStatestateTraceSolutionsolutionTraceOptClausesunsatclausesTraceFlipCountsflipcountTraceUnsatCountsunsatcountTraceVarLastvarlastflipTraceClauseLastclauselastTracePenaltySolutionpensolTracePenaltypenaltyMax # LM to tracePrintSATCompetitionSetupOutputPrintSplashPrintAlgSettingsPrintHeadersOutUpdateColumnsRowSetupStatsSetupRTDSetupRTD,PrintHeadersRTDPrintCurRowInitBestFalseSortByStepPerformanceUpdatePercentsUpdateTimesCalcPercentSolveCalcFPSCreateFlipCountsInitFlipCountsCreateUnsatCountsInitUnsatCountsCreateClauseLastInitClauseLastSolveModeNoImproveStartSeedSetupCountRandomInitCountRandomrun,found,best,beststep,stepsprob,steps,time%5u No. RunRun Numberrun%1uNSolution Found (1 => yes)%10u Steps Search TotalTotal Number of Search StepsSol'n Best of StepStep of Best Solution Foundbeststep Seed StartingStarting Seed For the Run Flips of Null NumberNumber of Null Flipsnullflips of RandomNumber of Random DecisionsrandNullFlips,PercentNullFlips%7.4f NullPercentPercent of Null Flipspercentnull%7.5fSuccess Probprob%10.6f seconds in CPU TimeTime in seconds (RTD Only)Clauses = %d Number of ClausesnumclauseVariables = %d Number of VariablesnumvarsTotalLiterals = %d Number of Total LiteralsPercentSuccess = %f Percent of Successful RunspercentsolveTotalCPUTimeElapsed = %f Total Time ElapsedFlipsPerSecond = %f Flips Per Secondfpsmean;medianSearch Steps All Search Step StatisticsstepsallCPUTimeTime (in CPU seconds)PercentNullPercent Null FlipsBestSolutionBestStepnumvars,numclause,numlitsinstinfoStartFalse%6u@startfalse # of startfalse @end endfalseCalcImproveMeanto best/ step Avg ImpavgimprStartFalse,BestFalse@1stlmfirstlmCreateBestTrackInitBestTrackUpdateBestTrackFinalBestTrack%4uSoln# ofbestcount%7.3fin best# falseAvg. ofbestmeanc.v. ofbestcvtot.impover 1stlm firstlmratioAvgImproveToBestFirstLMFirstLMRatioBestCountBestMeanBestCVRun ID, Local Min #, Penalty[0], Penalty[1]... Run ID, Penalty[0], Penalty[1]... SetupOutput,PrintSplash,PrintAlgSettings,PrintHeadersOut,PrintCurRowStandard Output -- Shows the results (columns) from each run (row)Columns to Display (ubcsat -hc for info)Statistics Report -- Shows summary statistics from all runsStatistics to Display (ubcsat -hs for info)Like stats, but do it for satzillabest[mean;cv],beststep[mean;cv;median;q10;q90],avgimpr[mean;cv],firstlmratio[mean;cv],bestcv[mean],totaltimeError Report -- All errors that are encountered (defaults to stderr)Run-Time Distribution -- Results from each run, sorted by step performanceColumns to Display (ubcsat -hc for more info)Solution Model -- Ouput of -solve: show the solution model of the last runCNF Stats -- Detailed information about the instanceState Data -- Detailed state information for each search stepSolutions -- Solution for every successful runPrint unsatisfied clauses when (nonzero) -target is reachedFlip Count -- Number of times each var was flippedUnSat Count -- Number of times each clause was unsatVariable Last Flip -- Step of most recent flipClause Last UnSat -- Last step each clause was unsatisfiedFinal DLS Penalties at solutionPenalty Trace -- DLS penalties at every local minimumSAT Competition Output (use -solve)SetupStats,SortByStepPerformanceInitFlipCounts,CreateFlipCountsInitUnsatCounts,CreateUnsatCountsInitClauseLast,CreateClauseLastSetupCountRandom,InitCountRandomProbability of Success (RTD Only)totaltime,fps,percentsolve,stepsall,time,instinfoNumber of False Clauses at InitialisationNumber of False Clauses at TerminationMean Improvement per Step to Best SolutionNumber of False Clauses at First Local MinimumBestFalse,CreateBestTrack,InitBestTrackUpdateBestTrack,BestFalse,CreateBestTrack,InitBestTrackFinalBestTrack,UpdateBestTrack,BestFalse,CreateBestTrack,InitBestTrackNumber of New 'Best Solutions' EncounteredMean of # False in New 'Best Solutions'Coefficient of Variation of # False in New 'Best Solutions'Number of False Clauses at First Local Minimum over total improvementFraction of improvement due to first local minimumDefaults,PickGWSAT,FlipMakeBreakVarInFalseMakeBreak,CandidateInfo,VarInFalseClausePickGWSATp wcnfp wcnf %d %dp cnf %d %dWarning! reading .cnf file and setting all weights = 1 Warning! reading .wcnf file and ignoring all weights Unexpected Error: increase constant MAXCNFLINELEN [%d] stddevq05q10q25q75q90q95q98qr75/25qr90/10qr95/05Error: unbalanced [] in (%s) _%s = StdDevCoeffVarianceQ.05Q.25Q.75Q.95Q.98Q.75/25Q.90/10Q.95/05%s_%s_%sOutput Columns: | |%s,%d -%d v Variables = %d MaxClauseLen = %d NumClauseLen_1 = %d NumClauseLen2 = %d NumClauseLen3+ = %d FullClauseDistribution = MeanClauseLen = %f MeanVariableOcc = %f StdDevVariableOcc = %f NumPosLit = %d NumNegLit = %d RatioPos:NegLit = %f :%dUnexpected Error: increase constant MAXITEMLIST [%d] Error: reference to (%s) is unknown Unexpected Error: increase constant MAXITEMLISTSTRINGLENGTH [%d] Unexpected Error: increase constant MAXREPORTS [%d] Unexpected Error: increase constant MAXREPORTPARMS [%d] Run ID, Step No., Num False, VarFlip, IsLocalMin, vararray Solution found for -target %d No Solution found for -target %d P????\(\?Defaults,PickRNOVELTY,FlipFalseInfoWALKSAT-RNOVELTY: McAllester, Selmen, Kautz [AAAI 97]Defaults,PickRNOVELTYPLUS,FlipFalseInfoWALKSAT-RNOVELTY+: Hoos [AAAI 99]rnoveltyPickRNOVELTYrnovelty+PickRNOVELTYPLUSReadCNFLitOccurenceCreateMinimalStateInfoInitVarFileInitVarsCheckTerminationDefaultsCheckTerminationWMinimalStateInfoWDefaultsWFlipMinimalFlipFalseInfoCreateFalseInfoCreateMakeBreakMakeBreak,FalseInfoFlipMakeBreakCreateVarScoreFlipVarScoreCreateVarInFalseClauseFlipMakeBreakVarInFalseCreateVarLastChangeInitVarLastChangeInitNullFlipsThe name of the algorithmvariant-vweightedgeneral help-h|-help|--helpalgorithm help-ha|-helpalgverbose help-hv|-helpverboseterse help-ht|-helpterseDisplay list of all reports-hr|-helpreportsreport columns help-hc|-helpcolumnsstatistics report help-hs|-helpstatsThe number of attempts (runs)-cutoff-targetForce a specific random seedsolve modesatzilla modefind N solutions-find|-numsol-restartno improvetime outinput instance file-inst|-ivariable initialisation file-varinitflip after initialisation-varinitflipparameter filereport(s)-report|-recho to screen-rechoSupress all header outputclean output-rclean#comment character-rcommentReadCNF,InitVarFile,LitOccurence,MinimalStateInfo,CandidateInfo,InitVars,CheckTerminationReadCNF,InitVarFile,LitOccurence,MinimalStateInfoW,CandidateInfo,InitVars,CheckTerminationWThe algorithm variant (if any)The algorithm uses weighted clausesDisplay general help and algorithm help if specifiedDisplay list of all algorithmsDisplay (verbose) help for all algorithmsDisplay (terse) help for all algorithmsDisplay help for report columnsDisplay help for the statistics reportsThe maximum number of search steps per runSolution found if [number of / cost of] false clauses <= target (MAXSAT)Terminate when a solution has been found and output solutionTerminate when a solution has been found and output solution, also write satzilla featuresTerminate when N solutions have been foundReinitialize variables every N stepsTerminate run if no improvement in nVars*factor stepsTerminate all runs once time exceeds timeoutSpecify an input instance file (default is stdin)Variable initialisation file format = -1 3 -4 ...Force N variables to be flipped after initialisationSpecify a parameter file (default is command line)Specify reports to run: use -hr for more infoEcho all file output to screen as wellChange the header / comment string (# is default)Defaults,PickHSAT,FlipVarScoreHSAT: Gent, Walsh [AAAI 93]hsatVarScore,VarLastChangePickHSATUBCSAT version %s ubcsat -h for help FATAL ERROR ENCOUNTERED: Help Parameters: UBCSAT Parameters: Supported algorithms: %s Printing Reports in UBCSAT: -------------------------- REPORTS: -r %s %s Parameter %2d: [%s] [%d] %20s - PercentSuccess = x.x Steps_Mean = x.x Steps_Median = x.x Steps_Max = x.x TotalLiterals = x [] [%s] ; %s: %s N (default %d) name N [M] (defaults are %d/%d)n.nn (default %f) No Paramaters [-alg %s Invalid algorithm specified ubcsat -ha for a list of valid algorithms UBCSAT requires you to specify an algorithm with -alg Algorithm Specification Parameters: UBCSAT Reporting & File I/O Parameters: no -inst file specified: reading from stdin -- e.g.: ubcsat 6@6d@70AH7,B|7B7pD7E8E@8Fx8F8H8J(9LP9,U9pU9U9V:HWT:W:AB FK.<@6k AB I`.. B.I. V.. B.,LyTl AB Ig.(.I.< l AB IS.. B.. B.. Q.$DVAB F.(AB I%.$DAB IW.,lqAB IP.c.I.xAB H.$".AB FM.$4#AB FM.$ 4$\AB Fd.$4$AB Fu.(\%AB FQ. a. D&`AB X.$&Yl AB FS.$'AB Fd.,'AB Fg.y. h.$,(>AB FR.$T(AB Ft.,||)2AB Fe.~. o.$+>AB FR.+AB S. ,AB P.$,AB S.$4@,|AB F[.\,AB S.|,(AB [.-(AB [.(-(AB [.$-AB FY., l.l AB FB..Q.$4 d/AB FY.(\ 0AB FQ. a.$ 0"AB F_., 1`AB F{.o. e.$ @3[AB FV.$ 4AB F.0 5#AB E.,P 5|l AB FT.G.S. 06)AB E., \6 m AB FB.o.Q. AB J.zP| @ 7* ..@..0dT9  .@  . . .zPL| , p(AB F.K.$PAB FW.$xhAB F.$[AB F.$dAB FH.$ AB F.$!AB F|.$@P":AB F.$h$AB C.((%AB F.(&AB C.(t(AB F$.$,*AB FS.(<(+AB F.$h,AB F[.$-@AB F.\80 ,m AB FL..{..q..r. T.M...q.r..M.u.zP| @ W4  9.. V.8d^  n..0a !.0fH .@k .9. .,Lo .0|px V.0,r .0s .zPL| $ 8uAB C[.LHu Wm AB F.S..w.K.U...w...,ym AB Fa..^.(AB FC.C.$HAB Cd.\AB V.$<xAB F}.dX\AB V.$m AB Fp.(`AB Z.$tAB Bs.$GE H`.zP| \ T ...!. .. .:.$k $x . 0 .4 .o.8<М  .k.8x\] *.%.$ .8X ..$(  .,@ԟB /.0pz G.@M  ...8  .V.8$H  .y.8`  .m.8  .m.84  .m.8ԩ &.o.8P|  .u.8$  .a.8 ,.. $ ., H...q..2. .8...$...4r . ..0. @ . .0.0. 00 ;.4d| .j.4r . ..0. 0t 3.P  . .0. .. 3.. $\P .0$  .4t . ..0. 0@ .$$b . 0L| y.40 .j.4X . .. 4 X . .. ,( d H.,X @ 0.  .. .. 0.B.0.(. .1.0. 2.0P. 2.0. l.1.0W. 4( r . ..0. 0`   .@ $ (. .[.$ @+ .$ |L ".$( L ".$P 0W ..4x ^ .B.4 x .X.@ ` .u..8, X ..<h 0 ).h.@  .P..@ l .y..,0 H @.0`  =.$ u  .0 H|  .0  .8$t% O..8`% O..4 .h.8P @..4X .h.8H @..0 .0   .@\  +.'.  .0U  .I. .r. .. .r. .. .. .7. .8. .7. .7. .7. .8. .7. .. .. .. (.@Dp%N (.(. .$'! .$'! .@( .Q..$0)$ .$DT)' .$l|), .,)@ *.,) '.$t*" .,* .$L+  .$t,,  .,, .,8- .,- .,,P. $.<\. ).P. .,0 5.,$19  .02{  .003 .4d6X . .. 4\6X . .. 069 E.48{ 3.>.4@l9 .j.@x9r . .. 0.. $d=~ &. 0A  .$C  .$@CP  .0hE P.<F J. .U.$HH3  .$H" .$,0I  .$T0MP .$|xQ; .$U6 (.$U7 .$\D . 0 ] .`P] z...z.>....,aq  .,(b .<b: ...@TdD ...@\f .B..@4h[ .R..4 k ..0Xpl '.0nd .@tn 0...0@o ).$8Hc Zjzʘژ *:JZjzʙڙ *:JZjzʚښ *:JZjzʛڛ *:JZjzʜڜ *:JZjzʝڝ *:JZGCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-113)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-113)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-113)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-113)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-113)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)d$,$ , #$ A!_IO_stdin_usedd../sysdeps/i386/elf/start.S/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/csuGNU AS 2.13.90.0.18o/<<#LSLfintN b VLb {MfLO|IS#NZ#  # O#7:# _:!#"#2 &  F  Q %    h  8  @B |XAj# ]k# e=l#m# nO#SSSd  jՅYd<?u[#va#xS#^zl#  {l# RHr}# Ki~# AN# O6# jS#$S#(S#,S#0S#4#8j$@S##S#US# S#&##@O# G=SCOUgxSSd SSbSSSS+G#CS#+#:jL_,492#3j#~,5 9/ 4: " r# $ %a ( H) *  + 7,S - G2: 3\ 9: : * s  > u   jS %  M ]    g -S  S S S e Z :   6 K S  % l \S ; E u q#  #aSa  a d!6S6a }G R5_ 7 8S 9 :S:/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/crti.S/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/csuGNU AS 2.13.90.0.18(/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/crtn.S/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/csuGNU AS 2.13.90.0.18%%  : ;  : ; I8 I!I/ $ > $ >  : ; : ;I : ; I : ; I  : ; (  : ;  I' II &I' < !I4: ; I?  %%Q/ ../sysdeps/i386/elfstart.Sd.01:"!VWYW  ../sysdeps/generic/bits../wcsmbs/usr/lib/gcc-lib/i386-redhat-linux/3.2.2/include../sysdeps/gnu../iconvinit.ctypes.hwchar.hstddef.h_G_config.hgconv.hi /usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csucrti.S2,W ,",: ,Wdd,,-:i /usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csucrtn.S:A | _G_int32_t__time_t__GCONV_INCOMPLETE_INPUT__daddr_t__int32_t__gconv_init_fct_G_iconv_t__rlim64_t__GCONV_ILLEGAL_DESCRIPTOR__gconv_infoshort unsigned intunsigned char__useconds_t__counter__fct__val__value__nsteps_G_int16_t__max_needed_from__gconv_btowc_fct__off_t__ssize_t__statepinit.c__fsfilcnt_t__steps__fsfilcnt64_t__blkcnt_t__blksize_t_G_fpos64_t__gconv_t__trans_end_fct__u_int/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/csu__GCONV_ILLEGAL_INPUT__gconv_loaded_object__to_name__uint64_t__id_t__GCONV_EMPTY_INPUT__cd__ino_t__GCONV_NOCONV__invocation_counter__pid_t__u_short__count__quad_t__u_long__fsid_t__GCONV_FULL_OUTPUT__max_needed_to__timer_t__stateful__uint32_t__key_t__u_char__gconv_step__shlib_handle__min_needed_toshort int__dev_tlong long int__gconv_trans_data__outbuflong long unsigned int__uid_t__wchb__uint16_twint_t__u_quad_t__gconv_trans_end_fct__flags__outbufend__combined__gconv_trans_init_fct__init_fct__modname__trans_context_fctGNU C 3.2.2 20030222 (Red Hat Linux 3.2.2-5)__trans_fct__rlim_t__wch__intptr_t__suseconds_t__ino64_twchar_t__GCONV_IS_LAST__blkcnt64_t__fsblkcnt64_t__mode_t__qaddr_t__pos__gconv_end_fct_IO_stdin_used__internal_use__GCONV_NODB__clock_t__gconv_step_data__gconv_trans_query_fct__socklen_t__int64_t__GCONV_NOMEM__off64_t__btowc_fct_G_fpos_t__int8_t__GCONV_OK__fsblkcnt_t_G_uint32_t__nlink_t__swblk_t__GCONV_INTERNAL_ERROR__mbstate_t__gid_t__clockid_t__state__gconv_trans_context_fct__next__GCONV_IGNORE_ERRORS__end_fct__trans__uint8_t__gconv_fct__from_name__min_needed_from__gconv_trans_fct__data__caddr_t_G_uint16_t__loff_t__int16_t01.0101.0101.0101.0101.01.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.data.dynamic.ctors.dtors.jcr.got.bss.comment.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_frame.debug_str.note#(( 1HHH7 ? Go>>Toc ̔Xl $$ u,,pDD {ddp . DT6 T4̔$ , D d  . T6  Mi \pd dp kp rp } |b Hc  +2?NXbmw *6  E U yTx+  5#"  A( 1 :c A L S Ѝ b   E& p   O   \ 4 K Q L: m   4l \  p  HH3   %  M r f | ] P  X  t,7   8  . "  @ q T u Լ } d (  L  Ȭ    O - :$ = ( n  |+ tY, Lv8  7(   +\ E ` ~'"   O 6X [ ؽ  [ 5 A b ~s  g| 8u /7 6p M bЃ /  @, 7 $" U ?$|= ULy x,"  Ęm T (R F` ^q q &  O  P > C`23 bz d1  1 (1 %" M\ x. @ $ '5" X "I D Lp( fG( (-(" p ԘH\Y ) D H) ,  0 Wdw $I @q !v! :(b Tp lAO (x p  ,- <N Vԓk r#<"  l " 2> `7  < ă . QjqY  4 . -(" X vo $E% \:^ 9m p4T +Ht 4` !g vJ ( 4I D%  d" 4 NP `xw t47,  ` T2H"    O" $B @X\ `Pk t0 ` L  \6" 9d#LdB< U 0g0W  0  ԍ A |  >  XB ,J B ^tp4L \E2  / 0E  O  Q 8 + F  V r a  6 r p !\ 1!LP!+ Z! m!< !< !) !TL !̽ ! /"1 <" ["u"C3 "U7 "N "u "xS "K5 "X+U #M F#& Q#Ec#P # #(*V # # $8 &$P/ 2$ę$O$, ]$z $ $ $ō $9r $'\ ]'|L w' '(4 '؃ ' '+  ' '" (ؽ 1(EK(,* n(\T" (1`" (T  (p )P5x )),, H)\D ])" )8 )q )`A )pl )**u +*܅ B*lw V*t e*Rq *` *w *b, * * +<b +/ %+ .U 4+\ n+d +LU +I+`q +`/ +T)' , J,X c,h` n,L ,W4 ,\ ,r , ,Ľ - - .-Է2 K-p (!-ԍ - - - .p 2.P=x <.^ f.0 x., ., . .H| .N .$l /D7 ./p J/0@ W/4yg/> r/p /, / / / /& 0& 0 00I N0Df0l 0,r 0@P 0b 0T0 0 1 1d'1$ b1( j1$9 u1(+ 1ET 1t#1܍ 1, 1C 2\z 52P Q2AP Z2cq2 2 W 2X2} 2[] 3<,  3 O3. m3)@ 3=3ԩ 3O 3 4&:4$A& P4k n4p 4lI 4 4X 4q 5Z2 -50 @5d _5 n5\f 5tn 5 5` 6H %6O O6 f6p {6L 6`J 6T 6$ 6( 6 6xQ; $70 !]77: h71 w7X 7|A$ 7, 7+  7P 7$," a8(  z8@ 8Ě8T\ 8< 9x, "9R= A9&Y" 9# 9 9H :O (:x I:x d:t :d0 :pZo :X :Ԛ:P. ;+ !;T .;O G;` Y;RDm;U6 ;?J ;̉ ;t*" ;t ;H ;xZ <Ek +<< P< m</ <O <\6X <N <!" <, =@= "=L=?; b=p |='! = =8E =1O = =$ >d >P #>aq S>`c+ s> > >S>t8e >/ >` ?0 ? &?s ??\ [? u?L,& ?TR! ?O ?O ?N ? @47H" N@ n@x }@ @ @CP @$MA +A EA+3 eA4FvAp, ADA;b A4 BA !BT3BM- OB< gBd/" BO B0I C C@ /Cp DC QCp ]C@2B oCH@> C8< C* C C C(- CdmD :D SDtpDx D DXc DUD DH DO  El 'EQEX lED; yE6 ED E E, E\] E0< F F@+9 %F/ /F, OF0MP mF Fr F؍ F|7 F FxW," F8- Gp 'G4]G4 yG@ GE G Gb: G G  GHP .H? ;Hp NH)V ZHěkH0 {H8{ Hԛ+HT H H4 H HB  I2{ I AIbIH }IP Iԃ ID IH Ip I  J ,JT 1J+ =Jp GJ\ ]J, JO JbJ J+: J JE J/! K7K ` RKD dK] K<C K@ KO KX KL8r !L4 CLp TLP0 aL oL L#W LL|), L$ZLh M* 1MX,  @Mн YM {Ma M$/ M p M M. NP !Npx >NO ZN(\ uN4N N A N Nw NDNB@ ODV EOXY bOTO| O7  OLA- Ot, Oh P "Pp  -PP EPx ^PA$ qP|)2" P\% Pč  Q 'Qp4 6Q6 HQd9ZQX tQp QvR Q! Q,  Q  Q Q R -R 3RO LR nR4/ zR7  R-" Rt'RtṘk R@o SL 7S ZSlSk S. S SS S6S$$ S'" vT- T-@ Tp TC T Ul7 UH, -UĜvUyE UȄ U@ U(@O UP6J UA$ Uw VP 1V& DV4h[ aV  lVԜ:V,(" V" Z Z )Z' 3Zx CZv XZP` uZk Z ZuE Zl9 Z Z , P[4 [d [. :[ a O[q c[F }[4$\" [p [fH [[S+\h G\8( d\O x\D% \0 \d, \ \  \h ]0 &](` M]J j] ] ] ]]|& ](>" 7^V[ Q^'! o^ ^pw ^0)$ ^h ^81 ^؝} _O +_( C_p Z_$4l_,0 z_̩ _H _ _$D) _4_ _ `D` `0" o` `QZ ` ` `t `=4 `t( a[& 4a( Iaxl Qa$19 sa a̍ al." a> aV b  "bT[@b> Hbp%N ybT1 bnd b0 b bdC c ,  cd=~ 0c DMc| cp cH c@ cu  dM# 7d"." ]d0 yd+" d e  e  e X 1e8 n ceDM e+& el# e e  ep er f3 4f06)" f | f f0 fDZ* g] /gtBgx@G Qg$ ig<#- zgzgȃ g$ gl hB< h5hd 3h@3[" ]h/ khhD&`" hp h[" h htw  i1. ih 0i Di69 cix xiD iМ iH iih jlM -j4#" RjN bjA jH j, j  j9j^  j k kT 2k,, AkdD `kPI kd k| kk kA' kx lN 4ld Kl dl@+ l lh l1 lq l( l. m` -m 8m{# Nm@,|" mĝ&m mԝ4mx*n  Ln K Tn=A ^n|/ gnOi qn@ np nhw n<H nL nC nԽ oT oi 4ow Mo ^o+ ro osoX !o@0 oP": o, oN p` @!Mp ]p( wp* pȍ ph p q p7p ," MqsB dq0 pq1 ~qr q q qO ql q$q0I r80  &r#( .r6; Dr3e \r4 zrEm rPD r+ r4rH s4" 9s- Isp G" hs(% ~s0"" s t tU 9t6; QtP-U" t|A t8 tp t* t0 td. t6 u& !uR" Ou# Wu$ nu6 u uD+uT0u5J uH  /usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/config.habi-note.S/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/abi-tag.hinit.c/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/crti.S/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/defs.hinitfini.ccall_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____EH_FRAME_BEGIN____JCR_LIST__p.0completed.1__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_aux/usr/src/build/324954-i386/BUILD/glibc-2.3.2-200304020432/build-i386-linux/csu/crtn.Sfeatures.cc_ZSt8__ioinit_Z41__static_initialization_and_destruction_0ii__tcf_0_GLOBAL__I_mainSATinstance.cc_ZZN11SATinstance15neighborClausesEPiPSt3setIS0_St4lessIS0_ESaIS0_EEE3lit_ZZN11SATinstance15neighborClausesEPiPSt3setIS0_St4lessIS0_ESaIS0_EEE11otherClause_ZZN11SATinstance15neighborClausesEPiPSt3setIS0_St4lessIS0_ESaIS0_EEE3var_GLOBAL__I__ZN11SATinstance12badFeatNamesESATpreprocess.ccstopwatch.cppSATmodel.cclpkit.cgcc2_compiled.make_SOSchaininc_mat_spaceinc_row_spaceinc_col_spacefind_mat_elm1create_SOSrecSOS_is_activeinit_rowcol_namesscalecolumnsscalerowsminmax_to_scalenamenumbernumberbuffersolve.cftranresize_etasetpivcolminoriterationinvertcolprimrowprimrowdualcoldualiterationprimloopdualloopsolvelpcalculate_dualscalculate_sensitivity_dualscalculate_sensitivity_objSOS_can_activatebranch_and_boundmilpsolvefind_sc_bbvarSOS_is_markedfind_sos_bbvarfind_int_bbvardebug.cstreamhash.cpresolve.ctighten_boundscnfoutput.cpppreprocessor.cppreadproblem.cppuplit.cpputilities.cpp_GLOBAL__I__ZN5hypre3bNTEcheckpreproc.cppfindscc.cpphypres.cppubcsat.calgorithms.cgsat.cubcsat-alg.cubcsat-parms.cnovelty.cwalksat.cweighted.creports.cgwsat.cubcsat-cnf.cubcsat-reports.crnovelty.cubcsat-defaults.chsat.cubcsat-help.cubcsat-time.csaps.cgsat-tabu.chwsat.cubcsat-mem.cwalksat-tabu.cubcsat-io.cmylocal.cmt19937ar.c_ZN6ubcsat2mtE_ZN6ubcsat3mtiE_ZZN6ubcsat13genrand_int32EvE5mag01_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev@@GLIBCPP_3.2get_verbose_ZNSt8_Rb_treeIPiS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE14_M_create_nodeERKS0__ZN8SATmodel15estimateRunTimeEPdget_constr_type_ZN6ubcsat5iFindE_ZN5hypre3topE_ZN11SATinstance17nextClauseWithVarEv_ZN11SATinstance7testAPIEv_ZN6ubcsat14CheckNoImproveEv_ZN6ubcsat2tvE_ZN6ubcsat15fFlipsPerSecondE_ZN6ubcsat7pRepRTDEpresolve_ZN6ubcsat9PrintSIntEPNS_10typeREPORTEPKci_ZN5hypre15fprintEquivLitsEv_ZN6ubcsat9SetStringEPPcPKc_ZN6ubcsat13CompareSortedEPKvS1__ZN11SATinstance19writeFeaturesToFileEPcget_sensitivity_obj_ZN6ubcsat11sFilenameInE_ZN5hypre10NEW_NUMCLSE_ZN6ubcsat15CreateFalseInfoEvpostprocess_ZN11SATinstance15writeStatsSTDEVEPdiPc_ZN6ubcsat10AddNOVELTYEv_ZN6ubcsat9iLastHeapE_ZN6ubcsat8PickHSATEv_ZN5hypre11naryUPstackE_ZN6ubcsat11pDefaultAlgE_ZN6ubcsat16UpdateClauseLastEvsolve_ZN6ubcsat11aRTDColumnsE_ZN6ubcsat14iNumCandidatesE_ZN6ubcsat4fRhoE_ZN6ubcsat5aFxnsE_ZN5hypre8foundBugE_ZN5hypre20sizeAccessedNclsListEget_rowfgetc@@GLIBC_2.0_ZN6ubcsat11ActivateAlgEPNS_13typeALGORITHME_ZN6ubcsat14bSolutionFoundE_ZN6ubcsat17fPercentNullFlipsE_ZN6ubcsat17fBestFalseTrackCVE_ZN6ubcsat10pRepPenSolEset_constr_type_ZN6ubcsat13PrintHdrFloatEPNS_10typeREPORTEjPKcd_ZN6ubcsat12PrintHdrUIntEPNS_10typeREPORTEjPKcjset_verbose__strtod_internal@@GLIBC_2.0_ZN6ubcsat7CurTimeEv_ZN6ubcsat8parmHelpEget_orig_indexadd_constraint_ZN5hypre15numNewBclsFoundE_ZN5hypre13equivLitStackE_ZN6ubcsat12PickGSATTABUEv_ZN6ubcsat16iLastRequestSizeE_ZNSt5dequeIiSaIiEE16_M_push_back_auxERKicolumn_in_lp_ZN6ubcsat12pRepSatzillaE_ZN6ubcsat11AddRNOVELTYEv_ZNKSs7compareERKSs@@GLIBCPP_3.2_ZN6ubcsat9iNumFalseE_ZN5hypre7addBclsEiiprint_duals_ZN5hypre20sizeAccessedLitsListE_ZN6ubcsat14aSortedByStepsE_ZN6ubcsat9HelpShowVEv_ZN6ubcsat10PrintStatsEvstrncat@@GLIBC_2.0vsprintf@@GLIBC_2.0strchr@@GLIBC_2.0_ZN11SATinstance10writeStatsEPdiPc_ZN5hypre9HypResDFSEiPNS_9UniqueSetEset_rh_ZN5hypre10start_timeEdebug_print_solution_ZN6ubcsat17iNumOutputColumnsEset_epsd_ZN11SATinstance14retardedSearchEvSOS_is_satisfiedget_Norig_columns_ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi_ZN6ubcsat18SatzillaPrintStatsEv_ZN6ubcsat8FlipSAPSEv_ZN11SATinstance12writeFeatureEPcd_ZNSt14__simple_allocISt13_Rb_tree_nodeIPiESt24__default_alloc_templateILb1ELi0EEE10deallocateEPS2_j_ZN5hypre17pushUnitPropStackEifeof@@GLIBC_2.0_ZN6ubcsat14sFilenameParmsE_ZN6ubcsat15CalcImproveMeanEv_ZN6ubcsat10parmUBCSATE_ZN5hypre7hr_timeE_ZN6ubcsat14UpdateVarScoreEv_ZN5hypre10BinResDFS2EPNS_6preLitE_ZN6ubcsat13iBestNumFalseE_ZN6ubcsat11pRepVarLastE_ZN6ubcsat5sLineE_ZN11SATinstance16mkVarTranslationEPSt3mapIiiSt4lessIiESaISt4pairIKiiEEES8__ZN6ubcsat16CalcPercentSolveEv_ZN6ubcsat15SetDefaultParmsEPNS_13ALGPARAMETERSEset_epspivot_ZN6ubcsat11AddParmSIntEPNS_13ALGPARAMETERSEPKcS3_S3_S3_Piiset_splitnegvarsget_splitnegvars_ZNSt8_Rb_treeIPiS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE13insert_uniqueERKS0__ZN6ubcsat9PrintUIntEPNS_10typeREPORTEPKcj_ZN6ubcsat9sParmLineE_ZN6ubcsat7iCutoffE_ZN6ubcsat7ReadCNFEv_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE11lower_boundERS1__ZN6ubcsat9PickHWSATEv_ZN6ubcsat19UpdateVarLastChangeEvscaleCR_ZN5hypre12naryUnitPropEi_ZN5hypre19fprintReducedTheoryEv_ZNSt14__simple_allocISt13_Rb_tree_nodeIPiESt24__default_alloc_templateILb1ELi0EEE8allocateEj_ZN5hypre10DFScounterEungetc@@GLIBC_2.0_ZN6ubcsat11GetVarStateEPj_ZN6ubcsat13aFalseListPosE_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev@@GLIBCPP_3.2_DYNAMIC_ZN6ubcsat17InitVarLastChangeEvset_mip_gapprint_constraintsget_break_at_valuestrdup@@GLIBC_2.0_ZN6ubcsat7pRepErrEbuild_row_end_ZN6ubcsat7iNumAlgE_ZN6ubcsat10StartClockEv_ZN6ubcsat11PrintSplashEv_ZN5hypre11NEW_NUMBCLSE_ZNSs4_Rep10_M_disposeERKSaIcE@@GLIBCPP_3.2_ZN6ubcsat15aVarInFalseListE_ZN6ubcsat16UpdateColumnsRowEv_ZN5hypre13numValuedLitsE_ZN6ubcsat13AddReportParmEPNS_10typeREPORTEPKcNS_8PARMTYPEEPvset_floor_first_ZN6ubcsat12fFalseTotalWE_ZN6ubcsat13genrand_int32Ev_ZSt13__cmath_powerIdET_S0_j_ZN11SATinstance12stupidSearchEvset_rh_range_ZN5hypre18checkSizeUndoStackEvget_ptr_constraintsget_Nrows_ZN6ubcsat9iNumFoundE_ZN6ubcsat15iNumStatsActiveE_ZN5hypre22sizeInComponentSetListE_ZNSt8ios_baseD2Ev@@GLIBCPP_3.2_ZN6ubcsat11NewVarStateEv_ZN6ubcsat17fMaxClausePenaltyEget_sensitivity_objex_ZN6ubcsat13GetRowElementEPNS_13typeREPORTCOLEj_ZNSt14__simple_allocISt13_Rb_tree_nodeISt4pairIKiiEESt24__default_alloc_templateILb1ELi0EEE8allocateEj_ZN6ubcsat16fNoImproveFactorE_ZN5hypre7initSCCEv_ZNSt24__default_alloc_templateILb1ELi0EE8allocateEj@@GLIBCPP_3.2_ZN6ubcsat14AddColumnFloatEPKcS1_jPcS2_S2_S2_PdS2_set_minimset_maximget_ptr_sensitivity_objwrite_LP_ZTVSt9basic_iosIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZN5hypre16AccessedLitsListE_ZN6ubcsat11TimeElapsedEv_ZN6ubcsat5sNullE_ZNSolsEPFRSoS_E@@GLIBCPP_3.2_ZN5hypre7outfileEstrcmp@@GLIBC_2.0_ZN11SATinstance16localSearchProbeEb_ZN11SATinstance5stdevEPdid_ZN5hypre13LITSINCLAUSESE_ZN6ubcsat5iStepE_ZN6ubcsat7iNumLitEget_lp_indexusingHypreFile_ZN6ubcsat16sFilenameVarInitE_ZNSiD2Ev@@GLIBCPP_3.2_ZN6ubcsat19CreateVarLastChangeEv_fp_hw_ZN6ubcsat14fxnRandomFloatE_ZN11SATinstance4meanEPii_ZN6ubcsat13genrand_res53Ev_ZN5hypre18initUniqueSetArrayEv_ZN5hypre18fprintTimesVisitedEvset_break_at_first_Z12writeFeaturePcd_ZN5hypre11UndoChangesEv_ZN6ubcsat12AddRTDColumnEjPKc_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE14_M_create_nodeERKS2_fprintf@@GLIBC_2.0get_upbo_ZN6ubcsat5aHeapE_ZN6ubcsat10SetupStatsEvprint_lpprint_str_ZN6ubcsat11iStartFalseE_ZN5hypre8EQVNLITSE_ZN5hypre7printDSEv_ZN6ubcsat8aColumnsEreset_basis_ZN11SATinstance13reduceClausesEiRiS0__ZN11SATinstance16outputActiveFeatEPb_ZN6ubcsat14fxnRandomRatioEfflush@@GLIBC_2.0_ZN6ubcsat9SetupFileEPP8_IO_FILEPKcS4_S1_j_ZN6ubcsat13InitBestFalseEv_ZN6ubcsat14aVarLastChangeEget_scalemode_ZN5hypre18printReducedTheoryEv_ZN6ubcsat14pRepOptClausesE_ZN6ubcsat12init_genrandEmset_print_solcopy_hash_table_ZN6ubcsat14aOutputColumnsE_ZNSt14basic_ifstreamIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode@@GLIBCPP_3.2_ZN6ubcsat6iPsNumEunlink@@GLIBC_2.0_ZN6ubcsat8HelpShowEv__fini_array_end_ZN5hypre17checkForImplicantEiii_ZN11SATinstance11numBadFeatsEset_debug_ZN6ubcsat6aStatsE_ZN6ubcsat8iNumRunsEget_varpriority_ZN6ubcsat18PrintTraceSolutionEv_ZN6ubcsat14IsLocalMinimumEv_ZN6ubcsat10aNumLitOccE_ZN6ubcsat20PrintAlgParmSettingsEPNS_10typeREPORTEPNS_13ALGPARAMETERSEget_negrange_ZN6ubcsat17iBestStepNumFalseE_ZNSi3getERc@@GLIBCPP_3.2get_mat_raw_ZN6ubcsat14CreateVarScoreEv_ZN6ubcsat9repDefErrEfindhash_ZN5hypre11printReportEv_ZN6ubcsat13FlipFalseInfoEv_ZN6ubcsat20CalcPercentNullFlipsEv_ZN6ubcsat15ParseParametersEPNS_13ALGPARAMETERSEdel_columnmktemp@@GLIBC_2.0_ZN6ubcsat7AddStatEPKcS1_S1_S1_S1_S1_S1__ZN5hypre15pushnaryUPstackEiset_lowrange_ZN6ubcsat10AddParmIntEPNS_13ALGPARAMETERSEPKcS3_S3_S3_Pjj_ZN6ubcsat12BuildReportsEv_ZN6ubcsat11CountRandomEvget_epsilon_ZSt9terminatev@@GLIBCPP_3.2get_obj_bound_ZN5hypre21cleanupUniqueSetArrayEv_ZN6ubcsat12ActivateStatEjPKcbtran_ZN5hypre13CONTRADICTIONE_ZN6ubcsat10AddDEFAULTEv_ZN11SATinstance9array_maxEPii_Z13PreprocessCNFPc_ZN6ubcsat12AddColumnIntEPKcS1_jPcS2_S2_S2_PjS2__ZN6ubcsat13InitFalseInfoEv_ZN6ubcsat21CheckInvalidParamtersEvset_bounds_ZN5hypre11orig_varnumE__dso_handle_ZN6ubcsat9AddGWSATWEv_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE11lower_boundERS1__ZN6ubcsat15fPenaltyImproveE_ZN9StopwatchC2Ev_ZN6ubcsat4pAlgE_ZN6ubcsat10aFalseListE_ZN5hypre10numSatBclsE_ZN5hypre18GetInternalRunTimeEv__cxa_call_unexpected@@CXXABI_1.2_ZN6ubcsat11pClauseLitsE_ZN6ubcsat11SetVarStateEPj_ZN6ubcsat20AddUniqueStateToListEPPNS_20typeVARSTATELISTNODEEPj_ZN11SATinstance10nextClauseEv_ZN6ubcsat11SetupOutputEv_ZN5hypre12getUniqueSetEv__libc_csu_fini_ZN6ubcsat14iTracePenMaxLME_ZN6ubcsat11aBreakCountEis_debug_ZN6ubcsat10aFlipCountEputchar@@GLIBC_2.0_ZN6ubcsat24FlipMakeBreakVarInFalseWEv__cxa_atexit@@GLIBC_2.1.3_ZN5hypre10BinResDFS3EPNS_6preLitE_ZN11SATinstance4meanEPdi_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE13insert_uniqueERKS2__ZN11SATinstanceC1EPKcl_ZN5hypre9NEW_NVARSEget_ptr_sensitivity_objex_ZN6ubcsat16CreateClauseLastEv_ZN6ubcsat7AddHSATEv_ZN6ubcsat15CloseSingleFileEP8_IO_FILE_ZN6ubcsat10bShowHelpSE_ZN5hypre8dfs_timeEput_abortfunc_ZN6ubcsat19HelpPrintParametersEPNS_13ALGPARAMETERSE_ZdlPv@@GLIBCPP_3.2_ZN6ubcsat21SortByStepPerformanceEv_ZN6ubcsat9ResetHeapEv_ZN6ubcsat7iNumVarEprint_solution_ZN6ubcsat23FlipMakeBreakVarInFalseEv_ZN6ubcsat15AddOutputColumnEjPKc_ZN6ubcsat15sDefaultCommentE_ZN5hypre6memberEiPii_ZN6ubcsat8prog_tmsE_ZN6ubcsat12fImproveMeanEget_col_nameset_epselget_var_branch_ZN6ubcsat17PrintSatzillaStatEPNS_14typeREPORTSTATEPKcPcd_ZN6ubcsat17PrintPenaltyTraceEv_ZN5hypre16fprintNaryOfLitsEv_ZNSt8ios_base4InitC1Ev@@GLIBCPP_3.2_ZN6ubcsat13listFunctionsEset_epsb_ZN6ubcsat11PrintCurRowEv_ZN6ubcsat13AddParmCommonEPNS_13ALGPARAMETERSEPKcS3_S3_S3__ZN5hypre12newBclsStackEprint_file_ZN5hypre7PRENCLSE_ZN5hypre11readProblemEPc_ZN6ubcsat15UpdateNullFlipsEv_ZN6ubcsat8AddGWSATEv_ZN6ubcsat12fxnRandomIntE_ZN6ubcsat11bReportEchoE_ZN6ubcsat8PickGSATEv_ZN6ubcsat9aVarValueE_ZN6ubcsat14FlipMakeBreakWEv_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZN6ubcsat8PrintHdrEPNS_10typeREPORTEjPKc_ZN5hypre17convertNaryToBclsEPNS_7preNclsEi_ZN5hypre11USArraySizeE_ZN11SATinstance15writeStatsSTDEVEPiiPc_ZN5hypre11deleteCountEset_basis_ZN6ubcsat7AddItemEPNS_12typeITEMLISTEPKcis_break_at_first_ZN6ubcsat10bShowHelpTE_ZN6ubcsat5bNullE_ZN6ubcsat6fAlphaE_ZN6ubcsat14UpdatePercentsEv_ZN6ubcsat11aMakeCountWE_ZNSt8ios_baseC2Ev@@GLIBCPP_3.2_ZN11SATinstance10writeStatsEPiiPc_ZN6ubcsat13genrand_real2Evset_negrangeputs@@GLIBC_2.0get_columnmax_allowed_columns_init_ZN6ubcsat12PrintHdrSIntEPNS_10typeREPORTEjPKci_ZN6ubcsat18iNumBestFalseTrackE_ZN5hypre14foundNewForcedEset_upboget_bounds_tighter_ZN5hypre16AccessedNclsListE_ZN5hypre16fprintActiveLitsEv_ZNSirsERi@@GLIBCPP_3.2_ZN6ubcsat16VerifyStatsParmsEPc_ZN5hypre7findSCCEvwrite_mps_ZN6ubcsat8AddGSATWEvftime@@GLIBC_2.0_ZN6ubcsat12aMakePenaltyE_ZN6ubcsat15aBestFalseTrackEconstruct_solutionmalloc@@GLIBC_2.0_ZN6ubcsat13AddParmReportEPNS_13ALGPARAMETERSEPKcS3_S3_S3_unscaleset_rh_vec_ZN5hypre10runBinRes3Ev_ZN6ubcsat14CheckBestFalseEvfscanf@@GLIBC_2.0_ZN5hypre13UnitPropStackE_ZN6ubcsat14bValidArgumentE_ZN6ubcsat20InitMinimalStateInfoEv_ZN6ubcsat17InitClausePenaltyEv_ZN6ubcsat13FlipVarScore2Evwrite_lp_ZNSsD1Ev@@GLIBCPP_3.2_ZN6ubcsat18iWalkSATTabuClauseE_ZN6ubcsat12FlipVarScoreEvmemmove@@GLIBC_2.0_ZN6ubcsat9listStatsE_ZN6ubcsat10FreeStatesEPPNS_20typeVARSTATELISTNODEEis_anti_degen_ZN6ubcsat13AddStatCustomEPKcS1_S1_PvNS_7COLTYPEES1_S1__ZN6ubcsat15PrintTraceStateEv_ZN6ubcsat8PrintRTDEv__cxa_rethrow@@CXXABI_1.2_ZN6ubcsat12AddParmFloatEPNS_13ALGPARAMETERSEPKcS3_S3_S3_Pdd_ZN6ubcsat14pRepFlipCountsE_ZN6ubcsat14aClausePenaltyE_ZNSt12__basic_fileIcED1Ev@@GLIBCPP_3.2_ZN9Stopwatch5StartEv_ZN6ubcsat15HelpNoAlgorithmEv_ZN5hypre12numEquivLitsE_ZN6ubcsat17CheckTerminationWEv_ZN6ubcsat13fFirstLMRatioE_ZN6ubcsat13ParseItemListEPNS_12typeITEMLISTEPcPFvjPKcE_ZN5hypre9iterationE_ZN6ubcsat11bSameStatesEPjS0_set_break_at_value_ZN5hypre16pushnewBclsStackEiistr_set_rh_vec_ZN6ubcsat16HelpPrintColumnsEv_ZN6ubcsat22HelpPrintAlgParametersEPNS_13typeALGORITHME_ZN6ubcsat22CreateCompoundFunctionEPKcS1__ZN6ubcsat9sInitLineE_ZN6ubcsat14ActivateColumnEjPKc_ZN5hypre28cleanupNewImplicantListArrayEv_ZSt4cerr@@GLIBCPP_3.2_ZN5hypre9SATISFIEDE_ZN6ubcsat13FindAlgorithmEPKcS1_j_ZN6ubcsat11FlipMinimalEv_ZN6ubcsat10bSolveModeEstdout@@GLIBC_2.0stderr@@GLIBC_2.0set_lp_name_ZN6ubcsat22CreateVarInFalseClauseEv_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCPP_3.2is_SOS_varget_total_iter_ZN6ubcsat16AddStatCompositeEPKcS1__ZN9Stopwatch11ChildrenLapEvset_obj_boundis_print_sol_ZN5hypre17printnewBclsStackEv_ZNSt14__simple_allocISt13_Rb_tree_nodeISt4pairIKiiEESt24__default_alloc_templateILb1ELi0EEE10deallocateEPS4_j_ZN6ubcsat10RandomSeedEj_ZN6ubcsat8iRestartE_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@@GLIBCPP_3.2_ZN5hypre12bclsUnitPropEi_ZN11SATinstance13isVarInClauseEPiiget_max_num_inv_ZN5hypre17printInitialStatsEv_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZN6ubcsat13genrand_real3Ev_ZN6ubcsat16fBestFalseWeightE_ZN5hypre23checkForImplicantHelperEiii_ZN6ubcsat18aVarInFalseListPosE_ZN5hypre18checkForImplicant2Eii_ZN5hypre14dfs_start_timeE_ZN6ubcsat11HelpBadParmEPcget_piv_rule_ZN6ubcsat13PrintVarStateEPj_ZN6ubcsat16ActivateFunctionEjPKcsysconf@@GLIBC_2.0_ZN6ubcsat20PrintTraceOptClausesEv_ZN6ubcsat17CreateUnsatCountsEvadd_columnex_ZN6ubcsat11pRepSATCompE_ZN5hypre6UPlistEvfprintf@@GLIBC_2.0_ZN6ubcsat9StartSeedEvget_reduced_costs_ZN6ubcsat9RandomIntEj_ZN6ubcsat16CreateFlipCountsEv_ZN6ubcsat14PickWALKSATSKGEv_ZN5hypre7PRELITSE_ZN6ubcsat19CreateClausePenaltyEvget_rh_upper_ZN11SATinstance16outputAssignmentEv_ZN6ubcsat14AddNOVELTYPLUSEv_ZN6ubcsat11RandomRatioEjj_ZN6ubcsat15pRepUnsatCountsE_ZN6ubcsat15AddRNOVELTYPLUSEv_ZN6ubcsat12iNovNoiseNumE_ZN11SATinstance9array_maxEPdiget_bb_ruletime@@GLIBC_2.0setpivrow_ZNSs4_Rep8_M_cloneERKSaIcEj@@GLIBCPP_3.2get_ptr_reduced_costs_ZN6ubcsat12iInitVarFlipE_ZN6ubcsat15PrintHeadersRTDEv_ZN11SATinstance15computeFeaturesEvget_rh_rangeget_variablesstr_add_column_ZN6ubcsat10PickGWSATWEv_start_ZN6ubcsat13aClauseWeightE_ZN6ubcsat17PrintUBCSATHeaderEPNS_10typeREPORTE_ZN5hypre18checkReducedTheoryEv_ZN5hypre12foundNewBclsE_ZN6ubcsat13PrintFullStatEPNS_14typeREPORTSTATEPKcPcdfgets@@GLIBC_2.0get_rhget_epsd_ZN6ubcsat8FindItemEPNS_12typeITEMLISTEPcget_improveset_semicont_ZN5hypre11incrFindSCCEv_ZN6ubcsat13InitNullFlipsEv_ZN5hypre13renum_varusedE_ZN6ubcsat14InitClauseLastEv_ZN5hypre17printPreprocStatsEv_ZN6ubcsat6iWpDenE_ZN6ubcsat12pRepSolutionE_ZN6ubcsat13FlipMakeBreakEv_ZN6ubcsat15fPercentSuccessE_ZSt21_Rb_tree_rotate_rightPSt18_Rb_tree_node_baseRS0__ZN11SATinstance8unitpropERiS0_set_varweights_ZN5hypre14UniqueSetArrayE_ZN6ubcsat7parmAlgE_ZN6ubcsat22CreateMinimalStateInfoEv_ZNSt15basic_streambufIcSt11char_traitsIcEED2Ev@@GLIBCPP_3.2_ZN6ubcsat15iNumRandomCallsE_ZN6ubcsat11UpdateTimesEv_ZN6ubcsat17UpdateUnsatCountsEvfputs@@GLIBC_2.0_ZN6ubcsat13iFunctionLoopE_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv@@GLIBCPP_3.2get_row_name_ZN6ubcsat11AddParmBoolEPNS_13ALGPARAMETERSEPKcS3_S3_S3_Pjjget_matstrstr@@GLIBC_2.0_ZN6ubcsat13InitMakeBreakEv_ZN6ubcsat10iBestScoreE_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2__ZN6ubcsat9pRepModelE_ZN6ubcsat10PickRANDOMEvCurtisReidScales_ZN6ubcsat13genrand_int31Ev_ZN5hypre9numSatClsEprint_scalesis_feasibleget_ptr_variables_ZN5hypre17printImplicationsEvprint_objective_ZN6ubcsat20PrintTraceFlipCountsEv_ZN6ubcsat8iNumHeapE_ZN6ubcsat12fxnRandomMaxEset_var_branch__cxa_end_catch@@CXXABI_1.2_ZN5hypre18InComponentSetListE_ZN6ubcsat11aAlgorithmsE__strtol_internal@@GLIBC_2.0_ZN6ubcsat21bClausePenaltyCreatedE_ZN5hypre9runHypResEvdel_constraintexqsort@@GLIBC_2.0_ZN5hypre12topUndoStackE_ZN6ubcsat7iTargetE_ZN6ubcsat6iWpNumE_ZN6ubcsat13InitBestTrackEv_ZSt19__throw_logic_errorPKc@@GLIBCPP_3.2_ZN6ubcsat13bSatzillaModeEset_row_name_ZN11SATinstance10compute_lpEb_ZN6ubcsat4iRunE_ZN5hypre5NVARSEset_trace_ZN6ubcsat11AddFunctionEPKcNS_7FXNTYPEEPFvvEPcS5_set_col_name_ZN6ubcsat9aVarScoreEis_semicontget_epsel_ZN5hypre7addImplEPNS_6preLitEi_ZN6ubcsat15CreateMakeBreakEv_ZN5hypre7UPstackE_ZN6ubcsat10AddWALKSATEv_ZN5hypre15numNewEquivLitsEget_Lrows_ZN6ubcsat11aUnsatCountE_ZN5hypre9UniqueSet5emptyEv_ZN6ubcsat17PrintTraceVarLastEv_ZN5hypre7NUMBCLSE_ZNSt9basic_iosIcSt11char_traitsIcEED2Ev@@GLIBCPP_3.2_ZN6ubcsat14aCandidateListE_ZN5hypre10var_assignECurtisReidMeasure_ZN6ubcsat9RandomMaxEv_ZN6ubcsat19HelpPrintAlgorithmsEvdebug_print_ZN11SATinstanceC2EPKclstrncmp@@GLIBC_2.0_ZN6ubcsat13genrand_real1Evdel_columnex__fini_array_startset_uprangefputc@@GLIBC_2.0__libc_csu_init_ZN6ubcsat12PickRNOVELTYEvfloor@@GLIBC_2.0SOS_fix_unmarked_ZN6ubcsat12SetupReportsEv_ZN6ubcsat10bShowHelpCEdebug_print_boundsmake_lpext_ZN6ubcsat7CalcFPSEv_ZN11SATinstance13setVarAndPropEib__gxx_personality_v0@@CXXABI_1.2_ZN6ubcsat12GetAlgorithmEv_ZN6ubcsat12fTotalWeightE_ZN6ubcsat14iNumRTDColumnsE_ZN6ubcsat13iNumNullFlipsE__bss_start_ZN5hypre8inHypResE_ZN6ubcsat10aFunctionsE_ZN6ubcsat18AddColumnCompositeEPKcS1_mainget_timeoutlag_solveSOS_is_member_of_type_ZN6ubcsat21PrintTraceUnsatCountsEv_ZN6ubcsat5PrintEPNS_10typeREPORTEPKc_ZN5hypre5panicEPczis_int_ZN5hypre11NACTIVELITSE_ZN6ubcsat8InitVarsEv_ZN6ubcsat13InitSolveModeEv_ZNSs4_Rep9_S_createEjRKSaIcE@@GLIBCPP_3.2_ZN6ubcsat13sMasterStringE_ZN6ubcsat5iSeedE_ZN6ubcsat14CheckPrintHelpEv_ZN6ubcsat12PostFlipSAPSEv_ZN6ubcsat25PrintPenaltySolutionTraceEv_ZN6ubcsat12pRepCNFStatsEcopy_lp__libc_start_main@@GLIBC_2.0_ZN6ubcsat15PickWALKSATTABUEv_ZN11SATinstance13testBackTrackEv__init_array_endset_piv_ruleget_matrecrow_ZN6ubcsat13iFirstLMFalseEset_obj_fnexp@@GLIBC_2.0_ZN6ubcsat11PrintRTDRowEj_ZNSiC2EPSt15basic_streambufIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZN6ubcsat8fTimeoutE_ZN6ubcsat16UpdateFlipCountsEvis_do_presolve_ZN6ubcsat11aLitOccDataE_ZN5hypre21NewImplicantListArrayE_ZN5hypre16changeNaryToBclsEPNS_7preNclsEiget_infinite_ZN11SATinstance12badFeatNamesE_ZN5hypre13sizeUndoStackE_ZN6ubcsat11aTotalParmsE_ZN6ubcsat13bTerminateRunE_ZN5hypre5visitEPNS_6preLitE_ZN6ubcsat14pRepClauseLastE_ZN6ubcsat12CloseReportsEvrealloc@@GLIBC_2.0_ZN5hypre12renum_varnumE_ZN9StopwatchC1Ev_ZN6ubcsat9bShowHelpE_ZN6ubcsat11listColumnsEstrcat@@GLIBC_2.0SOS_get_type_ZN11SATinstance15neighborClausesEPiPSt3setIS0_St4lessIS0_ESaIS0_EE_ZN6ubcsat14InitMakeBreakWEv_ZNSi6ignoreEii@@GLIBCPP_3.2_ZN6ubcsat15UpdateBestTrackEvget_Ncolumns_ZN9Stopwatch3LapEv_ZN6ubcsat14iFunctionLoop2E_ZN6ubcsat10PrintFloatEPNS_10typeREPORTEPKcd_ZN6ubcsat13fxnRandomSeedEdata_start_ZN6ubcsat10aClauseLenE_ZN6ubcsat10BuildLocalEv_ZN8SATmodelC1EPdi_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE13insert_uniqueESt17_Rb_tree_iteratorIS2_RS2_PS2_ERKS2_str_add_lag_con_ZN5hypre3bNTE_ZN6ubcsat13fxnRandUInt32Estr_set_obj_fnget_solutionlimitprintf@@GLIBC_2.0_ZN6ubcsat11AddNOVELTYWEv_ZN5hypre13numSatNaryClsE_ZN6ubcsat9StopClockEv_ZN5hypre17pushequivLitStackEiis_print_at_invertSOS_infeasible_ZN6ubcsat9ScaleSAPSEv_ZN5hypre16topUnitPropStackE_ZN6ubcsat6parmIOE_fini_ZN6ubcsat11pRepPenaltyE_ZN11SATinstance13unitPropProbeEbset_epsilonget_lp_name_ZSt3minIjERKT_S2_S2_memcpy@@GLIBC_2.0sqrt@@GLIBC_2.0_ZN6ubcsat14AddWALKSATTABUEv_ZN6ubcsat27HelpPrintAlgParametersTerseEPNS_13typeALGORITHME_ZN6ubcsat16SetupCountRandomEv_ZN11SATinstance10conflictedEPiS0_fclose@@GLIBC_2.1_ZN6ubcsat11AddGSATTABUEv_ZN6ubcsat14iNumTotalParmsESOS_set_markedstrrchr@@GLIBC_2.0_ZN11SATinstanceD1Evtimes@@GLIBC_2.0str_add_constraint_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE13insert_uniqueESt17_Rb_tree_iteratorIS2_RS2_PS2_ERKS2__ZN6ubcsat20PrintTraceClauseLastEv_ZN5hypre24runnaryEquivLitReductionEv_ZN5hypre8CURNLITSE_ZN6ubcsat19CreateCandidateInfoEv_ZN6ubcsat11fPenaltySumEget_Norig_rowsset_do_presolve_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_PS3_@@GLIBCPP_3.2_ZN6ubcsat20InitMakeBreakPenaltyEv_ZN6ubcsat8AddHWSATEv_ZN6ubcsat9PickGSATWEvget_lambdaget_work_solution_ZN8SATmodelC2EPdi_ZN6ubcsat14sCommentStringE_ZN6ubcsat16CreateMakeBreakWEvset_bounds_tighter_ZN6ubcsat14HelpPrintStatsEvpreprocessgettimeofday@@GLIBC_2.0_ZNSt14__simple_allocISt13_Rb_tree_nodeISt4pairIKSsiEESt24__default_alloc_templateILb1ELi0EEE8allocateEj_ZN6ubcsat26HelpPrintSpecialParametersEv_ZN6ubcsat12bReportCleanE_ZN5hypre12numInitUnitsE_ZN11SATinstance9array_minEPdi_ZN6ubcsat15PickNOVELTYPLUSEv_ZN6ubcsat11PrintStringEPNS_10typeREPORTEPKcPc_Z9grepVLinePcsrand@@GLIBC_2.0_Z7DoVLinePcS__ZSt20_Rb_tree_rotate_leftPSt18_Rb_tree_node_baseRS0__ZN6ubcsat6AddAlgEPKcS1_jS1_S1_get_bounds_ZN5hypre11lenNclausesE_ZN6ubcsat13HelpBadReportEPcget_constraints_Z17PreprocessorCleanvcurrInstanceForUBCget_total_nodes_ZN5hypre9UndoStackE_ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3__ZN5hypre19getNewImplicantListEvget_sensitivity_rhs_ZNSt8_Rb_treeIPiS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE9_M_insertEPSt18_Rb_tree_node_baseS8_RKS0__ZNSt8_Rb_treeIPiS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE8_M_eraseEPSt13_Rb_tree_nodeIS0_E_ZN5hypre15pushbclsUPstackEiadd_lag_conset_lowbo_ZN6ubcsat3tzpE_ZN6ubcsat7AddSAPSEv_ZN11SATinstance9backtrackEv_ZN5hypre15checkResolvableEv_ZN6ubcsat6iPsDenE_ZN6ubcsat8InitSeedEv_ZN6ubcsat16PickRNOVELTYPLUSEv_ZN6ubcsat8aCritSatE_ZN6ubcsat8aNumFxnsE_ZN6ubcsat8sVarNameEreport_ZN6ubcsat11AllocateRAMEj_ZN6ubcsat8aReportsE_ZN5hypre8end_timeE_ZN6ubcsat11InitVarFileEv_ZNSt11_Deque_baseIiSaIiEED2Ev_ZN5hypre14numReducedNaryE_ZN5hypre14checkDuplicateEvexit@@GLIBC_2.0_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@@GLIBCPP_3.2_ZN6ubcsat14fLastTimeStampE_ZN6ubcsat14FinalBestTrackEv_ZN6ubcsat7pRepOutEdel_constraint_ZN6ubcsat8sAlgNameEset_max_num_inv_ZN6ubcsat20iBestStepFalseWeightE_ZN11SATinstance19clauseGraphFeaturesEbprint_tableau_ZN6ubcsat9AddReportEPKcS1_S1_S1__ZN5hypre25initNewImplicantListArrayEv_ZN5hypre15fprintLitValuesEv_ZN6ubcsat11aNumTrueLitE_ZN6ubcsat13SetStartFalseEv_ZN6ubcsat10aStepArrayEcalloc@@GLIBC_2.0add_column_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZN5hypre12printSummaryEv_ZN6ubcsat15PrintHeadersOutEv_ZN6ubcsat19aBestFalseStepTrackE_ZN6ubcsat12iVARSTATELenE_ZN6ubcsat11PrintOutRowEj_ZN6ubcsat15InitCountRandomEvset_epsperturb_ZN6ubcsat18DeactivateFunctionEjPKc_ZN6ubcsat9pRepStateE_ZN6ubcsat10bShowHelpVE_ZN5hypre10numAddBclsEsscanf@@GLIBC_2.0set_lag_traceSOS_member_index_edata_ZN6ubcsat14MatchParameterEPcS0_is_splitvar_IO_putc@@GLIBC_2.0_ZN6ubcsat11RandomFloatEv_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_end_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE13insert_uniqueERKS2__ZN6ubcsat11fxnRandOrigE_ZN6ubcsat20InitVarInFalseClauseEv_ZN6ubcsat11PickNOVELTYEv_ZN6ubcsat14fxnCountedRandE_ZN5hypre7iterNumEauto_scale_ZN5hypre10runBinRes2Ev_ZN6ubcsat10CopyStatesEPjS0__ZN11SATinstanceD2Evputhash_ZN6ubcsat19PrintSATCompetitionEv_ZN6ubcsat19fBestFalseTrackMeanE_ZN5hypre8LitStackE_ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj_ZN6ubcsat11sStringParmE_ZN5hypre13recordSummaryEv_ZN5hypre9cnfoutputEv__cxa_begin_catch@@CXXABI_1.2mat_elm_ZN6ubcsat15PrintColHeadersEPNS_10typeREPORTEjPjget_epsperturb_ZN6ubcsat24HelpPrintParametersTerseEPNS_13ALGPARAMETERSE_ZN6ubcsat20PickNOVELTYPLUSWCSWEEvcreate_hash_tablememset@@GLIBC_2.0is_trace_ZN6ubcsat15BuildParametersEv_ZN6ubcsat15sValidStatCodesE_ZN6ubcsat13AddParmStringEPNS_13ALGPARAMETERSEPKcS3_S3_S3_PPcS4__ZN5hypre11NEW_NUMNCLSE_ZN6ubcsat14PrintHdrStringEPNS_10typeREPORTEjPKcPcstdin@@GLIBC_2.0_ZN5hypre6HypResEPNS_6preLitEPNS_9UniqueSetE_ZN5hypre18fprintImplicationsEv_ZN11SATinstance13array_entropyEPdiii_ZN6ubcsat14iFlipCandidateE_ZNSt14__simple_allocISt13_Rb_tree_nodeISt4pairIKSsiEESt24__default_alloc_templateILb1ELi0EEE10deallocateEPS4_j_ZN6ubcsat9PickGWSATEvWarn_countadd_SOS_ZN6ubcsat15AddNOVELTYPLUSWEv_ZN11SATinstance20writeFeatNamesToFileEP8_IO_FILE_ZN6ubcsat21InitMinimalStateInfoWEv_ZN6ubcsat15InitUnsatCountsEvset_magic_ZN6ubcsat12AbnormalExitEv_ZN6ubcsat15AddWeightedAlgsEv_ZN5hypre9NEW_NLITSE_ZN5hypre13resetAccessedEv_ZN6ubcsat13PrintCNFStatsEv_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE14_M_create_nodeERKS2__ZN11SATinstance19writeFeaturesToFileEP8_IO_FILE_ZN6ubcsat13aBreakPenaltyE_ZN6ubcsat18PrintSolutionModelEv_ZN6ubcsat12FlipVarStateEPjj_ZN5hypre11pushUPstackEistrncpy@@GLIBC_2.0get_ptr_lambda_ZN6ubcsat10bShowHelpAElp_solve_version_ZNSt24__default_alloc_templateILb1ELi0EE10deallocateEPvj@@GLIBCPP_3.2_ZN6ubcsat6fDummyE_ZN5hypre9BinResDFSEPNS_6preLitESOS_unmarkget_lowbofopen@@GLIBC_2.1_ZN6ubcsat10iNoImproveE_ZNSt5dequeIiSaIiEE17_M_reallocate_mapEjbset_scalemode_Unwind_Resume@@GCC_3.0_ZNSt11_Deque_baseIiSaIiEEC2ERKS0_j__init_array_start_ZN11SATinstance5stdevEPiid_ZN6ubcsat16PrintAlgSettingsEv_ZN6ubcsat10iNumClauseEget_objective_ZN5hypre7addNclsEii_ZN5hypre8NCLAUSESE_ZN6ubcsat16PickRNOVELTYCoreEv_ZN6ubcsat7AddGSATEv_ZN6ubcsat7FreeRAMEv_ZN6ubcsat14CopyParametersEPNS_13typeALGORITHMEPKcS3_j_ZN6ubcsat17bTerminateAllRunsE_IO_stdin_usedunscale_columns_ZN6ubcsat8FindParmEPNS_13ALGPARAMETERSEPc_ZN11SATinstance13array_entropyEPiiifree_hash_table_ZN6ubcsat18CreateLitOccurenceEv_ZNSs20_S_empty_rep_storageE@@GLIBCPP_3.2get_mip_gapscale_Znaj@@GLIBCPP_3.2_ZN5hypre11UnitPropLitEi_ZN6ubcsat8aVarInitE_ZN5hypre13hr_start_timeE_ZN5hypre11bclsUPstackEset_anti_degen_ZN6ubcsat16HelpPrintReportsEv_ZN6ubcsat16CheckTerminationEv_ZN6ubcsat10SmoothSAPSEv_ZN6ubcsat16PickNOVELTYWCSWEEv_ZN6ubcsat18BuildAlgorithmListEvput_msgfunc_ZN6ubcsat15AddCompoundItemEPNS_12typeITEMLISTEPKcS3__ZN6ubcsat12aBreakCountWE_ZN5hypre10foundNewUPE_ZN5hypre12NILArraySizeE_ZN6ubcsat15CreateBestTrackEvSOS_is_full_ZN5hypre7NUMNCLSEget_epspivot_ZN11SATinstance12lobjoisProbeEb_ZN6ubcsat8PrintRowEPNS_10typeREPORTEjjPj_ZN6ubcsat13AdjustLastRAMEj_ZN6ubcsat10fTotalTimeEset_matrix_ZN6ubcsat8PickSAPSEv_ZNSs12_S_constructIPKcEEPcT_S3_RKSaIcESt20forward_iterator_tag_ZdaPv@@GLIBCPP_3.2_ZN6ubcsat17CheckParamterFileEiPPcsprintf@@GLIBC_2.0_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E@@GLIBCPP_3.2_ZN5hypre20addnewBclsStacktoLitEvisvalidget_basisget_epsbdelete_lp_ZN6ubcsat10iStartSeedE__data_start_ZN6ubcsat18iNumVarInFalseListEappend_SOSrec_ZN6ubcsat8SetupRTDEvSOS_is_member_ZN6ubcsat10pLitClauseE_ZN6ubcsat4mainEiPPc_ZN5hypre17checkImplicationsEv_ZN6ubcsat11iNumReportsE_ZN5hypre5NLITSEset_print_at_invert_Jv_RegisterClassesmodf@@GLIBC_2.0_ZNSs4_Rep11_S_terminalE@@GLIBCPP_3.2is_lag_trace_ZN5hypre24runbclsEquivLitReductionEvset_bb_rule_ZN6ubcsat12iNovNoiseDenE_ZTVSt13basic_filebufIcSt11char_traitsIcEE@@GLIBCPP_3.2rand@@GLIBC_2.0_ZN6ubcsat12fFalseWeightE_ZN6ubcsat14InitFlipCountsEv_ZN5hypre10visitCountE_ZN11SATinstance5printEv_ZN6ubcsat8sVersionE_ZNSt8ios_base4InitD1Ev@@GLIBCPP_3.2_ZNSt14__simple_allocIiSt24__default_alloc_templateILb1ELi0EEE10deallocateEPij_ZN6ubcsat9HelpShowTEvset_improveget_max_levelwrite_MPS_ZN6ubcsat11aClauseLastE_ZN5hypre8filenameE_ZN6ubcsat9pRepStatsE_ZN5hypre7tempSetElog@@GLIBC_2.0_ZN5hypre17fprintNaryIndicesEv_ZN5hypre12preprocessorEvset_matget_ptr_work_solutionget_ptr_sensitivity_rhs_ZN5hypre16resetInComponentEvget_rh_lower_ZN6ubcsat15AdjustPenaltiesEvset_timeout_Znwj@@GLIBCPP_3.2_ZN6ubcsat12AddParmRatioEPNS_13ALGPARAMETERSEPKcS3_S3_S3_PjS4_jj_ZSt18_Rb_tree_rebalancePSt18_Rb_tree_node_baseRS0_get_floor_first_ZN11SATinstance9array_minEPii_ZN5hypre9runBinResEv_ZNSt8_Rb_treeISsSt4pairIKSsiESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2__ZN6ubcsat10aMakeCountE_ZN6ubcsat11iTabuTenureE_ZN6ubcsat12InitVarScoreEvget_ptr_primal_solution_ZNSt22_Rb_tree_base_iterator12_M_decrementEvput_logfunc_ZN6ubcsat9bWeightedE_ZN6ubcsat31HelpPrintSpecialParametersTerseEvset_int_ZN6ubcsat10bShowHelpREset_infiniteset_solutionlimitset_constr_type_ex_ZNSt22_Rb_tree_base_iterator12_M_incrementEvmake_lp_ZN6ubcsat9CleanExitEvget_solutioncount__gmon_start__ceil@@GLIBC_2.0strcpy@@GLIBC_2.0get_primal_solution_ZN11SATinstance20writeFeatNamesToFileEPc