ELF4`@4 (444A) /lib/ld-linux.so.2GNU%.,+$ )-! ( "%  #'& *08`9IHbX/}h~"x=/;./pȉ؉;3J(i8. H/X7h"B@CDxA4Pk!-)Ȋ3x؊/<(Q(HV8L\4H.Xhx=) __gmon_start__libc.so.6strcpyasctimeprintf__strtod_internalstdoutungetc__strtol_internalgetpidfscanftmpfilegetuidmallocoptargfflushpipecallocwritefprintf__deregister_frame_infostdinwaitrandsignalreadgetrusage_IO_getcforkgetoptlocaltimegetppidtimestrcmpgetpwuidgethostnamesprintffclosestderrrewindexitfopen_IO_stdin_used__libc_start_main__register_frame_infofreeGLIBC_2.1GLIBC_2.0ii ii ,@DH#L%   $ ( , 048<@DHLPTX\`dhlp t!x"|$'()*+-US[tvv#>I[5%%h%h%h%h% h %h(%h0%h8p%h@`% hHP%$hP@%(hX0%,h` %0hh%4hp%8hx%<h%@h%Dh%Hh%Lh%Ph%Th%Xhp%\h`%`hP%dh@%hh0%lh %ph%th%xh%|h%h%h%h%h %h(%h01^PTRhhQVhܑU=u>PС8uht hܨE]ÍvU]ÉUhthPhܨ]ÍvU]ÐU WVS}hhh%PnP@Ph  hH1ۃ9}3wt&\9}ZPU Ph]C9|Ճhbe[^_]ÉUĸ1P1P1PPhht]U WVSu} 1;$0jh5kjhH^t&jhPNt&jh]>t&jhs.t&jht&jht&jhDP{ vLjj jPwPhLjj jPUPhLjj jP3PhLjj jP h(vLjj jPhDPCD=Ljj jPPh"DP< u C t&hWVd@%e[^_]UWVSE uH \81PPhDPjj)8&ujjPh(SS[^_]ÉUE`-\Q ]ÐU\WVS1C{u@EPjE)UMMb)ȋUЉC̺1P1P(1PRQ1Ny1jhDPjh F E~u>EPj$M)ύ7.'N uh@DPk=~Ph&hEP} t@PL@P']SVh SVhDPtPh W)US]hDPh DP ShFDPh @Pn ShF@PWjj c]]ÐU WVSE PkSNjwt`Ff@ %P2Yt=mËGC_F C FP^C BC@vuWEP>AÃW-؍e[^_]ÍvUSEXtH&SKth`{Cfxuha[u]]USU1ۀzu.EP1fB PpP蛁t E؋]]ÍvU1=1tEP%]ÐU WVS]u dGf_ aeÉ3XeUC[^_]ÐU WVSu} WVtEPt\&tEPWP[ue[^_]ÉUWVSEExEGf@ %PW G0@E~uSVV]uu]{uVS7]u]u}tL}t GUB GUBEXt+UREPCPC[ut&}'e[^_]US]} t{tS u#tjPu [u1]]UVSEptY^1fC PUujS#jPhu"j@POu vu1e[^]ÉU=1u jh jh1]ÐUWVSE@EPviËUBCZC EPYbFEUfVVWpPC[ tVEPCPC[uUREqe[^_]ÍvUVSEu PNÃS" VStSVu?h(h V/:h- S:e[^]ÐU=ujovЉ]ÍvUU]ÐUq ]ÍvUUMb);Ը1~ jj :]ÉUWVS]1Ҁ;t({51Ɋ &1fW@<t0B9|1Ҁ{t/{51ɊK1fW@<uB9|1[^_]U]ÐU WVSu~uNN1ۀ>t-1f@<t>C9}1f@<u191fMt&N1ۀ~t.1f@<t~C9}1f@<u1F9t~1f1f @Du>%D;u h`u|u~ 1 e[^_]ÐU塤;}1/ ȅ}؋@Dȉ]ÐUVSuh~1ۀ~t,t&FfX%PhC1F9|1ۀ>t(FfX%PhC19|1fFP1FP1FPhe[^]UVSuht1ۀ~t%FfX%PC1F9|1ۀ>t&t&FfX%P[C19|߃1F1ҊVPhe[^]UVSU R4ȃPRh1ۃ;^}FPhC;^|h1ۃ;^ }$&FPhtC;^ |h^e[^]ÐU WVSE11;u }`vU}=~h 0M};`1~U}أ`1M<~GEF;u |jqC fCCUSMK=t X ?P CEPCE11;u }8t&E<~SffzGCUf ًUf PBUF;u |1`11e[^_]U WVS}1ۍPhWWCt9u11tCuSPC[^_]ÐUS]Sotu h`n]]ÉU WVS`1@4V51P5`1Fv4VZ511à ;5`19`1vCCCC CF9~ϋ5t_1ɀ>t$ڍFfH%@DA19|1ɀ~tڋFfH%@D A1F9|v u1;5`1YC1CPCCC 1C PCC F;5`1~X5tE1ɀ>t0}FfH%@NjSC4CA19|1ɀ~t+}FfH%@NjS C4C A1F9|؋v ue[^_]UStfxu 8v@ u硐1SE11ۃtfxu 8vC@ u=Ժ1t;h1ۃ;}!t&PC;|]]U WVSE11;={up1C;E}f=|t f{uVSuB1CEK1f1f@<u1f9uhF;5ue[^_]ÐU WVSE11;=}M{u61C;E},=|t f{uS!u 1GEF;5|e[^_]ÍvUVS]~;`1~h#[ƒt t'&t1"t&he[^]USh$1ۃ;}$&PC;|h:^]]ÍvU WVSh@>1;}}sPSho EH9} t5PC9|hrG;}|e[^_]ÍvUS=Ժ1tEPD=1=uqPhuf;`1)[<uSh9C;`1~׃h: h @P?=1=uqPhu;`1/[<uShC;`1~׃h:hu @P*H=ĺ1=uqPhu6;`1)[<uSh C;`1~׃h:h @PN=1uO=1uF;u9=uPPh@P;1| jj=]]ÉUWVS]1҈‰Uޅ}Ev<ЋGEW U?thE=Ժ1t}u{=|t%1;]}&G fyufqC;]|1;]G fyu-I1ҊQ1AtuQuEC;]|n=|t1;]}G fyufqC;]|1;]}@G fyu-I1ҊQ1AtuQBuEC;]|}u̽1Ee[^_]ÐU WVSu}ލvЃ;u h=Ժ1t CE{ ;uO=|t"19}C1fB9ufBA;M|19}e&CfzuBA9|G=|t!19}C1fB9ufBA9|1;M}CfzuBA;M|e[^_]ÉUWVS=t9HEuEPԽ1E=Ժ1tMEP 1н1S XX8ǃu)ÅuЃuE@PL3&ÅuvGP0?P3 uMQ}u]E},e[^_]ÐUWVS=tEuEPUԽ1EU11ҊS9E-t&9U1ۈ9U}UBUt&M1U)‹A1f PMu]=Ժ1t]I<EP1н1SzX8ǃu(#ÅuЃuE@P2ÅuvGP?P uURE]1Ɋ 1C9Ee[^_]ÐUWVS;=`1|E`1Ut&U 11;Y}QfxuCF;q|Y111;Y }t&QfxuCF;q |Y 1G;}~[^_]ÍvUVS=Ը1%=Ժ1t9`1P`1P |tJ11ҊSЃuS7ƃ[ ttt&ؽ1P}ƃu 2uރ=ؽ1~ 111tf{t@[ u1)‰ܽ11|=Ժ1tjÃj؉EE5$¡1} P1Pܽ1Pؽ1`1)‰Ph@@Pu!=ܺ1tj j=t  e[^]ÉUPP P=Ժ1t&PP}`1|]ÐUVSu1;1}(ۍ 1PVchtC;1|ظe[^]ÐUWVS=1duh%1@1E1EPE} SVĪe[^]ÍvUE UUUBjR ]U WVSu] };{}E;C}E;C(}E;C4|h}؃th{weC$t&MDt&CE4t&CUS ECUS ЋUS,EƉEjEPGe[^_]ÐU WVSEp19}0_9}$t&EPRC9|G9|Ѝe[^_]ÐUWVSE@EUzE9E}T19}C^9}1EMA؋PEAPLC9|F9|EE9E|e[^_]ÉU,WVSE@EURUMy(E9EEE9E}r19}a^9}OEUBUMQ ؋ PUEPUUP EPC9|F9|EM9M|EE9Epe[^_]ÐU,WVS}GEGEG(EG4EEEt&Es&1;u}b^;]}TEGUW ЋUW,؋PEGUW ЋUW,PC;]|F;u|EE9E|EE9EmEE9ENe[^_]UVSMQ19}t t&44@9|RtPqX[^]ÐUWVSE@lExDžpD19}%tpEXvȉB9|WtPpl9p|X[^_]ÍvUWVSE@l][hE@(dDžpl9p1;h}i1;d}7tpEP]C EЉA;d|dStP%G;h|pl9puH[^_]UWVSE@hURd][(`E@4\Džph9pDžl1;`}y1;\}GtpUBl]S ЉS,EЉA;\|\RtPG;`|ld9leph9p=H[^_]UUBt/ tVt+t6Dt&RWBt&R2t&R "t&Rt&hc]ÍvUUBt+ tRt+t6Dt&RcBt&R2t&R"t&Rt&h ]ÍvUWVSExPUE9U}S19}Bt&^9}1؋MAEPAEP,C9|F9|EE9E|e[^_]ÉUWVSE@pE@l19}Q1;p}#tEH؉B;p|lPtPG;l|X[^_]U,WVSE@EUzJ(ME9EEE9E}p19}^^9}RvEUBڋMQ E PUEPUP EEPC9|F9|EM9M|EE9Ere[^_]U,WVSExPUH(ME9UEE9E}m19}\^9}P؋UBUMQ E PEPUUP EEP%C9|F9|EM9M|EE9Eue[^_]UWVSE@lMIh}(dDžp9p1;d}y1;h}Gt`pMy\I \؋`B;h|߃hPtPuF;d|pl9peH[^_]UWVSE@lMIh}(dDžp9p1;d}y1;l}Gt`pMy \I\؋`B;l|߃lPtPF;d|ph9peH[^_]UWVS1EF ~E1;u FUD@Հ1U1;zFMDEvE|d;]~ ~h ]UEUBRe[^_]ÐUTS2D12h12X1v21l2@1b2(1X211{t)jh@DPKjh@\ EPjyECEC @PHPh1PD1P"  X1PD1P 1PD1P1 {u)jhDP褪jh赫 4EPjҪUCM)+S SCC @P莪]]ÍvU WVSD10t_V~HFPh/^1t+StuCFCGߋ[uՋvue[^_]ÍvUWVS}:W&1fG PJƃ1fG P/K Ã} uCV~ƒt(R9ň1hX~h%V19}univD@B9|EPSVR4ŀ1E F\u<1fG PtN` 1f_ jh:F9uN`t&jP[u鍥h[^_]U WVS} uE8F;EM1ۍFE9U؉AC;]~19}&]B9|QEP1ۃ;U؋UEP9}PURE@PWEPK CF9~e[^_]ÉUWVS11;51}4p 1Rŀ1x\uxu xduFB9|ء19~ƍph@=1ۃ9}(pƃ VԿV uhVÃ;]~]WVLu18&GpjhV Gif@ %PDEȃPaà u!EPhJhU [ŀ1EԋPU1ۍE&C~Eԃx\1҈‰U̅uSEP@f@ %PDPI=uh EU؉DEx@f@ %PCÃhJS? u%hLSy?uh`QhLST?EtE1ۋ0tSEEĐEPf@ %PECPp<uhEUĉCvuEP(}u&Ph誢1ۃU;Z}"uPh臢CE;X|h9nEPEPEPEPUREP60=}uUԃzuEBdU9U~Ek} uEPUREuExU܍Rŀ1{\u^{uX{duRF;u}8VCFu9t؍e[^_]ÐU WVSExu p01C9}3Pu9t؍e[^_]ÉU WVSEx(u pUP 01C9}3Pu9t؍e[^_]ÐU WVSEx4] XUP ӋUP,1F9}PAu9te[^_]UVSu] SP&1;]}*SVWE P.PSVWhEP谉0C;]|F;u|G;}|hEP芉e[^_]US] PWt tvt &"PCC xR1|Q1|Q1BBЉ]UUtR1xR1|Q1|Q1]ÐU|R1=Q1uj, R1Q1B(Q1B(B$BЉ]ÉUUR1R1Q1B(Q1]UR1=Q1ujU R1Q1BQ1BЉ]ÐUUR1R1Q1BQ1]UR1=Q1uj  R1Q1Q1BBЉ]ÍvUUR1R1Q1Q1]ÐUR1=Q1ujm R1Q1Q1BЉ]ÍvUUR1R1Q1Q1]ÐUR1=Q1uj  R1Q1Q1BBЉ]UUR1R1Q1Q1]ÐUR1=Q1uh R1Q1Q1ǂǂǂBB B|BxBtBpBǂǂЉ]ÐUUR1R1Q1Q1]ÐUR1=Q1uj R1Q1BQ1BBBBB Љ]ÍvUUR1R1Q1BQ1]UR1=Q1uj- R1Q1BQ1BЉ]ÉUUR1R1Q1BQ1]UR1=Q1uj R1Q1B Q1B Љ]ÉUUR1R1Q1B Q1]UR1=Q1ujDM R1Q1BQ1B BBBBBBBB B$B(B0B,B4B8B<B@Љ]UUR1R1Q1BQ1]US]t?,R10R1;t ,R10R1A@:u0R1 ,R1dQ1dQ1[]ÐUS]t?DR1HR1;t DR1HR1A@:uHR1 DR1lQ1lQ1[]ÐUR1=Q1uj R1Q1BQ1BЉ]ÐUUR1R1Q1BQ1]UWVShEP"rQ1 $hQ1PhEPq0h@EPq5Q1Q1) Q1)1҉EUm $QSVQ1Ph,hEPq@5Q1Q1) Q11҉EUm $QSVQ1PjhEP1q05Q1Q1) Q11҉EUm $QSVQ1Pjh EPp0=Q15Q1) Q11҉EUm $QSVWjh`EPp05Q1Q1) Q1)1҉EUm $QSVQ1PjhEP8p05Q1Q1) R1@1҉EUm $QSVQ1Pj hEPo05Q1Q1) Q1)1҉EUm $QSVQ1Pjh EPo05R1R1) R1R1҉EUm $QSVR1Phh`EP1o05R1R1) R1@1҉EUm $QSVR1Pj hEPn05 R1R1) $R11҉EUm $QSVR1PjhEPn05,R1(R1) 0R1)1҉EUm $QSV(R1Phh EP1n058R14R1) k05R1R1) R1@1҉EUm $QSVR1Pj hEPj05R1R1) R11҉EUm $QSVR1PjDhEPj05R1R1) R1@1҉EUm $QSVR1Pj h EPAj05R1R1) R11҉EUm $QSVR1Phh`EPi05R1R1) R11҉EUm $QSVR1PjhEPi05R1R1) R11҉EUm $QSVR1PjhEPCi05R1R1) R11҉EUm $QSVR1Pjh EPh05R1R1) R11҉EUm $QSVR1Pjh`EPhe[^_]ÐUWVShEP~hQ1 $hQ1PhEPPh0hEP{uh 1fC PeP(at S6Ee[^_]ÍvUVSu] t&PV, h VX[ u܃h VXe[^]ÐUVSu] uh t&jh S{u1fC PPh {uSVh 1fC PYPh VW h VW}PV?[tgh VW׍jh @PtBPVh V^W @PVh Vt==t8`t3~t.:t)?t$@t&t|u} t!t #t;u]ÉUU1ɍB< vB<vB<v _t$uȉ]ÉUS];'t*;"u #1PtC;u]]ÍvUWVS} 1EEWEPUPG tCMFU1ɈMP uEPPutKt&UFM1҈‰UMQP/u't "ڋEFM1ɈMtO8tK1ɈMtJEFM1ɈMt8t1ɈMuǃ}t EF}u"hh @P";U*}uh @P:MEe[^_]ÉU WVSu }> 1ۈ9}+<3%uC<3 u3PChC EP:9|Ճh <3%u t&C<3 u3PChC EPj:<3uσhA EPP:e[^_]ÉUWVS} G9}vMxF9|h UDf@ %PMPt>hGPGPMQEh : EP[}u1U4FPFPw MQE\S4FO耷E@Wh`?UfB 1u9}9۷Ã}uMEXvUP]F9|NjEe[^_]ÉUWVSE9E u@UPѮEM I]zuaL\ Uu);]$CPuVE @P}Wǃt+u!;]SMQE @P]ShǃuuMI]zL\ Uu;]CPEHPu V}W ;]SEHPM Q]SǃFjU1fB PPfF NÉ;h贵FjM1fA PPbfF C;]u &v}zL\U;]CPFPE PWǃSURFPMQEu Wx}nɴFj]1fC PPwfF "C;}8/t&;]1CPEPFPURCEt*SFPM Q]S'ǃuEP}FjU1fB PPfF aZC;MquW;]RKSFP} WEPǃt6SURFPMQtEu WAt }FEH91e[^_]ÍvUWVS}u 0E@EEQEjVWÃ<8,t<8)uSr}uUUBE<8,u<8)u}t.EPEP~UfB E9h h @P54PW@P?1e[^_]ÍvUWVSE U<]u':E@jh UfB EEjU REPǃƃ}uuU2Fjh fF @É;5ECU U<,u E 녍vU U<]u2yËECjh 3fC U EU U<|uBE jPRËU U<]th`t&UE E.h@P2U PEP@P1e[^_]ÐU WVS}u DžEPPVW8Pà VW,<8[t<8(t<8{t h:<8(u6jVWÃ<8)hup<8{u/jVWmÃt<<8}tqhvu0<8[uVWIÃuw1t&t5u(<8(u PVW Ãt6u h7?CjPfC u*h%@P0PW@PSSRUPvVWs81҃<,t<)t<}t<]t<.tt }t <|u[^_]ÍvU.WVSU E P PREPǃu1 xh<f@ %P%Pu0h@ f@ %PPtUW P)h`@PI/QEP@PL hGPj PEWh@P.1ۃ9}+ [Ph,/ C9|܃hA /h@@P. QEP@P19}' [<0t0Pd C9|[^_]ÐUWVS} DžDžDžDž1ۍvEP/%uEP/ tu.uDžuDž~;C't"upƃEP%/9t1t,t,;CEP/9t tu܁u Džu Dž;C1u.uuu 1t;.Dt&tWDž ; PW; tWh@P,vt'؃d~d8Wh 2t7؃d~d8hhS-Sb5v؃d~d8hh`$So-Sa1[^_]ÍvUWVSu~:jh V#t?éC@0jh yfC jh ffF jh Vujh V1fC Pbǃ{ulPW_tUPW t PjPfC P轩V0ރ tt&P[u[^_]ÉUVSujh VtNjh Pt3jh fC P V荨ރ~utPy[ue[^]ÉU켆WVSU} \yPRZ\yu&DžXyjXyP\yPƃtgXyP\ySXy<.uV[7h@P(XyP\yP@P18y[^_]ÐUWVSE9E]ÉURSEPU REP UREPsVU REP}]UU ;]N9OUPPU҃uUU GUU FC;};u~;u~;}(UU GC;}~UU FC;u~];]U UC;]~e[^_]ÉUS]U C;Bu>B PC Pp'|;@C Ph S(Sv]1 {tztC;B|]U WVSrSRƃSG11Ƀ S1t CuA1~hbCPjWV19}t&MB A9|e[^_]ÐUExu1fP 8xu1fP f@%T1fP tt&3@uх}ٺMb)‰)Ѝ)ȉ]UUM B:Au.zu fB f;A Ezu A 9B 4fB f;A t1+ ;uRItu1u %]ÉUWVS}utP[uWE4S1E1ۃt!PW.uuvuu߅tQ;>uW@PZh 1[ ut؋[P uW茣wut{BC Z[u趤Ɖ>F}uE4S1 t&Ep=|1t=|1t,1Pԫ1PW e[^_]ÍvUPVSu~t7h`DP8$hK% V@PUVsËS11ɃvыRt92uuhYu BS1BAR=|1=|1`1{t)jh DPy#jh $ EPj#ECEC ,1Pԫ1PV `1{u-jh`DP#jh`!$ 8t&EPj:#UCM)+S SCC ~zH1ʋJ t9uu!V@PhX *u C BC B xuPڋ[RiuVՠe[^]UVSutsXP[ue[^]ÐUVSu~tChDP!h " V@PhD";~u*t$t&P؋[P蛠 uVe[^]ÉU WVSu1S1tSWhFV'!S1t&PVhRV [ u܃hDV G~e[^_]U@Ph]U WVS}E]S1t|EPhTW S1[t&PWhdW^ XCPWhRW< [ uۃhDW$ vuE}ee[^_]U,WVSUM@Efz1҈‰UE֡EǀE}tM4S15 s1t&EEPPEPURA}t]MQEPǃ=1tWPnÃvPWJ1ۈÃWt‹MJUEPgvIE} EPIEe[^_]U,WVSUM@Efz1҈‰UE~Eǀ,1Pԫ1PjMQ EjP ǃ EEPWURMQ}}tXEPURƃ=1tVWÃWVZI1ۈÃVt訝8MHEEPjEP( ǃDUREe[^_]ÉUS]=|1t,1Pԫ1PS)‰ s1B s1]]UPVSu=|1`1{t)jh DPjh  EPj ECEC ,1Pԫ1PVN`1{u0jh`DPsjh`&EPjUCM)+S SCC r s11vڋ[t93uu7hDPh V@PtCBC s1Se[^]ÐUhݗ1B~]ÍvUSU ]уu)19} BA9|[]UU11:t  @<uMb)Ѝ)‰Љ]ÍvUUM t&;uu;} v; 1 ]ÍvUU:t t&@:u]ÍvUVSuVÃP躖19} B9|ȍe[^]ÉUWVS] SEU4EuvtSFPtttG芛ǃSWGÉM }uUM G< rwExg1t8@U;B~ߋ_t"@M;AtE9u 1(o‹M uB &ZWe[^_]UWVS}] SEU4E vuvt9SFPut!1ڋ[t@;Gt9;t 1Lt&u4Cu1}uFMU FMAV}CBSɘe[^_]ÍvU WVS] uEE{u C UFVEP}tUREPURt&EPUREP{uJ} ~Dt9EGE HPFPUREPURPEPG[ uɍe[^_]ÍvUUzu(ztfzt $s1$s1 (s1(s1BE PjHPEPRRj]ÐUME UPjHPRQQj]ÍvUVSu] V[tVCPttt1˗BrЍe[^]UExt1txuRu]UWVS]EE{uP} thuL1UMAQEPURMQ}vC UMAM{t}t} t>S=t.EPURZMQEPƃ t&EE1;UMEExu} ugUREHPE@PMQE PPà utV1E"u #@pXƋt }k} t5UMDREPiURMQà 1ۅu t试@pXe[^_]US]M UEPRjHPQS8]ÍvU WVS}u1yu7vR4} t M 9HB=E PGPƃu-;F;C~CPGPdt&FPGPLÃ9ttut GGww u(t)M QGPƃuGG _u+t,E PGPÃuG vGuu$W1 t&t9tF;Cw _e[^_]ÉU WVS1}EU4t;蠓CFCu耓@xXNjvuE}~[^_]ÐUS]t$CPCP S莓]]ÍvU WVS}E Ph,WE]E <tlEPh;WE 4KFPWBt$hFWPW[ u܃hHWvuE}ue[^_]ÍvUEP@P(]U WVSu} 1;]}hJV C;]|uhMV&vuhRV GPVM]CSGPVtSGPVfe[^_]UEjP@PB]ÉU WVS}] hVW[1;u {tzvu(1P蚱8uXPhZ1Ph]W|3t h`hbWF<u|3ue[^_]ÍvUEP@P4]U,s1=,s1u,s1=,s1~ hE,s1]ÐUS1ۍ&SC1~]]ÍvU\WVSu1) ij1Mb)؍<Ȼȳ1<tGEPj:U)‰Љ) ̳1])øMb։)؍e[^_]ÐUEǀij1ǀ1ǀ̳1ǀȳ1]ÍvUj,EEP*PT]UTSEPj{EMĉ)UMb)ȋUЋ]]UTSEPj3EM)UMb)ȋUЋ]]Ujp]ÐU WVS} Uuzt`zu2[tVPWEPu%31fB;Eu9u1<0t 00뚸e[^_]ÐU WVS]} u{u61fCƒ<8t%Ћ88{u1fC<:uۀ~uB1fF‹M<t.ЋU4E~u1fFM< uҀ{f[~u81fF9u ;}48U8H‰Z:EPVWS 48U8 ‰Z:Q&~uZfvWSEPV4U輎‰rM MBfC f;F uy{tEE6[vtʃURMQPWP7 u؅tE;]t%ًC[Qq;]uۋMU 1e[^_]ÐU WVSuM}~uF1fF‹] <t2t&ЋU 4E ~u1fF] <uҀyu61fAƒ<8t%Ћ 88yu1fA<:uۀ~uR1f^yu1fA9u9} t-U 8‰ZM ]Byu81fY48U 8‰Z:MB뾍fF f;A ~t]]1[vtEPWPU RP u؅fM;]t)t&ًC[Q觌;]uۋE]1e[^_]ÍvU WVSU} MzuP1fZ<8u. 8DŽ8‰Z:MBQP|yttfB f;A ujEE1[vtURPWP`u߅tM;]t%ًC[Q趋;]uۋUE1e[^_]ÉUWVS]} v1fC88{uGt 1fC<u׀{u18Bu fCfB1f[fZv{uBfC fB _vE@fC UfB E3t5KÃ}uEUZWP"]vuˋEe[^_]ÉUVSUM B:Auzu~!ÃWEPEPE PS uډ؍e[^_]ÉUSE`xu9t3xtHPdt&P[u͋]]UVS]1E}tEEEpƃ=T1tEPVEPX1PhEPVEPH1PhhSà VpS$؍e[^]ÐUVSu~t/hV@Pk h&J~t N>t&~u*t$t&P؋[Pl uV7le[^]ÉU WVS]{uO1fCU <t 4F{u,kFU f[f^Et{u\kFfC fF YGkFfC fF E;t9kÃ}uUZEPU RP:]ulje[^_]ÍvUt*xu"VOVPQE "t&jVM@f@E}1=,1u}tUBPFPhV3OV&QE nCn‹FBMVP01{u)jh`DPjh` 1WjESM)щ+C CCC  1{u)jh`DP%jh`6 1WjVESM)щ+C CCC EPjUR~ 1{t)jh DPjh  WjECEC 01{t*jh DP]jh n WjECEC UBER vWP [ue[^_]U WVS}tBwt2^t؋[PXu6P^]u΃WN]e[^_]UVSEu 9u@PbzÃVWzK P 9} v9 PS肰e[^]ÉU WVS]u =11{u!1fC Pyxǁ1~u1fF Pyx%t5u-VPWt tt&u0t(SP"t 0?t"tPP{u6~ufCf;Fu?8VSNt%~uSVNtTfC f;F u46 &[vt.PPxt1fF P1fC Pe[^_]ÉU WVS]u =11{u!1fC P9xxǁ1~u1fF Pxx%t1u)VPz&u0t(SPrt 0Ct"tPP{u4~ufCf;FuzfCf;Fvbt&~u PvfC f;F u-6[vt.PPt1fF P1fC P_e[^_]ÐU WVS}u ,1PWÃ,1PV 9~9| VWme[^_]UUE =1u PR= PR]ÐUVSEu xuf@%"xutVP[ue[^]ÍvUS1ҍt&B?~PEPfPE PS1ҍ<u <t1 B?~]UVSuU zt1fB 9u1zu 1't&1tPV[tte[^]ÐU WVS}tft`1@?~t;1ۀzu1fB<1ۈ1fBItuͅu 19t&1ۃE P1fG PuWE P[1ۈÉ؍[^_]ÍvUWVSExt&EW6GE@EE0ESV=1t+SVuf=1tVSu9VSBIu;SV1IuSVtuE1u}t}tEE0GHGHe[^_]ÐUVSUM B:AuzuHfB f;A t1W1 t&[vtPPu%"t&ztfB f;A %e[^]ÐU WVSExuqU ZE1fp]t({u 1fC 9|t{u1fC 9SGfw }uE xU:E XEU1fr t&]t){t]t1fC 9|t 1fC 9t1SNjUBGfw t&1Exu0tSPËvut}u U z t&E8؍e[^_]ÍvU WVS]jS6@Efxu U@8@PWtChDPSDP" hS@P!EE PW!NƋECFW4EufC &fCse[^_]ÍvU WVSu] }IN‰B~u7S1fNtazu 1fB 9|tMzuG1fB 9u=jS1fN t(ztt1fB 9|t 1fB 9t1-~t%t&WRPG‹[tuЍe[^_]ÍvUWVSEEjP4pf~u @EPE PSǃuS@Peh< _E t&][t93uuV@P#h" }u CG CUBSLu\u5vS19t ы9uuCRXP߃u;} uuFEVL}ue[^_]ÐU WVSDžE BDž$Dž1ۋxE t&$$19)0$t&0A;~ꋍ$y1fG u40 t U?$$PODž1fW u<0u( 0DŽ0Dž$v QuP1ۃtfN$$x$1;%$02A;~ꋅ$?ut 1ۃ zP 1fQ ?81fG 9|&1fG 9 ~u=~h@10 |*0‹<ux <t샽4GDž ,1Dž,f~PUR@P=1tPMQ5] ,uVPa1҈‰ Qvf~(PEPPPà jhjSk S* t.RMQ@@P@t&v.PUR@PXDž t c ,t M1 uA1fG9~$P TURH@@u+00 @#v[^_]ÍvU WVS}u VhmW1ۃ;]}hqWC;]|~u h~u1fF PhW!1fF PgPhWz ~t hWcFPWx hWC^tuFVSW"ue[^_]ÍvUEjP@P]ÐU WVSExu~U ZE1fP]t({ u 1fC9|t{ u1fC9IG UfBfG}u E xU:t&E XEU1fr ]t0{ t &]t1fC9|t 1fC9trINjUBG fwt&1Exu.1fB ;l1t2tSPËvut}u E x t&U:؍e[^_]ÍvUVS]E PSaD‰FBVe[^]ÍvU WVSu] }1D‰B~u1xt&h @P赶W@P&i hK趷1>8jWFÃt!Cxt3XS`([u߉e[^_]ÉUl WVSU\yPRp\yuU 1DžP\ySwPhOgZ tp PSw<.uJ3FjhOSfF ;0;ËXsU >DžP\yS0wDž$Hyps<-u |>Ƅ((\y<-u|>tM\y<.ً (<-u|>uƄ()->$ConcsP\yVu<0.t\(<0.t,񋕬<.u֋Ƅ().DžjPR躂ƃ+PSt<.t.h@P衲PS@Pw#VɆƃVBW uCh@PXV@Pd hKYVD}vV蟜h@PV@Prd hKVth`@PıPS@PvE 1h @P腱CP@Pc hK胲U 1?@Pa0PV0 V/Q70126Åt_ ZC CvP0uǃ􋅤Pg/22l6Åt_ XC CvP/uǃ􋕠R/Xt:t&CXSA"CP赚 [uˋE [^_]ÍvU WVSU} =<1tWRt&EPRÃ}u1vSoTuhStEh@PeS@Pa hKfSQ1(SƃS3te[^_]ÐUWVS}  15EEEPEPÃ}uuVURÃ}t`v}u E vUZEC US]EPEP_Ã}uuVURBÃ}tt4{tjhOC@PQxt SGUEP 1Ee[^_]ÍvUVS1t&@?~EXt(vVCPRu1 [u[^]U WVSu} _t9t&{ u'uhO V@CPV_1[ũhR V_t4{ t'uhO VCPV__1[u̍e[^_]ÐU WVS}U BPhW W觬E x'~@'Ph[ W般hf WwU U$ExGƋU+r9EE@Phh WC9~EU ;thl WUB|$t!1fA9tB?t9t&@? =1th1Pv=1t) 1A|1Йuh1P=D1tD1Ph1P%=1th1Puv=1th1PY&=t1t; t1A|1Йuh1Puh1P:h1P*]ÉUPVS1{t)j"h@%DP8j"h@%I EPjfECEC vƅt V?1{u-j"h%DPЁj"h%8&EPjUCM)+S SCC e[^]US h.jS!jj S jjSh0*jjj:Sjj S jj"Sjj%S~ jj$Snjj>Sa h NjSjj S jjSqh0*j7jjc=t&jjS jj#jjfSjjS(jjS jjVS]]ÍvU WVSu] $194;t)V 1Ph1EPf4;E PEP e[^_]ÐU]ÐU WVSE 8txuxuEh1URFfE PUR h 2EP"f`1U f@ %Pa11ۃ1PWtCtԅh1EPeU REP hA2URe`1hX2W t h`2uEP?j|R1Ãf]t&ߋ[WuMQ[EPO 1 {u&jh ;DPEjh ;F1EPjEUCM)+S SCC X[^_]ÐUSEX[t(CfxutCf@ %Pt1[t Cfxu%]]ÍvU WVS]Sth<zf_ Gkd]‰7^SE EEe[^_]UWVSuU BFRSFx t EPE PEPV;EUZ1ڋ[CfxusvFfxutCEF FEC8u CUBCBCPCP* SWEPURjh<vPu‹Fe[^_]ÉU WVSjEUBpt_M9NtNÉ;}u _ t&EX]F C U RFP:CXSFf@fBvuMAptat&E9FtNWÉ;u _ t&UZ]F C MQFP-:CXSFf@fBvuCMA@FMA@B3=̯1tuƉ3CUBP踧FyƉ3CMAP聧F =1tEPURM QEPWe[^_]ÐU WVS]EstX&É;}u_EX]F C E PFP8CXSFf@fBvue[^_]ÍvUlWVSEPE1{t*jh`;DP@jh`;A EPj@ECEC rEǀ`EǀUzOMfy t 11Pī1PjGPm+EjP+à E=|1t}uCP<EPURSMQEP2 URSMQEPAƃEP8h1Ш1 ct MQ'ˆV'1{u-jh ;DP0?jh ;A@ 8t&EPjZ?UCM)+S SCC h1PjVl1{t-jh`;DP>jh`;? !t&EPj>ECEC jEP*ÃzURMQ1 {u'jh ;DP>jh ;+?2EPjJ>UCM)+S SCC e[^_]ÐUWVSu1ۋE EU:踿E}u ~}tsuwtQuZEUB :G u.EPEPGPURUBPG0 tttu Ex}}ttUǂDEEvtmv9t_ÊF C E}uXUZEPFP4‰SF@tJCXSFf@fB]vuEP 6U:UE EEPEe[^_]UlWVSEEPEPEP`E6UUCEMAUBM=̯1tFFÃEP象CyǃEP蛡GE0; h11P1{u)jh ;DPt;jh ;< 4URj;ESM)щ+C CCC  1{u)jh ;DP ;jh ;< 4EPj:;ESM)щ+C CCC E PjURbh 1{t,jh`;DP:jh`;; vMQj:ECEC P1{t)jh`;DP;:jh`;L; EPji:ECEC EPEPUR*Ee[^_]ÉUWVSu1}EPEPVÃVS7GFECFECF E0E@EuC EE@EuS=̯1t+1ۅt Ëu@tt&E?SCEPEPV"à /e[^_]UVS]3~u =1F@ txtCuh=d1t41Pԫ1PV ~uA=1t1fF Pu"tSq=1u[ue[^]ÐUVS]3~u =1CF@ t xtuh=d1t41Pԫ1PV ~uA=1t1fF Pu"tSq=1u[ue[^]ÐU WVS}wVHtBPP09=1tP[tsVǛuVӛt3=1tP=1t3@P t&S[u=1tP͜V5t|=\1ts=t1t/=1u xt`1Pԫ1PP=|1t2=1u @xt`1Pԫ1P@Pfe[^_]U WVS}wVȚtBPP.9=1tPۛtsVGuVSt3=1tPH=1t3@P. t&S[u=1tPMV赙t|=\1ts=t1t/=1u xt`1Pԫ1PP=|1t2=1u @xt`1Pԫ1P@PBe[^_]UVSu^Cfx{ t^=1u41Pī1PCP=1u =1u=1VduoH1X=1uL1Pī1PCP1=1u =1u=1t&V u1PCPo[e[^]ÐUVSu^Cfx{ t^=1u41Pī1PCP=1u =1u=1VbuoH1X=1uL1Pī1PCP=1u =1u=1t&Vu1PCP6o[e[^]ÍvUSEXvtiCfxt2fxt+{ t 11Pī1PCP=d1u =\1tCP[=1t]]USEXtiCfxt2fxt+{ t 11Pī1PCPb=d1u =\1tCP[=1t]]ÐUWVS];] uEPUR ){t:=į1uS@P`h <7g MQS(AE@fC UfB 13E蟯ÅuM_~u =į1t\E 8,uh`<fU UMM QEPURMQEPU RP &MQP (ߋvE\Ee[^_]ÍvUWVS]KEC@E9u@UEE UpEt&É;}u_EX]F C ;ut =į1t4EUU REPU REPUREPFPC URFP'CCXSFf@fBvEcUBptat&E9FtNǴÉ;u _ t&UZ]F C E PFP&CXSFf@fBvurkd7e[^_]ÉU WVS] ?Ǹ+EGE;1;u}ËUCF;u|MEEGUB@@PCMA@9uEPUM:e[^_]U WVS]}UB@@{f{=1tCP貓PPVWCPM QEPUR0NjABBC@B =̯1tPVEPPPp h11tQ'ˆW'@1{u+jh<DP,jh<- ?Pj, C)+S SCC h1PjW Z@1{t&jh<DP7,jh<H-_Pje,C C :[t3{t$CEPURWM QCPC [ uύ[^_]ÉUWVS趭LJ襭EǀExu=141P41Pԫ1PjEPIvEEPEPEPWS t%EPEPWSS9 EP$jVÃuWvEPje[^_]UPVSu@1{t.jh<DP*jh<+ "t&EPj*ECEC =1tV腐tuvtnv^VtQ@PP"u5=t1tPK=|1t@P/vu@1{u*jh<DP)jh<*5t&EPj)UCM)+S SCC e[^]ÉU WVSExu2t,{tCURMQE PPC[uԋUzu`1PNt&`1Pԫ1PjMQ]DžPURSMQEP PPVURM QEPURSjNjAU @BC@@@B =̯1tPVSPP P!h11t M @'G'01{u)jh<DP'jh<( =Pj( C)+S SCC h1PjW3U01{t-jh<DP`'jh<q( *t&Pj'C C jPÃ[^_]ÍvU\WVSu01{t)jh<DP&jh<' EPj&ECEC =1tV豌t腨LJtEǀvt=Ffxt,t&{tCWEPVPC[uڋvuÃW袨MQ薨 01{u,jh<DP%jh<&7EPj &UCM)+S SCC e[^_]ÐUVS]E PMƃVƃ VSVbe[^]ÐUEP@P]UWVS]} u.TFujh =jh%=SE{WCPE~wCUUFt(tWt*t5Kvjh+=.t&jh-=t&jh/=t&jh2=QfF ue[^_]UWVS}Gr$P=G PE^t&GPGPEA&E@jh6=UfB mËEGPǡE@EE&G9tXE茡 É3U:uEX]Fu jh8= jh<=fF wE輡ÃG P UZ]oEPhC=UfB vËEXWuEEe[^_]ÐUWVS]Ejh+=StEct&jh-=St E>jh/=St Ejh2=StE}tYPNJEGPGG@P4‹GPE IW;t&jh6=St GPG{hC=1fC PP[1}3~vjh8=Pt E^jh<=Plt E<3Ã}tUZ &CECP蹖C ]v~sPUBתGS|G e[^_]ÐU WVSU} EPRxÃ}tuuoS uSxƃSCh=@PS@PA h= S1e[^_]ÉUWVS}  1EEEPEPÃ}}uVURÃ}t^t&}uEUBEEPEPÃ}u$u&VURÃ}tt-{ujh=C PItt S 1Ee[^_]ÉUVSu] t$PVh=VX[ u܃h=V@e[^]ÍvU WVS]藨ƊCF{uC P1F ]{u&CFC PF CPF11[t(&StGFNj[u߉e[^_]ÍvUVSu~t"^t؋[Pu~uF PmV%e[^]U WVSu~F~u^V臧Cs{؍e[^_]ÍvUWVSUBc$=CCEC@CUR}FF@PX‹FPE@ @P:UBr]{E@@PUBXUBP@UBEEEXtSUCS ƃ}tEp Uru]u뤋ExGG$=W{FGFPUF @PC‹FPwUBz{GGPG^t&uGGPP.GUBG cE_t?CECSPƃ }tUrwu]uuGUBGR聥/_UBCRhW_] t&1e[^_]U WVSUu }zujWB PVC Izu'B f@ %9t3WVBP#&ZtWVS[ue[^_]ÉU WVSu~uFxt h >vF<w7hH>V@P hF>F<wWE^_t&{CE PSa}tUBFEu!&~~E PF P贐t+ÃSF f@ %PFPpF fX 虗NjF U  &[t{ut{E 8U RFPFW譗t CfE [U RFPhFE P U RFPF PE @^F P0 Vމe[^_]ÉUVS]4FVSÃV}؍e[^]ÉUEPfPPPTP]ÉU WVS}E uxuStMPWtP^Vi VPW[ue[^_]ÍvU WVS}] u{uVC PWbPt&{u*WC Pu2VCPW"[tVSW[ue[^_]ÉU WVS}1t F@uu4GSp1p1PYPSh]>2vGSl1l1P%PSh`> VP fG 1fG Pڹ[^_]ÐUSEP%1ۃ:$u%zctzfuEPBP1t؋]]ÍvUS]{tW{u1fC PB1fC Pyt $vtPuދ[u1]]UVSx=̰1tXffSd1d1PӯPSP蠱 )Sd1d1P蜯VSPo VsuǃjPs[^]ÍvUVSSh1h1P2PShc> 'Sh1h1PVShc>Ұ VֶuɃEPPԱ[^]U WVS]} C< <}<t%[tzWS[udvWC P t-?ƃVC f@ %PCPC fp ‹C BWCPWe[^_]ÐUVS]0FVS,؋[PuVbe[^]ÐUVSuE xu8t2xufP f;V u@fPPV[u΍e[^]ÍvUVSuE xu@ PV!XtSV[ue[^]ÍvU WVSuF< <}}&<tBpE^tb{CS}tUBFEu0FPF P:^FCVX SlƉe[^_]ÉU WVS}EptFvCU:BuWE PSS Ѓ?tXU Z뺍t&e[^_]ÉUS]C<w.EEPSSp}t E@C]]UWVSE@EUBzuwMQ=ܰ1tEPURE Myt $t&EEEP EURt zuuE}t BMA BMAZUECEtURƒU}u BCZ#JEH9}FI9|ACYRƒ}tMQEPU]uMUJRV=ܰ1tEPUREEe[^_]ÉU WVS]CECC<wm1Ct$pPtGClju܀{u/S=ܰ1t%S S@SËEC؍e[^_]ÍvUEPP\P2PPJ]ÉUVS]u {up1fC P~P 1fC P[Ph>DP VDPHhF>DP _v{u:1fC PPn u7~jPV1fC P t&tVP*[ue[^]ÍvUVSEu xuV@ P t&XtVS[ue[^]U WVS}U uzuu> zuu11fB 9u'EfB tVEPPW[ue[^_]ÍvU WVSE }uxuVW@ PEPq!Xtt&VWSEP[ue[^_]U WVS}u u2_ [tVSu%~u)^[tSWu%hu)_[tVSnt%9~u)^[tSW?t% VW*e[^_]U WVSExuxuEUzw&EX[9t1VSt9tFGV]]UZ19tKSVt3uCUB t&CG؋[P 뿍&ߋ_뱉v\UBxtEp@FUR4e[^_]U WVSExuxuEUzw&EX[9t1SVt9tFGVM]UZ19tKVSzt3uCUB t&CG؋[P뿍&ߋ_뱉v\UBxtEp@FUR$e[^_]UVS]u C:FuE{uF PC Pi{u+C:FuF PC Pt[v18[vVSt[vtu1u %e[^]U WVSUB<rt&~1҈‰Uu~^to{%9EtUڅuSRWt;EptvS}uUBzuUB[uvhe[^_]ÉU WVSu~GE^SB<wt{un9t7V^t؋[PuF~uFB}u CF CUB؋[P {][ot&e[^_]ÉUVSMu yu0ttt&VP[tYuSt&ytD1҃>t!1fA 9tB?_ [tEPEPVE PS u܅%~u:^[tEPEPSE PW u܅%u:_[tEPEPVE PSC t܅%~u7^[tEPEPSE PW t܅%RG:Ft1Ft&tEPEPF PE PG EPEPF@ PE PG@ Pe[^_]UWVSU] l1p1EEPR{PPaEEEPSLPP2E othtEEPVEPSEPǃ EPSt VtEPs EPde[^_]UWVSU] l1p1EEPRPPeEEEPSMP4PP*E gs`sEEPVEPSEPǃ EPSs VsEPk EP\e[^_]UWVSU] l1p1EEPRqPXPPPEEEEPS0PPE SrLrEEPVEPSEPǃ EPSr VrEPW EPHe[^_]UEPP]ÐUEPRPPvP@P]ÉUS]EPEPCPC P}u(ESPC PmS zE_t&}u PECCExuPzt RzuZUVyBEBEXЋ]]ÍvUWVS}1GEGGEuxtExEpEtgVG PjtIxCGCG P^dC FCsF}tEXEXމuvuG PlWx}cuExuWVGt&u?Exu6WiPǃ W!ǃWGPNjEGe[^_]ÐU\WVS=L1EPrSjURTÃSR l=D1t C@VMQ=XuCuƋUBF3uCxuF3hu@jW TËCPC@ 1 {u)jh?DP[jh?l 4EPjUCM)+S SCC EPU RW 1{t,jh@DPjh@ vEPj ECEC =|1PMQQ9jEPS@Uz@`B@P?Yƃ=,1u} tFPh@@F01{t0jh@DPjh@ $&EPj*ECEC MQE PURV01{u)jh?DPjh? 4EPjUCM)+S SCC =1+@1{t.jh@DP!jh@2 "t&EPjJECEC EPIǻ@1{u,jh?DPjh? EPjUCM)+S SCC Lt&7F;1(t1=$1u} tFPUBPhj@J`1{t)jh@DPjh@ EPj5ECEC VQF;D1u V¶`1{u0jh?DPjh? ;&EPjUCM)+S SCC VQV*S PAp=41P1{t)jh@DPjh@ EPjECEC EPURXP1{u)jh?DPjh? 4EPjUCM)+S SCC =1tEPURp@18}  1{u)jh?DPjh? 4EPjUCM)+S SCC EP 1{t/jh@DPrjh@ #EPjECEC =41URNL=,1u} tMAPh@е1{t.j!h@DPj!h@ "t&EPjECEC E PURfе1{u&j!h?DPhj!h?y1EPjUCM)+S SCC e[^_]U\WVSu} 1{t*jh@DPjh@ EPjECEC u7`v[WE PV2vC&t+c&SMS SD1P,L= 1tcOu 1{u,jh?DP/jh?@7EPjZUCM)+S SCC e[^_]ÐUEPQu1 x%]ÉU WVS=1t`=ԭ1t]|;ԭ1~P191tB1Sh@DP[Sh@@PG @PvEx=<1t8W?t(h1XMQ(h1PjS =D1t8Wt(h1XEP賋h1PjS =L1t8Wt(h1XMQ h1PjSQ =T1t8W|t(h1XEPYh1PjS =\1t8W;t(h1XMQh1PjS =d1t8Wt(h1XEPh1PjS =\1t8Wt(h1XMQ}h1PjSM =1t8Wxt(h1XEP衙h1PjS =l1tlW7t\h1XMQ@Li‹MABh11h1PjVw h1PjS=L1t5Wt%h1XEPKh1PjSVe[^_]U\WVSp1{t,j h@DP?j h@P vEPjjECEC EPUuv1p1{u/j h?DPj h?(EPjUCM)+S SCC p1{u/j h?DPbj h?s :EPjUCM)+S SCC =ܯ1h@1{t)jh@DPjh@ EPjECEC EP@P11{u.jh?DPqjh? 9t&EPjUCM)+S SCC =ı1tEPX18u =1=11{t)j h@DPj h@ EPjECEC UR1{u)j h?DPhj h?y 4EPjUCM)+S SCC =ܯ1h@&1{t0jh@DPjh@ $&EPj ECEC EP@P/1{u)jh?DPvjh? 4EPjUCM)+S SCC =̱1tEP%=1tUR =D1a1{t)j h@DPj h@ EPjECEC =1tMQo EPA 1{u/j h?DPRj h?c :EPjzUCM)+S SCC } uv=1tmEPAtZUR@uFjMQEBP_? t(jEP*B@@u14&=1UR?1{t0jh@DPCjh@T $&EPjjECEC MQX1{u)jh?DPjh? 4EPj UCM)+S SCC =411{t)jh@DPgjh@x EPjECEC EPNƻ1{u)jh?DPjh? 4EPj3UCM)+S SCC 51EP_0} =1tUR=;1} ut=1tMQ=;1} uJ=1tEP5O;1} u = 1tUR;{MQ00t x1L} `=1!1{t)jh@DPjh@ EPjECEC 1PEPAƻ1{u-jh?DP@jh?Q 8t&EPjjUCM)+S SCC ;51~EEPtu=ܯ1tKVhMA;=ܯ1th A} u)=1t UR4Pt 1=1p1{t)jh@DPKjh@\ EPjyECEC MQEt(} t"^@Mu :up1{u,jh?DPjh? 7vEPjUCM)+S SCC =D1trExEtaG@tL`^F]C]UPM9t8t 8uE0Eu=1V1{t)jh@DPjh@ EPjECEC UR0ƻ1{u)jh?DPjjh?{ 4EPjUCM)+S SCC =ܯ1tFPhkA /} t#FPhAEP@P'p1F;h1u1~cF1 1p1{t)j h@DPvj h@ EPjECEC UR=Hup1p1{u)j h?DP j h?bEPj:UCM)+S SCC ,p1{u&j h?DPj h?1EPjUCM)+S SCC e[^_]ÐU\WVS}`1{t)j h@DP$j h@5 EPjRECEC t1?uW=ƃ &1E PWQд1{t+jh@DPjh@ EPjECEC Wt Vд1{u,jh?DPjh?0 7vEPjJUCM)+S SCC `1{t=?t8VV; YYRYCFB1{t,jh@DP_jh@p vEPjECEC WW虛 E;D1u W芝WUR7P1PWg:G W\1=1t |19G=1tWF1Gl1'~11{u)jh?DPgjh?x 4EPjUCM)+S SCC } u =1GPhA1{t)jh@DPjh@ EPjECEC W@P!1{u)jh?DPujh? 4EPjUCM)+S SCC =d1lWC4XW3CjWq5P2 $1{t)jh@DPjh@ EPjECEC WÃtUSWƃ=1u} t7hAjuhAUV@P[ 1{u-jh?DPjh? 8t&EPj*UCM)+S SCC 1{t)jh@DPjh@ EPjECEC WMƻ1{u)jh?DP5jh?F 4EPjcUCM)+S SCC =11;1Bt u581PhBDPh@B EHv= 1u VD1P@P-PPhgBf jg} uG;Ԭ1 W֑`1{u(j h?DPj h? 3EPj*UCM)+S SCC e[^_]ÐŲ1+MqhBhB<181΀贄@1%.12f@fNH1N1MH1}41sL1i1_1U41K`1A,1]US]j@PJ,81PhBDP ShBDPhB@P ShB@PjjfUWVSPEP DžJ z: 1fA PjjPhC+f W{txt$h CM QPU R1fC P jÃ;"t;'u.CPSq߰ȃDSPFhACSǃu ShCCU R$`1-QE P?{=1t?Sh`CU RM QWr ShCE Pv<1PWIW1fB PhPhCd tj/1fB PhPhCud tRjQE P`ǃ.RM Q@zWE PG] &1fB P8hPhCc tIQE PWbǃRM QyWE P_ 1fB PgPhCc {txt)hCE P RM Qt&1fC P^gPhCc u(1fC P:gPhDb 1fC PgPhDb th DDPhMDE PqRM Qx PEPHǃt`1=԰1Sdx`1S[ u1fC P>fPhODa hMDM QPU Rw PMQǃt`1%=԰1utS+[uWE PWh11fC P~ePhSD?a hMDU RQE Pw PURǃt `1tSy[uWM QWX1j1fC PdPh`D` hMDE P?RM Qhv PEPǃt `1tS[uWU R2W11fC PdPhhD_ hMDM QPU Ru PMQfǃt `1tS[uWE PW@1 1fC PncPhlD/_ hMDU RQE Pu PURǃt `1tSi[uWM QW(1Z1fC PbPhrD^ tohMDE P3RM Q\t PEP ǃt `1WU R?W11fC P+bPhD] thDDPhDM QPU Rs PMQaǃWE PUt&1fB PaPhDY]  {txt$hCE PRM Q1fC P6aPhC\ u(1fC PaPhD\ 1fC P`PhD\ th DDP]hMDE PIRM Qrr PEP茟ǃWU R荠 г1{t.jhEDPjhE +t&PjCC W-ǻг1{u)jh@EDPtjh@E腿 =Pj蟾C)+S SCC =԰1utS[uhEE PWU R? WD11fC P(_PhODZ hMDM Q虽PU Rp PMQܝǃWE Pݞ г1{t.jhEDP1jhEB +t&PjWCC W}ǻг1{u)jh@EDPļjh@Eս =PjC)+S SCC =԰1utS7[uhEE P@WU R Wh11fC Px]Ph`D9Y hMDM QPU Ro PMQ,ǃWE P- Kг1{t.jhEDP聻jhE蒼 +t&Pj觻CC Wͷǻг1{u)jh@EDPjh@E% =Pj?C)+S SCC tt&S[uhFE P蔺WU R W1N1fC P[PhlDW {hMDM Q=PU Rfm PMQ耚ǃWE P聛 г1{t)jhEDPչjhE &PjCC W&ǻг1{u*jh@EDPmjh@E~ >Pj藹C)+S SCC tS[uh@FE PWU R@ W(11fC P)ZPhhDU hMDM Q蚸PU Rk PMQݘǃWE Pޙ t`1\г1{t)jhEDP%jhE6 &PjPCC Wvǻг1{u*jh@EDP轷jh@Eθ >PjC)+S SCC tS[uhFE PAWU R W@1PR,11fC PnXPhD/T thDDPhFM QͶPU Ri PMQǃWE P 1fB PWPhFS b{uxt$hFE P;RM Q+ 1fC P~WPhG?S hMDE PRM Qi =@1th GE P迵`1PUR@1t `19‰1PR@1P t `1@11fC PVPhNGOR hMDE PRM Q(h =d1th`GE Pϴ`1PUR+d1t `19‰P1PRd1Pt `1d11fC PUPhG_Q hMDE PRM Q8g =d1u =@1thGE Pֳ`1PUR2@1d1t `18‰1P1PRd1Pt `1d11fC PTPhG_P hMDE PRM Q8f =L1thHE P߲`1PUR;L1t `17‰,1PRL1P+t `1L1PM QYh h-HE P@RM Qie PEPd1PU R9Y1fA PPSPhJHO t~8txuP 4u h`HhMDU R蓱QE Pd R1st&1fA PRPhHiN tv8txuPd3uhHt&hMDU RQE Pd jR1fA PRPhHM tVh IE P}h IDPj h`IDPThIDPADt&1fB PQPhIIM 9txuP@2u$hIE PԯRM QhMDE P谯RM Qb P1fB PPPhJL 9txuP1u(h JE PRM Qt&hMDE PRM Q b P$\1PS 1fA PPPhRJK 8txuP0u h`JDPm$1PS 1P(u'hJM QPU RvhMDM QPU Ra t&1fA POPhJJ t~8txuP/uhJXt&hMDU RWQE P` RZ 171fA PpNPhK1J t>PU R`Qtk `11fB PNPhKI 9txt$h@KE PfRM QVPU R|_f@ %PMÉ߰ȃx 9}@1ODB9|Ƈ>1&1fB P(MPhrKH 1fA PMMt%hKE P|RM Qot&1fH B1fX QLMǃSAMà { hKG;Ct4h LU R QE P4^`1 RM Q^CG1fB PLPhELG hMDM Q航PU R] M QEPVǃ=԰1u(t"S]`1S [ uރWU RsWD1P8 1fA PPKPhZLG DžhMDE P跩RM Q\ jPEPOÃ~qhiL_t&P-NuhLiPP8 PPU RO\ [uhLM Q Džt6`1tBhLE PRM Q[ tP覆PUR~*[^_]ÐUVS}hM@P/`1E pEjEPVwÃu `1oEPViE<0.uEEPViE<0t7h@M@P謧EPV@Pl`1 S{ÃSDL u h`MSڑtKhM@P@S@PY hMAS,`1t&SƃS u`1=԰1u VhM@P迦V@P hL@P蚦Vh1PS1e[^]U\WVSV-D1L-h1B-X18-1.-@1$-(1-1=H5@1{t.jhEDPjhE "t&EPj*ECEC VWa1{u+jh@EDP螥jh@E详 6EPjʥUCM)+S SCC =IJ1tE PEP=`1@=1u}=$1t ?.t&=1tb(BX1t^S;t =T1u赠t581Ph[DPrDP耟 =&'~V81Ph[81Ph\DP%tWDPEvhMDDPe[^_]ÍvUWVS}EEPEPE PE1]t8t xtF[uE PFPh\W} EHPh5\Wgڙt#zthM\WDWW =1tE PPhU\W h\W]]stA9t:xu2@;Bu&APh\WPW^ PW[uh\WW#]CESUERf }uԍe[^_]ÍvU WVS]1S&qEE5p]$h]"S@P+ hMD l1S S1߃= 1tW@P=1WS=>^VzރW+ LpEE5p]$h@]HW@PQ hMD)W = 1tW@P=1t WDWQe[^_]ÐUVSu~tS~u#jhx]1fF 9%,1f^ jh}]u9u@0묐t&1e[^]ÐU WVSE }t/sSU҃tSWSW uэe[^_]ÉU WVS]11t‹CBt׉֋u[^_]UU1t@u]ÐUWVS18th]蘲MX18th]|1=d1u=@1u =L1th ^Oh18t>h`^1}h^$} h1PD1Ph1D1Et S/E[tuD1Ett&SE[tuD11tSǃ[ttD1EtS%E[ttD11t &Sk9}Ƌ[uVEPWEPEPh^| }tVh@_{h_{ h_{jj@P jj@@PzVh`{h@`z{ jj0@P5D1[tShuh`,{h`{ jj}uxunhazh@az hazjj@P jj&@Pjj@Ps Lv}tYuKhazhbtz h7bdzjj@P" jj?}h`b$zhbz hbzhcy jj0@Pjj@P jj@Pjj&@P| }tTh@cyhcy hcyyjj @P7 jj @P"h1PD1Ph}hcyh dy h`dxjj0@P jj@P jj?@P }tThdxhcx hcxjj @PG jj @P2 h1PD1Phe[^_]USh1t0S?tS?u [u1]]ÐUWVS18thdЬovX18th e豬Pt&=d1u=@1u =L1th`e耬v7thebw6hfSwh@fFw h1PD1PhD1EtS\E[tuh1t"}tS/E[tuD1tSǃ[tuh1Sǃ[tuD1EtvSE[tth1t%}ut&SE[ttD1Ett&SE[tth1t%}ut&SE[ttD11tS9}Ƌ[uh1tt&S9}Ƌ[uVEPEPWEPhfTu }tFhf>uh g1u jj@@P jj@P u(h`gtjj @P hgtjj@P }uu6hgth ht jj @PM t$h`hitjj?@P' 7hhEtjj&@P jj@P}hitjj0@P ~7h@isjj@P jj@P}tQhishcs hcsjj @PA jj @P,e[^_]ÉUS]|1PhiSrh1PhiSq l1PhiSq1PhiSq 1PhiSqĨ1PhiSq 1PhiSq1PhjS}q 1PhjSfqcEĘ1$hjSBq BcEE5Pj$h-jSqbEE5Pj$h=jSp S/q]]UVSMU yuz%Azt9fA f;B u/2 v[vtPPu1e[^]USExuf@ !xutP[u]]ÐU WVS}u 9W X V@ t=uO=x1u8uPAP81Ph`jDPox1,&9~ t&9|  t&e[^_]ÐUEPn@]ÍvU WVS} E7[vtPPguu1~PP:t3vvtPEPuƁ:t&1+WPguWPt[uΉe[^_]ÉU WVS}E 1t t&WP,gtF[ue[^_]ÐUWVSEEE0E [9tPPft9uYEPPUÃE PPD 9~2EÃP}u  t&EX]vo}uGGe[^_]UWVS]u VSESVE 8u1DE0t6E1t PPBǃ[ttvtuʃEPKEPJe[^_]ÍvU WVSu} ~uVW_fF f;G u&1fF PuWV!1fG P1fF P*uWVu1 &[tPVMu%Ct;t&WPduWPt  v[u1e[^_]ÐUUE PR]ÉUWVSEXtiSltRCE@EE8E0VWu"WVtE0E8CHCH[ue[^_]ÐU WVS}EE=d1uh kl}t?th`kkjf+lvÅuhkkjflUZ CCB$ptE ;puvt U ;rtuhkkjfk}t~ tFCJC(uhkJkjfkS(=d1iC@x uhk kCP@PVhkj C@P}h lj E ;pkCuhkjjfjCX[UC}t ~ t?uFCMC(uhlMjjfjS(=d1upC@x uhkjCP@P]hki @PhC@Pv h livC}t?uh@lijfiX }t C<?t @<@C<@8@C8C@St C45Pt C4x4u C4 @4@C4[y}t EP e[^_]ÐUWVS]1}ƃ=1U tH11EEPEPVRBÃ}C8Wu/G;D1u =l1tG;h1u=t1uE}uEPEPVjЧ VEPGt}thlgVS}u1e[^_]ÐUWVS]EEƃ=1U t =1 v=H1EPWVR.Ãti}ucCEPuE}uEPWVj VEPct}th mgVotW}tDh`mfhmf EP@Pոh lfhmf}u1 1Ee[^_]ÉU WVS] }{ thmZfjffC,P^CC$C{ tC PCC {t,CU;uxtt&U2&ބud@8@C8vE;0uvv ~t vv~u~ uU;2uEPWRVUREt&WEPURV6}tF$P‹F$Pq‹@)Љ~ t'^ CF C(PSu ~ uًE;0u F(P]VP1U2EF$e[^_]ÍvU|WVSuEVYP1{t-j h nDPPcj h nad !t&EPjzcECEC =d1u"hLn%dThhnd V Euhncjf&dEEEE=d1u6EPEPhncjEP hhncEEp A=d1ho\cF@x uhk@ct&@PJbFP@Px @P'bh#ob @P bF@P EPF~tTPh@ob~EPEPEPEPEPV  ~tl@(PFPYF ^~tK}uE}u?}~9=l1t =t1u'F PF@@ PFt Eue=1t7}~1F PF@@ PtF@@EE%EPEPEPV E t&E}=d1uohaoaUBx uhkeaMQ@PhxoCa UBP h l"a EMMAF$PAƒ}tEMUu F EPEPEPVEPVAxuPho`jf`ƃEPV ti=d1hod`F@x uhkH`@PW_FP@P hotV8@ 0vx@u;Ethp_jf&`;P@}P@@t9u˅uh@p_jf_V85=d1EPEPEPVhp_ jEPhhnk_ hp[_@Pm^ }ttE@@x uhk(_@P7^E@(PE@PUà S@PKh l^ S; hp^E@ PEP)h11P1{u)j hpDP\]j hpm^ 4EPj]UCM)+S SCC h1PjW賊P1{t-j h nDP\j h n] !t&EPj ]ECEC EPEPEPVƃ7=d1uh q]EPEPEPVEPƃ =d1EPEPVh q[]jEPu hhn=]=d1uHEPEPh`q]jEP1 hhn\(hhn\ }tEPhq\}tEPhq\E1E1P1{u+j hpDP^[j hpo\6t&EPj[UCM)+S SCC x[^_]ÉU WVS]EC@@UB}ޅtb~ tE PF PÃ1;u t*iËF$@C~tS@1ۉt??uvuEe[^_]ÐU WVSǃ}tFƉwUBX>C F @(PBPQFpVCf@fBG@EPE P‹e[^_]ÐUVSUM ; 12t.Ӎq&VC P[t uve[^]ÉU WVSU} :tR;=1FӃ{t'w&[VC Pht!{utGPPe[^_]ÍvUVSu] 1@?~PC P/uh rYjf ZE Pī1PjC PCE,PE(PE$PSEPVEPEPEP+ [^]ÍvUVSMu 1y t9q t A Q ztBu{A@yt9qt Ad&QztBuK?P t;J@}J@RuAH@xt9pt@PztB uu[^]ÐU WVSU }u]{ tuC ;th`rXjfXvC xux thrlXjfXC$fx$u [ "vRC PC C$؍e[^_]ÐUVS]u tEVCPVC P ;u{(tC(PES5e[^]U WVS]}uC@x t11{t2CVWE PSC,PC0PC(P@(PRCP@7C,POVWE PSC,PC0PC(P@(PCPe[^_]ÐU WVS}EƅFFF4F8F<F@F~$F,FF0‰V(t1hrVEPV\1 h sdVÅtw3^ CCC4C8C<C@G@CC$C,CC0‰S(t&h`shsUEPV1e[^_]ÍvUWVS]} CPR UƋ@(E=d1uVhsqU}uhk[U@PjTV@P h l+U9t6C@M:H uEPV@(PCP ‹u9ue[^_]ÐUVSM Eu9taURtU;utMRtB@x tt#@@fx$u t&t[^]ÍvUS]Shs@T@PRS C$w^$8t&hsNhs>ht.h ththtS@PR[t&{ th-tS@PRhkgS @PvRCP@P @PSR{ th-tS@P,Rh0tR @PR[Hh3tR]]U WVSu} 19}hLtRC9|VhPtR1ۃ9}vhLt{RC9|F PFPFPPhtWR1ۃ 9}hLt;RC9|ht&R~$tF$P&htQhtQ1ۃ9}hLtQC9|F@PFD‹CBVM E PjVhe[^_]ÐU1111411`11}|1s1i1_1]ÉU`1;1%]ÉU|11111411`1]ÐU塌11111411`1]ÐUSxÅuEPu]]ÉUVS]S|ƃP;C'F' V{@18uVxV@1P豠1 h z9V@P h3z9e[^]ÍvUVS]3~u =1taF@ txtCuG~uA=1t1fF Pu"tS=1u[ue[^]ÉUVS]3~u =1thCFv@ t xtuK~uE=1t1fF Pu&t t&S=1u[ue[^]ÍvU WVS} Ep=1tEP荝V-tn=1t&tFPFP=1titF@PQOF@P9Ft*&t S S[u݋v$e[^_]UPVSuF';Ĭ1T1{t)jh@zDPU6jh@zf7 EPj6ECEC ?=<1t V5=D1t V=L1t Vo=T1t V=\1t%jV'V jV=d1t V 1{u&jhzDPc5jhzt61EPj5UCM)+S SCC e[^]UhTj35hTj $5 hTj 5]ÉULWVSE ~ z7󥤃D1P@P Sh{@P4 81PSh{DPf4%Ph{s5 jp5uhTjb4gv uAD1P@P蓖h{"5 h{DP3jqB5Ph|Sm5Si[^_]ÍvU4P4'|tЉ]ÍvUj@h14t 1???1]UWVS=1u;81Ph@|DP33h_|@P 3 jos4h{|h}|4Eh|h}||4ƃ }tu%h`}3h`}DP28̨Ph}3̨Ph}V2 h}V2V2 EPEPEu-}uh ~V@2EhB~81fG PsPhT~4 th|h{1fG P=PhY~ @P1V1 1}$81Ph^~V1ho~Du<̨̨PPRPh~VU1 ̨Ph_2 jj\1j3 hTj@1̨Ph@2 ̨Ph@V0V1 1fG P+Phl t9D1PV&D1P@P @P0^1fG PPhr t_̨Pha1̨PhV-0 hV0EPP1 VD1;joU11fG PKPh thV/E1fG P Ph t+h1mSV貂[uTv1fG PPh t,D1SVc[ut&1fG PnPh / t,X1SV[ut&1fG PPh t,1~SVÁ[uet&1fG PPh  t@PV 1fG PPh(L t@PV h01fG P;PhJ tjWV=`1fG P PhQ tjWV .1fG PPhW t5WVt5W@PhNP. vh^V-t W }u1hxV,V*- EPEP'ųPh-̨PhV, EP-V- @P,e[^_]ÉU$S-Ph]S-h|S-]؉]ÐU+]ÐUj `@]ÍvUj <@@]Uh,ǀ @@ @@ǀ$@@1ҍHB~ǀ(]Uh蝧1Bc~]ÉU WVSu Q)Ѝ)‰ЋU1ߋ_t93|t93uhaC1EAYtO(Q)Ѝ)ƉU e[^_]USM] Q)Ѝ)‰Ћt&@t9|t 9u@1[]ÐU WVS}1t$Vh'3+CP [uFc~ύe[^_]ÐU WVS]11;u }"莲‹CBtUF;u |ދE[^_]ÍvUVSu] h,V)t(0;t.PCPh1Vf)u؃h6VO)e[^]ÉUEP@Ph8?*]ÍvUE1ɋPfBffvfzuȉ]ÐUVS]t1U1ɸ<t/xuf@%9t 1<%A?u[^]UVSuÃ>u^ F(^SP1P؍e[^]ÐUEwM$:>D7J.S'_mu}]ÍvUVSu] {u8f{ t1fC PPh1fCPhV'Z1fC PPhVb' t%h.VJ'PVr [u܃h6V&'e[^]ÐUEP@P8]UVSu] h,V&[t^{ uhV&CPV{ uh6V&{th.V&[uh6Vn&V&e[^]UEP@PD]U WVSu} uhV&_{thÁV%{ uhV%jhȁCP_thˁV%7jhЁCP5thV% CPV{ uh6Vb%{th.VK%[5GXth6V%%[uVR%e[^_]UEP@P]U WVS}U PhӁW$U BPPhW$0U BH$0h؁W$vU BPhہWl$1E EU<thE xt,h,W1$UPWU Vh*VhW$UPW( h6W#F~hW#U BPhW#U BPW U B PhW#U BPW h؁Wi#\U BPhWR#EU BPhW;#U BPW h؁W# h+Y=1tU PWU PWE t Ph"h(W"h-W"W"e[^_]ÍvUEP@P|]UVSu] hLVH"[tSVB(uh-V"e[^]ÉUEP@P]USUM CtB}9uu hOW؋]]ÉUWVSޟGEu@1ۋU Ut&4E<tf_PWUC?~XU BP1PP41ۃ 9(E Ef_URWUC9~W萟e[^_]ÉUVSEu P A1ۺ9} Ë@B9|t@C &@Aȍe[^]ÍvU WVS]u}t S莖ËP@>VEPE PSt4VSEPEPt WPP>11}t Se[^_]ÉUWVSEpEt#UztvEtEU<uuIt&EEEX U UE<C :F URE PURFPE PCP UE}tUE<}tU REPUREPURE PUR t E4EUEURU PUE S~tVnt}u E [GEt }Ee[^_]ÉUlWVSEP菃EE P考 9Eth/T ǻMԍUC ~EEPEPWE PEPVEP uhSEPV W1]~}t&‹B2Ke[^_]ÉUS]M C1҅t‹@utABACAt @uQ踣؋]]ÍvU WVSUE u]PRǃSV PWle[^_]ÉU WVSU BPMQ‹M xuB@ B0EP蝇ǃUBPW˃U @ t;Q} AB[9| uV4M APEP WPe[^_]U WVS1t&F?~EXt vVCP[u1<;t94;t赙Bfr;M F?~Ѝ[^_]ÍvUWVSFLJU @EMX1ut@EUB :C tEPCPWBPt[Ett…uhPWtu CMQFU FWP VWEPWݜ MQClj{ޢ‰SEx tMCC EGBCMC GEBURMPe[^_]UWVSuP襐?~JE PFFP誄 FPPfEEEPEPPRÃ%SR_EPEPP+à tPSrrtuh@NS^LJEEPWE@PWE@Pv 0uhNWztCvE PCCWP SWsEPW藚 E PxFF蝠FEP}‹FP EP}PP P|XP| 9t hMe[^_]ÉU WVSExur} ?t??uF7Ut8E PUREPUREPU RP [FuVEx}@pUREPURPv Ãf~EEPEP@P(ƃ=1tVUR茪ÃEPVA1ۈÃV (uUPEt@U E t"1e[^_]ÉU WVS}F_t/EPEPEPE PWVCP9 u[FuуV胞1e[^_]ÍvU,WVSEu EeFP8ǃGP1PËB@PG@f@fB EPP~6Et~EǀEEEPEPEPEPUPE SEEP1PÃUR tFEPƋFFURP VEP{URGG轜C_謜@UG EGPPGPP UBPUP'{x uMFU2}EP EEPEPEPEPUPsE0tE9E}uU9Ut h6Ie[^_]ÍvU,WVS] EǀE]{UBP譀ƃFP1PËB@PF@f@fBE EPP5|EPEPEPEPUPkE0EPM}uh@7HEP1PrÃEP tGUR`NjGGEPP[ WUREPFF?C^.@UF EFPPFPP UBPUPxx uϙCUuEPz EEEt x e[^_]ÍvUWVS} t]uW?EPuuURWEPURWEPv?tURU=D1UP|{E=1t PtEP=UrEF@]EP\EUB脘UBUPE@PzUXE E9E}[EU9U|C BC@vE]EPUGtqt t~?GP1PbURPEPURU? t_OEPURE@E?/8(UREPWUR?heD0UP讅pUPyƃV: VUPyuT]EPE@UBP1yU ЃPPVT]EP,EUBBPxUEEp tmE@E^EF :C u5CPFPtECGUBUPߋ[Et}tvEt}t}uhCEP3rÃUPr 9UPEPZƃUPq U@PUtv~upF]EPEUBUB@BP_wUXCPC@ E$UBU RUBP1PE$t~}hA6uUPEPetURUPdu h oAe[^_]U,WVSU0FP1PNj6~th`!A6FE6FP1PRE6~th@6^6uUR$PESU$PE EPPqƃURUPqà { uމÉ}EEUUE~ u{ uh?@#EǀEǀEEPEPCPURFP u+FP膼CPz h ?EPt}PvU RE܋U܉BBEPPU܉ REPUPyt }Nt&E PNjUGGEPP WUR*EPKEPK UR7EP#tUUSE PxEUUBBEPU싂PiU艂 REPPwtFU R ËCCEPP SUREPE PFUFF ӈNjE܉G~ÈG~jPURU苂PP w tPjǃWt WPmktJE PCCPj CPPcW{E]UU9EP詁UR蝁 E PUREPUR1e[^_]ÉUWVSU@P1P.NjUPXR$Pƃ S$PEVPeE EPPe]ǃEEPSFPSUBP0uh 14E PFFSP脼 VS)EPM SMU R1CC SCUPRPE PSUPRe[^_]ÉUSU] CPRd@t&;K} SA@9|u]]ÐU,WVSEzǁtCP1P;ECP1P$E{|h`2+stVSE VS~E19} @9|tCP1PECP1PE{|h&2+stVSE VSE19} @9|]UBPU싂$PUBUBPU苂$PUB EPU싂PǃEPU苂Pà Q}dž@}EǀEEPEPSVW u%WS踭 h1Vt }Gt&U R@NjUGGVP; WVU苂Pqt]IE PËUCCEPP׸ SURyEPV| EP|U RrFFF EFUV RPEPPUBPU苂Pa x uCCUE PVUREPe[^_]UVSUu zu 1fB#zutVP[ue[^]ÐU WVSE }UZpt5t1C :F t1FPCP[vttuυtut161@?~EXtWCP'[ue[^_]ÉU WVS}E uX(t{uVWPt1t{u؍e[^_]UWVS}?E PhÃW!c‰G  RWs$SGP1Pbƃ 2uCPE PWuh {-CC1ɍ{::A?~CivxunxudBP1PTÃE PZƋF W b‰FG RWY$ V6PB$@P1PÃSGP1P E PWE PWE PWtnE PW#]&E PWE@P1PAËE PSPWRh`DP1[^_]ÍvUSEXt%&SYt [u1]]ÐUEU 9Pu u1]US]t؋P~u]]ÐU WVS} uh؈*EP1P:Ãuh*uh"*SYuh@*SYƃPuwà 9wt}@þ;wt&|@F;w~؍e[^_]ÉUVSEXtj{t*{t$CPCPƃCPs { t*{t$CPC PƃCP|s (ue[^]ÍvUVS=ԯ1u h`=̯1uh{)EEPEPEPEf]&PthjPt h@jPt h}jPkt h^jPKt h>jP+t h@jP thg([,ƅu%1v=1th"(11]t!P@P1P[uߋ]t2t&@P1PVP [tu҃=1t Vdh VW h?oe[^]ÉU1]ÐUS]j\m T1A1AAd1A$1AAt1A 41AS tHvHw6$BA&BABA BABABAR uyuytyuytAy uytAu6=ܱ1u-=Բ1u$81Ph`3S@P]]ÐU WVSu} GPhȌVtX;tCPh͌Vt:{tCPhٌVt{tC PhV}hVlWo7à SÃSVɡ SQ tG PVhVe[^_]UEP@P]UVSuE uhV.tSV[uh Ve[^]ÍvUEP@P]UlWVS1{t,jh DPOjh ` vEPjzECEC (1EEEUKM{utEPURhGƃt&1}utMQEP@G1ttt{ t C UBC}t(t${t CUBCMAE;}t&t"{t CUBCMAE}u E@E}t }}t*jURAt@PjMQH1{u&jh`DPjh`1EPjUCM)+S SCC e[^_]ÐU\WVS}11{t+jh DP>jh O EPjjECEC =Բ1tJ(1tkug1SW{EtWSjEƁ[t3t-=ܱ1t#(1SW0Eƃ[tt滰1{u)jh`DPljh`}4vEPjUCM)+S SCC e[^_]ÐU11 @1~1111111ɍ11ڍ11111]ÍvUVSuhV胇t51ۍ&ݠ1PV[C1ttSЍe[^]ÍvUUBw$H1,%t&Rhh ]UEU @ @ t9u]ÍvU WVS]u tNjC G { 7Vjw3$dUE_UW &EGe[^_]USEX t7P uCP ؋[ Ptuɋ]]ÐU WVS}jhxWTtÃ1fG PSt hz1fG PމP‰0 R\wS$Ўt&EP1fF P蚉Płt ECh*WŚ1Ct&Ȏ[bt&1fF P1CIV]C;PÃ@Pttڃ{ t R z uB ؍e[^_]ÍvUVSu] 1PhV<P.wn$&CPh3{tC$h CPhV&CPV;hV[ Fe[^]ÐU1=<1u=\1u =l1t]ÍvU]UVS]u SK~FP`u1]=D1t SAJt==L1t SKt$=t1t1~ tSL%e[^]UWVS]} u ߍu<[}<tJ=d1tU`U\E0E,9~1ߍuPPh/U SH014181<1Dž;u  E 0t[^_]UWVSEuDu h`YvhP2 R@ƒPPR uh]1=Шu,h781Ph@DP%hS41PS D1P@PB=JPpPh/ jg7"Phl PhssQȦ B;D1u R3QaCPDh1@Dž ]QPXA`~_É_;FPOCXF C SFf@fB ;t,{ C Cfxuf@Cfxuf@b‰ABa‹;uBPa‹ШPR\)ȉBШP[‹ h1PjWt;u$G;h1uhW/ ;h1PjQDhk[^_]ÐUWVS3Džu h@hڑ*WŊ PPjuh1v=Шu.h81Ph@DP't&hS41P>S D1P@P9PPh/U jgZP;hl ~讪Phsh1@]\É^3WLCX C 1fG PGtC{ tfP Cf@"_@_‹ШPY)ȉBШP:Y‹ h1PjVF;h1uhV&- h1PjPh [^_]ÉUS1ۃ=<1u =\1=1tGMb)ƒ=Ԩu 1Ԩ;Ԩ|91Ԩ'=1t 1t|1Йut,};1}=\1t t&j]]ÍvU=\1t ju&h]ÍvUS]=l1SKS9=D1t Sm8=L1t S,9tm=t1tSG:%tJY;1}==\1t+SӡS = Sh1Pt;o S]]ÐUSEDžRRPnF1v@=~t_t&t2xtt#8txu+Xt&1tƄ(RuhS41PhI S]ÉUh`h 81PhDPaDPo hDP=hP h@@h3 hޓ#D1P@PK) hh1P@P') D1P@P84@PfPh/ jrUUE PRb%]UWS]߰ȃPǃSW e[_]ÐUjd1@@ @]ÉUS]h1{tC PNSB]]ÍvUS]{uPCP S]]ÉUExu@P&h@ P]U WVS}u ~tF Phot&VtbhW~t9&PWCxth W[{u΃h WIhWPWL h W{FPW. h W]e[^_]ÍvUEP@PhK @PZ]ÉUU1 t t t t t u]ÐUE<%]ÉU WVS1EPeÃPuӃE1Gdu%d1Ph DP_jEPÃt#VuV?t)t t(u EPSƇ1؍e[^_]ÉUU1zthB PB%]UU1zth?B P%]UVS]1{PCxun@P^t[tWCPuuBCFC@P#CP P S #vhADPj+vދ[{De[^]U WVS}WÃh^h1 uWCh1C k)td(u_.Ɖt&CCÃWuWhC C Vsv1e[^_]UE@]ÉUE]UE@]ÍvUE@]ÐUE@@]ÉUS]SuSP@1]]ÐUS]SYt&EPC PetE}v]]U WVS}W 1)ICjG PhfC 1fC P&l F?#E <t1fC PlU 9u׃@u1E <u1fC PkU fsWu0HCjWR@ P:hfC W2p WfX ;HE@SVgUfB 1Wǃ >t&HÃE PPuU^ރWǃWtEe[^_]ÉU WVS}]11fG Pk9u,E P1fG PjP^fƁe[^_]ÐUS]jh`St jhe!jhhSctjhnffC CjhqS8lt"jhuffC PiJjhwSkt3jhziffC P0 @P]]ÉUS1@?~PEPÃtSS1]ÐUWVS]賛ESÃuhS uh]9EPEUS hVSNƃS_ǃ SaEVU WX~WP uh@WX hjSc t E@1hpSct UBhEP6Uuh]E@EUR9Ee[^_]ÐU WVS]S*ƃuhE P1LLǃVE P\^t&P0PWe- (uډ5بe[^_]ÉUب]ÐUVSut! DËFPCv1e[^]ÐUSEtXP>DS]]ÉUVSU] u1(;tCPRCsSCe[^]ÐU WVS]u u?t9TMNjFCGPPS|M VpM؍e[^_]UMU t tA;B}A;B ۉ1]ÉUVSu] uuL@Et&tuL@+CPFPPPPPe[^]ÉU WVS}u u~uHL@Kt~t fG f;F t$L@'&LCPP؍e[^_]ÉU WVS]} uK@U\PSƃEPGPSà SV|uEUVUS|e[^_]U WVSu] u%u 0. Maximum domain size must be > 0. iso_constantsTv2Ѝ؎ +----------------------------------------------------------+ | SEGMENTATION FAULT!! This is probably caused by a bug | | in MACE. Please send copy of the input file to | | otter@mcs.anl.gov, let us know what version of MACE you | | are using, and send any other info that might be useful. | +----------------------------------------------------------+ %s%cMACE_sig_handler, cannot handle signal %d. WARNING, MACE_CLOCK_STOP: clock %d not running. WARNING, MACE_CLOCK_STOP: clock %d not running. --- Starting search for models of size %d --- in MACE_tp_alloc, request too big.in MACE_tp_alloc, operating system cannot supply any more memory.@@print_modelsprint_models_portableprint_models_ivysubsumedistinct_constantsqg_constraintrecord_assignmentsclause_splitmax_memmax_secondsmax_modelsiso_constants --------------- options --------------- set(clear(%s%s). assign(%s, %d). setclear dependent: %s(%s). dependent: assign(%s, %d). ERROR: flag `%s' not found. WARNING: flag `%s' already set. flag `%s' already clear. ERROR: parameter `%s' not found. ERROR: assign(%s, %d), integer must be in range [%d,%d]. WARNING: assign(%s, %d), already has that value. Called MACE_check_options. ------------- memory usage ------------ Memory dynamically allocated (MACE_tp_alloc): %d. ----- statistics for domain size %d ---- Input: Clauses input %7ld Literal occurrences input %7ld Greatest atom %7ld Unit preprocess: Preprocess unit assignments %7ld Clauses after subsumption %7ld Literal occ. after subsump. %7ld Selectable clauses %7ld Decide: Splits %7ld Unit assignments %7ld Failed paths %7ld Memory: Memory malloced %7ld K Memory MACE_tp_alloced %7d K Time (seconds): Generate ground clauses %10.2f DPLL %10.2f @@ ======================================= Total times for run (seconds): user CPU time %10.2f (%ld hr, %ld min, %ld sec) system CPU time %10.2f wall-clock time %7ld @@Abnormal end.The search is complete.Exit by max_seconds parameter.Exit by max_mem parameter.Exit by max_models parameter.Killed by SIGINT signal.Killed by SIGSEGV signal.Input error.Exit with unknown code. Input error. See the output file. The set is satisfiable (%d model(s) found).No models were found. %s %s  %s %s The job finished %s ********** ABNORMAL END ********** ********** %s answer literals not allowed in MACE inputevaluable literals not allowed in MACE inputequal=%% WARNING: possible error in check_transformed_clause: %% original: %% transformed: unit_enqueue: queue too small( -%d %d ) active_neg=%d, active_pos=%d, subsumer=%d (), active=%d Atom=%d, value=%d, pos_occ=%x, neg_occ=. insert_dp_clause, increase ATOM_INT_MAX and recompile.%dPropositional input must be all integers; if you have first-order input, the domain size must be given (-n). Selectable clauses: HERE it is!!atom_value, atom out of rangeatom_value, bad value Initial assigments: Order of assigments for the following model: : Model #%d: %dend_of_model stth The %d%s model has been found. assign: atom already assignedunassign: atom not assigned After all unit preprocessing, %ld atoms are still unassigned; %ld clauses remain; %ld of those are selectable; %ld K allocated; the cpu time so far for this size is %.2f seconds. @@declare_symbol_sorted, too many symbols%sdeclare_symbol_sorted: sort not found- %s%s%d %s%s (%s%s%sv%d) ,*** Unsatisfiability detected *** add_unit: element out of domainadd_unit: sign must be 1 or -1 '0@Twell_defined, bad arityclosed, bad arityprocess_variables, variable too big.process_variables, badly sorted clauseEXffadd_clauses_for_qg_constraint, symbol f not foundAdding basic QG constraints on last column of f. The bad element is %d. number_variables, element out of range Maximum number of variables is %d. number_variables, too many variablestrans_relational_clause: too many first_order clausestrans_relational_clause: bad DP argtrans_relational_clause: bad DP arg (right)trans_relational_clause: bad eq argBad name=%s trans_relational_clause, bad functorWARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. Removing answer literals from clause %d. MACE_collect_symbols, multiple arityarity too greatuniv<Applying isomorphism constraints to constants: %s ... %d clauses asserted. dp_trans, wrong arity in mace_constraints list.dp_trans, symbol in mace_constraints list not foundpropertyequalityorderquasigroupbijectioncommutativedp_trans, mace_constrationts property not understoodassigndp_trans, mace_constraints command not understooddp_trans, too many variablesBad name=%s, dp_trans, bad functordp_trans, bad integer (RHS) in assignmentTFdp_trans, bad truth value in assignmentdp_trans, bad integer (LHS) in assignmentAdding unit assigning %s%s %dCannot make constant %s distinct, domain is too small. Adding unit assigning %s %d (distinct_constants). order relation must have args of same typeAdding units for order relation %s. equality relation must have args of same typeAdding units for equality relation %s. Instantiating clause: Function %s well-defined and closed. function %s bijection. function %s quasigroup. %d clauses were generated; %d of those survived the first stage of unit preprocessing; there are %d atoms. %s: %d %2d--%3d--- %s : --- - - | --+%5d |FT? %s: %s %2s ======================= Model #%d at %.2f seconds: Dimension %d table for %s not printed end_of_model @@ function(%s, [%d]) function(%s(_), [%d, ]) function(%s(_,_), [ %d, %d, %d ])%d, 01 predicate(%s, [%s]) predicate(%s(_), [%s predicate(%s(_,_), [ %s, %s, %s ]) predicate(%s(_,_,_), [ %s, predicate(%s(_,_,_,_), [ interpretation( %d, [ , Dimension %d table for %s not printed ]). @@ ((%s . 0) . ((nil . %d))) ((%s . 1) . ( ((%d) . %d) )) ((%s . 2) . ( ((%d %d) . %d) ((%s . 3) . ( ((%d %d %d) . %d) nilt ((%s . 0) . ((nil . %s))) ((%d) . %s) ((%d %d) . %s) ((%d %d %d) . %s) ((%s . 4) . ( ((%d %d %d %d) . %s) ;; BEGINNING OF IVY MODEL (0 . ((%d . %d) . ( ( =print_model_ivy, max relation arity is 4 ) . ( print_model_ivy, max function arity is 3 ) ) ) ;; END OF IVY MODEL @@tp_alloc, request too big: %d Search stopped in tp_alloc by max_mem option. %cSearch stopped in tp_alloc by max_mem option. (free_all_mem cleared). (print_lists_at_end cleared). ABEND, malloc returns NULL (out of memory). %cABEND, malloc returns NULL (out of memory). ?@ERROR, context %x, var %d not null. ------------- memory usage ------------ %d mallocs of %d bytes each, %.1f K. type (bytes each) gets frees in use avail bytes sym_ent (%4d) %11lu%11lu%11lu%11lu%9.1f K term (%4d) %11lu%11lu%11lu%11lu%9.1f K rel (%4d) %11lu%11lu%11lu%11lu%9.1f K term_ptr (%4d) %11lu%11lu%11lu%11lu%9.1f K formula_ptr_2 (%4d)%11lu%11lu%11lu%11lu%9.1f K fpa_head (%4d) %11lu%11lu%11lu%11lu%9.1f K fpa_tree (%4d) %11lu%11lu%11lu%11lu%9.1f K context (%4d) %11lu%11lu%11lu%11lu%9.1f K trail (%4d) %11lu%11lu%11lu%11lu%9.1f K imd_tree (%4d) %11lu%11lu%11lu%11lu%9.1f K imd_pos (%4d) %11lu%11lu%11lu%11lu%9.1f K is_tree (%4d) %11lu%11lu%11lu%11lu%9.1f K is_pos (%4d) %11lu%11lu%11lu%11lu%9.1f K fsub_pos (%4d) %11lu%11lu%11lu%11lu%9.1f K literal (%4d) %11lu%11lu%11lu%11lu%9.1f K clause (%4d) %11lu%11lu%11lu%11lu%9.1f K list (%4d) %11lu%11lu%11lu%11lu%9.1f K clash_nd (%4d) %11lu%11lu%11lu%11lu%9.1f K clause_ptr (%4d) %11lu%11lu%11lu%11lu%9.1f K int_ptr (%4d) %11lu%11lu%11lu%11lu%9.1f K ci_ptr (%4d) %11lu%11lu%11lu%11lu%9.1f K link_node (%4d) %11lu%11lu%11lu%11lu%9.1f K ans_lit_node(%4d) %11lu%11lu%11lu%11lu%9.1f K formula_box(%4d) %11lu%11lu%11lu%11lu%9.1f K formula(%4d) %11lu%11lu%11lu%11lu%9.1f K formula_ptr(%4d) %11lu%11lu%11lu%11lu%9.1f K cl_attribute(%4d) %11lu%11lu%11lu%11lu%9.1f K glist (%4d) %11lu%11lu%11lu%11lu%9.1f K ?@P? type (bytes each) gets frees in use avail bytes term (%4d) %11lu%11lu%11lu%11lu%9.1f K rel (%4d) %11lu%11lu%11lu%11lu%9.1f K term_ptr (%4d) %11lu%11lu%11lu%11lu%9.1f K is_tree (%4d) %11lu%11lu%11lu%11lu%9.1f K ?@P??@context gets=%lu frees=%lu inuse=%lu trail gets=%lu frees=%lu inuse=%lu fpa_tree gets=%lu frees=%lu inuse=%lu term gets=%lu frees=%lu inuse=%lu link_node gets=%lu frees=%lu inuse=%lu $Quantified$Hyps$Concs%c WARNING, multiple arity: %s/%d, %s/%d. $ANS$Ans$ans$NUCLEUS$BOTH$LINK$SATELLITE$FSUB$BSUB$EQUIV%c WARNING, unrecognized $ symbol: %s. %d %s/%d, lex_val=%d mark_as_skolem, no symbol for %d.is_skolem, no symbol for %d.end_of_list. end_of_list. (nil)a%s(,) ( $nil$cons[][]|%s%s%s %c( %d%c%d$IGNORE$CHR$dots$$SUM$PROD$DIFF$DIV$MOD$EQ$NE$LT$LE$GT$GE$AND$OR$NOT$TRUE$T$F$ID$LNE$LLT$LLE$LGT$LGE$BIT_AND$BIT_OR$BIT_XOR$BIT_NOT$SHIFT_LEFT$SHIFT_RIGHT$INT_TO_BITS$BITS_TO_INT$IF$NEXT_CL_NUM$ATOMIC$INT$BITS$VAR$GROUND$OUT$FSUM$FPROD$FDIFF$FDIV$FEQ$FNE$FLT$FLE$FGT$FGE$COMMON_EXPRESSION$RENAME$UNIQUE_NUM$OCCURS$VOCCURS$VFREE#-><->&=!=<><=>====/=@<@>@<=@>=+-*/modop command must have arity 3. ERROR: first argument of op command must be 1..999. xfxxfyyfxfxxffyyf ERROR: second argument of op command must be xfx, xfy, yfx, xf, yf, fx, or fy. ERROR: list in op command must be all names. ERROR: third argument of op command must be a name or a list. ERROR, name too big, max is %d; ERROR, quoted name has no end; ***HERE*** adjusted term: ERROR, comma or ) expected: ERROR, functor has no arguments: ERROR, ']' expected in list: ERROR, ], |, or comma expected in list: ERROR, name expected: ERROR, ')' expected: ERROR, '}' expected: ERROR, unrecognized error in term: ERROR, term too big: allexists ERROR in quantifier prefix starting here: ERROR, the %d terms/operators in the following sequence are OK, but they could not be combined into a single term with special operators. The context of the bad sequence is: ERROR, characters after last period: %s read_buf, quoted string has no end:%sread_buf, input string has more than %d characters, increase MAX_BUFread_buf, input string (which contains quote mark) has more than %d characters, increase MAX_BUF ERROR, text after term: compare_for_auto_lex_order, strings the same: %s.integrate_term, already integrated.WARNING, disintegrate_term, contained term. WARNING, disintegrate_term, contained term: disintegrate_term, cannot find term.WARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. disintegrate_term, bad containment.WARNING, zap_term, contained term. WARNING, zap_term, contained term: bucket %d: bucket %d: containing terms: WARNING, bd_kludge_delete, term not found. WARNING, bd_kludge_delete, term not found: build_tree_local, var and not more general. fpa index %d bucket %d and or [*%s%d,] new_sym_num: too many symbols requested.Substitution in context %x, multiplier %d v%d -> context %x status %d Trail: <%d,%x>. $T%c . ERROR, dollar_contract, bad op_code: %d. integer divide by 0.$Ffloat divide by 0.ERROR, dollar_contract, bad op_type: %d.  0777777ЖЖ@GGG PpppWwwG````ggggggGLj(5s$pljԊЍFRЎJJJJJJJJJJJJJJJJJJJБ0F demod term: --> result: demod<%d> WARNING, zap_term_special called with contained term: demod_cl, demodulation introduced too many variables.WARNING, demod_limit (given clause %ld): %cWARNING, demod_limit stopped the demodulation of a clause. This warning will not be repeated. WARNING, demod_limit. WARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. >> back demodulating %d with %d. lex dependent demodulator: Flipping following input demodulator due to lrpo ordering: LRPO dependent demodulator: ERROR, too many variables, max is %d: $weightERROR, weight template: WARNING, instance of x=x cannot be inserted into demod_imd index: imd_delete, can't find alpha.imd_delete, can't find atom.contract_imd, increase MAX_AL_TERM_DEPTH.$T%x start of index-match-demodulate treev%d %s demod= is_delete, can't find end.is_delete, can't find term.is_retrieve, increase MAX_FS_TERM_DEPTH.don't know how to print is tree %x ***** Turn Debugging Mode ON ***** ***** Turn Debugging Mode OFF ***** WARNING, cl_integrate gets clause with ID: cl_del_int, bad equality clause.cl_del_int, bad clause.checking clause, address:%x literal, address:%x sign:%d type:%d; atom: cont_cl:%x, atom container:%x -|$F# ERROR, clause contains variable literal: . end_of_list ERROR, arrow not found in sequent: ERROR, text after term: ERROR, input clause contains too many variables: ERROR, input clause contains Skolem symbol: ERROR, input literal contains Skolem symbol: , -> %d (heat=%d) [.%d,binaryhyperneg_hyperurpara_intopara_fromfactorfactor_simpnew_demodback_demoddemodunit_dellinked_urevalgL-idgLcopyflipclausifyback_unit_delsplitsplit_negpropositional%d] () | . 0 @p`P0 (list nil) end_of_list. forward_subsume, MAX_LITS too small.back_subsume, MAX_LITS too small. NOTE: back_subsume called with empty clause. cl_insert_tab, clause already there.cl_delete_tab, clause not found.ordered_sub_clause: not total.equalEQEqeq=$ANS$Ans$ans->WARNING, clause %d not found, proof is incomplete. find_random_cl, sos bad.r/dev/ttywinteraction failure: cannot find tty. Enter clause number of next given clause, or 0 to terminate interactive_given mode, or -1 to print list sos. ? %s%c Not an integer: "%s", try again. Turning off interactive_given mode. %c Clause %d not found. %c Clause %d not in sos. Ok, clause %d will be given. WARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. unit_del, too many variables introduced.binary_reshyper_resneg_hyper_resur_respara_frompara_intopara_from_leftpara_from_rightpara_from_varspara_into_varspara_into_leftpara_into_rightpara_ones_rulepara_alldemod_infdemod_linearvery_verbosefor_sub_fpafor_subback_subfree_all_memno_faplno_fanlfactorprint_keptdemod_historyunit_deletionsort_literalsprint_givenprint_back_subcheck_aritysos_queueatom_wt_max_argsterm_wt_max_argsprint_lists_at_endorder_eqdynamic_demodback_demodprint_new_demodprint_back_demoddemod_out_inprocess_inputsimplify_folknuth_bendixprint_proofssymbol_elimlex_order_varsdynamic_demod_alldelete_identical_nested_skolempara_from_units_onlypara_into_units_onlyreally_delete_clauseslrpoprolog_style_variablessos_stackdynamic_demod_lex_depprog_synthesisancestor_subsumeinput_sos_firstlinked_ur_reslinked_ur_tracepara_skip_skolemindex_for_back_demodlinked_sub_unit_usablelinked_sub_unit_soslinked_unit_dellinked_target_alllinked_hyper_rescontrol_memoryorder_historydisplay_termsgeometric_rulegeometric_rewrite_beforegeometric_rewrite_afterpretty_printinput_sequentoutput_sequentecho_included_filesinteractive_givendetailed_historyorder_hyperpropositionalautoauto1auto2eq_units_both_waysbird_printbuild_proof_objectbuild_proof_object_2log_for_x_showformula_historykeep_hint_subsumerskeep_hint_equivalentsproof_weighthyper_symmetry_kludgegl_demoddp_int_domaindiscard_non_orientable_eqdiscard_xx_resolvabletptp_eqbellback_unit_deletionsplit_clausesplit_possplit_negsplit_nonhornsplit_min_maxsplit_atomsplit_popularsplit_when_givenunit_ressigint_interactur_lastliterals_weigh_onepick_diff_simpick_random_lightestpick_last_lightestpick_mid_lightestsos_argfor_sub_equivalents_onlymulti_justfpa_literalsfpa_termsdemod_limitmax_weightmax_givenmax_secondsneg_weightmax_keptmax_genmax_memmax_literalsreportmax_proofsstats_levelmax_ur_depthmax_ur_deduction_sizemax_distinct_varspick_given_ratiochange_limit_afternew_max_weightgeo_given_ratiopretty_print_indentmin_bit_widthinterrupt_givenheatdynamic_heat_weightmax_answersdebug_firstdebug_lastfsub_hint_add_wtbsub_hint_add_wtequiv_hint_add_wtfsub_hint_wtbsub_hint_wtequiv_hint_wtverbose_demod_skipdynamic_demod_depthdynamic_demod_rhsage_factordistinct_vars_factornew_symbol_lex_positionwarn_memwarn_mem_max_weightsplit_secondssplit_givensplit_depthpick_diffpick_diff_range --------------- options --------------- set(clear(%s%s). assign(%s, %d). setclear dependent: %s(%s). !"""""""""""""""" !""!""""""""""""""""  " & """""""""""""""0!""""s""""""""""""""""""""""""""""""P!!"""""""""""" dependent: assign(%s, %d). ERROR: must have one simple argument. flag name not found. lex_rpo ERROR, flag `lex_rpo' has been changed to `lrpo'. print_level ERROR, flag `print_level' no longer exists. new_functions ERROR, flag `new_functions' no longer exists. ERROR, flag `bird_print' no longer exists. WARNING: flag already set. flag already clear. must have two simple arguments. parameter name not found. reduce_weight_limit ERROR, parameter `reduce_weight_limit' has been changed to the pair `change_limit_after' and `new_max_weight'. second argument must be integer. integer must be in range [%d,%d]. already has that value. WARNING: no inference rules are set. WARNING: PARA_FROM is set, but PARA_FROM_LEFT and PARA_FROM_RIGHT are both clear. WARNING: PARA_INTO is set, but PARA_FROM_LEFT and PARA_FROM_RIGHT are both clear. WARNING: PARA_FROM, PARA_INTO rules are clear, but PARA_ONES_RULE is set. WARNING: NO_FAPL is set, but HYPER_RES is clear. WARNING: NO_FAPL and FOR_SUB_FPA are both set. WARNING: NO_FAPL and BACK_SUB are both set. WARNING: KNUTH_BENDIX is set and LRPO is clear. WARNING: demod_limit=0; set it to -1 for no limit. WARNING: max_literals=0; set it to -1 for no limit. WARNING: max_proofs=0; set it to -1 for no limit. WARNING: INTERACTIVE_GIVEN has highest precedence for picking given clause. WARNING: SOS_STACK has priority over PICK_GIVEN_RATIO. WARNING: SOS_QUEUE has priority over PICK_GIVEN_RATIO. WARNING, SOS_QUEUE has priority over SOS_STACK. WARNING, INPUT_SOS_FIRST ignored, because SOS_STACK is set. WARNING, detailed paramod history is ignored when para_all is set. WARNING, with splitting, max_seconds is checked against the wall clock. WARNING, keep_hint_subsumers is ignored when keep_hint_equivalents is set. ancestor_subsume and multi_just are incompatibleWARNING, CLOCK_STOP: clock %d already off. WARNING, CLOCK_START: clock %d already on. $F$Tur_res: too many clash nodes (nuc).ur_res: too many clash nodes (sat).build_term, bad arity.ifapply_substitute, term not COMPLEX.apply_substitute: term too deep.WARNING, CLOCK_STOP: clock %d already off. WARNING, CLOCK_START: clock %d already on. TRUEFALSE&|-><->-allexists$Quantifiedeeeeee f ERROR, input formula contains Skolem symbol: . end_of_list. end_of_list. vmmmm@mlamvmonn@nm`nERROR, skolem gets negated non-atom: ERROR, skolem gets: $c$fk WARNING, the following formula has constant '%s', whose name may be misinterpreted by the user as a variable. disj_to_clause, too many variables in clause, max is %d.rms_push_free has extra quantifier.introduce_var, bad formula.renumber_unique, too many vars.renumber_unique, bad formula.WARNING, CLOCK_STOP: clock %d already off. WARNING, CLOCK_START: clock %d already on. >>>> Starting back demodulation with %d. %d back subsumes %d. >>>> Starting back unit deletion with %d. Memory warning: resetting max_weight to %d. after demodulation: keeping clause because it matches a hint. deleted because weight=%d. Subsumed by %d. Following clause subsumed by %d during input processing: ** KEPT (pick-wt=%d): ---> New Demodulator: (lex-dependent) %cSearch stopped by max_proofs option. Search stopped by max_proofs option. Process %d finished %sw/dev/null%.12f %c********** ABNORMAL END ********** ********** %s ********** ABNORMAL END ********** includeERROR, bad argument to include: rERROR, cannot open file %s. ------- start included file %s------- ------- end included file %s------- setclearassignlistERROR, bad argument to list: usableaxiomsNOTICE: Please change 'axioms' to 'usable'. sosdemodulatorspassivehothintsmace_constraintsName of axioms list is now 'usable'. ERROR, unknown list: formula_listWARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. -------> usable clausifies to: list(usable). -------> sos clausifies to: list(sos). -------> passive clausifies to: list(passive). -------> hints clausifies to: list(passive). -------> hot list clausifies to: list(hot). ERROR, unknown formula_list: weight_listERROR, bad argument to Weight_list: purge_gen----> ERROR, already have purge weight list. pick_given----> ERROR, already have pick weight list. pick_and_purge----> ERROR, already have pick weight list or purge weight list. terms----> ERROR, already have term weight list. ERROR, unknown Weight_list: lexERROR, argument of lex term is not a list: lrpo_multiset_statusERROR, argument of lrpo_status term is not a list: lrpo_lr_status ERROR, the command lrpo_lr_status no longer exists. Symbols have lr status by default. The command lrpo_multiset_status gives symbols multiset status. skolemERROR, argument of skolem term is not a list: overbeek_termsERROR, argument of overbeek_terms is not a list: split_atomsERROR, argument of split_atoms is not a list: ERROR, split_atoms must be gound: special_unaryERROR, argument of special_unary term is not a list: opfloat_formatERROR, float_format term must have one argument. make_evaluableERROR, make_evaluable term must have two arguments: ERROR, second arg is not evaluable: ERROR, args have different arities: initial_proof_objectoverbeek_worldoverbeek_world: term errorsoverbeek_world: too many variablesend_of_list. ERROR, command not found: ERROR, sos_arg set, but no argument found. ERROR, characters after term: ERROR, clause contains too many variables: . ERROR, input clause contains Skolem symbol: list(sos). ERROR, bad demodulator: ------------> process usable: ------------> process sos: ======= end of input processing ======= Forward subsumption counts, subsumer:number_subsumed. %2d:%-4d %2d:%-4d All others: %d. ------- statistics (process %d) ------- -------------- statistics ------------- clauses given %7ld clauses generated %7ld (hot clauses generated)%7ld binary_res generated %7ld hyper_res generated %7ld neg_hyper_res generated%7ld para_from generated %7ld para_into generated %7ld factors generated %7ld gL rule generated %7ld demod_inf generated %7ld ur_res generated %7ld linked_ur_res generated%7ld back unit del. gen. %7ld demod & eval rewrites %7ld clauses wt,lit,sk delete %7ld tautologies deleted %7ld clauses forward subsumed %7ld cl not subsumed due to ancestor_subsume %7ld (subsumed by sos) %7ld unit deletions %7ld factor simplifications %7ld clauses kept %7ld (hot clauses kept) %7ld new demodulators %7ld empty clauses %7ld clauses back demodulated %7ld clauses back subsumed %7ld usable size %7ld sos size %7ld demodulators size %7ld passive size %7ld hot size %7ld Kbytes malloced %7ld linked UR depth hits %7ld linked UR deduct hits %7ld cl deletes, too many vars %7ld fpa argument overloads %7ld fpa argument underloads %7ld demodulations stopped by limit %7ld (hot clauses kept)%7ld ----------- times (seconds) ----------- user CPU time %10.2f (%ld hr, %ld min, %ld sec) system CPU time %10.2f wall-clock time %7ld (%ld hr, %ld min, %ld sec) input time %10.2f clausify time %10.2f process input %10.2f pick given time %10.2f binary_res time %10.2f hyper_res time %10.2f neg_hyper_res time%9.2f ur_res time %10.2f para_into time %10.2f para_from time %10.2f linked_ur time %10.2f back unit del time%9.2f pre_process time %10.2f renumber time %10.2f demod time %10.2f order equalities%9.2f unit deleletion%10.2f factor simplify%10.2f weigh cl time %10.2f hints keep time%10.2f sort lits time %10.2f forward subsume%10.2f delete cl time %10.2f keep cl time %10.2f hints time %10.2f print_cl time %10.2f conflict time %10.2f new demod time %10.2f post_process time%10.2f back demod time%10.2f back subsume %10.2f factor time %10.2f hot list time %10.2f unindex time %10.2f @@neg_hyper time %10.2f UR_res time %10.2f for_sub time %10.2f back_sub time %10.2f conflict time %10.2f demod time %10.2f @@ ============ end of search ============ list(usable). list(demodulators). That finishes the proof of the theorem. Process %d finished %s ----- report at %9.2f seconds ----- %s%cA report (%.2f seconds) has been sent to the output file. @@%c Resetting weight limit to %d. Resetting weight limit to %d. sos_size=%d %c--- refuted case %c-- HEY %s, WE HAVE A PROOF!! -- %c-------- PROOF -------- Length of proof is %d. Level of proof is %d. Case Weight of proof is %d. ---------------- PROOF ---------------- %d, ------------ end of proof ------------- -----> EMPTY CLAUSE at %6.2f sec ----> ----> UNIT CONFLICT at %6.2f sec ----> @@$nil$consPassive list not accepted in auto1 mode.Demodulators list not accepted in auto1 mode.Weight lists not accepted in auto1 mode.WARNING: Sos list not accepted in auto1 mode: sos clauses are being moved to usable list. SCAN INPUT: prop=%d, horn=%d, equality=%d, symmetry=%d, max_lits=%d. The clause set is propositional; the strategy will be ordered hyperresolution with the propositional optimizations, with satellites in sos and nuclei in usable. All clauses are units, and equality is present; the strategy will be Knuth-Bendix with positive clauses in sos. There is no negative clause, so all clause lists will be printed at the end of the search. This is a non-Horn set without equality. The strategy will be ordered hyper_res, unit deletion, and factoring, with satellites in sos and with nuclei in usable. This is a Horn set without equality. The strategy will be hyperresolution, with satellites in sos and nuclei in usable. This ia a non-Horn set with equality. The strategy will be Knuth-Bendix, ordered hyper_res, factoring, and unit deletion, with positive clauses in sos and nonpositive clauses in usable. There is a clause for symmetry of equality, so it is assumed that equality is fully axiomatized; therefore, paramodulation is disabled. This is a Horn set with equality. The strategy will be Knuth-Bendix and hyper_res, with positive clauses in sos and nonpositive clauses in usable. There is a clause for symmetry of equality is, so it is Passive list not accepted in auto2 mode.Demodulators list not accepted in auto2 mode.Weight lists not accepted in auto2 mode.Sos has positive nonground clause; therefore it is not changed. Every positive clause in sos is ground (or sos is empty); therefore we move all positive usable clauses to sos. Properties of input clauses: prop=%d, horn=%d, equality=%d, symmetry=%d, max_lits=%d. All clauses are propositional; therefore we set the propositional flag and use ordered hyperresolution. Setting pick_given_ratio to 2, because all clauses are units. Setting hyper_res, because there are nonunits. Setting ur_res, because this is a nonunit set containing either equality literals or non-Horn clauses. Clearing order_hyper, because all clauses are Horn. Setting factor and unit_deletion, because there are non-Horn clauses. Equality is present, so we set the knuth_bendix flag. As an incomplete heuristic, we paramodulate with units only. There is a clause for symmetry of equality, so it is given %ld generated %ld kept %ld usable %ld sos %ld demods %ld passive %ld hot %ld kbytes %ld wall-time %.2f user-time %.2f sys-time %.2f @@%c WARNING: at least one symbol, %s, is not lexically comparable. If you use a lex command, you should include all symbols that will be compared. This warning will not be given again. constructing nodes for remaining lits: ERROR: constructing children told target here with already target set couldn't get link_node ERROR ... non UNIT clause looks UNIT couldn't get context - from clause couldn't get context node ERROR: constructing children told target here and target not found here FPA indexing not supported for linked res subsumable unitUD entering linked_unit_del, passed term follows UD FPA indexing not supported for linked res linked_unit_delUD exiting linked_unit_del, subsuming clause c follows UD exiting linked_unit_del, not subsumed attempted to back up from a node with a child WARNING, CLOCK_START: clock %d already on. ********entering Linked UR *********** ERROR: unable to initialize linked UR inference tree ********tree before BIG loop open lit %d nres %d attempting to find clash for term in clause first time = %c res_count = %d clashed against term: in clause ERROR: moved forward to %x first = FALSE did not attempt to resolve ... appears in ancestry ERROR: found non_target back_up < 0 ERROR: left_sibling chain to NULL ***RESOLVED AWAY TREE curr_node at %x target at %x open lit %d nres %d resolvent = [] WARNING, CLOCK_STOP: clock %d already off. -- FAIL -- ***tree end BIG loop curr_node %x tar %x open lit %d ********tree leaving linked UR open lit %d nres %d ** HIT maximum linked UR depth %d times ** HIT maximum linked UR deduction size %d times unable to renumber vas in fist_unifiable() ERROR: forward failed, has first_child that's NOT tar ERROR: forward failed with target child (has sibs) ERROR: couldn't get context for dummy node ERROR: couldn't get link node for dummy ERROR: couldn't get context for given node couldn't get given link_node checking is_in_ancestry on lit at %x >>NOT_SPECIFIED: NUCLEUS: LINK: BOTH: SATELLITE: ** UNKNOWN **: ** << 66666 -----start node at %x------ parent = %x prev_sibling = %x next_sibling = %x first_child = %x current_clause >> (NIL) << first = %c unit_deleted = %c near_poss_nuc = %d farthest_sat = %d target_dist = %d back_up = %d goal to resolve ... from literal from clause subst = %x subst->multiplier = %d tr = %x unif_position = %x -----end node at %x------ max ur depth hit # %d max ur ded size hit # %d $NUCLEUS$LINK$BOTH$SATELLITEERROR, argument of link tag is not a list: ERROR, list member has bad literal number: %s brought NUC is TRASHED .. already have tar NUC failed depth check TRASHED NUC in on only tar TRASHED linked hyper not implemented yet. enter foo with args: %ld %f %s. enter user_test_long: %ld %f %d %s enter user_test_double: %ld %f %d %s @enter user_test_bool: %ld %f %d %s enter user_test_string: %ld %f %d %s "Returned string"enter user_test_term: %ld %f %d %s new_term$FOO$TEST_LONG$TEST_DOUBLE$TEST_BOOL$TEST_STRING$TEST_TERMget_args, bad arity.$T$Fget_args, bad arg type.PFFF0GWGevaluate_user_function, bad code.HI@IIIJgeo_rewrite_recurse, too many variables.geo_recurse, MAX_DEPTH. HOT NEW CLAUSE!: WARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. SEGMENTATION FAULT!! This is probably caused by a bug in Otter. Please send copy of the input file to otter@mcs.anl.gov, let us know what version of Otter you are using, and send any other info that might be useful. %s%s%c The job finished %s Otter killed by SIGUSR1 signal. sig_handler, cannot handle signal %d. ??? %cSearch stopped by SIGINT. Search stopped by SIGINT. r/dev/ttywCommands are help, kill, continue, set(_), clear(_), assign(_,_), usable, sos, demodulators, passive, stats, fork, and options. All commands end with a period. interaction failure: cannot find tty. --- Begin interaction (level %d) --- Type `help.' for the list of commands. > Received end-of-file character. Malformed term. helpfork%c Fork failed. Fork failed. Level %d process started and running (waiting for commands); level %d process will resume when %d finishes. Level %d process started and running. --- Continue interaction at level %d --- statskill killed level %d search during interaction. killed level %d search during interaction. ok. continue ok.sosusabledemodulatorspassiveoptionssymbols command not understood. set. clearassign Command not understood. ok. > --- End interaction, continue search at level %d --- --- End interaction, continue search at level %d --- Xlog_%dinsert_into_gen_tab, key already there%d: ( %d%s) undefinedinputeq-axiominstantiatepropositionalresolveparamodflipunknownaaaaaaaa%sv%d(%s(not false(or $Ttrue$F(%d ) %d ( . v%d)(v%d . )) %d %d) print_proof_object_node, bad rule (%d) NIL) ee'eAfeeXf( new_literal_index, bad mapmatch_clauses, different numbers of literalsmatch_clauses, literals don't matchtranslate_unit_deletion, unit deletion not foundtranslate_factor_simp, factor not foundtranslate_factor_simp, literals don't unifytranslate_factor_simp: merge failedtranslate_demod_nonunit, wrong number of rewritestranslate_demod_unit: cannot rewritefinish_translating, bad rulefinish_translating, merge not found. finish_translating, literal flippedfinish_translating, subsumption failuretranslate_resolution, can't find first listtranslate_resolution, can't find second listtranslate_resolution: signs wrong. translate_resolution: unify fails on the preceding. translate_hyper: unify fails on the preceding. translate_ur: sat_map for box=%d, orig= %d translate_ur: unify fails on the preceding. translate_factor, literals don't unifytranslate_paramod, can't find first listtranslate_paramod, can't find second listtranslate_paramod: unify fails on the preceding. translate_step, clauses don't matchtranslate_step: rule %d not handled. b0vbtrans_2_pos: NULL postrans_2_pos: proof node not foundtrans_2_pos: clause not foundtrans_2_pos: empty clausebuild_proof_object: flag order_history must be setbuild_proof_object: flag detailed_history must be setbuild_proof_object: proof objects cannot contain answer literalsbuild_proof_object: neg_hyper_res not allowedbuild_proof_object: gL rule not allowedbuild_proof_object: gL-id not allowedbuild_proof_object: linked_ur_res not allowedbuild_proof_object: eval rule not allowedbuild_proof_object: clausify rule not allowedbuild_proof_object, at most one proof object can be built when an initial proof object is given ;; BEGINNING OF PROOF OBJECT ;; END OF PROOF OBJECT %cWARNING, hint will not be used, because no weights have been set for it: %d [ fsub_wt=%d bsub_wt=%d equiv_wt=%d] . (hints list nil) end_of_list. WARNING, CLOCK_START: clock %d already on. WARNING, CLOCK_STOP: clock %d already off. bsub_hint_wtfsub_hint_wtequiv_hint_wtbsub_hint_add_wtfsub_hint_add_wtequiv_hint_add_wtlabel%d attribute_type: unknown attribute nameğPPWap#attributes must have arity 1: attribute value should be integer: 5q.>R`С # %s(%dtruefalse%s%f)ŢAtom: sign=%d, equality=%d, atom_wt=%d, cl_id=%d, cl_wt=%d, cl_type=%d, variables=%d, pos=%d, neg=%d, pos_binary=%d, neg_binary=%d [.%d%s]%d.%d]Refuted case . The Assumption for case was not used; : s:therefore we skip case%s Process %d finished %s I tried to split, but I could not find a suitable clause. Splitting on clause Case splitting (fork) failed. Returning to search. That finishes the proof of the theorem. %c That finishes the proof of the theorem. Case (process %d): Assumption: case failure I tried to split, but I could not find a suitable atom. Splitting on atom always_split: returning because no splitting is possible at this time. Possible model detected on branch %cPossible model detected on branch Here are the clauses in Usable and SoS. It seems that no more inferences or splitting can be done. If the search strategy is complete, these clauses should lead to a model of the input. list(usable). list(sos). nil%s( ) . fill_word, word too big: |%s| .dot_trans, bad dot notation TRUE$TFALSE$FNOT-OR|parse_proof_object: parse_listp returns NULLparse_proof_object: parse_listp nonlistparse_proof_object: step length < 3parse_proof_object: bad justification (1)INPUTEQ-AXIOMparse_proof_object: bad justification (2)parse_proof_object: NULL clauseerror parsing initial proof object cldiff, bad PICK_DIFF<,%d%s> #overbeek_insert, bad termoverbeek_insert, bad weight in termThere is no Overbeek World to print! start of Overbeek_world %d: end of Overbeek_world, terms=%d, overflow=%d, max_overflow=%d. There is no Overbeek World to check! check_overbeek_world, wrong weight: %d %d check_overbeek_world, term not found: MULTIJUST %d %d -1 -2 multi_recurse: clause not found-------------------------------------------------- >N^n~Ήމ.>N^n~Ίފ.>N^n~  (\|  8(odoo-dԋdԋ1<@o2~@e;ey%9v=9p:$B?9  %!="S#j%&12345 60 8I 9c ; = > ? @ A B C0 DI E` Fy G H I N Q R9 SQ Tj V Y o r u {5 |R o  8 R aK  +"j3};B E&RY]ksmx9 #$%& "dԋinit.c/home/flepied/RPM/BUILD/glibc-2.1.3/csu/gcc2_compiled.int:t(0,1)=r(0,1);0020000000000;0017777777777;char:t(0,2)=r(0,2);0;127;long int:t(0,3)=r(0,1);0020000000000;0017777777777;unsigned int:t(0,4)=r(0,1);0000000000000;0037777777777;long unsigned int:t(0,5)=r(0,1);0000000000000;0037777777777;long long int:t(0,6)=r(0,1);01000000000000000000000;0777777777777777777777;long long unsigned int:t(0,7)=r(0,1);0000000000000;01777777777777777777777;short int:t(0,8)=r(0,8);-32768;32767;short unsigned int:t(0,9)=r(0,9);0;65535;signed char:t(0,10)=r(0,10);-128;127;unsigned char:t(0,11)=r(0,11);0;255;float:t(0,12)=r(0,1);4;0;double:t(0,13)=r(0,1);8;0;long double:t(0,14)=r(0,1);12;0;complex int:t(0,15)=s8real:(0,1),0,32;imag:(0,1),32,32;;complex float:t(0,16)=r(0,16);4;0;complex double:t(0,17)=r(0,17);8;0;complex long double:t(0,18)=r(0,18);12;0;void:t(0,19)=(0,19)../include/libc-symbols.h/home/flepied/RPM/BUILD/glibc-2.1.3/build-i386-linux/config.h../include/libintl.h../intl/libintl.h../include/features.h../include/sys/cdefs.h../misc/sys/cdefs.h/usr/lib/gcc-lib/i586-mandrake-linux/2.95.3/include/stddef.h../include/locale.h../locale/locale.hlconv:T(10,1)=s48decimal_point:(10,2)=*(0,2),0,32;thousands_sep:(10,2),32,32;grouping:(10,2),64,32;int_curr_symbol:(10,2),96,32;currency_symbol:(10,2),128,32;mon_decimal_point:(10,2),160,32;mon_thousands_sep:(10,2),192,32;mon_grouping:(10,2),224,32;positive_sign:(10,2),256,32;negative_sign:(10,2),288,32;int_frac_digits:(0,2),320,8;frac_digits:(0,2),328,8;p_cs_precedes:(0,2),336,8;p_sep_by_space:(0,2),344,8;n_cs_precedes:(0,2),352,8;n_sep_by_space:(0,2),360,8;p_sign_posn:(0,2),368,8;n_sign_posn:(0,2),376,8;;../include/xlocale.h../locale/xlocale.h__locale_struct:T(13,1)=s36__locales:(13,2)=ar(0,1);0;5;(13,3)=*(13,4)=xslocale_data:,0,192;__ctype_b:(13,5)=*(0,9),192,32;__ctype_tolower:(13,6)=*(0,1),224,32;__ctype_toupper:(13,6),256,32;;__locale_t:t(13,7)=(13,8)=*(13,1)../sysdeps/unix/sysv/linux/_G_config.h../sysdeps/unix/sysv/linux/bits/types.hsize_t:t(16,1)=(0,4)__u_char:t(15,1)=(0,11)__u_short:t(15,2)=(0,9)__u_int:t(15,3)=(0,4)__u_long:t(15,4)=(0,5)__u_quad_t:t(15,5)=(0,7)__quad_t:t(15,6)=(0,6)__int8_t:t(15,7)=(0,10)__uint8_t:t(15,8)=(0,11)__int16_t:t(15,9)=(0,8)__uint16_t:t(15,10)=(0,9)__int32_t:t(15,11)=(0,1)__uint32_t:t(15,12)=(0,4)__int64_t:t(15,13)=(0,6)__uint64_t:t(15,14)=(0,7)__qaddr_t:t(15,15)=(15,16)=*(15,6)__dev_t:t(15,17)=(15,5)__uid_t:t(15,18)=(15,3)__gid_t:t(15,19)=(15,3)__ino_t:t(15,20)=(15,4)__mode_t:t(15,21)=(15,3)__nlink_t:t(15,22)=(15,3)__off_t:t(15,23)=(0,3)__loff_t:t(15,24)=(15,6)__pid_t:t(15,25)=(0,1)__ssize_t:t(15,26)=(0,1)__rlim_t:t(15,27)=(0,3)__rlim64_t:t(15,28)=(15,6)__id_t:t(15,29)=(15,3)__fsid_t:t(15,30)=(15,31)=s8__val:(15,32)=ar(0,1);0;1;(0,1),0,64;;__daddr_t:t(15,33)=(0,1)__caddr_t:t(15,34)=(10,2)__time_t:t(15,35)=(0,3)__swblk_t:t(15,36)=(0,3)__clock_t:t(15,37)=(0,3)__fd_mask:t(15,38)=(0,5)__fd_set:t(15,39)=(15,40)=s128fds_bits:(15,41)=ar(0,1);0;31;(15,38),0,1024;;__key_t:t(15,42)=(0,1)__ipc_pid_t:t(15,43)=(0,9)__blkcnt_t:t(15,44)=(0,3)__blkcnt64_t:t(15,45)=(15,6)__fsblkcnt_t:t(15,46)=(15,4)__fsblkcnt64_t:t(15,47)=(15,5)__fsfilcnt_t:t(15,48)=(15,4)__fsfilcnt64_t:t(15,49)=(15,5)__ino64_t:t(15,50)=(15,4)__off64_t:t(15,51)=(15,24)__t_scalar_t:t(15,52)=(0,3)__t_uscalar_t:t(15,53)=(0,5)__intptr_t:t(15,54)=(0,1)../linuxthreads/sysdeps/pthread/bits/pthreadtypes.h../sysdeps/unix/sysv/linux/bits/sched.h__sched_param:T(18,1)=s4sched_priority:(0,1),0,32;;_pthread_fastlock:T(17,1)=s8__status:(0,3),0,32;__spinlock:(0,1),32,32;;_pthread_descr:t(17,2)=(17,3)=*(17,4)=xs_pthread_descr_struct:pthread_attr_t:t(17,5)=(17,6)=s36__detachstate:(0,1),0,32;__schedpolicy:(0,1),32,32;__schedparam:(18,1),64,32;__inheritsched:(0,1),96,32;__scope:(0,1),128,32;__guardsize:(16,1),160,32;__stackaddr_set:(0,1),192,32;__stackaddr:(17,7)=*(0,19),224,32;__stacksize:(16,1),256,32;;pthread_cond_t:t(17,8)=(17,9)=s12__c_lock:(17,1),0,64;__c_waiting:(17,2),64,32;;pthread_condattr_t:t(17,10)=(17,11)=s4__dummy:(0,1),0,32;;pthread_key_t:t(17,12)=(0,4)pthread_mutex_t:t(17,13)=(17,14)=s24__m_reserved:(0,1),0,32;__m_count:(0,1),32,32;__m_owner:(17,2),64,32;__m_kind:(0,1),96,32;__m_lock:(17,1),128,64;;pthread_mutexattr_t:t(17,15)=(17,16)=s4__mutexkind:(0,1),0,32;;pthread_once_t:t(17,17)=(0,1)_pthread_rwlock_t:T(17,18)=s32__rw_lock:(17,1),0,64;__rw_readers:(0,1),64,32;__rw_writer:(17,2),96,32;__rw_read_waiting:(17,2),128,32;__rw_write_waiting:(17,2),160,32;__rw_kind:(0,1),192,32;__rw_pshared:(0,1),224,32;;pthread_rwlock_t:t(17,19)=(17,18)pthread_rwlockattr_t:t(17,20)=(17,21)=s8__lockkind:(0,1),0,32;__pshared:(0,1),32,32;;pthread_t:t(17,22)=(0,5)wchar_t:t(19,1)=(0,3)wint_t:t(19,2)=(0,4)_G_int16_t:t(14,1)=(0,8)_G_int32_t:t(14,2)=(0,1)_G_uint16_t:t(14,3)=(0,9)_G_uint32_t:t(14,4)=(0,4)_IO_stdin_used:G(0,1)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)GCC: (GNU) 2.95.3 19991030 (prerelease)01.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.0101.01.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.got.rel.bss.rel.plt.init.plt.text.fini.rodata.data.eh_frame.ctors.dtors.got.dynamic.sbss.bss.stab.stabstr.comment.note# 1((T7 ||?\\Go\Todd0c l  u 8 ~1((  FRR Hܨ<@@@@) @T  -3;n?8ETa ؙE(|\d   (  ܨ<@ ԋ "ԋ )  48FR hܨ{4 P@ h ) ` `  ܨܨ     0$4 >X XD i# p     - x> thlp   P    p ? 0^ T .v 7d/ =  BO9 [i v|  / PG Ȭ{  1Dd P|Xu fY t v         P ,PK 7% MĿU W k0[ wR $Q13 M dh  Ī$  O  d !0 0K 9h B K( T a} h~ p u     x  <  ;  Q1@("d} 9` ND d  r 0 z0C tJ S \ p0  Q _ P  \b (Q1" 0 :< R j| _   O  ,Q1L0 |q * =| P(^ c v    0Q1  4Q18Q1Q1Q1\JU RLk cL uM  PO 1111|1111"Q 1Q B T L1@Ųd ] l@^& yh^ _W p_K `+ 1xaa gB h i m `n 5oR KLr Yse n Z#x n#< }#_A # #<{, #L1#4q #1(#, #4/ ##`1#p #/! $< $H$ $$ 6$.I$/Y$ȉl$ w$؉$$x.< $X $Lu $ $|K $` $< $d %<7 %h %(g; '%09 5%' C%vk Q%(1]%w k%;%P\ %W % %b %D@ %a %_ %_ %,1 &z= &01!&0  :&S P&w Z&bg d&D r&K &  & = &m &O/ &@&U & &@ &F 'D; ' ' #',q -'KV 8'P B'3V'41c'di p'W ~'81'; 'V, 'A '$g ' '@ 'j '$ ' ' (R (<  '(,  E(Le8 W(k l(h w(pNY ((vK (<1() (dd ( (@1(v ( ) $ ),F )j ,)hc8 <) X)W l)l w) )X )& )x )K )A )h )&D )b *h *̨  *x &*بF 2*= 9*u F* L*h X* m*u t*h *  *ȿ *06 * *b *? *(*8 *q: *u5 +! +xI !+ ) ++`p 9+8.K+tk X+H/k+ w+48 +X7+z +1+,V +ܭ + +01+T%D +Ģ+ +$ ,,HH %,]t ;,< Q,h"t," ,$ , ,D1, ,: ,1 , ,D , ,ԴM -41- # -  +-kJ =-(g Q-,1} \-81j-`b y-@z) -#[ -@' -@-pb -D- - }T -H  - .O .x ,.<Q ;.{5 G.DgZ Z.  k.$5 u.l  .Lc .P .ԙ .{ .H1., .-L .p .@-c . . .% /(4 /0W "/$ */`r- 5/ E/ $ S/L b/X o/X {/@ /H~ /{H /L1/ /` /| /*S /r /H{ /<, 0 0D 0G /0& =0xAM0t` U0J a0h{H m0x 0@# 0 0(tp 0P 0,j 040L+ 0# 0`k 1d`) 1tT 1b :1H Q1XMr ]1K h1`A |1' 1 1hU 1(Q 1<V 1P11-N 1ԛ 1 2P $2 *2%7 52Q @2T1R2l$ ^2 m2t ~2D 2a 2|U 2X12  2@.7 2+A 2x 2Sx 24 3,P 3\13H^ )3`143GH C3l R3 _3|3(O 3,! 3J 3~ 3 3 # 3\u 3 E 3 3Dt 4Tw9 4$ +4N 748$ F4 K4ؽ  O4K g4lz q4\ z4,p 4=! 4a 4# 4O 4< 4d 4(U 4GH 4? 5@e 5 .5^ 95J E5 S5 d50 j5 r5L 5HX 5<158. 5* 5 5|Y 5x 5<5(P6 5$kM 6h* 6ܑ# 6n 06 86 C6 P6 k6: s6+ 6d16`+O 6`De 6 6#F 68z 6P 617 7`P 7Z $7A70O L7 $ Z7h1^7 b7xH q7U 7 E 7: 7^^ 7 # 7 7l17dI 7 7l 7? 8]b 8H! 86 ,8@g 98]( J8K| _8n k8"2 u84 8Y 83 8? 8g 8l N 8L  8 8-8q 9l 9 "9109  <9Ȋ3N9* c91o9lK 9X^ 9  9g 9` 9؊/990 9,aK 9 | :l :N[ #:' -:19: L: dC Z:p) d:l<: k:}:# :] :D: : : :hF :P :ԁ :p : ;L,\ ; ;h -;`1;; o G;܅^ P;P a; n;1; ;;T  ;CL ;] ;h ;! ;L ;la ;B <1< (<?<T M<q6 W<H i<0## u<8 V < <\H0 < 1 <(%m <, <Ĩ <lj <lT <l =  = >$ ">0 )> 6> A>X: I>[>4]3 o>ħk z>LlH >H > k > ><>>(>@1>| >]! >0{: ? 1?  ?( _ ?y )?D 9?$ E?~ Z?1k?sM y?`$ ?1? ?0@ ? ?d ?y ?H?Xi ?"  ?lB @$ @K "@K -@t[} 6@dR F@P P@h] ^@H n@r[ y@ @ @dlI @  @+U @(<C @$i @LE @8@ 1h@{ Ax A,< A