ELF4R4 (444444kFkFlFllH *FHHH Ptd Qtd/lib/ld-linux.so.2GNUamXG3UINRQ@"e>ijHdF `f<cA75S\PkYhM2ZJ^a=g]b_0ClD)OT[ $ !(,1+&6*:; .K%B-E9?8V'W L/#4os_@=j}qRJ#4%1IoG~S$ 9q=E~E6[|<7ze0P#~$AX#E e1R#/ML!EN#8x8?ETSJF'{:@!%^hT9 'q95= fE{8!W#Y+G45*2dHP(!x @!2Lf4f[ 0.'s "libstdc++.so.6_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_PS3__ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_Znaj_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc__cxa_rethrow_ZNSolsEl_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_RS3__ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZNSolsEb_ZSt18_Rb_tree_decrementPSt18_Rb_tree_node_base_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZNSi7getlineEPcic_ZSt4cerr_ZNSirsERipthread_cancel_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSi7putbackEc_ZNSolsEm_ZNSt14basic_ifstreamIcSt11char_traitsIcEEC1EPKcSt13_Ios_Openmode_ZSt17__throw_bad_allocv_ZdlPv_ZSt18_Rb_tree_incrementPKSt18_Rb_tree_node_base_ZSt20__throw_length_errorPKc__cxa_end_catch_ZNSt12__basic_fileIcED1Ev__gxx_personality_v0pthread_once_ZN9__gnu_cxx6__poolILb1EE16_M_reserve_blockEjj_ZNSt14basic_ofstreamIcSt11char_traitsIcEEC1EPKcSt13_Ios_Openmode_ZNKSt9basic_iosIcSt11char_traitsIcEE5widenEc_ZNSt6localeD1Ev_ZNSt8ios_base4InitC1Ev_ZSt5flushIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZdaPv_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS___cxa_guard_release_ZN9__gnu_cxx6__poolILb1EE13_M_initializeEv_ZNSt8ios_base4InitD1Ev_ZTVSt15basic_streambufIcSt11char_traitsIcEE_ZNSt8ios_baseD2Ev__cxa_begin_catch_ZN9__gnu_cxx6__poolILb1EE16_M_reclaim_blockEPcj_ZTVSt9basic_iosIcSt11char_traitsIcEE_ZSt7nothrow_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZSt4cout_Znwj_ZdlPvRKSt9nothrow_t_ZNSolsEd_ZN9__gnu_cxx6__poolILb1EE16_M_get_thread_idEv_ZnwjRKSt9nothrow_t_Jv_RegisterClasses__cxa_guard_acquire__gmon_start__libm.so.6sqrtlibgcc_s.so.1_Unwind_Resumelibc.so.6putcharstrcpystdoutmemmovetimesgetenv__strtol_internalfscanfmemcpysetvbuftolowermallocisattyisspacefflushrenamecallocatoffprintfsetstatestdinferrorgetrusagerealloc__cxa_atexit_IO_getcsscanffreadstrdupgettimeofdaysrandinitstatestrcmpsprintffclosestderrsrandomfputcfwritefopenatoifileno_IO_stdin_used__libc_start_mainfputsfreeGCC_3.0GLIBC_2.0GLIBC_2.1GLIBC_2.1.3GLIBCXX_3.4.4GLIBCXX_3.4.6GLIBCXX_3.4CXXABI_1.3   P&y : ii B@ii Lsi Vii B)b)pt)~ӯkkP"+,3A8NHXPYx[\      !#$%& '$((),*0.4/80<1@2D4H5L6P7T8X9\:`;d<h=l>p?t@xB|CDEFGHIJKLMOPQRSTUVWZ]^_abcdeghijklUd 5%%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%h %h% h%h%h%h%h% h%$h %(h(%,h0%0h8p%4h@`%8hHP%<hP@%@hX0%Dh` %Hhh%Lhp%Phx%Th%Xh%\h%`h%dh%hh%lh%php%th`%xhP%|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%h 1^PTRhhQVh/USQ[b8tX[U=tv(ҡ(uÉUtt hЃÐUE@ÐUVS=~Bhlt < hlt& F95}Íe[^ÐUWVSu u} ߃yU lD E ؋lD@EyU lD E ؋lDp 9uv=xu-up !ÃWPB$b9uwÅyU lE ؋lD@EyU lE ؋lDp 9uvR uÃ@;Cv S`CC St 9uv 뵸e[^_UE@ÐUWVS E=lpX 9vOE؉E~ultu؋l49wGpX 9vG~ultu؋l49wGpX 9v39wG pX 9v39wB BWB BWB BW B BEh5|e[^_ÐUWVS }yUl)ЋP UEElPU@EEpX 9w0xu p e!u G\9wՋUJR 9v%y؀<u G*9wu EP  UzZ 9vip xuW V uGpP PV5ptu5pu5p9wEpX 9vWpP PpB;Bv RK pAAu5pt*9w EyP e[^_ÐUS=~C<u* St.u PtC;~]ÐUS ]5SruPSZt]ÐUWVS }yUl)ЋP 0ElPpzZ 9v p t@9wNF 9w6yڀ<t9w EPiyڀ<tče[^_US=~9<u Su P C;~̋]U(HP 9v 9whHh@(ÐUShBh@P54h@B Bh(]ÐUWVS,PUPh5=EEELEEEEEMЀ< uu:E؃ u5j%jh0EE PTauE؃ u8EkP Pj uPU܋x 97ۉڅy< S]C Vu?E u5j%jh0f jPM rP$w u]E9} P P7 uPUx 97ۉڅy< S]C Vju?Eo uP5j%jh0[3 jPMЉ rP$tyH u]E9}EEME;uuhX5]}tE;EIe[^_UWVS PUPh5 =EEEE<0M Vu8 Wu5j%jh0vEE Wu VEEFO;5]uh5}tEe[^_UWVS hhhh=E] lt El4ƃltǃltURPuhEE9}e[^_UWVSEPlu ( V9u jd$d|$ t}~s5l j e5l$ OF5l$ 8Fl$ #C 8G9}}@h j 9u@(h j p$de[^_ÐUWVS}|PU؋H M܃=t PPhQ (PyE=xM@9~E9Ew EEEU܋2 Vu^ v9sPyڡ<u6M8u UBU=t3h x9w=t h 7EEM9M\=EEuEE~uk@<w2؉G=tPhEE,G=tShEEC;~=t hE UuhjuhZuh6J+E+EPhJ1E+E+EPhfe[^_ÐUWVSu] 5jjhEDžlDžpDžtDžx hC|~EPh)smS h$'CES:-~EPh)R h/$DžlDžph,hR]ShR~3h(SujSh4 5Q5jKjhp 8 hi$E|Džx Džx|~JC|S:-5Bbw$,!Džt5jjhS1uu us  5 xAB qtJ;J uփtt"xt"5jDjh  xt$tSxt u%t8pt t&lt uu4C< u}5j%jh e[^_ÐUWVS|PUx P PhA($mE=xM@9~9}E Suys [ j(9sRyڡ<u8M8u UBUy؋MRh x9w hY9}i hP=uvFuGuSh5X7<PShx56PShx5C;돃=~ uye[^_UWVS }G pX 9vD~Wlt~ W؋lt a 9we[^_ÐUWVS]SCXPU@;] uËU 9UuEE lD xp 9Sp tup u 9vQ˃ p ÃE PS5jjh&S6e[^_UWVS =~[<0uBlDxX 9v)Vp t 3R9wF;5~e[^_ÐUS]؅y؉u7tB;Bv R[tBBȉؙ9]ÐUWVS u~^ 9v; ʅyڡ9t_PVuJ9wŃhVQF;F u h!/ Ve[^_ÐUWVS }B;Bv Ri5^ W^<$74|B;Bv R5|^ Wh^<$Ãu3 Gp@ h!<GxXly4؅y‰U~'VB;Bv RiVBB#B;Bv RCBB~5EPB;Bv REPB8BEB;Bv REB8B jEƉx @GE_ 9~DlTB;Bv Rwy؉lTB0BDlT B;Bv R1y؉lT B0B9]fe[^_UMʅyڡH9UM=(9t US ]jnUЅy؋ ,9|QRh!5$?;~B;Bv RPM PEP1uB;B u]ÐUEE  EP.uUB;B tރ R uUUBЃ v -tUS]s 3h!]ÐUWVS} uh!w7$!aw$!zGpX 9v 3v9w h"IG pX 9v 3E9w j e[^_UWVS uufd jÃu 5jjh"E$Y< Wu 5jjh"$"3CC D8C؍e[^_ÐUWVS]EK C)ȉ4VQƒu/u3hH"5;5M$ECS D2Ce[^_U uh"5$_UUB+B ÐUVSu^ vvS6h-"k ;^s3h xT;^r j e[^ÐUEM P @9r; t 9w ; uUWVSu} V ^9rы9:t9wN[^_UWVS EX x9rދ 3U u9wEpe[^_ÐUWVS EX x9rދ 3U u9wEpe[^_ÐUWVS}W _9s ʋJ9w$9t9w ։w[^_Ã9vы;tɉUWVSE0ËU{ r ЃtfЃtuS C؍e[^_UWVS }u ;} W;O ^V 9v9wOe[^_ÐUWVS] u<Ƌ{[ 9v(F;Fv VFF9w؉e[^_ÐUSM~ Ȼ ػuxBB 9[ÐUWVSxP UP xAUAs}}yl)ЋHplp yY 9v3:>9wFEv 9(B;Bv R(BBHu}C XH 9}Uy؉E}E<uRME;]w…y:9tW9vt߀=tEu@C xX 9v3B;Bv RP P9w̓9uxU;P|;4=}Ѕy؋}<809vЋ=2e[^_USM~ Ȼ ػu Q 9]UVSEXH 9v,5…y29u 9wڸ[^ÐUVSElHP 9wLy؀<0t.9wC pX 9v!p kt 9v 5y؀<0t뮍e[^UVSElCHP 9wLy؀<0t.9wCpX 9v!p t 9v 5y؀<0t뮍e[^ÐUE~ Pf PU8=puN h 8 jE EPE  E 8¡ A8U6 P8 E @ u uÐU(&B(U h   )P$d$"]  EUEUEÐUEE8E <uEƀ p Ug@p EEE}uU EEE <E p E}t}t EE~p U2@p p U^@p U p H p %U p H p p U^@p EEE}UEEUEEE <upE p <t<p U2@p p U^@p U p H p %U p H p p U^@p EEE}mUEEtE <u[E p <t'p U2@p U p H p %U p H p p U^@p EEE}uU EEE <uoE p E}t}t 0Eip U2@p U p H p %U p H p p U^@p EEE}nEEÐUEEE PEѠ EE;E|Up (@( p H p p ; EE`ĝ EEE@E'E;EuEPEPEEE@E}uӍEEE}%ÐUE , EEExEUE(9E}E EPUE 1(E)Ћ EP(E)щʋE EEE}uÐUE , EEE;bEUEEH EPUEH EEE}uU E , EEE{EH E}trE;EuEURH >EEE@E'E;EuEPEPEEE@E}uӍEEE}{U$EEEEEEEH EEEUG @G EG uQUQ@QE슀 p ЋEG 9uCEEQG EQ9E|QEE@E}REEE}#E`EQEEG ;Eu1E슀 p ;E~ Eƀ uu EG EQ9E|QEEU(EEEE(9E}E E(U)ȋ E؋E؉EcE@EE , EuuE}MuEƀ EP?}u E)EE}uEEE}HEEÐUHEEEEs(9E}E E(U)ȋ EEE!E@EE , EEPuu E}u E }EP{E}EP jBE(ƀ EEEUE܋D̉uۃ}u Et(E , ( PQ(E܈ p B(}u E-EE}EEE}EEUEEEE <uEE@E}u݋E P0EEEE/E <uEUEEE@E}uˋEEEU$EE2EE <e(@(E , EEE6(9EEEE芀 <EƀѠ Eƀ`ĝ E Pt:Eƀ  p E; B p Eޣ P9E(E)ЉEE芀 <uqEƀѠ Eƀ`ĝ Eޣ P6t7Eƀ  p E; B p E P!E00Et ?0 P0 Pd$$RQh%S{ Pj;jh&Ę jWE uFEEEuu uE}} }t}t.}tDPj(jh<&>E he&貔E p p p (lDžh*hlыl)Ɖ' hv&/Pj#jh&舗 uEEEp (9ua h&t1Pj'jh&+(uPEO h'葓=}uPj%jh4'Pj(jh\'ɖE(( (( PRQSh' UE)P$d$'d$$h'P}}Ee[^_ÐUd `\@? 5j jh+臉5jjh(s 5j jh,\5j#jh8,H 5j%jh\,15j2jh, 5j-jh,5j6jh, 5j*jh -ۈ5j9jhL-Lj 5j jh)谈5j+jh-蜈 5j+jh-腈5j jh)q 5j2jh-Z5j,jh.F 5j3jhD./5j&jhx. 5j*jh.5j&jh. 5j*jh.ه5j5jh /Ň 5j/jhX/讇$†E܋U9UM`\Xt;d~ dX=lu-pt |w l2 le[^_ÐUWVS u} 5jjh) 5jjh6) ~#4h][5uC9u5j ] 5hE)5D 5`hP)5+ 5dh])55j jhi)^p u5L? hv)5؁54<~l~5hPh~)5蛁5j 舃e[^_ÐU5\I0 5`I0 5dI0 h/5T 5j jh)蝅5jijh/艅 5jijh$0r5jijh0^ 5jjjh0G5UVSu~! PI0 LI0 C9u[^ÐUSdI0 ~ A9~[UT? ;< }%< =t= t P|=p= tH? ;= |] T? ʃd~d= =Pu9Q$< < $$d$< < P< P< ÐU T? < P< < < = 4? 9u== uȃd~d= =t= t Q=p= tUS5H? h)5==dI0 V؃< u؃Ph)5 ؉љu5j C;dI0 ~C љt5j 賀5j jh)]USh= tS H? ȉәuB Q5T? 5< hh15R~ =d= t 5S~]ÐUSdI0 ~ @ A9~[UWVS 5jjh)?}~yELI0 U<TI0 <~1XI0 4h x5}CTI0 ;0|5jjhˁEE9Eu5jjh)詁e[^_USuh15$}=dI0 V؃< u؃Ph)5| ؉љu5j ~C;dI0 ~C љt5j ~5j jh)]ÐUWVS`I0 E~eTI0 UhI0 XI0 EE4Eمy; tB9u#G;}uhI0 EU4 E0E؋UEڅy; t릋E[^_UVSH? < DP< E< < < x< p< Eup< p< E@t؃$}h< < `< H< H< @< @< (< =T? u ; < < < < ?; ; ; ; ; r< p< h< `< =T? I3< K < < H? < < < P$< $$< < $$d$phS4$d$`E@t؃$|UX< E@t؃$`|}P؋D< < < P<$0$$d$< < D< ={$RzUWVS}u ];tAB9}[^_ÐUSdI0 @~5؃<@ t؃Ph&*5_vCdI0 @9Ћ]U < 5< < $h,*5v < 5< }fE fEm]mEPh25u=pu&< =D? d$$hI*5u5< he*5u5 < 5 Soo=`I0 % hI0 EEE؉E܍4XI0 U؋ 0ʅy; uDI0 XI0 U܋0ECTI0 ;|DI0 8u\T? HI0 8T? PI0 ]T? 5TI0 >~B}=XI0 `?  ȅyB;}uEԅyZ MEEE;`I0 }ءTI0 <S=7 tO5dI0 h  h Z7 Ph+5 kSXe[^_UWVS EU dI0 `I0 =~ 5jjh+o$)n PkXI0 `I0 $kTI0 `I0 $gkPI0 `I0 $NkLI0 `I0 $5kHI0 `I0 $kDI0 \I0  $$ 9TI0 , hzjE5jjh+n XI0 M TI0 TI0 <5jjh+m$lMMt3MMJ\I0  TI0 TI0 <~G;=`I0 !TI0 8u 5j:jhd5Fm$Zlߍ  9  ~, hziE5jjh+l E@$ )‹M MCA 둿 XI0   @$ 4XI0   GTI0 U;<|F95`I0 ~T]TI0 <=`I0 =`I0 ~$ċMMue[^_UWVS }u] 5j#jh5kjhjSV@5rkSVZ uu u-]P? ؃=P? 9@[1 1 $\1 h$jhDCi[UyÐUWVSL6fB@=YuffDB@=YuEU P DžfDž~!fDŽEB9uυ~!fDŽEB9ufDžEEe9] }h5hZfUt)ffUfujh6hY@J@tuSh]Sh] P<]"fUfUlj|}GSfUt)ffUfh6hXfuh86hXf j Zf0f@f@$)ZCffCftWC CfMDSfB HfJF9}‰ƃ SI\ V[1 ;1 6P $d$ٽf f٭۝٭1 PeYƃ=1 ~!1 A; 1 |1 t PZ51 1 1 @1 U9e[^_ÐU1 t P,ZÐUWVS E8EUBU4f>F|th~hVFB@J@tuRhZRhZhuPUVG9wj hYEEU;9h6hVe[^_UWVS E8EUB]4f>t~F|th~u UFBM @D J@tuRQY RQYhuPeUG9j u -XEEU;Oh6u )Ue[^_UWVSE0X h6hT‹@D J@tuSR)Y SRYj PW‹@D J@tuVRX VRXj PZWU:EUBU4f>F|th~h&TFB@J@tuRhCXRh0XhuPSG9whhSEEU;6 hTe[^_UWVSIEHfB@=Yuf4fB@=YuEPu VEٽf f ٭ ߽٭68u(EPh6E 4;Mz(8u(EPhx(U 4L568u(EPhx(E 4L68uaEPhx(E tnL EPh(E t PL EPh(U 40Lr68tU7 8u  078t Dž1 C;]\`h8hHh88PHhd8PGh8PGh8PGh9PGhX9PGh9PGh9PGh4:PGh:PGh:PzGh;PlGh`;P^Gh;PPGh;PBGh8<P4Gh|<P&Gh<PGh=P Gh`=PFh=PFh=PFh@>PF$IEU䉕EٝEٝ}ԋu؋]h7hF$_Jh"7PqFSPE$?Jh)7PQF QR,$5>$POG$Jh:7PFVPOE$IhN7PE‹@D J@tuWR$J WRJhuPEم$PFhuPEم$PF$ZIhV7PlE‹@D J@tuRIR~I PIh_7PE‹@D J@tujR>IjR.I PHhj7PD‹@D J@tuRHRH PZH1 h}7haDSPG$/H=1 +U 4SHҍBv0478uƄVSCHэL1-perAm.f߉эL-temAp.f$Eà j0VPoFƃ SG V)G1 $gEà j0PS3Fƃ SfG VF1 uAh7hB‹@D J@tuuR GuRG PFh7hB‹@D J@tuu RFu RF P=F$5Fhh>hCB$F}DžDžh7hB‹@D J@tuR.FRFh7PA$E$1 uu uh1 u jD S[uuuuEPjSh+ }t||h7hAƒ@D J@tuR9ER%Eh7P@SP@$Du苅DRP,$d$HRP,$d$ݝLP4,RP,$d$5>ݝ}t7t77h7h?ƒ@D J@tuR$DRDh7P?SP? P@huP?WP>huPj?P>huPM?P~>huP0? P;@huP ?VPC>$Bm}tgeǍH@V̍h9t@ލ^̋C0t PACt PACt PA볃 WRBH@V̍h9t@ލ^̋C0t PsACt P`ACt PMA볅t9EteuZt||h8h=SP=$AuPe[^_UVS]u {H~ڹzhDA49KH[^ÐUh1 AÐUu,u$ h1 :< h$jh]f=ÐUÐUWVS]u FxtXIxpxlPvf_@+]VWS$ e[^_UWVSUBL@EBlERpU]Pvft-پ@EDlF9|ft"ڹfCA9fǃ]dft-پ@EDpF9ft"ڹfCA9fǃuxft"fFA9fdž}njft"fGA9fLJUf:tnE]UB ffNЉ@f؋UBxtffGʉBfEU;EEf8E]UB f]<E,؋UM ME>]؋EPvEudU싚MffYЉ@fuU>E@off^Љ@fu>ـE@8EEEu3f<_uff_Љ@fEݔؐ]EԃEU ;EM ft%ʹu fFA9E fǀE؋UJ(ftkE݄Ȑu8U fu)ff‰EU쉔f@fEEuE4UE9PHjffMI$~kE݄Ȑu8U fh-$1u~htO@J@tuSh1Sh1j P40Wh~h=-‹@D J@tuSRh1 SRY1j P/؉љu h0C4CU9BH! h0h>h,$~0e[^_ÐUWVSf~f>e[^_UWVS EPEEYEY@ j(Cs C F$e(F{(C(G$E(GC4UUJU뉉NjFt Pu)ƋCt P\)ǃ}tbY+E@E49u HF9Et@ލ^̋C0t P)Ct P)Ctƃ P(븃 W)EPvfǀYfJuEdfǀYfJuExfǀYfJuEfǀYfJuEfǀYfJue[^_ÐUWVS EPEEYEY@ j&Cs C F${&F{(C(G$[&GC4UUJU뉉NjFt P'ƋCt Pr'ǃ}tbY+E@E49u HF9Et@ލ^̋C0t P,'Ct P'Ctƃ P'븃 W'EPvfǀYfJuEdfǀYfJuExfǀYfJuEfǀYfJuEfǀYfJue[^_ÐUWVS,E@D1 UBH~IUfǀI0 fǀI0 BhBtBpBlA4u;NH|=1 E1 U;Uu7@MTPUHTA9>u ];MuEG;EmtGt PD  WX!Eu9uEUB8zD|h j ËMMuf$lCffCftPuEMCEfxucxu](Åu YFC {{CCCCC C$S؍e[^_ÐUWVS }u FEHÅu Z~:B9uD33uSÃu YC؍e[^_ÐUU:u @<uPR]ÐUVSu (Åu DZvs FCu DZZCuS؍e[^U=,1 uh@5$1 ,1 u5,1 >ÐUWVS=$tl$=H1 u H1 =$1 u H$1 = 1 u  1 =,1 uh@5$1 ,1 =41 01  H1 }Uf `St( D1 =@1  Q~ Ê QONӍM9uKGf581 @5$1 Sj@EP81 u 5$1 t Y=81 t/}u 5$1 ,1 @$M 81 81 ,1 BBDB1 ttWt1<1 1 41 H1 JP+E41 =41 1 E,1 @81 41 =41 1 UZs '*ie[^_UPÐUS]t';,1 u ,1 {tC[ÐU hh]5USp1 t#3h1 Fǀ$ [u݋]ÐUVSuL1 t0VIu [ue[^ÐUVSuT1 t3V u [ue[^ÐUVSuT1 u VCT1 *ÃV3tCu VBCe[^UWVSlh1 E6URUUM‰M}?}޿C)8uCUE;PuMIMH }GUBMYA Q31X޿#K82}_EƿC)8S8?tr Z8?tօt 3(u MU;JuXE35,uuAÃ6AC}u90E@EUB MA}GEX@ P00X u 354uquAMQRP}A@ $/EXEt]6URU h1 M0} }E‰EUU 2&taM154u$#Kk@ƃu^@ÉF}wq@C4$>MQPAE}}7#K8u_Ep 6tH654u0u?Ãv?C$ >MQPAE}}E@Ee[^_ÐUWVS|p1 EU3#K8ubs 6u 6654EPdU$ ?Ãv&?CU$-E@Eoe[^_UWVS|=t1 G,PU@uL1 |!|2FxVh1 [A4$>$<UE 650]S$>>Ã62>C$q<ÉG 65,EPZ5P1 uY߃ 6=ËxCSh1 @t& EP=XC$;Gǃvu|R|tx1 Ex1 e[^_ÐUVSuH1 t:0VuSt8?uARt[uƹȍe[^UVSut1 t 3V/t [ue[^UWVS|t1 EUBtE=T1  70P1 |Ux754x7R<ƃ|0@<F4$%u7 x <Ã|2<C$M:UBE V*|@|b%e[^_ÐUWVS|t1 EuDž|Dž|U3#K8uls 6u 6$654EPU$4;ÃvM;CU$)Dž|E@Ee=X1 u |te[^_USx1 t3h1 =[u%]ÐUWVS|5p1 t^U<jEPj6X,URl1 P-<Ãu h[I+ǃ, vu}O}||jh1 P=Pǁ, H tA , t/ǁ, #Q t, t ǁ, Rujh1 P<ujl1 P<ǃ, S , t ǃ, Ru3l1 P:, u2@xu)ǃ, =1 ~W3h7[5jl1 P;ÃUO|t, SZe[^_UWVSEEjl1 P;n< 7%PEh1 P:ǀH Wp%CSw %G Vs %C Sv%FjEl1 P:ǃqe[^_UWVSEEEjh1 -P:3Eh1 P9Ɖ8 < 4 4 0 0 H H {t0< Sv%FVs %C uЃjEh1 -P:ÃZEEjl1 P93El1 P9Ɖ8 < y@ 4 4 0 0 {t0< SvK$FVs <$C uЃjEl1 PW9Ã[jEl1 P198 Xt < v#F[u8 t&< ~#[uڋ8 Xt < vN#F[ujEl1 P8ƃJjEh1 P_8Z8 Xt < v"F[u8 Xt < v"F[ujEh1 P7ƃue[^_ÐUWVS=1 u h1 1 5p1 UtDž|}jWj6=&1 |Wtl1 P6|v밸Ex;|}NEx]|)p1 4x4&u#F9puԃE;|t6뗸2uhm5m|We[^_ÐUVSu] t/V3,&t [tsVC؍e[^UWVS }wtj_ t36%u[u} u t8du-j jW$#K2PG C_ vu} t!_tw 3G [ue[^_ÐUUWVS E@PUE08?uvPu&U2hM[h1 7$1 "Ext#Uusyt[uWj6h"UBvxE@EZe[^_ÐUWVS EtJƋFEt>~ÃsWt36t [uӋu뿸e[^_ÐUWVS]Su"Eprt)=1 QSha[55U  EP h1 P2E@kjUREp2E"EPl1 P2 r,jWEp6!Wl1 P1à tu hm S #t0=1 *u 2hq[5vg@Urt_}jWEp6?!Wl1 P1ÃPrBRs C vuE@ h3#K8juVEpS Vl1 Pu0Ãuh=1 t@Vh1 U0u+=1 E @PVhm5GURl1 P0ÃSp B RsC]jEPUrs$Ãj}QeURPvBCZ@e[^_ÐUWVS}wuM_tFujVw39Vh1 /uVh1 /U $ [ue[^_ÐUUE =1 uPR PR^ÐUWVSL}6u 8?t6P_.[vt ϋu OEMB@u<}E EEU2>?ux$]sVu,t4PE0t7EEfG[볋UDE}t(E@EURUt`}}E|uB@tnEcEZVh$nh1 $1 Kp} m뻃}} 멃}릋Ee[^_ÐUWVS}}u>}uuW2juwW5x1 h1 wt]:DRAuEPjTSVPTSu',uuEpWu u/ ] uw3P0tUu h[uuEpWu uG t<u@Bu[t 눃} xe[^_ÐUjuuuu uz ÐUWVS }1 u 1 1 =1 t Pgyjl1 P/,231 l1 PI+8 < j1 l1 P+Ãu 1 l1 Pƃt/1 PsSVl1 P[ uӃ V451 j1 h1 PE+&;5T| hPnVSFj1 h1 P*Ãuj1 l1 P*1;5T| hPnY@ VSFj1 l1 Pl*Ãu51 5h1 1  1 1 1 U 1 @P5l1 R^EU1  1 =1 t1 ;1 u! 1 ;1 u1 1 1 1 @9}ЅyB@@ 5 1 R1 @Phxn5a1 e[^_UWVS } }E1 t1 EhE@Pl1 huh1 tA75l1 (@ FEVSRtuă}H}t) St\Shn5q uC9]u51 h[5?$u =1 tƉ؍e[^_USp1 t3h1 '[u]ÐUVSput^j]Sj6Sh1 &t vF'EPh[5vƃe[^UWVE0#K8^_ÐUVSUE uC-ӉƋ8?t6Pu[vtt׉ƅu ue[^ÐUWVS4}EEjh1 &E9$  ǀ 1 0E܃} tbu ^ tQSt=u3t)E GPEPVEPh1 E [uvujh1 '&EEЍe[^_ÐUVSu1 5jjhn ShD[5؃XVPuӃ51 hn5k1 u r5jjh[؍e[^ÐUWVSLhjj5t5j*jh oXh[h8o5}~'E 4h][5C9]u5jjh)}( ju uu\Ed1 h1 1 2 |2 x2 2  2 1 1 21 1 EEEEEUUM  ;-޿(8t޿(8uwE޿[ 8u 2 ޿[ 8u 2 r޿\ 8u 2 M޿ \ 8u 2 (޿\ 8u 2 ޿"\8u1 ޿*\ 8u!2 jh\o޿4\8u8y޿<\8޿D\8u E8޿68u&EЃh|2 h)]ЋE 4t޿K\8u&EЃh<h)UЋM 45޿Q\8u&EЃhx2 h)]ЋE 4{޿X\ 8u&EЃhLh)UЋM 4<޿a\ 8u&EЃh1 h)]ЋE 4x޿j\8u&EЃh(h)UЋM 49޿x\8UEЋEЋU ޿\8u1 l޿\8t޿\8u1 (޿\ 8u1 ޿\8u1 ޿\ 8u1 ?޿\8u1 ?h1 h)Sa ho L޿\ 8u&EЃh1 h)]ЋE 4 C]65t1 5j 5jjhE]5p1 h5j =1 ~ hL] 5jjh_]=1 tz;1 =1 u 1 1 Et}U>=p1 P$=x1 $$d$$h]5f7<ȉәRș)Ph]5- l1 + t1 p1 +x1 Mb)؍ Qh]55j6jhq- =1 t"6e[^_ÐUWVSujуQ7VhrhrP؍e[^_US]U ЅyB0 сyIA4 [ÐUjjUPU UVS]u ujj0VsC؃e[^ÐUWVS u] uA 9t4‹Bu׃jjR>u G ;ue[^_USEtX P&t]UVSut^ 64$ރue[^ÐUWVS ]tqCEtREƿK8tuK8u s 3c Sm]ue[^_ÐUWVSLE8t{ƍ] jjECtcUBFt<_t<_tUUFj]QUSP>t]늍EE <_uU볋UBEe[^_UWVS }u7E7 j 访ËEC4$P ]u҉؍e[^_UWVS }Dt PQtqC3uԉe[^_Uj )UPU UPUS]Sֽu )t(u]ÐU uhr5ѽ$EUWVS u} ]t^SwV?u$6hr5脽$"r7hrэLQe[^_UWVSu] 6S эLQvVNe[^_ÐUWVS EUuUEUE0>?VuU:ыEL_AMm] VsXu3t4PuO;ыUL_AM$[u}tB h4rZ0E@EDUB} j븸e[^_UVS]u u7#63襻u[vtt ݅u ue[^ÐUM 0 ED#4 ÐUM 0 E #4 UVS]u VSuI0 D 4 D0 D 4 DVsCSvFe[^ÐUWVS }GEtCUpt*X t9} PW[[uvu֋E@EuWUU EE0El1 P\ ƃu'=1 7hIr5Mm8 t!X t9t PW[u^t9t PW[uVwGWvFURU6WtBG R脽Wu烿H t&G Xt9t PW[ue[^_ÐUVSu ]jS{  VP8jS^ ue[^UWVS =1 uoExt1E @E}t7]3V@tB[uu؃=1 )E 0E0hXs5诸e[^_UWVS ]=1 u# TPr1 1 U <ƒjWs 1 jWX EE8 u`8 u9]},P4tE𡤵1 44EC41 tL믋XtC< 1 9|(VPTtEV1 4[uE}1 83E*1  E1 븋UEBЍe[^_UWVSEpt<>H u*E Xt H uPWt[uvuĸe[^_ÐUVS]u 0  4 0  4 V S e[^ÐUWVS 1 E05l1 1 8 uw8 u9]}D05l1 u-1 44t1 44C41 0tI똋t=< 1 9|"SPDtS1 4vuE}1 8t#ڍe[^_UWVSu} jV, H ux3hr5蠴~[[tT5jjhgrݸ, t0hvr5Z[uփ5j @jV\ÃZe[^_ÐUWVS }5jCjh|s\<$d~{CShzr5γ51 h1 P=1 ~/5j jhrjl1 P9ue[^_US] SǷ(u]U 1 uÐUS]S  1 u Shs5$s]U 5 1 hr5ҲÐUS]E tًQtA[ÐUS]E tuPsC؋]ÐUSh1 tAhrPjÃu hrZSj jhr蒶$]U5j6jhph5j jhrTuhr5ޱ u hs5ȱ=1 tM52 52 h t5蠱2 2 uЙPhr5r5j5jh8t軵ÐUVSut)^ v64$ރu׍e[^UVS]u tVs蹰u [ue[^ÐUSEtX P萴؃u]Uj jSUUjj=UUVSu] Vj(pu#Vj \V3[u݃Vj)9e[^ÐUS]t35[u5j ]US]3hr5ǯ5jjhssz5jjhss[5j jh&sճs <5j Z[p]ÐUVS u趮Ɗt%^<_uC-C PӯCCuމe[^ÐUS jj蜲Ãu؋]UWVS ]u+ 3uF[ƅu߉e[^_UWVS ]u3 3$uF[ƅu׉e[^_UVS]u tV3u [u؍e[^UMHQh(5߭$S99u$ )@PQиUS]t3sh2s:[u hGsS]ÐUVSEu uЙӊQAu[^UWVS } hzWƺ2љEt!;su3W蜬tP u߻؍e[^_UStj]Sju Su}]UWVS hzu &hT j Ãj} Qu Ps2љEP 1 ؍e[^_ÐUVSpuj]Sju SVu SVLe[^UE} uS1 1 W1 1 P 1 >A1 t؉1 1 1 uNj 1 A 1 1~ȉÐUVSu] Vj(>t,<_uVj &VPCCuԃVj)e[^UWVS5j6jhp75j jhu#h1 tAh(P蹮Eu hr=h1 tuj(y} EEEEujh1 P^ H =2 t9Wh x5355j ի3Whu5轩E=h1 t1}uujjhu3u3Ejh1 PÃ1GEE@9=h1 tujjh$x菭5j jhux5j6jhptduhu5=1 52 hv5Ũ=2 u5j 詪&2 =2 P52 ht5聨2 2 UDPht5X=1 t52 h#v53=1 t52 h4v552 hLv5e[^_ÐUEPt( RuUEPt( RuUVSuE ~E2 »Pu,Rt( C9t ٸ ( [^UWVS}E ~g2 ¾H t6 t$@ t. t $ t @tIuF9t 뷸[^_ÐUWVS]} =2 u0 h蔧2 $胧 2 2 } D B9u2 t#D ; uIuF99~ƉA99u   D D B9~!+A9ut)D 9~; u @u; ً8tnY  D D BB t!D ; u IuF9~f9}PH~=2 2 DžDž9u}0=1 u?uhu5ãk 2 8e[^_UVSu] @ B9u[^UWVS} u=@~@9@~#E 0  4 C9u[^_UWVS,=2 u3 THyBPգ2 2 u u&E52 u uF} 2 EEUMU]+@ 0 }434 E܉% 52 tG@E;Yu3U9Q u+V}]ue[^_ÐUWVS]}UEJUU jdEx2 ΃=1 tkuhv5&} ~5u2 0hvr5C;] u5jjh)4=1 ]uSu 2 -PG=1 t&Su E2 -P j=1 t%Su 2 -P?uVu =1 t$]Vu 2 -PCt =1 u):Vu 2 -PVu bÃVjE HPÃ=1 7Vu E2 -P~kN U샺$ uJM];( W?uVr uWG H 2 2 =1 tjjEHPW5_tO Q uU M2 E } ~ hL][uW t$ Ru=1 ~FH t]3hu5< E07uhv5 uu FP]E܋W t$ RuOt6 J uM U ]2 ǀIuW}u =2  =1 tjjEHPW }ti}tE@EPISu 2 -P:%uh`u5 ؍e[^_ÐUWVS u} ~02 ǀ A9uWjFPE~02 ǀ A9uEe[^_ÐUWVS }~.U 2 ¹ A9Muu u@ 2 2 UJM <E؉Dž2 F9Ãu Vzƒu#=1 tfu V2 PJLu V2 P2  KD 9t)s9!}~9U 4  02 C9]u勍 2 Ѝe[^_ÐUWVS }u 2 E(2 9EG9t&BPhv52 E2 =1 t? VC =(2 x*jVE2 4 C;(2 ~ۃV(2 @PÃtE5jjhvu =1 tVWE2 PwE2 (2 B(2 9؍e[^_UWVSj5l1 G ǀ$ j5l1 (u߃=1 t u7=1 =jl1 PjVPjl1 Pu;utVjh1 Px tjjVPjh1 PbuF;u]=1 Ujh1 P ǀ, jh1 Pu܃jl1 P ǀ, jl1 Puܡ2 t PJhE@P2 5p1 u Ux|jEPj6 URxl1 PÃu hv|2 G=1 tjuS~ hvvtoUBUae[^_ÐUWVS8u+E܋E2 5j6jhq袕E@Phv5*}~dU42 0hvr5C؉љu5j Œ9]u5jjh) =1 t/URu܉2 Pt$2 = 2 HE=1 u euu܉2 P0AMEEE@2 D2 H5j6jhpH2 P2 L2 |5jjh w =1 tuuƃ1=1 tuuƃuuEƃu-=1 uu܋E2 P=8 E@H2 H2 )؋0D2 )؋V0@2 )؋V0L2 )؋V0@2 )؋VD2 )ًF EE);EuU؉ 2 O=Pu gP5j%jhu萒<=Pt!P5j%jhuS}uuuEP2 L2 D2 hH2 5D2 5H2 5L2 Mƃ =Pt!P5j%jhuʑ}uuuEP2 L2 D2 582 5D2 5H2 5L2 T2 ƃ =|1 ut|1  ui4h%w5͌ 5X2 h3w5贌uE=`1 tG;= 2 } Ft.=1 u3{ju2 4C9]t݃ u2+vh}tb[< 2 IM9GE@4H2 E}~U<be[^_UhHw訌ÐUÐUÐUÐUÐUÐUÐUÐUEU x2 X2 `2 hh2 Hh2 l2 d2 T2 ÐUU=T2 t X2 @X2 x2 t9|T2 V=`2 tHљu? hh2 Íh2 l2 \2 +d2 ;`2 |T2 UVSu]  hlP6ь#e[^ÐUVSu]  h$P6艌#e[^ÐUWVS}jW., !^, 1 @uL ;L H2 2 t"u 0u 6hw5n @2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 ;<2 |h<2 hD2  @2 L ؋D2 A @2 ; <2 |h<2 hD2 L@2 D2 @@2 [jWƃe[^_UWVS 1 Ex tY, tGU B ;tt@u1 t#E p t6S~uHvuuUJt), t] C u" ;t@uIu׸;u;we[^_UWVS 1 tJtFEpt<>, t*E Xt 3Wt[uvuĸe[^_ÐUVSu] 1 @uL ;L ' u)SVuSVRte[^UWVS}jW (, ^, PVUH2 2 t"u 0u 6hw5p @2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 ;<2 |h<2 hD2  @2 L ؋D2 A @2 ; <2 |h<2 hD2 N@2 D2 @@2 [jWƃe[^_UWVS}jWf, Y}t"2 tt5jjhw覉[2 >u 3hw5!h<2 hD2 {@2 L ڋ D2 @@2 [to3, t]2 tu 6hx5趄@2 ;<2 |h<2 hD2 @2 L D2 @@2 [uH2 2 t5jjh#x譈@2 ;<2 |h<2 hD2 @2 D2 @@2 jW/Ã@2 ;<2 e[^_UWVS } E ;Eu'1 ujPl1 PjurM, byW, =H2 2 tu E0hw50@2 ;<2 |h<2 hD2 @2 ML ڋ D2 @@2 [tq3, t_2 tE HP6hx5躂@2 ;<2 |h<2 hD2 @2 L D2 @@2 [u@2 ;<2 |h<2 hD2 @2 D2 @@2 2 t5jjh#x}ju,Ese[^_UWVSjuI, <H2 2 t/5j jhwu 7hx5艁@2 ;<2 |h<2 hD2 @2 L D2 @@2 _ts3, ta2 tE HP6hw5@2 ;<2 |h<2 hD2 l@2 L ڋ D2 @@2 [u_ tq3, t_2 tu 6hw5蠀@2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 [u_to3, t]2 tu 6hx5(@2 ;<2 |h<2 hD2 |@2 L D2 @@2 [u2 t5jjh#x%@2 ;<2 |h<2 hD2 @2 D2 @@2 juǃe[^_UWVSju}!, w , uu 7h\y5H2 2 t"E HP3u 7hx5~ @2 ;<2 |h<2 hD2 6@2 L ڋ D2 @@2 ;<2 |h<2 hD2 @2 L D2 @@2 ;<2 |h<2 hD2 @2 D2 @@2 vjuGǃe[^_UWVSju , _ 3, H2 2 t u 6u 7hx5} @2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 ;<2 |h<2 hD2 @2 L D2 @@2 ;<2 |h<2 hD2 ~@2 D2 @@2 [ _3, H2 2 t u 6u 7hw5| @2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 ;<2 |h<2 hD2 @2 L ڋ D2 @@2 ;<2 |h<2 hD2 ~@2 D2 @@2 [ juǃe[^_UWVSu} jVs, tjL2 @L2 L 2 t W3Ph'x5j{ (2 ;$2 |h$2 h,2 (2 ,2 @(2 jVPÃue[^_ÐUWVS }L2 (2 =$2 h$2 h,2 (2 ,2 @(2 ~*CSh1 P9uL2 2 P2 }*Sl1 PC9}L2 +2 2 42 =02 h02 h82 42 82 @42 =L2 ~H42 ;02 |h02 h82 @42 82 @42 C;L2 ~52 hy5y 52 hy5tye[^_ÅUWVS}1 W诏 Su W" 5L2 h3x5yH2 @2 2 t5jjhPxE}1 tSh1 P1 tSh1 P11 tSh1 PqCG9u1 t#9PSl1 P1 tSh1 P!1 tSl1 P=1 yWSh1 PCG9b1 j5l1 , $ H2 2 tj3hcx5^w@2 ;<2 |h<2 hD2 @2 L D2 @@2 ;<2 |h<2 hD2 {@2 D2 @@2 j5l1 Ã21  H2 2 , 2 tW0hcx5v@2 ;<2 |h<2 hD2 @2 2 L D2 B@2 ;<2 |h<2 hD2 @2 D2 @@2 C9] <2 t5jjhnx:z5H2 hx5ue[^_Ã} ~4UWVS 5jjhxy5H2 5L2 hx5Zu=H2 ~cE4GD2 40h)5uD2 <uу5j vEE;H2 |5j jhx7ye[^_U5jjhxyu uF2 t2 t jxUVS2 t5j jhxx=L2 ,2 082  2 tM82 <t؃Ph)5s ؉љu5j uC;L2 ~2 t5j jhx xe[^UWVS, 2 E@EU 9EEUE؋޿68u9uF9u  hoMh|2 h)U4v ޿Q\8u9uF9u  hohx2 h)E4v 2 U܉@ 2 RǃH2 E؋Eƿw 8uǃH2 Eux8uU܍RH2 Eʰuyw8u Eyux8u ENVux8u El23u쿑w8u E$< ho謳U܍R|2 D2 x2 @2 U؉P2 U䉐T2 uF9u  ESEEEU UԋE0w8tECE;]tFu9u ~ދU܍RUL2 ލe[^_ÐUWVS 5jjhy#u= 2 ~}ED2 $vhy5p~ ~~&F 4h][5fpC;|߃5j NrEE; 2 |5jjh"yte[^_ÐUWVS }EEU 3 u,SEEP_H u2 2 vu‹1Eǀ XtFUE 48 t D t!ǀD ǀ$ PV[uøe[^_UVSME Pt+4< D D RV蔢[u؍e[^ÐUWVS}xtE t'H 2 2 ǂ IuًE t(D ҉$ ǀD IuF9}[^_UWVS$]CjSkfEjS]f2 ] uE4V輡9]~fuދE+E ؉EEEtV3Wu`t([uE8t(VWFE;utuWu }x. E4蒡4臡F9u}׃ ue<$ee[^_UWVS|Ep1 4}jWj3蔤Wl1 PltFǀD 8 t2H u@2H t uǀD Iu [t댋8 t빋H uՍe[^_ÐUWVS 5jjh{Seٍ2 u}~ljh1 Pִ" uH uuWPjh1 P蜴uG9}uH$52 h{5>` e[^_ÐUWSxh5d1 (d$1 t<\1 5d1 h|5_qU 5$1 b5d1 ]SdэL.bakAS5d1 ^=`1 u `1 {h(5d1 zcļ2 u h0|gļ2 2 e[_ÐUh 2 cÐUu,u$ h 2 f^ h$jh:_ÐUÐUWVSuEuuǍ$_E Puu~_UƃPuuu utC9t%ɃuuEp"h|hP\^$4be[^_UWVSlZE}EEUȉUЉUԍ}EEEEEuux ؉EEURURPECEUEPEPR EFuE؅;EEEEE]9t?ǍHU;Utt@EQREPg Wo\ǃ9uËU܃E)PRu2ÍM܋U܋E)MPRQ:3M܋U܋E)tPRQuEPI EEEEEu̍EP# EȉEEEEEE9E tUEFU EU;Ut tEEPREPC9uNjEEU;Ut tEEPREPmU؃E)PRu.6ÍM؋U؋E)tPRQ- PD SDM؋U؋E)tPRQ PDe[^_U$uuu uEP/ UWVS,uEEEEE}uuWUREU EU܃ ;Ut tEEPRWLEEU;Ut tEEPRW!U؃E)PRuC9mUuu؍EPR ~;U EU;Ut tEEPREPC9uʋEEU;Ut tEEPREPwU؃E)PRu86ÍM؋U؋E)tPRQ7 PB SBM؋U؋E)tPRQ PBe[^_U$uuu uEP0 UWVS,uEEEEE}uuWUROU EU܃ ;Ut tEEPRWYEEU;Ut tEEPRW.U؃E)PRuC9pUuu؍EPR ~>U EU;Ut tEEPREPC9uNjEEU;Ut tEEPREPU؃E)PRuB6ÍM؋U؋E)tPRQA P@ S@M؋U؋E)tPRQ  P@e[^_U$uuu uEP0 UWVS S>M؋U؋E)tPRQ P>e[^_U$uuu uEP0 UWVS,u }]EEEUjjEPRlEU܃ ;Ut tEEPREPtEU;Ut tEEPREPDU؃E)PRSUuu؍EPRuU܃ ;Ut t2EEPREP}U;Ut t:EEPREPU؃E)PRS肫6ÍM؋U؋E)tPRQ P = S=M؋U؋E)tPRQJ P_E Mt* S)tPRV׃ P4249}uM+M)Љ ЍAȍ@M )QUEEe[^_UWVSE M ЈM  ЋUM ЉU fBfAfBfAMUοEMA+FFjSVNǃ FFUZ)SPW@.F E }OMtf둉E}tP)@U9tUDDxEPuuQE@xxEUR|9tËtƉ]߅t PS44}49|t}Ճ P%E9EtVEƒt

N+)Љ ЍAȍ\E\{)9stWPSRE K+)EPRQS=e[^_ÐUWVS 6UBxt(C)tPRS SFEH0+H,)Љ ЍAȍ9w4ËMuA)tDPRQ詍40MEA)tDPRQw4ËMxuxA)taPRQGQMMxExA)tPRQMhQ]h9uDIMhQuh9t9uA)tLPRQJ&<89uA)tPRQ!&EPu_]EPtHuh9t;]d Ot% S)tPRV+ى?]:pX O S)tPRVՉÉߋu@VM@9t 9uV)ȉȍBtPSVu@V]@9t 9uV)ȉȍBtPSV*%uƄ^EMH@ _ߋuƄ^EMH@ 9u 9u V5#9u 9u V5.ËMxuVxA)tYPRQ+*IEMxEPxA)tPRQ) u;e[^_à u; SUWVS 6UBxt(C)tPRSΉ SFEH0+H,)Љ ЍAȍ9w4ËMuA)tDPRQ]40MEA)tDPRQ+4ËMxuxA)taPRQQMMxExA)tPRQɈMhQ]h9uDIMhQuh9t9uA)tLPRQ!<89uA)tPRQ!EPu_]EPtHuh9t;]d Ot% S)tPRV߇ى?]:pX O S)tPRV螇ՉÉߋu@VM@9t 9uV)ȉȍBtPSVDu@V]@9t 9uV)ȉȍBtPSV޻%uƄ^EMH@ _ߋuƄ^EMH@ 9u 9u V1#9u 9u V|1.ËMxuVxA)tYPRQ%IEMxEPxA)tPRQ% uX7e[^_à uB7 SQUWVS\EEEEEEǃ,O+H,)Љ ЍAȍ4~^R{ u={$u7U;UttEԉEEPREPfCfCUBU9E+EU)<Phh~P$WEEV@J@tuRhRhlhuP EԋMԋUȋE)9r hEEEEO+)Љ ЍAȍ43EEEERfxx uyEԍ\]EMQA 9tt BAEPQ\E؉E؋U;UttEEPREP%tx$unEԍ]EMQA 9tt BAEPQU;UttEԉEEPREP诃UBU9UE+EPhth0~P&$E~|T@J@tuRh,RhhuPCًUE)9w hvU8URE+P8ȉȍ~-ÃhxP:uۉ؉~Fe[^UWVS} u~Mt FAC9u[^_ÐUVS]u E)CCUjPR,EUCS ~fSVRPze[^UÐUWVS}u EE9tNGFO;uuE8E[^_UWVS<}U ]9j9]ERRWP IuQẼ/EE؋EE)É]EEEGEEE9E9]r+E؋PS E܍CAF;ut5Ή9]vE؋PS É+M؋ACF;uuӉECEEЃEE9Etk]))Eĉ+EĉE9EEę}̉IM~gEș}̉E~EEԉe[^_UWVS u }]EE;uGC FC;ut_9}tZVWU uչFCA9MuE)E~7ACF;utE)E;}uEEe[^_UWVS u }];u8VWU tGC FC;ut;}uȋE)E~FCA9MuE)~'GCA9t ;}k롋EEe[^_UWVS]ME4} )9AE؉ڋE؍EƒuQSPPREPM)9ˉE;E~EEEÍU܃uQu PPSRe[^_ÐUWVS EEUM MUM A)ЉMӋMCAF9uU9t9uE+EM )AUEE [^_UWVS]u}E EEE9uGC FC9uta;}t\VWUuՉACF;uuE)E~7ACF;utE)E;}u؍e[^_ÐUWVS}]E EE4EE)9~EE؉ًE؍EuWRPPSNjE؍ E) 9ɉˉE9E}EEEuWuPPS e[^_UWVS E Eu)EEujuV~8 uSuuVuPVuu 9͍e[^_UWVS E EE+E~0U<ڃWuUu })؍X~ЋUEEe[^_UWVS E EE+E~0U<ڃuWUt })؍X~ЋUEEe[^_UWVSEEu UU}} EEu1uVU}OFGNE9E~;EEE؋U<E uWuVPEE)E܃9EEE܍ƉUE uRVuPe}+EE؃fSuVW])uuuSWuuE+EPE+EPuuS e[^_ÐUWVS E E}Ɖ})uVWG߃uSW uuSu)P+EPuSWI e[^_UWVS,MEU$]]uu} 99uԉ)EЅE E*MU UAuFuC;]uE)E؅~']MSQF;uuE+E "} GA} C9uE9UU܉)E] ] ACF9uuE+EE~MAGF;uu+E E1MSQF9u])É؋u$fPuuWE+E}Ee[^_UWVSME EU}9uI+EE,YOSQF9uu)ljU"9MuI+EE,ZOSQF;uu)ljUrYVSU t^FG;uuGC+EE,OSQF;uu)ljUf듃CG9]uGF+EE,^OSQF;uu)ljU2Ee[^_UWVS,]E EЋUUԋEE;]\;] WE)Љ] Mԋ]ACF9uEu$uuuSuP@U 9UXE+EЉ] MЋ]ACF9uEu$uSuuuP;]~<EȋUԍ<E u$WuuPfEE+EẼ>EEE̋UЍ‰U܍E u$RuuP}+EEȃ+uȍEu uuVuuWP]u$u uuuSWud u$u uE+EPVuuSD e[^_ÐUWVS E EEE}Ɖ)@;U~+ uuuSVuuuWS $uuSuauuuSOuuu)P)PuSu e[^_UWVS} utMt FAC9u[^_ÐU fPuu uÐUWVS} utMt FAC9u[^_ÐU fPuu uÐUVS] u=(2  h(2 ϼ@2 D2 H2 L2 P2 T2 hR|{X2 \2 `2 d2 h2 l2 $(2 跾v;D2 w =X2 t SPSh@2 @e[^US] =(2  h(2 ʻ@2 D2 H2 L2 P2 T2 hR|vX2 \2 `2 d2 h2 l2 $(2 貽E;D2 w =X2 t SPSh@2 ;]ÐUMQ9t9uA)tPRQ P¿UWVS ] vǻ=x2 thEht2 G!=(2  h(2 R@2 D2 H2 L2 P2 T2 hR|X2 \2 `2 d2 h2 l2 $(2 :=`2 u h@2 x2 =(2  h(2 }@2 D2 H2 L2 P2 T2 hR|)X2 \2 `2 d2 h2 l2 $(2 e4;5D2 w =X2 tW V!4tEG G @2 XuVh@2 B\2  h@2 HEd2 <]ك<z먍e[^_ÐUWVS,}uE E܋M<_G)9 VUEU܉UЉ)Љ]9ލ)9tt CA9uEGU)‰+EЉ~#ZMSQF9uUM܍уEPRQ}EPEP)PwE)W ‰OE9Et"E܉Åt @AC9EtGEPuu1 G+U)9v h}9vEEЉE9vE}؃juWE̋9Et"]̅t @C9Mt]̍EPVuSEËw9ut#E܉Ӆt @C9tӋW9t ȃ9uG)tPQuỦ_MԍʉGe[^_US] =(2  h(2 蘵@2 D2 H2 L2 P2 T2 hR|DX2 \2 `2 d2 h2 l2 $(2 耷E;D2 w =X2 t S]PSh@2 ]ÐUWVS ] ?v׵=x2 thEht2 W=(2  h(2 b@2 D2 H2 L2 P2 T2 hR|X2 \2 `2 d2 h2 l2 $(2 J=`2 u h@2 x2 =(2  h(2 荳@2 D2 H2 L2 P2 T2 hR|9X2 \2 `2 d2 h2 l2 $(2 u4;5D2 w =X2 tT V14tEG G @2 OuVh@2 9\2 ؃ h@2 `Ed2 <]ك<u뱍e[^_ÐUWVS}u W;Wt6tBWBGEB)PV)R1G+=?u hd|+u EU9EsE?}juWE)à SPuųUtMU_)SVR螳]G)tPRuE_UMGe[^_UWVS}u W;Wt6tBWBGEB)PV)RG+=?u hd|u EU9EsE?}juW|E)à SPu诲UtMU_)SVR舲]G)tPRu~E_UMGe[^_US] =(2  h(2 @2 D2 H2 L2 P2 T2 hR|蘰X2 \2 `2 d2 h2 l2 $(2 ԱE;D2 w =X2 t S豴PSh@2 ]]ÐUWVS ] ?v+=x2 thEht2 =(2  h(2 趮@2 D2 H2 L2 P2 T2 hR|bX2 \2 `2 d2 h2 l2 $(2 螰=`2 u h@2 ex2 =(2  h(2 @2 D2 H2 L2 P2 T2 hR|荮X2 \2 `2 d2 h2 l2 $(2 ɯ4;5D2 w =X2 tT V腰4tEG G @2 OuVh@2 o9\2 ؃ h@2 贱Ed2 <]ك<u뱍e[^_ÐUWVSEEߋUz$r)@EM ˋR9vd)]}u9vG)PVS[W)RVu)P8Eu;NvE rEjVPǃ)}u PǰE UBR$)RPSŭE Ur2Pi P膰M9qUZ BBu AUB ABBe[^_ÐUWVS }E u9sÃj@3W9we[^_ÐUS]j@s SKASB ABBC C]ÐUWVS } u9sMjj@u螐9v0 P[ SWuB膪o Vfe[^_US];t4C$PsS Es3P诒 P]UVSu^FVH@ 9u 9u Ve[^UWVS}E pEEvEEGUjPR W)4VSWL Pl P3E w7P֑GM2 S)WZ BBFWB FBBG GE ?W‰Ge[^_ÐUWVS]E 0} W +P M A+GT0AM +ACsCFFF CC@@@ RSg[F8v 4U rOWG EUMuM q0OWG EUMutu}u}u}čtTuĥdu}ԍd}䍵TEu 9t4] Ot! S)tPRVYpكE4E9EuuN))Љ ЍAȍu[rƋEH))Љ ЍAȍtPSui P; V2PSVi Pe[^_ÐUMA)tPRQVK PÐUh2 \ÐUu,u$ h2 h$jh\ÐUÐUWVS$UB+BE8U܋MDMuL]\B}+G8 щэ HS +V G\+CTF+GL)щMW$+G G()Љ<3hU~h‹@D J@tuSR' SRhd~P跠‹@D J@tuVR VRӤhk~Pr‹@D J@tuWR蝤 WR莤hs~P-‹@D J@tuuRVuREh}~P‹@D J@tuuR uREE}Ur+rZ$+Z M܋A+ʉʍPO E+H E@E+GL}G}+G))S$4$<$d$]h~h E$P$բe[^_UWVS4] h~uў‹@D J@tuSR SR[MA8Uzuh~uuE@Eyh~uU]}EU,UMU<][ փuЋEP,ʉUB9u E 7&EʉUB3EЃu Eܹ~Eܻ~ȋU@E؅t~~Pu蜝‹@D J@tuuRš SR趡th}uNh}u;uP/h~P!‹M؋@D J@tuPRFPR4h~PӜEM9M u薠e[^_ÐUWVS$h~u 蔜$lu8hSuCVE+P8ȉȍB9rEE4U,UNEMEh~u uP:h~PƃUth}PћMEyYh~V譛‰ً@D J@tuPRӟPRh~P`‰@D J@tuPR膟PRth~P‹@D J@tuuR<uR+ P诞E }t~~PV觚h}P虚URME؉ǃ]~ ڋ@D J@tuRV蒞 RV胞hvP"CڋGM+A9rhYV$֝E}# V轝EE4E܋HU+J,)Љ ЍAȍ9Exe[^_ÐUWVSEP @$);  8p|eCEP @$)9ύuF$4u,8PrpREPNP rpRUR4G4 NE+H,)Љ ЍAȍ9w;~PtI] @  ЍTB;Bt tBEPrRGMQ A$)9|uV F$)~i  ڍRuF8N B) CEP @$)9}&FEP @$)넍e[^_UWVSLE@$EEċUR UU)EM8M̋]D]ЋuL]\A}+G8ʉʍPK +N G\+CLF+GL)ʋE)Љ‹G+G9~ WuxUR(U؋M,Mԋ]ЃMЃű>F)444։֍4pA +C EЋ@E+ATCM+A‰U)֋]̋C)ӉӍX[}+}}EԋHU+J,)Љ ЍAȍ@<M]Kp9R$~ $ $d$Eu UB}ЃuЃZ$+Z M̋A+ʉʍPN +O EЋ@E+FLGu+F))S$}G+G$ $ɍd$Et  uE+EP $d$}fE fEm]m]<W芖ƍCt@A9uUr r$7B(M9Mt]S$C$9MuuF +Eȉƃ؋Uxt0G M̋Q+ȉȍB9wEEB}];}ܻ[U܍L4GA+9wCuEE4]ԋK+ )Љ ЍAȍ;Ew}u u訖e[^_UWVST]C,EC,@@s8C8FFEEEEEEEEEEjEP {DEPW ÍẼ P/Ẻ$CCC CCCC$@#JuK K$@C(C$Cp e[^_Éà WߋV9t 9uV)ȉȍBtPSV]E@EE9]tK؃t<{ 9t5sE Mt! V)tPRW^׃49]uuN))Љ ЍAȍu[rƋEH))Љ ЍAȍtPSu.X P讔 V襔PSV X P茔 u联UWVST]C,EC,@@s8C8FFEEEEEEEEEEjEP{DEPW ÍẼ PgẺ$TCCC CCCC$@[JuK K$@C(C$Cp e[^_Éà WߋV9t 9uV)ȉȍBtPSV]E@EE9]tK؃t<{ 9t5sE Mt! V)tPRW\׃49]uuN))Љ ЍAȍu[rƋEH))Љ ЍAȍtPSufU P VݑPSVDU Pđ u蹑UWVSl]C uUB(+B$9~ڃDB;B}8MY8GE)ȉȍBUF9svUuPWR j_+ȉȍB)EPRSW` 1 PܐыR]A9tBA Q}8}UREMA8Q$]X@~BE Ur$E@$ڍ]C,D G9}uË}W$E؉G$EUxEp8M,M][,]EEEȋ@Mf| uY}ȋ}܋MU‹ETB;Bt t8BEPrRDEȋU]SЋM@9E}E]C9C_tBEPrR]}}ILMEEE,E;MUU]uRNjUz,fuME MЍTB;Bt tBEPrRAEUK@9E}ẺMI[tBEPrRM]C}{E}E] @ E@, ЍTB;BEuU]؉ @ }G, ЍTB;B29EEe[^_UWVEM 9tNjuB 9t^_ÐUWVS EEuU UuM Q)ȉȍBEElj֥ A9uM9t 9uU+UȉȍB@U )BEMȃ [^_UWVS}u ]F)PSu聉+])^Ee[^_UWVM tEtNju B9u^_ÐU fPuu uÐUWVM tEtNju B9u^_ÐU fPuu uÐUS]hs S1KASB ABBC C]UWVS } u9sPjhu5.9v0 P SWu- V e[^_ÐUWVS}E pEEvEEGUjPR W)4VSW7L P蜊 PcE w7PZG}b SYWZ BBFWB FBBG GE WGe[^_ÐUWVSM ]yqV +W A+FTG+ACCC@@@ CC@@@ RS| PuC[PPL@ HNVF OWG 0,($$4DD4TddTt}ut}}tuu}}čtTuĥdu}ԍd}䍵TMu}DU)E+ET)…~gP9uDDPP9Lu HHPLC9ue[^_UWVS ] UUUv=x2 thEht2 =(2  h(2 蠁@2 D2 H2 L2 P2 T2 hR|LX2 \2 `2 d2 h2 l2 $(2 舃=`2 u h@2 Ox2 =(2  h(2 ˀ@2 D2 H2 L2 P2 T2 hR|wX2 \2 `2 d2 h2 l2 $(2 賂[4;5D2 w =X2 tW Vl4tEG G @2 RuVh@2 S<[\2 Ѓ h@2 蕄Ed2 <]ك<u뮍e[^_UWVSLE EЋ]URUMQ+UȉȍB9b}uEЉEU)ȉȍBUUU;]э[)9tȅtlj֥ 9uE@MA])É+UȉȍB~ m }ĉޥ@9uE@UЍURPuEPEP+EPMqrE+E@MQAU9UtuЉtǥr 9utMIUBEPuuwSMQ+ȉȍBUUUU)9v h}ׁ9vEEЉE9vEUUUEẼjuPWEU9EtƋ]tߥ 9Et]EPuuSE@ EP9UtuЉ˅tߥ 9tˋMQ19t 9uEP)ȉȍBtPVu蕿MU ZUȍRMAe[^_UWVS [þ*|)Eue[^_1Puu uG;}re[^_UÐUSRtЋCuX[ÐUSP[6X[Iteration %d: unary implicates %d Neg occurs Pos occursVar%15s %15s %15s%15d %15d %15d %d 0 end simplified-wffVariables forced true: %d Variables forced false: %d Clauses output: %d Variables undetermined: %d Non-unary clauses output: %d Invoking simplifier compact compact: bad argument-v%d-f%scompact: illegal optionERROR: too many variables Dumping theory (%d clauses) %% 0 %d -2 FOUND RESOLUTION Contradiction after failed lit test. unary implicates %d binary implicates %d Dumping simplified theory (%d clauses) begin simplified-cnf Use: compact -l (unary) -b (binary) -s (singleton) -p (pure) -d (dump) -i N (binary iteration limit, default 2)WARNING: Attempt to open translation table file %d failed. WARNING: no name given for translation table. Use 'compact -f'. Contradiction after unit resolution. Warning: Binary failed lit option overrides unary failed lit option -1KContradiction after unit resolution.Variable %d exceeds maximum %d. terms: %d: %d pos_hits: neg_hits: pos_clauses: neg_clauses:Malloc failed. Exiting. stack(size:%d, %d:%d:%d): Realloc failed. Old stack size %d. New stack size %d. Exiting. Attemp to pop empty stack at %d. .Aliteral %d is redundant in clause %d satz-rand-214[%d] %s %d %d %d %d %ld %ld %5.3f %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. .A%li %i %fBad argument %s bad argument super(%d) -seed-hist-cutoff-random-novelty-rnovelty-best-noise-init-hamming %i-partial-super-tries-restart-target-tail-sample-tabu-low-sol-solcnf-bad-numsol-trace-assign-help-h -seed N -cutoff N Heuristics: Printing: walksat version 36 (Huge) command line =seed = %i cutoff = %i tries = %i heuristic = tabu %d, noise %d / %dwff read in Begin assign at flip = %ld End assign Unsatisfied clauses: End unsatisfied clauses %9i %11.2fhistogram: %i(%i) +++v %i total elapsed seconds = %f proportion null flips = %f number solutions found = %d final success rate = %f mean flips until assign = %f variance = %f standard deviation = %f final noise level statistics ASSIGNMENT FOUND ASSIGNMENT NOT FOUND Cannot open %s for output Cannot open %s Bad hamming file %s done tail starts after flip = %i Bad init file %s 0 %i ERROR - too many atoms allocating memory... ERROR - clause too long Options for walksat solver are: -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 -random -best -tabu N -novelty -rnovelty -noise N or -noise N M (default M = 100) -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 numatom = %i, numclause = %i, numliterals = %i 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 %9i %9i %9li Begin assign with lowest # bad = %d %9i %9i %9.2f %9.2f %9.2f %9li %9iProgram error, verification of solution fails! average flips per second = %ld average length successful tries = %li standard error of mean = %f mean seconds until assign = %f mean restarts until assign = %f 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 loading hamming target file %s ...ERROR - incorrect problem format or extraneous characters Invoking solver walksat version 36 BError: some variable is numbered larger than the maximum. Error: Some clause contains duplicate variables. Error: encountered a 0 length clause Error: Maximum variables allowed is Error: File not in DIMACS format. ?% p cnf Invoking solver rel_sat_rand %ld-maxsec-maxbt-trials-fudge-nosol-norelevance-dumprel_sat_r 1.0seed: cutoff seconds: cutoff backtracks: fudge: trials: learning: number solutions: dump flag is .cnfnumber variables: number clauses: [] Start trial] SOLVED - instance is timeout SAT UNSAT ] rel_sat_r The instance is Options 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 [trial] solver result time backtracks branches assigns avg_choices seed $tIBegin assignmentEnd assignment=4WOl5X9:?@ABCD3bY6Bw(x )))*++,,,,,-.//0000011223344444456777789:;;<<=>>???@@@ABBCCDDEEFFGGHHHHHHIJKLLMMMMMNNOOOOPQ   [ +-&1<@"*,GIHDM.$%T 2= AZ/4>SVWN#U783B05?FOXYC6EQPR  :9;LJK)('! ,.+pE7cyz{"Ff^_`  U;a IJKucccRn'()d"#$%Z[\]^_`m& UavwxU VkU0oddd()et U}~ 1!*-/82<>)GHLMNQSgehiqU|('PTjrs R)$>^_`h%+ D %#$&&#vwx&r 012Z&cde8'O>% N#$&%&[\]$#&%$&&cde%&#$'%&%&% cd%''''&%'%%&&&&('&&&%&&&$&%!&'&&&&&%&&&&%'&&&&'''''&&&&&6:KXY%&('  !"#$ 5EM )>LN3OPRUpSTVWWHPXeZ]_^bcT0&fdghS24i^l<VVVfffk@@mArnlqfffstu`Cov{{{WWW;|}WWayWPWWfIIIs͒III+8IIIEX~Iɓٓ(Ge۔ -<Jcƕӕ -ESkۖ'4Pqȗ՗*eܘ8_n™י2stripstypingequalitynextparser stack overflowdomain doesn't matchnoexistsforallnotgoalparse errorrequirement: %s is not supported Error occurred at or near line %d        #)',*1-4K"$(C728O+DXYZL5P[jk ~}|{zyxwvutsrqponmlihgfedcba`_^]\WVUTSRQNMJIHGFEBA@?>=<;!:9630/.&%!2+5+>>?25?OOii~}|{zyxwvutsrqponmlkjhgeba`_^]\[ZYXVUTSRQPNMKJIHGFEDCBA@=;:98764310/.-,*)('&%$#  "!#$1}~xy|w~ppuvmv{+ospqtwechsemlc\]iZX_aVT[`W`]PUNQRXVGGSDRTHNG>G=CHC8>7E63@?B08.2+/)6- 8A)*)&("$#))$$$$$$$$$$$$$$$$&$'%$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ $$$ $$$$$$$$$$$!$$$$$$$$$$$$$$$$$$$ $ $$$$     !  ! (2<FPZdnxȡҡܡ",6@JT^ h bad buffer in yy_scan_bytes()input in flex scanner failedout of dynamic memory in yy_scan_buffer()out of dynamic memory 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 overflowfatal flex scanner internal error--no action foundbbunct%sbbct%sbbun%sgoal not found in R.U.V.%s required, time %d Badly-formed op: %sdiscarding %s. Avoiding %s, time %d bug in do_operator_rec%d nodes created. Noticed fact %s not useful. ...done pre-preprocessing. 43-printcnf-printlit-printexit-printmap-printmodel-noexcl-nopretty-noskip-solver-noopt-step-maxit-maxfail-maxauto-maxglobalsec-axiomsmutexsimpledefaultcompressedactionexpandeddagsat-maxtimeoutcannot load operator fileLoading domain file: %s cannot load facts fileLoading fact file: %s Problem name: %s types: init: goal: MAXGOALS too smallFacts loaded. Can't solve in %d steps %d new nodes added. Total elapsed time: %.2f seconds %d minutes, %d seconds Time in milliseconds: %ld 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) -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). Goals reachable at %d steps but mutually exclusive. didn't find precondition. Shouldn't happen%s not useful. Not putting into graph at time %d. Badly formed operator: '%s' not a parameterToo many ops. Need to increase MAXNODEStime: %d, %d facts and %d exclusive pairs. Goals first reachable in %d steps. beginning pre-preprocessing... found %d possibly useful facts. Warning: Could not reset output buffering blackbox version %s command line: setting bb_prettyflag to false %i bad argument to -axioms option; use integer or compact, action, expandedcommand line args not in proper formatSorry, can't handle that large MAXNODESgive file name for operators: give file name for initial facts: turning off completeness check. can't even reach non-mutex goalscan't get there from here in allotted timeno solution exists in alloted time ---------------------------------------------------- reached maximum number of solver failuresreached maximum number of solver timeoutsreached maximum global time limitprovably unsolvable by completeness check #################################################### noop%s_%sop %s, bad instantiationinstantiation failed%s deleting nonexistent fact exclusive: %s Time: %d Facts: allocs - frees = %d acannot open output fileNO SOLUTION Problem not solvable: %s avg set size %d action %s: parameters => precondsions => effects => var = %s const = %s ---------------Facts %s and %s mutually exclusive Printing graph. For clarity, ignoring parts unreachable by planner Ran out of space. Requested size=%d. Search halted after %d steps %d entries in hash table and %d hits ---------------------------------------------------- ---------------------------------------------------- %d hash hits, avg set size %d %d total set-creation steps (entries + hits + plan length - 1) Can't hope to solve by time %d. Error! set in table at time %d not in at time %d. found non-minimal action set, time %d trying %s from prev time step. ** Turning off completeness check ** Begin plan %d %s End plan %d total actions in plan %d entries in hash table, %d subset hits. %d hits on doable sets %d actions tried good hash table hit. no memory at insert %d goals at time %d: Trying %d %s to achieve %s. trying first %d goals failed goal not found in outputMAXGOALS too small.Invoking solver graphplan Result is %s Iteration was %ld Sorry, can't do X viewing in this version.dummysatz10graphplan-thenchaffUnsatSatTimeoutFailureSimplified( NOT %s-%d NOT %s-%d ) ( ( NOT %s-%d ( NOT %s-%d C DEFINITION ( %s-%d ( NOT %s-%d %s-%d ) a %d %s-%d total number variables = %d Begin literal wff ( %s-%d ) End literal wff number clauses = %d Begin cnf wff p cnf %d %d End cnf wff Converting graph to wff Begin model End model compactrelsatwalksatBegin solver specification End solver specification -OBad argument to graphplan ***ERROR**** unneeded precondition for %s-%d number of action variables = %d number of fluent variables = %d -maxint %8d -maxsec %8f Graphplan option: S == subsets Graphplan option: I == irrelevent Graphplan option: B == buildup Graphplan option: G == greedy Graphplan option: L == lower bound Graphplan option: E == no exclusiveness Options for graphplan solver are: -O