From 52647cb0ea3da20a70e3ab783e3aa25da8feb606 Mon Sep 17 00:00:00 2001 From: JG Date: Mon, 6 Jan 2020 21:02:46 +0100 Subject: [PATCH] add interaction diag 2 and rename domain model --- Automat.asta => domain-model.asta | Bin interaction-diagrams-2.asta | Bin 0 -> 18573 bytes 2 files changed, 0 insertions(+), 0 deletions(-) rename Automat.asta => domain-model.asta (100%) create mode 100644 interaction-diagrams-2.asta diff --git a/Automat.asta b/domain-model.asta similarity index 100% rename from Automat.asta rename to domain-model.asta diff --git a/interaction-diagrams-2.asta b/interaction-diagrams-2.asta new file mode 100644 index 0000000000000000000000000000000000000000..590b3385bbdc690c09ac6ca2b54dce22dbdf49ef GIT binary patch literal 18573 zcmZVk18`*D7dDK>wrzDdv28n(Ol;enm=oK!olI=owrwY0=J)=;TkpNMtE=l&*FL+S zv+%5E?OqDfpkQb~P*6}n2SpSLK>ybZ_WN4Y#>w2tUD?Uj!T7=(S`T-i^=tLUo7*L0 zE{u+H$E=2Q#8jv|EYmjtniw*nfTg0Ku_LU3rc$jbLr8jTCMgM|1NHzN<~|t1O!~|E zRq71}P3lCHK?-njM$=&iXy@~|%eH-7tXj-(tf-)cu1hj8H9dSgJ1=qKF}&ye6ht_vX`@D(3Wv!``EKMt$OCcDtk8 zdM;EdGx%cxO#$Y&Ba(4MA{JWD)0}PrGiNVhK&ejQG z*$6E57ne^$R*`2f3;RmFE}FWH!x=~8y%|aWuzc3opr}p?dMO6LRLH20_h|N}^zMXe zbQR|aJQljp#Aeo*Ks-z{UNJn6O+f|vxBD~V*>;-*-O47f|MLu-MjNqZvzCqffwJyL zb<c29to+6ezOYiJ`$Vt`Zz zRo3)IB!?9tV%zmTRW7&2GFeKncIwO9C zk-c^o_OL{{GM7|_M+!1mm6GDC_C{WQ{S8&-mdPhL zo?6Jd3&L>ZG~AX;@)qC>aYDZQAoIcAXOY2MIcK{n&8ALB;3zmJrWn|L;V_N;H1UL z_Mu@U2V*5{dOYfAawkBELnN#$u9DrGSplUR0WcN97t#4F9n16m$l7oWd1(g;g*PHB z;cnC^>c41a&7Rsfm!q=S()DY3uGV{od~4749;41E`BT>84Rc3 z=UJre$8Mw5{eoi(C7&T9O}nxD?lQX0rzqw+F^l*|5m7YD(w)?Wuin3m|~ClXL+mMLI8SwJ1r zuG{gPp5KeEi_=(=>lYPrjHI=jE5gFaV8gN(XfoeB!>QTA3}C_=?sZ5+&t$_jW>Jy@nrEGt(jc$IKg zv^`Z2l#U?)##JN1WUHi_3n$b1dA48cYG>o#uhxvu{D2l)1_?KdkNynJHr{V*V81P4GpNgC|Vp~@G1 zf570PQRY3c>T`7mHm7pTtz`pD*;XCIE{KA-?IXF@51wOU zq44Zt2(xwXF2hHZ=pr3POunhE>~ZU9%1r({lJzByRROAtE6DETvNx_`J~nH)=MV5D zm!*MfdU93%0-Ty0QKH2Lop|6GwX{4pZzkZvveNu#MZ3@|x01xt_F}Jc)k0#{wcj6a zIh(L()~o{p@8|3O z`6Cld9rBVKVTaHv@obn5$e>Ku@lV?J&!d&u^cq5R*!gJzECyf}mspr+1yB^KltVt^ zNI|>$Won<$D&eEFVJsR>fX9=kz28b)^K$W)N=rm~Ak2ItfXbU+$K0KtwsA8I>KqOCqNUm7gGngT0eFc2g z`<@uunwp{ODpc#O*q}vpePxI`{jH=Ka?yu2!A*+5jk*}tpStrmA09@OEE2hh)deAe zO$#UC)bjVi@E0k@aLgudF7|~SER21ln12h+BTp5@#5>v%HJtn4mu zun+1Uu6L6$>(BG7IP^kJwmSvGou_0Yy^a+CF+6<|Q?$89*pJtc{7u}IA{8;7EhWGv zg<1n^JEtl08+f(j6gfrKw^Urhjccw~dY-oC`M}At-cP^JW&;nM2}8K+V?00Feyy4| zNEKK02O+Qk4M2f(l41oe=%=mL$9c8S?FZyFo+c^ii!cN&)Gn-ZxXN!as%yMp@msQS zn*oyQ$+Z#DCW~#)evabkW3Gtlf~@>BvU$qY{X1vO-;bNRn{ItRI{h6s^9klQYXJ~zdB^8vyh=E$=0idJPaBEdqAPhA-Y#_q;%4#W=l9|*#}~|3AUOy zsS3=S?eSZuBub`J;ATcRO)&s5Bf33DpVE4HPrm%63PYokJiGIQpHv(Mg+yJQWqw6U zJy!K5T7?b%iPv*7{bssSE^2vr468YIkZB&o*^o*dj<*LE*?ZocGwQyi^+C8lPCoD5 zp455&|3 z3)Tv~t5_mRBXL?9BSht&4=Zd8CU}pxpn+v?i}3ePShSDQ0+TR!3~JAN;|&iXp^;W< zFt*pe0sc{tQ+bgHQaa|JgE9*J+&gwG`@|{dx=za-4k0YHi0xh@&K}HHw04F!>5wgG zvVH4CJ@Pd=Q?o2iGeI0x3~P)uAd7St_L+m@+_39ZI1p=p@nU1LgZ;7`EU>&rKv>`w zNR`bRFcKgv3x~9d+3qGm*uxiln&`#J_KTgdh^Fl=&$gW#QkbVIg*l_J{EeSW&QvG@ zXxVmb5PQl?1ipr3L6Cyazz zJ|K!dBVHwwpA8ChWM}*{3pr#MXbd{Rxc$iGE!3cAG5E3kY&`gWfsu*$_TShQF5S?I zPpT()3n(#;QWgvlNb^+9rMsK@;YMunbQhZ89J0X+gH@OQN)HD1C&!DJWJ$P!xnq&J zW^k`OQ!&}p*cO{%T3$Q|4Sa8a^9B=^w;bChPhrz=O3FpiY0To0hJLNNu#nqV8|rA02dW|6?_Rs9ntXpH+hYXBB-cr*?y0`D>-oU1qqW zxm~nZou+wboPSQpH^Z_za}W{o!GWm0Lq`Q`3#Q}hQ>djxhTiTGSs_?D8E>!ej?6Q! zsT@Owelf>+4Tuts5e_oLDVV75X3;w0%1m{|Xi;Q=Z~B)@{IbG?J%2$h=eEh0L)~Xm zgKs~SXN#na5!>X9|AS5UKiFg25gZ6C_ZT_GB{2x}!d;`%+QrQOVJ`X~W^*hjD;%$& zmeo=@CU|ZX)LBN`1JhPH$N#p05Bxt*54uB&g{zJWwR%H+ol$E>T+?Tz)gNM=MCh71 z`Cs&;{V#fodZcT5v~lLPpJg+@7Xr)l`2qZL^}8-^r`qI9|Jzgcf6(T(U9E6lVeKL6 zaZ(|C#5P&#-$j>7C;l^o^Z(3%-wqZ+`b#rpQz)a9sx5S=IQ^$no1EeQ!S=s>`UFrj z0xZq3c);|>MNKiw9?3c6AmGu(nd#PSimh#lFBgBVn{!wC`uYZ8j>xTv@~hknuL>{v z3?DsDhxqva48+VnSWguZQ|7xX*-fuf{x6V3&-65tNm15q@QEU9Os(QGk13a1=U3(2 zpyh%o&sF?o{jKCpN^s&`uf)4(%I7cvw(o`@5ubKZPuyi%X;~>MNbFl50VRLfR%ai@ z$|@2AO(Q??=+}fKG>ujWA&x{T5)vCJatrXUlxl%^!`Kzd*E14z8jM^PsZwpv#&Jtt z@DWYxH^0*(bJ|?Ozt=m(V*|p1V8{|-L#9135=+{`qhv~JclTpXNh`0M1-ixEeqLx& ztB===*tTxDVUCrJVCV|i6kl}SDq0MizF<3)-8hOg7%%(Jsmj$>5+uj&Dfkfb<$ajV z;w~Dl+3XQ87pZrV6DZ6O!wH=)g35)VnQE@QQN?tYVO1`;&8Alz`U`*U&6k~`pW_yW zH2b?~{OThzoDtoI-B13WK$oa@yA?Tl;4yg`-C_E(*+@1>C=l%F3`|*>Ge@uUF_7iI zahb=`swcgnxLR8IaECJ#6KzGL=Qdoq%&KSQqdy*AFaEyaF>p9CKVT4)SU4*wi+G!` zBeK^P$|WgWDiUq)o4X%xc%{0t<5S@iEqBw4Z&vEKe}%(`T*IoXzQObuwP~!@2sUEF zfitB`FN|p0PUh#Z0p%h@8Lv+DqrhPX0xK@ay!y|Ha(G20FBoaW8c_b`QDLQ#lw+*f zA<=Gn#Jm5qckmZX-b6Kk#wS51AlVwRUz9^*Vqf?Y@EQ}(;F?(Ka5Q4YkL!&_w?uip z9H!l;WkB2iAr{f(sG(YH0%)u}K1E9V3XpdWe%HSNYi3_v{FAD|2{o5zH|iTH&xd zSM6AD)Xti@wVXo^(*~}CHz@y^R*<)KV~>iUoqvHHhU8Rv$pB^xB^jJ!$=`!p$9W3X zmM(WJdUs~I6PLszkShz+!q_qYoGW3Yz*F_<;z1ZNQZN0cx$ zr=j9wr0@h3Ap*1DOX69Yc50GM^NaXz;z=?z_Adzn$nCFA_gcGxmc$B)sG5!kY&c6{Y(#4=C(J|lMJ>LN42hcxcEG!l$}Q~Kbp zY1t>S2&5D+5X88PaC2ZkNc{AUj9RL<&`Py{?iiIj%O$|nKlT~0CEZqPKm?1o0b`&( zIS;V0R?pt^)^-@o1IH#2&ub8f;1QX&;Jw2F-f{Xs;uNTnv7KRT;1FrTC0VLs@FjL& z=xN1I!K4V?ojBn(s^ttGu4z=c=6k^vVq!ZH1BW41QiPS)d{fKfs9>$KqFo5AChJwS)0LOkyJ7Y2Z zE@Xqd>_~P1oRHSYzL>p4(|{n3AT2hjh-(thi?08_>U2!LhO~mmafh}WKA)zD0l8of ztS7vIu~aGxp&?~$fGrGmlne?w$5h~qxe3pc#Io3@iT;PjQ}6*2Ch zrR9pHY`fetexu=LQ=}sc7yuLswCSC?f8`bM$^wFu$sGRf-Dx!)k;JP$pn@&es0NKe z=Dt(H_Ba7IUfH?sS6)h;Or@Hr{cYPJmlvw%&m-}@=lzXK{#y%3u?~r?qK)Yn9#9M% z5CoJCSER;d#$1pajx(JV@iplbe2EG;Mrf2u|bq)r&E_D!(MbOKg@egNCi0-$&quIPUd28r@&X)sL$K5}o3W`GA z!2=@MYKVyJJ~qveLE;6rfmTLN)vkV`oIlhZ18IItng^rm6LJRkdAcm>#>*n{D1`Qf zlR!0r_B`0?kP)?TkZRtGtqPmBBd?eZ_u@WqZYuJa(vEf>Xjxo~d4lsnE7v~^uxH7k zz>6}+N|xiNLr2doWD)o;pzYBqf% zO~kpU@HioS(CXxM>V=~|d;M$aLxWtm}=mVT5^ zg+sH2r5*U&RhXH2hj&Iuk{bGV1iX(VeNY*;CnQZkkD+J0+W^RK zy06&q6n;&ac2qcb9?d#dcJJ|@FM_05>cPyx{UmW1LNOSjp(#$BJ-P*xtC6Bb%OGS( zX8nG&2XDGHo~cj<(7FhY2-acB;#RXt4)}Vm`{5;6wdWHlLTeM{0*-guWJ(H_c(*ws zzFqxGq3%Y+V#;$JHBECmianK}Yi}+9v-dv5FfIT!Pz;^ED+*mfrtW6wGI%;NTJm=l zYyIp7{1D^FAf^gXOy`kp{(dwpk`&uDf4@Hd(oyK2_x>-x3Art1e7pC!pZ}!j`xXa= z0Y@ylX=5R@EN_)^4qV-GB#4r^elEme-WJn{3a3hlBew+|{sS2xl9 zwT?{3juZA%dq|q-=>nQH+B8e*>K(yQ^;t`*lfPoOuP4TydKAd($3K+p12AT2(@u$P zJx6Lkw6p%*-B5fC=Ur`Mid(J_8)fq5YNNAG^zz4T*?x78ahA z%8WI+k1Z;Pw!LEL*2&Tk66wk_#3fr@sP#OLOomx_tQ!43Zb{!JsPH$}(S&lNb8equ z-Of60+nBKW!;;SZU9n?L^c3a(mH<|%Qx5(9bDdwLSPjv&?cJmq@>ksUR_^#Dz)l?BQ)8*+j|Xb|DIiFK+T}@P zfZ<)w%G5d#DARtq^1}b058>Kh_>`yK@CZrHOjadzrbyK-;<(ogZ#)Pz+Dl&?T6pkj za){jSP%j5(CJ?25)3g8QL&57q-Et@*@2M@Z5kgFX1S>cYf1)6NfW|haImQ@3QpycWC>A>VI{QbQn9Fk$A<(r)_ zi*)#*usHtyS6r|6XQkuQNDk4tX2wwp(7~8AJZOK3P>>A=QfM+8`N=@Q+Ebq6K&N&e z<`Wq=x5~MGCkUi81oUPjD1_HCn6%kbdtFs`Ts0aQEjD!w6#D)3PuZFRSNkCf=bHVY z@3I|H(|=F{<}V_u&csf86K}0;ZZF|XY-6fIu@{@PFv;la-jlPZ%I-csvg_Z|a0`69 zpaTR80cy0C)Xpqx7T8-e?%$70 zFKtXWAFP@ozs3n{eU48S&57>6;t`IdGGiDM)-C`)E_ATW-4@asY*zsf%~bH1m?ML& z`EN5|fi3h;+IPH$TjZ z`g>VFQBrXKX?{>*zI9$mN4{25I}3q9d3nT~{Oqr6E+*Nc|Jv1g$>~U3cm-FUf`l+#Iqji2<%9S0j>-!c+&`pjJ-$Wv5 zHnCJh@rZnxIK`sqZskGRW{NvhD{HSfV{70=K3$|x=H3P`p^>_u-){WZhtT?<0w?FW zr>ybZi{cTMUb^Kk|7(0)=o7|4LE~%2D8Bm;dNfv*(8VUKaH)S{=9~mt6dhl22H6}@ zgFBCSs0|VhefKtzd^QVstTR@YPz2R#vGJHg<6f|d@3>ZUH^Aztm`D@8>zol4ihyi6 zG;BK3h?oo-)^GK+PBDAUFg(TxD%^A9POR!XIb}i`SoKaHVEyn2$e`h^3{9T@j*X$4-W)%>SWW_qIwVHYe9Y?%s;}qA}+0VGJJ4am=w0* zMkRwbeoO$d%Q5MY564B;9zNv{)KZM7*C*@28;^UW1?iz~#nW2CvMnZ1XeJ?={A$@y zpF4B2-19m#wXaB(6AEA!f%*R%eiub;L8b#WKD|M5j3NIY4pAuqZM2=n`;f9?!NE0zz%32ow?X znm}>rvj5V`w|~ReXy7}oVqyaK-&2G3?}g2W=5+qaUS!EVA4R>^5zu$WV8iG=c6+sR z*G!O!|Ae;-2)!sSV{;@_48E!%qs0w()WZHB(UoT8L`bmUSd7rhmL6xRctMOdQEnZ7 zJE|Ys6!BX*&=`1!HtQe}E^6z_DSH@0knSzmt(peg=-G^sny>53UXvsb7U4}6rURsh zS+4C4OA`&K6{|OYM;}vuUObQN2GH2}k7XNzH+--7-R7Clu?snyojzXSr7qau zJ-5Vq-Ki9a=dM%ljXajMw{b#txfF0%SWdFy%NyemuexE))@(Vyt34+bhX3JXv#eG6 z7Q-n&Yebl(W7Lphj1CfKNXUrO8j0LgnM}NkJcteA!Xr|0oLuHcr&{G~|M98hD>U&4 zD1`*mw%cARcmNqVV;Q?(+@~mZTzxPZKg)lY3HAPDQjQh*y2j2z`A#22BzOQvWc}`$a{A*Evmhew%pcZx*&D5*%#cSPj`y5#l+d<1D zRQ=5%vX`vhYh1E<98co2SqP%gV%mOI75uOFKrJjUlHuJF|3R4iy8%@u;dLGLyB1Sj zkYd&Am%}8x4#Jq_IV~()ip`W474q{j(`;4XXUIx-~pyLtXHYF#8_X8VhUIc&3h$E_jrQv6V|C z1m!*uD9R6;t%MZTVdWn&&_a(#uj^u(<`SOFxSJQI7&_;58S<8*H~k+Iw^W6c6qa>jj5V-om#f+dNggUvGJB8YOb^?BMI6sV1%tW03{tdJ%o;YJREo|*xPJmPjYF+ z&9f+Gb8Z?GyF13=VBFlpHT1~5#fvsnZivz{36z#q~V1rGQdj2I*I`K!Sc?*QW z-Av`Qx*pglxTC~pYv*37=@Dkb(EYGMwZIyEFc}0Z*|`G`!vU!Z?_{90c=m^8eSTXf z3xN&8$&#>0OJOJh{`C&=6M)okY~E}bv|#%~ADrK>qj3|SX)A$%ZvJvN2#PNJ zc4xwJlz9jalyiX3(cJ5!SdQLAU0FjxaIR!cbqVC~DL%-gVmGigcxXYJ&A#`-uZ3z_ zP!aguG8m(ODfRh?bWKEmLJjrHLmPdyY!jh!z2iq7B<2!TFm?d~hMbw@1V_>4kNWtt zr58C232oGGaOz;Ca;Ux`FUKcl{;Yo&vnJQF4dKl>(l+N*FZWT9%?B>h5RH<5-*Wv` znRJJO18X?MsE=@5cy8XIn;w-%D~PzmjEQ(lSQ$8YEht|9%VGU-mR6nWxyc(sK>JO{ zf2MrPO+Ii5SUJfESF*e;ZT!Xv4J`JJW7p_&9l3oHqpxE3$8;u)E1J8E534Q*9qk^|Diq%;~raO{SdF`*QhK{^-K3 zQJ9Y65n3 zyxh{J7;st*ggtgjkFGBelxx*4s?ml%hr}5L*u{1Z)9IERE13jxY$u1)u0bb~61MDD zsC7{AvY%lY{Pm$NK4GR+Q_^*)tri;l*NOxe{D9FkTw`my)tg#(ur^yG)kU1-l?vu% znws|R@cL1%fXClP$q^@u*!RdeHfEDu=lTG=WLOB!N!;r3mq4_~rhfCrI{&N@eOqWkV9gE<5g7Qskj5<;x!5jt2yqD9k{eJ zY9RSCaKcZGgi^W=e;+;qz}nP~5c)IDT|t&Mv+gRvf}uzdTZ~QgofbTh-j%jjtI_=j z0?78(b3I*(>dz=Bozjrbmlz*{lR+GLf4j^M3d)nS%Fdh8M+GoR0ug*tAnJq4HjVbd zuzhocAHEgU&+Xp7hvPd!UF8@8*;XwzRpd|Hh{#q3A(|#Ay}&x zrQCK|Hm=w=U6HQxS&$!W=|E^i1iMq+Hc0k;#DHiGt<*E!mC z>Q<(rAZ4tawl)*+5itw8&S;2!Kf%X$oslk+nA<}}6RE?OaCo}43oKa@DCTj%&I=#OqVopDeaRb@HM%MBBzGU8*lKj`n|1lmfl zn!zK!fY1+PYAeUz^(DZ@K#0KC+Z#iN=kC-8=zLti%UJsPY zoHEM7BkJ|V!UL2m_f%3tkA1J)q^T_2q2v4r9MQ#JLYKW+dPA^O(5aJFXnxqw>y-}9 z&|JFR>v`v(mF{H7N6!IMRQ!Ieuf~hqu)9OotWB5?dcJ^;-5Tm&*$b^^o$FR&8xODF zQ*p;4NL-~>*mztxH}uczOiKRk+Hn~XkW%SES~3;fu7pI66h{c#vf^B zemf0%JI(B(uqB|P!fKHeiZehI*MSiP`zWlBpE;78soqiXQDA>zoksE2q# z`PuR@24*;*8r3?J%l4#E95~enmU3pappBvFyT^1*T`ISQpybw>_^~3B+IJFveqt_> zE5H*?ZhXJhGqxVfaS6L}&yEUJMr_KwaAbH+*D2`cvP8(bp_Y73c`q8Td>*a!wDRgO zdEg{Oa{i9{1A)xZLCdfw)rM7NZ~8oWZ^=tEnMY9~i1c+%<5qhgI@_+^rc^0dxWCz6MU#%w8!C1iwy2I=iZpsMQ~Id(*H!91;47f6Z-={niQ@F>g~Cv zN3e3O>28aEef3R^%pzY!I3-grCW&zmjvXME%eQHzdkOBB4>-Ky#pSQ5J3Y#NF$bu+ zgjxV?>DQ3zVLuJ4eITh03^tP%Fh;IxfQIlCC!xEZt^tDDb>2+2h3ryai+J9 z`w#~^Riso2@{$ZohH`EZ3!bAf9-{afdGP}iuNY93>}uC_AAtQ1{goXY(aNJ^OLiUe zu|SU<$&OUw@IzyJ&-u1}V7R|lI^SPPpLjpK0IGf>;s&(r*d}77X&l)|{^N4=_ZA<~ z($k2s7!=rwo%x?F{Y0LQd&M0M9EG-{`B$I!#$mj!K4^^ZKTy`~u+leLB&>O4z)%KD z4{(lWF)O5~lR@-FN7<9n(tOVr`_${O1ugK0moO3Y1ydd^Gc4wEfr&f1h{ zYL_>OG(yICA0d7-@H>kQi$A@jbawLDPP2ChrU>NN_AbdIK0MkI5yaOz!_v;;FzdQNntve_Vuwr+EFCvxT>$TV=rtxHNl!7dMQI!@Yo` z*Ab8OXY*RC>KZ}xogl^+$d=zJUAD|L2*{3UJmz1*2Ld7O9>Bh)Lh6wKu%@z8Q__N1 z7D?lndxSHox{5ftfMlBR1us91s16Z&h*VW1jD(GUNwGbmo*N)%YdD)&yv}hm%BWZ+ zViIaJ!=kn({k9UO0N~L6rB6nDBciaxXO0!Ia2N>VDS#V=VkW%k8+`$|X=L%|4a*M! zx=|mbmFIvBgPxCq`yThO+oW;_X}AAV7TXWZgD-^X`+mWHaaa_}q}5{**_t{q*1KzOdt zs`hcuH(u8bn_vnwMC?2mA?7dR5noB8pMYVG1XY8Tr!_uF#)Nv)f`=Un3C>0xKCgj| zP5~_>C3#LJ9&&Ub`M5`t^8-4|NGd<@^NCa|zflGu5qlgqUHT5h`zvrFQ0mCF{t>}A zEQq*I-?ZcqnH4JX&lKkh)DQ_Q+RLsZd$tnt3mHhBM4?$GK9!$39EuYKG(Y#2Ki&}7 z`2Zdt2-T(drNqqhK&+EJNX}o2@eLQ zw|KaaK%#MipGZuXwD>woul0%9J1GhAJ-*+RyrHf4jz zmmg@2vvXA5)Q3FHh_82DFAl=h8D@TuusiQ7)E zz0V_`o3s_%Bqdcd7IFDGD=eU0C@e_T-iCW^xXA7T5@=(j+E{KM0E$8lu>{XhjVl6m zYgqtKZ;OoCPz6autcbc%zCK&1K&XWE$Z%vvwWk_LJ4$fUG;o!?P@@z`QjO^kymtAi zE3K<*L(Hyn4n)Yo83y@E^r#M7#ws%VJ2DRaUSdNzyV5O*Bn z8Rh7=`a9;9n91hC?5p0V>Vf$VHPAbqCiW$9+ZAV@F`b>~b79+ELav@}o)N}hNT$jU zpsO-2JOu?r$vwvDzl=ev>VWTn>5~lxc?3rOND_M9Ynfns-ao*jIMmz;YDtRZgYin+ z)u>Ol=wgblBi;>730s*~__Jn(8qRIJ^r3)mv~C7ZV+eUf9T`ELgqaIVn9UMK3SAH= z*0i0N5kV~d#wm491lqTNtL?#kAfT+%&Pw08#hGw9k;V?4xOEKCvjd1x`bFY>`uq;F z04BX_@D=Wn@TDap)9jYFOvo`6u7ai@hUGxz;iH)qpZosObO?mxZ$MQp?lD&_5r%?a z1_@sv=R#!mn+K^-Od4@rC)8=itQY=wA~@sW}e^` zaQUqxfp|@t-@>zABH0^IfBoY+nKShHetCo8WB>DkurmiOy0MTG!unbp)qui`MPx|{ z=LI`dqqI=)w*GcM&W~3g3}UI%Wf8qslV(@a2kK59rym!+9dhV{}sOw?|gf>Qp`0vPRuP%Od~rYqqIl z$3YPOFY6psvm6dj9(}{guNZvGNUEuawy8(A2U}Q+%G_Yvv*9avgixdKtC!A69k^#< zFZzq1OvPdTh#UV&7ouclnR9;l_@<57S-5>vo%Y9EW!<+lbXWZ?jlL2&z{h=EBj`rY zoqq7)xe1iwkYm+}TdYMKJUBj&lr1+ASzUgq33HV)p%KrKc}c3DUJBH%tNX%`b5HJ; zbX0&6o_O-qJj8^I%gZ^g(2vEMhR&`4(V6P@+tIEB4{m-5$?T3%q-SB3(IE?PMx%Da z=ZUL!3+x3R4!qW%lPPI&cm#1-SULX0 z-B|v(#o-UmaegZ2@Si7B^Jqca?0ob$ejlHsh&hO(DRFUlK8fo+)yaV%VWkomk1qLN zO-_MkQ9Yk|hMM9$)YHtld-+ncr6QaAEb8i;jnZ2mby>%Mw^Be(w^$*PH~Ke<7M03) zt&lhQ-cI+rIF7Owmoh*0qjWzUyzE1zf)Mp%zwa3c&srrlZL_C8u7s&cX{xaIlC{ z=4B%S^G|;Vr^Dw5>26k9hDGS1`UyRh4dOO%i$tTMAvIW@xhY_Hh9IIH#}zZQ`E`AV zk4ZBa6g+1wB>ekP`^NH}#LCw_}0FO6x3;`@ytXj1tU@=RjZGM&P;lv;h1DA!SN z?LkA6rqVD8ioyS;j(MPf&ap6IBNwe7BJ|!_@+$2iz*VYaC4-)p`Qiy76WHe)fj6;& z+wyp^)n#YABkb#KMI3c1Dlj9BW$y(48X%3826BIEa>A2?PuE)2|I>nkAkNj~G+bwN z$>ffecgAE0zV*JOdF3(UD1@Crg;$Rs_*|h7CCXzA-Ps1lbvD;B zWZ)>G2BM=jE@m`PTJLp-5Vq6<3kZ4}OxVAkuaEP>vLE?SldVg~T1bUTrAex>1Y*EE z#`#gpw$Kl^Y?qj|EOYJQA1PZ8M5}O=nItd(gy7139B6qNuUHy#L`oHIy3Iz*neCB&}|vvn12Mpiu&D%W!rBKP=f zH43vp)6FYPailm@W|DW=rr_5&UM|Xw_6{!P=B;pMtgNJBWi4Lpf`*}?6ow+SpC6ep zdA8bKzUpiyWIEbnK@pXc+}3Nym*=~@DZ(744!~4Kaz;UNSK}QsKTZ%2e}Q3YgaxPU zaoCeuu9!#BI~q%Q*fS8$iHFI}<(SYmUs7-g<*dcjBN;1p-PR+S1M9{#P}n*6;d0)_ z6@+E?ckHw0u~bkj05Gz1jCtLRmV;bx5x0S(0!lDK3$xog6dV9rtKsik9w|8rrP7`G zn`4{#tL-o7{Bb=OZERegKD3AWkSVrwsBMq8p1R3#5z^Z%-H*@EX_EFAvg@56Iwkur zfsN}Jz=C|BAlg3%X&2sncwj(lYC2ImH_{tUsVing4tG8B2vQKQ_Q`uv$iOF3rsX_L z^!Gq;9FiSw+D+u11Ke**xN<$rV`ek?)C%^%}eGLlDNIS^@LF~zmAfPIqp zghXtXOs9T7$?#A9&@ThHl|M)YpXkZT6Wc!`DkwlgV2lg4Yx?2fd%$$iWf=ou`*a05G z1(nM^G`h7|eNASOnywG5Zagr$Un8lCE>=O&1TL6jc@gFvkeBIkqpm{+?)S z5qMa+(#kZkyzLt!D0z0dbLM+DNUd9Xc`T8DA8#CMc%Z-1EaV->Pk;1F;Serzsxv=& zU?$kDutZZUICY}kvI6|}a;f0X<37Rp>sK{aZ?Z9F#b&gE^po94($IwnbyMKj{GiUy zj8BjWF5%tY3X3NWJ0;fSu=@wr_i;nVEb8c1iF>$mI$#qiMuei{@_xX*E>d*Xo_Nk( zPTZ>1C%PYu?nh!=Ui#5_%(BqQ5ohs_E0z;+6>;qVYmqYdF~(m7eeVV5952{j;{2mx zbWzArb?DGdS{yY#?S>q()5~7JVmdc;}h2NO0L!R?&CpOVuvj*X1VUj~2(oGE z(BB_(FI^i-l?jokL%1SKtZ@2rV%{+QP+JY0T1VaE_wm+n&zXLi| zvu&^0=jExx_0#0}8XqPT0KjqLSoHfcIGzsj3$PzOQ8Dz|f+IBP^!6ryAgeU(WDLr9 zF}mL2wq)46H5>V&ogY1&M2(Y{y?TA`;OU{~O*(x%vI2uL@gV!uIalPgkueXN*o zgSei42^EdEiZ)=<`!n9%_lkMJag0xLoyE3DITzX&e3V(C_gi4MEEro!iDmqHRi8I| zP7gwa)$eNp+r(_uU!IJ$qFm=o+_IGJ^=)A1ikq-j(tmBDrn0vi!0=s$bpd zGpq#iu#ekX+xdtz#Xm*#2N`dDjd{;&u2wc|#*JE%wsME!xE|f(}xC0c^9oe=TW=>FoBf5^y=7FW=0#@sH~P-+++GDa7Djv^D!ldb&VP+?+dAN(-$D-JWw zHegJxCB?P-=7k+KV-{GxanCfHkq_5#=I;SDc9HwcRb=x7;OzNnOw3{3@zI|O-yw8( zWHqpw)UoEK&yDx2vz2gC!X+YQ3A)%Ii6+9EnYM>h)m+6bn4CkI=7<{3cGv3N4-`F1 zf5VZ5VEVdSa&eOoy>aPab&U`XCA6aPG0$|vNhmX~!{`1j;dHzaGgjCx#%#yz3eYHe z;hg+PfnMvZ&Flzi zA(z7^YU@XBC=(0VJ*$QM9{I%UP;w9N z{1`~z-Vi5OFVKl9uvbO!56coB8C>w`Tl4-k3oo%}FnpugeZhHEsyK_(o@)5k+5O`o z=FX(%*K0cMHcp*{HC`r=i^qacd!UDt0wAPkrA2hJLZkxi8%3n&LRCHisT5L)IG=VcP1P0AaU%7tCG-(v%7=`&*!nEQ9MQdz)v zJVUq5f9ahx;KBBe9GX)@Gs@f#qv3|Yi#=#Kxx`D>86=oS4lqQ@&k*|*;XV{uG3_xS z{$j-?Kz}AejfQ+K5FAoM(?TvP^Onhwhnlvh1Az3A_v%af{ItB-1r?9gBTR+5V>Y4C zQ1eG?^*Um~s8ogMLW+&LAf|b|5Vd`)%+-h zAQ{EAb_h_EJhaL!c!Jm^QOuH798=3oAev*dL_r;^BX^uDpz#bh4LF$xa-Kp~2s%;m zmWqu9=;%e0wgpVUoaSN3BIy6-im?+$x1=?zZ@~BP{(l1H1{(RBqQf9=77DX6rMNgN zTF6tUQN4ktBT?n}zayzV)0Sd(Q!qvPEPZKI89X&BvPSD{UBuwrSqA3L;+s2*ckV2` zX&8-Fe}V;+NX9z9K1;hnb3>RfM~)^!lP2%emQtl`@#d~?vu+|G85gMLqx3Z0oearBz^y!Q(a^e%x>!Au>zHzNW05|~ddYekoeZggp^MVIP9bZLgSVX9$U znc4|-={gpZ_adzQ8sw`+m*scB1q#4ZtQ`-dO9{*yRQJPB;mhc<_BZIV<`Xe_o0=+^ zT3x*fs{97JR6;3@u<1(qaVP*Ps)Ct@Hkh1VGY-YS2hzR=PrN-Q&pEVBq02g`!*hL1 zzaLKho6%(%WLfbKbZLTpb2{%smlilGd>#Cx;6^*FcvCt{Yw?IezFR!r{i zY)qa`stChfXu<03Q2AQOw*jPNJ+NsMN(PGXoDv1BYXmkmLZQ_wp?fw1*I+Hc8pzVJ z8Zz^c8Tz;O>+tO>aDgtX`$$aQA!!M0FI)+XtvCt|0(Q0ny~|$@ygvd(!N|Dd8E6Ku zsTBejYd|(UFb`7=OgsgI6;FYcoCl;{2Mq#FHUcqtt2ey!+d8NhZ`mX*Q+Okk48*iQ z08+9PN-hVU?tm6RAFcaOV9C3o19n2g-vJk3cH5tTP5%uge;29*Wx`8#SA$-zdmIV{ ziKXBamJTSs2_~UeVWIgr6n{CSL5JdP^rZ72Aae^S=St9p)iB4`1;TpDa`*`{zV0u; z=WCz^z_1dyyYh2z15|Pe-fIqaYhDXNxD;Ckup9NDc^#nL?z`B)BLIF@-*l`)Rp<}syhiBcW>6AOBNVU>k3%c44 zGpIFS8Crou8^I_vf|9JRfZ~UtQ|^UtAnlDJ;$nHT}}J{1AznA;rTbZ)crFiFD-8Xu2Im^auCNxP(G1$6gnsHh6mz6q>t6NuD0FwJ!^aovp9_y7+! zei(`Zx3dc5bPd?uwLtG`D5?U?$Wjo75-_yQ9{{QQK2ZKkbXf*gbj4?&ksz2YAmg=| z_h4x8%XVu({yLw9C&1_73G?O$p*F};@)Bf$LUB+MPnef~0T=;_Qwvt59`d#Q0vZXz zx(r0B8JgA#a$om9Ks1<^dXUqKZ$cLER?Dz(LDSYX14Y=`K+iOQShN8X%b-E+px7J1 zt2G11*FvAK1NmD6{Z-`0U(HUh`% z;Mp!vHEEI`cvTMuul*;`aA;a9Wa)%w%fKi!L-CbwLYErwWzA50CG^(%KgQ%03v00# zf)>;OC#zujQAZVAK+Eu^d3D%4fV?zco&yAod?I63I zVDwv|KN>)!RzPi~ABEmO12Th%t~&&M^fRF7@9+)iz^mg{0r@RQlF`}!4^T@72#kU- zlLbfs0J#wZ08mQ-0u%rg00;;O0Oh78P>g~wlLbfs0J#wZ01E&B000000000000000 n0000*ZggpMc~f+6a%E6U1qJ{B000310RTAw002Hn00000i