From 261434ced3e8bb87c2c451eafb09c431f01f8e0e Mon Sep 17 00:00:00 2001
From: Kaushik Narayan R <rknarayan02@gmail.com>
Date: Fri, 15 Nov 2024 18:45:42 -0700
Subject: [PATCH] initial problem files

---
 Problem Description.pdf                       | Bin 0 -> 73544 bytes
 README.md                                     |   1 +
 simpleInstances/emptyconfig_p05t025.asp       | 100 ++++++++++
 simpleInstances/hcp_example.asp               |  24 +++
 simpleInstances/hrp_example.asp               |  60 ++++++
 simpleInstances/longthings_2_p02t030c3.asp    | 156 +++++++++++++++
 .../longthings_newroom_p02t024c3.asp          | 132 +++++++++++++
 simpleInstances/switchthingsize_r02t035.asp   | 177 ++++++++++++++++++
 8 files changed, 650 insertions(+)
 create mode 100644 Problem Description.pdf
 create mode 100644 simpleInstances/emptyconfig_p05t025.asp
 create mode 100644 simpleInstances/hcp_example.asp
 create mode 100644 simpleInstances/hrp_example.asp
 create mode 100644 simpleInstances/longthings_2_p02t030c3.asp
 create mode 100644 simpleInstances/longthings_newroom_p02t024c3.asp
 create mode 100644 simpleInstances/switchthingsize_r02t035.asp

