From 42b63ab6c52f07cdcfd87f7698b6308d8acb58d0 Mon Sep 17 00:00:00 2001 From: Thomas Ulz Date: Tue, 4 Sep 2018 15:38:23 +0200 Subject: [PATCH] SS requires free input and output sides Similar to other MPS types (besides DS), SS should block zones at input and output side, respectively. DS block their input side only since no product can be fetched from a DS. --- figures/bZones1.pdf | Bin 10855 -> 9239 bytes figures/bZones1.svg | 4 ++-- figures/bZones2.pdf | Bin 11081 -> 9499 bytes figures/bZones2.svg | 7 +------ rulebook.tex | 10 +++++----- 5 files changed, 8 insertions(+), 13 deletions(-) diff --git a/figures/bZones1.pdf b/figures/bZones1.pdf index df6999477535e885e3e7e02778f5eae94af4144c..826ba62a8a10d57319f2d05fc5b7b5bbb9b278c8 100644 GIT binary patch delta 4117 zcmZuzc|25Y8xDm=w$~C;CSzwfXU-WjQhZT30qS*`Qa1AK{LWhI7_+iKLTT(Yvh8`#WcfS|WRBe~t@q|(7X+gILge;4^+ zl+6k8@zxl}Ug*;jB9^q>pWcE}iq7`6lSzy1OiNFAevacWs3EHce=v*XbBdLtbEZ^= zP9ouewMjIa56?RJPdg)4E4`Mv6B~8IFHRmOYB}_I4bqU7A6_<4qNMXZomz%!>^BT# zi3PUhJZ_bi^fFcVX(b2URdG%2D{Junz$0gsIC;Se2rkW+qsU$Du(aGrjVvB3OZc#@Y4PR`;%-0h zZyneX&Qh+P3;P=qU-Kt%JTG20oH?Y9qa{h(otjOmZ`gaH9|}C46Ns-w3PnV$nXfgs zJy>JqRD92YaPxDO4h%Z&=5%sv>+kH1fRO-l>xo1nAw2LO6hmF)Qm5LocC+H(Dn&MJ z7JeA73c?T)gbB)o&4tHO->{>qa<}hb;l?7-5EfEZ#$W*qZVRUN@A%4#1poj=Nq z2X7`+ZQ?8f;Ll_N9ti@!w)kHOc+T%!@J})Z1_9No!#fpOc40QtahT0?5ZGc#R%IhD zbCMt!1`rw=h<}$6c6Ht|{M284LYgb<5uvztcid>a2{K+P`wc7q5^}#I>i}QOlG*n2 zS6&s$R6dT9jF#hdK_>G*)H8GJOH53>#X2AeYHQh*N2OA%;>^s;&gXjXVL_j_pEBrX zAJ81=F!ngmJ8j(kdZBS;qielunDi-4GLN$aMG5^nw^YL0c>St@t3^lPx6f;}XT02x zD5up^^#gSJOsXb%ax^cr$zV=Cn9k4Xx1B=3?uZiYFPklk>8Q z)JxaP1G0TQs~4PB*kS}w;s%Q$hDoV`1+T}|(3KfR64tov8|R1^<%Fyh2i0V)!Ge^q%mu4Z?bZKcZiZt8DZn%%=&yM z?-#l~O78_DM*}5K@@tFEV9RlLzkhIfX4z5%`4{548>I;aMY2J>p0q0^9oi1zM@RKO*OU55n)2-d zX4sNy?`t2w2Hv+@MSppDM*W96ak5YB$3x>EMWn+D3AVTFS4qJG+CG+4eIeFvAy-<( zrJ3oF!y{(%-t}oR)&hHrXwLQIfr@r1Y;@%g=>s>o59Ag;S4~PQRa5BqgW9jU`awlk z%HL1AbELqf44$gaGOO3GZrtfJS(`hZD zeC%JuKA?{!ULff)a;0@sKuZcPm;;OG=8s4i>Y)*bOTFcTdt88&fO|)S4ISo#(leZ| zRK#+=){T4dqww(z-w)jqRfEtHPG^@yMR;Y3n-&E3ID7{PMo{6}%Ls zTmc`Vf3e@7f~{%zBC7L=Udf2KqlU-D{P-%_D2zAd6)9!Egk7Ai6fL1nMsV2LG2@oW z=K>q|CUfTnM6eX0R`ggwK4M^hH*2=EdJ6H2weqF-dpln^>9dKGDkWkPIAR@Tr` zPgfTre_}D>jO>hGqS!aIbljJbv6T;mz6Jl;Ti-lxlY%bAN(h2C)ehQEoXlbD)K=E0 z*2F)tTrxezaav1pf@`H_xoud(C~hhC!SKPe<iXU^WPXE{3p@N5YpIT(%hM+<7J_^23iYTlv~n&;ja8$A*n zb-2(KaeS)FcCL{%d^EK`Ty&vzT%F!X9t9#9Q=E>b;dvu1o~Dlv+Jt3SG>(*quC(5^ zo^!qba8+nLnC?S%z(hV=CAe_pr!1E2xid7|OS%Kt*49p2(U&ubG#dBdY-dJhL_-1G z#DQLW|5U@*<-TCE6}?-8LC(Sa`FVWD?i%0aX>_FTh+sKx{jR)Nx6$)%jz#ftS+Weh z>iMg-F!vZEO==vsvf6y>S=(zf(_?AKeSf|#lyEQemFrU+yj$7j8`f5|$M8ADUt^*r zhRpH7w4WFFVA_iC3Vb4>)YP4u8Gb5H4b-k%qyub!}!a

