From b6379bbecb749da731892c744f5d24ac07e0d9ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Wed, 25 Apr 2018 17:48:42 +0200
Subject: [PATCH] screenshots

---
 tex/applications.tex |   5 ++++-
 tex/beautysource.png | Bin 0 -> 15648 bytes
 tex/intro.tex        |   8 +-------
 tex/matroids.png     | Bin 0 -> 21700 bytes
 tex/results.png      | Bin 0 -> 47075 bytes
 tex/usecase.tex      |  24 ++++++++++++++++++++++++
 6 files changed, 29 insertions(+), 8 deletions(-)
 create mode 100644 tex/beautysource.png
 create mode 100644 tex/matroids.png
 create mode 100644 tex/results.png

diff --git a/tex/applications.tex b/tex/applications.tex
index 1e3a081..50d8228 100644
--- a/tex/applications.tex
+++ b/tex/applications.tex
@@ -6,4 +6,7 @@
 - prioritize many definitions / theorems
 - refactoring advice
 - assoc / comm normalization
-- term indexing techniques
\ No newline at end of file
+- term indexing techniques
+- use existing views in $\cL$ (compositions of views are vivews) to give Jane more
+  information about her beautiful subsets, e.g. that matroids (and thus beautiful sets)
+  form a generalization of the notion of linear independence from linear algebra.
\ No newline at end of file
diff --git a/tex/beautysource.png b/tex/beautysource.png
new file mode 100644
index 0000000000000000000000000000000000000000..984026628e3e3593d9804ef65c2ecd7c780d0376
GIT binary patch
literal 15648
zcmeAS@N?(olHy`uVBq!ia0y~yU}|AtV7SA<#=yYv^6Q2_3=9mM1s;*b3=DinK$vl=
zHlH*D1A}CVYeY$Kep*R+Vo@qXdR~5Rs%~*|QEF;laYla0d*=Oi3=9eko-U3d6?5Ls
zwcd8eV$-_+dseF}1m~V&@tvzU<?8Cw)(-?i4l7vjyj2v)z56Qf`4xez*)8QM+xF~k
zKaee;;3!nnus$X2-~FhVTS-bEc~qJO86Sj&hO#<wD7FZE+Vp3Bb$EjSh;wH;N9zaK
zm$&nG?A_}qA1=R1Tk7T8w%fY0Jv06Ccig>W`llv$UyFbfN2N^_m*UiYVK*h?I*q=s
zi)pBM>a*N@i964RK#yO4r)lK8-nv?2zVl9w)6V9x8|Ihpa+KtsTKaw;$i5dBQe_%X
z3g6+oxTMc%(F(1QP{x~gE?<yhVA-_E$@E8!s?|~5lkKPGpPXp3=g^{wY_}3VrF>I$
ze4TjO`8$VV%Y<sD)&h~`J~vly(3*UWf88AmA(f={dw8a7+N;#P?fkbOGkwQ!xl?Q2
z*-Tz7SUF*WP(#>@S3O~h(?5CsY87xgVf;X|<-Lb=_{L({{+<2xPMP0-=I{9XQSRK|
z<I%Iz)YevpH*Y!l`+VH0b>7kcA71_VxLjrOyS(qQtX~bU>oPu*dmwARVDF)ShvvOD
zJb2-R$uq7u_rL3g*X{dTty%J6cipe0scjmGJPaNpuKTB}bQvx!*mnNet?T`*GOy1&
z9z5_iZGDMe;Rar(m65G}UYrLU#B*DFR*9bYwRxph-uv09o7^}QTh?q5cx5kA6u<J<
zN3(!?U*wff-S6K%?^2ldbmyn%wK{)&PvDvL@3Hw3`#sY0>so&?F}x2rxTkLY=|7*e
zuPpC8*85PWnek}Aa^+L={h0Y*>`O|Wpx*y)fu91)g<XrEN8U@nT*<T9;KXF%m@CU%
zIDPhOc(nR3xQU0g@p9!dOmy^p(OmuIY+2;zsn2$1cLw=#C_Xt=!Syg)<o>>!?YBYH
z;$PonLyOOU<oo-ve9E`apI)akH2nOSzIeyX^3<uO_VeGb*r%B?|CP<0OKJD^M?d{!
zZ1i&J)cSUYhW>gdHl5aA$2atS%Kkgo?PvCn&PT`3@9J3}FJ9(*e%GWdhZK!!F@wcI
ztEYU4ITPA>M$7Y5JySQ&(&_8Yol^+U4w1ND^mMxXrW0Qub3VUxTw%eQw#!>@v`+1R
zT5EQ7U)awnt{VNy7d<A+sAUL#74%rj(BqcKFoWq9gVQpJ)sO6IA9vjkzQ&>0Vq>hW
z(=vbJ-%r_}9fafS*UCG{+h=!ouCF<{&*-P*se7wMJ*JCI*uP@k(|4EGYt*ltY94>H
z<V5_h%Eig5SN47VaQyw&OFv&~UoySs*nU#cTB>jB4+jP9-(FK2Hhqucp6C*|s?SJ)
z`}f{WcXmj9KX*cDL4?#3&-=ZSx6_j?R;R3O+171+%SKI$J7ntKF4eW43#M)74Byf2
zq1qC9Xv?WY1%=Cjr3K6PF>X6O>%Mz&c#gb~6UR;|ZIMI!m1c&l`p5j4k->iA>-%kn
zE$3qYd=yTd{7w7Gbce9`ecz_|9`~r)66W;xUCdegh4=2iP2b-amBwWGRmWs&>(bqu
zt{gpQd31Swr0a<p%l^5kZqAgO9yfpL%(wZyTM8SGeUF@RO^fq}=!5p-CnZ;?wDM`?
zBwzJWWM!CpZJNEJ;VS-j*UYzV^ViL85peqU<Y$;<{V)9!{tR~iIKMI<I6nV^JcHfe
zyHWhtAM5Cx)-iD|sdAoVzeU!7Z()Gd(hnV1Z{F*AcC9#j!s)fu@_i3Qw#^W|6?-&P
zOY~#Vrg?8S9g}c!;;2;R3*h+A^^sHJ2n*l3{0Y9d=5=5H_;_!al3lIarX7FI2blQ<
z{I6)Q`>)QEw6@vUL`>}YwlCkmaL3l2iMG#m`7<y2M1flLX%Wx-H%Y&8EK6k;{yle9
zC*kZN;oYKVHLAa!<pbrgCrc#)IsP{noxP^R5Y_rdy~uXc(bLD@d)&LX;G^Wr=~aPU
z{}xaG_PAW7Z0e>TpW+Ko-I*T$`lz=3y;(<fll7iSlw`%`IYp=*kE~Y<%a=0UX;?ft
zy}j&e-fo4X4kr&BJI||n$~SGJX{wdUr3I_6?TpyyJpb$M<rBa8J4WWT_S`KyCV1;b
z_4)U2ubL+w+GG}&eoR2f>BQ>`!5niRJvsh=t;Ml-r_Dv0Yxa2m-&{GNd;R{KQ;+Z6
zqIY)re&^d$&z#O&+fpjIf8B;2o_?+3!~)sv^L1`roxO0!`e$GG(q&&Q^A^0d?Z`Sm
zS93Exf2U06pX+XxsV+Msu<)CDLEP!mTC>Y`lgs;0WwX6l;XB{oLMw0jzRroJP8^CV
z35rwp?^v6-O|hOcH!}I>r?bD`7*EOBzW$?Nyr|aBOILrt-2C@m_==3yqMloqF5k~w
z@_3z0&C=Lf?e2TiG#YbrX7z{M)J<1<t8jnnktsJ<J8p<yW*2=c{cFARTj|KB+TGtm
zX0oSN-#>CvO0h+tX!WX9yUJDh9v+v@tKZ{X6Y7{c8C(fnvAM66-2Lw(-vi?(;#$q1
z>P9j6&(nLNH^l$jq^+@E)(2Adq_rZ7Tk(VFQGM_JmC7JRm9g{8+a`eIT67+D>b8Ky
z6jL}uI5-ts1f1ezv>+n-=RCO{T3_0_eBPbCJ&QltKD^RBU42=9zf`~Nr@PDZtiJl&
z?(Di#DA$s>|IK;rZ<#C3p1;N~_3}3F_U+Pn`R6Y!`|ZH}(AmJW(SObzx2x_)zn&M6
z+g;Cf{@dd+9;@8`xI0G@*6en-VLN>xbBWR}mwV>Z%EM>Y8n_*wQ@rl<v^q(-sk2!4
zjqk7C!;m+}+C4RIuKbj#?vGSjKWKO53%lQ(*nU7{*S|uKN#_cilE0sfyK?-0uUxu$
zciS}vg$YwdSMgS!?cI8fQB<#BeQNaWN2gaWJfqiMTWTVe>5yntX|z@(D|i3nXWyr3
zE!kUqX||WbLZk0S7o0rAf@l4D?&P)eh22gm&Pl!gUp{V}2Cf?I4!=3<b!u)r+xDsM
zGh_LFzv8*m9auZ{n?lj#)q<&K95l~!uGtpxY0sXNi&qj)cPm%=ypwQ#asM~x()z=1
z&&Jj7VJ|j(zsmRXH|e~5u2;(2?x=o$yR?4(ycGL;RbM67|2ARM`grDxto@At-(Kt%
z4SI3%{GV#glKnjgqvx~bnO84uwAvP?Hu20|dHwCRkLP9;+sl`$Hn;yT`91wxVa_c>
z^AmHbQ}TF@&FE&9TAlyD`k|eX*2`U;Zg)eIjRJzTdDwPk?9UGQ>mVJj=2RMEw(RvO
z>3nzdW1IBz*-w@%N>I9+b^2KL{$FLkvyy70raz9bj;Xr7-f+LaUU$ibZ%_Zqq*dLS
zKFwNx`{Sn`BDP1pHB8rb%w)R7An?EUzZgT0+r}tmox~X1u7}-m`}26)zj5wlpS}T7
zIdA;^vF*v<<>iaRBzAv)^?T>N?2Yd4Z&)+@_@O>Ykk$Xc;i5l(E4t$v7F}l9`SMPL
zfW6T11wDf1M>UqYa56Y4iE_W|pOXEFWu;lb$(Y&BUyV;pF1431tgX3Hkt5f<^rzms
z{J#QzpAw@ct2ahme7UhL<OEAXN#g$WfDGmio>v^khi`piddqP<Lh8xMf||0anUj?x
zW$s8?#?5}+{nPNf;HhuB+qh2555A@-8lt~mwb&Wb9MJbZ{j2ii4t@RdITAlt*>C!5
zm-MnMuV$sm7O8y_M<+UPC>;A*Gu=+{c<|gq^QZp#xAxHY_o0S6zOQxqSikzxJ>CCj
zj=irvzv|8ZpFjUCKgBiud5Gk{y&wK=>zQbEZdvKqm6yBi{~KRccU5iVa$udfHTUe1
z2XV8*zMYEx75V@3w|ys0J&R+#;muc6^fl|U|K0hSw=bEM|BDZ8-Ex0wowxY5`a=19
z$^Hv}XBbK(tKFaaHTSr4$Xu-{k*Z9kv*lh}y|?N;d;VGQ^7zZ?pFhdP$E}dfjW2Uq
zt+m=`$NT*0FU@j$YPNiTbS%5ya!1aY>bcpkFa2M$#^~bu-=B60zO%N!zjMpNP0x<o
zF1u4HIe*gnfL|BV7oJa^&)-<xn)7tg&Z?qkS+&#cW-eOsq&(zDAJ_fl{oXZt35tJu
z-b|05osjzR>-Ar~FCM4=ZEKmYQFmpU<InD<UswLFn^dh6^6~VC&)jp{-(0G5Gt=0;
zw*TkH=Z9wSHTtaH_V-+9LQn30yAy}Ze{Wyccx{)Gbg4k-#oybu?qTq-a?D8nE~}gy
zeI>1PQOI0{Z_9X7B_;KRFCRbNd;E{Yn#A1N+Z!jl-rRbFqqQht`_7Hq;(b+Fc#4)T
z4CP~Hw9Jl*@~^2}SZ2ZPnY%S(Z3@$>H@i<?JGDhSTtU0KC?JhnEc-~`^=rS%PS270
zoL9JZ>W1XpORKgq^hHQ5e|{|D{?)ey$ya=>=cS*%v*Y*_YuBC{%h%7QtiGnFmbs=~
zNK5#}mK`o)jTMf~HZOO-e}7T^iH_a^fq$YWm#;kkAJhtoSKKcX+TLljujVc1a_`^5
zJOAZMIKQ}awAab{_&10Dl{pM`&!_bSl-!b-oM)H(T{by4`r5O^HB<g3c7>fw`t@VQ
z#~W5`$!pfWKXZfkm6`c9v58Jx3|4FJI(o<SMtA7xU*ThX`g4ZwJf9=RYo}(0=PAtf
z5a2i&6Oi8@7<tQxUA(Vyzt*a-g4?ZpZx^wy3~~55ceeC8IX}mj@&Dc*a+%Bi?)uKc
ze$Dc(rJqt4OcJqLkyDu&6JN!<CcbBzp59BnoRzc0MSHh=d^_*1`V$|$1p<>!KfdSD
z`oeC<v3KtSQ>6N)DwQXFj3}>vahU7CJeO(a*ZA^FQ?oscPCVs)AH1Wi&RX^ElK`oE
zOdZWhp4$tq?a<dsf3$Sr&#t%LU&K;&=q8)#>b+DH@melo7JcUp$MZW+D;QcotQVNi
z@Idz0algpAKg+*=GYUM`|NWjzL8iU(<okiO(!1Afd7gA&s=&wO{8PKOxA^S-&EI$D
zzF)@uJ?uA_4zf0}-!x<UZ7l3@Z*}yQi0XA~g3GizHS#^JQy!kYmA6oO-G1*Wf0y4~
za_7tb{W*KSCH(!9H??H#T<v<V$oaFS*S-CFzxiLNgWuQ7Jwe7Y-)9s}-|V_CCcZDY
z-T%$8168$q?G%51WZ-(3z9im`c}4iQWwNbr)vr9!dK`8!_$=4c`2qERHk+^fV^kIW
zm?uoAzU|j9(XFQ|Qf|-gzduo?$S3|m;-(kI4$Jq3R$ODf@b5-{uJvZKx`O&$xi5_G
z{;SQDw|bl9#jLu#e$Dga4}4gHGTrUo?#%4T3QM_G+AaHft#qdKw7!>@J{`NYaN@V{
z7w_@}3;*7YcU?KL&5T9v@4rbOZ#AnX+Zo!Gu~s}jH9zp$^5<>A2I^&!2B-2Cy!jq%
z;s4{i+Hu=uG4t#8>r7p5X(?A7_-<##;?!_u-d$O9xux%QAG=xWbnXeGh?7IjU*4I$
z##ib~zAK(l|E`!Ly0?tqx%E%5z21fBGna05f8ebWaOQY$+FT^Q;i84p-EfQTkLrB>
z?%*|lxXkYJe)(JMUQS=X*Gp_Lt1IAMXm)pk(iYaklfJ$8{e9tMa{Q;1EaNAt$qUrK
zHQte5Sn~J6yW`B3tga~+ydK=x$X9q}hToRMPwpn~p7UwL<F;FGoBHO-=;$Q>tay9y
z$_#zU`RlafQ-XiL(w!l_X+z%8i8oCBSN6SnzO%4jqkL1m*vac>>ZY7cn)Gm+?Y4&x
zS#7&HwywX+wIcbh?N<L2Gi_R&BG%vg+xO}9^MijMdfnH1w0hI2*-tOu59ABuWB&TF
zYVV$XHO`_w+$ZAI?i`BW_x7F9G}ladw!-;aGyhodG6b)_QNyNvEA8F;BMW?$vcrPT
zEwg1@cq*^n@5=d&RXlvo4pZN*<e2NfNoZ>H)7lRa?G`CM?zat%_%=D18ZRqkITfj3
z9``8q@m6-@<b4@6LW!@9|3BK9l2>x4>oCur^GttbWKO3(-nZw@#=4u%`wn$`vPIrH
z|43~5m1!pnLJ!T4UF?72oy^|#ygSv4e@E(`aBTa2N_w~dy#92_*Qd7~e#?0MHuHyh
zZ!U#zi+x;~^S@T9<+s4Q<INEqCu<E>JU;cidUx+#_4CI!_k0z-CD<|BO66a^_U|uK
zuT>SxwM_W@<Mdu_hjl)07X@{{pZxrB<gs5$Zw)LbMceJ!pZ({4*tRdB?{DnbSYhsT
z;^~6c2?9=jiAs4{=YQ-!Enp?vB2W~X7aAJ+eH{y^Ny)KOev5#R6Nh5U9t(_CCZFh`
zc1Pvf-4DN&9e(@v#bgWcSc})3B?7<PIZD^7R7gD9mpZ>vMgnBgiN%HG+zU@m{>I}B
zGESh#N?p6<>&}j;yYI+_zPsZC75u(cpigFwU0?Bky;8<({n+=r-OfIFd`W%9`B|T0
z&$D^teJ;JYa{95jEo~rIJxRI~u2?edV8+n`_7<nu6>Lt0JziJ;d$k@EWLg<4BwMvY
zWEp6PK=Ql?XjsL&aFf%G=ooMxoZtGM2UF<7zp*z@-wTfXo4>B=zHx&Y1IvP6rI#D{
zo;=l_rqy`0WN(RRz|^pvGJ#Iu7WTUXcg3e3cru}T>f#AX+ZgYAy^#LAWtDD&6W`iq
zhJYWb-U~WgbuI*|ovxGJTV2)uOBm#<HwS9Pr-q1fMXoootNT4uaL&{VJ3A5?mR5hS
zQDOU+o0%`cykN__Cv|fY_3vG{-~@JQc0oD!LLDv-1~>5?-CZh|ZgFLNy5*I@l`VUw
ztxFypp29`tts4$XOexpA(Jg#MDxmUj`2{Nuo;#=CRWm5CG#uGAlQkf0uf(CO`03_g
z4SaWE6|bzcZS&<&`Mgqj``nM3hFMJ|+MT7h^w?%@;#*dCb62ddPVg44WsH;lWu<fn
z#$@_{LhW?H{m^6EqgQ)tipK2UD7*a5Ps7^U)HT~@Sp*yZY!wOS)VR$Q$#Uw;I+gp&
zGr>I)Ymn=sGm37UGiC^w^6=^*yH4*1nq`ZBhT3v3lG)YJ&AEMp&I=>876GRdsXtCz
z9=+mqU+!l@sGZro{H{yC%GB33%N?CmwPvk8*x{8i2b?Mdx3DQRe33YA3Kj~rJn2*s
zTIGJOwQnV)XH=A-nDfC;1|-W-shAgfRKXk+_!Gk0#GJqk@pdjnknD+WXHcT&P<(RK
z(o?ZSeae#N<Occfk7X~e*f*+foBRB0zu((NP37gUY`L@|E1MK=a`t|C+jjdl@AmEP
z^RKrEIAtix2&|v;a*J)#`%4lIrtYkATMwU;dRkVoWZ`Zh(Xi;LS^K&ss(?Zwl0)>6
z#w+3QRjWSut-Jhn-Zg;}r?{>@`22c7XtwB-@HGhxlht>$ZppnlPj1F)<7^kuxQ%=W
zN4aulzw<t&d8HS^m#u3J-tqS7x7I6G8M!%AqM|rC6<a3w-f>hk2{_qQVLg{Gw!?9M
z&i%VHSf(@^ny3BW=XUGo?s#|m+85w~x?_uSKg7f^%+*}Bw)w8aiHUV{WGC<Z*X?r3
z^XS$5cD-vN8w97iWG(u4<NVp?b#t~nzU-SGvgyECxnMoTmI>icN?HS!bACGa`Bb=4
z%q+pD{>%5W-}tb*!Es*8ltb5-efj0Aa`*fp!wGDam%hFIWO!3BT~a2PXR;aJr8&0u
ztXPYfpKx9?sXJ+tak=fdyQ;a$&kYaN{0qE83N8lt>;&~#+b4@U@vg1izMy;S<$$ne
zW37$+`{(`Mpf#~GFN&ezL_pQcEd9lf>#o^6Qt4Xex3KEl<zMs9F5R!6dh_4i(%jt=
z9u8s)|Mf{up7D?S;^uG5cFEn}sLaZG;l;M6Cs!{^ZCuuT>4xg<&z}?Y)&^eEDyw^w
z)w=3Tmg>zX6SzNfP50(dd@|MIu9F6LyyXOqH;3=NU}9ryHCrKHRIBRbaI?BJ>i6HE
z(y-HJKc_!+&R=cR$Fk~F-08nd9*b>ZIaId5ueN;g>-RSdZ_ZqhB<#gLWin??_;0`P
z<Sb(cq3!?AezBS16+Jz?pHrb*=+t}$CsVF3HF1}p3OR99%KC+IJT<60yOX)svGbCa
z9$V$5{>;yh=JsUD{W~nNDpAU)wIS&3f*E(dE-&7Fy#Hj?FR>H19%X+@DfvC~cuJn!
znI*Z$RK7%}#4XO`RBYKJ#J~4c#PWv{T1GBDYa6Dyo`1^6z_yd;_`<oJn={TvZK(NP
zXrX?7)2_=;V~z<pRQ8AJf-;`n9mTc{^{4e@1eiP@?|XC9m3JMJ(T@M|DSzf^p5NYe
zXR!}M=W^Yt!m~nU-6JZ(7SAxWoG^j)bh)s)d+rw7rsxnR23N_*A9rkK9Pag0n16E5
zwrQXMjof)y>+wCU#N9PPCqxz%#`~=iG2=RUWYvkhe|_H=Z?T=1)|lxZG53_`(ad?K
zsd|Zbw;BI)61seGjmf2dU02TStIs~3lKubYsvRGBG<EJdP4eV^A-Ka;HF9TG@bQ<G
z2JH@7t!I~;tGOx8Jdqs@N<;Iey%Op2ViHx*)(m9)>mAlQ-)ctM47(YAr<Up1pEnZj
zzRdTzbiR1wmxa|EQ~RC^zB+v^Q&YU(AvA0%N8Q<}vah_?w{ag&+4cX}ZIdYW>XQy^
ztvS1uw5OLJ{o65<z1S!)Z03v?#uGzR71pbM&M%DKxA;(b$d7%`ezyoXtvezcCi%NC
z%b|SrB(t+CxP!#brf<sF?#5`a)3q}ob^D#pEzLFILcz}-ax93nUi5eE=eED`_w{Z~
zcG^(m^XmV*%k{Z`e;EZ|-eIr0OFLJ-LG^Qj6k}+Z2D7a0CZW*$uYc>n>BS9NBU^F?
z9~Y9kB6q&}<+9xiqWdeu?7Ey@m^Io(b6PKo>HTtc=X}+!{17cp#U~RhUxXf05jyX+
z;_69h%lAD&-}>3N@PX>g@W=Y!*D+X%M_y@6?(frLEPd|<8c_0Qf(|F?^CiQElcHb@
z*tim(D6}knuF@Kyy!URwY>T42;CC;1x6j@k^y2JO+35SL7Y0`g#Tnh{O1rT=(31Vv
zN6TMfsu!2Do7pVileHw@{La0+9eZuR-4Jp*q5bKDnA6;Q6Xt#Tvh$Gh_U^#fB9rpe
z8aDAx;+lI|_uT8-wvonu@2n4NbIRR&^R{_~pxyn-HA}>&g*$O5UVplzmgDu~<KNtG
zKR(T}Y15mW03GwG<sr4}+xI(eeIsLPcyIgqmXpGFe7;NAGc>TMyi#T;W?hlwnKuQj
z{mDb!7E{hi;-L{{4<p&<HW@#e`fFR*8m)3m)qvLvrutT;J0FkWj9=}~sn}w}RNkxj
z=2+0(g59dz@@xM7shNI1!e?6jc?Z?Foy_ua8vi$Lvf`E6B`f}$eJih5wB(F!Ou;Q{
znzMhIec5XvcJffpe?6JyOFb+r?bhc9UY#s<C>`vG^GELLv^<Q^YPPYod*->Ev*_|p
zLn-ZTHs>d{uk_QGJ|0@-D|YhltBo#V?=I~>XJoNVLM`{qQp*ns8K<-rTP7^tIoat&
z(n^NN3cX#cT(+H<`YfipwKm}Qx_wEPRxxM1FmlekJbjzP;_ic7xAQ6=r%FzZXkGTa
zDCgGVg=TgK`WNWj-XAUgY}&rq!+Uge-rs*&7!@>qOTMnK<f*zp3!E8x<zo55GqwlB
zaVoaN%(m8S;cThB@%l>qNzDbPl&A2?H~OqTwn=%)s?)}7PmgRrW~i}c<!9L|dvni!
zVU}S~2?+fbwZ&=SvF|4Lk8SVgy!J=v{2$B68>{QXlZsBLo|<^j>*vhJt3G*gC_b6F
zW3rRRf{@=DMwLR6&O2K7GXL^k9U=L|)1L2K_wA^^4D%0OSH2rsw!MF+S@EWVwEy39
z(?q!<uV=3AF0=JlTi+t!q<8XfnB?h2pD(O6Jh609>LZmSp<9k|pKj6-i#k*D-4HY-
zmk^V5d!|*{nj0^;c8i~TsySh5?CYTKR<}gu{2yf+JPkX0ddlve+W}&Fm-Z{}{Brlm
z$;A<=`j_T|3_p5TZ0Zuv^S_KYUBCTRqx#h3;!3F}Cp%8x)==53ZGQfK*|BohSx0Zp
z3D)@2%FgEXOnYr*@um&i>VH4p!Z-I;O{+u{!`@bv=^MB4S$Kg$(?<CFW`S8Uo*Dl)
z&)j?eUHg{b=YDPs|F%$*`}HfC&eLAkw7iciUAnevskr@L)}YMrT~#0JDmNwGd6uHM
zs$TtA=Cp@`Wxk<Pq#_vp+D(4`;)9^g{5?WW9F~37nl1mfN&I_zKrm6<N$m0MM<p?H
z5A&~o*(B_+d7g9fMpus&LUR*m-I|p;Ep?N?<^92rx2&rZbvm0Z;?(Ia_x5|qCs2GC
z<b@t}4v3cml{E~T90EQnGM2o)dHz(kR?G866ZctquW|X<%cZK=Vk0y?BE;!kN4n~j
ztegK@SprV|D-3+Cpx7cHbeL82P@>HB7jc;>;wc|Hev97|4?Xr?(T_v1C1xr&v^aU<
zBjF5c?FxK)1ZnmPe0mh12yQr47Op^aJN%EXU2v~@>X*Qu^UhXSm+VTN`g7{<=ch`$
zA5J~y2k(D)eN}3i@HIej&lBe7Gdths&)w#JB35v*pLN}@b2hhbeBHJoOH0VYezt&9
z+?@S)b~CMat>uxDRK8+=OHNRI!c<lB#(g^BQr5j!G}kIQM{02_o}i+cXC8jNsX9-{
zse@g&<%y%mgb$qm7R<3Ib5q>8RAaMHXy`(%(6v7}TQ^xwo&{=VzARqnwBqu^mCDTZ
zlip7=3h<n57WhtmPqn>T|GM3$H>;G~@z&fD=%IEuS+AC9>yMK{Wjjlg*Cc&@V|?|V
z-$L$Vht_`%xqB?8^Y3rrzqTIozt+vK%bd9}<3ZWx>o@BX`tEMqXdGa~zDX$cfJ|lx
zldg71XeW>5lV6^09E$$OGr1P}xywaa$<{KwFmZhMH*L0!<0{^eOMCg}R-JlOB6pYl
zHjC3u<2ut2h5W@KbK65^$0R<K&~CPg{2mZ<>E6?1!B^VNHa8b-m}F>CCT+;NWn#cW
z&XvI`Zjsyz8-j$?!h59ES_DpOaxDz(46S-)v3S)^uM{Q@?O3T@X98|*Nu9f)E+eVp
z{tKlCOqVX)(%;<B5+5h)9dciK*<`I|1}1*KW+!O|rpUFX>y8|aVBEy<_4KSi%WmyX
z(s8+cJ@j#r@rkRm6iN!eFfhn01g!;de_2w`4{q+&mspfV8@9GhESj-D&|`{2WW{_B
z&Q77Ho3)O&2ne0z<XX7gX6oPe#)eJb+qmXBEDII>p*v;Mec7G)Jf|F9Zu)R~ipCpf
z#WfD!KCEfkmAou)tE#)llG#a%g*blK&i$qLaa(-S%)I<J5gsB-U$NXb|2h5X<YNh*
z3s$`e)%ic`eP&sB(+aysH*y!7usNyh-7S@ww4kas@VqUv@UM#sEfd6_u(WPyF?4vl
z?$z;Al^>m$Tk~`TY}FiMoxW|=N_Uh9RA9G^&|Vm($8pyolDj+PZ@Z7q*4L*JKcyt|
zJdCM+eEiUgl!q02E%wR1Tqh*>>EOoO^2}2;I;QG}w+MXlDwz6FMyYkp-(vw%W`3Lv
zCpMgnelx-K{8DxXww-(aYkADQH{r?mb*zzxwfp8y*_8a#-0RSaiEs0A_B?dpRBxFe
z{*<Nl!cJG#O_%zsU&XucIr=?jFT;YZcjx;ocpt-cIqKt<YZtWI56WFTs8}kKD42Ti
zjnVacGd6zsJ|WuDZ<)<~q0)Y%^2X%tJAE`2?{?4jQ(PF>V-m62Mke2bLs9<}C)dK@
z6>4D?xAq?Hi}<+w^1V~uyPbkhY*~K6mt}@`DEr&jTR30cKfX!e2LD-2#_ZxbIq$!1
zeDUmk!KtqOD;C~kO1a~<)pS9<?@aF<_qQ3#>|UE3emwTom$uo{4z5jS*lw}B_o7OR
zK+&|*5n^w-jtBe+-t^VcAj)6~&)b>L@_ippvEHBemp$G5ntw``{pqHYZ|mCk{(TY_
zsV}yr{9{DRucvJy3#&MnTw3?-+ara~DpSfl>-80vopEnS-hTSV&dSA?FaGtMEYsL(
z*&^`i)*LbC8-?wB_BJ`zT#+HR+b8a?ZS&roFnhX7ME9c;cImIP%vW@;6<9U(T6gN(
zSTnKaI>E^D*L?q#L(5Lj_1L{)zqml~GvxytZ-a{m&5ldoE+#O)7l{&Ep(WSo!J$~2
z7y7lQ{q-*2N_UZUp^?|b*bR%gm=vFcUhudd#hv%D_nMp2iN}XSk8xj&ViuTi+e{8z
z67G}<;ZV;^-WAk4G5OW6=SThC2yWl>ruMTcsDJs=skOi`W-6!<o$&mLC$!;qA}9k(
zDGDCIh?~P6!g2Ri^tuhU?ddPye=K`Za{AQU^q2Du|1AEqP44;j^f>qD`_<N`Ph>qO
zx@l^<<m>dg-0+#fTv@pQ#XaKR<s6Ls|46*NlBZb`*b}w<`im{slAF@ys#h%WD?h4N
z(PkDi{rPO|mNm`A2OV1{?BNh{y=wo>*EyR3+WkH5s^!3N;;M@h?-MowNwF=FOrfkH
zN2f)(KHa#F_xbg&J1f@ibUI<N-c)>rfKU_5$<4A3$_$zeFA7i3+$MiwukH5gk36{*
zR`Uwh&1ntvNaL3-2sg@>RR8|$=d(kZT#483-xL2~IQi`y&Fc=Tm+St#ESl|dnDgdF
z_T8H&{<SJS9UXG6M*pjyI_J}iZzpfN6L&lP_LjDv|N6A8_w9ZB{rRyI{_>!bcdgC2
zh5SA9r6=7AzxL%Ccl+k>sQJe_zAiVc`ZPgf#?kqA7xJDxT#@tU&W(3p6`sXJ+K2Z|
z)E18tkd520`OS$#kyDqgGb+%!wjinfyuJQz-pT^KHS@UD|L4tJB+&NvEnDR#T{-{d
zoS*#Ee>Cr26EnAuW3Hb#{{y?XudnSrn_RQt_#=sL8NoaDyo5MRg>T|Dz3ZBDqRUb_
z1D2LfoguSInd8){E|<VnS5x0yV_UdDg&|`_LxbeftVkX?e@Xu5r^NUsXftQ5Ute;j
z|G~*k!hstPKaZa)Uf|u3^3+=A`5`vHX?ul5obK)_?RqC2ur1JQYuUfr`|a<o^7h3n
z7Fr$f^XHGum^dNV$@Tls$lg{rni6OGYVs$ZBGF%8xwh9=&Q6;7`n_nX`_}Tlm4;kP
zzuM3C{=b0ZhP?2C6*(Sr_TJI#DJo9Btt`8>Xc`Ce(yYs|VR>)P%idN9Wn(<>B<q8N
z=9ZPOSAUbJJva638=dgf+=r7Q|9%RXHgT(^Z&}jKd;ZDSzBd{>uP@9g(93!1bJN;U
z(MMrT(vr*4lhP9QZl68%#G(In)`mTL32CRlS``QMZ_6u<OW%_JL+$#O^*YU^FSf}a
z$jg;l`7ova_%zx3_l~<)N%<a0VwL?d(Qn$$f;pS6Z0wM@a*btYis8vgPF=s;Z$@ga
zDRoMzn!f$o-CGa#=9Ygdx+bD%zT^Dvf^}~W^c7v*vt_lF-qjZ#;x9Tk37<Vy_iBGe
zZyalwX6qboY0JQGegPb;Q<m?YWph&?`MGlYG)B#}KkqD<qr1Ju&>=UEkM(QR<}HRZ
z>So?qU+bnSSjw@be!E%gjMwjfY<hg__n{L9`ipm7xSB1hw)PhL0?jpBQ;vs6MPAAO
z9Odb;lyRct`=|D|H}byAt<LaeTypD0)Mu?TJ2&xHpPc$FPA-V^0E6q3_n$2{ZSHe^
z9v|GX_0;R1YZv^{FVxF<u5;5mJ+M=!>RBv<!HK7Q2iJvbl(!dw*R4GL?K>en`@L<T
zq!s^xLwZMUTtA#zf8(tE2ma=}^>fOzn>}7nJ$-IgQkT^>pA_rw$Lscdi@E8zu4He=
zk;<Z&m{omu17BR)w0YnBwAf>NU1O9EpWHY}SKnIPZ_?h&+vl!){D$j2Zz5B$U(LGq
z#)DDU^SPW9X6jzwS@m~si&OZVXzNwA&D*}b7J40Izs&cp)vxV;{`F~Aw}10Hb<FY3
z;xn=@Y#4G2_D+Zvo6K`D^Y1jhZm!g@_o9>E?I?a-mz$ycD=Ir<>h)>IVs&liXjf0&
z*&f5YO-;z5Ni^?qa7wyt^smg$(>EloT-c^)txB82y?aV!-<!FcR;awyuP$f0_@Lzw
zznp1+(fm0Z@`OyD-r!V7;WCU~_xeGnsF$0f<eChvz;EF`XSe0c-u<SVm^=I0mF4&E
z-#*Q^y}UQ)%W;iqrJpSN`CPK*H)K3swxxLMyU0C$Z@=k(y}c@67av>s_wNbk%{;EI
zj@S5;Bt1tv`Z-tG<kg#wBxEb?yp+4A{SD7{4enS$MR)h}_R{O6*YoUpRjBtS>9Wnk
za_*}SMW(W7wdh5ftUTqzVmJNU?oC>3KTmp{3fQOjc2iMzg51JCPMN8pIy&jwraOI|
zk@-L3ondZNz~<J!vf<x8eLHsI*bRx^ueU4W*G)YB(@uBK^t_!bzMsx1y!5l?QP(yR
z<M^zn@n!5uPS>7&;xWG8)=@M2*FvF4%c%y7*3HqbJ~y>uCs#n&REN;coC&q8A)!b7
zOBV1IZ@RqRJFN5M$8Y+9x~Hp_*WHpm*ZTLF)AB{HQ}Sm7s_qAmiQK#PkcE5U{x!Gv
z$1ccXey0%f^634AaZzzR`>vi|^r|j>LrcxRJAK{eQ?C6!!}@Mr=6#vwJ>pyHZPq`{
z?K)e&XaD0<eVO?^IW5OE=9zw~NNvdqfBf!ySmuH|akKwMh<!Jc-n3wS%5^i9L%X6>
zt}rqN&e4u$%dp>Rlzc5^_W_kGd#B@3Hw9O1jy?5dYf18}&(H2hS%{a_<jMTmUE0(-
zLEzJlA7N)JR^KbE%sq2|UuOUQRQcHOPaDphI>*r-!Ew@iW7xMg$-AdP1Mt_KURTZB
zwCDD-!Y6?X-%O}3-0~(+(PqlOncc#_bvDL5nRKFWu1=QoTj$SFlk2s=uVh=+Uv0H(
z-II+S6Xyz+l}k>(p1^)HnnTpd=>+$sc{3b5WTwa#>Gw_D8yy;YHE}0+T42IyXKwTX
z>4hN6Tfp6*JF?rAI#!oFzOZ-lmF;uZZcC5*u2t?EcV4Ob@!J=2zeR7KbALDAecf*U
z<7FpoU)8n#tGZeiKb<|C!*WM;;uWjEuFJRXGb(?#%<EN2xXkkOjKhxw?aNE6Zokh-
zDN>M$c9NUO9?r48!zIvH=J4kf4^|F_owGcaG~T(=zWDt2&O3$scc)g`I7`p#z94hy
z+YH0TH6_(s_a2j}*0b2w5+kbBk|NDCfvG`m`<$Jho!Fmu#<iwr96mik;bGfef3D-x
zCR7)JdqSNOvi6OQUT^*$Y`pXLyve0wst@PyxmX;0X4=bo`_^x#IhVaXzUxlGZq<3a
z3-81xg&3{yHu?~J?5b*yooSuk*7cuWt`+~5wtkCUF8gc$+np1;ySE+GP??-(V*c*r
zn%7l{jj=Z+waYL5`S4nN($BhCb&-F67Z+cL)Zdvi4P}(`^`0bD-(Wmm_VtFG3IBKL
z+me3&WjhzwnaK$rD*a>JFlU9ptCA<jJ(ka7;9PNO7ncv;Q}ydyI~f@|7llN8iirzL
z`@i_ew9CuBPTf|prrU9zk8e{{!sHr_RciijtrhF^!X1~)kmY|qEjIGdx*|cHhcC=H
zSXCJvoLP@u&<H(!-tV{&Z_4t|3(7L5o$G&Co;`E_dFSU9d=tz;_41cCb+zMV%<g9n
z%N{SAHo4yY*~@)CGUDu2e~cR#R`@MA<HEXtDJ8VTex*?(mxJo2O?zWcSnWNrYSU!D
zkh)E)w6rA8m~Zo$-XFhgx_j|@U-j;~dF$pR&b_tk%d7absRwTD@(HY1zTwo(E8DcZ
zC%1V|DJ}e4D6w1qMB=`E-A|R2&Kuvp(DQwUPunfQ%WVE-R;gRQ&z<9XzJJ~w(M!`V
z&*Vt{Y*<oX^X}Nv`>W3|T>NA<HQctxXth@3Dxt_H-z~REpL(+~OU`e@?HhViPRG8I
zk4#%$p&ozO+odd~MAq#5$**tgSp5Pxp3C1dTJU0rylP}fuK-VLZcah+>5`vkH0QkK
zf3@R7f4zH~N`b-y@7J63Q=h$@@K1FWD_6$Ve;U80YQL60k^1X~(b4poF-M+Orb%0U
z&CmDK`2AYsP~)1?QxWFs&oA3dy!2q7plW{b&n^0*GdpI4=km$izM9GwC1K0I{L`)M
zobXdi!zW5Cc8r<%kGr#eZG~l2Ec@@ZzQvQc9*U^%=<$|dzLM8b_hznmegcoz`{+#?
z6FD8UIait}7`-@Z_MtTO9J?vE#?^JT#yh(?=M=5qvCHGcg-w>4Yb9;A>9Ic$+x9Db
z=LKJ_*H^bkEi9~`z389yjdxo^@2H3u&y>H<w$g}$A!?@qBXjCs`JlH?-*KFXazFRz
z`Ei4Pr8#`I;?*Z-U(0x+J(YncU`^4<qMYvu=PP&IzoGYh&i#qmMK6pW9NqarEBW`~
zw118D5;4z@dy17sw{W?BKAbbbn{D$dp1Jae59u8Vu-0mEKYjFJu0ZDAMK_NgoUy3S
zUg+kzzgy(3c#rSj$7X$EcI;lgH^!%ru71V+M&rw-<lWb8_FTU)@1OOfZQQE@()NA2
zTKmyL{n+0{yABE$G&#+<aq`i7L(yHke*3-LQs+IjRoJ1or0~eAT}H_hTc;mi5wL65
zi-HXsuYJ9}L%_rA%2TeAI-cAGTfz18O*Qe)GWXlAom#WCEvz!P@y^$^b_&_DmfbVu
z7ur5jdfumb{{O*yE6><I$=#4TkwJ*TE%~Uo%JH)KM&D<)|L)7>N&nN=GiA-Gz{r(*
z(~irD6n-&&FxApgv82g*W6@a+m3;y)ujG9W-2awiX<&b~)uyhME;mn>yUy&s;PG3#
z>2Ci=4W^ZAmap)uE;Z!p%$+dd<vOl|GjE?Wx$*Z;&pJ`9=DFYBc2DaTmAT8tFkw~r
z`-ufjygTH5fA4?BzIoc_x1Sf!-oLo^XJ)vAl*UYd8=2q5=F?15^-|O;wY_<^=}eN2
z>6W=Idra&`s@yx<ZGm$>SZ`V&)cbV9Yg6kE<9Uqh&m1)D;yrt6>&4aky~<S*wu$pt
zo!S1^X5X2e51wv35LNFQr?LKB(v*W+ttzUwZ1;~(y>n81UB>A<k2)=OModee@%YvQ
z^{Hon__MpLj|@@LmYni;=T2cic^~!E0J&yu0ryLN=kM-tWj=knXSValPhtyXA}gh$
z4s2OrCv*F4^6ix`4pmA#XxP{r_hQ4Yf7QBLGp8R_ezl>_uPE@O$nv8CWp`E|=6{>c
zcIxf(>;0_-`Odc5bGZ#-<I_U416uYebB9b`@5Z$1&GEP!{+ooZ3csDJA~NgW&G)&c
zaeCVde59*X4)yJ9u~JZo68pRT>%upBbLE>Y)r_Vnf6@!Nsavk}_R5`J#bsww->B!O
zojLVJ%wX+?tb&~KIa8#cJrqoqK6`M#^7V&z(hr<2%I}>rLF)c0$^5I<dh44{#qLQx
zcQaSvN$ZUbQ!n&Qy^*8Xv;M!RPU`m+hedDI#_H`kHDkha*Vk1)H^tP?lUGbp?ziKY
z-}~=L6llGy!V<S@+cunjx;1_0-sD4S{nK}aOLJ6~B|Up6TKVPI<ke2xii+iqi!5q9
z<rGt9xzBI!kE<_I%?ouk1}|?op$)Hti@kUr?*ISy{j>M`|Gv#n7x4rwW^fV%8339s
z15Fy+Nc`JalimO9wsL>=!r<Fep1d#)`R=OvU5=^uOPTebKUW`1=C^}4k!*dm<DBUI
zYLm)86ZbuQ`>k#J6IuE0{iVy^+zIxx|1j^yKhJuW;5Wwork6kqZq4u9ldH9}Qw!lZ
zxl=-6=hrVA?}^&fe_d%1(D{GDyLjdF3w`PAsr9x?5BV*>x5LWqnyS#!H}bzkkJV~_
z^lJ3We?I?XRfmmSN9FO|Yu}516`lVsdN%hb&iJd-fBFCI`+mUYsZAZ<3V}(*f(|!r
zn-=dprK6_2+dn>Z&59$_-sde0-SkPe-ehamT7%!RTh%A1FeEJKX0CsjTJ4jtu21{f
z&xsnV{uP$qlAEsvTAX|E`SF4t8@c2BPuDcXe^6buZ=qd%&=c`1S`XRpg&y!aQTazC
zKvCt1h{>hsraM3QpKn|pv+v@X^xlv4Q@%UgTE5fpY2VJaQyc3q>?#o8oV58&3HzzX
ziWS!mhP_mDwn?o#0y5!8fTGH6gYYiFBE78}vvXrkeXA**<>aiOtvqEf>x`r`Qjd2o
zWoO^#U;9ik^{>PAs>uD4ttp%AW9-ZBUZ~sqm1}XX@cxp+$962<r(M59)=Ku2!v+1@
z(`QfkU3-T2&i?oF{T@EQy??qB`~KI<<D=4S7Ju3iWY(m4xp3#)UphzJKQ8W+{G-(V
zD#85Uruh8<^*_H?ecIyUCd4Xi&DZ_3aM_!g_qT4VxBIYI!YwLq?(rx80u)tVUo5>)
z@kt}wsKudZdQJBAxhKB7bN88gZ?b=hmf`}h*Qbmsv$rxbtX*?DYLUiOm!5DY#fEEN
zEt&%Ywz6@GR;-d<`ikA>|BAIsdX0@Y=8LmkxK}QAwU}k@x7eS1l@BF|wp=(Iww&?k
zg8vTYCnhH+8@)ff!e-sn-sYbMej9(b`0w?U>DzB|VsdKNEr)p}T}v*1Yv`FF<LPqY
zc~NDI<NtEqpI45AZ~ObKeqW;8WN(Mo2|bg}>HNzGoAPqC&XrO_+k01KUaL%asrmHz
zftsytb}txyUHbft?{3rEjbTxit2-Nmq)KCM#=M#Apw+6Iep7!>h$IWc<kgKvAsNBb
zS640N+QL82=+dK{%cs}WNlab6_qJ5j@5gU`EelQP@mkY#VS2mJ%ooen-k!Sf%cZN%
zi4#_v_Gfl3S{b}z-rp_%(u-eyPxg`vKY46n&4a}&->cWWy0X2NbCPSun&%fTq+0)5
z`ghVrSLOS?LU-inw~GDDsFV@-xmzu&Rp9CI0@H8PDt+`AMV*Yi3^)BqE)b1aC*rrp
z$nVqM=misRZGT?7wz%-;tW7Stku!?UuZd2z`K_kc9VJ*8=9DcPb4z|vT;!$73BL6U
zx3ZM3DLtp9siO8ZiTTKjlC#dyj6n=;>+1zh9txipmAWf$_wp?~A}_B=-Trp@!mnFT
z;-~rl-Y{p%@wJ;aTFd{CSi636-}SH^*ET(myr=$BE5u1Nd#!oczT;0k7inx})nB*q
z(~g#o`=-JH9J{Y}&pQ4@3Y5Snu9(`Vdhp2ZwMO#}J6K-tJF%erGTZfM(iPJ8lLJpq
zn$&$OX~EQ%5UX|f^!hebPSE|)wUvc;?WBf~?6q4Gx43PtP@KxZvmq~Vi_E%?w_EmZ
zIdyJEQhw^8*XoNW-85N$Z04qoyo^sHwSDKg>|1kI_etR=5fAlAtP6ENezG_lxPSVS
zi3^-O+-8<aR)<HumRx@9zt6>E@6Q}PDLa3?hw70_7JEF7ENZ*i-u{#QU!uUu2`<M3
znHoG4v+pP5PBn3reXeeFri!I@`(>G3aW0R3IV{<F`v(`}TdTc_H;eNZvL}YgZ9j4B
z-Iu#ZY*Q{4e`juR)SIp!RVlKl{(8;#!VjN2Dt+{rMV*XJ2~FSld!dMAz^dJ0+g+FY
z8dO~8tyo_3)_KF$t~c(F{=VvK{drY;&g+O3R?}9N@}3ozcYhHb4jQyx|M<@_9fy6@
zC%Jv*FD?|{9l-iqAnLgppT-`&Y2F+vy-7CPa|0M9@BG&{syjdBd9+};Msb{+a;kDj
zn}D*u>9W2=pGmEiKe;`Z-8rt;x1nR(wEo9WR?2+4yr{5a;&I7o|JMD?d!({JVBMVK
zPpm*Wd}DQAte2$8s@SE^A3c9JZ+$I?+d74qruTVVdEzhX-mGPH(}-oCQ_bIKnZ=!+
zVlydZZxNGTWV?97zB7+9_lGeFyf`xVByV2wa*Nylw|)#UYRwRt**W!)o8rufn>Wwi
zzZjKpo0Wmh>zQz^Y=F|Dh~Q_3<~)BQ*fF`6p)@Ajp>g{)H^phUm)Uiu-CeW&01Jc3
zrGMW{y|>3lwNzhxwLa>a$7I#V8)D^Vn|Rk>-_xp+yZ`6>^|OyZaSBoYu)hB9>YXRL
zgTtoI*l3;hG=#0ySEG4mI+LhD*~wKAbFNRTIlfA7_WO>PZhFVxpLaCw^1AhDN&LZO
za@?=)K2c6Pw(S4b)VI1%E^Yk2;jP%s1*=2@N^e`odfqmR^t80!=4x=(pw?jS6yM0Y
zd8uk*%VnRvw$o>N>HIzEw9I+s6H9E$q&8*hZTWlQ{rjaxZ(sdR4}DPmRrdbs_n+$j
z3eDPS{AT&0>1m$zzDr~6`MjSNF8LU^Kl{ISuKmIl|9E(AuByEAe)0PiA7n-Mx%VmG
zWR2oDDI6%b<^NT`pQjex6k5a^biZQSMhEHYrGI;8?sj}M_lHjULe5CXL!#ToWQ_B^
za!%xUZ8j-D_~6psrS5wDj-}EH=I<VDTQ#9>p5Tc^uOdDEtc|;6vN+Eo(q#V5RvTU=
zXUn8I!BuajSx+pR@ZKxwRL|)OAGvCsDZPfbHm))cFAMu%R2D7!Q8a$`uYV5J8n+AH
z<Q}|tO(&Xjil8N*_ftckGw*Nl|H*jvGQ5VD=jN<RAH8FeQR=!aDfV6SJPXh5Di4tp
zKeYLj&h{Qxv4=WdhO80V7nZQDxRDjAFg>}`MsH&8<_~LH{ui@up0asf*P2}p@2`mb
zH_nv3lP-7JsUkl^QRT_Sk86ygWH&3W=~nK!>Focyiuuh--kno7)n8ck!A57oan((Q
zQuC&MXs?=oFFrq<NvukL+4{cNy-e~I;n&Knl4PIQ)bW8<l(>t3dSCy4_s`$?^}lal
zJSyn)&h5R$y4cv9CmR>$lyJ)CX9!B3lHGo~ipS)V`E_}rquZ1HuPQo&CKqH}s&BC?
z#%f4UF6`1@&NE5d0X~)iV-$Bmmf5w$h{M*A%-P>l`(dF;iCs*?f6d7gvOYy*gO=tA
zd~(1${|lM9fNySsFG9gw(1$dB0-iiUnMNkVm^-Uht$G*B33g<WJ;>vrjlqTg>;*s6
Wu{~WNF_D3Rfx*+&&t;ucLK6TBCRM!v

literal 0
HcmV?d00001

diff --git a/tex/intro.tex b/tex/intro.tex
index a926dfb..6309552 100644
--- a/tex/intro.tex
+++ b/tex/intro.tex
@@ -19,13 +19,7 @@ To see what is known about beautiful sets, she types these three conditions into
 classifier, which interprets them as a \MMT theory $Q$, computes all (total) views from
 $Q$ into a library $\cL$, and returns presentations of target theories and the assignments
 made by the views. In our example we have the situation in
-Figure~\ref{fig:theory-classification-ex}\ednote{MK: Maybe better do this in jEdit and use
-  screenshots} \ednote{Interesting: the $\emptyset$ clause could also be ``$\exists S$
-  beautiful'', which is equivalent via the subset clause, maybe use that in the example:
-  define Matroid with that and have a theorem that says that $\emptyset$ is beautiful. Just
-  see what the viewfinder catches.\\
-  DM: It's not going to be a ``proper'' theorem because it will be difficult to construct a proof.
-  Apart from that it should still match Base, beautiful and the other axioms.}  In the base use case, Jane learns that her
+Figure~\ref{fig:theory-classification-ex}. In the base use case, Jane learns that her
 ``beautiful sets'' correspond to the well-known structure of
 matroids~\cite{wikipedia:matroid}, so she can directly apply matroid theory to her
 problems.
diff --git a/tex/matroids.png b/tex/matroids.png
new file mode 100644
index 0000000000000000000000000000000000000000..eb2eb882f91dd2510b4d23eb97ebcb20d448a286
GIT binary patch
literal 21700
zcmeAS@N?(olHy`uVBq!ia0y~yVCrXJVD#o-V_;y|&Y0%Hz`(#+;1OBOz`%C|gc+x5
z^GP!>Fi4iTMwA5Sr<If^7Ns(z=jG?7>J}##rKaW;XXKZ>XWnnez@Wh3>EaktG3V`G
z+p@J5ySG)JH@?SbQPRri`r>Yj=+zac;x4kRPg9tcXwJCzVqECdH&<JVIySw1GiCGn
zhd+({7?>1Q1bm*&uZ>SOm?qBgm-&26-4f@^CcGSqEdov)o)7--EMWz+PrRL=VY5%E
z{%7Ce)7)P&Uptq%D%;BxSUll;yiM(`=8lq|@r>UL6<a1eE^Kk<>NtFStL>)%_ZNHi
z@B6EKrvJzDB%6G`c4nj0v`d9|I2Bv&=>6YS!n#g!t*OG(FL%x=1YTVF^+?7O#>5L#
zB#o}Dn7YGb?V$oY0VfVixnDMH6W5+uA$p8Ug?BBZ2dCt|i8Y>43)j5t+m*rU7Oa&e
z!Kv6%V`cU5qiALRx^2&1&*1zm>vj9}{lXtVrOy3)o9eN7!nHlCJa4`Ede__3Z1wB;
zezNv;3bRdj-mVtC;_kJbA;^n?ZI{#%_r+0(4yP<HUNlck6J{*A5VAA#Z}HpzrE+Ey
zrKk3uS&|r>dB*3}Rl{Ho$w)&j`)l(G<R28g=&R8zWMG~uD|Ux@+OJC2zwYZe?izlK
z?AYqLC~MWle$Itg^z8L69ow<?c8QI1vb_0h|I=QQ=}sJq@e{Aka{n8=u!MEP_UWAq
zme;$n9NjMNe;}Ln;>ra#IH&w_4_I;0e!p^kvEQA)d|w$D)(0HiQ@176?hjw7`DF|7
zl>r<FUaVT(?6{OyfosKz6ak||sVO(N@ozlmTsM7f!qlmkd3<M{<!ZWUHA^V+z(M1%
zx|wsYrTagZJhkG0?63W6ukV;2{A&H@2@5*>7Tmev7rdCQ??S+O$;V$l#)OBRve?b^
z_0q<t?ktKe6S9{G%gG1Y+Lp@iau4x8pD}OV#V^lw)?bj{zwq6<>;2yu7(Rb1|8Ho#
zewFZ>J2mqz+GvWD=gNg0FkXLtu0mD6lU3%^d;x|JAK6nJm{;CkRyw8st?k|gH$L~h
zdb?Nm@y9~f>l{yl7~B>cG5E0NGAI_GsoL1dv^DwA8WjeKDW|TTx*D?c*|}4%vw7Dp
zzur4(Zh~sS6=zG|*ezd;RG;)L$=bSn@}{lxGSt^rFJCjKXqMDb&$~Yky=60*a(ms;
zy0~@w10&UA`p%wnmRf)2$gk&-oXnl8ZfRJplK}ZN^4iJcGX<PZtlbp!xuXBk?e}{>
zsL0jl+rN>2zjoPC(JM>zEABa$K95Sgyo~jUx#=~Idw=_WMQgv<*|gHN?(^qk9=}(_
zu6=U5Kg?lowadI!rCZ*fR&`OIkP&*w!QokPd`Rc2Fy)6qVRJtOU+0!O=#V#6KcMWE
zKf|U~hFwPmxJuR6@Z1WL|6XVQe!_yujwL@|-!Yxewc^(L>r0+FTrP1poo!T6z9i3i
zchIlOmH)Qsvvhe@x0&rq)!TkDi*fm~Hzn743fJ%oO%*lSK5c8&oaudEKQ{<CohaQD
zRPl%P<{E}?{Abu1_AI_~f4N=%wUoaf`*!*N=J+Xa;?={8!alkazesH9|8;fN?)wYl
z;&*57SFiE0b>Y)wc(Lbd0B2|9O+m%`8_#`7@44Qmx<vj3?}9eNjoA`smR#JF_HO=+
z2-Ydd^UYJs)Z%x{+-3PT>fQ6Dzi#g{&@jHQUvzqh<O-d3KCZ>t5yr>Na@)?#pRVLw
zmJ`_`;N;P8UNpD%d;ElQ2D^U^Rm>kgntx$$*nQt>?USfuOdTOvVGLI*Z}`7Wn>aOH
zjE$i=NbhIpylGGB?6Uu+v+VTeu9f3de4@Q+^M@bYM`R5?CeD%ZpHLfh{!C6~b*`y>
z`FBn!k<+#z&#$kzAGa|6f5SnywTqWtKcSnMzNUZfd+V|uu~WxqC9&7<D-^Y|H&;}u
zH7ow#)F1QOJVH0a?0dqpJST<QH_l)Fb$j23&ma43kL$OZCg)tfwnF`*Ug;qT-6^gd
ziY+W09R2?n_{E${>k_?pFYwigO&0R@6ZY<Lcr5qRS-N0xeO0D?ox<xyTaO;DUn~4a
zt}dUs_+H$v19NB0wC0uW*x=i7;b+W|tOtwjy~U3-n<-VM*qN>B-_Xncb;tMWi>Dix
zW)|5OSsQXZzOl3_sdP4X*sO1#gZ{1!t5lP^r;&0_$m?^iRo*<FHIm7*ul4tAbF|Jr
z^-1~iTFE-TUp7KcC&G^i%B`L7^p|$tja45Wa$Z%De}19<i@fQ_AA7qGe7khZq<p_)
zx!~QGJhzT->$!h^iRGqQCpYrP_FX8_UAQIl^dXL=yEP)tho9%-Ueqw}=GByl<_pou
zMqAeOXijXsW@qzK>7`Im+qL~u0=yDJ?e(w5hdECvJMrGolVNktO?R6&={wVU!h6#j
z7V6ad`qb}KapF*1lDedF%KbM*R>u|hw@&-{vZA7B-CgICi6`a7Kd!iNqW9Ue-M`=M
zb6;`w(DSmCr@Hw{U3OMwhPg&etK`ZIC1W+SOup`kPs<3*KEZW%$-Idj4-;<HPMrFB
zvBg^NDEsAC>r>A0Ew$Z!Q!2vzSYz3_GrPZR>f`;R*dp*L($eIt`kgo5-m<pOUoX(F
zr7=V3)60vMt20GeUmcYf0VPMP`P#R3Iq%=gw4=Rd!2=IFYsUNMRQ`uMaVVxpgKDU6
zhwsjpe!Wde<;gTd)lJTpw)-Fa_u^1&$$1!@CD-U4a{pS6tH+78MvrfM7Mm)zOc4HH
z2}+_Z0!}A9e=M2h?gXkli?}pwgg~qbDR9O)1)F_J_jg5~J$l;0{jR4}c3FXCp=}(W
z#U7c0ik&5~9EvRyK0BX%>^dXQe>$sqcwcU^_|5L0&vuG2P84wBP&7QZ;oM{8Rm-1W
z7B4o=c*6Mb1i0dyeC=uWcN??Gxqs}8g+#^K6j}tF^!QBs#TSaU%zC%sH`nYSSChPl
zU!p3lyFtdZ%$dRc(`MK6dkepm%f#(^{5;!0{PU_d6aD*z6@dZr*{6Li@5}x=z9-?^
zw?|ji<GveScAeWAblG)Y`islb&AaTa&3?YRGi%53D8I#<IwfnejLJV71<agnmlSmE
z=aoJ4errB|^&%@Jws>#7UO-*Y&AiI_cmMcvD7MV$>&}+@>fd@vl<9ulguVN$)uSF3
z)vU9Pf3=q>a?e^`#s`o2Qv?$O{`YWn<?G*W%J#X-)flu+NGbWnpN5rhu5dL*T27tj
zGxOnt_x*RCPfe^jedW!%&l@&e<0?%|G>$p`b;&f@*OQGF*Q+YF2yANO=I#eqS9Mix
zpTG3{`Y6YcaPQwcR>{x5?r={3u8}f(ovldM+;8j5*4tY#F8X>t=W~5iP4(PgYWuXF
z<kv-Qw_6_|>{!m%Yond05U6Tp@M@26MT>*j3IFWtXYOWM_D-5Bpb>DTnRCy|?lNxc
zU?(<{2@Cfy@LpYNs`a{M)5grbnOR$|eN}v0vu~Z7S;(^~UpASRm`~WmwNx3D2(`q;
z<lYC?{N8)NKHTQtJuWW!_j4`3$zF}t?l_sx^(wDs{Um?uj8}Jz?)-83oqT)CcMY{v
z{;!3t_bb<k>2I?CsBt$TZ>yBa%0t!Sr%#<fz2MTa-C@Zhla)nY`DK{ynsudm&UJ+c
z+cI<aF}c2-uDM`W@#&v=iM}@_U9P9i-JSMJQ5MwLyR>7&hacRVBHuo=H;`xe!11$S
zmDQOkA3wa{6f=8k?e(|z)#nV~YkNOfw>O?Dda>ZcW|!5rJla~SPoC89CMR7tm~q<O
zZpy?ji?^8FH~Uq+Ye~RzMc<R<rrD>&0<ttNOpyd<iwV6kcb<QIozyy?=jNi9C0Wya
zqb|1doLKdKzvBxt4OQi9oQf?IOy?xdJ)Zo7^%38J<Jw=Ozg@Je`|~*SVA`n}KWuJo
z`L3}f-)(=I)#kOCwg1(k?AI#WO=<kHc#C8f;{gtluRB?zZZG?qdU};(ax9zGT8-2~
zCk{oGUhV5P_mt~1nlrwfe;>P`>#1y(*{xl|U)&gV-UrzK|6t;qCwZ^PX>!M_>J`V`
zx1_y35#%UuKS9+sCOY?#Wz9R5qMK`ZXI3wZT0EiDZ;I11VZ~Ma=Q97d*G#!KtC{zd
zP7;$D*UeY5$yryrUmY+_&3;m6vQxB)6O{J4w6EJRJ^E<fwY|(z{_kgNzQwEiS1c;u
z=9KvJ*S&RunNJV2yPxRa=oV=6kMHL%rn_su-uV2%qIXAKh11s$vOl9=e~(~0{f#--
zX$jluH_ZW3t>*$}U2`u8$`5q#zfvv~wC$kPzsl6hr?{rtC|sXdv-?ZtmVFbdrd;>=
zzee-+loNc7BG$V7E*y$2HKOZcK67jdJagE{?%mJKBcCNct_awf_G0(_0Dq+wjb%4w
z_1Cwnn;hKI@aLNDQ{i1dK8Wlu3uFngedA}mE9gqbtB5Dt<YyR*KD+fa{}IzYskf`v
zT+^LDIjqcuVXEk?^_%xAgS^Y#zU*P!!6VQ2L|we?q+Gu-t)lZ)=U-<I#V6T?%&_uM
zH=sfV)W1+X31?h*4ldSORGiO(%yHuIY&(R`c*b)md3W|{#mv+Dvb7(}l<rr(bvKP~
z^>*n!u6?<$!(VAD+__i$^`PqMxE0q=Gqz7>=F^W)l@oB<$8^Oet|j}&hFIm}U%K~}
zTWosJcKve6<Hu8yi<%0rSMHGg7k7`P<{gJ(iu}0^+rL7JRp)&MW$tqfmz|lg(9QPd
zW^2~YS1VdM`u5g$7R;{p>3ox*x5xRy%HI#7POG&{IL~X^|77w7E^goQ8@79VS1K`G
zv-n$Z=TKQQo7U#0#SVe&w*tiv?mY!c-^n{CoL^l1PS&gb_`{{vb^F+g4cBLReEuZc
zF3$RO<F-3fKHptfe`faIdvSYy9eHhc?5f00wJS2WG*ULFna;Lz&YoC$wt!8`+hBj&
znK_jjOVjVoHEe!$$9(p!Uu!kXm&J>np84*e?i8yaj+jr2KmV$})c)`9>9^jm)emTN
zZptt3U62&2aYfkihWSnQV<%UCzwmrvUBoQu<KGgq<_4d-_j#vs%Y^l3kDB)XTJH3c
zt1(~yMBM$k!fOjG?XJ(${~Fh*v;IVF;wR+N`8ex!4pvo02WQrOL2ji{CM(sLn$K<a
zTkzt%&zV_P{WS|p<$fHfmJbS6;=Z%`GxM_Lyr<3x|C)5FcXH6VA3?oR3`=Y})e0}&
zx9a~9vF@bt()m1Ecc&?@HjTP8Vdm`xXC5&H?l^z>`LU#4vEK!?bIl8n6uX0ZPuR<J
zQ^{vvcM9vh4?JNOTdg5d{`<<IJ^x<V1+1-4oBdz-$?exy`rm~r)_=ad>uY7}ERJ1z
z>!zJCoxAP%lB~16!NsdZrC7M0cJoL@`F}35Z*xnXtMFiUcJ>yrIP<l-w@(LWulJMM
zWv#e6U|#mAxv!@`E&B8C#AYEjp-@rb^-hh(D;q_mcIgHDRx64<o3Z-&aofG~vu60c
z*0}C<G-*ZgWs{8E#}<Sn_Qq%UEj{0>D)hS`bnbJDqhRk$=H~AIuCed$z29k_$M4^s
z{`+|KYSTm3tG0&;OujF2<?fF-)%j%?w05TM_-VW7*Eb2z>i(plZvpb*KVo|qvtE1`
z?z1|~TUq5(!vT|PPP|URzYWXm8n&)qD->{dXW^}idCZb7;o@_5Up#Ae-t_6YjUj#A
zSHpaLZ~j&c$S^$<ovmcPZ1(o-o2%zPo3J9w^i%Vj<J;FY|MWARo&D^XkY??UedlK1
z{BcLn=|uRGLx&#gpGe!<{{KJ?!vW<dhgZHb2tIar@%N8gGVcezdLKOBJ$uu;*88~;
zx*cKHrk`;roh7z1L_t7lLF=YxQON<{Z)r6fecqbecPw{Gnc8_d#-|y{J~J!pGP6(3
zO<p<YpO?6YkkFwTCr0Cyhtk?|!X1;=*UdV<BFA-~;@M}jc5ZZul3%y_bK#o$cc3z*
zsBpf!ki(M+Yk7ISm<>duj)pX@-aO~zDPv8h21m{ExO9V+GTL|E=-!DH4&#2Ec|z>M
zPsYfduRG?<*?j%yw0YJ}96J@l^=$qzUHmEdYWv(xe|{Xl9C2of;m67?nYI7D|65#}
zW0!Gj%e4!uS`N<nrmWx*A#b8M;VYASO62s3&vM-?B0pqj{}t4Bf4p<qoswlw?^tF3
z@>H1qR_DS`E_q+sQ}t^j>wn*gI3HIUclg%xJ^`nFYT<gARZ*1yS3ASB@)h&zE2Ip!
z^W<AD^mO@Zd*!im)aKHZl?(diPfSu?mwm<XXje$?f|hf?9lCZhbZ%5wII;ZVdZ%Xs
zf87h!g05<$v|oE7E#}u|^Kjnh>6wz8g4w4^KmJZ#DbsE08vi@0x9<0~uag6I@h>`=
zeEK-c?^2&#A1tpJ*XGS>`&!Dk@jf^mPSh5cWBmAIZ~v-m_Qzk_Oxyh0hR^BY2Dc?n
zmCt`0S~XfN-YOTrK;5pNL2h1vEkodb_qW{372mL*{95?gzAM?@KJd)iXbr{GjJFP)
zsn^9OUKLm=^=b9#Q~T~6mg<a~r?}rNxGeigW%k#bTeMHjeLH<=k=xh3*WNx)yS07Q
z{5uW{*Z!??==*wFV(lzx_l@y$pMSP_1}>3KUghr375TiOr@y*R>Z6UD%__eOuXp_B
z{i@O=l`;M9$4^xiPQpIiC-RM#y=-5uvU%&8q|;|CQWhCcw{%J{vA-_9Vej#NGr5`7
z%Ox$YGfh0T$;r5LMX!rVb>`*My<fefEVm!Hvt#|s<#DH_viEDab+`DR5@mhmTRYv#
zyf1yf)%hoqNsx>>(fM)#^NrQ6&n=!vE$VoCzNRlVljCQSj$QdlNyU1}H4ImU=Lb5S
zc>aLRq(5GKttkWJN!Di^meSzrWnO*kE~X>LZ%^utUL;t=_T!GAlZVz7n>f?xvUdtC
zGVJrMoj7JT+x3GhM-|B|IZzYA$-_tlgOM&E_jaA`%II&g!IIBc{5D*3H}L7L@`TR9
z)nE68p1XK|&hB*W|4$nZgX+QP*VaxawmO}Cy!`Pc`PFM<7TtR%R{eG&t9h5)rL*z(
zqrOK=Zw|it{o1dCMXSH6wM@tbHNZe4J<Ii<d0)y4{QlF@)p~E~Un`%Piq19Zg27%Z
z_WZk*&5(8X>+H5`FTQohaX;5nY`LR##b%Pe&vyHg@+)_j9bXn=ETz&MRGa#DQe)Ar
z^;4ZZ#JxEbpL{M-obUeqj`fs(eTTiv|J3k4ONzTX;n`DbK7FoN$+<f<pYL}5KjXi~
zzP%M+JFnaJ<Qtte*xJ!|HqmN(=I6N2ll}j_kMEv&nJ47gl=;6k@9a6A$$t55keu1-
zniQ#d%VJlR-_gkkdG^%y-SLIz|Gd8Z_dsh9cQya%u+z(mkIa(F_;bi2KezhDpG!5K
zE6+16YcgXvvj1Z~<AIEjgTF1y{msic6`yR1iTS*uUTexafgj(R-h91ld68@S<KnkJ
zgWijt_|$brT+RNUgP0)O*Yh0<eterG5hH9gQ))`&pT`S6ALeRIm7JTdarTAFk@@+v
zu1%3F%3ZMOsZEL8PlMNgJmfcidpv(?-CW*NIRX*OT=}mrkG!^m(c#nz0nJdx#*p6I
zzY6bl7u@b&-@np?hhe43mPrgeB@tCID^8bLKpYlPQPcYG2k+O*#<P~EUx5w1C7P{2
zKewQ=-)Y;+Th0r2++HsB?5q2Cr@X($xBtvnxF5ItR#SNEpR@k2uRRydQhLEAz?yYD
z<<`44G2_mxjJLBQR(BLU&bs{UQud1~js51=Uuh`_v|fH?<J|evrsvcy{s%W~?wFX~
zdLrdDQ}nBxfmfM)ed8j&=WBPbn-cos*Os}JVTW{bebq%u6d8h@mU+Z<Ki;$N?ddaT
zriXsco3&o+_Qy#=dnefDKYM=X>&^OiLQW?tcW(Fq9&Ow3-udH?>feX{R^*#HRJeb=
z#+CGGcGE8D`>UT^7L<?Zj&7TMUwKu2|3pNe$3Q4_?Sne@l&iHludFKa>ubeXxNN7~
zpPk+N@|UgR+ax)*(Cqszfxk<|1Mcqp;9k!;+gw50zT)V!xsD~zOW)1XZr{Yd#w{=F
z6kp=)EU%plHb&c@s}`K6?|$t#+o><JA~{1jb{z7nirsc-=jqt(oQl(*;i~W!Z9}Q>
zEQ0HopOX>&!*QxtaIK+H%1No7h+9i-vLu+dEHk@bp1pFf_l-Tzf4MrWe7Hz+bI1J|
z;C|Esfx}tq(@o1>AFI@V^mo%<JLd&GB}U>qV+<Y_ziaz^FBueGsXKO@e;n@eT(Mq#
zll7)gXErk=1bBsC*eL(m)QOW}Wt8wEpAToY_I?ihy0Ovd1C!;ZO>a+UJm9(Ma_Nq0
z%Y@SfPY*rT7nm!*u<o|z>Hd0~+=D)n!t>o{U;DoQOTT6DF4K=c|M|^7E0gM*UuXR{
z*?V{Hz0c2rre7;xGt01WUFrqC%%w~}=T^+gE$}xwe${<-kz>YBA8(1;Z#%s?6pt4^
zJ@nZ2Q@dG*+y6iJSXV{dTbQ<ZE&IX(j)cngUq9Qw3znSzFim)tOUQj^Tf0T3(eBf@
ze*I|7Ib7Ceb>F&clUr?|XshVDv_+M@PG+4^zALvo=;eNBmY<q+_JUO9v&_t2N7u&Y
zOgPNu=n%Fx?8J<e+zWp!+Hcu$NS}&LbJOE2uD-I|UsTX$_u@R|3y1&iW<7Uz3&>s5
zAD(J;cd)5@zj)Qx^B=AHpT4o`Zw|0nBe*i)-p{%ozXj(q)*css(Rp6Ep<O+M-{H#p
zz~6^f_J1vv`W^hVL!W<hU%)@{sC$RG!VT|lJR{n0?P|2fUH5r?*AEv@OE6U3bm3Rc
z;-wXRx1-MK-4))kDQV7gkek-MkDj@9uD<)3-F5+Pt>xDQxz-Aq#m=4<=YH<)4@hKu
zJ(Mhc)JEs=<9YMlZ2ATJR|$WydROOc+qr=4R%-d4J#zCduv}*Pbh{_>*Tc+%Id|P6
z`=;FyV12doX=0es$^T6~K6#hB7iYhIrMuu&;!M%+HPSzXI_FFiohAEwSNtyZ1G5U}
zW$z9!b=#ghNB{P-Sc`zPN!w+7ejL}}wJbjmDn?S2+m}5&wz@^&ljX$|@oU6F7FGSq
z*>|;Nf_DKkg*`OPKHE?f0p)n@Pt)I9?AhZGzfCE{RO;u$hQo^f61z<^{R97nH`f+d
z-8dfK_5U~jrt9HP<fpIWP`rLn5;X7i{Hby66}#YQ52>;<?aIMvYO>GWWSFOx{+;1p
z?fLxfRv*PHhmS9AJj`hEME&Gkfg;O{ZEDgJSIlDb4R(y%rS)X;f{E-cj=^byjGrdm
zIrK+7U{?bJ!`x&Q`)~iJugJQ(OtEEx3up{+9f$Umt?sc~l6o~oO?#pRxOTmEUc06(
zQ2D)zXJqW=58fO*!~Aq?_9?wTd-Yn4ta0Lg=gjKA)_nHyha>mx<;fJgG%MWHbN1eS
z?5`}Yc>XVW_2VP+%{3?Q-dnvOtu`@6cy_Xv)XXQxo;#;4Tj{BPI70DpR^FX0|8{=+
zzxU>;%ikoX_MT}=yqtI@=f%~+&7L_cb@eoB*&UuwE<1WD?`3mfy;N(?wKZAqzaB4`
zwa)Z!uIc~ETH!V4FYS31^fc~%>m}8%g=>6;rY=7z?DbaZ&XV5r=<P56@Sgp;<7Q3N
zwM!EGKaVbZXZWQy!%Ktr#h%rh*954Rzq?hrVs6R3y>7Zsk}s!c#LKPwd7I&8;!ZuQ
z@=GPhHLa#k&_8uGLk>Kqc;H@~TGPCLl7b@l<7^n$i@GdtN>UGaCGXhi_Ww`cpR<;Q
z->t7OGwg9<{rv0Vw4WcWuiW){e8=b$&(h!>n#NCVIix=Rd|~JJLhhMgcuwg&JuI@y
z{e|;YE~!Y%vlpgBHYrG~Sgbj5?vJH!zrWn_-s+%w2>;w_rUTpTW_(#55Fo^05|Yr+
z^U5SM$Z_t4G>ezBPf9F3yZT0r=H`d@zSzYzt_);um?GVJ!t`<Fn?Jo%P2VlI^n2W{
zv2e||jq>iDTCqiU#1}TayUDR{&y=kHQ@MnztMXXAy616CsB{Uq@{{$i{@0Khy>ed!
zRm~lWi~i+3`5fH*{Q0u3xazEczvaQ@>96;9|Jdni_us_z>NCZE|Bib{n;iXLIO*T~
z|9M9~TfAMtx6ta__ampip5h2H70O^R5jc8bnbVf%NzdmN`v#j9efhs^WlH(_lI*n8
zlN$e(y%OAEcg5Yr)ppl~j(2t!<7Z4WzVrT>ZTvHv&fLfsy9@TtT9)~0nZV<++}F(>
zvcId7o>ry0{93@c%UMq~ZpHP2x+`r*D^2g1&&u+>E3)Wpy|4W8?V727o<F}b>tl?0
z{qtx0?bkWmpM5;dR3@o%l8Qmk;S!nP8)p2AU%pl<TAL@;xU4aw%~MkQwq^eB6$0Ep
ztun8F`2Tl*?~mW_-SqaoPTr9lVHNay`h?Sks)rWqH~jpr!<iNP>(&0*w*=Lm{%4!?
z@BL==8GMJ54Qel&T>a0o&i~WQ!*wEm`cGZ@xs=~;`Z;kUVU~3-k0<}w!D6p7^-GJ<
z{y8&$zul`YC^!9Ao@YSu?}BXkBlgF_1f)-Yud}N*4qm@x)89%{F`H$F&djolyWMtU
zj%TIYwVvlb(oObEVQ2pH_S8k>{rhNo>Z0V~<WG@@dp_JS@m01?JXvifwII_)@WgR%
zYfpJ08|JT)Pv@Svct}}sez&$^^#7)uYj1wzoUq%tbw<se?awyM^QdC@^wFGy0cqlH
zy;CG(K5Q*ON6488tis37_0RkjRJzO{dCxW-MMZV7)l$cftV=YIb~`<5XZ_}rhOJBY
zZT@PcVSGRR{QJXeYXv;{9afp$D&+_>2w24(7O=dpXs#spa^BOQy&P65DhJ>Ca&61r
zW&Obh0g-&Xjf?Em79^joxV5G6r;1U^@o8Iy7QWKUSmAc@`ty#bom-0Th_^M&>|WIM
zF8=CV1BdT9JkMiP)FvM++h)k{>fDmIzg?@IB^2jQ{M~X#E?mhb&a(VJYbE=G$NVeI
z8RYAo>lt?ZUi-Pz#@34eckV=O_a_sWYBw<Xu;wy!Fuf`fDm6O!*(<D;<;w%D^ng>r
zYXmKnPfX;sxOmky<>fqYg-_R(U!3CbJ!e6+nO!`GMXlV)=a1Z4j>jv!V|XCfTI2Rv
z#Co2>?=9;u<TtLl7k4}UZTWZ3TP&wRooxn({d=AE|6^?48g)GR!UZV?maeLZV=4Dd
zpBZsHoc1)_ar<92mnHYp-fjOL#}ci-|NWoEO*Xsuop_?G*P3q8y1lcwXsxn=wV0E_
zZHx6OPnQ_7eO+Z|r=ET6^0Kvo{*Pi`vGl%liqw|eaxm|}<!xJ4f4|5IbXa-elI?V-
z1^-!>nl3o??frslf(#~V`a-vFIx(Es#URair8utj>OEe?C#MVD9)6U+GJAX3rbD-_
zy<{WBo<C;aG+jL7j&l7D_6u$W{g>+gI9zkh?r#4d_5EYr580!#4cn*dDOu+|vlIX8
zuITYV*`nJ)FV|(6_`%!|`9iG}xtHeO>-1-R&k#L+Yg^Cjt6cfU6JNS1T5n0a^!S%T
zQ^?wv7b9m_-rZ7pC&+f=#u?d%OX4!0)O~sXg8kquJHO1!aoh##CH+Cukk?LZHgY^s
zbQ&@f*_k*~AzWIgt7`X$yXP$%ownOYv|M^yW1^b!DTw#@8Ru+2z69k}rS~}77%y+}
zem8Ax`--fY$pUV?6MhEXly!^s*sMPJaH__gNwXiw^i4H;z%qHovj_v<AAd~dN9=RH
z;PXL(b>|t@FBLZwW(IC43*vW~^ZWAo?}8iNDW-n-ml;)Et9c?pM#9iijJf#G#YG#d
z)V|(%wXNkm`)~aj?>E*8<eu<3aPm#ByG!(GH@4e*%i>&*iAuQsTK@fG(CnaJrOW)>
z`_oVT;k{b8Zq1Pg+Y|O~6Y5&GefpakpUxlopQG&gXDe!?y^E9n(iEYxMYzKFr2d3-
zgR>Jap5d9Hm~tf2r2o_GtgU74&y#&GGs?}Ill?v5ljPUOe^q8ygk(H%EB<`9w*0<w
zh{F3|CGG2lat#^*?$<JBFY$GAxO#Y<++uCl-n2sL%`cVCPY|7@d~NdWdt&zUCC~P*
znUj6|n`4Vl$#>5c!Fq3AD6T#h%~56JmibxBVBOoZi#Phde_XsN&4&5yoXT^TPJ8kH
z$^5<Hrrr4}ncU?X3;tSO*B7YM+JCig)x33AUtG4{=B1-o6=gavEy&Nb^lHyHzp#(l
zEfZ4sd@q|!Uw7o}hi^@X&xd!oi;DPgb}lNGDdG*hvf{jk%_P|u$M_aGoUL8(-TnF6
zpF3A5A6gvCVWXfiuN%}F`Xzhwu<|Nd5yh4}R^~zm#j-E9hckSiz%L?m(rU{!29^}R
zi;t@~f0W5Re(iPX#XQ~*Hx-_w{kXnVyWsDR-^IyS!&+2aGOTUpcg+0q?8B|9M{7Aw
z^34#sxp2-r{+V?r1uJfIwQW;UX^GLjVzcg%;MMKNy~CUCsEFV3o}mJsg8j-lkzqcs
zQyv#+Dx5>HWkSk|O6W|(oIB4yuHXOf)&GBAugCkx%7Es)I4l*fz-DIiA}VTJ|9z5W
zHy8SqcFMy2Za(L3-RM(dc~5Fujy=7UT>A2pz3_9X`|HiqtlpOu^}Lz1gKcW=y}4J`
z3Vxc-%%{&T6Swc2#e~a+hYu;w{PZ>MQl`vh{lj&Kznw_>%_!Y^#=H8%bzYm$yQOw|
z<=a2$ADntN*?OJ&%hTtL_Jy0JO+UhLDsSi7JE9#tA=i4N?cS=+Z9g8OIh)~O?PJcJ
z4CXpEc8jWJ-CQ?e!eY+#o|&g|v>aZ^w6B>{cfz;x%@X-5?-tAckeIvtPqA{Ksqt-v
zc?`iX%VIXaVLJV_X6whjwOgdN^cL;8t~y2UmgSP-p0+Lj_q#mR=T>c(mGmy1q$Rv*
zmb920rzLw>L?-|4{EeDZKOZy;*t=@stIKBU;ze`*b}I&4=?yPyUZ%Ih?%~8M%S2h1
z*nB@9()a%C!wlKjh3nllUc8fCH1(=M)|0s^nyWwjUNpbzirpmbhi$FLC){5^c(P+A
ze6nNG&SlqRc9}0fW+Gx%du{KG7~v_&Su;;7r-X55dD|F&=()Mp{P7oev)V$vY1WtZ
zyPx`q_lkM3#=SG`@wJb9Q<1iPj`HigDK0m!Z{~X+r!4Zy;ip^b<V}m8{Ro-#++jsc
z`Ma~d;dg9iU0XJDr|iu2QOpeuC+;kpSC<!e_lH|#-LW~dRKHmE&GGhr{I2i*wC~9>
z!AH0BG5@tbG9^IjLS^{6HH)&B?yh{vo%`Om<1{aK|K}I;xt40P?AxnQU0d$A<<Qd~
zG1dF7RI_fXh?ZtLa9sX`(xC;AmS`XMIzcWkriM1IJ%4*%ZOLeS`?+LZsr-h2XO2u+
z{rN<9>~qHSn)j@^r|RB6__&tc$6tENO!Y6SQ>E3H&iS}h%9O$5Wz7cTj%#99Ii)h6
z%7vFVdzDLV?AWGMHvbggiBkt`G&Y~LD|z|0bE^I2=iNEkms9dy*Jzd8_$apNe$`K#
z;?KK|mFoxn`txJw7L#}Pe#m~T`?7NG?Yr{Q$tqK>+I=gHywRv7U84?~$&$+OJ2Suj
z-%a`7pURcz&zG{XH^2JiPH^+9{j+yjNB@sKa^6<l_hbE?n*W(yr=D4cw^i%a)M+RO
z9Y4Bdn_X_z$M5#swcy6(%cmDjd}B?ND%R$4HL?l#2LAr}<7NBjMcy&uN)yhVE!WIl
zvF72NHGgbwn`EEr{eHU0^5oy>lk4o>J^Z$E^6zz}{8x?71#Ao7URS3x)z)@<F5i#Z
z$KQU&+<tZ{{<4~hz|jwO8!9cH-}$`o_jzM;efxcxOL}e=&3|t+ecG|VFTN+waWdh(
zAouyN`IdC6>4#3}#dj?8T+!uz^+dW!g<JFUt;yaerueU_+~fZ7?e~AvXI1>!`}gU;
zkN2_!KlHs?d)49;boRZP<>8Lh9Y0&Y9p9GuKG5fs+^gh!|L(0bEvSp_-;x})brysB
z=0`@?s(AMI^{z{(dfVX;`1_V1<JGy+%X^<&CYV;f)&J~hocK8=_??XR(;X3OU!M7Q
zeDY_u)Mv8~e_Qoi?2h4wGYgy+%JsgzWpn);<9#0KSD%Boc`mr%oNy??%jB+g(wy>X
zH>W(GH9Okk=#O_NgXX_CnJ#uq>dKS68v9>4m$^=@=(LXEm}BX6BK5}-(EQB1XY2km
ze`aLppTNI-)nOk={{DNXPcN%=U%B7ER&MRdUE+1y6+>Ug*jr@rH_8Q73f8^7`O^FB
ztn6OLyT5-$DxS2rT9^r$o>|&vyljh|@3rR{zB`L`re2PJ$t3P1zqPPF^k72ULB+cL
zyYds$co_0?u0N}MB6H)+HM7(cVy%q<_mEv{F?~^P@A<u7-yc`r;FS4W{`p^r6S*He
zTiu0Ro=jlcyV%U9^;>%#<JQ~9Yt-kgc<N}F8E|TD?Y2p$Hp;IOX*}$xaV4zbO4akH
zA=iFKPMUhdP?$;i`_|28eEZ(ty!r62#-w}vekG-Xk-O5j2`Ies^E@&0$0E>>S2@E6
zuD{!Yr^)}X*k6!-s-pTU3+L=_&{kld>2m%k;kBk)vaYN4{9naav%^h3<acAYj<QkI
zy0mA>I}{>Lo{Ic*OybJwQ@-g@=lD9#R9}1_THY8Fwfy%LhsmssDr!2aPr;tnymck%
zRT&${O!uvR%V*ENZnW=t%JH3BR<6yy-`^-^(Ry`aywKl@E+((mY4126%vv?~fuxh(
zQE^eZ_Y>{!FlQ*w`8=`UJD;g^t}RFFs{Si=;DNITyHhJpbNVW+dcROk{^G2)%HFKC
ze;lUC6vn#8$4uaAJ&+N2%ToB!kHe;alJe|Vd`ry^NSm0d)ALHqu&<WKSxvh4PX81c
z&Ka;-pwpKQU6HCRkmOIFyYHX!w(z@*3rno0UHtTS&mF@Lm!z+{?>*1y9lY%vqkYoN
z*vl7;jQi()`ko&gJ%8nX<$`@XD|H|5o;Jm>dt<5I+Z)%WzIT@|Up3>x`tx@85B}dQ
zpC0UV>>AUmcGZSUTV}V+nQ{5ZL!KD5TUC}qw|bN2$rWF`mY1@n_|N&zHDA6b-CDNt
zpL*E*%#yMmuU~@uKTkZUB;jP?;&;lk?y}AD)MJ-+3-+H=Tq?d&(v#h!;E>Q|$P~?K
z!4<|oT^4EfudlAU`S{CYjq@iByUhIhkNM`GkNK&Y%Qv+?XSUPx>B?XHt<BeG*91qH
zr+xhV`^?fSh5Tkq&MW_^o3k)aDsl0mrz($6W{F-lIvjX+s?4Gt*TYuo&%Ssq#eLt3
zXM!1vXUq?@zvq9>UwPi~4)@kmyiGfy(@fg~zF<x>z4D7TbXMCH|5zw1@u5+q>Agc+
zFK0ZS_%d%+W3jHlN*!&JmE76zS*FulW}W<?`!M_X_1Zc0TlOvbAU07f;OmCqa~7Gs
z$L>q%PW<xi$SHYtW!1CE&+py6owBuaa>Baev%cH+obJ!(dVMTMZ+`OgOA~WrKi16=
z>p5s2bU1o)kwJL2{r$Se4;$X+<j<NO5tBV>LUBRHtYwy|jP-xNhX4P*e*eF!Q;R&b
ztd1*Q7jW&h`k@vTF|BQaf1l~<<MRbSWk%N6>m@|pcV~78>v$(MIZpn;gzfcWU&9^-
zD%Wp($18MI`2OoB7W+0l`}lg%RyGBNU@<-AC#MrH96R+v@@JRK-@1}5{ZWaFTw}U}
z?#f@Wnxx%y=<)Q#8^vbV9ZrQsx77GX6=w+F_WyPI!CPl}n{9cTmAP+z*G&n1zA!>w
zUUKa#J^go?zUw%+`r{|H)`oB@J~@5pyRxD;F>6AG;`kyqH$Ud+{Znw@;RNUSU0R$k
z{xlpuC};WQ;@ACazsYx>1C1A^G|Y_o{JSjlTw~oIo7&Zz*4_W~^?Thp%heP2%M?^t
zKKM}d`>{8NqIW>Wp1_hihq`I&ub9@%IWDo)w?HzTX~jCnAjU&GOZM%%J6ZQ}%7RUP
z6Sz%wh<`CM6<Rm-Rd>s$rSEo1)jhQI=1`p937Vw5-s*DIWcoT6CaEaq28Y1w0ew%D
z`&a#6yXAics4*GTx6bAFx6g_TN*L!(HL!ADCmpg)zvLcgl~Cwfw?n2X3XB;HOPNBZ
z28lh_QEaIZTT!_u(<o(r)DBC*zH1k`oPzgx+~;DA-NJkIRF;J4CqGw>)mk^~_a4|A
z^!rEZuc-n~c82D9Hc_9a*c!ceem3K&&E@DHQFrd7hCG{cS?=bO)i3Y8e`4=tZ6|Le
zuDAXAwez|4XX<t0mS^5v_$N7a=k}+Q_j%?|e<$<8%<5w9fe^*DkEiY9y}P|{BY#2$
zpYp<b;p3W30jop>d^wjg&Mp6bGV6j%)s9<HwyP`u^b}7MaN1{Pu4A)Hp0nF==1%!|
z#?bJ^{ErKEJ7qR3h&*>XIF&u+X~^EBQ#uM$%5FZFyc6v+Q}H^Rmh}AgbIeXJGC#cD
z;(pVrzow+LZmV7T*2^gqW7o+g$~!b0N&k9l^H&=*(6@fFi|Aw-Mg{3VE@wHH>w^L*
zM&4Y<hDm_+)iTG+vTwJaTOi}vdDy+c;IyR1(u=?1ThA7WEl&CVQAp#}!ZpkEZuKwM
zRAiR&h~+O`{hPnIP3ZDxw{S<s60g_yubON-_wE0?oe~eN&Q8}2JUb;d#Ee7goP~*R
zuUR#3soKE`-cs8?wlf0yU*6V@kauthTevU!^8U|{r!)oZ(%-)J@}a#<FP^@ul3M%j
z$q{gh=#dtaTP}6@Uvv2N$Nk-=`y<~bFE15ojpOJrSh3~hrVmZ(ElzhimtO9l>9DYU
z*VnXzH!70@9$$GAyY21l2@G}_HPcy>IZb@aRb1n??6~&Mx#r~DgtP0N%uXomI(T8{
z>uU+W^Va{n+w`TWL(IV9;-9_OK(@xumKKw9uIre4Qu9OM#L(4|7rdObcsrP?45w^+
z$I^S^c*v;}$92R+3Qi_8?mfM&HaQ?|-~D@kBHlD<7vEZZtmpT^t%?h-7_9Wke7>o4
zw?*;)Z+S8e(gwwmb~op!woLFpbe5~%ivPFbv6pr-&+LEnGujKpOBCt~En8zVotwcx
zBlSlAw-V5>((}HH`d246WFJy%5%~0SXW+w&vBu}VMtA)VxXBR|8F_!D$lEScUA}*r
zk9|s4uM~L1U1yVf|3~rz`Q;zPZTikguK5+AdG^ZgKOC8V<+R-=*Y5lGcJXRg#-&c)
z-&qQLuijjnQIlVOPRQwmY2o5S$us^bTkO4%73jjKI`=_?>)S2|z4nCZ6Xo{?p4c_J
z^-TVg$CW%=)iWYDua<xKE<t3|(HB=g>tB65%gJ}s6Z1b4B$%{#rs$Ywahev{2i^ZC
z!MI^>{olf<Rc*CwZ2u4a`^mx9{PpOU(*07t?^=S-Mmll)yme>Ahm2Z*<NLfVQyh{X
z%y=@Tbf5g6vx}J0j|;TE`stZE_rioH)|IDQe%*>^H+bYcEmw4nU-t=i-^hT)GW%Bl
zSA6(OeOhG3In^Yul!c{iYxUo*`Zrf{xyIqmhJ13;^Z0{LEtv51+iaWuGy9v)o2PRs
zKAE*6@L?fG!%IO|`M)*^3yhAdJdc~UDt=b-B1S1i(4^Lci&Gc58Si#`@;u?v^~Kr7
zX?BsZ%Q*uQW^hZLj8a?p>f@rD2Q8;}?OxJTz02wGlby@zpC8LS_2cG@KMX~!YZ~~|
z^liLio{II&&jSUkXko^z%XvJ%ugBMat^fb)_4?&HT@y-tUjNQuIKg#sZiokiZH0u$
z*HW(j=dQ~28>8YnUv(Z*SA0@jym^+pQ{SPBc3D%m*{Ng(uKNAhYinPNfRi70>+#hG
z?=P=TleOB!y=m9cuZsHptFEtq=?7Zi;P4Q-l=1U=@9>6*TYJkm6}Pv!d_9srUEovc
zf@e@!XP7c1Mqx{DMOuil;uDdUdxq0%-oJ^J@BIT=#UZ}Wo%83KfC?4s;##I1f$6u+
zX6GcWx7_^s&gIIAlWT6ut_0bAIODZoPlZ}b#*<>E6`B)eeJZLwoj86n1$_44P_#Wa
z@4kS>D>mQ9vZV)IpK>b3&yp6G`x_f+v|^&|NrzO!;NTZgciyCim>I^Wo-&Wy`Q7?w
z|E0e3@}HD>auhe;QrU0&O5}X<EA7<(@B4iDaz!>pPG02uzW<?#EMNOOi*{YBt#9k1
z9G*WcIeu>G;xn7#OU}8xesuM=M&~7lwW5po^7m_qylS{+m>cswG3weD{&SJ?PA9|{
zTN>8?`<Y(<#`~(rf`d;4d;{ArpFCx&yZg(gm1>!Hi%Ww$0xa(;b}i$(qyN-o?V3ZC
zorSHJqvTK2TO7*06}SASP1~oW<V$heOZm2L*K?U&X5w*hnz`?G>p13_SHept&M}FI
zi@N>%(k+wUXO|Z4?9~1FrC9CDAHD0TC#o~9KQfWIo^pA|x&7tarj*{Xxg91yf7QhE
z86SGs&PTsfZ@I&?UDu{BuIb$Ii}jzQ9XI;t$FDPVEUtL@RbInBH`XNS)5k))7Qee~
zHcHR;mgyKidA@&6d;hV0rA7817WVtB*mIzL@%zmYd;fmqDAasd=zII{+xs@t#ZJdQ
z%RVzx^<m-4d$(Jb<v!l!8__-O>J?wbTffgo&es%?<NV2WXTt}HMb$4^TMV@$PKC`C
z{Q2XT{#jPvBQ6?SzaMY8l$uyNQ`PbG`)1o$A{XzS`{uaAcX46IvyJ+t4^PZ~r#P$S
z)3z<PCh^<OEuB&{{fAa@nrB7Ks_%y9AKxmxtF&fmhTHkb`2rA&ww!-_W%=^Yy+&+X
zr-y}^axrG8Do$l{VU#V&C|a3l^<Q0*YxR^(U#n+LnXbs4CTqQ)En2<V$l9l7)}z`D
z?sJ*`3cPLh;9JFOcHz{onNk`{cW1vUY2+|cu)7u!cyHFW_GhQB?JTL8Uwkg&TgAVc
zZGEpfPgzyhawx`6oh>R?TIUe9uJGTxxK-dnIDX!ArzaDb8Z;N0Fa$eFGc0O&v`by(
z$jxUyY>EsH&he*}mbM5KwSvm5_;>$;q&}8jFS(Z$o^o}89t%Tnjp3!rhslddS8o(#
zx_NBcn&a0rH}!Zp#pkGB;9vdQ!J#z11~gKiSdg^#v7XHBZ)=M)`|Y03@pM+0p4<1W
zcH<e#`+}N>-kR>)%%M2HS6Wo=uuJ?8EBAF5v$a|-WjsCpu14g0@*~~WM3GJJ(iA@%
zbJ=}!&I(AIsOr_@RJKSq?pUo2$AimuD*}&;91g1dYoFdW`^tke-d`<L)wkOo`L?qp
zW@qlr`08^@F7KCKF!A^_2C1)CE$<8FMY6xYn|giuo@3==icdBdE<UvQZ$VG(j-nF{
z&r*Iw@Xq3LpS*EFqJ*8=y!{c^vg|L_sF%BitzddP|4Q!vCdH-O#p283zSaszN$>A(
z|HsY{xI+5IO68?*Kj+N$K0f`n8pwwZSHqZRUkiU;<Ia=1^L59z*EUi5^H$fS3p&|}
znrqqcF&fw|a)|Yv_Exs6`@`SGYt)#fe!hv@%Cu_Rvb^_Rfs0q_C+AJQ+A}jSOx?(F
z+ta??k$&4UXZQGa_>}zJ7R0ejK{I!L`t2C2eRmY)&&?FMmFqS8<nJZUBKMRYKCf{<
za!N>}YT<XQ`;jdZ&L3Ww>9>34=lJ@+SO5Qgy?+0^O&Uc;Z}b#yw@fRTX34j+O(W|{
zxUS8-1#iP+-^JBDwfsEw;)!^+w?$t|x{Id^Y&vo_OYUUuVo*<{n2S+`_nf2?$4)*C
zn>gNoc6W_mf4r;XEM3g&u<FCTgDQd`NyX>whm>~;2!)<m-ZMdAj&X}X5ifC_i^m+&
zH!EKYuFC$=m8*99r_Sf6Vz&xUTD6_BTV^Nq6STOFnNR=vo#!nRL^NzBaTm_xUmTcz
zpK11-mLoqGef}`Xb@OfyK_`yL!~6AO8(%NFJFQ2cDEo$NuF?#ln+NZ_$g^z`D2fFY
z&N~a|*uGH=xWYT@nDwis-<HBoC;aa0`0(QWhKY{7Il*jN-80uZU4OL9aPg*2O`YI<
zif8uTKUqJetmfZ@eB)cM?wFt5ncKfL`Q(@9S9K@k?Ym=l@k)+G*7DV=MaK(HwybSD
zywLhwVs~Hv^Pu~De@*<#-`L#BdiMX!=cC}l`RM|__YTS;uUyt9-;#KH)ogq3@!2<*
zm(IVYxwW=MKxipBMfCJ&xf9iQrUh6hJ%9fC&9Yd%ay{P_bsuY#bn~SaSf>QVUv(|I
zlu)^{R@guL@*DI1X}?cqA6-6A-+BKj)44@YHt&nSopwt-H6_OB%+<d;EG_=m#az6P
zD4An~x38@fVa+;ja`jzIT7cH~>3=sYof-D+`kuxhskNQiangnvrZ&YhOq*v487;89
z^fh4nu8dGctMdU#Rrg+GwN7(%E<ZbYYWA$vfikJnFJIX8^=HoK&3_jyoZ_i<eZ`u)
z^%8k@c~Y~dm(-khN{y5DuH8JR?6ZxRUirFrZ{z0|@4I3!_gbKwW#y&g8Rxe#x~=qE
z{c5Z4>lEGME$<dv<<4ww5fFMXWm4wlIYFN#7X41O`NeuSc4A-IqRUo(rgi`HU$d@l
zyBhcH>CNBCx6a@AX}bT&@mtLst`&8wX<j%M_<P!^t=IpWRXz3j^=eC0$F71YQ{O4h
zIw{k6t#V_&*rmLA?wU{aKHhwO`dVelna%ssZ>OE&jdFKdk`cfCoFiz}XmDQCXN#|Q
zU;bIt<M?*z)X?ADG1{CfO%%9ZEGV9Gx+%>0RG74proOY-8LP57UM4TzsfMXy-?vA(
zF6dqSO?PVc?^6rT)WmQ2xzW-RT#gGmY`kL5ooRl4vFX!e4{AJ<&q}<#xou`q?#$!Y
zYD<4}D5lJVmE}KwmFoL{mj847!M6BGn?Ct`Wk?7(CA>bhd}Yze!kSk<Cpng+CG1t5
zl%ZWC#-SKLLt0esZTq3`?>m2=dAaBBR(<W)*()aMyIJYi%vj?;N#KOpwkHu$^H*#6
zW+%Lw`MS~U+?M>Pb#GUn2+|CHf8FBvu6;8%mCDIRzngO2Jf5W}v$m^0vY_tw=DL{M
zX{UU@Rr&}nSpPrPjbo>5UPuLx@ZX9TdrITPS*NhHTv{u<(^mfIUxUgtyTubq&ADgJ
zFXXlCy%T>d`O`#6I}zuE*2YOs*Mz0qsc$a0yDfiZO!g^bjm;gNS2R*4KaI({a&pzI
zV*RU+r`X&!_s*H`ethcfyPr=!_x^9=tlU5IadTyFQKX?;^)_9#Kg<5?;Jy0y!QRVn
zq-I?Ip{Lw(M`wB2Dx1&)J_V9J4=#yKk6fjGc4d7xb5+hwA(H~B2=S!U|2n#RCxyNH
z^GW6LrsbLT$AfGin#E+ToVVU6KJApZ-1;kqw|3{otZEl1ioUbv*+sSkUpkmdpGr4w
zZ_Qv}5U~WE3$SC(Ty?9pk0&%rZ4uqf{fTQuRYX{N$<h@Uue>_5|4M2_w`t_U!dv<w
zy@BN{zmK0^BzfOBQYm%kor#?KQ?BhalRT`Qwl6>EhFO1~{`b{qrsvI^9WmE+;s%e3
zR}ydUZgZ%Mi#vVf)jK`+vfTGZPAAqDf!f*6{-Ct8=Weu~y+-s#-qsi=zgD+@NoPL^
zT@`+As<{2kSx`C!ZIt}E@I!^^kKZNd*YLY@Jm*$ynZWG`ZyV2tY@wXQV+vao&4q=b
zoWr8MIK-3Z+{D}+(cbSi?tOCaXY8sw-di6}<FGBR;X8lW^y}Yn?e9{r1oWpLQvR9p
z=HrCe!>5ztdv2*sf3at3X47wD>lJH!xBJ(>z5oAtwtEfd(wvna7N5Gkcs);u+4e8N
zDf8dyA6<EDdhLGu=XGN1r(Ui(uVK^oVw=U|b#f}FuFp~qVq|hynI@FEz@$NA!UgqB
zx99Geb<)3F-;!6h_O|Mi$IHURGuqoVjb)1VJHGxbIq^z(x9Mw^={!%ve=U3GQ&A)S
zKIwjZLvC{E;y0iAW;i{ZC?Mp{5X5kyFn3O^;>lQ@b!=XiY(}Qr-~Zt{caQJ4@?z^Z
zc31y)*YJOPq22pu!a@@!*SA;9E3O3G`Lipz|6}U?`R&Cv-Pccb-dnz-^5MmB@87Fx
zkBdzBIah3#SonLXsj4gX-Ti$$twV8b`n(%|UZ<~oTl_ZC>ixIVlg^)>`1Z=rD{Blq
zrS<dYTzkj)cDriG_lW(vPYZWhPO=mK5?TA?)4SN&@;2Z1ygOma!1$!P<_>syM*ZXa
zObr)TlvUlHyH(aM=-v92_ZF@%ndj`hV8wTFzh&nSf03Q~?aZ6*Qr{cr&oa$EHodl9
z(eI;9p2PF>f?lhKzrVD#x_?*BH`Flxt|%B#njUAOdd1^hz}%S*i&lv~I-mEu@jR0m
zYj7Il!Y!xm<Yy~F#$7(25w^Pj;lQ#jwYrTqzMVOa3oMt-wd&{avFf)AsjGbb>%GX|
zYtJ?wm$_*s?$>|9@N><Uh|M21&hR?SFu}`NoAZFf`!Cz9)2-DabdUGRuY3G^m1%OP
z(|esgN9M6N8*M&+e_MK5`>L(-m;3IXsaSn{dhPz@oTZ}b6=K5Na+-SQ5>4%&{uVjg
z`SbI6``^j&tK7O4t-Nb2#M{8O>C>cB-)iRXgHC<*3z-RJFx<Q$^U7(<_g|T>7YSyZ
z7XHgxy+3-|Z1*R7uJ`@DWtV%t$olRUzv`st=G%;8;x6+fZ(bDdUMraWS?=$)E9KT_
zCN9|-VCwr^^SXoHvUjT{%`%Bul+*qBw{n@?1ZSt(zx(D&x10XdyI#J(Y{&VY@-uyJ
zca`P5*0$%CtYDY(|5BOpYMDUp-)*+W3(GHbecQI()Zy}pMVTzK+(fdYx0lxZ&AIXY
z_HVnbcjg|;%C44vKl_Dj($xp~D-ZL%@0eMg7g51;(bUAiaLojT)yu@ymN!2yzoKyB
z$ES?xE6oMp{xw`!5*cyVZ^he{hmw6}<joQHdhvAQ*15({S#NJz_TOw@!ZnTs>T{K=
z&$MbnJ1JYHuc-aFd+O@j{SLGCOjeM&xvz+8qyGJb`^%n5d(`bJJ5#eE&0Zq=_Qs{_
zkDaN#amc-E!{!e*OO|xn86W31c-P<Jv}VTt$wmFb95=on|MHjb&||HKx$BGie{S6H
z_4vcW_Z>Tn@^9qGe!BVM%BN!szFj)C%1x1Bt;&*14H^r?-?Ezeq~DsR_;*`qwg0Kp
z6IeI*&5b`lYny)ZZOIk$PfT!qfBTkS^gKt&n0ZRqrak_hf4{Ey_NMDHmWpN@uG_wH
zF<zUaJYlO-{w1T(-{l+bu9lS9y>#-z6RIp_C130+t=pR1{C@d1du>ZQ_&8Sh+nd#y
zwvXMr^6wq`JYkaBuQM|J*Iqn#xEJ-&>{r8E!+mdl@6}oHdCsTEJz;+T?e<1K41AtA
zzt`ffbMn9D{}OYaJhTvhecO-W+wF}jm==rIU1goI!nQ^4^$p(F9(m2%PJL6|zIgF>
z&)bI0Yoh*VFJApP?vC}>(BFzT%YXK*Ue>)ue6B!RZNk@Mp_6K^_2~buyT32~bl&+S
zi|=s}Yq`T8$!mN2Y3-Qzu(oRPp~bZ?{;2Xj%6`9fVs68lHw{@&y5&|!n%`9B-&wjx
zG|A0+yZP(eb_cHr>qgu@C-wEn`CI<G*|+Uks;c!Z#=Ee+j=QM0_=!nR+>g1RcTf1u
zG9x2YZ_g24udU~&f1C2w<IxHEb-TY#J)wAX-|2E4JATbfzb|KerX>kEupP*FqwTPy
zNB{RfliK~$gtaHOtXh0uDmYEOdz;<y-(TEXj~j$J@Wi~B_E2Miioz5(ZTn~3g8oc9
zMPkL`T-F8Fs%)C@^QWDS;GtakIFVDaPVT>iPj9>2dm{V&>CH<$cd#;Eb**z%p4;nG
zcBNTVpoQ7xxlfVY^cl*}V^=L-9<6=xMc4<U8`-``W+dE~Exq{dZrtllbJxgz{!;vQ
z1^?%HwO4K1Iag~fd2GjD=d!Z#)UBtPdLQG~X8TM_nq)o8|9Y?f@4EB*;!oS1e-w4>
z+2>a&)B23}`Ul@t+g`M)VWyqeHQOa~3g3O5<FeNH<s#(|4-#Z-%ve|G%)P(*t>E!D
zt#w}h)iKu1ZzW{C1Cv(%+;;u?muQ{-&*vu!Jn!Eo_jL2R7kx7uCNv~}H}O1kvOaf8
z(P__H7h~raU*g}M=xW{fYIUnkIIG|p!|yge%xAaR8f)L5TdH!%T*Sfj^tF$@smJ%-
zSFT95`@1oDYyHm4hBr6z?cS$smw2Fux8bEA>#I(U{QBI5*RA*@SG=q1ttpGuW(@tk
zk9*q*sk3jSCN5W8`}VGCXn*}fm&;xu`#8(h?%Phd+H*4^Y_{*I$^Sa%&d-e3={LA;
z?(Wwb@Z$KBDUC*U-)_aF?fZLsqSNZi8~;4!u2`Sax-9c~b+(svS^d)+pA`abl$M|W
zb7sbjwwr7LZx{W!ZLsgnZ|<M9a=&%rw4Ybcmz%XL)9l{tBPg9ju9ACtPjtDi%=h3>
zdhS-OR@Qm;x8;15{oYfnSC)Y~R=#pfU48zM?@X^K#=Qge67R8?YzTjL-IGJHWx{F5
zc$`!8^Ph8mgtu!>ls)zG=Mqyx&Y6p&Q$A&V-W{@YdKSB4OHTVN_e+9;KB-?<)_en>
z-yrh^wu%VURRgUYnzS==zI&Dlczf14ex$ZZyj1z@-O1Z`-8NqT+Ua@h<W1b~5APD3
z8hd`iouv4EPxUJ-_dHOoKI;A{R_f=&f=zp~^~1w@`1hp6+CR-dD01C||GT;g+wq=m
zw|_+k9)d>xRF6-cU?3uwFUg$3?w|I#Z%ZtvoiLkL_uESw(w4W`S>O2kc&U@htD4j9
zhprW;*8bYG%w6oH$I5@#PM>Sfh+mg~`KH18inp)+ERZWKzj-Uhu)HFK|Ly!=qU#$I
zZ>P(>`%@$AWajwr<1|4B+cy`itzIShy4{T`c7L0*(OvGi0Y~!FK6(DNY`l>r+n3ih
zSME((t=p)>%)lJ`HaIaj?QNceUD1uM^&z`OwstPr_oZXoOP@WOt8;4(9A3p5cKhx5
zZFw6jC!b*7^5`*pT&TnEiYqoYXFvOL++=HY|HOIW1iz%0GN{j+_HM<*J@<Al)-1NK
zsZ&}i<9xMiuhZLqi;i9CEbn>uu4VGO4YRj=Yg!XOZS8~BE&ZOgJJ<QDAHQhD*Cg2a
znB#`v+sE4~D;7PUEwD+FtN(h-PBnXj<2Fz7qb;i6{`vXZroGJ}@cr+H2BA&M&V*cG
zYxrUQPnSWWH^p_)l(hm|+Y3@Ycg4TEC_Uxy-u<^2XTO?tWx5@AF4w}(KjzHbE%s<}
z)$3Xr`6nSISANbpS#py7obi6Pt*hr*+6NnC$EuXrnZ8xaEZS~6-`T$Q!P;3>9eFd`
zmsjm$Jg_3?;u~AvV%B#eEin>Y{nwlFnmIPDE>sf_C`~UiR-N*D@5NQdvYsKc%je(J
z{(mh*himWe_N8U}_?5Vq8%}LwRG8WpCiMEu1<4kMYcqE%M=+YG6{I%zFO2+s*Eoaq
z$-)&^mwb8Jveazu4F2TS`PO$TORxQ843<2z;LN2KtGU(B!sk{qc_!=*3jS7ocKL$O
z9Sc@`W_eir`18!WU+We+|KEB2`nkiww)fXE%<;{6@J`~`rIL3dv+FH{i+%@G*a-i0
zO7NC%T(MqLDsa&&pY~?UYqK(0yM9H~uao_BT}q0{=>Gk%Q0r??bY|>r)8b{gnH6HC
zczlXhptbr0?~7BnelvcOxwMG4gQ-;Xr6J>&PyTy@4&Plm-Szjw_2v;br~ej;xVvof
zr^fz$=gN0TU#%4QmTGD?Q_S;nfb(_MSMT=i+I{lHDtYn6Z)A#me~P9ons#f&8sR+K
z@P>VTQdxo3+aCTDY5vghD_LspzB0LaFMgVNl`(C|=aN5WFl(7!6yuF46RtQ+(&uVD
zZXD>!6s_joTEbYQcFRh;eASLM0b7LvSJ%GS!nZq<sqf7FE2dGo2V+>CZOb_0diI2i
zvD!keM$=g?7v0YGu(Y3DQg?=DgWJE?tg5UYj1qhA?M>RcZS($*LGmy7Yh1dwN<9wS
zZJxm+n|oJ>sa4LT%xR_H;q+aFhAX1tIs6?auUPZI$otK|LfOgB?iik5&dJgLI7{!`
z;mbDnx79O5{#;gY+uk^{<yHNKH=phZ6*UJ`>@ichHNCXU`Dfn6Yuur$ZpA;2^7Ocx
z)%>N;Y{}!#-?wT%FIXYZl)B{c3DqLbM$ty&un%uo+e4P+u1m@GyM0^UJNt{HUS;-7
z|L?D3j{dw=BE#gxo1Awl=PCc>9Jk+G45jKh?3X%oF5J<*CojCqYIDw`Io4l4&ktyx
zJ3s%nebKT1Wr}B?J)bt=JY(x|<Bb{H%KFYlmAeKu-|fEghyA~y#X;`k>VIoDY->KB
zpz(g^zwMyyX6l<ZiAqgoPXG3~dP?Xbx09x_dJAteNZuA#%J;pV-JF;9yQuAn+1tMS
zRo^CD^*E4gsPQ!YOY`j?HM`W_Jox&wvf>md<H~aNrz;)J$+dS{#E?~b@l{{OV%g~b
z>vkERerCOHZ+XZ+rFN0m(@uD*7Vpd1=e;QGsZ%A}Qm@RzhIRcL7ctA1Uw3)IqN{Up
z_L{ZQuHO&FXYZQ#`m~A=>olJZkEqMPV$&j%Zr@dyX(_zzYxSD4D=s(XMZRuX?=yG8
z{=M~?nX^siKMg&<JbTqSrbCZ!RaQ)TZvB+~wv*KBO-e4m_zj)x1V!Z5x8}+2$rhGb
z`1#t$IFSG$0k7?RPrv;+`uV+2hqiKHaDi{z<E0XB*;PLkZmY}eJji?PO6{7mvvp6J
z<xSKr5_`oqtYhRj&>KEM+UNSmeRI;c`7%byUpm0P|FTH;lYsmOeqRa?`+eYH$aqq>
z<n6lbz+3Vnbzio*&C~sxk@-G6_DTIrSD%+|ir$g$(%*i5$#RnC@AJ5LYkvQaHT?EB
zmIZ!h)5@OCCUvQzHX|fnT=8@7YF~k($0q8}&fEWg(;t1}`?3|Y-E>|UcUS2(ukzMd
zd|mYdLq^KedDD0s*e3Xj?nt*gpZvK$HTAut@-ykVeYf}L73V}6#qIWDyCv#>_iJ;6
zguZ$1AC9S!C$CsOys$N1WU`it!{i&=3gaHG+_=`)Fz5d5pO63B?>$#<E;?^^x{dky
zPxY5y-44I9tnf6?+-R@Y&-EvNmc1owJ?&TW-_JkyZ+fjCa`t{><+e<@zEgKz|6DiQ
zN$2b77%3A0SK})wXDgNmn0}Jvop<p;<>|jIbHuXbJXwBo%j~_j(0x_i&i+oeXF)$t
zuZmAg=18z8dLP}mFz%LKpDf>$nIZ1Kyyu(=+gE(beD#*1g*B@t^51h<-#Pi^zAa^m
z@9(A9iZH)?Hq&W?esITj%_{fQ%iF#GN1Tn^TejNaW5@A*=kg`Y?o3|cRCzM%hUoJQ
zrqnet+cHx8=EubtMCVu9-T!dy{APC>wr4k|Ra#srKmR=1;p$-{&v!o+oouJE3ApyA
zeU{qZa>uTHS>~)@u@CT}kns8MuOEsR_K@3X{&ikutl+Y**NqucT0@=AtV#;GrsuY2
zHN&NcJidYP1_G~rYIkZs6Sd0zzP)b6ybo_Lm0tU~;osA(och1i<35=)lvk{I8d9-m
zT4jZB#uNQ(YaJF<{c@^aGI@5xEO)181tw`xYvb=5?3{7#y<q9yYDurs`ZZU-y*WGc
zS5dgk+sCu3=EiR?2xp4=zWUqN-v?H|D%mW!_VLv-&Q2#Tf*UvC?g`aSr%khDPo4|-
z?6FQ7G)nX2)r^m;mpt&`*l7Sd6pKT#r6r@e^+dSKqN+zXCckcl?i!qQ=435oqxy;G
zjc~EZS~>eEZF<YQWABIx1+i}1q|^dBc`BS0snrA)QIW(pv_pTXna-C@&Mwt<1U3Df
z@|ZyZ06L`!%O?E)Tyy^fNbUMFW6pkUl_k5ZE0==xoG5j|eTWUV#Xsl=-Ox_WvkNA^
w#V@@;5zsQ>HYmk_Ts(=V6*|mz=0E@C^8y?x6K^UqFfcH9y85}Sb4q9e0G~xsn*aa+

literal 0
HcmV?d00001

diff --git a/tex/results.png b/tex/results.png
new file mode 100644
index 0000000000000000000000000000000000000000..bcc9b82f4c020852d073d4c88ef195b508edb03f
GIT binary patch
literal 47075
zcmeAS@N?(olHy`uVBq!ia0y~yV2xm4U=-qDV_;z5DBE{}fq{Xuz$3Dlfr0M`2s2LA
z=96Y%V2~_vjVKAuPb(=;EJ|fa&&$tE)h$jgN=?lx&d4u$&%ED`fkA=6)5S5QV$Pep
z^#!6&_u79bx3ILdJkn5+d&*_sfflzAw&b=rEs^A|8z)#jm4loeT(qo23{s;SJ%h7l
zr4uJ;RaIY=3g*%J!p^oOL?nM!o4hz{e%^wKi5fiS3fl~qi67=aeDdV;-|o9!|J=Cy
z`AysEPu<_MpPf0d`TV=jHuG!0-L&=p_C{^%)~%c!aByOq<K9?CB^X%ruS<B13motj
zHcdq+U6``?$m(^wRxN++2v>3C`PQvlTmRlKXcA>``SDI0W{{GSZ%|NBh?Kmb16=JB
z0riMZxN$OFmIr4|nUYfR`t{Qsg<~lS+d5aMOUPQ!ojW&TZ<VQAuT<-lDI)I2#rjX~
zYyN#m;;|FhpetvuT1Twim-F?A_(tb;K1EGU&g5e~fnMrHucU2FGYu}NsegNSw|i&t
z^Q03K6g@mW56&=5{_te7ztpp<x7O7L1qBt{ExrEmx&8l2{_9b_cWbv6J@r}>yIbt+
z*|QuhOzW;De}8v(hGnr@8;@kul`A1VQl?zp;`+xLnb{xRdgt)Ed!p0tTiWaQ2yLx-
ze{XMM<(nMiz^5PgxI!FP&$Ggv<;vBoj10^C=B}FJcVyqgd78n?5>8Lk&B)JpR}eVR
zDXbn47PibJQ;LJ7;LD4^DbuGXe|>e;HX!<YhsPCfM)TZTEDLtmOX`*<-QJda;`Hgm
zeX`aU?%nI_>*F&qH($JIlaR2wUr+V#>CF4@_rH4eYQ>jRr@Vgrt-Jhn&O7JjPZ?!q
zLxT9%WJb$_R<*xMmX;`e<NYooBJyBv`8`Ji2^V*F_OLY(j0_duZl?QQzo@pZ>7c^A
z>UWk52e|e3Tu}b%yX4xnFopwbx8Hkp%S^uZOCZC6IhMr*Z*CZNa9CMcZ76*m_T>5V
z-C^e(%<}KqT)B4b(Uq0KRkwB)KmTwmdwt@&J3DJv+4T8>L&W88`zMyyt=!@tE;#cm
znwpA+$5p0YiA`H*U)=NO<>ITGE^H}&elGFmrqmsey0j<En$@-Y{XXkA-7BZATc`Kt
z&Q4*54{P&lwbQH^{yY-jf8hH5f2BNfHWDjWuH5l<+wBkS_J17X>t0>ayi<BT*2CBL
zsAzahW9sQ?5AW<OZrd2SvuNqRJx32Vvp?>$e#dcp+RSt3{A_+cnY`oWve_WJu3QPZ
zQ*zliVt1LYm9_QZPi@Cu{`>v@_=AJZAFr;j6ZN<KD#Gw!^Le|&wcqcygN!+)z5a-Q
z-KWVbK84&)*`BBMvBa27TrcLpVSf7_P@-75a^<g2!s>nr&(6#Yd~5tmb6w#5j;rB}
z37?;x1v%KD;zPocB})>ntO)#ZvA?e6y#4=}^TMnBS4<Jso>%|x^Zbu<-`BX?$L;%h
zHviGy@AtTGw`JWgS?p_F{_e>3{eN?Lq)a$8H8rdD+f;wkNs=_l5SXSL&BpNKQMW$N
z=M`51P4yan`tRvIw){k@TV~qpDBb?h=>hV!Uj!Kz?Aj$2|NGW;1_n({%^k1T?f$Ub
z{_n{G*{L%kubR)>cy?ue&130`hppm1$Cp;<#Ox4Y*iiV`&Gzlp@OW1RfeX_mH{Mo%
zq<cOiC+Mbl-W=sOJqz8ce$8<MNAeZ*EnByGK4EXjVBlbwX<NPRU;f+AUoQK*Kkfc=
zBuZ>`&zUnmnYp>Wr=(Zz+ZV^+;pgXf=1YQs#^q(co7aSAXRl64OLNoZUb}eNjvW?h
z(!DIrjwer_HjXv7w~uFPYzUfD_U4A7`Td&WkYC;U`&O*aU+!D>YMIb^mtzMWf9&Y+
z@b>QJk+-wSl5TBnZ7Vf=CB5<1hJ=Gmmu(&&>z%wg{k+y!&ef@_KAJ>5`&hAL;X=pr
zi!Yhq%?e)f_xE>hhMD&DbytiQ|J#;$n60+nHE8YPteBox3Def?l3(-5O|L(6S>UY~
z7Z<ZOtcl+4rx&+JVk_@*!_BMKU*4!IckA2Uxb-?wTRdL9ejR&zS%*hh*tC??)R(7=
zii=afyto+n^UO8=zx%!B7X;0_cw@;X{Vo5kZQXCkI`{THo@cXM5DdPuF<dNOxk`9V
zWo2d2uP>RLY|TMYQCbWskB)Q(vd*ae7#2Bg?p)n=et9v$iHF<yz01nBF-!<u9d`82
zxySwXdJIdpY%xju_3P_v)&?GFGas|OI~uaGvPw!tA09YrYHA7!P7GZgCV5R$TU&b-
zpIpB?gGXxW(tl4kE?nq%f7;BhE-pp|NlD3|;9%v02?0$97v$XC6>4N;#L}=Pa<kg1
zx0BWVr#*X?#>v*aDd{K|qr%IVFWX)&{C&c2_M0ods`K)WCp<YZaZ~;Oe;aabKb=qx
ze4Cw>b?J9t%6`Mw#%Z-{Hf;*J|L=DG{<ZI4FI%Q|^89&mhM>4OJ*BMLLu+KNR!o~R
z#UnU)az}~(yz}$z;~83>c82nAzrDn=_*qYngrQSWQPH7)4njA-T{wSXp>yiVNvfAF
zU3z5kZdKvNuKlN6CSCsXaY|%t?Aqm(HgYG=otrjklF-U^>!u|bNNihocgD=Cr(fO>
z>z_4CYNlQ7t~fJ>lc!Ei>gwVGnZ7u;ZJWRKyYFvqD);vGGC9cA|M|G0Chc|f(w(96
zF5XB<_bIIE+hE;xtoUBR;(g$R?y^^L9p^P=_r4dIZ{NOUa`;nMAHw+2XT!CtS6i26
zmw)V$wKhw8yv%Q|7Q>UZ+wXPFoHu#0GQ*SY`~R+e`EA|)e^sZgTDPS>IWdvRp{uLw
z$;RVy-BHJT!un^;nzbS|dV8KIgHhd|3R_?8@Yyy(f;%fdE=sL>VYlhBnssS#=knWz
zE7q><J!N0^CW29*^!V(+-!5l<_e92DeYcFOck{BPOI_!42nD_tPJ3$6o9^!3&M@KO
z;r7>=8(%#vo9*J#CvUGebLLE=ygL?$PlgJ9wq`IkHhwyN|DUCgtyUdV-NKhv8hkR_
zynavWyPKQcySloLJpbH!H22SskBP#U%aYT=^p_{kmOeMfQrX|;qstBX1{=BlGcydG
z=kEy?y|r($x<3~~<%34{l$V#5GCBCovyq&7KBsoI$@WvmQnTOmX!@NOEIWRo;+%Be
zmFeILYK8d`(}P)CHdd%BDouB-OXOo~W^$;po1c1^sj;ELM($&U&9A$4VK3v>U*E7N
z;MQHIv{J6z)9Ye)KY6u!J>TpPC(fOlcI=qj>8j|fhgZD)=y&Tz=H$7%Rvx+Bb6G;-
z>GsQZoA(Juxh*;2sk^xU`fE|at#*lFeOWfw*G8-F+`047_uss)7X<Ndzpe7=>63Y(
z|IM?ii;Fk^Gk$U5c>j%+i?d?ZJbHiZhS>X!QmcIgCoXpHKXt5E`m6mMP;QS;GfzuP
zwUoWxb1FD8ZP~tkabkKgE99jezO?N0sx|rf^XH^_^YmW6d^u_U{QOzxweI@O-w-_S
z<_(eaGbVKuw_N;XTkEF`ZYjOub@;-v`jhv%Uz^JB*NPuZ5SXmy>*VF-b*5yy?`$*P
z`8A(7x8>jO3tb(S_~pe#i?TN}o_hOe*fp~qy<R%^OYgdM>t<9kH8M0D`QABIJN(f^
zcR5FAXJ);)JsA<~Q>#=K`LgrLFfiPyc-*_~)|dbP?*Bi0T7N$eL&WyHx%2Xt_pK_F
z<XE@&ThyKM`?WW=W{WdCDBu5k?!GgAXV!dqy3u!OZ<?4+M8mglWm~pyPd?bhs&`H6
z-={OjmhIc4501nRz3SSRd|{jCuZyq$`*oV}@ms}@o#tz1Or1A-wsu2xKSxK&w>OcD
z`)Ynpl6?DoO7!-;-l(wPVC9C7+%uF`F0-z5Y4Exm@+kAzT8WODpP#Rt_;&T`RoAuY
z*UZ<PnqiRG#4sWGc%SBW|Kuy`XHErnrbk81Vz_Iscx~Qs2@aN=@4nk_r(D&WYV-X3
z{Qh0LFZs#7J>t6i^ya;LWBs$UvWil3j8DH0o4IhyjMjJTyMKpn)w#OyEN}hq+xM3&
zTBP(!kg@z;<?@{S`|f^JW^&mjFa7ZQ@1yU(x8GHrwc_*Kxu4b?TNY4uOyp{bb@B?7
zIP>@-yXNJ~mkbTx@7LeIW_0$^(eA<*7Ze!|#Q*ywt`oOMf*~LzBqcI0H&>V8!L{i8
zP_Oy+^>z#o7PiYBT3`P+J7!l2C&Pz_?ea<Q?(Ae}h}@j!diCXnh0bl|+-GN*a_=sG
z?-m{|zH8U64Yj|^7#xa<Hl^-;zw@~q!+}Yv-XD%h=f8NJe|sA*zwMWR2sv|jx}R;x
zk$WHH1ctkRJ#PDHY~IH><NMX8r>8SB<n8}kmUC+h=lt4lGxxoD+;4wuneXg^)4JPV
zly+W)1Z{e{I)j3#sp!d*Cx3jo>|gl*?|12AM^?$@ZRccgVY&Ob*H+zc&VldyzS}Y!
z;5EOqVEJuOE@4nGHy39Jh>Po6w@z=4Rq3e>>lv~hPv^2ub=&oHTJ(q4@&Bd%|K9(9
z^>SIO5{~<S-<2~mT#qfEJ1<W?t)cSwoW9(T6`#+V8x}wFi77s7s-dlYxKmht!rZyN
z>hmg?mix^;G&_G^XXNIzqov~2US3>!F*_Q##q})yl{U|{OI&WVdE-j;Z>@6;uXy;+
zzYIx|zj(~wCtSUEP4-t{<g&l@-`?B|taR&<5d5}i&WX~kyDRp@<=>F?O?#<y_k5GK
zhDL{$cFFCvYu8SiIa6}$nhhH+Z232F{?E_PqmO9|aJ<O>V)pCF)2A=XAKttx?)I|m
zR?6}`t&ct>JX^l;%G=%9QhO_QVpy&7kzMPjO`A6BnyJZpulWYr?yB={ZT7nRVs_p(
z&1-gDq58S|-`v`&t+PK%HuSNQ(x$}2Z7cQ^KRaW1X0=h>$|DE-X0G}j^xI`$gokNb
z*xTT{&-1w6vU7{;O|h;1wqu*`@}GBJ2x~o!?Df_9eaP=`@1@Y=0h_;8!<%2y4J`Yg
ztXjI%)yvE4%lwyZdfTIx{oTKJZ|pR^Sgp*=%txPpE?Kd{W7h21x~H$+^RcP@^<_g%
z+RIr91{$xgub)0=j?BlZy^lWsRI#_Wf3x=N*|TSZA|f>G=KEi|bO}_RU%GcsF0{S&
z_cu>Z&(0;wmv<k3Jn`aUckjr^nK64R4AW$o8yiAGLSB6RP_=i`<jKmSqN2;<Hz?oq
z49}f>ch|}z#uE)M$k^A#yxa5HZ*T4C>H5>JT?+#@B$R}9=SO@Eo%qgtr?|Mdx0_pA
z-2IP_k9%iku9UH<2ynUbt0mNO<D;9mZfPAodi2rfpGV$*KfTDcTjsm3`Ryf}`kg*!
z$oC&tKHSDTdD0}I%!~|!826=ps|qhpnLgdSs%qDd8oSebv>s2-;t4t3<CC3{F+o&2
z%p)&v-H#f(j}<mWU$2IH7Zz@;`EZcEFFEb1-PPK6%Q}VCPj&0>(|CS<etGWf&KU_?
zZ>xu#+AKBuk>&Xtp5c<tYp=b3Su6!^y9N3i&r0z9^}Ho(#_DyuPF?h`nd{}{#k6a`
z>CL$EkB^S7ShMEHEYs`_Syxxhcv<qZ^6Av@4FwOKL_|aqo}ZihM%v|y`q!%)HH&yu
z!PUX8IjX9v3)imI)j4}LeZ#l5z180jJ^!p|Zy&EYmu=hbce}XR`D7fz!^QPtceR|I
zZJzw})KrFsna1f%3HKEi?OUne<Exdd0d|>S>+A338-!Xf{R&#bDXf-oe_w51e1@}2
ziRA+cFK}ZfW$pQU2VZ^u`QY=<s@+m13|FpQOFGsg>EZ9+e*U?0SeV$UQ>OyL!;g0|
zDlL+*XcGb(d-J;by99`1K`wsv`qvv-qydA!f+$`5M=aW4T_9qj^PGfU=b)fTFQup7
zy>jzr=hfBW$yZhcdU$%ioM`m;YVbxykclAt%GXdm;{UJf`yZ`bKJSq3_B%~ao}`@i
zG`6lhn;~3$EB(WRgELGrh0OBr<y1%SRTLEN)(&5H<kr^gi+AqyI4C@Lwe9z&6Z<Ai
zn$+}q-EKbn|3A-HugL)!4941?xw*MQGb^r!hC42?zL_z}Gg@q`p>(CMc8cN3(Ae1C
z>i2uEU;8HHxjH*Ty7$tfuT$68u&!OZcE#$|hrxZ~GU1cG77<@tL6!2^S*Cs4*G6rd
z{d*#$^y%pMwSCDFl`UJhwk|!or`c3po!#H&BTJv0t<+`)>&j$7!48gFw{LGuIVr?&
z;MdpJkMHHxU%7RQi{Wot(be3jcn-Gaig!DoGcf4y`QW5~y$fclM`F|0`hU;sKRlNI
zFL6DtI`>TP&6BHNb!o3VV0_+&nc>Ha#r-~?bMNhu+<v!AnvGwsXUY^2(BOsruZ#U3
zem<Z7x)M}&PSp;7b>2wUro!Oej>mj|9`e^;_&npUNz7CA#|uw8*WX$fRkp@RdHc<q
zH#^nm*9e*4EfEe14xTt`R@dyjU7Xq1*SV&rFAw_Ldui(yZgD+Ojpme<rL}I)C$BYe
zd#$qm1~2z}xNi45u;7kITsqO)c%Gk|ySZm_a5Ee4p-ri$85rVgKDH*xng41GJp&&N
zaynY$;t-K0Z9lv0mvHvtuX?e&SmvK^-?GKz@X6i3-|gnVdi84CZE5p7nQw1zw<|ig
zCA_<{^Twvs?!<j3+?8CeML#WMNSj=sv?!!ZWwqzt1cQ$J+Sk!5)~`2@nKyraf9&ou
zMN7+@TmGfJjJoya=H`v1udi+R<8S}hr0zqrJOhK>?>EMvHj+j0GoOfg7rx%9aB0}q
zyKbG{pWplcTYGtX2S!A6<lf%a`m}tte8gM##Z{mb4Z;_n9=xc`RCT+RTYN*!&msng
z#KgoapQgvxNnX8r^~AYz$8P8E?{!dM5OfR<7XI}4^TjJyT1sDEV`QlNzWY8SgO;}T
z*BV}4UJXsn!lmmL3g_KAe`~9WdTRSR`JHFCW?x^lZ=al`q~wZ~D;*6aTnr?RTw5DG
zapJ_rUAuPekYD-X<?{KDzP!B5!PcyytIOK3VS4Y{=<R&z=jJ$;m6`F$+wlk<e0aG1
z;)M$W;X5a8vG%Z)<Cm-b5~vfoiA8_!m!Jqa^WTkE>r}wmLP<%9>uUP@gx-?RXU!j<
zHNSr(eBY<38@_l>R!jW<?{7v{)*)W=I|AF@T=utjb#r6ev}seppC5&wBzE@fSq&{M
zCqF;FPoF<8o|i3kUUp5`>(x_ok7djTr64J3>A>LN=Jz$vtrLIVuXxORW}dC|<Kz9u
z7dp4gY=3=XqVkS+yIwOeJU=(rxvI+QPo2G9%nk;I9S_^23!a>qxMF(#+k1PZD=RD8
zp59EnCT?VG{1KE3?*ISy{p*%_uh_xGnTv}{$xowQ&0FJrHpJC_y;|{fYWRoz|KIWh
zPX`4DU%YrRai{P4>)qbd^&am1e(&&|oyA|LyD>VHm6_H3|9$`QG3op*Ys&WsuhB}K
zZFnoq%ZrPtk)i3J0vj*ae!-oqS98ntv)j%0uMf-I^VZ1A-_P&b`#HR8o5S{9G<##P
z>iEjw<r|8gdga{Qr23|i)%GesEZ@HPbalO2geyyIZ0wK6^8Y&?JxT&K|JeEEdS>-p
zQIkr(`0C=#o1OOmKK9?(o-bebdG`GWPfkugarW%d`v2eSqpw-t;|!a+>1;uhX^phF
zUW`LjloTicJ|356ezCI-KDs)6ecgASYmUuqiO<f=T(M$>gMz>TXMS6esqV82Y|Gw6
z-1uyyY(MMClaw>FOu4hKt#M3FR%Uo%znGn2{&{wWME%RZUM%j9$@E{d>FtF&Hu;~6
z)EPhxGe(F1mG%>6l*LxR-O8{_o>L&}{k^?~x#3rr&#znc|Mpvi1C}iE_ur5;O*gu&
z@bNKFimCYdbo$|GnfeEI{rz@(W9DVGnr}DLe{Jfw|0glqEEiO)Gcn9C%@!+re-D(^
zN=i!;e}8++uuJ{6$<CcS85%x)Dk>>0eRySMaGUV%v`d#SGcvs2|GzF`m)Fg*JH_X1
z85&f*r#<L3zjtB#?%dmEd-p}jncqrHxwa;fq2Xw^`0L4&+xcV<9ctx%d~4lQVRgR;
z)%SnPF|^obUwvDbuuUGN>}j~!-DcuuuN!_cJ4$i#{IqO+KPj^ui9Q+2ruB7SSO3~1
z|K|bwjSY#;XEvREWnTZU2Gp2l`0!@)`9)i{nB@GNV_E#g{QU7>nt%6xzt<feUwbw1
zW?Ijwmv7!2dAt37->zL&hf6<w`t)J`|DW@JElC6=q5p3-pD%daYyRlWOyk6#T-@AW
zJ-x3USC`oM%0F(sc>SNp@`ky$Ol;4d1v%FF_0i+(0-yp%P*5;7?$=#qCa1ear*$<n
zH4obV`^f+IsN1acd6jI{-`+SD78)8E89n$~_3&$zVcnmKDbuDsdT_9rp`rHow}nfV
zu)KWv@<WA<gl(0{sZ*yuT=Ld`dAsVz!}h?qxV|r6N`BPX=|pYe2n`KA_4UtD{kq0U
zlZ2KmUD~>I^^{!qq9UWRx3^lmy11S^dGaFn+{u%UuCA>AzAU$Iy*p7de|OKH)BFE$
ze|vww|Ii_)A2oJMmM%?vd1+~&@Z`LY6*dxPITBu8ULOv!%eVNhV|w?EdGlWnSl$&m
zb<KMnEYoy!=!O6N#TN!En3NXnYr{P+q3E{((l`NykL3|ggf^vii-VBH4#*m``3LmI
z38Ga~)G=xqYA`1GZBSEHRn*j6ss8Fx`qwfZD{JeGRbR6}rN5@8W>u_E==ytk`SF+I
zA6<-pbu(IGeg?Cl8uLb97u$m`ZW!+V*HOMZrSGGcj`hd4r?21qn0L50**dU-M`HJ!
zM@d(%-OH=bpYC6q{6|is%6b}e<^LU3?5jf;R4H||^T|2|1qmJNkz73GUi_MvokE~C
zNO7?-Q=>zEc>9Ar_V4fR7B7B&?&t(XXHbjJF!|Vnlj`$%P8(-lQc+P=O}xD=ciHWm
z+j6BRO`2qoc}eAVsmGN4|GuuTc(rmls0XZIX?fGgZtmQ<KW?6{TNZyKzWA)^kC*=S
zUFXi7lUuXVvM=?@eTlEV^LAB8W{7)gJ>KG$y&KdKI#_x=wtfEpKhJGrvQ5jrhb~%Y
z4=TxK8mEINo_u|et_WPbq2gnbj75RMy0?5=_DOJ`4?U*0z3xFv^zm(1cdBb@a<1R=
z$?J+$_4jwYrx!adU4J|{F8}+@e<=#bSK0T-`mGPVV<ooslq5&h?t1<u5qwLw-7s7r
zCm0YO&dxBys&rM*E-k^vjw8WacYul`hjMGD*OzX8Rr<ZmXJ(Ub^tJ_i_sTXpFsS>@
zafpnJyfOXb@Av!V83H0BGk3}6&YULx;_p9DN84Slk_A+57)We6^ZV}mI`MwnZ!_u=
z>z|#GwE6er@sD@q`)@mMeS2HTblSxONB2FHn_76wM?v7g#l`NRGUMv%@b3<}caux_
zK+$}BTkh=%)2Fw~T9<*Wmz9;x$jfs}O;uI%n<Mf4+sfx3Vy;#{vX#4QwQcRUt@q!%
zmzI`>RHde>{;Avl(roUv<C&EVzt_l4&t6mYyL#HOlcrua$KB#D3IBdj^zwe~QhR<E
z=Ax$3UteB&z5MH%ovjTXUwQj<R=^%EF0K#ftluk0@GM%qm{~h)4FiMC?>C#P=CN{%
z9eDpe`T4oIKYri;FSoVV-|i=ib@{uN`|po8v2s_fdAIS&lP3>4)#rh{r2BdA?{~Xb
ztXz3;L*n6p_;`N7gY#^w4RUT6T)A@P!TI`s#r#)yyq8*$EUC)(yRACp*h`OFtyu;V
zM~ctevNM1tP^y;f>zvZ@y5C*CR)oPI{hW-9bs3LRQ(qrn&fQ(2KY#vQH`TfGcyZ|e
zr`I;-Ze9QU?Ckbix1#1)m3sMGm%o#VtA1;GX0EmQx}x4A!E(RXSRGqcZn@L#<;&!a
z_R0U3?bwQ#YO$>Ux5wtkgXTw{f2O>+uy9k>RV~h?kU5uKdr-RnDc|1QymaS|j#ksb
z1wa1QF)HNd<}Q1getw?l`s><q{q9jwQH!<-bFhGnnKW~z=D`GmHFXo?>i?F`v?^Wo
z<8R%^s=Y=<Pdt7;<geFAKR=IGJ6>B~faAqWOG`^82Q{A=0%6;ZKNehnUHf3d1(Upq
zg{HUoH-4Mm;Za<?SwvK{^ZfJ4Teg@)?kZWiW&8HySMQy$(uv;})5a&OWj9|xt9oL{
zwcwS9e|~=cbfUZ5#EHu8UDscW?!T|k%F6obT6Dha)YLHc)h4TJ7X_7R<l4J$D?T|%
zmB~R%OKZ`!%152*EDfMgFnqmEYIDV}m4cghb#zRbGKGVo^4H7dhc8`UAFt1_WXX~v
z1$!%aw`|n8^6TsC)I%+tkG}st`uy|BD=UK!|C;k^W8U`vZCor&L4kpamX?;Fp@!$5
zJ^lRp)<kYrTjTF~Ec4-^)<@ret12ryUt1fkuB5bf?b=NV2bn(p{%ch7B0y7LzhCS8
zxgV*Z@u3o9wzS80KR!O5daOs%>#gxC>5acubyz=M>1F9G$95RD7GUF}$nbFW*4EZv
zAB`$MrQF<_9e%?s<oB}Z=N%`0NcCP`_}1LZ-1_~>dETLqgjVyddcN+&AHQ|>XD%sU
zwvp>+n9wb*FLmsAhu4`qHs-5mSrjg^`TyrLXt3sbnG^4o;;GV)_nk6ac&lvc>lF3M
z&`Wna_FpYq`%3!tjcvtp-CNg#W<D66d^|3HeY)-cKcAT#K(ko#yXQ<xzrtsIU-i+;
z%Vp=jevG@nBk+F3I@h^ZOv7e%{IWC+lYKi!`Eh3OnvW`i*ERh5dAA>rS^WBL#qZYH
z_X~er{<+#bdF7$A#Tz?*6}~%GzHzd;f7kKHg8T31Tl8(&zTG=2YF3@CwCVI!RtK%B
zzr9(((CRlKf;G_efLm%xTAEjOc6P`;k6RBWOr9)kT>J1)E0cp+&JBUBb62g>VpK>?
zO`Vpi7qQ{Mme|L~dbw{)va+%=IoNkNS+6?&_~QPQE7z`ZG0Zf}ot1h=>9LeoY5mr1
z+q}}!(n984_&R6X^^9n_es!&D6O-01k7|GPDCwzPIyhnFuAU;B_5a^rCWmL|=gUv4
z`|!Y#Q6c$wUvHGUwRJSZ33mA!fz9u1FZ%aJY^{8AV<VG8pNyr@w7M@Z0vQ!<-n_Z&
zcBt-Qt^W>Er<)Eg@R@CPc2itgU+M0@=3C?{D=U}1e)jx%``jyQ9&JfJ&bRaDv)PL;
z#n*gvt*y1r-4tv-wL;B^?N-J0OP7=mxAXVka!X8Hm>Aph%WaL>4%2y2y1~86FB<h9
zSLWsAt&*F%@8vT~r71TpWTU=csM`RUvn(po+uGF~D0}8o==bK(dncZ5JZ0h~ZCka4
zVM6KaYnr~BRvkODYM<ZnZ4p~?EB3}kZpoN<<@)vGTlZeb<y%r5y2dE<SncLAS2^L2
zTWmk^@AvyO>#hIQw{FMo_uPG(^>wS&wzu<+C%w%UoVaF<&dF1!E=_;>?AfUo7Z>Lq
z^(mcirF(vbY}r0<i?^4{&VQYlX<Pd?RZM$o@!re3qPE7n{Qa{a$ldzynYTaM`_wyk
zxph8|;Q715@LAUN-5<YkZ{Pp;%kj_Q`A33UCvTIG<yZRFSG;{+_gT<P;E7qL*^6#1
zyDMUreolt*(Ts$%r%zA5yxia0Kw`?JOF@hZ!s>n|JWE0+teuvco__k_;dWP-Cm$Xj
z{^c_1Vtkyk?Y|$7nH;>ly_1(^*B=Fk`ZnXrPbrKF?)`G6x|=s`3R?djJTJKdHZPf2
zzq8`YMR(R8MNZ|fudQV&xi8A$@c;D5;`6rZ3{Nh)%ZGN&4cztWU)0vDsflMcZ`$-I
zZ~eA^CnhSV{{Qzk@T*z!)_HTSGU|O-tXXsAv#E(m%U#KrD$6!r3ORjkj%Bf%TaN^&
zXlWC_eCzJw>Tho@Uf#0Ly6(@98Kv)E)~ynf7rgl2NTTxl>Tlu^`|s!PioI&I<`e&t
zjXu&3+Igkbq|NiD^!4!xzMQw<`mZ^2lkfWd=M4=ERAf+5R(8(H%2JWw@iLH@vNn3V
zmz$g06;3bh@=s4rf(reE2?1eiA`}@^Y;Erv+<gfxqO9569^X~&w-LI!Z`m@nz4ET#
zq&M3oUprovWfR()?&;ZSVrtsy@tt*ES)lMN^)TBzd6U(yS*+b^`^C8AML^`H6wfQ`
zQ{MEQ)GFNAwSR8$^t)ImV*9N0E%yHFcv6zny>!_!w`KnG*X7GMq@<>Ly1KT`u`E7z
z(Tx4kPOTDazvHzNfAn`=NG*FLeSY5tE47eE`Ny($`@PQoZnLcD-NjFDZf<s$l9p!u
z@kwu&OHZudDdVj6xyAD@+vR?bkw5>nSNf}I_taB6?`6iWy_Ns`&w?u3q;#LsTgxJj
zrz@=sbeSV7o!7V14W8<ze-6(-9yC?@d6M<<owM&B?US)oVn{jCAsBdl*{xotTfBvR
z>JiTG%`U&o>7K)}(O5%LclGMk+}_v!btROD$1hnKyqv3H#qH;3FCFidR(JT}^6KH?
z_OG(Jq2+Jai`;S)0u9GAwES(&INm3l$Ufm(WmZ-e%a2b^UcX<Kq{PmRX*hB#{(5}<
z-qbUXGuLmc%gxOVsnZU7eRJjE6BCtL8$?7!PbT-<id{W+VN=MZ(90pG#a{mN3`k2`
z)+23x?u#F5u2S*EMXpu1nE7oK8b02=zW1*G+E+>GGq1lky_;vl_9$YR@1g(Sw(mE+
zJ8y1s?AHHomtF-12McfYnZ1Jl@8X8Ayo~#MK=aGHE`L1jcQ@qG%QBvxW7co=-k;e0
z@J!vY)NAQyer5UhF86zU^WsHChLj&49#%!IsoHT@O>k>rRCe_fbz|e;x}T@xt=28h
zig9|K5N1AgPub_=(a+}DR)3klu=Q9jWa`*&y}gp9?Cp@bmc?%KDjs!i&{vY{cTYPr
zV`2Q0)lwbLS6wig+xOe;jhyhp({GNL&#O%=^*JJ3zxu7!+Vyuo&p5U7`ID2AnH=OQ
z9x#I14-69~tNYKorWkfR>F6QPO1HNgir*FATK;z4Yvs#Tziyq@3DbIBwY+p|*8aJl
zn_qqHm}_`7b9R#K{LUS2f`w%{E?wzoOn2Su-5$T=uk7;ubM{wRPg`}zLfqQ&+}$5~
zYDz}6ze*Stu3o)bHOoxjDD{*`t#qGyL?}~QdVo<>TA6$Fn&;(N=Ucv1*!+rLvgVSj
z%e=Z@nT&_tABx^rvy)-Ms#RL2ce&Ro8vJVU6UzL0q3qvT^ZPo=Zao5m6VIISsb%k#
zwKjVtIU{W2=FR*{m$&YJG~=kvyl=DKo{v~_ZF6vY?C!FYSHt6Fx9M10M@vad=N>=l
zH!JI=Qaqp7#Fq<i-M)SF_1CWR&nI__>!14h`T5u9eG<0(OSb=B=~d%$XLs|}b&VF&
zD)-)-aeNje(l@PY54`>M4fo;_XjL<-P>Ol+pR!x&rSput)BSswulg9XJ#X%lXU|?G
zH(&fAvRW>0yQfR;95cvtc<`1B^DS@6P7ZyPBwBBNY+FVD)ri!t5_`F{$H#hq9j$#K
zFFH4_-lfQDo8(k+@7mhEIx#x}-v4*_BCavjDD=|r(>qV)?LKqqv8~#hY13cq@q0Xf
z#jjhI{Wou3N0}slA60u-<NO-gy!z<|UfYY;nMdtkzJBkconobn*G<eUJIBB3x^mgC
z$VHFlpU4*3eSFdE<aL2_9`!DSHaNB?uRL|`W6HF5*9!B#@1D_dVqfiVmIjcYGJ}`-
z2tGLNuEoS$(iFP;v)^onuBm!Tm#$q?i(4N)-{;kf7ZbK@G5PrWuOa`c3*Bj}{WWsa
zw`|+ib^P%}R&KG5ju+w&pP!#EzTo$@;>|x+ELr`m)W~t+t$QvqEoH9-I9O7Ce|rmR
zcK<bdccEGN-i)ZLreQag;*Z&jy{$Z`zwgJQy6!y}jmvsoUAg=>#MCbBe8Sbdqv5q|
zt7Dl9b&9K-LS5GWcYDOLy4rBVZM)T<=R``{n$BBwB=~pdl2boYKnr117Mc0Y-Wn^d
zZES43_|d{3ck4pWCy;dsX9AY{&lg+p`+1p^`Fi^~J-Hi`@{eRRnJOzQKdah!>%p;q
zJu%lNU%&hDo2q#q=kBi_CHMZ>9L!3O&wjt1;ZS~(XGr|^;CZ3ecmC)lPPunqE#mP`
zG2bIBtLJ`puAh}4>UqbsYi_dg#pHD!=l!{&j&8M|zu$%J9n0$I<2&!ZPm;>bTe5Fo
zT)m3J6KnlnUszV()IA9<&<=0)lm2<kY;#HPw>RCjzrURXO{OuVoSdX;_<Eh~<WDy?
zCQtjy_4Tm)zW|08_8+g+E!vQJT8wdl{rcpiU807kw|j-3&3<lHu=}m=5yuxQ&t`2-
zKhGub?~u;h^@<Dg|K(<71@*1WlI}gVZS%fwXRe-{tp55uyIFOoTmJXptKTyFB_j6M
z)kf_4R<opHerNi2zrU3_r_Y|{z3uPz=;z7y$p5`d{;DLuzP2{-^p^QS5_=mogOrZx
zgBRFHZckG9^i*C^>2`Q{xcJt2S1Zr0;n{vXcym$6qnXpDsX2T<zj4d%N6d{4Z}+_{
zo4w}N(n;>K6L|L;9|WyDP`&qg=2fH3fAXeEdUZ#>sPnk;wf)tNWv}w<f6opH330Ji
zdT`GA{gk)2w_8`aG<a3jTZZ4vogTPrZt@||m^V4c*FL_G`RDG6^?|eIex5P6_U^@t
zigo+#U#U%V`C4lI^ysg3D>fFt3--mHJ<37Z<MH~!&r(OvZJhYRFkI!I#IB#R%RzBg
zWj-zKj)nMb%X4@C=q<asHG4Y4gqN3>zt+EfYe!-74KpFDgR|z%(_`R?&q>+pb35!s
z?yYuy`D^|*pw>3;b*A-qS4nHfE-sz%^z`)CmHcux5}Vgbo9Brz7*&1ASh;Q;U-i3_
zFE1}&x@(u!tM&4?{LY>@A<%zZIX5>~>C@ALYyXO-{{HqB60g#~6q0qH_4f9*@f&Ts
z4bDcd3ZBm`_o}Vk`!6B+ZL8G6`i&Rr!UChBv<@Z&%$hy>>;8ZhN3N`~Up*yvdYMed
z@6$f{--B20YFV{*t>}W^j-PLF@A>xTCTIrOSmwrEBZ1?aF0_9O4-IX#-LikjjtG}G
zvakJq=f7}1x;^jis`c@~!Hexf_AFYYq~(|Pv3qJBY$f4wha*3ZiZA?o;>DrEFKp7U
zh2NF)KYJ>$bGe!3!mIn2E_MC?c==pVq=!hpJ^uK3|LcAZj=d8$2fJV0(Q(6i{>q;C
zjhEg`lbmUmdP-#Fs#TZf|5dwG`{&#YL+6Hf=7+30XNLY3D$ElTyt%J-_n8@n%5PM|
zZ{EE5>4>oZk-w9)r+)cYv~JUFy~QQg$6M~!<xR^|Uq3nd5F$BDu3bCp{My=8lg_V^
z)k=2TQ+w;&&U+bu=k5E}^*riI?=H7xH!bZ~#NEI7GQG2_e$o2Ckk6`BXGA;g+w$s;
zzdZkZ{k*=VTIT1Dmh}~z@9%EC^v~h($BIR9Rjeu%O{QBGyMR{=AeKsqoj6gtwNrlm
zb?Ivno4<G@AMcyG(7Bx};ZIuG=51N}44ZznT#~!R?Q;Lodf5vMQ|7JBoVsq-_N`k(
zjf{;Kzlw>7kSMQCE)Cn=Jms#{3|;QOnSa}Or58;*KhxOVa#`Bn$fY?`x3yi;<7)U|
zet+eW_2$1;dRe-<y0%qzb#+ZiO1c)O{`2jd`w^$N{QrI>LX3xP>4F6ZjGmSCl}`Pa
zEwbK0VZr{B7hg=CK3)9VnYi7_4k^3ln%!JE+sj5+mU(UM;dXxW-1%kUDQiB@35_o;
zwlM{-$8cF9U3>Yg+0k3>8(%GbJN*QA=~b&$$6Sxx`{|SVC#ciW=J|z)xBWGijdMRo
z?0KHH+v)q)L#^Cj?WJ~Y^u-ZBo`3GHS|2#;RpptN`@+sXzh>9FHFkB`iXO?2-!iWj
z@4flUw(_m$`>iXaOHI9kZQ=2=-|PP7Tl4PPr2Q1Keb#kE-g*1J$6vmG4);GEG&TBp
z($&Xz&c07txF!A*)5ZM<ScPm3-nw*2NmW(#SMG&{r`Jx){GXqnKYgk9bg!tWSwCv*
zG_|xQJ$sgRx@fC;lka>xTb=olRZB`=Uwe6*r&iK+&9<(R`=#MAF*=fxl8?St9ew@v
z)Q^vkmu}f|<%8dikB^UYe|UQPhG}YQD$|YG4@|wcPu{+BXCxOl_tEE{J)@##>BR0b
z$!R*936IY=x3~Lyd3mYW+Q!<*_4mlxMx8o!>dB*{-HErg^!2BI`BL)nXU(RJi%OTb
z-G2FcRqAcY6;V-9M_zyJI{uimdUw&1eV6>#vf2462u%3&sp#aHGa~D+YtNiHGbk=D
z@8=_(tKV*&y?_7sCdAs5ze_WI{`{Gke;~y6TIjF!kyuxo#3-p|{eg9+XFWdNe|m2D
zy_MVZe|~y;>DDc+1Jlp1=(%dX=GUr@>c=ZFmXyryJGv@)_3Y;yQw`OM=6tTOG0M4N
zpsA@jv8|2maB0Y^6;k58ufXY~xAAguhO=|?nuv`~Ma9KOpMUN={&?c*_4}f_y1Sn?
z^V=237_a`e@?G(6HNQC;pccR!`+B=|Z(F2RJYQ9DycU+fx1THP=T!e#zIxxsImhR`
z%f4EZ_x5tc?X6kvHrJiYE`^@^8ut48m95jIuP^#|?dqC&tDdt@wYv2-y|bfUX<cBF
z;i>5_48w)<dG7w`yL|tAysfNvXx`jz*DL*?{GI7H&qmYXyX*(I;|t$%UYqxzWO--D
zzcnXLSpPnAsk1|<HCa-1(l_IoO-)RKiT4$h(ks?2s^FPYdpG>HVCA~^+`qEcblf@c
z&o^v~b;Q|u=cO&DTXFoob8m0;!_Pk_%%8u0il56B@j{)&0p)i~#rb3`8rH4T15Ikq
zHqSqHYN|FPgK_#fmIM17U2OZGYe{MR-lf0A`Dx63@h`0rf~s7<&1Zt<#q#SuOEVnU
z`~BYPEq<5m-$(EkUkwdkSnaeeT}4%u(V>5ur^^$wzSJjTYxP}c86+}&dwaWm%9JT`
z>jVXPMQp+azw+8#7Y?jXGD~Zf(zq_RFjrSc=g79)+dQAaYcIZbT1V8{$=BG$=Z80U
zXz0nDKB2pH>(&{D$!wP{Uj}((>eSXvn~bhpz50<`T<~b?bFD@D8lP7wz4G7kntk<o
zhlN|yZ*9q}c)4`?l<TjB%aNv-zLwU0L!O)Zhi|$lTs>m)q)CVDKISdoe(imJ&#l|R
zhA&=jy89|wD>WeLMrZz_Z>`d|d&{L!_PtE8yZXF>M<O}qPPygLDc8-u#rRz}1I=Mw
z`TzBW?3#&_lWh$n#Ui&!@7lHN!|M3IT*m3=j(}!BX3gpX?NeAbJMYl<{r_uaED8=x
zEn=J0`0MDARk5}gpCNCVd9TS_TE9E<>8Yup4G^<t&lcohk;y-v5#Qdo8a^?x)%M$}
zFJCK8y?$$Vdw#^*Vy@>Vdez_G9lf)&*f8aU0BAGAnHh!^pH8alo_?_P?9=w+vY=_W
z%t^u<0|j4Re;xhv_x=BUlE!HdKzk&juHCrNaqO5IXrPjFZFAQ>9s7x?*|(pG&&n$;
zEoEp}8N6I;>E!B1Z=cUL%VoN-cYWU8uVKe;Z@hKAZomB1t5<it-}n2_C2ei(hu?n}
zethJ5IM*t7_T^6u-y*FgRv(#dl<IZkzyBPI#!Z`yKy$~(?f-3DocrmPS{?J(TWz4(
z#b5j5D%n<dNYwq>wQilB&wM*s`MMv9n>K9<2n}t$b}g)fqv@c6-#nYnSFf_3Jbn7L
zEcB((Lf<Vu^X+0a=l<#gZH(#2E)v~v@A~IwXPt9%b^YdAEnPm>x}0zQ-fvRR&drq$
z-|6;9v%fY>HhF3VD=TZo^SR{$JZu*)UThTA4r5@LSNkpUa%n}bGblDoB(t-#C!gSF
zC}e7Qx@+UK=%<%2ottm3&u{l*!H*g{Nvo0-YofMlJ^OX*zq0*8+{5u#KZ634$zjvx
z%}dv=)lIWDDJ?Apt>McAFaAsU^yK8G?CW}$tLEF+$4%3Z*K=;?6P<s4xqg0L-n2!F
zls^8fnKW&hn)h_Qso%bpovyI#U3k|jdg;ug|DT+k{ODuFk@w%*k49d;cTW#w;Kzz5
zKR!M-JYCwIHD}GQ&^30;VT%n{9j}B;G^`0ZpJ1R-w?Cet<*WPVFBgo&^<qF=BO{}f
zySqx2lt6_tx0sH={`>mQ?R--|efqS*DD+or*6p`4r~Ue>SC^PSdjCbjxVwMbS_cIM
zQBhIQx<b48{xx><pFDX28X8m);AojDo*n=G=4N+>6Oa4t*XdtAw(-}ms;4tnz6)Od
zRC4R%KR-WzI-%Tu;>1K{P`~;9`{_+hOqH+KZeMh&ce%g3eO*l2nHdi&VzzGHe`m$|
zz%_SdlHbZnYd!Z9{Q7zNsk(68>#OdsnkFn&&XD;0$%&$*&hLA2zV8U>6<(kF>)cje
zP&)t0f9w0k4Lh&=GlPs~ci&t-zwTDi--vi8F`bBnS?PCn6#il@a&&BDn4lZIP2=d{
zRW*>YT*KQhK32Fa`Q2TfmX>y<%;~e5QroK1ZC;zZ{{Q*;nH9YGLM!j}_4VQmM(O8d
zF3(uCVY0bN{ThqNt=eJpH)|;y8wW>4M<-v4pS|JK$&-Oz+qH_1_sJH0K5Op2bpMY>
z-EFrwyb}Mo<?b4JE6aClFTFi-zvpuD867(Y&`4oi+`N~c{`~o~!E<-S?<f})ZEf#O
zn>Kw(-MMoos8t_r7<_lR-)ZA4_rk)$m|D-J{@b@~Iq~7);l-as#KfZB#rNL*`}CM$
zhKTlRi<`2^Z)K!cJ@>PIu0Qqfx~O$m%R)|ZZms`c$Efi6`T72+w5@S#YQjD~+v@u!
z`9da7=<A%R&z=>!gEGKh?hEc}5y`a+H+r4M9Ni6xvkyv5UCMB`Ja5n6Z?}I<e+V0?
z{T1tynVHGtpcl7ig`9{WsH$GJOil3RKcj`Q71O6ok+@a}+mw>JI&AHw*Ofm$Bnk>z
z*8JFzlA5Zj(pL8Rjf$_!lM@q_nH)glvIi3ka&Eo=ZS#?_sW8a0y{f;Z>~q_*@>|#6
z=yczifAi)|rUM`Pj(ham|J%VZ;nJm`r6sx6Sa-(ced|5}9mIUqul3P<a!28+MT?vm
zJlx#cu3Wj|VIVOj!9XK=d*0NZo}Lx@Z#I4_&6sCf{mmmec`-x$y~I~4X&aLsF0ol$
zR$(K@s4#Wv)L%R9T(}@`?fRp)m-}r#d4$+!fHv4Tu93KLH$G3MS?jmWl)HvuUvF$E
zez&FgU)R?AZ>MC7ickHw6tv3)x`&46|Bppe6TcXqN}qBpTRQGGXe~+Le@31L=ysM{
z{wMy_?f>*^;uh<+E!^({bai!^9QI3}e*M*|&v!*%A0MLvs9n7#IX5@=iWR7z&oBYB
zK)q!1{JY1bop+a(O<D%pV#6@u)vGMqwab>dF`Ss98O(FN^Xm0Sg8A{AH=oI=?~}DQ
zOS4@L+8(p0?o!sYbyFp8UDuD>lQHvM+WwB1H1&NS-*B(~C*l7`*wF9klP4SuD_5@U
z)XE2q#XB79mtVj9=&kEYO6vaeL>N9DVCFw@X{k5si+`M}BW07e>W1menUa2`Z=$k0
z7XzqGd|a+tCo8@+?|kNbIqR}D40rqWIhI<jy9EohNprCUn(C#$9Gz#*_(+=P&3QTZ
zZIq;&{Nft7%sty4LNmO)gZ#{d(oJ(K)S1p)`~I_LT6`Zv2WW%I^YTj27O|q@;;+x2
zx#pQ~>YG?@-BDAy-S>&n+nog;j~vjrn>TmvG+m`l`S<M@6?X32S#@iQW-v>`!_60y
za`odrelxW`edgQpi^cz(SeY0<R@glHSg~aBV&$}5cgtojJ$_k#&J@@nT9&Y^Te3sS
z-8XMu|M^qn>F*C}c%M9fzI^Szyea9|`d|Zz*Up3LgpC_72LA26^jJ3h?HhgbSFfM^
z5Zh>eY?YjJ*}1u8k7Tm<-`2dYrKk1R`^o9fQzuFm&p0}%!|-rUZQSiI=d-0jt8iY)
zGx%+ATf4s2vG1#3;kP+PZ`D_X-R=!_pE&QYkWl{Ix7&Q5oYt59`t@rOX!2~)eC^Ei
z>W>}U*WZkMR??Jzyib<N<vwfjw7l)HZZGq`rkX!`9R?kZ3J(o^nHd@yy6)=r-cM_8
z2_lWErEgt0S@h$#m;cNTzIyWG+KRr7tB$wLEna@tBKmE)_0wZr-fRAeMwM%?dcN4D
zM>6g8=UdC_VQHJe#eW0eq11QBr1M!Az*F!^zZgM#Ef^W<K24tgK>q)a_DkRXKeqqJ
z%<$n_biSehhl7g%2TRWN&$qJIvogH7x7S*y_WixR+qR2#N0)AUyxjh;CIe_~$&t<H
z?YJ2tHYT|`oqof8=39DL*tDlr;P%U(KQ&8B%)hwp-*EW(XGVr|bFG&zul;h-ecEe_
z-ugv%3J&u!H00ji=Biu$`K&p3Cxk3R_3x^Cdn!Nt{`=wg-x=ol^Q@<quC!TQrlPK%
zd~Ho+#O5?!DQRg&hIT&LqP6qDTR2_5H=p=Fd*kN)cLdIV%q{QfEzP-MS$@m5J`x-%
zi!SYNI=JA{wqH_lw_P4XlCA2Mr$y}9RaLtfI;svHI@T-A+5qahty;bM@Vt#>zrJLy
zT(|DpdoeDy=3mC&H*MOqWYsFKsHmtfe?Xf7Vq<kHD=VvJeKWRw`#eEcSNE5<Xvl31
zp?^voZ<lxV_V)J0u?T7!+1|6d-C4il&Yc*>UH4yPe@Wt)x^2fnzxd5r)2|xkMlbyR
z88ka*ta$p=DV^6AiHBM?)QV`|&D-5`>FpQpsoPdBxqWi=-znR-Yzb*PxWL5R{B=41
z%-rjcL6E2y-jlcG-CeccWaYADZuOZ#uCA>e7Pqgj`g!Npa;=|dZWTgDk>r|Ry~<*|
zvsd}b3)S$2e-*CTZ3frwSMAEPdqQo^-psLnJ7<3qD4?Q_x-P9>*|q%taqF}Xx6%?~
zp`{{2%rVgDPDfwNy1lvAUM<ed%$(RMtgiK3Ur(<uDl8%*<F~g5WY_Akt-4nwjzy>M
z{&+p-<|fzpZFPUE4qF__^4?Rq_S5a$=~s>3{@<K_zVDQA(vgl0`iCdJo@ZMf*6=R<
zSZiIN@!^!O^BAD#0(h5S0uBHCbz1sX>+6Qe<%ipN15?k<G(KLm+wal)u-e{BOpOiy
z+VU6s$HmQKVPZV~JIZu^^ly`EWovIGiZ%cI{M>rg{=lm2?A1K-c6YYKAFt9|{OVuP
z;(Z&x?Tk)dGdJ1!>z&N!f0k~#|8~yivyT=9^<CY!arSYY_&v#N>vP$zL6XT={sXCq
z@rKhfO4C8jtFG>D(6Wa;aqBDg#!1@O?U^!d+Np!h?1w+GH9M|cvu28<ahgX})h^Jk
zy`MFpmYVl8or(N*KOD~AM&G&dW&7=0KZTSo)rxy2CNBI@W9RAZJ$b43^jo*4W$`>-
zyLs}D?wX(9J|-S+J6dzIEh~Q0?CV<l@0LaCUjBFg-aS1~6BRUI|Fb42Bt+%x*|XE0
zX638Tx2vs+u-jas{?^EA`(^!*TkC@OcbDqHha<fHUIUNSMBalpCKva+T3T8L1qLqk
zUt@U}l8!cR%f8wN-R5F<tPe7@ap+iE#qTX1-=iPB-}Bk8HYRpo&CV^`wsA3d`uq3q
z+;<8kj9vcTSy}Zj=;r&fQ>NYBS(aM0v#*=&*;e=(+WTN%(5@Eo)-OY_v!-&odu8R$
z%z2HMjz3!YA2f}}kaBjGsn<)B50I|-!oPcVEm*K%`|3r-%3)>4B9w~SPeEHv-4|I_
zuh!rB>1R!%yizD=?b_M=I%b9)-|toXe%{z$y8qAN=bv5ozBr~cmu+6-ruDy_tl#Z=
zttVqqzz`c7yQAbKXzxVNRPAskhO~2YZf1Y&63Jf^ay&w*h`--jNl9tZX?Nr<`817>
zlO|32QZFthCbe&3^@5AH&OGi}QQq2TzfjF*254QWqN?iB_UtEi*2y}@)s)I(`XIg4
z>D^19TOoE<v1?BhzIAuS<z>Eyz4iBAxqbDe;PlV3J6vi#b8~gm&dg|pEIv(1O<lNV
z4NqxlDRWYh=mzs+ML9}E$DcwvOeL0&k$0PLRj?!NFX_g!*7H@c@ET7~&t>@~`(nNj
zSiR^8YM8pXxJ=2Y&1$;Jx0-X_ycvHiOI`>}nl#BE?Tp0IFaMHI`pi|ktyrG_t$crP
z?+oj5J<z!kpsg2@#%%s}KT{&+c}`XXol<doTdwilbD-sMQ>L_dPFB0Q&RMDE$HVrB
zZ8?(1dL)~#TnXWkG-3gD<lo)hUA;RC>WmV}SKEcx>|MKV9Up^1>8p^XC80`8f}P8=
z3U6-76mED|)^cs>_Sdf8d}kW5MsLe;tgg0ZYGm+(bb|l<d2WCG^PT$te;FE1o$|W;
zHskb`Jr3``wXd)L`})UI{rXN}b-x9R7c;+o`}W4hWOmRR<zv$MU%cjmI?Ej$9WOo|
z<qT`z(s||O<>lH-zl*P3yOyCLI)Crh>Df*nwKOyiSij%XoM6z=*T=UeVj~lHN%X5q
zF`Wp8{rCIlT9-e1U;n@QikaQdC&F*;>=drsFV8Ke^J3$!=#!^UA6~tFU)Q#6W*r=T
z^7egAO-u}+b&C4e`=EB~nb#IIfd*kKUMy?}9oGOlVPSRndcJ76U&WbkpI=^hp35{^
zY*yL3JC>l0CgCxKtU<xSh2QU%Kfbau*z4=-SFaA8n`_O;aR1k}?LL?7|NkjovSf*Z
zrKRNjx?h=B%B-xd3!hF6e>5w5onv@-c*I{NJo{(br>>uR{pQV;%kP(5_Vw`cI&^*i
zzpooMO`be?;-pDU>(=RAwurQC4)yNdx}V{}m6gGuGZw&(Ublnk^fcYWJBy$DB(J%2
z?}U}jpAUz3d^)8)an`J?U9r}$S6+E|sFgbcbXdiiTcFXKKI?Y}<o|tWU$N=TD}mMX
zCjQ*IB_j3xot?t>|9#tTm~la2$&w`xRxY2%#4yLUI_!R0R+g5SUQ9=VLC309t5$qk
zy=s*J4_o2;z2Do8F5mu3li|<L^YzE}RDK4nVq|a#3!7H={A;JMy3S)*Qh%~*+cvY#
zKMWHh7&PibGJmF@pC`MuclrD}tF)UNryYg$H5Y$!TeW_@IKw0&)@DuKoPPdQB{vrr
zOT(L6TfJReZr#59b&p)XyI$NL4JD<mTemVfEc2b6Cb|8@4y&8-&<&VV)k|!bzcsxz
z?fB!)uF@qDuUB4MxMN4e&hs;`9@ILUbz3X7{nq~a{R|U+etzD*RNkf{fZ@cAjme9z
zoji9=jN#KkcKIV~s{OwN8{hgB85ue4Cp0B>JYrPH(%b5P@8GYOC|hPO)TYmIbDH;8
z<A06Vk`^27D>;!XoZI;xet39TKv2f6M&jnpn-;~-c&@FD7T;WVE1BWb=g-N@>^~e}
z4*YsO<NUTg@Av)oIbHSh>GZ(Z*xom9azOo54i+W>K@(F`MSFXBUtizE(tpRy_c4NZ
zXfZIn-}hUOA>mL9CkI<|#rwVA85n$heHj`~PF81j2${1cNnG>Vzo_kbvghVlHotlE
zX2T3~6O$u%<IXlRvu~*XU)SMrBX;6OiM8p=`S$<5`<|iXy|-?>voo`om)Dfn2}iT$
z-_ZO$+28Kq-SYdrbLPm{d_H5Gcp6kl&zU15V_PLs{r%n5%irJK?M^=4m-y$$#~;`0
z|AwEg`W9kuy1DFa6vKf-t=zhwK_eR=yz|^k*)^RF_4f{zJvkw0>$}_d?ECN1&$iy`
zySfS7`+NH?c=7HZO1^WgLK#j(=kHxQ#V+rT1$c?o)ysVHb~+3y`ugWLy)(aGvzcMS
zvSrIwRBhR^#pUkS?a9aa7!_1iRh5*2K!;r{0rwbJg|2pS0WH<sur6(*u~+zA5|_vb
zTGsv9k&>2nYDeMYL+>u|eZ5nBo|6Hz-fiBu1I+v!2{qqK^S@sXxMg+o=FMMo*F%d~
zmrjOe>xjw!EEh^WTeW)KtEuKK+2>1obZ%?h)mi^)Q-VQ<WAnZ}joV?nfcQaM*fM3U
zt*yVN2gdCvVARyqoc5C8!x`iA2}ip`L2Jl9Zl3>_hvCDA!~BnTKA-0t8X9`z_D$v2
z^JdNJ>g(gX{EMOC`s<@hy{8{~WteqEL&m;NX0n>^p_iAJ7rwfp3EByL;?$`_@9yp{
zyjyzx;rjZ&+WUSy;#N^tKi)HUZmqz~d2{CUBp75!eXh8bz0E#(W7K&+*?ZORZO_cL
z4zIVAU`R<%fBb#_f7`r0ACGO=H0RiroZ6|I7!xin@w~CW-d;*t`tT)Z(4b{_Y^f+4
zuT%?Yi?(xkxcIt#zp_fo$`)<iD(c+EvvEze|M%dt+j4Ige7{?+Y-%bhU-N-6Z^uKn
z(^jAX1W*z=s;sHWnVXxNnAs;UDDdmh+=%&&PwtlAcQueWvcz-pA+^A>mm1%>GgR!2
z+w<$yYK8{y>3R!St>UWNFaP=3+08os)f@Y#Iw&moZ*6HQ2?~QwVf7C;)8{`t(8xT)
zs#J^N!R`D1%<k3yuZ`JJ!06sDchr2}N8ZDptM8?3-z#N3dG$unx|z(&%N~M~{kONb
zH)dVc>XEaRI^HMydgA<5tEbgIIKaqYFgJ#^L3`Z}CeX00yF2@;)vGsFeol+oQz7{M
zPO<-$C#xpjd$AlehTGNECBVb>@z?A1#YI!0<wuq4{2I1w{~LR&%WwSOn(m*Lni{z-
z{rS(;vl0)tJ)Bql?jXq3@&CWZ-`G*8d~Uvde=E1Ro9{8VOKL~^WUa-%@tiy1ukrTh
zwAJD3-3%m-oSA9N$WVT#ke#WK;neBVhd-&_+Il^X`+&`}g>$xC&n<gBVa}YM$jxbq
zXJ?sa<m9ki_}dfTd;U4|h1%&W+^WB2>`9u+TXKKtYNzVB58CVZG_6{t#c-gR-)_a0
zJpb>P<Nv-2p8-B_;Oq7H<7*-}Pk99|=*^A`uL+y1VQVNkZQeXShKm1xzvt>+)`{B_
zF~8&2>G*$5N4v$D8M?Z<bWX2byOx#VPSxwRUN5C`7iE2ZcJ{~B^>wTaKkj|smmVp`
zpcB7OhN0m1+wIAhm-+s9v-$j&RQdWphGx09TB7rIs^-kq3|_{-aIfaGZ-tGV&ulYZ
z27}sPB@7O}zPt>NPd;$Dptj#Bx$eaU#lyR8=7N0v${_oi&YOFCrDJ1bU%YyC=-b=d
zj0$i1PT#o`!{AU^X}N3Hu7X!rG;O|Ia6a|b@b!7EROXBN2F9Py=GO@)AMZQ5ulDzb
z{QGt(>FL_Xcd7q=sbBYz+qQ1~zF%6;&dpsN;tm?e05xt~UUcj44Dy_BU%zjj+|D~$
zGr#@6xjEhasia|&%MI@arR%oU-_|e)fETkHq*X21n0)-yg@w+n4L$Pqah7bixEt2k
zE!-mR%Q)fAojV&+h1Gm6OrL989k#M&bIH{`(3&jt`JqFHcHGVmV^@D$7{tCg_4D)d
z*SBv4?fidQ{On9%-^$4PFwN+tYZqQyAHV*2{N`u>H<y1iER22m_y4BH57V5~;?i}q
zHj24fv{=L$Ij#u2mU?oEn|+r|yU=x^V||mO{8q(YOAXALoVwTZNv^>}@5?)~F69Um
zc|5jQDc~2QUAWh23d1HTC2r-UwK_^x8#hIjy_(uBE8f3;{(bp3duPu4U3PA+wf=$6
z6Wun=uYPBF{&wZg_TQIMBlTuizPfVk&!0UL*76)SfTK+e$NFP*Z-uk`Ic)!jdDiUN
zfdK&ur9O{eTwI)ynd#{0$SC3p+EaM!*s%|D-`5=fGzXLn8N}|@O8$T6r(J1O{q4=c
zsoLQT47<zUZ!<UOtN(Mn{>X_F9J6N43W$i{*ngjY|NZ{1F0L)xwk6fn*ev`bTYjgp
ztBZ?)`~Bvg<)GGYKwzNampotnALq*VHE&Kozi8n?#;!#R7A#-@4M|vMPM)~cT(;wt
zftgv`vu9~6&5l26?50ea0&3po@B6td?)v>dXYW5a(8$ce)*K+hy1V@SHTi?$2eszA
z-kSEbQ+-~;{rBzXpHDs&nDFtrCX&~Cq(A*DIG)8+ez!FI*8Sp{x@-2G&^vV5-@bR=
zJh_t6(uI5X-VHp52r8b#24^lQ>g)4Q*N^v`pnJ<YV)MZlFEm744fhCN@<LbG_C6t1
zqAd{#2_AUEcTH3*b-GU1qLgS>6uHD{9H;Y|zyAOC{{N=6Oh}I8Ic(s~Qpc{1D%9g$
z(L5E|>_mxUs(TKeLUAn5W1;ir5uZPOnlOF(^U|%7$ItZ5HqU>w^ZC5PyGmbAm_Psh
zsdG8M)o;JmFHQL~dtF3DVE(Goii_cwSidtC-_XBz*zT<FnMae}Mx^fkyVPabqtk|;
z+hX4ILy}Hj#I^Dbr}Q3xHU)yVMNjl#*%+bIJL@T1*}s!V9)17w^E2p>yI)^lw?3KK
zB>wMQ#ntdLNo#-F>+AF9@BKRM;hc*XFSZydbv&ukdYfvUE-qYVm@ZWKdiuqSfjRg0
z$(G-%RR8q(^TxWrRWep3C$_v%pI_7DE?+AGlE~Zr)@)7mc0Pamzb1Bnzg*t(s_ykQ
z-9MkE@At|0{q1)Cab|v-2Km1)+%>n)=PlCgzig|fJN3u2pfi^`&&)Ug38WdDm2PuA
z(Q-+du=nq`+YAj07b=1p@H4|QZyK7IurRDxyH<3P@x8=p|BWiHhQCRY<zTsR{d&9l
z{2C+2dzUXaJ18`~zP^6;wU^h-w!dYZv)O3F`b++$rKN}d@Bi_LyQHM#!L_x~;Js(3
zK{J=fjvZ^+G|_{_*4FmL%a@*&b2dEMzW=YTS^mAA^LD?_6yzi&F$oI`SN#2Y{qnUs
zvlCl%Z@x)CZMbh|-wT+FBQ~#jpD<Nbs+Wl&e_a~KTc!>B_QiRed%_p@Rdjd6`x_gX
zo12?|d^)XPdh_b)@Q>%L-zWV3_EvLiwwu=5!gF1R_j%cumX=!7{xS&(J^JU5&8=Iv
z7#Q69WIQ##|M`5LnPFS*?Y3@l{iY5Bd;9)>|LR%}Kiu-7?DaL>E7z|--hAH9IWtqU
zs=8XR*Uix-AXL=Y*!ack*UrAazEQX0^-@;PFRUpRzG&D8NtPQQetLR(${%KjJVpnG
zjJ&+QsHmtF3l=npxGr29y*)@p$Z(2%*&B(g*RBOA2q^5o?|<~@(JyZ{pT9I!J6z}#
zFE4MPvvYIY{bjzhU!0j~JngOZ$*up@|DQP(J=NDvZ&7#XO`nBZ>)+lot$H>y-6K#W
zYG;w^*6rJ8Puslt`pNP|mI-aER*7)1a4^K~tGO8{cmG+izpZPdLjxB#_sb6t54*UC
z^txqUUl%LF!IJUx)YOs(2N<1aD_N>#?VenJcbe$L>WB5atKNPoeWkrIqQ}bGT2q8;
z;v$VD8eFYTimzV1S`?u(?ZUj^HSTV191OBH6#@3&e!X5V%pfHv_pL^!;P$+kve(ze
zF0TFkEwHfA@aNw;E*7Sc@Njo^|9K``W_$Vh`}<#hc6PRBpoo@+#)4_n#AeN&Ei5-X
z<<ZmDeQEnPb)7$RhUaIE9Ty8z+s~#BQ1Eeaah-Vn`Qn!^TO8f>pD*`NaRQCc)`@lQ
z&e&a6seQ|D&wa)Ti!?Zk=AU<Gc=7A&>t)YpPF(daYQC1Xw)czgemhQvs?S_uD|Pqo
z-H^~wP*8}tF1&Rs>h5!+?7om3p_%@7`aBo?i}3ll_3-JR^E_;(-#G>vCErr?)GJ8j
z=+z$*{a0r!NSyvUFSlTlA-D{9B6KUtDpB7wR(ehJ_B>M^ukNlc4XNH&spW5PrS5FF
zyQ6UN<EFdMKVJlOk#BFmbb6iL>TcQ9n@%2|duxk!_H*xv^EJvog3eB9`J?>GdZNsR
zOYyfiaJ4!)740_jpKImHZ~J9}<G*9l`4+#dEsqCnw7s`K?{w7B;4Sx3{zofDuV1!4
zwr|xcFH=*~X~z#gEI8CUJ$OxLhnKha$}L+$?871>JylgzgY1NRSKj`1=1oRcmY3#q
zm!hh&vT4`WL?&xozHlKyI-d7tMdd~Ivo)#DLDT(046k0jGWxN1_wLyY7q;czZYe3T
zws&0|sHLT4G^I1&S?%4Tx3{h;U-Gj_KR-{E0d&YEOQokLC*y*{?fl%io2nL8$HvMs
zE_i&r-+J5fhi2iA4JUWrTD(dNbcEivvd(YcLvkTu?XA1duj81{k>^G`r)1r!wUZY-
z+28*$qL))?=e)HQkPuE0QfQW5lbV`pVrl8=;xc*i<dCp1H-<0!-+ce_<;7FGUoVtv
zH=3H7x;`wJ!Ju;I;gvgge1e06UA7cBuGW>AJ$ttA?d_Mmm#oRDTz_keRs0k6uCRT}
zmbK}{?s8eRDkwW!n{ffVd`&<^_{3yC%Y^Xr2b<YB8MbcQ#&vRQm09jBmx&%NA)!mR
zZ8KwXIGAuDWL{4GDoe3?pJV%19yz3U+~rSxYwX^<uW#SHQDF#)i11)$W?r&NYvn4h
zzkmORL_}ol5Gd&?t(iG-qTs9<GZY@ow)VMfD7GW>{29Kt=MK!9Cs+H%y8K;?)4HXz
zF8}`a*7(W6D_5q>WB0S0&^ukcHbCXs$Cw=jjSLrVZO!%!z1os|>)C@JKXxpX(|^AF
z+qbgIR^Hy;yj9jmW6R>UeCqb7%dGi&HGE6i+bFJ9r#Ab2U%q~Qnfs&0PD@*R@v~=X
zuU@}4{&8FTE;kn!$AsP4*K*e#o2)Z=qx<bOQCqV_Wo@gbJbV7Uvm>LX=FS%X*$+ei
z3ro(w+vDl2yKhm2;r-J;&aGX0^ytx&Z*Ok0{7pIT&b!;tQRVt(NqulFKEsDGrJ%Vq
zBSXV+-Ce`LxHvzTCHK!R$;~)wY;En$AoNbeJFTv69>axMrrAD-C^^Ft^;=vo=0fVN
z#cLWJ4s2NyYg=}FPSJtBTeqT^5-Myidac_kIp6>K`uOcr)o;)4$>}>PKlx+6*2WE|
zH-`Ml4__Z$>%35aaY17vqjUA&zkgX8w6wHJW`Z(7T3Q+h!`qvi+oPhQI3g-a?s&1Q
z-=0(RaG9;Kbys&cCxfY(*`;p%eHk60HMM!gyY}pv)6jZd{7CXwtLBuMIeYfJXjU@x
zU$$@GJcfYy`1yL$5)ujwA+fQ!QT@|DUvA@-&UxK){kG=2O`jJ{jd%Ifo$*jq$ko+#
zOW|X;)7H1$-Q2!hm(O^cxpDs7xnE<-_utpIb>DUNYQ>~fqi-2+_y7O*dt241Gb{6Q
zg^)ve_es^rXm)mX-_j|P@||;zvrLRRpSB0mf-+*AaFF-fll{}w_n+7NnRNEe^Y6dE
ze&(0A^8wAIS06re>d5x|rPDnkZ+?o~I+OF#%lS`0Y1&msOnLr!cf0xi`>hZ8>19u!
zYI9X)a<2Z})VsgzV}E6dUprYf^QD^b>jDd(g9#Iw4l1-BPCWnR>mpli>vMA~omYpi
z_dBt9(<Y-?GiDSl-9IyCxAIvn{y8-Y!utAON-yv4>^OGp7zaaWSlFvguU=&_CH&+|
z)qk!oX^%*kg0-7JPS)A}==%PDrn0tGA@@V>?XBKkcSif}-8&CoxUN$>o$_X5_WgCd
zyOUqOs?R&VWT{wuU`kS&>UXW_Z*sPtvYq*H;)zNhfs<czj&*}8SG8aU%Pj|2=^mI<
z=W^fXRaUs#&RXrgE~idS`@YI|^=H?=D#7Wic6G@V?><=m>WU^)PkDI6$<((-ldC5t
zZ>n0d`%TilgsGjS`T6VhUcY_&)hAy6*5=L1V%-<n<!c<?zJ2@a@vM*H2UkA(l5{(v
z^zwewExgSSA0|r4%c~#w@$TM_sy%b&r~J(kFP~X9_s^p#@gH}cE_!)Ml}Rk_?}CR@
z-{sxAIJ1veR<c^`GTZ9ghM6mmhKtOc5qWa&Db<-fjw@T)30d}Y!rH2v84~U!{1v-&
zM16kEq!0fuUJPV#$jsDac<}G{dv*p;H{K=XCv(H~xN2U8f=^F8k0coi2qtZuk-58T
z5d*`zxV@`R+x`Dj%&&X8*G!z*&obfYg$n`<3Nn1$C-*w29pBVATc-H+|B}M{wci;*
zgXf7B-yXKhGcml|`#p}KXyd(&$)LVEQzJv!n;Q>%H_2^HPe0xzs{P?ca{t2BtGR`R
zg&7(?KR;i+?D^gD`@9Ecu%G<D-AOGjZi3hUx`(ae44~=TLlc$V85nYNbEiGsJ7@m8
zozLZNTTR~Bz1wHEU&oW_t5!Lcs&3A@s>N{NdVKxb(|a!c-FRG%nE^C}e;hQ5u2_3%
z;%cLBHSeqMGc$bo{@r_PqWi92^T8o!KKaBCJ=txidiwp6n>^O(e}h&GJJjaN@4O^u
zIBU+FEBD!NT)gP$;^N*fr^*l#6y#J}Tg&;rYFEiip|4-RzATT(=nv2AH$Hpr+$(tn
zuWO;zdsc4UIyEG8sfWs<|6lEP<`_t*FtqVAAG!TdWpeK2Ree5*SNE-{cd2<kg*hxF
zG*tD-ZBM=I=`&;0j;DM+=A{>W&9`so*ZtzZW}SRwUvu&P{q^-fk`fXe{(o>yPgfV*
z*}XNxa($9k(7986y3yM%eE6{89rN2{r?`89S>GnE{$W$lHPdI$o(tFYo|S#PxMIy3
zm4t`MK56o$o%xqf|J3}a93C}SSXg+O{LZ4T-9Ed^>I6^f3$9wddgb=*;q~V?q}_gY
zb~b0kk6%06!gsA+wQB$2ja#-%sj99PzV}tC(`Ci__5E2{StT>Ych1t8yixt%Vf(#%
z_j1br%go9u+H!Nv-;%HP+mkN^b+6ZmJM-OW-)F6NCp&ujl{%hOnLR!V?iozhY~b0a
zl<@l6+F$#(-oLdqTUcz`t?OZL>s(xXeSO&~ot>LsGQGJP9&bA3?zY_7nKys%Zh7+9
zh}&+a+2*|&Q*N?s{M_I1-la(4=N;|vbpjhc*lqg3&7i$gdiR+pMwV)`&BKajZpte<
z)BAt#rRzRo-ABLZtIhtKm6fF-*1fY29C)un*3Xp<v%9ggc)9l9vrjH&OaV1mW?uJu
zFDBMIUHq5T(K~u}Qpfw{ulJXhmrM5@-~RIHACX?Sl`B?wWc(2Tw+ZV6Gmq<;`Tfe;
z|D^v$#X{?ghvaw2)qHS#xNFaeP~({^Y*(#%)xU4|R!iZ(`d7iZlx6+1>cIPzqTf?o
zj=4|#<x*rj`(qNg^gSu!z-Aut{MoY=OP98CadCMBie%;FEb&lD(y%u&a`N@{1y%ob
z`{)0uvkwgk3CPaY?(OdvzIcc=CpcJGv&*T`p`q;ky|wi#ulihPX6FkqkWg_A%sGAT
z+_@mo>8ux7m$z=d+vLCHY>vKEsvgIiKgy4+C(3x(h5tU3Q(If>WQh`dk#kdvA;GsQ
zM@MY&xpRJ8txi?-{H;z`Zr)rO|6zA8A{3L8lR>Sbg9#IA?Bu6TnG)dc?tZ8}KIm-b
zqE>yU{F|FvMO+s)H8I`VU9RuCIFL!`{`}0+eIB3$stHP<GiJ_IOn7)sYc>CiCCPP4
zQ9E9*Te#5id$G57cjkYQ&fPw{!|DWck85r}KiAqFwA(W>(z9#Pg!9iAUtJv@92|UO
z`eO;$S^(j{*X#dIe`&e$)w+eNw7!1%a^cz8*`?MZt_uS+T<rfm<mY|6eAeo)eF9tE
zLqlJ^dw1=2xJc`vhX!+PDuYfu^ZBwr<hY7tz0R~BRu8Y%_^Z6L)_*jw=fn?<sQDi2
z(zWBjjdFvTOeYSoX&+v)$>84RbbiJK>(=QhT5kRlp|$Z`sP&fPp|4-P+O)Q-Pki5{
zcNeS*9yFv%?#oD@X1vo%&G4mrN=*tl!V`}e-cInn?Y>Up81Lf6ivvWCeqiL&h8n|a
zEm!}iu;$mx<vU7Wi{;(f(Fi)@_V@Sq><l))UM!BhtUWWNw)FEe-#y>&RWmfG&#O4(
zd{!du<pl0zp~;mMP%BRIRMziEHf;o*e#kAoiAUK#E>4c2fX~op+QnZ<Mxmjh64KJn
zb#--Zrl00jNJ~pe`RtFG8#C>=T3h74h~DmxI#Ugu(x8SV9s$ieK0Q5MIHiVN`>|!$
zB8R{!IjavEoSt{^pkvOxJ(33#1iBV2*s?`LR#sL*N-9cd_UZ%XkIyRi+ccTquL)kE
zbJ*atc&^Nb-@2kH$K1iKItew?AADgDCY)r%6ykr#i>_+=2R4im8?mEo*>Q36E`-NV
z*YdvlZ)sNeI)%sgOO77ut_oiJ_}SUn74LRF-;j6L>dEux&qK}?${V!*ePsJ4*l=3+
z{At~D!*t4jOG2FSK2k(_4Nr2p;gnA9rJtXlSJv0(e|>$u_@s2MeI6xg|Ns33ozW%O
z=_1g5H0FA;SoYcfm6eqhuh(wpdEV34r#3~<QRRAYrv7cq-7_|HTTbqX-rv*Lm-PGF
z+Z~_JSx=llzyIs&>yIxibY6EW!e`^ejkCe6j<&=ZchUoMHV6rJXxz?9>3y14uV;WX
zQZg~?-+s_YidfQAuh_DUd@M{aUcWXzQC(Ffz`>&Px@2|#?Qaa{A|-Exzg)g+7pU|)
ze&>!%(nbl;6bNX%Wa;#{Q(bm5XXS6s{azFwj_%*dxm$Xt{rXj<XgS&1WpN+_=y3iy
zLAGV!N}P?I{o~W=@vk<m4qyLhZuz}~-`?I1&br<ca_jLN(e~P@b+2B%D){v!bH%Ez
zpFb<NY~9Mp&?jR#DfR57(?wfh{+p&XFMq?o=k@>8|2@+G#{?S42aPoSIXV9iXWiG;
z@v2iQKb=&cIDLBi@Av!f7ySGC{eJ(RJvN}52X>u#vvEIYbnU`I=ZXi7>;<=Tw?Eu=
zJMS=PBnmV>W}bh~M`QKe`me7-|6Gm#D+)Tf_s>Q7zk>h%z5g%A@WKB7XM50U`@-LE
zw?76=jnw`7Jb(A5yRSaF81Gd3{p<DmkJsz}Uf%(_9pP<$z4Uq8?{hBv%zGoAsV!~s
zQZ&E%)8q4H#~-DJua7(0U;iiBR{#Ge{r^UZ#i#nBx92^4+;7ju@aN_He=8T?>8=re
z>F&2J`^1sExpucsGA?;izy0rVEpd~XKJuHowjK-iw`FCpsQR)(?>A@`@ko;4-x(db
ziwsLa!y57Re@(x=zrTL};%}gVHqgOmkMIBgd!KjLl1Z22Yd*4q4kEl$b~|^+<34Nf
zp_bw6<3#J$SYJ-wH*@`(N1s88BQ_?nf&<|F|9|Tjt^>sxXl@+T@H#3UFHs`$QW`X$
z`tQy8e>~go*I9!G0`u-#{ds%;-`a(H_4oe~0<G6Qc>ZL^k=QM<yZ4l4JqMkA{Qr0T
zfByTwu5AZxW;y=i)KqP@xpyaZe_q>jch9;<rJ|5A)Xf|_YJM82{%4pF%^*={H@_dW
zns55fqNiM<;^M*#QW6puo`O45US3`qd3omomba~16%rhrd`pahtNpM@_fekb`FD3+
z4fu9tW$>2^&is;3^7njf%f9XUq|9pXr&HS7o>ynq7e)JR>->}Q_vw=9vDSW8H?{_b
zgt%PHxN_;d)ZxR2SsI)cPM83RiIq3<rY7foy6C6(xL*6tH~HN%Q{OuKZB$dz($!sh
z=~B?&h}2ZosZ*wS{PZzdmUr8D^Wv2&HJ8Q+oqT!oW@OanwBCh2&d$xbHKv;kpUwVx
z>Ky2_Ar*!zSFfgis4g!zXIzkbdmHD=8F$Rf-rh>R`R!P*^vhFIwOv3XU@KRwI1!+>
zk9X#d?rquO{T|jI=h#+HW4Lf`t~KxRH|I86=RJQNGc(`yP2c~IyH4HRGlBEB>-A7b
zJ#*#}YeS*_)z`e&o;^#OHEWjAqSkKPw~IFK+-bS+&VvUEj0?KDxMH^zK6d-`v&O{C
zEG@t$Zuz-$eoPLnt*s^o1`exMO<J|;%KiKPt*xzX-7#<f_|7&9R1s1P4PCi*Z7)NB
zfrQCa`yUUQFKyesQ((o)l?%P6>rGs>>dLKKS+}-@f9u}zG-dV)|7-DiH44>h)~xAK
zQ&;co$S5kBbn4V84u-AUw_9H;{_wz&$zko<wN6F)pM1B-cizx@d_N>9ar$$mf7=he
z{^zW6zkN=UY<yZuN{gDB8h9x0!q)T9esYbSJmUh;Fa<N{+7Zs3)3W^D-`;+H0()?9
zaFv|JPX+1ZeI92X?<{!8#JFH<_Vr1tR&gHp^77(f=<V;9epUEN+Sb;#YG=RQFOU9<
zSFVV(9!_L(VCR!jP+EjCez7dpdVj~0>Bqw3YhAOiuUi_Rk@D-f_;Sl*E9XCbRr5N<
zeEsTa&vtb|3gO5-43akzeBr|hJjb^jeev<}@s~F?CbKlmtN&LSeDrZCSF00?%Dtrv
z7v5bfSl_sC?)umT0)nyo>+Xihaj-1OEiG0oczB34*38^I9TJvPJ%c_rzS+2N;X;<3
zW#v(ol{**D+q!itO9N=jnTo&rzR0i2g11xu%=XfG^T|f^fA!t^jwin-U<@@doIP_U
z;?;wc*^~9}Y)MaRFS{O{oUFVTv~3~c==JAj%TJ#^&B?&a&#!)E_0z`5{F@A)bsw>r
z`Ri8|lS6H7?XH}Jga(Fy($cM&wtltFyM+zn(tB^-jAUAH|Ky&;!)&*$9)B%^cMFsj
zy?mLerKPo~SK2)4-p#z{)w>_>w7K7PV=mA7)fKUj=KSFlaRp}SHSPTJ%TAs0;$mU?
z#U#S;^KYH=&DYo0gGMq|?AbHt)albJSFJh~^s!>@pE`R+gFC7&TRzMXX9yBG`l)7n
zk@}t+E`pk~^L`t<TA9sV)2I6T)EWP@BT0sze%3ts{4=Aj?p`2hY$0Zg{LYWv*MDjR
zU0eJA^3wG_@{>ACEo7D@7<e2^m~iOfhV)-m7w1itO+Pnh;nmgQ>Q5pgBPD%(e0E&A
z@3Zdi(Tu6=H|0K0dYbpkT=3$J8xo8QPMz|K4U3KSWq5IBrtz|`7GHT?1BH^3zg<4Y
z3LavBBpvaK=F+=P78%dKDf|6r&7tQ{o!)icIQv>FE*vt9Xt0wt;ZDNWFUsM+zrR1e
zul9GryE~RK`|E5UM(BtcPnkb^_Tl$+->r`%8J;<J?veTapS+->Q>#}BJr?{ZuUGg>
zSM?ugIrXYlkAC0(Z};i*XW6H53b*@bd{Gj99lN_MF)xp=xVZSn*6i?GrIRzypXvi0
zJ-7eo+58U&+2ujU#i^>Q?x^^<=<V@M)2#A-fB(M!e{D#3_~Sb}i+?<s><?NNkeHIf
zvM_+7-{w<?c5L3=T~8y9o!#+3q<sA?(X;FQ?f;4}_}E`sBFMqQz+j$t$3W(CN?iZ(
zm&Z=#!TosV(Sggn*H8uuCcb5j@b>0jbW!8qyZ8V2WMyT4yjs2f!{qsYj%=I@I(?X-
z;L#Dz!yEbS{|GP?yx;qMm!YDnh$~}5i@sU?zn{<NZJ)gQ+jFD&HJ>~W{daeFXJlBq
zbm_L|yu7@O42K?Wm~e+X<#*t+!pYC`{?6A+`8C03P5GM}jSdP84hjvj)@2oo*SNpE
zd2?gZQ7)TrH<Ce9-$#zHFg*D4^YgrymEZ4{GaEc}{PchAi7zvzV;@eK`>So+$Fh%)
zTm>dR<!5+@F|yG2_0LE7|Aq_??*DsxpXd0m-@h3drcRyeWYsz8-JRl1v#*ElS(gN9
z(2H@#?Nf57UJ_6(QdCwJ_FuxeXzu&{|Lqv>@44(18v55+=H&YWUUv5Xl3D)#{rl@U
z2OAsPmwv&Lva+ao@5A1;d|MHpovpocmDfZMmwFqMopv*~8Ryn7n{ZKEf=7tKs`}fS
zg?sKAu3h)TJxE<${cE{XSxL!_R}rD1slO`LPmQ^zXS~zLUT9;ii(c?G-+8+s;|D3f
zCd`iLp7vR5nbOlWZ*FW#<>uw*e{J{T_3O`n3KKT>#~gj`xb66!l%26>-ac9!7#Zn#
z;Lzh&Y4Ur!@-MH<m$9vy($Kp8!1u3TRrf6ad}*oomFw4+@4s(~bqpaeuJ&svlY^_P
zYss%KnS0M2Jm{#UrKNP>5BIz7%6(5uMc1!}gw%{X%pRYuBWBN<_2uZ&Z`m0c209jt
zFRs{^U|aiZi{5oTJ}z!<VZCRQ&i5Zp`W4=Dw$9Yl^w;&Sv**gS%bj-r=>DI3d)wL1
z+>Ir-=WC{X>Ds@*$1bnj=lB0>YomEnudR#Co}C`PE=Doop>6p`X_c@d^Rk&IU4Ktp
z@m8to#FWy>&-4DgpSmy2=%U>dvulf<?&(??ytk|@;%CD1b92{yF`w+dI1p6nr^Z?D
zjkcJaye}9OG=+bD6#k7UFW>&KqGq;It@H1KiFf@!Z{BwCg-KlpsEuU3zhg_X`0R?1
zP~RId-v4rMZP8TZpYuvgQh(Fldk@e&&z5Z>wRG7swIGpJrbdRh_x48rUzJre_w3oT
zznV-X-{!SGd-jaw=;YF_qe)k8-t=4;(DA3v9yG}X?to|RY)p72uwMKGJD<#g1Otz*
zMG?33Z<j55dtSt->MXd&Z!9VzBGGqS_VPb_b8~lHUEPp?0Eezc0m;eAu1bQp%eLyX
zU%!4`eahxZyEmTp(Yw{}k}H1EIV}CAP5I;c^<TDXX<ur;b1Z7hoN&X^RoBn;ZQN*>
zm6r!9X6@$pdwF@SSiHD-UHtxcUiI2PzkD&t#pvaOrZYbN@#+2PXSlt)|Ja!`Jd6uM
zSBI(oxVXl5;yy<g6ZojcirevlfsSj}t~If<TQ|MiMd`|g3k!blT)On=min$EvCCq$
z_jhblo^|{B`uOF|?EFEluC7gX?EG>jH51OPd>1n#f9{)SD8Xxxx8d2}L}zHn_o-xB
z;o{no)4q20f4^LQ@$#i(c)0kj+qY$(p1G8~@`zRVTTr*{!<AtFh3nSw$=ClW+;)}m
zLGSu|)$eUhOie+nseT;QuS<+lo4T<R(n3g-XgeuaSy{QG=4VmUnalk#hG&A3N=ih!
z7D?EZB&()Rlk--+wlm@Q<9_=-P|3PI@9v>qY4Z>7cE3;h|L-qDgS&jKNp_X$<W=kQ
z?(OOPey^IJ;lmMO|B4lokOuT&1D?sNKgh1(%P5z;d2rvU*dKa^Z6|rx9J{n?l~zx0
zucE!Z{b8v}|2@6Dyu8ceRs8i%Ckt=B^8nrezhSt$xzu%9Nu-HJ*Q8w086ppU82aQH
zSXgwtdzZ(<&;R&Xuk??1<@>vrEmQmRWx0JUw6o4%_knrO&u6opQYF)N9^82zJY08J
z#}%_n&iF%i4WyY0C*=-FqYLR_?YL*pI&u26@UNh}bysF*o_VvQ^0OM~7Cq2<gP%Wt
zu6uK4Tm7cH|AO3)?caHaJ$UWm?tPQ=cJR;GJm*hRTK2ZL=gWTk<n`S5Zq4~U>G5OP
zH{PH=d!&`lYTmH8BPn8$_3!WRm)GC_$4F@+N7BX!Dbv%uZ~jc~jIpi%XY=XPrww&~
zs}w7jJ*a!t6JC2%=i03QpFe#9?PHQWCn+oItD)TFv2OXLxNXH{h8w5UZk0IJhhxD+
zj@7S4vDV&=InTcbeR>+S=_ub!yOU4UPOFAXwt;%`k+~bvgp`;BQ=@z596e*7zyGfp
zLqbMI$KUCUZEbA~3|qHubt*b$9dtH-{jaXrHO!3+zkdDV`802y919cUX{)=h9&fX4
zC=P3T`f7E|%-~h4SA)u+GiT2#igiEi*5Bvg?#>=p^-}e8anMWYoi1ug8)80LhkvTn
ze6Y;Fiu3rSM2WV<X?%MQo_fM_F+&8rqB1>l^3%pL#i;mreU<bgcCfXe3iaSY$C{r{
zr|)|6>gsCHw(AYGzrRhnWvV>&n??H3#Q4<dyLMU4v8$C@wJNEuPA)e$m!Uz~y)R<k
z<d^$)%y{@GEv4|XI%MR;XD6iR7oa6$UDlJ8ovkUrG2#CE<&PdEReige4(b<iK4lPK
zm^FL$;^p(Ix|kXnM8(7|Jv`jr*`XoTdud(lZVdsB3#X=PzdX>$+_vq}>x|6Ig-uON
zK_ac&^6q*~^f(fr_tV_i*x7D=KT~6aqrK9iojWbHG&B_EpLf4}`SKyV3$L#4D0?gQ
z_V)JvuI}!W@4p8t2rSsO%gU<q(~^R@M&GhJjwNMebVx}_efb5Nf=xd+r*O+@ue_)E
zn?Hr6PVVo1krZkcobfh(cUkYe%4d>6BCTQTVm#lzeY@=Gn>VGO=4SBCShz}ym5Gtb
zVY+^N*_7&w;jTqKSIX4?@6y#)`hMtt+1FbyUtbAN+9*+4Ru-foqU0Lr5h%jd>U8Dm
zRo9IXIty)=NA&mf2ryVxd{|KT=Iix%bp{g~n>Rlr9&EEUwstudtzT4CRW-{j|DI3R
zq5wxn#;senT)1;*&W9T+pjol4U6z7@<>ls~p`n2a0t&8yE4FPjI~bo=QaVYn^L(J6
z)u}U<D{nk8nRnvc*Hx>8KyB;-ovZsEex0$q{C!;1&Z5+&bt|8_st7GScFgU#oyw!@
zM@{NeFHcvhuoM^W{9e4h*67~+mFr%={k6nH?#->O-3$S)uB{LMbaintIqWWbYjk7c
zD*2$3`GG%v^?_2^KF8={wKq$v_8wfNt8=DK+C0x^#uJmD;OZD<m4QUhrd5kqtms&D
zF~iAn^U+7==2~+yl$MrCzIplXof^ZI+}mcF_A2@_X3d%<BfiGytJO{KCwgKZ?dP9&
z2i=9S^|Y7XE{pBjvup0G^xeIwY@f)_&Lr{q;c=C&C+rvP6F$kP{da5krvMEVmG7I@
z-+CIMwe9%t>$#DuE4r@Dep9cV^7`tRt)~M+Lsu?acI;Dyg^b@0gW@hz!NAN+&8gF-
zy*jR?t-W%|5|>ly(4iQm$GNL4ZLO`nv#+f&oRXQ5v7vW;8+htAZC_C6RJqD0g3<Lm
zuU<V@r}WX%%f)@B&F5SHKR)h!6I1`~O(c_pb@@9Jna`{AkNw{xQCw>m?`3zT!)<X$
zNJxr>{ytsF{d&iKYD@1EIoPY4_P5bv-TdXZ)J^M`ZCWS(a&lQ^!P8TsT6%hF3?>E!
z3r_$3{hO0v>Xa#<WU$b$H|Gqm(uc3Ipz1<}X-Q@C*5%9FK?hVzg7!@QVoJ!$>N@n$
zfYIZJ_EIy>yjxp3l_qkmT;-LUo6FMBba27SKL^?6O(d3XwM1F=;Pd{U*Rw;d+$;^(
z*2Q|STBRnVt*NQVU}9&d_q6-THduH4uKx3Lb3s%7;a{z8YD;%NgAGr#?%Jl|dF}kE
z_Ozniu6uoOtch5i`|j4&<Z_*<bL=ZVC@?O#b}dYCr+BUDRhe#kHOS~eGHCQ*UEKCx
zWo2bT3|cxmOBx#)gF-=bYXAP#Y3b;g#H3gpwc2;)#0d^xA0L4aXJboVN^pZa#3w3d
zqYWcCn8n3?aWsz46rZ^|Z0(}O?){hk{IL-f?CtM={jX^C>bZZ7il=n+g}tqMTfh9D
zrt$T9#5#v%^)o!T=2uug6B8G|d~<WUaNp8d;-Io1IWseJ<-#=`@#3fdOwEn&dUP~K
z=kocxzYd(4pLhMMUu}>HKN~wcr^lY|(#OYoL4DYqoHN(X-<%;m=fP`hP?co}in!3<
z-AlIp=twUso5rAWr*WZg$H%AZ<M-!j^RqCqEoQiI;X*)D%<jnx_w2b7aIFWk7r%hL
zrz$g}{%l@O&JywXnu`n8=j`?ScIueY%%49inH;jOt=YKsw4Yw_M(ybBv(1bful;M~
z7B89ktz%v&I2L?Vp08c8cC9Ky+wriqPvX8@O-U)%`8T7dKDe_rwr}a9`rTD`UrBSd
za(L`Xc5~ictoASIyyi6*7h_{%mWFR{ZaVAg>aytAl%+3io}BBqui)~$nX=$)6B`%j
zci@ont&b75o960F1}!+ba3*|~-246i_c`{5ly2P|pVlXI@#3o3)ya9eMX%;BD*pTB
zi;1YH=*45b(z@@f{I}+-Og=Tk+QK5kVp>*Q&W#NR%XE76wI5wSYE++kd-|dZL-E}&
zpKr1=_^dwh&#t&7{%Xln*<F_8Tgcnj&FPc1c4K()^Z9)9DW_X^9^~A&FB#PNP<EJQ
z9wF*_QQdO&{QK|y15T{bmE5W3{qOXWo7Pj_s6E)Y(U8eu>eQ*b*6i9fi($sT?kk;7
zww;46Q~2Nt9ZXnt{bbzD2pPMY8Cu%fU%yYEIn{9UX+OP97UkeTcC`9CxyDE3`Pq)6
zNl!liJn{VV%krk1CsW^UnzVdY@}{>-cdv>5zuY^1|NZ<`(`V)xZRBe|EW*R4DZvwD
zA@dEqSYVTL${t_S<y);^t@(7|B)ieaPfqdL@i$*ST)OV0(M(WTV;w(3)_eMY*XLEa
zhY#iPPRNS?Qgp`jbMPv=DKDM<>SBF9hi|LZ?DDDKG^zUP`L{I*rg|sVy>|VzBtuR>
zH%BJ##)d}Fn9QC%b5^Zd<@5T?w>t_<@%KT)89jmuXQkKNT6Ey0`1*i#J_lUx`|LP;
z_^^qconOPp*tkVAwu*KiebLNsx8U2ivcDIn{NRjV7N=gFnzYdN)hiKw?cHmhZ0au7
z|Ln*j`2U2S%Vp3)kv#Jsesir{8$RlP4=ak?edbBrlNoE|Uh3_hVIGm1boch{)u*ef
zt8Fh|@Ba4YO@UN?@Y$C~w;jxSx;iI!!>KcY-I>i(J#yAv|Kxs5Zsxv;?+mAFe4gD@
zRu_Bbv-rhJcN4y@n!h{pvhc~Zujl?+;v*-Zd*|lPs;^m~@!inXVS#~x6CXZqN-KNv
zh)o;WkD;NVEDfM-Rcj`M3valptRiieQ?Mrd@tK*%EDf(-zy3OXr@U=d$O*APX_Iv^
zJDm=g>pz*k_WH@VnGqr)A_5yeM9lpbw=_a0Evxxk_?sW%U;KT2D~lE;hTdCkwzgzK
zq)FE`O{MZ`MYYMF(=x<4PsZnNopkzEs@n9EhURq>R~}!zr|fmT{uk59nf;>QzJHf~
zbwRHEvYtjtlC8bHf1^VKQ=`M7xrr}NmCpS3=1s@(9B`5dXHj{6@WO=&6ZpZ48N>Fi
zTC+yQ;f*Nc$``YACeK{#QnDrM`m2atf7d6PUhh7myYfqKN&illmA?(99=|pD@2(lo
z^%uSQb%{&=S<=k9ccJrp+|y#;hs^hp6A;Y3y{(tw!p7v|FFrgx%+gTy_SVxIdCQ)&
z2|_FS9)`?&3AR;VG#I(#PrP~k+Pk9t;!^MFE7q^qfB23`U;V)k_oHg+>R-F>_x17Z
zg)DoR{_yzX*b_f%>@H7V)IDj<>uI{t85I=~^^vvl@$!sG<-2EIeVwx2M`z1f)wh8&
zZ{Cdjd-U(gf7j#|X65FphK6bib-t*V^wZ0Jo<EaYc&6FiIFE`}pLe%@x*sW5vdnMW
z7T{NBa>@(m@`)bM@`-*^W@hGJ?S@v?)}1F}*SMap6b+tO6js*Jvwh{WEjQiQJ^Fk=
zGYy)_j@CP@+P>ZVA#;$gukXB<&@fe*bb52i&-<%)-dpE8vFN2-ac9u?#6Rsbw`?p)
zN;>rAu#X=oF@`Uz)$9^4-sofheU-o3<Ey*k)cEh!|F31*R~f!))v79;N%z;zdb`t+
zWgk*;)VZ&6<?g%saf<8J9;}VtE_Ew%cUkTsC51Z0l&i-+K0f|6`R?7j>;5LBW`D{D
z4N<%j-572n23skyvL7_;;vD&Q{g;!eZ~x?qpH4}+RZ^|^P}FE=_H%i``<+i5KJB~}
zYhSnDKCv)UwLBSZp~=Vn;lE~`Oxif(pK1K&cwb-Mqe+I>H;U;#5A~V*YU}31r`SJ&
znnAL?ZkcCinNF*G`z6oqVnyY`^>f#Ugo2K)^tRn|>8g*Km3!w450&ZZFF)<~cz5%v
zdi1eXF}se(EV@!F0a-WU;cvZP@7qu9%lkx*uHG53Wq$Ql^~r*<*R8Lr&tkur5ptgc
zGX7&0%gxQ5d!2LU9O)EjRq4rc;sBer;KdUsI804V0}~S!fBvoe^!slJeB@x>f(hZm
zAO8Ig`vO}FaOaN9)-78=t!K?H&{AHJP8Xq5u=Nl#`Xi-pO|J@H8|8X^eSG<ACg;Cc
z)-kk~NE>|<>O86>)f<Gm%!2pY8F%>T%Z+JUKW~rKIV+HR`R$>L+9^fX&)F;O6F%Aa
zq<E|Tg=<LTER&NrRVJ%WzZz+F{LYX2+O=y>9ZNEN_2$iz0F5QzzXxcz%$+;;*Rkf?
zkRdz2ueWY08r`ch{O{xMe|eg2v<GB0^WN(3K_*hF3?e*ivggG+!OK-*Lc!}9z6OBS
zGZY-Uek1tmRWJXGUz<AmHdRjJ``>-;t5W5BuXvyDGgePr#jiY(!_>s&MeT~EOOJ-2
z#LEniJ@czCA|mGO*|RJ<IW207ZFMi-xs!7{Z`m`pNN9PmkMYC>wrn-e)P)Ic-^Bfv
zm;W;K+2*18{QH}m&I~J7ulDvhr(-+KYfbT0zPEv=cJ11gvwG3w)%%hp^dJ05d-I_5
z@1vIW?<Lw2XT%)OY5p3WP=YcXk`gK1_Ho|Di-8(lO$8P@D#VYgaPLc+QF8F-*@%O$
ztJogcBuKO+8oA$-e;48VVBPL_hYq#nyqi3IIy-~r>(y788F+blEeapC<VtGac`<Qa
z)y$=x;g;tOe6k{X?;@{}NRnvVm}a@w-1XYm({p3awfn?DYD?))pFS1*{PdLNW|z*(
zN0MEODx%KA#!)hJwS&JJc?+KtZ#&7$#?F56?%m#p4-@a~C}h6>_gy*YPP_U4zAWFf
z^OS+lxs7wK@hiRl_0&)Axw9HLTqKTZi~YqIXPJ564PO|A8&+EOd1;<LJKOx@o#OL}
zcXySZIDh{7ZI7*cOJ2^-oYp0~v#Y26vM9IyE8nertLtWP7swl=TmC$H=336}`ES3?
zyd$xHI@ir_s>hF8i*@T){soT{ok>c(c<11*`u}x%{(L&!;iA-WG$}JTd!_!aH*Ze2
zynTLtzI$Ap+_m-b`YPu|ylvmbJqWco>E8P6|DHWId%j+aZYy?kcNad@p)l$7$}Q91
z&WZKWNsZTS+n8KZB653s{_(lx_d5UlsaX@hU#^``)<}1D-@c6N=YkY&|J*yJX6KZg
zjn2#b_0lU~jyd?5H%y61urgNnUfu6ph65Ka1UN~r+%{dWRx%rP_@#VxoklmI@t0)M
z#$Qe*b*ira4;~YV)X|w`9kKYL2E&7g?ega~srjtR5MT85>sO~Dwek<E<Zm6VI^HKM
zAtQ5SdVJl=)9d2)c9q|&WWT*V-+yJSaZqM|ahS}v(6W`QS08?PdHKRsTF;(8zj*B$
z8-qpBla8mBGv9T0OP<Sj6Em+ZvOM&<9@Mi)6yu$)AHVF0JVOz8L(Av&vAf-Ve|x+5
z(W9hKzyFGGu&h|Ot`9Wr7&`yv`89hhZf?!K{$ghOJVn<)&{mBr_wK!0u|75$v=Mai
zty@uCEKE<n|6aLc#|+RBe7lOCc5Rry$L&g*V0_fgb${!z>^u>?6dW4L#lpnWpclXI
zjYfa|=atLnEpku*O-z^k_>ici)aAB#OZIg=E*2)x_6N`^sfA}3E>z6Q$hh$J?v_kp
z(3$r)^o{<NMu)k)YyE%soA~lNiSDB-HgBHnv`|2^%c*NofQHDTb?fxHjwW%wwLDst
zlG4I(;b1fS*W~s4|5-6Ec=#|eaen8qE4kHaWgR``aZkR0#;Nb^nJEHZjh2;}xp3!B
z%iBMWDH9q}IobQT%&O~I<f?z=QvNB=qe4SD88o|+ET(1M|4?=2?(TB^wJ|%59IuCb
zRubwANKRgyEHCu&b<(W;n_hYg?wQlwdF1!b+jf%g&(EAG`RQkk2nUPL@rfvdR&9^V
zYJ*hx%ii8{WmvIj(V>DmS65cX1+lx!B;R;k<zM+^yR6@9zU{9iwSUho>en#8{vSN(
zn!=v@cK(Lxv)=JuTeeJXp=)<=ZJt;JXs5`W&!@E4-+1+U$?9zlroVIV><G-5n3_IW
zTK?n>ok!lwxurLob#;NZl0^Lqb>6MPk99}L?dRZ)B`trH9>;G_UHeEgDu2`ewFS51
z-xP&}hOSz<a-)qLU%Rm0nK?<mE+J7-UQ3rQ{k8GbDK9Ne&5568X87FQmY&vrqGEcM
z-}!UrF3mE{=1G;3lFE6!T2WeG|JQ<<p!S2iT;-8#@p+|NH_!K|krBTbsCItOxB5R7
zO4irsAy!K4dDZ>VUjJCk{PWW%@tZEXs39sUDtWFu-}~75?!tek+VouulDi}86(+rY
zzVe&r+4<Jx?;r~_Hmrs1Gx5nKYE-2x;^o4ZIn&~eekM+h4%_+s=&$*pA+8xqnJ2XJ
zhJm*JtXRI>J$}Yq>+-%?vu6jdy6(5`WL8$zi%Uzrm#os-x^0^fL)C|a?5*ehmm!bI
z?6M6G4i@2S=WMtT|KhD!Zy2}rMXS5Fbc!(+Ry4en?LR4FQ!#-dAUk{YgqYRomzVj9
zbh>zihGu1FD}!o%-=`<PnVFkkzH&uGP&bArOWfh4rAE?jNT)rn>&N}Bk}uP7uLSX3
z9&voSq@?7+&Q4CIeLK6)^}-fpxE$LZQe1U^Uu~Psj9IfTeLirKebdKJi}+{#^tzoB
zfwqk!=KJ*M*tc({OCEOxbvd&CTYvSRx%1oV_4^iW&AuL_A!79Ru+OU6!>0|m@7OWp
z+&tUa1v*#vWaQ_Y%X))$mZZA=*%k3@ea`P75lCO;8hhHmJq1|Tdb}xmHF;5`frW*K
z!=u<W(&l+8^Uu2{Cns;KJ9q4kLep$Z`*3Kc(2;G>$=Q%q@0*_k9ub+?*4AdT5)?~%
zF*_EV-g5jZQ)9!2pC>cwd#{V_{CMWvIiZFY>slkvRc5DUy!#fGefNW}%{cJk#;U0?
z*~a&t!*+<A`SZtyae-;}wHez|+ob<56XM>z$LHw(moM}e26QwWu}(ADVx9g-{~IVv
zm>3&7Gi02fXM5$+B`1cAw6tSEh%F-EkcMmuao_TIV^xZEq#86=nAn2449#*YUuC85
zKVzY{XmRN7u;X`bJ-K4<`urC1f{d^8vhI7RO*JepD7XL$+Z!7ao8LxA#fKeP-<|sJ
z)HZ$Bk4buEm(QoxCOq?3T7)@zv~Z8de4k@l{2d<m18nO4SjbwJ^)OuceBM4^V>)+n
zGe_RDKTo&(O9zdds97^a-bk=5e#WylZg13dX6|~%c{65stc<g+T$Q@^T)2qpLB7rN
z@4uhE>9qEq5B)DTKG|*b=AN{eKVpA~@EJeQ8je379v%*fj9j^2`Mg$G-k(W*e~PtU
zU;F>^()IV>XTM5aHrr>-;fDsS&5m4b%_4m5;6Z^kZv-UY2c6A)+h?`frr=W}czye+
z@Up6kmD!to(qzOhUOXqBcKp)Q`incmZfk6q-5mV3JFahMTAkO`cB9%8C)ampf&*mY
zOaHK<^}lw`<zI8G6?L>n;@)g8m22v*pBpj~jf)Sr@rK03`8|F5G$b@MH7b4EbGE>g
zSKeFKT>ZIo4|0&GM(tqu`JkD9#ooQK^)6a<4_|JJ)2`el7IEv*<(KMN-QuN{shiIj
zZkMiE?l)KIKm~g{WU~I7#nz7cy*pN%cDZ?U&p|EW*Z1zl#a_F8`}NFyaa+>U+b@F(
zPW^4XVcPMj+0CJ8GVwmrYh03w*G{uH`gQ`+sh@dYWXtE*N%Qu1Onb++I{a_UGXG<X
zb64>3^I!h)!-DZx`Ijt<ubwk)6ry%4F8ccFDyWnO4S_CNq;&W=>)AICc&~kdHB+n@
zj`3d0S7ZjAM$~WnO=8!sT?U4Rj0_g_|7z4`eVYQl1F-<IR3d-n=acI5RsPhMl!!0{
zL`7v)-$U#Qd9d|*95cfln@XXL5j-v}5jxK*t@8p!SQ!ewz6y=~_VfAt+w&e@`~ULM
zzTfYd8Rl3N9x8ZqnBSg-;ZF7Yy$ny1_9h?aV_{-sVPbr9W8-1zRNJic=lV+e%ggWA
znlmKJsr<jsHM63!aq9Yg-}k;}Wcc;_x9)l0_H{;&cXae^T5|cn($3|pR+a2Es#O+F
z&Rb=-=lQ&9hKT;9CvW^L-FQBJ=C{;k6J9=l`C_vEo)1h64=yZpwkUeS!LVTM+Ou2M
z1kayxwt3n#F_*=Gf9~G@D{EzC_2FuG{6ls7pPh@(&73DKCJc>yw~mtg2Y02O7L$^b
zyB0s~{`KqWKeTtuu6p}q<uqQlW|jjVJ~l0O?-$zeLG{|cefwI<Q)73PbpHDF%jbR4
zNfsls=$p?=d{%4!`*`ByNzcD?C&<dmZnFvt4HZnNaXAMW&!}GGy}BB-l*FQ?C;rmZ
z`df<|*REZ=WR;eylHlKS;;XCf{<_aydp6~x{IM7B-(Uaz>%f7Ae~CTk&iN@7iDzFd
ziaQ#zWX@DsrN^<WEOSwIhMWrjC_mxV+qb?y8bX4DC#UaHJDqZ@P*Aq>$tRuIf8Vp#
zZOsl|0_(m1PgKj*nLA^K!C!;PljFrd|CyQz8}8owYVygDurMKpPd{sx$?p|%#Xj6I
zCFHt>QL6Z3XkGe-A?2Yc<E{Ub>#fV*`9MmL$KvZw9^cx}e&g?^#-6if-)_oY{<pvM
zb(r(at=ZSrbSx&H-&^#Qi;?^Nimv@9HcSGoTDW)RO3H<;3l}=x(tmkse|UWD)eFzI
z<=)PDT?$&lU^@9|lHp(NU1|Gg&64UmnzSxiH|pH#8CF-b(;;mVq-7qn15M)MUSvPl
z4h>zoZr!;unXgXa#xq}7=q*y77&C9_>HkVQ)5GWINUnwr{Fq2BU9?C^(e~}1T{oVu
z_xT+pvi@1pMbK!P&$AyNA6MOc_b%^rk>A(OXO1RPSIwRL=i9A4z18>np+io$OP$o7
zvq^%Ak~c{)|BXQ{xyj%<tFN~=u(;Tmwb}90&l=D+BUxG5lE1&cPI<L;^75#%va)Hj
zX3t)^V8MYeKX8wO=%r2%KXD@`eg0j;xBrWai$Qe{D=X^~4K7nNvmh0rjk)2!nR1bK
zd|b?!GHcc>(EKC|)0XP*d4Ib%8P$1){}U9HwJ2z4I;f!8m9#ou>)&^;_|==>TeV--
zDv59frl&98_wfPJA{tObJ7$U>xuX?@F)r>mZM@t6yFQPaxW|8~{<7*bS3Rz_PxNR3
zP1o98xpXOM)$+OV;=dtj@M?^Y%DwY@UrauE=FAy^4F&9b?#{Zt((a;7MqZv;LZY&X
z<lD@d&z_~-E;BYYKQZCt*E5I^XL!t(eNWyjM0m&Rb-OnN%uCz{I(UL1=IJr?^C_T1
z7=7FCRdM^<eieE3>eYvj$K}(bWf^w9)^7XAbT0o`A7~MWudlB~!2^c6kKOSp(X!x<
zn8Yz>*ziE4n_baS1L$54MFA4_dc=GXJ-mebT>h~x(E9hi-|sOq*nB)99C;05McYZ1
z$i2;>yOl5T?VD^??(r0~rDD(FtT$^`tvYn$hQz1OpN-cD9yaJPJ)OB%JU`pnnb~iS
z#YETKqRCIE@PpFdVIAKy?-F7ss>U)fbS+BRT<Ip%Cw}+|TXS>si+AsiefVIIcV|cA
z`?~MDL6_P4*Z&H>7n3TX_B_JxHT&6Xpc}p`KA$z;yv8?g)0|J>;|XRwW!{f|euf(Z
z=AcD8mTeqZ4&FGO)oiM-@BiZT(jIHXNg8+dR0^NB{VsEDZFKveKY!+&vV6z<Y(xB>
z_S#vqXB<_%z427pZ|_c@qtlb0@$S4K5AKa8N|aaZJGe@hXKQ?2ogHYC;+`*;yyMKL
zhP@HnF*D-NJo|dk(w>O@b$ch+1b;Ymf9Buc-yc7n9`B|i<ftQ79NQnc=JD@q(fNB*
zEz(O$OcwTVDD9l*Rekf^&7&=`XJ)$G`IU-ez~c8w_4yAjy2~F0jbz-;+s*s>+S<dQ
z#0ENKW9_c{yGptD|9Pq}d~4s|Z?``lVCH||ZvQLr)Z6stm{X5S`aQi>_w5wfT%u&G
zmeT!Hh#MUFGmf6=Dlr%6KKkKx{C_ESKA8h|?#S%gwd>N|CzBE~GB_9lqNBA{()ToX
z1X=xmyZt`f27%S>@^v>#ZDIRI4o~*Co2l^r<x58efdgM(U-x}ol0Ex2(moQahyOvl
z4y>%K3P4AIyh*pe{1kLEa&mIA(@hVRrg`(^zI^$z#Kte;<L&$Z#6VYBq|dKSvoJF>
zZ0zjh-1G0(>&$F>>6Ba3a=vYTDsex?y~GDJA_r<zT3`Cs#h}C_=olLM=d%4@VTK3s
z|DMKQx_W1l^KOPU>(`4<GT!NIBE{M;#VnlhH(gKQ_`0(sEsd?VwsytJm7d<ePq*fL
zHSWvLQ?gQnEQ&Jd(VY$(V_~@b8FVzny4PQse79#`Uw6^?yp40$BG59Hm3#Nz-4gTZ
z{L6?xA9wDw1PwbNuV!)a@DB~u6yOkG*j4j$(_))_XNg!9W7gi*wqoHz$Lr;nm-&`F
zJ0qF6|HO~$xsif9#s6(zecdl!`+r91QP{w;OV^?ai!?;IT34)I-JP^C!l~MCqnxCq
zB16fC2abPlyk5WGj{!6zb0ZzP>Vf2QH8%I=+khuejN>DZrl+N~)!50iGBJWiiWaUz
z8R%e>b^Ud0WAgD8+qO+(Y6LA3*V5BlmOj7s+J!jCauj#_?jztGC!)FP_ui*{o_zkf
zGDFGVU!|8npYaGSU+X`0>QvP))#`ViteWg|MXvYVyS!DaR)NNrx)ufG=B|BLe6dh1
zbhgVg;qA$jR@jRL*S!5uv`<~=yz2JC`;eiUNg}R=rgq1YP1Q1PJlz#7{U)V5Q4W$K
zBl9w@3v*Vle0eV+G;}IxVui_pmzVd_*N#6aukY+CUA?d`Jg)NS#@yw}ez_u|qJbt-
zTfa<g+m<NG)!Oo;EO(w&X_s8p3&rL?z2^4{zHC4Ld~xyfbDTe2j}5@N8b0r&cbC20
zlvDi}bmL$tq|M?y^M_f=BfVSeVr`Y)9w~+`Q}LNFeaaL82CJGM8!o7=7T<OK>QzAo
ztGYislB=ciicRGp+gUFu_uC|8PtU0Lzp6Iz=aIKFwp@Aix+UX`OO4)S@0G{yKL0E@
z@elYM6NO2yUv^B7t=?(C56Lb%?hQP78;<=4Eu{i&#LO%!Gh13UN9@m{(rZ_)Tv+No
z9W=g?o2$z3<v}z5tZ7?UAAc7Cnr`>=6B4}m<cZ4EsZ#|RE?dh@wyc0J8VNhU%y+hi
zQ0IhItFBzT=Ek5Q!87aB<hQwbdCOL=)KrSPVRBLI?b)+uFKs*h!+dJQjo29-KkjpZ
zRy5qcdDD|&#fA+N*x1-SLPLW>r~dl=d*y}=7YZ7mh`jz`q^zuLVrb}iz`T6Mu8%V(
z>w{O8l%*&5`}fx^tbBK8XG@H?>GJPyZ>OJVUb#}!7Ia_%xciQ=U1iJJgC9Q@I@|iy
zE?&OeUH|(<clnowvu4d&RAAx5@Wr~|_U+rguXS{FO<%kfDW6&P_K(t}c&Yf>ucB*X
zcTaO#IN@Qxer;`Sm9*Xb{!^z;t=PG9CTNx5zi(dOo0^!Ip1hk?I(zj;mD4G2E}9jF
zt&MVZ@0VNp^Jk@!l9ar>`P<8B6<7be97{Jx+L2wHon2UHIM=q?%+dbl$H2pRppy?u
zj%rVT&IqYfo^niB${UvOQ2+7&Kj;6yS!nsLba%nSCcVpYsk|&q%TnLI+GuTNVlqYH
z`ny@0`ugQpHgDTDjX^@rf6Juo+$`xOE-rY6OS&hJcCbdu1?nBF5q$r`yKTMKBa=a^
zZC;cc<=@zFaND_xy>lPwU0ydA*C`uE&ZmotigMN)eDNv=owM<utaCQ}!}k<b!it$b
zhR6z6hKq-+e{FI9FiBqaw93mHC7Z0K)u=aKw%%)!v{B+`joqi8HNWl(mK8<rUh||K
zvbpB(-I819-+%YMt*7K)9=ZLW|MY#gT1z*@rR_R-#7c%Q*g#@Qf`P}wf*Z!Qdo#|T
z>N8G1cj495)xw{^ql{{5F)#DguD|oxe2Q6J{=|{f+_iVV<SQ*g9R`Wm=X`TzzDmB@
ztiM|d9gm&&E1aHr{hYqiPuDMJ*_<}r>5BjV>w3wT7lF0GmEYgp{bjhmq`bI&G2}Ra
z<Lhd7o4x5<y88c4*~!zQYFsCF&YXH@b<C#CSGB&U9CKHC4m#E4vgrDldF-GDKwIK8
zWrt~I5uIXoN{l*pPHF}BpU@Azn<Bnh>G++z4|A<byBHqFvP0I4+<JUP>EG8!P1?e#
z;-A@8`>d(1t}czt&tDJT^fOm>V?>YLj|a?I`T5u7lY91C_?Rvizs<IK_P@0YV?Frc
zV<O*=U4MMV+~l_FvDira+ec%U#j5YOcpARv-KLmbC7lhe;r1C7OLxyMFIkrC?0#(C
z(JcpGmH9+veH3+7OA9MnU*xIw?qf$^zstE~r*(N7gi^~9u?ikRIsE5c`To--lOsU~
zYkL0p|Kf!P!-6eau6*0GaG@fDgN2OPr0Rp&>-VxTSX6#eN!lpU!Lc#o%;&N@i!`_x
z9=y7`de@uJ=k2%K9$)+a^3mGwci9<0(~}Qxw9D6VfKMuCJOQ3E;$UIoU}3tkF}dCR
zRMnMvb7i%|)*MLgw{2UuPS3~3hk@bTeEat^=b;XpIBNa<-6|f(z#wB)!r|U0!^p5@
z>(<C=<*%f_-><i4c<|_Gw}R4Xd4@a1=WVx@swIQZAQ3pJ9~#>F$}8>as!)c8_51%t
zO|M+~JGtMMjp4`7^YwlA|Nr~$^lOQ7c<P&<_rC9AXL#}c{q(HEeI?MNAoA5FevGxs
znJOti_ZaBNnXo;ZETQ#+LA`=-`366K|JUm|HtZ@^5T5ZeO_d)!e)5oId2&?j$9{1?
zKfhP+Ti(2QvEk~*Rjaxf9w)~_6U5?#sJojtZ~o=JF6EEX;&z|Nw;T6fyA~D{I#p?6
zbZ1Bt1B1AUr;B4qN8R?e(7kzo-?#2d+w_A!{>%68ujThiNJw0;ueo^hrl-rhB=G1!
z*Obkhl21?5HL<Z-^V{L~j0w}rTV~Zh(X!+JS6`hjEp_$d-;b03|GRctXj{@mg_So1
z1O+FmvMdpq&8FG1Kq#c;?KLmKXbs0Ek*&N7MZAN%TQ2R>JSvdmwN~ti*u-rdiXCmA
zj0M(o=y$2+EY&}x<Pqg^{q^_%O8cwtw*NLLet-9Pjr|7wZ+CVYr=L4B)42TI;U8OP
z`c=CwTpvEWdTYOHc(}OBG_&NQTW^+Z@Ug!SI$zm^MOIdJ#+*4izr-Hyt^RIcX_;xy
z7_sBz)Tz(U&Ni1d-}x!Kd~VU+H;XRq54o`|S6WR??ah0h=+fI8li6LSm0jG{;Z=Uw
z<ZZr1Sy@?9QqrOq(d%#Kh)te6`NhkZ8&d<nTn(D(SIcGoZ{~~{8n=F^&-MF#?dHlq
zUO(e67_Pi|D}1WPqrH7^7iE193OVL38uF`Z>8;iC9y2Jm2soW6a#_+gJEl{ocKyjr
z#)VNYbecr;45rC_w@Ukae|LF)<gBgP*TsB;ywBHuc+i-;{7~n{*)|?~=RCRgsQh7m
zLW09>J*%o0Oa4CU)<1RX&i4HI>H8et$WPtpx2eW1|NWlVUtYg_>1a2f|IW2lFBfG6
z@2}bW>S0>*-{0TaFWvW?clzmuw6jvz>)w9PO}zT8%PD@p+4n5@?&9a?ZXQ2&?AWP3
z@o6g`Nngu*5NCh-+}pQry&kuF?Or|Yb*lK(qCK~c`NzKw-__|WvWwZ<e8;xDyQ}7e
zi_~8AToxsN+2n2b{pM>srT&SR`DAVT7OJ?aVtv-`6}R?^O#K+BYCm;f+{$mOo?AF@
zD7FY}k`Y{akSSY7?C`44)e}yp7?_)jCzdw7UZxZu5#gXVd87GKjlB*<)@gs^V`7dx
zc%Tp!9i1q_R`&j0Z;sjP$aPx}=hWBN2U?j|PN=dxS-ex`(n}Mb!wyOl4;*Y}e|xu~
z^v$Bh?d#4dD=T}bO*Y^;9K7G)TfbNQ_ANha<Q6Yp?6EYc<M`u_<BvU-21&@uZq@(M
zylrdNt`)bg=*O?GI&<cX!sL?*GkuiAx)&~9%zXIpVOQz>EpIO$xHS3m?y|Q{i4qyP
zxkn!!Zl8GisY1}7zdqYPhu+fWs{MQG&gxp7XV0H2Zu*ik^){Q8)jmds>+52jt>(H#
zN6(J^uN%D$)cM@Jd2`vW9JB7mM#kIcnwy*Z{;j<9&g$u|o32}B_V2SbH*Z&V?_02X
zHFsO0f>?Lr*H>3PmS6tyzW)E~3crZEx;~eW{P<x}_U1<7^}_}{OM*1_{C>AP^=bRt
z)p^?j*7j%4l8~0(eA=9cdGFr6J4#+o3Yxq6VSVCp71?SNuiw7}L-(*>$rX3qJ$;dp
z-KuBHFJ0HZ8243<9TY82)1;L`BNAfYvFx3|*x=mG=jZ}D`bgC>({9$%wXe6zUCZvT
zt*zY}c2tckI?`XSx2I>vGEQSN!Amc$yq@8r)qm>84ITqN0VfW{mJt5stk+iM7rEZq
zS@(CBL|foC#`f8BOytjAy7o1o-?sYOiC$^*CoeBA|McTy^3Q+2-#@*vF<D7zQ}Oe2
zvtEXJMMT?HesTd_U8kg!zwc*S%Phf5HdhYMa9MS}NK$^fw=E|qFTI*M?Z55Ds3V`x
z+v|ICZ*rMFZJL;%;H~}%QprD)H1FQMYh-M!tR1#y#U{6l!4bzB8ySz!UG06jC`T#f
z=OZ&cu}eD1E$4pRI019>{Ats~cGmx|oA}1w^wQEyL!QOgv;>@7QnIqVjvYJp<ki*H
zAlFttY!z3T>vx)6zUG2R_iCl{$7X}p+WXD7TRUZ%z^0l=zsC(ore0yMX_^WS6DT24
zP}MZ`eu8QXl+U5qGNGZM5k(EtA=WTZFv65@a)?JbU$}H>(H7<W#TVCnT_s-fCVJ(z
z4yF4WDs3u1xqzm|DnA|-Pd(ZtT6*>Q3+8h=>botjZoT$(ed*67cE{eQExfiZ<+lra
zuIHZwd2klYn86yx_UzY@)v>ECrtSa#Z}*lhTTcA?`g-b<t4)8e&QCtxcQSo`t=i3;
zuung09@Naab!$_-w|95V=d<Ri&tvx2?bYbz(yF!fsoeT*bFYi>?Nx%u`d(jOfBN<M
z{d%B7B0x8qf|j++uluz!`Igs@Md6lb9oGIXH@>-P=Br1oef~m^Tx{=DsJ93>NzHAG
zOjzsAz|j!3dgGdz^X7>OPJDZNyY@-Xl9sps@7Mia+o7{HbjF@Nx2z_5oOtpiWoAuH
zO^i@yOZGg+ubffyIDW6;JAF0mt5ET_+}mo;&&{2D^r-8}=bt}4pI?9K!-owupH8Z;
zd*1S~w`!48?uM9O<$J$8PgCgdcjLT0>Bm7kCl19F%LA-omo7wzFZ%oUuUAo!{gWa~
zLBYzeSHqp3KE8Slbk2g0ukXqD`oF2C|NVR}|MT7M_fNiFkLM3vC!BaHd46d7wpF^d
zwY8sKuixL5IqTDli^`ToPdYj}YJNVQzV3O*ZE<PIZ~2S71?H=Oqg}B0|G(NP|6EuS
zEvmoiY|Fpj=c3eDVbfRo`r5<2-|ro6X6Jun!p<kt(2;O@nr`az{F|Ftm718@`53&n
zTg%q(N)>zd_5J?;pc6+L6D1;c7OD2h+s93LcfbDs(Tj`SH|E{7I`X(sMTqmu*RKyR
zE%i>V6rFVbxuKO+SBMttVS@w-wxE?Fplc~>?BqSBXDwbeJ$(0%tuw#Y7ZwUOH#cYG
z=C&qE+}K^Nzv<?hN%NLvDoyloa4GozuQt9iac2JBuVO--EVpjm0v(^t;Gj4Ca3eGO
z1P_%BMNhqYdU~czwY0VEZER$Wz7INqBz#>=;I{6*+U8}U6WtT**VpX*Qo6Z+>hwPT
zpIg6f&AzUn1Zv3DzFEC~UsDIDp?AtGIQQ~`r<PZp(|NcqFMoe;Z?~*<*#QF{&{56>
z1p?jO-Sgf?drUCY@7b4^%g2zMoc!Y5J2$0?4T%yr_SIHT+}rfxl{)j4$NlsBR{hmk
z^LKGaed~;6oPv#s5~;@z{c^jK{O;l5_KihPPbtM7{??si)_r$(`R`v7x?-g@>#km!
zrsX2p%~)#B|7vpUw>k6YyX%NKD@`nraTgO8zj*6bSA<U6?(+B3WWRs%oLaZQ*j;~(
zdxUk%%lld@uH0Q~m-k7*&?Lup@xEstKTp*--sd#y;jB&prxTx!&RQ?NcB$Lm16jVO
z=G4tL&)?SkznPsMbn;FIhhE&CjQRBs53zP|SXo(Z*s&u+`<>{P(9=3+vftm^o0@6=
z|4*@Xtkv9W^K@n`>zp@F?)vAd>gsMao>jXl9)?Yues5Lfua{3l`&PZ3b1EZ0-(7Ed
z@z%|)rGfLjmQHyRmm0UPMpA$8m!O${Ua#N(ZELxX*x@^O=1ht$c_VGIHoAJ%v*@gP
z^ODb7zkGeQc$eLi>(>}A+`QR&?wsH6i12W6D=VulIm>P>b39$Vs{NdV$QFNn9i4=;
zvrJPn+1S`@ZeLeAW$1sEeQr+bEVa1mx2FEptXHqD{?}0TC-7q6^7*d0^>=@SpUB_;
zmrd~CzrVjv_qjgpZr!hO>`sJ^*r_(LoiTiG-@Z+KE;?;#@^!bK_^lh3ayh<w^n|}*
z-u(8jo~P&i{{Ftb<H3`YlT%BjrKOuY67KJ-?JEuc=(!#o{AVsN65Hs=I(3)z)#JW$
zCT(pi(^c11hSaKdZ9Ke4?7B~jfRo3Rj*yDR(wZ6>r6yi!vj@-T*KcEf{Py<ti??rc
z3u^9?wl+0oo%qQ5$!zm{HyyFVXU_P{{Nz{la$4ro%a<=VSATzZ(8QOAm)Fr{L+R@<
z>sTGJ=8lA#nmgx;^YZv+`Wy>ge(_>p2L~uie0=0OV;SdVlfs9GShsB5I@NbdXz9m8
zxk-;qPX?Y1cGX|MC$um3#s<did3Tu@?(8b%mNv_2=&-Q+7;&moSY1I$LP{!VQuI&I
zYQYm}n+<%0-TP!3I}~R6Se^2IJ^N%z!S8Rm4Bq0+*H{A*_Xn)q-B){fOY3!&_@n>w
zDxOM*#K+2i%6@&w<odeU!)IrkD}H*Txl6(9^JdoxpXR(;Xw1g?_Og4wobGG(?fLh&
z{cfDk+tgQ?SaacI*tH~3Ypmee8A+R}FB}X8*4Ej#wO6c*`+B|8Udw9NROzjtd?Z%?
z|F8MAb+O$cT2CvI)z;*@SUy`9y`69W-*3?uH*Wa*=*P#$eaV^W>FJSCqPxw!{;b-n
z8``NP_WDO<fV9QU&*$b^3ka@>-7U5(Q%v^tix&+Y31wy5*2LA>t-Qs5=*-1zLFo{V
z*UU>lEig36u+=U-`#AKu#+zp)Ymnpd>aNdOtPh>U#KaVoT>aNGY-oPGv-o+zw>Oa;
z9Cm*`IJ-Zc`{k1E<x|hk&9&ZkrfRDCM2{Oruh0E`cX#*4i|+D?RaLjbmxpMvPJFcc
zuh_NN|A#tPt<t;d=B_{Y<dn-BgLX&xzt6d|<6`*vx3{-DyPS%PE}a~mD)wz^JHLF@
zslT@#UR>-hAh;%S^RbOO>P<JyeWELTKOMetU;F-oU$1^mh>vDI@aK<>3rjnn?4bt_
z6kJ$7fBwAA>c`cy=fxaP!E#XkogIQo-s>~OAALJj7Lpt%Az!j->eA!<_J0DFxktqA
zeYIY=KBS~X`}*66rAd8W_nD`~_2%a1AAfdscI^Br{@2n=TO^B@FI#r1ul23?Y_r@?
zGTz*mSKZhe_$YjB?n*C_jTRmAU*9@#avsBl`}g?;4?cOaM0a<^M<o}Q+uL%rz1KgQ
zymZG`W`!Rzd&M>?a_q7T(BhYJZoalT=(<f@X_?ZQ8;KWnz*%RSzLIEMf+^2ozJ|R0
z6*h4t=MJ~?Z_K=`mUCx^ptO0OOL_VB)!@9c(kgRT(NnIl^>MLN&bRSO7kqx^d%gJ4
zM+=uFZ#<a~{H%^xwJStgc5jJVu-|d7+^1jfZgBea(<W)7MAF6?e^q8okJ%oV_bGU}
z-@?_aPych97rmb^NnG}~+f=g^f3=sc@8f^Dr8GZZf6_^nNhejRs;iYRn|FP>^GYy<
z=hD<@|0_GcGTTdsRGrbDy8GrS?|zL^-Kj5+$cxJE&3Ra|Cg@xE%jyH0yZ;9548ON)
zpTyG{uTz$9FuU?m(SEmC5IB`y{HShT8B+Hym3ez%Vp<xT66g}9=xw>T%{n?BZ+8x@
z3EC>paPawyt9`tyTD~@}NM5mS4=A)U8&937o&6M2$h$5%#JwhL!<XNpn>K7{xVk!g
z@#f9KtHahhRaaNvJf=Dg5>UbmKL50-`}I;?#=h=Oo$Ts@Nzwe1S*PxL?Ps@W)`XQZ
z+`A5x|NNBNF~$DiL$&K`r%%39CF*l@pW_>$G9x*aTxI<YueN+Wa->Cf_KX=FKKC_F
zeO}f6PGX66{ub6S^XRKtjiKuQOfE5LKe+$BA^orWayzSifiDfkSNvPFV0x^yWgX+$
z-3O$m&VT(QMe$nGtE;QS4Xv%YCw|KR67}Qf5<h!}rt=qH7dD!5$#dLJKYVTTr0X_$
zncAjh;6|#)V&$NRtk>SX%j@9y_v11D)8cP$Z?g*?ytz3Ybk|IW$a|lt6?-Pf?Mh|i
zy}&PL({N(*S@t>SHpZ3jEO_X2^XE0~*w)F9G}O4Ygmv$pbQcjex|*D~o+<CvmXpEm
z*@wb+9bPp%W_z69r)$^3I&}8#%B=maHUGSO+Vl;R3tyjXJJhS5cYoj8nfU>~-50K(
z>~p-m<kqi?i`_j`ggjJ)T>aZZSFL|N<#}koQ^+xe*qvXik~8gR%$pas$#LoNJwZEX
zuidq4m%^fNoec)NrkyHz)Zf*Y_jH%+>aa6~ud214TQ0r$vDd4Ar$dEwTjkolSJw5)
z>~FYr>r$^q(#F2|?oTJT#_TL&RciY8udcdzv2psjjH@S|mcx>T){85#rFNobZLdyg
zSDt-5ZCg;XyY9M~pa#B%;K~n7uV)&kD{R`b`^A$dDHp%be|L9x`^l3h7pWW9{dmaU
zVe|V~U*@cDX>3dHKk-zXEHH7CFGI=c5Z(*B%ibQkx;p%A|2ls^Kc^$V^RgbY-`0=W
zkubmd<0IGK&2JYkUVICjv+mqF`hLdL@Q1G_ZqK{BNqzO<!-wZtMNK|)Dg4QuC%e8D
zO^O!I(|+ID%KF>+zg1ah(xKNX+v9j;q@<cMXPrpf{B5#+-cPoz^&-ElPL|YYcto#W
z*1gI%^wQ3&$|oe2XqVqwuy}*~kFAkQkK1hTJ{=S-nx|lDXc)MqF~n+apU?H6nSOr)
zFA83Goj!Hbey{t%sy+E3RcBZa-QG};td^~_xAOC{$H#o?%5tCl2+fUNCFH7e?c?Va
zHJe0Uv-#?X72o;dB{~;Wp|3B^>Dcvd)#sHP3`4@>R%Xi`xErozT4r+ER9LZP!qaY#
zR`H0&bonFSe=&OR4v1p>ay`C&>-p_!CAqn|uEOny65^zMLQik$Ss=9F?x&mk>-WF5
z{8@AF-qFi1uV22LeE;v&i%W04c=7bAUfl6D|Es^h)Ain5_V(7IZThy?t6r(g^^3=*
z>^Rwc<+SHKzvZV(WF;gnZ0qimv&sZrg1yOT?Q;J+pLmo0ulQ0rY2~kg3){kc#Y1QR
zdipxFUm<zII-BXILAUIz`+MvC@2shEpShmKZ8P!}uC1+ISLL#F^<*E@e=A;ay!g7=
z>t_7Y_mxkV&pxIbyYzUB!XDn@oiev>-=6yA%cktb$Jb}w4w||mY2zwTs#`k8y8N7<
zwVBzoS?BcauhuQFc3*$(#*(P>2Bqv*o(Cr;X9!fPuB&7yk6(G^2BO>!jYwc^$iBW#
zajxIuwQG4lR>*v;kcr-wbMV3ifwc5=MuwR_$M_a3jVSLkp4p=t4H<ih57oRHxYXw~
zhZbX1S{mC-AGVVzLK`D^K<8J=$sIe~&Tsqq)br00va+sPQ#XBujG>gqI()p06sq0b
z-4Ze~F4@`IJckdwySsbh*)-eJTg$}XzJIUp^<0fVNMF5DZ@RP9+_pps4;3MciVq9+
zHm~f9E%|ccYGq0a%gGd>w#158;>Z34zI;6`>}Y!v(g+QUY;(!e^7r?Su8ZBBAi)+D
z9bNe2L*kPn%MOl7CzrhcIaTH}*VDS(yjg0;jvdRf<vHw-pPzp*?@eN9>E&Qh@UOUi
zUMsPF>b~bw=jTanFPSP=tb6E|!R)h12?+<jEj)P8(cO0Mn_DkFuD-P`M0HgJ&x+rb
zB6g9dK$ZHmc@6qso#*}u`Q7+VX799(j-s;i46rD;a^0q3_xg~cHyLf&YEB%Ar^P3J
zV!bx)zwQdLkAFU&KOI!%q~+}G-QD4_pbm73;prbgcFeJ<4C<4&f2XZ})_wDq(!JLn
z&(7aBar?b0?_a-uJ((U~w{okMQqcZwN-A78_IHXuKR<tZiIuLhvht^o$K|g_$v$$n
zJr>}^q1fW$?d{!tXMg>Ek8ky+ms%$rh}mBk%X4_by?b%65uAl`)!*Jsls3;hae2A_
z(~pmjfBO6V{^^a$$6Z`fo}Zg*dU^GfstuxwQ=9(I-tqCtNny+Se|tJQKqsG=UTd3j
zNyBgoXgp$SyZ?qsvjm=ThB<kZMC^<3DlgxD=FFKBU835n)(9%L?09UJCVEMyxcks9
zJ|3PE{r3MNoO54Ij{43Hc4$iFA@vB)y9p9)5^aImrW}#qKt1a|S!<P<K3$0tmu}wF
zJbd`Dk*)1nZf7TtyNPGz_tc$j3Y~vFuG-gczFll~>8nXFvsxlPaE5_A4{{f%V;y+l
zCFiyO6{>0=4rqu7G_Lii?=e&MOD!E3AEaSI(GOk}ouCmG@SqY%hZBdQib4$95X~QZ
Y2g$XzmAbk?3=9kmp00i_>zopr0GDxOeE<Le

literal 0
HcmV?d00001

diff --git a/tex/usecase.tex b/tex/usecase.tex
index e69de29..982088e 100644
--- a/tex/usecase.tex
+++ b/tex/usecase.tex
@@ -0,0 +1,24 @@
+The Viewfinder algorithm is implemented in the MMT system and exposed within the jEdit-IDE, allowing us to realize the use case
+stated in the introduction. A screenshot of Jane's theory of beautiful sets is given in Figure \ref{fig:use:source}; it
+is based on the (basic higher-order logic) foundation of the Math-in-the-Middle\ednote{cite} library developed natively in MMT.
+
+\begin{figure}[ht]\centering
+  \fbox{\includegraphics[width=0.6\textwidth]{beautysource}}
+  \fbox{\includegraphics[width=\textwidth]{results}}
+\caption{A Theory of ``Beautiful Sets'' in MMT Surface Syntax and Results of the Viewfinder}\label{fig:use:source}
+\end{figure}
+
+Right-clicking anywhere within the theory allows Jane to select \cn{MMT} $\to$ \cn{Find\ Views\ to...} $\to$ \cn{MitM/smglom} (the main Math-in-the-Middle library), telling her (within less than one second) that 11 Views have been found, the most promising of which points to the theory
+\cn{matroid\_theory} (see Figure \ref{fig:use:target}) in the library.
+
+\begin{figure}[ht]\centering
+  \fbox{\includegraphics[width=0.6\textwidth]{matroids}}
+\caption{The Theory of Matroids in the MitM Library}\label{fig:use:target}
+\end{figure}
+
+\paragraph{} Using a different library as target, we can for example quickly write down a theory for a commutative binary operator (still using the Math-in-the-Middle foundation), allowing us to search e.g. the PVS Prelude library for any commutative operators, as in Figure \ref{fig:use:pvs}.
+
+\begin{figure}
+Hier könnte Ihre Werbung stehen
+\caption{Searching for Commutative Operators in PVS}\label{fig:use:pvs}
+\end{figure}
\ No newline at end of file
-- 
GitLab