From 18f8caa88f9c48debfd9636e873571953e6671f0 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Fri, 3 Jul 2020 16:44:49 +0200
Subject: [PATCH] Few changes in graphical representation and documentation

---
 .../images/modelcheckerwindow.jpg               | Bin 37833 -> 0 bytes
 .../images/modelcheckerwindow.png               | Bin 0 -> 38728 bytes
 .../ttool_avatarmodelchecker.tex                |   8 ++++----
 src/main/java/cli/Action.java                   |   2 +-
 .../ui/window/JDialogAvatarModelChecker.java    |   2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)
 delete mode 100644 doc/avatarmodelchecker/images/modelcheckerwindow.jpg
 create mode 100644 doc/avatarmodelchecker/images/modelcheckerwindow.png

diff --git a/doc/avatarmodelchecker/images/modelcheckerwindow.jpg b/doc/avatarmodelchecker/images/modelcheckerwindow.jpg
deleted file mode 100644
index ef713229fe7dba317121ed9c5b13912011f4e76f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 37833
zcmeAS@N?(olHy`uVBq!ia0y~yU|Y(-z<i8@iGhLPX$kvs1_qI|s*s41pu}>8f};Gi
z%$!t(lFEWqh1817GzNx>TWe=!7O89(bo>8U#Exl#hfbx;8o_;y{qLt=Ju9fmCmMD_
zW@1iQc=E}o(E(h~?f>t47+<r}lrt)7eOUGrZ(m<F{i>SUpRZ4D|FAcHdR4D{yymUX
zpMP>KKJshdpQpW{$#r_CufLYxfBDB{hhOt-&#up}iJAUydE=9>+P_)$`2CVQaZf+!
z*{A%pb=RV=*#DDz&-t#pd#mW$y;B3qMLR7|pPc&s%Pigf``GVKov$hVeaV{hug{&I
zGrRv$xv}+n=bH5|ey%VG*z_d7CZ^tO!u^T=OKg81_{Vne)5b&dw+lV}dTjmL8WrXG
zz5gcm^soPLXIiCoz0{h2cE<HnXM6~sS-I`2=7m-7!#{o9wM6CN=TGnM{=N74&O&Ex
z)~NfU-!}gIvajFh>YuvzKgIu5{5=2f@7cz>wNK~seW{PQxc9X4q&*9-&fAw3tF%7i
zw}a*0JZ0|8zo$I^i9UKC-}~vsorN1KqW9WKd-=-C`@P?iWwSAO+c!>wCw~u~+S13N
z`*ewFas1RRrc)>QWb`ar8oh}}Vd}*4TQkMZs7}2U^n6+@-_&WdG;){hd=j<fQ~GJ&
z=#5rEGcr$|32rUlBWk)bWM=Bg>fL|6*VO&`B=NH>PX3hK`XBceRmR&%PtuQ_I?u_^
z-=!$Y{EfCK=QOt4IWL<$lx9x~d%0)+(vv=({!*JRedQ{85bG}$H?wNl+38;M)7vVl
zb+(_j2+H3%xj!RE`RtyTlk|$$EiztiSAP2Ihw3{U%O>yTIQOztV1copL~+m5%iD~X
zmL;89^xWXZfxbD0w`cZV*`l}V^|XE0dza2TXEin8UEwFOSWT0+D;Xw770YX{43*rz
zZuQ<RR+6hrgvx@~Z$4u5)XSzgGwIH3H}9>&g0IcL6n>kzw5Rlv=GnXy@7mH!>!VYq
z7N#$^%ehh#rT_Kbp|?S6=2)$ny7y%Erh-+b(yE@9tyZtS8hPi+og3TVTHao|A}r@>
z%U-`%IU9?Zrhl4X>%KPAN7DMs<uvbX-Nc<t8`5>RbL|jGzIac)_?pufHsxN^Z8u69
zl%;f+PSfQMd@aUS>wI7*_q3;>%;$b-2t8l4tkW*^Npsk?pom);+Dw&yH<-n}Tdn#{
zS?tlJ&94&8C%Ou@zOC>|oi2I(!K4qdyO_RB(QMS2z2B|-=aDP#Jg(=c@o&@kdB-{`
zK0C}e^z+MI*1GCWr>^bH+}Id4>q^llsh-=bbh^`)p5b)t3u+Rb_48bWW^z|w(V4K{
zsuLDJ+jLuD=bMa8FD_Qu%)N4nS$VsU;Dj?<wZF`C-v8I9%x1c?lh*Q^TBe(qas{37
zUMjxn{_Td8eD$s?{XY-&21)76?C+h+yfm1hYfGx0<TNYQ7q%Cl%-MTPV>9R03B6x@
zrCn6a!+h=58Eu<ZG;K=tp)Vq5SNphF-I81V#^m;#<V#&kFP5in5muGY`trs0`@Pir
zMrq%<)W1v(icc(LRz6=LxkF=h2TSCSy<J<~B&AP3J^F-e;!bVdo4e(vP2t}YYpZ?u
zkl#{6t_KF)UyAGJ&Hrt_VB#fJ!!HNz+F$KY4%Sj{b56cj``h-nRC)jH=c;Pc_pzHs
zlxY{eH4U~pwutk`yR%hy4sW@8{l~*{;evY8f>rk;56q9rU)*(TUBk8BwRf(Zi+y`-
zw}Wcc9(~@Nn)i|UdRyc<n<v{;n#9Ky=e?S3)7-Ja@r!oZL>VX6X{J%Snnr7<aHe_h
z(b@c6y>~%?*2Sz~rgeR5LhKi?C<(^0TGU77NT~mt^P9aa-EP~vIfa`))+`MY+WIzU
zJL9sFT<cwa6ROoD-&~M*sTA@^<7Qv%RJJwdpBT>YiZc1}{+Y7#L-@p{)q(5ptM#Yf
zz4*yedwb=K<2g?s9GK})U+}?eotWd--LedPm#u^tMKXo<)ZF^J^NjQT1Ls=9^!EBH
zPmVghg-0}J&HC?LM-JGq?^)rXs>>*BmBqXxU{jU#r8$mCZyzwn&YU8_J;C?g&dx`B
zR{gAAarx3(;f0C5{<#Hrq#EpdnEv!ebA>pFs4jk)9<^B8q;j&j?8^napWMud)%|!*
zNxC4Axo*n`cYe`J+kH4rT)UREY1g@v71bQhMzSB7PqH`6?Qm7x#@%}5m90toN@iB>
znXGeH$TXzg<Joy($AL?2b2rtir4?jbG;;jwiq(opU%|AWG40;%oaY<YtaEsGc@}?b
zrV6uV^I7Y;HgEbE_diWx=G+jn{qqi|<GRWV^(^Ly^>~XccyI7<vt>Z!7MHhc=Kb;v
zQM#0%upr{jswzd_Q=83C#kA}4N0^2!U*vZ7K<^1Do1UA2Aw4njZADEFw6Df$m*~9_
zJQB$|_u2jk9iNxM)hCxdEVbUkS{Ndc;j9#Rv3bFtZB2G6JZmJrIzBlbQ|o56dneDE
zO`>&g{>*+pFZ<q?MDcBm5(^e69Lnz4vaUAEJ6%_e**1Ei=(i=|iozb1?>48qyDpje
zDaIvrnxq0}qQ|0b(ubG?B->pTxpNdHZg|~2{j~1oVdGkb-FGvxl^52CgetI2WK-Dt
z-e}UAQqASg-{p_a$z8~tafADuOY8=%Mhn)HKF@ny6A$P1{&1?9`-o@una%f%^jEU}
zNj<Ssr+L}Dtvg+s*SvE0qb4H6HGAik)NJOpTG>$za!&du*0}6dP`VKEq00Wt%=3Kz
zl$alFa2AVtx8UU47yJj7=_*u8)tucG7&@_zyJ4&1(U?~c_P9?wd5P2TLbPM!bdIcy
zr?ahjm=u(28Y=TcSr>M^Gn=V9p*F<nwnmD5M}d^f`*p`VJ{Nw9yOVV7(TgO(DYp`8
z3QIp}wld7tb`JTuh*L_Sc!KZVFRYo1*e+h<ifAxs$U7QS5wneH?do3VFvst&FUxax
z?A3e`+aV-e*sgT(h>hxtvxOIb@>wXbbxZ542~#<$rugr<gB{~?20_E7T^f9astJGE
zw;XojeZK1159S!x|8GCXiidHpO#XVQYImvi0g1SUWg)r8ba)+k4)U_Sd(_3pQRTYA
z!SUDyhCL-!52hdKwW@mb+r8r9@(-rW2|^uZ&olfzE;lA|gb3c3NKO*^78WqQsK3MQ
zWyw~@E8@G~wZ3o6zrXzFS)Bu79v^FkG<F|Mi!$WgP~+6XXK*(x-eo2iTYJn0rA4jh
z7|zex>~Pwz?To63LE;{s54<0`8XPr)-U_#V+gNkAd)5C*Pu^ShwNJZy*YLKkghv-o
zf5$ZS)9W8E6;>~-pUOC8UyXBJ;zJ7$W{Wefb2Ri+wjZ$aI+u|iXvhCPQU1V}qAQKI
zE1RFb7X7h>&F<vs16SFe@(6jchtJf~kd3&@%H3wj^p<5tb)&+xhKVd8UAun0kY6A3
zHSD_gt&q9DUY5-e%WAN++QfPLaT_O(gUZ8wTo=6jir+H)EsEro)%3A<YfX~mFHhOW
z)c%rT|Kx7>S9*&Nf6_?d{dl4&Gg_Fvv1Oid#fI>E>rQC6^u4)d{%M`WiiYMXfqT6_
zENv)I%(~J0?33K1*9_`X`2i;P>ZH3LWu=z0znSB|F3*DhTz}&Y<9CvsF|yY(E<T<8
zFia*?DP{xv<h=4|&cnGsM9tgwIcUtt)t=+B!0F@pE1Wxn?ysAAFuzp5X|3=--kJIh
z)4tArF8Vt|GboCeLqt5g{a(x2m!^)%lC9<2qW`qM-uLd!2Au}hr*}+ez79!|5$Jq<
zY$M~*YkUiXIwt*FWxONo&~|6fiK>nZO_ee=RsK8?w7Ao3Q0RMG^|jm1OI;f#<vrS{
zajD0n&-77dri6xwdLQ#D9h0T5tIN8M9B#Y&Eu{32tM|dC-O+QK!|FcD?R5S-xi0^Y
z;C6GJ`=Nr7JeM8{E)KN*)@R31E*$n&Yet8;-rcC9R_Z1`ZVzVOm5iBXICuWlPinsu
za(OK7i7B^;96S}iYkSNoJ1Jgo!{@t}&ktYEWU{VUW~oU6M@Dn!zQd0NQl?1C#cQ+9
z)QDU!ylVOHhwt3x%~0q2%N(m^YAWOA8ZiA}rqp5&&4ot`zFcwd`Qe_r^UCeU+X0U{
zc3joJ$CMs_`CHD#1v66LE&eY!Tf@wSLr89`^TI3Awogw7Oc79H=|AMoxO&kmt_L1-
z9tW`P<|>w35*d4&BP?P53i}+rPfS|r>Mp(0lvC>tJaN>YvUJtA*^T#kIWKu0IqjgY
zrP;(JsP7cPY2@iTTmP8S${$GzW`_%MU0!jna4!r95kKnd-&DskQC3s(!)NxCr7T4q
zC2?O$T{A_#n}%p~bxYrAke~2!=RxnLg{4+aA0)#9FRc5q??s%2z~Os|hTk}y9$a+v
z(U<)6xWRSv?sINJi)vU{`QChRR1vLey1SuXCi47^HC@Ly)=fVBCQkU<E1{e7{;ptc
zE7N%WcgK!}E7cw`dfs|D-E-ktwiP<{haTSHe`X}wu=x+i>EBBZY~P@1`qD^x#{16P
zv~v9!+OGot-gG#0PvK&9QI2$DK;tgaP3Ia8yRH4c>8+)$Q)%F;%MM>Tf+rPR>&;&r
zTK(_y)&s5~6=f?8{;ptscf@{ieQf25`HweVG<^KY`Mh;QOQfK5x#imhhZ&4QP8_?^
zusikf#Do)!b^3d6p7H;;$7rXAdw|sip-=r09`E)|@VI?3^oDhb{(OtZ7jov739&Bo
zcImIasrzGl_Jl)+?igrGC12SzFEn`KmBm>H=E<g(Em40VQEz<xd-jg0`Ip=0KMUX9
zZn=y1+s(qM^SoE^8$WM9t>+|lucZ3s%%chKu1&WuDct^`{nA{UpN^b=(wD#M*0}e>
zLx3-(==mNEo|GleN|$ASU9NRFc$$2ur2W)a>%CgP+E_eeciCX{N<FDosH$;V*9N7I
zUEvPX7_tM_=B{{sz)C#kkmQt$(#slZbGY~#dy0>0DIUqtnjl|tpijx}2*1bQ9~1aK
zJFk7S{5hvTLv8*EQTOd;OGWhS*siw7GPG+lD|Ab&SiM_TdYbg=`N0+!q}-NCostuD
z(5*cEz;17@@u{teZx!zB(puB4D|AJqw|V=K4f$_3umvTtNHNdbd2X)L?<Y#lfvG=l
zY8a_Z>+UwGPErc{!zfx>(y+th%cVI6rY)zs)>O)E`1rkK>AIJjoc&G2yh7)k;+X1S
z#ZVD1YTs6VHRSJy?nehCeXA@Q&RvjO!|8LPqJby=6?<6Sr=ATiU#-@K+3N_ZbjjaK
zKQ5i)@qKapq?X2mS1xRRmi=*al~jqc!%EFJry5ybIdZAk{}btPIlJMWTJr;&zi*Ai
zSUKN_F>g-%xBRm4KFJXAC01vJFBZ1TcU*b-?Cx!+zZ=vaUHr3zm;D6Kk5ASsXNd`X
z_$2dvVXlU)y_8p;?X%)%?9&_AlBybgylNZrN?sd3a18twuiO^z{BN#c;i}_a&d1kY
zzpu`2|H37@{(nJ@?w*}N>bC!MTBNQ%|9Q2$YvJ@63%{jiWQ1)wz;30?ds<wc>D3>T
z)&8#x#p_d=Vq0p3&0N?f*&D3>^vfn`e#xSUg4$ORJMPpcSjmXo+MH(7J%919iOQ$0
zomI2AP<6bi{keen>;5=}*=`>U-f(!;mjr)${r*ix|Gcc)%f&lZtgZ`~f9qC)<hrCc
z-K*~YyW-w$Y`tnN$D>(WbnLIpI&hmoVnW~f`vPS)4-Wo5Jl|gW(fegT<EPyaR9V7i
zGUI9LACcTj!_Wr~KhK7A*!^Ny>{#6I+j^i$VwPtxqp*ab!L6r-l~H?}K1SGisXE5Y
zVBNJw;ogU!u6C81-G}u1Lwt)O1z!j(H2eN}MZctT_6`BZmDNS;S?9#=$t7~KCrE_V
zr^_pRXpc~kQ3_gL-YcK@$mvho0r}0$#)}Rsi!@em>FhfBXwJmo#cR#pJuPJ5@c1%K
zo@@F`@1u;X7l-L8`?3C6_#r0AvNov2V!fF_=w^#$JXu`aJx`r8em>^54?m${_}M)u
zJAV2#=P8?(Zt9=k5^FL!sbz`POrI*Y6c)30M_VUIKZ#}LTls3XLcUE3^9iwrPOGU(
z<|<Lwc!lG5i&&WQ_s#I%*^uqLaN|pny;+;J_hnDeW!k$dmE9oFaoWS}&s7$QZhyu%
zzx7U}jlajiu-+B>)pB?9x9&L>c*Xx{^=-3y2Q#fL4Ge}NnGXFwA0LkqY|%@6nRk|N
z!>cvf|8m5fD|guoPxOgX+<Zy@D6g?z)(ll;W9hwS^V*B}&c4>*y%fmN7RY`wxiu&F
zuyXHlu^)?1?a~Vp-pYEa>Ad->=t$mdwdKZKO*0<;kD0l+l_lAKwW5`N<qQ=&N7uP+
z9)icGZhy?%<ym?6e4piw;&+o3%T6s=5;*^PYGJ4Fmm=%VL%JRBoLdv^&3_#<I_n;H
z^!z28s_bh90vtIG6C@>g#b2JTHDhA+GCQ`CdG}4dR^#`#Dmkxd$4|0*yNUl1lihsb
zPkG|Zi$5>g{%b`B_jZrEbKcucX6)SM>u#YWxWh$UYvGZFzhfnsZym3#I-tHVeq&d}
z)mQ!z9!5`mGS&A;eqT^r<yxd{a)I^o`6U<T*U1^1t>b!AC1=N8sM>e8_s)qu2_Cx^
zFv#5P{hMyT!}?!Hg1z7SAD1UIYu&8VvRK%)W=5>H!P|z}xxY1yTPoRF*Kv5cOcB@|
zv{1=DFmGzoqhl}lD{j`$Tk~H)@7Jqej7+l%en(2VT$aqb+_IEoic@83ebJ@8kqOgS
z=EQD#e!02eLG0ma5C5G$F!^r7oWmgrGM{WYb<^I-o|M#jq<JN~?$=qTV9lpuED}ZR
znwA9z&nCH8C@}Z2M#$<oXz`pfQ|Dsm`tZN8QKt0&e)W>`qJ~eIdFI#Yy~q+++M;RE
z@pGfi>c#Bcw%<x$l$fwi@JcY6{l$2a<9{Yo>CV2TPOBHpyJOvOO+tCY*>If$hnVD=
z{ANkFcc|`EU{3p=7XC7%U|s3sn6zVzi~(zk89gGkoHBkM^o-9t`uF6g0`|_Shn;tB
zWqI~@qkQB-`T6Rb9hg@*CTGu%zplFD@*T&F06v?|4SFBkcTKj~Z}9rkDdC12bp?42
zIjn1zGCX-88o~YdLQ(e`ri(M=Z*e@{e%R`ZTT!CF?JvQpmd7rAmgsoaZ}ZTb;cg?d
z|5u(h>uz5(_$Oeme9q(jHiP$1!+Rd?FDneJWc<*%gMop8x!B1wgoA_Q_Cx;%3=9ek
zo-U3d6?5L)&7PooJyHIf@#f~ab88bA1r#&`L^5usrF8pExg;?mv$bt)%%!x8%jRa}
zgdWw)pQ9`0Q{!~iC{*L{(jq3Ypr^hMn|Y)*g-_j@9ClIes91_<MuLxLqD)&<zwF7N
zlhb5^VuBaBJlc5U`JQ)oX7h_@nEWctE5E<*{LjBx_IGaIeSWc4pa1=zLci~q{Qo`i
zuX}p`pBDoNJiGby`Fw6g9sk|ZAg)99lUfkH!2&@)d~@@?ZS}Y6cDb_id*%21e%Jmg
ztnPj7{qkpLzMH%X@4YqaD=z~BL&MR{K^rokKKaZ4XJYf;+3WXyd%ZZM_Wj=fk>3lx
zKkHq+I3(!Bo15=rt$!XkH#dA;{Qs&=AJ5GEKHuu^gMasWugCxYzIMCB_B}P%S6=2{
zH*ZIJYUS4J@8x9f+}!#3?cKZC!mkhf``25y-g@IRkOOB#vR2+d8T@`<@$c_`Ywqsf
zwCUR0cRu_4y}eKWt<$eN^YG!n&aLHlcT{e@Z!I&$a%0*5hY#<m{QB;9yia!j``CJm
zmV(#Uw)5>S|Mj=v&yShL<@E{q?|)s`oN;>Y?fvF6+rV}d-rSR)nfdcbXL)S(U;CD&
zPq$9yzq9A#d?yZd|9!u|%zR(>^!ERJ`!DS6cZ<)zkB^Gm`R!N!nt40ke|h=dYTG8U
zUw@mMqs{Yb9&gw!?qpH@tvcNQ&St4YD}&$jD(?AqYQ0>^`zf+APCLHudv9%XCpIc7
zE_Uzo+jnbgZ(KQ)SDs#(`SeI<`P(}`{Wua!zvgfx*1tctF?sdL&N+6U?`CIz*VmP`
ze)I0mj-O}$?tOi79mo%FkJSFXaC_%xuZSqFzjZ;MR|dbgt^Bn2c%SThxp((={@q>v
zZjaFWlQVbQZxERlU->oso{yZfg~g82^ygDm-b6=5Srvc(zGkhhfKz??^Qp7V_eCyU
zJ9+s%;~Q7s%fEZG$Lfc|r7-_H#piF@7d(D;b*}aLJH_wWtJ|y1^I~d0dzF<Rx^$`Y
z>Tf3w>)rX=cWl{G^Zh3Ont40)zx=i?-?zEuO~s4vmy1;x85kI5l;7Nw|Mke;y@#8d
zn{RtV49dUz=WX5o?Yn>fnz>uvs_xO7d+($bTb3?;`dIzl-paq*+1BUZ{dM<nvvp$S
z&oeK--z|R69$)?SI-BODPoH9Ee%+JG&i`#*O!fC(>H9kh|4Mr&YPM|HR`&m9b>08+
zeSh<-_ck9|_x?@I^Cu_S*(&d!+{#||e$S?wH|tW~zchXyZT;~;@9X&YW#!lW_C3E>
zZU5ud>i>BH`t$5Q|GRp1bN-%>^1IuAFZZ{vNcwv3?%nI`Oa10n-ajeKe`m+X-gghr
zojSF$`rN;LaqGA5{vCDmX>^>`wyH<-qRs2oIe)WVTAh9Un%s`!=eO7I|MouoUDWR9
zZ{EL`yL0nqrS83JFOA<@mwwuvcju2kd$swrY2ojz>Z~rm>)iVL{Jp=8udnY9+mZF-
z$;t0A`~Pi~zP`UOC-v>W^4j`Kk6s$Tx3By2M*4c)=JFl&udb9Y^_Kx>#R;`>$4^dv
zfAemwY0HNF^{el{UOR7xdCP^@rQg5bi?IH<?x5l7)!*9$*gP-4JGZ)e_xf`F^4;v^
z_jdf-y1Q@f+BIvYnu^(1)c=1r*ZTg;@6~(%C2}mhZhhna{;6j)bXL9HI(6z~ZSCyS
z$HT(H-|yZ0``eQpOP4;KtbV`x^)>VI^7W;=cbn(O*uHr;&+6yBgZn0{->-drE&u)7
zSbI=<{TKcBf_K+ktFN)<d4I0myC>a#ckkZ2*YofG+dFx=Tu1D_<kjAZFE>=H7oBnZ
ze(vn-`)|tLzj?Q3+xGIe>mH{+&ehe`op1H^!P)5jdyAi2-#vV{xjA~~(_QNRd%wTA
zE5D=ct@)`u!5!PnYXv^YmX%-9ooDm&U9|cC%m426=9Pax_BEepoiQkXcR!K+{JU@M
z8oB+izkD_SxBuYnxpTv>Uz59Ww=(y`uQxaCH*EP6{WmWE?UTRNyRWmo4(*qXwyphj
zaChJQxTq+}GpDV$?YYH!^k?{=2k)$dH}Bp1x;lUD0o^OF<=?&Cx3BC|W8C|M{}0?Y
znOL+Gyt(ml>C&fvn`fV#_V=%}wzj%6$ML?o5m8b1?$;NG@4s(-WB=D@TO%wt?kRb5
z@Atm<vTKjL=iDK3`{%Pt**&#!?d|Nx`(*pKe+}dBKL7W~t=-e6hsV{wz0S{<H+^eG
z#g5<KUdNR`y^*!*mbw2n`CoUNqYqc}GcYh5h^chHS6=k?Zer%kM)tY~XTN)UE4DmM
zUcLA5-n)Cv&$a#Qy!!jww|fz`b>F^b?>Dq~0<wHV_48lS`>(#1{qlQn`TpPgW1_Uq
z9(ct5{rA$~pQrBZ{5-e%-OuK|b>FY8z3-X-p1)|vKkMpESNIimTI-gr4O#82*b*N9
z_iBlgczMN+>->MGPTeZtHUHS`x-575FZWMzoW9+a)^YdU+o@B7v(@D-cErv4{&d}w
zpo-T=KqW&&PX7Amv0UEj*WT@~{5*U8-e1}I|Eiyc^Yi7+x2de>Q2g@SdiVPI5xf5%
zxmDY~xB2g1X~mZ0<9+Mb%-K=-c{@K}o~+zEU441(mw)uWTrQ0J^C0cp_x!KF_a>h{
z{{7z0O<T)%Tz~()Z+TvI`JW$m@4n09SXd1bdFQoO+3%W&d|CPLzxN&(ii>`&ZvVae
zy5GF2_m@6x{PJz-(<XNL<*v7+-dNd1w9LM2d!zR6*Z&)KRlUDkZXdFD{=>Dx{_9Q#
zMMUk?u8wv9rLSjqZ*RQvs<V1p|J|*{&#m`f*{oJp9&cUwY47&De|{W^<=?OVe)o4@
z^6BH{<?+%sDT}Ya{#M<7Jp6pwZfoz;$KUPy&HQo|KYw}u{nGCnlUM((TYvriG5&MW
zv9{H(zLdxB{wDo0J^sm;_}aJOhpnGq;JtTm-{0!x{`>b|x0bM3|M<qK&fEEao+aEr
zH~0M<%g=Y&*|%5keRneWeWc~KDuKLxk*}`3pJVlRU)}!Q+rPVUoIc(UO4j@Sp1b`#
z_0EpMulvet|1*F8KXLZ<eOGOFY~CXB&Z_R&lat@~{W`TirE2QiM9=8Ib??8u&7W)e
z_wK^_9oy@ZD>I+2+wFIM=jXTE^>fOff4%<y@a}tG+u7D0*H7Mc(z<+K@vk$#`T2LZ
z@7;TO`M&JRml0FHo&W{anTgv!@7ubSo$p)TmwS@y-oDvW_w3B~HS>0)=YQ}0yLa~9
zd;d<wW?x@lpSxlE{r7u69;>%0{_eco-~Pty()_!>=I#y(K9+a?-?xv|es}*LsNc6`
z%b#1?`>QVO6}Gg<ul%|0@o|5B-mr($PTNR)e|s(e@429eUBBPm-@c{h&4%5@Z*S$R
zng7^b`FVEv{J#g7`TvOTtt+p8|Lfho+viv8Eqxum_uj*k!SC&gpH)}=J)HNw%;pWZ
zqKw?T{oh`#pKJH`!OP41diwXTzL%GixwEhCZ}!9u`5DpM^XgXLe?8ag@4nsB>+dJN
zSNPxX;PAV1uh;+mRr~(e;l#|B$G+wtk*?Z(boTw2IIFVrwe<x8Rqx*JHQX{893<11
z&i`|A{-0C(|4z*;Z$24a^`OzdDE;}=+uQ5PZ`p#f$^zEu^Xv6e=3PIS6dh@~v*`M*
zga6KMD0y?`<aa&!Xjz*YNl<0bs`%d8Yucfg!TfU8)k<G}v){E|zyI6o_V(YG-wA_k
z%ANFGR`G7L_4<9kR$qR{3KB}*V)K>{#9&xkSzUL3eeVBDBELaaGMIc`_|<*V_5A0x
z(b3VDU+{nw8B9{2SEE&#YpW09>GWwnsh#V${PIhmeX$^chziqr=Vx=i)LQpncFLv*
z36R*aSNVV5?iY88_<3cy-Pftd<>aeM)V4{VxtKle(aC=x6$?t||2?zZi9<X7_pR$~
za<k?y-oAC~)V@ETUKbnRzHItr@!^_-9&>;0WpV+jmSCyX{(iSSKHBtI`hVV}g8_0U
zLuZ=JSkf}H!Z6nB2|K7P6g21f6}Io+*Y(S{$L-uTc~9Msg<Cz#wU&ELm~N+bw;p6n
zM9xc=e1R`(|6HE`-+W?oTJWY>7L~K#%=&wdnSp`9LE9+!KAU5F@AJ>+ri9It0WCCO
z;C_7QXRpAaqN&cG`JZ;&pPGN?Q~xKBSqx4b+8{5Sv;Fqt!eb-v4ClZb;y0tG@rSM4
zw#ImC7f8*4z<^}i_ZK48erPz<v)*g#$HOT#An^&|nUKIV5QjCyZ&li@zq%D9X~2Ev
zJ;*r?M>p=-x6kga9Y~PjZN$BM_vV$!gE$RkXWmua14Ti}vb)`8XP-%)O<NC=$Vf}A
zt^Mo#y5B@&CV!{RR^{A++O)T`&Ol{PpZfOg+s@;1>!Wq#rDrOeUCCLNv-zerNaw7`
z%z$MDeG#9`g#U=<>04XG=O(T^^lwV&rKH_g{dI3n+7~wSb=cBvhxUn<ZSvxM{5o`M
zKPM>paY{V?T)BPQwo928uSGirt_azt9qa#4<WNd-;+ZKek*SIyiBGS3Pn{dJY5ST<
zCBlp6RIFWXwJa{xYvxOkegjwMYoFoKbtsujc>AWC^`)UY78W|fW}<pleI=VBR~q`J
z&psPj6k0XaPVMhsP(n>8NtKLE`cZXnVQ9$AOQuIH<Im1o7k8>;+d=UK2H#|VJq0OR
zuuE(5>REU8uV42=_R+DmH(hpiEnQZfwOP5A)#$P!NX3jLPuWtH%%{#?cPQQWN%)Ur
zrrM=bc7j8E^Wukp_MH(rC&(}N^yRvbr<A>YS6`RZ4E=cJlj#%gzPd*<rP|(Qtqz~b
zdROf`$Sj|WLHqB^+pK?lGkqSPV$9B6llMK3dY1e8RMYaCD+}aya)82_d!^3q>PII*
z3IF|Vj>$Xg@9)@|2x`<Z#Qd7w-*)uG?=|Y6EZPwN>(^O>uY1<7&G9=n{aF@BuT13W
z*RNk+eg{e%3>W&IzJ2>P6Kpd>#_>;EtU*c`wz%B`Wd??BXEZu_spHJ<>1L~C${zl4
zYd!^XaKo`#PihrgxaZr6+dp{pTrYiFiPhXEU$0#Y+gzref8nj=s}E}=s~Deu={5|m
z@n&RTXmB~a=lzwe!%dzl6a6ZUcF)RG{WM{=&%Fm(&-e3ZuC0%by7=R^(d^|Q2kNx7
zZH$dhvwt?@ubkeVnl)nl?9W}Te!nZRT3mA(VcNI6?RV>zq+Xh{Nwcw)F~CN;D_?(&
z%Kxeid9Lq#wrZC@d+d&mj^0`o^fc>8Iq%w?zjjWan?Li=;Z<L1GN!MZqIE~^=QfwD
zK8czIGf%Al_1)}#`=(;^^#TkG41G<@D(~Oh@o8U8(Zu<`rtoV{;#gyF`DDB7&#-OV
zww=;C>8<7SYg$O0#4%AZee2y?tjb?q^b#IMs;_sh)S6<yY|ZDN+Qxa#)p0kLb}gOM
z{5d`LyY}@{p00KW&loEH3Z3)kI12*<gU^|w%}Kl2+dtNezJ9qRL?_60-im#ETf&|Q
zT2^ex_F?pTebsH*EmQ7Qk8FLGhl>_p-E(GpYQ}l)*(;*6Wa4**X=Q#375Tu(z;GZb
z+hTwI{@dA0e{#C;r*7VUY2!sfPlre8cPor;sfeD7%)a*d)zVkj?w^|aWiKd&%*vec
zU3SZq@4gO^YL^~e7JBCKWQ}?Ot5IQS_tn1jA$6Q@XZ#A@IBD@uu<BLWJLZ+|zuo;m
zd;9dWQ||uL>8aGa{bFkW%4+BL&&=NOJ&|5p5wY7={{Bz1)t17V+kWhw+if`;R4DEa
zyLSD${g!_oca!cOE>x}hshO}f&EV<c$%nr7&rDr7(Ou8v-M0&VVr47C9D+B_(@Kv`
zUHGCy-ZxQxm3XI19q+UqVfv<DidX)as;wPS5wZDw?omEa0_o0u$zK0~oxSq@=JPhP
zPCJT9pFeEBHtFun?abo(xpiM2&+obZ`%|}mjK%(m_l%PKOyW-o9cJ@PTKns{Q%dWb
zIrA>+%znL|i-Cb*Lg2K!wjZAaE4J+aXa7%s;m5zf<LW-P?s65gD=aYHs`csP<nC)$
z@vaOE3>K%twr$^j-u7F?TBDhr)jT1Q*_B6TW}8Xw1C`eWQ%v{N%eS_%Y3Hiy7teZd
zCUg7qiQb^m5BCfA|Nq&~si>2mpYOk09hB7$tkC;=)?NSaS$FAs`$3Iyh8ddszkHpo
z*zz>99OOZUjNYG+(H0K5pZAO%p&4@F{rBvZ;9^{-Ep9!m{Fi{0`4?^8@2<$)d@51=
zT)xQ)aLJI7u;gd0xLvJY-GQU$WAnm3Un#YkD{$!AwXkPjJ3<W?{Wv<O+uQc^T$%X$
zX+PI6GB6|@>?!%bFL?D<ZoYqS{AWk7C=_;Nloc+k_7wlkJookH*{?zM-GM#T#dY_8
z{rc5@O+It=CI0^x4#)p|HT49er@)1mC029K^*m=XzPDFd^<U(fqw1#Ob93%qw8;i_
z?z<*l`+V=-+h^uwa(@eMuG_PA?OLBF(`Pb7NC+QM=M=j(A*bhz&8hI{2$kB1$nB?R
zX{=tjq4US8s|#gU+&lT_=*mm;4|zv@`)Il&W1^BLKX<hJuh^^$d2u%rox9!j!t1L4
zoeJMM>E-L-Ycso+M{e}klr3f_1&X{!Zl`~L+ojlI|9@kDi$LA8rTWX``OB_O<!61g
z`TryhMawm7+G^TNx4i6XU#h+4(r2F?k>yp%U$<z~7oM`R{PIYoYx=1pCLe>>eX@Mk
zedVu1bf$Ton`rm*)T*GevXB1u^)(MI-G0dnYEF82wZtA|Wx|B-y7~F}<{Epd3wBf&
z%-AE>QXBtcXS_s?e_8KIoj+UeFW{e8k~1O0Wz(b|IqStj-}vvTxOw}>!QTFr*;C50
zmsaG;nti#f&;46!d&E+YW#MaUf-e68jm;fMdhz}D-@5$||Nj2Ad+(F4{k4z$+XVhS
zJYS=^xA0@m-mMIlmC@VVE(-55Os#o*dBNeu@z2w=wndk@3BM@Qo?qAOwd~*8+1J8B
zjg)8SX1}i74oTN{53#@R`BwL8`F1`rt2fda*`|3F>1~rbjaQW<tXcJ4U9aerv-Jd#
znNJ>_UHJCc`HVYv<@O$8oA2?Me`74vWi^$>w)vY6{k|J#H2eMgx`#^--u|+Gp{YrP
zwpHw8Ppe0#4KCNt$g4k=9@TlN<89y8+n0ZRd2F;-Dt>y}!xT{R)B94jH*Wp)50$ca
z565vlRJZ$o^hv4f%*x!C*JoO$mQG%_&~%DwkLdEvxqCmKT;4j>y-F@Wb@hvlt3FD(
z#RSOgw+Q_;Szq*hf$PWDF-yOu-CwHp*6rMis_oiZe_Y&RF5h|}yz<lDv-JX#|7U=j
zARn&%*|)TAzkS5{-*1fl+XdFe+^zhvaO;x=XKpukPdBsw_0j)WcKy$z;(BxLXY4#}
zymD=4SMuBsHx_)_IlBSW2-)!A)TZ5_Hg3y@{dM2!xfD(2-2eWmTYt+%=X)mE4{xpc
z3aV2Z7T&9gb8nvHp7QA4kuy;{%(B5Pkp*3G>&2zczgIS_(lcvJSsNxi3DkaQs5H6s
zxe{E>N~Y97@_W;>@8FglLt5`|aK(M#QN`zfwctt}<PHXdRdxICzyE#~tg6BF!9Pg(
zVZrwOeKffF=MO4*8Upw3oL3HM=v~pO{CFvC>S4V(_cN{-f@BwLGr#^hFF${N^_!2o
zTJ>vw#r$dLp1=Ffig2Ic<(D}Xb8>TicPlTR^;B3AR$er4O1%76yF4sgT*OUh)z7~v
z&$mBMJZB9m)Orr@{eDk6sy^;`d;N=t>ubJx?JjkSbvI_Uo|O(N7*#+G?)GDq_ut;l
zt4n@<k$?JIEsGtOPv%H25ly|#?X9|dRZjmB#gmC!wRF~)1&5{yh5gFi*BO-_xLSQ;
z-V;~7sJie?s`XhPuk+qoRdg+N?n!aYH<e$PeV!kFG`M4Rk>e#_cfI`0?+cpkKxL}&
zqxt{-?B_iDdEeeVj)&*#-zY1#%&&ZT`sMZJ*uvJ6u5Ln!C027cSt#F}syQ`psm>Qo
z>oo?l+SwYLwd1c|@D}U}ni`cJxKurK*Tnq2UUPq*4vk$h`Rut}rz%xlPgTWje7SJ$
z$vx{Xo%fiy@cyNm(1riXE#e{Fi{dAn=l=}hNZc9u@NV<ryUmB6d{ub!`_TEnhZ3qc
zY3B*3im-8=4QksoLuaq5a&g4tmUTy0WzBUxI&aD4IcXnbj=qkJSoPt7N9);hR_m^P
z*%jqG{py`0_1U#sXKfAr4(c-{Tr-(-fBXHns_X0D2-h36eBiHt=KZqQc+tBn+isdz
zrw49ScV3<wwz8lr{jS$#UagtG*lmA2xHQ>(`E5|@TF}^5dH<mG;=S{Ky<FRTll%9f
zMJ!^uXP<kyTMEDMOykTtx^?5(TUpm%_&ygu*0=bC#g*7*Q19-{thU#c-*@j#F}r{N
z?;-Ez?Jw)Eu9ga3H*x>}s6S=}i_6n8LV2~;SBRBXU#eJ{d3T=4>J4AFMZLT#vh{~<
z@9fseptgwHmQDNi{ag6e{gv2jxo=J!_8))htF6z@G`p@7uQe|^G-l2WJDr_N6V|q6
zg@%T2R-N{9o{Dt)G+pbD75=NXOs$V|iEN!56A^Xev*7H!4?B-{i_|UndCom+b;aR*
zZ1L3$3=9d&biV%nTikCe=Tz}+=5l9_@OAHO{#=OKWc|79!K0;T`|JKp{#X@X_pz1x
zxw%%^BAv|(O7%=Z-NHXwr{B%1__R{s5NIl-_dPgg_uR1D&Nka75fpL<4rNdJ9y))A
zc;eFsEu6nWd8n_c?ep&_#p+oq;h=ew2O1eaYT`f=32Z093K9xWKxv)z>(~4524xin
z2kU9uw{Ks57gSg<ERenS8B{hOcr*c;)nRl*X27#YOV4Vx$6D;axS$AR?1GJImGK-8
z4=q1`lz+#Mou|)cskK~qS>nV2>V&^Lu_EoK%dzX*Bke%7Z^A><Gr#@TUemLPSM*qW
z@7#%%XFbfNX563GZu#DZfq`K|h19d!RJ%XU{Pj;)hu>N|`Ddv~@P@^e*Fb^MlQHA_
zT|~{@)NDQX%rr-@ply3Mglt-U>f0s}wR)dTs`jPXN19iE*Q$#+nio=ecfneNH_4}_
z^ww`G)lc}hS?<=%F7Z7{6H~%>y*%-B?T@9rz57%^-jD?KPk6iT-g|xT-fK|X;Q2*<
z_4Upi_Mb0JXU~6p^m3=?O~dHu=+w%9y6}A=&wf<+PqH%h^j(&-{PM}|a+W(bd_5$l
z9IjBmtkraS>Ef;vtx{FI%JW@k3hF29n^%#}WxsWY$HbELZ0%D^)$0FT(9gXYzW3Kw
zPzsF53(NWbpy2xhgUY|p?Y~VFI3!;8PMq!b<k-UIp2Y^LD`!VM^**ZJ9lA1cN?d6E
z-a<3;EzfFJ9%@z=<;z`t@Oa2ZkLG2{8x!{G@y+I%b?(QjYcYG*?m7<g70;R+XlZ&B
zv!-_AIeUn0^72(@%+~}(Pko%d)gsAXDflo~x@_O2YZhBBl{9-Tvzxzesy?WEFEBCP
zQ;(8Koz9*NZf;rn=+3&pH14pRjgDtqjkZtI_EwC}TphdE{O*I`?0^&*xBrts4sj1Y
z{B;j%t^6vqSJPi}_vc$zqUARp?RtLIt99-6t6uAut@xl<{n&t8otuGy;mpdm&%bxI
z?-e-YU-Pf~<m)J-)1uPTrK)!CUD&N;tR2T4zEkbHWY2fY`r_?}u07U$rhP_U%zpi$
zyp*hS_RkirIpnFQv$ldUJM)8Yx47r~-uwES)@<u4_IoV`s@^0bUVZ=F{QJA@?=zPb
zTeQQ=<?1qYZ_cf>F8FxqnY;bJlNEdQ_y0K5`dM1kI&j)lkVhCgH@$h+sXm`eF{bX{
z&I=WF_fPBZGe~-VXA-DHVu-q~@_w~lq5h#RP?Mb@Blhsm+O-otf-G~`EoC=f9Aw4}
z$4{VYmLWn07k#<LPM?86#y5Q3JD=U$3<u_b8U<bM>(;DaU!U=J;>K@m3=AiJ+~Bvd
zc&o?2Q2cml{J*fT&1;{7l2gOcjhpuFt$nxgc=ptt@aFg{A&|`%0uKNF9{c0V&L528
z_T@X1Lg)Iaw`|zD)pXh8<B6YYCAL^Rbd#RldLGo@e~^(i<NMsGwXp><k{1L|PL-OI
zwpM9#f#hTd<B2cNUtnfncotZsKkv`mKbN+@^n9;-n~%Z3;P3O&E55l)Y&Ng|m_9}1
zO^MZ9KlQ(6!MS$-m>FicHy>E{hVM>l_2Z=s4a(~t{@HhX_uXw(6Z(pj6#eXedGhJa
zo+ma_aGGY&cK)BgR=+uQ#b(Rlng2p8&n|Rzv$5D`TkLT2>zdhYV)H6gxL6n>81(;s
z+CFJ#wfyf!_Q~5*Z!<CooxXkhHaHg_``>$M`P#K>RrYztxhF0D^6?|rYJaZPm)h5E
zPbpL742fLNRld}F>Fb{PY0E<PoJcqpbM)8gbBi_{)sm_Kb<7y9TrH@(|L$Po?!OZA
zInV#mnxi_s&idLvp0l>v*NngDyt)?oal=Am_RGh4_zX6K%20*1iTAeOf4lW|KdbRZ
z&75Y*GST_>qPK^)9>1Qoah;YhL$<FL3#coQCH1V9{nNe`o_<!|_fM|N5sTB<nVNWX
z*6gh}B7`(&?FN;>0oRK*C;h$~_a}b$UYXTp>fKZCp3C<+7E<{{N6mh_p504*+nWLm
z35h)Ojv7|Xt#@;;vu1Eu^zhHVcZr8x)}P|NHS22R>TPEhT?xG9tEIDg&o9|`MzO1c
z3^woB`sSuo>(}%r^7jKP#6GGoQm%xp1rWPEY38Hrr=GJi7&Kpc7|WqJ`MzrPX)i{G
zC%VMfU$@@rGBD^gX@{5loMmQMRsC}Me$x{#U~SZbpFf{FJ^op%zyF65w=F2OGDKZf
zd2d_@3P6Um;KR>LLCKWCI0HHu=mVPkFW6G?jE%uSP5buk+s$AVlPA`z$uT%YuYsm`
zMM$gjD2(1{1R5hgFtPaQt8-g+GccT)`Re=ssoxnH4v5seVV9dzCeF~X^W!D``qjS<
z!s@yVqy6tO>bADmmGEY0%*IuI%Y~h8+`5%@ZSv2n*E;!MWiDN{c=6Z#Snc^u{h$mc
z5qlUk%Cxu1bHYT!>pPF7OgdGey|%rr(`T+T|BO`O(^K4YlCrZ`zp2+`II!r{oo@Bo
z;Qe3L1#V+za6j8J@A||i3O}Eu_9ZPYJNuw>x&1P~<-$L&JhPoP>tHuOgG}VaoV*R%
z_4V&|-DYf1UYdBXyn6fXF#b!CK`O3YKIYvi=08~{%~U(Jt^HGl_T{S{|GBmGc`lxc
z($7)7zj{~giEz=t8znXS5^qkN_*!7)9<P-rmiEOg72Gd6Q_jsxR7~Gy{XvoaDmk{B
zR^Mf8m|piY+LQ0cM)?YZ%II=yh5{DTv%kMZo&Npllc#&iu1J;WlQPqErs>Q+IxTar
zPO)Up`RmixtJKykIqLD+Ia<?a)~Y!VES6lp`scaPm*DJgk^FnFe9V@36|-fbe0<`>
zLyubHS7}{kV(30@6~nL~miP0%yUmBoeh0=rymhH2Y?9@gFgN2zhP|J+uDqYH?$nx-
z3(rrH$T{y)=WM@K>+`d=X;PP2=RA6@#KO|hI(;YO{K`s(123eW)&9O4xBKsk>`CAI
zy{AQ}<!6h|UmSgxcdn77TlF%R%}rOm&t6|D_tcw}L1)Q9t2>$BnHXkN^M2mfocX*~
z_?-JH{S#+b)TM8~IdNxe%x=^E^;ho1zB(4K1?s7FJWT`Dp+EMQRnMF@zgcX*WXzKp
zU1|1~QmeHl|NF!>zrpZJu=K4jIdx*ZdVx0&wwepe>}+N@@W#vk#pydI^eboAi@AS&
z%Wy#ON<m%x_kvlUe`~F4^^u>pZ)MEX-B+Hz*3=fN7jxNnH0{w^ms#01OZ9ADu6Y!B
zgg<**)7Gk$3+L+WZp)3`67?uvi{ZhG6KfuxeNvKoy83k<J44@;rFHx3-)%hZ%yHiC
za|y@8Q&;D<%SU;arQhR=*|X*6#r}Guxc8^^_Z2++<92&*>b#IM8sg5{<&TQ3?HMer
z*2Ua4WaVdA@os7SziSGMwNcuf&%f{e^N3sb%aqpQl=sfpPesa~^#&DCTULACOMfJn
zsuK*##WU8meg3_mrw5dc6S_e20tT$})-p2mbnfA2U{KTj?_<NzuuaE*H>e}TfVq^X
z?f(Avr>@TB`~sGjxI1Cb`Q8>#rJ2wdaURqTVCYV+tgWrR1@2Tb+}gNj?_S%t;7XL?
z?Tmj_@Ck)$IyYW|N)Us1*wEivqn|d}+1ac2>Ybf@aH++n<sdg6SQB~k-aWhTHy-nP
zsVQDhaEpF?Ci~!_O{~_kAl=VSpR&;M^=I&T9^ZQVbMTW%hd<qnOvy@2yPi<}@K}Yd
z^X^&G?OIQ~47mfIiRv|tJTE<c-s|b}eof~*bZQw(+NRBik{<<gpPqE&&%xB)pMJ(J
zVOE@VZE9%f$1ITf4!X!Q2Vd50dYLI&yn10`{MS`&VbR_XS@yE2M=V`+$m;TS@F?0P
zBgxo%AHMEM4LzcMTvTp;UD?|n|McvSlDkulSx&DzcHumz@zJn&<tdkq)85~o9=~kX
zz1!E6?bH?=-8VJV)IA&&tPPbLZ8lC@b!NutJI~i0^(?zO^=|h1yQ`KJft{qY=h^4q
zT<`Bsk6bp(?8a36po)k;mJ*`#b7sHyncDv088_eDO7WMuk)fjN*+5>nvgykE@9gJa
z!+SJK-pfy~v@Ug?-){Y|3Zx<-3Axliq;ehHr(k%j1}&>Ee)?Q_eC=A%9bun9osA6>
zrd_{&9o_>0RphYg0zSylL&MQT$jp-t-)r#bL_#4vaX_n!D_X^fAqCY2*Mt=;3=9cc
zuz}ONNr<7yYYU^S=K66YW@l&1i1r0lzLsTvcJWBtsjg(dKO5Ml_LK^+F)%EcIW_Gl
zxWn>8TW`s~37^Yjm3CSjWNl<MIu$Te;_?gwZsiXazY;8185lBVe80G^gzeVLl0Us%
z?lE@_7d~1bXusy*iOatdOsiVkf*BYZ+Q5SikJV29V>o>#t8=|YcSu~A^UZY?t)jc9
z&)+-a=G2*2Bgzamc(_Swofhd+{As!^^XK77$&b2=+xx;rZ|kmE<t2ZL?Ox~ECKd*U
z8ScKH_w8+~KeFuqIiJ)2d&4ETkNp?v`SWz<I^EdHJ%_sPp58M1zwq`P&f-4_3HMCp
zv`!!SytU`ahCc<fc#ckFT%L2I$9(#`^gXK<)~@*UpF8z=2FN3Qo7yVxzdQI)V{Kn@
zZ|K7_Q=Yv2@$c2?Ezz&}{p#l)O3Jng;hTG8dXA>FNmPtPbojpc$x=7nYCdo<FdSHv
zHRJo+^6K8%I<p^L@A|>Acct{4>XeWA8$6`=r%sft5tcqX%QR%h*0U!#co-N8TujdV
z=5ssoo9)<_=l3sI`}D4VdFb4e@R?KB`cD3P@R4NUik^PO<f}P1dRl5H%QW&XXJ9xW
zxc$zW8+F^o|BLI}_1Pc$bU9IN@@vt175g6D+wx_PeS%?+MM#=Y_LS8bWnmYk{1_P;
zl=EQ8L-(4kOle)bTiU{Gjh~AR>myR~t6s%Kt^|kwz1i=}s@nY0bU*9-N#yA{|H3&n
ztt<ZZcNPh&0@Kw7clRy~4SnBiD9pgHplhl8pM&x;Pil!NZ&_zZw}FODqrzch{in~{
zi#tU?OQ6!#bw7`a-+HZnAjv3%iGjhO()ZfuS-ngKQx*y_Ff^=0nLI`9vM;|2DkB*d
zn8MmH29VKwv35|g%fNt>K7MM8HN%D<dU3aW;^Hm#8y=m<(0$5+*+7X|bAv~k-uu@j
zR*Efa*RI{>wX}TdUN(uz2l<ch|9AagQPydDt~wW{w=>UJ7_XK0tJ}aReBqJ9D}TQP
zw<{-pvn>w2b*LwXEh#}pFYeZ!4=;;n_BQK+dKw?ZQ;aUDDNkbL>c}uS*K((SS7E=w
zWSQexTT>fYoh~<;i2Tiwo+!wZ5%~6J?Mr({>$&IN^y{bE&iOl!nft+&S6&<s58Hn!
z*z{C8ey`EqcMRMa2IoSi{}eX-FJHpgH)|KO=7Bfa#WCLh<IXI}3@ux_y+0y!g@LKs
z&3RK!<!G)sSntZHwW}iY^YQr>^7kaa@!qR@x;nh>Pv__Q*EhXC{!fzG>F%iXNxb^&
zLE#y}CoO_AURW3he3M?8lRx$FrTy<d*>7pP7GT(PMtuF%YaO!26AmS1*i2aVzaqzg
z{}=~bPjq%=yq$>md#%}`Gc>2ll~3xO`B+()XZBg!Gwd}CYj^Cuy>_eZ#DCnDy8q*q
zKPAWBd?4x7mXWZISJwX&&tLvUidHd4>VLGB|J$XVvwBTi*Jb|C?YX(RuD4G0&ski4
z#@{`Hr<eWGv7UqjEIQY9FI0MWoLjj1Q#`-XQm)CndrtOvz5Hl+-&0vR;Nsi8@80fh
zil2~r+gOUFc%o(_@3V6ZoAV9kP5G;>Gf9$Hsa~LM(nF=9h$q)$k4nwz{BN`R-{ZAa
z$Nwm_v|db5$ek|8BhlXW{eAbJAFKE6WvpM!RJ`PkdD7JTeW}5Jq>SqhIc0s@p7G57
zW|~@6h>V__e5l(>#YpGrdvZ4}JoGqwE616MY|NQfk=YxTT<2i(aX9>SPiu43)JoOG
ze>P-qT(!`MS;-+*{9Jy_o-eJv@^^P^*;!im`0c?bm!4fackkgd|9rl^E5kBM7koa<
zC+2T-PUPKMqjMtvmbbntcUf6<<44wt3gzi+_6qHKCM$n$w>8-8Ch6h+r(eud)y*J5
zCTsn3-H@{8hNz`!W-;A5)r=jtZ@z!`ro8^q=XjrgyxT%FZ(n=AA<fyuK%Z@~*T49i
zA14YfcvK*0x#rRO-4~B9HSA5E*e7Y3*mzaegMHh*pzW5*5(bQC=U<;V^HI2&vxQxt
z-rn*T4wfb7VynU*Cz@aWylX0hir$?2J1R1bTRtrR_hr7f*}p&gf80E{j!pDg`@vV2
z3v?bev|h=XbMnujlRDQ|7{$2oY5y(_|KYs)o&Rwk?bhWJGFLz1KhY(toh>*czLfpa
zpC4i6p6dm9W;Ebz)XABOHhVPeIM{!pG0junVNM}if(u(vLfn+pa(|njAsi1seLmkB
z`0Tr`O``k-F?-3zLgRA`JtrKvbS9O(yT84n1>A}{qx|`Im*+1~RXxM~8QMS}Y`~9L
zI$~xSJA>H$qu#SmzUF>zzU+o@LZD<igIkIMtC%NuWju8BzBf+vK$GO3f<Le8-|8>l
z_Gj?}ca;nCPWBjI{<Zgcxtal^F5i-ufu}jxd;)v-oX=nlIDOQ6HmJ_tT)5%sqvv|!
z|C(fawkVq3kg9I%V0-N2!E4I=ST0e`vhQlvX$J0=Wz3lxziyf-DN9^fB=+pPWD>)v
zIZ?5kiZwsl<@~nQJY5~W?7D0MBk!@9uZ-%I(l*&QD6e?uz-93JR?PY6AD=gVxSsMv
zJx$G4M<=v=_x~@9KKG7#&$j<}<mZQT8}dJV(~jT!>9PNu|Iz2;y8eqlJ`}h*C(Q5h
zLy;Nr&>~}kynq&;_{77PisL3-|9L+-wC<eilkV$T*+=>$JrWH~<UB6dvrhk;({0ei
z_}FaW|GtU)yB*y&Y1@WPn|eyUv-P`shQS-AEib<1ZNK)-<(K}GEq^qo%fHCtU4CGX
zwAH*Rn!ndC6m9Q5kvKE<=YJKM^$Q<;IeaL-cH*{A%FkcOezq1CbAH^o#SoNgPwQTr
zDi`)>yXM-W>oXQEeRTBlZFc6QufmKOM^VcNWxnMH?nw5ir~c>aPH}5KA>XnvWk-k1
zw40&dnAdzQ)cohY{@42h7whYpikBaBxTU8oVZb+ex4+}&`Gu*I886%WU*50Dy`9;|
z^=AGNt^Km6m;EqRd)(Z5<xT#@GjDdDap`9}ojF@_X<O9(U$4wUUVm3NcrV4X<Ymg*
zgOlPw4xN1Z_pDw`=jZQIk6rs=WZuxZv!L$rqow*ee_kA0dUow+>HPm6c5T_Yb#wWS
zpO<Gl=dTit;(giEzM*1L;j)7KsfEiv*y}<|qBRR2t>4$h-Lksm%zK{*o5eg!l>fPR
zFA)McId|Q2URCaj(|Pg%dsq3a-1KPTTeWQr!5cT<zkBojza!80&-f#qvodJg+WU!T
z*%A}tc-*G`*}v(rva-WbP;r?SUZZ(a<ME{#$2PL<w{K((C|8iZQRRL28MsWwF+TEl
z+Z+4;)Bc*bABt{ID-)fj8y$G5qIzFc!%3t9W7{84fg#{@vtC=yYEfF-ql@jq3HMB;
z(=SQ=Nz=C0*{uElc>3M>#jRiY-=?P|M}uk~rIn@=#Qv4e%<*~O`$sm5h1m_hjsVoQ
z$a-4KU}F43&@v!ZQr{u=m}G;Xq(@_Apz8bCcmDon=+i+d6Q;et59-k|_)H|wYCvyQ
z96xnId0ouinGW`#LZsm$@5$eCbs4!ve?eRZw{%!*9lB(I4@&oad<I#B*R!>gEp2mn
z=$ZWUpmxlRo`>h3>rQ6zkB*MkEp028h)J9d8ZT{lHS2k;&%8IFj$6Zyw#s;;uQ?kI
znap(-)w4M36RKTf9k9c2vv#pV<ZI{Z&>JTYi5c%^yUlHW?N#NTkgDokM|VBfRt1l|
zSw+peFV6W%$@S9l^h<{)bnP;7UsnF~@rIJiTdP8s8n>3F@#)<Ty>@b;?~_pb_=(^d
z7C}Rm_q&Tq)hqvgaL(?X?RlQ%%#y&58mkKO6M0*U@83GR(`|ijhWcvrz`r$@r7z2C
zfIMHEp5bO*Qy0IltK?G1jwRctmC0LJi}$b3-8ebbnB}tnC*OLL#Vy-FN`1no?u^m3
znO`o#d+q<RvqukI6|;^E3#|z?0?Bq~?JPXGc6*4uUC0jg*t@F^ZMc2o>=ZF;$(31b
zkOlQ8SJ>{?m%p)e`j@n@NqnK-e;jIhDg9G)UGmziUPsk$KYP9AlfXR>^~ZlTcN@k(
zsaZV-)L&=dPFs2ZJ!qO$;1FyHi+XMM_A|GSUORQ?u-I!*d^Bu99_ltYRRx(wx(1s*
zGO4$F|0pw?b=}lGAgB6tLzj$LK-PoIP#4$F_1n$ubF1~U^i}?8;2P%4O#lD<^{KaF
z6N>D<2mh~L`}iriGAe$yF4_C?JEqOv;H4%8>F=UGda!vxW~`o_i9P<LcFH7(36ifX
zJ2NJI53S+yS^FHk8zx}l*F7#KbMBWvy!`wTd(59ZPt#1Fms-s|*bQpJz5+#k!h?tQ
zzucWU!vB5UKX2u#v?bEYVN><&Hg;b&cyGP+){=xtcX&fizGrj2WeXa|OIRmcQhk=|
z-$(mz9>3oH|NH;Xr5B~oLRY@(|G&}w(%SyRE$3GxeH5z>O)L8T{`8Z=nUKWU#mD!X
z*UR?TVS5p$A4luIUVW0gYhGHZm{io&1?sxnZmf|OUY+H0eW%aiJ@3Eel^<#QEd22j
z=Yxd&O{$Ybr^!Y}sNBm~mYlj-@blW^tGiTY&-@p%@+ONL0|Uc?gEAY>Etcm~%=!B$
zeA1?u*B`Fs(YrZSU;6&kdv+_#GB<9ppLy-`@#XiISqJQu7PedLG553K{`cSF4)4*Q
zw0kM@)`Pcea;C3Ttj*pZc<uAE*?M=Pubn?MPsD8E%bI1|JkGYZgJRtM^1;NzXEfqI
z9M%83THw&}`X}wy{dE-|sy>+Q)sA(p3g30&V50ub&}&IY-_G3bTs`BS-AUtLKl=X^
z?E2?pe#up;zU-=L&5YCU4krGI-{+xbnq8p3KR`r$+Sz&D?Wt>B8bg0s-ni}MtSko_
zL(tjKe7Npz{luo`Sp7YJ>Yw(@w8XrOmH$6cUhj@+g`vjmo1r%zU65OLKkR+tF6qfO
zi@&U^Ip1E#5^A^mmDIWSxARRt8*ElFGhV#5$~Jh<_xnF)^|4HUSrGzGK|RTJ@hM4n
z)$M=9Pkp;8F7c83|1<M{ywv|UpZD4K(EFxeew3ZpX!)?X{+YiE-@Ffh_O(^s@6hfw
z?v8tHcWUvkkR5+q4h8nSpQ!wC*5lK?paq1BpKW+)EU(0By!%rA|BvVYCf!_jhzrDc
z6#whUV*6j||6G<m=(xLLU-pZSZ|7YE3BI&q&p-Vt=g-a1>jk#&L4DTg`j@<{rqwgK
z9nDgoIdQ8s`-SEnkl{Uf>%+g_e_sFXxid%oOW}UC=t<XST3yapUTU<PO@Gp+pG_}+
zaaYgCD;Joln!ozH!R6l0xq*?z6F0B;xBlIA&~neb#WUMeFJH^@J<`2C|E$jx?dmGG
zCCL+03@)7)d@jVdcBj{O&@iU*qT3mLH|&3;$NySg|Iq#4Zu{@cxn7^VGIP(_DZkkN
zzwvI}ed#v4{-nMCAIz`ST={MNzgBt8*Y*3Vd8=l;KepriioEl)Ys<EhFr$6zU9RxQ
z_R^kD8vVz5K_fjTWgjm+>;HRnzs1`)lP~xGZ~y=G|F`--r!&7NovV2`|IcKVbZldg
zi@%j9sm<KIbF&-+1A~Di@3o3^9sBqH{Pd@+F3#lS@3fRh_X33HrKCU91<MOZ2%q|s
zWwAeBFU0fCE#If$)yoH1WWGJAof7o~T+<~e%0>x!TY{^l19J@b_j5p*FHil}PzMiF
z%`lGt_2|6cZtgSdR#k$Ux5;n8b>)QehkxAGKF&V#eswfxs-9s&;m1qQ((OO5>|+1l
zyZ`U^cYD9z%f7xYbp3ruu{mQ)mtb78WX0*P)}X;S1|O&9*>51l8)8Df=i|Rx(RAr5
z9?<+7gL};K%QtV`%38YWquu)CjA`N7te>8xeLN^Ft*hSF+!nRI?9QdT^DYO23SWyR
ztGRv|`k!WBeEwPOVw~MZuY65!2JUY6S2C{4_!o!hE$KcHKj+W#dKbOeC)(!A^esVw
zWY@ewztXnqiTT{$-%TqvoKVTl$qDK4o+PlUO7PayeLqrvzE`?==gu7u&Xt?b`F{Wv
zq-il$Z?ta*T^D)wotO9bq#H@a#l;iyO!Blf?Ml=VJbXL5o~yOCr<OhCPV;(N9_pE^
zB;DRM=jDY}Mw^crsmr}DnELv{n@28JvbMbY7PVY{ef^8bBhR;|@%eq*_Gv$8@HK(y
z)~@vUTPmOSIUX?IF+Kj**Bz;cmeqWl!spWVOxbfmu&Uchcc-60Gr1<e6AhE&oc-$C
za)VzzS0-pi8#=ApBv74EuN60^>#jz&NxkRkq_eNqUbni*6Z{#J_yc`P>h7x?-shrX
zn<;jG%c8JW<!x~l&v$Ri?EJWCZF_C$?_lq>ZtdIbs&0tqZ$BvGU|s|A^Cz|G-$QwR
z--?|kF<-oFiCWOvTPL?&ogZZwc{AqF!RtD~o;SY<T1#3k2opX88k1gd!R7h)(D^sb
z8w*x_(97Y@xz@C>(C1NhO~K7yFLu3NCSATMZ=1#&P&zo}^X})Kt<yf{?MeMoc6-(G
z4bK8f)OSP%ub%(%ie|i7{Dy;?{!e$gO6g|rom%}i)c)p|^19Eu6Wvbdu}7AHBEG=I
zC#f#}Zf5Pw=$*Y5TUYs{xrOeY`egg{Dy{4%KhjM5H<_5mnr%L}t4cNZYx)!w?R|OX
zwGmU_UiIJq?&PuObHt8K`FY;;1}IS*zrMX&-sZpk|D>bM_lp;m{q_D^_y10Ef4jiE
z+Gj5X4ozKc&2PVD+8e)naeKBzez%kk?Ygqc%*b$67<jEgLX_R-^19T==j%2+Iv9WN
z*Us~G&w{V7i<RD^i#((7c;0>U3OD!YC*VP1owoP&|81B1tpRt_?%aEO@80Woax(AA
ztJ&|~tJ{9v_RZV!YWDWMY^ME&?^j#PgH}f~NL+j}?>eZyV(6I-&d9h2x-grp(8cEN
zSC-HJS#)#V{!jP+EKDms1z8efW%vDwd*AvgdI$ba|NpLB`ikYTJ@83E!+oI0WjJtV
z*8ZQh&YSmi&3teGXMPNNmQ#0MV^W6x{D`I7r>Hix9#t;wQ@Y$9s3m^M^@+aUzsvSq
z)Aj1ECI6ZPN(aeC^`C#AirKTp^7QG7)#<7;1y<?Qr_@{$uP-kC-0>u)b@|L1>HaHA
zL8*A>Higf>+txkIHQeUW#Xpx*qG)4m<iSISjdp)xRi2r!Y@x^NiM`IQ=Sng{XGSKs
zYNkitUlr4yCa%6HY;o!K>sEg&{yLvu6!}Hx6Eg!tgXO0CZ|`Cc_p@4aT<)23{9qIQ
zb!q)^U177Qo0pd;7@5d>GR@U8^s*B=HT_h`jFR;mK6%^-*>2x@F?~s!&&@8upsB4l
zoPP&@d=&D=EpqWs?<leCu>8H(PNrS4bz1>SX-j-b$%jcT)7Rgz0foInZc%0Y(GBbG
zrgna;Omu%$R=v4wQ|{O0*L=2b+S$^)K62TlO>dRUjEWqZZ+36~wh>g@1e;&{S$j48
zo3FxAjXm7AnPzX*On5xw$n_r&HhsOAYs-_8aZqeCXtBnF4(-}M?ys|SAK$Gw{o?Jm
zQ2)fU3t#vZY+e>-e|cr_zMOpt&B60dm3Es%U8~amert8zrkC&kJd0kneO}&*n>mi4
zm0pI}GoyL+g{-M!tFPFc`m(X)<{7KkucmIfIzMpInjgFFen|}77H<D{m%8-);;0{~
zr_EJB1w(^!Hbw*eIe3lv$=lu2&0gE3FZP-kb=6JH?dmJg3Ooj%)9L@tt<U*$lfUl&
z@AsCaNl(Fprr+|ue~T;s{-9w0ZR;1`zU|)oE-`=qZEK4+e-C;8|Fe1i&nsKAud}6|
z2CX4A6_5yktp%vjY5~pFAKLN!JMX-U7sYmhDqV&ny@*WM*L1f2-)zzJlY5`LygjA<
z3$n<};?ce0N9OjIe!3iO-oNMT?9$iM!L9ZKOP1yz7XSG4m#O}BeNeP8oY4SRwhTJ3
zZXqGMZ|cX;TG;H4L_DZ-#_+&HGWnjkR!XI)@xhxLckYyQx^ZL1<{qQFZ!ICK3sy<w
z-@AT5q1P+he5Thc|M2J?8;@>tTOZ>gK5@Ur<9}jj*PIB?^N9zoWJ|c_qYhfXZfy58
zKTWywmF(%3fS)W~h2HUh&YnFx^KZ~r)#ARFoBj6nx<3g5El3MAYu&T{sOg@U7K`&*
zCU!b;@q5IjC+*(U1gZbrj1KxZPrRm#sQ<Wv&u!Wlx|8p$o}bHFx7T^=OMiX*)jrSl
z--93NCO5Rf*|F8Ub5Fj&2VS)=OXJPMW?Z-$wQdII>`ym?tpp@z^{X`cO_flU=X~m&
zs^zmQJfc!1XVvZbhq$FzDh6*$Y7yaIrS)z3qoXTt^lozdJbjDKwKeyu)=oZa;4Q+y
zz#x&e==1MY?X}M76{2h@57$bp_%NeFTk`Cq*<n{!6&$(7{k|sLOxG}O+t&^2^Xju!
zUVU-lnmhmRM{mt$Fu!Q)XJB9`Nb%KszuI)O{`}yOGx}M+r@F6HqE&~7Sa#<8?wH#n
z6R?^SyhKqZRe0`w^HWCmx;VWz?_MYxR#YOl)iC?u1q-#0rgl4Y9M|p6+f}IkI;|UA
zcUnA}rhe^G$M-kfiaC2!_lRy%QS|tg`)h-iXy1+1n`Sv*ockcncWvD={R(Uua$<g6
z;^Nfp%{t&6MG-2KXWYN8@Uq+g^6Db@{edZIAzPz8>#D!bJAQZ;v}!DSJh#7oZJcNH
zUrE)IUF&cA%7>*^f4#iEdecYC<*kOP|B3~_fw#Cszxw|Bxm>kP%Ln9z+9~CqzCBuc
zcGt$(sY<-7KwayGpQWJ1V^;G$+zUQ7+y9>FAG^CO_ro?F=-#R6^Xv6`s_X7QkOZ}M
z7!IWL7{b=SsO1!$e+{bC8IJjaJ29ABq0qNR;o>K!)`Z6I*%JA51NU?DW7k22E`vqT
zu^Hc6xgz6^`WUoq*cn;#<e1y(!iNhMURy1@y=43IFQ7!iAaS?i^FFpuJL9ajd+pcr
zW|;i8m3{l{rqo{sUQeBNb^JNnS?@0v@dVz6j9)hSd+eSqlJkF=A3d<B>N0Z8Rs67c
z-5JYe=dFI4$xQ_9!eW>*)9GG#E${mdqd<>`j3;0F<b;Q9_^{#3x|)L?YBMr5E>)#G
z4wz^x8x@*%Eh6z$<hAWu*B9PA+PUIt#@)AD{p{oZU)X#?Ugm!fTeWK)C`BIeReCSY
zQq#;?`|^77RDwC>g>jJcvYewFnsOnbZ~TvT2XB;4?R}=78M!8M@7E~x*@@FY<2MG2
zI?ugdE%(iIwvgz0^~I4jm%E}w`)*V{ocsRNGSy?Jx5<6G`qp1}tCZ}mUoR5l_uOTR
zuYfcaxgZ&2{ZtWUJN-8vzDs6pot(ScerwVuPzBZ5GSlnSw*DI@PcUwsB>+lS45?~X
z`}3JjS7>WNDyM`DnaMw-<YTtk?ONO3$fFx!9xVb^D0o^pJ5ww1{)2b<$*U|y?sDc`
zyYedCs`S+Kv*I}gr-FCpO>{dQmH#xZ`l^4~W8H^q{T1(R+;rP<8aSEB$U?G0_UnJO
zsYb@DZmm_>zxP^jr1Ej|)s<70u6(&^=JEYu>zAzk*E1>Q==HbD_*ZY*`|IU(+nYb;
zTs}0z=>JX*Pz&jS2H|XQb#<>#&#J57t(h|xfi^K*`srfT)Ghz#=J}dex3*?CZ%@5>
zSJ>Z9)M>|`KgEf6KL2Jr|01I`1~k6M&?c39&)nMoIVc-6C@0Y?Llh(wZ~pP1w|AQG
zVMph+;nsOC^UlB21UbTB(Z^@Cy{Z^}s{i%X-=&jIPQB0mzr;VgTwOX+$}%ZjTR*vC
z!+o0>=@XBtyjI<`dCBIS8#ewEj9c1SbmUr=MErJBU_J6GcFBvQeix)Q1y3hDbM@hn
zoq5F2b4p#o8{Us9hu<wqXg;X;;GpD9r))OY$o@4m-^~^;57oOmKY018u)ERU@0@Q>
zd{Mpn)s^+H?!B}7e*1aI+Dkho=q;)%dbR$a-ke>Z0?X_4-yGruHITK;CV!9JRb%oz
zbI(gnPt}&J)ABR@em;?xl}(*rF!gx;wfXuL+Dr@#2hQDcxOd&MeLKg+F#m$Cv)1lR
zZBaSbCD&YWpW}Kg+STabsXnFZew&+`MN8)ThPJtxEt`|Ob?Kb;M0NE=*ZqFm-GBYz
z@!RR;CP_h=3qU#O%$?TH>D95%)=e*cQhWN<bmm{D;{DeOnO)tyyy(QGnYv<)eqJWQ
z{VlJeL#1?1W#`xknSEWm{QZ&hr?z!!2Ay(wbFNCr-!Dlr*Lv;zOWPuhYv1qX+qNfa
z!evld%x6*l?vD3)+liZ=neY3#c3<!M(wh5Lhxa+DBua|i?^zVyto?59$5Z9GhlL*B
z?vwlWb?x%$an^6|{C<@fpR#`{!}j-br+GkIQ5)74e13MeGb%3r-gJp?Q!jU2UH;|R
z@z%FjOwT<l+mL+qvSsMD;^jwgues!L`?I!~<o4|8%AgLR+xBZ8YhNn=z9!&j8rQ0u
zT<qPqOyY=n#nWw5a@TxW`(8HTS6=ANn!NR(p@9v4zq4-#ug}~gZolbQ-SMpD8=qb%
zQQfigWoUY(OLXn+Uv12MmCDa`H(lPgcX`OwoqmrF%GIj${CWl|w97779sB-O_FDMP
zDYspOrL{Mk9?xC!ujamB+{B3)%u#WvSy`30PuaZw;&yCR`qYovA1il1y&5#{y{W7D
z(*$AuRdTZ1?w$r!OEY#JK74qa>+$2qn`hsR))DKs{aV8DaO(7U9>tj5b*~To+<f%W
zqlZgRyVt(oJaLof`n20ZVvHacFx-B0>FMI>^Qx07_xBw;v0moe)NsDHH}4vs-!I^_
z<I}I~#8)3{Pgj@pxUK^!ckt`$@7JDqUrYJ-G_^CofAz700<0l6xbIIG|L;Sy-b0pi
zh4cu07QI$p4;fO<f~<o+0qw1Qf-d8%*%1#il3~r&v$M_hW9??G_*hqYzXZHQ^g!PX
zlN9f>zvtEdd9<_md0f@I&X-=GB+n3bCAsGQ+1cjHSA#lM3=wmGgEctV-B}On@5sdL
zuFJlx%HZ?#(9g{;wNHbJwG&6e_kGyuJDtH`pZWc&-PeCT`wVKMI@q=Ky!YOd_+fK@
zyvzj)h8)xVs*DT`XQeFWZ~q+Z^=P?l*{O>c134Z(a+NP^Jo8icB!l&j=puH0NrnX5
zYqfv(r5<0G!#8)&%yRSexO+>=e%@%5eX{)tgRy=-Z`XF;pDI`Uy+8W=%?-ORlW=?Q
z&uh1{cTb2<iJzOgX0u<y@-?RKvtL&+G1Pf)k~>=M6T-D&*Hh6iN6QY}S)>0x`%Q3|
z+%)?eAy$jE^RE8*^XcTHnLpUqdgSl;SN`?KJ!$!EvT64}{gSKLv#sLsT<cXjtGeeu
zJeKTlf1t`*Q$O!fH=lvte%05zKSUcn<(cmOR#sNF_xJ48pSOf(Nq^Lps+3z0Jn>*_
zf8O=oXC7;v7kNE>@vcWdkEy>tuRmM&U;mWA$b}i3V?+-`q?Od)TXgu=wWZo(Q-9aL
zjMfd`_hVwf>)qi}FLQS8yY=byC*$1tK}yH8))zhaI`wq*%KDzpEAe^i`~3cV2<BV(
z@rE@2hTQ(I;u@P?pUO^8;Wd!2^EQ)vruTo^oT$g~r?rIY#oO08uhah|Eg5mt$olsw
zal7#I&rW@e|F~Xm?^at$yLo@FmP=_azLfT}GEv@OSMSqWcX>^@wihbPj_pgkzxGn~
znYp^=>$X+(+iYx&W0#BE`B6EzN^-S_&EZ_3_?ySXHEOTV{?)<yV0()4e%0&wk<O15
z`Ro24xh=Ve&mqP#xcf==(M89;zLws0w4P!1)_1>4MWp_RSg+Bay)X3sxAcF<pTs@&
z-Tq1I*sY5VWm4ule_X6t@#x{Isf;|2wm*4Q_HcWOrPv;evs3PsJf0`Ee`4dxucux<
zO8#}P=JnenmOH0f9%Z<EGveO$jEMBS8}Yw`tCkwSkNKvR|6xV1r~TEQqPBL?JKJ6t
zSxf)9!V>U&dy4+<&(TGE2VaXUKboJCV3j-lQubuIC#vtR|Fvycxi;S}|BsUC*QGD#
zoBYa~s<iRxvFx)dQA@9Y{e8ze{`2zImvOsK#NFyEzoE@xptN6A`_HtT)vF4hek%R4
zY{S3%{dLOB*}*4YYE6IZ{om@J%7IyHOKaj&v)pPjleU}IuKsb)`EqJoP?X;Ku$ckD
zaq1h}Iuf6{hULv>+2S>EYS!beOXZ!O-gx}hWm?(1y{A~LoH-jxKSf{4KY4D|tKKQ|
z->=#He#Y@H%Dy%KmrQ?XZnR<7i8D7p73}$SeJby1|F&DDf4gRX*w%YJdyjqo&xMlv
z4v2gc>pq(7Z!7Cm@${*<GspFH_jeWi%h|Z&Q^CtiPZy`lzkgA>bdB@0M>l00zWte|
zl2l#q&9|<mnqTsU+x2z#qv{LNiu5+H<?s7iCU{|MYWaDa|4tkaPrY8>dhqdYy;!r8
zOboMr>Uzrc#hCIlBv|vF{LSOZ&|p^QJ&AX67Gsda9riO9_Pjgq%~m79&|nt*J-X;?
z)An~07#WNdK%>J7!g>AN0-)8d3{Mu;ZTD=ryJi1NP{F~_a1k;|rXUY3+1$T>{k<-B
z|JF7uP@AIRYUz_&y>jqAgXklWo-;<_hh_q-Y%H9x>C)2E?wYG@fB!gowF^?@O`7t(
zRbbxVqsJd<$NV}T9;TBz<M83b0*5|+{1_2EReWo$ZTjt?bp1#<P!s=vNYLkf{`E$s
zXAc=I);z7YK2o)A*450Jp@yt4LEZcV344S0?CZMn>;niC{8RLcZe1J_=fCMy=j~f(
zR?XP)bAK+#7imhS?|&a;FL%3NZW+6Z#Y(gLR?{j*-`4);lfIgsJ}({}I?pqI;h&V$
z)jvMxYOBjdRT(aRZ}s=ZtL59{a=o&9w}RZBqW|^Z9{V4ctv}Y+mdB`A^zOXz(f!bI
z=Q*FkzFt^f_;=f~E?+5eR}ofovHiP>Hm|;7|KP$YCH;UUf4{7~)wk~RmucmO7dL`R
z`keJw_PlStt^Tn-S6Z%4#l`(VX`lP*{LnbvNqS3V?|YrP81!rF^Hb@|E`{7ayiaxM
zYLUy9SIrC0JaBOrPxk>0Cu}$!^!#&O#q*LId`gGc+&UK5YoV5X?(ptc&LXd`h1Dk;
zuIAy9Dfb2WU1;gE+U@PnYQ0ZetSs8!H^ne%wTqLo+0~U62Lx}&r2p-0<DKGtC+o30
zr~;d?^vcgY^7kxz|G(aPecS7OUvFh?;|#1R`sj12Pu%zv_mmx?ATyP{Wbc<hPg(l0
zcA?pk^+pQoYC`v&aM=0j(z(KvxykQ>^rR#L_s>g6-*Yuv;=z@#%jduP^6m0=FPmLe
z++TTPH-MVY3pQ+z(2=Wt^-|!Fw*GzzryXT~ueE+o*Vc~RRrBTgzhD1_^IzQmKfC_x
zo5$kntBRtR++UL%T?VS559Ejj-h<cainTTO_y0HlpSA1MCxvEE=q5a#^vRC-yA@=U
z;f&@hA8U`SwR|b814{1~G`{`=&jBC!1DVo5r2E&9bbk(#?p?&s&CiV%*&TlzRN-<$
zQg2)J=e66Fz0X4Sa@4@m{o&91e(X57aZS4ZRNHm+%Wt2E1X(p>p<-qHF~{?>^Y{Lp
zs$Y{=`S8$6{>_*EiR_+zTYKxXs<1nEJFcF4+X@O$qcpqx)u#8?9l0BrmOAso$(Nwf
z)3w68?eiBu<=F9S^3m%@FP)lo^zc*hqiR!2U-`Su%hz7K@oZJ@)UT%n&lhD@{{7T<
zie1S5z^{OV$7(~Pyw_XSJ<$Am{B_RlZN=9oRz3Qid%N_x<@)uKc6Dva>=EmiS1_CG
zd-&Kl^i=j5P@pC#?ftxO*ESBd!pUAKmnG`9KGmFR_Ih^sydLx0V((lgt&C%zv1$E2
z)8%vKd;FbSD#q`=X8At9<jR-tS06E!sg%gvv-#hTXA7svf?~iYtL5h&=BA!=IZNl6
ze9hWc_}R;P@2R}(CB=XDS$Dl(w|Qlpy4l`yFJE<TxxXW~vL#t?5pPAHmH5%-*oU$V
z3=9U*e~*1%dM0;C-lfl%El!r-XxJ3^>W+u)%g1`bVcPs@Ji0IEeFyErH1MB%=6USi
zvvbxw{If=4wQ1gNuesUl)C<otvPYcL3(o-+TM4$io`3#!%19~Dd;QsVR*l}->u;nb
zDL?Mhe;r!9zO?PCWtDC2>?L#VrLt{*6ma=RR<30H`eiK*pm8&|FB12!PumdkEWfPo
z?y?hwhc0B_yK1g)Z@K1XmGac*uj7}mzgDrKHhbOq`D^cIE#CMquH87vw)Zu^-QJI;
zr_(DOnw9rGXWzdORD4w3#M+iUt*>>nrMgG&?0=gh+Ha!&zdC+<b?eVL_kMyF*fIos
zdlsE9&Ux=sclx|~#g>AnU#~l@|NZ%0(Ko|WOCD_Pypvm|{Iz^v@wV4rKuPY*O^)xc
zBlaKLIe+rIjUVT2j!t>@_59{N5VI!aX@B0=%VKzY-anpo^|tK$-Yy5NSxHb!s+@lk
zykl@fY}Ds{PnUvEj%v`o^tcWb84L%`pyd=;`7XHIKL6pRr;Ddt1vPE6j)D?0gSO|X
z-%d``rqAF!cOTN?Jo@nF(^sIGPKE;pD=Y6CoPM&}pp+%-W^8T$T<tZ%wqhb8Ah&N=
z#QAxjS5@fwTWUe~9$&l|xU`{a-?eR^**}JyxtYhmPrX{arRdJKm|GHpW@>G<!8?yF
zEbi@{a@|LsU&7N^n%z>&Uu<`F^|FsS5}cq}Nr%NJ-=E(tlXCsXpQHUPEf?!u4{e<|
zK|3ye=eA>#N4_fShH1}RZx2eZ47I*9zK5orTNZPA{hW@Y?VFDtzbv}Do9B2ox6)(w
zO@6uQ$|qPrahPHFw&vccm@B`oeyMsXdj4p*-ud~UE=xnsnwP(7r`F`&SZh<&n-TqP
z;~ay$#g8=1VnGgJxSe?D=bpnstG0FD36*+tyW&wO({mj=@X;3xhps&SeQVuK^Mo5w
zsgtJ!R!>!|yWBgqdrM6Gl``l4ZRtL?palpDckd-_ta!6>xiiQ5J%5ro9^U#IEq-qP
z+BGFFKV971U;ZRp^R<D`pL@!nIC!&6=~VTzpW;p&;c@l4OZwmMF1abN`7C4<XM&#Q
zd*g!qV93hKFPoPA{%q8<1XLn7#HsDE2OmDRAr0CVfW`F1s=xcPujjAb4BkYdaIy7s
z`fahJ@2-CYm1|8&AWIt_f?A3vf*_|cz)RKRANJ_m<rV0>zUiIX|N8z*v!ZESexM*T
zkazyHujg{F`TeTj+VMZ`d^*$`ET6XYuV$I~_VBE;U)Su|Ex3B_ZEjGor<|#|7nZ#*
zwsZI5GpCFeP6l<Y8KTw8>hHOo7A*Lx-o3ti=~UD1_S5=ZzFM!Z%<r+eALf=k`|B;O
z*VC2fJ-zhl*HhW4{3>+~Ul%s@{$90ZT3qp;1HrHQuixC3`+S}9*CXF=Z+m^NI4<6}
z<`0iM--bB<k8Bw=hp%Vn)z}4rwiF+5sd`>pnk(q@NNwtgWrlyUP77$~UNc{BBbmQV
z_fDru@LoQH)cD$LKTG?GzpP*D$n{0|*Umlm>C*l1&UA}U2A3*MWncML^E?}Ln1jJC
z!DpZOIE<_|Pp!IiW%bQtXSLsc(b~Os;<>NC-)ZdIeQsIR+#6r4makU7RQGt>Q^7vh
z4zmZYFJrDqzA2k0%m}Xj1^*uV{&nu{6PK1eUtT!r{RYO=#aDJtth#hOcG;RRxdq}X
z<)Gp#Y-Wnx`&YToQh1-IAB|XBcsuk}OtEceHlM|TqB4-bHi&}DM(d!wqzRjTZkVvN
z@U!S`pPZCCA5-^cz1w<jgO&UG<++oO%uWc=Q?^KW|M9BSbhUYt1MlU7qP+PlrKRJ?
z?={h9d!L`Wk^q{Lvc=kle)Fl@%j}`tV(-uP{2#e~U)%rd<F~9tyXEC};4*6ps5k1`
zwEfScna|@n6k{s?ZoTmO-=5ubYICluoIP<j%{-|7xpn$(KTyg(FsHX*f8W>aIqsG(
z<)q(R?siR!`)_l4w!bRKKQFf#y}#`tu=(xF^ACPqFMe>lt_qa;(v+rspBV!RE{5An
zP2Weyy#nPHh8s$@?;umVXJQWj0B4W=;Ovo5dUelv6Yy}sjW}5M{9jJZ{iUbfrPqMV
z8;J)ukLyp9ugkG}?|t5O<2^_Y>i>DneE(Fr%e9YZ-?u7%7xQyw8)QI$VRq@~XJ@Be
z)oT9T^cpfr^=(!BVt>fU`%lQqX9qiQ^Pa(=yuH1>GaEWhd~I4{e9{xh3Xz7NTE}ZN
zC(egVM5nEi`%vmu$39sU?4&hMe*D<+UhNpzc$ire`b(eG^4tIUaG2kIPn#^S*?%tX
zmrL{hEI7qlBDVQs*30ZX{m3NSy{F_pN<1&y#lXODBI5n)@1b^^>YiKQms~&N+TGsW
z(=~71*`dRqRl;xor{K9})JLCd=J~f@zR<t<Vru^l3kC*;4Q78o?K_qJFQ;v_hvBkk
zJRk?HIqvoS`Pz1irz{3SA6>$<#cH2h-`70PmYcmHcTb{icZ^<Ej`6(YvTZjj19DmU
zGc50=J$|rh+bXt@NfB<hr5A79FlDNAcHG`Kza(E&tKE*9b?#z8uC<qp{qAR{+-sV*
zt_={Z{J*?DTcyt1EN{~<L%!c-9DnbFHm9Y$e0FyBbUk_A+hrd2u1`z7BE03?S?$%K
zVxkk{AIThkD!S>E_I2^K_tJJAN(!u9y{#en>$KNrkMXa%m*!EiQEGeFiv4AW!`|`y
z{x$EwuS?smDdqPc5ns3Q-!}23x?eiqXUv^?eD&Hb7ryg`-QTlu<q6Bq`s^j*7q)r+
zb@j177We+ck$liHy0TMSUvHPQ{1bI*)_uEwTTdDPeRn<ZXHV3>j9cFnw<&FkO1+q4
z|7e-WwQYViw>9}JRV}!;im%RB-5a<2#Ho)O+b(OV7fhX=w)y?lvtf2`c+Ivlvbx-x
zR@=Yvx^>MLunn6EAO5*HrT!~#b^rU-J-L}OyDnv(mH&4=!IEK>#kwC44$hnrYWRBk
zk4d^`U&Z8lKb5x6%+^R)6PxoVhLM3`!sLh7-~aY|`K#)wy6|?{J@;=)8Soa*eR}om
zhfs}4YrbB&_H&Y`_u)BlJ2t3J&Hux@t&Qo|yG3th_kAp8Wnggd`*rqt?-SOq-Ttn6
zE?0L%rCyW?np$!@H1|<=XyD9)vY7^dt8%|it&T0o6}|m+($us2KPBdGI4gGH`}6Y;
z<Wr|Em9`IOU|@K%{QHl6C$=sXS}y4prmgR_b4~QpmA|a!cC&4fv|RB+?d!DQFSk~`
zU0^j^_Ni4~@A|t9Q<ak!u<bGVD0OR=)^)Q7t={#DkF2})Of(Dn`Rjhd#9|@)U5u<>
zs`!tWUwkcV_sd+Ffq}s~FMnf%&9^I;6<gT<_y2#r^!dCSCANz_|6lN1RK)=5HywDf
z@8j8g+oB&^k5w050d-+675nRa-mATSzu2#H&r{POosn%#d-_$tlZOp!4gUPwW2`<O
z)bvSUmxQcqM$5_*_#qR|PoQ&Wqtf6NxTwLBA-Ux$1B2XaPZ!4!28Pif!V*NI!2+!t
zQB%%nuuvE*-{k+Z@89?mbc7#6L*bkFKhpL);k^Iz=kG7S44PJAV0e7v|Ci-_X0f1(
zoxz~*uYY|Ir0p`Z05Y#~;`l#)yB(VmnjiQ>R@+bL{L7y=KW7)H6U2}p^IQI&<=qlc
zE1Kbe#kYL$ln8@@I6I`-a$rr2Mg6x+PZuZNmb+s)5!{qH&@;!n{N2*$^E@IyOW*$!
z_EhpQXdZ<jp)Bv-9?P7=e{VzdI_Q1-e|Yx)D!7aN=Wv2r0}N;GA6&)_Y92C3$;ioV
z)3vg*%ZuJ(|Kk++tm6YEx19ER+z@xVF@G6&byGs<*9?8RZ>*4#`%I+egV#LpR@<4S
zM`~LC7C%4d8x9(pVA$XXZ9@Jm_zPM!#&81G<0>q8`RU@aY_Prm&YYcX&c3{i{r`ve
z_CLA(|2_J25Hy?kaTTcYV5qA8_Obiu|GBR=J~#;JBu?iCO)`Cvy}zgO^R2JZFJFVg
z{Q%#tf`4yz7C#pXkNf*<7khK`o|2z0CLUfNYf)cz6zm*@<mr0yd%xTf?%a5L>1p>)
z<=?lU^IA`oHQ!s?*v#1lZsFb#oV+aeZsmONKpw*})7WR%CVq$1a0y((s`<a~|I7bh
ze0DczV2R<7$<Nu4W~_r<Qsw=RA3xrD1@cxytg-9AYli#$!RJad1kcc@y#4>?{5|Q)
z)}Y94m}?sQY+A`*JMi8XhMv?*TXO%K*T3KUG741TGF&_P7re7xL7x37yLtY-JtaRi
zY9Hsz|G%~UxE{FIZS=V}zfQaMX&hth-T6;z&)d~~ytA`d-}d_vt+SwZJ%e<J?EUR4
zA;W!FcS24NeDZif_0&>J8yg<Za%I1mwGqaJPd%4j2d9M9FD8B${TP{ej`13svKe>)
znql^&S>LZ3uc`X8UGDab#kt96L0-#QykyV%!UItsHwgVPwY$HqXz$HqYj1UBX0NTV
z+f=mVpU0G&k+~_?_nwP*{0^jEA@9uZQW<&q>5ErC?r&MvvN|_#=iD!fEmM8Fj9#5z
z{$~5X4TY<ZC9la3y106hFYh8yxF&eZ{(0kn?=!dmzod^pZhehDdL1-kd1u*2JBi%I
z|9?qsc&O3*z-;UNFKMUs!5OAy8O!?zpb(7z<$nHn_^OWc6|uKk8#A-*j-9&>>XJ9i
zy<}mx=J?;r%SZLYr?<yifZCx9+x#wl{T<^Cj`(d(uYT-%Ds%71iS@-#&&~eOw=V8d
z*Kc2&W543u)`MKdz*T+p>+iVApGO4_ZGF96ZLeQUG#4m38NLL$R3audj{JlS!iK^6
zE^0gN^IK+u1r1~&ITSvI0Lv4wxz;1^u77;7xW7%H?rC`4(%it?m-emwY7}N2yv6dt
z7EpK|=tz3}d)mU#iHTRmJ-2Gj0WZZh)6TTZPlhD6Grl=?`8OB$+ugFPSS!Rm?Yh3$
z(lZskJsLgRgYRv)R9E@;RMyK}vuUz7!3!(a+&rjk|516rNbF*dBabG=KNYIzxBHb*
z`FGL8BNq%NJ=(f8SabcS4IeeSmMP`B@vSOs{c#bL!VWB%^z3ulv&gS|bc){Y-zUU=
z_Ne<k({*C`J3lYD6$Wx?gRke@^Rq2Z<?BpcxmB~;WE(h`gFf%uu<peAqT0QIX^iWg
zdO*qffY{54-&_0L>n>mUe0Z<UevR{U?p_Ir3@!m#bVJGW`g`r!R{vMsnVZ~JI9m{0
zHk}E3zenH1weIWg;*xWRdzYl`W!kEFX?xMfso%8CW%+#F!O3FwCaeST(@$%epIx!y
z{KmCQVn0eh+veIh*ZgX3_Hy0q)ys==+b{2My5HP2-vs0d32(utwx9oSE4F}|yN@6x
zpFwnQ<^2iJXtu#If(VOI*g!hkuoF$C3k@nx!)BhecE_7-s<LKa;F%n`T(8bzv5XGG
zfip)x?W@|Kdq?h4!?mj1MfU6r0%o^X-p;A_$roU_;d}Tv=#Zv6M=smmlxNt$J?YcF
z!-o(5nA5RzN@>^CF7@00-bLkGZaUee?LO~&dLn~@boRR|rg~X9OV&1=I+gqOy1AvD
zUEiC%YySp*lV)HrTWkGZ`};Jh>3aJuY;1DgI9{_3J$<z+EqGbo5p&J=+c*E+_Ac$Q
z-0eOohJ@E^_6Li<e;+EerGnA*`PzspH!Hi}+ZMTKzY}LjcpUWpy!1=ibq6Cp8$C+?
zD|I{OTaxf?c7_={&z8O7>fIRi=v4Fdm#eSWl}a%-{PdW0UiyFb2a##jK6@@k-@hew
z{ry(=hP9K8g85I}`(<6)$riG8<+<5@$_CoMDjXKeeSaNM|0Mj)_Rmqq6T8>CM9FP)
zXJ}Y!w*5rDLwR0i@Lcn`ZVU;}f}Vd~w^QCY(0t3=O|=tkr~R+v-mtgN+bouQgXhgZ
z0yjeVeU}T)5UsUY5ZM2*w%3ZCKYW?ZmbKS*gx*$rYR`22cK(_THJMY7X-a&wWny@e
zyT~tg=f@K=-HeHmRnK+ntS1)kUdg~vjC}^lJQh4fbzx!0r+JnCS_KYGy&li~5;82=
z@N+V_Q2-y`fOW7QC*<e97oYd%C~ug+{`lJsYfp9G+84L+*45jd_ovU^$H)+!xZA2U
z_(C8HL)xPSJM8mgFQ#gyTwW@%*Pe^PAlj-l`^NM>B?bd|_PN<2d#4=+gP-L|x3uQe
zKV@LJd~qc+!wtc^mGLe=^N&vL3qQ5!(`RinQM-GsYu88C?Ypt+lh2;kUttTsUH`OA
zOlh{uIp^e$z21xrVH<<z?z*tqKJ4Y8ml{kApUwZ&$+{k2w2`~?&%_TO*Lha1u99C-
z2%dVpwaY!Xt4X@s|Ng2Po!aab+b`cxU^sB4Y;CZ({?@h4;`hN0)V^DJ|Dn6nm;R*_
z?Qeu#)BN6UWgh9DzwFN3sPpn3zqhSVW@lLAu{=*%m3P5n4u&-vUw_s1)=%g;uPJe~
z!<X^RrYZa%9PX98V)(SUpWVc3Z{7W(Wo}O|o$IytmHMAybEd<$REw`*S1bcV&Ky5k
z28VBKar@W5mD1b0ZC0**&Yk^TJw-Eitv%2MP7MaiR;9C-F6LO{A<v(2<?+8gQ}?rl
z|0|2y*WkV6d|=$IpPyHJKEGL;FLqsg)w1`cQ?#F|&TIL?#>n8dJXl=t<pa}q*$&oL
zT?_}VU>`YLw))nLBYZLp48_ZW*%{t+AP<Z4%sW3@^{*2{1J8>qj11O(_r5#-YGq)M
zys(m);YH!!eS2PtFfpV!Eazi5@B`8`JO1Hg?cy_2SKQ~!+f}>ObcfetwH{FMXP~`t
z&w9CIz0&z_D<ZDF{!k7cA7Pkq0y<mneyQdjXhqY+)T0syF4+BAv&Zkp51m^V?26WI
z3jI}gTkNQGPk40vt+0Z}o-3w{SpE?W@3YCDpa41+{@bq4`yM}j>=6`pZjw~;L9b&W
zYr;&VIZtRghCaUZYtgYuk9f<%Ztu8XwQpL5&cws{YwR}_J+92Sll=H2sBJi5=9Qm&
zI-4I~Q>g8^z2vtq&+k`{RxiCSZ_nSGtGD>@5%6-&8*ZMTD<3=mF;lX0$Pb&AzW(~$
zj?1R&?q~NO=!-Z%AJhoAv17@e{LHYxTMdy1CW~D*o4Ye&p~lM3NgaD%#TSB>TQj7n
zmD;_pVOqTH^wqVM`#;W}FvT|{?um^HoBcVhEv(mG?nt=|x^}~0q1@x&Ql)+ZtIz1>
zMz1Yied5xmuP<+H>oT7akz1MhSL2r3&(Jhy_jfxlMyC9gYMS`@!ZvqMARBGNT1%0Y
z*^__#t-PHVY`tLO)!UNW?mzW&w-jJ#(A|1<?k=7e-AoLNyPwv6t-HPB?!>vT?tHPj
zG1tnN;lP!&8!K;zTz~Q5Lx4Cp!-;zzKGxp6@SK_92CM5kPKF8Fm+aC1)PA98yJqU#
z4<949EPTqp?d!dWl-5)6t8Q=0dj0U~^KZ+xU#K|o^_CL*?nkF4KIau;VbHpEe`R(~
zrE=`zQ-@DjX?EZGHDCLi_w8@%;@KI#T$=k`R$kt{O66&sM>7AWOV*lU+Ov8~Vs1(G
ztCu`=JsS4a$f|$W#?}j^POq%HWOAM^unNz!d3DV8SU(@b4M*vhSI%zE7Kv29bbgJ_
zD)DO-ud2R!e|^o+5V+*t{Bpa?@{j6o@m^#w3`}R4xv%@jte0;~<VyFRP5p1Nv6dmh
zJ!f0+_JivJPt_@(4HHwHwks*!XFnf<gj%Lu{-5;+r46@Nah)y>o&WmciuZwAc+-6D
zD{t5wl=h18W_11XJiFM%pCWcvgi60je|4R)_T^*7-l{w6lfwjW&#9kK>esG0t?kzR
z$->d#>SMz<zq>ZO-6ocr-JW`BJu^etbgTL0cCo$NR&QAooYF5WDs1^`o9(p!7CZ$p
zn_fmW_(px^Z~R%(8?>s+Bs$XMV&O}e6+Q2>uUJ;>Fw$O_yEU$tf5yuI{l)8#h-qC;
zQ4*i_E@wmC%o)cP_q`WnP&n!`ch}64UahlktGd1zpYFbu6}K^dRXjUGPZE5nFFdZ!
zu%+PbueIFI&*$x0)z+<g{_G!Z7KVhAM<N&$!d<6)Kl53?MPS{Ye^DOu&wJ0fDaymh
z-~rkbQ+8_A=gRUfNik5$J#)wB^S+yInVWUNoroq#lW4+Z#mf6#=DTEFt9UPmTDOBX
z{V_14Zv46Dt3md^&5?J_Ky$MVv7ohix#!Pq+Y4Gk&fsBw?yr^9`zUF7If<PYb8jy?
zcXIPluBU-@U)M{ojc6`x1zUKKqw@a4hl!Stwe5N2`~P>jPAyq;$tk1j`K#Giv@PxI
z{7&ALDn76ge3)7T@2hjam6$&&`G314u|@R!n#v1zHc0h=Huf+i@VV`%yWfzQce=6S
zXxqe{TV@-zOEI`z`FR|4T=S<5uWIfc42}t2#*lwO24dL0Z|0k>Z;ROQc2ebQlQnIh
z3S1i`t@Lh|fM$PvGOoV<9-8({Eidj)#NvB7w?poqlf7DQ^~3nB26&X<z^}KuV%^8*
zRav!sICWaTO<-N@{?dnkZU)YZGb{o1U>TIUG~UmI&GKwm2?@yqB9M8H3H_n(&r2t&
zf#!J_*3A3}83*fc`&bKJUj>=UezmIdeuO!A`3A$a^Uwksy?=qDHCnjgB@@GqKzDcd
z*?NiDF?%XD{<*NyJKVB#x}J6E>kn@p-`g1ZQ8{D7sg=wPTPJ>J++b+Ou{7gP#@j1P
zGi*xh-~a!;`}O*i<$or}|62Z4eQ)yi>GF=voNkOa6e{HzHaPR0dy~5hbX3~3J^Tze
z6w|-O?vY?<ICJthLxb$5wvV;X<$rL$-~a#L-SYdf|NkHBl`j8gZ&}L7!0^VRQl8=V
z+v@wj?<H;g@pAsZm%ieM$}DcoH+x_G!Pvg)&y&f$iT8iM-~azXGylCEg~~EDS(l_3
z7;Y4PvSZkGJ89#N=ku!Tes8b;y}a(#a<kaeW|7a9R99EO{BQr|g7fTkRV<UwJ^%aW
z@AJO-HJ|>u%l({des9O`cf0Rbe!qL_|N1(SpL2g6nLm3S4+BHloIU&vZ?|pVUS3tT
zYybZLci-1t*Vtduee}`4-|zkTf8VQqzqkBe<#XftKhG@Vj=x&+x$^&^+V67qKc768
zt9nr$U;FjRtE=`E|NriOzi;=S|8Mo{KC0LKdmdl=xHt95_mi9F&s!k`w<bd8+xPG9
zcfDRG&~!rouF;9#lkI;_zI^$zar!wO|Ky+l1)P4)yuCd?f7g>jpDEw(R-d=E=lQ)Z
z=I6nyt9vI`9=^Kz;p2(-m;e7WfBvEwZ({dWZPlHz@BO~tp#9K1O)p~~l(ICuJn@_1
zM&8jM`z~L;>|gsTSZTk@Y5uFdiSfyQwnylg#eS+;+ES~ue`Czvs;~Qgzl*LrE&l%e
zQ|q5!zI^$8|Np-t)4+>oDrFfHf<QqX{ZTXU$@SAkGQQDU!hin%@}(p{|I_VT>yFQz
zJhA!oQ<HnY<tv|*$Jd(5eVeMh|9t)5*X#HFdezXm*Z%W#y%vGG*Y@$!-!--!y}CNw
z{`bxE|1Qe^y_jzQ`{u9RU(U=l{(isy|L*tuek<F5Ql7oe<SKOWMR)eSvdwB$vfID6
zFdTUCq?RFP`==lKLY4MEWk2flv9s_f|Aftd|3v!CeJyh{yk}phxy40JnY%A4?;D-?
zJ=gr6g(t`Ft`qOiF!PI?|8sKwJd<sIPE7xo^z-5N|Cj4$zSG!tG->0H4~O~1yN|wn
z`SK(Pcs`Y_z8+gHDtt*>EB|6Zb#&Rf0})}Bvd+K#r5P3|yk}0>9eV6LZ}%UqnIV6Z
z>+7moYt_}&KYpx@E@ATb^FN-uq2uj81>HB%|Nj5H^y}e+;IC=_PsRUB;&^EP=lJTQ
zhl`#rmOr}f#_ij`kEq*i+`hfMsA$vwiI4VH6%=fc>8`p}S9j|DrNxUEdl=Y0-~RE^
zw`Vb{_w+@7xy;63=5dexK-ud4_tCXU`F|&;*l@r2^TcwyVcx>jns}8ruS@^#J0~n5
z&vRo(hK_LW`|9U+%P$|^cj~|S|Lg5j&G_rzr8{vP-~Tb%b?ejhr`<QkY%cgCy+1T_
z$-kPKi)a4+=>PxY{r`XO#ou4LeEG6<`MWum#m~;owLbm*mAd`UlP7j;Fzda)aN_s4
zN89UD{v_=Ec<lYeW5=r38v85n>&s2ww9h1!r|9-|h7G0QSUUExc5%<A=(@W<CayQq
zS@CDXjSXwh&Ro$_`|xr3<Fzfdo!8%c+cbWiu&9XX@$)j*azFQTzr*D3m#2U1+_zLu
zy!PwqcrL|1x8wi&pH|=h>#4r%zdPr3<io^7&xebFB&Ghg_`GUlm*Y?r3A}jk-o2tn
z&tuE)hTeIlXtyuFwDbPIuOFM6@89^EKXb~Cf;RgyuGRbdKFY8CI(@<C<9rM$%kInD
zGbZHSI`;kT`}g%94zk;SOSb=Z&iZ|cS&-*qEA@_}_NsYD(@!MT+@EQj?&NesT>k#`
z?<{#2PQHA(<9}Q4OYQ&h`Nlz6m4T^SPb`Z6{r~^tPu;0E!fkjIYrdY2m-^n~^Oq~^
zSnJ(=wZFf7`Er=wKIUJ%k9Yp<KQELQ{*B(c$M5cj{Qu|Vxt~U8sh;u5%st1pzi+O6
zZrGkXSwFcMZp0n?&bZ<3tz+MH5APE=ly3KV=9Drm<xh{C?TvnzNbI!Fw|(<^PhI?r
zN+$D+FF*Gv_q?~ZyuAI&v7LLLw*UWhHvj+G^){cj?*BD?y8pk^=KEvgmRIa6b}tUT
zbA79Xc-WnLiiI%|mSNp%gd-DgZ2zxiZ!+zxh^|Rp`qDMV^4k0Q9{=0Yx#y0teJ_K6
zA}Gb1_Pu{C{cY+|`&aET>%{Jt{oQwLgZ|Thds@#4?}%LNA0PYoS8e^Dcl^JmMa6|g
zuC4f?|L<+S-u@ra@qcgb|2fsYtNp3#T<cl0AMIPG9rt~$$MIimR)_cf72duorEIF}
z(QUb@`4>~J7RDbB^ja0OGyk0Z5e9|UpL-Z`w*UIEk1_E+U)`41qTf{S%`exUGe_sx
z-|!=4^Zz{(7iQjfYSve?|3BCNb>n!LU;8z^JH2cDY4<?OMV}6T+V=FhvTpy^{7ci<
z?^yqOu66me^D;6rI{)wAzHMz`v7`9;xrW!@m-76I-n_4zYhLKbxnY&E+h2PyCIt6@
z{0z$FayP?&^4zRQKKpd?L_>>@$I?yjEVJ9UK36LL(cj8&%f`KV$-5R=C&wqeJJu`B
zZ};QD>i7Hq3)}zy{IENoCw%>~mfHVsuZHih`+nCv?@q<<zpfm-&%aHt|9buZx&MEk
z?*F@We)gK0pQW{P<NsZa*B3Lji@(2WPsYD#-%Iy?zgIn-`N+9Bmc_rny?y%sboqPv
z{~zV=m*21L{9dZt-|YQopWKJH_p?_YW6YkauKc<3@#{0kyVfWFS?;^|NB`Vym+w8E
zz>tuJ(zP^?<zcW+S@SaO{@-`y?{_|*_w?z#@R`S~qrVE9o?7|)-uHdq7u)|@3@Xny
ztl!afZEf^+xtb3LSNgx%aWLbr3ut1v{NMfkwqB1@=kHJ7-|^>O{r|u6TiomHd4Auk
zNS6He_h5Cj@Rp^&pVognKfku-PkGKm{{J8Nr*E%{ICf#`|M$D!?*rALtLvH0ygkn>
z{Fmd@zfvCKeLb2CJFDPJz9jCmAK0dS?0c%@H{azp`_>!3@s_;5UDr>2N7&u3v(@co
zo_;?jJu$Fu>W25f&Q89leUp{n=7R&r!jF2kr~hyNrGDVfp?xo({Iy~_aO@<g{yTl-
z)!y&-gui{=w0-;cd)4pn?yKFMTjTrpzwdOLzRq{9zwhs_U*7S@?*G^I^D7@Tp06*F
zzxU|>Zm-J~|9^jf?-O{eFT&0B=gqkr@-?qt7i4(m04j!~pM@RTw@<F>#lrG?mFbs5
zL)I$3w3wN*;L-cN)xX;(-e0}`UhVh0^&kHI{`!A<;{Eq~tE(4D-N@QK`3oaM@MKWt
z2I&<zWc_}R@|)M$=I3vmWcgglz5n;Q_R}ZUzx`Efo_FWR-EzA*>lhdqI6m1ieA+Pk
zqA2s6IX>0hJ@+erH%pu6ZMi%Dd-=V8377UVGdO^TqODUeeXRBV|F!-O*TXQ5g)i$F
z7-q}?x5u(Ut-^%OPih$s@a<H7&&;4u{>hHP?AePK8JAUaw3p{?i2q-{f7eT)vWew6
zX?qqh7!-r#A3r+UJzFm^+Oo9S_V<q9?Tq&}&ivTKbl}h1e9&?k28IL^9D|;JZvM3b
n4PfzJ1C8)9tT_i8hWO8>BjC55Yi{ieP;1}Q)z4*}Q$iB}BJ5H^

diff --git a/doc/avatarmodelchecker/images/modelcheckerwindow.png b/doc/avatarmodelchecker/images/modelcheckerwindow.png
new file mode 100644
index 0000000000000000000000000000000000000000..d6fd7e1886348debc06536e6ed42dfc0d8f61c84
GIT binary patch
literal 38728
zcmeAS@N?(olHy`uVBq!ia0y~yU~gbxU{U5^Vqjq4Td>53fk9|tRY*ihP-3}4K~a8M
zW=^U?No7H*LTW{38UsVct+lhVi)8lZwf+CDwTXpE!Li74Pgp8@WS!g>kG{8$&riM5
z88gYv*7&Z<hevzA{ILB0b^iCC{QHU~et8l!yZrl+@OL|3KXCM(zrMoeXV|{)&jUVx
z`K!8ezy1C7?ccAgKfK>&;j~ZH5%sqJ{zf0mS3eaWKK<uw;rqw8{w-7b`)AV*hJMxh
zxhv{z1s;EpU-xG3)$-i<`u_FYch>7x>E4Xi?avSQO{+TdbK3c<Z$8`pSohvvEFtM!
za&5g@xA0!|*ZGC>zHD9eeeJ2vC8wje{z*=q^LX_qd)e(4g*J{GAH|%1AMN?8^3m`2
z@@F^1_t%?0{{6agdb&-n{oFJE@66n9`s`<P`n}x0Aus0amwUPXxc9X4o%{B`yZiRu
z=Y2~3Zy2uZ7x=cf@@JK-!P#$L@BDuMbAJ2(d;9-C?yOt$^uF!I|A)KY#Rdv-+C2Gn
zsHrq_i|bR{i6@_@mN<S3_g9%Juln!$dM=wq*{z$uTEy;|z3!>z{CPLJ6Q903`Tp4c
zU&5(JiuXi5I;y9&%#bm5lgMNxf6ckZ-QMA$k27v>DxLoJ=&q8>InRPBcRgP@d*SAs
zxGhnW!`hxc+Br?}{FKb+)!BcypZfFj_2ylZK0S}M%$j0%)a+Z-z1Z(p>Ma?)dy`h}
zX%>l2-VnK+NAuMwucuCqtNbVH%4l0of3&A<>hvUC{<)jJa6|`hKBK>l;mZ0o4#5*X
zRHc8pY+9WZSr%+H{ib!*&)m|2N1UvtmYLsOg=K}L-g*1fc)d%07Td1#x$fO7Be^n*
z<6*C_#T3um+P|&J_s`7mRLeP+(zlte+Ex^O$?LMWTxvzxdUMU|>)u9Yuke+B+x7a*
z&c4k-Z!iD;X1DvytzBOYtMWp#SIx34UGIK=(!)L5?=rqPxA^kSf41zNo910Rm3--9
zZJWxu-Nw~gryGw1#;>csKkN9WjbY#K9$B*>Bd`CR<NPlv`YSUQKTGztf4!ox_VwE-
zkxw@4W<F4}wzg<{=&>~->sG!v6F%F{$UExunMJl6J+^Fm@}zt256fnI=FYQzvsu?z
zt^XQ(YXz%HX@1D3btkLkuhlO*`{4NMz26o;?%BCAMKYoFukHm~|J4UHUi=fY{k*~N
zlrMkw?Bb%S>GSUyn=bgWGPv&i&TriYkyhI-TdmuxU1~dLrW?O(^K=E@(kBOv56w$o
z=ikt;)Tks_w)yR*cem57B_0Y^IQhz}dg%@W(@z^Uo<~iy%)Wj$&aHo;EknYTXV%ZH
z*J!miReqCM!y)m)>glzEU*=6><`j)R8Wr<Wx4A9uF^|UERgXG!mcEbKFpD8lBP;mw
zl}#4EKkPmhC$gpa=pJ+HS?%fmpEo_7x99y<_Puv*onBE~DPLB${ccXw{m3ozj}?V4
z{mAohX-w~4(GHiT^De!eQkof*_gyf*+{@?oU2hA%V~*R>ZcTihH+SWV=SvD-J-e|l
z<Vl0^fvBpW8LxY~uU0HO#C75e)5;LHgDwljGa2?gJmW8r`Z2q>?@rjx+a=TXxF^h;
zn0oVy&5Cb4+ZO3<+s63fZu+Yd`3CK?pSBtA-V)2EY@N01&r60a>`E$H8*lAQw@K`3
z%8PtHHE3b%5i?n<nDUP$LN{(YC4OL3zp&tnxSO>@n%S{GMh;UrkC*)qQDb5KcBwLK
zp?V$jy1g^EAN0<4RexWYaOd-lZT(N%r#tdrk?&lTc<7ei(~PB|968ysvr<jfcFy0g
z`|@Ia%p``U11Ya}Of_!&kaFOhZ1UzQC;!}Fn09Gd-@SQkq7B+2$Bs2-ADg$-xA9Bj
z5}~}7<`=df7WY3tcce|!Y}XpI^(9$5c}~}Un$v!;t$GpP?sV-BEvK89WnR?vt-Gp~
zaqGETFuxI3Nc#M*$J6H9n>>&=moC0;taAJJzRSH=O_~qPNUxovow%NXeU@<cvL(VA
zzq$oq)hQ~rtz~JR7JG^*cusHp+Z`YCW<1{V?@Crd%=H9+hLg!VRxb;B%M<<oj{1z6
z^^9?fr?Ymg4BR)fisNgW#QOzjE8bVW>|dYsAwzr3S+)9Wr5_d^xZYSH$@=Ya#(s@M
zmkYiv-=KM;gnyRQ*MGHl>*LEDW1pV1)v~^z|Bywq?e5kLp41zUgG!U*6qv7EcsH%A
zYVWQ#hf}W`3U+!3GjV!{UXk;=@NUnEM^jwQqR#Gg^AO2mv{Wtma3$(6e*kAm>h+ti
zjt1t)aBfR0sA{m1c`K$T7X6Ghso9uqot9HcROfLKfjZ~6H>4lzSfOvBTfK#ylc7m@
zC;Q*5*>_F(o*cc=SShys;m)(qK1OS;Ua+AvFwep4`MVWCGfi!sZ^#5s;XS^APcmWS
z1-Ad&c;6XFbxcjF)VS(cl{KqmqGHiQC5<O94dnWIQxhDo)V3{ob*<<_i`1uOFZ6ol
z7clQ$@^hBF%h@ou8=h-LWi~9#+w3PX>1d`zn@HBCh7+??6+$m`bzgtMEp@0wl*!|;
zUY6>0)l_rl2Q43^Zfx-UaG3qbX5m*UX$-<lW+J`kd$xzQ?UCPQmJ$A1n{|fRb(hoO
zn(A#*U4dKXe=o?`D1VeMt&Qg_>q6_CnZfp27X*_JbQC>^N$@f|xo>mX6TXY;>9#W#
zuM=+dW!-*y3iF9**{=uXjH4Dbo=OS{@N3Jv?0-a^Z5HF{*5ruyTW<@0C_cs%@^RNx
zuFqE;9!yP)m@BD$W3Ji3Da`4i6KB>&&x`TRmEPAC=%nDwky>%;<emqYSD5!EH=D0}
zE*$t)R{x%1+70tHVF&hkov?}sE;xUB!Mt=I)yN+V57@3hXM373{jx-a%|~wQ2h~g7
z#X8i@&X%~%eDTG**12xn^KxEmiXMquu6HJYr+wqT=7YPvo&8soZe}?nek|$Ttrg`y
zioL6k-#WzleCIm*{h^`>KNj%GZ!p!}(cag2=AoMkvuaS*Wx;9FZ{C-<>?U&ZZ6fau
z=kF|QW=!Mh^6OuF(YtMVdw)}9=JJ?Tj<+u;iWF^VdZj79T>Hg&X6whVKXT28-;y**
z(%>og;nzK;Y3DYmNUOW1y^GjB$F#Prb35Y#mBvEJRq5Zf-U>}vaiVFOriN$hgwhw6
z5(>pQj_fxQoHKn|+e^J-!En93`+a^S{N-;Jh(2&*t4IKs^1%Ra)-96tpMPcDX*1OM
zSJm*h@955_FI2SRFW79iFXJs>WPMS7^1bX58HpwTzOgM1(q7eT+Qw+$Gd=C^i>sf_
zy62p-NHa=sKjFc6p*qvNKK?_{yy6WFm2CA(H>Bv8yh}ZyF;(Qk$D1k2&(6GW+ak2P
za&7gJNImZD4F7o=BxlL;Z8-W!<J6%Gyb}A8|H*!<k~-L4G{sVpZRvufkY#LBlV))D
zDJ!|Czf4>c>8EZOlcW8O`%v<`gv5x#rkuk}i$2VMs}L9X!0ShgTk?UE=a#T;>t*H*
zY}(>h)oqvAb4+UQy00;8-@Ya@6hA(H;Nd+DBk?#FmleXRlSFo{kqut^d2ZI3S7{y<
z9&Zl*Ui3GkM17rntklfyxv$vo-Eh94HL3k(M>W50a`v}15{C)}w@L~(eE7An=K)7s
zd$RJT2hN}J{MZ+8s0izQ;t1Mh$(Y0cBP(fY1^bVzM>U3mA$9VMSNi#w+-K^xbQ|_9
zmyi-+KBpAwAllN&mDOQm$lY~E!P<J-t_N8f>x?;{Ch{{LYhENYd12}aiKs3g?<TK?
z_YE7j--u8NDzesO=YJGeHbd~?-+8J^E>)V1^R?ISh;4glz4A@e2KR`%W$gDFH}3Uy
zzLH{;-+d=U>B)<w2Oj>J9p}PwWKrmsWzuOgmONk6Y0$UW^&PuR)0Bie?{<h4&96TE
zO6XP9^B~bp3BPWd=V=xh@6?;bX`?z}^7I)Gdj8J5kQU1PaYyR67?wGL7AtZTPpT`0
z)F&Ky(9?F{TwkzFZ`qaWmI|q+5-TfT^s217WNdMyZ^J{;7ugf93LV)HAn14Il2}xq
z;K37#7bLu9_Aou+mwkK1QRqnHVbAVPwY6`vM1}od<!=;B&gRg$$A7=$QCU*e67Rw-
z(uYp>Y6S>xk+cucG`?2OuOubMut%U|CcBHnoVC78*+;Zr><XM#;TRFwFLKQ>@PYXh
z-oT?Bd~>+cEajYd3$|IZ9qC-8P*~2tG&gZo_MNL+KIUbpnYm3mlE3+h-y#p5Gpod-
z_0Q<ta-Zun&0x!m1-H9)^IZ@ww0yg(rSX{E(b#^OQ?mojckFX~7{y>4*?(s8Y~dir
zV^Z2Di#P7eanNfKy(g-CMt=FR%Z0~zf_!%WDS0>HXy;*P-Gmm&Y@t4z;!fovmt$5J
z-FX;W=g!CpVw2+BzpXcBa#ppqk=~}$B?r70*WTEatm}T6{luTIKI<Pc$eSN4X>Lnx
zEflH{)H|rw5cH$cw#s{oT=%ulaSLA*CcmEZFVrYwrXp9*l|A0Q+&`=`Z=Ml&z;W9{
zev1unfXbI=rEe0OlwJ$Vwf9S2*Vlb#bHKyEC{JYV@v|ap0?$2(PLkQhzW7|b!w(^*
zI?I}A9TS(fbhgAb-?(mRe5Wd#`>)VV?q5gr@_KmZd27#nyx=bXt@hbGzgL7;`;_;Y
zs1-KfpZccB>HZ7rgB}_?!vCB*{i!!CmPIDL;cd+`)qumSH;=8JnZO(0ygKcW`{6Ts
zdj!88@6?WDn9tuI#Mrs*U^91Lx?D%(^b=8s<9Mq$@0tAmlH!t*viN<$-sx?+MFooG
z#@%llw#&Y3nzeyNZOe4`jZGHIU32-@Jv(r4@+M!tq&FP0b1yo7_bVwmGI!ogqm>=O
zYoBzczuX}Br-7yatVBKA^@BpMSx)r$E?s9W=3=thLFw>&+X~+kx+xs_?K2#9Jz(Nr
z<9Mg%vgtDAyhT+-*CvSMa?Nb><jZL_JeI(6F!GL&LweDo8}`>e{MpiRUXO2{?0LsS
zGj>)<7W)6#%%C%6X&W=Y!@+a;dA?iP=NQcw-NK#Pu&8TK;Nk@;_ueNvJe+ywgrdRA
z$tLY@pL6Up$-Bl?CzzzPJgIx${ydv+y%m)LS~{mwrtUc1S6LY4=8$FK+&=4d?Y4zM
zbMBeH^|#1=6Lg}dsWtCm-Or~JLzVu`-QKh9<cb~Btru~>_;AmnUR9zh&7+6&O1bE+
zW|Q<g+Q-8t9aO5(`t)^u@0#4$HUGaXFR@_nT%P}b_hnU)>CcvayL!j)BFAa}J8cW2
z3O9?rbUu}7=y$46ui}_}iHCTbvYo-1`JW%>te9=Tw%30%=PSuuN3T?~+>tmfvpw>M
zY<b+N+Si}8vv!6!GFq+bleXOZNw?M8iS>kji_78(Pj-a%RyXb`UNhPL#rLfCgz5Lb
z86RFbZHMXxx&1#bw;f1M%2u7NYoinXyCKnKQNR-6&DSq3<u_^m)f#Kmb%Uvif67mX
z*!R`};eT}I9%&bRw$U+tbM>O)J5`Q$YFpF)F=pQ}i<b)&|1R>qrd+A(UE2pA8@6h$
zS?x1U>@zSl`B&%k=$O-o1_PhN=R^Z~ck{(vb)C>$Ci{AU{~y7N6Js7tFgH4O@1=3R
zjHkwRMK|Y!8M)KipGa%AWG(-7FQQ?SbJFE17QUwWC*66LuK9kC>+1ds*AJWxl@WVY
zFY`;fJI3wF%*4EjZ@98vt*mN1dF+?3`s5?E&p*|DIkv)qad%aBPUHPW_ja6^wtKEs
zmWoBo@vKh%{_MUL4Bxk~+jnl<_jh0Sf;Y=en=HSv394|-+i<AReBv3GBl`;Xvz&I;
zu>SZ{g7cx<G!6fnIl-MzRg^h?`lvMQJlbKPe@MmMYFFl683tu(zhhI^@38ORzu#kt
zh3E@@y_UlFu>}$z82bcr-)(Te6rkVWeei<*f%*m0{?;X3$S_cBy66zlr8h^$<Pnc1
zqsvYg<`V{b=M^sgIPAG}!>SaXuo*pkt*e-rjJRe7JYqJ>uu4pwck7Xy)kBd^EAHIB
zrQzNE&I?{y2wP@6beAYy;Be2*G4}Gwf3szepHH4O!_-OM_wn72J2~E;l`xp|o9oSm
z@;66Q3nj92CdEz?yv2HSsjv;p#(Wj+UiE+O3=^9qw#<;!N&oS#wN>kYS4R+s{HvaL
zy$dsfz67q6zj0uu@crb3i1NB;Gc<d&B{R34Yk0q7sr<)T%{*rAMt8q$So-@z@6@i{
z#X|BYJy<gW+?BsGi){X}Mf;WYqk0Dii$G_6$5(TwC$R?@#29ZrJ=19Jc?O=Z$1)~c
zhV7X7<Gozdbm!2l8mpc9D_m4ddVk$};pjg@^o)nI5c{<D44&MBo?9oa@aAB9IOFAV
zn<eRLdM3@kj7uuC&b*v4@z25?VbXk4?qn7+YuS0XWIO1+Sl=Svqg?!X!Kx?GJ$%l+
ze9sQc8K@K<6kLBG#ZzXYb^U%OPVF;aYW;sU+?Z9I(<I1HslvUmN}PM{^E9Oc@+E!6
zit=$Xp?C7mtjXfqDF4;_(3P7NR~CgEoA#akpuTt0)i|+bU2{&aR(V>$x<UVNv3EDW
zyl}9Cco>)TdczO?*8AW5oTTvU^L^DtwyiQVwx48RU|=qG@(khN;JE$J{{aJo0)wZE
zV@SoEH+QS&sD##<|GSl%7#aB3*5gX(q>N80YJV23V-XC@32^yn_DEIhRh!Ga6@k;;
z<&#aMd_9b2xlB>9(h~5Upcohuwt!Vov~Z80{*Mlhbs8&XII5n0^X|);fB!NxyLZi5
zw`$$1cQY&Z$A5M&zq+z`U+CQ{Ci5+;tL{E)mX~2<U|?WyxNPPUxaHly_MY85AU;Fb
z)V=q27X96k4dx}33OO)?SQoe$O+Ylm+KAVTU%ssNn^kw!lX>>sf4`>hdARia>RUf&
zE}!>lmVI5=+Fe>-!q%IC6gO;J%KYNK#gBdW|NWTxeBayi?Qg!{&96K9`rr5Bwl^x*
zzpVD#_3qK;pp_pr^=E-t_r8~}&q_YBVfVjFbK`zLN{_F)cE9#>)AyLdbN2JTn*V=3
z<FLHZDW-KhK1s*#do?Stj{{^)z_GR~pVMt0p7>t-<I!XJ&%gJV?QdT9^BwPE{fzs(
z(qh$n3ua5_&$9m(7#&xCE7CguuBhupyVuw4zrHw}|KnnP|B?f@EkDSW|LwmVC+>PN
z^S$-^|FPA7ca^^0X7j@_zvks<{kgwSy|e9Jyz=3i&vtgR8W})9YiBIO-opL0{r0am
zJkPN%J#6=T&W9G|`+xlZi@9Fh++Y1gJMP1lcKgSv-rnAS)ADP-%HMr@uDs@9_PtL#
z-0i+BNtgNk`uqQ>NAF#lzJAxU-uD&v`=skcTrYlE?N@bXVY^G<m!{=%!mbw$qvMOe
zmfqLSl5xE_bNRfYzx;W(cHH0RE?aeC`}+NbuTt~5#Q&~+U-MtD-0neVzulKNpY?ke
zy$Fo1OMicF@BE*auJiA@e)l);x4Ro2P7$~Ld$PawNbI|s1Lo_0-@Cu(^&J2DkJ%qB
z_dQfSZ~N|q^LHJ+f4_fDU)Q~8Z|A)DFJF$^e*ba&-tT$kzu)!R&ziaS0rPEr-tbT2
z`jz+Ue&<=dIuic(O?}?m{GXpfuh%5}UfSJlfBwSv$o>CJ>%W{yxA_;icj?k%{XbXk
z?|VJx>E3GgzS2j*{dM;~_U}F4_<hFzm%8#lk39dS?{aBkblvl}_5alKD~|t8)8Fyt
z%k}+Fmd&pJ^=tdwtNSP2-}$ip_nP?o^IQMQi`QDo75?x2z4xK&dFyv4ba#tar_Zl{
zsek{kUiIRP+xPbv*EE4*h+*s9JkGx3_MZ~%|Gb}H^LLi4{F}O8nRDIW>`rtRaeZE2
z^zK~wp2N!WpQ8Vo{m#Ghe#T+>PYe6w<y<c=`)mI1^Ude--;b}aKDRCSyUw?JKabhp
zP5=8#qifsWv)1}MAD#OC?|Cb~#j8pX4v+u7*WvL#VY&Y+^kYlU9-jYk)ARjRR$YtK
z?Z0h!t!MXoUit5(i+0&>_&fQ0#T~)F$AkN=AKl@$6J_5WD6;octAF*ai~WB#*H^rM
z{QtvwyZ=}7_dQ=9xAEtK>aXQ<KP_76ZvSV3`2L5v{`EI!^X)kv+i&@2;m1Jz%6A{n
z*Lyt&rJZE|nyb<Gir=mFw|dywZ)Z~Q_T7fe|HuFRQ%tYhAiey2t^Ll_^q4bO9?RW~
zj+$3>b9UVKZJXmhTuJV$y)vyadGDJ_|C`^Mmhb;O=j~kafA_`zAI-e~`=Ia2!hZW#
z-|zo>UjOM+@c+thO{X`7+J3&F{CwZ1v+e$SzqCyMe|7V`4=*Z?{NG&qY9jyNx0B<(
z_xo3$lzw0J+*-|F1{4tsc(-#e@UJ+u*zU$(9}(C1AGfyGZ7W{*x#NEKq8H1zzxi|I
z`M=jE`)ghH`##@rzkAV&-!t{y0>2!5m#+8gjCgs?|MvSozLm#UzS{ri)w5=~k`J|A
zZd~U79$nx6^}YPxBT4JaUmseh(e<pp>h#q6Kgw+SEnXj<9`jLpf7Sl@-S-{Kcb}ds
zSNuZpq(<3&UTMFYQx`A4x844Grhe`3-RAo~%D&&9cAQtg=GWsz8n^QA^VWY@viM)w
zvpN2?53{ew)jwW+|I@ta^0)8gx8C0;{qIMM`krs{=XN~l(q8}nps#q%EAIF6{@yU2
zUy$<P*4_8_zTZioU%PMX<KK;D_xHT3uD32ex4o>U{<r#by`7Iv9hUzT{cxk%yY27g
zZ9jA7+dj5GXZQb-?EU`_L1n-h{<6ukcK<c!?ytG|dHcR^?|0At8T77Wdi~E;{PCY|
zKHXcre(%3y{x$FRKN6f@dnehi_Bp%V=cVi8zwedb^G*KzpPT2Ri}~3>L7s6+f7*i^
zH5c~EeS5&Z_tE<QOaFgymj8doxZk$uxBBx%8ow?a*PmZ^)wBFY{o}Q}%j|z{Y>)l0
zQeWrIJz>|2wS0Sy&;N7q<Nn_Zn%{r(E|1z@clTH6Yrb9AZP)F3wtJ^?t91Qm>-*kj
z``&zx-}~lsJnxmi_S^Mh3T{51|M7=%-mL#G#rKtc{o0v%=)2_yIqC1Wzjw#)wz~J}
z=la;cuV>e*b}jlXQ*plc_uJn`*Z=>c{adVh@A{h0xBfk5zw`WF`He0AXD**NN#^Nq
z`#*&X+DczvWBvB6_U)_pNBZjvF8`^0Uwi&T1pkinjkC?(eV?fxJN5Q$;r^N*ci&e%
zU%vNAZ@h2G?4q|{&5!jzum83A_ub!d7jxC?o|^Bwdw<`SEnlv#UN0SC0}7-A26ciC
z^9$Zg{Jkdr|H}I6?Ejhev45w=?>qjz{>S5P``=IF@?X9<EdS}`&h;`MFR<@_V4DAO
zyXEWrf9FAkXZF8;d+q;xJlnnZ-tzx%-+#Zm!T+Mi!(*oVHoc$IA6s^7{`^0aqs#U^
zu9f%8dmp~9{QX<0_jh-jcP*+*n)7GUVcYG#o8tD@#frEdpZDcfevP%g!}(wDdhMg4
zqJDk-egF9(|N4z9&OXZJPInL7Vt(uPdR>Dsi!1+bZQu9Vn%}D8Rbf9D%LVV#r*HCk
zyF3MXhk^I^Pa&D#Z#JL5+-LVEKmDBLw<XuV)yw^FumARS_5RO2$K?fGFU~u9@3`LV
z>Ql+`A6t~=?fzemw)_2b^&$<c4|3(T2Wt6hPFJ7%`ziGLoezuu?|Uq3_ICSw{YP((
z-U}+~d|vRl%I^Er|J#cbzwdolHl5q<Z|jq9uk-h0exG-=-R?)@$7${Vt}(B_`SEYX
z^=7#b-AnE39zXc~O+KdjZ!h=m?_b0vG&7&C-L1Fp(JA5imv(-ZeLvw&-E?c&4R$kr
zupN8#zUs*Pzw7TXumAmzfBx4~`|X~6Xa_YfwByrDZg<Lmn!W#4{jT$Nzioar@~^l8
zZkRZP+WR-k7r%Ia@2_6D)$c#v`TuVIKl0n|QzxkQP5$@s48Pv{yT1?i$N&5HGF-mm
z{O;Nx!r@<@-}v|4KW}I1^R@0aZw_9s`QB!I|05r$uAdaoTmh<KKRsZ-_xwQho0uDa
zH%FJXNvGR>TDbr3rRR1}`Qv|In}281<`rk}?X8~w!F_$~{=C2I?p9B_EndABR4Lq!
z`|w5n{-4X)>-T@O^shOy{{H_3lkb1nrqT6H=i9yi6TRc=9tH3J)0_YQN&5fKP0QtK
z_cy=$x^(rr&P5sD=N-NL|E+TUr#b3xV{Vk56b;Y2lYjsI@A&=OGXM9!xBK4YFt@(&
z*8YFbGuPk#cg}q8-@o$zj&0w+JMZo;-Tj{zh}*s`bpLZuo4I%wbMo7Jn}4h;-nReI
zk>zh=Zqy!~8h-buAN!yB{XetQYhQ?;c8IV3+k3w1Y5e@Z*RHz+e)+Y1uILKg%=1a_
z@7q<KT>bBZr2W31%gz5}{Ok9#_;!x{PGbHCRd7m^xOATR1*o<=ANR92<(G`>#c!wW
z{?D?nyC%qA{b6Zw{LJ5{%t3jT`Tc+G^*>(Mzk471=Ig&F`u9IRSGRw@M7VEn>hnX^
z_r5>8|F^gKaq{^e=ez5^JM!;%VY?jEx`DQNxJ}OO`W^f3&xQN{zSgpzopi7A^}0K6
z^K0MNzuSD?uKw#M@jsX5^8I*LdcXQ%_Pt$?+vLBN|Gm3A{r-nZ&uc%$|9>}aF8B1>
zf2;qxuKRuO-@eaz|6b~XD$J|(6^C@U>(xBIeZTg)<?X|)cPcLbDXjmqYx4ZRN5t)4
z@2I~2Iq$Rm-lwaw_x<h){-64wOQ~_=zlUe||D9jE+pq3hVSd%k&-H&M&#!$l>HM<3
zz2AOGgA(ko@7wpN-P-;A>+-+Z6$@_MKX>NdN50wjzD}>-RlTwN+t2BBpFYR0-1vqQ
z6o?L$ug&EDJShEcpK>SFAn5hAwZDH<``iBh<9*-s_r}8Ops8+#HGb9mi=S@bHryQa
z=h(sTwm<fL|Mw~Mdd{u-$K3O(zU+Np`n^Bq*Umz5R*;cv(wJUsP5S$*^#AXh{#6HR
z`D0?<#D0A%tN!QZ?7D)>e|B_(4GlB)E&wTKxUdJcwSP;%_2RwvF_!O)z|s-9*Up}g
z=8yn!8lFWqfpc6#SdU)AyArFpe(5QP!JP<$IBB+R9!rni&D-v?|L<ZiGd7Thgs+kU
z4$F(4{L^_>wQ-Yy6j;ocvz9aQozAl-$KFhm+If4j^yJ90ZN3Z6zlrMvcNq?-WGC>x
zc$d4#=afvof9LF_d}qpL-<fK4s_PO+Kf~lV&%F!Iyp8BE&%L=P)92_Pr<pg;o-{l8
z3+xby^>yd=D1NP(^fle~xbXbRj9;FJ^Mmwla64k$CLPg~Jmt{pGLQg+fu$2;iP`hB
zf1?gfoM-{|*ct`tL%V}l$GKF#EKbM|Oo&}}dr^{>EI7mt>{v5<{`~$$8F|N@dQ+zy
zw^juEr-4(1{hW3VZwA=RFnA|PVgp;rjHBjYQH>-vXxB*qy)QLm2g9z*FH5ZE7KUG3
za?)n;$u*z_4-65$TJ@ZXW?R36ws`)1ZJc>M#b`Cy6=B=67)#8Kn{<~gIN4LHzF7-o
zL4s+dxxKx->%}{Lt-7<#TW7bWUtBin#g53L>UYOJ?LMUJcJyS$&vU0`L@l=7nYQwE
z*s|?+ZWVRwTz0MweHy0+Hlnwi`T4W!4e!c!pZu|@dbWoCQ=MB=->8>QD&1pf{=Mh&
z)kPsD+dqGD7o8imXZwoDPXrFnsaU%DR#525#b;W<?Tw&M(;v*Zy-~nkZ<gd-X~yNB
z&feOb<Sln2f0~zl@pVp4k;wNerm6k$duH><C{*>f%6)r~#RsA$%vKR!$7oyN+GjL5
z?zn~awtE+z_8UFi{-5o{U+W_W%puV?OXRHQ+Ha~YQ(M9%^P=~zJfhk!^?s#q-xE;}
zUkR}ND>kr|BqToi$W?PPF0VP}YhTpq7<rHt3TtlhytuN8+u6+T-72d}vpbaur5&GY
z+4{69vu?_5V&|)Wv{H`kUDm2qSEO{7*@IJp=IdwApD)&!b$jE4nC<3Yw-ma1zIaly
zLue<szj+`+MD>j5v<EXxrZs?UV3?7jTgRDrTZa*x2n|ji6Lv5c72}>eIffS`pRj1n
z162zUi(y6z6C|lbDK>yJ$pTTBz{N+?1?Jh8=T^^UK3sihTJ!N(aFnl(>}D)cx!1(`
z%-;oM#Fn*A47Rq$(aUabTN_;34Yo1i>k2dGs@o^k+oXNw*STeRFTdO=U%vaU*Wup4
z{cl7=J}i-}U<`jDoxG@GI>=CihpSjGu;;AVnc_ZYqH6N-E9<JHPCj6%Tzq~1t()JS
zgC4)1=60oSyU(+iAR8U3Z^bh2I`QOr-sJd)tEQi=Je>K}YvP||pXHY&pUr(13reyF
zT2_lWyuWibdu5-7u)dh@taH99hZ9pPs`J!u9%s%zao2i-@2XD+cHGU|9;BMO&aLA5
zfqAFrS6}=ob}~0?*{4R;sg_#h)er6py|7&HziFA#i%;)w=kU5d&wFMHa>C;v!-jiz
z!x-lFUfML-dGpH1IVYdB_1yfTYwflDw(ctx?RN(2bl=&S%bv5{^Wx1Z8HpF_1&qb#
zt?Fb%k59R2=6W=Jz0Ym7uzArzCl^0Dc60N(U(>RmEMZ!ou*z4YM!WA{DkxMEdZXi4
zeqDET=?DLlbyl3J{F?KpPmSNTFo;b&<Ier7L5r?eY;Qby;_IZ#1+6D7wx(Q|KecK*
z&l;QZj#chkKTgYDGPx?>wbK~n-o@d$Y+vTxD^gzEr@*Z}>;9}WhSxn*#O+?+x?Jk6
zSss?Z_ta_m(5?U7)-Cz23(~OKb1OsD#)S-3EL~2!*!DB!v2xD&%CXKt%RYC*?Qeaj
z)>T~$vQ@Q?oc%r;q&#d_mUqFMm%8osQL8phTBKUCcv|{zzWbHlPkCbmcf4iV)I2Tc
zTF%qAbMyDk3zjTzet%okaJ4K014F~s1-E!!+zW~pEH0arv($3lO&$I6lTBB=_!{3&
zTpj!EfKsvdswooF-Yh>8IX&`r;)&^M+uJ_1vlzXQS{*dSKI_5jpijEtB?)<(tKQ$9
z#0ttR2VSg&m5hg`ot^z??aJk~myI{O%U9Rz*xkKt{`TD0A^$)AEWU1+c>16-+jMR3
zz?N9$TkEd;?-Gc(lGHlyqKfwCu$TYEtyXn`{1$PxOXyja@dEu@b#Yf4!)v!?INmeb
zRJo%2nnk`VNP(JfD}&X%TRuTEp9)^vA!=J#&H6Eng@J(~;ZjIM)8bX1pRbeM#J(VO
z+5?d41%hXF4hDASaDzAry3zLUKyl5$5HXkK0!WBqixUGlmpW(@7BHKVZ-trn1RUH0
zx4eBKe3*Bczy0De&Bs??mMqeERknNOap$t56Ap<NyT-io)Z4W8mfFuXpbRT9GmG&H
zqx9;n{duPsPI8;(*?EBJRqULPahI<CZCdwYbM(cdppd;V?^I*ay2E^Ti++k0H?kEP
zT?JJY=UUi9h2!qc5~|Y;JEFZ+sVnEsEgSG?UC=7l3)badH%VK&%Y|*xUVZ!RGNTt)
zL|)#xqh-@;wY|L}IUz4?+wD8flg@UX(vw=WqWzBIA#PtDodq=$Z*~VSn|H@M>dU9A
zJ2D!bA8{4C%m0X5WtbNhxVf>NT`#<>`rE1LJ13od9US6w^0H2)$DVAVIB*@P7Iu`O
zs$9Qok-B`bi-@cIt`D1@JpQ+C)h5l*in@|Hxkt}-Rh?*C#oVrUQ|D&l%u~Uc)mJ$m
zJbirn%~4IQq6bG$irQ&Sm2UIjdFJ&D+a<5KZ=Klj&{(UoB5c*9MVq<z|GN2Y=W~e_
z_6h|at5$v72d+weHhrBM^*$=**47;&_V1RTPp|(X{P*q0b<=#D{)8-UbBMX!e}m~^
zY=vD;v)46YyFD*5cND%g3*|M=TN<%*Wg2t*-$h?`e(Ol(^9;RuLfdrRc2M$R$X#v5
zT;-o{S@-A6V>wyZi;?oXEOr)teR*$Nn#Z3lS^S6HkLk9ad%H65!-wlT=S_MnHuoaO
zsk|pw*Izt&<9_MmDsNDFy09RN@ynyPo1c}>za1NM^<{B<Fn5N_cK)wHKci+cMTPF0
zx8Z;$zm9@k%9Pi-JTm4rZn@KKYuZiYCf?Fd+I;NmG>{<+G_Ov3aN}}x-*fB#mv4%H
zo3B>S_AMZ}vi+l!?-#K+OU1~;6|XbT?@&6YcszIOo5H=n5?8LerJX6{CkD#oilMU^
z??y-UEqbx#d%aFwOi<Rd{7;2h*K)7EC{EyaomhU7bN@&2HLO<rA#!r6S1T9z24^?4
z==;sA+T`BKt*2Qt_jFI(`@JD)cMeES)!)73PI$_RRE?}XN~!m@-xN>!q7Tk6!g+W9
z{HYOfEw&chmUB-e-`Do-?0GY7f8BU|_-^c$zk70{mrJcLVlp+Iy8Ei;LsP5x!r&{Q
z)ZegC+iS+^vkm()epm8d-@45=>XvopSCF?Ew4+)Xs(O8L<z{+%SF5j;0|_Q9UA=(?
zT*Wh_h^n4>eLP$UB+RgSCIdM6HH2|202#}W(Mr5Pj>i3xs<drBn{%U=zY+swHiiSQ
z0u>wj7G=Pz(YHYo)BTnUy9RE*EnBX5c-9l)%=Ozm?Z8>>+74I_UXr}}`l;H~@VuuN
zx%5E}ZrHl4Xu+J<8=SYt)E$jcj&;n<Hl7wcI~^2e2f6}u8}98~J^k(t%TF5?#ai}S
z&%H9Ot|n}Y?e`TG;WOVhR_Nu0tvq}uFF1DTvXyG{)7n>*h)vbvoH9{#N5;+AkJH|)
zY?Z$*vHDD;xaeeCmF=HCIj6_3pR`;c>{*jaJ73Jbs`n42OhNuR;P6^|>%E=3w-=YM
zFMg6ZSDC+C-aYWkLT>%n_Pp}*cxyKAx|<gmFyro2Tdk{g35I{u{vMyo=JoDWS*Y8#
zLtg0@6I4&~9j;ZA7N2|6p)q)M`L)EA&Rtsi_9Z)J_$?Q%<4$Ge^W3|DS-*Pk_kvd|
zR=o!g^l1d?Hr(5~V@r0SX5F7B$$cG*UcBkATeRQyp6E6H{Y8&AuL?~2w&KH<Ym3rU
zkMp|MIhTdL)bR?NbVl;^TG^OSRnO$6-nO`qxOX$3cBMz}LT1a-twQW)J=g!bw#q#0
zD!7Lb;I>uO;@g*LkB^_Xd3P~TWbW66-IJx&kGz_3$kH-BaMPp%Pi}@RlYCLolYaNa
z1yd`@-`scWAD;Td4DKMUSQ5psx8nDjpLd^^iL2|^_Jw&jUAxkAJ!P9klULAb;pcp^
zFA93r-~Hg+K0P__)dVvYZjW_e!RhPpift^%=iMu^x&L$ixqTb{oBRykw|ZLBwnd>O
zhtIZYrX_@%TIpAcg=(+dYvpp)>s9HE9}&GFrf$6Zybr5AOaYk@F?H41hIhKU?tvw@
ze%p)LuUm32=gynJhYDMtR56`Q`?%@KRJK)DLPNiXxt<6U%9p9gx!BpRt!W(gYJx-i
z;uvnF?Vl9e*L~d8&VRDjar063D(#&wihH-)f-(fpmb|(;yRJn$Wx1ox^1HS#oA=H4
z{2960Hy<Cq)4Nr7Z`;~n)#G|x7c=H~gOVb{mgO3W>&%#cEqeQ$H?sX{s=NO$@C;Co
zYb(R9KUbbH{J&9uWXXAu(Fb;f%x1jHk@!Mm=Pd|-jeI%CKMV|O{9x@@j0P=XfsG4m
zF29_4)9CEB+_|fw!L~E3c5h{{>RObmK3^iwp!S#KR_}$EU%CWdd0Tco_QVFYpDwpn
z=T15g&iTg{MKRPKIF|Kx@ziOjLRXbJ`Q<vDT9NoPOm6LmM<C}Vm}s$|+R0~Ka{6ib
z8PiLms}J1jNxl9o5|lq29JVr4Jzp1Bmi+w0;jXf$ChtmuqJM3Sz4-0U;zzNm+r*DH
z-8B0+?ah;Giqg~9Yu#CsBAF_8T|!&xi_y|P-u;_G^%K5rm5cB>$sPA;LPdDdivv$}
ze=h6I+Up4lp#;|z5)SX*xdwiLWCCaLxM?+a?u$;7ez^2VWZd%0ny0=#ie0&Q(qfUN
z^KY8{U4A#ue4W;8n>2TRlXJ4R<wp*Po|u=JciuI1ir|g_=Jko+Ql&IXJ+5-kc$J=D
zxO08fjzb3&SFU1<`}QgS)`#d=Hc*rv=-Rd~=yhzj_inN2kB<NS@)Mr*&R;2-ytS$@
zI`G$=J3;%}6IW^3S6ww;TOPNvbC;^Mj73=Q^p)Q>-C}N+oAG#hxRGz3iiqCj&M%Un
z%4F)gTRbmp_dfmc(YU|5M8q|{_Qj(o$2biQ=Da<h;CoJ4ZrOIDx7xiHDXPrsGp4`X
z@G8=L#l(f#B}T`B-(^4X1-G^)FGkCCT7LSx>(2|s-PnHVMQC`7#{J@TS5^tCPT#!3
zJZy8D{H|lG!yZpC<N2=!ipGYMfw`Q0wtJse?E7p#w>I&A=BMQ~;kv9fuHE|mwO<t7
zbt>a}OQ5-J=lxkX+B_{HL9vh#uvPNH-lb19y8NpDAAfXw>XI;t6}49msLp0zmpmbA
ziP8t#3g+x{dIEE-t16D<wBJm7`1zEs^3~#R-XFTGWS&L|sOl%En%>KN=sc<VaCV>g
z*RZ0nx~tA0vlAu}ZuXws*nP+vq?jRW!lIU)w|HK3Z<}wPB0Fs>xGaiL)?&Hvbh#OO
zL<(3@LhlMQ=3RnL=^$Ri)`Y)1z>QW0ER(PpBMCPQ!0p<sS+_SDyc1$zxVB4owmIuJ
zt_6$?4We&mIP*!Bb22bwUvCY+Cy<xG$p^B6Au2GD?aP-lIWyC4Z}YpV3+|9MTwQ!i
zNanVmo#CB?Utf&9%3zII-L3hDUu3`Nw|L~3J-g*PxF<YA<|@+*X0xz3<6XT0MZGL@
zP5m}sQk+~M`MAY)+N$&fW(I~1p>F=P=`DWiyl32r-XhD;z}EZLn`8B{j-=x!!+)E0
z@xK9$B&q*2xteR%&&JU3VjIiO7uE$`-`e__7!oS3GQF6)yULe$&KWW0l}TpZJ<{U7
z4|vba^py?T+LrS_wQOmXTtvaDc}B}EKTJ@RZr{FKN+kCDs*fe_I@vd6GBBLj_2HEC
zqnl@s%M=Ct*^*(+z;Jezgv0whorZH>Y|}qJeo}K|N94&5h8Ip6m`<6wZnktfKTq!D
z+BSdV>W~K$LMAdxKcDCNuH)vRu5-ICtp<nM8osMcFJimBb+2CBA(%dQ=jV>%<kw~`
z*7DD0%XJ4m_Ig=-vhZ;Gl70Pw(?GeBVe<MYhP}(T-wBdkefUI}#=G<JeyN*WSA~U|
zaD<5HFhJJ=)b9S%5y~6Gs_J#72He^S>&jyMvWUSdW6I^C?l30Lld<1+rJVojwnq2d
zj<b27xN5kXSiAIEb=B#I^QW!Kao&76vs=tJ&(nJ@`?;hqoBI!6UNrggMn;AO9{;)7
ze)n&Vx0!L5kHKLxxC*-3Gvl<*r|9+Pz4k7>Hc=w&&W^*2&YfOAX^z&)GmR_1YB0sC
zSbUfgJbmK}okPlIs-~Q~CSK=eXxOSSQ_Vea3fGj!dtKcb87@pJ{rvfJpvc*`5jQqf
z2JbQbx+T9V?c0mwe*W_Ei{CzP%blCG$BTiXVa-liZZ&;ohMtS9;rA~1PwIwu@is#$
z*9}pj91DDNLEd6muqP|t37ozdR70adgN_M{ekeIIG<d3k22H|Ny(wSL%wQ0xa}ZQI
zFktDptzqP4U|17UY%O*ymWkm&l=#0WKG6Dw4NbDeCmbK^F)}2)1tp9_yl^wL&NR%M
zH&gd=&h2X}cO3;s^oFXC=%!?Nd+_8stGRw6uAm_d#?=nN>i6C+pSbQ?-?96py?eOg
zyg*vQR>PWwlebP0mEF>-X2sussiI5P`>W-KgDTQD<t^J}7Tta;_IElHgM;VFqwJHp
zoz=^EH_I|KNZtA?bjV`HX}3mgjpI4jSmsrHN_|yg)fk?;^!XCuijRy88D0uH@7|xP
zbN0LXmVqH86x@`&e&xW)0%L(}Hnk^ghmO3N#kNwhYn%Jg%IsBF9RBW{`+V6h*Tv8K
zCaqnS#d~udQ&BtL`4f6sk~{bsK?8z2t~9PTd9qt6H1WZTJBN$UueRs3^80`N4U;JY
zL+@@-&Pn(+!<nyZei$g_*ord0xZBHmA@b%6T?0jPfp1G^9eph=a`v-tZ=49zx9#cG
zr^_bg$V(U+{5lX=wD`P{`i-`fJM(K}+4g09jeFfV-KvInv6gu5gVWQiJ>EUsnZL^D
zE)#>ngr&v|3~B*e8LF;73i2-HnX+5P#cYqa>1q)vzMIR+9$0^K?K*u%TmFY@<=?j}
zd8!_)4oge>cwlkVu7>2A*d>=37($nd6`B=GG9);Ka4-1&Wm@#A#Y+O$Im)c>60l!e
z@`Ec%ukyi?PZ>M(PpvLb__;Xj+ETe^zN`!ml7E*PAB$yWU<eE`ZHSX8XRv*AVBH@n
zDb1(h?DJ$+rgqGJyL0d2usciF{apsC#~MV_5gD%MQ`*ZmaS^^Pnwg&#p9z~fQ*7?k
z-&^aL<F__C`#;MLd@LktdM<WC)e9y@hHDd^OnH7K>B7g$Z^U_~-REO)u)Uh*@O|1b
zOXgiqKCzxmJK5TKdQHikx65Bl_#l2K)qRb+jaR~sTa)`HUoP^V=ei?uudDhgdD9Ii
z7G>YK;<{Sp&oU;41>3G{l3w{>M}}+Ps@seVE3$~_j!hC>l9I8{%4E~5&8iC-8M0>I
z-k31Sh~a=lY{gUFzbZT7O+wRX`PGMK#h%_VadX`4>7eSOVe0}XhTJS;*EKreY?l%`
zn~~SG<s2y8J9L4%UJ(at5)~K@s0f3GxwS*T?Y_*&Fhk?@@mP=&28Pv>L5dg{5FIwx
zhf)`ct;O6T!37?}YM(lWx2tWyswE~tM@%t$bw_V7z3^Lp`DMv5)2hc|H^F0+3_SY(
zy*Y|gnXlz-znx*I?e;%t&CSbTV>K2#G29hjzV5H({;ke8LZ{tZx9Kw20}^ph8LSj6
zU9BWfJj*-pr_?t)_3)hoPhMYH_wU=C-iLK;(`HSzX+7|A${mpR88)0U5pz&acUD(-
zUq0#PBG1b!4a~RuR(vWA+%h*eW{bA820K?r)5pTVaMktTV(fs{1bK(^ZzDS7^Kb6a
z+_^e~DgUHGX~M6VeXASqhE1|=-Fb|2+DonN=bxB@9U2iC<XIH|kmtpnYZn*1JiPPm
zZ{6T_|7D9dXRKO%;Ht(h@NgD`@Vbn;Tx0Kol<;XD?{Z&NbGt7%c&lqylw&xkRm+ed
z@%pyhf-`d-U5Pr$>*uVuK4b5*wB1stSAxCV<N8$c!p>}m<zdr2UcEmhH|e&{pQm-H
zzfS6^UA5TIQ@Zr36Vp|(($G&?;7C}*gftG`Z1J_^&7p%|Ui=0dr4Tm7VEaC3$2=Pz
zwIOlLRXVexOb$Pi1{<NAjC1k>qYVQS=;ECk<$wOnw9IX}uS3=*F-XX6FJWL{Sde>_
z>4iquwz)M)I}Uz%nSMok=_Ef$|2%i`;Y6$aJq8WmdfrTn`*cqtFKqGTuzGMKkU5lZ
z0soDNpA-K5U+3QWKl!`;hmAiTx#)2i6dk^EDOvaKZncNzuF|GE-ZC>VY*-f3Czlas
zH06DX)gg`q*A-RowJM9b%~uz;=loe_RnwmLn}LC0jpkHlP_tw!yY?^pw^wR*eX!rh
zR}y!{`Qo~QcGc6T&%O71>vi_GUKWo*)!{prx}V&8z3Ft4O6u&Rxrbh7^6XhZO~!ot
zY9mvTzfBT1Z3-C}7-ke)Wqxtj^m13qf(cXp&i{F5j@6(4e;PX!Z$@wW3^LQZclKGM
zt}t0nb2f?ITid@VJv?Bpnm29l+vEF<n9PqYx?NqdBW3Qxb!^uHo_!C$Xt@jQ8@CX?
z1?9SWyvA|T|L<6o`^Eg(viJX9|K4cLNC9Vt$qT;e);=(KUg3T5?An7{byl6acJq>K
z#fki276yif&;>=HW=l-<hDDwidO7?P<#zwu$$srMgT&rj+rJ!;c|P%O>1*C8(*OKU
z<b$RFB5JkRFLXPzT&UIkTmSFCRr}l0R@-O1vEQNhEB)4?jD(oBJxkl)m#$q^Ud_Mc
z{Ng{p54Z6%FdVqGao;OOa2w{s!`wgd<z-6uGMb*<$zQ3p(_GWiSSn#k+n%M%dtT?o
zTzaBY1Jx5)$ySn|c|-Do=E|*_i<(LlZtH9?x7@ko#R_m(y*oQ??i}eEQFSRoLIMpB
z^Ixv?ywIy}Zt{UGdi~*)O6J{K@y*qshWQfsq#kVOdgIHPHy8KY+TD5Vdi(tCZKbPj
zYB6TaiMC>3V7M@4QOnLx;5PjAlvswIeu(I*EXFOB1q`d(Alz-IU~QLFGRCDawB$&X
zGcxqt|8gehPsQzPD-FY#4C3CkGi0|&+Z{OJ6Tom6I@IhdJM~WJ7m0-4*Y%(3K63w8
z*!Z+|qW{AKw~S}~ez?P~;}-*uK=y|={VWEJ#UTuL_xGx;ofW<6zQBPfGh5@`Z=VPU
zOaG2u=5Me3UAf|qwBo+vT@#sBJM{ieobq$Roo{msrhLEcmHg9{VU5DqydQ!0jz3V`
zd6_BOy;btU$u$cvzx4UnyMD!?lj~&?QuuD{Q0!WCnD4Go{?0#LJ3mfkHZc49JF#-5
zj)HYEbHmAyuWkGXCd}ITR?WU(`J=l=yC>alf1{;ksHuNXPJZgGNw=H#n=`FG^X1H&
z*YW#Ich&y7Q(yH{w0M2}&uiv?{`yq#c_jQ?9HB5vvwkvrMre)w8PgASH^RTn+?<g=
zGwr1R>6`rPn5#8rcBb>MH@P;Ub>~Co#Ua1j=JW7o`J5<T&U$SJ8`Fy%ui1A(P4cZu
zLq4@h<oj&p_c^%E+}e7!1@jtB>+-K!x&5k(CoFk0|Kq0bPZrIt3Hh*^C4q(Q-uEt^
zIUfaB^RplFU%L3#UiW!l=oROaoVRYK-OV#M2>ZroUz2Fp1-37KwzckoU!Q!fw|6#e
z?m7Kuu5M{a-jq2;vu>w;IyP7LlCE?_YT3JYZ|}_gEVw75+N*bog+b=7V{2?1mVJ3&
z?P|ZXeaXA1#{ZxDx$?3b(;EFxt5&a2|5LdAPy549tv?%hdm?(J>o(uXY&2c*N$NtQ
z|M{oeuPgL0WW-!-e`6%SuUpOW`ZGKJp1{2q6iwBYO^>d5lAHTu_k9D~Bmd{v)ZKdE
zu=A~UFUN%)Qs#eBu0$t`@|8z5oboPsaxeGvnGES?lM9<;d8h0OW?mC^dz+u{`8l><
zzpR{j^WC+T@przYrS0b4Jw5IGT-hBDGOxVgy{Vp@5cBAF;=6lB-w)r}e{yQP$U2|R
z->NirPK)j3f5QAfGx@3jdxFQ|J0IHrWXIp>wAS6g78=o{9DXs$d1~LR8(Yjj=xZ~E
zwYS>tZMEHd`QHDHKbG%bdS;_<?S!@8SF<dL{JT5;+wv8)5Bx$uZ4=7~`*iu!hwta7
zz1!Y+=+48&jjO8;zkhvi*{gzgTNvOK)`ry2%PO*8WnR4Gw6lIX_y5C(@9aJKJMH4D
zORll3Z64nQ>S98oE4UA68Q2<2yIxF|`@W>&w5oWGMc1N5H|1T;pD(&y`eR+(S8W!C
zTfy(^W=#2gH(+J#)OU5Rl_e+Ty!=k_U6H(TBP22J$AK52yB<DwWBhn*(F(=wlkLi*
z5=6DVW_Yt+$eyr6G9vib{6oJ_t=Yr4A!?^Q(;C6N9}K<14&e&5;6{SRdW}T6GTs+g
z-65lI7dm(!>m@wum<O(8r4mW6J>hE*5Y_2pJ%)ylv**q1mCwIzWqQnu;n?ZF0tvkZ
zhuI}&E(A5Ez=PbmD<l})*8V^F`>6h(<|EU-yV|ufXP?h_*Z%m|pEt$U4r>ld*L`~T
z%8xr>NeIJRGp-F<zUR;6S^qq8<=DSzFE5`z@t5P?|6T#rI?W%ljBA)o-?axmns(zl
z&cfq(fboL6zZt@IF`MOeEPAoQdHa!Qz5PjfHBT9OeE-))#A$JRv|eQJS+mN#hN11s
z86laS^Y<6q_p#e8UjFFKoyDv2zPmd$C|x$*3@RI5e0y2^|K-#0GkgC%jlTckyYWLy
zg`MTs7yWG5n*W<2xBGqjPPTjezc-n$o3wqa!{#SByMGjZ`<y$o|2X5#!`i*3DWI6t
zxVrD5`sMyb{RbJ}Z8;!y{n!1!o3xdd9@#y~{Ntj<n=Y2Ui}E(DlV@1th*V14wWxMp
zS8|(OqPOw;UM1JdvR?PDF`W(Cy{XvlknNN?3+DdTw1O25+mQ+fw<^zj?+;~vm>#K_
z{~++;;mNmum%sX?&a`3Kn>%-J@3eldTygQ+6e-V-6SmhjOv6$ttc-P)&ye0<-)3()
z{eO(@pXZeg)2{4zXnuOGSVXhi#!rEJ&mVNXyma#X_mkyM6>n!22>7D7`%L@$MV=S7
za?WiuTqSO`<eB*LWizfuFfN{#SheDd=B`%`Q|-<(_qg>+*BQN9yOFEiTK9kk(~Bze
z-Hn@P2b=%>u>S{}Lh9{nD__psynLRWsqyW*R$sgQ*BNiV+j`e~^Ye3jF&|8_Oiat}
zvmI02C;#l7Zn6EDzq4ab-oEvre7|C~#!t;%PiD!ba(&(@D=|GW?}ziht@`hdfLuH)
zvPoGhqIhwJ=AuurOZ&8}Y&P7TV%5-qwNyCGgkCC4yCwQB{OaL5_R+iUU;AOhZ(tOf
z|D*Qq?GV{>bHx(S`$oF6E(CtLzVlA$$Kc&X{kp&0ySHvn-_5F!S(RqiwdlCbJI{~P
zy!Cz*h`73Lwr9KdGkCvI+y1xAJ#Kq{CkFMNKi~?AU`^+%{l|Cy<zHjGVdKg}cRn;;
zTwQYbyszk^-jjP9{~Vkv7NOiF^el+cgkg2`|KN)FnN!Uf!nD6TH<%vcm0wWE1YHUe
zIK{wx8#JS<aFR2bb<1#ja^jRyaEp7xsVD3gqRsN93PBV83=C_GAQRyXh@~d*k@>YO
z7v_SxQd=&5Hc;EV$|x)kypHrh)U^MqEsTXix89b`)@#$)^_FY*9+2S&yuvLT(!R7@
zgm6N18~W6re-m%@U|YO1+hvK`=Vx|rPv4z!Yid@2$*%*ein`Cp8g5;^-?lt?>8Zo+
zs@v7w*HrCG0?(i&?3p!_QPyJ`bGypz<&WNIOx(LHO07Kg^UWt0rmoTo_Q{*S@|f%H
zt}Yo1m$09or#garH_1~FJ*t&u?@#W$w6elvPVcjKXWuH8mlbS2`1-?MUY$*U1fHHZ
z-)Z=>3Djw4Fwryj)SJUNH+OE2U2*us6-&<Oye#~BZ4z6z&MfD<^?{F;e_WUN54`q(
zK_JY8b=xN)ncgKUOsBo!h!)KDHHk<G41d@PUVOvgmRWn1dDnK$`*vCz*A-q}x5&|3
z(SHhCH&2OaqdK^oxF!`|1x<)qs`%AJ%VWaf_%+k#KA01=(_(w=yC*O1Fn3pJ8+(1z
zVVe4UUTNUt0}(r2+58N&`re<Ov;HMy#w9~U^-L=Bi_kR_Z{Fnn2KM}hO(LpircQqV
z3VVhIBiL$%q{BP7CH5~9JG<crxJGf9Bne&EaEJ$-z!orGHs1VLuQBlUwo<J-4v^Ij
zCXb(p+m_!^HLzN~|93q5HbGFIoq^%(jq>@WkM$Z)DuG7Y7#L=4e9v~@^7vawyR;$g
z&F+4NS+`+|H?Xj4iZZ>JbU(@RLp49B#%c&XDI~KbWH#eor1cP*bN!b8UvT@a*;RFr
z+cyN|RNgqeNMqLTKhM=yt>)BBKCy06`}V5BRji;zNt;vLWmLaU<(%@n-Q+fSsyE|m
zQvS|+jr~9VwyV#td$xJL^uF_JjACsceV3mnvzJ%dZt<jc^N7%(*VzusnI45mfJa@|
zNOgNxXUmj6dD!k2Sn_iD`i}W(zgJ#QU)LD>RXelbNL6ajn$^?R6$gQ*f$mLsoVr{~
zUHRp|dllXad-SqqR(n)j2uXDPymj;9_T5}AZ&y~G`jXQHUePys{V|<e=O(th2430w
z<<pNFPaeP67GQC2s;$``?VWq?=h`IY*{-~}`R!!?$*fcKlaHi}yeNK@=J5VbtZ@S$
z%fXW^+y9%)R$gA^p~r7~Mo8x7!s72@S7%0hz7tsaD0nYx)j7y8=;X}8m1!N4b_KtW
z&hK0F;>KdW_cE0c{|o<T7KLwWf3oh0Vz>9{kLwl*dguAu%0?s>{nj`SQsw_`zLs*O
z$J^_AYi?~1dKVSL^*@E*^XLxKYt4P1KD}P_^XSPh+a~7h@|pX0Z!eEY3V6km#Nwk%
z_lDLpv41O{TYho*Cf(mFvx}~8beEmCd-eYX^*LGL?>d;Zee87O6F2n)&I>FG-}b3d
z-*G0$5}p^fTbCs+58LQ*_NVUs^Agwl^YULfOqzG*H7htJ`s_1Hb6{U4Ctv?Xxw~xY
zdxLLZj@!Sw(_g#k7|)AOyV<tof9qMKQT6Mwyl93^ljMb~OfM9#GkUHK4*dF?^R&O%
zIlrxPZq@e}OT4q(0~r_gnYDCRe2Tb*!B*{`Uzp|hZpjGGYnT7=VyU`J`IF1?|5sdT
zbe<Micm2S(v-2);9+#c@X7m3oE6(3q9~%LgJU(oH(^;xBdvpBj@J+V^+qRuOH%abs
zNj@lfu2{Z(Pt4cnf93b7bS)C@vo^XXWbgNNW{s4E*4EYk73|Ea6E^+7!!`NwH{&}$
zGJkRfr}n(*>1yMi<N9;HQGREZ@q+5D%M!(X->fwWwcMlPnx$2EF`S8wi`(UDqgDHy
zT-y!Ljh=$?%7K;_S7*6aKV#Rg`xo3-b#AiU<lFwM&i}}KwZhoGqVV0iC*S@xSG=Do
zzsKU;x1au&t5*EWsWjC(GwtFx$<VcX?q!=_*!A=0PmQi;WjZ-G_h{amRdvhU*0}o1
z#^dd~cW3;ryuHoOG%l6*VZMUQv)`QA{GeVs!|EGf&b%?6|FNeqJn%C2yl*$Y|2uyC
zc<fQG;%}DEk7O1E9*W6j`{H{0eD;QY-+GKVwpoGG$Cs%w(-N8XW`A2WHTsXrY5@oT
z6IY%!y4mpFi~`LPGF-TR$%t=F%+)l9^&F{657Ls87J~J;1a8@))9|b;ED=)f^c<ZO
zs<XouG#JmoaDm5ofhVjmdBM40CrrGj+y2|b!s!Q6Bn2G&&!6dA1}<6|!Y1TKFK62(
zX~VqBM;{bd3~Mqj8*k3Hd%9#&@BcUN?^RykeedhD+4+3to1r69_T~n`@3buoEB_Wi
z2lby#iP;+oaSUSSV9`(01>Sypzuj#E8!No-^2?IlcW<?C|D@W&eE8`k#nSt4a_Szh
zT-m1l=AT1v`R#2fH?_ZrfD|`yUU^xv=%LYzFs2u`9<8yIUZ}QR#P!n7cJ^N~ZmZf7
zt)@${r|A2AyBe=NUGKxR?3cbE&m4%l=0E@O@vlZNCaz<Q&3yFvg|Dyg)HClNg>3nw
zXrf*DvHPFG##v|1o%2(5>D+wIuMspv*r2F-`S~K<)Sf)HF9*I@p1YWqp8mTq`t8O?
zhuP0f?Gu{pcGxj4Z}XLPZyHxF-n9GFk&eb*X4Z2h3E?X%x2_cC7ms;nb!E2&<5ae_
zyY^ms+5TI;LhNBZ<Af}k_qk8@gPRK-i!x@E&Yv8`v*34UalP$}Cy%!+y>vcDVwTSf
zHny_DLlJ7%Pp3_}xj0Dn*wd$Favt`puT7qPl)cJBHrnX2&gQaH2dcc{=1fWz;hnX2
ziK}Jx&x_h~bGlBR28GlbyTvmYZBKo%6zll>>S<^1iYpH%EPlRjUW`ehbxqFWm&I4B
zv{stDIB>DufBxae*Jh~ZUIedF59_+d{9@9};?3HeE$Qdhtz5Zma@i)|tHGMvb!X+?
zt)IQrO7oUo%EU&tscjSNKvm_2rk*6WlAk-zD|>hshkuGas;0X#CwW%!+heZYvqEBD
zEh(EAdN}VTIDu-P{<V#L#g<RUuH?4KZ(mtgRNeO}On9Ej)K@;o7TiqU%zn+{>BgAt
z2Nt+4Hs2Ii{ByGJzUS%r!V+6DJU=c1SGWdly5}0!S$(wJD)V8&WdH6Z&*qrj_AIOZ
z`Rnk@#J%&{BYl-BbFwn0e41+#dfwn-R>jKRl+8xBPtUKrI+^$Usq<&gZeHIFnQOmQ
zx8rqV^#4znCiT`={tr5P?d<vU?tv!TlM_!r^Zj`3$ICBga<1z0>lAw|&0`LB*A@jk
zz+qzWy?^n+{xu0Fk4-PN|Me``Z`aRfvw!<{3q1=<bNIf$VuNN=8Yl)DF8)~i``*)r
zzveO<3Y|q<t;@fH1|gziZe5O!d!zgQrSA7>)4qS1CO&<d_qS^`46&uh!0YW8RtLR?
z4r?8_r2=UhU};Xm8np2CB}`yr;vMjeH-kZ>-@n(VyUJ|8uiPKGPaaYXFl;aW_1`vW
zKX2>n^qN1~=F{FR|H)7VTb?B)4_@ri@X+@Q&x^)~MJFfh$}cn9|M5!5VZpNc1;=*h
zMsIo}S_LlL4!F#`BYEL)$L41_Ewk<fiFiJjlY3Dtu~Mq-WlWaLguNCw!|Qcpc72H4
z{zVOxp%Tu{dLeniby<3vdgasJPY+|YM0L52Wcq)4bpG7AbrT<$em8ks{&?0da7N#f
z_4I6m+>SSH&6ZI$KMw4?6sYE|XJxQGGAsPs0SAw{QW^$T36C8bjb(3yX2s>^y@?Bn
zp7}c9{UeqTsV%R*c`cWJSN|aL%J1k79*~b3*xtU>eShcb?VY=~XBTGr=T~mrzGwON
zJJC`1E=TL#_v~gYu`hh*U+HI;7p?X8OxwbfEqMtE;_5xAMSFAHX4-09O^k`ld*1kE
zbC&JS$eIQ1S2n5|pEb%}&a-CulcSoEZWkBa^p2XcdAj`GODC6w<SM6v5=+9T-Xyj!
z8ke6(D4bh8UEOR^P`h*Ayxmnr7mvLCu(5af`Ow!Zmt0!F>@IIt%hw-m6nw5MZy7kF
zOkV$$VOPqpJ8!(09?smHopth=r}fQcuU49f@5tCz`agHtt0ft~C%CdnU72y;Hd9|4
zl-{059p!oPsd&D-!0M;#p6u@Oy`^%~Y?<ZtyqGOZJcI8SSbR9Zb~q2Da)v|e{p1@{
zytMOu?xy`Hoc&6D`*V$a(}$kHE6=6y%(6ABPUsDmJ6+1n6J=7R{MvN7{mm!Ub>GaM
zy8H8m<lBK)iEmkcRPsWoy4~_=%yLDaGACY{b2-iWWS)L}y@l<X>z@sTb0!~OHqA}*
zzGv`P9^tiZ({Fj0X>Z>9=ViF<%@1q-+%b<XQ-Bl-!l`#rmNxdz_d9<k?C+-oM(rW5
z%nVAm1SNtT%^+g=^zDDsuSeMbU8{Xxbl{&fWbkwD?kel@?`67rZ(r)_e*<NxYVXt4
zRj0eXPtV`+K^atE&CcJqvpy&A(4A8}FaC-1o4GE&Q1lSC7T^MSDbxlbQ+bE*xrV$T
zs}88l_<Q22s=E09Pyd$A+PVYUUDQ6R|GxgK;M~VvX8YDum(EOs=D0e&ol}Yrq&}^R
zw)fEl>1POVL9g=&uX|2%er)Rpn}~Vr3@Ta~3@m5yFIX%D%7;}&XU?5-3p6p^ddTTB
zqCT9udMd-NwmO?xS8_t6zR!PSR-W9P%zJ<56$^#x!drFXzH1IduUl$v33ApH!%Lu?
zZf0Xym1Ml>Q|r>8i#aM@w<n3$mz9+z-4F5goSXb<&ExXNQaizU&}Y^~)(gCPyC<Hx
zzA7ziWscr<$3GTRmBnRe+}7EuU7et?#E(}*!gfR9f&(-8-e{SwH#0BOU$yp3>5B3~
zCN18m((0v``M=wL(Am^`czs~~dPq*(m|@uPPW{|p&GRRZZ++@^Y-*T<$I|&X4NPWU
z;N^MqsAZ$iy6I;%HoGsi>N$P-t<8kGu(j&n53xZiJs$Pts;@OG3%#ZVnq+*NB=+>p
zQ}^{Hn>3$Y1clcIr(RH1^riBF%#Axo%y#KcKa(pgr@Az5-i;0~Sw73Ecdt&m3U5Dr
z+-#m*_}b-@yqfuBYJYsOw8`s@yd=g8E~FN1k#h*2^?MHQIWM-XsmpZPf5ij``>MZ9
znZ0UxP+qjjZL9D8Qm(h#b&M`7xFm21ynIOQtVWsx|K?9_Cr_-u*R^Zs+%<FG^Uv9`
zWK(bExvkRTe?1q!3R2(Ny+*3cdp@W!I>X`hZMlRKrSlhS%-ZE!68%bidC|$`C(}}`
zWHzl@G;i^qt1arjORXl0+f?U#J0P{(X4-2pi7gpl+^%Ko)o*GnuY0$^)w@d^oDUne
zZM9(D<@QBp-iesB&=-mD3h@+Dh4}x#L;cvdRc)PNhrM%EW>38t_wUQ<c{vqfb$NO7
zYGWY_4}0#Rws58F=gynCc9!yV%O!5xLFtEKOL|q>w~lj#Cl^@U`EhpnoRZIH&A-nV
zQ$4fxOvAhSj|yN#*^!?ax2!x1X1gf=5OM;uuBkz*pS7@&QjDQf!UA2qz27ZhTLOCd
zA$j#lhFwFSSIcQt=T{nCY3ZM%{d`U5#D8bc+H-rG>gl+J%fa@q30uo@!8E1$S;~Z2
zH8CQd$8Q%)n@gWwmL;*Qcx9o(w?{4a)mKM6(7k?XHfU|_zxr?Q<c>`Gd`GzA>m5OF
zWlod6lw_L+9_M5_IAtZyap^U&-V~NH6EMnolrm+_BhRq87Lj`vHS?bFm1<ePGiJu^
z8;x^$4{<b4JjiEql7($P+v)4Iwu}3D&&|CRRJ-SE*xagDS1g}@KRn}|)%)YYrROqM
z{r~(en&I|r(*`^1{T}*#_Y#|?*_Y~yzU4a78NBz0xVSjG{GMy)HdbAGy8NSu9=L-4
zow|>~s{VGb?$u2@udzM7zEx)D>g4Rrx4h5xbxzo27MS$y$icWy<F~S_wyoP{TK0aG
z?sKc2-4>k9YO+-|7hWzu{@%7b?eUlDEtR2=C5=q1Y!_x9soeZz=daQgQNM2TIIrf6
z%})qd>#^J!XS_J)+bZ6OY1gePl>W*@`DcsGmsohs-1xGO`tq4yQ{v{FG1{e;8+U2l
z9NYSDj_T3LvbLa*XV2^tz3}tp=N+z#UlwK^d)hf!!sNlU&D-D2yR)^x`fmBBFO?a#
z%{;TVlz)4B`T3VU%61>jAUUzWh5bVFH9LQy)l0+A$z2V)ymaoHkgq(aa(9PC=TD2e
z&i2x3U+Tn8w&rEfhG_h=2u9n(=cH#wm4C8L@b=bHo@UvfcW3L;lOg^VZ{Av%yqN}R
zv6kn#_-~l}rE+s~!G#m9xAP8p8?QK*#dGV;?Kc*Wrj!@m6`EXj*6w88*`Mmw-)BC$
zxqE`%nr!cn>p*on!-nWa?FH^G=Y!ue-d(!wS;;NOS;s&7E6$bcldhb7S7lYLx$O4+
zC5vC*REzS>-x`=Zt=Q)Om-cx%RiSm+dG~7KA(>6*?8&OVdR>nmE`Dvj-T(CBr`yw?
zi#r!TnWOjfu-ddfzE$8RRzu6?&)x6W#I0vL`tsQK`*p8hy~_HW8-7S;6I0da2M0Yl
zW`T+mhHqECFn%eLvji{WI>6Uz-y#4C`i95Q)}ulTbTNnkw8nCR3^6fqKpT&^6%-bK
z5<GuSzi8Io>d)_<1cORhh7B^8*)O=d?U*AOlphnb#e83N`6G^M<BLxYyRDwKcR3`(
z$t;<`P_@M<JI`&!Rpr=;CE4GP%(%Vc>V~rqf*!X#JDR!g_wj<4tJ3fOPJbw&2X=UM
z;x&d}Z~i2mw9bEWyliX87Ht7_zpsztV`5}#o<zkyyk`^lDUb!U^(gQe_k!x}cQu0V
zzEwWDsrr4?%S98FzpK@rHQm`Mx)MF@SM0%-_SgHFB$ni9g41a9uHxS%7yg~x%f$S`
zcj0W+^H<j|zIy3=nnaZE->Sp!j1teB<eDv+x;Z@ez@|Od4hp|~exa)E-PM5Cvn8{i
zy_tI{+W*<nlRAsDFFjLzd+O%rbor7^SJPS_fOhgWu<j^*eeLh|`=>I0p4<KYsmbhQ
z)-Q8j7HbOr>^&{4ZkTaEH$DHZ?au6nWxL)#dHMN56`Q0<=KD9dm!I#f%>KW~pyZg=
zX-K7U<m%O{EsI;(FU)*dY-)GAPQ35Sshf*$sh4M}TZh{2-5veKFRJcLR&$B${Y@vf
zB;URSZulx29_M=TXX|<6B}>;@|CHOX)ODud={fG^@49N2cQv=$T`S61AN76d-s_+g
zQ=nYc<Y=9Lr#9_(<#MUzrB4>+nm=4B8IoRlHh**e=Eohu_fD32``j|E_6yycYvlj!
z(afYv{PrNNIxY{mUM%FEpM9H={jF=j?Sw>7#%N#H=)2~stl=lK-JT)8uWfTXDW9^c
zYFp&P+4r&*-_m*hV?nHGk)PS;C9@*St}|<aQged$>Z_|>FFk$ww4?LfHP>G+(vY*;
zwXgX17MrNL>ase+FAp0nW7&9bi~jVy1G1Q5Sy5SC;s3YW&G;2_&MsK}vUqFZ#kmIU
zYZ~s^R1|1I`(l={adFp-UM$R>Z@!FwLHoKH;JloWxk~cOjxReo?lOY{i=pAKsa3h&
z-5E<jqXrBNE1<(A0<hK_2ecAXw1MWZMH*eJSFhguxto*y4A+9?bHPKX4Xm?lxZZIt
zc)z#u`?a;v-|yFD---lzjlrVgul9oV>(-^M0B58I=EsUHU_Z2c5CGMa310m2vF~@W
zFr*bd|CYI{5u9yj+{nKF@76kR28BD#{PN$oZDa*CR2Uc(+17w6ixZh;@6YZ|?q+1@
zn{Lg^z|e5mIETCMp8QXv`jVEnu`w|su7%&%NiaPq*m0SGfx*JS_$}k!lU%E(O^}xJ
zY1(<Vb4tGN*6QK|pFBRV%_)nY(p)*6(W79wVAh?^ocdoc1^J$RVv^a$E^jw4*Z9Se
zn7yfIBGnIUoT=RK&dd0w`_tbqmfJCi9h%F=u%VJ`nv7&Z<00l3*Jf<`miu-2k*Iw;
zQ`cX6JiGbn#4rA9*D_`=+IEepXjRr+z0aqv_$?`O>s+$q*3(Cil5UyoeEsIr{l!NV
z)^0X=onJehT{NIN^TKnM2FV?lPpny0x@(7ZujBIjRtd%T?tT0#%D=%RRU<~^sG9ga
zmLpr0Q-5cb#mME`-muvxx$Vz?7s;(`PiI_R#W3T7PjrEbN?pzkjrdh+OJ?ppb?j>2
z?EKmGcBy@L<}5PZ`}Wt$H8*#>Uizmv=0VbvSN+A7yUVuhb3Z$+)BEn%phu5V!~&|7
zXW45-r?YQJd1q2qwA}E;m(~Bp?&VzgI(^6fM~u_fYxC*#n{0lNr4@U2&20AFV%FyT
z*G{ddyZwi$;pE*JmHWEWPvv(%d4Fcv^|xu?PW`W3S^mW5cKX4`>wLa0_5FP}?egr(
z>UyI$S(ELLev{pOY-Q|$b@SW*HgIhacxSR~mC7SOWy8$;M{~}{e`MeeKU*n0Gv8F-
zPyWsdy*{>tz-MuccX!E^-I-fkw|?Pc{paev7ra*4C*AG6*_xbTXl=5nVeWMvhsoBx
zj%7h7&rJTMEtl|+jrDkJ@9NWwx_fd>vTipp2xNVaE)Yq+zOyGfd-7-Dqeb5~-AJp<
zFZ~;SNT}|J)JHkpg$++@{1`lnmtRb6v+m_ompuq_%=N9Z#nb<!SQf`w=QEs9sNwGW
z!dG=R{BwPd^et`oJ14BysQh)layR`L@4RGA$?q9k%@<|IpV({X-mv$XU-I**Pwu;_
zsLic^o?3sDS;tq`Vx6tD!T;A^92uUOALn}UMQY}))ido6Kl%PDcH!kaj0VL|Ud?Fc
z%BYp{|Gacz__D7qM$+NSZ$G(sw%hE{MdzQddy4KY7EHb3_Tts-|AMj~Eg2PNS@*Ku
z%Un`@Rc-CI%slRC|Ge+Se`Gj4{l=R`yApQ(EM1%YHR0k7>8fIzjf-~5=zerKw9bn0
z#xc~2d27D;xpVsO_TDV!o_F~f!;<<dGwbKX_S!qEp0;FVShVx9#?H$O3HNPlN^I*V
zW!v*M{Ivb?p-@t}T=mT1Fo*ebf2$tZyYcgUPW`g)9?lHkrdapdZu$($rwRHz91Hpr
z4_-VNap-)@*869^GHWqpzBBoDLg<|d!-8X<(i>8xHh}ZG!}_^72N@6iS#}?^KAT}d
z_|Gj441IGTrNgB7Rcs4NlCOiCgbW2Upi@;X&~~=KqGJ9R?fvVXuYndhm*pI)W59(D
zL-Z!F@eB-#=$bGJJeYzVGb`S{`J<HHQJsHp?g~&1$H2hnuGOH|_2}OJAManXrT_o^
z-!Jr(!s@H5G`dcoKE1LkH2&4Es*~TAo^#~;v;<`FgNiRK7ta5mK99|J_Js|v5}1zU
ze!AcqJIz%zSjZgY$^(s(bM(`-l8;=?+8VWX+I+3DPz%qeXEU}+GM-NhJi0{pe=<lJ
zgUT0{3;+Mg&-b%SHGQ{6wZ~GwRCT#>o7O&=Ddy2({nPhmxqotBA-CqMm;C#zIh9#I
zkNVh^{<~?apTGImoQqM}U_;6tx&3-t|Nr;$m;ZU^uI~|vZoYLoy-R<2*VVYQBAd3>
zUJpo}er>wYsix@e`*Ec=a$m_8W`%Z|YZ%tmtzWnK_1-;KHJi?XhjV9y`7`{L_qX@{
zzkc=OS2LA%y6q@GnzuQ8YoyXUpZV8SRz;@&`*-xJcChrS*S8m{K3y$(dAGIuvsJGa
zZ1&##3OuquZCN^ZpZfedySzI`oUW|9x>9&uRO~0F8_$&9ExY+DUpH;`(#w~(ff_*!
z-=h2({+8r0?A>_MJeyzfOr+~>UpLE#0eepg&nY-#`8wY;PqQ#>{oMIrw;9Zyr)x2<
z=2zvf`ewD)x2!7y)*p47_VTZTSWwxn8J_nRoQVTP&4GijBN_j`OpjjMpeNP6Altib
zwY9bSG@<bLx3QVGcWYUuKYrQrY~Gc<m9H1HUb^`8dHkzCA3s;8&WkN>NpqhKZeAZa
zgi>vPyLI#D(fYr~|4)1OKmY%)^WX37kq*5(??gS*!+kzrpBO|*T6|yA@Nawl-{+C9
zZYDc{$9o#WRx;eW^ehh2#ct5E)n4E^+p=m}2{_iOpB!5U*|77#06L2gZ_K*Xf>V5X
z5Tu^`{qEe`%dfWU@+;Q7y&XS$H8jy4Y37%|-gg6>qZk_CEn^<O1+%+XD4#L*&OP>1
z{jU2uaFsqG(}AJ(z{$tW{PO$1y<MMcw!hEr?5!Vymv!IHowakG?(*3iZY|v_2ns?2
z<LH7bXaDfH_1DBq@lDaO0JSt4Jnx*z*&eBU$0njKc3)I>WZmwci{1ofU$&WHaWB;E
z^^CK(vfi$q`S{t@tlzI(t_pk3PbfAleI2v);-_rC`4xVDUs~<{_04bY3U%B3>sR((
z-*a=*k58h0a}qYs`^0?VSEE0FsP_7;V5eGW?PM$o4p*CTbLlk2ZOb;sGREhgN&9~5
z;Fk@tnaN68vL#KH#k^}RpZ`*M^?vQ<KV^riX5~hmKK(x?HSXb&?VSg!U;CHqOZ}e#
zZn3y${1KB;p0xGehV_!Qd{W!CR_D%fOfBcVbi3|_%gdKl?NTL)pI`T^RyVB6zW++<
zgV9ylkITO7oAPfuTPFBe8=gs9nXJ;SnPxey_kX=l=JB*UenHRuUY(4eIq&kCU3YfB
z=$Kvm3}ltU{VCA}K7r>S&UpAMXXfW^-|j9uH}mz$9Lq;6s}p}sa|Wq7VEFn@Q*ywL
zX(#@%mC8?lv9;`e(U~)j%VHa?S3GmfJ$BWy(l$1>NbkLx$h{)Nx?PdsFKjY2R)UAs
zr~C?cD0i*fsw-Z#|6LGU_t6`*lV{&u&3>Hsw#<^UJwHq9HeZ`88&zC<y8GE@=IGb*
zC04@MF5jyA^3-?xnz)C8%zi&+%KtqGj!ou*O>yhH7ghXt@$1~%%V)*6ZpfMaR)p{5
zr}fUe4lVqeU%#)}E#lnMSU>RjO&j9nYJTiEGt)f2B=2CL)iZ;<Nwqd<mur@nMc2Pq
zPv5Txo?bJ!@}phg-1^epZ5JeG-}ZVlz4iM3GoPjfgHJDdv%8jSLHQ(}chxeMyZ%-B
z)!f$yYnpID$l*44F#tou+pEkk&YlBL0yAt_`mbF8yddKM2d+M!%U{Ko(Ddixmd<yo
zKfiN<%-9uJ1TmIO6x2&^yK=g`urN^M=-u6q4}W><4ocb#7Am%kUo2*8Y!jJ#^4hZO
zb2n}$_??{-RRkW1ky-MR`9;*6TRip6A?bT|>{uasfv0BoE^u}==$s&WA@pp*_F4b)
z;&RWfiB^8I(6I3Jqes^qSLuEZ_fdcJ^;+tKrw5C6ty5kbemE)<WL-l49S*7T%{)85
z{<xdo)${dY>XTiQub9TBZ{2py*M3%dl$mzFc|S-cgG}2?<`=ip#4Ue2hAZFt(schz
z*W;pHN1C3lOR=d{Dt@&~s&xXmg?~d^F}mQ&w*HKFCu~kE*kf^b$F8T4nsZ^&_l9+>
z`yS8px5zmAKJ8f6lfC_?Hs2^!1Y7XfcR%a#9XGaQFMe{X!I}O1oy@9}m!fBZ<#fVM
zaJ^VpJKtUB&DzqFk=J9QS!B1*vM?<AymZ}ikuuqh(cu2=hWCEgUY7=n@XN>E-&q?~
z{r1hDNB3siHs<?DAM>;i02dw!Gfy4Zna=v<=1$igyA>g;7Qe-6HEi2b84ejZIKaqp
zlX;eICwR?b19JhMihm#bm&5MYtyh9$prN+>`M1okx2LrW?ECh1{n=3Pur~wyql4}J
z+3q<9LD`GJ0p7u3W500L^@`xLnM=(c|C#(wIeg`lAdqJrZZ$CcYIqFl57fQA9e+Eg
zPPTT|){n}|qHkH77TZSqnI~@bu2u#qO-S4JV8!g8l09-icWBH$5m5lPaq^CtH}f{T
z?Wo-FXIIVEYn%R*eRjRM^xCpYgTg(ld#)MI-g@;`xbg9`tFL~$+PO-7lHI{)Nw2Q$
z%v${P`W(BDbADYeE&KX*u2rCa)xC8qtJha<PW|{)dyd7yG~1`_3%)YnU$gUT#Uktl
z;leV~3c})hi`PBg``#4f8JW(H(FHvo*QyThOZ#G(apT&%t%Yn;@0xn#|6VA(bop!9
ztP8DY*Bh^!cjU*~+SS<yPKT5qnSJSZ(EI%+U*d#2!IL^uHibFx-|cJYz3}?-F8$*>
zRJTvQvU76Pr|@OZO;+nA>baZ**|cG+=Jp3O7R@_sc=+p0qvyGAcl*vYzCQV8(GkwD
z!=SAh3<+D#=~}R{7FhbHoqlPj_ci<NzNa&0Hv8;mDi1i@e5+@5@u#X?yHf0KuHPp5
zwd3aHvr+M9_oz*-xd$@-!GSO98{T#O$%@wdQg?SLk68D{-)iQ&!}<H9w^@3;t@!-<
zPuf~_>n+coO%p%+oPFCh`xhl@YnE^Q`{MNMyvV(Wl-YdhpY6`d+Z$H)8EoDR<l4UE
zv#YMo?KJCF=S_cJPgqxw@%Q%p_X`B46<1D&7G%@e<?Zx}pPdz-8(lD^&$8$C`dZOh
z@2}*&e*gE$o9mFg*e3N~;Ly*ld9?yo$;Hu~e>Z*jH9hiP5qNl@p?14J;}^e42W$J4
z-LKo9?|lCoqDd%<DdRUJvu@a1#jy9LBsjw}Y`gLw+_z?6ka+lieM8-k7gg<$#d`$_
ze%D@qT?bwv$MAsRCafu7e*T<(Su8l$Ftk6rH@iGv%(d|U+wEns;If#Z`x|H^r~Tyn
zJ-_d*jozO3%^ci}X;`Gu_2|_rt>riOn!gwO2AQ}`D4KnCK4fJM1H4HNZCxMmSbbIN
z<0^17o}t0e>}9c1vlwJ)m_dYT`MXmKpc;8D`^<?peldHq2-r~v9`4w)=S*fAE4W@m
zG~PLQ7R1+ny&4{0Ynu1xt?vFqL3Jyw?N??o?mhZuPgGmft>|fy=ND{Jw>iEv7IYF>
z!_24e7-LTd*!_6W+>rF@vahxGkr~$I6Vy$2hR4@#{VtSSsXF`aZne38bZ77R#K{h7
zPCYo0%6eg|z^eqYFP&Ex?K}iZ0tIJ^!X3g*gO6sZ%sn9^eD>6IkcqF@_+pvM)}F{~
zdpvu3)Nvp7*L#z{%?k-XsO;v~e{<KLZL3!aPEDD1@$111U7h8H*=KK0zq^OYd40<D
z=*zp~c4RL)bKhXb&QF~739-CcLi7Lsv6q@zuM)jGr@rs;KMRq=_Tb{gy0Emgw5)F8
z{W=GRyQ1q%mG9nrw>53+^iw=m#nBCC^;Ta!c6RzU`OQ&@KZ7=hhd<i(_r%%6%j#EU
zHlL{2996Aqa({PWZ}sKp3&l75%(|Y@+3)^L`g&CT_1TxEIxSP5wfR%Y)~$kVbq8kM
zjc)gfnfyh*_Yc#qT_*RB{3(|C!g>DBVNlV&L4#jDwm$u9mEY<3*ni#=e+nFm$_P5^
zwJT`qESJr<yt~iF6mh-In*2_>@RX%z-o=W|ZDB?)_IjK6{lD$7K3DI7S^n8P`_;SG
z*4$y&xz)iWB!7D0bBh<kc0c9aK&JxSytA`**601ckMD?H*m|{oZTIi0vvb_eCTw=u
zVzd6sr&p~JA%>q%*PJ#JD_#3->8H8zTO_$=WOdDr2h9sNWHf(o__tt_d-2zVwEGJ$
z>)!8}EBs7neP-i(C&{(vf}`I@hwY2fdD*M|ZONy(^#{^45?+YJ&i??@9T{Dq!nEcY
z+p^BHKGCzU#zi@unV!FY)!CZOSy{8!sj!{7|9Sh(iVMs3-oCMZ`<kquQ~Q56yxrEY
z@c&=Qzw<ZUT5Y{Q43tPdpNM6gdt<&yae9Nx=2za9(ahJ|vbMdf%{(%rbFx=?X5XCT
zfc5JpzmhGRw6`Jp{%*lu;ngngdrV(S?P^<f&FoR{>3Zc$!m4&2)+=lN@kczGwd8!B
z3uCk0;g_0hwTIOILn6XK{r~6szw>|R@89~`NNw_brHLzNa)2|9`-{2d_kW*z_4N~D
zb7uN;@$dKRw6nSS`lf*wgD^<=GWd2unY!itFKQJHz|DdP4sFO9VR-L?{IPU`gYBaV
zz^xGa2KC$gTz1%60C0_g=nE1(OEMa90}yeek;TBkfP3a{G)<1CNd^W6;-`8?6U@LR
z81r)IxedP`o_l+F^XKkA-=M=bo9^r?ef{rt{?jcr&+mSRt&#b;Zr!?1(zl_rmhiz#
zScR3yp8;xfF|b9f4U5%}jf)H0zm*A6UNUBB7C+hn?Q<l~iY(67(uH<aHe@}zvsLYu
z9ApTo=i*fB>1!ZTxJ#Lb&<V_xox65fS?@oQU%y$StNdQA{u<End<+bH2ltx4pZ5QL
z_T=FEI$e)I9ywoFTKe_F#jh(qf!!F<Wxd@$|L(4-H-Ef(m32hKyuHlMdjF4eufAGu
z_jmUJjkhrzaGEnW{!abxwPy-`y!oS4{I+;1ba+cZNz`F|*y@|Fz-A?ES3BQg&71*Q
zSa@LLOf$(m{sl|HyL=dqXCA8Aq1pgh1HvG)d1X)%zaqHjrr_euP+M7PSuYDVMdwI}
zX5nwH3`ubR>OkQv1NnD%nw;6dqg(|!%Y55{s~t{5nuUGGpUm6<a|^Uz=g=|RH83VN
zcJAExC*OZweY*dT)*8s#sAnHRJx6mn5#{_jYp%bJ-k!(%7VJTW%>O%?s;;Mk?Jvl9
z13FTNfx)3;_HMle5o^O-17qUi{4TA@nR(M9qz<ySs(rbAgWl&mmnI2cl}+3C2(sjO
z)jWn>lB>)<zo>kZykU30DY)tD^E72|T>0K<ahIaK7oASK`gkq-=lEAz%T{}5ds>#}
z^{H?A8s&Mm*vDt?jE!F_ib31&85(L$4mxw_>+7$MeD&1WHTub|uR*1A{<vP-s+THx
z_Oaz>v;DbmuU7S))iZ6@x_Q;8807K>&cDyaWccM{r?<bmW0#wI>sP`4s2f&QFW+_a
zP1X^<cXiLt!(sO!>2U9clQZ+L?eq7@587DB<6WL^cl_RWaFaVB@KownTYg0umAy|t
zCR(%=gX3t1OBR2|Z$Yq!45H3+y*Rr~dZuJa{^M8Pj@Fvrr)_z<XXf)8b5cKn&jw-;
zdzZ2|PTck5hl`~z;tt1d)B(AVfqfazoZx8iI(LQx8PFW&^yLkst>|p<eiQ~7X@c$j
zE%q%Rdd=@?bUpg}{r>x^m9MWZT+C~9)j}}2ZwJJh_O-RFU({T6ov%LgPP!%~4)(wT
z(A3T~@ES-4hN`Xk2Lrzzlg|I5_kQiuD_6fg^|qWHqH--}`SF!yYkK2z<FlvPr)A&l
z^aPhl7Ln_(y9V0Sl+=R8@LGM}-I;pEtoha_kK*vBXKJTaTbK1-UZXzI@%k;5V=^T{
z(6NUb8qCk<=~~QU%=R^&>H9|BHY9Dv?6}!?Zt2(-z4t5yk83e3xU!$seJ7t)x_;l=
ztJ8#@pUGGZK98h<^%ehu?wv+2ZpodE&bzbGb|?5i$OC4Zm|i?OEm;y{dREr{S!CH<
zJ#YeU5Ul#vu&#?QW%b2xzu)iQf8fvcS>Q6Lp@y01#UkD2JiDR|<*$2OdaN}b_I5O{
zK6?Gw`gKR&SwTi$ywqQR-KEjh-oNhs9Xs9rYx7tlF5eMbEVkdQ`f8Z@_Gy=9JycW6
zdUyTet?lKn*0DMJYt>!^$7r96q{Vi2NQq_OCuzZd8#0Q+V1zy^G^qM*=I&o2q1igm
z_+#3Hx5pV78dNPd%zpCarBBf&1_qhtZw$LCA6viGeb#Z2t+ddYhvC4JvWm%jZvT!h
zzs|tWV+J1nDY$W|aI=9FLxYbk<Cm<hUjJ|1b@Q9ODY9}ywyJCK6PM|_(&~NDFBlmd
zR?p0z6dj)>yJU4k)Z=v@XUFR4>kDr#@3lX<hn0bWT~X8_Jl{Mz{%+02sI^h~2WOWr
zot^e{gXR9%8SjGTZZH3{?)TSglDp4IF*GQf|MxBW^>3%x%Vpde`E94CSLL@|-mHEu
z<8&n>g9VRyRkTXp`gDV<>;Ekcci!H&^QWOgaSa1Q->JO(N#1KM^V1$*%x#l0SwFjg
zp@I4GW>)vATKAT-Jv00N%SA<J|8_KH5>R<Q{TicK(!beHe3Vz+x_WlQ?1BctJI2hv
zHC`*Wd``dcbkE-3uT{-vc=y=kxiK(k=;}7h6;|)rxO#S?`9lVV;|uD!`)1~|G{1Yi
zdt05~nTXhlj1F5)cg0?3y6`^XU-H(~)^X+!8I*UVvwaJ^#`Pj>@BZ(Bzt`?sm$r8A
zu3aJ1OHGdFuida~Zp`capG(tO7#eCE%}-uED7^owxzgUV`z8JCl?!j(u47=}Ls=|P
z9t$3lVyIrvGw1hq=+;p|*vvU>J|0m?SkJNkEAn1&?<)P$+P$e;Z}(5OpYGns%pkMy
z?=H{22gjrt9!%K6e&MNY{L6%QC)M^ZWM_EbvBPs-qMrFZ1_pMutxUW2yp3KPw)$$;
z&+^7tQN8^|3=H2|XQwbQoG>rq?tAsB|JK~>bKX}UNArc&{7i31JN@e8rtr5ORV``j
z7j68vG`q!R`jOHM-F;s}85pKLUXeGcyYc(>t<gy!^WBrqICGq~-h8e40%$(`{_W6e
z(|o1q+vU8WWiNN_e-k8jC#t4y{i~fkYZqGjy>4J&cr!hDx2NCqTcwBR%sbs{&T!zN
zC+mgP>0M7gwI31ciJJY2H#L8HWgh$L?~6a{R7zOwvrcAca4np?XYwSsg2%iJ8(98U
zJ8ai8^!R`4mWrATSHsiOo>>gj4)_`|?0z&)@`n50YKQzf$qnCXre6DhW~&~vWcs0n
zRa4a^%t0ymn6D87!xM=;>?POtl{Q!Dese3kRc}A%iOJpX%<hjiC0*aj!1GM4a{HYM
zX7@w3#vA&7g*%A%ewE#NRp6@cYa#R8tKrrEop0`bkaYUKRc79H^Dl{NTR$1;JN;{5
zV9=Q}`$@|Y-s0CW%Et;pP8CO<%h~lhsZ8@Tp9BL#UppxDk7+VLKNwvgqhfxIfg#|r
znj}NRTh0Y{BbXT+=7QwaCT?Z_l2{zh%fMioH;Iv9MvEw<1Z$Dl%v3cg{&=>XyiMM^
zb&T63@4Qz5P2+9YzwgJRZvA~f9z6kpl<QjyPTXRCk!EF+d#~!r%eM<I+keUi)t(M5
z=k0#Kd3JX8{F+ZEKcBa+f83TU)bVIDNRGk%`TP3+zt=`@|M%<q{(nEu*Z=$T`FwdS
zAN%Tb?!K#8SGRuK7NZ(lvi|(qZJPV`e006IciZ-B+V%I=O~1svY<2FwTcHK7T{EUl
zvG@xvR@^`hB8RJLCI3!^@B8%Q<6~*_ygR!}Pg`XuEn#|b`t)g+l4xG@=;BvVFCxvf
z+kI8GZGE!k>(yu8YgL!BzgfGj^j_M7*_C>om-E-!U)=H4YRkDBRr^4t`iEby*V|Wo
zc<{L2-p<mp^5xR$DHnX!{a2p4v!;UW=jsOM=VyK9&%Si_(`*0u_G^abk!8<*fb_|9
z+W&dTfB*l#@B4qA&5w(X{rgnEexo@1<kvTwl=pH}sbBJ*A)Z?NRj9f=gm>-!t$!Ct
zGK!_ns|OvywBXgt%gguwzWcuJL$my!FU#%!K9>JqQB?HlQMY~+``MN%rWd`gsk@cU
z-f`$I%VwXn$uTnMecP?(SNDrRW3&tvzrMV@yxhP3_wD=tKD680*xUdA`@Vkv$p!v?
zer2&z?2G=#8&8{@P?lS1^Lfupb?q?Lsnd7xbv}LA{VSZMVcBU=;l#jDpkw#<%jM<%
z^X)1>Ju%<^^K5_Jm&M_6l~4Wae_d9eU-Rjxc>J4PCVWRw7b(SZ7wtZD?aQHiX`8=X
zJNfeC?mBnti>qHR{j%%vwdenq{w}laGz|1ln|O8-o2>knaB$7f{(iE*-Opp@`wEMS
zKHVukzZaUoxb^pZxck2D`@g@x<!irOJgvX~&mnI82==oXsSobRL8d3z*YGUpUUXy0
z`Pu*D*M_~{^ZA^+eC?O3>+8P$d_I4=qp_c)#q9vlI(mk_Ta(rO&7=!$YJYvXzW?9X
z{`x<U^J`y6_siS=yM6y(nm*q)6>uM;Vez*uk4{cj-~Z>Se*LG(^K*<|yndZ6X>xnV
z&exzEz|au;>(A%&^KB|W-AteV_f5L}?_byV@3X9^s`_<GdwtEHkH_`*|M^sW-gf(K
zuAA|Yww*;5NGyB(-fy4h|Nk@p-^=;?zVChi_mTMiikC~L|9dF^FTVQwZzcD+&l&&R
zzC8KNk(5byW=wc;Y=%QX%>sY7FM6la7RN*|o!<DM?dgr`l65W2@*O(=M1L1J2ux)4
z?@QI&(9&8u^RTg=Rk@SX5r>rXtsUmG6s;7`JUxEar~H1i(bm-eE7tuBynNMmz4*cx
z?^dn*b**1-U*-Ab`(x+Lm@#AK%$wWu=QGS&S1Rl<->OurWy6LI7f!b=p893qym#BA
zbGPVQGchnEp0GZt>~LR>VV9Y)aq+`LtuJ4`EWcm-{q6Sqbx)^;_sLj(I-%VE=GNBL
zAzHot{r)~aJiB^%Ha=r4Nj|=P|KFXuSFPV<q;J16k&!_{kM)fT|EkrMudZmuhA~L+
zw)4yHD|mPal(aq^=HLJ2lK1-k|9(a1@BMnG`25wZt#@~q_xJu}w5-~?bp68CR@T31
z3=A(kWR5U1C_gyNZ@;JJ=cl)~x0{=p#npbj`tjpO^ZPZQZ){9Hefo6y`+Kq_uO(P>
z+a7pm=6Zay-mD|M&;EmJMqty$8*_al7p(iX<m&FI(uvaTk5BAtTekbojcrrrzAbz>
z<@(e>W`-wOpRG^&UbmUBF758+DXE*zWL=&Ae&hW6S+9ScWC&OuwmNoSO=WKG+m*}b
z&6+V|N9E^dpyKhEbbidvqNnHPT7Q3cxB5XNyVuf73ud1z@aA41E+!VVtK?)}%w@fb
z*zbCAI&ryP=ht67by@lGlQlnLd(V2@d^*LnrHp+^p|hrS^!DIf@w{EveYelpSI)rj
zB|~BElcX}!;Ax&Ow_iV-l@oE<`FfyzyuBpDCJAY2&@FJsjvr4?PhY-#dG^*@r%s*9
zUca~O)02~+eDV3by?hC?q~P232O8(h-(2c8b;?>aH}JNP&2P0!)6eXix2^i_4nOB^
z28JiO8|FS?EHmAlW1hOTbhDA!*5l{a))_IFm>L>xOg`RsT)w`hs;Vj{XHAUW`&(OI
zzq-0QJ3IUN`T6!`Z*H8MYdzKe@@_Ndf+g3>d0Z~u67KE`eSDpB_Nx;8sHxTI_mvzD
zrvAKS<=~i8r@qr7_H2r2VbyB38~NA$+1#eu8UGE{o4$P6GOwjUbBz4`{NyZ)Qtt1o
z?YI2~GI@LceY+cCMpCy}E=+Vv-RHXR@V39lQf<slLON1nip!%}7#6%Yvv2O(9zADW
z+9{*vx3gZUGdo0|d|_FaS_B3GzDX)u<(n2;)NTz^zMQ*kite*3Gp6j#+j=x*C;Nd7
z5grmH(G0h4Kbaj`xNBBq)YMJ4c12pgonB{Tu<Faq#>6QrnRcz*cK`Q^-;bhKAGM0A
z6pvq)o#VFLXx+khvu9}Te|M>@wb%Kv>D|{~beR}7{49E<BEDpG<n~)r!j^uyJ$ZA~
z)}6=e_SG3NI229^3k!4NkgqTN{!-bR?d}YLS$~r}FN*AMWnh@Vo*c=*Fd<OJV!M1(
zbHIkc4U7y43ZRu2C98fbT5J=Ee+2G<z6g29^x{z3?$%uJYBC2yNl3S&A*MvkVfp_B
z-=3Yg*Y+nWy5%vbUSbF+INSap!zaAkp279Xvq#&7L81xW9@5NJHxA!P%m=TaKM?Tx
zt2@W!t(OWP%#L%o`$hNV=39N`g8CEIH0Raa3F*%bs03BG3>QND8NaLyUOs7I@u$om
zb#k)jS9NE<z9um1>CxW&%$$>l4mnLz*pX>)7jiE!!-Oef4$G%#E#Grv;<A(Ze@>}Q
z7cIZewiPlc;``Nvtwg-_K;X)vKgXs#)Ms1Dk;`zS>DIriAU8@_-Q_=c@#_kaNVm5V
z3zW8iJEI9KJ-MI0MLoT;wk`Ia&)uzxkr#L!u8Rq=-38r;vA}+pJoBzRgWjI}{(9XF
zg<IFUJ<r&^@K|q|Y}}WnU=J{~2zY60Yb&<&@89wJ%S73~QJMXk2B08eIIPV#$Gn<@
z56syHTaB{QLz;P4Hrsu$r~`D`d*=^t)-T87@5m;A4i{u#kT6_2b?Q{d?O-=H2&O;{
zDN+PiFANIekSc)zkHF*RJO+jflYjpF>1dvqF~_o4?dO$+r`Nr^@b{H(d!F&1PvYxt
zOnfAEW$P|yb_O1CMiT}e+yBPr7iC_1d?EGXmkWPC+y8z1Y<r4#<=?gSnKc(ht@qq%
z+NHLVy&+M(fsJ87^5dtM7R+W~VBlc{Z6uJ@?*FMN$iT3`7R<Zd!u3MA{oC4g>->Cu
zP5q`%n`U-Q?GtFj?geW`69xe%j_G=_tFC7G+x>j9K>ARDg#2mqhIy7B9vr&4+4u7E
zt5>hioH=vp(xnD=Gqa@`7#i+zE?{gBa9VLStNPoUpI<Kf&#!pY>9{?0hRea)l_96>
z=FXifTeAAM!gWOpzIXpuw{A}VKHsA7>7AV`SFU_2ZT@Om@pt1FpT4nw%4TC=fH`4l
z(8{Q_eZ9T0dny8DOUkxJ<^KQo_vYp2(cANM_4VZ~3KA~xz7MT)E_gHh-tK~LZ{p9N
zi<>)pwT@oh&Rtffrc>vvlehnOf?NO0Tx;>v3&PfA&#nkDFf1r%%3x4v5y;wl>&A^6
z+j4I^aTvXLvnb`~xw+O?v$n?Qxwjiy@+zvtN5;p?mrVYxyquxx{XE<IOV98B_x0`3
zqst!Ww;VnC;V)0s^L4S6CTUM}_4Ky=@;>?H%a?n5tKA>yt423|=3o#3Et%#}3}lR5
z8>X(Vo_ayjRn!0Smz|k%v8%7L-F@=t)Fivp3x1~-78X`jS^YY3{CawcYWV7_`TKsV
zMfsFP7MxRN2&e%&^|$B+qZfXzQ`^>VdbTTbYn1NPPk-O;^W7ZyvUrkQ@1BkSk94js
zE`Is4*r?g=&!^MH#l^8bM?apqZzt>Y<AuHbyZ3QC-A9ieZD!|>+h6zh!NKO<@XVbt
z_x9KS@0B($dw<XN#k4e2dwY2&i{fWz)b^KeD6;B5T<yTnkR;^5%%E7apJ~^09xE@s
zq{5bq$%_JSIH>&FR(<={^Bs1EwXK%22ll<LW{_1q9e!@^>J*Rpk9l_0ya@PnYVQBl
zCb6G8)Bmge{L;+-Uwi*v39+qFxw*M(!&Zl`zUs9!Xl2N&bvJTvZ#$ZN;>yb1F3yKj
zZ<aCsS~~r+MAZFU28LhW47?027XldX#<InVPcnNJuz306FFS))E(v$wzsR^IWcA<J
z#5v0KGj(hGmbD9?ZvS}l*j2ml&5spZ{{MKK^vC4pr+x2_ZqS(Ob$ffh{#382Ua4>P
z{fLs4m+xQob@keQ|4&+T=g;^5>FqgD|M7_rZ0q;VIj*?tHUq<9Kd{AXn09^NXd$(@
z_e;U5T#=wHS`RKPVzN@LeV4)WVjH``-k4o4*VLU{$yD|8Snr#c#dp6v`@in$+Rs-`
zraN(PzpoeBZuZk+r})K58(Y8IuZs43{QBi)u6HjkF224lwtM}htgX8?ZVc3$Zf<6_
zD7!Q%Noi@(wyDeJUzn1u|M<B5(nGrnpZeM>`-b1UXms?-@y|D2d6=C$`$@Mqte>%A
zttZ%li<oxlmtMH|c$uV2?8B5#nSYLjz1Hd2^~JJf!X&$N8D^`;j5$7MU-2dU+W7XO
z+t%}pCGSNqNN;^R*UWTQ>93#Z&K&#e-yeQ)^zwQ8>Q_&UFJ9gi`SEq>W<UG?IrsTJ
z*73<&i8ys^J{`1Dr1$EE+}qoJe1CmOdqMT|kB{$1B;NhndiTe~lau1bKWr0z{nuvM
z{U~XF$J@907#tR#>ylz<2)w$AsVXPu&Aq+V{I*{%eEL*$d+L>=i*xs1o+}s4<GMmH
z++q6ZrxO%w{nj_U`@+B%ur%uJ`~B}$&6|ArSm`noQ_IzP8>d9>|NY(GjepS>%Q`71
zi@$$1|Fu=9oPTiFsheNFe$CptYuh$4-^UYEqW0GQ+jrsD;#o1v0?Xz9Z`<CQ;x|h*
z_Uxu@O0R#}Y}<SLi$zNPCq{-1M^`qmF*s$!GRiJJuh_!O&X*GDAA7c_s_+iS5#hpL
zbL>93O|jc9%WPFr!N9)ay>r2rg-pAG-fdaw+y2<Y?(bW9yB{a}{r>!TUnj8l$8GzX
z2{CGQd*8Nor4<%_d~mS&`ug~O?exd@*PM>9oPDM;c$#PAg5CY~`sTeWY(GlPs@t?l
zCs@XI-tm9;a)Wl-|HxusU{UsTaSZV*Kgh4lFu@#L^mcQ-@Voqc$(J{pJ*WH=wn{PY
z%KRmB_Uw*l+t>>>{IYxG@;=$2zWQ<5a$nzbtD<%4e&z4qFJSxQ<xBa0Pu$fXEk7BV
zYaU_($!gy>Hb366?Q+Y;-Tn2)%CEMbDBb+%`?joa0=@bd?|;5AUF~Y`znCYpB^Wkj
z@*HGjXt}V4X;=4`O71jX*`?=mwHLI%U<lLN`tM(N@sqj7`_p~qyq=a5^E|)qdmYEa
z<;&|O_6ynjy>q=Qr#fHl{_Gmt)U$toO@IAT8<ypyrKK-wKYsl9;+7ClZy`S?r^Jx0
zWZI?|zSBOvuJjdM^)dHrkz9MWKV!qfWlT~G919mR?RtId`L2M)AH&%niwCa~xf~w1
zqUp#nt`}j-`7W2YiC)+%b6^>_`P{3!d+Ydv_H5Z=Vr*=@eb=uO-1;q#j~{-NH0{gJ
z{m-Ap&6@?fZ8>YJnA7Cs-{*dQulx7?{Qoz{)n{+Bsk*b{jP>*T-RY*adq2jWj67QY
z<;BJ9>+9a$-EFS5P<Q(2*RNk+G}%?P|L?ckFJHdgHg)sDg&bCopYQ7KuXlf+6?G~4
zd(tTZnU|+U-20y!{>{4_@+)`w)x`G+(-|59L!u%hB}=3k8s2?<E&WJbKkm-vbpJ2X
zVS9V_1V;3-uhMUScWJ3Nzuk|7r9qzl^B+%)cz<uNwXyN!?~QNsgYH)>sQdct&-wok
z(`zFuFFmwPE@a!gYgg6oQntUbziQsaOtGu4%+8o}|INLh*YE%NB>s1QQgVF#-_kF?
zOE2DceYNcJ<;&II-^sqRcDVR2Zt7*-j3?)lH9iFVU~q8L0#(sMq8F5B+C5i~WV~xu
zdoGC4R%exEPx+stXHS)vUU+_P=@rN8OV7vOS@UJDYV^T{&h1VdzV%fmv-rNsF35OU
zT<7-NhKXUZBdGW(sONbRy*<x!zIBk+)V#a9w(i?^Zxz$VLaP^Q-;cZ5HH-ZJIlI>a
zTq8YoZs+s&UAu0b+Va~%%K3kO&hE9Dwb9k(=F=B9tzH(Vgq&AqFaVu<=fLs3Ipk&W
z^0f5y>C>mP-|ecJEwDGVNc-u(%e`OU8@<>GYA@)Ahf6OH{PkzK^lQtljSIJxE=p%;
zSf~KX*c^#vWo9iK_UzHAeRt)WP101Ewg(-tv2oo-FT#=?^mTP(W8+S*XJlY-*w3+m
zv0?v>S&>??D?&c~y}MsK{%&+sRMsrJ_3PHf{d^U-E}ETz;g>4|FN4GJqO}cuHJ|Lu
zop(q(Wtg!tFtjx@NHH|@<$}jodl(>1D)6AIB*y~AgcoPepXcAjdHB@A*SD(Q&yz0^
z-li1(rlZh_v0?3kEt@tOy#UW|Fc>r)W4jA(Xfn7>W`N99#X#p(Prxoci}_>Ey43vP
SY(s?=Af=wJelF{r5}E+gvoV(d

literal 0
HcmV?d00001

diff --git a/doc/avatarmodelchecker/ttool_avatarmodelchecker.tex b/doc/avatarmodelchecker/ttool_avatarmodelchecker.tex
index 9ae2f8f37a..fb75f9cf16 100644
--- a/doc/avatarmodelchecker/ttool_avatarmodelchecker.tex
+++ b/doc/avatarmodelchecker/ttool_avatarmodelchecker.tex
@@ -197,7 +197,7 @@ To activate the reachability and liveness check for specific states, we need to
 \\To open the model-checker window, we must first compile the model. To do that, let's click on the "syntax analysis" icon and then on "check syntax". Then, we click on the "safety verification (internal tool)" icon representing a screwdriver and a wrench crossed with the text "RC". The following window should open (see Figure \ref{fig:mcwindow}).
 \begin{figure}[h!]
 \centering
-\includegraphics[width=\textwidth]{images/modelcheckerwindow.jpg}
+\includegraphics[width=\textwidth]{images/modelcheckerwindow.png}
 \caption{Model-checker window}
 \label{fig:mcwindow}
 \end{figure}
@@ -278,11 +278,11 @@ For advanced verification queries and deadlock check, there is the possibility o
 \item \textbf{p --> q}: shows the path that disproves the property starting from a state with p valid.
 \item \textbf{No deadlocks?}: shows a path to a deadlock
 \end{itemize}
-The \textbf{Generate counterexample traces} option writes, in the file indicated in the text field on the right, all the steps to reach a counterexample. State lines show the current state in the state machine for each block in the system. Transition lines show details of the transition taken to reach the next state.
+The \textbf{Generate property AUT graphs trace} option allows us to display the propery traces as a reachability graph, saving it in AUT format. An entry to the graph, with the name of the query, will appear in the \textit{R. Graphs} section in TTool.
 \\\\
-The \textbf{Generate counterexample AUT graphs} option allows us to display the trace as a reachability graph, saving it in AUT format. Entry to the graph, with the name of the query, will appear in the \textit{R. Graphs} section in TTool.
+The \textbf{Generate property text trace} option writes, in the file indicated in the text field on the right, all the steps to reach a property proof. State lines show the current state in the state machine for each block in the system. Transition lines show details of the transition taken to reach the next state.
 \\\\
-Let's do a guidated example to traces generation. Let's open again the "PressureController.xml" model used in the previous section. Let's execute a verification of the only query \textit{MainController.LowPressure --> AlarmManager.AlarmIsOff} activating both the options \textit{Generate counterexample traces} and \textit{Generate counterexample AUT graphs}. Let's press start to execute the verification. If now we open the file \textit{trace*.txt} in which the trace is saved, we can see the name of the trace in the first line, and then states and transitions alternating until the counterexample state that disprove the property. The first state has the state machine pointed to MainController.LowPressure (or to a direct child like MainController.WaitFirstHighPressure). The last state indicates a loop or a state for which the property is prooved to be never satisfied. The AUT graph is visible with the name of the query in the Reachability graphs section as shown in Figure \ref{fig:aut}
+Let's do a guidated example to traces generation. Let's open again the "PressureController.xml" model used in the previous section. Let's execute a verification of the only query \textit{MainController.LowPressure --> AlarmManager.AlarmIsOff} activating both the options \textit{Generate property AUT graphs trace} and \textit{Generate property text trace}. Let's press start to execute the verification. If now we open the file \textit{trace*.txt} in which the trace is saved, we can see the name of the trace in the first line, and then states and transitions alternating until the counterexample state that disprove the property. The first state has the state machine pointed to MainController.LowPressure (or to a direct child like MainController.WaitFirstHighPressure). The last state indicates a loop or a state for which the property is proven to be never satisfied. The AUT graph is visible with the name of the query in the Reachability graphs section as shown in Figure \ref{fig:aut}.
 \begin{figure}[h!]
 \centering
 \includegraphics[width=0.7\textwidth]{images/AUTgraphlist.png}
diff --git a/src/main/java/cli/Action.java b/src/main/java/cli/Action.java
index ebee80e5eb..f86e8a4f44 100644
--- a/src/main/java/cli/Action.java
+++ b/src/main/java/cli/Action.java
@@ -1068,7 +1068,7 @@ public class Action extends Command {
                                 RG rg = new RG(file);
                                 rg.data = tr.getReport();
                                 rg.fileName = filename;
-                                rg.name = tr.getQuery();
+                                rg.name = tr.getQuery() + "_" + dateAndTime;
                                 interpreter.mgui.addRG(rg);
                                 File f = new File(filename);
                                 FileUtils.saveFile(filename, tr.getReport());
diff --git a/src/main/java/ui/window/JDialogAvatarModelChecker.java b/src/main/java/ui/window/JDialogAvatarModelChecker.java
index ab2c108019..1592e9e317 100644
--- a/src/main/java/ui/window/JDialogAvatarModelChecker.java
+++ b/src/main/java/ui/window/JDialogAvatarModelChecker.java
@@ -934,7 +934,7 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
                                 RG rg = new RG(file);
                                 rg.data = tr.getReport();
                                 rg.fileName = filename;
-                                rg.name = tr.getQuery();
+                                rg.name = tr.getQuery() + "_" + dateAndTime;
                                 mgui.addRG(rg);
                                 File f = new File(filename);
                                 FileUtils.saveFile(filename, tr.getReport());
-- 
GitLab