From 0c86ca157609bf80d7f3f12667dd33f416d45fa7 Mon Sep 17 00:00:00 2001
From: Albert Zuendorf <zuendorf@cs.uni-kassel.de>
Date: Fri, 25 May 2018 14:27:02 +0200
Subject: [PATCH] first solution generated

---
 jastadd-mquat-solver-emfer/libs/libEMFER.jar  | Bin 8094520 -> 8089304 bytes
 .../src/main/java/uniks/EMFeRSolver.java      |  14 +-
 .../src/main/java/uniks/EMFeRTrafos.java      | 189 +++++++++++++++---
 .../inf/st/mquat/solving/EMFeRSolverTest.java |   4 +-
 4 files changed, 169 insertions(+), 38 deletions(-)

diff --git a/jastadd-mquat-solver-emfer/libs/libEMFER.jar b/jastadd-mquat-solver-emfer/libs/libEMFER.jar
index ad56ac74b12afb1e057eb1e61566945e513bb11a..b4797b38d2a2fe903daeac6180408e3ab95512b1 100644
GIT binary patch
delta 27558
zcmdnd_Kx|+-M7rV0p83kA`BcH91N}1+Z%aXc^O-InOb?7TX|Vpd0AU|*;;woTX{KJ
zc{y8oxmtO-TX}g}d3jrT`C57TTX_Xqc?DZ}g<5%qTX{uVc|}`!#aemATX`i~c_mwU
zrCNEVTX|(#d1YI9<yv{=TX_{)c@<lEm0Ed~TX|Jlc~x6^)mnMgTX{8Fc{N*kwOV<#
zTX}U_d39TP^;&uLTX_vyc@0~6jaqq)TX{`dc}-h+&02ZQTX`*7c`aLcty+1lTX}6-
zd2L&H?OJ*5TX`K?c^zAMomzRFTX|htd0kt1-CB9wTX{WNc|BWsy;^y_TX}t2d3{@X
z{aShbTX_Roc>`N{gIalmTX{oTc|%)y!&-U6TX`c|c_UkSqgr{RTX|zzd1G67<63#+
zTX_>&c@tZClUjL`TX|Djc~e_?(^`4cTX{2Dc{5vivs!txTX}O@d2?HN^ICcHTX_pw
zc?(;4i&}Y$TX{=bc}rV)%eL~C@8n^wt=>NUBu}|g{bMZ;pL2db{-GLYPoL4drmg8|
zw&lSiuXCO{dSL~;=gw>Do;-8@@v3K!c=R++o$(IW@Y2=s)z$mxea83cBONbaZ(XKU
z#X5TDe9oWtJ*(Z>7wXYc+_f|7p_}5A2Sz+v)8@>NZcv&qGkQX^(uC>rCwcAp%Mjqr
z&au&~lB1Y`fr05ELwh}Md3!x?#rAsM%1x`78>+WY-+Q%EcKW*Al|0j9cT@`2-wwO%
zAaa-4Bhxx&s`p2>4vx4E4JNKdOIg+|%T#SW8tr>JfH^a2@|CCTKbc=mw)??YH|4Zt
zX14z730sZQ&!4$heeTT6C+F|S?`K@2B<#e0IOpodbGApnb8Aa`O}o_-X<^=-6t}tN
z;jC@qPV$FO%=~#XB<HfG*2_OLHGc3UUiGNYZoiolmA+%?)Vqt6xVD9UY*F%BE;K!M
z;R?>%U-tO6o&5hK=AA=r{R*j@bL9M2@)V1EKHm2}>gOu`B{hp&<;;7Y?3)+#bxmRC
zFNZl?;TEhx?pK$!DPFtu+9z#MuHHny)Lnim!IEoVx6Hd2`dT<RS2)*`Kj&nP?CJYy
zFJfb?lImZ0Pw{t=cszqA(aB4H73Xo0q)$&=gUmM-+A2<;c}-6#-)-r`(mv@OCl7QV
z3h&(%`*rQ6!v>polvEx)l(6G$A?x2KMyCzit&KK@O~2FlBSduG`q`=n4eB>0Z=Ud^
zYPxa@W6|E@8#|WzUElFM(sj9t%>CV0wniot)gBOZYl)FBtk=2R*M4GarrVO^G8b>P
z%`323%Imv*a@2O0rgWJ-(_UL0XX8|}X6Y<ic`0H41Bo>ow_C)OC98Xj?mk#|)G#FZ
zxMkU{jir^EQg34W9!gdBC(rj=Yy5Ruv9jZ&WER1;#Ir>$ak@`iXPbWBw&u!=FufVy
zCcccivYy|qr|7C~hi!Mg)#A0+GiL6qscf9or+nu@5l7^V#$)#v&Odpy>M6f!k3_6^
zXHv)mg;SGQ45Q?qfBkr{N@msZhgCA1KQ75GmYDo;)tlO>6X#8SzvG+mWghzi?FM6(
z=gd1CKGZSD3xzQ4a4Ilu$Yz<(UNHGV8AH6V4@-dRk7u)Emb2%l?p7#fkM?k$l6zXe
zh<~$=^4k85=j;;NYhAiR3(o9&5W8SOIQK1)5=rF+!IJK~?EmnC()Qg|8sAqiF)-w_
zGB6;DH&D8sxVzGzJ~TJ@vV*|A$<wzi4RB!P>R7Ns!Rtu4h)c4^%rjdueS?nW&oz;o
z>o6;!sPx$UrFDgW9`Ju~w|v*?ae2$uxp(euKL76CySHY4|2}`N&rreT&J?4#;ljr`
zn*&nL+`B32yYHIL?=x9}jBcDh^P}eLUfjB8T14)=pxK-TehEkUqm;JR$3C}NqLe%T
z!9D&JD~`-#IkrMARD@~s({=j~G9Ax;D>!3Ht$xb1<9)i@osA6|zg_&u!m>)Tch|bK
zgsuZFQ*M^|JhceDJay8qMu%yuW+i&f>Pgp`)*jlBo+`RHYTfLtP-TZJf@`EX&ctg;
z^Tt-jhx2SMocKPbX(Era?Io?QG^zSK{a=1e6*;-)wU_g{Yo?PgS4=*t7rRz-m&jWs
z<~6P_+a6Dgy)xfv(&W`sZ#g)vy>g0~b8XcM7nbu`EWd9bUe+b$`}9)yHHpThOB~}9
zXV%IvpHF0GaWgaP=j=K4&wW<&?+*?Qx=h(8pIN*u-oD&fOY74Ifo&K2-4!?N*=V_E
zeq?>ly~Q>@hj|*EZhl;GEz>+RA<B39r^L^>r){?}wLgxSnIE`JV&Cn=zW0I=M?W~X
zg_o^0I5IKPqspY@*GgySWs$i&+wAT{Ct2J(%eS~zaEU=lRNU+;oj>_3bLU-Xs50v}
zII3JCTX>>cbZ_R_<sLWl=kurisO3*Hd2@?(vfV26`u|Lm0=>Pao&EFR^n|vfI$@KH
z|M(?bo^*J&;p8{Z%<4@OnnTVnb}ad6BI4lL>vJi2?;8WD2)$<$e{MgzUC>X?F4=(D
zRY0Nnx6Xe@C%!_vMs-2)Ae%m+cijfu;rd^%3&i_B+{rS}eb0mgu7C8Fy_p{L?X>1U
zx2|~4qq}DwSlv;7UFe6{quZQ&`hNKN|KVKoN$-yHS+=Zg0iXImFq`df{$Xl#>!4}7
zPy+w4htf8ETmH0uVEHe#qlWFg@=vBR<)22^_IG`)-gu|~>FWr&Bj55L<cb7$T`N~`
zR~NE4vfO0eUv5wyunT&+^ez(vLpvLC9;mI}?lb+-xk?#O;m%v1l~|T|H!?c^k%dUz
z^YDtB>}ji7OLpzPl-0gSNljL9>gl41-*{UK7TjcO@9o{SIPm}PTj!4YbvQdU8a-Xu
z`s9e+{qM5#lb=h3hl`e^hL}zJo3fT6cjIRlsVTSS|N9ZM(&BaR^WY~xSF_z%w^{K*
z!`Df*-)k~v<a*Vn?_2tzvcEp@_*Raa=_WijH`2|TRDU$&rbQUGd|vT0cyHgc4MhdD
z-Urs}+elx1ty`D<iDQLjervLMZzZ>`t$biv<y+kYxdn^$T(`Bae45atbDPb{X1<5@
z0<lle{x|q?E|U9{_?Vf|=jfH_@H5Q;mrJ7(ZuXyemQbH5^``vQIU${0Ul}Xwy|)~{
zbh{xx@c3cY9LD_XFQvueSo(E!p4t4})_7w<W{V#8H3t1Mi`~i-I+~BQ{NKAh=he^q
zEsYEKY%MDaqj{N^OZn*8i5-&@eRn@hUi0psOo{X7&u^UJ6Vc3>btfkNzC=9Z_ahm_
z-3}U;bA8Xm2`ArM%TR2TAb8|u**hz<qIv_?`plaREyWL;IsPr?5p)bR2;CPx!(Pef
zhB`;P#-)v0+uSN*r5!)L(+hqy@0HyCgb($}+w?wgIqtt}d{K85m(*&VgyOl1(tYVx
zujbua{jtaQ(BB{zy%%>aJ*3aKDSzJgyWFn0MRK>pO`*io)1q_~KWuecdR@K9STg_a
zzluxs@5*<adexPvc_w$owAi|X2l@VfFy!u;lssW`N3j3f-*aC-Sblfm*^SThelk6N
zyhv?L^v9`c(a~$CM@=y3JK$&~`R3gG?3rp0pNn4j@seNu^Nh4?nVF9d9xk~g`$h8L
z^~f`>mZ7P=pASy@$MNqj)4~<!lcuHD9rWRi47_Sp*Ra64{(Ss~S4&(CXZN1jzwB9s
z5qGe2q))EX9MQPVubf3Z>OzDkz83hUw&T|0!tdGp)4!=Fv%L-$(+OMt?7`<yuNC{Z
zO1hlx-7qQR<F&HppA{Qpq^|9~InT%a*&5>+-_&`o``WGBkrS^m=imjItw*<W1f>0$
zdd|&AE7fk&^>dRaPO_U)f8O)cPo_vux7~U->U;L66z;JyF5UC>*(HTiw!Mih%hz}*
zP15J_-)>&h@gZf|A{m?7ZKwB{*!(>xZhYwT>;72I(1?>!KW=MhCu&Wcx4%Z?!lkbt
zz8`+|P}T9&x=zm!<%C@Z0xPdGDyg-;p1IXf@ApjUFUkwPwnkURrM|ISR9Rl{m7Fs@
z{BKjZrN+)qe|AT?*gsKo%06X2PPJS!)h3@)Z1UF6JTA-roc*$pVY#MGQTM_58ii_;
z-ro_DIwO=k{i^azlkeS&mc%J~DT&VaoV?|HWSz(r*UC2qv5&4#@{AQqo_<kPeeDTD
zQ|q^%mrg5Dx-P7z%e_pz)V}Tsi*kD%f4!z#x0>>dZn>hMOgFo4yIg|3#OoGxxCZ)(
z=P&lS)Oe`KMZs@TtIVGzP9G)*=(H5+R7opN;u8^5Vk#6;eDXkDv`PM9lH!!lcW!e`
zELpHYK(J#nha$WEQ8^9HC$evvwlu^k`xU7#=?JdS-@+5s`)0T6#J8J+4Oz?=`T5t(
z>8Y>U;lAYOfs<eNF4|Cd>SjRw`=AN$|BFXh&G3C^HRbH%SHCXb$zJL#%cEnp@6qaY
z{&V-uyuHd#`u)qW<!7(9Z7uS@y_wHILdfOiyt!}0>|5S^T)oJAjYh*Fafw%6+%N6Q
zyz|ySsBTEp&+yIHJHErCTCe;1j3|-(TUWzk?}+E7?5)?-I9qv8{CVINxyg@YZfxRu
z`Mdh2OUm0t{HjY&R9`R_R@QFV=D6aa>S7m}{KjeTg60-YOxv>hl-}jJT`?sK)pmt@
zs+RfReV@PanaSRg6q(|K&&*EgHH&V|U$#`G_Lt3+{yT2BQ$H;Hc6Uq768^^aPZMvi
z*v(^iW#8Os{a+&A1en<A?LP4GcU@GHQP&;srJtI3oP9q}{m%$0zrO@+c+tViz%WZ2
zx%`H<VU(utI$FtB9~kY;<S6p**qPAHVQ-%;ZJBpz`m_b@3piXvST;I*tevwgwM2i@
zZnnQ`UZ_^RVE?jsk@4vuH4B61XDsjkJePXz`uF4N4caC=OC+?s{m(jUcO7}U)%4n?
z<E~HG_1P}*9F?qpHtn$O?OpTFE$QG%k&voOhz_#I67=%k<^Sayb7pD1u$r^qxAw(_
z)i+)mU16K8b;lqjU$cApBI~xbY1xM+y!+8_)E_&8?VH58u$`x3E&dCAIT`36sQT!o
z4v+fTYtM=-4c>?+D4b5<o1)(CU9Qz^INxg0LYoh)<!UwoxBTWT<51~ODSu*p+T*93
zbLrYc`YxBJOnOl!p>?}>sk`je>-CTSJ0#86*7HbCe#eaB=)4&Uj-3<af1Y+YG4Imd
zsbR-=Us%29=>`8wcb7$9U3_WPWtHL+lhfPR6kqx!@m^!k!arW;Mfg0@k{(F3Z*<T9
z-=VWsdy3a<saGw5{e?$ff*X=?3!fImFfuTBF(F67pVI9<3=9km)1RHIl$dT;TrF6?
zcgk76!v;LZ-`8>#OZjAJ=Xp%&;^fVo&be`~!>nDg5wk-&xqUjy)jfCXZ<C#&R+S<B
zTmH8F@mw1jHiMq#wvVdXf>D~&)RZ1=FaPeS@X9TdY3XT>N>!<5!E3Fx;Zln~8b4n0
z<<zSrdDcm*4O)1-6%Suqz*l@!ktg{1EPa7V^*V32s}xRiT4*xC^t#q@t)fMoj*GAE
zK5>zOdELZ`rOLV?@2;Ns!L($O;%S~tX|9T+J&d7$xSnu3&Xk|>F{7a0aMteM-t6yL
zRlTm5<=@-7^sLrFM-Qi1gT4n}ZCM|v-&A3{HkV@`6T^qI8^YOhTXeKlRC5KKeQrtA
z?sVO*`RZuB`t0pr<%BBl=bb$#u={x3!pSdl>}J{ZK1}StH!olGt(N*Zg(VAKOINR{
zHdybmcG|lHmAZyg_bz<9zo^9Bz+;2oapTafDpP!tc1y)H`21dy{>0|i<lb%b*Pi`l
zb8DjEqA8|czx?k7NA?TnU(J5D_NmEM>GNOZ4{quG&6&V=^OTiE%gzT6zU`>@DzCcr
z`@DqLlDk`v|7o+hC;R0AJ18?fdOVGL1|tK*PZs2O1ZAd&=PKo<cNJF))b~z2?{(Ng
z;8^<W`8V9MuUwmF!}a#4>j#Apmx&xsD-sS=_axt#b=P;ZwEVed{s+#TlgkvhDphdI
zykB>}?##KGy1n%b2PAoHG7Kd`y!J@t<yKXlJDi>DvP?zm^+BuVgjsu3ZTv%yy`R5q
z#-*2P&C0Q9GM8gS*ep+puPW`diHWF}C^6o`Z?XEq4Ns+sj`<c{vzFYL=9HTJX{Km=
z{g2ybRVfdGAM{Q;dg$qFd6!#rbw0U8D_v6iB`Ljj;jWX<wzeHKG~M}YLx}fE(e-Oi
zR7!9ruY6tRQ!W%eRix<ad~5NG^2&1YK{4vrLT5f&dqPt`BFO($;Ds%cYc6hg)Xu)_
zX5(<9smeI_#hL&69_Jpn?%Um0F3aBcJz@SOK8>}kwyS=9e)T~b6qHu&S(g<V85l%S
zvIHn7*PN=<tDoWMf7?Lh`1`*i`2`JO*^BNj(_QT#%)X@4_dspY<?9a~-kACJfWV{O
z=gVeY@yz7#6?nU_Gx_;@@%{hLZxr@ZQ=ZYXxaY`r6~_~ndqW$qeO!J%-d%ZCnp2j5
z5vM_#Nw7r1E}o=`%bM7CF4M92?Kt(`J&|NZLyO;*|C=}FitYMWukg!Y?jafBQ_FWc
zS;lrqEW12&trctMOqbReVP97EjV!gz6S`Q91pGMqlzh@J)|8d467j9bl5&4oBi8!t
zQ((Z?hMJ34%1dXyetBz!9&7TWd7oIOd6eY+VpS3hnRoN}!K32W?R4@wik|f`2rk}y
zT-fdBTKl9%@pFkyzl8ojTT%ao)l)F%z-pr#+<I4*YnV8#pZG`b(wa+~TkVpbXCBis
zjDDe9miQ^S^QM#h#!^p9+x2$>dJZXRe*5E+c=q7It$+WAM%+GCwO6M9uI#zccRG%J
zlV(g2w|P?Rmb@Tlam*x%gS$mP%r`q1v|-cN7lkQuXDo03Q7h;?<`H9g{hr{o<oe8q
zm$sJ5Pua%0XzP;CG07W*Zh3hI&Yqh7T-#|v!RwU$+j&n{-em~=<KcW}!ij!u&Emxy
z_q!ar!Ms9x;^x-Q0|(Ua1`9+i=u$l^Gjm(6K*+_mP>1LT#ii<(c+XF}nAyGk&55Ny
z1FrtC+Go^TVf1ZwNy(x7_+>&G%cPYPU+t6Cspkx?2)I@mwo%-vTH{x{)z{<6#!s*A
zDQx{^napE2ea}6I+{jZMDlfIXq?L~Uj(eHK=W{#a9_Oxx^v}^P8w^+J3q3zOCBG}W
z*6m*LwQX#>8KZt)d+8jx)Q}-5d+os=S=Af&u}8{I4wmlG^DzzDsU2`H>!EMss`Xyq
zWLB&_n8#2bx^B-ehR{qNhAUCo1`BS9O@GfAa{S2^w#D25y&><orfg5D3tsR_`?D>3
zR`v#IhpD^!?Hod-m>ITSlj2#ijrUqL!&O7etp{H)g(y$m%@lguD9pn%MrwA^=7q^2
zFO7nJs~(u9D3*3O-F)tnf*o}y1a1X?Hc^;!HaE}sUTw;krPec=V*|dpNSkc4JW<=-
zWiwau%6?S~srd>#f8YLjVGqhcof86YOENPsun03SpbkzPzF4VO@9)iQC~#DL?XGRF
zZZ+9fiQMXT1eHPjuQOLZX!>s2qi9-hGV{knn;(pS0v>H)?f&{m@yWqGm7jmqf=eJv
z9_|+$5~=y~CaVOci*L$mI-Am@pWuBU;oiQjm$t>7-hJFsODn<sKw(GJqD{|K7rJ~u
zV&yXB>M5lKS3JJ|m}OXhaZRblgAALM*FAY%AAg-vn|at=>i<?>xv)laP06>iRbEVf
z76qGIxX!Wa@7yyrG*{?jYusUL-KQrWUjKh{=bHM15%P263S;(jT59bvo%Z>Ze8}?d
zOJ`girr$SP{MKkUQ(5A{4eWoP?q~mPWBVYJ-7Bo!+w=z;C}37S;x79x!oa}L%ZMB@
ze@eGcXS-Z!QO_SDQl%YrwSdn~MB|pyIokzGrXHH56gtUEisj$;NmrC7C0TP`a<1Lr
zQD|v>XXesHPmLN<MM6yOUSwJ*mb1Lm@MU}d{N{$KQ$yI6XmKo?6Dq|y&C)Y9(#tXH
zu*J=q<XbZQM?<t!X3L+{_lb>o^4al^9*^R|rp^u5RvhwKCeT)|y}g8yOS@I7bzz$)
zqY-;?bHFJcOAmgQ%@U_W=d3Y{KA9~p>V8tI@6Bn+mmdRDf=l*?{j>=eGoC)@w6z-7
ziHWmrrLnFOD2d&9IN{sL<L+nMc0BvXDNwwvDxz4e>~Ph@d1opcp9$4pUvaiPO37l=
zTbVoD{w4D6V$Ys7h(~R9s-Ln==N2>HGvPfJSu=KhjC$-5QuOp+y;+v^4ZGtt4<Fag
z{JX-TvFnzW3EN8Hb3qA*7M#lLx{%NECpl-O=@u<^{zltL;<x@yE9l&|$*Ec}UvvG&
z;4Q+1F|+*K7aY@=c7@H8yX1<=*{rL*`?j??YR%blILALkVhQ82qh}mWO<eW8UU$mf
zjK2#e6xH$na=T`;nP-joRD0G|p3+qjPhUSs;(U42&32)3-k0p`r>BdTSS|li*16}%
z^Qx4cKd-TMCK>WnPUK$KuJHHUvhO+#vA>I^1+V+KCR+N&k-Z&v7N6vMY&Jtb=YRj4
zjjqKf#PajkUZ4GZij!#QmK;l~CZ_lIRIYBR*IBMrsU6A2zBO0FX64Jxcg=R0|4Iv<
z5&fO(_VqjWp3BCUyYI4Ga_QUN-IW>1HO29YGM8Qo*8b<eT~>A7_vgR<wZCQ3KmEEV
z<KS2Ic}nXaaVt5E%}pPlA2EL>x9G)3KmLDApj2oPv2Rf}69a<;2XZ0=)o**RR$A7F
zMu$s>iv08Am>JWS<m`O<sFa?Ukj_TkZC67K9X3py64bOYBe1<df=z9*#mp<;F5Z8z
z{{v@bLujP;?<dXnr=HrWI|~&pOj~<qj&b_?{P=x)zyExG-~JzqLH~3v8y;cP(-v#g
zWS3X`cD$q!dgjTph;<pR%X9Xhy2Q>J*EVz0+IscMizZs3^PViVjhdbt7k(l};G5x{
zjH5ZN$seSqJv8V!{%B{Mljfu-t@oc8oFoDkd^4FBdA+NB*16^8JMuzge^2ewmPq-K
ze*M$zms^+eINN-;4-Kx1N#*dI|7?lBqLKZQM^Z{(VxRjh6Fgj_Q@&vDg-OfOUY^{O
zEIn=BtIQWR^(z?GCA%EtZHp*B*%f)2S9_-5?9!cL4||MMsvOF-mNccL#2nqd<K%_(
zX{Bu*tJnLN@l{;(Jj(58;1cSSFzMj;fPhbynnxb7vR>wK_U%1$T4}w7+s!12Gm>KQ
ztEZOj*t_!Wj5&&Pw8c#~FSyxuW4Ao}+}gT{pDv!B!S`WVtH-+f?!-xwC#;WLOJ1ww
z%W|<@V`|6d{1C}yMfq#voj!=>uCsh{*J+KozxT4RwcnOq^o`{xH(38bFZ4sIg_hkh
z+f%Gld+$hBvu)pe+UR)X#6Rp>b_bWM1eWVe)}Ot#O33Y&)#Ab_LRI{sHEfSwty(=@
zE$6OQVRu#5n%K>iGlD*_9<EO@-Wz%O$*#0zxqH>lN#6|HaH3%E-d*C^Z97lr+G{jj
zcxKlx<{EHuroyEN!PGCQ(F^CAyE;D6Uj0aWjgiKbUemQMIx))r)-9|zl0~yCoN6+s
za&0e@%qz{^D)%pt-+rmd8JFIyD_Yipy1$%^d++YrK8Yz&d3{pwj>qMvO5ZBfi*0Z+
z+qtCc;j^czixRq1tX8c%I9X$-!n{r?-VbW)FP?MSyTED3{mCKA112A}`n1h~?_=0A
z_1y{aA>LQJ1GlwV|El6i{2me}9lnwMu53N;){{4GFVi}jRI-~@O2CmRCvRHi(Pyq&
z=}I*zi_<LKI>mcdIi8)jt;56jNk@ldo?`vJmCln(<x@pP|EL(<oAWpJ*}0wdDJJpj
zZo2ME>X<2-DKA-kNT7MvR-HWWTa}>)xgY)gbYSJGbNV8$xU$NBeZQQ#TEU^-{w>p%
z->h;`jF*pdwB4`l-N2rIVgIZj(#)NUuO{=T`x%t6Z7c2i-nZn5K&*3c%Qw5V?hh9~
zXSvHext=3=mS38Hqs-$ON7+k^d|rfmq_G*^ay^kJ!x?qf%id--*D?{Nr8nR2DxQAt
zkVpL^5&3_9-2GdGmzWpu$K9E}BP*6;yMcRtn~Gf#W8KpAPTwxR$-a~Jqjy@zqJPPk
zloNWAcGbJ|U%4nLw(Z=6dtCZ+m7KNuCHy9EufP15MS6Mtk6-$e)*qKrd%a+u>~SH>
zJwA17Op;Wp*XbvP9xzYI4y(Fh{_g9gHnugdA1HNlw?2@Z7Z|kv>{+?3tv{!nxS7$&
zx9dXPt=jhIM$RS`)*rWVzHj&2^L)w9yUg$1GlcTlUB%z`oo<-_Y4dNk-@YdE|E$|C
z@SuDmlZC=xJDF1~GuGMWc+LyR^o%@E&9ho|t=2`GPx+_QMf<)?w30Rb^M?BmxVIC{
z>JvMIg@HkZ3%Ljb)uZR%RVqziP+Bcozc<u3__l$--rwOmI}?@*S696jNI21O`=ifn
z1C=?}U3(0*y53AoU2yr~{_s!kI!70NVfe9V{oSk8yU(xAu=$oCQ^~sUyNdG)mfiZ!
zOJ6+KSG+A&^QyAy#L}jiG{vBET|&-x^1j$impC?k&XlKLL>C|ZB_8y3*45JHhg-FI
z*BJb(_gZo4>H8=424Z_o&EQDhykp(-z3peq*KA*GC0|fwGV_4c)|X4P0{t${Ih0bA
z*O$h`!*pj+fXl`hhkcBt?HkSpKPlK{m%nhX+w0E-;ykWa9HkQ%I(UjK^W|M-nl7^9
zq{bQ^m2Q;>lP?*1ZJ7DpBZmEbKRbh|_}|`#L5ub+U6WY9Y=@#~_=ZfM?<ZQ;9`ELS
z;osi#%6Rsan;mB^1ZkgDz0%0#WAK#y*b26__DeZUHs`t5_w_$}xaRzU?bjXEmws?F
z)+pU$FjGH#^UqY7v=zH}%<SfBo||r;pFb(#*8P)a58lU@mar{)Wb<OJ&V*l+S7>Q|
z6O3}4Z(F{^<)Zb6$LjT6uDa@P(heGMPiw38vN`|fUgj?G{j4e<3KwYZH>~@{x4JcB
zDR-=q<HpMs+Oxigo)lQNwr`VGz`lk*y&q$A<N~~=En;2wHr3&^%1___%xl=ipDVBC
zzAYnp_p0!=M2*SX_7(xLUS2HjQ$7}b{986v=b3t}?Ck2tspqtV^X^}JUC;RcX3@-=
z+5bD9ul~zn+^Z`5?09+7mbVX&2yWdq`De23!j|GQ9P>}EF<NJR_1EI5)7&rb>U00V
zS#_&;ldJuO=*7tisvR+mjqHaaZ{4^qDY<i3?ejxrTi<N5II}AD<lVB%?d5*yrEYUB
z+fB{gRDMl<;q|_-_*>3L%T|14=e0b&HD>AaC?3vl&*eQXidkm#-prn!$bI?c*Tzbg
zvTOOg)<>O`-WKk^5WP-jGc*4Z*Z1*f?zpe17O@ICFW~z7@0H)+8IJe+mbmU>Vqo~n
ziJZ)#HMRP5zp`qc`sAF%;^L*@(IwLElK+lP(mg46eWQ?dp~oyMzocl@u&f}Cjl!>X
zm1!^9aj;DGjo6teN$uGl+NtGNO*G3jmOA9$IV&6GvD4(qC5s)66AG3$s^5DkbL!#0
zW77Ps^={gky6;atOpt$j?%)42=KsImz8M}@{Zp&q?vGrKQl7c2&i3_rM{})9kI&mN
z?`-;`$wd_&-m=#(DLFO?H1XWEG?o=#*)wmuOH9i1%sIxcg$GY;I?2l;eP>3VMVpx6
z#M2@<w&^`Q=_aR>c9_28jlIHeu%%1!^rg#gVG?DTff3t<+VZ-Ud2-qm7eyalcHv5K
zap2Ny$-i4_`1plPIKLUQR8=jnmuNb?Q(1|rO~YMz)`?|H@;Wv;mHEw>d@H7HO^;f!
zrmpeQnY(JrT6mke)Ox=1_?|j!_cW13wj!28dhZ{(t3hSwY>sZ^oPE+~qQvYOGE&lV
zi8p3^nQe2SgJE02mWO6-*42}aZ)x9J;bwg4Bj@cay<ZyQ4|u(<UcRI}+R};R^u>C!
zK99mJ&CQEF`>HHvEq(9!dxhV}H(u+a*rs$Y;9)qtY~H=8$E=Onm0lcPC-7*WYVfLQ
zxsR3BMsMReC;MW#O=!~P*UuBbUTRdkm1}-{ZiVtw72P)zix$59#&IWW2Ui~d@!1=v
zceOsyNXnb>`*~mI6kh{vmtK)ejx#q+<M{S?ok0CPC(aKyed6ZwrpEFFHvM^1<g0r7
zTk?#@asdreEtlE1fBo?*Bu75;#$K843tJcJF0DGkD05EItaOTM`ktwe8|GYGINkbq
z@-@dkL(A2P_e36TnQ+kR$VaoD;0>Qxxvt6eC)^GBv4Z{W;v~yp6aO0~HY=Wn{%&=c
zyL(xcBJ*@l{rW(z(gnW@%VOqeaGaLAys2gTS^E%Yv#ZBr4o-8d6L`<@P*LksRN~VL
z^)$&_SM#<-dfa3UKHU>k!o6(4mYnZ5w5Og<D|VZsqkPOK=;x(0sUXEOf}HEEBE?iE
zMn?M|Qm#=v6Rf%BSxjk()|#xVJ?D1J5MO2x)b!2r*?#{@sl&SUMf16ACf+SN`02=+
z^+9~kH&y2ME>X-sD-l=~7`*qYk$$wt%VkmWdaDHtnO*lav`b#|igBN4pc5TDFYhb=
zZ0RS0eZdyKSEJq>xD>r6IIZ~Vw_5Y#)gR(k)unILUKm}SrSJd6&$H!wam|6=0KZTP
z`J@%$^G;Xx7uK-!8@K2@tbelXY`3fEGhrF|$;Gpu#JrxM`RuFvl0U*S{$7<4C*>vl
zTRxhY9tpgC?tSlZ|9LhypGVwYuA|=lyZr4d{h(Nm^OvT*E19y|w8#JA@6CTS%75`3
zPycAy=H?l-bb?%@s*+xL7>CUNw6wH5C2ek*{Nr0xp6VCXaK@`y%a|$fR4uIkC4S6y
z)>_|rr@9*r_IZ6Y*50d7xc}ToUK@AYC3}jV{$h<kuk|JLa!zfW__Fr>+NzyLx(v=*
z)SDk%c&R(TXh~s6-?;*r;~o<C)xx)W>3dx*x7^n*?!9i;kH>B6SBvWHk_-=L|M|b^
zp**j7dfogNS&_cs8k#+yMZ~5%v^`aFuV=elRMM&3{n9`$*m|i<*pyGIe9ouVpJ?82
zxHIUVa^IXO|7SdDJKPaeH&;3S%rSq<y0-bjC%SzM^wz{2oT7ODyS>bGpY+f@TkcfW
z@9x*W!YAxyzUuVm;^?oLoBZFowahT!NnEvpOS?t-i)Fy?4!3zz`RZS&v@?BKz5Ksb
z<&CBF=Vw_}URheb*yh&i^mlh=U)|ffW&4GxCnn6>b~*OnRd&5aU-!(~Hf<fRmrYBl
zmr{N1Q&s+zx{cAv7r$}eD45CiM#$>vQf;vvEpI<viamJCBV)nza+c_f$FeHFWz8PM
z-{{%PHDCPVg>H$v$~$D&mzV8&^k&MghHI=_;trh4_$_p=KA=5&h5d7zy({^y9~9fL
z>{AU}Z}@>_`pFNZZZtk{-C1;B=v|tHO!N_rzd~QUSFvtXy(6#i)AE+uf-`p=)f&!~
zyf)}`^m(Y~qwMG>e?-Ug`3Ht)FRx6}n{C&T=c931{iV2D!rf&T1<o$IYw*ZIX!-7v
zC3fG0tj>qJ{%q0a`s!CNGGj?t`bWE2x~17qAE{nA9+$xRev+fW)qwt83$9ID*wJ3I
zu!(O<9Pif|>Q@T=r|()NZvXaW(6P%)*WJ?7t++LDEu-j{=BjhTr&chAzGwfsNIhg7
zTS&9~l~n%~d(zK!1t{*H6Z^fzit%#etMVeTWuLaMTe!IDFYonV1(knmpPsAV|LV(Q
zotc|z84rHmxFF|yM1r8YD)Wg|i#{&S5{NnSJ89#Bpi)oIaL=ovI=rvEo7*laxU4=m
zy?W#P9>zNVV}BZNyzb99zS>2p-iiO8&-^p>icCMX+di7Bd@O&pqyB>VN&8s6Ggf*&
zS~g;84;v@xzo~Rl-MlgH*4Eumyvucd9jte)iHNoL`m(K~-+NlcDaE;eJ)cH?nfXGU
znX%~6<@RKeljra6Ytc7w*?)-X;0xm=94u45WqbX$`MdAvBK-{xv4Jc9iGQ4X_|*Lu
zH(ywaUt=}Db~9_ubeXq{mVaaK`<CkemS6U5sQ+8j=~L6EM{6$rF!}J*IX#P}u3I1I
z_pdq4?P>jCrWXm0If;sIQnEMnZ++w_c2sj4pZ^B4If-w-?2GLWzsYtig8lX(vyHMj
zn@<H-8?yS%D|>YR2kYLF2-W1$A4^wVjDL9j)zo7zx_^uQS*G|Y9@IsDRn)`0mz{y(
z2+9Z=XlVmzRtAREKr=KC-c<^M8oaEa=72!`)yTl&TNVO!&%@s=<!6^IxV5`_N9L>;
z&BCgAo<4k&{q9R7a(_5_V~(o&(z$=WM@Mc-ZO)zK>3qpXKxci}Z_oSd%BCN_zCQZH
zuMJz3-kHt}_Hg<?OLETc{Qo9@o@!ZSZT%20Qrz)qr{moN@rGF!p7QK>H#9wC_k5$h
zuZ8U`MT>e4j^y1fdP^mDA8{*jOP1PY&3ZI_-R8)!1!s9TcwOk8o%Bue^Ye$3+WxHg
zv{#sw^ZVirpWa5)%oCjM{&82FLv+myIsQHWmtJqyoclXbKhfk}<wWki_c|-C@;gTO
zwK}@2;l9Z8qv?>*rwoSo%hkPZ|33V(bE5X*h1-|DIy|S%M6G^K)g+;lCLdx8j_!24
zsJGG5VSmw;g9~;f-<tHP<=S^Kh9wan)-(3i?aqz=wJu|kgoVieu#NT2&I+1rCf1B!
zYj_fcIxgQ?&O1xBH;gB#YqNxa&Cv;kO;hr$_Uj$VFnsJ$$DdcbFCc4QJ;$F9Rqer&
zi%atMw5^?JJ!9Qv*HDRo`mD_h3QRXWXk+0t-Sjqc?hV1^?=M;I@bHP{+s;zz@?hD7
zu3HDv3m#7{>EN8S%j>L<6_bu;yh~i$qp9-0WRAG+F23G+yY;<Z1B*_RXm5Jpo|LRz
z0v|me)N6l?)4g@{?t#0HJY_bO?AcH}(_>jWTcAfF=axIs%9{iGB>SIpF8)%#&pl{P
zkT_pl;O&_Y0!32ePv-98H#WD8IOk<6{6C^;_U$n3l7$k>d9rSv+mX+I=G?>y`)>EE
zdoDX*(#528r#X^Cl>fa%rm#WOW6xX8AGA4beTB3#1IjcU>>e5jnUtDay7o*g;1xV|
zoM)2gB=1cEl`k(&?WmTt-QwI6tUKvs{SV%URflB1{F2;%I(^pLx3YSU&RbdwX8bhq
zm@066DUWFCYF;LL-gP;Gsv3fBhy3#vWzULw#%<1XjV(gLYr?5m#)`R|#)5OMd!-i2
zni$P0derXv{ioxX^-tFH2xPId1)gA4^L;eudeQByr&=eK-|HNm`^c~P+mxQqFTTI+
z36rfC)m{)g=gQ5Z5M^uqWWUO9+f0rJOt7A`uxUxV!4&D9BS8-XKj<W9X}&u2EwuZ1
zkW*2NS<s1+TW6=G&AWSYy=2d{XzssTYmKjDRI)4XUCW^<RdO)Ca?XWEX%V+ngMxyd
zhRnF|bBgB9q*u$7Cpccdy(RWm%*$UtbDQlvs^lKBWY+)HuX0&dm@M5ZC3P)AYpLzp
zy>8jeh269CJ!)b%nDC0sd(S2F;*=g|{nHm^5A-}N!g=n;Ws3#>>eV_L_5JFp(|Hdp
zc7Ia6AJmqA@AHL{SF2mXH|^e?*|SIbga7)VbE)48ianl(b58$oUPoBx_ufqf%Kmqj
zw^m*Z*;Hh-=)dZe`oh^dnM;r6+HTyOSS!^h^TkA5)w7^2#W$&IiTB@cXY2CvTJ_eS
zJN2T(>rB>#r^51W@7~5;%q+`vxccYT8pe73iMJ-T7v=~b^iGP@J><A0#+G%@-%D%6
z=IzLs&vY+epLt$y<&WS4zyC@)CotY?ZhCN7;NM37mZMC82|9M+%-Z!{B`gA8?*?&Z
zR<FOhR8N~-Yh(60?No2KC)u0y7YBKV+P~VwdHH*g?20XCgoUa%Da1^W?wTq+;igZC
z?}lw6TbF4(j=6c<p)8rNW7XdoALRquP3JuFeNufPpl_<S>ek@Ml~Yt}j_Tg=`5Kxv
z@0-A7v+3$(r~4C^?O5%yy}Im@R{hT#W^*6@ym~|GR^_ynanBzv*t>8c_s=;eQ&RpF
zr&>Mkyu07P-1N!2YbzGMx45SM`_Pu-eSVKu&#Fn?{B;Z4Ve_pI4pqf%{`md6kwjdK
zT~KRjVdXy$(QhBF+$rU<4w>Tr$dai|kLz`_o64!E&}P$ZnyLL=o1Jn34P91Vl3hAo
zrrx=1OZGNvy)5SK$)1(v(oyVBg{B40ymU!u_YsZVJulDvpY=^o&;8lVuS@?(b>A!t
zKJ8}0_?eCM{Is=M!5ziAw(^fl<0|&$o3Fg{YlVTYYv{hX&fE^c?Jvs3SY%F3+|c=>
zR&DQsEY{!i)T8%1wJd#GEx9Utmcpl0bN>6A5~bGGvsg|jf5Xx7Ty%QS@h+_ppEVtu
zvJMnHJ>Y0pbfGm~C;ig@7d`HO4@THUe!C$v_bYpv_=lI1GiNXUcf)3GO0=cqoaCMp
z=PhER+*kan+P%B7CUV=;_TrD<6s}#$nDN7OId}f958IfUHVFG}ljVLqrRI-~&HMhf
z#hG6pyx;ft<eU0>k^V<dr@o!>cw^l*zs-f*&HMk<W%aE&|18t0-r|t@=Pf)z$1nWa
zw0pMM?%uPnOq+`xwiE~^zjtpC3BPb*<FQX~J?^ZV?^|;6q4?>NZQmcpebD|9T3Y|a
zc~)}Oo6d-^@M8P6^xF>eS~Isgl)l_6ymYloy;;YuKleB<hA*<0c8LvWdfy_Uby1va
zqm0n&Qy-4A96iolduYRoVAegW7ORwP&hbpUt85zKQJ-R0+iq-Le>?Lpco_t{hrW#}
zI|GB33VKib{JTnv`iRVs=;NaQj&Z0wkW9`x!16djI#_YTQ`I=dD=sHo`cyWwZuEVX
zq$sy3M=?=1Zqx4QY437(?TEakmOIyC3#+w*?Do#dUv@nIvZa3alKnNm7VqEn_wC7(
zFU{ZEcB+5e5IooT^Se7czn}a2?#@o*54-#CRY@PHtvKJ8%5?Uo%bSv0^>a_UY<pLB
zTutq9UcSGTY`2=)6_;bjH_Dnd#-0qhvexa<#*<rKg{dF&R1aRIC*Pr(B>Zs4_WCbV
zq%MX;*_?Dylkr}mX?=?2)miTuYq+n-eUh_z!^_*pQq6QvFn@h{{rSZI3mkg?hy2L7
zA<M76=v{!CsJDwXt5)!<nQLa9V>w(etmSI+x3MwF)?LNYF!RiBCgy*xpD!gQ+ugYT
zI@V;qN8id{HK`Ww)1wla_ggT;WGc-pNH;cgJ0tI%{vxrmL+YWAnd{$oyR%DvPUrAR
zH}AFFwPJQh>MmBVIl0bEX8d!t+Ye;1mRYEj_BV0Ojauw*aphL7RSyIr9zJJd*(|)c
zJ}b+>Mr!(mzb8E`>_q&IKDm)Ftu(VcWC4q`$QtLhTQ&wd?#z2TnM<p5mG8l#xmn>G
zoYp0rp3`G!_WEzRx8kC}D*<YAI$doFk4=qyo)ax1Z@YBQESGf4ZArUjZ?jyRxt9M_
zoq~*|Y~L!~e-UoJt&cNXPwr{9e)g8LwWju9gL(alwK3J{znMY<O^Z*=30(bRvg@tT
zrQJ`m=5`;w)utse!;dv~$9$nIgPEPZ$CX^>_;@^x@RGg!t?)*lKWE9EhZdD*cNtZQ
zzHsZmGmD*tZI1VWPpT5#F8@Tze$}X{^WID9dsnueN&g%7jneJ<96QAIlT-4YCKt@E
zeKX}`<kW!k^`b5-wIt=W6Liv<T>RJ%O^$kW^Wy}E(n6V?op(h2{|SUI<93TVZ1RX{
znc&x&pNDn7`Y6Ae>2}4qcZGP2#g~^&f*=9io|JE2W@sOA>+adMO7OQ`-<`Qy%{Gnm
z!vcDzmesf=beGz_*!CsYZppIAA2;)?PutCOywGV`aKwVs^>a@BI{0J9&!wR%Tm4f-
z*O&ilYrid)KK+bt=s~|XlR`oo<CiCKv6Z~q(&RXIRzQKs@f1-nEeY3_qa`s{y;iOd
zcla@5t|l*AvVPlEulYgj`aY{Jbx-)R=v?N+PgPCx!#7A*t9<QfYVfmN_F#dZ?ZO8J
z-$EW~)?DlB*0CtRE5}+t-+8S=rpmgu%A>W7Tb-jLCx1|RT&Q=pS<%;S?E^`h(?-&A
z(yu#@vr6?$5I<SAjo14_e9(lWk(GigpSK<QxF)JXTxvyzpY0qE?<;1@{gZSKnv2wk
z#!oihSE6C=Je&PPF6;e+<xkJd)LESx$atDHE265}^WgVX#?8ks-RnGgrk*wPhb!y-
zBimmDsjZX`lH4q>@nfM#Nx{~}kWYKmes(oY-*CE5zSy|S{~PnokA<e8jo}}IXI59s
zRP=_2Y`$Ew{C)1U%i$t>8Z{+1ob)t3xaekLXrB1SlHYUr{>&-&buWG=yJ7py#?0Qy
zyML-aUv=!{-LJoP<)11|XO)^ePj#(#{m$?gQpSeT=^f$vsu}@;UTMLCrS(4dHm>e^
zclc~juiX!!8l}wRe!jOqW;go&zi!-}e&oxAU7q#Rc4_Sl+<AJ^!RM|=!cJ+|_11WN
zFwB^I-FAQWlVT_7aH-^@68h%HLXTCneoU2Iv{vfU=?|Qj_|`b-T9!V!bAJ7wwIbI8
z&R?rPaP7o3lf|9)Pw#6}YtVgDy|QY`>7y6dob`JA`qMJE6BCbJ+xcwcy;9Myn=>9R
zPZV4G$K>3hlm3@=Vz`&Rca;2{o|&e9k!9x<4XJ`@&*opA7Esds;(%K2#<K;|-MP=g
z&)r;?bh_kT+{|Ou_m*TEm$d2>wynE;LAP{o=d`4!(|u3XFRe_Srsn)pDLLTKd$*M`
z1zWu*6yK=kEL|u4!tU9osU;_7R=%0t?5?DHvFG|li4Ri0ukWl6-@%=~fHnA5(%D^(
z$%dX^3k7%nK3g&2iqVe~s?VLb+=$d^(YYiR5!Jo%OjHtQL{jF}4O_&LHhSu;y%upV
zv3_#IJ=JO7JD&bk-M~`+IpUY@MxKbILb2qZdsU}3Pm7o%C6=x@EvWNoX7AJfH~(F9
z>eZ(07dXxConSfTxX`8}Mj4$)Lwla)PmAD-PAbfdh-r;Dr6M-nbXxs}|LPn6bVvO2
z)%hREbUHxpw4k@no>wQYu0FQm*|iA|>y*Xoe{5f|(D-=&)hWB)e3qDb^l<$o>$&C2
zyrMts*NKx4`l&4Z$n7xad^PP?C!Qo9YN+c~51S^P|5)_wdA%3*CvP8kmNNO&?Hgr=
z8p)U697`<^DqEf+KEKR#UFIzJq=U1!eqmlDqwC~2d&Qx&z}~lu*mfV)iknzEt6Z=4
zVNJ)L8Al|~ChG@zWPd%^&9hQSIU-fptp4X>9(fkFhW*81O8rs{Ze0u|8{Q_oPJ3Nk
zdgn-^<(%1u9o&|WF3NoT(Zf<A>(AxUbmn~gaq;O7PxP$bm@Ic*_sze!Hkl+_#iHr1
z+Gd>U{~u)?_Pf}Zck!TorrBcu9Um9m=xR=qb~{owN5I-ZuWXi)%B*(zvxoa1o&Mov
z=X|O@O6Jei;<kKA<}bSEPJQ5!TEOhO;P%aJn@cxUKDoLe@!8!4j?bPhP<-|_fMJHf
z^N(LyTdXS&JHAnN;=kppANcOM+P8;x51p4=H0V8ScW1ev{Yy}QnWM{@qjN&rI=}Dw
z{dpH0rXNmu?!WKW&z?($f$_&nZXfvKD7dWs#-$wn4SVbTJw7>X_;A1JZkZ&n>hwVG
zWlzpL{OP@6a^hxR!A*MCqZF<yShg1R?wYgN!Ec^T`ofsWde5~cWKWXWJjZ7C_6<RG
z>mFA(>7NL?9ddFC&j;>c*X2(vm}{8o47++H4tFQX>=#u37+!cv<izct4)@GhH*tQ|
zy{dZk_mA+$i|VGXX|LCR`uef_jwL20Zszg(SlGL7_AkqSa5Z_-jN|@)-kMH-{^8fe
zGTSDVth#B^+h0A7e{#&P)@HKwZj(j3a`~?JZ8@Kqw~!|%nX~DHli>3WQFD&(eZ(~9
zk>HM_i*;E0Kla$1`}~pR*U`xqTJs)B?#y7aO>2ld`@39jzlp=<7R@>P)|rT&+Fro?
z>FAc8H}Ma1Pt;G`(_DV~)PL|)T*AV~Gub#97%rg<Re<Iwc73ZfuaAuNe{3OA`+mK_
z8WZ0@&#n2|8Ilnv`m`JqGjG<qWL8DnEb%n+OAvUpfBoDe^F60^c}j1rRZ!WuzTf}c
z*8aB#4?42T@>orLZM#d`A+tfgbFRw0_4{vD$o@P&mv3)NVbi|d{_Ezd-PnHK`98b;
z!9<1oZ68muoj)$fD1FWQHuv@V*9IG!4Gx|buRf%Aqu6}a<gE{5k|tddXVvdHSaz;<
z`h@RZ8}n}TaV5?vee>5V+~Pp?_40Mk?`PH@my*4DwdhUd&uE2(|67`;UKF32^t?x4
z57#vTmE)oB)8D-J{g<23;`nXrg@X4V1kNV5HXokiP_u)>wxpusP~2SB4o7w|!`JoN
zT+=lw8Mg3=KUi$w+_uX(Vm{Avb+6Bd5B^E9SkS+FTLx2;>&nK&DY0oLPbR%ms97fK
z;$1M=gsth0M9S|C7N@d!K4~4ka(*2LZ*9$|s#lL6Y+PbKRnYB+zV-r_f0LO!)!s=7
zFvs0d{-)6U$4urzhkRG9+&X2!8Fx*DrpCI4)R$fMxWf6jMM-OSrpl@sr%eY=?G>!D
zII&;h_x}=B#v^)vkNx~G@m%d2#r~(tMpBL+loxs_t(fCiqOs8EsL7;|-mv|jZ!NSv
zmEvE&^NrYsl3;sB|8?`3rk8Jjv2mgJ>hQ%g^ok~{9Q$m-xVs~EcIc;EOT|s)%UKrO
zF{)o_Fx8%;{xR#3KV=8>0%g>u2t_Cy+H}p?TV{vdte_T?-Fb8E-_LpZrmm>$=^bnF
zbMoos(~V7>9A9l_T<J35c@@9OmH(6GH%*F=6mq-D5^DH)UCEDvfDcJL9Jdu+x80nP
zbZ-6nJgLd2)t@X`aPV>S?-flG`Cm5kzhM<Wc442aUdrs=m&rBtrNuXA*x4znv+~aH
zzr2{s&29<5ovV0^#N;n!J0|3sE$ct|we>Po1*3TkNQG1DqqSUSUU{p%pKnuT6{~2d
z*_D?uL1gV${*RN^rnGh0TRX1f$ujyRJb^bvjpuH{v$-edDE*yi(sbjM?B?6s-zr({
zt!uJ4#%=H*^>lp@%VnL-o1|rvcuKa4D3lha$3JR0_MLO<i_0&6+<tOu=9#jK?T2=X
zcdh@F!IpKj>aD>2;EtC8OBX+m<T`&Un71fU>5KUGS&1gUCw%qOU2yzK>Ib371$inP
zjAp2HUwtj=`a)m-W70*56<gjWsPfPFGV#}qc~+bE>9M&ofB(K}_uG2u+Lx<$R9g$y
zdK&BsH@<R6H-bAzaK{qAAB&|X&hg&A;^8v;qh4Btw?x}MY^fEkiBHJ&<lkj({N;dd
zICqu6jwNzG7E9UoEVaK<uvuR(UbFDl)#eWy;0nb-3d0ZzeU`{yDY!g8Npz~k+gFYi
z*Y?$O?bF}zE`(q7+Qw6p_G$HKUK8s5^p!pRb?ByLQ=KHsLw~=Ix;(8YIeqrD+9{u-
z&oBE^f9vu6ufF1&pS5m3zb4PVc-H52%0JjTTbo<npXt~Cl_A$=x8uwK!#D@K1a<Mv
z(>=m%E01-4Z_p83&{TC^b;H6!%Sl^R;+NgFxo5Fu#;^KUkGz66RR$Q=U1ObUeEXTB
ztI##psfQmwa}?FR)_T=wwcGleK_|~`S@go?h4YIf^`v>r0$paS)$cBJm^>}wccw%5
z<$KCH->OTC&L1n9G3{vF6GmCSe@WdR?|R;jSS&Kx+n>R5-H$l?wbfVOn%znA4O&sR
z>Y-S+k=xvj(s>)r=GLFFSyarrV`HjGxYkoWvGjfUk)IaS{0N=XwDR+XG}#A{(Mw*3
z_=nrNa0mO%Yc6Lr+`M7ylGQf+x9XlvJuk6se)ZGZ*KgC~EA_YB{qy^L&dE~E(CcB-
z3O2JQ2hCbnmbWL%Z%T20@4l?riPc9hD{l#pJi9D4c7DVww~%1Bb+2TC>l;L(jkpdK
zvGV!nbeTM5Uw!TZi`hoo1qs^W4{jV`+N&8ISz4#Op>ye~rnNDR$->=7pWRuxE9tSs
zz8c5sQ^nH4>9VT&?<23<%)E8}T~faS=jZxU*^yme)cEQz@O}NFcS7suN6tsmeEXN5
zRy}g2ceC*En$*?%HlF#_v}#Y+TQ|Yjx6`)vU%6uA^xO35s!!KDRJMz~K0M{q8j<GJ
zd+ppb<-H7dXuVFJQnGsgyKlQr&3=@iti7OaLX1y-hJiuf9IOA}1#5weDmhHq7#J)x
z(L3k6Ijbz{^JT7z{yVn&+>LV&EY!+){F;~xBiH+yO}QZP#=`7eTVABK;%oLo&csb}
zvpdt%=iI%?GWipSh(`au-`=ajShtD>i7KkAnlW-JsyKWozRFbZ9r|&u_2jP=ZzXnJ
zdUwb6`@Hux&nusw{$Kk+u;K5I<~}Lj-KW;shI{?2`*-i&l-T+i<v}m!JfBi~yV&^8
za^-ao8^Y)KMpho5ryr@g+Tifk@GVW3mA7S!`>5A``68+PzWda?#PeT$Z*T3gGRw^9
zlv<GxTxaw5MTM1lSyoAgO08C{MQuukjrFpHmet2>(wE6xp6mPc&!V^IzGdEs*>Y~$
z+DZ0VVmkkfy;ZBP=|-%JufJ3fzHL_AJ#7&ib64jtYT46kl&(Bqk@)MW(pUC<(TnYO
zcYO;unsA@t;HzINU*G!I&=#>M+sV1+#_Vmc9KW%ZT*<sKDV4$PbnE4?!ZS8+BOXnk
zZa$ZDbH?fa0XtU4A2d;Dd&?HJ!POwoI6z;b@W1Blf2Aqreu6(G!p@o3THC*=H!!;5
zQL^@<fk$N2+!w2l%idVK*!l1~jc+sl$Qgewezs<-diL+IizQxc?~cUw#9Nh{Sldmr
zv^q8GrbMjs<26s^`_poyCD%^Ab}Z=X&S^((CC3W$@_0>eRM}N|Na|}%^|5oaAMMw;
z?V26+G|}t0tyGnn#<h}=@TBVva!XV`{5GkV@xF6pZO>_s9aE*=pH5LyalRSl>F~Rq
z?cL!z-YSP`N9U}yGdKK-DOD1EdPDu_)fZ9E!(CTiEM6AQnV0zMbFuQXJzCnb{23Xm
z`jRJ1U6}E_WL>cO>#ye?e7D>lc-$kDUn1i`nrySwx3%)m8MHa>7p{I{`P?Hq@pXmA
z;cv4anAblL;Pd9YEcI*gSK*My-+fnQCBIHQy?m)lTGp!UTrbsylFZc?G*`Rx*mT%s
z-W6na|6ov^ax6$#tvI52TH>YdQ`~AEvmad$*qzM%dD@MWopY}pv6?D!<!no%{DXIA
zD|ptt5`J^}eb4^J`AOYvxAr8@oU=#$W(imHT#0Wo?GM&y)Hm9sKJc6|$L`seFB2XY
zJZec?ZFT#)sp`9@yiX3Cj5%&K$6)TJtyLcFdpOg3cdLHXo_C@{-0%ilnt`_U%%FG2
z_zbH94IUhtJa=;{-^^9#_6v4tCRSf_2(*gd?)~!6p8X03zI@|(=5g|S)2nGS=9+)l
zBC}@k)@0ZBnWdj3nNv$%)&Gz@9D7%Ye`<Q#nj~hu2bL@6?|%J(Nxj@%spzK74aM8~
zQWc!`(;Lp7kJel6d%mhTt5@T|d*POFmWQFdZ#y6Ip0{;YUNdXc;e@Ss-z;crn-i}0
zY_0OPU6En2?A5NF;ZDb%@~(+Gp!M>{*0$<@>!asfmDzc`-rdZ6x2D7g>2lWkGGkuD
zy6m63o%5XbWgdBI7VQ7c{yWdQ>;mrVr5Q)Wyk=><d=hN8^_Km{uU%F}+V$p|ALDX@
zg%~qeuHXq!+U-^(x%TAh8&$ly+Ov9>FxWWt#?3mV#iDG{fBWLP4P^=G9b2dS-|UV*
zy6&jfYhl5=6)RSs6yYchUYM8r$#zSqcD=o1;JURMo3}eZ?e1w3cq{UBVv2dKhn`|#
zr(A8vJmHfSYuwAGZ7k>f-c@eMde6&X1ACU?@eNitx|k$)o{Dg1kdT^u^{<JN=gR~A
zJ60WJ^wRvP|LsLjpIULxB?ZI3UDsSZ_Rl@WU)Ps5$+BcorG{kuu@9y)A}^C#eFR>8
zKJ&evsWY~t;*Q)Tiv{Ph)`}DbwXNHKEaTWupKbr0Ki=tmpxkx)=iP%2e<~*0+ei9r
zdw*kR&zr83X-j`{-RjsRoc}@g>GV@MMh<I!%sZmdr*%Z7?_pr5v!~2+tz{k?18zSm
zlzY&^o%wfe^rQ0$9;>%^g}HBfp8Q2G@lRL4?mkc6O$+Kje0*K8h;4HCq_?)GE%r`Y
zV;%Z8Ug@U2A#44z#r2Av+dKZ4$sLHVtpBS!X~#jXp9i^qI{F;u5>}t`dRy?Bi&8;#
zQ==c<+&7^pT=c2+66-KSwd1KaTb&BUC$sPI?h5~rS1~o@p7JTvOEGD+``5qN%4VkZ
z<y-5Qya|_{&Uzlf=UKm3dXkmoq**JJN;~E(*%WbizGMIX=G#f{7qmJ})H%45Wo}c&
zpG_jS)4ggwSUofSBe?bB>5Zo!Ile3kb**vYw@ck&cU)y(#|FE|#9E_6vy@k?)x35j
zd{XYELr=ZD_xl6{-ag+jcXx}G-;CCy{Dlu&bf$gG*|z)VPt}+?Z}@f;T}-{QwPm{c
z?&%-8rz-88>&x<|d+&$*OTYM;e~SwJn8o;4%_+CuV{Px_7p8mUf|9pO+^KW^`egQ+
zypJ2&9>qU2pYZ+r{YT$tzuM0l;LXk<;H7D{kBx!hEH83Z2U^&8PN2%H{=WZX3xT@#
z@rDJL%v^I9RYyC%xODsMS}n($%1_@3?mW4rqVRFdn*&Nm{@3-*H9OZYmr=gnV><h#
z8;?JpF~8q)yu#hx*5Xr@X6L&TT#EiL<`yjNsjGc|sq~azmF?F@Gh5a_nYUx-k~4o#
zNFMeGnisO!CVHoY;ViC_!o4NR`{F*=AMxF><g|Nv*q#iRxUFvQ1?L1SmUkx|F)nHD
z@8S43Ddb_B^bIwit;zcOyB2W93X8?)?bE7XZfdb>y5#NNKcZac-eqpe`jO-;<I}QW
zbxLoi&C5CbmZy2MWH*0)^j=)pa_Rlc8(ID*m^87j%P=~{nznd`yMa`1_exKu*5rsc
z%j+jH>|?3y-tf%O=)tYL7r%GN{qFu)R(wCYr`DhM+ugTpGmhwfty>jeytH7Y#Uc4A
zpEtNDedb}Ez_a?Uq1`oYo6Seg&#Ytq(bG5ooP_VYsF*buG@L%3<`O+p|6Joq&l*9l
z#i#Q%*tQ%zzi;`M+V*E!dQREf_DOfup1%?I$1Xatsa`Vh-pnPZ#CzNXM0Hwki8b6`
z;uPR8J4tJANWqFr!3$H@zO(&0Mc?YmE5n52J5($u7x+i?&7SbhJ6_ttvRT&SYoo`^
zi>`VXbxYr;1exAm);P~vxZ~|y^T}dfX$|RyX|w&;S1gsB&Lz;}DB{zb;3<4aAw*2e
zFP61FhW+86G_(4h9C=Ot2j5SA{n>Jk)1=KxuF(vxD!W2g{hR({%7m0KtvO}PUu;iA
z?9rc?nd%h(c5lctRY9iUsqfSm1>gR=`@+So*SDW~BjK@hOXmsx8Fx0U%50na=a}f+
z<F5oOyJi|&Xxh#HA6<P;@4eyaj2_;{Ukte<Uin;>FBLWp5w&6by`#SH{K}ADGXs`>
z{`9BHZttA8hnqJonl|VCsrhYZ!=m0?+*j=v`fycr_^mk)noXmOcTRbrvu~AZ@n!b6
zb9Do*@0_^MyWm1zHJ9Wnp`(&KUV>jGI^Er0HiS)naw1x*ErEY`qJjLil^aqIob8P*
zZ{ziE+jg~iufRSYcXz=TT6+Fs1@&PQ8-j~B<TzBXI<VTav2DZZ@2hj)M#!(r<84bw
zxX1cRg=hKvbn$~Za(re7Yu8=g6L$GqtOw7DV}%FKYsk(z;d|fwuSpB*a~{u$J*-+0
zydt)r{}`@a-dM4~Xcuex>IKX{Iyh=XIr~?eibkE?Rrty4XqZCT%e51;+&7dQEjJCQ
z7xRcN*tXz}>ZHVZ%d)aRik}oZ8van`S!WjKBI_Q0_T5QqUrV>W^_Z>_F!MwD#lSb(
z>w1HtuiZL$t!Hvy#@~VqvoD67>`^I}n!R<2hm5~O@tjv;Z|iTwvA=QpX!Y6rj+UqB
zHP6uSk8Gg_4W3#F`mWm}Xlf<>c>9y%``s=-2wPbHDJ<~LmFziPVVB<TEPKD>*Gy$8
zyDL_Un~T0k@L5gY=@qthL*L!$f7Wb1kjHCQwx^n%{n`$1*A0G8AA7U6GX8xV8SriS
zq}lRsmw871Qhj`XigWWW?yEw@kDGiq|Bl`l5`O&A8|{DfiBTHW$1>O5cS@bML&bM$
z^f|>Fjy7$FWsA&WC$97U!d{!bY>#sW<84mihV&16Zk=8C9XyA2MAtuY5(@)^zbJCq
z1sVz3Dq3Y%9~$c~>?mT(yme`*AdAidg%zT=m2^byJrrD2799IEQKa%i?k?F=kILHL
z_?iCE_7xG9|HJrC<MG_Y;H0~)o6f$wv-kTv<LCEg-u(CP^Jnpf_K1@U`V-f^-7W7N
zt+{+t()OvZZ(85Flkve>wJG<VhNO(BmgEwNWsi!p=f^&MW4xsP>ON_)X&swyalh13
zycTmm^fk}Yr2Gk&^qjMT&0NHIrt8KyS+&>kM4foR<y;@A&J!9NzbAA1E2SF`OZ^Rc
zLY5xh8!NZtmu=CqEirBP()2<+-Yq!nyfJjLT&m~%hcEZv@JrbmGS%_2Sl@HGwnJiT
zZEsIpJMBwuyjJ=96MZ|vi|bD$D>WCkIq56u_&l<5zQ@TDzT9b%%H5-J>dUU3{?%9@
za=5~Y_lkS)J2#14zWY^cPSsuu{gC;_N%efxj-}i)JGd;DzMNt-(?W1<wey>g+m@So
z${p^0RBz1f&UWZtRkqfi37agrzi-*J(c>nktNYb6mcfQP^VdIXsDHHW_}^u+^*f8U
zOn<I>$FcF)6J62n=q(0ahHb5z!_>qgHyZTL=Gi$bhrRDc+1HsfI&PMBOP!mrR!}kg
zZNsH`>T_mJ);}24&l`WeI_Gq`jpVMn&szh2Z#tN;_e-r{PL&OhYe!_zE&uu2W;Sd1
zts^Ci`6t+WU*r1qg8j*<&-Y(`WWE+&_4;uAgl{uBl<#QsOirD+c5k?0(w{3kI#PSx
z=2{2*YrA8(uJ&cY65eNX4?g!VQrfdEFQMy^kGavj%w@A*)+$}jJ?t`DVcyF;^ULin
z%als9n`d|lUXHo4xTNx*#M3;vv<eNs8G(2D59`cno!KVa9_e*Np_Tnu)G~WTTf0Na
zkI!EI+^G_&m?lv27hKCetyR6-%*4R37Ukp^P)fZaQDs{XNvM~n>E()dbFePdP&&Fz
zL0hRy%<;&z1zWScJig>cwr$#QH+NgK@Bha71ML4B{OvUASbcfyX8u@wW%uo+Ou83L
zZqD3U{%+^<c{`2&{(XL%pW*rh!3T*FD_^_{i`=A>TI9AWVwIZi?aQsEJ5vgcm9?iO
zhOz#TSjM|qp|IXH*gIA4<D*?mB#tgx=)Eg(<?B#S-DxH-6K)92lsK|z<FT#kn>MM6
zTR7L3)w`+BeC=)6GH374>8qCJ7|c0srXK$J@;8S#-4~le4LQI6+c-OY^YP8)oy(tb
zT(w{QYL)5n2fgZH5;fgNG&%GSDLDzS&PkKVb=^Agq=Hr9vA$Pn9`#516)Frgrbci!
zC@MKQ?6!R^e37l5;co|*#DcGZpE@O4=9@h9-udT~Q=Z{jfpe>@&WCobz7sPo+%#yV
zcDBZ*ZA!CO?JeuI%XZcc4qPjk^5R7Flur|5iXK~E-Sqm5#IvHUF3aXslm*u*de2%T
zzU27o*)bb~I-fJSNwV?JX9?%2pX~ke);fWtj&2VHPxgc2raOJkv_0x<`&_(uj_gW-
zV}^<kjGVvhs8v#lS*WL7pdFik;^E?h|IL@(FSv1&$?S@2lZM)K-FI9^KbX`x?SA^k
zacNz)&)q%x%{%%e8O>K5czi47i0_@GjCkX3?=FNWPi3wWZf<L0Ib(DrO3Ce1#HM=B
zDx)ni#--)H>r3ukSi$7HzFBqF9M@vU7fL%6xStyBWpZ5?T{<K0dg$uqd3?`$yH<Ya
z$uiH4pL}oLhNTO{vpuixd|ASy|ClM(Nq_GQISccNX?DN!CYe5nXiiD~cG}@S-zJfh
z=QCt{>W;2_QeI-W*z<b&mz>4l#hGqf{1)6RU!Tz|{`|%5_YQqQ7nqysJ@nmV1XTo=
zPP6lu+sM|YsKmr`U8nx!S(f963j~$(UTIzYcwvUj;+Xu4&#KM832!u)khtxd!#-W2
z%;4CD=U*<ZKd0<;)A6mcf@|wtHM!46QVu>8Sh;YQ%$u7k>w^4d`%3R=)L48}<nQt;
z89KX64xRK*d$BRN{@@qAp!c#n-^A3l@7%?29dn#7_?_jAhR-`5Gxb?#ccrx(uKI2A
zX@^8l#C(~bt1_S56;p~g@B9*Q@!NN~OD1e5ufGgwt_QVfGtXH~ab;#;$Y)2c6+kW8
zPMIp3dh7h#1_Jl~YTwW-V(@+ucA#&ff=8o{=f#Q>Uf$}ndtJCxLa%H5xnEu5u_(uK
zV_^Aew$}$A-z~qt_r;T6RW9o$2fAK1-^CPE{B2p%+RNwTA4P3WvXa`kNhnBIG2Czo
z>uQlB0nZAxP6d6K!F~2qZq4+IUd?mnsr^mKJJT^=t>3BMHTjXY@74*o-T#!-STAvM
z`txDWAI6pMjySzv_pvx>uli>H$()ggx;}cYb?`HqIO$|c-ZZgnh0Raz+*Z5yLnrc_
zr=H5i9Wh-zT{k%Fvw}Q7PEK9G@wDZa?`9FzXDeA&J^cE$blQ#bpr*L)GpiV9t@Dfu
zSlV&o`;@4H1DlyMwsY10`WQ9ie!kv>umn~a6{)i^9j{Xl2IU_+^-WUsgZE-tSH4cU
zzjA_3I?)xDVL?ZDW-@!#{5n$iS7YJbR}0<CbdTiNsXS|2lGURe6+A2Ji{h6niXZeP
zF3Vl0_TJUY_ISt4<rfU@xTu%s{nLKY_l0rS;*F8pk32eBB-GkBVYc+4*Y%4eet&i2
zTfZ-&zgt3Xew<jj|9Adi{r%E6=i6!Dcf3AHdsAdGSJTO)Wm0k+c9&K;T_}lknEj+G
zdg~d^=+NbY+YDCu{&eEJ!{T3{w6`)`JnGtoDJ<N)5-JC59OR#AUtJ<KZBMHd+qK-=
zs~7Y?e)b`zt@ohHj@o~mK}pdZMoF6WE{tq@KmGg=dV+OT@4UU@-^wN^-*Z3HXTZz0
z>4<gejkiyo;{6ZH{(3a~X<=yKm5z!W!#lI%gnA!~zF_B9m3rTN+x-32r&|K@a_wz>
z%LApCZB&0{dX**g;HhaF#io5KmtOVjx$lXvJKd}npG|Gc<#zW!IaYlt(O5%<cfy_1
zg5~u;eKOPhy+m#HbSyG+71`>axJ)MF?TfOUt-JSJ%CLFcQl7qeXK>fr9V_2xRM_zc
zZhybtFm=M^T^GJ{tUY=4^M)O^?;qaSYn*ti^U>~>_xT}7l|N+mI^>0gT$*IDHgWrr
zTN@Z|`CTb#D7aSJ^X3WLHMJ(y1rOI)-mGlc`|l|u>(qLo^h35Kdyl@)mO3oBDL1n<
zE>Lbuefg1{ziOim{#~<HDh)MmF1okxtWeGE*tv$6YF5cg=cbhitH%7lHRG_*ap!qS
ztbS8Ok8fVNR^Ifh*34rE+m?OWWl;D<=?d4(ohfZHeQM91-Dz9+Y04}==Z~K2_nN6B
z?p}DiIBnid>42MR2UGrC+?4vNWwW2XA)oa*2QP_TZ0-l|v)g2Nn?1Sv`~QM^kuQC#
zKOeTca7|yhqIn-@OX7n~A9u6#FQ2@{Jl{?s!+lc9gZ?8g!0o>`0j@s|F*7h6;YZHt
zpj!33LX}y4@a-@G+i<h69Btl(yz+{QDvj671WY+IHOm%GIdCNSamq2RxzBuOaC5XA
zJyB%+HvYx`7tZSZCUZU0e_ePPo%XB$*M%+a@+Z_b8k~8tuI&3f+v>3IzuueI|KUs!
zoUJ9&C_Q&t>6L4?>nrO$-&agqE4}aLk9(hHv1?so+AdojKfT`fwpFHgtlayHWigV^
z+A^7LZQQK=Ha+e0i96Gou4nIE!I&VT&7GnZcKTBoOHk{hZ4Om)ql-Nh*E=3vs>7m}
zE#airt-WJaQbd9cr|)47Bc{m6wdOrrfBkAZFm=||Nng)>>?`3dKCU)%;;hRiZ*wni
z{qz0A%x`>awjBt0yXc!|S^bwk&*c5iF}#c0u{lZNsc7E*J0DJzoVMvKd%Cu4#)g+W
zj%Zx@mA$)gS=h&&2UI0rTiI&Nzq$L|%>Xg(t4sbYw{G9`a%%Th=g-!`+s|IxC%1D&
z+TmOIGvkh@9=v%_;7!QU*v9O=RXHXyvu9bXl{s#?`k`};i{Y%a=wpJ7JDt|PpI2YE
zrDo2eHlb%4kJjBWw%)eg&!VxtQ%TKyWs+mUo0yMV%Vy`wpPu%7`X$qvp5K3FF`c?Q
z<G`WlCA&BN%gXY-opNfP>fKk#jDeyjD%p*c)C;m1s{g-!=Vdl+frS55?b}z5{J-;i
z!->=P<kW<sA1vf~cJi|2A2Xi!T}K)Vg*7b#@6}&nm13P~%$zQ^<f)Y3@!V6sr|qo{
z+a7;C@4Roq(j=Yzx8Hg(m7Q-DmGi&zY)SAQZcEkwhZas<c-Fh)yw3f;9bD_ez4t4B
z7rK?568~uL{RMx$(xu*iwmc-N@yW7XM$CXmR{p}`R_Q|C#WBavRUX^v*D~+_4#yRa
zD!s2~^l;g?*B`1^us^=aK3U_h(pM$DnVgrj9cNxN(A9bzZC)_>W8T3U|AQhf(-eYt
z9L>F4qA{i6>k*x`iu<G|?`JWH=J@Y&<nO^h@jHU`b@v=PQ&gq&S8C^_KiVQSzo#tx
zsZjEMZa~7^V@JG0I95zLC+2z0uz9&n>iG`>Y|}oNhHdO!|AAMz{yy7T+lLw_H1p0K
zV1CwhAnJ&6(Y})>)PGFrJ^SH!66gGlmxO9hYh2zg_4|+9vgSbPi86_GtsAf2_@p}P
z$b}#KC4vjxk3RqJ!1?Cqg|y6j$s0>nA6zl-!t3)6g3B8Z-Q|@1=Ht;hJKzH==XXDk
zP7Tigr#dfQXIt=pMn{~V!}Gh6hKuVh8U8MJ`Ql!CQFIOa`Qw8Bj{OH!(3ee4-<iP7
zz>vm)oNYlBw5V#8N&W3SB};+Y=h|6Y`5QGFzU7(<Owl;KZbI3~jD)3oX1#0rcHzd}
zZPt+{r}q2*yma@SgPw4z9{=U81shL?J`G;pH}~PoOm@HaxlO9k+Z;7m@4sp^Jej|r
z-|O(_z~zU_TSM5E+~P4fS-G&VVYlgC@7Cs*UtcM!rG4qSTK)c?Wxm;?`h>#czLQLs
z6?!c<u_@6!{9}5ZeAteMi{i6F{)VVsc<=w_ijlL#dbN8OD|XB}5T#{cvTL&DGj*vQ
zCjtr&yEIKG4DnIDS(kAA9M6kQ8ydGpPuyVB?k{dB9{s~~>b-RHoZakSJH9Y~zt%oc
z<Uv^8#Yzcvk&;OUz2@fTj~D)CwKl1r=@T1wViM1!IhnjgcT+0UY%>o}d6>j3qEcL}
zW2k!i_BXq2Tho<VoldeCZe4xq&{_GrYfbf88ToixL}~*sxrx3qGCyFtcV-Z$PpnkA
z<Z_vv?kYE0ZrsYP4+v**tqSPp?#)fpeVhKE#rVd81zUKQ&Fgup_1yEu;?2BEWBeHY
z*PDwtIon?Pd4-X|ovW(mqi~Z*aKExhsEqkvjoeu`59{vOY2j&YuqB>lo8lWyiK(Xo
zE`7XK!^HbNx-w2vC4QEd+t-WxEcgxoYDrcXC`atJwSJedq<#HD>F2!9pC|0R$o+Y$
ztZnY*YuDH<X6sLz{(1FFjT`sN?;K|qF!I?p>xXOo+lFnfoylL0GqIH3&-<a<wQ5p6
zgU>;c+l*m5ZwpLiDq{RUbp`MAMO-BhXFr^pDYy2}(XYB%M}u=FXQ-z3O%uE|{h9yD
zT~jNrz1((6H0bb(sN8F^&T~zC<*zSQXVF~IDk9O8wO&R*^Ek(jM%&{yTcZy8NYpiV
zwbtIsxfYXIyr4dEYQn)R|4P}rbFO~69+G<VgpK$y=fl@kmTa~^ry#>>w)s^^$7^AU
zOTFT<nX0ohcQ-EUe!c&H?74N%-%G8|V6?s5ddB;7@PS`%Wp;fnSnrv6C2GeS1MBj_
z*Q|GM`LEx5Aj@g1$_mHFN=Ho>Z`b~GrPm>&n&T<APUf<A^IIMiZLFX1*Ytn7RlFVF
zA=QJs1g)1GO8Ao3m{GS+qAShQ{L?qv2OM?xLbsj&VXL)X-f8}}{@h0ftD5fI(snAY
zXDBO>nA=lmzVfA^+@<xCr+@u)$@9s&6Bi#HmoeAAx}l-BX|DX{PMLd7?=1EPud>!#
z;V*A3Ie%J3q`CTq(5&Y6?_w1i_4@g|Q+EF~2|up>{^G?}BeBWP&wXOgy~ELLBeG<}
z<y{={?Z&?E|D>GNUid3*Pp64~*yZ=fWcN49x0$DJ(DJQ)zWH&<6zTdH!;Slsf6Gse
zJl^m}DQxebbs>UUc1u^yzIeK$g#U2j7k|&^#-PH$FRMH5DKi7ZECFa?FnwvExajt2
znpOLsF}GH4-yR`Qtzg0j+KB`^Ui%@#^fs4jf95>i^6B$<%N3^oaH-Z}+RZopqDQsV
z^n|D?*6H11<y_N!U8^mbCJUhob5EB@uNIwt+_hSY$yN+ij(@sze6_%IMYn1xrWvvj
zxp22?Q>Mjo5Y8L9a<1ve%&P^a9|EcISA+<It;|<0=bp~tUailhsEjJiKmAN$HP7@1
zUezqq%iXJ`m`qh63hGqLxu$P-uhwE}R)dKAb+0yNd^+9GquQTQc6y^nwIAcu=@&ez
z0~p^-SM;p*XIwSC(6c(3Dam&FM(=9*=^JdzC8o!f!AzI+s+M9p;tH4Jn4aKOZO!EC
zjVi)3{eoAu9@A1kh_JkOwFT4fFgS;E`ct23k?B*ttECuIrf=}Bj$~3x1IcPaBs_eo
zrI-?OKqB(f*X5M+P5&KM%`;sgp_*m-LXcc@30w|rmLAi(N{9$wLpj%UJKt)3rUUg5
zkv`vQ3#RMM5brCrluJ&xDX12h&h1w%#njpX7Z#Zw>Q}ADB;E@VN$4$Cp1wA!T44Gm
zkix17aAE1`e9_fH(@p)W<(QnNAPIN*SL-vcno&Oe;H+{@P(%q%SBS1=nf}YaT8eq%
zEU>sPB&Gras^u8BPR|dhj$%q%G`%38T5I~(fNDMF@a5&x54M-dPInHhHek+Q0p(2&
ztk!2<xeCgA6j*J{9J2<>GYzUXVou%!=1ERpv#FeCdVf&07W2u?P@$_q)uv3Fwofkz
zuGXB+wWFMWdW>te!1R#dYAMFU)ANI?qnI`w0?BGk7mu$Nna&wfEyeumEL69BNVPGu
z_IW6;FQnRtQFQvjkm>-Yt5-k{mz{19T5ZVeaI<{+M~w=(>3uiLd8hY>R%<b{KS2m_
zKqB^AXtfmMyy=2r)e+3E-h-u;rhj-<&I*xU9#$>IeC9J)Ty45vcs0-T9It9<Fmi`i
zOECxiK}cFLi7-xgjHp(gzBattoXJ2C&Vkyd8c{99xM;dVM0GOLK@E_s@pRqfYLV%0
zBC4gB9vFi}<frSIRPck+m%wzl$Z9D@j_HY!)e%fC-VoVak=0gA)?siC_jHG-YCR^+
zSdfU+^aIh=ywjqq`KHHRso(&m7cHiX2`Ex_Oe<4R1o)?S`&Wxh?~1OLV$#ioOF1)H
z<iR=M#3(Y|J*HZU=~L14z}RZ>>HZ}Ztkdgbs`Z&TOW-1$(=WtSYcZWI1Bs|iSBS0F
zXY8IH5L+G0)KUc!6Q8~(w%U|wb2Ws+6<2M-G_4NAk(tgPU(G)KMO_6nK{UlxOEH~j
zgv)VEmq-T%J}B2+2gymc!sX1ElDa`0@#%5#)uv4Ad*B?l>BgbeBGZq>S4%NUOn(?(
z9m^Ck6(Sp-Sj{^9UwpOT^xTAMJ*Ji!NW$l5R6uk2gqUiU>DLpgrI@zNLsGz>SZ&Vq
zVi8=#j!ADNoWno;XkxV<lmA+{2<!A&Yb*GtD<oBGF_mpa73PAZwzi~dDaO^)7baE5
zGW8xtQnD|pS`d^_^q5jlPcKZVR-9g!Ty4g*{5+h)KK)*DwH_106_AKNJn{vmho)3Z
zF)B?jNU2U>yfXb_N_9M=@N~n}>R@K|2Nly9xhh4b&rYqjVZQmOV!9(=rS$ZK=M}8e
z=jK+kPd9j6!8V=Oy;@+pcv`g-^NlAMD)gULuue}%tJY!`eU6ZnhGgf<AWa!>5#l`4
z_rI-Rn=YGPt;M|M6SBBie6{HGw)AQ#MziS))2qXnH~fdXjW46xo=Kl&`oyei(dq9}
zt9hmuWK^3nm9wIXuuVUgQLV@1!T}NP;Hc!Ez8zGi7-d#VF<s<@2q$M&TQCXoK{)SH
ztJ$aXWmR)b-{e{?I{jK^wG^Y;^pBa<!A!nlASF`M6SAuH8Jnk1$g1{a`YjI<6P^Ac
ztJ;U@fG(UPJG~&gT91j_5+d?oP9@KD`J8H=>1VU6^_kSYQH8CTBEldd1v%AjOr0@s
zjyNO<{K%=6V%nGh5q>bIQV<js;6g`qdUS5J6jOZ$s+<)QQ!ZSDb-GVpHQ)61oNCeO
zVtLh4jPs`(=2eF?nb#pHX{f7|n!YcuT8l}y7gbnvx@3N}9#g_JxUlr}{nIL0r`P3I
zYcb840~eN`eh(y4wh$sBUr_DNv~(GqBQbqyLA4&!y47$I!RdQ8S0c(Jf$4&U)ly7F
z>roZ(Pv?)W7MxyOSS`ntz8O_cczVBoHIHIL^>!cRdl}Rjkb%gK%IOPtS4vKg-BAfH
zLm(QE53!d+R?i@~8>~Sdlqh)=K`pK?NCzg%qNugn2UaTus*?m1Kn{sph&b05)m+{q
z(+!HNrKkTdsuolL9rTNQbS$c|TaSX2YJ&|#J{1*J)r{lQtBb3(!T#?=I{Hxt#fdB@
zE2r-{RVk|z;LXS+!T`CC2jo)lp@`5k5v5VIq@S7op`==3`u-BAOOa2mlR{Ct{47YR
z2H2&@heM&pLDYrm4@;{hrU#T(%Ywa*e83K9H$B2k_p5NFJfIR75~|4i@==Wry#Z2h
zssM^7<jsVrrlvmtsZs%zmk<MySI?s=eeis`VR^O4^m%2~3Se&`uYy!XIFx~b!RjMi
zDL*KyLX1XUN}__I{?K=bdWVW?-s!)~p@EA$eXES3{?b3VdReejo+8bk>7Xdx$~;}a
zvRVyZ$n${JXP!gM0cfG9pTq`IuMW;!;21$3MASr4s?P;dY7RCKdCWoyMU@91NR`C&
zd6m@?U;~kRG>RxnHH08a-&IzdGR25ZSFNfxV_G9NJ+`Xagz2{U^vPA#&P>{}({EH&
zJ26=+PnW5#c4JOZt(rd9qDp#tLv^(llc(17HPzK_Ouuxde*w{7^`_g@RJ$>C8%=Kk
z(Y0pN&(u`gFfFj0&Q)7&%e=*|YWl~(Dv{}NwbfcIjE+?d(|c>Gm8Vr#^Gx4eTg}Jx
z#%22H+G=|yF8Aq$b=4-*9qOv}nFM`7oFt}H|LKnP)uz+A>Z?tex`IHQbmpD0RnrUB
zRf$aBUtev)99akD+1pgJPUml^)?;?*uA1IBuS#-yWJ9$UvuQ7wCo+8&NY0`UtXy(>
z-@+=f>Aye<iY9`Eq^2KAs1}_b)>tjYY&;t*BsYCxW3?93iuu#`HdcEx^(>tJuc=yW
zx<XU671Opoa1QHq-V0S6)9ah6wV2}WfrMqIA8)EQWr}+a;^^?DF{UxjEM#EN{9DDq
GzyJW8FK7Y)

delta 32683
zcmca{_bu~|ws*|D0p83kA`BcH91Qxc8yk6Bc^O-InOb?7TX|Vpd0AU|*;;woTX{KJ
zc{y8oxmtO-TX}g}d3jrT`C57TTX_Xqc?DZ}g<5%qTX{uVc|}`!#aemATX`i~c_mwU
zrCNEVTX|(#d1YI9<yv{=TX_{)c@<lEm0Ed~TX|Jlc~x6^)mnMgTX{8Fc{N*kwOV<#
zTX}U_d39TP^;&uLTX_vyc@0~6jaqq)TX{`dc}-h+&02ZQTX`*7c`aLcty+1lTX}6-
zd2L&H?OJ*5TX`K?c^zAMomzRFTX|htd0kt1-CB9wTX{WNc|BWsy;^y_TX}t2d3{@X
z{aShbTX_Roc>`N{gIalmTX{oTc|%)y!&-U6TX`c|c_UkSqgr{RTX|zzd1G67<63#+
zTX_>&c@tZClUjL`TX|Djc~e_?(^`4cTX{2Dc{5vivs!txTX}O@d2?HN^ICcHTX_pw
zc?(;4i&}Y$TX{=bc}rV)%eL~C@8n_r)3R~;NuF}0`nl%}`3@QIv_9Nv=jzvR<XD%0
zvW~1^v#5`#X`#~_pV0Sy+5(>8ZqfVgY&|mEWlo5cEq)X7_8&unZP$!q`Px8nNwpVM
zXZzSEzYO*G($%=&^p_=jN|sApVhxUJx_$RX73UfIHyV%F_>SBv&{O%paUXvl|1akJ
zMQ-trd-tuo|4OuU>Orf5I_3axc8&`g_JwT>3=HCo?K!;V?K!*^+jDp;H?3l3Xx%tn
zaYv<9y?3#YqrgA6WTAvlA<iA^T^6fJHTVDM(LZ9kXoG@xQcXx8ci$DY4G-QWMb5LS
z{_^7DW^s9O-P6raPs*oS+Ule&oD^{MoB8GV`pdR=P3!;F{pU<z^#8q~IdN5H^y|Dk
zpHHRh9p(OVcIMO4%}UEIPg9rK{Oa4n_QZ;_HJQg&FN>}3O!v-S^v1BoM0s|c-jYpL
zhYyzAU3tWHXO?M<p!nA3Lf2&luTKiSTq-WP=>N&1NpaO1)=0K4ns*|Dr+qt@Z^gXi
zsk7!yc=)*SLyFmC?KGjCF<$XT+d9v8KR+Z`HuI5k)FFc)?<%*;+&syRp&MtMdUB~w
zZ!Vv0b@XRhVcEWQJoRi_9<ZrO$Nc^>&2M}6x<lnhcf}lR`Mv(sr<~Kf&uu79D{Eb-
z9$ByE)S+~(y-;&^sIaBl2LEkdOG*|`xG*`yt4jM*k_(sI1B(u4o;^x7XIF&Jo)@}Z
zQY}4gdwwBD(KL&)h0{a&3Va@~@X=Wjbf#O}_hHqpNMWAK(b{<>^FsRTi@z+KAChkA
z_h8AMReV=d_Fg+Nqqi+J{7!DFIa^bTe_@M&+D(h&nOc<-QiRuKhrXG$!B%PR(~d1#
zQ4cKqMP02ukA|!bT-wx8JF$7Y(cUwKsm9y%ZeL4_e=3o&aeeWf1-rhLZfu?!=+czD
zVQSH&$7V}yTm%`VHohz1*;=&k^u+pK_gfjfIk#Wlao+Hbm-69-`CiNSZGCCkH&M*?
zd}6>g;k#eXX~#U1aE(|tYg^7j^K8|JB4>g^{SIX8iZffSy)60St@}LEUzY`omFq<H
zupBR*H&4NGhURUtJ}E23-*@lVEvuSole4_$rc%d62``bw2Lr>(qHcEVKmYeH<9)tg
z|LPU*+rN3=|D!DA=hMs^y|$O$O<f&->C*eJ={>cF>)P~ZgnTeKn9OxfU`}wsya$r3
z=LPpHc%a(U%@wCy5qvP3#guhA$Gu<!UxU>Tn44PtKYfvnn0UW3QZj;B@Ece18{TC%
zqR(tB-*Mue_eTB`8~P(s;{(&|6E@$kSfTWC|Ehicnja!=8NA?ITyaVI7dt4&^gq7T
z#lg(LpvK0)fG9{AS~pIY+g)i;KeamevV*{Z?@unW=Zj>Vb`A&;So%nq^<qR&&$i6m
zsAK<)7Rt?am~};^^jQDXAN`Nz>lpSo+&@;RZ~LIgCs%#v?Z0o|y?vWI>3)6vKc<G`
zAM6;zIZ}45tCf0kc*D-EbJuUKzM3^JN_SR+BhzH{YvS7PBl5K4Ev*)wHDEl<GR>xb
z|J3Ea$KSD-_}@Nm@x5kN_)hgk#Z}s=QxBB9JanI<_IB=D0SWDjJb|dZiVVxxSuKKF
z`lqQ+Sg<S6EGtUr7-x^m%-o_WX)B_FyKlKOX|8(d7JHF<hugX<`RqHwyiB#0y2Y-3
z!O~&Y@SBaP__^2RH7n(%Rt1_@|4d^ES}|pHT7BfoFw?&W66UEqiwv1swRqX0Nayv&
zJzLMjJ@5)$t9en!=)m0-U5Od&RgtNe)+o$e7Pf9$1zX{Q@Nc1fMTP?2eY!dayl3(X
z%n;|*duq0<>tlqZ%gps<VGAvizCPB_RxI5Axlqh|;(??&ai{cmcJF<5>!Dm@<JPav
zOwFwCg?$g#+urawP|Kv9#D3##pKvxaujt|l?d&g(FA|7|h<<<HMDxvr_QeLA!7OTC
z+q}Q#{qFcx`ufDeHH-HydnyyP?`+CCncRy3rZ&r^Z_V>gkUado(uu22l;y^B$%}{A
zTs$8u)w1jAv4qus_f8d<zi@Hh2`g*q?tl-s=5D(B@`13}A9I)bUb*1;yL`ox=ClSh
z9mw06`zk5+*(0vWq3fnk@hMqT-+#tiW!_1a#Z6uBV=lPx?G2bNu-cpdX^P6Svtpfn
z8!}9t&;P&myutEl?{ePtugx<rrnQ@^&ikiU9sjT~Yn}Js7aKArF!*K}UQFJa(tc&T
z%$=N1IbG{L-h}LFOJLhHp`l*oT<{xN#>^@1td%@ZIXjbIKeXY#T<|rfp7*Jw=RDCT
zmQ#$I<{Yi}+cbar8*!C=8Xr|P@0B{nxmCJ;+OK%?{*)i9ME*}psgLfeSAS;T78=!D
zdgYGmS+>46(|<5Z-%orUo$`g_eWna!S%SpB2j+d5H_P8}+Vmbv-yqw2{-LXh%e#WV
zde`?qc`WyQy+!@muUzu?3*s97X7HNs5`U<0s^LKNo_oB@|1pAc(!U$+`;?d&7;@Or
zbCUbMO8xq%==?_(B6ZKhD|Yjr3E_TO5+7zQB3gQhYh{4giY@sXEY6#GIi;mb-4_4*
zzSUQ6+hdFAY#r0u%~bko_r0I<`R5@+J^knhmonb!{Jwh2VZ--1;a85{`1k4f^{~@7
z-~C}=w!cxb@U4|K%kF~RYS-%+c0Xfyd?50j;h$NTKb+etaH>Ar#4=*S^&GD21`YFk
zrMB^;*}V9B>1BiJ9gDd1{)7vWKh0j0{Q7e74{OuCP4eIF8c(a;@Qu0Q<lD9ToARcc
zNhKxxmfI%7&v<&9qElVNq%wi%1M&Zub9)%RIWm+px?DJ%^J4GmV~h))Th(UV)IYE+
zq5iexligoZcy;&iD}1=FP``ZX{^rJ3+56fT#HxO;{d3?`So`%bF+;ikHxBM_JkQ~q
zw#G4k>Z3Pej*5J{ihq5-w`rsNp9Efs(g#;RhM9{eK8TTFOP4?Wx#rB7{W~iTR(xNc
zxM%O)qvurmOgo%=U$0)B{g|;z`P%JEP6j2HeP{RHORK$?x4`{m!)oU_@20Oyu4g`e
z*dQX>jOEOZ53UURlbbjiHD*NFM<0<BQ+ra((XMgHHk*6*!@p-Zyyh*NnRLG5^9$bQ
zf3qj<`C!J-$F3}Vr-9q;F)L@pTEh(Yk2e18$G2r|Q)mv@ZJ{o{<(<fqvtpB1R@(oG
zJ};xx8{6U8HDSw9F+rAD+7=ssd8BoHG?S@6|E&3=>{p}thAxNh=-n^!$hVl+Y+oDJ
z_|SySVs%8-E&Ke~<JG?9x#w!i{e^qJaaR@G?tlNqBk$||+w2EdG%`o>TzZ@xeM;re
zu11Tx-<Q*6FRL7Hw5+bGna4l>Sjz)#(c+2AKCKC~>v-Y+aDR1&fyCq)OHZAjk;$w*
zYwIh1f%<~i?Ak`wsf!|XmOYC<|14)8$I^v5%dG2nGb?9rSH9S95#VT|&2-)Iht7$2
z^V}vM%`lkBbDZCp>1{Wc)Xde>3>M7nD%h}{)8};WheaBVw_i4_)1T+fyxW}p^YfLS
zA8h-dvs~XQ7j9E(E^_YjkvV)fLRmZ{o0p1aHcZ(3aa&4k{gjNLqW31NRBi>tO`r6g
zTjO$qnY3MxyV~Ob$v3lX(qv2>W(Wy%A1yGcT(inMc~e`q)Vz<E&5aKQU$gJM94R+r
z%@)h9DXX^x&6*cC$D&}<t$%U8xwBbbMs#^6oA6w8Df)T9w)cfs+LZ9vb<IqhPP5mC
zy?L%$#@y1?E|^y0`m%oM={wI97rnl->d|TS{HV(FY@Rbd*st2T(#CeL3+IchOLvzY
z49Z^Lk;Bzl&mr(~Lw~EPaooy-ADiNK{$0nIf8fle$fY;JT^=ucVxG5L_{L#JU4iW{
ziWFYFSoA&V?ZwM(OYQG04E~s;(`EflSU~gU>MaWymJ3Zw5nG%;#p0uf-<5h+d7YMh
zr++!eY<gzhI=fHsbJrFzyNS^$o3Bn2DdFp1xvTuqd^wl*9doA__PfPSvNTB6uC;2N
zc>U7NDeAi1t9bT5To;)>Y2C{1mr2IcB=bJk%JmBJYPe|dI|&|i_19Br^^A*FnJa%)
z@XG>)GM4hJ0y*~%Hjy$HmPZ<W9#;1CZI`+o{^>`}?|r4LC-ik*@x?%q`L9iiwd<`e
z`s+X0eDk@E{)*p+rtMGL`|wv^lcJbR-uHUBgMz#o$29w$1kbhh`>ULMcrRMzuKab$
z5=HGb-_Gy5vi?yI$I*#%CYHq4GHE>G$?U9rB)TkR{h_8ue1V!(tkXNH&hK9G!m6}Z
zV^Y21buqRwhLara?18;bH8Db=@>fq396h*swalSO@~7DT+xj-%`<Gwvwj!nA`oR<#
z^VOTWqRw6oleJ3Q>h;EG^&zji6}p=yNk6|5dGhSfAnkXNX<M%{HcxEOh|QgJ#nQIz
z&BfhoR&{=6=-_+tLxub0y4^EWu0OPNxGFg}FmzF7O#PA#E=RL{bUVUTY9@NdT)Z4Q
zw`uCLJqem#B3ny?)-=vNV|#O|W|mTjdtj)i<~Qlrohv<`G5BVBvzf2Tb*zny+I8U3
zjG3!eY|)s#dZp*?jBQ-|4|lBdIDa{`IXHSj;l7fytFE6|q*%Hpcq)Hxqr35s2d{07
zeopWYU-ju?$;V4q>$_7X6~{2H4q6|;pL&#A+~h6yHN7WRnjwZO`y9V?KB{@*+<0rx
zk+bXSPoyZ7dIe4u%0225tnrXrW0U5@^IWTf7U}P_nBSABWw6Q9b3N0&=(Xhu5;a`g
z|AG5GOS6~Q`LQuD{4znSdwdw6V7mJ5O3CRqM=JU1gKm2rb`Y>#eeFin+oRd9|9aLM
za@cWn1$c2gt##^tf4h|Tw%Tq*UsikX8bSF#4EA1gcpbBsHqN~{(>Ptt*m{2adwGU)
z8{Q|hB^EEan(*S-Mhn~W-C<@sJAA*qN$6X6<GKHxuRFipxg8hZb>pDT;dPxh;au^p
z&M!|rnD|a@QeM4ss!__*(%qNWZhg($mX#gV%H7uLeQHr?%~6BulA7}d;pY5C?W!U&
zI>s_R#i0Vf>V;w^EB7mT9oZZyv8}&v`SjCGiK_hU+&rz*E^V^qsxo@@X`a61DP83q
z_2-pS-(HCnnD}I4PDzh_*VKzVQ#-lr1xkax7H1z`_^Cv}^zX&`Ybk&9J$i~xt(dK_
z=V9WCE#LQd7EZBX^*`nrUmnA=Lw$M4+(j-YO3!ErZCaV*zVze7IX9j!WncR8^2rM;
zZ+yH^mEw^$QTe=5Wc!l0&-W<)@A||Yo4&!T$d1u$!?cPw$JR_v{i?Qf)2^<yF8Rsr
zNg3snPVCJGH4rKbPtGZ3WDsI#V?vIlMQt0VyYH)10!0qT^fyN<IqDx92poT3*>zLc
zd#TE!HkWNtEnQcbMVt0DJoX84PICX2Qm%buw{cm}ET`fdToavz&i}DB-v80vYPPF^
z_u{Y<>4AzRQMS8VJmO;FTqkBlC3E(y6`Ha&OIGd1lt1}8YTeO_CvWJ!z9hi9NxqQB
zGR*7vTxV%<Hz%3%d$adCp7>P%(?Hexv*nayOdEF^vR>;H*X4}L{<nfjmSch#>qhC!
z<gNv7islP?`&{3hDAJg)wSdp(r(%ExOX<gzJ@@(eB_?mJzyJM%W57bU)0N%(bYtVR
zIlY8$1$neAkk?@NFQ{I);kC;bAx4J`HhbGG!Mj#X?0Kfp*YZrld1tD<rsR>y^=EHa
z+Y7Va-;tK@@%Q<L3r}Aa*6!UEd0;(rRos0mN$u(P7HnBG|M{LZ><0WEbFbDVn*3v(
zY_Irze&8=vi_;rs>dX1wooHm`U0L#tHN{NDR`L18d3&<k_kOjr>-~1iGV~>zX|4ME
zkZX^RRDbQO%(v|Qb<9NfPUp6#y?^K4xm?*FFuD4#!u^H)K9}G8%XpXPe0}RbrXx(B
zbgifSKICkz@IQRl%gJ^zi2;he#~DA1UMi_MvDh3G!P(0FJGU@0Fnnc2j$cq;%6(s@
z>~y`8l|0kW9j|1opWy4wY$(vCes$Nj(A{+pPcFU?$J5mA<f^f$X~VU{P2VMwJ<cAV
zl=8Pw?hoTXjlylwFII{3D;l3Pet%{UIQtcFwsV$n%n1qG%O<6~f5wFzv8GAaIHZMd
zs7%niA-#B3q^JBmv8Knb#TtX3tBS^~Hsa7a!+q==_bgM6#zv9)kLRXTo$FC3Fp+wm
zJyWSF^{L3h3vGSw^)o*vE1Q;|U$pSmtWvWh`=!%QRfkPG!OoO^<JI?^JCcue)-Jka
zayqo*#_sS3lXSx5Leu`Q+<B^g$CX!Bd)@ZdJ=8jXbnPXL8QXkp)=zgj&XM!r<)XK-
zC8mwJEAGB^tgqw``*}|5eygqKl6H@Bg`*kulCm}6;w!Z_;3zjE1H(>6<bVTZ48fC?
zdi7za^KKgm?0K!d?WAI7VDO8z8KH+AA38Uf>CU>t9TlayMst$t$|a5u>h(P%xpa@8
z+niCe;m4fVcjqR|?sMbpx#V)O#!<V)Z9}W#wP)||)%ysAX|L4vh!s3z8O+9cP4#4I
zthb}oX^WY)iO2HdyLMjjNW1@Rzrpv@mlF6lnLjqHKeI6@>5jye$4<`-<oy3!G0X^&
z;^p$zoy?TN`HgAeG}fXCj2wJMYt(Pn7+IUOg)S=V-dtjLGRVBfp^96hOR;W7@WD$v
zopn{8f9mSw@>;U3u&gnQ<+4V-jE-H)*Ua6D*%d#SQs(&PEt}KnDq|?Lb94Mc+m)jB
zOHG@;Un@WGy}oJkX`NDmen#uk=kE{JJhx1kpSpHm(9$~xeHp$mU+Cp=*u2Gdd%i#K
zx`{1we*b^3TWwR6^5TQW8;(xywOp)OuNK`3S~s(J8nduisb_IZhV}#b*OSr{j?Q_a
zR+!HHq;S9BABXAMiA;uin)w@&J>7dWZprF4M6JHLXQM}$Ms#HTjdQEkm2OH>2zoeE
zXm-^3tQ6)Mg6v{NeIff}AMS|li<Z)Semy}i<uG^pJ;P}B|C%BhMQ1}6?2Y&Kc%OBv
zdUNZ|#Jp9`3EPgOuHHO%>V&(s#i#EaHs0<O;{Ndu^XC7XkH0A2E>!lr-uy@A`XzTB
z#F>j19_C;2@3K_8hiAL{JHGnJ<U^9Tc4vIBDYToXy}M}9ie+C<*}tE2VD)nKbX|$v
zP34-AjI&qf=;pV4jB|7~KW8s`<=5G7r&zaMy~*oXy8U}G%hlvP4GZ!%#`y&7mRs>(
zaRs|tx~>Gj;1z|b{-ReN9DVD$bYqE&=sVjd>o&cr`MS01y|dokYR#PJWfdo~Tm1^c
zix#QZ{cQSmM@OVhZ@=5Zd+$vvyObUqWi2=r>%(PQES8?Z)VxUNMG<GFRJiNOcu--$
zZE<wnS|$dDb==5l8dMm_?XHxqcXiIsE$~e&D9Fr9*GtYxEG{mc;O)(9DAMY`s%%T?
zmVFKZ-!Jz%zHllC^@{z;!2RxV0q;uVnT3-+9^d(a{m0@Xv;7jIj=0KA|9!W3(&xXQ
zf3haDEas4HynJhxx%yuJ_3NIN1U-4WSIaxOw8gjaU`(yXOwH9#AD^BRB)?F*Ah13p
zDrnZsOB0v;nfl(<wdj@tQ?0L^hV6<uEPaz7#%ddX7VW-o@FZ;E<R|*ZHF-<sz1W+#
z!r*e4;rC<bBy)>5<y0SY%if<k`;GYS(qA?|#rclyjSLLeygRFBE?-#lP9FZJA}nSV
zxrNhW{j?65IVD-Y&^`BW)4kYhhTp`V+p*akRGze_yx<2nD4>#N$!dIJU|{G&$^4*z
z0+pJm0hN_lmUuSIw|KUJz~0ZG;$YkIwwG%!2lX4v%2&NOuClW{C88rsQP5N6ZOW(n
z+MLXX`ef@%rQ{txdF9LRe$Tn+qDDiY$P|^x2{H>Gl`M2xJGuP5JsYF0m!c`h%=Q@u
zQCd73Pn?PH;7Py#e80iPw8$s*4hnU~a))J#PaU7?Wa;P1^!VeEHa*8A%|ONLF2M&K
zQx@b4a!piXe%SCp=~$A`dG*cb7im1y*7QF0*<zOeqZ2H8hs@YNm6$enPu08Ld+;nv
z@}q+}?L3|9e9{zz97C7ZD)`v%_!_uZaovpF%tw0s<d*k*YK`x>AQ<(@@_gX!m-XgB
z3K56;*37k>=3kg%@XcxWq1~%oH&0%CL2v3JOMRb(vT^3Ij6I8gt$bUtYQy!PACAS<
zUzxOFLEWT-7jg^d7B7~u^h)ZA;$At+coxG`sZ=*1mU{gM`MI-}C#;<Nz|g?|*^}ft
z<sD9!wb#utdB?eW!$nVJ-t{+nbs92sU+%diQLh(h_G&}lw6iZx2Q_=_c=~MlEAy+T
z8ACpD^Kv>X-PbETqqkVMvt^_Gf;`uwL6h%gL|gr12@2_4vQ&6qtaO|1)fK6m9dGKH
zO<iXo{c6+1oXJPOevc_VBpWkZ)JFc-$JpQhH?wALzpiJ-P%c_$b($l%;@T0L(i`?l
z)vGr*KVNdN{(_9Mt!B*PIzM*zUB&fVb6$ISs%TDQ(Y5a5Z{NN=yf^piZgG>=uW8q2
zUVrst(b7G_&*w+2s^7G?$U9eMciPHlU+hi=>7L-!xtcilT+r>f!2gGXthX%>?~T>j
zdg+X_?$iAx(f*!idi*Mjy!_Yhxw}_o{l$>kH`nc46>T-6^zmV@Gfxx0zTN687#H@U
zHgxW#F#Vd<Z`aR!Ja=n$e^}P0?w#}AXFlJk-m&Q3^`sBtp!EFi6xYk?ObiTjdC)U{
z$(c&M`m<i3Or9TAnsYUiyX<99hB@28)&N15V^>!^X!tF$PSMmpxvs`S+^&IN^<LP8
zD04k0zMbmN<@SB=zi!T8(HO`m%l7!qm*6LwCm#pLncjP{WUqEY^T7hWI2Q9mnsvVo
z+-Gv#NGf>H{79oWPq}DI|B_mVxY|gGDO{Ij?b3VdU%Ex4Y_Oks&EC_O>()xipO0qc
z+x*O)ea~1T;K9=EZ?|SdS9SC7X%_Bn{c^49_{zNxL)RuR65Z>jtscZTrS9W=`}D8+
zQrgk!&!=3^ui+C~zh&WpPtw;eE;5^#cwy;g&w|}9>l<<-0^T^*SH3@>=leb5R^y~A
z2`k&?gTltPUfkF77Xt%BKT2i?)%07=R$A0=3=Dj+)+6+w>qF<peFD$pE?n|T^qr{V
zsmjarzuNOuQ0mW#EH4+@MF{PjBm4Hux=A;6nj(cXXRXg{y}+@}?8vP@XK$AW9?4SO
z%DPg!$uj+v!ogiCJJ)1udL&D#cb`9V<MF~7-n}UwbH54~%TH^mnXs=bIU@0>%N>a;
zg^I-;kL%Cm*D~~aEp|*?nHtofbMT(Rl}!$OMhpj4j#_z#-%Qf1e7yKl%G9Nu(Q_uq
z$-5f5@mFg-*;zJY>64gyhJlWqSIqRZ19}srp2o9vpB9+Eh5b@nySBrr$ZrPEeb%&p
zRkEG=nd`0SzpM*4)^Bn9kh1;!197H{zOyW5EN8Bpvh|l!{nVlyUxzQ;7uNPDTwbF3
z`u%gZ@)FhS|Nd8N?{I&2ImXAiW<|-4)d35ZtrJ-5K1(#+(jYN#x{3P>ex`rh*4<*;
z=H$*lv3m7_t-sGc;EFA5<+QpNbT2_YYx(26QY+2IsMR-DZS>gY;9h(A-Kux*E?+bD
zXbmr)k?Y^#D3##mqw}O*W@X*p)*|+~swP3_-XFYkqD{Q7ar0une8+_jle3pO$=2v7
z+TLEGUUFnYV*Wbk%D#~2BKP$IC;YhcX2-jvmrX9FvTZgeS?${t{(ju{SEk{1b$wV+
z-iI}}rEeV3SNV4-t^Kawjv2cIH$3i9z2&^EqO#ofzRhxxppeT|r!NYNRMdZ0T6rwh
zGW2BhNiK^Ox!#HEm-Uz3&M5lwcG<>~f1>L)@05Nen{2P~*Z9e$(tR7=_I#P}o$KL*
zpyt4>KilW-w*PQ!%Kzj4YUh|%)^+pQvn`ghO<nq7qhI^46oX$|TEy-;O!_nT-9>p&
zN@UY{Ju#n&fkBl6DVMS^fT|tE9hI`v>u*$YP4Bx<DO4X8T`n9d^3RWRri$zek*IY}
z8b_C{71+s<5ul@*pdgZwwUz6IiLEcYnsK6$;|I1sBJs7WY%a9MdRKlrDF5`6wfbe1
zvrA`eO?wve?cX=M>iX*We?GsLuV=F87H9j#(swQ9ccQ5*%h6!*OJzGBEqQ+B!>Ujo
zoBx@8+-yor$@Ajty-qJm4qs)Yd-}9Y^}aRQDdwE+tlzdKZ9By2l5?Gpg>UJx&wE>p
zrp)>_Ek)+<jl=_QGHt4FYuRn_Dk=$^_9p9rz3E0_W~PmId=m4r(yX)%=KY_)YNkXP
z=a=mHep&N>W!7!)w3T>N<;iyQnB=)-pZM1t54*MTPS7raAKRi&eKD!uQn<q6Thji<
zTBeonCW$T&+jO@i%s21#Myqp-jh%8A=5ozs>6J11sK>{hQ@m%=fq>QPw~NW2NSYuy
z-`_zY^O1%d%OdemFT15qSvB_#tT^y)ncFwdz%ZuU#jI?fwrQtlJ#~F~KC-({MB+@f
z>*<->YogB{KH8Yzn&<bkajlW;^m<=z=bw6Qnwu937(|<|?J}Eqz)Zz+V#3jNTr#Kk
zPu=g*Ay%8o`sH2Fs_=QsWLHPMoqNon<gZ2VX0~$^4n{wm@k8Lb1otJk^KVn5f9=$^
zI%X;Qhg;3=(D5lNtf%Q#_^p*|`I|fS;*C=pd%M-_7>l=RUzx2`c2d`Sx@qZ#*v&gv
z)|c8F8@8VIiC$s-cB(c{R_m9yIw!8(?P1(ycge@^Tw%(|qGf-Ad>5J*r9N17;NG`e
zJ7PA^RegE<gC%!no~v57mdeSEESq+$^Qc(dyG&Zubp4{*%SU+fI3;?X_JpSKeZO#(
zFOjwE_z@khGiG<Ey_<BPb6xAL!}etj`VvPrE{XN6-xW7u%cOqY<8iC1R|~JmsmXk#
z{nStA!>e1IK98+(z2;^#9*!11bHMggNx`;>sjfFz-f6WRPn|4!(r;FNkm5U~rB<!8
zWL79gbM1`Z_9<-%_qR0DMbmfP6<MpY^02;kMR4Atu<1g%;b*R7yN2i8m|1;C@ZmZ&
z6X_-GUN`1SXDQdO+-_Pccl>>sr>TMvOOD^V6J7e<Yb1=a{^y+KeY0uK_SI(97pHhH
zi_qdc^QVA&^DL{JKm8w$90~rjAn4YfS-Z9z<^7+r<-yfIi}qx#o@RCB-bFtx=bqwo
zrAyaWs;*|6H!&hwe$JM=JKjf>y>YAA_IbYpPoYH3Wyf=I3;LB4zNpp<HNW3;EJ6NW
z!tdVB{Tq{$z8>@D@!xakU};CIsZ8Y6NxLh(<&<v~_VFv6`W_e;t1NLuqx_gbOQFmm
zm3xoR8C)z6O5@Qy*OpN(BP`?l>7o22OXlM|O`o#3?phvRZ?vg4iTC~gbB^=3O@1J5
z(av!$J7%+9i?GGX^$t?<Ee!jM>O)W7n_1Hv%(TDIWA@kh`QIcg7M(j?JU9NS_Tsqd
zVb=}!Zs>b+=)qRgCo5))SG3-4F0R>o=#P}xzePcRFC4b&3HI0|DRW#@PQ#mhohhHs
z<AuptUrhHc%zkws&}Gs@j~3&5Yzuc!*IaKR^m@l>f&1tE*KL!nnzmAFOM<%78;SJ$
z^^dG&_3sJItq}XzHMipXipu@$_k@-ldwlj{=XRexQ~macX5F&=kYjV9g8yMl#qz^{
zj!As^ByE$m$n|U0R@J>51vJlvwr}JwamilzCVB5+m#j#IPeS*%FSfm$QTyv>;QsnU
z=Wn@x6a3Tk{Nj&#P|4`rWRv@Zg@Hj4(sAK}uB`#p(QltuDouZxSS?z=H|(_EV*`=9
z&$adLPAIt&vROLNAw;!V$@g;CG*hp+w;w2$DjjEZQ~oDw-G9vQREd~_S>2uX^E>Uf
z8O!nMO7yMOQRz?Y2{8CIW4F_U_x3TnPEYDgJ*oDTDM)U&htRC2FCOJ-|JHQBK3g?$
zo`0W(uG#*H9m#R0xejks71g=^yIxXg;wSrm^$BMtDJ?tm^-4nIx7!?Z-v{{hpRPLa
z^JE5#^ptgrmE7&Rf|wRxTx#Sisll?tS<T5YnC+$55#~dBy#|e+&!+Oet=Y4)<on49
zu6skm4UL{GJh0+cbJFAhCYMl=Yh07ugg&^Qkg<GmCR!z};p=s#hDqIj+6*3RgrD@T
zpCOocSV?fh+8FDUJ64bGGHtnLxA@Ys$w9)&SFc<t+R9<LfGIWPMqiPZ<7s~nrqJ~>
zC(ajCu9SGpz2WP|%N{59PUR_@dH!qj)hekoHs)>@LpF3}#u!H2y?^)Dxh1ia^A5h#
zD=lJN;~}*C>m`R%{fjj$UMpRhv@a^n+sRSxz_+-1j<lt7HoUa_tCb;@r>UBmv)ysB
z-#;mV!_Vg}dvogNRjW1A0<`9y)J<lQ?!CU~XUx<uiLYLr=;rxpeZpSi{MARCmdgdR
z9=zJk;}NN{d)I%4)5nhd^f}$T*2k+nwLMR>=>M%UzBhWD#VpQK?qz*^o%dG1X>*$V
z>e9WTvqZ9X=f>8rXMePO_0)RdGkX*6o;8>nk+h8O-$t3uM{6qW=j%<cE4X~t$h-We
z%^9OpNy@&pr{_qfJKKEtvNL4Sd=-iIlT(hjI&Bc&ZyVt~HPrmUONM=p(R&r{EPQ)n
z<w4C0G7(w|Ez1oS20o1!D@!=_fAZIh9*b`F{CoDI>4ty!^`CYx7Oko8NX+$)46lCw
zS9DW;##S!NC6dii*(*+DE;O~hyx4!k)_PS}-+k<&xf8DFh<e-ZT6Xi}%g<M2_Dxt(
zx4=<Otu|-VnnJ1k#f#<6?)~n5xX<9RN7SA7caC0fyWJ?y)q8LMjG6s)pF7N!#3kCi
z+h>1G8k8@}t8JQIfm#gQ3=BwX&X8LSa`hF`;e!AARih`>PP$Q4oIB~*bd613Yb<=d
zveYwU)zy@`q;rm|<#|MCXQvBCP6}VWjI*3em-W=%DFyo5MNX*}O0k<?P;+S9cIWig
zfVheW6WQ-Q_|0YPuAQm7{>g{L`rXxK&*s#p{hMiQ_509je|zQx>3^@BdmX&>Qs<m<
z)77rOxK%mJCw0=rL^-)DLd&;!+PX2x?_rvK=~+sMze=x9SpTbFVH3aERdomNRZf1*
z5@u;Qw}9#NmxU!p>5?z6+}pQg+F7nO{kxr?f3;=ut;#pc_F1;<%aqUvkt@G11<z!T
zQcGT<#_hC!V((HOZ+kt3V=PQ=+s<Dx{kl(Oz0sB>h4s_!|Fu3T$63Z*aY$B~>E6CC
zg|-ZhX`O5yMJ9PmzBJysvLlZ#`>|({t%Se&mM0x)Qh)NeUzce~*oSeNtk_^3dV_Jz
z!6^B>GUdhb-VvFfdyZJGQ8)j3<G_W2_YU{t8cjcXO|E|R@E}{KXolboxxV>V-d$eg
zscR}JyUFL#g5^T>-K}3`m1SaQxA51=<xb&v;yzpD)#t^0ovIUTc7-NsZho-UPvS^U
zbj?Mrg)Wsdxf-`V>}yTDVO-7h;!v(#&f18;)}$=?E9$*#j+*2iE;|*`xwOw~<23!Z
znF`tKr`~9^*07$uYwPxi_S-QUF+AZ1zk0kmqNgR@B+Ox%_)gM(WxcviQ>4Nwb+7kN
zo|v*-=(dx8Czi1`q38WJ$8{5InchzQQ{<z1zv`m?N2@oB7hQQPyHPR5aM_=CNyp>#
zH_G=iofgj8exsrG<rG(Gz0<~g9y}j<uDTWS?>u9r@sVv_sCnY6Uy*Z9N==eDrl_Pn
zS$R|0jtQmCUoPft@q6)E`s5_V`tG(Xj91*gJlx=r{L_i?q^Ev~%&qQo*OQxnmH3^H
zV!kEvaBKLoRo55&k~kmf^C@u8&GzJwCs#A3UNF$x;1s#}Ow6HEGov=mzj1b^)zZ|(
z-D_Q{vb5%QO-jEK@Hk{&${P!{8io5&Vsp>9T6${o9FKYN`QU<}2ptQr_cmoRyk^n$
zQ|CF>I+=eBaZ+~<p2{n_oKq*&dFe8}4MqDNNSIHli8^J<d}Z0^S+h@@eEu7IEUNv)
zxxLPd#GWh^Td~9F(<;-aTFY<e9J#qf`^&x{Zt(?WWn%dY=Sv>jD!MV`+9eUgwNoR@
zn)diUdRxIBT3&ZttnPo5#qaLC@8zC*r1>x8Z4|G!=2~DHQ(L(vxkd1v_QwUn3ui>y
z-%}4*t@OO|{q!FUb{Y>(zxt*Y{q9<+=(BbeyEDbo6?xwltn`=ozWL8$A^GH;@hACt
zkNx?<lDj~7+SHeQZvOM_?q*isUTLG=zdi5fCe!;;wLes5mMmKwaks9ftFE$pea_3v
zLh}!%v%cDSQnX&fb{~gwUx66Mn;*xH9m`YDo<DtuxciRI`oKqpHJyJp>~7b(x9wEx
zM)%EI9vVyTJ>I`wpgwKoO2c>8Rn9%;yj7&7<-TtI3W>;-cSB2W&oC&tta`6?QbZ1;
zZ}PYMykBDa9!U$S7k0VdpJK4_e1CrNSL-sH*Lof?M|>2+-1k>*tWR3A^j@j*Mm@ey
z|2GEC<V)|b?b`Kd&mz68D)wnBS!9@&J>4yoDf97hrk&#L-l<RTPd>5XkL0A~Z?>KK
zlr41G;^|@jQ|H#5GkbBoUxU$)bN!!<F4F|-y*fB|@80x>m9zV)z4Fe??P1gYJ1I@~
zf4yEMXwJ3!0e7=M@A<#>$omh~UiDe~Zt}dkS#s{ll6Sx4{R)=t)ryM9lh>T1uCd8x
zNy%R}`8U(2%NJPRlwy_jURo0T)c5?a58}TXR@P-LnZf-$a7%!L+^(#^b}75g%k2@o
z^ABI$9B2Fb=Wpk|`WxqaU)|if<@5!Q)w5sZD%<{Cf32AFV0YFn-;(vgk0hpPbH;0T
z)q9tuN@aAjgr7_JDtbpqaQekl+spQ~D$P61@mV*BDaJppX;%<~^of4o3^(<#hw>5X
zO&Le;o|<sx@FUY3KIa+EcHB~1e@ji+m}8#vWu9#;;pZNHlZtVE%ldomZno=+=N4}K
zQYZH{T#+yS;Ja*r-+M(K^1PeHEc@48d2`1_(dDn}<+dsqwL9{k)Sn>PUu5Z`$IzZx
z)8gmqUMN2ISW?L}s|HW21@n$5YMJ(Kb2<2RuE@2HqS`5X_BQ5g-+q7CyF~J^owWd8
z2lL8ao7QXGsU`CZHw0vFR@gE3c6a&3oNK0^A6f3{%u3+nRD0-Rd4-v8#WN+5ulu?J
z;-s}A`M!2&*N2=kUGnYI(f*xnQ_6T(?yd6Z-~DUiN~Wi4S-vjOzOqHzx^l%WuQxGe
ztwymoIj8E^U7I?0O}59vS8r_IziJO<U8Q8Lztiby%uUYF^yi}CD}EQ;YP*%S`SJ4H
zivOl-G~@r5AFrw}{QECS``6;T;>%7>{a{(4@3!YomD0S(JyWBF>ch=@@2_OL7r94W
z=%ZGswf8OVRb}~!0jr-~S!Jm>t%a-Dsnt?(Uh&2os=HRsW&E%7{hx2|x6oIU{~y$S
z5*%@5fp^6P-90aaw{~#L*B<;;7{c;`d$pY8#RnXDxA^ix9$qpz7=P-g#?jLpMZ#k3
zC#seRq^bzjWQg&v{;hnaGyP+|;Jak`?YEQiV~)zynEaS=+<D!6>0W{3^LLl>#S3uM
zMON%N=<fOOqsH6tso!3g*lIT27n(O~Ptf1<kE|DW&3>@-K`Q$-QR(cyje1j)W4CU-
zUw+l@^@ftn#-#xtsy?*yd7r--VV}6>_0x#+w{MBZZna<jdb-k&*NZl#bXrztZkbYl
zl2I$Lqx3`f*9fJk3p!C7qqYQ^Ip5G(bVGI9gSd;W#*fTwbhbU*bEEJ1k+(l)-)OAw
zvUZvLLM-s2GGE8tq=-8!H|<uMZ(+TAwyQ+_0XeU1!}F#ghhsk1A3FWueomv_AIbGs
zSpR{C&AC@r)kktLFvN>u3}Aqp>9$GLg7x6>^2qzaw=D$fp0B^Km4AAP(B*rVeKlh)
zCs>?sIDB;B<?TI5+MWE#&vhhcmHoJ%pL%lIA8Q}Q1I`^!uV$5ht<`?}?8DvN%wOJp
zNNBz*y+=ud^RIN4!Lzy_mp|m2AG~;w@lSVB+oFn80rL;$QzV|0ao%4%L*iM-#vAb}
zJu>yB9DU3_nbR*!HCXJO<26l1ZQ*Ur6ZXY(-)_2d`wqkE2fO4%id|Oj=gRjy(U*0<
zfAQ_Js`qmK6ol$OaB)2JM`KN`_2c>JH&O%l<cbC8$u9fdZui$rW)W-T&xZyJRphEB
zcDEfC{+A`9^iJxbSn@u-u4x@>Id}Ei2rcmM7GC-Ga{a?cM@~$gcwzO5Uwf1kI}MfR
z9q`%2Q6s*yCV66>c)y&|eaROKJor~`T4M3=!E;6@jjyc#qV5Fdul~05eTneT1B(B*
zcmB1OaAIoiNU>I!-yb-GrDpf{%;u(x-cbu1w_fcj^huC%l{g?0)Ye#)Yaq2i!e<$e
z$E$_a^Vcq&HGe*Hz5Sk-3i}OxpC5}3k*sv+&fT@bCp;*3+MadG#daNbbn4Nun=Nde
z^d#AeU97Y7^aWcsS;3;<=_R=*mcKZ6{H4Itn8KyAmOfD4rJ5sKIa56U?}hY^`Y*ru
znM?M6yK8!gvG+pTk<%LcmKIrwe=L0PU*m$mo>fDJ!<Go4b`#m_O4I8*Q>vzEaB=D|
zPOFYqkT?<e_<Exg=gm^@FPgrQFLgK0wajVN`yJMjDV{M+xO2u-HI5&PIa#)=hf65f
z#!4O8H23BSx!He}_5N;<*Wz5Vz*U5`<#Kb>1Ff8Uh6mIZENS%YQv4v=K97l0&_F|o
zi*a6p1jDRLzCI6=E$%Ghc#_;zKZ&=&dx1c~%Za@H`z38e6w_9UHKzPvdsj7wFY7PQ
z{iC*LlYTRJPY}pC$fH{;w8U$}Yay<#O;?XK&VN?1t50YGhw{0}yI-^|nf7x|+reuN
zVoQV?J~deHIoqOXue>d2={`OQNnMF=&U5YjS^h_z>EcmTHt2IYRvV;nu2A>THI4dk
zZn?q|uQx9yx^-zvK5P8GmnW=trgnh;{447PuAcaIIzn*TUfnZ>OHS7|2Jl^SHW6fG
zOE~%EMBy~WtrJQEzaDAN)vPFrF`0DwOZD4nX=mO&KhBeK`jk_BsDB%qu6&@!yX>H@
zqNvB(-NK954+l;0aP(AJ`QXt@VXdcMw3nT7sAu!^zZ|Eyqv_YrOlFxQ&iuwa8~%w)
zOw812y_nIE*u2!~R`4z9E!!Bvuh(=wmOgvQB(P%N>AwtGyDk3AWqdnf_pygwN_%!)
zGg5oPKCx@+yVt$b=N>35d&0eEDTn_2&nt4Tn{%#q{k|Zl$3psn|JtBELGK?v5qL6P
zT<_fZH%?Jc>i2HhP!fB0d23~1_=X}o)&Ht3M$-2uMRiwaCGAhCoz*9kFpGPVg$45l
zHABV=OZU|7pFcUeYI^uY*Y{hj4RZ_h=l`_$ZujP@EvtTL_7&zeG2MG)j!aQ4p0}dh
zIpXG@>n$7IzUS;XZrfh{`)I^Or&-ng$`>EU{CV7(vE*mS`NdxKrhkh(F8g?XPcmN-
zDpRpH<dW=@=NC6y{Fsz-N%oD$16DoTOGo!k^3=b+bMmj^z3IDL=36W6kKSbS;_cRJ
z;jaH8;x^x2U2{?4@%HqKs*}ZQBhRi@66;#&6sos%jgU<BBAfWf)=Z@)hfb@$Pjp;*
zUb{XnWcQ-gEI-<$EmwR?J~gj?fmYtlqq|Rh5AZIGSreVQWYZzj-F2@Ob;RQ~1$arH
z&b)l_@x@QcTc+HYy6CFgx(!}7-+a=G3T-#5mDN3;zW#H|1?^0U1vTet>`edfG@E<#
zj$G`lR9?&bQKmiW)5AZXzIb(N>U`@}YgWDfE5<8t*;kquKkM6?qhB_OMMRyQeSU5I
z>DAp)x68v5{r%4BeYXxVX<e}HV@yw@-R7gMT}lQH^R;|maJXz2>uXyVQIf5h|K{H3
zX|F^~p0DfpZk3XF@78XyUT?RpBI?02Lzdp^S#LSD^vj1;xfYTKvb?n2wlAF@@+Lb#
zDJwJRfVlk9aKp%7_b<0yyL!cD^FGn|c>lF=(e?8E<!ztWiJqRe_I2#XT3s9Y!&{xI
z?`=IA@uvOi47JJDxAQ6_l0M8fKWNI>ZorUpsNUM={7JWi6Q6h9XWqf#TYp(l-OV}O
zXOGO2<sB~;xl8l$9gwwky7BqT(kI)RxMohtnzUEOAja^6ntY|P!~V!~HD8X-^mTtc
zvtrYmnU=QF^}S~qo0b<}He0@UW~J46CrkNwhprRfEn=gVu6(9;X2G7?n@jcAh8|cG
z;n|${M|~e-mA!*}R?LI4rjy%}9cKyk$E%Ako>{86M()4urt@bnivK$iA9uUYa`wvf
z*Cx{2A25jC_dmPx>s1@y=l;t+q|6hW8xpx?skpI6J(Ho<)`(~I7o@|5uiuriYn^X1
z*<U7G?VjIH%l}td!u<9{E(_*8>L<9OG2(9HEPl-yD>tSyMdfNQ6HebJqT9UY)uHYK
zYc9H8?R!~bIAziLD@T<kOGO*)Kejafd#QiUs=bp|8Xi^8{V<aw^!}umEwi;<PZzBI
z_((Kh)jr+Lmp^`)HCJcSs+Fdmiwjp-=xDZno%8ofot^T+D{Fc4d;^7c-#i*R#Ua>o
z#a$QI%+CzQr}yub`@;_!W3YDS?wHBWz)+-tRH=g}CEh--w5Siy4v@Ys`cF^D<G?Mp
z90R?U1nJ#Q4O3fG%9skBTHdUhYG5jH{ma8ON1d*DXh-r}zti4$**#<O7uj~R+GVom
zOa3tLHtl&m)309D_~n+%Ww-9neVKhLv%Y-U<>%#P;u|><msf15{{F`HdCmRGyI-UK
z|Ge1GXw&hYEnxA5*iC1C);leU@VQ&Bk(5^S(j#X{fWh-MJ&B@^YxoYVFEE%rzguGE
zmYLcTg389HOU?2veotPOn)apS&5fCx-A;wQ>`Ys`C@;#*uEDBxZk)K>YcAc7PbwaL
zx#3|{W@RR2ZB(RW=$ZIvO<i37lG1EFqrfw>uics86cE$<QnLB|@xI<;T2t$r!pe>n
z+{<2>qc;6Yv1OK+$Tu~ujh}1PvR%DgC#MLfE%f;PRhVU|xOb&g#h-UlhdWE>EXtN^
z=i|PWs1=>|aYK{-73-xB`i0_bManWb6f{<w@$zzL<#-zeBriQ9scgS;z9;uV7qg|y
zmw(x#d4Ao7yc=dW804)?-Z*W(vBTZDesA*IINsi*v+*^zR9@P4?p``o!!&u(3h}cc
zCTqo4T$X)x*Wr$5@tJ#uA^o)#=?uR`%c|G<pDK;<Kl{4a&Hs>&RHbd~1p%k^PRThb
zNlJAkI+D`KlXkt!nSc8^kMx|$CuCVdmWoJm-}7C&u(!Huxs=4Dj<(+g_T>`EHy2rE
zFRMRcnk{R7Zt9smhRNw^Rt=7=|ExvI&#cytlm5UUH;Kh&je*>)mVi4+B5R8Ld5%7o
zo3Jit@sY+_kHg9pA&L(U?DJ5PzPp1p^QN^@T#s{5UhlNRL|vEOn_te{x-6z<YkEFw
zE4OyTanV^?$}duq*4zmaDmpK`wt8Mh?b}T0uZv#S|H_Y_x@pz5M&<nU`?A0Nem#hl
zGRfh5aF^?Q==t8{Gn_vQ7f<k=zkFM+O+$;*?=(Isf#Wk&{>?bFVf%|Yk7{>MP4H)a
zyyD=??ZzVW=e@fd!5+jaEOqF`<g1*#{uZkzOSuV7<}C0!Y;o`OO4IBc#@cqP7Cc%r
zbB}LFWx(Y*PE85*pOVfA^b0@Qs2j3WVD2XC#S7(`H_f_e(A4O5=Fv-r2(I1lXNmHv
z%@WND&UAi$Vt)GTTXAn>FXmYJn(O!)&b*kQc)D=e`7=FBE_3a^6A<=B_SIamMbAy<
z91AwO*UKGTwJT+fy<7~NN&1`(T!${mcX7+h>t$#xQptbR+IiJ{OJ%);{KXG}H9q&|
zXcq>B_Ds0Cz=!)*x~Yx2vPyzj(#)8TizN1~c__I-yZPvv%Q`}v{j+{d$>F(lyTa~w
z&)(0hyyq9|H=H;4Fje+jN@m%$6Xpqw`d+@gEFX>7i^?;;&ZyoJeXlm|u=oep&M>|7
zh&hpeuP(dGHZi$IqeK64TK)G|^%q~<sBz7S3w*)hYJPP}t^Nhw(<`T>y}4z6d&LEV
ziMmgNj|m3zt&|mQKf@TP+_vLrKI3lx9w&zTAre3K?^BO>F;BnieTd1*?|%~6!u%E9
zq{Y?zx%w%7`J7#UUVS`Wd9r%>oW0+Q7gs;O^5EXunCl7B*Bwn3&YUFX#a1zWf7Ms!
z`kd$MzwX+btG=Fh53`_D$D+H_x;Dn9UbRqNw8wT&Q+Z2%!f)S_PuHr1W3%0&RxsHd
zeXV?C@{`SZ(wAjIOD1>ExZAvU-A(2_r>+0<e$kow_R7somHq4PUkx?#jk(*gI$HXl
zqLubkZ@H(pHWlrcWeVJP<iL-L`|77o7R<j8d92a3eoJfq<Hq2`{p;iJt$A=TRYs)E
z?skQAFXQ=7zhs=tIv?)rkt=JrcwNS`>s*Sdi~6ZD`!k`ua*L--s$Zyn;9sZ_|LTI5
ztDbyH3e{5%-C1%oX4kdikKEJOy^4u@_?2tt9xuJ_C!enR?y!k`CbafctMJ^Q<?s4#
zY*-faL$;*ui|>|t0iQo1r>hTb)%Lh|ByghM)Pp%&W%r%?^iQra_N&3W0!N#)_o2BW
zpUxDlj89DUILljBbN`rR+vo6PZ7zP!(?)&zAB{ApuUuN-{@hl(;{L3Bbpi7mKISho
zS$`LHckawh=CFQtx>4eY$-Vr?Qb*W7INrXfV0UEddAA7m`sMfEKd<LIS1tY|cb{;X
zr+CU5rj-6IX*>R_TkPTayKA>ctoVlQ2Lctixz68n+Qp{6zTNs)_=M=w$un*;-&6Us
zJ>%8#Ggr??NZF_7|7BwT=)LQ=sPU(4l@HSXd6QGUP8uy$`J}O9r>N4w2Y#n2|Lkyy
zdu+{U`$nj8MbnA6f4@>JZrE7J)?d4*@IiD={NcUxjd_0P7XI&>wO{?4z0sTcq{;tg
zPW#`~{xQ7l!u^~xxqbJIo+XNZ*1F{2U^lB`-cFDI50qjHCdRFEkb0Uw&ta*~&1d-v
z5B7J(?pvL)G(hF_j}J;rB0v6K_c(I%`qsSo)gF6(FIjZoVe_55hmX6~hP>YYY`5AL
z{rcF|E4J;Q{LTJ`$$uBA|IZkHu5W+lH1k<gdz$gK60@JP<~>MXS9@1c`0>wAEI+Nz
zc7M`%{I}DU#d5j*-V$l<<tZDR&a3^3ii<k--0z#^n;jWHFTE<BzBl7l?6GjaZ@Q1K
zZoPIxd3je>!!naCt95sT=em02I=h%YoRIa*y}X<Khtmq~J##H%RBE^0+9DNSf0plm
zHj5U!EAP?!2evEx7yoS*w|@11@alr)kB;_FXJ=qI&yQS>gQn2jKUSL8N5uL+wh*a(
zzkbJtOD3+lt7@ekUtDO_S>@tw`u2_8B9ooEazWP8>Zt;c_OE|jbJNpGVcC{jZ<!VU
z?Xa`^{^Q>3FaCZ}1()(!`+h%IBaq}Jw?oqP-TV2zoA~~04)eB&kT_VL{&+^AOU>s=
zKkar2CT@9?`tX#?b#+E};p^U)Q(xDcE>=qwjI^6M`H5r9bKl}8Qr~zVUi`N3#U=sY
z-<QfQ>T^Rj@m>y7?0Ir5ZoY}ylr^&V_r=zT|CY@xG4c1_xcu>crSyMo7eZ6@wT^z9
zP`qhT_L7T{$^TWO*^|{dT4o+&{QTs-N$I?ZMf!I+uLZ7W=Z+D))os~k+rRU|Yu-ug
z6zf}4@@MF1o@Ch8@<J~0tj(83&leZA71(YNV`iOyHJ)e9zKp!tM}<80-eL+<kS|Uw
z(rh^-$66AxNcgB?QGt`rb@%rn=UyxiUUOr*Kf`JD=I7k=FSO562t6g#|7V-i&p8&^
zEi9#<m`=`S`JME&b!~a%Tn;C$)hAE;t<mCpda3AAJwv7U(Op;lH9i0Bk5D{%L2$`Z
zcC)x2M_A1*83Q8OKe(&J9A2oGP*~A=zjH&#F2~vTtMWR1J!L!NU%B&7_j}{Mq41AH
z@!l<)eOL1tSo!K@Gz+^bMjjEIHS_9PCf(}Sw<gt!%WT|~c5ku36tfK%4ja_JRqt0w
znV7(2`=IkzY(%}#s~-l!A6mTJAHO_%H^pMx`#0LZ&p+Hg+j0(b@82gku6q>9eviBH
z)4p)hMTbw1OYR-;5EfnkO4;5^Qhe&+FNQHwvfug0Prj{Po&M_wf6=6i4xbNH+&gfh
zdPP8TlAF78NRD%dcVq7^j(sOqSU+)P|DczbGHLsj8e4{N!|10^#p?sY3ql)T>{Phh
z$MfpZ@y86#i;Ji2*;k{psQWf=o8rd}O#at$8jLIVJ?Z8%bP3c92;i3f+~#s<-+5Q3
zxo6$3Pu^%d^L;XZ<fOAD@!T6kPgLHyqr8b%St&$w$0y~k{>sU1Ca=@>nQJxgX^Z|d
z<;VIPnpM*i7DV~hAFWSP>TA7N|1!n-h`#K{6b|Nq)q8ti%=@6X;_S0C^U6z?Ywz2)
zTU#hFob|r$hO%#qUe1#H(hzmgSx%jQK|53U%Jw~(-EwNF0oMz<=L@|TwQj%aJh5Vz
z){nf#()CptU4MHcpGH3P@#QO+cTLbT@w{r`FM|nxOz-M{eaidw?3C#(dP{WjpMR<U
zRA#eRnt%D_i%+Vqo&5WIQFqk&OnLu}^W1{=UH;1)mz*LX^>q8`i=pCTJwIOrG@2>0
zpKg0nWmnHt^7FI1(9Z7(B5bo{9u(AgCs^q&pOTZQ`S{IQH}2AW<EUeEw@Y8Wv-|9Z
zbvJdTCWN+Vz6@WXuc5!<UbkIZp+LvdpZEPdRO??op3zlwxz^$Rj?KP~Mt+ahtefu>
z^=QW5sUfSYgSuxO+&tl~rotT49j~S@UGl6$cKr|GxmQ`#oP@0w21ahQJM(eR!uQf{
zKVM$_6;$)|g3|rlWfQrrf<O6$Z_0bbz^FI%x%sKpOtuYjujez^#ZCO0{q&&e&)~mH
z=4t&c(75~LBwxMz9<kfsX8)LFw{)o~UyY`|gnQ&=O_{6eGZyuUl-n)V_*g#Gezx6X
zksDn};RnO!Pe|52bvAZc;@T&t6Kj64xM#I{?%2z>X!-R?C97HvdmHc0bkX^{JdU4x
z$>j-u1*BiSh}KxX<bHs{{%wB*^`}dymAZfWXt=ibs@!6${R_0_Ci!q_9o^QGtYK2d
zbv&BwYDmP!z&P7&w^yumeV<o;%d0;{L3%;ZgkA4hfBii*ecrYGpq|mri)sJVSQ!}3
zNF$f1$dj+EC`*Msa|?1H>#C=QX9vWjOV-(aJD^u!(4x}PlItZkNr(HaS+0*kKoFPo
zrd<L|EfP_^?PnY3ZJ484?Kx}Pm!#ES*X^xv%-!3wQC8jF!^9wJ?a$D3tH%~r|31t&
zwz9JNbz5?4+`R8|4i`mClS=$H=lkwG_3yv$IsZMb?Eb&+{r6Z3IPP;Sa!M>exGk+{
zV~t(u2II7|=awda+;`^9odt&G={GNP`mrq3lsTEQJULA(_w3U%Gc2uLEhn4CwmP2P
zmeyPH=gAXR<Ei3PukGuZYp!$q3|rvR3s3A1=f^Ev`2NX*4?7p$JNRQ~Mg5<O_b;DF
zs81H}srPo%$-QxT<Hee3(z`{RG+*&bZdSYQ{%E=1bgkA+&yF_jj!S-0bZv`m_N~fR
z*^{Qrzl%*jl4fqZX>Covlfoslbql_xo|}F3fuL0rN9UGMcU~v1*^|DcuQ0IAOgr9l
za?1gav>>;tJ13%yzNxL=CEIMuk<i}v_J)ettkRI(*WO*I57fT4<&SchU!wn~`b+*Z
zc3I9c{}i@L-}ksklv3`=PuB&@%Su9%`M<GUj4Ill{7J?v$oSZno3pljO1tLqyyVT{
zy4GDgiUphZ9zNW;kg+xPeO;5&+buKSYu`H&=A>1ezSZ*ovfPPZt8X34K5^=<6`#T}
z*=GT2`M!~wRkJs`S1ha#yJqt~=A4TFyQtMYRi4Lnv5D*0zCW<r+3d`9cp|Ti*NrC!
z_1yBql^!y`JiB&&VWRxCLYBE)j^f`$TW|bIme{sg(mKuBI;pNFR;Y06w#v$>i*EV+
z`txc<-}QO35_K##iXQpP^>r!FE_1`6p4x?X%omm3@3<E3UV7#AS5+_L_w@yfLndD6
zeSIM?yqi&_$ztJ#+UB!X_w>spjf8hT%z1WE+fhaI+dZ-0POm2PO_orzDL!&0_0n{o
z;~j@OZ|^<GJNa<*^2|>UzSsQEjY>P^FJ-B1x?$RmU3YF3T5MA6FM3?MNBDo)*(J7@
zBt3n6wyfnheVF3p&XTKSyJqq6sdj4~*E@dc{30m3Sc%nO<zpVZ6#=%XQa_!p`Fzn{
z!NP3vI_TuZmSE4#&u&b$3_d3}b+fc`>Y{tSA0=f2w{)AVemp}vwWR0a7MY5`<H{Q{
zCfW5$ziisMtwOwVwUPgAOH0pgl_Pl!(@UQOPMGSFSCX2#i0y7g%yHov)2DW`imjNm
zYa>&Ao>Py_(#L@YW==nQX7e`bDQcg8RUwt@SkrTE>asJ<tt&N+qnn?9*b~zJO~CG?
z)NP^2Oau4ml((0y?3&LDv3YOI+{{rrMLYiWvY5xQiZ%1htfRtaP0Ievy7A|tB~ka=
zW^H;ODR)|1d&x=f%Wl#)pSu~i=A5$0^L%_W?3M*zN4=b*O3t^$<vFu=D(pLz^}GIS
zk=x|;v-byGI{VkQ_4|fPp&Mq43qDvr>3?G8(m$sbdI~?W*5SP>dA%zCn&>|B!Y^`m
zkxwml&CdV1I_&=Ow7P9E&lfP={;}qvG>>=h&I>QjbWMEgdX**JrP8}Z()XhDjT&L=
zpSOyHABHOPhA_%Ks{brdIOoBS#N#vGtx6JqS8`^X#lDW4%r&QHl`)s=ioFf7EDpAd
zJ$pHH(w2F7XD+Yp`Nv@GJ@t9bsj051%jPcs!_&$6VQ=^p_Qh`>ofEPWyC6}^{C!Su
zRwG|z<gvZp73(V`3VO^hNqmr)-#>Yi`Uc6*8Am6dOVnNG_}*aRz2nYL>i0zzObKG$
zWpR3D`30$zAT3Sn)Eds|zdqGO#`jJAs`}=KP~7WowS6t8e}7_{uYYO!^cSa3e|g$1
z{o|9v#p(Ap?b}dLRj}{%8fNv%jQ`OVdh6vM?Ks5L*HyzU@8P!it+&LU*2dW{rtkc=
z`o`0wd+(CgtzVZjomG5`N4M*P-4cHe)UW1Qk-tdt{-L^>*(`PJ?S)foKb0PDbQ5oS
z?qGb~Ke2^jw+!D^`<;QFo%)CC>oxzIpZavZD7Ni?UHkukTmOWYt=ScH>VN;wKb$}7
zC;$0B<<I?F4gU+DZ9e^9(<}R@`~$ApQ`nztZFc>%VfWAKzIU|+|FvY4j%;&?J#^F6
zPA-b4USGlGp|g?Ic8OfR`x|+Zr@oo1!dNj|^x5+>x8gsneye}-+WHv}_m@p@ySur|
zWB0^EmF=tYW}JD*<vwefNPz)+pyahJ6OQTT6w5uizEgwmd&LC)=?-~QABn!*(fUp`
zX2(0uOm~Thrdr!ucQ*Fy49)t!QHN>2>Wlk<-@h+;&#zNgU!St`r*Q87nem4In|^-`
zm%nQ3%3jsQ_eG(5j(e%-mI4hG%>!bu7yjeA&XTyi{Z|6#E89O?yw{dEY>u#+F_pVQ
za=O>Yf4vp|{npkCe6~LGu6`l&|B35g><ABi(82XXY4_%i?UxVlZZeWcsqyCj9`Ns&
zv*r7RdqSEv_0N}V`XgB{wdB#>)&<|B%2?tKoB5qOBP18?FhO`$S+C!Y--oil<xZ6R
zZ)g5hduw)M_M=ymuU~W9yUID@>f(4)g|*urZOZzx(=5Iu_ulhcX;)fbGk@j3p!r;K
zQcLZw2#5HEm4VaFRJ$ovNy^98FrS|*nkXsnzs<ZRiF3Zy<#$ys3m+D1Kd#@Pd}X`t
zL+<p5X>n1!|8_5#x$5qPt8ykQ!|ts7rnKnW$K5~b{&{phn346F@%{G(^N;u9(iBS@
zH>bXi`8Ub==X6PvOX}JddmGj})`iu{t`7_S58h8<TPo(emYspYSpco(hwp6$ZE;p(
zV3_{*d8KeY(!MHi8vrx~dN<;B-eWU?+VA0K@*1~_+z|S;tz)i9UKlUW5kD#G-%=+&
zok&#fUZr=E&GFw}6<5zCD$m2#_g>=<RGDPlp3ax<af_W@)?$P8#MgIsYPaa9ly^>D
zc5i*W?xwyb$K{9RO#B*;X>;#waN&&FQU6W1f8BMHEl#t9{$HH+iT&f9DHjSpOMJ=b
znN}>d!_%l@=Vc2YL%zEQc1HYZjr%prx9@6Eh)8ndzpswMLX%2grms00nR-}Kl{2z6
zo9D7)_HWHtcVY7`j~!WW4W8HQ7tfo?9c{pW*#EDcPJ!#8x@ie_;)D2q{Y}1S!quqk
z@-C>}hjRu0OWi}W^b8ra7@W&HUO#^LDB=e@XF`U4U%OfMi>Rf-Jkxo_4|~`=JF~*S
zxxsG3#s`aMrx~g}I2NIJ;ORn%#OKa!kqYw|4mZfy&t*~BlfA-Sxi$FrX|CXZnXlFf
zS`;wO+RwS=yz^|y-!pD%|FPCS`)T^y8EY5m@r188Jzei?t={s#e$yd=<mrLa*00SG
z6yUd6SGD3d!=H(pPN-bCvar-E@&TuDsH>y-h00eOG&xl_#>*X7{go%Sq~JZ9q*&L>
zQ<|&)NT)@!?0T>)(?=|_Yuc7wfr~=3gQFL{RdHPNQzuHK>l438TvE)QTYm(Pnxuw2
z5E5Ef&tG#$i0O<(z0I;qm%C3sJzHW@m^UZ?oc!X~pDkq^XRy}%H1qfv^M2aRpZ0}H
znIF2YmRvdHAuYQ8)#3<`N!_=Cep$wZ*ll0dul@Y|>$NW*+n?xMqNsQ2Q6RUn{K7@2
z8YcBrdA%{3Z`UkZbvwnm^tYnjlwZ8-f=-pP{bRi(HEY-JsC(zr6+fBR|5lA`*_g=p
z<MrqBttCZ;{e?c$B95z{5<Yh%NJ!u6h{Vlh3M{4K$#aFbc@{Ufg!;{^R$F}f^v5qb
z;+rR!hIZ|l=$pNuTV<zn%J(T7_AGfYDZsf#!!FY!)tGnM@=&+y1)JwjdLwG>s{Qex
zLn-$eV~)hv2Mv60w*LJj*Ux6m&|A;DdE&iEOW0qfXFoerU3Ft?#{D}}N|!G`^nPl_
z*|{%vE#$DRza|p6<fyI2q9dW2i+*fz6bujLyI#=!a*A))+*<8LYfNlK>(;yM4t8D9
zxqs;d8_k%|QbxO{vsr(9a$PAV);Ia|jDHntepIijSR)(x^NQ$o_k=4}GqNPL*6z3^
zz*@hjGknH{2Xe(Mvr2;vFU;w<xAoP^g!;`9b{aFa)5{9~-K~r?TYNL8#%!*|<x2nK
zcY-4fukN%f|FS&hu4z*F`pvDg1>WauzVWSd^9g4zGf^w<OkW+=jIH6Zw|zCUt*-UF
zv$o#ro@RZw=jq3ZH<@SF@Ep1^`MTlbeA|cssRgH3*H8CgxyoKQ*R;Op3)3W<30HQr
zE;hL^X|s*_!R?~oopsqg7_+6<AGAI*O*Cop%~e(VkLQR+-PM~uOXY0HoE4{wFR(4i
zl@*uGwsg;Vs4Hlynv}Za6vtcdu%w%h*Jx_3G~c#w-)H0d=Tw&D^*xO{q2sv4HJSTY
z(DwM~?>jwfs@7et_xd%vM%-yK*X);Emwn&(MqEz}ntm;A%9TAVw_B&p3fHa<6u!M-
zpSx$}nN=Ncyd7OdlXt&%tGiX|n!P)0ntS8@RiDcXtt?vn&oYVyw@RzHRsOphmzcBr
ziq6HU>5i<i#SV?@Y`Sxur}X~KX?*xJY3A|j|4dWd-%fe<--N&I)XrT0`A()P`#oD8
z-T7Dj?6<_{U+492ALWb4HhlH?w8ax=9rLamTYAn1ym}#Em;d5QK-5{c(ogqt7B6Jq
zyED6Ns#s;alGO^4Cl9OHZm+vvUiJ@sw9%u#9YIE{3=COvXhrb!^WQ5i>VqMZQgH{Q
zdsZG)xxwe>qr|dt&b76k2h3Pbuas((?RNKlZI!)og6Zn1I&0que4o0+bC&!4zene$
zP4bz2(&zZ(gLyoq#+P4~EIYZyzWmp(Xsfw(&)-GqFij3Iz7#jN`h5Am&wGAf|NrkF
zKLg+6=WJ3U-$HHEH%|KW_s`;H&HCj5MZqs)F0TFMck%Rx`HedcO-!m(Onn}^JY-{V
zS>n9cNjLfY`mN^$Z@BYiCAaw7J^EVg$GYa_Th5C$+u*xUIcq_i@6VZEE(gE7^W<me
z#gAWpe(C&j^5V)jOPs2|Eh@d~wR76`38#Lh9*>p?x)HZcKlE*veWGX%t8u)}lw)gy
zI_qbPwz6;j`e#SHMwMpNBJ0TIkAxRlKG&(37OyM(;K%Z8p7iS<<)SxRl=Niy9uD~?
z^M8hu&PDUJ0`l7DZk|=B7iOC!QkEjw)S30LDR$l#y&c;s!p=m$+Y(y#q+a8W*_y;C
zfx~&ivNseZzR$`K>)G*tjWc`orfBuf8XxQD(fcOX%NMWh%24@bwnIWicdb8<>EpUL
z<`))ku<x?f+`oM7pG8{}<WE@bi`{motCRhM0`rV>b5HsCruq49$lB%>o)Np@ukpn>
zZ<QAN3f+!cX?=a-jfyq-yILJz8c%ew_rD?RdVgm5r)fX*Px;-Pce!$g>4%O(2gIJv
z>U-t&Cd!~;3d_Ix35Q-DiM?~GqNgQ%^{0hCYEDK|a;LCtvCn_RZLubSWy^GtAnCI$
zPoKXOUa4_hQFC3``F)%8yw<vw=goZ}x6FS339hTDsSgZWxBar%q&9Qv#?rl)cY7|(
zxn{d~{?j|tY?VuE&$w`Jla>gy*iyNKd4obj`Wvr{dwp_w^B!=vuG?KNnQ^di&IFTX
zqHT*+MMR#YpI!Yf<+tbU@EdbaoH_R`_sps%CdrQ&s#3pB={#<za@RWVk;=T3*=KH7
zol5c3Si$o-?pmIKd)BmK=Qn<OQ*$;>7Pg+->D#5LF*j3~|KY>8KeQrlq~BaMe-@)~
z{9(S<V|%irW%fV6Q7#odUqXAA-og6F5T?p|M~pXEG_2XVGw}M;3!I0;%F9;dhut|n
z`$Xg8ot;Z9a(9MS|6RgYDSU3;C#^@}HWLN)lL~y!Bs-QFO}#T$Hi>Uh!Xf9tGQCjC
z^jEX~`)Q=LzEu@Y&8$1TatXI;y=TMAx2`&qCdKn`#Uzy-JyKk>q4S#G^zQR7C!e3a
zqJGi!1Ll(NeyyumWM!W}J-R^j{<L3}J2>yBF8-pTWPa|k?WVtrI;VfI<&0RFQY~Y_
zJiB)l?;?hJ4}mzrmT=Ks!pYI|s^_^yn1)V2_-fZ}$JS{v8>7zMR+p{axn{Q@UzbpR
zYtQlQi0uurh98t$-T$p$J?E;-&NKB<*Xu8yZerYDUmTlYe_7!1_KEwepBO!P?G~eF
z^7jeDgLx-QncqF!#kux|qo=g$-kMX(1OJLy=f6;%|M<O`u3blLl#+t1>D1&YC)Ul3
zaZUfER(8+n`m8i<O$PtK<O$0*Ngd=l_t>r^dyVZ4=_J`F!QUR4Z_M9$?pKM6x!fzQ
znM@1ww65g()OFOat9qKQbgI`h^;_ABKTL}iT&i6wZEpI@Ptx{?S?n&K_#nqfPI|)J
zP??y6iyy`MG?xqUylHgPF<PTnw#dP4p4l~FhPGoVUtOgpF8T7nJI3?@$I>Z(*x7m9
z+)v6ZHt{&KVVSAyrT5D|E}p+&Zc5+$TzTJP;f7`0?ykFHl!aS<)pLE`>yi|%ELYyH
z()VKXs>x1%r!IWGE^*dk{>gXuGv@sktZ^wc-(M}!p|Ah>x%TOk?`*5XC&n7zTxS~Z
zC?5Fj5%0cbe;j7}vUQl=pFHD$X77w6nKo;)H9C!Bj+$tSWrf?EW1dr>xc2)F)qg!L
zTi9M_d{trp*KttP=dM83cEiQ>3fx@#>!j~z95~aP^8J98-Wt`{jIsZ(dwiSjb1=H(
zOYWqK_7m?P8UE?|eto@ir}WB+@+&9GAC!4xQ0TNX)BLE+TE(Z~J5}e&a%q0Q8n`ch
zSF&t!QOwcJ*&^Q!D-W<Qsc2r`ZtnTidC?uEv!U0%zc<-??tokGy@eC*$p*FE`7Bd^
zT5%=6Q_yp#pv$F8`X)~f5nKH`S>ogO!u&V2B>@_fM0Z?I2oUIxpPuwPqPzc|o99FE
zjGp-ZSaE)>>#wyQ`G0wEp69yyjDzt?YtCPdnBTqO8ON)v?yVo^rcB>bu=Uy{ec_NR
ze8vgW*Dvf8PRsnM9Am599a^J(`~JVVqI(Q3%V!ikU9>izRsZ~#^$&h$yH?51=J+99
z{qX&gul#J^=6gJd=XtST`3hhAm0cEnafe?knwE8+d~06fzwhKLF@9-{e~NWHm976d
z>$a`^Sq~a&<dD8od612P;Sw)$Z3mjXx&N=ytUlNOv4z0Dd+~+^m&{yqSN$$)y3m?j
zyxMDzu5Pvb#MwUG;_ByA`E;EAd@p{pWaH#74l?0OPP1RS@%W?h`8^e9D)QH}S3iz(
zYO>zsbRxNG`c5a7{r{d_(nw_AJFn(r$N~N$|2r`O&*l{zGZ2_^{Hu<CxE@=Nn&d7C
z-MbC$g8g^vXK?STDLLOQ&U<3@wH3C1f@gJ}T_o{AB=&#HM4f8SRR)K@`f>!P-Z<TT
zF2hIp(4X$3{F(2sELvPW^Vqtl>kS^inRje;o37f?f1Lf3j3=oCy;%^Pa4d3N=Ia@A
z#q0IAzJ9`%{M6?|nVWLNgRWzXZ4Q@+d}450>}gmk<D4kzCc$0r%KAaIBf6!d{X~QI
zgA3mcW>s{btSZjmGovEe@<#b}=>(Z=SE@U!&MrN)lt<{F!r3NOp^3|9FnVshCwsVd
zYtowO6_&yI4E+~RUKU*ZF;-h5+l(vz&nBmnALA|49?fy#V14mPx{HzZ$4zPP+WZSS
z7HYw(x*1ovN$uLZu`T|OU42wykLE<SS4U2X_pk|wOys(z*I?hOV%S_Z<D|&se+z^B
zeP?Xk_5I4^XBzpZ-9O7dn)JlyfNi2>Slrv`&&*a7u}PnJ#Vn|_v^!=&^s9RkK3{XJ
zg|6HQY`bx9=PZ+mOUyRBhHLGPAJz8UIiV$iBT{e;qfVxe#2FPQ$*}N$+q3KI&GuW`
z+kMXeqyJC-`1R$*7A+R(uCumraCsDHhyK<7sj2DNn`7}t?S<}{87l*VE>GmC-T602
zsfU?Gjr*RpPzrN}u=6Um>a?A69THaLe)^;zU|wL_I78Jzdhw=6yU2M7uXy;n&OiSz
zcK+f~+hv-(8yWp%S2P$;&3|>cZN?&<r}c(2p7&LIwO%=I6zQz*xBmI%?$5aq0oSe?
zecHWgMdMA6KHW#VpNCA-myYeUJjR}Ur76a%KrAj&^X?YM$aJn7R@#!gSlG|9t(dUT
zD0I%j1tJssr&W|J;mg?S-M3@uO@T9s<<HKymuaj~e(>zr8oR@7s?Ne+6SNuQcP(Dc
zQzAB_UcK3Bv)_S*c8OZ|=4JiMF$^#%D{cDrt?%d4Rc47Cv)=e#nHMuB_TC)X_&C4w
z`_HjWojm_-!S?Rk+qApVqNDkLh_*T>2bMNn)_0C5I5$BgGBTj~tHVXN^YX&h@|)PT
znxYG?aqW7cF1b%j>icU`)7Z02MIXG5PSZEb+;%v-`EY&6*K*NtHvjCpYkP8z&fIL{
z`Q+No`6|7lukPAR^K~j{fA}t8^6t>Jha+#_OqDs&^CRwy#O<Qo#c!sSmTzb)yzp>c
z`G@M$4~<q&T;i9!f13p7;pAg7%lE}s&%ZvMWp&1$b8T7&PMw%_b7Jc19}TY-9DZtb
zZWiNb$B!3p>em-c__Mg)*|gNuQ2yzORV9y2vQ__2JN={0d!gOthnuhJzMZo8_lC<m
z&rIF4X>IA5xTk;nSXW1{SWxqe#rj!`x3Rs~k;mTcZEF7>D=&N#&3fJb*4im9RWm=$
zzqFt+*J-cI{UZyqn(EI_{}dKEr}=2Tc}aBYIg7JjvsZl)3J=meTU2(i<cXcto4g6H
zKW)>!DF3B*=BK=cEI!IxnCB(hY|E?JyC2+ImrAMMIgN#Zp%8gxICv4+A?7N(`jFV*
z%K-wm;#u6L9;`a@O$$Qav<qmh$j}b5UeM<{SM$?@ZsAMboXd93Rk`{w{$<aj9{zs}
z^-~_-o1hsnIp~t-rki(*-`#wB@AvQX=i?c|0=pLWCoW8tl$X6)`t{GOTSdIVcPFN;
zTxJ@Zm!G*y`_1AIyEcx)B?Wn3H$QyE&J$Sw{Xjv`=_8RZTemoLEJ~DoXXUJRS6XHB
zX#ve{DS4K|sjSlldKb$(b0zIKbYcE9&cmXIAFYq>wat5<QLUCPv63U!xZL#ig!}u9
zm7W@X*;b_GU({Z5_TlW%#Gq*#B+ULD-KN~?<9efX>g#0}OLm-+{=G_1iZ^lPw1VEh
z%2%K39jTvq#D(WE&&oI#jTuKooP)OSd^V5k<Kz_a>ev}k`rr6=zBB4+zv58)<&>^v
zU*LABJB#k5%d*ZtrWf*QPSfm76FB!z2%c4@Ie8(sp^8mx>cxz_?6b=fuS%YhJ#>ym
ze@TwxLD`i#m%_{1mh0wf)o9K-DRuvP)Us%`P9FVB|JR-^txqg2{oH%~FL&nd)d_)F
z(x11^4cL-;cHU-@!>4{`@on{=m6a71`!%-kR(d6?WQydpU1pX7yH+L0X|~1u@Z&sU
z8)DF9*mg9JS-hiWO#+*_#G}xQn@abko>*%qxMAirl{twUyjo`6-lX}q@<d=k(E-uw
zKkKhOy>@d;NwCG0nYr)k<vOIAKV90iBi79H_(Q&D9+~!Y59v&tkS-C~TyosNp)Pan
z!u~o3o7unp`sD-mT?&_PTYA3R;Lu*DCY{!tmwUSe&-?d&j_mp}Z71{1{0{lYx2Bu9
zUpc(z>xYw*W#skOzMiqnVsbA}+N`%JRpO^gPA4x?<Vf3f_v9D5DVlE$FREm*89%j}
zY1d+;8+hOQ$dX?^+;!U*-@Icu&AM{Nap%HAXCB81q%D<B6Zzh3z`rXoErW^4px?=`
zW5I(+SDTObURS)Toc!g^hiA=|9J~H8f$Hn6zm)!+WMW`o;y|vi8Co|^pU+lhTOaK&
z>?rbYnQm;9Soev)i#kMZH?8T=h+^3&)^u%^rsBozsgkD-#m#yfcDVch0r`YSn>#!C
zyS6XrJg6>QKc%W{cgO<PS!&kC&(HikSH92E`0wB6xA_^uH!2)BZV+O0<?N!A+oyg^
z3E33t8&$Ndcy-aiXV><uxv^}ks=@(-%&5xFdhJ<J8bzJ2vnM6J+Lh_imbp4RdeSO!
zla~oMlx9k}+>Lp9OF8o9l+SY(s&BSmJp0UNRmoX*_U?SXYV8{1IcKk^g@3#JEx_-r
z^rqNN9OVyhoV`5r@y+TZlZ{)X=7jNHotOCG_@mQ2jUt6yhx<D^)H;~_jCrmvzICBO
zLf7K4%T~i9^~vr6HWE{M^xF?yP;_!wZ2Vg2VnYIl?F-=x-me!w5x&^3ka<Xa^UkF^
zbF|J1oLs?ne%cq&Jl&JpQY){_G8B!Bo~C;>viexV-gROtSN!5IGI^fk_0vJG;-hZX
z#o}|buU!gj^m)7SOxquyX(l&Mc=Lyw?MPC8?9a+${6*f5bKQ)3vFVqd#`<<BsVVib
z$g=on7EPSNd*o5*^XINRtta_P9G%hN%~N~)t+3)lqteKEw_kcW^U3l4+i%#s?DRRo
z4XgBoTsH2=DfZWBJHAo)mhNjFt*_CguWr>!9y9gf+~LP6cm0`C-UBt~$E$Xhx2vsM
zDRW`AM2M(L!Ysuoal@cv)9Q6EO<wqJ*2>+dtCkioa}%B6#;OzdSSO3yN&F!5Ol`53
zq8D~1h9~T@4L@~-`^qxbt0%&1a_6m&$v!G`Zl<dD!_TWOUx+pRRd;4$XWVAj!w;t2
z_TAI*xy14Bms!6a+zXn;I;YzE+JtQ0%Uzc1*=lE>Tr_$9#T)Z~bOm?5&!}{oe69X`
z#(lTv`Yqco{uP`npV2Iz{_^%?C%)hdwoUu}*L(8FdMxO_^;f3yh>-+a2Zuq#wm+)o
z!ZG}ZS$Qf~Ztv*pKX!!UX;pLEf!!15ckFX|e?o7O^^Ox8ng!czm(Q;gm6M$!dnJl#
zQpgS6M~2=$&tmvwQ$zZjjirx^o_e_<v%&sK{qYP#$N%Q3Qkwm4DjzxD`n}ShamV%3
zUhV0VwO<&Se@k@Nx*>SVmYKakY`g7&z;fS<Zw!ug*Gm1g;c;8z-&Yf9{K-#t;`(g2
zWv@DFqLnYT?|x_ATPbz;Np@lB0eevX>z$G&9LdbUa1`a>>qTuFzytKt9l5H^>rdz1
zwi3AeTl+@n6NYIQVi~R7n3P#JWfT=YcHOqcWKyN_#3qlcrd<E4+xb1G=pHwFbuV=5
z2A3iWo8o7#?%TI37fJVeN$tPP<8k)pZl0-K_Vt|EM?byHIMNjq($%5Gt#~d{Q?W&f
zH#tzGsXazxTHfLImT6q8URGW@|Lf?MAC>i=G^Uul*DT#AboCqO^1l4`h!6q0eQW+T
zN0cV*E8T7(EBX55o69LqVG|7PR;q?fb~%z_H1qY+r&1?!Ov}@S%YW!Zo%PhxT2!!8
zfb+>hvAUooYmSspYfzaY{L1WX(v%s;MFUv#^Yb^K=<#IC(iK|Fma#{z&~K@V(%s;!
z1C0KB^$YHLzxbWKvi|?ZJ`*O%f)yVw9ND!a?x{}MafzFDi&^S4Y}_X~FLJkcZxJ{w
zW;boBgrRd%qma1W!f1Q1jO|q!6C*zxzV7tcKOv;G?#SgOi@0(>=x*h>!%%yRd6&Tw
z>3oB}*_AxJhkMI|vY*Xw%JY<8U@h^w)LF+)N3}7ZV`u$t<vr&<Z;Z}=^5JFo*Bu-W
zU;Zrp`C(7R9IKyqPyG23`BOY3w$Rfoo5%4&;F*-e%m@9Wrg6+#SCr8llY4raW#Xn+
zHixD~ZS{-SXvluf>8Dk`=PY;V)eB2lKJ#DjXs~QJch-Cpr>RdR^VRY-cehP<T>dxh
zV@!MRL4_UlKlwsiQ|k|QcT5$q%=mKY=;81{-N4)rkJcEhZ<Z)DODg%1Xds|^PUCEz
zzSyrSsdpE|!gcyrb2YggN#ssknC)r6XB^Pa=Vfq@eS7_$;OUoQZf*Vh;mTFlycvgP
zt+*B<7{WT!Gg+1Ask~Uo&*R+_PVNY2E_hZ{m8ZLH@{@CsrxJ}dWOydj-{}_oy~883
z%HK!TW?$EyYn~!o;_H^kWW0T`EobZQIhPV_-nNvBFRq+0DK#d&>_KgO+lt%evOe5_
zQ|=q2OP*({FObyAf1H2VOJQm0I<by*o(oSOxM3^*@J8*0AGh3|cTLycz2(rF(v`)n
zQ#3POxs$g3a+L|b#*o3C5<KINSWUgu&6}lLds&?w4o4P0EMcfly~_AW$ik=P?+dSa
zx36DWt(-Eu=lj}4cV2sadsh1Svt9b1z2(KPCsnc?-6MNeN#<>y-is}ISNck0Y8NX6
z-PpA2V!1_Mx&O(coD#|7+M7KUElag#9;)khUs}5E?+cd|f|uR~eUE!H<IJ}Eyv|Pz
zuhz3pcr-oAI@jY+ne+DPTaxx(U%ZL8>92JD=_``q8|o5d#11u1xKP4dw&H&Ij&R-H
z)4M;$FP~pjb^PknJoy)9|JOhM+m~XqUcF=X&)2_$_kDk{`_4~i-@jJ(uK$n@&){44
z`e3#}rJZ;6_FiF@w;m$Ae|F3M1=r2<zbU<a&&(ji5GjOSIfwF9nbj9drHa(WDcoeb
zZPsg+Y3K7Rv#}=O_Kj-}7d<*J2?eoUo*8AGccLwaNoP}cpZU2T!hg8qDjt4Ox;E45
zaqHvQ^gr%#KR&)Woz^&o_vD9t>E|uq7oV#<w>$m+ukYXO8P+5OJ31t6yKBI=W=U>%
z-W}g<xr?XiSSP)dKD_RYCI@Fsy;1blC2=byeZBo(eT_Yp=KcOh*&UWEyLK+VE|)o#
zdF?80AMvU{)dkt!oIT5W+Y-}Rnl}EJ=AdzUu^@|J=)wmf5=_fOdlF1~Hd`!D@OjWA
zKdY;-hpXjl&Bl;8?X+U1bZ$3i{cW#rSFK)?dws^4ii2x1w(71;wK%`dDCNE6v;*}q
z50`wJ`Nrk{!~EIq4B>t@GxeqiOUl{DZkqYB?OKVyEAQ&Z8}hbw2x{{@Gb=w5_NViJ
z=H16%9~snFy`SOk8`=5v?;rE+-@kUv?GpdCb^X>9-|Udd>$-BL^<+73zOBo)$4sVa
zs@4vrf_>BbV@|G_D7;xP(R%&L3hC>fZmye4&etn#5YXnaG1ky!S6`>p$U14q;`do^
zXU$ceb3iv<=x=w(1{H&w;x%VCMU=(n-|$<pq^rE3dAsMbJ6kz*WW9G~OUt~tw(<4s
z)3d&+>APIc2$}2ge$|d%Yo=tQp#H#wpAjqM9zQs@a_X#OC1t#Or|#ER_{1bw?O)z0
zFhl;(l+S9V^|y^*UY6Z=Q1`CV|8uKN6}ng4JAHkMe(ag>_p8fq?T_K(t~`Iu^UB8w
za}xK7cec-1_wv`-xfiToTGk6azV!Ijh1+U(l~gz1UG?I1+viLDUwPV6)vFtQcJ29P
zRW2$2W?tZJNu3=>W(z+NQExxDV#$(#XFr}uJ-f_Ue(-P1BXgHHhx*#q58QKpioVhh
zY5Tx-z3`pGoYzcB5r-ruRZN!JS}gF~@L=sG|Ki5qA?}~$`8iypoMs&Bk^aHS^oM;B
zch4_jH>dN>=l4!ne92b#uusXII|h9w-P<$Xv-Nyq;c;r=G-|Ju+wI}nAYw4@N8crm
z`D<s+SM}kYYtLTOw*U5@+D$*|)%C=Mz4Z%AO-)3rT0N3JswVZ-cwAm&qRVe|cgnJ<
z*L{MlzPyS$D!HyQY{S7VT^)&&?_YP{(QLH(FHdAn;Ae^XkBZm%f8>czn4c{h@1-}-
z>y=JFH+T8Rc~1@~m3fI-J1(hyqIhh565D&@qFKB6H@L-KyKKAcowFT#XWf!wiF)4?
zY0-L%WqW>KNws}BQ{A#AzTN0IznW-F*o5EGjGFr2PMBL8O@5N`z3S6MohQjzvj3PL
z1#DY)``7xaDESYkct0H3yYCwN9hX+)R@*Os1irkly?DLmf@P)c7k1|h^&ec%|61@l
z`RPJ?nWle>^{cWJsu);z=I!`#^gp<#`d@;v?*2Ds28QdL$fW~lsLfQU%B21vXx4u3
zZ|!9-6uks)zgQb#?Z$LHRwCogg0jXtTv1ZdYgB_oS1viG^nago*Q6CUJnty%KAG5h
zVBv{}XFi;LtbEnp`t^ax{gXEqoHpZVeGq;1velob*W(se8oel~m~}Fy`HZ<OkMKOr
zH;KEJZ9B8keCGOp2Lt%yHtf>8yZ^~qm-;ul?{@M%K6b_bWzVkPW~mbYuDm_OWgb()
z-CAirNwH+NvhkK4!M4?bFEeh$_a^8TU$`>+6vt#?)|ewRiqE=q2o#@*lsmS2-c0MO
z3%bs*gq69Sn8dO#MlB}i;d75^cFfz~1h1%0x%n}nCc~5Q-4n63?TH?a?ux+`)z#K-
zZkv152Oc-tRH?|F%ptr?<V5M@r#n9`F*$82F1<iuqipg*y@*TO^pmBl)s#*YNh-Oe
zg-yKqv3a%WvsQ%zjg1o)X>&zo^sVwRDR9+|eZr(X`&jK6P4_sZM>#P$snhST)^1X|
zwfgwdLuQ+&J-c3bNGc~FAWCZSq@JT%4;Mx+-degermvpi|78&;$Gew*USeeM=BhgN
zsGUXAO|@@AXyKa=lec8LeV?9i{Ev#S`~5%48%z`Z53UHAHR;>*FtrN>`=>s)aR0P)
zMM{W#sMvGEW%pGc3&rqXdvN7Tw8YDY*&KiNJbc8&WA1miBGujh_L{9<<owdRpI*(e
zk+k^T-uJhX#i{3ESiRu>4C@6q7acMDmCV;vbwBTiY}cwu`3yeCil#Az?VK$zm8ppF
zzt{?s>5I5ZBJ<k9msM`yn*Q1POtD<zY!_`!VUwPK)Xci+l>wdUbMscm=$U?5bv5m-
z;uX)!R}y2Z+$PM4@@Ujsp*5A+=BWh3^$m|_xVUN0D7%{<V7T3H^4VGS&%NGfhN(tu
zxD^=3E}p*Sk7;P6nbG-Hy@e06g)Y6!fBvA4X>w$#){n1+Je+?#*|$wPxn*yoTK7-+
zdfnxpZ!SM}YPQ4q6vfGhK8S3{i**PnpKqqg8znqlG)>$r&sK58-#OdVC45&bvoOtw
zaoLe}MQZZ$1I!EG9-Ml9;}XfL3bFd8)kl+lRhHS#)Sb`vuq)wihsa8U7h8D+&c41F
zU=qx9{x*AKvd#W|KY#yv^(@Wm_a765<e6#LbxxmQW%w)3-1)uEMD5<31LZ&DR#@22
z*SanKN6x0?U&*Vh`_5cAcg#k4JKL&fVXQgtJM1KrtX7$y-Qb_Eeq8g;B{`YQX$ulX
zH`iNlyA;HH<G{_SwQ3Xp?!IZe+-&KrBF9%>uhc&L+3bI95^Kr9I}iTl^2v3-i)K!J
z-*UF~*Uk0Z?`OUBe&cOE$NkZ@6HD(*&)j}#7svfJ<K9Jo63%Kb{FS%oqaV}%o=Wp~
z5)WCI@3Ft}Icvi{>H0sxn@iR9OE;fVt&w;)=kTfvU$<LLdAVGBliqt<pEvJrzFWNM
zwZMe`-QmaUn?t62dT)7E{CJ^DRYTqV-#6aZu!1@wjMbaAtFkaKd=h4uKEF_0dV85z
z)&6J9`mGzcTl}q3FyZ^tveD-P{EE2gX@=GQ%#FO|)4O@g6{g=Xtkz;W$2WbWX|>dJ
z2lp!0>F0#Xxu)@#^G~-is@7s!CWI;_F#T_EwZQb{M%7YG0b;0f+|%D0RqHXWmW2qP
zlP%|-zTB%?V0w^owG`7fIk+&}^giQiJ*Ff@hzQu)yT;X4OeV^xBHYtg#8nGSKVV+X
zGCka+T8ha-6{4Wmq}qgOni_<2*QDB*@yB#Q(`tW4gXxK;)qadCrf)E<4q*I0ozbk?
zpK<T>K(p#(rc&GK6D_Lcr~h{?=a_!itlEm{x+`2na=La@wZQa5^J*!k1aG*o$n*{7
z)p|@j{2(F^{L1;J^IBAEG4X}NML4G)wX7DIUTRS-#aKRlf<<*ClVuu6RudwjVOcH3
zRGb46k)OV=q?~hlj%Bqz)3g$}2=DZhmepEJ2P+{Wc~;e2)8(wH^_ec$!$mBZUNuAf
zyJ12(@AUIl)n-gHI#5N}r<+<=>oIBd!iA-$|65(jF}>HlT44Gn>uM>c-U)Cy#p!R2
zs|BV@+Ehz1g-(GB%S>0eUBNOv-=<oNY442b0S?tl)6dT;=a~LsMmZ};3(qu<YL@A@
zK-!kfg3I$vUlUi&Gu^<pT8{C=bbs6GD5lCq(*ta)wWeRSt=41CT3$Z=V0)SDbY;70
z1Lmd`P+qZJwLbHnRZ!j`yJ}<R{54RXsC~5&bJ->^PjdSI&E@RV7i=nLot|%Bt;Kw2
zGeVqu`T_fDEvBQ}L9Wr9{(U<n`3g)oaj2GJyf)q6p*o7`=pm4-*7Wb*)gsehI#f$B
z|2+#eLg8FF=X4FnYAt5F^9Ui9=|zs!dW;&=7dlo4Fuk|}@{H_s0jFw1=HQ#<(+wFb
z<fd2OEa#n`?^LbDEcFB`w9Bd5jB(@ik51JQ%zxj51(l}fIaeDq-~SBZP1CGkna=;E
zTyXkr=V~qH)IX@gJkx!Bt3{^!xl~IrsWVPjbgfpNo-bIzG5wlzwdnL!AYo@gxG)bW
z?FdX~b*+|S+&W#swK|#UiUvs5c)9?{p0{Sz0@Kg9R!cE`HU<gHPnR~S;0M_(FkQ{9
zT8dG6x}#fl1XH*-M7G|$LI9E%Zn;%UG5LkTg}J9IxL4~j*~EfGq^2+MsOFviz`dFe
zp2W16o+O~k*)i=&K^5VLr!Il%Ssv9=Ob(fF1<p*~d2o&hC@qUjSNE)zVqz_xZs=7l
zK0V5_+Js4_1j4Z?so<Qx!LwS6=|LGtL}i*+wLas#=>}fa!A#SuKtkfv=Xh0{G99ai
za9(*;n=q}c194=gHC3=9C6pxZYAL4MjW8)*P%+0d&9|Cm`gV|vPAg1?1C)OBm`b}r
z0^-x{e5y^E4)wq}Y}19Eszs(R^Qo3%)SiCOr#hA?dn!csz~Kt6=~Jgx2u!zg0hKhq
z)ly8;XTarHr@!~D<^;vD;Pe7dki{Sc$LFCcFlYL`2uVa?F(fJ>PEGc!mSS>Ti7L-E
zy<lYp%k-6g)mltRYmwyEZLQ#%{@brwpQ&>zsxTiUNu~K$OEK=7-soQ)%e3GyT#3|l
zaFS9CsFq@?I6XZuuv&3?TtKxM)2{Py4*T?d0o8g;!dE~d`tSrIFx@n;T8hzhdO%=x
z0^{@P8w0E38P%o>22}?$TRo_le(_U<$n@%<Y8&P^kH9>I>9tYS?9-ncSBp*m9#k#G
z{Q3#9xOH%~KC{Miu#o!n$mbQ{T1#O1=HO~6=IXa#agFIeK&p;^0`qjH|MspHn4T6=
zEyd_Ly)mRZjQQ|?u#Cv`cOljGOinD*3&X2LrzfyficgOYt=3}dVugzcO<xyUt;ZD3
z0TC(XsN|nM-Kbh%x=>iP6w?z<h_G{5wFQ$3AB2;@Qpr9&PN0%w`Xr-j(dpa5s-+k$
zr(X=K4rWRa11XW3?hszB&p2&*L3p(%6Q2S|OmzB%@M<5X%erum?DT+$YCR@7ONhvZ
zj7pyA|0Ak-rmu~t)@QQvMisVV$_|5w1VmQ5G0lmAbHpK4(v8S!DW)R{5aA6Om9o?S
zCseY6vb`45qzt&QA|$EKjjEPn63vAOUns8>o}M0AEjs;MRJ9c2rs;yw)!|HDbr9JN
z8I`QlbL%Rlrq7G6)?#w#MHLpE{xiB-kEwVXTv%}WhL~!u>5(zj`b_KRpbA?sbuNU6
z{Ew-2XWFq0&XJg28e6T$bZ|99<o@bPbx0leF}7NYsdYVESbq9D_iCZ(!Ex1cOjVna
zgynBnu!8D19z}-MjXua1f~td7R>QISj>_qVJ1R9m%^`?d<SP&5;Oan(mfc{rlGDEj
zR||p7MZTg+7Ni7@Kkb96E!bDd3QCkb@*symuS){omV|0}_jLY*YMJTx<EsS~K*P+)
z_wJw??R9**Kti=P*a4|Xm&~B5@;q5NUGZe4<n+>nYC%PiiO83C$iN*6V$44URx4W{
z;LXS+!T`B<8suE$Yb;QmJMC;GLup=ScCmg*NwT4ZzN>S7ZUM^GALwQwUm<|%)GOzp
zX1QQ947AoA-7MRBU-*gp(jXte@wSW8KO|IZf`gC^={R&LxC#*C=OvIT2~f*LKmp`Y
z<nw`16Uc_E(;E}3O~D41Bb}D21~LbZU)}<#QUTTM5Cf4<GD9^`{T@iE#Prz@DtV^+
zB~=T89e{jD3aZgppTX4&fQn`wuzKXp*r@6cy#uKip3eWGQWVq--~l@wd8?r++}R+;
z+HY|60@J;ct0C@3-k^Z$eziYf^*qQiKK-I|wU|99Ady$qqPk0ir3xj*Wabv+pd_2=
z2P~^a!KoT~v62eNjc~k<vugVN@0F_47bI8nfKxT{!T@EsIuPTaK-Kj3|0-3c|BbGO
z1RC<Bst!mA9Ip_aem<pI4PKK$)FV#<X~ETk7^fvb>eZ*ecZX(I=$J5gNLUl30*-5B
zKuXQQvGyNnXh;dJ0>n6^08%9}-7d9S0vusT{XPaokP0~FP=zS%ORY9#s?nT&G_~4{
z>5S&|zp2$GOux0J8>dw}GkF_KuSlzQVv07Kz9+5Pjk&?1YI?0|mGpFl^lB}pOxx)`
z>D6vbQV!FnfM`*t>32Z%YS-y18P#q~b3Lc$WK`QQ9q^gHDx=z#`AT5b^ow>?BGdn6
zRBN#)hEy?3*UhL_p1vThnrC`+W;GuZPsH@>%xZfkt*GgOS=A=fA7obRGZ`j;I7v*c
zNz)%@Rhv#<l~rxZv?>+ENoT%UP&GYZc9qEV`0Q#E=E{jsp1fu?>-6>6)q2b+^QxvN
zc2`MG|CwE_#T>c-%oCYzl~b+99I+6rTylC|UzOPOSvl2O%#)UYg`}o0@&#31In`3k
z!Rx?6a?=fStF@R;Y?>aMTkXxXX3O+>dDUXm59C%`F<m<k=dezHyQhj{x_n->7E|3v
hkg&}3^t@_Qrn+Asjt*ZIV;1AhA_fLefocW@1^|rx*+c*U

diff --git a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
index d58e06d..a638bae 100644
--- a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
+++ b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
@@ -8,7 +8,7 @@ import de.tudresden.inf.st.mquat.solving.SolvingException;
 import de.tudresden.inf.st.mquat.utils.StopWatch;
 import org.apache.logging.log4j.LogManager;
 import org.apache.logging.log4j.Logger;
-import uniks.ttc18.ECompMapping;
+import uniks.ttc18.EAssignment;
 import uniks.ttc18.ESolution;
 import uniks.ttc18.Ttc18Factory;
 
@@ -90,11 +90,11 @@ public class EMFeRSolver implements BenchmarkableSolver {
 
     EMFeRTrafos emFeRTrafos = new EMFeRTrafos(model);
 
-    emFeRTrafos.createTopLevelMappings(eSolution);
+    emFeRTrafos.createTopLevelAssignments(eSolution);
 
-    for (ECompMapping compMapping : eSolution.getCompMappings())
+    for (EAssignment topAssignment : eSolution.getAssignments())
     {
-      emFeRTrafos.createAssignments(eSolution, compMapping);
+      emFeRTrafos.createSubAssignments(eSolution, topAssignment);
     }
 
     int numAssignments = 0;
@@ -113,8 +113,12 @@ public class EMFeRSolver implements BenchmarkableSolver {
 
     Solution emferSolution = emFeRTrafos.transform(eSolution);
 
+    boolean valid = emferSolution.isValid();
+    // currentSolution = emferSolution;
     //    currentSolution.trace().process(new LoggerProcessor());
 
+    logger.info("emfer found a solution with an objective of {}.", emferSolution.computeObjective());
+
     de.tudresden.inf.st.mquat.jastadd.model.List<Resource> resources = model.getHardwareModel().getResources();
 
     boolean hasNextSoftwareAssignment;
@@ -134,7 +138,7 @@ public class EMFeRSolver implements BenchmarkableSolver {
         for (Assignment assignment : assignments) {
           Set<Resource> resourceList = new HashSet<>();
           for (Resource resource : resources) {
-            assignResource(assignment, resource);
+            // assignResource(assignment, resource);
             if (assignment.isValid()) {
               resourceList.add(resource);
             }
diff --git a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRTrafos.java b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRTrafos.java
index d0c104f..228b6ff 100644
--- a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRTrafos.java
+++ b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRTrafos.java
@@ -1,13 +1,12 @@
 package uniks;
 
 import de.tudresden.inf.st.mquat.jastadd.model.*;
+import de.tudresden.inf.st.mquat.solving.SolverUtils;
 import uniks.ttc18.EAssignment;
-import uniks.ttc18.ECompMapping;
 import uniks.ttc18.ESolution;
 import uniks.ttc18.Ttc18Factory;
 
-import java.io.IOException;
-import java.nio.file.*;
+import java.util.ArrayList;
 
 public class EMFeRTrafos
 {
@@ -18,11 +17,13 @@ public class EMFeRTrafos
       this.model = model;
    }
 
-   public void createTopLevelMappings(ESolution eSolution)
+   public int resourceNum = 0;
+
+   public void createTopLevelAssignments(ESolution eSolution)
    {
-      org.eclipse.emf.common.util.EList<ECompMapping> compMappings = eSolution.getCompMappings();
+      org.eclipse.emf.common.util.EList<EAssignment> assignments = eSolution.getAssignments();
 
-      if ( ! compMappings.isEmpty())
+      if ( ! assignments.isEmpty())
       {
          return;
       }
@@ -33,38 +34,141 @@ public class EMFeRTrafos
          ComponentRef target = request.getTarget();
          Name targetName = target.getName();
 
-         ECompMapping eCompMapping = Ttc18Factory.eINSTANCE.createECompMapping();
-         eCompMapping.setRequName(requName);
-         eCompMapping.setCompName(targetName.toString());
-         compMappings.add(eCompMapping);
+         EAssignment topAssignment = Ttc18Factory.eINSTANCE.createEAssignment();
+         topAssignment.setRequestName(requName);
+         topAssignment.setCompName(targetName.toString());
+         String nodeName = model.getHardwareModel().getResource(resourceNum).getName().toString();
+         resourceNum++;
+         topAssignment.setNodeName(nodeName);
+         assignments.add(topAssignment);
       }
    }
 
-   public void createAssignments(ESolution eSolution, ECompMapping compMapping)
+   public void createSubAssignments(ESolution eSolution, EAssignment newAssignment)
    {
-      String compName = compMapping.getCompName();
+      String compName = newAssignment.getCompName();
       Component comp = findComp(model, compName);
       Implementation implementation = comp.getImplementation(0);
-      EAssignment eAssignment = Ttc18Factory.eINSTANCE.createEAssignment();
       String implName = implementation.getName().toString();
-      eAssignment.setImplName(implName);
-      compMapping.setAssignment(eAssignment);
+      newAssignment.setImplName(implName);
 
 
       for (ComponentRequirement componentRequirement : implementation.getComponentRequirements())
       {
          String requCompName = componentRequirement.getComponentRef().getRef().getName().toString();
 
-         ECompMapping subMapping = Ttc18Factory.eINSTANCE.createECompMapping();
-         subMapping.setRequName(implName);
-         subMapping.setCompName(requCompName);
-         eAssignment.getCompMappings().add(subMapping);
+         EAssignment kidAssignment = Ttc18Factory.eINSTANCE.createEAssignment();
+         kidAssignment.setRequestName(implName);
+         kidAssignment.setCompName(requCompName);
+         String nodeName = model.getHardwareModel().getResource(resourceNum).getName().toString();
+         resourceNum++;
+         kidAssignment.setNodeName(nodeName);
+
+         newAssignment.getAssignments().add(kidAssignment);
+
+         createSubAssignments(eSolution, kidAssignment);
+      }
+
+   }
+
+   ArrayList<Resource> availableResources = null;
+
+   public Solution transform(ESolution eSolution)
+   {
+      Solution result = new Solution();
+      result.setModel(model);
+
+      availableResources = new ArrayList();
+      List<Resource> resourceList = model.getHardwareModel().getResources();
+      for (Resource r : resourceList)
+      {
+         availableResources.add(r);
+      }
+
+
+
+      // top level
+      for (EAssignment eAssignment : eSolution.getAssignments())
+      {
+         Assignment dAssignment = new Assignment();
+         Request request = findRequest(eAssignment.getRequestName());
+         dAssignment.setRequest(request);
+         dAssignment.setTopLevel(true);
+
+         Component comp = findComp(model, eAssignment.getCompName());
+         Implementation implementation = findImplementation(comp, eAssignment.getImplName());
+         dAssignment.setImplementation(implementation);
+
+         transformSubAssignments(dAssignment, eAssignment, implementation);
+
+         for (Instance instance : implementation.getResourceRequirement().getInstances())
+         {
+            for (Resource resource : availableResources)
+            {
+               ResourceMapping resourceMapping = new ResourceMapping(instance, resource, new List<>());
+
+               SolverUtils.populateResourceMapping(resourceMapping, implementation.getResourceRequirement(), resource);
+
+               dAssignment.setResourceMapping(resourceMapping);
+
+               if (dAssignment.isValid())
+               {
+                  availableResources.remove(resource);
+                  break;
+               }
+            }
+         }
 
-         createAssignments(eSolution, subMapping);
+         result.addAssignment(dAssignment);
       }
 
+      return result;
+   }
+
+
+   private void transformSubAssignments(Assignment dAssignment, EAssignment eAssignment, Implementation implementation)
+   {
+      for (EAssignment eSubAssignment : eAssignment.getAssignments())
+      {
+         ComponentMapping componentMapping = new ComponentMapping();
+
+         Assignment dSubAssignment = new Assignment();
+         Request request = dAssignment.getRequest();
+         dSubAssignment.setRequest(request);
+         dSubAssignment.setTopLevel(false);
+
+         Component subComp = findComp(model, eSubAssignment.getCompName());
+         Implementation subImpl = findImplementation(subComp, eSubAssignment.getImplName());
+
+         dSubAssignment.setImplementation(subImpl);
+
+         for (Instance instance : subImpl.getResourceRequirement().getInstances())
+         {
+            for (Resource resource : availableResources)
+            {
+               ResourceMapping resourceMapping = new ResourceMapping(instance, resource, new List<>());
+               SolverUtils.populateResourceMapping(resourceMapping, subImpl.getResourceRequirement(), resource);
+               dSubAssignment.setResourceMapping(resourceMapping);
+
+               if (dSubAssignment.isValid())
+               {
+                  availableResources.remove(resource);
+                  break;
+               }
+            }
+         }
+
+         Instance instance = findInstance(implementation, "the_" + eSubAssignment.getCompName());
+
+         componentMapping.setInstance(instance);
+         componentMapping.setAssignment(dSubAssignment);
+         dAssignment.getComponentMappings().add(componentMapping);
+
+         transformSubAssignments(dSubAssignment, eSubAssignment, subImpl);
+      }
    }
 
+
    private Component findComp(Root model, String compName)
    {
       for (Component comp : model.getSoftwareModel().getComponents())
@@ -77,23 +181,46 @@ public class EMFeRTrafos
       return null;
    }
 
-   public Solution transform(ESolution eSolution)
-   {
-      Solution result = new Solution();
-      result.setModel(model);
 
+   private Instance findInstance(Implementation implementation, String compName)
+   {
+      for (ComponentRequirement componentRequirement : implementation.getComponentRequirements())
+      {
+         for (Instance instance : componentRequirement.getInstances())
+         {
+            if (instance.getName().toString().equals(compName))
+            {
+               return instance;
+            }
+         }
+      }
+      return null;
+   }
 
 
-      // top level
-      for (ECompMapping eCompMap : eSolution.getCompMappings())
+   private Resource findResource(String nodeName)
+   {
+      for (Resource r : model.getHardwareModel().getResources())
       {
-         Assignment assignment = new Assignment();
-         assignment.setRequest(findRequest(eCompMap.getRequName()));
-         assignment.setTopLevel(true);
-         result.addAssignment(assignment);
+         if (r.getName().toString().equals(nodeName))
+         {
+            return r;
+         }
       }
+      return null;
+   }
 
-      return result;
+
+   private Implementation findImplementation(Component comp, String implName)
+   {
+      for (Implementation impl : comp.getImplementations())
+      {
+         if (impl.getName().toString().equals(implName))
+         {
+            return impl;
+         }
+      }
+      return null;
    }
 
    private Request findRequest(String requName)
diff --git a/jastadd-mquat-solver-emfer/src/test/java/de/tudresden/inf/st/mquat/solving/EMFeRSolverTest.java b/jastadd-mquat-solver-emfer/src/test/java/de/tudresden/inf/st/mquat/solving/EMFeRSolverTest.java
index ab6ae20..d953849 100644
--- a/jastadd-mquat-solver-emfer/src/test/java/de/tudresden/inf/st/mquat/solving/EMFeRSolverTest.java
+++ b/jastadd-mquat-solver-emfer/src/test/java/de/tudresden/inf/st/mquat/solving/EMFeRSolverTest.java
@@ -27,7 +27,7 @@ public class EMFeRSolverTest {
    * tests the simple solver with one very simple use case
    */
   @Test
-  public void testSimpleSolver() throws SolvingException {
+  public void testEmferSolver() throws SolvingException {
     int tlc = 1;
     int iac = 2;
     int isd = 0;
@@ -38,7 +38,7 @@ public class EMFeRSolverTest {
     int mod = 3;
     double res = 1.5d;
     int nfp = 0;
-    int req = 1;
+    int req = 3;
     int cpu = 1;
     int seed = 0;
 
-- 
GitLab