From 5a830e2ade5e835a90d58d1a61f6f40a15a85ec4 Mon Sep 17 00:00:00 2001 From: Alexander Munch-Hansen Date: Thu, 5 Dec 2019 15:39:15 +0100 Subject: [PATCH] Added pres --- .../balancedBlockClient.java | 4 + .../balancedBlockServer.java | 4 + pres/graphics/balancedScheme.png | Bin 0 -> 27909 bytes pres/graphics/less_simple_protocol.png | Bin 0 -> 26685 bytes pres/graphics/simple_protocol.pdf | Bin 0 -> 32290 bytes pres/graphics/simple_protocol.png | Bin 0 -> 17573 bytes pres/pres.tex | 164 ++++++++++++++++++ 7 files changed, 172 insertions(+) create mode 100644 pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockClient.java create mode 100644 pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockServer.java create mode 100644 pres/graphics/balancedScheme.png create mode 100644 pres/graphics/less_simple_protocol.png create mode 100644 pres/graphics/simple_protocol.pdf create mode 100644 pres/graphics/simple_protocol.png create mode 100644 pres/pres.tex diff --git a/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockClient.java b/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockClient.java new file mode 100644 index 0000000..4bf7380 --- /dev/null +++ b/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockClient.java @@ -0,0 +1,4 @@ +package dk.au.pir.protocols.balancedBlockScheme; + +public class balancedBlockClient { +} diff --git a/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockServer.java b/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockServer.java new file mode 100644 index 0000000..a2b4961 --- /dev/null +++ b/pir/src/main/java/dk/au/pir/protocols/balancedBlockScheme/balancedBlockServer.java @@ -0,0 +1,4 @@ +package dk.au.pir.protocols.balancedBlockScheme; + +public class balancedBlockServer { +} diff --git a/pres/graphics/balancedScheme.png b/pres/graphics/balancedScheme.png new file mode 100644 index 0000000000000000000000000000000000000000..55f406d5d4e9a56c3e212bba151fe633983cd48d GIT binary patch literal 27909 zcmd43i9c2E_cweRl~Ns|BGkzgGS8VE^E`7Bndk8wW2Qn5LK2d(Q>G+E=CM>Ve}rTv zb25{ed+k2o-~D{==YIZx$E%dH_rCTutZS|Jdaw5-LQ6xDf}EBdg+fs%D`9m|sKb*e z)S-hD$KjKuj2G!B6d40S-iYArV`J}Rjbi4P`}cp$d^~opcmgv&mYI*w+uNJV%ER27 z%ia}!f=kY>R`xdb)>i*s=HuZNy}`?OgGWG*SBRNkhK~pN#?Qqs!iW3!esf!Em;bb- z?&@dn1(Ov$6}p+6n%JkKwzfE_^eBzq~wLyn_GU z;o$|%3-fUCT!+sUtt}m)Qwqo(@P`*ZQn2^1wsG}=50RVx?SPlH2j1S*<=_7D@^SHV z3H^J)nqY4G@29Fxq6YjbH#BiRs!mEe4)O$jXXpnqT7s{e^}qL6S$o-ATL1g08w?8n zp9Yan_~l{ptnAHgJ5f=v^6&EWHD;-s35q_+Nn~1xQy|Id-vx=^RoRx|VKaZEJi>RHB zi-MjXGoP#=-c?jyUX9?b<|3ocFDvZrjZC=$Tv5=n_lAE&y#2gA{AB!i1g$-_%;k)+ z&T0Y{BEBwa`m%n;nhFGGZv{VNUxJ37pSG}wwy}+&I>B7uT-C_YMnw~+#lwTOcGglC zRZ(@p^Qp;bL(`%j1cIifrK2UNI_3eQ;5e(M@i7bhQ~|W!&=zd zStJW#W3Qo&wJ^8h$7;GN>)M<1$m=Luy14mRyW8P3G`$VIy{zQz9W;2p zSZg159Z?HjO)Fj(ULGY83#_%Om94jzA+H>PPgcg;8fyo0Z)vQhA#0;;EF)(i?5t>@ zpb78w5RsE}^$>Pf_f>S2*OiqM)K*bfan|6I6BV>__tI3<(D8M#(=rlqbmY@i5HV5^ z6}56P)bJtb^Jv@I8;A2J5aWY;DVr^TVsV zIV)K>cxk9wXn0}u)P2By6;wR^lx)28@QVCO*1Cp#!iMtBI2SK?p+29l3s%-rLC;3i z#!kl4(AM5wK*Nn-VT-eHPy{QLm2)yS#5&<@Wz|$Y)wLWoeB1@x4U}aBMZCO}^lhCj z+|_v8RV{c_;Z|Q!_-5hhq9`Yz=LY|k5m1q}6|sf?x#1jiEX;)kWNpn=WRx{@Rqb^3 zg@t(C_%zh<`fy#qLtEQJNJ&rB&=sfWscwbG2{;;isPVdc26t)G*dp*D{S zkCUIajjD^QuC+Ho(Zy9?)7Q>ckXJy)1?TQ(BjTZ|&1a};DGcvX#UdNcPC>y~QCLvl z4sT#@VCQA1;;o7EaN`pu7~$wu%#i7CSFNJ(M8eQMS);% z?}WFpbl}l5SCYfZI(cKQRP?-MeDP|6Has@o4(e)3SP?Z3ZwoCERU=zBA1y68UKe{m zb6t5$4FM%P>Yl@xF#6HLBO)uVfLcG5pIJB`C zAbv1xrio?8coZ(&KZ1-!PG0yLK8)@sFK=Wt+{anyc#~b8T&Het^F}Wpz!> zhB0SiyuyoRl0kkA?WIdwIch8%kCm91U0hr^6I4{slgr293b?xG*0<8r(}frrGpfTG z{MbaVT&bU$n{!-USt;`M^Xpe*iB~V|opuy>=AWRVKRPz1eeTkw$=%CN9W?us1mrkst)XuMy z3Qr)uB(YN=BN_E$$3(J_+Occ2=xD)YH7P$ozXd+pXj=hV^=vHWx^|x4u|tOriK?dv zwfU|zv92~o(={&EY%pj(6Ns?wNNP`*KJMH5=C=RuAH0%5`{K6N*6yaJ z3B*Pi#y? z#MpF3P&(t?-|z0Ts6U&4XD4UZw+}~Pbx2xlOMmbs3!OYJTl=|~lgSB$ybRO7ea?ATXi zZJ?#4RjQN6`A8*8{`vFgJ2z-rBw^tv#nN03qt}^9Gx2rAyouioM8tpV4NpuKg&_KuDVY5dP4QzZkQ1#OOz?T?0>Er+qm(?n%S7Z?m2K5`^BG&Gcxg=8C% zoBm_!1awyGW_N-TQ=zY~ud`l$Pak59y3Ir@J+qlfm^KS0I$8kwkUzV!2#SSM>9u^>JzvoggxG#j7VzoVaM3qmdSZ z{S+&;@3Wj_7T5$|q*aFUT-7A5W%%&xHHC+x+3G1%N?G45;+qHtg}ogwic*v%j+OaB zBdDBnXi7@H552t`)qPG}{#%nts=cp`uZgwDP?QE81f~nSGDt0dqN>0Zl-67E-CkN* z!Ks{>g$K1-p3(`sh>OC^Te!KoeSitxg!i3G>&Z+M^O!i%k<1^S;lI-4Utn7 ztoZiw^w=#UW@I`8kQEpmap=s|eqoLM)FHXUS!h;gN|-ua&U*LH@3E6qEN(9pqKhUx zeDC!*3}La{=(xhs+GFsP+g)>WbGf~}J#HbF!SXwwBdJMvYUzZp?d?lwk}=W^jbD-%t-OATku^w`e( zilr^oVb?-uVvydI=;FcL&BP@nPJzeyBq}OODyEb!Y5Dqf^w=pHx5gOyVkS!EyriUF z8_X|7tV$>Sd3eg9l&q$v=D-eiCQEiMYFE?Uo%aCR-)-gZ_+iDDJk;1YeKt&XSqyy% z>y3j4az$}l+uI9uunRq4Kx|?MD3Kb(`?PS^ISJE7Z(Y55HGFq>_c&Et)lAH3c;Zc7 zbf43Hjr;hQiWDJd$}~L6KceO`1K*;h}X)qI(k8?cd~K9~l@JY9A2$qZWR{y`!NI6~>*4`%+g|JEW3`XLwM8 z`YtY99T`#?w@MuJwF*sZ>JA@1Jata{(aio?c;J4rTDFWwMKzC*(04Aex2SFwFj&N4 z|5;zZar)#*Q5yl;3@Ql*xK(=H(M~8Oc4J{^;6WC}p-=tq?Ws1v$9!#Qc)@n%${k*` zd<4T4xUv2NCr!)4GxTCi^Me(-1e!y^b5^#tt6-5LOiZ7q#>eqGSvobGe${T~gPH9MllzeKlOpqE6A{_*<#1r&+RTUNQAg*ZV_sFxv z=l#>$D=fvt#I*Q3YL;rA2^baJ%wgLk0Azp7;6ZZx1~Up zlZAza?SgkI%E_?}l$Ne9)T3E2Nsb`W>KbbW7;`0QmKt$#AjrkX&yU5Sq~A$cxJ;+U z)a)VygUeiR;Yg3mQ03%VT7j>U7N1U}3)oY3qzK2>?JV3JertYYvA-k=wwq?H+t}fp zoSb3^WZ%B&gddoalaq@G3MN1xZ6G_#Ffl(+whBfp%Ec9Pfzzno%zybAW@t; zwF7==*keuOj%&Ai?2Khb5#>U2Sq7}w{VGT38W+hok!o*xEbQo1!O1T*?3N;uH zOUX(ik-n9=46$$T9zp5b9qjMz4&pl|TP9ZyhkW2kXr9tA6qdsLQoQg70bcO>S&22RW;)mEI8od7%cjLP6pWJoPu+F5YOb@fjb2lXS$d_P?*lt+_g8)) z&3l(2v6jY0*2cEB=n~vKb=2n~XseA>B=wEq3Z^8u6gFQOB|Sa;K&7W+%1k^tN<;%- zPtaPY;^m7MpH9urZrwm{-Mk~Bt=&iQsBmX%>js$fu0B`Ng=cEn)i!OD2 z4gKoLFLR#x=eayd^CC(sV5%*p(WY3mqpJ(gjF#VT8EZ&so)U;%Sy_qfom;=|Q85@e z60k8@y}vyt9<=X|z=}6MH!D7U!tQTPXZRw{eWiuljDnoJ*~{CzEJZE*8hE@_z=7;l z5i}^&W#%haMwCccHOQQGGelT$>;?wWH9{n@DCyE<(&%M0xn3K#lI z9Fqhcy4hl)qQ>J{H6!;$wB*5%eIOW!JAUU}=*c%kkRXDP|NQwg%#ze1b&d1}Yehh; zFf)5~eZ63AYU<0*#^MEuKSzS8jNVxs>&??;?Xu#Vzd{ny6DrBdQFxK;2#%5p-CJlT zg@>sKb9Z<5-{1A^lz-r0pr`lgruV|cj~_oC|Ct}KWlL!G2S70~HujE4Jbq3)_vJk;(iR5|b^dsGo-9}7D73w#M_7&VBYzxic#x?_4_ zs46EcG}J^VPcIK9NR^n&jrNU{965v%DNu-}l{k0#@wGPnYKTWEe~+33@qt9=ZhYce=;5p<0#R;+Vc z7Zn`T1_8Snah0)!us;r(himToej=j5^u*2b^xiO$6y-B+9YQTA69{YR5LhD^G@;2? zSQC@W!uH>o`WhO>`OwkK7}w5e94dIgVYqth@mZ-|t+h=6=30}FA3xqq^Bz_{1;G+B z0R!DWD!W6d)F|-${2^p#+o>e%U@#*6$Rii&>C;F(4w~n*gF2`0pn^Rh2xNIx-Ch$x znsWZLFw`8YB~WYvcicnrB*Mptp25|LTSJzg}#;~e89?y}e z#1v0dV%Z)%jVgI)TDUlrrFuaP27|gY)%ilvR*C7cMTN=!b@X*?M$VzkL^nJhao(Ml zR{*c-UJ`aODXpriy3L+Y%e`$vfofNl!%AY$%UH)!yC`GlBW8FpzZ9@F5q78q34t+Y zj9(Pdf@mj#j=nRM)Moo z*{h@t$R<-Yat88x9H^+t<==n{5K2}Pg~mn_N}UHx=fO7&|MOfa0Y+#U+&wLe?ev=6U;7d9#V!uz^6_%rgiZ|*|2O1)RpT9xxfmb^Wld(Mi;>OhZfitP}2kFB5XyIuM*+*ht{c4cFo7WXP_XXJ=(d~>ln9uP@8l{WrE^0CY>xti9il{v|6Q;gK)pY^kJ>>dBf zl-UkGbi~7^_34LOrA}kul{@zs;o;P;P4TRvoSdA1kJ`@B+n`L;<=Af}OsGaH;6Jss z75wPv;GS<{&8QZ)Zhk@v4Lz!%tc)INgjJ{yQ%mM!22jFErTua=^~mUxR_xjnJ@&os zJ3PB%3k#+f&z*bp9a4#w)v31P#lGV3WjiD@$|av}Pvd~3KPh5{qVv!RX#o!OIyj@J zg}rm}uMOsU6d8P(_=SWLgSI9wfcq!yaKKaDZUNhC%HR{{C(-7_U z97@DC-Ze6)rtsTpG=WLUZzvjEctJ4=>cE}+#T!6L>_?(3Au#j~R&N8MKI}ZqT22jAA zqcI3V#Kbq5QqgCl_6yzsv{1F?Gd72D@*{)`&?py%5Eq47Fb14b_*5g9&rKY5CR5HS3qV)RLX1ln55h^Q44K(!y0s_fus|^he2M8Oo@G+`a(wCUbp;(?oYtZpNNGEa1*L$;qwKv>R*eCBbo%Bkp7(5PCId0G&-)r zu9KwGNsshP8lXz$Z6?wM`EY^UW9P{~--MWC3{9wyRN!-FN|DrKRPTOB2sgU(2#KGr zTaB;4U?&f@T;OV(uyYc(8O_iz(okxm9(x-rCVB=%CP*~MPjli+euJz~n7q6^X+Q+- z2=2P+HY#1Klea5JhzX&sw-X3d!-_*%E=!b1cRfBY?gy!k+LdxvJ`JM1J9G58TkwBnS)To9|>xQDaQYg3c54jV@)z&v4@98Jn zz54p_L{F|_EW_fT-+jf>gob>V32a(Bb&2bUDFJOl`@j35EBT|;nXYBhMN9Kx88|3K#P*Cybg68ATYvuFYg4fQ>w7^} z67i$Fje^@1DXF?cw<`%vG(-PjF|2chH^=|G-%jg>z!R-vyA`ZljyBq#2kMu#GA=?v z*V|B(@PV_HiH3m$A>a&Qo8w5anX|F)rRy%#iBRrR$X^xG4U&ecWIa zU+>lpkI0Q3-8`Y+=1{VLs|&1|`7?R`YZI)B%zv-St-TV*-UV*VFAhE_S?XdVPPs2J z^tbY-0d(U6< zG_0YdqVfe-Vq#?U)vGEkM>C@x{@U0~E!G{R1HadMbAfD>{XZ@F`1nwcDRex$2Bg6x zqzm$8967Sc$lC%ohFJfO$FN4ob+{G#DLFYA*o>z{AAm)zt%I-hIT%DeCg?YgxKYC{ zYwTOOXOOSXOuFNKo${4VS8gtw+N~`zk0Om}2d$ulknJNV#Sfc0qU{DjxPm{K|C~Rm z-`Lyh-3U1qw(NS2-2XM($-i6ynf{)dDpj<56v|H32~6GT&gkY#aa1td-POMMPI))` z|Ht~a?)>V`yN(smcS{U?H99{pu`?bkMKhG0O8Ng~OVC(4%j;?#eyoB5LmdE_8KKE1 zUn9iQIR1~_qPvGiN43UjdHy<1MmB&IX0w&o=$|%veZ$ z_lueIjsev*26z*BJI(*StMcl0U@2g++4)pusq=Jm+E-w66J2yQqEcUWRj~i}V)J*K zd3f-tW_{CpE<^b$rm%3a(=2dHo>1k1n>d=*p74KI{qz0dz@7O9>{{v9%O~}70kA1@ znUr6tye)de z!BzhNN-M^8s}dfBveTSDPw)X^h&1pwWDR}*;#~*g9Zghw>?kTOE=~$?LK11;W;g^_KWdAk*X0=kTO$n&?6-# zU+haXT=P>J8XDp)gzO1b9|8PK`V~?(DFmbUVsv!$Gi2Q8p+9g56`Tz0uK#^vWmG#+ zYi})@R!{{!ghF2BPz7mZ#?_-M{T%G<4r`+yLgdTjkSB2YKusw|%v|rRICpe)b#-SI zP%`xp!{3L}fP81TMlvU@UJ)U4EVgOmig0;?yr@JOHhL^&=Kv|>iU^vUyDMR?7E)SpQ-+mL!jQB{c>414+}vCm z@-UJW;40F901sYU8x57Iq^QV9>;;5=b{U5`ItJNaEU_}89j_IFM1exs60jXcOKv+k zakg0T0Soqch6H!l-}v<9OSYen&#p4|c;}@v4w+u_{cS);6fF+d+#=j6EIChpj0(+h zp1e~YW;QtJYg5zMaSGa(U#*I+lkjxiZjjMN0L4%#V)gZrMJGjFX+(6ib%jYg_LE1& zWy2PDDD^84WT#&0*h`{IE?n--6pDbvs2u#h{izFF=ZDA~q8$yJ3Z2VwkUNixLxE8e z9nFLZdVZC{f!PuOTB$r1`vaDZqmsMZuGfsY*G}Nyd#!+k{nQYCmYXM~&6g#97KN@+ z!P36drf{H!l|2p!G#ppzl$`PC(UnTgZY7V3)HWM_poMtR?+OdKZ*kHjwoHJbCnr?0d_ubkG zWe@A(zE*_hHWr6=%A@u34VLTg9nl5odk>gcRjj8xnNY68v#{{+gAAx@jX|!0-3X%% z-#-H)Fx04+hlhs`xLGJ!CE4>_JaeuS)p?J?A@&MX$PSJJe{klq$Xhq0S^@8uK7l;L zHD5LoIF2wP6;)LO)_i@On8@?={h3~m&UNO~L`@b#4Ph{u-`2y_G<{}&wCKch*nXJ` zY(Tler~R;%`2ojsW7mkIt;b80j^y`LD&=%pOKs1*=z{@G?(X_`27JsqCo2lJ8(j>n zoXfYDP1a!G4~V9e^glAaW`STfRLRo0Tje#+N5gGu@(h9Onj#XiY-EsRyo@ zB=(dgIEgUgc~S#ywIsZ;i zNpt8)sugfM^W7giz9lixsJ{dbBC zo{6|yywPL7@ubPB3wQ^S7cw_4WOdCBgQnnz(>o(RNZvak1e)^ru2>D1I9`~Zm>@22 zpHcj~EG7L=NJ^a_8;euNE=HZPLG>CDb5pJj%S*wA|JA{vPe5!64ydKz%n*(;c&FxbKh^s=jrV$W9dIB@C4uFhY}OUFN~Ny zL#S*6@<<$=;CJ_~ZHZIg%C9a>soPAImO~VO`w$!?;bv z{U=zAuVzlyULF*J2TB}msfL~}9RIsw^*4YX;WPuXlM8x!a)UVs1|H*l=l+QowktC>0-N;2%Cq?vulC&Viil{Vip(Q{q^L!F1co! z7;|OeuH%0mFbBf<^5x5^&wJ-sBhFZA-AyLW&;uGMfP&~H$W*;&uLS;UcfoggARRV& z(diRG{CI4dKUY2-cETnwT-O%Yd(ApT+<%771ZqwGU2N1sCy?WPBO@aqTiAI%^Y*x4 zQVj76O!qb5{M7aVcVo-$hGRlKa+!;Yi$%r6wjUG#mL3GsGhNJ+J>#aghSAnkYjVT> z{(iM}3yryTF1ytJ=C#JppCh=Aqx3?q%02i2m7+tPV-yaF5BQRQ(^Z(HOZjgut#xT6Ne;s|gRAdAp}hSE|mbs54TQVLd5wgu*L_j!7P*iczuV4&etM@9xmrMaQ7EL%A4=eAa0 zO?9<6!aI9|N8jCn9k**J^#UpeYS`4&RR4~~N2V#V)kozYT-IW0nC)Z+(rsW}>6x(Xvr(Dl7Yu;=ogy zjVw3K)PMQ22?$ZBNgwIU6TgE8oJP3*yf*XQXHbNU;5sZ_Qm)HpYa>aR(b|&i&3+3> z#;PiJ4MA?^A(1%hIrp8He-&J#%Vr>KtA%Z!se`Z;Koe;tIOni{D(}U1Sf$CG;rY9K z{2)YF%I+cr0=y#Mp%?dgbPa=9C?9D{759B?X<;G4!twyJ=2)1;mbMJ3IvzGQyZrHM z^yRNmQ006F_%RQ35jUuZ?i|YW8&Zc(mEsE2u+_F53^q21T~VRKA3Rve$p~z2N#dS1 zH1*Bet@-VB6Fkk5p;^FZFg8g45%*K=y9!geTc@QFMAjd6>cYweGk@*Jg$aEA zQf=WjWI<~)oz#DJrczv8MAN1X&NUwzeFl_VVw06T_T{UE-(>C6=0HBJP9~Yr zL_&`LI5E*+Y^1-ZATu)BWV`6MDKY@iE?z;QNw5D>GA56AHmROhl{{4IZjJo~p{Er(D zq?_vuO-%d;{Hl&aIDM0pl+*~t9S!U^2hDqwT)SCZqF4O=l2W?U{N9|RTPuJ`%elx@+GBdNp4NVuiV+~nAdo|>k?Z> z(+re{E1RyG+G#3u(0Y&I##%ZMLX*OUrUScsd%loIOmeiERQoJvFD`e?yBusPvXKR+ zKuMxc?+@q2+#7oA`j$X&?f^GBPom3wF)=xr&~dA+t!?t;8$+K&;5a&o7}OovEk##Bi!t?b=}g(Q^0hdA1-&d++zIfO+M*; zceg~V)_-e-u6ccTwZrhK4xZcE!e)POW5gGf1(Uk?H_otc-tb6F0heDj=~Z@smP7go zf)g7k&pvjb2)h!~Y3I+)$HyluA#s~9fX{_><3;QHe2st_EEGIeAU{2~HF?p|cPjNWJoQ z75H0w$PC?bv`lfhW~lanBLeP@clE&K2@|H)XW1fbukc2YPnA|6H)65iaF;2ptGtS* z0r@Y?N_fxre};JY>RfJoe0)oHM~5SecmK*40VD z3O&g0<2bo;cFvz z%|^32CJQX~Xe|BBM3_0VTAMAPix(@@z!y#i*|oyFLPF8FJKr?7;kz^ zD4A9g?6;nXU@CKF-2m0Ov4WGZF4f4{Y46-R_sSUbWCwe&jY$KBCCwcjg-h7li3zK8 z5qAtkX93 zqDM7P&$OnG(oAp&qFX>$k3Ql}fY+jy^$iS^6n6an5Nfw3=E}u1H*iZ3Y(=@bW5Kg- z!rbiwxE)+d2k}7Rxf7BHyZD9fJSzTcPvqv~5);4NDs!2vxw~OdzJcN3h>B&DG94>< z{FqYm?jNTx-@y$JaeSZ20%U5dU~GLh#rl&UbqZG9#IVD{=xPfH@Gc6z{t@%YqNORQP2c3aLo+KHqe<2 zW~*Vn8u;Sw6yAHulWcnKFl377_)p}6XSzKPe znSJo;0Hk?afKw)gz0qi-(GJ)u4IRoF8gF=9YoK~OxoSJ`-o62ntb*?yNYzBJ5oVcR zLR_3BQu&G2btvzi%GOB3F;${PLjbl(`fs{zy(nAMx3|BJs5}1y_{#d$&!IjAmA)2ixLP?GUvg_;ehQp8g24$w zUTt!fL_;cO84SzJ%wfVO_heRkTzEjDn#E5x+ zERg6baWquBjXaY(27)b}h}^iDrIW&AlanQGAcY|fAObg($dAqCac(N@hcmk;h0O(M z<6-;&LXbqm|p;g0;D`(a0Eo{Lj}hJxxJ6ZIE?j8Vf1 zJ0TBYva+*_Ot?BIX(h*|{Qdn6xPaCn(B<()Mn?W{DDiM`c=eZ)LFv79?Bx zYnE5kE>^Ei^yN>b05;j9`y~P#G?eB~nM7pqYEy70s z4RPV~=g+OJfZRF&vrj;&c`v4MYHDf)#v;m3b?_eA2!556me$6X%xQ+Kv|}G&Mh+5P zRQ}FHyyhm0L_V;e+;dX++P}N7z7as7dyKL_TLU5<&`%kTn9#AL^pxGxe4+7 zN@Y#?Yj7G6CMUsIc=_>=%u;EG*>haKe*H2;9`M#qWdleO004M`+^`Xnp|8Nq^q3+$ zAh%DAMfW&5EV4b-&9)6RMR;REh`T;i3dbR(N(!O}7zXfw`cD(UAW%-@2?PNsX+Hr9 zqZ#`N=ts_x9H>(cLKW13Ll_$D_D6g+=&kVBaP@LkP_J>+?r%GG&VR9|hmDzN_zr-6 z2ZzCHwu5cRqbI*a(~Z0}i=w$v4r!veP3uJjPg9}I>NIu{S1KUz{?{p_Fj$hPlh=9; zQ#|wf0+)lfUU$O7(w{C{$%^(k*i39i6W3Mu$?(}FmAOdfcbY{VHXbV6c))~v12fawIE zk$_a{SV-im41D~E5Dw%?L*#|(>Eg)|xw4}G@vc#!7YE8>lUv@r*#NBm(H-V}_v^J- zk(qdCUD~+_>YSJal@dd@($F9d$Zr;4m%cmtRSHy){OF-2w@j!gu7K&WS0@6ihW!MR z%gMqTaE^d)@>dFBh!7ysA^zUl?+26e1!2pXZDi|erG$os?I~kvKXg*EH^8BQ4FC+| z&t(sIpajZ-(a_YiwV8sqyTjOBek}GoaQ2$%yLOU}fnSJAP6o(Fh2Hqp6Xh&)E6fsj zOnr(Bq*;d|Ae#j+m1b@)LtowDOK!h?>*v|#U5K`7*j=dg^5FXhmmz~1CXB%1dq7gd zu4Y~_EH%BrjeAdor0!K|J<_{5!ouLzd9)`@8uN4V>*pi=#jRI@R8&=AX`g`ow1R#J z0iPTkbBQ}apl}d}T>oaRtE}u{h->A$uYgX2h|&oq*A{H|ZNh`2WG7CYQf+Q)qaON_ z`h_*a|05P*Gp9k)u@$oe_)hQXtw4SReZKk$u2T92H8pjD8a9wrd`%=K1&B%jo0LP} zQ$KF4PA3x~e*z#xibBZh5)&I68+Rxwou$;i^&uJkDx}k{Rnl!Vc*bk`yqNbwDyROkXl zfy0nfrjdQ{6-a`t4sdV$%pasOul1rWUE-!fGg#%;Wjfb8~l>K#9>JfzVHXr2$vE?;RoAOfWR9xJXIqVZxQ<%0yZ~m`;pG z#jgE}&ZmQbiBci|k6J(+2C8T3$2&{J=Wzf)NSgH6(#FurV24Som%3fJL0j|tLkQWx z#;D|xcuI^AW%U?K$KrNTu#RgM_Iaoeh|EinAi?-0;m4Ava0I% zWJ}U2C}`enZf|FU`OmYGToGkn^3iFI;Go8#p_(cvujN6#;5?^s5tbl@%vA0ujApmT z(2QDgZ>=i{bM2aDi&YV4p58VUx<=+{;$cCpc%b9eK|g8_64Cb=qId-YBW&bg+|)!< z{4V5}tB9o33#f}6BhJK$y6G_PE2Mi^JwrFs!?{9!2`Yk+Z=3p#-XnX%b*uEX9)S!B zBf-y@Z`_DR3W`wj8|Kh^H*`fs1#((w9}La+W9Ug=3BR>+9k`K0C5z86ODD^*q<;u2kU}(N zCK+H~($L*SrDgze-Ze|uiB_=u4%@#7k~a3rLYRzTX^3qIv|fTG@C8oiG8L8O++YRX z&&tZ`0j{7OHs&!n7;|gFW6J>($xONchZ8U>=bt&C9Ej2wKPga$UVvIhD})^C-yla{ zD~CR!60G2S48(H(rBRt-&;tM`xr}I}AWk5O7YQ`n0##6xG6d+-g&+r&tmbcX>p{QP zw|y|rl&y6&{Lr9MFCw1iK$WP|V`$C!l4CAKD+~aPK857Gh^Vjpu&{Y?ANB&crUhAL z<&$t`ii?wT0;&h?EiL1qENE|T{`vmBKrLaG64=rh1h0bmj6<%q1j)4z6nv}gyI4#s zJeUzl+h2|HO>Ztu&`-h2j&xjtTr>D%lny`nfFixP5(Z(E~=B)&6S`M z1x!aJoTRXPXXFLcEyeK=^XI@P`yhOGC0bjRy-J#u`jRwi^t(S40HA{Bf@sHJF)ye? zBt+n(pHu$&_kvrEP-iLvf$7VbOZ+T~1dwEnPC?;U7=mpra%znoj{blaB?`(4QBc8n zuEx>=XCIQFSQP`&96*90sE*`89;N|Ac~*}@EKuAdg0yX}4kdmevd@h)u%{yIxX@5s zJR8CGfOuTHujhATt`ocRdGr=#T==6k6za@|8%SwLQ2t}!fnyaN;;U*OcDGiyz~)Jf z)wGL1vsGI)J$?*DFRSv3iUd%3%_GO(wqOs;YD%o@WzX;(MoG(q80xEVvRXJcqxw*$ z%_V{kxq&5_DS)jc7^I8TqV?2ZcT`0+`fS_Ck*4`M~owOhsI`UAbu-EprSslY! z;$c*-4V+zj59jk%L&L{W!SQ%j5(`#<2lN{*up%Pn5 zoezgQ^$(%698X{5xx&rFWR-mF3jr1Ui-aM4!FIQR%IoL!blDfs_CD3fsY0xe(P#AD z1ZXU5BtQaF!OP2wu)si9TnC_lP_~;O3`$L&-Q2lcTvQ~&%NutVilYEaCLjaGL)8}o zLMTvjE{jkP&i-uC1iDOSpvqO;+?Hy=-7e<+&a;Wt=}TMc$p+#G4*=S-rK7{!X9&W- z0mLHPWHkfI%a?ckJ!1gF_q3%EW&a*Jxk|bit-#-9@$NMoD!Anc@Cr^V=s^rw1R*&n zr!s+FSB5h}qS_$KSAQnZWDgV5jz~9mfJm{GT5aV&2Gl{R)XwkX!MdQJz(0Mq^Dw*$ zIAck00h+C-ztlOU5BR5iK!bJtFjOY+c$Z6Xw@2X(PzslZr3`)WV1I0WelHw!$+S=% zf)iw3B4`OYY+J-vvpctkKsVQ_yMa$|A9 zTD>e1?OP}2UPqT)B`M}Q^*mX`Pj}KC5G=WF2(w z>3*PV67{)rOR7*|ac{be$|P?E>R*p5X#fDr4v_&=>h+&Dx3+3t8RXBOJb9ATVGC8< zS#Z#Uz~Wa22M06C$IgPw>0g7b%4%U@K`x&$h(eiw#MEEsb=PbWoN86>oJ~hDRDlTIW(5Qh14vSKS={XeDw71oST~Tk zdqCMQJ8sy+yt|XZ5YuV>) zCPh}t?`GmLC}~ef$HsssyrKA_)2h6xYJ*0CN^)!tQ!|*foI_UO8 z_0-HPEGuwAHH9U<$%C1)NvSggPJT*Ti)X<(fKu0yee#c@sPg+jZMp+_!kw@8ss+0S zuRITVF}nnKZcPa=#Azt6v2UlILb-*2ifo0yLmaP=rIUss)so26;iZbdUiUb7Z|&^Z zwx$RdYON_>L^+f}tYf(8df7a=;*_T+7D3#VKN|_HW16ybW~-p;TLRs@gq(^Ccym0MmR(pl2_SRV zVW2efx@Ns7JNZdu(r~}++Dp^I5wO5VC2-K^u7N?~3|<7)je;kqAk)nOt13mCi@!`cdN2rZ^iVbNa5_(P&886Z&fu#MRt|dLJ zz>hmTmqB)F46^ppGz7~5vi<<1Q3n`g(J?Zz95^J7r;M;VjSkbFe+x)Ws~8SQ_hGwV zJYJ+yz>Wi6ZI(MLK?wZv@KWm2r)*+$C}}}a&tK<*z*B_L-~7$`i}Qc90A6aq*W_UZ zl8FoXzfnkAbOaWX0LB8d{f>O3EKBzJ(-#K$g>cmNWh?~x1BehL{v#;8cgXRsTdp+; zlXG(^&kgdqRkFTa!miz+j$wwelpHoIqZXa99fSkGEKo(~r-@>A1UY_1-QJ&+8O}qf zgZogVglR-h3V%yb$x_eh0w^4ZJwKVb3@9)2%T6>gayIDsE<4)OW2xgbGimI2$XGC( za+TN^#P>nQ`Sa&bi%#PsD3`0(uSbA|+!_SHBY>P9H^>iSAx%eoofut)WGnMa)KwBE z`>FBdwYodCFKJswm9Zgk`qBVF1Ojlx2mkG*@-B$sqS~*ZO8NoUZ^94LhmIVdfFpRE za6~~0)bIWnzt^;lz+?r}az7!G=Q&k2yJDZnV)L+1RySBw$UuAX*-0n^gymu2tcwGn z*!i%>1a+AM_+U_7waGm=eVzQ|$tE541X0l4*kb&Wo4+9b!VTq(ILaqjrktW+4ea}1 zqDMq-LZ-*<4r#1JKtRAa5Q&u;85#2c|8E$>;UZfbo5*$^6juQdnq^LXA3?!O~x4 zDB41+Z7wB8zP!bY{Y=M}m6w}&)$eEUMc)_IcMM*p4^lfZ7mKG89RD%s9&C)B)TpMH zo&SybiMeux?c}yZkbiH-R$J_)DanybJ`#+v>u%qljo{|?b`G7Dn%miVy+{rx?qz<7 zDXCZhku?UQgfqeb*J9Au6r6q!*X-Pda5)ogQGF5*3zBsx5b@$b0 z(wE#k+})Rd7Znv9aI&-azXJ}Y@L;>Qu6Fr(I0HE(uYSL9$__M0a&PqZ&W9K{RU0$} zzh&S%=!ygH+S|`Y(Tfo_&n!`AVwUUFl^^SookdN*JkzOmhKvP}1R zz{5(fCWigy3YPNC_Sn^c?{0(~dq)H6_rq{BrR)2*Z{J3|XZ{(x`$_a;c-G!Dlk($d z-|l`gHu__gas12rOy_twNEeL#>JO1|a&vIpJt)rD`&|VFwEPF;k^Gz{ z^X-LUD<&=h&U`?|;B%!lRh0iBNEYTGJt(UH2R#6tG)PEFI-ql-=OMrN^iKwnN!dZ; z$h|t4DV6nOwMR|*0eJ0f|C!$jhXk9j^fY$(}ukFTM@8XEx`mYiTVEOh`jg9;6l7T^G!!I>(N)~d) zm2V8+Z6L`#|8LBYS68L!W@cGw_?P8& z_-3{%r-KpNUGJ!$tY5AVei;fHk=U6|DV za_m?HYx)T&1Rp3uEh}i_A%DBi&Lg=q#}He>ky=C)&%+7Zw-U3-1IN{G{} zR$LsS@)#VF@-5%{Gf)Oxs&4~i%7%>YpV0Zo&s^U00$U$GCJTOD82EWlV-OIg!zuNg zvwQ4rmzS4U<@5IWlpntwYSgWNmnWASIsBXSJ!7lYc35(MbG$bV-!8hS1|67F7alr4)t*N8x9eOc7ZW*+ zDNRA~umt*w2X*kvOUxl_a(?sn0Br9gaMumMKr{faf==YRO=}9j6JzNUm1Zbn@w-dm zQm2K7eJr2Cd?XgPi#ay9H_~tX0Vd-+s1x08gI#5VF*?JR-FaJH?qdmA`vve1yJSoF zQH{}*`lF-RQGV$Rrl9S|O!l#B-WDxk{n;*`Qar=at|}4~<>&raW8WRs)DkpK2p#F| zi69~f7Mdc0p^DO*G(k~H6!6iJM=u5y0YMO@lYn%>la2wTBw`Q+45GA13qeHb(mTJs z!S_4gU*Gx82`Be%_U`PRot>GTMmpQDm4(I91mIM9>)+ffrhsvvv7okg1^*^+q2*0M z!FLP*unrt08W1DvY4Dr!1eR|*;Jd8(J12aN>;oBlK;e^j15bfcG8w}o(U1A(i@}WE zQ{mT6!0fRQ51J=}r!aND9?wbeLLq%C9Z=EjFmkQcBYXI_5(<$(@h5nQ_y!k z@G;i`W5lGG%}w97Z9Zw!um!-^hVQ*)6!OpjVp|!4Gy&FG8GWzg)Qp+hZ{jLB_?qaw z58~e7uytnyD7ea2R#qOGPn8CqzaRhg)s$j-n_ zU7;!~=bVVJtCaT@L?0c@k~Mf9V5vuMWD)%gz*)O95gClVtp8lnAhbFQwV#B5pw~)o z3sfcAfJTes6|fvb(LCUq_op*>E;%=7g;YU<9`d19W31U<6?{852=$(9($Cj!6_BAPK^x3pmB0jWC9X=a_+K z5RtaYMxe(hFZD{BY3{Pm7Rc==p5~ z=MYTUA_*XRxywF;Io_P+1`Xe8!i0lPfJcxgeeLgoF|j%rm|8O8%9*N|4F)q>!zVf~ zeK2p8Kl7HIcR(#$MBimh*OvjR42GE;HpZy2_83` z9z#ul`#Ty6ay0b+^48i1!~bQ7KKQ-#$fDOYcdX2DjklJx{yvm-08RlC9neZMRON(3 zOmnl!oWNB;MDTHh#Tcwa)Klgkh0xkaPVVrksQbqV;xbhP@*upOZekMwNMO%246}tO zsMpPd839D!1MO)#Fn~o%c%(8|s!MgedL7WpT${K=LPDO4!UT_!6Sg!=VQadB`s1BC@@>$c{xW5FwXZ2lxY`@ zb_*m|M6rv8*{u{GTcCxuaXJ$lw$IIKTdHCo>gJ0e#kh2V1sgvRn8?b zZ}I6hIDD|rSq`UkxRJt7FADo!+2L`d`z(KqWST&XhTdi3){mDYU^+hmB@#TOZ!rT99X81jRffHMKGKO`^eHTXlSuE+?{lt-dp>E`D+sqIP04fX zkE;onmnJdeS<+w3ZL2Mo%}#ldBiaSf+m__Div-um_88eSm{`Ug7fQ*4@Q#{r5`!+c zJZI5Wa!d7nTs$dN%y~$U7w^wP>@SjcnF_^uiM;^$n4Y;xX@fLpqgqP*%j&cy_Nu$; z^4qt{S;i_JuQsF3lDnH@^T)fLXKc9j8pQ?MvtotlHoc?-7cMg2X%}M=F_PI}=jgKc zW2_n!V>y)TW}dBhOm(5IX7yi`fL5bNxIWHo%#9=gFt3Xcs@L?7(G_Nu@rYdRk`OHN zb~cLW{NPhMdiQ$$C~Lj=kYEg>clk*%P&s6u5Bb*q=Os!))9SF!Tc_Te$(NgcDGk8) z|El7am+6R$W!yi0TAryTr_Nz->6h>UfQ<`2x2CzD)+PtRUHqm^Crg%n$@g?{Wn8a? zCX3ClU#XKey}WsIbRkEARMC<#C}(k(sY*|MiZUC7DQP&lpd+*5R}q{V1iNONd_NH* zhWiIzg>RCy3!&HJV-EsEp;YC-9hxvy`kTlz`{P1_twLbe&^5GYmj0a1COFbsoJ2yjI`wCZA@ps!3-*+_1Jx zh&*XK`~%LWSkxDn_G}LSSVfhMkQOti(6`B$(zcg_>bCUHUXms^=s0`f7UqJ7`YV?| z6@$^;j*DIOU#XMLU>nXvTv4x;5NvJe`H^i!k{yl1c(=SV)ufuFtsbr#E#_=5Gw?== z1y3=}%Yy~HaY!m*6lX2&kCHm~IOyF^3G73Nb|-iF7ApYpe)c40=mao3z~m%HjZcIA z>RtTEF(13H%(fUBr|spRXKcwvT!D8~(PW)m`*p8Cii+c(B=vzF2%^y-=t_ zU_Fq?Cb@?OpMgm}We_Z)@gPv22DUHl9~0s>!-W7Z^SpH9^kO&ma__q!N1%#B?ALOO z)5mj~d-b#6_87!|Z*7ecu%Jhe6{Y_Vlr?F}3(#VIAQ|1<=1_?i(IxpqsDBT5Yv#8| z!VKteNzBpzU{F65jvy8P7(_Z({DByAXHy%G^j=p4iq zSsD-Q>G+4v9&TvC3|O?qge)w{0q%3SDtae~GC**l zJU-t8Fk7#$Cvc2ifN|WO-DSAIJ`L{}hKp;Ck zSbRL+;?@WjrK6NhHQ$0J%}R&0Wtc3_Rq#Gf1EqbOr@55|zZS2kCJ#R5MO8P=Nz>O& zm92wquY=oDqUr}X3Vt{VW+=6IgwlzfcUg*xua-^>; z`VvG^O4s1wH#X4i@CCXBxWh5ij{w<{b4iA=ZN5gTCsY@r$@j$=yqH|*_;|lVy1?^` zY(W}tgS#0n@VeT4bQonWlKKExu;d9v*oMJ_+Qh%o-`P2e9V(>Wu zGnV)xZV+28a1>OV^y#y_cb@jrm@nNLWxPh@*3|0XY_eTk8vWL3TfA zz6Ju;R#vZufnz|9eF+VWT2bJ#obHJQa~cGSJrsb31EYX9hHVKA4q1OSiXVt1t;;}pBwel&P|mLRaqo90 zFmqV?^DPbtEuJI5@)!PE2U7f!Kc|BvjNUZ?(EU`d7qAq#eSVq^0r{;<)24rSbapO) zpv1-*>u38EW=$4gN7%bQJqyP9GM`rh5?by9tC$^_E3iX72Dt}29Cy8 z+5h?V`mi%$l`!0Usnl1!s^06@cOU(m6sK=%~=dw3!&4#h}NBFqY^ zthW$eXc;KsRarL-*zeqxYo}X>kGT_Cw&7#+5olRuSdJILS56%F1pN&a&hCGF5A!pv zu8iUC07E+|kVhdeHj&IL19W(cd}DDzeuu99GpIsBlb}i=_|4G|w{50|2%lY4y!@(9 z0s?%xbiC^2&*ZwfJdeLw2YA>Q!*;8Uw{ce=zxm19q}BASB<>zHbi)GPtt>aR|AlEj zNA!RJbS`x?+JHFHNNPiVDT!r8{o-3~}9B+oN4Y)h^`wT&RqK`jGw4QIGwH z%Q#Ve52Z{knOZ$MKK8XUa1wL5)Tr_Gpv#lRC~rC&o;Zh?{4Z(nobLWm*M(olUfQHe z;5`e`8*}fKmlJw=TiAChGZIEb4)C`kA($082p_>_4)g{n+B+b#+R9T~sb|M(2%^M* zxVJ?5AnjXYTIws3E#1QwHru@N{4I>Ln7Umx>d(zc!aJ+o_v4(WiL>jXl-#6Bjd|Lz~pCc8{pBq$TtI-f7ejs?m*% zXICgnb+%D&bzrpbjLnkt__*rZ5z2Pm;c(xpIE@D# zJPYvZ96yPPJ5yuEGK9pgp$N}_7VSjXx^+!6BA3%BcUVWqueSX>GqlrskG*5-_f!Ae z&|?wPwx&Zg@A+YsiCMo&Ex9-T(0Q%+_io$mlBV2$7^;5$OByFWP#z=Cs<~~erQ{f? zBF96VaidusfA9D6&!(MuB?i>BZ57r1>u5}K(V|pG5_xS{=Zjga#5}jF?MH9Li*cnA zb8$8Cfjr*d)Z#Fo3YVxSr{s`TITg19%6ELqn&wzy@s(5?Q=e6P z5F!W^@7)+rfyNsx*E`St;0ujW=8NkNbLG|x6c>Cn#XZ%SjgfUInH=Pf8;~O=O=P(T z&yk5qi|A04!&KSSlliYTtLEg8`5{yfIix&>w3=H7=j_B`OwfG=hz5=QR^+Y}GHFan zwO^RxPG0!IYxnmt+>vJ8K5r)as#`^`9{a6*SmPp^uc6(mJvWu(jwX2?v3ggPsa;-H zTz|N`Cz(c^&6B!_;vb$fS~B1Juf9&nlhX-4>+_FnC*?*$(iul~z0_#f*vE4MFub_n z$98V^;de3WbB*Vo**?>jvGQy4)1-t@KP3zC#kt3n$!%KlwCJF{cj7(5@22|m`|{uC zNRep26`Q|{|7fq8s8XttY)kpkl9c`eGsQ<3SSDE~W4skr*O%~Gv+mJ@LPx=wF_L&K zO(-U3WMww+Yve@Dfc&R>$vm2!-Y)G6m~c)_@dQIWV^~g5&sAOYX~nCnirH5ttx_8_ z|Mjl)%QC%fB^f}UYc+{e@`GM_8 zdJ(-@XSq|hZjFb15Ghd`!bo=3;F+3Ooo&(Jp|QLr>K(=3J&O&y2wu$!t)2Jdsk2HA zYw3kVvdJ-x6<5Ett!y%Gro_X$A-aQS`9-Y6R>Ot7Gs~n5_t1}@r0*N!G-U1Y@f~rQ zH@A)EYv@%@s5%_OReb*z>Eb*@>h72C>aY0N?scH-eX z-`F5RxAMkdW$p~|xbkDMDS3rYmNMf%s_v^$S?0XiQg0qH;PEBmY)1FyViohXM0&ct z+cvzdaIsxQZaJ&$RvJ1r%&Oh1BiS8U=0lbj;ox5qR47_d5W?DTo|hst8*+60Es;Iy6EUu}qIdC)xK+Ydoxpul z$f7pavc=2(t?>Np*#(nvPGp>JD6(SNf~xQDUw$Hif2z(r{^j(;XW9Ap&IhVhSwEbu z-&7VT&)xh%@rsk;b){lIT2X)Qma7?yMB>vs$Pt_;gG@A$apraz{)|**V;g!iX%a9$ z^?Do?A5G6V5{c3GC{E|-`jEPlb*{T;+CzNZ+&`o(!wQEQ)|+i0y(XbEJ>^f}f=Wu| zE&M_aJEDaa|Mutd^YHGU!5TmF zN{|m)mF|Ab_NL9Lfc}(j#hg5(QZC)ZM`Iwn@&Eq$mLEm5z~6^dr-mK+V2}ee4l=g6 zK*BMOrYiPYXtRJ2M-C^D?+4om+FVM*i$Lm{Hp_TXmKPiFWUvEY4u=*i@AXe~bc_+S z{}C|pR9X1uBgiQ*{z-YP7UIUw??L*W0tn3Z0aZhzfp6!`Bkoq<-)jX4vZ9cqi(8uo za&@Qx1OGb^rt%l?Ic8LX5GE#}N#N__z;Cnxdkb`qMuQw(1f3J8t#18f3Q{nQGtZy$ zAXiUL%@JjsnkAD+rZ;2h>Py7V%*acR&7Srkov`Jn(Uj z7rZcK1DSCgAW)7)>n{*!wlU{@-<_ra!ghY@X|jP%jUpo?fysuo6cBhD4I-MEk3mq? zKn&G5NW9<#(c@g=j}$-+H(IgED5x?&@IXL?E2Dr9GYZ5BM}zC|;kxXNIfxd1jf5?K z8h??qbEi3O3FMSL0)YaL5;e9?KH|2sM^(D@l|q9hvafJ!L;ev6E1op-YH5w*+Xr-y zpoG3tL{KG=->Z4GzY>I$y2UM>DX-7#c$(WV2_l?XL1f(_5RtgCVO!(c%~^~I$fPZ( z6(-F->cCk-R_as>u#CZcdQ7;PhH&Gybq*E03NC4~W7MhWAyfh#D>Mh z`#Tbl1NJ8HPYFUh!{QcLzYN#x!yq1A1VZ#E@FyC1uU^^J$u)r}n$^tcFyIjz zhp+&JHDK1S<0HaB>~l1Pfvv%*NJc^p;T?g4{G}qwj~_M>*^bh=UgVAL2VL|D@rdVhax1aP#lCh z_lxiK9lPXGdHlP+87mgcqzMh>#xPmm-IOn~2cJZrlg0Ir= zRv?)S+yZjwI+pt5VrnWFPP32wP1Fw5$EokHn*441HsoT8vg?l~5AP|s2Ztmb<5 zG^$Rj7f@d3FuU~LYq}h(Sl?UAe^jyfb^r+*JcIxy=7FnZL%9E$4sY>d@9LZPpc=hUpc&3=} z(YDXznK;2OK;xO^C!+_Wv)!|5ziMP=cel$5ZzxQz9G&pW!IG5<4{9yZv+ z+uM;(TwO|76sEeU=jiN#3Bcmq`6N`}cP&f++8chtW%zDj0^cm*BPJ>=CiUMF{(&$( zQdC&<5?t3nJA1*R)G1HEml#}9_wYx%Vu^5(^3Z<^2t@niJg}Jm)+;71EFmoY-wkwt zquYO1Om#CAb3=opdM&qBr6%@sp*fEfH{ne@KTQYT4FxtlnE`3{GE}`;x6!iU!Op6ag?cr zk(d$E(on@yHP}4B%}*AMQ!$~;q;Bo!Duy-j^>+&n)HMQwQ@1qnl=aji8ku3GeBJc@ z43I<*b9?{>l&NlD0yd>?KoC_{mvnd5Qq{%;7+L8_NupduEr~>Nb14HKWoLpJ+Q@SW&|1?2r6#7Q5-jV7mkJJ0M!BOcjAZlz z@VFq1kC&07w1tGXv__z{o~pW(kAansxT>;`l&6ZOv6T}lz%bCu-ITIWOMO!rM{_?( zjF|z-SXmmQBW>=iYi=$Pgu}@gV^LUfPahwmy1Oo3+|9{Y-!Mql$z0jo!%QEiVXkf% zq^^s?cq;p|bIa&;BChh5n@^JG- zdlSr!F?s|aHBXCRV>1a)cWF0_A5lg>NCoSK6mu2})baK+GMCYZ<%tGpm^d0}s5!cr z>dT^>jWhz?wS1&3jl~Rtv3RU3*r^KI#06<7g>sb92D?@s)>QE# zn(JzULR4@*;%0j0zDON?H&F~hT~^x?ZK3TaQIJg8{o`?Jk=b1aJmLoey|!-XDO7rvw5(En4_dBMjf6plT{~*8oF5%oFx4S>L#iv zNqv7cX-AxswJ6fp3hm*jOmK0s)HCoiF(Cwa8)>UpJ8AieIvZ-~dh23ws2~}AH#bjZ zoU~(rEHOykPu5rzZD1i0-Sosvyk*d6DN{)qBU2BIv^y@q4A$ylu8kIx)zI(=5_9!7M{7FkSOuE}I$Gi( zDyjGxsCnb@8oFY}va%@SKw}qWuuK&nG|IpY?dLCx4KjjXasIy2ves&v=1%U|07oN? ztEmiJg)eXEU^8=V87B)(3+rGbbsSn&A^_u#lN9&Ual=Tt1?mQx$y%7Yx!{Z`u3#jp zXKjr0^pG^u)3>&CGDUk4eRTBIB>b)11N6``Vq$)V%3^`;p75xng*GM-UO>^9x|gVr zsEm~X2Cv~G8LZ*tDP`=16892E2M6Jt#Pu}AoekBT{qUNiu0&}|D<3OqU9=hj?Fuij z5;r%Owy@L@wUTsmmNl2~*K<_E8;LrjmBnR6gWP1W0pcop%AOutC}XswrV&oZ(+c9X zx|WlyD$>(mR#{!j!_Nh$h0!v^II0sha9${atfL`O-OmuMY8YUR)+EBFjKx*`iFkK! zZGRZ*hr&9#dFZKoON*NMqfwF;{@UUMF>jogo+HF_6={mY>*KVI+>H#3b=3T2d;?98 zF3P^9jyM;*j|axZ#RMXWI>Db}@ksa>5HwMNfkc9alZ1qeo2!ABxRk#(5s5YSRQJSq z8&IZ{gy5*|Evbhhiut=5;`CJ{EYZ#yIx^-&X@5&~XH8efAgqLhr;($kmyZ@o6)o=U zqUr@B)sY&`I?e$SR@SCEdfFN)1ZfSVyO)P1UR%^fRbSLq8D#|znOa!DcTeYFr@&xS zZ*9C}pgvw&P1e+afY+ql79+@LTY92gi6|LYEXoXxSM~=vs067{0w;W_7*X;HrP4wvn-bIJhX_Pd^zf&Zq6bI6ALc#xmpRVTp+uh7 zGTs!`a-AYfeci1rtdx9s3HjxTd`Ft>bkJ4Q|F8de?`P2pMb$>BMxKv!j&zRNL+>jb z+E5z3n#pcR_sZ%f2kXiyd`^rel?#nRWJ#3KmoHyLUS(%TJjuw|SKHlMMe_6WW4#9} z{Io{u!cO29e&Sb`!q=;lq7i|8aU~s!A&wo-6jD}azB$iQGjP5A_4XsPO&p&2sgrxtI1<;v>AdWPC?k7Kf^fKDV_A!CtJAlaf}2mQVUxS(P38k#RppbG7R^ z4-a)0-=#~lpUexacMtp8RR;>yEmo1G>sCH-V%pPW@dAIU1cZd}8R1*GA%DMVl&9f) ztaRi9=PNEMDMjdiyv5PcQ#mebtOtrzQ)`Phw*+s_2#&ryfP4evqDBhp{h9@090;}E3GRfA@Yrc;l zPqn9e4GplabX(Y04q&Q%f_e+>rjhQQ4ra#2-#JN@SIbs9Y*E)$DUx&8miFwLne6K7 zVnPo3e!PvX-|eYNeTn(~>&s#zyMgT^kmfllsa4fct{RDNYA8=_#2aRg1Sa&oe^ z8kBL|AYHDz$}4PgGQ~b{e?4NqyaL^tTw-iuvP5fbv;Pj&Na%WAoeA%``uX$c4UP51 zq3PPSpI$w+b6$LWe2e$x7yHsOGU}xT1-%41d$$PuJZoLg$Bd%mG;8E8$;wv#9S&I< zaBL|Krqi>qth&-#dcdk~PPqWL=I)ul|*&W6sCVU(}EqZ;GN( zL7WboGh`J@diE^5gONXNIS+s8LL7&ndBq)(I%4<@dZsBF4V(QvwO5#~=fzndjK^LB zWefJVkDPj8$3q{!F~(3n629GLpr!SMru6;r@i(1EKU2+FF|e)(;&Tw-myM|K@V$_i z>h}bSg=JhZU^jp*+W4lpD8L!}TlyX4Kp4O%AD-C}-l!|8Whq`=zaPAJcbp-AGoQWbN`^m!7Wu(c=KQ>oa&!Ajgv zBA{7ZenBX-BO`M`yf;c)n#buZn<%P^cfT_4b25G9lgl z4Kp~Am_aPaI4?>ya3$}GoP-3La+-Xi_NE&M zs}N#^PRYA>i?r_|ai@`(9es!|WoH8W90j?9XU>)Tj;W9zzc;tFoqra#W<`M5DFSw8 zm64Prb*kdX66zG|h*9*X6O_r-$q+I{-iAl%wCzrcL|6?};->8lk5? z!N1Dcm@nxV%-H*z%>nyMO_lc9lJ0EYQajHEUXTqzjIC^beqL6>t-Ul{K}RU*5pPfI z#zb>GA)3qo^PAGr(n*rT*`X~d-dH`v>5;DIbA|~+Egc=)3ZWazt34tP2~Vvne4ke@ zlno>&>-`82dEm1foY?r1If)2W+?Mz1*S8QLAKAUMEV-?as~3<%6eBI__>Ij+#VkcY-+wK1fXs*;;AlE{bR6 zdvFHaFbRS$IqG4)y%(GAoFSt)K1cHjm{I$+Qul;aFJoR$^P+1D!K-ucB_$;O*!^XF ziFzz&dR-qOz*rQ%yG6Ud(X50i4Ht`R{LmQ7j?8-fI+^N(Rs9<8$*$*#n(%phTFO&$ zzg48ZG@L1}v1_#9MuZ1AA1}E#qfrT;!^?xuq0?gSWZY2jz2Yn2EA4yE_kb@#v`{1d zjP*Tjw(ma-lxoi@D1@;-a9ic!us4a0Gle~`@G!{G$*@#ZLmYonQ&Y19)?nUKWFMj9 z>FMbKW@)hi8CoY~eX%wNJ5r}(AUFGp!|hqn)SElPRqhLrTkPb#`$WmTsWG{b>%PFc z3mKTp!esAIg8&e@s!dq`sEOade=lMoYLPuWJn~FTOmx;EGACujfVt|Wx`Eo&9-Bp2 zAO7(1%f6h*IbXSir+pFoyAjlDCE?F?AfBqd&_oEBzl&0m_U>EG1tYQl{{6f5_TSl( z@U9#q%+FGfMTmkW;XW~R`b)#LC*08JbdTNflo-S4xJHn(Qx+{$yMb$e!DE?D*!niS z5Oe-iu~fI+z9n@wQS|zT#k0f z-sxySM0=yE7OIU9z$d1qgeR<3TMBMyx3)b8l zH<;zzFZgESb9qmKp0DPpW@#7Ll-FhXO?=|qUoDET!oK8Tqc(Z1+n<)4y!ISl&U*-+ zdz+(**7yQhVtWbaqLI3XPe}dJgIG zgz!1g+{O392i17Do`o#RrX(i*PQ)+K#mbrT`sJvychzk#ZjYxEhCOO`V>R#Q+t&|w zgYCb>uhZRvM~dMQLqHwe)q7iHqzyKdhs}lo5zr}~S%hb3l7|gB8Ao4u022E%mWrwJ zc)6<1&r`hKsmkI*bEbIlIq@|!hnDSJC*3y)1g(@{$kfA`7Ss0_6xaIoYgg!t_pjgy z@43##&gZ!4c5*&anzi_V3|TzR1TcY7G`$@p#N_bZ)!v?gCov~m+uH1?OW!ZPBEDqi zV4d!I9@Ud?RkDo%{}Jlpd=k?qKbP~ePEF9fI|h(SORnmTJW(Xlfbu~UYk5T~!+<3!eZZ7h%V3?#>Fd_1pBqMFaX~VXsQZ|y#pN^0hbWow=U-&a@5AQTprH+GnP-H~=CMU^A4_^9>KGVA3{<6zgAGzt zM4KPBy(V%6@J-LaVYb=6}t9$Qy#chHNZC0p#HM9daqOYHs$R?_H}~=VAyhT8z=yQ z$uB1sJyj9b43MJ^;oWI23J5%1pUuv&#(Me9&gB&aUQJ5*`c=2L$X*Ey@`a6@ zlVlsdImzsMUgLi0eKxa!G9MgrB(#K*X!Bog{ET5epG->_cyAbL65aDmt}6o`K7n-n zK!vTC+m7M~2L^#EqZmzB!PbsYV-C~y5-%6?2IFurCe*$c?)z)soN-wY_-hFQax&^}CSei_tBS_Q?74N-z&21?*Mk(?ZD<pl=ou;w zi`2Z;k7xh&P6QdU=3U-5nL?YP@ev9ku!sqrA8 z*N$KoaA{OuVbzrUxb6kBp6KT0X2coA&<%PrlgRL+l-&jf?wZzt(5=~QVF`&J)EH7E zb+_X1R9kA^Zg>T{9?Bd~CAqve^GKhcrZ3|M0#oqKR{#zj+FpDA9^HBz=|H0DE%O;j zU(^56P7x3X>1g#7BQxH8AxHHidmeM`WU`F_eQRrqNYUR~8*J_S7bf-Fi`6-9u?!Gy z%nS`hE!dZPb!E^?gKKOwgBJE-X0svK+SOz-D7K0FCT6Ir(yOSphf+>)OjdjMi}z+5 za9bD}8j4ZP|HzIH*_=!fJma?cdlCaa&T*p&OoGsIDZ7H<43X59E?@o~cRP7^V`aiF z{)~da;*UHF5!gzpz&>KkMW{UJk1H~8zE3;k0!%MLSnal`1}!Z9?XxMz;8~P*-jd-J z5C8)pMl9ZyX!k9u+wy#`G=Rupf3qiJA&@HLH@@}t>(_Os5y^%u<^owzfn2FY(KTk@ zmm2ZIvmpSl^FOcb{OO3^eXN|ttmoYZ2*AXtmi5y^-`2fe`-p;zPoaQ&GrmQsMzbH< zs?<{o^K@K0B(}_!D2Je2pW&MR)%kv0O1z1o;V5XvVx?vhT|cp)BI4Y9zu+(SAkwSS ztFY2FrF^Nc_$92|t_kv>9r?b}-iDp)DY<~0fhxS0W&J}+^(AzzrjPQucSgaQc1i%E zva1bLUHLOznkwKF59GR(5LKY{xPb`B>GEOq5D>?=I~3M!-^X(V%o#q1AmC=_+i<`u zANh&Mis_f17HC;aw!!$d2ZhkKtOwc#&t_ph(l7lOv=85GO85J8ileC%EM+4(6&GkPK`4*~E^jVwKBuJge#y63K3mp!7&e^T4R*48%Re3vSVg6WE-{NkhmBxY&{ z*mBLEL>=MSy#`}y!-wyddJ1gRjO3>W0a*yNxb?q7CtV z>2Gjl1=WO`UzGWs2}qyM;#$xo1#2DIzk8F;?BP2lfLe%A;mTi$apW@0ko9cEdw?&M z{UvS|TNj1X-i?&`*kr{Iz^%FCBG=}JgULd@H9>#ul6RqSGe!6OcHStg7>|PmuMJ=Y z7s7%jlPm`3y7Tfv3*l8+P92(N{9kYGjpfYpP@fjXmOFl=?|rS8YDQ8N6L~}jIW1nU zYXl(&v8uNmJECm`an1T=^FhE?^WOo>ge;j^*uBTBry7mF(dti$xO-gAo($s$p%7k# z+QV#R7a=nCs1|pv*e>9kT9W=z##&ReHNp_yBFRdmdS0BN0&r-VxmCH(fVl^Y?q(KL z4~s<+yLsE2(;0$i)(fi_-)w|K>8qd8xxEiTx_VbO`g>$hH3j}SU%NJ3ANk>AS2SRY zXvhNyYh&YaP@U~;-N$H_BAG|LthuUL)=)85ztwtpAq(LC+hOytOM~zBp)eHCo^Co} z9{>i=*%FTztPddfw50=UmULhKaP~aEewyX1UrPs7{n%|zf%f3SH}iz|G{YPgwnnor z%YV8ImHDKmilgJ?$@wL3u86sQf2GwfYmxg1C^yT6NlHj)z-rJ=A?}@$_=I+I!@7Te z_2uDJZC!2NhFsM=D8%if+n-9c;^+H{$Hf?qoE!zDA3ZcI!U~X;U>!L79o++9)3LT- zOTPlmUG>y#bDSQ)*_*!%XaC-v?v(gIuvnuc#%gjv~p`VNPs~QFilT0ep^W9>|Ynb*`J-3#C*?u+8c{-C0wX4dX8oYt!0hXG#ZGEX69D51&8;-{0F-5t}thBS7URN%ETGV0*bU*SSJ$;wcI!oX} z*K>JD$9bw9veR4)!_N^?3UtC0Rm<5OK6I!KimUTFbsOV{$v)k-LHz{KE60fw7Pb@* zQQY786DLu0NiefB{$soRQcYYf-E%?3FvuAk{7hkb4K}x32l8miw7oqD z=b60kM>U8}u`^$(?R1_1n$Fbk#b-#E0^)A2uIBRxay@!9&IG+0UxVP76zrfDg?)y&o>=FkH(WzR{2#JePat&!0cd&F?hX9?MDI zq(n38I>P2+^-|&A?Y~0*!UxJur$IPXX~V zq-R%7Tr-Qpooa~uix6LP0|u{|MM!>lPL10*6Z9)Vk3#0L{Jrah*My=~12LDuoG#&} zZ&`o1Q#-=U2&z0T{Ad(Ic-K30>vvECE_;*j2BtGpx%+r%Ic8|EpnP~P9LfNJB_*fE znDoWoml`ZcxArt`H$|mCUnSaQvE#d)D#G?zo{(1L)BDq(JedVMzlMz1+lgCB;{Id4 zr!faY41|8bz@?9X9LQ;SNZQp`*mpj0V)IK=nq;S;Cae{}j!>Xy$lAR1Zg}7z`}uA` zVc|du8=I(p@3g|vruGLd6z0c1z9LZ6DYL?45TDwBOrM-Qx65@W-{$@u+ez^^6?k#Y<2>hMnLYNZahjdV) z|64)(aDRV)2|Y8{Mk~Y^kJ^GbO+VkcTwjrVa?!0bD&8K)t6WvH37xZsH-XgzJ}A%{#o zYpLTjy@BGr8td%Wh6DeH}V9#z$cPfT$9kan&@{EhH^Xmt|lH`KW>mb>8?09#Qq{nxc zy?^DWU2F^s+SRr2z*EchM;Xx9aIxrm-tesmP&2szd69J```b&6q63A+!UEjD{e2dO z(({FCH1m&AHxw#xl3Y|DI6FIw%dc)Jg2{~$cz4lbz*>2B#Kf59L3^v73Xy-fHJb8b zo4L*nLc5h)`uqN1RW{ZL`ORMsQ(kCo-&zl~8yq?EdsBvchWcjN@3YER&9p zDwErPbHcuFsv=HLKLzS{7fRXu^7E`KmC(9s=OUw6M4FUEYY;Kw)XJzD_)fb7Q@uivVvyDWymBP$fpE5 z%I)d)^dbtYS5SV5b>+#Ihy2*Dt*xBSLq_4?cnNQERB3bGzV-bA7|G`!S;NcEpF(r0 zXZIKjMce1W5)gh+UKG3?u0S<%L)ww#mT9hfJWe5*1Yk6U!C)EjZxwpVqs7}W6t+H; z_x;C@jCcQ!r(%2#D0xKxiFi}64Lj?3h^>|*p!DJ%yJHk<13LfdRiL*^DcPZCAT6e` z4=Q{6v?otCEB_DC_Dlhqo@JI;A`hE9@DG2ADl01|3R?Nk!W4|^h^Lvse`gY&K$E3A znD$u0jQrGN=WuOp?eC3StQ4A!YtB$B*S>zQ$1Km>3VVl#?Lddp{?2WH#Xi*frNXI^ z6lM{)Vii6pWdpi_hw!Mii_^RbNdUQ6`a?f8_1QDUQ<`PMPa?sA=K@1E{oTpeV+40+!m-?H>v{n4iEY>)s{kGQ5i7w zKdskq%|l8USDG`7jXN%6&6SjrQtsLJ*3kwemS2ubxcScG$AxvuSV+pfOeaM%Wn^W8 zOw`ps9jUoK(p<&uLJ2~F@J@;g?LvpJWvbx@Lp3Pcs-7N2GfiotQX&>%&`)C)Fi&j` z+-fDmZumq*mhzy%SWnwb>(OI(_C2tfvBLPA4Q*xR275}ge+Z0;Jk^nb-Q7C6at{(# zWnv;56qNJHm#xN+3){|w@2qH0fK=rrlh+lD>=!DEotvvPxWl^a{J-$!ZLKX-djr#L z{R}qs8fx)BV2>wWXJ^+R7-UL2Fpu5wPq_#Tov9u|KzVfST_Q#$1kFZmz^=Gl~a%OZi8pWfNo>G<>e z_pr8}UKst!Lq}-zshJO0Kdnn_ijy;a1qQ>Wyab`Kb_DXAQ2C($9T4q$zCDE^gKp&n zC5;L2^Sdef@^xO8mk+7M3o||gvLAmnVTEiso&w{a!bdL{>MS!jBJeaFZ2dhD-!|M~ ze~ro=8m>RC8Livf@>+*}Kouo#WM^d+0BMY1;VM=ARHqR9*YecEtBFVD@N=c7XE4jb z4@ZrnwLie;g$}j8_fXYpo|ToAAT)w|5V)^msnJZFQ`drL`PM(OD0R&qkR~kJQcy{S zTSizdlTGotC6q3K4`fwFu@EyY9(d0v zB&NU~8kun50d_**l)`>*h2I1RrH5*4YFg?C?cIK2myw2#EYwj$?|ZM2f!sF#$0N2$ z_5N##f28yerBZDDzq|u(A;1g(n+~+4SyGac-d};U6~RVE-`q#zuPW<(DD~`~o2_1~ z(#g)%DM0u&vgSdP#d3io!4j5|2~6~dlC~H#ZU5ciu>wgd7js6!|hWi4#RLWOPWG{2TMDMz z%8V0cg6Odt%0c@I$8#9~*6pYuo>m0T7_!FVJ}$3amd~Wy$eFLYc9qhF^#Oam_)Nm> zK7L*E?qz65AtH8GT7N@vcFUW;pY-N2Hl6326z#>V-^@1{6GCb5?&JMxkTuifX)I&c zH73s0D74GZ!Qq|v-ZP!gf10rQ0&i=l1rh8}rW?mVLo=ztXn;-4DVzH3nLesxv^sr? z4);I#y$1MLoC=9iCYi>Yx-2Pd*KKskYzP`D1XJM8duoAI>PhEiT>~Xz;n2ds12_$k z;#rndPgRccpI{d=K6r&@@QCd#f~NYW)#INj-7w z*iJcNX*kcd-1ik3G2DooNQbgl%=gZ-g5nr6nMo{;!)q@fA|?UxU@426 z(k1IZMBF_k;fjNrAsK>D7~S8(kJ5g^%P7R6$T)uob+%3P#h1*h#Rp+4bX{LaI#Lz8 zBnWktVOxK#WGQg$zK%Pv9)yTpvOSVQ>PrIplXb{A=*^-=dU5c|{h0Tm4!QUkz#m~e z6d*(`&9>zI`{|6Gsp(%M=!M>fLpeTnZyloW>wI@9C%+KEGta%mB_u51xDWG%-_2Yd zG*#*wVrotc(xi^OqFmK`jhS#vg>-?2ziT{P@6e$`i!E^YOTl-Pgf~#!d<6_}I-Z-p z{m~_pL5j0qfJ1GU1O$Q~&V;)Vk)kqj@gi)8y`qkgk2(VKyn0t24)P{dE+={Y2xUg$!v`D3vf60!ReM%~Y)ewBcsN6K?OK0Vv43$RiUz;8CB zW+qCD|L6bq$gAx2cA-nS2z6+{3H#8MIXEbg2wm@6a5930x|wQ~XGcCK_X`PFX_V(n z{^dG+%t4cA^M+~A3!_6ytDDAE=h44#N~j)AO;leL5-Ru$rRwEVa4H7?@KY%8%N9p- zEbBrmw;^*4<`}&!18U0)9~``O8)~d3C<)mkOCqO?wt{+lCP_DX&Y?WV%tle1`!L|hi|WA<2Z2|ex?u2Z z{1Uina8&cg>9f#!hLyn&!KYC9bKVG=dS3L0)(sRzQ$IkaJQOJ>@11D@pg@FSmbemaJ zQlK1gx?iB7@skN5*JTGB@nVZ$Q2=mRx$;2TQ67I=3Gs_uO<1aX4Hz&FURF~EXGZQ& zK%NvFH3@*xg8nqEPt@*;{@yH08jWova-;eX_WoFEWZue}gDrzCqwS$I`@n7I75&IT z2JD;Kw3B$MlZc)!TAXGxJ zjE3+7b)9VP@ECtEwsJl4e7jT6Zz~;MTft* z@|Xpkm_fr^*-RvpJC5(4W=L~JsJuEPCua6Wf)QKB&B`iaEhp=jMt`>)^m@xHDg<6D za<7>z%*u)@wpO(9o}>~iP>nHlq#k|~$n*S6b1Kpr)rj0<;BrT(ywK-wiy1jWb*&gy zfm0eD7vSNkGdc9iGWtQzY3d^|CEK_XX$i&`4KfeH0F;ZxxX-3{Zl!AEzIF7`OD|`c z(Hh8crpIci(1l~8YUHDAW_eMUVf`d_Qf1G%Mr7d!`D3amUSapmd4~|zrF#i6S-KAQ z@CR4!9bVS|&CVJt_;g*oqMi1Wb@YRq$RkT_m7ixxIFKaD)9Z}2qI}F#ntIBu@+0ov z2$iqtRJx_i=Xi`yz^#fpnl%s~Bl*Z^2E1x8fh12E$1}Dc$&#O{pSnDA@$RT0n{Pk5GW*hFtQ=>#m|ZRrb_@y;M29v;We-~B6OWM-$_O}h4ssCpY% zT4&-k50BLHCErN=!Q5j0C?zYHZIc=s#l=`AM*QP_Cq|PAl)izJTTa6tWPB7(;)FTp z_ULUrC{jA(0rwsrKGwS;_LOQN>Q_~BY{+V)M!xFF5cU}_Fip>6qFog6Uyriony^6_b@WtVom)=dxbID-KiD>D+y$)Fo3BQBHeb zk{IswFI=!mofvJ4;pO3BeGNKmK7Cf=?toMy=g~lxO5p&~kq1U=#D(+8nBMyz2C5e# zr-&gH%}4jnUFaPvAX*Ob3EpkqR2aUtehqE)=Be!2862BE!%nx{P1G%Y=HslfFSs1C zK$fjKq%V$xh4RCZ%kDJ|b4DapB5mtS72zLIxR%8d2457@yEK-;Xu|P5L6TKDUpxO@ z=vVkAI)4A+@G+mZW%{)4FCT1VnvFI^AE?wkJhh%XRaZXFVD=@I!`!{W-LD+ce=PK``3T}yowrtow@ zXF5EFaQ)g(<`l!-K1DUV%D?ZLnUdm>w}xbDYI~GuS&|hjHZLPasD$2ZmX|UF&riL} zqYhzPmiC=u?v41`Zqj-nh*ZP9d<#N*P9cdB8hK*1Tivz?6igKZoGjLw<$t{h%{(dR zpm-3=LgqVHzW;2YxlFi$)1~f|e^Bjw$a9lo#2w_!Wu*(7#K31GA*g(TeYBKCM)4H5jUO&A7yKFArCE{Zvd>9wY;IuwcI*4ti66~W z1~e(Oh`sf}+ZC3%aU&u(ee&vgNJOmda*;7H^YekD>g1#E9ty5ZDXpcNEU)Pz-!t=Yv{UUt z9O7|8$Y+EK^6)59OfUQV@VR3=)qj*e*c%z`cwHK7WEjI<&#(v4UEptXYLm({#`C$BN3ek}bw5B$LjWS#|u18F`870-Fe8tOj*X9a(4E#gB5dzW2- zP7phE(i6f2>V=Nm#K8CO%`2A}iL}_xD-Ykq+vvX;b1tKq>K00F?9(IpP;xV`^fiY2 z@0k-ae@AlkoO@+%9O<@9-!?+!f$rr#SYs8q`}y>h;V@FBCjFzFs?#Uottga}POIC% z<}n$P+|8R=2Oe<##w*lViE|COX`DRN#UPht#~r*q=PeX+Wu^XbR5K-+YR*s6H1(Wg z>nb3Lf*~X;&xhV!nf1;Pqb=*ms9_k^O8??`Wf5wEgo782vOngaP;6<*9cABWHz2{? zoW$4Mx-=JUyMA^!GH4%x3As2{&$`9xZa*Es=EG0L4rnMQMnNdU$64rsBSPg((vh9J z<(gkONiRv&=-!2jcQ(w+R7ngy)&578i#|6!x+u#=qyUMSjb_WyE99e$t~ARGV39V@ zv7Wz|=|9P9e@qR#z_j%Ct}5ZrV=T3X8gDwPwSm-35m;jc#9wbasw)^U)^R2Wrs0)V zugLK3LG!~0H|;HIx=*N~P;W|Om-Q_ZtGt*m0~ionKj;e}r9Z2T7(EC}oljf~Z|Xsk zu0i^BOY>g3r{Qpqc+0=F%Bv*;nxdgp zI~lN&FUDs_C<16i0{#iJpk4?3kn@ve;atBmFGzSHs!1OsKLe}@en9>KOA|A)2DP!;BU+#O*k zWZn#Jrj{T^yQY~$Pao{vBl*@Sdtx0VMPJi*3~?@vm<&yJik`_9TbAg2ak*8(Z1BRR zuev-uQOHBs2mA@eN}?ZOOS*Q<)DJ%AcxiMua~{2RyZr915h)9z0H6rxNPgADURvxD zRwg_inN!bBJWz4|?zZj+8`HU`h{BN@a|Z6-QRU+<_>|X7wN)Fm=i`ZG?=^zXO~f?$Mw{&Q|#(QsxiTz z(TqvcZ|aj5O57zsak`A0^7k-bs|_ZGc*cutZyA0V;M{9|cjO+SLa|`J@@1|@Kdzo$ z_u}?`r@~^&s1Pyf_BvKxx+MsO8ov#IH!VA=1kio@?2i*R788iVql`bI&a2iH&ONv* zullS=Nwi{q|L_WZ-^ZvM%lgdo`jeMt6@^0XbJcu2`LsA>VwwKU^iA88yXE{luRIqC zG{a}hs&tAx7e}a;+CD0qxqK1Ymis%h#`AQ^8ud!$%-augsH^Vgw;U{^730eM&n;Wh zaW65CGSz%UI80OHl>2)pLyQ@y;venq3z1fd11d9F*FNtKj4_#JPb_?+pSfF}U8eSV z;WW*{3VqY`BZcOG8tM&4bonW!H1oFlEV1D;<8#76-GdP_^84P{CQi{M8PRs?Yb5!6 z@cNd&C@>P0^EE*seBu8h1dnn$1aEKN$?*lVS{5ve*Gy#PrD0uGk(+~iSa0sq`_!)E z>Bmk6&)zIwmsR-X$2B~5OmC&^IeTuXx9_Gmf+Z!a)}X)lVV~l~-DfkQKU0oev0Mw? zciDDy<}cnon#8iw{t*Pxq(IzPXJzegFeB~uoTC|)7$tz)_57>G5+b)I5Eh(FZT;b& zKM-rE$4}No{gF8<|Ep|dRIiqC_}OT5;L77^>Rpw(XK{plT;&!qTJmPg&=~pdgZ&PX z)|9AP^72~Rjq+Y==rDs1k{6|G*pqqpxT4DczH2ncI%q%2IDbk8fmOeAVmbMyqIdKF z?-#uARfh1oe4hKap`LB>0jjA<>iEZ3dSgG z3Q;Y7HSeG8!^O(F|NVDA9(Pi-4XTV5FJg!sU*L}P2p%v7$EY5+MfjHw@)u6ke7q8v zb{&JQsqF}P`{&x^Q^j(K=zXq|eqnZx3^%=TEA{52f6<-0#`)%rSC@vLjaw|YANFwK z)PVG;)#}#U)@rJx@MxnWjC2-a?kk~Tv1-V$ehZQ{>@KgScod|PQ6uI81}83jdwI(d z!mnXzr0PN`)p5w>Z|&|A#*Y6tx$#?E^Nj80DDBp zVVM>=6piKW^3oDW8M!x>FQnB|W3?;jiH8#|$97J58AU(E^-#aEPLEp3SLKZiBK}y5 zjfr_&eHa^gyy}sM+h_)BC^Jkbu}^;=Fn#r3N)n2R+@|kq{kP)EA5d}qSTTPgaAMYM z`x#aHy=7{ zWUT5(zoN5xr7J3sbOe$i7wz)v4fg%Vhqy2Zp2$x$)BkX9ZVQ>jE5Mzx^A9jQAiofE zps%1k$#$!mDbBR!0B0lj8iT7Px6G_(Z$xhYdvPPDP)4m+Yvd;Y zM}z(~$UtMl37YtSn~1fr9xC+gpn|l@`&J^#tw5Eo@f1nvAJ}P>hhZgA#2c=~&(TlM zzf@X&`p=#+AKxd;7ZOiTAd=4&6Amr|)kWRO`Iy3jpm^QO41>aFQ0uatLtt6o=WzIJ zBmx9$^kT9^uo{7llZ{PR8AXzh`eC>oUjLi#tUQ7U3NzrkUmg?N*nZI=2OlHT!@L2+ z2q=-KQ`=#nfI^q>9^I|+Dq?&K{0-%L5bcZ`;se7qYI@6P&7&u%;%%a1OrDSc(ZK6s zHCx?2s*zs8jvFmV!#(H5JO9^HC}o(cjsph5DYnE5QYO%6vxt#t?B3yNY z{UBLo8st!1-`N&nGR1_MR=4<1+ov=GO6jMpqhnP6M4D4j56Y$5k0jf3?(W|M!==ou z4#BF%xRKGeRAI`Xho4*BRpHkRrY_ko>sC~z}oM&HK(Rn@l5z+#)CLTkIMjo1V-4U|3WBZ_oVN0@Y2pR z+sjuX326}0Vj7F>qh9x%bNaC`~#C2)wC!7sTDORoRHk1PupV^eK7K$+bSZD zQ~*N(BT@Q1LKzB7GG9TGoJR&>{mqi+?|_D`^0jbprbZ6rt2S2JN4oZ$3!UQ`HTtI> zHig)?p@D=^9N5A9KNnQQUs%qkm;-BU-6_&u&$$=gvcts##yFFxj|Hk5ow206f8yf} zyj~Z&RzeJ+&2n994pHSxT5U*u2w4NgrrDX&p?H}16Z96$w($^uFhiDZqv+q9#eVe5 z2G9aXWV!sFnbqxGlo_nX^?wYIwV31AWJxyd5G*udjC7EERPp=&SYOP>$NH$31*)iq z|E%&I&F2#4F?PL3s59V|jrP|oLf7`GxhMrb7v2J~24dMTaCUftkGW_` zF|HWe4C;CqNxK?Z@ZZS#`*g#_%&d+@<82v&)qxk6AsS`$QAz%12z$p%Crd==_Z$%) zrms=yzlV|5^Xl-%4{N*)Pwtd+h=MlbXMag|gk}OYM3I_^vbAD}bSF5C!4UP4VrIvA zPKSTo9uHea*?2k~$I>E0;XCFrlh|-SvO zyP34%k~FYxaD)eI;;4j!_g1a4x_OL{Q1zkUsj+| zpdg6Uy)r>3{)>c6lU!5iQxU@N=BCBJMp{Yo4f5-i3KuMJ8@faQSf7AwI4_}fvt zg5tcij?I}arNk<>7#=^T0WKrY4s(-x4jrXsxt4JQcx7}cItO@Q_hx{n%cHzYq^v`u zz4ZFtv^GeK;{ZxGB)fZ6v|e4LIsu&y1DI#*;k_oZ9kx}$!VVXQ%UHx<5)RMVp)7|m zG1H|huxQ|%Xjhy)=u&S5$6iH4t>oPXtW6OlgQ4N<0^JQDEe7s(4?R9_do|PZh05W|~aU zBQ8_Esp^;jR~IGifzCA^0q!xh%wKH%sAo9|4v3+IBHkhq)Ja8B4X+Xd_6Lxo%4ppLI#F=7&@Eq2ro2Ujh z5n9>t1<75~bUw_P6$(W(2TtG~Z3wP@lojI>aNY539YvqvL8>iVmFwrUZ z%2;hKgWabsu|;5uKW@>~1CRe`Ed2e*wN7EC*9IR_E8_oDxlIZMwCU`Q`n&}rB2+ys zj{I}ILDVbFAWeeSv$$})gZ}nWNp&uMwn7aT$8cD&jyMW9DAs>hy$33%rG-GyWP&Q( zpfSLFTkq{H)-YLM`%OlW-~2}<_fs&u(hA0}`SwB)1$`oUt3m|Ia1G^b?!T&Clb!(D z8NsZ1`dIwi*jPSm9lw7>`6h9~7Z{x`;?XpYCl#+{8MPMi(+s<4{#bQ>uW81e)odR< z#m3s~eNB#q;B_WuaJm5Fgo{+>P&8uGie+ALiF>Ewe!dOOdeh_Zn0WxRg{E4E%^f5lml}BSm!*hJxQHdHNLA zB0|1KFWqubD?x!|2W2nszBeyKb&RhA*|ArGKFr*rv37>10A%ep%K+2icBX1v0dPv`+nRN3rl( z@L#u<5z$e}>Z%B@a5@w+EjrQWJkBs;G_4>h`$j>pd~VS6IeCpc1i43D1(n}?o{vdg`7i3zAKvw^M*2W%7Tl4LZXX^14%eY8f(m^|mE$%9QU={(03~r}NRiM-In# zUAfKKQ>3)CS^8fKiKE0|o=M`b0S8x)F)WNrvKa>pTK5{DgkFB_0 zjv3p6JGecCIFq50P2FB@z*!z8~f#6#X;o6MP05uCU-`!X54W#J3PpaaE8 z7mzB$%fN$mHYZPl0($)ZridPgTY5<-gBFSvqTX$xpV0`RB3WmMTmheQ;FlF$p+dn9 z*vTOuFM$UM^LSaDJ8m6kWv5X-`Vu@)Q8`KO!J*+P@gQb-2@ER_Hb9(I-NF8D0|X}$ z08wH=9t0ek!c-}$Trm{?>GEr!$M|`u1BkB;f7qiVUgrbC`j&5hxvK-7Tp0j3QWtl3 zru+Br+XFxVNU~u7QCKV>vT@j-7%P6@1j#W059rhbisa=$Cc&L*>+QD$K}^#>xkCGY zu1~bfb%i*R2;Uw$?w^Em`z;W<@pHiwV6-oBiBD4(78VAB7}HYeg;}Tyc^`9gT~`47 zKPWv({VRwJM%v*bE?KC9j*`%Or&%y~kqLx#6x}xO94vFc#REWe(FIsTpm)Cfbi5LA z6#`xt&bul@3|q^*0Qj6`p`HWD3UEqS5*`(n9cxnt%YVo_H z>`9(bW%}O?A|=WIj1vi{TbfJ5Y=BD?STRV6NZa4D^AHADiO@jG!M;3e`$_{Pj0Z5{ z%oJd6L3%imNX7K5^w+P)a|3T1oCGMn`?!}D>R&;X%@FNz&W#{Gt9;YUF7txpzY4@~ zaZqM@F}UyK4qmqTq{)8Ol!`0}`Wc`6GMFGbC+uYBp%w#zn+bJe$J+Jv^;h6APW#o~Qd_%`yWig$EFMfig6+CW_#_L-7s8Lj>>i)(r z_vF;(=R%Ydq_hGd{HpH~O%v5{K%4(`KCt@deKL(9` z@N-ODvT_^CiLI%5x3)U<*S9+G65jcC-{S?}dX2sH`4kle{sC*R0zTBSJ?8G5f0y!f z;{l(EjA5qQPN7@WGzh(FkOz=(y)R+Xp#EPodG=Uz1a{l*E-)){HhB*j>0sma1XPoH zo{E9!9@B53D>Rw;ggwn-4!G;MVEO8;OO=9l$4h9H-V*|tkXbSJAI|97U5*R?Ow#eJ@zBYf4M@NTmOvCi7Nc%A}dT3{|Ca)#Q^`^ma_OF3Rv+zx4qbFWRi&#(@TyNxe~o704Sp< z*?-mFy%5b65x9!TMVmW$X}|QX{(F60+s>4GxL?F3l6BhaREYXD`MVRk(&JpY4j#x+6#FqW4D()JZO8?54 zu&_ya}0o|5W<#sC|q; zc}`W;PSVWGj2Tf8xZJsE7l%WitgaMPOg%ZmI1w+Fvb?lI>4kBMU3u8~}ifD@Hz=g}W1nc;OPRNbwB6iy_ zr@swjvU=GTp8d-Dq8Dp_(%};6wnG{N?lhho`OA!>fv!I%e$#L$!^~@$*YAM&n(Vu0 zh225Ke(N|#8YC}Sf^>1Up|qGfoEp(pVhd*R4<<}oF^R0#t9+h4XLC<;7kHMQxEn7X ze^K3xv}5v>buFqK)}OuAWjMs2xM(OIP55}1QZ%(biVqt3y3^{+6l?EbKVQAE|D^7p zZKkz%O1In+Bu@`&WN^WWEvqxVb?S*3H5i^}LLctvucajT_Pm>EnHt!5XYxA59yH}fws$Tx`JHL|hM+GT#74h;zd85&g=5uy;?}wb%aX#q@ zD6V9IsgsEz2f4kUYcS~J4ocRBySxfEr{YOtDSP#-I~GD_9C}*ub5mhiiMw3!E<%|n z8&n1xGL#xeVtC%dz4O!}WX|l0i|_V}?P9anQy5at%(m+YETo*2l!^;T=oz=W*(B$; z@0|D7$u3zmH*)0pn&%Ax_fyf$_rGG@3NvtOu+)L?eWro9scgex7xnkSw|zp+EID_y zq@{&~(SDAkc2Kf0EYRtU;~CeLVs1@xz9DS8pb94ou10-RZIxjjN z>iY4lx?4i0qvtK~J#kicDCxi-qj4~4wMVT!+gCS z_+U-H%A~bM{ozkk5RUg5A8ze0t|{+6;OCbYg!}H#>urX8QH&rz)R-_VlrZWz&^B&T zddyRsDH7c#hA*jo60dhEg)=q(T`Z4i!!55630YWJP2z%&%uwh#f2nQbF@?1c2#OY> zw8|@;X`1zC*whvcvHz54!^|UBCT}f&{+%RJ&#(KTG33oQi>p#iJl7HRa|_F&w&KjP ze~Ps?cNSV#tz28-tzpsu#iF(>7ZS}W8HxOJHZMoG*L)2gnm)BDx|0|tX!Bv~6*DMr zy53%Rx%g9>H`;rusD0^1rzc&(_ODhcFz9Oh|yK{A(>^_7vx4RFkXGTTEu&$x%y9IJr~Mdo%oC&t0%yJ z?YiyTQ042g{RzcgVKh8Ft$})pTfGB__RZWVGR1DfY9pzoZXiSzso=VDk7!7wPU@i8 z#2sk&P%UW_wWsOUHp}zWvoNRsMERm-pNaJOKitx1$5(IWU{3dKvs1jK%7-TXzlMJ^ zj%&kNVUsz=vs(0xEOJL~sLPo&KS-qPPT-FXFS~{Z%^xQkj{2lHb)HM9-OSdX+ zS(TEfmv&<=@Nd`3p0O|s!{Ql(6bqhL^lZiHnr0>!4||eR-279wE?h?4oz{M;SxskK0^OR79_mJzX`c_ZuPqUw z*u~L66&+%Sdc~t;`+@A2k+hYQW^OY2`zdDhclyY>WNVlQ>Q7+nfwlt%3^cb8qVZC; zj3H+Ri%#{Oo5$S+3%Kddr|J>rGbOLd)OH@}E$8t)(VZXP7T`6AdJ*tgM_%V7RGnq| zAD+cur8^;L@}?3(Cn4yv$A@o?OR2`(x$k&W`Sl*od{<8~5Bi)@`DFg;D@A52<;+ub zYxi4=P4as^#EQh~J&o>tJ_BuBB>iS@u5o>U63=MS<9 znb0W-TRy|;R9K10A!y|`nQ5GL0pxzOaXZ%D$6K*s}cY5DDbF#$esJc2EIhM!8rKpG!zl|Jsa~18%{{xi&a{4S~sO&ysYR z+{=#ROxQQUpp|DOTMs^+>OWjo#g1Rpre}g|A$F0n-6{D=kP-6%A#gX@osQ~g`|@$`09DRoIKCn2j=dohrBWY5;q zAa2BCFC$W@D$AZKoPl#E4Rp$s%3SAs9Q-!41(inDB(`((Z|N1)NX&KJCAi~pYRYAo zXw-Ui_!Zf%)cAp~AOIG?^Vqq#HOP1;Khr?H8q-3&6Blj%HGAt2AJ3%efMzLXe$CRFd&#(ef+fUZeXw0S3PxwfUBD#zFa?`5EP+b8Qy6cUb>XL0&=Nv3g6~lC9=6Bi2(xAEz=)t1Dyt-X5t+ z#OV(8(@-LKcnl?#wx#UCxR>I@JHP%MG#hX-piE^devFrAzaCrhQic`1M!mj`$-;*w z>^I^@5*7_5eU@COt`9t4AfkHEc&N3|2Y91#F1%M2O@M;3LLFhmiGZpO8!W2n6plZp zekEf!fKgVenA$)>sRB&U7po4Wi5Wd}xRB$Y7pGQKs~$+mBExImi@)H*LVk9N?n9XR zGoEKm%rqW`VM|wb*D!9%ulA%)hGKrz2@JJXP187G{JW}*UpP+L3Xd>L(Xy;eRik=~ z3@r1U4;ydpoI}e<@}7!(Q+FK$=eq6ne1vG*%Gy~1~p~S?L-AOI;qUKmFrb@Zh(%Y;_^m2L;s_kjMyx+ zv!{QIh>gR4rN3IZfeGLCIJn6HXpKnOvhh?x*l_Jjeo24Z`H%so?KoYtVQaI zuF!^Gg>ci|W4clKHPkhuZ!P`a^~tB!g+x3>y!4od>cm_v!8 zzpwIk*-!A?xLBFqeDvwI<(m-`@HQ{lq9bKwbmtAE%_ed4Nk~$W@L5o*&Ab=>^q-!i zpz;dzw*B$w%Nl{i={L>PGfV{z)qay8j6kP&Rrq=!p_7)ot^6X`UD^e_$$fmy!m+q7 zpBXBdfE0~KYc(fVWz>K(ls3cXk1sd6h6j1};`r*$RF1h99li!Oa~_SAFxL+`0e#Mm zHwp?nG4f4VlvBJCfbka<}n)0(IerT`NDzrQyfMebOrH-Hb_G*+oCFDr|( zJy=Vb0NdN65snSM4sg@F5J3_wq*6cag4o_xMFX=)q!$3W#{lq6RC#$hEYfy={?;f< zi=K!OfP^Y9s{Uh1i;iXibR$GGzrq1h)3EtMzU!#RE$2btOU5+ zCV-i51dJD&mX?+k@bz;!863$nwjR(>YkbGNF32C&2=IgT1C#^AH^v|m2>{7afJY}PIXM{#2uDi5u>;5jI(h-{a^F;WcQY4PS4O~*%RF4+ z$qL|TtQtI*g8ayU7vm_i{b0c6bp>#2wHi%W*>xt}tp%Jr6Px|EtQwUw>F!V&8v)Bf zW42DBCW8pTFbc!om6gfwO^K^Bg5v<_^}V65=brH^N`Eac4>K2kvpNZR=!eklnsH{K z-GOEamUf6#1j=>*KtdTrlD%OQ02j*yxRc08wHUTWz;bb1x^BZ*?*inR0pLvML_`U| zr9Tka0pKte2!1_Ks}eN+Iom)*}JZ zrD!(IpSZp6GGVJtK~97wqZx#dH8AD;?P>&QSAhw@Emh!>IlVMo5d%n%qU(aUlS4ZI zv2zpP;5nS7jrS#0r~9<~x@15XNV@w!Ox*v=`Tjp*ymAOG@Kry;(02s415-*bJakrNYn1oe*rd3>3IME literal 0 HcmV?d00001 diff --git a/pres/graphics/simple_protocol.pdf b/pres/graphics/simple_protocol.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3973c1af22060efa4dfa1772fe33d9918f7ad10a GIT binary patch literal 32290 zcmcG#by!@%vgk{Y5S*Y11Q;BGGr-`3y9BoccelYU!8JI+U4y$01b26LcXuAydmnq} z-gDpm2)l?3dHf+@eg4$8*33gM&-zgEWaf1!-+|DcQW zKXi$iSvtPDj7iM$)j1+Y1~!JT^UD}nn>d;RSb#t_etv+1a%tQ9H1mAU%URRL|@(XmL3nF*kdG{73%^eXBL}QD*`?XZl3^Zvxa4Rz3r8hs5 z^gF3@ZJ6S(RB45}b3VDA@2Hv+7xf2Q*l6@HOOkl=J)O(m!%4GYOVZT@ly49j>f%Ge zt+ESUJsA0FHte3abRu*!%DD~IH~G%DPzmxKsbaDx+q)Dr+uFSK7d-_Y9f!*J&qf%& z;hoBFmK$))8Zh~z%?CU~KRQcJ1CK&~-z$E{*`VO9UD1EQHj4Ot>why&X~2SGJ+dFv zB{ZwXI;iI0TJr~0UC-ztHDD#xOZbpR=nY0)=xMo!DDg5pC{3zaYJ@eQmIAl`R6+hB zZF8pXbz!=JISV(oEHopugzUc%fYu~(D}svDpKV)?TXTZf`C( zjER%l-)9CML0uw=Dp?4ApoAp{)|YQHZhp6+8CPg3qicvAC#MuZ)NuHY>yApyqlzMg zJ-a*3#Z0R5=B?Od2+sX++P9qSpuFpCI(J4*LwF7`c7*B5LNwaA$^ zXmv?HO(u&*x);m|5cz<`2|FoPN-|FPvx31=^q?C&K-J=Y36spW*C%McMDQu{OK8tm z@oiEgcq%v|;5E7FH2tLo#mfVnbueDB*N@b-S!_Kku)u9w!$4~+!C1jY0gK<0ck zVw`K=NFGrE{Hr&y@f}gBU^OJtK@ZaW!LpM>Ti>ryc;0+>kmOtuvE9A6Mn;5T-dDG z@NQniBKMm*$r|F<&yJ@J0?nH+l~Ez3amr+vTBMAkY9F%AzYtk?!X82x){!KZoV)mL zgOe&8F?}=sDDxEM$m~dc8zdhnn$*-JA~nQN0N={+Ep%;uBxwT#Rv83Sup8=>5NAca zUt3(H0RrLG#lx$=DN1$)6KEuBAkqYset2MlC-p;RS($}UVF}#kAa=j+{dp4|?hupe zgEILrFKOVjOnNKeD&%9KG-t8>mDtB(Ms-|M0!9JRg-OF4{Z~eM^(=TGMhM4sXh;Zs zN?|LxRhlqJyh??Bf$7^;h8agjSHWCS-kr3T*0*omtEdCxbS5wf(8jm!W`7cz>08{W zZ1)ZRaKOR4p1gbEXa9qBJ?9zi=$9GCJ3m zvQHdMnCFu@%U|i4hivMIKmX@9?{DNU+a9Zx*Y|-JL^N*RP*tbJmI?6!t(L5#%4yj4z{5bHMT1Q615w&qY`gR*?!pZYmw$mjp3cZ7sHe58wdt=4qcaKlN&CAX-5T0 zjsym2eJh*1g)TjtZ&T5pz||`$B4fN_t5l@0pLxWD?841ydhFgQiU*z{E^B-AT?=s& z0KRAuHNK?4AAcyoyZP#b&mRXt?e#9%yZe0VAbTw@+o9wG6CwZe9f<;g4e!**JL(GW zS&45}FX<0bN(nzAXRc<|`Xsf!+Z?6>;|V-;uEM z>41j<9GWiSvSJJ4k{(-egz-HFQa!xleZ~V*&EiS*hZL*to`k{X4_GR!FeBPC6uk}b z{1|Ssk2T1h4Ut*qf#GJv_hMD<6Al}#TyzYC_1aHJ&6NR@^)_z5tdpfk;s5)>S^s0* z%C5FX0H!Z`Ca=jt(a6CDVsBvN0C>&IuQ}L2$;ivlUO?-;4NtH>=#@g|(oESTR z{hz&JAOPr}y?^^@T7Nyv$_ip+26Az60e~P*MlSZ(v)2iQUv(H+zpn3Z z3VhYC^qO!D9KYz<|D*9W2mkXF!1A}&_&e*rHjV4`>%U5m|6gtAe|`O5TJn#0`fsMZ zRu%snQ~qJvf3wBmuWul)4rWDWk~TAZ-N3)wtqAyQxZ=0}a0JVLivnRiM?Fg$lfUzs zyavJl+jA`csZ{!BUBLnXvN3~R=lLIN4^|K-=)V*no`@ckUDqdxcS9#P3phe?`r?`{Afr(}&7R%XeDK%AdRAjmI zWtn)7)X1n*@uf3QKI7O7@Uib~AbF)3`SC(vAvnfFUY(`LfOf37Vb}YQpBZ+(2WdQ1 zUitKGR4Zh$`1336#KZc!eQcLrvt zl+M(NwdhSt^LBjtHxorTJS{K5af~ZIhEwaDsoeJntg-3H>W2q?Hzo}_+pAC7)s0Cq z>o{REri14w-gHR%ZZx>PNxXH$`M3N86vmiu?(*W0FZGlMx5uQQ5qNL>lj80}(b$k7 zGo*Ytj@g!U2XIX-Y=ow0I51B>{Mu0bed0I)lCw$@QIk=r&~S8vVtCy`XrLI(3rwrR zr`&Kc#&BUb-1(Nz0M5;_SgSBd(Xmu4Ml1w(Nm%PoLPjdwBll^^kpCvUY=VH7^d&H1 zr!gJQs_-bsV#}=}9_LHLwZ;c>jB377Y{=##_nW#3KCELnnsgK|{_a-UZ8+DWCDi>O zukGw+n4_%7G!%ZAi+6E2K`@#ZXvY{XoJ$=bU4BBE$);oY8tdY0FWFzM&T`&}Vxzfyto?Q|jV zcVyny$gt_+j(jUd!`uD(AGZ>g?w>Nggw6`>_bW}8ehKH z>|61D;*wH5WeERSKv$py4tlIrhW*G0RLgwku1xa!EI&>16WA={9YCc=+%f6VGtSG9 zupRuAc46)KgEv?+_^LNXpg~>C?$-ow?8rr_(m3Ilviu@x9HZjQ#I*ynkF9j3rDSa8AvrPu1qX7qwgFEu>RaOK{z3LgjZ$GdUp?+V7lu@NxVJoje#L z+S!jN&UUoOt<#3U@g>_5W26x6=90HS@ZGw<@JkGzsU8lMjArw+I6^l?-+D;AMce+w zda%k*ccrz*Sy)AoWymYMH|856^wMeEA1B~iQ5kwsm@vcPKHSIJ&o0;Yye#j4=1lAq2vE z74TW-;tgMSv14EBTe~SyyG-!Z$r3A--Aj&ac7B{}%tjfx@MW%)Zb0Rj_?~28zA^7* zao9QFhGl0Rb$uCl@?GccJ=H0i?T1+m06#zZ0WNIIpH{TygQbP8w&Az4TcYfQQn}@2 zxzSQ>J=-uJPpcSw;_p@Qs66>c0?GzUn{c0-$}hptE1Py~anRS28eEoDMi_ig9%rvtU{?L%`JX z^E~MzF%`)x?~5uAbKYzVn%fX({JxrEOMMaPU`U^E+|bHV8`Di^>imkWyReAn(X};q zf8kLSmT0)RQPsi!;0|SKpIbS;p+c)j$wa;Y4bEW0xm#Y6JVf*BPa-_tay@^zNRRMZ z@OegUJZ^s;dCHtYM6GX2Qf2?t`aQih16*=4bFiZ9u^lYxag@+se}_>m*qpf@1I|wP z__Mdk?^5ro@`dj$SNitng?(9JZ5?54j7+P~m>MU*k!=3-{mf&;mP=ZuB~pm${?c9b z_mdVt3+kQqWxq|fnirH)Y+S3Qx-LO1on+)|SQ_@uq|(iMrl-eN+qas(9d>h}^*bX4 zYBsRL+1^1h`-Ss#$k)qtWSiPLY_%$rPxrY4Org(-#|&+pE84}M96YdGU}njW=5lZ5 zpT@fSJ^5EhcJJJkPMBW&IO@G$^*2Fj*_2+w;)8frcTO@~jj>o-C$_&DrUg%vJ zN#cd`bj^A&8dOO;OUMM1_~el?+@-Br0A}`BRfV;~!zxC5oDzT9fBY$%&|LRyYxlv+ z=EFRB+C<<+T2+9xQ0kfK3Dbpw34A%OJrY8k^Pxqx|0JOY@o~L#wl>;1MN02)T;OCX zg!>j*;8;ngOM1oMKFk5_{D;5^#}BjUPvYCYj61az(Oj&1f&CgL2Cod@FDXjk~!oY5H}c)D~@ z1oW(*a|z{o(1*ftY1icgNF@32FVd&z2X`Zkil6g!<>8doU)@v0Om!3i-pTd5!7g8? zL_NSbEEhzRYS%xXc#J944VogNyx$IcbUatW*>}f z08=!sAw3uB!!g{SH0+O#I97oQh}CDm%ML7>&>aMImO0N)h*L^VS7n$myxe=WrU$e} z2tm&*({Us3DZ}8Zm5xI_s7$#8>8AKK_K1|SIY%70liVwA=j-K$RQN-K5k9TvdOQ7) z@}}HLLrOGsF~b0i(E)jwryo91-?xr0?@Ev^-wN{i#$IEbSpaDi;<-?7@OJ$h5&{NH zSeAEOyUw}dJ>CYml^88uJh5L&^GRbhnc<#DNosQWOK7#H!~JZEvZ3FV;J)A;+1;$6 z#rKECi0x~c<^%(6hR^j$PYH&v$@eu@*ztckz0&NVso`ssZqKH$|iUt}$kb1X{7$Qm%#tNOTd7k?CTIngKG^QK!N@ z;OYxuo>qQyXidTo%?*!{dHNb<(xcs6UB+%sA03b`XC!(x+_s+Q#pGAs%A3A%I{cMJ z!ofKpv~C5wATIqbyc&L70?c(S-X`0Iyy_YD5WjyC{g7n{3*QDs)b)ndy@C6CY*0R1 zE_sz@@?qNY`EbF9!R5W-8TAtPh3H5i1{UsM+jYbDvq`N9&nPbXZwFOHn-%B9ce`hd zC`wD$#wI>ktum~lt-_qLoU+<}xJ{T2XRS#qAMjpWfM^#~pAYy{1hWn?hml@A2tDw? zZe6hSxC_qcqtB2{%VAsub^um&-P&uP_u|Mq&eZUlPaiSGRoGHD`FzBEqNu{;m?Jx+Sp zF!=el$=4={C9qlfvH_{jM%EjT=L`8LOLmT5wpo?4~TQS_?|8 z!sJmSb2|R6eoGSMzXMQR_E9%x+2zb>3QDJitA^_b3dX#rvk@rvkmbAb6st{7n<*9N zv4KYUKJ#aDZL3tjsdcF+OH)A9nNFVvOdn^wge&fwQR=rcsQWs5;1Z$>XbF^(oK2Xb z=;JJRZ3rjOxk2c?LYR9sPm?)abF$0 z4|JcvIw#K9MAl8AZn-IXzwgi|?}IzJ^w4ZB^5o$eIl`cwO}~Mg63#ekM%YD=h(iv| zv9zPc)k9wx`NLi==rfI2G2x1NL8JVDbk7zL5LD~<8y+m3UGoOVoL8VB$c*Q}ELQZg zYJgKF_(R7qx&p~HC38}W57-^1qKg%It5qSEiY7!phuMpA9Lrtdgq)Rfkg3pj5c!Y>0|6XDvK3?h=kIq>lH{Y(`Q$a@R< zv`d=R_#lY?M$KjY0*HZvUxR>!;2Xi*8CZoWev`|2M4@q|-l^*6V2|>r#J3c1NUUD*%`?_vN)LQQ z_8)VOz0o1dD}P+){2#i!_D`l_7A~D>7Cy)y(K8f;SJPq5OYLV3b!orIAzFZx#7VYv z#&o@^-#``1ee&G^CE>zP7i~6Vc}5CRwTX(=2{Zy2ZMSr^vQ2^3KZ+4u6l{rqA)27H zJVYKcfxY8yNXwv-re?DS!I|nN*ydMV=3 zkjot|IAH40?&i88tl83wbC0*y2-5Bb^{IIfs~&^NTc}(;dGh5iD!z@43JNRu{XoR@Q;d_2Z3i&JYadMEqEo*YF_RkgoV&tb0Q z5S=4^X&}B5*AiE2fTP0dkn0-j;n!1}*Sf;uu-4hvdQo!YmyW3ml~5m=}luL3(Dnt-H-H8QeEPs|?UGDB(DeI8d2pJy1SCJ&-y0bRc(N zfrLR(EOFa~r&l!}V)^t9CppWVBcAwb)}6-k~igVxGNqkkU21S zfUNFEPF4IS0+&3^JrO#W*@L&WkDT10ayf?9`Qqv{(z*t7HHUbV7frKRwJChP#3u5U z`G5-|OVESgQ>WMV7_Wcb29b*ze^?XX0@;h9HEv`B1#r)5OqmO&z;U3190^_+7!#{n1U5v7r? z;NIp=J32#a3Jxp4#hKJLd?E-Ez?Hpkl!lU+z?MGiVN7MzU6wZ$KP9UgSX%pX`Oa{7 z-w55v`DK-VJAlDC{mo|G9Dg4BC1=$0>dA<}<&}$Y!?LI+_z1-%e_~mlgqouO7ZLN3 z^Q?B4uAL~~{BW&oRLl+Qa2|+ghL#@6BKD_$r0fOW0VlnP#-pO?_d1z(_=DMi z6!)=R?FcH>?LOP*EDv=!C(nvOlsg9By*2%F2A{RTLj74zhRg0M_#7KsUWRjxo8`H) z9y^y>Do8F2CIEK#Mq~v$NG}4Fn!6Tm_SyCMb$V{p-X z;`u;IF4jZE{=-R=Z#rmYMyI;j(zUNrsXtlv!s|JN{o=XJU7OYe)#H!+`N`c#Gdimf zOnzb6o>|G8UO~D^Dl($=e+ka^!}x1Rf_UYlOpu<@PUn_X`; z*PnZ{*hJX`nPQh*^36h1?zW!Xw<(Wb8hg{x(OBry2*m1(2#@`fk}DQ&M{j32jXg3I zR|r-J^TX4_b^fHAG2fdZZS;hOk7sOu2bT$-^MrjWL%XC|6057~tA@XKM`Xxq+7;B4 z{#kLSEQ`3S+V~Ti?>!-;DdjvaeM##njxol4|Ayd&{3$gpL(L4M+J!zm+ufA6MUHV^ zx@>IW@@iV_dfl*bljpBW>|3(Q*8cJ6UuIWpG~=C zeG?J|frTN)W9*L6rMX;e$)(wZyKY5YM5k1ZQQPA~m+ViWX+|k#GR&zT2Xm^Fd*}y$ z-c`Za1NFZbBQ>S5+$VbJRnSK)wOJc-7@MHS_eQI;I#l9ZgPg$9Mnk)5^F8D0+ylBp zb3^5&&K2?Wp-b>5(;+p+R_a>ZLgE@c)5Oci9PvHem2%}R(i$ey{##Y0#V~eqXjc0E z#X(Ex3yU#V`YjqH(+OAEE4t(nV|H#4;UKFS)dIwR018b9qBeI*P2Pdd4@p zY0ipf0cn^EE|lqd*6UoSDJ4T3&1g0Q3&As;2itBAsSV%j0>MMRko4i33%EzX%P;SC zFgqw&>(=BE6Fm6yH2d)bcv$`y;Sj+y*YHRJr=ZRs=hzB+j^J-r-HB(K8PlDIokig{ zVK+lg#_m;}^z2%{8jKNvBZsETy33{!>^+GaviMDbpdE(Jg+uGJc$Yv1!_dLG#qOi+ zPZw{98J4H=&p(`{x#%!$pf4GPZC3DV^U_X-f`&ey1>6dx_iniSxQ*26;`glN?@BQn zUJrI_;Qvm2W_ZDUA$aW9D#dPcYRns+pGCss}X`{{=6<3uBx8R1|#X?-5mi=Nz29Ud~D8h1VLS(`BJI?LWKt6ShwG@l5Z8Iar z4)vvhNf>s%$&2kz^FY;aS94=^iuo5Cw2M9%g*2>Z;qu{;D`58Ekir>xCC-tT92MTAf!Ou<1b`Td1~93|+GEY0%?@hP`j*N$=0!<=~Ta-gn{?m7l^Mf*OOD^sd?5 z6I+J(jWMcPxdeVr7+kq56;bcbZ7*z#Z<}oM-}gPv@){DefLXxoKM8CmP`33hd>U3B zM|n*f#vj|xLDCId{2Oq$O?;1nD8TEFB*CuT;P9F7mU~^#cMKVUU8&u_AN90Jw+}il z*YaYfcgal~_@kLJZ3gj&j<(Skub%kO4 zplaU&S_Gwc{)!*`mEc7caYU6+yA(flk)z842=(m{DHX9OV`3C(;*#DU55)=&6(Sg| zQ^kwU#R``cu-9bPPDactF+wtU_a#ybfRId&eJO;=aOA?EMkS1W$(91pRVH-u=lui> zfrQ#9fFR6$@e6^N+PLlKy!UL;Vq>NR!fFagar)2W2N8iisW2;=Z{@j>ppLA~d&(~3 zW~aI1F{*zOq~t>$IC%FUr&*vj-{l;SU53+>)92HNi`Avvo>mn1@<_Zh_q8GXiI&r6 z@9c;7g!Ek{dPofUxE>$ZeFJy(TnqW|L_gpLlc(2oO?V!W z2TF1l)T8JvmHtPQL^Ubnn+SF_ig~*`{#c-x?CnVz(x338Q+(5QwU3oPz_T3@4lvAjlgeE*^E$gq1l%#Dz0We#KWt$aw^Ha2S~iR7zsD%wvP978BR0gS z2%ICg#C_m#kLBxr{zGi?dyb$szQo{Q?(H?ad$g4yyCwF*U~PHHA?<582TV!H>Vj|C zzI(2Z!C#|2;3e5cdLB-|U(+%efh$L5Nu7QX>50#=IHjcOrdKh|CU{T6J4JhTL5=fg zTZbq766Tx_-LGw&GzSeH=H6VtU+7LV8mZWsL$Ty>k2=!jnPa@hS{TwcE-UA=WO9#d z>DD%}DF@AI9a>$ZyC<~tEStO-l9Xf2@taQOrcpn78)I)?INGyx7-0WGlIPR#x`NSm zPI7Z2l29o|LeZDipcyjO<4f> z@Z8Lu@t|#9Qdaj!LmN(Zw-?!z{GgjV-3D77|EjqqzY?iM-FX_$F1Q-0XRFG&6A5k( zw;bu*?134V`fH!qD0ohSBP86|U{>YSSf@&c<9kGTFnt>OPJV7ayR@tw6*VRIVJ*Cc z$5%@kM`c417j;t!+n6>OZ*ZvDuFytU5S>Xi{TfSU$jf@jV=~27d&on6=u;snGt#E2XrqzJ;jQa z?b!7P+GpY}(3=z6jPETpjm4wd9a4v)>`NwbD)@0YSxr{w*~~9^Lweeof^RA}2=-Oo zgf-ZLiWQWxla|hZK-QKcKb5vWs%{g

