From 4658b3ce5c04698d8f31c7b026670dcb7391e710 Mon Sep 17 00:00:00 2001 From: Quentin Dufour Date: Fri, 23 Feb 2024 18:27:16 +0100 Subject: [PATCH] Add missing plot --- .../idle.png | Bin 0 -> 53039 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 content/blog/2024-predictability-and-correctness/idle.png diff --git a/content/blog/2024-predictability-and-correctness/idle.png b/content/blog/2024-predictability-and-correctness/idle.png new file mode 100644 index 0000000000000000000000000000000000000000..aa1f8073ded7db027287faa8fb0a86ba99cf55fd GIT binary patch literal 53039 zcmeFZWmr{hyDmHt0YyPn5Cs$@q@=qMB_>FBKeWW8yA41w5TvA~LrS_;L=Yq-rI8d6 zkd~bL8tC)Jx7I%Pw~k}){e3^yd|w_WbB=M3G48mo^E%J-_K}K`ED<3EAqs^eLd)G! zL!t2CEzZOVeE7Ay^41c5by?`3EzxKe)Cu?lj>I{R!hv_lkvM-?{K(9rF8H_3$2f zojCfRIlMz!{`(yM@UO& zgncuhl?T>0Z>peg-lTDKcCfUzvp}Id6a2!(`0V6P>1g@0xVA3AAsJ?Bh7OJF2;cpKDMcWHS}5tO?n! z-=0|(k<5;HY3cR>rC8CfLCbFWCeL($_4w)3lAq7oqFYv8QoU zzSJU0Q^!w;<7#`i8Ry`ZB&QGP=}n*bK8(*^pda^!z+f45Q#shKwSY98d3ycr-X%Zv z3l}T#y!&hG`8u6;QRz9_pC~6LNG`IfY*lyG)C})!IVhF{NCfUXzZP|Jql7u=X|18- zs-t*Y*vtXLZes3WYQgS_aYP0TB`V?RXkun-;Ywp_VP$PEM!QneKucq7E=H@(r^u=3 zc+=vJwVb!Jg}S$rhMBjmnUFcHggBw7r!X{tv2Zn^@x<8Ky9j%V(H^xc4DXSTIcRB) z4so>=qt$_Vbko7vf`*r!mz|SM+SA&dn^v5VM%3BdQdsSl%%3LUFEQFXuC9*492_1V z9_$`G><-RW99%*|LL8jj9NgS&a0Hu+m%XcrC!4(s9n!?_Hf~wCm^oWJx>`Hf(;#h{ zm^!$*iqX=-_cVXsAI4Ep@gL3GyZq?|=noE06Gsj%c1{iqhT~t)aB-D(herO~(0_V{ zi-wn@1&5l2i-Vi9nT52wg}p1?zcyiR_K))&-JI=?9>?5_!@|x21Bbf6Rk{A{lE{kt z#~DZ$SXpBnkIsV5{?i`XFoa^j#5+FEp$%7V54hNN;ipa0ad1iAS6x&C>OmW8tm%tWNkqu6=$4Kggk@G#J^ zCdfR6297?5XA!>XY+>T+;H=@`U?)cVkEr{PuN7fAnVYzp+%j>sfJXljhc*6=!>pWK z!koWvA8Ag}!Q9%?>wk4LvUq4j;dmHwIcpcVzSq%5zgLvHh12i9e*bA_eYBKlXpRS5w+al;Dw5&8jE{i3G#!JEs8t z6{QKjA0t0Ya=C1&@*@gGgF@fBq2W37W7J1S(_$C9dWP`}*W1$RiC0~#4=gM%+1O-W zyhM?~W097obl82Hr>yjslAbPFFZxwxU$(Bbk`hnc_yDr8)=`dAF2ih z3DvIisWmJ0`gK0rT9T4)`IfNV84AK)Yw4zDW}A&?B))gOx+&~D{V zexWZfW~kKKMRDn3@T=)*^Mn2MPGR3)MYMEuW%i@OJ;IkRU2^vDm{TNxu2NwXycBFg zf}irk+1Yuc>*kq3vJ3RqQy-ra5))sO%jS!C@nZ8wN#{b3vILuRVwKCB&HD!@bF~YN zUT!-S>&Vv`-n#W5$#)H1RaF(WXfQcB*;|eoHXV3%G!!Z9-_HJ(k^r9)vK^wk=aK`I z0#$6&Gcx8^o2fa&%wspK{u-^AD6F}+y~5$4Z&>5rM{ex< zipQ#hiHAo$hQqkOz_6w_Pn)C1TUm7VK}WKLas3&7E32TOAnW!xKBW8n4|lA_5Q+)q zMiGX>op~M=m9acpV>@2&SMC)iy7q9sqoGp*TibPrb2pBjk598bUO-zszZ= zddDRG*^?)|Z|~w_dU`SydwvX-wDmq~GX0X3?4K)p#p@OkC4Z@Yz0bD&sM~;HrdN&o zlG;FlVc`zd`Sa&z78h;fn(5vmS6?_s7$_<9W4J=uW5g*0QyqXkBs_CwAkkyYI$q$f zx2Sym3MF=S_NHalt5FOTHh3?ZI}D=v&wm3VJ2=a1F-EJo|whrf97V$_{Y zue58h#7c25N4qcyX252jwlVXyYcgid&-zNOdu|UmH8NEFxeE6o zH0sz$G$TICs$K9MhPwaN%@Eh06E~JdYqXo6U4GHf&|qIRa{*~l%zHxxx_}Uir%hvj z^5jWpH@Ci_GFxPJCW?3{ZIAgB;-9%<=d)5^P?cI(zbg+{Q@?%tiLl4=>$|uFHWP2} zuKoO(9nD{`smI*$?6OF2n(UcjS4YPpe*2L-dUG&aYzE(CSdTS5ChyBuO(WcUDX*+t zA+imlwwUCzTs7;bjyewAtul8B)oQo(V=$P0*mh@a=3`%;_EW8Vy_d7pLeA+eemd7L zOr?d1bLSg>wVnO^QpVf6dUOjK5y-DFX~a*%43}qmIn=HOV-8-wzCH!Z@p^GxSC`7v zuhl8{CBs_JFBiqUU0)4*dU{^`^5u*BdM7-dV)H&M$QaMsh$ncbE?m^g>syXJRX`5Y zdcbIGv7}R+2iDxv5NiL*t{E6vzV7bs+>EETby}h8pBR&4w^rBMIEM3GW?IQ=%Ki6O zn+XqILXe0sqzoaxocr7lySrHEzSq&xGC_U`mGV)i&fD!(@)Cp?M!{^iH*elNfhj}* zeVTigg2Lwb@#7a8L(T|XVAIpMDr7D%A6guM^*3t@C6m$7i9LJnoN1{|U+edwvb@y~ z=anxiL|^BE-qx}m!pSAXlT3M{rmp@pQ!zd+qU7sWokq^nQ|$udyzSVD`)5K&I^PGK zQqUZUFnGx<8f~u{OQrvyC?7D&xc}+<}MD`rg?$ z+a9mDx6+;Q*lDIUif~W>PZA}m7@e4iIZeTv-Md4i@`8bZ;SxM42fr~4K|%P-m%0T9 zRu&df!W_>YKIDXcv2hiV)HEd_NqMrhGF}K_bJ!JDXkVrxCHf6z%U|#A;kADLTsqvW zEOC&&I@LU!886^a0GDSG6EnQgviXDfKfZ`GnB4v?57DcVgP3QW>~;}W2tXnt|mj0vUG*2 z?tpw!WF%>it7=$)fWz1buixfEAF_U+@p0^-M^7zsG7$yu1UWJ4?YE|;ChO5^w;=Ym z@djR%o{Zn2eE`Cq-Vg8p5Zpy>i@fDa!zYYv@6AzH9RGFQsP=35bw0knpFe+cvW=Hm zg^h~CR5aJKS{f>IU!)TA?k(*=4sAO%rYK<3n=M6spYQaZNXs?lB)jS9>Dd0AZz0s7 zwf74r(i&l4N=LV5ypC5^nz6T6%otX?axHNP2@RGiy_?c4w|i;5GuiZ5u?@z}-k{p` zQ+X|~$1_cLN;0Q>QY*-pnHY)vpN&!j$gH%kQ;g@=Z0S@tHBB9*`{Gcy86BROXlNo) zGJlYrMrKGftsaYAWDEy3>9(_4bW~)8* zn4_MvBSFZ_+|rT)auL7#(vZaljL3%uw2d0fxk+Nll+%#9vjoO{dw2^WftO=_JU#EM zO@GRqQB_rS-+T1v5tm{}aB%CVPoFke1dE#D9qO6$`t+uYpHlGUw&2JTmP4l89wfT( zrNB_6=ElWy=g!fi3C>*MZ9hXyTs~Z{o~2~*%*qKSj#i##jmJtqEKNT5A3B>q2Gz&L z#vt=YJbwJxn$(ingXYmBX{`bm7RBJzJT*UW?JaTYjm~w=AsGt;)*Ujcmb4-fEuzM* zPcIl1*I6c)YkRVk7dZlU9v`kJW53QqHdQ#!s1#YkL#>QLHOD{}m41BT<*e9R3tiK! zlcZu~TwHFBdRE-5;!AF6=;NroygXso?Z$Dj?IF+P=iHy<1&b%z|Y% zLC`7HV9B`7yR1dk)X bYvOkQl>Qr2gjZ~tqx_A7|4WoZ5xA$ z+I+>EF1tWxPYO8ns!6X*r>_>=8NXla(or~JRv>dVjFgf=)Y9M!M&n~ygz@7GY`1&n zIuc9t8R_V5T3cIZdMU>7R%IqV58!^C&9i7yMA$CIBu`^stR<6zTi6iOCBZL#%T zKgJsxAaq)KZ+Hy8v7iw3bSyTGldm!!@!uZx7^-r~f-}=gtU7aD<~kNeYbub;u5Vw} zw0vr$)?fnCedYl`8s+ft@ZE*HLelf+(~8ZSZIF4qG&wa@h8gBx`dWN5@N3M2X(lZ~RMFJ0`3V>5Nkj8S{7W)D5Y01ewtgWllEHo0U*{8?Gdk&%&&iiU&ymKlhW zMe!aG=((|WTACt~QIpr?Qe0sY%m3&q&mK6+1r$Qg=2crSA|gzOW#2Vhub&xG?J~yh zYWGxQ4^{$}`iph0yN7X53p&2#Jlz<}X>xB=t^yCq44=bLb}?DxoTP! z5WTfDY~{gr-MGG1ih8d-Og0b)#n%S|w?bjtsl!`GsBcZSRJt;Z-GYE8U(-=sH3GhBN0>eWX`Kube4o~x-`-W%Vg zDpr5~WYVtSX1MHPO%SbL^w*77qdlYspiOlbh|N%Tu|W_lc>JPv0BVJ&rKP1d)>C?g zQIo!FpBOX!YWLUL+!qb1oSO>rLobpEHYmif50*JWT|tN)%+Ga4UBSW6eK+5er2xIl zWIIs6r$~U0AD0Pvgr3erW7*U=XtYYZw<36FCg8R%%YN}RK+D0=nZDP$JZNsB&sWjo zzUxm%w{}*hS@I{Jc^&L-X3mqbYJG=b{6;UI`}9r7UJ$FDek~So7ews~yZ^Ye8!X7e zA`g9;=|(7iOdK=BTjO9eP-yJneZ6X8;+j|e-m-|>e0S4E{sF*7KGP2m)x@^+hul%9 z?0JAoKd#VyuCcWrsdRErPL|#QG{OtH6PyeBy zPBctxEB0`ApdqeW@RI{1QFkwU%`(+51M>b>9SK~Djh<~-Ca-y!vy1!4D*IV_zD^-ed;n6|nl$lht`>GZ>{$>M&u+nS$JW;xXFeAJp~ zZEfuaKubnVT?qOA4g|xYYB$@eVUDk3!wwDk(5Flc3AQ9w!W253QhjG0DIfqd%V4O0K6{DKNNQJy?v*`3_HhmkIgTihLk?cmb zOi*wGbZ1~>Tm{r2Lb9fnHL2xx}du`o}&aLCU@ zH?Dq#rTS@WwbmMRTx{lJ@BNy;JOsTAi8UVpdaP+c8~JVa5zg0C3lHJ2Pzl^P#!#Yj zT?R=~6`ldBP2^1l#*XIM5S+V9JMQ6~YTb~t($LT-4ihK!-6&0|827K~#oz%xhlx~- zi3cnTI67*Ft2g4x025RU&;0X*cTYG<8?a`0J-A9wpRTc&#ABuOYEP%a-mp0BWL8#I z%+A3+)b6b#&rB}LsHv&F9EK@0Nq!lXA`jJa--d1}1S)lZl_J|{F`uo-SdM(dntuDl zG}*AY{+GgTHpM%GNb%%%x}Wp3*|+yWnQn~#hPytWJS8r?ztN*Sj4@7<4SXyz8)0r` zHT+a5J|V%tuD-%!ib8Bl3u=S_^NrYg)WQ< zI;>>|d$`@ecc&{w*y%uXt88+9K8Hae`p&PP->xp!O3H7nvZ?1m7a ztOQWfV`gvhYRFC=!LbR+vl*%*TnZ6=Hhn-clsSHrf@jh~#-O62A|WARdUDcqTLbOw z?OnV?R;y4vF;$Qz^OT$DwD#9Pstb=Z>fi1`;8|gzL-Fv4-}Y$cyk?%3b^mMK zwe9WBgKsWweGkvl^)>_qV8-hW5ugZ@e`CEd-v}nfTQWdhwl^b?n9~3g{c_LeEU{%6GpD(>@WqNO?uENa+{wM?{=Yj-8|SH z&w~I_4HXivBs<+zuhmXnplP3EVRAgEff1=(0{nyFY^TwL1T14^nMR}(+tn(FFYz~Y(rEXK@|cBs8N z+BiYGkMPNeD?A0?`B|p) zJ{3+pZ1@`?HWqZQUQ>)S=;`c6%1BvizusPIFJRE%$*ssshPsGVassr^9ZNA+7Tb(W z@?OZ{#<;Av3&iBEn;07#6J6rIbu;)hbI;)^_fq}nsp_5Ccs{$YMcfYh4gP*X4<3+u zTN%9*LG5iV*~Yw$+Kd$w6XSFJu0nKKxU_2qm>rAa;TTeES67$m00J4Ds5QSJ1$D;E z>})0s<>01>1_dqw@%1fH3Vu7Cf{x0zp=Xi9R!Y*PcqmB=KuQGx<;eW;WYhqJjMT}% zr8M&w!X#=UCQ*xosY@GU=rQWnG#kD%TmwsfR2bnm>`Q80SOrnHOool?eXBmtsgH0W z5zvC=FiOVBgA!10Z486)>(JjF22eC}{{619M8IL~sHlWQgLA_fVD<(e#oVDVum_rk zLfqFgXe?Y?a|spoG>=R&hf2cV;OyD6!k#}!k%yAai8 zanHhp2t-O2gw7l&|93Rg$SLnj=00bXbT4drHU`UOk@K@TBJ8q=rALhRSkK8Fg4yTh z15MB9doF8bXpV4^QxSOpQBwY{_jKd)CR0_IdsK(jdC0;9jwEiG^hs!_8nA=biTA<+ zmE-x_m)X03N{hduz%E#cPJ+3wgp{acGr&&fou!kBTyS`vYeSHYt~AAoly`S8Px6|* z!9TN^@QVMhZ^Ati)WDVMlDb=ISl6w0h{(&!zfs(t z?`bae1@MDByB%HubOyo^0Gb+lWAS*lBQX!Kd34Rey`{Q?tzo@l(;!F7Ou zfFOk~_lIp$Pft&QaT^fDEJ8xMP;M3%7kkfV#N2KJfcwQcQNi3i9ZDHYT!q)VrP!~D z`(zX)$WybBqHr{_p)_28VP?`az6$J|+am~&5ey2q*Xw^xKBir%hf37l&}Di>q6mmF zy`sPFVs;_OEesSUQwZ2!7Z4Drs;S9?LaTZ{Grl)VnOban#D!tYK|3KZ5QRK!rWa5^ z1HfV;PA-U8T9C^5^Ce8)AMaTW4hni%PA%-3jRY%rwC`KP4i!GWzx1F&>Eadh{Q1|x zw=)6Hp|+Pj zGV@R8h^WPDziy6sFR~##)xH!e_u~CP6cd@1mDSGPUfcM%almd*@(FNH^Ufm=Z^;xMSJb6+Tf@PWA;G62z<^VDS zR$xQ)s$FwFKDm_U&~TuI@brH~7>JKK%E{t{Cr(Vn;HVHKoDP;p7-Up03Yc9&LPA)0 zOT*g0*PO0Ip#~m`fDIL1nv*alNJ3k#n!Cbh+kZPLDaqN%N!7+C7YUzSW*=kwsl~i` znoh0;LP%OADb%LF~vM?mc>xq1f0a>4_J zm}*hEx0IBgDJ6^NgHmJzC==?aSmYAG73n4lyLCgBET~zoR)Bt;`C^R9mV^a|oCn(8 zM{Snh@BVj6XxdUL{;>QZaK|8^CNU@D7)pf_NINEGW;B9s4Ghsil82x{?IcgpE!N>9 zAs%vvG!67X5RhaU!1$ay@f?eTl02OI$%Hb(b#QPP#+zPT)PJ>Cu9qMB?3q@B|3Rh5 zD?$>7NyXY5pBI&Cp}NyXB$o0{r@;NN@#GJ81xW}dC8?-H@TUVvQHAI+GwS;KdYiFY zub|~&C_REH?NtCQP0!BC6tP}fy*BoN@@WjOUAt`iNh8!Nt>5SDHo z?{`O0T?B^t==Jul>XDKFfBawmFz_5bJv{4|gC6R%Iw?I0@Xy)Br3XTQanr|-2)9;!xVwm11O`GDa;aXe zXE7o!1rt%S2ny;z#6L~~P4sm{A-_m5Aez{GNeu!_X&FDavf{AUU~(}|z#+-VcU3wl zI9NVH92joUhHQZoq!4yxx&f<2vJA*h6e`fvcV{N18WPqf6r{QUCi{@tc}8Ntt9*a@ z(+m0Aw>4B$o@0_?Vq!ptDl=;)J_aiz&_)&quHB0Uo=sj+v8;}phv$^x3KB(2?}S5; zOM{lIA@Ril@fXcu%#MbJBI)5C;>*{!w#wNM!+P#{WaLyBp|WaeYirvAmYu`3E+K&m z_ylPLH6wQd%kujp#-uI)5GPH^pvumJgg`GLApxdeL@~^q$++}z21rzZNwH8SgT_Sn z^op3?{QUfJa*&@z5&1bqDfH>nJ`gYM3X6)0qz2YEH#H?C1FemqRwbpT=0LBlu7=Zt zF7dJ-a_Aej#a)9+vw5{KP@ z=a5XC{`T#vvU2CSfttPL8n=z_sy(%U)gk}cM?{LyJPZp9OHE7bt8%eIt3k{`1{Ct+ z+3$qhASM!B zSD_chKxaN)L>OsF6Mb349ZF1@^2ua+JUqNlgM+#v9?SF(QK+}CoCs*(0l9##%*F1{ zNf4eo)dN#=W@V+&Ykk%ldZyeBDel^0IBY-1a>=97s+~zPAy+4wpG`okhb2r=rQbOFD`3q=<%~saJukB&ap7j$6jHobUWTd70b}G-~ z{v9^RF5L$`XJE(kC`d@=M+eYc03biS4^)eO!xN}DKv&_%Se5CyL49pXV0#jtGLl){ zt_M_6NHr=D;Cf%{mJo`a0iq&1n+Zv!fHU0I>ge(Rj%_S-_;B>!w;QOJ&x>2^x-w?S z%*;Gg<59R=IYo@_25}(`W;q@{{)H+BKtF(#hBJZ4ba`<{dq94#v8}y5UkU4^aQZ0R zLDL$prwt651I{8zqSq5GA4OSK{Xx?68M9Y=Xs$BkwM`jv-TJaD$1r7YTfT+J}YI4b7IjV&eL*$4P`SZ z9$EmPjsrFpv@J$J97w?fq3EA$3YEROyD?AK$Qf#26n9tWPi8-N8&Prv&mZMMm^x1X zUxj3NG}QmagwWS|Y@$D39~capot+&JhtRhDuetuy@c**E%JJJhh~?Lmm6iEydgY)T z((?8e);_{8kh|pbucM6WeRV5F-QzE?8|Zvr6LOhlqNPPfu^-f_z9N&GcmxEjbaaj7 z9YrRM8&hEtEI`r%H9COY1Jqaruvn0nAnCx6XBRI1>8?N=TtY+3i@`w2XMrO_6{zco zbcDY{U>5M{!Jt^v$v(RSc9WqxpNi$$btN=H<88jhJ@Y-kVk{y#nOYmB4f3M8*SLw} zxi*bvxOR<&iK&IZv#m`5Bn`y4KyM8^5Kz3~`CuuzapQ)wyE}5vRexa31gF8}r3dHE zpJzbBg)?{HKjju6s)1UPBScbAU^7x#j7fYC0v!tvPY-`$bo4beP}5Ltka=J6+ROWX zaL@C+!z7WZ(ZCd@Oz$KG+|B|i037dc-@bXzL}~w+m6erU1SpXm$)A>*8fxG^1vJR| zy86eb0&BCRPudR;DIVc#b1=UG-NZ(zdg>4IgXl{a>SDi2ng8u^@~YZ zcu4D~f}&y{j0=QfLA2WT@@P~DF3g2`0@QA6Yslf>I z@$m^fEGUTDB1npl*Dv04m%lw7)|P7e;3b+=NEcG0Y^wEM;s6`E2wACo9_YITu<0N}u2*iCgMM*szHGoq9jNMQ$Sfdp zv~_kWpAp-5PLJ4Xs(}vQ1n0w@)yXE94oGN%Ioo>TEixlfC`YEUH>gUh&MQbUQ9fVW z>@53?DhFggIm846xE)y*8R_ZSR-H*meuYZaVc7CNjd2D*P5f@Mqii*0?RumPY>F_eHgrKP+;B%l#G43KX#*&kSs?grK9DkCE! zD3YJ}Ie_w?Y7RquX08B`ty`X71-2mf%iOom`X_&1I(BKSPJg8VTaPfZaS~o@=7@*~ zC2~JR`V9~i?f`$sw`&0PD{_JjQJ&^d*<(RewgF@Z1PO`n|Ga4k2)uj;xR7or+&7?x z&T|;Aubz4)QVMJ^!YTrE;M?+rHljYXE5`AJAh;AoX5D|CnNwwVQ`;0L#SSDK(1~q) zEG#WAR4v1>k)1o23NW^3A0|tyX>sgqg~PZJ;(-97#pXv9czIYJ^|93LvN$1)u|UbT z+@M`RatdW}o`i%3^xk1sQPJA2O>p*PK#5IOEy~5E3cdz)U{!Cg*VWZU#m4HGb&f_= zP-lw<-vE^sUfCzXVuz?$!=*42N0Flb3s0wL8f0NW7~>`|k^j_qEF$_tMR%bi^uYYF zwy{xKN63nTVpkhR4w#e2Ac-R64cssiPzwqQ*0#2^w6vmuceyxobKyV=5ETHDT8hMO)WkDRb+-r!Bj|Xgr83vn#2CzE| z;178!#sP92a`zfJ>FFZ@Jw1=`0^<(W-kUaF zUS8Iqse$}m1inF;36vleBjfx_t8}mRhj@Y2W}p*g&I1~-1$d-a>1dKKL~vy7WMH^m zP!Qz4;5*;V03zKj@SJHt(aV4atKBmtXYQX${&&8hq5m z3GgEVsLg`efWXMmu&|g&5%~n5@Q|Wo6!?KWi?(RUD+G68EF_=4y&Q<3d3gl|b%4;A zq0v!8kjvZ`0ZT1_IZO>mf(>}Mg(z(!RiKhLpk`Epx7#T8Bijitz>Adqq) zJunc}v!TFImmXv6KWJZvgNy(5a6Cty5or^!J7SeAfSQ9u4*Iv(6RFxH6A`N;P%DF( zr)u^JIl=mY81dZpe>owb5b^(@(Ojc=v5}D)carbId6I4^XC#qY$IH{R1!%b~77Pw2 zxRoTZ`z5}9es0Z|JzCn^6@k7epFtQ0;3}&#5rOxTrt$TZ(UiA0P_n;_LIj@Ecs9sdh? zf{W1mk?$+U!N`ZE_N7rwRuV;}unYNYy}sh}g9{XSY|m4HvFs!<9~ST?B7`UXJa`_% zLBI(hD z0STia(pS%+rk@5DV*nJs;45%gMHy*7Hy{9>@>=h&-I0RU!`1fT+%1)XO$NqZdnX2`ja zT&X`-Yn=_3O&>5WEXi`%j=kGN+aAwoVda8>#@j7Blk!1zum(RG;#)=j1fX{3aDS)V z4IGMT4*ddnz=3cDPcpK7p|ATf$GH$ug&6r4 zj0(p7Xy~|XOW^3V@7&1-vBec~@uG6T?h8c30*{S?+VW@sti>KMGi8Ip5sYVO>VW-X z|D74~eBF{@)G^I$+R%rjv^Xgn(5VBoEB1F^Ux#TU$+!3=Ed;`p+mEkY=x%U=AmWeh z+d!O%bV$W4uuh;G$}zRIwWJp>WY2HYw-{dp@ZAh7kyN=pTS9FB&gn<;;2pO z?bQGV(Fh!{tsNcxu;>a*8iUah|A2N&U|zwr5rR`s!?HeC1w;z^Pc~(cGBm!g&Mg(D zZtKTuSe+g!bLn|_R%o|bq9DVTTmT(>{etbw^43pI;nP5tKL&4BuwZ(Y0ug2On>X6^ zE~OGyR%rHygX@Fn382iG&MDKVc$nrjOzrL9Os9Mz75+Bh4jVcgP}OmI&Xc>N3L2G zz>C^_{6S3$0>(VeGl%oayH3+`mjix%lNV{erN^nRBY||FhvE|rL|ge1*tB~=4UpQt z^c#y#vx?F)(a=bO2Coi$3(LkYwhNEpDG}8XOyqr^wu`FGCcb@pMR3J)V(9R#vm5ie z_-v;~IQ?iqKoJH1>q$X_`s?Tg$F0{x(QB241_lK}O2BDu$&g+As<=I37CGCAvjA8wik(p@&dLERX2Cw#9|AwiX6_bH^ zdA1n`-#|;#%EDIG^LF{RM!(R5`p@S*>eGvY@^sMuVs)B{wJ`O1jm)+X7IGTwRY06zufX3k24!9 zBq=^4Mr8oE_AHNuhv^MS-npYtiy#%f*k-RfFci_r$;k*Ue~HKPYyV4rOdPv${c9k} z5Wfjj^1UESA&mU76TNSFDN!m&c%~PDLh$&RGiSgptqhTa)%h}DiS`5`b%3(;e`Px@ zOnS6V51>@|5>Dc@q{u-DkIHS_-|5C4P&;KeTJxh)LLmpS93zv0h|3)>s7iQ-k=RWr zBR%#6O7lLXbaTLLQF-2pI-mx1Z_><#1`#n zXq=|(xt`;e56^4D-{7L;p{pdL0doXWJXh4)xum?>4{2)k7Sl-Q z1?q)G7A&aVJ|39+tqAY!j~{l5$>N5Ghle&@DR&XE266t%)GJ?X9qO$FX^-&38KII_uq=VW0JMfHg@F$X}cGl;H z`@#1447PtDK9r@ADs>2I8ermwDyNdW zSFc8-Bg#gy-_}de3O0vBYF+^?INwBWtN|&EejezFXwV(N+K>kO5S-ltr=h?K9LaAT zDvX|Dl1<}d7|8HEfy$UG@<45U|8f%|E~1#w&x3(s_i%58@2|HgbT`;sp)|;b+GCjC z$jFHB^l7BzsN}Y}JM{CevKmYzN&iQwt4%_1dm(kWKZD4PQ~)CmRXA{vlanJFG*oK? zK$p;?fp3VQ2L+?Y{fK_RgW~2tvJLxQd#v^i_IUmIgql5>`o);(4tI6Xb*@MMpxypU zQ0SB1cX0y-p_g06Mfvx7wDMliYr{p_Og|O3dz9pNRwt;7ZR@S zHW;TF`#=>%=8)GX--YUB>eKUlo%xY9^{4DA2}-`x`OY6Tt=s zh#e?+WnlmFx~3|0u7`rU4`FvEx)7xu3%M%g{nXsrJA#OG95Ekx#W)SQc0fmi z>sDoya{4)PpQ>j$V>dT9dvMQql2_H0l(@XwYf<>IeCot=VOP$kn(XpK|2AikG4cqm z{F++9BnVzbBU^gx+bR@09J0PoPO90xW|^wXBWiW_yYG44MZ>igXdRmmPK7#G>-Gvt zt-_|4*mic%L=~a#=g!p~n`^2!du04vioq=?D{o<&?Z=QwHMrT*`LLUKG>*eoz zi50TL`3d`~oZb07oZup<3F9n0u;`(PQ+0JM&7X(?%QkRJP%1hFE%*E`e#+;2dwWM{ zs;jkzs6By?W>~IK8#-ijhqr21_c)Z}u`Ae_Log30)p8YxR+3(( z%lhiV`g*CBA96S7ZV}kjH-@-7+fj)Jd#a@5dDTW2nc6prCKW%cepz*Q%Rk(h+ZxXB z-b`0bOXsM6u2;&*(fK*j{l{~y{D|dRb?+6i`Obh@F?<#UqZ^O!sckl0K~WjH%>_W{ zq2j&s91NdsAn+amuET@9O`s$eK~ljkHI71-RP44btjh#3z6F$RfG{zT>8^Nxzglox zR_;Qm&O7w8aEk{a3Jv?T?a7^GC{$THrGwnNchX=Wh}qrvR3L}!NG7Kjg@Qovrr zPk7{8Pw9mRE7(Jh6+Ol=l*%w^%syFfI{H+a`MMOpXQLOvwi5%$o67 zq4PFBt@T#FrLdnsF`?x{d7aZ;7xTN%E6e5Ns1+KisXXVsqp~ch8A5!PF(vo#7cE{v zl0i)ECDe{_A0npSwY>p}g(+(;scq@I*LRiqpCmgoez~= zO~-$umv=4WwqpB|s`{=Ylw8?06lOET7WW&bSZr&%ed7-f_0x z-583IVce(vWE}b=GWZ$$aJkia`m*TM)O7nWr*AMWtayZh+4q#UhZ5fPRcGS#-jFzq z9kzN%=U@1xIBh!H%!PpgjTxRjY|t$kS-1N#xjnzE#foZ+u@tt115cNa?_I{rYXh zxQavI`q&FPB;dwyf{J>6f6tNiXxGoYB6)n*+G8FqFCvGvxY z!WAcU3X`UqvMt);T&^QFJ}~GMf^YBTtTKpquw?+Toj}RO3(gm!E228UBd|IpV}CWT ztTgno0O#o1NL1BhZN2{_Fag)#c!DrWR^1SJZbA0?_joGz_tzBco9pfE8#?28WOtWq z-VdBP_2Ten$at2RC~S^m&=#-ClZL%=z*A*{s;g31w-tvu1Szx>941Kh1B_A>J&*~v zK`&B)jeXVN1)dhyFOLKYaod`jdj5s-j{zJNHyh0xITS92-F7IZU7PHE0u?qPb3VobSRpCwIUV~@`L__`q@0j_ zCf6KBUMI?o4t@BX-GH-GS3LS?IVBrsPyJPE*xR4@&^y6@$0nd$ng2wFLy_6QCiJ~NIzw2}yz>xc+z9@h7s zJn3RpuU2kfJ#R}yJ*I7Mud!{D`>(W9)!R*X8DwTc@ukslFNE&!*Hm}Dfa&oSvQU}T z^jRl0HXn7H)tE^GEXpPxdLJOG3UyM|_$tq&v-xT1Sy{X-Y3^gOO-*QB-5`$Pda;T- zF~(Zaz<;U91bg}0?hj$8V0*qbhA6HdZdEkoz?AYn+?nf3l|BV!EHeNlph&~%FaMLA zE#6!1x?1r|%-3_dQ~&O}Ae=~b47*Za6G!;JMwU^#R9c?kV|$>s_qsP6#)(k$je5*& zsajoZXjm&)O`uxeueHcho*To&jE`g4gC3BMMaO6_k9tTdf*0TwvPFou5Lgk!6@obg z|1F0I^aC=hOLHuuntTKP~qv+0iXRo`_8N7csR_51w_h(MF$hTkk3{)#w3IJ z+*mLloA>Pj+*n|mKDa9o0I%Ngbm&X5nQVJ3*G*9Op3}qDf$xJ>$-u(pMZSEQv;W}A z{NG*xFmM4|=L1A{K`|0I0*~Vrz0iK^GeeeREHQ~gI`>a@&r}|zK*!0s&F5gWEcc}? z8r>sY(u>d86o@px48dd$cc>ND@M<`y7pIWqbh>@M@A)@Cy1mQuSn)N0dyFwp)~ z2Ze_js~zMugc=sS7b>U7*{^SlQ}VVfEzZowXT%sq0Mxi}Jq7i!dyXo5boDi+tTt3= zj4-=e?Kqwa8hBdsIRAsqfil=f0v_mWNXdF{%pW1z4EU$zBS1dMgxy?B*RExL$db%u z#hTrb%C=I@0Xk7~i)f#{5cR!v;Fe^Dg4}b<_K2a<@L=MoYWH?O(dpgAM?|4oqi$hw z3A?>7#ZjyairKRQ>v1xQ*9ZtyWd6knqcCz!L_|MNE593LCm3T7WZN}}d3s0voYLT71aq`kNWBJtbR-fasBB;Bq>pOGZfjCu<#+OICN2B=0O~N;HWg$8wZCZ{0-Ni8Y50Q_lEl1rCxWC2Q=zm-OPw)%lPzy!NFm^ zmpP{>>mj2Oy_TeAhU*5-caj`I6e%-o{s7=zqF6(|UW);~-F4zE4x)KsVe1Vq*ayIg zn9)BQux}kA+>DNT{w+N4-8)AD8kHTr^3MmqbgJI`3L_^BWFp2RX?|#Bc$=Zh6-R>r z$O*4#=gLv<%>`Hh`#?E^4%r1EdJ|aB1=!=F`A4Jiz`6EEq?rZSqq_JeT#eDP&+`ZU zRQ6IOE=jg;meN_=UZV{ho%@q|L=O1lX}H;sq0~VZg~)Q{O+dw9R_lL$^(H;~pG3Qn z*}BAG>CL6~<%j20tf3v0q@Gq|SXFeuVB)sMv#T;V_$uqL=ffJvQY2Y{Dpu+|BM&oG z7YIK99Dj4}+2H5_)u|Ue&G~TmG2X`~79?><=-mb)s|3k>p73$uz@}MkC8gyCa*o-0 z`Juy-&h$L(rJK*Uv8jjcdjam{CBPDyWIx#kh2%HR&eCOs;U9(LK-et39x7i!{}nVAd#Bw!vIjs-Gb&B)pIjKzYIGdJH&T7AO`FRsm44pnqkQ4L=(`l~J)^QOebI4IwT zZQX`g8!gsW8}&kcc@r;Xl1-1kZY>n{5Tdckbv$8Vxz&4EpKC9#OP)I+ckC?Zb;7f% z$0Gx2rD#G=kzUDDE=xUQn8cqVsekZlQc9I{k2Dv5#M9AB-dgn?(K}K+Je;$5H%L`; z?%1Vf>*_?@=3d{Mx_0#>&!-}^pX6o&$3VzK}=1O3FfkbQt^ANIvuu?luF^hYE#&nNIny}X{&Obg;|8H&_1lSeA3JTL5+6M8KYjP`w6w3jjPW4* zgXf2*a*jHo!TrpIK26Dpfz+15N5SJ>1Q*X5h`24zs>TwB%;ubxdUz*AfjpKM?M_0Q zu%_vPBE0(Gq5DDBO6&XD)a7LC=_}2ACEYky$D|Fj;Poz?ukIWP4@h3! zB9=T`BHuc{VXY05{IjD;_AVi(5p+5l@_P= zH?q2l>7HD|<*|BCjXg17NZ_|8)!_eg;=YP*jv9@W);EG%6L>fBHN$U-JPVJIikEY5enYptjLTZDXRWMEt@A`-inF4IzaM z{PoAE1yLR&IF$Tv=d*6AhRff3XuYW|eGaX`jD0{tE5pPdJm2%JYA(gYp`|k00yGB_ zvASkP^#En>I%oOPrRPE@)vM>ESSp-+e2*^HZ@>=ibHgyHtTvC(i1-&L1nWd{zo_5tMowXJBK$iEv5-jaKRVCI4Q4N7V@UnZ zEG0s2zQ1Up_k}UT>QV7=*<*(n4eL%IYw^nYeIZo9fo*4J`zJ1csapl_39Ba}kdZcx zap?^DeEa*zrR4_d!|ec*Pv=_NgJh|LcshB}Qt#8TM&9!bYwPP(3%Pk;ORdj?uDlQM zb|$7_p8*BCV_~o31E?H7+Cn-K#O|*TR=cqd7`Utv8uaz`X=rN;*lYKn(Jjc&Z?dl- z=(QvI=5?;1=MsTVPEPTZKCj)C@isSur<@5&jP5@9)H&r*wA5(&4B38y|?HtA!`;R#yvC9e!=IZ^jo)P+AZrY{vg(%jhV0`m*7iW2Iu2 zh=||28ozKoCSwIuw;|knWIBknZm8TD)WJ z=bZO>&-XoN|F-{Z*^9a6yytz7an)e@mL2e(!Kj_+J5rtzz3#3D^&LWWG=gDK9k0rL z-gPP)LHDWt@%Ee5nMKTjL|k`FW?IPb8#JC{N{2KuMArKvnZ1sZxU>&{WE)P2#W3@> zpKbv$YPiz(r7Kx9Va%oq?0hbE{f`CSM@7{GUk+p#+HD4gj1gy0QAD(97a2C7gCQU} z<`692{$K^hY*CV>!FzL`Rg`eKmC9-`%I(o>Lf20?^}Hf0=-$qM~!Yy>TMJ1d>^-zW!{{qNaOQt~}_+ z-~&BwZu7zn6?X~$kb)6>yQ<)gvckkb~>DOo9cyeg$iXfmC ztS9ryoVck~<-&CXUYC?OBhQp0lC{gD{m=A|Jfam-PK2~WQ!mhL@ATsj#%PGhX|4O=<2-Mtj5 zjF;F1BKFnZp2z(u;dFFgnJ`a#XY4pZHHzY&5fBB@1)2hP(1?O9^@oa4&nKP`2sIM0 z0gxS1j+(#?16;~AJL!7mr%#DNP1y9ZxYT3wa$Fa$ewg5vd{WfXo+z_Y{B*xFzT*vG zkSCWobz7RKs4A?do7+5-$}%2CTnanM?+A-3v+0NIZ0C!kaZ?Dtz?|@4_B6p(d_8l# zF_uMGbMeMe_6h!Ac_*9&kTX42bp;7quO2SeF&YqNM5s_3g(b*yDfS&J&ieElWystOi zE%5kb0q1g^&BV|5{VxP}KzQi}%_v%XR~Ke#Ny!KJ?|jM6w6!~hmJ;WCi;tzk4A1U0wliX&OFcN6I|Iz<+IWq zq8HaGm9EL)xqttipzo}%Z|=a0hSk{a^WvBR%MUYx*`?hD+M^AYJLlS4I_=1j0n%nG z^c`IpjG}<`=`egsF@lyNByRUxDtGtoxVpqA*OG*(V#G8wsInU`_EPLR?^&YZYz3O> z6eG3IMK-18gV{FW@O*(@b<5-6^-R-5SY7bpvMkvrHhZJrzQ8q`00iHC=nZ`>M5^HW z0cQos+DO4nbJW1wx7W&Sr<84M@;aQNa58OhGY4@;R?G0U2Vbb`SzJ}rhgF!fTK5|c zlXbs~vzha~h&#$OzSN}b-0FdA!^B9WtJ|qXEINmv$6q2c+4&aTQHCG?)BrQs{8WEk zmBYjuQ!hb~(*nw+3b6B`-Z9O>7gs>wDhOis;HrifMu5n6rHH41ZT<}qrFPIH_Cs$5 zBZ-<)N6wl!bTTqL7T0sMFp6KwYBj>u z0RYzuat6SL34nuT5Ef2=00Boh{rHm|f3cU_fnUJqAlu-nx_avsGTnNB;ZQ*~vF=S9 zhoL5K%#~B3TAqJO`@<%MVL9X6&3vd`tH_r2uUb_*~PIpwb(#&>oN?~RE zYUBmm+p${jy*YsilU>YU%}YH{i0Hx}n@AltQh=-5s@?aVAImhS_BO(Ey&!vaK}Lyf zXr0ToJ~tORvtB$?Ha5MQJyUl{mF&?Of8zmz^c@K|rl>@Jp+5;6aW(y1#f^M9T zNSH3juJh_BIt};F{<@%2CXmj=*r6MPYMs_s6oLBiNciyW7BZtXb#hL`yITRpJ=~av z0fN=D*W!hqp+5;MNhVw*YYG-jcA*TX@!s7DJ7QbVMqV4w!@DVkW3PHad~&Oo{2(qdbcOVCZ$4{PsruRs1C z&W@&-kpI$cnJ&ZI@j7Ae^O5UPIDguCdg}uS8~rg_4_C6NlIDDnjwH;FPE~MvOTTiY z7fY^v{yS$;XnxZWRcPHkFo53?DS|$vk6UaeU2d}->3cT|gNgJ-exKF;yR(ypUgoUi zxW$i5#PHFizDS;~B;5Y2ruO%(wcQC3-**XU`FB?9`+Ow_{jO7?4Y(NzWZhY{ro!{I zz$`#5Wk;zw1hoLcBgKg4i4Jcav@zw6gO%?l#lL8o9XNrzETbcG&dH{CZOFj)#Z;_D z<0rGm3D<;Sw7VB%suA?)Uk(}_FM|ok#3rVuooo=`DGGubBSp z@Kw6>ge2jFq4$@kWY5(peKph@b!;iNUI(WPTw7S!Zop2ik^cOyfN)?+oi+2TlT^)~(C=rY?`_r0aZ`9)H+RA)2&! zOso5Iz=id4`az!Ki%tc9$|b}Nu8<}p!8yv~orl9kS1c`4%ShK+J8>4;eHu zr!+gBAG^IOb9?kinEeJ)wqY;UqY`Fx|h z(ppbL!)&-^MTB_i>!mPttB|Sb6Ag{-kL;wN>xTEK*Aex#R$1b?uk`hW4-f?t1Z_^x z-Rp4cJKEsEdXTS&8>jcO%kQqt-9U8&??cnrh?A}_mrDyy7R37c$%WHt(D(eIJQ~N) zFtFZNH;>17`HK`1ZJPTR6)vyFSc>o*(C8i?>5q35Cu*s-S2FeWqP>3r4~X^7UJ{$FbxhU0#&?DooX06pYLspY*2b3D0Ss z9TxJ05831!Z;U3LBagJ!C#`eJ2lA43y4l6_P2u~9HgM4Ne{FCcYWSfR%(}PJrc!an zPTJnVHNGwE0u4G^jkCQy7o;Du0%1W3U|9xemm$9=5flW28ivZ7KiBRjyUkvO6b*7A z2SyNFe@U?rFMsIFPCIxvN%LdXNjK|{>xkpM(k;i8#xON~*csirKin(u7G~4Nv>GHo z!@~1(oeF9Qc>MVr=W1PijHP+C)$LOK;U$EV8;ySvgWR*cpZ6y-`87uPs7gz_%MH8- zj`F$YUf$`>L!WzBh8RCQ0P7 zI%p|HpiCpj@A6zF_SuT~QQ+4yc_m(%Y3Ct|v4w?JGyk3>{2?ErV<18);G2*ccyXb= za#o_lHQ?P-!CxA&#HL#j6++_?3R!NS;ammdxT24b7_b-&0K4DmTQAwUIwasfB+}Js z*@PDV`BhvE?8?VoQFH)skeR-@7Jwv4V;Cpk5oa_ETvd<#{>?*BNrZTzA)s{~55MU# z71H46jb!)M1HQ*0smacyx_16g^ZBBp44n?uNrVe>^z|Of2E~4+6kMXNIC+_&p{06V zyO*F-BL;vB=$2)b`J*L z4O*opKKvABndWOfoD(%8>e7Vue_cvD$>H?!+1V&>%{Qvez{0|R8;uz(aj8Il6;4pL z!{9wz0tt5|jE1%RCfBK?cmtawn+$~ zXE=B58Znng2gt9B82WKd1uon>FS8gu0#8r|QR3;eoPa~8RKBD@!K-=~4tI%n-(WdA+ zYq81o;?mK_n(NpPeOS4gMk3gE-c2dDF8t+7s}dgjo3H?gV_f`DtQ}#UJz&Rpux9ou ztbK0ODuR|=x#8k0f^N*f%V>X6WJ^R|ng8p&T5tXEfbY{a#QAI(hvrYGdk{aiST<$@ zl8{^DAR++2DJMuM9<9dVLl}U$i=LdE++5*D==z@N=}lDVY1Q?(SzEKacp8TI@dqy5 z*EKHB9dHzBQxklA$TwnZMJ#@~HFx2joH-Hv2V4aU_R@F%4qHu(RxY?ehZEX1GOKxF zpMmwtOxUN7@8iapJ>*#6IXirk8rnJPZCy;w-DNki9nrNchMGd6^Jm&9fyF2hl)0*H`7F z)o1azq-@iWAu42ns;-tH7~x6Z)926U9WLuGCkV)~Q7zj=^)DH+8S*ov)^nN1F<;`C z1~0e9M43I@tk;&jcVsC!e-1b@4aT9xwIz`t+(5Wj=vC9ZaKN5FR#{ACNAv5KZ=?7_ z-?56i+4@g%iDDy?E2E1s+DeJMZ;B>sM)sG)s}$1Kj?c`D9cS{qa7T3b$r?(I0E1^> znS=-0HPBz4zx(7^B3`8Ry$H79`n|2`Yo-+wRhyuvKeS=KPqR6A^q_2 zqeG9-QU#tPBpX7{TV-EWQ4tT#4yXhb!P+1(XInmYkA>w0h(?BWD;7X<-aG|(Bu=}i zUJ%H|&6H@S8!D0GZ3%l~$MwYpV8vXUBgGY*d5wFYabvyz^T?Q9#lS#t!7Ak?18nCb z6?J;28sVpTQEAdxGfwvTCDGC9bIWU7#r^6hq($Yg?!UI!0$G3P+som?)@nrnB8_a& zxv>oeMSsw_FbU*%tq*w*n2wrJQu|%KS|nRyTuP}tDdZSliI$x`GwErx@W`0lQVM-wGqJEai-#tjQLJz+p`A?%^B%RTepPv32 zbZL7DQ|GOw@xXB~@}G#PK26CxK0Z$6+kVBL@T(wU^V;7Uy{WdvB7*|)qy2qt*QJ&= zPg3wl+B;U4A+?WA1|58*x!4~Z)Ga?RnQQhBF?bE=&~e?*l9-m2SA6ekX~IayV{Pd? ze=X9-AHIu>%-KqTxX~`OVpk44YBvXGhlNabgepk;~a%FLI0&BgMryi;sf$ znpRevzA>lfx1*7JGBT1&`=KrN3aF>#e)k{9#y2x;vg}z|X{C;$KixMlzhT$*F3+mJ zLa@Cjc!~wVZ zBAJ+SMe-p^RQgE^C4_s<_&|n1*W*who9G0TS~(G0wph7z9zrN zN4IFR8|#ld3vs})yS*`|QqBHeKfZBZ0l6uR0tIOF2||c(X7wLT!Pds-fM{is4kj1p zR8Q3_?L0;^F>Q!5Sk=+v{imIS7|jD@5qC!K3N6ymY0WbJ6E^~nia#9kyg++O4PD4X z7Z-l;H7BZ-1jS{(P966sHz(MC?ha0EJ3^avXMpYejrgg zK2$qvc>$G<5elgp!T;Q9QKs)C1=qGSX#yrcvtyNYfzSC)qe z9ULR}czK7%PdT{tamn;BQ@p=kzfEuOt>pZH)lTo#dw{C$YQb>;ZU%ZjzE}|9LvVn5 zZiidMj~^_c|6CrgEsR(cJvrk-(4~O!$+ZkH(R~i!=1sc;X>5WO( zcOB#vpIs%ABypS!c0AkYE*D1*wz?%_o>`LfF5_>3i5p*nW089* zZS9!E**q8a?e4C=ir!iUm`s0Y#zj&c5&VG*0Yd{0eYEI!*oHBDtU=phXc*xqXs%oQ z!B`wxFO;UN%A2l`)qj0l^jip7Zo}d*O$KOeC_%r4}d#k#QXmR)9x;r!Jvbknv#>$klv;BwI zh!>O96|F5ImR1o4&uTAec#~>y7_$=5-Q8Qa{ISEmi_MxcBBcVFDMZLW-jB_#zC-;F zKGhMUx5dE`0twivM~7o9XpO@DgCA8b=d99M(_HzhD*U=d9PB*yFbJ5N^$>%|$q7Z& zQwe2Rjro?J{@+@F)m6<>%bP%a-VqRp10~^$^0AIzzpO;Ed@qsv>mxBB?eLgKh(NC$ zap!{UIh)ZSWwhX?_4Nl?ul#uEn&(n5RD&Pu6Bw9@*g9~<{H)L~$(XVA%dcfwD(P2! z6UKAc)>5h8aI{{0!1i|9;o`tz6x#%kdAKSrX8BPr3_@0csVwC@F;W#otxsg&eH7$f--7@BUvdUuTD8 z%D$$%@>mGlFmsHTTt@M`_#@8;b~1$7ob0zA)Z6-6o!7V*&mcs6bY0#&zaaa$^=quG z;TH$hCVcEnwBm=kMyGVBN@ey7AlL_lIh5rjI-i6@;qHL)0i6?KjX-17fC{C{t39=Z zf9|rfS`FeB0452huE<#~vv*t#hpiFa3s3cF#=Xnm-16)5?c*uRXw!U-1LydM%sHG} z=Dklv{peYsMnxLbj+0;W8nv)HStwFuTtT6CDV_v*wWD{5`KbVrYQ>ALyR31T*y`js ztUbljnJYORC|l5Q`ECQ71v}vInP0!2I^{Oar2hQ*8SILN#Uo$=#CY~q3C$3oMCu1l zq2uGak&W8LSb+Z-b8mbd=mJ1uDJ5a}ABcnXeR^A>jIJ+R7DmD6XBn;OW&2rV*&Uws zfDDE*c^vYR;%iltudas6zIsRNDys1XClXak*fpRZFL0z4{Ep9cYCx~p61yrvte#gZ z6cAW~m3yrS8}4t9l%+E0~(zVO7sD1WY@}pe`A#zL00p z3L&xzDk{vd7lR`sDj{L*5BMRbys`DFewvfh@VSqvpK|aYZ*tl_GHF>E=1L9t-nHES z(7X5uBUIJBW?K?hbEb`UCWuU#_YS4c<8sA{Xs^LFQTp`PupuvAVz?csWgJb_`v+qR zUV0h372xFm^BpdIno21&#En+Ae6V32!3P43d!*JwaXsc$Pl@dI{wBsDDRc;qvW(wi zj8dFY6UfVdGZx9``9$WI@Vp(q7GfKsRp9j;+5@{^0(=wD%`}6xlS06T8UaDdjh3a{ zAXWO2o!!yfYt|8chbBba=^Nb#vo3ReZ_yJ*x8XOO-0zWL_-|b1afqQ~7F1$2Zo0no zRsUWLA3ps(F^j=#owvS^*ZuAz7YJ+7+`21t(p)w1!eUpaAe7aO;`oieCH;?zWqQcN z$iSX{cWb*(u}Fb&8MTHYZv}jnes%qNxN}-0^?SsPTB{qh;+`*=Vqx&SqY2-{*W>%^pbfv={biZBYnImoYM;gOp;iAm1r(yOl2mwzPi-8x4>z&M$g| ziBg^A8UujNbbd;1d|MdHul1gJ^_$R+$6I)zI}B|&#$(nC$L}8u`o#IpHa*l~tB~g4 zB93)hMt~k==Lj(V!;ODkBRl%;e2m;Z^VG7zWsK1;zutHYd>@K+Z%(e<@o?s+(1mv} z3M!Z3Qd}tKdmiBG``+piB`dSxD|;NVZ?Ihwey4g=rtj`Kzr``ZtpcG2X{3>`gLtNJ z!FDT>hT3SO#8e-0SH8Nk+kG!s&)3b09)J4> zn7llVbKu9h8S_LAibo>iuzdr&JE2NMvE1D&+hTpBSxw{o2N_FgJUH2+w0TM8o9@;DY_B= z!o0!~tI%3VICfH^oZ?K6jaB53Ha4wu=%(zWTEq34FUq_B@H5wqMW!Bxy0a$lA z1a#{a;~Kv`^?0B}uS%a}!DbwB!OYn=@P|6js63nzs;zZr_k4X$XBIpf>Y%G1khl&3 zj~o$YFOuRdo=d+H_RqG;Jzq26^emfsV)r0IHkHaJ*LrBcf5OKh{-GiVW~$EWQ@-DU zIOqxrg&PRGtbbnKofohHsgU|2EG)Ly44Tqqulvy(eu!>R$>HGk?QM=BL?Vw84@a-# z1d=?-M&Qx~Zodbl%Jf&b+Eh{TOdS$8uVyfwT9_pYNy0V!ZSO)mY{;Ki-&pnh&Bc2b zDg*;#RGHxX*iW%1TV)bWhAnNX%Z+N?1=oj1{EM}D9Or8?kKHm%O&%PHz zAQ?&1=iBhtH_aaL@#E|6!AESfGgVvrjG=x{6|Q}Mj;SB<-Kq|X21LvU%ppCqb115t zr=Z~PyDK`;d^HA%dww?T2?pIgm z>l)8ATZ5rC@pGb|&iygdkAqgi%c!pKKf0M2EoHifhDmR&I)PfeD17*t3Pqi9+ccrC zov6d$a{$4Ih9pe7(8$^MdS$!lZ|lo2P9wh(2^Xl24WMsVr7Na>D_ykA3%jVHXx?mh z`uW}awoF3)=lOY(u>kC*=sT_Z_4qQ~PIrmFqI#D^PPD}yzVS~A3f+;n#0gv{Ompzr zW&BphAF0ZhKF1WZ^By4q0mN-fOTz<8U|`Cpf)zRVzIIpbtM+PyhM8wxN)1I{%idNc zs*j6c?CeseN?=;l?b!x0T1K( zDb{r1@?C^fGp9Q1`JzCdZ`yCv1DmwRuHHsZ^!ZsxsoO;PJH-n1sv~`tD($63=IMm)UV-od1dMd$SZKE`|A{8{&e9xq_r;G&b07Ee{|V` zIinvTXt`h1k|M&H|Cn8HIRS}LL9uF9F1^&F26;;_jWnNY@0Jj^C=eBgK zDOcF6=gsG)7hE4b?y>Rq5I5rT3qRyG2|b(p^ih>U0oHQ!?p$Q+R-|v>$)27-2|H<% z%F9P^PhR&Ezhn;e;zTRW;2jSuh zd3>s;BW7|xP7lJ88YcV)ajxr}vm=)hYcI6o+MTv&bb5|2^!lw-B@ z+adxFuXaBZ??~c9@J*5a{s=lRedDcWyRsFdf3z;4$5B&-&zQ;il`8M^&AWc+DfOyf zS^6owW_+8=<`EaxG5}-e+Cs*v{`nQt?q?_ur;9Kf1iyu{fCDa=q{Dtf)2aRj zV%_4Nz0E>6C>-0z4-K&LANBt_KtV!)4Y~ zAoPf=;O#)WTS!(|kwEP@l!ukZXqJdlq`in~m1Wqs=bqiKR3VTTm#M8&9{%~@ZWhC{ zpEiqRj=g)+Z-;(MaMJ~9eb33s1e1WhFr-+>5H9lE<>0`+Eh>7;?>{$looIKv?wK?m zc;`;O*}Tr`oT>S)B1y(*@pic?Tiz!ttofY0j#d{q~8xqkVwh!qNop6)@=K+ zm`PvY_t!yc3u^QP?Mt}5qd9F-dNplNAJU4UQn-6g3FHa%?&Mt4gBKj3pcsQM43wrI@Q1k}Wvr ztt=k(54pk(*Dvs@e0BRgmd2r8=CdI|JGGy_-Mkw$!ZqUV?563QSLCtl!Pq$I!@d{^5Oi3jYutknKC8I6I!&j)!~Jij$1Fc3_lqDcTbfp1O{gw!(k5$N#T zHGT_btU;N1+ss5(`(`Da!nb$F9f7*8Pm`8ws=K#U$8mrmp(usx+bE6AgBs%rRoUo}M;)_cJBD5hA8=q_onasp#Vns95Ew^r)Zz$C z;-vTz2)jr~`mZxEO1@|ilz!mTDo&Wvq>}&bHNmZK+1VLIy9{5IyXnLxAIDe^-RHja zq~GqZmuXaz)(oJ~2#dsBUpBfy-}xh|EM+A#lMwj1V^HOy`t+dP|gvahvWO7vmDR{o*+xSeSfxTQ}Ytn8h38qXHMcOe- zHfDz?&8%(HNBhf1iW@Pu4MepJu~j!+n-DfE7uKvgyuFkpP=C=#bI4GiHf)1;6@&sQ zZS81xrQ`_C1d~*>kfRaScSl+2RmdxF6=$X4#ZIAqfXN{DR~Riit*Gz#Y)L$1rfKH= zLlXvr3dqnx2~c1gC@c#m8N(fy5_W_=1rCM(x+CU?r+p@@i&#$WMTs`> z3Z(mS8Bc$SGu$>bM#gCshbyE_c@i?IeDtnHWo+ttZj_3^pb?M+)!F;Hy9+^D5o*|4 zIE67=9!mO&g-2cwFd)54OD%tC>N#y5X4W4bE~VDW75* ziFG?~lAJ%0fZ4)eLRpdtM#XTnabe}x8Xd~2*(g(NZ0s0@CcrB zG$6Do@B|W_a{j%Mzw(un!-DiHo2Hz+ystlh{%36X+S`us6m4XzzTg)*B=PtNyacups>^5O{37(3t1B4)4l z;-gJH*rp`aVjKoO-|7S7E3SWlfmg#rpLxj_S`={z7!>s~8+%46=W?pfE99Bju^(~0 zf3KLaFO^YgiF7ZaxCv*0YcEahJ`W9h$LTZ%IMl>WLpiE(JlFqZI3ZxYgfP%Gg!OGz zvR`=IPsbUNblGmff=`8sKd?pw(_%&JSnki0Cck9)esty#asz9}$eezZvQ`jl0v}CX z!xyz@?Vj(ozO@A*60H{kKdHO(*G%o%?Rx96Z>F$*y?`f8gj*JI2G7$CGG{=8^H8(S zM-(CgA-}ju4*4&UP!-<`?~&f=27{Tu#d$XaDfE z9EjDHzKLmPH5jRO zNn}03P1GyPdmEIt$l+AT=TGk=B0$|vg{vBb_1q7*-_h%z&8X5^_V*n4p5KuuExyAY zKChq)#U+kFR|;XI7^tcUSrc-oI2|(WmE2lEC=0q-m11v**kXVpc?qVRd;w&B_!U0{ zG}J@#EMmCMR~*V^dI5nU>k1T^$;8BOqw)MXIsJowOGO7gR)}fImNZ1XYWT$_FaK*z zvZ8&rAq{Rqla;kQuQ;=+y{y&myK+y|T2-8&>t(TIj1@>nFOY)SvHw<%$_o07eXk{g zfa+3;%b0Z{vLQ|6)qTfd!=Yohl=V?=LJSK<-{dfJDR>XP3MIX~Oe*Vu7Me%!-fPgt z%w+FW$l#eu5ZWAwwmb_tBg-n7BGq<pe45kGGrzveKH zGe0j8LeQFirK6+heJH5mxRLqaLSdljncZe3!RW~_1qTC?Q)4&6E4;`>o;bGJrwcjP3{Z8`a}6+BaXQ@%Cr3jm#Ns$Y)?aCs z;D8Y{NydpM(R#ezLEnc0{vFKuKDU@4ew*u0q(t|z(O{fl!Ucv?=BgQcJAGiN>IK<> zC@7hS8;m1GTT>+iK5wM(S&_obDi$z>(nC?b(x1fxnVw~@My^-g`Llw_qr`YiA-2#1 z3Dw>9d*Q9XHkyEH5x^`eR#_@`ZN6PGa|3Bz{WKwrP- zf2TIT|>arYS}=HLFEFy1UWB`rIpc*Bv>@JV12$nODZK(fef?6HiS++PS1q` z0w=qv{U9E%*`^$XC_@$b|7IaSH=>cBzvXy6N7`O_0lzzxbLU`)()@EycHdnoL7J^4pZ#+IE@Ea}iEai*=Jf9n~T9`Ma1)BqbAylFv*-q>B6H#nA}B zRSIp;ugc5Iry9q!up=Pd=&pt7*Ot{)OW-=F%2`=i(ZHdC^2_id@n-6I@}8Dc2(5SXZ9|A2_L^u+8`pl|CA#>_{e5`VE_3o+CE7FHlm)G#3 z67J?t(XC;wjP21^dA;AaMxgoCqlxrfy@$A8y)7lUmhs) zAY_?P%rn*Iei<4v_U{a{`vY36ney_5nj^&WM2&D(P+GVa@Y#iBfpPz>1@NN_z?$JT zqOh%x9XSTRy|Y#1uU| z{q+h2m*X+CwqbX_F)AL>4ZcM?bx!Rozl8mDn;LiXqT|iNOBazV2Ahb4?&HePIB|>J zwd&Jmo$(~&!V;fqAHlTl$D_KFRX#93gjZbMHvjn8t+(k~eWApHY=yl>tt{qn6;ddy zSo;kwjDFvKC2LI)8C~+QsAg`CK^n-~5Ic*m; zT+FIByU={qT8vEFMfc~pLtj4{=oiGMx4wQ$3a7?3BN;|=z^RCWXJL<9K#57uk9T0cedOT* zNmWhV*{kj{gdl$44Fd3Qx#jpeDg+OV&A&R#EX4&~2u!m;rL{K8XB%hvbDI zK>s3pVHoOz{Oa9nFpHZML|>M3NDz?x&yBH53H1fkNnyjfWi?d$3not#jErt0CY{MH zKOgaC9k}aibE&^4QQBaFk_TM~!4S1-d3nfVDwz(;i&%)9?VALM5R{8@w+(!*24Ii*aakviy}ONn#_9NFRDJwk zixkp2&|oo6LyRFzhWTQzUk5q~n7*n2;x&lALAgs|I4~f>pSX;%K$oPAkdYC8|1I0= z69%VhAF<*CzEKa(9}mA0(Ko)w;6z{fgE8rm{ShL=L*SJsqNUwZrFNqJBrSk0SXrTk z8IrYwX9^%S)S>AgA)N`G6Q&8jgc8)C2gaEo>eFSzU=E7XC+;AqRlpOh1)(P4%;_4Q z%K<;2PcUMcM}$j6#~2;kF~jI|hNciYqwDvEV1)rW8V`t;ib4Qg*5NVF=}elOIO*1pcmi#5)kZS_&3@dU=31yO_!E zxS&22emS1?ChMO=G`(Bs@UFe1_M`XEAac~WYK3x5QNoYZ@SsaGS}`7cCGjAAt>|33 zvlsXCfuKjpf#bT1pwD^p;d_SMvFf7Td2fOc`y?VRcwOoDZ)$xbMZ4Pi#L)HVgZT|9 zdg#CQYj4c7s}z4ki`Cof|AOnZwdpI!^AcL2+!P+m8)YTDb6ca@@(TWETdv-~UrJlD zRA2h+UFgq^IY`}-|UeQhS;>0fsb-7r5KVmiL} zH9T+*Z#Kbobqw=dgwA!^&@#da33^VFvQv6ptIgrI!aj(E|Z8njF03 z`cH?{TedbUFtdp)IV(JvWjcv6gO8W>?gVmHsXt4`6u|SY9&!ZcSpPQa5E0znKb5%l zT0#&fkm&u%-UqH-Zt0bCCQRpbhdw;#*L-Zp}|53 zjC;}JdJKO+6UnR3@C7aX=q*vB(w1^s^^Kyekykk)*HK%6RO}CdqbE(eq064OGNaUf z*T2B>pzX7Qd(*4{GX02%5qVoDtW~iY%>{wqj%OAG5^1iVD1+ed8x7iI-X=%q@z{Fj zRg=*FKtZ7uvu|0KCu@XB!-60|t;B6UY21A&$!Tp6MWsQZA!s)(A(N#*Ao0iJ3+0=e zTGEM9BL_M+e-c^VhDF8MCd{jAf9=3K;|ua_N%FDByYwmjqVjD&ki|P3j+i~ugmFN} zFj2;RIW5EuT=*lk-oj9aGK-6+{P^)B^zpOmBDIS1*Q8f#mK)uD@zF@>t9y-8r%00V z&;}XjrEt=MOP*B5kb(vfjL`Ss&-Vn4s2G$L8D1zObE7RhqKTOQBk(@a;0I3-k-n;ymI8D}7$3(;B;br4zXc1sRE5CORjP^X)i@Y00I@M3BPB4xjk<-MYlVHCCU zAP6FQDJPm57?npR<<|Azb&oQ{8h$E)&=?l-Jv9^SmU|yqw;#R2F+#e2T14ESx6~{! zM1$yD2B>df&>=VEzyq&3wVwF@m(+j!xGKs5*}H1NjkYQa{zP=B{|E9{TT?g)>Y)ho zi`kck%bhEfhhQ0_Nuh_MmUd_Tw~t)g^I7cax)@qZPg9AWHi2*y!Ve8Wu5jb#O{4NL zRK5s6zt$pVV2(o>4sx_h-$J>*1B0wN0VtwS36=kmaAA#&6MJh#fLI2o;Et{?6S(Gx zGiacOVGTe9LQG`~&->3=Bfc zpp^Z8X)hiuKZq;ifvjbe_#L7oOqYt1;eq7@im;hqealV~c40_Gh4RFd8 zfx@}3zkg+J9*CNTG4A0YMr@+U%H|B2T^wfQTo^qHUZe9~VimCO>$d!!BK=y&Mh zwZ)9s-E}~~|Bp6Y>B#I-RWtI#8({D(n9uWS;^%-afrLfqGCipV+PgBswbi?~WuEWA zlrnoDrv+@F(WLT&0kyl3=W74In&;mRqtq5%%$ihraoe%CWcEK!NyM!g_CgF$D3ssW zsEdZMe>`eIB2M)UMHDF1_O83f+Ipb&KLJ8L{{*O%=Dib4Ez2XwBHSq`t;iyLe;|%W zhN35Is05XnKL&G(;Ae@6DyI$(c@7PnyowPF!C*Da&%N?*28^138u_8+v_u${pn}6p zbTY|?bau9x+v@ozW98!RC9;+E$wJSYWMomU0S1uX+HBxLQJP;zp!bv4cWK-n zJM+uTaTBdJJMQ3X^uz${x$_nd>z?Oh@}J~_G8>SD8r%5y^5-_a7fOAd6}JEcF2q?VNpW_yOyh*Fxd zTH^qw3PAz!Fiz59oe4YDZelqiC_k!!nv^~(k!aC<5`zod@ODy&gUmHzA~2u~SGjT| z2-qI7Cc+zQ*DHFISmF!o)XCzH1i=m19juf4FZX(dFx-wNTu<`e1oS-vM_wIVQOYd2 z>$zau8HJqH&UQ1_X2o$kv8q3iBLP32Detg}s;TL|o7vwH5_NVK8#@@ctxdx&Fx`9E znIM>}v@1jdf8o75rbW6Zbo z#k{s9YipO&7wz>bi2O8qM2ZKBICtJKBisr-k4VmdV_Yll-Azw$ed*)Or@-Fy-StN` zx089XCt5Y|jk;Lp!1=$@s`~g$!1_h|WQ~`IuNXG7((SX1NOH{e$(n@x1g~uhHFY^= zL$J{Nm9^u@l^DGF=bZq*px3co*BBT&h~wq#1aTG%bZkRTJ7<_>3{%=9gd0RqEeEx& zM+(l200bv5!StIMm;*5jZ-@1G%BN2X04tiBns$4jm6cgeB?>uGhFln-)jZ4Ds>Q8$Zwj7y#hp2#1M!X1V?mIM0)ux}=b*lye zx)JHK!>_q>Qff5m-Be8A>a|t zH(l$D7dm6XSsRm*(hHNc+S}VXZ8JvjX0Sbpqcp8VereqfOctk;xnNi^fe`5&{hH4a zR07dpfL=d_oWX*TS1=cT=Ca)NsNt!aJF-oD!W})3k)9BZk0=(K0`on^_xA9B&s+sa zw&yR~uzz4Wm%hXk#<<&4kd5^{sbN4b#f5V-&+5s;W_!!uw=k)hB#7|k)7zzQpkX{^ zG?Ju?lECRWxp<%XI7az&#pS4GVoO8q(Mrfzc^$x)wMYAvOXkq7MrZ0(xqJs^|Cbu- zH2yH?V$V{Vx67;moGfwG_9F#_ow|*(p4VVxDX=lcJrQPP4ylWX-kzQ(m{>WPa2rwrOoDc<)}v z7Si>twC9P+qavhw&tU~tfq~c&U!Ws5NDWen{fv^xB&lOIS8p1m(DoS9S!ZpKyLYaS zwB=-P{m~Z))Uq9wZT=;l*m7Iw(~j+?+r^77U%tS&!QXItYKIsJ@U5J#li}DiU{-4&qGpwntTX%(kV4>+&0cj#&K`8=CCn!=>P*HkS zlp=_93^gb!s1#A8_iluM0-*;H0R^d2q)P8K6d^#)$lm)q=broL{<(R4d;-RmwdR~- z%rVD!$NL&qT2FMTo;v5si^H!@`m*2=v{Oz}62=dFX94titxmP8L(Teqc6KWemI`S? zY*9Lq;3efTZ$cAX1F_dqXzFgRwxbUk zQPGH!2!memH$UaB;RJPWfnIyICYERXD!}y8AUps>|M(|#iypqpuwXexP^io#2QM10 zG-sIq{nLduL%hLLa&}(UtH)%48dQB-!|0J(i-@(*h{p1 z)pf4S==S%)rQNF~q9f5U(^=%#5%^iYhYfm%?7RAADV^_%bo=NOiCgoL5;=Yj#O7v* zfTqf;Z&O@!GAFj;Lrru3;<#ms)w3`CpnoAq>|S4{g}(ojH@V5%=Bn$U_dt`iq{;gl zlzU{fL|Z*v>cnbUd#^Mv8C38&W(7Zt#_G_O?41UUx;6gBaxT3LY3D_bbjCBlV~<9(Xrf_A+4+#Kg9AL0kPcgW}npX zKx#qmz7!ErdbO?dno_I(t9{KQ)CFth_DJQOe5I2o7JHr-q^e6}$FD{-N2j8#bGp?z z*Uxn8{sxFb((y!Z9k39ZEIhzmb7LJ!v%k0n+_-%^d51!x8bd(a0fNx5Hq(Fu`Nk5i zX&3*EmTdZ}@%<_2JTO9e_t_RGk$>q4$ zDyq3T#Oiks5c5kfx&N>hg9>(d%djV($c56Z*{rr{3dp z!)=dD{o-A42U)9ka_;ZvdW5pw=95BtU5RcX?nWo^$w!k6KusdOVYdxB*vZ$o@@E+_ zwMkPi_oH9A>DX8}aEL#jt`?t(8tr`;IWwxc-T(GvyqH06Q-o55msg^3qVFlqQaI<` zl~b6%KV#GU?OQ7wA0?u#^JM$f)-U3 zQIMf?%zUuXW4?aaTq9hRwB;N;SM1zB)y`FF72M=E!Lz{ntK^fkUSXjbA@h|7ZMdgr zW~AL`4QN8)N)vm0hl7r<^tm)ojRDCwNRsekN7=_FCh#9W>L^0*FWRYN3S<4;XPE1U zhp-0&IeEU@sxOiqq12@`{S|;1^27dwAX7a($J5 ztyvSLN6qj@Hw+ce2=#T0(>)@Q4mO+A{_)kKkbT$M7pC=i679@6o5q$0tPYD5F_fM) zyBsEB&rrr(W;u51NL}yy2!>|Sc54r$D3M^DXl$A@aOk(M+h)QX{%c8pyuQrrd znl^ejkuoAO?yFx+{zPYXg}bg zY=G3W4H!O665F-+0rAELE+opv(p50dUE5hn{k&Ptk=>^p^ik((ZQwj*ROwyPnQMv% zN(910T__&`fV>fJ-#+5)Ewqb-vTsCe?3HgCE0-mVV0ZW_l24trA*f#Ud2j?it8Z!= zKS3B#Ao;`LT1QJOxGSz2_6VBzD3lYJ&I*J!iP}x8PwQBZF}N$4y%j>v9V8w@_U_q3 z+g&QQ*LtVhGefP-NKnI}DNFnx`^)NFuRe%%Zq`B79E7Tb2liAYe~`0!t|k$)`yoZi zV>McE5MwjpTkz&CzFAjZaKpqV!2V~}4Ku3f>C-Wd)sj38ACBqK_??Hiq1pjPk{#ECTC1>!zLiO^;WSSauwz z>6&znXJAO$$_yiv*yhN)x;i@n_N9_g2L)|6&?Y}{H|%^ZorjeSx^6d;@?DGRcX68N zAxiC2`QNkT`uSr>v`k+;I%fp zv{m;0{bggKgDxmoMgZ46K(uDecgD=6?7PLsMn@-KtMj)0{`|xZ2qoDSkTv_4RZbeC z1}-1Mk|vQf{~*#H`ThC%WC4CD3&+bPcj$k6Pz#sq=%;akB4T1)(p@Ga8|!@~E<&1; zR*fwXOM?13Yj$O&8SD{>V2SVfK)JyP1R)^#ud;~n@1HyTfDfS$X2G})Vh=V4+nwN{ z^LJl){T6{pOhB5^LVO|J%<%(=r?|-z^BTt5ATdTI~W;qQv5ZF;j5p~K`5Bqj2g z;f+YOGNq8nP31T~CR_A@Py7Bf+${4PQ3ga9Z<+QlUagzl> z9t89&wSV6}M%X3G%%SW9NU?)&vn_ktIEABPW)8CMKlD zBcXAot*`r-HSj3%!tv^YP zyNH}tXXKyFzhHfu>zRcdy+C1)STOf~#q5`BlV$S>E}Psq1fi~;am)4**Lkyi*un5O zJogD#{$L;%X5rj8PQ&r{GBVukh1U5pCjMSRADq= zZ6}B9ux)CH(d`d9=vBsb^si~9Fx)YAv0YJU@v}}zEJ#)+yMgZ^LS4tyJ%3%C%0B-r zc)TXOcWVB_AyGQIB=W|A2G6hBPziXC4olA#tp+eO7}A+FnLuQ=O&+PZw!D7x3$ zAfG9a=gu|sGmUr3BH#68+V|Dm+z44=!uWRV+P@c{6z=uOZ|T6X;miNboQafLip0m1 zr4*E^K%9E398th+ucP2dl>k3deEqm^kmJ4!8@#SK7sa0b|E#S)4&KLpMfKdHw>Xi= z`9tkVz^)}{_5Rr^OH7y zfl#3bkx5|0&}i90=hGwSWKy?!hq@Kl4D62oCJt`;&8^Ml_~lPxxa9S?&Wq-g<3Uwp zyqVSRfTmdG36OPMS>FzkPdh)56zs$=hYV37!&J=~WQ-DRGkf==%s*&+xLBfz@0|mYzQz!Q2^t7)L1}=2w=DFAhyc4m}c~1|_V!zyuuxi{A`>eZcoNGn6_WMWY=- zAP7&O^Ybw@v>?gI{Zi-Cl$OpP3>_bzjN^Mi zEkerezIUS7NFA|O=-tjAbx?jv2J!gr{EgaC$EsJjdB5=41sdA)%N{-C-Gzec_;VT>$;EmAB``TczJ9k z@;ztyx<(%KA+C}N3!6mr=Z;Z(j_+GvZ^+T5bSOP;nq!%l6%oT!b87bWGhs6SY|eC2 zJGxNm!><>Fa_n(SI4e5M z-mHn`zt=PPqSxBbxA++1s^I$ydBqB@OqGELw-|r=m#ou^+Db523m-$4^pS@59sPKwduMD$7)z81YgWoc*9`3e* zf5^xU>}0~=<;79guhku!zGxkBTMaStQ|it3Wx8wr@0Y6R*j`eA_jw-C;6kb#2MF~(QUmVkJcWw^0%l%sQhc&Y&lp|b{8%x3H)L+HX=_q z-YL1y*RD<$u{|*~S}M~0vOuFxZkBMMjpgwDMif((!<_QQ^TPeugBIV-y%Q5*th;yd z;2h`A+-v<%wcT&!=+0;%AlxZ<$0Y1e?=uPiL=inI9nTcN2B%K%bEUVa+onx=LD^a( zJA28NoX$eJuj9^+^M8BP>TkdW<+8*#TPc%s`-ST96L-w{3@Uoe^N1_YJoh?^@7-`+ zjq8B9_hNNH=rrE$^-;|+}wo5iI+H658u|^NXst%Ee;`P1s*5_n1t5pWWj)exl% zufO-yyi-QG>;V4j=^o`Su)q>bs7hKW!%G~JXMCjUlA=@ay?KoR&cv}3Mri&l5-orW zAfKu>n6=J3hUEMa)s9Dp?UJr+V!$6p$(DUN-QDDVJQTUQatTwcfiA9^h%zu%uf4*_ zl3^#{YquW7zQTnO-CU3)iR(1fZ#Qxzlurp;29h}{I@tS70zkGQ@x#26AyznRPPsSN(GjXw)fpT`1?A^Md1~) zZv~rqhVFtX%2E5$jF$``Ez0<=mF3VimT;I;s$rK_ZACE+9!!oG`D!qK#07B==BTl5 z%&B}JsW(;wmii^TZ1^@y)!M=}Q&i0$LuJ2U&s(&1;=-BN5B)N(B7p*ONUKlkkr{K# zW6^yKl2o&_ail;%d+Uytv-SD|k2v(=Y*V6zdgW73vw$`fN4@n^_`8V-bG#Y#$h{Gf zDeE7ryJO%M$MN@6fbkBMf0upt5@+C}awPO64j1L2pOLDYn^VjnqqBM=r5RQK6sanq z53xJlGpH&z|ADR%yNfn{Dds2Th7QkIsPllmFx!?VWa_;evrt2x$&)hPs3V)6ru;ln z+Omur`AAZKaOb*H8#gYW`zsHA0d8iE0duPrr4jyfn<47}$xCp(Kg0$3xW{qW`A*~9 zqu1;?d)Y+B5!a6)#K-90DRNw^TIGCi9-TxFaf`{(Wkaa_iUkuU{=6N__Dyq+6UF2g z_mN5CgbRH6AnnVG7S#VW9ujx+qh69@(WMd(ZEpi`7Rbr*$z^n;u>gyON#ZgLG5aFLPUhV4V3dY(vZ z?TCa%z*$S;!sJ`+uItbizRpq83!cptIm^h8aj0J3?GvjVlG%RP+k&O4d-lqQLsn=u z$=!pfV$g17=8?Ol=(*AYfUA|E=X}CuY$=KRVL!2ogNV)PfPLm^x;CfS z&+lebxl!Hy0{ly12J(L{;NtwZLS4RnE;&=zQ8^gFj>|u(u05|hcE}=3GC(j{9vOTz z!u%s%ULQzSHYZaHIse zsKD4aV)uE>^ur{>sIQ4fQ-+g$Sqs4fh@YcWGhz6LmPrBgi1&1MrYmr8O+)u_Th@)# zmFm4>S^5MJLP(F)kcqo~LtXO53uuK~`f1?2*U@`EwBsd?zO;GB*Fik>QK}DW|D*uF z|9oouA(WGisY(-Or>=y)J8R#~oiCxR67>5;saLdrqOqGRwvd&g3AHEG^*IosD1Qsm zrDVn6;9xituWV5ujT@dOM%vP`Zi>ryn5f*=%P2PBq^!^2!}pi;D{b0di`UWVrJid} z;OVRr^4TsF%pS|myt|9}zRzrfm@%K%IA`?vfj{$wx4knaDqbGaoQR*Gx|w=Eo52%C z-`zbW(lIrEplgb z-^Z^rlBT^y-_B&;`@t1`GqaKswz=s*dOlIIK~7Il^ikF~II%i4qO1*7@;Q9OW4Qr0 zw;Tc?XO-f4t-S2ipu5}nt9uisGJSwZcsDdiH5>P%b}h_Y3?kYMR(77HHp$=LP391a zSNO&C$!}Y~Bqqj)SmypakSUF^Q?kJgH<^eTV`Zrw66J$i>;h@QG*jx_CL#2kgMI&e;*Q`aFOSS^ z8_(aUYmF7tRh2$v9}b%yJebq#y>Sn?;Eee2*|ytX=j&fAvpoE^$dKjfsTbIlGvc7}r0Gw*mWb4Z8SziP**8D%a!_29kHKUbzDN`Y}SX z=z6L^IMq!d^YZ0N`AogsSN2C1UM89xpWKd;RCg{r^Nl@RX``lnKFgd`HQ+j|I#Ven z6|mz&XLEk5Xilu0pFCfN`ue%h&(Ch#TxY-8Hg%48d5^1n<~1*$I>+z0lP%9;b-c}|>T@|Du|%1zTpLr>p@-jVa&Dh4z`I%JAg zr>y?s2t2<;lLfAkFMdQUD99=;HA++*|RbcZVS1cLFHy_HlwPxuoN1kolIq zXfnEQx6j^1$j3;7hPDrtGS~%`(`;I*5wwA6g`X312m&tAayNq1a}EnwYZ&EOe15E| z7zJn?J!o&F5eH8X?#vAeYSMHy)n0Mj4t?_GElu+s+n>lXtW~a39weK>_poeYA3t@( zTlnwiW*o-stEZNZoXvRf<00s3(_T(>S|AKgd*S|Ef;jQ-7hByVLjTX(VGbVLKkqQy zspytxhs4Z2K;!>=NV3zCk)YLi@$nshD7n{v^*uCc6utjh+TFxZ5u6+ z9*0cj_r}JbitBx;Fez+(Y?ew;bkn})yFB`>Mu8qU!`fKkkV~tlfgWLt*7<%~!4X>_ z9440r3jl0TSw`M#1R)o z=CpoEnL~dD)+;jsqT;!8&Y^D->j2can?UfK0*&uCp^CT(l|whcjj$CU9bH{^(31+O z%lzhvL|_z$M|AN7Lbd`d*(x4dBEB~_cfm+15TccQO5NxCvH{g)^KT}dCW-R+$el(Z zTNnnjdpn?}w(gk_#h6i0a0_TDXbPD$VW5l*VN<{D)%OGfYcY$hgF`1kdXu0~Kl6lD zsii@T^g-y#yGana6RJ8|YZ5+Rv2I2H?WzOU*#7T9ISkC)ywI0JtM`?co6stZK!i+_ zgciOPG9|_`>T^guF9PJj+y46NuSYxmeSP*I*kTWgk*bc>w+swyfD?FzTmq{%29n@p zXan-(r9eVBSn#Hvp4#GL!EXS&?;|gO!MurxxR>C)tVxKnzx$pih zi+&SX19g&Hz%!dq#OUfqz>Sm-$G(1@3_yWL!^V1g835d(S^s*uFkH@oXbkuj;lQIt zB#@5V$B_hZ?a9NWKTkurWrwjLQP1c9jt&4@w#(!>WTB@%Hi))Y`J)vHz?Da<7j%im zGMyfuGxM60rm2*}V0Uh9kULshe(Tl-$<|Zr8|owL&FjzDEX1djlo$fl+f+s9I38H^xu39Uf%Gu3 z&zUBSSOA3D+wIERZ!)e%rvT?J_+fT3TVX+g&D!j*7#XJ&wNT!?Q593pFVp4@i0L-Wjba?=UP1Fu>DBA*R15g86#b;Y|xoNPt0c(^4s_3=v_9jFY+3hcs z3JVLN+#`TF)BrvZpmBxP&AhPerl3nk&U58Nekg8@!(G4V)5ni;TJFB%jhsH@ALqHz zFHKxqFHLt55@9GWHeQsn>pY!fkbeQbx*a55U^#4e9Hmv=n*Bp2nCL=F#Nffh1PN!g z8&!7H&D1JYcP==ncs=w0a+y+SLznX1dUVF9Km$-}9iN(&Vjahl@G@cRhEG^9u?N?d zM(XfsX*FbnD_34Zk7N0~*K=v@IGJQ{{j>rLm$Gj;P}`T^ApvSnS6}~t*IvMS00n4+ zNTr*bTTeOm)A33G5yJCifq^LyKx!(-$jC?`LcW^Zp>I9~ohn>XHf$2C;Sy>*fg6^V zmemtcbKuZF%?CUQ2HK>?H1IXx45J{Fa2fPjj|R&mMA);%fFxTLkZukD`74B1euJP_ z7Y)-BeepR9CpeLfW7E@V4RTmELcHSu<=G#-4@nPT5nF-#x(_DN2v88k-Y5m^N8rPZ`voHdJtnD~=j@|O zprE(gfk{FcA|5R0l4uzkMrXf&f7TD;fX0LRCbyya#0s=DFEu_{d1<~?efRF&DDVNX zfA2(GTwDr-CH?1szp4drU5^QD30ANctX8KxGNAL-3eF?+G67KwzdqH0;6n@exL81- zlA#kZ_N8cPy@}6iM-BI=-{`&3E2CnghYHq1g1$WTB_Dxc_db*-8{rWeX+MuRmo%D# z9BaULiL#eyY@+leQjkpj6G|0_J{e(Y=?)X@ScDbGebRrW1BDGdr<6??K*Xdc68$Pm zfYj(mf})o~bD{#atnfprtE9 z_s?4=$Rhmnjz0vFGXK1-k&r`BHBVtVG>kbA}s4cu(i4QNZt1`;bpfcZL?n7|*9EH=+H#=JXim;&}l^I*r+UR@`cRjjlp?%ZN# zX7+@-tu!da#RDbC=9rk@lv}TwrDZBFz$N4Tb~fZD;#_F*_BrOH%3dF%BKv6H2yX)2;r+(*#Go^qCivaCk2tuY|8)$(bSPEc7 z{Qw;ZPXkOuHee=T2X2SZp%6%aXd5GFPIf_$r1yL~tjA2ydi*kz4-NZvpq~Ja5ym*Y z$f5r|#81s+uqQ4V$0WcdE1G&QedRWQsa{q_0y$u+WiG3!J%h1_X%&OL!i~}cVIaU| zu=_tG!mi^9a4}tDV?2oI*+EsmbUencz@cA`c4H8`=s7v%12jSU(V~TB8$^j&a1}g& z!$_3=1#jP`oo$LD;UNSYIiPQC3mE3`QAsQ}g!42$Fck*q@TH=0fhlMU~(9HaE=>I=XDf0gE3CZq?w$-$fJ3(fvuNdI{R z+(=qRhNo7aeFOkOvms!D2)`}VcO^AxK;O{t*VGb-ZP@);9Ey>&4sjrDyB|D!*lT|k z$mZBC3{-Fdp)uoM{~FT^T^vfL2}Yq1LVH@?0Q$t&wjLkJrCkAH#!@&btxhOY4FUGK zx%h>ZrXgMdzcZ~AgM$UMwnAnI$OB`f?cULX4*;vrY_AV?ftt4~q^CU1KH0Vl!{Op2 zoHNmT5CpTsh_KVna&@$=0uG>QH&WGTixuX#$i5d4sDFPUH2>OwphM|YMr^^ohC}zP ztvxmpXzLAHQ(-@g6oeQ=Q$2*c6=d48;ZA3)ft{Zgtkv;)HIfq`GB<^z1mwsnWRhS` zM*R@B8={u4j_yO)5@2;?=jLitHxj8+>xJ;Roq_DfZh=_=7UnVIzqk0634`QSDT4s3 zU47V5RDZ}v;15>>JyAiwf3J7&)&CqrA