From b44786f18b6113bbb30134f0e2e2cff763c2bc83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A5kon=20L=C3=B8vdal?= Date: Mon, 7 Feb 2022 00:11:04 +0100 Subject: [PATCH] Use the state images in the readme file Also checking in the generated png files to make 1. the images avaliable to be rendered on github page. 2. graphviz a soft dependency only necessary if you modify the dot files. --- examples/elevator/README.md | 3 +++ examples/elevator/elevator_state.png | Bin 0 -> 27088 bytes examples/elevator/machine_state.png | Bin 0 -> 45862 bytes 3 files changed, 3 insertions(+) create mode 100644 examples/elevator/elevator_state.png create mode 100644 examples/elevator/machine_state.png diff --git a/examples/elevator/README.md b/examples/elevator/README.md index 6de14ce..241f9b1 100644 --- a/examples/elevator/README.md +++ b/examples/elevator/README.md @@ -28,11 +28,14 @@ each other: - State: Moving - State: Panic +![Elevator states](./elevator_state.png) + 2. Motor - State: Stopped - State: Up - State: Down +![Machine states](./machine_state.png) A good state machine design avoids circular dependencies at all cost: While the elevator sends events to the motor, the motor NEVER diff --git a/examples/elevator/elevator_state.png b/examples/elevator/elevator_state.png new file mode 100644 index 0000000000000000000000000000000000000000..f15e80753197ed50624d9831a6176403b6108a22 GIT binary patch literal 27088 zcmXt=16beh7x&w;Z7sKK+qP|E*)?Qi*{)SftCoLp+2(55HlDlx^E}(tRekIG(S7cN z_j#QnRFtHV5eN_D5D{fI2tIwhZeecU%{k@GecWE#&AH5S%aNuIMw0>m z@Zuz0)#>Bo!(`MZ1CBrtQzGW5 ztE2Px1q@r%e%U= z+0Rv)PM0ViEjOXI8!12D9Ph6*vx|y~LP0_O-PzIl7+~Du9`Owp)pc)zOiWCS$LoZs zv9a;$a6WFMCyd=;frWvAfv(sY9v)Nu5-AGp>+y2a<>k0=z3nvhj2-9mA|b1tM}cm2QfcAJwbhV4++^-nWx~?H0S|9p zbC%D|0P{_>(x6$5!(lD0n;4&L=G%&zNxL!`+rD#@YO;#HV``(_6zC1skUtF*?6v@%h(uSM=i8Xa}R4i4> zhC@c?e0w6U=PGz94fgXFPnYADQ}WEUR-+ku4YebytJwjMHtv;ji(E(~^`qZZ*fr~mf*(hbQZ7Fh?_IF@M7q+tJ9A`|E50I{Z2+BHa&DhJ9 znKAiMZF;|x>72%D4zsbb0e0=vmnGlBswN))yHB-spFcwgz1;m%J1i|JVKeIuFW8k& zVd$ElPesIKVsY8*Ex1Ug*WTRNI2Tzu2@`&ON_sOGNLZAKX186xxp`X;%Kl#TpnVt@ zT<1?41Nclt5h6+2BH2xef?_7ub|0?s*0i#4z~7s( zEM9T&;x`!N_aAt8@W5WwYp~O_3jkJ|FCKPxJ#Tz}znjbJf5(!|=Rrc`DaZM-F{OpY#pKqPFw#I;2$#FF z4YTd(Qf1uF;jyt?KRO~m?Tp}qjnE5RE6H!hZ)+cvoP^1R@XjLf^n>DcICuS2{Rt8r6XQI|&P8umv`oyScrsx&6rT@^q>Ewsd-W1UWf53ONGz9ZPTFY2G-9ijR+= zSS=zqmlTs)Ay4!hjFcAA^TRdd2TICd)1FZLD#Q8yleP|DrdPr{grLB-tX-ijiQbp) z7$3zYj@H8lgkp@`&zl_;zkXYwRIc{LT(WLiS^ZmD_?B1tFj1qq*g+H#mT7lekAZ<9 zrlO*fe8UTFF~@roKJOFO1n?ZxN?8NI_j{k6OrWWCJ>ZTm<)%&ZR@oAdZ^z2 zixZA5wZ0Ehy**ldbKm=`t=xxmRrGYELjF8&JE(a#=ig8=y;R)N>A!zH;6Tw!JB;s1 z4!bg5pL-*!U?**VLC|VqKMrhJZvUNI$lf1bll-XxF%f8jE9AGysMYaE9EWuBRZRC- zC=>%#rh%}Ql7{Br(UF1WbCqsA%;(+Qpbnkp;$kWgVVS)6hf^3KO-9mKsh03LY|va> zT#goM|Gk?{>Fw(aDJr5YY(fl~&gg$xTM2KAY%n)HDQY`fL1@@m{K-3=GRDM4*K~$_ zLBr1&MVO!_QjsCk@KBB>7N43LmYh7>PEQz-mWBs$FwfjvUSZVkyX~|)RV)wTf8K}t zbk>8~XVi*~d;-D~Hk;OV*V0l8ZMvSNiIb&lpeK{!Q>H8X0l_(L^>mxt;l-g_&BjCX z@R1&gf}R0eGyWpnhhr-?2;P0&+F44j$zzOrq51v_?N(0cu4#|8xDWVUveD(&H^**M7MQxq+n)d zmVAwihX;q%Ki-}c9v<%6G+ii-n#Ure4ibPU!3+-DZdg+P&sr6nv3tuP7yPfUuW#>I zY~$zr;jWp@%u?pgm%v|y6Y1)$u`av8|Lf7zc6o>?_Co9bb7r%aS82O(|y7Li_W~>I3-vsi2JfliKHONj4{VVRvm-Y%s zN77@c|L&mKZI<$(jpJTEv->GwRS*X8rc~zykt%kCMnoCGiu{cKXRscV745(jW=Q)Z zGc|cQq6%BzCCU4DnWuFK4ztln>uCpw4MPFhUp~g@hoPYo@j!^AG8sk^iwOiga8O9c zZav*!-aR}dW@gIQTaBJwUvGn4t`zKqx2*Mc%`Ywjlg9OYQ_{@be19Szl9JMOvJ6yH)6Qa z5wvTCSwHT$2UgPTXzdiIcm(-$;!%A{T>{>T%W(;dUS3|Ff{qTMK~FJ> zTCt|So_*-?capNuJ=FU3FuZGxm})f{g0t~=#mvI98_CI;)Tj4?(sQS#x6Jy@==i|J zcNEkHP5U*r9=CStJWjGbDEnmnv2ItfYA>odx1cP}XH);Tv;QT%*r)tD7>&|c{sYBF zWO_fs6#+q+IAt<2Y7_`JdPIlpW0@zf>Ji2)frC7iA$dkG+YcdrW&Ik$J?|&l{k)Ej zj~8o9zm*qj=p(^E8W|Zy6VK#whoVZ6dY~B2=w9Jcpf~g4S-3jwRQygU-So|gJZz?u zdgda{ZLQo}36I{mMGe|q`JygxKZf_9h-VaXDpLTXDu_G`vN)febZa_VxSO<+eHj!WO$Dv4s9kT!C2xf4A0*Uqr8kYy(gvcAzw?%hdg((S5p_Ql)fb)qLXZr>^tGAOSX*=@E@n)djD`LHCR3cpIl z(8~w+w&i}>GxB7TQ96;(wr|fk#5JxWCw@^6Z=QG)m{n zZntlo9;XTKrRP>H`@YxE(rQGJG<lKEO5|zsQ?s zHxIAb3i17zpTeuMg?IvkGxES*2f`@m*`wp}gg=&ums~O8bCEr~|MQf<&k(7?cuj{s zg?tT_`3jOMKS8m=xixR$&8TNbSOjDj?ui_M$eRHncbYhI4rp2eF45Tr=7Y~aY1@j+ z6C|3;*Fq&LW~b_{l|j6PgNN^$ZSbsy3JwWj&65^}@j3`ARTKn4vhM>D?Uw5mAF;{} zmQ=ac#X=_Y*)t(U*VN4^pv}7fy0j` z(|6%p}V>x7uNp9T6U$Cml!f%XT^xEP=U|m6WKH&@O7u=E4qIcM~xg zGfnk~ZGu{r*~G9i>(#6^-CQk89={jN@kYB1>al2$AWU;6>;Xw!!O0q`WRf4VvHT3* zk51EfzXPB7R$DxJ=H^oV{{4$Uj8X|tBFiu3497pCP_VVy9NyH zZo}0I!ozxMAPk!QLtLJ7HmsD`=(#Ej#KTZZQZ%S4b?ZZG&Hqe+s1f-3d|S{HdrQuB zLASvl=juN!`cuk40&b7fiiKiVi7l3eY$BUK#A=+2!>@^=j!mWEG+Os{qm0i3@?*c8 z9*fGCT>8shBl+V^65rloRAr)GNqPpj6r5Rx*fy4W-^#arI0I>eSf)I zs6u-ZVEWO5x)`(Lk`}@+mvhW%$87JH4a%`(y(8q(zp#YGMe{jp7Ar_n@e|W0%vFrp zoP+e2e>mkXgPUQgyHTtpkbTz5?Tk(m{czbzG%vTEukguoR3Pw@F&TF_*riMDPUMRh z=+;|xcXf$Y>NO0_xY7j+ktuCe-DwpG-dOhb*q%f{`V&i(b(A76zoJ$C0bq)NtFBr)uGweK!O-`QiM>zL-^r* zb*A3bv-t$#=tevFVGKNZLsRYmo}k3m>vbl})^569y2Q5nGm`vBdX$;cdTMVlb&teZ z_j-s{A!GedsX}z)fa_$CPoOzDIhnmY-Gln10%4XQER)+gGM(KT0r=oa5Ls(IkM-2$ z+2~rz+{hoN7s;CT8DeUz8+pZcraGxE$#^USB{}q;k?5 zpU&i(%7|kt4k@{G_LKZ{{xq2Eaf8rS?)#uv(oY2ZD;O^3r))(;t?4>@LZdr(g4h#O z5-ZihNi-s&kvhxa1)x626(@qkn$2PW?X7qRKAOb9pO+O6=}oT!rAHmeje%?W3W8jm z@Cy$R1&ZZUnHp{;atB89O)g2ds&!%5@OPAB`k!hO@-))*GJ3z6wruarWXe9BP5Cp0 zNuKvE7w!u>$rSr{VPImyqo7dp@T7s1K0YbwTWc%-moH!3Pgc@FeYSac7}eVPXt+E$ zeZZpq@wCpiV8gL1J87To@Fh0ib~FEjKwQTalNYgdZ_n zXfsj;_1IxKk?2I{#?s}rmRriM2$!%j(7XtZ)XjJH&n?Ev%C8lPMp0`{IR^#`<>%)U z33$hY&FuorvLH(U2zcIpe(GR3S5{Wa^qZJ~q_wcH@F8h%z_l!@K@@U7#FidN2?GNI ze|JVRDXFPl|Mepm6c!GSGmm(zl&Mm@fBzm14(W9Yk3-?6y2jQKX<*=OhZyo@nA6ThYaR0D1|N4n$`6wTh} zkN^0- zzYq@u2EiVWsTSv56`0*4mSAiI2hEUi$yv-JC zpv+R6u@th>1z*9vYbNN-`anNvq2&MmIKRClg~|n$Znnljw=JdG`0le(kKftOQe2G( zmy=QUj}JohshPUGaAXsNP&DRA6MM)dDVm2W9(!Mp;|^6|Zz%o7=(m`j;8ee0{l?Ig zFUG?mg9;jXPWQ-t>2@Pk+PaS`&GVLtn(4r1SKZQ8rAa5m>M-ZoGg zrR3%A)JZpjQ~FaH?-y5ghmjn$(!j)J{1m*HR5)mO$J%T>4w-$$UCx9zT4RIA!9c{F z`cEH~^CBZ3Y+qpPw{&@u>!SIPbfis53Tb^*^w}Fta+T$1>P6HK>|w~l+lCJ@G~)_t zxf`Q`#83W8%+WLFA@bYV$u?xbaxoBg8ub0#?o!aX;v40g%_=f`yJiMU0(V4wG+*(h zO3m!}MSio(d(<*Ms06`B%U{ys3XJ7*7b2mS>qCwXcV<-Mfh=EcAR%Ll2eY#H>sqieD(P`&I^{9Sl(J2f$`jTCur9t0(I!aag!rLF&)M2`CNJ08Q zwap(9u1sZIAOcBrNc?>^f|hxWO*XhrS|_e&vm>1CDv+HoVnJ~Yvp9n;HTI{D1>fr zr4MM(x$ca=GZk5NE-TlZC7^TAL2$j$5qP0E@SQcEkyfV@Pa53USx=6=j zQ&?)owFmFI)A8lx=%e~@Ikv_?4bi&mXNsU>%Ol)rm$E|x-3&^~=-BNUZq-Iq%E$K9 zN#i)yhAaZ*W@Pz;QOcC|j`*BH*p2yC&n?B2GSPu;o%Ua^hB2q1Uj8BKaS7gQ{h%qv#S`@l(t*#d)sBS)~F5pc|T7 z>NtUhO~A$vTe-_57PL+7GmM+5rxdfD6I%R%CT{lhS!7~5;OuzQ7#mz59kyh9sE$%V z(vxstLcyda#w`a!P*7{^(~1Cz-(|>;2?{b*s za)-x2!EdF)F;&AoxLRsrn@&0%S6r?%)~-T|1KVo=6qjke|h0k5|;|jE4 z@PW6iv4!EfsQ%LxyGF}LT-EFT{`c`$=mqrj$^5T( z(0qb^%zxgSRB5p`XJkWkrl&`2d}-&bTFE-Ask*l{!HyANB^69= z%f-n*SRs})x3z9yrJb%hy0=7hZH@*?F;;S)aZ6XCY;Jr~j^g+(>_m$-zdHeOg!Vt4 zvq#~l>wN?Uhsv~OE2fy|%oP3L_6p1%BfnU~VJfc*+T-%KUnLiIdbu!CkhUx!K z%<{YlxJCGS&b6&SqN@*Ax{r_&M%?@*aTW5zU6$sKXT*y4}v z8fm|;ORc8eH?XBMmL@*8RXXtM2EC&!@7F-`T`hp27WZf3r)}yuqz7j6jX35YQ6*m- z=0MKEVAXf=gO<@5+|Aw7c^N~~RqeKh^S`DWThX(#VnyNn4TF$>Dp z;VxB^2K3K~AMCXi7KYRa+k?!*bl6(ryS z$Ilp@#^kd8oew(_MewZ`P!}Z5E_K8YFOt+adb0R8yCeB)mH`onf9MA zT+i=q=7s-?HfYOZ)VZl@e6VeUQ0k+?3}jEAS$RM5-8F+}34NxFY0l~g!hDR=$A#uLd6C#Rq~q=Mr6}k z+2B7^NjarmV#Rso^@4^3vy3e-O32fY&phs&vEjiQTWt6_v5i+3Kf=_Ep1c^@KE_NC zMilMfpOx$f2!TELcj=p4J|=X}EP{9;fQ`!i;>+}?aJ*P7}4^8B)I zX$?Ifn^|1Rv`TAoditC6!93ZK6&rgK$)?>>PzQ4dk_Z@C`1j<_=ZEz>yPu9UhW;}a!KCfn{U*Dpq5Ji|6bt;u%U%1Yw}% z4<8%Pr#mSk6mB%Qx^)i^{@l}U2`hzN8@oAb^UglY9Lx$=+>~&@V9P7c#8hs$=^pLB z;A+?AB~I5Vr)Wp(g#Bg~!QEScsqGLd$ z6z?O`dhcbdCKr6>edzyZ0Xkd8+U{>nFFYQWIq+VERwDY+Y;91F$es7+bvkYWd0!GS zywuEk6BBf7inCV^v66N9m)^%4cg>O{H{+i=WEop%I87GV6GAW%@v5^n%tq^zt}T<^ z;8<;Uyoe}lXk9SH9N^G5ajH)bjVAnRdryv`MrUyAdE)-TkAE3kzFTX2ERyxuUx$S@ zzRB;Gxyq#!k4}agwNOahZ4N`q=9URQ0l|X)KRa_-9Rt^Ld~*F}Y|{NTHm#3Mmg(+| zY`Y+rkglf5d-TeU*CVr*!WBMP*2kT#sC@jy&n8dLKs{b$@+kF@WhOwa+X8nB>!g9D zl`+;niEDJ>c^GGtX{}7$vfGqWLT-gW@>h#_oc6Y4slI@Qk|L3#?WWD}hulzqzb%H+%|u=_ z%s-#4kfS&TEZ71CJb(6Hr{5CIl`#xR`jkMZ=%?6=rOw!IQdF*&{JZzUQG1z7$8X9FzJ`tlMWOx2ZnEZ{j=NW2D zrGA)Rz^~!P&^g(%z;*rIiJ_$r5?x&`QNr%(SLoaG6pD73{+{-WVXU|GY`l-qK`1C0 z7^E%eCVjl!aMDrm%^s0eR;vlXw2DJvm&aZ7NGrGu}XAS+s){^Kcv;{d9(=3!h$}s|9id38qH(F*p3h+n*)cq&t^(X z`n^R~WRMxnJa1P%IJ*beo}g1w$VJil31Q2@R<)=pJxUNpb?>g-4I!;`x>oQ(FFi2I zulDS(E!zbr?e;|h@#yKbFI1J$_}Jc|Btdil=}BmTDdq@_kkXnmB0BG)lx=;ZN_Wk| z6Myum+$gQqn%|MhLo8|klF#r$vpYr0^3D`5{^HZa4F>3rjs#1xM=gDN<__s!d^VNz zK=y?Un>%KE;rD@ia|v`IS?kKi8UK#lXjDBK z9U+2xRdjK(EsK6s!NFlxfccj5G%Fu7XXPkDEpdJyPHo&nS&gos|A691%Gf+l>F|io z#i*m$oy>FK>#GuPEV2o{;&krCbdF<6K@*}8j5;mxm+I|E;+d`Z_N{_q(N-7KFy^2~ z<8tw-tN9Dz__H%P{rY1L5OG1{KR+T!ouJ89>Xh}H&dbgw#x{`gemwEJ!RDSI7JkX* zgkNm7u>EDAINYsQ)!j3OK%X4>@m(<~6HFF?m7Raj9x- zcZ>p&!IcIFOF9V&)nvw{h1FgGFr3aBM^Sn?E!^yGI`|}#4pJzK1dPCG4p_2W8i(C8 zx^nW}7{pQ?Sz*kx*SR!u{E@37r!W?`GkOQ2zW0v?+!HS%iMFha!J!)3%{o_?hFXzu zu}*2`abKi!$7m$E*@`7Cyv5HV+pMIW3R=F*n>#<=>%S0$jY*|2Xb#iESe@I4b>7`>%s#pf+)T2dZVkbRw%0 z)R2~At?%=G51!D0d&SZ*4DWiASiI}y#pg!r52ZSbSSw>3S!g$t*E|4+m;>6f z_{M71)2!OrajR;Hsj7b3q@zWUCnF+tXGWi0ay$za&Um!An@JOv?FrM$wT0&EU|jzE z{{7>!hi0*~Siw>u!cjzlkvPI!HAlmDyJ17*sN`(UZ$^QMj_a?IdItB9c(O7xHWq9n zp@K11yH*lX5ABEZVkbU0ZMSJ%JimF*<&nehsL4zjW}ZX8rt?B~*()*@>$xiT6lhd< zpC8Wi)bH}Z&dY_tQc*%!SnZ@C`)7Ss?ELoA;#0+vQggw)cf)1=?E+b)@2OwnPb!T@ zYWRq-_w`-MCNj#Beipf)QN=$*jB{A4%ly}1J=vLhMBGpRw-|iHQshb>vgYF$mc#S# zjM@+4Z7v2oH_qum|FA84c;MEWlFMbqHuJk2{)7AV2i08Wx2@gB*+>NF3wPVS{yWKP zw@=5y4!R7yRg{z(*)3#VpNjsTUYDe(Rh4}THt95qW3gMqnhUrt09Fs&pPuhwr|^G*^2<5E!42F@j!V{EWUnHaIbhsi*yhY=+qd7vw)}B6R^wS zy_wAlB{&_|$2>;izpH9)ml*F|rs92{XR`n`dg2Jq==j_DtxJx_>CBcbb!9TxtIX5R zKa49i@WXVG3QXppz^`p=+5k;}q~r|QTo>`7%IawwRV^0!>|hBG>B$;+*V_l1 zxFhNP<)s-{g;>=KsUZut9A9UmxN(Bf176`8vpMcP`Nf^A%=DhHZ&os}1XOmEKVn6v zm{x*V?ZlSesgqhiFuU>8nKI`Jz2KyK75VC1pWGVo`=$3`3ianr6V}_q!zUFUEMPw; z+kn1HNs5_kbk6=#^*lve`-a;Trn*n(tGk(!B;==qTyx1sBk<+<{B9>f>)ZPZ>{bEr zgTKULn>@1@3Z0juOtIr&C}KG7>(B9oeDmBGlWY7)klw~pkqg@JhulFJjp7fGGBY1E z?65}l3;6@OXXF%=fVKw#x}-+>_rfhg%W;hBl~mk zo|Xy`QyYymGECpa(_{ZSnhPzmKi@m~w1Z$Ol4<;k-`{q3X_))>ip6-U50YfTY^k+mmVcz5e9pMt|cB zxUjREoBpApgB(X$0fT`VD_Q~$QPKbsUjaKiUh2Xrq~UW$Sl&insB{I-(;>Dymxt7m z)pjUY?oxzXY)njXZ*LyJSV~Arq7xG<0(SD_$Bz&L+pY$NhUGwA2jHr=uP>lYaEXYC zYwPRj32av$I`yiUZi<^48W;&eY&Zy9U0oxMhDSyuDrOTC5=8a%^d<*rC@8*xn{ZnB zEoxvu1XTRqKYx<4p4Lf7P*G9a+S{W@0s{l@9v{^KyNIw38FBEfP8ZQ#wSgbGLSe;` z=NzIJC?or;e|QNo#zJ~ZKMpX8lxu;NI{mbXQ=md;v$Z?A925XFn;Q*sF0K^7Ho5?E z6SN@UQBi3a8IhX}lt5P>Jed;P=@QV+#$sk>2B$4I?i7-VdJ zi^2s=brf`qc$a1{$R1=H}{)&c$l7N=np#5Ur`HDF~vVphy_B_+>Ns z)oHZ_9ScihJV($4bQu~9BG@Lfd1dFKYZt24zN|EB#R^sQ*Q`V|iu3@*g4gRW7P_DE zr|Toj3B+I|5th4l)vOMDSpfIYDCbC&YfQCx*aM_g(Zu9~VXJ4~*x1h>mYKnol?<^Y zfVJeCLBzDHv~TUVOzvzL(qe6k2Mq046NfW(9YaA44)MQL3RiF@j?ZJIOZj0Tz9hS@~qG$oD8a}stm>*S%BnnJznBm z`eoZwKQ1I+okud`;nGtT5msI#hy~g%0HE#ak0I1;cBKOA`$p`l7D~O5#K58z8EfYf zuP-iXGn%?xFBJZFU{(fL6e5$2?vN*dQvPmkK3_18WA(kV0VhzORkOpQQOYvui^Q%p zYR`y{MhZnC9*V|i-4={y5w?^(Sc)jq^+E^BW}L6f)l2sPBpxStgIA^3unD-ir>kk@ z#Ba3-`?D3eZh0l-W^jUzoVJt~#x`iG0W2Sl%Xv)!xD`O$JOK>ZOVEkT<#nLaL8Md?YiqsL z6}fjWlnQLMM#tqkKpb~GUC0AMo915m2Rg8mt(kK5XhQB-(70tW`40jxl+>& zqG}V6q7roKEZ~8!G+U@K1$P}5icCmQVH+V=0J^0_{GQQ(V4iArv-UhrRNEmyOb@Z# z2)b}pr0b>}(GhZP@oKC}MTXVHL=7vNBJ`i#{VaXM%wOx+!qb_N{yYpo))LX~h zo&O<)4w1(0E0Rq*@r?nU_UprW+|PTftxaz~4v&anZE0Mdv}@P|Brz6gz?Ew8je0s* zSyt~e6A(aX$8rSi?RZfIA9}qLmX?)mD7vGPcV8RSif(Q&%b%AJ#P#Gp&iBDPdY8!r z1;)z+wJ2*2a&jS(+R%NEkN*$ckoQIiE_fn8RgqSYX|WJmyiSz>Nv>Kk3%ap24vTdK zXYY$^{qJ2}-4MfafByXG4zSs&QcGJ~+oy|RFamHnp1h=NS)f68|9rb{J6DMh7&ZoU zIgNs^D;JDw39b!5T(R&($(vU{Q~oqKY_Ov8&>(H)q>4>P9|OzA00tl4I1^|@96WjD zbl^)%6w<|jPtOgw(Jl7?Kwhr@1$=eKgI)1q^IJ0-^l5p)tta2uJAknV9pD{+KkM|KnF*B66*4H(WpX}%|sQBjD1;@+yL?%0fC z?x5vz1N4ad`D7*~fRIW21Z3 z5)^gy@qQftRj#XGt&K(dE-8Kc+Qz zm^2))CT31fV_=W!V@>1y1?vY!f?j@xDpky~fuR7YXuL1qzCi+;Dhzskd1GqdpvkxC z3h<`K(@tgJ#>vRY+AfCZ-H(^BX`{0rUmj1B0BQ-sq0hx2&H4HH1~6l3ApJP63n7Je z^Im6fg9HSS5ZUMd{!F*|xUG5rLzapoF;pKLao=!NR#ti+l$Yu>I_QG^TR4eBTKk3)0S7Tvdd3sgvOdv$AsF;( z9encTWJH!t3R%R9i^$_PuQ+oj{8eYW0+8Q^x{o$bEJ=*2&IJ4F**f(NKsfg_C^{wl) z6m_OOFkt#d(#pyz`C2z=B8QJj&F>Mr>dB&AP;=|KqfIA!Bvm?MW-YM5WPT1~-de%C zp!Y}o&Y4gGt7jS-pW(TuQIKj;%pP5^mVTwcVf+67sHgR|#@~(XG*JgQvx{{nod_`P zGC?KA`Hic9P2ZPTGGCSK@1;4tzBzT)+ymgbj*gB>XW;W=^V1g}5a(6PHNfr-zq)b< z5j{?=oPjl@IZ3~Q3m6%r*2%%a5HNu7m>5f7P!Ix-NA+Mzt=?vmoP$77b@grMv6}a5 z@Nn!LKf2_7l7ReleK1>4$7w$YarSiC=f==rHya5UF3qw|*kX|I;vt2aJx~tCfn~OE zwczr^Q%jl*B^F=xGpXe}2<(BNU1-cVaHI=(uJL`9|4reX{KHXN!V2agEvne4^kAmJ zo1by{KjN-!%{cd$(+GvwmBN?K?Juv%^jNe42dVV?&jI&37nhf;+}xeH@-bo{uD(SB zofh|xV1~v5Y`V6`lUA>GsftCIIhQ922?0=IsLy&;JH@F+n^jF~Zva&^ ziC_k(6tpUJy7s3_=_~J*{+uv|-7*#yPuhe>MfHq~AmQSsV$9D2ta><=S^M|;V_$c{ zr{>GKsdkAzG<@3u2M3XSk$Q7Xw&v(8A7`BEtJ8OqfU^Jv?116nT7zPG74hZ;v@7>Z zEE(^+gluRr6B(xHNAfzhp|%sFful(4FYzBWKcrIBH!>QjmcP%w$vIw~5AR!B%K^#o zuO&Y(72US$Ieif1fI&-x7}FDm+G!sEMltlNqzWfhREDy+*x51jbcFK3NEaB$8pSpC ze}_e)|2DdifX+rumyD1s2WZicTw*Pfo}RNgyv^I4iBqvFq~sLH&Dj(X8N`_^L8b^e z@DeA|ord>IQ*BL1T9QWTA14C`~xKpZ5@ej|2EU z5bLbRvRE5)TtWQ7%mML_g8=yyy7CC zE1X>C%|L}I-TWgP1Eb!r|E8zw2WU*_aF`5abae2P1+O)l4}w611DNV12(k&^uZ-QR z0Z{37F!PaGAx-3RXEe(2@}Q!+K!w)(<$m}4`nuS0xlt+rwTaz&jA+Z17kr`w+!-y> zJ}(%IESN3%VFotI)#-ZY5~Z)-0t@Ae#EBm6=uJ%8HNHl7sSBd!axAb9GnwBJCmJ@3 z$V1x$s{&|?>3ig_kD|EEyf&yBJw1iDuBRz|Z*xlrGvyQr2nZ)lV8m{(FfJ0Lb@0sw zOyKEKTa9J;%s+q}0Q2SLxH*)iCO!CK|>L}ny|M&H7#VfqwNO3oplslut=`1U` zTmOPtK&lo^(4n!I*Rh=GeN7%YBXnyc!s>Qe_eK5}@&@J1?u%o>Vc$o@Q+~Nu03+Kj z{rc$Kala!-T#70tBLnB#-m%wQSV#ddN2dChwRS)G?>>Hh|29+wk_W(;BN#u00ck%d zw$?bERmH^KCnO|*2;I>8ot~FBJv@A~mB!G}@ciuT@77>a-w+{}gADLa@;2_Su5>s* z)hlK((9yprmG=Dk0}ECK%%uWan%Uz|Z7n{l85G!6WNd78wAKw0eKMp3;eAE(EQi9~ zGinN51+aXpPur=+V0wU&oSdAb2tOi77678aGcc>>BqWf%tqT~Eq&Muz;It1`pvDBb zf8|w&9o@tCqVA+o(?1G~eHsD_`#W!$6)1!*dNGybvkd$oVF?kzWFJWE?)OV`Ba=td zSiiNk34r7wM(+4^B%K{hgr$Q?j;U6!Q@P^`>cUR74dBV4%!>Z{nS{wzlWdLKkV!ld41C(1JmSe|q5a!^Y|9 zxVCYCrtR|#%vEY(0{^_Im9?|oN9rEhbTno#60M?wrkKHD3d&2)&F{{Ro8V$VngRs| z53Wf}tiDsE#cG3KzsuOz(DL%~0)>j* zevSd~q|vL%641@A+Xw)^EqH_HfgS^Z`ipKv<}`2^u^?W8?{ZkkcDJhGa>LX+ySslT z3#IRYr+7Q1%~TOQc-*Yuh{?0X68IqhVRu~O@b~xU@jSurJwCtlQT+G$~8dNS&fE?*#pq_J5a3yYc>G{`WxiT)|vtVJan2+03TRehlQFi z<3f+oz!RPU5d%zI$4Gk7VI>>;sSmRVYBm!yv$CqbWtZKfql%znIv-&l4+rJCDGS~Y zH7QU-PKF~Ba)pCUhM2BE4KA)XkxD+2{GY4_N$7}s!cu9>1ksAQ-N%xhF3&YBEKpSK zjHHVzC?Ekxvkj(hprD~Q_V)+Dq|$H*BJK~h`Q9$B|IY#_#fZXnffYc5)jh`RYkIOaJD~g;nmuFeUBY_t4I)0)4~MK%}l7fINH*#50%wJJ7$-86*spRj}R79UWu9 zSSZjD^TEK^-Tgf{(es3(yfTmxfzSd(R&*R3DG+EuxCeqQP^;mPkSM_bd0yTJpyVX9 z_Qxi$ATRa!4dz_Z-PqsG9Q1^}UVOq!;r~cW`xk8VECHWHuz5ig;|X|hueCS>r|BCW zMs#*|Cg89Uc~hf3Jc@xA>3eUb4Gn61pkyZjDRpym^SA#!8<=LNl)UprBWB^ZkGSD4_Ly;Rc>})ZML>P$f=z;(sS+3&d<`z}(WZ$4yS6>fwk2moih|#{je1LU& z`zA558+ew%;bHoN`P%1B<3!|> zP@rU{$+E^Tx6bn)+-H|99~5VKOV`{Ueo?&B(AIW4T41%avn%`YLyQpXtJgfqmh5A>ZGS1D(tdt^R;5dh?Zv{wlbQc%2vqF1KNA4{rUjqZ$rwWwwzIFYgq@&cfEFQX!#EtLuZl_(T6BKlPJ0|F z!@z{c$kjH>t=QT4DR~P9GG!#7EG&F7FDjyU^XsCWcp*m8RIq&g(F#&sv~Ss-adR4Y z3x}SgcX@9)I@4&I5As3RpiIY04odMV`Z@`&f)=6CW~AhAD8Fr82H4vI{Pef8Q-QOy zEIN2c?79WZ*Ep^@o_=$A`fKdD zP03%B8}`x~V!^LgTkUV>zyNPxW!3+UHC@6<`&CROO4fz(?KRoNy$`dLP~0^|)#7fu zHhX!qh|6Dj*cs7mB|r6LB!yI!iLAgFhJuTyrIfv@g=0#eXOzaDhTLY10Eaci1czWQ zPL#@=oi>F#j&^YPugwwC=vL|NA?1KKdE0Anq)D2gXQem&l;+Buj3)XAZc7l{)l% zT_P>r9g^>!|GO5SW?g3Py=R|ucKr5pW-!PQKV}P63`*3vi39t?f6FWy^mH}TTV-Sm zRg->%cdC=w{Jcob|K8^@29W_;g~yKOsF%}kF^vBU-Wx}Uc~iL=mX28rKaOtV=mV3k zfCn~=i-DrDL8Rr6mQpk$*UkGUc}9oQCtt!~lPVQw_8PXEKCBYD{&|d1h-bz5ae4|j zaW|IGu&yKNu-NUNykWt2wC&2@wI1Ta5h8V!8l?x-}YqQuFu;FE0| zP5iY%M?>0}7k;Y@y--rbKaCx(YYjNb{1Kc`QIf{gYX1(K*XLg+{IcBte_14&qI*4z z=@D|4Y3=|6`)`Z3I$9k^K?L%`@bP0sEtBW`PufoW)heI9(7#%>XJD(KFw?VfxOrQOsv_TiT1}gJ+T^oC-_OG z&mMA}X4Zave-gQ3OXhiaeztS>*Cx$F9of>{hx^$11H9+oTxWMMg3CsH@96TFm}8BV zN9etJ_$fHTEcyN9*Fn>af@$%$k;RG%Z?=24qSz13BbTHtBBjGz!w9!m<*Yf#5anMr zOGrBCHO3@^IJ<_cAIJ04!#*&Wr{?*D^6 zltgK|^)z6CWCiste^qkOr~J;gWbylVw9a!4^o@g+`SoS(!VuadoRw% z(_%oTMU{oDU{$vYza)8o=HZmxYp5qHPdg&|nwfe2k^U+HA^*3u)S-%7cpFGP`{J#e z+QYe%JindLPh*rT&eh~3&Ae`41PDLzArWnLrdrX$vB&jm(l=5SxEqE?|IpigD|p@a zNDVhcC`v48BcB)BVA+sA*Gw7@zHD z8sS;bQo!dP^5cOIXNBzuf~ojH%!sJ98*VLzV6GYw&Wb*!!UbU?Mwi2n zg2nP&nE)ha0@g?cHBu9I=ncg^Mllg#6kh;|7GUIv<=@5VAevYLgA1{Ir4>tT5nM>r|H! zsJ_a_#j9x<`67VT$+Md8Nqs_+wSc!Z7xt6a-j}2~N-NJiiVhoDn%z8Fai#9njnFlF zIX*4Up`<1I*5+*f-FNpcLS|yGSH)r0ah=nAzdK(&$?J<|i{EG7@+yO~uQ@NLC1(0E zZioeA9b`(q@58Owgpt#e9#W1;Q|Xz%@#yJh?adR8_{hy?8+}}vx5`!%$d10ykr&q` zfsMsK<&=qSOg(dV%67?q*WuxS%s)Avdqfe4zBd`E6TW#tF63&^V$D0@;NSQiOXRy8 zN848=@pG|8&8M5|J$UgXz0}!tA-u~+Y4UQu((!IF~p^lLJFQB0TDD-D;s^wF#%f^GjWN#L~9 ziatj&bKMIm{;?Tw>S!m0b~Cs5BVC3n_uS`ktLh{Ba1R~^oVh-lZb`0n7Y2)c|9zbLx9i5^s=(WC+Ddj; zXe*b~?A*8iQOGM9m^#O~>{^ZdL!T?yD;63*ZWS?zF&d0WGrkxQ)W3eQ@^GW?E0dlh z*2$rBf8lbIaZ9=RU7bwokncQ2AH*3F`fC**lwyiW(i7n0j;-31=!D_d>b=>JFZNifOjd4SXI(kqX!0_s&5^9T_}_xS$sy9~ zdn`sUV)qrSQ|UiOf5JO-#*Hu8H6@*YWI&Mc;Kq+-?k^_Oh`Syl1UmC1b$Q44q+1L7 zDOXs{-EW>bl$;bygxh%wlQouBj$8awu8^@R`etRZ7_aJZU|E42gZGan)6%oMd{oRk z7Gysso1=s5{^DtQluwU;zTHCI$y6wOo%3w9nycuZ&$Bm?cldZL_A#EK_fFZtfG}R+ z9hPv(JBHMG8l;PmA+*}9C(Y z$b2y;`9~*syDXeNxlGZB1!3#+3@4IstPODyZXMSr_`)(aYvVFfW+2wo5IP=@?s^^*BH^Cz*>_Bn^9en*Q5?-KGDd%r07qw(Q! z4@;Uk2!@%xzll6Le|_#*^JQ|+{Jd`X=1QGui5hJ_JI>sC&w|cW(qY0dOVYokpYqI7 zy|DA8E7Q^zvJZl}Tn!XwXY#H6#kanDcOk05j-i(uwVsNw-h%fBtIhf45k+{caw%I? z2J8sFj@O`v*ClhZi8yEhvUwQlpHhEh0AwpQ+EFi*#IAg$k zJ}$O_Uvc?czMvdJputp&fojII;?0E-dVj96uZK-4Av@W%6wi8XnKB!ziALQVed{WEsEV}J=78NHbkfY-76$hg*77~>*LY%= zX0G3tOLGk3pxylH&nisqSIJoVEGvJ!C{EQhNMCV(v?U>4r4HdH4w=2La&L)MYKPFF zQJl_7m?B;!@_p@mO{86^KV4?m(A*uXUv*A5j*{r=+IeSJlj9(9<-~CsB|_$B6U&%L${$%X z#HYC!@RXBm#?F8%b6<=ip8hcjq4-QMDU500h_}P2?fGEnj=WD)uv)_>&B~=4R}a_I(*|U`+K18|#oAFVb88f0^fHsA0RNag7F zxfdS#C2A*Y%XP@gCx32xn7soR`QzXM{_LXeVV0v(?eb`^28w6?iEiUREZ{{*~BKy5RR~59BQs3B~xgt=? zaLwQfZXLYUey|~_@A{l%o3nNNUWm}W&7k@P7A%sUW{Y#b9Bb)4M-F0exvlu4DZJTN zRIWP`^8R*<{W!ILq{hD8o8r8$mto8D?FanF8}!dYww5Sy zLX*L%-fu3Me#))bG?{ikbb^fC?A(~wUYqgI#}jV?@f6K4=59;!YyRjRxAhwoVJoWD z)8KGtp7itUNUtIX%0^(8tlBT~&aI70^}W+*ypA?*nYC4sU9w2hva^*|lEU=UWRzO` zn!vO0y(Nmg1Kr!%dFzQ~uVWt6$3F=?Y*?_z6I>^_WP7wfdiai~D)yt`T|%timM529 zym^{u?rcAk6LJQ9cpUHU%<*lnh^2HjbFH4y7FpPi7nM(UCQbUTKb;EeQc-&EhWw)& zgYkYU(C`(xS-rgf$J2^b3LK;p&enVn5&7*0--h;j*|gh3$cwV9(Tw5rk|=>sFi(Z z%tFFZk)my{EzuGpiMZ^|9O2*QhySp~yjcfRd z%%wiKR}-64OQXxgBm7;(1mgF`Z>AI7^vHK_p?d;{hh1~nkQrbG0TB^&$ZMURx}$v( zB@YXe#@1XrbZ1G*>NWN8@i}nkfrQk}+qX0ATOPGm8i?hj@CF#)V@{){<&TzMx#)lE ziNEaX zS;(>3`CoE5nxD=C{q+iWow>T1Ub#xA`YvrD^e;nh2h-zW(-m3F7D{`RjB8)Lh>Ywv zQ>ybiwz_FryeXxitSllbdJC0T2HnkHzuscpOIC3jUUdwA;bm!w;>18jh{NB(oZ5OAgqa&lPP7n|f02#EHv@}^gJyN_-bb#+7 zp7DrFN}?1VFp1bc0h^XSw5oBA2^;wE#bw5IX*yiB!koVznJLUzhqI3(zgcjqHnX0I zQ{Z7Ekjz(QMtmmbYbn+rn6i|_9q;YUkHmV@6wTf}2(G66l5T5}VQS@$DeCSzTpeQsCo#4NW4u!{Tp?tMoZm$k(HPZr1i>2v=Xsg044RO@A>k z^49s|<>?+Lc&3U+Q|QRZknytgo7Hw1>O%KMc8T=ab6NMP&q=v>Ta=QA6Y@x>*R5+p8i3M!os-w}0DqZQ( zk}_k2{Jdj)ZUQr*6cVoa%3vtO$8|$(qWAU@>QRqIzAuII<9{9Hp%xVI-89Y177p zblg44m_6(JcQj#xQXPVHJU2*60?X&lv9~_IGuQGfnLXk~!^w51<$#Q14~w_doe{e3rHU24%gZsChI^_zEjGJ^jNQhb7>B zEFp*gna6_-RLgc9)!1tzA_JW1U%yt|8Y@nN`Y&T&604N8DRlISZ>pG?<(@;vyc;7x z@EM^-x?T@!xJr5jOoln3f~xv9wai{I17kG0jB}GMkyx(<+rm{ zyG<5ad$BGv`K^i^HAnzj$HcS%AW6XEUY;#fL%MqCj>n+Jub_YfC?2z$n;VF-p#_AV zGWvRa?459iuDX{1c!JrC0~iG?PU`(!A+<(t9z~KLX+5+OP!SwKXb-MM4%79o$(`IL z`-l4bx^qwXAz@&K6hp{^SN>jctvPZY?LQ2sHj*-wCUGq#n~R#ndztCTL+Rc>gjTw zfX~egx}xmss~2KI|Q7Ylh^wDv7^*oK-S zZu!UZ7eB?TnOP;+JonfWq#4xDjONGo7rTcks_ixh=_AU#PUK)2E!8Nr*VoVBHXEd< z+PDHFmHD~s=a=c@7C!%wx`zA>%c&ld_8a%&;^Ml@D>SwSGJ_@}oM^GIua_;01=O#a+lMe{{wkW-oV0JD z#v72{5(s_rf(qzPsIqGx8}J?U3!z#5DeqcjRMf=4!lGnnPXG$I>e;eAU>5*`vY{@g zr(aJx`hEvX>}-eS{7Inz`=-cS`X`FV8#X1lUrcv-vapZ?)5jz^?$aS!ntpC$qZT3Q zJdok_oA$Z#0&ekd)Wfeoe`f97bFL-!YnnZpcLL+n=B7FMc>}vYU-iZ1ZiG*H&;1d? zIx6WVo2JI7^XoYtW^|Cr?@8(!iBmh;5_CA`V9BIHdpBK@VWn>xB)nW0^cWA%erHy| zxG!}xYTm@y_&SHA-1Wz}xCq-hLD2OTc5-5ciUw-k0!U(Jw;_egg&A~436y z7nDfk=;APmIb)ybxHj$DF0^g3TTiagG+;@u(*iymf=jO=r=%ndrBax4+V}4bL z5GQb{m*tbgOh>8BlcNy($4%*lTpukv_U4@#&Rq0f@P>Wc7mZ_i(32A^{)GF}pPeQj z1Fk70XQkJBI!brzUlpqRUL4RGh7$B_l7pB1cQVVx=Pk0KT}Q2U|`nOcB^E7C^4oWby|}Ak^;}k9!GFUR9o#un@}0%QpdX`Nz3~ zj`cLLOduZI@P;9&B`kVkRl4Yi7i)7azEk0D^W7@j4VQEpB) zFDbCk+jWTJydV30yZ>8wQ&I&9HcXy zr3xI$y^jyc7ao#}b^;C%Q=w4^9TE(EiLW~boB`>w7ZmihM5ui^vRh7Z>4vLI$2TSi zIP{ut5=1WdrmUA=6xD7;U#kW;%*Z2ickF&I`;4dJt%b&m9ykA1^NMb-(*wJZ;=+HY zr``AP7;KRs8_*b;zePlfRLN&RmRff8#OG5{Axp;>Obw>1q>A23N9U6ejcr^oI!%vq zpOsktsT(y*rgTWtN=%|4YP{+;t36DZ%({@3aNsN|ED)~5#nl=%E+=kdEq&<#}OzB9$>NH;NXN$>wxj1+14~)g9*i;UfNoS ztt~1nj1oSs+R%jcyS?w~L;V3}NU!!w8?_I{hDk$To;Y1K(Fk(s@o9f#JwwaW>FL{S zJ9urJvGQliEIH4GPtKymcr)mX#EAeI(4p+lraPoDWm7VA-L^X?i=aF2no#nn8RymX zN)~I;#`gq18*t6UpX;#yE%{vjA}XX#sc`61?# zxVWORn1&xhN1nNz`%=E;t@;RCV6p1z>a?8KYR;OZAf_<4u$U^fS=Hjv8JCN&WYd$; z4I-oQuSrOAGQa6C;ga z^N#oBq4DMht1|xOvhuG9wv6P8d=)?6pG&FIhB;Ghijs*q+m9Sow*D-$! zfm7;S7lVi&Mtwc0FKtp`zJ2yOzw-&)ObaB4` z&JhBl?t!k!cm}+Cl$4a9qgLH>jP-81?v_!NW@O#rXZC`h^j6Gy-##!+Bw0&0yK_83 zR)&T5YA2jcmfo*!z}rUUq|SwUUsSeaS5D{(vj+nK5g8XJ;^tPJEhLbugo><`m2n{) za<(ikEHnc4z?y3dwr60sQN*&$@*E%;2GezJ6x6lLZxVrK&_k%m*R}bNw0`Lj} zy;uOBCR;X*7o{_wpyM74J9_xWh9v}#5Q!`yI-bpgO)i9UZOyg@Kl;My6mspxEnAT8 z2BklI;O$n2y@zw;>vr3T&^G>5gaSAklaL?={1>>7pL>iikA1EZx?-rS{<(d~%1=Ky zIFRaXs31l*>BtAVcYaja9&_f7s8LN7obq|ut!dp>XNP`NiW6H!k>O!}EAK={W|Iik zLP~>sqmx*5C)XI)BKdpvuF4)D&Ye)GC?p&OiJeOecJbjimGDB|WM3Y%VHa3SmwI?+s{PvGtq zZ#(RHmAdxw{w|^fxM6*@4zGGWNRWNCh!l#gms(!aNBh;P8I)+ z{erYSQCke)-2i>xzdF>t5`kk4An#zRb;`O_NEAsCV1Tb&Ii7SmA*hc~jRpI}+i%DH zjUn^(8T0i<*(aGB)B81E@kcVS0z*JV04;u$!1VcCtm~%U&u(E(d<&k*;}pp*?5hjv z0;wmgJi!G@A9~jIctV(7o%kT0R%c_>Z9 z|3tf2)Rb-nvMEOry<7;%@0b!6CXw>6?c+J#fv?$x=9bK%Rael~yzkPX1 z<-6&uHO^PctcF{kGkFA3;ARg`)7^sy?F z)lW;d{nPWS%)jsM+e{`)n(j(01O{f&V}+vs_|;Z3{^=-vhLh(7c{yZfH#>=J>OP2O z&c&(fkaBS)%ko_e=Q;=XyF(+`B1qTHgAa}BHfs$dy6wzWIbW^jJsoD$VO$`F&CaSq zGpiL;_()xp4gbqp-kn17Q?)N+McWb+}lZH`KgOSE)CgxxiVN zuRoq{Sz3FMH~X!jAr&=olaf&EJ9I6{hDxCGW84vR7{fm(zKVNqq`7->LR7Bk9kdoN z%)zcF&o-=Eyu%fbRJMG`-Jy@@+-^84+E`qqq^6?kh8~nXh-0IBjAI%>s`m{QmFWFD zcOsX2l3jYv%Ev}JvkHj}HO=gZgk6UoB7G+BfMO~oFv?K_Tu26f@~1w$3;GCOi+15^#Q_B0w`Y%l{S%xIR{Vjw*Rr^-yUNuv4EB-;vALkkx;#n?ch@~6v1#>b1oj6ux~BO{~K z`+b{`YH0`7DmW}`F*iGvjFvVSh_n*>MM=c86BoH?fb}~Fnmx~VJ5XmB;D?C>ezwf}Yb@t)FvRX)|Oaolxu^|jEK^bvcBMQ?8 z=9nf<5?WuHfTG2RNPA+vqmnYYN7UGu3WX#>eh786Oo~hgqYuP=eBNXw ztiNgsOSM{+H8H(vks*M0!=t09{yFfYVf{9SBOX9_GeaexhnTKkX$P90Vj#LGg+?Ri ztw{-KX)M@FKM`}qL!(qwQqtOJ$c13?qu}r4uakQ=rfL)5h?lbe^LCJ|6Dd@Q`TY66 zLvV(&u~7`xf62tq;$jcuL~xhmAy)>G{~PxM8hAa1#>V#02n@D{It>HXi-iS4ctins z(;~b1L#?1%+sG1nlzzaH7M~ zwR`MzQEL8Kyh;12kD!Mf)xEj5XOGH|@`Z(kg;xarGA=V9b%Ou|dMTkx0BHXI=V_s5 zhQk{~ONmv5A@tr{VtZ>#6s2}kz|`TdI;p^eKTwbGeO~_N{~yuKddS`;y(1W8zjJjX Y+->C~p;NpQj%Y%Y5Rnls5`5?TKfa_toB#j- literal 0 HcmV?d00001 diff --git a/examples/elevator/machine_state.png b/examples/elevator/machine_state.png new file mode 100644 index 0000000000000000000000000000000000000000..86acb07716b4ea9df32e86f844157763f1434dd0 GIT binary patch literal 45862 zcmXtg1z1$y7cC~;NQbmYOP5H4fC$pvDcw0z(lvAoNJ#$Z2I=l@$)RiLe24#g?~`vp zX1H_jx%=$B_F8LC$k#7Y=qSV}2nY!1GScEo2nf%y5fGkHBfSQ{3Ge*I0KUC8l$8=k zczpWzt2sXw0pTrzjJSxhTiX7TtDE*z_3`QoA4krz=Ml8Tw6B8Mb)eaR;mcK=!PL`&6 zX@K^giD~2NWZl@<*zRzV?*j)1!~6Hy_4V$b*4^CQvGMT4wY5ph%gZ}^dN_=_(bCe> zgWfraU`gW2>h9m~t)C8}XLIn;%PN_u*jpS-<=-n@AemzelXTU*Y@=cCz3#^z$ZV_ZT)_LzAR zrv(lJ0|S#@OWG?`{9qzf5yH$2T$zBk;Y#S}=y$g(k6RN8!X_&%-sYUdrXv~hpFg93 z*VE9`8(CQi6dY-&sC2dYBhJ;@Qrun~tPdu0@CpbxPRR3|4B7g`zF}1THD><$TG`lsg}DOXsVWKhvej}|JSXgtlaq%on-bugBQ1# zNAzrL(MLX)je^I2UtC>Xp;_;|g6o1L9~by3?o^a4}x zM`~(nuGouzYh7VY*ITJ~>lBZ_va)<{k6JVHGdxfr5QuCL9a8%!)==I{gWm%qBd`Q5 z8%lQen6)*-n(uR>s;c-=!Vg!$GH(&uJ38DSu3_LdtpyV3>ch8dz9J8>08=jSbV zj$eupKBo%73c&8yXFJ}n9Kj(VkoxikL#x(i^LVubtmoo*)_H$-_fLw)tDcRmtyA!t z)7_#n91@a&Jo!{6vXr+-{&FL25_G(h_`S@Y3yiGtvEQOv-()r1t4HS?}2WOdB)b z00%J`NMPQds|@=6o92Ii@i*inwx7O5rq?NQ?TU{8Ys(c?)W@5G+zujckLC=p0Cu~R z3}4cCMZSKG&K1LXX`ufUQwhpnzkV__q;g&H<|%8rDFiQf85$ZIOk($Ec!<3|gx)Hm zp@b^7%^HYvF-TVgOlyWsO9o9#h7Av+SkaS^dZ*bP+qaMPU|Z#v*X~mzL_nVhggX0wz5DJ7R@rM&Gpl@rP zRq<3!XfFr%=|BHuW)|4m(H3#rLz4O_2*kmau` z>A;K_J*`ZIKR|dz@g#Y`_Vc5ys;%X)UlUJY(r8b$ZQ(OtCl_!DheC0tOSGh%oH)yx zFNmK#dnPU}?xg!oO|2)H!_4jWpcW*K)tS}@E=5JftLtlYP0|-rV`FWdA-EcKc9gcw z=hMy+S%vSNuestf8FK&ql}KSsJ(fj#dsri`?N?@vS!#Ru>p_XEs|TfTDF*%TAjJ^1 zouqWsI!^-Ue+MV5p8}D2y4D2dC}#9|oLs1DgQPsg1R`?JH@@>JSZK1xws5_wwR08B zX^P=g!_8~((?qlOxcCTvGeMEz-<(fPu9$%zu1!eWIY;EDk4yo%V>dA|x!dAtC7QI) zSI8VL)~H0Vb8s+xxVxUA!9pl4Egj4h&Ww)6YHDsy7KXG);36SdSy?^pk;bDISqX_Q z=Lkv}92*1j&PD!^ct~A*y|9+Jr;&g_#-iL!ki|Q?T(~A9qE%D2_f!1!w-NtjOVI=B_C`Yk=^{%;vVL9leh)981aYfFVv?OJe>`t zjhjTOf{t_4F&=WjsO?jbpV$B;(0DxwDMUGkj}&j5P#uJgFx_|5{_juN<=JGlXQ;!d|Wp9tsClucAe zwWpjqjFA0upUUG;4R?3Gr^MfKdsyl8jye=14%bC{L<+CtwtwjFMP}RI;eV`7`?=;3 z*;GNHvctcGWZOSl%v22N_WY5XXy|%HzX};d@ zvXLED9=Lyf!0q5_j9tG!ztZOF@U%vgZzh#o8eXn+7ImdFs|>}ZF&S=B*wVV1xkMcq zjHkZiwHwp^H#hEEorC`I#OLJ@io|qEYgsNNPEx{y0U;3av|zaOB=>_-OC*QVx^ORf=1F zGs4`77%V?>I>DHUyEvh6r(D2Ww8|W*C>#oksGOXfT(SC}nVA#{!uOoyW zW54BpvAyB}d#><|jp#*c9Pfofq(VKj5Yyqzk5 zfRyp(Gq`C8f;r70I*Fh58(xZT{ls)*%6thioT2@is3z7mr-ad5g{Y;bMU^P`cX%nI zp(&-*7vt-3@mIP^4Sj?J%4u4ejw<4lmNY_K(?&?0f9!5sJ4+2 zOhiOP6jW41@9#f?C2)J^<3y&eQJU7h%iM<`pRtCYu}p5LD#j@ObWLNmb}qpqW6H?2{VCg8>iyvS9nZ)Ydxbc4(h|%j&%QtSdf; z?ua_ZawM;t0F{NY=KIuS_^fE!UHY@*q<`{87WWZ8+PsJjhAZ@nQX+K}=jFY2b-kn{dHh`F-{N9hR5)*?7vQ`% ztplH(n20qQNKgbQs#K@ZMsSqe&CTtrj*bwG(SrM|(Vn4{m<$h(I&!vcy$d&$)wkDK z@OICG&^e_!aj?*lKEvre_l$SY=l{7><#C=X!O%o)OI?{fS%ZdOKL2Eu)5ScPGjP@X zAeV(;T?b4$}J|UQNj~6O{%V`F|@K;xD1@x=|>X*Ijn4k3&2`i z+m-db<>h6a3{*6I(Gpdybb2tKMyDY8w9i zOJHfKH#KE&0moDJqm8n)HM5P4jklhgkh0^DZ*#s_Evqb4{A_3|ow!F=;L~XF=rB2| zP`!gcca>{qlJ=bH{KSxZLHCWV8Wg&Wlf2b$%E>PuRmrkM`?mXHFHDM1;0arF40d$* z7Zw&$dPiNuVH1msgBe1e4c^Uv{)8+wy2e7G7rSr z^`CQf$Jj{I!bbmLD5I7$gIwND4%ysdp8VAuFhKHk_c?j9td#^Mh$^{Nan4N^4 z?3_ol$WWIb_n9!=-V^T&-elO1ZF6?6d?XSp%9uDx|HPGiR7K|>QdJw3m4t_Lm^Q8f zF+AG&@jJ%6A`?UPi}PtGp1M41_q^3y(w0!j^x&Gy=SLk!M z`-}ClJrt0%swz%^+D}eSvg+%To0`P@uop5_bRhm3r@4L{$T z$r&>*C@I+-&y`*DzFcZL=_V0VodA!v$MDR@wE1~WPGb48nVOkegAYj_+9_8Jpgi-n zQl`IBVCm>@ONq55%POgP;~hp0`$W)AAc@V%ShbK@!dkpJ*+_3*Vw06yNF=34|6TjL zjE|iQ>=t%3w7K7t|1}&1Ll=WHo+qnvBE}A;{5&5~k3+XRKfiC$4nI*}4Pc&-R_2)C zTs7Rvhj0}q-psH@M^JXejdHuVCeai1dFWO+N)}cCoZZ-$ve-D{s9kV5brczwu2SYQ zGO_LYZA-VBIO*&@Fj{EV@qz+JPymgDK#PTp@$Y`jjSLkX zooO`nuCBd3yMW97zx62L!&6Own67Uf`xd-?Bl9kXNoHp9H(N_v3L?P<`Nf|fYJoYp zD|jnvm9tkPC8pryqI%z;3;k_Xqj}NY-BmM_>Z)fnSHEzXbaqCZv-n8ZXtb#x;VFL9 zC=zfY1{$|f+?;2*TR4^~*q@!TEzfD=24wu_)n6sjpU`*`I70tzMbVkEX!1Zd2BK)` zF{2w2$d~S{nOh-__?{R025o+?I_^^=q*+_f`zJfC4 z=pKd_q$nGggv+dW<0z(o>+4GA!z1hK;p$8eRAAn#u?5r!k0g^B(t5_cc95pZ4<&Ct zgM#;;{=640VSOR-Oh(e-T*L*lDUIohvhg}K_9c%n&EDSLVx8Bu!+Sm2rJ>|#+Fm+6Q{D)OA38=ZW=BDORvM8cQPq2%>2)dj0xj6m1 z-Ki_xN$H=upBOrooCeC+T-fcr1|PDyl~b&6-oq8&qYlbqzHu**Pn_wl=67`XM`oHK zbBrQ#fg*N+_PnT#l}1iMfu4aOglE~!|Hum_;Q#UA6Biekv(0K#``lb|Uo1W5wdYFt zAx71v-J_r9pMf%waqV>H?U3Sldki~~Y0CoE!mi&utN#vyZL@_z`RyF^e~Tsr`Y5BY z`DHIYnRntP@5TSHi2ivmUc&sU>m@W`V?Sb_C}4vqe4i+M1Ka!|f8zMa`SE%LGHg}W zENN-E8!V_`R8T!x_20=1g_wV+cg+T_VPn}knJ&m6ex0$WHk)^zm69>zlPDt8& zQ^jvw_SN`^&9VI-Zsh(Ozm0wL7vFo07_P6cLHSHgN+RU8T@J54zbf!*wOf7exHU)# zmKU7@B00YjrRY^ru!4)NZ-d)>Na2d16Ycl*Op*q>9m&DnMTB8Ul%Y?ugy|E*kchQ4 z!Y2nOsf*0ueKHSc(>4LLDxph3LgwK#KC%BxQh8mi28nrmnvsr;{E2}uDL5D^Fd_Kb&+;p7E9p@~1A&fu z`}-gVicie;8vff`2`bMZf17P5rA@$8@2YC(X%KELk%lHH#ix|U|T2I;GG=LBSRkuf#)hB z74~ebVpj@mk0+_Y`$TBe`U5$%#wI4^hFvJe8e1Kh!p8GehgyVDs*u}-m8%^ENI#&v zu8%t~1)`WA8zQ@1BAXgA3kO5V&1h(3M92GIj$k~&j|}$Z7azZg0yc*#fg?a9FKMtE zwJTZeQF+7HP_)8P5+k_friZnkN`OkTAv6@_2`XG1E)8&u2zKN|eVm8!;ZW-Ul!YmD zhL!1a!_a!S$?ATylRswZnTe$GX3A^1%WS6r>LFheP#lA-h2@)5#sNA3rSxwhB}HV< z`r2N8!R)5)mp%K56_7;_MOy7H7^;33XvY2~F9$DOjA7uJ7^36k?|`z3-q-Awi#=@QQEPv z!R|mP^i$GsbJtj7%FC`S;OctY*Sl=c+jgR6MkFZKeE{v$?;jl80JIFH=jGuhV4*id z=rcgoTO2nyABZFqaNGTp&kK?prtlqG>-~XkqYzh>ux4Qj-&v0kXB_9R6g&U~G~m0| zOT*lgy2W|hb{{3AP|eG1JD3O4e`#dB97bxJKEG)QL-8AB279ZS%}Kw(i9Gih?X%+R z&#M}f7pDJJNZ=A$eIfQ+i}qiSDMs|ciXMefc%NY_2%Y1(ySpz!F7E~1E-#ZB%r~ZF z--Wg(Fl)IT*28$cuGkn=i~rTbGN>sjSG#+-lX%aEky#FhDJ@OVLR{q!&OKCA{`CD> z8!s0P#eikmPOrb&6FW|01K1>|9LIUn&(0qp%R7Ru0HuU5hRc`zU9m|h!#@-u&Q>PJ zG@Na*(JyjDIBsfHBDq!g;`eWEUC<;B1h1z!uA~r;0nu9lC|``_HM5>4`5n+nGSTZ$`n~THS_)YpFlFmc4t8o0}inw*rYdJ;QP0=JzuV#QDHO zT5C5(u7y<^D^1nS1x_X{gn<>EmKFWmss>vXb-h~-vaBdZsvjK_a$ncNcub@gKoEgJ zr+_VzFbb*HlQjSQQXc!@?z{}L2_F%bDw?YJKKEg|RA=CHbKvBRG{bOefB!qT&0?=v zrgwL_QIDOgYmd;zt(&K3B^-W~GZ8tsS$uKB?Rek$5H?9Ly|xXL8x6-2g-L18jLrM8 zMTXEAHYvV8W!of`=#v#=;Psy$3*Fd`r2CHIppKJrOhdy1=x4seDeZ!_wL{WS41%Ou z-op2Vh1u296{oq?v%Cukp!XYsWkQCZNbq_``q%!x+uP<_L#aK0Sq}*dqo$*KO+u1N z5}IFAlTc|k0tKl3iGFW|2m=jiSB?7 zdK0}22Kd~C39i`!wP@_10!S3 z@81Ccw11YBeFjt%lj&lO!Bn0oclZ{&^X?>z7MJi`QripR`#4wK#`LLyoS?%OB;ugm z7@w5gIBJy!v;;s?PpQsW_hl*Nnl^^Wwl9bis_GiNZ->Zo8bNHE83;M#bBr(L&qz0p z|CqN!KjE)bNQO4t5wje&d|LGl+ro$_?4Nm5{ag_cQAEabzlv|H^Z2kt6d?)N^S<8R ze|Oh#JOYAms;ZJ8kbyojIWv><4h8%G#F4bLG|+1C^6{-697IG#VLm)OfbImFfeb^b*WB2hh6t>jf4edk?2Nielay!+*9!O zPzCQ*?zEP!1|xsh`v5q^WtidG$|eC#M54AGm)jgMFZ4yxLYXl zM4(a9xT{gW;E(w+zkP}bI-h6rb+4pLTM{C_)?vRVz17}XG z+q$-s<43PHwMIwYrh9`X!R}%Fez4V1Ftj(;N=ZQ?KM6jia&YH-`1T@(%Mkx7Apy8G zN(@sHNlH9MatoFj_DJDkB&`VY`(9(U2H`vAmarl{9~mhl&%~TEE>&V14+~~M6XAy* zc5`vLvRPg4b@p5xAGLZSv3BScpVK6l<{CGop_%6;xG)l)LB4ET^u|im&O>px& zMfpoB1d6I>^1)t(H1<$>_jIW0Oqm^!d*%OT2D%q(r&((+}YJr z`iViEkzdXrH7@xXUB4<<#~_(DLm6%gLZ8Lb8u{n_k&)a|xG^l8``WaMqs7;lb^3D; zs<$Je)I(Ed%Hn%yt8mZ{3lSk*t8tQ^eV!@X#mA5FQ$zdLYo6wuMohB1K>*n~xSBfJ zn{nUZ3;A-025Vwd&s(A9#DL35QF3|Kkx|Q@z7PdE2kuRqDr8xSk`7*=MfLg$@3+mG z>R;rbzIF;fSC4fpPnjFggJF&=b~d}xXz-JUDTbpwu`kPBk@I0wYI}6hn;A`QEJ=hI zakMwpTR1mlkRB%&o(fxxJ>5F-ptGO4cH)HP@{GaQv5dwTIag+ zQ$I*A!Ku?oySRHpD^1cKsnQDvQ3UDTu)POpyy&hq_?bku!=$NRr-BaB0Jg%O=M%C| z{=??v#g-2K_*H7nn^OF*uW1n34?HU+!hB~!eE+`}U}Io+cR^b77zJ~YBSKH8;qUlr zIN=muys`D*uQMlh7T;3wl5k2l7eXl0!!2dFG+27hP~`P;bV8RVh{(OqN-uPN7JtPcUUju z?Vq6{)0<1!nlRVsIAw%%Ny%%Rt^1Hh8`+JW9s&@d*nhI>GK%Gio*L}op^Spfu>j^! zVvc6907V5FY@W`7p8w!Sgcv?Q=)B&mT9HdQ5b%Vb6u)nTQbU%5hE;otGlvO+KAf*k z@kAXrCSKZ^J}MmJX_0wODox1^Ps=@R?*rqGfOvKg_&5VbPm;}=2ZKrdwyw=SYnHtLCYSJvVtx;A(1gU@o>l|0Fwv zr63#B0ZjD?5BG*uuiNeWiw3?G(b|2=u_J>tt5Wl|QCUxmA}f<_OxPMOYt1IQvWh(F zNu}Oa*GlQe;Q~EaVa42>^7MUXSl?ViNJ$v;nAI9mIt7D^BT|P14feh1=wFP-$K6<|h3JNi4(k|japw`qwOO3-My|UOg)=K*8L#1DUEgg2f;5-O3qHhE({o{c# zcZVS+2^c1mMMFhfgSUT_P1LZGNagOxWPq-r$OptwXjLAPbQe;B#Fx)q@3g`6omX^#E2W>Yqfv%guw1=1uA z6i4LFIz(MyPW|bySTf?a;XT4qttXi3E4R;63WyRgr2hNW?(Ys{pm#Q_hl6*DDBQzq z!kzvl$4WvW43M>T$a2?O9FlAhhv_@Iz@{Yv-pe^6WeHjvo#(4zbiwJQ?fT%T3X}6V z^ABDW4Rf{BeC~#FD^u4g0O~JgKhE4D(7hl#y2nvj!T3QlpbmkJh!LIsV<%?IJNg8W zxOMUC2#mfZ3i)kg&X~USLXvzLTbcvCp1zgDfzB!W?bI{C$2zr;S5v)yWN79gw0c)c ze{f)w9;G9;B-3QI8{H*H82PY?05qi;K?1Ofo#RE7_CTjj^LgChnvqi{^4A+b=h4>s zZ%cm7$m6$OJerEGi;VbN)YlnY(K32hM~yF^m> zo+jl&Wx8h?72AqBr?_ed#kK8q=m?NH zMlG?CULoWPViwtcw0^)p1VrZd571@~XgWs{8sSCr3>=U!poS)wz2fv`@6DR2eO!ub z3A^Bd1S>(kb%ce#{w#Y4Rf-8ZZ)VNbvJ*}TsRSEZ3M7l-BTsBRTua$z2_sUBSBNYX zdw-aLaf8WyD{t6#rZnpisOfJljEhN&Eto8RU5Oh+t%IOeaxX=bfksyoKgsjR4$Y-W zfKxOY;aE_N&&m{ZiaP#FJ&uczUV>3(p2-sEu6m*RB+3J|BchTSX!5fS%d;YyR;ry} zzs>Zot_wl(+9T|bU5vM)z9rqlB|x}U9GpZLdpQutE*tNR1}I9?VC&`7a2YHYc-O>N6do}2ZY_7TrgYaKmmiXyLx6Ho&f z;X9`(q|hJx3(h4Tbw;G0yIo!Y;j8zA2Lqd57#g^jcsct>X&LBl)(zxgp-9&UxDy=b z?^~}wHg(DhKuio@ebsx6#bZe4R&KAA2a+7z3-?ar;+Cs(g*zE_;ltcRSVUZY;#2B~ z!-BGzCr}S4snNM@_X=U!W9*$hD*P8<%g3wMSjuXZ zxfNX+0(wmhNwz-~YhZWeStq~iU|avN+((>T5YJxhc7nf1Ej0Idn@;Lw&tqL(;{EvF zTZC-Idx+v5BOCcWT2Z{Pc*UW+rmDcD7Gb1M=*cW>Tj@}wqSZqwhuxbVY`2tS2Exmh z3AiWMl)hj&b}lCg8X0I6z=@`!60q*M-Ll8+QX!ye>2~Q`Wqg_bq7&$HdipFP_i>*u zE(HfZLeC_E5!&T;hdP;JsGRf6dS9@r(nbm+HC!o1s^_+~-EzpN_u0%cf=OAl6*;D9 zIGL^RPs?qDPdrCoMz`70mm}xZBc3P%dxn(W9U-5*8Tmle1r9#A0Wmpth8)DuqBVch z$R+~zkK)1(bV!L9zR4sU|LYCBj}YyrfSGej3A^oYNL@o$d|{Ci5(-WEjT+ zXnsv6=wF>G6gZohXT$txC>yVSWRd04pdK^{jL|Vk;3fogv*Pr18+XzPURFtId)0~XsiTqnyiuU%xUn9YEHEOagF3yM}&`RS^@o#tRx~5nbD{r+;Jn` zd$w*CN05gUhCt9i5*Pho@E&MbAiL&_^*zbzdS9iqtQjX-cu>pKDVhwu>`t8}9j{;Z zJcQHA;9M+YY^U0%{v&Zwi_jmcPfHolw_zz=50%7b%ERjX0B|QB{OLuCx^CK9U54Gv4Yz!UU$3`e#@y5WN_Qr4 zkbXX%>xj_%5nIP5;|1{m#1Lj+U}^M*JIV_|)A3F7J_)iU9PNkkQTPz%LkRo1Z1^9o zub)2vzD<9nQ5wT$duz$$A)JLC*Pqx(`nl!a=0U8a&@|>lHQbxi9@QLj{|v41(VlOv z{)E;K8k@*_ec54d?KB86Bm&N_7Zl=t+gfz?z_!8*Zc(Pp){D9)*GvkIZ?(~g%29ms z=5I*S&k-77Q{jqV@awJ5yQ6N1cl+OsC?Tc7BBK zY1YzD((gHVes=L6x|mf?W16+yac9acW~>~sfQfI+*(D0~YIXKz`ZyeCBgc_e0SC5l`7YXBPJ(*NF(iN1AT4Q)ms zfzHsZ-nlvD`l>;| zOE*@Y)J2tg0rf9)|9)WX4_2R_c;Qd)yQ2%UX{M;W-^DQ#L?+Fx^=!t#PM~pih5{@~ zc83!j`)-CD=YiD;7_x*0;yCunC!GW!+9>(XTjR@FHf^H02r(hyCuc5SMR0}kXEGI8 zXK1B|byAz8S+<DZ7(PgaAF9~->zuuZ z=LQ5#m(EwzE#a0|yK1TL1mk)@AIx!o>o_{UI2({gBO|^-ikakUWbEx88C`EMTX(jM znw?vLj397XdM{ZjIOBDl(xQE&K8+zX5@%jA#G#glVN`Zx{hcSf`tX`#zqAn+p9H9< z#`|QM@{cbO8~(E|n$0zkfl3;#?eZqv`=IlaFbiZZiaxms^B(T+3A#VVi0iZ5d_x)0 z{f0D40WD&k?|f3TwuL>(m;7!UCefVia~E=2a`&vrwqU;>Tmnc3%UL+S-=pU3Q!lm9 z1<8qCggwt8udcT-H=3+}UFO z4Wy3EdWX}C4K{lf?M&gEdare^Dw2jKQ}c-zXC98^h2^EA^V_3y8e>XJa<&oHTJKZ; zbKJ{4(d3Z{K5=8fn7hb=vRxrhU8X)K-Qg zJkT}y=op;`DW&-D+&z%%sij&*7ax?)#eBeHf4`}dzZ`D}N0-0|JsK$+e`?2d6s##d z;e2bhse?^=Of9Q<(t7lLYG%|xfiT#czP!>M+nP(BU)*IW(_xT23$5q(cQk4IQ5BeVr|_Wg)!>%RVXp0DnuO*2cR=Mp-&!wp`Ja%#ky&agaM+}`1m zEm7Ued-Z@-+P*D~5ZaN_c4M}asj`;e$NCwdQD6f8@E;7fSSiPUev!C|ByW%h4=F5j zWQI|m-`n?#oS3g|88sw@vRli-;Fe;vKgl3s6*W?|SB+{tmuxfdwUgV`93q{3{3*88 z?@i?Hag64ttrD5e4z_EX{N}%gxNJ2HQw?Q>j>UNs(mpD~jB>Y`x+jN#?cqLyT}l4E zM(T&zlTK6P^q;w{T0@{w5>qW8_&}cq{wL9%elIIYognwOZ6O9+csh>?+mTD}g5$Hq zw`!s=9U+h9v7V;bCpuEO&WWZK?n(sCfy>@m5GqM^UXlacNRfFMkz|bN{=XTC3 zd8js5HLaZ<((s>9*iAP7bF+Yd+cWU-`9X`ey2kl(XV~mc06#wOwLs++L=C5!>gPH{ zs53_RNNgp$)=AwjF!)8C+-uE8*H@~HK0iPjThfEJpmvm_7rb%TH;Mv^`qYr{-Z;l9 ziqSm&Q|TCB`BlS1joA5?uff23H%(lJnA1icRu{fx3moap7se@e37F;&MidZdrQ1$ z`;ez+7R{N!X?Ir^WL~GtQxLzoLy@cKm=(Ia{~2Vta)&CqO#)eurU&3MDqtYIY;_|r-2!tRRhp9nKw{XpRGm+q{W`;KP5^6bjVNZd$jEoN~n%yU@)o<&N8ORkanvnX zP5$g3mXufPeNdF1UMhQ0u+vTW__J75|Ecm6#KKL|TiEb&TGa$a)e|$@a@J$BEr8iaFnj8%YqH$D) zz`D$^u6f#RrhzPIW^Nn}^QZf@3ua+IaG;)_jv%bJgt8Yz`V-_bq7HU@E{Wn%Gb{Sx zOBj1=OZ8zntkv#QXozfD2P<(*gz{zGw&*4}G8P9pQj7NN6On_W3oe&$+~R7Yns zii>1$H8-~-olMrhMV8HCC?2cdUZ}qHXvqLD##6xuB!~B78ryEftw26V_M~iM;|54c zBg1v$z5RCoyysW$DBm?7NwET?DM(BOi!0Cs0GG!IcD?7X4E5FNm;p+thDFmyaMAfgof*lbfPL2 z-X83#JdbGB<0!IH9ES|A%=l|rb+eG=_iHe6nzPcM3}8U@2i=l%6Mg+co@D#Bn#NLl z=MLoG(u^%EFPCbS0v#`>edkgE+DIL?J#_-Cl^T;W;qp(1w=R4pCg329asj*(K{RLX z5td5z|51lIW@d<(WVVB0n`*Se>ODX`E7+ntGLWCAQF{cA4a&jYe@ZO3A( z8Tl(u|NMAv?`wQDFlP6Kh-A9^FxX-+S)rt@uV-kk4x8XGWtR9&qT ziWb`R*aem&h@X+g`hWAp+^XOwr+$bw4hd+?!)amrTvdqgL0jVy$qXvXn8qIO`7$!6 zDsekL#{PG*w$pBRoU9+k&0FR3+K3hSeY*Pygeajhln`4M7|(Ab^C{eVs+5qTwb8lI zgA~yf{Cx4_MOn|jhOZJ%al9@bOiBN}$2SU!nS_vn#)#TnwE!^Xuk{ycuq}Df{h;FN!&d)Rtdto5PEhev*FR0=6rv%P) z?GdRwjB$X69eeJH2Bitv2r^yA-yLovaGe;Nwb_Xd_!yo^^L+G6Baw{N68u#mvi$bO zDyn(-pW#yDqe{KH0;EFDgk0)>W6H-3^~qzt>1H`z&eEMyFC!IT9$?fI2F zhW_f!8#i%xO@2-TQki6;{&jh>-jFb6m4Q^gSWJ>o8oHj_7!OTSdZB61VxL}`P3W#j-bh&h8Rja*o)7og zFWGv;Zx^e>J7XlxR+H5-(tFo8-Sk|7s<20b}2*@j@mwgW+q5>zH? zOLtC1#_X}VkclsWF|-VAnU9_(6xGhwb@ibeF2$&634gnw+wy7szK$L53KE|Pxs z^=bBjpiTd({8g@(a=no}yXC(GFu`NIH}Wwb$ndc($(`~LO(`&&6!Qs*dc102MRHlBw z8QGX+nUC`D@G!6uf}v}Bd;7M&zMYgADO42|1_2eh;TpO3Bk}9_Tf<=7umhqQ&1nFWCfZWb06 zFde?Sw-*KsMY_7WU}|!8b5lZE8p*)GV0K>9Wp`@S^p`$_g`mc4OnWY1ga)GIQ~&aa zS1+ua7U=~S*O(rjS|rD6ST<6hebfPaQsd_|V(i`<90%5g4yd zPfvSCMx@GSUi_M}JUKmWUsxa!78dsM@=E$(f&zwdz@*mN?rvyoEN*0EBrrM|*jfh; z%*juFY^;QP1ApJ>PHAcF{pDal_B*iZ`u`h?&n_*E?CzF?4|Z?TY<^yYrlfoZ6N6x~ zvZ|)WB@zaMNvW$7f{O_V3c@8LlLtfaF)=Y>{5fMvbDdpF1ihBX(f6+5%j(w1Pr@Ljy5_f`S4V9!Ek&H3Bo&={y_%{l^9__w~m&6gSkP7fpvp z`(6ie$&I&vYq`0(xMDIhSCX%^o7`f+YDJRriR$W-)5Ri#fhj{n!{D&6r%7Hg7|-Fn ztGvIz|N747v4p=73g~=>kBR}+vFI@a*&*88*o;BC!`RpXif<{06XzSaKM#K~HO z=QqpCPPu%_!wK;JXFJ=d2zfbzA~qh}YTrH!M61tk9f*)@$*E?=;RHi0#TxNJ;fa$Azqn^luDa^wKhm$yI5JiX> zr2l5ijer%;%iDWrp_bMA_QK@vk7u)UOI|M+dzsj}1k5W?kH4=FKDPPt@-(-SvLc5V zrZ`_g6Z6miUFSC@X@zzQZT(Gb95W`sx@psQly(1leU>3_w(Z1!u|L;wbG|oMVS);# znCt56$7*f$eC|%9ZY~bO^7CQM&~L2A$H#xcxR^o5&u7t@nIpb05W(pnKHkAGQ3+VY z|0v_&;IwZCNv-Q`i}i=lC{Mq?6HQ$w*kz>+g4P{bEDy%R$7Y6@#oE!T+-QpwZZSnTh_1K|(jX^36Jm|T(0V;pT$Duy= zH)Ca)>{NVwe94f9>mcx<5%AsAvJaI5@Wub+@~vwx&QQ*wq(~u%e)tci;u-a(Hbgk4 zf9wCCmNFCD9Y#$+aSiA!Y3G!|SVpGz1rcyD2K@YqgOA@0OuF^Jt=|(#wm!tO@>@QY z8~VaNk<)zi$H{t6r9sDQs1kJh*pR1!?9^>%D$(B66;|FuZUh@ncjcy`RE)A%o{V=? zWY|ieG@wgCHy3d*rn=s7cRgfMT%Rn!wFhwxX5HC|d29xs+_$4yVtkHUXlBD{2EfpN zb$dIru}Wjp2Cfh+Z#ftyDb;Q6e|)$U&d$l%nJJ?v(W*5)S?kI(`40!@5|{aIskeXH zj+t*^QHf^oht&U}=_{k^YJz1W5C|IF-QC@t;10oqJHg#Q+}$BS@ZjztxVu|$clS5k zd*8p1wa(t>>^;-dU0qd;BafOSMIYRkt~L1aYa}NU6e7OS_)j6ngK5Axgm~l10{;NO z)hA(OtRzPuQiKHi*ACW6iIPaskk!@%4x68% zM~pY7KfxZ`$?9)@!1+$ng`mBKHTx@LT$x6!`4fx|HxFT~eWHwPinAfP(f6v6k z#Cy?C!h1Q)aum1ZNaS91*E6p7i-PCz%J3K zHu}tBI!emFK^PtcrT_i#odpd<9U3Lw7Zr5q*(m+P|At55J7=*vSJ4tC9TP=YI;XmH zu|r+|*qystJj&~xzAk@+5Yh)O z8IFguk>>JI->*l11R?B&r(<^yABHS`7)K}E`9-qx%TL$EK@S!OVpqH$`+=y@jl^;< zcz6V=b9E%bl=S@P#=>}%A(9f?7!=m7N%reQ)feO>@_`2umemDCHyjUX&MbY7}BExcG!_84CPIz6{(jfy?dwGZ? zCRpKlpPlLZpScMyEu)t!M7A?v%7Xm!D^mDjJ`{^XXi`Lma>+zXPvt(oEK}`$kzUZ`iA*`XJ*oF%J{IB z8QyVVSh7&H-p+G43!3L|Je?NykM(oZwLr4}+76jTJFy(cf_`*ITS`x^84zgE=- zpN|;zSw!ceU;7pc{OIrs9a+54;fY_ptMf#&Klz`S?=#y}0@L`F|A@R9i2xgQGnlGZU{bnxJp)wzH*aaekf= z*sZAj*655QlkOiZ$t2QxGj90(tqb^_U@;p(`#fJ`w7Fk5F9>~!P{yhs{in#i7MzkD z=t_s~B}^KWVu)(<^1(5%f4Mcb0Vg7NMIR#FeidO$Dj_ExNx4Fy(VYI>VjGPDyib{D zr#s%_u>i420io?8l2|{4k=%)k!{-yMW)U39r%Rlz5pELO6~xX#e5S)s&95(_Eyo^4 z@aYEU8_W(vztvrvmty0!`VG4R7(?6$P0!-S{#b*Bd_@MZ>~q4Ff1lf=g!yL+Th!hdq12=zLy1}+~y9iptE%8^1@(<%~nuxzM4%#ob zC)$~S=p6T+D57;*+r4c8BhhI&K@M(p^J|#-j-`Y)aOoqLTCc~J-BqTICOsbW&B4_3S!-eqw@j`0CKS&pj zXRidGtZkdUehcBPq!>JjCbC3Uu{TYHYqHgXOJXNfC#Fo;i+T;c$O(mZHYU)!UDNC3 za22ey6Fpg~U)(MG_5kBwLs9abL48Tw7-=dVyd$kGS)QD%GviR}up5!_rwinuZps>q z-_fi;>fZku83`)jAEn%4&cLPPBJj#wYsfUd`&lh5`80<3NGVQ@UG9L=s-5r4Kzy% zr3l^IL&;69=foiT)2<7mvUoi>8dXm+%V%=;thRaNYeTU`2 zmBcuRl&=xtMb$E+jbNq{8*M!V`Ioq=mDIqaims^80s>DqlxR zN5%4UyJlrH6$-a1r;_5gQC&&$qaPoLcRDBrwm%Szp7h1MygypR=<*K?9;VyR(mys4 zksBNt&Tsch%Tb^SdAuctY>=^Amip_b@mt60$CZ8a;pT4sj{UPXb6^vqobx~C%#f!i z&n%x8H*)!`;UY!jwP_0&OUunlMQ}QQ3dosu2F4RNr)$yC(eh;nF^!>ZZG3NW9e73Q zPZh|z*eVo@PdI-;AA1gQ|BHc%oJV=*{2}PSe&!Y$cU}Z3SVsvThN*?|%w<3Q-LU1t zhdjg`VM@&zVqFFgzLr*VsA>7pw&b`ISgWwikmd9RjmH}ssTO@ixol~ZrSi!Mb^`I*Va+GrMpkrrc&1! z@Wi{`0{?|&iQjI==VrJXC^ zV8iiIj9$C(&vdaem(v02yPTYy0%6_D-7yNvy&VNNQBjDu-~KlcwznxKi7pj5h|y`* zQhqN@0V}8mc$3uIuE_x-Es#0_OQ^ENXWQ+)iM-z$RsJ9ppu#|cRBdO$G&}!mJbC_u z&3vWbn)hSm)s-U<3BBc9rJg#cNx)@+*`OPm|M7?g-|K1uyN1Sg6(06<7Pb5}#9vRh zcO%s{mW`TgnpT77=N>Dr&OEo{xm}D9mYX5T{Pq}&UFm{aA+B^m{(%gb(G2l9Sx?r9R#+P(R8PC6Q}pO4?V=z! z>={N0d86k-A5iQPTTUW}6<9(Pic_{kLCnxOBuK#;>2lbbu@z4kmF{7einoTI{Bws> zAH|Z8z-|zoutxRI*Xfz7M=&rf`#`u`&+%u@tdK~){1waXC4RIUr>-my*JWE`m%uD*G|f4R?FwdjeiyNe3v{eN2HbKd8hu= zw1~0Q_72*`{8Xvzvp~j5^kH$6)x##-SE_}*>rboh`$WwyHzm_f<|~7ErV=ztQ z&6B;H4y_cl+qMCnr)OJX zchfJ^ts3XeuhkB$caKdMe-p|Jii^?&b+%;Cca|N=(-F-FdVEGvYFNV1yEJp^TkgH| zxKV=xGqD?z;JF&MRhpb(nJ+?DP-NY;sUL*-)XLde52pVMYS13@%06W_9_DR2z#Pn7 z`(-Q1(&~PvHZVI82sJ=e0=YRe0##U0-hC29ysOFXo|z?%mo{#tzrQP^I)8gle-+p( zIO$777fZEGiW@>EK!OPCA>G>iILSD_iJ&%!6{=BV0#70y@lz$ri$BDk7!VFfXpBR8FA~)A_8Rnptv6U^)()o!v+@# z2?+uU>JsP%lPkA3HvWQ`=(Z6`0qhR+pYF~huvmiL$}Q*P#VSyCT3j>ifK685usf>V z=AKBUT)^mjq~UxtF9h;Gpv0$|a2ZUXiooZ?_65aG(r6~n8)yKmk2D-GTH|;@$%xDE znG%k{Fk7S}WF7es8Xe;SnfLAX{hk!!GnGf=$3U3lb=eTN)B@+{;uU@KfL8Oq3&fvu zIp5fDMoJc-ljYlF;ohU-VmvJ9*$76N{l|l2IBVl9Yf9jftr58^fcR|aB$Xg zrReZ?49u}Qj|MWw>c}kjUQ6E!WKWcGR@?-FCOqclwVUHQ8z-!>_;^G5S?2cm&!CdZ zxe$CkK5Cha!Q_}v;NIad+?d?_{_^%`Y_M0NRq+fA_%~5y6VCTwl$6T_Iq%m;Ttq~R z&btX~aEu1xm^Z05vq$1!v1vEkv(UL3*E(7)g(xCIAvtrtS2wi;9~M$e@cBOGhv|G2 zy7Nf3PM$vUr0wdaDIb;HIyhXs0&4QQ?k3MmWlW!E2S4yhrk~LQG;F|A{MhKglL(X zmc6!?mT5m(Sg|QORtw$+3>26VRp(V zfqOn3hJ5VaCIp9dQ?s}C=!fY>J}~_PV!EiuDOavqAwzyyNqxJXr)2GI770I}p-AY9 zDFbQvoU-j|I5xN;JHkWl-@{3tErYlFHJWS=P+Kx#idGpnRP_AIx)cpqH(8^q@kV+3 za*G~gNMjlD>~*%wpgq7=wN;bX>TvJ*qWeD|wN_UNd?*#ZsiU=9K^f|7-n8*hs20+}*QPnWW%l-3rPt3lq8b{~Zk}&9@iv+%l0p~es%5Oxa3dSd z2eIugr|WXrJ1V=Yh}H1X=J={)A{L!zr=7hI&Hv~6mW9aD=A|WNS9dD^^LH7G56X2Q zx3Y(>MR`hQg89SK98G$+lRPboQ^QqL=2p$ujnk>QWQz{_tGGrWZ2`A_`O>4+t~Ws# z_S$+`*l4rN%*3|i-sCK%`1EU9@-3aE0$7WKWIH=>McoA9n4FwE2q1B10KOWpGL!&5 zmpw5=A^@Z7%Zx;=G8#aBM=qPDlB+`=&jh>;;XZxrc)E}-eio0y{kBn4T1o?;m45&O zJX)+P)qD<*c4$GTp`i&vz>`u^irZfXI&#=Q%JO`wC8w3&yQum1H3f4N{+*ucZIU4M zK!Xz9Yf(RhPj|=JxZ<2p{U=Z3`zk`H=LIjqcoM`t-5i~jsxsiq1xMw^i$k$B(n4&a zBSC&lXPhRnPz&NeV&@{qpP&I;-u0@Lko=kpSvgT>|c`Emu#3 z*6dVr&!8U3J4}vdqoYU}^0V$Dc1$?p(pmNL8yP2S_&sHNn1a9#9DqnAa+@%j@AoEJ z_dKeKg%kcUjE0E)!4+_3nEbAPXsX)Fg;md!6Vq3ZV=cm3^K$8HZ&G}Gj-KQca`y9c z#1uK(H_kFn<$PDIr{MfNG*D;e(u^b59n*&VuyNSJGbAdIy!F$ijC{F|fsUt7-aLHgheos7_< zuHP83AMxaA2vM4!e?Ker`1p9a5zb)0)sMvge5EX^xK&!wUUK!q#MJwJsColFY$@z< zS?b#qN6$GHz!YW<^gJ_wlPD-YV~}6N3i&{_DShPNAp6L{Lu&STYaU3bPgb3`TuzQUpU%G`^ZKN!7DgKA4%&|NU< zAxbA{A_qldh%9kKs!v%o+N%-V1YNqHXdU}relNewOjBy`_$s)wD_6RFoKRpWWVN!M zCi_4W9y9Txco|doFCdK%(ct zQHm{lt*lR$G={^z^_0-nrkoyg##2f6(=y>9PB)W=wiq zO>aSS;y_ViS?U^Az>6v-%^SXnGbpV7QzVC8ATK}+t4T5J(qc=e;w~^ZL6w4HGm?^x zt?nP@Y_peVXTY0_d+O;w|T3OPXNm!70@23}c7e$U!iAjrL~UJhxqN3gn^BPmj^ zM4`6q{S>n;`zLV*7B_pj$dpc7=Tuzy3x{zr|L#eXv^$#-5%xH_&e zqhq&4XB;0>@LQXoCK1i7+s`#FVDLxlj1Sd*YybWlEl)zhg;Qvc8?~Hp1QTz)KNuoi z{JTJ@f*3eS0%PX%65dtVw^jzoUWb;QkJHXg+#iwU69?}|<_;ruk6PU>U4b+0d+5)f z-~R(P#`#BhTm}*B^raVO=OKT}a0P5|EjpY6B~>3V2qenXlCeY2uCKQP5cwHZ$B$N5 zI9s)6>jVIBP+Y%A&c~Mt5?EwhZJwd*tKBX}?Qo%qf~Tu$|9Ggd*=L~&F)ZesBlQSm z9%v95eJRsEz}WWu*v5taP_2~|3}a7*Y10mmW^)JqoZ2>1?IdyGFrK}rWAcT}H^tC# z6|ygGfx}WWPa{UzqE_e)8f~^2mO0Q6sPjR*=i4-NLz#*bbXOL?_}_cC>b%5p_9xg-?TgBET8a6b zekvP2+jCJ(?oZ6+bc1@7vENv^ooM#$dOc#peR}d?rJj2}`-5KA$GhW(HR|Q60yp5H z&FNTVB%A=!I{?R^0)QJNXk_)kB^i!U?tMsZ|6-k`?APJ~`Rpj*Cc5T%8M&W>Q0a22 z3m_j+&@qzkp?pWHQRyq4OrOd>2CQuR`z3oLu#`;(PY18E*{!ibhi4lY|7;vBq;uSZ z`aH{R2g{K=lPYx%w1Vt_L&s{X8(BsW$nI3A$bS{gH`?V<8Jfr%N`@Bxm@=hYgcF=C z+PK5nu1u~>sX}%8VU}-21H}skgBIvB!oZ}OyV8LzGAV|N7fj-C$zBIL8X2kl;nPP0 zUGiq-7Np-tCB~)IX0u)j7PXx}u6Y-I(1|n_bIdr3y6ds$iWC$Zk9m}5<*zhh8oWQc z;|=o5uPuBl4cNQ-v}H_MKx1;$KYR4*K>d2F)?xp+JeW|(y}r5KAKmev!-h&+F&}`B zhGw57Kv5#qjdtgTBXLBpGa!h%-XI{CzOz?qacDD+dT{S_N%at^@gHT_?=8p-}jAr0y{?SxA*dqm*BWRnsSK6xpCoj@aGSqp~hp{1s?9&w5u$K zG|MfohHJDeBxz)6qWe=O$=x>sD{f&C5iZv=LV&539dN0pz8Q4eZHj{!5RjgZ15DuF z4C&7|!~hO^2fW9nAklk!dnYUO1c1FXa61+zkFT;_d}v&A#Z}!fbD9Bod{Wm#<&H%4G9r z0`zBNcQ+V#n*$eUIDFm|0`I%`09{jFds~0e1Y=DOyU=iOqznwv!1e|O6SE(f!3izZ zTbobhLYAr}#*b75F=E0&7(kDJaRUE4BLE6&s$7RBi9t`-q9w&0>o{jEhU3_^Pq1%k zLLyMPah(K0oq?9z^E0(HtF)fbuxwupX5?@S+l4rt)J||?BtU=!g%E;%nStXRLftlD zMV!ReoEF!l(J|~Vo!<9GyU(em4d?KB@xi%$8VQK9{#y9#50~G~X4|9n4?hID^?NS< z#D82Lu~hu56_nr#)8HAJf*YQa9189M%}iTBOX;?9Q8N)}E9&D+5M+sggu4vZcSPU_ zvoiRezV`jYN{G*C<7UmymlT9MCb`(W0e`L6NHll|3v|S$%@uDlBdT{%R3G>cVLJIb zI!miafGrTnxXfm9iR2KHtTfM!njTy4*V*MV+r;PBAylNe@RrzeB}{EiI#56SsoS#B z^}dyVSwM-*j%MM`^!smUAC3UGf7jtta>%!kj)YMX`Eo*zhA$FO(nidF9ka5`*Tuif zB(k-Ip0*t~kS9M|odo3tkU6a3NRHFl7WYuqhX>%bI5NtGniyM#M78+^WI{&6nGXz` zwrs9eI>PLhWT-P4W`FCd*HN@uJ7djUT8kjN+bLvR&2EXGGrigrrToKr@??r@Ymiy&uIzK4x9G{J zgRrkY-S||6<6tONUOEzF8i>e#y@jJkiL8X{A0*cv_wep_U1 z3gMu~vGnCk%+${(*2*Qv=$e`QhD7swKWB!}Bp>u#1C%2FEn^DlcyB$gSkM;ChgNzz zu1P$t$>%kTK7-x^&PN|%+6m46n? zl&(ei={O7w?k~0h82ILw_;TCvs@glRlczvw2IxPjrPPDM`AREx?W+R=#ZrjcLSIT$ zELy0a@$m3y%C>LZ$pDMX)omp`=P!tq(YI?p*&yCwJMGo&5xe9rwIGW~@%EznF8FJKvSSJ+5azMC42hSfTuCdI zPRLs4npnRlD!`!!X@f1lN(NQR2)|ApXID3OE|~y@=v+T0HYO@QTRIU&_FK#9{W=_> z`k>uaxu_Ss9}oIjb3E|x=P2>l&M&%Y*Vm3!RD5UhE#Xj<)nYmX__ihe-wX}l%H3oE z8($;}5YQ%fkS;~KfT`6;vvbS&&uySN&aYfh{gABj6ywILJ^V>!6SQl5vWSRi zlVTbk(*6BthVWiDbUlvQfIoREli?@85^4pQa{u-P&#@WT)zfAA=KW1}Mu^T-Y*R2`3J(2g{sWP!jEzKwHIH zTSq6A%YhtFqx7#2W^R9Ts#^oAZ>{|8aMfcyf-l$H^_~yR>1j^qOK#hD#2#dlJTxZxN|XE7r09scmzZhqmNR zx;(!D*#S_9aWOH1>Fm}3e3!L8h--ur6%(8A`A4|=bc0cyb|Z?9YC-*xu74{rOb4uu zFWT7B2><=}?JJ!#@gO)c8!JHYCe4=n+ZM@c?Ostlnb`rDGq?iY8G!Y}wk$7r>HGxJ{AJ*eQm47t4YUd&um5_m(p>Dxj$O`KI~D;6jd zq3@`>PYVm@)>G0)A8*idAt4ga$&uwunVp-_a3S5MQFrh!E-k$Q{0@8LMAbDl=2Hdm zz;&N(n=z)S1+dE6Utc`l(xj7?)4Qk3F)o1U7aJG8l{0c(iUQ|INvAel1`o&y&xORd zhws92Gl=Z-nM!jgiFb_C)~!fMZQ|0hf~BbXdYg9+ zGr65MK+W}Zw;BCrXbl2Bi}@rei2jyJ*`n|<$;o}7JbSCR64iCT-<_>z2>4`y+^A|8 zLWeA7AjXYdV&U@hbUe`GJmYD|Jip%-K>=NZ0Bv)bBvPX9;**mXKkTbZRHzL@A7QQA zlV~L9*H>zetfG+XhIC|&hK!isriy^ueXFxT1Ee1a2#9fz2LgXaTWVUe@A!Zy=?csR z0WowV(`EJhbdlm46B4+htEYUf72bj|((R;tlo5VDy47fFz)KBh{g3jyuFbFQ^(_TN znrNwIwq(Sf_r$UmjlQX(+eNWvoT)OspfAYf^}u>KR{>5uCh$Pt$fhi&QB)QFqQ~*T zwY5aG6x5102hyeuyqmN_FQ`w~Hx<$CSe6Bc->;!RxA%Am5Lv!)=57FNq zANuje8V)HMbLt`7X*0<-ZF*Bc2(nsh&jjtqEcXK{?}vSgG&ajOhR)s9lzjevlqMl4 zjb}>LSwPEid3pJ5CK70lK0V*AiAqR-D1QWF=`JZb?P9Q@e12IhDrFG*7-m_BGSHY1 z_4+f6=DqYZ{xO1nV62BgjY{& zZKx2bx7E*o!-JcF!5fBvwf1%;(47Tvh**Vg+a6%Utu#C3fsDUMWwLVmxVyXiht2Kj zp8Vs1cUQ)Z2p9M}0t8dBodROq~7HM1PS6=4& zqQj$?f3|?=ksKsstX`K`J_vg@u(e=$_EJlmZg6q)tx~lzv)SKRpvbviZ0a8#2I*E1@XWLa zLxiR}K-v86-~PV2eL=J1zA$)_RSKn4%U4*}*j-=uYiZ#DvkP3^-3=_Y>~wAy zb1N%j!0G`;{a@we$iZ|fKvFa?G?aY>Bc9$X6sy#lP5j*=g@l4aK}A)0k%9?$KeFh; zl(C{`6F8!UWMnTI@V-eNXIdG3ddpl&G9@#*W3h{XXA}wWA)4|fmp_WO^#k<$PeBgd zik^G_vOT`zK|P8hKB&;%w)FhGMpSml=J+{WLbD-Y7=y-9M5jLEbzN<3_sR+$pfdul zcV$gY*XSsMmX_9(&wE@vTYAKr%1S^$ZQRkWn2S$LG+s0w6|97ycE?LYv;EoOib}mM`A&oP z7NwfJti&1jb13)df98i1IB=jGkNBS-lG~8Exs|pF_jL5#3VShCYcycA@Y-H`34Bc# z7Z+~lgTamK@G7S(qotqxcH~k)YM)3dYa9v&XxM+5pJAt51{M#3{i83M}ZlamuxtNHP*glSBB z$OF4U4TW+}FVP`#XcH|(H<#tXd9iqX}t z(;lU=!W;N8Nm*n0G+4Et?Kv7yLp}cZNF(M|t0CP!s8W*C_(+Aw@6AZ)&Rb5K92uiZ z`xvIaOR1wCxIe#m=qWN}hBW@?sOx#@Qoy?q`u$_RjInymveDgJY?TAOz@*Ny{v!c_<7zb44=3<-VUckSLY{1X;Q8 zO9oDkw>v(iimzQ;EAy54Cc89G!pE$>i$tgXXCCFd$7EDb0Z6Z5I~MAsm_{CAVifZ! zDSP4*Q)Gm0dn(?ns4-^|^KU(>R>*a7ZT7^-^rmO`Pi?LIc^tA{zZSn36FJxhJ?vKq z6^l+7llr%5g&zC2;gm?|_8IirLr@^HhU(^o$iLkSb!rIBU(1J-JCp`z?3T;o%Uq0^~9P}iHU z!R{9vA@>WYo*b!v;R#4gbUK2i$Vf}ZCPHYSKTJw?dxaHYe15eNNE)4m;G3OYwkI9T zS>;43<;XBv%i-MdVus7lUF~PbxhTMk^h?MC3G4RNm*Dc0hEgu1i# zF%cPg#`HDE^+P(xpMk0%hf2xm&!bk{U&V#7bxf~>%M%L952>#WGG#2>@lU-T5Xa>9 zL<^lGhv{}-M83p8-S$))+k%CWv(kjQQYD~pVRDJxRu~5 zw_Tz`y8MKVlIal+U!(Nh;m7NZ{j(E_SAFy1trhi0Ku&&+)DF#EGVD#nwT4o<>zhOM zd?bB<4IVB7^kay9tosbEY?+Gk)tw|_#jdTD{_QhFD6`2Cs15}mhoRWUk4~$hoDTe{ zbvW`Do#|dx^-3UKeDpIX>l;RchWDJH^_ao*bffECo+KrGx2XaeCk=ACZ`TUgt8@Rm z^BkTSkA|1EZ(zfPocME;2kF%N0?}HtiN(N78VCjcfm9X)QqMa)C0(e~|10Xt3z~s$ zK~w%$-hW4k(RohNE=R|-!*pV~pSapdGnNyqnmbVawN)8RmIz!AYEb|s!Efc!@a~7R z0E7@@Lk1Ljlb#2yu7>}?1jl&xf^?_4;RN18+2o7}8L36ubMQvKYsg~+tkzh}55lC; zDR+Zo6U(pqPVABBt;ZzRposd?=Iiga2|%%Qt<>(1 z;)4Jp*KU;?E0065>xe+2go8d*%5cRD0*#j9 zw_Lc)i0$8r&?mAJv|f-S7jsBc$RlMk8}Gl{YS6+oMbP76r)!0QgcU!#H|PHG>|{H* zLj|^YRnasv9o*J~71o6O*%0hR{V(8rA9mb|^i z0cn`pb`UU!Hi06;?#3m*Yf5K?P9hh3`YXkTxF)`j6;I#v=ghbK2%-OZ(U8fI3h*{_ z1gZl3D+nYo&N)JI!Q)>J-gErqeA3oWXuhx4RtPARt4*&ztJNlsdsdLBSa(^Vq?Gkc{dPR zG`9!qgnMVf(fk3APY+RyDw29e>);nkm5nl~A%S&dzDiY@F3~(^uKSfNZ2{ef%p`xv z`0pZJy&)Ok5La0%h%}~_4$^Urum>3^b~nN> zicB1?Dub|!wy|#PeH-`Lijl4;D?UDPAQ<*iA$$&PF?uYg{1nK}(Et}}L3|*F;M0&j zT?A_D2@EY4p0_JWgDags);q9T=}Y(3D@8`QM-u)tWY-! zQ6pEBZ~AfmiRs)NE}?+=fGk&N>ns{dGNMr`TK(bQ9$h5)3gR>ug~4ve1RTsY$lLv` zPM{#9c~qiXqk0lfzc@@%r3fG$m-qanVFho~y|-Qm~WH!l6dtwBFjtDv1pB|>gMWbG! z+J4oyuC%6Q!aF;WfUE?=;Te&VZERzV?396H?grQj!+-cERm8o7r^DZf%|q+wSFYPc zR5;sSl9?qxkll8$BYBU^|5+&KdYum%S}nUTUNxDj6Rc(|v>7uB5+fuci;QmsU|0XAzoH8u1}q z`+LMMy`WdNWg4&ulbX%}LU^njWPpr~O=zOQke;bxG3wRv$~4fvP=^9C=y=1UBv-s> zwEE-t&%~A{vai!0oCZSya4W>3m#lQ`<^C|yS`16zRhJGxWv+)cv@FlxbXjPkH|0-k z{&*g_@9*vpk27FLWb*#DrkK_|H}X^ zhrg5LF2QcYHxlDLQdJ$7ZupSRy*|L|xmPuKcWyJIMt3%(T&vQ0cC*LdWj% z=wuSUX4lOvv%vT~GVt;)y?GVN@ybU3v=Vgvu&;&qDWWxIAs-9gauAVWvi*jNQr%4j zOxB5W!6k$l&X!O#{VLqi=9mKtPmR+EM3Og08sDSg9*ZZ@TwIN%jD!<{v1Ec9$Pn*-uk{lsev#j zByH&ds+uv-i8i0?_xt&$1@T`~TEbV*KVYst5dZs2;u93}Ze+W*?BGTqhc`z<26i6j znbL$IT%eDSeCOB{)35Hi117W;f{zg-@Y^{{HE?3diV7dAJc9rMX@l5zQT{VMkUbRW z3e6Tl`it!&(TL5(iud(LVABls3dk867w5_|2slWClNkWG^Vgm17c3WUdn7?H*g)X z_}<82sF*9k0!T5cTwhGb(J@(cUs^uEJ!o=eEO)?Gi_WKRA|DJYcqC)PE=2~?L{%EiFzLFtLjj&lfpy2T9X5ukrMuJRdgFUSM+nKEj;(}>=NXBf~_UhwbOd~-`md=n)Mv%R8 zTR;LW&_8)Oc=FMQ`qk=qM))rpGFtyRzhZ;DJ5QhmW2VR@rpZlx$;6G4AT7kC2gl6i z)t~pLN2v8;+mNE8_f{0s7m(gMA}xKXpztLmbhs2+^$z)3vEEAt!{HU>O83dvzlTAI zw>Ag+2Dv)OJF#BuJ3r)*F3Yt#d|FUSd=y}18{EKy;#GBR03e^lmj5i_V02!Q2H%f? zFpxM-XNl~1*~nH@HLu2WFmak2&F|0uz-VTVq>Y`o$D6CPwwu^3^G4moVG%i*SO4ot znk_|awc5eS;gqxV`%8k-fIn0aHyiTz95scX6Dw8O>EUcBef1OqdP6SZ2&s$kpJHFV zI)Fe`IBbh%X+fJdc{WofMT@BU3DMo^oB z6Q%2r#T~_tI@WSvVK@uT-(@1kP^~_Qz~{5+L|C4-{0O9AnHnRw0myBye2TEzn(q@h zlR>m)*{#XEI@sv~d|6KK3u-R{o$mXhLsjlu%iHo_|5^%x%0;1;z`s@22kz?xNU2eqNwnU5vC;u# zVeud4aK6=Jq+l~eS~oz%s`aA7paJf%I1~~6hvRyJ@od0%Ed8=|989bmE;P*cLaq|s z?x+7f;H2C6q60J3WCGUgw(PIM7Ui;(tOe^rb$uTQ@+K>|a9Y=ONSzdZazwAsI44LQ#{9Jz)DU%?{MJ4^pSEs+x- zalJ^qUB@90+25Dh=tCOYY3@oJsvFCuS&Z|V6e@Vm8cWG7rTpw4j&BHJI1VG+p9%|{ z#eV3)v}X&iCo#OWS9Vt4#7>TC;#&6E_4!F^YBNbGsK!V7o4_z;so>=e%3|;RXY?&z zO{29H{jFsqb|OlE^PP9J{xlZw3%Pz^+rQHH4*jezv5S1Dd5qx3t`lV25>xhZ6GXfa zAo#joL11wIVEeO{@)jE~NrTn{J}6QFfz~wC=YY{SAOhv~R7^9{MkG8qz=G6SGS^$N zP@EVS@3*A%P^pUEZBTs#&Pq_mvaq)Xauns?WZ0YYhlsFC39A+FsEFYYL5K*nXg=p# zd-d;rYhWl+!Ozs8O|Hys3BCgg)2@mzx2>tk$hl%y>cSGu-Uw)M)bA^Z>qVabp9`=f zsl2op8SBY!`UOPB>xSCbX0A98X(@9S9O?NyWf33*Sp+tbSBBJCq^`@@nXv{}H>+H~ zQ-$O*sTrIOV&f#nG{6XfRFQ}X+3UzBWTALZ{z!1*@*L)NieL@KH}^Rv4hI4&>?S~n z^(W7ZX+EpU-0ZP3WA&$Y=vf2~mj*l01t039it@gT?Yg3%QRZGhzHRwiF-WYhnw%6tiok z@H(37!;-UB;d`XzmKtt;Cnd$4w1fPA2%PxuH>U1fimN8~PmSz_ zF(4ICaeuY2tfj-t(ZkIqDoE~de3+AsWp%8fV*3DE2a^WM_q)esTlw3_K#R}I!^+-3 z`k6(kFe8Lr=mb;>|8*)fZ5zvCbDhoSbsCwVoo(QBTpqyk(F|fi_^M8L>d2KBOxGV- z8K&16_t1!1bg8Lw5;$dsD2D>UWNK2Is%p3lIpf1Rp~1!!C!jw%r4wT@)uKrSM)XNw z;|1w)WN&Qkld@vtWiHLd;)p5!{;%hXOn+RlQXjcF;E)M2TLlGdJfIZ@8X+LATDHOZPpW-;$1d*Q&Or(OG`N;UKMFS z`W01d);emdO2R*16U!+iMMv@I_S$ZZBDo!7Vo2kaASSD4Wvw z7yu0HHsto6oS&^JZ77!g#)?roheMzQ^>@?Fb8yjO zq2x1AEa+x{j^O$Fk#_;d>wy`SGy1G`*w)-gYy{l{?qUnoXq4LTHQa$WWZOiP(Fy+B zM?Kmsy^!kLc+?j*f|1E&q#B#$Kq0Kb7>f4_wflM&WFo08cl96t{J57Xwg$-O`!i#?Op>I|6HtJT6= zYBvO76zlflO(gorx9DwZV^w0ooG;RxFCVqW53k#ctft?pKd2&QIZ;qbdA4QDH`ZOr zmhe8cW^&egVRuxxmndy_@if>DcLiuxp6cTQl#8)W52UWI?aP5>k!cGIe2(E>n=#Jk z)FD1EZIaGW1)B9IpA`QKkU+*{eZY9j8ZtN@m~9->EwV8L^&L1g>&*TDPV^TsGYl)w zpOk3K;s};vGM?DdbNHr5c}`d2^znIse;vN-{Wm5{w6oQ2Pwu3so=a>=NMl$d%zpf8 z@cNYbL+1d>O6PS!FtINkoi?-)Ql%yp7DaD z3#DsAQ>jpG(qR1+sG-EI&8G1l;F*Bo(ije-c1s8^Cu*wYLaLGat8<)lCq4vwM-2;w zB9Mn0R~@!>G}>Pw^Xb8pxmxl3C$(%zh7Sj!*g9nQ4|}JJ!TIfYCB7XKrA$kwq?d7` zr-tOwg5_N~zB_mg`ZE6e$gu=GGyRz$lnnl4856bl$3RlDW6_ls*t_kXCd~JGyG@T? z!5akf>?njJQJq$~AJQ)EFRqkjHpNb_ug5Dct|O*6f6h<2D5Q=0zr<#KA&rBsLh-OI zQ>;ZTQ^P0;xHyn5Jh{&;QWB0-BC)Pj8^Qd%07f@f-wt4%5=baf3HOg)HkCVU51u}a zI-KbBa^1T1J||GA$YgE~HA#PVw6~EpP@-SrkSX0;^_j046&+BN-_LUp%!@Y!~g zE6L}Mf@T$W7^mW?21!-_2eSyd%`bUGo|k#H!b!suCpsw4Y~$T_{rZ#U;imANC76@cIf(4+h2D(szE{{?5%&J)kT5qx9zrj$D>H`C2{;zauJ zI;^N@ny*l8PShVBTg&(%6k-KqRwd)I(mK&b^FL}DNGG-G0&fvm631S8(Z$&&rK7NL zD21TcNM`acU!_q<#mjPjy;C(oo}9fgi%#*G>mE)Et9mjm2D*WZ-R|I#o=U6b|l(@?v%&(}d#1r*=u{`<*(?h#Z zQTsWr#8LT3VIA$J*5+TvG{3B==jar`H)v0UK#oaSTB(_?CI7=bVx$nNa!K`s-(tpJ zM5lU$_VR2?Q)l1)>QItUbZL__+5w6D8F`akRUW&{4|6@6G`9zbCpJaXa*>uw(7;65 z9CD!J{-piy;SeH{n>UjQ`NJ)rd=Z~BbG?Ko=&9HOo!` z-9mK%QWB2s2j)B*h}i9aAv?4%qbgE3M2@rP^dQRGkH^{L%^;V_S3qihWbRwN?HeCVStp3b z`263QAUt#E4`=4hKvR$N(Z?53^4(b%PGOS#87EY_|5wskhE>shZ5$tzE(sBk?(QxL zX_4-bke2RJ0qK-(X%GYvI7%yxvukT#+XKscofkb`Pug&jeZLt)7?V;xcGkjE zytxvedXexYNJam$Rq(##$|fi4y{s}c(VSaZC9$ZzHNA87t8z6h1YrSMtb*Bol+!N< zD=5U0)988mYWB*rIK1pNOC~5#2wT&X-izt{6=}$F4sEmAc1ZHULtRgmA+oc^}ZOftxwT}7lRnl!tLB%ZaFTAw*I;xR&AE)_UC#* z5#NhhSFt+I!d-{BA9$=!`btir({Ek52ry&lo`06vS@z>5QfNFJi@w`(lqanf6{f#_ zQn8m9)}v;OpIaM~DC+&_-z+on3x1+`);&5eJ6~PV?BwzcwfNjh zaWC@lS*Oq0W{`i?;?q-nn02QSyR6&KySdyuRaTiCx(gAB{JpE!bc~qug z)A&NAUcXI&|5_U&Vl+|!MjIJtt#GH6W(v#aHPYdUP>Vm=pSqr_=sN|>2c+xBl+(ru zN3r-UtKo3BH|BrWy0h2HA4`_pth4=(6(d0`$_RECxn zC-d{G_m26N+mY%gl=LespVV&3ma9Idk76Mu%3Bike!k8ZM&w^Q!1?Wzat4ruq6%4hM$)i^-R4``QB)lf?962%*JqP`5U@1 zvI|0^pt4CHr8qq;6|UCs_ZDAcf($=CeHaumUjDnw_AY`sBV`~eLo9RrSrh4d)0rPW z2C_#J$8RFt5BV6Som=~+wuTe4^*dtw^IC*zxZ_WmPCyTCP@$7Tc@y<ld(u(&QHz!roD&*>jtAu>q^t=#RQ_ z)Q{oTHaQ1ZE;IGz_R54`SDo4!^_R9({rJXQAFls)Ubi{oNj696a^t^A&r$vTN`r8? z$I|*)>{ha={2`41!(-_vmNJd<^PMw{Hlu*7NXHEvia&#e7YoNbtZ5H1C(5`6W!lzJ zQ#46Osg5~dB6um!p~-P}XnZx@wvH9=&9pr$MuaX-RBhJY{{?f)P+&2l1iPC@LHAJG zJ?dwTG8NAI*bM;$|EZL^<$v!+M+Nd3mep^i6Q29;kXhFrK1C2=9Xw%|5YV+0DG^_|(||QkMorVOW3os)Q5k2UBcLvC@H3Viq%;t201Nq;(Fqc=-VRfchf&xg0;BEnToGm)bBvR1TjB41#~sM!v1 zzuLa!Oj%y$LpyWnC9)Fd_qS8T!S&n{mnfjsuGGw#jk`{`q22n4p4)#TQ#jR!A7Evn!CX>LlQJL%PL?- z7v+1u(U0-k?KgS*#Us~k9RaP1uvZJ}Y7bVv{k+RXS3s~^h#Z+7jNd*#h0s&Bay{%4 zuVRvf_?!LS2^nKa^i>{x>PxIY6GLfx(z!3|k`3qY7~sQdvQbbmcfLhlq5o!--&y8r ziPB!Um|kqzOU~|Eo>0?tTD1FtSYT>U@KTNhMGPW77EX#o{d;g{^%%ZlY2+9P&9SdPY`vY-At>#p;+k|p;`W3XJLBa z==j9DG7Lv^ZNtmP9R^O*vn?quoWb70Mv}~L`FFh%CC?u#6lf5T zkaRaVPDLgpFbfH#f$9K&8_G|fFav=Tdf$4n-b068MrNjkl~pKUbnx)-e$LLW{P`0J z3Tq)D-Sl#^Yieo4E>>Zcnr>}Qo$5Lw@N~h>-}8CM>iY@TBO|d|X6HmtTB=l)xQ2Aj zod|DY3QNqPC?&d0S+ihP=8+x;=XJ|QaxWszOk(aQj+bX{#V^bi{XOgKzt6XHNT)2l za75e_u9NZUL03|n(VNo;H)jnE0&r-CmVP2aLRnv55k^Kv6ayop|ANlDH$j{9F!JpzO)!VC;c z87{Qw+?ZVwsj{Nu3%E{$DBbRl=IMD`R)>yO!PucyQX8INAYQi=_2Y_9sh6m?){+o2 z{ysjCX7FD@wGD#~E&QOERrcrOW^vz@)Y5p6+N-z&7sF7b}q ze!Gjldi5$t)FT`^Jdb=58B4nD4agPwgSQEK;wc9J?vmI~z9+QkkeW4Ep52ujPs>Y# z_sEUxUM{B_`P?l>ZsX#idW|%iYcQN8FRVWftPU$7bY*?@QWf*|oiZA3ZA*KLmu1-` ztpPvBnwvT2n+%GI=6%h}vx%Tn6~LAkK;WBh_Th#R0U*9?x0N1V5FePBQrJ$tut>_; z5_T?RQ(gJ>H53Uhd;69~O-(IB!jBJdhR``#*47!w0wIX;6rYj^sp9tw5fy9|UdJi& zW+}X%r``{1QZw#zV%&iHcF)`L^4P>ko&UHP30-+#VW$)If8$axR#g#KghuK{m2Drneu43N%W~ILnjoU zK6^4oy-g(MiYO)s7NqpcB$PunZTj3$QrS#mDp~bs)A@B#>-|sf9rdeCmSVWuo=#Pp z!b^PsE!zB!lN`X$+!U`DBLR#gIN3wfdiUsPBJ_$M0WlJ2znU(*6%$zn(Z6Fb8BA4* zdFZK8Rq3}cMV?Oe-lg9v&78xOna+$B1Uc4se|CLkyQ`(+9gTI#9ow)yft&e(URd3hdM> z!@BUoLOK9`4pO+Zyh_rX5B#prs$(r*oD|6V>h~9U758XfC&w@^A8{xD8LOGD0T*mp zPB2Q<)-y3tP?9H4m(#+)d%}3_Af{ilC=WrVqOn35-g`HX+OGH76mupszjhs>qVAss zL6@s2hcO~HjzV~OdwUR_I`9h!*RwtC*A+E&bh<#gFu`|#3dnE?S7DB;u_Xk=!-aTZw3@&WrXSG+|%=6kNfR~L7aJR>*lq`d$*Aifd zasJO_O_9t>5QYT)J()V*o=%3Vo$QNF>4**d-l?UGsX`~oL6R!_I@80ks%iS^c&GZH z8$nnW;~NYadQQpw50x8mVn=_DLT5sfpqMvWP@DNVUH_edWcc1^&(Xl0(cuku#{e4maJz2ga6;eQ!jf(+Uq{i^l?PO8jC6D%(0gC!y42wyX{KBHdu;+otA-)T zoiQ^6W{wlD562%0pOZSy_#4I0X@qD5$P?1e4N`V*dmD@keL}_y$%6_TZV3> z9xsU2LFr(=$`%hNMSgf(by|7}l1CN)Ss4?}_&dBo^RUHcuv`(BDaWRZB6#8`12ta0z?Pvrs@|BIJ*)kf z-fHAq;gj_09Fib>0D)|8e}7bKz?o1p32DPB$UgwljH;-p2&`FNVPW*Q0ySaB`vP!5 zO8BZJ5Vslm&(v=?MXl~Epas>Xojhoz5m1HeanMtD#&pA+Hi`T8%i+gk2rHsg2iG95 zg>VDK?paktXf7rmf+?$JRoIwl`?>MNrnUSPS3cxZA*m&_E-l~l%gTK9D&>y=TMMdQ z;?8i~PUy;(lpNDFONQuzOe#=>Fjpoc<8vX0Zea@hXmbDP#MIZfsZ`Iaj4htIL^ozi zy&p2Nw0ZX=fZ5~0wpv#-y-c|=T-l~VrtG6YOCer2!!9OkB8qe=%vx;vmeU)kKO7R39+KI4k4I z(+9^$uN8-%hbQrCC_2CI{!`#?y+(K+<>G5)17-QXnCGqBLI1JIeymO*g|{`KvL&TD z)imtQk%Luq&Nlbl`Rfu33;A9~FFR7sWRF(_IR^TRkB$!@ly_EWF>v7(3%e}Sd8e#C z)S9c4!c1<+z_6N_m?Ed{tlZtWR(hG$)zR~r?(2t77tGV;4gn`W&z+j^u1~91_%ex~ zKWD8g^Q-;CNX@~Cvn$3dE>6MC%?(=oi2Qu>xQU?qBCfwodykKgdHDG|$H$Y$iWJ9@ z5HK9Di*d(FND_~fi3EuOrF57~#vPb#5-Z;l@mfIMl zGol%K)02hIA|j(3br1fskDOQ>e~8zWVmkCkb7{K@=swHa)eHO_crIu1?62X;h9=i- zMm;g6Bqg5FsRFO9G+(b;o8u4a1{pCHbOkE#xX9b!HMZZl=wh^S3|A!lsH{4|%vtpE zbC(m8Dm5wuUiA1k85tmWTO7-~zIVJ#`602!b$-$|qP;-!?>MEp<;3VlC0UMHJx2*h zXEHJ}_0IE6J=Hrf_g$|`-z>p8gUeXI^2V>|jLY7Ujc0 z`YAaMc|(#tG}r`RtPw_qq5ti7bnFLZh8opg&$9j{k(VHnitVx7g$b*(`O3kQ9Fe5I zS7#m})-+{o>z|e5w{7Be(ujL32$PDyiV&vN6?*i_=E7W-> z8Z4HT?}LU+Rp4PC9yHUFiM{HJ#voiYhCStKOl( zPM{p7l=;oy;L)RjM%Y8|iHk_#}*yALMh`wiA5tS9wixw(eVA zbOebTXDqi zw77YHkfNfZrg52m1BLDr2w39kr-#3$I^dU{?O+M ziDdiMzt3S#c+?4&|F+Ep3H9ZUPaU(mE}Bnl*~4+}EU8=0d>nORDEqBhs$t)zDd(p^ zoBC3RO|C$vppw0FzMC+A0S|_CZ~XgwA}`5U>NX>77q_j=O}?jJP=f!S=>NMuLdNcF zyQ+^LKLgmpZ8S736O-7`P*h-jTb{cPb+v)8W*@YP`VM;#lYJQ&z<$Z7nx>(p)d8A0 z)Q2)Mw?KLJUc?7TAvxkc@$l0qJXSq8pt?h<8o|P#v!^E}IzyHWQI4tapCU{)BnXYuLEv#P+hq{QP*folLY?uH>rC#3QTmiBDOo z+r&ViT*vs&THy=|-cN~23=onGjcYf3uWc>GQ_xXkib?tJ2mNtb?Y`pJ& zU8?Z(y0I16k*VFjp$|DR=F)Mf2`pEr(BThSz+;MaU)^BMqHTeAzvbqlHrgY-RVp%} zP0Vb==%YvU#WNS4i#sKrc2ikU+%I^%)yyo5?WK4uk1?bm>n`NbK%S`3hLp3BVEe#1o1@=nPn>QWbQrX?y-Ty=SaJaNxgag7QF{!{0 zb$oo>YV}*H^|NQZ{>OG`_*8=+c!oIM_WWwEefpCNHT?Rs{a;^UQjGwv*=Vzm3y9$y zcV>nL2lr1;*Fa}1xPWj}#GVWkdbJZ!P2kFUP<^F{w-K4GN)aNfCF0N5wCoGjSoCXp z-;2ftUBt~v6F<)VGgM4vQ3=Tsc5SB5M1*@owP_fE3K@oI5dR%iCtO_AmB(qnGX&Fp#=rBZ!?Q4YHCK( z&4ZOcInN{6_j2JlOHs^uUmz3;2)K&=E9t$r5SN!n)!5jGl;}>G1>kaWa*BCxD>*o@ z!6T5@*C&PG4Z=)rq=XjKqxwJkK79OGXx<*|w9t|XSkbD<>UOZ^$PsZX)SICatf!xs zsG4qKk6f64&OXna^d-CI)b^CU`C_}d9XUC_^&<+hanK)BJKme!-FPXY7wjGeWuhgh zH~y^G;&Ahjg~MCpD+AedNL zD<)^C;daS1c`r3NXWteIX@LO#3xxSLg>!7U%VLLW?>ZL z!j8J#NXvOo`!Kq4&5yTcwE`$oZT}+z;Fdt-|L6RDF+L z>?C~GGS}XJU$wnZ=@`~T3n}4eDAKCi+uNUzD?$kkB*IW`YO(CF9!Sd~{c$M2uDESDo}aad@}9DDJYl9)vADCDX4q&v6t1x=x|Q;uHN-&z-`77Ebm=ho6BU=#C`^~ykF|>4pg?>T@d*} zP3ccqUf%s@E^6@fFwQikVv{m_&%&CUKsVX}@_Q7dVw_#-B0YUT>czin(}YG>8Gia; zuzg64PiMw9{^a}&IeZrr9*7bG85LQE0mm4q234gx`aQtJ#56EAo>G~;^V%Kn(ou?X zF+q*V;$T1uMJ@AJeCldwKp7+=D6ShSho)zD?l?k7yrSWzcIB5$;^uYZgo7aSle}V>olJlhgH*r+{y6#yg7N{t9*cNy-_I6y zsTRr0$mly<9pL5Tvz&ORn>qt**D_dpz=;O4!RT=Ul_bjOwI87Dx?fneq=L z{fS-n&|h4>Af^rs#(AyP9W$b5x@R#{%$0K(kaU)gTY1>xeq?jfHMS7uC4I-0QJ`V@ zJoD(lX__o7TQytd2x~^vPR|xHueW-gHRzp*b7n&t^9U-%3X^{LOk}6O6^10Tyq+w5 zU&^USjCdWz!=JPk(02sR9yMilqy)Or4d3Z2DNk874 zhym82+oAO;RvhwRApQrV83NEw=j7yw_#d+%hYf&ya>Tr_`1$#PKyVH=Gk<>8ZsJzH zV;2x0#>dA8@Wh{qtp%6k4Por_lZQW1(@p-(!Y<`#s-8rpBoJ< zXWrepLM%vE7+vN`L)w@lN}Ujoh^3l$+TU3HB3^@kn+D1^-R#%rTfW3Q4~8`67KXe# z?DVBfMVr3oyoMN-X?RY>qToTY9w+QIUAK9tcZ=fBP7?8dB23SC>=Y;j%RG<$M99Qm zeAoO*eyjd&i~7rjdBG#Q!$Z}m=*CCv^pZ^R8-pFBE%uIve#_2YHI;Mq>ps6;9E(Mq z4VI)&Nmo8?1NzL3X;9cF^R1DO-Kha1|AIKBS|6NyPOzl4t&c#VTi#^g3k(l$Je%$5 zYtPhn#{#{`R{q-sZ2C23B~Us-uEG7u%u_xhL*M5bJw*Ku8KC0n!{|=R&0Onz+?@9}Ibn%;gqihU`D2jv?a+(RdAU0I~uE1hHXAM%gzR zF}zkFWp|oyN=4%B7zkj>IHkg|8Y)HUpc@~XoYbKJ<)chc(9RViJ=wTp=JBnnzpN_p-d$=5! z_NiXC+z+F91t*x7jl@Vp-iSahJ$}pWH)+cEx@=r(F6!YF%-#FsbEZnF1Yw&*l6OP) z2_Ra9Yz~>ZBV(2xW_+yF=NHrIq~?DgG~*@r_vySXVSJ?7=4V8LTyvSYV)$NTK}!Nm zWIUs@QIH?4*tuw-Ct=Ih(J|>^b##6k89@R$pgitzeeNda`DgzZI_3l+QGPeY0K$FS zQ;g95Bmg@vZ@Hf)-`ms8QB@p$JQ_FuwoEw*b&MEXQ6dg5?!nnv@9=QEOemTgxIV!S zWWQ+r3+DDc^N8#^V)1M}6ubW7K5P8oiZ?2Z$9r3SzYm;6#51FA%Mxt9RHD0GKpq<# zyAQ_zyRLtKua3r_NKg1EJ(jh%XC0BgkpRdY8+)46P$oS!fx83kS7y?~i>o3s$$G2q zci6eJucQAxR%N1P{#4A>c`wZ7iCPtLm;;}X&>EOlA)|UQ9f}7(pKL(LzO#&ZUf?e) zD+^Q;ys@#d?Zx(d;0^1|*}BX|LjzQXjci=o9W>h^1` z*I0c+M9N__KNumd!bo_?lzcFzNPRHt(tZH!da&aA1{lvR@hXLq`uY?ScD>Qo03V}z zyRX30W@jY0DJ|kGGN(p|t|*l+`P@Wg`)G?ne0c{&COmvU9%+^mB9F|=TdPGtrS0s@ zg`Ajx&i%A6k+#aLm7JTq<`S>+t5)R%(qRX7?2vg%^IqEkfc~P?y!R}kBMNlhH9p9a zwJ6BBwGc0O|2++cE&&nyoh3Ii3W}pnd}&vByjWORz<5E2$&H?luCPtcQ3HlkaBwiV z8uEgpR!eJZRBWs@n2IE%K747DKD3)R2_}|dVoVTEl+z-C%W(SZ%dHwPAzNNsLjq$i zwrbk#pi!s0ySvJ~JrBvwhaDLwCnpR%JR6{){G5(@GafRU5yc=&;E*U!hYa9p1O!r0 z(eX5ljJ`pM6^Vle%n!4uXk(jP6+gU#97gpRFdg6HGErJ=3&O<1L*`Dfb28!M8$$B~ zg_ju)WeDYJD9#`a&3>=0@6m{ z-4HVX%)u)tf*C`0h>(Q+PC<1_S{e`#dnex;!zfndN*{;E2H?%ka!pV@H#io}G73mb z=L31@0Mfh_a7YAG#C!MdspX2L+UEI%o3;8+_(Z~GQNemH8^prF@f+?6(iswd)ZLvA z4Gj%;swk+bsp0N!OunZmEiFBvbYKK)OOqzgDA-2x002rzXsBj|4j@PPz)c6vE;o`V znWWOKR6!$v3T42s%Tnl3ijDmZs85nlKm&-bYv?#;JCnF;xaYOFEg1s8-zaD@m-~VVJFl%i6i=e}hm7|Bj zWv2#v(QN*h|J$3cQTh+b{umsT=Sok`&c=SItc(fAeQC3ZpQ#qE#?;x@7YW$Zr*Ixt z%vuBjoFodC_3~mdLTKhfVLp)|xGm$$P-s~~17E>NP++(V|Af#;5W*uu{%>EY{^k4$ iW!V3JJ5K%Q&8^4x82$E@jsKv)ALU2t^3}3WL;erTk?oHF literal 0 HcmV?d00001