From cb918028cf145244896a15a4b21da4d7c7418e42 Mon Sep 17 00:00:00 2001 From: chronal Date: Sat, 25 May 2024 20:43:07 +0200 Subject: [PATCH] [Assignment 4] 2.3 & 2.4 Code und Protokoll --- .../abgabe.pdf | Bin 0 -> 39496 bytes .../abgabe.synctex.gz | Bin 0 -> 22333 bytes .../abgabe.tex | 77 ++++++++++++++++-- .../task3.py | 37 +++++++++ .../task4.py | 30 +++++++ 5 files changed, 139 insertions(+), 5 deletions(-) create mode 100644 Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf create mode 100644 Assignment 4 - Protokollsicherheit (Praxis)/abgabe.synctex.gz create mode 100644 Assignment 4 - Protokollsicherheit (Praxis)/task3.py create mode 100644 Assignment 4 - Protokollsicherheit (Praxis)/task4.py diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3ee14f22da4d25ee8e07cd487ad670a3271ec004 GIT binary patch literal 39496 zcma&tV{@)yw=U=yPm&qiwr$(CZQHhOW5%{^+qRP#W52t*t9q~MRbA`LUH3m2$9axx zkSd6X(K6Dp0!WYVZ{7fmYy=Dh_C{6!9v*rzOB)wcCweg(Ll;vKQ)7D*Q+gRwJ98Hc z0wxw_20lK3vx}3dp)J5;^G3_od5aC{$FDEwH8zV;vAa)(e?yio*DT9&_I6w5$ftl- z>r}G{DamQ}=U-cYP>P6RgR3ju#c;9)QF=7^y}|1Sc;T_}AQIqL!^p#^nRu0}IB5!e z-0c39>SyNTF1hJA++P4x3dePM^Z1%-B7-Oh>k`Qj+I2SS*ye+dx5s+Zh;bqW;lk3f zqjJh^P}YmRfr$6fC@+sr9!6!KDZ<2So8_ch3ng{UR#8@NH~%{cYAn)KBK0JeX0`b#vo`> zip}CR+dif4bp0~E(JJb_sQqcN=+BK_-i-j;*G~q*LA4a0EzlU|!Q`Y#qC`z(Q^k> zDm^g={1Zf^X%OJ~(XIrTzxQU1*!cbpcW!E`DEQ*W`~xR{XzR@$IsTU!BL)-XrTX*9 zpu79u?bBLVu(lKi_{-aqLk=1%h|+Hy3z?r;;!mM6dFTisq~vPkskQ3w zislrTb9SySnL75-H)%etZC>yebAC4egA6g~0MLdkxRWtZhF zQQB0D3L1*wMWZ1kpqiQ$v#Elxv002hI0#kY3=^UX0C03rvjZES5JZ#0s^B77iZ+^y zKMsC53EIoY4nw}r=x3xAHuQR^gA{O}OaL<_*?OUdhZOR~Mmj-LuR|-KOyZ>A`L-mU zvWI)eT*$lqd3W^En~X&aryM~uvmpfYi9a3DTtO5ndo?*`tGQxR!~gR#Xvx*J0eN%t z=%D?3ljeZNQ7zo+bjuielr_-dF%O#wq13AC@*>oGDvuFnPUOMigc<0H+YCS#879lM z?i`0__>k7wL} z1_hTrT^N|&b`Su8Hq`&qV9EQh>3OEIhh7M);G)?=;Z3{8CY@c+mouMT{K2x9Lc5!0 zlBzZU`}roos3n2-iTXa0`yTXiF@43<7u})X+e6}8n1v++jH3oj%W+}e^W)>>isKts z9Hsx?AT*l|B5JuBz*QNW(Tem!=~*+RJIw%Zjt2UY_!7Y5&S z6_y2T0>2H4{WF(+yaHY__v~w#Xp`(d{QOny$2?}8XhyJaAmiiTXhaEm zl^}N8)`-B}{lk7LER7K&IhfHMSzKskq1+pELxq@U)QojQ3(`<*uXhI>5I6C%HGs)P zGym;N+^Eb4NYyBXh^C2*d=s8q84>Egcr=P!2qe%8FSr5NT0#k7xGPeLk6u>|iUctH zxY*aikSv2^3J|bb(oAfU6y0#3v%4?YqEag3L#^_p{`RWzzNPK~jgN~?o^Xfig_Q!+ zrfP$r6})FdX`{lAYoxE>JL{KKjyc_EHFU_7*fu!ebzpa1&mVgH{^oR2YaX(iySSdzu&D*=R zX3YoezdMg*Rn|3lQp57`245u?Qf_!F-B3^3qlE_~aLq3x|1u>n+6(>VXMN7p|J;-M zPz$8rCwv6Ad0WcvuDrL(()aF#N*4{a;=S^?(91JXL!eDXfJY!5Zc1xiisHZiN+7P2 z3DQTpzI+9L!LJyCX>C1vyY>r>r<*S=)S|5?h}AzI*zF%=i)8ANwVSs&eRtSR zYtlG5?akg&pd1}sb3f_pF}kkprB`d3Cv3GO8Z#^cQxdF%lq^v92@~v=Ey;z94TE*h z3FuOGm3Z^rx+@&@SOAERsOjCc;`nAgL@RiI3DCD5 z5^6JZiM`bKfQd5=D_JEN%yJgTe+S;3Ee84nA7tzWnu&pwO&+p^;aYY3+y1uwf{f$< z_yMMNCjSq_{`2?0>BhwLKQbIE6Z?NLoVK*{76(%AUEO|SB@?3uzm?pB99dU#*0Ra< z=Fl+bJR6O(tRixv6xI8`Ex3RbiiHLiPn*W8M%q9F_u_>e{bIrSjqDgx6h93!53~P^ zaE(>q&oc*injhKld*x>v@cf{lq;XtUwr+mOs4|FxaITs4AzbF7ZhqfX{N8(RevH&1 z2=AGFT6L9nqq0AKW}<#UJ3Rc_dG8YarsqlT$*nb~GlT3BTcS*y-o8K5WH{ujiX+UU zkxXLk4AXz@e{|_8$tK^$H}nY4Zgep-0RNkCfk{CW7al4#oB)&a@0ByC#7w^JdNY#BP1C`QP@4BPDhHZ;yfp$ucaTq~8CqdTRsk zFu!CeqyL1|8zLDGFbRsr-03YD2=c|9L*vc|$zNVhzM6TxCo-0w-7|gLY#mW!2P?~! zv>q~J99?W>8oa;S{u#h69CiAGeom)zBk3m)c&GBlwW$5S(WeEg{=d;T9X)thg4v(MFj6g6 zs3c(;7DtUB%QDuFV`0GCs5Kdz(hCaNv8jUwDo9_nj$OWvRiSQnezk%NW;=IE)wL55 zxx_8nMYd&^4cJ0|PZpM+cU{6!`u$ss z(%XJ9P~VtI>-~ir*VHJ(WVP%;^8&FyBR2tWr-xLfF;<2VFWMYea{k@0VS-L z{Wz*NP+*oJMp;#x2{F?LE4s&y^!HE0qDBEqMf`(iBw2(oiP+I&AKnYx=H1Xf_ZzVl z68w$RX1;a@)}~ze6q*?GSm3ob2u2NuWux+jFZ}O;ZFk^xG$p%5A10rLasxcyC ze#XGy7}6M+Vty?Xp0WyiMp56ys7OUPY>7%Ysj|Y)ge*$}ziB0SbXo3Euj(u&YAAQ0 znQ^!Au#BBgL!on{GXCO;u^K zT~$lVg|O2?PS|p!6~NZY*d;p0*G6to{6M>wz@I5G61U z`iDf3R%>}W(n7dH$@+hO45j|T1Q~d)rK&S$Oza4ffhS}5RH_Fk6X-IN2a|}!v7AS6 zAcHdlFGMrpwbfKQ?7BtcN1m?m zn%n0f8kZh%p(}f}qj_F!gEkoB8x=$buUK0u=AplzXBoK$Vi{J*YYo_a?HN;w6=++Ip zAMU+$J25V=JMERcp~WXqyt)^vTqN42pNRxHJ`kQ37+$ zEnzDoIL0T2ESDUMi+Rn;KCuGs&Y6m!nN<}*WAl5x$)6YEa)EN|>9kjdzN%N!VCK24 z?3=Ci;#Vl-N=K@6RtVg}D5;Zl*;-OPTHBHAmLOai;^pAq$FjdY;_40!V*y^1U>Nn)x&H%jgR%2b@) zZo{pf*1g29_cT!oJeCY8;!=Y?94}!yy)~D_JPn4qH{ThVs^DWmqOb)abrY2@Dx|ov z^+u|z6eaOgOTRLyC3|V^>36rV#j!deo|Dj#ITb*w*^NI{N9EA=lc2oITD2epo{v*RNS$EmMOsu-2;;rkt2BVJ0m zlcEu6&_6{bvnP=#s|oXLE<_7qTMZf~KQwL82@U3$toVh(>Qb zcADE2q^OX@Jvl~(BlMMbJWWU#ApeFwJF~ZN6#D609yG(4=L^@eQnrsVnZ>j!d*tJ6 zvsnK}9TgGA(9>oS!_mHx67?O9r~_IXsWNO^YNZDpJ2a!pr@E|AS5NE_%pDxaw$_(O zXO~TKlZ2>3LY4EIA_UwvDV7V*$~$!l%;L-%z$$@Rq>n{*QQesud%u+Ux`36r7v1q?O` zcXc+)`Gk-}(k$9%)-6>ZlXYEiALm7DGZ$;VH_$iujaXq~G#VFT^!e*eztciVaO?)rEn z&k%?tj@!c4(JRYT7Eut^DWV~i+eFln=Py&&yCU0=VLRXt2Fj!3EXA860YK?gqe~ z8Loy$7FfpVUzrhMKs|=S*|)%~CnsS;9~%6p1_ZxcPalT=XN?+rA`L*ZmT^Qv#O zY{CyqOVe78KcZ)nw(!P&;g=8!o>w`h0t?7yEo;SWgu5sIGg;Cej^wErhcPEH#s<=W z4*5usZEM&DV&aTNfZ1mgnpFx^wGfO2=LD*0XLa|I)mWH*O+@9j7Vv8Kdf+%=EOF2Y z{+JSeE*;9soF8V8fmJiot5iXys(c8D;0F2tW{PfZWGwV)Unp{9D2%$!>|PwdZ)GE> zjrP~UJYyO}u#8W%Gv+mMI)ycmIfR3rKZSppCopo#Mk9w7gqaIBG6HWE*(;P(;uQV) zCt{@cV(ShfkfzrgIJg=i*fYN2*Pw)N94bO)w4kx@;?_@g-Y${imH>0e1_IO2Z2faF zM{D?A$#Kq94+V9bCw0=u%gsUU*DaRZYpTOHrTn96rhv+aaZ%J-y0#$ThG!pWfo4+WM!6jbTQ<&8YAQD_?(_BP%~6Rod<&Krp{d&e&bld9&P&l zi|Y!4ajC%va9hjdxT>poaHH(nWSlJ3%%GKz`c59)X@$MQG z&Z^s0QBUpa^eV|wS{@A=qJ2AaN@Br*3=>7er|_~bt?IxSrVD%1r>*uxO9pUYqPQjr zoR(0&s~KhJ7DF3K8tnlJep4z<@tyNBMQY z__?dHy>?M#+tW{6EPU1KGnc@QdbDWD*UFZfo+%HEgU5BIsv)a)Ra9wG*P8I*#I!l{ z?L1#QyYKC=7-7ngc!m6Ibs*%07R1-ID$uD84Hv?~gM70v^JKZTs|T&@etKxGUHLrI zy5SSAg*g-HB#x8|goav+^mJ6Kuk1pTqRenv8r4@t@64Cx@`0jVuxy|?N+ifB+t)><=&6b8FAg+9r)ha0_0q z5zWtrO&ADBkJKSaLF;{EBl`Gad&;i(Pny0GYZa_TnlSiU3 zMDH%s$?^e>9?!_(5B8}p+Fp2jvZPt$>LC8BH`aygEPA-&?n>2lxUC#bg^P7A#{9K1 zuq+63L3$ml68Ofr17tR!YN6uXMZh3W>14(X_tq{XahJJN^xCopJnQbUtU`!c1BOKb zG@Vw~o;J~@eh(a}`pQTU1XdlG8~V5>P3$Z@zWYbW;UU3_CiK_|s$$KnoU11MRN=~Y z*^7J&ZZM&8eOS%oH}Wyx1rj73${id3B#Jx4(wW+7g0l55 zkN??Dc)b2l@JF6vJUFLG@MJjf$DV_GSn@0Zw=X`gz;`)B{Hgmd29;!V`N->)6k>CDqSq6>}yWPJ}wc_2^; zkE7H+4Ay7E9t60XueO7(O$a6YJ5wz>Y%?(=FXWa1OK1b^v4AwtgWxTt&G`FqU>ZZt z_n&}c9al*t1B_fSwzkR1HcHerZaXx5zA&dNPeobbv0!$5oNZG{?yDGbV?Pv$CpJDf z+;=|sc#6BCVPsH0{4BYHd=m{FotdP0j^KQbi>-senHAd5H?iFF^8F= z6^!OAMA|qumT6~SffWpeZ`pm=FrXuOysY_LhatCF837ex9t|6znoo?cm^jHfL(b|@ zWB3vO==+yZOkdl=U+2e@{sLnaK{|614t`TmUq_0E7q9mr{hWZ4^8W@_9RCwoF|u*6 z{1;ehPS|ZpAoR?sKPQ4r%iY189urIv2nJy+S{~w9M5b}1okvP+Nc8$uqAQV%3?mtt zAPm=!lxnEzep^{K!uX1zAifn#Fqfo`jB3y>_<%N(e(8AA$4@+6lX%_>ic_2+Njwh$U0Tl~(^kToRTOPc_4HE^0hkUgQv3Iv7$lw6|ipo z7Mqy`s0KHl4vj6$xlaJZ=Hl6`!v6@v;H;j(@u2Tv+AhCEzpafNoCOJBjv+{{elY-= z^fAE61o9b`z8L`YcRGW|eGF(i+7VDUmFMtAjJ`A|1{9Sf;W42t0f-Q(OWBguC|2^i z#1(mQ{G}KvWB=KtS_B9NJQ05!d!jikt1w^PvEAT~EMovmAZTcygbEC(C>7@@4TLV! z8pbJwp*mZ%@YJVakPhof3p)f)zqVOU%~wdkk4kcbvW_-4k8Z0ey0bYqZ&pDsdEYw3 zuDcaF{b!L1QQh4FWT>kU3Fo>At$x{sBz~CD(*^g*BEba- z<^mUG?~IJH1-g6r8ya28pZIgXWr5+~@Py&}&vanuuv7bWBc1pPTkCUkZ)`OHPrGKP z45{8q2K*#1)!D(Cg&_4Sv3CnTO=*%PEsBCmL+17QC~b-NSDDhoLlC#>A$y{|+Grom@ZO=K3zwYqDO)|Av#psM5>p7g z>NP|cZVV|H2^RsrFljesboY0(Wr^Hw>PvS;8-v22$H9RqMSyrMVV(>$6slAq1EYjA zRcRdeQVyAG?hH9Ya(3~5(83a~BRN2+VQCe*Ch`y&@KQ1ds-wO^N0fnXdJW!_%W%@k zh#X+Aj>aw<4g$OTAO0cBf?BtB@xiEzV(JnkRYpXi&5V4~G<&y-a&XTyw4uD{ck7^e zODMYAAc7}mW93JrhEcF-Ev|cWB39+OFmJ3QgC5=O9JpzpA$CVd3piqv`)bcR%bUPv>P6Mo#w~GM6I@~;}jerlY_Q>NaJMW1WsQTQftd)C^ zDM^c)2W7=8$zV>I29mwq&streDMhu=;Bnn|pg=FwdO$Nbdy~&qw|&yerfg~DV@rDJ z!QW^x_akFSNI3dN)%i*7<(yVa0@jR<^{1knarIuQ;}IhI;Nj1Rns`-YV^;b(9+Z;3 zc$=Nww0zUvz=q0cR)t{YpjJ1$9v-KEJD)TmV+SR3op@*y*COtNQ1|a;2PdPN)N(H7 z`d;{hT5iG`Rcs*#jp-M7J@cXvnb!cwJakQzr%Vv^-tR6~TJt3ab=lH;cT;WlmrbAF zW#lO7!4Y*Rs(4PGEsn?9%GtpiS+z97f>|6DdNMH|ZoO`qa*qeYkxlcwpv7C>HA*80 z3%lpXZ0WF38D?2XY6uKC$E+In!awmH2}uo5_qZZc4CrJs7fFgvHtAp9goFKj(vdFS z#6iYHvgZ!b%Bk#U(fmK4lZ04}|KG{R{D16~lwFNnJRMBwRsQo~6#oBtD#Xmp&hdW^ zx?FV_6=e6$d>~A5QI)cbndVi|t6Qs@>LMNeDpVW9>LSz!!NhW&DP{zUxsZg{bQz@G zM=0p9aNv-lWp;}ZtI}(&E?3)@R;re+*Y!=;tDkV(+n1kUk8bbTRp-0Y<1hKyFAkp-By>0xDXOct?FUZhCJ`Y{Zpv+ z^zHVJ+iiND)1M8*^ot9&-gtlixcZyB?t9W81e@F&uKfH+`Jn6*F3<-?>cwmX0GLUM zNbSp$Zl}x0=yWxRq?D3VZT#M1=~Oz+z?oHkJ4n8Oe*R3u!=1_LS$Fawa(2U>dDESm ze*XNlj}POBxuIE@ypE8QjaHGoS<&2V2ru7(q5U<~(?+wg_S;LnXzy>9g^QLfJgvA#)f7Gvqaiwi;IthPWDxZCU#3Cseuj4Ur_rllyiWWt+AU&S z^84{?N<^c4E~6^@jJ?+EbLtW#kN?F6AF__K9o)Yv7yk+tC}*&k6|L((_Txog&k5y%Ktz!mX?jRHo7=m2z)A!j21v5r6(qU}Wi4(~onzrC zyh2eEuk7#j`e6p{*hl=L>Y4k6h@V%r;l^{;z?UJHz6FD{c> zwEem~sekG6spwLJ<&uRRl_k&-$-M?9B%i>~UsT=Yg4Lp@y836M_ znKn8sc|>aE(21!udWBMpf{*g_u!zkfb zE0%}hG(-=^uR?i4+mk?3YS=M-;=hDq0%m#tT9}?u#G_4uZ{Wr-U9E%REYGX z3s}z`^H=0;h4&7yd`9BF9P7NV3pt;b@IkjrcE(o=*+ro4LA4J-n~H(UPqj=CVO4Fu67UKJRP8UXH}-)AmUBixf9dY##D@RuE4Ricv$HNM3-+ z?nq7J(aX~qK>l{}=IK0fRAI_=TTG($2mEQ0SVsn}sj5WoISjeywEI}ZdJ}vPw#(U; zLS^~QU@hG``#n?cq4ne0c?I2yAG7zFv!JEmRQ;leB2`b7x$O_E+3IHOOJr>9D1ehf zuv~q-$UTA-ms0#2$lT}PG02m&Dh|RgO|^!T_EXoes!`Zd-e#Pwyi)0;&VHvIsRGtx z2FI7{P-mpRV@yFeZtE|~vy`nM0H1Od?J|{B0a(n~bS9Fpf%rsdk)q(Q!*3Va@oAC2 z>x!;}Q=z8?dM&g&Bw!5HaXv5z*X1@NaErK+=&u7#BDcri`9SHpz12`OVdQ3^)Y-Cy z3Dypjny~}batrBGP-Omv2LC|h{+xjDcy6}59QbQsXLeEYgHEID4NzIKvek76wf^`@ zDcX~7U6I2x6JhpO`0{{H7^_jHe}8_XQ%Jwma6VK?)F;1tDj{IQ0AaQYf_!%QxhBJ4 zrD`NRZpbwt09xX)lcR2-KVH6^#k4HJa1?Z_q=HV~g~+Tv&Xc#Y=8l(&iYuOlAu1uM zJ*hQGpvi!;BM4{oC=~T)?GGj|V`IfnPSC4`+ z^&TBB;*dC{eIaf zeLjMslaabw>Bt}`2|gXqvdiG7ws|ZVH+=`L&!X+X&fXhW4}T{Z@a?GIw9|H3i_UQk z-7w}TQKe#4(RYX`Bt!IS-#*m$w&K*{Z}UO`-=h2eix;mPwftIYWz*HumZO&z)=W6X zhsVra@W(1BKeh*Z-uRLE$-|s)2ZCaNUVz}SWwjq5*G@Rl4fypi;*-RtL-8g^)pE+6 zRs+Jc9z6*j^`DgdN{m6QKyC@HJoxJBoA03S+7abGILzbQM#mRSaa{prK(_%#N0S;A z79&w_j7yQIJMK<9naNl5GGRPB9YI{uIN4W zI-7zkTKZ&I6!MsNe8byX5d6ee22IMF{3VQ?!e|^)uI2Zx#VP7nX`Mr^Mx(p&OPR0? zIe^oDb+p>Z_kw9SAt#6Fo!(d!Z9Lr`Mx%%4=f+!q8@N)+sfe^&#KG~B>o*)qZ; zk=t(GAVK)V@f2Zm@p%pVEIhCScGO`c?%OBwt$|j}(T3WmJI8=dNCpfV&$Ewxk*DY# z`$iz3BP3u|XJJg|a69yQ?8^uCol&K7k~o86_XlM$mlt-Y(~eizJAdB~A#)R;wL}O` zl8F_`HI?NH)j6rP#!V9zErU*|I$? z$*1rpI(-sXc!ly!t{V0uJFKBRqIm*rmatpVK%@aL%|y4PszdIwZ^CNaEVh(lus{pN zl0x8cRP`#=Qm-7NPoPNc=D#BC?K_3KjLn@6$BG7(b6Wbmg~RjZtf7|C8Z_UbS?uOY zga+IMxcP?1c_t+=4uDN*61&hlDdu#)6TZR|`kt64^5|f?!aLm1tt)rP z-ERC#O*Uw6Y9IrE5b~J)u9o4CU|gJ(ODuHXV7ii(!1L3!`0HB!&Q<1IC;Xm(+Ip*b ze`Tj|=ZR{bXEFV;qeN3cmO|Z_cdo*JU?y{M2hjI7Qk;moqaSrdn;DRP%!XN5xt2<# zmO#x#$i+vEuScs=?7rMa1{trU)9|ADs-ESH{mJJr<^~xnkhh90tY$Q||BIyKTj=RXkRo zB+3*kR;O^ataVI~aepl?V!x3=)ydW@x|z32*0nUG(Ylu+$(Cjh8N2V#n%-){skLwJ zt_oYniG=6FahmZcj8ODSMC4X=Ps7+hwti=ebN80~P6_I}Mvw8D8SxXjX3{L26*$f^|w52^k46G7PL+Ol*0ga*UpsHZ8(mraS}fdfA7|HeWQW zW~GOPE_8FFe!$}Fz*nQG;Io3n$&?DG|5!6Y2=vG`1X-?N;f}0?-L(};eGzU ziD4}NZ^8IKk6{eV|7DRIs|KxtV%}QYT39I}gtQqo1FPnmlvyEfGE6HXOIBotU@W3A z1}>tr{#qm2e`{vh`N<}`L^D$slqf1@v&|5Mm2Ps#%$SVq#A7x(0jo&9kYh4U!rbP; zPu|;SIgVqt%YC=P`JG>TvwP>a*Q5Up7@dk%q(Bi`Z)MG1v(5he=sbUm*-m(W8f02} zX}1rVlj&AZBATHV|7!}M>?g~%_vOxm8a(ogM|Q_GNHXpf2+#~ee*IBWw(}2>uP9#4J&!>+nqOeNA28)RN`=U# z-cd~{Oa{4t&#k&}oDS#OCs2>@G124qQ79&6A34p?VwB<9ofa-gATW-C%FWyM=ZUd- zsIN~~$}JL#z#B_%XJ+T=3$q^6{1Fp6c0q8Ihfut-xdwmB2rtrZpBW!YR5gx4`;=A9 z>QsS&RIO>A^HnT(So#snx68ZUejxVlR*;-mfw(fSZGn9KqIfDDyHSk7I|1LMipi+- zd~;nd^B|1T+hC*llf;|_&&x(520_C7p;E4>*@%o^oGPZ+?;9i4L}OR~xxa&Rjl4B+ zOGq2c1PQ4$bc2DNc;3_}^OGOEd5>eV*%p@_Lr&FdjE`F7KyDRGY)K;TiJk5I!BHdh zCM^lTBixdQ=fo`!K&5Nr=D49`3nO?Tcotl~fK)4<(U)0QGS22;1cy*tEDSF-H#1#-y(Jx|b-;875Np3p7-f*J!- zVd+A?Vw}x6+PLEex;8=%oC4?yu&ova;-10l5*AGJF`B1%>`q?6#1SLDm(h!t(4o_x z)IDRoj%}rR*l>b<-qsrE&Yiz>x_eTRHlMs~a9!2|YAGqiK{>?x+no3b28rur;@vEG zj4;6*u$~Uc{$z+3nGWAtkI0E{hRA#qhcTo7s!E{)kGc0K?|DouNqmOYGb+9t$*nNk zzGcsm7*|huFSAkv+#E5CA8);qkxmUs{5^)nujCm)LOIbvRoleT3=0Y9UqZHLZdq|8 zlEn0nPfbJ+_y^0sU+jx;E;~9xRb9O&HHH&KbUI;F$Bi`T%cA|_d%kWrd0c+eO-=IV zb44d;3v!d8JKN30MO`P-7E=~Eb_cPz3#ne|439ajzA0;XLEl(y2G)&XCU9M6ZG2@k zD?2Fq2h)0Tz1@FfN8Tc}#IYUm?$_RQboXHP6Dba)J@};`kU}mJRpANAs*Wq6?ebsSKq%Nya->V*+bZ4>G|^#gNYnyUl`IrnL;&xz4NDyq^198@~Ai`xcXsC`lb9 zOEzT8YI<7_YnNf#E+P32Tk<-tpDYAHe(As<11b5YT$MuV6rEf&cY+a^mShOGu?Kx> z4!IzVQm{u1X^8fh`$0iBd`ug9zygYxb z^e1x;R82@Vy1c38P`eI#ufltGW!0!v{HAMtfAX{>0l_Nx(yRXgJPt(y#=H_NI&ihYzRn>j^2&2aDO`_bF%20)*a zIt!QP^#qcs@#0DI-7!JKzq}Rd3m&aiD$S-k)+q|={W7KzRoxmbJfWb83gOcYBV3Sn z8}@j1clYZ9k#WlGq-{;(N3;NTUe96Uv{zHg7v$%zhj5+VWv`w*lX#p~zS2Ze;RR77 z-WsY|Hy;Pu`9t^xp20UKjvy6^K3rhNDBa?e8gk|isWwHr?lH=`Z`#|L`O!@TFD*$j zyFt0vzcd|VJdGW5d%RCC2EMy!i7uX6H_svOjPbUG%dBn|3+SA`)EvJO1V$@OS40o?Lp$4 z)aBtrpRU6J?i2Lhev^s+DbUBP^uV!|k=9UrTZYl(#d-1EN=i;Fm8YUTr$pV7$i2U* zpNjKuf1g%K2>nzDeS|{WMiF=+x&1r|u6}2K`=SWo=YhM}OU?@)ly`(z zW8Oi+=&;G?lT7Pq2%;yVhYT@-2=n0$Dhiuzl;Y|zo(dXO zRa3U5&OQlaPPK(UZ;5{UeJx1&9Bqonp}VDvp8U@dv{Ok8{kRa~g&EL>VHkt=Y4AL- zrE+E#IzBP``v-UOI~9BuH6Z5>@J8bD@TR9fV^O{K4iD^7n!$4b2ik8D!znv;C0U=F z(T|-LhbVsM?w6D|!geRF$1AwsQ%>6K?B|s(Y^9ow{yPGG;Ky#Tt<5EFXZeymDu3}k z+in$rqtA5SBd-yT2>YlG^QLSoU=E^sP^Tyw1XSOH8hyCxb54NzK7GCq%e)Jw_7fgZ zX9)FIb9$cYc5x<{$5j9*dqZ)-jK`*y5}a6r1{L+AvHHtn-#J>_UaF#Rj8k{ti8M$~ z>pn9)fd!th&@+cG&@M%HKjlv{)(iOBZ2T}62c&&l^X48eR5)4ALnls&YK(iaQ#Gc4 z#tif{`UH-sa$>2T?+eMfDfB? z66gk!%I0KMOuL~=VrO-K2|K0><)^z%5X!jqB6kd1(+XI3!*oexCwrTEdR0sGy zWqSZ$i~V7=Q`qJ%l&Znm_v6+HZcWCvX;WiS{Mx9@-rqm^`1iSN$H9S1boiBj8?FF%`dXcoxLU-%7^xM>b>(h%efO7 z;NWHkgbp6LKM+nG8lBcaMNe;Lc9>HZxtu*(0Ce^Ap#6m_iwlNg>*xjFmKJQsJD1WzO}?%N%)Q29_Z} z9_}6uVJMsiki|fo?;5BvA-kv6G3!CgCEvCqTz zIKW(+<>`#kJdfoOAahLW2AZYvtHuH4CkP!^sW}jN zh_ct1CXumB@BAJ0^m>2DTj~S7W&xBMZGWCUK5d*w$*QP(FW&o`>%14aW=PT#DpNBZ z%7lF%ZfGBkrhk@IP$oeW`uLcX8)?l$3?XE##%%#UlU*A+KMSV4yPvJwrI_elRlndv z@q1${-bfgzpNsq0-3~VXb*hx3?1%7j3Y-s9Hlu|!i8@#tYy_vGa$SXoasTy{?Jh$e zFor%?XeDyR<^@9Xo>g+5?7+TKs-hH^HbI!>Bkl!k!^ilSq!mK7h1~(-UVW?<5g(M> zM3mG=CjZ%Vd|G-~y!Qn&d`|dAx+Uaf=a{+dHWsPZ5yiK2#r8bt?>GSB{eQ9cPEndg zUD{=2Muu(Mwr$(CZQHhO+g678hHcwMXW!IcHTt{guF)6g{)~e?*4k^%XD=GaNHHKs z?V*;3q2e;NZ`A4FI}t`~XhE&4LT$vltiB7gODkUy*@#&%| zwOww^k@p4U|vx<*8zp=)pXlH$WJsZ3;u;C*G zwb;TT!-JX)=5mDXG{v|RA^bvWj1Xrj}IGO|(bKiGy<9*+^izU>PLC7JsFqH0T zFGNCfqvD+Vx@9|kk5Swfxr0R=#C3p5zGASM*2Bp_ki08RDO$0hfo%%2ERca3l}=O3 z(Okjtq7UAF`v~t#yVfhE6QyrAi^HNg`<#uJ`Ro(&llQ=!&y&sA^?Tms-_%xDC90YV_Q#3 zj2OdxV%}UCvLcQyVz9VEkIw(4bx6lkOrwpMP89_guV&vv<{8br zxTNg&dod%pBx{Nz9;Q2=C_7~kVvk0j<%Ws`!8o=oyB~t3kNS=R3`UJgmbt1J9=ZKF z)kkF-hDi8Iqv?SESNfZdNV65pCLl5^wPy}S=SasS&MC!?%bh?@q9+O%S8?pLDck-| zZI4U?2h^RD^tgc2(z)I6{xy&ObwTPet3B_7_xmrj0-QrtBNF5_b$w|7pD?Lubv}S& z4^-ow{j}ZLlB&}0ID4dE|9H2fRtTgnviRsnw_=2BAA(XMS+q-f#Nv~xbW|%FtRZ3T zj!#JMYiCXm=DT7tweJw^?nusJ2#W6oSGA~1@p?cShPO#S_%oGyewJ9*_@2hj8$z#_ zBQQyLU$^WIY!E&G+}YAD(jHNk&6TBR!wf5!_jJQ^%v>tWT>Z;FS)w|4q4SQ)au=fq z?j)n!95Lxs`eACQV0owHL!aWW?W*=)xcNk;xTwTZoF?uBVRo`VsgGDY8)x(*9Y5ae zTgIC9+U4yzupayJ5@rP&p@{$a#M&qN{?S-(4N zMA!^kv1z%ic%v=ikb($ImP|DzQOLAOqx?!v9N6Kuoa^3=;9pjVPM>j*ZO64Y6y~iN7~-%n|GQ z@1}YHsWz!Rajuh3cT4xE$pV%Ju00KuAg?ih(Z&`u#VxiMyGvHwH=SL)+Rh{yst?m> z{ka`5jrFzxePsr4)_%=$$Oj+An3Vm`taRyGSYV92{-(E_p}qc1*plA$r>HJ@V2Gk9 z<$Yqy_c4RpDGuhT4GP(ahKzyZA|AjPzpQWxZ8-NFYGC;dN-rS=buu zqH7&2qqmRo3&DCx9r5-kEjCY)qdKa(XO8)Mlx&iE;=g@vv75O*U7`tep3GIzr^yrH zUsFjCL6S5bTvFie%H`Qq4ZV z!8y59vhMP`otH$0|G7f8YRRyoyjfYzEyu+rrSko}>b&}clIpy=7HL={3XKyNZu18? z0~zW0Kh$6U4F~;yUw^SPaQt^@CPodyS$PS=mu~VE{FkP~BgkzJ(4fE{Wcex*REhPW^@!3nh~SnKu8t9`nq8clHE*! z8)AK{VI0}Xrqlh5PVdb}-%X#JIVE9Wp+)9Kax;bRQ0B)nF==VCDUVKOVp@;Y9WWGI zvDx*w6b0lvlJ@NZU4Lq$Uh9^a;kcMmE^E51Zw=%+`5w6^{8+)I9aCy zz~OJ0`ObaaMl6(=h*HzhF*K`S2N-@MoA@;FA$dKLX+G1Mh% z#je{8P*d>pveE)F{6^vN=OEc+5z>YsaqVmb#9T{%yFYxnR@0?UvlY`O8xnn=Tsf8Z2I1$D$)A|+ul5l6h$3Ss@Zz{94& z#t+$oRU3oAGCjI6&WhD(1!fDP5|Zk|e9H3i{kQK6fPZ-!15YFkz7;b)Y^`+fzz(HN z-7c6pFo)HN8yDc@>>mAk7APth-(?nLIgJUF4=Rg!uAg8I;)G3)yt9zu#!Sd3A%_(4 znKsLpE0)63^e1z2uRU}j=Jb*|9)b@lPMrK$zBy#ue<^uLof=iZ&LyZI{B0>xLLR;g z#FSnwbCXYtN+QvFUn_o0rU$3@Y~oKYiBv5XL{(ybJVgF`77w@_NFyc*zB+`oXmnM- z9wNUTr2o!B7gr}SpP5jQlyVpEGHtNc@pEj5-P%ob(~%nl9oqwn`t*92!4;eLA?NTS zYSu7SAM(Tbj)ibf9?0coj))6h{MRN+HYBuW5bLkm$?(z1@lYqbhCPnOk#CuMhGdk7 z`~XauUI8=Y@E~W@nj|8p>eP1u<>_^2)#+7VL76p2kF&3S>SSnwnkKboYy!cV+A9Y%m^lXUD17)-U0F z{h(qHVZin+$ApoLYEzPX4zm8+0YP6kEWGckeL&l4J3f{bgK6@TH6T{(YuIHHDa_*-K71hCb)3pJcUKOg7%Q(#%;* zpIxTQAat<1FPZdD_9>^a*+Qm7GKVlmHB;%}^d7#pc;s~6eNGNr&c_P1bA=&XSy)bT zwv>!VRQsTzL;5v9vpyNt?;isC51id6_=mf66#HlnMI|2C?|3|8ZVe0i^4muMuWAYb zImGGw+!`+Z!znFOCaG|uQ4c{KSq)D2o(l#*;}<2ZO110t)o|0CST&#;E(1LCd<(W2 zQpT*V*QtNr!Zn;0Arn1HU(LxYU!6QaTAa!3cTq)vqakCJKHEFAERJ#jcb{?p^rhs>Y76ReWt*+AF_nJ)7MonIM9S;ZOTPr)T#}FOyu^Oj1`pqGjLZGle z^8q@bUi|czERgJm%n`#P0(G6^&#IG8Gg=HCuyj z0(G6(9{Ka;cziphNGM;4lh(ne_0eif*$jhfszsncs}M6p`3$a5OoNix{fS#3hC$_; zY6D99L70r5!V4fnhsl!a|2XjR+-KT-5$Cme&ssZ^` z#J`Aac4j*Go7XXAi#|3o=eYG@#n%PujsuGGZZlai!QVs?prlJv%dbJPZo*uX@OV+z zqDEj(nVW^8sf;~Xkne_xNkmGwOj|H8f%;7=#25x#m$z*jJf>uo*d&l1rWL-7xG$H= z&Z43{g<#J3*6)r5ymjOlvO;lj#x z*)3#0W2cz)8=XFfxZMXfZbNUJmXCpx7JTlfi=J%yAKxDG_6&Srdu4KQ1(*ER3vUZ@ zCxLn2ckSKnkK7cqmTQj$@8&BHjtwv^{WX-_9mB(drv0uwc<5j6_tGRh^vY|gs)@hr zDl0dw%7I{%=8JD#Uti#|H@EvR@?)S(zSiXnp$AHrvRJZC#a4T5>{Uj3MI$Ej@}>T z_~g)-<Q#24%9|iACdjn2C9E`$kpB33L8@~A$ zn>UXhayWtp^kdyQ-1U)K&>OiGub1cFPWhE81e>byTCJaZ2p$(Vp8-aHd79XDwvg+R+qrRCnWiVX7w653AUC7 zvY{vgY!nz)2*_>IiVBp8=YCmBu+p1MtlRFxC2h^KN6Xf$kxbLhS0^8`G%C-BnQCMW zj4&^^Q?mbpjIOL^?oQT0_iP!n9Lw_Wqt*!dctR=evi2qTdgKH3gXcI3l{;;!C2(F@ zy46>WPspXUj7LjDzS_%QuXLe$PFX<}AWdpSoxBUKDe0kexQ+bj=@;=jm=!HL$Qq)- zVJlLord}L#Gc5H4BW6nP)b@ZLhAEVyb4Yr54XoO{)=a)hvR6RJf-EFkEh@tIETpqE zFO*}>kf^gMN4gk3JymT8`?Rk|;98RgBz?oM2UTkRKkI5{`u_z5!NUGOSac&}eFFo1 zW8>sFXBe0#x8>)%CmHH-@Y*SviCGF(<~bNi8MfaO%Uj);)LZNqI)C+JN$9VVD zj&MEcN#76jM_*8HPkSfUsv4l6qNW1)MwPxRW&HTIj=e{hFuCi8Fw&zu8@eM$8uaTyk z-3w>zjppSRRo9D)Yz@~%53|X-TW!l$T4$P*_ly2b?`DtvU1En58cpviUqM-4pBLe1 z^YOJO$CGVQxU5<1&i3V2=hjllTT2TF2=5g(4UJCB{Zn785RVPQO+;uJ~oXcu)BVLjL?8i2ki@IRmTHy5y_D;ZitZN<2PJI2Km!vD3 zn30hi@ZzDC4c2~X@e7Nyo2!}qCnzUR8&_eQL+HubpbSi32V<8`=L3f?aL)Cnj;6M< zhKAzh`u6hD_V(5UfWF16a`WSw?8B4J$s3IG%jD&}OWG{o9bdus2UJ3Gm}z0;$e&B^9ica_aSQtxIlH^Qe!%H19H`AO#bCXd&~)b2)3 z3|AM(OX~YS$P&!|8(D&ZiG%gO_kAHr9@fYv=wW7_&_Z2~Auvh_87RoY`5GM(f7QVi zHUhY_6GJvRtvTv;60Ia42upYDDENR}Z*El~zkN(WoWqY3i;l0#wzC zC~T_d4o|M9mM$&N`=>Fdm1JTv8z;`^-zjC3QcBw$^Gxjku{nT!OnYkbIX!bJR3#L4iZzm|qP4FTyXqVd9@4$;)&Uc5cDMq(p4$=ObP zK6h-u@xmWT6>3~#6mr@)EP`xW(1!ka9;_~LdtoAZxSjpB4O+=v3uqa@8xz!F?osB5 z0&)+H98;kE7n#8i_Q5YeS7$-)f5|!6bBZ5^=pWyR?*4itkK`XL#y7Go%q=O+8wJb8 zLw{Mr%Z~qw_|ES9#jp+6+=aKF?FbKHDN-uW@lJ~b=G|Qh3C8XAJBDPuB0K9$$y2#1 zR4OE|8l1rMwQcei`0J^aE(N68G3tCU3C19t1Zi$MKndBS=>GH(eL;&t{lWj5d2ay`Yq{@A{ zZU)$GfZp@uwgmG;{z^rjEGnu4yNPOGKLuH$xpQ`QBas4(;bMQLz#&Z-RPqst$OLJA z%4e9UcStNlTZNQQDJLw@V=L(Z!FoU$Ll!v}=-NfBPc$XQ_)+AqIf1It5ln$*jz=7= zEH74|p1^lx4d8=B?j$uSf~AU97wl8)nmLIqZ&*Go5DNTJ&^f2*!+|i*({hN;)w7~S zK74I@AO-{R{tC|lf>jZ)?h3TqiREVkNh`l4yM^Xniv( z;-We)>3?3F$t8lnI`ipdhbJn6TB4BIw!77-Pn%w(Bt8E7r7qUo+}Osdqa<9-9MxLB z;0RCFFHQ!i@l~?-Vc%cUb6W*y!c{SQ9%Tyy|1w2*4QmU>``fYG|8N8ugd5FlX_GZW zA_{wN(Dy^DR9sN#ATkMBnocqe8AqN^G~exfqJTwJTL-xpJLkI zg>EpSaxFibS zAjqBZxt)=Zmaq9{-EYD|jmvt7%dku^y@dkl#dX?Ut`{R_B#;AwSxR8C>&Wolt6<|- z*L*>+^z+bua92%6c-Hvfrb%n7ie{`T(#WDO2IK4`S{XI+*xineBSuoHWYuU-cFz;> z^(5AM&O@f2U!j{NZ<5dWnWKSFq1|F7_(-f$GZl8QGK)%%xGl^%PjDPMIbHZkBCY;wU)m zHl*wNdDF)l{1~pC_3s+FV1Q-*PN^sfVB*)!C43Gf6Hhc<1REW2=S*NiAi+pMNA1)N zMYI3xqfxp76SI?zeh6yE%#pLupUuP#6k(2vKM(q7r<03#d+RIg<}G;0IDs0>2UiTB z?sUBCS1!Y69GwM=&-&!SnPKFtR7LF)EE{DLzg3zUaa(59V zQn_o(4;6Us(ad^}ng2tf@xQ?>85r39#{ktP(MDQJ1%33!X7ULV1+?iQ(WVV8?Nm2- z`pg;K2-_)x)#x5pp$~avV_89WVp3g;Jb8PA_hma3Rdc-$Ft5fkR$g1+3yHUayuXyZ)Gvuj@L zF=5C&uhN~Mt*o_S!N^*H(v7ks-Pam>RaMDW8GXWhHVf)>l&ShHvR&BGu%6VMf-laA zL*>9{qjO`UzVfBc+{PGAoLIbV)yVa7e7W{8DByHZas0l{3Dt&{*Vxo>?3hy4-iidYe0mvKJ${%p8?e0J|2 z;`&G1_t}U2CMVFTeku=`6a6tJ*rqVw4ngZZKd13DI zoYBDN5(vhN{3?9Sz zWb#F)jz-4>sOoqT=WQ|V8)oNJJ}9I~bgyE`XmgL0RQfZb=oiYHGXm9ZH4e96+mVck znMa5tkU968z=fN6fB?l}WZOb<7-~URT@L6ts>u-kTQ{Ii9uD~0p3DlQO{u=^m{qgM zp((O6&>F7co;>-jz@!XU_U_;E?G`#Pn){0Zf7tL8o@n+_kZCRguN)SO)dV~gkHtiZ z@H3C1dHCB-KpL-4CdU7du12cBeVAYp)hW*HLWNaj7ZjDvL)9e+VorBtYF(w88-5gQ zuXXn>I3``|>wV!Sx)P`I!!PYpzfLD43*QcvqT>3wGh5(*RuO(vBK&vnhRO241R;Fj zxm}2jRbBh8t}e>RjEUhPK#}{<)kIRHXu;#{_3EAZiS|?UL*|n%)Pu!~APzF%!|g^P zaWeS?6hMj!H1j?pTt^-#4aZTei%NIw;F3%=iUDt9(26I_!2QSm%t=C*`gQ9LWA4-= zIe@j$I6LLsbeW-FfM(drC8?a4Vjbq{(kIn&@Qi%}Ix=9d%YQUGaJ3~jk{nLjJ5bS# zmJnyIt-|0^NnD)zY zrj(b^F3O-ReSm-=wPG4LLNf>N>>pE-Got((c|S4f5YPG!ERQ5Hdp9F8oPb{Z8FkEL zLTAej^Uqy<`fyA!3RVpz!)4y<71AJ96IKse6HP=Cg;-&*VSlx%oT%uCLiV|vVJY*x zS1{NxY2g2`+Wl{E5f-NZF|GKow#wPn87lT3@O%d|F)K60^nV&EiOipP(^rC_SE1Ci zFzg37k5oR{zP9mt*YEdf%E|uzTU~hJ-d(VSxIg^GNb&lglz;mt#>P;Sv{a3X&Ghy6 zv-RXPk~4A@3iXZk^{cC(h-pv~DN(W?k-HI-njR*jnwU@!9~6{b z?H}(S?jIZ*+i&0f`PWPRV2H#`I{TS?;@&H%Im--e4h{xRP+MR8 zK9D{r6F<1i@7j&8EsF!UvYXEx5HsnU>#OU7^u_HJ%9T}{Q`}oE_I);`FS}#g2ipyc zJ`cDrQ=advpMsS|+t`RNpQJ;D=pS7eX1|LUUchx0%#MdpZ_~Tq2^-JC>NH?|dz*4+ z3$VpecV9D-urspNr_|-QQTFBfMsurGUfbK%)D=|J(&tmSxp-Z666b@q{gPwx?sk0r zf$d!a<;Onzmdj?dFUZP4n;P$pJ0roZy~Vv*)lO?qcX@Voc6F7pxUu0D7-lw}+8fb> z^zr^qDt&pfm%`M_2paH12*h2pTk;=1xBty_jD?+*@xOOTOX?QN$SbY2r3F>l@)R4) z5fvkUg%6Ms!qUx^vt_Um%tZJ>3o^(M0!+<4SGT5#!>6XL1N^~ffM-O7YCUBNNn;5j z*wDh#)0N!S*=~^kO$do!zTNq@o0cnEE;+Nmu6&-qpWEVs8(T|>5hK2)G9FB8)EV{< zK%|0xZvx|tMr)oQAr&~nq43EfgDMPOAOYd2s#l;G%xe zJlj2Iw5o_2$}Wl0M(gTkdM7!Z^;1U|o~i;De`cvNNK8|g2_Kzu20QoylXlMm-BuG=FU2(Js zX-U!&sVP&FU|#XCXmjpEB`K((L`G~y%%?uxRN45xeO~d%QjzxfFRT5@j5Vb37bDac zr;RE4$l&MZ(ELJynQWa(kKR?zc9~mVJFkdOrj6SA_7zvvO^WZryUI&lJ(gja>5l#i z%qa`LNk89V!u<`{F`W0~#Jw7?g7Ai1%g_E2L){VFz1J4#((1P*%jgn{`#`9e1u6t% z8<0owm9&?hN6rl`nk_@SM~OM`h0c6n07gUxO1h%qn(>m0cZzOZXh(LWs3KG1xwX4z zE#@;7K;`gjkS)Ul4m+5K(~CDTw|2HxsgMqS`XD#FKno6Mb2ftj%`xeq1>gWb5qu(| zqI`s!;>g}BiCYvE8H7KFE<}as;t&sh2VHtcYAn>YW&ZwXe`LA~{*G|`(mB^uXhDy@?YmLRdSYzVtBhL8U(`JB8l6Z4{w5`XMn+?qy;=X@pv% z7W5wQ$pDEKEmd6y7r$&c!1xJ^;u}5Sib-@Z*%#!%8RiMn+e* zse2V1-VwFUY}s?L@17S$l)k95s$L1DmJ(X(Qx4$T4i|qdxDyU4K-|5P5ZL~*Vm%Xt zkqD*tVI;;#go*DjXTs0hAnQ`#JHg>Lcg@do1eTtB;Ze#O)Y4~DLeoY@KgPRYJ>KRf z7HHk^c`;Hm22^#!3kYs_Yf!!xNjUnJ*N6ULy0ub#Yv@nirCGu+kTbj-v}wougLLF0PQM1qFTTdDM~Zq@~dqf6n*UmjH;6 z)W&8)L0gG<40cAh3`>~O0KNTO8$iS(7yS)8GZ$YUF!3MH&dkkG^ZT@72Q|51EPCjc z!7@O39W11OsgKzvxah}7WwqlNs$VG0fH4(frDu6FDJjvK_%!rMTA^4o9Da=&N?__gv=PdONIFC@D*lUXyP&JxhA1m->e74lO3O<@p z^j6|^8ZIWlzNXWvnk`o-bZkyHt-)iC$(3>+KELbZn2p*@ zJfJG0=Dt$H%^2w32Oc*n>kj-Zj8spg8BV$_CiyqK^^VPScY~z+kAoX5pRfa5$rY7+ z6*kRq9f274QyfoQV!?R0(9oRW(OiIkNfz2$bu6TA=b?@M_VvB|s*D@xUcn_&JGz7O z@%He>$Pn_NqpFJGB){1k7k8$3HLRsb)#O|_qf zo3(GGWRr4yWmer9%o&ct!)yFWli)?F)FT5DB~mCs1XdigJYZU1*jJ~FtGan#Ffp-P z@>I0#^XSK5RSPe4$%F^y)+LX@Ker4URh4IU)0TEeV$7{0)`oN5-JPvW`&E`Rj(z=Z zu_ErLdZ3$q>rb!rzkLXD{YMSmE@MXw$eNWsKzb>6Tu90OaXuB{Ht`u%!ZXf7mg{B3 zJyNVNkY~I>0yT=xX83r5a?1(xXp$1|rg|q69vOAEjP3)X>CnBVqAId_Y;JksvOF13 z2xqUH5)Yv5+Y+OFl3wt~e!V7M>=t9S@EMr(aHIKNkj!W@vs2c*?=67bG9l-0cxc{w zWY&b7GoH{#dqN>YM8w2I2PocB{MyB=S_>@(~9Sg?dt;hiwF!dQ{jgly0O zK`4?0d9qRrn2IceW3jBmt?oqx!09;g3gyVK3n=!t3@_Y7ZfXC1Xq_vgb|c?tZQQ25 zW-Tbpw=aX8-4%|{!z031Bs(MkGUk)$;tE`f5NIukv;kS{(-1c0ndGV}hGXDB)$n{5 z4>|FmAT^uTTm$XoZ90uL+_z{h>{`xnp1Jt))ME^6$WpvB^Rw=zTI4BIl~pQAYl`l_ z^N!N}4A*G5lZWzp{9|FfL+fU|Gl+$OwL?46ZcB(VXNY)8T^DTe` zC&8v<^egvv%9IYlyTo}o&%C%J1{CYGL5Qoi3}zXX`QYhx2`#97C6|hR#rdXp=9GT1 zVmE4%vbwLAzu#X2mFEgW9NpP(M*b3V`>RopZMkF1GNr}lb&V9j^#|@q>Dev%hb9Zc z7NbxCI%_E+fQ}b4O??+Y@>J)4 zJiT4;G+dDA6!@Wt0FJtfYN3o;3Zw-EXM>V&rU?@9)=aVW6iHY72ToRV;N<>}WAkWM z5wS34;?-;dmsr_lt8IS4z=s~2Yi&GdZ2F_L4ek=nuE@ovS(N$kV|gd`c+uKXUa18o*>gX9iw1a@aH7zpU5??Qb~i^! z4aMNC1Gu0%1y=e$MhzR7gd1eHiG$B9^UwXVS(H6x1b^zMs^tNr(8C1quo9dxxze+D8zm_Wtd_wpDwRP{!3)9F$e9R!!FzKzSHc}kRvUX^X-jTE#nOPqt|y~n^*-7f<% zSv;?M{1VZcpn{4F7hKI%Y?@J5@M6y@&l@UZjaBhnpmJ$)#sibyK<@m#iLUzPt99y8 z3j%vd!97+#Q;~~u{eNqJZ3k8)-@E16EV0=Q7GIWe>qOYu=A99wB}_VJb*qMjdmn%%+bQY|Y^0fkXaVlwnb?;lQ-@0vv0f(5|03G=WU6?< zycRFYKE!LiXUW0rz6$%F5-92T)C#-1SAyg$)P1ZOGV~$Q4+WC+v6>z*Wpl@iMwnIQG~xZ3v};la!WGhRc0`FKtPy#Zfu>hl*AUpFo63f5vVCs4GUEvIH(Z|bI&1GZ(ZIYlq8 zCxraxbcY+3TyzFi;z%a>UogI7B87;vMv>e-&OSJVaHi)qbR8VKFz7cYsLCX@DY@_N zdgzDI@fN}1*ZJ%aLX7nbkwt+cZe!ZP9}P~=6V)|ZeO$A>71l_jyn`kJx6K;qs6QHQ z-hOJ4>l+^v7d=*~vzhhY^kHW^aZP^Cc=!hnaDV4^usNG=-Fkew7}CqC!LI{*&P=4%N$$})T>|V9@vr!EuF44@hJyp4OdY!+FCW^ zAskd<)A3pYP=8={$EV!uq1Os?`EYth1Z*w=DJhdwY5juWAu#dQk8&}G1)0e1621yT z@0W4bx+;P`(mv)ATeY3dzZ0YC;#HG>nFeWQ6^6Q-O38Zbsv3wwh?Qze!VZA` z)D%eE?Fr=eM+b$GNS4#9o}@Bdg18(%Cr!gmbmO@dDo`~0=Aw$ zrlv5~aExINQfBKAFT0YUG<1Y@(blL0S;lKo{?r(d1!?n zpidK`ZM+(~@ALA4VlXs*Tx)I_z7~#>&}PiKXpihKp{%Ss$xQB|Rb<5P|6V`S-L%!4 zfQMgstT%(+d4}+W;0Pn-*)GISwQ~PBQ902pp1WaOY78^(C3F*ZbL%T9%bVLvjLqnX zq?j0 zi*#vx%4SsMPso?F`5p5B^bL1QXsmfAy!SxEdR|9CIqm$57rN+{7gMj9km9cFKkoXt zTWNF~+{(=A$eQ-oVFaMk^DLgNxL?_}$-ftXjp2Uo5Wdq!KR8B+|hod z+*SNcGo2e44W!A`uDU6BC+aoRW5;Z9qzfCT&FQ2obP?v~ z*Gj++c^XJ%PPw}($eZGwNeGeX$f8Zam9e)8TDSpVSX%NoL)39E1i|-}wV82L%X5dla2&CojRHX#go-G|B z8RJv+8BidDpsp-o3F3tI!d748!7%Z|j{S4)Hohv^Ogqgwjc2C`6q{SS?_k5K@uvaB zjHISfZa6uTj|yqX0Sy zKJXz)?oJQLyYgs5Qw!84SIbUW&&l{uI-_%OcaM0`dM8id$mei@4k) z4LtyxOq0 z?9oWW20a8^*sMZ@x>YKDAxtQ%m?~C|oF&E{z{v0v5hR`Zx6GjFmnx4Q;!B6+bMVo~ zXAPyv*!Wa!C8h;xb1cKHiJv_*g~`ZAoD39uP972hAI=tCQe^;eL+0P2QKA>nspjB+ zU{00xM|N!@4azmUw)6v;KO#ZN30Zd*LHPC4#y!Ut%!W%W8i5&E<3=eW6Uxa&x)Ei4 zT2pti{;dl{^*U`^cx!ul$QBL9#0XgwJT{|5%4M$zD`l0#d6!Q8)caQfy{gFAdrp>I zcdm$jCnjLGt{WgkRY;Cw81+#)1nbDUA$lSUC|qtgyxN*GD=f#j$Pj$Oc>IU%K-6r* z5y7*Z$QMip_@Pq=4iuRnO2|sMB&G=QXV39jT{UB4^&Ef5OQM2XM)UzyQu@r;+K)h! zC{}0zzE|@sQm7Y1!&sY+NOsg=c+QZ9ewx7?9AV<{QYzCOeSRFu2^BLD1Oigho0!)6 z>N;jl<^G`mTq}-nU41vH0h)Sn+ismb8rPr6vT3aQR(MDm`hU-9X9N@^1CwT*+J`d2 z)Po24d&2?`5e!U^xm&0ZTnD>>+Wc8ee^yt9plI~?H!sV=Zx89Wk9I(u! zKLG4rLZyQ{<4mcahWgxO-XLQ}?JWSALbr@;L)z*+Eb3ugr)P-TU-kcWNZTuvqgu4-iNiBX@l0Y(0 zc{&$9w|@)Sn_nF))CAW1xFIzab&4l^|3t_OqGNm_`@!>zP5Ofg^jabUd6WN(1#DLF zKtXWS4}xZpaB55}VC@VQV`afpL;eOAqsL3|M%Q~bs)t%M31G}-LlDQyr zX4=F-!_(r1H*@AgcDGXp{0)ZKyEpj%+&X9Z-vDro%=G_*fGbgfl1FmG-G-M|D_K@$ zYU^n2vbgeaM+vPwvDnDqP4*lH`>lxQ5`P;T;6FwLFZdhc@J>qbpZfU6T>I%Q>~ksm(A6|$b~lE%IH@bE!#Gq{6}U-#*DV>G2hy>>Ceu~SMQA$0s@v) zxG>>)#q@>}V=GU)iIt~Cgy5IF;@|>Gq@juJW83I!7sNL%f}b6JFJr3=a)?+FW#Pz%PzjROWb@(Bgh{IsmjtMz@Pve^ubPh@Qz#A< zua=i1t9>(ANsE%T+siT|Nn*!8mfsuZ=78yRds9;TQ<7`WFyGM#-CSR3?w(%(i)CO? zHb7Z54TLiJQHsG!{E$(^!@I^9_FO%#FIeSyo_dVKmXql8Yv<9Hh}EJ|+fcS6V6tLT zCm_nAYdNrVKx?I7OgeD-7M1hXi^{yvheL@H#t+a9&jj%WTqNPARBL1W87dVq}G?gW1I_gX3shH&`y~k zZ3G~Cbd>zur)eHmdtBLt8%@(9Y6BgmK#&D`l^~3jc+8<|SkVsJT3CW$EiEsap9a+i z(OqD4o}fLs>-?+BP&j=^!y?ARu%&Ph1!I})uJb(MoE;3xP5OVUHp#Yo9siA+Gx|yg z&vuUOhhVqB_?2iAG~z+1R&=@%gI-jx ztQg^dX&H>gM5l!D8O&lH5`>RroTyRHx7X-g8Z&Qlc+pf{4A8H#aMn^c1&Zb5Ko2%T zg%xKzo;Pj0$Z!s0`SZ&@u&V@k{MC1YHY59OPywnGXl#98xYOtJ(*mKFdXw#8BAd7I z<`HA$50Sr0BlPT95JaTywo^a+AyQzWTkfP@8zg`?ENCoi=CL}DCxgxE_$fv@oJ2Ns27C}%%!);p7eieBn^xV-{r&7=$8NkUY#gkQaVt_rtSd{pfh28kU1RR=dTS4w*%!Y z@l9P2jd#A9d97^T?C2a>Jlz`V)Z!r@AxC#hz#PDCqG3%^_8LaA0Gy);Yx?fC=7SSiZ z&|)dj_cJ3_c4Ch51#Lu`*nBK&Sub4oyQ8vm(XmQe5ZB5dFl`vdqUf2{2Zph@4g857 zTGVei^+(+|+iuga0R_q^XsM0D1!~;^y#HPogJILF4P>SdSSuWIViW-G*mHiP_kj!) z>aErP%LgI5X~0mm>_dOzX%j)(=8F~TYX$16R{tQmqJg~(Uk(FpPJ`L>?6AjeV$;ZS zV9Dx!-g(B#{lopUo*X{dj}YfwPjrfXplOzEiS zx0it>27pBS8p;=KnsXJI>OvshPDcbe|aXN8lWA#LSb=0@CVqfE*XI zY7O}nNU4?WMwC!P*k`mtcso)1rB%DBj$J-+=A9^dzaEw3+qJYT*z;CeetyvLTXAM~ ztH}LxxFU;J20*^%YN#01mFKvvo@8hE5ObDOHM+*xo0~A3JS3uDZx;Tr8p%vIb;Ok& zFbn97wk^GrG0XOlaU2d!FbAf32s1|SpH!-{YPB5A$(z(pBB?4_k+ihwuG&ekf|FUB zHlaE$0c7N zX$EaFLhlGLNkMnu^juupf!j?-UYyn*gx7vm^ zX6Ax`=9{;QQ=Q|~5>gO!33#_WC871vRT`N|nt+;0yM3X1=OsZ?0eyqvb)EwtB+o$^ zx+RZHn;oF?Zw~GTMnMJ1dPzN^b1d%1Mnz!{?r4PVT%YfI?c0|5X=%mqWoAkJKz-#p z!~Tcj?SDguGchv!ckJQ6FdJxaD2ThefA+%vXUs+sUYPgbzc3qQG(&w8W85fQWO6C=6?%@I&*hwbWu z_a5wIclIt1_I3N6{XO+%ZDnn3W{P%pI}o_JBwFvJ&$5>n7g_WTd0}cZs}tydzN3JE z3Ulmd{=-Z8-;kb6%>S8vdT?}pd5&HDA4*B;i)|Hml# zen>OWcy;2fq6YrIYP;^Brq*vOA}U3yR6%M4r6u$ZBE5)|K#&?BbO=J|-2l==svy#< z^j<>;0qLMr>AeIL0z~@bzB0di-!1RWn|XhonKNhR%l2ynrcuP9Q?xL|4+UWw3H0x(SP_##3Dy;C{^V3Vvy_TDA&i&y!{Sl4X@_gJiAC?Ov3> z_Kx9W2qsTi{KYe)Isbn@*+!8kTRrJ^2xni&`yBo%mnfX=< z8pA>O6sPQ%pT&DWwmwXYqu>XJEf23vF(_ZZw7&rCcXBTU8+!!InODL7dK0f4%p7h3 z<5hz>S|O~N_yq-j-{*{C`=gLRB6;jdIM?^jp^BN+jp?~qm?F573uRnKmA4P2?B$&G;(q<2wmCU5!Mi9E)X~52 z05eL&BssDz72t(R={Myx*z~}h3ov!Uj3|#>lA)gv!hHgiT3!nfyX0N%QsP~YV8Jyh z2g2G(;fBW5n*MJj=6k?^v|QfGfds;-w{!+cYT0c!o=}Ye_SGr(NSu>4A0|r&wV9+EkWECa=QEO0jTi%S zQkxIr-7^_L6}2yZmQXs1jSyw^*i%&1dQdI9){eTEO?O zs7}tjBsd~?e$s#3Z$6I9E}Rzha^gF!h!e|*yT}laz#!@f)@XT=RLW0KPa9xV3WBu? za^qHZEi+`WpqF#q6|R%*&8bnYH!C~SD56M^d`9bodq0yHqTcSY>))5{+nn4P9Fkh? z_ZCjwPnc+Nc;hxged1h53|(^)UJqflWjEJ+|CDEmqM)F2x|+bDh?gT=ga@WMnJY7Q zahAwqFx1>wt9!qQB%Q9u1{`jddh58|r7wlN?89Uit&2hvbeNQou_ZB5vu8C*vj+zQsPXJ z(-wva(Tu%8>p;-W=nF?Lm!F&|QaQ~l1}VPYVa6ZupVwI`#X(=~h0&?sP}vsyvW8-X z0*0ap4`8IFFMa zhBF4n27qqeL6X?0ruqbMl^8ueH05SI$JVgLJtKKJ*b?$#FnMo=c8&S$5vSK7@Chrv z6)IYW#_2ke4WI-#Py5Uv;Lc^|IP2^DHae3`L;dvP75sWhlStmWuj}2lH1|orRLSk3 zNUFkc91H0OlW3dZPWc&}1=-yQwpcz2`iJU_oEOWp6oPalqD4DOdTfFnDk%)qO0#Oc zg%V|%w%?O8W3Ie|fxt4ZTwQi;Dg4LZSKoTg6b0oj{`5BTD+OndK#!y-YM5^fW(5?rg8( zT7TiMB3jgxK+z=@#xMKevh`Yvfnd zF-407Izr%DUy|ZD2Z?@lZz+n(=yh_9LyXaKjsk{l$~l!I28UYBf$tL5&72m6I!yI80WL0tJ1 zpLz~p7T}Ri+U^7Bf%v5pf8QGmvYzNHePSU z?~b4q^3q#ov2!qtu^53I$g_Kb8hzY9CL0c;xZXBHtk@w5k2&shh-XEMSD8mRPrhDrV~(oaTzzvY7JS#ov*1t2!ylpHEyWo@A7c zkv6U%zFIlj5%Ip(Z{~O&Z!a>w#{V3R-#}(~z|egel0K>F^rBjT<5Nre`j)j=+l~R$ zq35HnpMZgH*%c(`S-+v8P};b3cSTefdClIh;wNHRr)e1CvXW5mtV@K>+IG4EzNYq< za|oeylt#3BrfQ1zHaErm{!v$d^pI=pvTsG4i7&R_A)eB;_{yF3H(!CK7VY>p=)La8jsAeoTL+HpAhiE=&4vepH$(Twms(1h>wP_OJ zTp8nJF9R0UZbs9)zC$xYgsR%E^P8mD_m~{~{R$QNQ3Ktx_(rfM1dyH-Rk*@JCOAg% zJvmwBn^10kz0fvw&pt{mBU#^Lr8)<(^=w-LnB_l;`FU4?Vgm*XTy^iV4dyH zqUvK2?xRPkvC8+4T+Th-tgO=velACe(?;@DB5%QiGO0aHRizQF$Rf{vc(@wq;&GoHzLL}~uvU(}-ZUUM! zAMcJu5^v%%jQM{ZM#%LbWb+ZvsRi=i9q#Nfojem8s%8D!W{Rs`sT_Brn|$mTRi**Y z7?2m!mwDT~^=ZF2uF^@?B?Aac&hVPT_vmcGE!RiPKE> zS7oZ+FO2K@x>|?t(*m+oz2v0>v%I6f;i{+Q#AZy#W=Y$zm2~DZ2sgIB9i?=v_g21p zvEzjO3f|)Q*t@j*tfwiGzLdaOErH%jLR927-TKuzGwdzBHhYiam+z#kWS2xE{>HeM ziMBq){3wRw+Q8=LLZ)yzTyNH$DU(ag!REPSyofsHP3X}2A?%yGhKZqTl0a5QN4e_> zA+4>V^}-bAhCw(TnWNG10fIgtn$;_^_t%Y=Dq0HijeT}H_VSqw0A(ckkX$guBhHk~ zN9=h+Uw**LN~QLwXAFH97BmzixO1kCbGWLg4756G_cJFB0$DGfo5`jJS`KeNVGJKX zsZYwUSt=8-TBui#hY-AI z_xc#PTkc4u|5y)F1inI^#Lay%t8X$1bkt`!yqN2Z_=vp@>Wn9!;?A^p#k^ z-u3NPJp>E(IUIju$Tb(k_^S|o0YoN$fyEWax}A zCQZnh?+oMEr8W1a{Iu^cG4I|-24drvKUJw%VAAm$?(&{e*&CVejaieKYCb~;urF;Q zjuqQ>XP55tr@zl(BA4#|F+Wh=Bx!++#{W##VGf< zp8Bw=b+<)a^rU%y)xo|P{m$NM(yO*dWORlxMW9y0mQC7A;S`&cJMphx{$-k4kZE6=-85cljZ}o13nPGNY|JtHoc*f^ zKI8X%EJ4NbVJK>qj!g0R=EPFmg7!8iIYW0TuL7C$Z8P*)!WGU7OV7Uu(H0i{*AM8w z4_FW_m?f{WoPmTO2rA4cC?sHM0X2u3SqKS3f#&@DP>>KzL>MG`z2D`3e!__NnjSBH(e)}U8%RMBi`Wol{=Y4MhL4I$a zFJpb^QN=2>y0-9!Ww4A>jN4>Jt~|lx0`A$1+t2a+BD&v8DSUJm;gPN8gKOe#55f+y%hXV#{BR)aeBbfXr#79uzV)JOT&#SL5O{pOlR%3dK0s9mWBt zL-a;@!nf6GkQ3>B?M5b)&o&Gwdwlg0WQM_jQ4{}~h&NVX0u7h(hav9@eVgQTY?^p< z>S*ri+*u8!j}x2M5=)7`J)cj9>0$*$`qyyAxi~*f{uR3IB=4wnFOIj0GK`9`_0Pkv a3j*ql@NkA%67Y)xh4=^n0C^1sf`0=Le*zEy literal 0 HcmV?d00001 diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.synctex.gz b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..c6d60fded1f346271b307e1c5e107aae0efa6e3b GIT binary patch literal 22333 zcmZs>1ymhDx9=G&XmEEpNN@?R!5xCTySoJo7VL0zlCe<9QLVTS+E|6Pug{W~ur3wXNP8w_|Z zlDQ5m>Uuev?DBuVxgmRheYp78H{XQ2d>>Aj3Y)ygJ;$sCB>c;}CtCm- zdb|>bt}3^Z^sg#+lHe>U2a~8TDTficH~;?&nfs%1SavYS@ns&W@c$5mJP_;gf5g&c z4nvZ}`2QB?ISeV1{}#oEVgQJ5=YL5w-%K&!e@jA%vJ|0v{(l6bEJgZ1g|0adByc>G z2Vy_|`u`GFcOc(LaUO{8`2Qml)XnAHEePX!p%%szG@if8tO4m8tVr zk<+M%wAx?Us;;pF>2waxgC2&zAu#j!ucDt(k!ZClV5tPtPV4rd+};L`e?BPlXSZU% zQISQpD(6xO(Wx4$hYdUtp1YuJI#Q3~7vrMHYE`MF5~|ZVOpj7T{=1OO$eu!T&p#{w zMmPPtFS`D{zd!E3zudf#b-oW?yl+o-)mO~m-|Tn2UkXllJY@$wvb;aW2nRfj^55(S zjAy?e4U+libX={cSJ{2ORhRJn#z zuRiY|jX3{%oA6b5@AB@97P75Fd7bM{f~j<4A@+UEEM9rYLwFv{KAhA}oUD8{O9Cyc z*#h@YQfxg^e{`4vdwuZOzq}do99i55G3?PUI?yV(bQ0b)$So&7@52=Fe|9D)$zE_~ zNn8jx8#9sZT%S;OEY)6l6rsGhZr7AD;ttt&1!lT#n7nurcn*p`SplmMJ)1-+7@$LhFIYUY{l&m_KJj&kM`6Jc4j@#QR{9rdgVUb{S$ zhR3azS!P)IW@PJpj(SN4h_#g==OXi~j48judpWVbLn&1?e)@Y)GA1o;9mQ&bL_z%` zUMVN?PfI=K4diEhdFk4#`Y+VkY&hi^TG4skc(-$^>9fSO*>27FSE_JrTB5hcD9GAY z{ev0&8-rV{F3@OuuNpHP);`k(XX(t}`(BBLtT)~0?eWcuQCwDb#m2o6YRQ|WYlAva zPxIU^+*{B7##n3+KGBjWCc2utdV++Uf1iI9VMo@dG>x8&tC)zxVWKISb)+r9I*jM2 zDW%`k5L-~Wq_XPJR*IQkE%8Eo7UsBtTI-? z;Pc`iw5&C#6S#I{7?uO&$GXGLyy0>YkIk{H7jc7lq6AJnl?DI%jO{8x?qz~oNFOQ> zq9%m`&sIl2m3)3*-k+l3s9|-e?9pAFi99D>%8evxzmzEL3kfzZ><*w4N|IU2mLd?IABU#an-F5Vz}0!U#t&oarmng3o8=+??QEX@m1 z$51O9+$yXoRD!{k_gsq@h363 z4&0r6=6CBb8T7|0FQUdI6Glzs*Tv0(ch*>QmmbH?O&sDmNQ(H$62X zD2y}(-&*%~+0p1H-oi0R_(`XRtl@e{op%i6ZG z)6!KoO4KQ`htk=ZZG7|9nR$uw6Hd+uMglY=m#9%iDfSn4JoWgSX?EM#o)c`Ga;K1C#1?R*y_u>UUQp*=1GEL-+mVEo9Kh) zRDi5Sb`)5J4&j4#GQ^w*i=SyH*<*|Nx8U97=a<-X;O%8o?SuyZEUPRtf3tGt9RzE) zKmy{`hplagAvTjPhJosarsjGW^F&May7B7jcf`ok*-mf_G7`BTeLU=ATRDv!3!P91v-K@|Fdmnae3;e6t8}g z3?%IxYhJ32oekUOFSl}YS5;yDz6?w<+-KGGznGRgV&dOchFtP-;*X2FCTl~41Js1? zZ@X5#FE@z3rt;tX9R_(z(@j%0<^6N@09H_V@$y6eI zAh-VN+Wcz>_a>b6Cw?$3nz!A8sIxKgwdqp1o*PcEKQ;*6Enbv4E6VNT2ETf*YsrbW zmlba7w^nSPale8`bko!Pj$c@5(M=S~p1fvCD(A)K4UBTRTh|?`oW>`kK}qMe^h#_> zY7)`q$eaYaNQPPq_-l{+3w4O3`f|8U=gF1!*7_04w!KCQU%B%7lb!Lm*wAaRO`pDN zsrmvrqvLqGlg1cr*Uf*mGL!Q}TZ2h~L0>RL=qL8{NM}CtohjHGDU2nt6kzL9 zEB!hN&mbA5*hGF$h0QG z9$i`Xjl49Ki=Q7SetOX8wws%rEI;Yxl+N9qQcm0k=}lr@wPwBVRvcJ~p$dUGW!r+5 z&(G=4&ejE&)YuJMn6dHTuoo93iCeG@Md`~o`ymNFwB5Z0L#Fy`I?c07K;6-4&NAYRJ@-TN?Z1eT-bRH(b91CulWz zuU`|$1&^hZnRych6$J)OA9bw+bjdY*S% zj0!YqbTiLzXUW<49Pe{`0^7T6OtuoK4j0W#5;r<64^EmHcefM_LS%B?s2%=^yJ zH=Z<^i3GX)voXgMdV8B;{0XyR<|+kBX1zTK_*tt zj*T0St$w5{NAbCtYdv^KNj78L+j5wdj-QLY+C?_5DX3gPEbaSPIC3n~bcs-$+3S+D zMV!&-=a~!^yUOOmMI1L4)RVmDf@a#!ll7X|N$ zH08(o*e3YnA&4x=_h%kPkouTH=xhuFogggWf?-x=S68sD({S$~3mX}K;n1Zf}> zyyjkUd|vRWvw!`u2#oICBq$mBHk^bQMM+kr7+@blfcHFs)}tD1p7sfI8S!7k2_l}A zx%{IXgE^P^oKz1%ts~k$j-a{%_r`=dpZ*6E?#2wtk_INJ55rZnr`K)jc=Tbwd`(B` zT)B<iU5jEn=X}Nait8rxQYr6)Yh_t-HB;g zHH&)46m-K4`y<0l*uIPsQ>&*iAOjvhc^VB%*o-kf!d9vgib2pl^0fR)`%rkT@>G1J z?35I6L)&ra$l%a0tyqyFD;@}d%ysfiBcRe%-E2pFqb5x5U_D*=NhJyL-psiA*!s!#sUu7X&E>-wLog1KU{`k(!FP> zEJ`^%-G0>Um)D_vQ2r|2rqrMjkpIJ7_t8&V-jz#eQFieintpB$2`cLY$R+gi^X&7J z@Ad87$G`Zf7XahS@hiWu&|J?6Pib`5jB=LQDBDP$x(FQ<(}Z0p>(j}S^ewJMYP7~K z#b~+3OyHnL*B;DMXWBcFDZAIv5SX8_riw@#K%>L5%>!)+w_Q%Ebm=5St#`Pl0g@AOe6_;-sQ#C6qMl#ZAqFn$Yh`oVw$zOUqE``GB6bb&YtUkh zG5;eDZKyh`KNF-dY$(e0cf07d8h1Z0=KW3(x-z@cFqK?8PC;E9LTrRKY&th0S9jw0 zT>)GaJuEN8ObUW-iXQD-mM7($zdlh#$#N3>7_zX+*g!?G!JJ{$O>}7ZG;8tln) zGt{at6GFEd$v>y)RXQAULuIE$vWBDE=Z8_m47uD!NLF5y?}T-mN=z%q&>@dd?Hxr{ ztNNv?WOd_#nKevZmm8fVxtyQi)sQ6FqTk~D(x4ufo!{aIA( z_pXnkAyP|D4#H1Dcp|^;TZk%l{IH1m?VR??Zsgan*B>ia<^eMFE~vF#^_L7n$heo^ z`|4d4ALZg>=`8e<7!_=h3ZGC2yXiu$Whrp6S{`Pk2{c*D#yo5+@}(oO1b_()URnT> z*Zd%N0JS0@X!>r!rG6U@1yG<`E*Z&agij|coc&@`u$Klrq$^=n@pleFvjMBNU*H<8 zJaypZNt;9P1&U}AC6X++wt9QVGwQK0C#|fk|9u5cPVqjMEk)R(L zOv@h%XP>EDtbTdTM|D%lWj+&z^!-%-f&fY_;l6h5V8M0)0m&DI$ZvOEi4_tqMcX16(<`H%|}> zhFh&366asr24>v0d_+HnbR&`R!RkQX)beiHCrPL6Eov>VEIh8&Q3 zv;vmnG-ta8xe=qvNZ32NyRk6$=7(i_=|>}H+^R4gD@f!;A!etev_eTy!PwIN*Sz5F z+Na;*@hjt>TJG{)861ibW?OKEEF@B<)1hu_0SAtu=a`IV1B)ta3Pm8^3!SFvt* zc%g#ttwDL#LYX9gCtrwRXn+dM(iB@%)##1airA+y$v++~f#xy)_p**TPH38|HEpSr zzBYA+BKCxu({>1F-^zSqB3d_o_k5NGXGL9Y;)cV@1Z9aa!_v?N715$&nib6L_p6}j z*ZE&fVd;{e39n{^nmT}_6Q8Ddm5HOpIk*g>T!WdU*c&qN4G0Afo7Nw}S^Y$|3_2nM zl-5YgbSe7t=X?^a01b15VYi&bAb?=z7x)e4C`7<6UE?9!&)qAp2@ax=8o1gFzm15n zsLmwJV56vJc!hSyJTCT%;a0aGruYq3&T|`v!q{xa?)_$Oz=_OrB3SM{fX~o{M+?db4&NNs28;MEl+j%E8<}p-R$)y&6&fYe18l6xN)hh&i$mg1l0C|1rHX%0$n2;wr&2{SsZ3nLl}pk!e`bheR>^PnO1up^ppQSNfpw|!7M148;P zwI41MU)h^CINp+a*-5%D)aLO=`mx&Y0M%FPqF}>iV3Z%6@CmJ2^}!F;k`Q5i4*4pd zQy&jkr=i{f#**HP8_Z~Wtie^`AuniI>NRh|qgpk*f)Y2BG0JC$jBk<|ozVi3!?q*E zvRyBX;F-JOr0tf(6+ZJc*3_k$ZPXuQ<l%ss$$p>%VO~t_w1`uIuEC7 z><)GMr41}wy%$;xv7N0kPpm0;Rz1u9%u z(qSCoP;IxBZ+4{5;^-?D3F>K3IVBr~?8kzlsRUvf8m(V}T?0!zda9(j)7&@r<7YVn zD_8!P!O!*P)~lY)c*I+(P_VUo?HERDxC4K?aY2@BzwtmyKroxk)annbS=68`jUt9x zo$JZV;a}z4l#uI{=emrP(*98g#cY{sJ@B2yv0A*3q!KCTLfIdd<|H?Rsl^l&Auq^n ze$W+J5pDd}22UB_Mz;~SVm;YFb1+WNHgkOmo)bH{>g;v7FDBd)Lr@k9O$_UGZnjqoHfm` zPiB7aiwt~N4BOEqEs4+spJXVDW$1x1EG@D9z84_UYLEo|m*NbFe}?zCHr#(B=l-E3 znNKPs=H!sS$O?mBn@1ycW#H0GFeY|GA*GJ#j(hTZa2-_bI4A)*Tr9Be1&#imbkTmTE*rF+efbS3%d=sOq;klNG}etLKR*)Zxb?$p?)Sf#uq9y6rLd@liSvVI6eNM z7l$p?*;*86n#{~9BtEM7L7ZpiL%}^8!|uk}ORGK1^nS(WY1JQ4&Lk&^BIF<++~d#W zH`*jo+|x;vuf&jr?33-LzeKBnanEdydELS;`Fb?2xzTL5`5NVSlgR1#?}?Qs=zWQ! z7CCGTOHP_e$qq&rHP+jNWy>~eDKDJ+o045~ey$gl(rJ$~?dst{;VWdt@#hgiN;x4!*{` zXXz8;0yTu)5@50stQUlJpG*h-%N;Wrq7T&kPjM2<$MwHabGOuWUu9nIe#AV&txRj; zNB?ntJT~mmQs)O_rLMOLXFGwm2%FjeXo`MlVDin^S8caVupLaR5qxo& z3KuYpRra?kEA(&VZdl@B;K%EJkl>9mET6iWFr7vqB=df4601x(y2tV3yZjdhcHED6 zd)zVPim#M?W>z|dEBWq#+%|?)_KSN?er8di2D5zhiA(9!{B3g_tL#Uas6T_!X$2vf z^?Vxby@L>yr5f?Um`qsvw1_U$ zT;lK1mOP8>*1-_nQk#W@lozlqDGr4@AZ}@z&d3TVlosc+9xW}D>rta z&r)T3su}qRyrP^t?!o;Myd`$MpuYZ=EKK z3z)oyi)#f3I+QE6_cNUqv5RhhyUZ``&?BG-nlOe>Z2SJu&^m)i*|9lUC@n(x#J5_5 zY$qZ=U7nJre^|9T&}rykf&AFBy>UHaXCDgGlY z5sE9DJHOr=_4vzdkWA){h(5`Ne6tpU8n$v}!Ca$*G5eW2WLSao7fJ$8H(zm4EAMt{ zDfj#x=kGpGn(||sC2`+5q+lX0Slq~P40%54-|Fjq(w$PLZe^|0wwPthy794j|MK~( zL=Jd0C0b?81?9$0e*W{Tw1ho+C=s&ydN}9V@kG30>eMOd>9xsWjV6IhTO$Y%K&7nP zT+LD#$Ia>3yKgU%u|d^I3ALZ>@LZq>a{r+b)%W_M&qTIa39mCx8Wf^);Qrvf*9D<9 zym&oJA!;gwY3in9l-;?!g_VOXXs+NAP6{qQi8EZRbnA-zEPF*QebAq#cR@*e~ZO3 z`djz8_FmeOMgdQ{-2O5`CotnW@HAWZq(S!DcFra`zgKF_<}=yF8sDo-SXo?|Zm3{A z2jIV#BKX~9{KJ^-It(VvKMJ}gGowz$YyI%Xw25|{aAEsNOhGAa4RzZTn#fucOE#jd zPcG&+Vi~ce-*iGu%zY86q>(qzj(Y>Ul$?!;5vY{Ddzl(g-f?3)HYr35>EK`wgy$P9 z+og;0MSB!{CAf-9V{+C7h$e4OXCI1DU%bpD1R~_KCT(XRM6496E7oaY9h3R23 z88}(`wuzyDenIDnPnqrOfVHrZDXFNsrUkjt!ORXdlZribNfQ>HeUIiOA&Ut*8IT&V z z?aw+a8kLd$1~bPDwz$L%_AEX8UL!k)S~)Prk*E!DwGfx;pX^8iHmq^EZi`gDI1vts zSX7R9lO}t(DG0CFq*>5q;%8BU^vKfuP8Ib)4#3Y!`LvGF*|)Ms4iZipeOJpC=hWTX zj4?_8p@ZGkUD*$Aw>?O(x>ZTNtV}lsJTY!bv!v+M8h=J(ZL0_Y?B~+u8mwF^jP~^& z%3#%_CjzYg60Ke`46^oEkjZC^|T3;2hemg(%M5Z?)CH27POWPbd>gK#9+dvw_v=z=sKo2 z>Vr$(QXB5{z4OqvW-jq3_EsS!Xkx z1{w;qmiMWmGuypFrkBQH?jKXb;@LN~rD$47o|UmHNo=;$I>p)*OIeIwq1oq`wU*z0 z3v8D5yi*$yZr&YSWcD!x-w!cky>gHmgUli;4VFuf?3_4@rxh>b{C-a=omC1&-4a(8 ze6a*F_a!7@@|s?za+OmOh|w@%-z3G^p+tS33aZ(ir3=+`A2VwJV6i2UB63j|CfbzmYH4tqRL~{4 zdK!e9#ckH91PcsGSXs7QK^Ts$wnLiQ5k(Q71+afa>2(w6qYOQER>V0iRB?Lr$@5Ie zLc&{oSZtzxqj*L~>3Z{Cyxvh&4FTgnKWW)i76KT~5ijJTiE~1n&-!&?=g0;=S&PqD zs8_2m8A&TN)Gl*qTJ;2`VfZd2g#Um5*(Px!^NpCJ?q|bkh|z~I1$z#~K5;1^HpAa}{k+MQ&lh!n7et$~+Ybzh@v_{WO zwUb{p^GJn$fZ%wMh(?kYn`er86aO7sMWnyjQ#m?z?IQ|)M@6hT`bAsD+ZtNMuP`pL z3|c#yvPZk3R$75nr(AHY&gGiKga$U=V>A|+YL-^emnJGJcmOElk&0cg^~Uj5uaC4! zhRAVG+W#Rh2-j;hyZpH_IqQ%U*C@q7$g9U3pNzkF$AR8YnH(yPJwwI>h3g1247S!5 z;*PG$F_%gPep*!VjFu8*xITh>ntcT4-qdPRIYGFz=wL~o?tx$0TEwY*3BT}~%N06n zP)ZfQhyl+s4-_sYCgh!HpDv$&(l?_D+jsiUjUUO8- zwsaSyH87bM?B$4td1D_t%ttVZdF0V#_v-0a1FNj7)OR&7NLM{ zab77+Oqhci6$=wi2K3F2>4HC0oz51?Ye@CzI5ew#6%? zHv9;K{>|@PuNQEdQrCFu?1q`l)}$6dU^j%AnKYv46>8ntGr41x0KQ4Z(c~wxXDKMq z+VRZ?4aw+8J+7ce(Yiws0JO!*d!J0$kf3?JZ4wZGKiHKUp^l(bQCA1x*_mM`g1jT3 z2DMs7Fk!A=VTFk6H1q%X>h`qviJvRpG= zb@=h(%?0V-RwV`ml|eq|$xH>Q8VKuZH{L z>@TG+)+$-OB2XQ~_h#5yPXylp@GV;%52$F4IIy*c1aKJJwpw4NxvS)MGsNZNot76} zM5?RLI`2!xuP^vnN*Jo z2)@TI64rRvLRW-Z9+rN+I{Pe~$d4kucIeg@|6T1Gd`TncdYN+?QCrB4(6)$>@U38- z`cj8P8;U8F?E-#0$G*r|PPn+UCGbbtiavoQ%IA`(QxEAlgLP3+Z&lH&hW>?Z1S%@| zd4_Nxx0S528FAk+4l4cU#&B^nw?&5C@1(Z3a(nIk_zU28vk(fRB#HwdPgHHQ&W=LP z@aTqwG9{g2ik-72CA8c=;O?bCT#CzaKodGwJUPf-#+rqCr3GrMw0?*SoYizmivz2G z0IeEcN~s9y@d%vx{EJ)Fg<0kXkXoo`J#?gTd9+(8t^-F+?|McLE}&PBBaPWGTV`;% z=;#=-(;N(Mn$A68wwIQ|9frw{rTBqFNqlFO5O>D`DHMd+R=-O~Nk89#OR^^j^p5zJ zC&&;7P;*zf7ojZrAwbM$SnTOe!jKz|a_taBt1~P8#GjDEJ}A>dYpW+1GV)CYfGqdy}AxeOPmz(z-`dl3-QF5IR7IwA%f@Cj}=EapL`x& zIrr)2H`fKRsG4DGFe(~)27%knkh$jUomju60-x1Il**N;luxT!k|AF$ zQh@BPW|RlSxP}~muXl)XX%P)ddX zLE+VE=E+PJymR*1!{9&TD|Eo2g1z-DHgl~64R#tG{LTd?fPzS$OotKGw{J#h>#RF` zcygMod|0~DLF+ub{(v-k+98Sx_T}JJ!Z_V@ae0)c;4AC}x(fuYJmoT^D*vbrAP1uH5d|Cgq>6Q2k*$Z6dak}qwz}#| z4a)WL+p7XJv7rNI2c-x>qCTnw5HYgZ*75EM6M;2S;afH?I7>KP#K%|e)1`8X0Nl>k zEh2>4g2?2vYO__UwTwz?je|m=!Z>6plN*M-n}~a0y**Mim_Zg#nn~Acipi9bt)JMO z%&Px$87DQx$}+l&*%dOwE$Y zkgwoRLU?d={aCNsT;Q1LiKl&^ZYQB$0?;fO*Ttt1IK3@WOst3pV4OR1Y6Yerm$U9z zakUDX<|r^?Gw>UJagoG^3#1j2Inq-I7i~HtuJGP8xW2}WKp|`AiMVuPE-xQ3?d??` zv{!_W+Ice?nc>caF$8+H-{jozw_v{4%jyPk8uRHC9k7eV_gSw z3=1F}pte*1FJifN?Zr->M4HcI&yL&>l~Iu!QuVwUd}5@Qs96wdiac7Vjj7jhKrsrO zksImMs{+f(UNZhSol9~q=hCuZR5B1%FpKi~e`v=h5BTOqTJb+C+O@db*|<|GJSi1i zHWHct_)2A)cxWG<5`i4#aXikd#2t8I*N27C6J3Xsh7&yQ*DEPYE7sxGh-H9pF~#wuiQ#Q+FI147M5@s)E~l{6xNiZ$IhbyMHgiA;Cg#Q zN0-LLtdIEdr~w~N4G%s}X9muFX8M2ZYCDDm$L`-jnHgZP+kSh31j_FBlM7cCcMuQR z;%Z58?AO-Z7-86jtR|VuHqX1k!Y2wQ z7-9G7y|(`JU(+QjmV+)zHtt)5&3MoTLGr35 zEl}t)7T8X}yVxs4UxF8*dS+*m?dNfcglGur`v)zuBo;rg+7x*V5z#cgVmkmCLhI^Z ztqYoRD6AN`S??AR8EPrM6wWHS^F8s@K2=lvCkH)|`3msgIp|UG)b@~UHy-tg#PN0B z=RShgJlLzx)D?jhlf1QFQ093l`HEec`HFv(X8KA?eRap1#RbyuZoj@cA1&eG#latM zkXOxFve*8kh5dKf*HZ5+M|in%)d%vMr|@?n&$%OrJf(6dyOE~A40hRN+CEJF+ZmaDhks5dsV z6s%)xMi(u5JveXpOz`yo$UmRonYjPUyeoRovXPi^$;M3J`KCAp?~CFgRHL(fv$x)m zA+^1Zp_*@1^e!Zd^k8$Lomv7@7i`P4zU-H+!lhcZ4&FQ8>Hlr9u@f2p%bztj{d)5e ztU|p19QNho*JgYK?TutO`?YodC*JT?OG%DOz)BC*WxiFfnw!Z}`$+7+!(6T6hvrT# zM{0Ra-3|^n_84gij_^mbkpau{t@KC88j;Vj?1(K)r_6v3iM?8XILG4D{A_7sZ3C}n zL^n!DL{&MY+L^V4YsCtrC-IF0XXRZ$g$v^58xq~(YF+!pj2uQ=pUBs~SDjaoE&QUH zFSq1J+qn}amo@f$C=0wir!jx|A8YQo9D6Q9RTcT;&AA*8qK(K8z>h^)EB>R|FlqHi zAYKsT#5-{*Op0A8-kV2gI4@4#)d>_ZT*3@$m-7wdM5h&`GzYL+!Dr7!{5zUZn!;o4 z>=nrnHb4r}-BJ}2A=4G$VK^M7w$5gE{poT9Aj5%drO+#qnYMOEyH z^QE$YYJv(>%?r_7IecS$-wOeZM5LbiCSMw>c10RwRXV>K*Ax=$*iumtx*EuSLD>F@ zofNAw@e+$SV*=e{BxFCON{W4|-#ku1&Hv#!zn1TL>u%gM`aMR*c~mwOSyIH}lEoLd z_nJRfGhKH?t_60f31-8+(nUA)ZxbCq30y0;8ltrlV|@Bki>*h$^8{#f4c>haX4(Lt z-@RFHyB*Z$CrIOr<=6W)Ua}c%$zZGZo!I&H*=;WYLSO3okDlwb1Qa<(>Jj=ZGm=<1 zb-Uh=gs~LBCBGa&vCntD`IoF$x*eQ;obmkz$@5Qre+B!?uM@pz;X;A=?Pe*0wt&@M zi@{mi((uWz9%P0~Wq>vs){-Gu4Hqqa=SyQI?2;!^vNpNvtQb z)v*@5K^s%BJPeXkO*d3*apP!Fg^@`pkM?Y0l%YUcv|4HiyBe+fr@}v5bygeTUyrXd zOf?wOH+jTmP+d%RTstoc=?S3n7k8nFL{pOwMWcv4@!SnY95-pQYBS_Wv}l;*2ads?f(&V415nkY-=S-N zU^LXkkB_^nj!!rW4sYCwE02%#tU4NtnZ?V?#y#L7wq&m9e}260VWh#7Tn>w32zLUM zmm7iWOz@bc5mNf()ojFECt4ESgB+Wp%Ng}dOEhpXKaFNCFC_`6)zmUy`e-b`^!19e z&yBbU%6pkK8=KqTdlK1qw~3CATn|Z&P<#Kq2(Og@i;BCp0Y;M=gYV1L5N;}I`m+H1 z)A$M*!!C7)DfNe!jjTvf>(3^!rFuGUB>sbqC=>SOH|Qp!T4vVMd*No(Gr3}ViS%1c zvBel!;~|^Y#^p7PNt^w-z3ka1Cug5Kb=-(=T9rE;5~_&yP9&fH_hCSF^tGw3TbCe0 zC}AYsjo6j4Obzbh>w`l{^kJ*@Zby_ks zw}}GuNhX|_h@^rs>#Lcd5E?jxETe1jh_8Jxb?1@|o8;d|fFh&Bwt~g7!jkH%qM**? zRr{SKFVtkUeump-{VCUAn6@mhDrrKNuxDk~qLC5b>zM7|!Tchby<6V45a2YiK?yRi zk20#te#4x922`qm(-J)|EIGU7$foJT7tlGR+~~ zMBr_1GgNkXve@q;uSxHs%+RD$3izp<%J%QqleO@7itg0beC&Mn~sb}zBEjZ7p0mW&)QigP^pnbw0xV2mnP z)ffM0w$Ak}%ZN~m5o(GlWXgO@SCxv1wQJH{idKS<1E|+P8@lgiu5q~qj4Hj73luQ5 zwsiUUc~SK}-|)(KznhuDF3|_Ek)s(d#V~>w@{3W>nJU1wLFC-5je3Rc^z6yfaLID& zIiS4=y;A}*a3rQ2J%Nm;ctkx|+TPLUOyMsomCsoTO`3S8*C3BizN3spWapp)gF*C# z&FwH{R^?%D+_1fNCrn^na7IPYAzA7bms1}Cxa}NPI`6xQH-ogpK>CWb&?42vG3%@> z<51E1wtm_4glbL)zMwXi*-2B(Y848^0vC-;f!xZuIVmm?FBHPdHqvUHCxviN$t!I= ze;Ne&0~T-ygOd_JR7|Iax0Wq;9FDUx)~Tv5<$m@KKN-OW%oSt*C`t`krOK;KboA(27k{i>!(;lIA_^$&6V z7zK^>rgO!5E2VeMJW6xPy1xuq%F#^Bv~-69x4ZY40QMt8o>T;KLW&xdz{YQs1d4yY z=&{a>&_vPM*}7Hst#Cn2NZ+eS^e{|3dIXbEQ|5-#WJqEp8{9>e>Ri%&cjA}RGa z6n+X-a}^rVfsy2rLv#;>jPcT}ID_=4nA7)S+ob)OzC3$C(BJuNfelo|ROk4D%L&73 zEgpi)z!IJouT6)`JaLF0GFJqJA-d_%-c8ZkwRdlX{75WdzKMl-NJr4bgStfCiY69* zzLp|85$;-Sl%6k>t)4i=oZrQ?Y8yz*b{1n!Bzj~S5!$L#5Rz~z~u5~A&=|={il=C?F3$y{7oRcZvYecU#@%sJ`5;usj zc=&=0_d#}frIi>iN%a6e#C^kkO-C0^4D=1$pJ})DEti^RB#!0=m|(Mn$_a|smvt%M z?n$93!5c7kp|ph>w#3ep4RDcbp^_czR2hFM#D;}bYp`Rk{Vt#%IIPZ_A?rRY2fS48 zGv(b>5(2_jIb)XX!qPb`$=z|NO!;5Kp1>l?*GX_mbUk_qp>&9^>fDd3oz06cWWQP@^_QjX<*PqD9%`vf2 z9$Y5Uj7ZEd&jsnL!7+d zw`5|Ox6Vdhvut$YlOS=!|Av2Z$`eK68GyIz9J0 zu2q-*mccT=<=2)Yfpui8gAO~5R(9p-K%|EQq%KjC%Gp z@Eh11%y1$m05~Y$-PNT$mZLD%U{}aIK3vAb${4XiO9^A zA4Lb~5@$#L;2^J4py!nKqKfH}co3uW>q5pbry4_+gMxud2!)Ve*?}BcK>+Y3R(y}h z04v>((BN_n--ZwK_05LR!={`4^!;0{SZ39ssgxJoWw}vd8 zq;qNUWnwHtM%Lz~Ei`L$BLA;a&NCXWuixW{UNbroCI+JuB?u8j8NEdiHH>cb=={|X zhUi^H@5C5g^fpmOM8fEus8ORu?!@yvYu$U_+!y!FS!b=i*ExHwbM`*x_u1d?ckEd% z8&Oz$Uj_i*eUWI!wl{_io_PkI(N$twz^*iXaA2w*mjANoYM>t4ou-Ae0DtfrzTZ*23jnM*q-CDYU49|TM%1glAFw6 z#NG%6<^8CU77V227gsOQx`-$jsog6cZjsfuvGkhrBqq|Esyksn;Lw@2MjBT~xFkpd zaqQ{2%<0i5MwT8_DmQOaA7F91Bd^uyVulL1-~4m%ILny)h;%Za*#Rd0cFP&eQpyQ= z!@DH4x#3*zI1~HbyQOL>T>FIyuUa>xViI{TA@y(sPAt<>!!fHX;y)um1|QOl6Z=3= zTY_(mWOdn2dq{tznB0@W@Ad0FAQU$t)m-HJ+=9pfBbm#%6QD5edFC5_0b{Fvvb%$C zq$A1;4>_iWbwQO6G2Ty$BqDPhUjCBwS%VY%!!zupm9=T8U!WKtPp=M$aYsim80Za{ zhFI7YRRL*~98~hK-x?ofdgCNcD~bs2!7uV$u!dP`vJO489=+R&qPhzo8Pcd)(@Fo$ zLQnteGHJhGd$OFU%wu0Kr%~?>H;T=fI9fXv^PM;D_7BE}02TffJT?f*$SKD+w%e3D zs#5UI{g2+~4uX_Xsb7-w60)SxTd_~s$RGO4#5prKkh?5P8iVgmb~FjpaT7cHO`k}w ztZ&V*^cv=N|I}z?vnt08 znYr3x4Y0-grRCwy4+VU!)49BofeIp{fHa=p)7%X8uP2rwfbiUE;1@gYFba7l_9W9C zXJ2sk{UlORS*LcDG^c?KFi2|3Ha9e0PWVn4m2QC&UKDksro1HK5hn)-rinXn5f4aj z5O96$s#b+mt54+QdQShju`i{dyYx|k;!GNLB~62TqfM@balFPbp~!$v#Y1CK8jY&6 z?%p564|AnmNuB9;Qrx|LnU>C0cOml=a6{BqVgzPgz#0N!&4uc-Gff63j)vNoSLM=D zr(5=drQ#(o1!VhR_eeX0-PH`B;WM!^XVhdP5OjbzQFG(;wa5CnSK=R?CUv6jtJye0 zyFR6}#ERhFXrd&W>N=3^`9(t?H{f7IV6wdQ>!irJpkS(pzP5_$*eMdbgyfep1#Ye0 z{^~rrUrKEgQ8>ziKK07+Z%sBmLGoK|JKQ4k&Mao^F7(_!bWdbsFQ>3RG1MjIby#)M z&ypM_lU-*wy`kKMK*@u0T)m2^D4{M0^Cu_=XCkWUlSrBfLvz!~?)&upC z%E^S1LZ4Sy_iiN$F-c`h7J^sj=?9%yf__F*q~=y7?(WDre%R$2Z(=}c#b=d1VSl67 zs7WEN|3w}?GnwA57_URe^Mf_exYd(sLR!QPQRkrJt)#Fa-y=PPd*B%Hoy)w&)7Skx zOfc4CXi+&#NLAav|J5SYZF-+10KgYDllK`w`bR-~hCLbWfd6b5WYO+i-v3GGW!p~= z@_y!^8y4|*Wt(;-fVdTwLy^31muF0y%%{JP-s(B%HY57=WO?3sfAe8t^R?`L{cjo` zN5;w)U_~5RATg{d4=Gw7a>)n_p*5F1&A}%v&g3|Fjok&w<_Z6|fc?=|-Q{89SBpOw zm+eId@98SeY6RtQz(h6eZXOx;O=~pV$o|sXj6Qb1AGArk_p`C#>V=?Y@7I5175pWh zZ8lCW%B-(*q7g8s@1x}G{A9Ksd?q4W;GVT_I2UTMR8?1SH$FnkVrTT3I#gJLCDb5Qa|MXXwI*2i>>uP#Z@dEfiITDN^= z%+qRL!Mj1>y7i0#MwtWlyH3;|(&`Md@Y)AH4L7guEPgrOJMB{=X?G)Wm#u3;SfS>B zHGb}7CNWLb-rW;0z#OsJV?>gCW<>iG1fCIV=jqq6))u>BwZsO~K7S)6$o71+S_OA$ zDv1Nqu~ZMV+w4<#-;nrRX`q*2U7o zuMuXh=(}VM!_iUB?%%_6Bdd#TRifKoyU7#8kk0xrptaDFph3(757NviM?WZMK#c^yLM}p{p z*ZAJg>}3b1=SSb&$d|HRYN(K&Uh4jfee2J8Mq;Jyk!{^&adl1P;&J{GNU)w{I1tpE z_rEe&W>y-7-NuTaNI)$olJ>|@PME#9$2MA;6?qXtoLVjvBtSfnhkrKNw=9BBqJmAX zd5l5iTpSqRBOMyqV}|vmLNikjH!S!bb)dv(KQ@(K#mOxU0$&QhSvQO8Uj=NxwWxQo z_*oh-;E;v@+a`C*#Bn_iglw!^Wp6E(a?EgN|z3c16is?tSQyFC@rL<*T`f z;*qyrH;Hto~^xD>3|?GBf1KUp3wzY@m%$Um>|)B zeVYAHBAe0v?<;m_rkfehudJQt@mTKd_wbf`Lm=%&&=WDghyRUx_a#5n`kT7~Y^_E$ zv+b`%J0$hYDN5nqOW&&OFTM&j!v?Qd%(diUxi?06Y5~vu#~s!|BGA(Dx3Rz6yA)KS z`bFzcPz3G%w}pBUeIi?;sh6$wSF**>$LsTD1={~_>`FSorp3d!GwiSCUc2ZczmUuv{^P`^2$H;($<&RK z6dy-}A@ETNJQgdwPgOssRD-lEykAd+oB!XrD>6o0`&)C$IiV6R%el|0rMK6cUjWezk0#7EvlD@E_hnN6^UQ)Qr_PjFIG z$l(LZi{SU^RwxRu=+VzV?u2FMcB2ga&*#MH8|D-*QWabu8&O z84<7~B3})QHj7429^^)-gx@8(bK}wD*{^>hvjL1!ocFokX{ui18z4(pY4h0X3GGdW zr=y>o(Z^NuY>0l>)exs+$FL+X_b2YqJiL6%gB}>!@#FuFzSr(QfPXY;^`{RTPdFco zGhA2}NgSoWFjv~|vZ#2E#=A)wC;=T0__AIAF|}ahnDeaE;!qs`nhleAkEQcURX!(> zyG=T|2Q^T{*#7N1S0uz|};)b19sHXG2nhd|)3vM%uWMV=iUvCiIAyes}Rk8rO z4D{r546xE%_2qBwJ(EuY)+&u$&xNw4yPsT415(bZLkXd4m(43iW80o8hw6xWo)Wx6 z-jZ6Y%iDvEb8S++gnJ*Xf_UNBy|0OY?l4hE4sMi7NY%gV->-q%@ zSnzUq57Ry)oR3&7kjTXS=l#y)jAM0u%xamXx#9MXT98?JE#Ij+a>%W0L?m-efEILvfda5knT)9gj@7R-&EX*+HgF=nJ%15N+7^%&bmcFq{X z*;YlkXqOIaSQrwlTuI$URHsTHh8@?vLUjUe=30=u2nuX}tSzREf9a*SaaY4GBBT<7 zWhKLc0l*Y&Yrai7j98#;H&h2P{3s&L>`aauV-u=VKdkV^)h_+7^n8fQHl3h2&Fp(- z8TRDwm>k=0$22OymTX4PIgb*oO!R6_GxNUxQJkri&@h~%fz%b6Zh(~lyYsbGz34Oj zp!QFmGy`3XqgashC9>i&t|XVI zNv2==T7(k!XIFU%vxnN~#uTh8ZRE2kX3#<7dBctDEeo1$X~ zd(^KEcum}F5~k>zJOOac0`Z%F_!!tW?ktj8Q9D%R#>*S|!KuF$`cg^GrCxKdJJlY% z`BFE@>wG+hT$ZgP@2`d6ON>ng|E*TqlrOEEP8y}e_nE!q#dB<}(ah`d1;v_NgQWbj zBYj;2rm07sM3cwEts0&z*#3+F{?O`DU4y87Dr=fpV0ENBNjotpSALZ8f}b6ZN^9J* zFB#%ZIAKTrdX*E-Qm|Xq15nc-27x8*pIm{$1)p)OnmSvod@Ps&KgK}fHCCCc5?Qv) z5FSIQcgMcWLQ+FDz#E^N@5*-$L8+F@J=uy0EvO$h*WFVl5Ipb-M zVZB=@V4T1rmvxaJN`-Zt!djdJ5b8UH(&8?*taHOJc=f0)+c0wJ$Ac@F!5SgBy@HlA z>CuVQ@T*1wHviN;$>e1Llgb%`s;I1@IHqoUA1v~BtTKp+_!T*K$sZ6@)QwbSw|%7koiN_lj@C?L zpR#(UTJYu+s67O;2KyO8%Ev_%B&6GSsE%j>(dl1lTAottng0-&tK@2e<8JaSwD3#a z^+x#Nu*l=71m{%U6D)nLTrSgaO{C-jjlD+8dqCG_`I%Kh({vsGUFn7s*Ux)qfQT|*pFXKFIFRhY8%Xj`V2aiS8 zoN3q+$(e#YYX!Bt^Ym8J5R2dxc#?+g{z-w(sridyR$r#OqkWtX= zS{5MsZsXkf*MQEibikvp2kdWkVP>_H}K1rW$*Zz~tnr82r$P#e)iu zfvIr>R~>aCVb{HErMD;Gr4mbtDN2LJs>yammELdgC!s)nArmQ4XmJS(gWqZ#IC~Je zDrIg(-XgXW0V-qFQ&Ka?oY`IN;N8xLwOIMSMfS5Fmhl7fFhpps7P$LSnm3^)Yog1P znA1yFQav0HDAhhjMTD8H=q^xC5*BarAVkQ{IdR(tm50I_6?|rt-hf45XM!V2=&8Hq3;H(ib>70U7zT17Q3Ilkk9zz0;lyezoss#sO4g*qv7 z*mq+xv0eaAqFXw_p@+tN(%OEGjfay5@y#{6S^gHa$kVUk)=K)wHUiLR)~l1b z{-0L_FT*E^Go_Jxw&PE%ig;03PZqp(BuG8|3*iA{YuXIR@R{mgFb6Wu`wjcFAK%x|)%>NPu zKk$VX#hT!bJk7_}oY^=V&H-P0%&Hz1F|B!vF)($RV(rWqXRY|cQ%hJ{3Bx&_Z99Oa z3gNwR{n*qrX@+xrrTDI4(*?&fRjoz^&}F(g%l`aTC!p(^CWc`~o62&mPlN7^GejzU z4&aS#zBNY+;f{!(D^L62j?^mp+{vh1YyG%LY#H44ADvYj_E}&>R_q}yV}D)I!Jv=} zFfBSVh^8y&Z6@!oI`;WsW8C03CmVcG?2FgxzQ@=M(H(5oXxpj}KGOAOe=zT#i(`wM zo4k&IUmH(Jb2+?tbF@GD2NwtD&!0Ou%H|u1l