From 9173c39d0b85618487cac5d3060588e5527c7d7e Mon Sep 17 00:00:00 2001 From: JG Date: Tue, 21 Jan 2020 14:59:57 +0100 Subject: [PATCH] statechart --- statechart.asta | Bin 0 -> 16318 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 statechart.asta diff --git a/statechart.asta b/statechart.asta new file mode 100644 index 0000000000000000000000000000000000000000..c12fd6b98c684aca35aea3838fb84ff39333619e GIT binary patch literal 16318 zcmY+rb9iPk^FQ3)y=&Xr+O}=m*xI;jn_Ju3+U?eEx3+D&TWsBTpXaCVoAbxX$>f^k z%FKLbl9N%Eg8*WH!N9!$sbrpE}z zf5L%}6@G)>mb-RAN;X!A&d z#~VTb0J@^;4ifJAsy>&Bn8=QfiJqIKHI1d*l~ma>UW5BLl@guRH=tmW7(_3@bC+nG~pw4_Gpf=^Ye`Ge+I3K~f1w3ZP3gPfqp*|JX_a40z`G^pkp(paV-_rQ#$m`l|5=4+!*! zpEtH~S&GNd81Oo|lr{OC+S!j^US*L6<7kfvU&tH!ok95}dm{o>z=p(@&&)o3oPqxH zx7d!6_bt_n`Zi}J{pehfeKRp8zicX8GCz9mVQ`S=b2Ta47oTb{(bBCJL8@k1T1)21 z8E(0N|IxzK*Db`W+DnRM3T@a}q^;{DrWKgtEM|ght04vVYfL@}tx^)wdALRX zvh*NI<&wlKn%lMfwrKtgjS|PA>V*x_93xu$tzr;UHbMZP5fuIhYSJnQ zpr%l4v+;K~bnfidlJVmP^M=RuxymcWGL|+9j!gs#5$wFOl#qGeIq#gD-W&QVA8?$D zB=o7VmwM&VY!Kqe}H>=U0_eBx+KvmGGJ z09&9kt!XM~@hsl$OeGgf9qu{p4@?WerdI`HN7s8S`2?oK2b+m?-M)s56hE%wuYIvR z+JpGe(C9?%g@`|F^?iv=?lPcMNz23i#5S(G&jS>D8RIMQiqB7#BhjryD$LnI z+UM#~@tGyaO$1CIwNKDGDJG$?Y=vOxe`ci5%>5ZLFg>#nVO?YcaV=5FiYQ?gUmILK zK+o++i<3wdnS|w;gf?t^l2$?60_c)VPnWQTrZ|GJZ9ia1U>VJoo7@5YN1Dv0d>*VS zSi1evXON`g;z8%KRh%UJRw)VmU~oSmZJeHx0=o!(9tK0;s)euOi`W@9QY2J*aTJ9) z-R~jpIw}GR~r-OFPc>XXLb#Q##l3zslfjGrykq?X(<4Bm3PAU-aZiVO|!~ znif)H^G^a>AkU&yDxd4CqwiP2)PvfXgeX67xt2(k@t4i?4o=>R5CSruATvj7;sfeF zli0py_SyJUGD2z@1|e9g8^4YZuP?s- z${`B`s)U;^1OXo-mm9qwq^qrw@R}n*__S$jg>$V}WFvxa&v~-M!o@nhM8$q!+)H&g z{(qGZhd1JCW{UqLCLuUwe+NLf98-rpteJ3*zpj!D$ibjP?y2brwUpIbPys~Nbw8ii z9}R@OEB#THSVb`vSTBc4m_;#(OdtlxS-k~$#}QmbfQIJPvc#yoPUEj@bbQz!H8q#Z z0o}V%Qqvz(>-?1JU)xm=7Adp{%qAu-DV2RzV1B^)z+ox%onr8xq&PA0&Nxv_ zcdiR2NN4C4(1@o71+Ore+oweK5dG63%Mw2Ti#yh;Fb{QNmqsJyd0D4#->@*5dB5q@ zj+2~}g`7A?u%N>)(oj+WfY%wuZD+NKaow@K@UxPzzElHgYl3U2XtPw-f&BI%(ECgv zg0@4p8ZUJUJXB1aaZ#`xCQu)zb&julKWdmrAUzp1JaOtV@M>*17M@m{BnCXebiPeK3rI}gd z$TI{J7-`RZ?e>=mq#&C*SLlWkE#uZ*pFOoXna1KKVU2?bN#y(LgZDIV5w_z%EyM}7xMage~xX1yry<}h(9v< zyDn%39IiE$i(1;=S6ZDqjl5qO5vXnAjkACHIbQoxP&7)sOwlrY9DJY!#p%>JP&%)DJU{e>5TiJM8C< z-Wh^L`Afm;{kV=e*8Xb~`%n4)hdK?OIQ@u95U-n1A|Y-uo5X41csy808ZIIVK|_bpH5(!0I-BNAtnd~%Ph<9A*ifJC2~UQLl5Ie&kqW}xD2C#Yl^`?r-wQixu++uC zT$~b7b_Q&}F3v@ZLt;QK*hNUTuiAZo0`xLMLP6*ieY;HHz@c6KDDWR1&ReQcpK@BZQ2HrM-w z(Us8$0BJ$kNg?_Nne?dS%t@GxL$DZsb3E;SCTuK>Trtaz3IC;wla-ZX9=XjBl~T8- z$ImjGtWq=bdkTo#{QQV1@Cn@&0)y@9mBjG{!vG9|2h z^VQzfrkfh9961$RzxSYs55CAtIe)pIdxW))3JJ>-!48H;#Lh}Id{~-T$?1=y3N={v zwCN$*#8TzHrJSJ4M86Mof>2g#zD>@d=My!EybV46Ej zQ$I}akBCb8cg>NpX7eMWTwZzV)rfj4LM=B@(0ODCNOU9YeQtGdrG;c`1_t>{Y~r(m zY!qU9*HRQDheKIZ8oIiZVH0z(+$;e?nvX(+-M?(D^*Ve&Htf2*$B9m5afacNVgbsP z4o@BI=y5ZS&KB0lf?qtM_N(!B7J)+}YUPgIuA+y+e|LP6J#rq`hk~n;VOPec@3kDW zuB!Alhp8>D-VsTuk;MS|L{^p@?xpZQdvW*=CC}icL878=6eojl3JU?xs3ZQLbtF`u zm-@2rf4#Ng;ButSJ~MfKC)@#oV_6JCubN(GE&^uXhn~7tVvN$hLqnPpiuGVS%ZSl? zglR_zQZQQbdma2P``YsnBlb;9Vxue_#Vtd`ElW1@RhG|t4o_lXk-$rN%q!8|A)f`< z@GV-hh?Ajf5_EX{3@Fk_2zRuiql9-eP3EV4#b^)U6LOmyYF*C9;T4|1b)&f}{QIF; z;#Lm%C3Ja*Qu%_Tei!IYVD$W2n0;PHl!c=jPQ?NV{|M{JPrmRqbUZ@j@S1UqZXl~) zL80`qD$R9XeUkq1Qiw0q{!Z`gThZj7{l)0EeDi1Kb^2<6ZUotIw}CSjpn#Gm!xMXZ z-Vi!h4Ej3$<~x3xD?3&kfw{7IJ5H0E+ns9-o@U7&-O2^#j+rswTg`kwc_?LQb?jqA2qwx{Y1ME$M1|>T)!VgBnPYta zI(6EE1fkM+F~v)~0ig&+oFvwBwS6&xee6G9gDHZGMBk$7*C+`9M>KM^X>cvBQdVqd zw}(0raU;#P=*P`AW`Z33Ih#nfS>K=JiN=ddFb|sd+ktvZ704xac^!Wb?H##3pImfk znFeFMlnLo93@mUL?6x9?(kXn38c-%+O1oqTn>&mLn-PE%Fp=*2UN|e4{BaromXulmq8$ruo&) zgr=}SO)^>$4kGW!sdCKxFd^CaN#JRT8hPF>!3P}mciAgGfz=xvF%@tB=S1W=e@3%7 z)6&Z(3{K|&N6VbpH%DeR4J}(w0*$zdBx(*Lv&@BI6GhA1@FLD2S&RQI)o|HfKbXm zX)I>IdZ2s}OLZx-{P472&mcdfNY3syJ{$bbv?IXo)~TP(DB-X?*A%KG@YWDO6z#7) zT`s2*F)w~fO;MeC__aKs$E*o#$YLLfp8v>>e@=s9esG`W9wkY*ORO00az-MWt69%X z>M_g@p;mR21n;CO{euy>r)Fsel zWfUntPqf zN_~)MNiKUXK=1PYDc*gxemPtU)<4&M>_r81b&krH;7{DIoJ98^9iarQaY zlz-{ExbI@B$qLzsm7a%hU>*>kyj)4oQ5N)Ly3taJJgn*RhScCO8P0TdsW<0=?3+GXhm=2j zisisXCOXx|rwCG{-@-g>Zg{S|QuNY`;<&Lg`Pj-|ar#>l6ki7=5)%97U?;h09Qfhs zGCR2NuUs652_aAM^93l2j?nP%JT)I&?D? z`vi1F+(fhOd*>urK!>~MCJ4@z4Y}cBiq$DK*rlzo06%FG^UAiR1312>u^O;J`q$}< z6cu?&vJ>56-nz0h-nz8PD*27fJ;NQv?lpZ4%qT!ywP(Eg3%L~?1%h3~9I_+DvT5hW z8j8B9sXmmYE&yfM76nH&x-tzZiITeE+b989Z=I1t69`O4;JO( z%Vk*m_7+vpeTo?+f{w0M*W={I1$0ev)|TK9V_Y=rgtKQFY`|@RXR>AHVeNWZ^xZ(O?es*zwf0VIyL)L`TKmKsy>L@_ASV> z0@2cTlV{^NE%!!fT)x3GRSDk3A%4D|@7vfgjn3EfSdtCs_5Sub@>K%dUjs~t=N+!6 zi!`b2*C^6O*3gmz-}+U~RGG{)OLn|Y9lPjA-GEPxnO8Ic=LJUq>Ygxmzo8VXMs4*^ zZc@|(@$~-%8W7OG4Pl6F{hqrIjCVjZm9)LPz)vC0dOS*5Sv5EGNXFm73uq7uzf&OB zf%6je&Ky(Vh5zE7i55J|4t7zV4RS5pz{xo8a-RZ3&CE9l{%D_h0#k4hK3YH28B(7AYN&}{} z4!*lM3?}_#kpoxk^mv&QzrlEOZCyetnY|(LS>~cz1F33Pqv*JnA@b@(nM(HD zbb^F-iAWZXYpeTLc19=mCZhg~ec_ZOCNtOemI$7Dv)qL}knJcCQEc*yKFg)!jfmwN zd?l=NGgwoO&ufj~)9+g;%8%hlIZ&B=XfCz^q9&>4v*Yh?>|3Qi^H=VewR~9Sp4nAdcM3eYK*r(j`TZc+V7uOSLVcHjhF1+70mgY6J$0_Gv7mH7z;oupPBw&MQo&B?zhPn&NsAAtC;D`nK&bavCpWCfcXa#TRCg=R zQqKBGp83bT+h9pjUMHy*$m~EtFI;V?e%~ojY$yI+!4VF-f=i)bA};3YBZIXzH5^#p zewC#;&JchZ4>rxXjZBLrJu^c&g*YqB&wH9@&ay=69)+y+rz18!w3); za^i9Nl{E$h8~V^UmUaHX)}l5NE-uelXC(d?(Mq-P+wA-= zs`3s<@y@8?gb{7j6+X&_s@V{)AO4MFo8)LX$TfUz9tfS+{kZx`w;ZsQtaKEw%HfZP z3b_7;@ZxnhtXnDCap8gUsJyC_DkoH!9_&lk;z_#qBG_i(-R;ej^|@|GGpHc++IO`y z_ZN7i(Bsq>{(u}Y2)9fN*;j{TtK+mfJ-ojQ(l~`PgIjMd&AO!S z4gMR6P?5=TMFnG*2_?iP8TeuhV{ALhe7-tIIoc>Y);QgV;s+dr+v(bQ7v)o9h^v9; zn`Y(LpKiF{9^u=dJ@8tDI|4j^!*gIaecvGgGN`g7Ig(xP+_hKadz6&8q@*p6P# zCUd2{-&&sQgvvpiil`79XK)cf)`I2Mk%Y(C6{1cd!!#|pv=g)z_V|E>h`Xl<0`CG|CNm};RUb#7NVbg zhIOsd2=?q#*S_9Yzo$PHi>`_lQs;kgMo1@wn&jf%fiCcqOH_Fkc6@AncE2VIh4?L zW~xcqJ!wEbWiMVi2L{^8{cLoA#rO7gLGXR5uiIk76;4!oV^uN?fsIro1WQv^nmb^b z0-*^5fL!IKb0J!)@xz2>$BsBrT!7sr2}c&D`g0_^TMhqjmW-SV_c45crDe4wke+jPkp}gb7XF>AQvXay7EJ2kQ1;jHV_+n-Gj6j)4(n2o4J*`FjcoVfJI5 zJWCVJIuiN7FfR0~H6;QqiubVL$Fmc|_Fk8b@nlbzGTOxJd8?FB6a1p~%%O6Pec|lk zFoeOCjZT~hB^i}gbWEfnOpToKqRWf?t8?^?ANjO6+;b$1{#@|kS2^_;Hn`=gw`>Af zcS&1U7W;^gI^Ajv+5J8ZAUOf2)g#4Zd@i^HNfSGD#F|_n%9K7ADA7>3H3KBppN0$G z=dkCen2e*v(iYvX_?ua}zHLFD!*$eJhV>sly$TmIhqBF0Fwo}`B9mEGR0)R#m1!jQcg3hUrJ40H($Xk0 z$am-V-5fj)!nssOFffxc z$@W6$!429Z%6^KP9%9O&WUIAt(g>+Rl@7)~pVScJ>c^dlQR0X!vn({CkjwqwY^DhfvAtTEJN2JQxr*qxT5N4u{ma4-L1$bm2qEpB!X|T!LD;R0X`8$M zXTs`;TR@NMjH>Wyeg45ZQFTN;(}M%EF71FglkT29yn41#by5=NKzXXHInu228YV)I|MzYYcz`MPiXp3ou}nzM9sM=LV>-X&C*Eg?pF!6 z5sUGYSIX%}VeA4x|C{}V9K8c+YgsL#RD=JcY}MA#IY(t)hq=X2(1iZHTX zEMjBjAWtEf8-}r%lpDf0a?{_-ihyscE0|V?LKHW#NJCREw zwr#4|qU+xl?xeLz6kE`{FEt_5=GBn!WPH7K*FIWei)b3`FUIusEM2^_mYPH_i6hmS zY981~Vc`N${u=st>&CmT&JJ&9(?sR}#uSksy>z}kv*yh{rB(sheA3ztSj80*HQzEp zrEUp)U)!n2Lun4H)&^b1PLZk*X4PT?8z6On$awu35W3i zMYS7P8fE(#WUP4;n}du?y*4%*&7Ys#!rzL7lH-$9INdj)hOM1619@e%eJ$&BykTk) zG0}>9=-zj(>shx{^Xn;lFSw=%Vjb?Pw{D9RtQlv0R6gqdF!&ZV|Q|{n~P1@D3UHXBVldqno@Jo z8Tp6+JQ&N54*rLpqj&4Am9TYyWPFp7^%m{Xm6jcI;9sNE{7J~vD>H||%Osnm&|O*> z*B<;)5Dq)0aCx9!raMa_4*H)EG4;g!u3a-Em7M}HAWh@#wX#IvD362jph%;g0}m8z zt;3IuaH=;LKz56)Q>IWmkjw5#0@-%{ICcEX5|Skd zF<9ClcP?)==cmzF<5nLE`x@g$v@OE22Q&7K6#drZ{lg>DEfsgf;Z%Uzs! zmhm72%I>{)?X9jsq0JI|Y1cQ@qFT(I2}oNQ8CaDS#VViOtN*1hYK}H^M8n-Hk_J9( z-J_O;wbIp|jJ2aC-+XxSiH;62qcH2jw>W0W`8>yjD`6>dM}LbAMl(|e8KqX`P;y>h z!!#}r3@#x6eLP_)WB!4N5(&1(AeQFp@4!0M_8Du|gGwkZj@1f0D5~npaKYd(oft)q z6ods4ZDmB%gYjP1ti`tRehnmd+6ckMF(UM%+3Xmq@Ki+Cev*T9P6I8$T!%9n#V@O? ziQgL}n+HNktT4>0O4ws}#1*FJTV@-av;j8CA|T0DS1Fj_a}Bwxa;A&m^X|-Tu@)zh z$4c|Izp#9kY~98Vh5x98&JrkF1s%zIObE-v_3%M5B=zyazGS5+ZEV=_gtS_u%;Xw( zis(cu67B|Oe2-#6Yb@Z6{>`L$i;FL$H=%q?Kf3_aHs>f4eW zUoftmVSo1u6dNy_cb9 zdPW~r;ZFcC=X+JZc z##=1{UMq|#985UtDlzr1%9^=rP-`y+T*#?<{l)izxi9n6GrJP%OWjVoyf(^PiKP2O;o#XfZ<<+dF*-LFB8KWnZl-9bB+Mhi>pM>z&jr7;~)-Y}`O zu@~Cp5m;_Z4lYkQ%2&MaLUWtuD`r^D{&fJbq`0nRlxRY9-Cq|2jL%fjq-fgXkuMa$ z_O^2P;()vIyLG)BO77)S1$nHsggf!88mK%R(Bcb5{b=dawSIje6v}EgUyPm2%|ERf z__~(g(QjA&_n9C251$R%#5Lp+((p45+v{UwA}Q(T^{i@t3C$43Fa)RE8ZQzu^4RV0M@NLS{D?wGl3?)GjCR!kgr?K6ymBMst{s9wtJb?wO=8Nl z12>ZFvOy(DUmywSK3C~T=UGi+w5BGS9&Z|MnWGP+xd8C z$6F4ikh>T7Khwfq7BFreidzSZ><%iIoPJM18eq8Kf@vq0yNM7KNayf{l7Xn2^UVYNCmRtlr;E!cA zFeGQAe6U5UdytDh1GU(~tcbHpC@nuSj4ZNZ-mqjPAtigte){uoHLBS+xjC}BrJ!Z` zxsLEJrnXJB_`4+9H7Wc;D2*`21TPH}`2z8sBp_Sk%6|~H2d+FIMR=$XU0KIL^ak_g zJ0(`QmI~Nkb|)3p23LIf>n9Fg2KPnrGIQaQv~&f09isJbuc#Zr$xFnd4|JF zGXn7dj?^w$5387fvawP-d|8CHlAZHEN;@#w<^UGAbd-h;_r5B9n}uqDl(s2}H9$ zBlR)zk-^DnH^I2g9SCgMi87gy^1GKRDUG0-1+x)OZBciZzIk^D`ZL$fl(YH2C*<^J zhAH7|i$e?oGhlMQnje%>f46~Y^oT>4A|R8fL6b367_|0!Gk0y#WC>>l<1t~zJOX7B zh$JR$Xz=0AvsX&jgp_OV{t^TL!qZOzZKhR)`fI?#0GNL#FJTC;+3lORV(<=lRprFo z?F_+tk2P5D!+u_dR=?wSk$(;Y`<<8IopU+d;8qUc?+4T*H-+=}sh);4XEUt=yRBMd zTkvejC23oL?2nrlM*{2rQOpAtZ2b?)SQuhSR?i!cyde625Kl> zjcf?3E3MS=mYS-IKXfJ}5y)=HP_{2G`1*&d{iO`nOgA%@6tI@;d@+YPFvbf1bwT3Y zP}6Hs12r0PB+aiOj^HU8I_W#<+*-utP9 z3(*^>G+r8(jl~Htj_qrq-a0Ko^vlz)UGq03!`B$<=lsK5adl*b$pOYUzYg;;_N}L#4JY0H!~trnM_3Z^}emSoaIc|H!|+_ z%Cz{+zBk_*L};`CsMRHX&CG$u9Xm3lGTN}s?>GPUlxHjw(z5(T-#n%(^!)L!{RSB3 zfh)@9MmMP#ZZxxh_zt2;EVObsRbUzYH{k~#m`t$W&>&4Zs-a9eYH9-~ZH8K64j?H> z7-4ijTXJFAM$XrebQF}Z!OKMZZs^f~IW{7*B>ird8CXz=izB>H-qP^Fnh1yF03y(I z!>|9yH&83bTDb2c0_*#Kh7_5NhDRXV>84f+Ce=n+yeOYK9flNP@3)Ys)-cg$iaMMP zF2G!vep=BaKry)Th%EuR58nN28u{O=&XY}t6l!3ZJhXO6&Mio7$~z}|a_9g%w}w%s zr^%n=ut!t&?&{3cd0|)T!l}jIA)Pao(u(PhZe4&Gj|ZN=lOZc7np*|-7zi+2Lv=@Gh6P+xWw1wOeB1pj z=80T|^MGv*fWx8RWp8MJP4t8nEt~yvCL?j4Hsr@m&`(VcEOE{K4mBW|Y=~WyXyARznhG=>m?Pf|chtx`hG3Wk37IU|6LWNx0=jAz{$G&^*C>yEPp}FnQ63 zuRc>yjD?UzzfRhTQ(J*cH1dt7*{UqcwIz8=Jm$-m^S{a;j z1tW3<_Wkpq#EOseSP${Y4vHDSaGa)f8vncUmJC^+Otmnk?t5q&3?jOU#!1J~|MA-2 zl7KO!-%2w|Hf$bfvRP#242PKvcNV+WtX;liljCxW4xvpALP?A22@F|olgPL#wmm{g z&!6OU{;*>oFFmeVvkWDVVWqVM$YfdWN0W3U44owaMa3A&NwuX#c9kULu~k7w`_`pL z*sKqW|1OuS=1|-B>{t(cUlBh8TN`_yLdJV8THt{a$)dLRXQXnL>2)prVb?r)+;*4_ zr9a<9{ht7c?dO!^h17N@HP;4;e99Ad*+D7#Pl3?s?U2(38x8UZN?9!pK78@IarDQ@ zkpD)do<*Rgv;P~FdV*E`8K{L8-UauBjRTL)-~|Jf1{n(E>u+dYmWY8ncsK3Lh?Ckc ziT??v$S3lk-eW$Ims+Gv`±xU%t`tD;%G8}CN@H(*fR)AB2$nIeu;3<_*b$+((r z1X0Fl-DFc6z4+3u$pUMPL@&%j-E6xD0U2~OcIaL0BA0Nl)KC}&Zz_+#sIKcK^%`Bh za4w*JKhTjHU}!Ayll(zdW$C4OW z6;OjLaD<~ZFL~uy`>_l<2z~r&=K}1ZebSA`&-Aa2a$$EBnUCO<5 z_#BJOhNSHW#bCL~W17A=Voi_y8yY+`zGgg*@t|-i_6Z|~opv`U*Dl$SJ7=2p^o1W%(Z~Jkac`$TbMYr&>a_yzySe|fGe1& z2EI_g0J&mTJNTzY1T-AdZ={4uws{!?$A5*5(e^dkg~KcGqWd=Xq*U`66y(1ZqBxI% zsU%7lASjdrjXW|MhFXYph$89-^;ZzQkayg4ic0iDK|fI(yKow|@RQ>W!QjH!o9{<6 zTGCkzi|w|I!&!9ezZ=Z^svBu)mp}8H1E+=C1zE>`AXygOwDuzVh zx$9h3!h8FSuALSgnJVeCc&G@&Rxp^7t-9d8U(8wPPWdaCjtl^$Jt zvB*JC1UHrYcs2GYxZyFmz(A@`(44AJpHyrfX?z5(V)4DaevGQfvE{xskXv> zG4i{&1!-Q%LZ_+*-E-#lir)R!p=YBmTSO0o^nrksZ7fwNy{JU8AN`88+mfWMV<{Dr zT7!PYkjpb#JV)$=t>Phvk@w1i6>|PBZ=*a7!>SMY=rAZg&$I&_6G=m>`eR+6iVV9# z5w10;EDmCp3~1hkg^h}!i(X;6FG1{3j3l(1^od+Tc3X$RZlzU`Wb2GZWq8D8U$TE% zBx*5I>?H+@GJD%k-wX;_NK0Qd_s()z`>O^F_jox|mL5{CI}Gla7F4|d>7g8EvE&vX zf>UEWlQ)O@(Av6q#0u?_nQly#+Rl4{k>eTN2ZP?|@=(aTT z72750FGAX6g~7n37u3pUZ-@N}?mBRm zKtpHkG*sq=6&53XQx>CBsDD@?;C!%r?Mqj$FH{bK&zB`;d}bxQapu%-6F6`x%->x$ z-DD-xcUtWC_@>XDnCw)@wQ#|Rg~I4N1BUI*+U*d~zdOM8kFh};GgaHI3)VoGAwb&> z3Hz1R58jKmO}Qaga8j{v9okvO{vzo?MNFx5kTOmZv4#Uz3Q+*{o1t9|%k6$(F&Oc` zHUpk0JSbPQOxjqdcyJDog?B{1XkqxW>p?VmN4W`OdEq03P9$Cj%tH;2&FKsXg>~tS z!aUn6FE5b{u|{h;rWq$n%1M@t{e+h6aQq?sc`csN`omK(izmOh_94@V&7-M*@{!j@ zXw^5Xop1jiQws-0i|Y*?t7GqZJ-({k`swGpWSU9+L1yef|IJ70EM2|D!N(j5k=Okq z6T^zPdun^sg5sSA+IFzo-))b}#Be2uVcpn={Jt1ZJuurC{|{3vM@FnVdmSuYe&V1A z6Nft})}Co9ff%acunkVjp?xpdE`6)1`n=ffg5n2+)y|e&9_t$@*x3-F*K}1Ll5txHfvMd8+9l2lXti@=aZjUdKkfsu2!$#q1$B`CG&mLwKG@Z&XJ<-IpODy(Ef;-#v6Df;0M&z3V#`pD?iTt%jc@!nt|l$ zF)%I)&W~dSXl!;Me&7>fm2-fn_ zDM{~}4?!e+)4(-lQR^QOI>*v{v`oVA^w>5L1MMh;;!l-qg@M%QEDXk8#{4AaB8VoQ z4_DxaXiWq1m6G?dJF}+)&b%-NH4Ex^_oOZ`lg%yFOHm4feZWj>but?hl+o zNE_kRfP6+G++`~KdJBV2TF+Y3!%UvJ@e_TnOIm-wnNA0ZoYBrLbBb#5JcayQ*=ba$ zGc!|x-bO5~J$M)M+lqip&v846$kxRWeMrb`FU9%Ff_@;ZjgVuYhgFJK_+Wm-sWnuG z;r@T}nWkpQ)rm^bac3WF#Wz$rL(xX8g_6mU&kYhMD@t(#J^dNU3$7{0f;_`y|5Rf4 z&NuT7!K!vfL=jyerKSnlT&>c{*(2V+$;JMbKajk5TG#un~YFr6JfnL zhvB`)JP2P+d;uw*CRvlTpD7)C)PP_kHyg)2NX2SfoJJ3R42B;K2O7;!DASw@$w-xe z$W-o<#4}ZqtRwH{^&@lV6xky|^pz#EDHR14FYDGW2W7%?fJ@S*X{Srd$l@wn0x4xg zo(a!yO|mS{N-*xB&#c&GD8R#Ei8IWK%Z*@bmQEEYr{PTE6zF?6d1av6$gZr|DN=D$ zt(5D|Z<%LaGOZRzexsYoQ|+>{rCyp9>BmL{RV}c{Q)3}SzjvzIW1sMa;=J{FCh(b( zCs|WSC&0H74OjpA*3T%v@F`;!4HE+{(Lu*4@FP_wcbPt1G?p5rDP@*HHg&Bk@3780 zx%Yg5E|NLDJh=)j%xoDe+9iLs{frrVKFYj1TrR;To25R=dabCVVmU=%tl`tlG%)-G zEONl4oBzzyEa_maSo+5JS8#Z_;*nTN2o#c1dC^#jV`+yNontZxWpzs2IPD@jrZE^+ zs740E@pJ*)Ob}HgL6WAas* zu!Rk$@lAnfW6~=%Q}a0_?cnn15D}(9upy5+l~t zfiGX++y0OOv|9b}x61+|59MEi-iL%D@f~k{G66UO<4hr~mc>%&KZxk+f_+B{4wZx> z_go&zA4R>4Cp5c(nJc2HorNtoMN*Gv%CcWH{##v8MANk7B;Itp@Nxq5mjyncJ)dXU7!HWArMh}!F3NJ)k?CM#GY_LAV zei;10nZ=;hZ6ve;d&w&Fdoh^(@RhC#Y8Ad5fG&X43yPdgTc#@<$1l*Et+Y8s6^w6v zWH`NfR34w%JsH_!dTv47T!EToZxzNigwBc^BsoYf4U8!FAcYs#iwOX?$CZpXzs-dH ztZc*KMf~kk08dxC$I$!}3##%_YxW+j`3Cnv8!4iRLu62n#C4-rR2TOh=x@DWfZHmn z!UYI}Dm?r-yR$-q2&k3|^d~ws7GQSTup~v~_Mu_V3I0su2M_Ck5P-I+4po4oD`4Po zn=S5*5EY>vuQH~N-u=B|JSvPeUf4?)q!dF^<3g+sg1%jH+->?H9LZPc_;YqXrXb`C zeCU(L3`*3~D17n;94}BCGw85pfXZNSgS9|%!?HkR_E^%G4Q`mgs8)H56&2lA{;cJy>`C3<9JfX^Fpo;K<6Tf zEIa`+Z(E2+WCTX_&akWwiLA((Rr{NSg%a+MgvVSGb~I7aQ~RK|32)I?eJB_qaTXvR zsvs;F0{_?qqNn>J=sIzLF5+*oedoN{4k54%AXU)e+A6Rzyg3}e>m?|f+m9S}u@lNM zEk)r2x$P5L4pp8JUOON7tr$T|5Gnddi&juNHNYpGEdV)qT+PTLBrjKgE97kKISjiM zg!&>h)2&gTlVO1_9rY|gS@MXfND7u&`u>A?)I$Wm;O(XFpeg{#J_xDS7u*|IoP~^M zhCA!E)~&n^`}|~oIs#sf&0U7t!|(+#1E)|!JneYb6XsBsqZ2{F-|a~+a(ISs;(~dj zorSIv0aOOwXo+S)w{1b#lpv)zvN7w!N*7~qFAqp_g%mvsU(iVFA&NHQ4VM?8czZE) zL9QRrS)2z>PwX`T-k)~%Af@fu4sGcJk%+Zbo%+)Ya>SkaHXaejI zB3T)1$^h|UV#LCdr};>K6gs-holyB5@C?sxd$iMUnIDk|)uass)kXl)TBLT(*b3OF zaha&^_m#wsjMw1`TRL>9;XcRTl&B$B8=mub8JHhcnM*KEpCl(+NNn7ggCSQ_#I$1e zECn;{Z^{Z9ItB`*8VV^g!M(!XVax9d$xk=_36@i(s`C*b)c`L-;3O8mDiN#k)bIdJtmE zz-~LB_#XJ2Hqvjd{;ow;t6A29XB*>58{-XH>8cQsQe)u_;XMY3OdSY=a>xpM@BvK` znu&rUN*rZmt0v6^TqY}