WhmY(9Vv-n>odrQ=>8(=IDvXL)7$OY$Jwl$ z@%D8B0!|MH8Lu#@YEvk~eK#+nYHNw;4Bj`&AqSC_-OTir{XTCSai5~P2Tap+!7Er@ z`HR+K|2Qd!>~(6&CiTRSXFv)^<%KmPG8`by_)*1G04 zv?U(7WI^|+`geCmeS>n%xlq_ok1B=-NVajo$C?=6aADF zaO#UfwS<271`5lu!IN*}_e@oluCJr-=I0)Y7kCwgj&)GjV8ke6?5@&(Hex^VHOfQ% z%@{?`yWTXT*FjfZsJW zm8Kk>Z7dFfe68U%NONS!z5t%Le5}dg_7Sm|Tl`*RY8_23*S8q8*;XBrE2AZx>q(#@ zZN!9gbz^jbgjn;|>My?k6M+XtiG;TkPqVL8qYT)ACk{b~Wt?zra`7P$v4d z_rDw}Vo!VBkal{ez6c|Y@X2RfCWLw@!$pxR{+I-2EC}FdphZTFu_tX;_UsX_z84Ul z^uQMdS+bwZJfyV}lED{7Ll?JXBH z9PE(;IA~)5vlF!=Ra&zVCNuW6bG39esy>G@0-sw8tpcw|7ec3lYmeI8Q=06Zuw3gAA=`no>m@gH+!-`~G-K!AxS-z*;>HfES~^|V@}b}j zEREBZJVk3dEybq|Ri@Th%6ToM4aMhN$w2b1YPcpE^Yea?)Xp>yeKK=mcNj#iN=($} z9^?crVwoe=!fU`XJmZCS6&n$9I9Gfesko}ApPRjB!0X7GsicmgO*4=$7^F_Cc!yFK zN!dK@Y5Kc)!hfdnN^7b|N;i!I$7HgSy4IyKt+x)T4@m`c(DNs{t-<D$slxV6_}Yghn<+P8p)aC9iy^E6qakh!79k+BwS}GM8YO|-bCL1-kjm@+ znv5PYROQJgWe5%Bkl}w(beN&{dv@rVKT4*Oz33jJr8MY?lhoWVN{rw9T$~uIY`Vf` z(T)&8-Mg+K>7Q&WG#0s*OtsmB3>xWA&&@hyFhKb%o(`OTys!9-!Z@n&{jgXug5Bv7 zAw+y&y~4hD>>o$Poxzm4eX8h|FN(3UAdlWxU4bOD(mhC5&{{nN7k|34C$}q6@*W*| zS|`K!{%Z&>!xpywjn}GA4n%l~`jQXlE2!%!H9k;wiR#ZmqvLCV5~(^WwsQ~V|QWExDXyf5%l_$>ME=;L>* zJ>yo#tsBoP#C1FPwoN3$p}Vo}CGIFvh-=e~C+$tUkoZneF!N2!v4P>ARA`8`a9`6g z^f(+xYN$|P>Cz_qXt0pTHbH@HOV5dJPft^n$8Mp;-wKk@VA8N+M-osZro@ZZeekw6 zj%b=AglCa%iFyeVDFT%0DWG&D;R|^Nt=IUzKb}{s`s_r~l)iJJb*pOEM6BYBXD^XW zyq_qHVEv>;TDWw{_tXwu8`CUT&22ff-gpKf6y(3Rr({g>pW$uB(~})xfpdPbuK&G~ z0S&+5m){Y-v-Lu2jZYuFx5%!Zn}5&`m@Q@+P5Af*0H!0U`jwxrKbj&#!%OrRZUt(6TRLVcMrIXWtDEox-bnFNRPC;lje|SJ z=Xll9r82$@&%7r9_rX`4ToO>q_MgTI$i>03{Z0c$lXpOHO(YzTlEBm6=g%r5l3Ek8 z>Rs3_R-L7NCKzQ!GYWX}`I8`wVE;<>_>TLvsdO}5Y;`X8AimHUC-wxAtr_M95{xwk z-ZYGDgF77l1n;&Tb34t(X)VG`t4@ou>&)xq>*P_-=h zwUgqTnZP}VtGjzxtCZ)`=S;ioir!gE4+9UBs@a)hW_(>|ZI$#o&?7ee$EuOcLbeFp z%8F|Erizd_MfPe7-X?5^6tSVj>>9!vVqTQ_^3+n_TE=`rQz%D>Y6EzDdW_$+-|&(> zK{XV%a$mZFr|t`0b??pjqwI4lKK%h01DY(Mb&~-mbSfnDF|`C#FrqCX>^5Vo0(}y!g zqjwt@tg6)V=M+->4qH)hJ^22~U#Dp*#H-axp%wN4F^V7EfIZVR>6cA1ekDchjyfz> zlD$+=rFvzDzCkjlufD!M*l{q4BsFU6#j&;O$=CbPIixY=$ex4e_rl>L4&KN0FbNi! zC7e8CdnM4LF9TPY==u;78z3-oEmrvBM|yH{KJtz2vEdXatF7O%%<}errs(dLrfQ0uwJj%}R;Kux6EKV!)KZa(FbvSd_zXplQ-pNr z$r4+Qr%e9vNLB7;hLt6fD~0|3B`s}?fr)eAc5M#hH@Uu(#(d$d{%ju z(a3_YloiHS3!)TQp>~zEvP3wkm^&E~?)AQ0ScOE+Uy9lL|B!uh@f~GVw-vv8YE8C* zCW=*!^+lBcTIBZeEdtC$m}z^aX(fa6^r#@lCH7flmo6jG87ZX(U8j+M= za(yw-JNz~ITjN;XUui{@G*)2Z97qCE>p2OX!D5ibu9w3xni|4@#6*w z(1Sy@r_ur*73ap%QYxmxl}AG8EcALJf8`suam;vC+A$m%o*N#M_f#+Jg$Yv)FJ{wx z-kxA{Au;iLoOw1fUNAFwF&b~+9-g=4NUzM)eVxDZ@aAFkT45YtL5Bk25NQs(UtGgc z+IvYu zjq!x|#N}8vEh}=_J8{^U{kc*VOkaKi$zU8TnG$uWqS%(c+i8r2Iy5x?i*T=zaev{; zc2FW*CF0OAx2esNB%Y_=9Bk5+*ZMs>w=@=CDY0AE=CZf<<<^*$`zFKirw=59(ZBw1 z(iKQ2&OOC5OdT4Gl&PaEK2+z6lH4UL#wU6^ySEzMM~@=5Cy3HZgOVtDloq%fdE6*& zB#7cYjQ0IDgK4YaOhAc5Y;=X68~Qck&RyD*w)F_&i|a5G^>7H^j@2ahr=;f6gGmgA7HM>VZaEQ_5*6g0oBF|RJ<_1Z#C?$6pBhD%M z@+g@b%cx#&-+OXH?k!6f3#%IbtZs^J)y8%MKx)?U)i~pFGHQfV2{o&Re%#}iWZF@*cvtskX@CK_lHwc)&txs> zY=Ap=xZd4srpR{z+S*8{lb`SCr7PsBQ1v`>_?c$qWe?;obB#*KNp{drCyqxc+<`se zzSMkpCraMWy>+>pzQV^xH8@}CI<|7`W%5G)h_8>c^&If9N51O$mT!t;!do2kx6!xr zR5DhO6!6ERuzq%yKD%*_g2)#UrJ+2#BN>Y3v5!5Sgw6T7j>p!yhfkqj{izF#5*W)r z5y>N@^Tnqk@Qi*Yqov^8cXt0ZPDN2D`0r@_E{fVW* zLpe-0{+)((TCWaN-m?{$U{m^nd)0QoA__bg4srFCv{JNtI?1)-9UnkB->_li zz-4M9ybM@}oC;dTucK)M%F!$O}}#C+TV#>pV$ITX{4?@sCbUd z^9T$Tr|oz8NsdQ}?ukdpZsf(s%An(D3@p@%Zji`Az6)ZqZGE z(a!L7N~{FtTo%T9x17s})$C^)bY!gellNKVX$uF+VXnb;)m^WDf^%86Jq{?FOzTlvJYOG>Og)zHXH#oyE8uB*GUX>>&- zp{{g5g=<+`l^fD*aUMp?SZt=cH;GbLTw2{!RODe$&y2jUI-H{T&9!ELU++$IJJ5eH zMYG6QT@&1TmWvl2EzZti&gc4Xr-X;;*PSH_o+qJNy)j+<7gMU`4bJOdbu2adZ$m1YmQ$W_udOi$MDSDEUSN=C zFb@AafW-2jfZBgjIDe5K5hDi!do$Zt8u*`xker^?E1M)?Wa(t&Xl9`I+Gwd~^2(*W z0w;nF2CtkC00d%Yd_{oSfyhjM2mftiW#wYz;$&t6{Y8R|tW*J6Ubz@O zTL~jG6Vum$EFeZ!PIeX!WG2a1=*7%H(Avb(=r70ncOkD3$}4-sz{SqY$iWF@=K?UW zaWcP>M<8Y(fQ5~XospB78N~St$gr|7vU9RB17CThzvEsp7$eqK*!C}J^PfPQzl_s= z!F2x0{&U2CnEa~v@32>7SkJ-eufTt?TnVD@_zzM`SW@I~=U=D2y5aSkvW>W;h^(IN zD~o0LYQLGI>pz;6TpeDmm$Wvv`3qVp8kv~AvTLpY8o^iS+31y!mbW)FvNy9f0nq&0 zu-8Tv9dC%0hDsmzEVR%P%Pu)`vl~_$Rb_nie5=!e+ib+o_PKkQ@A_1Yg_#eg*w+V(Q=H zlaR4>s?02bFD9tj+%N`ZDKVV3YF}xX`)(K!RC;XcE^==A+7IP zBH5twV|Eb=Dse_x7Y~H<6Ee*(Vvvz?Cs(V7Pv68F0;8}b=Ehqxtw#ibZ9y1NM^N8Z z-d(~x6n+%@Kzc(A2VcfT?`#I{4gCd7*vGb=2yg@L3G`AR`%|?Cm_&Q;Uh*nEu5TzPm>SVIu3sD?V zP94G?E%osK#cr%-Xg%pV$>Dyazos{M zfm;mq=rZJQku;6LL-7lB5;MA}@m(~bUjoP#j{B}@FV!Tn!2*@~{(1#EsTD7zLC)nP zp+Y2L^JVL|ELrIn%m>Rl6ThCeh4s;eBWmE z{#tF4-OKaywC_&h0rmK{#DbK(a1`77BWb1Hm@wTAE|7SlN2nElEM5ljMnlh~#jGm|__HsUmCpJY&~dIXKgppY_*GCt{2 z=q)bG9|di`4|_&A{1W)~--@abzgj!^Ga#@~Cp7z^_G&&L&11uHz%mc>mXFc+IRAdtV>mcECgJ1t~y(TuYRkBMsWTxufZz+(#~M#X~KU+dR7`KSO1TS_xp`{Q0a8 z?a-@@MXs7->2Xz?&)|KNR0;Wix_isuMwWD4x6KS~W^6;7nVFfHnb|T^o7rxenYm4E zX680CGcz+Bui5*|Su?Za+&?$sM%)U8r1&yZSyfqCN~Q97-;_cBJsX&y?F=*HCz}H< zP9LH@B;5N4QsK+i@=9okL%wAXug&(gt1kbv9V0v zP5j-nIFj?DH?LX53@cK0GFqr62J#X`JO8jh43!Dr* zvZ^DUb8BbVxW|W4Bvk2g-h2p(sO=_k&koc|;Tw!PFKRuICv34SA=@2Z*TQ(uBdTxI z4@tHboHFk_voF154cLuhZ2~`2Nah`9Pbj>{k}tU!yLkPM`&8ZfGkrxmn;_?ezMKr|1cvEx#Xcow8YzYk5<|ijlDg?||O@pSPy7!Hrlvr)2@&nB6oSjg( zC)mMBm_I(-^MsEhA>%Hh?<<>M)J=BS8=Lqu_jJA6z27~l9O2{+qV?x(_?64|J?6cx zLBH4!^(vJV!?9j}bZ4J`it8#QO#VG$-JGZA0%bLHZsc7JUMaf>cI8+mzs*;`qdmwr z|0_s6UoC;llL}OQ=V5_8=Mi0HtKyYzioIH)PqS$UB?N1#p3m*g?zt=c&pMy>PhYk?RW303!D{LtB=R^ zy$8_`sfYb74*vBDyn{#bZHPW!yNUDmh5M>=wexEbKhcv5*^16rIIV+sM|RJb=Lo~N zS6UjQ+R2HDfTc2sw`ZLwWd?#iKqwagr79o4w{>@+>3}x}%sKFz`N|Sq*=?_j5wFYv zGoeNJ*{ww2hsZ)N0~>n8EM8RZm;Ht1A#L;MY=1kJo(`mgk%>pX*=%~?fKl2F=a71y z4#l+w!VQ&2RItzK?vuv&&hPLHw|T-Lx%`cj*fYkgc&Ke&b5@=Z7cnC*_N-VJNaBVZ z9q*sl-1mXg-iHC+IO~qt1D=T~gNFTWRBGhs<)}bM(oWkDRi#AVA!`_ykV%BuRp^qNP>+$ITAMCq!sEp zD?u&}rOMu{&U{+XDmT}hIJYBC2sXK(9=PBvsC`8;y7-D#dqbMfi-qW)JgVjdBOJxB zAEfWIgL(UW5`0BgQjnwz6B#60zzJ@V6_Nt4no1(CeE6eM%>~)l`On>&oRezEU3P)%~_)-ztT3GXdWpCq~AU%guwV7A=!-D9rry?L3a*ttWH@qt^YbIBT z^Qc=Oq=wx)jQc_u|F#jqSc22M#XF=NLHgtLmDj@W(uqXr$6(x>Kqx6jx!sBM&-R%Y26_C0<@7e=TJoK^rgWD5b)q2c&jUAn0 zZzvOSi+UP@D}ka^p!RmshpxLTQCqJ;l!i4KYMhEW3Fq|ES*2$!cb#zWDnau|u$9+Gn2wCm1%00Ra z@Cje2`;5a(!{{AWR!$*9@eG?oL}c!TnG)lf?i0WGXh_r z`@s9?Y&w69w_FqizV+XPE105vqk=dTUJy9U+z&G+Q`CfzO_%_7fXUXG&@sOd_Z5F0 z-A-71m`~VDn4dI0k>ZG8>+3%@OgcIi7#3k0MMt3@q#+lZpGN+<8{>1694XlZ*5LZsFZ2eW!-K=bpoMTtBh( zUa89zY?nzx6v`U20$GFVg4XjW)^K_CIZ3yl}pj{o&_6 ze}C(Lfg1Gi4rfeA1v5@7lB*kVKaO*^cdBqlqSy6>hm5@WvtjJmrf-=@*v+w;y1)7G zg;*Ut=BDUIk5!_L{)yEH8vx*|!cpPY$9!~-j3ttM`Z6KLJ!?rCL>Z1eN+-ya4z|P* zn%TG|SSJWwNu^X45U*35Uc1 z9+eY9cbKeCp_*iM2o6h|287TP43rGgAHecB4U)3Y@#C%oG*P%6yuu|`KwXy!Af^z9 zsJrwftgAIM>e7V!$~Ox}u<}_6p>E3nUQ3#+sWYD#f2VJF{2;=ew^eh$>+Y+BJjg6h zEC3`gnUt^diK$i)P6V8^gcN+IcNk0DEl}Zz32PTQs`Oa^mivpWJ$J9%Mxg7t_BpeT z@0Ww_jX$@}f?zKXh!Wb!H+G6IWKhS&itCF|8K{mXG$bfr$9K%fxz7fme{Y~F(zW-$ zP0)A(`W9)7?%FvLUiawVB(_r6~5HYot!^p{}g(Fdg03M68-p&Y_{>+Wx-%q zbk-N71+RX$d?(zxWSsL%0$U$Wnt9jU)e)k=ER=^Kem^l17~9$#W|V2c$>uI2gPdEo zDAUNPc@-ff7sg6%=$!$hAMZ3+7pm&jSunQB@@+F6 zAx|HInykUzrnmqlrfOLRfT~zN!D&!KIYQPHse5R4_!HkE-50KH_tI&Xw!zz=foTc` z_>0Q7r5pG05JCPn`$p5=T>7lWaT;7-Q~e&Xj0Xl0R2~AmSI^MHlSh$=K?tb3=PALv z1^n4$&XUgLKuAbV3kPr|bRrgzQjo4m(3HX2F9m3ks+8!Y?nc8b+p_QlKX@dH;;~II zQl+!VB8Qo30?LVThuLZ}+vMfq^oQ(Oex_L{r%A0$chvoeDeMO@`DE}(QXkITYPJN? z75+Io0VJ~MPyxv$X9{2~vu>m6gtRDBr7k2}3t|i93qK@W=fmy{kgAQ?f_Vp%eq%22 zFA=!@@R{&6^cxbnzq2a-Q1v6V`Q?uVfTR!1Chjv}foJ0}pk#?+PrxR}F2Zre<%9Jj z_SSqP6!XjPPO&|;!!sCVMr1=|<+EBf@?L0KaG!h(z6!e1-a#7pHDEoEK7bQ%hGR&@ zD9b|2@YY*5a9ealJHu_(U(W261~x{#5A9sXxt?Jp$84V3n&v!)ltRcn5tZ}RDo9>L zLd0FfTSQL8H)!nIvY?+zlegUSS2pVqj#Z}d+mI(E6|I#_Pf3s?Ogt(WD#EW>Rf1n_ z>cQnq9}W9%F9=rphJI@uBX(}y84^RQ;8n-g()N2L#i0g#!p2f3pk#3t`3x{?bLqym2>Wf+p+4x5MpL74w<>IM?VyXOrObZJ8 z>mgqPyC=IDW)%#uj8iC0-m?ttIfCdB{Q98>i1LS1j8Bgep1=l<1}X;d2auw&v0|}0 z*|M1Q7~gGP=QM0V;56T`$@O!$Y zPVeow1=XWGx5(so!=7FQOMpuR+&{nl0ZNwtkd$vo<*8ViipC<&9$! zV==jtS7mllp8p5JC3%gtUDl5|09Onnc*X1LvKvF_rBt2 zgRHc7*{9NNWgq!M?|6XSd-J}zYxa`s{u#4<=90JBPU`87`b1kS?F(MEDDXU)5byez(V`8+Z_GwL!Hm^%d#DvJyZA7J9TC1J_(qNAu+rQfic1X=`WI!x`qhpfE^s91U$9AKrVW0yAYM)|D81?;Rdvg_$3+E-mUPw{fbc-j_u#l^ zjt0YWATn=qK4QOv-54^C`af*pKEmh))L+6`y;faPwSf@!_|9%`F@R?I11}jDH@|p; zhi(#mq8mMASP=SMhL7+rJ}j@$a9hx?a2-KHj|7!nI#^($3>XoHcu}G1IpE|y;I~Ys z3@{^xOgzxZTf`}_%A1DnXaxRLZD4$mGX`8di2PlhTlhlZB3Qt1A(fI4oV>62j-=-X z6aqY96dpmykNEFI#NQHlq>8?hGJa(aC&ECHEdLhq8ptD`Ckd|;n*S}S59l5zKp=kd zjAkhmH)MRcmKJALz-b9$zDZ*#sg>K9E;%j1Wf|Du#%L+M41}M~GBL_fhQXD@7$%p` zvmGbSl*F7)1dy(6K`w_mI}kL)1N+3pfKv`29i%t2P`lpEKgg#{>dLftx2lz}d-zOF zmT+xwX$wt{#nJ+@YEzdp*otW_r0>7JXy_JKsxHi^9m>y4w#XL@9y)pkWEJSo*w4xy zn?2KhGAA?4w=}%s6Ekqfko9rCp$7*jSveO|ZfJ2NOd(OK!gCD6!q+M*KVkQr_u%Ra zm!-zk;bsS{%9gccm1pL}=PZvMT!Ofi>Vf7Kpthrkz~ZIiQ-)M|j1uJ%VA^cyF&s;n z4|!~H_o?%Ju#Uu7jV!i|umzS^e1&m#$=)f^ixPpXuq6k#5W;B*j~tyEMQOZckj}T* zJPe#tzVZ%eBIVK!oW6O*d83MtbPq-kFM~vW)T#0>+{bJ*3LW|B*0>1I!QtTwvE!p@{x1Zl*kDHS9ea_aC`h=2N$OsMc}2>hyA)j)0j{Jnjj)>Wf8DR~XWe zKUUoJw9nPlOhZ9Sng|&`;xAb<0*o&!o`2H(i5NAZlCBBWDo-jwoee*Bcgf&NdP~<$ z>@iWDH_1FDZ~c{O<;5y|mSa|$KPOZ#fuC>o3x7^YNoF7(g~?y0ucRa)0q9ioQ-&m- zQL9C=Y#2dFIBQ2QO^3n{nVX;&_BjDhCdt5rC3#$sUe=`jRQ7u!rLaDKuuNgiX?}+Y zdYMx6aS5(VF@cIaZz-m&h&eFyDA4K0bIo%EooFL|G!2F1`4;WTPy8?#f zcll{j@F@6=Xx!6Y)4heq<05x?o?^V^E31*OnVXC7lw+tVCf|L2Whlu}o2vxkRN|<{ zU)NtpJ83-0u>Sg5CK^49W9b=1;b)q@Xr@}_nIHTre5b&hcrt>pSEN+Iq^j0FD<&0f zqz*PKfL_&AR&=aVCRG-D{Oh^&Jc&O2d%l%FG&FIV znhE=*9=|OxdW|&kBF$k=ZPohkelo=uYhGI0z>|6d0Nv6YCgMG@#rW~$jl%PQt!#iA5t7(JtNxY0_ z8N^O10$2uydXJ#FQ1TmWmJ?k=Wvf&7r%AM+wYO|5Lg(Qcy0o?AE7*BJybRdR1eq

o!@Uf9l3iaF(D>^ti_+`DooXxEbBxt(LiyD(27+#KK1H(~1OEaeUn zzsBs2lCOIu*XZdLuhLH%oJ0@6mmVJX)G7r)9n}qG zx3bpD%8PvmgFAi~dhfKI(4KZbJX$gXthDd$wNnD2?6_{1T@ovBIQ|4}-B8}$NUy|S zK#8FPh{1)3;dd?_7>sD_LZGV!zG)D{<`F|)uESsb{1Q$4)!s<*C;azGv@}6y3lQ2| z^a3Gki9mn_m~Ae;iGbHo5aLgWrOB^cf{1_+x=HjFLARk`f=N_QLHonNhbG@iLdY(G zp+G?ftdK4REJ!2)KD5o(<^}w40ynhhd7;|^RSJg~V#HT1St z2c8h02CS8IUi9iMLJ=CkJANSzk7e+6=tBq<8NK8jK;+Tl02QB#A?$VUGc4`&x1Z9= z#z-St6GbiHw(2=>n+k>e2Qc>h`GU)`_3|N{<^W^-MvXP|amj8GARqV-V9Z^8$Bog^ zyu~m5i`yLd#)qh^MHuRNIn03->y{9{tcLC{m;-Cptya%8h3GVcPF++9M_$=SJl3&2 z{4BxtB^7a0t4-n6gcTN$i^n_L9;R80N*E{wRQxmpn`#)p&pJ9c@$+zOdOk4H6@I}4 z0eieGL4lG}A5wio*#>X4UyY4=X;Cn*KsBY3fP1^5*C-yTZ9-~4)rYNjU9RP8;>t;W z4dc`#m6M(f4sCf6Y^YD>o$I}mW z4khnGb4K8}R2{&4WG{ig^WfWvI4*+c|yJOkP5i+2Z#^+6RO>nF<+ zfqa`ZL=DsTNf&qxmSwm+IPIfiA&y|dVB4aRB>%n*!|k`6C8ZUgq=PC!9j7LaIxR_V zLxeA}^33L6hdQz193*=v!xblomF$r2kj3vc$dOBN6wKz&Z+k(%9Ry;6{2B>QE$Fs68CWyWD; zHaq{#Q<$2TP88vL{mo9M4`%mXkwyfH@(^r~PJ6u2N(F#Y1c%%}(!6ck%I8B$K zrpCO=e@Qdf%$Z={Q0>B>Lu@CAgiqdm#JIq8S6LOCfhXG;LKsp_3c@3iCHr9yUmx3I zxC}nSlkZS%y5Dr-m$HUr1wNb&I=&*f{2oW#6OSqblCthgO11X0$$FR6b%8UAcZ_ij z-b}q_jfdJhmU7{EoaOg&toYcT;B_$eV3QydZP=P?s@#Jv*>3D^k|_>D?a4Y8=1O1f zo%`q&=QK0KwEdioF^65hjz7AyD_*dc3+wfuMBd+|%`?mkErYQ70^)7^^=&G0j6|r* zL-;+wlQn~Gjua#n&A(X}+MMYqaJI)<;{}{B8h{;CSnu3=BJ`%O54Bd3=F~uU| z2ezZxE()p){_mX_9d#M>qKI))Y8ial;1ZcpDoTt+s_V2I@E3RyPCN+M;Y9u$1IXCqQ|HM{@ zo$KprHK#KfAfFc6ZiX}LI437!YEg{dvjO3vsGevrsVSrSd07c`#iscvu#!Z9pR_ks z5h4#P!2&&XT^UWbF-16dbPR)8jym>F9d=orbbeXRQ#;veUS*K>wv9G4OyhIzgdfxi3G;cso7JLsM;#*LH@N1I)v7 zRlLK+XWoO)yxQtLZw?JU!9gz{vM2-&{3rzO`Y7X{y8yM7anlq8wIIboT8DBh^( zeYhp|#n11^LMM_pix;kuE`b4JV$s9mvH!|y~*1girJ)1xME%Ahf5 z06!%mZCd6u@LGpBm^2gIv{ghGY?+FTJU-yvj3d>|jGcQqjpGlgq77Pp=cY5#J)s&G z2&ym}7SF@m8>eh>8e7xAvYUuEirEZ$?K6du{$bN>#o7?WNN#O*w)rKhy1O;T$v8Yu z#l)H~DmR+9m|?R!cE;O8HZOkvGCw9n8#g*Bj5T>0R4< zMR&f)BQvVd3DuYDSP%71!eh4*S2bJ`AmH=w#b5R(VH0lDKO~IBQ$%5t3CT(~AOQ8B zW=-JVijmk;*$=o9yN&*o;TaDz*=Fz@BlhRJUzteHi(w_Mxor+8 zVmFk_#xs*gQhME7j!x$`Mzc1$mQRmz1CoZhsrQT#2t7l$bKBfG2(2mq@o*n-V8qZj zcU8zs)y(D-{(Kr;_xAvRyMPzB4N$!=Qc^X|G>j3d40%7Wx^&>z1rgqfS zjvPRQVBUzQ7lK}mYu_sWllETd#pK2C#ZqOC2s)7O@r80pNKP7ek>85|AZ{6szn5^A z3L)-Rskv@qef6Et0aKpzQObq^+s}OG0#s+lHE(mR6Ks8s5IuX~C17C67eM6mlTUm{$XL03s_ynU_@s54fW!o zcL-1uWk*Uq#I_uNN)mdcbxq4DT^Wa~QbaJDJuu_+jHfI9FezV1a^!IYaio2OIj>f9 z4g1t)q$)oPUzMtTQ_4H$yZp|brhzcp#GLvQ4oSe@U2YkkpjWlczZ2JC;juOpssBO~ z1ya3_0?GgJCvu!n%Z@$Wk)RlmwaB{5rxPBIz=l4mr)R9Ew=n58!%>lS>vV zHn~zaN^98V2LNn?hcw(0<*VB@_ zz%mK4f|mG8#1F6JN&a{IQ%SM3gw@%VQ~c;56Sy+FETEgtg+hPJ#v)Az1ly3WP8MZ0 z=Em}J3J`;eo;=cISR(2ahDkf?g!*BsKoip5-mkD;@Y>?63a)r-t6Palc80<$GzBo+ z-7Pi)dy}Flcy-mh(4s#)_p$soQculSDx0I*N`1zW-x-%NYbYgV4GmZKEasspoWBYN z_`Z2mEKkh09(`+tRb=v02|8EC3GQ0LUyScDFPQRs&{yxRY(LUxfRCql+fL#K4_^ZO zoJ0;8P=lmP`(lQr&@?hh7G0GwJukoQj#fK`mL`McX5Dzb@knEgo?n+&bDrE=eyA4L zDrR|W?B-;HIMZnNhIO!!UPIHl#7tjScFfEA8bi<9aj-^y$TQC8G3w_82YJ3fm3jaMbl-2not1UH+~VIA$AdXP|z8!SWq0sdaH z4&?_;u@wbV439V|NTUREV6&mNtW(H**b|h*^Y#x*kUGU5jTGtVxetgBcUM>H+Ts%L zY33)$nZa5#N=@?UM`^jq8Z`+;jn5$(YjM4Sq!p?rw`MmfFpX!%_3sgl*3|ua+pnT( z#|l0AK1%)bU3hlPp$cBCVP83*jQ=zg>x6~YCbQPil+MDcO*4kvN%!u(E#8cSHT?G@dAM$un9 zjuU=?=bJf2MHk+5v?k2klb61K7zr@GwJO`+$&D9Mo|VWHyfBoAEDrx|X`Y^1kno0?12*ZLkXCa)&&C22?uRb%=`#QVWGzTQM6*lf|VTrIqUoARoHDOFK z#MK1TQXA23>sD( z2$k|W+J^^1TZ%0N?{BtkKY&^6jbGz~r_cffd9|tgy5S@Oe2&MU)n>8BFb!8gpPNo% zk%fW3e7NtG;t0aD69TBPP$-V2*IOJ(w@En@4r!av$$TfsS`D?aJh@;rK7M7XU9oy< zTyT}iLbJGoeu$9{!@67t zlQaDx5LoWn8jQQT_Lf(VtSpho2kZ-APs?7~#}^J(m}ynd=B8l54C-mPk-Kx1pdX?T zaD-EM%?pdg?RfmmjED8dy~@c04&$&%Sde0KK= z=J)F9ZMBgwn+TZg3BDm*$C$H>Z7Y6$Id8YBoYnbNS}Icu$bLEO&$RAXdS2Q##O-gk zHRY$%?PhJx5B6aoEi6>0r~=XZwV0-`RQ5C_2FYsy8F+jmhTwnhlxLsEH@`yBcSwMb zf@hauOE=c$g4e%&Tt)qjQsw|M2)tR`pAKH1C`HU)y97ftgSxly>9WG55<*@p$4%K@ z+PR~5vMp79Mn7Bk>M$Zv`JkK_-6w9j?aHe4jx61}QvWT4$KmQQl(5t9k#xC6(_P)F zY5o4`E12ZYN%HU)o=-*K9UAZnd905R`m3Ro8VxUElSIY1b_>#_iH$$Sz)t-T@sMl` zT%nd0`^5Wrq=L6xeak_Bc$B^-9i(1e)5XL3g>a}v4QI{N^cP{1vb-`7GvSnDGiZm# zvdCVw;P&X3iE@zWazm%;^w8ro^tB;m+E5X3^0KM!ZpEn&rYgK+mf9HG4|UeG0+mox zE2g@6u;%h4WKHpE2FB77Oih}q4h%mTKQ8$m80*RnJSP7V*b z4j0kb@XC%n$$xc}7F!mI$FWp?$98MDmcnK&0BYNW-uc+tgI@I^uS(XA)8Pns42DP; zazko4-c%$img1T9F=Z#}Gy?${vgv803KPJ(wye#(q@CHp&c2f5;_o%?y2cpOC8^Pt z{;X}*5zS9?KJe9JQ1JJC^W(JGEq=QHuY^^TQ?wWG?!s6!6jW$~#KxyBI zM3(?ccP3KVITiXs#T<-7^hHXoNU^y;Fy|M1%WJ(xE^v$*0c(_Sb!iCxkn*AsWGtgp zPc8kMDeJ#|U!}>2f4{bpVY{=TR{T~(#=}<@}!6qO~cXySN%Ci`BM;&p4x!%;?wqB;q#u*gP=Ox8b938_t%|mJi1f0Bx5= zT~9a6JvJcbXpj1T^J12l>q#_X76W{akTu57WU+LH6zVD2{`9qBTn0+~5X5Nc9Vi*BBCzn;kAlk%ty?EL^ z;NJXoN#fQoRBtjCb|>ScLpb91Tz^Bs_vkkiW1MD8OT~E%HLK`Lfbms_AYl-;x2lm>TO-7d^dEp zSH!jjB4$O!p1||GdCabeHEdVF7=7IsB9hu3Wi}~VYDPk4@JcdBY<}6@rqD^m%*YzS z5Xjl{M>*1!IiB*@cr=TdnS#+3*(&#_OaNF9-q&za2Tb~c`&RD5^d`BSdNf2Tt}+<* zSS(iu1Vvgz<>9p|phM(ws2B@Xn$BFg<}YzNOH|$a+tvF$iiS6y1~6S}@p>Oa6-8H> z^FS}A$QU1Imrkj5a$YDh1S|#)Zj^Ru5uJm<4p1Ov^s{SITwfRq;{4BP`R{cXnwrs;M~NcFU^U>o(Gj@Gmj1 zeu{H>F6RWp?Fq8#^QmX9jVxqNLU5g3O#wEXd)S(Hu-iw|zAO(%^~u!4D!fzBTI8~5 zrH<_n{W4&k`<$X5Gt=GGw5e>%#{XGA&S=V5rX~tVAIonZcRS-P9N{yBRoQw>bfxPhJ6t`jK`3d2e3DP;)INSS-Y6KN{Z>@8-Ra5u zr;Lx_gN(uvlN*p%6~iJ*=pGjo|LDWI<2onPvoeEHdO2Vo^^yIx6rg;j&v&Hx(kKIc z$RL{G_a+kDw%qAxQ~)BEkKjR(HKE~>)3sxSu`Wn?VOz|;)l#5+)Fm>#_?8S6o{`$Y6@F5p3I9bq4OU3|1y>artm9Hsju zyg}vi-6%^h014Tdo9>ZF@c^tFDw4}F07-B?Gz!hTWavZZ5>l}Y^ro_?&*1XPbv-h%`53V_F}3Uv>;(J)7&zg82hw}66hfaj z&uY-BYb7IDaS=JIoTQYMp%uSj4@Y{bu;f*cvFQL>#sB7t}-O~Vb>d0!#gZSyIjsVRfk4TOyuVFm<25`>^A z1v}85t`rcPQ>cQCWTK^?Kjj_@ZX}cA>=3P4-RxueT$a&^4~~obmSSx`NG~AqSDm~r zi~|PgwVvt8RKwNMD0PqTeK9)(ZuJ^Z@0Zq-jJ9Y}UHZMeaJ^+KRz|4N(EB!iE$NE4 zwJ%(8?DGx)F{D}x&Za$|@?M+0W%x8#W{y@ox0#0fvS4%I9T%oFh@=fG9Ofly(9PE) z3XhEdX8>71_#+OCPcCxhR+QMzSUw)Cr0L@Vk7{eAWzlX?xFo5v&3DV9go0hQ=y)Yu zipFwUSM+(aS*D^qCT0K9S+-b!p^} zuJNJ+TDdk?X;U7ce2m5FNOwOJE|sN2V6-~N)t40RoC*$?aBrT7jWMjkor18S%|d6( zi!!0L?o5rPCC6K-v;zKo*j)Ng9e9gd&V&;q(X-STv z|K4k~s%tK17hVb$VOocf`HA$Jn2gE%Cy>baH!Irz{~^8qZBF>tVgH3YGX95);Qx&D z{>h|H7mh|CaBs+8BtK|4+)_Vd2k|Pk8u0kzuC4%KSHE z`hTNJnK;@0&Xno`SL^~A;6pBM&^k`(s1PBRC80}=%li5eaZbP{`v5?(FrlW+v*f-g z$w=_S+P4oxR~7b&=s1i#H|A>$+FK=C|g6&guF2|IOIdp)>|!Xu(b(EWl<1 zIyu>OiF-`H{~+({bQjE8NGvGDnj=eQ3n{g+8xYyWz zde$_Ff-4c%*F6#QJmZ{K#>wB%x@w(cKCLoIZ(5J?K=6uMXu%qKCRjej>Y~l?faFgr z+U_*1cuhIFK|njm-EHTodhJ;J#6Xi`$XhV>^O0omO2l1B`v^b3SV{`me|F@*A-(^n zAOFRM|2KjD{{~t7UtW}dCyW2l$bW<8-JML$U_UQSMp%Y_ZbWRXpDy1-W<>vt{e>w1 zwGr9%q*W$1^<$dnSqV--|Jvz;AHx|DE>7cBNOM}>Hs(yeo7xW{pIJb yZ0TwGSF_P8+1mp?wHiMA?x(21KZFSWw-c)~z|aZsj|OIDWangtB_k7+7yDl+3j(zO literal 0 HcmV?d00001 diff --git a/pres/graphics/simple_protocol.png b/pres/graphics/simple_protocol.png new file mode 100644 index 0000000000000000000000000000000000000000..895e731031d3bbfd8f41e364d935aa978d8ea745 GIT binary patch literal 17573 zcmchB1fX^?bzekdmJl7_Bh7j*yA)rL#U9I8A6oEjy92z4%sRr zTlV(7PVdj}pYQMY$M28tVLm+iwe7X`}uQ=VYo#_0|NsE9r5;o zf^Ob$1&?svj&9CwPLBUQ78Mpj3y6pc2#cGFh;fT4i%7x`QM91AG}`LF_w8Mry#A*x zJ?{`VPfvSpQFRGHVQ7k1&)&h!%ir72m0L^&uC=`Uojl=RxD7uIOyGwF{3jwTC?fIS z8~6ZdUP@R{_#)ibaB}c~L8+79fWIPeOWh6c;H_0#kH-G>qyq}x5*MH*`5fu~@ zl>G03lfS*oe|J^X^*r_PR?41EPErQyfzEzTBFg{0;~(tf^xr#l&Hygd#^;r2hm3ADs(S-1zAYnw_*i(8>hrGt!MV&vB)tekZneEb5{ zwd|dP{QPkt`XWxE9+LLD{=QZr8m7jMZa54^+gr=s&0o#kFhJN4t7Bq>Rl#}b+v}S8 z_^FFK2b;M2n!-GV1F-=vo?=#pEqAG^slJ15YKCZfY z=9XS??dfV39B8WM@1z?N9O8vG(K3JZzcNZ-)RbOv) zZDEYKSfGcRgH*7Ii#mo7?B#17XpRv##XI4&bWE(QynL-(?LA#|uIl(=wB4PI3HC-# zrY078j$*==CSK~&Vu2WKE$A^Q2=q(E%~anVkG?9cY3?L!B&w;6(euIidiwk5N?+9> z7~r&g9Yu6Z9X!N*Esb1p(r6E|o_Lsws09XNwL(O-RL!yGS{is4HxX?xFLfOQcMWs2 zw3a>w9pa2Jlh*b&71nY$u=fv?bacZ=n^}2_h~qH&J|R}VW@^GJ76e^qV;@HcODi)` zti2-)2QB7m?Br|jV=wM+pyp3DKHsZ;1Z9G>zp*(yc9hoAQJ0W5mhud6$7x9!1d?Z< zt?F%sF+=9D`s@2T=@9hPT*!S9&>HSm+QwRh5EX3^Z4J0%YUoGS zEkiYZaa~6}`v5EL0E|wMk+C#Rn;@l4exxj|sw3rr_Z5>ekir>WMSEGo41~o9mQF4> zRX-=~t9}k>oCWwNbu;CwF4_`SlEG?PXg_Ixb@*5sZaewvOMxF!5p@wUw6HhDSz=Aa z2pCHXtgx1$x`~M!SyjN5s%T>THC(0re59?M0|M~Q;-)$+Im1+M?cIm4y9{8rFHf7Gri_uh9+P!2CgwWd0MoS`)TQfnS)--A=MJ;UU*f%<&S+$0>2y;2w;LPx7qYXn8!KJAa(;AozY;!w{=7?b zJf}--;KCEa$CKucYcstsi}$0 zz@Q`N#fukWAq{)hhK8NqG8yw?h##VR?bM^^CnB6tcza*OIXXHzvZQQBhI&oekf zY#TzJvL3mWo|TpLok%3ABEyLASJSkrZ%)|%Ff8BI+B#DYBTYu;DUTKg zr5sNGd&M3n&h7k2?{z96dLMH>GN>#yjWoSCURqI7RMQ4K?%)jeglGEJKKKA9O=Dr3NA zrLTWqZg-{oBWMUSB_(A5aylnuh{mWJK{$ z(|Ho#gP2QQGpm`gr$v4(&@l@Zw$l{^j5RZzkq_}NN=`PHByO9QnWHELS7BZe3k~ad zEbUD`EghYQ!OIg)q`Ze*HNx_r#m6f(z zJrnn1X5WsCL{7y@4R2IUAN66Lnwr9Q$giId2@cLU;FB@EYB2Wgs)GY_dx}_eoj2HB zh^b)RYπdqDuXij8D0`bnikn^iNd62rm`YEbv_F7ssJ@QP#%?dt875)u{`=989|MxQ@FW;)rP(RlmLovlmK(i>{XI#SK9WbXP_GtX?M=Xq7+ z&fm|T?7x&I+EV;Jb$2hbRlHnCRbjM4i0Fujh$|JIeM>yZQ<@u`b)oC?Zc;=3CR^!f zzr!P8%X)pUacMg{%N_W|QDt=SQr>wU9vxV`M@eS0oyMT^AeRS^9-WV7*wYOTfD|^TW>L6Gs#{vk?MiZ$<2M$P+xzTi;F9A4U~;x)XkNv?t}PWF(%TLx`4T1 zo5l!vs&)!)Zf-4@$8mV~iCfd9h7(P@VC=^mY%|B^=4^hva_RUU%^vdS-7R|7^CBWI zwO#wHoSpN-mcL4sgOeGgprT2aV2PcSmzRIFySrOO6?8y}V<4=qWll|9T|p{z%~O)- z=i}YDyM|_DjN^BG-)KH5(_q_ZRnYD9;q&Kxd8aRr1_MXJ&G$BbGm@V6^2*EGyxH6G zu∋it-w&b=un47&~+1RtLpB>Z6X0&xzJ%nwrhH-Yb#eucw7%Nd_Sywf@uJFLIwd zXLp8(AjefyR9;JZ57*~iX^coId$Uz^o}2rb;HxfCQPHs*j0*8T-$xe&hlWm4A2{H7 zOVa99T)#k6I###Lwn4vm@2bgr0qg2T6%fciyO?uZl!4-|>7BcGvB{3d758^u4F*qU zOtG`Ge@sY77(q_wh2(Pb96Nn_V{*756dM`$ECG)noI!1X!sL06yqVnH+4+XF9r!$- z+kf-cEx}C1$cQJ?LV`xBAoP}p1_~)x-Fuegq(#NBxu1y?R6o+Lr4O4J$R|#Xk0(xo zKfgpgN@6{Qj#*q>q#CI5Hs9SnU!DrK@4UISH4zjX%w0JAMpNX*Tc3f&pYMYoYYR?Q z_S&|tfHhJ1yqd+9=^R858MTu=L{m1oMNnVMcP zF)=N$#(v_WprA-0JAywmGnbE^ITQQ_9KuB^S_U~W$L9D)Y2I(pyK4j9ii)5Zbc_lc zc5my0mrWx(Vjjsv>{M^S#II3N@VX#AH@aNII3*?56v3J-VcgWo)_AQ6T-8w0>g=nI zFQ6d;zXA>8UPUGSaQLQX;O^^J&ieu!!y&o#tr_3z(cDX@AWMa9PJ$~S1n1;BnH zHh$8g1LxDH7Y-z}o{{z$?SqYD0PDR|T0%wCproQ&2X8!S@I-F2tq5Dp7NW_9GWVOS z?0rHltW7vw{Xhwc!)Rzkj+8sKmP~aQOqTajBv^q@x!tLLG5^A8va&pli!*o|zCM&3 zzOiUenn{fLayu?gk(kdYv=AXDFVCZ{p|RgnIE?9C=dY=W*8|TLXLfdW zo>5j-?t`V`lO{|*nkHyqR$qi~2Z)?L()g^MG5QocyF$K4Z>a{4e!9h2+k1oKHN}>% zoS%XhmdlpWVKZ_B(_b6%c~2kJ($Z4Ydz?w)E!NzolDR3dNcE%rhYuh44<0&nap%`v zA=5HeRQYv*%dbytZ*I<+W(eGG61#M1`VZ{ASMoxh9!(&u&i0AX&xci3!a%v?Q%{piZOR>QPmk+k0v;qM^MJzenr6rcbQPPINr5=VQ>%D*a#(B# zB^Lru=pT>%9J282mV86kX z_11Z&)i7kp2DW1x;%{pTAUQJkJae2{lP=OSuo*Ul-6mUAJi|FN!UaogvDxz^`M)2I zGh>CUQO4ejqi>@}uQqVJqo<(~5S|7!*X#xt1Yr=j?rlX^i zedRr(@b7L+RaKy11?wBxhWogI*W=ljm@M=1@?w&cdxJ?o9Z!PduLB^dFMsn{nXig+qiB8CW-b3NEoqx)=$Uncnu|5=Z52c) zp5>{46}!pk>E8nsKR^F*C0bISqr}`m)&AUocO$mJ`gSvgXMcs(&hBobQHG8g2_UAy zFl=z7)}$CVCD4p^%8i0)>+(w(`hguEZXd@AT}BztMsq~)exF$_?UF2g@H%{ZO};FI zqOLY42i4NiQMSa(>oY4W|3op;_S?5_dDV~C#qb31Om03;{d~vOFqrf$Kt!fO4#_>0 z9_GtF->~dPMn<9`E3Uzt#qGyI|Pc6CIfy14sK~(ERLx9asu1E8P>h|JVkPC$bdq2?!+KW%g)1 zsS&PPTIz=*MOmx1bJ^Ah8ENaxDDJ67C^TMQ6L9h8*H!qTqlbggXt-;G?}YWSdO%HX-|K)ST$iMqWJ6gZ@$@~ zl$p|`U=w;StT#S260tpZxYY%qdZld>I%v@@ zw>LqyrM+E{o}PZl<<)s#M^JAL#o(nePZHl-(s!vb1~zHCK3CA?ODGhqTl9Dh8O~_y z=seBK!;n!;YnaBp)0`-)W=BUyi?wQqeK^mYIb&>W4AArU=eVlbUBG?n7>uZxm{VW5 zQ_?zsE`!8cisowH-(xFN-NvwNF#A^rjKjj}owi8D=9k}n3H$gaD@zFs*g2(xPN?24 zC1U#fGfJh9wb_eWT3V=_v*ij)&0Lg9wE=VPDU#gWAD5m0rZ4|q?$W`olL4zkFC!OV z{^ZFMHDqU&Meu$ecnqC<{fub~+?jOia8*GruJ^}iyc<@NVq!dhyii6oI#DAgx=I7_fEhwl@Uh-$po}o}novMtMlrNWRKIG+{*Ab8nm@Qly zHoX8?n_1~mgWt!WZI4BM|MdO+=_PexBFG)@=O@5A15k^-M<{&n8ZG zrV0r{-1&WJ5D+O~or@BZL_rQb>_3G|!C*MLsp49axPHez2R=c;Qc=C}=*>#lyLxKx z4Urt;DVTJ99as`|fkCEO!~JwC@DV#TFB|vwE@Loj^Fx=%$HJ_w z(+43u7loc^q6Q%bFS_|VhKXwod}ZmXPi4NU((()#P&usjVD-x{QMbS!v_SAmwoWe?70>9wQJWl0WyTq603%; ze>hYz)$@GdO+jXa)v65MYLy^+$_erD zhEH3fg3C&3<1aUa5E89SjE(u12kL`gJxWTlYJVBahBm&>E^lSO<<^~#WyOy>IXX7y z>!mra{OL*xhAD5OP)S)rjlG(&%K&1ux7X$#($l=R-u`@>%A>D*yqJpS$i_A}JQEO< zz6~eYCjvk&!FMU=dHyaHbaiffY_t#`I-Y3GA8MWm5TUf^J!x9K=;BEF?;kH6mbMof z%{LnIo$MHDzJE7u9X3~2SC4Yj(bneAw4WcWL7~3EDqJ%6YZYn)5o&$De|G#;heGj^ z40d5}d!d8z$Pqc(z(0RGk)ikR-bFO7^?Ue%%aJ0@G`l^PT7*zb6CxG#oYn#g(f<^=oO@ zrd5iw?}h!1@y(JFex3JDe#?o+dGsyv1xDV?{rY%U6oRr=kM4ZE<4kj?D0EY+6dzNU zVAJDu_pd+qdMZv-w(?(ww38+$dJl4#KX5% z4o_CX{&E4tRO(~v@$18FQE)JaJ1DG<(=R6ueIW$S^<&lVoi_RzP7Xhqy4K#bMHdU7 zEx*qy)h>$LjQmQa@`$m3iA!BmMddn}$+LGA6Bi)L<4&@pu6T`yi52?@##Qxt)bJm~8nZkkM?_^f^({A~}-V@sXY)zn&&1TH(mCYaQFK`-?@%89cI zaOtIM%qLHBCoZf6Y%Kn~l!-0tZ3Vn6bo=)0q~4sI91JE8ShaVf2gW(%LssIy3>|?D z%+5{8dQ%=+`*f>G?@>YmCkR@ffq@~SiK!GUu5fy&u`E1iQ zs(;K+sZCvxzoR0AMr?9HFH~470VbitHeP@{us=4$U`v6mV`+0T^K!_U$Kw+dU&hXbnuMg~sO*Ww9lhVaYmmY9L?ilryUAgi!|G|S}ec;NYN^M|I+g(j2?*L@n zwz<-6;MDO%zLG)3&MOoq%+mKJTvm4NvZad3yC{g1s76ozVA&M|%IrDASsAvN*w}`} z#rKS@J_Up0TWz(LD<`D(=Pg#z%a!gQB?*<)Xb9pkKxNWsJm$vh z14{YgK2*EE!((2=@1uemKOT*XBlVH@oBU_z&;j=PD7_eyD*z zSjUgiqSlv(0!PNdg6aZ3M`Y+HTh@3SWvYoY%2j_#`M6N#t|#i;xpTR-+g`^KLfydR zk0Fty6h|xs(T#f`P;NqG7z$5-Xh?8neSKe(AZV$ltJ}5|xxYP9@5ISuS>aB)MBl^> zn4hJTUEI}BeTX9^X0YW`EUQ{UH+o+!2K4QM8GCblj3x%+p({wIF+pGA<0`nvLK%Mn zri2*&D{poviP2bEY%T!RpS1HInT+%R?3~-%+lwq}FZy&x`1Fy%yIeU|=UROd_d{q$;Ni}?CvnxfI>Ez5^jV-Y$r$=WJz$AuyAx7V;a7a z7&Be&@R{Kd1H*8h%qtdt*zw1k6S#_!IhfGZ0RM067s!^vgA%{Vc8wq%WmHis>=oRX zF1c4tx4FLnazrd~AxR%&+6R#EV@Jn=Hz|c=2M{L|_RqY3odS81dHTpL4y=pWjgKEb zgzYS~3KiQ%V8%ujwr9m4YTAo~rtTf`n`pC_MWc#HJDbaX6c91LVByj%=oT4^DKrC$ zVu!BDj&zO03&EKD%2%n8Lfc!Iv8<(~r98E}r=p5p6?OGjxGgvBu8)+3pdtPX0mS16 zo-!H4b>Z*wGGBA^=;IWODK;o5NQS6iGsi_lM514N_T_|}Ii7%;=`HJ+`Tnfion+}~0{YLqv?P5=CZP@}$IG{D z%l6d>G<~XKV2*c-n5CKeI)29~?p3|D^Vth6>4Cj6eHgL|nAPh%r~y_P|3AKrjEs|B zivya&H^9}{JZs1n1z;74AfjH8arp2q)C>){@fySe*UY|q@rF{Cep9YY*n%Wo?KrT*%!*~+K5DM6)`Xt zd;{`K03;1uhBt1=}aBUaT5sFbZ-@N(N*@%>EY=4BS#u z=Bu?lc(lfSwuD$#sW06IiZ(u<&jzN$W}xLk7Eo?i^_7C|21+|=M3H1Uy7cbdyHg<{ zA*Wy&&q;}h7_F{fZ?->i@}w4UzYsfU;_>C+)>|N28Uu3z1Ag7SwL0SjlP<@PYp2K% zrZ+iNZ{-0UEb-M<+_}n~H2tWtG4cUqg?bSnsMwpv???q!1!mfo8N|iKb!>0^j>ASa zx>rQ*N7Sqjhc4FH-VICabX#mkTmGyBQ@QrW(bH1wze;zP{1-g z08%%D@$g~o1Hx2F#Z660_cfKwm`|K|M0ZZ*Z-8dNsJA!^N6h{E3XssU6utT(=0PH# z`4`}c=9biCeMX7(V7sEOomoeKwX-(i87sa-l0GjeDA+AXopAZj_h%-jh_;7cOBuJZ zHtB)pX9Cab2*K4DY)2JA!}Y=CUPCfyU;`e$vEVUy@(7&v7g~<6b5(c6P+bao;q_TMcAW<-}XZOg}UjYV!@ly(Ic)^&+o8Vc_8oW{HK<*!J`L8 z-@KW(4r~}2h01vWp=8tzTE;g)u-MI9adIdFxxY6-BQ)3}HtcIApM)+g)GxQs0+`RY z4PPZqf`Rx!7;^!LQ8!4c-!;Rg$vH_fmgj_>McGd2Zrp!DJQpMMH;cm2_f5c{TVT5pSb((gkK*H z{as%dLVTW0FYp`Lq*4UYk6Yc>(9lqny87XuWKOPo_)-fGGZht;3B>{4?Ve*2N`Xip z5|9`PyY*5jpp&H{K5QqjnK|I67ruvKZ?m{a66KI77z&EDMsm$<=O4k z^X@G2M3qNT=?L$0uXoT7&+lKqME7=<4M+oQeJ!9nPJqUqfo#3g-q17>8_qPh3?4p5 zWmP?{L|3hX)OkF9d$iw*W*DDJDIJWL%-_9H}^)Wrn=XgEXVrv6^IX! zoownSHKY()q>HeFGqtezu}{w?y|@FhAJ#kVI|gWn=j2@7y|;E7l*E^*s|_?wr#-^| zLPm_P={vqr@qUrH`HaI&@X#I*=}ft~xfNAm-Lv+07b3ZnZA0A3ZOcZYigLd{3S?KZ z<9fq^Vfd|%u%<1plM_4Tkk3fN1F1(E5G4HsYAzAbGutu%hm%bbgpvV;!teJVG@ntU zl6H#P)cw1<`jrj5+XOkO;oWN50u11t%T-<(6O)tciU`$Ajs9_@t?FIi4b2*Ui?ZVO zYRKL`yg@_%Ww65S;WTdGIroJNU;H}clNWyfHi0apg39{^_toRXVY4mUqZccwNa8eJ zIoANn?2DZ~vI$fR-^R4_NPx={j*6LD=)iwE$p*5#2MZ z50MQEH=FQ-b|r}uYI%c+g*8<-o?CkhpH_gppA4bTDcMN@q9ih_LaO=M2~Os`Q2pZd z709wTz_#@nLeD^C{$`I}N53d?+Ee%nio2fT1aH`W5Nxq7M`+&rf}TZg&sANq0JaY@ zh8#tHYR@15_#(Sd&$T}2XOPt8+IHy35#6QL)$o%|hR9c3wL&T7VlMrpLEZ;@B*T=M z;@p8I9499y8R3WlCrsUI8;Wa(KyMs~)cAY%j*$8sj)TIKL!Q90KFD_pQcdMR$u3h- zQnmxWUG1DlaX5V@yg1rKDf@;a!KNfCfX7e60TJehq?%=GG{D!)?xtk?rG(ZRiY8~0nz+#cVnnC@Cq++K&?AQq^)W#rxUHi@ zs2fmDC#1iHz$>bNgMU?4J6)8Xtr~r*EmcD2g25Ah2m>F|vIi+Sx2Io(tixkK%hu$% zlW8WvH>&du>$WN4ZVz;UpAQ;sx)$6JvijwIZ0y&=hYr<{(_XIuSa1WBcB8rRGrr4p zkmcynMahbMv_p2r0&j0VRH7Yj$jkBxS$-mLt-Q$RTzY zD&z-fv*&Q~hwW&Hp%l8JdWuJ^sHWLFYd=x<{T2K1ZM(C-nW-jEx4Qk4cI-o%%1Nr* zp3|YozNyWDi`}eNkyupn>M`O}(cN=S6RNDiH=CXGC|_t3nDW{LT^-=d5R>Cq<{dDC3l6U9PTcDc4o|w4=ze$f zqu@8QInaj{LK+JNuQ%J?qS%O=Mm3jCPz0$Em@sR{sLyE;m>kXbseCHQtzA4z8qv$J zHb5%sDw%2$ah)<{4`=F5_J6#9s#>C~=#p+;ZJ@%rUP4vjnTb`V&~L(#bGqb~K3$-m z&*mY@!!(TFQYpQJUMAArnnO{=vInz@;VM6XGRDN_K*A*tvsU3axNmi;RzZKcZuRVy; zSQH>qK!3%*eXKASS`oRt+Joh_XFI*_>5Z*jK!PsA%&>b19=;#r6{KAxkD|zn;)Onp z_kIqVcnrG5KBo~jB43XoL@#n%XsUB$$=n}PMI2xpX1*7RBk=E-t20HAIy89l6$Na; z2NH5?7@8u>mjdMJMD*AL5874os3PiTa18$ZUkMna7JC`FPPGwkBd(gcC zhis8Q?3%j~@I$rzBdyXK=qLT{HuCA2;B}VS3rHsX+kB?&z+%ZXs_?BD<>MR>l8f-^ zrrx5vSv0crS>z>7SC%IFk*}v{aE1J+q5?<69xg*dPc*^pbNCD7jC$?CBB^0qY~i&h zH(m!S-S41N$|isMH3(UNKBk=x5Ie{+@eDzJ6vMm8Cy{xwOvH|ns0|y=Q@ZAoJFZ~v zXFrQBEkzi};<0R?of~9BmqusDQfOjg0WUp;Zmn<>!iFI3cK4$dYxuFpa>xnt98;o{ zXEv4YyGaxE$YTm{p{M|B!Oln^>*Tij!l~_IV2)Ni6d%ZH-6v0n3q#}iGbnblp=Wa+ zSt29I5G!}UE(OMI{gxY9gJz3Hc||a0ribSQZO2YqA=QQCcb8ZzwqHJQsQ%}Qj@CQ~ zLUb&_`lmX%hHqPBodqS|V9oL@x3}2~NZqJo$N@Pb)V1P0bQ!aBCyQWidz9W=3nG{D1{%}avVHospm$xLnHiUWmyT) zk_;1~A|7FF&m?|DybNs))SU8mU4LcGc5&{{=KxOA=amz}F1jm6(PZnI{g61# zcy{4hfce&X7WKDf#OvCr3Jv54pA^n!*~245FDt4dIL_~-+i<9EWp7}_>fcOli3h7k zC>LYN!>>O$x{PlOMHVluyWYAJT}(^SCb2uqC}6jx%KF1FD|XC%I5+jm*KO{{`8tSC z)zqY;tNdZJT+gx+h2>>2(t{(ovEgg^jeW>m{N&|F8LGwJ;e_DBO^vL715K-z_U(^Z zex*Sc9&PX9Oy#6{8BeNuF;vK(N2*&^!suM1Ul)J*>Vm3}fA!@UGRwanDoUiz&kRi& z?tVqFTpU(?sq-Ck=XHUB6~FLF^W-i>!R^C{(a;{!X-Qxj3$azP)I^j{S1_FuR9@xm z9bO4LQK8z-oj)0ubyfQC7s~wl1ExnvT!?yV#Jty*Y$i=x8NNBOQRy3_6IW|bU<6_6 z2+raB%pD3JV`wflUuj@;z%*o-?P#JZLuY%do>W6b%~Xv|CuK*+ifhz#DDC;IU+g3% z*U+0vALEM`cHHY04Hd?wWgEA6ZwBxh^!N!8dqK@hTNtf~;fDnN>||wdh%IcIGUM0N zZ22Oq*Kba(2XwB{C~BKpmop4)CXtr~FmCM5<)UGAM5;(og~{Xf+zLV~ zS!gEY%6#Gr$EUBidIAI)u&RRJ#D`|_9n{LQUEWVV8x+RwhOjhScUPMShn!bGtn4^1{v4g~25H(Qh*OQ&hOi zC9Q`Ls#NQQyY4h|M@!{d_7#=ITqn(BB<$H^Q!;5QhFN-2uh;|$8P3##H(_nmpse7V z!|};ai{`Q^EUVJDq~#K_ zu1xpN(KYv26)_-HHR~+rk(;N)-|Lp`9vBsL)lfc*RNM?0mp@|_+SqE;pp$hL%cgAk z@RDEiSBb9+2P-Z}2xQG^Ip@wEEY6=o1jcMd<-NUX>>{4?RIKH-VSk-3UWC z^QY#ozkZo!FxN(V^q|1Xn`@_T8Kl`V7Ud@$@6@M`y|n%&Sw+_7;gPwOuZp^gaW`L2 zZXBvuZl3cte;qR!+Rd^dR+tSK7dU(!BAxOXj<}O%=v(!KWs)7?n_W~OoGmqbleKuV;=Os+ zTKvq_kcbmSjW0whzisQPe9UsaRvzy`|9tLQFrx@7DcTy>oq-5f5AICncs?3;>%4Am z*mL$9tyNlY#`u%Q5%Gq~{v?@_2Jjq+69b~A4ptn`UN-Du8~cJ^ zSY{`V=7+CX5pJfXXTHd$=zMc|?Zr_Nhkoh+2nByvuRBHPgszfhb0SCnZjbhI#@%T> zA*rwWt|Pnb;6c7dXYyoGrv!(JMNhO6bOR~-CGDQ=S>K@uOr)JAU)P0^+)_x=IYVy{qgR8ZdFPt3}+VRXuEe ztDj!L?wRje?yOIO=I#E{1HffDcc@!Bv`nj%zMis`YH&W~lA2HL{^rm!#fqi_6o;6Gj6gXWu_iElB5hq-7WJm$ru6a|Fw!Cyt|NB~_@8`v=jF}(T`pXWe zsSe1BDGe0s+&U$0pd{;J_vYA%g975XVB>8Cr0j>!Ug@lt>%P{}i`aq0tmy0vo@HXd zxD(?S2Km;wBgO;%WoZ*5>{dZ@H+!_}Uh^q4D#>cNBAskjy!sk_+&huTVpKrip!JRC zAKtG`?pl**9#wwhF)jjCN#LDPc@SIf#cyKh>lpt}G{eckd!gAGSBmGf4W%pIvn~Ie z)_0xUMdl)yCK|PF&BBC{?oP~dE)2@-QF0A6Qu>&n?4HKZ`DRvx z)Yb^i4|lTgnFShgp6Cyj4#g?)81*DZPZuZ#?OUM=ezxC`m+TQkoB=JzOuH~u1Vord zZfC{jDP#0Uukg!W;z)0Tdy zG88d9*Td+KIU|`xg71`l2jx-BoeWLBBsJ;6kA<7yIuKW9tuaE@vrab$^=+?CQ3d_}8d00K%N2oQTdwhl!p*S(cus(GB2 zMd*POe3U^N0HYnlaoO~BWAi=8X>!O>9!u9r^UdF7lHvfM<`_>0o{EX%^F=}xf?k-h z9NVY>Ki0s?gH69d2B?7=+NQ%KHQp65A|GH4%NiC_ z8IPAYI3WGSf-2YIkU?_jS>CXU>^-eLNG(cnfIMQ)1z%V5Gefs!Gw+_q%W@%MrL_lT zbr9hzEZB}J0jkCr(^0iZ2YUoRgr z4}E8ZAp(D5nqvp)N9p0QmQ01J84Ay3t|EJ8VR~@f@0by{0Jkaj9u7?JkY7C14S4)?lE@x7hAo^UZ=PRQ90AIZW^VW zX_P1L$$q62%-ARE)po4866%5jVkdxLX;p+?ei#g7KC?ZYl1{s@}Tbj7KVh|-4{70knDfY z{~jWC!Sw@MBmx3RCUjCHRS=BY?ANpnDW;I=Kf0pCk%uTvUK9s6`q2t#UWxG>#P*o6 z$D&#EdSh+ssi7Zb%iJ&XV=DDkfA+i{qOAylorq7x|*%2 z>|f{OvvaN1&(0iS>LcE<{1$D7L|3!bze=8{$lc!NEe~ghvvfig_$RN3JZO1??Ae%+| zZ&{?bP%wwWdezGTyq>y}BYr)FcaK8I5G6O{1neshVub*M3_En{Y*U3*UPpI^@B(x16CI`;Ts7 zLKn;+JLUwYN+`1`Bll&S(5XKyTaku#X8OKQU5gV%OJY;HJ&n5bm&Wkl zf}GvX&YPAfZk5dTM$==aJS(?7|VCP9HvZkg}z`LL9 zRl*3m%MsU4^e)N}pWX2|hhioGopZ9+=de=6FP50*C;`KbVH86 zC+4PfObL3AD1SI@^)Z#sA7ip49deZ_LQ~GE_x{eF8``C`tA1A-6I1f*I6^7#r=3!o zHmh^RPb`YS#ANxA3b~U_ow1paT>M*nC30x z?2LzZu{H;p5(M~ZJIVeGLktKCF3!vx830~h77j|Kl5?B?D*i3FQANVpqN! zcwZG}NU8cl$)i5Gk~{@!N*^_Zu4_XAXKZ3Z+smu;JR|^s9(MeA=Onqfrw#HzPk<5T zp!ic#8-&VXnewk?-ddXrbte^JzZrVh|Gl*`H?aQ5w(N@8x-1h@pCu#;*W@>Le$s9P&HOioU-vCd*%cL7BiWI4e=G<;TRt2|2AR0RgW`lw~nCc zM-P)Yl41t$K@PB5#N3G09mY@YJbSuB2ji6wX@3nJ9UUAy9tdbChz-T8PI9BxkDY<+ zrNi<~F`((&s5^~Uqc5P=yU54xTGkHNKt}fbjc~Ku&G&1eIQ-MroVt4_)JoFXB@3a- zxgv#x%21(E=|FsoARHu))R;j{AD_hp;JSavjY4&<0A#Hq3-{_VV-fQWP`Kh5(G2Gx zHt3Lfvt9e!&Gb<>Z>G1jwN+R)JI{}LrGu@$qxe2Ml0UAd3uwg3-si4KtWtiyM=VX~CN@YQ119xWl znq}^L-1}Sf-ymsd?7D8jjlxSmfuR*&zkYqmtknAA_WDAZ*pIcj0Uok8Kqb%)tdkT) zh2bt|Ow9B*QOG1185$bq=ohrIqVZ#WDYi2GaMJpI1K4w zluc|d=#?=sp`Qbl*|W5z+$|1Icupv3%jfHe=;>g_Oh2f1A7i@M+u87HYkrjp ze*3ZPNyupALK%Cp68H2rw)gUbk20azJSxMB2lMa8XrevVuL`fUDr<0994c%>iR4nbH{o^Q_#|bI4(B1E zW|RkUgraJ4w(pFj=VLfzcQ>XP>Y1pCa2U85T+exaeqHctV{m4ST-AT*(4hyZsbAu` zPy?6igI>bXh?j3UtHL(%kl}pr?VB-E7lSWFGgMqT?d@zPH63S4ftpx2eVP+=GzkPp(*_$E6tlc5e*+ulC= zUqgDSA7HSn7>s%>3padJ4hLW0WJod`h>fu=OJ=qW%Kr481a*#9NHaJjZXqE9m@awN zaFWl1z6MTVe7SRy?=&9pF$x8#@rRIwHn^^XuFgxm2Td1%$seS2bcK zC}+x06S+HcC283YafFm6dHfAa(S?vz#Y1wBrt*f4mR17fJ#`@e+OU5C4lxSa);E)7 wS{x|aN1X1^$9NH8%>-lr5BzBVvrq9s=HY`wxl#S_zaK%g)buf>Dt6cZ7bKc0761SM literal 0 HcmV?d00001 diff --git a/pres/pres.tex b/pres/pres.tex new file mode 100644 index 0000000..4592273 --- /dev/null +++ b/pres/pres.tex @@ -0,0 +1,164 @@ +\documentclass{beamer} +\setbeamertemplate{note page}[plain] +\usetheme[progressbar=frametitle]{metropolis} + +\usepackage{pgfpages} +\usepackage[final]{pdfpages} +\setbeameroption{show notes on second screen=right} + +% g \in G is explanation as a model +% f is the model we're trying to explain +% does, being model agnostic, means we do not care about specifics of f. +% We use Locally Weighted Square Loss as L, where I suspect pi is the weight and we thus estimate the difference between the actual model +% and our explanation, and multiply this with the proximity of the data point z, to x. +% Spørg lige Lasse hvorfor min(L(f,g,pi_x(z)) + omega(g)) bliver intractable, når omega(g) er en konstant! + + + + +\usepackage{dirtytalk} +\usepackage{bbm} +\usepackage{setspace} +\usepackage[T1]{fontenc} +\usepackage[sfdefault,scaled=.85]{FiraSans} +%\usepackage{newtxsf} +\usepackage[ruled, linesnumbered]{algorithm2e} +\SetKwInput{kwRequire}{Require} +\SetKw{kwExpl}{explain} + +\title{Private Information Retrieval} +\subtitle{Transfering data in a sneaky way} +\author{Casper Vestergaard Kristensen \and Thomas Carlsen \and Alexander Munch-Hansen} +\institute{Aarhus University} +\date{\today} + +\begin{document} +\begin{frame} +\titlepage +\end{frame} + +\begin{frame} + \setbeamertemplate{section in toc}[sections numbered] + \frametitle{Outline} + \setstretch{0.5} + \tableofcontents + +\end{frame} + +\section{Background} +\subsection{Introduction} +\begin{frame} + \frametitle{What have we done?} + \begin{itemize} + \item We have implemented several protocols, which we will briefly discuss + \item We have tested these protocols on multiple setups + \begin{itemize} + \item Changing server size + \item Amount of databases + \item The block size + \end{itemize} + \item We have benchmarked on the same parameters + \item Reached the conclusion again, that oftentimes big-O notation seldomly gives the correct, most practical, result. + \end{itemize} +\end{frame} + +\subsection{Protocols} +\subsubsection{Simple} +\begin{frame} + \frametitle{The most simple protocol} + + \begin{block}{} + + \begin{columns}[onlytextwidth,T] + \column{\dimexpr\linewidth-40mm-5mm} + + \begin{itemize} + \item Most simple PIR protocol + \item Client has to send a total of $1$ bit and has to receive $n$ bits + \item Server has to send $n$ bits and receive $1$ bit + \item Client can then figure out what data he wants + \end{itemize} + \column{40mm} + \includegraphics[width=40mm]{graphics/simple_protocol.png} + + \end{columns} + \end{block} + +\end{frame} + +\subsubsection{XOR-based} +\begin{frame} + \frametitle{Less simple protocol for $2$ databases} + + \begin{block}{} + + \begin{columns}[onlytextwidth,T] + \column{\dimexpr\linewidth-50mm-5mm} + \setstretch{0.9} + \begin{itemize} + \item Less simple PIR protocol + \item Client has to worst case send $2n$ bits + \begin{itemize} + \item Expected is only on $n$ bits though + \item Has to do quite a bit of work though, sampling randomness + \end{itemize} + \item Client receives only $1$ bit from each server though + \item Server has to send $1$ bit and receive worst-case $2n$ bits + \item Server has to compute a lot of XORs though + \item Client can then XOR the results from the two servers + \end{itemize} + \column{60mm} + + \includegraphics[width=70mm]{graphics/less_simple_protocol.png} + + \end{columns} + \end{block} + +\end{frame} + +\begin{frame} + \frametitle{Improving the previous scheme, TODO!} + \includegraphics[width=\textwidth]{graphics/balancedScheme.png} +\end{frame} + +\subsubsection{Interpolation based} +\begin{frame} + \frametitle{Interpoly scheme} + Won't introduce again, however, we expect it to be worse in almost all metrics: + \begin{itemize} + \item We have to send BigIntegers from client to server, as the scheme relies on large polynomials + \item We have to send either all of the random sequences or the seed from which they originate + \begin{itemize} + \item This can be seen as a balancing act. If sequences are sent, server does not have to compute, but heavy on bandwidth + \item If seed is sent, low on bandwidth but the server also has to compute the sequences + \end{itemize} + \item In general, all of the computations regarding the polynomials, are likely to slow down the response time of the servers + \end{itemize} +\end{frame} +\section{Expected Results} +\begin{frame} + \frametitle{Overall expected results} + \begin{itemize} + \item We expect the scheme which we have yet to implement, to perform the best + \begin{itemize} + \item The client has to sent less, so less bandwidth + \item The client has to compute less + \item But the server has to compute and send more, which is acceptable, as we expect server to be stronger than client + \end{itemize} + \item We expect the simple scheme of $2$ databases to be outperformed by the scheme where the server simply sends the entire database + \begin{itemize} + \item This is due to the client still sending expected $n$ bits, but both server and client has to perform a computation + \item Client has to compute randomness + \item Server has to XOR + \end{itemize} + \item We expect the Interpoly scheme to be the worst in all regards, as mentioned in previous slide + \end{itemize} +\end{frame} + +\section{Results} +\begin{frame} + \frametitle{Initial Results} +\end{frame} + + +\end{document}