From 82efb17984162dd0ca27f93f6eccb71bb946a463 Mon Sep 17 00:00:00 2001
From: Spencer Smith <smiths@mcmaster.ca>
Date: Tue, 18 Apr 2017 15:42:27 -0400
Subject: [PATCH] Correction of typo in L22 for error less than 5%.

---
 .../IntroToSpecContinued.pdf                  | Bin 335694 -> 335862 bytes
 .../IntroToSpecContinued.tex                  |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf
index bc0183cc4c3153ff4a9561cfcf11823f51396bee..5870ce3b543a5387fca2bf1a33375c9798bf5f7b 100644
GIT binary patch
delta 20674
zcmV)QK(xQkz7+Pq6p$qWIG54<0xEx0!EW0y487+oc$9%y6=}(mk6D@y9gxGC3_EN)
z1dfs#NbJmYI`r>HSx&pAEw;me!mvq^;?sMgECpLo@NuNhEV4zmKRKcx%SpP-09leq
zIkX-&qt7pj-pxuhFnkOdXt!`4x_PZCcQAaMi$%{OH}9#4Aig#ddm08-k{N&U(`TZ~
z(GSbf#T7b0l!Y+_%MBPOt>d<3S}N;cxrT3IF-y`cw}K`UJq~Uzri&popJmbeu8g{_
zySCw>66<5xRZSgJT@#BI&8AB@`76m#tb*72<j3+8I9`mGPf<&)O<eTS-}_y2*!#L;
zXzb^4+CWOo76)oytGe^;z(s$d4b%Rz6;ZL3ghmI&DJmm#KB5dFt&X@v5%Z*o*+&&t
zEDmf@__9inRijQ)6y>Vp(WByNQ+HK;^y{8BqLM{H&zXn)n%>Gd-<%}AXe+bL|LjkS
zxis2As!@_IhP`S74&^;JvclJ8zbWi4_EmTL1~MU7Sy+WVa7I!gGD&|eZ80?ADxpHG
z%Hyu@+XF)yEt*ZVvwB<A-nUh~9mmMLoUiU;Ka3Gy>gwLNcVU~lfb;NA0yQt6u|DEv
zxIy3Kkg$}t+C`P<#?g7|_!;PI$=6Xh<Opc2bc!ICjtVIEd_RS=z|Ua%5OMFBM_-ch
z|DT^y7uS0WmknQC|NjT_`VFP`B3zfDR|6A+X99<30s)6-0s^;Z0s|f%0XCOm3<W8d
zuOI^v0YsO<AOjPBJrYUIHvhguk+Nk+iIZlFwm=UyDRMZR`R3yc$;gs0a(Tq|TEG^t
zy~hzoM8v5Uitw0I;1Q`)vN-zn$)bO(rJ#uaQ(TdHN%n`X$5us}_&=@PqMecJzr#{a
z+%I+;Za=RN&Hgk!I=KKtAf_CYB+~`aR53}o)D&=HIwzlhg5S!dxXqU9YTX=9LIEQ9
zeZr$4$+LOVCbxMy`7-_akR9*x;(Us%0b+RrMB+p&2<I_n%#c}uJ`_McR3r3p4n_ok
z8l|{(PyvmV#^n*!;2gZUn}j?L(pmPIft)36R+Z=|4lU|rS)^razoKAKO>nGsABk)7
z3`HSGCx9b={cIdGRsN9H4w%;k>Qz!F7hDrXO&mwo7vPk0PC}5B$=Eq_^@dGRogl!d
zVFo&VKr!ecP-&FYc9}h-rPX+HA>~k%8_I+YNhfydME10G-CiUq=c9V;iQ4G79n)j|
z?FB3Wg>dlNt_<2$>c%h<DTY9IA;5{|v1!v{Y)?Rc+_oxD{}?qsqNuc&`C(iQRmiQE
zOgA)Q8wpDvYu%VCMYYtu;HW{-5bt9vK|(Gx6_LV-396(&uFZP3a)`96q}>B4t?O!l
zktMGkPRd6=U$(XHR*P{<4b`!E(Ny$0+Q6GNK0ImD^u{E9TjiSX=q_j9of|*{75cBH
z2D=)6`rPo*VTdQaa|DmJKlm<ZR4pQwCApir>oP!vDY0mr)Yq(Cxn8^K6*MF1=Eofb
z(5K!bjuDn<Wvr=Ik#%V^!x*ECD-6b<J1dBnsBO8momXd<UUTR-4F|h+aP1_YNKk`d
zMKJ{-$8yh8GY;pQt7epRSUjb9L$aAwWz*Jw31)=3KMIxO-mQb)XNdc?OBm@v_|aJf
zdI*0w06iQHz~K=6o3wljx@=K;mM#iKwE9+bIZMWi6N=y_ujh-Ug${g<Y_f8>&K)xj
z5<?nlBJ)2nUM9vCrDutOshf%S6T@esb9-&+qM0rBO5j}=*e*%?BIqkrk<7iwtSat*
z^0ZC!M<=l!-hgf8WxFMJqq|P;*IAwVD<iI)C1qK)ZgPiY5AOP$&gruZlY&P0&Hyf{
zG5o(svA4fzn0+U8l=9u{%RzY$IkLpyV=4p-KkGpG^o5Z*PGeN4Kqh_dgbN~6jPEqN
zG$%KM3&22`12`NY?C1#tdP*9{694UMEwu~whnivtl?-l*uDI*2f9}Tk>8U(+-Lo4%
z^vk($y^mShrnMhs5P$Ex+_hKTOQOY>L~W~;Qm$%Q?e@lCo;*<OCKX;k%5_)faKUG$
z*xAb4r|=8VzL@C%;Dn=Mc=@8WCE=gyqGa8dp;rSFm&YUn7XdVvVGIQ+m#-iLBeyFh
z1L6UH3F*n2W@StowpD)kfo@~=&9wmxP+|UVX>hAyRU1C~7~)Cq9KoX<4!*A$Rf`eJ
z(}kb9?J7WpC9!C{)YrV7d#atU6f^_n=I5;lpie80IA&O)mD*6F66ex-hA~DNSD1_*
zIVs3mBJT0yL7CcJ$&Pq&1={HLhQ&S0x{z*v6{ti|ivdkE1tEv((_=IC*QASP5SVzu
zO8bg}G^xs_ty8QT({NlWkI!qLo=`>ZmcFQDdsBqYDlqSzqVG@3dw^~e>nA~{P{gSB
z0^LbEd<~)qZt`-}IdGXMRO2QuZ<Y&>uf6b+mfFPr53hd%UYl4y2`{{An0Pz9LRCC}
zb!}FMiF~$mW#4x2=q{CTX@?uNNT)$$QWdw0tj!h=USiqr*j=Z<wp)a??mD|$=5-cY
zTwFOx%d%?y<Q7!#eY>Ac>618>f+qMb0xqew{QCsz>tAWiz5F`R1@iK|*RaGKab)p%
z7=ud?>%#Ww3nNpU#=KF1So_)u7epw3jW18PbV06qElp3EPeI(vfd?@304%B268~M_
z-NE5QO)<$zMps4Gu9%KK^*nxjEDt?-aury=oeEEV%*!^b1DApRF_7Gk7v0;a#kW!I
z?pCGz9qY8a9>_j=a=A?^Y^cg*cPZn7&rGqCd9Y967odHbnF!#Bqhffzb=<%P^e-P}
zjAxgjR|6Bb9w`HIn-DfO3NK7$ZfA68G9WQBG&h%^!~+)tI5aqyaaRN>e+5(&>J~N(
z(%oG{Hw@iMcc*|z4&6g{Hxhz$hjfe5Al=<1-K~J+H=c9u(R=@Yt?yg2*33M+_w(-k
zzO<C88mwYw4kjRJ2YVM*4mO}5Ktf4FgM$+Q1ah$fft<*+w3=2fwxIvWk!iI-&R{DC
zd%-^}B%DFUE)bcdu?xgdf62ifAn$4m;NSvq@CtJ92?ButP9RX=KZXv@f&fWlH!CxM
z5*t9?!5#!grj>AT^mMkeuylds`OjYfgDE3`LqLF!<u7-Dm>tO3%GB5%pk(Y~39^G^
zG&QybXgHW!fm}TQD+GhErHhNBAUnIeyE~h)9hl9*+2SQ53&7pVf5j4@4g!Om-9To5
zUo8WajqO1Hw8n-^3(&N*0{^Yha4>gqH+BXAAOc$}Q;<Cv;^Jy=266^KvI8{a6agxZ
zAp5_K75_G10sKP_fP;<W-*EqU{|aPf|Ch6|si}jVqp`iGmAwVP+{zXNP?1(-bMbIt
z0T|nx{W3JR1v^0ee~sOYt!#}=AO?SxZVZqXQv(=7I{c?Uu&J|^qYIb~Y-RhaNA_P~
zAT&$an@Kp>*@5g`z{tPqleBUMnL>E?WdG-IZR{P~?Y;kl%&qLr%zw3E=IY3<WpCx=
z3X+rj#|9!o{w=crxd3>8Kp;Pm8vt?wfILhs*?%R_^mGLMf2HL3C5H6i>+R^^2r!4V
z0rIsn2SI+2y}`zAAb^XrE6CUTPsM*DWDX91nU$#vzyxGrWsm$jIz$XI{~JTj-`UCo
zpbvzM9|r*V>+|nF1IUD#IoR8J{x<*Xh}pH(B{apAnEz?{U!}OXg9pHym6sF1%E`k4
z5a8nn@bT~ie|-Nt%)bQur}@96s>W9T6bJkrP|n`m0U+>q4-oSH(}&wXgTe66)-VG8
zJA<+VWSl_&hTqfw2FL?6g?w@RKkvX_F8_a{|0~M>b^8CeB57A!+rRV-e;fRN^u~5p
zwx0i3K*rhC1+p4S4v+=0|6fxb(BJ#41TwR7wfkSKf1HakWJSd6Eo}cK(h4kX<pDBN
zwQ@1F{CkT2a}JR3wpR8aRR^%uuNw!z$^iuaj}EeQrZ$jU1q?Z@zf>T|PW^XEDSJ}~
zvtP@{$-@gUc6K)QL<T}8jFX24;LQQqQZtapU&9SxXR~*3fw%x5?fC-C9h{MWohdI5
zfL-jDf9P+-2Vj@@jralVlE0AvfL-ce#0LbhOaDe30Ct(*h!emr`x|iq*yVmBUI4q|
zZv@Gw^cz7ksQiogAsJMEBS;3d-w2XH{WpSS(D;qG0qmN;5u`t@-w2Xj`!|AQ*ZCI-
zK#=io1nJ%6H-c1V`Y+;!WPsdycE7EEogBN_e;*K1E$CkeIT-f8$L3!yf9aiEA@ly*
z1=5oFZwN6k{{#L~TKx{l^$WWFk>Qu#!PWVXa1axVKOm%J%ij$^NU`*Ew1nLGzbzm#
zt3M!w4Vyn8gpNOph45kbN3oFZ{|NP~c!%G~AhwW~@eehmSjXRLh_55$ak94sng1q;
zf1BeUsq=sF#tmW85pr!f{N|b)(x{`YEBKH25Q)=os(&F@5csbZ`;U-I;Fr(=vgZF4
zo`VBI(;p;qKsfmwnCBM)x&1*JH-sdxtufg04;M&<zXL*UJa!jLXV4!f1!>pC-Qf=h
zNDS9MAcSbQKOm$~_dmt};_dMVgoO9}e_aj4)eGeOckKVVBurhMAym5jb&*4EkpJMn
zo@)@u17wQ4IOkw06k=T$(t2AXM&i!8GYY@H(H<GE+Z(~-LN}l5ZK;TmE;HpMZe&(T
zIGm!oP#QKl=R?ADdOPOvrYkdW?SpKN3zSsvmiReq-r&!xE(;L3nFF!KIA2QSe-_qR
zf*Kiykv^<G{d=9chfuz+Tzgf!g^%svJw1UVfE}Rt8k6z^iA$_lcKgwbXkAL04VNL^
zH<<6Ro%K^)HRZI%A74aUy}J=_jUoE!xuyRuZD@6MAhWMGh3hh3p}U&5G7N_Z*Grx<
zdpNP52rnU1{xcYgPMqgjqBK6Df2?yp8n$BI*+5;7N&B=qRDah0*qYuA0rhBD?A7aM
zM`IKnauPlC+Nv}q4qZK-f=(9DT<MHEQ=1GR_LjOUaBv9x6H{SNp~Mn(uKXPat~>Dj
zo+?H>QIMgQ$2<6oap?yWTs$1n)RDvti9Rsz%7!>u>H?_)Nr=^csi*0Df94f!=9q#?
zp*!v#6?J%tR>M9tpU(jU@37pJfqBvoC_STFS+;8RuIBwp?HZ90w4iR?B^^_w8}(f?
zj{L3WFbDD&f`+4dH@dAo?_<xeUwu8^D3u0#*hvd$$q-L_2_@JSFs&lXHRZaMZ>WB)
z&2aIsRl~%;8OO4SSzw)>e^cRmD-;*=-ge#nMVn2p_FFF2uCsD)m+pMvFq`0(S3fHe
z&r4+H40Z=j3G^v*PH1jk#53Ah8KMWFw!%#FDEb$cbrMCNMr|(cL{8q6Q-#NVEqQHp
z<2;X4SVs)9UsNpUd5s)+H@-yV<nojhv!~PRdI@xV3|Ye_(wbice|rB6>)jK0zPJ5s
zN!2ZOzxcq$<x%mTvjG)h_KS;w%N7QiQ+9RL@{ju-G&t$&baMpOC^?3y5jMA`+Ox@o
zZ>_GFUkBVs7TF#iE9khyb8%9O><F=mbt!&~$}iMur+tj{GipwP;cX>oI?hS?Dy;-V
zksMW^8H<|Ii~1VHfBtOZDHwRlTr;)zNLIxq8L6QuuRv<>?vs1!#EAk`e9ocA@p8{X
z9?cS5Q(B_<Tv#Bqb7*eA6)Y)*rzDl<{T2iGWp1&Rl4WxwIA=LAr5*JmAO_*4<@!P+
z_6bpWp!1k!A^3U(v54#`|K$PTyF!uS^Xmhn{`MWUhpE{>f2F;xTOOkT@YmshV;xM?
zM_I*Sk3b9M#5#iSlUN{e--;2&E=H)=E}d`I3|m+es4WkfQ+xDI7NXE--e03%St1Se
z9kqIBUxVyp1)_%;mnvp%W`M{j(D<ZhYD5MsuUGGf9!O!nzlW_nr;m(CrMuWf8Nm&5
z1zi@tDe@gLfBwYAWg3NQtEXElwa*-+Lv|5h--FS)Z>n4%?@59~t3yt7Rl#=sWSOUc
z+<tTP?W7=yEp(^qgBLEU-qAA??@CFS1=O%(&{X-hW0<03)yDN?z$_L}G0bIxy&U@^
zLVCxCjUnOnELROm>U}rU+F2Spy))CJH<VV5ULayje{xd4WvEz@8oSyD;=l$HMlxIZ
z*Y`T9IS+;0OCj|MN@M}GUIj&ZjxC+Ga;t{Et1wSBaH<hnae0YFbhz%3sXF7jv7bfv
zSz+FWj1$xYWyeoghmXE~elv7**w|Y}YUOcXZ@(BDFY_YU=tKe;xj215FD^LfZL!=&
zomrg`e~~wQzC78Y)!69<?>(%YlL$PpPP$EOh`|uSi2vqRf(WN2{iP!Zq2$b0rb6kh
zAxf{TN7s_nG$$Zk24kiC=S6b{?OpeK)~b1gFoAK7zFkuvmo;Vs<l%@m<Et@Y1MTUV
z`eWi@uEXJPZ#D9`j-K9+S);bb(X{o}lXU36f7F_5Kp{Qhk9UKXw%CkrnS++fwOJe6
zhbCrmfS*VJyLkmjja}wpHsa#uoO%dStKBp5m)-~$!fU*%465iYSf5^lq9P|zE_JVt
zi8RO2dG=+e7^}2>$g*CbNXA4vq~Hvas|=|MNd)Zbibz50EBPeTU%|i3v1{CMMq;9%
ze~^a%K;>(QQB)+WK!Fx5&jW9!W-hcXyGXO#F&)u3H$Oh$lkNI>+_P{H;K%r_xorON
z2jdr`8!&mP#}*HlBF->7vbgGxWN*o#TnqVq9*5V~G><q=FeyUm6y2Ed{R2w9(*dFi
zqgPLWz8jUtg*LK%se`P(C#3fjQ2gA-e*=iUizWytwvs=gKZcK-!A7yXmZu6;wNX+I
zs_no*rvfw%)YBj<wv6Fd^19Uts(v;M8jYCza!CfvqsJFF#;&JcU(@4`9b6gNX)*XD
zA*k0yyN1p9T=s2&BZHAK)&5YsR4DI$d6(b{QN3U##)<XX1wYdc<lwrgPUwZGe@`Dl
zV=<ys6Dxaao!Upz`_}%Ri2v>*VF0shc#~oruKPjD%Jnzqw-!%=iwi!Sq>HVnqr6Q$
ztw!WFv+9RmHU>q<1gWmRs*(!7&uqBxIdC;U&y{{LmCpn>Hu}9VvwDt;^|j;16>*ti
zSeU<)G3s*gHn?dDB^NC+Y##R=fBFebn863CFa`CREbMQ+534Uk7-!2#EAA2-A8;Q+
z4h%&-jAxloxuB~Ba^_E9*VoKF3#9Uc_8t&t{9X-w$P$98nE!n1_CaQD<~ydT=ovUU
zm`~}2F#U_3xC#<8q1P!>^UK3vT6gT+$J3+KT*@iJ(Y2NW>F`ZqS%&$ae|E&HcPD;D
zb)KATc3Stc)(cl9dv$%Dc-ksE4ycLlxi*YF{+}lhu&P(<A4mv<lqEC!YExlJhu~=z
zNMuEy^iA8H@x1!>V0I1+*jP5VQN{u!OD@Z#Znb3PBS~^F;v5O1`mAG5zt3q8Z{qJR
zR&X`PPFNbqB64j|S%gTZe^Zg=6bu<5_iMR)qB55&?THzd;7SvJh{wFODPtuhK9coH
zEVa2jxiGqFdbR!?$BVY4s<-mi7)Uf)3$r3&aV8RVq;i68b7R8vZB)1nhH}cbkOB4H
zXd*V*s6493Du{!CB!c81-@k2~!vsf+j*>;4kAI4?3~r0`6udZte*x}MZLDG;cbx5Z
zGHLsvD*>NIogZJ^4}hgL-_fHS4eT)rj0i4=w#APdnWWV-Px0;Q!lWZ}6DP`&wws=k
z6J(XKQVF3F>v17auR+UwX*G&plBaMKB|*$#Kva-X>alHKOBf&dbS?99`BPMt&8s$<
zw@O1(V!3Lon8@vce>2GIgoV8r8XYb<b2kIun6yC+m4vHRo=A2xGPiA<eQ`M{=Wn5$
z77waVX}v$pM75;>#NH7MoYNm1xNhgh-V;UaVJfzC4P9v;x~rBsVYXvgUo=~l%D8Rw
zfWY-3&Lw$_ET)cl5;a$N#>D7w$@Q=_c{nZ}%?@eE{oUnCe~sC$U#S`iuE4#NGc@+e
z%Beclx|6%zX4s7qVBsGdgD{b2=x@=A3<M|HQua(yISie1g{!H)Rcw`2cg=hlSJrEl
z`?~s;PGRqeF17l~DDu-Pi^ei3#dte;<P350>XgS=UDkl%<Z^WIQ0)<4FULVki1~?4
zv=MErFpoCfe`ui~XRy*h);-qFgPkRY$9RbomdF=k{CHYqhY+SEJg{Qpx{vkP+`?>F
zt1@xY8BqNmBRWY_040K@#U4lR;%C2m1uqMeYm8tjmJ<Nnw|RH}8UcT%E+SomV+0gc
zm1ZJksh=W}Nhl@8uN_eJHQ5+pspbXnUZ6d7dMGkBf5FcX5OHbStP-t{rEew?uEB-P
zRg0+Z$o|zXYi2OMOL%)?<&b)gDacwuWzxveke9!+2$>69@M@^|%1q9+dO{n0=W=rN
zJOaSSZMpqq?wQXxm;C1OrlKsd#Lq6&sgiJ9_f{pM*rhJX;S!ml$@5(ql_U+`k#v(>
z><WfLe{tosOu57Xqi|V!RRA{F13Sy0FURh=t-5GVD}Xxt-MS^$#G2iWA;v^}iSV}+
zg^DEa@-`Aur=-=Y0&moE8Ly5cu7__l!m+>*BynG|;dk2)y!|_48?f;T>L{=5Exhy-
zuanwZSv=Dc%>B^26r0{w`EG<NeAi@$Yp50_f4%na-nK8wUEyUHzHqPgv@3QMEP>gh
znRF&wB^gG=9z)dKaGok~?6z_ayG6^!iF(XEg|>vdm1zS`l0`?7YxaA6BK9f2v8h#n
z#}oDsq}YD{px|?13`Z>WZr#oIr;4m^lR&-;inw^kDYc3#qS6|`FGK?f+r%{^?8J`h
zf3zeI^*lFEc{C{a*aJWpirwaVIlZy$nNdcs8MP8B_-v46v&d?uEPR#Zk(su*0w+)B
z?pSTm+XgaCOy3~c5<BO8tuzas{w|W0q7HrL-hLJ^dAdp_KRYwCbUoWN(*?Gz#hQC?
z`O52_iM%8MLtR3PbQp_T>rMrzW@rMYf40?I;ov1APS(wzNCiaSG=_;~zCjl$*B=bV
zSQnC0GEv@#kG}pv$vl_+-MlFu2iAKM?u+cX_KK!_%&x7b4YAU&LVo7?k<w@;jrt{}
zbM=)F<AERc!ud3IjnLu_pZECyS%eC?=d$@et_r5zBdup8UEllO#yG(qoAWsae@xDq
zndT!Z2|VK33X~<L(N!f~)cDH`E`!@2zP;~PIs@;u6Ga)e@QHiE^yMaNu3x>~H(&H}
zA|OSoNtdkIVuz7a$}WB-9Qk9<xt+FH%O5K-?I1F(85Te3BtWn5s%0H&A<$`XMle1!
zKfJ)20^@zyWoguhz&Aw{@EfC-e<-e=!M%^)p<Ze7Q&Z|*(e`oagH;xTaH*T!C(b4$
z`HAl*9F;{545&Y%(=Z&A@#v*T(f0K#$jZjxt_=#h*<-P~4Dh&}@E8)5Ani~8?0cj9
z68B72Mf&ynC)bqCLTR!9$%EID0;JfkbFUbf`66OMnAFtXdr3jL%Fu~8e-i19Ku7V3
z$VEr=<}$RJpL{5gINeh+KCNGrVYb%HJPJ$uUazK^yLmzt=BJV^@5Vu1H~14Ft~oIH
zU127pd9zs;NJ6Oqi4*=abXa?U5lSRkn&%Dhu|LURZlMkdwa?2`!6`=)GcgZU(kra;
zb8MAV(95yehr^}gA~s%;e*}^22lT}#J&GWaB`(!d`twZO?S96X&U+K6wN^7!%K=u$
z>dzmW&Ev>CWi3tMBV>3-VHU4<$5UQ(Yz=abU5z2!cZ_w)*cb25&h++4p~ltme#!X4
zsup1)s{c`%U9}|6iYj(^o$fO&dVKx*yQGS|q1EjBH{i3ZS!p<Gf7}_Vkwi7-e2$xR
zr2O+mBDY$jFN4i+28Cr^Kr}h5_s8bNYuN43rzfp~R0&HI^yO~4*3>qx8#%of_ts0q
z3p_)JjiWG4-imo0!>hDVEl3x6H4^XSUEe#N6%d}AH0Ox$&^nJ%vpF=cmT8y<_@ec4
zq6GNw$i9iG$*@5=f639ufqLe9p}y8UxJ*07)|0e<T4>m3q#%r`99S2AGLs|X0z6J|
z%d=4#>s_~8=^|c_Z`0u0-2RktRuPoCbHd`^n;6C;j!~PeuJ)cDhuUt80h%T3S_HeA
ztdV;HCFV;Sb2znTpnIDoRSDuV6>&Cy&B}1sl>~A|)l%eWf5lPT!bs7EKWVogPcAuJ
zbXmF09<~JT643|d%FoJsB5}2^uB#iLe|pjl!RnhdMVGk>);xH837o!r&fa`Vh<Ues
z7H;Z~2i)2a?2La7{ElOfIC}+_px>1ky{4oO7t8ZH>b0k&^oS@P_;ey}1t!AW+thwP
z-Zpb2&uJA$e<PzPHUBaY#l$z9XnRX3?#kn5WAr_4dY`utxz;5bl7CmV%Z!7b0Ck_p
zQ^yb`h7GO1;nigY_n27Mn>2S*Wf@^A9>zCt-Rm|$r2bHa3(^4>r{Qm*o`OGnC*Ej!
zHthxA78PGzukPdpNkCpMmT|huZB%W$R$-IRWYTNle|ap{W<C{(oSK_^^0z_Dvx6Im
zrT8%Kdq=Ugt#1Zs&JKI+9pIW+z#lDXdQS*=TATYwQfHB9Q9~6kR8c9}b(9F_B<a4W
zVH|kq2g*C{y-DPrp$XpOov_T}G2TDbR=pDBorR`<odi8)(QGEZZ*0%9Oktid{UFc8
z=l2#*f6jS7e${AL`ek-$@u4xI?|1b(ZRzWbeNQgGG7N)4iMVrKZF*%P{7_PM!~?g-
ze6R0nBWEX2d=A}n-@1&>TZuH4HY3}|&eGxi=gBme1XaN2_U!7+xvpxACb+AG-Xty9
z*x#_ADn4BsPNRbKxL*taU*8@-$=(??7OaHzf25h=;y@>vyB+)UNr_UIYaA?|8quV8
zSZVCpjd4(~(nYt)(O|cO=DT-_wu8F^37O)EKEa<?+l^{zFh_>6l6`nVLUpjdIN{vp
zJ0k_>zWcg?t3)Nym6;Ctj;$w;(8Z@?%lh-Yox!3tR(f9B#N%*x_0rC>v(w843*B7X
ze~FAYcdbh`2cf#j@D&JU>bf4~crG9C1<U#U5wZvGD6$ipzTS@x9y`*{JL0>+2~@yb
zbS=}cGR&PO*@~}HnJlo)#0UnbYBZ-fN}r$c2|h>2cVn@#*At18a)8#0oKWu5n{@Rs
zzh}WYDr8gP_+0ucu$GQpF9eVodNNwof9=G568HiW`(4y-6BP#MW9y^?ePVp2rEblx
z&InMfKQX3?r)j!4@Unna^!B70i+)d&9;7|^7CT5y!M<_()%WweXNG>ft*dlCNxViD
z3d46C-{9xU`+4C!F$<j2`(TX5HtGfzZ@|0)Lp>Ud1<nA&S+%BvL)9QLYy=sRf2{aD
zW8N}HLTKmRYWu4*8~)mOn|OtTHg&Z#cz6B~REBUj-A1{-o*~XSlC!AHW0o2dNA}kv
zD6y<a{;l+JISWY}$YW&3Qo!Nc?QM(3<xE|>^X{3K*7F#^&s?XwiC>TA!nG&5>?xoc
zE1^jYa={<1J_)nt?+t#g?E9hCf1&ifJJVc}H?e!gWVH5M67(xxCD?ZMj!{x?23|t+
zc&cv_l9bPd9A2tO<{{%K;i6}j81&yu<g1xVS<E7Ys&(4>P|Yk#X1-;c;y-8X0X1OX
z8uElK2~9G_b{V)5;oOrup9R4B+i>ZUq)e|@avxDCnVlK^XsGBr65nV?f2|8-zr6Zt
zR>>y$<ET)~0yVc79ZX<7+Oy5(a{E29pF8l#K)RS>i4^1KZHQ7^+St$&lXLJ(DXLV8
zJU*PVyW0!OU5qjZz6_QKm+?!XxZ^!|&7IJ<>UyGlP^Gpvw^$^XpMt|SKZq`{lPy?5
zecOb&I?)nG8eU>DE;1uie-K!Vc_T5Sqb)mO^M%<~N&Z~o*tpgQ5VPO#UC?{D{dJTG
zPG0bQx{RneHH`mw;l(O7SaK)w!nh@)<5eXagUfr><#d<M>_~;y68)e(*v&MLXc{vn
zUkr>zbLes6?ZE8zp)aX4xhteF%?g_K)AmcPv2x>O8dIf3t2W#me_LjQ*%O>RI5M^?
zr*f@gFI79#j^1mFbPAc=DjI$`aeBoNi<#+3kbW#CE=%PO;Dpf=-516E(IJ`?2e+@y
zl14AU7*C~@mW04paU`m^7vDclx-f2sj#HCAY*%VCmi;goI}e*59+AM)Y~@dFmPZ6-
zt~|4=>Az2>i#ib-e<%}O1QrQ>!adJseAXJ56W8F+`vFT4z;b#S6&kk}A}Jr?S-)w3
zF|?}a3aG_RoV|G=FD4j<lRj8jVaboDx^)n%6~7wz{yCA?x=BIQZou6!pZ49-&ym>q
zIg6QqcR2%>K{z|zZQBhz(6X$QP}aV+P^L_Z1h0Hl>b)s~fBFnf%y~uuta9<5PYs9b
zqC%rW1BpmbJi+TC_OTWSC%j^GhJl9f%-(iF3qWTZUzb`?X5K)f+3AcIgk&dHPJQ#Y
z*PohAS2B|d>2HwWb}HhE1@?-)B`;%sjF(n>avc`jl3ZM!o3k<FQf;}OG{3{dbVl5&
z_s-n9fC{<xe=yS0;;}8FdO2*(?<zq4x+BPUcqLl@iV0W#dEpF0<&^c}R-mqE5$gDz
zBbpvzi%RKe0b1il)ooRXY|CKUur6$CR2~$(?Ha)e&HE{EzbjEjiGShKo5Qoqm2-qx
z4pny>aYW&E_?tsr;FjzqZiy#eNB(8l6&FYx_FHI$f2jwd)l%}(2Vi{S5nDu_M}Zz~
z#LM+4j}l`xgIC7BHL0!BTV{<xtpUe$&@=>_R{-?aERN5Tq5+Li?@Dj$-HdNZ*ezIn
z$S4dc7J=VIT*Tz4@vOsAome8aqxo)+`v`i~lYZiZ=^Deo@nRIO24SSV{9K-g;p6Ch
zc|`2je<-OSUAh>Cs8BUDQo@%P6F{d*DjaE=C^<uRIoD%(dssDOAg6sXJEJdO?kaC|
z@7;){AIFLmJ+uGXT}7jWX=!HsLfb{z-a>hhXLehv|NLS+nesD{f?Vq?+G7httd`KN
z`;}eT-SbZZL2^)3Kgp&U_0`T}@}mKW2R1yce-E$F(p(k|Ym8<zhZMU#My6oS!*Cpp
zV|Kg7ANZi0ef-Y(`N@+`TD~UkofSQ!P~X*;1%#Y|7eAm6x5j(98g!$*juQ%;>95}5
zZJHz>@7`lJ^+|1KhuK{jz_6Omnn8aNZ2z9~L3?mwp+2p^t1*h6&>(aKX%iu`dmr9u
zf1aC%9L6!c>r;?(ZD1HRe}zI;Np8ATIvEw~j=qO+XlNqN`vZpt+(mf2@8DaR&Az?r
z0lSaM1}=tF2nq;>8n~b{a-6ahRWJGR)Z(Bsx^G`f4X^CA;i%68BC}u<7scce#w@ns
zM3+fv-pZc8@JWSI|JXs>$aSzwH$`+vf6J%sI3r#+eLwHe>y!MFZ_QEHD{~=^vGim7
z;8J$o%uuuS2;xYcK6B-x&y^WjLktchH7VL07i_ignZMc5T${3@6Rfi*@nnoh7ckXz
zHiZaGo4PQ1J!(iaW)iEAFT+OCW*2IS2OGrx;LSJ)U^|Q)K5q-*+{zNPiHs<4e^XQS
z;6<qB1+PEVw#WwWxJ78N6OX4|B0gvu&mo~b{p{&oABU40wuBDQq$*?_hr<iua@J1G
z#i(2}@e=>|v3tJDkXrVGs^%#w0(DyiowHW#(eCrk44hUMiYH2?@p{V-c!I-swPHbC
zVln1}X!6J%X|#CA#R-c8L==dbe>>aF*s+T`0_=>tfgM-Y%5Ct4+RJh4QAQEfXJ5ep
zTjxs0dL+#3Ne>&RJ8koRxa~HL=bRj?FL}ChnlRleq^QOPL$ai>;gSyqjFp*6Pdwg&
z>G@*IgVd7W(+UN~@=X%ha^Ae(c75VGwa=xBr`v>K0`|F=nLT_)V|86te`6?aUb3;s
zb2Fmut=e5jNSw1ho4Ew-!<#NVH#_Hm9~}e5-c-vpvUVo42cr75lBO}h78$`tZD9WF
zKrcRaRQRF&b@+@?;(Jx{D6>rfi=(OERy~h!98irEqdEUM*Te|yLE^JmTevBZ7or~0
zhzjd7&2mItwEy)wC=Ar_f6mM$0{ej(zIv~}-XKnLvr$9omLxI(Eo2O2YfwoQa>siW
zcTeaF<2E30xiH9xGdA(V4mvX~2$c&*1lzm+=6-QVJ3Jr3X>Lp@qA<)iWsIJt6Y0gw
zVy$pKMTPZP39YM2QNRl~mTeYOZ1Gd<V^1x#pIL_~TTPq9QAxzae*~wPt_rXr!T?6=
z*IcA=#GLW@1(&Qxb5F`%_l_I<mSVF$uQ(l^48IKvqFRk&+)mff76~D@eMD0i9R=^&
zT(7><abifUeJ6Z<rDyV?O_h(sP$7Sh{h%G{Nq1wtt^B;3fmAG7JQh=sFy#yERYH~+
z)nJ7D+o}tfc94Lae`3=6OkaChH1@cdptK){Kk8z$W3?E(w;(UDryD~;Fjb~j>ZXng
z3c7LKSf{YvODV2eAb-Y}6{D>_{I>cl@t>HNxJ~FD%)-Pg0G_Y6z#E)dY_%<tXJ7sY
zV(aGMB(lI0-kiH-4BwnAuG+5_HA1joT^IWupOAJf$N3lRe<b~KCPpxrA7x<Rdvy|~
z6EDc}kknvac0FTPF^}-Y5AnX|zcRdmBFGdQomO^yIoF0Uv5Or1-aq@*Pax^CIohpj
zxTNOFTC|VEdQT0{QZYk!&?Z3zHBtb6Ux)W?6CMyDJR}>j-#5RHI)%wJ9tG2P9!)L|
z7yN?w^XDc$f7}h}u}ki<;czbN$<(nQZB!&LSe(;fg5OM`OkGH&6vPCi7@bbCZ8C(E
zXWZ4z=P>?!IIirvHZ7ynmJsk<Stuubq_C{DaEa6!*{>{Q-0kz)-y&`4q>edW(`K2U
z7#-pANXugM8sel&c9ysa+$|kX>t(Bei69(BDZgQ}f1ShqY4-J-E#q1|6nVaTW1mA~
zXFcuF_oLxgY@e?Sh`YVkH@g|$4s>_P!Bl(Ru<%uvfanoMKViaj%9gcV<XrTie<_k+
z`kcshJ2ZsJ@R=A?7&=}c7LS_s(0TJ*bwWb>^G6Bdz!32W3tR??XzFAmE%2!ANh(Bo
zKkivfe~jv@ETuL>c#+dL6<qU;HQPq#*dew}OiBHgxOQ(7lH!&gf*hy)7H_kTlGUP@
zXrp4fQ%x<Mwk)n`39zns+*5D79H1ig&r!PL@WHJ_aXwDxO<9FU(BJSDu%fo;+b3l;
zZRN%4Ep&i~q+iu09yE(!Fv<fLx`v3RA4FsQf8IXlA#MZZ8%;;)7D+C=Ys2UVY5H$-
zKjBRuH582`;M*ed59ghm`JW&^Q*hlcB9=5)m6)@U;_xuFK#!$;Y~m8~1>J9w>uD~F
zC4Rh^L~UQW!=#L?@1XbcM4J=$xvzL1-;@!cXt%wdF1GT4K1*Q)dy`DA6~9rcZQ@FC
zf2WM?xY*j+@kgznh9{-DU)h-{Ysex_W);-OT@K^N3;p>9oBQ2ywD<Jx!vSPZ4uf&!
z$I$4;unn=d-zY~674AG}yi|;5B24H;($~|7UkXvwWUa~?52{I%cRFmZpt^nbS6d`#
z6;6oS)bQGmin*M~NUa+tQj!+goxf@ce*-xcD4ceAQ62@EG^AxpFMU5#ZJf=f<49Jj
z!nt>&F<`Xc+Dn}v{nBrnU;o9Dbp>z9g>7E5t6bLKM}!ka?h#bL+M&H6)02#I@13@W
z@p7}_WKOSCR<Z9Z^m_O?Db*P4W4d-q*pTZ09M4ktb5rwW#fhaPT1+tF)Ji+%e`RV>
z!axl!^2ohX?WqH(ID7870h#FgM`R6jR2fm;yZW;pd4+u0P5Q}w_(Vgj7=EFo!8_G6
zz;XQ+;>Ky$*X8e)7CBi^{SFfZlNi#r9~_o%=9#rCTVJh4$A2teTBTK^${>FQPgl)`
zHqOX~(MxN(dR|M7i^YO+EEf;vf9K$sSJp8*=^8^Z+#SRjKrBp+bLo1;-%JPNUl#G&
zGqPOFo~N{5md&m<3eT-08W1o{;aoLX&WcTKHNGanZ11~&mp+1|gF0fK0ozP5&e<rm
zi8`Nq{ML0umyE$StA_-~)AdE}iw3Cz-dJhaXYT~AcOLm6#JkX(A~C4Ke^2LO;Gy`1
zWBOABvvxv*VhwXyL1xE~&0%zR2(<9EgCtF8=mVS0FIZolI@vH~5!V2xd0%aKD_<tw
zS)-A>s;K<AQ;tei%Cs&8*!khVlby`pD1pRBQ6;B-uEbR7i^JKo%cpQzlyKnl$(DpN
z6~=3dExI+Zh)he%QjtJPfB2g<Ils2XI(rEgn>}=vBS~H_!$}&>&4$KQZN~NGzDTn2
z^vC_7fJT{k>Lr*Yv;g;b_KH|^++mz<?W_6o;fN;rRg_|dC31J%5HD9@0KxX<@%#ha
zBq8veZ#(=GF2BIRF(J3(2VeCx+5mXmC6_0)0Y9FoLab8Z@3W^&e`Z9$BWG^j2CC}L
zR?FlZt?j<9u5PmeHk`QN+G}DJ>h6|emnyAEjqCc3lQB*`+d#Cu6AY_6<Ny*H`!q7W
zoN~~6j2!7FZgsSipMis2Jxa|vKeN>3Uuay7!Aay_4u>|EN!zT|2QL!l6bs;BRrdRQ
zo`rSxvSaegpgd%^f2GPC>Jw;qiID!0;?460)Ap{pCzCB3G35e$Ym7U!tNm2x``Q+R
z1b62qql`|8Tbgz}b?t?Qd?L{LniAvDacJ_|G3G1S`lc+<xz=!yEfKh4S)NG?i>4I&
zVr2Su*G$w_1J}FAG~rRm+Y$Y%S9E*8hPu}@M`X1Y7Zvs>e>{`T2mE=wR$g}1>%@Mg
zAWjpl;_q&Iu$D4##~BDe@BxR!q;CC^EljA3PuQ4*=w}kGM(#I~$0vG4{KIvjT`>&r
zS)r}=EpPVJ?MRpHvZ(jRuYJ^6Uwvu4S<g9XaxoBADeS(oY=av25y&Z~s2{iq$(_30
zEV>=$M7$H1fAe^#I^DfUaUh>RdvG^->cz?VwoHn*EM;8Y>L|<@#w+UBWBAQaTg5)3
zCy)7=rHU=JVT~cWFybxUN`@aUuJ}4jI1cJZAVnS#SIklV&Z<?=OL(G-FL4i@C85tF
z?am(%Ye+wj2H45-cIv!>O{H0!B}8xPeo;=OfS43je|Ozo;-Bm;UQgRrzSx97f4C!S
z#(R-7aRV|B5K>_4_+mAo6MFh_4s#hcK7S?S5*t0;#C%nGr@PB!U7VZ+Yoma=KQhpU
zbuu5>j~sBGTU;^kKY6~{z}m9eyQuWSGblu;J$-bwoS1H#YjfE{A@PNBT|wimB~igB
zb2+Ije`cy4$_A~?g)>qjO_4BI97c2bgmbRp41qgSq<^%`Zinj)!DkZ>m(Tda>UQMx
z9Z@0CaX0Z-T2yJ=?J0XNpN+MHrQq<$%Z)${70i9r2L(9mL=hh&+mkAWiz}o)&&d8@
zf4ST>4bBm@&my%1B9<8oVdFPU;|_5e66r>4e-M@ZFwp@g9g*R825-*DIfy850==Q3
z2wrlG_}$Ty(s2+k4D6P-p*un^q-aZg$E$+7whNnO^0H3&JieRTz%Eeu{w?OkPQVPJ
zt-TbWGZ@Fri)Zl2dD=NudO3hY4qaSb5l1V%=w2<%PHd5;?fE!5v<znLW^+Bjz$YNL
ze>e=qnoS)Kefa!LGp_4H6r2se5#QW}C~4QYeapU1kyfudTBmdUlhH7RnUFixr-Dz_
zTLn9WyiML%Bv&KD@4CS{P2%=^nRuw?g$3-CIYmiL_C;|ck?1<{OC6X^Xz|;xJ=>Mf
zh0>2$deB+%OVLpcH??b{pW~Ao?GL+|e^gT^Eq{_yWB0Le#xu*r3m6tiofgaJII}pu
z*482&a^(M%5k)hoe@>t#<){kpLAnDjx_5FSYgRoRQ73KsWRym<93>n`vcnxY=k}!A
zYI8KlUe?H<_p%)v#CpdM;NYz3@J&P*I7IxI8pLuq@ruPQ9CPWdsA(%#hp`3nf4M%r
zqgm&WKT&P9R`F3(!_bB5S9U`fiwrMj?R{4tHm$Rk9OcQ;PvImxk{>CHNLMC1DN%9^
zCQD<jp>1M9aHFYXxspHIGNlwfqr$a#P+OABgcT*U7H+~{#zvJ&NMd5`4KE3LmrguW
z7vl*`p<|c4J%m?}I2k;zXuaOnf7d;DXL*b$Jw$G(UEO-1dP>1{x?JT0^>K}+qLlwr
zxzEL2jO-XjERj0zsi$>QOJhZ60xQ|Lj!5QJGetm-`{?}4Yuk)LD8<N#p4G2C1e&w?
z`F7uOjR@goc8ecc80k12uY<Um=D_{7Rqa!y)Faakstaa~^|C+wDTND{e{klxO4!rG
z#NYJq#u^<nZZ*xHbanAH238~`O@)t=6R9hA40gO(e%sV3cOr&jM_{k3^-?T~WPei;
zYSognX{frfk%?dWOi}3ZK3y33j>T7$x*D3n^ZhC>5l$FW9*%f8k?@E93gte&ogt*Q
z-~`L-AR0>y(Ea%MkdB|1f29XmqpeZPVRQFO)@&%8z93oS$~_4`rj6l#4>69^iqS-1
z(dnzNi)Xy<_s}ADTn5u)LapbSO1BpxbC?6Gwq^&~jz3Ch_dZWdFIv2%K04)IuMx^x
z9=cr#C!O8A8FknTEEsgakMs&O_VZDbS^0QAR^FLnB909`r*?6&f1T|95sVZHR#Vhy
z(%Y>xj%sEppXd{POnhbMmrw4UmF7i!{bZ}F^Sqxh--?<N?YS()D~8>$tJW`7NR=7I
zZP@$6eHW}fC0lo=$#oz8o(Z4DgqJzRIZaBB8Jlv@#FTZ|$E|tQ${GmUr|oy4T618C
z5jz^)kmeQIm+ilIe_58bdnaitxl%V>q__LAaJQ2@tz7T=xC5MMFcTR9DlJy9dOjwD
zDl>E>aR_J`HGERo|73lNW&8CLGUFBxZ>XXk^(#Y|E7vxU$}R5uuK3Ujg){b@yb!KI
zqw?@zOsD;_GGz}Z9h<<&Jas}0x?Y^(F(0d;6V|GjIFa~If6NZV9ruA>*5g;A6m#O(
zF;^5xu30-h;|b?j+pzZiY$7qQE|YhQ;Wjf%(~$R5J3c~f54UaJqHA@+mPH|ODW{`Q
zl6Q>5BuTVM033DRY)d|BbZ$^6KIMyIj)*n=XmP8==$}#7r)iL`RrlYY%?w9*80OOO
zT=C=gmdm{0f9P!9b0CHb>NLa{^?j1A){-~Dc&0*1+L8eyW#t~=l)E?BaFLCE)+s!D
zgeOWG>)R-3bcs{<{OY^M<<+<XozK>2NGH#v#7G1!fgynrGWb3-xB#sFPLDONCvCY(
z734^Sx3B&JZ-FnARwakQ0b3KWRUknZt<-%F`@k04fAVv>;B)E0o)w>oHO9FN3Ns6}
zV}=LX!b=Ivx^y}gL>l!_!y&90pQn6eMkt#g+bfslbBh<}%#$y)y*SBKGBnr`IWv{p
zi?HIasU%NyHI1KhkM-#47{i%oBQ-e{G-m1yi*TEpZg8cbo_XRm-|<)~XL|h9{3h$W
zJDPsjf2)atl?i60p?JK)A$a#<y5pfhFLM(Cv8J?$qquW<8v22!FV9DWI4^PL4d?^z
zUQ@E4KPgAVu6|yFrQD3#kRc^rYJ}!xpi#4;Asc4!nLQO*aY$FB^(elzcfZf#!JhC3
zk!<fiads(+lSiwBgDcM*;yM>3by2dzRK%Yzf4^`CEVMf7a^8R4#mkVr$BpxZUIR{3
zrnO<xgi^w3qoI(Z?!FBX3-tS7S<!Hstd<dWw_95Uok4rqOSh^+Jh~id0ds?229oWM
zC+1)IiS&FL(v&!(M;Fj+h7^p$*jK4f;S#kpYI{6mM14BLi{$}zJ&vz6ge4P@y~p=)
zf65TgDCK0OCgH(h-}7Dm%#VWPsQRq8n!<H~X)_-;m)9;EM`?MkvnHxh87fdiAIK4d
zidyEj#o#}=*85H_*31N28h&~_Y+V*K{scpA9P(6wv`UoPDOvXT>cao)l;#KDj&W9M
z(;Jy>kwc`TQLPb!iknEn*0ekg4Vq#^e*=_V(oZf{085gWKj(+Y6-L}0`7{zScs91u
z@%(b!&fiv4+en|pwd-%x9e)BUT4oJZ5Wpf5-uobm$wh_1e^Yuj+OSBRVE*_b8Ldv9
z&4l%MP0sbY+n4}70d5ZGjGUFP@-gRJuRG|AN`tpylTEz7n;V&hO25j!$1wqTe?niu
zc|E<2?bQI6hU}WDBhQzQ1t}a4G=;B9^<0RnYVLLn)5>v2U2PQ$oF|NM53kq8VsXWd
zeHmeF?P4wZ@eRhG*H)oik#R`Nso@0oQ*5ideDYl|TDmInRsGR+9pG#!%iqT|+a-4?
zh*t-NQm3qB|Cq^;smXp&=uTrif6wgJ){g(YSW8F}y@0i~HQ9<2UihOBT?(N$pjf&=
z=5=Y#t3ehR)@j8atkvz@vLXgNq(z1jbn1`U<le%l<(zoc0@LLCOBg&AJ3{eYM2Gyv
zRfoYOTlhlW$VGxq7U)b8%Bg&7?gS`<xDzZD*!q{wtYq{AUlw@Gz0-+ue~p5t)Mitq
zQk@m1!A(Tf-qSwTX4$hvfp%3#E1X-DDx{AiVri#UqM7oKJJ<8v=M<)u&5>^}BxQYl
z$axtk&XH$}oKxY%--P>)8u)$E2jX&EB(_?qeXL~dWa(5;Q?boCB)7&G8j%R-wGm}C
z3d{2iNFa2x41*Om-Ok&Rf1rpm#6x-r;^F-E+=db1Ujj@Ob=8eZfJfktzjTxGsSk18
zZbq8mlaflQuPEE`T@y^O$S#arx^UUA=*8{H%*wiRr~MRQLZwMeuAFr|T4SGmL+wfa
z3B|>Ut&bhKwlOaFbtUwg#PEqI?S)f)EUo7J1jtvPp{>$D7$mBaf1b#+BYK5`);L83
z?@-YF?kszxn;+?|#dfmg(YlRmm!eD*dMc%-J|ef*JKDGpBJ=r0Y8yR5+~?fVh(f7H
zl@&|g5$;fD0I|n1MZMOf_t@Fogo%|N%tc(@&<&T*%iTImGxVdFEsn#+X0kPlif#84
z;vGDD;vqj`oRLmte_GuV>c2t(HP5s*Ff8`C5djv*oIF2Ue6pj3RfU8q5J~t8mRTJO
zw&Oapjn<yO;|X59I9<rrv<eemjn{m}pv@Dhl&F38BI@#-ZB8tTTz!3gDx?O#Y>$M{
z9|g2C1SH^m-|@C5DCtKO{F_+>#yjta!pz%o8*AV;Y8+pAe=YtYt>i6lzlR@44&R=(
z@s09}PYu#EM-6^`MTpn-z`_NZ<a~4|)rfe4jvCjUt&50DGy!Z!(dmKOU7eB)F4Ilf
zD_`%|;dpF6J$}#zjJqDNda-(<Dygchc;S^jBfG3h1q?>ZNWqiRX{l~3^1tr=AP=XK
zRvPku0Eu&30nL}8R|6A=Y5D`VY5D{S5ezgjI59OeGB7hOFf^Bb3k4SpG%+|aH8e6X
zGc7PQm!S&<zX3IuVGIQ-LECN{N3!qyig~oKF#CQxFak(&l=#H59Z6242*P4SjU{d<
zk|8O_*{|QaG|481ltg<M=iw}1_SDo=*S)K&M`M@E3<ZvVj0DMW6I?>TRUtW0EQKm+
z)F*+dz>)kCg8~brsbT_)wRBZN$zXbwOjI2cs^lb2s**Rh0<%-_I0f89x>QO^W#K6R
z${KVQKpNbJR!Ec3G60+gJencBlN}6^4B!yprNAe^4*Vz+ghwGEP+^e3AqqpM(Gd{W
zh@J$<D8vDOe`OOw;BE*DsHbp747Q^cS|Ndh23oKOLZp?!<iL0+l0!I<rakyyV;pn@
zi?qVvM~o8MrxO^XF?qnVFay)Yfc6~?(MMHc=hdr@IQs#25Qy(<+*IO2ecN=z;b=H(
zhO;SH>>w*oI^v|6jvgkxW=bhZsN?3QUmuLVRF|^CsOxStf1p~>T~O$%0~{yya9X{3
zRf*F|oK)X^*8%nu;7guC9)Lp8ud7Q%>3>p*^NZgqV{F$#bYwMr7!0m<Bdb9B!Dw<i
zu6s>onEFFKn>CXm<T~Ac|7G^W>8zeLum%v(5l3J!X?g^H(viuI(4#5CfP_5Au&E%i
z7`Bu<3<H6kf6v85>J}3y;}AwCoWH;RN7Kvl?%|PLJo+#h^-h~vbqPAZKB~l7^JP{o
z9I!b=-n2sG)qf&HUOy{DPm}$>3sI2m5XFC6h{XPII07-3RQ^#<EdO|2Q;X<2;$Sqn
zX(l93UWp&YJ8=j%Pz$b5L$LZXxh`xM!FR32Vw1WWfA*soyUJLgIeoaE0YCA!Km1+n
zzj{U7#eQ$r9}UH+_;~ULe=qK4v+?wQgt+a`2K9BfS5Le5z599!VTKzqz3<QNrefOY
zy0(AsP4#_a#B9<uf@#ECP~~CLOvPKR|Ndq;n~cszr{kuFZtV{rnj2K0IT}swDRuV1
z)UUHPf7mYWcHnxA`=bfnC~^Dg!glnZHTQZjx}KYR(tK(lti9$KvVPL92ap<nH4~Mh
z>yB?e73R?*OV3-2>HlagD%xAyYjI_b{yUc3a;PdXzWp?w++J6g3lqfa=5xQ-ocwTb
zg{&@vhA3ZkE?qQT>_>bT8Yl;g4jK>-80~!*e;O8-y3nLRV(1E5r7m?Gh#?x{0qLT<
zVGbLKlu&5A56BC+U~dE62Y3Xp_;V?Cu>~<uf>PI)5Ue)*Ss!7ZlNzL0<B(?o>y%J8
zn!$Jta$$4<bhDVS852NrGoM?~^Jom(3w;E_&Mcl<8^BWU9daX>M)Vf=$-y<-#iK#L
zf3W>71sr|q+Wa)gh?)iTh7IJS1nCDpQt&iF55p9}Pz0D4!`8tZ=N#zeqofh-W4_7S
zg^WBZg?2~e;G`@elAd)SPEO$rOFT;0NJn0f8LLSjP5dqKV@ycPnM-OO4OwO=uZ%~X
zvIK%X;RyymhC(xjk=r`-oDsTL$*Sx$f9)AeY1oXN%Ufa!;^jR@hR2PhI=D<(#50n=
zdBp0#nUM3r&ppq1m&Za$mKI>8LB>GVf<HCnE<9BjIZc#`RvE++*R_SGjz-UXpnrkG
zNEdr(DUn1=WRNI16RHs@u+dUla_RsBP)|Ej0hd>bEDFQ!J*B#~%cR{l7B1t|e{7F)
z?;COvkCaNwvPKJu#|RpvJeFzgia5@HtV5PX3#N21QbbDT6qZ=#X;jLZMMD}apx~B;
zpw!qESwPQ-S}!C$_g5}*)*=)|CzqbKpZ{CDzOH!9N9ZL2<XcRdHwYU^2ZJ+d3?8NN
z2&Y%v<bVeKDJd?SN3U@qT4)`tf5Wv02V2ZEgNv6bqC`nakqp9T?yxz|xd+fUtiS=*
zB={M0*I=JRTWQQR%!i)>XP4o}b$!mreDX*dW?LX~DvurtRLYiP1%a%9x&w72Kqh%y
z$CjQGl}Edw8%JBMMvSA}kcf#YQS)J_QehQx2{(U+z4TN9HRhnD+_VPqe<V3ZlAN`m
zq8PAV;YlRTttsKcGLDsvSYs%53rIuuo4H2_yOImgxP*)e7TcFRv!LhEXi1rgmDm`x
zDL(~o`fLruG-5`2Y}j~=9;-8t+EIM*WfV|uA9;oI>UT;~E(aK+CNC0AQWzN}jmc<c
zZVc@^M1pR$D{!RcsuP(Df61ovm}!^~JvGi!+Bhoak16|{k@;lKq+vEiDk=zSQTWOc
zl92X9G~F94lwJl57t=U7*N^8L>>3@+flUJTT16Bg(#FS}7^b4=67{N-@<G!=C$7*E
zpc_}zfc6{WFH<&V36*AXoVXU{$Q7`m{WrUW@I@}b%2D|~(yGW6f32YA5l`rlcM|j3
zP;JRFsLf_$7^V?3F(^7lP;I0!khVOowD8M$8%8`r@Iio&2|;2wf>#TQXpvX4iRv%n
znY&SHaS(vsrGNs=pfwJ*NZO$#?Kfl#bHHbultDkC;d93MQHOQP+Iy@?Jm$j~9hnl<
zJxA$A2b%vL+IBg#mroQ0N`Gw7Z`&`=E_h^(xi{tBkbBZ{l;~Hs&{G$bj}ZKn@W#jm
zpWt!danz9|J}?kX9t&;^uW+Ne48yJw7dJe5E>o5Y1^I9euNsGcig4V9<sfmxrgCM^
zVI}NJu*nR@M2-~CTu}39xOLX(3@d3l@l$NsvE{rf-m>AVpx4c`H-G7mXQK(f8hTgX
z<NLSwXFnai`P<>~@f)S#!JxjKR+cFa=#A$~qpFvhGsNRoan%v~(;mLtgoe8#4(suc
zP5<_8h8<`}pcs7iQsKilvwG0)?GJAU4PXFqI&1EKfx6HU=Xn<N0>I?1p5V))7h>AK
zy|4FJfulZ5Q_+_1xPPBA==9>~hoAo!3_3kka<f4`8<bMQzh7;)2XD9ABj?tHSXg6i
zY0bVk5QpNm_+A`|AH<L1jd&}L#e4BVoQP9#CO(Q^#INE))Z$uPPwL+9&1}$on$6(}
z@)SMM8x2N781L_EaU&W*vPAR8Lp>0m#3%gM7xeFQBR-8DCV%2q+=;ut#&^w7^u<5K
z?_wbC#ZV0U!$yq62*$A(;~Q!cM-U4eHxslMul>=D7!Mw%;t%o1Lo=mUsee3-X3fp@
zfTqoFc;-alo74L~D?4pIgY4;`p5BR>nBCz!<Jq4h@gP2nKgAdEm-wgnXEPbChT88E
z>R(O{&kl|`)PGxY*J}(l9)=?xa=$&){*h2`4)o6}p~gV>9*yMID9&T}RQR@rtqjwX
z!D)pi?h=~U=V!m}|Hz>Un?vJbUWF#@6dL!O&=|QXG#C~P%Fl~{tcPPB0(5-o@iDtC
zJ8a>m6%Qr3i-&%F|J&QcpU6XTOYXXP-SyN#esl81@PCZtMGu{VZ!lH26`l=Q+TW$X
zV1^cH*#EL66*r_|(z`hM;_Uq6@dY{g;C$P55ElCz?gvqRv!9hIQ_;muj%GK{om`|}
z>DZ-PpXpKZXL~`ny|~ks`u_Ft#T!o5H`|<;!rX}=e9NZ#5-WL5SNTY~exRk>2iJUA
zwQQ#y<bUM-$@#@mwrtB5k|J**_;ty*>>-6^k2DP5=aSSaE<2Uq)BT^%_s`L;i){hZ
zsd}06w=Zz2aZ9tH#rwLh&dRM_T|JqM{^V@Et|z$P^*`4G{6nf3G}9^XfA{?%>{<^)
z$p6W-9+dWLxl?gH{ILJw=<ILDr~Aj7cOSIgIe+}vDxnLcE}|M!X}<G*X};XD;%(Y$
zIrMNf5|i=M!Of~wJ5{r@-!49$d=FL~9B+%NgFVA)35Qh+hdW)=GV9lR_4Ew0%7A)P
zn)PngjxF_M@pt)(kl>hudfLz*rdubE6|?F4Gx}`es6Uy`P%a$fJK}9!-2B?VncYq4
z+kdy6rLP|o)}@Da=}HySmDYv$xV!lE)^%NcdP2NfijR7C@$2o`n)sx45HEKZzt;P#
zOE)d)daHD`yYzNbu&#i6Tmh8|1<dXWwD!|=`K{!`^K#(;StOs|U4CoVTbJL;KA*M)
zAbiEjU*DZp#p4&FYvN@oUHU?L*j@VC-hZ$zyp?>x6w>i#Aw2Cae7%IPOK)W!whBw>
zv5>wY@$iebDSp!Sfcx0u6Eys=mDv8&znNB-ioY1r{DqI<FL*3}HDnp-h~(;PxI6xc
zh`)EN_yf9%m94l^R=j4uiaVb|EAC(MZxH$F_^R@~a$hY$<*%KTW<!+G`I_&o$$!`M
zlnk>~M*cu{{uO5a0_-tfxZm+)ojuC|OPPbt9^kJH7o4zhfH^N-k9sdpXZ2*Z2bn{Z
zFW%Lk`?oc|9Z-9fRxPC5t9WBw!2&H;{1vPQY@62XRVk|@-uCbNvo%dtX<IrMPc3k2
ztL^sion#B`5#6Q^d-!#C3mp;NrhiU*^ojqP@~bMX(m$d<xJRdT5n7^%HX1yv@}ex!
z8qsZP@UhB^wnT$=%Bk(@>%BGd$FxU3yOxVI`q{S?ML&mDI)R=ht|LLqyqXFmNSiOM
zjhef?Rq97H2Mt|ILD0{&{0Ld#TL}y~5OS`MVJ&uXo#^r&mx$l4Du`bYwtuwb2e_P6
z$r4wRFA=ziRw!^S#1cWvz?2wT0dZZig~SEb7NuyVtT3cSvLck$hb=ImxG9}Q>Ai}f
z%yygA3VTbc&1%sKuqzBH`9q1Jyf0(K$y=(<dFx6HrL5kl7)o7GZB`6ZI~D9Ot4q&-
z2Ch^av$7Nq(tY_HbJ1^9#((TBNH(j28LKu<P4lTmq00M7u9ccIhW?`qUGrv&|H*}~
z`mtKx%BjpfCldZ=7{0oE^-m;1ThUymwTe$FQcQ;a3TU+2(5)TTaOxf1c6h5@?$Yd2
zt@D@r`1E*m(}<7L=KaHL&>uEaLcXo9o5A$eEAj5(etIbZ`0zsQeQ5WcB1i+I2{Hf~
zf-FFmAP0~m$OGgF3IGLyB0!0tg#4Hxlo5cLks>+FK%peX6BWu*kztgkn2kbtI;)5h
zb>@jOHLIyms?PjTu4Yv=%GIo*M!8q`z4!ZZGvx2<E44TS{tNU8klB?n1rwJB90guc
zH!(RjGeR*zIWsXaFhw>vK}9%4HZ(9qHZ(RwL^(t^J|H|dF*!CfLNP%(GchqRMK(A=
zML0z^G%!RqG&V#;IYc);T?#KuWo~D5XdpE>IG54<0x5qb)6H*;Q547Vd!F+=?X)v(
z2Sw?$own0A1~sZLl$KV#)@!Mks+Y2`s6W8Qmc5<D*+?Yz79^~?u|O<DQXxTNV?{_L
zM9uef^U1mQ+<TupH@^uX#7j{KRtt5I4Iv~;Wh$T&QcwjoEKUc}>8F88%5z~!LUi4S
zNqJo7Rm6W$Md*Qz%qheSOA`IA^>x)yA<?f{hPHuW3aX$IGQic+>GHOBzOEO#nX3VA
zpI!x7iT*zElUKk>SPS(M{rl*9w=i4{YoHMtM0Liut%LQ@0y)v-rZ<|PnFF>_wL@Ms
zb>F+K&<0&l5Y0UHMhA3)zd^TX_N6y?m$d(0zfgZswEnF(Ho<1_5A}*Ry!XadD8T^q
ziRK=7V>|S7wLYqyFesXz_uuR14Z#i=fnm|Y3*Wm7cEcEqiuM$|u?P0Tei#=me(=UV
zn1I7@K(zOsHx9xfI0i>VOP~D){v?xdl%Zeu6dV`r|KWR2z)6^fDbb<V-Z%|s-~yZ#
z9e#iAjdO5bbnKH4FTsrH$Q%Epzu!feg*mt^I`z{RUxBNvBa>Fn^K7MW<B3fmk|eWy
zls_y<v{-cRna?Fq0p!$3v5`beiQc&7OVU7gjU*aLG$LyCK>m#U8R@hJAbLjhtWk9S
zm7h}1-`z>CnnV|Fd(|xZC+k&<#9fPC<t2BXUjA#eN_=O)t2T)rc6!w=@xoWH3KD<0
z=2eFz;hR^a(}<J}0#PxdVg$*Cfs`02G2&yRKtPOu7|F45AR9IzN%i+2N$yej4=yQ!
t;|gVNWOH<KWnpa!Wo~3|VrmL=bYXIIcyeWC3Nte`Fflj^B_%~qMhaXiQBeQ@

delta 20521
zcmV)0K+eDRzZA~C6p$sC@fZUtf5lWyZ`&{oz4uq}C<C!7()#kTOVgnPa#)jLhi!+z
zQ4#}<-MLPO{`*mu)2``;?J%GaY*Li?^qweC!4?#}KT{_b*&^HT98pkMlD;rNjwF(W
zF2LsO<Ex}Mvl0!AKSKt(Eu4mKewSrEj6d&F(u>H=TPh+*pG(A^r;(Lpe}+7UmE>~t
z-SX`G3Oyjo(ino}28@@^bJ+?lmGiJ%!xyobWqDzppo<GViLMpX#Tc5;isXG&MqM|3
z*YZ?}^`YwPwn<BUo01morq6isM^>O%MXw9lx8(=$d>9{}qn28mbm(Px2)FIsJ~TZ;
z<FJpH4dldZaisRSZu-!Te_Ry0xa}`jkrX>gXmnJZqcYO+6J-$TbiyS{m`6p-KB;hG
zamN-#sOk(^HR>!!QLTEOJt>~HO<y;MupVe5Dp{8Fl6kzZ=}xBo<|y%1S(&Z<wLUpo
zX|#u2qa<C9chyB4vI94AA~e--DeNxxb-()qG9frwI)wvpK~f<ye@QJ}ITqn6qf)G@
z!|hPFM}{<7w3}pS&9-hr=;~%WNs)OqU)`sA7$ZJ4^+V|H<2CgW=kcEe>Oy*@nFbfb
zkNW1TjHPtdE~&&x(ngH@RPz(q*^(PleC7yf977UowWfq>&mAhh1|FjsLd4Z)CPPZW
z9l#!!&ad|lE?aJ13ID%+{RGMVB9((v0*6xq0f$op0=H8F12G-}GMCZ(0w|ZQAOjMY
z93=x1f3^TiN+dbk{QC|?+Lj$9PMR&+0zKFq4Tr;de4HT}nG;4XkJ#P_I0BCM$YDez
zoEo7B*PH@RNS%?{(XUSy{bM5qMZ%xriqvzm&$=F3l^7EKjPZ+hIM;uNrJVSm_8V?L
zuMf@sG(I}H082nq4oZ^oj2NnzBwQK_I5D1*e^1eGWm??k^HsHKjz_To5&b^mNt7=0
zY1*c@%WU*z{PQ6@-sQ#l7*PYn;RcAr2`vccnlfg|q(C1EARnp$_;?2s0zj=&+&QR#
zYGrVFLJfEaZ|+7h*HJdfKQoY%w9Ts$9YxlxPUl5dw(cv5X4MFJwf{){u*^{uqHF}n
ze_7A!sHv6@S?vS!x<tK7>g0kOqNvq6alQbjoO2R`q)ck>%+(t<MRkGzqn26d^Z~`B
z$3Uf3UfX5<kd;p3$%T}CQEn*{E+w7VsTbMP){$$Gw44s=aVKh{=XOYs^LH)a04RhH
zuOnsDE;7%<Ok|h>)1?3>n#ZQiilIFLf8(}QdHTno@d-txYndO0)lh}lddYN46Sk3X
z@Nw1+sZ!KPvlbjQDCx)h*h!F>3qwVsFk^x$8IEhSnk;-o+C|##1u3iRsuv>%UdK+$
z$1q>Ebs($Ru%(t7ZC^AMy-qga&6|xerQcL}#&>iVsqd}`V1NqqR||q$4eN^Vf6+${
z&v$1&9_Vn~eWj>cj8mR2{nTA|?kg;WMdPKu=Iz2$?P9H<87MM8?nD56T6@GXuM(})
zh8mSPmo_tuG0M2Y6!geRL4ri>nye#UT~pSY<FIMm+qDbVPRU6GwHT~KQxI~f;yg9u
zaFw}g2BC&6Q`$F_m`PPOZJlBrf0zc$RUUD-KJ=k3+^>9@$PR`domF7^;g5Skj|UTQ
zI7R;^E#Cqz+bBH?7lk55eJi+}rNb==MR1eX<Hf<kM4>V^c{yJ#Ju(ggLt1JR`#&&V
z2F5l@&jJHWHxus%MyN#R?y}NlGoS4>zPm25U6Bs0FZ87%od%IfRopGJe>Ph_dWlv4
z-s}1;+ikQP-F0@q%Ihp#6mjJwEz7F)lRF@L@R#OnN}olT6g0ut1#n5N<^M&9z5OM_
z-0P@=R3NV}d+j~uh!TrWs2E)MSr?Q~Ul^I<G-ibgMAFwzxFAAle4V+aOLEh@0Q8jk
z0LQ%udw4<*o|0-U@!#D|f4gLVs41pU$>^r&n!D-fbI;?ar}Eg7XE%ZM%enB>$GmK_
zI&c~2?*qyGc-6fhT6{m$u3IVPyOz`LZVdLxv&3yu;q{|jb!`q8d}fNBErNXtzX0vi
z%tQbu92LXM7p*M_{{)CCVh;*sZe(+Ga%Ev{3T19&Z(?c+F)%S8m(3&t6ag@o(fk4^
zm#rWJ61N;B1M~rZSsPROO_gW-K(~?l=86CYs4#!GAh^}Ast6x_<nVlV=Hr15$K6+o
zs>L|v>B3LlcIUprLRd6j>TBN4J=M-v3Yvi;^Yc~&(5ID09P=vCN^Pi7iF0W^!x*EC
zD@;L;oD^g&5%>7<piJ#9Vn@8V?rd~>!{VN0T}ZdeQX;5-#egQ7f{;U1>9HC6E73(W
z2uHkDrF}&inp9=e)+yGCX~1RWQF-mt6KcoZ(wCBKZ;H@a1?Ig|^!;gh572F5{UqoV
ziWv1?pgT#2FFzE)O<s;V2QCwZ8r<aN&2r)KwHIE}Qk&TS;q`C8YZL1y;e}TX6K{uC
zsEVhqx#}=~k<WH6>e~(;-K7$)>Tr)1=`@H;s^WH$wb|mqODy|+y6X?vc4M&CU1xX8
zyv{;niz_E-Syru|+=A-8Z}PJ#eG;cq&;(yYz$LYof1f~o{o9PW_g)9OKwh5r8kU$N
zjx0V3V{i##UD!T-VPuNam^UgAYhOFzf(WJYz3G;JF344{rRgd2DTsSH@BoG$fF;#h
z;=k**J2-r(DJEIT=&I=271PnDp2v@m<)J4}t^(_~Q{kzPdD&)l;4;uZ29o>nqI(gw
z_#&#^-KvzoW1V)_1KCFpEw@R94OO}9E@fQsnJIQM5B4ei0<=#v69F7?R1D9zjvJW%
z1#iRxiJ7+&DFcO@5i~doFHB`_XLM*XATcsCGB=i31Qi4`HaItz!Ndb7f3^is9Ox1)
zjC*hh8U}ZFcXxMZa0d4foZucjI0Sds;1=8+0zraH&;W0;yLXd&|G(<Jq6+4;pZ>ag
zpd?jMXB4$?Gy_UGg4`HcnOOJ$;)?3(tZV=l7Ir2U7B(bGN(~z~d*FZMNR(PY7grlc
z5Z@mb;x0f_H?T~?)D3K?f9MDT$hq4CSlI!rTzstDd@L*gHWn7%{}?*D@Bt)DJ!~uh
zicA1GM-b2ziBjCr$=k)o%GwQ_=RY3-H0HDbR$g9ihQHhaq7Fb88*@_-K+)9A8t4Gd
zXl`l`P<J%90lInrR|pybYd1G1K4xZ5PfsRO2UjLX7b_uJ27srHf15Qx4d@DV@c>!?
zeo+P}nK}Ufp~i$n3DB^%as6AN?r7=eY3c$5fCct8=0K1u*u@=W0dxU?vjfy+6#&Xk
zK+xaD3V$0g0RCwXfR%~$-*EqU{|aOS`penW+}zQ@$rR*m1F`~G+SmgD%2EnUZeDH-
z08@~~FGEv%S4XhFf2oJ5jlHQE*x;|yO#xD(ssK|k!+-d>n!DIIxw$gA+Svc%$owk|
zxXqFv3vovW2O!AJ73o)f5;iVCb8z3ing4lQJCLI%$oD_U(gtK<`HO~yyA!h}$i~?n
zC@b-g4OoQqTV@4x18}miu<)>O0D#T_pqIHd^REON-cG>3f0V4h#9$77zD|x#0820p
zpr4H;5c~(p*VWVm2yk<82m1N`srYY%#L5b=urYT7m;tS9KuEu%gT+A0zcKjzU2MDn
z`Yhn_V+FAM`uX>hA$Y<p96|Qpzs>)8VrErIWoc~{`hO_@s}vJ+^aA)Ya<Ksz**IAN
zyxcqhZcZM6f8T$H`L_Z8A^(?D#nk4X;#htMlm%Hj0(k%C0B+uYczFCX7&QNE4K3im
zGblNN#~BEq`91vxESxOn;9so&&pYs!%m3f#|BCW|o&Nu=NXp&b{x3bv-v<95y{UtZ
zz4t#B;Bj_$1FwdnBX~hT|7)rZ{Cl4jffhFI4*#o_e|0kjuZSqf%KqO*+PF&DcmXX`
zY~0MP|DK}%yaPDAy$uMc;^=Dg>*4?ySy@>AM+aUyb35==aRtBDUn(GYr~W&oB*@&+
z;@9%AadH7nU0h7PkyyYJ#>UAB@MQ&WsRhvMui*wTGl3l4z%BqVJwJe@qYKinH|634
zFpK^YfBlWP0nFmR5f6Y_;y2<2FiZZ6xLE+qQoj)^fLZ!CVgoSC{6_2mX4&6}3&5=K
z8-epF{zl*o%KsuBa0Zp%2%JInHv(r+`;EXE)PExm0JFw#1m>st8-cTH{YK#I+W#V6
zFf#p(z}(G#BXDKr{~``>2JqE$_-*~`<(Mu0e}Ld>fxkQV3pu-kr~9`7n1JPP2sW_%
z1O8Il{0lkRe?gDm@i>3!9o=322nRN?`U8RswEkT#xCPeUPS)TH|JwpAv-typx!e5#
z!Q}re7R=t^k7B`G{|NP~c*oz#z_#G;!9UdCVx4}g!M;x5uOg5=(9-R<l=UC!-{<0A
ze=+#AoWMuI@porAz(k$w-Ch5P50*IpZuKwZ4s`u%q5dOe=lvyg1TXb}g=b|2x9N{2
zvVwc^J22-j1oZf$X&m4tx!Rk$TL0k!uJCt2@O@);vvvXg@ls&AZk~>RIDlig{{g{`
z_V@#W3-$bC48Y!Ae?V|}@88vcU44Kqe}BjRuajWz?gDP5+h1oJd@ufk|N3$U0=<Cd
zNXrY3=KLYHbs-&hHKK%`jNiuLHn+PX;&lhYIo+rhbA7E9;4`FWoW)EmD)GirRhCM_
zrWf84(w*K-cp3C$1#YCs<hVgd4(y1XGv<xlU-ei4-&i;jSWR-LM(kjmC8!dkf0^jR
z=u;<YFZ>MU?q%Pv+ADnOa^2VCJpwoYif_<KQwZH+M6<h&prUk1DYo54bq&yCF<tc2
z+%;r1C!e6AY+`T4I->FKy?69u(?{3WhqDF;QrR!_<@>6+D#Nhwv3=x7v&RyL@Np8d
z<eFU}sKhvL#7pDD%RVng!Bi}|e;BIi(P^Dlhw9J!AKOxUz@r?Ei3;nyIGG}Azai8^
zt*uH|WYyK<Ecna-TqvFMr0bLh#N3hh1dfcl-lNO!%a>TAER@HhVSBQiKaxd@CGyeK
za{30hn3krPVdG$lq<u-u6d!cuTH6*QPFo^!Bn+`RDD^g9%(|k?nvhp6fAqxOCnJAf
zqS<f&$^G__hHFgr%Fr_T2ZWx<oeWd8T2I?SrB;pLmsdf3x+~h|h_`Bc7OeR@ZDEdY
zqF*;0)q7Cw?E4;j_xAdE87P(pdpSt)YDyE#`tT<>6ws|B$+qTtly9r_)@HhS*{h=C
z-cDjzMK3YVE+}&w@yA6cf7x$(LUq~=Xc@6H_MDaby7lF=j4|=;_zW@Pa|$8RXEHmo
ziKEU~vO#iiA)HahNaO$H?<~x+jHHILt`je69Jjl85Iiv`Cwm{$TcTrf>#~SgSVsT^
zEh`lC>mUU_Os?QNyFDjI?`sdZU$Qtog=}ErYc4Lc_}+&N?DM`nf7&-&ll6%{F8^d=
z_o_%@Ye0dYZ*enp+d(6C&aSRn{qflU3RdbS!xEk`QkG`s3zJ7{?b&p~R);%!@305q
zGSkne3MzK7T&%Pr2RuvyU6LQ;a!Yku>7OFrnY1NCb9KCKJ<dt(l~RNz`4Cy45rdLC
zfTDv8I-7b9W;vy=f0@~TBCcYWh)~y%lP5BaZS+i=I*})f&-w0kyxPB%N3jCinw}`O
z5EcmO5}G??14BgOEkWk}xI^PAlv`}0Xx$d!nzNdi+J$lv5DkCZesiH7^NgT0{P~z-
zDfs3KLJ{$EzR)4yTE58mMd#3DsOy{R&zbo^#r>T-PLlxFf8McxV{LSlCmDrcuRtrM
z#Jbnl(-=T8zltxkJ+u%yZl4V{jN2I#$gRKAr}gWdEJePeNV-A2vPK*pJnHb$x&eY>
zc%#N>S1RUi=U9-CA#sV$RPhZNbk-k7e-c4oC&5&nQ%8iSQC)mR{(>Fk4!kThDDwMa
z+Q`Ii9*JVFf2Uh3c|aeeO?(jm>PP#0V6Idk=S_%3sr?53s)Fg}**Z@isq6M=>!cu=
zDfC-aiVrr5-q8yk*IG%K6~vfR&`kNRQ<#E8)%MMFz&r+vLYUhWb2;WG_>At9?NNcv
zkM8QE<Od$+weu8IdS~WG2BbDkK0pHWH$?ANAz}n;e;jIm5(G97(h}Rt={#zu<@_w<
zSP7|5P$Ukh^(iRQb87!=FS~B+w+{VW1FI6Q8JCw>M1}1ck)}PV8`CUuzzA&=GWoim
zMP~AZaqOtK*<keOd(%J}k&V}5J!m;5UK%Rc<U||^sW@X;FD^L9s91Kp&Z5o)-xn@l
zj(FK-f8unT>k-DmSrCq;PO4LMl*Sm|gy;5793QJaL&%90Phzf@u25=cl+@?rlY2>8
zx-$z^CT*o$^Rgw4)}H4hW7Q&j81E$O;GX$gw+(tjq_OZ$)2j&qL#^4l`eTAI_U~g`
zM(TO&N6$$UwkREO6rBV0gx&f=nhOocL?=A)e;$xhR$rsq7a%2b?KUP3APE>8;ieK?
zJ$wQrCoc2Qo3OESPQCcZRUc`2N^b=U;nZU*gDM6JHfJ{=$leetm3mf3M_6KMzxXke
zOjO$c{AjyG@&WzTcM`TB*~*ZrkVL?quAn5OzT(>t)K_pqISx(VToCC<NTlFW$o!1a
ze~OA^<Vjvd$#KG2s9N&x$}Cf?cF%@4Ei6tBzs+`Up7bsp0lcH#YAaiO`a#=ba_jo0
z)N6;6T>)#18A(j##|K}D(OfIJ15QUBTZ$(vXXsS^43a+d_@QCNf!P2N`SGh~z~HU&
z(^4n#f#l)G!DqxI5(plS<6(q>WixnWe|w30$WQOToWVpg=*W?Us@N$i1=V(Ap^^cb
zhU+Pi6xt_nE4e)C_*9yWgT}+BTP}%N@~CmeOfl=pH#hV+Vn)`!d}}vs6z9|Hq1?cv
zeJR^oV$GzbO#^+`D&^06T-|$pg`ifj7VXS<<A$5%0CaT!s)px-pido6Vf96^e<nue
z)HZF9aKH%kh|lxz2`_-&{e7!K9Jc3S``XPGy^+;3-}2I1HlpPYlyR=s{tlBjcJpfA
zTee3;Ciuv%dR2%7lCl~u-X6MJp65zI&E(U;PK;j{W>qh+GwL{PUlEiUhlTk&o1&}+
z@4B|mAm_e{2wTLCMLmHIGfW{1f0I|M`G~nS@N*qXkaoVDsNx~9=_mHjkV9h;FVlJY
zQ+CK|-kik~n9U7K?*hsEp#7f+bMJ(QQ$F%TR4g{%d89}$%w40Ki=4TB2<BFV5}=0a
zkE<ZG;MYl=SzH}+rS!zieL6i#%O#z`8{cRzkb3`BK!#@V-hp8K;pAOWf1NiQlY{1?
zjP24@$$s6SH;$I_H%F92&s;m&e*fkvc#P`x`k#ca`IRKH25Zw`h(_TkmI!4;p7qVU
zTyT5__o2TX8Zt3_-9?@VkSMt<lf2WEk&7VAL5p+3iyX9#IlW%c8vBa7w_L&A7BgjS
zD1*ShO=cA$l|e?FQ!r|Re>9}&)<|Y4TiPEzCeEHN_A?&+&aR9RkKjngC$ZG-^5nwg
zs#SRN8q0^Wq-vn@&XfgzycT**-0Dm)@<{mv)$Z1eZfjhi44QPtzK{mx(PS#-gGqU0
zkxdZmYr=5C!+ihFNmer~Q7TdfHEy06(lXc`qEpx9IW*UPm8L3&e>YC^ea>c`KXk?6
z(#iAVi-!O(l$PK0NXG;FO#;J%%OUM?<GxH&>RG1x_4J@q5qpT?f0S~Voss2Zl(tb0
zArtL)d#zUUDp$y69JeG-{wPwMfYlJcAhXnK7gUQEAMt!6eZSfmS!E~ODQ%=UIwP8^
zx{i+26*z~qiB~v)f2Q8;ma}j>yhW!4Y^cOrukuE8n3KNiWE+gjNj*1$a9%#FKBe?c
znTza92Z+YL9zLf&Japg9jd{cm-$z$y?-{+)`tGSx=8WEjVSCYLQ!4GT%L#O?4{<5U
zqh&C6!V#~z!Z9U4h5b+uLy?E&=GEqyjx^L)uGp0A-b>c>fBMRGfOL)m^g$_2yIOa8
zug?OrN!(T7$My(x#2Kp5t0F_bX{OYDa}-u%mt28rvaO1pvg)3>lu0GM4%yyyBP#j*
zBdWCOE0c)Ebq4iSB9h6jHxY9LAJ%8QCh9&88&9uB1&`JqaSyN_wue}r*hQI8#t3j~
zQH>Y!u>~s*e}8<$`1aGm8qI66#2G`dg#b6663H=yZUx6xp=tB2?Zm>;d{~DPLGl@k
z+9O(2vIZ}5I72%KOYh=-$g_frfzCaeFAc*P;5zvA;ZX-3cdjlxL!9*sFtRG$Oww9E
zRWJ)rQj|w4psM$SDf~(e6w4!TSK91oL`=dvV?g+&e|?*Bls<;Oh4_1Qc1-qK1T`n-
zUWbo!Bk?@~yHji5$rtE?Y~_`wO`MFmcs>^)vAY%sj}~89$hucgX`z0*oE|?92XJ#(
z?><|4=hH5HFnGGHC`&AP=Md^#i8rZxryO4FR+sE}iA2-t9a}~wL4k85)hZjah9+NJ
zIV)W*e||_SP}Wryfa&Um`O$DN$Kj>3x@bW&fIK^P)0%y1!{OE#Z7RM*U@KL=BH6dR
zlaR<cdA+K@7o}X<r#qSb=N5%P3`+>2m>=<2?Cwvlp>Gr0F!Azg$ig5iAN|Ce<jxKT
z@AL%Acc?uItwvRT+oAH;8qBZ_)gnYU{(ZZkf1=zqE@puX&suMXVt2k0=zWT57vgoo
zF%--R1l?_ynF6Oi8<()VSJ_yRPr0X%*06Wdoh;MDQ4w!6hI|?c-j?6m)yl)+2>1t*
z>?Zw`e|upHOCTA$>EU;;EaTV8o9~7!Cf0pQuI!GWxB++<qRs--%04IH%#7l^A_wuZ
zf3Qe;G{X1P4?yLQ*<}}+-Cp(1ETh(lTnpuUG5lz^%xIw`aFy(pmA<?ND@Wz&RBbrW
z2{cd4*e2W&J?GL<oOhkQ7W|m126^V$brvvvx=t)NKR35>Gv7Mb<7!`vvGCKam&-E?
zX+<2Gyo3_*dkjjgCmEocrj;eFv)%>^e<u-Px^D4AG9c=<DNHoW09CMDe<T=flV4WR
zOz8kF>gES2{X+J&WotebjPEpTi_E#!nuc8Tp1p=0f#R5ae%ASs;&>K?+9jz=^%Xzu
z;XBNw^I6Oq{^f7nzURZl;mU8kS1k{)mC+rZD7`DG29pMw;`sXQ&KGFV+2-cje~!q+
zaR_QFkXPu&*A;b9;x9AV4ex&V4J5674t&%~6rtI{CFl>+mz}P;5jHxoT=sE(O@vsJ
zAyKo#3@xjeT`VjR@nhemi?UeLA0sjSFe1GT1~>U6K(FwseG_6S(0OEzFFrK?eSs|r
zT2k0$X=F;EK@kbu_V^{TyLa%wf73ODum%q~sqPi!AiKV+@^TP1d7J0d*^~qi!Q+&Z
zlHj2s`6pBgn!_?qy^Ki8!6A7WnP}{d5k3zP2BX_Br^gAW@#_-AgW3B*10^BsGZ|$m
zoy|t~)USn7!~qhAIug7@nC=V0H1yoz(IIrIs!2YQ5bn}cf=>8)Umzp7e+6Zu!Uu9`
zIxJ683dB$M6-`g;m!;`#HL{Mv(y!}PHFCe6kcGWd&X)6FeN#7b4<FYS7#v%eMQhn+
z(E}7$EI?#~YlaN#3NS&AAWrwbWqBG(He6V$Lqr+$F_(AFkw8z(Ly_<at89*`k_-}>
znE&~G<+zB6OE5t&`zPvhf21Bskl+ft$|?1E7WVECZS?0yGl-223l!^NMyKlLPi>ZQ
z#NIO2W^m!sT;tHoH+z$*P~AHtY!g=#@Q>XSpQS;?2lI0SgOVt5bzCi(EsUz+W+M8Z
zq?lDo;%vxb#x|*%DN*C=H)E44@<!LQ9}Qg3KF&+Ql4H+Feo0iNf6r&V%|OgQU&i;S
zHE9`XgEcHH>tT5%i;;9}S-gSS1$lbX!AF*`LPA~cp=(QS=f0gYaPernLa@X+iqJF;
z-Ri55*FCmQ3DJ&tkyj%gE9ai%bXI_OZq}9~$VurkLC)mZwqB-g9^m(CfDJjo|C@|K
zbWNrm@=1<97Q_oTf0Wur+sG>A1XF+V!D*rKpozQyx>8`>`;)mGK{uA;1dlvB<%xk!
z>$M(&&G=4r?ytLznP(M2Y2Qv5{09=lIK|LvKd7lDQDc!iOwd3wgxv^YRueaIOd&_N
zq|?7A*9i3Nv?eP-cp)Rm=BZg5>$ws~%B)(67_T_$T>4V9f9+4y_l`674Qy0dx!pdd
zIQ9yD3Vmg>(!O9^t?*5C)62a#)hLX<S!-08J73LDua>~shnMWH&k517t7q@c{c%`!
zw)sBCzXV=mfe_}eT*ayP#K&()so#s{`5X;^NJ+iIi-#Le#B5yg(f7Y<B~5nD9m%oT
z#8F5qNG=Kme<GXty~p3(QH;Ctx^Iel#LgJ><$t4j`3lj$r`m1KQID5=Q1H2XloZX5
z(%<;%vVvnmw8tRb(_BeffQ*yY0Jd+_js<ZjRQ`f!*v)xtE7Y6seqhQ#!@G4q0K2I8
z>Sq00UXVEWn~PzRs&W@a%b`QSteIG9<9!~3t;O4le?&HoulsU$L96p4+X$t&&`AU1
zm|C{C!xU%V2SARntqiW8tSJUgUUPP|4HBl!BT}M-DqN_bkTPp4;w?x}wWy*Udg%ws
zIqe%Ha?DW#?{iIAf8;bhIMq_Q;^Uf!q}EA>oUv-N5IZmhF|3kUCd~enqvL*Ogd^*6
z5Wj9Re<mfAU0VFz6v6LW?LkZGCiB3X{aqQFVWD{3IhPi-5<hMz5i`P}$5Xz~wd$9%
z69{g{zJ;wGlk*OI4aKh!T@z;+aQ=(L8Y_ItuIC_THTqn4Ra!Ib^+I35c1+AI42X)x
z8{=6NpdJU*FpJLJ@w3c>NmIdESbw?&HWp;Ef2GH<Kewa^dAa)G@~H_$Mz@XnzQY77
z`8riprz{0#7jUufThVTCUmzY`9DXC*d9}m1raFB@C?jzS6d~E+=JJ$Fr{A0;tmmFi
z1AB>bqB}hm(gRa}9-iCV?j76aMF+!WTa1jn&Z(!dzUq~4FD}kP4OY6j_EVV#4;?Et
ze}|#EAK)tB%hYte%5mIMaQVu4{Nb}l9!RniT6-VIM~<DS7oBiDV0kN`FM3uf7-<$x
zlkLUU$;_6R=A!w6)70BioutmsxcOef<@zufnd|Yzh**J}Mb5~N8Lhf{=+_@%o#eC0
zu-;z!%QKcv+$;qU8++5*)P0L<<ZXeDf4LTM_=*CJ^{HdpkvcKH(ptA>Px}jt=ul#G
z6=&;gao}YEqsZM!H3s#*1~pJ?#0WD;RUXu|D|~(a@Io_$vvZZfErHX-Kw=!rx&^mT
zKEws<jb7lAF$irkv0XR3eCx`^JKC>KTi^mPo>y%>{H_utiU}_*_%VLpl&j1Me-F}S
zuNri9X2(+-Zx=6r*r}#^2It8Wf<p7&L$^tGuz!>-j_@op>zJX&%!yg&3vvu2qJIZ<
zT+UMRHqr#~u_Vjb-R`bc(`uHk!+GDFknJKGOEdfFUSjXj!h5Z$9uNscQzay!VXo^Z
zn??b~{QZ&U%E2G1-HO+JS(Xx9e~Eo-X5+P6$&kWaiZETw-Qz^QG+cP7@nl=#5~MGM
ztUfA;mLZeK??uk6(WtLW<f`dP87#v2tF=1^Q7o)V=C-oUabGg`S=3>Sj5)(r_@`-O
zdJNt1u^!*JoCU!6+p+5srp|6wavYH<TAZ2uXs8%G65H-VsS9Mjyy~^6e`J#Qaa1U3
zg_2v0>iXJtynmO;?e02ah$HaGP^y?@g$V8bE<~|2ePZ;P&Lvn#k}QoRj~lD(;qHQT
z53S6RJCh;YZSs;o?sy+g<6Eeanw|(ZM5+Dl9R}fLV{q8l6p<xn;w2l1t*_8mCz@i2
zV=Hu~MHa;JyvxxB;&a+se=<{cE%f$^a_8d5rnPSY(FYCJe7<8{I+21{dBKYr(jsEy
z(EgK!7whD%65k>&OxrWNg)5n8+>%sQGu%FBN62@S=m+h?d`<U?qOhRzLql7(gq$SU
z4b1KuZAqiZT_b{Slh**vf>t_WWGBniXG)9K?KoI>EJm`Y*f_DIf9=;!WjjQLRJv7<
zlC%Ur^PAl%7^j>#3)94)XL-NQI2IL?A@c;VLF<Veh+zNd7D<kSJ<wuEr{<-NC(}$%
zhUcz05>eQXADSdunsh+Ls>vU7D7Bl&{y7q}2$TOlJb|;##-H3G4<Eu(X>L!$|A0yt
zWhy36I;zN3F!UMwe>|J^MRQVCOr0n12MkF7!|7#YXxx5?gj~3H{Z~V@(RBrPKrMFS
z{4JE6C|?*>#z<j>H4l!;&S8vZ{CZ&0OCpzTtGtNAu%}Z#W$eoRmzc!`tGR&KoZ-tL
ztZ#jtyA7O>GK{1Uwtlq`=5z|Lh2JXI`;r6=8k<>ijsqBFf8)KM8@_Lf@Q?EkCn7>{
z25$<2Vyxg#xJ0Rp1C3)Xj6Os1LS~!Zlv<Hy-9o-{(4H&^$xf`C+42YJ&&+2iT1bWr
zHHdRK7qQ2%42T-NDWiXimr{LpALHARSYBUPu(M!SX}_7ad_YHcLD;GH&Dyzu2)Xex
z(bVL$FCr5ff3xLr=Y6Bo9ppE*7Nvhhhb{NAbcUvU%6M_dTUWFUaUARPN)NAHxpchX
zRntY)T~&xo`$+njE=)&c9t52I#_JP`q#4&Ccl^u}|H5a3?`M~5=kPJCDxP*?2m)Pj
zx8HSHc4RKGOT2Nq^Do1$*nwg&TcH)^UU)VuA68OWf8rC5n8NeC3iK$$g*GF-N=%sy
zg-!ix(mG~$ESiEk0*<L5DPDiQ0-)+JIK4=S1T;a!mfqESnBEaGTQR;RCNU;iX1Nx0
z6O|>$d@;~G*~3ZK1th>gkgWL~`l%&N`>_4I>#D^S(g6}PLi&YEGzmum$Y%~nv#kQN
z1xDi+f7>nD$7F~dnd$1EMT(COipXQ6*Ob0)5S%3YU3>{e{Nic#Qt~zr?E!XAWa*qR
zXyQTHeHRC5pn*p$pq<V>7X$7~AK~n@>L@upDG%1$YmE;AYInl;F%D_ovH{v#OOy}A
z3T5gRk)=4A>SNt7?7pGp!i6iG9M++PSLPjOf7jl=EvnJkdTEHR>9+L;N6iu%ez(ib
z_uuR19um9r<3pWeT|XQMYNldN3093fw2rZc14Ujp-<*}Kv~?57&w7R`t>f2uD?nZb
zm6cyQJPi@@a&$1R$CdAxDb6_5H7X*#1EN8EpjkLU({;Y~Y(Q>XfG_5N>tg7m@%vsE
ze-vl04851nHz#ka++FP=xr7m!t~$3DL9C`3;&IAw_)eT5S)U^e$2*#YLiuF18ktc3
z-4c%`t26^byNN};=9?ZX_vvl;w`^yI?ny2CWfj5i(wLpo+bfG5rvh*4zAWphZa))G
zkQia6Y|6XKG<-u11m(ug6Fa>&t4L>#f6{_=N1H~TAX}6cnL@B5&A4_I36GCrwCQu+
z6g%q26X-V|H*c{z4M_he^j5f-`X+fQ*DO8|Qb4>u8TrCOf%U<6uZUop)<rIN{q=?N
z+~(WU%>*JHiys4qO4ESv$L#@7Rj*Y)?do>S)IEkqwA$bty~||H;+Z4E@j!n4e@s}p
zV%69*k#4!28B^^q-h+-8lWB+>NFt8ZCa!|@;LPN}DQ>fm<C;h1O2P8%Qa0aqTCqcJ
zyFQjM)sJ$2KyN%m%+TR?PgN9mP))e!UHx?;@)*Odo^{`|Shdl|$ik$EQCsD09Ijz!
zvLl~kZe;WbF7Ua7LdT*qJW=U8f8Mtgp4+IoknaZqL7OPcjeFuWTTC)!TbotpzWxpT
zYA49E_TI06aH$fA!Cu`%%<tYnBQ-hGCMIZo<)Xp3Z=W<XN_oT=9Q+P1o_OW!t1wI9
zwz$SS)PbyLMtoRi;{|_;bBuU2VPQ=>9fU!t+%;LOJ7}k>V?$f#fCpLFf6CUI@~)gC
z2Ah5Tt07+>sJSDIv=l-E;L-f?fwEjw_J_OByYckFO5)`miE9Rn_T$`zo2bqaINP0e
z*wS#^(>fee_?m2b*nItyWFL!?BWZ<+t}5hPe4~rkpo)BG%9DCHqWjj19;Knnt<=?}
zkYcIWpxY62{N3=3<q0$|e-P8Nfq}&lhCGski9Tj8{abqU*@y*LA91A#Mtz1SAi3yn
zg$V?~diGEUZd2QYia_ND&A!7EPUVwVGLH}tH$aP{yx6sEeoDc(Q{BQ783%p1dW-i^
zq2I)r#Zz=iz0oeW9e$uJ(p{2H5g^-)MM}MK9q{?G@Z)XL-Jak*e|c_TG2d}fL2+eG
zdZFbbPS9X{41R+3P-R*)5iRt`;X_{72p9+22vE$Y>;xirX48S-SL={uo1+19J5R(*
z-xS!@Zpp|%p3E+9k1EX_QW5RH=Ah{}WwI(Ir1Bs?y|_UOq1<|CY>#Aw=^v1BAbXV@
z^MB^r#iMt`h@(w~f4<mhOn{&b@;~pgu+rl56rmCz^J_(+w-+1%XlC!;Msf0P$j&5C
z@r_Fm;Vvvj8yIOuNbEL7Lg9KvlZ6-E!~D<--=a8w-*EnnP*j&0M;p<W*psnEp)=lv
zTYkjwWNB&`Si4+~YiMFn>dPV+9fD69Y&<DgLS$a(`g+R_f6Yo?!a6@#MKhnny8_K_
z@_d-EM`I=Zz(+y3xjZRZRR{M97J>lzXgLKW=V9HqdBK)yu}^HP;bkHtVD&~+!JlT!
zmV5+{sf=_nT16Y{=-@qh5d`~{FKgPOIt);%42Abmv?<(D5|i7>A4+|lYSI}yQR?+W
zn<soAh5%>~e`|5~J4fSC$-eUgG8$jyP;gpP=8qknkN4jfI30br9p#c&D2tw93ht&?
z8ilSC5C`K9q+l6p5+d+qWb>J4d**u0z5F(^&?`2f(ETNX3SU7=6<Su1i%3yUJ693+
zkKmHgN5<x#rwoWMKRE>pRX4KpCufk{^<k^fIQAsNf3B8>#?otXeSH61E+0PoD5R(^
z#uY4b#T_*gUY}VE=VUoO>_3bZF;yE@eVbylVdz(_L!J@?wa7W#W2edDhEL(O{sMPt
zNhPLJvBaoqwOBaRuUzNQeu>%qB0Yv8J5SWFT;)cPms6R6ufF|tS%El@bEA9Wa#XTp
z-*nolf2SDF5dv=RnC0yTVh|-LD#&`E$B5xv`YP5$P~zQbJw~!ARXYeS&SVfcv8MP_
zQ|{q|EMGK#sAS=Jlcrj@gR|GGVMk&Ud8$aaalwx_#uYNSs$PY<D&e(xiFM`qY6Ad%
zZ&BsBP`=L~d06oY>TSM_Zdj16II=L7PS_0le}<IS?w20OYsv*yH;!DBG3OMPo89_X
zcEU5YpfwE#n{R7z>xGn5!T|zuA+_IeC~^YHGBcDQYu}S<T6esaN#Wc1cv&L;?Iv`j
zB%dAO-4~3|cMU4$5Ggl{j-S=K?Aj0EqhwoU*Rj<@Oe#v=l(Q~A1-5m?k5V7J7aY`r
ze+-BknCL&2z@sf^(ld6a2=sn0UeO-XxOhmEoG;jPYoAQ*L_58HHI&p}Q-j+vF}+&&
zV{iR!DG6=isEd5s?gKC%Q=zV5*v8>jT@Rz8TBJ-B=_+(Nj$M{B$SopR@kiymXz`Y)
zwe9z>CXHn-&CfYRg@SdzryW4ma=?g5f8R2rF?mMd%Alo@e>NL-qTl?AncvIV5ylnX
zAXF~5(v2hn6eJfELUq4kc*BR)?Mf=y)TTidH9w#>Z?Lr8Nh`Es^l(r3&EVT>Y3ln2
zsm+J`D46Dt0)auZ*O}cLINNL514-xskbNTc#s#7+p%IB+932sYdw2r88WUV3e^bXw
zi8VHMJB!i%j?3~^ZC18B{XMD;T_@}dj}}5s+(<g}(pARlNIX-NUt*4Exe?!rTM#-n
z1@~YpN|A4*4*EIM-%j+trAB=(BXe#E^}ILwX-lfA;&f+uxR2nm`z`%GLl$I>=>k&K
zB26UUwiduc{A-PR2+d~c${B!Mf2XB^y;x=_)2$AKafw!6t(}wpF*(=ZyK!@IeT<bF
z#w$^K7tOEDK)MF>FG^(0P8FR+6}Uk4bi3)s2`u6XVg1(&<r|*Fr67kRzAx4uv)kV(
zX!wuAJl1^*FX=W(GQ8MI#{!UWJYX6ZvqpFmrXVjO)AELn9lf~?AE#MTe`kB(G$uq_
z_Rk;LuY1a4E79~tyo09Tg_GRvG?<k+!z#P=o_&IDEWa{oWYUKUL|LlzpQa6at!vyT
zPHzN;lD6Zc!56Q8heK{cou&L@q#I%++O<=;Y5crVlXX*aXYejSHwCSW(BsvWt%A$P
zcUV}Qy_jm(;z$HF(?vf<e_Gl<Ky1@Lu|mqkF0c>Hr0pwP+&6ssT=0CRWUc?cx_Q06
zlnDW{@B=Pq<xede0)&g;^em=S6cT{1ys936Mal#Vnqj&9l8I9R1Hw%#w3$Nqp@Rq!
z#E`6Rr9Czl=j6@gs;?F1A#b?M(S1Nc++9kjMyDlBYb@yfb8@k6e~ZVPed=DG*xsUv
zv$%7gJMhLzEK+B5?EVX7EK&Y&xO~qm&btnIXYpw5rCz{mL-ay2nXEX=hXNBUbEP)`
ztX;TOBq3YTZPTYmGM<sn<G06ZKGM));-+jp@Cw|K?<e<F>>{<6bm|T<b{?ks&5%;{
z!=|2dk!-w56n4|Ef1hNZ<<hJ=DNh4m#d)QZ=vT*xL9i<FAp>OFBnS0LWl|gTh#f?f
zmve>jxVa}rR#AZgw(nhWMbokv$AV?F@(Ue;;Y9RXUdOwIfcRQ=jJOnT^{-c|5*ny}
zTG8RS_t|>qWWf{rKelO~;B}K+U|VR+o5QKWolmk71wwO#e~X=8c*kM4c1kEL4gS=Q
zu0!BxY##BYnUdGwU=_fuSFQ-V8o&jjV`*aNvFHJz3Nb$|xo3`Ee#!|(A6aF>lhf!h
zIJT^oZr98uE1FY)ddHA|g&!3u|MW%|;sMz7<0g=fBrWq>hCKo2B35w7N0^Il+qqD$
zdydYW`C~B~f7Mo($oCIDs%Rw(g`Q7d)cxOoy!R-ha~6cqpD{oU#N46Pl7@>1p-_uE
z&rkM#Gz~;3!pagW6_h(O+{_dt6=z;K_fZ=oB9G(ZuMw)-c#N4!P0uJT<l=f#%|XSW
zKqa{;oItKa41jB3x5Ab&@o0g=77=%Ktl1(qHBu6If5G?|I0O>6nyWd*tfAhQU!!)v
zFi4C#7?11VCkdkdBoH}(=EY9~uX{ZcttWteN>>|L<`cxT71b|s_2d{xaHqt>v<5|^
zT9D0sTm9O<-B5^8#Oq5g=K^y+XWi_PV);@<_B9~af7VJNW0Vn<hoK^kN*FWA1ot$n
z=X2FUe~>8_CvffgN<4F8Sqbz;W+1!k&K=?d3o>h0&r&7%I?1LMh2QK2VA5LgtmKU>
zmVW`3D(2y5csWzMl+xVZD46Amt{e%Ei5`vXI&oiPd>i8+BU17`SPiZhj2-i#1<Lk#
zi!MK6I1Q9B7QBG*&Ldfx&Y|GQWc2+ysRX5ge>lX8_F@#7Z;IquwS8>YuZx|APCY1j
z)H0Aalf_;(BH$Z21RSzHWq)ufeK;xXe}*U(dK}7Ynq6g0J)dD){$Rm4KQ&e}W0E(i
zskO)<(f<)!L7TxlfyU^YOL2trZAf2;3hC^z6if~Er~L9$?x+5~kldG>C}@@`vgOpT
zf3j(ttbM>h&}c85=wcgB95q6;z$b;X%zl(9o#v!A(UvKSZYZYn2)0kxd}9b{s!#1+
zy35~mJR6YY`W`~(adHP7c}$xdoeqbhLe>$s4EA!ETVLkvuAES51{EgvPP{_}7yZoG
zQeq<QbxCv?Z|?L=yfh2*X3|~4mMm28e-s&mHFS4OKPQDarW__KVTx~&f2ki(6uF@}
z1kIJ7PM);os9R&{nB;Kq$_HQ`K!@b8>EKwg*z^dg-tC0CA~E-%g-X4jF4BjmF&!8S
z+wrm+$3H(OA$2kt(-;(4TYt;dRKf9V{n02TS*B9v)zxvXq1(hQ=H-a_Izacce;g^@
z)GD-}v#-k+&4#EL8=N6>>yp)h0_bH(s0Y9Po>4O)?Khk3rm=DoDB%B)b~;pWVzKr8
z*>4a??cbvb-}-2W!{0=lRxl_GjKaqUY3;wa4(P`S(#Yd5FoXb^ze`Y&bv!Ak#Ud$U
zcZyMKJ)fu1LahGus`RR_LE*Jfe=f1{4^BTzytAzi?yI6WF;s@!simRFzUY+^q9o$f
zfhVs_xdQdzrrohY@}R=5L=?ysH!ZbzXZ5Uvt0#iT*!ZglBW>g8qEIwB&Tl^yF(wA8
z4EvyPIS4P$jeK&OtTf_%Xw9)H5j{du5gN%@phaq}44J12KAL>7;xQ_Ie}JZ-qd3_i
zf-=T=G&G|v8qyAu>gt|xF$|d0MtMx@Onu(>{?yio!#f^ZOffko+Ft>nd_agtoYz&Z
zRSVXIH=P)hEL&r7yYFA%^zXwvVGJ&2F+Z2CR?x3@*Q0g--ldYivN8J3yDq_^G>t0q
z!8C@Bi$MnyWbFgPm8%1^f1C`)ASBpVp?lnZ!}LCx8B<b8UDO40@u~MiDv%ELdc8Os
zFZ)g=+1f8x%K}oZ2=W!BC8;}tOAAM~GBa<@%Pg~ungRTkdYn4C4UOA=MQkwFs!0++
z#}N7(`t2Un(`@{bGs$7>IDcIVyDdy(9#6D3y|<sQSc{V(N+ktRfA_BDNLKvF;b9A{
znAK48<lw5=6Tih}pIW+Wy7GYv4tdMdVeg7!$eseEv=tXf(t_fh<6P$l7AcDBq~gha
zw;$r_olt~1-(VSBs#+FN-nOQ<#`)9~r5uLX9pJ-vI2@QdC57y0*?jupI)Z}0nP{1Z
zzTa}R@AvZ6Iv~Q6e?HmF`KIw|;xfD@?NS1_k_?82-Hn?wX=Rt@XJA#K5tLyavQ>p1
z70gR}zcrzLk4%Y(fh=!_Zc)~@tJCvd%j|eam3QtrFRRk>wt1{Dr&BhhJhl_nVrvM(
zT6QHHwxE!RHDj$g@2Mt3^^D;Y_&6Lq`pJ!{?@S-}&v;Are-sC4u%glISu?T1$QG)U
zXgRm&%0gzUSk}t0U`Ni+LKvOmzBeqxL|tG%M2!rz144LIy`~sM;I%hX)*(rb@k;6!
zj`@JKkp%GwNYAAeb5AQLNPKS`)e%gYbylB9oY#0o;Yd{{^Poz_2D8u@(SLI7Qd}WN
z*ESYk;_C5@f223N-rrK%tUQO7qI!gcQtl^}-)=SkUG9E`Jh@;dMC{2WdT5wELgn7~
zzQkhmRYuX9soAAzV?N>Y?f3|W%|<LCJws#_{CjqMVKQIu4L_s(uN1lpf_<?=-CQqS
zuP_=!@M*VQ6ABna-J81Wyr<V~%OoLXJM3E9Eze%{f4))vFl#$T<YEe$zp?_q#F&;U
zou>O7Uk*oktg*Hhvq`2|+m=YV{btu}*1|q_M^2vfT$YAu3tG)jcdOrTvZLnJo0WcO
zv7Jd<d>lsc%`CmwYJ1RqM@{r^m#YO!*cYz)8^pG-S&keo!oK1kf4+03)PHq}5>2U>
zi-jl~e`4bJlOYUOyIi_r5D_hqoqi#>7N5*-kK`Vjx!K_>Uyvk%!ov*nNiPb$d-rKy
zkdZtCN`aDqIx+dGDFN<a_cMwxTVZ8su&bzcMozqwPGAY-+aqhiaP{K52)3S6jGj4b
z@1pq%fSp>Deh(jI)*gg6d>7>mve|%$(-Y(nf8-2|B!by+DQlQCDv@=MS-d_;)w8&_
zQoy@J1S+JxYKmUi;tP`mR7JD4#p`$9Wk1<^Lt8e2XaTlH47o8Ok0JDUy=Ef3Ez1xz
zw5s|zhd)%Pp=fU+3I_nAne;ADHC8ZD9_b14^*_*6C9JPhZ{yuX9n1Kd47>dE8ROSs
ze@0&TR?aM(?w24i)3*)w+c@i$TIA<>PrMgR-mONSOutkPWNG2*PeOD?kf965TGV|{
zVfajE;0hfaOR)RJmdvn7QA*$d*fhf5T7-Et*8B;jRPh8~lz*Kww}!YH_2-~qkz@=*
zo4BYrN~z?nhrXZi8-%##IBK!l!9~@>e`XmLm88%LIR8`hgtZkKlMFR@-!;9INXMtk
z+?WDi?aD#Yoa(}kOxv~9Xr?2DJYli+E0&MVan9u@1Q1;%+-Ql!GX#tYy~FP_!-E2h
z`t-Uf+LjrLCN)2*<fhCOei0nB4zqez65Jk<8TgS}M4*+&N2kE**rS(S?@^oaf0poU
z89y3{e$1iN46(<>8%>7?>WxGsy+)>Gb}z20phWf$vhO1DVF@IMUF#zA)pdT*uOAQ=
znD!Yxt@@%I#dY`Ql3Gj;pdjTX1!?+~-=OYO5<s8M@)0pMRZr+o8=b<vK|Z9$fijyC
zmOb)$;0+U5uR_ZYHAs$?xSxT)f3(O37zJVv<q!3ce6RtMngmem4%5Ov8)02WEI=(G
zj<W82=zZNGkPtbCh_22Bzzu=(*hrv+Nl8v1^>|&@!CL3C$fVe{Es0<B12hFm<xCz8
zm1b5sX%n+f)Tb|fuQqNEkXB(U`*AAsql}v!=B|h0doeHn27wvf@WE51e?5jUd8Y7s
z!&C?-V4oMmiud6=XWhFu!%JJv{HYvsnt7#K1fFyG$R+KLk*z_~od8l_SLuF|P(=kb
z^l}vuExVj7I{#LTdzFDOBkmlzcN?jzGdd%%<A;dyEcqS<t-QhOGB@YrwK}Nw(z8@V
z4R<_n#UoCUoxCY6rb1T9f1Ts?*HsS(aQr(LabJjg3{D-+sp~v~8@#F~&*xBQr-X3_
z2ZnDhX;IeSHG&>?;TqIFKPk7+%Y;EhTZ<R%4;tL7#_5!9gar6%XEx;y-w+{v5m?WC
zXD!`>x`Q36FPxDVgJfNbms^GNkVQ4)ul3O?J{xVg;nS4F+@~o=f2_z(JANw(IdkV_
zw17IMwP5BlyHD^R0rP-?xAwH#yOR8p&kid%GK{hI!Ft&xF2`YrgUd>1J@?^}_NWZ-
z6Si-*vti+JkANPVtCQ6Vlkei^I&<-oktZ~{lUM0;2#K4v4L0}KvL&S=E8+d<1n*3h
z<;!fSFjj8b`X=u;U-9ifjq3>K*c5Ad6o35imbEn+2XldLMlK@^g`>66CUbT2`r!x6
zRq?6ItufNH{C8)2(at_w-yp2RNbPCB{J0Q0VuuFk<tBbn2nyuS_OyW1=`aB6i}8N|
zvOU?6hyMBlxBmJB91$-wFflPPGcYtaEig4FFfb=63NKA>WJF<fWgsX-Ix;XZH!w3W
zF)=YSFf=zUFg2G+3<bXdIG54<0w_Z5J6Tg3Nz(8775!*p!>aq*a7+X~@c0{JFyJ)|
zL2NXl4cZYBBMFaZfBoiBl1gd`ki8rG@NI-uot>SPcV%TaWtVgf1&)7o0vfmpM4Vg|
zk_A~QR8gZf2~0&p&@VAa)Xr2ffhRQFB-9s7uaXI_V?vc2`Y%<<gU#?S1&33>O`w?q
z2~tYHf`U>3xk6b|gMZNqX+RN!&m4Lm&5+*O4u(jEAi)p-B19ztGnp`K8W;dQka}>4
z!but(0ddvnNr2EX;7WghY(xlHL&QKmg)^d$9j$;d*kb{w(H_uPD}%`a!O_a19KxZs
z9-^i(4mtw0Rv7#UzS3x)PGF2i^^JrOAtz<P*p7zi1Eh85#fy$O`SY%+#9@8ibi}LC
zaM}!~6R_ApRvvZ4Q8O9ck9*C8Qj$>n%~ijCIr>(e%L=2eyU~AuprE^;&_xG0j_cv1
zdhwzX$CWs$e)_2c?8m^DJcB#{g`!_q=Zez*s1m1VzgEWBu7%*sYIr{wTx>^Hf%b#Z
z`1r2wHI-rN0r(FG@WXmKZN@{$b-I1?ZTj|jT2C8T1BmE|JusLw-2*@A$Yguy(Uf68
zLLOuoaw25dTFf1Wfxymx=HeoC^9h)n1fvs94=(@F^s>BLcx2~~4#%V3aWk#XLFd<d
zl{jg>O{=*B)`!TOR*1a%PlU+pCxz&7vj2A>3bGxd_-_l5*c}c>Am*IPKkA9)AFnHF
z5nV^T9F4D<G0Bq`;%D(eyn-931sA9xSbd&c7q*MwyVg?a=xQi`Y%z9~u|RWte>nwy
z;(dSko7jEvg1C#_-n2g&ievHV=pFu^-At!<lfMda-JcHX%WkipbZ>jN^#sBUH)3+z
zpWaNwq|tS4|K6ME+s26LxM>8_i1(n%{kWNk_geq`-EcY{os5p}njX5fKfG_QP=RJ|
zG`^+O*#T3(&)Q&rySUqd>ox9=CUm33?WYUd(SO$5%faY!X6{k*rGc>antjOnalalw
zYW&%ZRf?{AclD((j}}>a+FDHirL~9~Ph7JWm)7XNW63RssuFkCU+%`&m(}^)1o680
z+V3?-Z(m*@tMi~C$`_q;7fl!Y5#NOd%E6+82E+qKd*6kBhQ*~WG%1i6x`I}ziya4H
zh=zDTy6A40!A2q_6dLaX@&Yc{+d%gL9>FXAT#8-T&!G>3_ND7f2v!^ZtdB6yNexo0
zamcfPbxNok&0xF+xiGo_x>-!vj0vE*nawTec{B#?h4u(xXXa0>4PdGF4!IFbBYF$`
z<lvg^;?bagU)X+^0**d)ZGIYLM9l(v!v^wEg7gC)DR>&8M`Ma$C<4rjVe4Rya}M<K
zQPPO^G2dkETt*(1Lc1e!a8i~KNzXbEC#P_RB_1Vgq$4lLjMb!%CjOTAF(#zN%mp=%
zhAcCbSH`1GSpvbH@C1V&L!lYN$ZZvR%81=7tFqO9v?nm7VLf&xZ-FU@7xx?)9@mm;
zY}JXfh-V~!^N7`fGa=`LpLw41E{}zhEG@uFgN%W!1%GPDU3jW6a+)X=tulxuu4@ZV
z9gUv(K>q?SBVFvFr9=`fkwK#5OsGbrz(z}H$*BVjKt1h91zcV!vM3C@_mt||E|PZB
zSh$RTQ?otJyl==wJW?tx${H;s9wTUw@>r&|E8;l&u?|@lEtt~5ND(QSQ&?b`r%@?u
z77b}Ihu|%4UI<E!U6BR!jHvZo(o=usB4;f^QFL<YY5Vzq#q0Zu*KCAdB0#>yq<Mp|
zk#sOPlg8jt8jtYyiklqJpg$$WW&P+iE<_7|t%G&A_I$uCFBn|BOc5nYN{VC<K68i7
zamGD>zF`RtuqMIJpt}b99NJ1_reQw(6gayKKdkFhM&^@8(lFZskyCl}P@qz_94iQ9
z1=Jm=BLOnW<2ttVoTxn74c$1}YBgdU<%UE|REe4oLzN1vkW0AvGwh|O5~wi;E#;<v
zHHat4F_Pr01r^1B^$Ooa(#)C?E-d3%*@!iUVmF60WWSktgs@Aw0F6t?m|(Ge$ukRj
z9*vfinOKR9L7VbZ@TSk!Fiaz6q{oJh$LO&-^Qaxg7e7V;<>rxBIIn)EB;|5|F>3N6
z(IkbDQPP-<X6DAwzC$GFR=Wg8TCO^Ok-3m;I**x#`Os72ETxU3V*Ze_PZ^m{=1dx9
zQ>3DTpyq|I93cs5Pejwb!9wX}z;H2*lQaEzzQL~1!5r8mV6Rm~5h87T%!y$tiY`&F
zN+};SEp*}vEdjc5NeyVfA^tLDV-`?p7RQNeQI1>z8`^)fO9)@&0<0XB?<1{$id@kO
zY98?o9r8|MUK^?{Sq8P)Yz)IRVkQPfuMt!mX$+(-k4r85V&0k&Um^HKfL{}W#Bc<!
z<`mH)uVfR|U&J$aqtyIG0D6}K3NVA#IM^a-hnBS8kS)vspK($K{fLH78E3CLtW(zB
zV@={Qzl_l<Q=+=(DBb9V=6^2(ZQHz;^ArV3f2`4O(=X31cw~*aH|5@td(v{0=vTJT
zQx}w9A^0ibjgfOc!Q;N;s3S}K!ay{6EVwbe#Es@M47*00-|*<UOj#-v<ii=fY@E}$
zu~8eAgTxJ+%9TBbm9R^}CNmflIZ`}xPR*m?)>)%7tfb|{PqAgkmh+<c%7&kUUN@88
zf4F})9gX?Z(1-dKzrP)v{Id7%FR%9Z-zg0b2KDu%vP|)kzIZ-2s(P+DLp*L37ag%X
z>EX9cXt+D#Rekq!)4#r%Vh7q0C<dQBSNQPVv>x<(yTj{20~kOYPn+AnL0#yG(>x1$
z0bp`dkMZNtGcoC3-_|><z+NAwsc6e@f8385bbPk=_T&G7LC42Rt~bbMgHnRfy0qCI
zyxnY%oLLiMVU4w=HM`=acqLwoH)2n`6+er2;=R}x2jWm1iDPjhK8e4H&*Dtf;!<3W
z>)vn8bkKa6&fqcf6g|-!4Msy4Z*OaHB^p7pMDzQ7JrG~S7yQ>3^zUmUzKrh2f8tu)
zh?_s}ZknO!i+_mU#6aANp&0gujTng$jCbM=zfhAnf>_vHGe&#y+8<qsyTScL{4RdK
zZzl99_4oVHw7I$*(6reN&m0T<a(dfmWhc#7kUbgHlN&J=(;NI|JpE%N?!{N}hxjJ`
z6#o?eY{sMIQ2T8{{qfDg+s}s_f9egn>otZNUxp*T<o<Z5{R5$1ALx%up~gV>%19P5
z+!()E^d1Y`#(<RpdNeGppu}y0^7{1T^X|_al(0T1F6Q-T(pEunPYH^V>w<y-!Ek(>
zhhjAlvk;);OOM~N+p@#vZd&qClG}Lb^TDt0U;RQJiW{=l%_^>^-tmXie>R3Eq%C^r
z7<_|Cx~b%>$<qEdr3EvzNW=cO4XL;$4U^u+$!900pZ3ql$uCbgZ3JPyv*At<<q!K=
znKBh!T<2(Z^UTRb`jw7dxb=x1C4aUTblZztZKemW_s`yOs=nLg#1v*u4B<z%)8|;j
zbGph0()Ey*ZXaCpZP~J|fA)@}gQL^4y=>Wr%_BwLJd||$M|O|GvIkm)H@PIWipy5z
z_jvc?>Fz1ob+##BI#tgTpL&6QF1UqR(A<4rKWF8}ey$#mM}Kg(Ue;sW@A_Zs0saY9
z44TP=_rKfz5O%HmA>{vfQV&Y|wcM(>zB=4J+&lTp{_*bq`rQYue|HX#StWFV)J0Td
zD$RG^FU*%4R=iCcEr;%{Mq)C4GPqi{YO88?^6S~Bqc>pH%l%DJb+BhxJZl86BUREx
zEwg^5OHWTQs|=_&rCA@A?buLH=6{i|2nmjPSx*}JlXUByW65kfc}52&_WI+=6y?GT
zd`G;mi<{5=tLe>ze@?w^Eq(O`VO4rqm9A7F9S>qH#K-N$uQsi#;?pDI)k1vK+lyaq
z&sM}IwS{=Oz4(>hXH~jsN!J^ttL>$?n}SsZ+`|f}R48D!SD>|@uF7vEAHFFU4v<Ci
z`R(PmcD+^kt?ct@Qvkwuto+s8X<0m;6<rZ8OX<=V(!=)Be^>T~RpG7V3#O2cH*?`>
zd*Q1kd{ufY^RQJ|NRNf|HHn93*(P|H?H>2B`QbA>(n@T9>0eE%bH!(cG@tD;e0In3
zc_GV4M<f^D!`<=mAwKC?@zJ@8m94l^R=j4ui#xxCR@}ehUmx<-@m1w}<-S{j%IBPv
zW<!+G`I_&of63SMm<+Q~Mm`!lJAawaem%qs_dA}fvu8PADRa=-1ANYK&Iua_nDgxQ
zsQ3JMT92nYkU2#8>_h#ve_i9(0ku<U)k4ahiZ|9JEYNbrU&3m@wrR~ym9jeGegC#U
zUD0Hjwxx6N)B>lr+HMEGMz+u%(QWFmgXg+i=!obxe|6fS!~HADFRQdn|A7AB9-UT2
zXo(`)Xz;Mgi?T#(M7OEI$0{${5)IlZr#7pvcUH(B(jNWnS}xM)XWv#7{Ty291bUjd
ziUck5YATQ*ZML-5YVLNHsUOfBG;}QmK|j~>BV>VZB{1Yb$hm$8Yq5*#M3?utMEqt|
zLHwMsf2Acqz~!V$mbj99iNHm)M1gA|mIzt~ro_++h^vatCC;ffC`Bt}i6JeLC84xF
zY=HsAP3bI3?_~^Swp*`O*jZ4mSBqAFU1CVdA4&}6eHkN8-cohWTUTNzW%XLcQ0km&
zy<(W!sbGg$U3vyIaHZOqm8E!)?#t(xi+-&#e`aS+vR)O;ShaR)noTVVRo+i>t<;<`
z^j}=)nm1GY?=5`Q57qKkPG#;nk?_C4@YUt3e<Tswismw{ReV&DVlwnsK%>=~ZtYbK
zZ@r`I4sW%KU7CHWbw0C?PxnVxjrcTa4(_Le{;-)4@_l{T3??sLh!6L-lXD5c;WM@K
zf74HjAPtZv$N*#rvH)3v96*jB50ED)02By{040JF@?(ZjMgV3;isUc@g_0CcR47YD
zhEbYgHVWnGtRhO(nJ3EBtfoS#I`c=lnpM>(SF?&5<zC=P?}NK$$S3P7HGc>E7ayRG
zoeE`cWOH<KWnpa!Wo~3|VrmL9GBY4Bm#-WJT2V$pLNP`$GDSBrFgZ9jFgZjsGB!3c
zH90XxIWjXjH!?mTJVrr6F-9>mMK>`pIXE^jIYcuuHa0RfIWa~#GBY_hGCo}jFHB`_
zXLM*FH8?ew(EI`^e<jk*Z;VkC$MJif^E~aeGu1&+I&G)zR9i}GRJBxFrb@lPl=0RU
zO@sv&HdeM`A^ri$S@91@NW`*1EG!#ABC!=qiHI2UJ>7hA?mhS3=gys92qCUSA=oNt
zglq^QsZ^<fT1Y`1G_W`wM9VJ%l~m_KMM8ALhe>tZ=vBl~fBn!0TbWac85Sk_y|S(z
zY9#u#z|giZOhFygLI${6I$hoN$=3}+FLMpR?bB-^E79NAe)4Kq0~?@8qJQ6f?*PMf
zupU~VSybnI+eX*~?T`~q?s}sY+Bje*RTtz%Q%}9y0iDnT1<}k)Z*;?E@Hglc&3^O-
z?~?Z4>lf-5e{EX!#x~dv{-Ht9=C9t^0Y%siL!!B7-q;1hTy2PIFN}!h@A&Wa^G0D0
zOu(3E;jQo82jftJNzuMmZ|sKya0sSE`&aIF5T@ZM92OmX?2Q>X0w>{^Xz`2Rz@Owe
zoM7nJJqxEqhky9q({KjLFe^Ix-W%uOJY0qgqGPYTe{m5miIzV5Z~?A}PJHlB`uokn
zJS@Uh(b=EA_!?Yi9htOhp67#a<B3fmk|fjTbN;X-(PGg>|5q)68X%`eij5>%O7zw}
zUy=s0Yb4P~q7hMR0`h0%&q${=1JN_0XDy<)-}x!k{5_iXs#SF9zE^Fce{Oo!E^$xM
ztGvYJO98JsB!2kBt4@iZKk%wc;-zt~3KD;R<5jmLq2v|mG$LgqKvayV7(uczASFgh
wjQH3j5D+6EMsjQl$c9ZzQa=+U$tB@G8nk~um(3pq9t$)$H8Tn&B}Gq03dRKeq5uE@

diff --git a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
index ae74bace..c7b60132 100755
--- a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
+++ b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
@@ -252,7 +252,7 @@ for receipt of the 3rd}}
 \item Specification fragment for a linear solver
 \begin{itemize}
 \item \structure{Given $A$ and $b$, solve the  linear system $A x = b$ for $x$, such that the error in any entry of
-$x$ is than 5 \%.}
+$x$ is less than 5 \%.}
 \end{itemize}
 \item What is a potential problems with this specification?
 \begin{itemize}
-- 
GitLab