From 8c51a23764730db71abc2b1ab42f27e51f067e97 Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Mon, 16 Jul 2018 20:06:48 +0200 Subject: [PATCH] some minor talk flow additions --- talk-slides.pdf | Bin 1947382 -> 1947443 bytes talk-slides.tex | 9 +++--- talk_notes.md | 72 ++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 76 insertions(+), 5 deletions(-) create mode 100644 talk_notes.md diff --git a/talk-slides.pdf b/talk-slides.pdf index 4e0398620170c56f36a464ba48d1209e368817c7..bb79d61814f471259b7df89d13f82d177529ddd8 100644 GIT binary patch delta 21842 zcmX8aQ*ziU4; z^K|J_f92vE02Tn=03jd;&cza6i$Mk8k2?}@UsP4^poEaZ3YoEGg=X^1Z*06Ijmp@} zi7!Msjb7uB;83_y@;g|rhFN-Yw1-29bbu+djhRc2dbAly_m);?C$55he7KloVPY(p zL7iQm1z9BAmvoAobS{69@qSnF*3uQM4Vg}vPNDu?3LzMD63aCE^%&udseuBZqNbo} z&^sQ`u*p|RzdVzye2Od4e!;+Xx;slZnj=VTKw34H9Gyiqi=-u^6wLLz&3L$8Ow`h4 zH6d#VV66cKVAaZYAW+33xE3S5vu+$_#IK?22d%ig&)Ju(%wWOY$%xJz+7$b%lCYq{ z&q>q7eY9A7GGQ7SSpA}^2(AIFXLyZV0*szCInN}Nslj>Mz)NXR7hL9GeC>L#AZk}n zXIXgVzsta=c>Snt21muf@L?r>@g^}iu+-En@COOPW^qC87#j7MXa7We$OxZErQnRW zOWTBcpvP;aPof$O_>+`BoN#i=O0|YCFZ#DD%AV{l7D3nrxu^@%QbiBw5-#fal$qba z!xc8}*5~!enm9(uIx#A`diZfQx8t-eZ=sc&B_%q1%Je;)e7K;wM!9I1_U`RYgrl3$fMha7Lp-S0aZ{{lv` zojUvl=qZYof3Y9lJRbMr5X2X-JDkqaxa@8EWxx90Eh~HHcKLLw5$h@IC`A|+d}m4N zUtN2Bi@S!DjWGaVr&T!k`yL@5t53wyE=ph8xqt6&K$2>?DrAR;O{yZ&Cs_2!m=RZR zXXZF<=~O2@aVdGGukv@!MAF4G6!RtYEC@Js3^6hC~ti`^EdoSaeTJmLH)=;sZhLTqE6T{QKZchm{p&H}yW=cO#CR?rOoMzl+DsD+M z@z#xCxPQ2;I}k0pGw@$e9%!&ZvZ<;W0tp=G9FPMWgMC9?Y1UFq1KRuIIzzVD%d!jZ z+Z%j0dw<2wi#)u9s=coqj||YJW`t&fv7MA><`qfGP@@xaR2yE}1ErqltaZ~ki~gXe z-)<(DaQg2VSksoQ5S?frVU_&gL^kQ?N*4I7M&3w)1KKXDcRpW;YAg}6O-hs`^0<+O zvxNevx0Gj}0)BwuQ|du&-I%8f--Dj ztVX5D6?bo1viiWT=<>K-=PF$1fqDEiPeNkGsB<({!4-y-z; z@d^6apu2W-^m7+4&vW|bB-d}u1Qg=PSO0&{KRNuIdu~VW*Gpb+< zyk8riMDjz^*@(c`RM|VXlQg`=nf?$_b_23I`S*_8@^ikJ=Q6{$6TKGaXlCrpJfQQK z=~bg`C6cF3(bFo26?msl_PKag#A9QNHP!+L@U&|h7ll)J%+~393g<14_fGE9=gT2L z>Rix1O0srf`?u!2OOB$CfPh1B5FxCw$4%1 zWw6}cC;wVn5fF!(@8ZTSs(%6O~}er`}fK7H4=i zEAJAI+Q`y|F+RzmZ(ixABU2G{5F~hE@0j?kuZvEg)yM z$0AGPnDTWcc}a>$Yar@qv(v-BYTa39K;cEeiyp-j6_LAv^4 zr-;g91(@@{JR2BX#GbjsTmE#+Kx^X|^LDoK#wP^_3i`g%%lp^`Z`yRW;0)fsPQ?I& zy~kCerCNDebvft1l85o&y0|WXgQ8V>oF)q`&9!UR4RQ0*A4!qfzp&@8H1RswS6h?^ z<6{~e#>CFSG(HaO^8}!U?baB6%oUC5 zUZm8a0nI*b?$>BfuHr+aYb1Zj4%j3^CrG}A6hEc^X|h0XV35=4YR|0M{|miN#fdGt zf%D8V{VQEv`1DBFXZf5I*sHpNQW+26g=Ij36A~5!;fOUA3qJIwg&fao-3PSZ+oD6x zUB)H3XcONHMA)Ef7D|<;VMhcFfDd)t&^z4M{R@?)W0#J$KP?M>?UnY-`1)eGl`NvD zrTtQv_C`-55+^ysTH{S^ z9IU-e=i?{gUu`0@aQcQ7KOP1%naWCrpgSL62^Z-&TbrYlWxX1HbZ?1WWH6=CFvi3( z=vj&+6`;QCd5;62SZ5;YO+zz@9>BX-lyj8tf>lp1553mQiU|hj;fk@ckftYq3DUBY0rjD<#%O{UF5d+gbc8o66 zGDHg}XoFI@4*(hGupe9Tl=thaeW-S+p+?0~MI`o~k{5)I_B`KH1~0V4t+G^YYX+Sb znX~q+o+DUo_sfsMoxYT7xoGy;E zhK&$Mi_8O_aP1@avGtgjl;bJs62hHS_bra8nNo7qTcB?TeJd|H?|)3wH{;`oKQ7@k z*9Kd3t{Xw0iIrPQ3}OF-xijb!{8<P_iH15G`_zs_0&P|s<%biAW@%#OfUZfcTiENJ= z7>e)0)4aOtos#SC6HnuN&vEQ2a0&EZoG@oJ?#9JQ?CVPKA~iD=){Qw#H*^}O4V~HX z(2$7GMK)*|?o}k`vapk%azYQMffZ&8?qF3l*ni;uf&T~LAH;u<{z3i+fAl^ z6FQofCZ-MfJ%(68^jVq(NB=oWhtc2~Gap%n?r2NN*U%TDt*3sw-0aIx!&sn(I@{dK zjZzZgA?i@!f<%g0Ocq`k9=uF#{$JhXIh+U9Q-1f$-HpO1Zvx5621~w>ht@Nc%jHd@ z<&!SAIoL44B|s|iVAVlRR~g@fsEN%_*21y`V|&v}M@QU;5@@Q0oNkq7O9yQ!Q`K>% zK}#4*%4L@h<{`%U3q69jaz}mHQOodq_0Ys~v)Nu_e~sX{X!yLM;(4AC3O_><`bY@( z;%$^meU9H?O@JiMf(N{DKGP^xG~E$unT*+nvt;ZreNHHY!gxqtu58&wQ- zzaw`9^|tyGuF>=WYf~0AQAPIBZmRtYk6dS_DGP8(8qM`^a}~Gu0h9ZOinR-&J3Cd- z?EX(Y3|~J7ui$L6z>5HEf+YGQ69QG{=%Ksh@9DhFnSEz`H&GqSpjxDM!64GM0u=WZ zuok?*roD;YPKB~yy#Mkh#g2|ZkT_WGr=xoiD1(Fltdr2{0otjG__~RUG_VGPi6K{C z4}@j}8Q6Q$d^xA*t#NI@-tUtl&fKt@>0EWgk?7MUn(le-7?Gs#eIY<$gHZoKx6ki@ z-nKKwVTiT4!}Kh&UdU#fHr^uY^I<6)(}*-`*7ufvQY=s?h*U$Sx+hSX;lPK#8Z3$%d2=H(|Ck z?uq#CRH9{V@e*@Y6RgwyJVmPI7v_oPz2?%k1``C`*xbxg?VrU|$K&+ZEKsJ!RYl|{ zcRsh4x)|bf*uS68Kq&T(27?8Dw^pp(2D;tbWzW^D4TN>ra7VFLV8TMXSgUw3K&N3K z@%_=5q<>nICFAY>y2@u$l*j$<$I+m}_li&Ky*GMLyL=7NsJfMKvPN z*H)vw@~lN(I~^3MSs*Rri0C*v0lihjLz&VhHTm<6;fBoX`JTL(7lC8eyGP{pC|9GxBuB~lEF7s zKJ^^CC}VWqAmb60PS3XwxA)L;$sq7m5D{wf4Mvij`PjX(KKado4|}a(9N?Aasgk4l zE)?hn&C3yYBe)qJoR)(m6X`>flOrit;?Ef3hK8S%~-bqI-iG1gVvO^MQHxwjll6hjX4~YHjw_+D0?3&9T zwMOrFbxvP++%})TjJ|x_%b>Tz;G@wXN_?UsrLDHHw>@?P-#W$B@g9xo5kC7WhS1LQ z3u<4+;S5iG-+g9}J=r{iK5t)^Uc#35$+>bq-2)E(QcZsv#Y|>x^=JRPQ76pSIi}+~ zTu+{nE8Gn8@bt(?1t6!uPM&!g_%l(Vz&MqQDGN4nazOJjK7&M6Uk+d8S&p z>x+KXFoxM4}k$*}#_uVnbbc6I)}aUyde*Hve5EGf!YcHCxSLZ!stP&0*8U zuVEkp2F8ZV$Y+^W*S{-@zO{`s*mJ$VgJko59nX?+Ww=?d^aNJX#Onr1LdoT1-C8$YAnppjuJ0peQe+#2hJfM(YdKXWsWbG*Pk^$7 z2DR8`IXFar6!dQjSIa4{;GOKuu^5cxN&khF^``s}4Iu;?IrsP&CC0kq4 z?5{j`=5Ly9$FVC!4Ly;wiU+(oDL>M(kPbMYAa1{qob&Rq@N0#4+{{XGKLG?S+yvKs zzW)v3jG2?Ip#uzneG7Y$V`i}5V?=e^h_sMw1DMz_W&d`6|7q20Y}0N%RYGI}Nc|$d ze=|7pe>1pow|_G@L|BgU7{z7#7?(O*5$y>_SaiKU!|pkop*Q2;&jafzal&>NWchsb zC5js_%E7im59Y$M>6M9b09yJ0Z-K0aC7VvkXaf$<#Pw#Sx<7}uB2m|pv&Ots+IDD# z_)Tl8!+WihO1|{B)wSYEoyz$iLwBEM57$EsjS*a%nlt2V6C&Y#`h|QhOh^OiGuv{Z zEK*;PGWrhS&RHJwGTmMznvrx$x$1=Rtims#H;nbp|*>QZhT4s!WJ-l9= z^!NFTUxdZGq=L#?d2Hw2{8N))c2h^S)I1n}ol)*v`!N#s%9GEnIAj`_Y{EP!5uVTc z&3NIOr_Ht!DKiocXvMChRFX94^fr=6svM{%AV`oWP}c0SZK~I=#<_U}O@$sPFWU+( zVgTf*%JA-|cGr!=6IhK1hqGH%6YS8bCoZW@@zK^-2^IEIO^d}`@QBJ+d7b=0o}>Im zh`ytd5l9*Nb@d}(fknqT{U<^sMq>K6v*526WW(*Hj6sM1qRMw{>EeOI!?(0kZ#IEL zgHY#Nb9`q+VUN51)@|Y0UU-ij_vtuCgn^9i(SyN8lg6~Tf&4X(@8T#s9??kmXB1rjina6MT6g!NF*;+~p zd36?M2c#{41F_Se#Ll?u51diTqc05%i30e3Q;9q+Hxbi^&t8gyKKZBLiCt5)JEzA_ z$m0YX2C^!iNAkhe`h=-|uph~kb&Ga`DE()_HUSM8YNYs1Ef0#opS9}y7kN^q9$&lc zPE(v2enQrHXPCP${z|&t*69RovR-O0oa=5*r*CWXP2xgm?ifY{iwhhJ_k&YgahhS^ z@+uTuY)BXIV3YVZJ`DsW3L4(WnMFxZ#A4r45ApfN_6^<+!+LeeF zoQEZu)s=_}aQDJgTRPD#Yb$^57mKpRv-bI_31*eX4{VxYO-y8i2Z-Fb~trmW^F zc)Z~>t+nXOA|@T4L=v_^K1@}3McD9;+0cQkA+uTm%$;R@r&J>gz(6(X8#`LO4MHPr zM>D$51(p}iEb6al1hc=ilHIepND~m96tiW` zXF99e5YC9jJ3S98+S-R#GfZF$Mbw17jxy@zDhGi>)G>VIn>e$?E!{~f3{Ek3APDU3 zVonplYTQa3&+Wpp&nl@ZEt&GELNh>NhQU`0VS~BV8X$|>oM_9T9Q!Odo>6@xk_wT` z&0!FSbwZ1^+YHHuRrKr$RECb8l$@D4QjrK%f55pCRh}S!OIa8`sE47v=pp?A=PEpm zD~a-**lgdwWGv;}iJe0d+pTnVq<%)waw;BEvXw)(3N&L8asSiS!B7ipoi z=)-t-ob71hp5vRvH}DTVAMQ`c?&VQFMuqlxS4sY#nW0movlLorHX&S6!C$2$hoz1I zsbmR_fesgcwDmPF8=E^1_!*W42$$Dy8xZX`m^p4RKF~B>3S!1#`cPrpFkwpkg8*0< zabEO%@d&ly!1H8c&Eb6yJ}jiiW!m9{ppP8qPq)Yu96ymR=KIq$usp;Bb6uu0OP^##X4 zPuoOWb3LJnf3~5CFu=>KP-q*^A=QmpfSa7ca#vYq*=#U7P)F-!)hM9gJnm|qlySRB z$L3GbVR=$gQaB@Vqu0uv%lK(hJY%}nQR4#X0{UE@g_1Yl-#oY5p+REitPWhjiS^ZJ zWpF0^C_E_qp$`XVtHb_ipDv~;*0_R!{JUI>l2gtvL}$X~8De6b-B);mcPv714K|$| z1UKbj5*;KBq}Of27RYyEA~)Yp8G_UNU*ww--1CelR&7|`;?22sr!Egf-iYrat}~p! z7^9$0ulzjs^mstjJ6k+x)Vsz&1~~e4p9K%mb1z;C^VGn*Js|J}Wx(Ga+hxDEAw0~LY>It zJ$#+;b9=!oDPrnGH~Ouh=KbLt0?h(y9Dqg8AGP`)! zk@f=t_h=!}=NW-l3Q@>;-iEZPLe7SyrCE=;NFnJtX};EYc}Z!*ugJe(e!#<&nW5B~ zwK=AaN~t#>7d(V9lwSg_vviw=NrjKQO?Cr^Hu|C8#pFWVFyE7rr#^o~Cgpvfk!*k# z4B*O5G^gdtfezRZr&hSZ#EB%}H+?9Hb&bH)>rL7NOa=_5x z{hqT%(O$&e`c8~!gj2}f+^)GD-2-$?jSj<*=@h6ZVoKvm4xKvP@978}<$NVOzUNP2 z*U>L@V$29NLWcqPH13|Ti+}B-MSn2GfLh<5&<0K^8fxY?<{Ym}W(Qk&cNL0@UB&z~ zm=8vDX|$nF)r>t8*`&K<$%rbCo+$~f+;(EnzR`v*Cm|db#)ow_U>hLYubd{V)V#(J zeDe!)9X$bzfJ`ZszGre*<&I%F*@CQ}y&&z_g?fsWd7(}T-%dtC?TsB1BlxjEot>96 zRNY7$!4RIgv+7_Y zM>7EQ`(X&f@PYZ%n9oS4d)F~NtgNlverRF+?*<}YI&~0-apLXI{QM-%ckXjY5b?ga zR8XegNak^{+_0{|jSj0!Y79*7smWlX<@XTry z(m!+hM)&(s+R?Pgp4lAzb(r}BVmF4M)>-KICEjc#h4X&k#S);M7`_Q!?U+Na@c`@S zt>1*6NJC9*InR$a=$eyGq+f&>I4^uQkK_t>~s4Up%hL@TcLpD3zgRXck-kj z*yilM#IHmp;Z&HPy5R*a%{RFH_krPQb9S(>APn70vE~yAU64;c2{>}-EVV0ebfZ9UCcGVs z5BX&ROoXie?fsU>hC>MP0xG#;fke|W?ihLy9h$7{H^*HHjW~MB)jbYg_8mS21g-3H z3Iwm`dYEdIa$_cO29cSeCONl60sZK`P4zNmv>;Yo)+O{xqXH=_YD^Q8!So3lc8XEs zp;W5maY)5l5nYbSM9XGPEHU60!&JFrrcGLKbsl-X;tRw{s}lm;QZPzu4y z=xj;KD+rztbOZ$_A$7KhYT^or2`R zex(zMG2qpkyjL}zgY-Io_M682R(pvojt(ys*2DNKupObF2;szmx?|~YkH;w@>EWNo z=AgT4M6LwyJ#lJ5F=fJyahdeUuP)qSd&vY>^OC+|H?8FLx&}nQMD9hWEpqSMiMv>RZw|oKd9kBLgCJBRVS% z^YxImh#Zuy;7*LE3hO)}UBW9ZN<-x1M6V!YvVlq^k*Nxm*;r5_(P(=*?Q9m>2LDP` zBn10kBv9Px7?72fnVv4l!z}mP5DM%=I!Slj36hneaDY%ph=B+p#p|GbhT`_~m4){^ zwYlXwR#7uUIPyZj4JUaeIIWntYLi&BtPD~h2>&d(>7_~sGcR=1+@&zB){A?TQU2Nv z=(@XKB(DCLTbpZXKaG`2bK#ErPO@z6OV|y)?Qb>U2@E{$Iox85M85Xpk?VbFBlV#! z_5*RAU2&D69@R*Wmn6tmD2wPNQ^K|JvipK+_@Pv^g2Zwo`k5R(aLnX9i*dJ~zx>ow zHOU&hogfshwY zDZFDdZr~(ja&(}>-73x zjqv3y%Po@eLrxgkItvu5wFZx6iv0=g-wByDVT(AH&>x)2m}pY|5)yAQXMk=D%LQ;YLGaKR~b>y zW23MZ{O|!@K7g>tJbt%Tanr?6)plNc3*a3HZac9y{<{75(lK;zgs4;Z+q%7_1oUdV z41+z1rrDWa6~&4M|5=pdhFFTs{x5JrDtvFKdr>++)fv*Tf%KY1Yg7Fb5H z(eAbt%QstqX2TKo&#tS0!xBc<-}HQZoE{)(IXT$Q)>-DT*4%1%PxMI*@Q#GZqEk#* z57ER%D?6aUyUK;f+Jt*G9~9??DoN~kfW^VF7Eg+PY980 z@#I6SU4q2VRaOcdwN#{_q?Z@`17vyS7Mp!%oC}J)F&B?z>GMzM#<`hD_fFpCUxjdC z5@e*pw)HMqyh?VuQRmUx3*PRJeT&zxT&d|+dOIjr&sej6UcS$Edx$NnWEQLgf7X7R z=@?#`&>zkcs`EVh_?-tZ@V)e==5vEu_E*n_v$|)0J%_>g9emHQf%c(kr^pna zEx(~EUHH=gMuDt|PckGEh1r@BG$W%!@{7N8e4WI$0B8U8n3|f&3 zsvy-g`dY72^Slv09V&A%d(Laj_i_9(NZDuvoKh0pP zEk-D#sK>Df;EDygBSH(#1tZ^|OpdTlK-}Bfm_VGJ9N@{o+C+?w!77B$R|o$d#iYsX zTklC_J6GRF+hf-F3d}`_BU?X%+M`sS-rrk+8klUMwu@0k=c1QcdgA$vR(kBoyUKg- zI?MMlN}ui;+=KIq3gKE*!?Q{{LFa%JCBNYbbIcxgIgMdRGR#PM$phKR8d^wD>fFSp zZYi<}!{uk@3+2*#(`jNP&cN|t=J&mdXXfikJ0sn_@V#UsAl!{?KUTg2UBf$Ump zVbux10e#WQ{&d9le~M!slyso=RMa6A@*{V6h_oCf{RzkXj&);6pg2vq%J8 zi&;ciWI6e*WP-@S3x`k)6{gAtne59=7c()^1ra~$6O)csa3TVw1o0H>CYhoe*b9Yv zIVYA|1L8T&O-+*aUy5RxSrh8Qx&sI{1Ks{xSLfv>ARJ~OIIDk9-|KNLMk5;oK;Q0F zAgpu9bV~{8nn?N4fu9TneLh^g3_0w{?U~$q-y(r^AL#QFP~NW|BC8oj@B|s6mCrji z^z=JaXo>cE%8i|X+guccUxvfDUjA+mkF>PKN>8V?pwio>dCIX9OpW~gX3~}5@Zh*k z@xm|*lu!}|{8Y=_HFMdeS0Bp}T});E{@S&*upti;JmeSoXq|gz^Npsyeob;+6~^{T z$O2~z!6Ui*0u3WUF5)a(C($(TQl^RSd!B9cG_5v~xP{ig6>QH?{zbn+<)nhEf=dZX zg2kgCW+eW^$#|>7i($n^xdoh~O`5MwDl==X7jum zVu2>JczvkCsRD?1ys>w<@+6wSL7~xc;r8&PP2iVt*kjW3-xt!aLxh0YFpPfLGV5Ge z>%(g%%10xdjUP^#za};pM27tvxSztnw_tZpsp+*FZS)Kt9hMsej?(y6%k;M}QY!N& z;Q9pRkp2>8ENKrn<+tKB7OA!ED*X0uelGk%60}V_1)W+xfaR9>gYgP=8)JG$bpv7V z1@ksyyNV^TZYotNjb9!q14e;7Tx}BZzGM-;a86(%zaT8VfvLX#o0txLaF_tHL<6`A zZ59Uewarktv}?BMd~tQB{TY=Z$S|)q8x{{___uM&($+ zLdl}+$krutBJy0HAt*CS5xyf=Rs0~cr4S+JG}gkO=1Ji3jk;i<*#&dl8;vSGmy4PJDT8Sd>R$S+P-NSjV z4@e3;?>e1M3psxdb&YH2eh}#SyuDv+*22kI1t&+z(DSt3kH+VNKziIZZl@;+tWxiM zHqao2FCaQn7-p;4xxObeGV0vnwDMgkeUgH7>%-(E$zYL0 zIKb4Nd7W%r3Nj}UVrC>h*gT-W+cD#HSJ+Rz>R;)qgCjiXMep6ldEKh<;T{5t>&7KJ zGT}8tbh7G+HRpk4qe+ByhKl?8<*HBF7_8O^I^TQhc@wl94RcfCGrRfs5Bts%KWMwd zs<^{PdNoCIwFu6ZJ>Q@=hnB*BNE$lw6tJ8z4ul#}o&g`KxaE22JA-(sTlu8P@-q{r zf1-Z=gB`E#IPfem`XrN0Vd8-^>XYnBfSXh!TLzvUnwW5z!@F|{MgvQ1+zfFWCT=vM z$NB*KC&X)^ZNW8+V)n0z$MBa92F-1fZm8!X30Y`%OQdn%AKH|eXt*p_^UT-Y5gsJuR zi`zQ+(aBwR9VOd!)u)SQrZ$=CHGmlc$X4}$L6_rdD`25G`cK8NiUaTq%+thEhucC@UvZ@W=3{4@opBAumWj ztut~GHj>m%&-P)1E|iaMAO3FpxcUrrfoU1~U<@yIZf&%*x~u#oXBT}Fc>_RGu2NC% ziiTJk8``y=kK_7Y4tssA_jZ4rE3w@=(ozqiKM@V$RXGN7XTWSEjiJ{rxQ792l8<`- zHSr1(EBJxm#%F5Mx2nRC8(Zs%wG3(-pD$5rR%Y4`h)YHY3L!26=FzCb-A_KBNU3$1 zkR9^SHzSAw_- zKH@KT1BLZ=nRdnVh;OwbN88&(Sa~kyG@PXt&Gx}m)BE-$fqiuBa=><=W@bKvhFMdp z4Oj8zG#gZ;I!$Jc=ko`NkKbzacFWOxZSeEOU+vqbN?^5!8iKfH5A-8ct)=>9v%4%R zoAAlLBHpLVb-#)F%@YT#HdGHSup;JG;zy$v0%=a)f~khTY)P*@-Ks$JSBsoD^^t3F zzK!Yu9;YJ055Ho$X+WBr&p(Ke;nd}JyhuZ@w-6|cW*$uy0OLOiU6S|6v+ogktEmyN zbm&*4Jr2dFl!w15!Wk3spS6C@d70^AT`Tdk4ujJEF-PB~ttwyQA??B~-bN}o-Tz2@ zrX=OmiJ0M6|9ti}$ioBA!x-uDfn^ON*yCas?5NSsNm@A$4w%q+WAw^nOi39Y4I`nB zockA38N6B|S5#QS1q@LSI7YR(`J91*jH{%Z+uDSe(|)RshR?6JKX13My;}>aG>Z6} z&4>P0M@?gWi$uxb=k(kUZGD#iq5j-I{rJrCM~$>^BbPtg!8_bzn7fMiWiRUS@VuWP ze-1|egz_TQ9oR8BM>mu|dN|Jw@5vfH>;-iMS6igVkp>f|YK{Nw3|3P!Pld(+hd?cFpM!0WN~ z%x3OBo!3Q9-Stw$tQ)tjOG2Zvicq5seM3ccx(PNU3B)U;UeBUIBvI@~PMtORe-sB)r`PZ7RUY3e&(p3@j^nb@qHd*`4oBX|gGWpM zUabQw&1xPW`?}i>RNW2>0p$DtwiCIyRNoHpPW6O6WKne)gG##gZ{=+GqB@b1jl1f5 zz?zyCQKpIWHF7B8a&BvNR)X>4h&$f3d33~romuf01(_rgpoWA<0?jbjlK%%AIj4&Q zSmr$pDt;Ujp87)WVa}S$z;(6l%f<8$&qp?{2BGfb+u>}lyXt7}SlnBw+e>Kq4`^Fj zJumT&+ofURPVXy-?#k!ig5}A}mlB$`fRJiGO`=XhD!UXy1T-FElR$KD37h?HiFR=9 z^cifzdZK#M^G?NO<_d|s{pgOX<62z*64&PS&cv_i2MMpe$LYvv3bTTa&*g-aPd8+P>B!sNFzyg6KN120XVBeLjeRgFK*ly# zRsSQw;4_jh;du6)8s_Xdr_`HmZL=_cGuaf<@jFy&z6E*vrt;f-31V zr^Tn9+lE15`ub0}ey99N9qvf-dHEKl&Ogy)~9bbGvx`R1YVGmg+D zXq>8(pl&Uc*HB*CO^x}s&}RKk_J-uPaP*Pyu#*o1Bm=@t{F~Ua&|G5OHjuxW^E361 zd2MbZcO`GZauK_6vTE@Zh{#wZId9U%h{!2q=vm~XM>hRRg5FEB77*-jDZJD`CvoV} zbaennwVezXb)vi1!_YDd64x1Ki-)J1IU&D&~M7*w_uZrWCyA96D(NWyF#_rL10MkWmjBjBY?7F^N;qoNEEannj0R3kiB74_hct z6eD-cEswGGg?kP<9dvyhXSI&IG9RRv?3MIQn9a*{+C6T)UPT`KOl8QSM_w8oJ&$ln zPpAOTV>!L2J>uX3ps_bNoe_*}eoXBkhdv8NXQq4xyAkWTstS;Ixg->z2J^sOKY5?> zhewC;e#!RTqW{wMZ7k9-cj3z5mo!Xn8&d`Zadu+bA{w(_@#T-qKIUyy57U_UWl1fb z&6V-LgIVsMKX|=G~(2EP4)2He6eTAx+PEdVkYJb)i*^N zK?UTIYe>Wx6Dzz56;?@%J(6wH6$$(>`ZBlL~z z*JJygbA)LS_tU+6+mcE%&FOycipFFx@!%{x5+?}FL%`n_?+qba;^ye};m>h@(a%+Y zS`-|ePFFV%=C=#|o$clLXLrRu&C6N7^2DR?v*Oa{bkX&b!~frwnm;LqR`7Y9_I>oT zYz>IA5Z(@`$9j&L77&2j_UGP1ffK(Qv2{!>nrr+ej4{bzi0r}(m=4!ituA9p#8&*s zTVc-5ri*oqam>0axof-QOP;m?4x=1|%i4N*b<~R2W)H2^qLqXTK2+l?N|)HyNY^Yc z=hx`@B)MglOFZ?nOZ1C`&36$01YrdgBP~aEMjQ?`Hczh~U*31`TDP4F*zJLvp{Q(s z7O@X=oOSx2V9xrw}$4VlpyNzZ$rL9;who01)whF>qC43)3Ugrg^wvN z_7^DFE4q?DU1e>WqBGqzk{*!ptXBSl= z*8G`S(h_17V|j|Mo>Kqw(R%v}>7yF^_@9J>gIg@lMwamJfQ-CMQd{9xl%ZOq7p=aA zik2R0d4nmmu$d*Q;pv5=kNPRNk1UkF3TtIqQ&k=`O=a3-vf9EzVxNDrqt`@ge*53|mzrL1RJvTRKt!wffRz8gB=D z&;s~}2cDEJU;-uF($;_o^2>r0YMEFVIGCzAR0?&nETWuzh_3jCuNRZ)IlQv5#e#mA zLxt1EI5Rtkfc{F3NrzU^0rQg-| z{cbcbKzAui)bIo`pAc{~ZbtUtnyHJOl1`Is+B@=j*1`9~scpcgYf1LdfE7i(7zTfyIIo+#vxL%ikO?Ov!&;025(N*13z^>F^EeE#N|5b^m14TX6Ggt>v zOn`a-RbT-G+cjQ+%!zbf>qut+YhzIwYjfZJ5Au}CoW4ySGHN_V{O1GCQ<8Wg0_bmu zK1EdGk`GH=!ni@rUD0|zSQQ5If{yk+K1&Q1f0CsuY=6me8f`^Uv(C@wF~i7N zTZ*hZx|V&ZBv$qAk%86X&@8$5>+79{{`IPi=o=GB$fQZ4XY)m@+q3lMyVMV_Om$W@5>R~ zX)T@Z&S?s-XI$Yio6fJ8r@@P zYo*E7 zUw7ZpHQ!&IomSG75th%{4_Xp=G#N*ncOG1S3_L7dHq#3FV`Ml_rsc^Q_eUuDu0tke zwA42#KRl!*iYoKYT`pz1B@VXpBu_S?xo`(fnip68tG_Ao)zqQGFSEiSg+vvJNadqH!*=xwq34(AEdPptYcs;Y|0Hn*m z3tZNH5iiNuC(XM_kSfDyjXjLc#9i%2vWXgpAkpxL;&B^ti*bJrV#|kTlZ_*Q=JaLc zQ~hL03_LG+o|~(iD^MW#K6lBjfLzAv6%6<|NGPKs|C?CBjKIrPQ^|@D=l5l~{&iZs zsX6gAS4}1h$1bp@W7gzbrGPGL8UEBi#0g~a<`5z!msiFrb%ZU$rcl4o?wRPiQ#BID9WJyZb^GS5 zN*A7>XC*QoI+p~muC5kez1p!jC6v}K@K2h^0m`BY^ZaA>Oke-KejV}0>58^IKHv#T zq&IV3vAJG!Z}^_B()Rk0rw}NHT!5sQq4@dz#T^C8f$I=U$sA^s9GWhQw=oKCM-L4{ za6eo-+z<3piYNC}ddH6k>otZ2nE)DHjq^wjABe_LKSyCA^SjZ@uY5#+9G?!VU>pK+ zALtY56+Z(o+~oc9FupdybRhQ zLSIFKKq1k#eF@aA9LHkLn6Dbg`3f3!?Xc;tYIg29ETd09n#e?!FX$rQsKRi+e>?8*wp0Qv1)5>!9uBFQ8~bmu*$|Vx#|{Ko zR7+yQzvG5y=a>uw)H|S3oil77fS-bcb8?W$j70)4sxE1A29a`I;w79mOu|5wvUAW| zA%Ba31!-J)Y$mXGSsaGSV0A(80YJJNJwFGH2|X|9DB)9Ls9t$aC~GoGBr2ut?sJ19 zS2gr60p2*ykvJefSf#*jOA(b&-E#YGMFb{Xe@a4JNm#iSBg5Q;%B~Gfc(^6jF7~|j zs!*gDUp8sk_iV{nqBGumchKBWO==?VPig7;;bF83v}Y#DCD%*5l}2sEarPrKUkv4B zle@sq3r4AitL2!P!74q-j!E_tAz+MUwsY#)&~w#x{$JtSOQvT_d)+^q#A9G?QB>h@ zz^x!~P9%}ek2_`+Uz58S${i)DS-v&Z8yDd2w^qxw7Oh8fNbu8G6h$rsR|GiPOsa`zg> zRo1@P;;)eE?wQsd2F;reoAp&0&$c^%NUw-$K>zXk$q*FUOts?!kZ) z*Q<Rw@w7U9>&2SLtx@4fc5M(|tsr%7^;?QFr=5dN zr%ep^M{QNY=+l*6o{Ns~)95RA?U%ia!MhY8u^--EyYw;02)h&9bAopcR^x$v+jh(1 zf2QRQL@BEd8m;CTGgu+=0Sztu_oaEVH!9xq_IW z2Shh?t5MyJHNP5zr(AwCW=$PPE&Q0Bk83{Ilb#bLa_NhX-%hX3Gr~HBtpc^h^LcQO zTPdBXV0?p+^Xh`_7Wh8kAuRC%XZ(ig3T10@1-uAB=+BBvdYy!sQqte?Y@-EzeZ}W% zqNATGo@&HG*MCgxVwsp2L);;eyT%ywRqi)6_R`wQ)`EgUMdGgwB^cZGt_|)Wt%VE9 z4bM?%&NrfWgKJYnBMcDsx@-SF%*WusUVPV>x*4imx~qb9xXbO~dTYqT@lnrnk&lW5 z9r`URN9*-_4_>`XmY5~8XU+Ovb=+bVld4d)(7g6LYZ|oJ0)4&76W8g$xh>eSH-uWW zPf=CsZ7w~LCQ|Y97*djmgkA;$m{xQcxa*~?Fx%(df3G7D!>j5q(dz3{T?%3!5AJQ@ zjAC;zqB-h@FQY$h!MnHPFB4y<=yF(?wXQDR{5B}j&;YxERlp8lL$EJc28=7Nbyysr zM($IB)C6R)TteHw;`~*u6^!ZhUkz!FT#&nppYXpIzj1q{gcGqfA2s2{NAcYQfV4J3pPEa8tJ(V2aw^5;*?ZdahNvIvHE5svXey`#r)L3SOFZn^} z=5+VZc72As&8Ah*Ap9x8TSRw}&2Y>+p|#SHUWw?CTUrLHc(^?6Q`a;|812SNQiW=( zlM{u3Pi&~0cRnSA?OI}jF|&b0TqUPcCokq5*HLTJQ&p>YHM0k6uGUS0lDenupAB|L z!|D8frlpncr%rOlL#CA05|r}~O+*?RT z>Ap((QWK-V5yUvEVhF+WYiD~%QY!%h(MEQX97}*ys3%FGB|s1y2wFLtxf*pcV#D_k zZKb(YTanglz{6Y7MwdyeX+vCdV)SJEa0m@vB*49pGKDbPw zCq2={6qDxW!{~%xC8szRfS%O^Z_G==MmU4fWec3UOg~>zKPBu&Q4+FWm6R4ec5gpw zTS~~wtjm-g1IycrP7J#(7$3)(^2UUtE~h0NJ6ze8{>n?lj#S-E4#+e4GW12UDY3`q zTNsETXCrEuB+`rtPTR_1T`BrYd!UD;pouKAmzB5{P1OYsP?cqi?JP=$4lYK;*GBtL z{*evu#w^Jp+v-x9Wf+HFUxj*bE^zo9u{wN|FYkrjMsl};C$(X;E#wO!bT6ChppC>c z^6VgpsEK)nk%!ub$HXlge=OBvZh`rkmr(Mu{g>#lh-0@(7AG35zUh8wd0_wQj_H8M zu~6o^oh3ZuibCY4g}pnYBd-H+uv3nOklMi$sT-DXa!8@Uos@&@caqphIwSvB&j1_wamd-qK9KU<BHF6~h3JPC zj}0-`l0gn$>yoR?jkME5AjdKEh01Q)clc?N^jg(&xC&a2e}kd9v2{^kW?KASrsw+b z8rg>ksFM|Nm$Nh_4S}bo{0`70WQ(8ks{#$bz{_jr31%1aGGSKH2R8O5j;BG}!}Y#~ zy|K*5G;6(-@U}x7vzpG2xo~I3vqueac!AVhs!n9viVyhUSR(5_H3$9?_ zYQSVdnNzk3WM4B-;C`kNq`I(*3E&3Gg@?xp^hK}wYQy=B2Zk(IK0{_X@#a95kQQzA86X`5(&)CO9y$!O2jLEc5{88yye(8BO~0cQmP!VtUtWZ7Uaw zgQGZD6p+~^hzRH4tDh46I(t$y;!B27n(8AHi+G1`p)+fYH_FJ4R zKQ0cK*MST5mfx0)GJcd=s@Ln=l>i4#_8kj?qR> zh1O~EBptBP=E;TA6Cv>c=eWN`tH^L;XvgMx#C^}oW}bcvUTDu4=iO1EGB`hOxK zpHjo-T{uB7T&5?0=shRKH+;M_l`FMjJ(d=Jl8f%>AmRvLEXE+>4lE!BEIZHdPEHr( zPX4_Vi#iBT8iOJ5vs53wIT6o4MAXUr@%E3WDD2R*V<#iI@JA=pATDVthEGKDSd3jA z#B^bIa#)~qO5(?P%m38=jr`XL4$EFhfZsfN3kGHUo8MoH@8{jKlyqS=6<8?$<6N{< zrK_FtP29Iwkl=s65*bfdNE|9bD9+c{1vJ0>-l}76OJVc*3Axiq?S79vbsvE1hU)~Q zLBJ1o?C=2r1c8Vofk-3;@$@ZqDe+{%J^xdi;Gq8)wQnbRQ1rr9sh< zpC?!9@uGMX!FOCJhaXd$p0?iKBy{f6qVtFM(tADIaV52X>}f^M^fRo)%na~7#1qBj zY(pg_X5h@fjR9OQkL7ejYg=E2PyL0ky=W`lGAm;%^;;C)E!my_9YGtD;D?Q!O;iTR zmB?Q_E-%A@Gmk`(s!`nhKo}YX4urHYxJ|(+92n^XV$>Ku9lmL+hTy<_l(YTv{tu8g z6Bdk=jBKLvTsm*xALKozwCDA3SzGDL4Gqs0a5;q}ahs*~ZR3@EHG9D^LvdDdmT}9>O$VPM##dMm85x7?!ykV~7-!t17l Rq{k8F5x`+$l2en%`44n-Qjq`v delta 21804 zcmX8ZV{qVH!+_zs-MUZhc5BC(+V7&I8{4>+$37&B)o($RGjUkN zenxCH(suX==kOz;BO#l!$wn-iFGJ5*2>Ih?A~}i~N4X)V220uD?*xUJTX;{8Ub@8* z#G_PzS4aC1*SP26c7DUQwSQ6fM>&5@O|I6EK~@i^La+)nPUvYo{hZhd+&O&{06`8- zO8H0sWKhGlP$l#7uX^>9ypsDU1@rOYlE#pVz1lpxX<|B=gh&EgNjTcWAk?t)Y>&!{ zmFpA>YCTz0z_XAp3PrU0Sdmlw)t`KUl8!8AWu1fxw2hivTqH8w_Mb}p)G+P5m-j^I zu<)oMzp^MZ`~?00sn}q3Y}}|TfC&+oSfi*dQt|mWyCbmr?o?QqNw<2eao_+D-MHeKfcrX5&d{8vc1nzFOn1()) zgq>?md@%h48lQPHrwI9GAxrEYG_U3jop6B)=^6p&{OG8k7>^4!o8m1v~?8(^% zHh*;BBayhk2^0x|_l88;W->wF8&?vT8~TSt6I{fru1ag^B2BAF)p*Xw4|k!NmFIZ- zv`mq0Bf~>nfj9i{Tt5*N1`xL6yhK6HSGmgE|D^2qLt@rNbC_&DG6U)8yEjvI()e7B3Z2sjT*2MnNH37!z7N5#2n>e z_q=bPDW0E=9>Ji|gX-qAHM?muOfG5qJJ_sbyB&!+Ndz*kf zjy&FuJmI&V$FM9}ppZ!i8+p@B7CyN_MR&=LJ;5vM%zQl_(_y8{Xh$k%NQ>J;W#@-~ z`IVcMz_5Zy1xc=Y?gzowqt(@VIEdT?d7ags53b8or#zqc(v)OSRH|8!(21qjwo{VMU-+C3ivAo4WdrN;^MLTe6P_eFLFPs?fA8X0du&5kK z)$(uZX6HF>Z&syvWR`VJ*<|aV!55R9n-JJ@Z0N(SfcyGlD(D&FQz?P)Z-b5OZHre2 z;Ab`1J70{3L`##QPxRH7JAxSIo?tR}b2qc4LOa(}4L(^00%e8IaB`G`5#;WFW3@`_ zSY(8YA#j!%_mRQln+?JS$;Ro5jXDj&Y}k|=8`9L4JMo0mT$vsdt(05Kh_9_$4OIEP zjt4&5Vf6#F|AUuXxsmJq*&=eUWoE148X>|Rv9nA<7QHw+N#?}eNysvro)J<^V73E} zk?^!Hw6M*L1?U#h&+rQ|(%N$AynHqE6`QO7Y_&oAxHxn_@>2JuMdy*`l13djGq)i- zEf^Y6rh8a7v9U_0W?fcrbW$phTJ<&65}<>sjm@({cb{}oZRop-&ZuxhM>F2{%)Mrpjk_w<#jGbFyr4s5|6}qBUP5@_q5~U5CTb`I{ z<^NpqyegX3sRnMeUh|h;EUTfXm1t64CMd1fJ>kafvE(fi%LlJ~5;Ya7hbpvUV%~jB zZF&9PJcR3H_tIQOKck2(V7Tf>w&4Umng(yL_%zqOH7`DW8oa%e^?3uFAzcTdUNXn- zO9gi=l|*E;ww&p5;_Yg=VwsdM!K#14ma&Rp-M8PIpwfdYfQd9zpTF&~@!BVcpNabiIs*JdU%Qn=crLe{APPnnRq& zb{HOsiqo@QFMHp^t-&L2717B2e8LxN{*xAtTHjlEIjw&AQY)j|zrNP^Tb4!C4U2rO z@$4B>H!W!qJv%MsPucxV)m>#5+c~5$tuc++PsP{$whPZ6h_H;lY-{yn62OZiigIHf z`bgr|tlzG>8nSYXSS2PLBNwCa3+H{*7cKWyrfMw8Q*2;m!h-iQ1wV3{1<+cIT{A7j zO(V%)s-T@9Ropw}hUqZR)TuuvTr!m-jDwt5#P08L?+qLJN`=NTLG@GS_>qkBdl}=? zhJXKA7!i4QPZt8QCPQ`N1E3r9OAHglFq(p`;!xc2<4tdWl>JnST9hO7|6n*JQx3&9 zP|HEQq?4|VK%jXJg@ItY!+hzbizi~yF#Q!T&)tfOw*tBA=_4qWDtz;jGoFKbrOLL! zcqRIlEO-?$RD$(m$Mjlh$h$o@{)yCOw!2m&!QqXPtjFy~1>(Go8UQ7bqrCY|%8JB2 zTzK=I+;w8f4m=4`q_xk9yfPrNyTcdni}F1NPA|w2SjgW*x6ye0k%yeAms(X0B z3b)$}c#`B@9k2Ib=hPt4dMZMV_U2AHd(gen%ZcpV zrnzZDlpHUuupqhTUz;yV)V^unsvc`>VqPUT_}1>l#HVAA@I79 zK~<)e-+JewV7xb)U zKD72LiCpX?7gIOZ6=El~YR3Bgj# z5Z=MGOj>ExDtWi?+C1sfV81|971lC1g`osoZ}hSzv$JM~BpR+mo~ZK23wdU^}TCXyyYlf6W1J$}{5L?O%e-HO8>6-=owv_s*jZA90 z^rSv4f{k zo))fh**KC328p_{YHhp81(xsE+lPh}4W7YFlNc{0hd++AmCUw;SX3JgCwIi~`}Qc# z0rl?~ksfhR3*HQhQiyEAu9LNFAZ_58KVf`EotgmVa@VxGn~QTj(bamUV-;OvXJt>( z!-E7J!yJ0Vq~Yq1N4^FvMb@r-5b% zj_>ls)mtsc#hdqsKPT;~nX*%e%8TAJ@ShK<5E| zRF$u6-y2k?%ws~%2dzoc#qv7O3Bs}1c5~Rk+MJL)uf=bPX5iBjteO$bSu%VSBsJo7 z8Fhb?M#zv1TAEQ=4e|D}(M~}gn%G33NfQ+LT4`O~+T(v0S&CUi>ZZUnnZ)YVN|{H4 z+j3}qkQ@ca0F#0fla|5+&7u0BSY?FAAerNr?cCn(9o_z(ex5+{0?%>^t0eyCtaB6)Q z25Oj`8q7aG{(=1m?jQJn5dJ~@2k9T=e^CDU@1Or2kM<9Gi<}z9fg336|1ZxbVstp* zx87+Uzzf5@;9$T8bGT10N)Ghmk~fMXTZc>&cNoNeCtNjU4)?vppTQfB?iUmA^8PG8 zR}z*ASK_gWj@^!6$PHdc{d%&?r?2?2p9pemcbhf>a~|cg40D+U5xze`xPP$!)vx0- z_irQ5m^WF0wy68Tt|?LRt_*Oey$S|0u8*NP)40|dcj)j&4D}K38yrj2OU?bR{fXp@ zreu|?I!;YRnWdG11yA6m3Vw8#4xk|OvqVI4 z#a%FJ3}^XMCTeks!2bjNfmkUNzk?bnY&~+G=FVttyWXEz+&2(ulNiPHD3F$6Ud)1` z&x{I0VE~j&54O)lVD5i$RNG@INy*uzBRRm^ zDn{AK_0HN(iYC|YLEJYq7a#QlW?Ti8`O$eIM*&F(*p@J`S@uM5Yl-SxT}}J0U!QdC z9Msmji4JNbEDpJtYwSOWzQ%5CY8kuh)!l%+|WM9Ip{t z$-ZsexKsET%4tzEu^*;;{eDxNYFQe|*Cdr9JUS-`^Uj;H2`Ki+CnL5E4g!yiq^ysG zSkawXBTeJ_cO$QwWkIs30MTA6eZJ|+>%xr=0tJD#&+@R74;D$E(H|NMnW~%QrHXs!QGy`wUv)B4#$%sC_<)pe&n73EBCsSfwqLxFvm=z~ znyiFgOIB!M=S^mic%P2^L+S6~Ozfzso|%g*=%j9)D#&g1s zis3FX-GXpC<$M$PuWP|2)DT$d7SP-jSp~ViI^3m(zH=6Q*lEN5HyFc&-f4 z<*j%(K$MKraA9Jv1mh!VS)&JtPVw&{I zpS<{lKpoUp8V7t6+}ti4d$g|unwVSD0I1nAO+B!O^IH~XW?&p`U{bQsI?dkx$8ezO zVTMWZbQf#zE9a&tit$;b;pWjNA6lTtsetZP`aQP%`oL?&kwqp zfZnA7b5`+3ACr-v^Rm(^~Xw5^6b#OL)fQ|0r1AI%7W2^o{Yn%S8; zyEvH{+5T^@MP?r3fFafB9D^cp1r-S}G&Q0?{F`lk9avQ&*FMVX!2bD3AYI^cGWV0| z!oy~@H>8F#;Xf+=X?$EW)*~BmaZKljzwel4h~YheW;(?Y>7!WuTV1;e_EFG6ACH;H ztf-dnw~DX6p1>`N0oT6`rZgsP7!5Dsl^fQD8B{K?dJqZFaH9~DW+Dn|Dpg{fif4rt(^3MR<_X;|chrROY@+FR zyBsDr869^7nc&6M*c^xIj=+dB(v-?&%;hdn2Fe1L-62~y7Keu?K< zdH2y!cG#XY3+$sEnrx2ektYL8H{#VX-&!dbLlg}g+}d$R5KNFejlj{+kI~DJRX5$^ zeXp%k0`opWZ}*1qm`XxPwbs4|U>@mVE? z4!p>tUWkZ>64vpU{J`7kuustW)NltQW#C`Yph>gDsXXKldtL;D(+{%UyoRtzjsrAd z>=86{=n|Vn1CbflYbd)OZB;x(TnK{_Sd*v<6w}oMvrd^#TPVmBHR&=FPDvhYjyO8= zAAzE&maDZcnE|;MtpZw^9^ob{^1ZCoMsi>?I?7cl|0V+!Pe9bzrcK--uZT7x?RcqF zQkuK6_!>U<(>bFltd3c#Is&~mPC_QjQ-Hxl=88f`>L8Vx!zDhfj++&q0PT#uhCRLS zJ}h=2g8J5eW7Yjh6{>`m5J+f|UCZAC?ElEI4`y!jULXhafp0fkkv{3x-k?)B>?BJ; zAtuWtqNK5fazL%&uk__@TuEa|$Fx}BwqJXfc2^Jnlj5)ivuE-Rg87EUopk2DZVi0o zN_!GtK<${a&}~ZbzX|8>#SZ(*^W3*B>sGbt`W$GK7O$@ucOLyFl>G3%A3oreF+#=uq297z6vy(x0kUpfjXC^b)0sbe}%<2RVWDV^?vUUr`8FvpkSv= zWiM***|M>y)n_<8=gUDIE4174%Ak0T7L=qqJo5Ff<-1W|q)+nRaZ}3yH7?jtn?~So z=ul}Wz)x4tT_*)8*c9`2mwirf9>gO`#9hPT6fiT7&;Lrek9Y1ov9N5@JWGwmsE@?E zu4x9r0zj0JFeFQhj$S_!&U~4p92f_=Jy@e)`(kT&+n+iHk{}F4N-orBbjHin@2(Nc zHA{`ZFUS%3NF0;$G{Ux*D7iN})_tmFesXwg;Z$GnL-V)E=>O4@Lp%dlZP+ljb(m(T z{P~(k=LY33e>wrCix;6`0~x&+rT|9EP0OT=1GFi=tr{UZXYvm#Q8Q2zX(dUAip4pT zA<{)%w|(Rwm9M(9evaV_>pgsaD2?7{skrF>z{#Wg5D8=hmr?%wd_BU#jzT>B>JaDt zmF81fETPPaVa+y8?`2wo>GDj6-xy;iNVKshI#Frfc>QWfZxC}S_>S@DweocDc3o`_ z&n}386~)9k==?>)>(HR@%q|pvAUZxBEgHcR-|0g|?!K&tVWy5^wWf7nimn(Nl>QCr zaWKP{8h`k2K3)oq`484V*#F@CgZmF&ODQxyxjm>!>a-g^K12!V51iC`A$-(SFn4?m zFh-VCMleh=z{lMO?P&Q%#oW!pdq<9V%qEmnP2!fWG$D<64n)umhN|tmfJU_ckM` zDXy>$|AT$DDxc>YU$M8WVozY4)AQjkX9~G=t^-ox_9+-K`UOxl?jl{zM-S~C5+A*UVQ)~u4?(3 z76l>K1qlmuELr%Zc8V>q@L8hTBDMOfO!dv=>r*80($U*E?;H;6N3ThMSe$-q4_v}A ziTipV=Ied$Ti+MF?u^`toeBGc++%l6t z;s=ax1iy>|_)z#9%Ru^n=2VRlT%(<+zkj}q(MN6Kd6M3F93lxa?bCGzotQto~$n-EH8A5f_+#NxM=Us)Khy3q% zvU|L~Htr2_1%R*3SA`kC>8tC0WQLHd=jr3(-W4VriK~{Y_RV;h>vr?eSsE2tDWw4ej2n;%d;IArPPwhNpvVY7Ca+rchnUDe6xbit!*AO7*BcS zL*bHeV|$ojGzQdyzBr)ig}x=AuMU8D@iz!Pk(GH@7rwVpJHeg#=u@8dAHE8?q5|_% zE|9)xBY|%2eR_@@c(JGs?pfhLq64!$XtettYgUZ+F8n5{#lC(k$5qh#z8@!Cha;ft z54|_d2^Bjm<^kUgj%k9l6*zLha|_{vNgwdZjFP(Nq#HmnSKa!b#vYXibxvsM0k#Ku z&2XawLd}qCE5S^OLcDY*sQqB(O`-?OmiTu}ZvV#3jw7mHhH5<3i}eS9&>h$_q;cz> zH?ea-coX|V@xhWF0rd4GEFCi4asDDzh+{LQ(+UFydKSo?qVOo}6HyOIxx}`KOUF76 z`R@2%{j-P(=S$DrG9+?|!wtC;)fcq>gf7o>Yb$Wig-PK^QMf1kfT5}y4G0Y^cF6N` zL-H;lNlo`L6{8W7sT~E{*WECy=kd+8vC{xQ)?qg0eOzQP^l&S$zhi^(cm5DVdr>=8) zPeN6XT@*&q@1*}dbFV|7QE3iOCgg<6QyKQU>Tf7*S9JGX2S%khqFvr4+Bd|FNp_$g z;}u~#pG9MOuZK(|&_rJM@cIV4dy*$a4w+GDG+Y!Nxs5_)lSS!r&!;l=*5Y))SogDW zT$|(c@~?9I-6{Y!#YMrf4Y9KA-yIJFP5~}smraR8@)Y?Y$;T-v-eIwn(^Eg(x%swG zVLQEuC9Z_mm?dj}Zd4`--KqU|X35pVvS&CT;vH>iEY;bpOUZz5a8X>$*b;Ee&dPhr zHssv_%e7r|PaoPlPSg2ASiXisKTw;q0YPC8A!&7D7z+~U-m`$1K5M{EgnVll<;r$(}1SE%OKlUpg3i zH*A6VjK{d`1Q~+U%g}7?k>(iW1W) z;9x?g3yvbtO)egS1gq=Kpg&tUXl>Af-1D%WS5Zw-f5>}H)9}AZD*@04@r-%HB$_va zk68NwP@$@^NefsI@xVly!xV@wbB$0C5CW`h!fOp6cy37F9T9D_81(nim8^Uqb}<=I zT?L+2+BRwax-~k~A1RHWG%Z%D^}J+^Q`S>Y!VlZwA9(N!52=H!?3J8h@VnxDgZu6Pv&)q&X}%=j_adPn#65Zx&wk;8U+i>=7)zeNLcHTPn4h{Jc&fEVWGu0)!`1p%>mCso3bi ze*YYJJB9x*+&YzB8Ho#*gW|$rjO(DhAOr4p56nK&4pV;%3yV{l?UA5`IGx{%)NIn| z`W2FK;=&<`BVpG;FhKt1#3+JOmkoos6E3FBK$#80Z435ixUre2ooHUz?Q?5TA-3hg zhb`O@`|Ij&(v-HPs!Zp~P3;1bJ)U}C@eiE#lgMFl|7osv)xaK)(XwQlCxd>g$`Rso ztR@V}rXOr7#+INSYx7I4HpIdq4-pO#ejYt>GLek~O`A_!5hZZ1%AVv=G!=S5g!2+4 zXmAQ`{NEcWF>JL4ohtl|RWPWscgkYUk-diGrL>}w%?P6}@u*)brVI{a&FT+8Cjp5E zXWQ^YJs}A?N;>Fv;!1FnIGk`1nMAQjv>6k7{J&6Y6lrNWr#(`Q1RAoneO4}(U2ai0 zZT%`zXJ4cS?=LLXG2H|(9@ff7*mnX^QXEr}Gs|F}HDd`B*nAxyV;^@RLR=gpjmJ@k zUvRwik;F9}{ONK9`SpKvIQYka$x0|s4=A&t!Z=!I^8}KGi_yslj`Vtxg~PjCshTfGK_sRSYmDr`|%zVrJ+Nn zob>Y^K$$j+i{GfL)&BLWpgViV!|(j7821*HuMvO4Ic4vK;d$z-{B{7aPhV<-i-5bv zXDj-1_%`h7;T>b4{QYJIY`UAy>!FsKvfBY~x8)3*RMVHwF6l2rCi^EHB~gIE__BBe zbU3OpqZ)pTdE;b28%9i-o^#8@!05NWix;KUHws}MlA`I zW{3j6yQJ*rS;p$YkvZ^@g2!6e4WfY?JW&S9JdeAW^!pqJ6Zg0Bsgb+_i6ebSy5&mk zdgn)da;#l4NMuiBS2JPnNbP5^0)dylZ2X@2@1DK0Q)&pO5=_k^G*yL?}z()8$lp8c(*JHc&X^V&a8wEKAmk&8-3&pdy#L@flmMyW9m4B>i3SJ%Ut5fCvM*hC%S}DPl-<|;UUwz5dq$DuxBCjD-nG#@HW}=dSbKg~p!9Q{m?Fl{ZH}<2W zM1~eRF%FqnQZWXN`P7AB?06n)X1TJ^hUsAh2eF2~sm3hU5Ar?;n~(_9LvsHkqY|Hw zB8J3^TR&QQHRrLdL3m!>hy6X8vlBYK+hX(%nFgQ603b2|K*_^2Dof=V7Zj<^S`tc^ z-veOMAb;dcK`H;CLR%M(-B+mU=xbITHWw5AGs$F_JcnH!)yQcpzaHfB4O=l4!y_8rF?zVs#eCfMkF?WR%&_k-@&d7!KcHQmwfwc$ZTS-JT#= z)EdH=ID7`-CCkb#UO6WLe{1>RMbpF$%Lgngjw9UqJ6kH~ne)&?R^vOBaN7`x3hRMZ zqZXjxCRKr5v~&?54ZJqKAyK^_b5y$xFL5w@e0@RQVt)Ml@~lyfw{eQyoiW)zb6`P7 zBRr%q)Z(V=`(EIIkBR?!!a|b?wUx@@sZne|AyjkQs{$F}gv&JXQ#cuqEQn7vfE3_@ z(t`E|<>?bQ!V@C@qnk(JGi5WlJ_KZeoh$!1zoxDgz#%IjzN$eKsbUKdFH==DYQRC0 z8iQ5Q=%z6^JzH0c{9`1-yRJwIe@k?fi_Uv*zH{^}|Ky)7qY(K!LHQI}6Fny7 zW$)R6^m}wgM*Z3fP2js7vXp)Ea|*~R&GqQ~HDDdf(AR~*%ltlu?yTN0@@${kT$y)T z{OZlm@3{LWB4SYHcXxCy=g#11segtFzIA?f*fB98z?i2n@Djo0_bMOoDAha=V5|tZ zyR=eiS3@-i_#8aM6X{jzD^x8bBiANShIvRz9I;poyCc&>MS~xKll($K`vTYkhW=!J zPWY=yorjwl`y{(^4N&O4YZXqds@$&+ExQv4c(+*U)$h$M9V}zS>dM_~XH?Pj8&mfyGXQ)qd4~?+!EtO2(1KN7NoO&nUI<}YRMZ7g2~0Q-MZJYa zk6sR<;h++SceuZCV+JAm;7+k!l|efgp`NG>t;Ps;a<+Iz{n1Hfsw~}LpK5q+elh*# zyOBUl58T0P%qvpApc_$=5TdO0r#}}`=B0KR(N2SDB4$;sHBa)YO8~Nn2a%aaO&Cw( z`CZ~9?8Re*2-4iGX>eC#)Uuihev+NM<;W zUde3-0lP`r-#)iwZZpo%SKj2R*;IaS!xpR-%L%UwzBInM3_49N`8y1>AfMc1*SVT4 z$$zV<`CNn3lmbR3EdjJ%78!{V2x_!wS@A>ZsX8hMg7o>xY`tqgQ;vP`_XwwOFD>ifFFzjmieCnIt6!KuY8{~*3NCKPg zV!G7uI!O9Aorzx=hnWiGFU<)<7daGzHPPKNWqkDL(yn1bv>{Ys<=W1u)QvmqpFhHo z2Lr4#gJ3{9uYo&M(6xGBA-BDG?kZhM;x~twGqiwyxL%5S?dtO0LNiT?fUu^`bqX%I z2*iY>@dTt%e^-RzofW+e(kl!?PZUhx@v$D%zKimUwmUYP({xJOkr2fx6EKql@zf=?m>#85v%%iQ46!h1)KT z`gopEB};1TOSjg>rfd%9-wnBK-M`-Wy(5W8K9M}5v5{Yj$f zi3DVcV^n5fA1YO%OBZ{_Nl2k{T((c*+Woh$&82$iNK}BHCVl(IzFws*+0~Y%7yAQYQgn9s@#%r(4H>b z!c;e*$_Vjfjxv};3nUBut5LLRZ)rqQhN!@eG(6Uz!p(rhklcRxL`RFj``t;=U`zUz z^Ig(QtyFhD zS?X5+CgB^Uw~kGJ!FpdY$pUPQjpy;`%?Q+r9Dy$PPqRbN?;Lh;q!BQrjURoLv}sHvArqtJZ^B0eBYkM657VLE6Iunft@5B z+zvMO6U5z!s=;5ADQK?y^xd!Hx^&CKqxN*V>jT?iVzzYIcI#&?p)z}kQuD9CjY&#P zMoZYSJf;L86K(*9)pG#Ml*$s+WZ478$LP_{N9w{CL}7?UAK5$c-4{+0ZtdDT-SoX^ zCWN``-mGV$0|8z}lT0mOYEXK7JCAGk5|omX(6q((HlfRS6p_hA;5Er-yW_=^mGRek|I@YFp(!-0XYObK+|c$Fb}oI#ulREnCi> zPr!HJFc7#rzcnoUX)*UP_e@^I?>=i$ZLhCWqAFjD&jWh;)X!h3q1ksOAtaAc?ZycY zWec&Syj?D$ow-)T9^eQOi0)=Ob?+Z-*R!Wfe7XG}Bq~aeQB*W)Qo=?9wH_Z{U!2}J zZ_fK^$MuZt)|v#( zrw`aGr+JjFnS=D#rBtZ){!EV7zT;i=v&I<1i$Fo^YY{}$(8c=$*TA~~R`R<>Wy$Y# z&wXV&E4xsISq>>8Gh?O3Ucbq2>u;$eEqiZzo$D&{$N06z@dXc+F2B#-Vu!{0DJwWY z8~6I`CJ|DGk0UK-wNAB}KX%WFCz)S2J_*db8>+ukPAuivnrBY^dTx{zDnys2ki6a| z9I9n}UmLUL$M3Lzp9awEH*b2y`OePe=1cjI$pm@U7YTFH`j( z2Fbm|&>Dn?QH_?Y=z@DOO4vJanuBrROB1H@9f!$b97~K2AQ0$M$LJU^;B&QtCx$zeoK+wBr zoW8J3@&hX+6V(V0nU5PIncsL`eeI=}+K24Nb66_ovg?G)35ML~X*E+@LHTX|f`mmC z7w>sa{qxf2i_9mVte;vqqxEh|knT*u)onD*Q)j!U+G_>l#LWZ0Nym?kQsB~W%M0Ig zm?7=&Sho24;&k`jIUf-P!|Dj$tZN4v^m!9rsjyq}7D|Ce`jl+Wh)r;mzFFd=m%2lB z-xh-wZKA<%xxVac4h@%u&iAidQx()wdC&Z-Q>DA(1Zc#p+b+b8PHUwZqXT{4kyQG# zYjwpWsSB;R6wuD!QeN)<^}t+_%CWc0pg-9Z=NkWKiZb;&J>-Zx+qv`{^}uoga?)dgG&rfXa<$cYv7aezKzlnX;S zL$@kR&O+&*#|-z!8IYyum@-E+bICV!EEJB$03WPk=OP=0?d%P<-F4b}P|nMi-ke1U zE5hz1DI<(X`@42dXkC%hXk@k!w5L1YsKQ7vTzrw+2oQ34eSda5y|PQrr1Ib38{grE z#cm0dd@Q+>W&b#(nY9+9x;BmvX{{r3OWh=h|*`(P#%TZkwsz{JdLrdAUmD z=`gn2;=GiE?38uI$2we2%7CQZk>Ds+T`ZlD2%~GNCVB3 za7}#{n21koemN>J!>GANH1BlF-YcZ*-je;gEqCqP3|$7xnKne?es#uOo=@30^t=#< zRBQUBG;d(W5rNBaykL9)wnM=~%JJuEe@x*R!Q1G;7insdoSVf73mlr_?tUhYw^}A5ine~Ok>KE37rA{nmT8t z_Dj`#JeYG4qtGl*;+h>NiHO=vP}PWn``=$sKh}!e*~rI?ELv^mJBTZ@(@@1jgEd@H z4K`YtY9XFc4KfvLRsPjx&*(6JugxGb(&v7nM3Q$M%9~c@t4S+^2TdnQyL!E#d98^X z$c}HsIqb4sfgrJ@f^%@4j0n;~DHCOkVBhPjYs$6J#wc*=QglCLOuU|ekaz%fG}!6z z8cfrWPelFF6dUJ)*-h!Ds;JklG*Me63Olbc3_TpAkHjysZT8pOrcJqMXV#th^>=5R zECpnB4byr47CFJkw-$Z|lwA$PBfIw=&{W$)iAU_vhfc>I2ubgIbZGE(8vB)CFa*v? zX(JP&>@{Z1E|ZaLbW3sxDw$qXn8I2kb66g<4?QE7KIWK#c0ade|M15t>gF%vEo)oP z^V!Mu-4+~|c{*n&<9&#W^0iKPVYf5Mt1LO(X+)5#(;au=7CBj^Kc(!OPXt#q5FG&N zF1rP$g`2|C+O_}5U_x%^wc+(wlRR;2dnzl_nz$d5*vH^!3);GBVIe8f()$A{K7H-a=jhD{e?GJ6f`UDF555#1An866M_1+ir zVeWXh@xECv6P-?3Zl$@g8#fB3U|k^XMr)`qRRk~o4A5ei`+2sFC2C7c^6As;T>oR>LGZ2nV=n^?9-nn>y0L) zj=35Sr1b+uP*5IU69OK-)tPRT)70)+nnS}ykOG(QJAnkYDf+)4 zp7{{N)clG&VB{8WNKv%Y{c#fXi9D4s!~+@~Txq{?odF1GnX=)?WmzJ$g;q^kvHqw5cSs&! z1Fi9B#TZZ{EYs*`6T<;ybj4c}W|h<ON6h5Z5kF`w+!GOFLU4P6{BL`yh!4?XW`~=8uXZ zl0zCggwJZ&MSnjzzPI{r^4k%%#D1qj2Yodv1VWIiwsQlbND#Ivhg<8Z-+e7qO_7wgA zoH+bwA=;m#;R&-I!F2?m7%u{f{SH0N?#)1YAA_KShR~D&x#Vvsh;cNrfO_c3P~+00ugB2icnt-p0S!>D!YANnbkd^Tf?8q!Ir`*PNo>_UOn6V0<*5f< zBPB60ALN3Y1wM#kQ>rY6t%8}AY++%9#GwQBY?0tL08k7B{i_;99*PE_S;Dk?KHl%`Wtmy_?zSSnAJ{|!|ggCEu2U8%g z+e(`&HzA9+q@V=D{FdrB)tGY2qBmfosYYiozOs~*q9MyrojyL3g(j-WU6_@t&z+j9 z*|(x9TT@Y8Sq3UyX?|md&gNQtlcj8+qNby-Mjo%4xhgKgBTRGtx5Ar@Y$~0FqMmhD z531|88A~a}XK8nP+YjKgqlF&CjTD&VI>W%zUNwcx*$Lzk0Jnx zo`sF6jnBqYb$>ErOlskS#5xfQ)AR%pKY0URyZ}!XGD0Kd?`}pIwIUZp@KG7s-(p2- z5f&x3j7Y0PrR3T1!hdfZ#KtHgYpw#6VWs_-0~o!?qcWi!JdzNOaMI|uWXxVz=HL~V zjAqqA$q1qYpRn`(lH~JaFAV^l%2*qO+T({PM-H_Cj$3D>tiD+AsxPCN5 zwS39&%mOvGPWtB0+hv1XFq*RXk(7b1s%V)e!ROr9n-#p|B4z06u3mtZET8Kx9p)3? zA{FwOe7yLK@veuv7I9gduC_w>_`wwG{KTsO-kICMqOLOo)|2e(aiv8^0zWE|bBS;_ zsh<<5KERX8wM#LlHk9lp+u|@J8)sDr-TsAdxGX$j$k?++iHQI?b~64()8|sF#&!St zlRyGP>}a8&OwuNNG6L}7Pe7!KipJ4Bji8>4{2d|3f-%&}jTxe?U6>?mofOzCjzH}o zhAx;pWJYhyL}#qam}v|?RWPH%&B(y|H^n9aVX0ghu|bE5SB%QyD#pR0Kr)-xCcpa0xZko8YH-Da9JdHmOy~z z;K70|!4n)pfFO@^&bzlxy;pVbd^I)Q-}H3P->&ItT;zL#PMt|jZ~j2~;3yiFKBE21 zfj7q`Qff)DN&HKO)h|INJBB0-+XK(K1xrdh-}FQ3Z7Qh&2_WOHN9$_RaSS0eB+(pa z<%wM9ClvXL9uk!C6jJ+6p%txSvLT9Y7QtQKUk2u82ioK|T!zB$aLH+BT>h@%dsF}d zU9(#6Z>2z-46T;VR^VE%rboa1z>^DpAR2 zk2@fowIMTZEBxZde zz3Sx;$yeP=HDdOY%NL_LLcgWA4!VBaeF?RQ} zmx}$pT(9zL*Y5@jKdSy_V;H`;Vm?h}7{H&h2u{4|Q_AA6Rw^h>_zX{=DY!XT$r6XB z_#fhyD93gUb-?<@_t4zC9xM4@$3SA6J+bBbf+5G$i**vXBRNjjUpDGEQDm=z*S6~2 zl6;^yyMbgBYKW|%Au}@X=Do z#C=xzR{SdYgOmCHQG;Y)ROG=fR|aR5yZVzA<;JD@3G{xx5KWc@UoD_KPT^>%5+wla6;UG%DT;~$q)0$2wC2H_swU{ zJJVAYMbDoVMBWp$SDL%i8L>qmAavMqC?jS3EkA1klO^rR@P}V%H$;?9q`XDA&0(`J zyQ8$V<+M*yyfa7Ch;6FPqpSzq(r%eRqn`81PN?xGl$}2}o3Qpf&)7439jNd9=dy)H z=W8Zv(s|F~pN=NF9reN=>b~FB9f3#>PvzqC^Jgb58G4IB|E~Yf$ljnL%wR4C31Wf8 zQX3z!LCws(fNg+~x%!VKq989A{0)0arCnBHPQNcNs}BM}#{Igs;hj2(M%i)ip&!N( z-(XEKDtKa^EfgEQL>3BMbz@;pw{ohR`B(kBr$747uF zErMAK|8rnb?vy-b_{jrXN-nU$(Q_3>5z?V|P%JUEFm>CG=`fLXFI93D@iD^J{fJyf zk89Yg7dl7M+yuO=ekw%(>+}r8)B&FQObhRThhLu_Oeso@lCw19`+YVmQo^85agKp7l+4DSupOEZS(O;3xXh@Tx0Q#Ox6-`={LjM$QQZzyBy06 z$YnXw841U)mCpg0V<}V$f*Ar39aSQ4D0$~w0$RdZa|~8ZfJpAB;v5nJp`j&Aln8Ty z-#^|MP!zAn0x0S*f{p~{`(5~pBOXD@_jsGF(sWYfNokFzoJOmZM@<_P-us7&7!=xt zN}19;A9nK3+@v+5253ewQ5qM+QwxjfKvs2nIKiQ22J&$K2E1H<0W+;*D_>0L06a^W z2zcZz@KSnESx5j9D(>a6VJd*X8l;~$i&y;YxaaC9sbFnb=G?xiuA*@Fcz?#w%iDVp z%(cEZ3)bzt-9oCsZ@RH?Dd=+XdS;<3&rd)H>x_L}g5wO4pQX%T zu4G`4lvqXP!GF6z;@|(nwO<{|gZ7&qM%U!b&2&zO_^jNB@yF*wJ9gzyny}f|1H|*k z(RW#=zm{LVmI8SrDCvnWi-3t=Q-?i7#VO2WS}l^RB;Joz?EAAps)TjBsWn^juL4Pab)Axa9*X>84nB29Kc0nk% zAm1y;6g}<-9;si|12StHgiPmS5MLg0fty*>a30 zvNH@Tmg`Fte%;P!_(($A-S0~;^s?xgdGz3~Qg=Pm|L7z=SWU#|!9F#vdeGQIG-%Ub zvqG=!my*`9r_jDzpkg)?ZBUf`JwZoJP0L599R#l^50s$Sj08Q89HOIM_J=@U);r{> z_lC-LxdaNPEKmM{)sbY=I(XajBK-`)Yg7u=;N)hFxFeg{p>Ktbzi%}_gdY@T=QZ|L zX9Hx6NE+S25MAyo&RVReTwj69TT9`I>5Lw2qIH2_mEDFq|Kn9|x!P`Lt(q}+{;j2} z5RuyqjCZ>YISvV8Gi@_D-&IJ|)STb zs)sL2B?03r&Are>zG=cpelxe+})t=&p{Z{CVi{g{3FgUWPp_ho>jjmBG0FvJcC)d*XFP0hj1{nT+#GXMLfDehSbgwNilJuT)kCF;=D ztMaKv*_ServgR`Hva>ScGM)rcukL)DUXTll%es`1d} zA9H_P?#+!}?&**HN;{R=47#WPAu4SKUCY}Rn7h}%f^t+`X)+HSKKllhZKv#br5MtP z-q<=>x5TU6YfmF0F-6WW`_ZR-Uee^}SMJ_;{nNURBA2#Z$1I9R0dn{TjT5Ej(pCK+ z!1!g5d|gb7#fF29552?M+sav-xS3T^WQ83(o7{EXs(?+evZje2~+BZAL@t$JE3)L52jBuC*{u7m>{{=!r7U zdmciUbOB_dN$phw(!I`+iUw|{8rMIEI(ej<2PH>oy(y)Z;<;L#X339uC_7r%Ft?uc zNZ`1qlWuft`uVqoW6#%nYrTX*-m4p*aI%>xMcJAI+#5a1@78(b~g zf6!l0(E?{s_1F}k&fScTA#8-hpK)&zE zj;CuRnR;~K5g%UOLCkXNXNK*Z%-Wf88U0ltW~dDFdMDzvV71Hq@qyiI(d&ZG5lycF zG@onnBgKHQqMr=J@ly7SBt*SHssmWxH}`#a+=$k=!ilrD3KXvO_V9_qjhWpx-Bvc+ zg*C7|4pV^vXI#XsM0@A9M_+0&k3_d{5G(qkRn;G-dq8$@96Kv>@M@bPtVob%Y;eRI z2nAe5^GY9L^?AMEq+{fYU?PR}kFWZ3;OX>Pv*43|d)xLP5u3DxZog~uNvyV@-g=gM z-Dyus24PNsCNcSHVVdQLv1u9oeb*>&n?XuC+-kcz&9Aj0+RiGJ4<5*PIHf}1unMXh>b=^V>NN764~4Y-~z+@23@VxV-Y1Er?7Zn@1q8&dOZPkAJDNXiJ6n1Ag4^@giyP0T?z>z&N`n2E{o3^2El=*EY505=p_ zXIm(W1C+AJx1&n^vd#7mVNhIkLkh(*A>UZvqzaREj^g4qP%bdm)%B%n4MJ)daa=#) zwhM^`oZ-bp$j(H{63uE_tI@RR6gBy2KCPKZ-29>#u~5+#F^t&D#>jG~DlBy|!9Y0$ zh~~|VYqP_*)qBfNm69!2+_xf%rN=GsQA$Tuz8_H^VkWdv7 z5*JZcR1pM=%Q8y;R}%|pZPI7=xkDxoBGEahWb-B5Ts<+YKm_-P4N#=1u9!M`|j zKDvMX7HpRGM&6rcrA=dj_*|DB7nsId2xzXTIdF_@sZFyVjW4Mr@rGfe8F%mio&;y1 zFFa}JFx8NPo^)rh5CIH4BsmQp`$r7{EU0Rn+?~+vH6@s2Y+@PUiN93hCO4#jzk^f# zhqGqC@PQO@IgMVwFd5ZHPy<2wM^gsyp_7M$?*wT5QoBE1g2kW%M9G z!cgZP{=iV<*=!U7suH8*ix(dzNRD_mrTX8|BbI`S8<~WgXvT|`iaineCz>0M9zP~l zh{tuUv11AT|4^Cos_Z)F0ue%^;&GX_UJ#qQ(uk#=97ZAxLiQb&sHGmNa-1{8-+y{! zX$GQU=UC^|)-m&j{dLTC}h8X`;aSd`%QisZ96N)~Z&|}*)n!gW* zQ}hv7hYKk3(5=DdEyEdYpcI${EdOHv*9aPp|6S{nnn9V&Q)!;_uYmuwaJ8%nUV}k? z$71{|*uP_Q6b`5L(#7=@Ml|UEeUE={F)6*|c#QUZ|GLBASs~RISl|Q(s*s|;aT>=a zDWOzc|914pag~l0_a?LpN?{Ll!vC#6Dk;ytgN6T5VSNK9m?Akh~sHzm;_rd zBs+s+3J_?ArKjDUnVnf>sG(qL+r{D2a&)~V%f}&yEpWknpK+J1%L}#)PjM@eq6PL4o<_0?sdnl zdoyn-D(BIw2&$emE{|Zn>nmT!X5I>vnp{6149s8(HU(=)X}o!2QFD-e`>k>Omgi{K e7q;E9a5w1K)1UF64a7(Y784+3WmS2uO87sB(E<|y diff --git a/talk-slides.tex b/talk-slides.tex index 72d5570..c4d79fc 100644 --- a/talk-slides.tex +++ b/talk-slides.tex @@ -178,7 +178,7 @@ communication} \begin{itemize} \item \textbf{E}uropean \textbf{T}elecommunications \textbf{S}tandards \textbf{I}nstitute - \item network technologies used in middle layers: + \item this survey: focus on network technologies used in middle layers: \begin{itemize} \item GeoNetworking for geographical routing \item BTP as transport protocol @@ -202,7 +202,6 @@ communication} \begin{itemize} \item problem: constant communication allows tracking of vehicles \item \textit{linkability} of messages threat to \textit{location privacy} - \item this survey: focus on middle network layers \item linkable identifiers in messages: \begin{itemize} \item vehicle position @@ -249,11 +248,11 @@ communication} \item other nodes present for ambiguity \item coordinated change \item random change frequency - \item all identifiers changed simulataneously, buffers flushed + \item all identifiers changed simultaneously, buffers flushed \end{itemize} \item Car-2-Car CC: divide trips into 3 segments - \item Mix Zones \item Silent Periods + \item Mix Zones \end{itemize} \end{frame} @@ -350,7 +349,7 @@ communication} \begin{frame} - \center\huge{Thank you for your attention} + \center\huge{Thank you for your attention!} \includegraphics[height=0.5\textheight]{figures/nomnompingu.png}\tiny\footnote{CC-BY-SA 3.0 by Elektroll} diff --git a/talk_notes.md b/talk_notes.md new file mode 100644 index 0000000..da4a5fa --- /dev/null +++ b/talk_notes.md @@ -0,0 +1,72 @@ +% notes ITS talk + +- quite a long title, so let's 1st talk about ITS before we get to the Pseudonym Schemes + +## ITS + +- road traffic is still dangerous part of our everyday lives +- infrastructure assist safety +- recent years: decrease of traffic deaths +- probably also thanks to assistance systems + - currently working on their own +- collaboration, proactively broadcast, communicate + +- multiple standardization groups working on it +- survey focuses on middle layers +- GN: geograhical ad-hoc routing, broadcast unicast multicast + +- constant communication, linkability +- location privacy: deriving location patterns of a single user +- authorized senders: message signing + +## pseudonym schemes + +- proposed solution: pseudonyms + - must not be linkable +- we only want authorized vehicles to communicate + +- a priori trusted: RootCA +- EA knows vehicle ID & public key +- AA trusts valid EA certificates +- pseudonym resolution: desirable for law enforcement agencies + +## pseudonym change + +- many strategies have been proposed +- C2C CC: statistical values: + - shall achieve that locations significant to a user can't be linked together nor to the user + - 0.8-1.5km, then each 0.8km or 2-6min +- vehicle-centric change strategies: depending on mobility, trajectory +- density-based +- cryptographic mix zones: symm. key from RSU + - safety of collision avoidance systems + +### advanced schemes + +- identity-based: + - advantage: no certificates needed as ID = key + - disadvantage: splitting mapping information hard, Trusted Authority involved in key derivation +- group signature: + - all members of group can sign for same public key + - problems: group leader, group change -> re-setup of all group keys +- symmetric MACs: + - less computation overhead + - but not really practically usable, as signature checking is done by 3rd parties + +## attacker model + +- single-point: + - communication with EA and AA encrypted, C2C 3 segments (reception range) + - no cooperative change needed +- global passive: + - cooperative change + - cryptographic mix zones sufficient +- active: pseudonym depeltion +- active insider: + - real silent periods needed, crypto mix zones don't work anymore + - servers in the internet can't link IPv6 address thanks to stateless autoconfiguration +- special attacks: + - pseudonym depletion attack + - sybil attack +- privileged: accountability, resolution + - needs independent judicial systems and separation of powers