From 2e7ac01400f1f0f1c776557a2c58eeaba079610d Mon Sep 17 00:00:00 2001 From: Thomas Date: Thu, 5 Dec 2019 18:12:35 +0100 Subject: [PATCH 1/5] Plz bare skriv lort git besked --- pres/graphics/blockProp.png | Bin 0 -> 45365 bytes pres/pres.tex | 31 ++++++++++++++++++++++++++++--- 2 files changed, 28 insertions(+), 3 deletions(-) create mode 100644 pres/graphics/blockProp.png diff --git a/pres/graphics/blockProp.png b/pres/graphics/blockProp.png new file mode 100644 index 0000000000000000000000000000000000000000..1f23b2fb8517ec444f3dca399c30c9c98907391f GIT binary patch literal 45365 zcmZ6yb9f~|x3?WkY}>Z2iEZ1qZQFJ-lVm2gZQHi9W8=#_=RM~-=Uad5-n*}^T~*yx ztGd>@e~}7u;&9N|&_F;yaFP-tNB5KA;G^tVNpnRz7Ic~g(OuVzs(2IB;xxw zmW!x{i?Y3$i@TwdDUi9Hy{##ov$2z@shzWhy$b-en;!^>5J*x)P{kwXBG+9*Wq5hG z8%Cm5kyXh?!$>%`lOn1%noJBu)+nCs)26mW1G(6UHA<0WX~mlZ+Kn|b2n`iR_NOKK z-@5U>tEZ3sD|%Ym3*DZyC%?S# z|FS}1Xk;?d|79)`f<+%R1;J1ovpd zB!teA`?jkkq{51x2VUe0)CTwRjn8Xbrk5m|{5!<8RF!J&<#WxcP|0 zom_a8w!_fiBbS4;@S{V*lkyouzk=+2@!IlmG2$t1_AccOXI_J2+$RV+ETQp8%|d*G zhYrX3wzl}U1;THqJi6tyeV85S-JW@AW0TuWY0KR4Kk`aF-C&~9G_?+-5<&tBMBXjPJTVH3QM zjeRgUTUNoWsb#_VKV+woW@A8gt$d!F#Ne*r;b|`kK3FZf`aj?_i7w|A-<(qmgkUn# z{2eG?X?8;wgTIJdsyr*wtF-cZQm`98xot=KUr-3V(_i68`{0q@h-PI@b8H~y;(eSqwn(dkbhI zp{o6(%J2wJA^7`C6Pcb-2F90NVS!4vcm8ieW(a zXUuG{bsw!0jM;lND0kNr7W-Q{5Tu|&Ph8;1*Qp=x5XAMf5i$B_8`iqJO;1f2g5shp zzS|XF1gJN{&cJs1&G|%>0tu8lM{ExUXfv_SBDU@;C*kTBKXq3(GLPG3&m&y7@n|2_ z^F%+eyj^8qj3wSo{Q|cLdSRRrvbp2s8wj^Y?5A0hrL+?Vb>}=sS z@4N4$gVy-i-Sy?Oss=OQ(xZ*)durc&MJ<%J5V#;r6Lfe_<3n*J74IQt-CXB-dkYi$ z>z$sL{2p5pPw#Et<&w#$z}@D6m1ckc${byH&y3uq1M+4S9hSv2%;o6~)^368k6)pi z0rD;72)Cw^X6+Smc{xdq)+S9E6VBKeM^RS-W;>|<6*CgMy)#$e^t^rQd7@Jpa@E#q zD(iyhjM-i7>P>d|i2=#YjL%Z4>qQsMNl*K<|edHoPZWU<(Rgw0_eqm@cmD26=szVbt0;sOFdBF*UOqVG~& zB~&*7Z8ym~)23?O;0Az zb(Y<3pd>ej$B5yVBfX~Va`IteHu>vYW3$n`@(|a_cgub^)-9RR3tr_q-iIB4yxY=t zv8}Fqpe-D!ly49#kT_zk!MGs^;1Gh>2TXb-PIoe|6bxPi@%khNc5`9F-HBw_BWSk7 zHi8cARi~(H%b8>#lkEgKE$Z8HeTnXUzJQjdZTip&7GcLbS}%LOx0Ce#dfRi88C)H< zW_qCT1`3KB5C?X15I%gmpU)~Lf2G%t6*LVH*%1AOJ<^aBVT-Wb*H6Wxi{5vAoU>Wu zj2)E6c7Hb#qZ4y@-fmEoAAXfOeQ-iJqKSf*HGVsy-dBOs<_av;hXqh&{A0zf5;2&E zrf5-Drn@CttRBFnGvl>Wdh$N&UDL?;iEjzzGF&>pWc)>Z$|eK_73mJ)c`tae?Fm0S z2d?vFuV}u}r*GYfgnM5?_5!#T0v1)O+d2aIw;U+-$f$jCf;?4k_Xp1`yl?BL z(InjS;zKbBEeMSy-jfPF`4>C=9@@Ry#PL8(QP?qd7K&?0IB#*?=P$~K&R#h9eAfSD z#u|0Jk&u|^`gUPeSJ(lP{y>=ug!^PbzmFKqKe^T@y4#`>7ZrFwf6gUG5c|_se2=D& z6&#GS%HihNsFYMi9UK*5=&7BR1_wt#6^@1S<^xC-6C3=Ky(qTbG_EJI(?IC9=m?20 zmRYeMQrtMjXWt)~S@1j3g9s?D*x+`zz3ale7T;|L@h+K`FlPvao%_L3^3HboR1mDJ zXF}n)_jRzo;Y|elt)9#5u!rablAEh-&e~(bI9vn~6}wa=5N05!SkuvwiSCLGmCsxI zXK(~TTb$i5>H)%Aeg*JFh2enTNrlKce}U0vU>hd`u<>|jdQ=5ssSSDDUb2c`cJe&C zKI)ww21Y&X?<>-MFF!B6DI>kg7Rl{Bzx~gL_s?AJ;2T3rN7u1r@hlD>U+;og@!c!` z#Sw#GwapEr1{VSum>V#aF-9GMW`gi0f`LEEp2O|4H=u^WF(ckVd?W`FJ|1|1z%M7o zP^6*|IFsTZ#JFFtSHp?>f#m+))N1i41p33RBoq!0YFe`w8vNane}cakc5h$~qz{!C zpdm?l=;2D5r@PmyAQ$~#xjfzq+U`Yz}%3yacboh<3?cQi!l(o~4PQZioU-5)Jxiyf@CF(ZaCl80SE1VkepyjhK`xH6r#+cRvcJ>)N|-9e+Nb z%jYs35wF-c>aC)qw_G~}3fDFnpBw+cmSh(84cO1(o}2BB0-|JTF3e3v$<4`GLCxz( zB}+kSX``)_vN&f7c+10(TS{TMYFHdmgqCf+UsBf7;fwh2dfdN8+SC{>`Ej0_H?ZFu zdg7C$2+>~S-r5;sNZZ+Vw#-IBg><)4iLHSI+QL%cU`nM*!8HY!(i=9pKD84CM}dW! zXUIwS!PQ>HNS^GZqy7WVoK3@NO~|#$hGN4KhC}XJZ?aaG)}r#X-pOJ-pPg@c{I2x1 zKpRcoPIE2R^`h{+pWSW?HbpsJ2HbI+Bh|thcrC@b#8$EfcI~$PFy7UeNBMO4g&?>N z`LSZDhW=cIN*K##rFj4Mh0g-;J@!3*f*H%qo?C{7OJQ9-M0D$BHc>1 zHY*slUW2O^vMO38uL>FNku5pB)1<4T)`De=!>|Ith}5z<~(?s z=EhS6V&n2L#5g65HjCHL+q`rW%-?MgH2y~ZZm$0iYzFCz7N)Fts7rkamY3t*YM6#_ zQY=?HR_)e+Bef|Pmj)9_*2AZ4C$4iJ39el^ahIdB2yLCWSR6dtp2tJ^WYqgn|4xYW z73*8KnxfW;Owg{0JU~KFRh#gTU~u2VExeAQ_;;Zp+;rJL%fX-@t7Sq>{?@BD^ceCL zav1k}j~0rHD3=V4#+FIT&U){~7&xjx+ru(?vl$N*!1b$@X$9JG^iAJGyYkHQ^oT3! z*m-4)wt9Q^43TOId*qz zIxaVF`3gNu9h=n5G-S>maBQQ3%o@%D0oPfgUJIMIlR_~Q4a{P_JYQAEn~x@>w#Yx4(F-{*!;AHH1%U5S}!yE3(DEuPH27QjZA-U zh$mgc)!`{1zD~V&JlBb;0cY%z+>iPd=rWGh@+VVn+j0gh^4Cs7^F0SHr=@8{s3x~@ zMs`g5c1>I$;Vi1A|kO>p{iGuBVo8V;q zgcA-5ZO1pb4r3$9Rmx=eGuSwGpg)?{j9;8p0;eo&5)I%QSiz^hlnJ{xz4xnJ5wRCP z&0%*wPcC@<|1!jscNss<2v7zRJv}*eiCc~t^mp;q51XSKx0tt>33)wZNh+nH_4kis z&w?#-&1+}u@M_R-Zo#?N@qO(VY;O2pTe|TF_uifivSmfup4I2#E@R$bx0p3dtDG{y zA|RBg3)HZi-M(*1h=qtSGIR5^Jm%7JUbSUNc0-cYGYfe>m!37S*B_k_)a9y*y~5Mu zw@0dzgnpSbN9f@f&B6t3)tIYTneS@ z)-9R3%bw{XdtU9~d1(q%`@%lb@S%$MewdsPHOjftUdyU7COf;1xGP@p3}RV&@j1^Q zW%eXaX`L<+4EoH8TfV*Ix)e^k)6K5N>PW0Pv5a9|QGMxj+!6=CaU#O>TnzjG%KWJc zaP7yBdsLF-P-}*{DyOe$ftvzy2_zOjiQdfho-Da61Gz~N@I2f;?lc4O9CX{#1}|Nh z}h8RDmny+g658W86GSf8*&QPP$r(mBS`ry z&{b;kpmtp-Ya-q6{(T}Tl`#OKukLP)Z&vEtsm57kl?o_*o(@Vm%s-T7aR2b?mgixy z_FLG<_UrxQlZhtXZHsqmrJF&B)F5vDd20@tjOxS>w?3$u8#1`VrL8()g2=ZX7`yZP z*qQ}v;H9#sX@$aSj?8TXH6uLo5&_4WozVzES;(wT70THS;Fywlnl*T_t$pnai-;!i zJIBEsYr$Zg{qV#}AR{lE;RKxz0C){Z-5IJC&^N79x?V*1#2#0JH}movS|C)E=}ZF1 z8j!%$sAWoSxII!GQgano`-!_#)Cds;i5Pz>@uZzK*ve2e94_P|%mciFYG$q-z_nA^ zjh7$2Uw)#D@I&bi?!xtuU+;a;Dou(Eg@Mi6hvIxYQyK(AcpVJ}%F{##~M1j9)XMk{83R({W_TBOD2vD+S2KGREc#Pt1;9E^z=J(vi?&q4{m{`f9Co;_HVoI z?_wu7A{1G2y}^m&_X#BrQ!{niufGyV(U`Ily#h%^-tERaKR`VKbs=HlEd&xgK%Qc{GOa(p~RGY27{xTwd ziW$)ZLQ)R@=LIo(;SU-fGGTwGd+!Df$n)Ln3yzL#^nPEABMX$_P(!vojx>_AHb_7* zrI+e{BTgGOBrBM)_BnJ>7!|p}%nATWX`&nK;3~{5T^N!9KgeJ=xdsYPUw+zc^E&Wi z>HD7NHl0rNaaK3_8ZCsg8QlwUWDqV#QPQiinS+>K2#9N(Pa7gg+iPY)OmAnMs^maDN6<*ww)oYZceC1bJ2+?bF=&|=alv~jUq9ir)4+6Up`iKXbmrmbpH8i znhQS89R*-&!tut`=enn1Q+HIL6gH##7s<>EpO^Yi%n;RNd5Rhr$wkKY5o>n!ch22* zE`2%gF&TsL#@g2osQdBdvYbe!KSF=H^01z*5x`ZX8%*EwuhipGs<+~2vAtq;zJ4H( zgr~Ap-jW;rt)O%E87B*dv+`L|1FX|p!|WELp&b-;JCFC-dOT$#gj*gnRc=fy>)&{WV{x+H@%XU1z`SA@nbWbPgk)xZ zhTF&amKJ)S$|Kd?fTQB*6yPl#)d)_dHUETxeH#MVGOpU~H7$^a*jd_Llo$ePz)xHD;MBxQcoPq&VtW|r_;+`QG_MmpH2lfPGNp-mH zFyo#HwA5t;Ity(Z#)_uC4488u&*003 ztq@+l8eXg%!fhks+@E?v)t4?Z%ryO?2;JQqVyLz47kVF@1)oQTCM^X~oAUH;EaQaM zXJZ3JnckIZq4BzWnwg(}Tb3{SF|_;fbi1K-F=7Ckoz!z@;^_M~ZZ$sniFU^10H`HP zL(Ol07PDEd;Qn`c9gfUkuEu z1k$86e1fhv1M}TJV}H8(H+-7VzqUX2WHOmE9?r|v1mXHwfBj%W@f||j(#tS%ho1kQ z&W7Yu`+b6hjkkC<+3axZPQQF|z<9UuVdt{yL(K8?;g2Qc+GU^b>7d^FiPoq{nhLp6F2kn7pURhe5dY5y!(F(-k9R z?#F5WcKF&CUxS_Y$0CK%PCO?$+l#SPL2$4XhS=@$)XQ~UaYrHxa4U|K{XQap6}u*I zk~Y1*N3>z2GQ032Gs){!Z=9)&0J+xJ?S)$?$ICyzd9#WH<38{z$5Mmg<_Z;1w>SDS z^cAxycE?7;6^h6|bvf{Qf6-S`cR?dN;we%itYl*DABYS33B%2s)Qa-Ju3QH0ZD~Bl z+UX>tv^!0KR}Txwg@FWs*%+t_eQ{vf7*x(Gza(o!yrk)ZL#$ZZSci2dxDV}143q;q zr~Igd-S`Fd`!GUOsHA3haI1dX&|sXo2K@ScR`(hI4G$%}d0=O{s(TJpP&So~BaK~j zT{$sf{}zGI@%C^UbCwF_X7;8}U*|^>TQ+IOPh4UGvV)fzO|`ZY;3A^2r3`q$;lmB? zu!AW?>^31Xi%O8PDLiwJm&;|(l5f2cGLE~f9xg*17fQMe}axv-0-2mHz`lR3Wn41jSo zqB5L2B(4YB^23YtpVZ3E)!&KVOhs9c{(*V{)G;KD(>~mpVBN zroZ3G=QIK!cY6O^N{C}L;8PRN2qI6t@dmN*&NMMAv`#XtT=Ia@RUWq7FWX!&JB@k# z86zmnT6I>zS@>f>Vhd%09no%@YSl9fBEi*;;P?#r&~EmX7Rso@nH44F%6r|bZCvY| zfEenL$%Si$scu)hKMYHz_&0%P1Y0=Fsir)qa=Gq!Ix*(f!C`Tki6xUS%kL9ZtBKXm zMp@9SV#s(v95l^gq~0?Lmc7P#WLwXAzJY)T7JVhyxE$;)t;U!CeX(=KvMM@3Oa?Dc zK)7Q9_i<4#5NV32Tp8?VBG099&rb(1u~}IosVH;3ax_(C(rdLRi8&d-s0Y!-AjiUBnqjy@nlv7Vidk4RS}Ut zxp5Vkmy0-odbWTc6^N)B9NH0Zs?~}2Py&S_ z)N!t&2EAUr7ptKw0YYLt;*d!m#J4M3DtI=Tzm1A_LYI&98Ol#K`(-9bU!idT83W0M zngyjU+0vsX!X-kS#Kx15dO?XPl)3NizzmB2XFf4A>j^)U{H#8N&qf;PZwik>%V&_T zx}V@{y}?F@C(1Iz)eu4XSKpxTo#W1|qK{^TYKyhM+%QSA{*5HC{Bea$N@I&65iAEl zlbGL=zUw5{SJyT%Vnn;IyLvMx(yy~}rq7pP=`+pu3P^eXnzbJbO|N$zad>TVHw2L~ z84W0k!bxeLX^#YG9QsjgSj|KPQfkL{MIGf6Z~*d)2qc~Wbc79^xVX45ESTQ*kiFYr z`9;4VZFuiBlI+wxq8ALc&?6U^sjSQGhVP6W%}uB2G{Na=!Ji(*L*zjH0v z%hhI8mFk)szDkl_Fnu=9$@%^WV;T(vW(B*HW5h;M^TmV%7E>;FI6!5PEFp# zhrV)Johf_gV4TV4hs>8JT`Pt!a^BTppnuYS;uaUh;b7rLZG5&e36p)-W);q)ai%$K zfK82($jY>wERq_#H86#{WI(UmRHcE(el6PP3Zm_DA z0(P&CMtSs@4rGwKZlC@KmIra#UYxL5SMmE{3j<|C4;}j&`PM$l(sCIgF@RcOFm*S> z!Hj>NEV&{-((*-zF!(sKH6r-E48WqNeatqVlj^*(fCyK_?T59|nZ-_R$3=_Ucz4NW z6cgwC1)VzPF$_AkNZyX2f_-_3eataUqCKh!bG_-B0o$STO3EN;goqI*ff1x4IO2X2 ziB%BULcu5Uuh}tH1ebL@#--1OqVcF4f&_q$WWfqQQ3qg;MzoiA3zZ7d5(|g=FIQ|5 z&`k#H;Mp?$-E$-brPSPlv*qy*jT9gV-yTY16epe&p}o~S=B}5CCEeg@gMT7G^~wKJ zht7d+5fBN{=dgbS*V#>@j!_U^B87)-KNy?MaSt*;@mV}GunM+F!`fdh9#cJmL%er^ zC31N8XuR`hQbO2y;Ubsg=Y;2o`1hJdiiP=T^@~Kfib1{avz0T)EZnPj{VbM_EGa=b zMn-2Kzg$@nK6j=r)!{N&KCBRgerJOBLwT76DPZ%Qpbx9lrFzwZsoqiW?y7#5s~lO6 z5R=HMr*=5KEE0v2f4FDsjQk3*GN@=qzO^1PY;zkgDA$Q3jvyo65R|(>kx!j7ZB#%@ z@i*F(7Lt<=e;p3`Noc$`s+`{9hkngIK>czKij+J8c?{lwwRI z4vy2Z^g}NUi~kS*zo~{^##~mpMQyk6$mJ2jFmuDgLRs(DXYG}7#X+5%pfwS$k34-t z+Q3ikLrCALIrw>UoEC~x-n<_;_7lW(cSzpRK%!cCs%mHy*UMI|R)GIce!!hDJU0Jh zzX;!W;cv-(MLnz6Qhl%C>*Eo2Fp% z6~8S&Tn5iXm2YN^45nHAQrILeKjK(|{y-6POvN`k>BR}hEgzUV^-bexVSUaCbtn$} z-G4Jo*L%7UTkM#to>d^qctfMWEOA|cgKP%aw;SXNUq3v08je%}gjw2qWp(xR^Q)-AD8}QX&MBIGZ^pKM-ja9I~h3npqB=@?urZH8&^Q_Jlupsa z7mY(xR+xZs70ZleGgBx}!Q0Dy!Drr+iKciIbkE$p4e4w6AZ3a)u1!FiR@MeY<6rgz zMkgF#KAc!!X($xe^IO>wvL{?4(%$?C4jzA(^3f;Xw?t3vNYq1iHH5MeuC1kdFl9RA zOuLB3?Bj*ZDm`sKUp21 zjYW@P9h`0#nh>iOG8(B143c{RN_7pxCx5iAi)=%n7PxsXFuf&?rX7&!(+yqA`DtzL zqjJOI)4ibXJ|*`$?(l4P7F>825aw!bD8WM1`Ms_?1Ly5>G3v;RvvLS9mA;*u|8zLigH%T+8L zV17o9O?LJkHkizOvs^NT$@xZU7b;48F{DR(_Q2%Vz84nAQ@Ri8ymMwxuwVXV8wluD z{Qi@n{j%a`<2U1#Vl1mwptL5G+UI2@&aPKs*taWIA$+RDPi9Sb_#@^cW z9}vW77EZrYq`sgy!%YzV3}o$$LfjlHAcR_s^=bYfp~9Yh2=ASjelwAy*Pj#LT`Y$T z(O-|g+f8h7cBK2%_|S0C%xnoD$p+$xCnA^KD3cL#(&07Q`wTli0JUJXWNK575cl!n zHQER4^(-LV35gS8dqlcfC~@ObsM+^)M!|bHy-V9@{O$g$SlY^?x6y6wKs+6C*MfW%MV@a4 zBlx{f(I@-6bQ+(g_H$tg$HU%6R+a~B=j{mIp`IXW9~@+R!{k>sjJPB|0;t*VU2`i);V$~k3-;hV)n#&50W z5;6$GgPkNZ<|AAyMlo{Ljkf~*%g;sG9Q0eV!MrR`hU(1*j~KGG9@&XP20HQQaROmC zlR-Dy+jh@4@#QTT4~Xj1w0$*8^@zVPgTC-M?5fNC*svZZ;|$LaNF@3k?y(XpagELl zBCjytd^I1pRyc>8yp?2{~J7IU-pD*$lQrB8`wG(S^Ejy%^k0`?12D4qMUvOSfUj{87lb6Z|sCRP+0$Fx2+{X(Mc!dZ* zvKI*u>RVGOgBm$3U0$fpRqjthjioHrPyOSUqux3iY_(en0;F9&!W*mWi! z+c@Wtxoe3tC2$`O!fQ@UNDDlcui8C%ReU}OcJ+d>c_CI}h<%AQO8i}h>Nbocdg8(E zR}F%vYh$TC6t!epX=!UNPC-G@7PSJR^_`z^9ZOx@wAP=BT$~->@ihBRlb-CTz}uYn zjnUh#7P}*~aa8tMq49D0cI9ui3Yt7t86M7L8vB3d;BR&v^dxSs{Pm(zt7awK&V|n3 z&>f`8Uoeh+I;)k9&%0PEM5p0q+YKP{XZ}v@wDl~SzW5#X;_^4}@wk2^k%-5eZ0pgj z){eqnb<;x@?|8ve8`I}tlvrjTak-_dFePHBKbn!4JFAr~rBw=8Oh9Gb{gyC%A})Qh zvD974V*h<{qR`Z~6(?(CD$BK)Ee9}tO3cm0)9%Yg@JOxC{z;K9OU0AcTrnKF4t>?U zVWRVr<4VJM77P03)YlrHf5>@8OlAZ1w$y0A21|d>6*6Dp03gc~Q)U-8QwzbNjPhTRXNc znbY5fgxl(%X3j=7*PDVH&Di50-EH+)xHnAo0>a^C>!R`k|D7#u6FYT=XKw#vEV%Wh zx&rsbVo1up)aKuOy5k3Y6i`6Y>6KGzbmGpL?h(DY;%MIqbEGOyx8}usJaBjG-6dWHN$$|2r{OykSHhH#XXjpm|!PT&Nf*DSASk{KH zzRC~P+uO@=R|J(iTX=UZ7M5jKUgW_ii~TuMY-f&o{5+y&Okv{wSc5ml5VhJY-fO81 z#t%;r4hJpvocrt1;Fkt{wQ27P2RA>sBD**x?P;_7Gjn;-?_$hAWoq{+4lP*H1mQaI zm>SJBmM}bXpfqdr^5e$DKfThpUnVMZR)3E}D-P#H%S3hR(jz@UK&EKPiIIHl7FFv$@KhcilK_x9sD#R_oB1e!8p3%hh2DGa!8A z5)2weZBjuhuj$9|k&Z5`&SXF%__d+`Z=D=B!lB<5oRyP3~Nk7@a@t3>a*3MVi%^htt!v z_^7Q4UD{bq=vz%o;xf%$$JP8P>~?NxZ>)-yE&zXf{7`l$4NHT40FHB>T1h|_YT zuHVlbxhcru?i<@!O2spaLlVuj!A#kXYyKvuQ>$MiUh<44%&cAq_o;&Ob~d}rf5#eOvN5Y1vX&-ix-&q$=cN8eLpsm#PWUeX8MjRg;rNC^ymW3 zRf~APXfMNNt+i{_lqpvdO0w-;rfWN+;!99(K>skaf4#+UlDg`KU!;3y!DqfJrn4Uh zm;)0lJ<%Tf(o^-W3FZUoZ3mk`i@9cQ&ZjuorABArEnA z$NKA9O+hG7oRTyQ{O+?q#YYKsBKo4-|3<4HgzvQY;U9T$1_vqK8b4_S zKlWSktLsSt1~in`hvYi&X>BFb!IND5%;bSG9v?)rXO6-7L7nb8kB;E1(+!pmk-W=I z+17&{9WO9DAuC1surfbURQecgprS--a50~=o+gDu1 zBW;z_)mDdM!Bj?)y2#F^&_gwq7nR+ox`$>|P|QSa^_hRjLNea&%06!nBe?aV^=xB? zz(LBheWF(#3H3w7Q1f~};k6CUnFe5{6i~ z6`7(k4*f%72K*65^`#^_-rgznIa2>g9CWWmkyF$jYvyw5#YPfe zIYFCJq5U#hSqw>d%{#&swY|D;)N7gZF9-GjQpVR=TMoX~a?`0E%ZlU1NDrK#@KuX? zqph9)5nNRNw`@Y061Zcn7-aCKY2^ROE^gEa!6N^UDueq|d7D(~|LH0Ib3ldrFV)3& ztNzPoi2na&ei7clCEs$kDm)?G3T@N;1Hb8uBcg>3D+#`XYNVYSgNe@w#eQxOz{kY} z9`ivG9rI<0A>Mvp#IL8>X(B>Gya1mB2~r|{ZhR_0#yrJAOPe9cQXch2;2QJF&gkLl zv*qNz&^V!dtZ-jH>gY=+cp2)DrP$HGve8=jG_haHBj3B6mJ4rq!9r0U+}qR2d?tTI znL@zy|7bb-Hmes8Q68hhhTc38c7OFWyc;M2^)E%+y+;(dzt18X{gQ zZhYS8n88}4Q+QX#WI%*19@AGXz7X2>wFiRHP|1(+DQ2f0HYE~o7R%_P<4`!32sHOU ziUdnZ(uNS*4@B9&2t$G5_FBmE3VWnowrT{rT6Urb+2~?FGA;Qv`22w%U-*Ml%h^CU z9(!vHmth`A6<+S$eV)3hG4HflP<^0HKT{ab!~S&tG7vuYjhJBm_-v@p@B5ZLEPW_D zv@LJSC*{)XeTx-nUVS5Vb!X8N@RJhC8o74I3s)-N( za}(j|&bc5r`wLuwicQaZpk2oEz~s)^FO3O<_$q1fU7HV0NC*8Obkk^A5nrYJJ--<~ zjTGPIr3_NiPw%oDT*u|$8`M$zkH7X>3)B@ltBCsEpFrZV&3~E;Xqr+pB6aJh40P~r zJWYvU&%^Qrvlqp8v_z&&H9hgW@V4=#j~aWkz|f-8H2FIo{gN(RYLUAtIXb4{dZUgn zZ=X-i{rZ{A>R|VuD2#?mfBzE*X|CZQDevL+fv_}#`YD_^@G=1=ummNIy&_JN7hL{9yEKD^xyVVN=%45XeLFPU~+O!a$!Vq+3p~CJ7Ci zwP&UkLB;zKt4^0zn4oPmoAtLx#JBbd&3!+UjW$gA4yF-orw*lS^Ur}r01-;3?voka zFk=Tm2^tkmYdnWe_BVwMlH{K+Cl@454xj!xpIPno@KPSF&Swr*H#`!8f!*Llr;DnS z%777ed$lD#8S%JiVTG(u_tQ8j?Wu+#lk4;LBR%uH5N7~2-XE(XsR_s6e``Pm>Y3O8 zL)&_klI%cBamWc_A~`ait%1YjcPXMGpP@Xoau@7gdtGL>0}Ru$DfIrK`_@8KVM=?~ zOK?AXc^vC=_%18#5xRM}2`xvm52l%4BK0S>cz#&>%KnTUZfUgU``k=ac=!Bo(q834 zQ(8izgB-ttJ4{LdcKmLEVQ?B_`Wgwl2|Yg@x^|_W7+Mzn(D$#hhExF$e{K{08%F1r z`tHFjM6LfZmq@qq_AEwfi~ncOA5#wfQERus*u6fj3k3V9_%7S5V-B{Ygm+xVaJH!F zXz6$VUf9PI_6E?s8nj{h4ok}|SyDV7UsNs$pG*fh^QX(6Do_f?n=$3!>cx)#f#W;6 z$MZu-s70PN(jdw(ts1J#pK1zs3qCU#RcMN&bWCCx=gwkZ$}0Ni5S3+1KCx;B?}h*@+7mLGG)@>+kJ^a6A)o3Cvct z7=F3Z{ciP8vd_HbIyWO>okF&L1lBs(qBLE+=t1WX-Bp>`e|iOpM`~Ug+mTMFg)rFA{--HeqObq^6_iyki9n2yTJO)OJpBTb_#65HIhW_> z4(jJxH|RI-K71L`aeFfKG?m`D>f=3}aVl6S{TAV4>^hzIhx$&#v$>(mkg?s4ywf z`z;ghMk9)N97czygqP0ltB7`7EthDaZxWOr0_BQd2?dm&jmT7H8cxV5St(JTVu#`CVxRs*iQJgvNh+YMkANZmTXj4qXVf{U!LW_&ke}G zc;DHyxiXP}fNQw!=Mzn&R*>Os2p*6KiBw3Z*jd1MrAnk&WNgw=SW8w7gWrV+MOGmN-6ZZAnSDOBSWUS$MpZqnJ^k^%JBN88%s&Jom~g$sy>Ed@rGe zD9$!4nw)?qD|1dyEJl+o#sD0A%bUgj0l_&(&$$>rXQN}O0|3V4)nzfu$~NuUMm+eq zC(~kRtj3EQVRYG(hkKEWa7!ElDfh?n554i)dV9hC-R9eE=nbMgRh`sTvJy&}UP<*{ z>$BJejk$QX(m~&w&FQ?-%wLsX#j&_sA}v=ZM&n8jN5{bor+(^l`Ss^PwvOM>Ids)A zAx=&DTO%(s4RT36n$(@YKuI#IT{26mU(Q!8V_Z2~#W=U>m;yM?81hn;3ukLj@xtq`gQg+gyY~1#)Qx5 z@a4GQ;oPD0%Y4il2w8((FQU_bfwm*f{`At+u z+q618&EIj^n5HdvE%uP=DWG*;I1=v5RHvTwx({7TUqI)3JMMwMv@^Mt{) zA1M8ekOzn_)o91zQfV?h2voH8*6dAOVZcm7*KQtUtC=7x0! zimQkBk2!8(kAPwrZ5R&c{2hx}U=b{0>=Y?TB`~^rrOIV6NtFJ_#(xvteUucLsh-)^ z;X$&_lE?EDLLmzCj=`gOxJ0(diO2&B;xYTEl zM<@3ADyCD^HvXnDuU0=j7{T)SzQ-geti54E`et7*2CA^Tv#gHnFTGks4qFZs-hyY2 zGj>-3&nn-}2~zi~xN7TPT&LC&l*5*5^jnE=Lt-<#iq3|Dh5w8&{kF02&`k91_oKaO zglANdDG`GFYk-ED*&!5rc z+kj4HuPa(Uvr6Uwv>UKm$*ln;+@h}x==ew(S*bC2t#l~V-p$yu7J;?>#H2Be(7(!CvC#M>iaF60EeL z3jY7gJ`b?R)PMvDJ@UwZ6)>88`+7EW=9RrUhXsK1_Q=X!4;on+@s9KH;Lw|12Rjo6 zk$$E4YUE1Oc-^#*HvexWK+s#G@nBIRUVGE#*suvR-7_&C-%n@Gdb4x(%+773e++vt zbKv?{8wiFhek|cg-w~4^?lRA5Lm%jBaw;+fo4w%;!8rc>nd@O#@@jSMcuOs#MlYh@ zqvb(Tj|lH#$9*j#58#6&mdfFg&;uZqOH|QEi5i>}6f4Qqdy+>Ky!>cs(fgI(G8fFb zEsQr4qpT9m#@w7+pO4VQ$PX)l$sY#mxUkjLFv1LV0%3ew+5_#b(^YX{xC3R17XdRPs*Q`DuYQ=$E5YM zkbuEGW-)Z(<9U>~AFp@h1qD|Sva3%q9G^XS?)CoC5f9tp)nm0(9k*-62}u;38w;8o z5>8IuGprX8ixuqotm1y38kg>$!6E7t4Wzg>BSqw#uu6<(lbAgutrW@9g4+Ke+U?H} zassS$)wnfz24*a&DL2X*yvSUM)X720vCG9H{V5~3PN?tYF0Fxr|2BEVH03lDdSsL- zUZJC%k;${Tq5=X=ml302G8tbc&{u47$mM|F)ZV{sP}Pk8hbaDD+_}<3U7~-#$Ijd| zuprGdQW=#7H+=2D8^LsULB+Y7c_Z?<{0o#zWgl55ZA+%1xU#g#g^%|U)-h+WIsU`R z7JUq8UClx@=V`d%HvVOIQ#IgkxE&zk%;~Iy@Q%7lt{AF?(XWP?+pW1?sE>Gvf?_VF^`q|XLPWV+K4IL@Y} z^~;S6$6yo7uECBDtV2%{&&3!ZNmulK9k@3e(9;CsD4gkziMQjHaIgzgC>Q{=r=R7R6}NxIfqE9bZuSQ+gagT@KP%{Rc zz0qfBP-6E)FL{d_13HZ_$+4wv001(pIZSCI8%1OFGwk-k5=?IfBt;Z&K}DPI)VhXL z?T4?%mawqxu+}nun_W|Vw?`Y^#hGbb&Sn>D&Pse`B{o8UZ8pUBT*G+nVjq=arTT^( z@q<1j4=j{&E@Wxit|5Z$-tQ}SGrPh{tR(S?qT70}FNzXdq&coJ`JMz@+Y73+ASr092N^L8n_Z%1cagL#*x zN)4=?k{%6bOZcd|%Pae!8GMosDIl?_T=-AbhQF~PiF89`5}ABzy_HHG5~1BCZ^nZq z+8xK;_`}|8AANzQ1h5pW-`&|7pA_~)4;mLM(8#9BNyE%KTG*0*)`I6K?^3Qxptu>F zp5P>!FlUVlfl+WZ;^c*|?JY7HKe5SPXOjsX6=~OS&IfAE`|M&W2^`w_0LS>SeA`Hn z^nHB)kosC`lMW4h=?U!ec@RE%Vih5;Yx&mI&al<6ygovJ0>!3U9_I6MBW)rq!Q zM5(GYAOd+14ZpmDvRXKkKm}JQX4IOC?~Q}F>nxn)&zmzBe+&(yQQ_cnME6(jR_Dv@ zy`1KtDQbwV`9eBZfime`H+ZV7O^0XFow40ND=rJJOkabFd0R1Ibx+0voMe{EZ!|)5KL%1+V za&&HSP$Y1f*#O|r=tXr_O7p9yWbpzMH;1|&i4XXqqw~t52$wr=5M_;OY@-Er0<_Ig zFKQzErJG&Q6ai&(KenCobJNGFqQaRMJ*p?wQH|}`-S`|u_@!saln2<&0H^;%Q@m?6 zJ&le$*IjGNr$X>VrAkXQ3E{g?3q);eYu;XpHI6))h0`|T>NMi(ZFa#ld(tV2vEiwz zRdg|X2&RjC5gC{#5n%Ciq2Q-ij}lb2&x0WD#W#w;@x&9Y|1SAbU%-slbs;mtN)M>0 z86uBpl&GV~*Fo)9l?U7>(a_8V)tjF)omq+px?!=@)i)FW{%&W#DY+rfZP9uy*At^m zp zjKu;JY$=FmN4Ld`40IR@tGiT@^Oe%T&*eh+H_kQ++Y_}y9cT{Tp@9VU54Wpwb4rK7 z@TS9FAk*uw5J}ALz5SLFE30mm*6z#KNDy1s z&f`rmA}(urP{)j%;aT@(!X}>T3uPt4QK6uDe%t@znQyl^-L!sPG?aBdQDNzLS{4=L z$Bp<2w(aE_OD{w0jkl+ASrG5Yi&Km!BdX>l`WMQM3-@>-{cC!vY;p7PePFsdguqvv zOqQSz1%sG;mVRUr3G7cMcFtos6r)eU2j4fGe0`N#j%!W+?B94e%9U1*;jQ;Zy4aAk zK}bjt2-$Yuj^;C)CDqu2sSZeKLiz8`h~FArP~2yNel9nC8(qXr+%Xu#%vb=xpjIck zW}Q_KA>m1#^X2*Tv&k)R;YWxWym7K@@G})4Qq~l2Py1=q;^h=#>mt`#Vq?soTd<4P ze>Du}w-&Yzi4JZ^Ld_qXAL7~Op#jmMzuWK-BLf=Vfzc9{ZlvNCu z**~)X(Hqe)3SBaJTTfrO!-2?|nmY?vu6|DAi2SpjlAc8c3$uIh&FYY7JWE&4-ZRQo z!M0=#Ui3GM-J}Ch9%XtBRXMppdgw>m_u3Y;1sSEkFqHYb_|h=j2VWuO*o~jg{-$MP z505jM*7^x3n?8Myo%btg=-8!lmhhaoBffaS9+vq%6@}(wfUhgXKV1mfpYzj zE}h>`^=-h-*M}UUTny_q=SRdP!D~%Ej%yob{7HO6D`?bPV0}G;`owc~lpa~qRcB@7 zVa^=J!R>oVBm^!J0K8oZ7(Oxs$)(+7TSM8l3bW-IMQhx5Md^%2n;NmJbca0ER@q2z zKWua|?@s=V50{>8vK7&CiN9?a_t7en5rDS)6vYHLP1Wpv={a*$j{7fmjI42kmf zlJ~+Ca8-*gSO6JfGV#_M(Bl#9cigD0Dc1Iu5$5PWZOa`Ve;ZRc5}YIyfq6H3oYnETL` z9M8T-(?cKbib-=lG~u!MjlYSix-pJ;DgQ`U!&R^AA8TK@v=LSi-Rn5puw2R7;4ieJ6eHPN14oy!k`k;Pj3}! z*o06!AA7R7ir`sl_b@o?stniI0iLD8)IL>eiv4IT-4OmHRz%BcbW9p6B|raGWhUhP zz4Z~}@3-VJbhc3qTQ1F+5ViHKs!j5TVrj~qX=l+}{3=<1A(VH@@s)Otk9??EhY1;vT#3s@f+?5NeXcn}OOp#m zSG$^%=6cjZg3?e;E%$P77h$88yurg$Z^t(J$2S|Va_FJQJ*+&}VfO6xidQuL6RzMY z$##R03~N;$3J2#;FoZQ1ip6rK@nb*geJ;p{mXx4oL>CT?o7Lev3dTA2lwIdeZdvj~ zia4l>j0X0;mLEc%p54Uss&|XB?b%HI16EU_aYHFij4N?Bf%W{?hUQ6OFl3IJ9faf2 zXPZ!iC*WvOf$QTmMmbo#`l*Qp`AKnUcO1sGd8AQo2m4ew%Z=*oQ=}qQCaZRodPS9z z?w_uPC4SfUAL%$Tp*2r!9J?V+1&Zg)EeCZ(=h6(;yq5EL_;qpM?k*+|2!~yF?4p#i zGRzcQpo7X%R?*~Wd4_WJeTT*MSJ(RHFinD{ zy_!niP|ASkC_>Zba}wX7PDyu}>}XrBic>=^R{!*0hwDTA<+fdj0W2A9aJfb-;idsJ ze?vmu4zt?b7;A`cqR7~OY3I((KSWHW<{)uGtJChC=^q$ue|7`Jul=#*$5+2ho@a<| zDg`b-54OCmy-pQcZ+}U?KN^0ke1wh$^nA|B`>^kj##uI5-+^i%Q0g|d_i%nx{ARo} ze{V`FkV3P63x9u_@zlNWrX3#*ICvgUCIP-v&hFBzB$mkC&hY!(%AO$nLL)2H!pnXy zlrBHnfS2!2DG$vZy(`)y`ksULe0^5%p7}$1tC3Qwsod@^Bc9NWx%w~hY zc$xer*VZv_Fg_cL|0I|>F05eBK3*o=_q~HOG+OoU6s1y+q5r@xN zp9KOa^{JB(IwL&T-2#uk{qy#g_cH|X<_WVY=m|UhZcpVahlhiVS(0Us;ha!;duI=0 zd#wjiL7ZX{$d{<*Bo zRGs|^azRKrmsHMQYwS2_S2G@NS-!F!cd(OoSUq8ATr^fvaqx)%=W>0_%X_fPYJRgb z2J@Cz#-Lx_F}22y1X@dS`{^*5s}tsti)aUIwi9;~9Nz)aBp?GnRAP%1Q`11tDKAC` zuA+>J6;-@sC_R7MO*)VWAmVLng53H`JB2n{5_j*W9UY9${~-u5Pr!;wm*e} zo({0;E@sUHT2gch^Y6CKe>-?je|fjtJMQanx+C;j1;fX{mCJc3ES+~EVR>K!N;TV5 z4tBJ9Yabqnn^7?8WeY@4XNNQr4f?~{-#(6e6tJCP$CL;!M=}BHMFwD-;9mk{DfCd# zQF_wwz>lUMArRmUx0Wh67SA%*6`azPt?iJn?s&W9wF7gQ59|C1F!K@DbO^(Y&jel* zp%#5LxZW8hx4Ru&0x0osjylY)^Sqp)FQ+IRZusU#;ztuJ!MD@yn$Hw2U0oP&=K)0z;A$% z;_6=uXRXUi_5n>e$$r0=k@l$EVP8rrGf8X3pn9uaw6<%ZE&PJWNgNa3;e&HBFC#)q z?NED1n}VHEt+S0(=VNM4cUcsYNJE3X*XHr~F2Rr2t{a^tK+oTAX1|zpewJ#qu)OPKxBo68Bj)SfC?VusH3{q)z4UD2x+c{b7Y@k9S@vtse-Rc$1!HOJq zHV7Qh)~)fv(IgFMHIaorUUKx6l7JKTbTSKSptetlk14eMYB^&h7;b%4u3Zi&SGDrL zrJR=yL7+_e%cCPDAg^q$y$W-)Jl#oU8os8ke4`*VhLR-J+uu&7G}D8b9r9r7dmqj_ zt&!>4Vj(xSOPACy7wTS@SO;M{6TVnj(~vT{-<8Z(%<3z!EWGvWw;^}-B)0IrUF1cJ z`yY9!OcB`30>uc(o3W>k`F-0`q%M}j02U+up@%0kh}LVp1#5pC`oQf#h>Zk zb`sYzm>7(zCwq&LvK$;7RBAP8KHGe{Ufjpg2_@yYBlq%`Np~w?;*N!$-(o^F9WC+( zZ}$vM2d!T^GR%qykTG|BuQ6OR8Z%BHaY$5s<`PB7-S55ECd6r-sqxoNsu!C)-jray6~_u$ z$tDcINC`>c-ovIp2+lQ-ifn;qUatWY#WxtLyw?76AXD} z^Bf$GC~w}omR>hi4T(%r8)sh1YNb~JOzl71uX5i`!8P_vOh?f;-Fr!V!=h+@-aPz> z_eR`tp@=nIF?4#p?5?vhSG@yo^`_HET(;P3=4}yVbck!ld9Dzy#$nt=_$DeRY}iB6_$uz`r+*tH@83LZ5t>e>z@V zoMeW>}A-l^s`EFDti@I^G;I$?B_iaZAe-!ia0fV}A>~lBhsz zH^bV@a?^6sd-qpg-%r^qvgg-PysXX+Yd`zei+pT%JvOUhDPxhy)Wa*9KigN;ni z=k0_v@9`Bht`p~N3Ii5rp<4=gC52c){DBUQ3EJIdNH3i4{H4opw{jKLMV zdx?<`jPDxWi@W2Ar|Fr)Op4hN?oiDA&Fp9}ajbr^6DAQU-HU(AZ@>7MFd|gsRU0v! z2R;Iy`Wc=U2t-p{5M(bN_<@8FXKSXS-X^tI0(BcUeHIq)gAe0D}_q zNN_t^l;t#aKm=4uEy$t4@rp^Bm7C7I~-t@fv<=JKT)3pjmQ7KR@asZ6&Y68$N$ zTVmhnetg}b&nDv^S&k$NwwP<|gaSE86 zgTOlcP}LF+Wpm1bH&Aka$3DxGgT(?GjQFR+2-mK!<8X>pfaoR?du+%OpKCDD4=}1W zR$=_>ZkE<}UGB@&U*;QUDQqVX9^^81WAg2F)&3K2_W9(Qy24qSJDmwxv-39786!-9 zH3L83Xl6>ijewz_ur0ZFzjJI{@JbEucPZuoQwH?uH{GCufes0uYF@r~JnPT1sYGb9 zC_lBZ{kL$(C+~5ipAkBje_Z}elG{rXA`|%fA>ZLY@F1R53q{99Zv~+BxW0n#f-4-= z=DLxa~(9xL9K&y4k9d?c|O+xVUMZZ zphoK-HNpOw{XbXzIY5JX&+9#vZcE3~#&}Gu7)I7}iFsH>n#!!natTmZ_cvJ?x3S8^ z{S)3XLX~43L>d6*t*4jTgE*G`zPs9UW!3IQo&)qAgCddZIVzynXJ9^uD|c1QS7GM zy6YCXBpb}!USwO8rG zb~@8BQ7rRj$CE;E*x`3wjm~mio(Gqve@hTWg8u2lr0?$)-4ai+%rBW=A?1=G*ccl4 zi5ufX6pB+VNn-)wOGZ?(8E88nz#HeWmxZT7_Q;z4st#`(SJg2j}ik@m$_;i zcZ@Nt2FFt?h9c7)+0-@*#=+VklEig z0Mn{GEkC|q(!89l#*XQO-LA?@hh&oNn9Wzag6vBxmRQ z*|~{0+p;DImZ$$ExV8t7>!VVYpu1I@NNE;UXne`YheA< zy=K%}FC^`Gb3bYmqk@Miy|Lc;VdF5TrZGr^7{7bVZ!Q0G&9dw>Ce;M`N3q^SOy|wa zgPiZ#uO19FpQl_ZrAd6``^-gq7@*4@XJRq?)v7SCAR~<6c9os@&yDkfy#v_R_#Po> z3uPjktu&*K@*{|0$ZyI%ANy)KAj@O%Ixp&O;QHR?MRl`RynE9~DRk~HZne(D6nvjW zs|Pclz{^jXDT*N;V7{g$x|rP{3j?L*K+~c^i49Bo+y~|TAbSq8!I=iTzgn0dj=PiB ztyc#*Wu59&jj%A+y8(5#+T_CS^1(?5`}SYKDQ&-VdUqgyUQ>4BF4u&66wb|kKgpAL zS{`cY9{v39>~$PP@@9B9a$dIwqg#t;0qws>1gx+kM9Eu2TN04r1=^_EO7YR%w1w*U z-*?%6TS-KgfoeWKEm)CX<aI<=ZgU+$RBz;E>rcR^L(L4LTdIkV%*BH3{ z`T{~co;hL;$PryuZ&(pDK^y(6)Dsrjd>=+)@QLxAIXc2Nv+33tm&K@ z*Ya_3=zqyOhwx#<&drwVZ^Gx&qpX<>Xd^{uy)9gTBlM_yIWo=W>fsVAvtvGk-BdQ^ z;I*c4&Qbl@IGCfkDue$V<1oe9WMlJk9(vb53AbBPW{dSSMfm=5b?18r_Z`my-odf1 z!P0arfn3G*(}`xJ6=yIQycm;_k2^KmxFui%Pn4f)Xj@+CvwDZ?w>uHy09CoMV#Oau zyMe#^Ub3SaKj~x8S>>CXA`V$slZE4a^yZr8yUc{G57sRz@3q&?y`Of4fG=&3u8$jJ z;mk=3x^>FJ5|IxFSKI87>lvMg_0q!&%WD!x6D{oNS+$#!ss+0gD~}p0%>(rZL%1v4 z5i2=Iauh5eut<+{sIkX__EzPORUkF0vxGNa^3|&PRp)hlkPaEMj=UU6zW^9)%1#TX z(D9Wal2FyoJY{Ad@VgN0-;ZX`B!%!%wAsvz8AbNMs^cx&VN)LlK638ASTS1n zB|1wzP{3S2l%4?=cfiLVMs0CFaQFC>{h6T-UHDWYiKfFp?WtX~ z{}u1~Gd#baS|rm;DPKFJC)^+>tO{T8b)7uaxd(ovy#YbxyIy@1vHm2>@uDs$VZ{TW5qm!Mz#zwx z2gu$}+wXjt@Driae-qb&UBjH8n&^MzDIuqnJiF`A8l=%*l14W9yX+SZ$+7fL%7~$T z{whDLx*;77(4l85UDp7e4BzCeCx%(-4_~E%0C*}dPAtx{@ghcMC^nht;X}4D!KU`4 zH)oHDlXESTNcl~(H@^Oqi7qW7g1py7YZK{Fr`RhSpT{n>OxpQ#Wv(Od)oaegQi?0B zLpRA2`>{LLiF5esnCaWTr|s|jmRTJ&fe{ZndaK4ew@MONL{jX;WO^aD#pD&6X{zcc z3hTXM0C0Z{ztiOJ2S@zXLxWBFWBvHMY1JEJRXZGx3%RzF90;VTA)B4Otq2R_UFVik z!v*Sw_L0Qe;eka;3G5vp&ermRg=OXEFKLl9sl-;B2>|C#C+x89YlD|GmjKE{h>q^H zNEqp3XLRJ#;t&rchKwZaa1g1~OEX*Am%Jme|~T$<lNlb(h(1Zh{bskzhT}8Y^BHPqNPPp3-j#)+qwE0AL_+? zono$aEOJp!RmGZO8Hz6bc~US}{$t%FBF8OVQGQY4^CS#XZbxfc&`I&9*BzJj^peWp zc;X$OzX-$eBN`b1Sh+(Cq_V3O)s&0k1041Qr1fCy1j7-*|Y`8JWt{FD5t?aU2Ntg;Hw>JB@EtzQ+t0fif zd7&MoeJi>(HW#HZg*0Bo+zaVvl0i_WlvLkz69y6>hMRJCl_y*`9>MwPC$P(Q6<;>4 zHuo40zf>2&_g|kT=VF5o8~s@t)?MNV7fqXri((2IF%s3=q#bPvtQl?Vin0Dz%HLzEzYq|iL1N?@VPO&RQTZ>UR=@@+SrlC zSbI`wZ|LIU#v)o$WZ2`-Ln)u43Y!>x2YIo0XYpv{vbE`b9T~H4zlCPgd*e3r5uqOa zXur_~vvEq*Tkqa*og=fYm%wwyK7wb7+UUFRt?9*CE3^3s1lF8ci_L@VFsrSxZKX-p z^4l#MbC-A=>g#YiGPB1?pp2_RhfX3iKGu-b1u5vU5YM4!Rar**h40c$#v*X_{&0dh zS!N|!rOBABO`RDku5;tk2$M}lP&;Bgn(lJW@^x|_W71LY@ zi5A@VW9?;sfmcfq0$oLrN&23l7T=U*9v-9b5tYN%kVsbTSVS(wYjvX zTld}=pS9>{?iJRtq_>8{i~!+1@SSmW+;D3ti^-#hbY5f3coA?&NR2^~J&m_cH`ANQ zsliqJ@4hESbiNziQE!4is_DU2+j+hwy&S81c1l|R0vr{c!1GbHxL4u{j$-HYe~F3#8T>}%Bauf4(mxSW@t#5mNIHlH$?3r6-FGVtT5I!f`TkMDRF#OhbfBLyQzND4Df}K3lhq(3&!r^Uv__G(_{7 zl>NMbX^Z(#CHOzt zKi?#b+$m371>C9|G3I=D$zI~k-}Fsr5zqeRcLtR&`< zTMOOZsp{-MVcJ`hoyt(8kIA3Dlj&g5RO8zuT~GYLks98M zDh(vBL{O5B3=)8gEk6vEU;{B!OA+^SKZQMyJ{5>}oXP!F$DN_Sw~)c|keEKH$!#Fa z9c@!MVq;-hd>-}v;F(b1xxLOkP{M^eUfP!!P4z_am2`W53Otirfs?%0rDvUL`d~}M zr9)1@Fr-V*O!DT>H<@f}ej#A~@^6%vpP4IkAuYA+>)yQHRHH{9tIz>49HI9tX!I9;Wx=tytjRQJOX*t#J+iUg z@P@vYL>lR?E`}8#?wl`9uamh-BdJc(%*Ri%o)a@NabLSNmAqR+lPaqw&OX^phw)U{ zv$itvPgaG`NAVl8g=TndX+-RLBj_nW6%u;Gs72LJ9gI~nam6?Q7RbGJQ_Imb6VACF zZR^L^yT>rt^F4KN{akTSY1B$dsLWyciGQsw4@%Z|I8Qnv@h?N>=^t@!%7m@@#hZBY z@&Rip%l9nF9CVM#OA>-Brbm5_PCr9h3%gXMyCqPO04+>Ec^!aSHiaEgw{yJ3aBo6o z+tm5MPO2CXj9x||i#+n)W|bZ+w&I1|E!cbn;XMXLhH-mzrsn4MUZ@q>>oBR zE{lbam8$N=nt>+~I@k=?CUEhPqJ+SK#ip*!{-4m_5Vi9!W+0qrt?xZlCJ+8>Yc6U5 zdFDb9%F+Oq1h~)L$=^M|M%qE$mW`D$>8SJdMUiF1-LA6dCv2(MMk4UXAU!gCr8>UU zaLfIQvrMKvqNDN>cBe!|T!Ue3`XT7=XtEd*sHKY`5EI8VtIW~{&35`Q7o8J)e#Gq! zk&K~G4Ho>@y+?meP^IsE{9wQ^6%q};)4NGvEw+>*h)w{7=CFs-;69QBxG7d<0NTWp zb=E=G9VieTLMR`y&yVE&zDk}CaTV+l`$U{ zd^llplkduTnJzEF%^VVA^TA0ZIPrhWp_R7lp5(JX>98xom8n#|8xbJ@IO(G|iDK8V z1kyerh@aFd_loWe z=30vklfzyW*v8g?f|GH2y_H*ionEu!(%+Mk?AJmU!TW8bfMCh zd<`{!)G514^W*Vvte6|Wp|#CsipnJGhMBB-ulXL})Vp@_jp87lbayU)@vOCaMQ0#J z%=jfDj-4D#GDktkIlT~~TCbrBcX1^Tytt_}|FW&4KBbPX=le>qh7%wuEIBQS zP3uZRbvF>hC^99`O3lYuh<+>MuD}OdinDO+j+&hAMAIC4qR_@(&;<8Jomyvoy8oAN zEx#EMX*|%SrLVr0~&-n=^!lS*x`BYxr}T2tPKXSH76hOyxxViaJBV$YVm- zzr?sZ2Ubu`gy#4l(V)2SS)*Tb4?rzzl*y_bv6w+F zS4wx{G8y%ci*yX@<9^@FS7Zg`Vz5S2&MqhdBzegX9j;_;Vyefo|M2a>P_(x2vu7g0 zvm){rI51Ujql_iq=LRLV5E0%H3OhQOBjrU$E?B8sBSG4P{I^Nz&6@FFU0wjw|5Z^i zP2d^>_$&+UKw9OlhF0`1ka^{g{=H5Hn;nI*_eq^6Ck4UgERF~y3W3D zDyx%CPDcB|U5#d%^5X z`8m!w_%SkyWG;ko)^O)m^zuxPuu+@$(qrd!9-DchFFca#4rJ7$Jg-HtoUD;Vll?%d z{xKP`%F&8p5TQM>wg{|uG5d(#pPm(`Z-++6uo@^001nb}9-g&y{0 zZE5Pb8Q+6NeWgcHy)wzBs+eE4I#Gf(?q&He5G$xf(fjG0}$nz3d zqR22phbtH0D#vCJuGxM}&P=N--l!_2T&14n2UxrXuzLBKaB@m$-Y7Zy zyI4!LO!H;v#i`m13uM@O1zUtQ18E(t%zDl)PJaU&dI<_Y%>F{{IgRl0vE_;c1$5Sv zAS@j3={Df352+1Yc*&2VJN1sR-B%Y_yEkpfX2k#F|2Gas{;w{fDGqXy^B{C7MNkA= z&zIx`O-_VzFORT_{CcPor#Vkmk}#m=aHP9~hYNG%!KxS95BdSMUzT~p+QzF$M8EyG zFC@g}3}Ncx;xG>z|MMCa(2$>|tcvXxqU{`m@>S>6mk-cTtf+o|SXnbPc(o0K$wAQ} zt($|6lUe67R{b5GEZ~i^-8#k+HW-D?OD50F7TEfy;s00f(f`voI|v1hQg7s{gN|yL z0>{4QW0jiHzH&cQ68z}N5sTaNf|PNFlPguJ_$WbA4YaF1wPL&kjQ)1cY-VC^FA9dV zw$YW)k>fIb0)^}r(0$ol;1ybNJ8VgU7uq zzXzWKgB5ntreAa%@K#S;{2zg`c= zCXeFFi-*G1Z;lO)U`Uv9Mg=xa7RI+jvoL;@>dwma)Xx6MTA3Lt$Mda=8yv_wtudyy z|2ik;oDg}C1s?xqQ@SF41~#wcn;K`!uC544<ADr9%WbYL#Ssz%!Xeqn6yA`CAMV zv%pWFiFZL~8&irUl&#|c`bhTTBV37*eceBvs~Xnm2h{n~{t+a*m;2`;-H%`m`m^;A zv~!CUa&OE2`V4rQ+i9Ok_4Hs>r8bVoNt4yfGPuWbVt?bQ5uLg0Rkd;!j3ds353+4` zSdDI(SIp)5`diIzX=i$JPxUgZLkPPI{hr?$EEcfs|K$Q)?0K<;aIMQ1u2uKoKZ0=X z-xs@1BlaY~OR3UJ`k_NF*K`?5d16Ej4of;B%WME#6fiA29O~@D4>J+D6WiIRE%tjGTb`AtyUuNDiL!Y> zI_8d1qx&zC7>0d=29kX!Yq!S=OOYY@?T3$~Oz3%CKjYzjl>|3%b(UPdptaYC#l!-| z#SUImlJ*Cy6fz- zZcR2XS$+Ph#rwS{-!98uy!# zbyI8&HL1o>{%lV)jtTh#;zZ-6U&kk%amFcz{y>D0=E23oYy7~ySw5+3Mzgh;hrf8S zHS(`{Xbcm+ec~HOnySt)lb|>sj`2p9@L(^(g?yN^)XGdbJM5=F_bY?*1}H@eSYgPw zs40^Se2P&0R$_>5}GXP z5Qn-;I~Or+*1GYKXh}%9#EN??i%sTksH-JgXsG-&|Gi=f zYcTZg1k3vKDfe?Bc_tqYgHlizt8=hLH+02H%C)AkO=UyBxTU=idB=N_?a&{GuA(-K zQOg?9C}#Fs5|qJF0XphLEqnY*8H3MXhHmM(ZbhQGRW4Pr!}`)3j`BmOA60kCY9`ik zl>ImCZFHMaSt6_C4BvfIUtah1i)+pc9FNJwvJH0|*jX!hvQMD{mv+1(MOm~Ixc%Lv zildkXjag5$iu$3(w{Pil{=dGyIk>Xm>o&eKv2B|Zdt%#mGV#Qo*q&Gu+qQFK+qNg> zyYu_rt5@Gw_1^jCR-HcQ+{W&%z1QlsyT&rokq8^48tt^s4bU*?B%o#hZIxjP@VI#+ z38jqPQ|hAdUZnHiHk`2cZEs`kFu|t~m~3%zvi}R8eN9sdW6e}lVKqGcb+Gmj`nBr= zr<;1>>VsFCt)!S@LC12ENGw}moK6BMubE-nv3KXr${<~vfs@t5fUWXwbn(Y{Mtidh z?asJs;s4loKEPhuB_ZMaOXmYu_E`-WpIYNE`k>YGWV8_0P4t`f7ux2>B0ny z$0jzfSsn;Eml7QSt$vN|G?op|O?pi#*yK63P-qvGgW(rQU=gD!uAIJHG$|a8vJD@v zf*=X0{D{+MzPo~5->_^M>`;;UzjvWZC;}2IwPCa4uIE!XS zY}TR>eigRzQ(s?OUWnrWeiw%3?M35{l|oYtCMq0p@Pn-z-b3zsM*4G$vRmGPamQTW z4fM^o%7mTE>XfZf?BGEPv#kyqcP_8LawqXNeEU=V#m(FuwVVuI1jX3(IDGo~8R%Sl zn#lT2!Co`zNBKmRCi~4);p6(IBL5HN3#pgYrXl85ESHRfDb$p`jm6KuA@pr}zc9Ca zG79B6#Sy_=C+(=4f1H{Oef$h*M-ut+^oq@k z`IsAgp;}eCDQECPRg=rk;MKEIS>7T+C-9;9x1BxOYUPOAZ&Ggpt!=s{$EvH9%~YP5 z0uxl@FA$7Z+onRqoKqEs&$F`hFS0d5i6qvZH|bL+8>1O)&H3SSUygbU5oC|`0=2qN z75b-HaQ>eatixe*Pzb^N}^qa@P&K~MMV~FdGwkVZeME3>;J5=t1LB*^*1xhWW zXetJ;{*3lm)@8QpDkhWXR$UtPke7S8Hv{XBEbrU1{`3^hc4#wu0p8$XmoJb zFB<3c3V^SlgKuO@e02{vAb(NKp6HrWaKG8-IFhe0RrPWkdb1p0Y$zQrJ<1ri?gyRE za&~asnpJ0d8e8{VvtvY;7l<^{XP-U{#1Kqs9jlfJvg#v~?)Wr*{&}1-do`!6%vT+_ z-%P_aA@Hsnf`m)fJ~x1@q;ErK2djg_M`_Ize-h5Os2QQ8psqXXXFtl;+?6yG%r;~V zE~lF$z0k2={x#Gkq&O@kk~LRZyjp35yj>DdAk=F<+h&c2b9;c|@f#h2Y9(K1=I2C# z*HSI3-^{x#KL^borZhlc;RIX_hfO72S^n^H?t}kw1l{U@N3#QoF~Q2DanDr$ZAAgC!0)$Im(L>RYWuyY|K1j1`w4yJiPdVYAD6If$|6{P7v?UiHl4)G(d!$YmGbt=)2O4GE zy|m3A8A>sV%hjV*Q>IDVIx{HIr~sy_Gf|r`iAqwbnOgJuWrqq3q4~B5CxXO{v6Q1u z+$tfeJ^F=uS< z>Rs*iT`k%q5xVJI0ZGzG$y#);(%cnn?wsrm`bz$hg%+)<+(~qN-;=A)GeM#mirbht zE0OYue{vGMY|7-6(tYIOkM4&_Uiye~xIHG~FUgAE(CGr8za>kalh*RY&)7CECm#gcb0`?TmJB&z}T3d_h1vB?Lu@G z+L@P;%ILI;>^P2vepMv+fS<&Y)fr;P2dfc@?C`uhkoxATKux2ka9Hp-l2%`5hUai> z>2fFUln0i$pM{pcT-X(zyfNMS_bOeLbBOsM-5bC2SAYBBY!n zbBBj@6nQ;55QnRPWrOap(H24B;iOYWrJ80>ah7NBHw()$ll~6tr}~@o8zte(5wl1W z(@|fKhi>Z*Vh(erAp7ItpJ2S_wc$Yz4{epA8jSUop(_zYyv86Zgo0#V7AZGTPi3F1 z1{!2FHL0(Gp}h55sfJZ)?BQofm|dEY#?}YooVJTzu%RxD`6CLN7(Q@?=5vLCbsjn8 zfc@y&3=@fuu6wImU=FzonM9pbYv#T2&XD|shP4f>$~ln=vw3ma4~qnD>yGe7bNI^b zp%~wK4{9JZwbZ+Hlre8Od8s#QKVAyj#OMUc5zFM00~D5Rhe{qd|G4m^3I5qmE*naz z!0+D_7SXH@+&wRtzHwbcB?+&&54bEiGQ&n`DmS1wUt4_ z5ldJYdQ~NRTAh4 z{DNsxdn?fOk@%Y$X^uHd)w&kO(mU=mE4P;VU%GqnIOnoYJXOucQjuL^l(;>-;B&`Y zriLROW!c&0q9Sm9i%MMYmcm6v%xuL-GwxK5Ev2bS!|`gw;5oiHHJXm)<9J;1BuW!! z#IWk{Z-u-h;&6vCFh>CIi}Pk9BTzTn9I{iY$T42QQzCF=!@>>UAotFC?syjdY9+WF zCY1kWL%8GR-@#=HGN9fOFk?O#;@)hrBHoGx|Cu$gPJSsZ74?!%yZe^Lia1Ke((z

