From da2158ab876178ad71511826b512b82018bd100c Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Wed, 21 Jul 2021 14:27:06 +1000
Subject: [PATCH] Fix references

---
 assets/glossary.tex                           |   2 +-
 assets/img/6_gbac.png                         | Bin 23554 -> 0 bytes
 assets/img/6_radiation.png                    | Bin 28862 -> 0 bytes
 assets/listing/2_dyn_knapsack.py              |  28 -----
 .../{6_adaptive.mzn => inc_adaptive.mzn}      |   0
 ...ic_complete.mzn => inc_basic_complete.mzn} |   0
 ...mzn => inc_basic_complete_transformed.mzn} |   0
 ...ourhood.mzn => inc_gbac_neighbourhood.mzn} |   0
 ..._minisearch.mzn => inc_lns_minisearch.mzn} |   0
 ...h_pred.mzn => inc_lns_minisearch_pred.mzn} |   0
 ...urhood.mzn => inc_rcpsp_neighbourhood.mzn} |   0
 ...{6_restart_ann.mzn => inc_restart_ann.mzn} |   0
 ...{6_round_robin.mzn => inc_round_robin.mzn} |   0
 ..._sol_function.mzn => inc_sol_function.mzn} |   0
 ..._state_access.mzn => inc_state_access.mzn} |   0
 .../listing/{6_status.mzn => inc_status.mzn}  |   0
 ...zn => inc_steelmillslab_neighbourhood.mzn} |   0
 ...{6_uniform_slv.mzn => inc_uniform_slv.mzn} |   0
 chapters/5_incremental.tex                    | 106 +++++++++---------
 chapters/5_incremental_preamble.tex           |   6 +-
 20 files changed, 57 insertions(+), 85 deletions(-)
 delete mode 100644 assets/img/6_gbac.png
 delete mode 100644 assets/img/6_radiation.png
 delete mode 100644 assets/listing/2_dyn_knapsack.py
 rename assets/listing/{6_adaptive.mzn => inc_adaptive.mzn} (100%)
 rename assets/listing/{6_basic_complete.mzn => inc_basic_complete.mzn} (100%)
 rename assets/listing/{6_basic_complete_transformed.mzn => inc_basic_complete_transformed.mzn} (100%)
 rename assets/listing/{6_gbac_neighbourhood.mzn => inc_gbac_neighbourhood.mzn} (100%)
 rename assets/listing/{6_lns_minisearch.mzn => inc_lns_minisearch.mzn} (100%)
 rename assets/listing/{6_lns_minisearch_pred.mzn => inc_lns_minisearch_pred.mzn} (100%)
 rename assets/listing/{6_rcpsp_neighbourhood.mzn => inc_rcpsp_neighbourhood.mzn} (100%)
 rename assets/listing/{6_restart_ann.mzn => inc_restart_ann.mzn} (100%)
 rename assets/listing/{6_round_robin.mzn => inc_round_robin.mzn} (100%)
 rename assets/listing/{6_sol_function.mzn => inc_sol_function.mzn} (100%)
 rename assets/listing/{6_state_access.mzn => inc_state_access.mzn} (100%)
 rename assets/listing/{6_status.mzn => inc_status.mzn} (100%)
 rename assets/listing/{6_steelmillslab_neighbourhood.mzn => inc_steelmillslab_neighbourhood.mzn} (100%)
 rename assets/listing/{6_uniform_slv.mzn => inc_uniform_slv.mzn} (100%)

diff --git a/assets/glossary.tex b/assets/glossary.tex
index 9deef15..575a6de 100644
--- a/assets/glossary.tex
+++ b/assets/glossary.tex
@@ -458,7 +458,7 @@
   description={
 		A technique to apply \gls{meta-optimisation} methods within the \gls{solver}.
 		The \gls{solver} is extended with \gls{native} \glspl{constraint} that set \glspl{variable} to a \gls{fixed} value on every \gls{restart}.
-		See \cref{sec:6-modelling,sec:6-solver-extension}
+		See \cref{sec:inc-modelling,sec:inc-solver-extension}
   },
 }
 
