From c24b3c5c3751529fd5e11b8861f5ea1599d8085e Mon Sep 17 00:00:00 2001 From: veale Date: Tue, 21 Apr 2020 19:10:33 +0100 Subject: [PATCH] Corrected date from 19 to 21, no other change. --- ...s on Digital Proximity Tracing Systems.pdf | Bin 975463 -> 975458 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/Security analysis/Privacy and Security Attacks on Digital Proximity Tracing Systems.pdf b/Security analysis/Privacy and Security Attacks on Digital Proximity Tracing Systems.pdf index 194fbfe07c7ae53022aee29dc45bc7ea51f07063..ed9cc4b6244e41c9f2ad9c43fa0786d7c101a58d 100644 GIT binary patch delta 9254 zcmbu_MNk~TwgzAZcT0dUKyY^$TmmEv4uiV~cXtK}65Js$!5Q4$9fG^N2ZsegK#y0D>i-Q+xldI3qJkjH&wQ33K2r-2kC`RN zj9y-Kvc|SUz;F)&Lie0=cfBZzFaW?+?}f^U1kGtev08U>J7eidKUcJj&hj!V({?|* zxgOp2bc*Kjj&$(Q+ODk7@-x_#i^mxKv>*DxFx&_r{;9RiwfU6H!zP7EW9I#M)Mts} zHJ<=kW{Rb^Jx>hQ4dNY=@BR0(X)gn^LOn4uDIjitmdR3*YF=4vj-QO_!b8I9i?~d^ zmZ8>b$#01UA_azywPZ2XLhR#WD58%SrH6e03~{<5&0EL zLv%42?{@iifOr;_5$O@={m#>yC9#7)HR{pF4F!`tkAB+ z-8>m55*9H4@SFqOR3T;)*~#kW-B}>0#ZB*!z!^kUcj8gW+LLbQb^e9^DGX>fp9eKJ zZ2Z0071m6pm*%DH6C18N)wcX`kz={|%KPSHQH(v9DKH3%ecTXqBeaZqX`~CLr=T>} zudX1<9c8j&Ts4xO`EpvhLg|{Ndcfb$iTMx|70EjxJ&}EWXrgsv|AFh#oeXv~vZ)%I z(dO++4zpT_B;@#+=~poTy1#X~*@9-h(>B1tefw)(`tDD;6)in3ll$j7*I{N0FFjj< z>qxj6n6`>x@_T_+yleyt=aO9mPoVnauCB-_Eg{>t3UxYHt<5AOQRV&+?POL-3kTDP zth`{dV|d1n1EgkkY!5_e$Qhl-r-)<#9&>kO2M`_U61uCyg*?CDj}-AW)3TGm3w1%=-p6H0=%m z>j1_}Vfc+MKZ`9HrbEkgOqZfF;R|(P>L=C(*WqKOy(0Nf}B{ z)+QbOu1oXI6^1|^5#C?dF{riQ&nh;~?FsZs%<2Tdiq_4(G3(^x&dQMEM5?a4+LyxW z?r3nZGQ$FEyRgZ|z)e2RW0WVWeXXm>(iyV3%InPyDMd}|V@j7Ve%?uNcs)-`P3Cvl z%g7poQ@aG&OAlYbu4?h4zP?S2E@NYJuT7K)>KI3h)>gYchgCUi36#IZ<e-@L*M>_(W+8;{bZ+SPp2Yb{(SnPae4{BbacpZ3N(%vuhTWKsP! z(_uoiSG$&L2gMB7N?1OrS6w#21&E{{;8jGbCOuHS^xy@BXqh?^V|W&MrG%sTI!MXC z0rh-N6^ORZ01v&vhPpkYTd(J>at-3m!YFLXctsROc`=u1WAlF%+=x?cGEN;kKJRfr z;W}bkRkp4Q5tLhB7zB(oet*&M4+x+d)GKygz&P1>>lV?RSZK?)slT0wv*3<-GQhfi zhnz|R^B8u1UDYc__i%re&aU^hua$ZxT0eVlwFmopdl>yP15Gb09XQSDMSis`wI|wq zw0wc9++@BVK95Tp+x>4)fBA;Mmo^IJ{7$m9&J6RST_q97sDTD^JwV4x#K8 zHc?;(BR2Hv^un&sLOv4q78|^Q=I{P(T^_YYq=pKMzG$0n1-|s<1}6FkeETr9RyATF zQ?bJlt(TbQ3teL``56*x$ZOT_vi`BxXz}dA(O026HTW)hq*cZ!E4m@O3#66sqlu1c zi@Ri5xktp&ttNgBA%urL^O_4s20}u4Xg&R&ZSIhWA;geA4XOSrOqcI)}s#x)Sh@b^&IvZ zH`!u85QUKH2mJbylMw5vO3-U{d7Lub%INXz&Ay*$hwF5=M>kPOm634SVE2ynon^<4 zu~@~!px-iaPNh@zqGn3Z3LN5SF4qW#6IY2~v~a>KrE22+z>5L>L6)o8NKC=!47whZ8rXlP+{escD9o??wWLsbNRivhfDm)cWPQp z8wr$5XfLZ+o6&)Trstmq1S@29dD?{PUD?vvH(yPGpZ6vzzvLR|ubaWbLpOFQ-~_I< zgfep8h}93RO4r#PVq7vv4&|b)#8;|H=NOv;wpydt-g`y-GUk9LrAb=45Q&QH7*n7R zG`<6OPA5jR1@vn<7t8LY_Lu`k1gZNOggjw|>tRe=QDt9(W{K-%7foRX7OEr}<}k>l zQpYD&t(r#pQgoPz-)~mx8m5oQ;r?T+9EPY_7=qJP155@fwsp{Qs9x-J?ei<1l;Hyl z++^vo4#+5Dt!>3`5=+5BEYh)m!Ra2*&68K2zYPlBZ4mwHc+`$&kVz1jsI4az)s7NN zKQ&S#Ed@e0t$g#)U4D$uBJxS$q1#-=Q||78!@|UUM3__F)Ma{0CgzwxVfLKS}%WHwO5wAw`%Tvdc zUlMU%+hhu~KJDLc3Ysa}o)CoM$lBT(Q!{kPrN1pO1pdoRGga6Al@DjBks zoPun9JaMp)QckBUR-7#;VAx%14Iw-}5EAs_N2)CbiRJXq#xi}&y0`R3THuv29YWG9 zxR1x)gC~jldd+VKh6APi%n%NAhXZF&CRwt6~q@U|BGJlDeX3#!zmme^v(@W#Syn8k# zcaE2&BnOuc*99ApS5rQ++&b-;YR8t~ zm5TG~QUuaG1qG}WO;ctO{hA-vn23lVsn4al>pW0L(}DEYoGj(sTFh|GK`sF~y0pf< zyvZ&PZh@MZp%Xdhmg-W3DSn3aHt&FQIkHOV7FJ}z`v}9LUeJN5X=l}Zx2h(=USP^d zp`xb0CF{K`KzfDMIpIX9!?*p3C_Lyb8?#H`JH<(GmvD5$0^;Oq&J@e;cCyxpV3f+k zFf)$*b&X!9rO&*CN?d}Dc336DlspstHbg#Ysw2hyL1)l9KZsFGwbt+gc<9(T^mXD_ zP-n}*Q=b{E5PH0|Sm0u=2-~gi*he~jv7|Ov8MBnj#uq=NPtU4#tlr(1N!$#Vhg66! zngaP(5Hm>OJMKe_t`6VpgM&lP(R=B(|BcTQgvyU8o0q&HW6h0PLN2sq>_-fmTXZp-LF{OIkVc%n2h>f4ZW zilshD=bJ~j&8JBJ)+4}QgqB;Zkw|A4qMaDjC6BM7pq2ZvR-^hdF`0u142>%G#30`) z?6L(ZU+K>0bwNB7$+ln~lEphp+#Ku=`1%U)jsz_xmJ9C_q(9y1zrUISC(ovHT!7*Z zU$OS+Xzas+BjmiFmn*-`?}0?$H}gTwGEg%*gU$qTrft=_s3x7*-Y3n5TEI|E#~4;5 zITD#I6Q~8+69yC3OasWbp$9yZ?zriq?93bauPGIVP0xg`PaWZm8q-s=evsHz64D1NRD3l0HNFz)Z`-?c90={|3 z7q0A%61*1_%|4DVuBy|H_nw zi>*{BRI~B6 zLl=ifdpM4R2xfULs$qi5(!!_5a%Qg^&vJ=9t-7v#6 zz#a7?ZCl41;==8Qf6~^LyRS+)wQ8l89b{Df(b)1AccLu;VjNL~47zEU3_3K>akX|( zGTeNehO+0j3QB)2-4v4Phv&l46UuE}DZJ;soEM#^Btv+V9Wf==&B6T>uT0!N^|j$P zpQ;(srBM8_&KwyehmD(-fe7v+b1>uTSaoVUa(C0^O&$65L;u{nS~d?z?zl z{z@!7PL+aVc|;OM>u5fkvI0ks`fV%2U;KUt&^{ndhyCh($2vtDI$vGa`&5T^nu~@d zUG{B&?9uO*=yKDr77)(p!l;ok4r_6d6{P;Fy?-vNYQ@Y^W5r-mvmgZ;RxS%(d1JM_ zk%=FLxQR5hO+|xyRcGv`$glIMaWO~+%3%k4f|Uxl}{5lTcvMn4H}tsN&$jLb-oZb0@q=uuXF;aGk(9RaevriJaX=m_ zd;OEtx#nSE%4iTtFl+j!*v9EOJ8?e{j&7s^=x>>2*kqvwpV@j&hX^BVeN;9>Pw zE=^A|{EcAwQwuNb*hRTJNjQX=ld-Mn&8LW%8eo#(%h0yp_YyrigW>~)uMza=GteTA z-C0qF`DTaFR^py=$Z(V{(I;KHDQ(w6z+J`f)5g*Ek_;a0gS0lhjCscDSs)T>`WG)f z_OxB>LeC}14^5$&4+F_3EozM+2_CGtzszXt`#L*f0A%4Nc1$&*gifLJhk#C#LD=WZ zr;UjehrH4Ogd6gXddTI|0=-$2eU&dn=5+3FmL}t22UEp|6%KI-s>m z5eAkjz1)IL*#iljVP9-Xo9{@FA+`80bKZkec9j_9QC5+f6#}-C@Z%O5K09YF3q>PP z>lmt6#dpEo)z1wCr8uEe*dvZ+0^Q|XQd@^!4&$1#F2JOHzOD-IB*jh(m<4@ol8(GN zqVX1r7grZLg|*mZZnD`b6oU4{vbTsw;d^OyLIn*K{NPi!uIhLA7h3KEo^mFP^6ydo z_S&7G3@f6D{B#JSxUA{AQ@ZuoN8m$4N`Hw2Ensi4Dt7C)s<_~`IxlqZJ*MP_c zQ7v42f1xJ-ng+5$2`b#wS97_O3TQ><*jmT#UnL|jRgepnw=%CJ$1gkqu)>jBVh^A8 zeM8ElN1NOHPF4Ktu&S?65sjqidE0rE*Jo#svdn1}O0^2CJ zZ*u|8q@~2U0A=)kaN(@q&W<_5!m;#crv))Esj9XwOo5xHVpTkfv?pTYAXo>~o%i3v zM!L>wk)Qik{a;4MAJJ+aL2=8N!cM*qJA{ zeku$U81tMN{Mt@5X*6=1+-9+Rr>vH&eu{Y8)5;4~{6S_C^TGFJGt^mJC%L#|YGI|Z zy232mC=idd={1k5)QYpuC_lJTj)ncN#JC(m&P>!}1u4%Q!EgX)JrBLQ>7k@4Ui)`Q0Z$+O_&aXRx; zpjO9EMWz6`N}q1`On`~gfN-+nx~2Ro96PB%3VcqGZC|XVe^kMk%(vD`KABEZTF9g* z6^7BK!>w)JSj{$CAN7rjHkzG0oYmR8Qv)5ELt{3Q%kM^4qV~s3B|bU#qSbCE$`lwE z)vYwypC{Hyg!Jz|d|T9i>j47?RiY1bVe}Zv*}Zj#f!FOiu;wa>QsU(E< zMy;eSY})aQuiC`ky?s1YGPxXaBa|TuHKJf95x+Dc zz=F*HaMqs%by>WS?)r3XB2U}MiGrYpUR#&>HTV9*C6SnXo2*rO^{@8PlC~Xu5T&2G zVh<&-VPbu(ehW~Hy82eU;}UVim~jv*z4VX`WUi|5%McgNJf%hrZ+-67rq&y07`UnZ zLexM4$>V`*Bv!(?oNrx7IW#j)g&-IIwN zsY_#h%34~v^^im`rb)DP@2a3CTTr@oF;X8UClFIGZESw+ee6I+Bfk8qL+roe zed5o>P41G{+$3Sp@|)q0tzacq%aQoC0*On_!_caH=`Cv?_}RHK zZ6_!Spak6gZ5<%w&`eS`mpIac20DZKn>O3?x>6_aE45z<8L2xfA{nX=ClxXmnv)tU z{Oarq=;9BS7M@wk;FGF4BK{`ngX^-|)S-#M0!y`7%~ji17uqm54F|Nxz{!oY(0B?R zvq%t>#lO-*8qSW8jw88Kn$X8h#-BMZjPZyWvJ^}<>6#ibPa}STpM{lI9thU_cyAkRbgtFl+rv!y$A<gRSYmKjF?;}Hl=iniloe3=vUh#q zA~)>Ie^xm#0Uix`C(Ex++h}-ToJ59el;0JHHh+|PX;1i`^N+S~;D?&wD(Yl3Fmp<1)O@X+v^XyW*%CyU~gC4LU z)wgaL;Sm(A{EDHEZWYu$E`%KEkbS|}l7+XNSINg>c~vd?5nC=m{Nnr6il9p8X|C7> z%!l}hYh7~p;Om9)pXGcymAX+1Jp`%o!AX{Ps%zr%a7@WA(dscZLXPa|aEz_0enKKG z^ubW96i@V58n?>IZ_Zk=+YTNIR7x9= zw%rO;Z-ZDvFD2H7+oId3Um)H~*mV-bv#?YFV?7vHV0EfEa8P&zuz6Pn{kFUwG}b=; ztSQ+vxhIhfuiDRrThxKNLWF^?08v(EzUxdZ!4 zV~XL8VdtIg284{B`07$+GU{Mz%r>M#E^=3zwKC){{gI{No$* z*2#V0Mp|z-3V{<=*CD%LrRClH+lC)&A_7iI!olN1@~Rq;>h2i)LkJOl_?+| znSq6@`$3Qxd%>Zm=53kWwS9UHnTzCTa22#lML|K5!s;Vk;SK}GVi_N=6>JDGMp>jH z69r6yo8OqyXZnl{D7fEoUthsqZGEJHrYA}(aO8m!@HjU}zI~wf&OvKe2E+#D-ccS~ zf1wRC97`Nx%lw9-eUp2@%HZ*_TB2a$*fo21kPcal)R<`hI5c-j;@nDdx^#p7K^DsX z3)fOnYPwPkWqoO*;rjZudAx-BXP)Z;CiPE_*;3sgoQ2UYEcC~P*%EAmQCOwQ%}!r? z^0uWD-R=cq)SiHN8YsAuFgt$qmMK= zt**jP=VU1X_ACma=2CvbkmYJ8a)Uc-6M$Op9(*8Zum$J2Pizn2ts*rQjU`H z$7g?D*EnoY&p9{k=NB1!$^TIf22egZ9zL77PS>?~(RW{ocfZp%YjxF&9ad1;MBnU5 z7oczb8O>PI$5<`Pq&$82O$4nRUvug5J|iHZanZxF9X__S;ZT`SZh(F1I>IW~FN7al z^}~DTkI5d^eRllVPKo@o_&PL^@WNF}sGWpY4)Y^s_^joefP!g>(`(n;aND2d#Fa03 z3Mw1j%qW3J187AV?NO_f8t*+OlT7o^L%$!ZL@kb@R%Y>yWK}j9T)lGpx4KZ*YroCP zeXe-b+=L{@W#|T9l(e!hV|V4IxcZV{+Cd}Sd*wRi+60*3NkPkLh(!ZA8bqLX&JAgxhAcbMo!DEG$XjR zX{8+@B)})V|MBxZ0en%b^zi+uEp)7jc7{B#Dows*EB7G@i7HfQ<4ix23Fy@o>(ixHh= z)W1db!$>||l?3c0^cdlLXmLhZ@9DW;X-SgISIPlec;p^cw`$!J74|Y5)PY=aa}u2b z4v#b5-*wvUD*K^2Hb?VxVF>h3UNG=#J#U0f5MXpQTMr9z=mlF_+1>?xAf6DIkUP%* zW9fE#_O~6mXy8wwbqQy<*86b8q>rM;l7N-MChCX>@%0<>-8{j88!`N=4-?c?(I20; z2g)hpCe`8_J_(MSLtK)XjR>s1^#e=oPdRMlAhtya(I?QZ>ND2DRNGY+Br(5-GGZ)6 zt3jFClUIQ>;n!pQ1GCvTR%f48-_Vxg`p>1EkD3Q)Sr+M*;A*&jtApH-dM@jK4flGe z%ez=2X`Im;w9ZZ2?4oJ-&U~rDBGvwOD{nS)eB^?;cR&Sv_IRj&hVfk`RYf#jDwyqL zKTE|wBfJ1APHfi@2m}8pSMi5QP1?>#L@-0jvvFDl6p?Tn)&yf?nzXXllDGS88DrId z_-)>B#cHCx)mpB)VH?ERIygT>^X0dINL+<(3Ir zfUBIGD*}x8i$p0?iKG@^CUSokq857%k8v4|rENmt*ydYsLeB7%y(g!?c&|58Dl;sd zI!Dd#5HnL-*0UNV!d`B0{!&(4Gj(*o+|K3vb$&t%l$4(CJ+$b*t$bNCetrGwUhChl zjsC3y^6vj4S@DP0Gso`N@*B+gIIW#~gJ`qrZSi0cpjjmpy}1eXMd@$7u6nwvyLx%5`@B`XH}w8^=zS6|pO64Oj{?0hJs+=tFuedjAH69(k2<}m5Iv79 zJ&2!=Uyz@*j*wjm__p!!ndDXUtv@G(A|l9bx;Hh7qlzIS3O4$nu_8lx*5@WkAK2*50qc^F z-j@-Tw1-rGVO8&koMZX1qY?yATy2^uOD|R;2hIyra2_35We0$~q=rxvvGuzPb-S0Z zB$&T%?h#*`obBcO?$Oyp9-Kpcuw8pB0DL^=Z5vb|<-Vvi2X4B6a4o{6ZDy{Zzp+Ca zb#5)hEaw0!=KyF*Q5gBnh{z_EqO?-d#SO@n!EAgZYLFuKc#Q$GB2sY9d1200@z3n> zq;i-sL7w-GrxjWtN!N@W(GYMycZ4wzy4S%<*&K#YpT(*yp8g()c7>d~5Nskfkja$` zn%_Dp*nrcNsgkX)Xs$XR=;>{3{}P@*X?XHQMC6fnb%t`eh_7d#?5KMF{VBg7ssY7j zy@0&Q#YE9|n^ycrv2W@mUv0QAd3Rs)WA`or>7*(m9s83;Zym*Q{w z6&%(Gf;-*3+#@}cn~DmG$DeztCqUHCf3ZfH0_;RgZjl6usZ_eh#hnw#E~fj&8SzOR zzGy}zcr8NbjbBK&!t4#VL<3Rhcux(<0>;)*Ux;a4gDcXKr!a=`t`pzok-ABuukUOE zCo4*FzFa9bH|T|M6zAsI2aw1T)wJ3|$DHNT*KvB;9_RN`uT(rV8|^wpzb=ZekN(2 zl&5V%DmRB1vtuaY+p7vPb5@qE;h9vcqT746Pi24@F|oTQ>(zxJoE&AJxs zNMy=P3-UCqlUmFP-Pc%&eX}VpYAKwJ#Gb0ik(cDq^5V+11i}`5Z9R(_M15}W^N49H zBOQ=2V*q7F2wf+tS`4&4RDf@8jK(+DJkZv-mZ-~#TcoYH+3(j_6iLp4>VKN|V08J; z=SwD8vaGTS&(EFq#6PXIx*MvHmsG`h)(UFvTL(yi=-yLmy!QtmK75-)%&Ag8sX{0C zPHQic`og(%esHe7CFHk`y7m*j=7cCwY;k){$?At#WjC&x_6DDUcYpKqmW_v~u_;u# zxj%l=4zMbKd#SXaX=W!KJ|NGt*ttzl}$G#rZBDOzAttmgrxbQ%KN+<iuCRiw7Bi4?UQwE?pHrF)JURpQU1&)poxVEp)OU0bCgs7ah7< z`?P;teN~gr^Nm=~FSreByd0qm3^Jq+>mf!8pCmT5{&As z>8h9-uk_PfYm>@dX!-a~BSeTC_*Ed^)J=imG0kyLUFY=!nK6Yb{egN^`CpFn^;&cC z1)h{zo?pj)>w@j)Uj#R7G=b20E!R#|64SbR$0H|^gaEdc$?VNdRo9bN{@GxD(T6cd zkK`qI<_H$yY6i-|do+@DOy5ywz`Z-Alt!7X0BzZ>xI;5=$tD-=qQA%lFI8%jz{V~m z^4G8hMLB^618XZO1{lr5@g3dxh7$cne;AljI+eeZ5mQI-b2)!puC_s8pYF%9Dp%{wbSg{9^Cl$Mj@WK{XxynQP5VVHIqFw`J4jz1 zt99wZka*%NLIx961BQQxa*3+@dgzs~uo|H|w#W$5m`OQw6~vBKz)FW`hmL;w`*7vW zccO=+v^7j_fV23?ZZ>`F*S^y3&CFjQlAz|TcUF*24kHGhuv$W^b4GlM_EEYfi)yHl z0~8l)K$lq$i_M z!{x%KHrVfS1At?+8$=f~iHGXHZj|||Z_$1&4sFrRH^F|aD7#0wq7noi`gYxDw5K7bQsgFQ;3H0=Z7LWy^ zI-7?9e8ss-u~uZ$DGWp^}Lm9O|lta%lCVnH$6_QnHwC z5oEGGxS4;VV)4?&h@TTJNr||PPm}`*etR0zVU$WQ8i7KKC&gU7pjps0W^vPs>ScN4 zEn`YvsbVbC9i{N*#E5F8|2UMDDsb(~{a&{hJu%X0ikM%w>sdRQ0s=Gnc{{B0$e0Cr z-?2HeBR|bmbRP-R84(#t(q5prlKCF<<=KVOgE0Zt+H`_?#>ZUaK#yk>#sDKF8vK&E z&;(8&78$6XJ#7W?EO}+(psw%Z7Pr%7OtxsCZ}Rw$WHU%V6-k$e`<|Tdf5l<5yHpfS z!Pk59yW%{$gpSDHf%Em1GyVuFznSSqBowkQ17M~rRwjd>>n>M}1~BFHUcDK~A(&7x z6?igOYO=j;WZ2z@9d#V)ze4LsRTkPJsp5i7ZVJWPii3xgl--k94&-<$@==x%Xv{^Y zV)sYsPbvNkQ_o#n7!K=DE6%W6uH%(z2TWz->M!+=?*L_iY^ms8p>E&tZk>@n2Pxir zF~#NSn(x`zq;(06|%dgDOTv7NctC z(4q7P0H?$0xB!~QIeLye+F+b@EDgJ1C~j+*TQicu1lN;6^^OJJDOi*aLUGOA#4zU_ z@-xUoIJ!^~_TLvDY_DwmHzcFe6|RJbcxk&T25>VMsk6ng--XNK`=rAzRv#6MaDRPN z1+|^d@|)EF`MZy*$CdcM{K$x#ic}KHze3?}WJ9m=A4iLBb2=Y+xC;hS_beeZRTFMm zHbcWV&xN&Ge@SV*7r#6woeHEb?y@%Etz?>Fz117OQx8&E4D|Ko!^X1QHkR}XK^4TQ z3Vt&*C&d-Oy`#O(61*i57odpxaI9a-yYjl~BE-xj-M%cC6Isaj7QOIU!@Gq*0RVOT z;UWKugGOXKgsA^O& z=GuY1J;4|Nl92Sc;>XX>-1$CIysAaV40+t&2N=;_x+@O1u+LgZfKsNXAIgeRiMnwt zSibW_BB5`hx#~ugdq8)_2QIrv=RH6#1F_eXUr6^CH>oaha#)TW0VffgvLa({?+pDzB z0qJNw@jgn$S|>rxP1Ew5cWF+iRTyhb9KR8J0#=yRa7K$`YpWc;&gm02q313b5;gHS zezc!PsS3O%mY3AK59rHqS~s~PCosm>t8#Mol*qX!xt;9i&^f5CE@woeAlpqDQo7kx zDvQPBF!pM}6%m#I2G?zzP1qk8V#-Uy~UL=@5t59y5tWm{? zMH0?ZQh_9LP?-y*7ulVfN0vL?V)w9_BEVh5cdNC>BN(Z+D404&2Q)>Q5Z}8lr4M&Po6V;)tsZ?2o!kmC%;&-n3Oe5&i4T&QYyLAt8FH zx2W#HRyRp$w4D1O3}c~jz^7;xzHprO)d|XhOgKq|r>N`(id)406*`PPdnZlYE=4ayb zm{)xlTuim_xEG1wf?K1&>0Cm3q{&O(7jdFAMG5NuVY&LQWSUlTS5oyzpAe2 zo}Msha5*47%=oO8rc&He=@mFjB4n9)57S2=AvpB%?CU|2cnJnO<>S_66A2BEwgmjb zt(l5m2x&_Ddj3RaQ3lE$C0m5N=?=Az?%s(1r5_$w`s(zru==R$TfhwQLaeR$ceFGA zip5Kjm!d3Grs%hAB>*l3^ick{lzzl+g_3fSmlIf?wDYSV!?+?&Mj%qz`RKZI>+|cQ zkT%cxak=xx)zpR+yIT9UN0^w-h<4-xmdrz<<`Q1r+nb+-+AcImHpiKI&|8yzO5!=s zpyEGGzKZO-Anuo%*O#jA)yGo~N$q0Zo|QYG*yBPZ4~_onIW4f=q`!`zT}TfILHTZ4lu`&)P&ULwH}$NqxF@_ZG5|oB z=Ke_=VUJdT(&b)0dORmyP=(Q7u$`D=$JoM008{Kw!|)P9fpY%QtG{zDmf?N@_Tc@9 z)}GKYa&u;l*wP*HjMP&zbfF$%>g(%Asj5%dCL(PNQ`DyMs>(tAaF)^vT?LXY;qThO zdyWq;XJspr@9rv`)=AvUyQdux@ubAcM@>y|fkUMbjT*iCX9ojOE{X7LRqK6Z(`d_h z$yysO?(X3e5d#EWKZEKZ-CLyfvui})Gd!p$W^TkNpJ(%Iv$h#cyl8cBgCIz+2#r(l z1McU1^n>t`TNBfcY0w08?R%gfNV-@BRh}fOiq)=Z<700m31$>ES5@BcreQw^N9`wi z{ix;--;;Dr*7Y85SQ03zJ4gbBR2UDm9K3VolqSmWr)UuCNK);)$PSX@Kq`#ukYG;R zIa_obxI)>24Q&~sk@^+3pncXRnL{lMN1-OJ5@AZDZi7pRqa8`Ix zj6a4RCi_yA2;u!i1s*X4Y+t#QIbo|ZqkTQzA&GFPq#4YB*5K`zqN_mGgjEKOwD}1~ zAfGE*zRdFCMm@|gJ-g;cnmc}qC&K7h_)1ew;30j511~tw!<7Z8F}7>jdVfXxX}U^R zj;N`cg0ZEh&iL6t>0Khc01G2^uYN_6hmFWWh?$(nF1}SM_#7?AQ3m5GAVSskdYE!X z5;M~28-CC*6ldXHSi8Sy)n$`U(|r+%=1z_S-9co@3Pb6PI)p#NpOZR=UESHwl1amC zHFPS$LQ_~}l%&!yJe=L?wrJc`sLkqPh+vteI9|b-JkVCbo2c{2^o{gcsMpb|MkWTH z#8i7@Gn{ID%C*l4grp5=Q4&2qbGL=x$o`Z%b4SaA62l|Kq=c}!(+y8mf+DO*5c#-R zpQmC@LCn9Z6{tZ6#FS>{%8W=fyqce=mybFvs`n&Ei2Xe;?GB`N?q~#Fol5 zh56I6&V+Thff>Odg!s(;c&+l65uYR1jbMhTtWnH4AJ}gc!?Dw2d_^ZxP;5urdmimY zLOkEHpt6u#zBU?J)F`5Kw~vo47M?2nH7yFdWDsqUmotwRpG-}&nq@m~+Vg;pw{4#iT^9nEU!Ts!DtDbMSML zr71boorh9#ZOZl%JMn#uV#H3S#&5S9EO!{2mT`}sTE5-y_yw3%dJv>!)aJA$)6pAx zdrN)#&*HZj{2a61)E4}y{<0|nkzu*5r z;qNCi^%Xysyh59BTM`$vF<4)Whkt1)@r;9u%*#YVc4{)sBKJWiD=Cp9iW&&+s6Ke` zYqKl&bTFmn6}W8o;H@}kmlu~KMWPX!AaxjY?41s)t|oltjUQg~pA9-KMz7aPUk&zW zlr3E4upWF;fIDZ7ZE&bXW({%shM1P&Z3w;0gy48Fcyc5X~mHG4$ zg9H#N*4M&nzBMTnX>Wp6ek8Tdde>>#63eZ&QSElGRP$|ti>TEnB|F!MtO6Z6od=fL zLa=(BJA0u0{Hs4({4l6yx+chmDyTFhgd-h$m! zQkIZmzS6N>j-}wYt7g?DQBKbIzlIz(xj*x9-t{~mr^(mLIC4Zmi3;H_Pmfy5;Y0GL*ljd z`{p$hz&oPnQC-ESQi(Wp+5Gow6#(Ml)ac2MUFu(=M+`=-?T&ROXSGKpCw$ zi%~j#f-Jy47sYGF6kGpakEQeK{D~HDaZ*h_#)~`Av{h8G4?=R16^T?txKuJKF4za{ zneE$rmAej5?Qy5HUw1`4_?J0brh!;7f%-H>Dh5(SkxGeClS6k`RkCS|6T@9!X`kkQ zTg;|?GCoAszT|k_guaJ5q+{s)sDa&^HQvmrIX0Egn!6$esOP7Od?){Xs!-X+hu_-0 z_YLJw_(DeKbH_A#&iUf!&eRjBx`s;I+y2tIkKYenRWM9_zJNRux2RjU?v~eq%~AZ4 za^CEO{`gR%D6aOkG5rmExgi7%FfV4vdP><1*VzpI%&$9^5H)4!Ug1f{OE6hP_wjo< zS)Ga-Gxx>pJ3C_>t^Mjy2br1Ee)&W3mK7s%?qYCm_H(djXN!o*A0!iYc7C<+Z0~Aj zP$Z<_PeE8-7HY&pOLoXUsA1FVco&JXVlYb41trY5dUx8La=|k&1|gzAn998@SZ+gG z*DokaH+eXlmr4(6UFe6r*3w3EUAh-62mCZ4*xLtgI#i^IqKmj2VvlK-+t^d-08>Z& zp^Syb2C%)Tx~}8j^xuy*>`abmABRWpe!=c;M%^1I6&}|ggqZe8JVcv!dGUeZ&F zKwI^F2c+UhJ={ZdQ~OcT@3KzA{?jPPLOCp3UQ<9mg6IX>ZqG@48?P&Ol=;aPbnw-~ zrgr#Kn(EN|)_KE~+M#bPkkC0D$4m0J*e?`Iho$ex7k*eod;DN4XWq@uTh?{VR1F#o z&rFFLg5k_;^~Vk9+ev(?{Zuy5lI371bKNftY+U!`*YZiPuB+$bNYsz72D#i*38tph z%*lPN6leAEy8s(* z8CBvXq&MzSD<&AGcLE&)v0dGq(+r>qJGyV}7esFz{YiY6FuQVrbQ+dwqK~WKiZ2T} zA{reUSkJ1Y)se%nD{@^EdqUSy6(6hNo#SFvApR_L6z=YObynbb6YgV(TO$vW^4ktZf@3^GH}<=qf5JQC8d4=v6%a`G4M=@ z{y`&u`fy?>v4?t~oP^RUHa;ktpG4j(PCA`PWzde)Vm@NpZ(-v*-O*|#bkH~YLlj!O z@B)5Q__vueu_Pi&O)(!nBa@1HBBw|C>rX<^kbE+UNfcp6y^ZAx*xZBxb`4N5Q0@hZ zgVc_nNlk;caQoR9Q{jRx(I-(^Y^f3K%IqSfMLHzakVRQ}!SOd`!|j^z&P%*Nayig0 z_1bs5cmCH)s6@VXqDJo`Pn-vfU~BGq`K^K?y})2SMWJW6fa7g>P24hzY4~?VlM&A^%mE`G$T|xx(}s z-V}RHfQN{5*IJ`GMTAE}V0wK}@wl120_?b2TRHRUeupV76QqQSK%6vCW8&JqCciGm z?V+D(MvB|bXCakGZ<>sXI)7^8D#gVy(hz@S;V}26-`~3v#8F-jFQJC1LLvDpp1>|A5x9^NaK@ zXpa546Zvp(R91JU1dGXbvB+!_+Rgq5bj>$v(VRgkdfh>^nV|W$}p*y*6^V(s=1WeGF-zWVIoe73^|)G8b?k+*?44Ic__jG;S;|h3-I}D5+>t*6YaFARQ?rrp*z)yZ&bUgF%Q>T zKiam;#Yd@b(!w46HI~RAW9jf!*X@FHD{VtcYN9oG=s<7~l(CMkj^Fb^$m}+(E0R6hS^!z4#_AjSJmAZ*O@0^|x<8Npi zH+dv&&Um)H1Y^!rwSw( zRZO$Ti)*k3wHwNU6o_XM+hoWkMme7WvLYLq$++G+v?qM9a2{8D1dhp4!!w4vflm<+ zPs445lj(2=aWns0xofnZF7|O*b8%@BNk3T`_b{QE4N-%LijLsk(erRvbB(~dplQ#g zi(`bzp`~x8vY8^~bSQ?W>_w z5bI;muZL1zosZ_t_7`}j{-=Lb*{|QTO0o@a=q`Ad-Bx&H;1D^}ovT2#n)HP1H(`of zPR)m54~e^z@z`12MJp(Wc6YV6k=dR@Kd?OIr)>PT5b3VKS3$dG&;Py6x6R^O zNvaK=HDjLgqSiL9#ZV-|>D8~YT63qMn_y|~nCKjA4m-WOy2 zJTPSyWqa}SP&JPj-$e7&7ApSvWGD3!YiA;F^OBKq{*}senNdO6kwc_b?YzW7;Jv$# zP)fZ_1naz@+@I}t>u^oKs5o2u?oQLyeA9{QF2Qim$?Kq^rbs>UUek6ej%W-a?nLMd zx3s=RYw$vm?p&mi*r+m_*9X!Ji*Fq^*Sa>jjb9pT*y|(jyNa6L?M`Sl>LUY*&hoD_ zTKF19C&KS@~1FeGf!UiEK(Zr^@c{HZvRZG^^~#AikzsUg9L`y(cWJF_var(V>Uk{9}B) z;dl90p&@@E0C!XBJ#<#H3pdXU{}Sc_Fl~5Dj>=7p$RzcWf{n3{qH>rP5EW{m^AKcX z{;paFu1E26bx^qqMnlEC-8klJP1? znM{kwo~aw$QUY}iX5xDF_Ef|#amXPz|Gp!#-0jeHa`z4wq@nXO;>Q4p9|LEV6No*lc(Be$#YhuKCja6fE&b^&rO)_-Aqw2;Wu zgUPNsFn+2GMbI5)7x)wuZgugif&K8Q0*2pk>53-HDk#$Z-YoLQ2-@;n$cFqyDBYK@ zgnAqL0=@nQ4UW+}85Zju#-D`^9d5x;InKYiKK`|cm*0K6sQvcmHER9CH8w{WK!}H` z#`R+R&+UVHN$eq2kIa~L!~nwoi)0_(ZtQ$s?#%P_3%r}KdXJ5W15h6@H|FqT-$J}* zX(3c>DQh`4A0NF%<^CM3B+~;5cW|r{MvhZ6k?4GhZni&W@4R(x;C}j3t=4L#u9jjm zo_DAS6t5i)>K-=HgQ>L`q6PZh@H6EC*hzAq(R0hp(Zr9(wY8C&n9T&T?pUN%U*Z3KbZeu{e%4v&Of-V6+l2mBce#A<~G1g z=KuaBCi7++K!(_ziMaz{qJtya#)c>`vWnzrUUA55?BIT_Mq>~R>+=r1`>q^1oT;<} zkPuyw;E+o3nt;-eYmwu&oRJNvJjw84-lL{+ezE?GZc7!Wz%E&*#8~$TwD1kqvPP^A XwHypbL0I8$?cD*yB4(=Y0Z9G_`RTGE