From f1fde71d9f2d163122d74da195049b27898faca2 Mon Sep 17 00:00:00 2001
From: auphelia <jakobapk@web.de>
Date: Fri, 8 May 2020 15:04:11 +0100
Subject: [PATCH] [Sphinx-Documentation] Update chapter about functional
 verification

---
 docs/finn/img/verification.png | Bin 54544 -> 0 bytes
 docs/finn/verification.rst     |   4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)
 delete mode 100755 docs/finn/img/verification.png

diff --git a/docs/finn/img/verification.png b/docs/finn/img/verification.png
deleted file mode 100755
index e95a4d98e3b6c5a46ad6d4c2749679831b740044..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 54544
zcma&Nby$?o_XfO#fJmr-l$0pl-6#kM(%rp;bax4Yk|H48olAF0O2g9K-L>TMKI`}M
zd*6Rw{@}WHW}b;NGw0mrK4*R?%1dEml3;>BAZ+PRAC*BM<aQ7UMF#^7D3QIPp9g{b
zLDC;TsJhP`q&`cL+g$23zgoB&JZMPlFl1w)dix`5=Xq{1K28h19)Dr%UWNeQMs9NC
zMh>6S?ux2ZNT`bZ(kEIyd3>sAu_KtSqh-r}T@ttXknKpqe45W4TqONCWY$YBeS6mG
zVao3zefvkK7zS0)^Z%d!6gL=nqkhvI$_XT0aPOwV5<}i#KHcQo8zsDyGp46O^ds?$
zBoRyY${kKXNa)vf-?r-5Aa8DJMphQ9cGKHv&Mh=iKkIR)Q)>$|*=AY9HJH1Zqu8IY
zvge}e@EKp1=KrZz+T&L=+2_$sKnN3bTAZTM!ngd!$TPBmBm4Ptdd#n+S}J;ekMuo`
z*%;3pvqJ%N)sQ8wFXPq<X6kW)ZA{y<X-Ux)T=aj>vu<E09xgu+Yr}ul&$GMhO53_6
zFFO~bPk%mIv-r5(UM~%e=w_@VG4S=PpJ_fnWmuoxwId3oATx13_SxSJmP;a&mX#5R
z{+(8l?-`M#Ao1|h=ObLn*4XiEz0i_)xvQ%uE%t9qt<<pzby|XH^VL;I&sVTjs9sdM
z-Gbeq*2OoqcyTFFoBOM+dB2i0m3@Em@3JQM3Qh)rXXLT}gf7;5(P(Va>#nRk_3mwb
zl%BJ6eoIt%s^OqsbJoY;y81r<%f0F4lboEi0&V8){f&)S-!1m~!eEZi;2BQl?D5{X
zN(PGh%OiB(B#t{hlifWs-@@K+1|_@~h7-9`>EfQ$KNDh`hpeUiRyxoS8{J{+O-uJ{
zx)jEIXW+4q!Z^2$TeT4e-gnhOD;j!7rtt0^Ek&`uAnaJFS(`P2<lQ@uv{L1oxt_;{
z%QCX6E!NU<feYXAhSi?dki{R;QZHj-9!G@AY=vehfzIjZA|P)(0@!5bFJ$0LM%m#>
zHT(CmX^Az(UoQ9Rl;tF3dMfR{c-|5YY3rUW4miDn<L@B4vz%+5Y`u1`bBwSH%c3Sj
zoJM4@_xjpP8nl?x%WwMg)1`n6#;LRVm><;0Xgrkj-qLvCxa^LZN41Ts_CJ%zp3EFh
zO=zasi&uL0Pp%9f$%&V*uY<Dp+VM+zrkmC$#i=Rk&Vq_JC&v3wUOX}g4<EKprp9_J
zHnfEOw!^s<a6a4E&`>B82OAsz8rOBak$wX#s4x9X+Rqg@yr@hVH~8!6<>c62(Y_Zv
z<#(DxhT~?xFm*MKlQ2Df*d)IawN;QdnScs48kX<1=2yW}DVN4@;}Q$Row)h%0OskD
z^WObfkVKOlzvMmASL!yUpjKJz_u_J31M3BqhVFv!q|+ChM2`K#bg>qkR9x=VvIED_
zL-_@=%YiQXe|Hr8TMCk7wK*k7bikjLD;@UfD(Bub>CX!z{g4P{WfjpT^S(Z20)7rD
zi7X|ly;PSgcu-dkYc|mX3S#5IicW6E<5MhcExS@JjyO{5IWMRuq|3DBOL?>Y*f|Hx
zT)V?C&KGLi;7hdme=6Y3#GFR`g&VQ>xe`KT-4-tpQ(*X^>)-&R^$-e~T%}u(i=lC=
zukYNXJy(A7=UsfYM`iE%p^LEH9AOzQ>$glTG;ZyW-rj%al{V0*fe924oxOeM^=d-6
zcx+Yi=&f2(?DsUEW1-aF`j%3v-=mleMVjwffJ^-miY@i)^s;PZ0MfGhUQBFFL#a*n
zZv<jnH|FnYXx{lPo%XZz{^8cRkhPfGny9|${6SAo7*cT4(xyE$haNZgqHt?k`tgG}
zF74ZTw?qkOY&tLENHr7eOH1F>KY%qPN^WWrFZNz1uB;~}Ci;jMBICWpdvvxPcm`w0
zMLEAS;Bu4(W=>W0UErKk3iwp9^+rx^K-2%`ffdr$HrO{<<oJfO>TE`_pgrg9NIGO^
z+(+<I<9gIBEp{T%OzCoaI}$P9LAw_wgFKc~Yab^M_V5B5;4fo-Z7=d$?6B;WSa5|K
zsK<S|Bc?(IB>U&y*muP6tJPH5xr*6lKMd9A!2{USZIP>d!a8M*ZVIZk1E-|pu!yL1
z!fuRzo3Tac&1pVHC@HDFx&BmITH{H~jao?e9XYwrPXPuf#*1BDOkfU~7#wYc)i!>w
z&vot-dz6)-k%{1G4valk!P%HIf~`7h=Y5|6II#EQbmLTr_9yYQ?`#~QTg*|M+VB6m
zo9!_r8b;9kB>i;04=7Ke>#>U7!k9{_udMYuyk5HO?0&07{=j$ND%SAu?D~pyFAE&0
z*gxcw(ejxzX~k*<xVr*6bk6^Vd07htEU&7UX`V`#?B7VLWrFOxeO7jU-*4zq>K0rc
zcV!Z_iU-e}HB2`xt3#5H>bIr#GVTQhzRcNGeTS^S3;<M22Fb(0g{K=1$<$+yjxX;+
zrB#{1#Ay+Wo!;{K7X4a(nK12=`~L9}9`D7Gn+9yjM{vn=JEK<VVvj|pg1*qwisCi<
z5m#RRfv)T2B`s%F5mR_k#=Vk;^?|sjp2BdgUjnyZVf4?R^`Z=Xj?FKCl~uhWmOP-2
zlCzlK9&VD-hs`HHF2T>NT7iB2iW0}cm@Y3P&qKm%W#oJ`zDQ*M*x5q{gD>rjXS<0I
z)*c#GTSJH6)aj#Sd&)CYv(xWxYd5&y);4U6=aNC1kD|=e-IQ!(ZU}QV`jf`XpmCx`
zuKlcj)gA*=qF}IwS0i!}#N;xm#_ea-p#jZ3_^P75J}A}9W81#_JqDF(SrU)Ayys&F
z?xWp2PP|>r-=PxSNsg+P+e_ZyNZ+}nV0Fmb&sH)MI**yrQKV!71|~Tg{ag$hrLN6t
z$*#qNZIAcKks8%Mx;QkJApHT&%V*%Rv!SWjzh*D$u1qdBbIeuebmx{)W5c~d!ujwC
z3EOBw>!g7j(N8_@1^X$w<TT4Y4H+IRIy?6$oztXIL(6*8V^4P4^_KCAE@xd?^ucKg
z2kg<$oY!jVjaaBCFCYLqk2d&f;a|@1*og~@tos<;*U2fr&UTBP9*;4=dJejiHQPrs
z*Vi{nSW&@%+Td#RyPnx^y4b0zmK>VPHx)q_;aW(F<od~5_hev7a~EHx%3}07<&v4z
z!pn(B<Ab$iZV9&MO#94r6izCHUx~iBf8(r7s7`QqGo<(45*@62y2~6fVpB0sfXDfx
zm=8Gf#?tgS!nX^zFiE));k=9Br8;b`uk5$=){C}`9M(xI>BW;JKIN0$@j}FE9WA#H
zrTuD^`44%}I9hgYxWc#5QAefCWX!QTm!{8kO05B;<jkDKd-_%6w@zw+_E62SZP*Vu
z4ZYHzfOD*WOFR!(+^rA+Up1)@+iOea;xW%xdkMZ47<u=W)<AyAuKV=hf)`6cCbTDp
zIcj0-H?dZn8+4bse8)!3+xshxh-LpI8CB3IgzF?Tx{lXo>CFBiID&bdw4YZ<q69k5
zDbH)`x@3GlF)m&$!!>#8n#d6@+wI^|N2*|Is_xqm?h+pdKmwbdW?TiOybo-re;?ty
z_SU)!=1LnVfS#`8ww{QwVL7tD$t#-tqRDCcZGb2@G-+wU?`Qalf?RUyW0PWW{9u0^
zMQgcD2p&;Fs2wjbMQ(<VcjF@UZ)x87I3JHHNzsq2Wcp^)2o5$9cM(uf1-;QVfpg{V
z5$Jg_Ne>iUoHM&&^ZdEwZVFZ%0Bqq1_ONYZmgK{2CI^p&y0YULdxUR*N1^)#T26K0
z^Q42d=4W%SGhPQC4=L*E-hZeHb!@n$4pI!-yCuDQcvmcQMK7m#I^0|QCQGWGX6=)-
zoS?_jH^N7%nf?4Pmnr<b%O0#%El++fFFD`+sII=4{;cUTyA?Rl`srHk+nX(JLxZJJ
z3*b<{k*>ofQLO<s`aWZJ7N0nxt5A7FWV<<iKW)-NPdkp`@@sXHwt9cb86Md(vgp_M
zO9jtu!gL&L-PR5|qTsBBxF7B*b!)V-hh9#{G$8?K_`7Y>c88VKbgADxFx6nWG&@VX
zuK>c#o^6v)bu-$}|5}<>q*@9u4R-A;M@>^&rzPDbj%#Hyo2)5Qsv0i)1h@Hy%-VJd
zQK_hKkg@x_Rt6|rqq60zCX*CL9~bd$n(O7+&0)L6t8HzUz0xquU-T+fMd~ftMloj2
z-p{f^au4?Sd$WcYs91Oag+EzxL&3f$jxk#5)^=EykPzR%Ng1S=P_*0^eI&2prl%~N
z|GR^$v32az3$3^+7<hYY3$4C!q0n+SgqofEU4jQ-4qBLJ-17*TreS+cac7vR7q1j#
zifH<F`t$%h_D5FuZb=IwU3CuAov97v9w6Xt{WHeZxf{n3#bdE>{q_B%#?V4z45YDj
zdt^fDL@8e%WfR#z<I`lWRnZrkW(;PU*88oogoGJpB_kfEw}1qzJug~w&EpP8Xpib)
zFf{%j-Rpqvz$XwGtClDxMOFki%)$P!PN@)n5D-t<b>x-0N%%z7ahP`BhG#G*&i{?v
zMo_nPsN@fAg9)%yqMf<rtHcs-gO<ik8VwG8&vW5or-cS)on?b)m)|N)NBbms5ds+c
z!@`eWvmI<<rTS{qT>0vY$Mor=AMJWxzKp?1xSUB5L<j6bxq#l}WzB*oHWrN{oz8YW
zAnE*J+bM75Cu%zC#>y|pmMP8q58SY$Xu%<zm?;Ud_kTazF<t*Sd#VRNxpoTCt*Cfh
zJpybRRgr6InRlUfgtn+jPJd+oNl8_5nytMnv@YAb`HDqBZJ?0*gE&;_s6!#_8H+$t
z>;~~q4Hsb@-5FQG&6l^TW!g4g_+)E<alDu)9bpDMp)#3`x)iTa1AB+N^nGqVoiQpu
z?3k^qoE);;B{B0i1a8Wec~ChwTAIVri^kZ`JDh6(mNzyrA#|esfRXuJIiC^YmGh;B
zB*8#50%d-;s7$g{;8Fx8^|l^R!GZGzt^_8%!Oss_4!s9A9ZOqk?;c-g2>sc1OH2CQ
zD!4beE(|CV%va|+@0xB$5)2-fUK2bmQ_F{wZtD5PF=)(YFDUo(S33r*<GqxR`GRlT
z(2j@uvA63!rU_FF<4FTcTkX7}g3R6sfVIL&HJ{{&PZTbns4k*KJk~YuK@h;3l-oxB
zg12kOXa4>A?<O>rS4P(v$p@zgQN|xJfT4}gy@oDZ7{TfyrAAHl9%@+6ewVUyFlq=}
zlB~}6XX98+l(fj3;HuPSPV#fS;~t{CB~4opG~GDb+1aV9?*x3AEy8Aj54m7f0i`C_
zLmY5nXV=8UvtspPhhNe%Vyw4}bYUl^vyF@4&%yzpsz6@DV4C=xRFkGfptrAYP~i8k
zxXJSBOU>dVtpTnFj!o$c!mq5D2aXM9_H}@ODV5Hz4xv@W+pkG^Ed_XsK<9lkPXQcv
z;A2*k6Q9N4BuDL{?9m+y-pR1+{sEViZ1vOCZ4PcM9??Um3i|qfySjcQ`N+q1ord6T
z0kvvPiZ*Gs44;rTU<k~|elS#PHaiwa>(fIG7nb{0@&u2^x`?3l`@r${pWONtIl^r_
z^`~EH9gRRp(*$+8^ik<)5eE;m@VZpEss;P?7<<no??o2Vo1Fk!R?L)vMPNweoM&?`
zJJv~g&|~lB&}5b8u1Wl``)3N%{iU${wF$78<Jo3JQkvJV%4emk6<lNC0`HZ{qs60=
zk7lglrs=CV0RBf(3_Kqh=?4(v4yTH_g9_%_>R2o^Irg_JJaMn;NGoC~`&`E&GjmV7
z)>2CAqhWq;!puzP)(B6sAb`Tus*!9Rhrb9cp^BQ&$Z`V+Ca?K}+lxu!<dg$`mQLBk
zZ#di47T^;QNun;ablPp}*p<r-aN&yH*EH_@k~U9wS{ex_ASH2b-fK*^+M4ocD8IeP
zQQLC>K!4&5bCCPtA#TJTe+`yzV6@<oo2>Q0t0PIkc7J$t%zL3(?Oi2_$(N|#F!!!?
zuUbE_ha$q=_$8P?%z1Zgeh&mpmqjbC*p}0;)uw@wD(Gi=+<cC-D*~A(*$0p+S|Ch1
zmvoQs6YrLy$<%~cXEB;YN6ge{5ZCDwmshh3t}t<q_7Nv@z-JIG*6*yEW|OzxakPOg
z<vZ<jUpH0B7pp^j_n#0xY;kSk2^3Tr1KbJyGl2$@vIHVIPrQM}r&K}rIZisYt!?^&
zRe$fWPy39_Hj8MjCJG!P^dL3+laEmX{YoO4;=mEX&U=ln)Fj_Bv^8=qaHI&hRTLf^
z995AHP;8&PLEq`oAVR?7iaU^&kvH30f4&x1C&Kn+Ybuwi-FU`Cfe~3KMh72oYN>C%
z;7_U&Z5X_FCLwJ~O|~sCr!SjJ^YF7`zdTtnbUA*Jlg!oFCmU||L!@{!ovD}rYE-J(
z<F)-2o#-MH2yyCsii>|*s+GU=_ifa6IgLt&teClL+l5Rb+B$b&Ox}==Ef?#gPlFEN
zfAJRq2V{y}T=SZJH;zA;_T40hTCCL0;JvHSJWlKre8YvD-H@#8Y(mF60M9v&^AG7P
ze(0?`Nu?@-s_D^(J<k%~w!-SMLNl;KGd5X|olfu6dj`yh#SNg1r~yl<5DSe+#4N2Q
zh<NxMB5@+o6sb|d3z-e9w*f{cp1e+Z#kq6+s`ck*63-W268`khPP#Xy;ioYJo7x?z
zh@LWHOG<(PLz&O^X;m=xch9d}CNai`fYYQ*I>76LCB+|0E_48JHnvCw(lO^160w%|
zG7qc%(I}Ak;gg^L$yy`14^MLZ@z}ps_(jtN(rt4t`{{Y>I@gZ+#XLRFIJcEvg~LHc
zU4Ri!b?ol)9?`?13X&<C87yHyXO~(flamE@?3z=6NsMUiH0OW{8?eYS1(I^Z4d?e$
zHi^VcDZP(AE|FuEa)SMDK8_|6<%<4{!tGvNyNb6|4u>xcJr|R=4DYI?X^|smC${1!
z#Yp4wpxlcmcAZP+;{J=djoe?BR<)m4SXCb##Lf$&=u&N@nlh>Yum-RNVWL7Jr~V%F
z>3<K&Gy7C)|GLnOBn(D{g&9zgk@+xCvG4j@p0o-+{;9QUylT8jMuLep?~YaAxf1rY
zqlX+Hj&0X29t!B4`YcwF*vdg-8#qNoR(}p`-qN#(z+;*ZVZ)p~R1g7d(klzVG(s0X
z{vl1IPh{x-iWBzS7s1|9)6lr`@_;h?6m9imuRNeBWf4CjgcmX#pmw(l4lrK4{5A*o
z;VjmE?qwzZ*reCSqvd10I(7TyjKbOD`iGnXG+PE9N}IKrn%`?2_ic?6a{Kxoa|2Cw
z?B&DMdtzsgm0!IlXA|rD<-3p#{7v`vHo;QeIwbawh&dbwN^U-*ICf|On)mdedRpPK
z!Dr<+!|bHnPJ;2;nm$KVMYgncIiZ>7=9l=5iGJ_~`k5b9A8>O-ahVj~%;`GrHqxE>
zzrbXq4{`fx=^2lpF7$kD>LB`FUZ-%wX3&sc^PkY?(}l~1Az7U)@m7-h+LDS%tBu$s
zKHSb1&;_ACDS}52EtfK>l^_g**gu34z+9<Vi6u8@TUn_+9PZ?;XdYdb0u&pG3Sn2r
zkJnwT3!dga6r`m28Y<#hUkf<(96fIvh!eH)iC!_@k7-tp$omBXeVq##YRC?<9H5A0
z(!1$byIBp*xoAWtb3KIEvsob6kR5NEI^omPr&1=sLc=k?;y7cI@ap|3v5O8k^NTAJ
z*8&Cc{v{td`nNv%+~jck23^5@-Y?B(HFcs3c#(wp5(B)X59rv!DG3Ms_=NH0qe9!o
zD5^`BD$sESqtHJT!rq%xR`0byKheXVW4^K6sjSF5U7RnHYf`iGxlRv^=IDDUIAwiZ
zs9Q64H8WE`GRR?}7yWIiV7I|3j<6q_`hHB-I7unI5=4nhM1}88-|P0t+4&;vv!FrK
zT56O!d6Z$GV^_>CPd4_yoKn%Vq3%1MWaLE}PQor1*xvXfyg_o38$K`+V*BaZ_bf=3
zx%*EeV!t0JDyE(Lci>WlDcDoEcK3*+#lKu5<hJ%aV&ssB^)j^w?rk{jvwxrYkK3DZ
zE*^Cq0)7yfjIhWcyTE$e%5El=_e)oM!5M|fQ0js7jdW*?(vq`33J5q0V!rZjifMN7
z<SlK+Go{APx}L`|DoMe!Tz?)TZ^1oHj!LDsmv)USYgeKwJ<;a^)d0cJkL)jG7^L{*
zGk>YU)L>~{sB_4#^Y)Vp^!0T-oVaOdGfgWIw=V~nl*-~@`LlrjhyMw+=>4Vo1gs35
z{2??<c{j0Y=NWa~k{0^HQ4Z{E{F6*Elbi9{Zf>!gV%dwYJszzMkCgv6P@f40Gygj<
zwB*TWH+y!5bR(#3+g(SegTtxUQ01X|l1$-r`Cq!=&QK=RWfHWAO3-(vq!ceW+IgiP
znJa2$sLDA2xh_lR^={LF{!=!@R9goVV5@}}gG?=Rp4`VDvS*6)tFES`A;X!kslPjE
zSN{X;{m7Jm0EPu7dD+tOi&B-HB&RuBG~DY-hvhw-jN_0uwQPZelo00fRQb)Gx!PZm
z+)o@}B7Ow-L3B(^c}8?K1HHSTd8PC9r(doTxxU=z5lz^YlmT?C^efTz-75OamkXh2
z=?<^>0dv4&VJiRi13%~^Ii&eA-~}n^9sLz5)#KJ3i$Jkb%w~>|s!)vn&0QgaZZ;#k
zU@rPK&Il$?;`XBlqk*0yF=@AIQGa;-CyR1}V$(vhZduoL($Bqyd`9UFM^#ag)4~iL
z1)h11T9M<8mN~DmoE8%3BaVl-g_)7sa|VOLs`)7$G#s<<Rg~{JeYgekZ{(}wUw!m&
ziL@Fm_}hjiDiG|54Ej!4GzsvZ9?vYo^ga~aPt0yQ9=^VrNS}6$ep;3}&eC=jY-6@q
z!m&>$2q|0mA^n&36_buQF)-5eLjnB?kx=^R7Yw|Muki4i9=^2=&;NNs!`E<l6jIyW
z)n&<YE!l86yf-q@3j#&=rUv>#Fiv7-UIq1+Edfrc*OKn_tOyHB$52bB<RLeOs;kD|
zvR2E%pu*Uvp!Y$i6JZcC&g1#>au$p@xkdaNAE(v)riSt$v~?Q!`SjQWe&M@x3Ken?
z=*7$jfnys=F^qFkqZj@FJ%pei2*vtQK$MlY-#$u7rH7ue3joC7dDv4lkbn7G=9Y1s
zbCD%{#z4it&NXP`X;)ibUiCkNco4yuM8mx9C!p`IlenxhqbbWehbdLPYbF)VS%*E%
z2??W5RuFtx!zGEP2^wPXRR!Rh@g~8}sWeG~Li2xfw6Wg19GS6Du1XxwqmgXad@*6t
zYY999fiRqc!+kyLJQUJ{OF!%k_D4oWF0r5em0or_#ZV|~&5R!d+@;tjp!W&q{W=sx
zW9;k$<vbV!%u$xUqHRT1BN4iMf11q8v)bJj?z|9-3)ceB<%>f{OQDqjrEs(W#mpqF
zZ1p1^;<qfXS0e;ECkIQd*rd@w@7?k6@JuEOy{78M#>Sk#i}!^{zI{tWrde){O&E?r
z@>aM-Iq!6Co<bQ|kCDt}igu461%xBb>t;xgIF6%@^B5L3F^xVSsHm!{fc;ze2I8dP
zQ1P89EfpTjEtI4mqlAz{i1HHP6t~>t*Joy@!C6>Xd?6mkev>&OuP`KvxYjzOmxWLI
zs95l$e>euPTF-Y-UOoX)-q+`>6R4MW-pp3IG({{gdG~4qCPM^@E@b&Dl1wc6tyNbD
z&!GVM#+w(jscS4>{1P1o^aAN|LH;MC&t?FHR5^0I^yt0#*EQZ%AM6=Wnn!C9#w-?{
z1!L4Gy`sjW_E)Bi#XS8p=n;z!dQX(O(gU0|f`&oBkFW`gh?qCI{rW+Z8vn?%-TI){
ze8`~x2{MzZZz2mZh_V?$$i6byK0@euh-yPW4U}S#>K*bon<a=q%fo5mwt~F_==fRg
zSpfYrU_L9+6?ox*YsKg)qnlscSmxNEODYQ)eccrFM>^@i_yKT@<_5kYdF$N|TaNV;
z3EWyD_7F=E4mtDxTs_Rm>K#A*p-i;)>9?@Fi2^P2cu#*vBTzb|Lqs1Ofm`D66|w5k
zEdWD>1MDRIspsSM$pE$GF0ssyQF}}B13XOdWq4SaC|zKu1k&(De+dAtup$6GvL>7O
zPzFG^Cgsv%!`UY`^N=5rk@}XN->t3jF(oz|b<0`+gPlq>k}+c<^(ucI6$A>(M;fM(
zHeOkQ$l_MK!V4FZtDyPpc}ZFx5Qc<LC>K_$iXn-K1j5kcTJ%{rWA1NGg~PDt{hvx^
z=E1qYY?f`i@WkewqZU2~fif2%0DoQTIQxo*=-aPxJ$Cjc_|=F)q&=1Yc%B%RuQL`H
z3G{pwjR+V;8jrPQZH`+PHKQb33<zX?1#ZoEdz5gX-;6wjVMyE~>JNR>F8dP+<d1Y^
z^p(`8PO*IV0SH~RBt8Sh5^RDP3EdG21RVrI<6B0Rl9D=ZN6j`=t_vS5Io@qX-JFfN
z2EvPUz=l019m@xZ3g7uw>X(D2#B?i;$q}bb^i|8?MiU^Ij?sJZ#CNgvmL%~mf#PzY
zycpw&EOk<<-|83N3n1jaVuw;vH$-APxiDhEM1&dZ2rMiFP>oK%D1?FP>v>QZfKAe6
z?P+Z_Flp4Wo``WiZci=y4B!HH1;o$~dK}j<J@p+D&QK~SHz{~Cxs;kvZ36HD_bW&s
zP=*+Gxx49L&=3IE0vkr0t%-{;x+SHgAl}x0CJygsfF|u*Tkt>zXFm<+-PTZfhk~q$
zHuY4`{p(B=5a>OnQht3>!)0r(%ImYbaXpslr8eek7?rO(F!pnc33_?U#5}3pA9CXG
z@$*C0wk=X$dqfRW^VRS#agWqB$MP=)&68X_JhmfiaXL2@z<BQ!9o9?Rpl^xK%dHBU
zYb-{~l}K-*5fyA(DCVmD_mQd?s%d+LlDR$IQCL84U!yhPryaiW12xbKW-U!#RWpeu
zUB<N3t2&?idZ3;%p<(Yf%}Q?njNu47PK}I{0c^W2^#rKth@{z-k&%aYT(D}GtSV}8
zZD&R+Sa1HT%WO|Kxa(yBdL6o8Be#Cd5V6<W-A!TI59}ET<K3LzoK{trTvvbQxP@_)
zNL|Tx2ymQ1nL)uea-Zz2tXFDh_*Gx#HW?dVG2a^ti@rsC#h;cWv>vjvV-bOS&@+{}
zwiocbbiQm8{oj`|F=ou_$!TV&wKxP)6*A=Mmq+92*QdaD?+Z9!otwRvk~(&^6>dAS
zd%sl}-B3hdBf50)h3?Aaeh~W6A}+xoAaEPg`*`0^?#l(#J>P47ylISKiQmt#bf|Rj
zC}69RzjCkTJY)wdgPx^A4)f?vIA?@Z6U=bxA6Mn>HGy)<lwgUl9}$aow<))p!W*Tp
zxg!D4b7BI>-@iQTPOi@C<9Ev$pn~=?)Su!hq9+r4K7<b5bt5sl`N>>2usL@(Jg%01
z9Su~z=X2cl5uZ*>GsmgLoh2#g$hvVr6xUY*feS&*h1dHbTo<#qg?`C?2^7Fx0tIox
zM9*emd6ym(u#mFh5@i=oQA92Zh8x#}6~MaV<~>@5JqfpNdF;)HH%Cw)w(%n}42$?Q
zb=Ob77g@3_3E}jxpZ=@BBst@@(={{;2~!k?RvnY=UnAE3{;k6<!Sol``Z3K8j95k*
zvvt5-CE&l9?SJw)+(kju%9`k^pyD)>s^@mhB!U}iMq<Fcd{GQ;OXcb|-u$D0JeA>M
zEf8$C1uveM*KEDXs4(9Aecz^0GW!C5+wA=E*Je-MdO9Z$me0)0NuRyR;f7^TD5Q<`
z>ej%gf$GsaG>ZvLgnwD@V32uveK`(6cD3!M_nM6UJ$W;q?$C)0q7&V^-#=dm?qt4Y
zh_OS^i{J1Sz+0y4N9{MYX+4)uw{E<%9r(^aUD2k)xjy92ZIS3qCT@w{IUOca6~0+i
zCwdKW;1~k4r6gazKkLZv$wNZ%Rihw1_RH{}6^sdBDbY_w9e0kaAy<=^n9M#u56$BP
z+dbAg!>`O2%0Zz1cz~(5)Llu_{L?qSvu}5xu`_5_ymZrcPYTIuUB34T0F$()UW*|?
zbLo;>hHu%UbWq22W4rn28FmIJOEn+F6;qNmVb|{a*Z4Pj@I#ho65F4Rhf~osT}Z=U
z82U|TlRG2Z_+Q@ftDq90V1ZUd$<r^+h5?uzRUQ-_3tw@xakp6t5hb`xnhL#G66^~_
zBfK6q`r4A+ZY~DNB>3S(V!nSKrz3Mg(#F;E*Yln2QRg3_$gFT9>4>sHHKTcE=hS8s
z`oF%WOH3%%N%~FtrpA}EbA_BT*8ZQZc2KmV_F-rS!ml`QkGR^42G(*u<AeQ6fp02L
z;Hkd}htH-^2zli|82MCV021}eN+6;(p5S7q_pnon5c9~rp;;@1VG@xgq9$Uka$&ZP
zqaKXJ3hv7m{;bfy9Lep`Fem{w|Iq}#?P+s3I1(Fh3a)+j`SS@l#Tg~u5++ZkDQaAO
zdRb}bTSGy67136XkC7UmRnazArV&{<Rh8wtby})>Pq8obOmI6(^PxxZi84N>P`G#V
zI4jzW2fY6&tV}AdLnFQH#zlB5&c<PX%!BFMRCa@%!DWG~>Mzd=5xW`*!Cz@@i%KS#
zDS^<Rb4nZI6DA%+hQvw_l5wFMvY(ZYs{8-;U+TB+wryLbr9*f&O2W7y_so8RQ=M5i
zf-tqE{T`7xicB;>!`QZ-r`6=KdXifa5qsvG*DOxOzEx1=m2e4$4nZ~0>p6*6B4CSl
zHsX1IS~K?yd{|74QzWy5uutmn(jJd%<zlwDzG$~rqiND3KRL6fxPR~)7!cy!wsM^Z
z6=Rj0^T77GhSde6+26Qp_h_kKwaWY|TPc~Z8F}m$a5I>Z?Dv3kG`AJ?Hlb;!7m~Ng
z*?W)}=AWt)U(ab+VwIDhgceB&m%EcHPipuI3xqp4?2XO7Iz*SI9i}U0MJe%gs3mKX
zPqAdaVxJi(OlyH!G|yMHl#mydY|3U^*%`DwxG2E?7Fpf7t&=^VgD@ms`Bp61cXz$!
zXi*ZlVjCnlbS%9d*gubYMLV}s+!;sKau$h9VChemTAdQy*$*D#)NYjCCVk~K%Ryqe
zm{Y36BpX<LYj^Go{#5Ey3hxj=li)oZsV;fYo}F$rRW`-4J_n29(-{{yT@FXP9@!nn
zYIr9(Nhpn|()M@P!jk<;%!K2d@qes2cU7tor)=9zW^3s$MSnCG7RVmIsswYly9)0)
zZQqn7itM-DX;)>>Tv{A|-k;f0lB|6%oD{so(^Z@4Ork8I<CEwlNTN3<Z$Er?3ij7{
zbQ$&=8M$wZl%spn(<C>eq?a1_0NS+qeK<j29&509=#3Kl*wg7v^z(&!L;PDgRKRXp
zI;?gV%XwXZaM+vG3~pGu$vFnNP#b4G+Q_eX#LYR{hcRNI{-tTc)8-#1c?>pRAYBcc
zPq>=qHN(_2zxYFZ_@f5AEV%MJrY%t0I2Izk$NmhDY>yh^RMB=?il+1xSSEW8l|JxM
z{|5R}M_pp#G??k#74kDra|rNsPEby~7@t^AeAB*kX^~i=JeB>>P&MS?7S8yS;U_E=
z`cr_q=3QZLC5ho(U4dWAGS1AHl|+2$GUP^alWWTr{lol1F?J!-p`&8ZwC~S~h|1qe
z6Pj(4Yk9MPnRy9)gu{(4BmTSz_P7;q!b$ziee-RwOftm2)mJU3kPmI<M#~7T+wx66
z6vU{UyM8e|$sC5nVrbDK;B&(fJiOWB^gYZZ#Z>>yi7ov;2JD&w&W=SDeD^+Y)PTPo
zUee1+Y*<X5KXh@!rml^myWm+J&&otw$Awm3&EGD8tzs^f1vWh&;26OlXrJ3Ib~$v6
zZO}+QvlSdhCqBl1VXjI9qI}&4n7^vsXaN(vPVNUPf!l0=V&J#$S*;x;&616St_TRO
z@C|9Qks7x2*VtXikSX?3CAx20Z2%%UPT4`8|I3N_jo5IzQi7ParGLa=c#Qq?F8&gl
z1f;xk2&8kFFuf`}Hc&Zb;(%5DX0XG;|FExZ+#HjXM!`n7En*{AQd7KrGlD2<y+(Ap
z&9zzsti95)59OYMwUP@APYi=VVn6OEJPy2|G%cYjSPGk6Jw0Tj<rL<xgZqd5RFeWV
z%F;PWEZq`LlaXA*r4GC$4i_Yq(CW)EiXqb%@7UXAY|2HUwU{{!8=HCpLthfHPYxPH
zu*)auSw<#iwoYVIV*n$ON>9=%n+Ne!^^}6&2uf<(=h4UZfCSIKwFtgs08&t=NwLso
zj!<`naq8mY)67jL1BSeGO^MCth4yVC7lRKYZElC*r8<RTW`Zg=GwE7({;#)pWv!3_
z#rBGM*}7i0EHF>Q(S)#5A&|v(*;3Ad<SVpXi!2JxGtziNzh;(fa(u7hM`XD9`jz{o
z-O|S7jr`c|8j)eXLnZV@?EGH1#q6Eq)@O!FhQN%6n*&sH65PAVO4*RX7};O_e|d-n
zBn>vTNKg)hc&rk*owR&tst%nr%ijbSIv%M&nq910`&c24Z0*B;=`WJ>(LVR?y#AX>
zhoakFuqA9ycXsqTcyPKEvslW@KwWstMVqOboJ^9N2&?>jRj%#ngJiYBw%wnba*Itg
zLEkFZqw>A>Sy#*iv)*I*UPDrwL}P=SJHTUpf7p0AovgnraA16G`L_xRuZ3s^E+_K}
znVXJnt2RXLK-#d%ZI@d0+x9r;>+utjjYufG_yzsONLu?(6Um~hu|DW?4HDZhPk@pn
z2WGQd->2mWMDyzx#!rI0+`gVqQdN{M9E?XI8{xjtAV-_wF!FFw$si}|)iuQo+8Z-k
z^PbGs^HqO4v7h-queRJdENf5caBy~vlL+f1F^^tD@Mf}pDe{GS3K{X?4>fOz_SF3u
z@mB%^-=x_=lnd_m*XubSf-)<CR4%D_fQP#$&X^e6D}|Nx{p9BGw-mU5WCafgT&D7>
z9PfVh@yYAUh0t4G`rSF@@BVa9YR%@}+8YfiC9St@y&d$LzcL@*iG33h8ar!JJGZan
zF}zhdjE^Qk0`9LaA(LkQ!eC0497mm47YUC;I^{vv9$5-@Go6Mv^L1v>Clv}QG>Mcv
z$R#I=q9(jayKOC~ut>dQ!W8VSE<a~g6He+GY9jZx=`<Hkx~m#l)Hm2J9Vzj2CgLMA
z_Z5yLIWP9SAV2K@YR#6L$X$e5_r^Si&5NYG8rB9EG-luj7a8}p8OymhkAL#qYu|KT
zH3(ug`YyNb^=n1mwE4vioQQ7K@!I|dy(dA%e6pD5aAdIp09sJahmWC4e)l7ggG>j&
zEdyO|rBPAW{X~1Azl$3p^9zn>^W2h2vsTjbxzwjX4BShbnVeY?5+0!Z{n$i7T+{4@
zyoL#dxPcQ8_wOR(`T|t=XAuL$M6&EL*ONP<xih*4quno_Hi+)=IkAl)yP3un(V4|d
z0F(X@jD`&qD+*OwO)MCC7DUeUjZU6pZbB0Pw*eF?^>`O-Ly7$+2w_YU*pE9^xVA<m
zITJ0BfzJF^QW{=@Fmpa+{2Y9AY4E-EUiT$&!pKTo<RVRU!qf&@WD>t>F>gZsZVKcE
z`mwdBIvtqq6q+DH%9dT3A$hrz&dm$4NEumU&aeUAqjhbp7bA88dJR1n%7NuEnfX#>
zcQ)xYTx-w6?vr@Q2U$U=zwBsR+b@aU0Ld%{3%Qx56+kNw1(C-+5fTTBid%?NJrc_M
zb|qW3Y18kf03gu!Xh*Mzp`uZn%i2t~?4s)FLH8ROA_O5*JV`qdnl`1xO%Pi7sRA{P
zG8c^C?Q-<fuwCtW2Kvy^b4Rh#h_!(fgZ|pFv9$XeAtdiK_>}?cLntXQ4Q$<bs&Qg?
z*V{9Haak20M6)JHV)vbR<=sHTE;0y>i1L&B_PSay;GhuJa;Va@e~;AXw}MN_`UfDP
zf!aYRu>rt<b(W<ht1N*AyIatHC7O1i7-Z;=)GwL*nMKdsvlu=zu%fX|QsX!cwP0@t
zfrt$KD^GW3o`!-(y7bZ7Bz65v+PJy2vDg3}gUDZK<<r=`x&A#Po}r<CXYk>A53yA1
z^&h?l^Qi8zIL3%nJla>9TQhStJ;P7&?koLlV7&^W%y0n|G$I`eAFfBc(tU^tBO^K?
z3)huw@>bnpv3@guv+0ittMMFTyY;33ln4sRD3)@$?PY%?G$7QWg=fg5-w=luhJ^FX
zmx!~6O+LLAt2{i3?_xD1c!SFp&ec8_74GH`KV5N@E=Y)C{f6x3>~pb@wW`Q?>$Cyu
z6p!y*bHjTN8NoEq&}DSQ5)5M@TR@Jh4VOBWeZBooAa3|NDbM|_6BISRD^@)R={K<(
zN$sbeyASUkGgo31!d1|5Us;hdcww;t692itX?l$VHIeHwLxbGbeSz8%L=d37mPfnZ
z7*6eRgDt46oR@Y66R>^YkZz(;7>=qZPY_)W6=LvY%FaD@ecWX2DfGE38Hp^@jBXoh
zsWN|L=w4kBeY9L105QH>zixEt8KITeG?RTHBlu2yf9D)36{$I}!}(xEkvs$2N}jrU
zo0<%z+|$I5tEqLmudiX2kZl=R_F!7t(!HyMF<-S^{#HYqf)9dIqcu|Nu67sd$XO12
z1_}gVHu2wbd@SaNeF&yO`$TVZc~fR;hl)tIVMU_3GCS9*1`G;KktI77TEPr%cPT0K
z1Ooc0fm0QcP;Y<7S^}Hi$dB_b;Aw8)@OZNWnSYYj)(6JcW+z|fd~l<dWKFt3A<yQ6
zaqF-`u~KA*jtC97YO#owbH<cW)$=Tm!-;<@i8MPGf_E-%YNM$m4i$uqY@Ch_9&f`w
za1H%zb+T31$FM`We^}|5s>NwOkF412KrhubATET4;BNb|cD|#wq{yGDiIVG)yZdc4
z1-sSl{X+VlEUXsdG}&-WB)X)ne|N4X!r`iH^uj7v-@;44oLD?A{q6bzS?N@pz^lX$
zsqrmkk+Vy`^~wa??q<S5BkwrcIa)Y|Tulu&y$_P@FgFy7g-RQFVA&zBiiL(A=jT<u
zMo)M6z_DOco9wcXWW4!0o$Ue+_1RrMHP{uul?SnJO_VTeo3#z6CRCNJ9TZ>=B%bbJ
zxM3s{H{%(W7$IW;CyZ*H8ZY}(CiDE@D>Hxa*JimaHz@|<{9h!7#0-qaUy`c-$QHO^
z20=jsGalQm{R@A~XM2qkEqkvBzA=~JEhS==%jU?II2NXQOx9{$@U$<Psc$W@pg%0%
z@u>y_uvmcCoR*K+b0Bs*(LT}XudksZm&QOJ9pP_eBdOBTI;6a(zc1Pi9}VW6$wLNf
zeaM#%JLh_bQ*%mzjSPJ&(%~~xtvy>mM41W-lnh0}F>h@<7Gcz8P|2msu-RzFF1K+_
zp-~!ZMMmSZOZ-J-IFCBewdY05nAiYdoYHMZzsb;?ty0Kkvr}3rM&a}+aJY)SQwote
zO5~k(Z2ZF*(Cw(d9PV$%k68G(2zC_0@#$ea8Ll~61B}S}3$G0)iysmPtJKIN(J=(M
zyG3}9uRbjCpb=&8O<1{Kxg}X4H4%F^HoB%(sY5@px331hiCh{JvV*SUqLdUM{5QI6
zEJ(0%%u{uSK)T;Zz9${V#D)em)o%fB5_2g}bxeI;*DGGl0lS=B01!P82uwm=ea4s%
zyF2!iX6JW!BPyV4i{`#6hPd4svOwNVJk|;2f!T?rGc4J*7i8k!iJ8dK;`yj%d(s!(
zmczZ#GRInsq#j${?ptSbZs`vsRxQzt?u~AKVpODMF`$3mZ$8P>EO<M6$6AV13w?4X
zh_gio!ODce@r_*aQ1GWgIxp-XICgXDfV<5o;CoxGX6q{O$r8&R{@5GE$`_ktS$0^!
zfd<eXiX_32o-*{$q2<XP`TS9jH*vyT%2@V%MiLrwCT|0?`tq<+-#|Ei4M(bg+1p9D
zJNg;9BTBGpuyV4RTd~R`KfI73i?7Xptz%{SwD$@;1Fk=aroeRm${D3MufFI1TZ5%|
z^6Bt`Jm4kUypEg8Fq!733z?aHI=okJ=3Dl#Yv*I<24ebwRGYngtJ7;0(W@IOZ~rZ`
zpt06GUySeEO>Nqhwk8X!oUA4O$JCjCnV0G_;3)nRWKQ$h6uKmkksCiVw6YJXbDX-*
zMa=zr2o=_a_r&aLOoOT_l=#wFJ}7f~Q64XM*zR_TT%vuN<F-vU#!)Gbl_7BN^#f(w
z`LsXM6ii#bH){l3X*zmfQLVqsm{q)f!Tlmwwz?I1yCk0TmuYXN8H&;@dhYva6kaVH
z7Xuq~nagVtm8eZ6>r25i!mqV6=l}b$-*7Hi39K~1X7MgD<6}byNBdH?x8}Avc^g(G
zBymL*GCVTDQX(Hyq%icl-dG|)-hau(;04}S;G&2jBD)rEzi0CeuOuTKeP;*(?h4uo
zI!A$gm95nGI5Z{ld5zmZ8%HD*tmomtQz%%{?_!ZMPWM<c;0@W&o*zKt`EYmEwv_bN
zOlK4cC4vg({p*JQ>B-t^8#DJ#5DF@%9FVZ-1$EL3Im9BbDf^}8gBO8^g0-R$+nPyN
zI{qwHdu4I9q&ga$%jX^yg$3AY!)%>n9k--3D~wuB_ldiOb5>pP^{)Tf_xsNJAFQct
z!qc+W<|jMR07Vyq)bn3e5E`j{6W+9uV4xHfNDAmuC!s|n0-o?;txy1Tvkf9l`NtJ4
z>UT4n6FHR9#2*O+=r-TC9jVvZyG@nlX&r2++OmVVKt5uok@0`EIWn%7!g-fpLhrDe
z7chIFbpOK=phrhnsFPd5QZeTh=gF51Y3W7D?EjnM=aAv)eh{qN7foLSND4X8A$j-T
zJPd3btWJEPUJ>m;9f~0E%z=RfymLO8Z&kmG{2mCjlm+O<BYB?yDTl$kEor?#s}Udp
zEpXp5Hgn|6&dp){iGPM+Cv|573(EBhB2bl+vjM9}510nhhXDGU1nge!d!cFD3VLoo
z)qKWV_7^1bFMG~3YMb=H+@FAqtVNkKW|XcoFfQz|6M^KC;r6h_p3q5AdpWd|fZ$XY
zAn~*#0L>H2Fn+&pd{WRN)~GAVlC$9{01P!744+OL`@dm3j1NG;E~#8!Tf-eE>KsKK
zafi-u8G?9CKn3-E$1Q>3anD3oNwDnE0N{#~NX~>#O2SuD2E0|1Br!>d#H{d+sW7``
zGI{tu*3%Ob48ZnpE+*+5>LY1ZE?t{*&+N^<Y)&mQ;s#@5r+D%LX-Sh@k^r9e56zsE
zh(F*Fo^hEOZQqS9Yq5m~_h29ZI6IK+Cq@7Kp&~N?T8$nYwfNBl5nCuAx?L7M;Hv6)
zqW+m?B*iV^zt)J{E)<m4GgPCkUI5bkU+<V=P%7GY@7jX!uzwmG8`lBX1L%Sw5|Q|A
zX}Jqo|A<0M@&+gZ03*QN0)OyT#1_cJ6?=cj#ts((lD4zCJ_6<bp(a3bal}QqjDfKP
zO7=om&PM9L3J{ik7tsm;UU{)!0PQl?+&4>c!%G;{rcHo$i01^n<In$%iWAYEOZirv
zi|va+m8%{CrGnl+AvFZ@m2uU%-lNs4+b+ueHx_q0klJ=vkrkk{e9mfpNAO?Q*ML9K
zx#^hN6N=UcssrA%xct{%!in7w7%kvmSc-%S=oyIQDRUuW9FV*h$iPoSf9f94vikr?
zpaU@(;HTusGN<W=_W#%VaFu=J{yjB9$n7AhP<=9ZSB@T+81NHVV~)ib5JLh$Dex-;
z+2~C;h;#)A`{h#o*STbR3-BKE|0H7Cx9RAUkD2j*wPNh-6*|Dp1pWvH7P=Y30Xcd(
zWFsj8c|oVZYe?w-B=r2UqbN?t4bPT~E$iQ`QQJWp#Y#@h>iGY5=Q%rCJrI2?uE-)X
zMD&Hlc6LYiT<Uk((g*Q>XXCwo0{=*X5+{stfiC+!qRB_p>>dRk5-!_DR9-+00wv!u
z5Knaqfc$7t`|JSefSC-39gFXXwgkQYcN9F1``q5-yd*@-$}f5TlY2e9r&V(C)*QDZ
z6rn^wpf_KEXfnGjg)5mlmm-?`)V%1}|5gzBicr^i{KDuE*t@Yogi9vzznSqBsTWhB
zq=XS*hvx|kxc;&IckJGGN3X~Wfp6Jx|8Ip?OgeS*0B3t24qTM9hV$0UeT(palMCE3
zMC3Xn$|V=v2mIy!yFjamgwdkyiMg-X-GJ6aEE$MQclMP|8@}V=vL|trt0Qg8WJm0i
zD%Sri4B+-&+Bp5q-T3#3>hmPD1|z7GK}YcaEfA50MUw6XSD6_Fk*uiO%#~*S*GFpE
z-j|Ij!D3OM_b&#Fbu6hXhzT-$uOi`|d`mP`k@;_T{J&GOu)w*h+MmpTwkP@*-<u$|
z=tLBe8;*DwXY>K3SdzYQS9FvTA=3Mi9F1+dM>mvLT;=_8SMILR|B6S)6i6eIQ|my_
z{%`+0FZV~DTYSj4NJvPa=K6#f{LxA2ZXkTFX5Y2*E1G`KHYp5B_peu3^*C$n0CkEx
zV#5aAvVZy1l88v(iWI_r;06REQ`QBGauWagmDKnacocmLNHfC-A*}0Yt@C)2*-57>
zBMC-%{<4`Fqr%-?0|YS$aZ>MWd33sKUmuZ81?yfU%Ll`A|MyW;KFtUlNy?)0liG>L
z=q1}iV&czuF~1`9m-n|!NW5%;C&Nz|vc1yhOQ`rQ5?23CQ$V<Y@YB}{qn*y4Ex}_{
z5S<&(BKPS3f^8GTh+y0H+%rWC6bcesE@8+fsix{9-F(b19)181Ujv4ekI#18nQ=R(
zpuc{ztb=Qi&E#e)uxE}QV(*0JkICD)JorF3Z3Ln~JeT7;{u&l+s5YRX#nJlosB7H^
zc=MN&H^(Rs4o_s8tiKHgs4=$nd1;k;V!$@EqoUjcB#<^yT#;%U#(=iG$qh|@PB>sr
z$aZHTkEg)HXI3R}^Tn1|5AYgol&$kS!bYHBfsmq5{c61NrcM2YxHd|5C%KS=(D$_^
zyBikkXzKC&nt^ddfdtDeRf4Qf4nX2G*D#wgU^o{1ktkQ_XcMeBK-BMJ_X}_=iHRwu
z3a3{JFsn=AUgDAJn5MA>;V@1eto&mnf{mga_0amnQE<2rZ?KrGiL+W|+;;pP%b}ax
zfjYJ=Xg&MKtl0s<odvi9tq2yQBN~m}5Ht<;7n)e!OF7rZ?*02aD@MmtatnQv;L^oW
zx|fmY8J{lJ$*;`?cO*&+fbckZ#$V$Y_c)I)sKdbxoXgr}$LWX7SC=m1ceMdMD^k6q
z@BiZ>9L-MqOC^n!$DbZp0~t~Rjh6Ksep|U0d(-I%1O_Nolvqy0)hw7^Ik?oETeJEk
z^JOkmW9haXLXb_o#$r7m@c%VL<SPw<c=2?+%(@$mjrE5M)y&--XshX-VSNk!UvJmw
zPl&B1iY|2y4v7ctfE@be5xYg#0l>mDlsNwS6%!G<Kmkx6(ag9a76*wuhZ+YdY#lQ~
zh9Iyi4*0Vc0xL!|KV=)QsFz4s2A%-&m$EiE*NF-=5lD2>424fG!G8vaA_a4luNUTH
z?Oq3C_f*taG0R&o+unPx1vwbc^Q_->1k&eo{ALCNG!911Q??>g4bku2%zqFMhexcu
zEVly*Y<wkv^!W(D<U%#s+ZAzWZ1&5Io`@{-c-NnvpRV@=xGiO-0Eq7S2O$pEuMSuI
z+YhA4I^X}j03JOWXT*8(=ROoj;O4MB68+u-2vU^D&`2Vv?FO9nvZa5S-M87n5bnL+
zM`%DaFBw@avJCIS>sfvGIXs(DL)&bYn0<-c@>k76i{C@>Wy|lX>8e=~+Y|?YODTD<
zXli;qi@!hiB@&*SgVZ`XcZc2|15|)9S;*8FPff(1VTJ7)w=3&`QHt9W@qIo7V{y7D
z4AWfp^IP`mfj2mn`phmLd!5T6=%CW$ILu17o^a&(>S?9Wz}oCh7jFUI)Z$cuEFUX=
zFX0Ej{p=_b^v4^8{TY|n+OFGOKYF5B+qiu1FI3h;*i9_r0if*f_z>X}VaCkjj#a!b
z&e3+r+O(&cF$fv`NR;$E@W16l6H*tddO5z;5{vj;m&Y+sRnbz@ihoHFu^~1fR!bDf
zRhXf<J{iyLDGWqsR-uof%`Pse9L%e+gDNskikYeJ?;F^R@TA-xOtkv+{7n^%pb)+3
z;)oZJw^0cm)9ziUt2NqWB6Rf4k9u8EOV!zMd^ufe^3$PKt|-T*zwanXXjT9{H5=?d
zv_8fD_h4>*;rwi1%3=4BqlE#_CvSbq6^BK4hx3V;a^jxQ;W}TdZK_(Ww!vn;NzD*H
zaO#jh06FKW@-m+VDeCrfH)3Nem|5y~EGUN{2~F<bl!WtN0X!AfrlCK04nGs0BTm%k
zu?0MO@VzvZG-a86_+BGeQ*zicDUR1VU#<@{aKbMLosCw0FbGyM8}$&nmEWI5({z-K
z0QZ6UQui(VrYZ;=d^rHFT)=F<{xuMFCg*_tBGBTA(lgUgGQIOkRKI&&LuMYNc^8w&
zJP6WJGU#n6z&f<3lC7;-rcKMR0Zbw?4^pt@W%!k_r@MVK&bzno^whG=4m&$IZjq@!
z82V@43wAtB<jg;vFt25=f#SWDP_|iTGEF(Ge#&eoC2mtfXQ_XoN;hYjEXiDqQ3Mbu
zL4woqW0Mtpu)>}4oQWVHmdKNM<=TQ>E(>uICd;-71&{jyY@k1XZM+6Qy;zBpI_hi#
znE{$+I={*rXO`gyPgWG*xP+PlFEJz~&A{t>`+kBr({~1&W~OROrF~ZAs;WSe8J3?y
zBNEZdry(GkiS9~b=p`&@y#G;hl&5|8wdTC{9(P-+zF{tHf|)8kc4(xwM+**$HK`iu
z19Qw_i^8f^7p4I<`!(QvTB6@BiMVd!>O@<d|36H9by!r<_Vx^oASvA;(jeWSbazM%
zigbf?%qSp8iV_k7N_Tf72s*$>cZvuCLw9~>y!Sre?=K$C*=O&y`(10jYYil{5U*Nz
ztK;e$RmHVcy8reU=DqXB-GDTDd76n!DosmGwDB1t^Wmr)<?Q-6jWP(paQv(}Vd9}o
z%ZEeFJq4Pt+J={4pPuf}L-+)2&6us8-(Fuoz$ws_XmTo0E3UI7#WCBSyJ$luxNmWq
zE`0eOLSy5wA*>ur5ojV;?LQap{SNg2m#@e!E6G8*`JwMbFJSxt4l{tlO6@}#`dnLV
zsv$V%lyom_d~6KDB)lphk7J=MD{|<SXWDg(wh$XtgB#@yonZ`t#)ycxJh(vF`s9;g
zu~(PYl2ub`_<?^3b%e_jTs0n5`$UA&*i>vU6tXr66=CPr76^7Dv>V6SU%sLk=6f%e
zG<~3bg-oR6k)N?dN*ZMmR;MO$_5Ty+-SjfVegdGA-rNB(b95*vKWp02KjM!cUvvVQ
z7-mT0QceJhrOKcf%CVW+1`h@{d0>_^xc@^B(Qf`$tZF<n)wK1E=!fu&j?{5Al8fGa
z?d<EpR%w6pnU(>+C^29yaGIK3)e@FCHQRk9kiPvzYolD6lE4yPX?w66%`sjU%C$Um
z(W2GXk)5D=XR3k4MS`9q+x<LSH084H_6`W)jjKP78&6uGsq_W>YW~<keNkW0;a87W
zZlj#gQvFWuQhaOnc2pX78aZstZp_Agju<u0H`;cldpKLvklmuahjalnEb^?2s%it4
z5G`<p&-<1Wor~%&!?~y_UzK>YnL*=Ucxqqy&6zSvAa(}nISW{|;X(I4KL->qjTkpr
z_ysi_XJ-0Ls9tDR`F;ZqT2Kdo*w;n-Ow+#EJzV9A)w8gv{^tOY)&uK4reHTo365Ek
zz53{Ku6-6Jp`ZdMTU{Am^^tJLjcHLcPpjV^wWOk4exdwyi{@Fc$h~fmVt(GleFHi`
z30WNiSfxUM5^!mn!!um(+eS3V`t8oz6o{TA<@f|B6(Hb@`bwu9G|pp33!v4DN&ib;
z1F7DYkFwdQ9<e0>v=#}}b4#PY-EQJ`@8<SHf+;n;veiArtZf;{?Z9U0iwb;?0|sC)
zaOX$JXBcTIex^9RsT*I$y8`+S&`*OYs}?lE|JxQTX!ugh{~(6dko{|`ux0Hd-zju_
z#h1sx;Gi2?O*F8k6La$GU;o-7Y&i(P>_rXR|9u;7eRD|%fWt80ZKJTIv-#X3=-tYZ
zp$HDzeFC@vYE_}p$w<$R;DuKM_OzH-eIUSPlgW?nB!=LHGO+w&IzpO#-}(d_jCba(
z(P70<@HBajqpcEaii*wrihUzrjzs&TA918`zMvO_ul`zF%!8hF=e0TEk*ER0uuqwQ
z|0fIWh7zS=eS;1z0rEbms6Ub=NJDzI02AFYIE5;Ftf24=p#Lm{02nW%V~4Kt2MMX;
zoUJz0a_l5oAS)v^3~~IvhGjd9oc!ah91tK&7>omUKtox8xYmO9VVOz$;!N8{Q=^%{
zpN_Y(3@YZEpAoD9gMUh7d^g`{V6u*h*!aw%p!XZ2>K05+2zvdv3t-*^k!+X~CUpZ)
zu+BSBa~lj*58rI&6v^vS|1mhAoBpHPf#g-vim^wBgKNM`32{5nK2IhNz{Y7c4cq6M
zhD39=p0!k%+1^q11GzICjeb;yu|K%+a5?He8^L3qVfzXRZSALhL=E~ZbFnpezaMSW
zsfdhL%nK_yng>Fq)10JZn8n>jbDycTEH|H@r~kgiP>?tn`98pf3xd6P6}G)l5S-rR
zgTD9CfyrFS*B*@nA8VtMm;eT2akgQsHwYww36STh1v)OQ)0^_tAJb-qA{+IDx)pbu
z{l62@g3*)tl<wpg6A)~oP_uc~b`@7TJ2_})(aV(M*f%h6=X!~_<p|YOn~xFes@d(!
zA0E2ILHo}}?1B5^Z6E{}Pg%#L9)EZ0V$R*A*%NIKVXhz5GZG@VYV#9SNub9kA*=UT
zUJ~mG<r%tZU3|v`IAH&<QxW}J;ZfjhxzN_vdc|rS&AInI$AK6)s~^gk=(S626T$iw
z1W-pgWN&`Cw6!>*s|I1l>9JGW=++L@MLH#d0q_R{t8f|+?sqeWx<C7g{eQk37<lB0
z_8eLQ=92#uV<q$)kUF7rU3~!tY6rH#Q_|-!+ZVPQ3F-T3Of3NM^M4Jjls7k@vjL0m
z&;KoYWj)h)qr(3H1bFSbL2M65ac0)Nhl89C%Wzxt{?ErVz{ef=^8b0VQz6iGJtoAK
zDdu)~v6ypvTtw#Pad&$|@#1rR&ew#t`k=LV@wiH>HrkG$lgml}xx~|r?du((`hwPg
z?TRL3z_qUINpgb#%4c)rOaC+kYV}*HlmJD5X(`j-5rPa{_5>KFz{!I%V_~kl-2{yE
zhJQ;-%eSSe@@I8%I&dlD=+_@uCcOmA>x&l}sp#ljUhOR{3KcGmh1JVL-p=zYT5u1B
z-CR<%RxP&q(@9E70@)o-;;(kweg+(ms>V0E&6{6AuTV_{R=U2V{7JVlg59=EjKbO1
z5cCY%zz9S=gdjg<&n(eSoOl5?hI=?OV$D&+O#Fvehl1USvZtSnE0?YeM4I*URH#=D
z(TO1tfT8(+ayRQ8aVY*e2)IWrg9a&9Uf(EEe+2IXjxoo=eAC<EOmXqrx;nn2BFAcB
zK8335lZy`zHSa0Kp&k&VKbcqHiQ)YiurpJ0ZHMx0@SyqTyFEoA*lm7yI`1J~r~^0O
zY~gMV8Wx>4yV@Kt(hWnr?yz#xy*fzg)XT;((}&P3ete`$d2Ttd##;xFl~QuX9@Wb;
zblrgRyvJ|luXgG%w#!_z28-j2r_3RD{)~xr?GzNI7yOpZf>7wC78JJ(jI6M#x`j3?
z{Aa!`lfkJMNw0lXJOM~{Xk_Pka`6V6fLEA{?U8W7f>Ao#O~syF!h*YhShAtL_7#nw
zjl%7zd6T;vfEB7jn_Oqd5WVonwr^7ySG0;oS}%8Y+W^HPUl^l2lrvJnzM>j$_xF#F
z6>Bu&?peOBLIFb8Qts(a@Jy?O&O=u>%<`j=JNV2t<uqvU6ZfymqiL@S>yB14-*u60
zbKL;}#WLIXuP4Qf{XQU&frO=y0;`$r?cm82ghlbSaSlNFyfs>S`p0s;=(6_bvny%C
zCGXF`-U^PoJuu`a`OmtivV)<JmPjMKBJfhJUF-=wuBxfz1I>}n>-QxoPwLXrXg>Bd
zKn^^XI~V7whKjT@hf)}{Q+M#H80;qQ>{{CmnIBB1To@~jN#}0KAj`{n2d||b_VSMJ
ziZnZDByq+7VC3)e-EC6?6y7v786L?<lx3%v3^rj1RBbaR5-R(EFk1Ie9W^GtoKN^&
z%5Pk>v|h4yXuLF+jTo85*E^{Ux+jH657@SCZXcDU-`xLqmaGWV+RT5NDIw9pEUyRg
z6&+)yOViPa7cib9z*Ds`QyM~uQ?Zv}4Q|Q|57Wic#UXEXleFjGOB#~9_7>i3LmZry
zpI>}kO0r5<V=z@G^bE{bka(zA>c#_Smz9;3&$Z5afJbAdoNufW1k&r6y_yuOmz8EM
zPbR*S=JOEP?n~I8Td#1NH-MLvH)J!?z6?8gCRnHtAj8GA-7N9ng=2}iqZR2%YvWK^
zE#CO}M66o~BJ?Wgn}Bek+qMS{4~>}gvN6t_>4qeqi@@6A>abYDT*8o*e*dWTl(cyX
zUa6LqGM!Dl&??XH)4y1A2?k^_<Nz?7PPp9iQJ#Tc87n<=x-T><)Z}+jqD3)$Vw`p=
z)G0;HeOV^-5u8doB^FEDz^aFHz7;zMIhCZs{m<@>b%DW4NPuu~U@@CCWceeDrkWs`
z!E`n>9B!(k+R~E>_S#9$rSGQ1B7|}Q22uJm8s4k+d&1q9T37n)rdM3Nh|;xvu~fh}
z-5&#VX}hy?Ixs-Bl|Z<gTV7hqz07I65WBG~Xf%+gbbDyM@hA#TOvoLa?tI14)7EZ$
zhddl_6<S8Nui8BBHtd%@8>8eW0+Ha$NTYo7GMvI>OG?ltJ3|f_m_HosNBf}2%iyJ1
z;Xv3)1zwe~uIcvo1xdDwE!T&2c3tLaEgx%q-A(7mg%FY{q;;x~J^y4;0;^e__vNXp
z@GhV7yUBM*IkEM=Es34$^+U04#NNp+uLDzNM>}D2TtQ>Wp0Npc+OK>C&RqARwBn&-
zlIMvpR^1v=j#cB1E}?v7p-!Rk%H@aEKYzBhQ#4GUoqi`P6{gw!$|!|l4_q`an$Rqd
zSWLjq+Ild{ppSE(PCH$}EN@jC8hpf{f|5Fkr*q%g0Qen%=P|x?C}{|un)W>9UG4pR
zhKCalfbVctp?~_Ki6OpWIFoOEAMqLS@^7%RJ=_TcaFKr)W4WgpITA(@IMvud%urNk
zXc<Un1A+g}vMcd@)p_bK#h?BsS1LvFel=ki^2r~Q??VVZ9_Kx{`|5VHUB9u3Um)k3
zT`h<G6pSyZc{_)qoCjiCDxV2G$GMHm9$#RCln8-vwhQqOLkQz?BfQMV<b{6({C)18
zV0Q*PAI6b|P6L=K&o0xiA27%MhWhVS>rXj|tsg7`_>aaa=oq<CAim6V<c~IdDigTb
z4@1oPm;cJB#OJs^1|aP9UcJZF(O6hftHt@Z%j>;Ayq8};30*CQAlBN@$Pmb9!OgTW
zb76OZ%<*8Y+?$+^Mz|c|<L?U5tc>X>@+un76cgAbN%^G|_!xUh!7sLFG}+=WKd*7c
zCnb-{1FPslSz9N!)-M4^e<3v07vTb>Sy8Rr4kTw-0WrTQHpwfrd-Khw>UvS&E#Q*4
zy{+{YwpI=`W&AUGB@Lyq2{p-9S-fhavPT|m_o_T&in({i&m}2&_eIP1Ikd>fTLoM5
z2tE)0baw|N#knWm&3RrB-NxD)LqwHoNbe`ylP(TR93tq~caH%nJd%Lz+oIL)r`h<(
z%It8kN+j*jFQNfTN;INicz$V%-h3nYL|*_lfHsgSO3X|DKbJf;`pF`{>s4k|Gw1&x
zM?UpR%^4v>%bQpXG@KLc##4>~XP*HPhP$h|XtERFh54NSy!NGcR<E7pUDetNqeG*_
zShW@HoTl)g(}JaTw*JIS3+Ge9YJg?MRtK2R(Ljh^&B^td_JU2~<1&1jEH*MnSM!aX
zm*0{&21nQlGd?Q{r#XdcUw>AY)UYkoKc`+fM!UFtp8Q8piBIfD7L=If->Zi9U|`I9
zA(i-iB5cq6{7$RvVdG}a4jHAUqrYwFA5mdi3N?5D=}zv}-uzeAK+W+zDeW@*#~(|4
zRUi(-8Ft!GS7;HmNC)n$eZ}KS&Wp+GQwp#ZU!@>dvSOw!&=`Z_?}_MejRErm($nlG
zIs@xjVKZqlwtc?WXlU~K=C4fW?dA6M&*Pgo8sS6jCas1-pDC}|Q5WrR<vzv}=7TfB
z%}xw$^u|Qyy6eBPR<)O1=rnFd&VoqvW~B;jHz!IyHV}vI@e<R7rc_N$OK#JPOxA~L
z%~c_VjqdMvw=vPyL=*gX_}42U38-k@o1~XN{n&9{Mi!S30obT;5YPrq`+-}ak@D0F
z5%I0RpVoglw5i6X2V-#M@7~wLK)aF3mOmL}3?2ZvU-=W<-e98;>bCy-w;3_sToLPJ
zJgsQ0R=HM5Tp?2XYV=G9F}H+jTF!=M&1EMTa~MNiLN_kVKW2a0F226K*@IfxajiM)
z{w)vv8|-FrlJDDaUwY4cqvYAD5fZqVYi?6Xr*B^+lv-3U#o(M@{Pm%%{Pq85z+O||
zOxl1)_+c+ko?Q{wOyRT>j6n0X-qstRd7*?z8bLlt*0bTA1zQ$H&NZjI3dbV$aR(^J
zc+t%qbg(Z-Gsy%V8(02P_1Q_)@vKA6x;*uay-DHn#mb6Xt(}>#4sZ{zyE<iF4uvrT
zfJNVt;p1sZt6s~t%n9=<uWq_`Fav5(&iY3sQ@WGIT<Xytpt9tIwg+83=EwUF47pMa
zy*#eTZS<Qkth#J~rVA>Q+7ZHW$~ZB1-0s;a5J(gAdC<+|vXhs(;iYRSOQO2m!a04M
zp&Un*^`NW0udE|6&D_7r9uUq4Y(Z`+jz+|??5EN@ZRkwWUECDyIDK~AU?|5*K3Ufp
zVysK+5;C2?tBO~R+X}=F{3Hobz3JXBifknYjryN$6h0t#&`?#QS&6_pQ{e|fp23Cm
zAj}<sAMbyNAb7dFxyK8;QixbE?K9_qOXY0QKPN?TM^os_l4Q#|z%nk9<$S|U?xx!A
zdpj599fZ1mHa`@UXw4$*vazd^Ei<d3xDODb#!gX(o~Z?VDAR#TsnN5`E^$9xdB{dd
z>-ZVBwCs>0ozT}W_Aoj-)3O7m|04reZAtML!V-p)i8~5-3cz~CLd=7<C)*o0%JQ-Z
z3##y(&};22#ewnhd;)Cy+Ro9K(Jx8_VsCOW_?4@o=zEzDLs5@0ca)qVcLbV;P9}82
z?I9a5^Ox+j7P(+2UC?tS<12@lJPrFUVHk*=2j2Aq9BOhKFVLGA0USoR$*f<5!u`TZ
za-%QjX}$osCMJOUg%jOxfE*S~Clo5=F68-ijbIRVNxQ4X(2YzUFI_uGD5vCr=OD)u
zN)Z9`Tv$5eC^wj0vhVIG9%T&cwv20?Q&ryjtD&!qsGeDT9VpMF(tOfulZmON!p?EI
z9j`Rw1oHu%t9^bCcwNF`g5`FP3d2TL;MXrNV5-Yrdwb~^Gyp722DFzOZW{S?ap_;&
zNBLcF$-*V_=bS+$rk8$U<*fZnq-r$k5co(|)y_$bbxTFypC5<=--P}ZU8iNKN5L<#
z;a#^Tff8(!OZrB94w()queAyp8Iv_wFkR?u)^P@tx9)_>k<W*A_8RWrKw74d(M_qw
z$+OS+k!ZYnX+1c*?U?f|lp2o%Q^w)fv3QdY5SK?NxDKLT@k}GkIcx6f;g=;0@J|4+
z^~l-M+SMG6+29XBD&HmZu6zy?;EXGj$|tM_GOxI=Qf;>Y4tAVR-arNSSS}D?{vl9Q
zEMgE;1ZdC+-Yn>fai|5mIqP2*Y0vy+?abffagJL8wp9zD)H7J(0ZMWl7zfaalU~5)
zO)3rC_^2>|TL`d@0xCCf!ytXPM1e~QxEU}3T22IOKj=)hYEpTyg#@IKUmLJ)!uF7F
zk@hJkOOM+`ak>lOjLxhD1Jylug+-w=MVbOlFn=idU?mHc8I<#10FaLojg2-L3ppXl
zJ;&TcKvm51Xg~3HX$C4}_vwwlA#9Q!jgC!hV*Q$ouY>_4TYi7Hf=lw|6@M%^`xHo(
zQHE}sUD$n0z!2)U8FGIeOzQB40v`v@9=O#%CM74gPq*tNe$R7AcX%BfGBzmPf(Mk(
z`vLp#LAGCB-bynN1j3?0JC#4kWcTW?7b|~sKuT+^K9x9_Jk;(7crNkxd+!`wLmcrG
zY64E@_>(b{qfhb%Xv-Xail#!_VqFAaIbJQ6McT_-`~sNmf8mLy`qd<2<>?27HBP|L
z9l`xEKmbzOWq4VBxnWS*1G+_(hx8p+#3R1lWVi?I0X%9hGdzMR9eB?$H3*|0h`em3
z#5{lZr^5WsY%0M+N57bavK$D4bMFR`%&6@z`qS~4+yTb2ZsJ#{z;Ukerc(jpqfBxj
z+h^L-NKb{90JI}?q&!_N)<p=$M14Nu$tKHoGz*MvybM>#Jf{(!?*up!&AP^<W28a)
z0u{y4%Fn84YC=0?2tBWyMV%`P^jLnYhMvE=FK!LOOAv_$V>Sc)q8}g!<C05&&bQ+3
zAnw)~^E6U#V;i7oA7Chqbo<hLz7Bl;M<&m}erjX=In2YwM}5G9(+Is@06_949pHP2
zjtO&zK4ZiQP@2vT?aJ2!jJxQA9M2w|+D{o~`Wy{h&`+ZAM7%5j`wku2XoCYR+y5-N
zm66|Q;`E|Gr{hkJ^z;j~56pfb8M(aZlUU<0C$bHJ?%YL<<^k+%j^v<FhWS)nrehbH
zQ2BuBnvL}|Ol#BmoPgX3yMmx4>EK34qV7PU?Xkb)wS2G##v^5~+q=ETZM?zV-uweG
zJj^Q?Jj~3@+)DRV4*H8<N5AD%ii<gW@?I^vxcG_U8`2bNBSNxh)poq=33-*c5Nu_z
zq%!G)7A35f%jFzD7ef)@x;DW&pN^dA?VC67zj>{NW!bv&H%5~VO$)zVGo&WlAmX|?
zyXADUv<I;uoM>7P{@aBg$jTE23~FX|to;o(RjFWc55H5l<=v2`fSS6awM6($o1bLc
zbj6WUPSdbklcdlMUA&N5-;QNtIbz-;^uo?z%{I~anr~h(EW~KrY2XcZ_DI6XUPI_o
zyYr-R^^Lgf&8rDSQSD#)(eiM<I(tcEXDIT_WjbhMuED#&pLnxV0mKFa=SG?cCPaW3
z=Qajz(y=i}x*z|U_h0hrgw*xN5}7DXySI<dwz*{<4bypC@6T30myd?<aMNpo+c&nW
zh)MFeGp%mb*t|M61_ko`ZYJZEm~`qbh-HFio&_)Zj=mdewG$@R8CCdY^=mp<^Lc0`
zF6*o*`6HZA#m`NIEZcn@&{xE)Fz{y%to@bjM>md=6!-8}W>{BS+)j5s=RQdi(|y(Q
zLLH+gnxjJ{?fn>!qw<Q_&rhobs^xT|2<g;_x*J-{fkOgvhF&GN8w@iHji;&uOSe-N
z^7)L(vAU=xj{zcwfvY{!Xd9G=YSBYKBO-ECy`i`f5!}BQlQ>}g+8&vu0h#3ys&uKx
zu1Uzdsqae2TbtcDQ<|Qskq_CEj<TM;`dQ+3($W$J*Ii#e-73S47Kcw;Hp!WW2Au4=
zJESST(Yq>hzb@g4Ih>y+*CL$5c(zf4oja>CuzWeDxzs_j(_|w1*8}jJ1syKqE_JLg
zIs9oFYlzSq_uK=^e!^~pL?$rtwpIl5SRPxiC$j(>n%;Md(%t{W<={EN%5KLMZ^2VA
znBIcj=7Iir*O%Ovw-4}?ZBked7IT%C!pI(y8MjSWomnex`!E>3;FxgnV(5+Lwg738
zq_3&tsn2jdRD3Ft3~DrFW=}oaTSC2K!PiJJTo=+;Pf>(!`@pA@MJF0~a=Ge!v>I|)
zzb>7$PFEe{rN7fCwbbAt<*q8R{n+@$Wws&Y;&sxw|MCf<P_1!GW#E`maKWviigd{D
zUIa3)b@a5<zlwghk!+`w>1ck_2l~L+j`$G{3ilp-08i=2ubaHw{o<8tN>4NpwrC<-
zLS$shog<f)zO3EVfcWwN=f>oc@0F{S?uez=8OsxsMS5E-L6Fj$p!>8MpfvhM(C$RV
zBgt+UC_%LMZQw7ZT!TOFG)*UFl3Hyr%wBv;_!GohW4XWeDQMVTN!1stS}Few%Co5O
z>pP_~Fj{P|hm6Ky<m#fB=j`3=`SGx1&N@Sm<BoTJR~OD>?7DhahGOiOJDeqBYH@1f
zZ}i^`BP}KahZV%qalC0*ihVX|<G$C8<JDKuod2Qf&Ss_;uY6&F{~a@o&NRPN=MDZ3
zo05Ae_%@SK{xaKV2e}jL(_2*CWWWDNbyzx^ej?cOhd=JU;zKPzwIhBA^VKyGrLrP^
zx<rR{v*ZrneBFCpab+~^emjL3K6LH2O96CzMugkBadNT>MbZuWA#y*1$B{jZz41Cc
z<_*5hm1qOj2P}_bnZ+$U8;e(($6V%I2L=>iUY5<2@t}tuSQ$84G~g1)GWn;}+_)3b
zB3+<URnPbUp_4CobvGTX-~DDET!`dayco_>d@&N6(F)x*?%L|6jPAkmEDpNg5Pu=-
zwrUB-tEOQux$2E=w|Frl0K4&ZNQ3ByL8Zd2sBlwIuW?IxVGmP>%Q>u-7AY40c%VGS
zg0#4!hOQY<=|X_e@6_kVgtWt_aKVJ{S1`<26-cLT#xv75;f?qlFgI}N-Iem-mwPt&
zyvl|Yq@w!9_b19?Kw`g!<+}$dUo`4f#DIu6e!ao>>jM66qKc~{8q^ive`@?$6<sn$
z#XhHPw50T#jSCh&oTZ-*I_(PytZYIE7)DG+|8>T<IfGagL7Lx^br&w&f;}4*h)x-}
zNB|p>#-NnP6A&i*YmnGQMNkC;_Z-J#zh(@xs!un$hPhmyKvOnc0uIw;H8II1${@{8
z7ly=fn+7yQ${-#LHv_6tHrUP8`L~v>$sv22>59&#$dWL&ltrcFe}cg2v_L%ZUlTy{
zNw#i}zPN8SNnw~J1xQ=5&3K?xiIs0dhv*2~=<#eo(IT=sJ69=X5CI8G@IsYu+nAjZ
zCo{}8mL}l0GW8(DPE(DWo2!PD8#`ADV<y_1+)2#P1e?5@OnE7AaFDg9fZobN@6u3k
z$FcCy8}|1@4b7~&qc4S}6@0O)Nmc!l+qp4j=yvQVk)DIB&;L-lb1YBFrJk*<(j^y3
zJ?5fHBIzbuEd6L>H~{=e2w&U_td=lhAHo~I7&X)1z}_!3!ue=ozyRKvtO%~)XsvKD
z;ntP_yKbrerTX*y>75B7CE<suFCt`6^SHZ=wdV;ASb_>6K3g;!?gpSUPi)T|%7=WW
zhF^f4dcf^jSuI>geZAiqnsb(jm6q;t>WN*gR2&f>@lj5kRrC|c<k)0hU2t1ifa-M8
zlsGy&BTJiY#0|`QP#N0sT9?Q4R*)@%r#qgxvJxbQxxF(vUCIjc?TDExjU(G@wZFUW
zhylXdS&it+EQd<2v(K9h2w7QR9qCeUlr&I(`(8>lRa$XzQVhKR<PVjeEc-D$<@d$@
zHQpnbc7&DWw^nNpKm4<~UVIzfh_+vr^Uh3eE~ocXXnUSg1B>MnE^8wV+|EC6depPh
zW#(dL>C2}FPoGl9+|H8f-z+o!Wpbty*3%vs<qVO2;}F{$<F?mv7R70Iae<01h^Xb-
zctY^Jd44;Xp%=ox*WNix-2RR3D=*>dFqfrVuVVG#Wuglso)L$YVs&wT`u(TB1k8vU
zD}PL+g}MQa%>9&S)|z&KXjZ$in}zdHuQJs;Z0T;CF)8|b04@RCo>_wD0VfagZ?!K@
z;I|O3kTVHu_j(V|^WrC&f5cDIz+kN|LX!LZU0XrxpyhWU9JRt{%*;EzuUWqsTgmd7
zDJ?MhPS-q$tT1z{daK7iKNL;slH8xW84zjXcV~PoH}RAT2H=#3UDqeW(rm1-Oc5S?
z7D5G(;?vJ9k!4cyu67tR`482uFWB-&Rh%fku#VNJb&V>*#<+|im!^LudRTv<zZacO
zq%SLYzbEYqww$QHAme^O(*2(Eh~3m5yY~H8k8@9fZ_G2y^^OEOcR(r=vgc`>#EpWu
z%rNk;$Tr4L?BHuG3~CUV5QJv~OD64}m6S9jHU%|R!ZXhv0zknAfb)V1rAjc&zkmM*
zm*^<~=o9$XKp9kI_tHL0G`Qy;HwADQp+BD>>8`vvE1_EcYybu-L<{GlvhetHUTp}2
zB{T46U)Kj*!vEH&!5hI69I)xzRFVI`!fF)YkY1V%%kM^x?`JRqmT)DkKtOZsl4<wp
zYPbwA&U0(m5>$cVsdGGV0NzCtm@Ebe-v}urZ$f*1%K0>GHvs#tBa^bpOu67`E?ZIf
z5jM>1=tpnj$RkXpcXBtERsIdzD{6QvALd#DGmDMXUZu*&l5Y@z9;@1tZGHs*f`A5r
zrva3eb35hqCl>UAAd(wwH3OZ^tF=i|^6vEX*CzrUH>4B<?{Wy*e-k*YGvs;pf%MjR
zyY5)_o@8}WGY7renli*V&r(x{EeD14yBP7ZtFi}t<8b&pL4zzM6<<jPGjEl*yX7B^
z#`<hR!Ok!fH_a4`(MLe{(jODwM#|WzNy(X2FANS~f}(LUUcc?6{EUO`nQ7Y@oe%2V
zi*a$cR{Vwm0=Vk!W4Zb3TWa@KTy$lR7S@e;frp?z9_8Vf>6X?8mwc>!NmQb2!a9&=
z3It+yFEMP=(_~3g(g69p8BM(6qaZ++KhOw!(led(pj(oLhGzLEq%#SD&Ta#1W*3l$
z+OlJNX7IqMWF%vqEYYQz<w}gD{mXbP=n9ob7&|ZfmqVVc{}V<gcQSUI)fKbtRKklQ
z<zLk$tgv~CiIS`T|L?evkZ@Oeo9BIsf82hrZ#&pLSwjjowtd*1LH2*j$Qkdh&Wwc6
zE%lM>cAUS>Q>PotwXx;D_$G++72OR5%g47#CCjbmzV;$m`{{0)(qS48(IjgH8L#1r
zu1TTq#HxxQ@gW3a>B;||FMSI)Z8bkhb;Mh#-`O$GL1wkVVsL<OV9j5A&a4MT-8{^b
zcYwjawtGZ@jx`1yJUya(=wb<<dt{DrJ~#fe#gp%UFRa5l3l(_YrGj=x>zls?anqv9
z|B5_R7Q`4O0|qfYy=_BaS<UXBOhbWow*~`~MUVpJ@!C2Uz98=@dTw-TCD4n6S584e
zm%&c@jZszYr>Sm6fWHdpb%qzQe9c4iSeqF?L=s=3z4E`u(UM)Qs|gL2a-o8A7!o9S
zFWrngu~Uf9U)21LJK{J0vo%ha%LhY`FB6^Dz>G)9EA-3ghXaiM*9NB9*2yNAej4g!
zVp>t?j)NW-IC;eySBjym$T1||)8Or}-$&0P>ksX`JuiEtm4cN*N(pcP*ojc}NOTL;
z)n+qF?tZZ{k^u@S#o#{D^-17#`YUtti*5qf=pE2`=OLtIVQ&pxaR5*vnmzGnz%Y5w
zW!fdoGg;uxfwK0!m8|me9R?q&%2jkGCRlW?NOU7=kfeu%lJCu`^Vr=)K1gQ}feia2
zekRkN$pn-Eu@0k`N2RQ;5|*M`*xkq);trl|(hC^EYS%jd{Hw-M(BlWr#)L4^w_i6y
zBeeU8W#D4PpvwzV!mf2(jAw1Hd=A-wniNC=JSHiNmS-_ZdOS&ra%5NXXrE#AdNeq%
zw~P3F%?rLD1xhhzur{0Ki~~hL4=d)?K{+2OG3jPHrhnuE)_0J?#5hYbc^n>&BJ=x(
z$;sSrH6+~^v$GAIZ2yMN`6-tF?$o%2VECoY`<KAfPCM1q&NUqUNq`HcGoe?5v(kBT
zy>mF8ju#+n=>-&`7W?HsFW+{1<bPfpU@f0?vv08}w>a*n#9G~#;z$MN#!&if+ezT(
z8ZNN<VYJULw~ydB@iFbtlEjHTZKtS2TTu|Q(M9+6AbtKEE#~J!J*;Nmd4s4LwG!2e
ztT{TXn^~zT42dq2iYyfR?E07SYJwUQ=l;PT{6c<%s1|~0N6^AleLyv^InHj5#~@*Y
z#Aty<zg@4>!GT!<GV5k5gy!R&-K}#eLm|4c<Sri!rTqsoW92sn{>im=Ax<S3c|s=<
zr>b$Ezcb|1A#^X63Y?Xi2631(7LQx#P5f8mkLGuVS!^2SABeN0Fjx51V%fIeL-fw1
zI}%oK(F^eKHOn*HZU!4{Y~PKgz&)ifX5eA*LCDHjEkEyv9#HcqvmB1$n5H8(pjid&
zJerbZ;_Hc64?QMASlKG4CtOOCDN81v37yr;ncnHW{Wm^(oIj74(ug|#^fuFiHtGnZ
zUTtYS0E~K|7hk(sdf}Znmxfg8Ds86&{0U89Ph8%_EQnt9>uF-31PQ^CMMGrB3Ol>F
zz#f6ALu0Hd(50jl(O-Q`C-XlN(FbJ>0@r<{_<JC*v$xpr^)xhrsc&-fa+j2B37n5c
zCm~QMr<Q(RO9hNIS&sazZ@+0}X9&*{wx_v?4pP9p$?Xnqt+?Nd?ho(gOhM+Oh?3ZR
zYS5XDIjb4`>sRdG%Rnm%<$Cv&^vC}Y5%@m*25Nrog#Q9nFSWpPly<m={!&Zg=sFhu
zoXx$6p9~7Jj8Y=)b_&GC_CLEhNN@X>=Z)C}^Vhwt3152wvnQc~pvpfueH0U1*T24S
z{XAd;hF(Fd`Bz3JyiR~#&5E75i{@<PQDt^kb}DSD==mCl^akH-H!(U+Llm%G6)M}l
zE$z#*sQP%f?fiq~9VcvjOWg4|QM0Pup6OpUy1q96viSXKcj{xSnxOL}LjTso%lwUb
zZ`NFkbYX`~A`>}Kl{3Be@LXePx^UQ-(H7g2fP)I<jJvZgr+2O`Ef>8Be@EVdy?|mQ
z<cy)G5G3hCzH~~yC)D02+8%9W-dg6l79E%ODVM#@u)>UhV$t|T*<O`C!*2fiRQL)9
zNvi6gGc`>Nm$bB;uGkVapae6e%-tW>qUtcrLgiTK>C2Zd%e6EqUGyeieNEJncOjNX
zU!Z+&G^4Dy38_UQTBB`mWlnMkEN9P^%*meV0IiuGUIL>Hdhwdlbfn&K9Fn6O+Q(G{
z_q~m+v~TC+`%$hQ_5|)0*9QdFz|1~BRv$Rq)wJs4y1>Rp-0^8?KK-}Y+a5U#ucD7(
z7_IVnu9HgifJ3`VXdlhp^1!ydukWuxrytG@-abEzr>jT#E5?V3(dWGAj|$t}GyBNT
z{J&z$+|P$yDz(~y0jco%$RSSe^;>_r&dB>k-DYnCGRlK5;(_g`!JOMz{qwUXBk8vj
zHmfn(3ui7+GuCIqPuqo{TqmTe513{Tmop@J`DQDMpB>m*1!p%~RI#0}l1D|lG)giJ
z2Ms?9+(scYc&Z{E*nNZBW__z${-Vv!92EU5>`oE6RaW)KS_d#81k}~Jj*%mA2~3M#
zNmEO_Z1%Y@o*sYHhkumjv5=mf-6_GR%sW!7KHh|EJ0A<ZKF25HGe3;1doi>qL0Y`>
z5g*D?n#@UDwY!(U9D7CCw^jC5n(1yWCE1NQgUU?!X|<GP$o@R;t<dshBveO}Wv~hu
z7Vbh-O~Q>9?+FhtdQXzUy(>&NcJR_dIdw4c84rEmha!hU*S5{c4H1W(h#$wKUJ6&W
z{2nbC)e!R-n(@4cpg|7ZZ_gCe<ic*3>px1^|NRKvkc)gDBC!{q>`Fzf9f;)O+kVPK
ziYx5%(jI5ZWjMP2K|K++@7C_ip!#zL&b(<miF<hIrV_t!=I)`W$WHi>i))6Bp^h3N
z^{TFc=T*WcEmHfD^+pZt?NZ^iBChQl0482}8!h}`u~!|W&ps!>E)YuzP5ppcD;zzO
zxIr>1Ku8sJWD1tsDhcT`YB40l#qV@GF0)!K)c+>R9ASuK|0M>}vMA-=++IB1)h$j=
zw1%gBKq(HgxoFhS5}1rY`l8JnygR+^Y`jXhmN{k{y#2OtCboE6X@1}*Fv+E#a}r^2
z+W{D~K21U?{6UNS7X$G1i>*R1u+sZz!p1o-W2yIl%Wt@<7ySK6qyy#TY~ITqe7h?|
zA>^}*;SogEk+FgUsP!1sL=5&&5SC{^VVB(UIDNUM-qA5?8v1;!>Xx$qp3C~g?NpaY
zt%)O-(`0{Uc}Awt1@?Y+RhL{ed@xlqGdpbVnXs#wfmGH{kGA297emy0cR7pRvHru`
z1My|Ay0m}FZSR<O(t`=T*kIwaoea`h9)E_s<QTHEF!wt%Bt~cVyD=%;o)toQ<~;_F
zeg=oqVMugJboxUa7W%l3X+&kO6q&2_pMkha!s_aL`m?-tb-M^sGJVFlilpIfCog||
zWvA+{MR|0rhurj$Q@9477*EIU`ZNw@q$Cr)`k4j^ns$;NxxY4G`s1L~our#Y7sHI$
zz7={Oa(7aNyj^TtJG73U5WSlBFvhB84C=}f1dN6bG7^Cq<29P%mvOYe{fXsTCsJOI
z8;V|Le*Bo(q|H+sQO3@f{AHS){7&p+CdWJMYA+5kvTuMXT5kX7d2f4k$xV8$mbYBa
z?d3Gf&x6@`@t}y<?{9r<=BAm34J5xZ2yZ?{3>HUwn1Oe!i{v1|Hz&qYr*qqt(#6+H
zx4Rp7HdvnZ^B&bv;tk7-+ta2CIjw1v_MIW;tC+ikzIm$Bba#hTK)MWBw>kK!exInB
zQs82-{!;iCf6KOx<R%tW-X7}oi}xo^_ZiLxUqS}R##m?V@OV-11_1}G0bZ%@;k&bz
z=^}KK`gd?@Ik?J{(NJLSPnr5h?j<r7SRPZntI5LG^wUF`%Xr#cW%X_BlIHVB2byQk
z*n)uj$KSYw^L_%4^W1_(TV`_f1ZlSgB<RO%my7AQvR*45)1az5yUY2IO0|y>wXFR?
zDCaSbS6Zke!0d|bM9p{DqOQ-^FqO(!hb}FbUG6&O8;zA5<7~$zU!tw{a?@uqD_f#f
z$O@rI@~^c3Db(`7d4|WO#VtpCj~QIPncf7qpk#nlX$>D3Q@(S!fy{5;E!8a6W(pzF
zH3F_ZzlO@^e_)1@c8l`Dx&qhY?}2wZF8$}Tcb#-)ke^m%3AcnBWEa;iP2DDC*qxbB
zRgHx|JMP-ff+I&>&0qM(Qkm}TEgtRObRN_U5IJ_unc5pfy>cISZ%CZW!*VIcwM|EG
zjW-q&j|Eb!o)XyLLmMC|>UPs|If?XvdO-dvt&`Q1MYpCo9cUTAhdZ(IgG7N6`0q8s
z{eRd1!)b&3I=O6*zNlt5Ju2o}EXt1RMg3Q41s>+QT?uhi>VUz#Q7jHkYd65T7e)Gk
zEWlfg%+Ff{62}nSEyv;ZbRgL+Q?`xu^6(}@6q$fcz@5wQ{i#2Yhn3CY;%2S^S3+J=
zM%lalsCDDLO)9zQ)n<T{d-L}A*&HMy7BqM<D9J<n62ZISSlJ^0GY*?fIyDqg*Lmjq
z;_w|R3J*&VL&6+oI;wL-sl4g2=+A-uwH_iXvt>OQS`lTuIM1==wCmg870kpih-Zzj
zKmO<wuJYCDxO;4&mHPW2kAwx3R_0^W2%azgq$h^izzJ*P`o=wgC$(osF}iaolqvT^
z04Dp|;ugN8j54)*?ECB839Vxn-U^e5$`g3&Qr9uV==vB>)#%uOe_{UR@DQT)SA<+q
zXfP*5k&<tLlH(THI=+wa!zj?H)a@bIljAA3s!cApb-rmrH|+xlY0YqJP1@I-xDRoi
z_SkTFaUHSp<h||oJm@p6L+8THu90J|4iN!*ulJ-}?z+45FwEA+ebcA&mRuGOT_n^%
z^T;V><jK7Ma>e<)>zXdz6Ts1vCyA$XR=ukzow4m9?wonKK#3$9@|&1x_bqYka<@31
z^9VG5%@=m!S?Y5+Uj<iTt||Lo8md$9<h<#q$*qkTu$n!zJOPz?2fSELvnJI7&HrV-
zL?ScA=9ytGZvk+&X({i`>q}~Pct{|pHrWEj1h55N@|35<M^l%#c=)RT?CQIp@-lqo
z_})1A$5hXTNC@XDZ@bZ3@2D@f7pj(55K}}==oL~r+wj<c)-nm@|Jlzy$AI$p%5|Md
zKvL-dW7#3kFHgzt%tD<L#A<;^^9u!i%a8NafG90LTdh+@_Y}&66mY?DpadhVnVdu>
z*VAxMN@u1M0*bS`dHG^DHTGa9z4^vKR%y$t$%CiQsznm?FpYZezcI|oZBi3T(HvdV
z<01+3D%;yh#>Mg+&W&sq+0Sl`W;BF+YLiGwlVe=?VmOUTDpuozmnUUv#J(rtke6uj
zhTRZN2*B1Yk7Gvs+D~o7K4OM+!_r6dc(PKm8s9Y{oVYZ&51yriOf;0LecsYWm|B5d
z4R{_rF_>lF8urB^?+(L_0lf|Q4z4r;SzNS!IX%$5*y!ltO3cUrl3ISTkv!~~tLiIO
ze_guuDsqyd`}DJ^8=Jm+69mgMg!t{?@Sv?-Gw0Y%gq%Q|)c#PiQP+j<R@mic-CfMN
zp~ZCeBPrG7`d97@K3&4l3l;Zzzy{}?fS5fg68!W4#9+ue%ScoCH)CjsY)&WKk%+ow
zH)g<-$S80i24D^Goor2ze_Pkj?j`M}jbn3gVuJi7CnLbKQR4uYFPK5EK1ztX%@KMw
zjQh7gc<ZgdqkE>WWad`HjhdD#w71ybAT#BLEuI2%<RZ;5xa-qiUwU{<jOBUl^XGy}
z+J8wpsWlpj*?+3Qyk98<HqgJz9xrwKn^4SGChn48LU~}oR@wZ=zEDKn8|;cx|DB6l
zDBrPKe7k3&<c<z&<F?|-<CuK}>5q$apL81L<EBH9DCfXXI|<@7H=?W_i@`9#Q2*r(
zpMy2S>(A4T-oK^Jz>?j)QFqlO(ZMn)v-HanL0E$9v7o8&yuRGI*PYWVVhyUouyH(_
zcd7+aoW|<QnU=u~4o5fxyd-&kCB>fKPq!Nd+#Kw6M^_9O#^qB#3xUf|%lt~@e#4HM
zSuOt(FP&pG4IwrfaEDo8YdJOK9Ko2oC9&UqZoV&fWz>c*Z&6NNDUj<-_l*Jmi5NVB
zKF<)~>=g?(^7EyHy{}8QO<vRc{e39g2CJGLZe15N%5ipuiBs2%)F2v~_dj^?^Bv+{
ziA)R*S4`gB)yA*MW$#aOKjZd^#Bpm9R&(st6SRpS(=U;>jrug~{lf<xTzLrG@tKp)
zD7P9HmH2tg-61h!xGpuYNh<lB9a4s)7@Wa)s7EYi!4u>krz{>ERTp(WLG=)Rsymy;
z%w>d4a@50jeNt3W`k#RIPA4~(!YV;TO@fh<Z|^QADvhj9_->CjA<7w|mB6n$U5T|Z
zYQ;pzf9qw8qjIIg@_d!v^fFwWF5<R8j#U$_GnPo5S4ap5Kuxtb{%V}lKDIRLdVTh?
zsEaA%kbWHA_YRa$XnU#}4+aF(A$-$u0><*x=8Km>>tU=PJT~tn9Rd+VVS`BEmy@z`
zZbSTep&-7Ja=d!1>WJ#>!{q%+3LA~V)_}l1#NDV7r$)iZGLSZR&(OCKA4?E@nW7O1
zx7WZTxeT9zl~Mu`ycMZA+v5Q^Tq~urN`B^Ew5}C2$sgJ$kF3b7->L0zKP~S{(fP7x
zc;c(ZN?_BWVPuX;M1+=Z=(J2Gc#aA~g0e@b<FUPci5j0!ZII~&!h=ilyrLmkICLN$
zFf*f@1%TL|V~p{zpt2RcoP5V|%$b4TzJ+_(t%tzHx2jW5Hgpld`m6vNknZ)MUFT~C
z3f?Xt03%RHQfc_I$W^by!KYggx&+{|2U;f*%S`US)1!(Sup*W_bmFeMo+_~pe=FTW
zO42>5G#;TGTw0Z(68n6H-~}^`#Tu)c@&jJOzNS(_l@lKE+S0Vq%hMNB2Qdh0_j}5B
zjiap`Se~9D!4C|J85y-Rm}-Q4al0rem!KEMY^Pp;bb0UoOf+nOh@v{KOVbsWt+`uD
z6Rctlm4e>G{|Jj7U6;~l=q(Qca=mRP>0XbOojICRp}l)U@<R$Uu7mYu!Jtr?yjfQ#
z;tdTr<lIu~*j#|(O{;`RcF^An4}-vc3v)m@6$pIu6r@Uy54qzu{IXwF{u^SW$fIf8
zSZbV~^{QA|c;_3RNK&Us@>7svJD!c~vC~1i<B~4k3JLLd{VigW?jHTE!osHo{6z6$
zC~1B#yOot>ZK&fy{w$F@7M7=ozEPjN)rZ_db5TSNrT*+#?w3^G$(rjbCZ4S0>gP{>
z+7$_HUg;&#p&U$_4+(5SE7xt-WIHgyS+p2tD2>6$%=H)^>$S9|$N8*Jfb<xH>Pk<H
z#5=6;FF}7BN%_Pp_fAqD&YYQJYop9i4*^%=mJ7vze^XTq$fV`?J<pCfmv!(-ftgXN
z*z;5=lMCN#o9QpMpB@f{^T}848B@C1rplfX*i2T))ossIVphpVdpbYBkT?eMYeyA2
zjTR?5t3V+kYum{Qw_=VH=ZSz{Mmt{~n3%U&tG8BdM4s;EZ;f=GB9-p|@Tfq0;GzYc
z|A^X#*s4T0(~QeP!v5~e*YvJkiMntbun&<T&<NjAer=**q0}lBGpqHgBULj+-DtC+
zHemy@6fliQ@siJZj3FTk>?`=LG4z2UDL~$M#acBSdVK)S)pk>xFB#qpE+D2MEenAZ
zTy6%Vs!sD!JaaK~@8&rskPTg(<EN{skW|=0Q)t_nXZdL!)Yr0Zp&7A}_`;>duA$45
zc!0YpA<q`^AgO|+(jBr2ALq*~!R1T0eq41hQ-hoOV^If62j=xE-!_yrx!z74zgsE4
z*;z-Dc8{*NYvM>ZCA8$U7IOf<(R<aM@_HlR`B<C}a10RqCB|EE%ss}QpVin5av~&_
z(IX8_>3v*v|Ay4&&e_lp%WUAorl`L4J6HH%madKlkygU6bYrkiI{g=}%mg>AI#!kJ
zULJpI3;W^2Td^eecd_A0^)3C}g#o}$$^djOS7}OK0Ay{i4&#ZA_iMGipSf}$&Ar!C
zcKZ1$>?n>#{`XkhQzPQk+nadM6lO(Z)%Ril#Jsh@0YWyI9mU1%`qih#vY#Ee4s863
zd%i>sJ)RgdZKsFZdMy*v#fkdMpKsiH%EA<udFINxj8z*qP2`z{fo2D-k<h^O<Eq=n
zM5l<>ei;CE;Z!h|6(p6!ZYe{@g@q^!3aU@!etpkVgDQYjDU@A*OI%}^>GZb0sfSRR
zsDgrl@C+cH+G0K8q;v`oaBi|cXn0JdeT7iJ{8o<j`rYqy$Pwbn6?XMIdlneW6yUwq
z?qW8)nw1F+8Zly3cIt?Fy1X6IfQkR~2J&=*X>=k`YkuU8BG5QkjQTYlcLk>zQFWj~
z1xdO4l?cW&C;Ut41(;#F(-lW8pJ5=o_i)Y4%}1pw1D-dN;Yg=5s#g0esgspT+<;&v
zS&4IbMUZOZ#h|!UOJE=pu-+EQmD1kGwpR3cbR`>i0rp!t#HKo+OzQvsF2LFmowTj>
zlH<~a-Voq=bPB&{D8=;E(#i1(AnUsv`s|&4G&{;9{T1M9^tZ77>&lsXaj@JckQiz>
zhnT0wr3n+dR6PfiOoV6r7H2R;johUp)}SuAKT)-tJ+t{ToVm`7`SHzS_J~!1qEH!B
zUUHO8xVdqH-pS`EkfHx7?;PeeN%yMc-{f)l!N)=aD&v(O8+Xfd$H&KaX^7F~`s?dA
z6+gRLqUkWe^e3agdQ_BoKIBCw<{HOjXPD+pl6BYF2kM*Oc?~P11Nz0Ac|1$$TwCJ8
zqg?sU?`cqyEI93J&|5PC8(GiGc?-b(o|}KmH9o<w{lM_+Xm-X3p22t{I~gk7{Caan
z#g(8zKV?Aa6S11QUUFlILP>5-ki|=!jEv3l+^N%pILG^sV4?v(W7V!$ziXtE6f$08
zZY1kkvcMK=jqFtL;&Bx~)4bCQere(lX?^u0)0s4++t)R^<x0w-^Aw_Pw+!N#7!q4Y
zcdf{8bb7Y&pG_uCVNbkLdy4_ahGg&(kKr`eY`EL+Vr_FJKvMgn>T%&A5f#Mhk#!=!
z`70Z_f?zGw8dWzpG#?Vk3S7ZaZ{{)<m$=EhResNwJk_umQ4kv!yS`|5_RxqGbQ>Hj
z@Na4wXE=r@&^e3Y3B+tST3L8*g^=yvg6*6KjGZ8>0KKO{>A0}OkhqoTBTj+KK5<Ol
zG6okdO19WyIv*E&*DW(?*W43?xAOhyyRd)+U|q@Q=U!#<S+e+;oqcPmp$ZkQtF4r{
z$s#!OR0Iyu_^en|d%IJH<p8H@ZgE`Tq;pmU)rprjs}XWk0EP<HPBzss)Hj1`a^1Jz
z*8yDLnpU3hYNXvCx<=e@-@%9{LCb9$AMr+(!@%YAPwyP?Y@#Cp!WC61H_W#yGo5L|
znq6wremK0~aBH%Xed~eM=~!g>GiG-Fh7NUyL;DENM1ZA%l`=5I!7^HctKGl{C93pJ
zvn$kQDg^;8aK)={h}2nAKPkI@9$Izk+Ie=EGq|mj<l0d&hS^@ZcnsJegO`71M1m@x
zB;S?E*lgvFr5r6y95-?C!D4}*J6la?dxY+&%S$f(J<-C3piKG?x$H|Kc9rA@tb!&+
z%1A{WBU0<Tr_|mCmq-aEWq5suQcZ%LbdcK`BvfZWs7~S2bfxz-ckFFLm#~g5k^b^_
zKnyd(%FLi@(R{cEV2t7cyRyRlG{PB|uFD<;1@2E}l807ZSr7-ecHNX<%$cCHP$q6l
zGaLJ3v<m>quJ5^B*+_a%Y0!7$%!!)tiv3OH=O?K}_cRHws?<Zn<?7hRrLqx4+xzy(
z`^v?}jPC;QZElt!{!*Pw=bNvsPSyo{l%Z5F6P^PQ(`m6W*)FMfKMly>+m{0UnP1R4
z$yeU>n(m>b+3Ci>uP_!u{3#_fK9rtm%h85VKbvND@Vis8D8MuR<-4xzW{mXR&ZBoR
zX*wkKQVjvUGVOI_mc##FKf!wv-mlEmdRXOKy1o2$uBD}|h2=x|!=G|YXF5+tNji4p
zj<?hfV1=-lv&|~AYlKC8T0jUa^!P{g-Bb)lSx2NrH0zT7t0{}27t5WWc`CoLZ7sJ4
zeq*D*Ihotb@^=zQ`TR|=o)gE{OR(wgmYAt!ZttB4FDeTl{_XrKR3nnhI(za}LZt3o
zxpt*P>~y$_HnE&hZ0K42D@@cwqS0`5kuaYEPAscKiPv+fxh3{B2}%lf@%_Dms3t_L
zw1nGynm$#}hPw5-a~B6!RT!O^`(Y8_j@jr}V>L;*bTcTVQh0g(dsWr(kr(1CMP`=q
zbo>fna^}>2+h`!US26eNene(dL=<)=i|KOn*OV|~vMb*T{k6hD5j#9_6*A@5%ho%}
z_@0!WddHg?E^uY0$^v-bW57%wA58J4X}PS*Pc8uZ5S1U3oa*bvm~#M}G025Tmn^hV
znECQ592;;yqyFG?U7Vj^K-u1`GH;YTpqaxBf5rlyubR(+9&?9Jmi3|?Vwoz-idM-!
z=66S?t*v`H`Fq4uYsFJ;{@%9iPVDCukw}Dv$3P&g?pI|EVD(QO=O=Sg*d7;#PnzD}
zxW#sujHb)_=5fn}%FT#_3(iWO#QBuOGEsKSWYXZdj`rcILA0SJRZA6A5V7P;HXsT2
zw5t#0&#(bHtIq3e-1a~f!}uhJ?354F9oL=m5}G*yI0Nb3yyn;Gb;m!tf{6vo+}kA|
zep@cK?l2IVYuhTcXqU6#dQ4#IRwzr4A-usq@`89G^8a!5*Kt*C{TC>_327-o5Gg^r
zyF(fYLApVty9K0_PLVF@Zln=52!f;_-6gdt>Da_O_c`bH-1lDp(T{u0wPw$6j4`H?
zVtM{_Yn>D0K+{4xuf&=JxNL8AGq9jY&jlNX6nKu!qyPd)#s_xH(_Ihq4~(<Fq+KzW
zP1k+<@WIK%2Tn_dxgv>pOtJ5%9WD$K0_+ym_eobu7m0Z9S>(>{e!Yb8+4tN)15qA8
zKrEk5$I$I-!hlA5vgh7SZTSTntvB1?K!3|=Vs>VG3L3JY8YJgdiu-uwkIjf;apsq@
zj}V>0;^JRYN7ogz@pSj5KKPwM$dG-K&q*MbF9^=zf&~xg)#{e7tL+xsq>mM&aW)^j
zZEGZE9uhhhq~1iqGBTat>q~%}`b#6XxJU32ufnAVC5!kdE5>Qi#9pL-KluB1lSzQp
zO+hJ>TYJFuyo5ym&!4HGzaKgZ1xY@>`oGE}&_lbGSSie<c-~hYcX1Cmqzu|N<;nZ8
zod0VcU*uiUK%}!n+|FfC`O%2XW@sai?-zG00@MF$onCDGz8j=WKA%o|cRTq*xoLS$
zxSl(b+D#Pnv#|!@{9B#6{G^r7e)QpK_x?^gmHI;2&4e6ONl$xY?Y&PmH+n`nA^*0`
zv(9cq@Fdw@VZbf}`aXZWMtw|JXX)(4s`i^7Y_UE9NpdpCxQRZ9E``1RT^7T0dv>Mh
z?XYDixE&QeG!#)XUsfQ=>v$aE`o@~*zb1%)T*{{M&HPY7TNP&9{Vg1%x>@+zNMMc3
zZaI@9w|B!ovd0<!tAGz04%r&GF*mrNm7eWDz1;IaTW9J_a#nj7%kAX&e3bgX=N?qG
z?6Yqjmsh<?-&GfP`xq*lVW=X2s%PM_JJ;&4<4A`3?<^|qoWV@U^0&fMh_v%Y;1Kqj
z*P$aAsPxn}<z}-DcK4ct$iM&hQm}Z_$6E}36*MPfqZxP5;r~qEec1{rYb2Yh)0+2X
zr|@BWi0qsLk%WgNu7Ek2l~*+U=uY_H+u<vbLG<?82^Wt_t@+;pOTwG}|5pPhX-n#r
zLcHhpMDP}!3rh<NC$~aFk%_%$GX(ODhBu>$Th=)L_Ef<{dqLVG!rDCm6^KvBHpzKH
zrTU_uGS6mWWvB)Fe^23neBrj}@enqq&H<RRsZXdv^WLPPkb<6(gg+?ZwlWbMZP^V{
z#ANUXSG*V1huNvuggNn|{ySk_M}n>KLLu?kwrV*)*0C*OX9NJqz$}^L=zNyDU7gn%
zLE}G9K5oXdCgA!Qh%7F=l7^5oLPq_cCH-^L;Cg#zdTE}YUP>hbtrlMy|Mjz+tcuqd
z{(mDw$BQEKZTS@;v|Ux)!HrtPmmb?lMi)ZD=g<M9Q2(8d%+Fj(TLRaG_H%u!6QBsR
z8}b?n5~3S&ZjohBE76LzR@W*G)3eG|Z2H*rW@mp<`{$dtivail*1rRrkppIwvXdl<
zX7=~%hnc(bcj8q8?k7%%9<YhZCLS@dTRxrQhpKOU`T%HCF&Nc3@U3%>VCkQ&qbJp4
zz4)Dc0{{&{KD>$gDR3{M5JL`vf=k5kfPe-cgZcwVNJMVdPPTg;v}_6I%g3Q9U|gT>
zm|qWf)e?4Yfs9+WDk^vxQ@C2#7i$)!G5-W<$g4E&A6+#vTxV%q#GRFMiA$dt6C_cd
ze}wcZ(glRYLgXOhO{Sy(>xUkhAO%u+sT~ix*W@8h_I^Wb01lG-2#K6g6-yd2?oZH3
znoNe=TyI{?F!63%22tQUerLT2DrYD_&Lh5ygQN_Xg_!^MHt-_|`EZ8P)j%AlS7)}I
z$o%lKFjgd8UXvoHo<~7?IcX5%n@JQ3DY~Tz<ibJp^AANcL?L9-ZbCgs6Vtx)ymtyt
z(f_v+sUcurNGDgdJy>XYRvPIrTelJDa2DW~jB|bmKNL|)W_|Hbg<tGdHZ8fbx9xFP
zXQ9FmdY?K~OdV-g8ynH?`>glI7`M>QHr`+MN%$zGV?%dDg|kPVmf^<4JQWy86ZLj2
zJab?4nAXZXT#MqUs)tTF<+?o!q%~EEiV6V4`~YEs&LH|`2>YSJhu2z24o>CwI$EMS
z)1C(lJ2+&#CB5W@z_!i&r-%ODE5mK>fk23m@A;n4cH8IApP8wY@;Fl8MTeH&hrg8o
z5P#RhcZ7uq0_{(6Ze6GatftH_Hg>GWOuE?XaB1Z7Xgy0Yf!-Urxo%k<DqAOWZO$HO
zv^(Cg72!@3h@ygw^j<JFhaO}R4gU#d#X&}X{kk|<1;OJv3H1jxJ1A#?lm~DH4AV)C
zHqU)rpOxloSb5gk+8b2ohkA!2i$1?2Ah^8!4{GwB-j#$Jdv_cUuuMMg^m$P1cYl(7
z|1K-l_+sbsj<GuL#kFxY@vvR@{(O@!0Um|P{oMuh{tVWm+BE8|(lR7ICwD(ERc&&(
zUv9oj-q`(mwg;%AWG>$xcrDo}L3v)!?yo-!v;i3#-s&tg<RFyS&w#J|LFK|b442~D
zFLWGIwXyTz#*mN@;|z`Yn+=Wtz1r%zO7W)o#t|XcKR+W68`@*XT0QKnW@^mPPqF88
z_VvHl%EwU}&o{!E_Lrdn0f(u%%JJH=tsb}(zxK+xcibpmWuuo5Dqxuwa+lx$Pr+P=
z4`_UNRBrlcax^XZlwY)5_h`Hln@kh)Jx79<SM%cu!4kCk%Iq|jJ+n*f-W~lQX<skz
z@KDZbvzxA3x;mY$w;3nYholf8HV?$2>t_r6DC@dstpdDaVNW4RkMwJ(u!3w{G_7V|
z*@$lTE_rdbf9rUG;-f=fKZfGc^<9%JY4{vP=|JgzO#jY~M=nA0oN-^`x~5Pt!3=ZU
z`Skg<Aw~0k^w3?vWj9s$Khs(KsHpKxvD78}VFPW017<It#LeiV3fpqRGD4>!3AHwD
zgM=LZyn)QV$Dy|QgadPOTk(OD(zWMFoppnGe#8`$-PM$i`xrGn)dPj%KRB3UY^WM;
zOErpp*7WwZHhAFWuQ>a#>0MQ*N>6t6?KSZx2|CL}l4PeV{FTr2lF(fNvt_6(TZ5|j
z7}o0Q>M9z~p<z@ezLyi+sAEzt{Cbi3f%F-hrsb^z9HOx-oPta#+;KjA^}M4YMqD0(
zvLb2D95|VqhD40^XgH!CGF7V_Rym?cQ7){QMuU0xUdp3~u(AtWYKv!|86s0hqX4ts
zc>dOvo&NLlvC8RSPxqNS<-U0Hc<B=nS|Kfpc|nkB+$TYLp99g(sMmP5=imM3=iKdw
zxn`Nq5v_B6kvk+q84L|>n5=H!eu=|}M84c5VN7{D5R~w<1~CU&T|bY|4ZsRUP3x(4
z^^#5-$XkcccN{wsGd-L_2MK~!W228TRbK%OV50c?rI@6(iP3J$))(K=`FfD_`=HZ>
z6wsQogMF5Dt*%jgZE%|%Tm#cwo+a>nKmeFdd{g)PiKLTX&zq=l-O1akRd|sy6OxkJ
z;}CNtf+KKpwM?UyD@&{3K}}{Fbe%7&a3nu=f$Euh7~nFL(+YSyxfaan#Qv7C*`QWV
zl!jl)muI{e*5DV3G?Q=m1KDu?iG<iQrJ)^7h?YxBY0syjYk!<8Ch)x@H+8U^%aq9j
zi9{~jxw1ygWRZ$6gYjx>3EI$of0_Ncd!v%~W+!S6#WJZ)Dq6&y@d`nIGiZLp4u|He
z)p-71x&;#ZX$5Pa6}L_tT8`LJN)Fi*!E}b5a)q_pXQBC+l-uu$I`->@k`xJi{i=8|
zWUFq^(yWmMhus(vdlB7(JTl~&<(7G5UHHpS*ZE_chG5BIga|tdA+<LqX#B37Fx#EX
z6t<9MBkFp%8933EVW-goE?EtD+DA=5S;;g84vv+#_?_p{`HPLGIkqF~eagcdfYzfn
zXYyvQfNQ6DPTnb4Sw;u%rxrn{XZG7`0$I@{jq<Q<weMs0yH0SJ-B7oe3YMvC`9~Ei
z%e=KN%iO;p)uVQ175Qd&KjSxJBLACgowK|;#@2H2(E^qdRgc9kf2BvJ7@H{1%g%Dl
zT*De-4x)mII~!bqXh+jq6bfMbYXFvs@S}%-BC$)QQZ@Z{bJDm*kNTACbyjmvRc7Ky
z<+KCr&tzAIIVwwvu(vGzcTCeqwNu`Io=a_D()_dG-4{xgux0p5k9C*|WfRtJHnf<4
zSf)0O3e9A_`NN6VFB8QD{66H3Y@U6iaN!jy2H_U*aeqr?DbDc=;bfBv#dqZrB{rZh
z%d)cVE)s-e#nd<xAya3UecYG3oi~=(F+&F28pdE&!xW$~5wPoB188kPU@qkwWm^L&
ztQA1%atzqnkK0xNr)LicP|8qzp}{H2pDb^*#xRu?ATr`?F(b?%`~o|bZjS{U*Kw+K
zbpLFEMtxRtY%XIhLCvP{giF|?&Z2L<wHedzF-+$;kl(#jTeU(Hn#CLO8D@W0D8NJ5
z<YRp%|G1&O=d(>dp~776pXHYeJ5CXN27Bq6SPeD}8Vzm~gW+o+_Il7QRVbwpyi3lU
zF;KPLIADhA304GbfXaw3-Y7|ZYl@FqK&MYzqIkQRa#LC?2TZByJapg5IM^${oPbZc
zJ3NzHX<TGQ9h1{Awv4L2q0Zd9snhwpYkrF<zU|CNqH<ABV}3v-!Sx2HdsUmhkr9Ap
zF6BZm6JT*wt(;F5W;hjMD?-+#_(GmyEM4ZNy;T~n%!^u+8Fi;^RfcQ4rDbJjEKznc
zadp<dlQ>*10dMYgnL{ym$Kk<{?c?9#oY$lew1`ZXp(REJIhZOY<>fpZ<p7@@;;_l4
zRNfF%%j2W{px5*|np?a)mB6r$5aij7Qp_4X+D~MNFfsU)=69A;!C!rD)04(_x3~TE
z8t2~1=V`$)TE?JG-fNmM99<3QTM5Hm!PQMs{^bm6sb*o#Wf&DB!(MA5{`7LIc9Q(Y
zXN-r9zcX(kZ)EDv1#B?rF>=s-&%*A|pG=lQ7q0y#`qED_o;;J9Y)bR~jx(pRTz)M+
z0nn(=0^@8KH^0hf-;z+UJm&+^UsX@fMkTglN3(V^p)G{l|Lq2u0h$x*bzsdAVmSNz
zhbvYjf64f?MhEAW@uVJ>-uE#MN)PgYw=!A9RXSUzBG0o7wrb+?GX>$Ku$+%7wfW{u
zkp<@S6pc(70iQAhnBIEK2zxb;O<}BDN@4StQh*re0WZ64`tjM(SCgB8(j<-f{psT@
zVGr#5xhB&H2f|)|b#lDNB*@LOii49N_3in4e4Hg2ZRF?Azj+FwApWau@3k{(M|*Ch
zy1x+VHpLt;0PNao06+?BulKUFw2Y}=es{-?|5G?eeA|E%%9La3TAtrfX7wF=#dAN-
z$X<Xm@a=P!-7t)bJGK&yCb<#sslaTl@PABDT#6Gk*=+~avgy7jTSl5=#gik$`A%K9
z+&q=(0g~LvGj#w4eOLHRL0C`0vR5T@ZNh2vr;?KO+)X&>KLAq~C8*#HuVY_yd5vKz
zC?gklpTKacD!w00W(Pfr-Z3EKXLlWGU9mc4)BS#)0?czj%s4oR;&}R!0UIYzaYc`s
z6P$1<;4d5`!-sZL6|*hCW0jK!p@aV!&8#3zWLF6|LQ6{j@Bi0Ab=H@&+`I#U{oiT8
zvWv}3EZV_pG%Vs$dGgpky{0Txj4w5IJzJRd$*=^4zTn9#>@eUA0DxV_<3#*k-XFPX
zDF*v&3z63T<KODeYj28vuu4^aempXC^8=`KiLPF2Lv3)4e8rDtIPdv%F1!HqaiPX#
zoDBhhwL%sg6?A=_{?`y5oL;S+(3`O#TW)v0hJUxA#KNP}c#z#APEb*|q3BR<uf>Qk
z_mOTS#+aioC+iI?#SdYPv=s8#Y^Vl?FFt7X2`4_VzlpM(VJXwH)X$N|4nQ?PV*fG>
zeQj*<*ghyf5x=uC))9X6F`;<uzlLT8YNL}0xxO96HR>C;l?;31s%iNn7lyU+?u$P9
zKR!yIu{%W>BzXpBvf3u89(JmcbY`YiS?#PuO&gdX3Gv!nILihh5T$<_;`TZ+9M#~9
z#x977DdDql1A6tecXjPv(ln9K*lvJqVgvIh8b+TOYh$GA2Q}wfLLQC|5)O0qk>Szj
z35?U+h3Dl86iQM?@EN82bcM!&;*wg7#_yT4a^({{qzUvY$0Mbxh8r3}f5>m~kk0ww
zCh9N$?7kQNLL&jr&2>A8{p$Ta1rgvgWegzeI;HFpAuZ0I&(k-UH83>18n2pM@;TjJ
zO_IGY3*g*W*w-JVFaPy=IoClt?VN(wdK4+U^wn#kDORJ3Te|RJ!tQJ6Vs(i<Orw6m
zWxC3!-4(`@0JFe0JwsuJGG!-|@GITGMD^!pJLt!kOJnQXM{@6GPUD5cU@!ernG9;&
zSsl!$2WtR8@g&V6QOgl7fZ;jpDaM>*)-lc1fDsA~G#)o`Hb48~(OG2Ovr2z;k6Z_j
z$~!HA1UX2G$Ie|F(#OzI#5j#)Ciaw_pKO(vnseJ=z<U0Wqv4RQcre3iLI{FkAcAhp
zR(7J{PN#_#EG+J^J!hQFvZdOmy~R2%bk@`%u$A(6(rQjSRvLNM)3k_Z+C}TYw8gz>
zTwA`}Jau<$>)K#MK0EDfPm2otOLJqQL%72Q!<F;eSShgVy>Rt_MU|e#CzMhDYvYZ{
z^P(>Vo%PF_k2_&_r=vDNka9*O%*MoramuRE8Fb~ZhO9fj!K|l8CHL43Kb%Vqd>FM1
z>fxA}vW42)<WeBKZm@4y^3C>Fue)lNeAEk!0Nx4kuD%HYg#}xYBryhtzDG5}Dd$bq
zink8b_$3(h+d(FN<<}D9UL`lM6L%cUBU5#YtnP`Z#xX7}_6SX*@txxA1EY_N98aGy
zySHBtp^9jt3m122NE99J*=gSwxR!nMnVDW@F2-b?L7q7+6;5tUs=-Z4|NIxZ+52Sk
zHtujSWdxX-F53kYieyN(J=wxa>(LWqX(Q7zyb~_W%x1#;9)BC9G3f#)^<eML8!csX
zO_}iJa^}ZOJxZ9fBT((&1I9+_KR;2dHlEzx5agInSK!Xe7`U?vDTw&w-465ZUb?QF
zd%U#XZ3bq5QyI2tgSXh9bbj`uQm6`i93`J7*ngFX`N4Nps=pTu{u&we^Q{pI8Rw3u
zWfVtR@Wvls?wqcnraO>E$kfpd%I<_o+BeI4zU?_J%KN9RXWo{7?Q3#mYwEFl|JF(z
zS8}I`GtThs-j^{Lg(*_hE`LtTw8<Jg&Axl#*or%DH3!WXPw3>o%^xW|o^g5%=31M!
zA@oJQpF4dZN{j?Uq2F^;m96}d{&0~5><a7PMxGKBfvkFAJ_8(W3;axBQL)=WOeR8t
zmk<{H+`0#k_Iu52d<&Vu;ZDp}TRkh2dgJZ8nSRS-%J|uwhQ3SKS2l5&FC#qO$f`{G
z(S{W8&NTEOEHJCN52)odjXoFx`|=J;e|7+u84mvn44qRKnAe{8NVrG?PsED`v!}oo
zm6wCe=kaGk_}{4ChK-anmc?3B0chjdr#&hZGi>Lte$9HcA10%!y2Pv6W5jh@KAe3e
zgu#kGp6L`R%Tez>>#gFE^-x)Mx{rmy&qmE*dbeK9^+_@$oi=)Uv+zx}S;;WOF6{Q2
zo`xHo9gz&)kBqeBEsVLYDWqx`-~*^NBXqSD=IJFBin18=foD#fR+dyyW)#(%c~rO0
zmQSGxXA+F5u_kB4wx7cK^G~MJBtbKupl-c$(i}pmp;VpxGGY1r@#M(R?q6U%CRpY)
zmMB!Q-6ht&y+)Rhdk%Lq0sLOE%a_|bWY5nVVklz)fmFxq)BY-ksgV*$SKb86bU;Uj
zK7Lq!#fXu&y!`D&;xZ;5tvWcGLG)5U#n+pX0&7KbeN<6#=w*1B^y{}1f>h&2*YYa6
z4Tauss$(I^JflYrE~O=rG!ME^Yx<{8wnF>8({;k*A9s@N5$vUJka`%W4cO(q=zYF9
z%r{sH-<6^0ATOzU0L}mv4*(x4_*qRLZc9a22(+=Zs2(EO2N$81F2QD;!j!Yki%}Rk
za|BewXaec{Jt*%<qk!LcTN9!BR6{aP*eR}zB~VNIo-d;_9M&!KZl7sw$Vxc2anflE
zD(}Advik3R?Daxyj$MFkFs*mok0gkrn{t@!I)h4~G!nTrxiFKg%!GRRdINfKDr4Yp
z3IN>_Hp7&pl`IE}3H2%m**lj+-Zdh2Li9X*86$<RvnR+IS5YdshQK~%f>zD?<B#%X
zw5t2(_0)(xgGL;u;x17_-oW}r4XJ^vQOX{uLNw(VW|@o*-;Z2`rn*09;E31+!62V~
z_Gd6Ed<KFN&oTim+iBrAnU*;yK{#;r=U#m<-cpmu)5H^b@IBh?6UH=%8IndS?>1i>
zZ1Cbe0B#v<-ecG&T*o{3uKL#y-=F}as{<Mu?Eai@x7EE8i@aokaHKWX6nSO{lItru
zpN`@7-0DL(3(`Wa+w>M9E-p;e8Pr>v@Hq$j9A=W0E6m~%3X?f&eR)6kRZ>$6QvQ*L
zHg(utl<<deb((-KMf)8;T;Xqe+Ot2@biDi9b_m1#OK`KIxthBa?wH}%y9T!fO$O%d
z7Rv}jqp$&6IgMS?A><bz26_K$0xz}8(eiIe06mHCGn^CrO3zXUx}2MR-P;f`b7@A6
z0CUSA%;bF5uHthRg5oeUxY?BP>30k_I8WB{&`1uy)3vsSV}uirqm*BWA_~uKI!y;X
zr|E}>^bjzyK8hJ$HmL{L$>-h9Z>Q7wcnnM3H)#+)4_3)8x*JjMwye^d&V>XG*je`1
z96o`2O&pdltNZ0OYTaAoy;K%PTBvnvQr|M-PQ`ry_GnnaAN(O+Q-6)EA_iZIWeGuL
z_>&{st%|f?6TsIXKMjz5@P~ScpK!70<8;d(-n|oR5!sNT_Z^K|7Ejdg`L6>k`oJC~
zAzwow%Qa5&pd5X_IM&FbDX!A4@}TDe0lO>X2o5sCWD4BnXS`PLV_)1>`zLyfn=dU7
zEWRBBPSzk`MurGAxLve2*<xpbW%s`*Z4EH6Y*f;T1J3?b2)Q%=7or7@A8Ge%X-Lzq
z^WF(gFv|abkeC~}*~aDQm(Q6{j4Ei~|Kh^Bwiu?zfk^0NMhu0e79T22Q6u7t=%hdm
z5TWH%WWh?C6Iy;i1{WOt=?ZXy%I0Cut=5(;e}hDTs3D5xGgEvW<YwvObz>SlQs<m8
zf-YC>Pv4?51Vi{kA)BjYIk3~Hr$_)+1t0v0g7!~p;E_D)2}ECPq{BH!L#=p(UgvxP
zlWRS%UXTY-k$<vg`ibQxzgvf)<D5g;=m^^2DDaN|`DI{X=d-rMee_y4?f^=M&8ZkK
z;eWX;+(JoS>xu1YM)5rei;c(WC?E`u|6eiTR`<h(z9f<2oXeVz+Oi{qzm}C~K@=U4
zshCBe;x4MDY+@F=aqHw_G8_>U2{O>%|6~?ruZRqhCMZ2WHP|g5@%^ug^dNyZ0hrp(
zA}{f<Z7b&~Pgwq+-w>%GjfskP55R8;=!TsD0R3+Q@}W6{vZsDxefr0tZYh12sAM|?
z3la_G-%Q7AXW%zwg{q`4ejMnQn&YAnUi1Z062DFVYdlu$?wD^1i_3NHaZSyO6_6T(
zZ?PLn=l|D`)&8oae4#+>_;<R6Huzo(VnK5My;us7dP_%oLkq(#e@!N{<tSz&_+O1~
zAkCJ;2AmMwa((=nAKrJvvb>c4_9$U8aC=}xL_`bG_1$HeXk7L^`~S~xQx5Y1TLbA!
zj3N~;r#6At0(i!X>;Ki{*;p%DkmQuH&eWg$y_z!pZa^va(-#YoL;bg*c}HMO1<%NM
z4WkOW%PiR9#5c1}*q<oVBL6!itIZxmx2o$!!*@Y>;CGK*fjbv~iM$0=wSs3zxI_?Z
z=qI&I-?3j8mTxU?$z;Q{B=GXo6NV96`Tu@Lu<b+)nZ_~s!nEdN9SwX;mi=#S6#i>B
z4oF-&bE6<tLP#Ws&BBOKM@o%+sg!6zY6tOlMr-^4vvxF=PcAdh40b*D@5^Oe$%y`)
z5)qvU@->Xl`cy}g-1DdQOv#So!>0nXgQkN2^;}Sggt%J@iy2zpT1|J|+G9GFGhW&J
z{~EVsqd9SEpwr<l*<}`HF>FwOX>*Gfb58K!-{tY_i?`d+ma4Y)`9+BUD~&b~ib#<O
z`gdW3TT!MTXO8Enuis0zm=V-|)|SU}7_H&LHi!IEZTu#j>y61a1feQtp+-S3$G=<7
zAOiW{HsNnwL5<=abbBha=FR2!tu_DP|KBH<-hpuk-ugEcMt;`c$>TX@>ka^UD=Q85
z5X2IxA_Y`+zlIa6yHLaKywBKxd20og)B8O`ZJgF_8nPuQyZGH_2?~NY$LGk1bi6X)
z@fjGEy3*S|j2el?2SNuApSp;|JX}jZV94Bi`_@wUfNi%K&tW9+g>(r?AZo7NuSe~T
zEM&a4%J2|om4L?>Z*7pG$rH&Q6SIK3&=igRyTtQ4@qa~U^G-5VEO)x)0Fs|D5FS7~
zL;fVWud}bc-=w-IHOHYjfJouqeE1+#!pquPiq973pUueG!-GI>5H-hY;A&RCDt#2#
zV+-|h%RisrOvRnR)Er>4$~=kjh2p%(HB)c6xjvh3d$r*kfh;Y`^KQFARZcF{4QzcS
zc!8+vTRJ!C=h#~Qre#_zR>dr@(sM>@N({;y3-3h_KX>tphZ`6JSVFPqzM<99=Z6#M
z2&_ON2<N0|sHs_T4d9eBv9MO?1cW716d-+HJzo8Wmr3{PmwU2`&-bghYxxB0t1SM+
zW9vwg!vy{3ZT82SR{hH+&f>bw>EZ(Ym$MvI*CUh9y{HFk(gz=iUvDeHrploK2jBU4
zr386bMefb5HcFO-?W(>JLUQDE5&X|QI+Ia!22B0@&ZOsAY8JW=@xtv+4gk18l{VP+
z>${OQzz_{x|Ads&tH-y7me-{is2wm^ng!>x#fb{x>mMGRciU=zWD~7s@#meki637q
zDdbJ>fQXzB_OyNeD^*jug`+mHG(Ek57m;RMwT=5Ci+ho#PNT>V3Cq6MNl1jEparI$
zj8#l;Cp=1REVOuP^yD`lUFeUY$T<6!3b&>&OYYBkUt;uq*UE?hw>uctyx9{w9mM>0
zZ2%TPEU$Jz_nRy%b+zJykzM)NLNlq$)36JjwRcF=?7Du#4gWr=>bNxclY{jfW$mSY
zc0!hs-F<z^)|lY4(;+-3ww@zo$puMhW@@H8>{W-d`I!K#<8hFZi1<`d{rW$V7)gWz
z3c#odru#RD-sV0Vz>Xrpt`{tuJXQ)j*2e@1??6cCPq$$<=q*1F%dX;clE+?GonZ4?
z5CS-SGG>5Q2cj$l#y5G^3FUk~)J-+bUuok+>zs`J@0R+kIDg>$`$YU|yp^#tLR~`I
z#>~a8kRtY07BR175RiEAhWH#fCPTFsU9Xzv<HyrecQfk;Alcn^->>Ip-3(6IOTb|A
z@MJf5oape?O8)GdiE66a#{P5+rO{Eqe(`O-k-+j$+M~wkY+NdT$rep3ljtWJJ1%%l
zH_II-v0wccnoEo>reBE?OfDPuoiEz~*se1_P~m%jy=$V=dJph}S%;6=u&!=5pYVKJ
zK2RGh+LcK3(FK8(5unEhaHFsx<C^c7sC6A48?xe9*h+zE&jyMFz&0`jWIE6gJkX2x
zw+$zNtTvLol`Vlmi<;-LR7QCpRclURwcJ5Q+zBEUbPN0<O99K}3@1(Y-Iqt|B%Nh(
zfC?#M7y3|10g1J17rNEqz5dYZzRGB1Bu=7g?lz~@e<dgfj}G4G<i#&`duoPlnxte=
z3F~MrvTl5W%1Ih(6ab$BcoKOvZQbv>h`l-rBlO*)&iSq3sDAHq=Eu*OE%@}rBhsqr
zRmwDfQba;x!^7P}@@R4+80$5ix(-@m0<NNT!aOy_77icnkzNm<16{a^_PgtDb}Nqu
z&K?IgsGQ`?`ZkR@s*A%_1>2Ej-wFGX<(urFYBZMs*kLn-u@a2m>9g2jcjdaZ3%#2}
zNCc9^OtS3$L!Na!dUJT#o*^J&qLTTp(`A49^cpG--%B>YCB*jGul$+eWj}qsKeK8d
zu*=4gUVJ;WH7AcOUn1)16O5WW@a!nR&d+l_20c+0uE48B-p6dm*;Q#>FybUWe#I{a
zuOKm+Xn?hPuqRE*xH$l!s@Z|0B`e`%Bl@<RGCU2+TbA*L5=RfiL-GS5tqXJ+n?-0l
zqjT!=WL1D0rN+I9_)X1M-^Esx-8Ru%$!VLaoxtU#cE_|TJ3u|XkNO$=M8l<WP7Xf5
zRaOSkz78yvmJPn0XIv|{n>x(HsJ<5<d>K;`UWNB`(;kR0R^Po{uGVvtoOm~1UM-B^
zkG65RSDale?e3Q!qd)3=O65Bw(u<eW_^X_Rb_$>airmspb_FI3kZ(h!E~2w&R-wg-
zQUL5b@NPR|$M<Vp-LkYQu#!K-iI$y-&{f7RRf|%R@gfTXJa(*JUUwXU{TFI?ie~c0
zp4i|I1eSykTww!Blgqhzx%81N>MI~Y1@-N?`7P2Y6WEg$Ta8hS8XJLQYZAc=R*ab0
zR<in5QeeW$XHE?vx&!6NKn9=1b)}n<3PNo{zuaRLy679BBH`@d=7Hz##u4I4ixUZc
z!*j-KgM-)}gKVn>!rV+~MK{-~MF7d#0h8QPzj}Ur+CH)>%f}Y<_WWx|NeuLE_}rL+
zStaM@vJ53cu=-mS=_xi8#UFlryrUl-sFS8?Tz$9bGuocp+8D4~hGm*%Lh~AGF8h4C
z)e=)lBP{YS%y;oAG0n0V^ju(?ji9nlp=Vdvqy2g*Ts!GSfKwXZAY8StKL6TNY`fLs
zdS8>CLK+IarKTk)7qv{1_NWj}f=r27_0+Jr-(C<An3iB!WVKbgdGweT5GB{pT&C8k
zav(q~N7RARX#^#5-{w%h4Rsc(*<b<hGt&R1;OxfdW=^S|0DA+;m(B{BGgmco7>WuR
zbu-A)d9~a@^aOj=4489eMc`5Z#urvJiNYyDCY(t21Gd3wRT8Q18h%x~%^=s5A?r$2
z=cx|ts(8E!{$>J!2l&c<1Y%tQ5jJgiXTI9nP(uH6YC$(DTS!L4(p<a~rY@$j$Oo1e
ztm=APf>ol&_Q5R&NC9L~dAo$Y#Ao*Hihu8mJjE3LUXMS0o<4kab5ZY40u7vQ&siQ?
zi0V3ELgfsWc8Wy_s;I0A{rN)94AX(IOP@Q<9Rt-_v{;gq;4RcKnUj;CyPLR^P=pXC
z(*5NqDVHWOQbis5;P}Kv<enBin)GA@o4xdgSLmZo`Z;T3zYJ?TMkISE*)-oQRI%h3
zM(P78se+v6RaX7w-gy$~={v2>{^ld5slm$J#<V^5-F0<^|3^TlyuHkyZKaBq<YOYe
zOT?J0?Z24hiV2)TNm87y327u)>VgS@kdwNpAN}fn;dt{FE?r=QQO%1);V%R$N69?O
zQ1W{mGVU7|9bwUMpYNZ)3w!RIzXJvroD$(X#6n{2kjPbUC}JV!uL&ESF7m1fzY|KG
zAK__1o^lakBiS2|+fi|(OcSTSq`+VbtgM>|hVWPK6UXp+m(iz_X+q$Z5u6(rGG)Y-
zjc(rM8OSc9_IMjM=*-3UL4#E&5mrtHg|8CjYXN=Z_Rp(*uCYC!v`E|7PHuMbUbut8
zr3wV?a|C$osRMIcKQ6nvo;0@9<x&h_Dv|9jG;DDIWaL5HWnJzF(5SK5!&oT*No4ZY
z0b*Pb$J1&YXWN@z1{q^Q+PSG%Rroj-2;mUdp8cXVpg>|>Ef;P;Un^z(lIkWAl?X|;
ze#oa0GITeRxvcbq@z-qQ?$A@sP0H$4WZfOyJ3SJj%9vm<9IXe^A1R}6)Q=<6$SjA;
z@RK}+gB64R-dir6`fu0}gLy67cz}H`I+hFKQ)Z2aNJ)x#QkypzrX{!+H#^lLC_$YW
zjP$IS<Ie_K0hZ)WW&Ye^<aBy#e1)KsD;ph%hXOsuDQiE>M}Ad|nRmFvNK<w;Jh}=k
z$@DZfG9_sjS_DQ8=GdH0_{o+Qy7eV*0>99FHa;CDL)D=`syKxNI9jVA-5m8%TFOO4
zo-}VwuCRbWNrBz#tD%aA@%Wud8(h99^@f_1Nxz1SP0<L`gFZ56z;veVP>lhQrAn*s
z@wFi|-t_}5U0@97#XY4b(R@ZoPkY#&s4cD9S<8XMqChLV(<ei3N*C~aTA>UI%-zWH
zF_!O2vA@a2kKL|UcqC*qx?Jx@WiKLO!v){LzzNs0?O&F%5VK3Mnf2RVRn8}|10t>4
zL9;J%3?&lzc+$!q!QVSx6yL5uaF0xB|DQiG7^4^TG?vw<Rz-8iJ<Tiy-_(z)I!kn;
zyNLDZfs*99iNbf~Cq;*Jq7B(%mp`FW83U#%bTd-eghuDA1YO!yVAmbxpLWQW|1kK6
z2V2%KhPr-`s)Cg;p7>*zlzsm6A$=ju_JDVlWO5GQS+#IuoEbLvWLi&6#M&IT87h4L
z_N=;fO8O%~<J@uqd$7L!_l}O5^716SnUhy2TO_SZ6%=<NFBYK0&yw-^&P=1;28e|j
zV5(kxxTidsF1^Uv`Z9RupjEv|$;o3u4zmr%SecNuLw}2g{Pf99C|$tIo+Ghd7P>Wr
zV%3u2jSvL{ne<JKuCyozuNh5MEqhonxIJoaC=fqlUFogQ$*s0o#9K)S150t1%YnWQ
zS@a7EGbR8FVY8dBQ)%N<$!MCnzl@$H6n42s=!k$QKoPApgaOA=eBPQ(;JqLtTbJrl
zI9;Tz(jGGntgub=JT--R<yWqF;<{~M_HV2kjo(Pff=QQKPq8m7(U1)c_0+<-zrP-c
zm8d;50&L9#z(m}A#7=et;z6n)n1m4HatE+uf~+UVg1MjmVl}-nWF6PuON>pGV2ysd
zwb21PgEq;WjK8946x6|r$Xhta@(6^e$_jhzw#+3VH|2!ZOpsGgw@k-_1gK+2k<wHC
zwex0@?}TkuUjl0L>9QkkfKV~8T0z1Gy6Kl4pLRvu0@WQbh?*+gAB+|8f3fIuc7X@A
z(F988^sBz-At+e@dr6MzQRFTSgb9H>Neu8_SuVUVVCdZgm3<KsFjwU;RjQ2*l06aN
zN*R~EV0C-XaOY5jkOa}eFhM&2h(_?iu#o~Q<C!n<@wLA_u8=hGLa!<m!Jmsqs&{q?
zmOthf8GhU%=sPFB=cy(Y)+ai@1xbgB$f{)cdUqfg*5M#Z1_2ZeBr<+x{jJt3H#K2W
z?Ff%Uzhm#Lwu@^gN8=^Rh*gjg69iav7ofsKkY-qrvgPge=t9IdkYs1_1I5ek(VJj*
zZJ>_`Bp~0Co~)Sg7h1h#m7F!z<*U?c^KAFY9Nqf0KS$NZ3MhEhMXyDG?uq;kAz>w1
z>Ny~yV+}}ad~rii&`B2e=c}P^r(6{0eAW{)Hj|sA9MFp@bb6ucA(NL3ArLg6=_vE8
zl2Za|`f+yvo@2?m_qWmrj4+y~$Z7$+^<4DmN32mRhwWse`|XQ*o2G*jZHMHfWDoz1
z)H?P6>#^3eUyFVs4HD<gP6*|-t>AxO8NVBF0`~wyk=4{7(uljard0jD0%)pj18^k5
z-(k#k;hmio${>Cx<!!1<J~JaBs$Wn#t>70<PW25+Sd0yE>4Mo+6`I7Nu(!NVecXQe
zv<#(t?Wd~vS+qsE#RpYpZdSvFSv|kANkJ1xxDZS4f(n$}oY&9#>T_SEIyvcMdHz4J
zr&Ypv1#}czsCs~z;@knjcN4$sV>#{TDq5Z;dB4^=hpzsV^l_N>Z`k%B-#tf`R`74?
z$5r%LI1nxipy-$h6p+Rk`aY#>`qc~2@@TX`Rn*A9^PW?IK^%6>yuuYfYyZ!~4gb%>
zbrMDPbFmk?PCbvjTM8QJtPyN@dibrnB1hE-;jz2x$7d3(?f)1VP>23_h9VhLdvh0-
zDXY|xgBQy+y(n&}0%XH{ZCJgd&5j)U&IHXqKJLz0kNklD<s#_opPe*g$G;4Zs2)H{
z9{(~v$KF~NSbTg8w}=zpVZDN5%lNGa2Xq|W#R6}o+HiUf*CWWx#WBVBXx9Zn$~r-Y
zg!9y|ZPEVvCTaBiXQWe1RC<-`BFs7QK`7Ykzg%A2Tt6h+&k*uL$|8kGlB)wuz4US>
zX{J}dg_2RqHF6npH{nm!tA3$-FNC&J1QMi&00<0`=Ep-s?-t5UfIi9lwB8Cl(qvuF
zjfX&RWum_20xN6;2SR<0aPB~4C9pNz?KBV}8uxMc<*yeirn<=b^S@)4#d$Y`gn1!>
zf-Ars%>*KE6SA4(?Oxe<MkLo(ny8_4C0TA`zp@c5lATeYvl!^|sQ4ebB%>ZKFNxF3
zVldTM3`x@CB0FnP8$^2VkAB{K5dJ58*@p(fHxFIr9Wb+(6D=-bT_(nO>$l(fi;@uo
zN6A?v_m@q16_rr($U_MA=2t8n&x3DXG#&)iJnr?57xBCNhcZH@x`Z>I%AJ~F;h&Rn
zLV+45S9<m>z;3IPxcsbndN7)3b+2gNAb_JpX=gHJu?r$ZJAWXMH{q6nqssUbvhTUf
z&jSRk-oCYWU9_+xLJ6gdf7p5q8v|USu`$qx;Q}N92SgL4Kq2f&HMHsdE8y5$Rh5%R
z>vz^Xug}+SxH{<SAK(59UfHR^(a}X@eI&4a_ywr{B{#Dli)$i>(v=zsTL0_@SbT+I
zbO=7mfsg5D1f@!Y#N|6ex-XA@IHm32=mimYwAP5<$6a-Njn<0??2|d0E$-V5xID)_
z=ww9x?rrDTM$>{69)V^|ruwA$PS88|K%hA`1mZadHQZM3M>{G8Kf4|cMuRaXRA1SZ
zBbjm<wO&TVLoksc6VwmMh=mZ^f*u6s2++&D+v2K$O~q-bS*gW8>S%xt@F^A_l7nUy
z2#`0UX<(|I5lD}a{pFGMzyEmoqlT#dS+|p5on!koJVFKnnZN;}S05695MM)yjoTKO
z8zl*(&R5lPtje!mO}`;gQ9~w8&YRk*=UFBbd@Gnm1Ce~ld9$f*uvm35f{kY6Z-NNx
z;>cC$A>v4{43FB7kD|<&98>OKz1$w(D-=*6_<pe>cfk#g)AO%x4<AUh?ahIE!)QO)
zg^L_!H1`lgv)i<maS!9nbmzbk(&Ri74wP7sAbHAQkRCV9v+>>@c0SWF3c-jK$9v`N
z=x{~Y7jA;n?O%h<aV6_isU!h(DTQA`0vWl0T2Ha3@f~*n6)Qo7fD73DbHC&v7$G_>
zYZppQWxnf2TsR_~tw1+*5(I#AzoJ6I2_I4VdRhTY5ABQbu~1__bs+uc`|c@;9-5KM
zS>J{Yp3%`MX(+|p+W?<_z4VONN>aaVkRdX%(Uq?|1vDipxSoJX<{$=EjW?}Vs&z<{
zW4r2<J)ZtX43ZORXh<XbqOYG1P|6$g2Bna67HnaapPg@OlFKA=f0ZgNI%Mf=auhD%
zvQ55y1<t;*-87q_lPEJ?iy}kQhrOn9;I5#bAjfhrP<GxYA++^<C!Hm=%VpBM7rJ~~
z<mtFn>`1&6qtnM(G2r=|Ny2*_5Xr~m!I$u5-M)UcYuC-XyIkv%cAEHnHh?|F;s@gr
zg?5}Z4f1gF2()PlkUGVh={D?LYK*Ykj+R*eLd>#UP&&Mg%EwT>->!U~!Q}l;%}Af;
zer>LKiX&?_IsHa1LJM>7#4l|Vr@Kb_E7b*b<rQLG^kG5ppN)tfu3an~H1y@358eV8
zmLi)`z-}tM^i>pqmHEdfY3&XkCx$^N$-8U1YbB$SE1TLVuqjv}lBm}HGX3abETjG|
z8x8FSO>B#v?+-heBqUY8zC9J&AByAV<|fj!@&_YNV}5&`?d5$GFTZc4&s)MgMEek*
z{45{H^Ek;fOCBY-1zdl7Jfi04%zQqUf8hPjNL#y6+ryV;SYHdTn-c`&^{2caj_1A5
zLI|fl^CDj{rA+7cGtdvVq63A1z6{&+&AyiyClejaWkAAsd8xT%rwlNmy>J<_P{9i-
zvRtqA78Bii>#fy@0f9-1h?E**>&E?4vV=GT+3jfv3J0`gn2UlxCD}u9j%gg^ncQDZ
zQ?{pA0Cg!P?603NLd`%7-?v))Yue+7W#17(o&RWKLc{^r%;eF&&Y8qPz+GyuO1fY5
z%}Q92XbREU`7eRT2V#}?S1e%cpe`Iosww2(xI@kO-Z;dHRGFFGqA5qACFKbKIZxPY
z5=cjveuJBv&XigT#rE|5jW5VpEljmKlp;dGkGSP8kG71jI&N$GDp|9~b-t$*Mswkm
zd+&PxF2&<!Bh%!=yF@5UvqJ{1))Ve8#X-=tKmDKye!d%E6Q*jUW8?9QrK)8Xk!y01
zP;&-)aLYt|EXG?{%UTC?ICN`Z0#~q&R><}XAS&f@WFbv~riy$MmyLT}c&r`PQ+6VL
zl{oH8>Gl553n*nSjw7TgZ;I4iXhZ3IsNS9K9QtOxhs{Y+@6MkN4e5;MC9=erk$Ngj
zwK+kRK%X(2g9N7VH#W#6)ep9p9STu#ll{n9afco*dMO9@{TwA<=fhWl_G9T7FXpg`
z=)r2Am(nTVVjW_jBD)Px;ghY|aN$HL*-hWgSim@4Z1LHb)xA4`hAw2T8?BGndw%Vx
z(%7bWoqcb#baz)JgQ}LR*z=$xHmmJ`3g|9sYe&t{JZ<$KR(9EUF!%J>_4wVpaC5Vd
zFt<=<XE~^SxNww6?G{&?wGo!Rg(P{fG=Zt?hf-_>58&|+muj(WO`>iuo$O9I-K^vG
zQC@5%JIwhZ<XPK*VR0Li!MnUz=vys@u+$MEk0Sb^dTzMr(owFN9;=;Mz{*|l>4}$j
zsLaYJH{Tl><hZ1!#ZO)NvQCpiD9RLShG`?FdOgNgIY%zdj2issI^MipC<yU&cG7oO
zU{C!<_o59h*<!k%kfP(P_jT>@`b%&I%73MOY0OW=XLl#H*cvh}>*+a?dR%gl#-0^^
z@P;(meX8-c_HbA02`=sjE}&F6?EBJ4asXtS%nK#zd+kg~L+OHS9045q>AuhDY{2Rt
zYDR=k6A&-VZVgQI$7f|M`HCDDWJa1SQ#95S6PbSC3({nQB7zw0&rHEB7TnU+Z4UBs
z)PJ9TdjJ;5XT31hzV?a3JtXi*xcnFIE`(B~kt8z*)>rZUFhgA&uoU}Qi(L{d=XI%3
zZoW0yMrr6mU-T4dAS*oIWH(&@Gcj^YPJ;MgfwuP4hKx!~=qQo|00_*qfVA_(g937|
zn>)OD9^|0fcNkzVd(J;hF$+|u;4bf1vQd(>R;h`Zb{G6q$ae5ZL(LSOf;QP+PT72R
z&!i&d)v4DG8Q(R9p}gMd_{GAg8)MMPiKB#6KHu!ZqO-R*HX$MSg46l|({F0(hNbtS
zUt><u!54_?_zNw(DE*Yf{Kz07w5SPaV=V@+V92jS9{~YM-hUsOsCz8ma3^WkyN=QI
z4cC$%LxB!!ck&+pRUl}I&y?C=z|vV~!9BFyH!ilW<3v!LVQ8b}=F6Zmeg7v#4299e
zs6a!q2T0f<bm}s>rco=*x;3_<@lu8HF)I;jWi*cCC~tOe1Ir(?Xc_Jf#Jhc`6s?P#
zM5(m)NNJeBe*X4zf5_h633lB^jV;RC&uQLE)o$YV;XbDqH=7slx6+nRZe4huyMLsv
zdb$5-9yWUifw0p_<vwfW)E8n-%M>MA|L}~2`*H9-9wcx`TTP8~5!d46HTjOR@v`-Y
z7D?`o-3T+vw`b^(CX%k(YaJq7(izpKtaYYG4iQgTl6f9KH`h4n?CzTZ@7>nqt+~uy
z&4>DBj^H1ROi_45+<fqle$YRI)A2ViPRu?40?C{ZfI92UYPkt9jcmlj17}H8xw(#Y
z*i}gG`)%<cf=NGzcj2p_2eMtiy1Tq(2!FDi(Wm<<dhj=_AqG+YeNwmu`mP<n=+MLQ
zAFulVjQ#Y0<MB{F&wtHpx?=LrC*H>p8igmDNL*kEsHAMx*`zRR6R2=AaqP{dsA=xw
z4~jrm?9#e2ce<QaqrTZVpSYV)zCWGqsfp_41g&wsRY_7oeCfuhCI08{?|Dd-ZA)T3
z4<{_*7bV}mTCwtnh8<C-xtzK%!c)T#y;k)Ttmny^_<VyMg1wHP{+)FkoaQgMSGL!K
zIiqhYwjqJ+U!_-vj}`xx`{KFsc&KYvFDL$tkrDaRuNRH3xE0Mz5zwPIU|E}v0vQR{
zz^IIV{P>3u{WRT=!`r8iJUJ%{U~6%cyS7greQxx2x$wnQnU-)#=Hg%xf~-V833X|E
z&lO7}_*J9!jfYg@cQ<zLhy)wit%s3Z?9YvOwpyRYSzf(Qs#t*pex(ogj-eQEERxl?
z?6~B2S{;tq%QT#2W<Cy>UZ@w}^ht1!Ug)63S$DG{W2snz1iG#1OqPe3siRuy9*MN<
z4cudH$u1@F9hOdu3~sgA+*oL2JYo3kSlYT3BnLIo>n?i;*=Aq&=nh|OJ5qG4x1sc2
zoBunuEdJ%uPTTm&B>Z_&U|#PZ<Cncr1sZv>DB|L0(?IOLRk{>kPE6MMTF&#Fk({%p
z-Kl=%$f<Sodwqb*eoRv%kL7ct<C#Vs0}nGti!?OI^N*tZSKD#r)1J=bD%C$zo^%U&
z?_WK*Eo*bmg4?xH7SoX_rWo>iF1)Z>!nKG11(a$zqotFy_=vh}2wMW?>poUq$;w8x
z`oyz|oH}XQ@pJk=XY-%stXvsn9fkzHjUo;8c3w-Yvy4?$-T%qP5^D1!e{6fh>Rk+j
zEOr#x6Y0;e78v~go#cp4vIRu)m0GZw!w~Kk|JXAcJ_D(Keybu20o!Cgm_2*V$uIwA
zn?cXsgaZ3NB+eqFK2aN_kkRo0VihOdy81G$#_6@91^8@he$|OZ(~UKBI&;@Ndq3oi
zY2abEd`ux|$*f`9cJjSv5zH{z3?k{oh#y+(yB$6j!*M9o8Ph@nhYutyx*OHY<c&R8
zbT(?2A`KIexFuXydVRc8ZGnEjw>o1EiVYn5=#->SeY;z&T*&bitaCd2w3<KXMtcSS
zL-P5cwMg^<eQA0~6DvH^9NckV`lde5Hq2^7Z&c=KC8aQu-Ee3yd-RmGnYtEX6~n6_
z#g_*zO?#tezl7|MkRUm2m|BzfbWoFf^ItdqcmjLR8w1F^W+%>_9c8`*YJIMV>en#+
zY};}>;+yW*(dm<{50PX}-@;>zk<hz6;dh){TwWT&3Y|N?ma`!Ev?ulnREFv7begl$
zoHAAn4N_3^Mr(ZeK*Cu~?1AQm=vn)l^KZB!A~&VBr0YH~nq#8Wf|tovhU2}peULzR
zE*<p->5m-b-kOa&YjXaZPT!VwYejQy^$q;Zpz@hVL}Kr6-(e}gUfZeWtgy5ak2O_%
z04cz}(zum^nh3r2+3|vz%rwMh_>f>N(<Mpli-Ih)$ymY{<D1!(;?9C5+Bj2^qAM&V
zCI~eJld9th9Hp<wh^stksmsLVa^L{B#XEjkczsfWxTEtgQR?ZYmDKoIGY?*ro)i*f
zXJ`bBLqEyJCaW&d{MEVq!k_zq)r{8yzR<jzoXZc-K+DCx%$|@mTBpAYw|E5k#6%-*
zvXZ?KKM>_;M42K>9pVHN->BPL5dr%F(||&ptYZomqwSFNvI#^Ijai%Mj7cTDw=T`?
z>B3))wr{n|-}bTz!9J(tZ+1`d<@D0qs~)U>&vg>w-y%;0cG_xLtG%8mJ%>;y^yj}%
zVJ`ERJcr*b-N?qoN!;uA61Q(XWVTV)tYji&d)J#_2`BrQ`*(bLS#ws^MeZ}jm8>qw
z8poGMhd_jTCARpxY8jF2ZMB+U@e)&O`tRD9x&Az_&d!sJ5HtQi=P}}&HvuZg&+qZ0
z-bVanICDRy?pGc2{`hAqOpi4L0%;<P-#D8>MII==3XwHo)zhC$A9ygcBkQE<D06;D
zk<CQX%@n9(%<b|LTb4{wTYDMG^-Ot}Em<4_Q6=Rt$xILn$q$j0AE@rwj1oEMs6N^H
zy|hiQ-gNIQC7xz%0JmPdrdnLOns`aFW?e+wUc6%;)d&`5B;V&mX^uV9lKwQSLRK$u
zK4}O0>6tDq^liZl*@y1`Ufrm)n)QUnke`&=SJR6;7Cmd57KxfT*q)-kpdAd@`aq@a
z9!()|r0XfzR2nxuf3Q#?G0;B@*HH=AdSZC`rRrOawd8mP6=k6{?P9te$>MK%oL!-0
zaCJqi>X%ghVOo<SjfrBManVnc#ji3J<V80>V`i(QdtR9oB@W-bnTwu{G3x(WOENu3
ztDCjfI$8JeFs#na|762pXG8Vng6L>6g^&5HkwiXt{o|_;twve*BAwJiaKVflL)0Wo
zmZ4W@+UCv=^KcD6WpF2<>M89a!Ij<j6poJJjeH=||2o-b-pg3j%rz4^Hq(yT-&Lp0
zOjqPe6A2Qixz+F?_x8BbFH+F8akkOTN$R}!JahX2817HUGgvQ1m_CNZL|a_FZ#q^-
zhCpmSR^tD$ck6@siUgb81id1FKokV*L#VCDugZh$jkaC9<%vPb4n#>tbM~~+3QYBG
zd2m%l0o!=v;TsmzotOTG?TykTy&_*8h0OtB_X4(RGkq$}%2~;H`HrK`sKC5|O1#^v
zpAbl(vKs4!#{f;(o4EIrwQH-H-z<Mce6#^&xIda`RpV~St<}xsZqpW9BDQfe-KSTH
zpis0q`d2D)5&zfNvQ$E8WxkZ#qal|GJYq!R&ma)$N8bCU+jzuY6|kI3S_7|%tc44M
zA$f2~!P~lUe7V~qws|IGqs-RZut$FRAzWa=2F9U6AkH8AyY`%KCfm`O(2Uai$E|w6
zDYcOgYGNpTj!wz_-u-46FYYydE33dlUA<Q7lmX@WE$FSL+7DgR)tNldn7mOjJ&)zy
z_4KNMHN!iMY*2JX?mJfKIY*UYmy!$n&&^^J;j7;Um>N_NNV8rK=l-j*>B-m6Eu9<p
z7cxfO#SRP)6_vrwqL8>^8B)vck8$EkwW&ez93q=?#~JS<T~RbBz$=|zdYJKx-QCy`
z#XLzAI}AuB6}5k>Jb9MQ^#kbkt3Dd7f8xp5rgvwk3WOfxDa7ghnpmrB-#q>L6cn~g
zExO9T`H*MngK8yrWT)Sik~Ijkumqj+{-YY>%?ZLvBI???`=b+(utoxI+K6(c9ZM3$
zRE4kUa3+BFj{sYE(1PG*?cjouoyi~k&w>W3foDw;$@>3q8X#VbvIv(hPg?t9k%J=p
zfnHhnF#M|J77y>eSKivsk%+Cz^pQBG*A)+pL=};PU8}ZTv)kDF$e8uhr+LhsO?7{h
zXXV*ET6i1i9*0Xk(~ql#hg~fRX!#cRq_cLKEGUUi_3;GieWGpP^Sb}(=6(0o`fn{&
zczg5C?vE#1R=qwx=XJoj5MXS+usp<<_P;FP<OGYoP1Snd)55lDt@^gp_@DBOCZMbK
zItV9CeIuY)KWVvx@4M4^sm9MuvUgRSm;A<I47?O$fjFzl+B5P2k3fZU*yIVz>%Lbh
zsjtuXxq4KLf36(RfFQR{V2X|bX1AC!^#uiQ=l$DPblO>Afr-^)>uycpy$2Jj_UuYr
zbFnoeGWxfM>l;fKIr~_nk{^b?9aiZv+%uwpW~|I@0oLm^H?Mq}HaEZC#j(0=<;@L0
zcPz^Cjf{J5v`h#X2EPJYGXEbkSi2+Vwrk?;t<Ac6bN}%7u3A?6VBu*{7~RqmZ7Y0n
z>Ag?){temkt?$BJz6HgVy#BP~zI?{F-&1!#ozA`tc-fCbRj|+Pecu1p*r)$nWcG{g
zzwYXHw<}`A(<ZC+q}#sv3M@WOSZovJu~p&TcXX<@RZ4#JcCmf?>)uU0((vfBv`Orn
z;$usvtOQ2ygqvMw6FyY#wBM0+w(VS5e4b_vaN5M%XHL{Tfq*OL=M>I34!WnJV7lP4
z)b}TQpP1jROZQcpZ0)wDz9Kv6MTepL6T@Rb?{V?}t^uW%wO2O1$z^oSomqGF&JLTO
zI>CMVal49qqk)C6Be489_y2i}dYqm)&`3Y7-+#TP>K#dcKKK9H8?Szwmz8;VY(ErU
zwtL3rgg~EtUzTV6D&wyPnfjsp#PTIi!wj}WU;g^ziuSs^Y3irnR(%if+JD9Df4k_}
zPnqlQJbUn&^;-3dS3r{+HY;?WIJ!yV+s{91o!k1eRzz&H+L-(NUflb;(Z7#ubGdnD
zCoiz-C{g@31z59HSR4T6dWO3m`z*rNy*#G8YFWJ?*YhLG&d#{25x-#a(Tq*MxKAgA
zzw=%f7e0GN<=Il+qvAaOV&tM8itNj`_;0)2QuEm*paBcic}h1$Tt1=?Y`VGu6V55|
zm*?bd-n@8|o!<ex@1vG;XMcp)@!9k1R&Hj!*}ePzYn!4US01-Njh|e<FZ1-bbNl1P
zc5U+i*rIv4-{li`U&_~)m(_S4*ScPm`@QLb?E52WKS0sNb;wWcv{R^^<~E(*l7~(H
z-{ot&H_3HP%|X2dSzpi1S5J8|IVJS+zpR@F%S~eMEB~)s{^0M_&*@j^3D;IVoyKMb
f3V9;Ig6V(s+r4T!4IaMw4btN2>gTe~DWM4fjH0nE

diff --git a/docs/finn/verification.rst b/docs/finn/verification.rst
index 13e6fae7a..391c6f999 100644
--- a/docs/finn/verification.rst
+++ b/docs/finn/verification.rst
@@ -6,11 +6,11 @@ Functional Verification
 
 .. note:: **This website is currently under construction.**
 
-.. image:: /img/verification.png
+.. image:: ../../notebooks/end2end_example/verification.png
    :scale: 70%
    :align: center
 
-"* This part of the flow is covered by the `this notebook <https://github.com/Xilinx/finn/tree/master/notebooks/end2end_example/tfc_end2end_verification.ipynb>`_. *"
+This part of the flow is covered by the Jupyter notebook about the verification of a simple fully-connected network, which you can find in the `end2end notebook folder <https://github.com/Xilinx/finn/tree/master/notebooks/end2end_example/tfc_end2end_verification.ipynb>`_.
 
 When the network is transformed it is important to verify the functionality to make sure the transformation did not change the behaviour of the model. There are multiple ways of verification that can be applied in different stages of the network inside FINN. All can be accessed using the execution function in module :py:mod:`finn.core.onnx_exec`. The execution happens in most cases node by node, which supports networks that have a mixture of standard ONNX nodes, custom nodes and HLS custom nodes. A single node can be executed using one or more of the following methods:
 
-- 
GitLab