+HM(fbF1iu?Pp)(E& z3|c$$F?@a!{vJg|gUQ^8vhzVmYDF;Q{F~Fo_+98ygz4WTa!k`Mu9Ir)pMykCEjAF8 z)D{`{tH*u_t){eXsuBImRKmyFBrx4g)q$ph80HT;VbNY)A)ksDlf`=YV4w1xwJ%Cr zsLwS9*&l!a-)9H|c^c0r&+j2Bb7#gXix~8oO47Y@P}S%`@FXUqB*#CYnh0sM4T*dG zBI$!nT>CMXeHgy9b4~AGzd`s5UDFeret9m!U)+oyJj^0ge4B%;^w|CNYcQ6!7r+xb1rxm z6&-1%Q%6!Bnh>ba-?#OC-3z-z3=0L}zx|vq3eQMX>CXu`gvz)%34cK_cHpuEPuKvU zM`-K8G_p8*SY+a~iMa_8v7t026AM<~$?uj!B&E6E4q#RvtYMCOUxQ&LZ78ZMxEll; z1ByEQAUin$f1a(y>|aOj#g<(ikzsuD$ox~nsZj!>1I>Gk$G4tZ9B0f>zJP7ZE4s|T zo)gw>hfED+50n}31NzqO~FT3(rAY;7&~g zu+Z4>F#Lj3RdpO$IZOQZt#^P=o(H)p`44fQ6#6j*ofQTIRYweyM)&7>6wUV#zhwCy zx!4u#+1BHjBB3}q5|Pt)fO|z*Ncw^d=R&v;G4dCv!e~(EeVD--r@zGr6O1F7(c3Wi zGX^D6Ge^acmsc0SgNF0pb4;v*wJAZB6x6>QP@(_#JMI zq?rR)U`h1gQjS)`-kSj(1toF6B6CAgvJ^dSky*)gdBgTX^CQf>(O5I}K*_C;&>18O zq0i&q?7@7sy{jb;%wmbc8lO-Tqsui{x@n8(Jz?<(N@dsx#kRLPy^uY(S?!AXy`J@* zm5Innxs^UT2Hh`JYxts21oUd}OmCb{{$n45qFmujU@XG+`K3T1oA%cZ3Kjy4g5@_C zjHlI@?_v8MGWj|5nLQN(pCbEbn9J>kWYV6o(Q!McO*E-&Y}gtq);(40uHH*GD(5Y_ z4KJ63_z{1c`dNNR7LtzbueececHC1O!jz9QdKrsjG~A>{Fq4U4%%II&R8nH|@#Tdn zr%z6}=Kabrz@U|^_4CE+P%5NZMfyM|a#e=Y%eI( zz=vqXbgUyGO>TH((H}SK$_Vq+@ZIGMojlp_omSG({m@xdBP$?0@pX@X%hPg`77TK& zqCemxbew}6BaM!w(+|?SwglWJk|c!!|7Np;$?@}5s?ef`-!}|TgESsh?d9<2VLn?} zR7B97Q7PxWa(-A&2#ZSRw8b9RJYAgl+00Gv(~kz|5ZgGRWb(oM@h?$$ce(@UZxYvp zjcC5nMMjIjBLk0OEszoFi-YWv8dbd{Ah$i7{Iai@aY_ewqaf5T6k0g&dgc13A}P$H z>B6>tz&+3|Eh@}YFwbp_HQgi#J}ph?Fj}=9p6Yvu$((tg(K+=u4nZV45}Ro}kr05% z%<=NBMp3zMj-aCq39yPxKpR*M727l5NG0P8Y?`5_VMRxM<12!qV<3^v?=JL*RfhWH z1JHU0E4*N+zgloW^`j8&siU2wu117vF?a8O2plL%kKG{*J1uQ9hebz z$YJ%Re@pgk3EGR^PYH^d&O<=ayg}F-!Xd&W?*g{|)yAC>eN9SMfhV+IXVIv?$%o7F zFn4kz@vgv$tIh`xF`N3$E94tyv;Co%WE=%>chUzeBGa#J`UVd}S@f+PkJk;K0sT)< z9O;cYeu4@p^>eH&t5tDm9O;AZmnQqo7)apdv3H|#a>b>H`Q&pmDdYC(Akg!SsvxZ0 z9h}qT-esEE6DX_F4gY9QIM8+f>TntH;U?^KWVROqstU=aH6zZ{EyPLI|z;-?xAfeS2?_&fTI1Gc|{lHYH_iCgLs_+UUCw6^qGaZOnwOQXA>~ z%Z1v3Wx>Qh;}QMiL?T%G5o119RT9PHB(I3UiKV0%j2eT5%g>a~)n>U^V^UW+57BUH z(Pg=HkGg7emMQksik>mMGc3bxB9U7|(0;2%e2(f+rTfAVXJf;`gRJ=(e6*<`!y`xCXPG_%TH$}jtcHuv0GWe$@> z*F3fiwkO-C(mFCaO%(z;DRZ}{UkQ*nz7xl8Z4J!m(aj(>-R0o*K41CU8w-%ZHI#3& z#FQd7{pFF=nyg)u2&pr}m@ccp)6=!lL=<@Ym_nCJ8;{bm0l>wi=k%e;c-DloX#&tZ z#I0IlWBVyU%mY?7o$K5m>9aN@KW1LHkr*0igy8WqW zCNu;xX4cUaQy9&J;H)KhROw~lmS+I|@MActDu;HTmeXkY?y^$mKcNB3{`{+1bmaEt zv+hlz(7u23wZ$nY;Io#(E}Q=7QE;xV1+p{8oiQGaT6o*yklAE=Mv+R5qCwzron%`< z%Lz$+ZI;U(!&@=M>~Gn91^eK$r3WBg47%QTF*FE72TcEh|Pg)giu`VXRU`3w>J zK5UwADx0zL+-Xe0Wdgb3AfL>d<8|FAW$ZUzCH#H7Fsn3(a`%Ka?hYCRyN%%#;3l*m zhD5U^hk2RUTsYQx14P87B@?99bf!6u*55u?iGx@ZtXQ0u%PBQ`hXOYdI!`WbMCjl+ zWM^CYIrg@`g|0e2jB_f z_{y<`3^9u-1Xuo$V3L^5>mb|c)U^aiG}(5gbFwy^Df4XtrLK6VG5=HsLSBrO-djFi z0%!_7`5-!aIn$?(iimuUjf<04P-D(F^mKryNg9rsbG#+@c9r6rcV$ZPm^CKN4<2Vb zTI-zACx!{KYilu}){8YWI-V>c92*0=be;`!1ulpx^>uQ~z6*Z+=OhZs#%B$TAEQ*n zYUA@$P2qUGTtjg(z~%q`A>ubDRKx1&aN}Q0J_3wgbb8A8le5Jgje^WW*x+<$gf<0h zv%{O@cfr&Dq}qsb2thQ-UAAGjD#)*ifWYNsJ-Nk6Rae-E(eAo7_ym7H!DJ)sv?y#4 zJy*!lCsfU0KZ{|@^>CEM=PNK$LUQ{wuJC5G>Ns?SjduGx>D&O)#(zO}+->t?hWOlO z1sTobEja)bbzQ!V1U4l%;lBimI_dw|m*k+ycm1}6?<<+6Jj823Ri9P9%FG6onrAnM zJrF>whU9Qa9Ywo2b+Z5Dji|I)$Eo>l`%Fu-^8q%EA^`tHkzNXW?}4=E_H$%f(1T{} zu668+yezeMJD%GQi&?b4D3E<;N>5?lZ|lp?qch8%_#Q%N1M#RmgC;By7bGzl!c`98bdd(Lw*DvgcSus5aJIETgn z7z}~UTY5v+n)lj>diMgIw7({5q8z!8Fq~17a2|2+K+9BTuV?CT{?eYu*&)NwR=f%* zcz^kYfKtNZtoHl*bhD5T-&~i{M?R0h<|Kmf?V?AejC$w5=i{ypd~NTK)H{0tR@4cG z$os?~AC*!pKE?Eu&E`?vr3aGSZGM6bHkw%s=oRnJ~Q#vjud7; zS7+g>l6Iqk9w;8}@bF}@fWlvjlK9oU+IzN0A9Pc?pE!>Oe+PN7Gxlr|J%-q}(N*2rt$6N340iPA7WpqHGlW37nd(A9Nt z{I97Y7oR2itR$!&0w}hbwMDiVirvm|*jdI|jkTWZd#SgIF%d4acLiJCu>+6CamNTl;${qJ|fsj|Ld^=L|4AfdT@=KmTqZNFrs2zl4=OR3&qlOQ-ZVAgywH4 z>!EBse5rC%J~L7lelO_~hwGk+Z&=9y{q1Kk_Ek!$XBn|pN8brUXw`OJjJ=_Ku}Q_% z0%FKmhcn9Ss+5;he(xE#e4<;xNQ1CF`~yII(jai}CsBtE=CHDD|4_Go5qGcTK39av znm=%%+GwK1Q8Tgnt<#3s%oeJqN5iQ?s_^U6XtR4RnO^y-P_QbW6inO|TC=oeLtH$k)cX3fG;uWXFN8O&i^!6hKK{6 z57mlV|E?wqAR0QK|E;DaLsIGb^)VJT)!f|{hvJabcpBcWlnrH%4XwW;8cPcCB5Y_w zekV)#sP;tR-2@WMErxn$T4w5~LraL36uBBgm)`#sN#5|ljqG}u9n=15{=GLBmPS&p zTzkbG1`G^2Qc6@BH^wcW*bSmlC8qfit z3nWz_m>o}2{0R*6eJUJtP)gYCxJg9{ge)ZHXlLg&@bq97dn@Mhr`s+`o_v;JyX4yQ zovPbvI31;3jG#H^eVDG+6l7Eb0{P>DWrrt@?S(tz%!>4BXzosmcOMetNK{}o`w$<* z;>I99p3bQ*T(EHSe&M}Mcl8uEFIq-2^84S6J#5#FVln(=OzeA^`HE-;wq#@QZPIPI zcLs-cT|^x>N?DcPEc}Oq3-mts5_F|0SN*%evI+X?Bg;pcui4WdBY_QrCS{6c63Dc) zpcgoW_irEW3M-`Wv@oyIt_S&7!&XX zwvCnBuo#!bdIcpY|Liq_6i`)LdmP>4w`4L-C9TWDjFmX#`^&9kYanH=iUdulY#(#9 z52Kn}(bnPct^PaN-CGmqk0ZGJqcE6~1;ut>xaFMuK1LqKBj zN83bN`Ac|4 z<5kuWu~`CgQjD0%M3xFKk3DFxWuBJ&h%A7vHBO9FSpd4mu6|%FqJ$uxhT|ToAsp56 zk**ed#$ssY01m>-DUzv)|4%Tm;Fw=%i1&Pon5>!H-Y}ELVTTyE&COW3uQrN)vKgq6 zt7TY6rw&1=u_^^(v>!v$%;(zAEI*cm44=lLf_>jr*L}5n5Sz??Ld>J*dYg3wdp=*HgG^+Xpa(`inDhx$h$#OH{;T9DR;*Z# zFa4RCvyWw2HfaGD79XBTsIxE~k-fXR3$WSi_E92Yz_bTZZChH8!O8?uqMj7%2)Jnt z?n;muH5t8&{I+BYk2j0iWtYY5r_iS50}O@ILGXlzs$h9-yy{zFTy zbBd06!@+3V5PB*aA(_#X2eLPU)!4*M2JdPuH$K65S~!CU%Kj_`wH}+0mlR;w7?tml zR3t5F!dt#@e(zoj`CV&oycgkhJ%BnPuX~ARlr*Q2ilw<#(s2mot|1%|sPe;bdy0L= zYC!Ty0Vj~sWh1^LpGE-J;wL*U{Wg>a)wXsEkDtC{^h%eeNuBTfv zefc*i5`S{cU)cn58f=GE#O#0xvAy_w2WDn)pO59p=(AtuWZj~dkUr|=;2I^n!rmT#vpjk$*k{cvOugrIjoPyWI9KIjVF&4u0R=-=ovYnz4QuUkUkjS z+uQ969d|(F%$1Ri!n+G-BpB^(hNlS(F}1z`Yx{+w!EGB{5oTSh2gE!Syx+to+tmL| zBN`s=!7ulqJPb~Bx_>gFD#5svr8h^WMuKpnhix@39(Rn{!XpRwSNl{RM&!Rduf2~U z_9wipFw`Yj;|p|!6cSQK;JnK`kP$kl!;y;F(~BA)^Dn2nCcni*1!oAAf~MKEFDIzl zJx9$5pz)-|+j(mAfqQe!1H4RON0sJy>%ibZPElgxY%#y~cVZktcQ>T=|Uit|7#CyTK=&NtESYU>?F4ilAq z+;hGI_$`c$Z{p$Xt9eVsJ@*@9j-+A|&|;BAh+xCU$cLYA=ve}Szg!|ia{W>;uWudv zMbh#P0%-%2EuRUILm9Y!r@Cdvk*FyP3)9+HjrQSCdPA$j zr^5`kK3J$1C1~-ayS{6>w1tjIzextR>M+KKlK7P)61@uBek04F}6D1SM+K?T2b} zvwi6NNsi}!scsG6U2E-d-Eya)j8`1ua#(;yr=&pW^XVo9fT!|dTYEEqR5Ba|2J-0a8se$(lK&_3m7yL~u^^Zre z$WsR&f);0YZbVT5e|nh+x?&6CQ{!Xrjd|>32hph!5k(Ma171mKbT%RpC*bib@hsGE zel{;Mji{Kg+cMqJZjW0eMb;6^6lX;LsRKY^F!rK@{1M=k{K&jsqnt zVQuZ_cF*G1Gb8s?`yC$h`ey+v)qm z&rWNjx!ZBUiCzsKaQCcbh@{s6WpX_YX+*gk#_uE7f=C*LH%u2u&)v@hW*hUb!Liqa_JC{ zjOZobnlJlxuEDOhqaSZ$%=X|JF95hx$G;*Zg@zADEkFESxxa@zjm0XpOQ_WA9zxml zGTDFnqb=nSQ#|8yOg#jD;{R!#Q@!&VbI{VTAO;VudEM6=(EZwbi}QN(rB-u$>ucf> z6xrJkR%I0x6rTr;Hy>;VtIc_Oz=M`yjQ-5R);a(TF{a04{rkG$k15&bJNjfFlwbK% zErQ7oK^h{&1kDZ->Z~rFv0r+_nn|y%s~MjhN3=vYWBOM_>X}Ox$aP2VfSm0zes0U? z{Ax|w?5aa@_-RA|CFJ*4pB0~oGO)4%Dk)pcBUj+bK7SF1K3yR=?I=hdc1djXnUS-` z znTiOc9Mf0F%HVAl$jE=v8%o6T_;A~Vx#fPzD-vfRA1UdCWcNU2*cooh@;kCm)Mw*u zEA3(#Qw}b7(q1{5kYNWBX0{0dJ6aAVWLD}Bo>poM#S1aGfIaINQFiH(nO@vQ;yYm> z&#g|z=KG07yjK<9`meej4W7tUpw{c75lLb(AHrK>Rc#OPSyw5-lU6BiwS& zR~(IK5V=?uSGXH_&+p|}&b!Y@K!rhaGw){U)n&6rT_U2#Z`9~zmVfxhbZU6)UW3YW zvlh&Me305K@71&cN(Uiw8f%x1%bg%MdN5uZjK|AvFkvlgc%3<^eKvs_WAnafQ@I}b zGL5y-K+4xh+6Tg2>MpnOC=chp75zgReBLM25N?;PY_zmCG(gv4#cVuT@`RzE#D)i| z%ZL){JNd%dnF~J(b+j0#Z7Ef-^glr1WodB~Yk8cCi9(#Q?aqX<+0g-~CO@Ug_cxJu z3dYWem9^Yi3JZVI#OwOEW$i@Jdbt`uu_|lWjrfPN$V#GmA(vM#)6-#ey}8^ZHMP;O-;phv3N~t$ElMwaKM~+sq2fdQxtdR)_XvX15Kau02{z`XBzU6VOmATQ zev~aLJOf3C4&J~Ftu4^{=Kn*e1rG#_W5Lu@%OCCmS{&(6V(T-v7Yd3duM|Nvl*w+K zZV~QjYqxslA$(o}#kTox2s@VzBZDf_({XoX{}L})E;ajK=~dzalgudJBc381Yn;9E z2Ttc#hLS`zdAv?-Mc9~DlD02T0_vuWE?GfjpWSz}7B4Kjt>2AiHJ58BEh%~c7k(M@ zD2(M$F@ug67P^HsE1X%)_13~)8O_a;_mnBJV(rqxHFtl7MW$k&O!t|ePCY1O{4cPr zY6-K@n)6~KAM9zZ=n1vl`&xw>;J=3yj5#W*md4^%pIHieKzO#Q_St8Cfy{9{6)Th# zn!o?1T6U>dVk=TWl_hfb4qLLjQ>e!1#;_ruke_KCh?f^&z#3#;(yB0!o)K}vxGn^4vtwtO z`F$=2$CFECe~P?Lye+9@V#L-r$W2$~#XCbLdEE4J7JTO75II8l7?AY{AQX>6(dl1X zEw||4{sEkW1)VcNEnAqgF$)H?ay$&BEn6RMyONeXNYSD#IOkqmIr~WLA89J;c2u04cQ>1TGe5 zT)Yt2_NceS9pMI&jB;{bVw&*ee|&0VmC;;iP%swC8;Yu*MBojk5BI}Bpz{xq4^Hv@@CWH3Jb`*qA#A1Pceh{KMjkqfRg*_0_%mAp|@Mx3lN zLr8A-dh>eo@MJE6NhMOrj@!v8M01!k;RtbNw0HIB9g9Z&y3E$af(gaY8}aJ1tzRMA z8laKH`^vl5&)CS!;EB@~IgjINLhynuq zk1rS{)0v_%`0jstdY1(B`2Qv3Es?iC8w>u?fB)Eaf1$wt&gKhqh5z3&;%Val@$P@8 b_TPv)&?NwRB7EUspi4?jUbO1FVZi?a%1f?l literal 0 HcmV?d00001 diff --git a/pres/pres.tex b/pres/pres.tex index ec94afc..5c8764c 100644 --- a/pres/pres.tex +++ b/pres/pres.tex @@ -12,9 +12,6 @@ \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} @@ -125,6 +122,13 @@ \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} + +\subsection{Blockification} +\begin{frame} + \frametitle{Turning single-bit PIR into block schemes} + \includegraphics[width=\textwidth]{graphics/blockProp.png} +\end{frame} + \section{Expected Results} \begin{frame} \frametitle{Overall expected results} @@ -148,7 +152,28 @@ \section{Results} \begin{frame} \frametitle{Initial Results} + \end{frame} +\section{Future Work} +\begin{frame} + \frametitle{Future Work} + \begin{itemize} + \item Fixing database + \item Implement networking + \item Further optimise implementations + \item Further improve benchmarking (i.e. find a more suitable set of metrics) + \end{itemize} +\end{frame} + +\section{Struggles} +\begin{frame} + \frametitle{How real pain feels} + \begin{itemize} + \item Java + \end{itemize} +\end{frame} + +\section{Thank You!} \end{document} From 028bf3d98315aff6adfb2551e83c2a72286e3e6b Mon Sep 17 00:00:00 2001 From: Thomas Date: Thu, 5 Dec 2019 18:25:13 +0100 Subject: [PATCH 2/5] Plz bare skriv lort git besked2 --- pres/pres.tex | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pres/pres.tex b/pres/pres.tex index 5c8764c..3aa6f90 100644 --- a/pres/pres.tex +++ b/pres/pres.tex @@ -152,6 +152,11 @@ \section{Results} \begin{frame} \frametitle{Initial Results} + \begin{itemize} + \item Booleans we like - much faster + \item Blocks indecies are found by division - not modulo - correct code is good code + \item + \end{itemize} \end{frame} From 7a551e4ac5ebb73272c6f5f0df864f75b9e7d981 Mon Sep 17 00:00:00 2001 From: Alexander Munch-Hansen Date: Fri, 6 Dec 2019 10:23:25 +0100 Subject: [PATCH 3/5] added blockwise XOR --- pres/graphics/XORBlock.png | Bin 0 -> 33933 bytes pres/pres.tex | 15 +++++++++++---- 2 files changed, 11 insertions(+), 4 deletions(-) create mode 100644 pres/graphics/XORBlock.png diff --git a/pres/graphics/XORBlock.png b/pres/graphics/XORBlock.png new file mode 100644 index 0000000000000000000000000000000000000000..7164270e9f5e0d326dc359cbd5ca0024b152cb01 GIT binary patch literal 33933 zcmc$EXIN9+zh&r6L{yaC6j2a_&^sXsq1R9qkPe}jP^F0qNL55ds({i#dM`?gC`D-! zs(^w(KoElT*?Hgpz0aL_=G%N2VuCq2XP^D+YpoDxpoe0lXQziiAdH$C2qOrDoB*Cm zwAA28Qlz>D1VZ!7A8GFI5#;3R?g$Z(fdBhH0jQXZm!H3Y1VR7`4Gatvb?~(f6m|6i z@4!bMUJkBKu8t1>ehd{8mlF|(iik<0#pDDeU{G=JA|WR#Eh}aD@Agn(0=OQ4X2HtCW`a8OV-{3HK)i(w&=HMwVCMquV?-{-U zV0jraQL!7~ILgu94QxuCbO!h*4i2fi`Z_v!1%ZR4lm6X6fTORUtC#1$`xS?ZN{Gt* z`+=jst@FP}k$SdvE^uihV>4fgKzmy~5pOhDgJi9Lu(#vC=Qub9xY|4Zd(;~k<@cWj zNk=4*ze%}SdZ`O87`QVP!CZX1XC}SVsiPQp;Gv2z{o<)R!2Ooz6{EaQNea+pR)KF?>ZZev>LE3>{_O3zFD1DTp zr<1Qe;vZLgy1Qc3HNl-=SR+qkU9hB^uCbf3n;0A$=nLLCOQZD=dIk<2Ar5Y?252)2 zM=xD(<3Kk_ZCe9>Dc@i@|KK1mLmw$edw*|lO_@MRKW#aETQ%_jJ9T}y4AK*Z!lFFY zkp6m>A%5b4PEIZ%c77I`{{DIx7}nU!!U!paQa1|n6h|2P80&hFW zo&tmXvAW*sXqZ}{m!_MqG0e{^C;$=Q0p16x2O3!f$RYLgP27z2%|j6OCZsF8%*D{b zUY63qCeAJ>Hz)#QWbOyk(r~f$L;6@6iCLPP$eI{pbwZq>hEl$UM$YE;LBTo(&gxhf zjFYdwp{9(fm#4V4q?|cg!r9jsZER-Z0G!}!fztEWmoU}~&@x3CyLj2#+N#UC+9FXH zm^KUwQ#00(ftlKxAT4CQeNZ}}QcTd!*dQHsBql`74I79K2!x3{J76)E7;%pvXFpF5 z4V0^zEhflF4(;cLRFhFtH-^E?>@9qQwCyDvb^W~pgY5l-{Vg=nZn8+Emxh=|FaqtO zp>Jj?=BBTQGBdDKgG=igdN`Vj!(qWre!y@!U2!v8M~pL8PtQjm=C6s=3DlO-&^49y zF>uB@>1gR|=!Cd}0#vgLk#o{^_mndQZjuGIfn(}uV^cLTgp-$pn3%hmg^`+Ju#Xnn z&)LY;$IZ{q)x*dh_!+6AgVyuca4^&$-OfnU5}_8PZKr06@RWmFnEAp3Og*8l2GYh* zH#Ikug*z(5zy+kUgEl5BQ4E1!9F%AeYGSheS_OjPicTtxy2u2#I+q>#Y$RNeE4c$%EB{5QZhGLe^;sGJS zh7LO7+FmYj7_cJ54yGSqsB4eF`l`8``kP=S9K8IboNYZdO&vU7(%#~Mx)^6;xULb} zPCXEu4=P*TMBfK^*eB2q;{n%F!vu(VqTNyco)R$M0C7JD6STODnY$s{%R^HfBZG7l zM~gWkVA|qpQch4WgoUQJy0e9vnU9H`w7pz#V2FpEfddBXhBSiu`8(;z+UrT$!}KJb zyo2nVo#7f#jIUFWD_qVvAjHL75{?eR=z#8{rl|%q1;2F7{H2^_EF^SDHG5<)O<{3&3%1>?Df4(HFWd>0=BO$}KKTO<;LRu@P6Xh6-xb(}n14b(6pCLst7aJ{#zgR!oGqojx{rr4AygTFfns?4REnHaW=B^MWRuzA^P@`veITI2yxFKf9W6z;5U>dM%vQA z-qy_!VIP9QfFq6?GLG)f(w6!#T^SkD2F=VoHRQbY1EsJAGEl6ij|tYtH^dmO2Q@?L z%Lc2dqdgp@Q05pHXE|_nfHZh<7MGF^23P7xdLuQEt|7)^aBXiL52!fY)EDXMV~Mp0 zw0Cmzb`EfN^G0IybPY^R#6zS4_0^5x0pc(}thlF|9L7o92Q1~Q>0)PYtFCA1<1LAB zvb2Ng+K0GnTIygV9JK@CflxnjH8)c|Zz&z5oU|9XKurqns$uHjV?i>`GMHqLj*A5b zBd4eDtS4jXkJNC-Ktp6)O`Lsv#KE{x2mgFf;3ZJbLe5J98(;ti26+2lGvl8D0^a{; z081eAzexB&AiNMw1PmRNxjqvbbiw3+=C{}8FM+mUX_2~V`ioSs8+m28$5u$;cjgx7 zo(RpJqe6BwR5Rd&Xp4B`W3ONCL0+PKPSs82;KS1J_`^^hZ(dpkEmi-UY1i*ZC$fIf zR7uSdX+puTy+4X!yy+j8KFdighxz@~AwS3b|MQ0`DUubvqAD z%J-e-4M?{CK?{xQqSiCbeTqnh>6_Z)^;{MY2|^L%-nvrOUSwkDRi9@381t|(+g-c0 zZP3>I=kfqV(F8sfFcF>wIaBs}uT0Z5r7!el#*cPoYhn2gp{WTuhWqPqc2j!})q$Nw z53*KB?vvz(+f&(8!_zTS+7!R9I85!os{CZh5=gd!@nws}eC|ql@j;sGC0#I-0Wy(c zQKV%~bvG}$p^387E$!ZbEH0$w{qH;3#5;imALEtX7Rt_h5F|tkGVLBTLr!SANAS9^ zqy5}U*rGxca;e#3TyM(BPN2cHmb)_+)2a*;hP%mpN+cXgN4`#*Zm&8y9#DtCKZ`zK znofAtlIiKLVt<$%sd#Jkehj3w^7zye7xvhvrlK-=;_+Z*$qrVX4^ONt@0Etk?JZ(D zRN!OO3P*8};enVb4!V6<>9xPjWwS0!cR7}5(5l?pi*8M45Ow^t&^S)}AW`~lN^^Iu zIH6nU!#{6ID6459R4Kb`bis9bl)jQ&DcCl)PGyM5nMyZEdMh1d3-8CktH7Oq)g!CF zUfW6^pGauA)M+E!bnK1W&p3(I4DCrEIJ=)VKdV(?+W*c`BKmNs5dcMXUCb`e5tk^IgILSok=Q%h|xlSr@2&`WNjfJ(RHU@lwzFF#?9y> zv9C1H^jVtVUuRRu{G#jUN)#m^2)9oryc}=aUVMQz>ep7>FB`hdcVUx%CGIaHzFMU@ zXodw}9aGm=@iYKp{yOb)3YIAC5Oze{b~aP@{`3SA-%OQ4fIQR3^E?U{xJwavvn!xk zEqvu%3O28zn>Ceq3BNXaJ*h=n!br2{6F&5X%OOjth#8@@!r>w;>7vM&dM2DOYeufV zKIW~GXHi;ZD)ES?*7upqr$jU4G*`wTKUr%@THU#AczQ`kD5RC{F8R_{J)>`Py6+W- z<0IO;><+gZ<)0s@W^3EmZmX6iv*806Ac~AiO@4tl?=S^_R`j@DxphZBMloBvb}yI= z8VN6rr{P5j#nYOkzK*lt4~q(pT|L_Pag=af6EW_}Y&XLmNsT8#1HNC-rm!Tp>DjM~JZ^kUH5l>2 zZ7tX@Tl&GQ*$=n1vY6I|D(;ZerHT%>{I=yQDIT?K+nJm+ZDBJ4Z?gxD^}}LX4j!7e z$62yz^U`=OOt(fLn_(TRBa~24TAaOSQT_3*US$<*JO;C9;ej%F=AFL<%!jZq-)`Zfj$n1u{Ft zgs^a;LgZm8%nB4QX@dE?VfqJ;dG+hV@%B8jx`D@ATo zrN30WT}at^?0sf?PnFt+EVx+m{X5UI4*XW+Y@f-LQm|jfjRo(yt#D;3L_{g4^~nBk zj3s8a>@ObjQe5Lz$gE4rdc)|e=j27$y;6rgVPq?q;;1K-{7Ekm$tWkR(SxQUdyNp5 z+b|@BKM=ql%8WeMeW+vk6GmOYyP|pcBL%BO<6F>coWWLHfBk-Dz9J%YPNwchN!V>z zK>r`UT=ufIEePX;9veXEtm}Xd6{fsl2|ARB5; zJro#tRhEjH&&sSXLvi~pnDo*DtGYt*Vw>`|i7dPgU8Er%8rY{6NH|^NOa5VtU%Z2p z#=mVtF%c>eQz|B20x8QoaQtb`#B<%@RnO~7F_GuNHsL9-9ZTFH*JIwPE(^!0p{C)}Jwp?bd zzxwR?R91Gr)|(X^OGWN2yHf7h3(@$Bsn^Zu;7+EEBMR|Fs={5+6=RPOwQC`V)9d+# ze@2bxzE^~kwR!M-C6-cl`gzWF@N3TpZALye8-iyKed0^jb$$prDLanHCbCP(it$ui z3k$7D;1~ONRYpDT&(g^51^W!Ed~<|n`;q_f%1#`u7vx(bQ>|6e5wu(h98xpBQz0Ievd=6)bA)EYFTu@n9?|I#U<}iU6BR10d4LSg9zhEY9` zV|a9n_T0mi_gpD)vEEx|4&Q!W!{tusP5qSeRvK`8YI-T{vw59|5_w<2v4pH%o8j&Y zny?*snv&j>r;tNosruG3+xXU~lX{6r!j;a5hqIS@iBfvW26V1hmtqUq+ZY}xj$4n7 z8*8RCm+Z*kz9=y`%%6!~2FbOH4}SnlLW{(>)2Lp1+S}|&rxaxhvq)UHmbXw~6&7T| zbE$=`zbFaWd0dsdij(DXYpUHA4^X$utla9Q4*s_m3~2@>OT5z6E1otsDWky838 z)D@tWE7&}!*-|QPu>5wb|AS z({prOAHJ{bb#CWd!MF|6zU|ytJNuM9%g&Ps)zeM}^ad;cw!#zd%&ANC>7$;H6mf7~ zmHlQd-Wb(Q*2Jlov|$(P&q3MLS?U+prMldt)u`|0-uvpA8J?$Z37Isc$929YpTs`G zhN`M;CFbkf^D4-@oGLTz<<()O)y8wGF0|WBh0|QF{51T$_?H5vKnZqO1LI*c;!(rH zD@V@b454QE38@C*+(*(L3cUqwv>~@|JWP2JIQLN5=(~H{>ofb_nM}Vb1`^P>SuYe? z4_~+wsM&IGZX7Ax^2%(+T3EZjK3klwndSifkmt4F_3R{F=LuMcxVdhz*fm10VF|jc zeIWYiu6ymkKw_1qWPx<6KX5_@m{7<+Hph>o=p0oM_4V zN_7KS`_D6l6=zm1to4z^DObxKNDtvw9Q_v`EjKsd9Px{k#$|yI0n1t*{krE-T zmIFnkf6YVlPae2@x3f9y^!vK8aby&hbr9*Ad47U6M8$%#Edpu;ERYxeXNVIe1mbb<@#&qqxJ^qktM#F~MD0%qcWkE8o_hx7hhl*D#q(?0bI(7vP6V z%vPA|`_0L@Cr2M*!%7y$``(0nisitkV8MlMXx1>5?{hNMMzk zIQhVv`cNQ+%l&%4AfdPEQHdX!L!_@BK5;GSq4HN}9sJnEoY1<6jK&*Rcv1b@^Rih; zD`m4?Xm8INcU1N}$i{N5S0v|HQe;^SEx>Xm?!ltg5_AWOL8?542TGi4VH`^?S?3v) z?y69Q)zYTC$6R!nDv#kzH+<1PcF$1X!>Itj!1QQY9meFe@id@L$106>)cXN*(>ES^6X^Y{JS_v1Lwh=xsTpD_(T~Ldn)mlcUhN4Bhw`~Z*+X#eWOtL zK08eB&zAqqqJo*1cibNwoqJI#qAhikgXuW>;h+82=hf3VIZ(l<_gfT*YGU>bUvjCO zD3Q77&LLU07h?BWZ3`*(^Y`FW9ek<&KO_iMg+wx;cIGkTuNx(dXkToh?WFPV%-R-( z4zx{S1%j=iSpC@*-n9?1{gc$yjOef7mv?U5z;wWKCs1Oon|&=Gs%{y!D(RC=XtwyM z_8CVkPpb>Lnk^feJyWTK4E4c~B$#62D8o&Y{gf!4vU_zt$npIcV-ZGWw0&)%29sGuVgAPJ)koWV7mHn!G0h3hbo)0Nvlq)ZIM^zbOpP&#HuvX?%Y=E8 ztAu%n>f}i2~^0PQ%=|wXvTlT~62Ktab zcIwGrtS?Hv!VI|VDGEJG_FZ~EIhaf)ou@c9a*H#aRdM~4@Zy7_0KxXr51|ycj?;T0 zJNy2i$hBS*`~F_hR4=w{%Dgor;5JnH<(W5b5G{Lr%mOvP&X6kzM8Vo!V_p@`A`Xbj z!s6<+iMSLl$0xQ{QU_jTd$PEKZu5#eT>-u9*|#E3!nWLApT0|?f?kiH9`bOy$aGBc z41eN099>=&Hr9&5j-)ojOa~@R;u^Q2Q^o0CVXo`b?Ig{NRQ+1#>yk$ful-=dA)s^b zJn1-cqy1?hF*v-^Hvzw)wBV75GHs=*UrBe&Jnre^-K^Yc!Ru!?C?TuEVu%sZ|D6$h<+ z-tIXK-&qCIuCMfYTzRJAm1x{2<;ChfK2GSCYvO8{pr@omWL&um5;s`EqIi1XdTz-is@_}4=u&il z#HNoU{w6caX^1U($;8>>l)k3Y{nJ_Qj4vsgsqC+{RQEH!PP@`t2%7ARZg}ImOCH8M zR*<4V0e#nuue^>6t60BfSyJ8IVt$F-qVI)?Z^mp9<}g&q*krBK0!c8QX&<@H;cJ7o zQly*U*-31b>rmq>Os}}}M#Yo+hD<#Q6)>*5sy;nwlDuzjL{3Dj7uOJ&w3>E%St+p?SUq4M7MEpPhp#N;p z49^Z!6Cu=Szr%m^syXt`cS7ybmpeC0w`K>`$P~}cixw_NL(Y&754p}LL#(OZK{~HP zvNEkFxH?nyBK9CIcM`V~Desmpths$ygg}MNm*pXWf9Km?kp=bBO!+LcOhQUFk@ky1pTH>jsGL+;&}uE?%BobwcQwh*qdai%@I*Th_In zEW;EJ6Dt|FO*3P4)$ChoyXPYJ>P~GKEP7dOSV|s^b;~VjW6PD}Vq;5grlb-L2tzOU zdDoUukS7o$-cK@9?*<)khz04wYMqhn4#QASvVOr*O}u=3seyEa4!($lH!>(aef(!%)y}4H6 zp$#!VJ0C&_w*NY-7CMuPUxcN6)QKa$^1u9Jt-|9E5~y-SvLJR}EqX{d`ODWzHn}3k znhXDENBU8mKdg&91bISyIjH8PAP-YME_!tSaVJ+P z0F*~3J&tJLIl_GzHf}83RgL0X3zJxqB-7VCJl7R)37%6wO78otgD27>B`&2fMCx&r z`$!+-R5qCfQ>1%@lt@ureTUlZz+7UhxNGwLvKPTAAM*-*5#%rFgLNum%KQQ~Lm50W zkSSQHLD$Ktl)mrD!^v#U$F;ivZ=?d=(G=NwkoWX+Vcqc!axv~%t|9daIJcm_o1^Fh zcM3<|uKQS~eU03$OglWh#hl8_ovNiBY_irU1G5^@NA&?tRl< zew=i?f0cgZp)#LVX!3avgaww|}Q#vP$Dz#o(t<70B z*=3ihcC}F5vymCR7drMu`wO2Ehafu-GOvi{4hh?or|szxDk-6Kln(r|AAd*G*GVjZAhiXp0Z_W4p0KDI%r}bXFskQ30LN~s(Vd~r`rqpEVkrdGH zCcCq2)t=grZrC+jwW+@FVHJZWE$*5+M<%t|(svN3q0I9pTBwiaqva4Otw?JdImk)T zaYRY|9o=NQhuL?)o_A<*avz0U8`QXIGWaTGbMO1=4EHNugxZQk9TtS;*O#yHP1$gT zMjquh8p^}{C3m4S?e{%S-3Mi;v>n#MBR(6QtJoQXL&rOa&v4e*ey| z-;DS=yGC~TaH&{7$T-wW2G?FhxlQq;@E{>N`^XtSyUAO7V1z}J2iqjSBAQYL&wXIP z+hZf*8VG8jAJ|L7sily*;w}{b^83kmE^9wv)LQn#$;n%t%PAZdZr(X!VXJR4n6jyh5XZ}h@m^qC)M(REw-O+T@UGopt+pDCNitZ` z4Au9TdAvHNAwZyD9Ab>NjsVoE!Q!Z}l*mVr zw0EfG?4~YNGoIv$Oi`xu)<>7+xbdPgvg8B_6-k0-Ac9T(?^-FLh7~$(rGN4sesB6Q zTzQTT$JF?^aB)S8aJu>!M~(ASB`jZEAvi16pO6Qak!Pn8>F~<4lyYrl0(a&z*DLf5 zmRI0_F~euCZWb%kxPCg%c-Y46+s%ouzJWg-3q7(3EvtArlh9wsz|3rzIC*AXyvtsy zu$h4~mB|0>^wJA89P>yZA4=HDf=Q`qAZGE%Tq+Bu`=aq<&)Qffk+;jwxRyYCU|;Qa zL_s2L9IKpM=yZ^na`QZFprFOO z2S7;nidH_L#>r(1S%lIjV}|8-lSW}vP^40pE`G4;sLsPJj(^)A0P zz6%wD!>GD3M!!Ue|Gz1!`B1C+d|kw*5F^a1bcQwoZ#4=X;L<`@-md(Ln zq4FL$D+zx(at5f5oMYTn!I=W8+!VsC*HN$PKLO4^}$-)K-7Vl1HL=larafTa%Gl@Fu*p zG2^FRxE_b$luUSRI=Pao7t?;!*OIhQjwMMs=Z%90*Kv!*$+k0`IQczv&Jeug)m!4e z*2>vSFt69eJ7h|(&}#(D?3!-M$8X-aNLKRT;@hg$Pfd;O z>2s4ii*KC4w7W9kp0x11rWv-y6SGjVCcaQ^s95QjwzK#}ew?e!#}u;Q3rjead8@By z%gZ=;FW}GOrDp^P7|Dsh$Gez=WOgOaqH+n{sSa~orw#4#ZD+`y<{|mY$Kh0beKjBI zZww~+HZ19CNpSm(6uOL-g0QIiTJ-JRo!6~%3vYXxuvQWX5WJkX~UJ=vc^2DUXOGdH@n%_^3l*2JW*?MtcP{(BPrfoI(SGTGY1W)K zdfPcA>bJy-@p&Tbn(yG~4(npzOa18Z^pm~ejx4y9k^cB|wnDM8`$zSckuy5fI40&A zMn?fL;P!y#jNaU7}*Y!#=o5I!t=na`uz4h3GRcPD`e@c zP1<;c4^`PGd1+o!I|Xe~wqg3an1ZJP_J?IsWu;F8RP`mteBQowQe^65y5(0}Ens4B zR!U~3@pMDkec;iev=ipEgL|9eWmUOp=WauWtRP_{NzhrS>Zat83jST|xsbedkG9fg z$??N8E6Yf_ozRN_sXWO`;#u^$s~9s%b78lE{h;<@S`h7u;$QQeV?yV%|CK+C%eRjHvPyv zE1T*5w3pYa66LnK0aoe?eG=U(39nTX0Rqr`*Cmg+zy21Wn(1Am`A^N84(Z0imR00q1n1b;*rHdn4>*rMJ( z7MYZwsW8TE|5XpzjJ|ahu7~|b8T|2-d8jlMCb@*BHM9ASl3HdDIw2GLhp+s9eaVAd zq~c{!Wq_2E)zWx#MGiumA&u6d(`2f*AtGdwl;`Z#ZR28#dd0ZUF{ksARr?Vb=Pe+W zC={ylon`r4Z%@y$LzTJK{pjdVAG*4(n?6=rv%*R+rMutS!E_h3-WY zrW#ac>piCI%WpR*kLMxd^R1fwCsSX&3gK5)KJiB&x~U-iSFYIWySuMHDJUq&($v(< z>Fezkr4*y@T!e(c0uJJwOvss;#lcqgqcw0}lKGxId1Ab(GyM0 zc;NBvovolv#4)xiXv=P^=dw*~PWXW)r@X($oknjMdg5cMU{8frOShR#n1E@yrNGa@ zEaBOpMMiO#;oQ{8$;qC93>lS6TwGz}PBnz&_;}%j#6&B)yPT0NWOt}|KY#AO!cWhe zK!ZSp7tlq9c6D{lX=`eJWMX7&8*av~U13uGd-vmgDu(XMHuw0>@+jXS3{Ff8X3AY@ zKPKL;a{0n9?)3TPAEl6;>x2FMcpgs9JC`nBZVjnU-SB%+0@XLMZr_&CWBA1t!pd1(%%d)YR0d-@bk8Nl!=DG@6e}{e(qNabN_0M3}uV25Am*RgE_1IZZ&XeK32=M0}L~emc?2*A-cXu}< zAmEp?LpPcvcp{FfCd1y$$$HO6{ym&K6+IvlZfB;Xcq?AJ_R|?60hx9R$Y*9AgY;6! zurkHsZZZPL*=TBOABqbK7XGz4J$NyBY@7AYZ9;VGV68G|b@+AHNp5a#{Oi}Rg(1@n z`yzA*1eSRb#sad@Pb zFZeq+EGIKa}Y zIc_&EeJT$A^D}+s)Igxjro-BQW%#?nojcQdkgx&e*x2j5z*rbak6l$zfhnFd&Bwk= zIOdu|&XPP(4e=W@Ej(V+ja$;V&3!4jP-H3D5~Ps_XdU??mp-k(eEE_IRN@KS<;#0M zYHA-IQ8ThH30}SGuBoB%?fLWPL<=LMug^zEM~`-Pb{G>mWKLFqZ*IHPOwK-zkI$f- zr}GGHfHab;mT4ZMNG7f-_fq6R(q6ri?}#`(K@Ds;;ADvFlUELQ*8;DBpz}s5D=Xiz zgWRE+v~6c+VUbc062i3f*vZkWnwO8K4!n|5z&H6VFSKm7w>XRz8QOu1?Lf)cZA>@W zy}wUo_wlKKUC(0{J8jmJDf+^L{@+Gs7R9kxNZW!(JB=@zB@N`K$-2q-dm2z2}kXjKGpD!j3yh z=3@;onAK#^g^MSb&yVGem72vrd-m+Y*49={UDv!i#C~CMQHF|&%F2DFdG~u^cF1b? zD=D{b5W>%*o{4{nQ(isKZWxPB2Q4PjfP}LEUc2B>I74w%VP8@R(uJp&qL-rNN=5T( z$(zlN)Aq?_hIEJ3(cB5&@2Uh9T|Bs_)>iF{-hwy6BWy9hdA88fYODF7yXNE zyB_6`uh0a1yO;~gYua9s*Vxg)L5Ee^{To}2K4o6>-CtkdEF>vx$fjjx-n$MuAO*z2 zDW?n34jRys64yO<#pwg~&t5 znFjNl7s^f7TEBh!mS$SI8&OE!pWnD`ggA)25o8{f37)ws9)QP6H}yxeZ8-eaLKC;WUUah;jw zEa$nNo}PuJkEsi!8N*YE*tG@@Ve0AYi?9no!Lj6vWQGuX#iHAI2#$e)Ap@Tai>?H4 zL>n|jJpe*>Q8_^iael^ydMuw_+`0^EzFgL4;lX6zCFXtH_K#0g5VCpd)I;8F9#Z!` zw-|NWPcEhizyKVCIDLJ6-3s6*<&)LY%E#EX@wmJ^{+eVi{t~3jjQ_~{(NVNDcX;NRw4S>>s@}*duzS36rg+gN^qn|Hlf}ae5 zA)nW>V1GbkV@4grEFYfy1{?C*mNl)^{|u*LtE@5}t_2(@W&MeS?pN?UU*;L<6X7QwT0YB6|+Ug9wLBgF! z8-X1PTYrXBGG;sx=;YRugS9>|Kiz8-VAbHp{KjJ3=uS+XG6x4oXb6}jmj^s=@|WbC zzi=U$!o?{d!h8QQEMT>oHZoR;ZKyVgE5=X+k}b9eci$ z!D%l&DgofW)%ziAO!#__mV5YGSEmUjX2XZ1(FA(J^H(!o)Iy|C3$I!!x{Q}i7CpIw z%9d(bh>LBl@|sfyHX1qv%(2CSd@T|!_S%{!b-h2=uJD&g=;bJj09-nlJ`+q0IuCz| z@v4cUhNkA^DWPHRmDMr=k@ob}tAi_$_{lIAURx0U<|6CvXh0R1FI>}^cQgQ34CbiZ z0$fCUU;|D;2do`K?q1_IzxlkTFKKI{D6YtJvMsbBHX%XLC4h%rjhWd5w`DP07L5f6 zBrb_dA!IuF@%V0SPImwD;}&`54}KZJEw@<4;wtg8BhBD<;jzEzm_5$S!zSx^hsJH9 zg2m9#aP42$M1_(l2kG(FZL<2u^b4Et$@S)nXYiP_aW{Di;o0gdyZYXJKYa?3%2&C&CoU5*>wJf&-Rb=h4 zJRmc75zxI4m^xE)=M9pPENMgOh4SF9th#6>-TCskyxWI;p`^MtlP*bGiQ}! zWT9Rbkz&Qxnu*;Ul(@a(-G3gx8Okl|4!r*<3T)ca($X^pX8C~i>(or#?h&ot-_^)e zIh8_2Pws?=hd&ft#XY%#R9Am=ywx6dNC~O(oRN>&o%g@ba``d?#P0ithu|9@ChnW^ z*j4m~l4+&22qYGa0esFU9PS)Q4`PTys-Qk`6@hK2C_LUlE9+;jb>mF_XJ}@}{}Y;` zW{*m=v&uj%U{;_4t2&;ye2(l5nrB}m`{xm51E%Q9{ay~QmsWEo3-|boq7Ol{tX63V zI}9LGEwgUJpJd7iVt@+~bM0YV*)_m{OSmUzhu;69yj^AY5W?GjdJ=l*=hbms58>6z zl>Po2&wNGwnS#&3-sUafgO%NYlF+;myuSXAKiy4w2_++%p(Uv^ErEw+1f}vdk1TXy zYDIaySxHTfQ^@c4Gz}Du9RZ=AJO8&$0wBSz?EX!xX01glQ~v=#dDf6~@t1Gat29KM zhLfqb9uudC%dK*T<))=U>s5W6*`GdtzIc4N7Z`L_Pw?AquQmZlEO(_SwCcX!*r1>q3>F39eJ*N+iP!*B zjyzH2aj4uHO5;#(B+Jg>aAm2q0_n$d?L%6~|3E5hqR4 zf}UP_qn|(PJbCeA`FG}klduduS>Xj8>?JTSYgP6@(?~lkxcT6y08=x`nav^VoePrZ z_y5gnAD@fdzBm4Vx=jLz3JQmiR`ZrNhhs3mx&JE(=ScHnp;lPBNBhP(lA zC6By*^JcBe@<5zCXizcxmV$bj=OEnxiE)ibkI>ZzZd#Mc4rXvjVV-H|>o-Jl@Ofni&qvX;&gx!8iNlxZ9ph zJ+@i;%KHdNl1zZ?A)ttqxpN|IKzXvQv+UVg>?5pYDu-EuPg_7>6;3186A^Ksmb) z59of(E`sg_8qi|^%XrjikM)khln-gks72yc0J$Ux6kJbd6h%*?&msb}HiV(!ljAxPQ{qwxxClX1TDK{lsCIr%m*^2` znC5@0mnBqPUA;bMCH$aubiBdKhD;T7mcj2&rvRWv0!50nP&a8o3MNH^4HVb2qoaFY zs_aqXpqD+#$`S#L`ulDGfS>~I(isq5^#oSK4d2oyh1h?}PVNs{FdJV6JzOZ(yEjQn zAG9C~p|D}s7<(pG}g@vkA<_{N8S#k|5*;kK8wYmjEs!vA}gHsB9>yo?JyjR zupf?fK=4{=+nbeWApjJNT^;@9@9)2(0;z?zEM9p*f;*-F+;*{;-P!u33n<10AVSa< zuDI)wx;e^L1pw#A#>ao6@h+VV<4Gg2hq|b(Ty}uE{Q&xnr(tBjs->m%*;AXJ{w|D(6pbsTVA{ivj zpnbHcs3;~w%B@}i5b1T2wy5N@fY{pVJ!I#XM#UoVxMw5hKS2+3@Vr zNup2;@aVnATb&KnBVWIc%V0)Vegn=r2-Ncz3t!)8J2i+ikNJR3a9-qgy&^Nn>d)(X zNv$NdqTCl`pbIcWaxD<|*MMGjvIBIo0Z)B?dV{VQrdyAJPVOF%gW4du#RIsdU}a^c z5KyOIBueRTYx{bVfI{qc0`j2`bh^#Y8>cv+axjlc_fp(?@bKXb2jKe{ATbmIJ!-&H zg1^Lh8*n0!4X1YlY%~B7auDsM*sBKl7RbmUz1|I4&VZ*Ne@Wlt$B!QX>C7Xb&^(z$ zV{Gm!dVhUq+tuLNaZDsBm>DzDBwocwBuohcakhEve^e^3lnX$oOsUs&p)E?WvHg?H z*iw+@Q}zKU3wMK8AIo7XDbf_KNva>QD;DLw+#`39u% z2p}pFYE591P`}8+l5T~j0SK7|(hWp$vzmCLd{L|BtLn+zBGw_l1Zv{dOn(1eOy)_9 zi(~V!YhZiF%5*Pzt5f9|sOJCZngE;G&38uG9sS+1`_Z2kehhouUuw1mVoV*T;J@NM zy{^S1sjs;8U`h}F*STi0TW0Q_F=3BGDWn#{`{*o}WjTQ|M6i5md3kCrXZ5Yh(RU^l z^2Xk0NfN3+Dmc?iaav>BMcqK~22#qw49)fJvi9z1j?mrJx}o*{vxt(^jc--?vccO0 z$D06EEz}GtUjQAq8ZKyPU|>+b2fi#=ri5($?qV`?Q;3?@6jlgWKL@@Ra{6lB=P}oA z1<2Q?bmie0*#sJ?2V0#T?z63v))N2)*#Ym{eJ#)=HbPW)2vZa5c18lDF+sz*V3;16 zB(Uen|I*8nZ?bY8d8-RXDm{c>MrLA>2;jex=w5xQsIc&#pkG5Kf?)t&Ygvhw6_pMC zX!8Dke`3wd1PnqT?y<13vHei5FWO+2aMEFpeE$=hPZqtEOD)bFR9L_8{#%tjf$k7+ zTF&Qfe;4A3e}N4uqd^w9KyrC*@FmSf;Ia&>KC(|4dX}_pe*i8%+)#*dbQ>>Y2DFBl zq$n(`oxm!tcGISPde)U&`JVZ-?zOO_!@gl!?L*DOa0xcb#oXw$< z%U$rLfkgt%2@4ZwlYm%(A>sQ8B)!wEK9!R#rpgA*pA1Vu-ltZ9Gd;oaQn)F-kkgZ6 z;@Jf-R%%pEKMLkNYq9wFHweh?q000L9T~DmVlj2oFR_(bDvzm!q3Z}GtsPm&5AM=xyNp&s!ASJMQZ*y*L_BCj| zbbJqFLw1VV{02UKx`0aNW?3G}xvWMj?mWmDifVKnxyJY492jDLjdaVq6E+PmkRCMn z6&$FmEB*cb-N1PWz|#p+Mk=<}lhqqj4MQi>K;R+i+YipE0VdJY&b1gD*ZjI4AVC4` z=dpm<$B{^K+yz0?QhU(yl~aijL!O_|@vETG_XW+{Y|VpgTmZHceOU)yig&e(ESGXE zosx@lF9ETDCBv#Jssftj4|sB0G>h5^;#RF**S=s^#NY2Uht)uY95`uhkxN)D?adDU zneMw;DsQ+bbB0yHby>9?@WjJv5CXH}GSZiN$4xfj`#rYD7Bx(#0Xy+?`FV%*xCkn= zqK2-n6%^3*nl;IJleeiGqs6HZ-hXKF2FTX4|Es;PimG}G<2(nXL|RlDq@)q)6cH2< zPy|J~y95bo6a|q`kdPD!B_t&zk07m}baN0CB@asHeE;K}d78Cmt$CQIx$9o#o_%(G zwZHi7jpq@P3-VqXnQ`a)ma4rAM-pWcxrk}~IVgXyLpG2T67!SZeUKdRxN}Q_>JOZ; zCAxROF<24xfUryqva5?FVWw5iF9Y>j2cvb`D4WWa4nO87l%4=*>|BVQV}r`O*)vp* zB(tHx?GM4tjezKIFiS9;lBHlkvLpByevJn|@V<{Wp{b3mgBOGQM9ReEoBxRgsJXj2 z4=yD8)ctuDaB5x5R`%z$c!k22o*|_#_w3j;Ff_|6Z@St1m(HUvA~|#on}&P8<63@2 z?=FJ=`u<3`ec2-GkmwW~JLMwPhVOnHMwJ|a^avE$aq=vO+JNak%fn-P!(}}yG;Hma zwhF-Y*1^V>+&Lb7KBj%DBF%HgGKF{sC0B5h}S zFc7WR*bIzi23rctVSYQg^1cUhzQ}Uusi5dLi>pkA5?1lhW=9jSm6VdQac&{T;g67; z?C(e9r^nIOozNe$(-0*oQ&yQD2xlPsc zCu{)u3OgXN04JKqhmB~KAa(U81{Jo^2W#MAb-il}*ztJ&@+DvGz2Ca7cT|(#lO!Vc z9CEO6hRfFoQM1a+=JL1_Us1@pp*tKT6VeUU4@F*m5B*{*S8ml#iReVWwk#YJ_+*g} zr03Sae2=Vt4B0f!F)pMScT2xz?XM}W^gkt%ToKW$4*n*!a+wi<$UKmc0FkhW=CK`D7`kJ=r70B z2Zg=L>0bko2Mm9Ox6$R`VBM|_M79Cxny28+HB^o!5fijM9Q%kEp^MSwIvMh#Sqf=K zjD5?G3xs%5ZSv?O= zPnMsD48hm3%WZ^&g{zd@z=weiwj$^AUp{mM866MA3HxdxkjOw1o8cc~i)H=YL>;IE zk)QXN zSW~@=!zw40ut~WZe;D>!nYaUinFyuNwN0jk>C+8@LOjcZEBY!0AYG8t5ed3z(9S^8s5y*Z+G<@&ZFT`>+?*Gv&v+krVgWQM5 zbidK{>sVa>pc-r?DSJ*&*}(U+Zh$WET!hd`Ls+Sb-}?^ky0=i=LEUptQf zuS9&4;cX;XctzUb`xX3kxxJ0Wb~(X_w>{vFuA8EuZc;L&503xIa|DvC@0~|I_S)Hk zoxKle;VJ{;F72>{jDKE1^bUdy2Q(X% zVWs27r%9jbQd}?;{3#Bxozn_gQ-d`SDapvDkVy(9!7IAMWqGfq+vJZ<`q&y3ckHMs|+rKQi@`r-^)=7<;!zLz^?Y9TTYn$uJk7S zcUpa4LCCRI3tE^dQKuXc5k_qZ31)6Ee@dudupEPFBs@`q3`G{;3+P;HW**1eN>S1b znj!Uh_*yu=ZngJm7b)F*Zu7k!3eosDNJ>+PYB`3N;(?LB|x2ZD1!Lf^-bbh&~i4GI>a+36cL z3l@T`uNgBlbHF#tvH%no&@Xa-kl7sxW3C6D&ee) z-?H0#pomEhUz{c(A!$1PiUcVzo!)`GB#n%fJWfZ7o0r$^nzpv0T+qJn4P#^H&AXQ_ zOZwmR&FS<{wkB1r-4zOf_BBOLhc+TPtMmQD|_sbusAM?vI65~@f^m$Cg*$R-5^i^QQe9{?L=0Gt57uyFBQ zmq5ux3W$;v6tImfEx(_J#R#D53C+)j+(5CS+~q<9Q4XjFpBHbvjj@zx|3er>qDMm> zatOKJ@iWZKf?(T4pnAsi{pfJ@=(D1?$yojUiZhVjwFf=O2iY})LNPD8Mpi;%<2O{1 zIc<|---;bSe*ChY-T+yJ9QrH;ARN>IkHGH-wZZyKSc{yzeEqsl)86D7WK|S5 z5!>6_COm1gm#1Lu1>oGyk>5bMqD8A9v^HyNYh!)#slJeaB`?E374^Zx4@y4 zta2J&S%lTb0T8ec?AuccMsewBkdA&36aL1ZDNZpafg6MEp{WVQ^g%TmOumL zyurg-IYCY?P-!6e2E@l(%Kj_%FP!{7=qO?wFX~I7AqG%f%P@xBh+n_Ju!PZarfN@NY&Iq)uy6X{VYe= z{@6Qkn$t+BsG8mo$NHZQMldo6tm6I}Ks;NYo)VIE+9cE17)R1ZSJc#4(O*9;#XoqP z0h2WWxM)rp_|*l6fu||wU@hWqIh8b2jW|~JT-XCk3#*|5nMiv5`Za3=U`nd*&Z<@P z8Wr&7X{CBk0lf*_D@NOuo>Pev=>hA21p}eD_9MwGWs>a~+s;be>L-ZDHJh88dkB1omIxEx zCgz|=+`Kui0SA%P=uXlU2(uE{lBzkjqwVm~1HzZ~Yu{VX0wT*7n3jP6NWLhFK5-nq zj_Us+9M*Y;>MAK9dFEDSfy_k!AC#7Z8kpGO3GV|O;PjqA=6mD8prb-+a`Ltts!3|^ zB9~aFAGjQ+n;}y-paN|0(kb|2%Vbw+sB`ak-;V(R;zBXHqa7eH!T|D(*1Qep`IDNO znzH~R6AZDgpprjJ*GeF5;mrZSO63qZc#ktzi#w0tW?^+td*%OrehI3dJlS-eK3)3m zrO%m4W{{Tn>x-mnLBl?vWOr}|42vx;G=o)8*>Zw$m|>i^kKi2TIS!DZIw>$#sfZ%N zA-4D#oIIV1J(dCt;O<%>hZ>X*D2;Xi!}g9jR|TVM8Xm_yzm1YNQ5okca5y5sT>%zS zFkSb*$pApNSB5cw2H|~;o&)*>FrGZg1#w!W9e@LlhE-BjipM&~6nR1&C&(7#+O z4d)>{I}HhG4JgmMTLQ~t!nDAG@u2~*HP<#CHvFTrV4jer#}l(&W4We3xdCr>2w@xQ8-vD2GH+n2%9o~ z4VO%J`b^!wg1fy{u!`h%06u34C~muAs8xLj6tE_O3`5tGzADTY5~(D-Ztl$y!T);| zwE~kQh@ZgFbXc1le37WU{6m6hRyjJK5OL*_ub~LRf+=3TdUacZpMN1hTf1k?E;H~} z0Az!fY7|B)ostY7BsnAHn%2?TDRaM-{x&mmHa~|`gVJNg*RG>`_s~`-#0Z|jyTP4? zrgre=s6R^6qPBADhfSfli;s_I5I};Lv z+9gar$-;853gBD?Wo6|gXUXv=ih;XJfNI^-j$%_XMI;%-{AhXdevQ8VBxbGTtcaK~ zz4i4hkBr>cg411sae#GyLHtxK|8lF?mFYuhPi+_o3)%V(v~}Rihp0)U5PqV#(WjQa+_m9&|8G3 z39b%6oz&wp|$H4+?z}>6Iadm=5 zXB3&#N!|glA=Ft*xI`MaEz5n^zFR}2)CpO?xOP^5!JRK|LGcq_!zP{4Qd7ysUW59b zU{^EJ+?&Y+sFe0`HeeG>YLRbF+NQcBx;1PJJ(U9UwLwTi84&dMi`3CgNV>Xl6|K0R zz*#iE`|c+Zio0H*cTY29rtIObtUWT$L6ktKl4=w;)h0=tUdv-t9jzLtB2fT^G?BCy zlm~_>S>?A^0P=UR3bAwM8QFWkDgeHDr?y+TPX2;B7IS-VYqhD?tSQI|koa z7QEZ@Qe9;qmgax;2`M26N3CjFG1C5sJlSs9EcQ(IMgvJQi(CY&9}_OAJhPfuJL;t7 zjS;r1aRY=m$(V%IRlU&emzLQ5e#v4z%N{=CQs3Zs!V)qNY8SF>Me>a>JA?@NG(WMP z&;Wg{eLU0UrP`UhNs)PpTPL?^a2q4aSL5_FtB6gBBvDSJ)kQv$j5o@n*gv}@MgA1W zu8%0MUsSqe#Hk)v`u$N?D;<&(0ar~1@K6pvUF{FdppBB*qram@DHnau=|}!P zhb@OqVOB$ZS}8BZ<@l`!V~ngwZiqf5>%OQ_HbKrzEf?WBM&xcaT*QMj%E{xxKbF1BXGfIpwYZzB<6B)=Nj4){ zE-Qa#FXG|+@naUV41$|SPRgXL9+$(sK{V7#`I=pgZpbC+&z}p}2&AhTh6&H->Rlad zFw9GRflMw} z><%r+BS^?+W8sFSg5^FoH2$F$ms7jNYVN(nel}HO#9h6snJUB$W@N(il2kozVC*g? zxRvs3IhQx8z^GDu@Y7%}mpXrq8Okh*}b?If0o<>`SZHT2uo2z7MZGfZYF(*TowgybH z$$Qcf_$!VpUu=~y2qc>H6kTHI3%~D_SSuhK!BHr`x-N?hYYhmX44!HW#aba7(Db^A zz`qTlw|=h#=Cmcr^9qD&>a(G#mL%VZ*w8C@)hTFvLpol*bqY^AA7iQjNtjcVeA^tq z!wm}5Eui-mJndEtR7Ol{I;P0>&m#-sliMSpYKO)KuLi%3&!Lz}nDjv^X}>QJon?>5 z-C~K|LoB7#wQhi3iKvlLE<(GW$QOo(u53-m6xrk=(mr!7z2Nt<HoWX%$49(<)N~^}q=ltiLj)U$)9NMU?z_Y; zCYew=6F1QJ5|a|02-ymz zmhG{9pv%}K%sgUX;v(On4QP;VoLnmllac$e)h;2A@QbOOd59^3#aL5X?1uWi3B?q` zCNZj*wSTSIrc&H^bJuY5xzbT1rWU`(F;7B^he>`F$)zW9{4$L~R6uNEZiZCg=W^`t z4~w>6P;Z!0y*?jVFSpW-`T1`!2hU4lH{2rA>iL*5kGX=L%QX@kvm%Vp8*d|M0{KqR z;*6>(+&cG%*eIC98*ly!0#&Cs8|u`ke^wQ48IYZT9WyBs?d#x$@Suif``!|J!P^eb zl7ixc&^@4Y%$3kUOJvgvnhKL`K6Tquv$WXc5#{$5X4o10@^>qUO2L-t>&;D`*H`Ez zGy+3H;e%p(ikRC19X0}1(8>gaRt08z)OoK?esRUz#BX6^*$DHY?BUxunXr7Z0-bp@ zFW66t+k|E@_^!cH=vlCsM55oJAdM8pcE8-K97#^&1puQ=l*rawOb#8K?CHeHIFcDkVe~$q{g- zM#P(%J{d7;m5TxxdSp2foJSy-NpcL^Ajf|8%p7-bFV~W9+b^+q)iZ75PuRFIj|=Yb zfuB8M*&KU=QBJ_9<|9;QBtkb`{|s)yhTBd&)T|o%%R7SZfzWpewXcAPygCctcfwGU zN<`KiyQ49nN;iIbV4d*%Son;_G=RW{=7&)v=@|{71FcA&kDc)4#`iSYV8Ny#eg_<@ zUfs%=^s}3aTdUY`*I~JW$Exr~Q&%VOSPiJ`q$pzEB9|?j ze|ggcux{JnC*}7#KEu&qcs{=LWq-d0rmA$!@6OC zZA7G%OTQm)a$Y}WRuC#aEA(y~h0FS{0e{NZ+7rxV>CyM%&kj@@Di&{^_{d2Jd_bGRm(uvPcSuQX5VJq-->*~tKyhLm=o^H(3#6i?@q|M?b!Fa>R=Twc(L=GmdGQ#T@ znnN_5F!o;e~buPDVF6JP7s%f-+k-*XSh-enrP6{$ZXO=if9toNalyIhFofI698h8P%oNrpliWNz8ungOxy z&JH(jr{nwt1@jqvWAhHZyZaLRm?&}@{HZv8hPv!fA+$-Y$PA?aYX(Ubm@lTd5%l_5 zHsY11%nujWfwNxbPM5x$iX$gz*OU$B2F;?#Zp$~I;v;uai-K#<5%>7^W+JMEbLdFL zT;tO&=&obi@38QjPe1X|jrvoG%2^%+hEUKfCV^#=@gX1q8h%EI)up}UaFv&EI@X{G z_N--iIoZniB%V-Ah~+dm5;J%IH(Z}2rg=p91;drA6Z(N=tJVQTHD@gkU=0$>cz5vJ zh45$Q1+|uLr4no-eE(WjPhkDa9$wXAmw!>Pu&ac9_k7`y%iSrb7S^}Wg?C$@8zNL1 zEMvjNMr`!*6d8kOpTmDnqg+0rwC_p5>@nug{j`2MrX8`5E#%0#*gFbK1fHJ&o=1-v!UnAeJhxD6Pp+?0V{=J2G~&26WFb_eS&VJq zxc&~2QoXGYnCi3mUWJIuHh0FB)>}h=i-ppdDSu@+H2U9&i=U>>*dc~&>p;rgAk5E7 z_&gs>2-ZRd#l=k0jkb(iK#>8bR=-y?%`I;)oE5YDp$d&f$zg!w_Y7k(FTC0D(4xSeZqitmGaJujo?sx=cOjM!Kvi#O!-HgI3PVZV?|o!}nVF z)PO>G+H9c1K`9lw$Mpb7xr^eAo9Urt|d0yX)LhL+? zJ;g01y(^dZFr6~PJ9Or{JzhY)d?rdF*PahOFT>Jx2gjyEOgxL+s7uA#cY$vMD)(bo zVnF#EU8S)3X^Zl7(h~Es2r-}`s23cu8}X~uw>CTb8DE+G8;w8&t>RJOglL|`4kxaM zc~OpXyM%cW4l`YPXY&0E?YoGvIvGW9YR-86!Fz;ygUKzVPTuntNZ9moIF#*&!SsB{ zqDPSq&`5ui5IZh2m@ucO^G$&?fW3Y9kf2@&zq%Kpd!YxOZ|xW@J~c><6BuMz1@6%) znjr&*f;Ep?M53js)If$B+4fyyUPOgsoT=pFRTL2Ww0^6JfU+mQxSA%f4GeI8OcaT0 zS53^fFt2g{Z1A9EhJ3&?jM;$U_;}|DrlD<0)`l}S_+&!Vv5f9~VQ5grftfzh%?4WM zpSnoeE%I~bN?0y85J;~*k?xjkXBTs`-pi>u3G;sDh2JDaoms3%uPQ>^)`{*+2rw(F zrKxM=-qbddrzPApf$c^v^<$zL5}V*4w06VY#1_g7Rub5E;Af-9>|mZSBq)Gw(se66 zc_u|gAwDE??s_b6>iExL%t%z1witi))hUvF$v3qb97P{QKwC|J(VJJC=t_q$zQj)H zSl-GUO;?e~S1;YzD@E@)zAlU@w zg;5A|!~GC_CM-|xL0o%(1zEyvQ_77AGUgX53b6hHnu-vrTOU3n(zN(x7GugVTqcLJ zZu3G&OswxOgafC(A;Wru`J$#0N#lQ=&dZ_y78?IVh~;BbY;*+h!P z&XKyo5h4HuBgL3$enBfROeNe+sK#WAood=c3wC6`t@EK~w+z}4GQq1U_8o7RAn3Tj zZv@>MMjm0L1bmN>fV7<+i4`-l%Wc%mDQ6kU-`(NZ^}RWq>V<-df{F`aLhghGBW zB!FGzLYE#t^R;D58|;(bJ@At4^ftFb0clB5KsQ}V1W6Xs4mlE&Ivb0VU4<}ezn>2 zNT97+L4v!iW^>!a2VyMsf)2-5!BW!~5PA9*a9Ua*yPS<=v+J!hjF+!cN2s%j4MYyT zQ=L|rFRJ(rrH&GF((Yk2Hov zxa-w~4=T9pl`%5p6-XzHNB{K~yOfzQjauz}HNh0BV|Tq6F?d!^AwiSU!RIX)I+7ow zL~O3RCf;;~h8)(#mGUQuQsXAUuC2i|^`Ft6fRm+xlpFW-&6+n@ zzCQBY^O~K=@D&&|E1O%!+|n1WU|k~HuY@@ukj$v|(mOiZ3P!sXd%R>Rqv#HINd{9C zf@3${89v^eHu3nx!rt*6d0!uHcQ+Vw&^v6}KT|lZ&dG13PAt*}?S3tx+ZcTfdT)Fu z#oC!jyYX1O8K`GIHgV^NSVf9!Kh1b)z{q2DU2AeuGS#DXCr#{Z81Yv9i3KL&sLodt ziH;vy#$S}iTi?po^Y-0I)t(?u+8sOOMsObQd^< zEnN>}(+HkAR+IQl)R|y{BH(!``CQ!lLz8|_BX8eS!g=cAN%`hVp~>UHH+QE@NSOxY zPXurUx{%H6Mhiam2^a4n3hSLOJ=N4(hGFX~ar=5VyjqUqqj6l@t;U{BRI^>kxxXB!rn-49 zombwIwEy@Y9PP|emLr4a&An&5X@atela6pPS2=2 zcIN6L<*IH<@%-gW;ejrGMf*d4ifw*mP#Gr&1zY*8l)g{1BTXOu@q4YWh{`P-EW`D zrs?lJEbs5F@SJ&{bq0D9JI@YY>bS>6%Ovu8Kg3pvDBpU#G_hbBN^?neNzRe24Eg$1 zJ~`-1cE0C$?NXX9Csk>%Ur&2?*N*M(*iTG#cVqb1>mnRcVlRAr&8{_xu-!?EYm`ju zk*l{O<&%Vq8ih3KxHy)+)pj~p0TFbM#go#SY=mnF&eSGgh8nKq`aPz z`W87s1virBUWv!8_xdiWR$zA(74n<=+M;iP;@teS}j4FYhsFc z`^>xe_{64ppYEU_yV0HWgN7G}JQ|!|-L!)b4es3kYhT+ik zEz_G8b8vZ|A9*ZMMo~c#uh%}7N;UQ;Exs#AF+9)cVbc5UF=2)I8_n*6-XLS%8SW*N4d%X3{%ALk{Y!oxw>Q|vI?x?G@|#VNYhm>jWac!(1=wSYFpKx zdY+z;v2{X=(vq+ zMYJg;Et9-~ZvHG&>{zF;=f%3b@`<7@oE)F^T{OGHYo?TMh7XTUYjzJxgZUxpG6gj= zIf#l}X}`zp*4?z{$f!~iG*~Wy3!v{_6do_-sj{fDh+8nwk*$9szWRy1=t>}CmS{+oDGZXMIVa( z`6H_3d1k!)LEeW%?snS5_J?`n8M!wS`+k|^x9pjY?oDa;+nd}EuV#98<-LX{R~BqR z;yvqcxpP8w_Zox+RKB?Vm|l zSon3JfWC=vYO<%yLAJTgw{g$hcz99;|&coWz1_>C~k+qS6P4 zRKLp-S*Db2)|RF}uKJn!^(2v14>u(p22f{l`o?|T-UJPt1jY!E3Q$Jze2x{I{4NAc z9{wrVtYS;@O}wj$VR8|t(KJle=gXVZuAw8q7GtJs-LH7{zSEii|w^b6v=J-P;@=MlV^AB{DNJmh9Y;Qh}Gt zHyIrA7Sqp(!ajulpv=pEu1!kO=PK0mAwG}hO_N8Ge8o1jKs&2djK*J>+ojdikT zHCXp)`HEI|$k!(cW~)qOES&GBXA-<)mVT|~Hc+}Xl@I@ZWQOY*_dkcFsCL{Uq z8Afk`AVrPUhsU_vaffoPq`}3&6EB|w8o`%T>gB$;xp?0uoXN_R`nFDe>%&YK#m%w4 zq_0n$hkMrIv`C}9ZoeUlI(tvr#H77eTtgzmUDL;B?9imkMfuE2fpjU; z`jg7~)`CsSErWbj5VF})ibb&hTsF>ZDQX^7zvm`0_*Zc`E444Gu29-R@c-_UL|D_8 zjj$VE)x$mvCDGjq_}zbKB)2Xh%Qkb%3!IiXzeoOLf2AvyqBOG2N$d>57sgk~JVUyp zvvK+LwXqCY8%7CK#grd1q^&UtHmGzB7n+92b2Dv0-dLZ`MI&Zr%6nFbBaO zf9-BxztbE@`bBEyIrwva(bec+hqW=pH&>`+DUJI{=FiQ!M9rEv@ut55ark5iIjD`wJE5`~H1cM!iheUEG=^jjQa4*eD~F@@r04~pLeJ^GsgZX_3b z(Ymf8f5v+s%hT7gXDRO2I^M>*>7ToTIMz&VU*8jNLhjT5+HE@TyO1M*e1sfsetnN7 z?87p*5p`8iZ+9Z*smu^Bj5HWkg1VhE-3wJjLL7lbv7c!Vr!x)2kX-qXv_iT`>yl%@ zj|>vAXvvY0X}i&x=7%&DyJ%hgDn;#mK`4+rY@_e5JCr)Ky`V*1;~Y4D!CiM5UPYOZqv#0?O#6gYUTxmbPHYN zVKOU8Hpab>*ku@od_ULVyC0Zu48vh-kVHuwitY4rD>bu9a2a;H z>lud%E3x8aYxx!0p$G_s;`D4N+=Bk51}oWgz4);;;i-e53E*>UKqz;n`%JxL4&Gnu zuAcNBzY-c+MhJ1DBnL5gEY8WY9mySR5K{mKG$_}I z!QT-O6$WJMu?OT3C97|&e1)4+e(E}Lo7pk4j%2vbk){x2@vCrST(*)|#$ODUe=M1H z?=*z1aSM}VylL(a)FD2I(=*RZ5qF5|M+yKr1WfOLBpPl0QXT-(lwe41AVJ3x1&i$Z z7yuKBjL7zo7mTa{8`KoRg7h9Ra+U|6!8}|H>dy@e94yf9jG*DnAe4+`sX>}kPmCZ4 z3dN0qn=Cv_aP9H37`%#=D=nl3tB$n90A_dZ7hEAa`orQg@f?A6z&7vHxLbI@gDu=} z19RAH6kh7GBRsGq;YTRo9S*CxHv~`;Q&xFj+#dk$G{^&mNJ3StNO<5I`IV4Lgu&xv zZTk?K(Wm{}raR9ve5y;S&B--=KR7+HT?CQe4eyxukd9R+viskC`Qyv~myJgeEC|nX zHX&z4=zGqC8QH~{JEOZF(=@V1{*VKEh1x@QT<8QRBIpBoo2-f(S$fE(QL>CT+?0e`opaP5CTc6#Vd{F{N^TH)xwABp~)A^SHOr22Yf z{`*nuyjs)0$-G(|8j6tI-T&cVFRtH2mS$GSw$7H(Ey#arY(uuCI;P<<4G_XPn@s(eE9U^?)4@Zx`gmm60LCe} z+I?&*QlR)MBO@d2tHI&q^Hy>2uH<`t-GI60S9mUZv@zJd;O!!N_BlgAZak`<{JV(> zvXtW*PnO|n!Z^T3y}lEt2(LWNJyW4n2Q*&)(uPyU)5wk2CTJg1h(J z7s~-BF6FNc;Sp#0#O@1EkZaT{k-RcXP z^cv;#*lyv#nXB_8hQRqC7ArQKB%bDgNM23_w2!xg6! z@SRRwMMVYqF7v&w%AN4!#8=;yq{j7JTOR_rN1v4DJ?4N{yMjRVIB}jjI$rIiz6ftk zll1;Zj~`ug*oRcEe>rZm%k0d>#{;&pVQpW9Qicm17q~h4W^(IA7hIKGHe!+6#y->< zgRSW8!4rR9ljq<{>ds4^Wq7I3k${VWf}#^HX{8~y^#07F({TWUs$Sb)EUqio@6+CO z{|&(9czE-W7a@`Hj4fQu27Y!%(hI}^T1*ig2lqR8yAy>pky}%U704N@Hvjmb?bG&S zCf5!@hhVrd&1mN2#QzyEsI z;MV4`t1*hZzqH|(g7v?V;u(euSBoBfLEoS7N~UH`eH(6mM4rmM46j>d;f4&qJ9K>>H01xEhk*8>~4Y*7- zp5~dsrS-QXbPn!et%BTw$V)VC0#mE__rS1gdc*xpYve;@qj6mcwBr>$vW4gKS(SnU z%Hf7jTh3PHu&E~UZe-gmyiwp&9(1tl%Ds%}@2ufMIIEw1#kWmBC04B&>}VHGYK>`9 zRY;19bCopi7T`Cqpu$%MmljZx zGHo6pwbw%CK40i{4tS^62GW$8E(bW@wn4|PCQ5l6#u}bA{nEn%n}-JizG{)E@G Date: Fri, 6 Dec 2019 10:50:00 +0100 Subject: [PATCH 4/5] Added text to imnage --- pres/graphics/XORBlock.png | Bin 33933 -> 38342 bytes pres/pres.tex | 3 ++- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/pres/graphics/XORBlock.png b/pres/graphics/XORBlock.png index 7164270e9f5e0d326dc359cbd5ca0024b152cb01..acebdcd7576f8dbd50adfcf3186333b4f95febf4 100644 GIT binary patch delta 17388 zcmb`uc{J2-7&mMwetxo7N?Br1%DyLrv5ajP`@Sz@8~ZYtFKHnmBTI-9p#>#NSu2uk z8Ki6@vKwQ`mcet6-*e7;&U2pgp7(vu(;s7+`@Yuux<2=HZz)N1pI^}3htW=^3!5;@ zDGAGJ$jC{^%P6PEy*Pnrdol>B{K4dfFN(!!1M;Xhz1{#{k0m(Z0)|ytPNN-)OP;aa++6NJ4swpe48E%C!kVT=< zW^#&prWQUrI+|#-oJ|N8s~6(o?Sw24o`UU#9 z1o&dZwa^;jvcNJ^-EgdpH#Wc~1fyXYAti^<2@VXi^bdn$K_gPp(nnL*FEB(-C&Ci0 zg$Tez1R;%Nyj*k)P`;kw(&pyU9&T_OH?08BS;N>;Apl{Zp@G!V)Q0@PFOgUSBi9H; zc`pq&BTYALD?^|P3XbyA*Y@#KinP|z4-e7_)pHBd^$5{H82Seqd&yf^x@u^lMKWg_L&DS2hbXv6NGi(^8O< z^7k|JRFKj1afQr7m3?J>(O7*`DWrjs7SP7ZSj*VbM@Pd|Ln9EbXvZ9wHqX6{dxRER=)bftub@J^_YCLFTerXhYXfpD=eV zeREHQf_H>1QpUt8z(r9XX%=Cvrz@?e=`W?LEoY*vZR95vXc7_VVJMH(mX?>+_cT@p zGQ%y+qQD;=xgcFnL#ZeQ7c&IX%SBm7*;wCQ7h!5)6oj@=L}=IqDq2}anj^v>543KS zrf-mpjBl8nu1q)rxL(Q|eAxIJdxd#Lg?Sqr>Ug^b`6^@3fUj?8poXoczdkA?N)F|v zYi;Hg;;*YC7apo?XlsU&4KPr)_LL4s=_+b^pu_YnZ4Aux^do)UgEhhf4b8*d1FdB+ z3VLQXQU-cP5oqNAeJw~|DGa3xOb*sTm>c+ppxph#gNz~!u<}5fE7Dg%TFTVh)K$*H z%fwI$uBRa%WNK^aYKaY#bumQR=mtjVSlW7lu0if@#t21iFCT4XWwe~9k72N(r3+l! z(#ALvB#W1Kl!AF=l#i7Uu*};sKta|jNMAuY7>$ASea-a^yybmNTmqF%kX|}2UUFer z3*As1DRiWfhPQ=*va*qfJi-=h91tciYX(OIo0*3zDC)tj^i1F$dQl!$atIA?WsHKX zoQ+qQg`$$2B~VAhLP<_ZHXN-1(guZ=2@jRE(et-<39`Z{`Fo-Kq;-QsbwM{{T}av^ zN?*&+QaV7vBTT_6*dOIewZ_`pEF@T7+SO0jEkq_9ZsVg2ch$n$=y^q1xMDOt4Hdnt zY@{MWy`;U}0|U&gr4)UsSW_MTW{tnIH|N6s#h{rNb3N%+RuWno5Wu zDNK;1n^}Mt+R(-ZZ4qT12w~B1Lk}5mBt~8vFmOT2+9-s3!cod-i!hxaT{jO;Mc`f? zS8X{xH+d!P0HmHJHo#Lx88}i?hZ^K4_egIeBW0AAlA=2b3t%V20P8E~9igP*jnFbN zHS^ckGPVtuGxo3w38zMoo}V(@&CNjDAkfk?%vA%j3Q~@Aan&@Buu?Ww)C;i%UBW%B zU8s-~DQ^Ql-Q<qi#@9$sPd?bjQ$A43+|yr1Cp^@{QU=n~Rtyc%2}A|x zfEhzZ(-yAigAVX_3)Dma+as+staPOnf~=7W7)2d3GpYz_Yg>>Xn&!q~+6Dn=H#Z>J z#FN^f8|A5|;OQshVjSY7gmIDabaM&SlQs?a1fBimv4+-B{>mUlb(A!OWdY9UxT9UX zf-}k)Pae}X{3JE2XR4xba>`}Ilos8k<;qL9L6JBn(~{s zaq4{oY~v0?r4tn^1`}8J3qoc+nNMH&;t1_;4jw|JA-u4`8});=w4ab9ZY_B^*SDgx zc`XIg*i6LjskRI|MypDPEe_7b`*r6?Gk4rOyJ0p-=L}8Kx8?UI{Jd6VuHzFyJkF}m z3s=8l_uk1~;P9L@`{o3ULq6+}??e;C24mqOA5)_{edm@hgZHq>YTEp6_mgT~wi8Y{ z`qwS)H!TO7l|PHLli!pUV8!y(A>7vLCpNDZ%8X<+{~@%~@smYy?7lStbGCR7oPQ1H2+=ftE?UIN!Cd{zx(;eYq!HU1pUkV*gy0AitN=Y z=l@-XQ_QcK_XskS=#whwbMRLaY5!j8H)B~9TwS{P`t6NFK0Shf0>_WU`IH~@O6*Fs zN_!}x$&xNTVkDV3eV>3n=XmHzw2F+ha)-CZjNWwaTJ3*|Jt8VxkQbZbL7y3 zLJ?#EB@dAyGTt(E_wqzDptd)8R-yo<R1Qeo_P7>fv*;WT~7>Rew%zV4rT1Cpmy<)uK5)sjICJ-l4bONPc{jZBR?6!#_w zM@Ss$GB2ui@KF?{FD+(urO6UKa1uh`|1Mz6Pb)@c%+XZv;Cp~48e0R^>`M0=ijbY zh;ELK|I^j&kE(5&QYaOr+#F@kDrM+Qz1)$;mZS82T&hbUaZV*HrQ)Y9E9#Rbag(v- z31{NeX_tywHSxtCeB@r=+{xRW){0LaxHVAA;LGy*c2;MrEVUDo{t$npQ^Q<5Ih)TZ zX>+;8lOq9D@_?1DIS;sW=hW)Nk@+Y0*{ZY`1xC859)~VvHpHhrV=XGIWyGaZ8QgyE zk@)7UMYqUldpzn4OCvRwcBEI=j%XkF(^GT-tzp(x8Wy`fnqexX!f{;o5oN-sIC3#- zQOc3eUxjm3c`XY3U0`gTGh@7fAOx<(PBND#cypO0jf9sEP0;B8Vu=444R3kEeHgla zm!&ESux=Y_^OHfnh@q>O4`bgCReR0;0EX~+;t@Y=#@H|NjBBIT;8pOcDks3&<=ATY zk&`P9_*cnP*4yltOY~o@MmU3!{_`oQ_2&_5C6)6z8CMe(q!RSTN<2qtcYqu)ysd46 z8W4zwF_zlG#XJu_Q!yd=f%8+YQB_Jb^@7w@UR=H56 zqO4i1fpZk95_1?(KDS@R-$60n7_kMTd2=_ z6NXs)NscozV@&^Y6s^UTv|hm1Y2O+7431jI*IRwd6ZGbNToulio8nj+Rl?X~LzP$C zsRLKs9K|oq?yr<<+&wBG|1r1qumsRrG890_BjQ3yTJ927!Sv|FOjHS$e#bsHRyuet@|AO-%QW^x?_TjWYr^wo>t!r|g4yK=8@co+D}T=Z@m$ zm?uYzoF09RdY}hz_&nNq=&1E?BmYj_pazWUI0(g)I2!K&hL+Lsu|8hz=6NRjoU4ha z^Ng<4!#0OyTF(I&JSEcQl~9$D@0D+D2ICAIN5k{LlTHyt5StpqSSB_61|wTUvpo1E zdWEoKB?t9u?g zx8DLERXWmF%LY;-cT%V5o-P0r7bjW?JzjXSq3EoC_TQ=KR&^kj+m{we%}Q9!XLb5Q zBhWmi_40w(=B$k~YEb|iBpv8|6eLU6{`I38ltXnPl0j?XhxOzU3>AOpF=lFosLosL zJq};6R#7>wqjI_8ijrmI85=G*78ngeNHdyW_biVC&2w%~EW> z96Zio(kQ6mqVi8{ozSFn7 z0C`}Q2GK47{Shk{EcJ(0!~Y3H0DV{cTD^{J9T|;u4q6n*b!SMg_l@+OORgJ=FFg{- zaEFb48>oYr<(OgQDfmn$3F4WNn@;yAW?A^O!c2>7+8&#;AW4*6N#@1^YJkY?Q0`k# zdX(9~4e85&&3QU+gZvMjJ~jzr48%afz;v6YoK~mF{wa+n-?^cnL)MoMj_8zL!C_ol zMk=BhpHw8RI!FRV)?*S!X~#1bPJ=7Bn#iC6a&~yNzn9r>pCb}P4-7$=9A4>a-X5l= z>!*(7*7`w>P#3mIrz6vDr=E+0z*s=^H6eX3czksyOF^K2PH3$?(nYJwr|5SNs5I zJZ|+n6NV5U?hSF?zLPZgZNsTGt307hdhoPZ25|P5wN@MOUuYl-p4M>tc1@fpm7!Ns zZa4y83_Cc!6S^p{D3w{}Km08a76<^>Cni2eUI$=u`Qh>J#=LOe3K7qY{>cdb*Hhjq zyQp&GBW))g>1Ry*Lw#iNH$#pRPgWeql z5QvTL*i%ZfpoEYEbA){4{+XS~MFIU<+5;hKMj{;EG5t7dO}m)cKUsag3I_Ndoci%! z>v+_S94w~lq4o*=p~-5+z*s;!!9)Sc1V~lU9klVWHPlHWp^K$e9f0<4naNga%E2~g zp{K3m)am7BfFuFhlehkB9vY65MKMa#*eucvN;c3$P-)M#G987;Vp?AO zI2b|X9Ea)(&-sdDTOeN%Dw}@|0N?olY(DYNA>$fH@x|nF06cYT}r2EAl8?2lWmaUp@q_Z?@mY)(i~Z zRi{@wDprbhpj^68>NG|zRfceUvMaOaRCF~xaX9ABQc8tamuZ~ zjvU}~>sBidNVoPVIF!~vuzO_PcCn_v_40p>ndR{DNR@LZq*=M|&=P?@ft-OpNBY<< zOt+>1mnTzU?tx{4VdV~|l)}*{zxuwSnoW(m%-*}Lpvs|PJuYEPO)HdG9bF+vbT(?# zS@0Ax;_hGlXOhYJ)zJu-Kz~k3|ES{a0r^_e&sxpWb1cB{d;%Z~enE!>dCs_zh&o&I z{hvwFpa#t$QzOVh5K|;)tH~_@CvK;uFIv2+5e+n(I-_=CEKi96_@y>jCQyG-;QecA z$i3PCV9M1IC|VUVbp{OINUwiu05JU{wJ@pa?Sfi!Zgvn)?D&722E$lW(?atC2nlhzHf|T;k*F0hDFPdd2M+|SJXG&B5H&XW38sNt8NF~kz#b_$?C}E)mJI6SyxMMc0h4C?*PsqSiVVguKT$@@HH`}BQg};VD=7sd}U7Wmo|4zpJ$Ncolv2f$_pQu$Z zPklpNny}Ied=kTydKq|hIh5*Q_01dC6UMzKGvOU-=aeM+Ujvuk&XkWoG&uiBwN1Z# zu_ZRnmy35#+}XXzjhdV)<=mgCCEQ{QM632_vi?$O4ydVlYMW{Eq5G>l)DYY3%WEw= z)?wse37EBD{m|rJ6=}`h-s*{lTRVL7?$L^ywVnJ<=Q7CFdYehu@e! zVErNYKbsg==inU$pmr;6-c_kWC8zBMO?HT@Jp+;VzDgx9q{z)HDOKf1%$a({4?z&E zUm-MEU-Mny^YsUqp2j#EHTBOqB7F4DbR@-EH@ClPI2SJ0TN9o+#~K?x_*XE#Bu**_ zBYetb<0^qys1pZPfl;Zky zT;+47T@B<)t)uJj8eJ~f`cUu|L;G^1Sjlii7_s=lDc-_1rke@|gEc2rCzfa+pEc=d z6pU0OA&j5kX!Cg`%GEM<<(Oq}q52KIW$xd5$Zn@-*+8sObSW1-ZWt!v3MqCMI>qOd z;x0(<&up4Y6n&>(dHQ~Nie{2=cb}v6!mb)`t9YyJZml4?@IL0yusp?M{R}H>^SnMKM~L>5Kk?=hi_f%@wX2b_rm$-v(1u;QpGRx&u9|j{EzFr~y@PnA zW}|@ejyImPzNa!X8s5WSi3}q&^JU&_stP+8TlrJ)*6BJ7GriGaM>EHnbrEq}LPilDX ze}dB7-f=BuUfxesn}Bm!*a~ybBdA%KI1r&`qk~+##EH@BB)*Y*7p=}BU}Yie`;~&6 z+GWNg5nbeLuP7S@XhjK&98r8q@Qpc}UZ2`qmzl9Ow6Rwx#QE_S{39__Wn-&XV%#TV zY)Y_Lq4r&9^Tn2U{Wmstd>a}?*#|s=7bHZ7YY=;DCBy!RnZ}-8vXlAU?a!2VJxS1d zR=c^=<9zrwVo$@IbGABen`7>!UL)JmY}hbr-> zgI5b?rX3rij4sp;V^eC|?M(b#`vNN7cNIgZ!22l2;cP)V!!y$CVSRNbh{(DUU$&W` z;pR%^lGwX^v+I>??1-fjdD6J1#~550eHeW3cQ5hxjvm%{q)YZZ@P};KgUrFtjjYlY z9vVi5y5C}NsN9|JJfzKhlb;bEwy_r-vGKlwq3ARs8bi#UQZYTq=jP<*hHeEDCbIj$ z4#Dl+bD8nhJqpP?9d@S<5fnI4OqV@Lx8bZFq4`3(dnO}Kst~@x)!DV58RvOGbPbyf zCN#(5pkb5>xwmjHbiz{S&(`UcQv6$fIPBZ4rt-o2Ahh=8(j>nS$^X0$XGwpVdPTL4 zIg@YpRQU-8k^twIBJOBNBGWN!eU5wJ-8Ii+>3Z4GGs#!?4n#Yx0#+gq^<7{bJ;7bu&wUa?Rx%xOpS z`Rm6fm?WR4;@xSZ0Sx%JX)yfIE*!bwX|6A0d6}e`_SN~LCZr6ws&B=@nYv&_URddV zEvFOCO&NOgcPHir(dy!9E_*SDZX2W*-$2J(`s5w7YU8lOdTg&CLt5Y0X=PC&4$&O@ ziO{S&Lq(ax^qswCDagKCz-$E#bs>Y>#7_aix!FCe2<0kf)Ap0A*}Vs6FLf-x^+= zRn^B2VhTlOmjiB57Y#QgIS_^~Vi@WxZgniB87$Zla9%wj=Quk<(*KbZVGz&a)%Gw! zKhgVE+slv9Eh%X5F0~(}Y!YhkB=M{Xq9La|{Wp0tq?1jr9C`+D=Q3|Lh_)Mwwv$+k zhTrGBdUj3X7gj7m8UT%lsU@l)>iE<(?gVjln~};hH*NC!PHp(Nw_o=sG#}5*4NFYE z5p1_nE-|Y7c6Q%h2V|77ImEY7W+j9>q$fL{(TA#Nz7isZ>>i)Ly3zI ztKRS3qiMcA_nH$A8zNnK&iGK?%%4-%zNZ9Ru;jUinRF1p=J?{CApW&@`3V}{#F@ln zp+fHq`aRA|w?s!g<4W?25SF~Wt;}i+2rQwsU9m?gaSz+Hmqf8Y>-e+@6>rtF=4d|v!0Qfy_nFEX z3HyxRsg|T6Vt%dVi>fzGC*spG=9?6o`4r7mx8D=y7l(O3?cwQg71{G0I$^~{Uw8Y( zXqlsJ^TP@42cN;R5dF_XgvY{;=R@PoxQbuyXD3rm^O0?x3s3VQL0u{ytgse>lVusk zr&!vbJoStgSvzkHe%GJ$YSqpCad1K~h(Dl0h@rgZqjuXM9<=a$EGT_vmeu37)8j@F zd;J($EzZ{X{l+v91zma_K?nJ{?o}shlz(dP4RsVKvuS3{pD1!efVK8(NWe1AFH5^k z?*69_+lezXb}rIV&DtG+De9b3_E*AO3U#XqtrVFR|7z-o6XWzp3DEY5&==2}I~e}G zIDE8oFCOyke|?%gWChfs=rdSa>(@-A0GTmhAr_sQ5#GuyZhV73P!G6vwadWSm-d-7botJsiI=?Z-wbI^JQr zVMMD2KVe_-C_L;~mGbH(=WPaF3|$p(6@L{rVZ<-OilZb-bsYF(FxRvfEI#UDFG5#O zDU~1Zct`)EM8p5pKYsLA1|DzSeky)ur(2Iq%XfjZW5%~O1%}@}Q6JdaZ!vm4@**bW zaYBhGofpjug^SNTbM?Bb7kGJFW)yDemAsQ|QY!=_fZ>{3<7ko93DLdKVER zr5tmW4Nh;H@fge?4`bIH$-%@+Wl2sT%k!Lueg28xnj^&yc)5$O*sgt_gcRoba|*LZ z+ojvCZTHBXjePdO|8!^Phc+*QhW(kBcnmRN{-Joo86~6c zni@##Tb3zOi*@hWs@ZVsqg6v;aVlb}+b@3mpR8M-s}oQEQFtO>ujC-sYKm_9LGCo^ zpKJCZ(TVjr;`c6muC~|D-x%RJ&>3ZotopNK248NM)Z!QEMOx9nkKThC%8W*$|MGE@ zRC6#b>DKaRuZofig%7gAVG>taJNYAM>S%m7*9(LZQ?jjLEPj~NEsQPA{W!n6h(o~I$qD3?*cya z=|*hj7pG|9%$s4ZmwF+l-H>e#rm$D149H&UQ&x|zq+#F(@7v*cN=?kD@UCx5j=H0v z;dm5d=I<0riw%yoSE8v!YonIGH*MQSZ0=2I7~9?06(Ri3dtcj$GNBHA2hAu7Sy&>! zSHhntPdrc-Q{9|i_wO)Wc*md7vSsMpLs;tgT}h`)Mu#rV9j-a@!9hL^g0LEZoXy0-nBgcQVgtVdlm>>E{5 zgJNRQqqohS+D;ljlexcj{kf!^Wp|nltb@OIbbg_6SqJtiR=Oy8PK3SCB8q0Qb~mU} zr1$5)yVDsBk+B$vdxkn`uUW{yHWX0%WMhus8sFGQUakqE9V$t(W9JTK<;jL^cG^ET zU|EEu^X66gmRX+=%to(tn2zU-T+|Lm6(HR6DDT(?a*FqN2-D)_Fr~S<(XJ9+ZOP?u z_(wC?LMc~MLrBs?gS%~&FF2F?;ezIW{(<7ZUK_98n3ELjo%^|~cD7&07DjriPa4OQ zt9_bDUkJ6Y&GF%h_=2K2${E2<{60j*Jv4Ra;B{^(C5JZ-MC8PhV>Zv@lsnw znODo5d6z?b#UODl*x$2N7Cp676u<91z7fKB%KGkQY{9V50kNMprZVr$1^uAAPAXWL zyE_dkFOvQ5^uG%@{LwhR+ZIu*H>Li)eJOgc;i4$1DK>4ce_zwPooE%5XE{=PHgf|C zJR1}*|Gt(M>@lqiW)_Yv4JCfCFRyV`$ZtWFm--hADqoURGlPBSFIp;&rQJ6eVIvoj z7R<9-PO9C<5EUSbRC*N=3H$8SM=pfJK9AeT66-F;U;OIR`xwO<64c|*D~3S-?12*; z|HzOnMij)LG;M-f>O8vnRp{8tSIEtCW>m44Us4P9b{MP@A8+iwYngqQSq7Wxn%$OM znvK*Jw6Xt2d7QT|(5ub3W|Li7)Ofp>$;ahf(J}X1xpVx_P@cg`YrONF|4g|qcBw8` zU&~}JZVxSx*x~#KchZ1DDzgHoBB z+%%Q|dKGN3Y=qy{cySrxWLokcZ?kz|baIBb!E|9oSJ0#bdGo+nPaPRWC!fT%0b@ICq?)XC!YECC($!})L`WO@c zt`)h@43zkf_A9>=$9dF0|1;KC&R1speUzxJj3$$!uVpW8J3%p$TQK}qDrI-7`pS1_ zrNoPKVkZkb8XA&p@Wm1&trFcTzE@?8m}jx&1^vZm`AX(wlCdW{J3qk%n=S=ugd=;l zLK1&(F`A2#v@vVZWfDmj|2%lhoxsy4x)`nq!xMt>cHKXro51ZoCsIvxMopA%Vl13 z2Di!rbqUTD*KfaXwMnwvGDvdIXxwjy?;5B7kc6qVgeAVo{b?@Yyz&HJe7c3lUc=sd z`H}jeysIa7BD}fYS}fJ-!Rbumz~Hs5JBh`SMy{*B$6}y83v-`+D^WaQ1zWJ^du)g} zJQcb3eR*5$xq-`F*n!9tcbsk0zQY5s0%-1Vdc5BB5=#{Z5x8-6y5q;O3o-3 zak{9n^lVE#*axh~5OU56REXePKFm9zR|I7XX#)IR_u5aK(k|C9-Dn7Jj*WV5pt>T! z*-}&&j+3JwN!n;B<#8iXKUHwPcpoSaz zedK_WoaAl02W5Y<-c}lyj0p+hw|3j=8OmUmGo%*-KZD_Eo7al+J@|&^%6IHnir=S3 zVfpst;lU9KLp8tlh8rsdqr^RnE>-@B4mudiG{-{+MU)x3qKNuypUkA0zmA(@2dxCu zs#6J34-3g=_I`ed&0V#O74?SriwvBVy2JD)PuAa^^oVUg{{7nfgBVa4l|5R2T}ob) zX|3}expV+osm!a@B?@mYV~Z3a+VMU=Aq1hSj$`%C)zKV{Fo#9wRb;5TzoQT( zv0m!_V0GH$vKTl6>hy|-DymbW%q2|-D_@xlBX|^6gl0|n%CyaAQv6W0gj`q*zWW zjkm}f1RLl0!IJoj`6&6!lIGD)a0Cff7^*GCU=@Q1i@Ig4(5z0q9a5K9NnZ+xh%|YM z<^Et1Q?8pwlXhY$>9|3oks9HdLOm?MV>RVi{eTdDPuHvs$0C1cY4t0gj0H zxAMUCkqMv5ft{9Zb$YTlRXLVu=A`(*nNimwk%$n#tYzfzL zjnCbSOPlEnW1qv=UYdxQ4U&LCYK6$*#==i=ch*O<7nIS&n|e|z>p#A3_@!M?+hCpK zn3QwYZ1$H9R4~mO*LcbL_kiHru-8nptdrl+1TI?KN!r+XO#y4M7-#eHrWLiP;adVt zPH%gJ^gV2UVcLi$PnWOH9I}Bd`0!qTq)v#lTgzbYq=&31jZh*ySUMf5j}@nGVI9T@ zGQIG}L_hCxv-~oOJGOHrFtnL;H)hWzRHEb^f4x)-ggf}#HxqQ_nM{v;`rFFoZaDP?z3$_c>|&xu)E3X+uT-R=G9ziRzPLgrNZ8 z$sIy$qI-41{3UU)3S6_6Tu)s~B^t zCVNlW=jW|>FTgt6o`g^!{e;gb1N75uo(X?w5ozr5y zR=;W~vG*PmplPQcNnnp%e%*gY`BPetQ?+CBtFa9n>QZXEd3Jb=7!l%Wf}HM>;Xwhl zMffVMKVKw!(-^@9JIOC(Qn6{dI`K2x$%;+!DV5=i%^ccHR7v7|a8FOnH|1+x&*i4d>Wv-D6;cGQnW!n&w5d&SZ19Ut_xmnF z>SAyDHOJ0$z%i>O$ z7STghmmf)1`4H!Z4bq5aBQ0RFbM4VZ>|!VzL=Xci8yQ+u@ZEzlF84=3mcARJ?nYLEaEBU0IumAr?IYCp}Jx2cI9r#_0!- zS`eD!^a*PJ?!aEV$CwtF+VRn6!Z*7h_{Y5d&5x2`iOd$U*8H_|XJHq|Tt@k80wYCd zZ(YVFA|HnkaH5$7yOmr`UsZ)kc3C5;`TB$d_VlXnpH=SY)pwQ1u+RBP1G}c<=#wV? zPHDO_7WoMYEs`2gD(su%ARZ=~C2M5=J%!l2qu+N55$&Y@G<=&En_9OO4H5P1z;=zP zCH(=RbqjztH`uA>zaA#YD$T#y3BPe7({_=$+?f3<(@4_p{HyQneFC_?aX&L2BtMiLZ8lGlEB4Z#BXKj zSB~PpO0v!r$GTnJ{>mK&O?+!9-sib`X#3h=B0Q*B;-dfPjg{yTMOZKT^_g#X+q@#q znbJG#F}HKH?cOY)R-uynh>>Ks%|B;ZP9M_x4fND*lu4NR6c3aiSQI;QgENyg&6XOM}10#ztdD!F4Qb3tT3k0Uo6mqMX5i=zt#FP zOEiSla;@*N&5ZhFY&qz!E&uowttv{KV}>VvL+nmFB)V^L2*%qtza=XGueP_nyfl!+ zLoPBb0V|ui*-+QV%M#|eOV;TJ!ld@StC!OvESq2DRBYU)tSLmR>A;p$XmAXK6`kVK58L+G8I&mV6z51B^$2V=0 zwjku(nGBC=p)!EOBntz*bwsiJ!<@gA5*B#XW(JjIv+E-UotFS zEVC2r|J*M9Ob87POAz%kL6@7cIB8e|)}Oqw?F3u28wexd&SVyY#jWq|wNovTFO6Xx z?X?XXk!%aI`}}qT-^ZiQu_s0D#t^T=w!g&^9ADx_2ewNZievW(Asb1wJ>NFGLyg{BQ7gOAagi|hXgw%$LK#Q$}g6n;a4&elz_~a>Ah;CvMl0SzzH*G zAv|6K_uME4)axWPee5-huYy?v{g~540T~NV7Y#%dwv>JZ$~v6lYiB~^>CdJ}qb49m zuK1M>Y#zh;;^FDKdpVL#r&4Kq{rg{270_6)YYj24^vR`F$Mmli(u&j_9X}8r*Ql)i zJA~MKC9brBYqbzp0yuz|gS}*GWN6fek%nt0b6OY`0**HNi!aQaE&9CQU<9f4g5u9e zjcT==yDHmx!f!VU=ZL|6M4pR#~YRQd$2ZROl2< zs^LHO`5CJ@a1KxEXXw@I&pdr<;9Z9ek`Fw+@EduH?sJ}!032%uzg#kVc5UpSImDb*qW69C6`ahVn?Sl~t-~oj%s)I_+!ZQUeQ0nUDIdBUTfBU^EoAU4bsQ@4uc|#!+#?|sc%yp_Zi=KT2s?h?<(cy!p zx*n~j<-|Cum_h235Z%1D;PeFH@0XUqruJj~4AtV46g!Vh3kEs%u#Y#Hl7j@EgWiKN z86rmSw;G810WF+c{>Ixp%=m@E&Q ztwA%SN8MPk!B&Z6?82?EVTWy6=iR}0eL(YRyj0XEHbPz9+AFNFJYyQ9%_4* z&WQn+uEYwoKsYF!RVqo|1K;o?ty`fh4u#AyWi#nVMxr7Tkh~AXK)0Is0th?UuozF( zZBR3|+@Y?SsFIUtHHY`;%yy@VFu0?P3C^i`0B}PuCEDu>Zy&7qD@5EET^-O?3 znsuMrzyJ3<)!wjjqd>_P%DNwAXYK5_h1wxYI}bLs9p}>G$isbTyDx4T#G1J1*R%Ik zS6k_OdcN!ljQ<3ed+|Jv_57#-?bouu^+KOeiYzQ3HSewbw6ycL*rdo0+nZ&cq8Sdz5W{ZO`gt{}QXY%TV8y6zhz zg`e&VYH1LNe1gA&FlpE!!XX@Bfd?-yZ_n3$m3PyrDl!6gZYlE53y@Jbs^8y(w_vIV zJJSXkYanCmM~ipj8TqW=6Rn!pGfVm+GT)XuQ=_~1!lkY^%W?Fq*17i%XC$EoX=#bY z;kpUzQb}J}=G(qp`OBjreX7;!lwWKXP$jhVs_u<}#5-7?w406sj7C^XNV`NbH z{^l^`bzQ;Z>w{&$w965<>+wHzX6BZ#&pmUvdPm*QmT>Sp11S+(@dA~j#i|UWf5RL8 z6MYe2&Q>=wuC9tidkYD0GNT(20(3d zVbUFbTx98f^42rMhpy1kh&>VSdP8;l+50^YWlM*T?e{1WyB%ZJ+Lzn8otCW#xL)PC zE3p-43~ifFjm9l^iWa`qA87%v8$<6-m#XhC5NeO$O|BS32=$HM+55b~UoJF>kV0m= zZF22f4*o918jqwY&*nV;`==m)im?_1+=t`bIS>`v&^uq>Tv4H{e##aZ>{HwGOG89U z4|MCQ|Lrg7+Z0B(>`WzRtJQ(@a+GBK4@d2@Jbq$u8+j#6o4@YxPk8i1WmznKiC+dU z_m->(2N{JF_l1yW}U_lB{!5w&TK`zfANM$z1Ez7vWI=q#Z(fxY( z2)a}}w!(WFWMJ6{ND8vURXd~I+KpZnuQav4-b2l@UcKFM%XY-SmZfe7%UOO<^A z0Dp{Cw>PoWvZI49+7F#%xEOK;VB}EAlb^wP`mw1;@K9`AW_MvzISZ)2h`;(I;MV^R zRLi**E%p8%0_guY#s6Ib@J<3C{r{rW|6LLPuM(pFzdGvwSSRY`ibJ-(c&@|n1&>e~ P@DHJF46o31zVSZ*v?*dV delta 12935 zcmcI~c{tSX_qU}im8C@`YZ;VM_I>#b24ffuV-1bLFoUs;857=oC@rW)mdetCqOv5B zEc2lVMcK3asFWotyW+Xu)A#xBcYUAhdamc`%J#nB=RW7W&N;99-1pqg4|!59@?1r5 zU%w`Aw^L13ULC2fds0hB^IF`)eJCu!+uu|R=inTsPA3wu${~)7G-Ga42&HVv@WK%^ zaXv^Uj_j;#6W~UWS5uQ$M`=3+TN5MbRC7BOf)i0C+$z*bJyg?=rcI_h+c2GJzGfC~ zRu1YoR1ltGj&{_d06B9zoT~}JT15ws)6nv9aKg|mkeYNWqK2jm(n2lLLRDVP#4kJo z7v!gIj-t>bR3Q~@+rThiri-Otgg=ls1z#qn8W>ZoDjMlP2@Y_@5Hac|mUclXteSsl zgo7(4%!T4-VqxM;(MH=aFmx(0fT3k!YvCL07e+Lr0(rIIzyPv28mL0jaKR2X;1R{f zf#N_>F{RPNz+WUSN30pv&L@cJ15pC(9GzW#sWu@FbczOsU>Bho7Nr{z#h}`UYWfl* zLPF5mbd7L~t}VetHPYMM)>Io6jI^Lx1e>5Dux`w7Rl1*_Khrzh6&(?QB_nALR975I z)509b2v#+-4|T8!*3k_0bqfn4xtfviz$iK+f@Tw9?uay@Q_&D5%mEorWki}q27w0* zb2`p7QWu4_#Zw$?U6^J>JS;+WQE`l-x@kq>N&XfTH8V2KB^+sG=}!npg}UKX++6TF zczc>PlcZ*^8D@_oxeysq)^;Rwnm^euEW#eG?L-Y$#c1fdII5Gv!WD5YT|Z10F!Mdid&S9pJPQhvcc3KW<6cdVtYoG!f&bE{gD$&N=-(1@+3WbBri2*k1 z+9(x_eV~)M23Zqpui{2hjbujI`&g@DsQ#u%;0MziX&Y&8Lo}m>nFKmT;A!eU)NoA_ zAsFrC6NJqC?C{t|rc*cyBGDZWNsvp zkPp%Eaj>!T4c63*B)i)Bs73mj)0~|(qOkrxc;~=?NPi-pg!2wVIa)vgOk1Lcj+Qgt zOf{Ghp~X-K&{?>VwcPB81d6>Gkx3?lC%%^2zJVkyH(R8Qwl-{`vvaVeZip>ilV+!_ zMhgzb(?Y|T4yIT&XOyi@l!>`xkgukN3)!Ef3#22pz&DbrrdAY?wAKhgS)u}%4l1UY z5Njw%P1V#X3>6USMsuYT{U{-%$UsU6ij1|fbHb}KHR-nI4yKW+$Z(o!u!%0&Pc;3NEkv2qTAll8EtnQ1Uo6^<7RZS>P*bq%?l&%&P2$*P^23R`z zgu24sxkbSqS^K+^$-3C1wj`{!TLj87kgUek4#1N_LshlGF!Plv|7U3IDIv`D+O zX?~e)_ui|AR|p9#*g<&w2>W~KkyC1?#eD4Ugyk08Ju%jHg7xN2+jYLnYDH$R)Xdu7 zWMf|Scy?(d?Ff&KkqR?6RgVgK;%P0U(r&WN42isoUfF0FoEizF}qypKYc`?g1 za;ZArYb2weH%J!A2g@Zb`F0&FJHw9SUg15!W5Khrr!Tq0H(bEMH~;R7T{=pUq9gCB zW;eQwuR<7xD9!2mh2r+j+nejW=(?A}?4&p}TQ`AEs3zdD^0U?M+sK6d)Y|XO63+(7 z4-4chQlq0v>z0{N=+^HQ==)Bu)y5xbSiOKHG3V3QPRA_uw%TZqTpx~E8EI`2G0y(A z)(K%hcjo1tI9;vc`ostQqYHCNzO?p-)e~}WvCrIKC7Ok3ohfa|edO^%%e9h>|Iv25 z6mhD4)%ywK`@cRDjptfxqkghlq|csMdrOT?8>aPpw5Di}LRqJ2z4+EonO?csA&r8^ zMT~zf_!3)EJ!;@rNBnLDWl-yu`YvmaGA5UJ`Guonf4XCT^lU;me&3LAhS8M+@m}*P)HGdJ`W`h9r7Fr?=+ke7FY9WeRs!nOEqwytR+cU zYW+3vA+n|LRK64RbyA%2CRW1v*|7BG^yi-zC|3dJf2;(Tknc$&~K(}9y zj}oCt{@D3V_B1T(!L}gsA4cO0&uTBc7(ni`-lNa8fO$3wH`gAknOR$))XmuY~W)n(yrk%KY&|ef$C}YtEM7 z#JXzTb{qnVMb!oM3#_6T;sXYN4i=Qhhv8`V+_K>-Y!SZ8)x3KT{TPK9?*;z2<;ipY zC5*;sNnda;$ybZsw_7)(}O4VKvmshfsnHdK@%{e{;F%Xw(u~i=!AY4l> z*YX7^GlZN#_)r0PT{r|gD_i5QcqW!JI$ zK*7Kj;Y4_3fc^tPTfwzEhKZz?=VC1q>W|GX9n~|NHGS+}}7AR9t^wVCc!pehzx{(<0GY zK&i^k)iWF)mxQ>S0OS@N^uD>64tP|*9u@qh3R`qce}hM)1q?!Uv^wU}n|SsJ(E9f+ zfo=xCU1~!igfJ@`rgpO|_(hMH@%H*d`WLXZ+ZkYfAS=_b%}7T7LiQWP>~$rY-!T=9 zNYR|?Z8{2^QRDD<4`6UYXyQwcX-j2mDG7nvL;4^Gu9uEp=X!J4I{n&U_+i4d%e5Tg z?EMgDq+x}(;i8n8@USi}XHBszXjWFQ{LmK}cx+$GzVW2;gxCLg!%T^x@^0<{wphdI z4d8i2Qx0Lw%BpFlmrbyGx^A$GfEzCx;D}Qjl45;coNc0+v+#eZZv`TjEqX>GSG4_xL{pNFV=ggy0vBVMjth&gm^2 z9*^h9{;SJfEej^TiFC0s=V9y{P>d9nsy?6to`Gm*mGB#ZXeTEtJQ_L~wEYAqasFTK z=?HYrO_AAsU;qZLcy!KxylVhLMvP~&r(mXGU3$#zvKy9@LwuVax%BHwRZ!eHjy07N z3G7F}8XsZ8dOY)fJo_PVlZ|43|1)~eQ(K-xe02`jjJN99H5?-c!+8k_naql;vR(Pi zJoh+LkUFUjaTOe07R5yyUo4Qo1|E-<<`OjrN#_zi$`szrQ^H~(P>&6>s-jx^I>td36Z8P6I(J|%dK zPjDPquh?D&SPk#^aYPkw*vab-7)6NAC36{O-eOxB9%)dV=`dQwUK^r?xA(mbW;<|v zSekQZKQB*sz|u`DQY*Hd;#LGqD&)-TmC6x?w7Dk%cWy_G4nm&kw>UxBf1U@!L56t+ z;u-?4?|_TdG3Em=<4B}vkWOA%axo~4lYG4G-ar&ymy7DNcVvs}U(l+SD@CB&Jg)V# zzX|UxTK`EJ2So0FXH-im4T0ADIK&nKB6k83chh^5s<=7-Eb-Zi< z>39atv+1VqY!r~3Xivlw5nyzkQwvHe31v5v$zx54QWlp#9&22mWg*b^LfoDJLK6((;wzIawo(^0l{kA;>x=OLx($?D}SQSnW7*nZH1p( zI}s8CWM{d48N!K=mOAz?Z@fn(oN(m!6gDU*`_EzH6i!H{-*B_*K-R_=B?@Iay7zI% z5c#hS?t&Qd98r%Ysqt*M5do_#tsTkEDNi^Wt`%Yh=MSr9a{u^Mu=;gtG+uZ?Zo;## zfl-HidyqW&CpQi(e1=y>fyUv;-t)ff@d0FhJ@;uzIAQa15AxN*OFgGhUp%@#wH2{%!1T<4PI8Pd zR#ac0QKJ;%P~b626?Y!IN+HU5?bI9iN5%97&giKC-UAVda^Xq_S)vGYoYy; zGvo2~*Pq};^%6;aJbeJk)xwp@SsagL48>moKJdaFiBjq*ZsRLb+ZIkNWN`d{_4MjO z8DVz{DAr5&1Re^d@CRR#OhAD3FT$PsGGL~7xK!KvIsFaSra-MaM;mHEbvzYt0uhGo z(~RBt=hv#yqFG|Pd?2_cx0@eSsWyg&`S%jJItcuayd0C6uKk>UGxSu$Z}5k!}EhGO!srv|*BwvGC- z?RU?dT5oy}fIJtXLMXPr26xTQ%Nblva(!E-XRKbXgBm6`e@#qsxcu_i-VbL*RP?=n z$HWQkp2-9hrAz1G2PnRQ;cCOq23RWcj$LtS0NC5OnPm}A?^73q09Fz(iMnj5oeB9f zUzZlUaR7N;+`@7gA5%W>6TQ9qi1%+`gytNlMLepWboESejW@MSQ)b}UpON`p<7dkg zENx^Bt`|?Q8;?J}Hob`mq2$*91EWM*m zS=Ytl$!+6*Thba1Fc7#Apo|u zN)I%}9XQfkr>=79kIahJb1N<`$*X8Hq~rXF@fX*Kp!F@e*A^{QZGanb=GiOPs|>oq zz zl_#*&oa+QI>7l%0-rn8V1U*nc((Cci2j zlRMJ0v8~J^kqP9kGu0PLEorv$fz|mXQK0Ld(lg#MoF1M75Ff#8`Z*TZM|H+mZ`O@gV6PuMqT-q3TluXtUX?oJ!7yJ z($SpKgYf_(v7Mkfvrn5Bby{xiK6Kmb&vZPexJ|=~DR2R5uE{NQNY3aBua-*AfTay5 z7P#}5ddoV@TKkfD_J2G*_4iX4zuv4S0ZQZ)0p3vk(;qMM$z^ORZYJ!JEkFss%sW1$ z+nfH;(e}Ne02D3TvcAbvtIVaZzeAe{frM>ib06(Aj&S zuh#9OgKjZ(2~2lPaf)XQjEzEizH(Qfed)>Da@&hef)UgLpzK}kGNAa*-kK3;KlORS zBC$XoK;+nxvDZnjwN0|o@y6&!%`@GS(_i@?wce42rJnIFtn6yf1G~@4Djm^k{rffb zJG0XrJb=TOX1m!b;u#HKS@fYUIE+8k?XBeTf6dV*2C>)J7sb;J0ZZYiW%~}^G&M|% z%ll||1w?Dd=YIA;avN4nsmgMc|CiSNn%u*Wo}U6$>-k0OOvSFY9I(wVB^hrk{AkyC zhy7N!2d?P92X`~{62dG%C)Qs9@eF;o>jc~2Pk&~dRc8x{U)KlygtZ}j+8_x{e*nAS zBqm(fyic+^;FkZap&sw5r|{CSpyYK^L*PO2?us}Or{{0rl$v=v$@UcQFV|o2X{Ny_ z^Wo1bFMwvhF4t#C@-K`rfBk=iRQ0)kK0N&yhKm_`gpjjwLWtM%b+s@Y&9YAJetdbY zU?P-+n|Zaxvvng>s*ccV4aV?ac*YZzGOA#>9=8*ZwWq{stCg4nGid)J$9eHe6eYr9 zb)S^b>6@WaV>}&i|IBzToqby=J>9V=JL`vw&=l%Sd-4o8DZxp75YKWhctVcJUH)sl zH+e<}Y|SS1V0V**`AZ%{Cc05?_&d7}#8K2rh$qW1f1JYp7R|z)3-c3oN-IKb@kT2( z{V*0D&Lyk?Gp4u4^42yqs==LCDay68bxV1n{*SU#3rd7wy8I7DR>h!^;P6et+7{Yn z3r>RKffDwZ(g`A9s8aa`uKFy(TGgISf-GoZ5cpS9@m@|Y%`j4KYFVX>x_#aY@cNT4C%IEwAIvJpeG*Rx z6pP?4+i~z+(+U<4m16|xok@<%EAeT6CgnK;s(;65-jdoSD4hw8H+Hpqi3GAZ-tDpb zfV~5+e<<3?g~!Qln+g*jxWIhJ4jkYe`|{5Q+~FVSjXrZfxy^H1V7mPWU?lDqv*z9u zybniJ@GqE|`#OiwL05w=eoej&X^*MHIrTpJfX?xIPh|L)+a3gh`HD zu)mea&f3-XTOh=i?-SrKv`1fBN*d^}R_-!(E(DtUcJdfy{ZWi#Kn&2K&k}s*IDPe zPWjpeXE+2S;1*JP=G&8ta6|uUQEdDYFheyY@Q)c{8+#Uh250B_?6Ytl*&hA0%~zPq z3I7~U)1u55%eS6F+^wr@491WI5e1m!;P7sV<0IcqM2vSg)^~*f#elBC8KR$Fs?<y7$W1m$`hw)gq76jMmJ;m=y77zV&$^*o?j{pvSr(< zZ-gA*KVG&NBVz@PZmZ6?suIXEEEIjMZ0AST(@l@=aL7H9af^3Kv}DAfu~KLDP}W3Ve45fdahv7U0`GCfJ7V|!xfRN4N9&T_U)S1I*fXi}B_;eSrEnw{!9mbn^9 z_1hSGboL(1mUidP#$?^9ODxm>ve7m=G&;7E{ZArgMSR?TT(yz*%X0lE&p6L*Ti2+$ z7<1I}(Huz8AY7n($B%_Q6I*x4;uwdGtBONqeSuAZO^Dt*&-7|nL=R07+d7Vogc)rg zxbRM(R91sIhQ8u;GuQaayST~|RO6dtZlfB?8|d+$Y{9SP$Gaz6y4JN8<=CjND+luD zx4aLv?6{e6<2a4sp6{FO=45_s^jUBYbkuN}GX7u@Y7i`QI5c1Tw1Yd*{stn(*6U{Q zTQ45ToZJ`N4qDC#&*N^EOqrP^#RM@Q{p$Ns;`=FA-Vmv zb7@_9GKV89kNaB9r2HxRqPUm`Dg3pfDC_*AIer7jPiphqg&&07@E}O^Wd~&i zW##Kt#=U!IkQMv(UQzf^&1^PKPNWQCcC@s&t@*7Fer8v-*C)NRJ9Ri&?K+*|W!-Q} z#xAKhAtJJuLZ8W)qq}8g`qp&gWKhlJLYVw_mlFC=hK=s5(+zn zZtB&#w~gxS#mwz|`fZ_*H}AOqiiB?i#a(K&s=cG`>cWe(W_*pOe1jEqCB^@c^6@p5 zIXdHB7x5G2eBSkXQp=*t+JoMewtroaKZ~UDtUG1UQ_!h`hKpU5;-(HHeu4%C(L1`YQ+Av#`#ggipZ`m7s{1kVG)tLL}gvVe05427mf1z=ANm_4yA=TF7K2}3G>VvUjt-4imOt`43woU(6x z+(j>#%J@vopfj9z2OrNI$}CL1^H_LZ9K_6sttjB$oEaRHn<0ICe!(i`m$pC-%4A5Q zVVBhv!@lNu{OGlu^xTzQHgfa=;rR;RDJb3C8GDD8MAx>t=Qbvv{5qm%qOR`IaH|H5 z0m*7CD^KQNzdYJ=v$SbMF@}0pYE*Wdl6b8Ir)ZF&5+rx{4L%6do>V=GbV%y|FotRG z)d4)j-{uLb&Et3SrEe_}lGOHw4e}w=>e${VnhVil?K3Bb$`qavo)K8nF1C75?M03G zm$Hv6Vh-I2k1ve6aNxZG@+fr}YtwKFI{0mMvGQ@ip>s+pp1Y175AS|jFV#)FC3|Gzw9(9Q!scg#0GPVJIH)>HWroDJ`@%)uhY1c zn5tjfvFTaUJ&`^={YAZ4tbuoQq@z4Qqv4g84e5QfSvl^&`)Gs)^%>#qhw~rKql+C3 zzb-sGtYO)3Wcbi>cY0puTKLOC5Y{1y zpMaR%Z*pHn=l7<_*YXUhQKawp*|C4-nV!s!Ou?%DhRn@q(K~Vs*1OeZP>3TSHpc~y z3nweQxpHFUUu6*J{?8{GP5t=aYqUKRADLOOYUmf~VkqXfSYbv+vNnHxd-~`sNK%Px zY5kmqkO6mryx+QC=j-DZbRkH#?)-59xfDR@a0Kc4wW&t;+$wSl#g4YY>vv~kTB4X% z@tso>6N6cSO*bnz$$3BbumNH0+V;ff@t=eXi>_e>gt~&2JD#T%?!M2;NEzyHYqJ!P z>U*&00_geQ+O&7A>E<3r*42;Q^gPMQha(uD9vUxVCOu4`AvCVlFEO>kpfJ3PcporO z=BB~b!nLQryNOq>*HO7`L{0`_07Nz-Uh)CfE&1Pn#}{IQse|7ZQVWWj5(@bme(9x~ z@2ol;aiV~@QutkZq+=e!U4HV-rakW6#dNQE2|+2jr(+Z8k*Tv^<_qeCsSQv1Kkt_2 zOH4Js=k^nF8s8e!)k?U^cAVz9X)aAyINeTO6aHRW7vvJo$1kE7AuiT? zO(SJF{bApw6VUd)!ZGObXAvK#Y2TYpE=4GiX_I9_Ghi)1_y)?{G!J|B_2Y1^()>dH zx0>tEEQCqmaNzMv&BTVcONsXH(239cGWR+~f9>9M*I(4slbLX$fi8x{Ja<;`r%uIe zGGuk{3_r;wX?kd0Fg&h3<=)!hdqdT8DqXo;?E?CDN_hH2KfA8XCcI1 z^SND#?!5E6vf#zP_Ywn6eELapwsUQa5qPUTaSil%%#1N|mub3!asi zn-!HV9KPRO0XKnqn%DYfLQa8C(LO*968=^LDbr?GZ*xh2-!!AI3uOpr*!WF*7qibqH4&_<5c`n3%K8wpuT&`w+v26 z&ssb0jSK~62;jg%e_?8IV|U{7IeB-{XR)2_8SKlteTrbF-sDm)$T@$k6MX#0yTC&z zVS0AR1?~nLOhnN+o49s?7g?#Gxr{wUXv){sZMJXCX2L@yK{l4}v_&J;m1E=+m%4t2 zfDcEoG%$kJ{OWy1{4HJ6CeCZhacd{LEPEO}Ws&<1v&lCV=c=ac=6AC@!ya&K-AU!? z<0^&rvX&{~4}KmyQzbbKqc`2QGg0?jrtj%aa0o2k4-O*{y^lY!-;4Kuml*&3p9huQ z`Z~)W{z>3B)&QT?i|K!>o;2nYmRxPSde~H&&uHY;6N^247r+*Y<>)I!js1BGGWKn| z{%K`6+!nr$0G|82zl&O%K}ql`j`Q z)nQ|vD!Im^@C^=4iI%ic^lIbMOg}xVEc20Tg~A8&!^iu%BwB<|gYjvx^Si{uMr@(= z?vwJf@|m8@0JVrO? z>TwS=09O^J`X0G<7bM2?7UNql?3T;r)w(2A4aR$J?HYhDVHhp-I7lhX+8TT}Qw#g} zxs3)BEJH7rKl2|IfB_)dVXCnY+~7e91T&J z15a_nSUJR46qJ+EathAkrO4E$;N%v)o%BDw{LhX5J_!Bai~diNTNk9@u;nis3PkfV zj)qCXZVZMT3Sml&!S5@@{q{Gk*_2&~AC`l&y$32>mNr_t;|ROWrFY1lO4;TKJDFOe zMju(@_=^}3N6};9VC_TFrylAzz~>2V_O|97Ib$$9pYmC{(;ZYe+tr*>-iJ+9!J5R2 z`)VWp^Xr4p0?&UA!Kt9s?tQZ6KfktyIS#LBaa4%;7;X*!(YF1^LBT)Tz>#2w?tgx@ zQ8jP)qm9-SQ1{3)tszw+ts|8mq9ML+_x2*f<{v5FJ8kf?z8N+jHE0z!#+Xd`2ok_K ztVN2BaQ2My4eK;qLD(Aqj(7sD-e{%$3#v#FTtafIn1nAxd7hoC{0OcDy;j&ee}16f z1S9PkwgjYo9gjtAt6Q`0n)qY5H(z%Ejf??~`f1?HQVw=)CA3tv)LwbgIEr zt72ZDK_BGQ6+1%fmp9({(8-d=WcZ}ts|uUSp)35QM(%mwSK3lr55w^ae9Mhp|Jv*m z-Ib4?Q+QQD>I^oRzcu#DZ*nF`eoi$D&eEcjAVk*LI_0Y3(B|5dzI8I@XaCCR+4<)F zL90PU>#VDi%rAFZ$2OO%{N|zGOZ{mW=v1ACxOVXAu6OUQ?vgPw(EYX0l;%#YtHgVd zvO~cI;^Ar^P}!}3s93hq|L#SbnwrAzN=Cdxw(^P?ykmUJtY0kfqw_SUNMvS54hC>) ztT+bE(olG@R}nkgbs-Ytk<(ot_NndTc!Egq&%@5Lx@#ZP()zuiy6@00Q(;{MH!EiO z!~Kz!>uqD8)ZL}@SH}}<27xn<8(M(_@3KDT0)K8O%-zprl6eq9LPD)?wa2ny@{F1| zcYp=%O;vsWHB<7U1mA^S5BWO#p(3sKp|c_k(&-7mU#s6iNLw$79cO_HW=7nsiKZmQ z_6%i=(_=Tt7cTnz!KyR={N4O=^}Iyz>k|Rcx93xbyeJf14ynWOcX4`zEs^!JNGXa99<(tHxr_`k^;;Jeqx(ru_yH|684ceGNMcdrr z>0h|0rX&&V0Ql4`282r7D4M~8=)Mox&TAmY$_S=U06spS+R{g?20QiVYn%J6MA9;# z^i=Lv;9dWT0OO6>3ins=WjpPRKQ`B7Akb=&vjf{KQ;pWYVAGbrcHh@l=%49(JQLOx z`|m|Xty_7c@B16i?Yt#FcfgZzheLu)@JTbPHBC`lp$C(Bat=}nIQ3W~oXyRzQQw!I z|C@z584w)=uH)rwPO|f1qObyCFxXt3Oc7lA*qSz!9iEG@`T08j|k~WTwe&YZBZgc)hWxpq;q-MIfdGhQ$ zR7Zaj`+GfDeh#kVNw?`FX{LY0`(<#O@!5BmHSEI?n?a07g_ec}qO^X!nB&5<>9KN; z7m+~^ZIaK6$mAxAs~3KtyqK>)`(v@&RvUBsMGf}s+74BKVz^pBSH4eUqF{>1-PA*x z#UHv-!F&gl-FhBH)6L+|RUnU}wu$|vUU}AeMs>a9lLe)FZ4Jspb(_OL?pnuve52kO z82#9>8Kl&$9DPdPqvl?6TZ6E{0^8@?@bkAFQot=9!~w79(1&_5jPZCUj8R4d|L|@+ zK#q17ua%8xt)b1Zo`+8x_8)>IOEw+Ny?>+frJ?`>; zWh-z|a!d!Mu&fC}%u>Sj20p+2KXIhDVo%hCm=u_oFTKP*_$j(^2xe}vi#c{vhyNqI zNB>TT=`7_0$W}Ze(j+J8e-qrVX`0pD2y8`z= k5dR-g`fnNl;P~%bwu0*Cx0llHae;qm6xOW7 Date: Fri, 6 Dec 2019 11:01:16 +0100 Subject: [PATCH 5/5] Mathy stuff --- pres/graphics/MathStuff.png | Bin 0 -> 32522 bytes pres/pres.tex | 5 +++++ 2 files changed, 5 insertions(+) create mode 100644 pres/graphics/MathStuff.png diff --git a/pres/graphics/MathStuff.png b/pres/graphics/MathStuff.png new file mode 100644 index 0000000000000000000000000000000000000000..94531d438b46565454b9f7f2250cc40a7d77c5a2 GIT binary patch literal 32522 zcmb5W1yqz<_XqsY7=Vb1N;(J_bPXWQ&>cfJ44p#`IhZJ-A}SpUNGU23N(dH`f>Ht! zN+_)$BK_?L?|s+1{_pzM`o6pF_1+nt=bU}^+40-Iy}6eS^)(oFAKi^02!oa;&KNyA+S7FL`dW$e9#~`dx22u=o9d_D14>vK_s~Pg~6BTLw^MbArJ#S{Cxk)D=H== zE`JRralC|~a z;%Fh|tg33N#w(`c5*!kU)zc3)GjkOUh0hYwmR?#!QDculcU>bX3#_z}k+PvmfMuwY zrZd5j=po^R^HnwtCwehQof-sAtK_sp&m}5I-ZuMu!^p_ik`NWSD?S4 zigBojm!7tsvQ)5+y1SpMHvCl8%+*6r!&5ojQAA4@Z|dc$VqmN;HhEhZvdar1=WZ_PGTezWs(R=;}fw zdRXGT@K&m@gR8WrSCGC}sH%~QWtg8-kcqdip(HlI#3WRi;IE=>9%v}(qk%IK(b0D$ zNosjo$hi9xf&%cK=0TDqbH5-w-VhI~7#Vr!>R71iOAyUOHO)<(O}$N=;B@L9VOA2V z9x5*C;;Q;0#&{JOUv)ThuqfU$T!o-2s_Pl#6l{us{#D^Oa^};lKlr^kW^^MfTP5i_hRaDF*JxnakL_(D{49p~gbwVWdB&|fl zq{JO{z5EHfp`NC?K1R-ZF8XT55@A-sBrPqoFfmgXf~vcrrMixcr=zlpiD)>Sz}?f- z&qW=t?2K1cBN!Q(iWo>L>zR>=+9K#h>uMW#%NR>)d3jh!5_Gh|M^$tsO+^S6L`%Gu zj**m?rhN_siwv3l4R@)qJ8lXya(bg69Hj>cxwUls^(Fjx4Rt?bA z7B_Qq645gv`UE=$hnq@z>bYB)Nw~m5>SkiDcx@|335`JAaCL1rH)jiio{m4!T?`xK zZe|P~VID+scfw;ujC8Ofes0dXcn{IwK+QlINq2Q4Gs_?|cXbUFCy`KbQ4bFdVz|2s zLDWgyOwH5LAT&VVN-f+fFhE<(3NIs0bki{PCs=4nSm;A|Q!%m%Q1=Z`hXAKyU?8dz z?t=?)@zIwG4fFNKdRh8P>8oSK4N(=C={Tze`#Bk@Ti{XqhA^k%OOSC^Cuo`)=z2qt zQxW&{Q*#Y6a>iRZhU<%ahr9YZ!MBEblEwyJSlCP5B$yx*LI}aC`T05;t4eumI!gq} z5S+rq)Ue9NSSON^xD^)FYPco|{zOBMHo?^-RL?NjTii|6MO<1_M9f@WOTv>BW=b&C zwsZ#})WcjYR4nm+X6jx>&MJmsqG5*KzETiC7Jqplp{=xFL~h4(kZ`G;$ThD#ZEdYk$>ihKKbnVR6FRP>ZZOdTzaNuJu08omT) zZM?6kYN$boJ}yXC(=0I5%S_qa*8=P2r>-36YNY3C5G1Y_=!u3hKVxsul)8(kw7Iw@ z$y`G`OvKa8&{)JBl7za3zqYogak!!qUVp>JX094h0Y;jFBT zC0M9P`s<3Q<7C{mC5TR9UcMwhNll^($w^PrR0`e1KwliXek3B zL&eNU27ain=Ix0MgOsA~CvD_nVr6LLErqu*Q4Jvai_7SW1cU_3=*qZA6I|g5Wo0y9 zp?{-B^lz@(NnG&xpTsY&<`ZVLjUe2J7EakTEMs;kH1a_38r=_r{WrbK`VSaiW^yFJ{qBed?jQB@+fSG-_A?M```fQP`(%#Wh77$*(#}kdKQC zidD@7T?zk3SN~TeBgAzoj8tkT#GHr~|9{!T_W$g`_Wy4WIG|^}0}{}wknhQq!$S5# zf@nG!8thMR4INR^KztAhs(ttFSzs_{zTd5qJy+9rj--UU*mzezmfk&~mW#}fv`M75 zpB6mSdhPM!$D4dfC;R&PswB9%bMo*dX8pT%?OGMIu59xftekt^DpVs-W&X&H|4i_7 zP^I&`YyESBRUN)V)xl;}zC(;}-@ctVf9cXU8d};zR5#wdd82yw?p?Qg_wM~xQ&Wp# zJ9@PGaD%k_-CkC!23)l}$K|+br(4HVGAlUSs4$qYKEnd#PKBN$%m)rg$O{N~yE!;G z_!=4-zRXXyOOpxu-Z_@5aa{o$IH_w{9aQ8!TxWdKVcv!b>Ao=2IV9RkTQ@x6_DJ{Vpix*2NMVK2h zky2!IVRVg!xyJ>>VXNK|hiw4)R4_InQ}+1~GS5g)ABL5Z3eid8)4MWQ!_KRa@-hC?%ch>18+JygawZs`=T2E_U4g;2ZKxP>!bUZ zzI6zXRQY93D=ZwS-&l-~{PB`*@ssoQ+cq(q%SU2kV=o+vpUA1N-;P978;s=Q3cp+x z!@2h?J8+6H#Wg9{Q@Q7lP4rv&#${)Z+<5lv*~94Q=!v?B6`}Bzq0ouWyQ;+zRf8Lg zt-@lV^PfLj`_)PEfC#smU0TFab#;)>baN)+7>u<|&(onfg#0d*4(^M{Xuv*Q9^>LN zo(uxKHBeY}*&3+u!mkj9qyxU5M@9TtAG6&S7Z>;R*s){vR4HTkd{l5*9bK2`=eUj> zS7wkMw^X|M#S0fQW42bm?J1so`M~n2OLw8s?lTYE969$HMg5ZP_DD`iN!hlGTJGV$ zBVcJ<>Dqo&OHU6!WWqogYfKPxXdrhT{POs4g9E=e7PBajCDQFtAy-(EEy~0GT8{f( z+ApbYkD2r5&-ZZ121!?iFME0|4Zt0jdvvKgu1i!3*Kd>^my}$N12v_>y+yh^pJz$@ zIYlb$l3mIXYNP*#3c_o9SSyg z_4W0wW0<~U?aR#QSkO4z|8&pT*qHe1*RRcyXCE%F?`AG4h`+1Pc9SmHQT-X+61gd& zjaKAiduvULi&&=pGyl6odLH9ViDD7Iz59aYi~H{DrRTw|7rcJ;>Nmyrg*QZziF4nPZ0k$13=9k$0ZZ-J?SRR)R9ZMPcurJ?r3}-aa_on`FIosiFPM%unPo7^l$4$PKKK zkhN$^o%Z`7~&rIK=`MMXv5z-~IQ z9v}0L%gU~;K+u{%IB9-h5yxw_v2mZ<=2SCf(@-P&PPIfPDK&omcvs)q$tffXY=E&| z^rho$kk7aGnIB8cAMt>y?O*>cIB839bhp&#BGd^k9Yn2`STK3%5RF4U87vctIUlp3{k3zA$aW3S?30Y(nO-eN$Gg)+Tc>x|IK-mXetn%Ot(nhjb~*LfLSX$a4bIPBAmAfc z)!yLgHrP*GB_;*p@1nQRk?CJoPM2D2K`J^kr`PB>E7yAUi1-xpWI3BA;)JacxU;ad1S*9zQ;=iZs6u7vA6B zOi<0_~;>@s48~tKX8`a13EX3@Lhh<;z{O47hjx71itwzhb@QP|2>;JSGvL^e)j5ll2Z6+x#RrC=B7@_+`z=m zFO$+&IY{yC=~$gdc6DM@R8)afl$3lbY;+k-cpI_qqWbz6t>_ol`kZm}@cw0z(y3MC zL}<`4u-BjFI>|zU!otF=TwGiQ^;$L+Hki7WrluPOS>e;Dk8Z<7nPmR3<1dak5z8rV zk@Nqye&L9+dZQdSo}FW|bfIo#INka=PmSj@8AfM~;pyk!vQGPc%+vA!ck6l|-o=9d z(sozBWFq#AC{Gg`_*f?U(aHBtPh2<@B0p6xRsZwegU62z)vq2lI=p{Bv3F!7<}u62 zHclTxjw|Og7V)#SG)v^q`5#_?wiLL-uW|KoqIvMU;2!@#_Qq?P-^E1S{J#0y%`k->DHY(z6diU4vb-Nto$)bEoQ)=;V%S7N7Z@+a~^|P`0 zeDrC5WT&?j*B(Yj1&#v;ZgCtw95y^MQs3Fp@d!0TY1_a{|7`Z%ARX&>CnqN-5?MJl zhjF3K&6!XVD>q7*k4;)^$OJQam_pZmH~w7@R zXhST``xdHDC-oau&YYbWf)J5Upj!2=`+70-yLY!R?Ag=0K4ZU~Ch6H-`09wbYtxm3 zr(M8PZzd%<58cg>m&+)*m_8;Ff(y2O;&cJohxDDASI*-K`SucGBEtvkRAwC5^Kq)f zsOkwyN=nfy^FvI(XZjXqTZQWd*rdE~m=x&uSBT3*gh@lKlGn(9{p>F$By_DHrOqUG zso`(wF}}BrYGFUkXe@-sKdLb?+pi!>xm{r`9J1s7Tym&c08AHCiH#L8Kdi*^5aV# zihXlCl^xF!Nl#NdZ|~X2p7!{R_XLu|-&%`!XfpQYpVd|Q!)$CdXA~3^VrD-*S)8jH zsScte{{G<)1&rpyn9Uh`H|uhDQL|uSo_EiAnEolj-oKIi5ovzu;>Bo0iI#~oa_bUT zwEy7yvDq(QpcYFEe|?dm6>x|N9xLT}plUMqZ>84MpF)>aRQ1-We*hBMRRH^U3O@yS zGBQ;;zNS4XDA?1!BXREZaNYVYq^ii5=z`__kGwRKvEQCSO);wkWs2BmQf1D^m*?mR z%{O_C?dbd;Cvd=fjbyl%~d2jiE zrryJ;Rr~c9SHETJ7#iOA^XHEygen>`H65Lfk`lSxvqyXN?_x$478brwETZW~ODdO* zIBre+dn%3;y0rsr2M<>K6pmTdxn_6KF=8~9?#;-EJreiUi5dC2uppeoZ_xYp?>eG^ zlWpEf%@PI#syxr2M7n><)KCY`@9;PYBOxK-*Iz~;6o+0-yO*1LI=h-5dE+hB3Wp7T zDrYX7++>YYSI?s9G{$osPZ(bO*SHwlsFnp#?6dSyN0?ADd_>3vtaLv+ySGpAL+h&E zp1<4w{P~Vc$HL;%(c26kTBpSRODl#aAf{hyXlS?x5ad?LF!Qvy?`P><^z=8N;E|rV z_2B7FollB4duWwO+o={D^GhncgX(YHoOnir>45ui?P>{RKaW34^9MbLsw+}-`LqlS z`X>Hv{n(}XW~8EGJxy^$9`@%gIg!7`^z)-j4ebM!KI^N0eva+I`~A5n8~&?sFNdsY z)ed7(s~i$iNli^XUNoOH{0hR)Ki=foMuna3F6x>jElm~;PvUT_x8N^|(W5<^AHS#2 z;qpS^f$yK5jNPB=DwtVZGsfK02GnwfZd9g6zN-nI7~hpbC)E4I`Q1T?QpRxhd_F3B~J$MraLbBFdEU0P6jb z?Tw|5;;PfIN_(1Q$-V}!|9;~18yB(Lg~Nq7TtdK5a9<{J<9>DGQEF7mLrV?M!-t8j zg89YRQ_M!r=$%l}n+$0(oP`pEGoCbx1DM5PN18a;Gg$tztgLJtvSiYi*O&U%hF@LS zL-;ZJQY`F;18K3DKR+*Tjm`-Y^M#*!?2un+f(1(SgioGK+_Zw{fwpsdoB=bVfbG#oh+8zmwLi{I&kb;+tObauqpN#$ z?@@`uft5Rg)_g!r7|T#y!xI6&KgkU1Y*5 zBV*ap(t^W9WUP!gC()4G(y@;QIusV0cy6Ypox)fJ#$CRg2(>})8V4^gFL8AuxfNbh z!+EtGidSRgkag)J+Qn=JPYu`ASP0w+w|}~)-OEdUrsNTy^`pxVeR^*MKUq$b_8J^a zt9sFw_hR`$OJY>hk-_1_P506|070 z?HQ@5ClMETy4M3Yc&VD3utw6udLrF@wJ7NCIv`ZPL7Wo6k;(JgeKvP$w%-J{Dqv7@E`2nle0glg1oB}CWRnX@}#N4FwOwfevwrF_WM zC>gFyFkaGI0q{VNphQ^k00bdwa_w@jb+5;737Yt~7$(IH{|XN+EiEzs(S{uut-y<~%@O>@Gju(NWOLbOQSG17csC6j1qvXXa6js(5C&c%w9K{+u~J`%HC*UP`_x5Nby z>j(tG3J-9{3I$u`1Z*I|8D(aI2Wl2xSkJH^%yaZ|e0=u@%8#jD)O2#XH`E$Xe)7|Q z%&;X<>G5)!_sEMOkN;8Ig{qP0b$YVa{M^mqb0ow6_)b3fztHlV8U2~?E?z!9vl^iw zAXUNW*`*yaT@6eQOL<#V%*+spM7Zgd;fS6|)dcJkL`Ry!=*+Qa0b|FH9eXMJRV}|I z{r)Kp%Y7ewA5<^ASf91KmaF%&H+-PD<4)QmE&MfVm8eITpZ<@wYUUsed~y-v@DGgt zb*k;$02;9-DV7?nEA;gA+D)tT+3tGvl~(u`hEL@uA3u4rS$6m*5Um2(p&*kAl9cb~ z6H3eJ(Vhdfq^C&Ca7BI4l<^Y_0Thna6AgluQJHZq>$-lvNGPcjN>wbGNz{FESpMJM=bR-vKM_ZwoD$%3szLrPP z?;jl>KN>&Z-dZO#-8d!|@D&GkmIz4PGA0DDKkBp;+)?YlD^?$0#}0?7`c_ZzrHVRV z1n;(fck$2%eRJ>~d!%V1+1_rhoS?3L5zR$>`WYuwFYZlTpRak;OJ#M+2eJ|x1I1n2 zZp;tWv}VWz&f2~I{5%luSRHACqRcC^thA*U4hlXe*&nXw?ep~FgZPJiZ&Fd)skBR4 z>+KruYqcGG@nojxRYjlO`e}0d=Mj!NrllMyxS^aU_RUv6B7(u{SY+!j<(FJZ2cKyIw>R+5+;*?9|5~Cpn-7zv@$B{^Ut(r z&Vzj#OoK1{MqX%8d@iWg3TK{F284Q4{@3~96uSA`OFkWPhB=TDtA-<&+E=x!%Qmr4X_$vfpi*W)ehbP%CeCh#&w=DBIlYNOR z&lg)xi$hJnU_L~r1tcm44-0jd+SX{C3HpA+-t>)l8*ZEvD7)uKsrk@$q3k3D^K-T( zrIDLJ_e4#DapCK-_a(jr05J}Q=5?eTKlGircy2QkF=gdN_xFYOum|S1t8*RD= z73nN#RK}N)iOHVpzyVW{=#4*1BT*}v(@~e=_Ig59@)79%*?6I9cX{&f;&iT_S0Ggt zB<*YTP)mLRmDTWIFuVD5Qw*VOIdxJ%z_gBuIq~JjO8xe2wB+;#Nd}AAxO#vZ!TG+F z`ymkU^5sh=Nan-{Xo_e*0za(%9f$0wSm*F4p2VZ)9`C_bW{=A0md)fIyigQ4>FS;gZc}eSw3~WgajFX9w~H0 zH#LP#d*l@qqPyO*+GmJDGwJL?{kC08Yb$=i05|^SeYT>o&p>&zXnK1t9xGFZ-g3q@ z(x@^e6&05!w7x3qx0WA~!1VET3;Pn46OM>an!3AxH|~+YE_4-Cf>ws2Py07gfV`~% z_g@0n%L%tXh7lI=8?I%Kf4lf}dP}1RtiNdpjCO2cAtn?s_$o7x`Z&SWwRl)DuBjD3 zY`!$mo#s7tH$dvVLrY3rH*<4ynXYll%kuN^s4gog`Utn>s@M`PGWyY~Tu03`-50X_X#blYK=d1;xX^ zakvVUNY40j=t?B2b5dgJ5Lj~IyNK>QwQ z?&vVL-EEW!3`;f_8{7Kb=`0VIHmYyH$3LfCYIs}vd@@bS+>S)JHqGF3{JO$gAyT;1 z>hwet(5-HYh_ZgBY<_jOr}{PalgRkU_Ey!ju}yJptxe-~E@71JnKmwD<|K_LKDcq? z#?Re@_Z^`CxlYP4(74Wdo6vfv*~CDe7mc*dN&KzQvIvUmRId|9k6F}>SsxsUrt-gi zv(dw_jj9jo>5gRkXwu8M&Rh+qA&v)$K5(|0QZzD}`dRQ4?>#SMTipcd<$*m4<^5i) zs@sKqx!}p*0i-kI<_omWK$^}mDSYoFUS+4h4MoanKuq5#&R#-6WlB4F@w&*rvjCGp z!E;^yQ0Kjp>rBp$UTa>n;^*aUesh_H05xi_4Z^*-zG806Cy782l~(CDl4bBLAhAVB zQ%mdls2qg0gMj&vk?&}^+(&`XnO zPGhRyS}SSwItFbgX)S1#ya&}44rg5?7;wjJ^cNycaBDVm5i`9Hle)W2z1$&DwnBa* z06W!7o0*t+44^_1fG>;f(YmSo=`O2_6TK6V57i;&IBbr60u+FvJ%}U4P=`JqSa@)h zKAu(h4n%jWnEPOfD8JPEobz|LRT0?ZWJk9BTvr-!Y^}N16;6THODbl|%EU;U%Y75~ z(|z}YN&vtC09IQ4)n(xGqEa%3-*Dw*)S}Jm>gv~T-^|Ci7(E5xuAMl)pJu8KT@XTC zfNQLHk(`<7^Kc9nEsIFa<6LTxnXenWb|x&dXiq;IJrv|gB9%xG2GSBsHiv^j6F!T+<0a1mB?LQ#gF>BB1WL zxQb&6>$6WW_o7scS9f*(`0_eGCr1fa&df^7$nNfA2Tf57=H~6&1fTJ9bWC?1JPePPb#MPy5*6H)WH>%`kxalr#<1r4M%4hKf-YpdU5aQ2j6lRGVgvd$T7FN3Jh8yyL>lfi2;&4jO?(l z_II}^Tne1+G*j8rr@W_6w_0i7f%bYLR5EGF{!wu<*4dbji8G@poad;mD&;X5nf`$` zweojyx%ZR_E-t3&E1>#{=mpSK?-XnGWH~Xc?j2W5ZSTTE?@xG*>cXS+lH2amVLx(~ zBOtr`nm$BI~;dqqJ>QQQwsFY4#klh|!2ziMsQQQmtHPdz6bdrHWVn#;wC7W%)1P`(g^#q&P^!R&xKNpG0#-o0c7*Xn`d4aHPsYpyEaG)&}f86O~!=mE!D^2UZo@&`i7YEEnak8svchZ94}8 z4y|wjc5`n05Dn@iuE?=00fU#F-s+g2tM1^T!99!uTtEd~n5rLWW$aP1=tMIUWV&3%c}*m(S~%Qpcz zC6PNXLG1qew zP@W*z{o<=V!rf{0p3k6!Kzqs$wzps?#H+pD>FsVUZS9*d=+m=i7lqoH+xv_}GMQ{s zC1pb8uw!WUBoUXUeH7(7w~vOCPEBzw=i!z@~!VtD?@IZ<9X92Ct%*fZ6?75Dc)>DBO#Ip`M%eKj*-2vr$MbeAm=m{HCb-s z$Lrn&d>v;{TZ(9J`bz+D4<)Sy4$bhZGCW*{nTN;kvv1$V&q+pXZ?2SVey}q%bg0{f z4$|~co|2azTB{RvZj=aH|AD-;_}JC;7P?v?Zo-n3ld%yZOuuf^-F9PwvLoMfFn2Qf zOxCpSd${a8sL!_+ASs&EZSH+EUF2kK4YyO-oJn$mE1Cog1$vqQ!9d=4m8VjBq7*6|Zq$6K=xs^+kM*Sw*SC6FR1S zR|!Cs0a?HCP$#{BLX_$AIZ{rx+#hhL*?~hycHV4J3SGhh=(M4%mMI*-4-_Y*$_*4E zu=B_H4YD3AedE{9u$cJ@kg?b5eI#F9~ zf+>avBPF%(pNchsu6SYaw4)4?%V;`Q4lp*Mt@Y-!`D5|M8Q7 zqF1!6T9yyAJ})5mpOpq4W%(Ncn$H!}87xQPhfnBdT_AOawL|k?XFBGxRs|4KJJVcf zpKNw^dS!o>LX;I`6FZ;UZ&1Jkhn5TlsHs;m%$_Z7u8g!o*9+}kR5ZREejZo=RCk}H zs+rjxz{l!n5?TuKQuPu%b!ul+0_Byzyt+^ZpwWuyYf&)_2ZhXkK8eB(;9h%341%Ob z>45DJ@_cc637r#X82x0dX?iwEiS?D7zml=>$N8QT^OE6?DpNZwBuncpe!tzwtH#elJ(Dy!V1H6B|QO+N2m0qh}dVeN! zJ@$%6Q24OAL;Z3SrqT+BD{;6G*mB@G43cyh4k;#}1$)*- z(x?gy#|^AC^JfsPQ&H7!R59lT)u3XTWx=o z14R7=rII?7wziO?W{rE;GUE#G1B2%VUa7#*rH9rs=516oX;{A(j$nH<#aIRA#JDC< z50Pd6{%9Kiy6LU&KImioZB%cCo{!%=38Q;+GCgM~nMseJ0|hDLl?U4R3O4xV`Y$`c z%*-s04kE@ebsWQl4#22`O>hssKQS?}6|uQn&AJ~X>jo%q-UVY;b5yi@Pngvu?Mr-8 z2lW{dAXCA+H*YqW8W{e&9*zUd_60dV=FE~P?lV}a2goR8YG%gTRV-D3+P`8tTB8!J z;SQ$IaXtXHXa>f#7M-$O`R+AZRrzMh{pwWZg+i5tP6>G;suU7NL;qBuCnjT`9Ix`| za_x}pvoYD|F}E)ou8PzAR_Qx*3KkNa0(_+&e@O5ePD8_wMuc5Syr=ytJ6hk>h%(hG zX=*lYzkT;^VG5=XX}JnjaTrWZ=)xVf_(RQ5=RJjVUDpAvc%OXJ&C~w`6AF z$cK&|4L@<>#CK=px++^i8pSA35;!{;t@y18At=pFDt(V%-E!~O<(a;cVZY4#<+qqv zcstCDjWK|*Z>Fc8PEAcEE{%Uy;==X z?A9-!vcE&fy8}f)&%$Ne{taojlFpBg0Qu< z#S5d0YRbyWt1xX92|e0*Lb7e;X)&=ye_-3^VGybv23SjwT82?I7#aIam%~qXL4G2U z-4zEHp-#kbz~E0-3bGdp_lZzg6Gkk|HU_*NHE(aNDE2HQ$!-u zpOQ|IPs2pnmQ2`>QSss#9?!VUGojl4{{Gjd`IJm!NlJP2OXOdrq0n|;hl5X1P*Cv3 zthU;}N3nZZ^k#T-OAB!(9gwjOm<&H!EPnhg)9zz%saLdyY5 znE64cLW$6`l!@7jJU4OxuCy%hn?5>=)0TP0yfJ~zJhIO=lpqBoLA5}ATu(?Ca+ONA zr|e`6+54mig7M3`@a2|}m+Q$*9?)-Et}QGqmn;*0nTlD%??=|-3P?T&jaGm+W^LMZ~u9xsQ(z66NA_ z#$#SjTkd(nJFW1J9N@(^XBZhKpmWIhA-N`LC?o`d9B;pT<;nnEPW<#{hUQ%&vWmP% znka8j%ps1+E%&B@Vl;Q)+(#1H{{H*`iz67OEPQ=SuX4(-Wk74( zLrJLthbR<>+F>$J(Ttk^+@?VIDBbUsvV)GAgup!(0yMxQF4J*EihP6CtNBobrbaYi zQ>fuAN@0kIg3NEaP>7So?r-q!QIn1%DFs8)Cq0S=Cbd3z_LJxe5D3OY@tSv`gRD&? zF82TU@k14k%TzopdRgwx0%BDp^hzs*?l=Z^TQkuHZ?A^F@Zj70f!yxjT>TU`hEl|_<8lM#bSL(I7vC+Z_ z$ZrGY5sT&t-I_2#xHufKfYK80Xup?R7Apyhg0MBe)U0^ z3WZcCCSw6v?Mp04rPzB77~z(8?=)a8C_~2WJ^Pn^r0Lst?x3}Z3*d$e5Nd{=K$yA; z|6q~NIpGDz#14y-mx|*%VHtfeR!v?mq)y;aYh?UeqTH!dr$Re(lx2Xny$zHFbSUf` zVe(7N@zwc_(~oM!UcY-+AOH!b9zwSP^1U$p8@JeFH$?7HHGQTd=Lt0V)>TtCoI4ax zz{9ZNPuKReiM@wKMn40_6^yhh7}L*?KGvEnoDB8tH~Wx&LMqHcO~Ayj7otn)U-wba zVBA&=!4(Oqd=r9Z8UfrEk}tCNa$MXWbllb*+}Fs{bGn~DD@;WJh?|S&8Gzfkb?~%V z6VN`qF#c@=C8=1OYoI<1+S4N2)SU;(j|SRx#&6S7TI5yJGrf^>KMq!K#8$fe7)5s6 z)vGoK4;>2m1S78HXl%U5#1$P0tv0pOW)E%vIMcMWOr6e}Jp>)NBy>O+>UA>-sP3K7 zA@qYV1nw@CZgAn!B|mET#fXQ9)rlb@&eY>HS*SQ(1esK30AszUxT?BmFc!I=);`&x zs-nWU3L~L_q{cr-ug_`B!_-CwO3Fqo)bZO#ujZp8Rp7MvmBsLb2M;y_>n;Rw`gSdp zPKz*0!pd|+?D+b%GxM5|I@)Qup)Y`TL9j>)NP;`e2h|@zp;te&-?N^>#9#+ZSDaYC%%9a11FQz& za)){Ct*FEkknSeBubq%aV9x6ytTo3y`!8I&R7ve1}f=Hkj80<4RQ$m{xa zH4J(w*8z3tAi5MkM9ArPGky6n9c2d^=8EHg7=wy2WjZEEvda3c2{T0XZi0~5u(y=( zmAE(y77mWh5g0zVhk>7ukhjx5KmkAnOGd))$wb5N%iM+7^aKVRi(q{C$IqW9SC*De zFR!c!GeR!i%gFd12$^rfHM3=PU>x#rAIlmrf?5hWc|k>0)jU=A{t6*)5n+?NpzGrDnxeK84EN_zGIMb}HwF`Rn0hp- zN9~!VIP#6+7Uc=*AIHd2+NUuX^FIu=iQRT|cjb>K#KqB*LjrqU(C7G&qCcl-ZcvQ| zA}3G9V=x6;G>_Fml6xFv`JELvQ}_7%qW62k7{keJ8hu;!Os;?StLnHWnOtXH zhZvAVuctzN3oMANO&?aX3;M{(Yui4tZG|@Bf4w;q9DPM9TS{-y4}TGRtV~BS-eA zh25~G5HPo;W@etUKS16KyDCeOY4BU}T(#TerY?D!Q5tw?-*5QEgEDJ3M6p;%C6)sz zHH0@L2egnUU>V#n%U2|HHZD%?5;iN`mvZhS4`xx03K0O$pqrw0sF}vVY|xV2ZikE0 zn9s9Ek&zO3`si$g`+|L0M?IozjBZc5f25P~Ky5QU@(5jQ_70^({4_?cErw!4EtnaH z8-K1q0b^VASZid|4(>3~R)Nz05PwEXk}a7WV&8-Vq7RVmu=w&&9~_l}C8CWtI-p*fk3Fy${M{ zs=3RV!(Zi*b0DURgDv6>Dgyp>N6T?>$fzK~R4nu=A%w~uav$cL6}1D1EZ2P$DcX^( z_?HZs6V8>yjjX~KVmawsJb9Gw9i*6`s`o98hJGi;auZ?DM603^(ArfA8E!dW>fV8-=$ac*8nB z*<(lWvUi7(E|8RO__vD(#%*oyfL>*{v_0}n8NE>4?=*@zS3AE^J;*BWKOSv}22&7W ztkK2cIHy<;Si(Pv3Hc0Y3&XUy6R&?QZ%}hv!q#Q1O4g`cWIjY2tmVrj z)w3OI!6gLKD&@h!8upIX!u`uNSRleBLa$zDQtvB4qsqO;#rq$kx0o9GK-7=Vd650^ z`pcVlGc$QXr|xq(^4JD8Ioi>Ku=>=2N136Y|MlTS@z0bF4`FE+W|%R6m+$&f*ua`h zRWwRhP*aP`m^g;`!Hw!gQ{6xVGsn-$f`>IK)MV5=n3-h;U63)@jrJJw9;``IW0+0^ z{DE^`$o=&x7G~xn*Q(^Oqv42sG5nAYgLs?To~MYUAJyM^`}vhBoA|b49GA&|u@aT^ z9&X(oeU=8%D+NMqct!R6<58X>HJb6*G3{K(vq>$9>c>nPtkQf>sMKpBNRKo<^c z-L!_waHrt51${bD+(6Ys1HWJlMoIw$&F!75B(nOED1R~_FHkFDBel{YrH7bCQ~oaN zv#;E7U&4GgavyaLJv-_jp!vO{6o}uBS8LMv9hn;EK|;Z#niz@}KEAjd1SRNunLhxf;XE@{FUrpgx&?Y4@?;Nn^h$-FK`2 zQx`|;56k&JrdEnUfBwN2nZvU>B9{@yzq|XDQa(nb&W|%>GgQ2@r|-&l$Fu(}J>W8@ zK0HM3fMLCTMd1RcZQ6BTIbxVj##fMRz2ks+=FW(&IYJn< zN_iMU6>G%)fiAbpavydSd|vq%<&V@I)yl(pCLe;3*%_;-!TQ! zm2BiVy7v~+X$&U75X6WEyS*5Wfu-YUMAvsiaG>l97{mo`rjTNd(&8>G;LhYz2)~ky z@kDmeyZ@6N$E8lpR6zWb;r+8rhJe33^Fol{g|K=SC5+8t;${u0xs^ckKY7VBJMnhB z$TwEX>{(*e-cc!#r~gMNvTbC0UYVMrX(!hv7DUiDq=OqjIfn>=$$g-yrE_=;>wlGU z=h_XrOFVZUf&X_0vrzW|rTeghP!2-Yf*qb94Rt$KC$>9x#+O?cBrFCOW0( z(-<28j>wi`qhLxAMl$kjq%l$tnWg@Lds}aUj8nQt$F4?DrC2|)apU0rMg4d{s}%!` zMBk1bH5FPZt@8{NV(!Z8rClv~L3O_S3aL0t@C-7TtyIwPoQ{5v(Y7UH8511_G79nB zHr0;`*sqX|+yS~4G8v(G)!O;~uxSN-gBhFR*euogrOqr*{cCJH@C|fHI`^`((H&bH zfbfB7+1!I2c+nRm*(#Wh7855aR8Em4^(`1Z4pAN6flL^`pTbBIgdvq|L=&7v#x{zM zUWa1C%z5C!mF${*Zk*h0bpF{acU05Zk-IzBvB>8~5e7g)D2Sf*h0JX^6L{n4-Go&8 z9+hr|62sf#O#6rw78#G(DXUf3YymRIefH)kzm#yqNP^r2D-;wjAdX6J<-XwW`&{_l zymdi(28ms%mrnkWO>Ka~<#|PX`7AoRJbnoAfz2x1-LOW-&apu%krr}R< zTc3@#kyDdXqYhC^4(p>Aj=Iv3Pw$w+c>5v+H8_`A7R3*U_)W(i<_wVqIu>GMG{+xIsL&^S?KnA%d4%CX2^6L8ZX4)G8o&ZSUf zpy3G&7CdqM$xg-mio2KM86Y)?uP*h!kr0S6YJ5lvoMKVBkLnM^8rlzR4X1XtHhO)8 z6xX?p`~d{ql-ow}1NHD%g~_7uo4lk8mvR_p+;Q)aH(-= zEr3lh?v$H4n$}tEipeI*+CQM_e9d> zB*({SupvN`ejO+Ik$)G34mRFa!~bv$PZ+zl!i1XDr$K}hfYqK1@^2AI^Y7FS>L^+29EhlLxRZ$D-wWMZrg{uOM*j{nR~_UA(+XQQ45M_Q)i^3-|KFXm z#zftdJr8TyBd0UUA2_(jG%1dcleW!7{Vp{oPxjoW_)`E&HYCFU>W(HzoIDDbL-v=` zy^*UxJGk(}idH0yXb@0me7B;``_k00+Wf!gFzB;; z`}u{`s@Y(3%vZmk2y7jeSI9P^#Mo2RTDERICp6YEI*jNy))md3JTd<|FSDVZZkg%4 zDt&}LZ1>*IfjjISY-(tyW(Z+ywN@kAfC^gHHRaCwXwXs`7mik;AczbwrqaUJMN#?1 zU(I2<2-?y$&wbGax`OR34w&Sy$<3=N_{B%VX}z|BneQWqu6>ne86t-+_^6aB_ZfG0 z@hJP!4e<^d3@&)9Hl?0iSyoB_as4CNAD>u$Q{Q_-qJ9*8`9OY2QFYF&sP;R|)Nt=- z8H^`4QF#NdGJA_#QnluCfu4Fxv1=`!_=rK=-4J$*di5CQ=KDYpUz*;roFmvcUAKs* zzPFbjO5Kx|Q1}B!s^)BIfiVJukhH+$5QuwJa{^B-BJRZSh?j3*!8?Abjv^JJVir)L z{5cR|H_f}AX7Fjy6VsJzlah^|nw{)ib+9TLY3N-miRvk09+H_bm{zBce!B+?KrDMz z>$a3;Y_H24qbTI`PAx9D5}NhY_EAl^V-~~btCH4s)b5r*%ScQP33p!2E*>Y`1k%69 z2_q*}*1n~o-Q29!BysT-0&zUSyp8;u7Vfxa@M+XiI?p2B5j5=4m)(rZdWwNLWMam% z{@4R$V8bVI{6+=&C_TD;Xe5nxk9Ra^qU%yG$PbC|{`@&}AwzGCm98y=~ z;H?yz)fYe?tR>-oz?3SSqJ7`>y)E|%=8jcC&Vx=0xIX}_q4_*`mN!4qa1*OvVW?eG z`{R;7Bhpa4MtE~Z)Cx|(iXQSrRtMom(m#R-6hki)tGs*s zvZEaPd$$K4viv6IUC3iO*u%ArDQvJCHr?4*uoCzNLxMBiqd1)|*YwN<6vpZKkG%hL z?UFZ^7d1t$lCL%_+_nXLucakaar}N{X%iP-E$Qfy9wm1t@N9EexE(|OpRIIt@#II<-hs0%>H@zFOs{v}9^}at%+T)t z@#|VbzM@uuti-7?FWxQ{9xSMSnJ?CyJv+RuP$nhx-3<&3%KLuF#WlVwL$ zYCf^5(_^u$KiN zmqzW=So8&*dR2DqfW7%=I-~;GC`1@>v2Jj2eo&Su(S2ir_XEPSE&Q-ZA=>YHPFzWt zQ663AME$ev6w%0!iWgTutuhm~d(?Wm?oBf5_ZX+7+4{y}mlp8}PuI5F=Hv$|M#ih3 zX+Au*<(4nFX+8ZA&8@Kq-UhgfyE80{e7GE(xJ@&ua&JdMHw?p zty%%8+}M5pldb0`RX99D54*I}JujC0SxT+zIJA`!P&}Yf9P|~NEU7JMpEOq^+Y=Ka zj_4^pE`Qb=DYL;cS<=x~TjHs5^N=4q2+n6DF^=gFk&dz>^Dhk1(~=O+%@ z&Ws78LVpPNWXVSHHxG9NRS&)Nvp<8RDN&-|OWJ1A zrH^m_HhgV1SkHHIF2|BjS--Yn`?CAB1-^SHQq_AO(s8FAH*%Xk=<^N%yw~8;T+%E} z96)cd4~;X-(UT}UM0|2gZgJ7}rwTJJhNU_cfbn{evvk7(tD|#wX1=HTx~2_^BSX&&m6k zRy~?m1855LI|W*em~_oR-fis#zDIKgTzrEGKSh+kK7Ma{E#N_>poZSnd0nG1-;Zd9 zMprLgxPK<&nOB~UDrSXH)06NYGbIj`t#G*vM)f7FC4UuUAYG-hHxf*#w8`q>vvfev zn`AN1@T73JUf??^A1d!z1s-g267IkZS&bmLUMqxBIP)o2*F!mL$Ro z^pfN}dmYGAFM%YagX-lCV3Ak!M(%gHVVN=*Kd`xIC3%2nHQoqd6_3cG0CaXo*Yf%a zdn4;|gXRBJ0&YBhND%?GqN&HggeV&ccZ~(Ur`=bZ-+TpR-D}LiS3zW9-Fs^+4dH+E zX}Yysg*&7q0GBVI;9OuS9NRYunOQ*&?zR|vsJUJ($po60#h98a4r=CbH(cQ37`WU# zm`#3nG4x_M;AIx4CG18f;|J;$8fCCB>P^~0G!WPlFD4Zz0cbzLKrIW}Z}d^z24hRr zAkYx!0~6(gAgZ%VIadMu9^Ka^%=f5WN-POm*W6$e2)!5rjUB>BfqDhae9Ao#%zO*& zzcs04lon#sqB6i3{9XQboHohc-Wsv zh4u1|s3o0)7F9z5Cw=Pz|D|-y6r`vB6we{zCNS`J>#Pc+Ca=qkyM622+>a^ zSJC>QyC+ubNJ%c;$vq=H7`fy(ncMw{s6BbUDe`BhA=q|U2E1%m&|I1ulG&!rghE>z zj1h2Z+wMqZsXsh?F9ZzKDjE|FjmmyINv-DYX2Qx{KoWx!eC^3jWQYCKO;3#5C&mvn z<*=ZClXY>^j{p(y?7~*bU@a7FSOg#@V>WDE?iSz^(;O4R?C{vO2iR0Yr;U>pLPZB} zYeNmYvhFv48q8fFL}Ufsnxe;7fHep6Qiyzlgrku$3fBhu$D~Bdm81|#iP8vw-x1i6 zBUl~rApI|jJ^-QZ|7_ud@o`W&_nD+0*5nTbdM65wQ{ zSKsCD*v2y>W zUDy|2wSstfgR6F!JC&v$%t}{x{KdafpFU(QgoxS@URwY_1N4NKJ!_{D9^z-Wk72rbHmhle@dg3>v@|#as=I9&o-Vf=~hb zBK|qT32eQvO*~Lpu$ps`u^3)R6C`MKbh)pw=up%rfM-)ENjgU~{Zinqgm}>vs{62- zM*h4v^7;y;@+-)S3vMzPAufW!5S-XNAf2>jY(J3wlz(##2avp8P7U@u;QB8V-WFoM zJvImUfOR{9*guNL|G6U3c33{(Ce;d@5zIf6is8*XQk+0Dfllc{WFkZjlK^()2A=M|%>ti-bgcZCK$!(r<)6w${xj)M36glonl*M}1@vera6J@| z@YcAF^jvhGWwoY9?bK<=Skg`=2U+|Z`Rj%dVG$x)1#t+3n^ceN3~DZ-ftJ(D;azTn zA;MB2G8qZqaLZOSNiPcnAw~%Nv*#IB6zF96=gSzmljVmjlL1H1wePWR0}qp3dW=1$ zaQ}4ryN?s6CbhpqL$>EpJqP+s$4hyjXie6_emq&~Pr3FTjHsbkFej!vne{aj>vXb| ztV3w0TwYq zLbvaI8uNjB9AKZCz_s&i{UMrY`VpyMWR{0;qpioB6>#);o6D&H=0yF>a4o&<#f1| zMngUjSp98E1z*xK!>-!fU{|;BT^!{QDZTAVcxzx?KCR(@h;G%LPBd&X?%<1(qaEyI zy)V8hyZVu%T;QnRZ+r^WPai|{_Dof4rmTOBQZw^FhQ=1S2(zB~<23Rbno^Dv;{rU$ z?QsECy7*n-*CTBQZk<0q20NfkI#&Dfs|!$U4ettpRXw0)g)u)0dL*eo^%pKHg?Vz1 zP;r?z{eeUq*hqmd0Q?Q6|BOK2X2)0azSXso?w0f>D4ZHv!-@>G*Ml;A56TulZk6;Hc2=Gwf2q0^BAd9?-j6 zElFVoHVM;lPNkdPMKzZ^Fx&?0BO@cV(06ur5kb#D z@hdLbXK0>klJXJg6Z4}oUVh%FiCx;JdDFTElaX_80uOj^c9Z>qm4rQ1w?vwH?yq2F0k4C~xDd zAc4MfXL2?j5)9)EA@coc~*q3YK zBMp(bFn5XY1K4+)0Y=58JH33=C?hC|Sb?-OWY*6VYAx_-vR4CH<|Tp?+~FAbpvHQ0 zp_d>cCDIz?f&(&{oWJsDO4L4sFWxqW)U+AH(*R&*xm$eJuI|tI`9R`Q2>Oo zga&`wfk}yb--p(NE>m0$0sP`iXN1_tah8#a2Y3{=^GHBrx`M*#Z8gB0LRAoF#wZX${mLNvo&T zoG~fovkN^XXvt!#X4xiFE}I?=9@v9M@B(YdN(*Mv<1J@pw`?W-H+b$bW24d~hWj@p z%k2LR>OrQ6wrk);)KZ>@+v(!uP zV#1ex@zek(`x}LqmX~PRV~!3!H++=9{ueC_PQ=p?ZWBD~x>Bgr_Zeth)0aya@SWJ? zl1(e>d;wM@g&&$}=q=q+chG*$n)2lN30Me)WKY$8oL-U}(3{Rc%57bnSB0-g8dG&g zg9I|bc_?2~*cRLQ+Z7l+C^%%9xG&<-Ob!ny}#X&w}qVR$JNAGGOGNt_w; zcA!{+-JoEzcd1j=?up>0&;3EF;u?@OQx@v)@WxA6l*U#l7Rl4%+f8c3@j@nCVqw?a zzZ|#G+dnUrI>7B{M&Q3Myn3yC<)Y9e&9<10M;T)!w!B8%AHnpXjTg@N<25gAgxdUN zO9{>xC*C%>*Y8}@K#@;fpDd2Xly@$HnuaR&hltrby8#JL(LjJoBx!;xL1-vnp+B5T zJ+S?ZaMJWCI-EM&M!;&Hkuyl##RI^YPj#QkC%50k!?2@(nX= z;qCI3x~hEzG35LGot341Xfv5GAq(Cfoblj7Xz;Ib-7Vd-XqK=OIBUUoK7HRWuCWu< z+`Ku&t7)UqK~^ z)h{1>bTYge14WCR^u{jOyfWbGR3BP-`LawUZ2Pj(TQkeEJi@<VmDS zTMer$Y$h&P@Cpit>qop!y{4T_qhGCBnK+Puav-g{+BEFug@ySmTj!;#Cf+nlIE^`G zqOD&dyG2ueM)|Us6`xn1j%AhFj~%!*mGq!QZKg%B4?WR;YXp@+hl{pvqu<~47516k zVV6EJE^4NH)<5umm>=s&=DlYD*q7rg2op2g;>7jfU*d5RNCkgLq`(tGG^wH+Z4l&q3ESAOC(el2wL8iB)!UQ4+;%RHabbu zlcG_(tBf14M+>>=8fBNN%8Rm@Rlz50CJjhR#pSO2jF<9DRRTA1t)|!@g%dmTpcc1x9V}EbDODpKuUE{++EU*@BK3vtF`NgA{F>MFK_W zr}c~9E5gE5yp)+5|HUf*K1l@h@cDuRQB9gsl9g*=Us_!H<%`i;Qf2 z@b3@YR^ShiJ4nr*iNgFj0r@S|XAxUEuIMBGAy8IH|35uG_sYXt1t4Fc1YJDq88~c_3f)2)S9=Nc^uykLQd3W>G%hVi5SRb6^h@A{Pqd zH6F<%87G;W*o=Y<{$MBk{;lraXha*PuDW}y4^M;Pt}fCo^H`!Zr#}yOrDptGSoa0b ze&37aFC+}_rx-_|;4c<#a7`-*J@$c*G1Y$LBrhG?yFi;U2ZOQ3Lw5vV{B+izBRiK3 z@HT|>51Yhqq$i)>Ny}3BBZdts1FJlH&7^&dbd@_##~n(5WQdRq-S(L-b#2%6Pj+n; zotEPi0ZJ7I#L(~V?~CEqyo42Ja$~3H{ikeX1I|_?;V!|dxStv8jnB6m;$SpSb}C4!Wd(7FP58Co$urL2a8M{&=PDEioQj}5UiyAaOZhb-^*(w z>Q|V=@!eIMnG{=gMMjfEj7Yf6-sM8{o4{%Xqq3+X4yBzdHM3}fJ@=+tqXxOpdo7m2WZMx@5+{!$--iZ6Vxek`#uP2wTqip{A&`a?c z!;@0DXH6z|=9gR>GX`a;K9-a-E#BbDP!6&gMiS$4;fypLa92uY`1$tNOhhlDYztLm zsPmvlm0bjea5N~ zy6*#7Rd)XNZBakPbJA7)n53=SM0^$>lb2$-|F~%`4adsY>$F~56Ny_v6|=1J6={8Y z?>uNT6f zBy&Q*R%&vIU1~c-ntZgMfwH6(pXyTnTF^-{Nid4j5pBSGpFbnEHQKH%WajlWJx-ld zT!*2rau14pNS@vzWCQXO!(9t-x>;ZjkA36O+&rB)Qp^p= z>V(LujFi7YSRK)YDaZQnQ)!BfD}~ugOKWtJWi#vxQm)p*lcGINueOgYs`tm}ec!5H z8hDZuiZB+7{Fno`K6FmiowBKZmiTk#kEO=^lwv`p>b7~gbL&Vk2#)?dZmZU;ulPaQ zF_!=kr-6T^EpN|1D+J^jyr2rPC;O5-jsJJ@wvfyT=nnDWpeQ3%v2#d6m?V<9zfsp3 z^LS!2+u3AIm5|b0^fKytYnfN=F1@?7bk_N(qKxL^tC~v<;oJA#*0O?kB92@ZEVRLm zqP)6VVU_*ePmDf4156um9!#mS6X{+H4>bC|Rp^{5GPga*+PbeAw%?YVW7;yH--}9# zMpnTT^h`hfA#3cnN}OGlt|ruZm7_f7;4V z*EnyUB(hJj_)2r6aJ!x27XJ{)yWwj$oH7t8UoDCRFKOGv#a3)6r72QPXXLwzRQ)8m z$&Kh>#go^j=V4ELM8ww^^~8L=p>)KG#m>RAA&1_YqtRUkn{74!}yuE3W)|2jpwNyk|?Q zUVV@jq*;3RRz1^CaWM&Ghk$TH2G=dJ$gp^6cj6Q~sgltxoE#@QIg81B&sN zzur+`d>x$F#hNm#f-^2`7ay8YuhyxTY>zTvU$QXgyJTMwEn4JeG@ETGtsbD)t7eB% z9{G*}HbiU(*pT$Gd!lJ$#dccT085(P6&!utH+zjjAUvci>pw3}KnNmlFm6Mo=O8$| zly zNA}p@eVeU!WQRo+%d^OGA)i4%EXnBW`qPuG&Ca7qx%-{ozo?sS-UpYf;XzDt!)K4_ z^&py6dhp%V^Mb-Neen?=N9^w`H4Vxh#?^JO(V~-ERC2Um_#%ZThx=ld~V7-_?X~*1440`u>Dx+$m3L2$+j!D(HKHv%Q;UUZCCP(KF zvtfOG%~OHgF0pU-LkFfO`9DZMpbhg{nT#i_tZ5GTA{=swoGH$@)!5xuB zuoaUUZLcMqi2W@R>M2WUbHQ}}XJ_&gre$7E)5z{p@7^jbyO}k-+9}LvqDBwcsxx0r zAzRgQs1FF`2o`(_ur#d!pvp4cGk}j03;>6oul;GQFhhZ4M41+zo*XZV1V#0R73u^4 zcTT6uuIS@jGo97p63-~)BV?+*6#n@5ash0M${#+<%zL-`rTk~FYlBJ)Zt@-{D;j@e z9{xtHx>~I=67-t~qum5M2z%Y>CxBOGiJ1e)0d+E2pm6D_agC2ljUZJ2K?{l}br)rI zudH2Ltk$Dy1OP3(`E{hBu3x`?nQf}lfD$1FRdxVEUNe2Jvj7AZJ$KY;Cjf-HHnQs@6hu9OuAemvv&A9_28cDG07KliBi_;i^X6P zFfTi(uwg|VlE*8C(cl__2~a$L92Ai-0$9DYs;bLepyX=8UWIHDQVz;Tc!hOSxKJKW9% zi5!#e_+6X$C^bJ&)7#X2lh@)g>=JUOBbigyZEU1^A7FAIkN~4@U|u=+PxR@FpPH&c zncC35lXw)UX{nJ(J6JGk7|Nk)1fa&e7-(+S`kfh&Rd~J%DnUa4%1Nm!1UKV*7Ws{u z2f#~Qsoj}*XARJN@^nq#0+!SA<3I^nFsExJKMYzSsBV|dwQ3mqZxS|3zciU+hx5AV zAt$OvfS@r@oqNys1IX}*!>oU$YjD#+Yi11kG~1avJ`r|3N)1X!Jat$eD$5Ha=T(eB zkAdo8)7X8z*i0y&l}CmsSf;~)(mCIOdiUCynTP+928Qai5Ct%6P~&gGig0V#_c>zB zVnM@L9(-c_aDUt^frXl57EQN^Sp_KMnbB zL|)o)^4M0j0pEyszeQdfj~@Zc*jhjR+N=>EdNh5Z;dMSrab)P-`T!u>Ci^H+yBqV? z04+7|7ztpJvOpkQeVfd}+O(inXu%M>+Gplg)?pw8kj{L3Pow~_jXv+4({F3c_)bwP z$jQhA1Ej;Ie}c+aKUoL%EhBS`jGSD^(atRg1!Fk-lqa7oiY@1_(C&z^L~<+2{(LJV zmIQDI@`B<3R>$ay$EQ(oB*?G*UfJ$Q2XTv_x4!Z`xQ0OA7(k7LWYV#qphD)pn=fbD zlP+I`O?-%ucw}KH|Ml;5+pr6S*ioS@bMDY{>ebEX0AD|Qv>adrF{y6%Rn+&UwS%Iv ziY8l~bu#ASIS^55jP~)bGxG0EOQMhIDsA4Y1g5?TC`Tj66ZYn7-PLsg_W#Q6+{cOM zoUXJ$zx_iLPb!sx%;zeo%dYUbs2O;aXMBG5_s`ns|M}&W!jpoKo>^lk!e`Hl-FkZK zzh3`eHT3u%ry^0`_{5lAun>t004Z7-l^I}gvz1*}mR;lbH++Mz{6}wc7POutz?;#o%a*4i=kB4U}NJ!<)7gGamFb2u3wRV?o|icFB@c(q(kuR6K|dJkAdqth=vyq zz%4|W2)l2`H2n@Yu(sTZ1;ulMUl&@OY z0>dgvJQ*`D^xBBLp9Io!YF9Fn7=PxjNrR;Cf(>$&ukbi~toX2)f881X{Q|shsFA74 z4ejRa&9fP?H52$|SFX%o%Zg3~qRB$N05I$ktZ|_?rzZY|uOZ)&xiK#KVAfg zp~tL?_DG|SZq!8%eyoYQ+CCL<9{9m!CpX>uB9j*JtRTtNguJ)|EGQ0C2tEfTqahH0 z5P%L4;(9ul27LL~NO}M#@fh41a(jD9MCJ6`ckh}2U_p}`YW-awaB1|!ddN8*Q%EkrIMnk z8prKtUAW!pUB;vN@xkC@BA@arR(vl6SU-d$Y`@6tBJEc*4p0p!k(c1^p53G!;w;7B ztehly&*+!o9Y$eR<(%S9lIc*rmXM0?BzH7tabU%dj<$xl&?i2wXvkjoynNX0ZIrBz zy))NXBvNQgB2PExlxu~3Ki%A{h>R_#z0bw}8aKJoB;E*)O<$x~%fI64=TG4wq z+2vf#oi5b7Pc(+p;Q&-(rS~YLnBb0qaqHAci5seZe* zL;?7<+fcM!)D&JV%H_g`Ot%L|hO zPZhpQoVq$|@dB*4sn|R9n@xyc#Uf|b{_6)S$*7gVMb8r3T!hY&;0pXm7Ym~Vgs%&P zzix=|6GBsF(Bpzjd3(&a2cr`Ut==j2T`u*W0Oxx4+uGC!=@Ut#Eu{GJitKB(J2+pW zbIp8mZG{OGZO8*GG6eGN+qaFU?UPP`_d??UkMY!r78QW=LMM{suAZpm@8fjgAjfJy z`vV+`mh%=_&l`6Q?SD4MzT}@sd>qtvW;gU!D6tQYg5EB0l>MW6fSQA>%fGkwX|_v*cNtJt_z ztk`{zUdzbjGM$V~$-3UAdq&tg=$r+gxpuAkl}qF&a?;q5w~2+b1wFnMssqvTBx@rZ z-}eE3Egz9Jht1Tqhv=k<>e>$?$UVF%bz{;M%QrE10SZX~WVfJz+ql-x1KJVLE590e zTG!|t^u`hR3nu6vgiY=T^u8&W&653-_M2aCUqA>H`JYw4S*;b6s(xeA17{|HT6i3? zaZb)4u(9z2(E!M8vrb!f@{MJEPc2w?P+=t$I4qtd@vR1rRNEG>S7PK1(+XX(q=oez z#V(bf8LOLf#jdKmTGXo=8=mSnXeMf9ruvtUat+bFc8oiEHN-JwW7FsjD-?H^l0G3S zco$@o)h}#HPa6Dr(u@nFon|J*H!F{{{5^Ik-mKP2byI+7}&6x=N2pwC4UC;L*Q<}%Us|hya^CFGeM>V)(8MC@1?CjLDs(-uBS?j6PJuHWXr!`72{$Rz{a1ticTtD zQCSR+GJtetn5R;bZT)I<&8du(#lz_9v$hg=Ey=o5H$a>?BtH8-h>;HR-r&R##HjFj zQ=(B99AbS&??L!aV8?@NRv1Cp;$)!=z{0cXZ~&#td%zyN4~2qya6>}5Gj zTJ}{6U^=X}svH!Rz$em1$bND1QgY~e>Jt&UjkCS#=P#v+7fI%dc^R3i4qu^dD)DAx z4XjsWj_7OjeJ^!?JI>jHp1ZYUsv&in4!4Djh;AgCY7TE@OwHW-O z+-+G)K+fdqFxIcERI&3F@AajVr7m)$(`x+}H|is{X@4$PdyHrfabBzaU~$W}Z7^zk z>^U1N4k>aSI=D5xm2pxKoCkoDF8licsE#&TiDX=3M+L5^F#o>q4*1xOcttBk``OZ-7tJ5TjHYUwkkW&aT!R_|4ReVfER~M&L#0N VxKMr+xZ@tCab4$HzWV)V{|ozb^h^K% literal 0 HcmV?d00001 diff --git a/pres/pres.tex b/pres/pres.tex index 6818974..e32d817 100644 --- a/pres/pres.tex +++ b/pres/pres.tex @@ -113,6 +113,11 @@ \includegraphics[width=\textwidth]{graphics/XORBlock.png} \end{frame} +\begin{frame} + \frametitle{Computations of the XOR-based block-version} + \includegraphics[width=\textwidth]{graphics/MathStuff.png} +\end{frame} + \subsubsection{Interpolation based} \begin{frame} \frametitle{Interpoly scheme}