From d958962d8bfc0a14fd393b31ae528aaee8cc0f60 Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Mon, 17 Oct 2016 12:51:25 +0200 Subject: [PATCH] [TASK] Add image pdf files. --- .gitignore | 2 +- img/aggregation-patternmatching.pdf | Bin 0 -> 8072 bytes img/sliding-window.pdf | Bin 0 -> 9744 bytes img/slidingvstumblingwindow.pdf | Bin 0 -> 10245 bytes img/triple-spo.pdf | Bin 0 -> 9613 bytes 5 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 img/aggregation-patternmatching.pdf create mode 100644 img/sliding-window.pdf create mode 100644 img/slidingvstumblingwindow.pdf create mode 100644 img/triple-spo.pdf diff --git a/.gitignore b/.gitignore index 2a577dc..5e4e331 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,6 @@ *.out *.synctex.gz *.bak -*.pdf +Bachelorkolloquium.pdf *.vrb .nfs* diff --git a/img/aggregation-patternmatching.pdf b/img/aggregation-patternmatching.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3b9e3c74a9e9326735ed9a59c2c0e2c4932906c2 GIT binary patch literal 8072 zcmbW61z40#+xJ~k7C{6BM3ALRVp&>x=`QJ7y1`}XSOfv-?o>kQP(h?iK|(sDTR=)c zLgL-U+xxli*XKKq_xP^m*o*nkoD=6c!wkP+P?M5j2XpWO8QyM{{{%unTp(vNJD{*I zh*QbZ$r@n;;z3CoKoAJTDP!w^u!N)D4lsnJl%=_|g(Xl_6zGb8Tf!WHo|$E-s?PM% z#GN~bEZ=SD+~VUd_utW##l{L$ZcaVJG>fwK*vkdyo}8W;Yx#sc|8gIXt_SX>gY=A-esrgsafCqi53JZu(Mx?>z=2@KC@Y3HEjLI`79v+#&Jr`g*w& z^{}L~4Rgx}Na8l5`&y@T9m-;7nbl^HRrs&>j&>Ec$d(PlH4{8$Y$S-tpS0)9Ww zwzf8*d1Y4jwFhsXD(ote+35`~F&0SSRs$5?s=*J&K|}L^*ez#(MWqRNdcg5vfD(qf z3-Pl57fDQ_d%PoeW!;4doq#v-Pfrq=Of@FY8kvS6C&Ra&if?;S95yY3S>9YbT5zAc zSjm6=;@Or|`X>#=-M|DmfbfZY%^NLUfG%S+`&V5YEqgHg!l<=_Bfel+YKTppx5IqC zA*&{i;+^C~)0VN2>H(rB1&*3W{JI@tY_Nnd&aOm)?L~b3>R!sVp!O8$Wlo0N6{FmZ zXZh(ZpjYz7ZMTa+9ByY@Nxbh%otzbNf(I795gYKe*FLEiyj8~S*B42}&n>XLLHgY) zo(jj-{&6Jf!Dv4oUwV17UEdFW1Y2Z* zH0$;Y`s25&v6M5SYZ`!k;^>>48+P|W)&A8v_R=Fpr{gC{8*(T(Nr*gpc7gZHiYA*PO4YT zNu!#un9PW6`mJ+&{*Z7uzU{!p*ONubXvTu{(KFhp>s%~T*g!v}!{TB30%(%rb>{3o zd!2pSge2AJXbW4fX5;c`hB}R+pKtPsI@r}z0_{qvczrOhQB8a)w4o7ln-CV1O8yo$ z*RTUntw*Lp4nlt6cvmBHz+>l*Yj*go$lFOn0q#2O22wZXS@{gZrvbJ6 z#>4N)$a=EbjkXpa_=~JyMs($r|15U>LVz!U-OXp@P*u9T;jCFo#Q0|NAj;1*!K>W; z`#XKNC=*LTCESXm)elw@m;G5o_N#$`DI-Kr8*azPNIV5Er;&cr)~5bCG&suUVxsCs zhqR(rjRu88z9FoiMN)dq;<=}%;Dl2s3T*E!!ES?-*pU{vueUu#d{fLtSlZ`UUz}}5a0Wff@6RA zG^!meZ%DjxQ#D1#s*OoO$?P>08q?w#Bn@2UvWS0VdP1?|?yGF|3|r)+rm?Pacxn1m zydVp0`sesUM&;>fV!;zH(^r+yYT3Z6CMO#-!`$B{?#c`sl9H_<8 zyv;FQlBP=Ptm~%oIc?W+B83Y`*xLJIrZ!8E(=#H5*7ffje_o7VUYwz}g^Y??z{lapMNYX_b(%$_5tM-9L71QMvkR4$SVN*WRawmw&^O=hxV6 z=pug&TEo)S*$r-P=?X$SP~#tCdIUl(;oj5n2HtIU|DPEnMbAeVf_%u?^H zchYr75fASppP=VlP>JG?3*j=#O=STl*X~8^PKAZdw-a+wZ`2iIiE0eWK^+tkTMLTG zA`PFKDKQMX|5ZmoHVH~`**F##$n!tMFUH02MQ`^;{q$yDe&8@|66Ns9g za%s>~5?gAr^-1#TA|Pm4)%+=d~nJ#9@j`ONKAffvkh%05!`fMVu^~5%EU{(Y_epwSo3g z)33U4@W>ft%F|1;sMPCf<0JQGvP5d8du?B@e$u{3ifqmZ=GJ;kIJ(wJ4bNaFo9t zA%TV#4GWLP&Avk8-GG$05p2CotQ^(TM`Jf<>zg7BaPpqli6!B5=xfo@t(Zmgm=uE; zwvlWWoQ!qN<01G!=BO`b$uPGMWJ~B|IwVV! zA9|SW#%hfiRzKUPX*9Yt1kU@r6GK0pwTA^!*e4!N?_sPsT6sI@X0Y4LlHXf04TsVU zr?UHMl)7Cz9DDMRjyW#EY4c96-}_bW^KP%lmXD(z?|eA?uqPZZyRVx~#~Jdn`>sL= zSec!n;7wwZkb-$+@Jd%zJBh}s4KC}jG7npKKP_DDh92++C3lWk^}#`#^o}U#w8J)C zc=v8nki*<5l_Tko%@Zb-7|O}ac$trCNiqWuJ7lS*^fNrxxgX^!turSm_~y^#kZ*BI z-(_D8W`<@+yN=oDoEbb6PN?B%YkhJXh72gc1sf~#%o z^vgM>oVk~{v(n0yJPMg0qMU=&YaXXY{}$34KJ!k5m%l0>74USFkg(;tos6UJD@P|8vXA-im9WORmr>LQLO zdrL+>cJ?P6d*0`!<}(LW^>gOZhX;JbZL{(grf*yCfA=c#k63tmKx}KB$x577I-d*` zp#Iu@kWnhrT-Bm$@c;tXCy%3Qdv|0(l%Rzu8#Hb9CFzNI>MMTxG~hZkBkE0BP)$^O zWX4Kn>XSE&zk+jaLB8U_m0%N~|`_u>ftDedKo3*v0B? zwaqX+A%(`h(+u{xA%x53YGGkt;|OE@z!YZjmubyD0b4*34UtW7Qe7EltRyUxd(EC=fv5|81#ee+-`<`fKi z+Sa1R+(M*gH3)5?9GGd2D976eq=;a!G}Aa?3VOTu^b9igQ(gipW= zGEx((KTI5VheB<>;=E{@SDb$6()PM_-?NB1nyjgA0pzzB{kc~|?mh#NLbVx%c|VvQ zA_A5P7s?-Q;*O>W84o|Aer{s@O;F{m}egjE;V|H(dj_LD&$5-_lq)Y4e4AYP5 zaQi4_h6wKkuk&fe3MApnxKJs0x0q;e?}I`;4krE7(tdbd=1Fn)dOT%*$e8>O3fY-T zK4rW8=Lrh%Vn&@vC94n2qS~sHVF@kpXr_B*KF$>C=jnHVlkijZ$B)o!DoBNhw8s&rEi1tp>JvoT zN$f``G^6Smdkg7Oz(ICgPwuw0U@Vvh+q}az18Ijt7_I2n80Io4<;oRi6Q@(BGlXx% z6lDs9EXIipNoS3~_&t%=vu)(=l9wTLlJDTfs3QISjb_@|y{LYcUp&6JcQZLtztU-G zG3X*l)$hBzd`aSXW+IPI4Kn;=e08JK8m!_-N~OQy?l91Ip}n?zYIK=iY+_X9fPvNf z%tCqzhr=ER6L)KsfZ1f>MsAh^ghC+c2C#F9Z{2-t@_DfM%&?y(a%gVaj-G00Y@lq_ zIIKv4UeTgk_)%KB!i3)^cujnTx!ak%CB%MyD$zQPU`Gwds?9)~m|j6%cr=#vXP;tj zmm%(`1{JbRjdLf!@jJjXnmTzdQ7pDXlG8BByTAb06Sn=urUs0)mFL)dv|vXezcT;@63Jg11lNcP)s)*ewzcz_ePO~0sn-&za0R- z--q-vw?O}nc`l|OS*3azB&@lS6L^&O`adJv|Od44W z%$t6I!n!i{UjBl2onq$YKYN8$y}uys-v}} zI}-$Bo#w-#!Z;bV=X@)m5CDb>j9n-8kb}nLXl79yuC#Qr7 zNIqEHz&(dN*uMzfsRBtV9^09%xN8tbKCMu@LVS9GlBrB>YkjV?y#^r@5E$l>@fgM&k9ft+ zrdgMVm-;P9ILE~R@6&}I|Kpp0l#gv>Cob|W&DO1*+j?han24p8ZN1$S>$_+B{>Kk6 zMepo}1;o6bpZm6}j%i4=Yklvmh*(q@2YGuJKzNx;{9b5h*(hnii>cw#_y*FX#Rt5L z3)lgA%C<~l^z*kEtYx0D1J*KkEA(8nTZ-(Wa>9f8>7GMd?qL{{xoEW5V;J9Yk!*Pk z*usd$6DXE2h>EGjyMABrLl8zZCC9RCbZZ>z`YxNO|GNPs72(eU9p3@g`4t=i`gsNb zJBIP?0mB>3wc^7P)XuCSLAVZQxi<+X=CLhKgZ({?TU;@I;7?cwHDYAXm@j;`YQ2wt zrU>R)jQxN!!EQPZu{zU#V%=N0zi!j?nml_JwxTNAPRQnTB19a0mQ@v z5HPQXOg(pM3>%+>iTJP5J+C3RQ`6)XeKj_pgDqU6vJ``-`?6IZ@CX9~<7}L|taLdB z_^R|NZ>Jh~s+G-mR~17WU)SkTs{*7kNP)Usq~WIv<5tYKci8~@*u5Dg-@VScbb?J}WcE$0 zS}6g|Em_F8o3E+3BJ@v6VO+z6kV2W=yBI*FU01*`(rRTG`>Yq}fu9;8GK{5^WwxS8 zXR2UGo?{kV-!`uTNVsRJfvI%c1y^y+;{bXAe&}&UL-Zy zhmSuiLfhYQk+XqxT2cqyMGL8AVyeFnx|1iFFXolTng_Xd? za&>XFK10w^!-5fX`IZuP;V~~sp$gSeFONZ!IPzhl*@%bqr=V8rMZAT1NUICL7_hf6 zFCi$x=Ry`#LY>JR_?mpN4MfU|YO|2qsXNrhK?>^7G07NpUhd!?-ahf#9&=>YyT6xp#S^-3%u}ffdzlF5Wzn=0T>NB z{%;o@M(RCIL0m))KiPhy-lxsR3%8(ov>ptlX5GRKXk<(duZk4hJ$l=y&U$$5VRn{Y z@?-ZcW1&0|3u>oZBHn6Wg19rJq&p;Ql@da(qs}4t($Z_e|RWIhqoQ$VX zSOW_QA;T`yqUx=L3(7-f<#eI%WQ&})*xFdl=pzB+@l6bQDOP-stu$|yzwoC&Pfc!i zzKf(=J@1lr=nu9TD#%wdqxdqvH2cjgk4>aGH6qgO&k$TW_OBRl3-J980T@l2ezTfi zga{3@q%2*{;kGUaXZRIeLQ5(zM-;5ml9qg=rNSm2ajnSFqr?UhJU*obQO?a3qaZlb-8EjWDVlfv2~Jga<%;}T-oW^S|Ds(|3ZW4RrCM< z;S)fU(f{@lKn3T&>3?c`;NKLC|$_^P@e?%a2~^Xbl45yBZ)DhzIrNMa3T? z$bF?>VNBHga(?7wi@wtYp-ui7nm;Eh8l3)`e~PviXiuQos>a_y)D6v2|3M|MI`})d zP}FTHYIcK|&0)51XAqbJ%)`M4VzxmbT!c7Lgcl`R!(lEqw&t!J&Twm%UsG8P?rh;^ zj=FvQznlGs{DS{^t@~@KL1Czg?reP(&#Te=1%Llz3QStu|4wrYbLdE%SRPBm@!4X&9<>%+(12Qm3tI7cX2N{*ON&o-= literal 0 HcmV?d00001 diff --git a/img/sliding-window.pdf b/img/sliding-window.pdf new file mode 100644 index 0000000000000000000000000000000000000000..832d7c7c9fdb43b19048ba6c14679c195a3db971 GIT binary patch literal 9744 zcmcJVby$>J*YN3X3F)CjVuJ4OMoMz%p@pH8Mv#(JP*O@15J6f}8cCJz?(P!40gvZ7 z&wJkQy1swD`{tTGd+oh;thMf$SwA+5mYf1Nh=(7CrE(3-&lBUCxy7e>d$?XHt^s z8s~K|>l)~LeWkg5wPCKx#hq7tYPE?Xy<;0k6u#9;SZttl7+W=6-WGPM;n; zIk8>MGLPLc7!z?`wpm&25#AqN3n#Ag+B!@-^j>w{A-g#rKL7Qj($=!u^?ZuZ@MDJVcTd^5;)^Rcw(UnAwcgIlO(LA1&G-5!X;}xwaaGS@5+#P4SF7gzyrs;I z%}w-@{??W)-e)_mkAklE$1hEeS6e(119vEco$F00F+ux7-$5yua;OUxYFiG?sI8x> z3RruUXYu{+-B-GD`~FzCWd2Zy``}^92^|iQsBQk(IMY(+U>B5}7kB{E))Y z1frfbIdgQ?2C0Hkj-LBHaokuHKWI8@etghVO_vc7mGTpnd~sE1^g*I=GqKrpZ9S7v zmBN8TH0wzZew~QME;euXy&}!NH)Df?5$N6<-+5+f8zYJq+k{CB6r2Ol{Ru+%ko=73 zik0t`r5$u0#7olkT`!b(A4%4t_3sF+Y=hD0zEZ{x5AZ+UGMO#gXod)=4N;0PG6B8M z`DN0cA3BwU+QDQYE3dfwu?sY|9T=nM=&sz6*o258N|x}_+`){wOua-v(a~%UAFR*x zJ!7wzBdR+jc=;?{ogCc!XM2Acrkw}Gz5vc0l)YY zTSRAKZsDsIb&z~(%LoxsEgD`p5xUoXE{6}qov392hd7IK)59Ar5W0Gb>LMK z&jwmJgJ|8}2dh(5*ytW7RD?^fQ@kd1$==~U6IpI(wzxhGZ5qjn>+E~1#>Jfi{byiaU7M77=|)qauWM9WzB<$h%+V9UnT?%=$j z+;l+g#Ez;c4yb@0E+L%^AnU(d<`VVaV89AqE;LnDMm>}AS0=#Ija6$#&v`cNbSx9E z_%!P^vk-ndmj=2p_C^HPx);mBh=>=2bWq5a6eFS8CCZnkynHUy7H*47f|ltJB8((A zG%yE30xPB-yiH=^9D2P;)6BXr9&Eh6%4N!~MWZsR)hRnCgT_K!k3arSpv#BjSvmC;2)Y@quO$y>~?jVGODP3a3$N)qAXs?v1j={J@rMK zOb9pIMt-H2eCZ?VlPQZC+u;N1Z{xOa4aaz#6sK~KfC|r0ip9TYI7baqLfwJ^F8zVJ#c>Ff{oIC)Br58TyDuN} z*5~c$M-OKd<2=0n$_ZLc<@-v)qySGI2Q<4+bPD-w{3w$5QVGbD^8u+D88btc+?-Z) zF9IxYqG%()&8w8~s>Ms?kdHGUD+-fYI$?@}mELIpQ@T;%}&I2X1v%F_9 z+3wB6LCD=q>yez!rPdE*f)o-Z3E(a4tyCP&?2kUkk=r}fgIB(9ta4C`b68tzn^?00 zpA{N68P$TPjTV1lR@93g18)eqcl}8{uMkBqr^|~9KOFk^j0w_F$p)e+?M02N%UiQV z!ktF-S35YTuO;)A;{+rJ=#QQni!pJHZk6zSkn6-Q(yIBQJ%VY__Fnxh75dPzwm|dG-*l)ShCCjGrVlJEI_tA`+=7`XlYKz_xgwu z;WuJnWXGIh;lYp@`xG-OT7Z3ie*}_8OX3j&IuIS~s51Dq*UL4h>ydpYyV_e@M$7UG zv4=%0Sqt{7G^xZSV&eh8r5Jzb2;X@IBf}NZo$KQlA2s2jV|g6B3h~pQ16i$D-Rvq4 zhN@PQH8#9?34`*4=#4IghIUmmzY6b|Nlubc-CrLr<~^z4oZy*v)gsY9h45~Bz9)h# zMilCEOVUA9?Pq>@b%hQO94a+;ZF8jd1RN~m(U8a{y)GoVzgYQ7%2PXy2=J_4oY+K# zzU_OiBQXbC=hDlMc-iC(3bf^_uaLMk`RPF{pFP4q$hGHqDNXxTC!)^(DADWvb}w$E zu^c6NL;884Ej`>nF@t+q^lh}ZrhA81Wm!5WNU1;BUVrnFYyF-yJbiM=%L7MPk1fSi zUcCls5XE>#XC!e5Z~qx3e{dV#TF}5620>pl#7%}>n{v28JoU2wTG}EyfdnHBh@0&Z zSP;TD@R@n5BG%4rNr)8B0WfN_(n&&aRL45k<@{fsB0mQ%A0-_G6%!)b5|E`pDZ@5a9j== ztG6OZRo7eCH1Y5Fs1swZn5UB6 zhlFJ)|MGQ?N!n5C_^N&M^?VtGHoNz4M*%_Hli|y^40f<~y6~&Do6&3;1#&3zqn*o=Tq$ zj3bt^DI$|nUT7EzE+4xR+C3~XU*e`|mud?zC1pc53hu1&41i;@D;PJFZuSFxXQiCq z7L=Utz5QwyJr!wC@QXmLMa*dJ1SK1@Xm(sxB+%JM>5*(4u=WAPtXirp4839~d(n_Tc#N6Yn2l6W9Z*RGtv^4=?c3eT>*m1%d{LV| z!3ERWVF@kNK5${>XaC$3P_2AVAkpmJy(3Dq?PmsVJtS`Lp#Z$S+Tn&s^@je$dj1j3 zCkB;tC6!}pSYbkLs@_S{v`*$4CY^=U4tK2W*Ok zYZY9Yf0OSX&nx3hLcTFx9#Dlo@p3(N=1~yhXYufcGTu%H;{aM~JOx&;jgu*$@gP<+ ztL!3Ux-AT2vzXf$ACyBI#O5EG{_`AOa8hth6`c1_tn z>LkFBM6nGc2~3)=vRLOFGGMqM7!mqqTE!Yy3~fWTdQCARi-061elm)Gqvm~wQnU^@ zDHUUO8#t(dA7eU7x@7*vw(t9fI_=xt#>rAl$H1jXUJ1Iqm(F%0lO7#eIUz9{#fp3gh?qulhvb`w)9mefK?m)xDR-{9kpPR5l@Uet)65l1INNn z)u8%lGX~f%&O!i=9rl8kjC_0K&tK+7I+0KrT3~1BmjnQheMJrz(7Oip5>nfgi}|M? zsDN9^DP&NGKJ(exMxx(P{2&~DFSG_AmY)!IoMwgXI_yPs0+8^mS6vLbYejb=vZ^=5 zDU-WCc<;}F8&lA>W{VtdjH$EUfA*dUW2I0ftSmlGy=NYI?>WBNkJONynX9*Lw6fxg z4T>0~NTm43G==j{u=7R&29*W!d=Hn{Q6NgP)c7hHep;g0GzW}DGS@YU^VyWLZaUY~ zZT;D?i?+!WPYU&h;q#nPuJ}B=y^~tAHmUaZ(+@@djnA{wm>Q33&1R>Nv?VkIm^`;2 zN7q?|?e{SE$gWy5>vo`q$q9DW4XLH7{caqImLh(&olDhIp6JITIu~<-olVHsS_dIG zHZInGCF+QGw<-Q@UVmF6GJA-yu+VLX+bZ~P0&th}%lp6;b>WD7A0Q@nD?nVlP#~fL z;FXmIfB?K!P{b>O0w5ZGzw#=$y1@U@+m;*14FvH2p$Ldhh`+xk6Zm^F0PjOzHyZ%2 z7Szt>ZelH{yA5I-&>uZsbsK9KRL0c@V2ls}0YV@M4?iCS0^tXMgoSwc!2Dn!2w-}r zD~nhGLfHdwi!*++3q^NVPq%-p>i2AS(m&hMMXbRc>f+&cJF}JVAF(n3?(TWFrrW*C zB6`W$c)_e}bQEQ7yZp6j9UBiJ^UyNni03ZHPKDkk^dZS@<*VF8aXoge}bH=k3NoH0wtemPhK`1SIl5)Ljn5jXO zWJKqY41A(IazvQR1=@05z#yC$1-Uh>>$h0;QW?Zk(r-M60IgKSrbD2%Z!;;)y_v$B z>C+x7>Ed;Ip8|G178;+L+1|bJwt0FT1fAt>-?*{%l<3w7dMGDwFLO(^DJE>qq zDxycyCG)VI5%z8lQ3*oJfsXcy7IMBTc=4{bG;IW)#h)u?`Lf}W>S7byOtVp&(pU~J zN~yScr?z+H_{wTqUqh(@t-}Bv}_`3@R^L|=#>ch36mUpMiJoZ4y8xQa8q81 zDIvfP`8f{RJu-J{SdnZ>ys-(!HW*_461Pj-@AEm;Ub>USczViG-w_6+;SCweqgCkW zNIB=b$-wIkmyd$L_s*AcPOm7k*|@Or)!jTM7uG4)!=pD@2fCDa1wJ0(CG-N$4X!;i zMxVAnF{JPtt1C440<(b+GZZ-%X5PSIF9C%mxz z@TH(b3+c2~pvLqAb=XK|+f2->?Vh!a$;-}$vKW?AyK$pOpCwsB^UJN9x_URhmjg4% zmI%3M2ANWh?ZQyMP%IThq^;84jGwHM@6?aDZV~aA6eg= zoK2ZDqvvy54_SwRbuKe!yf5N>Yj^Re18x%Q$nD_$zBZ!?@95xuZV`o?eVUCu6NJ=4 z5R00UxB3k5D@{(&`Wb~`mILz{1>dS}Jyjt>oON~d6 z?*&7eoCUnl^GbJa)vBTV7+=ks-pJR$Lu*8Nn0O?U z=GWCg2T%kBsyyHADyre9qd(YM=n$}XG`ZS3Rm?IhU+HEWE%rq@-Omaby|T_re+3M6 zSFTlY5%Vrdz&T$-Me4{ji2o@kZbA>Ecc(>mo*svK!@ynXb5LY4mv+gvEXZ9fPWw@NvS_18^@8EF!nPo}^-3N;r*B^e3&80J$ zBdrFe9yK3Yg*S%KF{78VB~&kmjvtE+WvkQ~i};?I?|ahLEeO!BkA5gcs&+ANa=AS5 z+^p_=<-jp3?lQHqKd{R^QGWJuWTcvWmm}(MGd4rmV{7dVBcz3|{_=;P z1!W9)Z!Bcrsn4!k6r)MaGH3>;={;BI;z@O z>n_-Lf>IN$-mNX`(*d4JUI+7W#6wh{qYZQ~W<=3=Cp8$jCSRGH-ZzN4a-960UxXoG zS~+MyHOef=(eg&3JY~xTqj&TC*gfct-As#Ok0r!9`9S5`L-;3N+OXI+ik|l-4jpGt z-nq62<5o$h-}R*HI}C4q)3 zAKVMU_!3o2J>`4icE4ZYApX9>X|dshk?0rk#O|+N=T0+-T5HZHz0f%|tP2@va|fx1 zSC-NVFqTA6mXWuh==V{~%RG)N{!w@o)iwAQ}SxW;c4iYrKFW6 zH|iHpo)s~!$@b5xu|Fxv{1+aw4dLXQ8GPdO-T16&;-;c%z7DI!GT2?Z^1}0C#AAiw zOW3=0`WK1R`9&@cric}LTsk`u!bw*TWX1*a^kpl_hjSH%$oO;hD@9X@Dsv;XHHVD1 zi&Pt4Z?NE*p#!FSGS8(1`9*s^oY#BSd4DvodwMz%-CMw8a;4+{wf=0rR&Yk>w7^Pn zz*VR7Vflp#t&Kca?u4l|NxFJ>eiIZ!-ja?kLMr+?|XpLm*VD@PUZ3cODJb?2c2KHMwct#-MfpI=oB1~TIEWL|WSf9)NnK)` zmPAMF_nK>OgPUBEx*t@MLb4U3RAf%Ok2y(90wFzD&mB*0n9F1$WSN#_OYaGk(aPx& zJ>_}4aYko|aTs|>7kbc0`70hqPHi2Kh0vhAKhInB15uIEwu<*?KAx zNMVa?QQjo|9-Bq{Yc`FD($}49?Obd$eKLXEnWY5|H!dr`Jr+JwS8H6HDvRBvP4W**3E{{mS8khTcReP_Aoj zz~qN|Ixk1Z5<$9$^W%oSTSR(Outf~{fD|IV-`K{q4f_P!_M}?r(%n91oc`?a8f%j8 z0zOm@qv*5}9dj%;GRF1Xn9TJCJJ_#rV$UYE^jO$t%-jcq?Pj4n!!zWunIj6cp0tNkg()j@O z0$uD_Oo&m3o=T9#t(Xr|FgqKM97p&5dD$_xUa*hx{6?u8_CBjxc8M%;+F7g0L}$ACrcHb%@%%;ekx}rg%va;G`cG`} zy4NEx>W{vgiGOK0FK^2>msLP0+#u86L5L7BQ|Fo{g( zRKP$-X(X$Fdb6fP|EsKuxz5_NgceE8Dbf?vCq8^;^3{L zx_hN9qoj?6d+{v>q>aUUEMdHyV(<5YS}5wrO2yczNjpw|)@jXO``ftRAWt z$Rx7ep0{jEOugG1HFiGV^qX>6{KROesJmfVBR{{=IqhEF(m7qTUiPq-BP7oGsH;=w zaV{o3|2}aTwI#NDXp13ANrC*PRgKF>?$P6xN`VsC*XQ&i0DAqi!42^FAhMtR2g6@I zZ%s_Yi)0s4r2Vw!3o$Qx^l<3c;vRJOz7kxBy5z2Hi90nmRE?Ry;$hR|CR_mXUYECA z2F$-Y<+uu?xKWhHn3nH!_44!VRFwH{OIUFRmagmOTu3~vHYI^FtmWkHU0U2eRLlb4_)%Q4#5;)hJfN|rLkr{TXY8S~_P^m}KAY8_+kIDYgT&c0 z%=GW<`!)sqlYR4pz<&~A;eRKKpxbQs|Lq^}rU?TstpL1^U9qsZ>1>?t358c$c^~SQ zN+lmvVJdyKR>B3y5cpnFz88UE?h#JXU*HYr2kv}~)M~(F!;E?RLJygu8Y9xJz1vV< z@NG;?weHNa*c1H(pRwc!57$a78L4CGc9w8_FU@bJ`@zUk$K<3KR%~Pbrs0WH`n!Q{ z3e>^nC8%MkB~K}TZ3;0xG^*bv8&;n>VZPivn-Y^r8t^P*&S+_mBWbl~vko~Vcs4>S zTXa3_V8(2~-PGCKwx94wxS+XB+4h~3ACI4gAG@DYOc>~~aSe-$k1Y<|uA5%>I!~4G z4Y6~#u2P2!L1Oz+^6B_870QbYda;2tR(|r`z=aIW!ukMYT8%K~e;fVIlz&+rEcmz4 zLAQ|MPm2B<4BRpdIU5fvcbFU8)%^}C+=?`y&Im?fApKB7Ug3e9jRREQQx`!D{%%)* zI>VfN0qnn<0Jm)%zZ;#Pb_g5+{=28lZ<4_c0)l}6Zax7p03;|30f4{|@Lv!^84h)V zSxLLtIoSY!cY4wuR<}q*7%X&GyHrf*9sbqzkuk)&~gv z*1xSN{i)n;2SFcfz<^so@lRlJi)#LDjo-t0TEg!z%|iqdxwX`tR0ir{a|eC?Z9T>7vHm-Dgcrvo(O*4}*U?=HFp@OUr&opDN7y)(*EoP3Lb4=6MUy{(+)E|ABi5l7%?6gNSVa zyA>4X?g{|$fcSU>0POZ~xSI$s0_!1!cJ5F&dzh66kE^>K$L~Paa(A`%v_hN$`hQpZ z5AFl~^LWwk2Tc}=2y<7vJ8$0Y<}c#+A0;1m8(SP80K|s_{QCk3@be?UpDo}onJ@_P z*xa=OT>i-TK)2J~UjLB+fgnV5|F?_}D2(vLf6Igf!T-|b1B3rP2Os~xb%Fc{FZ_@3 zfPx5T{tp=+_C{##cV0{+K7;OkySs%27Fd?vB_##vP66o@kdzKV8UaZWK@g-Qq@@Jj zMIWE<^ZP!(_qyJH-o5v_@0~MqX3m^*26jF>%-Zsb-26Pkn9PlP)mNB;06u`LwIk-k zhX7u6u!}w10U(4B>0$x^0A59i6CCV;cshaLV0o~Ot1TGw(IZS4+ye}9#`Jm7n5C9r zt3>eZ?3DBSl;XBW7u`Yi?w!@v-rZ+TOK)g@uCx``sw(d29O$Vj%R zz~fDM+dyxXh?}ck*ZB80FXC%%J=y0(ymQyj@uaTPgM!}pAC@s%Odqb7(7ci8lBmz~ znaEo_^8BD{D0Oprqr2U>?zz@cT}i#4(0b{aI*Jr@1ze)ZqkAJ|dH%j80natw$ZP35 zCq3W`_~rWJA9zwrUEe|R@K=q8*se1u`w0>ADbIX{(AXU}O7M~yGcJT&{dRjh`aUj^ z-KVoOKN_oHI`M3Ju_;Z^zV@i;QQr`rcXCZ{`?(59<7{=&cu^`eZ*K@{u`@dOX|DC? z@ckPaSD$&ZK|7k80`J#1g70QMHHsV>XRfd+18xorgZPf#Q;_G3SI;#j1SsLW|;(S@8tusjURk=QnJ+mwhw;(8^#&#i&qa;v)oJ@Gva0_GT2jp zni0rd2Y#*NW01sAmHKQ+T(NR4^E$xXek4oV`t1Ot>9n+CuXs25yCZ0H1` zf@PL#(oqwWwiPTaOKI&Rni|*hx2e3u9}=OW{vg1SY}OvKf59g*KC>gi^S6n-LQ`I+ zNEOziVUx6h_e<<9P_j65<$KAp{E^ejJPwITlLXhG?+YTSAp2#JA^ejEeQs(O`C9fU z8$wi$2ac_!KPRVR$F)2`Fp)gTQ0`fOF-O_ZF}>GiFGChH(D{N;eMPcQ1lKYZWMu}S zz_>&M6y6vGRxy5cNp+^!E2jzHJOcD10aE=2I_6`h1};7Pu^K&Jne-dl~CQX`!x!g zD7sTx0Sp+SGR>VDoh;V-hl*2IVoG)?6mI?d=^3OX}*6 zOH71R(I5qyBHw&cr6KAnBvqS~@5=riB&YFFPv?qf`jJct z7;t=OSiG(IPFM?{%oW*)NbvTd4AvaI>v)(rRFW16@WyU`KZFui7&0+E)EEBxX)`${ zs1p}=syp^)=!Xz&93iDX{PHi#z+v@}T+#ZaBzfD5GoY;`7p`ADdmw|yW->3aEQr3A z=w%T#ws+|S9c#G4wiD1pt*jK&LHT~_eAaa)mkPs{z#g08$1quClF=a+I}!!4LD}jE z_afOh3Xii;xEEIxKT5Qrq8QYnJpS|=Zl9eJWv4EnZ=WsrM9&k77r?rSDKa}sb4B=p zlkKDPp`e*lpkuepl(#nrfX(q>GR$o)nqgxvMEzkRg#5YKPvp?pq0IJsWgP@Ra*LC@ zSso+z=swkdOVV&HD8U057b(WhbA-fr=-& z^!!oJ(#97H5*=1UQogWXVMj$#X{{Sq#u*TuBQcQnhRYTrb#m}qhrnF5*iu8EQ5DQZ&(Q^-|i-pUBeQ>r%El-6$DYx$TU=F*cxpQR)xJ;?RGSL(ro zdK1qnu3f4d)^|8pYAV{e*J$!HM^DmtA8otYnlajEE_2T-XZ~R=Vok-<^F+?COgL=zoKC*lT0V9 zFrz$Ab(NOKDh%fND8iyUp)LOL$fn*CHJX*-hb(dUlMmo3@XoS>==Wr zV;k%_=#?={c2jO;D5ZYcdy~*y-&OBYujx2Lsr=nrPDQycGZM1*aC_+TLG$K&lk7wf zZ*M$ng|F2wcLu}rDGucYo2#`bIAWH|Sr+ZLq3c)we5VxZEAZIkO_uhKG)0w0hHz> z{94yOTW=UCH+%xplXgxOCTk>WV!j*iQ@~_Re?2pQ+Dh;vEp58t(pSw>^~Ctz1nRB! zPWy}V#UkfUt?&i^YR1c^+~*Hs<@rdJ)WsvYH&!{(9|RL`Lb~}UPW5&6XJUcetG8AS zU3r?Q3EcvMnye_DdBYbYeg%=>1p|QumPcZ0GnEy#iP)^|CFtEZAbA$CnHHEUiIgjnWx5+FKUN1qxn2 zy!T$bB`rLLb3}>2shj;*8BR2d3#+D^FTpu!`t0irK-?zjUmu7$g_=(uLLS zw3-xc4d5xWJ|430!Y3%pzv$8TvU_&Y%dOc`1Z7tAmJ_y6?yoI#zIYkRG{ey>$3mVy420_ zx4fmBA4faQXW}S7W|{O1Xy#X-ZCh_QBKm~5`_zi9b2dL5#63m9F*Vf@>YNJKD1~*?{Rh>b%DjTJW008PMMD|kj`Snz1v9L zOPescKL}&r<`xj%m@f8w+&=r_+D0~o(t7uQ;dq~zOt&rCGVkYi4AdNUg&o!H;BIYz zevDLYpI1=6LY$EIi{Wx$-1w~KBc>_I@GbMb4b2#yS^3TA*E+M~l`QDGtA=vssDge* zf(pSE(=d@5m$2)PR-6W4b5`kj1A?-ysK(|zU6g>M{j(rnZ$+<>W^K^}bKf?`Ew9t7 zXzOr?$FZKDpAR`*qvt*LcNI8AagLrg$A&LQ@(XnO+t1FuV4CuU7|bd5ALib4xmg&9 z*349Y&`5IOloF!3F*xh{iho*g;k7JQ<|_|_BO9LKc}VhBEb(kSskl8x;fS&QDX`<1 zf5fmTlaC}MjV9ey@XpDBkd`HKrJzb8Zh7bV%%iS3e$SfkgZ}3SQ&g3_%UinLCo)j~ zxt{L#5byH&BbioaWZ9i7Jl=AnP0nnm;?T@4*1P`o3;p0IxR49{g)yZIA~T(GUM0Jzfp4Ed(U%>H{!Ci1+|NenB2# zAwfYwVF14nKaZ%OfB;Y!VDU>=4q*X883wom8^0-rl839O+dr)OJ=!nnpK0kKZ14cN zz})Uew(77 z{9kYd__taA8(g^?<~N1m2MCLb0RIPV*)zg|rz)g(8JyMJ&gN)(mr3BuCXW~SQWAzD z6Y4CGKMfXG5tHvz$$vmj*Fnc01=5cNL?2;9V-U#6OJhe)gs|~36C{FlBz01)JdfqrosD!Pd0jdYt=8t(K1WaAi|ReW;?I=y^w80M zV?XbUWRF*PnynfZ=}9@}NvbOa-VSKk#2cFyD8I!xMPHI|)+OkkpqW`#y6z58I4#j?O_V`w< z8>{)Ha!#&m!I?=pC&aOA%(UJ)jvZdl3C`wr=U43Mfje7}KCkq2cVkF+fAsN}?Qn4$ zTYK=}P^^^uk<6jMLDv_PN#7DRlLwqXwc689B1N4a)KN0^4*+!=$+dLxHiuEUUvZD| zc#|@JYP+z8#T+j-Z@xgc$f=)-h@&hMqp{RIRy9a`Em_ZML*&JBqP}xcnF|c@y{cVf zn%#-gv^pH!(IHG}^L!s`A0T)Memut=cM8g!D>)g9G<3=FToa{woNaX0{W2&iD9K)R zoR9wibZC2z^Bjr*9Bjv0tDA zJ=;&GSNA(naZfeCR6-s-aI_=1{Z4l}w)OO)YOIqcqtzPKvjMmqyw?5n)U-;LzT`kR zZd(j`m@VV&hJFZ>H6q84{5FMzs}(wt0hDzj@zRyv47G4s$Ok6xTdRflca&VLhLCQC zz`jXfeI@Ig>toFBHt&<1mJwg$VNEQ2&e|sDU2I@ZhY5D&baf1EDm`+}!0UYNG(Qmc zF1<5M;=)4ewG%dJoq4I=ICt_=si1vUd1Aa5Dw|9Rc459H;69Etx?Ux9bz zLAcAi<3xQ5GVXqy*I^#5-)JkoQu5Ologf0(NU15cfyfbovI1KqZkKcrL z{5Z<--)n1h{qVS27qeLtH@EqOevrd^qDy28Sq^oW{|B)5+Cd*K$0Pz*!}W9(qGVX! zBAnyC55KaS-TQ&F{mn_z%|IAEOCpsqA+MoUnR2@^-$;X3O^&AUb!ACP%57K;)kl)X zR+TQz%mDZ6@H9>lC*wK~IpqiPsHk6&zFvsKO6Pc${rj-Ul_xIJ+0mL{Js~zGt2(l zmNB~u9*wy$HG;NkcQOx&F_zHg&F4>xq7N!GnitgNjGjGxF)tM9Mk_JJ{!Ujk=d1!8 z#VcGESQ44H9nX?U2^^Y1v8*&FS!BYqZyTd!=s(F6J)-LOv}^OFdSkKn9JwJlLrtX8ood$>8R1GMd8T>GpCylnOL*LC>kJidHnV9jVwB3DRqkRh#U7baeWhC? z#4)C7mf0y#IHf~j@~sM<)(W-e>1)9VH9}VQnwLZ!(oIQ0e5-D>ez%eKuGz^XFr;<8 z70Yt?c=Q=vp6_OkU>@BgxL4dmF0-|aBm8&PI-|Y!gP+yZAvu=nDo0*CJrFKMwY0&o zwBhoPyWm}c?(=?u8h48M8FxZY&OxUxJ4E0Br=r0GXf4WgFp5akk|q%YSA9e1Vw05zHi{go6zG>5)(OVgOe}@JqyiaKK}l^{9GY9tN7ydd)Sb?S-m9I z75nuG7goei!%;mH)p(3@WbXV;!uv31())vNjYZNoIT`zuJ&V(85(E^pZJbg7LoCOH zFRD@_2^;0xm)Yty>a<{^A!1djMqm6(WFO`mR^U0Lee&;|DHj?UZEeDQLK38o&jKPb z>&f^^xh{4Xdl~zqidMO@sRlM9LsPll*kUrz_1MtzgUC+f4dps@H64HvOij9k3i%;L!-8Weq&5VMs2*@?NGVvbhup<6)yj+Ty1)G(za zy+l8Df-_Jd;b9F}+JvUAUhM1O1piq3drTS~;&E~8^}&`8an6mhgPa8u+zT7KQlm@u z?Y^Ja3q5z1s@B07j!nc`ZNXFpj4lv&CON`Ig00fFxbdX?0m$Pg1~2gB>f-n{am8#`Nn?1KCPFl`m&%ybp2~;6LBb4 zt7MjM5bes1Uiprg!?IjW*E}C=e5x%x^EkI0>d^AC>m+2XrQH9!XjxVF*;`7^gTuz1 zyoD?4CrB>@CjHctX}wcuq2DyDc6^AeLM5jhwstKDDWWY%P+iWxjC-ZsYhJoXL9^1# zxJ&cX+x2OlLWh^{@T{AztvBy*WZ5^8gJc69sm#t-yBMzKGrR|=;w_~)GSkOLdZ>i}A6Fu!!5TW$KPvDA9HOZ<77BHVLh}D-Jp;%`- zF|uP`SABeH`S&^7?AB8xyBmy&9Zw$ma5N`gM$FuSPAg zV?nI#VJ$>^_}#g3AvK{ANO&D06qu@giLBC`Er~t2LZN^Dsy3ab3?|&ue83mKk#;Ys ztK<2alzd10)a5Ln8nXL~On|RzVbaO#xxOE+)TPm1_byOOOekW*P1A0o9fn`Wl+=m; zAcg8=$l>@0d#_^ujO5l&PKz6PRr^{F)fhu9>dX-uXF96-ZP$>eq2<_Dm44x#eVVK@ z!(rfpIKf_PXhJa&i5z2^Z$-*DT+%EuMp+jsgd6WDmnLMYMg1C6T)10kG>p(Ot;g^q z?n`4FwJ5zS-`Sg0Gt*YZi?H#IRLPz<&x)R7NfsE3DYcbKBhMnWzm8|cF#ihs0J}}J z3b5(}F0VZ8n}OcQ&27&3pC($;>1<;)Hm)b=Su4nNZkZ+oc0N924LVA=FQw9HXM6*+ zyk3`SHEO}-7-jxc?mqL{PoCv6fAI%DblPvFY&r3*-*WNGuKw}<;rW=Hlm@+m&!|UF z?ccQS)W`)9i5*ZWZ@FOw`K+~%8|~~ra_St@v3e1Po7W>Qt$Ep|HIUSsxEw%EyTaBY zd&{msC>!$(y~2ldw;8k19z%4u$?*pGN(!rW1oFJ#5w1;|*1}t%CIhG=-EzP)^y_^q z)R&`Wvb4!$x)(&C>e8Y}35mtjTv;$$u#AA2M^?i^NmSqD1XXEr^Xl3{USqLQ$HOc~ z=037}pLkTTpB$h|1?Gh;8+>iX{i(RB5OupTSVMDeApH2?>qWn4%rW76gRdF09|;F| z-=5bHzPJ0jDdwZNYER+Q=9>z%h#M2C^Cb@S>RkATn2q$E6#L>KNk>2p6dmY!Dbf7Hn z6Ju`r`OMUV)t8dzGbrG1DS>rx6doKlt;@p)QEIgNjOmD9vha9HZFssU$RzEEVjiA9 z$El3eCh1dB(Mz~=FTkQpIzN!(IjrrAFh4ho!eTO1#eOYmtV2(mYOE8oF2hB&M*q(yFP@x|Sy6ekd8LL4_swVaaJ7!lQOzpUij2KXxHPN8az$>+=3(TkeP)bqwS66q z)cSF)gsv+uSJU}6c6+iTK+>xkgsvSu+%6|ya8Mchaa^c<0>a429b)=+82QYs)BBLG zC9S2&ug+l6H?+GM5TffB&mp}#t97pT?98D=6ofU6Aipe)VkN6AoU3BW!UQ5coDLS$ zCuc`7OESB&)7*X+b!Ajf;Ab(kqBh=AUdIda&B`YWd5DS%13+93FIyKw@ZB|9=O@J4JhG#OlMogj21m`3pziMGNOAB+`R#i1M+|bGv zpN5cecalN2Fvo78Xp&_TUP!M~25FNY3w6XNq14Afe$2$7dh|iFM=wc?fTCKzOFF|I(L0PLexZ8_4S^uUfcU$_uXo{eisK_6{A@=XhKmQ%Q_ZL$daSoJ;H(7>ihn=GsDI)A zC26M0{jlgQUmGW;NjiJro>uZx$@}!#O7-c?X!Hpjf@rHm$L#K7=B$c# z>Wc!+eFmACD5tiaDwmVB5#dSPJI+&7-{*^SoqPRKer8>ZyZ4)~$1JjF8mYFw*;jo< zKaq8Wx_(_eW*l)QdeWd}aB+pUDG)#Y?>PMO?q7ir5aa(72mU*b^oPRyW6_o!J?xuqPOke@P z9fSHOle(jE|Mtf3?mVsGzet=uf_mL~>X%d&1Owl7_kZ;a!~+JGa{zh#aezALuQETs z*smV`r@H~a0`hwmD7YZb6hU0<0lY>K7a12AI4%NOB93YyavZ>B z1A=(C0{D6Og?K~&Yz}a^n>a6m;39xY~N!AdY_hzpMR+ z?DGHfOxf=RCkH~LyQ}@LsQ#MGUvT$7N_7?{)~S|B{Ib@FP6=U+wOe=zq(EME<1<6c+qnWWxWl z1t=!)ul|5yLjST)OhgQkZ~xO4F`&Rd?1OuN5DVJl*GWA+h#&aQS9iQv*VPpf|2v=m hUQ;SAc8ECtjiO<2kO%yicg29BVwlX#3R;So{|C!!75o4I literal 0 HcmV?d00001 diff --git a/img/triple-spo.pdf b/img/triple-spo.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f85926ac4d7aab61b28c44ebbb8abd5eb061d966 GIT binary patch literal 9613 zcmdUVbzGE9*sjtIBAu&9=MqawN|zEM%>oN9E-WnFB_be5m!zb0gLF3{(kUP)NQcsJ zcJcMi^PS)K?|Gixot z5Ibw9rvO1Dq=g3n0C*LkFeeBCS;D|hkOvS8xFrNnQWDS62>}7y;<=@S>(1KU29kIm z={=EPRucaK@!Fu3$9eZw8oD6M*v?`*%94>Qe=gb6@C+Uoiz6Sk)o1iUG|hn_DE_3f zA&wQF8J_+;`s83MYb-lDWS^Mp+wnr!NwrS)idI=;_bW?%KPgW)h*L8~#;3$H!kf^4m*64Q%sBh^iPgn;Q$>tFRjuwHqgf zp~5yyZ)QB4@#+To+kBQVl8j>Z@9y~{5fmNFbRL}%pC3x=$cdX%abezld$eesNknxa zm;Xszv1@N7^`;4ePRzk05WnsW$Lxu2WLvcI9XZ}vuCN`KCK-StK>S7gm&p2JtkkkP z8aws^jaV@2j6t<9nUdTb!-`4deG2_Z6Kos===O{&HkW;QKYL(FI9c&)$-e2wDRY7a z{(&j;FHcs!AH6;s?>IR0aN()S>b*nRZO<05HlMrQ&FE~uLT))!OQEbkF|j&$&^P&x zC}!SupwUQ5tva16O>?!XJm$yfS=aX69UpGJH_Zl^{oS`3nn!dqp31&TxvkNBxM+1G zyUJi;4f)bX?Zmpv+qE)!>RxRKtH8d21(#Eyb}Cb5=H0M52WAQPeO=HW)Wqtz~IUzlyMnUQG%GEBUofZ~2T3%9G{^5vP1_-GBLBDZ6#r6W1 zxHy7dUfLlZyL4g9UFK7Uvbf$8#_SFK7O`h;=^st}0*JbMsTf=L%%*0#>r#->Vw zcNw485L2n1*NVIm$GJcMe*BRrWb`artH|j4DWhY)`Q#OR!PahJWm{3oB($aZO^^*9 z#Ln^$ZXo}mScRezszj1WSVRcbj;ith$+>Hm$-6lzYC9nr29S_I0mz3J%!jN1c;#dO zKme}=82O9j9kSuqFRudJ&gpNxt+@HP`2a${d5i3X{QThz^rtfbua3Jt1i5Gw`=tGvb2$NK!EKW?NOdB+<(K$04Id=^_);^mqYe?0C9m@ zK(rKPQC?u@X2I08@s)cV^Rg^~4t9bzJXPV4`6h@ss4I_-b}5n&MDKTfrA zcTY32@#!PSuSo)xN2&9hU+eqqc;4XOxyOQm^RV(RfU=7%77Y|F{ZjfFu7Wf{qF=OM zKt^PS(w(~itk7HREF`xC{ivQ+`xTcS8!%IN(*n0>c?tXajt1>ys}qjS4lbHgQ|3j# z4Gy}Ov>bS{wBBgN(Dhq<!jV|*i3TG#pT*oshk5Ql~ql#W#-KCV8-o8|NA{EX4- z>9ZwT=qCvDDUkjDKTwA~Yc z%)9&;)f2nu$3bg;^36p3&Q^LuvRrfQ%R#Q+(LA^0};$( zU2%uY^{JMIOPxgK`P}CHQl8nf-Mkh`#*jk%mV$ycw?#c}p;-<|?_hbarbVgaZS9U= zUG7xzVcNLMwkYDu#JH2~y1i$NCtY}O%kGeiyxEw(RQt%ov^#pzRCQ)Lt$_;CwAwbX zh#xEy%Qh8H!m$$ELoNOG?27ZUI7^w%SbAab;cc5OdlBW#j<7k_IZ{pn#}yHyrTR#x z=)`AC^wHC8x#XNSzT;y~8=R^d%|ku|5h|XZVXoT}&4vYaCcYU?cC6c@5D^vr&BsP& zSj4Yz9)K&m>|ha2rM1FcuyC}zgBqnU^Op>as%Vzhu2E6~;xkb1t;6afCV2;4haV2T zc+($OBBzzGTm+Kv>5?DFX4l=O7d@U1)0Db+yWo*dccRiIy0#&%x7XkM)r!4x>-#v! z=F>cL*IRinMMYJIKFMf>?`IFytOo)S(_mPuMZ8WKeQmzbx%1QV#<$dhC38>+7XGWr zsMC+iv08)G3YQO?kXk)#zgfhsE7>^CiSJdRjdb@zHWiGZKcOQOmD&}ijF$#m;+~T z#4zW1rzjq2Di(H7ht@~9Y|+pg*8}wZtInq?rcS3^EyOL{C08oF*gvN-c3>AKy-@pN zHhT9-Cxvp@T$uT*ps>F9?PIf6Lf05ZZ%ZYBV?kS;&T4;}T>L>Pw}gQ8c7xPy<7EQX zjg#1S>Yvi8XOnF|HC0BWQ;QugX0*XD1j_kb3Xk)hHZPx%v)2xXkoC8a#-VLYf$(nmhWUd{@QUYS{{G=gfK%TH6c=gjfV_h7n*5 zL1}m1euU<S%MOo7U(rYghJo5$2+oDKHY;9$rdFUU7l_v zxQvhO(k~B%H~rYih0UIbzkABmKpn8>7!PamH$_7)mgFbtvk}S{DnZz=pmPsq6`c_6 zQb7{z=F*7T?-(?wV)yw?Z~v@6n6I4YZFt}8gX2niu{X`{|458|2oy#*TVqSYG&MU( zecOAoOI)Jzs8(}QN2=+lKbX;brh#|mS;~XG4dm8S1r{#yS%eq&O}$MfL#OH%uTGmF ziGMg~B9Vu^z7$ZF3dUgO!tf*NH>^$TUAiUGC+@KOlk&|QMF!*Bpw7VH)QFldO~ET~ z19KcjvHPv^Gram93R?3&xk-n2Z%*B_3#_M5ps!9`$Ei)3Lt#0nL1;OblpGh8jz|4d zM|(;A!W|T5u7wZQbP|{{8k#FxnCPrA$2d`{A6gQ89Y)Ba=kk+q6MAv;=Ul4E9 zsOUWp?{nWb(~cM@l@9Anl6kTB0x+{yvoS)SOO4)*W)W3BNEMLSNm3<<`6$Q4!8@}@ z?xW-i@$F;wGp)CcUvaVsO+p_g+Y*^pALZwXmiLuQwxivmQci^beA_0(lT;RG6n4Y%E(Vp_mrI+0q+26gsePbyBfhNxH9%R_|rWAT#xewyH^tyE2 z3%zvrqJk_pZbn|+qLnNgSs|j2zs*=tlT1rMy?)$-{g~UM=KVYN7RZ)=&BBJ7hr_dx zDCj}N@ac{QdtQ~f#tC-tsNIh7_(KCP#N-BRN}MJE^{2?_Pg%1CF|e!n6soGGVAxfD zBP9d#Y!*S3FidkPQb?kQUeM(m<|)n{R=kf6c8@-jOUTt|_!nLnncGOkC7!x++#H9c zZWg$dhQVBVhc0tl977r`2tebDDpUyt-+H?k?L&yvy}Z@WPLmIUjm-U2q(g}Ujy%;E zDtq{!`+1kSmqB73Vxh6_v0ahHeFfRjqpjxu(~>U7}AyxfxPIWs!8B{e#R zsr6XV*@MLo3*iK&- z?v7sWg!<9D>Iw#RZ#zsy&9R} zl3Aa7z&$s+?ZE~X%Hu8N>Oxn#mw_4H17{_>WXm>>__#=Hy%$_Q>TH+|cgVa41+eK? z(LjQ@5-5r-3>ABAjAiiRou?SSgpb@(pcJkv?eg`F2^%K*#-5|6cjUijNfS7(r%LH_ zl6V~FmZ)3#ZrpTVG{NdK=ZBY4FNr&oJgrR=`TVymkIGMA-)v>x<2aJ@f=e(La0ujs zZ5}dX#}J$nt0=@oiK?-Dp^D+iytxDkOrj-Z1KMdx><_UJ_dbqxyYVV;w$(4@hx&() zpX-{Z7Rq(k$QpBVs(BRR%ab2*^Z^)pqv|i{4FPeCPGJ-WAniSCtGio zy;v^qB~M{c44F?opI>Gum)j&eDw~H9(R*SotC=V{bhj~*lJKE^g=0Cn}KTTHX}@wBu=YpgNyGbNc=X?(|)P7o=aB+fLtb8LE?2@X3Eh@5Wx2 ziL`&cO$9g)4wY@ZH*)Ll+^NeK9P<*Rx1$&6LqirO#)$o@s)nPyPZ6o&5j)$(kBpkc zzs7lu^NJ7OnGP?LAj#A6;OooG@2671Q^DnLMRN^$9E4Zrz1s!;c~vU*0J);hZffex@$=SW$2t@TIC9 zV^Rby>F3SJkp~GxLt;UpBjyF>psukV`=3n#c7Bgo4+9BJQuhY}^fc3bsuvTqx2LqH zI2ZENw0#;?KirQ@^I1JV;ap!QR94m*oJx!dS9^Yw$e6Tf^2NnRIQP{Id`lRw`tA|@ zhwN5xn&XwJgd&-$tC792Q2d0tpT56k7xYzCAZcMew@|qxEEF2@>E+TiAy!T+xQx>6 z?mHt@0>l6VB2!>ZmXsOCrk>BgtSCDmyCPd%`G-?u)S-ixX>^n&zRH)&=I2-UY-Z|i z7n({goVP}Yd%j_OQUiuNI{JLs4?g-*Pp;Z>sY7{wvQ@wMDZ+TTX;1c{|Jm0foGn^s z%Le7x4u&Zi0yZ%$ru#%Za%KA;(_CTY6Afw6nI>pM_kc01vT{LgpH~!)s`|p0Mz@pZ z){IbrJ`Xl)+Pw7D&b?vC zn!5SEDaE#zz4=Sm_i0K7kK^T6!%5HP?mv24n3)Nt_Ow~KFl6N^q;=eQ|E5C9_aM)+ z-@Ge5@D$Gaiih<=``ueQv~51^>Jh^&{6bg5jqo?*noV%WW$k{CBYfym8lSXYEbDZh z`^Qxw4ro1fdmiDFR;sESNg1l2i%*{|{3P1aoD2}ME?cp@X`yUXUOS~n$}6|j;ubez zihUIrka#tQzihmB(qv7c;dyrX#X9+jPC~2UOOSOggKx(9=AaaCAZG2T#_n{j)aS}j z7&2+=Rphc$QL!JIz0x81*)#a@=45&O^Yg|xdIa7EJ9Y8AP~oFj;w9Y`!S?&c_5P@6drZcP3gfmJ3zr{cS0sOl zi#}RkjL1TJDm7lbcvPR=u$`e>Xi()tb}E^pQ@oN4U3yq(WMVIQ0#E8zQ^J{N$>K>` ziuc|SqlPK?3FBq zV^oyit_3P!Clj1v=xY^^Zz&Nd=vv+dnys)@x|9ob8qe^$h#WL0kO=z_d@h_J6nl9V zpnFCoUa9JmI@n6^1P@Zi@QOn~36Eygo`PB3S|A$@AIQCar$)!XpSX8mESNwDR;&YY zSMZ?NSa}(lsZXTZ>82KI&?(f%%OM%F?^9dj`g2BgZh|%lyJ1v6=Lz{>kQ#rhYug3f zs3$?Trz)%=WnR|+#wh>Ppzg7HU5o=sS zx5|av(Dz$M1jZcZwnyzH$7@;f_;qrxw(xc@2u;E?s3vtQBdhsJM7?Kr(>A$Q z`{44m=8YL#^E=y~-m}D3KaPeYeCt{1Qb=&^_;r**eXs6}-MKVlNu$tg!kGtUV0>Pa z*PdHvWYSk=F1>0w2VU&(3?njeXVye;3CmKqa!l9>d2^#Y)=7%|nFaSLo@Lnr1G|4} z{qXTGDe?!wBK_3^=x8vH{Zv18<+g!66c}_d+@Bi)G^2L<%XBr+OX|DemD9wo$kj!2)0JNq}0dt3uU=;ep|0v>Zwll!h2_ zT0u_2;VDbsz_j#XPcJ3p*D<5F**wX3+635CZ<}E^Jn*P)6W(Rhh~c=&r^vy4GW@af z!|26qh7p!eNRl*()y_mtUiDXu77JjYDIP;=EQFko(1lZ{BtN7o)ULc~lY1f)_QIpi zPpYfy_>LhHYya5_ZW++>CRafC;im2BeHC^?jrtA6pi3ucl2IqkBK~`&RJmcvoM#W7 zF~o1PgsWr*&G5^%|4iVbCibpsx!K~)mXp_ zKKyE!>YUg(J@=F*Gh?KFZgOl=k1z1a#Gt}9^g&DJqo1rk`#UUBeN+0;&%3CI>Gh(z1e10-Yset z%DW?D8j+s_@{O~P=M_2c%QXh1^wi#X80{}R$tIY`64j461`0|pk7l6-%Y&4d+J~-Y0>x?w4iA{=L_`Z^P#=I=36nyf$LafsL zac#+FeEYhdU33AO_avrE!!F$CoQJlhxC0J5u5RV=zuM|)nc3xao?7oIWoQZVW!^QQ z_t6igpFjR)ch2i?`l@rdXHnPRx4(OMCU1ZEds!+EEIm|Da%e@bes5Im{J|n4rcX-v z)q4Bu@4FSP#Hq)OoO^*5$JqWmqpLfmovM`ZFA0yAyJmOWcg&A5{aeD?jxd@zcWcpn znRdPC)1HNW`G!%`wIn|6_IPn!h{$IqFt5E_chL~-Gnt##BCbCiM}lY9*`FKjHLk?> z)~_~FaEhtJ8Q{Xb-D;+w^J$#K^m0D z76vCh7WT=sdHms;;hhb}Zj;%3J_)U80t@W+{q!{HcXx>h;gljtRxJ1_f{(t$wA-5( z#c7V&2av;Wi!>AUj4wU$uT`NwpRl8IB!DNqy6Jy{2EUAo`MlZA7+!P0DC%&?#>q&( zR{4dEGlDFU)xOi7l5r%wBN*ychabF}e8NZQI3yxS=N*DWeCGb4)Yv&l5lx7pA_Icu_@PVcH=}_W5zDH&O^k0;R z-B?dmKF)?aWXl@ib{mYyQ5@pDTJK&1Qpu;X`A0ER$;5|}P-zGUDP|gGsG228vl=gw ztpSYbEgl+%{3NZytuknTubUB6Qu91ZKSNnAOB&tSiX^}OA-hZx3ncW0@FzCB8FfJ( z2w;>1qk`peg%!H$)zuRE)hyci>-4EBbin+9*ngEFls@r?G6dr17yYf)i2hf}0HUOr z|D7Id96e;$0U&w4BZ1j-NOFQLOVd}OlaoMqnw9H)gEoFlE1Y|oZvQ7Fi7n1U=~!Zr zsA$UE*G=*{II7DtWiyImJ$UhMYMyGiU9uyQk7-`tKD#&a(=}*XxJ`I)5D^>J% zZ3L>Gbs&uMDx`Y8IkV`0+riVTh{-yb(+@QkiF(>!5f^?`oUwSh#U2#BFuTJOYLyjT z%{6*Ad5gu-;DN>WL8$Vazqpl~+Rwwqv}Zy#&dcf{gVD|_Fwx+}J3pz)`Wn%95;^VT zo-7%4eVgbla%9EQRpxW4fHNwEwNJWnS&z`cs z#5`^wA3q;}TM)z#01Ar=0D$}g{D0_p%1&Sy)I!G28U_LIUE9exTA)-xQGSu@Dr$bH zIyb+7&@~_jwpW5ct)C)=L*y{mkhT-V_Ax-@mp!VY^t*yu4pM-F@B>g9-QP7klv?@U zX#5(^+1%+`snkKLf~ZJcqq1N}$hGeIKSc(LaCDM;3P$`6fExIZI{zO_`DeHR*9rMW zEO|TR-3F+gHGo$SYA0jo2>lIQd)9+mIz4qnilPEQ)G7ppP%Qm_y&wS);P>~hega7J zuNof!B!ZHML87Rm;GeIMkT5_5nJlFCiqwsT0U$n<%8KkOfU@|XUJ#J~x`&XU=yeGK z3IPO!P+BQSKmfomEPVYH5*EEKMTG^ganN-bkgGzLLdabrAc`90m%snX)Bo={DpJ=n zHd2m;>)Jt47h3?Rr2c(_{+F&O;rtg1RiT!s{ea4+)}Mm7GfGSUn<|ZT^4AuZLtdFd zavZ>B0fr*r03Z)gkOu@{d+Ow5FUE^h_>rJB0&M>jYT?KOM_9A}BJ@K9+|t*$K|3ku^gGs|l#;Qb%&%)waz literal 0 HcmV?d00001