8__PAGEZEROX__TEXT@@__text__TEXT({(__cstring__TEXT0G0__const__TEXT  __symbol_stub__TEXT~__stub_helper__TEXT.h.__gcc_except_tab__TEXT __unwind_info__TEXT L__eh_frame__TEXT@ `X__DATAP*@__program_vars__DATAP@__mod_init_func__DATAP$@ __nl_symbol_ptr__DATA8P8@__la_symbol_ptr__DATA RT B __const__DATA`T`D__data__DATATD__common__DATA@\*__bss__DATA@1.8__LINKEDIT@.0P'"0PPpxRXirc|$i PaaQg /usr/lib/dyldmC˞G<|lP# 4}/usr/lib/libSystem.B.dylib 4 /usr/lib/libstdc++.6.dylibUS[u6u.$.$z1D$D$y$[UUS[u6u..$1D$D$ay$9[UU(]u}[uvunT.$0|$D$>y$ -ǃ -F$F|$D$y$]u}UPUS[u6u..$0D$D$x$"[UUS[u6u.G.$/D$D$sx$[UUS[u6u.^.$4>/D$D$/x$X[UUS[u6u..$.D$D$w$[UUS[u6u..$jt.D$D$w$[UUS[u6u.<.$.D$D$ew$)[UÐj]$ML$ˉ\$u\$ Q$ UE@UE@US[!9HP 9v 9w8H88!999a9[UWVS[UB xp 9vI~UT$8D$R"UT$؋8D $2"9w[^_U]u[u8D$4$!u8؉D$4$!‹]uUWVS,[u4$n!FpPU@;u DU 9UEEE7D PUx 9t$@ $%!ED$@ $ !tj@ $$ƋE ؉D$4$!+D$ D$D$u$C4$$L 9}vX,[^_UWVS,[6~]67<8uC6DPUp 9v'|$@ $t $9uwG96},[^_UWVS,[ǃ56ǃ96E$A6} 6E<$]UDF u닃66$dh".$dV".$ D".}~|EuA6$ "A6$ "GA6$ !GA6$ !F 6UBU9U}Q6$ !DF uꋃQ6y6ǃE6$ y!=6$dg!6,[^_UWVS,[rD$ rD$rD$r$4ErE؋u4D0 $E܋40$E4D0$Nj4D0$UU܉T$ D$ED$E؉$lEE94w,[^_UWVSL[,PŰH MЃ3t$QD$q$3($EȉEԃ3xEDB93}EU9UEE5rMPEUЋ:<$!w 9sY3)‹D4<u;Mԍ8u U؉BU؋MM3tD$E$+9wU3t M $EE܃EE9ETEE3EE;rUċMȃ<uD40@<w;؋U׃B3tD$Mĉ $t}EE5E0ǃ@3tt$Uĉ$=}EEF93k3tAr$E M܉ED$Tr$UT$or$M܉L$r$3+E+ED$r$E+E+ED$r$L[^_UWVS<[C)PU؋H M܉$D$ p$J0($#EԉE0xEDB90}U9UEhoM̍)pEȋU܋:<$u|w $(9s[3)‹w1<u=M8u UBU1)ȋMT$Ẻ$k9wUȉ$eEM9Mc+p$;S)08p1pEЋUԋuPw10ut$MЉL$S)$A<D$ t$|$S)$[D$ t$|$S)$?F90}<[^_U]u[/@/O/.@D$w/D$$7/w//B B7/]uUWVS\[EmEnUMЉL$ED$~"$o.EEEEE/MȀ<5Eȉ$, uRU$ tEE~"D$ D$%D$m$VMM $uEԋEȉ$E /P Pƃ/AUȉ$tƃ/ /HM܋x 9Eމ1)‹/<4$%E؋U$uZM $tMEE~"D$ D$%D$m$1$PM MJP$2Eȉ$eE9}- /P Pƃ/U$*ƃ/ /HMx 9Eĉމ1)‹/<4$E؋Uĉ$uZMȉ $tMEE~"D$ D$%D$m$~;$PMȉ MĉJP$tyE$E9}EMU9.M؉L$ EԉD$UT$~"$}tEЋE9E6/D$ D$nD$~"$n\[^_UWVS<[uiUԍiUЍPUD$EԉD$%$)*EEE*<8<$uME$u4%D$ D$%D$i$EEKU$~Wu<$kEEGM9)*NE܉D$UЉT$%$#}tE'D$iD$%$<[^_UWVS,[}yE(P EE(P@Ezr 9v@ $tY9wExH 9v1+)3)Ѐ<0u,3)Ѐ<0t9wE؉$@,[^_UVS['~2i(<0u4$ u ؉$F9'}Ӄ[^UWVS,[E'EPUp 9vH}ߋ~|$'D$M|$؋'$19uwUBxp 9vH~UT$'D$UT$؋'$9wUBxp 9v$9wUB xp 9v$9wEB BEPB BEPB BEP B BU$(mD$$,[^_UWVS,[E D$U$E ؉E܅yU 9&D PUE ؋9&DPUx ;}sCxu3UT$@ $yƋE܉D$4$4$J 9}w}yU 9&PUE ؋9&DPUx 9}vGE$Ƌ@;Fv4$FF4$ t 9}v ,[^_UWVS,[}yE%P U؋EE%PU؋@E܋E؋xp E9v2Exu@ $u E}i9wՋU܋zJ 9v+x%3)Ѐ<0u E}19wۃ}uE؉$cE؋@EU؋r 9vux xub<$puV$B B|$$$0ED$$$ UT$$$ru 9uwE܋xp 9v\$P P$B;Bv$$$AAUT$$$u(9wUE1)Љ$w,[^_UWVS,["~NEED$#D0 $ ED$#D0$ G9"},[^_UVS["~<#<0u"4$et*u؉$PtF9"}:[^UWVS[E`U\}u M1ɋD$ D$D$a$ǃ"Dž|DždDžhDžlDžpTbPbLGHa$|D$obD$$rb$$hVtV:-S|D$obD$$uOtDžp&rb$+$Dždǃ"DžhwD$bD$$MXL$PD$$~HHT$X $*{uyXD$bD$$SD$ D$KD$L$'c$,$O DžpO:-Bb<wTqqqqqqqqqqqqDžljD$ D$D$3c$m`D$U T$M $%"$) oIBAB$u4D$ D$%D$Oc$莿sQ;Q uplt:t4D$ D$DD$wc$6Džll pt tWt|$#t?ht t-dt\D$`$$M $}dM3 t"ļ[^_US[E1)ы2H9[U$t$[u~+{{>uA$t$US[UwD4 Љ- [U]u[uF $MD$]$豽]uUWVS[ED$]$腽U $]$jU B$]$ZU Bxp 9v$O9w]$+U B pX 9v$ 9w$ [^_UWVS<[u$EE~M1)‹p9|.D$ L$H]D$T$$$l;~B;Bv$PM P}ԉ<$nP;P tȃ<[^_UVS[u1)‹u7B;Bv$B0B9[^UWVS,[E@EUz 9vD71)‹ 9tf؉D$U$uO9}wD$E$UB;B u\$E$$,[^_UWVS,[o B;Bv$o 8wE$wU$WO[ B;Bv$[ 8wM $6wE$gƃu1UB@$ _[$MAPU܋xk E1)41)M}~#VB;Bv$VB8BB;Bv$B8B~4MQB;Bv$EPBM܉BEB;Bv$^MBM܉B$NjEG 7GPUp 9~O1)Ћk TB;Bv$3)‹k TB8BM1)Ћk T B;Bv$3)‹k T B8B9uRЃ,[^_US$[E"E &]$ uUB;B t$uك$[UUB+B USEM P @9s9 u 9 t 9w[UWVS}u W _9sыA92Eȃ9wO[^_UWVSEX x9sދ$U VD9wEp[^_UWVSEX x9sދ$U VD9wEp[^_UWVSEX H9r&s9v&V;Su9t9w ߋEx[^_Ã9wUWVS<[}w GD$GD$ t$D$"W$=;ws"[SED$E$9ww$ <[^_US[ED$VD$n$z$JU8]u}[u<VUV UD$$訵…u:|$ D$VD$,$ $$Ҵ>E+EЉFV DF]u}UWVS}u ;}<$F;|O ^V 9v9wO[^_U(]u}[}dD$袴ƅu6FD$ D$D$V$N$$Wu6FD$ D$D$V$$豳>FF DF]u}UWVu$NjH V D$T$ $ճ4$ G G^_UWVSu E$Ë~v 9v$C;Cv$CC9w܉؃[^_U$t$[u ڹu B0B 9$t$UWVS[EPUp 9v181)ʉȃ:9u 9uw׸[^_UWVS,[U>UxH 9v3*03)Ѐ<0uB3)Ѐ<0t19wUB xp 9v!@ $'t 9v ,[^_UWVS,[UUBxH 9v303)Ѐ<0uB3)Ѐ<0t19wUBxp 9v!@ $t 9v ,[^_UE~ $M ؉$UWVS<[H MЉH AUAUЋy؋P@E@ Eԋzr 9v$_v9wMԋIMEԋ@ E96U2B;Bv$B0BHF PU؋x 97 M܉1)ЉU܀<u-11)ЋU܀<u4$9Mw͋1)ʉȃM 9t_9}Ջ:tFuAF xp 9v4B;Bv$P P9w̃EM9MEM9HA<[^_U]u[u ڹu 4$ 9]uUYP@bUWVS[Ut1P<uABu牋[^_UWVS[MieEmP}mE썻m$}荃mE}<u:}<tP<uE}@EEF}H}EFQui}eiEe[^_UWVS[EMO}E썻$}荃E}<u6}<uE}@EEF}H}EFQuM[^_UWVS[EMNuE썳$u荃Eu<u/u<uEu@EEHuEGQuM[^_UWVS[M5E19Nu9E썳9$u荃9Eu<u0u<tF<u EGHuEu@EQuE51u51[^_UWVS[u} ~HL DB9u[^_UWVSL[ǃ3O+P;UOMȍbRU܋xU4:u#9UJu܋M܉+;pUE/U9}*;Eč;ME̋ŰEăU9UuM/;aE䋓7U9~);$Eč;EЋUЋEăU9UuM䉋7;{HLƄ;UOU܉;@+u%{@$b{3$2#{3$={@$ L[^_U$t$[MU a)9NΉ)9N9$t$UWVS,[E 0E8waEEEl|$4$tE E 0ENt$<$btEE8E09} );E )9Eut$$t UEG"\$4$kt E4EGEEUEtUE 4t'9u둋UE EGt!UE EGut}Ѓ }u<[^_UWVS [u|t|aMǍE썋:M9U~E +ME tQ91u9U~ AM2+UAM$At90t 90u@B ‹@uWu [^_UWVS[MstdoouuLut?9u @u(Pt!9 t 9u ։‹BF ‹BuWu[^_UWVS\[UEMEznuЍ}0nU̍:|MȋuЋ tk}Bu uċ}̉Fuċu9u;}~!0nB;UuǃIuE}UvMĉ~s0nuE܍:|U؍:GMԋEtUM9u#U2;E~M14$t4$"EG;|ǃ\[^_UWVS<[EE䍃E7E܍qE؍EEԋa9~E܋4 )‰ЋU4tB~U؋D$E$EUM M؉@ Z?$x1tHE$‹u@A Ћ]u}U8]u}[E䍓3/LUM IREU؉ G3?$ƋML$<$EUMM؉@33$Q tDEuoM@oBU gЋ]u}UWVS<[E; $UǍgM^E܍HRU؍aMԍVsEЍֿmŰMU<M܋֋a9~Rlyhd s`m\IXITwl4~hD dD$(uW;#L@; 1O@Fy@y3?@$~ $Hud#L@ 1O@lD y@yɹ3@$`D1\T1~u~qЃ~d~ TXB9uǃ$uugG9a2 ǃaI>R s|mxItIp<>|x~u~q<~h@~$ptB;@uǃ4$uubF9a\ ǃaI>RII8<u^~ 8B9uǃ4$uu F9aEDžUI>Ry<uE9|= D DT 9MF9uZj\f(ȾDžUI>Ry* < uk9|ct.T< *^Zf.r@F9wn DžUI>Ry<u=D DT 9MF;uZj\f(ȾDžUI>Ry* <uM<tT *^Zf.rGF;u:E;0nntkƄ3I>R}KUay@yƄ3#LƄ3 1Oɹ3$?$%ǃZǃ5 [^_UVS[ǃu ny nIaY nt$K Y nq nIa~@9uAu@uEux$nt{];q n}9t=;Mau=;Mau<];q nt9uu n@u n9y n[^US[t+$|B$|uՃ[UWVS,[EM =@ 5 ~ IaaDžDDž(JSHc(MHB(MDž<<<(u܉HDž448T,@<9Nj,,1)ƋH1)9~,H,Z9,uJ<$D7uD$<:9Da;Da~Y4R88B9uЉaa~4$JF9aܞnB5 uǃ?aJS ϑ4$ 0< <u4@<$t2<$u094$J0F9aka~ 3?4 D$DD$DG;a|:t=a~!<:B9uaDao,[^_UWVS|[D$ D$$vED$mn4$vmni@BFinǃ]nE/E5UBMIERU=ME̋U EƋ}t FO)ȅuE̋ŰM $uinxu}t FO)ȅueE̋E̋U EԉƋ}t FO)ȅuE̋ŰM $tu]nEԉ$^uunu}t FO)ȅu)E̋ŰM $u]ZEuu} t FO)ȅuE̋ŰM $t}neu} t FO)ȅu ǃYn6D$ D$jD$]$t$otE̋E9E,W.uv}nu u9ǃu>-[(‹uuTUVuin$t}nD$uZD$unD$ inD$D$$sD$ D$;D$$s$sƉ$Tt>ED$E D$E$<< <t@<PD$ D$(D$1$UsEZ$}sEǃ=ǃAǃIMa*)‰QnǃUn8k$sD$ D$#D$$r4$:s6A;Qauo$rtHD$ D$'D$$SrUT$Ma$Ez$irj}u3D$ D$%D$)$qE1D$ D$(D$Q$qEaD$]D$ UD$YD$}$q)*^[D$D$$1qEЃ|[^_UYǁ ǁǁǁǁ ǁǁǁǁǁ ǁ$ǁ(ǁ,ǁ0ǁ4ǁ8ƁPǁǁǁǁǁfWǁǁǁ ǁ(Ɓ0Ɓ0ǁ0ǁ4UWVS}u ]~;B9}[^_UWVS[}~#  F9u[^_UWVS [= EEI U -E }EwE4}ԋ4~M};tB;UtCEE9Eu -3U}U~}E<}Ժ멉ٸE뺋E [^_UWVS[v ~/Ev}}:}:A9}[^_US[L%;%}%% t$$tpX%;%|lL%ddNh%,uE*X(%(%*X0%0%RX`%`%[UVS[%S%fW%g%o%%@eu?%u ddN_t4$cto[^UWVS[ ~/ E^u}}:}:A9}[^_UWVS,[ @~LN E䍓bUN؋U<DƉD$ED$$/lF @9у,[^_UWVS[}u P%L%U|ыt؅NE)ЉttT;%u%%L%ʉ%u&%D$ L$D$@1+$hk+E|?u\ Eąr-EtEUMEċ0Eč M< J@%0 4@%8 @%Uu , E(  }91)ЋUF;uދ< u<u|, E̋(  M؃}~^9ɉ1)оU; u6!M؋<1)ʋM;u1)ЋuF;uuEE9E-E|?U䋄\ Ef-EtMuEUUE܉< B@%N@%0 8 E܋8 @%0 u܋EU, EЋ(  }~91)ЋU F;ut^⋃< <uP,  Mԋ( u܋ }~2E91)…u;u"9UtE EȋU9U- Eu9ut뱁Č[^_UWVS,[q%D$#D$$ hApE䍓?U؋U<EƉD$ED$$ggfff)9uD$$ gF9A}Ngfff)ʍ9tD$$ WgD$ D$ D$C$Kg,[^_UWVS,[ED$3D$$f#CE䍓!U؋U<EƉD$ED$$fgfff)9uD$$ zfF9#}Ngfff)ʍ9tD$$  E䉃,EE8,ǃd"ǃdZ$Y,yǃ; d2 ǃd# uЍt FO)ȅu6EH;E~-EԍD$D$UԋM $"=uЍ  t FO)ȅE;ED$t$UԋM D$<D$t$UԋM D$<Em$D$D$UԋM $u<ǃǃuЍ t FO)ȅuǃiuЍt FO)ȅuǃɗuЍ&t FO)ȅu+EԍD$ EԉD$U T$M $KuЍ! t FO)ȅu+EԍD$ EԉD$U T$M $uЍ.t FO)ȅu+EԍD$ EԉD$U T$M $IuЍ6t FO)ȅu+EԍїD$ EԉD$U T$M $XuЍ<t FO)ȅu+EԍD$ EԉD$U T$M $uЍDt FO)ȅu5Eԍ$D$ EԉD$U T$M $VǃuЍJt FO)ȅuǃwuЍOt FO)ȅuǃ՗ǃ8uЍTt FO)ȅu&ǃٗŗǃŗuЍ\t FO)ȅuǃݗuЍat FO)ȅu+EԍŗD$ EԉD$U T$M $fuЍit FO)ȅu+EԍD$ EԉD$U T$M $uЍpt FO)ȅu5EԍD$ EԉD$U T$M $dǃuЍA!t FO)ȅtFuЍct FO)ȅt!EЉD$uD$$7D$ D$ D$y$6D$ D$D$$6D$ D$ D$$6D$ D$#D$$6D$ D$%D$$l6D$ D$2D$!$H6D$ D$-D$U$$6D$ D$6D$$6D$ D$*D$$5D$ D$9D$$5D$ D$ D$#$5D$ D$+D$1$p5D$ D$+D$]$L5D$ D$ D$$(5D$ D$2D$$5D$ D$,D$$4D$ D$3D$$4D$ D$&D$-$4D$ D$*D$U$t4D$ D$&D$$P4D$ D$*D$$,4D$ D$5D$$4D$ D$/D$ $3$3EԋU9Uŗt;~ ŗuKwt ǃ2%ǃE$.L[^_UWVS[D$ D$#D$z$ 3D$"4$32i@BFE D$E$$43} |$E$ED$E D$E$TǃJ$؃J$%@D$<$ǃR$t$F$;R$;|R$;$# J$J$[R$$fZF$;;}@B; ;};輩ݛ$jtA"~!p ʋD}DA9"}J$t롃[^_UWVS<}f?tvEEԍG|tE-D$EԉD$E $ /G@D$E $-E D$EԉD$E $.F9E D$ED$E $.<[^_UWVS<[Ef8UUԍ4UB|0t!E-D$EԉD$>$N.UB0@D$>$-E D$UԉT$>$.GU9E D$ED$>$-<[^_ÐUWVS}?~+GtCt$.$.F97[^_UWVS[$/F9|D$ $ /UuG;}uċE[^_ÐU]u[D$t$E$.4$.]uÐUWVSL[E8EU̍EȍUUċUBUЋ$}#D$ D$D$4$b#D$4$W#~!fDŽE8B9u~!fDŽE$B9ufDžGfD$4$"L;T~*D$:D${$#y^fU87fU8fU$jfU$iAfDPfU8fU8fu*D$&?D${$#$ #f8f@f@$#GfGf@ @fM$DPB HfJG9~뙉Ë $(#$ G;T,un* Y,G$"ljT,~#@ܵB9T,⋕Bt$"yT,W @T, ;PfD$1gD${4$e!LD$4$3 $!%D$1gD${$$!{M3 t'",J[^_UWVS[E0U ,#uM1ɍHTD${ uTEEEEEEEuxHW4@8G8 DžLu H@Tɉ4$fLJ`fDŽGPv@=YufLJtffDŽGd@=YufLJffDŽGx@=YufLJffDŽG@=YufLJ ffDŽG@=Yu,[^_UE$/ÐUWVSL[} ftfGB9fLJEft%M(`fDŽAxB9ufdž~HƐuExEEddU܃yhuE܍4uF**f(YXXЋEUZB$Yf.rHuf>u0fEfЉUԋuE(`E@Ufu_f(E4EEEU9BHMfZB$f(YtQE(`Ȑf.r$fhF@0@@F@NDNPvE`Hf`Ћ*}**NPvfVPvfDŽNPvUD\D$4$VDk4DPEEEk4EMAXu܋<G@fGfpB9u1fXGD\_fABG94ߍB9'EEW k4u~hztr~ltlЃ9~lk4u|lfNPvu!`fNPvЉ*@f`EfHdt}HLEtk4U4~ptЃ9ta~p\k4u|pfNdu!tfNdЉE@ft}fOPvtOLEE;EE܋E9Ea}|[^_UWVS<[D$D$(Z4$e4$}EԍUUht/t$(Z$ E D$UЉT$$JD$EԉD$(Z$t$(Z$E D$UЉT$$gfff)9u(Z$F4FU9BHC(Z4$D$D$4$\4$<[^_UWVS\[E@DY@ UBH~GU Yf@f@BhBtBpBlA4}9GHNjY8WEYBMEfE}}UBx8k4M4F`;F\uo*lY,F`$<EEă~\~ k4u 0AduĉB9Q\k4UDdt$k4uMtdk4EP\Hd}DžhhF 8EfHxufffHx‰U(`@fF|8t$fJЋ}<{@fh;hhEpDpxJf‹}(`(`‹(`wxfOxfDŽwxfu ‹M;A<f$ qNjuf$JGfGfE(` GEfPWDF9fu]É<$$DžppWJAfBGD#UfAp;pfWfGfDžttGx|k4U4F`;F\u{*Y,F`$(EE~\~$k|4u 0AduB9Q\k|4UDdt$k|4uMtdk|4EP\Hdt FO)ȅuD$D$D$D$ڞt$D$D$t$$t FO)ȅtm t FO)ȅu ƃF< t FO)ȅt DžƃFM9fD$"D$*<4$D$*6D$4$D$1bD$4$D$BD$4$sD$2ڟD$4$YD$GD$4$?D$FVD$4$%D$JD$4$ D$FD$4$D$H2D$4$D$I~D$4$D$HʡD$4$D$DD$4$D$B^D$4$oD$ED$4$UD$ID$4$;D$A6D$4$!D$HzD$4$D$HƣD$4$D$HD$4$D$G^D$4$D$HD$4$D$HD$4$D$%>D$4$k$dD$*< $$mrT$$T$$$AyT$$wfnf(Xf)hh^D$$?$T$$T$$$T$$t$$t$$ZD$$t$$ZL$$$ET$${T$$$D$ D$4$D$4$O$D$D$4$K|$4$$FD$ ϥD$*< $t$*<<$$tFD$4$ҍBvF4ݥDždt FO)ȅuƄ=`D$4$S`ыы`D-per@m.fщэt-temFp.f$Ǎ $>< BpBtBuBxB|ǂǂb<H @B ^< ^< G$KT$ $D$0`D$$uPBD$$D$@$~Ƌ:<G $GT$"Ƌ6<Ѓ$"6<ȃ$Ƌ>< $Ɖ<$4$,$Ǎ $>< BpBtBuBxB|ǂǂ ^< ^< G$`T$ $D$0D$$uPBD$$D$@$Ƌ:<G$GT$"Ƌ6<ȃ$"6<Ѓ$Ƌ>< $Ɖ<$4$,$ѫD$D$*<4$}|$4$$2D$D$4$E D$4$k$$D$HD$4$a4$cDžDžO$Q D$$|$*<$T$*< $D$ |$$4$BN<$کT$ M L$}|$N<$֬u $ 4$D$D$D$D$T$ D$D$4$1k_D‰D$$L$*<<$D$<$D$yD$4$uPBD$$b,IL$T$4$^4$8<@D( u)D‰D$$T$*< $|$*<$YD$ D$4$]uPBD$$,IL$T$4$ -fnf(Xf)HH^D$4$D$|$$T$4$rD$|$$L$4$JD$|$$ZD$4$"D$|$$2-fnf(Xf)8-fnf(Xf)(8^(D$4$D$|$$D$4$x$~<>\ot鍵<>\ƍ<>\49t/Ct$Ct$Cԅtԉ$ʉ4$49t}Ft$Ft$Fԅtԉ$ʃ49t/Ft$Ft$Fԅtԉ$9sk_ED$D$*< $>IL$t$*<$*<$L$ $le8<@D( ;}3:t![^_ÐUS[Mg&u ‹BuJ[US[U &u B &[US[M&u ‹BuJ[U]u[ED$ D$%$%D$D$$$U8]u}[UBE0яt FO)ȅu-UBD$E$ftUBx]u}UVS[u4$eF$u0 ‹B ur [^UWVS[}$8uN$0u!$bƋ$0u#ƋFuƋ$aFu[^_UWVS,ENjGEE}t$a$DbGNj7U $aFE Xt0U$ra$bljF0$YaF[uЋEGDžu,[^_UD$$$UU P UPUPUD$ $UU PU$UU PUP@ UV$ƋEE FEFEF 4$1F^UWVS|[EE"U1҃}AEHUOEYUEEUU׹ut VO)ʅthu}t FO)ȅtFu} t FO)ȅt$ED$UT$E$U$R]E@E]"U3t|[^_UWVS[ U1ǃ+ǃ+DžR4DžTDž f DQ9'~e$5 ҁ''N‰ G)čD$+F6T$L$$P )čL$t$D$ $T |9f tSKf+u L++ǃ+R="w ǍwSK9usS Ѕyf= ډ nf f= +D+++K˹f3 C~) Wy f/; ; ; ?O_o~; ; ;  ; ; ; +N; ix"Nz %4AP^sP]r B O q C |  C h w % V!V!F$i_V!$F$SF$]V!V$!FD$$t{$@X$$KPF!@F!0F! F$ F$!F$F!F$$C$A$F$F$F$uFD$FD$F$QDFD$ FD$FD$F$FD$ D$FD$F$VFD$ FD$D$F$*FD$ D$D$F$FD$F$wFD$ FD$FD$F$/L?2Dž#DžDžV $F$~D$D$F$V$OD$FD$F$D$ $+SUHVD$D$$c$ND$FD$ $>D$$R$jWN$GWF$1WB$W$*WhF$V$ WA?$V$V"F$V$VBFD$$QF$UV$nVF$7V$PVFAuVgDžXK>1/$6UVP$UFAFA$TVP$UFBFB$TVP$ZUFAFA$3UqF$UBPNB$GTFB&$"TFA$SFBDž$PTF$:TA$T|$TjF$SBLF$SA.!$3Q!$Q)?)rB SKx׋{ wSK9uS {ku+$ u+ǃ+KK "9BOf=tȘ@=wfƅJD$+E܉$<>8 pt!< D$G$l,Gvuߋ8 t'< D$$8,vuً8 pt!< D$G$,GvuD$+E܉$=DžED$E+$c=\8 pt!< D$G$+Gvuߋ8 pt!< D$G$h+GvuD$E+$<Džu,[^_UWVS,[iEED$+$<< U$8D$E+$=ǀH |$@$*Ft$G $*G ED$F $*F t$UB$*UBD$E+$ <DžX,[^_UWVS<[i,ua,@ǃa,=t $D$i+$;1D$+ii,Љ$;8 < D$ii,+$E;ƅuii,+$:ǃ}t7ui,T$FD$ t$|$i+$vủ<$+i,$D$ii,+$:hE ;| E$$|$4$!GD$ii,+$b:ƅuD$+ii,Љ$5:hE+;| E$^$ȕ@ |$4$n!GD$+ii,Љ$9ƅui,D$+$4a,e,Y,],i,@D$+$/a,e,)t\1a,;Y,u*a,PY,;Puǃ=i,u+a,I9}BI@Ia,@D$T$ i,@D$ iD$ $&i,<[^_UWVS,[}E}EE+ED$@$褓+D$U$苓+} tPEU D$+$9@ }GED$4$U RU t}뷾}~H}t,4${tjt$fD$$E$F;uuD$,fD$$4$u t뼉,[^_UWVS[}U1ҋ%+p1QlEhpt2lt VO)ʅuotx$Bu $RD$D$h$莒h$%#ƋG$J#Fp2$&&p@pG}U3tcĜ[^_UWVS[_U1ҋ+ttBtt닃pUhp$lpD$D$h$|p$"Njl$!G<$u:h$!Ƌl$!F4$i"tBt<$$l@lRpRp_U3tĜ[^_UWVS[U1ҋ+pDžlDžlNhEdpt2ht VO)ʅuytx$u $D$GD$d$d$ ƋG$ Fp2$#Džlp@p=l StbU3t討Ĭ[^_UWVS[U1ҋMapXMlMhE@EEptM MEƹtt VO)ʅuBMU9JuE@EB UBMAEp@$#uult FO)ȅTURU Mιtt VO)ʅEP8?tz r8?tdׅt^$tPD$D$h$ڍh $qƋ$eFE0U$u!EM9AuURUQ MAUBMqA $"uiE$UD$D$h $=h$MQRPUA@ $ MMAE}URUM^E|XMxMI M'EE$$tqMD$D$|$wx$Nj| $ƉGUB$F<$MQPAEE0xt FO)ȅugUz$wtSD$D$| $͋|$dƋG$F4$MQPAEE@EURUM3t蒊Ĝ[^_UWVS[U1ҋ2+ppBtp닃.+.+ttPt@ul\*+dE`U\l8Wh|$d$i0<$m$ttD$D$`$_`$Ƌ$F4$ƋppD$D$\$ptgp$ƋhFt$d$"0t/\$gpF$pBpul@lU3t蟈Ĭ[^_UWVS[>+t:+D$<$/vu`[^_UWVS[E EKU1D$ D$D$G$Èt$D$ D$*D$Z$5ZD$ZD$G$}~;,84GUD$4L$$貇F;uu܋GD$ D$D$[$覇}0$GEǃ+ǃ+ǃ?OC[GWǃKǃo+2ǃs+ǃg+EEEEE}}E$8-2 ƍ[UDž ׹t FO)ȅt7$iEDž ǹt FO)ȅuE$ [EDž ǹ t FO)ȅuGp$[EDž ǹ t FO)ȅuG*$[E t FO)ȅuG$)[E t FO)ȅuG$3[E t FO)ȅuGp$?[Et FO)ȅuǃK1$G[E t FO)ȅu'OD$S[$諄$v[Dž|t FO)ȅuǃ$iDžxt FO)ȅu}|$ED$U$ WV$~[Džtt FO)ȅu E$c>Džpt FO)ȅu-EC|$'D$UM$$[Džlt FO)ȅu-ED$'D$}U$aH$gDžht FO)ȅu-E[|$'D$UM$$[Džd t FO)ȅu-EsD$'D$}U$衂$[Dž` t FO)ȅu-Eo+D$'D$}U$A($[Dž\t FO)ȅu-ED$'D$}U$$[DžXt FO)ȅ E}E<$[DžTt FO)ȅuǃg+B$[DžPt FO)ȅt2$[DžLt FO)ȅuǃg+$[DžH t FO)ȅuǃg+$[DžDt FO)ȅuǃg+J$[Dž@ t FO)ȅuǃg+?$[Dž<t FO)ȅuǃg+?g+D$'D$$<$[$ $<\Dž8 t FO)ȅu-Es+D$'D$}U$A($Auo$:oD$^$wǃEEl?~$2tE;t o$=ƃuGo$|9}2%}oMǃGD$ D$6D$'^$wuGuEDEEEt M;u$oD$^^D$G$Hwo;o+|T$^$Y;s|T$w^$ :M;s+|T$^$ +tT$^$ wtX{@9{u ktT$^$u {o;o+}r;s}jE;s+}_S2$tUBM;E‰ES)D$_D$G$uoo;o+;s}U;s+oEЉD$+<$uGD$ D$6D$3_$uD$ D$D$j_$u++)у;P**G^X*ʍ+*@^X\T$_D$$u<)k<)L$ T$_D$G$t+@++JMb)‹+++i‰T$_D$G$mtD$ D$6D$3_$mtgtBA;GD$ D$6D$'^$3tE~KM3 ts[^_UUM AI0 )4 UE 0 4 U#DUE 0 4 U# UWVSEpt>>H u,E Xt"H uD$<$t[uދvu¸[^_US]E tًQtA[US]E tuD$C$C؃[UWVS[ut"JD$FD$<$rvu䍃$J$r[^_US[+D$ID$/$8r[UWVS,[8E@Et=U RU}t!E8uD$<$>tWvuURUu̺8~8U D$ UD$ID$$qЃ,[^_US[E~H~7*D$2ID$$7q$q99u @)Љ$[US[ED$.D$$p$pUVSE$jqt"^<_uC-C$ZpCCu[^UVSu] t$$(jpu%t$$ Tpt$$Lp[uۉt$$)/p[^UWVS[utD$$tvu鋃D$$ o[^_UWVS,[uGE䋻GEGE܍GE؋D$ED$$toD$ D$D$E$woF$&D$ D$D$E܉$KoF$D$ D$ D$E؉$oF $D$$ nvH,[^_UVD$$nƋE$^UWVS]t2"$tFljƋ[u$[^_UD$$nUUD$ $mUUWVS]tB*$L$tFljƋ[u$"$߉[^_UWVSu] t9u=9t9‹BuD$$=m>u G[^_U]u]u uD$$l0t$C$C؋]uUD$$lUPU Uu}u} 0 4 0 4 |$$t$$wu}U]u]u t$$uD0 4 D0 4 Dt$C$C\$F$F]uUVEtp$ku^US[v+E$k[UVS]ts$k$ku[^UVS]t&sC$$$`kuڃ[^USEtX$:kt[UVS]u tCt$$ku [u[^UVS]u t-t)T$$Zkt[vtu [^UVS]u tt$$u[u؃[^UWVSL[}^BEԍ(UЋMIMutwEEċ}Eƹt FO)ȅt+E}Eƹt FO)ȅuUB$YM$u4$iEE^L[^_U]u[ztPAD$$KiƅuA$:t$ D$ D$A$?i4$h]uUVS[лD$ D$6D$>$hD$ D$ D$8A$hED$GAD$$hE D$dAD$$yh8toD$ D$AD$$BhD‰ʉƉD$AD$л$gлD$ D$5D$A$gO[^U]u[u4$gn+u*t$@D$$g$Tg]uU$ gUPU UPUS]$cg(u[UWVS,[}D$<$ %E䍓I@UX@E, H D$UT$$f} ~uvtnD$ D$D$E$f, tD$U܉T$$YfvuыD$$ @fD$<$ ƅ4,[^_UWVS,[ܸD$ D$CD$H?$fE$芹}?UFt$ED$ܸ$eD$$O8~IܸD$ D$ D$?$leD$$;uc,[^_UWVS<[:,u#$/e6,ǃ:,iE EED$$k 6,D$Eԉ$K u܋6,EEEEUBU܋8 us6,8 u9u}4D$M؋$tE6,T$U؋$F<6,:tS맋xtJ< 6,M؋9|+t$$tEt$6,U؋$8uMM؋6,t U܉U u]܉؉<[^_UWVS,[,:EED$I$ ,M؋8 8 u;}~RD$I$u8,E؉ED$M$0tD$U$G4,0tN뉋tB< M,M9|!t$$tt$U$YuE܋MM؋,,[^_UWVS,[E@EtFUxt-p t9E}D$M $VvuuӋE@EuURUiM M܍;E؋UD$E܉$CDžu18UD$M؉L$$ a|8 t$p t;EtD$M $vuwt;EtD$E$tvu|$UB$MAL$G$GE@EMQtBMA$`EPuUH t)B Xt;EtD$M $[u,[^_UVSu i]D$$ t$$D$$u[^U(]u}[} utyt$GD$E$?u1UD$9D$$_9$rD$9D$эD$_]u}Uu}u UD$4$_эtt$UBD$$u}U(]u}[D$Uу $^ƋED$ 8D$8D$4$_]u}U]u[uƀu]D4D$@4$]u)u(]uUWVS,[UEEEUE8??u } u8|$U$x^E8ыUD _@Esu F|$$<^u6t7D$E$)^>ыUD _@E'vu}t27$7E@E4UB,[^_UWVSl[U֯M1ɀ:֍}EE$]EGtU<_uUBFt<_u<_D$}щ $N\UML$$]>t}|EEUBE֯M3 t[l[^_UWVS,]t6E;$ H\ƋEF<$P uuӉ,[^_UWVS}t$QtqC2uى[^_UVSUu t$ѻЉAAu[^US[E} t ,t-ǃ,,I,B,1~5P ,'B1 t󉓄,,׉,,[U8]u}[D$zE $ED$T $`ZD$U щ $:ZU T$$[}~Q)k2)׋EP 2o+]u}UWVS} D$z<$fƺQ)k2)Љ‹Et!;suD$<$eZt P u߉؃[^_U]u}[}dU1D$ ut$D$E $Gt$<$=u t$<$vdM3 tX]u}U]u}[EtU1D$ ut$D$E $t$t$U3trX]u}UEPt( RuUEPt( RuUWVS[}~IiE <+Pt$( ~Rt( A9t Ҹ[^_UWVS[}~ciE ֈ+H t6 t$@ t, t $ t @tIuF;ut 븸[^_UVSu] ~@ B9u[^UWVS[} u8~DB9~U0 4 A9u[^_UWVS[}߇,D$G$V߇,Wx߇,A9W}t4$VW[^_UWVS[RU1D$v$v ǀ$ D$$uƪ> M $">E@DžpE@XpD$v$wD$|$$~"D$v$Guo";}tsD$$"x tD$ D$|$$"D$$uGp;X/8iuD$$ ǀ, D$$ouD$v$Pv ǀ, D$$*uދV+t${TD$E@$%TV+68DžliEtiUhDžlMdr0`0\D$ dL$D$$dD$tv$ƅu` $lhV+4lƪ8tD$UT$4$ l~\ $5ClRM3 tRĬ[^_U8]u}[}|$E $[E$SuG0,ǃ0,DD$-D$ȥ$R^ƉxUPEF JBI$RD$|$U $E%UV0]u}US[ED$ E D$ED$,$[UWVS<[} u,u3ȥJBI$Q,ǃ,08t$<$E䋃,ED$t$<$ UEt]48M;Ju=u9r u5~-EԋMu;tuu;u A9u t Rt 벸<[^_UWVS[}|$ E D$UT$ʁ+$Ƌ&8t,;B~<$ʁ,Fʁ,4&8 89u @r9} ~ *,}8 B;U uFD$ E D$*,D$ʁ+$D$ @D$+D$$O} ~1*UD$|$$OF;u uڋD$$ oO$9O[^_UWVSL[,u35JBI$bO,ǃ,E D$U$pEԋ,M̉L$u t$E$E9+UȋM܉MuE+@ E؋0 M̍EЉƋ34 EE%Mȋt^>E9BuGM9J u?~*2uċM̋;tűu;uA9uu 2RuUM4 3EuЉE܋E 9E4L[^_UWVS,[u%,u3šJBI$M),ǃ%,9A}4$),ED$E D$E$~,4ut[104E 9uA9uu 9/E@Et~ދEE8 9tŸ,[^_UWVSL[9,u.$MA,$L=,ǃ9,}} A,uD B;U uDžtD ;uIuM 9R뵉 9~ƉB9|9uD D F9}B9|Dt) D 9}9u Ru9"8WAD PD t!D ;u Iuߋ;299u}<ՠ8UT$Q'D$$IZSA,=,} DžcЁL[^_U]u[ED$ E D$ED$1+$3ƃu;58t*D$ D$D$#$I]uU]u[ED$ E D$ED$y+$ƃu;8t*D$ D$D$g#$H]uUWVS\[}F$d{9c}68ED$"D$$G} ~Gi}x!U؍y+D$M؉L$$GF;u u΋D$ D$D$$G*8uNi}t$M L$y+-$bAV89t$E D$y+-$t$U T$y+-$vt+t$M L$y+-$}O|$E $u+UT$#D$$dF8~iu|$M L$y+-$4O|$E D$y+-$8|$U $|$D$E H$xƅ*8|$M L$y+-iUЉ$My9ED$U T$$iMMy+UM܃$ uAE<7UԋM9( <$XED$U$u <$X H 9t D$ D$EHD$<$jwtJ Q uU My+E } ~ Eԉ$JvuW t$ Ru6:~^H t%M܋D$:#D$$C0M܋D$D$ ED$Z#D$$CML$E D$EH$_ƋW t$ RuOt8 J uM U Ey+ǀIuȉ<$u y+ 9t D$ D$EHD$<$tMtHE@Et /(86V8\[^_UWVS,[}~fiu {s+ǀ A9uE D$D$G$ E{s+ǀ A9tE D$D$G$EE,[^_UWVS,[}~&iE r+B;UuE D$M $ @Gr+ǃr+}OiM r+O΋E D$<$ƒu,9tfE D$|$r+$$EM L$|$r+$r+ NxBqt36 r+F;uu勍r+ }~i} 벉Ё,[^_UWVS,[} q+E䋃x,9E,iUUJU܍U;Et(@D$E؉D$$?ǃq+ E䉃q+:tB<$ x,x1D$|$U%q+$e F9x,}ԉ|$x,@$ƃt`D$ D$D$$n?u'58t|$ED$E%q+$9U䉓q+x,@x,9E,[^_UVSu] t$$(>t.<_ut$$ >t$$>CCu҉t$$)>[^UWVS<[ND$ D$6D$.$u>D$ D$ D$$Q>~ D$$>E܅u$8VE܉D$$(=>EEEE}D$$G H V8tQUT$D$N$K=D$N$AND$$ #='D$ ED$D$N$<E؋8tC}u%U܉T$ D$D$$<D$E܉$ED$$:ƅEEE@9E8t%E܉D$ D$D$$\<ND$ D$ D$$2<D$ D$6D$$<U؉T$1D$$;f8ʜD$KD$$;ʜuD$$ ;9ڜҜD$ ΜD$fD$N$L;ΜʜUDD$D$N$;ʒ8t$ޜD$D$N$:8t$֜D$D$N$:D$D$N$:<[^_E}UWVSL[E$EԋUCk+?D$ D$6D$+$O:E@D$'D$$:}0`Gk+D$MЉL$?$9Fgfff)9u?D$$ 9;uu?D$ D$D$ $9Î8iuML$EԉD$Gk+$UEW8UT$MԉL$Gk+$#ET$4F$*?D$ D$6D$$8FxFD$F $?D$ D$D$$8ˎ8tED$Uԉ$E78tML$Eԉ$ EUT$Mԉ $eE؃}u3W8jED$UԉT$EGk+$F}/8wO0N9};TTABBBB܋BB؋BBBBB9|ՋO0O!?D$ D$%D$$W78t0?D$ D$%D$$7}uMԉL$E$'EPT$P T$@D$T$ D$D$ώ$(sE8t0?D$ D$%D$$_6}uUԉT$M $'EBD$B D$BD$D$ D$D$ώ$RE؋ӎ8u }t}u fU؋D$5D$?$u5D$CD$?$O5}EEE8t E GO98~E؃}tT8}i}D$ED$Gk+$F;uыU$5`}VEJǃ?k+EEO8_iMMEEK8U؋D$5D$?$4D$CD$?$3}3i}Gk+D$D$?$3MD$5D$?$l3D$CD$$L3E؃L[^_UUUUUUUUS[$d3[US[D$ D$D$$2[UWVS,[}~EE܋UE 4}t VO)ʅUU@9EЋU |# Æwu9ED$D$D$D$ D$D$$V G9$i(uG+Z,t D$D$$#D$D$$]u}UWVS[|tJtFExt<7, t*E Xt D$4$=t[uuĸ[^_UWVS,[|E@ EtkU:, tPu Ft;8u ;8@u|t#U r tD$<$虳uRvuuvuuEHt-, tu F t;u;t@uIuӸ,[^_U(]u}[}u 0{@uL ;L 0 u+t$<$ut$<$Q]u}U]uu] $&D$$&#]uUWVS<[}D$<$E䍓uW,UE, tz]W,B]W,L %W,t(E D$D$ T$U܉T$x$%yW,;|ED$U$yW,uW,4@yW,D$<$ƅc<[^_U]uu] $V%D$$e%#]uUWVS,[ǃ+V,ǃGV,ccD$CV,$?GV,CV,@GV,}~,Ft$x$I;uuދ+V,U,'V,}u2}x,t$x$F9u}ދ+V,+U,U,ǃ?V,__D$;V,$?V,;V,@?V,+V,~T_E䍻;V,?V,;_|UT$<$J?V,;V,@?V,F9+V,}U,D$D$w$5#U,D$D$$#,[^_UWVSL[D$E$U[T,M܍ E؍$U8M䃹, (q >, WT,T,t4E D$D$U T$ MD$E؉D$u$W"_T,;|ML$E܉$_T,M䋑L ڋ[T,@_T,;|ED$U܉$_T,L [T, @_T,;|ML$E܉$_T,[T,@_T,vUr>, WT,T,t1M L$D$L$ UD$MԉL$u$D!_T,;|ML$E܉$_T,M䋑L ڋ[T,@_T,;|ED$U܉$_T,L ڋ[T,@_T,;|ML$E܉$_T,[T,@_T,vD$U$*EL[^_UWVSL[D$E$UcM܍~E؍Q,UGM䃹, 7y,7, u'E D$ UD$ML$*s$Q,rQ,t5E HD$D$M L$ UD$M܉L$*s$Q,;~|M؉L$Eԉ$8Q,M䋑L ڋQ,@Q,;~|E؉D$Uԉ$Q,L Q, @Q,;~|M؉L$Eԉ$Q,Q,@Q,D$U$rEL[^_UWVS<[D$E$="}UЍO,EU䃺, O,O,tTrqD$ D$ D$$PE D$ UD$D$rq$O,;"}|EЉD$Ủ$O,U䋊L O, @O,ExU JU؍'Eԋ7, tkO,t$U؉T$ D$EԉD$rq$mO,;"}|EЉD$Ủ$O,L ڋO,@O,uEp 'U܋>, tkO,t$E D$ D$U܉T$rq$O,;"}|EЉD$Ủ$O,L ڋO,@O,vuEp3U>, tiO,t$E D$ D$UT$rq$EO,;"}|EЉD$Ủ$O,L O, @O,vuO,t*rqD$ D$D$;$O,;"}|EЉD$Ủ$}O,O,@O,D$E$3E<[^_UWVS,[D$E$yU䍃L,EU, }t9{L,3nD$ D$D$$i{L,pE D$ D$D$3n$DED$U$dL,L ڋL,@L,vt{>, ti{L,t$E D$ D$U܉T$3n$9L,;y|ED$U$L,L L, @L,vuL,{L,t*3nD$ D$D$$L,;y|ED$U$kL,L,@L,D$E$!ƅ9L,;y,[^_UWVS<[} >E ;Eu0mu%D$U T$i1m$D$M $蒽wE؍J,UԍME, PUM1, tJ,QJ,t*E D$ UD$D$ l$XJ,;w|E؉D$Uԉ$J,ML ڋJ,@J,vE HE܋>, tiQJ,t$U܉T$ D$MЉL$ l$J,;w|M؉L$Eԉ${J,L J, @J,vuJ,;w|U؉T$Mԉ $8J,J,@J,QJ,t* lD$ D$D$$AMIMiD$E$誻E-<[^_UWVS<[D$E$uZuU䍃2H,EU4, 'w, D$<$.H,G,t3E D$D$U T$ D$E܉D$i$'6H,;Zu|ED$U$6H,L ڋ2H,@6H,;Zu|ED$U$6H,L ؋2H,A6H,;Zu|ED$U$c6H,2H,@6H,vD$E$Dž<[^_UWVS<[D$E$ڹsU䍃F,E`U;, .w#,  i@uL ;L F,WF,t1E D$D$U T$ D$E܉D$h$F,;s|ED$U$3F,L ڋF,@F,;s|ED$U$F,L ؋F,AF,;s|ED$U$F,F,@F,vD$E$lDž<[^_UWVS<[hE$6gt$U T$E$D,D$ZD$mf$FǃD,ǃD,D,t$D$ D$D$w$)}?hBt|$g$!ht|$g$Hht|$g$~GE@9uEht)9uD$t$gE$htt$E䋓g$6htt$gE$htUT$t$gE$FE9JhD$g$FgrEԍD,UЍE, $ D,D,t%D$ D$ỦT$mf$!D,;r|EԉD$UЉ$D,L D, @D,;r|EԉD$UЉ$D,D,@D,D$$Pƅ&h} i}rED,U܍ED, h, D,t$UT$ D$E؉D$mf$D,;r|ED$U܉$D, hL D, BD,;r|UT$E܉$qD,D,@D,F;u *D,t*mfD$ D$D$$pD,D$D$mf$(<[^_US[aD$ D$D$4$ E D$E$..@,t.@,t $[U]u[?,?,B?,?,t9|ǃ?,V?,tH}u?u-Ut$$ uE#t$U$ԞƋt$$ u;E@Etu;}u"Uԉ$}uE؉E U܉BE܋E@Et"OE$觚EE؃<[^_UWVS|[EEU U'\M1ɋEEU֍t FO)ȅMIMD$E$ԝt$UT$ML$UB$iEML$ ED$U@D$M$$ NjUGMOEt'ED$|$UB$Evu$蓜G<$;MIM-ugt FO)ȅE@ED$M $Ĝt$ED$UT$MA$YEED$ UT$M@D$U$s$ NjMGEGEt+UT$|$MA$EuvuՉ4$胛G<$+E@Eu t FO)ȅujUT$ ML$UBD$MA$t$ EED$UT$MA$0EE@Eut FO)ȅuDUB$#ƋML$ED$4$E4$Û#u^t FO)ȅu=UB$蹗ƋE@D$ML$4$hE4$`ut FO)ȅuFUB$VǃA,ML$ED$4$E4$Tut FO)ȅ0ut FO)ȅuIUrD$M $˙NjFD$E$赙D$<$eEU$Džt@ML$U@D$<$ƋML$D$G$ E4$mkD$ ut$ED$U$%A,t"ǃA,t$]$u%JED$K]$u-}t'MQtED$ML$$g'\M3 tk|[^_UWVS[}Mbt?T$$!u$E D$GD$F$t vu[^_UWVS[}xrE t)H 6,6,ǂ Iu׋E t(D ҉$ ǀD IuF9u}[^_UWVS[yUU1ҋ]V0i}EtD$ tT$D$$=tD$V$#tQǀD 8 t=P tB H t" H t uǀD Ru vt_8 t뫋yUU3ttĜ[^_UVSME Pt*4< D D T$4$˓[uك[^UWVS,[E@EUR UU ‰UEE؋E08 t D D @Nt;Ut t~IutrudžD dž$ t$U܉$~ t<7 u*t$E؉$H u4,4,uċURU.Eǀ XtEUE 48 t D t ǀD ǀ$ D$4$a[uĸ,[^_UWVS,[uFD$4$E؉ED$4$E܉63,ED$E U$E 9E]ƋUt$ D$|$E$tq[u܋U:tUt$<$FE;ut?믋U؋$U܋$ݓC9]}ދE$<$,[^_û}y؋UT$|$E$UWVS<[QD$ D$D$>$:wǃ2,E$}EERuD$R$( uH uUT$UT$$&D$$赢uEEE9Euv\$ 2,D$^D$Q$<[^_UWVS[~PU1ҍnD$6R$z~Qt;*QD$rD$zP$H/$6RD$u4$эD.bak@t$6R$gBQ:uD$6R$Z1,u$觋Z1,^1,~P}38tJČ[^_UWVS,[E$kEUT$E$kE$E܉D$UT$E$k}~_U܋ǃD$E$hututF;ut&ʋUT$E$kEe-D$FD$Q4$>4$,[^_UWVS[mjEEEEEEEEEEEEEED$U${m} EEMMEEUUM|ExỦtMpy ؉EED$U$E܋EGEML$|$E؋EEuEȅ;EEEEM;xtJΉȋU;UttAED$T$t$H4$;xt븋ŰE)D$T$M $>gËE̅t$EuE̅t$/ED$|$xUEUEED$M $pEEEEEU 9Ut MUEAM4b}~*ED$M $dE$gt*H1U$EH}9t$M $d|!~uE@U4D$D$P4$4$o$F9uD$D$N4$4$/D$AD$N4$4$cD$CbD$N4$X4$4D$D$P4$)4$ED$E$.ED$E$HËED$E$؉ËED$E$i$Q$I$AĜ[^_U(]u}}} uG;EtUU;B$CÃtUCGD$ ED$\$‰$G؋]u}ÐUWVS,} UB;H}XX tƉt4E9p u"|$ t$D$$jED4$AM;}+|$ t$\$U$0E u뒉ʉ֋]؉,[^_ÐUWVS}] t C D$<$s$u[^_ÐU8]u}[}E EW;Wt?tBWBGM1B+ED$ML$)‰$mE0+=?u$ E9r ?v ?U܉$VËu)ƃt$D$$tMUG+ED$ED$$t$UGM܍ G]u}ÐUMkE 4A,P0;L}Lf@f@ÐUWVS]U BwKtERC8x~00[,k4fxt @9LB9u߉[^_ÐUWVS]E @C8x~Ps,k4T29u-k4T29uC9u[^_UWVSUE @B8x~70Z,E k4f|u }u MB9t EE[^_UWVS,E@tEU 9|gEUBxU<G+Nx#D$E$5NyG+U<GMmE9E ~E HUBt0,[^_UÐUWVS]E @C8x~Vs,k4T21Ѓt0k4T21ЃtC9u[^_UWVSL[}G0+G,iNăEEk4O,4Q(A P+2A(Q,A$\+A,PA \A$uhQ(A,9L‰FEЋUЃEG0+G,iN9khE̋lt$D$E܉$Uu6FD$t$Ẻ$n;6FD$ED$ T$t$Ẻ$`ËE$W$E$Dhl)t(ʉX0Cًhl)9wLJLL[^_ÐUWVS,},;tLJL8[Lhl)Љ95ڍTfxfxLH9}<P9MFޅ~(hFfx)ƒ鋇hP(;P,+G,iNč B tC9JiGt@Gt;4~4ME9tt B !ED$$_,[^_ÐUWVSl[E@EUztzB@l*Yt,N‹u*Yt, N‰*Yt,12N‰}G@G8E9G<EEED}UUu~^};W,ŰuԉEEk4}D81t uEEȋEE;EE@UBuFBz~7}k4uV,L C9_΋EЋ}+G8iȫMW\Gd9tt E@\UT$u4$y};GUBGBz~7uk4}W,L C9^΋EЋU+B8iȫM֋R\Fd9tt }G\ED$U$E uЉu}9w<UE9Pt`X,9X0tXL9L t'ʋ8D @l Q;T tۃ uǃ4u9^0tF9tl[^_ÐUx]u}[uED$$C}Mb)}Mb)+EEi*^dZf.]u}UWVS]K<+K8iɫST+SLC\+C`‹Ch+CXD)KC+CC ƃut$$lMMb)EE)EEit$E؉$#M܉)iE C0+C,iNčP<tyEE{x$ *@@ES|;t tC|ED$T$<$$FC0+C,iN9wC0+C,iNčPEElh)ȉ9s щl!ED$ )D$|$h$C0+C,iNETP)ȉ9s T!ED$ )D$|$P$C0+C,iNE`\)ȉ9s `!ED$ )D$|$\$`Č[^_ÐUWVSlEU;BuԉuU„UuuUxUu܉uUUEEƋxuE]]] u؉EEЃ9u UUuuċEH,k4D;E}~u܋k4ЍH ;Htt1ЃD ut$L$ЍD$E U܋UB@ujuUċuN,k4D1uA|;ttEE|Lut$T$E$1(]UċMԉ]؋u9ttZ EUT$u4$TUr,k4D09u!k4D09E"]܉EEk4 EEP ;PttEED ut$T$EED${E UUB@ujuEU;B]l[^_ÐUWVS\U;Bu؉uċ}DŽ}UUuxu}}EԋEȉ‹xU]̍]] u؉Euȋ9uuŋ]̋}O,k4D1uA|;ttEE|,ut$T$}<$`uM؉u܋E9ttr EUĉT$u4$Ur,k4D09EЉk4 0EEЍP ;PttEEЃD ut$T$EEЍD$VEȃ UUB@uԉjuԋEԃ};G%\[^_U(]u}}Mu8<kU 4W,frfJ] ؉ ID9wtuD$E D$<${D$E D$<$l]u}ÐUWVS<}E W8@ƍEEԍUЉ;Et{k4_,C;EuudtWMЉ+E~%ˉQACSNu)EЋE 9uuCڋMMԉ+E~%ˉщQACSNu)EԋE{]|$4$UtPGC;}uZt$<$UtGCSFCS؍[;u t;}uʼn‹E )E܅~(UщËFAQKuE܋MTE)~%UщGAQKuETЃ,[^_UWVSLu}UEЋE )9MUUډUԋU̍] )Éu֋E‹ML$|$t$ D$D$$lj]9MÉMEU;MOЋEƋUT$|$M L$ D$D$4$讵L[^_UWVS,ME UuˉE܉׉u99u0GFVCFVu9]tq9}ti؉D$<$UuЋSCANuUE‰UE)~@ZMSCANuEEE)E~[M됋E,[^_UWVSL]u ߉uЋUEȉ)؉9M_UډUԋU̍)ƉًE̍EljˋML$ML$T$ D$D$$6EE̍<u9M붉MEU;MOЋENjUT$ML$UЉT$ D$D$<$L[^_UWVS<}E +EEE|$ D$E D$E$(~Q|$\$ ED$E D$E$Ͳ|$D$ ED$ED$E$诲9<[^_UWVSLUE}MMM M̋MM9;E Ủ)Eĉ}܅~%ZuċSCANuEčljE܋E+E~]ЋM̋QACSNuUE)~%уMԉGAQKuEԍT;U UE)E}؅~%ZuSCANuM ωM؋E+Ẻ~!]̃MSCAQNuEЉEȋE)~']ЋM؉QACSNu)EȋE)D$ MЉL$ẺD$M $诱E+ẼEL[^_UWVS,uMU]ωU܉;u 9-GCSFCS;u tq[9}tit$<$UuӋFAQKuE؋MTE)~HYUщSCAQNuET‹E )E؅~Uщ늉Ѓ,[^_UWVSUJ,k4Duȉu9t$k4D1ƒEEẺE܋k4DfEEDED$D$U$Et$u4$tD$ED$4$D$UT$u4$E܅uPBD$$趜D$D$E$ǜD$2D$U$誜E։D$u4$}D$4T$$}EE9EU$L[^_ÐUWVS<[uF+FEԋF<+F8iȫVT+VLF\+F`‹Fh+FXD)M؋F$+V UЋ~()D$ԁD$$ћEЉD$$蜚ED$D$E܉$蜛|$E܉$mED$D$E$m}Љ|$E$;D$ D$<$?E؉D$<$D$ D$<$EԉD$<$F+F*ȋ~$+~ N<+N8iɫVT+VLF\+F`‹Fh+FXD))*^MD$ D$$莚ZED$$I$<[^_ÐUWVSl[D$D$E $8U $諚MA<+A8it5|$t$E$;FUB<+B8i9w֋MQ,A0)iNăEE4.E4ME6M:EAMJEUUD$UT$M $XED$U $ ED$ML$$,EtD$UT$MЉ $ Eԋ8PUpD$ML$EЉ$ݘt$UЉ$贗D$ML$$赘E܉D$4$茗D$UT$$荘|$4$a$}ԃ EOM̍EȍTUč9M}EEED$D$EЉ$&D$UȉT$MЉ $ W)tV~ B؉D$EЉ$谖D$UĉT$$蹗FW)9rD$ML$EЉ$莗UЉ$E؃ }+MЉ $EEP,E4@0)iN;El[^_USM ]t UtCBCBIt [USU] M9tABAB 9u[ÐUWVS} u9sH$譗9v1$謗\$|$E$衕蠗蓗4$![^_ÐUWVS,}E pEEMU CыG=?vS$ W)4t$\$<$?É$裔É$$ϖG$n_W GFG$FGG WE GG,[^_ÐUWVS<[} uaEH@)i9BUE؋BEBEˉ}Љ)iE9v)9t!tBABA 9t ߋE@MA)‰+Eiȫ~ BCBCIuE؉D$E@D$<$D$ E؉D$+ẺD$$ڔE+E̍@‹MQQ9t#tABAB 9t ߋU̍RMAE؉D$\$<$螔ȋU+iȫMUUU)9v6z$UE9G‹9w =UUUv UUU@Eԉ$裔ƋM9t!ÅtBCBC 9u\$ ED$ED$$˓E@UJ9t!tBCBC 9uMt$E0XUԍMA<[^_UVuF $ӓFFF VF^UYxUU EUU EPpUU EUEP,kE 4DUYU+*^ ZEEUYU$+ *^֐ZEEUUB+BUUB0+B,iNHUE@ UE@UE@UE@UE@UE,UE8UE4UEƀUU EUU EUU EUU EUED$E D$E$oU(MEEEE ED;HttEBEBD ED$T$@$MU]u}[ED$$uMb)u)EEi*^6ZEE]u}U(E y;ED$E$衑MMb)iE‰$ڑ$БUE$US]t$蟻$艐[U]u$}É$藵Ɖ$U4$ ؋]uUE UR8@DUSEP8@<)iثt"zu B u A9u[UEƀUE@UVSE u]@ C8|~C8BC89T[^UWVSEM Yx8@<)i𫪪9s"[I |t A u C9w[^_UWVSEXx8@<)i𫪪9v#[D[L|t  u C9u[^_U $t$|$My$Y8QT+QLA\+A`‹qh+qXtQ@)ڃA4+A,‹A()+y A<)i)‹$t$|$UVuF<+F8iNT+NLV\+V`ыVh+VXT )^U]u}[uED$$蠎}Mb)}Mb)EEi‰+*^ZEE]u}US$ME ]É]E9tt BED$$蒋$[UWVSlEEEEEEEEfEfEEEEEEU B@0EEX,E)iN9sEk4E9Et,Ǎ_ wt9t t$j49}u֋EUB0PED$ )ȉD$UT$E,$Ɋ*ƍ]ԍ} 9tCt$4$ʼn]ԍu 9tCt$l[^_UWVSlEEEEEEEEfEfEEEEEEP0UX,)iNčJ9vEk4E9Et,Ǎ_ wt9t t$(49}u֋UEP0PED$ )ЉD$ED$E,$臉*ƍ]ԍ} 9tCt$͊4$胈]ԍu 9tCt$襊UB0+B,iNHl[^_UWVS\}EEEEmUUM̉MuEEẺEЋM U;Et tEUT$D$M $ɈuE;Et t0EUT$D$M $蜈ŰE)D$T$Eĉ$6C9vẺEлU܉UűM U܋E;Et tEUT$D$4$.C9uȋMM؋U;Ut t EE؉D$T$Ẻ$ŰE)D$T$Eĉ$ËE̅t$ $ĆE̅t$EUUغ댃\[^_UWVSL}uEEEE EED$D$E$O]]U;Ut tEED$T$E$UE)D$T$4$UUĉ};Ut t:EE܉D$T$E$ц]؋U;Ut tEE؉D$T$E$褆UE)D$T$4$AUUċE E;Ut tEEԉD$T$E$SEЋU;Ut tEEЉD$T$E$!EE̋U;Ut tEẺD$T$E$UE)D$T$4$ËEt$$迄Et$L[^_UWVS<] }uEEE؃EED$D$Ẻ$[EU;Ut tEED$T$Ẻ$)ŰE)D$T$4$ỦUЉ];Ut tEE܉D$T$Ẻ$ބ}؋U;Ut t:EE؉D$T$Ẻ$豄ŰE)D$T$4$NËE̅t$Dž$E̅t$谅<[^_U8ED$ED$ E D$ED$E$AUWVS\}EEEEmUUM̉MuEEẺEЋM U;Et tEUT$D$M $跃uE;Et t0EUT$D$M $芃ŰE)D$T$Eĉ$$C9sẺEлU܉UűM U܋E;Et tEUT$D$4$C9uˋMM؋U;Ut t EE؉D$T$Ẻ$ŰE)D$T$Eĉ$ËE̅t$$赁E̅t$EUUغ댃\[^_UWVSL} uEEEEED$D$E$>]]U;Ut tEED$T$E$ UE)D$T$4$UUċEE;Ut tEE܉D$T$E$躁]؋U;Ut tEE؉D$T$E$荁UE)D$T$4$*UUĉ};Ut t:EEԉD$T$E$BEEЋU;Ut tEEЉD$T$E$EE̋U;Ut tEẺD$T$E$UE)D$T$4$ËEt$$Et$L[^_UWVS\}uEEEEoUUM̉MEEẺEЋM U;Et tEUT$D$M $uE;Et t0EUT$D$M $ŰE)D$T$Eĉ$C9vẺEлU܉UM̉ME U܋E;Et tEUT$D$M $|C9uʼnE؋U;Ut tEE؉D$T$Ẻ$EŰE)D$T$Eĉ$ËE̅t$X$~E̅t $AEEغ늃\[^_UWVSL}u]EEEE EED$D$E$~uU;Ut t2EED$T$E$i~UE)D$T$$UUĉ};Ut t:EE܉D$T$E$~u؋U;Ut t2EE؉D$T$E$}UE)D$T$$UUċE E;Ut tEEԉD$T$E$}EЋU;Ut tEEЉD$T$E$n}E̋U;Ut tEẺD$T$E$<}UE)D$T$$ËEt$R~$ |Et$;~L[^_UWVS\}uEEEEoUUM̉MEEẺEЋM U;Et tEUT$D$M $t|uE;Et t0EUT$D$M $G|ŰE)D$T$Eĉ$C9sẺEлU܉UM̉ME U܋E;Et tEUT$D$M ${C9uȉE؋U;Ut tEE؉D$T$Ẻ${ŰE)D$T$Eĉ$9ËE̅t$|$jzE̅t $|EEغ늃\[^_UWVSL} u]EEEEED$D$E$zuU;Ut t2EED$T$E$zUE)D$T$$^UUċEE;Ut tEE܉D$T$E$pzu؋U;Ut t2EE؉D$T$E$CzUE)D$T$$UUĉ};Ut t:EEԉD$T$E$yEEЋU;Ut tEEЉD$T$E$yE̋U;Ut tEẺD$T$E$yUE)D$T$$3ËEt$z$dxEt$zL[^_ÐUWVS,[}u W;WtetBBBBBWB GEXxEB)iȫ~ BBBBBIu^~U+i=UUUu>^$4y E9r UUUv yUUURE$yE܋9t!M܅tBABA 9utUBABAY O9t tBCBC 9ut$9yE܉_EEG,[^_UWVS'. compact: illegal optionERROR: too many variables Contradiction after unit resolution. Warning: Binary failed lit option overrides unary failed lit option terms: %d: %d pos_hits: neg_hits: pos_clauses: neg_clauses:Variable %d exceeds maximum %d. Contradiction after unit resolution.stack(size:%d, %d:%d:%d): Attemp to pop empty stack at %d. Realloc failed. Old stack size %d. New stack size %d. Exiting. Malloc failed. Exiting. satz-rand-214[%d] %s %d %d %d %d %ld %ld %5.3f %d literal %d is redundant in clause %d Invoking solver satz-rand version %s -seed-cutoffluby-noise-restart-nofirstkOptions for satz (satz-rand) solver are: -seed N = initialize random seed to N -cutoff N = stop search after N backtracks, and then (possibly) restart -cutoff luby K = cutoff is equal to K * luby series -restart N = restart up to N times or until problem is solved -numsol N = keep going until the problem is solved N times (default 1) -noise F = degrade variable choice heuristic to increase randomness between restarts: 1.0 = random, 0.0 = no noise, default = 0.4 if restart > 1, otherwise default = 0.0 -nofirstk don't branch only on the operator variables seed: %d cutoff: %d noise: %f restart: %d fields: NB_BACK NB_BRANCH NB_OP NB_NOOP NB_SEARCH time sat satz-rand: wff too big, must recompile! Input file errorAn empty resolvant is found!the instance is unsatisfiable **** ****the instance is satisfiable *********verification of solution is OK**** ****I'm sorry, your program is wrong********Reached Blackbox resource limits ****the instance is unsatisfiable ***** NB_MONO= %ld, NB_UNIT= %ld, NB_BRANCHE= %ld, NB_BACK= %ld Program terminated in %5.3f seconds. v %i %li %i Begin assign at flip = %ld %dEnd assign Begin assign with lowest # bad = %d Unsatisfied clauses: 0 End unsatisfied clauses ERROR - too many atoms allocating memory... ERROR - clause too long ERROR - incorrect problem format or extraneous characters Cannot open %s for output loading hamming target file %s ...Cannot open %s Bad hamming file %s done tail starts after flip = %i Bad init file %s 0 %i Bad argument %s total elapsed seconds = %f average flips per second = %ld proportion null flips = %f number solutions found = %d final success rate = %f average length successful tries = %li mean flips until assign = %f variance = %f standard deviation = %f standard error of mean = %f mean seconds until assign = %f mean restarts until assign = %f final noise level statistics statistics over all runs: overall mean average noise level = %f overall mean noise std deviation = %f overall ratio mean noise to mean std dev = %f statistics on successful runs: successful mean average noise level = %f successful mean noise std deviation = %f successful ratio mean noise to mean std dev = %f statistics on nonsuccessful runs: nonsuccessful mean average noise level = %f nonsuccessful mean noise std deviation = %f nonsuccessful ratio mean noise to mean std dev = %f Final distance to hamming target = %i Hamming distance data stored in %s ASSIGNMENT FOUND ASSIGNMENT NOT FOUND %9i %9i %9.2f %9.2f %9.2f %9li %9i %9i %11.2fhistogram: %i(%i) +++Program error, verification of solution fails! %9i %9i %9li numatom = %i, numclause = %i, numliterals = %i wff read in lowest final avg noise noise total avg mean mean #unsat #unsat noise std dev ratio flips length flips flips this this this this this this success success until std try try try try try try rate tries assign dev walksat version 36 (Huge) command line = %sseed = %i cutoff = %i tries = %i heuristic = tabu %d, noise %d / %d-hist-random-novelty-rnovelty-best-init-hamming %i-partial-super-tries-target-tail-sample-tabu-low-sol-solcnf-bad-numsol-trace-assignOptions for walksat solver are: -seed N -cutoff N -restart N (same as -tries N) -noise F (where 0.0 <= F <= 1.0) -noise N M (same as -noise N/M) -noise N (where N > 1, same as -noise N/100) -numsol N = stop after finding N solutions -init FILE = set vars not included in FILE to false -target N (stop if reach N bad clauses) -partial FILE = set vars not included in FILE randomly Heuristics: -random -best -tabu N -novelty -rnovelty -noise N or -noise N M (default M = 100) Printing: -hamming TARGET_FILE DATA_FILE SAMPLE_FREQUENCY -trace N = print statistics every N flips -assign N = print assignments at flip N, 2N, ... -sol = print satisfying assignments -low = print lowest assignment each try -bad = print unsat clauses each try -tail N = assume tail begins at nvars*N -solcnf = print sat assign in cnf format, and exit -sample N = sample noise level every N flips Invoking solver walksat version 36 randombesttabunoveltyrnovelty-% Error: some variable is numbered larger than the maximum. Error: encountered a 0 length clause Error: Some clause contains duplicate variables. Error: Maximum variables allowed is . Error: File not in DIMACS format. p cnf 0 Begin assignmentEnd assignmentInvoking solver rel_sat_rand %ld-maxsec%f-maxbt%i-trials-fudge-nosol-norelevance-dumpOptions for solver rel_sat_r are: -seed N = initialize random seed to N -maxbt N = End each trial after N backtracks N=0 just means perform no backtracking. Default = 1000000 -trials N = Try to solve the formula N times -learnorder N = The maximum length of clauses to be "permanently" learned during a trial. Each learned clause corresponds to a backtrack point, and is entailed by the original wff. Default = 3 -norelevance = If set, do not perform relevance-bounded learning. Otherwise, backtrack points that correspond to entailed clauses are longer than the learnorder are temporarily added to the wff, until backtracking unassigns the other variables in the clause. -fudge N A B = The fudge-factors used to "degrade" the variable choice heuristic. In the first step of choosing a branch variable, every variable is scored by the number of times it appears in a binary clause. Up to N variables that are within A times the BEST value are selected. Then, each of these N variables is re-scored by actually counting how many unit props are performed if the variable is set. During this stage, if it is discovered that if setting a particular variable leads to an inconsistency, then it is immediately choosen. Otherwise, the set of all variables that are re-scored within B times the BEST re-score is determined, and a variable is randomly choosen from this set. Default = 10 .8 .9 rel_sat_r 1.0seed: cutoff seconds: cutoff backtracks: fudge: trials: learning: number solutions: dump flag is .cnfnumber variables: number clauses: [trial] solver result time backtracks branches assigns avg_choices seed [] Start trialsatisfiableunsatisfiable] SOLVED - instance is timeout SAT UNSAT ] rel_sat_r The instance is %s Error occurred at or near line %d nextstripstypingequalityrequirement: %s is not supported parser stack overflowdomain doesn't matchnoexistsforallnotgoalparse errorout of dynamic memory in yy_scan_buffer()out of dynamic memory in yy_scan_bytes()bad buffer in yy_scan_bytes()out of dynamic memory in yy_create_buffer()fatal flex scanner internal error--end of buffer missedfatal error - scanner input buffer overflowinput in flex scanner failedfatal flex scanner internal error--no action foundNoticed fact %s not useful. blackbox command line arguments: -o to specify operator file -f to specify fact file -g to specify output file -t to specify a fixed number of time steps -i to specify tracing info level 1 or 2 (default is 0) -n force implicitely negative facts to be added -step increment plan graph by length -noskip don't skip graphplan solver -noopt stop as soon as a solution found -printlit print wff in literal form -printcnf print wff in propositional (.cnf) form -printmap map mapping from literals to propositions -printmodel print model returned by solver -printexit exit after printing wff -nopretty print the solution plan in literal form, rather than lisp notation -h for this list -M to specify alternative max nodes in a time step (default is %d) -maxfail halt if solvers go into failure mode N times in a row (default 4) -maxtimeout halt if solvers timeout N times in a row (default 8) -maxauto halt after plans of length N are reached (default 50) -noexcl only generate minimal set of exclusiveness relationships -axioms or default (7), mutex (15), compressed (31), expanded (63), action (129), dagsat (319). -maxglobalsec N maximum global time limit N seconds (default 1800) -solver { -then }* sequence of solver specifications, must be the last argument. Format of : == { -maxit N } { -maxsec F } {solver specific options} == graphplan || satz || walksat || relsat || compact -maxsec F == only run solver for F seconds -maxit N == only run solver for N iterations (flips/backtracks/recursions) If maxsec or maxit are not specified, then use the most recently set value. Default values are 0 (meaning no limit). To get options for particular solvers (e.g. walksat) try blackbox -help -solver walksat Examples: blackbox -o foo.ops -f bar.facts -solver -maxsec 10 graphplan -then -maxsec 0 satz * run graphplan for 10 seconds then satz with no time limit. blackbox -o foo.ops -t 8 -f bar.facts -solver -maxit 100 graphplan -then satz * look for plans of length 8 only. run graphplan for up to 100 recursions, and then satz for up to 100 backtracks. blackbox -o foo.ops -f bar.facts -solver -maxsec 100 satz -cutoff 20 -restart 40 * run satz for up to 100 seconds total. whenever 20 backtracks are reached, restart satz, and repeat this up to 40 times. when a restart value for satz is specified, then a noise factor of 0.4 is automatically introduced into its choice heuristic. blackbox -o foo.ops -f bar.facts -solver -maxit 100 satz -cutoff 20 -restart 40 * run satz for to 100 backtracks total. every 20 backtracks, perform a restart. note that the restart limit of 40 can never be reached: this command is exactly equivalent to: blackbox -o foo.ops -f bar.facts -solver satz -cutoff 20 -restart 5 blackbox -o foo.ops -f bar.facts -solver walksat -seed 123 -noise 0.4 -numsol 10 -restart 100 * initialize walksat with the random seed 123, and then run it up to 100 restarts at noise level 0.4. keep going even if the problem is solved for up to 10 times (in order to gather more accurate solution time statistics). Badly formed operator: '%s' not a parametergoal not found in R.U.V.%s required, time %d Goals reachable at %d steps but mutually exclusive. discarding %s. didn't find precondition. Shouldn't happenAvoiding %s, time %d %s not useful. Not putting into graph at time %d. bug in do_operator_recbeginning pre-preprocessing... time %d found %d possibly useful facts. ...done pre-preprocessing. Badly-formed op: %sToo many ops. Need to increase MAXNODEStime: %d, %d facts and %d exclusive pairs. Goals first reachable in %d steps. %d nodes created. =Warning: Could not reset output buffering 43blackbox version %s command line: -h-printcnf-printlit-printexit-printmap-printmodel-noexcl-noprettysetting bb_prettyflag to false %i -noskip-noopt-step-maxfail-maxauto-maxglobalsec-axiomsmutexsimpledefaultcompressedactionexpandeddagsatbad argument to -axioms option; use integer or compact, action, expanded-maxtimeoutcommand line args not in proper formatSorry, can't handle that large MAXNODESgive file name for operators: %scannot load operator fileLoading domain file: %s give file name for initial facts: cannot load facts fileLoading fact file: %s Problem name: %s types: init: goal: MAXGOALS too smallFacts loaded. turning off completeness check. can't even reach non-mutex goalscan't get there from here in allotted timeno solution exists in alloted time ---------------------------------------------------- Can't solve in %d steps reached maximum number of solver failuresreached maximum number of solver timeoutsreached maximum global time limitprovably unsolvable by completeness check%d new nodes added. #################################################### Total elapsed time: %.2f seconds %d minutes, %d seconds Time in milliseconds: %ld bbun%sbbct%sbbunct%svar = %s const = %s ---------------allocs - frees = %d Facts %s and %s mutually exclusive bad argument super(%d) action %s: parameters => precondsions => effects => existsacannot open output fileNO SOLUTION Problem not solvable: %s Search halted after %d steps %d entries in hash table and %d hits avg set size %d ---------------------------------------------------- Ran out of space. Requested size=%d. exclusive: %s Printing graph. For clarity, ignoring parts unreachable by planner Time: %d Facts: %s deleting nonexistent fact op %s, bad instantiation_%snoop%s_%sinstantiation failedgoal not found in outputMAXGOALS too small.no memory at insert %d Error! set in table at time %d not in at time %d. Can't hope to solve by time %d. good hash table hit. hash table hit. goals at time %d: found non-minimal action set, time %d trying %s from prev time step. Trying %d %s to achieve %s. trying first %d goals failed Begin plan %d %s ) End plan ---------------------------------------------------- %d total actions in plan %d entries in hash table, %d hash hits, avg set size %d %d total set-creation steps (entries + hits + plan length - 1) %d subset hits. %d hits on doable sets %d actions tried Invoking solver graphplan ** Turning off completeness check ** Result is %s Iteration was %ld Sorry, can't do X viewing in this version.Options for graphplan solver are: -O