diff --git a/Problem Description.pdf b/Problem Description.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d1680997525dbfc85ab567a665447c3e86cc263a
GIT binary patch
literal 73544
zcmeFZbx>SQyY?FbgaE-UI3d8`GPnm1Hn_V>aCbr=xC91wcMI-rgS)%CyB?nB-TRfZ
z_xsgX=hXgZ*VC(JO?OvU^{i`Zt-jW;?z_olg+=L@=vfiSH&2gl5tukg7)h-4%@KHb
z7(~r19E|K3L@o3jjD(F0tPPDAq>QXg985`o>@1vod<gaqc1C)Z2rly_>O<iN4M@v3
zROfGP$>sU6Q4QtNwH#Dd4}<9`z>w0AmX};oDv7F+O{s0|WP?xxNwV&=i0sXY7tr(O
zKEHRr>`UXsj<<~WgX8@H|05&-R_Mn>SufQcdES)+s7~0;?&YSN^U;ppZD+h$Th_bt
zDwK1YooV_&KqeWnbQ!R-DkK`f#WjOyZE5Uz!hf(Lzv2_V7cDC~s*r!9XQ^l%iz9jd
zYm7<j<>DaC5z2;IQvBCfFJ~?xZRJ|Fu>%4M$q(YF_mV#%N%TsxRhs%T@82Gn*1_Am
zA*Y2Q;js~6r)}&VUdW^3myLMv2FUMg-I5@y^j-1g(G<stMwrf!2gL7&wU*kL1*dNr
zM@AYcbn6i|-*X|Pk5Sr<c_PQA+7QzGs_*)A$94ijC?ODH?)0RH%fT3Dd`J%vC&QuZ
z&;LvZOl*bVyY%7XwO9F6t6v486%jqj>sz>Gb4FTp-hZylyC=h`?@+O?9O?gjYi!^|
zMkMo1Da@FiHk_SsjIhc~P>U{L_~Mg%hqT2<^k(rmVvgET_x;6U_?V_WS9+#0M73{-
z+Z7YIb5hOFR9_yiXcdTODphdGB<Q$(_8HGXS1t{G%0llV8KXyeuqvPBwP#o0)LDa@
zEL>N5t!VRQEMXk1p|zmY0z}u1cA2AZTd=;Gn6%zTCr(FY3N4Ojz8@r$jN!)ePH-nG
z7!%W(RVrKNRu5{lJG2r0t{TsquaQJK{&hX0MYcW6@Zo_$KtF^Ll{z$|>}`N5IRip>
zgwGp-?oin)>!_k{zlP|XkkYrU-`fz6eC?@2Zk%|SH8crRcEiPEuqW1>Fqi(wmz%<l
zt}<1iAG3^smD!f;+x{U&vA6MnvmqofNAxPq_YJR!Q7)Yjo4$rN03EM%n}uWiyVcAT
zx~F+es3g3fN&&6oG1M*ANB4doD9_8JH%6AmWWPdFlkxfeWp5cto>51`G8ic>F@oz<
z5bd=+8p0nMjnXNL6Rc66kfW^4q<%dT*d5n3XFTT^BudXv*u|`@@Nr#J_5)kvTzx1{
z@7p%BLy>M`(E0pF2+yOwPG`25Oz<$_O(0{;H#~<&iQVgLn7u3E-(L^{g^ZTQPM~*`
zmIrggy-=)6S9H;Kekq^civM0CAFCtw3z@8Q7b9s(HI)LfTfNTG{=J^@=^3CPkLg<h
zTnFD(--Ft|nE`w7bl%EW-fZF8iS+GHeOqu--v`}d91Xh$*;RcteVbw&NXk}ZxON|-
zB(CsmGTv&rL^)V=?B&>LuzjKz`@*Is7BhIC5fmYpWkvx-jMG;)Fd78xqMoT76iAdH
zwl?5sYbahShwk+DtNb+%WdfP%C!05;YyRPQ*d(_-8IL;6XfCWhWLc&9Mnfv+ElLMh
zXQ*>Cn0f1c)p>)m6-Nr%HIx2l9vx9VxlfAbW8>qZgK=ZWqk@~_0eI{ZE(=j|l*OsP
zHwLobG8Qxs#^y6uN>gOC%Z}iLf3|qP45P~wbh(qCZvMu~jk{Y}|6#0aHMzXhd<#2s
zDf5O1$~}KAzB%HG@eND47xWv{vxhgU_UeL`sYMKm1G%?Lg%^AcDB)(PxD9!n1x-~I
zllv7ai6!)hBz8FWk2t;7gx^lwgW?=)qM*j6y)nIm*ibQPRtu0F5Me5cbZ6PoWi<uk
zviL$_rAAkCnb1eF^OD;;LI{yl;ZQ1%Z178G791B;fztTgf>}6rMd5P+d`<-&A_qh7
zxR+8KwbYBRVCaf{3(jz{K48O7q_h^;Xm})3%(9Qo@XJGEK>77PeE&rlcUZJ%Twm{Q
z#E5$q-fk$$aKar|5WKKj(`}$ZX#_E);?3`tvB6PDt(k22vZ(R{p@=Pn#1~PQ{fj#~
zah5A2&NC!4Yn+P<KKy7jv}YL;c^S`N=)KxI9P9ZB_X~y8qN_x@#tSaZ2&GnpMg2ep
zE9E=S-xx2k6=)x_<Chh~nEH%;?{9z2KjhnLRFLL+#_`;;8;$0hX24!#cc4mG$I&KB
zk{&N=t6m1*&c#wy9zMHN<~$nIx|1JN5&hg7Q5ONQ9a=z%(DdyLIgW&_Sk0TgJ0yfp
z<3``#uAmSBJw&XXG>Iof7xx^oaGaqE2tM)Q*V>B{YDj%sOl+ihmQ*qH{=GMz)>X|e
z_D)su9qpDZ4Bx^?K$*4gjxF?alWsNvp?O@9Ww7H`7p*ZI4pkoi-fE_t+wal#Z_YMj
z%cedgtzC83I5V=r+@PCmSVBY0oI{?1F9D(NgvfA<=}+vf2wHA@hy2a&Zh=}gU)JOu
zC$4=zC11N=NwJtxLN?21I%_ydR6~{zoW7*Z{Kk(iEooJ9CR}wvR$?SXu%`P>)+%O)
zyHG--HMXv>Xg$iVAO^6Na&GT>Y~+fYD{~lbe4<T73hk*5rHDdi7pCqeSiVHO1D>ul
zB-juattNz(5$TMX+sRv<lnkB6CF-hEZa31oTRiqLgxj?K#8`se?qS&LOG`{2@;}n(
zNuYfSzcRs<Ce&cD6fOruC}IdExBU)#DfczD3}pUt;m((VHg^b*#P6z~pYUTv6pD`#
zmp7vIqmJR{%gf<_(#4OBvyWeUUM4Yt4~_w_*r4FFYcn_bX%yPas-zXuqo)r%RV)Oa
zYlts7B5<1C>AT;z@H5iDyaiZf3gHV+?g!se8t%vZaXOlKT(G-7b%!j;C_mrvRbXua
z*X&LY?}(z%sl^b7_xZKcmNv(HbLB?NVOeUXcFkrnSJq@ZHn4BihHUt!)w$g7v0z(W
zA7pXQ*aP}W#W)m0@BJ1o^dl&18u5!Q<BN^9A#27?E&=A+Mza}BzJgU7k7yqrm6;j^
zu_+$-GA6m$HdR(y-g`BFtH$zH!5IitrU!aHq#z!**k{bEwDQ8&rw#Y5>N;Od=V0dB
zyI45bK8qku#@ix1XQgFm^(sMyoZR<Fi~$Jg4LcY7lX~ihOl;D=s@b$pp->G-^_yqS
zt666sj-vN#$g3aDdhDZ48>rMPP!dLDXUM%c@+!>X`UE4m*_5eBTgk2s2zj2P{kkV&
zK;#C@7x()_fS#DahMLN0+H_7h@g|pJ9$SpV#e)SMp5L&P-Xwfrj<+<iJdQ~Fmcc2L
zH<-@-z1ePuSz(C5VCE|)0als4dV>WI8){<bx88Y~sP~5$&eXaV1G?(aR)kSr&n&Bh
zgN^|x^~QIi&~8LQdO_cAl1^23_`<0iDqEepD!MF4x%o48I(aI-jd+=w+F)?cvsgOS
z8x%b&F|_jgt==UX+#y*+Aiax|?z#VzHw0Cgs$=%e*RIcSKS9Vd9n`w#J}uW+!(tci
zdKM7YG8B&YSV}KarDQ)+OYkl*Ni@$pRJEOpl<(<Lwq~-%DVYN$cb~__p~pr-Qf<q9
zw1F?Za-5vyCH!d9TGCwW?d`-zN6DZzYW@q`Q%QBWsxTm8>js6EkuiA4%D0-K<vst>
z^XDl3{2VlW4Z7~lm%!NVNJ;gMM`1}B%}1mwzx~EjLEhN!u|4pEJvI-Cmvz=pB|JY|
zG$+8(JcuDHE)cngRfLm)%WP>Kv91scbQg)q<a!lwbL4o#%%QXer@KAP&|Fe$X}lP+
z=cnx?h1+HoRhnM%ZW~~y6wYtx7j?<(oNa%5M+uuJnjWv%yRz0t;zjYLWdtKD!~gKH
zueCp%FOcaU7FgWM!N|&iLDtC5z{tkIQO|-w$lAi%PQgacz(|8Z+{)0%#mG>DK}gR+
zUQF=SGOL)HIT*=Wn^`$%&~vgfvapdbkucFSa&R)TX)%cDSz7980O^4UuOE`vj~0Wp
zo`ap4iv~Rl6OfscgdWHQWMd(rXJq1JW+tI$W@TsPAfabxVr60{p=V;^WO^OK#KFk&
z+R4Zc{G;_c2P?A{AD<SGm6eC_&%(j@$6@g2Vf<(LTmN6@zZCdOfxi^^OM(Bb3h-$$
zD7xAhF{sMun;RK8Feo_cJN(fWx70H+Vo)(NbTCC=Wd$;PH8L|Xbs%BlU}g|BbFhD1
z+=Q$xZLF<cS2_}o{{!{mWa0Q{=yS9bVzthQ3Onla{KD@HB}7ser1mzLcSj=3l&vb^
ztld=+k)NOR?<ENU8hdB<>1_zh2x<9OW;oSsTqxQ=j`o-%I09^8-N=F2o>cGj4@^Pv
z>Zm@jk#gQ?4m^hCBySN(%SrTGvjZ}|cfV=NJi5k1dx!{>K$Qb;S^#Jh^FbvFXY}`2
z!8i<5o}+k#W2ntz@3iEbyr|T6Fsbj{0t2l`Gs`5#^kCccYxRCtj$6N=F`);x{diAH
zyaFf8)sC)~&|lj70ZsLFQnb6>K+@L<&zC7bzm?p8ttA^AP&{v`P%PD;-tof#aqKNZ
zY&R|^N;-S?=EaM(fJg_M_wd!pEId1lxqTdIn&18IHh<ocZP}Vs+kvQiQ?fxFwmUId
zmmLuwz4+ikZ1#3;OC=bAP$|jOI#{C>LnJ!@8jw0>*Dp~23@O;(vY~Z3Xu)m?;;J09
zC#NPHaRG7Lx_LLuEGiYzPfAoA%9B>LWYWk%H9$#vtm5RdXx2F5WGf#l$Fo>wVI0)~
zvD~L*Bn<;EOv>pB4~Y|SB*5^{ejf1vYV?4?95z4<bc|p_kbWYMF=)LF(hNRuwQ#k$
zIl3$};HppU)n@R?vo7nU*!lgeeaMFoNVe&K|Bus$eZ!`F&059b|Lm~o2(l`8?f6e&
z*8WguO}Lh0j4tLNwx9EF?LRyHFqY)&tqPL=81Nq*p#K~u$N5jQH00R*myv&Vyw3BC
z1UL&jtk7_!c`38XabYcbe6pI-hF&OLC<2eP-UrwL9~5&gRIMAVYC*<ng<b#no&T;D
zH6|{s*mG~TbT@J$v(SC+^x$-EEyii)_^Q#?S=kVwT$;?i4f<9HczOfG6X6X8=My`x
z_d&jc3hl+NT*fO(i2>o<C&Pd%`^bK$D}(7VkEqQ$g#;N6TcU+^GWC?MNO0Fo_ta70
zK|{Uw`eT<T+sz!u+GZBW_$7r34DP+>RC5CjrY7}?^GuJx1H4E6kOES(^ZGS@P5|OC
za{=ui5Q1Vy#Mak}`S-3sn@#lL{KL{Z3q77}f77yMzw4nA>G|1Wfn#o`dX7EWu)qWI
zCGhZC%Th%6pUURvJ6QD|we|nT>jMAbb^kr?W#Zsq{pUNsSzR(>k?ljvjmj-b=;uhc
zw;{ZkmOj_my4E5n+}zx?Bz-Tf(QdMt7Ouul3YZX*8ezHh-n?B}e(Yw-`z#!kOBFin
zl~^5}SO)J^^qJi@I)<6<4Ll@z09=u?lWYCsQ}$$%H($cXJ@Hm5Bl;15aIrOV|HvrH
zh*_-HC4*otjEn<)F4h;B-Mu6E{MBUReu*OTl}rEB6?Cn6`0~-*>L7RZgYO07NmEDC
zG3@VSw7AgGUM|jY;4S>x(mU{CK5JGKW1GfMU@NyyKz~57zD&OYyRoXW17}8E8d%@K
z1p)4-L@SeZSxYOfj4PZ~k#=(wT!q%Z1Nw^3F<R1<0~vQ{V!rA>U<s*$=1cvnv?k+~
zVtg3P+i8l(eFA0*M=3u^XU%>A?GKpxpMMTy2A~MC?(`^OiOkt6ab5my4k`!wAW1?}
zCgukAsEP0I%-?@8@v9B>^;dG2w0mGBJs!lNi8Fu^r5Yd39jAZ?{uqjfD)I^IrH!2x
z`T5NNcD#QgncX9u8qa4x<<eLGXbGneCe7*=+V~^pr}P<96J(E-k{ZmXKC|ow^9l7_
z(;uuy-QhYv4OYYSz8MkTNw~{Iho%(<7w0OK`;G+Hs^qhZP!(stsAqt%ejfWyQMNQ@
zK*Y-*bQC`lhm7)<^hZEu9Q&Be55{<a`^Hiv?$T<XKjwYr+%-ft0u9a`-G2uN@=OxL
z-Usub#gZJjIM95-ZO)qmInpFy7g`d4^?nn%?bn?9QTawxQErQ@uVUmsna7u=8arzM
znR520<adb`z9Xi<ZE1oy;*M82Xplp7v_5F!Q({puY1pY|jpOSTrbt4#a(|EZG!^5K
zsHx)BjgDNt&6>z1UEj1dOz2`a+jWdurD}H1Tc}@E*V-i=wTP<lj%J_6`Bpb~kT4dB
zx2qbqyXIaU)?ZNOH)EBSdbBR@K!M>>J(&rtDpGdapvG34m{J#FAXJ^Bxi6Qi=2Nk+
z)ecOWOpZXCkV1W4UP+AHiaZ9Pz{{&_c_Jet1@+r6mpl3k7nsm}K~Sj@;1b&Mra|yo
z+#D5R{*0D~{3+g@inl1#3sz^JHbnMjP^?-4^GEX6o6!QxO$y$rlC*`7b|lPaeCUIY
z(F#kH96&qBUE)5oO7}Ba&8B74##Kp!$X<V!R*!7Ik~Oj;G)u%x-(C9D?Gd&&!)cjZ
zn0{`msGQlV$5%EhW~w0?Vl;N(h&n1(DtRSKbRqJTeNiC-808IZ<(GH0TX|Ah!bqqM
zgRbBMsqp|!&gJHoa=1elo9wF1ZHjr}c4w`kG_DT>onW)*1m$0bLQJJ`VyYP(?Wy(!
zQ7Zj{EMfzx8!kvXvrd%_Tq)jBmyJ;cE{8ooJ`8T&e!RcJn=KdMFUh*TQv0Es6y-#o
zkROj2nDsQ2guPVP)6n|<o88g;Pnm}cgt1gq)UYYaTA@(JYOm{(&-#{?EP)sB<fl>d
zff{y*kr`0b6S-$kUWSFUk6m#mCDqY$xTm>VsoRiWGs`8S?+RHG^_t7;j{K4wA|G=H
z7o{<@x-6}`(o-)*KUjr~lNPr+JPWh4&Tmv+y7$K0HNuiVKZQFyTqheVoXuLS$=`qU
znJ8{Dy`m{uLr#ghDQ4N%UQlSH*kbRL$pR;6J@f^>6%+LXdBYLfV-TXD8263Lb5p3S
z1(LHh>e`>h_k;~H`XKf)iA7I^ifVm!g5>5zyj4iJGu5VUT)d<Xi*QleW=@TwsYP3l
z+^G7@go%yJH%bnZmv;TbfJQ%s(zN0CIX&1D@Fgw*1?SDN(`*53BsT)DNJSP!m995~
zDX{}uUx0?>_u$i#N?1pBd&QNr`Y8YT2*iaS^&{LGRX@(YZVS5Cs-+bWVWzkuk8fX{
zOiXM?I;a!hRk=xYCd?+W0VA@QPx(J8+TtnxhMn>}De%v(x;bHxe6iSIS-LM+W|=Pg
zls&?3j+D=`>3S!n(6p<lawWo#eg2}PMvMS|kEJ<j)$uZrwlaCXaI;18H0Mb@E>I%+
zY3!ly{v$Qd?tO3i@dO=6=wJ$L!JYcX0XX~Hqs$Z5VkPoY@23VA0<v=Xo<fjTGgGp6
z*~8<-SB@{xq}rJfw6k$n+q+pld7B5ILO*IxQI9d;gpuR74;+1@QGkr6DbuJG@!$>-
z{na$HWGS?!fcLfRP+roMpWV;Z!eV#k)Q6e0=r+r~YF~F`U)?pYi4X%=K*QtS?~;L=
z?{5~~iFEESVhCzo1{(RT`K!!c7_B?bn9Y&$g(N)*^4;+{HfG2(piLOxZJxuBP8H6<
zby}L_z*Qcek`SaCgy+DqbgVe5)PLvSXg6XdQUS$uOfQxFoNo}niK!CML-1_mvUT0A
z89D|6En~SZFxD|!YVoomnbHo87x6M~xwZ=@6+dTqN3vDD&#B{*tPRND*A76Qer~T>
zJN3Ss&lIfJ;5R*uc!Ki_h%g?mjO}n?5hW3FwIs^c(j1%H^7}G9OTu00?)kK(lb|Ey
z{ogFntp8Y||H4uKTi@OOx~{(z_)CGm6!>4H!2dLkVqygTOAyl0l8;>`BPQ&q$-~P_
zQ&uL)yFhHMDCgrrAf5gUPq=tGwwL!my%s+UtrHmi!h2;=jtp-@6z#u@6r#2L2!t;^
zZ0*z&fWfXmUf?)KiKgd5)A|EJjUT)KkWPSqVj@-4vxe-ST2LW`Z$c{ErvhD`0!`sb
z=gBw+;6q5w^Ty52KJ8=SF)YjPr?XIJl9*?GD9k?F&w)_qWki+v2j)|d?iW%~7ekf1
z%$2+R9=Ccz`wjR5KdJIP<Dr_tNE#YZ2P~WX38@16#BL~GrziDZ7zk{WcWtACzW~NG
zozT*$(9!+Lq|6o}Bg1BS>Uk*>Rp41J!~JQ<5ps31BF~O|Zr^O0rjOtA=Fexct-8uN
zI}pMKNFJcK=xP+LeTTMm189d>frd{SE#Ho1fb9p^VJ9snAdiNf;$c5_$04WIG2-29
zL&PUtp7lqY<3(M!Q{{o!58$I%86-`&(2uQn*k`&qJI~q2JPT8h@=$>;2P5AN(2{FS
z5m*n`H(;;doPsKOu`wJ<G~3qhgzMc$IXiR!NE8ZXpl>2=F!pSd43s?R*A+;b0RG4w
zkpSkf1v=U#^&;y?wGa{?O+YM(+__<hTARb9w|{%-9P<1NlXBS4ZZ*AI-}uRopg>3G
z?dI_e|7L33?(dWdT$=oNXNNnaOk+K;VkbWf3<BQ;Wc@3d`upI2fm8p$RR6w~tq15-
z>h{F|DJL(URK4;h{0-2q49A?4{^DA82LuxlkW4#d;LWj?ZBC?dWN3#tW(exRr#Es$
z-zYJxO_pj*(*)(#`VYD{UG%%Y;v6*xJ7Vh|Tay=p3iaAEW8g8F*_{TcWi*Xo5`uFN
zUQWS0sX4pm0yWqIlX|h!o?ff>don~3AsC!@ySBD*fBdg$JR?2-4tM>D^3E**GOhRo
ze3G0C^wYH)+4g{+PdfAT{ZH@!@#HR<81U?V2*)egqz&a}J>U@E%;vyxeO}bKtF+N0
zN^&6@fCnh`a#z1HP22tFY!)1<(v2=xww+h1<p&;sj_@9ghd>M-IMwWdCo1TiLA}@Z
z9S}S3KW0AU=6@aYu#rOpkC{3kZUvwj5%+BB6n9O^bA=q@@fU<UlkV7_jW1qSTPB-q
z{D}!Si$G4z*cu8mCJ(n$xbAj#g9eq>9FXyIR_IT5vqkg4f&VCd_;+xuI}&OCjeBPM
zhkO3_fD6b01pX`F8VEP2M_SsUd4!(+nwk1tE<~5&O9g(qvjFy%)07os{L6|kx=4_l
z=E9cX538)>W;Z!95uzxrCr5ce!gB$5X0Mg!>2c%ohB!~>87hx5bK>}N<6<-Vls<VF
zl-GKFxp93G^4iK7lXttz_4JY%*}is~R?lO<V&+e{++?Y#|Eg0gq2uA@`)E9_kdMI;
z1Z{_7KQLnba(7lH9Im%1{Q1Kd(gsxhoDxqCi1uxMe#m43y+NyRT*%%L#!bAq&jA$Y
zaPUVV0Kf_|CT9)#l=}&)PeMi#7>-KyQ|srK(}FF3-YYD4wlHUW!5GC3*A+@7Vr!Ea
zKci}QZlPxzNq+FMlGRttX8f;oZ|X`a$Bs#x$AaFTL~x|dX0)9(Z}XWjs(-)EtCS~I
zmnYQ+W^=Z83DEvrx}phsSKPE}#k|A9cy`HjFzkyXs+I}y@JCt-qW@kBq)e#lG0Bp`
zhR>+LrXV)+3wqmdt+rQ-hqjrYu3M=nZE9W*D$aS2x<H9Lr#%P>`j{*#4u}cOtHkap
zkodV!AS|zCEmNEn9fZC`0C11z6lX9yzcE%;^F7RA94jogplF53^(j}w*NhqkOE&uE
zgqTCCJU^e>SLTBJg*(1Ic&-E!79Z&c7(aX+sPO3kjKh#v%6K<-PGo0cjnn4^fxN#A
zFsk{nNZ2#u_-Le`i{?S5CMH4cSZ0euZ6l0cJ}8G9Rt~8JBCXB~$B_KxQ;V%?WXgA3
zo>zk^!|^mj-{?x!w`F)O_N{~#V%FVhn;yH;#x4?v^dUj@&M3JR9k|u^Z%QSUVX#D{
z5%`{#Cm3?mmWf^B!twF#9U-bos}Ve5py4rQqzAGQO%ZfCf*$`ui=G|`{yGl2o#l#q
zX91STSDk^R>??iN#ii;E3*k@K!oCAN?CQ)fW)|AKA?zg6b^1l{$=9W^u2wv3!$E_&
z%_xbrxt{TCK02vOF!(DyQ2+)Q2~BS6E<=0DA$M!2q0=uvR0%#|J))XA&2yF7=(2u1
z(m7A&(rZPv=>0G!E1q(7ngwcb7Qhp>Ic~GD`-#+%G-eY{d(%xzj_)a8cNclIu#?M_
z@|^?mPA$U+EM<DDe6Q0xRWWLTmWcSFBl>xoAc^Ks?s{}5;yvx@(8|Zt{7D;$-RSA+
z_aE!yzDHimXA>6p1%`}=z`PR^cdHaqBfafb6yVE*3#37k_3HXEC(d7~*A+dUO>Tfy
zoz<3|y5;dUoe@o2Pg>sN+lIlgqRkg<!toKzZ(dGYo;!4z@6RU1ltjC;jL@^99Xq+C
z-!ST;njj_NsO?XEs7g^&{q{}^sPm&y0Ny~kiW}HZQ8H_#JDL98Y9O9BaJt}I+*sfo
zVU_P<gvWG{zHlj>E*&;@!YM}~*J_)Z5JH&e$FN})8~PP2vTTwiD-{i;;L@ZWlhvcP
zw(Ry6LT^K*IhU|K=FeI4E-sX9#cMOiHU(y~9FKz9CHj1wQYX|A<|G5_(o6$9ggaw#
z0>^MgCiUoSqLl6WN85K}r7(1vLCnuZ?>Z0g&|7Ohje-M;?Dx>#>^OUWZjJV$<jny$
zS!538f#1edq~YdtWApSqr0U`{szzeoy7N7!Y9Vw8tU3ifrqL_<9&4w3s+n(a)0zJ)
zn8P+;as4|&OQZY+IzYA;MKwFLv!yZXBQV-_<?Q2gc<-B5)t<NE$eR8PP>>ld(ePvf
z#h1dAQ7?aaa03+WY7^Dfk78#pHnZ1dT}4V_Sw*GAlOqT09ey3;f*{IQh-MLmw|R?N
zkn5=^tJWHx!R5q)Y0S<h1!zg<8ig*x=7qi8cU783#L(s`V;%^fwAR%KPBJ98opum*
zgHoF~-h1EhYe|5f&Y5k6=gXGYabZ#O&?CE_enX|HOqPZ$G*bv>Dp{A7N}l3&NGF?+
zb5Qu$L<i?VV9R`C30|KWq*TV!;|hvT?SLwfylNX)y)wgJSX6iqP^PE26z32}6uo^_
z*(!jzt1{AhMg*C3xvH9LOcEKu#*F=_UttgZU3^x7KO!a?K?ZtC1%63r%5P1;F<<?M
zSGg~N$IuLmk#(?Eq8ma$%b*~Qjn3Y*;QKri6sH6j*?n9l8Uw$m7a2~5XDMQs3<WNM
zf_8bO`0vxydfyU!=Pcjt+MG}g|I!)=XWdEYa>48=VwD>H8Ri@9jsP}t(LY#<W8aBA
zOo8o|PnSKX>PC*u6QkOg5AndoKl=D~doIRgyn$oHHZ_~txGrwA(4KNTF>G&>WkREY
zi6J8B3o4azqP=iYNFLI)l#?R>iOTSey4I~pz;Tr}r$O3>9`<M^4gd^_<o7cdduXR!
zRO3o8ZsG^zEY-)@?J{M`Di#iBe4)!J<Kr%e^o>i!#i7cZ;w33wEQI^%5a*xDvbV`N
zM-NxUU;6cD!q6_b_+KJI;}wZRP~t)79=}ik({LEAs@%+GY*?-J*D4_<Z*mY`=s+#r
z7Pd`Tu@B>Tr618kmsSb7WUa(M+@?H>@TWIE<;T(Kc=Vj(!VVN3k4G}Z?7ZKV>*5)|
zt`-hSx<HS#a=Z<#+^V7U-y*9p9OT=!$=*^{H~v~9`}HjiNUq<#q-X47|8lf+?C*34
zVYy<A;zK@oYy$m*LIsowE6lazi}BnhTTe{l!}oJ1)fJy)dDt85X{MWRr2$ucKIB}(
z_wp^jQa@cDgpw1Qf3n&`nt2K%`hxgekL?IWHW4X!Tis*iGx1ygS{4j<@BYc6aM3ig
z6n?>ZTcNx@AG42l7wl}6mkxt6kPh45=)B+C%v}R@TBD5JjjBs+*|5kyThJ1aH8W0;
zr<=U6IQBKd`9q7WErDdSC#?5DZM4K$t*qUS`b^t_a&<juueQw^a9Qgf^YD)L$6U(H
z8?k99jf(w!_4yD<v$Dat66rYGtftFx0{VdNQ1<?sUu<n#uyN=VCG&-Lu)pu5KE4AD
zxS}+fmf$vY)UN#qco78hUMa^pVsM~*=y$dDXv|!%uU}MhfFus)5GL<@3(WyGrV#cL
zQdm1kHjX;bw2GuY_poEn7+3?-v+<=l=<U|(W)pl5?JeImWcU`@LpAh5tmp4FHQMKh
z$cJfSh(G`I@b~EV*gTS^(=^=4i;bP%VfDEkW$H*NN}jy;A^=0NxZEv7D74Z_vg?-&
z*1j`nVNELA7SEA{drnR?ovcST$a?0&H9A)+{qEToQl+-#MDut)!aun;!!OgC=RH8U
zgb9`HMS(O*;=o>1y2E*Q*IDeKJfN;7v7oU%X;zr5pO&lngGn~vP5K-At*Y|7cTn$f
z;Nu!ku~!8-?Hu<^>wMC&H>wxu@=ffp(<2Nz_MhBG3&Rg(HC(d|7<aY?DyLE1%cg&g
zzkQg~31tCpz|Izs4WTK?<U=Qbr03cKyg-ly)v2hJp`6hfY$>WMskM^J{%hzoe+9LQ
zBtw3;?F!1sd5UXx`}_=-P8BU@7DJ;+J&z2B+Vh14-+-8mMpn2%M~_L84oop`UeHHN
zN!o~gNtSE%BK)LmkibC&oYtm6LWW1jZVk45yw<*%1h?cy61><=^m&|-Ua-$O>L3Sp
zxz`rPB+@;;B$>s`G1cVLuzLEC?qD0&2|WX@PbE4v&XXv!?#v>^O?daqLm$I0e=i9!
zj}08+6J$kWf*p?d&wLecMwS{#KbOvyb!B}LQh_6w!S0Yh&`Q-j$xYy<wx1Zv5YQRi
z{;&$8(2zB`--OAwgP!&N)2|(OK*Ynt$}=M23IqLr<E1(O;idl~(f^A`&0m-DmjZt&
z@RtJrTNU`9C(#^?|BR1bBO~o9xG>+1T0T6VEEZ(?NlKzlYEHA;$H!(p8&-aOtA6*4
zjrR9)_hp^EpM>)@2J%oF1{<>dCdBabcUUwGO-}EC&euRiyM<c0b3_S@l)%zgMvQ89
zwE_-y#-;rmAD*Qz&{JvChil6`tieNDhzN`&$&?;9;nb58K2qeOqtDdNI9vZE50@i{
z1}leeBugHq!XT~8i4^l}9vEm&npv8d*@5>aWXQj}N22*ktSj{k%xg5J>m3`3JbdhK
zOaW%|$e(B$H8Sp4PFPn!IQ+;+SQo;x7K>b&B+)7s8(S0`YySu2Q#{^0*ql@-8Gsbb
zi(8}sSr0b70@OjkRC_vw%h|NW?|#pQV&3C_1JTMoDWDWTTayvWrx8h(l{6SY9_JnJ
zaSgn%FUU)yg^FZ{DQr-NEqRkNkRs*7%hLea2Gdm9NteMZiJpHY(G%r?cz=-SymzI%
zqM`gqA@Qna_56^=VJCYatpRFeX|c`Xf3{A4l@1z@{{)N8Ftr6*CG#}A0_kGTAVfgc
zcL?y6q8bmVa=f;fKQU$Q4vL4S^bU$^a)_ra?)>gVfs}2$SWZAZiQM^NiM*R5UP<&a
zgHuY_KLcYt$8qf{&FZTE3~^Mqm)|5FY|T-Bs(CChceG{sc6Vl;;`xDAr%Vx0#($q=
z2Yj)(9HY}{(*6zFCJx{JdsyVZ=gt40h7>wQEec-306L3Akp7_0wiSD1%`pqMfC%?_
z<yEp~Rx$wR1}K^9SeX130Y4<a*2rqPQ#tM?oon!%5sqZ!X$!y+SA_Rq6%I9S(aM>j
zV|8xF^Mn(NtxeX8*=qYO!h`h#YXBhar~NtPVm%AA?v%E%Ko>FKr0-?7%C%5`(C@U)
z^)J}|A3>#mtBps2yWM>|xjia-Et>-BY=G`qAZq7|#h2gLbuPL5YuUJfvzRTiR9xqd
zx`|-$t-&Hhtyf$Oq`X5qFw$)4g>BU>9^cEx8?ogFF1|>yPxiZ5?|A@M*Y`c&!2?Pw
z>xW;N_!39LlbI42MC9$qRx(}nl>B&;9M4-T0*Isqi1lSZC0`yJwn%wz_<^fV;<1Ck
zCfk4`?gXZ_&4L}46T@LYuu1B~;~l7&04aHMNK7AiV7&-&w2*GqBIo>keA>kE9G`UT
z9(rK$w~*PUDM;jr{(!p5;Z3Edp@zBR`7o!m+RBaUw%VS1ieF#2^(@xkZ+<ki$n^_o
zI9rkJ|7y6I8UHfe|6A9jzpm>q1^!atF9rTrD)2vUxS1GP{?%}Y{So@{ZuH>#X~k76
z?D1XD6sh<ydu6C&wOuFEC&jfLv47-4Y~FUUCJIOdwvl!>zo(TSgu<p0eS=8qWV3aF
z|7R-FLroa-i=bI1##r?q`9~!!sftYy-Pf3qSO44PCXST!790N!_K;Nx+VAJUd>AxV
z@w6fM5K+avT!k~Lc^b^u$d7q}2~#wrOiLDDW%;IS`HEPD{L2~tKvQYqsv`NS^0&Ib
z=gU>q3Tj_NKgj>|*Uuh=s0A>Rm;H*M=Ar*^-26+KuO>gRsWt}9C&#9Pj&R$E`l+Q-
zv9$VcnK<(GU~gg&Z;9ibO`#LIyF#vU3Qwu*fOxyT)et7{HNcr9gWolSf6s1lt|S>e
zST|7sW;|{JO7P!d4gC@O(VMKf;`{)UDFB%1cZQAT$&Gvh69UK)GQ|OVD+&~_5d~f?
z7@c-2kP?-kGi7z*uqTMumI8Dw(dQlwGc;xzx*LE|@7ytH92gb2mx2|}{hzIXy_9aL
z1{<IQA-t%=hT$$3dT8I@4ENk0h8uf8^^X?f-wk)itKm-Iay{(L#Rn7j{$aQc_^+8>
z4Yx<A^tHiL^Q`TEWW4+>g~)7D++D7ITK@0ZL+8`#-g^gk)MbN^IBlV=YEDQq+%lh@
z7#4_6!{`DOo7UB`oK#;X02qkS|MOkt|LsEm43GH#c~as|&@5-+6u%KZ0QC%T+g2PH
zx~<hUg4d|)!nhN(1EauEwgBY~ki%%2;=$(ZMItgtd1H9<Ed-8}v+2CBH^pG&+kG~F
zf<9*tWGrT8DGf7i?CQqEi_R9<JWL13bCBmyczOzD>%TVOTr;%R_BaUj4<V~P$X<T}
zTXS%B+SZ(K6kKuqAKkW{D4<9NIj41qj^DB7h69x76gBr;UxIr_Hz*DOt?NXB`>fX(
zk1yBA*m_c;9ys>;#GQ1=UZ|!Y0b87Vj{LD0px|xp98gD7-N7?iEd#p7O4C}GEnDxO
zK_H9v*g8GtuYp74Rd;xU2iD^d(XFyFN7~edOmIA{$;mIZCpxaV{ABQuN|HvP)Kf_~
zcYQzS9G=z=!(t@(_koA|OSUKAx7(6-GVMd8^EUSox0=9ikNBg<u=vGAN?#NHYerVm
zlf>Th*W!Rur<BE>>AgEu3g-3Po$i9|?j{blYiS+#&<%?c;=cuva3+8aMn<k*_k(H%
zM<}~Cfekbc`c$~%z$Z%2gRhBFsZ+}Tcq|ADoA-O8dI;J7H%9#bYF8{KHb(Y;ekxU~
zLaaWsqc-o*+`|duIHRL_ypMVVULa|K<qRzzGYi!P-97!Pw%N<2lm6buMjKgOxvvzt
za3gIk>vf4OefRU|%JSfwK+(r>r}0nuyV6TAF|?+>FdI7+<eC6u{JIuv5H~CzMdok0
zgkO%TW-j-a#x*+6%Y1QZX*xA|D~GX4$P^X~wbBpiO$8sQ3Q%j~4$@5C;J-<xdSQ68
zrv9An!8QW;W;utX^JehiLWiN%y0wKs1e-4>Wg+AdVbywTB=}<yR3`LjnTVR)=732Y
zg~-p2Z|Wk<z=WUQR5H%rNpqSdMThBetCdt3R15Sm&~o%vnA2COI~U2OrOLGXOXwig
zDXE_|Jc{IQpXBB{;UNtQ(nXQWyN#{~@11dpRdRXSz>!ZfDh4;07yD(qkzmFE9Kxo&
z=vE3-3r7|WMOu%WOCP4}qdK)eR<-}?!U}-?z#RQ0?$&Jt%BzdXL>|jn+~b2|4qS+g
z&ILVcnNWS0-Fp^sjKl{J8d5GZTsWETvTeTVcFurfu6Kl)wSxM5l?=^zOj7mw8ne8l
z@qn{b2|mRJ_2@PY{)N%-@Y$pki@`9%fd3%y_qO%scO{9q{lY9?uHPbpvl6;r8RnTZ
zX_r|kJ|*~yR*;hix_<aX6ZH$)wVUXi9)LiF4jU=s660#Iv98&dTwY6{U^IN$21nAc
zo7@liv0}nnI{9ORw*b*6;hnJNI+l|lFEEd)=RI9d7#dupa{aUm=ee}nTrr0sxnE8=
zbz_gCw~O!!uRTG)tkII&KsmcwjJ*H}b4nT60d?=$`<$6K$&J1Oj3}3@WHF~+Q)~@$
zj%tKU*j&Rk8Ue8G2|{142l2MPijF3@vH%h`zI@Gbd{~A@QK&2Ez}=gRGVZ3oyfHLr
zDDGH+?yIvznf=y_{qtC;tgdZ!-J$_eNV?(E9+DQi3eGV|wo4!OMzc&6>R~uAVe*5M
z!Ty4CMuUCFZfRGFoQCkAUY>b4(FQd7u~9rPwmY3FM-`e2YHN`EX_8^zev7dx^`*;G
zpQ7MmuM5*I2Qwk5ZwA>fqQsTPX9-?;%foCbOB`%yxXu;o(Tz}&_Gm8=O4EGXiiRDp
z4n+@){se9j5%k|BN*DAU%tN@@XB|QgC}m4mBs}m|gief(FwRV0Gs}5+S@Mkt&L353
zU5+)80np!rsb*Dj0zOZ>HFj8?<cix9MP(}y{hA`)wvM*PiEMU9iA*9S7Wt7Mn;(iz
zSbhst07FQG>Pe;)_SF%oHC6$_XQM>cV8o@W+V`Mq#(`2<i(g3c{wZJx{>~GLtr}dh
zP6RQ~Hyj+VZF^_#!V$z0Dgdy}KnVeclzL2~xH^6vmD>Q`<rw996+WRK_;cslyCjx{
z=G3EDd#nxd`U-*>VPj~MP9!Yje;Y8};Ga*5xSB<>*&SdK#D@3l2MEL|=dP;Pf9U(g
zO_AYyBYMQvdV+*#?|N#`c}CU!Gn-|T*h2!h?wBv<LzPV0^5Ih+W}JYJ>mgnDcJH#h
z6Y!<BH+sBARO3=K!K#o69o4!*qMlVPl^j*LRP*cDMVQhy>YhUW>yB|MDU~|_qk*90
zP@0!5Cb;(BiHVP{!gWwrbqiSwREw^c@53bU$UKXn;q|+=zSf${=#MF))&W8Nc6oRw
zg}|U+muRkxp;U(qB6Xx&N;xCsj`$*<z7YM;rGFbWRFCJ0aHH=rzX82rdqweK{XJ#z
z;wMYuIA<t~%U=aHqAeLfqGSYaY*tm1!~Jrf`or3EJB0ZDo_qQ8`b|4V>Mv1{MTc}b
zHbCpsL?s{BR?`wf{AO|JjOX6Mb-)|J*`|IbeS}{0L0R(|KuIXy{ulqc?v6KjxIf0{
zRo<!anR5CUXiYANX>THwNa*(H)8gdp2}Zk45A7`1?7tDNO%x5#JW`Hx2Fmqk%`F*C
z2@$5^tA$@yNd@Vz@wm-<v|hOxSeFr=CYB00$jU@ONy%Ac!H?`9Z^ONHQ==!@TzBg4
zhjp%_nfV6d85!yFtczaaCRfcLm$h@%vAau&`n-1JpEIE!Op+L}91~Qg6L!3Ib?Y#t
zGbl3QK#Y4rns4OhFm7vR&2>`3pWV33+fKwCh^#gz+h5?|@XL12xS(Z({|WI6(7E%!
zE=I50zx>~9(a6g2FVWFcc=cAa^-MP^mneZ0A>D|mm>*}6lIe;EZAi>gGnaI;o;+2~
zXs^pn)B|SNvfHI9LkyR2>YrK?q$kqm-j22|FMBOKUpGBnnKY8e@Z28Vd0vRZ64%0^
zTprcz4Db_I*F00b_2kZ~o{>SBHg)?k1N;#Ocz;Q7i6QL&jwlNybmhahjG;|6wo{BU
zgcDeL%^se#erL6`)ID}h7ypfv^g~r;mJrq+{EJwoV)rwQ&U2G$8UJw0QY08#T+G2y
znHRTbZd(-C8xj}Td2}%IM)KX+Wg88r(Cv3H|C_zF6zv^3?F&KQ*fsbuoNS$Gb+^0(
zxx}8gg3IR_M}q0p^%P_V+=ALUyFO@w_pnJy%YMP~j95|<yi^fp?x;3h8||MSS~9Vs
zC%h=I_yh~5xyEWUaD?-w8DNN1i<>ZEl*w<DjRi>qaaMYCymotNn9mC7D9ZQvm;1e-
zc}4x!B8m0e`_tP(TXpdC<w#@ME7ah`Db>30;752?RXt^oky8DMx{*`1TZXWXQViyw
zRKJF%$N10AmJw3X%{O%vDH`4HX0rN$frjIi(}oJg{)a^wXT`G8M9St?&B5<lN$!8<
z&Swj<WG^B#7a%@NZEM5ACA~?q+;TG#GM8pPE+fE7h}TS@D}@;Stc0hI*VlfIbsg)#
z4tBkp*fxp|*`rC_{N4+|)g%90sP2zJkw6Sm-+U`VjI|1nnIh3HP3g4Jv(VGL9-{E+
zR_26@JJ`H?YCDji^<uKyHJ#sqX!<!IMU2ebI_E(5S6XWA3Oknk?DK4s!luT1)*{B$
z>jnSB_ow>1Ge^V=3?Y|3Z^J2Q*jA%!YRpi2LD=HTA<5z-Cg|j#+S{S+Hn~_r6}Axc
z<4{`!TNf@D+_i>mEXR6bNwcJnn_{@vjv~wO+_Op_7@|Lm^$Rpi8G3t>HY3B2XOT67
zgx|`jM$&C-ISsnPbMG*|Uo|<IbHJYOiJm}Mg4?Yc)e<XpF_~Z*-TBFvO@fAfE=JlF
zFCH<sgOZ&Xue|$ElS%g6F1v1uF@b{M=AbsrZd6PLhTZ;5OM<*Zdtujx3gk>#^(BC+
zP{5}MFFzl2SzeQ1(mc{kurIOTZ7!CGQ|c4v7X}fFBSIWl)l8X*U$};TxoA`{JJGU0
zLu_-6$GylupH`XMaO1Lq4OGUd3L}G%s5Z3q=G{Gt_Sll+2wN0_(Jjyj`DumY5SVEF
zoAFb#w_?bNS=v|<e^{XTV#=RUNOOeEYNAD>or_mnm<iFL=p(E(M^J44)Xe87hv-e!
zh6QAtikw81YS6ZtXxkBrru#LJW}aZGlyY;#VoPd}E2qbFXX)}nLZVrQZ7*IVb$^Z#
zXcEH(6lG)EVzAtiP*;eYnhJ^8R>r>G_7(I96ijQ1F+mbFJZiC5?m-37%6!OX4~62e
zUNGXNX`Z1!rlh>p!j||uXLA$E>S6M&#d3704-Zf2f6|4;k>=L0W(3x*Kd6h=Nus*N
zrLTbm>3IEG05i)-U~`-+B>45hl{T%Qim3FX`S5EyEimuS$I$m3q>7Sva;(^oefc)K
z^IVlwuo{C)sKjC%demd}3g1}zT(xN)crat=vfL31vcx-z-6)|;_aq5@AO@_-k~)CA
zmY<&+^)VXvrsKJ)UFt^kh<~nEP<?B{vb|U^a9Pl682{>ABo@uEr`Nd(+Q=)V;*oPw
zbM(!Kk?ysB5G7H16r-9;*)1cqrdk(_T1z`X{GfG~jrhfsRBQJ@C`k=w)A??G+=b(J
zuzs0!72$_00tkY(Bs5H`y!NTQEAv8JKcZJz6JbpP8de5UX+b4Dw^Oe@uK(^sp(`K3
z2|ZJH;X7ET-i?6G=mq>>OL9Srg!)nKk7``keRC5*9E*})G+C?%l0)f~7hLI%bBB(2
z)5Py<ShV?Qo|CaR<}WX}y{<_eW2p7t#IOsAojSstZ*!N!c}9xRO1Naxnka%7nZ9gK
z(9{A^>jN^E=JoTDt5vjS*4(jqB%||s7=9lr7xtZ;^-9->VCA^0mRlxx(9OP!ZdujU
zIN)r$MjqwL0kjJ^0PMOBru%JmI^?0ijQx*=NK1Q?svQB1(_)@MYq#HY^p~z)PA<uc
zr?ML{ri?b7#5zcoV)%j=4RO6>W?*R!z7+P61i|EQ_rv)-Tm9UyW<@>LEBspV5DR%b
z7XWorAljQeM=;tytU){>C;6~I&^m>nsjAtB<;OAL`l+PGS`rQovOnl?IuR^JK_vz|
z>-_WnOl!}1QF`A^gG}>X7v-5-TbYu`h5V5wQzI7xZw&JQby$|+;+9Je0nbeJ9;ZL0
zvnZ!4`p^WmeI@*<PilYlI~b$3RGWG>Dw2~=p2sP}!bV1triYkzBCMXW(%}-1&{Lav
zjh~439E#(2d6M<?v$;%WIC*xlS&koN>`rnwTf0M2I9#++hT;k8yXWSRoc$5(yD;D^
z>3&-#TTH1iFO8$9HP-Nt8SQGV;!C{E8$8$0Jlv5kq3+{NbCQtbb2EIe3^f&z_m-&L
zytKx!?IGAd8E4QZw|IS)&aAuWd!0RC=%y>@<PIB4&2aOp5muu>WKvDWMtEKh!H3WA
zD|#}0us_l749O2BVm731eG2C&IOejy&4kMW#?%LJ{G2}OE%jc<m?vE{9|0clV4tt4
zA{Sj<o2ei+t2yIaQ_fl#*qWuHGb#QaB?I%Y%CmU2wo8Xt`x8^ejyTz7Yf8$-H@sD9
zrY4n0W@_Iyw*jTMTnm?c?S!b(-#b4WN_sceK$V5&YWid*3T_mleY`Z-?R%e$kX*=_
zzRy}5F>q9GY(p>UtHcxvw3v!*D7}LNm>4CBaC7ymY06d$st^3yKX#JDWu>5(Sm@yn
z4Bk%)a(3L!Z?I&h3X{GrGLtG=eWHd=v-`0AJBjNF=%k4wxv0z2Pce<V7H=yx2vjr~
zY$3{jfl*#0IYgGkK9i=5*)r(izc<4(I_(E2Q-kxTZH+&`=O9EM<h7N2w?*E0OKITL
z%h{B2_?uJ#dlPFKV~8+Ok65G<Y5u*tV9^Z#E(0y)NVRr?NYAGISWrfwta-20nIY=U
zc__=Qn5*3_OhIao(p#MXWX@#hcHN*ZW8e#kuV7X>Tzq(B^Uz@;4LNo7;(D8b<My7w
zHCknzrxmNe-DO)nLR6iBB3tfVOLsADe(1mq#zx(u!MnFtKkO4ss^Y(vF10a&Wwe4K
z13CJ&=%mE>)Pgk2*chG=@;)}lm=2DfXR`%?)ekoHM14~90}%yDU0WruC~^7v7iQ^s
zhHE=3vCVC<ii<?%zApC^z!+bpu?=|vrZ1A<ONtb5q{pB`fEhNimPggJNJ@lk9;&gN
zFA?Ns&TKa^E9c#d_m>I2K2ysEY3F(^GlcY5S(Bo}i&9C`Aw}<3(-jwgDTbDGTQs&m
zoyU1YpMm{k{;S1g{iiJu|9#dB6AO^}pLxfUx}^022Wrbn*(x!kB=XAlH6foPJ?rl6
znpq)&-n^rXyr&03K7UejHF<(9pG>CA(QJ+j&&|PJy*U|*gf{Oe&NkxqRIl>1(8kr-
zmqB%U*m7Sv0zX6kc<d-i%WnhTht}6Ao}RioEmYVp<+^j7F>0NJluqS|+!(W+TWMLS
z=d^w?f*&2ZD09lYO)by_DN)~+3hv(GyF&mLD8HXBPdas^xVoDWO%1)|4)Fr&5RvOQ
zO%Ts=Y-phsP!cIx#`|UgUXmqd=zYYWW#CS8zE$a$lYqp8P*X20Q!}e1_P{aTe8P(k
zr=xFnU{ui6S0yB&ldXMdHkyRrgfyb%Y-W-eR4z<!RQ4VHrmN0+I-P9@AwJXvM)69b
zsVK-<o&~;c9+XPK2Z$c=EB7G%ay|*$$m9J)y;=7D(C1>@b6@^Q-*j5P$|@B5kc1qi
z$G9@ggHKP$<4a3>6-xRUO160JG{*oe{?rF_YMUJz^qyFHI%c?Eb(@|EOVOoOZb#(Y
zQPTqk?=TdhiEIUuV??;VyR%yxU~J!-k4bZj#r@RG-R~Wpo^0W;8_r^RYDsP*G-D9R
z(60ACG_Cq*z<QS8k5d8o_EWzd6T<leNPF-Y|E*Og5WG<N^t?z*(%dno`Q8PIb6@Mn
z(gLbIv){5<xMip`YNK;Vg@A3*H{n46?CbXxcI5rkdamD3`x%q6-x=0t42*|!Q+V-B
z1*<JPXLFiQUMgXPv6t86^*hgt-7BX{^Ql-0m)5OK>9qV*j&xBZWo&yxmzn2V*?Y+t
z$H;2amhm84kQ%^?b#}{Z=4YRACgC4Vd2UDj@Scf$TH`powC$HI?ur^;$?Esd+NpZ{
zSSrqBwA{e2anL_8hzoBka9!Jl6|iIOi*F_J>pvCkUuXoEGg%OmbZNhxyU*43wSu!`
zX+KQ4l;c$2uxdEatrPHGL|leK8J`YcRmWr=xA~lo!+g%$_2K)5azof8y-1|9>a}&`
zmD`xcvKZT1u%pw-$8#zlbxLp((Wgc?zXfTYZmK?x!e4YEP{4L2R-im?V@^Ezjx!HT
z6VZ2VeiNi-lhh?WhQrm(u+bFBY)>;as*&mwiR{VA$*<%Cse)WlUyqA>y^v1@<lke9
zQ2EQNwnTs3lycZl*zfZ7ZAb?9wMV7p-V)T=@e!Gx))r13s@vpdcrkvF87CZDsLD_L
ztg-t3I^!^TeQ85|nXEvkO3^JZHTq-j)Y&Z`kl#!H)?WH|W1eTTp$?;0BG5|yN%1pS
z6sN_PP~B>Y+?2?#OFRAlq3oTa1>2S|&28IOZriqP+qP}nwr$(C&D^$gyR)jgd)zbX
zbdOsvYrU<9m~+Ma1M`b^2;UdRf;O1PSBE!2K-2)dNo<!QVYQ0<RCKUj$@060=OsNb
zl(7LPE8|lSi%u78c`(a?kyQFUn>$&+f}!;woK-bFE)BeHnXO3&%v)=Jt4*cRbB}Xi
zbJ-=kjq(H2Ql5vkl^t}nvP&luubB~17zD~c=*8g<zT3Fsb$3CBi$z+rUp=tv7QMkP
z?dXJnaBgNZZCZNQQ!uuWJ4N;#_mWSdP)^{>1PlP}wux`k-Qe5rqQ1LOWr((DvO)0J
ztyN>he;dLz<!_)Q@EhgWK-)tMC54xA+44DXJ_;Qmf|l>$^W?k~_t@_(rchzh=B?7`
zeG6v!tazJ4-k^RuCZyMBH=-DAUwjL4#mQU_CyA^hw~Xbxt;(D}&)|Hr2(t{IjKi$U
zA#6@?|3XE&X3F8^?4<s<X4@g~i5(;T@dfaE`L-1;xSjnI{lWy50s~bi3Z$@<xz1J&
zjLJR<!I;;jRL=|lJNXBSkwhu_cbDstrbw)(5s9pb{{o;{WnrEajbMxvuoAKswNmqy
zvLEN;D?=O67U<3T3TtFb9Q?Dh!gDu<ZMd{-=^|Kdbp%v4xC&bV;d}4TJv0dX80Wt@
zb>{yjZ@|I+56It)dROcgJ;K!^>N_CAZ`!>6gGd001X}+tf)E-loybqWB%R1)^Nd6j
zF*gokAY#i7Ca!FfW2<lG%7iC57PzxM>(0HIG@-{gY*qmf=vI!W7$HPv)*8@*Y74m2
zJUT_!o9DFyE|Ci&MFkL`<0uBv%r#Xiv4x9=&A>-zGfqz+isQEy71mxMte#?P65FiB
z7Rd;GJRmp_m=iShwEjlAT6Rkh(e)g-B>70&ek3|P_N9_@4a6=2D(<BuXx=!v!VSt-
zauP9cmRTn{Hp4JU)9y-q4_RD4Jss!UF$}7}HiR8gl=uyP^QuJO7ww7TkY7q@1`<MP
zEZn*)GFK^@l>puJ1AIozYBl}yGp$hiH9#lUc9r%~Dj<Xlyhn1nwnJ>mnh9j655P1%
zlrxbjnhEtU>eZPCaV0c4*juhUH)CC{dM$wh0kg!2*T6)MbX4Ozv2UcY&Zx%#pzX#_
zHnbY`Z-OChqY4(g+>Q(Kn#iqQwGCR#Y9E?C8x{Bc)R<?PQ7DAvrLcnFU+Q74<SG&+
zyDh>amVFablVOWfW3@%o047`S1Hi|<P(vGxTFFPB<l3#IIen53yqCiK(pc(rB#VUk
z6d5JFtGRF(5$KYFMPMGm@PfW|b2vii3-UX6Fl3Q<r}s;Dq;o~JW!Lv4;3EaOdF3Q?
zLQuV7z3BkjQAbU)O<*u#J{f=;j>=^(Lng|Zz{m>RCW_LSzpl9lofc9y(wURYsAIt?
z{ave*nV><+0Kq@9DbOy%IEDjN(9KW81Wtw_7~Z)n`U`&<BE@BF47*_DG({mgW-~1*
zmK`s|qex1Dc|hNX{Q5l&Egh3|U=irt4Bzh{IqK{j$q-7LGa0WDOi0^%WX7kRdSufX
zs+#JQlIuUWo36?egHL8Y{2IbrGWi;&jg*zOK5imO%K5H|TE#~?5?6+&WN7JvzrcZ$
z{Em(<k<puN-YpOOwYBaFmR2>V#in1tzbPXrSsmQl4c!7`H4~;3NYQ}geLI*n-z8>b
zf_Q~JuzQJ8`Xu`?ohtGU58Y&vWu)o$lJx1II#H-IP|bav8nvBiO04X*WXgJsrdwkr
zBhW65i`iGZ=(STqhnp@>q<A0TAQz@FWET<%TUS>gYPW(eTN*gKbV{amfw^T&wK=%c
zcD6>P5)ha72!G=W&!5F&-tBZZyJmvF&N8q<F``qtYkFWckFEU-(@c|-<~x2x;@+2)
z&-q2};OK`Q*9W<(!(CRNmV~~4OHm(|l^3jw>^BGX5k}SitrXNKkk4{27rFZZQ)YCw
zCiHl;q?ej6kozwV;=f8PGI0D8yD;+?26*&;!vKY;6zmAb3;18>w+fx8Jkz7u%5Dtg
zzCKFI!z{!aa>i)Um_(7X3diNVCzkJg<b#I!Sls*lIJ~{Fef_X`ec*&p76Pz$X@iso
zyXbLn_RDa0NBiOw2Q?(01M)N_f!$*iEkB(R`T9=0uq>WHEp|(qq4H8rR}Vw>e5TV}
z+(VZ5?EDJJ!Apdjy-FR%7n4s(e_Pp9rdZrT!ZwAN#Kpidq2=*fg)Rt~M<Gzq6|SaO
zj9-v-;AX>V4mm6qHj<u?RacNw`b-}!BD3w>ixe}fu67YOPh^KX4HYRCdx+P_kD^I-
zs{Qs)c$~s`<l0=*!@I3IDn`$i+dpSpi*xrykoM~~32F>NW?&cBw;%y+6l^a>VW^B;
z`>+<C13~q#Hx08X24&J)3e15+yMnuzkbH@?KlPURm1?T|X1cUd=$KmG?$gO*8=pRP
z=z;$7$vpsIQLy()*_KumOLvM<OHf}I+}|s?Z%ISk?8^dUta2xmUoI-Ol+Myro&CZt
ztJyZ}aN{^<FD;eA&e*n%+>Vd<z8QBbVf!kQxqJ3OBu95iQ-~N>XgTf<2wy}H0|1OF
zlwwwVMbt5&Fa6r8kljq3pw}kt#DyA&xJjo(Sdy}@&S^zio-NKz4FW;TZ|n~;OICsf
zlo(T1oG}InTpM$5BVAH1M|lScroX$?PpWG|s%B;Z$ty(+%}?m(>CqTLN%oEmvRD>t
zW1-_1^FEb;%))uyK>Wq1l%%}qn5<Zg&M*!VkcKLsx)kS;iuod(Fcq&Uo()&bZ<sF5
zq14V?YNpG34;6}bul-q1&JLM$g+UdqtpM<v45jswsBO_adETg8I-7ifTj_OJl-S}3
z|8@RB;Qch@7vv-;!H?XgieVCF7nC4LepIUU1Lp^;*9h*oXa4J6%6iv;ZVm0o6HUlc
zj#Va*qAny*dDP7GBKvFQf-~QY(kVzED-*-N>a1a3aHAvg7)@#6Nf`#q>cG%n^#Ch~
zBUL>{wfIb|-)eYDA3=C+)u^EPGMVH8LshAhz*~F?N-2``a#V1PN+P6Su8LmT8NO`k
zm~^0I29S9}U0C|Ba-y{$tN@c}sZ-PAWkeA!w2OD9ua86vrI)WF0FXSK>4(6dES@9e
z|2rK>@8KQPJ_EJ0#WIwh5!!;_3U_UQ5@TEZ3|BqGpXdWqd7=OUXrfi^7gK7?&hH%h
zYkS;c0OsV^IHz~ku@hRh2T_nd@KlUoU_TQ9kSTW1isE;=6RkD%ooh2)cGQ<Y8I43B
zEfI-5pXPf^47}GqxWBwY$V4f!S-rRsh3##zrN5ZEn@Hg?-8|1)4mY80cc@J~mNM3$
z%vj{q<%%V)=Lt?N7|pxmc?rbi`nVX$$+ELeWZrbE_uul3<jIlSoZ3dOqrhl~dkDiK
zf33e>*l)q{^ZQ^v*Td%1%*godIf5Vpv{QBKqZZ$>-aHCb94Zy`)efy@9r{?w3uQj_
zM3YiScAOjI89}$%g_@<&a0Uam6zwuY?YK>ura|tLDZ_YKH&`&ki!E$zT<l@SncnFm
zIO}iSl-T4>@y<-?wZ*oJA~g5!EXcy_poV&tW^JVkT!zWq`FeZYdt2-^jfHD*KDUeT
zQVw~S{SIL>#WwsxZUZ?%>I{$#@I|TNm5Q#F+~k-;<2g;m02%&v-N#e&twh_x{$b-z
z%#i1M7;1LX9vg;Mdib3K_ik*{XMsPb;@dTC!a`=b&Ck*FiaTu;3F1_CyG=bZv*@;n
zw+}{Ou5uu9ydy>-rfTX*{W$)5W5pP==Mv>L_i~`8HNMj)x>eiVo4`f^+kXMwgqq?-
z7YCcVAnEaK+OpgE{Ge{YjR}`N8k}&_*_1dEYYjqPy<E1P^6{*St2GtS+g9MsSU<RK
z@m05laxM}Hw+wLr8@otc;Pz0H<M8n*aLmvmf41XyPD^lFfll8_8gl}R;g(I==Y`Ed
zQagQOdy0FumfdvQn%qh<+k`v`e&iUR-Nx|7%({KyzL4bI_GF;BC3V6YP+P{K%~8{^
zDP^I9ZOA>e^4_cN@|dVPk3z^SU6aHCk+Pt&6_Re#tOJMkyU{HjRLANOVPuhbXMBvw
z=;kGPY*Q_>ZIn`T-&%~s-nM8gWlTkC?rHf|L<N@rbXXqGK`MiU&r937pUx$fTH;IP
z*>Z+I19%-}4ZE!!O}iUqu^wiCXlgk(Qw$ZgAw8XydS&gw`pI&&1J^7y{}0me@#e~E
zE#L|3Qb+Ms(^}`g>MvQvjEeiota^)PH{6<L<WaeX#c8Z+mz7Go!qnf)yZ1^4BXFh0
z1xEE0TFJ3JF&L9V7ef^o3`&*fXj5phi(PYc%m`@J4e`@a`X6G|+@vdK3?jsy(Na)H
zNRc93xw1#Qma8r@R>{thW0oQ*fh^?ru^PFiMO+mA$44Ojfh0VYcVs~%NJj4A6sL2V
zzZs`{AL}f~mWyc7KxDv&WIGl*+dbP}gtk~S7R-1SkhA8KdasprsR!e<U$1X2tLM7!
z(5)DP%8(c%=iw$Tbky#r?0$e-eu0+$@5edEe}Du3zmqu34FBj^(Mj5}&89~Pz4d_7
zD^=8inIeo(6{pBbc_{=pNdgDpwod48jb=OV^@;JLLKpFWVkq+)723>&BV*x6{ciPS
zPck|xE-q2gyXLPhn<`GEHgm+%F22J{oh7#TC}QI43Q?!Tf2$OGUC=m;{hnRoy4N;d
z0h<~>Zsz2*JXWoRrEp^!o@vP|3z&=QtI_35IqqI-`Yhe~qXIForyHj+LL5W>bP=SE
z_vXyLrz$oj5tDiS3Tbp6wbsJvW#lHO`1)k>@iHaZnABO{)%JqZn_V|L-Rur4O)P`F
zXmVyfpQyS7Ys}?RV0_CG9(o=3ZHc7#!1p0bP>mnPm$S3owAux&U@{~62A3R^3xvuw
z@3v0FGo%W#X_AkWJjA3JT_wP9gXbI!s~pb%28iOs>u)$K{+f@5LN(kDe8wRkkv)PK
zoUKCae5nJ38gL;_(#)@+5g^|ae1W7?DPIs93`J6^EZ~BB4j7!FGOuAI=~5l*>2g&d
zIQC6&6k#LQS#y7i2CruIWf-gjPt|5KR($s8M!#vTaPS5$DYriMFRT1t0dAQ7Sq#=m
z+>s5UM;W{Ih}5+-Ea?Yefu1m?-3Y;Vcm&MnnI@fQEm3-XNzEOFhK&F8?EOA{D!%sZ
zQd>-Tnz8f+5Cf|S4$;V?0bd-Fs3e|>h~E~0^5b<OmDoC+?RG|vSLUAAfWPT#;>Z1r
zet<TgZL|!q$QPWAh12ZFumqmefsuE*5t}$?e_Ok#P{J(g!5gV@9fCEA_Qi425CMTv
zKRXK&$Mfjp(KZEN(uK{eUV|h&?^<Kw@*-5jF7RsCoz<-YpjwI0_Gu2YcVx$A8vM<I
zkjgA0o@QXC4V^ACHsE>zGO=l;536zexkQ{l%;%-6ug-TjH%oh?ak+z8)o5DK%|DsI
z8lVcg_-m8MK)V4_`L{V$LZMmAQ?SMjP)*?}&myj36v|PnxK?o)Kgkd^S22uDf_#e`
zq%zoKgRTalL62it?z&zG$EA3A_2_qZKR*@mvZ9fni?XT#zVEa{?o@vo$;TFhZ|ka_
z*7|Tg!qkogsNa-jvqs_ID|B+t$iLk7;9&c2;&T>`f0XrglC`4##^)h>k5o_XA)O7>
zT9T3wzfH%5=$O0s`Wudy5%l77THjt%T;R0K*Qvb|MV)5N8K;Kc+;1`^sQbElyVoU_
zWz;yhUf|U<9a`E-wZ?^&WjGQBe;R2*M;`7<FnZByP^T`Om|vcsy6jmqukySer$i;F
zpJ8lpRc6>lT=ry)mf>5oa)V+*$DVhS7kZxkYVD$AM-!Ub#(M1Y-YdQ_#vGnrGNouJ
zwSKKt#UVq!d3SS<{Ux2(-i(+wAsD_5Nnw+{qR@3!_HDvHZnCLqtU0sYKe)CBr%V}P
z+_XM33U{yD4!IzmO!hV&$tSO(?#$4#>I!wEW^MbmLT{=3Tw{mSTj_jLZ+mOseBHCl
z9<$C9#)FYSz97X9;#q|8fDY1R25T+DIm7%$2hKrA3v?U~NFLS&6LggkbZr5$$X+H0
zN-9Q`WweDg1gm5vs3cXuWRk}uk2yGiD4b;p=aiVw80>1pd=bZdc_DD0Cw3QCC_%wv
zj;PGYsgx*p@dPSZ%>)sHnq+hrcS7JcN8%>$_5y?FB|zZDK;kAYmjZ)_Wa4)Tyux(G
z+KuouJ;Q^g2?e3S>=YA<BD~*GAc3WUqAM*BIoM%o=}!nvg}JR=01XZHq%`%H75R%Y
z2)$V-FC$z4e!%o3SO8A``)mj-&j^qW%EUZlK0_F?6{(qt_4(S}I{9M<de2qPKCoeM
zQ)v8s;F;(M3f15kx8*2bJCv&(#xUSP4<GFz+Z#9WaFC79Wsn{kz&e*(+I0KqdKSh(
z>HP!5lP(|gFJ9)q3JqCU|FJiHlDA^B=ut%W-k|toOBUC`u*->v2Sp}@=qycn{rx8h
zK!f@%vij;c$OdijuqYx{TYGxq?7BYHaa`=iZ$7wL$xOu8E?rfp+_SJnW-k`4;v5!V
zVmuH&S%r8!x;~|Nd}_c&T(8aiFu5M9a#QS<Z>@fm-m)1x2It>w`Y`&iTQoi$6gRiY
zj^)}OTkJkB_u*SSUh7)UpXpmIR|&kaWL^^#FZy~^r4v<M*!QY%rTzrPjhy#lu;93`
zC4TMxGJYKz)tdGuqtoEZT?te9VAa~v)f=DE@&!6}&MK|KvPKc?VFu+21!ZL&VqA&I
zwDM8d-8Idp*id^(@|0|oyLNTZU+=Kmy~OM!Yvn58mJMJm2C4Y#dMJyL!c+JK08#Yi
z0(gYrh%poSp%Ugr3ZroA6`lD7=OB2B#*xaj1qtJZwZ3a~NA(e)8Q@2pkwmD;5a6M4
zhR>IXKsa3C3GCHJQX|<BMDWH{5S6VZG4hc(MDi2aNq|6!3W(S#XEpMf%w#L%Az4Au
z<?T;@Erdyx^*2Ikv`?QQH=Ir<JVH9Wq<3vBkm;J8MyHA&IPI>l&>$&m?;QF|o+N+v
zWs$9Ws$b_#As$XskA+TZnEY518Odc~3{)IZ2arT2Vvq-|YXF!<FquyYk|!RWm^OkO
z){ATS@=L}$7Q>Vm^P_mB;y||k5Rk}IC(I{}`la>hjy;oX;uW5-&b=rOIf2fNcs6;}
zw4&Q!mARmJ{{YM;N*Mmj?)wk$#Q(RFVdP-_&uWxTf{xV?0ZQoYBUSg6J}s#UZZyJ~
zB2>pZxYP%5G#(S7Z@#J4&)0IYuC%iIQ}@^_&QvYmlO~w5FZ&P}gt+(&u6q+Zn0c_o
zMPVgk8nrgXt+awx@(xvtoiZTh8`FzuF#ZJq_@A6(w*5@yE)Yq5TA%*Gv;BsK{Gkz`
z)+u(WP&3prrpODjD}7DV3p{Cr*I)#1Ufe3&LxR;ZS%uIGs@JfCL*Q~<=%CC}{_@Z0
zS#Nvv<_#yNK^;ynH=OKc<jw3Z!aSI$7N+tupoBsjr%ub77)-cbMX=Zl$VgI80vgL$
zhh|Xo?_1xlO3{Jda;b$lmuOOBt(FMakCaxbo@(V&X*HS2zm4@)#9G-=vyNR(GZVSX
z_8*8=){4i^;G1Z1+W)(;8R-Ax*5UtwwWn-{2oOYGzoAkqlr68yb(K>~m=%cW-sN+=
z0YV1^7~uhJv-;@v$)kw)IqBWnnUX)g=dCd1-_BvM2?z*T-1cV<G4c^fE21hzwHxh=
zx|u|56mIs)eafKZC-mysh(6`P+52y)`vBL9Es@9rI-UTbi-N{R1L4%5*J+QaF>_V2
zXUQwE|EINcr4i!(m$kth5H6L<$c3I`K8Ea{0hQ}Q1Z=bjlzm0ac-yHqui7yW2y=Yc
z;bbo$ZDv3I!`hdQ|FAZzCjqWyoP+cKYi-))lCx7zQRK#&PT?8bl55F2suhkUnIy+j
z*<I`jw9~?-?Hg^UMlzOdzhSH_Wsfhw_2W3Lf3x;~Rcd9X|A%MQN!+vj>sd$the~%{
z<c1-Pmqk>RLZd+6sx0*Z0EeSMT2E!rdVFE|uGU2XT%0?N>ytYzo;kNy3^F=TTDi`^
zxddO)$b2@`GDPo$qnvPDg{_G~`MxHWNo4ISdHY3XXz`jf*Xj0CLUMEFgY%6zC!$(Q
z|J;pjI_6cgJ>5chY#Z9HL3=d+;P6nllBCRKd)^tn_&s0yLmRwbM>ke&jQiYvF_PB6
z{cvvoceG$>(gn-bE%NB1S)H}(%jgXrr%!?1<%Zr?0`79kP7mv;y`ye4ro{tgy7&cW
z^VELL3hs<(t8q!EV&f~8@XU+Y&oX4ijTHA@!PR1$-D2&z#?ev;d6Q>}H}IrDTt4g>
z0=XT(*l;9&7EUv$N<I=wmvX*(8?^Fpr<XjSC%`p-dtJB=96>p)Z$N%Ehz-*`VsLH>
zK!I88v?2jm8_7khy_TQ`Dx`~6`?I4EHIi-JeorLNK~JR4-?!%eP8moid{88^hFB}@
z#c6J9REzJOLDrCD%@RI}4{i5?X${mKc=O`Y`M)jie>Gr*nf)Kvnf?Z0vDx%6e}k|{
zZQByXL5htUQE@F(vCJsE<qaPIuxS)XBox6dj}Jj#E4s+g1YX0BHe9ZXxv?h9ZgF4s
zE#2`bU;3P)k=j}khmtM*LT2QhdC$_jJ=qx?lIJzk?^S8y#2csX_1zx}oRQq`*de<}
zri@D5Qr?@;k+B{Y--v7J(LJ-s(`QaN8*bSxyT;K{MptL8u~DDK-XHRk=sjJz3MAa;
zc+Z_};Zbj1-J7Vgb8Am3xG?eX->0b?hdVml+-@(D_%C*QI%2l;Z1;DndV^_GoO8cq
zw9o`aRZs^@%4=G1X`Gf4t)^oNhf;&8hYy;0RD?@EZoB2}yI!vAMz2rK(`K|MiE4mW
z0#L}O1TfDqQ#l}fBhN9&s|4uksez6$sihDMPvQt-m_R*;F|~LD*r6^h5UA{vk!Sfq
zFL?s;<q4XApdurT@C3?x+yM)SMnHOS7^EPlkjX<xke8jD>xEmggz|~vO(_?cjCCjx
zs0ij@E=Vq@9N?iYG9fQWZUh8$m;~s==1`s-pEMir8dc}17OX;Mtw^`MW*HWmvR4*J
zVz8I8F;SRLfm~pDV&0keYG8yWm)heldy8+mHfv{Xgz#B8s+V}*f(l+u@~*qRLSFIL
z=0W~NVKLA%{WtQTiRGV%+@hXc5CH<fof{u$oDL)Drs`G+!^TzSlYt-O7QDZ`D={j>
zqRrQf(Cm|esEn^W*_eRlZJSpOw*+4{BCPu&1r09D$stHQnye(5hHNpCucCKU?iO*4
zUWd;SPrNek;(+sa7*{@?@7x9U-$2e#cu%1MOpdGQi$4bRx(=<pr`e3;tOLG{iDwP7
zX!4Q%Mc><P4x?ynh?Xim7_N*nm^o2y*DmXFzhLijHhzYbkoXHG1$I|w;z}YD?Pj#W
zjckCzhp5SDXE@=+@EY@79@IcWWn|B!oz;LCCKcLVJC9%^7)xD*waZ=w(){h#tDL5^
zCFjqfEzH~n!mN6NO3{PaGER#SP2mZLWke>C)G|s(q^5L&)iRVyQE4}gWt3-xrfE5@
zC8A1Wd0>Gf%B;L$jzJ-LbrZGx<+{H`i4oN(u>F>wg99xyb8ce0iji7M=$1g^XspKl
z8?c&R<Ho=J)BjZ=m6@L5A95sd;jb7*_@83fwxkmSh_r&J*m_ai!@SGVmCwIFz6GS!
zM0)Gfr-5!W?C%kIl;Jh@Qam<wUYKHb9>sK>!hM-?gCk?=O4ES7lOo%g?Na$nHR8v`
z$|@1Jhy7868BwyM#+&g!erX3eKk(-)cUneF{VR_$(mAi9ui+SyYy8yq9J?UPH+tGz
z^X3glu~!fCZS<p$IYEf;7tdMZ%kr?LOU03g6uPoYqX%YPXS;RZJo?mcO{}bLulh0}
zGutPMVc*W!>_xYiC)e)LahF!td<Tobh~nBJ?a-Q*(xM4gnhw!DiVZrR@XYJEDJ8Pv
zuAkLMB$KvYA3JUFxmc-A1jZ`h<1q0Nu&3yjl=uz~f7ygo{d}3&X(Z(UVsn)WezSR2
zMZ$bXpc+ap1Z6086s_tS5VtoP#f*Sif^zHnqQ+q0Pf5r?A;=jVN~9iT4v0*W7uq#W
zcJbvDQ1dWO`H*Q#^f*7BQ+q^%cizytoE)uMrdV^FWcxD7r7;vOBO#T~Z$QP)DUp9$
z*8j+){6C}fgd~JT?QEU@$5=gjq5q%Jcub6J|M1`;Y97icYA>~|X_oaOLL26t^_2|!
zvxkm_qz-EQ!62X`JGO$rG~&NzP6kW;=j*Uh15^==ku^3g5WAQY1(t`SBam5WlOC0t
z{$PhmgN+e`*c}|jRe;S!8_iBT=lSZK_NcY>e(ZSleMkz669<bEKS0E4J_?L?o);Kc
z!EiN8Fqys4vJj85s|C8t`2s1@a|_*7hnI=nSu*gc2BuLA`zecqB{d8wv92gJDscu7
z2y=;YjWyZ%cNrGiAHN75TxXlB{6Sz$Fn>~)tIGrX{z8;8gjwiJVdyMY_PMCl@C5{P
zO2tfcD>*wlR9a~Q0y3Smk9}N``dTL3ghz(K90lpo%t9%GyH^T(tJq^RhG_D9MiENn
z)I_h7iB`cjTuJDBzF;n*9Vw5MVkjoTE_<)|b@VLi5=uxSK=WC4hUB7IL@Sz;ic%z{
zP&RtGEMWDEXeA)DSlOlgTSzBSq3q>Zr7DIqhm)6u<qg;GXStc3Pe?M`ueyHhERVf=
z;_SA2j_oe!^_P#38m-p7?=V!~^0cx`HK7P@k<`isa*Xefa~c9~?y%M{vmxh!*fg;z
z;w=(%gvhX=A!I``1gR>bfiQbRW;g*+M9VOzA$9>_voLc3nJYqtaB4aN2TeT)mtcD$
z!UrVvB$5xC;cj@5VMx1Jqo|{XquzTcv#2J8m)xpkEXnh4leaF%s!#N^AzHq!)fgBo
z4bDcn1Qtow@NIkB0Gf`7JbfoSFb3hE@Xr3WH43ZO0&3Fb=*kO~c<~qNp4c9udaDC%
zo2}Z?)RWDZ%+HG*ROyTwz?FHnx$~1I{6u%O+#c8{VE$Z(%gZ?2Q@Q%(clF}8i1Wl1
zJOLN#SRnM0+ie|4>>?ZdFVOJSvM>xb?yCOLsjk*7eVa5dJ$z;VK*h&Be+5Wn@4S6T
zm}h!#CsRRY=p16*M!ibHy0k(J*E=$BkM0w9nH9*l&RVJtTxR;Oy+HUVRMTVC=246(
zYsu~GG=A_A*Hx1Sc}d0HoW3sQ>wE*4!DY$S8j`S}U>N#RAuzH|INk0ILcH-H>EnB#
z$K7u3WGlnFXdm^zjq-3AI$s`t$;7$#pcpGllU?X_jIVv}s=E?<VG5ev-61<>6hf+<
zcp6yh;zXAU5?D>{8O=;Y?FNuBuSR@VK}HVD(j!U*7(f9aZ1yHQ^*#NwaZOR10)PVh
zlqW}^p4A=Xc5xHQO5?^SWZ)l5>(B$y&}-B5aHA=@RJ6jShla>n%E>)!A|*UMT@9^Y
zXCq?i+}&v4wf&CLhI9B|28`3zpdJ)QFMi=iUL1(-z$0FPW$yXFx#WbnbN&nL*_hdN
z=lEC8i+7JE2#`wp%+_WNWf~DWFQOxMrme%^c6ky<7T$EyNj$wZahyY}Vr$mJk||rN
z!vR4-l(RbYJa{Ku`kBAh1bQ&k!Jj2-VB}=tbo|p6*#U6YjQyzMbcZ?fMX0p0%W`Ie
zg-}7p%boVEpa&);R|%y8xzG3OfKu`3X8e^!W9)~XL0!YmLqk|!RReM)c*?`xGv$!~
zRBT5<y`)DrLZ`>)P%W`7tdD^_si4tLmFr!?7mcQVerVA)!r2TjtPCFQy$sx_e@OvI
zhn=Ip$2EQ5l_K3HY0PHKt!^IMu=G_Oot>JfHw;h*8%beLUv%t&b#1|v?P%fGoQIWs
zh2bkW2D;ttPKN5(Xv#Rh*E)wfl3^7ZO|CAbM`*VbHE?ehn7NtVM8+vuTo_rs(l0M*
z8wsdiV5$6x(T50e>+SLW`B7slQ_l#MshYRuG{I&>Z_HfGe!*HnbTS!HFf}_>QKlfi
zOR2MSBiV48+&HNW4H~0)C>$&V-l%*s${>@&tEw=mx6O2fhRPn27YpY&TNT4E(2Bz^
z>ZhR=2NR<@I#N5jhiTzPkBjTt{2n<iPXx`ly1Bk0U#(GtSObNt3}ZCl=Jvlo3=qT1
zM&H|-OBj)`L=hXSNFa$=c{;NE1gP|5x|T*>T>Qk@u=sFN-kx^UwFku8hpv->K90`z
za8M#QlU+KdC69z?h01*RwRbrHDv0`K^fcx^TpTmyX3Rk9PFd8h7WKZwKcM}E>m14J
zf{wb@G>Geo6b`<lmtDa^YiPe@b!i*Kr0)?o4z*+04mg#<)4rAGj7_Xt`lS_E^vMnn
zCl!p73c))fBdV#%g{g6<9@DQ$mkRN6H5VV`$}KeFI<V^s$V*4?gV((S$}{lr7tg%O
z-A?bzDd7`{&e@>rWH{0mR=+JM^Hf16?*J?nv)BJq$z5i*B0^>z7r~pe?pr(Knu^It
zk?)X5cwIExuMrRim|AT6wR&F%VkDyn%K`Qc6i>S4dPALNi2Zj4)}0--#E$m?leDSa
zGzoP^GY7c={Nqk;{-ny&Q+d72c{QZyc=@CI0N-^V$Ol%#vJ3)G_tRTOXESJDiEH}%
zPd6{ld8yhR$B_1moq;YITA%tHOu^fMUs1=$9*_@DnU8+7k9fIIzZADTJRdnB9uqxe
znf|X_f3hQX9B|7k(1}4cSY3oM{W_ybijGHC5XSdp@fjda;^t>$+^%!m1HIeIZ~2Go
zj;!hHM>njx1$e$CYa7$K>ef&h)egwQ>c)udMkCOWbUUCRB=euXqYU?(?6!JvytN}}
zCWD)!z96n3)Z<AH@p&DR7ykW+Gop8&n4I(SF8P^-y!9m5u?=Jga?7Mi8maxtM%>P@
z77SWW9rdwOih%Tc+}t^sSqxf+4J#5=NN5T7*RWe(gNC#*NoMp9rt}b7eG@_7X?RC4
zz`CP;v9tW_fty`2;e+~lzA>0rxzXFXbU3}dggZi~h+<E@nYLejG5o|CtM0tVOjxAc
zKVYPgG0VUo)LMO#MHOA?<LuaH>$6NdDrV={YlHXh2NQDlH&5sqm_!7g!`)Q7b==|9
z87nZU{=&dh1|3kW-Y|ASAjQ!umaO>78cy;Dy@tuXNdvp-FoOl`>LEgQ2L$Qi$I_b;
z(3EBH8VS!TTOB-x?ht4s!C-<2xe$(}wq^{IMbJ+2vw+IlO;QMa)CYHt-P$2+*28v2
zkg1Fu9HdKtDzT`zluh}YNzwfr9!l|t`YBs0I9i<GX4d-n7dj~I{%XkX3M{~W7YcZL
zdWks}lXI*L*igtzuuqkrbY3q_pgV7`^ae@5Hf=i{)t;>PS~#OHk}O}0l;0(^FC0NH
zms9yU0SU%pTC=m9ts-%Yfhq&!ol<l1I`?UK85d`HHFB{H?J=)PqM0ZAZkSg<t{4<S
z9VCxKpmRUW#e9Mi&(B{#jt9ie;bbW~3T3Q4W$??KBudoC$ws@EEzWx3#*ac}Fb+-x
z!NsNPk_N2p^co#+U2YYHHeJ}*He+)fa$188W{BVlxCrZno!=mXdF;92Z&vjhZ)^2r
z>dWK%kTr`GE+THR6`j^=o?d^4d>mP3JRuoZ7Fa1r@IW6J!&2^K=^0OMjhVAbS}Cz+
z=ZGG)q0I~z>VKRVX<U_*D}nk{%q>=rxST%}ZOnu|Q_8%1sWW0X(a>A)DcJ~;U^;VB
zN}4#ZXGA<uNzI%zI+hj|UYQ#ec~6zaHHJ{b{4w(D>lc#?fK{fUFE|#BD*qzA>Yz9&
z1FE{(wwNk6EtI>2ucJw;tNfE+sN`}qSB^FurdF(;ZvBXOz|9Ks`a#$XI%2-3d%~|^
z>uZqEJ&EAO9=jV*MtH@5I9l9-))*qw8W`j})*FjbV`%^&sfVw*Vx=#Ol0My~2SgGU
zpeersd14&H{5@!*ETb2|R()5>qzAe{z!5%f|AQ&42_Eez-_uPMt>9`^G@inhh{VUQ
zx5{LX)y;7Qi>SHCY_gP0A@Xn?c)>GV!&oO);dYbL=V|wcJ)3(w@VlfkK~{xi=wU%4
zH7!0F7W|v)`*K1=YfrEK5C0KrC>FfmuZj~jwa4)ZJyIUK_Aorh=r>%<mUY-VG{!4X
zvcp?Xdn)m60A_+Pwh}R_$=JX2hho15W{DtbFjb+|WwaA6s@C)zCKssaL{4@M2TKIW
zQnzZ{%{x>`K=+vZ@T3xrzliEbbJ({ak<BaqkuvqzX=y&?$oP^ch!2=zg3)GWs&TEM
zG{M4FXRbCFws`dHlSLi*Klbq16z~i_%D6v0^MdYt2hDoqC4%t!w`Rrq11;S}gRzX7
z>BHUDN3y6aq^%R~nFY3+vMX(R8}H}D)I&^9?kHRq5hr-Q_nKU&zpp{739#X_4mG@g
zo^>z1+i-`LA|(c)DerUXqg|cm8XgWz>aT@6R7Tq+iD047i!mlT0?mz`B07qPtr_qs
zYTE1M+2MSRd5kHjXd04nm7@>&u({^*Kf%*~a|HienDk$jf*Ai14q55z?<3GlBKXoD
z|78WB!=V8X+ky=I%f}i1BlrA&8iO&iGX8_Y8KMfQjJ$@Gi;xJ(DmsHuiOI>NiHfSB
z-MMiZdZ;RlBHye4NsJIl%pXWiNrVBjjQ~p7PCyh+M4q4`v7ouRw(8UNVO7=ILQ6B(
zdW+wk`?w2|=cBXhVRtg!^Sb@>J>~uS)8{1;Tt-HS6yZH6L{yj>@)1U(Z78{bMFs*M
zoW6Rto!HS$_k)wj^uNL{9(UPkFR#M|$9r(cxiOAEG<xUSdUGffP9TJmn7?gb;Q>p$
zgXuj_(!Gnl3MF|X<0FNGx_!c4U%qxnq;n`_`Si-zG!v;ekb#4O$mSSJOv}hfu&B3(
z_xB}^cCM+k#R=N@vGc4anaRi;G>c-j5XNa>eh<oI3|b?xjT-+xd;+`91es0l7dba-
zhiT&7nI<XCVpN<l0`4FeO3avIE+KOg%&XNaTFZRqq#Y_>Dsw^$%FV*Y#T=Poz@*Vu
zSM1(3Uv&Zm#4%gF<Omu`<Rl><PfWltmz0B%L|9D^TIJR-hI70Goz_6XLq%ZqQ#E%t
zHqR%S8YD?y<jC1Al+iST`+RnTJh&&xB^yQj9(Fe*x~F7_fgn6VtV4v3fG}i0ln_Ri
zidYe*Mie7Pq!<QcAauNhAqn+__$4<;`+#7B_O*X-+MuLO05+$Qd!8FdypX80XjX!`
zNL9?|A;T)*x*&C(a`;Swqk4C%nL|OV?hFBxJqf%I${DYS^(~xJ$%=l=c;MPxqzXIn
z`+DQ_Zk<HE!DR8`q#8Izh6OjQvC^7E`h0-Yi^Qi$gDXdd$ZX4AgBP!)^x@OM{-tD2
z`x^HH!*Ud>`GM?&=6qLDdF(KSzp{MjTcG2d;eKY!-#>y&jvYe;-^Ar%S5|$y=o7RU
zqT7JpU8&;JhrUW*z5mr+dEC*cG$Vi(DGW`V`S&?vu@U~BTS8Y=)yq|Fs=_JMWLJ^h
z68*~oTYuyFmRL~XqO)|igNZKV-v&psHBz+J#2N5i%d-N3fV+Nq)de?}xe-3ch*?1Z
zyGyj!6oFF9TT?GtTi!_u(|S)PJPh8<+;_#DuqpK!FKj#SBHuN@;f%-WHzzi#-O_+|
zE?lLLb?UI5^3>Y4wB;rs<(0FUtIxv18PMrZh>3`h$Cv362S~VnqXsl9fwKY-v;Yt=
zzzNDfj#k)w<uV&UyAYvQ!Gy^A5H4YI;B+gqu;xmx4hpt}$f+-$sxUDcAig@cM0bEH
zPAN03K_!KaYp69dYJ5A1bq&?d3_>gW9ZU=nChqI6M}!Ev+#rpNs(@;UAVcyHXg+WQ
zhU>##<(#lH4GmyI*49l0O-&sgNdwopewj*lE~~5%Trf)6g`{`2UC<9*hP-+Z_Ht;H
z(-f52W+u9NUBn)MF=6OK^-0uE;;%Mh;8-<lsd@T2kW#PH1^2%ve%&Kfe>>oG10Zwx
zRTz#1X@)=-lhnM#W)3yBzPC<-VRcL1HGy>jOsaG*LLS}D^qTdioq)`FRo#+sB5$S0
z`$7j`>^zVvQWU1$9)wj{I%TTWuC2pVVOH|CFluQrC5`?nDh(aIj<IU2Ck=XzX}NgT
zQfnq*>S&E`F}O(2#mo<wm)q_0F5jQ-{sn`Y;7RX@_)xZ_O5{b@)k$4v66g7`s#9_d
zLn6oGmP5TMH#D9rN87asU$-}dx2dC~Xpn}Aigv8Evh2V7RC)FOUU|U@Mi!@5Blt+l
zu&k#<RscN~R|MT=Ti{Wp9?y+eF1ajXgio!vu<|^B*_;GOXYosXUQqSkoZL~M3Yt=f
z=q?D+9#=H{!_!AQeculFfXL>(fjl)9Hwwp76&R#;c&*@}4+3v*G&t0`nVUby`4rgL
z$^aC39%{|u5+C$N*j}JcYUz;zgsRV9zZxKL6TXJGHl!P0q9;sf`}w)ItM~4l0}BZS
z4wB^wY479I`@C&r56zlFfK;6WN{6?W!-rWy=iMeH*Io<rcRV>B&0CuliFk<G$M46N
zl1}^{N^(JxH~LZ^<GaRVs-<+U3;{SE9*>F2dSf(*#CM#zKP!hx?a6TRo5X>cxgZNO
zH%nqKCbCBM*FUHdAgymYI1NCjEO&n-K={Pk-rwkSkdj8*dwf6pdVF_$PQ+(6&-+-u
zoOH$VnrreDO$Ghi>tK782C%rHME9MuV>GzI$oAd$?;hhJIr{s_=NZ}c(<q&%gs*W(
zjaAG=nQ;*v?~2%8VwOPFdR6mWyj`w{9t}Q1zHXPy=rT^)8ffZla#+=9k|X+YmHku%
zG2NryROu`EahId?2I;`#28ZtUwS4a=KaWl6U<~WsLM#~vK}zXE{M$Wna;iB8acXYL
z&r7*DS2152SR}|VTv`fm{Q+b>xSU^4i|Lx%e+1|3lmo`n>+Voa?xE$7W#7kwslw!u
z)Z=wP>CnLcOp7kn_wg6a!#1Og7MwQ)Z^jO5SmD=9p#VDQO;g>AuCQ*g4r9Pm|B;8@
zZETif^L3Mgost^_xdUKmvP#?OmC<RKP>3&*8J{q<r-y6YuRpNl{!Ra4-!rZM@Y(iQ
zdH!%68@Y$owu?U0wl6;r&(<&W$Obn4Hh|uE7AVu&EvT&A5(`T5!W$@b55l607euBH
zPi?wdM@LJmd}`B{qUM5AvpEFejj0T6&<BzJNvywk7A%^!7y}8k*EhuOeiQtvww%+8
ze^dDasom4+u4KzlM8RxYJRkK?=Zw-Qf(n`z*=Ey@vx3p31=c7;HkYIJY8Xf70P^Tw
zFDm(Uq=u6NFAu&$xPNvv)_~YOo--z|_-o6UUxV=C&3xpTnDl7<oaXw8&(*srYlPOf
z`fp-6TF;<fTAi04iY{3i79D|}cjijZpFdw69Lf>~f7Yu~R)mcjIz|uA)PP@5aqTXd
z@3^J-*xC;u$pFp6gOA+TSY9<&0e3BVV}4$Fi8LF8s#<13HrH0MRXZR?t(@8y$-Z)S
z+H^=jbS+++(<O|$z*-<g%I6)fvUkBSdULe8Z427!jI+5W^{e{Fcv~^J(Rn(SS;&Gr
zClDCXm(|zqVi%`%X5R42J!smZCjq-47crPIv`pu6d;E%;S{U1$sZmp%ny5+sJGT+3
zxhk~4`dKCMcWv8(ZYLrTVzjGWuf6Qo5@<rkWEjCpyS{%^=Ny$m{Y5fqXm*x0D~+g`
z6{flW0xdTd5sPudUL=E&b)zs~EZrU8-|oz#NwKlLu2ny54$vN+!m=v@*CgN$dnQX0
zkHF!&FYr$Bhm`aZ!X@jEJ%jy^JqgzM?Ndy?Wj&ERX9lGSvgF5k7u<5oGVyh6aR9+-
zJ_Po#SF(F+t9vxa7cYXZ2g4~hSeB5E7U@_P7P7xrX~doIY}WU_UoM&iBjHAWxvWRs
zXBBh=;PVoyU@Xgt!W-aes71n1_x?$?-a&sH;HJT+*{+R1-(kCMn(T(+J(N*bY3dQ2
zgt?1moal-F#9RZ2=XF{?sNa%m-JJR>_X*OvB)MFZRoN%oQkB_%1OI@oU!_?8n=t*a
z>bU=+dh6v86w@7J90H($p#iW?fnERY<Nr}m`ae~@Y)t=bx~kCxS4UA>%Qe}+wJwjg
zavq(oCUI?8Ge@~XMeP#T^9%$1%aWwNy4lh3tb>-qMnD+Y_4=hy6hUIhT>ge6WoUS_
zfBci@hqnC3=YHykXYQwo8+z`_<Rtqw`y=-?I|_h_Z43lxV1H&xjb@|MX1j9b68K98
zh*U1KUiXCJ)d`Zpr#%>Z&<DzM2`9!O+P`R;y&@jlGFJ2j?dH;E*COf#9<gGNV4)0y
zH2iX^FAMg3E?{@)&z@-VGoC>weg3N%hHWS$J=GO*^nj>-pFs{#Qy=%tD9^k~>$VOW
z!U--K$B5@*u>~}65Rp(fPtRbn5~)lk=k61)mZcSq&cWdcHU{FwC5;QDeOhgOYHe$3
zEoAh5ou`x-IGDJOi7u@#-XcHzIoJkT1-CL966G@tWHNY2Y(uK;-2+^TC`jlZ$+tX0
zM!pQG@@XAPc>A;v@u6<x#S-jmHt{qNuwV%_kFE(IL6b#D<l;s74CxD0G&E+j!(sZ4
zG8g^uQ(<^tnKR+O8<7HJ89z3Ih@DJWWK|lycK4Vs!^`>{1I4(0go-Ze>5(nE<@cU3
zD<GjyolpAjsKHSEq56Y$b!!|}yexkWBjkpObrfq#R^Y6NnL$${r~0`Dy85?uplPtC
z5j4Z7`jK@cYl>DFt$><gRfDPqmUT^Q+*Z7%F;;!-2AOp<Yp#=E4kOxhs*}(TBgSdq
z$H8s}{Au*Zq0a_>Y6$32!FqaXoUI5E!>)SsYLqSl3}SZbKSJYS5kHy%HT0m<I8g}u
zfyzu&OeGsa2V{fKgGVP(Gw@Nxg_I4-*}-)KRMe%f7`sR6bC^78FVmNAm1$OWPCY*F
z>QDD)O4b}B559XgK6THJ7jETz8+#=`G*vaKGQ#kNC<(m!EB;?ddjW|7-@ta>jn_%p
z0z6<g*iY8=Tl-$WwHsrJDzbzOd2>F_Q8gt`8C|D;S+qPo$WP2?7SQSEn22%fAE>5o
zArhY1V~&d+x-Oi%K!LrvgbQ~_Ts)CeN|r>+8pdm#$|Y!RyV@<oybSrR2x*fT-q#S0
zLiMmpRT;qz$O$8a%N0Tr*)+;#NWX6d5p2S*v1x;QQ7{9TO2%u$%pBk*kd!H6xHi=9
z-y;U8T-%(vUY90>9}sPlm<e9pyAVo-$UO`wV{z`&<WDpu*gEcM*5_pQ3>$R#P1HtK
z7A8h!7kA=nmi9iFyVAHkRezw20`C=SR%;&HHS}{CHz7-qpKwEWY<rsT9T;ZTyGT_y
zb4aJ?PJhG-<l(0wY~Dln;I?(F;&bgRf|->qq~dD1LukU*N3;Y=V{^YwzmPc82L(`(
z#F_d91#>(#9a^c`Cd85MiUFU?GW9v$+vE%;ol}qTtVGhC$@AHUr$Yn<;kW$+34HAX
zPfXe{CB%#73B<I^run9aehm*_n>{nJG8~u7G@3tNAu?akxyqNVG1LRqjzB)5)2vQm
zNZk|<+Bbmavhl~ERjt)bZROX-uur23@IexfcJm*4%)%uoFn7lmAwnhK`||v9z+QSQ
zLbPiqhMKb5@Qe!V@%4funWnB87P3L#7yk&E@@7>G4l6SAFd|3RfqD`lb{>feVD0kf
zU2^6u%H~{0pr$gT)PBCyk(h#m=h$KhK+X0T0bPOMBJDSqKogHs05Hi86&*q@Zc6ai
z3~Id!7(0M$_n7+&4$KP{O{HJp%%3cR^6yO!aBwFSS0g41S_kp0iYXs3nrd)BX%t#o
zQ2rggy${2TSsTEVCj_Q>CtIiT7pt-)TBI+Bz5S^?E)&v2tl_|qS|_VoX>sX~+JLuQ
zTJdq<%>L**H8DMfHRn01Qt}i>7!*ZRNht|s)tkBZ1bV@TXi$!ib!W)j>~BnSl_R1h
zh}In%PzMUH2YmoGtEh;piHCrIg@quGr>Uc(t1DB)b>i1C`h%*80LRvg)_)8}=)5Rd
z8_e3}Ap!;pjt<81`?SQwWT~?wz$zPuI$1J?G(%ciMs}vd3;ocWvIMAAs2_^p>+Vbn
z<56+F0kc(V-&1&C!u)$IX-pdCR1hmR)G9*(IKjRw=aiL`-0-V2VR`%p=iuc~$KpxR
z`#jTo!NK%rbNc*oyw+Nw-b~#+a}IsAZX|N7u018*;TTxM+d=SMA@l>542oAA^>-K>
z2)mkfvHYBYQ9KCZoS4vkN|2Xj%(P>+IsnN@0)NfA2(rx97w++Fa*^4{t~_bGhD&RP
z^|DSmuXt05*QKn&Gffw+2B{aiyx0Q;Q`{a8`g$03_QVHIF|IAspo3_S!a8BdMj`@3
zBOGLt2sAnKADhuM?$JDxk6HcbdU9cIoddSiTo~j%Ta*Y4+461wbf8gkxL`+x(~wvH
zlwR<w)OIe5PpN_$0r?fMBdtACnLt_!-5P26rC;5oLF|@QS~5l$M}8p9tnu}#*7HG&
z=-7D$-{Xdd5Z^hUKGeen#{%Tkrl~^%NGN2XMvHhDukv+`2*<N!rINZU3v1-&9IBo$
zm9dZ=xc0Th0uJ)4g16K$lbRiKhnJ&8WSSFYO0%+9EMudbil^&`{AOdUp%`u&)zIm-
ze3>}!myLS`XJxH?XCilM6P~ZvuDZ+@ZgR~<q#kmF9`}}0F<EM?bj4C!BuH7HS!Qy2
z?iJVC*D1Fi<nOb{D%adseW7CR<Z*WfXn2Qj7UEr6A3HAyzi@1cu{!wLuM=t0;l5Bw
z846a`_5fv+ACdDd_0{pS)%oy#uQJI$BK&Y%>HwIIzC{<64KXt?lyZUejM!H%;4Oeg
zlW@bU%MK4(z%#-CneV<oB_OyuKcz5xF575w8!gFW9XNg66mGQ_0Z|`K;6*+c`h*2o
z;tz!$v0hw(f%yWDP+tJj+~LRKaOBT{N4z;(I~q$vV5%Z0XyoWA%DNT6%;d&d1!=+F
zCAE&s0ap#ezC%<Q(G6~yb^9l}8uIhm{@NxC=rQdRUUxkur<2379fgciG?CCTqyhcV
z^-Ihum6S0K$HR~hAV$T-Z=f;66iGL*<yw@&O$YH|1R!p3bH))5H=I}CMk4-Qa`|LI
z;Vj^KRB>C5Jc^ruDIE|t>qB)8dL^i1{wg20kDGk`o^<NQFdPVq)uWpvvx15>HRXos
zQ`m##MlXDxf4(;QKr(Z<mPcst5Co4r;rIXn$n7CC{x-OQ<ciXUO9yD7a8HShT?n1C
zOT?$nJ%d7w&ABaCZO03!S)Q82zw(LKEcS;;HBi~G{LnL;nv3!`b+l>6T&KE+XjlC&
z6jBLw9F0n0TPFYAr2DE7{7Y24X-S-nUqrn2pqr|DBXe4pw4e9Jj94myKd?M&@3!15
znSxgHFwCGG1nBIrG9j0CyH)IcVF{-<PE)0f0;0UYHut5;%T=Uo309ceemD9W0+=8s
z4JNAg7i|81un3e8+5;kvMI<2&EjNg=l4|Ig{E?jK=snqux{be~$%3XaW{0n0pYDmi
z98Ii2Y}%&QHe$5@7y>s3^Z0T3mhry-Nu}(xT;i+`g>nGf6dq+G$*v($;@2>M#9d#m
zrY!aCcD;5rQZ^FDY$_`tYzZggRq%JtUz?BoO)Ns)LB-ZeP{rO8EgFSD3c2{_2Cl#e
zc@Su)++yEEqokE}ZyZ4lg#*(><)d6oUl{{<hSN)em3EWU^mpPB8T_>kcYfJi6uzJn
zea?BRSekl!S=N^9-5nRavCuu8bim={J($jmO=mW0RkyW&bRrFaC*5cr&h2ItIarQA
zgJ0M0IYxrjwY|fX#a%o9%3P0EfOL4d{LeVrgY&$-?4UhGKISekleO?HZJN2SEFu1w
z(14deLjCV7^C1hoB$wqGvaY!b(O}<1q`5xjcu;$Gx(RrhS;9MvpzP!QDu3+QX0<#1
zFV@~6#*=_u-)`HsIc?jvZQI?ywr$&-wx?~|wrx$j|C4;1_ayIGoa9^8qLQlGJV{mE
z_jNrv-A;V5MFN_njUkAI+gw8Iv?v4CmXuuKQ7ijtcfC6pJ;c|-uZ~2xF|%sjVv_m3
z>9vgQ0_pC%zV_)K=&yQTI)Bxo+Fk3%TRXcP<lH-b4li3GJwCMy_WmsY^`EjLk3qW2
zqf?N#Gv*|g&k<8jhSgw6^-*K#;+U0XsI1eld0`wXfZt+Bny82Icj)1P{smjRuA*#q
zl+2-H4>adP%9@Vb=D1RcomCfd(#uQM;@pT(VWlCZN|Ih7$YAn`b9YKK5`FI4M`{0O
zR}^(HMW&xiAq>lj<ab#SaXncAF~)dzaV{3f+E%^I&-2N%L!*@)#N0J;`yUS%g0?A{
z$j7l^#XC^UjpNA8#Y2Bu2Xen40v+-k5Q#%M{;e6-P@yQE5e0)xGzjP5^Usu|F6l;+
zMlwc5W)hFb%)X{w-HwM43J6y?mY*sa{9%8RUF4DAW+vX_0D<75y?96L=J7F3&rhCf
zLktb@k07E67rr@f7Qa`1Ic-f|Y;?@@1j%A`S79)R&wLa&;+ZOXmNvZ9sD%R-6JsfV
zcO;{QpJ$3MhjHvq8mW3}ErV9S#f>HDW+&{fKLpN>$|FP|^ypTuQdVBf$0MQDaPJTI
z7<v^eK^#0p5MauARc;%WJ6FbXX(VAW5pispd}vxxZHzhPKOX$BPjgqk{JjHpIT+gn
z8^(lEH(RM)i%(o-m}(j}OUs`WnD^PdBth8^EqwzJq)w@wo8$)kDx#0dM#yYBva%QI
zCTy<+34c-bMx!F<f6Yqur8?*T#rSn_(i_!D;-ta+2+Vw~Y(z5;C8zJcKJ>*Qulvz<
zE$o-yjs3`8zwj%=0Q|5AwFlWR#A}Y%iE&Ppf|;uR5#-@?CJN4{0lIju>u;7|C?s$=
za@ohr+#mskta!j+D%@(p@V`HJQ=&{2757@IE&QZBp&F3*zM>m5xCejt?LVV1k>w0P
z)JWr(YHB%u!8u@u{}3>SaBetVI9N)wM0=vyC0|Rfb92@qnEH)I-p<Vluvwk=k`o=A
zjZ&Wp6jP(RxZg(qvIn3mY;J#ahQmD1JtF#p;{|2Rym5L>qenO&ux;d`y${rB=NJ^t
zAF-JIsxhZr*ZOn_pczt0Zq7m@=jeG{FIbbUp~#&8Js*a1N2>!1H<;f(`UI92eeSh5
z`CG61foN3m?M|PaqB^(;X_g+lN1bE4Wz%f!sr!!g;w{_7J8rZ3fnq86s-ePe8|~^^
zriVYMi;+<NgJ@FlHhhxiV%E$MXB>8`*=kd4uYlxBRNRpOKb<b|HrmO+bNtSia!2k3
z^<+lDpE~tGz>|71X}^TvxE>#A3pN^;^t*3=LHu3wcxTJ&LNT}1gjht=kgJEf3UCL~
zqNzX6G-<iOAYT`P&-|(ik~`1YgRC2vRs?N{<9zHE&Xxt1-iPjpmji=;j_iq|8p5B;
z<%CD#AK=Ld8TVOvjf~d=WtPPnF)$`~vGC1iM^SoA8VD-hE$*xM(;(S*t1<3yXo$FW
znts~Fn4L;|4~Baz-(0*!ZAf!`rRqf$0nG(O&z>N+r}_r`u6Vq^;JXy~<$MZLHh^87
zoT#TAXJcA-r%ZpAmXOVr@H|Xe)rgCIgQt(+YV<U*tP;p@9G;#7iB6dz-y>dSOu5)Y
z0q_BPQTiZoTW+Y`v2+0Mn$lkG1wnkSEBK;0h(~adr}pH3hkT-r)&KcJ{K?rrGU&;9
z1>bP1&rAxz4b-!GEV37DskySv{U>@~mC-d@3bR0t7SCZ1qG?{dYIW662zUPW8qVkn
z)|7vCSc*WX_2AaDFV?jbb@BX}KXK|=@yViNdYI+Dd?_t<w}+4pPSh7;w%I8;l@)S+
zzEn_0ct9}+%dzX-^4aO)WVk|dXp<33EUb4OpV-4m9*VF)G?L&9fWA;J(EJd3xd(=_
zaTD57&v2!1dIFT2C#$eRb4bA;Hl*zZ%N#8>ka^T)yL8HmGGBfh8cx$#-i+q^4#^Rw
z^qH$upzkaJ{9zkF(qqt=?Z+0UOhHMbCa8xu&P(WvAt%O+GW~Zi)lk4xY;*|ZPn2pI
z*>5wxZy1!*^TRn>NEpHdJ(r*x;{Ng88K~ETXN>s<J(j2-8{t|!yQD6Y`zB{yb}3c#
zL$5a%7%e#5Xo#ZkS#ja$%ju6QcsT8M;Kr_(UdsDexRmgPd8QsAgp}(nKo9t}Tle)!
zcbZl9YY6n=Gc>FM&R*nA3UD2SCdx3rkbvZZARq>0h|>B@OuB9i$y#UNp0GGG!#h!<
zW!a93;IsO3W|-$_R`L@lwrD<`umm0Xj=urNKBN3oTtncMzF~nV4zn5P*2}z(@=iy*
z7RY{@Ig9gV-A7wXWShFnV3>%DL#>g_6#++%lz0j`JrFNAZ^cY480CVARY5%eJ`wvN
z?q0vO$4^p{E9R1+;<*aY@~nG;Cnv&!+RH?E*xJh;yTZxzE++HQdd^)iKmSWk)Rqxj
zvtv`ybgF{QiDnmx&V1kJg#`9g6?#VZ?EyyDO>B&OkS!^F@^+TCa2`m#nS1wZiR<CL
zBHDfL6oPe<DOTM&kU4t-ykZz`YknDw+?ur^vU$}@=})iCBU+R~XN8DGZgV&4kSQf$
ze0NV3a|1=g#9$FC=j3R(ZnN9|RKQz>1jqcPd_}D#4s9bVw4m5<z>p*a*IuWfF`z>|
zJy#yoS9)7&BfI-xUA~{-Z=MJX0fDyB9J-50bj?Ma;3}z+M1)p7DndfeQ(feAp|ABe
zi!L+mRa5$L9_b}b7NKy{(zqYDHg5j(-x@uPp9M3=B%Gm<xyqxqSJPCn)G73<vV>CG
z%x(=K!_u4z_*!K@d^@2nR<hlAZAtrk=WLF}$E&|Q=ensB<To{?!5y@6%hu7+R=Egg
zQBicd2zW~=%18oF$E#Bx=c~Ij(@#F5sx>`-?zdHG)#|`qJJ@y76YY_qPHLJ9QBh^H
zr&)0(zuyU(8J$`va=bk{({?+f^I+P?;)GCAXvNbmwhl}wM6ZH%#l#zWh#sBo<HWSz
z@e^c(IGA?l<dNmXQxJ{$Ne=@K3q|$}F?{g^Y6NnfqU5P3y*>6&O7`A`GI?WDlJw9M
zaMf2{O!F&VgtA8i<0IvJp12;5IF2pIbT1mryutM19<_Gs_B}kK7d8cN0ibby$DQ!t
zY?*SHIdN0Mph%%)R9LBk(P9G3LsnFu=Y)<(ELt?{2rV}cCD)(sWT8q`pA1JdnPY={
z`pBNYUycuhL=4$vFg*k4He~@_#}zDFl)^K$q=HHK`4tiJanUOCXM{g?G}2MPQUR)_
zBNnHnre^0>ukjo$MgJg&KGu-q)`cv`wn%hVEF*EAf89{51*1W`#4FZmuL2Lsq({yE
zbI&(7M?5uE;3X|tD`v%z#81Fqi1|TFjz!ab4aW%Xr%Ic~y)Z;jPjA`E2CyUa(z%W+
zX+_z7r#F5}ue?Zgbn#bDFj>R>N~o&c+E6TFE3%!wTO)z-^#u5~*xo4<Y!78g5ex*2
zdB<d!Obn8hsh9LPsg{I8un)dUjN%@F5%#U}4yRJ@GMC_6DDjm3yk1>qn1W}OzFvqu
zAKDX{o4O8`u9O}F&zpC>hwmkpL-Co`>|2vHt?4wZ%6P7T?I)!cw$?yve!6_TDt*kW
zp;w2$>Y<jjtk8uQqQ8Wa%OgqA&kOzuTzYofT;XsU$@<1Uh4wue%J?JMuE=qNq(Ovz
zi*qTy+VEfsj*}^S0df}h0-f;bpWm=HZdZR#dxI&5aP3K(kIDU#{EJk!?4v`5js@il
z%??)UL>*B|7;?O%gzt~M$50||DdZajAf7^>xu($*(e<IN3zX(HCgs`kiu11WS+a?1
z{d(MP!j@S#0(?Yaz!k%j@aQRQJ<)$zw98!W-`w|Ky=Yu{lW(YmdUb0Qosq|d#eVs8
zfnHdJTw2xs?7ExyI<lf^6MdH<`G1n4VJ^I*B(%qeaNKh{*2@HBg$+t*w*3U(_eIeo
zZ?NHnAyK{*EBQa%qxfvRl(w)WBjy)G?%a9jSl)a;At=fj&1w1&WPpw4b1Ax2WaY)6
z!g`Fd?&Gs)3OS7ej3flpC9DNF<QPMTD1OUZN(T>)fu$<fl*~`eIGWC$i%#$+fQ(%<
z^+`U)=ANSLFo<TT8_+>C@<QC)_>gX7=2cFV!njp<R=~j>_srT<SAR?MWH1b9?Qe;G
zd+IhP$Q+Aj<Y8hIKo^%~+Rv4bBWy~IR3#^)KUq+LW)5m6GOs>0M^Pva3BW_E77=mO
z%;Y<eF#M+aa>nKa5mIu^qNh%ukQ<*m;K^6m%bjW*_^SC_+&OwMea?Y5!qu!Q;wT(S
z<Cw6={Q6@3R(0R%SxR}mB1^3VOO7_-(VJ(b7cY@g`dymDb}A^A9xWqBubrii+BA~}
zGK)7-kHwVBZpr-{$?7S~^-E$k?~{UjoHRTTAs4^Mqnn>TePXfn^nqgLM0r1FrrEz^
zOasOHCh*L5{=1qYiV~545;%JnCW_lO1pj4QavYS^d1Ax$79y6IIY1S}O&N|4+AQuQ
zP<m$mOnH2QLUCY|NtgTq@oc1`K@dNAxa3#U*P^?;gjDdzAc_*oY!mhE%0mHQ`%yD)
zBE5A5=8HH=ewp$v;9}wR?h6FhPb`*1OnQ~v7juMf&s}VEZR@=@0;J{g45(h6D<@6S
zsoe*FV#6VRQ8|buDx96w?H!+{0cVbz^@x~l4t!zg&)@&aao)_-<r&hfnv0AoCO$k&
zMt#2gc=AOOH4D<g$}AwzBr1d2-W8Z3jdoM841PaZXTt^v&%~5GFoaw}xP+|R>`}*`
zq4CfIuc|5VW0ul44%E%h$X39qyrlP&^XHLHDIAMcPP)JE3}$65yvV~=Ww%;li;+U>
zz=|RO0zDnlMi(GL_-3QllIyQUVwNwKk1CZQfoI5tD>|ZelZMfnhl=_kr;bMhW$=TI
zxkd}AMz>3Vq}P%{ZcQE#oR<%i8)rmIK<9xSAUR_Cj-$&PrRT`!(~%z(+wz$|jyl``
znMl%sjoAX~AwBSdYM(90J>M&}@M%MBEKpQnGHu@}nzB_nb4C>;i?xqJx8ybu@sp#m
z4>3nWi&nC;AXMU=)s-@J<#xcgMa|aSnqwLxva}Ay_Q^hmbCA9v-+t^6`{^<P1j3qG
z;M!hKywXc${pD&WGIM_P@tXP0MwX~h*-iU)4XEf&^E##HqLF9>qE)Ld8NJoNy_IaQ
zWBbM%r=kz|eL7B4kXpB2uW`?jDPCF2=IqLpY=(GJcTjcOePg9mDFpOf6X1XUJX=&;
zSJH12|D{c-<&3h8Wtfj68Y_X3jXXkhFF+^)^{n`60qcV6^~oTC#u@D;4BPcJwjWH$
zS0vc5oJ6H2Doa$c6s9_|Sc!#1C_{qhDT4fc<u|!ptj5#-QAUVz4Nrj%CvXT)DesOy
z>gEn3jHfjmUBqe)PsC=;7I9(%DrQ{tI6UZ^ZjEy=AZ@AfhnX?zsUm`!o`$BJtG94?
z1m}4p2<++S<Phys(JO`~c;eeC?5SUg2kp~T&70?V-F+4#3t?+e;rl1A&4duIok8=i
z&f+FA%Ad=X(#uGME3kyOi*}5GS(HE-M|~Uvd(yJabkCqx3xFmNG!0T7HZ5EWAue@O
z+s5sF6NT<_s;}qt_hz}u{S95E1E+2D(?)PkqLZ`DY|r2IdfT=iOhYX@E*!QQndAFM
z0&d8oIfV3E1nBjPr{+V{D^&<euRS~owh%IRH}W>AtGbz0yK2!2cutHmxhE1<qo&Nn
zWEb|X#lc8nW8n!=@{6<b@0bD;T(<ptdeN7<GiYl)5`^h*>>*c$NBF>Q?|_}|wY*g?
z>}Kvo_(eDFui>5U*y(pxy)6AY1v#1X?NfgswR>0D|CW;e2cPx7bLp)AgSz`yJWOD$
zXZZf~-|db3`R?%=00M&-oEigygon!z1Quoj1|n#N`7iP$CZ_+WIsRWWS#~bg|ItJ&
z)rQnnIo(izqx4i8O2fM3E!3`Qu^y(k&|9`1CW&fWYvdriLQevcB0vENsh3y-!$v_D
zb==dh(f*@d^{0Df{(gD+gTSlp@5fGoUTgQ?zh6BJr;ftTJC9fQ{`z~)wzizQ^cq)P
z>vqEszgKg8O8Sv6Nxwc#NLD^1gUubD5M$sUBOB<oCS{E&g6XE`@WiLgC=g8WJf=8t
zSGLnE8veXl43_+ENfsB#W4+*K%N*Q)iKkdKnl#8^WnKWlygi!<Y-&{R($?pW>?0mJ
zavgFeb1iZ{w$-^{{@|8Pev$Zot-ilWNCuZi+J7@8?TtY}j&i~7=+`qd|6-!xWR$#M
zbf`V-T5lSErV9@k!wM&sMwpf4(zN2@?5qXc$+>DWjqZ!&=N2a3C(Z3?A>f{H+9r*V
zy@g-PO2fI`Mcy^}H4(2-8lUwH!VQeB3XD<G_7OAp^)LHZiByNwyF<l9#>6H~<s9ze
zpwT)-#K%Cp5#2I<8-4Sm_zQ%uK@F@3;T+xG^`FSqB2<x*mLSOY^L&w#eIqnk@JN1s
z;Rls0l!rQW5y!&kpkkxGiUVnpc#>YN<Ba33jGEU0zW=d~iyNs`{2R^IajZhzCF%LS
zOO%|l%%=+PPGdHl7GM@=7ObaYaeNYE*n`-Uo{^gFycQtgC$#(3d({V=E?ZoAIUYOE
zxM4+9z-&2QfnJG?zef}g%cYh~qsoSsCYMw%(5<=A<;7H#rRAxq$W!GisACO73p|E8
zN!8;bu$%xx?Z~YXK77oEreN`H30)X27&^IDB3M`Zj9U#`yf=T0aKrdcmN&Z0RK(~?
z=pRCTFuzHKy7nZRq21trht=Wvd5V5YR$NPO5=u~uf2HUCJu_l}GHAOmI*k6Yb3ltj
z$-`g#<%~0l{c$WKb_g=^I5J7esZgH(x-rxf*-9Ck+w7QRys$o=OyMtGSAe@t1F)SN
zB<1zVPK_4)y;AW<rLJz|CSX_C0A}nN1mN$iSG9a02>DLyi%~9AqhzyY^!U5}rjK6i
z_TPEx%ee6ARqHWeueoGY<POeQq@Ca|QFUpV--hmhH99v0E+W{*G3Z}4(p7$qM?t9z
zIwC1M+S45hdPVA0Y6Tzz@`&1VCzdXE^*RbQ%5>ze0>Sxh9yO8S-Oi$?Cfr}b2PP!N
zl|}CJVv0FBmUC8rxCHgJ;Y$V{h)xrbGGiobgr$93c03Mo2;>Ed@0S&Lue>yu$SPtZ
z5+q4TtjXo%{``?^-hR?t?BhgjeZ-(|8#d{>H$&bU>p*rLKI{ZH<KKg$De^rHsh!aV
zi8j=#J<Kcpz|fDo1$PDGuey0}IS%^f_K7>ej5NgdA<{`_wlQg=eC-eG7`ip3+$YEh
zXmae?lO!kbTvmj%{O1m>&QWTEP76Y9%tkOT8=M+e((st-G?^|0kw|S2nZm<d3R0J@
zGx$pp0s@1oiu^15V&1TVNHO(BGCb^l)72n26wg2;dqVmI$M5~AaJ}c2`lSO`h0<rj
zc7#Th>9g9gR6{&UxdFo%xWQ)c_h?E&zYCM^1Jq{(<L*6#&8YI^ZboYbqU*7pnD+(h
zWw2%FvR_t~iv)Mvpx#<55=LK<U9{dR=}IbmVb~OnP)vXV?dmJ`$-c%#!`}Wm_eb~I
zNv?#)e0OPlXiUs~pNyE};`#fMHJK?F2X34J8KC3sWPbHGgPT5%v9u+#MrPLg7V$qq
zEsw!IoNta0HZGwS5cvYLi(DNwPsNJz2L%nM6oNT{mT=;nzQ<7!&~zA_c~!EEtZ(d~
zsZQWpL^o+0v|Y|u`AZlj>w@j?xAs(N!}fM({E#~IeLZ1)GIX!&WY29cAj4?@e}6a9
zjaSs;D2PxCp&PU-88jGahopRBtJD@aM8cr!A5ynKGi(Sit=8q^{fV;%P4ITJ45P;m
z&6WZjWy-WkBMBx3or|cgXP?(leK>~c2z9{=gE9%y>{kyT)TebodJh}%0@Mt`P9V=+
zxOm1YE;x|yp1QicLa`iL0zu8U({qQ@f^711#zTvTl98$Ga#<Ui@ksE}{db>ZAU~42
zTTGMlmM2ZZ9|&0I(7iw#cxI5HnXtsh$f1lH3mQ@d5M-fg7gbTcKIge`+2;d*<4Hts
zn72h2zum<&*=a?*<7~LI7{x=r3b2z3+@B%PQg#fwOU^8f<Z}f5wdXY%zblA+1^MWu
ziVUP<#1ly;hxfSrC(Yw#z9Xn(@vn#MK_4e__O!*dpk9t%q%l#*a}B7phB>E-Zc4s8
zepDp9JBZETOflYiBylxX8FIAe%`W10=#voe)8#vC+|f#k&$1iNexwJf85N0@L2Pvg
zVhn}XU#U(<-}Gh$j~L4yO|a`m`=4&;<?+x<T1k)V#kd_2M}qBaciWpP*!0;#Vx`OW
z)$NQOWR>)g5O-aYogFZixykqy-cqLL>zdx^(AAyMc+vWKhj14pV}mv!PgaXoVJ>br
z`&;t&hjlud;Q^lIV3PR<GaZbs?uREjoVeDU?rjkeBk1LfIaCBf_{bH%+ew@gbdnto
z!kt0C*)3<45V`8TWY1<ATZN~Wr{|RS1m?b;*VfE62>JfJZnjaS@&LK)i+y3reseoj
z8kFzus)C9w+JDPS5Yj(txDLE^V#L-E6b1?pIBp_OAbVdZa^VP&0AWK?#*j}!40wTg
z7ja=d+rxH49GyXve9^)#xqYDP`}Y{UqXYO*eF9N2&cQL?kogSBlV;4pTT}#lkFgNJ
zN>d%{pPSx*#SfnQb$NoOKsgj-hBH>}A^!LERAqFkXXk{#Eid9@B8k|$V*d_hZZW?!
z;21+9Ok<2p>hTznD%_iEj`ddEO((=&?|tW7My-*dU1a>&bu!1u@sv<g_e-lQ`he~^
z?6v*X_8MEr0`RKs)i4e6We#=K<>*2xn{)|z5uLikBZFI}Ue5!de)Z*FsVbZ(FXL(8
zqqe{dny<c7*qn$Tbg6t1j$_;FdyAmu@2caN#(;StWGzk`v-(rOZVNxo``?`b*oTDN
z-&15PEQfNOeYP>J4&9-X^iZT38x7|Dzr_6Nurer990@<7;0DU0!6&Yb*=3RDZ}fUI
z(I$~q%#)swzZpRvhb;;_|I~ulpc^K_lLcv~q4f;1tl;tz*XuX(c*S2}Rp{eyB+G3t
zpKN!=0a*ukQ=2Q8pfu=`BnGK^PSCQf9~xoS|9~5DEDDpYfiM+ViF+gi^?<l&dRu!+
zrovVOx!;aGL**$C*j!EaLaWo=rS#+A3^0}svj1XKu`!*a8<7Vw`kO2xF`LI^za!aH
z(W@i2E@$EPCno>-=-}?Li>Wn}yyW`S;yiUy*BfzOlQQ6t=cTUVyY0Qtk27xUROG8$
z<MH|3=Q4}hrM0?1E4OcW*)5ZqMy6uP;@IHY-L1i|_24G$_lnz-!F^xHDerr{j;C&(
zx8;Pxti!IcFM%$ChYwyWg?%_=8_|Pj^yQ0zCvUg+S>tp2;n$Z&{(T?wLQn5EG(&4%
z7n735qd~LN7W0e$bFLm$GmG1`Zq5&QJT&3v4TA@IlzU`ma1ex>JX!aQRqY6-BGGx@
zX<;ui{0Xcu(Y4x!KtjC6sWKpg(1swx?&M|L%=mJ`{T{*@VkOe`!iTE{Bvzb4q-v-5
zh@3z}iy)F18dnC!5vCI;-mu-H<<;hO%Gu-REBn|Ty6cxLWepi><C1kKukib~b^3C4
zPEreyv(Fn+9!;3Z@@p>P{hdlW!P9o2gyR99A@Y@KqB<0|_!zkwM)Nz2X)ENEhdUp?
z$qB+#*DUUsan?Vdvc8c)(Ynni7&ci6Zh^Ee9C{XsTqd`ISR<ECv2rOXV8D<jb^o_I
zEkuf`o(32<6UN1iH5F>c(sIB<bm0V5cu0U`Ig&`8dVX@aya~P^A{8%qbbdlD+i!I+
zzk7!daQjDBbr0lNgD?e0d^5|%ix=ScIR8t>CF=(KJWLxBWdinn5p!?x$FD2~z;^m7
z^eMco;kzhOPS?gP1NR2qQX;Pd=&2)gszwz}^%AzTb^**B`BX5r@xI>_{u2f|a`C*g
zBF*wd#_^7nG8AwrG<ScFJ7X(2^kFmkhBQ^6jm?x&D59Llk(ftBk29|g+o-)?7v6yx
zL^)Y(H_pT|x^*zb!uJ4P<cb?Pkg;vupfI}Hzhp!tXB6FoOwpZ&9Xyg)3^|QjY~X7`
z(i3QiG%eV!Fr#PtrC!uFT{J15&BZ1=V|2R<cr}oV!~}wDJ~;dp1%+_}>}aY-!D>ls
ze8rMzA2Bqcc$S7IXt%tsj|Ir>0hd^ZI80WpL);8~QFa_ul^GJHICIEGd<>OCu($<y
z?m9;YrxH4AIW_>MhJ=Pl8&8BaW<~rAjeB7Y_`z8QnP8Sx`7O5HQ;a(pfXOs0ayAo2
zo{)5%j$bpb{u^~Ixk3d82wO;}fKCkF13Wc3TLp^Sv{l*M*gU%}O{VP$C4PKBMJ&`=
zaUQ#1T)mXSH>0f|vq(@)0ncIq1FJLPJR5K&*p|4H1bciQDn%5SqN!$UEFl_9>GbOO
z0{)@~c)$AovpTFcm+t+b9H^i(25cFemDQN`@N&Qc=FpJb5Dmq=oS8-29J?)TmWY#+
zbaZ@?jVI-(ZY=;E(1XF-Vcz>D>K+b0BQy>&Mpiu7NNnWPr*A(iMf;I5+7-De>b^}+
zTg2DLLBb2C*DpZ@WP(E%iXLV8N0@XmAxKWS>?uG!Qz%%OAO}4hqds5de6ul`7;2ik
z>l=n3P~tH272V4$9g01qK1lQ@fsG*04+)MK-Vyv)VdE7X^LFurYylgV_pDp`iU<#D
z$RIb#qH!j4>-V(r!A*M*>Fr|%x<BTz*@?x1>5{U=FN|5k_5^uFEmek`5I(it);xB?
z%iUGPntGlZG8pn?VoEkPF0ouNX|jq0HFmZoZLe*f9ZEw7UY=Cn_50TYN{@?l0rbQQ
z3lbxAvw>*Yt*?Az<*M(jRg?sOXgb9d6MDW-gvac?sFu2S<EC%0lmhx6zA7z(k9V7^
z2`fsBpSzel1m(TojShhf*ORwHO$4adiV7m4^=ol#yezM4JTG#wY?Oa<w*VXsLa!`0
zSOubL6=n<N<!9v~NhR7HW$k5Jw4dQdj5q2303mhhB9$=-oj^-<C^p4(4P_S?H~!M7
zEJ2+$Ma5EvK<Op?jRw0G0Uo(LB~ch)DfF72>ixjdc668mys>7q-!YRjilW|)RO>vX
z+;m_E3Enny!0$qkdFDi=<!@S_>}*UL@@aY3R(tSUZ**Zb!X<5?J-6>wNMYK+6%TXz
z%0Y4c?YZ9Rz}gTx-5^`6!<8#z8yOdhzHpgZEp;+U=J=0RFJx_W{R(*zD8UQt3ABwc
zR@0|Byee;{m7v#T;4<iYh)%z>HZYC`C{!v_WT`V_P-Tuv6~WNK-_*D^it@U+lQ_tH
z9%SEfRJSBjvk-T`Fgp5?1TXYrn3a*^NVG)Fz$}@MiP!HR_6#I5i0f(#z;lN(Q)*us
zTZVPlAV&<LLSp%81$N}<$I}u)j(0GYMBtda16me8jS+obGx;(UzAfWl5rx_9ev0`J
zZifdW`1oI1s>!Y|GG8QorwK$hEXXJzf7=IK?b5{OSs92i$5P$>Eckr^0J4p(x|LFp
z>$lH_^DJVL>VNc4nEKoFpG=pzBmf{>W%VlNK3y051PW#FI10ZtT(vt_(0&kub#;UJ
z`f$6Z9Pzy_nSLJ|?*1_;jdjG!at~l>%pUK^yssu6IHCAtsUWf{3F2Mz@T2aA2mI?-
zo8jHpB6!?95ACs@3UGh5?;I-{KX<5-Ps)?f+0TV4gH@%L=#?e+RLxmnCcx~J*o5fK
zRgwT{I$U>RCv?C+z=Pr34&R=vqD!zs;FGza4=@~@zpC9klu~*u$0Y!1!dkTw#WT(<
zqZjITrA|0lT2@opv2Yxx2ZLJ&8-iBw)uE5<XYZoHw|jF`@Y!T26}8Nr)I5dn{ox~4
zp2uH1`0iCb5#UnF-i)F=RxiNdO`D*zzp7wEKjK)v4fdiUz2@PiQ3si)TF(#^t+t}9
zRY6&e<#3tJ+28-?3bpZ<E!jP4J*0mBRkWzMs3=q-P7w0B#$f@9o-c%B0368Xe^_VA
z)0iwdzSFh&GgfRuh6010AO{pAo=X0hcR>Li#yLhskyf*Oa+;Rx<-Z54s1|yp)d@A=
z=GWCPD!ts_G?F~PfHg_jsdZ5ng6QMtxud$IG8cx!6uyv(aWg}=yoz>1F`!n0qa5)t
zk0ZvYJwi~(y3T`H6F`?R50CHIeE;|kD>f|>Dzo;lFW&_6t=VzWv$NfR3#V8{Tq;8n
zJthmCf!s>aGFT1EWE#VXc)fj0QS6}e)N=}t%y%0B(7elj4WGf5=jV<_{|E_(;5SSt
z7pP>Vrl8<X3v2F@4IZGXil!j-cO05JtC_bK658y?FUpbv;W){5k(tx)%2>#T;UPkV
z?rpvh`7Kf;j9sVP(UhGsKjG*`lIb~yl#xvC28;L@EGC$x%N2y-Yk^2$XFEd^_=}8p
z34fvC%i!6jZP&{FL#!7|tAu$x8b9$y=)mG;R7e9jRRmF!ex<H6VI5AR@KW|mYRRh`
zTp<8dbkGf~{19-{*NCtaAh3dxV%I!THZvjnl7B3=vA`V!N9C765neLxV#yN7q!I?u
z+vgKJ5oQc5Bh#V{rTQZpjA5mIs^~;CKMXn{8@Q$lk~rp~rdU|3ZnF%g0ZP@Rg2dxj
zpO^$$g?@`{m;>QNO;$b(cXug?fu@SVt~+e6C^*y<4%nIt`e#2bCb);FW&Tsdfax<K
zU$#E_`RXdX3q|3CEyRa@Q7JG-$e}5dP$u3ULL}FSK=em;3oQSHJ#ouA*jX;MOkNL~
zst!$-{2WQaG$vfMM%5-48!FbP=oC69ZWRTq2TWlYZwg(Z3PVWq{lG3Sun-qjQi)>w
z4OLeLJ;TM-TWT3=rq`eM!M9<1@bx9Ig6>7bLA>RUf7En(fynDu-%H>!Np~et@C=y;
zD;>PuuH+jbpz;+8D#OCS^zC2aSgf^)tH8}7{4?3ql_$?yDJLq_%yOTnN%K3KA)6^a
zOt>b}wChe=o?gfcX!yJYv?NG8H#efC@h0WY8-#Ye9yGH(GnCB1**PjYR_vK>q-c<S
zbx{Gt55FFt0M-L6s8&?QR!-4dnx4iwZZRBf%#8^mpPMs`zt`mu`ULOY5`&Hx)M{Nh
z0o198KpNVZV%+X@*o))fFD|xH@mJ5SkNsX0<iKsF-V|6ObpvCjU{^@URY*zLo;kBA
z@~}QhuF(Yzra%Yv4x%2L-HGY%fw&_#W<s+R|9Xu8j?5W8BDwU8=n#d=s0SNpoJu*W
zxcHcacOL&zE@=~q*H`gzrjYh2oL{X=+CKAF&m=|OEz)7U>ujn3nDXR<U>|_!2PleP
zuUg}60#*l3y`1mrPBfodjU)1}bRmew53=G!WDet9f`5PFIp3UTmcQ9|fWpy=4_K9B
zBG6fy%ofD-d;ChU%+iti^otp4&*+(N-=O1ABpWyipvloCQrZS#95=D|V)+Lt%kgUB
zWEl%)*%Oe0-lDKT>{Zyn;7ij4=YbV}LA9w_R34j};_{k+FRjE*rxcN)VihVoRIeOk
zZ#*xTpUfzBH+>7rtI5bX>^5A6RLlhTd0054rC*UoPo;^VIA6kWy_#T_$w=|-zQ_{J
z`+nrLlub^jbNEm?kW$^@2nCv*myMN2oJEuzv_W)K6gC7F^mzq={FGSnnxZFv){NJ&
zW++a^>eH6EhIWupiSqHdch1}yQj(XZ2E@@5_pD-H_Fh=u5|uGhjXe=h%SLL&=d86>
zTs2p_l4N%d_vRCz#0jdJi68de5!{?tWo*t2=7L6xspHPi+LnASi;oDborMZ<l}^l!
zNut#8U;u!u3)>5NIy;JwLflX&8<RCPERr-8Hq+{7vd0RlNo`^}q;rvtm|R}lc@nl4
zi5DHcxi1+Gn@{udzU%T{Ubf#f^1i>jojC*_jTTq#awlMMWqZKdB?lKu8h|TsrOdUa
zg~WI9^!z}7@hPouO1<0p(I%1$5fsD-H^dcQVHqb*VUgI`iiu;Z3Tid%6mXz5BT4*3
zwZ(WhgUfm2(D8-WqF|*op`(1)6ockbyS!uY1CmEs52TS#rUiJCbNjjLjR6l;>FGxF
z)QWX`PNtgLbMzom?{IZ$-?%v<t%(hGI<P(n-oO0Mcw26t?%(Y>K|VkYxf)H%a1QGi
z2JjtQ?)>zn%;Co-S1hbJ)V;JoI!QMVJC69QgGmGq)2F56;&52Y=W5J9=m}L!yGytT
zzDR%Ed2-)A?_MpXY)vELUA@C_E1XQZG#wJHwG-;tu)HceaW<8_-P4aXOZBs>C}Zd1
z8hj~+lwe(QBbYvZD8!-S4nzj!1E^T3&;?V#3xM~_1CjcFgvfGOo9C-O{^E86t}Isl
z2M+UoDxwR&yQD@Y?7q8*NBqJhv^`$s*rlGDs`{k2r8B>O|9{68o_y3%AEW)eMn+%^
zf=5$Y6NbLxH6_G#ts^Y9TzoOajh~jBE#Idn2!h~IUOm=pME9$i(I0Ve@2If}1MDQX
z#WGss(R!1zEf3M3Nqhhr0UQ1-$!K}F2b$d}G{%-WUwcgJaL09dB?^2Du2%>_&V9CB
z29xdPUdGRz=LiGtenVLxqTE(qywmk4uQ|=P5EuvB+Wqxr`9V%k5DrNWNM+2FX3B|F
z>1k*hM4$L8BkvwxZ>UxrBc$Y@>$?|r(#-GbkaOiZbd)*WExF|~HX0nDO~KXRD9~q2
zx7IzCp}1iU(W{C657ja7zT$nIR}lJ?oSH8GuJ&xfr1z<JP1i6!IudeU&-bh$YWr_{
zB5<j|5}bYXDNyV5Xg3~5jQ%HKSOOCxSBx7wSO>%F3XA!Eg1uzC62?&cF{UT_5y&vs
zKRcK@x4k0VdooAw2o$%kxdu1U>%+6(x{PhN?&=$Vx1>+I={T3YoO{<y{=BCzoWgND
zuHW}L6I$#wL^$np0BIHh!FSxj-fK?z#*Ct3HNLrn*nYzTvkO=lf1O5RW<<6uQo3;F
z9IyO@O4bvW;|+ciMX@o_Oge#K;l5Qn#03x-9pYH=@a_V@*5aCD7_pz)+r{2_b#x{r
zW%Q+L`58Dk7#IXr0cdL*Ux<+h$;JOA=41X31<3y%^RfSr&9gR=HGV^VeSJj(V|~MY
zePe<QeWE#y5bEKWUrLMw(U8GrAf7MOM43{)yNt|G1>Vv@fkwa``I$i343H-O?HT@q
z_WZwwe;geDV}YWcvW_I05*GhqZKt`(y4XJ;kPi^Q0c$QM78t4CVqZ$LEP`0<4RGIb
zil3fpM8{f>ZE@1xkS2kdrnj-Oe^xvZQ3})}>JSV>C*uoAA=2ayFAF!1(0?cF`8n-<
z@b^Ju%mx-yYLce;>XBoU=~i2AON^~`RxehJu>dbtmp4!5VxC5VK!Oyz(gMqpO!Ne{
z>yXO!AN|v_j<Ly*#0Lpf=~)?Av#2UKyIfp7`{YCF6rvAQtrY;WC`fGB$IA%er?mH@
zQwppb&JL-ldQjp!OdtQd1dihxwM|hoXqaI3!3?4{3|F^4sV07}4QrnW7rsv#v)WmR
zFz!+dfqq0uGkk!SFoYB8%aSrCQWD8Xvaf-{DH8U5FbC>TGeU41HbSC00)!C*o(Ndl
z2#jN8<<$s0PI~TN++H40un1ikfdnU`yol4P6BVkf3Dq9#6@PZ}!yajGGNaY7eCqDS
zk)HZtJ)yUt4-L@(1S)CFrSJOXy%ruSo(9>W77T&JbUt)u4q+Zl!m<X&uZ+8#M}1V9
zL#)B<Oo5+YTgE?qMj9K6ZK_9>f9aF}xndKkKIPHsA-}Y4!3(R!(3`RtkKe1Z0`b;I
z0uf4UEyk>~i+t->oV8TcY>n@|B?cesn|qeQn8^O8+0b#aAZ>a4v&;A6i)9mXHo$yA
zmd0k)IsHYycYY`HCd&N|#-;AB+a{g&ZnP%!W|ueOt)(Dm!)057<k+bE(HLE1aLWnH
z1Ncdz*_{;K(!*rX=4E;-e0`i>Y0dA!6*|BJ)@_~3_g#f&<>AL2l}Q&{Nn8w~MLFi7
z!N_fVMnsW1hGW`cLz*3=wsRbTJ_E-lTix-gqr<zE|4e7#>TK`&Qdg1thAf@GTBP^s
zwuuFUyWW^C??Pv=r}yD<so%%hpqq_!<u4NAaDXaL%C@tlydmzrW*OGQG$p{RuvWN!
zK=CO4{2rhT(2vdITeLTFp7xVfNID<S+(JyQ`xUj|r7T5VaYLUapRasFrjuN8bZ#0o
z^8v~W;G+C*Q}!R&^Z!2SOl<$D(X}xQ00xJE00n~V0h<4B*Zhx?!2fx2x&Ftk^py1^
zRh-a%cJ1s_Ib`H2YHq$$)08%+q?ONzr)~X$W{{#DR&MxRH}U`OSfyn}lWlC{ys4=c
zNi~(J*oXxpVrXN<5><xtQ^C9g5t99S+wI_Ym3Uh4e9ax?>UBXly&DV=24;lQv0}Yu
zxvALJRo55ek<zHGjcWA5BSWo2hpq}`<CTX3Lu$?_NQ73TuU4}iJRWQ_-Vfqz*OvPE
zPOXOks&>=D`x=MZyDX7p54RXX{e3T6kOT}z7VIh*@Vv+K8XNfIe$BopK~<dT>;$Og
zlE}~P?oI%3umGxJgSpn%H(Q375HZe-pgo%d?TvA-5?nKlA_>wijlj3b%&r-u0sW*Y
zv96j#c7YU?7+#uDMun+`eD;83f-GAA2K&4$XbP_g7gbW})Z8Jn3fz$`8f|R_dw+Lx
zbg<b=aY}S)fjlI!jMChQ(~VDX;G^a<s|lMX8G?=DCwW7dN4~v-S*VnTIW28vIsJmm
zD5qs1wq+UT!j0kc4?=ALHsv``l3JkG98o#}X(kBO0fTaY@*VbOJc$&@L9wtu>q<!B
zoJ2d4Wc*46^J_G64Pzlp{(i1#1ygdX^;G4Y%J+K=fViOYbdx!PyNQ|eIV*ofw)bRK
z)~b{#_D~@K#)|a$@KJzJRN4G=-LpjGVTp`rOQdsAU%eLvb#N$Kk@iLYOPz!C;NT!9
ztE*#d{CiGucdh>SEI!$dg3o>@TQU>iH#-}423|JDKP@cbrtkDk({I*)?wL9<-=g$h
zVP0iF56x8Si5N(jE$mZ5`~~sgbP<sYB|!boHLtumu@;-On3hYEi|A+H>=_M6e$g5%
znBpu)J7d_dMcRp`8hsO)kD|E6H=io;YSkii0r7DD;jqD~fqkCj*<~s%Sr6*U;pUq5
zj*U+I?p6DzSOYs;E?HRw{+?&qM;9-R@4R4eu~O}M8gA4s{ruTNjHpy8CpHF5)>jCr
z6vJ>ZXD#W&07Vbzc|JW*Y2(NN(Zgs@UZ##C--8H&J%Lk1*LP4o7EV7FN1ii8z<cm^
zAc4<0VO}(!(SIAe|7gqn|24`i|M4R5e;s8O7PkK(Aj{Q&RYkSf_~!x>5~PVa-!*qN
zZ{DFXbaJy{s50&j)&U<@qlbV3gMvN+0dejn_aTNR-WuFS>O;DRfGQWGQNOfqold)G
z>8yfm?cFTCez)l@9L#%E=xfQ-YyIK+A+tzgdGvkc-+ko0{qP$U+S*1&2!E889Q)Y+
z7|=&VSf^1y9^ZM|q>)#Y5rbLnu6gqD0=}cL1Syn4i0zz5OV>Y}nR+<My94A$8A6;s
z+W#<)>jV(xY^Cd-M)S{2dLw__meSr1*TRDC$RI7j?-TKlO+p2Bh4G5}?GgRp*sA34
zig%I9)2fhHGJ}3;)O|0Tds>%~FbNeEfoRm}H%++dD}cYL@Q5{xKfswelaMD3EAf0)
zAo*Lj@&<QjNz$cHmSZ)DlEwZ$x>wD31u9jKLYMv}M6B`qm&U7#QIaTmDzOHc%2k~(
zEqZjy0jD%wG%5{Ms;I2pCMJ%!UFxK&s-tnWW*M4_pC4K&S~PW}bn3ghV1RV)9)kuM
z*ie&63h+Xv&;-ybZ*NWSHvS1_m&s$=cA?IvnuMxqm#)xoq*{?^#lp`h_-z`EvZ!(h
z-$|2hSKKQxuq4rg&5@lcC`w3IxUB?$xL*>g5fWMifhZgq86{XUL6i(!N(?OmM(VUt
zwQ&^0G%#A#U3B*TxSW%6d!>!dxw|cXd->+DE4It$oBJE;9mD!w^Q2+=aH`r;VTon)
zv1}Ek&iZ!OLm(>`^xDNzCs57}WdyL%+p^)~-5b>CWPykwx4MO?n-o^aB+;~Z*x!x=
zGE#`Bk!$dEQg(z-U6ZM<<04}*suaB;iFb($PVxD0-1c08wq3klyH4_`NjkHUOg8ke
z>X-f!>2f!9&JMCk#;!dK>hWv<?@yX}jR~fCI`M4Pus<KSziZG5u7MlL_0$c5ixu$2
z-U%NC=|j8<?M+!<`~?2*Q)_oPK7;EPk2fb%tS_6Yi6lQgWT)~Mzoh(E4J4maY<RBp
z6&A|w05QZi!GNb}fqVhTEx9O?5;StV)NA3I$?t`+F7pB#i~+}HY*kiPWM4gzn&8)A
zm4y_Hg(PhTXq1`4QgFVzqpuSJgHf;)Sup-SOKvbPSZkNSvbN?fL6H*7$z83ma4>|y
zW5;_!iQE%J!Lr~K%(RM!kcw$+b`TyDJG+aXmYU6Y;x8=v!(qdpCcO87P=qrrnVG=B
zsWR6#LT9eINx;TP=r}}wX-sr@(vnqU$_lH5j&F^=LP@|g?hYv{PHc;)rX@Yo%GVqF
zQ(hs}qWr8GbR#8v8)H<C7iCLu&s`(_wz??}@wtD&TA#}kBlMY+l&B2n%q!zoYD|FV
z`6l_CyY0|PeR4ll3o^_$i_rQ!9LQx%s>CnSyRo%6e)3GON>@`!k71v(ZJ{SOxDEQf
z!NG|;d*`qMO&XuYk@LKOGMz0eFSx9WEgw6l$TZE&diCT;39*(u8Df>0!1&Hk$B12Z
z=nYB)elrYa7Y%yz6K0SIS`+O48UI~*`(R;UmGSVDw>o@Z&KxsCj7nEpxz@nklQp9T
zJ^RPdJbB072mTjuKJNvcIfjdkUM5FEF~*zA<R0T3OI3n3F|xvUm48ZYesy404oPna
zoRS(Yp#g=$)?82M2SwYR?!<mz5S=AUdK!*|%+OM;_JQUT(v_JqbDGKOSY)^UYmS+n
z1h@XN+6nsI8>Zp45BHlLtM)~nus32?x^7X!@$1+bZdHmXvMe;GG$<d>xfOTP>ZBDo
z<r*q!br=)v5<4xh7b|NId0E{O$Hzm(SD2?jd(4{{ihQ|7B)(fhFq%8X9@V-tUgE2A
z*6gW}gR6=KgwMps<W0(^IGP$$-<obW(Nm=|YPx9*^Oa-vWu2*OutyzfB!jFG7;+6t
zOpAkz+GRqY#TAQY_U43Z3>`bl@7+B&HfT>3pZ=a*QF_Yyg7!)F99%m)ypO2QuwCdM
z*skdbcf>WLcOX~q6Cw`>y!w1ksuw!G5id&(0xYsZoUdpP*ZHimxg*&kJpMhCySI?4
zkI1`k;JHZmT<|QvhtUe2IZA(=x3l7~!G5shx1vB>5FnoH6M6Pem9b}h*Ixyj+>|Yl
zD-HMVY1j&htU<<3Q_31c@zdnh;dCsB0}py61`zNb+iC?)2^pvQ?}>eREA+{w6-lPo
zR-@kB)p}r;_$T$T--Azws07VChlM%`sIWoUi6Gp#W;>32uP#kC)OAIgde-X;H4@7Z
zCiF^L^V$}u00OH-nkB6T(DdU~sHtlO4t_sD<7mp$&R!y<PPF&@MP4uN2L81N(%>hw
zDBlO;8O=|OE;BSs`9v4LjNuuHE3N85i`b^n^skxh_*hwfANfcIazf^ufH6ZY_Is_9
zowVH7iLsiBcGEWwpDP*j@mbHE*U3slQiYos-CiXZqAP*3hn#?3UdI_z!svGyp8Agg
z^6sZNeOt#y%Os>VB{@|v$-zaE0RAXh;a<@2g|Q0wvnAS&M2&od+R47m)@0kyvR?&u
z#5Fj2Z^-+qpji+IbZ%l;cp&Oq++eK1v?-;AYtoJ9_QL0MD)AnkCopns_Q1<>WPB0Y
z{dev|&B^&rf2Rg%U4BmXkCn1hJ%@gRtA7TEY*()eG38hL`l0D-0wY1rny^TwXr^eQ
zu|w!u_;>399t-x)Mb1RPvcMBJ7~3Nv<YFgcM*c=tBd}F)7GrZU@Iu$VJfR|7uBQ=y
z8utn>$OEEWKaAJqUE|js!s|8#5kF`0<_B8_oz_?aJ*S#Q@=JG_n+{*lLI{a!3)eES
zt9-3#krP!8474}B&^CPy&xGgi^Kp+S;X2-?TgejPPm?2gCtZVOMHO1}Z#(1solNit
zGiNkg^nBslb+LS<=CU^^6jXmtpz<uY?6k<^(unOfqe-#wW%Kk?;EK%_pF-h{x18n9
zLy9a$K2Z8hjnjH1f-qEWOwP}G6Fta*2YRNYprciUEX3uc#jT9cr{A0dxGQjLFHd6h
z!V&9S&gHR4+FIR>r6Bu}Mm;-mNa%gYx;+0utZfy!T9oW4Z|EHd++D~SSyCQAc3{ix
zV%l<kOvKQ~dhgq{VT?KV+K(ei@LxqIq(_lp-pHb8?kqU0fJh0q?}nk^ftrutPb`kG
zA7C<>h!JPQiT);`dE_K$iKc%WaZ+oGHbk+0!JBVt#m`;(PjyF$<oEKv=dq2~!P-7G
zn&6F6(GnalV4*>UnfV)bZA3&B&0R3-T1Q#((Ouc|e7K+4>oU|4MY&SMT0xu#TNRYz
zB;?Aa*ucWFan1#xfGQ=^RYeY9OLy$g-M*W8!FzI-c3+w2jVkVAa&3k<StSC?n6(Ow
zkzY(q#Cpy;&g710RV=b`Ad8#G<<6fWvv8LDX(YgM{LYg*`=#DX8Arxmc<Uc)my@#a
z0fx;O{8u3;zu)xE>lF)px5hyL;>+<W`GlaLh9rB^6&z+i1w1t%XBEl`#b6f_c`p8M
zlZ70i6=rc=pckZ+&Ky8-)0&8}a$pNQ%js;j)^MlBqTMrCu3#O2m9r1KJyOc2F)D=k
zg2f-oA2hk(d!}yH<-yaoDJh7nYh<A=2&f}Te3;Z2t$tYb7*m?^%x`$e)cVUZ+rajI
za$c3+>7^s|a}BJ?-S<{OBD)%V?u+ab#9ZaqVt~}a&g*fw(fIuc_W9Vvb0~-^$xJgp
z-ADL+(H}WGB`*9I!ym!7lp<H(>~s#nE3s-!s+kCa!8AH2h0YnFMk|+`b}lUq9mRG7
z7h7SipQZv-P0-^CtRCs=br5+ED$ft<EP4H&5L*TXSF$b1bBM>flD2mAQcmrUI0}70
zK0x=T=5n!nqLK;Kf!TsWKM4bGBw5Ac1kuuFfjQJO3&oD9A*w<XuBK~&yMP0#X4DP8
z*3#)i2)H&5_#I87Icni++7t*hZBSdky|8+O=!zFQt4v9(p_~~Js5=JVy{AJ~UqqPr
zF~q%D*<dX~2d-LX?05ZN>cz=PHk=1KkK)3P5y64=I~JEtGs75gX@kt2BBwJJ+Hqp=
zkv!HU;ythI;;Poo@5=4{di_<;HX<t_H2wE)IHPH85&c@mR#pavaHyT98Bl$FK1R^O
zipKqnnNS*bv?GN>=l$MNnqA*SpQ+dCGPH-+4EPO=b+35~5DO<qe7x2ALl>F{Ik|zd
z4X^IRHop6182xA%%ji(CVXldXa}>_8tlD#sxwe*C4c$$U?(62<MK4VD-DCdW<xmWp
z0)t}dE&Mv<wA2jr)1*{oDfa>JT?Y_~Mo56CvkhIOVg%4<g&_Uv)hIeLI8(npx)|y8
zMsN+&RgeYMdHqH5=2DJw7S;BJv+vjW$o<<YcrduKRf3QDx{aBIQ?I5xnZq5K^}i;j
zHJ5r?x7j<=4)y^L7nSP#`{x7{fAhe*y07vM_1SYT8FAdu)d;=3H=q7rW$zTEN!v9G
zx82jWZQHhex82h{ZQHi3Y1_6nZQHi3J@47`{{OST9p6DkTn81a>Y$=xWv*PA@Y!$D
ziQWC?l@B?eJsAq@!T$o~SpLC%{@<Y-^MCWN|M7Q5R6|`z+n>GJ8Knlo#06{rx7z<;
zeEzqPj+K@3zn&QlfYw3LXvsxn77|1qwy-GfO8lFCr4?_~^s5ORRTZo<Oj`|+^nxf3
zOnAlBUx*#a1U{4aH~M*XD_W{SOPQGV`kY*)OT+lj?ewR&t?Nu6^pCCO>n<su#Eo>G
z=bZbVZ^x<cn4sEba#G~*hUJ7q8j$6wo5%b4K?^;nY^>iAl2P!pT32)^_!v1m7x8{j
z{>e~L$-k3e6tq%TWNv7ll()9tzPKm8^IjW7pTLA9>&Z2zT5$XNe9B*9w|;&%9`^tK
zWC_}ch(nASBmpDNA@(8pN<#eR&X!0cS8d{zMJtJ&!`al)(bd<g4CnY&Kur87&7rZp
z$^e+UPtKv2&W)>L!VaV-m&QWID1NY4dTXQnWP`Z<m2{^mm&L4#hJ}n%y%0nLs&<|n
z&Yi4Y5;gM+dEa@ujS`fkz)3n#9H#))x2YVU7AB8YEE@%@Vv+nNne1?yvFI;tE0?8r
ziqoWqR-!`nb4r!knL3$Sxh7Vh(K3afsb8!hIt`8fX?8LK@3b(})ZM1|S^B#-y?Y$P
z^R?#5VV2@Nc^A8iS+)ovJYunp*KS3>KrM6-d9M#KHqx9|VS>;MnLY@IDbp=IO=5yV
zk4TS9kAye8Xpq?md{^e>uPyZXAT_ZcKn@JqGOTIPgE(zPI0!LM6f=*wKU|VHB8=P!
ziVaD@Je;(j5^WbfR&$UR_GU?x`c@zTaqL~aa#5?odk%UI_tg6QaS6jjViepYc0;IJ
z)29Bmo{Oo^xgTHKa($>-t+{8l?9$`nYE|W_gq)x6wmz^&WSx|C%y({UY;No@hCPNV
zMxPt2Y=jEUjnnSPH!YX~K7p_H4iZ3xcE@w73(mtbu4LguoI1P{9w6nyNYO=_5-xM7
z%0-*w)}xtHeH?MOTKVyD0T=ASvFztVhO^!}MGuP6*Zd^{;W)NbVuA!guf93VR^O8V
z-_a(I&Jgg(>O#I9_-y*)^+=FKhm9xuh$y)vA^45HU1hu|*d#Ueh&U`+U-zEO$77r&
ztE8Q)sj9l5yaeo$l8VV%f~={d^>5xyL!AuZLM@EKIxX*aeP_+f$J)I9sxz|ERUKVP
z1OhW2olYv}zHMWU3=9kLFAZr?#MJSZ;49yX=W~3w;wUsZKTET?bTWZE#Xgx}*03VO
zgmnc48#v}+aiW`e*Td^5;T)54bte-JjdA=QeIe}DLeO_E6&@HaFV>Pw;IY_k&>;^2
z=7I4MOQnNJ6>~wK)4evDWqOb9Al&+i{vQnohzO~Jw~2;CT?!+nhbL{V#1A@KAi9+M
z+{dnN_&M)K&w1mvwt9-=#Yr{_mnJ{#CdttO?tIJD?C2)PXutEVb(BJuib*^gEcgN~
ztfJ9YAZvhbG4O#iYeH?{-|xdUnR^3mB&mY}gRa8%?^GHh;oK=n1l$uLSzK>Jw{y;b
zxELpG?YXQ>q*Od`=9e~VU3aMHp*m^?W2c9ow)sHid#}FB{GE4tl|V8LGElFY=Z|Vz
z0$R=%naaD?ywQ@$)@hV7wu=`gtl3wChd}~~tLTgJ-k0wUf<?ulPtC>%5u)?w#W@uQ
zWE^+gKQR0A5Pnx0YhRU6#555m1xeTjARmQE?m<`FkkX2=1U(Q)#y#$i)J6~ST-}YN
z8b+*!M_}}ecd;CylON|jhFdzYMs>WO)~IN5im-Fo^9feJKnnz1n#qnN0?HwIKA7Rn
z?fBg*@aX)@SZ#<Qe=&4@5;->OzdNDPRHImN445^{Gx5iTs^5xs5uWrVc3(M;6<~Qc
zAG=+H5AAH=to&H->9iB-4TsMqCp;_noQqiAM4R4DhmYBDdOwOa$H&bF{RrSgYMP$E
zcH3U<R>|FJt+mI~j@-`gO0CHWE%kFBe|NhdqS@Z+-Z^IwwhHlK;mjc08UKEXRt3;!
zl`!=57j@sA9i`5!o!%J+t%(Ks^nK2cHiF6H@kD9hXi|izYJj8;%Ln?{5uUFN701Y!
z)(uGA4ZrJ9tf`~9^e$*^8yXV*C8c9D9TG#0?B$Gz{Jstsb8D?l?DUK%1As;oWBIm)
z#g7jMYg?sk4jwk6O%Hioe_!#1;xI4=j_`TwY1ZGF{{2(gTCUvP;U$v~>3MrAXK+(k
zZKdiNz{j}S`Y-eY5l-}@KtSu9pI;}!wAIEp!^NQY@j2*k#ZVR!IfD;{z@by@3z%|Y
z>BI{m=_W4+|Heh}F)6oMumrFlr4b-<glN+~UF6rLfYE(WJN`}A+Oglg9KTsJeKalU
z!bp4t!cVz{#%Q^%pjS?W&J(sP)=unLGU-ynZNgG&7Ipq*GH+&fg#6s5jh%m<peZeE
zQglRGjuzjvRxT@gDE9=lmtsbBv~eFw#dxUqtr2#o_=KrYvmHpyBCMrn(mA>TXX8nq
znKHd-R===NS-G}{F0a(w)oevUP0d$&ZEAzy#X6{LbCu2Islu)3D5t$zjhy)svDBF@
zD`GjRht4pd%uUGYwwV!^c#QaH^BQbCGL<7xZ$SqFV$8kbJ^pZdB@xS}?(CYW=<SKd
z(F^AvmB}KTPRat7PPTo6NL6iSe+<>EMbzbu3x6@nS~Z%&UY%n-BE*RtfZzR&F?{(v
z-?Wd|f^%LJOd2*QwN@7|e*FXIwl8o4ixOLj3_A}k8Y+bKF7;6YgB~_QT3&qT+g91!
z;|2h0me_=j9~oQUw<GrDb-9!7*p!hBh0`zI+A}g|d1O~JYu@(MfFk;NF{WZ>Sio6<
z31UtSmoR{`Tefc`8uETSXwP-DU^h{lM3Y0^ID;2Xhb?E6FFv2JGCMmrcS~sN9~9~(
z!^SC#Feazts7m@%Qh19~U-CL}`3ei3o7WYtKIi>(*O;y^XG24CagraCUK5wb$SM4W
zM0lt)&t_lH?ZAh-c%%t(MDPk@yl}pazqY}vgjfC%rem-!p%n@YJl|Qcy-b9qpVizq
zqnIfpT&aZO3~+WoMGX4W#7Ml>{AkO>zK56C0(CNzq)Y@iFu2H}-1X#UY@n)%iXW<E
zJdr@q=QB_KJ8v9R;QB!*0rS+opMs>CpDV{8!wC5uCb-@^-J<ArV$Ob|(eAot>3YAE
z!dzPNrc0kPazjnOGxM~Pif<GK?eZ=(9?Oit`NQ@^;&xMKb18Hs^!*$3y|n8a@_SH}
zyNAGI5N$W_ayX%4fsY7ctB8m|<`tvXX^oc`DUoBd_v~UdWMBj-C#&mZ6-!oLRLUD!
zTU}3Y_P04p26AHvs<Z4qGE)oZ0BM~=r$4&4Fl04!T8qKu`*L^N+Vkw}kFGp?CH752
zwJ{mg0^<DGP(I>h;$32Ri3ILif+v}X5sBOQBexsS?G!#cFn5hvpN)h{Hgjin;RGBO
z?R78i#7W)(@B8Nb-1pyaVC{_+6=rd5K7<stF;%OBZSOSVY6IZ-YjmPbl7tee9r@k0
zF7D_&MrZFBy)c#C-@sXMu4I>c$5*?%uAfsa*WI3v1+HE?p@GAFa6gR784z=y3CP+j
zW(2hcWgL9W%z%|AbyJgdOcJ%SR11~NabV9ferVwGhFme&CC46S*E7w%XXM#&HlT)!
zoPoQ(#f;F=N&p1VH?p7S7x#rT@o7ST-GECVTS3@tA~g-J(QUEJBr3k}ybdT`H&ucz
zWf-QAxxyzNV<JfBIDBawN^EXwt5$e$S~`Ew*$R*KXapq9r=f!(%w`^1p0sx|8%K{u
zGjI$T8&ti#64w5HL0{C+NLi$EK}|#6yFtH*s;J!z$3U<W%sH;Eu`zZ@&2*{#aYN1!
z>}eMc(J|RVtWe<Jbmh%0o@qNOS20DyU}A`$varj=A91>yHWWo8Jw8PzsdAu>x%S+T
z9&e*|;$P~R)F18BF44s!UKAY-e=U2$zp}N+rqf<Pr%zGWPJ1lkh9YoCbLN?M`eTz$
zdfAGvgkHQ&Y?liAYOsxFBPL5dsZC=$OV3(l)3c^z%nNY)Xc@SIZdmiJ?;qYR#O~~n
zVUzOKKo%|or}ScXR*YF_b0WDptz+SNO&Gbk!|@jVTdmrhNz_+VS)}E!V~;&8Xs;}O
zA@4KVA$1{)OC#0&Xy+qMRJXr*Pu80W>7rJ&Y1*{?cYyt3rArh$fVw`!<E=wRpjWhz
z#)7etg|7IG??Uo{E8BZHRA3Bryke`!NDR2i&xc}9@`xVQgR<K}X+J>xI1YQ!KQV%(
ztE4)>dUIk0CJCUGZHujTH#H!wrxBMwB?c+Hya2`oIP12%sz({`nW-a;O;vKnd)3F(
zQ?6XUdlR0-G4*WDkK<d9LFHIuMaAG4W{lTK@E@AGQ<Yy|RaRQp4PFSHD7$7fxSyTO
zgY5q%VPVZE5@zI_`|fpel;zUWB8jBY*1AtIa&=vP)?X+`kyer(drGQCs(3*vXf8TN
z%RAaJpil3sIXRY?Xis(E$-bQYq&2Q0=H*>;o<BRo(OLl1R&g5+#vF%EmX<S|mI)zs
z9Y=6u+MR#xp`O>WNVS@$;O;ZPNnD!a_3FnxzKYu)qYaUfHxS*K(A$3lSC@ebfrj(d
z{@n*2QIBw<e-jiDdDK(=!N-WgJDF-F8@=ALtd&3jcnowFn80YbS|rQuZ&p~oU65kB
zuFmt%;tQ%;s*-_*7rrsMbPeQ4|9sR0KeQ4O66#jUvt+%n;b3!m63_D0+n}c!JirZV
z=v%v|&$sbEC}HT+i(29u2StAmddz^Q?6CIKuFC(uJB<|(Xqf=zg4*?!Ey0<`h6{JM
zz<SN6_`akYm!UgyKpSpHRgp2>tcC&8|JbFgsASl6p%jPRegCk&WiicBBs`c0C3!pM
z7ZE=`5^u;UxZ=p1;c~n1dE<V?#NZq5H_DFtF=aW{^QMLV0;(h(rs|4Prwc0YM6!&F
zrJI!$@DTx8|2R>xvFd{EV6erBCtw?AwWpO&YZ-FX!`htK8V);#MIZ{N^Zs!%bF*de
z&T|vedXJ^W)o2N2^;*S?#?krQ)_yv7C%^D)HWGXvVVQGn%+>t7c7nH=WAn?#`lNJn
zTN4n`-d-Kiaf=`?0ai9oypOV)24<}!8ZXz|%t|kBXb+c7SeETNO{;y_v$pJfUa?4l
zG8irLcW^$NVl{V$GH<luqeG_NC(+aH{j)U<HKL9kOp8CJ1SWW8;KAlK3}p;E$Wijw
zT@j0bj)2E#NV{Xv^&n3!Rj<#Q^WVi$jHz6lt@uR)rpjUi4S6zdCD;0MYqOig$%d{i
zKof7=5cG<EN@AvdTy>Z=#$^7VU3RI}D9NVXRHRQM=2dw5txk^CFlidO(zARXlvXFy
z2SHtaQqp|M^5-G&bSBs~?@cJJ@0OV%wF5Xk4!f6|sTh1w>j)}~BkXkG`tIy=BRuQ`
zFztpycy_pch%!Y=UOsF(l;L_6$Z)b3?v!3<%@NK+enZ-1mjuEQR}&?+d|A^Btv2sP
zBWC|=lk9>br}YuLVcN3L=<Po7GDUh`5!W+Ll75G|QWOe{!;BR@2T*<z8uFIQDb9HJ
zm7|EdTJD4~^z_sr^dsvb^US{DG#$vFCS4>9ZVx)l?>nz%_A%pblEn-(ay)~$)K$zJ
z^_Ltnzhtznq(|?Z`P_sxtL3ESNHhi>l9pPM>QW6QmsYLp2`Dl@`=|h_H)bW9wZIHG
zV74oQR9`>Bhd8N8c(>Cq-T_RSGfDGV%LgFtQ<vZPDfGz2djck=t2#s_JB<uK&4>7O
zbqqw6wCdnB^qORZ+FEdMh9V{QRidDY-dmo&yl}HB#sO($Rv)mPNQ=%Hp)G@PkqxEv
z-#>Shtb(gb{%(EVexnIcOOu@E3IX$vc4Q1szZtBHMSAt3=LB1PY+8a6@Q0R=K#q5;
zjDZ*nTtWvBq64<7avcAZqoZpK<e%05LSEJSo1;i!_vB)xy>(^aEf#)A$&swKvQA*W
zrKherr&@pi(VhK-5}ZQyE%uF)IAv<`Z~V?b)HnYFcl2MQ`TtmSATqLaR&rkJ?{_dn
z;sViRKpg&C@qcIx{<q{2GZPo{KV?K!>hP*6%Xq#-U}(%A6H{Ia+nzpALTESVD_YBH
zPA|Y9`2bNoL`gqHNh4%oLa@Kr0TL86^ezo42rvls?>nL$jH31>v`hBQS(c_v`x0l%
zWzCNFjeRT6_`jyOYm<)`-HumX$K9UOpWi+`->;txpm)!qm~g`gKZYrWKb@xAKkXrh
zUUg=N;dkE;Hh6`Kul0G`0(7Kmm5_raqlAckNT*0OUJI^A7+Joio(hClCK{~1S5<$x
zfzv$KOao|$!jzh3mJw(ngf12zXm5x-t8DW^KSj)Q2nPMoMYcl~&EX%w@-d@)dsrhV
zrgpCPZ^az^JIz%FL*TVt!pX#xg<N8Aw;K%yjvl*xaJpGQVt378hJu;%fQ}>F++@M<
zG5kj&VNcb7@u|^wu|9BZ^w8<2`V(IyZa}c~sRtU0_CUgEX+aeJAdTJ#*Qtih7bNA5
z9RGRY?Gzl`m$7&ML9p%kqKMqBO`EX)4xa869~B!Ky5AZ#J>q!aFjf&Ce;058RmaN1
z9J%#ZcAmLT8u^e7yPb`gi`wnGU48N*GK=I;ggcEaV~?*tg?2DT`~}UaM>~0ZB;=$G
zTop*1CpY7A;%rXQh!GLI_gj<_S~`@O5V+7_E^F4Bsc~f_N5CY6-_+>^{JkwLe8Te!
zx{`7!7t{qJ?jH62i!rx_(9XrZc33W?1B+mqQHldFP<I*@!CX)$7>ln=^9&n@5>zrK
z+z4o|!<rc@w<MM|TT!!Gf}sIR7Iy+rSs@XlCc+dhsSs(8<lE+A*~?`O#jHW1mc#>V
zl(b-3;#hTx_b%X*Nt8x<vO#lIdsev4!J;>2k5s$H$mNKLb0@Y1)#Yo&f~$B%<G^j<
zIkWg})Af3fk~;G5r#ZXmCeM~G=IttFmPf=7%*~#T=alH~uSByXmPjDIn>&lMq~ue~
zK?6)RvLBpUAt~k{jmpGOL$&0BgSwlpT@6-01=tE40YXde5Ps&J-rEr^ZQY=tmZMne
za#dsEz3^{Z*+Q1A*fWZF6%(aQ)P~W~=GYu+=I{_~{^ZI<w6@`c1Kv#3Pt=_5?Jt+x
zg29i4N*f`os_gN|?3fkhk0-cf$Q&#3j>vW>sy}>4D3~&yLm;dR&=J^CXWnh99C16=
zB{ph%jWtE;D$3Z1R3C<Kt74A<l91|C)W2}zBdI}pX$BO2S&yzJBKyaBN1Q{{**G-C
z`eyv@{lx7hGzK_N29;g4U6?v#m%>~s$+XWS{mIRc2v)9W)?0CW-@9oW7MHzs(2UR{
zLZ=nTNta3@EOHOh4QSHF(XFa2*l^FMRG1vcrS!OYm}0o%R6>(1W+DD+B0aEs#CvyR
z0PM8;>7L?Z;R#o>byg0*{aRXn@Zel@`J@?=4nIqvR?SZgA|r+|c2p^;8ej8o(&vZ#
zDB0a6Z;QQ}92=V!@dX#xR}`XldIC+UTPr0pkP``?KQwPz&L1HBb5ZS@zB!IFwUD;<
zcJ$nY(Bln@#Z*MSH&;sNOs-DNm_)PFcy)1$py1EQQnj?56Z-LbEYn+G2CI?!1;P80
z8Yjj*)-EbqQhn>h^@az!!n5O?QZ-`Y+^_MPt+@+AU8!tIG7*EVqJp=!J@dHBYSg0f
z#}r#B7<t^6j3%k*NW%igP)}mGDE6&S#`#2fL*&R#hwRELk5K_IlYer0e*cu$*MP%z
z^)u@}Dz=(Q=o^Dc^(<T(REx+|41=a^?>gmtVNVlu9H6EN0O_$OxAdyroIe%RR^aGT
zfrSjL<zjJfUMN{=cxT983LJdepQW;}cs-HRt!F`#;>>tw0cKYsI+2s8hdq3ymQB~h
zR_JwXTxgv<sbW74!Z;-s#ZDH|Eb4brOx0ZUFfIaK0?4f4Xw%8VdZ1gq3UiNu8UAvb
z%)P+M=?;%Vl8`1v%Rh6V4RQEj2<?`$_4>j1ip%K!EjI7CUI%7M_2vua9$#v4nZ7;C
z>hV71J2Bm6=Y6#17Ads^%5Z$^pQ+vL^ry*oWD_zH2(l7FK)4{3^Ay}N7}`AHMDk22
zDE093&;-NaNw=>WA?o=D5z3|or1`Yl0PNDVecTOwVxu3?ls+;!a!m10SkV(F&0hr%
zJs=Ax<uFX*;1k7XcTNyF_U`Ujd6kSBT8s(`)~?%Bff!}3h*RQpdHli)>t}Sj&U7nS
zi2c;fPG&m7K%ij$iijafuw`Ai7MdOpNTf>dGg>mo4QL%e$eJaU0zIB+SWS4S4rHov
ze{<I|YN>h)IwqYK3=z@_GjvAVP>rWIv$K_d3o}@{O>JD0%G4B%{1UeHGgG&oq}=I@
zP3wSm=1D1Ff}+`-gD};|Y_SMqhYlV7JmN!SVv&+TVggU;93#~Th|WULvm7@U9C}<`
zGHe}SbDU=ReYmP*m@J<k%=S2hSEU<0V2ma5UJ8zNp5W^svRNe|(O9rHP^(z)Z7r1l
znh(=u{&)LhMe|H?bZDsTc7FBRKNUjg2GjeLMC<)fFHT4DUd$8Z)%2DmN{ssfpmY=y
z7#4J5l}_{21Cdx63S8xq@#G*JY>j{kl&4?urCb#tZ-?KM-o*ABAVN8g9fp3P*Gqp!
zYYneP&6YKn>wY>P>G;<&tAd)xi>v-1k!sK5eql}^Arn3;Rw_wN#g=)w-$mEa&?i_@
zBl@b4zE%`19U3xj;V%B`{4<vOCu7C<#z7E;W7jDXmul%3jpu_FU#$0&IVaJ)^aAgN
z=tFp^iQ9PN$)B{AfnC8e>yN+wzXxd^GqMY5v}|e18z&b2y40RX?F%}?^90iT6s>Qo
z*STJE;o$FEHIb4*c)~sWc?9oz`3kA1tz)__ge*<1pfiHsq)eW`eLox^<-yx5Ezi8R
z6)ko7GWk}dr|F7|u^SSd>Ut!!Qu)?LUm>^Q$XNcR*<t;M`0;<}r2cCn_Menh14LCs
z)wI37+FpNXAY@~ZvVW`nj|t!Zx{+dK|1WE^XmwZsiUxX49HWqwH{&F|+@I{(=0-7h
z+NP?iihzZd-%X{Z&P2U}esKomM4cdDU`!~)HHZgDh?I!ojg;mzO@I~zffT1QUG^oH
zj*hh}7mXfk*Op5>&(#r9#k%)5m!o&Hqm8!X4aX_pE8l7$lyF9W!JC0ksmz@17U!Xu
z7q@7w25v8o>@p3i#w~sAR>(F)br4QJ`$E6Ocl)F`ZSs0auoK|$n+Q?Xd*ZjD>^<Ab
zFCt9x8HOi*eN7lpvhmlNUfQvNEq~xKk~9DzfEZr$>*v+=cfGV#J9+X}hJ1yyW_$lh
zSZS%6eMYCSwR*9#gqVaFU)|ihSI8QokhMzTp*ftaJbIC0iOM>0=?fIKknxU0L+J?X
zFY07<YE`Tx@<8drL`pspODt-YirHhPSP8}OKeQpt=8asa-%E4UT75I8NqX7xmQ>jZ
z#q8JaMDc5dO6R3`nih>2d1W_t5k}@2%4bgQ)8gW159vtQ)@CLU0-@omlk!HyT^_rc
zF65*k*DKg9OuNC+NbMka$$7KNr;YOQMMlI&dvY`8j%d_TJ@|wDwP-8Sw78MOIm1f^
z=XID?pv_q80Yk>q#vOHhD|)ohGJU83h~mNeS}!8<o3k;-bb@cP{)v^A01U9E0O+2P
z&$FP$n-EIHB$~Ifo|W&g?{zoE>R!lOsoTW8b6_FhGoWb@6eqg9w~9?@o0n=H^S`-M
ze4@avb7amI01{n8J{yoYbl-Yw?BLE9#t!=FJXh|w3x?$Y@yMbgbU?<sX2*xdF*C9h
z%;kLk5UCPAPt)gkEIoIo77$Xw8Fm#`;&azvyCf>)XW?rleHRcSUGN_#$1*RCvl*Jy
z-?=Cd0Ld-b#7v&EAK16Ob(ZIRgU4A&)yY3B0EtSzs;+Q^ACf2WM(zjLVST2I4~acn
zq~Q$P-A<In!K{F)A^KOw^?gFau-4?u=_vuNbPJ$BDyk<{E*NoP)ByIp$r*%TL99W6
z_elat{RO)@x|d$i23y!Rt1u}AbhbmB=*nskQjFr{pMNxLKVG9bAbLUu1>cz*@hsT1
zC(xLktu>TtHcmNLT`!5A5Z4-E{Y&Bw)G0d&=m|O(uh=GpxxA47fZqTm!S34b3Kafy
zd`q^-z%^a_ZFXYyy@M!N6ZvHwwJZvIPsCM$MHaN3m7piZ<H{(OnV3Fb<+W(m1UM6<
znlzu60j2&0Q~pq&-~3lNuCE_r#E65y1WjhsS9D%`IPe-5A#2tJ{V{0Qn?$l*Yk1+o
z1U+IWfxrVtmMI{i+{k&M)CdLcbIa(37?RbqDpMUCD;baH+w+(mY4iGX6X$vPJ>Ox#
zo&(MacE=?)Zhfqa{&RKS>b89`!p_bhxK(u0?B{bs)qyoDeh7}E``B0xp&^G)|5&?D
zTV*_4;65Xw?d7o;ytZ(D@A6GJ(>mp7UAM_aoNLzt`-v_Dnr#1KqH!XlJ@Y76-mO)x
zUk6_aIWq6yCsS57Y(mc56UAYXD!zKa8%#To6h1mm2X%?&s&g7?ig9w0sXKQ1T6JA2
z(4KT#fD!>Gp(ltD4^iLtN(YB+B|%9{ppMK1)8j4BUS67sOVr<1@z=SeO2@dHx{s&F
z+pywk88hVS>V}m?4ZOh_&mX)y{Lq3>(c2`aTw-?yLaUXpgISJkUI7pL51l`HcQ{~0
zW%dygz;#8u4{eS=r#pEa#)S2TZH1BEFLbW997OziPGa#X?`rY)XsV;Pjoq!7B!fLZ
zB0p>RQ9KzZ2W^|J_vVX>tq>zIj&G?hjMqowvB;hE0%qN`337$>l4XOLUaBk^^u4Oo
zdSD63wPhEQ%#RHG47=U8h76C{`m{HwiBe&=Q*!cFnf;1y?wnHO3Cu1@v-&fqYX@AB
zx?$=FOM_Oh5$uCiZshM~{1snhHjXj0V&3DP3~2=S&HMQ7zzLQ}k%Cj~vz0046Envd
z+uHb|=2z$U!Mf1^9M2@KGaUGUBeIML$2o-|-3zG<v&UBh8tVNtd;4=Bg4{K2B84d&
z*Ga}z{&3P?ouGal2(GKxp=O^)nBBDSUYg}cxZ*Ng_gN#e&u*<wAwn|O@iqHfLs!E&
zj0iKMzQAE=4oi*2-UtM&UjjEo9^VK-X6YyOkS@1G=D($3FoJ!<K@<huD0^5^x3qxm
z!?xSOQv)91=Sp9W|L$Vcd|eF>4lY)p@TgB7C8M<O5(fgQ-=jZGk`ZNC_Iq0a)P9vi
zj3I@_l*fQ$PLi2IXli<QJ6bvYZUdjF3`3u$DBQIX-n+kcx_L5k^Spg8ygY<g8v)jO
z1qUVgmUL<M@fZZvOXv1Iik=648rJgcsw~P691|at48c|;IoPhwDULyBv^5_k3EI8`
zhr&@}PBJ~06&t?uP*Fj{T#A`5umqLA{Iyvx(kwit;%tXXNn2G(pMqsAwn;y#5DIUQ
zqS3Rz@Lc#E&ff!SpCN%b{F&nx#bV#u*kWg5eUQ_oMQ0ZgUbdQ#IH8gR8C}y8TAOiv
zOQJKr1A+^~|8c`ES#w!qmH6!93^&nCZSFLH;a=Va6Iu<^HgGdCH@kPgD&ogq@XM{7
zrJ63yMjoe=5U1m24HY#vOnuS6v)yKieYprqKlSfuFuxLrE|?1R{6MnSMfbr*!$Sp}
zD<88ogPz+G#;0UKZ@vJ*oWW*NW$dZ=B3y~ka6Y%(Z@}tmB5A&|IZiaFHE6N*;&RCl
zM^V=<Q!jNOn854pls7<UDm%20FJwvB+EmG%P4KVldf<1w5sNmJF}Do22hMutInc+;
z6vTH3JM21TM@RP89@hT#yM`mJ22pm7X;C_)otlLj1QrdwLAs$W<qmwSNeGvl0{GAi
z^{B)PBo_p|RR8r<c9l~O6b4Sfj&v*rneZT<pFmuWdIMVMxSSRXVe5i%x_cvUO4o*5
zzgMd??>3{lcM#7C{u&M^puwa2@B<rd2kPFW3ju2Ouc<DAm-XOIQ3k5(3>QND$fCn|
z5pNMHFzH~VTNAd7kSCeu{LFasc%mX;jOcTT`V!Qv^GH-pf_g9~G!~-8rC|x8e(YC6
z)A*HIRW%!D`Ka;ZXD4;xjK<fJv<w?f1y^TrJ|e0q-jeA8D^~#I<eR#9&QHn-vheE0
zzJuHI{pGE52*xa#2it37%k#0L{pR8ytHjq*9?%r2L3bsF7gX0{E0`wr_V(<p)r-IS
z`h=D8#q0f&!P+rAKtkVXKh(5;o;I>elMc9a4E<^V;G*LkQ?y;@8ai3e{afSr5Bb&q
zs;R71Le*JGSh70-LIJ|z0}J_=+DwFugtkV%V0d{MRNd`N85E3usW@3P$P+R#GBJo-
zI5;{Hax%03Jy|)KIxvV^89JGYni|`hm@>$k+Wd4fCuCv&Z|mMkEo~K?5oDj~nzWYR
z(iW~)7^&lG2Ewu+>~(ea^+k}Hv;Yc1rG&73U*GN=O$!a-^IBksAHl!Oj+a_$JUz@b
z?1t0hWM6uNjQ+Tjv$80&7^XR&z)p<!78(it-Tg$-!7fHc5r!#dl*!lL*VG(f&1p&m
z_(6};v4lX6@Uf&F2N;ke7WGz|B+&F#ik;$u5>X|Y$QL}gvCB$F|MZ`O4IwK6@s-b8
z*n!(eJJNixthAl2?u#1oiXQ5XVAT-@Ns?wcR|-fACM9<}5?rR9;$5m+V~LB?3zRpA
z2&_((^(Q*YLpEi-&!B?u<`ZqvVJVg38bv@?WlVAB4fPX}O$5v&p&P&^m<utR7ZX9k
zny31k3mM}cNI3#XB#WB@-ezJ2%oMR{WAoPhn)}+(t^7d>S>RBc0<%HZq^j_z@!Ln3
zftUPpxHQ9f%nZ=QVGSC8r(^R%`y<H<c~7`8^M?L)*(Dx5fwA)wr!zrQ^nX;W2ZF<u
zBBiw=p~E&Ht*-=P*75s7vxq(Nvqji1*!#`lCm8=l3eUEagrdqA^a5_{F98RB;s*#q
z4rngqN5?gX8b#uLATh_pFwi;=6T+4?Um#`Njn!7>0PLGc2?@yhje@BG#U7~F3KBB)
zkyg>uB9=?qjrO9#!~22L(Q@r-B6oA82a=MZC}9X)yxxC2oXe$O%ahNGeO*1x2js*I
zCkotkonCZip&e*>#r24SFF?G~7k7?t_wW^NPaO~KnSIetf2XCcn)6QEQ0%`l(oEYn
z>{@>vLVSPDI@MEBM1GjLsZ5FQi>(R}(1*NEzKX?EM>5=hJ>FPyW!}f-RXy*CeKq6K
z!H@|bp``;%fRW9QSzv*qTCg|_Z}x^<zk4QNLCto*hJ$E(fB&&ygeNQrsw0SWzu~90
z{rSmoZ^hj)As}1xHkCF=t8sqjMBQ-XO=3b`S+z)IP2TlJU?<8wXD2-1P7WSC8katr
zH<k1dYq2BM){5<$0sm9KVHa^p_n@U=tYNHVtYH`A`*U5vmlwr*P?1diLJIx~5gW0d
zxk$>89JWt%$f84a1^7k?+zv*5>j*OJsSG4m0ZooS0vnw_T~6Zqk63)}1;Ihdp?>7Y
zjfb0Nx9pG}^$(7e?uMBNDD{t*qj}$6x?w!M`K$ZVAoiuu@CgCU?{0F`vIN<e`3I+r
z>+2Wn-i`QeV+oFQX4EpVVWcFa59TsCv5GMUmvz#aUAB<>h)15eYFP|p^U5JYY|Df8
z@8*fT6s}TPV+@X^c$vR$zUeWBgQm(~eDb`(U+}9Smmrq)Y=>xBPaz{fN^%`XCB?c_
zpGe+DQrFv!3$@KjsaVHJe^zM;1yt~7LEKZt+{Di6`h2P~lL?#r)!jCVTS7_h&As^a
zCL-~+){(k|zC7G?hbeIIz^vIJ;-hElTMEu+>qAw;#Vha~)XGnC*tCn&w_++v(sQC|
zuUGJuHOpIb;I)fi@l`uAjy&n>!A9(qBu<>lnJ!arUps5-A|33haTS8~e$bc{rulwc
zx|*o*qa^7lks2nhS5)-51|K>1D5n=xP8x`4J>hu%?0&$)EPq=(a*FK2C;xS>u4gjb
z=puv049GuAaZPvRZJ^nc+bw_1Vva$(cRiw^VMbbe4~CC^%<M1m3EW(xdkutt8h<sC
zr^taCI|1wusl9&Wced{6cuvtthfZ$oP8cW=6CFDF{C3ga`*{od()J4%0^qN#ak<Eu
z5qh<tV67T6m+{2=D3fbG_r|Iof^nWhGv=re!gAo^q(i)`H(-APwI~HdLesB63pKk+
z9o9}WI#&6SI2EJ~{>l@eRdP&OSUwzJF~R}9VnAvp54peUr8GMg8**PHe4je6&A5_E
zqwXzoTrYM^bV`-L9{v#sSdi0w)zYv8Qly*ES&-$$7AX$SD~yjI+U!R}dVtn6;U#Wn
zEmpw^vce%+BwX0*5MR8}lSVhZqK0C4_l_o|VaK$yhC8wOBKN*@Od!O`;SXzk!>=LI
z7orr}VkNRwH|o$@_?1vYq4vlsH4{QMhfY4%O|DAqL_KFFBhy89JioqLnl(>`L5GBr
zfpYO8)4!!AGg5HTi5R~?NXF;b{-}AY#z4OKiJn+rhg2gzO(UfKbu|xx?0QBjwKfOg
zdeV;GZWvgtdwC&ktrP<DtSwPRL&7?6)KwTiMr`pnj_btw;{@F&0B|f}dqdKKH8T26
zXD0e{zmPR7{c?$^IJkC=Q0G{8*m^bu`dR0v2u^#2vn)tv-L`U&f-y=XO^|APB`5a5
z$l<G7E5|1dJ``=%T<{_A#bG5beQ`r}!LG$?yf+pDf5S8(Q)V*8g&F4?Xp%=#LGE_U
zpVg_61o2zio$05!gIlM10i7hC_i0iLf0@&uyox!3)|Z_7YtQhh%uI)Rp8P(wb~i>n
zxO~Eq`Fmzx0fy}j`s!hnQ8bpH?F7Y!<4e>aWV5MS5r5pcbl_@=Q>o-aZZ`z6NEgh0
zo9-gHBYr}xp>O^1{}CKGjhP2QPRO7N8p*VBOQ%~(@;whF0@EdrUdJe==(D4vGkxDb
zUxZTZuEvS8$69qlzKRe)#ru(BBX8WW1llJjq#F?0>WA3O2z<%R#0kJkno_So*%%-2
z_9*_5a}9rNdg1N-^fWn5;KRx7!_$Q?A9QgoS2JaC(NS|R=I+hemL{I07jqoBx}3dv
ze@X$kg3ksWNgU4}aQtoA`LYI@o|##3m(e?1K?8o!Q?U91!5PM}P`LKVA_|_9J4AEg
zyiq+p>UvxNrDH=C8}rx=#qA4O%|A25PV01Ej;rq@AL#Pk$%~T<`cwU-bqSxSp~mp0
zyRgD;e~+&Y=ODE9!mW{~t&<vS8lgHQHLOk@W}xm(<DzBSKXlAVkN<dFV0!sWPZb%t
zSW8uM6LP<Tc}t%HAw+o`eA7rHLBb#%(Z5I-3|;qX53@)V6H^cKlsG?&NYt<bA0U(3
z3oS_mGDb>h$PWxHp@1zXc;~VMj4JnhM!z>YCj-t0)jd-jfaF0O#mLtWX-e_Zxy8f9
z=h>BzEr8|K58)N$hUgV!6C9f$_u>|y!1ypn(=Wlt?bTdS3!IzuP`N{L0K;D`$d5r1
zKPTpe^OLr3RLbMBFrM?}#SsklETG8#MUo-^rT3(Nu8JrYW9s%eu2czQ2R(I|JTFd$
z(gW|9a`2RMLkVx4Cz!MmA&Wl1PBI%!TfRWeZ<MoME6aQYjZYT>xVHQEm=Mqj(;Qc@
zyw$b6qT~ky#k@zrIVBEV?H=c>2r6p0sRuzYZ?d5QOf*0nDpz_eQrg3;Ga@ZEkuED5
zDo79)0jM72^iEJDT}eepT%G52cy)KS&$fpH4wj>}3wtW3mrt2|!wKOY@wv9DZ}DX2
z;m6Pz4`){*$#ooE-(oX&$ZLpk<5|rqj>jg)#T<ulooKq^tW$qsKN`HKn5tCUYLX6h
zfUAL+C=iG(t?*!^jF{vJ6t}+w7?@p<7PckTZ(>;zOCfN7%raQDQPZ+<V{ipe7s4P2
z56`Gi{IJ2ks+lEaF$`&(a<>CRJ9ZCktk1*{AzEuNHCdr6i>yLOga}rwa~>^ya4Yay
zSZZ`45aULmrFefW6YLDjUtu(g;2TPewdRk*`>kl+!UG-IIFgb6vplrKu~BFvDnpuT
z0GUW5Tqudh-wBQ6ptoZC0gbHHnIv8A--g!*C!r*y!6?$_W{LZ|d-p2siR(@!H;Art
zoz4w)?Yr_1e=;AD^bLQ?6HsH0cW|n5_g1KfzTxn(Z~m!iOV-H&f@MHybPwVz@Ssq+
z`to{vTkI%O=%8pc^tfKG%~M6F%d?#3C<4e}q6UkGd$IVq5Iq`)46;A6$)?g1{F*-v
zIjuyTb)v*t<VnA}d05>28X>cOPbyyLr5T0HM(b?PeaEuOV8ru=DcH9$!=HDuKC{fQ
z`OG3*o`RO1;pzh;B@6q2dcwxh>a|}O63;>}oh3{PwB=?s0104zG!)2>UmD@Jl70wk
z2plmJ)*qR{WY~j?*myYD$F#!A;Kweg$rP15O)X-`Rpn)ykt~Id2dYJ`V=&dZT^*@M
z8H|ZlnA*yvcRt8PHp)DPe*AqO)KCSTsLvyhsVxSHhfiSi_k9Fqt8&Ry?`aK5z2A(8
zC+7G@>cukE*m9&R&dS;NLO3Uv<|z?~d&AWtwKI`3dAF^!uAl6q?Ocfy5{*7JZLt#5
zA}FJas{b_7x`YE<gimANLwmC3+`rwp)A=p5YS`yJoO>Ga%haQlsScYPbA}fv553@v
zKrEoV5us`jabFMA<JxWgSQ`Tx<viu$swp1-u<sK#)4}+SMp54Fh7%Ly00~f29^}Pe
zNwr4S#mqSmawA>;jU^pXq);vu5n}p5A=Zw%OQaV;Nk$@Q_jC;r)l%cjxAk3SZy=@R
z31eVIUV0`3U2cJ(?{UdI`Eu4-(z%J;{U-bqS0em(r)EIVcY)$k@gH*OB}dgs4i}jS
zeWz^oZ=;+1{=)n%(h46K0A&`S3DLw{yHdNetRh^owgSD6WEM3t#hMuY9IR-YAOFL{
z1>ioWViV-SBDZu#L}X@7vH`_p=18K-snPo4Uo#VnWu%p~+#92(kkGV6eE&!IxsB<X
z0d31S`I{3<ZrU)Yb2dfQnI8;t{zaOmONcAGJ2#4{-K5XS!0<fTPy_t}58Vn9eU1KS
zyTk6a-7dG??Int}hTfoV^2?8jM%<}(hj`{$HhN)5daWs}?6%fG#RF};74tDMo(99~
zdLr)H*#v7R7Y+MV_*MVtl*>vM9POxl?%Fy&MwcU_NVyc?haUJXm;Qf&rmSrLA8ZOx
zHZ@~VwzYL4{10kXW{|QmvnBk`P~`7XRGZh#h=rMh(TItW(~OmagNvQhgp0+PmD7Zs
z*_fTpl#PS`|9yupgNlWRDGU=UJA;Nc6Cn#Bv+n-{eYv>)DNbRVACplx#0<H8SHgK1
zU!Bftl)WFH%NnN*{evrw(<mh4IGl_m9EMIbM;?@)OxOs$(P|yP{sn>oPPYM8UFbrm
zZF1b@w)WB5>OQ?|_d_D#={d15P3x9f-H<0{M-6xA`~}Q3WtL<%L@F(cY9-K^-1Kb>
z^l#L_p{T3kN6j^4-LUE%(?zm?mq3tnadCOAtJlpZdCb0HXE2Hz28EnAnh!r3&Mm&Y
zAvXV@g;x+uvA=?kHC(1_fxUjr4*2|mg8tksv00j#araLnB6LG^{2^mN)G8og<QDA6
z0QbHQ$dL&_<`z!fh%0B1nKu|Mt#{rHdU{v0azu+a7JemQvbcn2SDW`8IZGd&UjYn*
zJs@(mujp`Ryl$t0qwf&HmjbUiS@oKIzJvSPQmN;$+ek~n%~kAktz-VdeZFJ4QEg|_
z`t5D2WBP$^`aR_I9rk)%$=35Z)1|!=GGFhx+jwpKuAAU7>-qPoLeI0}!gubjzvf-W
y^M0wXCqib?H_W%>ZS@1f@|lR)|Nnb(bTV{sa&s^>gW+K2Vqt_KBNI~)hxtEaW|{c_

literal 0
HcmV?d00001

diff --git a/README.md b/README.md
index 846fe06..5e94806 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # house-reconfiguration-asp
+
 Project for CSE579 - Knowledge Representation and Reasoning at ASU
diff --git a/simpleInstances/emptyconfig_p05t025.asp b/simpleInstances/emptyconfig_p05t025.asp
new file mode 100644
index 0000000..92422bf
--- /dev/null
+++ b/simpleInstances/emptyconfig_p05t025.asp
@@ -0,0 +1,100 @@
+legacyConfig(person(1)).
+legacyConfig(person(2)).
+legacyConfig(person(3)).
+legacyConfig(person(4)).
+legacyConfig(person(5)).
+legacyConfig(thing(12)).
+thingShort(12).
+legacyConfig(thing(13)).
+thingShort(13).
+legacyConfig(thing(14)).
+thingShort(14).
+legacyConfig(thing(15)).
+thingShort(15).
+legacyConfig(thing(16)).
+thingShort(16).
+legacyConfig(thing(17)).
+thingShort(17).
+legacyConfig(thing(18)).
+thingShort(18).
+legacyConfig(thing(19)).
+thingShort(19).
+legacyConfig(thing(20)).
+thingShort(20).
+legacyConfig(thing(21)).
+thingShort(21).
+legacyConfig(thing(22)).
+thingShort(22).
+legacyConfig(thing(23)).
+thingShort(23).
+legacyConfig(thing(24)).
+thingShort(24).
+legacyConfig(thing(25)).
+thingShort(25).
+legacyConfig(thing(26)).
+thingShort(26).
+legacyConfig(thing(27)).
+thingShort(27).
+legacyConfig(thing(28)).
+thingShort(28).
+legacyConfig(thing(6)).
+thingShort(6).
+legacyConfig(thing(29)).
+thingShort(29).
+legacyConfig(thing(30)).
+thingShort(30).
+legacyConfig(thing(7)).
+thingShort(7).
+legacyConfig(thing(8)).
+thingShort(8).
+legacyConfig(thing(9)).
+thingShort(9).
+legacyConfig(thing(10)).
+thingShort(10).
+legacyConfig(thing(11)).
+thingShort(11).
+legacyConfig(personTOthing(1,6)).
+legacyConfig(personTOthing(1,7)).
+legacyConfig(personTOthing(1,8)).
+legacyConfig(personTOthing(1,9)).
+legacyConfig(personTOthing(1,10)).
+legacyConfig(personTOthing(2,11)).
+legacyConfig(personTOthing(2,12)).
+legacyConfig(personTOthing(2,13)).
+legacyConfig(personTOthing(2,14)).
+legacyConfig(personTOthing(2,15)).
+legacyConfig(personTOthing(3,16)).
+legacyConfig(personTOthing(3,17)).
+legacyConfig(personTOthing(3,18)).
+legacyConfig(personTOthing(3,19)).
+legacyConfig(personTOthing(3,20)).
+legacyConfig(personTOthing(4,21)).
+legacyConfig(personTOthing(4,22)).
+legacyConfig(personTOthing(4,23)).
+legacyConfig(personTOthing(4,24)).
+legacyConfig(personTOthing(4,25)).
+legacyConfig(personTOthing(5,26)).
+legacyConfig(personTOthing(5,27)).
+legacyConfig(personTOthing(5,28)).
+legacyConfig(personTOthing(5,29)).
+legacyConfig(personTOthing(5,30)).
+% domains
+cabinetDomainNew(500..524).
+roomDomainNew(1000..1024).
+% reuse costs
+reuseCabinetTOthingCost(0).
+reuseRoomTOcabinetCost(0).
+reusePersonTOroomCost(0).
+reuseCabinetAsHighCost(3).
+reuseCabinetAsSmallCost(0).
+reuseRoomCost(0).
+% remove costs
+removeCabinetTOthingCost(2).
+removeRoomTOcabinetCost(2).
+removePersonTOroomCost(2).
+removeCabinetCost(2).
+removeRoomCost(2).
+% create costs
+cabinetHighCost(100).
+cabinetSmallCost(1).
+roomCost(5).
diff --git a/simpleInstances/hcp_example.asp b/simpleInstances/hcp_example.asp
new file mode 100644
index 0000000..6ab40c4
--- /dev/null
+++ b/simpleInstances/hcp_example.asp
@@ -0,0 +1,24 @@
+legacyConfig(person(1)).
+legacyConfig(person(2)).
+legacyConfig(thing(3)).
+legacyConfig(thing(4)).
+legacyConfig(thing(5)).
+legacyConfig(thing(6)).
+legacyConfig(thing(7)).
+legacyConfig(thing(8)).
+legacyConfig(personTOthing(1,3)).
+legacyConfig(personTOthing(1,4)).
+legacyConfig(personTOthing(1,5)).
+legacyConfig(personTOthing(1,6)).
+legacyConfig(personTOthing(1,7)).
+legacyConfig(personTOthing(2,8)).
+
+cabinetDomainNew(9..14).
+roomDomainNew(15..20).
+
+cabinetHighCost(1).
+cabinetSmallCost(1).
+roomCost(1).
+
+% example solution:
+%cabinetTOthing(9,3). cabinetTOthing(9,4). cabinetTOthing(9,5). cabinetTOthing(9,6). cabinetTOthing(9,7). cabinetTOthing(10,8). roomTOcabinet(15,9). roomTOcabinet(16,10).
\ No newline at end of file
diff --git a/simpleInstances/hrp_example.asp b/simpleInstances/hrp_example.asp
new file mode 100644
index 0000000..3f17ef8
--- /dev/null
+++ b/simpleInstances/hrp_example.asp
@@ -0,0 +1,60 @@
+legacyConfig(person(1)).
+legacyConfig(person(2)).
+legacyConfig(thing(3)).
+legacyConfig(thing(4)).
+legacyConfig(thing(5)).
+legacyConfig(thing(6)).
+legacyConfig(thing(7)).
+legacyConfig(thing(8)).
+legacyConfig(thing(21)).
+legacyConfig(personTOthing(1,3)).
+legacyConfig(personTOthing(1,4)).
+legacyConfig(personTOthing(1,5)).
+legacyConfig(personTOthing(1,6)).
+legacyConfig(personTOthing(1,7)).
+legacyConfig(personTOthing(1,21)).
+legacyConfig(personTOthing(2,8)).
+
+legacyConfig(room(15)).
+legacyConfig(roomTOcabinet(15,9)).
+
+legacyConfig(room(16)).
+legacyConfig(roomTOcabinet(16,10)).
+
+legacyConfig(cabinet(9)).
+legacyConfig(cabinetTOthing(9,3)).
+legacyConfig(cabinetTOthing(9,4)).
+legacyConfig(cabinetTOthing(9,5)).
+legacyConfig(cabinetTOthing(9,6)).
+legacyConfig(cabinetTOthing(9,7)).
+
+legacyConfig(cabinet(10)).
+legacyConfig(cabinetTOthing(10,8)).
+
+thingLong(3).
+thingLong(8).
+thingLong(21).
+
+cabinetDomainNew(22..23).
+roomDomainNew(17..20).
+
+% reuse costs
+reuseCabinetTOthingCost(0).
+reuseRoomTOcabinetCost(0).
+reusePersonTOroomCost(0).
+reuseCabinetAsHighCost(3).
+reuseCabinetAsSmallCost(0).
+reuseRoomCost(0).
+% remove costs
+removeCabinetTOthingCost(2).
+removeRoomTOcabinetCost(2).
+removePersonTOroomCost(2).
+removeCabinetCost(2).
+removeRoomCost(2).
+% create costs
+cabinetHighCost(100).
+cabinetSmallCost(10).
+roomCost(5).
+
+% example solution:
+%cabinet(9). cabinet(10). cabinet(22). room(15). room(16). cabinetTOthing(9,3). cabinetTOthing(9,4). cabinetTOthing(9,6). cabinetTOthing(9,7). cabinetTOthing(10,8). cabinetTOthing(9,21). cabinetTOthing(22,5). roomTOcabinet(15,9). roomTOcabinet(16,10). roomTOcabinet(15,22). cabinetHigh(9). cabinetHigh(10). cabinetSmall(22).
diff --git a/simpleInstances/longthings_2_p02t030c3.asp b/simpleInstances/longthings_2_p02t030c3.asp
new file mode 100644
index 0000000..069d3d0
--- /dev/null
+++ b/simpleInstances/longthings_2_p02t030c3.asp
@@ -0,0 +1,156 @@
+legacyConfig(person(1)).
+legacyConfig(person(2)).
+legacyConfig(room(3)).
+legacyConfig(roomTOcabinet(3,5)).
+legacyConfig(roomTOcabinet(3,6)).
+legacyConfig(roomTOcabinet(3,7)).
+legacyConfig(room(4)).
+legacyConfig(roomTOcabinet(4,8)).
+legacyConfig(roomTOcabinet(4,9)).
+legacyConfig(roomTOcabinet(4,10)).
+legacyConfig(thing(11)).
+thingShort(11).
+legacyConfig(thing(12)).
+thingShort(12).
+legacyConfig(thing(13)).
+thingShort(13).
+legacyConfig(thing(14)).
+thingShort(14).
+legacyConfig(thing(15)).
+thingLong(15).
+legacyConfig(thing(16)).
+thingShort(16).
+legacyConfig(thing(17)).
+thingShort(17).
+legacyConfig(thing(18)).
+thingShort(18).
+legacyConfig(thing(19)).
+thingShort(19).
+legacyConfig(thing(20)).
+thingLong(20).
+legacyConfig(thing(21)).
+thingShort(21).
+legacyConfig(thing(22)).
+thingShort(22).
+legacyConfig(thing(23)).
+thingLong(23).
+legacyConfig(thing(24)).
+thingLong(24).
+legacyConfig(thing(25)).
+thingLong(25).
+legacyConfig(thing(26)).
+thingShort(26).
+legacyConfig(thing(27)).
+thingShort(27).
+legacyConfig(thing(28)).
+thingShort(28).
+legacyConfig(thing(29)).
+thingShort(29).
+legacyConfig(thing(30)).
+thingLong(30).
+legacyConfig(thing(31)).
+thingShort(31).
+legacyConfig(thing(32)).
+thingShort(32).
+legacyConfig(thing(33)).
+thingShort(33).
+legacyConfig(thing(34)).
+thingShort(34).
+legacyConfig(thing(35)).
+thingLong(35).
+legacyConfig(thing(36)).
+thingShort(36).
+legacyConfig(thing(37)).
+thingShort(37).
+legacyConfig(thing(38)).
+thingLong(38).
+legacyConfig(thing(39)).
+thingLong(39).
+legacyConfig(thing(40)).
+thingLong(40).
+legacyConfig(cabinet(9)).
+legacyConfig(cabinetTOthing(9,31)).
+legacyConfig(cabinetTOthing(9,32)).
+legacyConfig(cabinetTOthing(9,33)).
+legacyConfig(cabinetTOthing(9,34)).
+legacyConfig(cabinetTOthing(9,35)).
+legacyConfig(cabinet(10)).
+legacyConfig(cabinetTOthing(10,36)).
+legacyConfig(cabinetTOthing(10,37)).
+legacyConfig(cabinetTOthing(10,38)).
+legacyConfig(cabinetTOthing(10,39)).
+legacyConfig(cabinetTOthing(10,40)).
+legacyConfig(cabinet(5)).
+legacyConfig(cabinetTOthing(5,11)).
+legacyConfig(cabinetTOthing(5,12)).
+legacyConfig(cabinetTOthing(5,13)).
+legacyConfig(cabinetTOthing(5,14)).
+legacyConfig(cabinetTOthing(5,15)).
+legacyConfig(cabinet(6)).
+legacyConfig(cabinetTOthing(6,16)).
+legacyConfig(cabinetTOthing(6,17)).
+legacyConfig(cabinetTOthing(6,18)).
+legacyConfig(cabinetTOthing(6,19)).
+legacyConfig(cabinetTOthing(6,20)).
+legacyConfig(cabinet(7)).
+legacyConfig(cabinetTOthing(7,21)).
+legacyConfig(cabinetTOthing(7,22)).
+legacyConfig(cabinetTOthing(7,23)).
+legacyConfig(cabinetTOthing(7,24)).
+legacyConfig(cabinetTOthing(7,25)).
+legacyConfig(cabinet(8)).
+legacyConfig(cabinetTOthing(8,26)).
+legacyConfig(cabinetTOthing(8,27)).
+legacyConfig(cabinetTOthing(8,28)).
+legacyConfig(cabinetTOthing(8,29)).
+legacyConfig(cabinetTOthing(8,30)).
+legacyConfig(personTOthing(1,11)).
+legacyConfig(personTOthing(1,12)).
+legacyConfig(personTOthing(1,13)).
+legacyConfig(personTOthing(1,14)).
+legacyConfig(personTOthing(1,15)).
+legacyConfig(personTOthing(1,16)).
+legacyConfig(personTOthing(1,17)).
+legacyConfig(personTOthing(1,18)).
+legacyConfig(personTOthing(1,19)).
+legacyConfig(personTOthing(1,20)).
+legacyConfig(personTOthing(1,21)).
+legacyConfig(personTOthing(1,22)).
+legacyConfig(personTOthing(1,23)).
+legacyConfig(personTOthing(1,24)).
+legacyConfig(personTOthing(1,25)).
+legacyConfig(personTOthing(2,26)).
+legacyConfig(personTOthing(2,27)).
+legacyConfig(personTOthing(2,28)).
+legacyConfig(personTOthing(2,29)).
+legacyConfig(personTOthing(2,30)).
+legacyConfig(personTOthing(2,31)).
+legacyConfig(personTOthing(2,32)).
+legacyConfig(personTOthing(2,33)).
+legacyConfig(personTOthing(2,34)).
+legacyConfig(personTOthing(2,35)).
+legacyConfig(personTOthing(2,36)).
+legacyConfig(personTOthing(2,37)).
+legacyConfig(personTOthing(2,38)).
+legacyConfig(personTOthing(2,39)).
+legacyConfig(personTOthing(2,40)).
+% domains
+cabinetDomainNew(500..523).
+roomDomainNew(1000..1027).
+% reuse costs
+reuseCabinetTOthingCost(0).
+reuseRoomTOcabinetCost(0).
+reusePersonTOroomCost(0).
+reuseCabinetAsHighCost(3).
+reuseCabinetAsSmallCost(0).
+reuseRoomCost(0).
+% remove costs
+removeCabinetTOthingCost(2).
+removeRoomTOcabinetCost(2).
+removePersonTOroomCost(2).
+removeCabinetCost(2).
+removeRoomCost(2).
+% create costs
+cabinetHighCost(100).
+cabinetSmallCost(1).
+roomCost(5).
diff --git a/simpleInstances/longthings_newroom_p02t024c3.asp b/simpleInstances/longthings_newroom_p02t024c3.asp
new file mode 100644
index 0000000..a418988
--- /dev/null
+++ b/simpleInstances/longthings_newroom_p02t024c3.asp
@@ -0,0 +1,132 @@
+legacyConfig(person(1)).
+legacyConfig(person(2)).
+legacyConfig(room(3)).
+legacyConfig(roomTOcabinet(3,5)).
+legacyConfig(roomTOcabinet(3,6)).
+legacyConfig(roomTOcabinet(3,7)).
+legacyConfig(room(4)).
+legacyConfig(roomTOcabinet(4,8)).
+legacyConfig(roomTOcabinet(4,9)).
+legacyConfig(roomTOcabinet(4,10)).
+legacyConfig(thing(11)).
+thingShort(11).
+legacyConfig(thing(12)).
+thingShort(12).
+legacyConfig(thing(13)).
+thingShort(13).
+legacyConfig(thing(14)).
+thingLong(14).
+legacyConfig(thing(15)).
+thingLong(15).
+legacyConfig(thing(16)).
+thingShort(16).
+legacyConfig(thing(17)).
+thingShort(17).
+legacyConfig(thing(18)).
+thingLong(18).
+legacyConfig(thing(19)).
+thingLong(19).
+legacyConfig(thing(20)).
+thingShort(20).
+legacyConfig(thing(21)).
+thingLong(21).
+legacyConfig(thing(22)).
+thingLong(22).
+legacyConfig(thing(23)).
+thingShort(23).
+legacyConfig(thing(24)).
+thingShort(24).
+legacyConfig(thing(25)).
+thingShort(25).
+legacyConfig(thing(26)).
+thingLong(26).
+legacyConfig(thing(27)).
+thingLong(27).
+legacyConfig(thing(28)).
+thingShort(28).
+legacyConfig(thing(29)).
+thingShort(29).
+legacyConfig(thing(30)).
+thingLong(30).
+legacyConfig(thing(31)).
+thingLong(31).
+legacyConfig(thing(32)).
+thingShort(32).
+legacyConfig(thing(33)).
+thingLong(33).
+legacyConfig(thing(34)).
+thingLong(34).
+legacyConfig(cabinet(9)).
+legacyConfig(cabinetTOthing(9,28)).
+legacyConfig(cabinetTOthing(9,29)).
+legacyConfig(cabinetTOthing(9,30)).
+legacyConfig(cabinetTOthing(9,31)).
+legacyConfig(cabinet(10)).
+legacyConfig(cabinetTOthing(10,32)).
+legacyConfig(cabinetTOthing(10,33)).
+legacyConfig(cabinetTOthing(10,34)).
+legacyConfig(cabinet(5)).
+legacyConfig(cabinetTOthing(5,11)).
+legacyConfig(cabinetTOthing(5,12)).
+legacyConfig(cabinetTOthing(5,13)).
+legacyConfig(cabinetTOthing(5,14)).
+legacyConfig(cabinetTOthing(5,15)).
+legacyConfig(cabinet(6)).
+legacyConfig(cabinetTOthing(6,16)).
+legacyConfig(cabinetTOthing(6,17)).
+legacyConfig(cabinetTOthing(6,18)).
+legacyConfig(cabinetTOthing(6,19)).
+legacyConfig(cabinet(7)).
+legacyConfig(cabinetTOthing(7,20)).
+legacyConfig(cabinetTOthing(7,21)).
+legacyConfig(cabinetTOthing(7,22)).
+legacyConfig(cabinet(8)).
+legacyConfig(cabinetTOthing(8,23)).
+legacyConfig(cabinetTOthing(8,24)).
+legacyConfig(cabinetTOthing(8,25)).
+legacyConfig(cabinetTOthing(8,26)).
+legacyConfig(cabinetTOthing(8,27)).
+legacyConfig(personTOthing(1,11)).
+legacyConfig(personTOthing(1,12)).
+legacyConfig(personTOthing(1,13)).
+legacyConfig(personTOthing(1,14)).
+legacyConfig(personTOthing(1,15)).
+legacyConfig(personTOthing(1,16)).
+legacyConfig(personTOthing(1,17)).
+legacyConfig(personTOthing(1,18)).
+legacyConfig(personTOthing(1,19)).
+legacyConfig(personTOthing(1,20)).
+legacyConfig(personTOthing(1,21)).
+legacyConfig(personTOthing(1,22)).
+legacyConfig(personTOthing(2,23)).
+legacyConfig(personTOthing(2,24)).
+legacyConfig(personTOthing(2,25)).
+legacyConfig(personTOthing(2,26)).
+legacyConfig(personTOthing(2,27)).
+legacyConfig(personTOthing(2,28)).
+legacyConfig(personTOthing(2,29)).
+legacyConfig(personTOthing(2,30)).
+legacyConfig(personTOthing(2,31)).
+legacyConfig(personTOthing(2,32)).
+legacyConfig(personTOthing(2,33)).
+legacyConfig(personTOthing(2,34)).
+% domains
+cabinetDomainNew(500..517).
+roomDomainNew(1000..1021).
+% reuse costs
+reuseCabinetTOthingCost(0).
+reuseRoomTOcabinetCost(0).
+reusePersonTOroomCost(0).
+reuseCabinetAsHighCost(3).
+reuseCabinetAsSmallCost(0).
+reuseRoomCost(0).
+% remove costs
+removeCabinetTOthingCost(2).
+removeRoomTOcabinetCost(2).
+removePersonTOroomCost(2).
+removeCabinetCost(2).
+removeRoomCost(2).
+% create costs
+cabinetHighCost(100).
+cabinetSmallCost(1).
+roomCost(5).
diff --git a/simpleInstances/switchthingsize_r02t035.asp b/simpleInstances/switchthingsize_r02t035.asp
new file mode 100644
index 0000000..796dce7
--- /dev/null
+++ b/simpleInstances/switchthingsize_r02t035.asp
@@ -0,0 +1,177 @@
+legacyConfig(person(1)).
+legacyConfig(room(2)).
+legacyConfig(roomTOcabinet(2,4)).
+legacyConfig(roomTOcabinet(2,10)).
+legacyConfig(roomTOcabinet(2,16)).
+legacyConfig(roomTOcabinet(2,22)).
+legacyConfig(room(3)).
+legacyConfig(roomTOcabinet(3,28)).
+legacyConfig(roomTOcabinet(3,34)).
+legacyConfig(roomTOcabinet(3,40)).
+legacyConfig(thing(9)).
+thingShort(9).
+legacyConfig(thing(11)).
+thingShort(11).
+legacyConfig(thing(12)).
+thingShort(12).
+legacyConfig(thing(13)).
+thingShort(13).
+legacyConfig(thing(14)).
+thingShort(14).
+legacyConfig(thing(15)).
+thingShort(15).
+legacyConfig(thing(17)).
+thingShort(17).
+legacyConfig(thing(18)).
+thingShort(18).
+legacyConfig(thing(19)).
+thingShort(19).
+legacyConfig(thing(20)).
+thingShort(20).
+legacyConfig(thing(21)).
+thingShort(21).
+legacyConfig(thing(23)).
+thingLong(23).
+legacyConfig(thing(24)).
+thingShort(24).
+legacyConfig(thing(25)).
+thingShort(25).
+legacyConfig(thing(26)).
+thingShort(26).
+legacyConfig(thing(27)).
+thingShort(27).
+legacyConfig(thing(29)).
+thingShort(29).
+legacyConfig(thing(30)).
+thingShort(30).
+legacyConfig(thing(31)).
+thingShort(31).
+legacyConfig(thing(32)).
+thingShort(32).
+legacyConfig(thing(33)).
+thingShort(33).
+legacyConfig(thing(35)).
+thingShort(35).
+legacyConfig(thing(36)).
+thingShort(36).
+legacyConfig(thing(37)).
+thingShort(37).
+legacyConfig(thing(38)).
+thingShort(38).
+legacyConfig(thing(39)).
+thingShort(39).
+legacyConfig(thing(41)).
+thingShort(41).
+legacyConfig(thing(42)).
+thingShort(42).
+legacyConfig(thing(43)).
+thingShort(43).
+legacyConfig(thing(44)).
+thingShort(44).
+legacyConfig(thing(45)).
+thingShort(45).
+legacyConfig(thing(5)).
+thingShort(5).
+legacyConfig(thing(6)).
+thingShort(6).
+legacyConfig(thing(7)).
+thingShort(7).
+legacyConfig(thing(8)).
+thingShort(8).
+legacyConfig(cabinet(10)).
+legacyConfig(cabinetTOthing(10,11)).
+legacyConfig(cabinetTOthing(10,12)).
+legacyConfig(cabinetTOthing(10,13)).
+legacyConfig(cabinetTOthing(10,14)).
+legacyConfig(cabinetTOthing(10,15)).
+legacyConfig(cabinet(16)).
+legacyConfig(cabinetTOthing(16,17)).
+legacyConfig(cabinetTOthing(16,18)).
+legacyConfig(cabinetTOthing(16,19)).
+legacyConfig(cabinetTOthing(16,20)).
+legacyConfig(cabinetTOthing(16,21)).
+legacyConfig(cabinet(22)).
+legacyConfig(cabinetTOthing(22,23)).
+legacyConfig(cabinetTOthing(22,24)).
+legacyConfig(cabinetTOthing(22,25)).
+legacyConfig(cabinetTOthing(22,26)).
+legacyConfig(cabinetTOthing(22,27)).
+legacyConfig(cabinet(28)).
+legacyConfig(cabinetTOthing(28,29)).
+legacyConfig(cabinetTOthing(28,30)).
+legacyConfig(cabinetTOthing(28,31)).
+legacyConfig(cabinetTOthing(28,32)).
+legacyConfig(cabinetTOthing(28,33)).
+legacyConfig(cabinet(34)).
+legacyConfig(cabinetTOthing(34,35)).
+legacyConfig(cabinetTOthing(34,36)).
+legacyConfig(cabinetTOthing(34,37)).
+legacyConfig(cabinetTOthing(34,38)).
+legacyConfig(cabinetTOthing(34,39)).
+legacyConfig(cabinet(40)).
+legacyConfig(cabinetTOthing(40,41)).
+legacyConfig(cabinetTOthing(40,42)).
+legacyConfig(cabinetTOthing(40,43)).
+legacyConfig(cabinetTOthing(40,44)).
+legacyConfig(cabinetTOthing(40,45)).
+legacyConfig(cabinet(4)).
+legacyConfig(cabinetTOthing(4,5)).
+legacyConfig(cabinetTOthing(4,6)).
+legacyConfig(cabinetTOthing(4,7)).
+legacyConfig(cabinetTOthing(4,8)).
+legacyConfig(cabinetTOthing(4,9)).
+legacyConfig(personTOthing(1,5)).
+legacyConfig(personTOthing(1,6)).
+legacyConfig(personTOthing(1,7)).
+legacyConfig(personTOthing(1,8)).
+legacyConfig(personTOthing(1,9)).
+legacyConfig(personTOthing(1,11)).
+legacyConfig(personTOthing(1,12)).
+legacyConfig(personTOthing(1,13)).
+legacyConfig(personTOthing(1,14)).
+legacyConfig(personTOthing(1,15)).
+legacyConfig(personTOthing(1,17)).
+legacyConfig(personTOthing(1,18)).
+legacyConfig(personTOthing(1,19)).
+legacyConfig(personTOthing(1,20)).
+legacyConfig(personTOthing(1,21)).
+legacyConfig(personTOthing(1,23)).
+legacyConfig(personTOthing(1,24)).
+legacyConfig(personTOthing(1,25)).
+legacyConfig(personTOthing(1,26)).
+legacyConfig(personTOthing(1,27)).
+legacyConfig(personTOthing(1,29)).
+legacyConfig(personTOthing(1,30)).
+legacyConfig(personTOthing(1,31)).
+legacyConfig(personTOthing(1,32)).
+legacyConfig(personTOthing(1,33)).
+legacyConfig(personTOthing(1,35)).
+legacyConfig(personTOthing(1,36)).
+legacyConfig(personTOthing(1,37)).
+legacyConfig(personTOthing(1,38)).
+legacyConfig(personTOthing(1,39)).
+legacyConfig(personTOthing(1,41)).
+legacyConfig(personTOthing(1,42)).
+legacyConfig(personTOthing(1,43)).
+legacyConfig(personTOthing(1,44)).
+legacyConfig(personTOthing(1,45)).
+% domains
+cabinetDomainNew(500..527).
+roomDomainNew(1000..1032).
+% reuse costs
+reuseCabinetTOthingCost(0).
+reuseRoomTOcabinetCost(0).
+reusePersonTOroomCost(0).
+reuseCabinetAsHighCost(3).
+reuseCabinetAsSmallCost(0).
+reuseRoomCost(0).
+% remove costs
+removeCabinetTOthingCost(2).
+removeRoomTOcabinetCost(2).
+removePersonTOroomCost(2).
+removeCabinetCost(2).
+removeRoomCost(2).
+% create costs
+cabinetHighCost(10).
+cabinetSmallCost(5).
+roomCost(5).