From 3761252735a94c407539c5a51b8c4746185c7339 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 24 Jul 2015 21:52:03 -0500 Subject: [PATCH] missing files --- console/terminal/settingsdialog.ui | 177 +++++++++ .../terminal/terminal.app/Contents/Info.plist | 22 ++ .../terminal.app/Contents/MacOS/terminal | Bin 0 -> 187736 bytes .../terminal/terminal.app/Contents/PkgInfo | 1 + .../Contents/Resources/empty.lproj | 0 console/terminal/terminal.pro | 23 ++ packages/bdd/simplecudd/problogmath.c | 347 ++++++++++++++++++ packages/bdd/simplecudd/problogmath.h | 217 +++++++++++ 8 files changed, 787 insertions(+) create mode 100644 console/terminal/settingsdialog.ui create mode 100644 console/terminal/terminal.app/Contents/Info.plist create mode 100755 console/terminal/terminal.app/Contents/MacOS/terminal create mode 100644 console/terminal/terminal.app/Contents/PkgInfo create mode 100644 console/terminal/terminal.app/Contents/Resources/empty.lproj create mode 100644 console/terminal/terminal.pro create mode 100644 packages/bdd/simplecudd/problogmath.c create mode 100644 packages/bdd/simplecudd/problogmath.h diff --git a/console/terminal/settingsdialog.ui b/console/terminal/settingsdialog.ui new file mode 100644 index 000000000..65eb23969 --- /dev/null +++ b/console/terminal/settingsdialog.ui @@ -0,0 +1,177 @@ + + + SettingsDialog + + + + 0 + 0 + 384 + 336 + + + + Settings + + + + + + Select Parameters + + + + + + BaudRate: + + + + + + + + + + Data bits: + + + + + + + + + + Parity: + + + + + + + + + + Stop bits: + + + + + + + + + + Flow control: + + + + + + + + + + + + + Select Serial Port + + + + + + + + + Description: + + + + + + + Manufacturer: + + + + + + + Serial number: + + + + + + + Location: + + + + + + + Vendor ID: + + + + + + + Product ID: + + + + + + + + + + + + Qt::Horizontal + + + + 96 + 20 + + + + + + + + Apply + + + + + + + + + Additional options + + + + + + Local echo + + + true + + + + + + + + + + + diff --git a/console/terminal/terminal.app/Contents/Info.plist b/console/terminal/terminal.app/Contents/Info.plist new file mode 100644 index 000000000..5fe56fb14 --- /dev/null +++ b/console/terminal/terminal.app/Contents/Info.plist @@ -0,0 +1,22 @@ + + + + + NSPrincipalClass + NSApplication + CFBundleIconFile + + CFBundlePackageType + APPL + CFBundleGetInfoString + Created by Qt/QMake + CFBundleSignature + ???? + CFBundleExecutable + terminal + CFBundleIdentifier + UP.terminal + NOTE + This file was generated by Qt/QMake. + + diff --git a/console/terminal/terminal.app/Contents/MacOS/terminal b/console/terminal/terminal.app/Contents/MacOS/terminal new file mode 100755 index 0000000000000000000000000000000000000000..ad2300cf92845c7c4f956a5b4105c9042b0e0e46 GIT binary patch literal 187736 zcmeFad3Y4X7B=1?EK!h&A{bX9qJkm>6a^PdWSa;`5Ksg|fDlNOC5A*%j0BS?<2Z`f z4Mh=mT(0JNMF9;)K@yjXamN+hphr+~1Jo<|-uIkdYLX#Wzu)sczklc_T~nvdIqx}j zs=B(mddXYAf48TNWhEq9R#^+nvQn^5YHL}QWk(}tS%+c|V$aFR${0F${NVFPvNU!} zh$Z7v#HoXUoSZR($Bl^<5&d*pH#UccZ&oYpNe(L~r#NqJu`kycFS#Eo1NOs@s0`_r zzBq|8lg!DPQ(Q7-j#tze@43$vZwCUz&83xsUk+Ytr$F&?^7CdC<`to=G2Zeo6|aw@ zKsu)8P5hglo12q2H#e`aIH!2>l*V|U+KSijICX$@44&(#=U?ue;-Z3C(>*%2Jq`{e zNc`3?@YqP3TVw2;oZQ*7=J*ZL*uTx46mLh0;*gGM4-*{uoSc$bR}{>eno}@q+H9d? z{j2ZQLi{Us93kDa_epSNJBqwL)Y<7}@;+$zEvvQmGw|ua+hZ}FwCflm#ELWm&e@S!jQe6T3n)Pjr=a1{dGtV0~cu=N0 zCTBVQc##7Hn%lUD(yYFT)y1;Pq)$PPziIf*Is}E&TgbU&F@IsKs;q^z2+Bm`Ii_l1 z3+oO56+YU+vin*VPB~Tb zPwk20zhDa3*w_zZ^sH(e;%Fattbn9;iJs?}dPg|pos28Z9!p}z;6Li~1j zXpVpTwtW%U7lC~d*cX9)5!e@jeG%9ffqfC!7lC~d*cX9)5!e@jeG%9ffqfC!7lC~d z*cX9)5!e@jeG%9ffqfC!7lC~d*cX9)5!e@jeG%9ffqfC!7lC~d*cX9)5!e@jeG%9f zfqfC!7lC~d`2P}tORQk%n_&6ZJA&cTq+p~ZIrMw^D+w=unHWs?DHwWtTgzbi%SplV z{#MCO=4?I(9jdiQK5kjREW$Px>Z60@+w+5=9ih@+f|1hAK>1}ApHmNpUa{LhiuVa4 zrHgv+v~R)tDa_idQD*<}2!PfKy;~WZ?X4`^7%X3xKOuW<(BXaz?zTjwHrwkU5)5s! zUwn+ewc-!`a5ws6N5Hf%N22~^T$phIeN4#=HS~VR9!7{rt9RP9z)vtaGZYB6s>8$j znW3S{FU>{$?4eKvl?DUDLwoFshb`+RK0I#s6sv1{@1zSq-b1OJeoEB>H8Xrgzu}<< z`ztD>P~lI!V@20Pn+SA2C};#~e&*gk`MzcxJdn>|TeX0zQN8AtLQl?z(fU-)fD_z6##PK;8ym7W|c_lP4}=7|<21;edI zwM2&wCqb(#w1ScBDria1`^la|QG|E|f6LePbJ}H^9KYGo5B}TGFfGt|kP~klEr@ia z)zkawArcI=)k7p08kigm&r1(hHWcp{47Uk}(^DJjQIf`zR(2A@650gx?C7@-ut!V7 zZbFvr-bUE9_JuGP=v?NtuWRq@ziV%?R!i(%<=dO>*t=8Mwf5FOn%dhPj2!S*66-fA zIT*^?5nS*x2Z3M+p`4o*jEvi{w@Myk7;WVn{r!HeWEaP15sYelIr>OEbHrW{_Woi# zSK@$Svn>U-8`pjd{&<=Ho)oI!p-bZYINes}E$%WHRJM~fOPs)n2~JUhm~=?5DhZy}jJY zYd6VXlL(N8`ih!B#S1M2x}OeMH_`v_yncb_N;cc~E+)Z4d~PxZyfonnnWEB1`6a0k z2zcbU!eFHDhSqG*jy3f_iBxBy#=T$5Sc#to`&G0Q%ElodjI1Cl7#X{e>{Qlnjj+cq zhR7rpp`^#YPua`C&Q~_2Ja(C~SAt!rY)X0T$;z$+d#Vz@a2P=;zP}d1S*3lMNKGYXt#rQ^dzz(eW!7#jdU#CK&m3?XEZ)jbnTI2qQ7WszO8LDL*4%0CoYkD}0 zLTS^(;ZL+(^i;Aiy$wrWZ?2w=dhkoyq1Z!3D^RiR&v>@qM=8)7_2dP#y_zhs&2HzQ zJRBG0W<{Z#S%0Dw3relM?q^OB(sjOx^JDpToTV|_oENlThFnEW@%|)mGHb{xE7bxc_}w>GwMBZ#JqnX$j=Z*Cl<U=fLoMGyAr7jN2@o<2X^v8d~ydicz zF7Zi4d@u{2(2&3?EP4&nxVZ4Eu+u)DNRf_VWo6^W_e(c6t)TDZ zMx%oBC64g|;>(+r8cF%`b*XMZww)|p=dT-V|2GYO&K5((4wh)v+Eah@`&TeLA04SR zFJpoU>w~#jEwiI7fFG~_%?Yw&utRK-J}?g#m^W; zDY4NDHk)U~7w$lL-0JNrE8W$!yI-cg$8Oqte0kgGJsFfo;{=j5pfduC`S)+rF5dizMNSADomIHzUf z8Q;dT(v2F5dZTL7V59PrlF?{_?zJ!%$*xF+u7=RUDJs9uyqD( zfbuIB!Mz^XgQ3Bgtd?wKxBU5btab2>cl$tzs;+hHv~NXuW~ej#cyc{Qx4fFw{N~5- z&{lgpo0lshTkQ9>rE8k=qsH*#ddRD_2kDWsva-`YR;=YD!Ca=ATe+HF_@TK{-`q4c zx3W2ND-Clgp1D(E%sqD-E0>cDbM~uJyDHCId*9qHc!hpk)ttF1!`x$(kCZOAr%I;p z-M|LDZ1us6?+O;y4qlA27`w-Ew7@bPIg5F0@o=@fskvp%nOkOO-w)Rb zUAFoV*5geU)>h7CMX^y3E|y{X%p$M4{V5jrV#x2qWropVkVkbH^s+)@Hju)rof^Kzyew`xDuHZzFl|EGL3t#JPURwzUH)7hY z2iCc)mKTpVQI2?YLp%!Ciszg!%Ass`75DX88u8dq9U;FtN60tgu>t`{1v$gBXG*?r z2Q|bg;^M9HuFPc#z@6;~;f|tmfPx-*Dq7Xdxb`=L&IU<;{pk z8jYX8T87qobJLa@k$#BC9WRUT$$*mK&~70WSiu5DWGh4w5t7ZhLcZb3t z?;?5@S-}DV4Nyl(Hs>h$hNIt#0p0@GWpBp!vov166U*yApQ_J6I8muiSahNdop=xW zaDoMNVin17HOc0jAm4BzPn?*K?y&Yju-xCXJT}(yBR5K&C$X!nkvearWm!|} zsg_wl%ZwW=lWfj1`G)0}ST)?8VOO~~>_+}AVtHNVd37QmPRv&)>gj~^<;S3p>a&1O z+(a^5O|m&B$TyrgU7WZue+|~7I5D&j@H`nDxRxx*|@6v3Q-FDAkbD0l94 zEQibNBaE0r>fAa|krx+oq(Yi=?7@UQ&4CP;>SQ@k(HcR<(pRHO?O?BlkWr~t)aTLc zxYQA@MA@CyADsdRDxO10Q@mx0XHJDzpc6zFdirH@)C4N>*g!-pD`Zxe9 z>E8)1oS-QIx{q>TT$Dd}m9G;*1LZ8DYzE6|#}V|c z-l2_I8*W#juxX7SR@Agu-?m;4lp8#hRNuF$aZ%1w6v`RC-A|O0!HTwO;dFF=(iEsT zG%i%4LM6vST|g)sw<4pfF;Hl0a@yj=eFHd6>$Vc5h#2Jzui6soUP8_Gpe!G%JTBBs zg`%7RRdXGn&L>n?56VXObiC>p7pjXwQO2DTo!>WA0_rlbwhhskd#C0=#rU{5gA}LHDf&+0 zbO+1nrH|6ZLmfI?UFXNFWn9$nf0K$*&WKqCQQrkid@KFSt3dlfkHhcT@PbQ$H-Czy zz&OuqnCs_R(xx%@D!(Z!{YF-<=4Ba9Jz2pM$h`EX@>|MEx2Sx&A%C^Xr!|$|T2{JM z<v=hiF%0vz2Kz7{|IsqRuW#B(eEfQ&>1yGR;)fOg9aIDU z*O~aM>9qRaSMlQEZ*|9#8y8X$>#oKes=oiAYHe zYxd@R<=Ahi-8c)SzFl*o_5>xJ#qHfhr?# zH>rVS7#O7nR-l52+;Y=EnQ!0#HL$$7mRW8XILSA#<7ufuwi;Mw8tCjBxceHZ!LsHI zEHex+wj;vVum(4)fez9{*^68QY@0RO0*ke61_)KMn88bIS!2FjWoqf z03fQgl%tlqs-;OrrD-YbTWYPAD50^9UnlYnOML)<@Y2$+PfDHYCCc}5;_cRn;XRs` z^cgA*?^229igA#mCy{v`-wvrOglNtc@(ouWg%&D}W!S!#s4K(Z3c?#ST%oBu2(RHi zhF0|%f#xg`!LW3eZ^=?iHlhqm>5VM)@GU)hl~|%gbC$?AEWHc=5MI{ljwcwPjv;B! zd(#X{4DTx%zJ4s0q4{hnkmqn%=bkhlk*9F%6SUHVXwDV#4OfEDLU_~QN?UcMrB=F| z;R;QiMtBYHx+|s9lxWTp`G%#>;VUXlOZPu6m0l)MzSmuwhPW&k{YNX63Q{Y5t`x{p zHa+Q2^O0)u?Y?A%s|nGZE94uljD{8}ods7qsVhgo6|{6RZ5rqGa|o}MzHhErqC|6+ z$TuuS;VUe0!Scz+=yu1Ih%ziCHL|pkl~PN6)ebj7LWZp z?XqXNmUh~2Tp@L`{)Z*<4NDyfuwWhMUU+zd4|8LMGWrWh{{EVvzpGm4@6Cz&o7d9e z>u=DVf(0r*YZbG4B*R~zvKFNjG7R5?z(k*BIaWl&r8>n5RNNa^|9aIor&Z{ic3l0Ts&7uEj-Y-oM<25#`+139sk?}Ea9p50tZ=y0oEyChz33J%5LMF5fr|G~ zf~mf{;^YK^Yq8Kbr#`n*{}E4LXEcF|+v4h9qx$B|W;FGudHOnG2~>=Ut3N>X&526~ z>L2Ima{}_z<>I4GKmrwQ;{yH4o)9iICnB#yFZ!AG5U_N95vX_rB~1gdLiNpg#tqcJ z*VEVOL!crYSHDE{&1uBB)X#SGoms$_C3MrD1q3S2R5*8;%xRb71Wx3PKDry)(Y6kv zafT06?8E_qN;N{+%)>nYU45G|;Q1m2ix76BY z`G^zaA_f(aat7jIL_EnsG)}OAij=r0Efggfi}GGEP`2tgf!d|}zPy9NrZIYvqD_|T zZX(M44vKRQJPu`$O!E=T;v!z6h?FyGcP0@>I*4Jp;p!Zjr^iL%N)@bii$&Qv2PpeF zD9&l>CX_+aJ52>DIC?g%={p=mRnGA1AtFAn<14tye(fHJi*lo)P|iS^2$XHbGIYw> zN6#&}aKe53TPL2QV4~5vJu|ef_s-SUerI8&VJlyw`3_cx zhaOx^1$~N>ZxrOw7a^-^$cc1pc#!AtR*4UhD&@OF)IOS31!@28DHP6y^fxNK8$V$4 z?IBA4EH%U2@bFwzr|&xPOpfu@I4f9og7_wf=$f))QP3U*G;@BTzW%2VeiVbk za|;|ff{_S^h~be+95e0sn4y{XR_@jnkUolpgvQ+ zxdV%Q!{?iUVE8;8LjnBYF|R(~r55CHwC;exnsz7-h zc!RJ?`Oyri1NruBtq-~OR_6EiRD+J+T%u@n8zUE5PTYC_^!rhId8C*O$s(?BqM zzV|-yxe7w+^D4Elj9Sup)}w$v?~h;cc`kkKA!72FAbh4ee5R86eA%S}E23?DM0-B- z;cCh^=QH_+&wl{T@Oj%(0bdLu^|_T=SV*ll4E#YTpwAaTkv^A}+4IDsv1Rah0P~2neBz)opU@_m~e?Q@A--$v0fhf|lXxIqGT|gw)mXYN3!?Npy8O3h3$+@IhQ% zXxEE7V;90zD#BHYtE(yM>O%WplBp)g?yjyOj6xhc9A1UR*C8zk82(oCR6W<6i1VFHSGE`-xCBId&EEcz+G~=A0(qaJmPyoIb)ZfAy9)eT+KY53-)q zSE;RT)K6q@>5l?BT?%i+>1Fl<;@H?_aGJVsn&Rs8x6{SxWp=p;Rg+`?!8~3uL%unu z$v2$70$PUCJ=N)=B{Wc-3R%zTSJhTB^<~tnKmnbugE!*za{D`RZ0vG4O>=tjg`0Dle8cHifM7U%U7yOiFB2Hs0dY)W8cC&X8r%eY4Q!H4}g~AG*{9NQ*U3Rf?;tC#b76 z_FBnQlVhKuu2Q%;SIIYAeI5votCJAbS#L^LcnH@d@VExDURP+PPFJyPr(Fv@dfXPj z;&GjwCeDnlgU3{a$COo%=T4R2*4YP&P&GMri21NsY0hJU86LNSmf`V>Z-~bM^_Y(V zc^;2eTZ^eLJ>nn~(CG`{jW}Iz&lAVS*28J)!fA@D(`$3Z>3aKO5vnG~evkQZHHDjV znta3QENH3Ig$#2Wb$ZI3G*G<=vYyjR)mE9SZ)c-`7fbiU8*zH0yTF{ zA%shn_UiOT`%%eMlVf*QrzzajY5$RQ@(rh#5MjYOUS;_!ukbgGGo3fVj9!Yc@;W^t zYYp~Fmfh=>$<+NJmSI$MFS-DqM$g&dge87O-u0p%_arOrpGh>J2yQ7C7itR%{452eaS z;W~6vU%Dv@lrvDa z2~_D3mi$#uMe&7H+TW=c8~Px+%)* z6xAu1fpRcWp7u~ueH5-kH$|yX6v`PW8zus!z(Yy$QO3kY8K5YXGf);1l5=y`n9RbaITm?(t+@;D-s|wRd<=xjbBje?Z254&!!@ zvCyt2qou>R+G8xTA0ne+x5h5lV=T7AWc=>@ILbr`)p#&Y{2GIltO6pvA5 zr<1YGVKhABRI_xYeLNXk9L5%pQDe6!;|quJACFOI|2iIwPaVdy9;4p=l#CA@#uAUQ z(Oyf&I}YPoFr4ol;d#A`vHC`{E!|0$;ez^Uv$=K>)bPEkyH;W97#h41dlhzEbs@?X z@D3TQGL)3r-LaA#3=duy%nc?5Bg5#e;y2{1Vhde zlHBj(t%L@;94W<>i@g46pCMK7ZyUy}h<;dB`k_@4=i#B(E+UG4K?tB#3W_T?eFt+3 z*~VSOy@2vKF-DML1?7=NPbVuVqA72S+P5eu*-hu3zNh3Hpq&+ToCDfbK;^k9;IhbSTG4MZ+2;vtUR6f<)m;_$VU9x?;g(%}+?HJ%;kG9362Vim%r>@0z;KrZWcj0~B`p z(SL+~J7j&cEVbuT0t3;9U`@lBWC4 zAU>)HcXv>)H&L&OMeRoOH^rcCz7eP;ib}SRD#GuMfjwh#x|i-pS)-@?iUxxg{c5g% zk#A_dq*{zob6VsZS|Mnm$=oj?1kh+brP1VoJII&h1>40U+_EdBk3;B_A>BhePE+x% z_DLc>*fPauYX5C2{)4@TO%Rq_CCyb}TxX?!}5cg^Mw4?jE?LK)>}c5P9V zk`XTM+R|wk`_$3wv%(&cJEJRxK)KGtp+XJ28eqJfZiC;@T6`v?hSg@@7#116Jy|ZI z@fku~o~BT|7|lz8_VmHIV!VzJVS&@Q1}d(`fQV>yij8f7BQ+v-T2f~2kamOmZ!R8@ z`SRC^!AQGTIj&}Qe={?3@p^nb56^r<{}9IUXy*xd9cJ)xvNO!bL0({gD_^@ivwU4r ziQJGp9PVIXCZ02TSN=P}iU#p&LlEZ#yYu;E7~$g`*S`HOGe(uwMXc&LgD6` zpM1Yp+OH8IT&hp-#Jm#WMX1z#a_26U*C&SdB5yt^RG{*4p4#^D%_o!kQ{H{H>*9=T z_a(yG==GRRXa{z(4*(fx(AlkvH*lh7mF=ML1B!-3i_Habs0i|-B8I*0g~P-=9D zclU$Iu6!jmIzl6g1s(Bs8lCPV7=QW5KN%=IZ~et1zok}goZIwxp$Ep{tNW~vR4`CE z2&Jeb<$SO0^`kIl>aN~`Tj--492aGe91D$~J1Qf}S74#0K*{$}HlVPnFDn&=a)vLb z6XjkHg;N0O%z=u9iW1vom%|ce420cTXn=|81kVeO`s=vHY3jtYCAfCEEt^0^;FE#lh%3 zPP8IA3=E;bSazJFV#mvX<8?F(wbhy}v?q;#bhc7u_W7hnDphCC9SLeVO`Wc$5UIa8 zx?Bnfe{?b5)6qi?@9D&hE@#jrk2jP%Lri=nbBJkeDE;Me=I!&GGZiC@Dqi@AMso|# zgP@0kHoph!yzjGEg1sj*GO-^QZ}GjXxqQ_}&Urw@REn?oR59y5Um7z=>K$@^6VrUI zbP(hfZf>gmDjFd(d>*hbN-f{rvSbVl)WZO$a}R=tCx-Ti7c}_*^fE$2(g9bmWB$eH z}_fDc`x#&CuexO&8iNTEU<>^pb z>G`k*45!+wn8kyp>WcYEIKSHFSU-Z8`eZ{I9eQK9IJ7+0p_fsr4!s0kSs-f!mlTLrmP=6N1`qSI0Y{p`Ecn;gw*(C(Vr&(g(tV?;`ohqX(<>QqI;l% z5ETZUXG#01S92Y&vY^iKosM1TJ7$Sv{>UFQ&GsMapr+B2ZUTVg-Xyx$PTk{p9P3`g zxvqPELL?(}T^af>Jfx(32T>wRIlMbgPJ)v>MbXJ;pz5^d1PEdT@=kJlakA0LEeZg| zUAYk^?17*&7GAfA9xPbL!`Zlz;U2Pqid}ldV8Tu}@-WQa|MAN6@dYW5HYx(0w#|T3o;^%Ef*RV0R|;`+0zi?7jp%-UDJw}fi ziax2IAx}Y;)5bE#VEuj0_xD`<&duYW;No9t;IAFx;jcuN_^A$lp^3j6-y47FDf;hy zZ(JX7<@d%@-S3UJvR_4vq!I@kMke}3Mmt7cpd8MfZDGWi@5uADZhc0Iy}ib3yld*Q zK@u-}mtpcOFrBze{& zqNE+=a$WsHk9$fVHFZeZid-=S%Z z*?)$I6o!W4S>Yjb!A@_?-V>H_F*Gz73}3fUj*6jKjfEO+kfCegP&lwVdu`17$hx{& z1^7Ooycz5))`<&E7-SJ z37Geuto?%eg0;*NEIp1DMk?&vtA$ark_YAE1EJ*(u`#F5O=YE<&u&$wrfc_J^2bEM#~2KQ$dc2Rief!l?%V| zWA*Ff0=DK#0rTF-wQnXECOe4LV#G=q5-a+H!exxrHRmAjeoAI9u`*w%c|~KpsJXf? zGRE3}sQlvQ06e?@g-rQHj*Xdo9p-yc0T3S5VbYmP=Kuib=_pwpZ060gs7ZD~%pz z*p)oP#*f}Yg&cK-KvK?w>`cg*eA3$G<5SLqypoXmrZhrIYY3?;kqVFO*&?C$Oc2tG&ywJz(^xaXA>XLx z-P#c1Vl!Ig8(LFUi(WNni+n??C$w;XsNPw7yb^QS4(^hU9!As19+7*Ev;MuC>)%_A z_3yX#zW(i<(qh-Y85CJ>s&&`D>H30ooK={gbQ_LYbOu+|1C@NxXGHFF_%Kw~;D=I1A)>vlEbL2=~HJst~9wK`Did z)+>ZwG~03DZ=8wysXaXt2P!7SwKrJpnP+5+_V{L`*6%N$#OltV>;6eBP|;0Ix@*Ty z6%P`VjZbDbKs(BdWwE-K6$EYPI5(e%t8I?ya$E!|wgU>`ZDjicl)}eGV}EYH~89#M!!t-nYhM9yfxWTKRKC|Pdn2P!7T zMLAbdC}*I&-VZ3fJQQz)4pbZ#7p0}5G#aTZh!W*3L5xrbENW=rD3^k|!F%`l4_+US#sc3T_CKP8*n}4&lO|+GQ%^Jg{{o+1!T0#_KR|eK*N_<= z$!ogQ;gOPhXR&P;uIX-v$_uFB*~esW%n00u2M>1Hec_z*FZ@z70?++ow}cSB$KTy8 zw0}F*m$1iyn;Cvyrkbct8<6@@Fy}>0<9V8<{$MdY#-CPk{CQXm$UhLAEB+M2Jp4Jp z@n^1GfPxsCdw*Yd!FDcQ8~>l6l>Q>pf8+lXtXKQ|{{-6$pw0hJ&>m+NPQ2a&4?*NL zay7jQ|Mf4^&8GayL*ZU)?6}U`i0cpe{{*A^;w9izSg8rb`nF``(&|~40})KOZBQ&yVaZN+q*#R z#kmUi?U`5MNwg=`>+0L%XInPe^VMPsES{?tm&-T68PGovYo~@^GwYt=W3H8bi{_dA z4mK11M*%99QrogCB8&fu!-*)G*~*Z|x9kCZT(54Ds(Dd(Sba)`PwS>j6qc=S3qATY z-S;U=eOlIBBb(RnEqtF+J)gvt7`Gnn?Ygx~Y>8VMtn=Y9xf1ukw(&5&vc@nZR`7SoQSWDln?;r-Z;;cjX zZkg*4_Yqb@mTtP$G-Mf`XSawsBV^mbLdb&fEkS&fM~S?SmPem-m^)A0^XH{8vpV%K z&f?1NXf4OdpzCB})7ahD(~aE^V$nN1TT@@ZEI)fHWA|_&PN!b0z6!SE-&4%)ZI#3K zkLt!?Jl^*&%k-~l5dV9U>*8?VMLkp>h4*lB9D?{kt~i-bCzG9FB-M9vKXsDqrWc;R zljIvtu3#f+OOJD%#D!Di4mjTP@Nu!|1@UF|ZxZ|)s{V22F6UJC!7{)*K`da__`J+s z8oANLzoYNpB-6j9L43XkYjQSEL5^VWcbZDw0x3PjzYy2l^KmP!M?UIt(-es_uOYl+ zX(iZBJ?>|AZ}%qsI5)Zk838RlRZ1M>zYO5c!6v&k-45m8E^gn>YM9ej=a&0c`)uEE zH#JOla}7+s(ZKI{Ew@9U*m7dH4Hz&y7l!{eS!&Gd9{CS2Y`OJdJ2ifqS>ppdduchU z8-^zkKRmw>_U3vG(r8>uJkf29(Y|xq@t*=KGjv}W`XW3$Rz2jkm)G~Z`W_yj9>%{k z^V@`c!^2h5W9Z@YG~;$Jp4uDvIpGA?&nLvF1X2BLt$sRp1#X%ok>oYQ>H~qpNL~#y zP9*b~-P=F1^!;pf$#J0XC(XEi#yL;?ySwXWVq-riq6&!TA^;$syK}_PG}F)bP!q?` zYG(KLRITqP)s1)-Fci|_&(n@8QON=~OrTyo{mHc+!mPXX~bZc7UHcM&~|+b{-6#kQJNWk zNveYXU>^D$|IkxUNLgxEnqsGYrdGKI;;3@?VySWxFuVy$S9t5R+X2k#m$aIzGS!VL zuaedfS1<(95?jN*;8>@To~M&;YsQW?r0laHsIK2GuDIvYRqA>jWZ?Rz6U23kt{;jb zwpIZwJFcJ4?BD)3LwjICd&yyH8Wj+G=q&B&f9Sq?HGlJkVxG^ud$W>nq3xJ|m)X62 zr^g@ZsBT1VKFy~w21}$S7#BSAm1=&Yn%_NM%m56I~>`%U+IZ;AQ}qT+EvR z(e-VB8S@WW`Xt3HlS|M7l}DfymmKEmL?$4kEm02r=rtaWK0_F&_!cF`a=U}`9!h~@ zE;}R;=S9_zp6cP~G6MclLR_316~|moScRxXiyfTrTf6mIE-iuQs^j7eQXF%U;4+aP)#cP;pRPoc}@&^)fH)yA$VY)sIf}aNI@P*HO|mKF=zSc^&=*nlO5ggVV{w z(F^84#kFy9W+;w%;d~cy#yB{9r%l^kZ#M)gPLGSzRdLLV+)>17=iu-S_1MMapHR}Y zUZ0|rm#jv&-;X%!R6jbv#qlp20~L=dl)I?xbfH@Ws`2fN7rFrLatCckOUEn!wnm`h zqPS=S6|FFKES*WTZVuW59$G%6obJ>%F50gU#rQ)xqo$pS_OYTw`K45en191OP*IIS z18r+6&>nEmj_}aZeYDEBXtNcKat7L6 zL>uFvZNNaOtoKH8GFXqAdaIRou!qFv&keT^YsYntk#jfjhOnxaw8K$}doBOJ6lJhT)a4ga(| zPEDgIMNKJZpmiV`zELFoE$E>o`)L1)i?&43C}*I(dKA!j2aYwwWZ_oK(xN}%gvr}E z11^^vUC}Q=YXp*fE5qVi>8n;KXIROhmBZ9Z^fnL8^3nc8VbiwWN=I}uWS|{Lv^N!H zTc$e335heXJQEk{9))T&aan&PpcW_;tN#I@dE;n1eihiCie$q-_d#44UrL6-w?o(8u^dO!I!rr4vUQ0ip=K3VD}xy^Q%F; z0)9v^+$R|79Ujn7TizhgtIDgvp9jldP70R4g1u&U$p=nc<|8iNTWWguafbPn$c6Eq z5}DT1y&vg5s}b|Qup{a-L%)m&eUsV! z{o+#w_ue@ya>OYwVTNkiuh2ohoHV%p-0&%BZ2p-j8W}qCl+5z=Ny9_-@Pr*DZ^`{z zbQAC8#r50TqS+~a6~tMCYxvv$tKwq=o$-v%yxm?0JVpc>>{0lY4%q+GlF#i4pd5sL z$jZMmveQL$mpzE0h{bJ}@s*`?%e|lca}a|;zZOL&t-%m8U%xYU^&yZ&_vjl82fP0kjEq^EoEaHZliYjfv_-+thrxth#fJvNXQl;1XZ8tqZdhCXhaALh zi8TlwgSq$!TEgoHXnk^{E*-bMMh6#cU(7R%`~R?(o(m$<@$lj3>y7>&)+IEoFUy_W z30e2eo0!|L{##=k{T^i>0#*D+3*NUrOAV|YCI;%cK#Q)9OV$Q^Ki@zD;z&5D#4Se50YM__ndof^MhWAkeyu~$64Wy_6@0|e}=;|AYr~$oB--`kB z`uuIw7$M@lon1qv2CpJge2LHu(OSkuL-dmxh;v8YZv*qfy-*A+E#m=!8?kDmSZ#Q3 z2Cx!2zKyzrBua5^uKPC3i~4qIW1-sUr8bUK8{P{8wDAX>*LqA<8+zftmq3{p{L7)5 z8D6?bZM-pr)#+G^HsK47W~}b?ZCGkU7X|iW!(0p)q&8&mi1eMVHj30nnQ7x>-^M*y zIpbPDa|fNdP_P+3p&rY$9*JrrMQq3_fNADU`mf>YD`x!lgqYQDZIw8;q35Wv*Oyt?8O*PndXH>Yc*D*#=5Jqv1%+IqNcH*SRJj|S!#?D z8bkBxaKC2c8)Mg906-Y))YyxIq-NhEnyA^NM#d_AW6!EFN;GGTe8X4|HMUWWjZ|Z| zi7|OJ-mlp%JH<7&)6NY@7{~n&W8@pgUZRW5yb{`5S1{b?8zn-4%EM&^Bj%OR%K;Qk zWVyT&s^^_R#gDo!&`AFiSr>?TCGk}1uVuOD>uDuW@vpf0OH|)Hz3fEwqvf8yo;3m$ zm&Mhep!(+7<2mXN^z_}O*xqsV4_AHj^pQHXjPv2c??HyPDaMd?Q<;$s` z=;`Z7i~8$YLF4+%T0zYJBs!J)YgsP!*HIMpkE^dM8Zj^I?!-;eXt}4aBP8k{SAPQK zVwY5(qy9iw-yiw{6+IQgT}pKhffRvgyp&ow1fo3ep?HH8 zR`gMbNpd4!Zlq|FrPHt5;hM?$&ollI6#qZZG#Y{)qpI_tXa44ZG7G90Ywd?n2VOG$ zlB@rD#(f{Qe0w?{`h9SJup_OWE8)8>&Wo{0(t8FbuOFBu5ZAZGU7e{ChFW_A2;wf{ zue`vy-u_nedKlaFN^Qmir!{)r_lzqW8L?TuH7-xF*#C3{?Zuj@(ogL>$Tsw=RKLjA zw^hG2ys>9$v2Bl&Oi4Zcx&>z=PqT{K1RK`(UtjdIZPWYEVAkEHi+hqlhfD3I z^NgKkr91VlQ`5)^B`W{9{2XwnD{nsm zaeNmM-@m~tbbYU%Bd^?zJFcMtNHD!f>RY+9q)n*4{P$Luw?J2pbnM5mDYxad!G!vT z&DqiJQz<_1Ql{B602IC~DLZ=WOw#{E8VqM7h10U5qh?`9d>fWN#QqufudsiI{b%g% zdZhRpo{u%o`Q5DI*1!=DTNPiLU?FDW5Bs|;J8&WBlj39H`B~?~bF}1HaGI+r+Q;Ps z4E(C}@X!t!mtx*$$P8^D3cjoZiHy*?!IfXnJ*E7Qb|nX9l>fKY{9~~?S!=p-Nz7@O1NZ0#KZoVWe@ZK4k2f~gm89a z?&mj=JId!IA`;u$`*b;I1oyvYaIt>603f|I zH?#@dOu%{Hi*0f|lv6&^Y7h{bY3~uv@o*Bb8nrjSR2}DdkniQ=ni45e|EG8#$(TSm`i1IDjM1(2YCQ0oOECa zXo)PX9EM*#-t~JRoX;BL#~)Y<-9hyzXgIcoq%9?F zEoqXZ`%BtR()N-jOL~x`2TR&X(iBM#lk^BlkCHT1(k_yAmGn4CyGeS2q&+0uo+;@7Nz)}gN76x(4v{n{>A8{)m-IYIvm`xV(lL@=An71bfcsnOZus# zpG&$~(k~_bTGB0&+LC@N>2^uKmvo1uKS}zFq&p?uE$Qz_ap*^m{1*n8jL{9p-jCl! z`5eunTX4q7KaROinJZ-O9p>(5u8z4^nd42k{0_j0;tTQ(`8bNK=;O>?$J{dJ9%Swg z=4zO`kvaYY+vv5-@qv!$T;{lv5yi}@A)l)sQOva(^6Qx!&s-~vPV$Y%{6WkOVcBHn z&SdUR=K3(l2W+Cha^|v_TgqIRx!ag~ zjJX?_dxyC)=2~%K@N(t`GdF{|3CvAl?lR`aF?T<6=P|dExk1crX6|(6j^pxb8gu6` zcN}vQm^*^G>zO-(O;N5o4Ie9o5S2@<{n}01Lodi?oH-8 zU~xYB3Ug;Mx01Ph=AL5iI_4f??tbR(W{x+3qI~B){|n}>WA1n6u4e9V+yRLeF?R-Y z`OHmWZX$CFm>a{~GUoWsd;V+8r8CEyaM4qlI}$gJqCJ>PXRZr#Q<+O)F2r1W=9V+Z zci!_iF!wv&UeEuIxgE@P!0or_7UoW7?o;N9n0tr0N0_T)?nCC*FxM9MG^5WlH-x#z znJZy#8FP0tcL#H?F?S<#-!XSBbM0|QH#(QOGnkvjTmf@anY)v@@yyjSm&M#~%nf0# zM+$OhGB=jFKFncI#`x#uj$&>mxd$_MJ#+grcOP>Wb1RtJiT|pR|0Z+WnfrpdFPZzD zxsA-V!P5!R4aiwm!;-Jcti%bl)s+c1W^hDW;z2KD(7mkj*e$FHSQsOe6GR4q(=8i6 zsEu_s_Jm?2)R7Hm3TzEa!V9d#YlR@BY|I>ooo5(pEOv|>*8L=Mu^)q7IM*RVe|Y+_ zZpV&;RXGnJLmhl}2Wu4A*J2kPez6i`qIDO36K+9rGzi&{$JVgqm!!mPl&}h!aASsc zu0dzE=3&1OyKL_uC1)818|yRdc%ntO-S{ErVR90IjnxX>(m{~(4LN)c56|}KHr?TD zC5M*@o({gHC_2ZphFsY6bohl4qMc687a;oMSGL1&Vr4VjOf){*h{m<9q8LxZ-CYj< z@el#zjikp+9j<0k_jT%Q1A%^`XuL;4Xs&)*$AF+a`(wDXCV?Qda6%vmeJ(kRK@dPV zRUj~~S>wss0)lZ9P6AHQ6e}b&{%eKR1;5KEHWNe-m&5;-Md&T$EH`y(KoFWYQ>>jJ z2rXy_;`~kM973N0g3xDDmgjv!3+FKqgua%Xm8MQT2p0Z>No$JZh0YPZttOCJc9>s%zPr!RRUxJ|cG32D+gwKeIPCpRrjs@iKdHta-Ck%o*v&eZF zL^qei83U`po0ryZ5S|^*AgHs7oFO2_;8*M{1%W@Sft<&Y^K@PTL7kR3H(0wtc)q3J zn5WLU6{6IIwQ#`0^#ZW!_m2&oTaADbB@m4tB`;cur}RM%2by&r zi%!9QBs1JbVP~i(V^6pU$^R4m(*R8Sqp{0K;@Q6d1++g6d%{E{&Dx&;0qY#>RH3Rx z6%v61V@MsB)$T{UL>4D;R6ZL8R-y$#>dUc5j!t9gn00yLx^v^ zFrJ+XG4Z+p1UiMao_0z=9EIQWakN{jK@d$iyr$vEEjryH%l^E9Vv|8oOgM!gyud94 z!ESgk4)BCqKuiW9+fN{lgiFFf-LN$*$xO^(Cc=apGw77oyCm+$p3MxmUD#=|Jya7~ zBWcpsU%7LGG|F>hh7Gcg#4zmCd5y%?*oh{bFfvoH%k~{o&KypmogVS*I6ik#c^y{S zi*i|T0(Q^m>p{@UQtSzLAlbXm{lJxt83wS9R0ej2_CF-9!cH{dgpkR{F58bt=`%l6 zosbsK=N(pJelJK+pAXbqIS#>(Vp%sk#C;@Qa)|dx{NND#q2a7O*ySL?uXPdFU*Pu~ za1u^O(xh$+TPHSPaDiJ)xG}>ab1f@45Id()vMokRP9jD=>p|=uXSc%{NDk*L9%mc~ z9xb;LZ5jx6>2iv3n!-Zi%mX1uI|?i=veM3*6#LZVa6y2ac1+F!;pyD!aE6n!)a3jE zf*vfPu@*R5=mD=8t@a>TD4at;cxW?0P~v?ib4|_$htrWLAA#VADq9~MIz09sB;-I4 zY{sz^J0Appg)NlQRhT)VY$J zksy}gS2o_>T#KNr1}EVeBu$QmuiUYzx2wYpJK;aj39UTrDcJc9JgXEtX952t!J*@0 z?7~@y5>9b>1(9$sk|ROLMp2HZx3xC*9kWx%-ul_ zkGZoPhUH!-d_Ydz>x9qA;Q^T8>fk>-$yxR&R_X;1-pu4f5RB+??CJA2+z*t z&e6DsoCP2}ohS&}8Gr=N1#X1&IWS2g79?GK~U!dayWtW>^uj8b~<5M!Kwk#8Nae^a&(R&=UWi79EQc^ zLfYYyg*6F;r!yY}?aUzO1`wCwSGGSu(9SdDw8Amx>2w7_oz>*@0^!-Y7X7-zI zpw0>890S7BxeWw$3dvat!qcg7bmo%thN*KV#&+tgA!i5(PbVJ)?W`wf4v0ngl`Rot zE@Rz}BOX^UJ)M(4Q0HKB`hoC#<8V$p*}OoOsCiFIga)N;pvPAK|3AD$phi(JniUQM9%Z3 z&PR^U4065(@i~5Fd*wiMe;i$3f|HO9H)!+{{3bk!WH|`oi~;)`)v&BPKn!v@AA^Bp)OMCUgU9vZKhi1r52CV?Q@DxzHuf@uATb~^|H25S@R5C;>;d zE*SIKtN%lQ{vcBEJC*JXxHEC>&69tfgcNHo5LPPAW%#^-K`_5nS383fUU^B;#0osU3xXuWW1Alkh| zL14&J&Rh_L7M%(Z9@@tsi1roHwt*npkwn`Af@p0yt{#RC zPc-2i1A=Ix(+flq2-)rjLEY|zd>RDNdb8ve5JclUEY{~Bh$ft^Ac!V9KZBSALblO3 z(GX}hlc^wxHkfEvfFRmgMC0>OL=(dCBb7rE6PAv$pO^?JtOtkBX))NHLZYNp>2%_Cj zv}_PW6V5acL=&AN5FQ%Odqn#W(LMq}G?~3`2SGIXU|JGJSfUB%KoCR|og+a^0wG%| z2zt_iC}9x%t!Bwm5JY>IzVQn`L=(E# z+H4R+6V6-^_*0z<a5iv+;kA%b#B#w88z9iBef>XGJiyUG)3EthJP8o@?L)=Az6Et$3 zAyMrRZ;<%FA-*Q@gG2mDA_>8xPAB{(VDQJ*u;jOjGMxAL?Gej5g9$fgDESFGn4I?z zN~;SRUKRp9&YLJ;OxEHsw?4tnF|0e;2Lb*l{0hfiZ<$RF@0NHRUb9h$cdxA%P0q(4 zvQWq?Pm8ZYjKXgji4chM@LNgZa}Ztdn?b@##8oGL-k>`dI7B^(Cqb~iI3blA7xY>< zN1);)M2BkyBn0hh5Io|<&JzwH9`K_m)gX8{q*3Ps5UiJQHi4in zAA7g>)gM9&z&Q@_FLH_;Vhf1{AUK7Q?ROAoAgV_LCE+X>BXn;PLqHH(I8`7B&3Smj zYe@23&dGqJ&H(%-aQ^+6%Q+OO4;l*J?c-uJX|i7m_S~sl@a85l1J9zEy!>1!eoh(cyKhwFN|u!>|UU z!_v+aaz=va?Q+UM(9Rrk!XU19IS0Y=XK;2GI0-)>;gKa93bER=Z2$IgJt z7DURvHx7FOkG=mV`ZP)V=VG@8VE62g073iN*b~MgY1Tfa#eb?yAwic(aB7~wN*sw@ zHn;w-%2@XzTPSv{W4Atvopva89<#DdK+4JCWkg->5Wg|_wb&2E{v$b?u@j&d0SYqP0UeVBvj4>koox!YObF(YXtRhsGPbT_AQP z6^{kMv4Jm=SQ#K#$OnL|Ss;ieoQE7jblwATCOG0-2I51sRaDG%2u_{kW(EN&iS`0G zB!u&$Lx>KSPd&8TKoG5gXk2_D!Ka$6jUWh+z=*cTxJ5!ZycJ7Abgly7p>eKCfWbT= z?bk+$PDDEq1a&ySu_il&aPD*n(fN-Dz&AJ&K1K34>J)~ZgzJ#> zailD?6}E;Y_gIOCrNIGV&`ZrTf>qM%5Ylcc}njJx*3Yg0mdPPm5?nLDPwvK zsRh^(8tW$P3D+TMavXdG=m}lHA;2W;3G51l&Lfe5B#2$M5K?j;CG`MyLO)C5d52hs z--H*DG_m8?;e4=VV}=Nmu_s)JVT%es?$*k<%){;P6#L>fA*R?|yhXoN18r5jnLc zheNv9VaWK8X*`{49L`1La1P>ec={4M<2>qc4rSMU#^mr5 zWz@NdoK7G-9eyB9?2vO6h>P(n+XoKkBXYg~F~wn61JMZ7>CE1B9te+9<#6)kST;FF zBKp)>P7a@$^mMquNsi1kZU@0WFB=y)4}syXU?&`bq)B@}yr2vX&YQUyDOE``-9fZu zF%OGW>^rerbFs5GbtdO#>=YBuN@U29n{;m>gQ=}@zD9--5VYTr>4g0d03-yEc=L76 z2q<a$ z8XmY5x29qz^yegQ!A>;cEJMbNd<(dCHVQK7W(JZbb~qlf!O)U=n}R?*#mJ`Pm0U@I z?!qz#$K&_OD=L~@)NR!0yrP21GqPqE6`y{(pC3$ScdK{)=FOZvYff>|{4;B|tBj#av#|tkj`nGgBuQ7S1Thom^Z16et$Vnhv!dsaF&f=ci6i zotZbQBz4N z#(oPi%DFRU&&i8ZMBW@!L1pqL7cn!Lf$=hn^>VAh2Nv!>3z!kU~*$0c}XepInT zIW1$I-m75d*Jl^OsVzb#enZ!wvMC^;_|8JN>5q zFBAb7{+jJC^4vUJpLDf9c2$_Cyo|CCM@!0^Y2f3kiC z_-ll}2KZBX9&0$B9sgqQw|)KLh~csJ_V9q4RmsK1)=vgLIy{HV9bCNr0o?E2q2yxc z`VY(6-qzYt#@o}&)mhro+eQoCwKQGfiTeM)<+8Ru4%W7smR|P%t08OaY3SQl?QI8@=-@%Y2|r&qdoJ6rw3QFZ;>2mgrmY~kScpi;7d7umti;U5)E4|xBz z_WHlsLi}7@0B#{3_~%nW-rqDg-|xWR3IO=vD^mgZghk!e#TFpvW9tIYu(5%c$ioq! z?Ph6h3tzDD0JL%K3j9 z>M!SSMD;%n^_S!HPfPs``TRD_@5;LUOW3=5I0V4UX9+LfpDz0cgwoz#Ual?xOB);b zQ0WRE+co~c!&AY-)!XfNVSgv89~?rQ+4|5T95^=}RT#B`#vg;(wO-TZ(4)H$X8C-e^qf?wg&hJThX zzeB$#3cs(o@b|xb_#W=RA=X|v74UE9O$VH^`Zr|vd$o}9Z)obsbGf1_UiC0vXP6g7Yom-+ufX6AjHXci{gc4m#QzwE{dvTX;IZ^ZuQa z=YL}UxAbs|wKGmrT>%62&x8s?Nm2IqoDcf@jRK$a0(!(Phv659o1&p7e6m&f`wcWB zNg;zXk-e1E5stUR)xZEp1i4SDmAN-0%XXN^5G&&Jmj2~x4coZA{CUW7lc)Jg-Olv#&8NVzqaT5lKM>#M zTEA&-X}_y6$?O@VX@?9CGJvs&Xlxhkop`U~onOp0DFF#PnX z3m+6e9kBM&qTzczh2#gW^4@#xsNl@BEEQU)Ny46qrNm1ItD^O$_wrz>{MITg4BW6+9LiABCkHZp)aCAysI`xwVp^$D*OO{7gxj|VL zGA0(7$(cPTrqVKGWQbG7ci0AoUfO=Smj9rLZ2F2BHNhZ`u6h!1dXteMYxXsu$?x>e zNnyZwV&Vjoc`JQS=M$fZa29~s(Hzq8!OgsxXJKB%t+v}E}i&%@~54+M_H9}K;=qHwqqoqrTSTztM&_*Xg|+$(DUmvPPP7xrSDi0cZLeeyFL92 zz~qmC;fmO3Uv4A3+CP3&@3mq-D|fwraWIyP8pQZEG7~$Gl&)iXROCM+%3g-2y00y(TcdmhUX=2J?)~6%iEL;{Xi~145|??0%ivh;9kK zoUM2Etu^!Cy4|Cuq0mS7I$d{RK&Y^la=LtB(C9|pOUQ}Txxu37Z0zNnZ+;#PV@Ojz zLU;?)iO-S7UijP{!S%_!ZXdyVXH0Cx>*wM9B})4MVKO}q^yb1DWy?!j`+Y@Somz#- zHE~%x1(^=B)dCN+f&=@iilJ8Oeccm=z(DG!{76#^Y~0w}AL^wIda-x6UtyNy3t-jI z(k4qusOAYH;tt^q^fN6jJ+jSCoh#OqGQVux>Iac^8(^PD@8-PrE{#H4o0^=hkIc+) zbwmjJ6mxUqJ-@G@o)`IzF(16w%*EIdL@d*pT`k4Y_S0w(9joWHGpi?=%&5h9_8j;0 z>ci3z0>Uq#q}@>>G2mG|5>eso+Pr;XuEwUZu`2^qd%hW{jZQgTWruMgcFRULo*yH0 zJ@eH@18d$MlfY>nu)*1ZK2`GZXwN~i10(0=CL5>c7(2td^z{r9O#TJ@*R5h#GHWUv z3!Rl3sTwRKC_Of>Fff=!Bwlq+MeJ-&CZA3fzq9Q_t-0s=d3T;H=b58e+=cU<1({09 zKpi3WF+T2f5EJkrwKY`rGQ+k>t3Su9$ou^*ilj{8nK0>GWz71<0C0Qyfu5GbiaTT* zoo<3su*0{~12bx)v%9E>KaL1D1ErSANrF-u(8C1yX1_$Rd0t)m(B53#9x}o6cz=w{ z2(MC8ZDh`g-85(lKc6{s`^I*79{_=Fchaa5rY~aPXP#-H##8V?s7U ziw?xI6z;$W<#hADEUlIVP+lQ|MxMd6@TRyvegnKH3j(Mzch}>CE-Z{Rxqt)@oWK{K zfMlvk`C@3}?LSFWtpFQm^eV6h0hh?W-H|(CC5goiN*~{zw_!kgIgvJm+e3kJ6Nry4 zq*M5&*0qUbNlUF$RMp>FKT*dJVdCkJz&-liJ`PnC6*RVf_b6(*E{XfY=Odre*P>Fo-=A=A(2(% zjB>J6m80^8gAYdf%*gd%wp_9%^fBbh-Ieo>A!EsB<R*&slW<2Tfp^a#JEy{(dbyN$jn2?MS<`8`@>qc#@AaW9LO}$s+}uob^)VS% zu1NN&fYF`lCg6~Qqpi1}c1#7LL7(Qfm9F1?IcGlJmBavaklR9$i2L#x^P`rVb+8!F zI0Gp;h~^WM1!NrzV~o^}lALffKtb#3cu;fIf(cldH=0nxN^fPs@0Ej*S~NvUG>!z{ zAYEnV$+dJqfI)Z}cx&maZzZWEhiSTs)Uv1BG$ihMFJL}G{CRHcjfx$d&v7zrMZ&I4 z)J3oeKLT-gyUdeTa=i~`bph>`{J;(r=MC>U(_)rgp+kAI2=(=D^V8)>v?~ry8XSQF zL-<|XagV$WrY{?gLCRlp_6pY6zO-UW0rXpz-{kHarUtlIVB#Gh>R_WZ(Zl<;z#R1CGLFQk+^heYC8Q<`?yGI&X|2G)k18nHA|KU z!vd>>?wjm}o#d8!dKvIFoVW6@x|^lqJV#(J}|MPACP6xW{|P zV~d^d4~A5Q92sr(aT-)XS7X|~P=_yaE^O9W=`ZXZ7vFHOVp>E;U;vjr)Ff3bWi|Dv zv8R)8+WO|Dzn=<5NydR~!^f2*pUBcRlGLFcQT9-MMI!kjJFxeLTBc<5m36b#<%_Mh zhK7cx1!6|f+ys!hgGy^Vr8Pngh;hORBbt2+n@WF|ABCAy7@IfB=WyD$1I?833h+cV zt-$I;$?Kz5Ss@3Z?xND2pf~yUxJ+?r22Xg%2s656rD2`2|Izv01`##LIHZ;V2GjOB znZN(l1K(wkTal!+i=-Ck(jPOBL`_pGRSqi%+sQ)+i!u%!AWsCN-|;9(mM1lv*^rD` z?0WNU*Qu*YvfH53`c~H0b-nO%V$S#$eM@oD6Si|32Fv$5ks|Wje*2XstZx8BrCWg% zi*waVs@SQ!%`S2ITFdbu^p`I&CC0ID--S+TF5E_!rC+3aafgG7HUtaW~ z?vH7)NuUJPV^9N;AH$Ff9tk^2g2Vv=K!WY`3Si#3V3<$!#CN$7BFnA8bPQUF<8IDRfk$AG;)8z39M- zkbDyN+U#WK$WO-;#ykUSh#^V6>FaaJqF^Sf;H=L&H?c5ZSANA9j@Dj@mjce4#>Bf1_3F8OCLMq{T+llKpvYB8o3|KBKWY{ zpA_<1Q8EjlFjPj}04dGrMsgr_ttdRN&dpzy?Xy0 z3?>6A(h=1u;gN;)N>WBD1+3#{E>{s}u$d^PXtZUCNs2CLZ%ZiMNGgB%IT9~PcQu$TVamPynBsw=Ng0%;J)1P>AO4Vxuu;U$&?2# zl+Te3THjso_|tpB{}VP%*MK+@owl~NZ1~q)X<8dId-bpvVH^6+F$64rp;&(OEjGj- zPL{iW`jCvl7XU_L2tq7LtwEstoOaq@t7vV=ShJgW?s6|w@N@B%GyA`qGE^krnWWa( z<;Ohhn{YM1j?(}r@x1+v3PHJw?#>BX%%5*ZAjwa|J_saN^dKLmZaWgTcXce}M)H^d zb=Q5~Qpf@XP&iQEjQ0Fm)d+g=Qth7JY`!Ax42V|6%J3dAE-0@{@BT`1#}!B^3HBi`4fc>ngRNn-A!8DK z{!|H4wEZFoo&6qJYFq<35y58YXJd17s3ZVm+fBvL6&%^oh0TKJMM`Y0GQ;FvWFn=Y zumo-9tyX70uEAdIZjO7mF_A3xkYhKD#^uf{#my2)j02tYp( z3^S?z>JbD$PAm5z8y2W42m&;`0ArgWDW*NoLQR3PU`NQcNI7wEe zR5%L;GGK^So99l@WoBklscAY?F_D;1XrRzWVcj8t9)E;JqajlwW3<-acVo2+=~F}O z(cq`tG)l0>Hbk#vHukPm*`2|%UksPYR)=wh|b56Qwc zsuAM#sjePlVUN=Q=jjeygmy~5WD`6(F1P9Up7HalD9+veaA7)wng+rE?2EaME4kg! zeP&SZ94nt@+3sfxdnzXt>dx1vqmgk4nUb1ODU$bv59mX|fO9t&240+KOiQ_qu_wL{ z)gYNPz{e~*=$W*!cpqMt&hR5Lk?=_-gAWxfi|lJ_z?cAs5&Ed$ae@D}vhDCevd(oW zK00ilx$TqHZ75jZAFZy**?0XUVt=LLQ+J2XM=;t z14w~!vrweM)__Cv^O@AZH=l%~rlY1|`RzND7FRHhJ7Iy&S=N(p=JtoXk^N&&CZ?Nk zv+N5#y~6?Khf|xNtYWzj&^^`|jJw^dlGaGU6i6kYx?<>NabPAr!3ShD!Ij?Oa1LjVgOoK0EyD zDAeIvO%3HCv?t@SL_zIEL0!)*IIi9&c03y^?q}3Ql@~ED+n#2hdR`!ge2aPX)3rcs z`6TkF>ZxKJH-(i0Wz*T3?*2$bdIFRh-ujONz{EjAa3%#=}2;Ot` zuB+0tBcFA@wTWVJIGK(sp3eDZmi!fJlWaidvj2>J_v( zWrMuXC`F$l&0(iC0PAYA*z&BpnEfT$`Vr&9fn>l5=mYYN<@a3`)RVpQw&eYTC=(XM z8bHk=0d9&RA?0*CN7{hGiQvdbH|YK>ulPnliOvt2XO|>+lt8dpZvHeWtF{G(XKO1yg=<>wr=M|fmlJr z8+0QPg0l~7QGg)j%x%r0ZV6IkC$7PIm8`r?yQ$sR)ZD26Ar%e%LOQ$Hun$x;y-eTS z-%H|-Adld=Pcq0Nsa6wvT5IRoT5Da`>fW#7siRX+xWl4<6gCRVklx}pd4xjqNr{M{ z3g)EYmy8-c@#l;CI>`3t z0I!vk&c5kIRN^VpDIlFSC4OQy0(S5{tfUkJ6xKRsx!3g zHDI#kiQb1f&Q64SYLLcuPSY&(XuM&>pC;Mu9MB}%+U_TI=VeJ~(!TFuB;Aho0$d?EkAaPOykLxwO$p88a=(_j>rx$Qc8;-wT5-%M!#DdqU_^y+> z`+HM3qYO5}=gKD?NY_NNtf&GV40sBtAP-jM4ZO+f0k=KLIJfGakf^dXbu|5Pv^K*iAQ%Z`S-}rxCbZ{2imfZtdU#vDObk z6fNHU+dGRg9|lQ#e3}7&vCmIdH{kpC@tI+OliLj6u6Hx83==c&pBWuJh3GvJ9$}$S z2PFu9JN1lO&>9YS^@KLeef#bdql5V(x-SX~YR_J9io?eX)bbrwcD`pzBKO3ws6{{y z?L+dj8pR+9y4mfSzdQT*-4)}anjbj}JkE*>@VZj6=)7F;R|hy$aI=f4qPbaFeJY0( z=(rpR_|r(!YNDQC-RL_-GS0m#A0T+#7U(dH7zcdP{OW~@fpg(x&4av&*Qyz7$QGQd zXh9N+sHL63We}b&JD*sfmWyNvkG)S{8~>F_g4RepN|s*oKJd z8p;@^Q5J@Kwa&f<#rDq&iRpChKfQbRSVKCQGy;&2eQ`5BEq*^r^AYl10U4piG7&7h zs?TP;H7ao)kEL0Laxy8vk3F$;hAmyQqpyJArbd;B1?$nq*Q%9=iH9?~dL0q$uAWvZ z9^qZxxE{&|=TmyEHdH=8!@lYXZ6M_dJO-AJ)FiDS_kb+Ao?}2X@xWpUz;bPDi2aH= zP1ky6Ia!Z?u^G}jLLMKAgi??l6&_`!j^rHI@3RjWXPu+8UHt_<@0zF| zJmOwWTM=cZ+XKbCvpXs87hMMLWh2Jvljw;0j_%xWxsnTOf%G2ee30g&%t`R*fcb@R zPd^SX0QuK-)OEnz={V$bE<_XY3;VfvxHW4Ku@soQm~qY&I~B& z0xn8t>?>t zi_)6#Tsh0;4X=s}21z2laM#1UIA%pIsZ>+_o+i`d0XZTOhaqpHHwqEv)#Y=CbwwiJ4Z}zP7Od}{n?XnQJUm$t zzC97fEm4zHYY9VA^~5Hiv`F1wL=tOQR^QL-d>(4eSfHx_(s(a1Jq_ETXj>8(0^4=G znMSj)NX-FDqo{!p?EFw?@D~}WQhlsn6rV=+j7K4SUR&~eRE?yl(BCSlfpDDzEoL`_ zAhKYoA_13}2jgStm~C$Ds(6@dbHKNKu|)g}k*G?q1HLN~KN;vkp(jbuVwOgICPQZ| zH6svNaFWd)cVhBOZRp5DWWd|r_2*Kzz#98G&Vms3V*|i66E+>!6VxYEMek(-Aa6&P zEMWrTfMH>bD~fDNpik}ST*A}D2eE~q7uQZcDGX2?&MR1M#VB9b!~}K<6!>)rTMb(c z#1h)z&B&|5*26k}quRy`Ll#`w&aoX=O--*mKrHF)b6rEAZ`mUux-Q4+s(EEw+b_XB zAkSXEtY_wBUO80QHBNQaZcm#ZvW+7H&_8=CGA%-srWh`vOIMJjaRK){F?dH5^%mjA zc*rYgq*+C`;C}LHP?H|VT`T>kAK;sg6?6z9+9NRSZrjoFaD`G{p)z87ia47R!(~vY z@aJWgC~ascp$)}pUC_D@ygQBkL*2~`p};Tl03q~%5*0VzzU4_L+==~ zCKvm?f|hS&6ct;4d@MHXO^Tb?S+KXj2mod^$(<155PKY8X8MgEr@Ya?V?@9D7JSPT zp80Wpf1j&626nvCGm4$>Ej#3!@^zQl=iA zKHb#>rBn`&d601Jt9zycSNei}hE4)%Fzjs{-vRagxc#a|{vA4->8uib*rVjItoF_yor6u4nC%Y)hC9>Y z&!7Z_yth=b|KLfY#C0{3l+qzpjpQK?@yaEd?>mc#{3_!~G3V_J{h1W}sWnQ#OX|ft z;D?Y{_OAh@x*}_shS(p9R1hU(%dBcp_M%;6> zXd~&~(G?JDsw{4Ib%x$GXuc;}D}wh}zm8|P-vsz+74=kDvwd`hAy+I!0d4mWl|Q0O zDUX06C_#IBYvW_S+=fMK$I`tlc{i_jf;^4|I@3WJ57#RJVU9e=-#$qgz4mc*BWE&A z#4Gv0zyL+Hw6@xbaNWP}>PU9heo=#NnO@Y>LUPw$c^Dl>dHBtb8;bFMyH!Opuzl6r z)BhYyZVE8t}hKb#$&M1a) z>$2qijE*W>!zi-z`1;I+=)Qv_Xm%fCkidFhD{X}Dp;T`&f25)*&*pC6m$XJ0 zxa8w*E+jd=GhcKSBdOz;otu_6_KWln&uP{48y4XcWFu^#EJRan;Tz8UV|%vc_xbf2 zB}sP0HP0U^EtZ?_#E>jP5A&8nLwV>5Hlyie2+DEpz(D0?lf?TIGr?bdNmDJjmU}D1 z$d9rDvojonm>5|+kx-hCb5b#%vH%>5;KBD;-0A3jid^W(RTg*y2#VOJ4PNHAj^M|@ zK#-IkmAl9|@Yh0!PZBU6hiRmPE0XxStIh2v8fCF>k#8~2Ys3dBP^jO8Xc2z#^qgAd zI|x_L%Pzt!(^cgf+8(#vdx64uk#0q7q=z!|WsHc&0l^@7wZOdf@s09494X2#LDmeJ zNR}U%KjFx?KYIIJo+pCWVflyAj3LhnZRC;Oew`x@Gpt|$OwS`@gA=)~pK%W6@X&N& zKbckupOE+vw2k%@hJetXj2@dvRIj;AoFw=a>e{0dJf z;C1mUjo=UgldB(jlPs%fJYRmT`>eg|t(e*T&JY%1mO~by7@qd1lp-lots}37nqJ)5 zL2mqTV&P^TU*hNjvS9~FX$cWW58A;@vYv1z((cyyhZXhVLZV|}@D0K2<2B@RQ~gh0 zPrt@>%wr&+wA=c#82GWirEKZdXgkhIt~3nH94*_)?`&C)%nZ&AR~(GvI%%scbDRy{ za{;Z*wb6&h?n9m0HCm0(LAmM-8Aqj_hG>+Mk&8qKRc!2nY1C>bKMvOGTpu;|&q}ly zHOQj~#RHyRh}j#7mn~Cisygx+SFGN%=U)OE31CH%#|n61uWnPooOi40nZh&W99~7* zZa+i zE1A_nk7FOldS#S7F;<`o=5ZrbK(2c)T6m*KzJ(sm3;v+mA?4_0*8SLQyh3T6kQy{BF~{I ziu>NmB%L8bL+_H*aIV-2AsCpqqqcQPlsL3*;raAy%aXk845WZnvEy^1Uvzs$ogd{1 zs1*?%!7RdQwP$i?kMU)*KFzKHek@fRN$0p-0)neiZW7>G5%iXlAu8Mj7eT<}Ud0@p zhJ{CV;0bmohrRRtn{F>f7O}VQqVi`Z%hhLZS6kDw(sFXO(9^%*HRqgvisGPz&eImi&*GM0dZ!mBhmlOG3LNtA?oLbqwBpWxGsdP|Dnf zZ-Su|(cc8K4Zj?B4D)NH_^{D=VNXEvrdHb2QEXGoaN@gTUH>cjCI6uzi#vqMT!Ed$ z=3i-&B?+LG;HY@6R|OWLmz0g`E7Cs*BQpU^g#%PF%>hB0UloImX?eYCyQWW+6k)L+ z(uSqP^PkBvpP0XTEe+*pwe;F z01-cV`CMSN?ZICH5-H9f`l6qzB(Cd$#xS;Vgpi9hj8rSL!a`ABr{)xiK$&A$f(v|J zxm0!7T!-!I0zG|~c$1Cc;(^PCT#~+xqN18w^)eA*f;`Ghnc{;g+MJq^H+S7#pbv?~ z$(5kjN(croyUVFH#Yv6S&vA@WqEfu$Ku^-cfH6cTW}$6C9w8n^?qiN+z{PG z0)tBk5AVcnw_xwmb`M|v>K?UJ$$2+gf5o~fy@0_=)_vzm`H<&Th*v7QUpoeoBZ{A| zS$hG#B$)7ukB%MXfiE-&jRH;ZY@S%F7*%&*NCu&kxI4LuPIW+;8>j?Wh)#4rWdL%0 zd#x-XlCJ7f>FOwR_Y6(7$?c30q3Y*R8LWtN4M~C0j{wR1N7#sL){B8(#02!`wwP<- z1-+GsUyfUlA|;f(a|ebB*~tTvqSmN?R%&2(n&;EnD}Jia7}7Q#-V7A^@!l=BU^6SQ zz>Q7Rc=%EP<;~e>8;fDyTD>zG?m3CY(Co0q2C|QZJbK<;zX}&$DiW(pVQ5DG+F%ce zFb}aexvKXyBYdk_vg>R1>t@Z*#O7~Dk3*|F9)rgwKca1@jef;Wx@1`23RUVlb3V5` zVDt@pni5%xh6l4bGjMAM5yaUZ);0D2dRO#Iygi->Y`QU;kHNL2KdF%+*Im)~Dgmz# zn+ax+Hn2>H4`q2+@}WT*oj*H@4%qc?$7-gO5GlO*rXx~{Zj+{@*vQp58x_G}m8rmn z2jH+Yo)jQY8n@7jd8};#l$qD{9nt2J=Nr}7CRACuyX|6$+a%MJ*jYj1&?%xa`qVV% zOpvAL0;ct4x}C1-?ppD~=HwCB3OwFogxF8NH1DZQx)LL%SoSo9T-PGJ#qV^}z}2#L zn9*fq%oTl%YdLA{N5})dk`^?ptQesKtY8aCqu7Ak#-rV_=FR)sA(a0&X{*k z0Xd@x==`8OklPP*M!*|Zz$VRd>QVC3;Gsh;!dLIIh{^Ma%*FV`XBF!i5@0(|iQUed zps3}+TPj!HgyQ$4q}0NJQzib4)Nk^l{Z`3am!kstTTa+P`9`7WRBxpZ^Q6&#>06Og z4xHlw^jOa%LA(&C4=TPeAon?2qr-H#V-ZkK1e9gkTBKJn^eI1d18)E{_|WlljEdfh z2)&R~X)iHx1f8PmWAVhxyiNo^+ykZ7^x=i3T0uoir|e!%A}PY}_~iQjC-wB}Xm>-D zimZM@@lKO263$m-qD3&;S|nlHIZkSmAc>i_A3lluF{V;{ok5ZKKffwlI9T9VBI!&% zyTWQElL+9uE@`N%38=hoVNZP1gmG84B#CfJ(v5-cctU$2`Fx!jF`rlH?qsi_1OI{S z{F3`A{qA_mB)hT!cGhQVANZSS#=bik_e*V(y$+b1nek_47AzxQY8<}^SO!%l#-65^O zzVkxr0}TE@XD^lH)MYEAEyCePF)#jqJi`k)a*&bHRFaXQfLD@APgGd&?3PjDzj1$h}qgnONLcfaD2QmHGKs+i<;(K14 zXKYl0G~{UE{*>Xiv)P8n!%O);7aUiN`NJK6SeVK3a8g(}gDr?D^ND~}6+o_SNNOaY3=wMR zHmLgQYH&RT>Wv~v@o1RMiHPq2iszGXWWa&S1Klor$BoS4hf5NP0^t@_@ zr;bO>m!$l5u3v{%YP^?zl8g8rt){){@O=!6h{2>3GIBe-ic2e2&ld`;s4CgLi%RJ0 zFmDdpN-CSHFz;|b*Bd$#@jcGSSYhojfA;KpCn82yH;F=jZhCrlW=6un-fwaK>T~Jd zbpqiir+It8{f(N6%E3~7{ZHTHhk(cS4VmZ9^?iLcT+PiNJ39w7@+Crv$?k-CdGC(0 zQRvb+sE1ysW~8L+YwGAd)1I52+}_>aBPAlq&h!`^VP`AMvDdhxWj;b+ZdSPtE=JSL(Q4|RmCb(FaoVL-qbgf zr=DoT+?J@mB#Y5cu#&yE>n@Y0|2Z!LL*@qvMzsM}n2dm@nUXMSi$HFRO>l`9@L^K20AbL^F*zlLN;k6r8~y+(0MScP z8tLmq81o?)W*Ch2$w4(1;j=h`Alhk2pp|fnsuO*DTyd|!B=mxwF!gpw`3$Wu5?6Xb zvPo&L*rOC@x^23cSJw#JS)e?wLLsThydZ%ti0-GN7ndke3sGBYNb2)Ur)`iO!f=8v z(?|9?rL5QLX%rTWUv6!*Y@=WXNqJE(q1nAQ0b+-pnRS66`W2o<2Dmg z=e=*VPskUfWpg93hXlt6Rte-_PbW|4qg+2gOSc! zFS5iJ9WS_kH7}rgVxeWpecY<&_WYdqIiTEiadSR;X<_lpp?Ol<_o{`IRW~3;P;3V~HWCruC z_7*|8nl+nYyO-Pb*Ypux zQ+M{+4s~7_0fP6u_g^9#dimq{qn}!n7HWIMZ$cOn-gbU|?q4;g?4V?;f;XA)@pfV8 zQ2cEak4%l@CcM?}#(&(tsC~gPr}d3xHt*9)`Iji`0so5Z(&z7f+2}O4=Z2JZVfMsD zo4*_*R><1Tr;nFvm^wN$B=PQ~mjJ0&@qU`Gd#I_04{El8fUC1}iHI<)@3l zWb?~+i(h=6-!B#a9QVj;X!iT#U)P!^Keq>5F!Ee0U#Px6(tVv*<)+;K1F?eDU%%M%|c)9rFvK3=yVKv)jTX5TK zVZZ8VA9F7EW6Sfyy`i<{aj(aSh`5-oBop>n(J|p?ek|*WV+%1+!{f&0yDZ|t%-ivM zlrQJbT)-<@Y^7~q+PrSW;2k+$EmYlq@H0zbYf1m7`nCrP88_P7g_k?$*)!&PtpxQY z^{e&?!2?$ZnlZm(-k7QcybjQ~5JA@o%DQZ_b~{SmcPmr`$F3#7eYYgK5@9{=#3rd+ zw=+T{#zxllfYL*S2XCNry@@PyET&SH~^EMYB!a^QFn6EfD>hWHud

N7t2cZCRSpH0z$lSQ1~u57oe{)#D6ZXHSgWMn0N45F&`9>q5rk+i zbeo!aI)-{YMs71)k^WcYjIWLa&4hoddqpf%A{27Xyr@|`UPp& zw_Z9(lfrOORu_4hX;0wSW?lzQSgQNg><8wSFu30Adm4Z$1CJjB>`GqqH>M1|Zl{gZ z$&qX5trqX8nrd(Ox9B|6ib9E#P6QKe?KH+NZ>>0{hcZg|$%T6g&#-6v}Y zl^rg_cBU2fyxRn^FzU}t%RhgRj*YqpbADq>qlcemt3m(bG@9_sTMXw|@ z-g%O#0Yl8E8*1`uJx;$om_yqsJbPomtwRF$TZW>jp^=0DWzD8{c{bv2Vcj;U)Sgn^ zD3PapOH3@3XK{QaU@GEAu^$>|r?>?uII_JY0d+z;`Gm9F2flD8(c$K^#kRMy-9l_0 z=M8AMNHh?E3sN56X&aV3?%$sOWO!q5r1Ldgfay*xo1Yu*5n~z9`Yw4`pBx>DEKv;R zHXjkmC8Z=UM+L*sjlQQQu(vr}#_|;l-3|7<2W6z^Lpfw~IrLcQfv9bv<9T9Ey1EHZ z$$VNI9ot+0X5QyJ=l+kdlScCl9Be=F%;BvF9!+YL>j^h6UOH(^nT-6aVPCWR8Nl)Z+a&N?L~8jw?N5ni&N=NOR<*yHs)(tjk4DD9SvhQJ1E;*hH7oCI<7qFrk; zWMd4c;%Cq;2=M38w06p5Y*|BuuE&PL3&1@N{aNE_xO3lhPyu=a+ihnX>_|u|06^!@ zqa||C4pz(2=i+zmv%}Sib6tz~i7zjgj-06QQNT|8{3r#|E7GU3!mr0{dQzF9HsW3@ zAfeb;IEluo@}mu&8JK0P`k%klr(`vxrrjtfa(PH{ny;d+a#_L9zY40j=Fbim2UM{M zBw^c$1Go}B5}4vw-e+?5vZM}OIKIy$74fovtWFBO+t|>|EO+KQ+Iw8%kz|59>X>g2 zZpojINFeta)7O9U^NUaRTE82xWr~6d-1XJ1pu69l8UTMmP@Yc(F})pYv^A6$&65_- zk3pwO+s4r-q8dKSL=RdoYN!mZ(u_M(oeO!ocsiCFNLXRkcE%smbIt$iOSzSy&uXn% zUchIj_#HatP|@tsAIHa(^9=#s!`wu~uB(97>o85Y|BNc{gVlnbjn=#`)$2D|Zk=`; zAhH2OQ;tAHYNx?t@0ev51w~MIGByJk(`=CTt*TV2EgdfNNf0Ivfcj0(l^<@ht>SyH zakXQUUr);^rrTrp@*ghV5UvIs1g^GQ^`#m+I+p2GvppX=S>Qd9dnP(?zTn)})|RAc zk$ggc&>aaskV-Cs8Ex~*aJ>41Fd3#^qiF>yX^&2$=omIN-QlkQY4u`SS(HN_z@Vf! zCr!G#3_d+wD)EP>#F9vnt+BE+h)Stcag(8IUK_f;QoagxX6ip$&+(od2OlF#Gu$ZVL?_4(56=@pDrKYGdQz<_8OB_i1Dx}o!CyMcGL?-p) zM$1F(M#gRX&pLO&$aC@YK19b^lV3A+j`|^13pK+<57OG3=Q_}oVF=^HxkTvoDrd-P z0yh)Y1YP(CGn$SCNiGLCXzQJqmN{H61?ZAVgUvJ=X?D?`MuLOHv4*SB$uLDkUEWN_ z%vjkDDi(hk+>t|(#w@IMk4^R9c{?IG2uYUPt9x30wD!DfCE)(jQM}zkYNPi_zI;+1 zhTEn`cUDpC4lNUCTPER%jtPO(7x8#RjBU3dl9r;}MP)i_4W1j?eRs6HK)F%O=Zq0`<10;@O zJhp)nfTm{h@J`C`7PS)Yds=HEVu}Gp-e~Uwz3v0=H~v}Py*EM7!s#t|77w|{LFYej zk2}l}q*8eOoD?KrB(C1T1_hHDo=hG_nX-;E4;kOz}e zJglflK2rKYOSk61SFh`t@Jn~$==V(98!bLZjps6y%^SK*sZc!#As>nz9II8{$Ez05 z(&|t=nn%?{clQ_!@;lF{w9*_i>V_;Z!V^~jLeS+GAviuy@X+>f?YgpEIm>=;xn(V&$CrW^2sAUn;7okk>R7f zl75CvDE2$&A~u?u!147p53*lMF+G_74`Xi~71j5}4bKb%3_Wzi(A@|~4qehncOxw! zNDU2AiU=s(C5?0pEhQa-2uOppbUpL^t#_^W`SZE|-8*Z}y=R|&cAov&$wN_(zZqud z3~YaQyqyWQSI@SgEwM0Y4OCLLRbd{ST3iID*|T{igYXq;?@uER7FKUKe}n&{%Gg-U zG|^Z?JATm2##zv_kHfu(p4M99euY>`Y*_M?D(@XawVD2$B1%?Zw5Xe?!)F#)ViOf2y*`c^?n zGgK~=_)gR~jbXI*mzqxbfx1+onTV0dXkk?q-cT~VvSbc|^?Re?h8X_E#YOG1n|`+X zf-F;-{ljs{6;Gz9+fqFSLc@)?Di~XSnOt1iYl#TSd`s!OF*}ap;QKpTmxb!P@n;KP zbL;|GCSIK04ok_CDE_;=w6d}Sh$mrDD0v+krO9h(@Vt8UihJP6?ttr^P0-E{N11f9E*M1^394wh4kG|zQeZ5rDuux+Q^_|lH8Ya8yiR6-eSDmoCq?LB^kKxiQrqgc)aR%;Y)~KN5|}W0f18n zqt_82Z_aaN{(TyV=X;VdH2?OxVoUS%w%#%RF-|GQ^T>?+ETC@k0BcHbFsKW#J?;`d zYEP4%mrI<8&p;HnRzFJCcX;`tyvxnavDlNlwgK9Rcyo%83k_!3l9R8V|F-3fL-oV(k% z&}263H64A7$+Ds#n-Sk!dL! z4U$%l;K9LYARyOvdT9DUJo(eV$^4DYB^Se)l(le#l{gU+dIB7{zdO3S8KS{=42EgH z%2O_F1t_CfvZjW7YWIEE`adswdzLR>wmBm7$Wq78b`K8+PCRGz$rWFD(zu-A+kJoS zY}-%Oh@37?f7(P1-*UM$m#kf?a7a|<*JBo8RluD`?Y@6}zc=X!x0|Ij_I4hdl#?tcthz)l8?frfjw5S?$2bG1ahC7l0b z(OUAaJrfSMWS4VZeva8w1k`5SG=)A@8rI;w)Q?=n`tI3k79ChRv#d^No^~{?$X>$n za(3jxU()H-7tGv=(%)J#ra!MPFByq+C~D^7976bw!UE2>QM)(&>+yAq4OeVIY!nW8 z-^P?=+}T>o{TT>C_bfZD>>(@6s)7i~{fL9HcGz6gZQ(+bWEYC@(L+doa_9=KVaRn*cR=^b?~w(abF`6nop$83Dzrs!FGRb>O-; zn|7A!rVq^xEp<_OD(!{%=Z{r2q}53W3te?Ee>!Tv_MPzSZ0 z;ZSfz>3#xAOrU-(tE}WRHjt!K4h*DziGgj;Zu|m&c40y9x2#w2v%rWZ(nfLAoaX0+ zoScm{6X{c%UD9|={hl5ll=H$7@MKaaVK!I>2|(@oF?z9^TOF4HY*9l*!y&LYTYo={ zV4|Z}_VC~%it_@z&`HKbeEDL68a!S2$z$HL zG41{D6(5+`9$Xf9p9uE^Z_W8B6!d0-#AxO*a{f$D*_Z^--nNvKV4z57|GDHRcH@%3TZ)&cIhXERhbSMs zDa{oMeGK>b_U+;ux5clMfPEr2_EswjlXPLJKdToYf(;IV^g&fp&IAt+ zSDf4}!0DrSI;q&A2cvk#BrgPxu1}dJDF?LiigtI~#1)lICw}YnH#+>xq|}0hP3#DT zmA3HM*6H}Xc~hCNz>>uJEK3t}d&1I*pGf^varegNtQ8Du7JBJQpT_Nco#lu1?;6m< zT^_!t0&w#<0oxffj__BU38sJ>zxfsx+hb8g%S+cpAgsS0d=2Yc_snYzc>W_t3P*LC z^1BxeN-Alao6E20slC|I;eJL^@=Qd8f#PdkPI(uJy~n?ci;5<>x>+k@d<_i^7NAj5 z2`I^mzvXd&JejWJ@s^7|OrTZv0O8FC{1 zV9skNcMnFLx7dx%xr&0H;pW-B{w%HiX38cn&N=&Vo|6MoPake?-|8DKq}rLF1W#dM z71F<)C>xn5dyosoyvDIzc|5h9oEGHF-{e134xVKOT!M1D%8aqZp!z4FF-FAz{*P zSHJ}EVA0^?OXlXL^5lKkR-ai@VI~pCR_UJ$^dYPgs?z;7Li<6FV7?U+@C-OaRoJ0Ds z05lY;6!LeRafQ)j)9f3Ynrv^*SWe#3s<7TnN2LLVs6Db!=dr`1rJ_zp&S~&5$+(RG zH49=?s_ID}2$u{deL8qA5B+Q*0le}{^|;?U?OYd6ge`(j=j57F4Cr$vimYF7J}a{r zk^H@#h0x8>EpT(%FM(8u9_@l ziH3xLxOhog{wCW#47%rPBd>JoI{AVHQ7wQ+lqU&Q(BVWN4}2Lvk7?=$g&Cy{grleT z924Y~?$A_JCdSb^3|lvnzM~{yXV`3OyDj*;I{kZO4B6v_TQEh4nj5ZWjw>3VWrbHI z1rpO2W;KZ;2eGLGN5|Y1upiy*tYEM!f7vTmLp9za2Fj)|qa1{2Qm!;c3LjfnZrdq6 zHG<-3xlgZ>MOX647$A~M%ggUy4DuAdi3IdmK~aLns@aq}Zpqg`ADd>&2F1$=Yebdl z8x+zDISRzbx_KFjkGbx-h&+D|k)y*c{F>=``S&?4ZX=#e+GoufS3n-TaaEEMrjiml zKd;Gc>PHzao6Z7ZrBZwL5$3eM%CK7vb7SXJvN1PD>#&f*HZloHclWLg{EFzQ2m49H z5VQSQs~dWZRk5SM?aONuPq3Pd36f4eJ!STn#*Aj5piM07>?B|J1mxN9WS~LEFi?0@ zQCOtH8W<4CiH(1Immm}^Y@n$QNg-bor!TIqGBT>u^C|tem}BM+G{|Xi<*k|sODwVAW$ z;vo$M#$x*wKV4{$#OvpZzxa$MQ4AdABOdSL3iwO{s9h7|SvC>{NQjHKzaUN1X*-)K zC{Q~n#CV75AZ~W90$yvaMw&tKQqQ^fFA|< zoMB$wcr}T_vhQgp2e}(H62JVQJP-S+2Yf9|by!wiZ6QlAtVs$9M;3njhK2&vkYnEz zK;#9%6`v2+`-aDY*D+j1TIrZ7h7--;*?#!lLFjtrxXF683k9qi zh9FQ+=WNBUGop!zV1h={d^u?FY{3FCfvT(BhfWt!?mr3zdzMnYm_mljDuWx~gg;%V z8`bh}adG#(jomQDb~+kJg9-{}Fa*eo{Z*9AQ4;4VTX<1TzF%MwSTZN2Cv>ES7J)o$ z3bV(;rx6QZeR@n*DV|;vL+$VM{Q7!OI4rL{5Kyj*jM_62SjbO4?-q^zmSC%~41vbW$OwB$`P_tqOd&D{@!PgsDIqD9o63QGf15rQ^f zKW}XED`*X100CL*1hdH;o|8y;kFIXj_iWYYH#87*->s1O_+9`3+Y>cIe+D#Qkyf6b z;1A#VAq=RmN@12uvyY5mg!J`p1A;U}m@!`)z4P;NuuD*THd%!IZaK)nxs4Oajb0Rd zcZr*jJk%D^^X|svy&Wt3`wl6T+q@zI_K9eO|L`8AS*_Mj#b6K+U4R|+B{#Z#vrO>k1lX6cR8m{$&(*N+)Q0^zdYhc=r!qA8xuw z28jj)V4U_%hpqv_$xpw}KGzi-nA5tEMDP$XxcM2xkUqMeDB4!*vxgeleesanrtZaX z+mB~rVo6~Ol@u;~ojx?wqVCGvBKVn!eIuXJH|j^Jdd@*hOK$~4N^lLP#?tL6QFgTf zOveQP1w}*0ObPp~42dWxyl ziD4*``}q8`nkryzF~k2Z2#qi1p%l&Rs~?dX(ZH2oyAVgkl_ytaVwLHBMx*2i2tdYN zHncyN-sj$&U*iGU`Jo6?B{E8T=C2e9wQKkZf(e%#gz1AmL&se3L4q)Xgf*svmgL49 zzfKa$aVPb3BlIW;|3m+K)hYsQik)Yy;o^Bg%G!4+83ZHBMfb^4O*h^=JeAd$|1jp$ z!hv=wDVN<%ztm2jZ9lEJi<0rY3LhV2$lfN5FIJ!Pt#H#OqKSn1OZv5#iJ*d9%T0$p zmxp%@kmvrA?q=TO*!qTsuumfe-@Z|o>$k=3`A9N;ej$gWz4F#vA`71krl4Mi7_yI; zDBYA!P}1EE3I-3`m27-Y|9!pSi0?~-{vP}uu$R~B!J4Tc?np&1{qUsUyzy&jyW`ypW(E>mT@md-IX0;7`19(UF8^^U8aQ_%J_;uj$zKEjsd9$Ilw*SqNe}(VENX~R>H#H|wIu6^ z@2~==bsS=<2%G_e>{qNz z0^kr?PTsZIb?K8m*ZL}t&AZjr>uDtv#J{9kjj*6I^u^n_45C*^d~|>V)CqoqqCkvR zjmbBMY*IkugMQfBc>p#H8Yx*Y6^RZRiAfsoug3)e*-$Y|aM)0eR7{=k0Ua}u>VNAQ zeDPZN*<3kS_8S;kJavBuK41_4j%HX3pp&fGl!D5wy(vCv;=({em3Yu#`>i9jI3h{; zLq8dc&c(co2;xqKO(qn(FC!9T=uu6Q=>}YgwXnc5KmZ;{!UyVq1{$>~k#`3(R%oazhhf@A<`?zD;MN^Dxbp8`l+=1{G>G}1i1}N<-P|bt!)da& zNB?umteJZRXYHf@*VgOgQZf?~%K6DaieXEpMktEf;F3JU;shJM_S(A)A~qX656pXT zmzs|Wt0wGE`OHIbDE3%IOk2lJ^3tjppB3DbYJkPXfZjOQBOHiG1Ah_rln3^#T6hh7 zI(UaCDP`|k0Y7;wWmF4K2S-F~5UYV=BIMaO(T4=S@0^QyuDx{q)k1sfPvqB*hYA+a zq+3eU13YhiFbk%P!uEvwsy^fQ`EG3Z92-^zD-(s*b!c4x{#m=o%?=k^r-$vm+NkUf zYa&JyTM&um=F1AOTCSuI?)2uy9$?Qp+qazoA`A$|VRm`Egb_BraCM+4;A*~V`6<6O z;3u|=dgxpDiT^KjC_pee=A%lnf7Oqu+htd7PR?JRVkCsi%MysyM?bC~S$n9S&!T+2 zpA31UX7-RsI0?$O`o80h(fOm^0Jr(*p@5z7!=xj*Gwk)x8KdSRVtff(tng@)ny~f# z@qG`LGC@ywFq`F3Bn%SFmqT-Xhc}TOKso@+@ce+n5+HWU$HpD)hXccK+SK?Fd2MY? zXK`#fZKV|zZNJCXbm4gu=^!~6RKeC(!+N}XeO&ZWl-0D??w*_24GFstTr$xTLN|4^04ye5sp#)ptbiBHz|`}%$87J5Xo%u~b`5Rq zOLKEKXE{<6#{{=-V|>RCCqu6)K+jB?UrV@^;kM$u5D_xJ(ZH4w;-FK0^r5n4!up4w zxEgpI&D0&PLqrm0r39EfkaOaIW5#{Ol_!74BD+PbC0SJwF|2^bh8gK8rVjv4oQwJF ziqQpma@89b?^KyK)5McK3y0=aR??sPV-MS5FYq19`=S#VrwB}cRFeMCC-zF9_nACv zld2j3qn?`-BZ4SSwn(=x3cbvxZmOExQnEJKD$fJ%GK8?fmq8)iLYw|O3ox;L`?w(U z+Hv%crx3(ygJO2>dPLA%D*qICV@8MhhE~~?IqX!y;oLAZaF;$`1;n+X9gQ9S^WFmB zMxkjyA1DX8_f30~90R93(0IopaSj8mAJ zD}K>4vZGj}tNN=}FuVe0X|=DdOcP{=K>8EZ^{^HZy^pZ@`bMjXeipwoXbim7d$4}u2>#12bhEZMBZk$Wvr zZMw-4&m@YVGOfyicUVQb0^fcJic2i}(TmkSq02)5@LwuuyA1-@x=ucu{=VqB;%={M zn?_6jDF3{KZD>YpK|0mhxM6ZY8}{701FbZviRr`e-`kxh$sqEP1llpR!LYAh@(Th> z{9bg}Xa3)aDA^+@odF!a>dK5C)=^2b`CME)yvu{Ow6G8}*GOZ_LLvDoa)6uf1h!d# zy^uxVAs#Nl5V9h-^%HZHYJznI0dThdVa}b~Ob4C(qa6P?di>|WBwLj0Ym~;3+ULdn z=aixGTW5lT4LF6_+KK(`tI;&Jqm_o8n^LfBEJ&ryG;3+7{7FwH*lH;0_~}oSC97UQ z4~@aREg>$2+~l%ILSc>HRkJTXEgLSHJ(H2&mOUi$!3shg$r$FguSCFxmNAe@j01Jz zjl}@Du z9Zs!nKzz;UH?Dj%KdV6-#%WRP4wDOSu;t}xQO*d;BdU{ma6YaNBDWi z@5K;a`xzLrXP;M;E$`BErSG0FVu&B8W`HcA2nO~|!jqqpFyd|3g%cP6O(hFo!ZoWZ z41@@9XFx-YQ31H&uuM1%$&Mw+dHzutg31$L-W5)*OG|Z02g98D>$(5>QUA!MX6Mhb zH}++%7O{^HTmD@7i)ZVxgFOO@k%K_1bkD%-PL5*ogEaYILO$>dPDfQ&Z>SUxzE`ua zN98$kmuuJ8kF%ui2C*(yQdpH{GBLtI=id&?Y1w}Kx?SkLclHtct%U+7*;1enVtn88 zr8sKbI;L-M&J=*~TX&S%a|J;&=E7L<8p*X386TMFuaS2lM2Ywp9B=(@;o2cWD6^=5 zT@HG-Ce{Q4)*GXu3N+p{@d#y|Q3vSe>yZ&d&1N*N>RbZLN%ZCKz@p{c{_iUE%&Kx) zS`$;4^!JAZ7XIrurTOY&Z9AEYp{-9J0VyAx-foVVhTL~DvAwkv5i}1_ZeNMMReJ&@ zS^s*=uNrWLeG&1SJ;y}Tkz`zBo&g=?y=3$p>a-7|jQdBh>NOO2l&n-3Tm&`E6^AzR z6WGEmfIp3&_MeXm$S(ICVx9k>rjtq4ReVnDgP~@MDwGIYw_pKcskXb6n7BFI8 z7%bzyO`XRDST(%_Xy~_iG4}CmxS5RTaT3KP{PG&&;e<3o|IQ-v;{4oZE<`X2Oi=B9Bz|co9kf3wOF7GNqpP7iV_2JU= zh@Q>>&i@iNxg$kK?kX~1GO-1YI5HIR4LgwQe~Aua7#S+gqe?T8kFXl9P~x_1hFa&g zAN}qQT##}}*PqilPL0wTan8Jyc{utAls!9;338a&>3+P+J^g8>R2kphtEa*mwv8^U zLoTODr66#QC%hB4Lju`NW=+$@G|}P^mP36=*I`rU@qa5bXkmd1?j(2mlgokVbJ)<= zsj=Ig?6hpx{64ymjGrQgvcP$b)(0Ku_{#eCsncLk&nW4KN3O>`zO)6A-rbu`HCNC# zK1Ue!?0}wxR#V9J5oVVtiN-(5jOuSuuecHv27BVC*A(tQ-+jhpPXYUEW3OnNc<{H! zma8xmy@d168gd``!YG~=0!4VX8;pVVxF26xt-X%5!kHrJOecN@;M%r-2<4ndxf~ku z5W{Yl=fCJ;?mT`s+$z86_PEigRmtRQ_#CEfM;>;TW+A@heYBnY_*Z$Qv#tTXgxt)s zILSs+L6XA<>GYml@!<#RxPiKF9uSEQ-o{WtiPqh!=HITmm01zN=!C%m68)q2O?fj>AqvM(COKVSO}Ti1ovl1;4nx%%M6yhIy$JmFZ#`|x1`%V)$(F%ofmg+ zEU(T-sUNI&A6tI1%q;bCQ$B-c6qYIuuA}x#$JP`N--9x5u2$TQq=odX-=8k!t6<_{ zp-Aj~D+7#(68ZkcUIR3hrG8@ZpN;(Q7AGgQZ^ncqy7Y~WXRK)Wrw5nsPF9~De1Kp> zvpSMtyLWn+y!NHCn)CL&d-MFIa4)Rf9p1(l2^i}yAvzs^qi{Kb;7db>;*E}Zm zkkdtJg@=^Qn_DMLOo%ef*K>E?YPTu}I#xfN!e=0Vc3~r*2vGm6?W>^S4xyYGtUs~`bQG#X!mKa3NvkF6Y zlk(mC_NmJ3Cq+<>{WMcJql1f>KdU|nY*N4>g`W6BfE$-h6lM5I-~Ii;XNW35nN($1 zSwZu^UU!20fajJdFql!C|DDXCKl+{z>*=4kE-lHfng$YxlPaA0y-#UgSl;0{pthc6Y=X#( z!4)9%sSZn+P?f3myW-!2gZQrFV9_UjDq8NAShelyOC2YyaA*X#`g>+ojVXu8Rr;T& zn;*4)Eu+F*xPv<4eUOzO;gcFk=KcfDY<@X9s+dvWop-+!*syuRu|PR<~qXDO0+nIGQxLibib00?ttn z04Dx<&0Fw?2$hfQe0pdOlKBvuoUs9rl)*J7!?{FdNj#Rjg72Cy|Ngv*aTSpQN8N0& zW5`;2vQnul%UmQs`G&d#Zbp*M>>*x+F7OLF11J89*X7c6V7)~5`dJ^aW;BnfSTM!p zv#ryndqe6o(Il9*r`^DMTlE@*18ZRi08-Iq%dI}hQlZko_`!!RPxl^@6ON5a>06Ti zA^P^xnR`ccLH_64crp}pNj~`*>l^G+O1ZJP#nJPt4+o*Ep)Iz_&u3pKucz2jZhGJR zUAHyY@t*u%&HKE&Y=knLcUnE#SqC>#x0=!IWXjs%kZK8sy^PX0jjsbc&lww*hiQhL zVuezxn!$VOme?kVlz88WNrOv z$#X5gw?kTwg zwC{eJbNY#>q~WPgt7ua>6d30&eY?@fq?2%NUhWRQTFHG9nQ$zu>AF3uF*Vil=@q-o z0}hX{%n&`>>o<^>57`Pd%{};=gdcj4>;Ck0##uColN)+gP~!~=ZN02NfLP<@$gzLj zBz}i2w)@-Tz6)qQxz^rm%*(LB@k1als+Nay#QV|niB?rw|NdukF@m%c|5_J3R z>mTeS(@D|1teMIv704t@{>P1?)MQ3#;Rr8a-7uL(OkDWO{prK%};lWC>bk__FSkx0ILrQTJPci<*})D=LNTdsi}`pK^&0R_o7gyOv zOq66*%Ur8FA^`^wD~hVxV}wqM^xFMm{BnbsdRG6+=g@W>!H6}6D-IDz`g;LpHdj&YoZCDnpba4tsKglQanUYW%?Lnl~imxFgI=`AlzcC zthpBEk?gtD=9C2Nuou>XBssl1W zpMy4DhjvlM z`QN=7ne7Gfbd=qHH{MEHNY8v!){_Nr|9K{pm41zA9Pc4?2noB9ZBuVvu6;fmeWTAT59Cy#HyvYq-=o+oxqD>$NiU>%?y7e+4 zCe?@RP^J)6H1HpAsE_j-qsGZi~w5!lcX zrP%I0ZDj#&ITE*icGUPtHO>YIOp^(e!#X`BctG`b$@1ukwT%uST#J6Qn2RQD@mrJC z#)sEZW2ZiG_8a$*w>fqz;cMHzzsomb?q1xtRb)XIOZ49f#t!z#1w6(+14KJkZrr#Z zgy4&EwO%tA^EnU8kjf_0^#JMirZ)|DtwXSmQt160W(cfXY$3+7|6bq?sH5+eC3XRn z6)^wv>#ut%DA~X-cB#NO{Nju8_CI}iSCP|mrHqjPtHvkTN_QJN3k!lw&g>zK9xO^* zNp8|VWvvOmp8iz8wQVGY=nOif%nDwA0_43}J(u)aozPKBl#u!O!*l&$RaS5XfL!m? zI(53@!#e)URW%>H>kw>Z;ZYy^+*;EMkzw1JJ-KJpUyd!HBJ^W(YoQM-5{eGeeD$%d)=A*WN`QEpM?ZEA zzlbCNepk`p|C5w{Fp0%!e+kKA>Jc0AY%w(USAOYOVm5_~XtuHR?B@0SoOfUv3X$C# z58V{dL>up?;;i4j)jyP7R(?$Z!UZ;htp?f}>Ui3NP9~VNya8tDcayQPoZIUwBfM-)l z_UgTm+WB9PiIq3=f$1kzGDkM6dfi|cWwZ153<}xDlbQ7z;Y!gQT61~li=OAw6O7xj ztwdG;E1%l#zcY0{56`(>)Rovs22rr&M1a$bfu(9@`-da)Xiw$9Nwt(}kK)3a_sULQ zdxnqjtRBWB>TM;!csJVS;4LMkBp6;Fz@jc;y4c7l?;@YjRwQpeVr^`iqA@DOys?pq z{W>N`i3>}u{;jRzww!Ui$(oprCU~;Ubo4-qPnxnCYdwIYqwb{1jLGfQ-B-Lp-!?%1HPZQpdO zfs~mCVL4}i0zvltm++mGxqh1xlk#<~ns(iO$Lkx$B;fW7gv*o03gA`~(e-=f@5)U} zs};B6%ooFneJT@GwTSj9PGmip%b<#ve&5ye?`rNr1CPyRMxbWiyb0!QHj*DHl)R$h zX9q>topTD(mj2im9AJMH@vOpi94^&UD{z?NqTe^{6Wh@yIP{p~L-k%6t0R;L<%Rc3I zI`PzP_}Yn!YTcPuJ(J~#Pp6ktRjsJbxs8rKDQo$|70NzOAMa?U;6_6Xy5DN{H89@i zgo7k+*0NLIJ#S25Hl2r#Hfr4_&Qlc&t3^y})9fh@qxyfR`S2#@XsH}bBo7Gj7KkJn z54|S{wv<6^Hvn=>*Y=c;;~0Z|)qf}~mKca-Ht-_;=Vmk@e3a36YoJnupOuiATC2_oVz~!_Ni@$Bq%;QR?FZd(QYMSlXT#)^BTxoN zP=_u)2b$|BYqm&SA*6GQ{x|QBO#j>?HyiIOky9Lo7QEQ$_{kUIZwNouS%I%V((hWc ze0>ALwpuu!SWClJphF;FeY$ik9~A z-4VIgGv$Mk3aCBdH!rj3*qgQPJz6ShT*N%h-{%NiP-9B0KL*d=FJ8bz<@0))QLTxz zC<6H1h@s~Z^<&yr=5I;OYk+1!#bv3J1L4e{mPA6I!|suqh(}6zxqd-SO)?Ckt!pzh z{qh-znA3gtpRt!iQnY6BYjLmO(N{l$#)phTe+R~un)GqGXctZeXZe!?`x$`_z2TXN zSKy?sL9G56_|Wby`>8^fon-VhmGzKzm~y@BblV6^PQ^d|q*5y5;6YPob3dTIDBpo( zne`;l$QO}FTQf@)X(S93T5m}rx?Ionp*Jzp`%Onf(SI%(4nwN4i;Jci)t6IXSuP3~ zxOatnTU=3^q<8l^fvVu`FoLkZqP>`t(ttR9#cdPsAE$xs>8xZOR7NF1oq`W+_Gr*>#uqL#9E@6y9+WLv-7!{CL z5D32<0l9$Jiq(!(VC#kLo9Vk3T8%Y7yu@l+KYyyDh|-Ni)!{s6WcuWJvGDD8(;8oJ z%0>%xt(saezaj%| z!YAOxYH1Z7rNQIRi>Srx4w=<%V8Y*}8$Eket(U!eGpx#veC??dGx@yk(vNq3)X1o; z8Q?x_U;6P{)P<9*wexoAvM(zwiQv^y9Bg>`y`_U25W*yMQEp1hXY-i=^4dphYK;cg%l@c{=tB30hf6 zpet`Y=XP=3JkvvUM_{$>@?RLJKXj^dqqaBB%6V~Cu){D;YFVd!{G{81%Fx~^owm!J z6rMHJ+6wzt<#)Mp^b$GI=6%wD(y+4QQvjbkr`8ho_7UN$i7jgWq!c!>nkekN-z|Jo zcU9Ln)k&42$}6*h`@_5~6{deRQvd#CZ?h})Xnn0~X5_|uXn43l@YA8*4{{|mBi9Nl zs@UizKPvGw?dn~wEn@#pr=Q6iMeriR5m^ql`vZnv-_dshui1x^WxQpQf8Ck|zyxVV z|I8gMoG&|O$qLemh8uDcHM%XAoe>eqEs98(HFF0=qEKY6Lb0r6A!}S+bPbE)+k%KG zrcVC>fhB|N=&cOxD%t}%Q`OYJ@+t%jG^tzqggs2`*r=niY^@K`L#NmwJ`Z}!Oa2?% z<31wK){V&0>=ijfD)>StuUg+&A*2@)UOEk}U*y^aUx|2$p5U#a$_ZQ)@Iw0P5Z?d{ zN6UlC!uNO#Q;{rA=5yw^-d-cv1@ztMsS zujkXMo`V0N;aK2x9J6}m&)-u+eQ(w0MQ7U1^ljou(z22D#84WH?84CWZJF-Lz9USo z4_QTS=OdSX7V~q8j2~hn>3QP7e%vBSfMS~uftP>t+eI6?-Y7_kW2rCBn_l`}sVX;uh~+lOAT@`g;f z)E+Ww!}n5E#dNTXnblM~Y-H|oZ{F0S1y<7E3?TziulqRL?}4oew|x)2a^H{#RUZdq zAJk=9|I^-bk~$F_wedAZ5~G{TpYWcN7YAa!AyyE`e zS27OADKY}h3pTFA8Bi6IsA1w>{L(r;?^YNt3!fzD2plyCUOwe1-H0Hbrt;5*8stX= z)(5+C9LHNTDp3oF*oatm#t!&5)+9^#9hYnxHV#D_X8$nl{-?~n`YZf02eAg*O&MmI zg&P|UpF@9872-Aaj}v%$4kZs09P?S~qUA2uzYKl6{xp5sgT;Wni@a`( z)(WdTcR@6S?dKPB50!J=*DrK88*L_`VeZz{pI243`JeBsjz51o2Q_x%-0x@{A$WoA z3ILyBXxX3h-z(>1Lg9mD28L=bqwGhJ(Lr;3E z0mLfE#3hR@vg~Fq8HIF%e`eD(9ZfvJ9PkhmnyW73$x`P}cPK+$^6n+r!dP@!Er0>5 z<2_hf&3LgKr|!>zwn;$|v&0E==R{H_c*Aea&9v#!L6|Wc0_rg7Spj5*HIzJGNE+az z3*jCt9AMPidQB?92i|%3JvYDm)5o@(CXJ(gewN5?oaA9$5Lw ze}ftUR^tG@$;dgBL9I+W{W>fftaU~-=*5Qgl`~R)Q98u}YQfETb)C$Fw3XvGyGTeh zPwd!hTiqZ%ZlTCGZ+rsn(!`3H{A6eOFs%sD;C7%UT2r#qu1BP?fO#R#k@T;^kym2? z(vkP@kBn13&wF2qFlDNw%TKH-@zNa83E}seqWHSotcA$bD2tu#59J_eQFK zHG#ahWE^bko_o2SX$zs(iOhl=KDE^04=@`inn;yAulKT0d_kSwCbvJsi((qE2#^|? zY@3lLVm<}_7Tl%0c5^)~?-FMK)V*bAQ4#I}O1OhQr>!8@vt?|q*9y0k&%>%roAxuw z8z;#iY>@yt$Z6@x`{;BuSD=BlQpOU#BzbkZ*F34?$@WBN)aAEq80OTYUS4pcCIJ5n zg^?FGSKPcq0wZP1_dEr`Ppo7F&%!Pz>m!dH6DhUnnwYf3VGzlV6m?i|I8u2RpjgIG z#H{ngN%Xk^D9hcN@+j5(dNa!M6TJ@Fg8R>kr}Y-nKLWj23;<* zHvASnNHoS^5LZkfER{7K>8%b9V*si^r^RBzv4Icy!cp891jGA!O>x8&|W!6 zyzV98nY@f*C20DfFyJQBDEO$oa)|l5^2qIv#L99%)^Jk}jwS^V(3O8dj#xkoMp`E* zT~BZ2Zq$fArVT&%WQjQ?D&^|~tI%esRbrT-*ggmY>1n>aaK>GP5o6q;m{S!h@Xz8DnJ7?NEkGu3$CnqQ4&0+k_T9;D66>z^ zUQh>}r9m!qCpYWoSVZMYNI8z-ML0p2rJQQ=U=u!(D%(HIpkIF|+&SWLgSe^xsIq;< zz_{+xDrd*)pwUIoW9j{{TU$PzM4;6klUUsk_Z zK2=@<6|FF%A>5XlI4>v_yLZ0*9VG&w?gS+&4hA(N(sF)!$hOr{R*{;hE8XHpdy{3> zJpZ6(gM}k}Z2@1yfN)1b7n@)o)T{?g;5c@GF7;VU#oOS7i(mr2C*izU$NBol0=J>|uMEt@!@Tpr7Hb&^V6xQ-G*D7B~~27?z- z_Sg0`Jv);E>tijnql4e94x)aKSjb^DKut$MxZEz4gOqb`v&r@&%41h!DlSRoV~EVVCzw-i3&GOtW&Sn-UnBEP&8m3$ zVM=}#$t6i@QS;#$-xGVH`PA1kF8(jDkub5(p7lhqX@D+SB8D~<56z4Uv2!>~@);Z! zH{fQ=2_mmCngW3o<<+T8KG*GH;9uyv`A++CxDI7dHLtC=hB3&tuzRq5PD||98zn?w zBgYTey;WUu*K=zAkmsVqjW`Ule0i!W3qI?aAS``7h|_74dnKr{zJg`UZHPiQ}vbi_@0-?ZMU#zM(zoICKoB`|ZbjbBkj^uIUi z)&_}^-vX#KzB2kh`wUL2s&fr90ET5M-?CJwPAT85C%YZ4i^jvgnXG$xVbq@ zgu_btGTCE%T-Xkp7L`UNdc58)y9s3ktKn~a%3+xa!QYGaE$K^{Zh5ZwJXim%@^^v< z645LEErg%#0?XI-6XLDYc(5nR?mZ=7lSl5_u^<`bWRP42!thpSgJEQX6b<<0BLW=s z2Mecoyr0-zTD`c?r;NO$MZDJk9EA{|PJ zbW1l#Bi+q=-Otf`_?$og^ZCrRbM3X(-s|_}9}Iz14qAfDx#1__(lBz#Vp>W0PjAtb z;U9)*5cph?ib;&*85dLBHI6M8f1DW0Q-G9(?KS5bpw&E_YFo1Jz7__VE3XseNDrzX z=<{l>x$95+)qb7vl#zn4zo6S6t49@f%Cbzg(xup%AKg)wma`~^`qG_x0t1qp2@Gpe&Vwljet3Rn3QsKdAg;M31C`%5 zHn0YSI=$xcL{#>d4o>{qM?O}sTzsWCaz(ndmVQ1hRw)*hIT;&+V+F3M+ z$ykKW_+=$dLjZCkzDJbidhJ;ed`0xk^Tl8{)yM;5Vx?V~EET0e)dC`{Ysh5&01lni zwg3@mqach^5|L{u;=b!s`Xa&PY`Rdv8**+GDqCx&&97M=wz|>|l@Qn#6MsP7({;nq zM^lR@cUD&n4^Gk^Y0UJ)*LJ_et#++yhqC0n#WTL;m@PeB!R?)Vn5YOrm1T@w{en88 z^&=(w)AquN>B5c&wbCdD*tgIpv!xU`iQYJQuku^{x1&U1mk|7V1e3z}KIg^PVtH9V zPU2|bdaP)+{oE+K^3ax~&)efmz zU{U;N_^W&}nX33a({1mpmS9<~c_F3py-&-Xp#7u5{3qAMbRE1)CdG5pWcqE+uVg)= zA{2HX+=H$gYv`xyXk%VkI|oM{b}{zWK49oI`~r4arVpdi`(Wu6&RL^NE5X_JT3;;E zTTSE7z-C`PwgXrSS(Ga75NV6NG@fn=6Z0->Sf{i34q1*FlB5_F9-0q`#kp{SdGxIz zny!1+_CM9Q!ssQs*8WV-&{1g6z9>t-XEz%v=9`HlDIw5;?5wpcJ=zR4f=Bsp1;;N@%ReZ&VKs!Z1|e z`u+lI4g8^A0fOt$DVpAF66Az9?iFbDFxk$ZH@kidP`=75+cnNe?VM{@W=(eh=QcpG zB_n8pg=GOfP09-Nc@qYm5Tp9?bA{qlYfDfuZMhPJi9k`&+0;VRwAfrLd0J7<4tbbQ z`<{t>l`n#s6ykwpsZio2a#g(zR6U1TbAXhY9yk;U`j3?PzI`5KB3l0)L#W&XeT}3F zSK#|r+BzJv)1ElKmr(n?yPv@k1N`BAmMUuw6w%O7b3}y~QNOiiA$&51L0-7=D_y3c zOx+ujM(P*}CMUDGnzMK6^9Xb<_;M%R?4oiDn@Y3UeFv!lv9sEnZIfmkh3O+CK)|F8 zX$~#F`OTqRTwCFW?5OyrIdHNsbh3TtM(35#to^j_PcWSn+xq>c3*uMldBRAgce>=P z*ie7k+W{gqR08zEM&tc^w#l!J2<@iyTQRaJhTM_)?uoH(yUB%p_bY;PKp}3q}C;_?oyO+)QMCmP>DzI&x~1^Y*EpK7o0{Q z|MUZ5{%V0JFn=r*8z}|*m&MO`8ZXi_vTRsP20OMFLT)QOun(KRrX=?&L2nGM-m?idoBi~4XRO7^)^?EL8l!yGNqF&3W501do;maF{6 zaGf{dxi6x~%>h3?+7KfdHk(&I_bwN4QlLq~^-%o^)=LE`NJmN7@*r`4%gQYT&Wh)2 zbsDZCOH;xWvQcZa+>t61Wu(PRtPu5CqFQnN2f2dce8GCfi1?Df_1e0(9IcJZ_&#S8 zX``&MdFT-|)Cf=tS?q8y$677>V({eA71xGOEN1$mJN_kSU2tToW_fQKDiVWABXa0} ziiC9iWOOZh?{$Ck_}Uj26EX1}5E|W#D|03}jlk5*=g5DV_**|#(>Falav-;h! z-8#pvwGXX@{g4>37-oX7nHqFjdIuZ9OfF{nvtbtET%7S=f+P~y^S++-C0n@+GNBo?^^>L*2sy&wM%fTn zlpf)2yDsyU+iE3p#Nz9S35s%oJ))wO@0>JJe*)D&Ld8i}Z00k#P|6D;R)s3t2$lko z(?{iT8`zA;(H9eoYQW_1hVeX;wd!1-m^0dx_GUe=8lS-XHyZ@*N{bExqeZXS`yy+o zQVz{VhsBhn`fsh`lK-Y7H(#`|i2VvYI2R(6PMeGC$y`z*^kt)7nx2JfT17bh-lP00 z)^#~EjA6@n)BJ~jP@6HGPOnpVX!1gl0Ft(q@RmDjXY9(tP_mqud`P4EG8+0Ycf0ihb9HnN70ytEz$JQbvt|4ji zVf#?ANZ8s7N%O%30_kyeTA=ifs~Ja7l5JOPdadlw#EL&4a3EjAY*gFqOi8<;mF&Ys zp9%U*K&v%l`)U;7L`I5vrqf^97E^>As}J!DPWs}o@L0DRV6gwXUU)}Q;k2~&e?Jub zqn!Gec22X2vbVN>!R@7=M3i{cyjad<`PAnn^W|*x!+?rr$&B>(*c4bRYdI5?HikS+3luaP2`q;(27lUzYS^b5uEC|o0#O6uht4|b>ECX_6 zNHXopqhQvSbx1OLO}eS^IG@*9AbYq%RUUrulE)cx>I;dHpxGxQP1N=j^jKNakqnS_ zQ-^o0jjgIo%tE{gGwyHDZY=Vh$(@%hW^yAulz>Yj*{p}N>(JSg09>SS0`60fJRbb|nMObEIpi;NW9}=n_`Cg4tKz3al!wHp^v(oB=X6@Pn zIP^UyZA2;WpLsXHOzvB5(crpFEMR@C;eD)sZs< zFWe*53o@BaOK+&+dso-^xA|$l^;Xn8i{rcSZR)BA6^47H#TZc~2ml8Y{~)^iazjol z;#7%4g#+$BR#<{Wc*!@-9$AvXd9}CJ^lu)}1AV&8C_@o6;U&PW7jY%BDZ-y3KLQ3- z5#2dw!O`JgN)8x>;rJgJE>fg%v$fZ_!sjvRQL-#?ldBIspOuXJmujI!nL1%K z0U;t@;ECJg1jfCo`Btz{3X*YAO~?uIW=6Q*NnSbU!FK_97Tj{djFhzXq|1DcDz$D{ zppnRZ1XD!`-LCqY^&?L8#sJz4*X#{?9%HPi^!WA3M6(a21o5l*#O@!I+aeARFeB2@ z{BpM21=N5nGK<&Uw%lE|^E!T0~-#bsqk6rwbKuB1^L8wX}B9e4tziSqe zrUnvPj<$5gBnlLXnJvDMOZ-E{JD$V=a)iTM5DRP5{DSV~uozs!@SC>wgga6mK*cHa={aL`)hThi| zThZU=UXz^JsvKJ8C1lQ_w<3% z^H#W5yNT9q_(C07bfjw%yKV0ZFVJXA)iDGA)t>C$oHIDwQw8|V(Zr0YS!gC0m(+cm zh4LtH(19zo0;)+>nrjFJN)~el&8DYujUL~Kd59o^!@Qd|3BJ5)I+SHCO}}sYqHbg0 zRHZ?Vww&Xn+;CJmp8pYpROBxW0s&p(eeV;!P|GqKTh&b|X==O`Z)8zNB~z?5B#|6J^Q@t}j;Q z*1Zq4o4H-FmFHxW@Qz(yJEP)DdDjqdV*ppbIJ;z`Y(^jIe#eK z7FuFn3Z_C(wjYQCQcJS1Wg3&9z1xG2OBMBn3Ek&CLDDb@1ESz z7KURQSwH-7E1Md2XGETI{+t>H?bt^dOs@L+dL zN^Bt{ZtsW{Iw=B|jUZO}M56qTFL-i&E1U&_UeHGtTtZiht(vKzd_fcSsp$~?Aj41; zo^+UJx?%&KP;@q%V^8oGV(N`bBsAyD ztjno5EbS@UbUDfq&Yp z4!b2oLnWyS54vj7aQ({+?R!X`>5s_%+{tJtEsU!M>*bDpP?F1;4X~@25yZZC|o0ClC z1=+H4uyt9~KEyf3qig+niR9QT?Yt!rBq9D>PIP;g+T^qp*t7K(rTW!W zSbprq>&jzFJ5{no2T>@$9^qL+<-&Q%yIVL;R!@aX&FdLQ%#^7pBi{rAEZ@K`wm^8v zo5EGo!I_QqarpPzO>+KP%zMM1N!?E#U~JXqy7NOZ+LXiJ?u!H0Vv;X8Mry>iFn&0%v3R8xO%^=;Ke=_FJrdHiE@G&OTj!MeL2 z7G+?}#$mHD_9<7ME@I_TMs#8Jw*|aymaaZgAa>K&~ zbvG?o)kWpfqlfub$F+J#n#v!LLyl`ggvHfFU4ugktKcB-l&u;6$TPXS>PA!5*PKw82k<;;E>Aj$I{Bs7bH9Q$_@-2k_)nBcEyP2dK zrC(Ly(PF5$BeHu_C><$|rS~7&W0r1aUPeERizIuf-l%A(^G}aUwLcv$)@B-rJ@Bw! zUuzcNnw38bIkoH0*Hib{HuU&5$W)sq{d|t(uegJha3J?9u50>D))U_U-d@VxG1$jv zqf7lbNb{aCahzz7oWksMEPUZ&*`B#jHm+X_S|$^+4||)P%VET+Bo}Knr!se4!bPv6Yq8-G5PJ5JkyHyVqvB~76k z{(%Qq=Nhr9l@*(KH_0zi6-VjQPp%=xzt;4BYGi7XVV5QXrbi8^=yZ9DGL;^Dmll=b_PDT~HbSBm4C6{LR*79< zCA6-3|B~GzN=}dJ_qXFN12Ij6#M&xcPr!?7BTeNMPav$m@kGgK%vMXZ{^RG2D}8=_ zHV!AB4hs`Ojjx5?Tt9yuemAZUQ!aZujk~JE>tFGtR2v}pFdkxB-~Br%Jqk4QPcz{Y zvx_6Q89(!`eUt8~)uwe(^0>^Ni}qdrFQ`_{ct1nhpj=raTVQCsPspaIgK@G&T69<3 z>_(*wTz?5q{oU=%KQ61l$fbI^o}XlGt?MBwWC9XGBW9bQ-$CfB#%It+q=U}yePL?u zJA~I z6#sHm=mar2VDJ1Xk^pMV5>eUV^jE+(7Sy8qJ~oR_R*jUl&mvZiD2!)#4%Pkrc=`fn zJJ~kiFr-%piWUBUB@n`x{}&|?|3iQM5B>E&^w1KlIoC&|m*UfBnCQ z{>u8Ooqck%Tzp;q!+R}htOFU{6gwG&0E^hm>tGFm-sbU-3Fiz)AmMf;c>UyyEeu}z zj0En5nqm6}smF^uqC_B3=O<09>>n2;t^TNNYn%PxcJi>f?9$w(Z7`!iMSJHbdZRhh zeA2$VeDRdC=AQBz6j8v4IyR`sLcuvnapc z+#f`G6o>6@eT|X@i8FKq@=pVDV)yDqL@-Y|q&`2*Bn_(6;Udwy+IN`kHasE>rP4}J z5S$^$Gw4IZ9-vfWfeW@2e=CG&S2V$;~E!+qbZ?yH(}6-D zb$^TqvX!)4ge$yqDkJ+fHyrtCqa@KMb$zGm$B(R%aQEW?8c8os9@U->Tp;r$eXR3J zXHG_6CiHPg>}tB+Vb!VsB?cZ;1rHhnS(w*efbzb#Wz#?i&ezBNwU3DI`uf7!#2NQ$ z9Qi*=q)w^tJ4Ph)Xa{n@t=(y-7BYa=47tkwHLV3C^ksz;q-g~a^>m&q7#Bw8J~~a3 z_U-ndbAP_Mo7Plq{PwZ+0KhnTL{9DNAGivpIFb>u>N_Fyn(4(_)Gzq$yB^$3T3(KR z&hfIp5qs=m!%~8l4`F9C!e4SoQj0{yV-9VHiNVEa zqNF5+*o}?+rHqUNe{`yF-wQ{bL@Ec#f!N$mj-_4am4A*Alx5#AXIeh0cyO$TGoF8^ z>DJ;5ww3+mX@;AWYmfq$x>iN@06I+ZKl+HTo~p)a>w1-9QoD;nEyRCp-N5+TsC%_UU#kktRXjwx;aV zA4#0>^IMbw*OU80mw-n?xt1lVe9%urKHxuo5lA=+BiHm-8h1=>@_o+rF~{q7!txSU2?+wX7+{9B6VQlgVcB|PH3 zjrmkKeC_4f?W1EiDnD6h*LyS;*vOA}m}n?t%*twNn*;7hYl@!XNO1a_~Q`2ey6 zzEf2I_HYU-010XQQF$4aW#(*FFJM-WyKJ928gM}gP;{E+rnCHL8N)$jpkshQ=HBZ? zRCQlX#h=n!psD-Q@r|`jWohf&we5Z~YZ4g(LO;M22)5-7mx(4Us2J+-pWW5Kg^Hqy z|I(8L8lH!lhdmKP@sd9NSaWKgYE)leQenMcXO3p~jlB@UkO0W0XmKNtczD1cazXqT=g=wMNU$$k_0p1$u96a+6dGYea8vl58a`qaWT}Vw zdXA}SyfO18pRw!rZ|L>$N_1>&tnjH+KI+U{ZK`2ZGm<7`ytw{)dr!~v@U_PszMi}g zzF5;Nr>Si_B)xKC!>>G`8bkJvUfT>EZLa%47V7xmd4%DvI$omo*$#}O8n(yf$VimS zYYJIfTrdFp%R=fH-j?<85n^VkWF4=oA)*6|>^pnS+O0me7AMjgxb>5J!~|L+@cfeq z|2mGZZ2S%mS-${ZI6UY}sGG77{jLD`MKw}`>G?;PilPn|xP+!cb zFy`>|t4#~Ya0^SZL3p+>7 zb4*N3UgbZ#qA7e&Nq!!G21mh_|Nh#}uG(E>imde`rd%8aQyv>k|HBf{cFRplMqupH zGBTuPWQy}Us+e4HpicWcqq%D+>olKHQKE3f>z_cs4-VRf1!AYBtJR10@7w{`?R5gm z<>e*SEAlyUQ)=>YP2`%!M&o z1iB7c_j)|ry>TWxGjg3gD8OQMzz#RIW)2%0lZud~0r7v~Kz~e0nHBaKHFI>t{%>Ga zN+n>^TUdyq#OV3O#faU;@_spYtIyAcz{Czt5ds7lONU%8yA^Z2SO5U~@4b=pU}#N` zu>Wb!5V8J;nO8418@Y_A{(3qk+AlI>es}_DNxa;yWa!-WpN-;DQgl9iDa?%IuCk9F z-tJp&y}&^YRl50ZjfJkZ_Bu%+*cweG8q?bPU}C~JcWq)V&@{K(d{{^Hhs_*ijSf%X zEYuUr3L*sA3Jn-e%{5YhfyWVQb@2nm~tPiQtD9UYx| z`+1GWNxudUyzfr-sLMpQvT!CK47k0FxOX7xID z#{MlhA-25H&(Ac3A4aX#g|h8Oa>XbEK}W59?y>!)6ANCjq$He1bRdJ7sdi~Ucbfq-%=E$vu*vu*LVKfkUt_~wXO3F&O}%gQfLN|}^cz<)-KvznJ8E@1 z;Bv**U=m3w&3LbR2Z8eNxLG-+Zoh8$$IQVz>?(ndrK zWFF*}qCVy@ntrG5rY3;^taYy0KK^V4HAXy3G6-Fi9}q>}ya zUXX|9DowW9M>%Jbm=hmj{&m2pU zQTdQyZs4>LlYYeZNkyx-7=1f$ z-A*ymY<$CM*ZoY19>(Eu>}!_=VieKHHz#0_)mQ6fSTw$XioiZ3%p^DEPVqAQ9Zdc!$Vp1!!i^hk%~)hmwQ z=f90B1pt;^N(%26j<8~1kR=5mYmK+S>c+g_7lO@$H4$bU|3;B{`j`vDR3NsevZf;z zFxpO4hV78Gr(<4EVG0mumdZ)n@p1loEP0&&&X`c=Kv<$cRv2xXJ%{|07OWqqad#UJ ztajQ*O0L`Civt1k(K96R#tn~G6i+c--cY`Ut48BNaWF7OEp2V5N1%Y#Ca;PyErz&+ zQ|m`dD=TesVc_y5{o-*uw3bYcgO@j!^7+&W9W&NsIAuJ)n$4&%vf$yM(Z*pJu$-k_ zD5zGTVGjynRTQe>?{q;0jPuPk2mo3`l4DPnJL9`oR%-$oCQ%Bz80E@JHZchaR9x-- z`|zC|-Vey^xar~^9t?la%7yKyqb%$shHE|Kqh(k^2P7J^V@h*ZLm6^?Ddvm<5RY3n z>%)9uY~xB0r~So7zT>a7`xQRNt)}>;)F_7qpvp3O_zs^Zg-k@A@mfc)ZksC@0>%RR zjikDCJqgGFU+l1nYik44F`}P_g6+%vp)A0+jf{Yw&=^=McC&Z@(k zX5w2xb$o!}=Ibz?6Rf6?$A`4)g^SH|WB=+gP!vmiiRW_W{o10kHskQ}Tb_4DiZ37D zKIMk0pb?D$sE7W60ouBS*WFFE&QM|s3TbomWD`+w(Y9?y)qjm|Qeol2Juc%%-B z{OP&N*5dsz9Yp*)usWa+f9cmKzc=q5l)2oDGtMZlJJ9ene%+r2BNB*rj*h$KbC>+a@` zD-M9|9MGS^bJFk8;gX8fVMwVnJJQvxug!8B1!-CN=H~Eo^5wS4?k3zszI~J28T|`X z4Lw)()CJ_c)cmr=*ZT3z*aiM$IyN}oXe4=tjV@?Vp$+?l=uq)~)+ZHcQe; z^zX@i{hbD(Tshv}?o8FdFq5_>kC z02ONLq``F{^(O#uvQr(OuHG9z-P@d#@owHYYX!Vv*w~x&Clhj)cClaJb_bPJ+DO~{ zv%M0yUMC$M+IF7I$&sRLyu+Zgo{`KwDmze)ftm#>uO*EtVkckgd-+o2@BPk`QjbHsv3i)O z0?EPiO2&kkZ6@>*Ab7yP*&3r~kAP-(JOu9&X-7eF-4;j8WqX``S4;#1oMfs{Jeg2w zY)>s6?+w?ey%Wl=|7Ii8!ToQv(N7d2!xqWRiFC?u$;i*^>s0smm^RVxbq!F!kI&c{ znIG0~kV~~6?#%Zs=rWTFdwLL>4gBxCRJ*HCrk7MOQ4VJjbw}ZoM8?l>O1Q&tO3lkr zsaU&v;Uq#X3J#FRh$b8jonoR&8r--&i>Tf-D{I;EccYnrH+Rww+{Q;(O6g053x0i8q`(ii1$Il-@Bj*h` z+Y_szYg*q3eD$^UuWxS$>}+OPeTYlt@zR|_N+AkJ#_}yrx+`tqNe<7Mg$kY_AT&qm@{tS0`jMc7-*Xf0~FirtL2NH*2@tMJ%ET zvqLla=>vt|BiLraw_)eT0}?_Vpb!2N1lZpbJz-Lh3u+EA0F| zrF!zK?+ay57{(l-<-~bbM|bz;e;EeO^pNL!E#U0kS=Spb&|G+!Ay5@)e9Buf(j$=t zOp)8FWXBYruu^tUNr{fu`}#?hi>^fNVfn;{lhjV%15^YQi$h|N$vbe!o$;N^>;fM3q(WHvv=SP z0MKyzyuOEkgxL##C}MP!tx3cgNKhCUI7k_>mt{tYQ$>`NSj>#=`aA--*1i3GNx|&d zV>=rgIRgWO?p0Ny-9IPkO5SVr^|@WjNa{v9^zAOXw}Zm5rf)jF_<+q3~GQX`H`$}r+DwyEuC_UxC70Eh4Kv(YQtdpp`i%#L{E2LpG6n_LXrx@ z+4WL*Ls^&Zx1J4IQ&YT(igRUjKNZp2LkGPv8Du1+H!r^#-k9n2)cFQ#l!h=(n5tg$ z`9(`I34v}_eRki(A^-rYhQQtZUmAKk4J0yAkQt^=(o~?!m--0>bu;W=8`aI2e}m9; zhzW!LROtEy7;Y0F0u2-q3CEx&uM`D+r~AtWgI=Oj0LhQU*wcNXFX_rM2IQj%r@~k) zx8+(8z%&7Fmc}qoQb|)2*v-vty+!gwi`Z8j3`D7mi}$%)RaN2{$njCjGX74*o&R%^a#k60y{;D`DnL8wPEc;vX=TKw79 zV7_e_p`~RiJo@}G_Ny?@dGVz7^FMRKjEeCBH$C0%1+esV zICzqOueLupt$Mv{C{R4RZ8u~G)T|=&^TE^8(^hB-#4y*=T2Ua}lz79id!?T`{H3XB zp{xv6InKw|v%U@jh6F<>YyZZ(-M^t}ENJb7&njKABc}Bz8jHSo3WYF;GwEX;31d2l z_Y<9jY-RQv`q#EgP3A-(0Gs9|;%2N!1Iae|UC9-*S5MDSIx#sJS^SR3a`Uv<>>fbA zNlBR+N?~D43X3xr`&@&_!`Hol?OqKyKHrZLCikGL{tuwU!G>-*P866HwvZLJ?e738`S%!u&0K2qn zt~BpLm;;~$A|ST`sP~WZiJ}%92C+sCmV&x2r^ex6&$Pa4l2c*!tw731X@J;6JjsZ$ zA0rw>6#+B`K+_>WB{*alw&4zQ4_^`oe^U>m(ke7H-3&TGsx{zHuT%n`J_8TGBN-X> zfxa(%)y?0yzSBVJU;2SWif)`CCMta?=1boS64a$ZAyj2i96m2)dotX(q zG_Pyl)ucD-Vsga~CM5*`lj{Lf4uwcu=|5d14${Vwy^Y1JbF#iCK}Q0dnsID`d93ra zr9^}G6t}{v*wHfaqdR$woONvwVK@4&k4|5p@OHxQc<${G(1&J!HzM)xR#VFVm~^kD zjcxE2C=lJHiC?`!?8h0&U9%Sou|>>%8oeL`tYd`ncU-c58Zyk?z}E_{43qh?;l#x5fu!U> zuT`ZK4H$X=2w$td+pz3>=&lmpO8 zu|z0f`=4h!S9R#RkzE%*E5M$hyARXfecM?P0RIA+TKvNYmc&7He7e-Rhl{nq96pF- z^S6C<50*I(W&}$=;4oJ=S}WUr9m9!tTHP+z8H?|mIvl9Q9Bau9X>ws{XRvv3o*F>G z>r#^_G>XsMITtRmUvTb^1_9&B_KzTR49yrgv-~C_3yArO@+#s5LR?Ll!)fG@fCP6_ zlf~~%tG%U#`I^6PqgYvpNl7JurDi5zlRhoMBLke@Jj@(HpI?6BUEO{$D@C(1Lq{i* z;$`Vc3mHI9!shW43d-bLt1~p9L({W(H)SOXzej|3P$PCV z1Qm#Lk!#^$H#G4A#AKT$jcO|iHBcMY#`*ReSJ%V2YkW*-P)2ZRN9EDeUHjU!Bo~Ad zxD90BkCieqVow|_a?gG%S!=aqwOxb@;z-C#Q#H1upg}Q&@-Mpr-Q1_b9tD+X6drgK z1`mvY9+biLUi{vd0A@C?wH3g$A*Cx37GKK)=?Mas)$l^O2Q@vtNO3A%ss`5n;}1(w zeuPN5yC}Y*ZB53Gr~H5r-s0OBn#ww>{#oa(B0LbI9-d|D2hm#dVX<}?h;PL;I)gzi zUJ(Pn>AKb>56$Dii6s+2l4L~T$0XeS?iq&5r&%>+<2#U!xj=mY zjik}qTNos+uTPK%OuHdHUHcr%@p!Vu?>Dk__wy-ed*1%#U5gg1_Xqt0K%t-e-iFEPiB82 z?4tMyjOoafm6Gc|L+&+p=St1+|;&VSwFa0bS*#H1-oR z1_@XuUpmh}STt8WC9;HBNXSP5CZVlO2O@fnbMdW&0m=W)^g(!>n)tG7)5(&GAxYuq z)hxA=vT{1Sbes>NX6}ZZ3@t74D-JnvwxoMCx_Ik$ikq1CY4?$CgJrrR1eFs5c>(r% z>3bBykG?i1?f385J#(Z0wkQY_5ARI)gKb&!y+S27-VX7N@lv1|7}zC{PrwXL2gEyGzha0hg*F{%tfuOlA!(mC{2EeSZ>Rd;dT_b+l}n8+~B%@u029g zS8NVn&Ahyb+W6^@(SN4<(-RW{7Nb=#$`EZoV8`+emy+h#3+ms5Q=KCH$nKdeMBw*r z!8-Gl{Lzp4)38JxO--Y|)1lMP0NYgqbIDdwV1_Hmf;H?6;a>=D?+$2WL(DVt^%$fk90sBrBxhG~?h)G;g?j zApl^g*DqSBU|AOZ=6bTMguwUv0hTb;pMCTy>g>tEdWZw9kWj8l>9es_P2#ozHC!g9 zNfgU6(*~T(oyk}8G}(i7()G8OMW?nEyp1c7Vh&uuMAE(6>D~aY9(5z1pWkjd7ccn1 zpFqj5nmKS>KVqC5w^aggt8T^_7#L_mCd3;vIf;Ugw(lxrMCQqhnHJ$7 zNE2~{i+v$J)0n@?2Ipd=no!qRVzON-a-VWJ}iml;p3ft!vm~qpi_;oENIhTCI&>ID-V#g&$TVE^pN#D z`bJ*(>_7I(ue<(P__gnb5Xps0J56ATDQMuF;= zA>LNPdcT;zqzn3&gGF1-qe#G<_iz3#ka0QJp+gYo&XA^0lAz@bRiY0*J5%_*i6Z@4 z(+kr=^t7t#F&=Hx8Gbe2VOs;qgRH! zqZ20)yYfBgRkPY5uA`}>umUMu$%7&)`@i0&&$pZK7ZQ`pMN5LPLY6U&S^oFfmGnzvWzqR9Eob#rEb;R>`r80LlHglDh8h!f{3VMC1NRX}7MKF1>^dU_bZdd-(pN~!@0 zp}ABWT*pQXk@P)-(XsYcDK#gqb16PZgC)g&5HE-U}@gx2>yAUlPzz_TM>!nG=^3{M&h+h zz(mF_j9;>=^2+)2wIqQ*@Dw3jsz?AaR?ggw?oGS%sQJJeM}@5b8wyCt29s6|w%CSEQnQukvhhvznlw5*}n7Tw0TB4Jl+i5HG}>vhA{N?eQO00I@Vley+NT&HtID z&;^F?*8d-4UlkNb*F`%sxNC3=8WP-Hf_tz)@Zj#QgS!QHmq2j$!6CR4+yX;zcewNY zRrle(-J0r}e(CD!)4R8T0Zx#zs0BS_Wy}p} zs#=S4YeEDBx8b<~W&16r9Qf-4Ow?1>f_4Cp(Q*7eEte228F1L8yc}H&|L`MY%@Rf~ z9@Y8tWy#5>fTuZ&Tol-V9hGp6^TxstUM}eTM9pe>`|cpX-MYt=Jz%-^`<0HA0>&H@ zX_jFA2U`{(*Q&m?nFRCX(7u{A^4dm?*V!S+F#GXTDPC zEZ z9#!-aDj~Sc!MSoYA?n}T7)a5cLNR;z`k6(==Zkt`z{bH94SR~1KvE!xDr1r=Wt56S zCFlSdJ`k>~G!zIvfC0JiTTUGiC-CaukPlH?DBp0lf_gUEt`@}jPabpM1MX2;dz{&sC3s_hF4)N%Nsk6o7znpNQlN9%eXa z9S*Bw@gk4sCboat$Z?=NwtquiL$46bMf+rtAB7MM;t3P$KFp5N0*FU7NZNh{$-2t> zX`+gVxgc(Vzf2>wtY*B2m#{BuP{Do>DHIEm6?y7ItC=r^_fo;l2lK;>L=e|4}KM zg76Ov)>^;Za9Ps7^M{6!+UtxBp)C_V!7y`b+{j-0*PI!Az#=<%=ime}6gTqc>Ez@K z7OdqiF$E_(k<|ik*mgzw#;|o~h;#mgjqJJY8d3fWUF`&33dA;v!-4*xA3z*CtWI;` zX{`93D9!oLg@$|-G6(U5`S6?f#UNoBYV)Q~4nRyCm#8d_9ao#T?KbGgRzE4M%p?FK zE^c%o;Y2E?{{54NDb!`|>uWmI8(brL@qDGyjapHaz9`SjJ)!w}*7GvlgY>!gXdTwp zrC^X${qnKD7hYwA4Vf6ohTa$J9L0g^Xfo<*Erc7Z;@ByaIPq~tn_75O?k7}%^~L)B zwBxKfC;TB78BPJ;Bw}PdaGiVc?DtYn_l;EUK{5s@PYq`^jZs(6d_r{sJzH2@9ZcKA5`cUrT%v&cAis8CD=cwm4ruVYV$OQIObb4pnTe2lX}Ab9hR76| zkmKRubtR6BY}3fJw;TA~lt{3_jb&?eoY{U3zxV?9(6fHCqJ=VCvnORgzv~_=K(^zl zIl`+9?-Vo=F(MR+ikhL3yoV3IKl8uqm@gB#`T0D0LI9ci@SoQ-dVV042JK2O+4u7g z|JP}mG)wcd9-G&gl}NKP!>wE1!zmJ`Bqrt)L*BFG5)k6y;cEK2K<#vj&?4RQ+V=2Sa;9qViX-)C)7!;lAVks9l=LJ{Y9pgJ`xY^5{Bi*!4dJhM zEyxCO#sS1eGa=;|%V(6W^Ka4l#q9Pyze#=*x$B6VY&OtQxOc5{HDiq(=jy|R&#|YR zzKi2ivjoQDrtuLwKbeS7MxJeS30f^3orDNq#n1wb6hJ1fM$Z#)&B&pC7IRac{axTT z-ruSH@&I=tJAU2T@9??nCh!~cM<>TH(qzrl#Kpiim}u8aQHnb5UQ=r#%YOG%NEKg- z-vkAK4`bnX!4*kke@D!d=tle?8I(P-8QK_Z%%_FznSVch3bSZ#{CB%;`LuLPzrJzy zH}zW7A{wa~tp{F&v&Pt9FKLia6Gwsb6p?EdTwAgN_+;lEC)=2e8UX#y}{ZG{`&j|$Af z^r(#p>;%Q#QQQLd5B}f5w#}XiJ3%y7kdXwu{rAi7DoX+Yg#QO5d9IxJd1z~BwcIsz z&qyW_;U)3Tqz|N9D%K8f_{a>R5=i17yMC!KVs#aV7ylyJYak{y81zoEc=^+9`RLR7 zQ`epU+p$BH-y+3rHa{o2<^107t6xZF=9A;un+{c7D+W)Zue9fltZIy>+J z67wEo1FEkV?k2u`tSrVAxjn^vSqHprr^!>L(EXHGQ=;2B+wnRZIoEo%IxmuqRn@N(+_f(%Wv3-F;mTp&A;{R^z za+gf@vgw|r1*?p#iMbsfDErCazV=>qBR+uk@TkXq&ScNMo4#7wziYqHJlsrC3Z&|y z$TQ60YUQ!INs}mhdVD{3P|9xNlv^rjsJjM{Isi z?JK>6P3tKG7R9-)__4TyQB&|E0J~Pe4j)|J_$oZRrlNC4@zB5Z6D|AKK1)aVmiI4t z)1OGnbzR@un06&8#)ML);&Pdd7@VV)e|C=9zBEf@!_$}}W!@mG}ej0gOr&v=d(6A52(5XZJa9I73eAhtaU z5z+Of}fKjZYEJXY41PlRwmIe(VsjTM|4fC zsk)@Czf=Chw`7#CAi#hD;5V9a`=a1!@29gQN;_>MyA=QoiR?dM)#*^ex{f*aWx3qE zrR>Sa-s%(q_WiiMybC$HfwPiR=w-Mz(407zP?Rh2(5bOxv%Wldp>K@=*|83giY%IO zH(bORC3P-w2==(yuJrNk6Se04@vhkhgOLoMUCLfhP!gsNNhqUi0@Fk>^LRx~lQ8$@ z9+sAKkb3HV3{Q#Y)~(*<)fXK^-JATR3Rf}Qfgedl#%{O)1oTkqcr?BLbPg99*={BV zlc#)Q*HKeya@Bm?gzt8oZnfALoUJAYc%wR86CI?Cuh3+}v6`ad7)gH-%IY$O%WC_O z8_Z$bzG>jug)rh_nt7zUe9NpI*^qP)ehBIL;;RdMo#Awk-#hK!Y%R{~EN=jD0G(;k zrdu`Bembt7QcXa+tP^i4Y^j&dfqujB8fsY-m5hmjGQ4lPkQ(t7ovB%NqY~U7Rp!bt zahNaT$}Fe7SvM%y00J;Fn}Zi_)<4pTK&yp0XMDXf{*k-AV!u0^w>m%5xp*A|)OOG_ zIesl-3#E`5A&;Dey0{U_eqSRWM%>Jy5m`4KS_vvXS7locci;AH%pwXvDL zc{QM=Iq+kq-gAd>ZY0#+O$wi;``wy{-I*fXg%cfPYo2cZyMUN#N1k^H2y&4TWvs?}H z91BbyM*_>$ zi?;HsoBO|Kvrxb=i!;b}Ga%LOPs)Tb54o{B8uf=MHV4cH_Pn{9SCK!`DYv_6PYeTh z(WZE@m@9bj6k-92m(Z5Ywqt?J{=D5zV|7MgDkJ(hp;JRAts?~yNm<*K!#~m3K1!{ky0Bpw@^o zF7PwY@jm>0x709#7-h8#J(F%1gS^GI_!te2Ii*K@b;B0!-z<&Sh(_@ z3+OlrxfTbxR^;yoUE(6Xj4iS-xxEVYuesYbman4uZl}ZBoWahaks=9xKk=_O@uw;C zg}i!CMZG4uzw(7(N`l*Pf%{CVpZh3^$XjmeoL2Y;HW&!sSnK`0YP-i)Sl|L~ZYA6i zB$*`AkrGg_u`~L%8eTE;{t%lAF$1g41&!u`sZ7Y5V}6>{3UZ=@?#Ns5*$1gMydxA; z0|vEBPw{`{;Q2~uAS+3!&1Hphta>KIj!y63Gi6 zR7x&1hLRu!&xZk@PTZP`;c^~;p7$rV4+2a^w_dP#Uh|SyWt2mDeDCR}Jfrj#@EU`y zC}Nh~IWpVZyPoG3h-dT(hsrSlF zdOb)Ylg!H3!DW|!s^Jcn7lp;ZCk%W*V=&-!3|Fce=$CFd`u>-K>dG&mRME*zmwv+NVoi) zZ#Er@|HCwx^#=-p@n)i)GFS;0XntQa_&CJb%KMcnoz#-4Bx}a=O$&Xt;a>=b_tpIxq)Ctu_zXNx$v?!&!m7U!tk>Q- z#Y2oNrm={=Zp;Z*h7k76f~ix}UTT#soI&_doUP9@819F^nGFadHgiWyA3iok4CoKv z+pq^sgY=j!SoJMrrU>eB!^uYE^!B`eh+3Q7q` zEg2INAT=Zru#6uB&nE*vf&{|X@9D4J=p43RYn$rwQ`9Js>v6rQM%hx>a-&XH+ zTYjKU1x^}$#G(3bLx6^?{!1Zk+kG?u1(g1;;fTjs=jeMJ5UtkVf!jjvRu-GhPS-m= zPcV13k@bn@9~dp;bI(pkYAg3z~QU01a18eKDM zK@c^V(D`2RJp(YTh^YJfa#-o3>xP*hNUx*68UUOm)H}dj7uTM1vg1W)PcTk!F#;-s z&G;RksTJ0JGVNBJf~pim#+w2L#`6gsRrWg<6u>`4Iu^U6pChEmXWTf4%-*pc6h<`R z3BC0zt={~T$vut86TH1jQ11=z6-rI16;}~yx#vMz+FP-gT#c1;-_YzH$fr~5Ytggc zhz}A4A8tL5p#oV9x<`e*U7^mX4*!5Pi24A-@i)Kt98mNRjQWEwm<(bZ*pL|&MoaE9 z0Z)vzq(g@)Jj-8GarNHHpnE6#_qKh{AG*|7qMBsVE%#a%o6pMI@YMy469*|4HFB{9 zT&u@JFrrc!9IBhs=(O?sYB5G@&+ZWnviJaC6E|#TpbnxQ{UpRC3j3OLNc_OLAw(aM zA1!t7da&}Ck1v`Cp%@6%OQS#cnYDrzcj22W=j%vZwR}Y9QX6`S;dS^DOy{t19>oPP zNJTM-x(d0l?|9u!4cIJ9TB7QBkaCtMnrQX!+b_7lt`1tUkIR=f5elHbt7q{QgfA8Y zWrJ+KV?xumT?+KTM@D8B=-5=dmJ|#SV@IP4pZ?i&nCxnJK9_{l%c|A)6Y;h@I%#~p$?CjAAnzQELf%(xsh??IGDMCZuLSd2G_W-n;yhD zUtHR`3zZT1BE(>_eA?gm07X65`eMJ16z!b#g!4fgYlP1`P>R0f>I@521O5&-OKFBW zu7t_N#ajGruL|ak;wmk^hfd(BJ@Q}zS?5V7Se**>+c}PW3%ToX@V1)Eq~*{Q3_L{jMq{P zqet0)DCN}Nm`!_b)}sF9k4BGEBYy6!$`z!{k~f%Unmhh*=ZQql9xOpN)y;(6^wUjE zFWs2eV~F{mAckS754nsu*TzDr8h(Z_%a0o> z_+VBjbmZ^pt6D!?k;rQ*k>!0ZpZ$!v`sJz#m*<0pc+pJd@Ilq8yT$<_6-bA8fe@?ra_`GH2E>arww-?SZ6%s z&_S})a3exTe}$N?zM|gpG{JjeGOs#n$>sQ$oO8xI3Hqv#*oakjiLiGZzV?09yK8dz z^pt1}W;Q-3fds%i2>c=lJe}1e9L7shN zZTI|lM3qCZ}w})xA1PF$JpXuP!+Xs zRdTCOdR-g42iGL*cplP>-!$K+yB=|c@Fp)Ze2ySjt0`^JUKk2xdTM|A5dQP8T_d)Q z55XGPRU3&t+Cp(P7U-Z+q#0!O?OW|+yzzJ^VHV1xCfsz28wF5CiM6%DQV2CDfcVw_ z=v0Cn=nMud6S(8|LF^98GB6~8usUBq)F=19$F;!lV4JvzUxtcg}yc{sO2wNSY5#xV3MA98>rtD$7Lrt4eSVnA0DS zkAFsMc@Y!faiymbMv|a2u$zlIHz$-iH*E0}4V%!j5N6ja9dG|jP!Ti4;K&S_rq*wnpxj2 zQe# zfscHESTzP1&^0VTyw2$0r_z~rf+j2N|&kNf-ujKSDaLs`S*s%peNvP^1syPih-bvz$a4&N_`66?C z`Z7!vuWhic`e zz+3RkML2a!ZyB;di(wKVDSNS=UAc0A;1*Lu{wsHij)r%J5E#1u63FqD25i@HE^SPw zVtQR05>>E028zcdHAj3{@s|hsoAnv+%&7nT5CnJgEBbG8lG2L1O2`y0s6N~IA5cTP z7k$ss&h4x$?n4F1dmI_6Z8;kT~ZJ`ChGB0{R_q=!aWRgVq1hsoN zdsG9b&*+;gk!cdb8M)kOvKWX+x7k8f3d7@kMeTyR=mG8JilvBHxH3-z z%?Ps5Sxi%#AbZ7ChfQ^{16T(6(pyw^yuDj?Jd?E9Y9s>iWhj(}y z*#K`r?{dwbcquGp+-E#|_%L(&rturNp&6VbKrfzFEQ{d3_&|**_26&asdV@O?ief0H={vPV{jV+k29adJr933wslm`_ZCA*LvE0ba-fCo-HKxfJ-i6RNzL_YWL?)XPn|bF)nX zWl+4*z@z%SLA?~}SfRC|cIymZ&Jrcw==PH?gQPRVg$grvh}Xk_q~EQfZ#$`E3=43I1f%0U!j95c`9L}1%RpUG}rtzC+ZXeO6q#RwR>7r7%QD{+uy$Tz1s6*@G_xu z9~;RhTxZKk84GvA)~%~ENp%3-#Q&u;A;S+$X`r|Bp@lp#(O2b3BP73G6YI2=1dJZ_-GbUi-a@K1V4K((d5NtFh(J*T>tB&l9{^d7X&mGH0lNRzB zP4v2c$RHEf~I_0MTdH1DCfA{ zhMQvuRqtV^akZC#9k21uJG%f?mhj2+$b*%*kWZ>$8ACYEXsF@_nC|ccUwjZi9Sp#; zd^t0=YI!JO1}DZDb_V8&r!Sx{{x(7`<8X4=WJBsvmnePM+sbl~(^@I6yIap*>%d-P z3XIIm37ueU6}Aho%|B_Gerv^mY=Q#dUEVoju?Jzp zr|%Wg28Hn>3KfIqpr{XkQUU*7U3=q0qFVX&i%&Wo`%F=Pl}XL_6jQz`NXhl@U*>ig zzv?`Jwe`n{@*ck*IpJ;ipzvEGzZ%sGOlYVJ+K>>pYWx{dF8OyUhSV-+IEP`QFa~-g zP}g-Otw;T}+LMzyaA+kM^tyUQXeQ`7HRcX&R1`wWX?zg?1YlfY5~YBfI?>}U3u|+- z0nOFvSleTJJu}vcqMVIus$$>BdkQb+w1>|!lY@mMh6T-H3G}bgSfLlujZAUgs#&kn z6RY8UPd>A$X9dLtqH<<)ShQOc)=|?`UKo$nZX3PkxL#>{4GlP6_#LwLb$H`fBLzc5T+g18g27k66wg=d{L%$^r*n8f0Fw>zFq*c z5br@j|FWR|FuPfzcKtpq?>WyVCHrzd8N1o-Q6$%;zPo(8jj|73yJ7{pgtO0x6>%A; z3*E8W9ay6kz7h(Ggw(zB-FVsYy9d8}eEWsM<9-d&aFPkY;nmFE8Z)sgxi`x0l!-iq?HL?B&K_wK@{ZOcHYW#Mrm7pNlyq=QO;2Q4(UM(=vT*abitqY+=-`hc=_z@7rST_JZPv8dK*moUuDbW)#smf-0QN zmSZj~a{aS}Sk~=n9O%bz<*@-5JEUnepesCu4d|$uZ0nmsHB}MW6j!|^rQ8EHVf~N( z$j1F85E~N!1a*6k8qJJ0X}(axIb>i-CHP+a!5U!g!l*#%U=(a`h@%0Byprm)*6` z4{5e5)fPl_-oGMdluG_|2CT3US23DPcJfF{>aGpfQt`>LniH-Vlt%JaoOsALk&B6@ zd8E*t@b#G^4M9;2kc9}EMi_4qGh}pFFW-}wSncoMz+nTY`KR5UjXlH74ZHBdg8ij| z`dr#n=gv7f4*nlnmHp0nTl3RuG*;{{UfkM3<+H9scd~51t=S8MjAkvi@TY8wUy=@^ zn|_qKEIl`Pj9MQD-ZS7}M_Mkp4a`fz(;mz&aF7c~;5k62zblDZ3etNx+9!0ijQBr_ zoZ0gK#^P3GtkLgKeidSFe&eTJtOG5JLQ>u1)L<1(+$=ec1}iqQ$uJh z6`BU2M9Q%~XMZwo$s%m1Y}B{gsng|q8A0e)BC~l_jSNpen#G_liT*Q%{5!ZcNkS;s z`MvN5(-%3CL|vK8OapfnDr|syaQge5rdM~kp_?IIg9d(ysR5HP<*E~EUqNOtQuyg{ z$t)ro*G2gWq3kNcdFvpFLN$tDg9fQg{~+ccba+hqYdg3`G6&A5KjSo@`9M| z)ZE<5Vsd{$l2RwgSL8$gU|-g;*jEY#7%-1J7v}_$gafXn{*xY*l$Wbz#K*WPBzm*Z z$?Z;V>^5&(>5l|>lB608vo@>!Y|;l;mz_Ll-LzXf$5{G^+zgNDb8G*d(|Kdeu3H>2 zd)sxhPnajMk@;#Q##?DscmGW#mzAr(;1lz}&7h^Na9fh{llsM_g zmt5ik7SW>Pt#WLHoo|20C@U--iSd@4)Jv4{T$Hw3V}3R*pa+yDBmMDur(WVvYx*k1 z^t8e&EB`gW^gOZL(G+C{;-FBdeq-Ve>r+_epDdHa*}S%)IkNWt$Q|wKLjlv6Bv~3z zF^Gl40i0%2FO(~~;EdbveJYquQw)BC(9@46P1fgQY=y&5J5j=w)9>q7ilu_3)^2GK z;q#f*Gb*gsZc3bvQ#P@Id(HQV#i1|Z{P%|Lx{3J*)5PhXDb0BZTR5(^82y;v*BC=O zLI+2*Mc6nP)v3XnWQ+rBkpK+FeulgZ4RtB_tJ9PfBna*2q-J3zr^{RTc%x?Cqs~By zGza@xqG*KpUk*%5NdlNY!;tw7P{Df z+U`-i&A0~^cc%x0nO;1r<-)7Sd8{4DzySxMp-RoB zz1#B%QbhWVkmfx2>AIu?z8i$XhvBtuZ&O>@WB>h5zQ7602(xAb9NS-4AA<=zzRb?m zqMI3o5@g@K&feAvRKPWUOiMwY9fO;8EEJE`bAxC7eJmP;g?6m*-aT1xVib!Ul*h*euv3d_cq*hjRo?4}4Ju zhp2&==t1|tWX*CF)Y5IfaBPxsWZfbz`wY}avLtqrql->~M=1lf*PJ<|_~q z4%YQ5!c_`8I~g={Yvo%IH<<+Jx<1>@YOBtp!i6i}b-fa>0;ws%ye)ojk=0oj6ws`D z1dQCT8_bHxk)b=y8Ra_?>kU z<}?*J8F}`fMdfWXj!|vb-S;(X^YWAWNZxsO;Nxq5o39HpkH;~;Ywn4NXRZpS1hrAe z((Q}IaXArU<9PPktg#H@pRxYe5+s2MB7(6Uc^%XN0I^9yqofNw z@SkeyO!Ce}wPeUla*8tr$HalV*ns)fN^#!57CF}V%_4RQwru4$l2eKA`Fu$S{k;72 z6GT8q?Z&wsKDhAHh{=Hih5Q4?{Gw(`g8T!bAk6w$xPZ(l>;cvKRw1KYK$29JNA6w- zqy(52NQ{PiO(Idp=^2z{S#}kZ=KY~OaHueo9aJtDWIgA7N9VVl7lABn`K?yU<)lfV z4)!jV1**9PFh%+9Nf;#|`LgxPP1R%^MVvC^c&ofcO7P=RYVC{%XX zIDcI~mVcWEfHW3p!I52nLjLPd&g0nW1;!?pQm{I~xl{@;gZip)0BjgVd6CmZt-j{j z1HxDZ7=u%7!Y_@15@nV?%0HVa0b88d_YEW~%Jc>*t18LXKAD9lqySH#z$2VCR}@08 zQei7T6nV>542+`|uw_AXnner7QJ}*7{>oriY`Nq#Ld!~a73ZMl`=T7WQhWhnFc}jw zBrPLv%&Qs9%1x_GK_S~Gas*A?&2U}NlL`3QEwNn`pFHMU)ZGAt2%`AT0gvrU;SWH( zbe>z?lu~SnTTUEcH~aI$Aw9mT+o#xaChPAT!(<>0Rc^VRl_h{o0=moj>Ze--BP3RH z#80#IT`VWHrSBl6U&cSbPPeame(dCe#ro2ZLEcT^WJqeC}wQ*ToYX z=OSo&MCm3xkWqmrCGqA;Ve2p^JzmUW*nE`Yra=Y zZ}a@^b2Ky=T~dY8$y-lL$OM1_9?)i@ncLW~l}T}=-fXeuM|1*` zw8;Y`6p*5G+~NxLVw-Dp`XG{Y8X%>ua=m#ID((3j$pAZ$)$4wFZ_&KSZZaUeQ>vc zIi)T_J)5au)<59gZ@T$$W@Cagt9@Vu;8F})!(_p<7G_SlWCMJTPFuSxU7+_nm&~29 z+G)k#B0LfrUku&(<6y;jKQ~lPN*r;qeoh=H<4LOhPZbW&VZLBhMlUX9H+eB%~nbAGJ^n=dxOp`B+L}n+S?z#R5 z`RTjm<4G5dVTMGDmj#c?dlL|f3sM8Y5R}_T@fOu$&aWtAt`NT2=&$*Hhc{YQ4|N7s ze4~^4NB`iHt~21dO}X6~Y_UlOsVWeE_fxU&TD)(T$U2(-*|cuNph#>t+kutG>(w4X z1-yq3Y;?IJ)!dZ`9WJSa5JuLp8VTEl7SuEyS)X=h5H@7FL#GF5&V7w&pX1hl$dMYC zzH2-*Nm*F8_C5vZ#_Kw7hBCFfRA^3ZXQA99?44w_NsYVmYsUotjg9wgpy55)g^05G zZ0e3GG|4fX3Vo$VIj2XjyZf{D%Vcv>E&7^)gn3p|aRU8Ij{8RoVbT395Au23gR?lK za~eEOMFH2ofvnx>ZJWP|b?K_`Zy>CgA%b(F6_gMcEGJ>ZKQQ=G=>v?eID`xJ*Z7eq z0g3ne343n%t@Yl1vgZb;yJ&lxhT;=*2fJ#qEZ65-rlhjC$ZlYEWwg={jgudOW;T^8 zC6!j#pZ!Yf(nI=eDAs?KVgV=K;Ckbi6JF)X+P^qMYh}b@VlWJPvI5cw*29fiO_RCq zro+YD8OkP8gr5H3ZzvT~#EK_Ff8G};#`cW<3 zor^WZZ-p})^Ntln%X8s&|0EOW#Kbj>iE-2I78enR$BMsXsI^FNS1F7%+-0m0{c($M zOUF=yVJ6?>16v45K=9&0!JO~ZHqu)ATZpP%&lks>!4eANhTz2u)?M=Y!;;lvRY4wG z(IJL-BAUP|2lOni01Q$X{3FdAe7w&pT^9R$#Bk2zr;KVpLou;ivDJ4=?(RMb!Z5`v z6hP9{6szlbG-3iL$~_G%ki3IlIFIL6dtMyf9`^A*zm~&ajx0Y^^88!8J=1l)F2l%Q z+#AKBt@TNaJd=#f**E>ylLCJG(j+zRYY5wi7VHHPZ9KKcIGQ7W1}iL<*2S3c*Sc>S zl{rU$yF6vuc+ZrbR516FdzW`SG(37NT)}f#-gp`@r4#d|0@S%c6FBm2MX>476f-n zR*DydUEh=5l4`@z0$wNHI|^qZII&aEiFzC&^3brQ{(-Tw@Ps~(kx|A+vK*LQ*vgH& zH`{-*d|oW_rWcXM|Nc9pK$j65o=#rrHnw=YKUt)Ws&XI?&zC)hCYKm_h+c&8E3om9 z^LHeP!-_1dajI{yVcm^?PLd&}dVe3ZyqHTCi?Z1Q-9w~gBJntLZOClS>zpm&sxxMP z@j+0o+hW|i*MDc9wD_;$Pp*F$bL^jq(nm(g+8ahX$oL>iHem7-FZR)!XoU>`5> zca{oaNQvV`>~bGyvA7-r&iC-v-zv<-cG;KeSge5%O9oEG^Y>@dZa(fv+ zf@nDo-aW!YZm;sw$!+D1Swyxz@;Qm3ttR)jln&bRGg)<@y24Pr7j%6_=oq!f6>b&i zSy^O?^@A%C8hr1X@GC|S&%YaIp0R?##yOj zy~6DlXdqEHKFbyNeoV%@Kmvp*DahE_bV`tY{)x@}igJE9V?GiHiWb~*H9_wAjOKoR zU#+-%Xxd3=4KkV!9GfE3{+%34aaxHITx01~{ZN)NQ1Z&#h9}Dv@~RjahN)q4`nhMY zr$eD?cWxkEQ;2%PGt2cvc=hKacregO7ruMcflRa0jn@K(sJwGgb(KJ_#QG1DrILGiypd69Go=sNN6hze> zawE2HiJT%0YPxf4l*?MzG?_2p)DKZ@T#tyvf*~t(jV9lmG}7r&sKZmtV#4WCc)&592|E2pr5$qj@-6@=ae! zo^u62w4dN1Q(;JQ-*q->hu>7}$`86Vdhr&N|Kme?d^8YX_IiPaoJt>6-~Nq3PI-;isANWl@3WP@e(b+%OzSW^)Pdc zchvczdaHDJHE@2a^`K6G-?nu3@YJYi zJ%)M8{jK5f57lz=0VZ~{i72cG)6CUiiSQa2es*9iVK*#6nIi{V4uor3o?+fZH2bSQ zeMk^M)|eLT!U)t5esyr1`(+(Oz;VIp^sDpWcd^zcy-I($>{b8QknF^q&mlhud%3SSRtQg|JT*tXefo98@_&6X3;d)c#1u&ys{x zS1Nc$mDqb%Hcpm@07k-{9=PG~}GifBm$G%zc)Tetk3S z#5q#}A4x?YqJmK=o8>wX2B+6yD3#TyyvnWkJR4C@E+EQD*51l2vmALP!ks>GqcR@|!wcab6;WJ~YHsu#lNf#|p~vXex$|NHnNuhN*afr{ zl@sFvy&B*>^T>V-1s`|bUyoll%MAmj-Mf#L@v(bq=hLi{48Gxn+c&{hPSjlH^LIi{ zWu*>n-y{SnhrvHWZ&=-;&6adcl%{?lQtk`OJK~KaerN+7UOa3)cSkotu0qc^2tH4V zd!7LVVPzc0GPP>n&;6Es*Vq*pzGVUE<5@If+#C|n1g=4Lb6N0Zqg)LFMjlRbK9`s0 zN8L<%?+}ij1m?dm*UfdY&*%CHgVR-q{V6Wk;@fSgu?XF}mZtYWHBRM^8SULgj@{q6 zCT|DvCKKRWMIADi1cdQe#fGn5@u%NyIR%JzTfl!6?xK+*-(m@wFVOHHmRS&w=I#3S z^#l;bvXkc><9@wwV!m|3v0C7w)2xc+OBNs3H+AKPwas8ajrF5V*Hq(6KtymW{v zrmcL&XKE}!o^+t7FAgX7M5;hzxUoEs?={vK2Y}{pf#qa+EQRqL#tW|WQu=f|9Ql&@ zh_3~s-AU`p^6fTfkRWBPQ&>NP+@@^?>93;Lwxc3h(}%WU!q(sxy}#O8h70xOEF07D{N?H*1EWI@ zm$OdCS5zjATt_n&7$)8>c_sxnG%DlE3>UkkZL6p4q&ewyZWK!p0ye6aZ-QgW8i4(> z(O;*PkgfjoJ0tZNeChO(N_Q4;&6RFkm-;7rq$kVu-h{a}c z*7ekMEV$a1KD0#O5Ah?o^cHOlY{CeaS#u+Wetg^^-d{%7GridbwFn-P?jGz)KL=_e~c(&vM?c1Hpc&Zq*2enB2-y_ztmhS3Li!a7 zvse9)3;mP|!Ui9f)$wdNybN_JK2v`uA#)FuHA@Z&UX|a|D6Iawal5b}%@4G91Z`RB z=^=(GUv-IZspJ<=@MZdpW0fN!vDekaUPZp2^R+Ly&f7~}vfFEP6(Adn@4jO4o{;@F zWG$1)3aPniZyCuFepj^?fcM%m8K85 zNNT1?Wx5a?6oWokguaxgM5OQa`tLD{X-nS9oxx}G$&5uAT`MgG4-Sv2pHIjR161e5 z(N5aV-=v8Cz`l^wLTs^rXpQbz=F4^HO9TCBiylO#F6cm)>$pz{>mCw6n^|SqNV>n{ zLZ3@)e4X1rg9Ux{SPW|7Cpz^d_gLmNo;c;u9u3H?HVr&}R7?J7R;#?@owYApsUWD8 zf4gXYE;mQ%V%@ zLf6vl_x%DnfSv*i*4`{Ry}_&1pB)qWXj>fThy|u*&nI&GcwLFiK=@9eHFad8DjG2) zosL1(Ta3fa*uz&YI;+nCPhbB%zDO=y=-$MJ`uzQcGQw;cTY_0oZHoIe4GE$cc>Jn1 zcBQ4}g7S!`l-Yc=5U=v#E}j!wp=trWj$#|TCY4yX+Lap1O|_cuipgSqo2Vsr^%1)UYr9S;h_<7W?V!-cLy(kcj1h-LDOC zUSu)Z{Yoc+t0=YJq1aB366Z*?FzZtISJ|^CPg*{0L%Vf|#6cl7SOTJhQ&y8thrD~# zR*O#SXfaKr!zob)x2^>Aiy9LUiC2S+3PzksUU2dZkM#;kIS$ z!yUdAPINpPBHnZ8j9ANcg%~D;Eu|^9l`~|t-kDpeEhhwU|CxlO@ z%gJijwDXU?2&e)iyB+V;J)>&!WScyVaQ_1mKzUuW#v zTe`mK=FubB1#_N{j;dStpQWE)cKEf!?-$K_Xa1de4=t=LU9jei&yJ36|JiF($G!9N zr4_F%o>^c0+_O*L|L_|>o_FJ;#TQR%zjW)2>qf-B+PdS?Bclpk`xl<|#o*e-kNtZ5 zckcaQ=6z3{x#9Wj?MJ`&_MCoIUY|Hy*3mI{)>m->hHMbynjDc+E6wO4Ga>9vZe`^}d5? z!ZvF7h9RE-5d-l#fJ9DqEp8V2jH+m-?*Zk`2w%^}>`M67l?>KjG;KJa$*HpH? z@!~mW>>G1r>?{kdilXU zLuY3FalwH*+dsMT?XAnwCao=hqC3mIHuA;x57swsPCPQ%XZ!<*lxgde@|H>$fd>?as*YFAVNEabEgcH$VD(_cfK1e*L#6Yc^c_^|M#z_Ke!_ zKx1n2<`b3|l$=oZLFKStjM;tL2VcE$)j4~&U+uZ&{`|WajH!APz9oIBdd25yZ@ZU# zyz_>+@NHf7fr~Dh```n6FWoz9(Zp3vX=ncAqM6au(Id-Gj~3qla`!2LKTYmA@}2ch z|6tR$y6l73&VQ!of$Q!be$5YV&KrKo+ocDuo{_Tq*F!$OGyD2`f0$By?xY357awgo zc=+NsR(;EQww9jp;Y}CbxqIKJgMZDtch;PcYXfRlbct$caFQG@$`|4@60|pb=v2f$8SFAo4K1>XH-7> z{#|$9G4`hN#?7xae)iV4Kiifvc4Xa})oFj+efy~wWd3kuW_I0%jb{%pyW^}SS3WlS ztgr4{_ejR~>ZX6Z!u$D2yGC_XmX3S<{plG`?3ne!sXI64KDRdK*{vU4T)FM*TPCjh z+_i9HWp(#SDG#0XPy#ex^TgPbFVvm!j305oq7LRuE~i_ zW50RqjLE-zC}-m@AHURHdDn`r=XPu^N_1sM9v?mG_=_qx+@E^;18a75ZQ3z?+>!-v zb-I3X^GH$Ioq@z^Ub=KpNS!r`08T>a9Z?BD#u^YgUNN;BWQbNfU2r~hi_?GN9( zWZ22yDHy%}v_v*8b4eERaqgU_wI>boPJ*w$Y7RKX{` zsUL2N4xQv0dhq?LXFd0~qhtT;rjrXsjlFF~Wm)luzk2M^!qXQVo&4}?mt8vRvuh5# z`ElZkO=DWuEIs#&KYaIb@4h#_eE*wguibd~{3G)QZ_1jvAn{S=QTC8)UgaI553RW3 z+0m27Zk|{8xc8n*&Ux>^itONmf z&IEVvgsklOp2CUQ?upq5LExmPZmt6X!{OD84MGpYH4uJ}Fkq*jE($moXbLzuq>81I zAAS!n{nE(qJcA$DLS!ia1B0K;N0z}4<3zq}gWoyu+vtV?#ym^E!SM0?5WskO+;e?_ zhDCvf+RzH&!`M-{WH|bzQ$f(*Snhw20QyT=q@Nr7k23_kYw*YN$?J9cf$>1zwCj0; zzpNwl`nACy%P+4M`hoEbm7YLvH~5b+_+M}EH|FPN@;B5>DC}>j^hW}|V0kDKW2`0^ ziuw&6zUok8jID?SV*Y8qn2&*S`WWbDEk|{}hT5RNBoYZlScNV%aiacP1o}CPY-gEO zEW5GZrN2tCnb4gMPSve54SrZwGI@M!f`f% zhNaPIP+_5^G7#IvSdJ|efc~hX^4ds0&|mr?U1#u@_YrzsY4A6;W5D2l3jId1$l#B? zgS;-JA4=|{b)gm5>ZJ`!LW~7!o0u;g4z6T1b^e;miW{S`Q2kV2W9>ZXh{{93K#eJ6 zntyqq#$WD>)lnFvp|&s9yRlwmevA}(q#FglvF_zPjddsMBfmJ*5Df+W;KlD_V_H?{ z2^ZF@(Z5`HbAS5DNs+ke};3bn<>W^_X7g{g!iT4@agEPTlzUP3$Jb#y^RG^p7 zm0EH9&@^-|7jspBKe7R@%k|pg0q81b7NxKZ=jl~}gR!c=F;)&4eH3V- zl(9D;zN#NHb^>%{t(P#i8fd%$^zTcM3xod=2)_a1O?9!BJ0QIQF4o!%@eOpbjC&X> z802DMpiMx#fVKfG`Zv+LM1YdxfSA9EGm#|F4J0)?Btr3K=6fDH^k05T6SSNVf%VB$fRRk5C_s)4t12@!sRAW$w|Dwiw|mId<|9wg$sgwkiS z9F#8dO#`Ei3($+!^@%n@`J5>H>ocZSi zf5u=D9o$m|GW15Sk7~SzlHcgrNt%lO%U_FANW=i-x%r)(_c{H zou!v^7<67u86w{&f-GL?Up!;3ml--g92w2(ju*j`B>!>G+VW$*KLDPlks?^?oz{*# zHBsN|Al@+Xf$H-seXM=FSk4!LzlZpXWIleV@RPpt_6PosaUvhH;5T0BQH9@7&hLR9 z^qejDe+zvF=YLA!pCj~NmdkK|&IMi6?oYfwur9&{BEB6mztQJ}hiu2$=KBNXehjWV zD%d_c1pr*>4=QrXeTC&+2d=$P$enf~N`c&}m(1x={xO{w!L?o>f(wTsH}KEiW9Bbk zHR#rXYqUEU(>VgJ?P9@p6#87e((nAeS&q^-@x>^=@c-7O}*DvB@twm+ED zGu+4Pfq%8iztNe05Ae4UzhB1xD`);Az~4*!jgtR4dw$e`G~l0EEwbx$A0r>$?{4CI zmEu+J8*H~LK$km-uMIkJywa~$(pU5YGaNt_nRaTeFm@+f(&z5R&y6X5G2z6x26kCk|-eKB5a(~J!wztp|! zdJSQCA>Sczz3TX|^CZw#c_)dyc+_18-B<0)Rdbf!UATR-@Mz}HTESPp*K zPBf zFIhRU{=>wVteu_(zSYDBkCNh&>CQFxpIFbIfa@iGr+!3^SBCl4A3@C0ueDP==ZREV zda*Jtl0IR&wQ&DRey4HyT;RI`+!l&ASH?TkK3)vQuE;$%h0_9}MMP&3rD*0MSQ@ zZYSDK^mjzxAo?EBZla$PJwkNghoU?gL`M_-9?|oN77(3EbPmylM5~BiN;F3FDx#~2 z-a&Ld(O(d4CAx#?i$s4TZlePbQ{r~M0XS2OLRZcKNIaCdYEY1K~bI&L{BDqI?;29<`FF- zI*aIhqL&b@BN`!k1<@ObCWzikbQ96XiMA2_Ezvzh-y+&Y^dq8&h<-~n9o8|i9~nt> z4AF5!-9#r6okp~b=whPPM1w?^6O9wSndmyA_YvJfbSu$kiS8oWK{UKiwmWfdiW~o(WA26a7`WCrRQI4 zpA0J26{J5-rR<&{^d*C67wL%;e;5|5Fn>kxq7i8o(H5e(HjnjB>}{ZHnv!yz4+-v3uB^;5QcnA#QJ$^9$!C-rj<>EHj?`uTUh|6K$9 zse$89XA5RlJ>;5FS-jA_I<<0U_+qaJFOvw4;;Xf!mX zG0!c1~N={7gcso zU+R=w8-guVsL#cXk!UDVGH*7hv5w(JNpVO!_cH&=dH$f^N2!&R7go&nucVZ_)cZ@V z^1MJpxDjsbSY4=AYD#`Zsp84vZBEUe7p;kefS!$D ztBFmm=n_T;w>vLTq>RxcTl-Su{^YF>V&+ki|Q{Hmip&1bJE*hz6=*qbM|K zr*e~Ne0|kGyV9-bf=N5z-K0Vqdp6vOpkz_e#hUNKHm5ZDJG4@_r6p!}BdLR_WX`D# zH9!{*ZIx=S_Z)wdzXrzrxSW^E!9uG2rs$Z(<60-x(rHr}4pWxSWa%})Bu`c#3}fz! zsVigtDUpb8W%=@Qm_Q`{k+dq4&wARm##3t26Z1hopiLaID(34LbknwU$!AC%T2dga zq}KObr`K3YRXX`Jr`@0hmV}e^F>x(PCB6Pki>j=J?9Ys7i^wSqqeK%Og^h= zO_FLZPu18DD^rE;B-PvB+0bfjT4gPEKV~bf+K^@ycbKpwoKwv5@FGtOHNqWG4BP21 z(+5)H9BGSls+P%1uVpY5eX8@MrPVoug>`{i?Ww?BF;gO#)fyYp(ia!j8=fZIFyEtY z1)k50_oh|OX`U3H2NbeOUkk;VxBz1j97TXljRVHNU}UNzJ}6% z&Lb^Z$jTQF=5oe~Q_)J8;8VA49js@2Y^Pqi^?`;!ePewkJVVapkH^->Z3odjIcqb@ zw$Vh-UZwyaRb?`|E>I20!QW$-DYf64ExAo`s#6r;lEZw&UmJ)({rGE3U|w4ug2F=U z81+$85najywG-nD1voD*5Nihh2#in0!Oc!kjP(sm12CzAc~9FRyYWm5bSjeqFl$u|Ia4n-Cg@BJ!i73J6Zm(O1r=JlUQUNt5q z+M=~BuafztI5y~C^TnIR1R4C5egRrQ-0kyArFOy-hc=Rk*cL);m0@3vKT;a=*Mnw! zEDIsR>l!?H-ZH%!-L{IGI1cKrrFnq8jHB8brYp(B73JNncce+AtSa2wAGu>{aYL8x zoD*ZaTe3b%tX#S)_+%5G+&vy~?|B;D3?a<7SO7(-O*tHQfg2G|NIU_`FvvIN{Q)SPEkClWmKYR~v}- zA!z@oR9G=55al1esg1JwBdt+R!4{mqu*~E3dTW}ReAR*Fo-Fts4R~vUzG&1NgL~c^ zfUgRnF@-fH;Z7lwxfU!KQ&@&qd)ouXgh>99z< ziFyafUjfg^Rc0$Ejx{{f6#w|Xj=fgSI>2^DD*+9DufkMNffphuC ze!_-;e=Xz*6e|yCWfo#uzJqRUIxi{j2@WrZe4VtQIqurSYYarOt83P7|LjI z4;XrF86cbUK#gj6zYtHQyTTO5G`eS2%TQ%n%w>#3yS4Dy+R_2^l3+fqRr2a9X}|?Ns=j!d&{h)%cEa-m zVWlLiRaOra8D5=4Vm0ud5f&)3@O4?Ge_5lyp~jDOm{26Jc%?Au0p{Ea{DDl(HcU3{ z)}pY9N)WR)jAn}#PH#f`eM7Z6OX@dLo5Ez&=;UqCu1HE9->vzJ!PA2pguNCF2hq8{ z2s{->;SC_X14M1qnCZb2XF{fi?6l)3_rXeT3{?^z%lU7NtxM&_mYm@a!8i%aG}t)v zU_OhS-6|*cwKUAwD0`2>o+H+)Fs5ELNGvU3P<(*YK~Xq(;el%)JR{i6BhPAu2P;dw z(dIKc5C1(6-ra(BA%8;Q$4M8h*F%plej#78!iQ>A=}q3EEhMAOK8!acM!H2~py`at z&`J!2@BjpT8H`6NN1M(Os;>?KhsQ1YUYum%E&_1}>75O>@j@S%iGej6$V0m|0&Hd6 z<$<@q=sb5@nX+r(wM_)s_)W-rx(+K_F2n_I*dw5B`6Qgwrj?P&o zAIxr-MKV`pglC}J5~|i$kH#@05^4-XeK~c=y%tV2uJ}NqkNBhoD^s{H1}AqgI0R~W z_g{`LV>F1_Uri#GHOPWm*eZfg8e+^yXng9(Rv3uNag7(b*@jaLRQdJ3CR~mbF}7%Y zwriL9%i$e7PR+!NY@9Xo=(k8Q8sFTI$42==3ro~08RY6iL!e(LZ+Dumq{`M1i{ojufjJrcnx- zUcZA-Gjrtl1#5=&KG;|VRncuLDra;(GBg`Dd+166F$V(B)#xKsug-`yG>sG^3%l~U zqDiL)Ltxg2mt4#x2Z>CJdp#feFxY-zoMB)$fL$bHJ!ftR-VMNyTzu~E^PI0X$wQWS zbtg=|vK-Cin^!S40uyjvGq|b~3`KYs>*n5-v6YYktd$lszl>&!=FLSR8qq<|2!^VC zu(<`IvV{9Z;}$l*LNE(GmGImAq~sj={ESMn!{b~Q|9arYp; zz?J1$HqXBl)>8ZtxjPFrDo{SVuF~y=KTM#5c(a!+Xo&R5-6^QV*1xFD1eHnapgrEn@*po^Z{nG8n?0LS?>sh})=aJ$7OR zK6v%9oaaOGmd~#A$|vAnDPvj8D})EshG>vW&aSESc;QbdXu4P{l+k%`dy7zco+th0 z!a}cBxbvwL@L&xqZ6e}qFV~kGy(aiG9f~J3aj^{J$z1|(bQZ*x6nN|WL0FQ)2XvmT zW|cD!Ij2Nx0s)n^MPbcrXsoY>s6@ZAMG5s)g8m8hYNa4;)a9y&3)g&&2p8!v(``0v zJdf>afNb&I6i`@EdVyHk&*jG5uyjorWru|!AI-f@fyE4de|Ku(`buFfE`ii}mquXU zQ@JQxmxV14jEngjVD}oP(rpbEk%*zb#}b?mE1F^4ZB&lE5$~Kao?c?aeR#U6XT^AH zX?iqR=n*mr^+9=0e(lNzU%hFkE6>|%$*$?0JH$7_a-|cUoX$ep;)#Xkz+D(Dm>Qtb zxLM`NhG{o%;6N_S%zU^=8EH|Oa$_Or=u670c{6U2!I~a;vSJ}!2SjDITDY`WFpV}D zthYIAH$#JbA|eqKaEuhk(*b^6M05jg{D1%n(Y`TChM}f*%D6A!-0ZgRZRtBF$rUyeSprgQ* zA3kb$j2cB|;f4*IU`4S^^oX3h)tNgdx)R3Hdc4Q|bAc4vwF za3oaQSQAr4b~}m`;3iAGQ|K7NUyM}73SrQPxB4)k@lthje|S^k^H#$k-{6HJ)YNeW z(nBD(x___kAAv2u(5)hOd?>#CSkSNnUU7I~QUNo6t^(YfM-M4B1^B>_5S~%(P013_ z9prAt0Lj&YAR3F*)Q2Gqt`sjD1~Om>w1TC1+4t+=r7K%lws=ZpDeE5LZ&)6Pz`Dw} zBUoyE9mL{?wHZH*c|LsQGWQ~Ou@~xaDRioScHMC)5ML@wgyCOD7=D(qy7}ytlq`1R zP?qXpSIlN_4%Cb~Zcb+@MuV;QxnQnrGPSuYjSVVh-@3B0a7Tc6n274*INlHUr%Ypy zqEcX%ngWrV4a z)7bT?N-3wYCkHYf=bfn-=LU!~emTV1!~gvhBF-^eYz3x2r^3@L42^n!0iGX26|YLO z*?zibI7E2`OJglJyWoF2*nvu8@!Rl!3;bs(2Ai(@m4+UzCs+T?&AOJb_B8Dc2%NN= z#yZd(;ecXxAkD*W959XDH87Xk6onkUHYkg|J;+?i*9ey08|yZcV|u*v$Vw0b0yk`k{f?(!Uyrt?~-wvlT+pSYj)L^Y(gyhx`FTdcY52 z`8EH)jfb;Cnx=c;Sy=n9W;xq4jHM_#z%~ss+zASQ$557n&obNyEo9}TK?=hyV1KFy zQialN$N%xYn1ftLlddq|x+gu~5G*Ezx?NXb*q9FW0r5boUx(PzirN13e0IZN4{IOX z&s}Z58Dehu!|BF`j}L}SKa`4@el!)b3!gghyHdGfcMK+jtm>V-3kuzVk^^w`<@2zT zn!1p_g!#yjB(Ef%7}D2f#HWVju@{CIRA?_G*#0OLzBIwydKL0?4UDG^3rTKi0&AcOtc+DyMP_idkX(|J&pfccNil0 zN74wc84e`}cDSRSK_L%o9s5LLA>K#{J-Zt{NH-ZU>?;0 zJ*xfY9++J}LXGNo&<0&3xPF9|hd(KTJ1v48AlP%;U@Src|F`r1J?ps7UEGKNPuz>S zs$rjxSk8JurWJ4+Yvcdh`TyO>!LLNPDB;RzPwh&{2#3RQS4PW-mX!9C%vM)>O2?TU zX&qzRQ(Mk$KRG@uqpAwSJ6!FjW+q&5S5J1U3-*M$z{Ay=+InI~N=A<>1LDcZaJ$__ z;mo3{s>~wbag}ElwYW0e{L@^xx!Gy1IO{49-}#OvEbR)F5SI3ZmJ*ishu|}IE|0c= z@jKxc2xq=1Fqm!O;T?p*46sP=B@yl+EbSCsMp)V-T0>acDSDc4JJ~t<2r!roW<~o% zd?TPhh^2iG`0N#}Ss_M^7d!zmuL1 z7@C;dbB1Ku62fTL8F3R~w9Ab6X2NLi8S#3;X!jX0^ff#_wEv8_oiN&gM!Z+b6aJ7e z+J(mOUczV}8ZmShJiaQh4~_UV!e}oVv4=3)i$*++FxrhqyofN`k479IjCPE80}OezK}55t416ojCQLLUqu-0S0hdkMmyGsA0UkOtPyV`jCQRN z??OBf>~?_RUBsP)dkFuHaMej7JRNwEKl5aP#}bxyY9_2>p7>p&JP4*zt2QhXW^c>Q@Sq5Qg=j>#}P_QntlaNO^gYLgY zgwaMhmj7HVYHEs z{Pz(?Tj_{*5RMc6fN%!c?{Pt0V0q9sJMy1KSlac;CM@m!%p{C9+>!q$gr(h2a@@C8w?XS?U5FvS($3K5gr(h=bO__^NB7f-h~XZS_JhtQEbY1c zh_JMuF^A;4NZ&6ZTtxa1Biv5)buD5jn6z`Wfv~iH)JC|9%JVj1X`klrh~a*hb_-LW zFF4Kx9&llOoroBqv~M_;heLhS{cs@_yz@c3aqu)VFix|!>bU#7QRSet^OMY28|cjV+wvp!D;`&dFMrxbiZU@bqRPBN!gtl+4E z?^EzT1s_$g=VWvIH445>!7nMeSHWkWVves$!OaTZqu`X$X8CLd`xSh@f?rke7YZJK zsyY4z3cf|bzf$mi1rHu$j&Hnzixs?7!3hOFA+V;;`xN|l1!sJRr?1^l6BK-*z?weY zq2QMk{FT6({<=@&@oV^e1(yk|#UD`cY6WjpqeoVoyD)>tUf9JdA^x&`{Q-8Be!PhJJ9tA(9;1?9UPr=_R z*mJr${izDB6Ij!~go4`?{H}ssXYlwn`3VZ1ui#Y*en!FXDLCbO=J-!h@C1QfjIIR= zUZLQ76#Tq`_bb?Srn&ycD0rHJ8x(xIf_EyoTfsxenbXTvuvfur6x^oZE(K?tWsbi{ z!9fMDQ}9j&f2`oKXPe_MQ}8kcZ&GlZg7+x6TfqaqZ%*$#1z(`xn1b(7@JPAKvZ3!EzDf2ZL63jS1)AAF8EKgA06Dfk)%Kd9ih6#Q2Or=M$1 z?;HhB7g#G#m4a6){F{~VmlXUb1s_)M$O$|@T6#GOo~Pi;1=jkD9ST0A;P0PjF7GS_ z*DH9fzyoD_Zd35P3QqX}k6+_IN5Kmfe64~v39OZ8uYz4}bN)RFUZmh<3cf?Zj|i;Q z_sa_YK*6x?Z+c!BEwGl~$qKGfa9qI~75tonyA*tKmbv^tRB%kew<>s(f`22hR{s48 zKBVxE$~LE;t>D=TUaH`01=iBLU%@*B9xV0kRYm?i1s_syN{%^y{~@pz-}y>-or2dX z_$dYNSMaI1=JX0Vj%(>nQSeN`KSY*qp}-n{K*5(Q_$CE!6j+Pz2?f8X;NK~DuY$2* zP?>Q67z!>8TspWx;0A!h8ygeD4BrZF4Y;-7ZUdJ9cRRQ{z}*RM9k{!|-3{(%;F`hR z18zOIjo@0q-4E^oaK8ZeIJjSdYX$cNxUJxx0rxDp--3G?++J|6gL?zqo8aC8_a|@% zzi3`@k&%-o@Z91a}d*i^2UE+)uz= z1@2~Ww}4v%ZY{Xmz}*OPu=j)A4(?8H>%iRte(!*r4Zp7ihnqR>0CyKSxQhO*zyH?X z|I7ND$-p{5O%Tkt!d|*yP;Q%mbJV$A-RuPcul~6>elOSXmxMFs%#4=kh_cc z_jNXrd9q=np4`Un5NAFluf@a9kJhuGSu4S~bGZ?QQp;}4624*6z#&Zrlz6gf3pQ<4 z5Aaer##5Yy`;a}}C$4WIY(%qt4x`RAjOdrtlbqR{k3#yJhQ zuR(t2i|vV;H|}k-@kZ_$#l^7G6Rk&j`L})Ue)xDSJh>L1Jd01h#izjH15YGshCJ5P zJXuz*9IKZ#Qyy!sJl1U4?anmwv)fNGH#sI$gn8#r9h8?0l z&YhJ_8&G z+$oABl^M|(!pnV;C?*9)x{Q5bZf#?I{mK&NItb3y^EH+!EEj%{cgH@g+yUS*3RTHH=R#j0Lbahb! zX!cNs-!~h-+0Z7-a-PvoJ2aSo8xez=XrW2Ab(>=8YlpXqIj?_PxXm)w?cAnthmGk* zo_=nnH;UvtY=}4UIP9i3@>sM(R}i&UkpRHaF3p+#z;t<*x36n*+*$fmq?XxeRzRra?sNGXac zsRoN%Pyg)7>$QHE<(1!UdF%0WF7bVr`XL!qWZ$2xBU3-VRmUdm<0Ewoi`fJu1#70X z6x)1i@IPUckD{oQR@9uW@u{4adj*~g|5f{YJPkD(F>LDtIGXD**^aST8ni@XmsiEq z9?2*+_Q=#v#9qYt3=&)ZejGpIEH}q+8V|g;z!T+kFVW4Y4U?1n+!5Qf`aFQmUP{=u zv$ZQ~F920%KF7>(Sevbc(Nw=wHJkI<>}BnaW^>@Qd^2pz*Z0{bwqo{Yn%J|7Ds?`8 z%}&a8mZGSI5sy}T4hDLKAeslaH3X>#L%ik%*nSznLwRDDvCNDpnqht^-xeo3 znNB1i&o_hzRsEurMye zDG+R*&i)pips2vhI2$rTzwoJV&(Lkgo!(-O35>JIa}^ypl0U7<_jR`2 zuFM8Bm!0`-b53k}Gbx|^flkXp(o-o-i8(*=>5=tu|@Hj*sI^7@Wm$x93N#=_)~>3XA|-Gh@%)?&}zD2TID zZoHl*jr_MXWN&1&wP0^za5@It#N>2>q>0JtxJVO|s0H55!mFf8?F?-r6HfS&n$t&S zdpr6fgt}0yrDHP=Z4!rUaI?K8Pi@|=ojPQkdGmRzX492N01ND5^y9XDMO~e;W>yxqe((RSfu>MKsI(W^YUF z7Q#!pB)0m6v}Cc7wlj|`gk*@pF0u&dpFw}gE00-IjVG(&rnB+PfpWvGcy!gzZp+hb zDVzE2j3^_Av-M;dD&~gxa>CwhvfxwJay-U%3?V`K{6<-JBmqN2QJl?t`l3-Y(&?A&1yZ@fzi%vt^=#Byu2TCmo%d?qp5FxD&Qq;N4quzEm>60V($ zqWGJRL{Y;GXQ5D#93oXa^GdL8U>*X@cC*1lJ@!|4DPs(l-*DJ3BISHv?$xieN|Cc) zhyU6!I-U4y%WJu9Ea}?aJSx*Ms;Me&R#tvaDr6Q 10.0) { + return 1.0; + } + + // t is the value from last iteration + // s is the value from the current iteration + // iterate until they are equal + while(fabs(s-t) >= DBL_MIN) { + t=s; + i+=2; + b*=q/i; + s+=b; + } + + return 0.5+s*exp(-0.5*q-0.91893853320467274178); +} + +// integrates the normal distribution over [low,high] +double cumulative_normal(double low, double high, double mu, double sigma) { + return Phi((high-mu)/sigma) - Phi((low-mu)/sigma); +} + +// integrates the normal distribution over [-oo,high] +double cumulative_normal_upper(double high, double mu, double sigma) { + return Phi((high-mu)/sigma); +} + + +// evaluates the density of the normal distribution +double normal(double x, double mu,double sigma) { + double inner=(x-mu)/sigma; + double denom=sigma*sqrt(2*3.14159265358979323846); + return exp(-inner*inner/2)/denom; +} + +double cumulative_normal_dmu(double low, double high,double mu,double sigma) { + return normal(low,mu,sigma) - normal(high,mu,sigma); +} + +double cumulative_normal_upper_dmu(double high,double mu,double sigma) { + return - normal(high,mu,sigma); +} + + +double cumulative_normal_dsigma(double low, double high,double mu,double sigma) { + return (((mu-high)*normal(high,mu,sigma) - (mu-low)*normal(low,mu,sigma))/sigma); +} + +double cumulative_normal_upper_dsigma(double high,double mu,double sigma) { + return (mu-high)*normal(high,mu,sigma); +} + + +// this function parses two strings "$a;$b" and "???_???l$ch$d" where $a-$d are (real) numbers +// it is used to parse in the parameters of continues variables from the input file +density_integral parse_density_integral_string(char *input, char *variablename) { + density_integral result; + double sigma; + int i; + char garbage[64], s1[64],s2[64],s3[64],s4[64]; + + if(sscanf(input, "%64[^;];%64[^;]", s1,s2) != 2) { + fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "The string should contain 2 fields seperated by ; characters.\n"); + exit(EXIT_FAILURE); + } + + if (!getRealNumber(s1, &result.mu)) { + fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "%s is not a number\n",s1); + exit(EXIT_FAILURE); + } + + if (!getRealNumber(s2, &sigma) || sigma<=0.0) { + fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "%s is not a number\n",s2); + exit(EXIT_FAILURE); + } + result.log_sigma=log(sigma); + +/* if (result.sigma<=0) { */ +/* fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string",input); */ +/* fprintf(stderr, "The value for sigma has to be larger than 0.\n"); */ + +/* exit(EXIT_FAILURE); */ +/* } */ + + if (sscanf(variablename,"%64[^lh]l%64[^lh]h%64[^lh]",garbage,s3,s4) != 3) { + fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string\n",variablename); + fprintf(stderr, "The string should contain 2 fields seperated by ; characters.\n"); + exit(EXIT_FAILURE); + } + + // replace the d by . in s1 and s2 + for(i=0; s3[i]!='\0' ; i++) { + if (s3[i]=='d') { + s3[i]='.'; + } + if (s3[i]=='m') { + s3[i]='-'; + } + } + for(i=0; s4[i]!='\0' ; i++) { + if (s4[i]=='d') { + s4[i]='.'; + } + if (s4[i]=='m') { + s4[i]='-'; + } + } + + if (!getRealNumber(s3, &result.low)) { + fprintf(stderr, "Error at parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "%s is not a number\n",s1); + exit(EXIT_FAILURE); + } + + if (!getRealNumber(s4, &result.high)) { + fprintf(stderr, "Error ar parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "%s is not a number\n",s1); + exit(EXIT_FAILURE); + } + + + if (result.low>result.high) { + fprintf(stderr, "Error ar parsing the string %s in the function parse_density_integral_string\n",input); + fprintf(stderr, "The value for low has to be larger than then value for high.\n"); + fprintf(stderr, " was [%f, %f]\n",result.low, result.high); + fprintf(stderr, " input %s \n",input); + fprintf(stderr, " variablename %s \n",variablename); + + exit(EXIT_FAILURE); + } + + + return result; +} diff --git a/packages/bdd/simplecudd/problogmath.h b/packages/bdd/simplecudd/problogmath.h new file mode 100644 index 000000000..2b56d41a4 --- /dev/null +++ b/packages/bdd/simplecudd/problogmath.h @@ -0,0 +1,217 @@ +/******************************************************************************\ +* * +* SimpleCUDD library (www.cs.kuleuven.be/~theo/tools/simplecudd.html) * +* SimpleCUDD was developed at Katholieke Universiteit Leuven(www.kuleuven.be) * +* * +* Copyright Katholieke Universiteit Leuven 2008, 2009, 2010 * +* * +* Author: Bernd Gutmann * +* File: problogmath.h * +* $Date:: 2010-12-17 12:21:58 +0100 (Fri, 17 Dec 2010) $ * +* $Revision:: 5159 $ * +* * +******************************************************************************** +* * +* Artistic License 2.0 * +* * +* Copyright (c) 2000-2006, The Perl Foundation. * +* * +* Everyone is permitted to copy and distribute verbatim copies of this license * +* document, but changing it is not allowed. * +* * +* Preamble * +* * +* This license establishes the terms under which a given free software Package * +* may be copied, modified, distributed, and/or redistributed. The intent is * +* that the Copyright Holder maintains some artistic control over the * +* development of that Package while still keeping the Package available as * +* open source and free software. * +* * +* You are always permitted to make arrangements wholly outside of this license * +* directly with the Copyright Holder of a given Package. If the terms of this * +* license do not permit the full use that you propose to make of the Package, * +* you should contact the Copyright Holder and seek a different licensing * +* arrangement. * +* Definitions * +* * +* "Copyright Holder" means the individual(s) or organization(s) named in the * +* copyright notice for the entire Package. * +* * +* "Contributor" means any party that has contributed code or other material to * +* the Package, in accordance with the Copyright Holder's procedures. * +* * +* "You" and "your" means any person who would like to copy, distribute, or * +* modify the Package. * +* * +* "Package" means the collection of files distributed by the Copyright Holder, * +* and derivatives of that collection and/or of those files. A given Package * +* may consist of either the Standard Version, or a Modified Version. * +* * +* "Distribute" means providing a copy of the Package or making it accessible * +* to anyone else, or in the case of a company or organization, to others * +* outside of your company or organization. * +* * +* "Distributor Fee" means any fee that you charge for Distributing this * +* Package or providing support for this Package to another party. It does not * +* mean licensing fees. * +* * +* "Standard Version" refers to the Package if it has not been modified, or has * +* been modified only in ways explicitly requested by the Copyright Holder. * +* * +* "Modified Version" means the Package, if it has been changed, and such * +* changes were not explicitly requested by the Copyright Holder. * +* * +* "Original License" means this Artistic License as Distributed with the * +* Standard Version of the Package, in its current version or as it may be * +* modified by The Perl Foundation in the future. * +* * +* "Source" form means the source code, documentation source, and configuration * +* files for the Package. * +* * +* "Compiled" form means the compiled bytecode, object code, binary, or any * +* other form resulting from mechanical transformation or translation of the * +* Source form. * +* Permission for Use and Modification Without Distribution * +* * +* (1) You are permitted to use the Standard Version and create and use * +* Modified Versions for any purpose without restriction, provided that you do * +* not Distribute the Modified Version. * +* Permissions for Redistribution of the Standard Version * +* * +* (2) You may Distribute verbatim copies of the Source form of the Standard * +* Version of this Package in any medium without restriction, either gratis or * +* for a Distributor Fee, provided that you duplicate all of the original * +* copyright notices and associated disclaimers. At your discretion, such * +* verbatim copies may or may not include a Compiled form of the Package. * +* * +* (3) You may apply any bug fixes, portability changes, and other * +* modifications made available from the Copyright Holder. The resulting * +* Package will still be considered the Standard Version, and as such will be * +* subject to the Original License. * +* Distribution of Modified Versions of the Package as Source * +* * +* (4) You may Distribute your Modified Version as Source (either gratis or for * +* a Distributor Fee, and with or without a Compiled form of the Modified * +* Version) provided that you clearly document how it differs from the Standard * +* Version, including, but not limited to, documenting any non-standard * +* features, executables, or modules, and provided that you do at least ONE of * +* the following: * +* * +* (a) make the Modified Version available to the Copyright Holder of the * +* Standard Version, under the Original License, so that the Copyright Holder * +* may include your modifications in the Standard Version. * +* (b) ensure that installation of your Modified Version does not prevent the * +* user installing or running the Standard Version. In addition, the Modified * +* Version must bear a name that is different from the name of the Standard * +* Version. * +* (c) allow anyone who receives a copy of the Modified Version to make the * +* Source form of the Modified Version available to others under * +* (i) the Original License or * +* (ii) a license that permits the licensee to freely copy, modify and * +* redistribute the Modified Version using the same licensing terms that apply * +* to the copy that the licensee received, and requires that the Source form of * +* the Modified Version, and of any works derived from it, be made freely * +* available in that license fees are prohibited but Distributor Fees are * +* allowed. * +* Distribution of Compiled Forms of the Standard Version or Modified Versions * +* without the Source * +* * +* (5) You may Distribute Compiled forms of the Standard Version without the * +* Source, provided that you include complete instructions on how to get the * +* Source of the Standard Version. Such instructions must be valid at the time * +* of your distribution. If these instructions, at any time while you are * +* carrying out such distribution, become invalid, you must provide new * +* instructions on demand or cease further distribution. If you provide valid * +* instructions or cease distribution within thirty days after you become aware * +* that the instructions are invalid, then you do not forfeit any of your * +* rights under this license. * +* * +* (6) You may Distribute a Modified Version in Compiled form without the * +* Source, provided that you comply with Section 4 with respect to the Source * +* of the Modified Version. * +* Aggregating or Linking the Package * +* * +* (7) You may aggregate the Package (either the Standard Version or Modified * +* Version) with other packages and Distribute the resulting aggregation * +* provided that you do not charge a licensing fee for the Package. Distributor * +* Fees are permitted, and licensing fees for other components in the * +* aggregation are permitted. The terms of this license apply to the use and * +* Distribution of the Standard or Modified Versions as included in the * +* aggregation. * +* * +* (8) You are permitted to link Modified and Standard Versions with other * +* works, to embed the Package in a larger work of your own, or to build * +* stand-alone binary or bytecode versions of applications that include the * +* Package, and Distribute the result without restriction, provided the result * +* does not expose a direct interface to the Package. * +* Items That are Not Considered Part of a Modified Version * +* * +* (9) Works (including, but not limited to, modules and scripts) that merely * +* extend or make use of the Package, do not, by themselves, cause the Package * +* to be a Modified Version. In addition, such works are not considered parts * +* of the Package itself, and are not subject to the terms of this license. * +* General Provisions * +* * +* (10) Any use, modification, and distribution of the Standard or Modified * +* Versions is governed by this Artistic License. By using, modifying or * +* distributing the Package, you accept this license. Do not use, modify, or * +* distribute the Package, if you do not accept this license. * +* * +* (11) If your Modified Version has been derived from a Modified Version made * +* by someone other than you, you are nevertheless required to ensure that your * +* Modified Version complies with the requirements of this license. * +* * +* (12) This license does not grant you the right to use any trademark, service * +* mark, tradename, or logo of the Copyright Holder. * +* * +* (13) This license includes the non-exclusive, worldwide, free-of-charge * +* patent license to make, have made, use, offer to sell, sell, import and * +* otherwise transfer the Package with respect to any patent claims licensable * +* by the Copyright Holder that are necessarily infringed by the Package. If * +* you institute patent litigation (including a cross-claim or counterclaim) * +* against any party alleging that the Package constitutes direct or * +* contributory patent infringement, then this Artistic License to you shall * +* terminate on the date that such litigation is filed. * +* * +* (14) Disclaimer of Warranty: THE PACKAGE IS PROVIDED BY THE COPYRIGHT HOLDER * +* AND CONTRIBUTORS "AS IS' AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES. THE * +* IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR * +* NON-INFRINGEMENT ARE DISCLAIMED TO THE EXTENT PERMITTED BY YOUR LOCAL LAW. * +* UNLESS REQUIRED BY LAW, NO COPYRIGHT HOLDER OR CONTRIBUTOR WILL BE LIABLE * +* FOR ANY DIRECT, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING IN * +* ANY WAY OUT OF THE USE OF THE PACKAGE, EVEN IF ADVISED OF THE POSSIBILITY OF * +* SUCH DAMAGE. * +* * +* The End * +* * +\******************************************************************************/ + +#include +#include +#include +#include +#include + +typedef struct _density_integral { + double low; + double high; + double mu; + double log_sigma; +} density_integral; + + + +double sigmoid(double x, double slope); +double Phi(double x); + +double cumulative_normal(double low, double high, double sigma, double mu); +double cumulative_normal_dmu(double low, double high,double mu,double sigma); +double cumulative_normal_dsigma(double low, double high,double mu,double sigma); + +double cumulative_normal_upper(double high, double mu, double sigma); +double cumulative_normal_upper_dsigma(double high,double mu,double sigma); +double cumulative_normal_upper_dmu(double high,double mu,double sigma); + +double normal(double x, double mu,double sigma); + +density_integral parse_density_integral_string(char *input, char *variablename);