diff --git a/assets/img/6_gbac.png b/assets/img/6_gbac.png
deleted file mode 100644
index 8b2fab966cc848110546723e3634a46a5a2733da..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 23554
zcmeFZS5%YV_BKj4^xk_%ih^_m#Yk_45~?%-ksw7NNQWT3Nk>IWKrn>fJ46sfP-+55
zS3w|15kZh5=LLWJJO6L*eJ;)z=i<9K7dqfA>s@QjIiF{?MLfhvo0@`yf`EX4T31KI
zgn)n$3;c@$kpWkpmW|~S5bzP`YTPmlu-nWdpBC1H{|PV9e=8*;;z=KmBAgRM(I;yp
z>oN6_KH<1E_sEi&fz8-iefhS47#;f;24~~D(w-=kOhQW`9b+;l39EXaFl=t8y69)P
z9V#+EzkP2L-DMlPZ8IV}@?p*f-iB9$Z)}>v@h_S0CPmOo6KP>UYzSu(^K@a$fBi}*
z7(tH90Im}XI*=r(laUyp*wq_A=f9jkB4RdjapU}Fb~<U~eS$H8e+~5vB07TDAm)r%
z#G%QXH=;-OI}`r!{y5oGe?56E`Ee#q@l4T`@*pOKTFdU<+@&G8=GfPHr0cch@D71y
z!Y-l^?iSz5nIXjOh$jfAp2ypSJT_&IWp>yd<Oj+US_F5TmynpOh?%b1Rb|{tz!}jr
z^EAt0f%HOsFweGc#1x?@u{$jEx1{$?hv21?9ovvc<Kf|CA;bZ^-jX}LGET~>YX=1p
z_Is)eReQ(Um^K-wU{liW8?lSH>2jxWjz>b?0y||lE^W9T#72<I-$cTIDYaa$fzq8x
zE@kd)2NUoTdfEmzupF%JD>6T5Uo+s`rbK-0Y0=P7q&-_;r5oFW&M@HH5sSo4<!d_&
z7*-hZZ{nr19#=(9X{6D_cJ}8I-%OszBsZ`*krE@DFi(qEf6IW{0D5mfLMMOLAazXC
zivkEQqa>^2G1ZcNkD$V(F6s`lY07Ep0Gpbq8|?Tw(nD+7pXyH^UVPk?h$g6PG%=>a
zrxSvj10BNeeD%;rHIsx<%?Vk)9=UXdfCqFJ%05(&n0i_pam?mpag-c&B(p@{h;Vc7
zfPFfU*}Ago&ox5b<7IR8eK^J4$tm^IxiETZq`x-GxUNazF_96`uPVA#;VkWUDo}m@
z1zAD(n>@LNBg;R656=b%kLNlrapdRdp%?^*eqMirpUnO>E8!GB+fOU*Oj#pwss%oM
zyi^@L?h;br4{jiS#ri3nN?STON-#&^o#GFdM>BI_LOZvXdL#a9*1ZBfgS3lcMTxfA
zd|5aPuIOvAB(wZh+>>MVm1>#jFK_<MOUlqjy>pu1pZf%Y+y9C<jo5cwy;b1WewKJ^
zbp~!pA|Zt?t6EG4$#=aCAqX&A+X?OU52gWgD>g53gplM@bd<dQ{rw$FL<D(bFt{_^
z+h{yv+0F8RZF05X(iZ7=f|pYh9Rr%EjQ;YUrXG(sl5`Unii0`Id2$mWv?O-yl9}D)
zU&juYYnoUBNOx#4hN4Q_ABbbB_R6J<l(#~axx5AlH}yZ0IxSq)PlH6S$`aDgS4UpG
z4a`8k`Hb!GmbY2EhqnW^9{!S%d*&O`{$?=&U|jQz=wYL)v`^ED2k*E)Ws1+|WGSh1
zU-ka^QlOP(?$OuKD?2mNe1Y#^iDo>*p;>pM(6V1-dzH~Fca<eiy=pMcpth;jmZn&j
zv;%0{cy&jJCTf3IN`2URCi$5~e3ZC^@#H;8+hp5r7w)eEtyi`nCmwtgH=cTZi*7D3
zy^V>QQA6UX|Kxs_sT&Qm3tXlqR2EuKh#3wt+IST6&DyU&`SF2w(|(P#mX$}{_apIE
z(7qdnof$mOo+?^1j4kRr>XaVP<ioawxe(q^{oqdj!ryU$nJd$dqT^u-MM@Mpk9IR+
zSp;kBdwuIlpM<%93HR(X$SUg4gvSNEnGfM52vJcjO=;fRen0=G6Z19bhWpUD3?$e*
z={rK;qWk%uD{7xE-o66HB_g&2hVa>pi31vK6)Kn4si3n3iR!3{JqcU<$?mC|(z*s1
z$KKRb=*tKT{r;lYr)DD0_cZL)>M6n^7jk^4dvIpJi1!2ICUM*_+!yvwC=3mJM4i-o
zlqGZPGK^9(JC=Z#nzAy^WntBDKTR9F3G2YE_O+L(geN^VTRnA;i&DY=@!A9PFi-Q_
z<;I_89W)W$9w^@{oY7C)nn%BFZ$9cCo?3pTuzl^$DeRr*vPjXGOn=9q9QdPJvtS@B
z1a7-gf8-Trr*x>S#_s^;rajpvzDaIB^oh@NcD?uxK^u+n{$O%iIzCE#oGDN|VGwyM
zUqE>MU1_wrS7!nW`*_`_W54#jvG%gBM$PCkTYJ-G_{Uq>Ns=!t{U+I2wbMp5KPRr0
z*$A6i&9?c9srB=bB?OdIo>(&VLsl!qy=V?nkK<m+-Z{m4Rt+<)h9*06A^qk3ZDWty
zXO>TWmpng%)HmJ|h8lR@tmg%EGvkp30a4!XO{+(!vixGR_ccbS9&;K>3Qds>Q!jkN
z%i;)v8KP{9>S1R1A9KC+dmR+-P%=YbO*CB}s+eZ~9M1@<o5a%YUydQJ@TAug6~v`I
z8T0C=LwERVa*Tf#dg@}!n4Z+t93r1|Wv|@*mOwURB>c)L9&~%QOPla&{?}z5ZIo?t
zD0WoNu2c1x3Z9a1b;Vc&`~C$)3=>WRWr|QwOS#vva3sJ%4xO@V2w1q(V*23ta0yj(
z*7fQO>c{ZRSLR3Bwc*F&t?wj;3|R^XOmETddCfQD&i1`JKWg{joj&XiCr=g+t23`_
z&1Q+$6*eYw>Nh~-Y0_%(WnF%iV!B@i?q+GATK6R$`k9OGVmor0+awh}23!3;vf&x|
zDV_mpOsvg?td@L2sJ@F*u{HKl88i1#y<|!m_~SHG*u4D4vBeTO^COj;<JnI;xQcVC
zyI36YVP8-JtutC%^~*fl1q81z>EBGzzbe?KRm_@sBeBB3%DheltvTyAV}*)gsJP@h
zN|`Mw6DV$>*1Ylcay$grJa@z#)22|grct}5bbDch!c%61fxNK|Y9AW5Rr{2~rU7#N
zYo<VSE6f}qm6?a)56Q#?lA7u>r8F%_Sz7&M?4&woc(6m7s<~H4Z|6nhhfz%txNc;r
zt9ybg>k+QCHqL-07`IsHR`3m4ome|kz8z-t89-=Ci_~`4zm7mJFtQ4jT5Ha^4?!ph
zQ6dt-_AoDRv0u0c7-_&apt*f#tK_ej!IT1^t~Y6G@ZYDUsQ~Tj9nA=K`#V^);HV-}
zoTT91{0+HRyC&Ww(Vpe3n#|*!S4fK|xtpKO7khN};J*B8@KL(849GS;7<qZdpb`5d
zOX5qaK#f>UWKs270!kca1-96*FzUDbhvV;D2+kk3C;m?QorPgnJTuql30jOmoodD3
z2&7uo(lYp+-l;O5HqOk+&Dx6q_J}q4!WVLQ0NT?<r72x4i}3dcHE<K_OAHM$zqtmL
z%Uz6a%ZUxBNw9l0pkTN`ZFqC5`tLHSNDy7*jWiP*w|DlQu^3uOYSbk>Z}TnLb>kn>
zHuy5vu%M3p;`z_CM(M<oAvbx)Uu@FVS*UU=F)JwxJxV$3Cs~}iW=>IAx*t=@docCa
z5hIIK*NqZq$oe@pb$biqa-<~f{8NccsU_0w!<x6Hj>-JLj~orjDg)E#`WT=~)e_#8
zWxB?iVVGM7^^(bxawnbOaQOV-U_xAr^^GR~O>5ivM>0fzB{NEaFag22`O+t>*1twP
z3-%eQnJ=HqJceooXbc#O5A7)xx^<@Uafj}WaZXm*+EB1mGOcU<^X^q5;nacK5l>@O
z6Aq}twaxqqhbhR>a3hYybnrIkuu)b=o0}RVto!H3JBsJulawS1Wkd@IU*1iNlvgD<
zG@xGJjG#m$_O`-KjwX;{es(bHk*KyB(@(^*=g;pYsux5BF{-~s)kL<(dPl<Lu-!vF
zc@rKHi4jr}`n~g58zP^JcV@OjeokD-k@EbVBZegx!cUJU>ADC~1=9x!F|}{>pfBw;
z^%%%E=Jt2=+DrEpj7vu#to~ua4(E$OwDOONA`_&iQrOoy2}mD9jCohaf*~bUTlrh2
z@h|1{)fn+}r8&IL=lW~OLvkd9wK86ynx=rDdL%^UJgv8_>6;*~(C7`$3msJFM)1?a
zTxVpF{$!P;7uT}M2pQ48GD2zLZXz9*VCMs^Q2>|78_Qc=S}!J10>(taz_w`e?KfAr
zh`MRT_&(%CoDu%vJk)f_Z2KBkJa`sPb>dG!5q|ghPxw1*ci6yuh0UdIiV<^__iXDP
zpE188L<Akc^2j5_dn7S&5nsY3NY+ugL~SXLg?8Ne?$@AGe)wX-3B5>fm~nPQehex8
z^{If=bpZcP;KyT9f$Fe7giC>#<`@wA_+<<b7eu{KcrrHw`oN3eBsil{4d^L$dbxd-
z@Nq6=I~r3iu_!T+v@2yXBuhAtc&ceU&y;!pF8$aPqxT11;hT@P001#W`4;$v71HZy
zsFNIAWoExh#KiUO*BclP*X9~qIWLavQnRcWL0e|uB)<1nK3<hHK&vu5fz>WqxN7=q
z!mX;^Q1#s~j;;Phwt#zaOW8^Wio6^^Ou~pC{Z?_@J_lM;HT$gN#qFTPZfS~G4*I;<
zO&M-MzF)$xk_+1A&Qf@Msf#OeAVhJ%{A6b~TIs96$Jv<ru}g#nsD@Cgovy(%7c~hk
z^bmu<`KDd@+;EV3DG6gs{JW3;#ATpF)l;V!1Z6=<j#)BUoaFEmzO(3!eN7Zjq$+S?
zKZ1Ka=u`60qE;+5i7WkX5(ejZn%#BCgCD;`NG#1o;!iYO<#%At?=!;<yFF^Y^*BNt
ziJyZ`dcgG$#FqMyo4$ytm~e@+x{C4JJ!e_IR*RR<>V|Eh&bYxgxD1g6AjigNd_g2V
z8w1ht)XTVrKJnLrC5Vb_MdCZ<^svyEyd)Z<KRA**!X8s+`DuyQO}3T~&PIq51924R
z4aQq%`>7aT`*zK9mHK$CSK)hi4omKGozID`H5Qny5((a>N=3HQ%A4Ya7D|N@2YvBT
z0^s#BD)X6L95-~{2AWnp&KuocdDJbrU_;<acn1U@CeF<G)Canoe4!gFuWKC7<gKpM
zS95hQ_+CrYVlf}c5H~L-yG(Qv$k(J6`L6N?uM2YUvhIN?eCy~31y}%EO+veLSX<R8
z=KW;mt<Uz-X1Rp2xX<00Ajh;{nEP6o#2j+?H(gmYf?S?5iRBtM;?m^H)GhiZIL^cs
zDeyrzio;jhV#GY_iV1?p=;dxeNfP#jRpr4Y!HTcz#oo!$8h@8tYlyOPXh>ZLJ(z{s
z)YrZxpsA-rH~EHJrv11R@$v<a;>wS<4YcZTK_xaraAKqPESxq~v8G72Rg#}bm>zx4
zhlg%hDuwV$^_r9Z5^2P}`-8sQch$YJ_Mg2xvYWjzOC}mE8$nsRj<f5UpnLJBlN_$1
zRh34KupoLg3kC1zTBJCKmWpYK7dM5hX!z0BI7vAdc7&CurS64N>7q85WS@LsBLUm>
zqZt!b5#bDxx(_yg`)0rtY-#l%m!r_UZ*s*mPOgf3A!eg~QWHwNjtoHBcqOXbiDzxu
zW{fj;6@PI!)_NZH>RQVnOGm62VJb1%qilrA%$N7<ajmEYB`w7lEI~V+Z}2B(nh{$C
zcJzPjyARrI4^N!3<V*iN3?$R``rQA-r|<JQ6%Vf1dOePvDy(2Ye}Rd2l@4qBxf*1D
z4=3BL>>|%+T;Mn$Gor{34ytE*o?!Nlg%Nh7p@1xPdO$AAUzj9Kag(jO=52q_b8|^s
zO-OqExEL6^6cl=8JZq{-K&n$5G^&5>A+9#Yv7bA522VNSSQ>ug(`jEhrDCrJIt-Uh
z?$2T+0*G|Kl>aF1i^C0hy3(y^C^^(d&L+A(o~=*F^Y?es3R>2heJys|*<u{p!>O|m
zHe~6RrFA})yML!rNe6i)5IFP4aRBslQ~C9siNK0$BVsNuhmFdYXJP7|a(79NM9laf
zv#Q@DnkSz4q>%^t>KeqDOmA|Jz&)DuxOr4-(e3#DYJy4;ynHh!;8rlB$8*SpXbrhM
z_icS3cj7P&%2Y=|Nwn!<RF_Jx+mDcE!D9^^yBp>OTuEFaA>Tg+6@D*9JV88oKLg%;
z(DedxooMnNKuT;>M7R0O5M@I+oUeIW`GA>CpZM<9ghEZn6V1Zfx4~|0uPS|+8DZL{
z6HzntH7xEVNf-w@HX<ZGMB|YhTv*G9#0O$Re+!@9WFoBj1<PH__Q4viQB`MBO&!tM
z*4F0f;^LCA-0eP9B}JY1#y|j$jZzVVx7Gus;uoRrCUgxpWO3<Kz;uN_)4ly=(gOF^
zi^1!6W;+H+klibeuO;bg<NRo;St{x@roo#I49|gy<1Qx7L{!3v=SFxX>0~tMdp|xS
z*m=PB=jMW1q8?-cOgb^iUfu;ToSd2m(x0TF5AbuO*+}$6vF}Jm=4pwaRurPSqU@;<
zJb*IgR9@wxudvSPW|jl9^JlX6M9qw0<^H$V%+gjK6TfKNW_Ah?e^cG$EjR|_(&MVw
zbkH;(pT}MBy;&p9s+_#BxXcZ_39?L-2ZSOG$}~a|UCS>YtUr+A*SYOy5X4jn(iKl2
z4tZE(!kl9&qXhre=BXi6n#{Buj9UK*kXi~-m<>Tf!jz|b9j>x)1WhdtsghaJj9hci
z6{mYDpm%v3J8i?L%!37M(T7STLlzmq@#}g?P2NyXCUB@)J5gQFlTBWbLRdxZK(Pg*
z1dFDz395!o+3i)n0ZOXWt1|vVXT%r?D<#4y#L`-eDh==I2XP>JYQ>eh6BtOv3X{Qt
zb`0rJVo%*ub`>K|%*~imSKXDPjMDh$M1N%NO6!Y;?s;TX<!GTYYM^m4(R?S}J27&e
z_ud7)FrYY+ZhQuL4VG(+B!`P@R7tCn?2T8I2g;1aXw@iuk4jbp<K3RMaiCHwuc>OB
z0C>U_I4E20osf{rlbFOQENqN#cQsPc8j8C`rFPwDd8*g)cx|?jT)sF(fyD)E7(02f
zMNHA^9sGrdOM_7*4hP|^b++@}y4C~v+8JO}d$bMx%mU8Xx<Iq_e%7hBrcB0)XtC7l
z8BM{u^-AK=cZdB?x9cF+dp|_IpsD=38DxZ3uGTf0rEO<CtX@{0dW^rv?ggoI2_}M3
zIQlMCk}YElk7l1l)iVfuCkXI1xh`M!@O%N8*zw)?1(M4PmUvg~)wb}y%-A)}P*Tn#
z6qXC6No|v@_VZ4dHlJshOpa<N93j@AcuJ|O)=+X193jxG#&dX8{rzxba#@jwf$+)b
zs$ReqeS<&36y84%KI0uoj7I1_mEX*03dzE4AU=yDk4{>bf*CSmPb3Q6<5lc3suS*&
zZVV!Oy8HhOSXYbikF9b%>4(RT+LL}N6A_B{I1_xxDN!`v+rwV%J?2}Qr5mM!_WB|F
z`)i1_26jSTuP=1UFs++nY;W&*f911noD;b3RsbpAszsi$KI`t7u{9>GWSt~eVf0qG
z7ue9kenQh@CgZ;4UTOU9fqta=M5|)&TzdV-yohd+8_I<JIZ?9a(BB8@{wiKj6jsz?
zCR8Crw5Y>shnU{6ESY5!?^;dyw*1@CU2`AFwspR1jPwcL{WPWRgp)?-*b`p%TcPwM
zcbBBE1QH~!LBH6Z9>hL!=L%{vaexikxHi<@Ji40#5&uHxa>AgDzLP*(7+!9ck#07N
zzfPYyps$3jk4k<L!hlS{+w99GYq!Mh05P@P`pOFB=WlU0Cd`}r(M2Bj^LQ6kQfsU1
z@Ge?EZymm8hh^LY+?W?GpFG-7hQZTRi3@VZf5LR>9;h5}3|GRyKXd~#y_i87V(y8S
z<U?Mp6|z!2xLk^~?^i%?OZpBkIXX_cS{F95NJN+DtT#EnsbWA&sw?Z1g<E5V&#WR$
ztk818X7ih@&-+N$>V)8oVAuY-XVCsUWQu^4m6yP0SWkLvOb#i1b-%!uiWJT4^5J4=
zW}9ii`pl4==y+2UdbLBvvgDxhW%$O663I|26a|r4a)W5ae$T6oTRnCQ{dM<TqR-%L
z1>|rnhZCiI=*q=HOnNoFUa*CCYn*E)^=h^x8)>{TJ^8={+$;?)cr9aUgHeJxb6@XM
zH9B5J;FAaKOI|!|!`DWgvg1#sfJt^=K=9Ia`9#QS^N;(z3z(aPUS#<!GYZ1kBg=bo
zDt+2hO+PE5IGW!ve}RT32=_ZYttCQ7SyPV}|6Gg3+Nt+{Txg227WTJVxk)kE9C!CB
z%a0YYAgYbui<BDGzxhPPm_G}KCO&K=?b5A{hEc-jmh;wsmL|@~A*oqA-R_;7GVqW3
zZOOm1*%iPkydD$+XW@zpW%jYDX%Dp1@|qOSUTa0nSWkW`*Ax2G68E$Y1ifk<%}eY|
zjs5^e`8164s%bxd$ZIp}pVtRI)krPzSU}gC3t8tqg>eSYS^6oQ#Cfl1J3TX-VL(@e
zS$#8pEnu1Us=t~+w<(BJ)Ou&e?&)m%?zL<?d4)Wvmx%#N1S_fUb*}xr99M!S-X0zc
zgA3Q^+?ATqHeJxVa=|0(rB?p-tR_RJc=IH#K))+i!tFq2wBGjp)bqk&gYuDQelh6%
zKS_iB<#Ad_TTKp}?*}Vj(!4?BX^pm>_2QzJmH)hDO#xyuDx2$D7G{fCElv67@r}#+
zg*+|)r#xjpRO&FyB&a^7%A6U8re0dPm)&b5nU>^d)Z(rk#UX_?ex()<DWDrB#7WT?
zcEoB9`<TJ>QDfI8m1`<+mVV)83nMf6H{2XpU=5b?*)7y|d1OK4zdxV?9f2t0zEx1}
z71#uiLT{0xVP>~I1IdfwPWErv;DgI{E#RC%Q@EM&mHYI4oDr*L;u<6N^BLGs-7FoI
zR!Qu$v%pDN>>&eWUx<ailn$->;!I&lctbHeKmjc~b3mO0k&kKlDDhf6@3n$B5GBEi
z<F8ek0Q>slB|A%}ThYmBIv*hSkJ8Od$L5o{dbl*5H{amgS{f2QCopf%F{_uVuJG4p
zxA^vK_YGvSAh@T`H1!usRjxDB_y2q^?xsx%t@Vf7mAmuHWLJaiehimiC4A&=ZV|BD
zi57@tGM*fv(Ds-eoUq*W8!^qUj}!Y=n_aOMA@@qke&2?tvu^E-Ftzx3!lB73s>jb+
z2KfR~FWGL$+UQ1`>o}GxGPrn^oXBu>A<0)FKaD~&E%92*gX22~%*<T3o>wn$G{J!%
z;F<MS8fbT^8NFoTOGtc&sa>Cdx$S(aQ}XZ;(`*P65?yeUdXbwa&Wz{nSg~bxL&x0%
zO1RJ+i$_e?E$sSzX2x9W?w?6I*BaMQgqnB8qNmsOGA>)G*kI-PtiG#+Px`L3lw6Yo
zGqa58>Mab_nJ`D#58s83d`}K@Ip5K2m*({%g-u7<b3OeXEI7(SSeab6#xy2M_Kvme
zebMnd@933&$61T~&f2x3_#(-^?^gj0zW*Rz==$K0#Vyh*)cib?)%$xU#y1<X#COpd
zzigkZRE#jMuahDpI}mW53aRh-eHN?MaJqgWFB?)f$k^%7?cQ$qJF{$5RS%XN3f1_Y
zKqt(QplPA6QThWtq6Efqn_D$ed|$*4SxlwBiiJIAnnsr8RQI>SHBm<;Ii)ZklFqmX
z*UuD-MX~{<pYeb536*ydV43g`Sqn15*P637r1tF=gkH%`?B~Foi?L%^T`)pWBdkt9
zTMN(rL*1$YpFt${R>0k)PDs>_mOfr$S|dx$FO02V%2_g;YZ)dHBJ^2~-o%o7-JbA<
zC)@aEH=ZP^iyiyz4*p0~9L<JsGtZ$HXG5feptby2;yRbku9baV!Gj96^wflv$i))k
zROgn}%%#x9n=GwS8%vgUt~ighG_?1tS9|O*u;IH=h9q@r#G~0)WM~M99=}<ii5cWx
zo+t`?Fp<U0PgXYhEBaRh{6SUaGy7PD!G=QFNH(nUR<K3qo&k#6Py=wVG1lL&0dY0=
zvtP#|W}3od$nK6e=n_5DuD}Gc4rCI$yG^mm>;sAmq`>{+a(FkWdC#ieHD>y`0Is%=
z1$I;+e-ZR(6~<upZ$Gr(oYeHPdtxSip47TVwMJmGHSeQo@ir|F#)8iP+jZhymQ`M<
zsODI_teAq)t+V}bHkkyi-u@_k%kW<{R<dOE#VGNeWxXr3awS((f=Q5r+`+6%pE24!
zD>H4exjL2}8-e@x-ZDlLl#8^_>$o*RCRYDOB$k#W%dAD-{y86{!GWth>?i6C5*B)w
z8|^ihOo@=@2sTX=PENfos-pcC1x2N*KQAb`fTymefJ#irQZj*}sNET-(VR;FI35Lw
zB3M5vDWnpKAGelq_@CzVW4}qG6#YFl!xaAwJEnY2*%AZyjNQ(r98qR=nKo0E?XZ$0
zw=IuYb<_+^N{Uw9J!XFivb^)kfH8c`;xiKcLzc9Z$YMjPI{%)VV4)%4b`SscDW61m
za&-^|gq3LTejSw}QNA;50+2)z<GNMCfEn#Q>7k#w*virhPK%oy5<kCNWOT7YU;BY8
zOHE8j81i0=pJY{-YDyRfNRuX{ytOjKOB6bN*Xx9q(Ug~$Z<w2#Yt(RNHM&n_$7mWe
zx>&m!peE>c4~W6)!%04{%sVkUhAC+>9O>!t5-{V5@oY%$;E3@ZLUun@mc$;B!MHJ8
zFB=_rF>%gTgb%_IpER?Zyjo&%MB8iG@boMz;gZ*fuELHe8HEyb|Bh8L7-~zID23fy
zjQi{05+T->P{U%V5UQvujX4UAtL`!}6Yk@m89@75{E=yqiyQe}_h{aMbc_4xdO=Ux
zr2f?lAYjz#GffiVf|ex#C+D}xxFhz8Ypf`?=wvH~+;oTaU&rzd8^?+g9LJ38%@5oI
z1h)HEVBAEUSLP~>*}Afh^T(V!+rtOoR^2kvRlXxsfj8kNuSTC($2ORj=E-HLAP0AY
z?|?oYtm&!YpejmzUvMu<WItLE>pc<a<zwi$VXEfR^hs2REl0L=H^sbqQf#t%w^96A
zaA%xlmhJt!&oxj%@1J3>&euV@{bJ4A;~te;&aMVojZwxoO_Xb{Vvh{|$Rr>tesGbT
zbj&BMRYNn#6-E}4>mW{cotp$Ma7g@Rzszeo>;!xB(dud~KVB1(CQtJ_x9}<hA$(f`
zpdoD5;OivU7||824?5#_ioSkD4foBxJ~ARHS=tdWaLG4*p_paNg1)yV-e<Gl)yY*D
zMnAKb(m5$v={0j7mj!0F%04oPiHckr2%5}NSNj=_STnn0_2^4e!%-1NNkx=d_x%9m
z+e=*+24w$@Bz#Wf=9)4^4`ck@cRmyt`%?oFG?lz~0{=+?zfE$#NUyFEy2}JBA7lkn
z^xbXd0D|$4`k(00tHnV-$Itf7i^JWya!6hJI}n2rd?o9Krg{lpNx6j&0O45vOE}NT
zp?RoMPt$&um77q{F<2|K@8<yzCZ}ik`7TQQutVq8)!)S+`JlmsCFi~}vCZ5n(m@N2
zD5dxoGkYuN6j}uD-a}<~@!}-C4tAuvA}<AE9)4HkOC?WUGI56#QZL`1GE3i#gg37&
z)6>Yj)hBWA(cULacT}u|M6#WMbM#QN=5ITkokywF_@;<KY-J2!t|F-`W$*b&FJlXJ
z%rpa!8}`cuXgi#4+Y0w*nIf7TGr=gHcsD^EKpwI{>;?qN4Yv!4!CA7esw&=An!^oP
zo>wjRc|esfU%pu;c}rQmuV|KR_fs4hMhu*_vj4-u0~Twj>5kP$tP)ihfKkv5Lo3L=
zLulnHRNIJjxb@n=l&yJMW>e&b%;*ND87N%-tiwaK`pDw4>zgWE#LC1*P<HB>uWVVW
z^eRN_m_?pkE}=&++~ctcY)@2&E!ufW$xK$?orc4;YJ;7|Ed934yh3Z&KAIf=X3PT_
z{IBr-V%EvrW0b8dVIEfK2jx&_R8D}EX^>U5{rg0X@@4KjoKDCDlHxwprmcs}yRT(z
zIFIyb>v>OH8|zeaOTKpcICBo00XV)dOHPPv;5muE4Y=~C=Ix(uej%>v^oObzm7dj<
z8!esXf@+^ddv#o~=QG92Ej8S%ZocBtog}E++OiP>X1v^$XPD^@&LcbC+crc^$oM3C
z(ygUJoMPeMUT<1<jwU*|IQDrs&Wn$3Mp_oZ;dV-wxK~#sc0WmB$E;A2i)dOM3glo9
zt_cm&og&Rr()e>(<<Gcfn4Bi#PXTOzq+-=|_(pdwd8RRb6eRz3w3_ieg8!T3Xt?b_
z6NOIcYu|okV`|f;62#!RZXm~!_G-WcY1EjgkOFbqrSWjXSL~lU#v0mu6u%rLeo54-
zqwWapat}1A*B3~S?vc^*nM%~@3{ecY+nmd$)^H7}@+KhL&GmxR8`K?)qR=}f)#Sgk
z;Eh_VWp!rdHZSm@dnd`pv;FkwmrugzJb6RJNsxg$D{K<ckVc$@yT#NU4eX5Fr0l)a
z7&ozzM8MAkyjFX54=8QhdC9;^1YkHI`#VmA_z;D5=B`s>b}>BAgZh2Dtj!m=h3`jf
z#d~sJb8+K@(#W^nENe$nM56^o12^%51<UJkdb4f2q-EK6qBewoa3l>g6+bbiKx%ne
z&qoFXDixo8q#7O0fUIy9H@w8xbG4bh)&BuorkdaCMqk7OEPzvrdB874H(-Do`=p~b
z#>_&RJ!W2}YOI<6xICb^OFrcF@sGCc%M46u2_ei~cQl(BnV#O&%<u4dnRIaXt3q8@
zqRm@+1QQrHAMEklJdq(Gu4B1XHTmwUE-FZO?5EjYoqz;1f28eQkiGh_*^|o`PSSfI
zNe?(lnTUuEUwG4Hec9}vPnxSGM=h6;<sOS{s}==`QOpZ>SllJshS0&q;%yS>>%jlr
z94qg0p+*|D8sOxGo}&<^_bI!(P}{r${9Tg+7kDScyijj{a8Rj15D9ZXj<hb(J%!;{
zI4e)Ytm)JDe2Q|OS~kF|Jbt<@-}I#F4DmdVPo4(=;h40wjul8ODZi@r!A3L3Wc7l+
zGNGHh#lCZ2ia3Q*@%D>+rzTBs%8j~Gc;o9CRu4sqwWu4Wd5cY<>e`!cHG8aQH`<WK
z)@K~lvq1g9L(aGqdJSoGdti|h(aKj7Jiui-(os?g(=>x|6bD?%vu%jIko>oX3(4Oj
zF`-AP=)Zrj&2PmV1U)d(L{s<+K6S~V0m{sPfD9xUVJvJ?Z$ZoI>W>|nW1u$OxS|mn
z(y-@W`Lk;;pI3-r*^ANVWA#yds#)Z4@zc8^AzHzkIdy+G;+V1USy$WaWs}oKO6|!O
zK1Un4$eW)o$|QZ~bpuKBxP6-n*j#PoKVQ?n+VcPLRk3(TH7huHUhVBmGlz9pYnYBo
zITeL#(i_O<CZ=Ed@qWxn*86y5y@DHl&tqM7oYGSzMp(ZlOn)-v*qnl>gbsbrFdryG
z5fm4WwaG%IC{!wix_N12q&C>Z<F{J*d0rJE-nOL95-0R3H$8()ye?*)^P|$wb~w$h
z;6A8iBGKc+ipCU<;xGdM1Kn>47vIUIC&(xM4*Jebr2dYiOTaV@s7&@+t&%q1_NJus
zIAtj$d5jDI-ZOJyhcpqo*t9qe#9N4BVfPPmi7X~lairfQwBDAP;Y&W=9$oQDnTP>g
zqd+{VB6ly)ZP+dB{w`F46u|(3J`z!+{6tT~bsH5-BpQ3uT`QuQ(c6Cj((Su)JV8L3
zXny1N3MZEpfaMco|F&#lIv8`}qbRhui;tYixK#<C3IoJsaqZ=v-x8KSs@%EjQmn%$
z1%(HYeg78tW)n0Gerw$wE!HzH#)04m!sW*|X+zYOxjJm)^sNl<bH-bey8#LK4yDv>
zM}E^zAg{c>M%pasKuPa@%2EV+T>O9ppv>K0YJ7AhAlXt;Gy_a%IEY3)t-JzTOn`Iz
zr>YL}FRt_7oEfhX3;Ke+z6unN@h@8IC$~SOw!UEy0Q^X7bBGto3Ey2rEAdWc&3?Jm
zk~p$oc9IcsDjuXN@Jb?m?rZ=0lq*2Fi~qLZ5};Yk(5X#yUJ6=fS3TxB8|5zJiqkQN
z-y!%#>enw$#PeVG2}s)KX}=7`CnQCx4p^TC@O_X%oR`_Nz26>8V2C5QBYpynXolCX
zw#+-)L^^LYlSsADmIy*rkSRUeZxA}=HeDR=Ts{w%NlyM#Xg9O{*g6<BGw-(-Im_K7
ztkV>xKN@)qQ6U1dw>?%V`aTZnSw~vxY3a-S9W+WI=>i=qxi<_umr9*1>qs`5oi|&&
zN&uG{*+mcl<<mY@dk<!I6K^w-<VaKvqD6<4w!c0m=mts&*H=20{1d$v$14}R<d;@y
z2@&HU`Ahc`+8UU>-^bBK3$Dxp>^A>z+mxt-l63+&mc7o9BjAnUyBcTmNw4=aj~4ZA
zVWRLPU#-3svCc_Kvq-!>k}{Xyvb=RsnYJngjN<>liu%ue$kal0^QI@B(R)*Q2V(Fk
zm<&X04A<*z!c2z_JD_!v@F8Ugp%QV61IL2Vq5?H?eKGh=UdmXiyJh$7$^7FRS4s2)
zu$KtDh_;x>&R8+7h`+tG#4B*jPw|5JOG>OQ$~*Nt&0PyTO5qHJBG|q4rq8$A!=-E~
zDpYs(uCJy#u?GTuso(l0##tBv(AX!#@MAv9#|a|4{`SXmdf!~iKyKMaw4@fCgBJBm
z5>-+q+0-%}_(Px|dS{E8b*qUV7;f$$iQ$`b3Q{tYiV+Vkn|QJgLNKsY=MveIhEb?8
zD^X07$3>x$i9p+rgSS8Gr{ogTQWFMf`{^XzX@^+Y^yd=W5G``WBFW`L{eg0zjHFd0
zdE-C&OoY_xIZ@cr=Sz3Vf@}nI@&qXCa4k_I?&7vOF~eDduL;|U+ljmsk^YLCfWe*H
z8Y7I{+M8ETn=cwt%}aJL`{Bt$Fsk6vazq2MH_wjWlG&28gJH={ZQ@I@QeXE)upeHa
z;{dye^&n3-L<v856Dr1yD2+OLjp^-WUzv1Flvg1S<vqOOO%F8IE=K4xlHEv#Xcqb0
zI8rI>x=YFh>bMp_mZ<I&DB~^U&E_3NE`LkH^u-HEdv6oTdl4){!_tk+6bz8=a;zk}
z^Xw7dHi;dRj(>kCBLG=!T<OctUTw$#InemGWnF`BF0%m0XO=gF{<mn`sQ2FFBS~l|
zBmQ3bY*gFy(f-;lpLB|b=cNvzhgqenx(iKpbSu)>27@}t6sfzZYspjMBG>hN$Mypa
zhwi~A&RIMhlG9)N;TR)bL#S+5J`hg>r11>$58D-k_U{lVgK&vD-+kW*9-KvLSK`+e
zUaPt{lM^!YTrb+>j_{J_+EW6Df_9A6Z9bg$BBiwh9Sg5xe_{`RlViF*%Z4h}J%ez<
z?t|seOXb4)(#U^^5U7fraYc&6bvW<8FE?L(WtdP^GjMFKQR+K6MO4R^n{6D0*3nG}
z5!y8;h#SF1d0e^+y2~{T{W?`ZvtRr(oxHJ(<$i@LIFG&t0aZlO7&vZuUIiryVs8@g
zkc+)ttmgRj{UBn4@a!tK+qk7?mw!o=+685u2k|0`V_U(MOGs0QT3-DJZe5ghJm_B*
zGs&-KzX^OFrSe4Jei;m$M_TzACy%7L<GS_Zg#H<hUVB-@%Q`PHOw`Zf7VBh8dwv~X
zV`JML5O(yw1{{pD+8T=FQ@##O{IWMlue(C9H0@9#K3pvz93KVWvVPjrkVfbAyUBQ>
z-vc07wrt5aQPy?-bIm4n&$1xJrl}QOHiX^ecFi*}mD#iePd$}&tol@9vqY<#9%()k
z_-?Fui@Tw-q6jE`9u(?n&Z{xEz8laLjD7~OfuYCGgGR^q3<juw2;T}Q<Cob)Tec=V
zFPEAQfS245v5GyL?^Rc%3^fCKr*c&nqh?4--oyWWD$x-5rM)TS*AXh$=k^rKB~Mp6
zUQM?Gom)jM9bT7R3Nwxz!G=@m|E4NHmj`}u!Xm%D?MCqf9hs#k9q!u{VqA_w^K7oo
znYAgKvE=f$n&$yJ;0uAJtgdg_Tm}I(4ZJUvp8fWjZ|`GTvKu^IFPY}LGJn|5(*n5(
zm4BaE7KE2%;Iqy`N9|e|YQS{L<pv=t<z==XZ{ryI{Y3}B+md$xvXuY{iD1(kzjkFs
zVk)B0VT(8J=BDLT7l~e$nt9q2vBewtb;!}}p>vT58SimzQdAqzOEc4S=L%5gTr>w8
zpx#4Rq%cv|4MB6QU^+H!)MHw=5vIh06ZT`Y5+-5(Sbga?MuI^3Dzi;?Cd7$rS*Wvu
ztNRaL*%@pYS$o(og8c$rreTQy0`pG7oicA)Gh4GA64LB&3t@`!ma2`x!LPSdN#_NV
zH#MvD>dk>{e3L~Yd83-YZPVONr2N;a`j30lSr*k6RgMNI**D(?^%Krx{OCZVxNByy
znyV#8#Y=}bY3&yzN#0F$nx3-bzIomMpd@Pne+HTD^#FT3wat<8WpwZiv`v|>OIEiB
zCC%<;Wwnt71b!rR%MKfq(N)%Au0&aGm=Rw?4i`-(Z@hraI!(C@&5=B_vCDC4ekeG~
zN;L5@-IGF9&^e#oB{T)!ENSWT%vg2aeowx}Dj#5cQYl7QaKpE$Yl?*5vK4O%od^j^
z-y|uehc${0W*k{yviVc0tNKu4)4jA2UIeS=k>5tVnBwnTLpEI+Wq}2MZ+rMWm%w*u
z!{>Xp2gwoGfd#x-{xt9A<ICjx_3eFf!McZ4b7xe_MW2Qg$@@-{FV^#0`(eCRVK~sy
zIusNW^w~48>f_u2m3{8|+2amfTA%YJlY+lpVFwP{oL9D9={5i<yPoRu{#J77=8md<
zk5;Y1JAZHeb_Il0UEj}{GA-MWH45q<)IST1EpOgCu+MPS79=6k#b<JIBEa+y^ihDw
zm6nG2nLfux2==fshwYSO?znRO?0sUe0?EqpZXD<hpjCI=TGkBF0x21XYfJ=jHrfoz
zntA;mR#J<Fsy$vtQ&$IVY5Vfk?DkBl$;EOFNfQYRNJ}8`Vffq#TlXi%s`jD3dg!3K
z{FKZi&AP3RTDH+m;@iYLrfvZROKKGnCvCGF#6P|4DHEp~7DPg?Ar*`#)>NAQitT&U
zi{GRbL$x+d^lOv|E1(Gv^I1@ZlN|cK?~FgB+Fc=G{d(D)tPp><O^Hb!gt^h}o%*N%
z{xyLs*)`^}{_%!<@<!t7xjD)J`<ro^fu5eB%h}ChO2J%Og$aNG9my{lVGa<c5jI4F
z(H!LaDW7kk^M9b|db}CFP~=zZ=*1H9lCLkKqtNYD0xnji%>-erQMNP>dA8n$$-YW(
zH}P_|e~4^4GoJo0stF)~VwuK`Ab}mDrCLm|cvKLrx@)2M2;qXXi^CMLb6yzz=%)==
zm`&GpLf2TiN7pT!FYg>|Ip$h9F97qF=SvMne2}WH=6zeFs@QzPXUK->r5cT3YA+bd
zgDpn16IEZj!S*uUj!acjb?GYN&M?6N&?8lvXo|?V{qVDx(Z~(9X$i{~!;R-a`a{;>
z{b%!!h7qkR)T~wqbD$(`2Np`Gi5+Q2Az|T65ia|?WPTUGiRw#P5ySU^07h)>Pnu)7
z<wD=z_o+*_cgmMVFmt;xPiwRtNE9?3%)z+lrA+}&RTGb%!6Yng8tXHSqd4MynU!7%
z7%YoR?4wf0O5N1VEi9%gD=OAL{EcX=YM;40?8ANRRR5N3!R0`_0Xdh6qO{Vyt>7pK
zp&(RLZx*<V?`e*cw{sdJZe*_Tuoo6CXiO5os`dJB$78~n5p{aB)Y)a}1&WoflsFcA
z#ZRBq{R=C4LW0XvATp(Ua2o|p^ASHXRYy#ATm0zpAU+WT&yy-qDshi0yGj1ddfQF}
zorm<ft;#J57gqF!5KqI2AOkh<V>!u&%obWRW+VvSW>Fu}l>=YDXevfjO4Qw;R^_vN
zze@Q3xUs;-<V`ra&vtx$wHVevhXUF?PunGxlst&<k~}25%du68=lKprOy^={fxJV`
zJ+*;zxkyDbs1B6e2GF82jIX+sZ-viHZ6iYcOP$Fg8_?Z+f4j{ZTMD!ouXht)mxHdC
z?sH8e&w=&B`O9!+{~-mUQ2tafYW0%Dqq~a*6er#>h&~S+Wd-OHCDha1H8qrg{#e$p
zvb;|Um9Aj;+8g%L73uPC7b1;E2YZl+2uf2T_0qW_{3)})$gWat-N%??giVL<=T5da
z9RmjGKK|d(%^ck6rc+QF(B(xr4E}ob=cz22{~9H68y}YX(sy_)7qPYSmQbJ6u$|A<
z)YcUj-ko&v50y{ncC!t*dA8E|0I29cE-+krzE9N{|G@}2T7!xfbsj!fkE!^g9GwRj
zCaZzof#iS?K>2;jB}|Q2K?KW=;jn<O9PZbzp?)y>o)0b06DN_P!FO&c^)pEr0Ricu
zds0^yd1EDH6L81XS>I*h4>Ru@B8i~YhxaHOI}<`;W_a4K*j#Ku8&|svC!&k)Su_Nv
zO^UYQ3o0=%E!uuo&`|xyHLwccup|-euW9(F3sRU`nU<Ob?M0t+@T<?;w0Y2u1uuiO
z!=Dia|BFN_|2y~8GoY^xh&_Lt@kJIZB4$|jRTfLdcLf=DPEZRB=(o4+hyWN*;CKXd
zEBU<knsvCkXnwQc!H*``cdaRb)N^8~M_;T?0x5npmd8m@%P%BYAgmNdTsv<D5bisi
zP1k1aMxBc%5r7{5H*_{uhxs4f1(+?s5cQw;b)(u?ra2*KxoGwiQs6Ma{N$_d_E>iX
zL;Nr6cTqDuVZe+3L2O*eg{thJO<l}&g6qQa*vt_KClR##n=ID91!uEzu35WD<0eV!
zR_CtkEWu)>AM}04O((ENl`135w*oB>%*0z3`R&a|;2{bkpl8Y@Yl|X;Ex<M)E-#&<
z2q1h=rWDp+-Ow#-wg^~F#w{BZ{Te$$#7OrY!C*kq$!m&lHQs%$s7)wd_CLj=&Iraa
zvt=ogt-iW()F!+`v}E`B;lbS{YK)hA-q=Af!EB72ud7@jxisLXl>PNn{x@@yCIQcr
z9qJLR9b+ncyBEnH*r@a~cG2<`bq0b4tGl61w3GXmNx&*z7yP%kDUo3`N**yOgOMk{
zsrKJNak6mI)jo_dW}EnoT<rbt0^$N%>JdVJDvMAfiZ{n2RL<fi@<?;KfphK8aa@pW
zjGH?ekn$?a`ugUoBvCybzJhN#VI`QphS}R<sT|2Dv+>am6ZB7Pso4j^ecJvO(UjD!
z>`8Eba9|U@?*S-8)ll{YzFm3e`AMtr>UsX@$JT~ZZzH!OoMMM+i5}A(9dU|2uya_Y
zcsACS)m&#XoGb~b`@{$!`TwwxEC@X2Q^UZmwO~VuJ1Af~8!>$tUvTGBVtX3nT&Ams
z>zFdkd(4Z3ioboUFCfH3t*ircyVpMCmawGR@B&!Z=%acVt$FSlO$;3XoX#v2cX#{J
ziCjqOtJN8@NoHR92a+m})viSusP?en;h<$ZKHnjmY5TdCWZCBfd?Y8k*$?`_3}oQ&
zlbG3_tmhL?o}{ZY-0Grg5m%CoSF%9d76&EVbtxHquDd*l$K%_wvY7jX7Enr|Htm6{
zQj7jA@Oklb2XAWsP-+phhX9l%i*@s3L_KVBvE!(G)&2PJ7Up$i##no=t*OU0Ecfxq
z&H+F_St;>;w4}~&crLi7L&Rfo<o!7W?<YSk@FHnbFC<6$|ClSiwhamqe3`S*IsPC=
zeTSEThx+Z=P$Vu8_7D32HP_d#O7YVT`BMKyao3}co-MVO2lPCxh!FBQ72p%SOuD;B
z(;}^O#Vt{Zr6k|f;p`&e)&w~|LVi4My%2EV*Uzi$h(JCd=Vo5NFjtpuzaQ;LsmM^-
z|Hx{Z#@tzW-gcg-MQ+XzYLnME1E&7Ft-0@(?U!AbC$&8T6O%gMHFcafzm6Mp#EOqB
zG)M7KC%k;ME2d7LZbn0pLT!##O)p>=wwuDKMk$UpHHXZe5p=A~{)d(Tjm8V00P3CZ
z6go5b`I~ePPb{6%w6||%1tk<U+!6Lkmol?Kg`Q4+JDR&dzPoRBdXq3O&l{Ar#1ts`
zL1(mwlO*X$`&S5=_8eig(JIVEwakF8^`F|Tfy#4q27Ay}{udK;0OM}_7}NIhc8K*i
z9gUiyX|DPUOl>^fE1ZZM7rFS1Z$RG)dDk$<>N#YoaJG<gB6xsI(F;gMX~F-YcgVnM
zhqF22^@cuH%8yQug`9i;xGM-z5}T*kFUF?;RC_(8kCcFbv-bS&0<^BIU_76@T!?t6
zg7azUBl<PxS{{zO6yLpfnDq=Y>;wpbILVP+YQY~kKl2aEl%BJU12~xl$l2pger0<}
zOsjZhUPLxr1UG?$RKOu<pd=^<WTA9-;FC%h#`FmzH4WN}`+Mi~|J5B#DrnyhV;ZrE
z*e38ItNMkiWWs$S22SS_d6Rj+kqf#0NKfTkD{t<vIg!O`uD!NcxiUrfyg5o|&%pW=
z*M)t>@7>>0xkm0Phn*TLFJu2M*EZ?XHJ}{^L=_F;1%+IT*q2@U#{d2>4`ClWvQ7Mw
zvnvt4mjyaJ(N%v8MzL;Xug-i39a+=Rz5uMFKaK{$U7anj`Q?s+gC8~beyof^sEa1T
zzahQILT=KnFh)Ekd`##`b@F({YL(zRQ82M6sr#=F>ZL$$&k79Od608;cx*dMJFls6
zInzkG^*G1Ij>gvSaxb8Xwv4drb8|2@5ETMaK+?e-z`fHUQ?tO*LX_$fM7i`Bxv+xy
zhRMb#zAIaXfkO{j>mNK6b4|D~bjiUrNE~@1cZ&!>wXHbmbF;}O{Z6FHbr=_U={-Tk
zn|4NTg&hFU2OnSL3&~7)%7DWF$M01#S>t{Qa?OteGcf)iGq_1R@M+B$6ZU!gDseb%
z2p{I;pR^(A(K(8DM(j61s&Df(Yd*KJTffN*yh;5WGW+?Pd9S(yDC%e;p?K^nVc^K%
z7c=@XJlA;`fssL|3m#o1OCg~lPB}Lw-&09|DO2T;O@H@sJt~NJNs(~yF|o>>PI1fE
zXP^$2X~wv>trTX}vI8nvS?F?dbnidVP5)i%oaRL;0L1ysVx#=~7Dt$;2Z<iI&=1UP
z{-a~>DT0@5r-`u3<i`?o8La)_ZH*L{Og1#=L5;)HdZ1lZe(LE63+%cOK!_Kg$It;y
z68Hs%!$%SO{`@VyQ-t%HSrh3mbBr$e<#P=EE5A2=x$M-rF?xpQdSgTMi<kl%PDJ|o
zZig{J8VWZfMo4$I*ai4Q=?-&u=A$FF((OWN<udOO(-Qa-49g;Cz#sR&)<@6K=-L3D
zj&HdmAK+0y3uD5^f4HuM_<0<jNf4acd~K1OQ^xu4Xku6*(qG~|(G@m%ofq)@Yw)8~
z^<KeK^2WRvga0wYD4A70g(Auq63xLBkDj~n@D#sziQrvKn->*OEg`+AmZ$)*999=J
z)U4(YTbEjtI|0tzWkvzZh6c=Y9$G9J5voQDU~%kyTgjS#p?Spbz^_1WS;z*}1gSsy
z1Ay(5F<{I7Drq!C@CAinfay}WNb0M5XP%^YiSB;Vpl*WX7Rt4yoO9SGuwn0TWwN>(
zh$<O!{mr@WV1Dj38lc>!TN~-cs0kTi2GUzghn3$-$s3s;PUV?$b$4YfI(UlK&h3sv
zeBA{hB1Cy7&xW}0hjyR99@R4EuRlbVI<8J?70Ll_aT6rt+baN(Zv_7?eRF<M>~G40
z+zm*1j6}U4JC{$<Ur-mhc#sjs5d!E*!o?v-!xyO{SfN8;LObUZx;Q8)?*;~Nen}Sj
zf8>C`flvHCLXmizbeQeQm(B>a2oJ>7s32B@+jDPz0I>8Y_<W17K7F6=j}!O-8%RfV
zTL24WEeLN=srrz_91sqZdeWRoo>anSiC6FR%tg(FY0*SO6u%#w%+EgEZOfJreHqgB
zry0l-a@Gw1zIepgwIp?V5LG;+F?Ewnl{sJtv^PxXPx6b*h$x@vCHsKcD;1#lJ3G?%
zh7NY02(ac{*+*Rs?wjUXg%3$$z^HK0iI{qz>CzxaMKfs?D0^KhVljIA>LrCsO(b2)
zM$CX;nSlj#<9g#>w%0#K>>w7^ChF~TSbv`+;yfAh6PG8kSU~om+{<EVQv|y~H|-6i
z#F`|xgZpv5V$B_MH`C`>Ts#9my=!+q`j}j>!j4clhxju=B@W>9*VQGRC12*%SFed*
zr|`}FgI^c1KCf=0VT0H?3;`eiU+}xqdK|d4fw7I4C0r!)D-{=jD$@lBdmHeL#{Eeo
z{>?+i<p{RD2kvxeF84VRve<guPhHhCU|;hs*lM{m=+wh!ploQM(<#-)j@4=SvM)fz
z3u(6(27hcke$W5zS_}d(x_!%~2=z>X50!}ONsv6ls<^ifX^_?HI+LeFX0bRN4lW@f
zAuydh_=fiE9!oOyH-ks-n@D^a!JdIuBKDd(TYpxvbAmfsSF*Z@(}Fv)b1osq$@jG|
zv^~tvt`jU$*mTbjRav8cB<%ym4+^>S1PROcM@^8NY4AR!Mme*S*wwg7GDTz>xx8Z0
z5P!8F7#cyA_BvrJ8@-nACVBKQ*L!NOg5y1U7yv#;_e1>glj4NVkl8!GkdiH}QWbN%
zGwu$4LvyD?QdbWGe1`x<(ehJX&N4zh=6Uq1OyU~FE}uK__f(|eQs2N!UuuN88V}r-
z2r)F6z;p5a4QP&6bK1jOR{}d)>2)%IBxSFcl}(Njs(5dAN&OX0%0BsPo%gC4%Lagh
zn36Yjox;+Smw^u1<8?1eAcYM3lr`n<*)t+_mAY}uCKuBFE`YwEMl4Eve&CTVjlthE
z$@|*@+}?*mD*!j$@%R_`z(37I%?P(8N(2u8e-k6*zNY;Ds1Tb8h$drSkvE=_C<4wU
z&`=s<n^S3svMp+Fsf*P?O*GW91JTxbnOFoHp}r;6F}GWKIdF2@_uy)Cht)gT%CK|U
zC{~_@0>^DOZHRkA{s=JO|F3qgJRIt-{f{xqzC@NRg;GXRA=_9=6d@&#WwN!%PJ}^O
zBhf=yq6Wj0EZHWq(~J~JnL=Y3W=7J)$XK$6-}&;q&+}Z@@BLlZ@9+0|=g*mQ&i9=8
z-uLHx?)!7j{r)jNR$KK--!VM2b)W$P{xt~-Bp#boQEop*;IdP?>CDn<u4+{`F?;+b
zn`$u!Yzk<C|NZ{|`#(%ua?bzXYVzZ4*)P3!ofsuRuh&9ZKHUBMG4E`h2zQ^5`gSZD
z<XIty@Z|*AS-L#2%o7;`c-XsZe*<Sl?e;EQz6C^{d_a~LgbI8hB=*&0KC*IpjYUO_
znG_CHnCSM|@j`)h1=|8Vh@HC4Ejs)tF+z;)IYRrB7_yyZ>w*G&X*Af$_g6u|ibAg%
z$f-1YiH2m@9!i}Ar%8Uwerd}8BeN<hI}#|3u)hJcA%lHOG%mCSGg0*YdnUjWP6l7U
zDiCYQ+=bDd_M&SMCE@i6S7<zw7mIK1!t3Cbrh|kxW9Y;Fot<l`ox_BoSrm1MGrvR0
zf#CimfLSgmj?4>}xzFAW{FT@f1v1D{>O1jC+xYp>ZA^2ZH}vjKQJz&pH2S|XWqvLI
z{!uUFz#n3`_rimstmK#cUVNLf@D5D{LAPFNVw8MTYot7+Q}p7h!T;4#&KcOsLw3_Z
z)|WPgHam75$x|?_PlLx97isW9^(DIJGneEO0P~YN|0%!J%C7hn+drA#82wJfkxs;P
zG<MtNYdll2jozo31L|dEG&K>O9#$u=Fk|v-<?NTf^>i+EiMFRZ538MU5Gys$PS>+g
zNjV-67Wab+or@Vv+oFS#g;#a<RpT}kG8g)-xwOsS6_f>_ZMT34-?T$ed`F%hV(Gy2
zEqcxfD}Lk<(T+Gif>I9;hvR*h%xIgb5vxzo76#Zw&}VWzmws*2P5J8l6d`f$JmmQl
zx!sCxt?ZGcUV~x&I>9>4tdh10ed&o)jD5l$274BxAD|tlcAG=E!I&wKy$>Zcp8nod
zb|)IzC=?>&&p9?Xz@PX<&;N1#qUcnX&tG|C>QPM<D4TCWFh_qinbzvP1lWy(Cb$XQ
zn*med(R^7ISNJNX<A3S1p-X#pF`cz*2i03%04LB1=zcEzo6;NJt9rG&vLpkOAXa$0
zK8SY*_e3t8-=@O61(IPMhINMvcW8BpK2z?^-~HKAbZ7|uuzqZxqRYwAKX(G<3Ny&+
ztK@1W@YaA?UQKQLlM!+i=mvp%1^AMhE+{)PCRw~M9R!pB8ZlVQYjKl<+n{_Z06IL_
zOIk@OvwNIR1V+!~KZ2x2(ltQQ94OkG;YNXry%|(D1}xjE7eY;7QF_823cn622y7n8
z>oz-@r_cg6lo&t(x%3k|Vz$E1R4Dv}pj0)_^%dz7^aS-hg%5j$J$Bp#t_OJFqv@(l
z)Yj0d9se0aCmI(m!WUpQ94}#6Y!?snAq#!6aUYk!G2tK2tvchK9;cb38C?%k&^hf`
zNw!WUwkRXH-c=X_uCYB_bX~L!qKR+{povIGIfZuV@<DBl5yry|-~5Lcj=~d97X3Rw
zD=hjKpqUjdPgmumI1h5?fnZk7c2hK?*Gu(F_3v2vrU_2K{@9=TZyHY_viO?B`s?8z
z+=)}faw5gNs89BO*cqkTCR7h))cnmS6*G6vpg`jsvQq67ca)KAFW`4@P_GZ^EX^my
z3vTmk<UMviA8}eC6Cjmb=8(z_;8%Iy$cD$A&uuDOn<44?KSENgh)iGz2=gNMrTV}D
zXv)T4E^_b}8ysR@_-*1`<OF`}BD@g-t*q_Te7X3Uy`7z1@N~=e-8m%@mk+<)r)QVc
zj@_0wkBxJhBG)qlrq=Bo^$?=5mW#ZU=Kb(hYx)E0&;xsT7V1R$zt+6~NBX=lfXW@M
zIp+;A2vo8LUlf$%Rq?)ot?7c0*+02&cIEgU$>TqJ);w_yJbt2n+PQPRwid7jKHPXC
zdEcS{V8CQ{$)3Z(8~&Yhm>$8mke<?Q3{Fo2Dy(h@RvV~8KS96b%zXDzpAQA=XVa{Z
z*!#qD%n|GWXC$!77dCs8($o<CO!?ZT7oX|_6`|F8NM*$86jESfY-m_UTw`%9qTG~C
zck_X1&mrI`o@<}e+IhUz2?4F~X(D^%<(Tx9HbF&`=ePRUI{0<{e_}o*I_|ZzGX>05
z+gd1Pi}AU0ZYH1HpHN-|{>fz@_6b17v_-`Xiosz$K*i=`Dsh`tY!1VDl8JIc9v8@)
zDikrDr{cK4$E`X>2?owWT!D^6q#hoX7{Q4OjZ+=eN61J{H6y$5UEv$-OH$L#A%QR7
z1fZy{xpssc(g)WBPh}}kTxtOcmBRb@%Y}GKGQNAKjKi3Ojfn4(M65kohINAjO_03&
zbs2T5tF8?W)mE!86QYo!7L#Q)?c{bNUP?;k7I>@ZD<D{X!k;bfk|KDAG%@@2h3eF&
zqnu~D!XAe-Ny_`IS>#0Jkgl$UGnyTjLgYa-nuHS_j2jk>@AEsq|Gs|}@)R>B>g+wi
zf+|{YY*x7(d3U~^U)zEV>t5vNXJ88KUzW3u;f6vZ0W!5KnMW;buwm4vU-35VbWyZn
zX77I+y35ZPZ+W%2s|wTP?uI5{zc4_L!l6*-%^qegd#F+e+f?q@ws4D|Q!#Z7KQxV1
zY>0r!K{?T;eNyxQNA_%OQc2I)&sj_b7w4t5P`%`p?DX~3AO7C>$v9{f_CQlVK@a#C
z$i|r!FJb7}vi_;@R-zx0Ur9V0^we1jk9@nDqdSy6k7-x>xH2pvNn%un6U@nqedFS6
z!V{RttLA!@vg;%Pe&e2JO3TY8!pK|FOP&VfU%xq^s59|s!jtDSH>u(odJ%*<N0nbq
zM=1BUxxVCd(+Liv%ZwzW?i%I#UkD}fF4{3D%!RXam@?WzRbkV^&SSXF9)lL$%2;hj
zt-kFGFbk}K|Dpg*@j&ax#P-JGZDq8Pu8FHyQtRhl`25gqZO2DP+?Q3^I4Bhv*xNcq
zHn3nPSZDX>ux%@ug%@jpT9V1pKdGSQ0|rchw?%ZFmg&LW7IAo*L1cIaiWplSmmExM
zgwcF^4(I*e-l&KnvjQ_QdKw$o=Vw;EsXBd=ywH-}utQ4sEF==f(9Ig50rW!UY6ZFU
z3|14@=h5K{E@YPaW}hRA^PrF6zxt%3t+jr`ZEtdUt^QCSMD0V$hz6UZbGElj<lbE9
zG&~`0_-6K&5I%3AS?+*h|9VHY$c=18f<pi3u(%+zZ!Y9CffiCG9NvWhnUK+z0U#0F
zEUWEG<|sKwsYAn(IceiQ#b2f^l&+t#W)msjWo36VOvG<LU9tz^x=tN!cC{g{%-@um
z??J9DVnej>b;rQV-~S{C=d7MUH%{*{gwH8Z8nrK5bHAXl5ya)s%JL^O6@TV7e4X(r
z6=w$jVzthNSb43iuhopeYCAyUw^|~z7Ct4Nl`L|}Qp;>3pbf@bf#By2IqS3&$k>$k
zzr#E9xH0bElTO>%d95I2D&}>(r$Y3cQoRda(^zW5%d1JiWr7fsoX@%MZ9KT&;@WLB
zre10=Z>S=}a^tfnv}O$e8@N;aG$#xQgaxqdFsk2)&l?=!6oWLXYasPmq)<a+Lx@|z
zk?CUkFEwN}n*Ebq38qQ1)qO1~$1#W0M?XKv(qLY4cKHCZ{7LPmzWJuKg}u%tiuaFk
z<>;Bdo)6`W*7rFe!@}%C6F!hdNDNoadU7;KhD%rU_rbzqE5_EAnOp$|U8u@Sk40P#
zG4?uiF3Hn*bTL1ZCJNhi9K*;gj28;WU_GE+$-bT~1A)MHhbaCU>Fe!kM&>%~B_mTF
zX;lJyj;6*g@zVo|=<_n&m1XUe9d)LvOfeL0b$P9T<ap+^F({BHbHd>fM#@i;p3!l-
zwKdu*<)q@C*R_T(Ki9#=QKt2lV=g87gm=^L?M`Bvs&cE{9hhP{Lgf#}IX=y4dF$2B
z!=P1y!VXb9Frg1r*&~>Q1RD3G{oU2oJF+d9y%##DVwQXN*|jx1R3&|xDai9)b4>N4
z%+=#)zJrs2%!3ddv@WU9;{~fvUn??|L6xIwS|lbiU>pNBC*{)5-EIgwEoPI<mt{0y
zbsN(}_B~0Q3+bu1Tww*vc;3bx;n>6j3odk}xxzVNm5+UJ5?{v~((dC$a{UoZ`cRF@
zhIRX>baL8!qvEj~k|g@;t&MQ(dY40m;igeH2WobD!8eTfX7kpq<F_9SN#Hq{xM)WV
zkwtdX;<h(SVs571aV;O6N!s4~7ZN?nU{CY}M6jCA;|JyK^|AN&F9)WjslJlvJv*rX
zN6|wWR@($VJn?akYOw3Tx4HK)<uG>PiC@=<^Q|>3a!bt8J5w)u$hFKz?ca5&%uD)c
z!d&L{VZF-(-vVmg4rSgDo@nC+vaGcI_a#y!tJ=-R*FQ$^(YP0#A@S8*cx1-H@cUy{
z8O>D_n6|K;w<CcTWPiP+3mAeA?~k$crG~0Vy$*MyYpHkG1$g25uqNdz*>_2nZ)+SP
z<qb1i6)X-{{q())kX$Q~0MG`Ek}<dHeJsqu(+9i`jX3+9P;9k<Q=f-1M>|0a<R?^n
zaItPC+*7&VwM~)XwbK`G1-JX1sy4E5_4qP#ET(g%dE0&x!_)7;*doPip@BREIT=s&
zEDq_LU)~`lUH<Nu^mM$S+6l%H?k~B27@<Wc2xg}ZsNTLkPs5s=!49z@w^n$C%McX9
z8Z0AI*}tdU)OD%rI`qWo8B?{=k|qMzzd?E80~+_yJwfx})iYH;<$&o0m53^rBH!Jz
zS5{$ng#Xg@yBVWXI=pZccO!Xm*TFK{&46cTO@K$Qz7Cbm0oN>k``v%#ll5I`kK_Sx
z8E2h`UNs!#Qr@jg^`zH?GqitbhxJ!}V01-Z6m3!H^--5@b{l(bsq8-$|8zZDk8noQ
z>PJoRGBgcmk2N1uEebccK|c800GQG+@@b-{;_!l|c|$vemk{ER=t0JQt1hLv+VWWw
zJ{U9XFGKUy(eigXGhS0W4xZ^Mp41rEQyLfnwdxnxYW2_h)edsbJk@7zfa4&W#jc@(
zd=uS8gY2M;5L5#25H#T3@~c}F{D|Ek265PB9hM9I$R_`BAK)a1K2>{dRmQg6g;>|$
X!AOwMA0Vg0z{kYM;$-;==ji_d@>any

diff --git a/assets/img/6_radiation.png b/assets/img/6_radiation.png
deleted file mode 100644
index ce5d16f31e25f8d68ac2d73bdfca64edafc33625..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 28862
zcmc$GXIN9+w<m<IQbJRa8j7K-h%}KFS}2l`fOHiVLhm5bq9{#JAaoH7gp$yECkl#y
zN-xqyktRi?gK!U)_x<0QJKtuW`NH!g*=O&y)^GK_4iQF%+Kk7zj!{rhFzV{SkQ5Xk
zI0Xe|C_OFkO}i*FnSz3!LKmin^0Qt_r&|}+On4J~)!iHY*pXZjNm(v_KdR<y2m_lG
z9(3o1(fyhZ8>?He^(WA&WLnsXkm*RX!GdrF{zweisyyVQ>~(d!u340Vva9u+snt*G
zjm6>*DKauE-s44k<D&zU_1=qv6mo*ssUL@c&w;ea^rx_~^d}xi{rNz7^b6UZS|9iA
z^wE#MK8Ju$JqU@2vugS0^Er?ReDlw5zjk@|C`1rm{%M93{m-_%0@v~Vg0>due-68T
z3E1~e%i;l9BjgMPADuPLGZppL=#aBiXF?v>)oY$NwP74SS;OWguxdC}sF5|w;CF7d
zn9K~~&46k>_(+S?wwbS0Dp6iFn6e_zmyhQplNNW&X!k9rAX78smB^m!RoF2uKd+MU
zB&=~rmnqDW<C>Dzmop(<?|kYX+E@)W4N-4WFEi{@`l+}<R&yUZp4+1knGe`H=ldjX
zw+HMw`pq}P^@-wUBdA2hO?#@CoQvHcOMg}Bm+&QJt*C(LK!=>`KiOA%&-u!7g+?F)
zw|S2@h*%z+x$ZdCpehuE1RFOR^7(>4i&LduUiZkqr0nHyMqHwNrU+_k#KteSn71Z)
zuLp{`y?gp|V^T~+6KZVB;vHy)FQVTUd)pA89ntHIm1&VVlVO$b6?TlW_X$AGOP7;V
zRI+Z8GjVmBjkK%hr$kgalG3OSjUz9}ww*VyQ_l6r#5hP(G3DLOV3kVCA-(bYxT>LA
zg>xR5R$43~(+ES6o+rH58!xWbb|{JOmIs{}r`ZmCe=oYBAWHhX$ZpPNLf>nf-fF5Q
z`UcQ7s>{rNOqn*>ZB+G?5JOXDxkbpEFbZvuD=jYrRNcp=TRU6b@N8~>aSt8EEXCCm
zLhw3A&@wVDr#Sq6_$S+twuic3UC3b%;{0{$*N!*DNSiuu`ArRw-Cs`D-x`u1+@gdi
zMXoiKsjqPevzj5JV7e+S%d**DY}CDKj@NbFob;t&23gbZ+ws4aqpIWND9ZYwLg8;n
zGHA-QPklZ=<nyuyOJQ*Dq%OyN_S>o8Fr8Erxpi)F;x2CWVBvm;x0ARs1bm>={Zm_D
zI(Rbkhpqu`X<Dx#qA5SHa%}U`R7J@;L}7@oiE5vv#`=1h4QPVtGQ&0|ETVUa;wNh@
zW9IE+vdXvoG0Pl@lI&mEF_C&tQo|2U6%9zEBn`X?13kVtDI0n{1xS~jFYKdYQ-QAR
zCGa$l#<ul~Z$+}PcYpd1O1~3-__V>R8~NQEq_*qw5Q@P!Y7gNG9#<Cy7Sqh##zRM<
z#cR9}8+D4N-u3$1Y9weUI>g2Y_PwsI=s4oS&yaz!!YW68=7Fti^A1A;rWlsqt18zw
zY_$!9=9S6!uzRwIepo)Qe`FDKAu}M$R@^Fx8=^hL6#B`8Z2D^J`|Up2$C^RYT$_ZD
zs0UZh@8=WbO1BV_O#v>)0<w53jyH>;CksJ_srDRdB&lX8%X|i^yv0sd_v2HfPq&GA
zHxpD73T(ZdI-HGoKh|UEOq#l-^<#r(p3T1o3&O3=!o8PBbE(g7&t!<o>HR>RToR8T
z9H?D5xkfW%wGg(XQ9u1oW^VW5)N687h#mD$cChIeiK6>nYD;xh1AAI3-LBWn)SIPN
ze?EnjTe01)-(+>gJH|J8NGW_243R@qzYf3eaTlT%Y2%v!ZSQH~cxG@IBU$#ty;<uZ
zpH;K3xbl>h!~MO>yE${>9u+pp6<mkrDPeI5_ufr+y2qI_bjn<%ladpdzx#pMUzhIj
z)mr7|{J8}YC9#*Xtc2n)OPKJocyHcHo%($m9jm<sVPaA~eo`q6M=6=V==pP=6+<L>
z4%|2pfBGfNTOzi;sA#u`*OaP)HIrM3aLkDf-_o)|GH31sNfAk|j{{79FnoS;T{Avm
z`1zPVZb2>ACVTfbF@U>p=Z#2PpG%}eP4OaZev@q1f{aVV-RxVI6Ap5yo=n#!=Wx^g
zME2Bevn{+dZ$+0ckc_H)l!)yo*<-t7N{TA#nhFU084szABqhbox0^#)>*{e2ID^gj
zIPkA}47+G!D43|2idhIZlpHWtdfiqZMNvadBkj5SEyK7cd3+kX;LP!&j_Pl463Me)
zTd%}D-=H=4bcW45(bxE0*5f)~Nknsz^Tq?MAdA2cHWZg-vfH3_xL-V+WQY}E6@K)F
zGajbB6glqz6J>=gak4~&8#F7boc2MYRED<vV;v&2;+>Kb$1iT0Z47us<D*hT``K^z
zNUt8z&YdJuVYPonO+iwY<Q)OkRIfO8nRGKdnOxkC8nRC@v-lEx=8~8tt5I1wYkj4e
zh6<>zdtqejglc^TjJi_XDEk`XqHxV(xt4UI0u|bHR=(iW?S82{nih5a3kyX0$hSq8
zUf6TMek5Evg<&xNVQLy4Y!z5Z%rek)NG+E_e8jzYn;P^@NREx*-yMCtk0|xffgwU3
z<yfZUU>bpZr-zt-uuxZI4dFY1VAmYH*>`+K<3=yfhfl<?<(tK+=t+6=pJD?V1*!03
zo>5Sr7XuqJHG*PaS78~;BSmilUzLrna=K~8GBI{uE&bL~@^jjweE(p=>YS9(P}BJx
zw0Ad-#5P*o!u(uH(|lop+q?e)j=to;et7{&B9S2CyWm_t>fLIeCz#wSoj80L^GbNH
z_eO%^uDh=~f9ObdX12@H0UH7}qVFMtAkw8TxI(da{m#tiQI|nWNifl6R<0lc;<uL;
z>IYgIrq?Vz*rJ9$fH*EKBGb^5M3>U4xJ2JKjZS(k_#$ajPZZJnTK1EJ;x7lEK-q+O
z;&)gx+F4qY^=6d3K5>sQ9@G(d>Y&F6|GdTDAdNIFHTcQvzI-l5JJaX2H^4b&9v>|i
zncN;$IV$O5GJpR$mo1M~<rxdzcV#!cvm(~wr=@0!zQhjpRGS~_r#Y<)nt*$2xN}h~
zgwWse=VAA$Z?`Az=jT{PZ-Y*6ERsmD{JJzfA&69UtIZTdtBd(mE03lJN^>B{n)w61
zC{=Uv6P9%F*at^{W~R>TNcuw$XY%sm)juBlOlmy8uehXMOEL2?UH1OBR{N5*C7iDu
zQFK-<-Z=>Z_@*<#Q*-{#!lr$DQ-|unNuMjdnu|!~>)rc5<IZLHe(w)etRq^ZEX_%S
zex#9VaZy(9b)E!UPGimWm_e;*trZbKYm8OLz=G;-oknioCpG9jEl-t`V7lS0HfgaD
zj=iX8s4(cwZ4t>%OfBNB?kkv5Xx+%d9EpqPn2k7lL5{HYz+_KxmDJKR-S4;O#npFa
zOQ;I;6yT|!r;8W2J&X*;w;th-i3Rgd7xQWO``osf@wDHO{CeK|W%J^Q+*dE?SzYZb
zd3kpNYV$;{c?)XK`wtD6`M0Kbz*D+&5{fG8>fVgF4K$4Kh>1c*3SP|CuA7)n5_!e&
zMEbG`1M{EZXB~tV9q=f=y5zuOVG(o@T1f4Y(ej7Y4<Oy83y5AJyv>+HBo4}~{UP_3
ziviK${AtwVK)-Yw3&oANc{mWuzZE!thG>dC$qZhk>_6OC37&tO&9-!&B<-65#e9q8
z=H|h}BXOb^MDUrrYDB^8oL64{`Ov!T&xRF(PNS+h>(%NzRu~{oSQU)C%QRPytP>r<
zhuU!L7{{0=ne(Khy)C;)L90HMQprw8?V*}c;~(XT>FZbgQ6(#@Zyxn7SpvCUCZ8ga
zIcN5oq{*~vK?aa+(QlOX>milK`oDyvUVD?!v~mFv7ZjO1PZ>Yq0MUgfMhT2>cRI1(
zFZK5g^g0<lb1@Lzeytff?IIU_O%{ie$`r5V2G5uUn*FTfLi7&HcICSuB^q+ODzbC3
zxNjP!Cw8Gj5bZ^!nCi#YQdYYC83Rp3nXHBu;#J>yzo>-*L|bkGxuA988tcvP<%T2l
z3v*l%>X*}GCUjL!unR18#OiVRS_Rs^v<0ipD=(0Dg<1`8cft(fqgX-Sn`T3-ly(Cq
zcSX%__7%_j33V1+sPhWs3EWU0C`L%ui)LhX7G7<VP!h$W2kxPbye*fwC1o5V4AV~E
z46-(Lwj64L2Mu^+v)0xlp+3(Ha^?$WO*@Gr<3k&l3{2<GT5*5}#&U#Kq`=uX_VoKq
zNj$p<Hs<di?%1#qoQ%w${*&OBIMF9VCDSwupZxRHQ%1`FYm2bR@VGbMyNw#o^CF4n
z%!=`L=6##mJo%ZRuw4E6;mI@qmJOLwAYm5a0bhAe`Rn%GVsm~cr=pB;h|-JbH_N?u
z^}UxqFaBGl&_Ikp2&CEF^x7<V*S$yTZi*3B93I|dA%>zE{U}MZpS)mVkra#J<j6l&
z$~6&cI6wTAac(~e=}?eZFSuIEMdwCD+FeF!aG18CN3BHC%ufDWo*2^O)NzjnqR-Mg
z?kpW+D;cJfm)bXzIr}c)%s-1V&(h=II3Jn`ngHsWHfoF32WBhu0SxjW`BB|*<?q%c
z%%93C^ENeH7;Z=5OCyr59_%>9JvI92X|MAu(d7=ak^0+X5)=Q>IY$W+W+j|5V5RI8
zoe1W&4a>qlz-okKy%OD;1*L%r0|Nt<4_;1{2%P4#GBc~SVE*RF@o$|)OOMmS;rau4
zOJqxohZ*JIje1lnj6+s({T3rvzCBChLMX1i6_hI|D8S|1qmrp3{R4Y9El4=_VPQxg
z)+)q~N=#m%NE4a8lCWAR;=z%2#rWdFJ_4kV8*vlvya@VT43-4Y<6yX$6P@<1biB0t
z-k>o#Y9_v2>mDda21<723FV$CoX*K7KcaU{p-lF|pQnIx2rLBU5M!(~)yT`uQE&&5
zg3v*GnQyx<d}W25J}zluWR?A&LyY)AXPCxTzAHSEy|&fCrrj=zh2|UG64J7vYdU|i
zJC~|Mch`J7z-G#ijlk`4<DWXUE}Hy^YRKvBi<j5OcVnOBQR7jCMapnf&DbDN09}n@
zrj>igZ7!Gd_=_9EY|@Q0ZlayPD_}~&5<lu)RontTKz8Z^nR&tIly7<j(wKUD@()I;
zrvaO(yiUhP;8d;D`Kt`aRmre?nr;J}ImH0vFCY>WfGu&V${`#mQBnWMjRL5A%_+u#
z<wlade>Nq9Sk3{fy#D`fioF6RbW%M5Ei=vSS6>BbQ#NOW>}_DfsC=oUKoc}`1=SJn
zVHhs;gTK0}D#tQ+98rgqpWBSlxU+M)<oIeQ_-mc;>L)iNmyJcXkh2CCiX)J6&nC0}
zvVM*c+w>d!EbJ^ukz#9!T!_`CIvY)~z(EcoKPRVQc{JGJNfY$jlkQWgPy<h;VAsDk
zbcTNYAym`jM`5HH6I1K_t?Mi2zp@GtHx+nlR95AuDn;PqZXQqm3RG1L6bOO0oDxL}
z#d#eoF*TsDVZ6-i2XezlAPxEhQvN7DHU`pdhhM)rg&_xnx{5K)p07N{)3Hy|paZb?
zNvHq#r#UDnP#A7X9Yo=zEIFBX(=;|q2J1>SN_jF3>fOJn?DSU)WWjUdh{zrx=Z#<|
z#sVo0*4l*bMzgi8g@uKYm)G5fOCBdAB&adgHnsj^@X%A(E3AZj6nvl{(3qD#CgetZ
zAr0)&1mk7;;dAXd6B{NaZTIZ|_FwL(X1c;KXQuRCT<Wz7c``s=C?cQ6UK<zNS1z?+
zj)-$Gw4&TzzsPDvwc^)46QV?6LnHO<MTWHOAM<<4c!aZF7${Cm@h-(`85fjzVJk^P
zs?U&Y=eT|&BBD21!!RkllNp-<y2{M)fhHR75;pYGzC)IX4+<jxlp`~?G+qd=qW{bB
z26&DQVb1*ROx1?ty+gOY&by4O;;IAH(q|w-V(|PmN-;qrl4Lm4ilzp3J0zGQ$ik7l
zA<gRYN^8k!%7;9we%>%J$M(iSVN*@1=>(mh>x_kDQjpMtF$@GZCaqqWBj~u^_WrlD
z{2!~@gd@jFMT{3|Bv`?td|2&JTiqCDK8J{<m*gL>4$-gcN4(bC7v!7GC=hjGtL5iE
z-#xp!_B3gre?S{d&=5yt=TZ>ut*d`}4y*Ys84b%MTGse)H-|@gw6lLq^AfQc-!rI}
zN(}Dy?#dqyHdpzpeR`3=$-RNtt;eM=5}y_wAG-w8_4-)(YHh3|`HI*j1u?OW>dup@
zI4_|n`q$Yx>M6yTxwfqEIG?R07Kr=gGelENOvLLePZ+!l@!`QB7jU8ysnzF=#XGN^
zp^&sNUJ<yA+HBM>x6v7K#H7{Y{99JdI~DthW5@X69UQxDZvByX8HbLIS}oxVS+^Bq
zW5uaXQZ(~sl@!&hz13ySKW*)w7TRY*mc@349<+qou_981Ouy(y>=19uM)PYa)LC!w
zc~f{a+%drmrEo>9<&XW2r`H+4faiIcN5dk#)NkyrKV#WghR6HlMzDx}@~?g>!P9)8
ze=TSqKC>G}cQae~oUBz=wohepR(3Cgc^%4_Hz`p(A$MIuHMYT_FZMhgWi!PD<yhkd
zTCf7RsycK=Y3btQB||JrgdZk<B|jku0uQ4gMsSSMQAjT4&vUDQ%hEy*n^{hs6fMxh
z@e;@aZt48Sw%s4Gt`tRd0VNkWZwMAla3r4INO;qIu}+S<@X+zMLvZE?T8bbd4VZ9`
zYNa?YPq=KwU|21O_}SbaIbk9Zb&lzU4h}c8k?j`i@nVyij&70S6T*O6tuq9TL^dve
z#JXXgm5PSxBF=y%(|hEI^YUDhlll1z{zB)oiqO-0d2f+C_-v}!w)7vl(*%eUM6>?U
z8Ats#%2_lmUT31q!cF;)OUJ$g0>W)t)bud{I1!W0N*~*5Z*LA_W9a?p6HMF0g6Ebd
zk~7ntAZi`+k>D4_VLGw9&S#3!VYmuU{ZO5uyp?6Lt=Lw#$MeMROw?7(8RD@Px<4Y{
zKo?~7aTQL`yQQKx31b&D-}ke}BH4AR?USLRyT;KF(bUZ<a88C6E_-N8gGb6cm_KvB
zMCTd184{-ZP#;|^9;3JYri>x7M)a`#j|C})ghU{ZYl($G^EczyBB$e0DxTp&4nB8u
z9tzwDdls(kw5zXo`zp0H`T>+Ni#S&7fUjQ5K|R1&#>BmSa}L2O&`bHoq4dN{73%4e
zD`%(i3-f5akUD`UQcQ{{e7Vx@5uyB(yP+U_t3ZMzs-7)#*iYR4c|3F6GZ%F4v70oQ
z<gUbSv8we~aw34_WYt{tCqd!8t8XiWa>g>7L#1)#LSdm935?mIbpli5LAZUo#g0A=
zU!{bc!_a6RLC%{)p|{qrgRxf`H78S5gS&Jbfkb_cRa3Q`?h7V)KdbnbyF!HN?mnY!
zU>+t2Ac(A*pWMBk=6=~pzE~{ia`Ot3L&M4+_O{gF<)Xx&fHCqbexr`_!-*VdgX|*C
zckI|6RukC~l%`s%I+#`XK^tclzjs7$3rOK~n9DJQzvn|IG+UVpciby)X~|Mi^L|c1
zJjk`(Y|bCJiiW(rYqF;B9W;E~N9LFB#l{>d?EM#jIm25`ZfVrF^t1o$z7Sj0CoZS0
zhjHjQ-s_R*k%Gcn8o+cr;pf}5GBBe0U$U4G$S?4_>apRXv1aw3t{||A5220J+gtpf
z2?EW!hlN_Wo9ez6FkKqi&pmSHsW_JwgV5!Ib0$CQM?y&s8tqIjzhg%?<x$#k4k-ZB
zz4a+reBpH-Qa0o33ju5${1VPo5VVm6x0%@tpZjJkK=(PWb}0I-HWIz$@F5;A5ocrN
zuXM?&^hv9eyteM_kNguMsgOHcR8k7C4*V5ou<+8YzOvL*)@pR}MJYQIW!>8+a4YP3
ztoEWZtUW0)Etr?ee-oWMfS56~B@5Q(^oZWx6bRS(V{BRQk$Fy=5p7DMDN5PYK&h;v
zzOc?Io10G)S+Nl~QY0s7fR0b#c!A`TjC#$vcp0-8@Yo+HAukIF2L{{0E>y4O6A4U!
zHPuTbQa^QCdd!AxSHp!S#g*CaIllc7_iY%*EUaJgEZ@o*q6SGfziBM`KxYBf3D^DV
zK%_2yR;)6xan{D}w_AzQILhO`9f!chnDQ@Bmga9yN9PK$w+ULolAkM4KG&V0^y<2n
z?17_4Z<%}qX%<%~6^y`)P>1st3Cy37>3H*j>{SO9Fvko_{tQ1n>rJ6ftWVGD!h@C}
zdL>EspscvG?ECSqjMSnc0pg<j1Clk*HMxGJ8LD@vchzz0y@LYPhg{b9k!kDqDW~a3
z5b2Rxg1L(M6+}@qQ)~M0F$kQ?E}<ekG|!<byyK@h9GanPF<I#-A%)Gq^Aw_6>V}sx
zt$>Qi91j}}>zFJ}M2tmO*^<Silp|E<csu5Me9Im(Ee`aioGWz68mc4)SQ&^6u_h6H
zNJiQ8TJK6D#lrg=Gs{lo2)CWuLBb3Mnn?8%&%t=p79Va?YU82T9u)9i6OLtvrTp#2
zV;G{ugG6@QdTuwwsSMWl10s^62A<M?!=@)JlNp9V^{cap*RdvPYpE4!cx;rJAj{Sq
zZ+fipyh8BWzOSIb<EAe}zOxkj77{hvF#oNLk^GPYYi@!R&<1C@&%TVVYyOaG>=GX%
z4sL&}XAoJFXP>o}c+(iCw*|&_gT?w12^Fn5$EM?6ECwfmR9miyP24Rvazj#+Qu_vs
zD(Zh1nX01n5=wxZfGG$nCT~y*%)&Z(BLn6L1t*tlI0ad*G9lu1YP=>=-Xe!0kfK-S
z-2Yy8K{>Iv&%#00v5Xwo9-nP6B`G*!^32aGa=}~SddiVPRt!dvV)J)_J!>7lZDy5%
zV8YGxUaH?VPbp}03={}xK}k%gc6|=cPiYL-oTXt^X{_6Jvz4>Dyv?CYaLFEzioAD^
z`)`VuD$uQs&yFAU{*Y{bS;*&<=8SaX6(PPh*lnvU$z|e9IbTT-_qquD{j=W2zl8?w
zzA9ftoETz}dP_H~mH6sM6y?C_NKK~O<#u5|>M9rm$2i^fad3CnCx7qlRAs1lwQyeS
zZKf?uRqmZGX!UI4S+v~QOR*xF2^Abx*%7}hP5!}^oxO+R;^GhP<hZ;3&HA*i_t39L
zK=bc(g;Ag%n(%NB9OoLEM(_}|3bSNx8ne$E@jn;6RMspAkMePx{HJo_rQU_%rsL9L
zUUq*!>3((;D&%`y^BCGrcL!cNf6j#C_Oojb+F_zkJk2Bj=I5G%-6!$vzNPsWDv7#>
z0moLWkDn#CIlTM6c5P<&!>6fh+BnXom+>pb$HvMC;Y)li1XIQt2vIxxVvl-4HAgy1
z^Ly!CM+2AcOxJc>$IQg~U&i(|OqDM@PE3tNtPpctypBdAcwLD6h4*nI?K!(T9n#1R
z`*aUJ&lKEb_Jf;f3terD<>e3h%HdE3KJ?<CJMSw;q?b$3M8i&c5yigEwoY4jUd02Z
zEDkj!VRiHt*KnX%*fCOFP0UqHJ;Ro+f*a6{NRznf<h<yza|AQC7Sc_J_tJW+$NCZx
zgRE@i+;*KZ#p*Pk_VcSzy{oSsCe!4l-XP|=_)RX|`_g>L@a@SBpX<Z2r=EC$EyXEG
zrC;2OtQ+U=!0U!~f)pPZgcdO%ke?7>XP%_B*O6C<2M3!hgn(~CpmZ?Rz(M5fTr?}`
zZN8UP>+l642Jwr8*Ma~E>kr-XmY@||$HK}Mx=}O2=uXPHll49|m>rQzn$MnJki1{k
z3MM3H3HR>MPBD`Ov7|8J_xW_R(!(=pKq1%iG30yqlqM1X0PAg3GE%7i#aJ&`am#Rt
zo1d3l|JHqX;@43hj*ddL=_JuqRQN21N1<`Z=84K%S;kYjRl>sX$ecM%iMVVk@6UQ>
zv79{o1#hk9oz23L9J8}wtej$20{E3Xzn$}GAXV+4zr&6OA&8E{FY7kE7nLzPh}tXO
z5Ha)ny&g%4V$EzmEJP8sH)i?N)K_vmMdLR<_C&49irgRDsI-Nb<fM=`3UfnbpGRCw
zV$UoeeQZ1r_A2Eec;S|&@f<J2ovSOGP_0d&L<R31O73FnY3;k8Sxs3@A8HmR8muhz
zLnZeDujUZ3ZQTA@ubRJ=++))j5&S!%RHVPdj-hP*GOtHoXw<Syp#cOACM^t4+u2c$
zP!j#GD?Nm-U!_@QjVxG@nJ*MuAK;@OqO+zSllv0V&KX&E;4`B7v++pjGo$GH12YW!
zI3>JZ{GA1G9^0#0*7Hl<Hw<jfhUw~djDikn13d1l-8@ZewFXud(%R7<*q096s$ET|
z@1D_ko(%C_$VzhGC}#t`K&k{5<(W8*q(CA3_XSzAzU<jNlK!j=^MEP7(ZpS$g}$)y
zpQpGDmanX-|E{d&I{)I{Vu7lpvKXCMjCO`NkdFiv2gt|rM(b)CZn#!1e3u(&+BIyS
zg$Td8vHk3&`_rosAk3Nk)Ze8)30C-NaqC((s(o2;+bjdqj;JGIYOn5?nLBW__vX-k
zG_7G!5st0@RaYk-J8F)+s||%=#HYF_#Tr#P(oYW*afV}?qLfZlGxV@GT5cfGLK>2B
zr)Fd$p3VuAWVY8m2JQU6N4o7_dE0QOCI^mVFYR%^$dzF|7<VYIs=GUIPhSu|L@%Tn
zs%H?(H-i^Fs|S{<bXS09y$#1pLQDaG`--vkG^|i{VJlcTu@2gs9UxuFM{@zc^s_JV
zo^eFn@()&3L^coT>#qKpQ|u|mFx{DR#LCvt%J7m7e)@Y$O~(DYi1K^XKh6E{zq7{@
z`J>c|9K;Y22VoLR%FIcs_X&!2h|~(twm&`pBH_4~%X4Ci>66e1*gO;2?p5Xa@7B^T
zKP?PqxY<9|UUEAyqSoF4TAeTBu}M^})Vv(KgV9jNMLZH5IoBW~arhn%L`Xtpyn}wJ
zXuEl=G&p~Y5iG1}cT-4Wxxaw5)BSlW97hZ_KvdX-+NaPL(%T9(y3?gEAAVMy`oaw7
zHSJr=`zFasAn5!W_8=pVrZMg-Bt3=ZKgT7e^@{+Tokm@`vE4nTlc^PZN>V1!Gkn-S
z;%cpdL+s_(Nk8)FV~U~>&z?M*i@uWf5Gtx>73{?~5I*8<zvGw~-h1}Ggk&{3eoPRH
zJcvzXYn#W9k?uY0rR}|e)DwoAv!a9~M^LT0U$l2gnrkRYSr$PT$UXNIgZkxLrt>+L
z=l)l!&`A?Sp*yD<O)0OQnEi~|5vw}oz3q4H4k<3#5~f>g99R78jAZ2iu=Ruzq3oM5
z$o)q6KI%v49RWBb0g^PzJYb3Rs7<Vc#C~H%MADeHDW7jav~oU|_+56q<2zEkb2jRD
zA>4GQP1vyv1=>rJh56grK1k6Xg({s3xUlj)mWXyu+)WsU{d5{GYyIg{yQ~`#!}fCN
zI!UYz#u3QJw?w<(J%nM@p-w$zrT%tD46r&>w=R5}NiMdtt7=u=Ec?iuufG6FoJxwr
zI96dEN<1iCtS&#@B5Nd7mBNtvxlt|uawv&&{qZfxNyG@yVHVI9jjLbypa^~@0@GF6
zKTw_`*rT1!Z|Nu)5$Puh;c;H!oz8GA)26tzUz^YWs@+@l;5e^Ksd!0;0ct0n3nW_`
zSSHLLRbjj%)#2Ua<2wLDy2Ara-+#owaTjC!m@<59MCEj;&wf3e+xx^Voc=l|AaB9U
zRjfbn*f+Gt$)vX^qH29@KP&(i^2pO&E0$-eA^x)S3)5^pY7JrLn-ggLv1Q=Sgh@_w
z>Nyis&Bj14sl%8x=cv$Fr@%7OEtBFUxT;^)eV!P(_LiIai2pT!e*q59r|Yh<k5nGr
zKIJ@b+Ve(^@{l8O2vva?8dG8sa-JNDGjUP~k6VkV=rjz~wdmLE#_461?`eUBqm3;#
z2E42@=;M6)U-S4x24IGUC_izv_kEB_FU+y>h5HQJMP3;{HLS$m({DGR2q%6mqQVL5
z)hdbkX40pv)qB|pH;}xep$t*UmPO+Mkz(^xR>Ch$eZ{I)QNMs9@ONKwhiZ1o$5d@d
zmQH2kk9B~1iUW88l=AcMbgK!Jnp*TFq-E*6v=Q+Z!$K>+*q7x(&Jp=}m|t_4A*jD<
z-XI;QJerYP@`^GT{e~W}0Ot%t5OK<=cSy;gOAbS6kv!JtDhSp>FffyBw1%Gfz>lx^
zhBS0cF5<TPN0dQj^etmaVUz0b;$q&fGvj?SUbo=TDs$c4rm}JD3cZPkH}Khduwk!9
znQt|nM%1O_*!8#`3&M#nvvqJx>xK1;1~Vsbg*l|5+{%`V<mPLwH1pmFU$9hWH={Q0
zB$f`E=q=lo0s!GcR7YE1Q1g&%?JXvI!{e%?n{z<q?C+xR?<xsNC3q?ae+3n%-j_9c
z`Z$Q!D+6?q=Bdvfy(O-T`<G++18oYk$JbAv3fduM5_F>RSG>hFI;*(ik14$o*@Gv3
zX?0$O*ooaY6Q=0sir6A$b*j+Rn#WmkLIm~}wOa|VPKUDv%lA{Z4*}VAHxKoQ2oph|
zr>cp-B0ST>&1`RlZq62*Pr2BX+`#SYHt%<gXEM{itvOWZmCn7*5U6DDlQzv8oC+e7
zqel(F?lZqOp!|5W0U<fO!2W3>nqAl^?cx<pPF#qkRaFE>4r$ig`GzqY!DM_4mXG$6
z96NgQ+-Yo8ga&52y3kb=rd#7^7vp1-|5`Xz_p=gDO>ka!K`=?w{aUTuKm!LGVaLBR
zqBr3C=J>CES(?C+o-i&0S`q<8mlkW_P&dr$8*uNq96|Y2F=8s>YQEoY5MrQ}3ty8?
zC=H+}WR_hVHy&}i{7zxgSnSi}agV%5cYRWz?Iwy}j7Mv2NzZ9j1`|c#gxcCR+u!SI
zkJf$RvXfG9UL3uR&z9^VQe{)AUS&cjKCG__cTC%Qz1#J>t(;k2f5{QZ&<P9AJAG3-
z5ceBnUT+VcxL;wh6z+CuRO!y#&?bQpLvn7E1Tt|fFXR^oy#NOZ68&cW#(~_iLL7a2
zDETj_jSw&1<d}tS_tS!-aoV_wB^z{3FsBbo&UOX-csM^={MJxx){oE6PcNUj+Em;p
zy}>2<!@yxpZ~&INRfF7cS2-#WRBexNiKa_7Qw6w8fWH1LLOk1Z+&|%@5%}d6XlwB_
z0(m#|BxuiM-6WreV=18JaZm~zhhntYLei{$nvRrVy0I`b#6U-Rwa)04S@zxMpHmgx
zY<`U?+Or)Ymu7o4cD$;|N*GRDEr|cDaw=vje0YI<x7aYsUIGJ~M_qqnl!v&b+2+-{
zFv`sMP=0aux)_2euF~c$#-49(UOK<cfzC2vm*6D!Z$X@Ybx5!izdQir+p3MFV~E~F
zPfgm2DEO=&#%%W0^#Z?;{DZxImiAL3Mrj|tfk010EN-*N4rE8tWgd9SOPKVe`$=f?
z@JVB#R*I;1gD<KTtu^g>Uq_B*d4;#VKrvGnWs!={A9aExI6%&9VZCGri^(DuVU8E5
z85h|B3uHfZ5YcNWr^)DbtHt^gSGw;;llvP9EYw-vvCF*e?g<}xLQJ#^bHF87d=csa
z`+Qz<TNt-A&kg)c$3QX#UyMrrSEwlRN0D1=SmMRQL@3{gxJFOcPs*7SjnwjjLIc{<
zIbB}kDil{K*>{X#Ms~YsJ$fjzhIQ@3qxWZDt;aGj&k5m$*5omkuk=5&3Jj(Axwjj3
zCPQ98Qq2boE=e9P$n2zkcpHDE3+UmG2u*)KvOwuy7We|NKyT|;QRG|lDSK5RhV`aV
zVZ~z8tC6d(p4g%cKVbV3EfSvszW0<fI2I8zSd&AA1m=1SS~X;IVWAZdRzH3EfdCV(
zF*N$K6tK1hpWK}*8CRlOVcu4O1Qh8!y|U*cZ>`lM6>C0j3|0l7s-!bbq?1id*SO#G
zwoMPKV(8wg3loh|3-$N2R5`J=bL(Md{*|P+cQ<6fSu5xOqqdp3Jf8WSyd1aw4d2vH
z`t_QZEt+zH0IC;r<P0xvj|^6$@E1Fn6v=3%+DB2R#7=5!r_6aauIEUdmlQy-TKm_M
z=yOL($^KJm8miWXWo*ld<e^t<gGsOSY^3+fwO}|Qk!5Z+cSOJD(lR-Wa_JI#PYO)O
z>!%vI&gdy}>j3Ij%`d)ubBtzNRla*;7HcHRr+fIk9~lvM%YltNDyCPx`%O(Ca?@)n
zPxb9*?0ZNm<e8Y}i(a-Q`kw=K=3ht^3U59G>T|vQm;azO1uQE9db|9694n#l)nGtl
zgRL>O@K>LC8DZbW<df<7xzsDe)2Hv62i+Syh0oTB5X%t1?~&1sczp%EZcM#2U>uH=
z9l;wf9kSngODDUj5_V`)ghX3aCc~~&2yIPDf(Z*ux;znC!d8-5%IC(UwdyLo@(Ajc
zd~`SOj;nsyFl#Urf+yGf%H%ok17f@(05_<?jP9mFCEre`c;blWc~v;;Ides1UtE&T
zhaG|4(o6eR!l+o)MzCN1DZG#eo8V>hJAKH>Tx|L)<cM!B3t^!wX<tg~0MD$o_M&jV
z^zF<^b*qAVkKPUlITEyRr~<DQetE4{!vgLowszxp7DOq}V~aKV1!D@IwiHzruK%{<
zhevjNEgUHV|M4(TR}kL9FP5v-d2^I@Iy+p)^0^X)pBX{p@uPstUrtAlZipaD?P|1Y
zwak}M7aED#Bm;B*G%Xy^Xun?@{-&IAh9Fw^Bh5(l$4TRcTh_37{{%|{LW3)2@cmG2
z;8EV{{{-l$ryf5sSjcz!vIk6*vFlBv`C}-$ZIe$R11cqr!5Gwcz+gB}_O!Q8bh<I*
zWm^cm&cr(vRjjM0*KymQ+3nV~HAgrOcdCd!0e^8I=exaS-$+AvT#R=_wgI(gO}^7Z
zAO5;Of(8!b`X&PB81rXE#J$;jn2yb$L#eCoz#}ElNr_%oV+^_3Ga4c+!oui7cB3!4
zZExmA>Opq2erZ5|^h?ehZtVe#T=6dVUh8yh-{oLynC@pFqZH%G6xR5ag{z(i(p5sr
zD;TCWBF=|eOkHRiU#H{HA&LZ5`jj<t8>I_M#-^W1EXRcx?5Yr**Aq%Sjp~O{RJv;w
zwl4i<t{L>BbDw>JXTG(zeiH$v)1-`@@v~vvdC5~&ZHu$IxC)JBfsi)^Fh5yMyM$c!
zsKCL~<-h&nEp0L&J|r7qMg%^BFA{Q=bsjiWyQXfO&Ns6?)=;Lj*!;?us7LVEgvdd3
zAZSHen1O6e5YItjy0f`;ly~a1$MdEbJ#X+hkUQ&sGWRE4N}oB4#JB#yWMiJgbiWvH
z8M85<QMyW$-l{*CLgKoANA%-rN9X#m5nhEOQ%|4W>~)cyVam@zIb|@^PqLqnG*B9>
z*yrrR_RT^}6-8h`UWba(^?uTiTGWvR{sxP7^esyX+q7{;Ajgz*yR>6-5%m*Zg=_J+
ztt|hmLrjP>f!5=xDomj|xQf<1!W)OQi$!(y6E{&(9cWFLSi{(k;fm1wnNCc$%QL2f
zU-?P*DWF2RNN<1>t4Vm8g}d{{ywQt0Ow7iS!KFst4jmGgTiKek$nMQG;KJ2JN;`{k
z3=xz<-mk#hh}|&aiHhMxoYxP`aXg6ge~`EvvC7~m=}F91!+dtsb&djVf-`Rc^=fZ{
zExw-*kNYYRwM3BFH9R)^K7Z=AllcV{jVqX-Xg4fra(r_9C|fe304Dq~T63%jBu;~d
zt+IS>ifh54R%>+7+o1u%YQC9r?e*PuLAWg7;o=<PYU8q+`954Vwi1pN=4r$81pK*x
zI7f5D)XDi{2;>L7%UAVM4M{(;9~dWu7UbkTSkv^HNINF-CjFWP{~drRnB*2xGB>M*
z)pEmR_nXnwmgMB*^sjEG9`?xKPV1e8o6^KEhs7Ucua!N6;k-^26#>^mCeG={bL??(
z38eN;faojb;ns>j3@RgV#p|6$8W@RBR;?6)SAS(G^GBL)mgj|MkN5H3fA9fnjA+4t
z31JVH=Fg%&$dVq$2*N9`uW25&uz*mfb|kaMCW?qS6S2XQf@-B}-?PJeE!3&Sc$0~a
zw#^aH6evL<_TKNA0o9$O-9P3XhvgH^c<^3^dG%TTmlVICgGs6{jzJcj%1htFMBhh@
zbslYgox0;l`QK}G>flfc<~zFZX%l=gu#5sNyA*mRE%(-uNS1H^P7P-Suj6rdvTh5)
z;k(fTPta)d9r(#G``)M!Q_4Mh;_tq#s&;_Wpoxh|&QhM9#z^De*(nK@BM?@TfJ*3L
z&E;ISCGXybR59H{=FBW5lqu$x=l@KU*Xp9T`VDnpkaARnJ-xqulSnusN%}8IJeo)3
zy8+~XpjbXO#w4#q#;1GQ&`$6fddeZ-KTdA_p8o;HEskifDPjX=O&nhd6cf|3b8HR0
z@Oxq`U33-<hrt4w!D&#!PSjsHY6BH6T*h)JA}-R1=uw@D*Ro;cc-D1XX)=aEI}zsL
zwNyfF_dk#VOr}>CN)%fiui+<WMozd=RWTk8#fpf5-M$JXKYN${zlpO5OhA|~a93wM
zoT>h_lF%QhFqKBO$yK|BzsM-?_d>(!7oQ%Ts<_^Zd_A2o(K9&CTfb3x2sBl2cUag6
z$6Nr#GyG!xTW^f692w803y2GV7`Xq6!SL5&DK=pMj4pTSBYg}3&#@mZ{rdlQ>4GpY
zP-XdJ-8|BD_*}Br_!Oay2dx()4dBCn=IDH*)FVZ{8*^`i729M`(Ri^e!P=a9cXPk0
zaHZAefpNoJ+^4<fTbotl6m(RkH0zG*bh2;0YfX)lMZMol-;eh;T9Xab%3O-b?HV@s
z73{tQ3cMFII#?}**tMH_PL?A303!+{I@?A5k>kK6{|em|>Hz5;un%a$Na4$-4Ytc5
z*4uZgg-nONH&hGE5Aomv3^Ks>_onA%ss_jDE232=pHEh8q-)_|ktW!%clN{8R9z>&
z<QonZhS*Vd@zm8YArwy!v-wf4<|xVmBhwG!isxlO&Q~u7z8S1LgRKJ3js6&|YWf`B
zdkL8N*^|9ECyo^iIiB;jmfKBgby3yNnqrJESqoQmVjuE0@p06`;~`i+6TB&>i@rkn
z`}%2%MHlK3txVUhl}8VT0%YiN9@q{}`r)1-VDskWCt8*T+?nN6FLpRq)7;(<k`qGG
zK%-RkF?08<roxQbYY{aoE7(3qRzhIN=T{lB-q;HWVic};Q5+PQX20iPx7hfMetl_Y
z+->mr8INloB`u<Y541l+;B8b_LAc=c3sVCE%=sU#;hNW}uOB{bTNhIey_0B?1Pv5;
zTCN1LIo2Z{TN|M}E&?x4el@fSK7uf?qSV{k`Upa)NT}6$A+6@)+qMS2yL3~mWWHA$
zNwmE50TkQKsTZbidx!THVm(7#sUo#7wMMb$W+axB=YxRh6!Vs(Ev8@kAXCC&?eJ%_
zXit16NSY}&?MI6yL{yx-9Fq76hI-Dr7L80V1z=Fbf#rp8V58~UwP%+EfwvDxj&u)R
z-e{pRGc!v`eEVF{XG;c@uAS-1<~+-Ihvu;=4Yo<SnE)nKhUkQ?#TU`;pWYVAbpAQ8
zX+0Ihc-fZ=fvi}_#U{VrKRct15&Zxr(30y(V3s4<IeQD1=pTtrG8&q1(rZAmbm!iM
zl9O(|r|9~6hfP`2UAYjE**eoC-I?z`yZY@j=NBqJo@-c7wCC_$WIWp8p6xa9k>f|K
zCBkr0H2b1{A8j>Wtq+0Rd)wf<CLBwCRmMwoT7pM()Cst48v(6s63{dp3X~9vZ|kKL
zfj1`e7Tl7e-o4cG_0@Zi$Epm!=!t-e=4x})pkpnRI#Gd2ocPPkHK#Le4InAKAFA2d
z((kY%{7<-1P3<JyL%p69Wf78Y6u!UgqQwvCu8tT?lmm5!9_f5sc-+3uZ4j@@s~68t
zHAUUhOwt$URA`q5-d1`~saf2=NrP&-UXucq?2C7?;*3<C6d8GVe<|$@FrM;9D%P>A
zm6i39Rnm0G>@tcB3a@C7&<b`F5^|HC4`Bx4C>jIHAMbXlUkSBOymB&@OB-iRXOD4n
z@{B=#&F!5|{G|YTcB<n2j=!X&h5HgP#56-$v1l+*ca_8~=&|PpEn;n~q)sfK4@zRV
zYZUz@6)JnbEB#)`5jnic{bHN+M-WFr;MEkU44wMXD>7NZ`KwtUd`1-{;u}lKoGxYM
z`A7j1lXRwfR=|DXr5>p#GX)XgIh(srG+79RAy*&Xmfjhg#oC7WqKGa}erRe2@Nyqh
zbNDE+c@k4s!%lYzA@-V;S34gFzzGhgpLEje0}9r)0tt_UsIO3==rA=v?G@|=U3P6r
zN@5P1Uf6XHTxP@T_eow36W7Omr6_al!5kgzGjff$0enjR&(r*-D2%~yq>aJY^Vb3i
z-9MeK2kQ0+iC)KFj5;0Y%m=s?*r@gyi`f~?qX+Qe$o0%lN}|nr_W2$>;(1PZABke=
z%AQq35pds&M_<l~V*#G9VBO@60^0*<J)hKMBM=*lXvT!u1N)gSIv<)EgW>7*IZJzX
zF-n)R^FMiR${{);a&Ais9%*Y*&!fTo=06H189f95A1zv_qes8)f>(BnULec5Jn&wu
zeDV4{y#zaULb=&)saAk)>H&{o4}*|JMJ(Ufnj7sGfJ@=3m^Kp-s4>l+*)rY^Z&lrt
z<mte0W%0a|dZup|;DCd+fMcKJ3rn3mT4aDr?8M$HGFW*I%#!c(y5ezs#(I`g)c$fk
zK;@T2wPl$Gob?dscKhw|Pd)mi6VFT$MmO1iUSt;3>@r1?19_c@eD#U$>Qm3asZZqb
zSG69Bf`;`=BA3_*82X*PCc*Cdh(TEXic~XdcWZe^@-Z~OsrO9Ccvu5`wsF2Z_mS9y
z;w}t!mN2h6I)qY;vG~#aXXNzC*-#H!+ZAU#?k4BfJlk(-cfU;N6+5mxpL`YG>lrc|
zvs$Kuivd07Z8BA$Oy4o7w&IZI9cJ9teMk{42rs7Cq}rsO;Eu7}xmA+_K^`hCzY&3Z
z8%!_mMyjren6nX@>UNO}<Mp%E=YU>GsWbnDVwxh*WpFr5SMLTfH``~@jU8^K-N3ji
zJhdbM$sW;ni1&#NX9*;EJm|yjQ9Yr$*cAI7mS3bBU}XcI8;6a`;440nWo<e?jRI(S
zhtyfzpkD{L1_mapkeIy}*zRw~pwduQVac#S;q7;9A#8T*85Zc>wxzmqr|Ll2Rln=g
zjlhcq6_L^_JVzYwY2z%JZbW1(04UIag=^7|p^X;WIh1l#FvAJHxY`W5G3D*aW=eNa
ziPyr$;k^o<@)DG&_<UiaG(KDBLBE7A+P*|rbS5FxVl>@<YoAjK7em8Dym5;s{9gJa
zrO7+OaEP{|`phWVC!T5A8<ziwCQ!Hdh#5yb?#qe@T(_ihBHy>m^#)9LwjPu3+$Neh
z824=LVQPh0crQVH9sb$>q8qZ|``@A1RaGEQy<^tvh!5N2!hR6=LxZ*fF7CQxqwz27
z;!YG;3NJYsQ){>0T8td16v~~c?y_4A1$H!7y`{5d8kifgxDo@sT@s@yA^RKpxc!eX
zQHH8Pr42x!Poe1O0EVdyN*?Hr?Nsq;<xD9=ow%FUa76Acw*=1QVSQYVz?YT1nBO=H
zB>`#c{lX2y#(P1>h2Z92kwWudjjNVP=Vmk+FXMrsEQR~hVR?hV*zDq1*WdgAFg;lW
z+{2fRAT(^g(*H|MvQu@nnI)^EWp*pEKhF5Io<r1KE}`A#$XpmT2km<e&s3dsgOA@!
zfevVP3~g{=Ck!e85f-`Nanu%zzvK@DBL&RakMy0hBJiun66(FhB}<j%zi7-KiXqLM
zJ7UdwW}`*mg(|sCYHfdEDE$|Pm#}%6kPeE+j!!6pCdh)11mV>*ADGs>E_YCpJ5KG0
zdFA8d1=AvsRHPb5X_h}Q4*mPQ8cg?%vcj{%O-0qPp%3-*Z{v<q<S+Nqpu!rnG0JM0
zzHEgN$T&OT^UFd1+#~A;CdnUu!K82HJh1OdyZ-&8tc3i>RGAcLC2b*%G{YZsE)V^S
z&SNMK6SsL^hk+-~VdBnaC-7=`+dJjmhkwAJ`wuXH!K~w}xu+$Z@E57BHTBcuLjNq<
zlKB@g2z+E?v(t!6Rd>vlDoF0lwAkgH0@3z~LZ!}{GxGR~b8~^8WBC6ln#{k7c0WAs
z@!rueIEKudBJN(jeEB=A2;B3*h};77FWCeCN%r_jzpEu>4jh4Y_g|y8<_^ub!b8s_
zLxn@WN;Lxh^Ot0Rg62OY1Gs^qiZXyt&`jrJRm_pQKGGSre{=>AOY>EQ|K?Y3^bK$S
zodpn9D2YI_Iu-gZjQ_AWg+Nv=of#}CBRcSnt{RPTRqNKb0^JO`tp(;k^gbK?PkJj|
zrtXdbBY3>fJzguVKLpmN{zD+3>x$Y-?d04RcVRIaw^Jpy2I4Cm9Sr>q`>sh=AS2do
zN%bA9OpaHR?5h3sJ)`sc?5et7+0r6<FNW?1PX1NDwSUxS<^EBgy~E*n<%FMj_niyX
zam_Zz$Hd3BR6?@O`r(+`mCKPsm_@fG9txger7A#24xa7O@@W4dt?fTZgTRL<qzbNi
zo}DTOF0;cxiuQ7GJmdac2!Fm3y>S1=3;o`TvQLF#fud@VPkZvZ*<Wfp{*#)x6Zz2I
zWuUxZyMKEW{`EjwRW_CPxTOkv70^W}Vz6Wp3%1EeZm-diy@7vBFbUWeaF_Fcq)7<g
zldMe%;Wz(~ntB*NM`=na#g@2-+Ogmup9KpKc=TSFI(lh(`7Ueb7!-UN&CK^vAIDnw
z#ijAD-MId%9l!{-^M+|(Z!+YHbG0H2<2toLb|<HHgv3xYQEpNVra>#6#X4<Feg|9O
z+OmHX!4ZG4Hy4tEtk7$PR@qT$hmPM316Chg-lYXb*MCJWp{tkv(?0B|%twf$hSWh8
zThkrh-Vk^!OChL>xXyt=qULErif(v&doNu-XJq!^{YXbg2mcMH<(t(0*gtzU|F^x$
zx#TtqjtI^u`L=msDx`zVuBpiW^sy~BB6Z+a(*(T}><^ra|1v8A7YuZeo025AhpZ*s
zyeC=`ysbYO?PU1X<)^|1qvBsb`~)zL`_55@K+#%m$D|7cNwimOu!`3)LAXlF%Vc8e
z&(Eieo+J%MK*yQnkIOR;7kMzF!KUwXfuII>4b@4j$Etj1fygb?eB?x&*%6UxIa~~n
zH|NHg(*fOt_%@C+_^A&6p8MJj%1iMwo;pL`2w8bJ0vD5WD~&*A*?maA_xKOzu1C87
zts7>i;G{CZwYttW{}e+l1<9<ghJ1MWDV$9+0XDr!!T#F(_+{TX9-zMXs3++%54_z2
zm%*5ZYfOGiyYqf$qr>^h*qVo6DG>XQd0jlp)HwKGP~*Lr+;*O_p~fR8ueF~CF@a)e
zV4>^PscW&gB$OmwW?r06jdB)5yE6VcGQVGWjZ*~fobtgVi3Zzyc4SQ6V)7!aUj0O0
zMVd|V*g=wowTqC)lVWN-?o1Z@-6Tdm$Jv;<g2)Lu$|f31ly=SE+WM_>Y(flS!=U^r
z&|G$DY4q5$ak+c9VoXSQYg-@ZVWD#)Pw>gulp<V`!ZB9wf$DNZf!Fl{*VKnVL(I)F
z9m-SJmFw}?X|>_A?+1Zg@4(}45e`(j4?8X*%%S^Dcj;Kpx$DRv0p3@>-6J<C9+tbG
zX;_z^X}{xIyVT<oN)V;6>Z?u~$Tz^H*46GwD}idymi2xwYr=3|IIrL097W%$=BO^3
z{?aHVgz*!P^8OAd>w(Ysl<;Eli)I5{@3#xXpK!6y-U4p#D$rliiw=p<NWE*o4bWC^
zI)CsiZTL%K(&!c7tg0pvc&##d?J=2^|LHx5I1lS$+8qJ5mWyLm;dHk@lw#84FAgYf
z{TMu2Xdt<Kpar}faU>n4*uT;dfjc@Z8D%_LzCP~16z&?B-vh&>3hy_9=LA3^Oc*UW
zcb%5PC2PW-=W@7?%iY?g_<I4hGmMKsYBWkE(M2yo2_iIK^U!b#>|>DyxGUTO6JjJ~
zQ=v28J@w9m^d24&ukbJNN{~1J#=S4R03<Qc+NoPE8PyHKu*~(7dM<AZUAgcgk1#a~
z_=;Jh)1eo+Kl>asu?X|r*|WcXZ>p0lN}hF8^`%m^Yso*{A*YZd$TlJy-aG`Zx4UuH
zg4d^?-U(t0yErzojIL9e4eFWwC8jn&Zz8~iQQG_Eva4rQgGu9*+wZ8U#@V+sR)1a%
zA%z7u^Y{&CKX5m|dDJ(~NS^t{&}ZjA47~>nYvb;0JlmqIr?^UM&G3!#8JAAn+uj-<
z){>K}PE#~wju2@OFuw+RCR3CZ(OV$0wh^d7ZWVYx4al#ia-8H9{DBADE-76d=<!6l
zx}g_v`_xkOvDxBiys8RC5tTh=sowVSI^&cG`F)6Ii>x&5bJ}lo1wfIqG?6%Tk{TXd
z`laf@hJi+Z>p4a_Z5-f)UVAPxKVxb*<9D54`<Qc{zoqXDJxXO`Qub~4?P3~Us<GqS
zPa}FIa#ky~uCpECH~|Rfk;P~ud~0?L91B?L=-I7pk4|w(e1+Vq|CIc7gWGP}pfLT2
z6Utye4maM_(C#f;@(`8>TbiKKxSlw=B<cE*1^V-K+!@!!v`2XnH@IA4pb9{#IBTDx
z-+5b`<|g}|*vcIJ)VZlu22cjo<?6LYop_zz;<Jpv-3uq%&d3$W5kTJm0u&SeTaS+b
z0{YZC;U-u+G;OYZ93Bqu9hA))@gb*aU_#<GZdMnumHP9#l^&GW)z$f&JM~|EeR(|8
zUHiW+5)x7=6tXADmc23}p@b;eQrR-rtl6sDQW3Ib&%R{MGA5dtqO!zf*UT^!h8SY(
zGx(j))O|nC_xV1*uRnTuY39uNoO7M``?}uOb*_o_bcdwipzHS(5iQoE-lA7FpNgyg
z98~2pg^XX&)Ej&x_M7C1rgxlYUiF&ZCVh>68S>>&1a6>c^P)eCHh&_TDB!B#B5=7g
zP%Hy9_j%a{v?WF`x7QhG3dRThs(QE7{9(rt&4kr<EfirXa>d5i{0>0(aMAM}mQToq
znC)@J5LH4Y_XEiZv5~x`J4tIm(gDYD1i!TT@a&9y3c;@$<r1BKsAzmDIuU$CKsPzO
z_Wb#Vl-^rZrD{G;r?DSmEZWEBlBmZ#7dqBNjqP@shc6xeEp#1@Fy8(0OhMqI7~R8g
z_cfW393Op{cW0-24&g_qoQD-rPd~|bXCdm2q6O}nd%-Ltk)uAjlGi)-<WawmTYJuk
z#J}Qrbo%X7>NxT8t~zs7qgN_@_)8whk<q0Tu83Z{6UfDe|1rCu?)R7;k+S8tSJJGJ
z`fjosxNH`|qbx)jSnMq!ak6i)nUqPX;fU+nF7w6U+lqh(VJMUbG{@_NRuL{lLvZpu
z7AYo*oSba9Jij=ZVtE6k;!HtuijZw8kXh!cQ+T!1n)E(P2!*~@G8N)7#*g_SyHz*g
zXMfDZ(H(-5|Bs0!{Zvb3*H3)lW>nL5gi(jNj&{wxCP#Z`yr9L?QIfCFoDXSd2SIXe
z-G5!Is@CYM@FPaaPI*fFqIO?>=;ul0`M;m1jvs1rh6<*xJU5@(?qM+!?ET{WUyq9q
z>>|6VzA*BAGSa6BH7UnOhYH940ToLDCQq+|>PeQNyi_L0q7>8rt3^RZDviKekMjPu
z-id#=Ug_tgI;oF5g$Lf(PZyqrz~tF~1rtpO4LZn_6vX4*N!z#Dxsd<svAkfVdY-A~
z%aM-;Gm~`d-(MQE<PPf=dBZONMy&on=eBm<c81R#E@lO281T{``l0IO{Da^UhQQ)O
zPzRR`bDVvSIJ88#o$L_tsfKUe@o96hzQ9dx5@9Qnh*Z1sm>|DNSXy#MUNoc|hm2{j
zNaJ(X1~wFDCes5{kypPz_t;*{2Ifcvs3I7;<e{9fawiNp&GNmqOH=!j<_+J~E=0Hi
zS2OdC+^v`NIWU>?HPLxQ91>@OC90KwW&A>XlKxIflV-&Utlw^wSRDxTP-WRxssyqR
z9AOt4_%1jBIN)mct>t?Q-WyH#YlNN5JTyh8ijkeuSb6tZjW({c51ap>y+EFBF>B)S
zH%gT=rwBPLw^sIz35D<N-qIhFjgu0$`e5@(^lQ_>OH;ss82XtN!XddAxmD;({WG9&
z8Y#75#YV~Wt%T>fXmGJ&-R)Excla!WDg#R6lL0rg39|`9w$f7(A=C6-a(1#T&?;J&
zl4B&-0x~*gvqC@|ceAJ>+F_m~hiE=tEup6bl#z$a+n5;)<b(&g%C6dC<|8;`c{dN(
ztAb=i6k`JF#_T-Mx4*T4tGwb=jD3{Zfi1`K!C~Vh*Y|ZF_1t-)>Uy3nSiBAK;maT_
zy}`G@TqF!E%%<p`xgk~z+|Az#UvWI1%`BBbMPV4n7pj<d7@Pfjr9ce(CP5xJ%Bvvd
zc6<5;*-G83t>VGV=9GjAa`FxW=(a}j+FSt&p616c)KF?c5~3x%<+B0pzBnUo4WqBi
zVwn2$Y;2d=Y18!f3#eh3^fxx6q{LjeddHbo5yVpAYzE!684-qVj~-_4k@;0_cv<ho
zev2T+S8kE`YnYsts0Eg!DqpW?iFdmL_^Y3z>}+goG!AjX8tDaNSysF+*^TW8hnWg5
z*CF}kL-M*Rt9<+tkFE4t^WL-e?bvFbOi9)6G`>n_Vuz4}#s^?`>*iM9R6jWIxmc<<
zH(b=@^D~93U-UO6$4KMp8B9Bh?w>Qo0IY{@OoBAhw_%<_$iWzZ3}^QrALFPGo!6ri
z6Kj%_LQY@NVxIlO4`m;-yet_*1x^lwEF;aYq)_Qi{y&yjb9--W>b%IiT90w?_~;}!
zk$y<t;KeAk-UiguxPKymThA^tYcTq=YHNQofSN8G|1sy;RdN2#!W#3MfYVLB!YMe~
zVMp2D<>W3_dF!fM`5zIG|IE;!wKyT{VHWtV7TAAcXI*{&OKM=JoIHCud)D8+h^Q-(
zTlq!Zy;ZKUAj}%bi0VB}3ijQomYuiEg(ogwiReg`<tj}i*70udoIktc2S6)|EikmE
zfDu0k%TP&Qe22>p@P3Xc)uj3yewejL`VjNmUX>PJ68}60d;6n^d|mUI`?;qPeiaqF
zvX8vFcCP)0tZ9A~lgzbJAYf{n3crXu5i>E3b71d=J|aU(`Fx$Ce9D*H#S5>xa%+Jn
z-<GxL1i~I>M6%;c$WZ7E!*jiFFT%;3wHSBta;f>x!9Y*1K=O^;bi_$C*Dn=&{8vl;
z^b&)~)=5E-gwRsVxWDvNoU5g~*$P-5CqaOEz(g<+lk>H7c|&IHsWzf{ZnaGlU0313
z&Qs{joHgRdH)f5|6XVSHA%wCzZ@4$kG`{F$B$mg&u4zy<b)8==ysX)!Ot^V|VYy2)
zVX{FV{%5f{>h&J`pr?I0FEP3CdUesq1T|d<IY14te)$w7Pkg#_-vvdKC7uuPrAo3>
zn2Bz+;`Yrm3Sa0}IweHOu)_@k@dUxP49m7V;SxFj<*7JD9;H+_HPpGC8F}9c(gWKu
z-KMzRK<-MUHogF_(*Bxu@Dee)x9MmFmuM{BerSmJrY2r(_b*BYtG6}QgYL$=I0HTA
z2m;yRCZ_Mw5<xAiH2a}q<xdzn%#rqp;c}hJF@$nYQ7mw$uhZcgxK~Z6zx1s(i#*^v
zz<`>xPVek<v$oSuIvofc{KN5CB6~xEYi?(^^)@?(0*i1a6<>U(5r`^_>icEk-erm0
z0-i6J_?m9HJAgItF3D`AWBBxd-V2K3@1fwku0k-14#}&qjNoSD$v~8$Zgs_m3}Ocy
z*~k=dY6w#@Rau1y<;D0>P`tHrOyzKYba%FM-#+rQ5Ft~;)1FSz4#eoN@!xnPuEps?
za{%WEXsAmJfQOH1=nC%1aqjz?LzG8BUQ`u1Mg;;|%7f%cduxgX{mHm0Ho5={0Dq*N
zS#z;~@!MeQ3zft2@AOz8GshQ~HjmEWRlnOcqUeuQgdOtSp}S-O%@T%bnxJZc%K+rS
zA&6LQ?OR=UN+xPRyikktz^xQwvGjMjtaopQ{NX{|p0Do_Yb?tP+|23=#%v=dZmBGz
zyPJ=kxr6(-IjUxO|4RA;;~BooK3uA)Uo}Fq@{=accZ2l;Qf{FR8fmu-JT8?h^ua_;
z-?D(#k1uoIXR&JXHU>ONm=}&7fbz}?B~WZ^lvK7mNxMe{F}+Vg2@KKyTS!aZru`-?
z{8=PDSc17YjlIAiB80+qm~vR*Tp*hGx?e1dbB<k;DZotVQM%N?xpr7PtQ48!8+m3q
z_E6A_TssnP$ltb=hy6En;f?97!JNaqh_H-ge6k+RAl<wCm_5KwU|ny0+Z&^IpA&R(
zViSjI2Bt!9<@F1;s2oocc4)8g0hIEal7-X4UP6blonXh%z~;x&y@wU4;Ay*FJHjGH
zW)?iSU0&*D#8>#%AQoM@98-*p%(yh2g-VlrGq-xinTW$u3xc_Ay)(T<T!QnuD#8E~
zQb-@foPTfKwhBRq9t0`mEjy0=#N3ZK8p&wOv(EqP$k-mfXZtS>3Ps2>>N7Z9zVuTC
zI_tpJPTiCB%~45bhc)`<C2f2h0>+BhHlEzrFb2j-QvGeLgS07#_kCd(*LK{(DKZ%O
z7IZy@j2$PY3fEGN)r?4w2}MU3@eDe9F8KvtK3yJj)d#T#%ZPNa=5xn6PpKx{ISM*L
zi5YCsirx<mQZnf7&fyz$K=AK@l^RCxSG&q`vBL0G18b-T)6$=oIt+3>SsF%3*DNiE
z_Od=|iKJGQm){;3;k%5>?}yAdot@in>Yxu~D?`9IeVdUvh~5?VC%}ZcumloC?e^Yl
z&n-J(i*g9`#I-Zf!wmU{)F%D~I~B$i%_%MF>k#jCeaxS~SLwtJ)1sWnP*71DXmaC;
z8E>PQVa%rzd<EEqO5yuevsozHpx3j9Gi*o`D^Tjde3SB<+<)8HXf;ZFU!ezsDtj18
zfHlB)jA={~qkQ3zbfRbofBqFw>zbL`3?|a^)77b?=}jU3GJnV;0>TKC1o_`)J7a^X
z#K1B54-6K$*1L}DFcBOdC%|_LYA++(lAm0b5urI^wv&4qGi+S*`U&JqIRWWz!yp14
z$AqlVAkFIYJB#z+n5XYmLhK}0dYCmwQrAp~A5y!0@M0iv->PyCxfCt+G5w-?=<O=|
zcuNK<BaW$@yyIF%2m$GC$Hb=J4S&3YS9S*??aX}+dFNXvReH=X)@v;)osNtqymz~`
zj7%tbuP|%zq#)qdutB>i)?=KfWe${?il4(>d#toZOSB$6Wd)W;mhncYSquYzCQa9%
zcW^09LLr&EQSDd#sr8VEANp1!FzFdngV`kN$4r$c8!Iw4M8XfZ;O{Q3NIJNchPtmU
zWC7jh;>kOCbvzBcpmUX%;+U^J-rjgpVuWq|);c<|3C-7*lrrN>_IwJPxsP#_4E!r~
zG%-7^OMNm_LG`F<6R+Wr>e{+tSi%$}*pP!9eP-VE0ZwXnF-qzXHSCEVVm3d0mW1L$
zyk<;g42{3NXb3{GqTT1`5BgAe>Sc3%LwufBEgy8D8(pQUO6sTv<kn_>f|VNOCEfmV
zT_a7Z>&bA+5b3{tAo878%Q-i5MR*Xt+Tptl=zZi>rZa@jJi%8ugHrsy2f~i>&N#5t
z7j3mZn}85%u3^u;sRsSURuP}m-iw=eLwiyyJ#c->D9d@07<GMf3M<s7Dto<+tm)qF
z11nW~^EZJ5%n`Pmk?*B1p6`yV4Y7BzQyUe>6IHZHT17(=fTF3Z>*80PwWl(D)i?MY
zL;7C1%jGR^>xap@!!p(m&n*RIWmwUAjpkz%5Y2)OB^_;B&A^Oi*6GKYx4_G#+C2<#
z-Dzw}miOh`X^{izhh{Ta-Q8gAeC~<orj&amxGH<4fnK-zw6GL~q>?_#Q`c!UiF4{z
zBxun!!HtT`nrUA){S|<-O#KLi6TjeP^2hIjg%?gvkW{&}C4D?vp*p;<hG~n<M=vjS
zb?=Kp&HT%+z8L>0`tHoC@m2Ww;$9Mou-XQZx%w(C9k670@6lExS5V-<(tF8+i;;80
z2fZ6;4*8Q3(nwNj?~0rddhW;UAus2$Fo-KXtaQLuA9&8^KlL@B$e~_BVy$%qcUF=8
zBrrujJ$PW+m+F|3HS))$$j_naTwOy9tj~kULM*ptR=eiq{{mb{PJkZ3cWy)3v}1y?
z5N)7XIum_W_n45W>u!5HF+-u?nu!{3ZE1)%V~pW}8z*W^uhOZ`8+K7YX&Pgl_05mo
zPuYyqm!5qOe;V%3s6Oj{%SQ-g-;H-r%P~%GS!-=f-=dI`PY6qQb%QqtAeI~T<+|G>
z3c-JdamI!n87!U;w0IRs(Y?tL&zTUyr%BtG&d)E`Q!r62=a2)Jpir$HxNp6}>8@41
zlG#&-;U^*UMuRar;m@=6th^zVm|NBI?2`0p6D+q5`;69u3UXMAW3FC@&FmX980*4_
zG4j9DP_?>t{HLW@Ic<-<jy?9PhyF3`n?HBZKQvpwp-%f&ZbnBuAV}Iz$EdJ98L=*N
zF1tU!A&zJ++T>cp8sGHkoNYoC!je#|1i?nGUz7GpmdwxDR+&r$9Hn^jT=l;HPR`px
zy2?A%cG-~c?G=H*#Iq0ifXQ;}CnX-svW!3#yte=+eN^Rv^MZ$}(2Gs(`M}-=wTYKf
z<kAZESbQ@L$&yzP-6PL*E0yWw-ks1BztXFhi^Ln%<q}^@GDrePAmRi$oxpb;Cp9(n
z8Y~7BQ+iv=K<iqI>e>emz&Di3swXT!3=R<ONMuR;A@sHo9yA_eC}wOLQlhAdU}w59
zpFwn*m*RPSKIVkOZXfbhuv>O4kYjTV+HI$h43T(hU~Nd>oI{@ZUemW)zpjsgW=s4&
zu50+uOyfL@X@kC9Y2mwv{F2-H4{T-TD{*zq5J}l>MMSR}O9+4uo&(x-MJl9SUnkz(
zJrO#3kEj$33TkwdL`60=kM-`ycZ;Y6uTxA93?*hkU9PsA#|i>^{!Zz87K1)l<vn!-
zZohPEY*p%taSQG~kVKBmC)1Ciu$<~ex={FLHX|_g#^R<r>16v~n@Rb;pzSawP=t3s
zW0T~sb7SZTHluT1a>q_D!^h6yxYTEYz*ao)t~CLLiigsr3dir}^;b*`6<r(s)gOZH
zGmqTlj?<cF-2^#LE@S<qju<H$zD9<1cF))+YW~clyu5GgsqQzMK;C~k?DelTSQSXi
z1Ur|#17>;(xOgp~G{Xtj&XZEWcE=X{3vIVVC8Xb{-rtbsX|DKCiKt*qC_2if7R4OJ
zw8O3$_UxX;)HOB6l@aL)bz`B(m|pYfBHOPTdA|L8dY_6BTrX4&IQOcZYt;_!)G`GE
zuJt&CnAlAf-D3zX?@qU(k(77zco;Qn&19O$6^U4pB~4$-ZAi?6-AHfJtd`iHW4=P}
zWXjpwM35M`f%^a|Qo2S^{xE5ZJYnj<@XhlOernF*IU^u=s!H>d*h@zWBH0?0S}Pe8
z=o^Dt?Wmh#;?6tP>o-3q3Lf2-TUxds3mo6^IC{E(7i0NZ0F*c)@u2Y5VOn`di4Yk)
z8Oj4D`*-O7@1u`MegN0?L^c+34GL0v`eBK}R?-&&@mJ1+R2#<`1}g!_v-}z6J?&7L
z3lg7dlB6QoI5j+V;{#~KS8Nyu;us}k&OT2?1z(eEPe^C<rFYdEhkWX?6bH9FS9u*s
zcx-r1+?DJ4Dbr1+PUwLPZLm@mb4U3(2Gb5R(Xf$Cw3Zmyd~L_Pq{xhz#F(p3NTAUA
z)u2{hzfos8D1~ulQXW4ILJCeOiK6HQgw91lzNr2EMSM|ruTpk?-J?d`1M+#%`p{30
zJadksn1k*CgW6?9qm5j)o;0+|fz#*D!bOKx9}Vw+^v5%RWIJhXQ1JXPJ*M}RD_DQp
z^ujwI^h-sq*UAbX(FWW%6kTWh?rO5iUk_8hFJnvm(zH~*@TGDIu{RC~+IK<ssLbzb
z6wwc0oIwHp_v`)Hu}ejHZST8_Z%X&Y-{Ajo(B*J*Xadl_50=^$NM|cn9dzj!E(`I-
z79%H>2dZYV9v(5hA_pHV&<?PnKQb`vbAY}hK=9L10GnhJnBXcA5fo?p=I5hSp*5t*
z^z80SiLqO^E<PkLWEnlq7(W>NTYLF?Lz_{vcu+O{adpw)$#<c?C?kn)_*M~i6|hFt
z?mZfiQ)PSiey#j{kW%DGTmM6nD(`l`eG@_e%-RcO)YGJtA9aD#GJc$U=|M6JzJH?w
zRw_^_V=x@6t^r<<vfBCr{57UHt)JGu5(lL3RvwUU0>%aT2TRW1MhZV|^A>WT*Iw*1
zKO$q)C}My5<<)A>ANL=nmZKxLPmU@8*C+cvR2gBEl>VNc7q}=qu_43WP)e}~i|N(6
z-wme>3VePr&Zo2K@4j=`^_66a&Y6kFO@0p#1?3r6&li!&ANj)YL#q`LXPu^;s6Je7
z@WA%wIdIlMBpLB1lAMju88|yXh{<med27dN!svT!zP0G#i>T#Tsf}})QwPM*IYW<L
zDm5Aw6IvzykP4LMDEClgp|jXsoclKo2*m--Je4q1#~ZT^Yu|0#SIqdF<z%+~F`>j@
ziC4P5VSL+zll~0aitW`BhBI)F@9}Y2LF&c%0--hjbj<yeb^XHzP>wj=WhmrUqjO%J
z;;)Nic+6hR(TK~;Pxg<17?Xwh9ry6AfYZMW?YYPL&nCiBK7k@SUj)cdf9?i5;Wse)
zn-=<f^9%k1b)c4(G^ngAUZ@?<cSa4Co_%VHm7ZujZt>>YU@Y!$;T7%)rg|6D*8Cn5
z82=)Lg6GuL|7}(h-T)rmkkiq<2hWH0#9^*Gc&f5?bA&Y<aZI5y7c(!g3R@wkj@!%I
z`=9Ofhw6;p)&}Pp|Hoi_g?HD1TsXe=C$MDYv1IXur!U1-p1LqMikXf05w4u<MlXZl
zU>}z-WQ-s@(*O#|ngCJuAM*UYT!=dh|M9FgYg>T{JmMo7C(~?pt=|bZ(;#jOZimb$
zG!e5|n-86l*_ZDe1BxaXq8Otz^6J<l2;3&{z>u(g89#II!qEBiXbk&@Sm}T1tE9H(
zmTp5hJ6aw3^td5tpVO8gYT#<YR4C+*7IH}Xot{HkDqS=!Jjn1i^3Sb|)>2#&+IOqy
z6a4j#{VA*9HjyYz)l{0op$T51Rosd@Yc3hji6*=wW4rd%>!`NK`+HC+-?2f|`@@51
zE>DM3zwSg3Ee!gknilv{Mr>IHuOLCQ3SCCM%s7|tr#c*OT)*Ca;kZwyTOPgy1vzfn
zEAEkJ;lUFrLq<(<!6Yaw8AJ#$(HTOKJO`Z09&=k2(fH{@L<TtT_5;PXXbqfiYa20+
zO`yjQP^RB!X*=nLR3<9(rjZ6I(b~*D$|KX-_RTFvb$XEVZ==y}wL^Pw5AqlwX|JnJ
zc4q_V`9TM(WsiNQG%%#f_=fFU-|hKafwj?QSiE?|Yaq+3?0p?QyJ!3?6`ueY@xRS{
z3COdX^;^1MR^9QpYTL2U$K36^3;Cu)=A)pcXL(vdzJ6VW9hu)@DBZ8t#WDkz70&iJ
z>t2U^ZzKAstHj9uE4P0_if!eK#1=`5m2B72B20r;g0Y4DCyw%kXW?8n*+<ZK^A)_>
z{^J=alnlJE@uXb3RH;>gL7X8=$=lVV;g6WVnQDnAbAMHklsWjSbzYU3n;Tv*8@G2Q
z#rB|#&+ELk8?U@X>v;F%Y<zJtyq1z;ZJTn=;xRn|^KVPmFqid@ll6PaYIR5r`euOu
zMV6v7{`#JPXI;Aj?+po;zedp8Fu0NZI)(Y`aD59|AbHmJ<-D299X4<3>&f4@j-c;b
z(K`Q%C2#-uU~ifs>ofr|UX<mzxlQ09+DIIK6vok5qTf(k_WNoIbXB_(>fw9iT76AG
z*3sg&L2LxIE1voOWPEkyTVwSo6QqUu+sV1=y5RtOIreJQN_c$;8M~r+2W7djQ4xj6
zvC~1DX?=vb$iTwTV=<W5A9m*VW}4=|Hsmk4{l2k?GA(T8eEiF%iE1^uN$tWaX+~SI
zN|r`5(Z^w{a)>t;Kn<~RoG8Y87fs7C`e|rjv(ElcgnU+H&q*yI-0Pyy9PZC`G{@)@
zT1v-j(5kSKBAvm&s%lim4;QM*syvnQ$uWgSgFh?5HU*-V9@JN_RmJp5kovrbSI?eM
z{pu@vMtQE)%;nMLXZwl>W&R9JEFYHpic~Xe&?{Ly)w!MS#4g4f9aT#4^<e5o7Jp4w
z)f#1%gjl5x!CYR{I_r=0MWixZc3<V(u0TkfPS$B0XSx2I$z0bE{dNEKbSL1le{Bds
zv|_gjUyAR}kV*ar>Kd8{p-00}lEF-zOcOd(BX?tmbZagR1RREk?doRP)|^xWb-U|V
zw(a}jS`Is#SDeknc`w-X-IIAqz;D9K$L~;aIr>`Cp`oh!A1M|YwTmflv~&(C>10T`
zdw(5@Z2hVJyam*f7T;XAA0y`m6zxt3eNPjeI8%aN%JgG_b-?SxahC`En;G4Say2zN
z)Qyz~79?^!=`a?%s|zb(nDH!k8vD*|a~&n35R98tkJRJ;{8@S6S#O}9ddi*AuFW`o
z!m3bg>{g)9O&YD+V{qxg<c5ssskM!7u+l9yn@(4M2Dresvr|@d0&nwuDbIYx8QjtB
zFaFi2hJ`OCW}a-++AXC0T4td0Dv1R|@VE)5R2E^bOr?lsg7$;rTM0HEgZ`H|aHx?L
zSMbtr(1Kk96;e2sS#6OBYEAgwZ$fbO3zO%8&UN6@KK3`L4C~=l_d8G0GOj?cr%(vO
zh&ff6O%Mp<ZZE7cYDA@92s`wHRsHeWzA?LSpUBD$FN1!Q#aBld)j0#QyEfr54df<v
zKB~`FaSzrbr2J~tGI%Ce2TCnuFR#rk#UyI?4r$>IuiyX9dF)|<jR!@-5X|w>H`Eb@
z8l9oAms_;K&t>h&*;Sf$a`!@^XL_K|%myyym<ZO`?A!qLgc;20W2?dZX#Th|qnqyj
zT%U76&txa2BatY}k8q(k!Ggb@NhliJvYTyE^K4j<(451Lk^Cv77K+7pSjKP{#pfJ-
zHjd!-oGi@}&8u@bPg5N~6NGsOuD!+<_~44_56N5`ulCZw!(Q1k+~auQl#cmAv?j)y
zYT}2sHGlRjQJTbMva3#C{=nB77<$qfnkK=_<4B&S=*fIsJI2iQWUX}63@b(jv+${{
z&s6&JiRs;ZT<x21_#wPM?TdTZDDM#+G(~K0c2z?wjxvxrCCgXXbJmWl(bxbtXev%*
zL!EJSXgkP!nc3WMY#7u&6hF69k1wV&Vc8J}(|Y4#^^|Abs3sIGs^a>_$h3HNRgsol
zAbO3~JO+$Mx=Pm)l<gC^nemsAfBE&ygm+e|&T8NuHh8FN;kWOF9bgI#-J;#fQ^K()
zS^Ac;Z!ap2$t%<Jd&DLcOXCY&<!vOF)wtKq4GvrWHLs^S+l1V8kJuyZ5;hwBG>7=H
z+X~vAu9Ypfyt?-BWsap8OiOr%Q5xG%!E|-QR`CO#>*O;Q<qH8~c+`sR<5g17nR>5e
z2*h|8v6d^@)f2#jb>YK+YXBTO1Mm_ZV~p*^uTRwbT|QV{9KnT#T8wpa43De0W`fhT
za*wz;Je)&9>keS$0|5H)^Sq?e?txF<F#l?_0c%lC{28C?HKe)EimN{LyE0C>ILa2i
zo46;Fp}Dl(n3sBk2pf|bxkrp`It$o7#N`@$XsDCkz0TP!+U7>Z$~Lg=<zLRPCm)5o
zF`zxRIlb57zsQ-&m~V)UDdaYX+n(rHTUUQ2#I;HJ%(<4S_jo01SA|>^1kj<O8Ctrv
z%c~ERIc{WEz3GO|yr3)F7$sb|O_CYyGL=d@SRFihvr(2AU9wL+hIsVKBwX)}d8j=&
zDk{48)p`IL0QI_h@sxoR&hCK~q}Qx;K#L06?-@{%SRq*GarsxLjoXA&2-nx~w`J93
zDo>=yyE5xuJ$wPyCgL~pc&PPkf^n9z3lSt)tR+tb5(`ZwbD`eBrM$bv+9~z@>u^aX
z$RU0x6>}z}<gexu^&dmZgZ`RV8x~T)>Z(c_hK9~|D+N|k{)Is<FDN!z6MF^%%h3ws
zw1(lGljF^2w(Llsq|dLM8T*mDXAK?2L1fo#>^4@ka}4>+>`H~l#6mFB{DERI6%+96
z%pW8qtH0yzFxfS+oR5<hahln|34J0ISQEQ)8$w7^K^25HV3UKDCRl8RrfmgB7bN@D
z!(~qjq!1f8G=82e%M@D6TJ_Lb)372MJ2B%>KK|%A)jAz~POZiO(=J>N9}T$xYGBHS
zj6HEjm~~91RS9=qUty>Djv)jljQJcwibd)cgYgJqlT}h|G7aP}HahEU!J!eE*eDY|
zpI=qBwN2JA-8?r*tG~{WlVntMr-8(z!4|QwYm_t71{q;ky1**P6L+cfMW#yU`X?K=
zkl9>kD*QwH_8e)5!k=m9@zdEinM4Zu)fEytuVLETo!r@9+jZBn^Z}+sccXz7r7S9W
zQ8^7R{KTZ}@EnKCz}uCqvWVB8uHw5k2X%*6N1|VB1&ZwjT-0sH!vPM-RKoSDCE88y
z8nBlkl7=f^uI`i-Gs^FsWQgMwXB1{9$nLN0->iOesjPkYiPSsRb(<~g{r3x3b^(Z*
zBOyv$T;}XG?Lf9NXa^KMhG2-hN)8RG<g%Pis;pmKe`<7x3EYO$l`=^4XQ3qD4N?8>
z4%m=HotQ*sKnFGS=s-Y<QIc!8Qj2(yL)pl!5-cTrhh>}D$}*p|j}viox^U26jMlJl
ze&iIsi;P`$!eYM(7b7`b$&hO5c1iq)%cb?KsMdLb?s%%@m`|Vw@`}s<`IgQ`H;47J
zHsT*Ysr;-SIr3L#VROEVUHZyMbPc%)S@kUkAGYdEcn?U-4*lHz=Yu<WNse#79nX&?
zX9eoNv`k;Ah$1z2==2{k-g<qH7-aPgwc>eW*#e-?fodJ@@!NUkSg)V9$-%)+Bh-^W
z)n~1_H@xuIXIE?q77ZR+bMC~TGjf|UR39yl;T+?npMg)R{{Ain=+>~<|NQQ~XP}uu
zd!+;T52!yFbaS0gocho2;GXeaT?|j*w_i&G|MCH!1M2;mP*YL%_glnH9bwwxesbjF
U>^zg4JOlUvt^Z(^=j|W<KT8W{DgXcg

diff --git a/assets/listing/2_dyn_knapsack.py b/assets/listing/2_dyn_knapsack.py
deleted file mode 100644
index fb78bc7..0000000
--- a/assets/listing/2_dyn_knapsack.py
+++ /dev/null
@@ -1,28 +0,0 @@
-toys_joy = [63, 12, 50, 100]
-toys_space = [32, 8, 16, 40]
-space_left = 64
-
-num_toys = len(toys_joy)
-# Initialise an empty table
-table = [
-    [0 for x in range(space_left + 1)]
-    for x in range(num_toys + 1)
-]
-for i in range(num_toys + 1):
-    for j in range(space_left + 1):
-        # If we are out of space or toys we cannot choose a toy
-        if i == 0 or j == 0:
-            table[i][j] = 0
-        # If there is space for the toy, then compare the joy of
-        # picking this toy over picking the next toy with more
-        # space left
-        elif toys_space[i - 1] <= j:
-            table[i][j] = max(
-                toys_joy[i - 1] + table[i - 1][j - wt[i - 1]],
-                table[i - 1][j],
-            )
-        # Otherwise, consider the next toy
-        else:
-            table[i][j] = table[i - 1][j]
-
-optimal_joy = table[num_toys][space_left]
diff --git a/assets/listing/6_adaptive.mzn b/assets/listing/inc_adaptive.mzn
similarity index 100%
rename from assets/listing/6_adaptive.mzn
rename to assets/listing/inc_adaptive.mzn
diff --git a/assets/listing/6_basic_complete.mzn b/assets/listing/inc_basic_complete.mzn
similarity index 100%
rename from assets/listing/6_basic_complete.mzn
rename to assets/listing/inc_basic_complete.mzn
diff --git a/assets/listing/6_basic_complete_transformed.mzn b/assets/listing/inc_basic_complete_transformed.mzn
similarity index 100%
rename from assets/listing/6_basic_complete_transformed.mzn
rename to assets/listing/inc_basic_complete_transformed.mzn
diff --git a/assets/listing/6_gbac_neighbourhood.mzn b/assets/listing/inc_gbac_neighbourhood.mzn
similarity index 100%
rename from assets/listing/6_gbac_neighbourhood.mzn
rename to assets/listing/inc_gbac_neighbourhood.mzn
diff --git a/assets/listing/6_lns_minisearch.mzn b/assets/listing/inc_lns_minisearch.mzn
similarity index 100%
rename from assets/listing/6_lns_minisearch.mzn
rename to assets/listing/inc_lns_minisearch.mzn
diff --git a/assets/listing/6_lns_minisearch_pred.mzn b/assets/listing/inc_lns_minisearch_pred.mzn
similarity index 100%
rename from assets/listing/6_lns_minisearch_pred.mzn
rename to assets/listing/inc_lns_minisearch_pred.mzn
diff --git a/assets/listing/6_rcpsp_neighbourhood.mzn b/assets/listing/inc_rcpsp_neighbourhood.mzn
similarity index 100%
rename from assets/listing/6_rcpsp_neighbourhood.mzn
rename to assets/listing/inc_rcpsp_neighbourhood.mzn
diff --git a/assets/listing/6_restart_ann.mzn b/assets/listing/inc_restart_ann.mzn
similarity index 100%
rename from assets/listing/6_restart_ann.mzn
rename to assets/listing/inc_restart_ann.mzn
diff --git a/assets/listing/6_round_robin.mzn b/assets/listing/inc_round_robin.mzn
similarity index 100%
rename from assets/listing/6_round_robin.mzn
rename to assets/listing/inc_round_robin.mzn
diff --git a/assets/listing/6_sol_function.mzn b/assets/listing/inc_sol_function.mzn
similarity index 100%
rename from assets/listing/6_sol_function.mzn
rename to assets/listing/inc_sol_function.mzn
diff --git a/assets/listing/6_state_access.mzn b/assets/listing/inc_state_access.mzn
similarity index 100%
rename from assets/listing/6_state_access.mzn
rename to assets/listing/inc_state_access.mzn
diff --git a/assets/listing/6_status.mzn b/assets/listing/inc_status.mzn
similarity index 100%
rename from assets/listing/6_status.mzn
rename to assets/listing/inc_status.mzn
diff --git a/assets/listing/6_steelmillslab_neighbourhood.mzn b/assets/listing/inc_steelmillslab_neighbourhood.mzn
similarity index 100%
rename from assets/listing/6_steelmillslab_neighbourhood.mzn
rename to assets/listing/inc_steelmillslab_neighbourhood.mzn
diff --git a/assets/listing/6_uniform_slv.mzn b/assets/listing/inc_uniform_slv.mzn
similarity index 100%
rename from assets/listing/6_uniform_slv.mzn
rename to assets/listing/inc_uniform_slv.mzn
diff --git a/chapters/5_incremental.tex b/chapters/5_incremental.tex
index 65171e2..5ec8d77 100644
--- a/chapters/5_incremental.tex
+++ b/chapters/5_incremental.tex
@@ -7,12 +7,12 @@
 
 \input{chapters/5_incremental_preamble}
 
-\section{Modelling of Restart Based Meta-Optimisation}\label{sec:6-modelling}
+\section{Modelling of Restart Based Meta-Optimisation}\label{sec:inc-modelling}
 
 This section introduces a \minizinc{} extension that enables modellers to define \gls{meta-optimisation} algorithms in \minizinc{}.
 This extension is based on the construct introduced in \minisearch{} \autocite{rendl-2015-minisearch}, as summarised below.
 
-\subsection{Meta-Optimisation in MiniSearch}\label{sec:6-minisearch}
+\subsection{Meta-Optimisation in MiniSearch}\label{sec:inc-minisearch}
 
 \minisearch{} introduced a \minizinc{} extension that enables modellers to express \gls{meta-optimisation} inside a \minizinc{} model.
 A \gls{meta-optimisation} algorithm in \minisearch{} typically solves a given \minizinc{} model, performs some calculations on the solution, adds new \constraints{} and then solves again.
@@ -29,23 +29,23 @@ It returns the value that variable \mzninline{x} was assigned to in the previous
 This allows the \gls{neighbourhood} to be defined in terms of the previous \gls{sol}.
 In addition, a \gls{neighbourhood} definition will typically make use of the random number generators available in \minizinc{}.
 
-\Cref{lst:6-lns-minisearch-pred} shows a simple random \gls{neighbourhood}.
+\Cref{lst:inc-lns-minisearch-pred} shows a simple random \gls{neighbourhood}.
 For each decision variable \mzninline{x[i]}, it draws a random number from a uniform distribution. 
 If it exceeds threshold \mzninline{destr_rate}, then it posts \constraints{} forcing \mzninline{x[i]} to take the same value from previous \gls{sol}.
 For example, \mzninline{uniform_neighbourhood(x, 0.2)} would result in each variable in the \gls{array} \mzninline{x} having a 20\% chance of being unconstrained, and an 80\% chance of being assigned to the value it had in the previous \gls{sol}.
 
 \begin{listing}
-	\mznfile{assets/listing/6_lns_minisearch_pred.mzn}
-	\caption{\label{lst:6-lns-minisearch-pred} A simple random \gls{lns} predicate implemented in \minisearch{}}
+	\mznfile{assets/listing/inc_lns_minisearch_pred.mzn}
+	\caption{\label{lst:inc-lns-minisearch-pred} A simple random \gls{lns} predicate implemented in \minisearch{}}
 \end{listing}
 
 \begin{listing}
-	\mznfile{assets/listing/6_lns_minisearch.mzn}
-	\caption{\label{lst:6-lns-minisearch} A simple \gls{lns} \gls{meta-optimisation} implemented in \minisearch{}}
+	\mznfile{assets/listing/inc_lns_minisearch.mzn}
+	\caption{\label{lst:inc-lns-minisearch} A simple \gls{lns} \gls{meta-optimisation} implemented in \minisearch{}}
 \end{listing}
 
 The second part of a \minisearch{} \gls{meta-optimisation} is the \gls{meta-optimisation} algorithm itself.
-\Cref{lst:6-lns-minisearch} shows a basic \minisearch{} implementation of a basic \gls{lns}, called \mzninline{lns}.
+\Cref{lst:inc-lns-minisearch} shows a basic \minisearch{} implementation of a basic \gls{lns}, called \mzninline{lns}.
 It performs a fixed number of iterations, each invoking the \gls{neighbourhood} predicate \mzninline{uniform_neighbourhood} in a fresh scope.
 This means that the \constraints{} only affect the current loop iteration.
 It then searches for a solution (\mzninline{minimize_bab}) with a given timeout.
@@ -84,10 +84,10 @@ We then annotate the \mzninline{solve} item with the following \gls{annotation}
 Note that \minizinc{} currently does not support passing functions or predicates as arguments.
 Calling the predicate, as in \mzninline{::on_restart(my_neighbourhood())}, would not have the correct semantics. 
 The predicate needs to be called for each restart.
-As a workaround, we currently pass the name of the predicate to be called for each restart as a string (see the definition of the new \mzninline{on_restart} annotation in \cref{lst:6-restart-ann}).
+As a workaround, we currently pass the name of the predicate to be called for each restart as a string (see the definition of the new \mzninline{on_restart} annotation in \cref{lst:inc-restart-ann}).
 
 The second component of our \gls{lns} definition is the ``restarting strategy'', defining how much effort the \solver{} should put into each \gls{neighbourhood} (\ie{} \gls{restart}), and when to stop the overall search. We propose adding new search \glspl{annotation} to the \minizinc{} to control this behaviour.
-The proposed \glspl{annotation} are shown in \cref{lst:6-restart-ann}.
+The proposed \glspl{annotation} are shown in \cref{lst:inc-restart-ann}.
 
 The \mzninline{restart_on_solution} annotation tells the solver to restart immediately for each \gls{sol}, rather than looking for the best one in each restart.
 The \mzninline{restart_without_objective} tells it not to add \gls{bnb} \constraints{} on the \gls{objective}.
@@ -96,8 +96,8 @@ The \mzninline{timeout} annotation gives an overall time limit for the search.
 Finally, the \mzninline{restart_limit} stops the search after a fixed number of \glspl{restart}.
 
 \begin{listing}
-	\mznfile{assets/listing/6_restart_ann.mzn}
-	\caption{\label{lst:6-restart-ann} New annotations to control the restarting
+	\mznfile{assets/listing/inc_restart_ann.mzn}
+	\caption{\label{lst:inc-restart-ann} New annotations to control the restarting
 		behaviour}
 \end{listing}
 
@@ -119,7 +119,7 @@ This approach is sufficient for expressing many \gls{meta-optimisation} algorith
 
 \paragraph{State access and initialisation}
 
-The state access functions are defined in \cref{lst:6-state-access}.
+The state access functions are defined in \cref{lst:inc-state-access}.
 Function \mzninline{status} returns the status of the previous restart, namely: 
 
 \begin{description}
@@ -135,8 +135,8 @@ The value is undefined when \mzninline{status()=START}.
 Like \mzninline{sol}, it has versions for all basic \variable{} types.
 
 \begin{listing}
-	\mznfile{assets/listing/6_state_access.mzn}
-	\caption{\label{lst:6-state-access} Functions for accessing previous \solver{} states}
+	\mznfile{assets/listing/inc_state_access.mzn}
+	\caption{\label{lst:inc-state-access} Functions for accessing previous \solver{} states}
 \end{listing}
 
 In order to be able to initialise the \variables{} used for state access, we interpret \mzninline{on_restart} also before initial search using the same semantics.
@@ -162,34 +162,34 @@ In order to use this predicate with the \mzninline{on_restart} annotation, we ca
 \noindent{}Calling \mzninline{uniform_neighbourhood} like this would result in a single evaluation of the predicate, since \minizinc{} employs a call-by-value evaluation strategy.
 Furthermore, the \mzninline{on_restart} annotation only accepts the name of a nullary predicate.
 Therefore, users have to define their overall strategy in a new predicate.
-\Cref{lst:6-basic-complete} shows a complete example of a basic \gls{lns} model.
+\Cref{lst:inc-basic-complete} shows a complete example of a basic \gls{lns} model.
 
 \begin{listing}
-	\mznfile{assets/listing/6_basic_complete.mzn}
-	\caption{\label{lst:6-basic-complete} Complete \gls{lns} example}
+	\mznfile{assets/listing/inc_basic_complete.mzn}
+	\caption{\label{lst:inc-basic-complete} Complete \gls{lns} example}
 \end{listing}
 
 We can also define round-robin and adaptive strategies using these primitives.
-\Cref{lst:6-round-robin} defines a round-robin \gls{lns} meta-heuristic, which cycles through a list of \mzninline{N} neighbourhoods \mzninline{nbhs}.
+\Cref{lst:inc-round-robin} defines a round-robin \gls{lns} meta-heuristic, which cycles through a list of \mzninline{N} neighbourhoods \mzninline{nbhs}.
 To do this, it uses the \variable{} \mzninline{select}.
 In the initialisation phase (\mzninline{status()=START}), \mzninline{select} is set to \mzninline{-1}, which means none of the \glspl{neighbourhood} is activated.
 In any following \gls{restart}, \mzninline{select} is incremented modulo \mzninline{N}, by accessing the last value assigned in a previous \gls{restart}.
 This will activate a different \gls{neighbourhood} for each subsequent \gls{restart} (\lref{line:6:roundrobin:post}).
 
 \begin{listing}
-	\mznfile{assets/listing/6_round_robin.mzn}
-	\caption{\label{lst:6-round-robin} A predicate providing the round-robin
+	\mznfile{assets/listing/inc_round_robin.mzn}
+	\caption{\label{lst:inc-round-robin} A predicate providing the round-robin
 		meta-heuristic}
 \end{listing}
 
 %\paragraph{Adaptive \gls{lns}}
 
 For adaptive \gls{lns}, a simple strategy is to change the size of the \gls{neighbourhood} depending on whether the previous size was successful or not.
-\Cref{lst:6-adaptive} shows an adaptive version of the \mzninline{uniform_neighbourhood} that increases the number of free \variables{} when the previous \gls{restart} failed, and decreases it when it succeeded, within the bounds \([0.6,0.95]\).
+\Cref{lst:inc-adaptive} shows an adaptive version of the \mzninline{uniform_neighbourhood} that increases the number of free \variables{} when the previous \gls{restart} failed, and decreases it when it succeeded, within the bounds \([0.6,0.95]\).
 
 \begin{listing}
-	\mznfile{assets/listing/6_adaptive.mzn}
-	\caption{\label{lst:6-adaptive} A simple adaptive neighbourhood}
+	\mznfile{assets/listing/inc_adaptive.mzn}
+	\caption{\label{lst:inc-adaptive} A simple adaptive neighbourhood}
 \end{listing}
 
 \subsection{Optimisation strategies}
@@ -269,7 +269,7 @@ Otherwise, we record that we have one more \gls{sol}.
 We store the \gls{sol} values in \mzninline{s1} and \mzninline{s2} \glspl{array}.
 Before each \gls{restart} we add \constraints{} removing Pareto dominated \glspl{sol}, based on each previous \gls{sol}.
 
-\section{Rewriting of Meta-Optimisation Algorithms}\label{sec:6-solver-extension}
+\section{Rewriting of Meta-Optimisation Algorithms}\label{sec:inc-solver-extension}
 
 The \glspl{neighbourhood} defined in the previous section can be executed with \minisearch{} by adding support for the \mzninline{status} and \mzninline{last_val} built-in functions, and by defining the main \gls{restart} loop.
 The \minisearch{} evaluator will then call a \solver{} to produce a \gls{sol}, and evaluate the \gls{neighbourhood} predicate, incrementally producing new \flatzinc{} to be added to the next round of solving.
@@ -300,7 +300,7 @@ To compile a \gls{meta-optimisation} algorithms to a \gls{slv-mod}, the \gls{rew
 \end{enumerate}
 
 These transformations will not change the code of many \gls{neighbourhood} definitions, since the functions are often used in positions that accept both \parameters{} and \variables{}.
-For example, the \mzninline{uniform_neighbourhood} predicate from \cref{lst:6-lns-minisearch-pred} uses \mzninline{uniform(0.0, 1.0)} in an \mzninline{if} expression, and \mzninline{sol(x[i])} in an equality \constraint{}.
+For example, the \mzninline{uniform_neighbourhood} predicate from \cref{lst:inc-lns-minisearch-pred} uses \mzninline{uniform(0.0, 1.0)} in an \mzninline{if} expression, and \mzninline{sol(x[i])} in an equality \constraint{}.
 Both expressions can be rewritten when the functions return a \variable{}.
 
 \subsection{Rewriting the new functions}
@@ -309,12 +309,12 @@ We can rewrite \instances{} that contain the new functions by extending the \min
 
 \paragraph{\mzninline{status}}
 
-\Cref{lst:6-status} shows the definition of the \mzninline{status} function.
+\Cref{lst:inc-status} shows the definition of the \mzninline{status} function.
 It simply replaces the functional form by a predicate \mzninline{status} (declared in \lref{line:6:status}), which constrains its local variable argument \mzninline{stat} to take the status value.
 
 \begin{listing}
-	\mznfile{assets/listing/6_status.mzn}
-	\caption{\label{lst:6-status} MiniZinc definition of the \mzninline{status} function}
+	\mznfile{assets/listing/inc_status.mzn}
+	\caption{\label{lst:inc-status} MiniZinc definition of the \mzninline{status} function}
 \end{listing}
 
 \paragraph{\mzninline{sol} and \mzninline{last_val}}
@@ -322,14 +322,14 @@ It simply replaces the functional form by a predicate \mzninline{status} (declar
 The \mzninline{sol} function is overloaded for different types.
 Our \glspl{slv-mod} does not support overloading.
 Therefore, we produce type-specific \gls{native} \constraints{} for every type of \gls{native} \variable{} (\eg{} \mzninline{int_sol(x, xi)}, and \mzninline{bool_sol(x, xi)}).
-The resolving of the \mzninline{sol} function into these specific \gls{native} \constraints{} is done using an overloaded definition, like the one shown in \cref{lst:6-int-sol} for integer \variables{}.
+The resolving of the \mzninline{sol} function into these specific \gls{native} \constraints{} is done using an overloaded definition, like the one shown in \cref{lst:inc-int-sol} for integer \variables{}.
 If the value of the \variable{} has become known during \gls{rewriting}, then we use its \gls{fixed} value instead.
 Otherwise, the function call is rewritten into a type specific \mzninline{int_sol} \gls{native} \constraint{} that will be executed by the solver.
 We use the current \domain{} of the \variable{}, \mzninline{dom(x)}, as the \domain{} the \variable{} returned by \mzninline{sol}.
 
 \begin{listing}
-	\mznfile{assets/listing/6_sol_function.mzn}
-	\caption{\label{lst:6-int-sol} MiniZinc definition of the \mzninline{sol}
+	\mznfile{assets/listing/inc_sol_function.mzn}
+	\caption{\label{lst:inc-int-sol} MiniZinc definition of the \mzninline{sol}
 		function for integer variables}
 \end{listing}
 
@@ -339,13 +339,13 @@ The compilation of \mzninline{last_val} is similar to that for \mzninline{sol}.
 
 Calls to the random number functions have been renamed by appending \texttt{\_slv}, so that they are not simply evaluates directly.
 The definition of these new functions follows the same pattern as for \mzninline{sol}, \mzninline{status}, and \mzninline{last_val}.
-The \minizinc{} definition of the \mzninline{uniform_nbh} function is shown in \Cref{lst:6-int-rnd}\footnote{Random number functions need to be marked as \mzninline{::impure} for the compiler not to apply \gls{cse} when they are called multiple times with the same arguments.}.
+The \minizinc{} definition of the \mzninline{uniform_nbh} function is shown in \Cref{lst:inc-int-rnd}\footnote{Random number functions need to be marked as \mzninline{::impure} for the compiler not to apply \gls{cse} when they are called multiple times with the same arguments.}.
 Note that the function accepts \variable{} as its arguments \mzninline{l} and \mzninline{u}.
 As such, it can be used in combination with other functions, such as \mzninline{sol}.
 
 \begin{listing}
-	\mznfile{assets/listing/6_uniform_slv.mzn}
-	\caption{\label{lst:6-int-rnd} MiniZinc definition of the
+	\mznfile{assets/listing/inc_uniform_slv.mzn}
+	\caption{\label{lst:inc-int-rnd} MiniZinc definition of the
 		\mzninline{uniform_nbh} function for floats}
 \end{listing}
 
@@ -365,7 +365,7 @@ Note that the \gls{slv-mod} will actually include the \mzninline{complete_reif}
 
 We will now show the minimal extensions required from a \solver{} to interpret the new \gls{native} \constraints{} and, consequently, to execute \gls{meta-optimisation} definitions expressed in \minizinc{}.
 
-First, the \solver{} needs to parse and support the \gls{restart} \glspl{annotation} of \cref{lst:6-restart-ann}.
+First, the \solver{} needs to parse and support the \gls{restart} \glspl{annotation} of \cref{lst:inc-restart-ann}.
 Many \solvers{} already support all this functionality.
 Second, the \solver{} needs to be able to parse the new \constraints{} \mzninline{status}, and all versions of \mzninline{sol}, \mzninline{last_val}, random number functions like \mzninline{float_uniform}, and \mzninline{complete}.
 In addition, for the new \constraints{} the \solver{} is extended using the following algorithms.
@@ -390,13 +390,13 @@ Typically, this means the solver must not propagate these \constraints{} until i
 Modifying a solver to support this functionality is straightforward if it already has a mechanism for posting \constraints{} during restarts.
 We have implemented these extensions for both \gls{gecode} (214 new lines of code) and \gls{chuffed} (173 new lines of code).
 
-For example, consider the model from \cref{lst:6-basic-complete} again that uses the following \gls{meta-optimisation} algorithms.
+For example, consider the model from \cref{lst:inc-basic-complete} again that uses the following \gls{meta-optimisation} algorithms.
 
 \begin{mzn}
 	basic_lns(uniform_neighbourhood(x, 0.2))}
 \end{mzn}
 
-\Cref{lst:6-flat-pred} shows a part of the resulting \gls{slv-mod}.
+\Cref{lst:inc-flat-pred} shows a part of the resulting \gls{slv-mod}.
 \Lrefrange{line:6:status:start}{line:6:status:end} define a Boolean variable \mzninline{b1} that is true if-and-only-if the status is not \mzninline{START}.
 The second block of code, \lrefrange{line:6:x1:start}{line:6:x1:end}, represents the \gls{decomp} of the following expression.
 
@@ -417,8 +417,8 @@ We have omitted the similar code generated for \mzninline{x[2]} to \mzninline{x[
 Note that the \flatzinc{} \gls{slv-mod} shown here has been simplified for presentation.
 
 \begin{listing}
-	\mznfile{assets/listing/6_basic_complete_transformed.mzn}
-	\caption{\label{lst:6-flat-pred} \flatzinc{} that results from compiling \\
+	\mznfile{assets/listing/inc_basic_complete_transformed.mzn}
+	\caption{\label{lst:inc-flat-pred} \flatzinc{} that results from compiling \\
 		\mzninline{basic_lns(uniformNeighbourhood(x,0.2))}.}
 \end{listing}
 
@@ -436,7 +436,7 @@ Furthermore, it is not strictly necessary to guard \mzninline{int_uniform} again
 The \mzninline{sol} \constraints{} will simply not propagate anything in case no \gls{sol} has been recorded yet, but we use this simple example to illustrate how these Boolean conditions are rewritten and evaluated.
 
 \section{An Incremental Constraint Modelling Interface}%
-\label{sec:6-incremental-compilation}
+\label{sec:inc-incremental-compilation}
 
 A universal approach to the incremental usage of \cmls{}, and \gls{meta-optimisation}, is to allow incremental changes to an \instance{} of a \cmodel{}.
 To solve these changing \instances{}, they have to be rewritten repeatedly to \glspl{slv-mod}.
@@ -452,7 +452,7 @@ Removing a \constraint{}, however, is not so simple.
 When we remove a \constraint{}, all effects the \constraint{} had on the \nanozinc{} program have to be undone.
 This includes results of \gls{propagation}, \gls{cse} and other simplifications.
 
-\begin{example}\label{ex:6-incremental}
+\begin{example}\label{ex:inc-incremental}
 	Consider the following \minizinc\ fragment:
 
 	\begin{mzn}
@@ -484,7 +484,7 @@ When a \constraint{} is removed, its corresponding changes are undone by reversi
 In order to limit the amount of \gls{trail}ing required, the programmer must create explicit ``choice points'' to which the system state can be reset.
 In particular, this means that if no choice point was created before the initial \instance{} was rewritten, then this \gls{rewriting} can be performed without any \gls{trail}ing.
 
-\begin{example}\label{ex:6-trail}
+\begin{example}\label{ex:inc-trail}
 
 	Let us once again consider the following \minizinc{} fragment from \cref{ex:rew-absreif}.
 
@@ -582,7 +582,7 @@ These experiments illustrate that the \gls{meta-optimisation} implementations in
 
 We ran experiments for three models from the MiniZinc Challenge \autocite{stuckey-2010-challenge, stuckey-2014-challenge} (\texttt{gbac}, \texttt{steelmillslab}, and \texttt{rcpsp-wet}).
 The \instances{} are rewritten using the \minizinc{} 2.5.5 \compiler{}, adjusted to rewrite \gls{rbmo} specifications.
-For each model we use a round-robin \gls{lns} approach, shown in \cref{lst:6-round-robin}, of two \glspl{neighbourhood}: a \gls{neighbourhood} that destroys 20\% of the main \variables{} (\cref{lst:6-lns-minisearch-pred}) and a structured \gls{neighbourhood} for the model (described below).
+For each model we use a round-robin \gls{lns} approach, shown in \cref{lst:inc-round-robin}, of two \glspl{neighbourhood}: a \gls{neighbourhood} that destroys 20\% of the main \variables{} (\cref{lst:inc-lns-minisearch-pred}) and a structured \gls{neighbourhood} for the model (described below).
 For each solving method we show the cumulative integral of the objective values for all \instances{} of the model.
 The underlying search strategy used is the fixed search strategy defined in the model.
 The restart strategy uses the following \glspl{annotation}.
@@ -600,11 +600,11 @@ The overall time out for each run is 120 seconds.
 The \gls{gbac} problem comprises courses having a specified number of credits and lasting a certain number of periods, load limits of courses for each period, prerequisites for courses, and preferences of teaching periods for professors.
 A detailed description of the problem is given in \autocite{chiarandini-2012-gbac}.
 The main decisions are to assign courses to periods, which is done via the \variables{} \mzninline{period_of} in the \minizinc{} model.
-\cref{lst:6-free-period} shows the neighbourhood chosen, which randomly picks one period and frees all courses that are assigned to it.
+\cref{lst:inc-free-period} shows the neighbourhood chosen, which randomly picks one period and frees all courses that are assigned to it.
 
 \begin{listing}[b]
-	\mznfile{assets/listing/6_gbac_neighbourhood.mzn}
-	\caption{\label{lst:6-free-period}\gls{gbac}: \gls{neighbourhood} freeing all courses in a period.}
+	\mznfile{assets/listing/inc_gbac_neighbourhood.mzn}
+	\caption{\label{lst:inc-free-period}\gls{gbac}: \gls{neighbourhood} freeing all courses in a period.}
 \end{listing}
 
 \begin{figure}
@@ -631,12 +631,12 @@ The steel mill slab design problem consists of cutting slabs into smaller ones,
 The steel mill only produces slabs of certain sizes, and orders have both a size and a colour.
 We have to assign orders to slabs, with at most two different colours on each slab.
 The model uses the \variables{} \mzninline{assign} for deciding which order is assigned to which slab.
-\Cref{lst:6-free-bin} shows a structured \gls{neighbourhood} that randomly selects a slab and frees the orders assigned to it in the incumbent \gls{sol}.
+\Cref{lst:inc-free-bin} shows a structured \gls{neighbourhood} that randomly selects a slab and frees the orders assigned to it in the incumbent \gls{sol}.
 These orders can then be freely reassigned to any other slab.
 
 \begin{listing}
-	\mznfile{assets/listing/6_steelmillslab_neighbourhood.mzn}
-	\caption{\label{lst:6-free-bin}Steel mill slab: \gls{neighbourhood} that frees
+	\mznfile{assets/listing/inc_steelmillslab_neighbourhood.mzn}
+	\caption{\label{lst:inc-free-bin}Steel mill slab: \gls{neighbourhood} that frees
 		all orders assigned to a selected slab.}
 \end{listing}
 
@@ -666,12 +666,12 @@ However, We do see that, given enough time, baseline \gls{gecode} will eventuall
 The \gls{rcpsp} with Weighted Earliness and Tardiness cost, is a classic scheduling problem in which tasks need to be scheduled subject to precedence \constraints{} and cumulative resource restrictions.
 The objective is to find an optimal schedule that minimises the weighted cost of the earliness and tardiness for tasks that are not completed by their proposed deadline.
 The \variables{} in \gls{array} \mzninline{s} represent the start times of each task in the model.
-\Cref{lst:6-free-timeslot} shows our structured \gls{neighbourhood} for this model.
+\Cref{lst:inc-free-timeslot} shows our structured \gls{neighbourhood} for this model.
 It randomly selects a time interval of one-tenth the length of the planning horizon and frees all tasks starting in that time interval, which allows a reshuffling of these tasks.
 
 \begin{listing}
-	\mznfile{assets/listing/6_rcpsp_neighbourhood.mzn}
-	\caption{\label{lst:6-free-timeslot}\Gls{rcpsp}/wet: \gls{neighbourhood} freeing
+	\mznfile{assets/listing/inc_rcpsp_neighbourhood.mzn}
+	\caption{\label{lst:inc-free-timeslot}\Gls{rcpsp}/wet: \gls{neighbourhood} freeing
 		all tasks starting in the drawn interval.}
 \end{listing}
 
diff --git a/chapters/5_incremental_preamble.tex b/chapters/5_incremental_preamble.tex
index eaa7101..4cfe004 100644
--- a/chapters/5_incremental_preamble.tex
+++ b/chapters/5_incremental_preamble.tex
@@ -41,8 +41,8 @@ In this chapter we introduce two methods to provide this support:
 \end{itemize}
 
 The rest of the chapter is organised as follows.
-\Cref{sec:6-modelling} discusses the declarative modelling of \gls{rbmo} methods in a \cml{}.
-\Cref{sec:6-solver-extension} introduces the method to rewrite these \gls{meta-optimisation} definitions into efficient \glspl{slv-mod} and the minimal extension required from the target \gls{solver}.
-\Cref{sec:6-incremental-compilation} introduces the alternative method that extends our architecture with an incremental \constraint{} modelling interface.
+\Cref{sec:inc-modelling} discusses the declarative modelling of \gls{rbmo} methods in a \cml{}.
+\Cref{sec:inc-solver-extension} introduces the method to rewrite these \gls{meta-optimisation} definitions into efficient \glspl{slv-mod} and the minimal extension required from the target \gls{solver}.
+\Cref{sec:inc-incremental-compilation} introduces the alternative method that extends our architecture with an incremental \constraint{} modelling interface.
 \Cref{sec:inc-experiments} reports on the experimental results of both approaches.