From 2e7ac01400f1f0f1c776557a2c58eeaba079610d Mon Sep 17 00:00:00 2001 From: Thomas Date: Thu, 5 Dec 2019 18:12:35 +0100 Subject: [PATCH] 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}