A|x(*Yrdp4{<>=cc6@z@JGq?w_$k0uV_DHn2ZWC;CsSfr>uI^ zAv4ZLv|svZ(!d;|Jo_9+!|c3E(+^#MwuESngnc4Aa@clb*a2c5MJYl? zuVq$`$d}Y}Bu`@J(a)IzbKQx&Z_l$nPU35wn$&Y3+Y!+v^IlOd4%DL~c$9JHBaskZ-^i>y_#OM>LuPl4j~S`&@iG%m z%(cDL^!+e)f)qW~WZ!&7e(cWkw@O}H)6+kvD+vGhc!dFRAhmYCK8f*eu=(cpNCt!O9MOmqU_a-yt+}ZUNzi=s zVRFdd^xGffDo3XTIA4-#9G|@pkWh#$*%^I2Z1nO_sMoN^oarJ>H@5I)0wbM=eXqHYZgKgrVL< zA!P{|{7PIO~s-*OORtT<2kk()k!2=joO142yt7#R9_9_fEg;c&p_r2m^yRXh`h!NJUCKmzvnTnNB37lQqV#-{$} zf?$YA1jPS?_=~sc@OKdm2r}iuo9$xa!61`C7$#wvD#73|OhgC(nS}}X%@22L{ry@Y zNR>$#f*=ADPnGaXm-N5MsyHTL7=W2X;Qw=opr9+HJiIk%xwN7oE+ch<4NzOFyR-@ptd`=^Q7Md zNeDv%9DK$h7fs1Wi>oKng~C%^Wg%8I;a(`EL3h22_6$NDw5rQpB7sp7VrN$znxo!O ztD-`46DWHfdRL8(ugPwIkuUm6ycjoORr3B`$z!VJ$~z1tgcbFU7r~XQM)M<$y4(bA z!B8EuFxjz%4@Mpq?5?vU^V&zB|LPVviX|#N0m@S>gkttNzFQ8Gc+6NG5*n}ji*77u zM<BL*+x`cpI}UU-&$Ans9niF1K`* z;fTuXTLoPm+gwVckj9)xq%T$6MQPtY$Z9UfCdY;yUY?n<=PLBj_BkSgaPD^AK3+H* zx8FOD+s+^a7y|zN27|!}80vpe7(SFm5id>APl3S_e^Fc^XM(`dNH7!$k%jzT#OqWN z*nZ$-PO0SV#@&m5dZV6j-tA1?aj0Qwszj!=`6v%vlYL(yO;5-70S2 zGj%|_?h7f8N0O}uoh_MsBY)}AR4DiT2;25PNKzJe`2=0UV1IcB+4 z^N+)3o*LEU&54l#edF6}rDP}$5~zJ^w0Z~dE1X&y5b9=WfA}h{xE>_~*q@oRa9n4B ze7MQz88YSE>=$Kg`f_Az@xVi}H}To}5S@rC-A&2*kYGsY3lU8lZ0tNSLBbC0&)-eq`b?h3DSpFN{G)s=hRHM)2`r1RY7wm=bE zsP}E|k)lC^Djl~iXh<@R*Qp4-vIFzZ>KA!)|T(d}?@d@fz3alkNlo8W*0j5Zq+ z530zwvSP`A=?~+H=Z2RZ7kIiG@eSh@F;;8w0epSm<{BPkBxY2W-bm5YLHB)Kb2D6k@NiBih=Z|4QC9yj{jX2%g@gKw7oN2UTG3E) zMFkX$CDQ3NFl`+S+WjSV1)sRd2b6Vv{(|#yu}{6^3FbC&CB0lBkSTSpb=h;$=5j9C&z;Tlg=@x0#}p z**L0f7HqgeLToz4bgX!*7I4VmlQ6I$;AxB)8gcbph$&P|nqZ*~2Iol}$clAfA`jxT zn;i<&$Q!w`Y?*f@tJnR$JoDN!2fpu{kG|)Q)B3CQmdHHYwb78&&#t&ao*R_LI%cm1 zzs*!h1ol0-C7G^NXSCXD&fy!~otcf1xzJJJ)8TmsE3jx#hJpJ=+X98M@7w&e`+9#7 zCbFukCTg6V>gsOx&eYRO+l&7UE6NflSobJ32#~rux})_qcfLFlUiuX30PJptz74Xp z$rE`cY$-O<9yXocPHImk=Ig(>x3pU3=@CCedY#}#E_HaTDs<45EmktT?}6B|!duPK zVM%SQZ;WmfhdigkLp8uGB@XH+S{q{z6Xf=WoeS*c4);=!2p#tHdCx5p%-tX>d)!b- z^3|FvaDOgXqMfHnuB82Jh<)hE*B?F#22DnlQO*33PBT8g&eu|XUol#Dt4IoREI%Bv z3c7RAxHol5#as=c#ZAxWNKmq>Lra-eU$?6KRmoZ)&T4_{V+JEQT z{WvY$InK+gFvL=j+L~~wt&yxpLo@Q7vgmeB@{h!;UGN^dMa4{wRM`ok!=Att>EQ<2 z9lSit;tJzA&-bs~d)x*!zkPGS(uNzQ0^= zh{fMgIcwgWaD3$`1{(_BmvEhR-MxJ#xWmSXl%8F2CXg3AC~!=UHsaaBZm|$~m|!k5 zX0>0U;y)L}0zAeq4D=`5bp{cMAADT2;i*-A_mYEAq`*0_7KiXY>!bA<(s7ofhw^5A zfdr2_ixjI3LGwqeQ2E+j(<20F=i^-U{lI7DA!EUG@QYDn6QHv~!DPfH&aKyHKel+k zR=Ep}37U}z;LS9dL8QN%h_^1$zkO7b{g4=?D7q+T1&s2#JG&Mf@3az>${cRpbQ)xv zdTLY6#pwK0f?aqdDMV_?4`+j zXOT;SZ%(qnMU+>#H7EEkHyf|`$S2_M;8|1NWz;_uQ4o(VWpU-C)_Rwv-_bk3afe6V z{6cBBY9dg??#4(aKRk9WOKFh%E1NLKRjD{i2?+9bQ+kC7?p_?ojd$;X+= z$Xw{*BpyvauoxA(d?!*wR0V5`Pw!EG|21u4f{X8tL`4Rt0hY^%x5WQU3M%q}G9u9n zqek!*)49E&DJkP6l=t!mZK8FXxeghnH;s7?@HIqZe-gnT8sd* zT-gpLZ6OLjBt2B6dCSV69wSn!7Eka}Po91Rg5RVL>AU%%Sgo{xl`%Hq4#PRE7y%p` z&X3@J@3&M9)W9WdE9q&OR_b9WY$+*W$oS@)u1^xoWE3PMQyQM+=5c zhplP6NR|GSrCo(Uh`yt0!+**i}6ieI-Shwp&#kK}NsXI#>|$f?nvu6q{B}lA0E< zb zX)>f_mIULr;B)iCTIfl<;MUsa4=8 zAoSXFz$9^Je6*~|W5e+x^N3AfqMV2;Q0){g9}KcoKcWs_;*k^AdnEjdO0Ou$MrsQ+ zb*?D_S%gHpL(Qpk_}9~_yNYCUjw!EKc?NL1%v{`czr7(c({hp7sCQLle@B6VQJ7X_ zK?z#>_2*Qvu1OamZyMW=&`nR+OExJp$L$si>&4h=#N!LYKM|Z^nlc-v=S_8h#mvwS zJK2)<_fNPDK*pVE6znU>AX ze-P_;rlPy5`*Fe@#4}D?T)SsicW_+zr@=AvHy?ZLP_(A!D{15OE{puMzC?K-xtec# zN$N|Fj)A0oGU+(lxl#E7r(EaZ7~qdPn)Zx9-k1{_CiTs0;+&1toQ(pDe$Fk&!j4qB zB6XWuyWVtn9-dF`$)7D*oS*QulLr}`$w&%wDh$QtAZ~Q5muOxM<{u3=HMVZu5g)BB z&$voAx^J5Px}$IbpZGZKh*Ip3XDI;hGyy;QwA)C^o?m)b7Ym52Bc4+e03gzucL7=f z_N)Eq5Kjk%)(DTXuRL0NtXWZO%isRPwj!EKRjvMh#`F1km*~Q1kJ}vRSFU!W=qL9W zX?Rj|x5r#9?s1q|rF2cz7Q{bqaujW_PDrtc^1Y5@H(UEz>3!(^Dd?A;U&f^u&sWN9 zUCLujeVP21}z`F00K+UFZA2zEAB&KPGkn|MaTb;%)5Ly)8M|9R1BYCDNXBq<%1p zCsT2ZX?j%V{F|?I!yLm*!+OKAM|AgTnudwl9@Y z>&p%sgi+>MVdkTRU43(G3vJUmphcM{6y?n$RP)^fr_-%L=xu#Eo>%T}#%^}I+j_kQ zSNWzi#22(>+H#}!Xo$~xE&fbNn`Q5~nC^ z#eearp0xbQ#n@Zf&5biHBr zB=-9;MfINjBnXGc^YBu^Q79Ci$fE&V>vnGgpL?@zvI(WE)Wc%vS0atDW~hL5Ism40(m zf395q+A2@QmeZUn_gb*0w`5?;BtDL_p7IKt$C$y6P4nc(y6KF4Y%V{y1X~g?P~+HD zG5JWZ?5;4I@tbw&pZ9L=NFSu_nzPs#uC#GP?4>m0c`O_*kwq;8rS; zXKdUrXUP;0{J$mwewmkp0)a`qfECfWu4SYpbpz*RXX9@3+f0yC_i*=7w{dfF4Frq- zjpK0__*sxh?1^mv`TfHWgPk}5NC-aV0$3ahfgu0HUBP+V;@o|}GB61C51?w}seyBH zaP;|a^3(-?#($~daeVxgP$&W)!KY3MM?&#~e5&{vJ}NvLzW@aWe)5T?M?p|0J_qEt z#X&^#E0J?yQ3x3LkCg#-2ZR1>P7**s@Nr-f013sMI>Vl%{U3ZN3(L6N6K5Kz>~41TYFR(!gv2qXYGRS67@K2 DS or SS + id="text186">DS (h)Ot_9l3*3`@D`>Zc zX}AC9aG5pp4)bj5o~y6U27BWE%9@?W8y3s#4!x@9T;y}E>{3#A`411QZ+=rj+wi>zc;r_8jm1P-IJ3WHsCO%tO=m%q7N= zkQy;-Y*!J+@WUpL`^?H6^%F*VLsdiK9dXG~ogR}pE-|s1Q70`=8aV)F+q#z>Wa8}z z?6}dM-pH*>TH7x_Ul@<$9F5GAS30pGAY+^0hwct;l_n5^2Xc+0mpApo3OD4xII|TQ zfbk+A$B+kn_55lmOp=TYv&a$i9MI`0zT5Me&(VRLv+A!g*s34d*M)D%u)9S4A+6in> zJh%8%i>eN7)MM|M%SAp=91NNk!+o=sYVemgsUcevIk@#>@(wO9dj zVYQ&aOTi6u%E~!rPA{uheDJDi?6ny_PW|q&eUQGiEt!J(;G1~v>FfDmypwRMgI0lJ0Kt-x=uw)%207xVZ ztgH<7^}FV5e+3+LZ}oi0)!V~7Dm#0jftX%AW;(_Y5+io^9V6!kE#X zZ;K?VI>SXGq}UxH37l=(CU(PdadD3r$GG7d>edzE$tf1mCZ^>#^W0A|KyTVC=+c4r7eQz6{gz#P5Yuxd7+4hla3hn(g2PO@e zi+=CtWP58f9SYFWW#CikmefX4dynDb7x*)Yefb&+7$`qF=rbU!e4x%BuvJJ z^?c~vUDL<2U4khV+|cDO{Syz8hagt>RL1z->IJnN%p5H1?UP|?X@9YZ2*&H;iTRnu zN@aT$K6gD_Yu4;{K#^Rcg1YMgdhyA=g`=~I(vcOBXPRh!fei&T!W%dL`wL68NjZw{ zs{uPy>OD(y&$>&tz1tIJX;mmau>2KWJ*p1*G*6+7gbk}sWmk{`$vi({J+oID#QZ_5 zbfugV*TIa}S;ciI^baJUy3emQydTZrMNazc*6qUy%FC8EhC9zs1ju=mP%a+-{LJ>o9`E#Z7qgaUBj~kH0y^aTk!p3&Gy})9@_46X zGx_4L3lhv5tV(#xw26}x)wQ$UMHpI>IIgf*(vRJhoL$e|z|1k}Z^CTS}MjDS3x$@4^ zVu0$D$*Oxps)Qxi-^FBy2I5#{uNW$#>WKL12dt;_ie91PQ_B=(M!bODdrn?JadySW zc|3C>vW&`B-Cu4o`u4$-VZ)6%hYU_AARccuENO1|WJce~G4`Ts;{unT9oOHfaz&lq z#Y|&5D6?AxZEBvlRwDd-3dWxq1*UO^#!d{9%_hs-rTqsTVTnG^jQsU%SN+n`9kMH< zj*eRu)uW=bG=cdhuDDX7*_NgJotS6GUfbu|;p18~o{s2^X!xe6S36x$ zR~WR=Qx6vqGxKh#P5t^X=rM|2m&UrJIxFV?AjRxayP}MXp^!+{qw!Vrm39;4YY)`P z=JoF%3H#DrQ+0Z2LoweY7iw0f@Yxe9m*%dlE@oZwq%5c5CtLWNpW=rw?_Tamvlp`7 z$2Pnj-_NLwp3hH$%5s;NSk|7>wQK9<-Ck1Dy<1}(Hv1x*JS0n&E$0DkSXcrZg98KL zg1Pn3V96z~IDv0a@#w9o_dB0(!)xBlkG{D)CivZn66S_KR6JudcO{p4OhaC|Mg`k- ze#7`2^EGwZIhLK;?Vd?x{pgLT=E*bHDfjixgEmxeL zx9#%G`cpiJwurE{U7RCxLE?Jp$tM%bLxd+VtGc>H3(9u78JWyFzTBUl5!zUYY+;6e z`S?QF)A2cXs|AI|M^+qhpy|J&F|P~GN)ja~)vw<6 z1mPp~RY=jS@`|h7*Wnk1Th9^wjkT8iiISp~+woZPn`B7==r;{P0jQ!-L^oeDf$82? zQ?1r`)XX!9@Zqvc*SGA-uf0!&2wfg662_N%N)5}7Kdl<@4C*O9srM?yTY0V{lF0nY zc!VAH$+#Qr=G(<5*Fww72)UXIdU4qDV>kJl+0Iv!HHs3kFtBOMj56sp(N*FoXFs94K^Gp&GmIbn%K*BiJIwmr%)39xaz97W4@~dLV{RF*o;!<%YFBH z7E1J;0aHFO5Lq9j_++IPDX`=}V0Dxb$z2Cg3Ntj8^_A+K{BAdk2^47Kwifntq=?r< zl2c#Q2R+ob73}QcOcz>gixZ3$vOm=w@jkvMK*S?c-31Fa=F;4d`hL9>%F1?*pze-jV&7P7bAZ+7FujtgQed;c{L;FMhXxSI*fp0;G|3u9YRW*R|n*H%$j0!@?_r4qDfZG>_&aI z@lt%qAw~&Jt3$ZClsbi!Qc}R7@!cQg!vFa0Oa*6z+e$46aaqo@z8B;jJPJx0s8$D2 z7B@?lDkORMX;)hYjuj7#w>~@^My29jftxT~OgHQgwYKy?a4PMe<|n+3zx_3 z^bMib?&U`xVVSVfV-XjErn4pj-6maDjMvFpQAKZJscCFX^Cif%4N-)&2Fu`BdLHJ- zb*k2Ji)n6n@M-5l4jk;u_3~i0=n$#CsEy%b6q&>Mg1_*v5qw5b`2w%HoVilqjYc0h z*xAeJzfJ7G@^)|sBViC2BqPu$It+R6GucaX5wLX900Kj&3Lubl zlLycUI#mFL!~K~Zz@g}d0^opOdD(uOG7^B17-YDV=FV)t`l7fd7j4jfXktfR2Yo|34UxE;|-L{leIP6T~91Fw%yMJ_{BF0AO)( JO=B(a{{T3h%sBu6 delta 5808 zcmZu#cRbbK|0kOWSrIO-z3y^{tgNnGMr5yRuWV6ok{OCi5-EFU6OycukrBnm-a=Mn z`_bq7{e6b-c|RWSa~`j8p3n0-=lpS=$*LWQT3Oa2iyOOpV5R8|=2=e3z2UKDWl`G_NJ!ReKYl}<*F3N9N^%iu4_U)52GV%(wQ&?cF{K9m z4AKC&Kd6yNs;3ESO0;>n?_GG)AEvn8l)83!eETcPydvn@+$5P3VdnrBR{T1@W+{hW zBIbVRRkZ(nZv?*I0u#^M9IiH9MkesbOv^g@ammB1X|N=>65DKZ7z4TYCEDPflu`Rm zXGJRZ23*u)tn}jMs7Irze5+b)&pi4PdJYiR+$-lwkO?_dUozPoU{EimiHPuwVh?&Z zV?jPBh5lrKrWG`w8cv&vezU%!!2UzzV_5E5N$JUpd&@evSkr~aqDR^Eb%;mQn_Fg! zkXePKQqOPdv3E7sbCI}jgUNOJhvVtPM0vIzd@r9WTcd^dC~%m&W?dt~V=~lVJbDW- zSBkhuOtb@Q@Q7&qt;4mL^}g^!nz&wpCX`Z6ZnT8ikHYSN6IF^e%V9Wx`Jd=*6%ly!+UHN z*S=NO$~VhSAB>o3d&zwXfyZ^)aD%nBDSeh&`e;4cw2z1e@8AY0aW2*#p6)mc=d+Qk zr2{1b1Oc7(AP`6b4gIeb_8+U1)R{wE$=CA+zW%}wA~-~%{0)&h;Ux$hB>{p;K*Uf8 zBn*PU-=yL$7bRgQyaY#pL}3UNN(_yH!r|3>=L>{SMA0<0PcUKtV7h z8YTvjkibBHn}3mOT%d+wKroa9QVa@3ArR#^sp`l92^0)LDI-JqAM(B_b7*^C9ewWw z8EI+JXN9ese8Ug4VxciOo~O=1!4avAmJv3TzK^XT?NlumuUS?$lfW8MNdz%i1DH-z zriyugkGjIV@aM9&_D}{gSiJoUzDIF_>e|!x?J&7@ND|_5xasHnad+PLJ~*0RZWsp^ z{MUwmU=~t6P*=za7Sk^2f+~s~S0#OxLc9n@c?q&>?(00EH7)HYeQgxJyH!xfVPK1L z+UJoQ2_snXzf?H(PEuBOJc#u{s8vgkUJ?6RT{JUcmlbx)i@VX&*q?kuoKAej`0Id? z8@7`0LtL0|&&c*_5do5EgR*67sB#DJ&KqCo<>{nv33(G;P>U1=Y)Ga}?AGWZU+z%5 z1&%v>@D8^!cs;l^f8Z+A9krzScmPJi_E6hwJ8z10m5|Vo1x@ifCQs|S|mIpe~iOL%_vhmyv?4KMMair( zU&`mo!5fGW_xKtcVdrQ4Hmr7zI_WR6bv7p5?VJzCMy6Bb-}mZdZ712{0Nu^^aR(KI zTj@~*z{Ho4INE_lyIHo*_xQSz(nzz_7+;Q_@6&aUQsYv~if$)rs-r%C=?}H~U@301 zg~{u9zP`m8_lE8^oeIe_AhKjv_rjyBI_9iYIhw^4q6*K_J8ahEUgrH?8Uw7xKr zDCPp&go^xP_A%rT76kEZMgzD4yh%#`* z8T6Q7so1EL3lmWSO{&1*MbFsYbuKqOME{_Z+iYZ>bo?kic>pL|@IZ{e6&-dElkvee zSBdaFOS%=^u2AKg_uLEjJ!9a6%VWDuq^EB5rtkY? zg`i*0Q$wK?nHt@dZeu2|h|aVOv?zOPsb{O(T@2T}b}<_66=4PBiG6DJR_p0LN*YbC zs2HuXx38(W(>+;BC1NA+>tTMnK$3ZvOdZ!oM{8${;{mP=3E-@Z&z|SXy$+S znqK$wad~4Ugeof)hh374Sq)0qsPdLs**BjPwML#BwWbuG0Rd6H)&Ax8(hK`-PMuGZ zgB_yX-SYxXxk=5FWSid;bYWG(+T{4QGZTKs-ROXKQOrxHVV{eQ@*H;gC5jBxk?-Io z>8~G~W$#{TFRpDoS);nnwidh4zBQ|KxRdk#^6pEpFI(F7NwWO$4Y4hL2VBDKBmS6U zK=y+5)j#cekfJ(f1q8Sv`bT@Om*(LM%`TI{U@!KWT z-c4rB56~K$Iu$cf(O~IahKpT-{TkkZ?5b%@&lFHnltw^bF@Dwvn;cxhiyb4cU%#k* zV^Qrp8;%BXovJWMHjFUdS0gO}R7oiLRMoztjF96Y|J03j9dy(K=|`!np$k7=uhm82 z@5)~?{t$bjcpQldg6|7DO*!pak_5C`=x(HBl#=*e1@&>A5TbP1wlG`t2|Jin>o3H zY|8Y)mo1W1em3!xtll#?Mr`bSovwV~_rf@EIDi6vEqr*C@)Az~L3so7*4s;88$I62 z--AZ_PYU{8P1B!5q_mC3m=|hU9#>_Al!r_6&5N4>LswlKoN`Zgnv!ISZ4K|(_c4q= zv#4aDc6cVp2p)_N6rOZgjiL9Tx~Vc5VGF=581#==-IH*w}(vZO~k zp%CcK7(JXncK`?mXGAZmL6i3u)EDF#4Vr!;?XgU8BmHsXj1*J$XI`QHi zbnqZVBYBsrr*MzScXtIjPwInfQ~ zzMAWuNY}x}c&Z4S)N4xW-}C8prnZTysXmx~k4L=Z9D+vrAHj{;1Un z-?8$Yk)h%S*LAyVbb}T>apJsAK&5?zWB{e9@-b=f0-Lyi=40?1V$FPi3*jx~IBi3y zM7{*d1!_#1$+?zX*^w`nc|vrn!p)b}aq`-(i{(1+WaBkD-R>3M{T-=`)L?SnSs7^c z(y#FX4gHR!>bd2tQl#Ajlt&ye@k+Jsfex{Trp4w=F@^&t;Gsk zK0RgCrqpXszQCAC`vS|wu5ZP~y%Ef|^uS%btLfNOJDM4)HE+(@@?LV@ti6qb^B~Hb zq_nf5^GWPo#0zFCT#H*rXFzoDx4vQHcVD}$k>mzf%E+TNuk-#gmnAw7TFJ4J6`t!- z*A}u#*f@!BcrVA!EZ%-N4EW%VC)`3MZcp_%nO%%YphImPu1OQ>?S7)K6An)q0 zwlNe?Xcc&faryD;6P40xE6$dmR;3Xv3QDyPQeV!@I7Z|}xLPuy-Z)tgp`PBSCS!Y^ zwLR=)a-Ye_EU{y}IydHJgB@R;d2FIdxYsQlqtWWGGLJ)#Z~jM`-l?*$UM?3~IhI5k z93_|z8I3nS)4yGkzz9$~Dd7kYyj#f_FEa`qVkFQAT-qhTm6|5WL}q{M6FL*V7rH_< ztPyNP)>jnKcwK2)_!h?(#(h#}s$u>E__sHeCiPKEdt2hLX{tLlG8=m$VOjx5wlwKs znu#INEAN&l2ABqD1~do6jwv3HH4KzzxT=|*^o-S2t&CI^OaNe+H}C^>w!P@6x7Tgg zlZNP~z;ws4yIRJWM)C$)piz!32TY^Al3n6r#AsyMX}(s4D|=TI z=ta3@(0IH1xSzv(HHM_H*|dAa*%Wzs4%TZ@(A{HL;yoO0SCF&-&q`eXKsU1iaz!)E zZd+Y94b!_12HMMuN&N<~Pi>WhrLNFyx(T#%%HD2z!Y(>x#+V#~-s_{|2kgFea9%sE z-B|qQ_>rghIM~AaXNkq`%~5liexFBlH};iT21)?mjdiQ$Li=yQllO?9&@@PhTyos5 zO)6|`pA1%MoosCqxizDl5MfPyVLVxz)MeTHXf#Nq_!=PK^`(1k^XI@`KgT<=toMfy zQ@!i&oFf#yAMrYu$dEkTT&}9isr%!87m;rIG1)l}d&rXQBR!Chm{|h?6@rJ7-HX0E zE5DR0d25y}Z^dj(oOLt6%|pnqaSR{LTuY?L;5w|mWAS0^Yt2OJJ|>HkRgfVb=&iEr zC>?vOS$q%7p!aS~J0b_kyTgY_#LGVS$ok`aJ~su?g_Ndv0exCm~yd`eLzV@nuPujqVgUfAO_~*smorz0O5~ z*?M}P#Z75^1O8uAVEIc_fc#Y*7y^wa=D_e`Z>j343g5=LTU)qT{8kl|U0pntEu8J0 z{6GT#vE%JIIO$Kt0FWpg0zcIkU@#CAA_2iCbASY(5QxO@JVl&`70$);RA+!-ej5}l z+^{%%TRYD`gQq!ssQ-b6x98*}f;fFaAT zfn*3-FlZzS1UYLU7ZBy|0R)1?NZ@0+_y83A-!ABBJ7+^c&&Qz<=cYXsPR`rl=yUU( zX(YcffWL9VAW)cp14GbgiGSPR5a>A&DEw4;`PUlZaEbpx8upL*fU_Jp3UVqMowdIT z1cUrD@XU)i{m#X~PxtoB`L|re{~!ZHBG2U_P%z-!N?;hwKNy}(4Tqu6CBtD7r#JSj z{Y4s%grBbh5^|0p9P{530sJi)gE$9_fJ4uLAYho&1NKi~1XAK$1rbR2pL_f_f)b}E z{vWw#^+#aP=k`egf;tC`MxQS~8jU;$jDem%3m6#md>jT2XZQyj2;}riBBA(Ju-Zi^ PDS or - SS + id="text3897">DS