From d27babde42a6cfb5312820ec1e2af9c58781c756 Mon Sep 17 00:00:00 2001 From: jaseg Date: Tue, 6 Apr 2021 18:06:00 +0200 Subject: [PATCH] Add missing label --- doc/paper/rotohsm_paper.pdf | Bin 3563827 -> 3563845 bytes doc/paper/rotohsm_paper.tex | 1 + doc/paper/rotohsm_tech_report.pdf | Bin 112643 -> 112454 bytes 3 files changed, 1 insertion(+) diff --git a/doc/paper/rotohsm_paper.pdf b/doc/paper/rotohsm_paper.pdf index a35902b17ac33c69f6d0c4633c0249b13f5fccff..915b7303b93c5c8a1761aab19a58ea0364d3d5de 100644 GIT binary patch delta 26280 zcmdmd=qBUQLpK?PR0CYxbPe@Pxl}J)IeLT3(7pgoXpX0G)K3ni%vZ9$O$?>+Q$?>(P$?>W@Z6=1aQ^)jePTV!Oxg8}s({ zJ8&r7-k7Z5#B!2xPxk9Xmu*Kko{&sTdy!oKx9+OUt4%JK1Sgxie37|&HU4_6?KB^Q z(_0eyBu^`Sp5}RQQ9_XM%7Ww%&u4u3aadr+Df?w>LuW`tVdZlqa!52H__vaq)BjNL_&L1h2bQD-C;*! zykaam#DtEUerx6S2+dl-9JEZ<;H^=}8O|H)uFMejuxWyhJrDfQX&aCB$4Ot_B(Tl8^7zCuk2^mq)jK4_9MjmeKL_^n@kJD#>Iy$QyG>NT{zlyN zW3^YW#Jt-)zfS7y-gUpX&D8m{`LBED)k!~8&YrUKz43h6-kOGr!aCpmN%cIxcD=u` z=2dX?w{A1reI0R%Ub*p8jlaEqDJX4TdVRZh#hNwhYj!Hx@i*^{jK81rUTkya=A%av zSLdIy3`?4PMgRVW%2&(EALKkRe)B9cIxg&M{ZZbgoUgbT z_V@bI3;IEOd--opz1KJU{D+o(y07!%N@J(0UN`IReyOYLuv&ihs(0oaWJG>0dUIO6 zK;{PTuOEw*Z!M1R^NX~UTOOG;+j7s^w>R3Cr9O|gcyQpn{!iQd`d1%wF0NJnd)!M? z{iSnOu&v+ytpBo~Rwk&gsfhfV?ov}=pmlG;x9-QElzO?=Z06|`3Y4F+_>oHK*+s0I z=P-O;yx3&rsr0kr-~0lW3NH+w!gM&Rvwx3XT!RO{cmJbv!ZO$&RP2F zyIb~TNqjY!mAK{bi%%71QU&t$&s7+WZ&a85k*+q)-L+48`_<6%O4IY?XJ-bRX=a#h z+$(Os$fiI^WAzrkOaFsc$hZ7pEO9@ZBJ7#QdiJfX->lC^;?6JNxxpp3_r7)I{_{-Y z3#?+k1S?hTFSqcHzrpEod*9*L->ct$|M<`M>Up8PcK=UZ4s}2O?!|-Y`hQmk-;k^q zDXij%j#=V<|9@T0ktcVzN1j{!DDtvj(Ckp<^Ih@X*N+z8QLvvs(df8s_3}B74@qR4 zD|8j@?vfBa#d!K7Ps#G`;x5jk`JuIuGIBCcM7s{>q#w=vc>HAcueYI>^ZtE4zR6p> zX3{stXa0{SwsDKNT+5aVob2=^X5pF*j)kIUzSURk`e>pXWUc@D*Yj0v%g-+S?`;?R zhr4S==vS#Jhq-k0KU!oI^4_vI&zz;J%6gu4PXC?74??=SB^=65yt95K!OAXffBmJg zfYw5nZ`bcG;G9)$@!fQm#t!$FJ6Y%O=l;BJGFx><-5ptl3ghw+(PIZxe+hHST8pe= zK2X|VXBNDq-jBnh?Jk#wh1Lq?<^NQ_hK8OEkC{8|Nrnb?&w!>J6tnXiEqAnbMclm&(*T!FQ#r=c$G0v@ZH6IE<)!{ z)qApOU!AaN<>E+%y@A75sv_gxTB@o|!9{-x>v)P(J093?*bvM!t-;TUjyZZ@Os z6~3w!vR?v>Uo1?!@GWocha(RZZJS!%ve)li`Y(FowF`Td6Bn_@KVLI>+pOhboFA7& zxb5E4xHzGQ%g{$Tjb+C=F2;?`F%qAI|2bOln=G}jb@;QOFqah9vbdu4FKk-4AIeQTJ~z1K?uw&IOOL#n9^=SzYLSz| z^3ZAA+SdkMbfp&c^q3_0!3&hjDbxN8wmksOp zKfdSE;H0_jVB+6*TtU4BuA;kLCw<=F@>c22o#*Q=upuVQ#&dxpJkRqA`&TKflv z$3*v)HvD?F$7%VVWSetJCHD_}l=D21$NYSguY7&gucFO|@12U0dm%01WAQ{^XvO_S z@e8Bdp9M$P>ZDH&@t^I_X(gQ2ZpM?v$NF78#4l2x*AqLtvP^aiffsX`^MzL+;(EYMF6IIZBqzU86R zyQeI*eXS4I9CmuX@bjiq8!M+*1ejSJ*_Une!gbDlrt^8THvjHqDtnyAsqWzHmdo~8 ze5b{q_I;DqKL|Me>ap0SpV~!MGIO5mzX(Zt`kzBlpnh7H@x$Lz!B(PA&(*uP7fr8- zJZNpjI(_@BzW6#tH@s`AJz^Ha759oUxg)CAbwgeb+KE zq59dpCAV{X68WQ=EpONbq^z1ECO)%!mubBH#z{J>PR(#OpB%aKh@5^C7vFN{f*%i` z{r){W-@fhW!VldhKK$SN*@a!|5-&MVQ`^_M`EYIRkF&p5zUeCu6ses5*4fg}FTVbV zt=HwuO+Un{Q^P-h`Ck9%&w}bz$up|`%eFa3mlCSzafoW{}4>KmT8;Fo*NO z(qlfa+&wE!9J=DqeYmI9E^y&)zWsMq9UuI?p?oxc#_E;nW~=r|FHc;jRyTK^PTt>d zi#?l-KR&ISq!e3U@-JkY{sy}*Zy5S*K4n?o%qp@yrPjaqTAzQ-nZ9c*89ZO7$WAOz zl=z)E>7c@gW{u~r7ylnU#X9Nn8UHS)_eo4MZ?rG0DZBfUsWI{uyX%tbU&lk$N-p-# z??3kY=j@61qZU0B{l9tb+Ygp+BaISWWQ@I&%09YId#CSh*Y(HX#MJsF*TUQdeh1&& zxhiMI++{~rn*Uipe>r!I=)(C&kBY8SdhjY;sbi%ns}@to)2sh25AkmL(48$MH&tKX zIers!2j2se$Gu7`_NQ4dGVR&3=lzow_B$VsWgiIZQGXq~eeuhU`BGtqT3y$AJ|FI| zK5@ov{!gD|1FiiY2N)YJS_}Vnm8oZD{&}r|=f^Te&iYqx82tKdmPl?o+q_Nv@ZN-V zbqSy5@-J8W?#s}X^YBG~p2YI#k`@_H`3XM^K6}YMQQ+Iw*Z5AQ`RII4j>UP}%b#w) zGr3pPRY~Fv3ork&Yxeh!2DX_kF5fv(pMC$5;vVxI^Nwv@o!4scv#=rly1eK2#(0sN z_4BSPeC72LtDLGaBjJETaQT-Rzbl{ooVvjxo};-^egE{cH$JZ@oU7aZR!?SmoThf9 zP)_zqBkM20J9jej7^i*qbd55>|2!&SB2Ojcca}KJQTdJtOqwRwT8;4gFMQlG;Z}yS%d7Q%gu#1Q9o~FYwsh%Xx z2`0bz%&%{CuAJukx$KNHf35a8g`|b9#|?uL_H5epC#{};(H5ur&9PsP6<-#1-IqOW z=94;+&Q}&5tr8#I^5Aa~~@&VnM8EXsAAOET_ zssEDGt%#jf3peXt3O|4Lj+e=gsdLhI-a2^x>Y>xFZYnb;W~layb2BPE-k;{a@cVRw z)nfA8r!@25lxHkHrtt68^r+Qh-Hf5rpRE?tU|c<&e~p+GquX?^HDXbWi>5DKBX*PN zeZusHwPMAL|EGUhD`w0nK3!v-SSw@c^mXgRwlWq@PgyS($vAWRzV%|__4{{(cOPTe zxTQ)jgX367s?wR44r(6l{9fbi2{pxCg8pjE% z7_#rb&29}c2>RDt0aCn>W04$bZYXA;kfqfx)HPFF~0R(H?zM+-Q6?c zn@=t4!xW)UDkUfDW&eKg`KZgV`KF`yPn8yylCN)PC2crf7Wk?_MdAvFWsPn_vn>NR z?|~B`B`QheXCIliCsn#;MY8L^5XNOH@CL z{mYhIbYP|sZ~PAZ3tX?93`Hfbob23Kv3>EYMK`Xgw$6xiWcZZ#K6%6RoUEddM_ua# zE6Nv4DGN3fy>wdB;_N}86Z`JGtL+5jfB}j#lu01vwjuI zty!0H^^yLYxiOoscuy~#|J#?zz$X5S%L*p$D32e?AzLrq3UuuH5}Z6EuR`=2s6C;ur9y|yh?%8*T$L_PXPY(J$MV3Yh=)x+B4G>S*ND&7Q~KuVQ|A zDW|*1=k=TfUG}nvCJRoaq=s6)%ZqG~YWwgxM=HSVtzl?SQ+eGx_k$t{)>%ovd-9kX z&IIoI>F4hlyG<;p?vc;!OZQDfx*PYNXPtGJyLZ=>HE|8IBZ3~AsBV4n@bunPUPqSb zIil`aUMf?R18hGls9ycHzWU40hyR|{f4|DPb~@u$F<~Y{kW#?$|G=qXRPyCkN`Xu3V)lGq_uF>}o3q>-`Z^v0WF zQqvDGi}P$xyCKHPIK6{aoQDfOXlSs#@ut`u9!87pa?ixH1sE;1dwmm&JM@%5mWywn!z})qak|ViG2ZEaj_6r|)Vnj9 zf>f^9zK>1ZpNYxD1mb?MNd=tZ+Kgt~=WvRjWM;J7p2jO~%FASFynU{ecp?j<`ScG* z^i;s3sM`(X#RGmYnS(V$23FfQiA%I^5|?b>BresyNnE;plekR#CUM#JP2zIxo5bbY zH;F5>ZxUB*-z2WozDZoUeUrFK`zCSK_D$ky+c$};Z`lV6$~D*2%^5AHKe?uEz-R&Y zjOccs>*~M67|lTLRc_CEr{13RPNO~Roo0L1JFWJtciQb)?{v0jz0>uUWwhA7jax5N zkjdO)y1t#6nt+A53A_<+WM*gvZp7C=jk;ZQ+d`=JdiaCf$zGByQr|Vhv*uRV7G8bx zCgjnZb3VuTx44}4NxA5Ha^=bU?=wC2y%3t&wWadLN*6XylSa4u1-l&I?hSBK7qa7$ zowT6AOe?YTLe@iv1 zmwNT1`VR^>HBE7v?shugdJE@wPVrj_EiH1-nnXC2{B19A8%>Nqa$YdL;YMY_nmr2Z ze|jEhJzTPfXPI$^Zg9em1DmsW#D)8%TLVQ5^Mu^0_pF#|(AIv)<5*OksBV~J!extQ z_Lk{3KUA0}Wn4&|W1tydkyv`*g&Jpe(5s29JZtNdk{)qiXvoa2)MDD0K947Z$)C0H zX2Z@My_KsPxK}jg2>5Mm&?#BC_V58eizMH~)V`}MYBK%ZE9V~OGF(v1$NV7lJku6A z@g2%GB@;K)7hPN=+Su!Z4Y!9Jy>{+r=9Lq5ZY#EVT&w>yxq;hE{m-OkxrCS< z35JK7Cace2?=fm!P}SbP_t6qb|Dz8VYWQss;e9u?qFcIP{X+A7l|MIy|G8xLxBO~I zjlfa; zi}tG>WA|nK6Ok8@b9g(csXqPT$rnndo=yJ zukT<~e!l0LUCR<)&oak|WhqNDvsI%*FGL-3bts?W`p-|q-YmUWqwnbEI@`5N>VN&- zvU7#{Uu_o2uX9xQi`VrW`eP8gUiQ|3i>_=l)-G3=Ykq&Oe8p0e4Xommc*Gpbr+@IlDEF5dh%M;@jl)tr88xT&+C`0Q?L}Wluzkcvra`<>Fb>R zzJF@+UiUxE2-<#->nV2^U(1=ISJYr$Z*(YjYrB}`Cu?;3d1`o+I;elx^%kJd;u_d-6W_q7}=DmhbhG zdSVw%oj6ljn>Y7K+J$S^&-8XxhfHbwo5XK^(0lqup+DSG#)e)$?x~gC`t)j-%xjUy zcCF5lQZiHPmCg9(-sS2zf4IlI>UU^l|7y;b$KOxzX3o%E_S}|Pz+1Zc#*BA6Zodc( zwO*kpccZWJ%mqU?-_5)me|+73zp=YFg+ZigD&LOW8f&S!^>c5eB|Y|FYAaQ4Yf>@D zGLMo?jZmqTY8FxNFq?7geUpdBS_Pr9n{x#?)fuf7+2{Qate4oxp&T%=@wCDpZtlfC z9}<|S7jC&HrM6vMcu$OZGAF0LBvZQfT;9aaie>8?I@rG4oj79(%Zqm&Yo>fzs4Q*w z-fp3^VUgfT%LsAp>YRwvX6!ud_IFM``?Bin%elFEZE==?XV%`+u2S{5<*abRSLM0& zjc2vz>=uR0-oD9yzWv+!a(U;VjtesHA{h<1uXIi=x^UlEn^D8venZn=yCr^WLb4wj zzs$W8wEi>uIaQ^%VjkVXhf~?g%bRP$?|(0NsC*_rN3ZVA*8;{zc{$9^Gb3M^@8(!4 zD!y<-Z})_m);Ifei>oJ}miCr&HdcRTbi8SK!`*|q`?D6V*_0=}P&G(dwfDVSDIb+SyWnG%5RaYJa!wn`xG-_v^{h|Mkgt^4Y#tXmtI*@_6ybCHtx`9Bw}NrEBS; zd4HZW>Hb&vy7}4P9mg_6m(6~enYxr;=WN8EoqN`q=?bW*KP|QWr8KW_{e!#{KT|^Z z)GIIgeAJR|viQKk$gWlt$+~-e*gVJEFSp2C{k!;MK?o=7RsUa>6Z-+aNVZ(jNCJH>N#ao6hfk9nObzUMQ<<=2`@$Mo<0w}$n! zc~1Xd{ReJ73lq+?&U^f-`0o09|9)iI3p92t37Wz<>+HShOPYcu@>SMdcUyG2s^WH7 zQU6cA#i?gH-U>RfuDHs4O8Nc8d4;E*)uaba`+IWN43EO@8TC6nY}iE{{O`TUJ0cd~ z%AAqkFDRDu%&Q;|&k_yK35|zjaJ*&Y4==cv9W(=bo0QX{*1MC9gAYuqujrH|^|| zHr+EN6Mt~J?Cra;xObUy{YF=#nLe-Fe7KxGrd6|SWDwr*0URNOj-Y7cYv0}mOqzwgk{Jk*+n&1 zGx6?9TRYG8`PvJQ#ozo{o|ZgAsCN41`Sn>f@0epBaIwn;RqYgeb>KzsH8H{ZnDwnz z_qS;Nb9H@jXA;N%Sw#waNpL#l(?});><|qfXt{YR#7ERU+cTZ-F z|AI%~PI8Jbnb^%On`9Or(ZZ|O}*@67`rvX7NxO9S^Apg%b-^tISIdx)t4)ubKLXzSHmyW`qvw0 z&fuTEIW$6Y$~{Br2%jn9j{Esyg3G>_$9VHvv%bHo?~}1x-)Gvyx~~4yk=Y9*SbqKI zIy&W8eQ(I*Kio^dx4gP}Ynx@)k}cl?I6rE?Q16H|PkC@fEx%d1bE7HqiiQ~)&1?N~ zo;sG~f6A-A3|lab-} z&FXrIyiCRhpr*3h^cYh;b4K&&Q%v>rnT$-}O<9TQ|4sD-87;O8n&|~{idkUx42+E| zr&rkP?E{%);h<+IZft->k+C7D`yf4iwu7D>ld;kC+YWkO%*F=bM!D7rUOJIGePM^56{E%UI~{sTjOHMht>&==t)S3%Gg2@%HJHA0 zjeZHgv8f?Qj7#6wK*8A5Xu6=8p73^`F1S;~i(5qiL{oX=7?db=$ z=uGH_=rLH&$ZTw3Ha&2r zp2qYKi}d)ndoR_GVPrD4nEtTWKy&+oeuH!{@4-SnO^{EIfJ1b9z)JlzMn=o&0U&+W z+x3bV&9|@HuII$dXaVXCEoU^HKJ%!a0<(z$xbs&t-Qt+uIvz7n+=1fL#K0UBpQTI& z7TYtA>zVIhv;alk%IV$B`Whgo3r*L^Hb|Q;+@h~JeS5Y+^z`0Vea-3CIR?k3%eLuj zZr92+U}2oTvP~ZxrSa2mwCihuqBM|kdRm9RCMZhNrZ4H#*8)Xp()6-!eXZ?fg$C@5 z)7^UXHK#lD>kCX5>d+6J-qEYCvAw@TUz~BecAvfmD6&^EPM7G{*O1%GUn53V`IGulnzQ*+PH3r|O&z_;LIsJXDLBVvTS^8Sj zcTd&dH@$Wi$ijMqT*m31vtdqkpP?Tz{plQiO;GxXWt^@yPhV@g_bh$G=_lstYftA} zrnhkV?D_gypp;U~IDN+geN9kGkz$;lum}>MmD8;j>uZ2g%IfJtOZ7EDDdp4j<;(Q7 zw{HL^4XYLUTGKm0Nke_5zSj2r>-E+#GMSi8-?&UqYrE}I{cJ`iQ)6&C0VRqI#_54m zKq+sF-eE?Q=^v-)X@b&3I^*>08a}9kBrGXXG_3{kB$rqdk(x>mpGtdB~ftcw=1qK?R zG;nG=Qdonj!;O8rV~808InEr3TP65L0HLy}cZq2IiL=fFoUuak^uL zfhH)@S29l5t2EFAMf$SoyDJSeL6I)OINh+yKy&(rUj3@+GSvo})Aw)D69DD)&C{3G z7(iqGSgipx=Hu%Ov_R2)aJpN)ffgvb6Bwu8X)w?PMfZ>CS&ar7py)1~{;|nG6BONh zr+YPntg1K2W1KG0VxR#^O9Iou(Y?9V02bX}+67 z0`&$T6*!k<@o#&aBlp6|(zXZrlq zh?oESE81q3^Yh<)CY;9j+JIN~5O(h_%cbWTt+pfcQkJG=mTQ0hCAV!$ zX7?(d$FhCrrl)TG#I5@-v;24Y=M9!iEiTV_pWk=!qQeBGB8B5RQEkg^<^Cyj|MTI} zj-;7Bng2?n@87sH@s0lK+|GaxF9LR~_|(m0Q80Of)Qh>s>!bFsR;h~DJ$>xHV$RW4H<7ja zHQlZ@+ELN_xR|}F_iCMTm2k7q%{`r#oNdvn{qfwP#@R`sPqvf@T`f7F^(EB&?wwp= zyQ<);SIYOT+E)C-NPgc35fdkEs}uFsH*N^939GT3`z-$DTD{4|i$6ErFsYcN((Si0 zv#MXC`E`ER+gY>z^d%m-owRYuH2-yNXV>P=d>n8+I)@?2>Co}r{+s72d{uT#EBqqI47b*AbA7qtrb|4Rz_U|w!Dpux zOVxkmOy9LlZ^hrk+p->PS(kF9SEC~Q(Tr$~^c->!PN;>XS`K^Z0Cf~M>rQMsNUH$Kh2sFyio z>HO15{29gC)3=vybz5tE@zONcyl|6@s{32=?gl&+sh?_eKGA}&&DpNmj`iD(KfGV| z?%uIO;mDjmVZllc!M<6FKUCU2rnJw`FJvk|&->@oxm!(Zt0eSPPY2!PogaR5!bR_h zNvraFZWP^$S54h`?QTQr?WSpS<{U^`vr1guCT-5~XHUNT`IBUox`qtK z@{Ebk8fG>nIzPKuBX>skU&?}yll{Z<`wknKtXd-=yxn4Fbf&CL6RQW~q!k+re{L%a zVf(Yjn)}7Z!;gMUlx@4+?Q0PKcAmAug~o#&^IgL79R<0k6>i?Iz~Nr6a3kc)$C9e5 zBEzp~es0f0D zP3=}r*gN(71(P${I656$&fQ*|8@uKEm1ezOul!u+<{VGn@Tc1&R@oo?ZJkxIc~d#_ z^eeY}o4Ny@C7Ab|`@D6<-pMCIN;1X2=@$g737+YE*57D@xfa8p>3dRHj((Xjful-* zzkbou{Zl$4xxz~GSLW`mny08#E6P5(jp1nd_4Nsdv+A3+FS~bY&!>9-s`~fu-u=;E z996Eqa9;T9dpFo@9@MVS3tY0#MAF}AgT*gRD~24gi( zj`ijWAv2hM{kto+`t_}w_gC)P_VeV0)T07xQa));t#|0X7{oU9hO5#^{ue9}3@c4y zAF@X`Z~W+RW>NpuqEeru=E=M=Uv_O+_$gH^}roJgxFbI&Y_U)OowNg(J)L&U3w+!ud>rtGZl zFe&|#w>M7lM(uk3haBsrI_-RNZY96^&CiQM4 z4PO?V<F*ooR>bc=t{<)4P|N3 z0e60%ocT56Wx4-}XC~H1#6|j(N`fxxPuS_n;oRY)Ybdpff5pwkwy%3scLo32yH;x@ z)83XtGk42ZUy?`)$?%z{m}8wki6Q>agZg!d*B z-!?auS0^jjORUZvX*4_`cicKg?w+Mf(@M_r`nsKe`3m(LqMc3pGrr|qxE{E_p7D{~ z79Qy(yS~l47tO^}%#{0Cg}FI3=gUu1DNzxR=IJdROO_VQi@J7hny>f_hrd}~uWOt{ zH{_<5u{kb2pn9T*ufR0a%5Y=Aaz>l!(|D#do#ub3m$&8L#FFWCGwn4vbc`mK?&{%j zoS`ynoo0PFgX?<#eQQg%+x>OCy52*p!9geI?!FV-gAZ>J`yFq6TWodZj=-nEDNes) zE-jhwCNyPk<2wJX&jo&@KkP2s`|gRVyvMHjpDgY$J<;S~*vjQ#x!%k!Z}qQCwgeUC zPPTJFy8J?+cFnR)mo7XJo*x(R{+!-njc;}(bw@vL&368Vm9UOFKb~;CW->S>q^N2NI^-S>sTm3qf1zo`n z^Y6u6V&PU&)d7M*E zDJ$A?_sCDWc>Y*qM)~*YRhDO(N*Pc8-aM~=v%`@;2~G-)54tXPYV=H6Q1j@t-MJ>I z&s*=L8#tRTG{`nzSW@o0K5M;p^!Zxm9Sl6?dkS=GIcJMhESQ@xIktdxcm1`Z`3=uh z@`_Yj6!+l{8K*0DY&biY2~`^wxYP>SE}}{ z>0Y+9gL~Eg;-`nMF6B=s$mOJk?W8wah9_X_+=jI8hI z8m!n+eJG=2rqJ!hOs;WCHur6IY&Td_U)|{Nf5+znH7j|4i!7z3OwUjJ+_HT60h#;1 z+vzu^5U-LRwadkX}Pl)X5!lVxh#-J-cAd{?Wd=iaU6t9+X`(VS(val=Cs=B2*B zcJAwAYIr*Rpz(vu@|XMN4)rE@mK|Vb`Onx;95ClyYhu_M$CTJF7ZdmBnK5c;XD$7H z_MM=P!?)Knj;mSy{rULn8_}&n(<&XqxxQ9zJvzP9U?*3-)TLi1xVc;ln!Do|S{^q| zi;0U-+I*_P@X2KL$;XZQW^&BjaxdG}c?S0#zJk~Dv$Y!Zd})aXMeqLV$zRo z{SF_Em|WFnm{=eE=pUu!y;#3x@B1>-@~4}eJnk%V`LlTTDUH1E`QnzGm)biGHgX@3 zk6LHYp(i`hEvKS6JOA{a{3!(|PY1usueG@&a`v&h9%Gc+r5P*r>hGu5w=Dh67Qn%O zCp^`$dfn_rrLI5pJGvLm(XU>we!}*UYWo}AtUvEMt;2qY|GlCgvp0?HiM8MiX0HG3 z5C88!wEoK9OYVv8p_U@wmeyXYJ{@UP$gp73+ydjs7ZvC7eT-&`e=V@#-Iy-(e%?0? zb)|=PFCWj~XIYZ(v`$T?@S#_@^NJJ`e*OE6TJsO3hlluRzGCaqT#)3sfLF8Dh2^K_ z*9m1YCFQ(N=FEu-4ycomE|#_voa7d=bLF-vw;d1t%ldGN|D9JQ!~59s?`9m*3HNg! zi_P#_y?R@eS$5lQsi<#BWnb#0yt~~YBY%b_pm}EX>5&T!c$h4Wr%zlara67WLIak1 zX>+0f>-IMtsLg1y{`i-ti1ky3oI?@sqnP#OnE`8_PTjh8%~j9W7BA!L_dk4hYSQCl zT~D`U`Zv6kwVNh$jwjt>^OBw^K1Rx-!N(r2oXN*`{>Yk3JPS%2TaUdT;oUOS~pD{Z?c(2?0KGsZ!@Gk-(Qy3f~^FA8GCE8xjX^Ks<&B4ofKA< zxv+I!Me|0sYt8CvT1v9_HeAd+)4br!y_WLWH1|Wh&pokx7+Wte<(YRtz!x@y0>dCl zmP4u@&4wYfo8%=Ptle{^EAV*Sr3ntvm8>pP`&cZKHmP-3F^EsSer?ei0g=s97*EZ; zlyI*hRzS@`ENL;*)muFpj(k&!yY8{d9!$~l7RXj=<}wmw;W=P>V&@_wr55LC(LLuc zF=#k-$Vjm9Nf{Tkm^}xsw7@ zZaNoFJm9gL$I^61b-6;^-ucsg?#w>>DougUkAL=@`mnQgavi_FK3Wm8XIbf*dmZYJ zR#tq7QdGXrbL4csx2J5MDkR(|>yvOw zxrw_N^l$fY_K0N9KFHMkW7WQ{Ej!+?_E@NO^XYol_K9_5Pq&iF&wg zLhg~P0TYy(O?@pFXvgWiy6DLH&*fBEQ&n6%_c-SeiqhZgRyJHAQ7@0l!oI#qyg22}wZqm@hc*9bdh`C% zx*8sIPt8hY#x|dx{ClST{8CwdJDr{#Z?5*?bzu9GAAXO`+xQ{-mY8_muA4=EHIjSf zJC?7BoFlY3@biY6==$DM)BE4Q_xKVXYJAj(Z(sG9xRAwcT#daMeNP3or{&nKoL$AG z`sHzviKf57SHbvwwrTDr^0RgaL|w?!zH{**AJ2FBxxJ3=kFVdT5MFijv%|HMY&ym{ zfjVC_ZDX6Z?m87SQ`#iltguyAZkyDd%3E^|_*{GzQS|tdsGCxrROj7#gM(u1*SLO1 zrdLeZa-V0;w%NC$^Cs^V60N-$m-&rt7bjPBZF&B-bn5PJ*ZyRj;p@J5{^^?)uM?Mgyc0idR4jb!_wq-(FEeYD z^Vn*NxtvWcd-ADf-^|`ui?hn+||_%GI29)%w{Ujn$7mn@ttwHFrD`y(3h(Lt)K=x5s(Cmz~!uIxNDHGcjb*5>-XD zCk>s#hQb?^Pj$6Mbh*uOvYT4*e_48dzpAgl%__0eZOaa&Xm9#%Y<@FfVz|kfzDR|9 zuk^X@x^mM_UtBax_~yytv&PGd1d0PM?w;g5)AYDyOMUo!(Yp>2Nz5PnA1%4FO5&oS2$Q!%=`V|kCv51xJLYGscvJ#zJ1 zJNfm!B9~jdd@@Vc&alsX&iPF^d1cy)UUu*0M-6j7Y>$nX*Xv#GYgoV5?R(ns8=n^b zetvZK8T(}m+7CWoX7jV})OpDoy+{K-?L7_OvY#c^*PVBXYj4#FcF>qLBe|TjE|g(u z@df>pb2hM^`FiDEN_2<1j7`>l-$mP|tmwD1 zw^sKrw9q-rVaED~>ysJNHdFhR^>XhPweRJvnE%Vi@ZrsA7mfYf1U%oSWCTsI=`r8? zdd{0)3m(kROU$t{ZJ9W!S>@8?B&Lveq4$qHeKF^9u1e1u{5+~krY zHJjs#VbifQipnI=7`#oXfoy=R2Vta16Oy$~apt!Rx?@D)8=G@o2_=L82&i4?AlKf$i8nt{zYLe|& zql?RRwCDQ7__Tz#eY{t7sz|X@e=bkVq@XKnV>Gr;teW{ESetvUPmIUR>$QKQidH_= znwP(ctD0%2((*w89OJ3Zb`aCfEkv0FPPyAxB7gS?-c1C>WRGfbHSa?f}UiO+`r^j1D z6H=5#HVK}*-%6LWlnE!_7Cj~_UA4(qmk|ff~5;~`LpGQ|{{ip3cOCpx86ZYKb z6@T)|>L!i($~8$-f7%{WFX2k6?eA{#3$8;a-zwGup>Tj

uLB=_&HZZnhWxQ%RJWAuv14 z>fTAavgEl@nK{dU-{^h2KipCLyL`cdZgcx}Z-^JK|Hb&3#W?+x-hK1$^f&iUoPD=%V*RSwZ_iGDnO6OK_l}$QVhc9^ zKFnOO`S)ZP@%NQPGw)rr=$8yYGIhIlr$a9$wEUT~})H zef8s=@v`UtzWOIDWAosjaLj9;@9_`oA8h^>|8SG>-THRt=YPvBCS-nne?{l0ESFJCXsBXM`)Nh^N0?W+r=f1>QznlAVukl~?;$`J~oEDjUpI5;z zZhld=-sf=gG{GlJZ$C6Uotn&?l9iitGIOV-yhZGf!+GE%awY7teYBmt}D$%bNV0MyIzk(@4oPHPX6;YJ9$m+ z3Gv)5MK%{i)8LyL`nvnS%yExSzyv$O6HaY3q6?J>PM4N}2zDK_XhFd)| z*5Z0J;f2}c<{1}!Gj@Gnx-aF-%V`^UOJe7FuTjhv{{A+!Qtz#A*JiIhL3dUrMu`hr zeVP16T}J&@PR-H6MZNXMCg{1Yir4g;-fnm6M#Fr?Y|9CW-a2azN`1&Yee6=P_?5EW z-t98C|Gd4`RQRQt>9%QGpJ({Rq*6X@uXk^zWn}DnDX~45r&aFKw2T!CwjYm_WEOq2 zzHlX9(~P$j^FN<>dHUQWO$pnp^W+x9EXr-X`D)J0quZ3%t-EnizjH~f-`sl3uLnh~ zm#-^7npb+}OzHK#FWXgbrB@rATWKf1yC(de+>NAlyCvR-#IHB&Us$_pTG7PI8-@8d zD)FCmJN}YAcu(`UqL06-UIi^?Q>}h~usNTPuOckk>ZQP>n~uk|PB({DHa~hP?y+FK z$x+6HNqc#$XC)*=`%G)m+OnXn{^1?H74=N6m*ZlmmK5*Ye2{ON&(qn5u5U<5zq-ig zlvxhv{SSLJo_)@=%=uDavhvyC%Qtsah082TvC%!(W-og6OF^KRJ->g~Mcx@H>`yf_ zKWB+d|MFVR;9}G)`wKogvDdB@%uHD9xqMwk)7-gb*JqsM%w)Ec>irR@d5>$cdzwT~ z|KX=g>gVaJUzM2M^?1KY{q<`vr4t(3zBb9HH63!BvaE6I@288_Euu+9=Q|U(Y1gSrvROZSv3}=!nX{+V zx__*(iSBx|K~K#6@S`O$A&ZkNZC1UW{50@mU5A+ZQ65u|dgU7nTy15~EkC;EPHYm- z6#lo+TH|O_aU-#tYGw+tIw3r*-GM{C?>HD%d``iA=hx7hl88Pj+%Kz?N zE7ea6_Z>R>c1!U50;~T{kNf{OoPXMz`Xn&-=8a}1&giDMQqgbBx4(-N$~{}wJGWgk z;ECkG9vhH0$5SMCMC-PO7`Ue#P-voinF?Ge|LeY`bE2Th4pi6SF@Kr?;HR z?VRGd>bULxx<@Bgol4qR;W6iC+yX|!nN!_Ej)+eboEYiq`JOxQ#0&0Z?w7HGN-+oB zrFVpU=xi<87r?ci_lk4kQmrjlT0=J(C>=7t_P8;0+XjPcTH!}B9^4kcR39bN;8M8c zShc6bqSS?3S}UWRk0!Hryk-#DqCKVGf-O&aspSSM2iJqWr8-*d3l8I+=@HG6YEJ#37udR-au)F3Xprp6;+x9gmcY!^{cGFBiVIp7iXGTZ*z3O+ zaJ^&vmsI@Od!C!Jp;b0CyQiJ{)MGyCAet<1iTH4L_@BAHybc_OwrNsH}Z zGKttH#CPVdTh8YU=?y{)*o+-Gy;uVB9i$ky2yfudXV}FWUaJ5?4)Plyxuw;u0{U^r!VU*Qs7>GhG9$M zUxvL?Wp^Bs%wkU|S=cJoFnf_c?z$y`FDf8tY&8r5m1&2>xC2;i5}_`Q$Qz zh4zm$*cXT$W0zQM+tV6Y(I0VVealjt4Qqw=JUJl3_R4DNokx2ctgD|UPBZ7aeUR7U zRq+M!1IJ{~EiXJEeIthzQ6ihQZPvs){r66AaGUZn{aDk^`k+dx zyWB0*wb3@Dt)X~lO97{@)-6WK7Y^HQUG`|5v&8T~w^ypvf(^@&o)}09dUJ^saoUNw|u=u zjYn1`ho(QS?3vgmB9U$SY_E>M^_4D*4{mwA{`~&O%`XmmH{SNV&*ek|q@7`(=LH?Alp=<^du~hI3Os*|d3`$aXdE^%4&~ zyLIV~xv!o)ukgt#6iw9rkmlRV?0$Lvgau*hER~KqoefP-E5Am(Gd~u%!@2zI*Jb@j z>lawPI94rEGkcOr*5&lynRA7B)i`=wA|8ppTdlO}sACu3?kKO50cZ6rLX>tqZ|LN_ zqH!o&C${5)_*#$R-eWAsqdQ-<)Cf0USf#(#P@wQ6S5?K#%RX#gZ!7P5nw(BBe895Y zQ*h#x3=KJUuh#~typ6Xt9a%pgNeOLSqOqQTmQcN+9Men-iIvV94U~^aE1B$IV$kv6 zbU1%c-~(eW`>P$UZTd_4Z&>MTM)G9n@qJ#pCr3Gb2FGiMfG}30hwG+0tq+{y=dIP4 z-hOhUV8#}SU5?32x3@Z9XWU&O!V)eYWwo?~F`p?qMkKnsk@2zu!~3_6yXsUbh3|Y2 ze(>M_PX}MU?_TB0^(XoltPhydJMqk$^OM3aA2FZWCALc}XV0R~A1fLXGQPKkyG)$R z9OrJZ`oJ;4;LWGJHY_fYmN~PvW{R5dqfH-!R_Z6`ize5~UwwEee2>cMbu11S_i&sL z?siR^TQk@7V9kN4O^*viL#id`y;TtHy0rA)6}MvH(zmlpX1=VCZZnpQEj?MdgK>?Z zrFhd3J>!Ps;eW#Dg0OpdHqWSU-_sC)fKN!#kv-Qcsmwq~YZJPZ?iRv+~aNqtbeL+yA*LGsh)#akQv z_?(5-2^PKD@;|ZF&3~ao{ROd})I+kBDyh*@$E_zd^xa~WIk;L+YO=t=&0&0tBpw$Z ze!j`^=!C$BnhY<(FTQM5>+%w~wB&okoJ%{`x%aO*$=5R_Q|5*P&l5}Mr;;b8=;lt+ z)>qVAyrIHx+fjFCg_WlSJlCz+(vp^?xLzb>fkWpVmK!yT%qk2Mj&z7*D4nW5&E2Y_ z&*k}CdQy{G?ZXKU+QOl#!L}BzdIAf%Et-xzmiG4SP}5uS<;n6H-`%D?;l1g+eA^t~uELNWD5Q zYAa)+hlX%?)Ph!t#@%-nw7Z|rD!&olTfe}>!Q|7Ey|*?^SID0H=H9z_wOJu*>@Q|j z)s^R)WVVE8omA3!W}C788Hra>0op<$Jp5Yq=n=BXIcwmw?Bf<-cx>w<%aR}Vz4z|^Ju%;=%A9FQ zXV{;ai_6dD`}*&a5{Z6Z9orzO#U!zCjosHhQXy$1U|G8}m-y zI$7}ER`f*JK`pg_-k?qOuOgS6NesWW=gqQ*r>AXeGI|&JVdb&-<=b!1J2c5?viBkN zy_@Q~oc&XjRJZ(SIePkwkDBewlk>j6craVt?8>>)x&u>=U2t@*N;)hy<-3$mR`mJa zZ(j<|KJVYP$vvn3S9^W-PK}e-FV3((dwAK2ReJNO1MpEOIhDZlpi^UQ`#)`BXlS+kHF{-|L+o9QKTVd`ma-UEWEnlLhZI zlS6z@bIC>I2en*i+p;_*ZMW0&RMxWkuP4vc$>v7vonaeQm6?5;|NH}^w~s1|Cw!Z` zWAUdwtS7wBMR@%E;nwbdGwRjTIi8mn8V7r*A8(Qi|6P@*Wt zF1_AI+RE<2+DV%6%NI|1^MKnTz5Y%gR~7H`lNoiE()ab28Q1APpZ<{d%bto)Umm^f z{$Kg?)!Q#=784&`y!ho8H_r~axU<}cmHYda*?0B#`xG2i7X7Gd+?bz|`Qh=?hkuGp zA`?QaHRSp8=l2~8zkf;fp1^OplN>Gcbla{!K7IJ))%ve11lXUxOe*;-7yrvjL;sSB z$D4*@+aL18fB(6@D56eJ|Fr(o6@Q}QrrtkQ_%pgP_TH4qMNxk0i$87qQ)fO)|JY?u zOYP@RYyK>bnbKYFb9(ou{!jB4-~6(F=I_adcP>U%?Ojo&n<=byeEmF|y0FDeMQ0gj zZeP55_v?pi*yngWcu*f*_v6}_#h ztrpj}Y@5d-wwG!C)b|HJU3|3MeDUhUO6ys@%i{yiUqAeF`?e>A;wSIR?zgu8yHj;% zy#5ZKBJVT)-<7t9?=9ljt~{=tT3RF?8E;=%S@&n5YWAIkiyMPBZLbyzYmG}>{&bP< zUB7cLPrfdH-oEp6-1`|@Jo-*vsNQnQynfTywO6Zkt{ncfq9(>pv;XwuPtQMP{#;WN zw@)K}+WJ%Rr>;NEzVvqXr}s~9e-g?0BOCFv^5?=oqF?wHBWo zuPRpFD@TIws)tKUB3So75KhKumq z{S(79&Rwr^*dXTJc<$|!ALr}pYCis2bLhajc7}S(4<3(Cf16jQy5LT;;)FwAcQ^5avlBsO2U zrn=Ji&g7)M(T_jgyl>B}|6l6QuisnRq{Z* z{Q7r6$)DG|ySeuBdNvqNy_yik{iBurvG`Fj!O4$PMYZpz7=B_(N@;x+^dnmEd%eY@ z(2MKLub4`&*mt09)&u=1{51y0x0k(n^!HlX$5Zd0tgg4Lsj4fSrfR{HJO5()l=~Tf zbgwb@*qy$+=C;_uZS|$QDj0WVO!HsY{G>06JNaqXitW*n zMb}I}Z}aA|X5IAo`tsw;uZn&7(m(tB<=4H-xp&wu{A>2F>-_ICM-tZ;?SI?(^1ILB z+qZ9iVNbuf{d)Q5*&mP#&37(s^S_w$TEthgbbjv5WUh-l^a?_C z)_01yt>V4B?0_R*R#ExqN|V|B>&F(+0 zg}>ca@rZipsJXXjPPMvXbXx25Xovl3_EBxS%*C#MIGcUqmi62X^|u|*zkJxOp3XU8 z$5h?6FC9ADU9HxgW)!^5m~@T7C`M=Q%XP;V8!k&#dBo*kZL_nb_t6us8`AZExlW#X zQe>iU=e0deIZh)|UMzqsR3l#1|N4xrVz<)D;$F;PzY{ufr-2&lFO}e>!Iv~{Rct-$ z{kn0Qq^?Dj_Li&)(@RRqyEW_QJlPs)ad(bBL)UBn=xLKDa$9AdJQvorBKo+t>z13R zbQZ-I{NO+8L4FUUL-@mgKt7Oe4j*4{tM-)>P4EqgFqmO0-%_U0$Ck`+G# z1j7P?*qOYfG@CTfcRe`uT}5}_qlQUI4Z6#JL@b)~Q2*KKqh;TPWt_OKA34obaiX5- z<+LPjJ1y-k>-lDI3747AKU1J1<^9mLGN>ZduJz5r8rP=j&vmMLR%F&ZX`OXU_`)ai z8p~~a4(9CIlWKCx@<>wXzhZC8CY}6uAM9Cm-YVOb?v<$M+kKvU*Ace@N%zA)JL)X% z{VrMc^v?@>mj%%p{>L`|WRm4;C=1vpvy6LXeZz~NKTbcoJ?Ec4Ywuc%<@IMbT-v)X zIp;9*qSSwPjOsTYo&SZm-s@fSe$(_L-g|cPD1aOaGTX~x}`s~@iU|0jE<@#bm9D_xGwy2+mXw>{+an$jHKuj_)J zemfZT|L1w5?0VT?=d`LAj~ndSf0xU6uVLNDXgYP{Hu2VPIX|ZVe5J>Doqc9#^+%b# zzt^N*v$}O<+w}{7;&|5POK&<7`9|aNjeP+Nj@ntgzRRyuylmU^GjCWo>&Dqd@GX(u z>(q5ADJcCzsnXuC?+HbRrI}AFu3j9!HkxM^&(U{_cCa@~%e~S6Tz~!IrcJefUT)z3 zXJ*qA|LlB;>7Ak@M%_QX-ZvlYWiL8?Zt3A9ZOx664Ra-yy?ys5*UBzBZM|@c>#;bw zKacHpR0k~6ta=<_o^JHr!>3CAm!5n5M!VUk13&+Mkdt4Tc5G(n?+0%bE7PijC+o5( ze_M3!_w$*17u?)i@U6k*@|R~t^{3u7Z)IP5{zB1S#q+av9TWSvc*n^LU8@zj{~XIb ze0%o8s~L3xcJuB%%zVxmbN&a99qUx_$NHZiC99}D*lqCVZ2nx4Nt;#w%y0Rl`||hY z+PsA`tZ$q%%1ynz-T&>&xTqh#-wkTNUzjuhVf5)gvYd;R{;KaUH8Ff(BsjA}V{XR> zx%%A9Pp@|${aVrV*)!6$NO;AnMW+mB7Ohb46TiNA(W4(5R!n*lHO=Mm*_W?9(9{I6F^K63x#Ke!_7!bVfst!;g$U#@xL9#*1t*taCcPi^PQYiGVJkx8Fr zY8-m5A;NLlu}j@`Mpu7wO^iI+ySlJ6PgQbWr1DRFO^GALDv*)bqSVA(5DRpqo|&QL zbctZIR%TNZ%jpY(%@n|l!@*`Vr|a37$%q?Ua_PHe78RE$7#o^%!Ol=NoSv9$s9oP1 zaXashnLzFR^$(I`6inO8nH(=DI9^;7{^e816UT3twoSS_b>Y;zr>~c{ElLS`#Kp+7 zrsP@KIUY|>v#!E43+8t-&3JlJqYM;fgZn&LrY2n~T=v1Ad2(AO%hCik8R0(3>@p|A z)jGm+ELjd3q#I67xTo3nUFNO`^MtOP&%h#Pvw2v#J=lU z-@oO?@hnTaC3p!R$75-QzvoBI)cD4TL zd(P{^LRh+X-aVA#^6c%jsb$?e?>glyIe9xa)p)yfjOkg4$V~GyZ`;E~<+j2PLfECx2*SljBL5 z2UGOKes*lSm29n}ai&gwx{bT@6Xj1+nkFpjP;p7^P>{1U^lUiE;Mx%TX_mL2Uun>+ zrr2p`6&`%95|jKWQ^4|s#fGtrB`-Qh?f^LCU5D{Ya*17(j-{h;J*KGCXUP!K5qrOEex3*eEy8H@r{0*kI3mPpt4|ebSsV~Eq zc!lk8)5)!&n&FG}SJr0S3O?W<#~!#UbM}P<16|+M-lsoSbXavxYrRyKH|zFi4Gtas zocX)jgLC8pgj+Ow=Kn4*U(h*i!Bp`j_0MXqH%z`e(@Iz?hrO7%TPCmz-n=-O}-}+5hcsWE&Kx@k7jZ+n5+P-Aow>A5|c+SUz zQ-o_*+ElJR(OY4&pmJWnU(EWV7QgzqD?RG_PYAk(l=fvLy_$C9*{aRgS(9$?@m3zH zSmDfe;gqqZu2k8IblcCgugmX*UVJn=J=f`)*84q+9Bf7(xsJkyJm)!*BBeD zcCU0xc)0i3teKg|B{%9h-OgKP@mNdjds^@D>5SWte0_2Ldc~LcxnbOC-5tD&YJEas zN6!2>wq*K_?tejR3+q2k*Z=qV#PPp-4?VU>aP~;q*0Vyha^vyf4MCl0N!k{=8%#G_ zXus69cox2?Df!>m)i);HG)nRAQp(!p#%tbiO>_?5Y}2PZdV1DA*b=+2X|c#^^Cd26 zrzhxY&SF|~-(%%<&CTDh$=|a5^?FNbN!61VU;36@p4{^9zR|zDeXH{A4%Z*|`cgm3 zaI(*St-r6nWM5kUcTxK5R^?Q!XF;1(m?!mYN#yC!zwuJK)_6jQLl9%tYWwMvYB|!s zmp#1MBXaI~Tur_wx5!x%Bn5zi#|_nrU&tI_aCExOn@_eKjZlFVB--_ur=d zq~u|_!!Kh~4*dCZ^N+o|ii8@d^e!&pM=8jS45t5$G*hfMGK}TY56-MgRWLI$!|um>GgLxd(CSd*-F(E0`Htg0?1e>3g~;MBA8}JDV68n!CEXS-85G zm^vCey11H}Ia`_=ShzYHo154v5LUt)i>M_`Ev8QlG1IJ9y_T6H8Y*(&qb2_fW-ra9 zZ?&fcy>L1m^z3Z*Z?DY8P0pIx%imas3P-XYUc@BEF}vY}-U&Ge7v-wMLY_W<5;~+h zq?9=frF@ULbg0cr__LtmUwhq;r)MgQ-`}w;eph01KKg^oqe?;lq-rkPMT&y@Ld%3X zT^7uYabFa6A*%3Y{gX=;In0_*tR}ubkSKC%(rYihsfWuh%!|>pT-5RR07tmPIlqmb zJ7;}9Y3O}K>`G^hs^x4uW~<5Glag5{`kYV-cRe?48n0my^NEeWJori!%_q&d8y0>- z)x2xY-AeNl%H|X2OkHCAWb$m6bE~c~S53;k6tiXKVI~a~^Qm`~__`O=N1TqmJnN1V zU$rCWPO~Rs1rc0(PcEG>`+TDO3-5JP?%44Cc9h&{_~cp94f&dm>UrBgbUyc-Z2N?3 zMT<(vL53A=jRDMCA1!@)Gxuue^QF-y9BjqC7Y#(-gh@9lxxG%bx^j@mjb%bZk=RZS zwF5O0++Y7#@w6T0`1nct%_QYSk)HatlLoA6hXOusnz#A$u>%nsL~nEyUSN29P%pE+ zSHMZwr!~_+Hs`EyqS%=>%Y@dgUAGr+NI!D8cw3XF(CrP!ly)DibjWv!7S>hqQk>-@ z!s!2J&+VRqEi)JYpOdR?b?s)_qT_RO70X&T_Z}`Q+!lL7<=m`zl`@s<%Qo3gKKSL^ zg8CNkOWOix-z#JN`^HGMEOAk9Lbk85XG*Y25Y-OP4w@{Ot1W{cE6n>O6_ z;V4`EIFW0548!AwTf6rO{oZxt*rhdke6B*fGi9HhYUnGiozZY>cTz(54x!GwwJY8) zt4=L5+I{G2Tgwxdd0$nQ`|iE;&HMLOnT%9%k2llh>vh5pE(vRX=n%bQp-!*tt2TzS zPuaZQ6jna~^HY3YD*-CqPY`N4#U;pctuT6KI`zTdttfF4N?yOU{Rn(P> zi~8P`d|5a9WbCKf)5|rVb4~dy zK9zg*)NaXB)(eX=*L=#G_bJZwPVl|_K)v%pc54FeJU=z{=BZG>eP!3f>{(tNs4BO( z5%ya7-`A;Sr#K`yuYLL^pU!mSMtx$!f2&`PGmpgA9&7u`F8@ftf$5a$y-R`e4yRL7 zC+q3%+Zk}vh;v`?HnT(LPi=d8>f7W~eRZeK9X++q@l@Vg@0#-!Kb$N7R;RxI{9*B? z_1ibu2U`|6S^n5qlrgKQVnfjr>8EE|PhE_kntXW5_J|7~y-#(zpE_xKYGv!Gm%OKL zCe{D&w=56exxuIMcW2SZiFdP9RTg?R9nIA>XIPb}aK%BF=Th(-^@EcHO7%{5m`Zgk5QU6UJjZ7IXyxGcuDy?-Wes_We3_*?bH z3U2PvRraVfNtSN_>vbx1$aqI056;zspi?hkJzo+caK;{CM1`iV3D zhX3w0)^6OYKOPuI*Jn;tF$#+a(dm4a(_Q76^pd&TOJ!r>M%Sg2Zv0*Ex>vRE$mSLO zQ>On(4vg2#k4z1;*WADJ-Xf!w9y{{`>sQYBJk@ny$epOPz!)uQFCDHWpB{O33r#w+ zYTJsKNw(DyA&MvWrR%Pm@?>F9_oPWR7B`jbVis>s>b;t3u_C-odiXk^))80I(FY?<*chGf6M!vnlk<496jOb U(urog+(rfl23)GDuKsRZ09puA4gdfE delta 26299 zcmX?l=qBUlLpK?PR0CYxbPe@Pxl}J)IeLT3(7<$h;4(4cjjGFdnEThqPd>+E$?RG1 zezKyRFq47tWO?2aCPVYdQ+WgU3@sE46oR<)gUl5S4J|i+<}G1kGB(?sDRP>V$;e`| zJg@R}-FND|&1rJ&X>yG1X>v^MX>!c%X>u&>X>zRXX>x4sX>#oCX>uIxX>y$HX>wfc zX>#1{X>vU6X>z>nX>xq+X>$DSX>tPXX>x+?X>vmCX>!8tX>ua%X>y|5)8xd2;-?$d z=m~G{t`(ck&unO60e1R!gXv=O{L__t#nc4MEiJk9eNyw%OEMIUOe{>MAB-~7s6QHY zJMXrKQ0?{bFSl<*=-m8%`hdg{Pqmp0$vuhb4R6%y7A);MIzx$f(y7#ab^a4|sLu=_|=tRERW9^9G#hZYr}y#iA|di%nb1HsJZZCqmRX(gbzM^`+cNL zCrJ z*Q{jT{KNFXQ^o*8^$&5z%Wa#Lo{JjKtMrIExQ9w`~E>G*+ElX6|do?Yxyd zHw32#wCWaKYPBuw*R57#Sy0({@g(O3ZcV1oH}$H~pi)9UAM`jh&3SK`m&ZP$-x#+#L@eY>f@-{)K0)!N%a6qZ6or0mTd~{qX6e&} zo!cVg&g54z#{Io8rF6ezYSEL=i}d9d8m{#I_hYm2&BgKkevyWAk7;c?%XINt*_+zS zn?CC@)f>DlUc4{e*LLl+yS0n*0}U;$6MuGZvR8iC-0b;pmdz}Aaq+@Q$?s--2$=6# zG->{kb&=aH-{4Knt0)mkPyM*%=b3v&kMtP#IX!fLd7{Q*wnMP@axV_+F8OPwNj-a) zM)`EJ8}pUP+_Csk$Z^;qv_i&J>Z!pzU!iA@6<;1+TdiN;U!Si3-1mC<8`*QSKA(sSHPEZ+ zcYpuQ@7`PE`Gp>`dcQ3>_ujT%^C-QH>EgEcAAa4vx4U*veeAc;CD)(FZ>qR@akKTe z|6hy$e-e4l=4WAhnaKi)=ZG+bJwvy``@P0 zb$|8KJ<&El14=$B%|2S&@YB)8DP2b8lEqY31D_dolNA_`o%X5PYdbH`s=xm94ZW^i zbwSrU=CJ;$pLurr|2E}So8p>{)*fh6m18@*-ZA^Nk-q5+mGf+J&zzn)h%Y@;@j<{k zCI0ve5f-J#{;z&;a;Q$P>9~4#!AGrPj#b$vjp=+b1>6?zZ$DZe5i00z|AtRsk?H0m zPn*wo9OwLTLu)tF4!#TRX?;N)%$)n9>zOOPL(EgI^zyJVsk3sQZHnn$zT#Z>w)nE$ zUnL|p1hm~>Ezs*{7Tv}GyZDcrjX4W^Q^`|sFeBXTftZ%7g^Zz4{qQ#93&hjm1`j)v?%#$qP zDl4tuv7b4ceZ%HuG7S4X|K~C84wb+E=lTAem>Iu>C+II(RuvhV&VTAvVA#zwi_CAi zg;ln+{`dOE%Jt#FAMuieo&Ha61znfC#O|JJ6koewU3uu$m3dr>;qw`!YQMgkyd=}A zc9CC5PpgFX^Zb7n{~fL^n;NgXf;a5?`+)4_%LV5#c-B|^YkIo=@$-Mngzlf0oAS5K zc7^*U_E#&}^%QcYVx@%B13Ha03a4w^7*%q#r!@N6uQ(GBuXi##<4~YMX~b-swA`H? zYoGiH+}TrB%*>u^@@jE9m*rvQlBM5I$ch}=AYcCd(9Y!>?{JD)9caw6mNCfS7FL`e z6x{zuYR3-o)4xB}Gx>he3*=b6`QagsmbOVNg=bDKnLep7@BQ}UbE6yY?l`(&NsHnE zBTiut<~9dMZQoTeFryjtJP`6sN)^_%M} zfm!ww3SR#B^_5dR=)}hJW~ynYr%RLAIC2f*!W4?-$v8 zc#q%(%YYReUiV8b<`^%3xl1G@r{4L%uDgOkttGBKcNd(n+!1}V!JynZJY#Qk_>)uX zG?qO$?(|lGZ)WtAU+co^-4DWETwD0_#x(h^EV0*>pA8SC$Grc*^Kioj-D!?XB)Liy+ohZg zwtoEoM^VXv%hgkIYAa)(lk~y|UioisacCzoPVbc6#iKdBtGlJ!q?WODlFH6hA$AYe z-}M{@De=1$COnbJpUHMWVIAW-<}13V>hzp$JgooP`b1B9Uk&$_PJ#K1S{JlVzP$EQ zo^7!}+_Zg9ox8rx+V|AuDZ^zEIrel}v0ePJB2OpGF7IUDahl)=Y^(OpVCgA?3qLjHkDolLahO_qrFAF}9?drh{{RsSsGpNaC_2+?eCK7zJwk5oquBI_I{P;dJ{9JpV;D^a!b|d ztUhzh6^c z|M~0j4HhDG6Wd-s{P!`T>4d&d)rm_-%nQqQtmoffX+Q1mN4+kk_u;<-`X*n#{=UBd zQpqfxeMjSNUbXpqcfN)Fi+Qgkp52=~_w9vgvOe{*Y&?tgE&mn%e|)z6_w4<7JQsvy zc<#vlR`Y(4_t<@5sJivA&%V`m>;pIv{Knczo0@HvM|W?P~dBlQUP3tiL?@=-T*t zlgt9OeRuqWmehBjn}6z?u1p`DEkuTOT|7Z(f|m(7SNnCgo3h zJjwPxMiMM_0#Em7{MsL})1he2PtU*?u|5jIzYV6$k1gNjkTC6+qu|SV{|cva#(p`x z-u?04FIP|G>t6iO^#A6yvLAE4>C7}x>YJ%*xci5a_xI_l@~(9fPwKsbvR5m2{9XAb zCe-YVU+|+V(*LfXzs$O>>%#d*kGR4G3%&{q9=S4$NtE%(r&s@F9qAh+cmOl1UOjgnT61$4snLU%(EjyamCNHo)neZ`P=+KJWr!s%) zeoskuoyfsv?RdC(<=6i5!YK>SzKG3xa{8eDOPR;K>y{V3T@|h9Qz!G_`d9Z$wGYHy z>$g2O^{8#0;)fFMoqV5a{LLmSCjE5cZtmkN!%ull zW4Rr*=?vfBki0yG!#y`^f&{PMl+{1Z!Y6ZY%FexVlbPnVzL{&$t^ob}}3Dep{(_(%HU;ck}jB7GLIhpU7_Bvti*OhcyCje)HyT{i+sO-X^auAvte%j^sk~Q;bjF9auO0^c!)rGj&rgpU&eHQMB&Wwb$PK zaNc#D4~K11haE(ol5sj zPx}=$JGYAQ>Sk6a=+sYUvyVReBI7;tFFHmB6qV){vFcHe^Z{Z_?W`KN7MCIi*+-G zOy9LyOoOp|`s3ANR*YWL<<^KrF|L_jxkl_JQ-0#~khNmPjNhl9SSx1Cm_Gf_TCrBf z!s$)x#I`b)O}AJt7Fj<}x^q%}@U)UHvz?WaPjB-@1^#$YbE`@w{%*HxazjLv?Nq+? z{wl#W`z|z`W<38QF2|zhTGsx3QPpM7|6XD_^yJd=f6r!n=k7gl{_xq2&$4c{EO^E~ z^QMSd;I4-KSE}QFXMWk&_DSSU+rl?G*;|hvec8}Dw`x9vea|jOKS{+KruBUW2GhUq z_#G$}duz?~Z$Uyz0)94kZ=W|Rn5$f{c4Ah(@R01FH(uOG`yw4wN1w{ zb-iP~CucsxvFMYc=@p#kADBuX5Yn02qV#0*BmG04;@+ipFWKTE)~u~7v25~@I@P5v zj?bjua;-H|?cjXb#v?wTgTLDC=Pm2{r9VTjxj!@FQz{Gp6RO%W`9{wR^-4wig@1eQ zDvAXv9MVh?neYEJ;CA1V=JltieOy^HN6)G-LZwckYzQv-VC>9xw9v@z zeM$WzpIq$&^G)|_e9>kVo42|%%w`{Z*Bds2A4g(?r24nbYQMT#fN}ca2Wxa>14C`5 z$O$L@jLv(rM`=%J#}x(t-T>3P46jB)2y_g1zQYjO4(We zr>Vwj1uk9^Y?yN`@Asp%ZLV9x;u&k#ohqBZ`dIeedj3Bm(^r4jP&}xn$C7K9^C3=3AixKR3)XPKVJx#v@D3fPt!i@8mbK6{NlH1X~Z7W^g63RPrQyRDI5&q<7@%!nF1ky23f(a2AJh zx^}MPrt{Z#AH8Ax{?&Eq$;?huGk%_A6)UHxn{N}QW*3Vb#r5iO|IyI$= z_q5o?V;5F;ng&_UJIb%k`sUZuzcQVC^Z3zD{h5-@N(r+#spF z9*=`H*tm#CZ&$-C?Q&N<5{NI9C@m#3Fnu327pQS`C7X2Xw&?D{^w z$~{bTdh8aZ-O6rdtUK_i$SA31vf@6)#5BS5`8>NPdp5P5{rgxa$|_Q_{`grIv&V{0 z4{zY)lN8eoz1;sfp;UFXSbgIACt1tmer^7JCtrx+!_P(PPNET9&WGd|%1v7~fh%Z9 z{r^8lYPT(oYuhQQxv;K(oB9FP#G+h(g%kgt-j|mYx!kkOX2X*}bEaJ1Cf1o!D$eU- z&z2OGZT(tuJ~*c)H_hN_>#H3Rs>|feKR(a#o3r}9*ZSO28->5q+`VT!nZJ6|Hr>k| zh7AmFRtitQVz&IjNw+)uBkk_ZZ`QmvLpO*>|QpM;ML>4A9#9;3B&vN1cKbXuw+9AWc?WN)p z?WN+9?WN*U?WN+?WN+X z?WN*s+e^jOx9npy0K28&nz|XI$@Jyd)D0MoL4Gmc&VOC~ml&fVXehZ|_nmsX?mLZk z-FKSpy6?2wb>C^X>%P<3uKP~cTXy;#6Fr{kZ=Q;AZ13ULa}s2-G@5=vMo)v!6cGz% zhQ{DNLjBXI==|FjVs+owKe)Y3!)s#ucgKL7TRF=Z)6%=m?#_*t6NxUoVil&Kee}!y z_vIPSA062`^~UXXSraYIj~zBP*WU+RJIJM4Qs5NbeT}V02S;&Zi;bMbpO1GsfA?uNDZF-AX7FSKm!`Ic!15S71^x! z%vfle-Ew(Pgv0BD!X2{t-5ZM27f9s9S{zS0lo!*`c0&81l9=*`cc$BX5{}Pa!1iR# z2fySKZY44i4H|pXGanzTKJ9PtM0nZp+XoX8+s)RuunQ_JNNDljlUX0*_}V~WgII-D z)08I9ge&ZVGARd6anDO-6Xw2H#n|TTGlN@Sy`yQt`w0m-EH_lG>P%mMKurZ&BdP1eu=X7UymML zk|mgO>D`TudY-)AyVH)d>GJMb&2If)xs=sY&hQ|+k#*1!Jo^U}5Xr%tYz zHP1YLm1fhXy9=-7OyR40v1Xzm-+J3E84FFHr_`H#xqFmFd4i7W;#4I+E4QdV-{NoA zHh$i@_MFuoKkF?EJthUuH;oH&@oIQp{Gt8KgzA0UU6pH{)jR@csT{H|+S_wRCbDzN z&c4}!(eVc6TJHh^*}iqlBsER%Gv3o&@0hIS#(6*bxL@?V_$k2-y*s=g225jfe|lnv z#%|FIeeII<>%V^cylGyTF~{-u6QnO0MC+WlWS$u*-F#!lx}DLlLqn}sDazgG+j;r| zW18!YfJb{Z>VAGTS8!04v}{XQ$~5;uW!*YE!@F*-s(tplTZyKpBTVdnrJJrgef{iwrPrra)g>=8+&FoH?bo^- z!`1|u!%xb$&5%=mvBgP_QSh+!?a4Ey@Emad+c9;L-ItWZ&tJ&>5@f#O$@ZvrOGS9$ z_tH~O+e2@^m~w@Au2Hi8g_rern$siZoEA*$Ts^VU`u^#YeTNiP-tJ`UifgJ)sC^;- zliO~|wdGysM*;%0wtap}zL7u9mjk4&q%UZ(mp?q0k)@v2i~>RmG@?)zD_q&FCzIXf1X`ZW-x%d*#d=)!6tMQ`Vy_?x)I~c3~7IIJ1 zzbV%qf3Ww(f`m1#6PsUo+pf9y|HrSDjUAy?>H>nEOEs7kPTzB{_tdgz{phx6zmd?~ ztB+T2n`FI4U7|P1b;)rR*?@)YA#LJW>z79NKX@G($(O!5Nol70kt3;(SQl(K(DI=n z?ub}GYd^buzu>f_XHf?}oZjzezi~&!vBlhWhi>!vM0{2Viu$|6qf%O`cYgaZ*4ygV zn}R}i&-&3KeAMUB@!WMPzW^k&u z>;AS{fTd?v&JEc)1^jc5yv%*jQvAL4*vh*HIa1#4-Tdl}kLK)vo#8wDrgE|A#!J=L zwq8?ww%Bxs`h|pyd#`>L`?bo2Z|L?u``keF*tuuZ@0-~7H|l-hWReT2+A8$wz>8kD z8JFGGw^;dmb=3z7T9x~^)caa0NUbqhsxDvt=_1pqq<@nd7WJN&6lCIcRav_A#S-SM zy=&Auem|_cQ{LbCyHAeMe_F@ELZ=&F6t2y?Rxezfdv3=baYOlZtEayO@27~Q1oZvc z+Ywmnk^WnDUS``n^Oq0(>MA>COStNMI((6Jz0msnAI`bAv?5#Dx27-96`UF`bN|K05KJi(6_Ewb#QOP34doJBb4`0r`A$7Yp*R;ruj7Cbc>R%}& zCOa4|_<6W~tI5IK2S?sc61Mx`s(a4f=EO7aQzwtEXI`>tb!27rH51ustC!r9Rc^R? zNp)8$OQ>}H?&#wuVrSOOo|@0ZPOzK%-JSsMwrZ&s4AHalAK}d zKR;a|DHnXDRkT#9eo5J>FDh=co!+>=+0t55wJC9N>!GSmiF2E;1^Xv4UpC(-U&!~! z_B(rsZZDT~$Ir*P+qkrwFGYtjpKkqR^kV*h4UfBbK1OQgitc%Qc=Oj6+Z}(MykmPV zit(tzh5z9i%S`^6c=>+PpHhEMa8-JC^_k^%UE20qigm1e8)uX{|A|(ceEC6C(x(p1 zKZn&9@ocNwII%nXwfW}6jfTlPh3+3Pc9fDkw_@+aKi(^kKU&rvz-jk1|AJusZqMuH zoCn-u?`QlAz1)^RRiSzJ-kT4a-E3EE>%H~OLra$-I7-G>*Y4xnHyNjx`Xmx3y3a~J z)n4?o<*1UW`({R|H$saQ-Yqt83|*8EUo(ZP-q9B8(D&y%5Kw@P4&ze zjiyJL>gh8XT7nw0R@0A~>IqK%#4Ei0rKz4hC%8q=WMnek&R%aHlacB4fA)HYAR4sz zg3ZVb))x?;Ud$veH@)6LPXW}|Sm>bV#cX5=YJR&-H*wUnVKTDVUgW5^&uV(jDt+FG zvh3SkYV@{pGa5~n=XITK-=UYpXgpnGwY~zAvB~s%7sZsP&seP=HQi;6zAm4!3AkgT z?`EW6Y+^dSevN(!zp)9}YA$_W0|jFf^X>mT_0DrJnV3z#FiCF(lZpBCs>yourZcY4 z*O=}wMX#L6)O7m7c72WMa(M=EOva|uH#X>NY|osk7s$wHI^D3tKx4W>fk7Ixv8e?_ z9dDa{;&ibodRp86PuCM?oW5g2}pdfMB$Cg{sCP8XS}r!`%n%HZJiXS4LQr=OUt|8=_h96hb+&!_0; zPd_zBPkZ|Lg?f9Z@0hEnIsJUEfx!0iY5FmY)8^}GZTDWH7tc8T?R-6r>DjaN7fS=7ZUZE$&IK6j~p2qarm3n8UD=pE}oW6aY{;KIKmg;Fu@1C#! zX?p20J+0|?vJCjA7p~FEoG!FNPjmb71^Ts&(}P#)X;1fGq`!W;$0|Lo?HY^q*E3F+ zS*@qF{d})M4&!u-HF{dxr!UjbV4Qw)4a8>x(=Au%Z=T+;PETvQ*h>90#_7@P^)#n5 zZr3YfGy)|q(e0hv^>ld|L5pv|QK~Ur<*1$&qv7=Uqk0O=#+KlopAsZu{~gs^#{=qw z27#j0#K0I7t))x`CfoIo>zVIhGyz5AawZc)aBzb>QNd_9U9j0eV|s12K{TV`^oRZW z8q;GN^^b#NdHaVP0~W^V{0;h=(;rOHi=V!}L0=0L!2yiZjT`l~K+&5%UAakLbNYq? zgXHM}&H9?#Z3+$88K>WD*4Lc=ce=j7^c(H^q0>WJ^)*0|F3LFlQLDZdDAHFjPS0!8 z*P32iYOrkj{C0g!Q1pv4PS@_x*8)X<)%5I6eN9mGADM33t*<#`@Yi+lkq@Tn%Jsaee@Y)BWoV_D&a>q^~voLazZoD0Rd#PMy2d>H^y$vC^tGn%1f?5+ z+4>rwbn|8UnmPI!poCJ#IQ{Khea-29i}W{6@0+Ku2}&p%7^f%A*Vlw5l-dRQ+S_L= z)6Zm_uC_>DbGp_F{Ug&B>uYWo2Pct>9O7=E+^sSF^(uWEMx*T-tM$DZc|hX|kcc-m z0Y!Wnqv`fmS+Z4d*BY^~|>jrvEJ%uJ^j zw&`nZ_ifT=W}Ln`%K#el!Py3|n7^KF0FC+MIR@aEPnrHT*FXal^Bj!R>+%d>QT;97 z02bA41qR@#UOru<&_Hv$Z<&Dv<8+rI18`2Sn%-1w0FCO9QUhpIE0-BSqdKMBKogYZ z4^QW)Fwg+SZzALLFBJxw(~nQq|31C3(m)fG`wOOjuQbpC#qYl9kE;wck>fX~#sHii zQ>ORS8o=ULrOp5vzdZE@;P_oKeNlsfCNzHa8Vz9ayS2#x5x;5E1)2@CLGinC`rT#& zO;G%Po?h8%04@mX7^m-UGl0f#OuGRrehoSdVDanSX#kGj494l7y9~5I@q1|cnQjAZ zPz0wiGMgG2Ob1m3%qE7G;9-mDU6Tz2>IFVNU|xBv`HjWw;}(;9pDf8zFK*C`NODs$ zRY~oCem&n@YKrH~ZN{O+8$YNu{M+^Wb=%>KSt5P^ii@^c%-knfwPa?Wt4-9Mo(he~ zIVy`)`Xs_nW^9!CEA^qmW};&M;Rkm_>`enE8b$O3OHTQnqjM?Y?d)rnw*PWJ{(F*C z`002(XS;ukGM~5BvB@0Mp7Y_g7a&cj4#18Yw}`7h9W`SWn74v!!Ff9?7%* z|Eh(4)wZ2~b6sCANi5s%_ur}Q`*+rE`Rq2QbyXV(OgtusVKhW7*D*jl7>r8!_dEcP}VH>9SHOIDYz4Ujd zsc z7B6m8a7}RR^W5;wck11pkNbXnTv~WkNb>TZpZj(h&Q!e_KkYZu!Uq=?76d*OV=Z`~ zme{i?q?&uNTdddpBil zpEs#Wf~Cc3XxDdtJ9X53H4)}8mB96iOqc>XdY*S*G~a}J4B zr2jimy6>cMlogkjRl>{Pr)HPE+xJa=ucr1Z>-$rFtJciqkFVg7ny6)UqTc$(4FNV~ zHI{S5;$N=Sns_yTF5S2Kqe`IAnH8CJ{Tj`$*MI&yZPuN>#3Q$Bwl16Izpd$PuJ6Q$ z0k#f^*rS@z$;IZpzEwga? z>yS7n=y&>Lak1H@A5_^B^Ui2q_1U?jD~Kd64G$DRF84Y%@+>U9sN zZ@(s%bMEg&Z+rQT2>~>4_{lb>fGSHnwBwfTEomaiO!EM)Vw>Z`%h)T$I1TT`F?+mOjc5P3E&fWY zH!t8|_1^JLpW~2VJ%^cS&78C8m%Dcw7aLjVcT2yXv*xXY;nUo?P8pvPG7rqX_iNtv zgwPFd&s{KyYS&>a+5YNs_{1ridhUfY4D|N)DKw?$Kj(PBxTPT=xR#~tqs@(@_FUh@ z?xe*kZ(?nB%#?9;)^2{?+fv7M(@9Oor|<2~s+;rNXBpp{HD&(iv$pj~Mof$g&VHKO z|Ba95lfwO1Ycwn_crtk8AH5mzDq;KW8}sKh_BF98sjvt}rT2dey>};=f0v2YUQ<(E zBUaNG(fdv-|FOK!U-|Itu{*pmLFwjPdQLAF-!-s0e|=AppHkq#rI9oDA8_0lmfB}( z?{(mw2LFfnO>KfAkAt0*UN~BG)K7aCWR+qVarIu%@2t-@&Mv>S`qX$CyX4o!A8ZS) zZ`!=<+^Ic9^~>k(FE1~DH$8CeUg7xjr*hMCc;!Cq3pUpX3ZK=Z&KV(dab=3%g!Wha zcAVV%B1Ssyi%Mvpsvm=~RTsy4bA^x@Ouzo!eKPy?saf||?lQeu@?w({N0`vhDP9Ze zk1YwRnrh*qbdmoBO9aEppk0UfmoX(jZkWL$fBNgQDP8%;Gz%`gzVl<<=2x>rvf^_N z*#1zQ_ppI^Lw!?py=UVRfenFo|Np6pefO%g?lOaOrE5s(#%(U4mf3DnkT>7?EGd*x{9|zZ?K9I|ioBE$=(*`<&R}{yeTn<-%D}@R zB8CfY{f#`oaz;}_)8bd&My`snAm0xjRK6a}Wt z-qhCrplW@`?>z@~yjqX(XQwY?Ji2%O97*@7b>%HNo||iH96xHfsjL2FnmPN2LCc9N zQi~V9>X>DFt9aH1johjGwuh=tT|Pa)V)OT8cd6PQuHK8rEpH$ADm}>d{IC7~bZzK^ zw;I!bHpDOOtZa>a*1Gpg;)>(j}!=-p4oWsMbBqwsPIv<>k|u4$Ju8mN|JKK~g%luGg)S)$5?Q zlgp(53xD0{?5J>)_Mh zCF0jJe<{CQ_a*h;0)-78C6`_q8L=!}oUm_ceGH?>T)Umyj@{e!g*|k?(n4cGqOmf;T)RwX0;>57=vmo7~RT*8k~n>F$){ z55*Mx9T{e5@lW|&^!(AbO|#P&+>9nW12YSF>XtUFLjs_vTXhqxXKF zTW@jC#I8}JzWMwEf1j(q4fCs4XB%c0dvROdPg)=S^L6u|ugX80A2#yJ8+-g^=HO7h zywLykJ~P+8z ETML-hP5ar;5|YUC!TWdjPLp$A9WyePrZ%i=+bz=1GIwQ>deUPj zy^Olpr0Sh(r$3t)6=N@8^lAH^(meqS<}Ff;$XQXi-LSP*@lJiv0ru86??sh6L)d3} zvzzfabsaSDR{Q9YRU%;L_@}NvaYaw1!jk01ht5X7Zd!1^&8uHI{jg4i_=Y?4zt+rQ zReI(wY{SVC-s9(zIECfuO6}bi+*xO?8cjd=)lNO%ttGqR<%nTm{%(7Yqpti>Pf}+0}Bp)<6Nwk=9SaWB~r=xzvlCUdw(|6e`96( z`}pADmk(-e9zL>b*6&rp*?2jtBGC1=$~E zuWr*yO`OxSgz3}6$*kSylLgts*X!@wW4%A4SzmD9qD5uvq?IXVHge0nnNky%-N!@kvO_n*|49&!}8z0vr&P>597>B}oh zSDf4ZX7#z^6WP_>dk*fN!^m@-QzQ4v*{@qg7$4sBxN~;AN&k+ znjdY^=jpEDR?1%7FZMWe-)D!L0or@>xAiB;ZHhl`bLHTh=l$W`;a9vOpNYn5UYY(> zE?(`=lS}p49*>puHJ;q#U1!B8(Dym2sIsv0j27du3BL1u zfwk4^bQ#(Fb}mrV->1B>c()UWc`yI+SNo@zOgr$>V#51(ZU+oirgUY`w@NA4xLo|M ztRl-liTRo9s`>Md*Ql{3v-r*Oe3|OT`O0KP^ohVtMp?3H^)3C!f37{rc6ffkjw==O zA3xBOzxPzAe~)vBvf;AIKQYH$dmcv1H$F;b>2fhx$=~&O-j)y{_IQr!`)AWKyGuJK z>~QVe;ch-P;Lf{ydPYJ^xP=pwq#NwF#3TyDMkw{(_`r7ko_OSSjfaz_8^6krv59&9 z^|87hW0cyX2`kO&@2A$cw0>p__`rWB+|{po-K#wtcmCJ!=-v~t&U(H23EMxazu)L) z{dw4F9rAZ|-7E2RcBxWNtOaK(~%|{85S&R zysEyMrN<}dNy^Od!yiqK%uB4OxV3mrN6YUe{mFI$6ZU=HDOG=Ds%{SJ!b{1Q_SaOe zvS~h_w?ZQL3a>=4!%-!F>7-vBA3g=YQhd83>%G(oOUtcR%l{adr5&q3q~5!tDEOV` z_U4wqS07B3zdN;v;azO`Z!-?*g!{g^;WNBepIR1kJ-ThTRMfYm!cX><9deE z73|D3_zd9_$i^0yrr@4f{o9z=`M2GK{;%8Lbf7k)$@=Z@$R}JDo}U>eWeYs7+Uwoi zG)=R6t4x6;hmNBll-15%cxijaAPrr01Md`DdvDs(CZY6H3 z$+uFXe)ueM=bowAx{al$Xl9t!<}3aC5=_?dgRs7Z1Sd&d&Z3u{vyj#h;*$gtRo1{%s84)Rx#n0#^t<6`G!Dsoq6#A69P8t_+$?p5%jZq)OYX&Tg#yx^>qmi`#J3t;?Yyv!X|mXNB~V z?<*R7xI_#i3PUcYvYB+SeZJ7OWCPdt2Cb}nJUj(c4+-mUDBv_o5WKc9%^`_d$V*Z+ ztmCPNYK9uOSJM-R3yo8(&OTN77;(Yt;~GPkl@6u_WeW_qn{>)DE}pT1!`CKTb**`V zO}%%_)rmhcY%VhFh|u=bda>v<~rNj z3-10b6Wp~DvXoQ&mRTzOPz@GT@rw)UHE4a{rS4eiJ?XK-iAK?q>ks-|_m}7e@Jj4p zklgUHl5vgB3kItu+i5Do9;{y&#ort3W<7mCV@>_lNi1xN86pV+Q$8?HU@?80;pZ;o zZP1dduuI#sHnXOQL+p~qWQXWAZh_hsz5j3Uthjhic^2FH4EqZj_f{XAYt39|U%hf8 z$3)xnKluOu<4yAOmC?sD8-B#5zKc;_| zPx<5eaoM?FQ}lY~7YqR~43kyB-O0^_#R{DYY;-_CF8P;n}^PInQ-SVTEGw-jx zm!hBPB&{1fFJx7U;=V&UKbf2pl25YzdAMlT40YYvv)ngFwsOX)*?LR7Dy!WUThcFa z!EUdFX!o0I8v5d)Y6q>BZI;jXeO0yZ&#cc^YPX$uKDlU1%GF12j^EzCvCVbj^{Yy| zjrEQtD{h$Eq8;GZ@?pm1!1{?RlH)D3TMmgv#b_LO5LP_Z*WN>G181vwuHab-tK)kM zgYT3+zHED-lIO*Rm5bULFZed^~`1rQ@ z*Tauz9auTFyJTnil#`4n8vZxr{tMIbZISenwGY(DHA>0jUSxhjm|0 zn)q#U%~AP}$N${(zGe4F^z8w`ZR;AfzI-U^ssDH*&0rVXuPN)yHZ3rH&^O77$zMK9 zU#q}u_t%V=P}61FGxp7mo!U2BiRtsHl%i;*&Ao}qPfl_i+|nEUF(PhG&uQZmEZjbI zHa=U-bPj#cSUt1-OU8s_2W=*~={6yW2C3UaiW!RCHM+_vQ-$0T(I1NXdU%B4)qBv%Owl zyS!(f|LUr!c`55nFQ56N`hWqtRS=Wk1=?*4Y=PsyCQPZr15ciqgic3SW8?%8Rj zLg8D#pa1#YovcyrV|!BEZPiEb9+}^E-IUrbM$YKjot|+ku6TbKh_^z^yuoE z2VYZoF<^ zURdT#oUmts?m_h*@;@!-f9(2GU%T&tcid<0PZNLM4wtRA*2%2=2R~^~<03pS-p1NAlCHe?E5A z+rK)o^2dz%rc0KrJ@s7H@MPih{dES44{z~uva>MU_`RVgnj`b7yV8>`25Z5P^}=5? zt)k|CW?i*y<+Byr&b{2Fll9u%O1ksPw!7S{tJW5nIIWF6yhr7I##Wn!x(~impdWF!m5?@Wx?ZFo{1)p4&h}~#lJn2xeI1d*? zqPp#q!JMs)x4%rg>7>wM*7 zFDI2uuJPdLNK52fC~lj*HskmPPu3+?bNrq6sPaf)BR>Y62QjwVRoe)Efit$NzDxhV%v`i87D=A1l%H+FYmiu3D|^|A_1nkB6) z3nw;~doL>G@l?C!tu7qvx#?2B6ZaQzup2y&JD>W)^ewYiLkn|ANak>z~!Gc09gfo75Mb%Z^{TEVuj;wu=ea`-pc} z_@0GV=j>mUmA^)N@$IWE|F(VoojW)4sAIZZ$+P7bX6mNN`=__nmMps;p8iYUBfYKu z`|C3q_Vdr(@p-&=_Pc0*wz@4m0afWsWxBuoI$$L>MQNY0{+(-kyl0nu3=h_`s&P1# zD*R*Cl+$JjqRNY}i|?%wc3AAWAC&U!&7Ti z6MHtr3bpkWF3IZ5>OLlN^@1yt+fhB!2(a8vZ*p=I-8dXO=sA%d?wazPl=&bnV^MXs%`9`uESgdOG`M+`g>` zOEzR5EGdvaSn{FPK=zQEf$XCwgS)AAf?HI-nKK)HQ97~!j`*RKKJaCZ;e0q;jyZ_(0R^jso5E0cG<`{bmPahJnA*O){E$Yj0EyDyQP zTJ!6Io9AhpDg9*=T?2eIzew+tKXxf%U8z9HFXnJo?c!?wTTIFwb9f#I*4~g26*ib; zcI(u)f1jlpx}`Y@ zB^~ug9M^EL3+r5dayc?XUpjBy@@-P48aEeLf8S?om*$zfa>a}3lHV?DykxLGr6@q= zZv^L;sf%nFd^QQ!`3v*pd_FlTpj9lSLx0U(_Rs|@X8VV;*6zG>D}mcv?eg?P<{MI` zKV4+uYnIb_0&+!hO3>;A}I zch!S`Z&~7wIU%2)E|EFB(&D%G-}2Nozc_dTHpF!t-ZH(wB~$Xo?s&ahS{^@+&lCE5 z#&NRr%MFp9PaVF_u&p;=Eig~taM3nr#lry{$?d-%aD6{=QSqI_yRO%&%wip^<<9$y zO|)OBJlg!I=;Y_gTJdxEK7URM?ECce!w&u9jHLf3`WP zzVl*$ot;8Tp%!bIm4(>azl(L<4_@|3+&!VkPfp3t>CUV@vajv&&8Ry!{ix*0 z|BF_wKKW_R!s5$ww<*1Q=NHdd_n-eq4!c+*>rUkj%&ba_p51NW{d0D%yO>M#Ug-^` z2CRkd5v*#jWE**tUhDe(EsH4HcP;Xh{Ut^Asi4*OsO#`eO)RG`Twx--{oV$H$qCaJ ztS}MT-YRG~DRBC!4F;myb&?JDa8552G!)(bH^(qfaJpEsq4@TuI>Q>i>CbZv#kPy| z8ouM4o>ONivR!Pt;nV)<|9cEYw+pBnr9@6=nrni#%C;PeWFe6nvPg#r$|~*i=)teWjv%Tk?Z7SKpm@nNRJ3$J>QM zg&aOt>kZDoWD#W+RbKc=B*f&-g~JjNUhN#O57?G^6eK^^O8&ri%=zdl<#eairh}0V zD>vSlswFKHvc}~UQ^*4Ah&3-xsqeAw`K;-LkoHdi!T;?!a6f7v-=EXR%;K1}LC;FLlmV66fW|>l7BBaJtXx5aYFVa+v_y-ooE+#C`;0S2P3tgkCMO<6k}dEX@l zHO;#AlB1$wR%b!I?nd6mD;`t%gF>Yom}H9-%q~f;oZ!5`6$g77sS^(t=b@7c*&uaN%N4Fh54}-(*<^( zvl#bwu3LGwqI}83RV}mD6g+*xSU$O7nh2x1av|HQzNX!b+dM4q1lD`=CY$tJ5GrqI zlwGj&=w617jF$oC6QW+Owdt}r!>lQIonwKq;O-A>9-Dg<^ab`zJK4&$g{h)NFF6mZ+^My*SpMetZ?1E;&SQdp=Q0^JH>^*xb`L%U+nCbF#j^^Shnu`opUC zm+H(7(WqM0-crQjw|Gs>0Yk2Ab<0CRcdvgz}H970VYC%1TWR zUnW{)t2M{9UgA^ir`nY)*B4sx-donzIZ5$(!TXOh_(Ha9;N78q+UkazNRgph^Vzp@ zQ;nLBEJ_X(e_YuUI*nz9l;O0!X9TXVbXj^);_aWWKh0|dVy`g&+4oxPX4&8HpYJst z)8aO6&+*C#mbjMGX!NzS>~h`Gi_0{Voq|Q2Pne$IO-R4ARrP%RJS8bLS2dn*+R}C# zY}F>HI!r&Py!O(L<;vHTU0NI$88&a=xogLNFtyU^uEXSRmey0JKTBvS9+>#nM631^ z@72CPW$Px-eQdb%=yh)EPV?;SHx{@4^{{NM(mctPW75Z8!&oni1BBNs!S1?v~Wi47Y!GK^McI6 zD<-y^NBo+xK;Lra^QdMvR6Ke~ zTF6C7G3wLtiHEFsA{DnUEaM7rv^9)4`bFettIupELpi3278)zvw;3oMkybLP-@(kF z!@=or?x4^I!BX~DGp-&IU)O)**8+`*o)vm>kC$$Gqm*7LIIVHX3a$z!=6NT+It6q- z+_Fe0uB|g@l`KA+X>Rb}MGIOzWneQp>>iG=P*P>3{ z`_L7Z^0?tT=M}9@MN96i=@$B;ai5L7c&$vTN9&H9wIT1cPei-lxZwVM1&66_hKF^`M0O*>!3T$+1P z(t&@;qG#T%q|tHpe1kn&NZ^mV%o{%sVVWfMY2*U(OT+wy`-m$^IPS<2eH%Fob7l} zDPkS?<>S&v#Wxovd9M5*!tiAE%P)s6bVUhWQu*F7C2C7IqwXd}+YMe%3l}hJPI}t2 zHB}+BY>LYDFsDG5haW;J+WQ&ZgQgn_#=E}cID5w_Omme-pU}$A2{nsMDvTE#_jr;a z^y##8tBJm+>vQR@IcoK_4<~q73%f2YvaRw}6Ij@7(RAanw6<$Un$`-Ql;tzNO`D#> zd(-Lpv?=1HGP1?7>{fCCB})SDn>}`1`#|e+Y0*R`hFRBpj@C&}$bY?JOT~ms-weGX zn)!eFZ@aT4Tlvt0K($ppF1#CsHs4*5)%!f^!;SF%1qKe={!H0>Y~xgg-1^|0d+*|& znXWv;c47P1Pwx&&P2%VbndoNGQymb$`KIcUia8GtYxG+8U%1o}<8#z&i`Mz`^X21ZQ_n|PR$mFYY?WU-Zme=nH+cYUxw)f{{o0!-2^O(#1KW)@6oYH2(>izCw zbyuXYYtn_R4>?VrlljumV+9fyi9&SLXEH_`oy#u@a`LypziQN`;JH_-DjSfurU4f#j8&qJ^b=1E9Ru~$1=-(b^Y(7 zWII3C+i)^jM?8L=(YOBhpXm~v{*Rn$#F9U{#&oSuQmPXTe-!0&)aT5ybJR&k?f#Jzr{pIYl0~q&- zHJs^xeERn4i!}^$Tpm2oE)}|O<@_hRK%we=gD`i&6NY*ti)D<*RtU}TXE?>Oz(HZc z=i7XX{oWpaar^!J{q=QhJ^Q3|_s^?|?pw~yP$IqgmeTqk-xiljsJ@&QuI(L`x{x)F z@8hfX%DMe^{(5fV{c6)ozg~W_>Gb-W-S?-TkKbE0{by>@Hp6Ta1MkkAOM8}uRNbDs z`sR`^`~laE4;M{%Xk7nM&P3j{uFQ6yOy}&6HAcUCiuOtA?klq_|6TC!-IKfR+wYfK z@XwYEpPAqK@ulMrzN!iD1JAxsv0a}i9~W<5`SanE<$UWiyWN&Yoj54l5h=?)b8ctq z^xb=VE>FJx-p)qH_gmWGloT_cu!UEzEqt1rvHo7-Vmp!kBgr3K=5z#qtlwLqHLvse zqt*(|xK8;a*&k=6{C4{j`$ywmQ{R4O-Tw-8LiWvf5~KT{KR%km*!K2vP07dC6_uv{ zHm!MGyhqxisr#mA#INp~U%z(DIrO8*?w9Po71cF=B~9FVmjC&B`|S&^Zx_V>%;xyj zyfA)2Zke@u`lqk`v)4b?oN@90*|?{_>c!r?EMcl+-Q(>n_|dQWB)kUILBZ6 zo>r%?{QqzJ^z-xVazxzn10{Od`s1wq%Ulyrl=4<=;?29a+i`Ct%dJl`C5yg(i}%!e z@?5&!QX%5BsQdHpMt{=p+uPOGh9y5Rb8c9F#@;~azUT4lU#5Qh-sa$GpToCI<&$1{ zwdD89=Fi{z&AWEzr|uoib}`0DocSk}c2pO)yA=u-Zw)JtymNY)eNBDUuP23PABkO0 zUF;}k`u7E6YMeyHkYTrpEvJH%yHcq>-jsk zy>w{et!qA-Uj3hE&7bTIuit-`%kwSCu3Nv$Z9CtS?CS2YZDx!2T(uV4&>Vl`^q0S1 zUOahT{@k=Kx``n>d+osuV)aLh^Z!h`b1-?+{x!8vXCHE(*WAA*Ft)Hh`;T1po?Ewh zckME3lq$;6;QZ(G??64<=K9ya^v-QB`y8IAAN}|6;pOt@&UZ1iFO&`XHRG{#vwhpH z_DkX$XMeV4wUT+Z;6|A9Y+om3$=tjA(ygCwJE#P@3r0WPIKBMm@Am8I&-)$Z^4%{V zeWuLhe=zNUd_|&I&YJ>--s!t7{DMy%I_kTrf^k#Ec7M(0oIWe*4|gq)K!1l=I40-U*X?O&{+zMmxWJl|EQj+D5Ax;^VHo-!qz!6-OSBD-!$)A zl)o-d{QBgVZx@~Z80Yuq8*;2oYTdtLRo|c>3eXO=|cT%Z;ig}Q_ z&utlY$rUf(eqH{t#&GAIO}W>enry#(-r#GJnf&%=nO7~2?wxbg|NVShtLk|h@2ff- zieJp;ymR` zVXx|yWUo(cIB}O@qcnr0Zuq&9>yIyL1@m{BPWzTp#n}1ii_nSLH9wgSp8ArsXN8^C zenr9cTeA4LHCk4ctY}`Y-4mt#n9Fv(kCyB^tMf6Dvt?_at(>OmDN?$}@AId+1-Wk0 zec!m=O5N+-a?>Ykft2*u5>!xf>omyFBe`!jn0EQT1J$r)teS_t9%=%tqtYBG+X0 zm78wsyWFk8T(5Fh?pesK7d39p`vvohf5w+ho_FbJV}2pep4%mFkMN$j@L{3S3tusI zCNH6ti$v2yzdW)n>|Sr7u>3{BQ672k4$FUkqIJr5&rcB#`gtur%)$AgM|n#0r@+Wm zr`iJ{H+Ss+CDQe{J|J?H!qH68EfriBn=4#PkyiC~_vFISs+ahc}sjUBXig)IWD#FuMG2i{c@Jvo#j#TOgj!uyPQ^^~J`H8-;#%xRy_A10gWzfNFLNrwq*jjjLs z$Fd!FJ{>!t)oS}w>ayYmv1{A+Yrb=MFpd59>MviHthuXD`%U0WZl%QjSK+Dghh&}C zaMjOWe@T(!PL;y;U4d09Wlcii3^zU}y1n(kzwPnn&`(u>9Je6gde6W4r>LowVUX1CSWyzAt-fhf%YK=8Z>i16L-JZTX1^+l6sr+tHEU~3I zpse5EGT*VHDA}eh)o;(=FxiUfZf5P57-JX5%X+@!m-1)qZ zTRwBFdtSmOzd5+l@aLWtc4|USOK(Ix+Wq~{S@nsc|Gsww;FxruiL6`EUcdKXZ?4c<1#;(O@5vGe=`5_tQQ59f=3D833&z=#X(`33f^W=)^sdv^BEAK$ggQcniQ8i(f3 zh?=kdr{TY|!78)~GaD z(|wJXes4Yf!Dnw;TJw_oEh)JdW=)nZIoZI7>w`V^nE2@x;K6E$ev%aBepEl-rt(l?e^tVA~t;|NI#?woK%@n|l8Np^V z84W>aaY#!Vn{w&9Wfm2eC>U8F&gC#PHky7Q%1pDqHzGR!wwXxX`SlNyZ5MR&y=Uo4 za_vq$ye;p>)65smNyZzcZgZum-v0HvoX_>-5*O}T4xifR-)h^%11C-k_3=t;IN8Ml;1(7wX%hQt^nO&zHjP68&u98BrAR!Dar?DI_9nRKc!P4~h2gaFTW=93I_ zjy5JKh$zmgZ!BuNC?Da+d}@v1_QOpvx21bob{whM#dK`yMvDhMvl}>6Qf2s5j6xci zTXRGwtuzr1@|2NCS&f?*=R8kPusgOy(^ApQl|?Z#vV@V7Q^D*Z$G&=oNeqV1 zO{dDtJ+(xH^|Z=tw*yOi4Q3Zyi)Zk5ICVl$Kr&Z4C+%zO-rI}#CEK3vO=v59zK^?U z@!x{>x3zZ3ymOcyD6KEK_4D1Gd2XxEtg()<+IRR%M8Eg++q<55Y&#XiACmT2!YP>1 ztoi-!U)}aHe-`kz`OeSM4$^ar58l0gcKzhz2ef=#)-79E+k0?}3Gb6>k3R~O2@G+CjnlP9MnDl8=`={&k|T)zA9A zuO>4?)3V>!l&_h+VDgJuHL4|F<(xmtIhswsea@qb|6J>a7}a(CvBFtxY?h_2FI;v? zRQP7p-@j-2{H-0=rJqHwc0YT0Qr>_u*J$qNs+Y6Qe@%Su|NGm~Pr_`$I57_AEI%rSjWjiGAZVv z|JTC`%cJIOn0{*U^`<)w?aWb2e;$%Pu++oi@8(%0pPK7E1wBJniv%7iDLmpAs=i+P z$Oc(11y2uauO+63ulcOJoRWU#<$^NJ1uw6ZrutPGTTa!ySoJv5*6K>?E%95kwV2ZP zzn%T<3$O2l0yAdjY04|kiBu+DJ(77a$0X1=WZtA@DQt<(U)C6$+Gfn*ee1@H&!6w^ z*mL-*gKk)qQ^K>oPwHpQ$UME$N$^(rsdI&rUDgqgrldczf0(u7_zG3IKTn-p&gF=0 zRB~xw*^(9K!5^+>emwWXbJjV3j;fwFd79XKn2G-~pRCE|G{q*E%7VJVlzTr=-eiISQ1!3Q#TJ2ARz zx~=u#Jo8L3J4l38V*8{Z-C#BG>+@&H{#yNGUEoL2^^de&c=O+V*x&r{`kK2}!{Z+% zt4bU5zP<8MYR%)f;m5u8|L%U69k(vLZ_2_Mefg@t{EvQE{dj%n{%_i4zr603+&O6V zu7G#LwfWg6?S2^l$~s}c^ndlIH{WV~?_O{J)@b)YuHfC&-uV;u+kI!>rJ@#Jl34iS zWAT(f^_k`WzOCOZKiBZh$@%wK*>sL2ZvD^L7kqLvwxZZuLYVRQ$-GZwEXUL`clxY0{x{+w=Csu z{dR9>?t5Kb??|pxZRRO!1Fo%NWL+$AfNRrK(*RM;t~ZMkSOo(oy2S5epDrF>Q`p(5 zc5H@3ueXb@56`^+8~OLod0(#^n7}?%Vg&`4GAw5fhOK3 zZ33-{4Ug)LPV%N%2wXbBt8CtpXeF?d!&3Uz!8MN-J((f6NjPLG(7;S+`1 z0>pUKrz@mSpU7+ZBZ)z;OXQp~DcUJd_wdGm`eje^1d6gHra80j6xiw4 zHr1dnX2zYYworq4F_Jq&dDIh7)5YgX!!OO_i zM*s98wHZe&(+-JjxXpEd%S?J2(_f*uV?7c_4n9}9e$eJcOQgZ<|7M3xX6VHQ&YfGt zcBVxvf`d_~VdbNzwkh?;&oV_Xo%;FK7E1&1X9sKiQg*s-keKFRt;4$e&eIJ{VNUE3 zzH4uM6M6ITM)79$EZK`{6PK6Y*t+Jq%j$!_96GKEwRYZGz?~s=oX6eT>erQv2hM#H z)P0}xeS_zmw~}RDo97<-SMa5Fg}2h)rQ5o4r|bA#QQ3IW`Nkez>4Q;M_%_y`J2&mb z);#H3YKhqvx21A8(tG`?t+Vr`ZanpV;YoVa<-K|7#2Tyx_2 zT{-V87O2N=bg_H4L1ypkW6rGH0oBL<6>PIV=Jn)s;V=hCBL%MQnMyBPmp&u07b zR>QI~ldYSJZdKmy%&FXU?qYV|x?+<#(P|e1({n|mu3TKyCstard~x~Q&`VZ5?@D5Y zyq{GH)z6O0%bm!1E%CLg*%#T9Nvcz-EC*9x2 z3r@5xoN$~;yW^7TwLSOvBvm$M&eoCQaaLeXJK&=+@y5lLxR>qwD}?sf9e@1Z?tey8 zQHMv)_q6DxBFCHzT@qEEc)tnRwXW#ZHd%8nt_1>a&VoJl6C>^`*{*wU{s-<>m8@A&y`h!rYxYz}?L2(2eDm8^>IYLc+{Ub%4;Af^>xC0+mG@W+n?uO{Q76@FR8Ec zYa72$IbKt6>M{3}+}%^v?Ev2V@#w{ZK^!}Z^%DBn`}ck%40jn1b&W<7P8b?Nuo zPjAYerdZwCEFHtroye)v`ZQto=4LiY2a%5YRmaoTG?hiLX{(xUy;UdoBY=y)MP$iA z7ms#F0|}`_4xUyX52pC`L_7Awyb1ZMA5P%4oWT97#&`SrDl;ZZuBZ*0Y;dMsLfW>Ju5&dHcq;6IX7^oN|mvW*7PIYkz%19xla|k zwU(CMuj@YM`S$p6-BpuzZIRcN(l4ERKgz`MmEGOkz^zx#`$vT+fBkE&+vRDr{_3I~ zD&5IqKPSo5-(J+B;=f#H)zl~cuXP?No9+>^QrTJ}y0byaf$dvq?)=MB^cIvbF6GvU zb$H3-B_6QrfZfKovu9mmMHc^kM2`7r0MpV*S@I7(S3Q=0Z*SP!`+T}|qM1Cmp{2P6 Lm#V6(zZ(|-vlTKA diff --git a/doc/paper/rotohsm_paper.tex b/doc/paper/rotohsm_paper.tex index 8dc176f..de1c81a 100644 --- a/doc/paper/rotohsm_paper.tex +++ b/doc/paper/rotohsm_paper.tex @@ -362,6 +362,7 @@ tool that follows the HSMs rotation at high speed. This may require specialized even a contactless attack using a laser, plasma jet or water jet. \subsection{Swivel chair attacks} +\label{sec_swivel_chair_attack} First we will consider the most basic of all attacks: A human attacker holding a soldering iron trying to rotate themselves along with the mesh using a very fast swivel chair. Let us pessimistically assume that this co-rotating diff --git a/doc/paper/rotohsm_tech_report.pdf b/doc/paper/rotohsm_tech_report.pdf index bbb5427926f3e2f102c72dabb7429902ba1e9b98..22a205ae1f5ac129369cd943c704f45d972da245 100644 GIT binary patch delta 16819 zcmZqvz;^5%+Xf>xCQF0OCTyDo87($H7oR0GkzZ?aLa^-Q6IynRCX?B<^_h$eCtGNH zGn#I0(LTf~X0BkMke`&rWn;so?~|IBUXr0;XkF*caI zAWnMo4x>gMM)S>9_J4#K%_a(HPEH68W;B_+C0L)y)L^oOw$)_$5J5)M&4wX?oMNU} z%rP~aJR^2Lqxs~BI3ui%F}0YyATEm0a`NxEVm=eNBaIC#4JRkEXw<)r&Mv-fCiZt- zd}F?JzPrl3{yz21es^rrZsi^GE4#gHo@~@2T{WSViYqN{#_xaLG%3e&+maBkUpIV| zn3)cAH&^R76f>SOIA>$*WOVRje3o0}Vjbamp6fok8)WWDToL5tr6wDEjYW<5@}zM;+IBa`VB=ql^34(-hAy+}LXKJfQ#Eyi>BqF;Z!n71zGyB)BcSvyi*j zZ%)E7meX@uGFppDo;Gq%&=qg9w9#TX6`7VfMS!(UOOTjVBAHPWpmc@XcH-66L-ua`nvHp!b0=lE9uB;8 zX@Nq0)I?{_OUr@^7qEn~W=vB#aJRa>eeai&DZJgECdtYfJ$de_Q}r`(mhs6;$FJ^K z<-h!D0k^y(RXGpM~1y?D`~a+OzoG$u%-tTtkoL ziNz<`zp88OE}QW4V{s9$z_~bQUY~%tnCJB_zdk75_N*71$Mx<1t!&>bWzXMN5`8WH=)X79*lXtg{~!PPe}BUN^`GnAf3IHq zCO@O(&MWC>@glmfZ`7Y{lTWuhYW=PvP5Swc&Z6U66MI+qmu`+;v@K3DCCP&QY5a~8 zVe>9t+q}N-qj)*bL=TsoZ>y7QN_#?&cl0av{eLC#yR0WRu7<`Pzt}x)hG6=qMp%uO0F=w@v%<VXFGi4I+Kro)();V+!%PeW;)E^Qwxr>U5i^H2s7jB~egKkQlQmKyA6edv8Xe;=RX!pX&_bA>jvNG-9+ zNNa7rb?xBEW6vY+o}2YI>NLk2#(z?L2^SQ9ixqfz^u4;NE|co==tWu^ll=K9A3ML! zT9+u4|HaDY@U9t8wmzv*Pww3DR`+7W#3S6x6NGm?2sBej?b>}rs$6~6Ro`@bjVXRj z>6aYYr4&qNo-%m(@Me9LE!S3ek%Q_|-V3kTah6Pz(I$~*2fheq^%pE)-4zvm=-{4-N!AvVPtK4jo8LW`?Qi%a zHW^NfL~V=tnReL*&bwS5s|DT&o7(tUNFmYS{B@?R)t?th_I&GUPup_2{(8k4|3_PI zr`hDc{4*aUue(}dCncWBH)&2S@ z?so0@q{kUCX+dmmc`V zcIDjfsoS&KScy!Bbz4tXiqb`Ga_4BqR%viHHV(%BuiX?F^&eah!wpTle-*nX7 z$Kd$FFpQy9h~Q1yP6}l{(5-i%J&m~^KE{A;a6YL zFTcipi|6cHJg4NKT=2o?D`zY(nzt%c?3a>TFo&@m&!$D|B%X2I;Qamd;ELSkXSZic zb?d**skhQ%^9{N>eZQQH1AD35;)ThVel&Cl_NO?5ZhX_y$N zB(sFeXV#jNiw|CUZZE&z>fh7Z@~gL5xvsfve^NjF@tQWMk{hMZK-t^vo{#ks_ zE1%jq=FPiiYzvjWAJ<{kAy5d)LG% zZd*Jf{KUB?`Q9&5LF^xo=S*5JtuV{xq}tIR%+(HCdsZ!cuKxJVrq1SNV*QJpH|}d) z{6+NH{4aCfDd@aCdj2-g#H)domggkf`AwNW8HBK%*}muZwdssn)pLC3KRx-{uX>x*B|=E5FCIDzAUq>ggi${7$ZCmv3kb+|$3$ zFMkflTg@*QJKH{6w@(#OImtOegvDV-Vocr7w|-nxHIB5LOOQXNGewBoI^@}gw+Zrb z>>LMctc4Wc7+w?LU}3$+ncdJNt+wIUrQ6!qq&|dyY`y5QU}8k$8i$ImAK~>vQr_#$ zE?Vt36Iy-lbJZl#iMnqE1Mi6OCdsqQFH%r8{Ni=>*oAcag~!%f^r#UwdqccU6g;JNUrsZb-<+iU#__(J@Z?lI6-Q^=3;m(ryf0^WzO%itm@$8`_}?Yl zKQ1}i@HFcG(pa}cRv!dq^Lq{FyLe17s`p9$$X)ZcX4U44D%!3ee!D1_IO%6=owxp_ z=6Xmq(C)`1j@J)*HZ3~y(Dcr`%OOi-WI5|6B)J5{h#+lo|W7@&p6FE{Y=%oS(e4u zx-v4;>?gspw=8EZ)|m3}q3xP_`Tq;8O@6d>v%coH)m>z? zZf@_sR2#Ma{uwVEd4JsY-70$ihpfcYqKU^(CBFEOzwyN481LUdx9`7NY~HCMEyqx{ zPPpoz#k~DHzp9IgAAP#!++;_yy9Hbo^UaQ!x-(e|>mB)fox4g=E?V|@T~5uR$DMC# zTnZgtUVNDNM$xuQy}tfs=C4;zENiFn*{|U$`Wzx4F6y@YZNe1ulh#G^mt0U-wQ&6u z+Z&P_kIhOrXuh>c_VMb!HW!b*ZFL;yCw~HsvUT2QN#w zTIOCklJHQtF)lV%^{vMG&!-n1RGQDT%G1l(?5W~ZwYhzpHmz0rpSi&)>2SU5^4+gz zn3cP?A9QnzTeg!$zqmf-#jOS>t{PJQ=8IM z|GraQC~u;%hU;FJy-dv7M@v~wtYC3omg;=aP~^sfMKkw4e$s55vbe3!$5Zl}@`k&y zo0-mZ*4?@Mv+)B*<(7ZBay6k>ej5DBYp%ch+j*An^2dAbpZb>&;`4j+r$rU>=PrJd zG$;1!{gk6WWU61>{-+}SCQ*;8JN5AF3d6&K>>Ni}Z?)TB_DJCTaF?M^=f(Ai84JEN zPdoB6aP33`gmF$i+ILx+Ky=`(%<&MvH{+&C#{5Q2WjuxWlf64otUN-gYtKDXK z7vfWL>knVwByOu=y|r;dh-k^qYWY7|K?zR3Vt)RYe6?9A>3oAlqMTpvz6IY8n)3(h zD4%D`EzRC`k$JD%|NOi?QTu<$tIu+#TEwB85J2tHm@s-1F=Onm)_7(VYC3VCvX45D{W|O0qZ{*D;U6-3Ko{87T~Vb+LF|WDY@It zJj^*f4qs5X%gZmzbVi6aH=eO^- z|6N^w=Xl}z9p_5dm9Bf8lzQdj^NH+-a}=};#8vtk^!KYc+&*~o*j-=lXNyiQX5U!M zZe!tE5E&^dD4=kO@!2947bg|QWAy?C4xCI(99&E+Dk>@kk&ImiJIoIqJSWHbz~GAU zvnP)p{hR*0oa?}`-}cJ<>UU+{#4zOW+sg@P@Vw(GbhLB$v!4HzvjW2sTb6{^46O_z z^Iy+cmA#tDB4jHs<0=7h4kixP7dvh{$T~3ivI`tJ%6o`&L#ragh5ft?9M71_e%!5} zCH9)r{*CMgvNNPF@wOB+C^PbhmQD%z_pEaZyHfr2vf>I3=7eqh zGZQ3E{4MvcPvSS=4^+8u@F;IXONC-~UN{^O65zjsJB&{rlhf+rRhUZPkDO_n!aX5?0vmw6*aZKlg|4 z%*+)Pi3tq82i}{rak>17f9a6UzT*4;f(P?Ek4@O``Om)K%ESZhi6?g7u;n;({`CLt zmk;_LJ;=>;tJglrU z#1Bk={*dhx2UjPfi#%5sH^-0v{8#@S;P`X;8k3SBUmU~c_Gv#^|C#)gzrSCnyZ(U2 z?uLX1_jfPqXW7*tf9>^tnfm>Q70Ov2IbO9l|F`hr|1JM@tXLkgGCtHhbI2hmu`hGx z%M;&4b}}#aO0$h+%3yx@;gVJJqNW8|5$Oq0PiDC+{d#wI!M$IFC+DBNXZ-uaZ{6PI zx1D4C7rdFPIpJ|lRDIgHcTAH~w}lz5dn;gfI;iOj^W%v7lQYkTei2{v$L;p(#r3~jif{Y?r+)3hxT88o(<&D+zvL+6aZ`n&!(q;y0$E>>2}{-u8Rz#O}joptYo>kmGB^hcpBaw^-okMpYj3YtV7j7E1#rNa)-o76- z$P!i%<9^4{DyF~GO~>htBzTN`tKdNNy;oqQ2n{{F+kOP>1m5svPwk{>>Dzx-+L z@lNkg*SNNDtH-;uJYV_v#kJodd^*)$Z9Lnj1hMv|e5&TZwWQwR%kFiL%agyw?wcSQ zYNqh*`~4f2S)N$g9d*0N$}L>7{N&F16?ZniN($fm_^`Qf#P7IiO@21US>ge&`rQvF z`rrMq^_^~K2G8DIb5@p_MLnqhyl7v8>4bM3T3=nuyOO7_S+|F^#`?kEJz_UGqj`_9 zR`0rVjvwQSh>0;f9!ao9Z-!*LBZ0L%e28_?}vm`KfnZl3soD z6Xpx1x@X;&oqa3&_Vq;9M=>ul)OLruxGgVv$kkD*qxk!0vcdO85s$yu1-ZBC<;=ZM z6eaQf6#Qy zA+Tlb!nd;MW_I~m`P=%^&tpU~XirPr}Y z^|^XqXZ7|3@22j8o4)#~=lY6uc+5ME_N4rBoAH%tjfRh7YV_kHS7on#iga3TX69kr zU>fdPQ6MT+|9rbvh~{FRi$)Sc)>Zss`!9%x@LAutUA#_`@rATv?$P67@7|hkoW6SA zk_FFIrmRz&q-Ps<+4F!Z>!Pl6>!j6PJtoe3mef(ai1Xde>|H6R&gE28EO;wfFYaN^ ze|P=H>pFtL7hd^aw*M8ja#`4INrOonQ)}M;teE_4Qn4xLBXN!TK6M$%^53tNHGSi& z^2GN#b{?5N_uSVnr&}JJ{<)!~sfAuFqJnv6XFWrKW7I=zWvg3u#>^-d=Ysy>>C`n#Z#c ztsPR|--}i4-o0|hNuO=}zCTZFf84$5UyJ;ErWL#P&CrkTlRPGS(V@*i!}7qJyRLN| z&#wA~Ic$wdef8|*8>#muhclN&KY4l2)ci*9tZ#l3reFHBJU>pDn`=@{ouAR+quuoj zyKTWCIzh$d!*}Ha{YpeOn8phfw8X236 zOtY=kRSR}LQD!y>zVo-#bkEf43!nc5PqIBcz5as4J$b>U>_(ASKCaBsiU_wC=RN&) z8n58&e>41k-%KxQ>zi42u-5IqO4e&*`IyaLZ4r~;@vN@W{h4P8B{5E^U9;);6tw#@xpM~|Hy;1ox5D$G zI#aZUb@jW(`mV$&m6{UXKVyZsr&PYnXD;kDeg8%O?48@@f9wC;_~%r7J^pJ?`OMWR zsZ!Z1J7#ZQ${v2zutV$l3dafa&a|r~%xOQ`wAp6;jF(zJx8z?@%lD~wJsZ%f-A7JBPgWs_oX7g%-a)qr;e}-!$#AV*7#ffwM%Vir2nBAGb;%>isd7zq78o ztA^};(Wkq3S9*!Gh5hfH+g&5qE_qqp{9HF&Z2Qln#-H5ZYP(BM6j-}-(uFh2PDq`4 zkyI|PR^+=S;MQ*Q<&)kYtkiL<|DGYfS3mm4e(9B_i>@r4b?W=xSvHQ^HhSN~U5q4_ z{5%sSntkC++vQD*Z`k3 zJgb?r<};j+4-924KD&Om6(>udlS`XMP+H0c)5T8=H`ta6ub34e5uPG?uXJ(Yl9YWD zbQFSYJhIn`wnYDNnNWQwl~?&@T&Rmgh3nC#uR;~`=ee%%3oL(bp`pli!aiO_f6mpg z6}w-!f8HGU>1p87xL^T(pU{@z7gfs9>s#6G*T>t7|B*>z65DCR_~XHo`fC+_hSovt zPxn2EJNzyv@*cNdN$C!rjVsc2W=>f-wWigtmN`J>OMZPUZ{fsgidUwo-kIGv0Z#FH-&cIn^)KE1!M|vby-U=+HU+EQ7QQ-LBrpRh@&TPnXRXn`3LN z_{r);Nz%y|#p|A|f5GB>#waI$=CVgA=At|y@d2)-W>15CpO|dAA-OJcoBM>&Pg9q^ zGy3`9>`Tk9?7bX47mHG5Zg)Ks{`u{#%q13|Jei2ETEYu=pIuV#>Aqu|;J4VUlwT~b zdfT)`=HH4*ReQDS?Io#SnU^c#v@ZJHdhGJ{*{7(eravbyTP}XBH-G8umiXyAzE-w9 z3p!GEJ%Y<{!y?Z3#onAcn%XzZ&#hIooqAegT7+TQoohm8-mq%;KGtQec=c(3mxt2)ex{qusdwis z(hz=Ze(vjX1q{2SE*N@#9o!G(=F<^ z%g%B?eNMz$V*7c9-BEWeUV1w;m1sGh<9NsN@=-TizSvaB=E>>(JLd=dD1XuORc58z z@rA6{I$HGN8Cr6j_D^5A{rvJN>i*G>7Cb7Pwokdn#`x0zXSL-?GWDDHtNfb%GfB&1I*_i5KqaJJTNC2*3PpeX_7}5%<*T#j>)hvh}T&?A3P_J}E5{zACya z%hTBQAc*y?-P=d*d7}2Kv%{q%jD3NG9TyL zFA^^vSLb(Mx@u3h-gU(bF$pG*Wj}@=cv@XA*rolTCgVWO-1zs)^jkCUSY19GYkM+3 z%w<8t;!Bc>HcGckr^Q;nZT%;)-u&5=`vG4Cn--t@?0Wp<-hk`hj_lLp*EH?J7O1JB8%2!ADcxit7wyJ99H*HmWo0&J|*+b1POZKoWXW{%5rgSZ`(3V4LpYt)L z3F{d3_pb_EaPRWvJx5;D-*J_@zc8!z@|^!ouUH>SthsE=cl30_(`ijz9 zF8Z!LbKZyFmYC?8U&h{kTFgJ5t6^SuPj-UVW(AJ3&MedB)-(IukUiq|H{-*}w_9$7 zd+Ic|b6W~;mR9lXzPj8daF4u)lFFGXnKURd%+o&8K>vZo+4nh>4%5#om~^d z`}15Ti7q$e_;DrQA|T*v{T8lUe9YFNk0MW7oD|DFqHJ~g@BM{qs&qNPKH^^fbPvxaC3A znY!0&Z!37ZG+FQTeQ{fDNw%$fNLBRvLr=b*ioekCsC&lDx#wBMCUb9J^lII~`b7yj zVOw0~;$FWunjO~5v-+rOb0OC`gWp$m?fP%UC%T;CHC@$p*<#VTnKO=E+;ZmY#r5W9 zzRPYT_qa~hN@q?q=Si4*KEBmQC1}Pkw{q!p-vwgD(kh`d*l(5Xs(kl*R+)i-`_zL4 z`A-7h&3;hPxaOX!_O%~p-&riVu={#$ztXAtd%D-oy{=|?Cl=wAa4RBjvtQVGhK;up zdH*>{G5J5gc;mU^ig=AFcb;+SaNkMu?KXXKvB5o4wl_KMPzt-!)>m&=%T}US+pA?^`iFOYerNsg>gm5qlCM89b~L>2`Cf7Of~$O|-cr@&ZYMvyUFH|C`SL?E ztA}*(&F>(!PnOpZ!g(==VRq&iTBdh zjB{oGoLN>JbLys!Xu&t1je?H9PFqVo-G78FnspDW^89y3s(+Gfd2YE|tLH09EAb?C zF3Fm`qT+4*Ntac^vSPb$PWyf4^Mgw#-G3{$H~*Wk;Y7Rt^*{BWHXKy(`JKIN^0K>! z3pZw7TCic(S1-k7LEk1h$$3AFmXR^%nZN4Y$0sEs8>I_GybiDO-OkATKq*u2ol5$G zML9(YQ-7{r_(0su;+t}@?a8TZ)sjBP%YVl|&AZOK%q#ubcDuT3FYhGG`NI<-!F=Rg zf2I0^m*ToPTcwWQ4gYSX@uPnB^h{H?&{^+ptN3kRwqccU{F0~PJzOhJM9$8dsaDK> z!L5Q>Ddc>?y~<^IZV9J%h5Pbc^PIgxq2O)rfznGRd$+w_D6%Pb*I9XHVRilPWej)y z}|<8;qcM;vy9B#1;V#q2`b)^)so*3yyl-!akX-$YTD`<+F2rQ{?UHRlezV$=&mL9&=83a<18woe^Iy%`=IcXuuO^;4U@c zVL+g=Xm;Q6X7jH#+An|2-LNn2t*AiTVui@${F2BQe>dKlBqpsXI=yK{OLtmHfk`6k zDb{Nezt;ZMcs)6%qVib5ggeY)GLJPh_1@Jpapl!L-)t+QqwU{2<*06aefTuppK8k* z4RfC^-urk{xVyx`M&~rn%}Ft`@f^z!DGBaBm^SI%)}YceiXE25KVolxxO|{hYx=Ch zzl%5RVGBrh{OC5h^{(;8%X;UO^=GH{Gd=WpWuU(*d8g6-qca}*A8g-Ma_LKaMqHQh z(>W=x6YAxA&6bu=i?tCy@$!Af!W7TPo^vlt>1!3G1d8X(=6|q8!(_!9jfyoLYi-s3 zE{+KIT7TuE@pWFe@a1nJZtx1;`xNb2nQPA*nIyA&*ER=9E!m`=cSmQ>c%%FG`SUHQ zF>fyB_7`t#G~Pj~ul()Vhb@wV*y)!#NsOzK-6QGX%rkqkriiC12;Ho5J5 zKJ~*pKD!9bEP17jc`YvulrQd(`g8uJR@C3?{HqvS*SB4$W_fzmX~MEk2iIOK{@(ld zQ>k%Ia8K*jD!+5(X6BEJt*1%N;&_uG|33cQ+{Ja=2abK--{$pl?d#*SkEW`hR(a7> zyZ>|Y#kBML^DbxStcVf$T|aMOx#OI)omH>DZn1R|op9?_VvDamb3@^V;ENgSj@!pq|fR}Z%ltn#X6an z?!L7w<3x9A-AQg`?~r%ykukDDOlC*A_rLAfBA+_>px2)3N3Cbp=>J!A@OqR}pELa# z>%?v4-I9489v=iYv#+q6ur4a^{q<-ww(kPdGv->cKlA(ka>2xt2Mb%@oROCIKV`J^ zT9e$~>LiY{eU>TBMdk~`pRZf>@YGXgezTXIihpk|R^N1cdQQK4)6DL=kFy^6?G{Y7 zl6X^k?b`Lr&41gcKDa9%b}yrHK8pZjSwKy_d3(C`r+p8Ft3v0`2tIn^f71qA(UP|B zbz943G&=5)T_Roj#k$wPQcydsZPLyA^=BVHnCe%%y3p;IIJZXeZ@sKyxdd6RY(pj1 z?`*Mid^S!!_>gI{=J8M7j23OT+nkbQqRr}cKNOc_@|~~0I_+KLYmF!0wp5ZM{f=hFN{&^OG*?eXbr=SM5+drC8-$Y8^1+jpkB~FKeDS+}4l3sX) z)bC}gf3+<4c^4SkyniIa9u<3Z^AcwtTNe$f1fzr+%OuB`|CuhYf>*W`#%x{j>+uww zJF5@B-dwRy`>f`lf(Y@SnQ13%kR5=va-aMML#!n@AN&a`QK{6o$Erz&T-rs)245Z-ROPO`tmL# zTm8@^Nz0%!%bv1`Rrk~%(NkZ#p^4@Ab^D_~9+ukO@3a0{^pa=qAFX2nTT2d=p7s7X z^Zh-S*Sj5?M481j<;vcjeiswI{p$6Pi!AC`yzcit+_rj~(^7{i%-`2oY8r0k;xk)# zaoM_quiND3rdS4k5A=L%=sj!U&qa4am(JQh@9a@2Z-dwKS6?n+N}jC2v|(5MqgUnq z%h!dh;+S*0&3x9rWuM|!SuL{Pe0j>NS8NFK`s&XuQ{{Ps^ zZm-(#q2XG8yr*n*^OLwf?khhh%{{h=KjWa|owWV-%w+;(Cf?W*{Cb% zZFuwh=KAO#%-mN`7qneIIh#i~@0*KV#V(Ji74Da^e@*-AT|QwpvDtB3q#R}`-@V(i)mkb!DAFrX;W^rtY*Ck8;4L;kadDceQ9{bY_?Lr z)$WJ0jToBzeLttf#+PuX9gYuUpC;v4;(adsjU#Km?!0=7g;PW9*JtXi|Nm#@i>XC| z>ep|x$};&s_p=uMIFENePtOd6j%Q%+z>QT{r8a*zw)#-MF8=URLvBnv-k#Nd&N)oc{$xVCDt&x!ww)~ud&%OFgc zPvX>F^~bD#o&2-UeMNjfLt5S>^;Y~!y5^mH^mkN2@`o3H z4S4crczn8?_P>%xF*2>*?~><)=K;65e^qas+L_dARc%#2!{ccI2ZC|C|vF>^QEk*j%N9W7sy25H7l1sCqmc6lVwO|f8d(b(= zMq01=Ro%1~dy8LfzqC6gQ8ex5w})2S{_VWZe$uJycwWS@8(s31XP@gtUUa#3X8L5w zABD=tle8q}-aQ@7t2$lj&6LT#soPzc66*a#jJaLh8t3eO^L@ql>n4rY`TT_UKGaIw z=EoZ^|K0q?l(VMx%V%>g*wM=w$7Oyqg?dFYSoSZjTa`Y+Y;P3HDrfPLP_n6q)nDdr4`KX5l@f$ z+$);2yMAeFl}E0Bpg*%P%+ca=In@!k<`E16-J?04lkr{4QpkIRoeU|#KXaQb{?})JxBlqxKK;(3ZT`hq+}|=ARzIrUn)~Lr|NcFX z=a+q(`}%MJ&z89#Ka~mV`ZEfAb_`Q``MG3qOploLb;r`g`sNK6Lid#&{o3@x+HK1- zKh;f(rhL7A@9{J(U)$q%H|@Jq=>3W{T$q{fW>nJa8gBo`%gUnW--}#wMDBmak2juX zl9>*w`rAGk-{EVhEO_Z!R+dt5TW6{56_4<$bOZ6lwvRR*7U(qp%(ar|(~Et!8fzwT zi`470D4e}>;#=yQ?Y9H!w{1Pv;dA*ypqq8Bab4>#jaSLZzY-dA?F7@No?o?t{ppHY zl^YfzHO;?!GR;os3oJi&WqV@XqPtB#Pp!N%I`-}3HQDmYBW?X#Mea4N_cO1A-Cwtq zKXv!qr(0dG+U^saTXLtKZG(Tf;NwG=gI@gVtZmzRYuCA%(|SA~D9k;qVL#zK*a^n7f2e%&QU!~|Lu{C95So7j7 z$KS7dpTzk%`~vT$SeE$9k&{J!SG}_o?Q>$;P?NJMeM6!5lyr>(Nww`qat^bJBt^;n z>}vV-{KoR$b-h*!DxLFLeteVM%J2GQ?xOmMb!#R+bG^LZVg5;dm!FwVESpdNwb&Vw zs8fHyXV1GSvs%0+HomxUJ8`1IyQlXj8&=CsFG{fqt$nggdcXPi6ZzbG6MhQ5W;wzb zDV8s_XK#PI)OwZqpP5;cecH+o99^b3BRlGFSIg5ytozLN*q_he-=nY7f7zgQ!b1Vo zKaTt2ch(=@E^>EskolLjPyIIKO!YXX(qvNi>+{-^#>R5{pIof?zFPgy=6R==o-AG-cqx3NY1fCoM}aa<#urRX zN}pBjb@DuQ>TlM8|dG;MC#n1nl zFB-oP!?I$>(qKEIB4fQLlO=eyj_CI3S&VC}8BM0UEMshCHZ?Vwer6e?0+{iB8RHBl zGlS`!%Nb=PEx7dEGK-2!6ih7);Y)RljV%m8OLe9{Th7Q|Z@yvbtf<>FRpy;EEz6rO zpV2vOhR2e&B}Heh=bKk>Oi^{6H@Ei2DqT?zncDKj(jq5YR16b0Dg_<%6>3+`U}|qO zkQPqod~P5zr-0d;K~ti~R6&yAVo%07cc18_ovnuKAq!4#QRp#dlWh=Ub7Pv7V$l@I z*)gxbYvRndzLE=!^+Kl@7nFG%>JhoLa2@R;TL-8nHPY6Fk|##q6fVwsxkdOJPKMn4kbpMU?ZDM28Dj zi{^ZN$s(tHQ?Ei0uzOZQyF}+e8y}!YzoJu+!`ho@*Pb&Qs4CMNMRD|47r=p zD-#b1ybff%l9lb2;L)uzrP*3zk;uktSxj@*GJp19t`jz#$n;Jur07UvC8xyo!q#_8 z?_{o&YP4NdHV`P3ie=t2XKIGg1(R><%3rYbT{|48quMOz%zxCP{hldLHB+@yubiFC zMfWFMmdBnnUHC3Q&%adIT(*zFyq@ds z`n_7+A5)_yYd`q=!f@gG%lW1+uU7u8ow+FBatX_!XQi{Qi@tbt(fy0k+OAMbKkfa- zf3JKlnWVb>sCkj-;g%w;L%kWQ-D`HU<#}?d7@V{H;yF*;;lrurLQ^<`J&T{e-5Z$c ztk7@1Xt}GUr}z2J*vrem%$awPf$5u6Ds$`l`Yn9{QMoxwrZy%t%m^{qrWYi2P%qrv zbi$JJoBkNvR{pqPyg>c2m3C2;=lz&D$<+p{U#EWc_u60gSE~2(mcC<0o1VSA-lb;l z8syhE*)=Nd@e-?fB1ad^Qn}yHm^AUp2But|W!l|8KNih<@=|ccr}>%8<;=SUi(*m~ zIWv+ImcOk3Z;h6Pk8Ees#tB*}M(L3?r-ZdpDhWtgci61YqEqnWybzWNO7tNKIGEF=)Bd;7? z6Xjwc>Cy3$Wz}1&xfUNxLU{QiTTky^sopYmW4o!q>!N76d-ZIqT~sXWd8RqKCBIXM z;8nX6kj~c_>gUXt)_zb+I&$6j!$zEyQBJDtH+~pYiiXYL-Sz)yPVTH=XY)t@S_(Xx z;^H|Lo__gu)0}$~R>$f5()i0H{ov8bm!^|;T?)AN|NgtH>)gZns&bnrHp!XU+&bjQ z;v~>N?b`Q^NB^zjWfNUz%4uQri09A|>$*Bw;jXM-lgw>4L`uwV*!R41)5DwFT8~>_ zdS6g?#mdTKakj<#2K{-wwakBcrVFfLG^n2~R=z;~)}E#JFFHtm?DKsP`Q%kVcA>`l zvI5h8TD&4_zTG+_@u9ghS0zAe&Q+zN9~A%8tm%`xSxi|&g5RJimu_q*4L z>K#T7vga~iGVIy;&hgPTw>`77wol)0)e(9%ZuatCiPjI-*%k?&IPlVW+x39fw#}{D zCmt0fYdv7p>@~jM|975~mDK#j$(%_Vs{^>?4)bl^xLmtFsUa<9v4j}k)-(3+4#-X2 zVW~5Zk1;Y?twFM2{Z)^kWV?oT!S%Bzbu0+bV%~k`*Oi6rx9;t2`^G&vu!2`sS@GtF zZ>Juf?BNZQw({K{xpjf|ztqN0CbgR8OS#@kemL5ZCtMq@VfgdD?vzvZ7LR86pJ5mA z`jfm$f6B(ci3?r$>g%@#lpSTuEa81xvPZXML3G5QT}{_Ty>y&v8FPN`ODJvKsJke! zv9;peZ;SgkkG$r7er#Pp8|$Xs?W|j-?|nO4x2oKz&5V(H79&z zJDJARZNn4r{z7}LVAxwnt-OtMdVgP@^znb(k+-%XtHbplq?@c-QC(hMU+mklrILfh<@_lpnb^UrPYis$#m(A9knVjjG!d!Ig zA8W~(+lMzhZu+uB>hXR1j~(+=PcP4`H=FyD(J15j`PVG-Zu);^p>Ri2hLZ{un z)N=E+FjP;Q^26s#gW8w2zJ94?{l*T5zBK&T<(2zbp8fILb^ho1@_$Rd{b@QHU1~9H zMXPm)wNaYIFI=Dti^Yuq%|W}oX!2Fx|Dm@64k%Py4?%o{@7LR zt@~8}?$1&83$H&l-(5GIVeg!#sP6h=>BrZq8Yg|f@Os8cKjW3Hx5T4I*UQ)6+snmUIMFZsHt#_T2`7hRO$pm_5;#mvS~z(X&+<8+xWJdO zZmVoS?S2Ng4~Dj}w-uLHPFudEVOxy!qGjm){+_Q`+6wYu<`oAhiIm}=o`^Kij z3b9>hOIGg6I4JRYvFoPTiuuVT&T$=@&7 zrRS^++5aS&V`UB3vXgoF2e(`9Gu!pZPUpGHjtRHT79Ma~+qc$f?S$SCjppkdt=UW` z*?0C=$fwxdk-A*LT(SCK^IfYl#nS&7lmG2Yoy{ga*~0L~>?11`>N<_r9=~=qak0*U zu&nGu^|$u17=4&m+p2$Yx9`22%0oM2m-E%^-*oS6!IP)2&z9DfAO50m*fGClfsOB~ zEB||IzaKHbk?@aoSN-bm7TT+&k|l*7Z(j1&xwLk=@2kkC_s{3wUHf}RzRVS~$Zp?j zm)Q15&I_!1_v_ys^SzCU+K*Ywp@e34tSmL7WVW0NexZ6Efr zxvlY?p|QuLCBFk6w7jSnTmDyV!BHuu z=U-mmzZ|vuwRVaAhpV^EEJfeH@YvqoSD+|cI=yd;t*q&S%ZXJ+K{*HCoYlG+=5s!H zmhOzby+`e&xkXRO<<0b)ckF>~_qhi(Cw#uJiT~!&b87C^WfR|f@F!ohdHo7z>BkTG znf@MJoK#a2sh(QP!g`DSXLHKV7O7da-G0B$P5jSyc75MwtKLWTs-LADqC#z+eH4^q zX*-ugjWr zFX$Z9<+3sT@MZq*wUuezM`fNm_Wcm7e~_@&Ym(su!@?)~d3dhdiEh55eR7Y|$Api? zoX3SD9=ZP$K2)ITzh7_CHM4VhSvy=G=yvS>qLX*2Xktp7>=Z8^-*`3S1qbGQ&33*V zu5h5o^7-_(e=Ub!sC-_tSN6ySx6;DNp^qb<=h#O42}+wk>8Hxsbk;dmj`EdH_UGMM z_qDD5M|H;?!vncyu~Rcm{H9ej^+>>Q* zj~DxLeXO7O-c!~730u2>!z15$(%1fPX6e&9T5@HM>aX`dcO^ScXxkfDd1kkct?zvC z$y4^Ny!2J_k!nHyzDY{E&foaYHka8TWAa625k}ML0$UlC>dj)g^n)|2QWcC0%((Q! z6`~Clj1>%Hx%7kb^Gg(r42%^F6oR<)J@eA?6^sl_pgb3aXd5#lCs!u}b2n2*b4wEw zLlYM#S5tFKBV%I&S63%9Cnq}v!b)O!;Jr3eLxahJOq%twmrnYH1PUDcxJpjX!eRS@ z1nwl`RTdX>wa=|+XyDmo1q3oL+&uwoyO`7Y}fBzyI=pJygTn~xtI5bH~+qN-)m6i*`{}6*M+DpyZ8QB z86Bn{aWP?H6KC74a}LdSIm(o8^d^`$ff%du*4w>a&$Daq`yi>J-yZ`rZ@m4!>{7?= z{kls7zh}+AG~@SYf3G$ER~mFVx2fEil;GXO$tKLBCgEeS?C$ni&;Hfk`^OwroFzH^ T)^%@me>W}wJp50^ delta 16979 zcmX^1j;;9v+Xf>xCJVF8CTyDo8BI1n7oR1>XfRPgb8+&nwMUZpXgc|KTrr<1+>yox7N(OESv2b3M&}maHWT`{F1|5; zdW^e@*!veLM$eC&J?(S*^pTgbx33gCdv7`FqGT!}s{Z};`^bQz9QA2ey*%UflD!oU zKK*nsX=8=hf;AJAIJ~_k9NBNw#J{$zsVU&ngYK412f1P{EtwJ!myy0WAW%XyU}ek2 z6t<|vE~6!L2BwlHB-7yB=i>TuHBaXxQQ#EW7TcClY`E**L_ zX|r3zi{f)!?6q-j4+~Zwcb0u(d)?X2X}$3s8P$MP(d*WUy*$j%Tek+hyAUHDDBsG< z@bcq{7oHE~`?nr)c46Goo+Z1*L0CqF^ZcrabB?Sx8@~rI1~6)Qun9)Cs@4mNp5oZ; z(0a)+qgiN2g46n`qAqJLvq?w^@nvzUeYo_{I`=@k7%~HS(O>4C?!Sp8GR-USY=kF_ty&k{x|4~!^A4dQF??3ime&PT9J^y8Y$LC-D zKP_5)?#?TJU$5%UepJ8dK|A~YW7c*>=grO)NuLSIkK*M#r>0Cjadw}@G4bO&9!b13OWkL2?4E40_^geNSLa*)c+oQ@^rKn& z?Sl^=#46R_*^|)_b0>1jN?pmjPov-2tlhm$Qa||aUFp_P{Xcu=h{alpJ+Jru{VOeT z@3ok1v7tUkCog_~gyS94fxYWR8}6Suy=}+Cg{LQThi1>XKXtKZV7T&%*<$Z!rIw%0 z)jr_`6wYG!8b(>@;haY5zn-z$2}g7@6Y(BS?kkr%QhKw;6lrTnjU zy}XebyXwKwn;|#$71Tcbt@Op!r*(R*W9>!e?|a4WXMcnc)4DxwZr5gXxDhk2+Ud}U!4}DFBQ>#=--1G62@^(<(EJ&AkKC!0)Xf9ScL6}HXm)Lg6X zOCe>A#{#F7O)+(>RGQtS`6JPO{v3F?qFX zV2?qK$9qA(H4DC|T1c38ZEH53?RzuvyW|@ljlIjf3q&3qS^J=7(Z`$v-!6Tdd)8!` zU+%*_JRLg6e!4lt76<9NO}2gfQ1I>9Y8$XK(qyr2Oh>NmWhriiw_A zGJ9tTn|DnLoY{WHY?Jm@tE6p=!8cV_sRjr=k`DMSuBn-=tUhLHG7%*}R+V&HRit$Yx)IW3bMtD~UfZ&*!VR`15o1``PO( zo&Fis#Ld%P?%Mrt%`MmO1wmV!Ry+R7-DtIO*ZWt8iwv_?S6<)J^!#1Q;VBtKRa5@& zUd2Ble~mWV3W;)Iv-Nwvo=@7f`a5(yZlCe8+Qat9`|ik{D;otW zL(Z&vXIcoJ}Ua_EED+Lsl2b+<%Mtl@jLIa5=m zCc`j^|M1a{k73`^okbHjwIBWC89CSYQfR;3%TqV^KZyN%adOENhR}p(f7%Z1>OA$L z@mNUB%C#qp+3RK2#TA^gOy4iJms#qdrOmw3lFX^;{ww=W@_e#?FX-tw$)<5h!jgm* z&#yn1Tf16aKJk0cQJWr*#Uf0*nRI-tXSAC$IyK$%)i`GROsd6Y0@Hp$7Lg9tmKUej z&$LKC82{3EaiGKEj{DJ0Rb3mFO7I?97cBGKJT2+0=go6nS{s+v+bVfoR@%S#=|kr^ zDJg#roqN0Td|gm)cIAvSYmCJs)|}VLc=~>7+re1frkhf{9+NujxJ~9aB`Lo>xOr`& zTK7r)ZnkHQwR6hm&yLf!v1_o6`e4RiwYJGyTUSiydh7YOMqGQD!K}CxzdYu$da)erH-}{KVLg@ywCgc@txW6ZlX6l-MSG zP0q)+-f5f6K@WXDnfXV#cl~*6?;p4E>d$SVtVPhV;l?e5qZ z_^4QE>2-~t&KA#PCGUNC&MP`c`$Wc0t(EK3!(M#&nD%wzUcT4|w=(}1Zh!ead%|ZM zx4@N;{z^yK|4U@%s8P*4`|I(60Hb5o>5n%%)h~PWuyFz7nTGduD`G$P+;0qwW2toE zJKbIXTA{yc@tx)K|E*iMTQlY62ZjyBlUa90)qkEHuH(0Qb82+j;-tFMS`U1$E%+|O z`KISUSH(ZxBl$a%S55v?R&^pJYGUkG4O0#K9p(DAiuNAb^*;mu9sa!h&(4A$g~1zV zKR*&PWzEUm^%s}Kq~zbI-E^v9#j%Cg-n~25!JE`{*uq@u?~Hrbr_bD&XnrImXPx2E z!hMZGv3r?=7EjpnL0`zCP5DyPhmttfLq1u-n?7ha&YM3!{qB;S)0?vz73TNOiae)m zHr+7XY`%ZjuI#k`kqS;phvq)peS3y_`M*f!_1BH{je{De|Fk!%FG+S(6uh^!@#93x zbv^5J+r)R){xbd%ar92Q#PaMTgeKtv-=f@gZFD_@Fa7y{?8!Wdt&e-+w8aHMd7TcKiPo8(7~a{8HXH zcSBL;^i=J{<~VbW?ZR$%inm8TR#NZcaC#;5>_4MVYT}H^fj5Mi%#1dl%GTzrk9NrX z5s>0KuUjSO3d8#^GnYHfP#4rby)!F)`G*<*&RMtDS}T1%yt~tw|MK_0DN)r-5u1cn z)l{Mr)jpiOcU-t7_~V-Y2e;%z-CVOT`!U;J*K6O*YjmqGHg5`+=I{)4oWA?}!S!ma zYD>;f{Xc)9owm|9o(|z>53ju7u9C0$EMO}BDd$4i_B3hR3)x@(KRdSiYxjS~+hwkA z!EQ7+-@Kr-SdPiua`J*wk9o*FQ+<}lCG|Eb4hbUP|&5j76%xd&m1^&VeX~7vX}05HI=lN zcyBN9s{3Ix+5WG1{er-&3DXVQXEmiP5MZ%3XTP4^V07c$6~T2Zts0wFH|xkU_WRZ8 zu(4@MaC9&@D_(M7d130np29bQZ6;$y1;d>~hYm&XFlesWtId;>*~(y$z4G;j4VyOo zJ^fjoHR08-`4f*%F4&;Ta^T00$1Iy#Z{2QG=y31&|J9LKfTLjp6Jx#3fo%#6Q@U2o z+p|fhAu=qITYX&_9Z^!t5ZS{h^d)K~>U%s$D^{+U)0TbV*tq%@7dRDn6v#q{j zO)h6!LgBwik;)EMkppMHZohx$;y?RjKZP6d%t`+?8|(C|G&~FFSgU;DB0=66~x*kAAY&%WS^;DO_b9u7M4tPdYO_;s7J z?Q}z|!?RThEi*+AFlGF}z>Ob8l{#$fz<+3H~lvkhob>95zdY!B8Zv|(q`__Nt-(peK6+i1G>kU*?7wR#T ze>*OH;@n|vj(UL#9gQPr-~O}@`OV$-JARvx03-8m1|GTSXOI4^{`mjLzf{S;%+F+x z@MQf<4>u8T==k}#>hJW&{x{ADvQ>wCT`&Fr#)tY_^}1FZPne7j&zjpbtCJ-{efd&_ zRUVsmu`lJl6}>ZX7xP>0Y*YKEzd{`LSF5w@b5F0^v6kn_3hBDq`u|5ui?096i+y<2 zE&nxl^s@Jz3z}uT{H>;Ki}~YvY<<%j>AE?`S}ioItscH>7w+<2@rx3)+UZ`uqpo4@)me8J$69k*t?yXz^YPS$1#gbl^L>Bg8X*6w z)bq;j#a<=szd4_oMNBqY(zB{Ey-cagbW_}iFHfKU2=G67Wi!wA>xHuXj6Qtl=U=l; zeUKiRx29E4Qg`N}jZ2fwqPjSBa$NQmYDSfFK8|j_;=R?cm21tf{YzepyuV?Qx2S%q zarNKR8#ND^UEW>Fw^Qiy%@DP#&tERToFvydIoS1vjeY_5PEnPR1GRxB8qu-)pM116 zo|W3P`A_W^(WgwSA6eeMtROm}oqd0E{{qErmJBX?_+HObOE-3UsU+m^Yoo^0Nplh= z&-wA;ZT8~w=;oy-y*>YDEc&j)6qo#E_e`}c=KA~}MsA*}kf(7)@AEA`-d#0~bH&>2Q_r7qef(AO%(v8brq*xjD*NP* z=z7#lSTe`@B03#tqXy<$s-G9Iz+UuCz*b_DbFpljd(#jhencaI(Rs`yW=#3RJR6S>tA% z>{V&)6mV_l4^4)NN2K?CTT|nDXJNwp+~^&zT|GGuUw_Y7uK6+JSbgcr=vnvo{tf7R z^3Lt&UmMjb_R#S8FK4;Dl9*vER`@9Jq0!~|d3)>ETRyFL#51K&c4EQupDU_;LXGBj z{g-?(Va^-1Z@h7ylC}oz(^IWy97_?J@+;Ql{c_2}0Xc14jh46PbQC{){?EVn{VLls&+PoNtP1I4 zUd4xX(@t|wGL)>XF^ZHvdU@-jm-@BYFZ)d1f8O;ZJcv_DCtl*m(Rbf&rA!U}Il-hp z^`8CJ(wxVcU9BHPV@oHb<=t#`-uTFqnOkk$4~cVUmj3WKp|dJC;x^N)V=bZChiaef zmDrT>qiR}?vhB1A@1yq`rgquZm>aIzq-}=3uKFQiw&AVjX>pPahYXawN);Zd2v!`{#&nD&d%D*@@t%5g2 z#b=3eoX@X~_q6Q)YCE6P<6tN6q7!*1=U?tKw7%hBn}4Ay_RrJ^?==d#OBWjZEa?-B zC>QH{dsC*~>bJt9yaf&qC$8mec)8P@ZR!l+|5`UcK0MRhq5f}!U`KNF6!pHcjrP0w zrcANp&t0MVkCWRb?{&{Yi90Tx3Zbt8pDAqJHlZu?&l(@;DOZe_In$9f5@C# zI7gu~XOGM6WAm|B&8FSst zbBnEv&P;LjUCGaPV*lFQ4=(k4z8+yGb30>E z`iHku1lWttd9o}}-YL5OMfCYw+3Tfxw=bIao&WI;POUq_-s=5cNmCB)*fIaI*0z`{ zO=~L`-F}lcCm=I&dE~FMEP3whSAITzVyCm~@QE0)vzpWAEqpbxNsDePA4@fk?Gc^2d>*E)?q7Jj>c5It)SZaPcZKi!gI@p$Dl zL*@?=?1gWIKg~!s$Hn5v53(*@ zsBt%sN^%vcKXrS?;_IQ$ZhpB{u8}S)KYK@A_Gwdvt7 z@60FK0Y0ojMhj={`*mf?iRXOxrj@ZwFgdQsK2!X3#i>m3yZfJ9x>@hP`R(+Lb-_Nf ziZ?JUf4k%U)Yt2xv(|Ng+BdmeEP}aYr!$NATMZ+#b*tOC4$XZKFT&QkZq6*@^Q&u) z^B+%lJCm+=LaQONZTi~#g*(3g{ZZ{Hq<+*u)LG?%!Q87!C#5E4)a{$NCdWC^&*yUe z+-~iy)Bh}OJAUtloZFk6|8Ckd4C@!EcwAOhxf5eM?eSI532!Vaqtzm$rg__xO*5zt z3RdF3$ni8u<>?tU?_DYfU(4xpsst9h*4P^DoKrdd$!XoIvWC2e4jI(_b`)4!`#=k1n(b9!|Je_`^};jMbCsWov)@3z;mJs~p$O_|m+sy2$aZT>Oto^4@v% zOU)gp_rCH;oO^7!%wy@&*l&^QUMCnP?)oWfRKR$4z2cK;OS7XUJa+jfbu9jWPPwB( zU6DJ)ZV9vn{W~_rTeGUq64JndfCVZ=*@BSWvLzMBB)7o4XcypE}R! z{r>TF&h2gK-=F>MPW$dP_l!aA%iX*#90h8tqcY{P-!OztbYu^B>P`o5E_B zYgf*>ZCQ2MtG-|VKli@v6TfY~Y&_#)!?ruoJNFvK_U%2q_sEU!r*x!VJwLtLe~*~L zueA>j8npKwn<-yEiTUB9>!r`Sx>XIu-7o*R;`RFvAJ4?Nw-@as{=Ku!RIS`ML;8!q zBjbCn){2zC4lCpB%fjRI=RB`jx4kOz$)l&g5|{k{9b?aYVQLQ?0(Fj=3lo%G5!0M3YMqO+aH}uNNDA2FxYl^Qit+s{W;Z5o8_(evYPwm zG{?pmW^7*0`OZQ-Zns9A8`oba%NDz)gRx7OZ#S1daBso2E2=f&^S@+oFMOkW`pMS~ z6`!BJ*J5wgpFKNjYP-qL_nEGt^+#^Ecsrj^tx}t9(z4IrjWzcf&mI=Lo$USM_qhYC z7tZ=T|B(RK)2TW+drcj`y)cVR_IM@?DaH^(jVN~y|ai{9Lf)$@3vcmDCC4X=xh z|7+2Tv$#d5jrrVk>TG8tKRyw%n-{g<= zlFjKQeh*kDRTu5t_}q2xG^Kd&{WD&0>@NKNvFPcE^0Tk@Fq!Q2?@|hOtiH6Pb9=)) zkkGcZ4MtA#m#@7}HxG#l-?qffcH^3d zGYmI=@{4*So7B^ATlJk5e{X6&+nx0=Etuoy)_s?k z^0l%&`;^LLrJQK}_{5Vr|05^J9?b4NeNi;}|DMAsVgERH{e3JsQT=NBwY>0l7Ur!x zf>wOLaAwO?)@A&QKxSOSI-y8sqsmvdrqA2+GhYpQujZ& z)D+*jJ5K3Vq4HbH)w5l?4urlkua|qGpJ}0(EoQv*?vo!DtCszFc2;&<;DY3?<-RM< z?wlj{ZhiBKE9y&FGHs^ZXWBof{I5o3r%u`bdvTAPkLqg8W0#kHdLreeKCd<3@zRA) zZohrI^~(J}GnKRLosZQWkcl; zRqwWH+R-;QY^BxZa$0lrTaL%C=URQTh5h()_4}H-eBRqh6;59l!QUHtxgkeL zBx;VG`BeGMbxYR^ZhSUXR(S2?Bj>9;R$iJQJ;nLgvLy?IzFW+^;#N!<7U;UmYFE5z;?)x+J2%_x`Z1%j{%G{RqdRAq zNEZ<<#$uL*p>-`00m zB|0&AM;zxwwsU-WF0ZdHH=jFye%;24<*{Llb)3J?TDH!8@oW26Z@MoeZZo;-_~Gf1 zwP)(P4$my{nRhl%-%(fbEHMYKcn=f|=?Yml&A9_a0Y1i5JO*{QHJEDyXtUT}D zxsskA9b#VRo;&sYrt^=4Cq45oZRlIQ z_Vc$e9jlpo)3u+-C-BC9dDIa%|JfOr&Q-rxJhYZsR#bnsrsj0c^QJ4sRaY;Y)@Ph4 z6<0|%II;il%m;iydVacJ6a5X@6wVlYeRo3oPi;-_nhBEbx>aoQwx&*Je%t(95Eb>K zA^6>#>2(E{*dudV&vccnDGg0}Ta;C7mbX}b&oue9Yu;VFcrukQcUtvIDcRMYVLxYI z%DZuA-i$?)exB}4sPEho9JasethM1Yt+NHEf`2VLA2VAwW%-%*&(l}uSsiwm7XDOW z|1G8mH(g%XvSq%yAvwMOs%g$$ZVx*VttYn58E+r%SBi>_jLA9fzbkN_<+*JoA_lj1 zy?dT+bN|eg?Mvl1uD5HPs%VrwdB!{C67wngI?O(Mzo`fW*6uqwN7<{iev**Tto)p> z@8$;oUU2yI*|HtmUpzf<$b8X^O}86m?>v1u(Odm)LQdkpyPCf-oG(pF zZ!+swy75!GLiFyu6~>)Y>dOs|-`FY8bh%RK^2xsG8(vBTCh;Hn6)EFhxqxQ8)FLz`P5*P69L6M)|Xr71%E6WG>peTd(POOV%4lt3SL4=S_T(&#}Ay z*WN6{s4CgVyOj6rZG642Pu}vxwN7re`;IObb~wFXy1uXH0{`9V%jMksukb8Z5{tSR z+V^h$e!V@;_m&=rn(rDIeyV-YXOsz~Jro^_I6JmsT= zCTA!gt-ZfWGydJrKT<6=Mq%zd8uscd$VZ*dliX_;9rji5F|XP>b~f#(*!q6~V&`r( ze(&<=HQfBoH?wo?-}B*j=7nEbX1y$`?&pq__x=?p4Zb>Axj4QKUcCMjXWg}kvh7jz z2QABPSiQHNp>gZbj@f@wE6?d3S$M`+?C7)AmyY+{|txNMdl)ul(mwD+hHS5)a=biy3-tt$siC!YQ?_~M=eSJ2df7JUS9p?ralzNJsfQkj9^NavCce1x|JU~q zCw}a%-^Cc6%ROt!l^e5d%NL()e0BYxS)#qSoZCZj{|N2NyITSl9nbZP@B87ee&$Eb zBAd(q12_CiUU^|o-_w9cm*&m4azA~m-q=s#>`^nBMoQ$}6y&lG7_u?Yl?zre$KELdY&9#S8bLQu`JmY2T=T;;Q3_e=lesi&mtpK3S=Os( z`Q--N;@kccKIN_m{8V`1q08I}Dj#H5Y>2n^i$A`Hd(G_2cX$&Yh8bvFZCd}lY#AF{ zugkVyoQ|h`zj+6%i`<(eRugEjqsVL3&U&470l#(T#TCpwme?U`^@(MPz&T%4C8^M! z#}9A%&G)u&Wasry{->6|U`NQQM<#Pqxuud8Jh92I>bUJ~bE#9=oW;U%p8jnXe-oq3 zO|L7Sc;25f{RN+tu}A+6Z-a?f{XS0bS>gLir};|i!-GDKf`S}UJU6bky*cskyzgNq z`HQ^udrCatidr6OX8sksqUAeVZT_6y-xZ%Zy`5+vD%-%XEBgF%=8FGTt2#5@mxLJJ z`}$d@EaS+OeXrxvkFQL>tx(L%}qg!?k+Dp#80luTGa&@veTavd2J6 ztka~Wr}MV_4~<(KT)8gB&QmKN#cAE^yuN*r(4)-ApZwoflnKA*=h5qY6q?0WqaQ6a zUFZIFj@gfD*4;gDS6ijaQ}sY}Mew(lYg4t_(rY@FspKf1-gu;9Q{#h^oH`CK&7-Sb zLU#J^l-k;J=*Mx3`b1W#w-;*Mr5SSOd4#|GHT?l||GGI_RPO2SWO9q-mRK%Sf8g)F z&C^Q{eicqF4tHp5_1qB`{myV_*Q)ZL3Q{d6Yc^C?XY2@C@iltc4%7cL7xf-lJxwld zb;LPc|Lc_A~m}S=l=;R9!rehx;*UUyjwkb>9JetLryP=*{0Kw zSSpTV=d;fZ^AFaDKFY-FN?ZmNNTq|nC-mere|Gs(J zv@aK5ymPy*=UXp5(fMwSIMewhk#a8eMQ^(&F1^>A>Yg-ff6mt9{8v74dUfm)Dmz*f zusnNS>}rj9eU`cN8QWWr*WdqY>RI)ChK2gy$srmwy>ml*t6EBo)~}G9^o1qaP4&%D z3(tAMdkk-uK6`X(!rSL>pT|Zvo18lE_Tp0sb?NE0R~-VqIh)pnCIsbtVR3l&&*jXv z)YJ8kBc9kU4k@jgZ5VO2Q&rAYar&D1I?_wuO>NH=liI!Z=nqr%hUp%=;ESWi6}Ls5iUZUl6IREBXJ|dsiB?zN7X!Z&3o8B^Iyz~+5fatk^Gb2s3W?ha zcNWa_JSrW{yLGaxP0AkidGB|8NZYOH5-csxB6}~Tw(q=K)|EX5F3s-sw+>!lTPr?a zMBHr?#* zH}1a&1PUL{sGl_Ns$$24ufB$L-jnwgU-Ky6+5Y~diB60EsUL3Nt{QAS_(f@nWmDXn zyGGgk0WRAmM3ZmbG>H=|+q>^l`k(sARm_IVx&NwZsL8NNwhP;MZ{@7l0t#Ep_HH=*?we@xmCfx^wZXOL{N}vcUK`~3^2f#J zv#0f5am#YuB4^_&?k$?IkZ1p!dVvc%ts)lQaY=g}7A6N4m}foi ztoeV{RXxY+^@5*m!IL}EE3dNt7uJ9IaZ~!td0W3uKfCu&o^aFB=R4yzEz58$__lSG z<-wQjQ}tt_0)8_GYt;r!Dt=oqwMVe|{=__^O)ciP8(fZTQ%!Oe)=+LKl~fL0E*&oS z$wq7bCi}3~QGL-fo!xtq`8 zb5-V6U$ahA^E)ovq;7W2_1c%Lg(?3cZnA4|q-koNJ;pKpRn1i4ZYh^@Erq^~UB8yz zy?vtOVU5A@HQq;56`F4}MDkBLdZka+@Z!6D3%C9-n)m3G$sW0RO!ZvmB8)l<*!-;~ zY?*W2PfkNm$@akM_#<6$U#&D_xnG6_=&Y{W{NeY$dV%=`<-rH$Jy(9wf7*dNqt9Bo zCqVD_j>@#R>d~qkz56o%Ui_Dv=FXDb`SD}~d#mYMmY@9pBGxRbx>Llsc1{b&jJ;pW z_csT(eNC4QKON$1>iDwDMJ%|U=i0Ts!gE)+=pIx}-539T-%qdGx7FTHR@!@QvWeEB zlST)Q8!2To>2%XR~}cmmmMsvV4*Lx9{B-AN1@hZB2MOweDZjx6|FbOIP!5|C;=G zw_L^f{Ed6ebt1~AF>UjauztQ_-JC`KKYn`d*;zN+bi=%_Mz^QevKTl%|C2l6g#YS` zhCyvVm=rXPmk5155wk;o>!R=9)?InJxOb)*|6*U&dcG@~J03NK);qn{X%7A45Kv-o zwc+eMj?WtL3zBRyi`Ui#UviQ@?p|WAY!kHUZ~DGDF|*TNRY=(v?Qq;_Z>gsDaB5fS z+p5QwzRR@v-n>Zq^6N+RwOafCQKI2>(X)LP=caI{Ab;d3xoNp_3oTxUbHQ zh>72`C*s?OPR+X^6DK}ppR_JCJz>_f2xdNRmfYv9Uyhhbbx&q-f7PU0w4l^gVcsj@ z+0O*6mz?&Po1juD9OjtS{$gJK&x-H)M>ie6x9Tu^V3U@~&dEh_$5LNES}4&UeP#C! ziNz0>7u8h9K9Z7aR+IRwn(oN17;-zToVwmOl+P zIX_){J~u+A@pboAk%}v2T5~50EN@Z27Wm51xzc=(*4cv|DZlF(ba*ElOb)yu!e|a! zL$uvUfic^Y$pXCMX#3_&#%-~tZIK$l33~2{PNM%8) zg1&!JR&Yr!m%g8ZnJJgPTV_#liGryq(moAiQ}8;Z`nOUyi*8$dij8kPUa{OqK)rG8 zl`FT-9hp3HPFdb``3%l!Gdz~GFDW{6J>R^7V~MK!yt%bER_Tg*$kdiEmKHhrXvUEv zSxTab8x_RZCK)g)=W!StCQcGOm$*h!P)*TC)rFHU*;9zo;1omG9D`KO8tl^9tYui(_C_diT=!6$=yHT7L%oaR;Efi>rk+MFZ=Q+Qj>Ux@<#~0c zbCSlii7uIZER8FS#BNG2auhkl;Hb{ya%q}MPo~HO6|WbZ$!+y2QaPy!s*Kf)8A+12 zP74S(7daehs7cWA?qP6Tqreu>sFjepf%V2w1%qs~)vF6o$q|Lg_!JWi4&9Boam z*EIwVNE?N9&aj@6#-s8jlyrJhcVu+pBvvHrnO6TVzaY5Uu_H=+)%eW*Por^)lZ*_kY`@ zv+VggHSq(#FD5(1@6I=UdA0KI-(w2{ip?1lKi_&<%DSuK3#V;y=tjNee9IrDy_z{Y z^=0A5-k1k1o3tJYl(=m=al`w;v}q1Z%@>^IpH?!m=>M^E?<|=Ad$-Zsy@8o36OPZm z@OaUjotKJ}rhf_l)iUn@gVQIWROVLw`YnA0-LH?hNJSK!e#n=cth`k4O-*emv*$09 z)ApAaxAWUFSDCEcthD_3m$Ns8bNIzdYlHtzzO+7mzuVEax>5heCxo55Hf3c1ua-+}c8otcl@)f#+Tt&EB=ANObS7 zx`?GAZiatfGdbVu61sER%bl%A^0`%4tyx=Uaed?SNZDF1ZS(%LzG<$pI;%oiCO5Xs z@H64Q)XC~!?D29!=#D*etDGVvt8cI*#U49Zx53M$zUlMd1j!T=50l>qvJ57+)$HeA zvq`GR;5L8Q%o7E*<~oxnEMK_GtD*P%7K`|G!Jj_0oA z?v?Oz-L<&CfUEz^p7iy5xEVJHmM%UJG4+_E2ak`?NyqpjH|{%_NW9g#e}Q3nz1yPJ zn-1mzhc;>K{8NAFrv6C{Mt`}0>!wvoFWwiY8p_NK=`M?Zve#q#_Pg4O?;oCGD79F= zl=Z{2Ds~}rwxqptv$jv)AJq|hHE#CuUWwKZ*Vz^cYBXMM&so2ai#MG)e8SO3$6C}2 zI^qw{e1E*oUs1M~fA>Zf!zqCpto@1YGjG&i7Ae}thPS_)u8JPp*3rf)_Gst( z$2IA~>-FbI?{<_XhPZS!+3?w)M8#WNzH_Ml63vi$$elXO0~upfLRcruNt zdyhce`wQ*0f?;nRwemKu>HK|Jh^z6yS=*4+;rb7zXM_ZPuYdRM*(`y~=K^LH$sVe| zHhlQJCNw^G7Eg>}-im4E_2qF{(GqoY)pkpr+FI=UvX^_?mJc?<+s?gR_`BRpcl+6R zHvZ#37(Sl}y==65W%s7a1(oyGB|QCc_2kXh;`Vdr*vve1*=&u@GagoVK3%^>w8;YaX(nSTMIfX!(aTbyLny=WBnyHF~dVo9~O?Vlo_z z-;{Je&V0e>`%-kSoQaQodczT+{|crxNA9mZdi%beP37+w%O|I&>)cy)c%h5#A4P6C zIYlkAEQhlkq8HtALM&5u>9By&7Uo&nTbQK| z=$jha-oL^4<-Bamk7I1_xOGBqns0F3t1)+R{EP1keXrE!6czpYa(BIc^z1pJtDm>- zy{vPqAy%Q@qDFC33|pJ$nFM7GF^RU#v4Tk<2@<9r;qG5%%)8+JMf}%{dB5x>>lg38 zy!?w~tzZ0w>0f&0UB3Q>x7Pdq#qVF3|8^*vo{o9BYE9FLU0Ro4ribg_Exr5IJO8QX zT(Q$i%m3BiI`Avc)O$5+>CXMJ&E`_=G5Rk{H|mwQX3T5s=c*Xo|Z3~`B%Ouo& zuex#{i;&ly^tNl7T9|=fT>Yi+W{Z!i1?|809%i?btNwAkPPTH*=gHqM#Gbnmw7%}- za)F?qGCq@I(tm9B^%uur6|2JfNi}X*L9Xj{6+E~?M~F} zFkSYM?L%1e@!h^}oS6P!RIA;ZI-5;;a)jZH*+*6>)OGqs_2*_CSz&P?EK9ro@UeX? zpFYU`=8DfQpS|birfX$&$j4FK>D4+*>>S>?_x&@eA|st}Qo|m%Z+`#@8lI*Z08ehn`EH z>%BW)Te3o`_<8a>rId4#2V(Bd|9Q^%d<0K@$^!qaFR5hpc-?i}hV4qqju)?sCvNXf+hC!+d8&4$ zjC91N=B2NV{$6&peP+0M!-`qHPV>`NuaV>2E&8-*O)U2okHUCHZ{DtsiUY>cYo}@O z6}1$Udl?CZ^Gs?o4=(AI167r z8XD#+-s|)uGhxS%rDyDxo}PJHoOO&n-ElVHRujNq}+}`~pkE^0fQHx9eOvIH5^$a_`{q%#5XVqR+R@n6<`k5o& z%KWqWn>dwL#Re&EpPR9_!?!YZ?bjK(uUGrz?k~>{Vo!X#FU7a+)>N;$6TE(WKNiMK zKGEj-Tc!20tKobT_J)7Kd)7^3x4a=e^`@Qc`MaBwp1qiTDwpd&_k(*i4_r#>=lwT# zU(0cG@#AOB9R@3=|9$ zg1GcO^V0Gaj0`|q=RrIdg=iZWLlXldXCq5jV-s@=XG1dsV?!4sH#bukXG?QSBNJyk z1;R>VdEh%mObv`C3o>ce%U-e!o}4Ih^kenrJv%0_xO8f?ZP>A}$weewj8**3QC`yp zmmWq$WiL*C-P3n=?#AH#4O6GaH+IF@w>ek*TmJLxPXAA7_iVn;h+H|ag| z2(OttbZu9gF%Sz$0 z1IFj1mgwE!^gVaXBgS)?_QT5-=OS9~USO_H(EoDCZiS=#m4)(b2?A{i_A(941sq?t zf2sFBENQ|0{DDo+j#S>eR}y;@K{s;~WA5)}-Tsj8PAh8#1OG!qe-Y2{JImC*+)%PdJLZVpsJxDG?P7kAMja6dWC! znq1DlJsbWvWd7~vWlMM6e(&$~H}AFYQpWB7?@wX7`&!z|`Q7R$*9!|JSbqt9QGMZk zVfq67gL=)eY`c3hzrQzr_HT8{Y`L{*v$#_8Qi@B8Qm3nKXB6kMurTFPRdw}u;{pKY C_^AQ_