From 810d6f47f102692abc73487c7490fa60237dd744 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Sun, 16 Aug 2026 15:27:56 +0200 Subject: [PATCH] paper form round: every defect from the socratic inspection fixed + check-paper.sh gate Triggered by the operator's hint (references flow into App A but a full break sits between B and C). Full-document inspection found and fixed: - ghost page 23 (~85% blank): the fossil \clearpage before Appendix C, placed under an older pagination, removed; appendix policy now DECLARED: the block starts on a fresh page, then flows with no internal breaks - claim matrix (the paper's honesty centerpiece): solid-set rows merged visually and narrow justified columns gaped (badness-10000 in every build log, never read) -- now ragged-right columns, 3pt row air, EUF-CMA/SHA-256 unbreakable - Figure 3 still drew the July 13-leaf snapshot in a v0.11 paper that narrates 19 leaves -- extended: leaves 13-18, August-2026 brace, dual-signed size-19 head box, pq-styled leaf 18 - ConsRec hyphenated as Con-sRec and set in serif vs sans elsewhere -> math-face identifiers in the mechanization table - 'tuple' stranded its last syllable as a whole line in Definition 1; 'timestamp' broke as times-tamp -> mbox + \hyphenation - thesis box hyphenated its showcase slogan -> ragged-right no-hyphen (first attempt justified+nohyphen was caught by the new gate itself) - Appendix E header caps + layer-cell caps + continuation row cleanup; related-work 3.4pt overfull removed - NEW check-paper.sh: fails on overfull>10pt, any badness-10000, ghost pages (<300 chars/page), missing version on title page, ?? refs; 4-check selftest; renders all pages for the mandatory eye pass All 25 pages re-rendered and flipped by eye. Gate green. Tests green. --- paper/.gitignore | 1 + paper/check-paper.sh | 76 ++++++++++++++++++++++++++++++++++++++ paper/ltl.pdf | Bin 216427 -> 219017 bytes paper/ltl.tex | 86 +++++++++++++++++++++++++++---------------- 4 files changed, 132 insertions(+), 31 deletions(-) create mode 100755 paper/check-paper.sh diff --git a/paper/.gitignore b/paper/.gitignore index 84a535d..ec8a94a 100644 --- a/paper/.gitignore +++ b/paper/.gitignore @@ -2,3 +2,4 @@ *.log *.out *.toc +rendered-pages/ diff --git a/paper/check-paper.sh b/paper/check-paper.sh new file mode 100755 index 0000000..755fd94 --- /dev/null +++ b/paper/check-paper.sh @@ -0,0 +1,76 @@ +#!/usr/bin/env bash +# check-paper.sh — the paper's form gate. +# +# Ports the book's check-book.sh lesson to the paper: the 2026-08-16 +# socratic round found a ghost page (a fossil \clearpage) and a solid-set +# claim matrix whose badness-10000 warnings had printed in EVERY build, +# unread. This gate makes both classes of defect fail the build instead +# of shipping silently. It cannot replace the render-and-look eye pass — +# it renders the pages so the eye pass has no excuse. +# +# Usage: ./check-paper.sh build + all gates + render pages +# ./check-paper.sh --selftest exercise the gate parsers on +# known-bad and known-good log lines +set -euo pipefail +cd "$(dirname "$0")" + +OVERFULL_LIMIT_PT=10 +MIN_PAGE_CHARS=300 # calibrated 2026-08-16: real minimum was 922 (claim-matrix page) +PAGES_DIR=rendered-pages + +fail() { echo "FAIL: $*" >&2; exit 1; } + +# --- gate parsers (pure text -> verdict; selftestable) ------------------- +overfull_violations() { # stdin: build log -> lines exceeding the limit + grep -i 'Overfull \\hbox' | grep -oP '\(\K[0-9.]+(?=pt too wide)' \ + | awk -v lim="$OVERFULL_LIMIT_PT" '$1 > lim' || true +} +badness_violations() { # stdin: build log -> badness-10000 underfull lines + grep -i 'Underfull \\hbox (badness 10000)' || true +} + +if [[ "${1:-}" == "--selftest" ]]; then + n=0 + t() { n=$((n+1)); [[ "$2" == "$3" ]] && echo "selftest $n ok: $1" || fail "selftest $n: $1 (got '$3', want '$2')"; } + t "80pt overfull trips" "80.05" \ + "$(echo 'warning: x.tex:1: Overfull \hbox (80.05pt too wide) in paragraph' | overfull_violations)" + t "3.4pt overfull passes" "" \ + "$(echo 'warning: x.tex:1: Overfull \hbox (3.374pt too wide) in paragraph' | overfull_violations)" + t "badness 10000 trips" "1" \ + "$(echo 'warning: x.tex:1: Underfull \hbox (badness 10000) in paragraph' | badness_violations | wc -l)" + t "badness 2913 passes" "0" \ + "$(echo 'warning: x.tex:1: Underfull \hbox (badness 2913) in paragraph' | badness_violations | wc -l)" + echo "selftest: $n/$n ok"; exit 0 +fi + +# --- 1. build ------------------------------------------------------------ +LOG=$(mktemp); trap 'rm -f "$LOG"' EXIT +tectonic ltl.tex 2>&1 | tee "$LOG" >/dev/null +grep -qi '^error' "$LOG" && fail "TeX errors in build log" + +# --- 2. overfull gate ---------------------------------------------------- +OV=$(overfull_violations <"$LOG") +[[ -z "$OV" ]] || fail "overfull hbox beyond ${OVERFULL_LIMIT_PT}pt: $OV" + +# --- 3. loose-typesetting gate (the ignored-warnings class) -------------- +BAD=$(badness_violations <"$LOG" | wc -l) +[[ "$BAD" -eq 0 ]] || fail "$BAD underfull badness-10000 lines (gappy table/paragraph)" + +# --- 4. ghost-page gate (the fossil-clearpage class) --------------------- +NPAGES=$(pdfinfo ltl.pdf | awk '/^Pages:/{print $2}') +for p in $(seq 1 $((NPAGES-1))); do + chars=$(pdftotext -f "$p" -l "$p" ltl.pdf - 2>/dev/null | tr -d '[:space:]' | wc -c) + [[ "$chars" -ge "$MIN_PAGE_CHARS" ]] || fail "page $p is mostly blank ($chars chars) — ghost page" +done + +# --- 5. content probes --------------------------------------------------- +VERSION=$(grep -oP '\\date\{[^}]*---\s*\Kv[0-9.]+' ltl.tex || true) +[[ -n "$VERSION" ]] || fail "cannot extract version from \\date{...} in ltl.tex" +pdftotext -f 1 -l 1 ltl.pdf - | grep -q "$VERSION" || fail "title page does not carry $VERSION" +! pdftotext ltl.pdf - | grep -q '??' || fail "unresolved ?? reference in PDF" + +# --- 6. render for the mandatory eye pass -------------------------------- +rm -rf "$PAGES_DIR"; mkdir -p "$PAGES_DIR" +pdftoppm -png -r 110 ltl.pdf "$PAGES_DIR/p" +echo "OK: $VERSION, $NPAGES pages, no overfull>${OVERFULL_LIMIT_PT}pt, no badness-10000, no ghost pages, no ?? refs." +echo "NOW LOOK: the render-and-look law is not automated. Flip every page in $PAGES_DIR/." diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 498b7a78929e567874c9f9700888e4bd6fa00331..1935968e111b527e96cd6ad9a93d494a58baef5e 100644 GIT binary patch delta 67101 zcmV)VK(D{+nhlAs4X}w00yr|0iw-scowLFYC zju>GSs%M3?dP6?WXNXYtS!i*3!Nr!`F)WoS9EPV#fH%VRRY8{a0BAM5PXt45qq~D> zyjhLt-mXXsA(L@Pv*zbtcj-%#cC;jXJ+7oZlH`z*AUVnyjdl!*TfDg@MBVYUi5;B|fx!Oy-9u+v(Q4Ak$$?rWj7AGy1_D3(4pj ztdj^ki%$kea33obvly9LT_^$&Z24;m4-g`BXw4if?xjQHSmy*9yUZj44v|l`Gu18} zAr_IIQ;aUF3S{yO*L^nnN(j3FVS9V-d5eFZ;w5{iJch|acTfvWf&hyaO5fiuS1ksp zZ6Yh9BwCg6>@isED@Y9@rLaIAi>>~pZ1_Y& z?%0|+rhw-Tp<_UJbCRGs7utDkE&JR0*9TFRvPCP)&+n*zTjojUKbz{A5Q{mjAvz_O zw89)3LI^KZGH}&kCIg3pN0oMdsiAc0=#o^O6LdNNpvy2oe0)I!@{7_X##P4hE zm{&o!PVs|UP-T>nEmevNhswo6q{mFI^Jc~n5uUZKCba{7cpV^IO3Ztt7$XgM7~PAg z284|yQfC=3`X=S@OMzaEQ#!2IN>+#&Us{PxQqM+p=Q^EAvQTzXs4imP^2aMn zHQDEeGD*?u)G-a;QdX+{&_iOrma?#sVkhbzxMCzso_du#RO_lq^=P}Y^ewm<&&NzEUH<-a|NTGBfNFgSM+!=7z-#Fv-^Jy7sdNNqy`%UDW<$Iu zOFSGzlUBlz#DC!>hTsw03(X8%WvAJSU2%6?#;T{Hw;8LD{;>pzd9}IqmVaYd8fQ`( z=`E#}Q=U>obrm^U;JKTtj^W7UQgN}o%@~~)|Ld{N&vi2wWKi&E5p{j)-o^Y6)z2z~ z;t;EYDJmcFpDP#smG&Y-#Gsggbri}o0%P-^j#-2sk$+8mNPJ05Cou!B4-LMM(B=Re zJb2G?TJH3UtU`c88K=Vv1ei=9JD6$j%11iT5Z#zG5$S`-cxCKQEM^IGlu#`!pt(_U z;}BFSjzzx@Q_0S|?ciAN4M{CBHT33Y#G`wG9_Y~I264Amv7&p@EFxXPH>%! zCwW9~xqnR$C;SUZXo%A5+65aw&VA{3FV7rjyaP*&;t7?KPL z8`S`GpOTXbUWPK$Y+boayR%b#JzNI6Lq&Ru;A;RAg^1s2KbbHLLe>JWK=D%p349Hz zzt_J;p`p>)_|&@5sw4+&5q2S1D|Nwl!n5qCHh;yjUD*v4aP`D+T(|^qJjA%o`8eyE z`0Wh=rRb35eUp9~F%PqwtKm3yn07Q~i7h{sSC0AVkiZ-B|99XB+cRtUVlBodf2b4; zh+0g;e5l2o-*7OzAGnu%md#P*WQWDUi!VuzED=_-JR)DE>uNBZJF{j*BCTdIZqs;%T)&();$RMN0#jc^(1+oaN0@!F()bFF}?nO@WpYS0w@7YgZ6T~i$qpsyS51Z!>} z&ohYC8YVk;XVFb>hOZjb$rRz!T8U)`N`FI#?4n4aMT=0b;l6BiAC8mBb9ih=i3&Ai zc`}c>@3B4^k(f$nljr%YN$_yw+%)j#NB1w7gb4=DhJLvf7Sv~oDx;l7@8qY3THO_d z?u*jus@2*a*)l_~VE!-hp{K*N zw_g2%I9I>i2cxU)sClGPn!Jws5GOb_hnwvpG?~YllI-X+`S9C{?u)prJFJxR4%R<0 z0?++Y8>}4tjz5`>H4ug&-mzdv9e-EDw3Z*IS(urLw|kaB4#o;-)I`okR2MK;;~~DB zgA8zGK0z0f174JFRVFhKj6G&;ZqEBIFS}>b`IjVgwh^hL^Z_(qSi8MTxQbtQu=fh` zTa$50k=F8@Z=!E3=Y}qSAC8rV$tm!CY1-?VUvK{N*t2Y(s7(bp<3 z^p@HuJ;TWRqPeG|NvHO}n2({J<_(j+zS=W-?DCh{w3D1q9jqml`%rT+cT(L+oPCDX zGp!sag8uQ9%9n8^%7hX`cmz@QB~|%h1Q%I%Us#$LZe!9Q>v1Of4;qJa(BzeygC;EF zZn8`~n_}7_!;92!4yPsHRW({ycTfzzp%~qkk&FB?qm_k07O@4bPGgkk-yp~`9GrXz zx0bob7*`jYsbu=H{5rd1SHfz-pl5<`@7Hv~)F78MnKep9~ zn$p`X{aK$%`l`4+*!zpP&t2k?eD(<*jqd@OFXfcvGahN%Z#7mH8@U$pAPP3Bj9>r9 z@nZyT4cMKDz^AmHf@qXYdMjyMH9iSL%bAqje_u{-UhIoaWMKlGSpdF#GrZ8LSfqVq zFarTs+9t`d?VLx^w9OL-2hl!5TbVvZE8jKA1Ch~3Mn{1L#I zNv*>Fw0#J0B(0peTm$&S$D< z2lvd*M)7Jb$wmVIdsmSxvdF{JJuR(c3G#ZT*(9q-*5#{WaklR_wMqC-Z9#9rClO-` zZhQO|+TO#zFY3SdyPtie4Z=&4(soi#M5RN(@!xN`Ywo*AVN!J4|83Ze--u+(|EcYV z_sb@egi_MzObir?Lp5C6N^cwy>NvX}lNk?d~R>JzB;R0Wzhm$d;c5|w9 z^|E|x^uyP0e!HE#kTEFS86}c)@LQQ$J;H1_^)t=lY#HrTC5BU)KwsmenTV`ikys(} zuWw*uj(20dyIaRKe`$XP0Bfulv8QYBk$pNWx}9F-U%5b>*(>97tGr>hVOuelUwF{%uTw_7+1rd#rfI@5%uvq1Io0HH_`f9;jbFiSQ zx?1qw3fLDUF)=#Ol#Gp@bJW@%2mV_#3Uvahj7D14Y!c{SaLO=3ysfg7CvB~b{|`fR zTPh>ewq&)ZRau6$7PkJe$^sC~f|W*wz(s-_`diw94%cTJG-wNoIcbY|F75*Y9-V*A zS)?mo8~emF1x1?0D}?mWRoM$UmV)$P)y{dpkB(+#CGXSyU5lDp6lR`lKV5#$gckjp zif8U3LB&rC1_d|)sW3|cCxY7#Au$KKrg_4Y)PW16Z z>wKc#G~0=$)2@d;Xt!7TiY4=1Pd zu0{e7#4he_&cIMn&fkf7wY_>3sG2V1owD zYBDle2T*PcyJA5~xW4AR0}JeByDwTC1YRJ?riVX9blfb9prgj}y(g~*#>uK;*6}w# zVGwdz-1~CFUq(=lgLF+F={N8$tkl}owH?T<1AJ|~y<=_u>e{ZsjoM@K6@<(*uF?1r z^c<{B!ogb?Q(fCq<;tD$|5eFGWndH^n(~ihF^G^8#W^d9ykM z5@^p7-G1QHR=-RMJVM?a8 zCemK`Dr7Bor9iYKNl#j_P;qW+b3GLxjw-Jk97YlHyZMet}N zgoUxMPY}1i`ZfND4Abgq{~(0+DUsLs_jiB&;@!t17z2n@;cd+XA@wyV_t|&fAq%hG zeSA8a)@B>7@0#{^Km6%`-~Hy}|UJpSbfb86v&SLBf!vP&~&OMp&6Nz9DdP|t$w zaW#ae1eNk{C8#OEX}P#*--LQ+#L688;1twkzRS4lS4Tz5vrBHh_nO0v-M-)TNT$KP?LSG=F-kLl<8Rzh7IGOq62N7Q0?p6?7Flr$&iKuab zF}=8ntvv>K))KrptK_-E+;_+wmcCax9cfH?(>_1j%$_=>vCOtrSz-7#aSA>A%U3;T zf1`usoEhCyGW`~yuglyILyZj>KlykE47E0c>B}011}Th@#w=kd?nA3wek!;Gc+1n=(!qhQpN1}MAVO}h067Gplk&1C-c zQsJ_yC8?kKCQ(gmnalcma(<*m@u_V&e+l~{rLFcJ7H1$5-`RVz&@BgBS>%gh^2}VC zQ7zi6OprC8b1ufI8>2GfnmsN(Ru;F0X5a)hrNEV$yaB&U2)qG?0%D$7zWO=e@11-ObkHE!5*40oZZVph&MLzu-6zoM-m7elo3mV-@q7?eg2 zVx&f6$vqHYEkKeb6f^yL_eNC=s?AK_M+QzW%j^CM0XfBX={G>-YLUwsOS}ua3B=QQ zj>xyOky-d+C7@Nw^Ks$}d(Y^E1GO^xHaO*UICOAIO&U;IIHD;nvri%It211&zD_1y zTQf!7LuxN|M?bD`)V*p|lXXWAf5iR4b>sKI*Rcx%)Jr^K2j2m~p zOCV2hUT6kwSdXV(jzpQ^Y~563(P*KNX=SRn(m178{N(^@#? zTv**%Wh6;Tdo8>yJ(~cvPaOABeN{Za;GQaYzA+)(gR6Bv46JvLXFg}I8d}s=VfPxS z#(Y(U#N+M^D?9WXFAC}&a>YQnmw{Z-7I1Pq5HCQ3`nKrgq_E-w0^41QmmX@|C<0ye^<|ydp#|{QT{448+}x<(>7b>R(sZx2m9Ky{MB$wIX9Ts zBg-z4xh-{o{lW~}>6CH%Mci`?%f=dze*x9d|Hs$d6R>BTUjk?;XrOc>+iKBMQ^X zD0=ci7`C)F@BB1IUbJ+bmhaj#XnUfY-IgbXz(z3}LSmkSk4q;;e+Qn`OTq~CY<{YK z!yJ|tMJB!jB3j7$1zCZsGfXcdrjiG_3YmG%fgoB5^VCnaTU8CB`Vj|T=)crFStGe@ zUiKAyHV0L6nBjS`M5JC+17~;Dm8GSX$*}8Z+H2a+4D&Fdkwbp3_#bXqJ!38JwIPuD z{TKcBAJ!F@);JN9f5Eq(PU7pZq}!3A-$xNnFDl)nw5(GR3-_#^9{kSr!&a-wno@bf z*rTUhq{>!mgr>DuOM>WpHkawjK=XbrU7^+RsDA`6WNgcf{b};}Y>9%o$ ze6;-;pxff<^dRf4pn+?GZ^3f&k@6@jYP!VnqIR{_hi!g3e{Qb;IQb?u{trcJJUC3? zDF+{F@(0C}H=!%&?h zyFSu8LT7n(@0`lxN$~X(zml*q2inuiSleqxR^{FQ&dR=)dkmiW!-e?|8Ld=YqTQNmS3HY*bT?2F&%Rfy1%Fsen83!xR_XEGAJ;{6$_l_3GW8PW zqo>rW9Yf1B(?O4`BnR6^anv{5i4SnHx_uSSi;IX`Z#)jRL4yUCaMDyR`t4EGx(m^; zi~Pn2d8>K(ygr?-(~ZTaoYw6S8)cTP3=DGH!O79Le}lo3FMRCL2Jg$+DSW6#RmKGz z9a{_Ku&P{rroJz)g5`8Oy>KWMM`gd(3XpbBMdOzD=o!8f|c;e&J?D%aL~x(*EnkT8b`j! zD%03qe>`L4Zb#JJ@013Zxe(#TxgG}W-_@L~%`x92f8}#)J2YR)nD-o?exb`Kng9Kw zB|EYPlowCOI{V#0)!f=mD6)R^lyh-ZEZbVg8ys^!5;F<`c*NH?lDwH6Tr#bbSCg)v zKbiA9R$ume>)Bnx-VHC^FUWqvw+Z;7(+lvw4kk6IK2PxFKm83jX#xC~VZ{Lxvm8v# z4}Ug3J_>Vma%Ev{3V7PhTT7GMIT63}DSVt9td&~t#5)HHb}6bju$9{;hd9nG)Ixwg zWxqYGN9!$*Jq3iMT(mUvs|BHi#gEgKx=dC_`{5wAT318pm*H7jB zw{H*Md?yYi|QwQY#wD|;1Opi z{G>jGLAa#G*Eu}Zr^=9o@QMt4^PN5j&OGLSQL=trLOW`r5ol%9F3l+C-jtasy?6x`af8SydE zg{QKY4~hS{@~Cf< zf&94HDh4JD(qf7=lN&_OLpKQikSv;SrH59JQfbF#t9~8cY)pJcf5q9VLOItS0yAia$N1>{n{2J-#7tFYXcU;)5&=feX{wp#1E-9_owM>GQ?yf}h z{#ii_hHy~93sT9~h79*;XNrGl%U&zo<`Dm8a42nouj>^N_;^y zKRB=+H>)(F!RnNkjek=ri}eR!wmS;RwDNGTwcRAfUARVQEtPv=LjT{vmPu&c=Dv=w zVl3n#7QWu4H^FpRenbxgS;IJBTxcAA7e2s(Q_qAg#Sn_9uPvI5qcM)m!Cmrry{A>P zUP;L_Esf{~s%*E?4ayQ)Jr{PQMEP1JV&%?3d5SwW)cLvKOMi9$F4_R&N)Rj8%afDa`@uR>pF z!~UsJVeQkjs*X=`8!GB0wxJTfAKOrIEXiG-DG6r&Gu5CQQz(O@PFZN;afb5#;rsge zm)x!!Z54BvLAI`(J`B5-jN|2Mold}5p=X9)_-nI{GM;OkR;~7m^Lmdzrc0&8-P8@m4&p#4T6yS7tIyNg##d%45vTIl7Bb9fzZy(c44~ zdVg?Ex=>~n8I*BTWT2-(w;>+{Kh+#gv)lrukiZk|F(@Z0lmfzwY^v(22RVtBYrHRN zH+xV%b|`dnO7UY0LNFmDf%N7`fuKjEcdim@p-J-ab+R&8Oknj~2}d#8bRrZ_Q9h+- z<#ebyEuxc_h&F;sWCb=-h5i^@n zJhQhbj%iy|*QGHfl*^D_wo)a`(T*6H!;C$s^EoP5qDb#2{#SAVL zH%VTL)%IJk(ITHxoo3isz#rA<+>f9}L>Op)syZllN7?a7*_Y?aL4GnM*1DU0Vhy99ldM|aFUhEX zgwn#9=vF_apq$IWwZB1vs*0mEh$lJo9Dga&qJVEQbWGA-&w1WfaYYqIo0WglwhA)j zIx99$$Yx?clm#~dDvcil6w#w^=2WXv%CJPSV(sKS#)tv;Bx-l!o~25tA=f&PY2sT6 zF}Bj0LUI$vn#>Rj^B_P8W6Tl!G+R)A5x*Zv7sh;9tYb5RnM`f!g9^TknOzc$PpF05 zmdE**O?oVeVJN=y3aT}bHRnZ5zHJ#daHbixiHUA?ry$}OS-xS-m5ZD^dy7gl$E`+a zs<>cSCaBU{)TO<5LyJ*+W|fzArURwO4seD_fprRvYJO3RR2YV4=>5FD6gRbhNI^1( z%2^Q5rWDaf!8KD(gP$T_>%65>FAl|L6r|!O%0X1Uw|RB!O^#NWC=hLET3rOI6DMQn zsHll<^pR(!^#VHSRYPkvefOy(EG19dNC09nl87G-}dK z#Gx1JRN5hU*QfXHPHNNod!#{sEx<~ZVi)O%@?GB}wpU`stos~yJ+u%tt#++U)i;+P zabzsZMdPQ}wt1~jmn*|8utv$7@~ZZ}BupU+}s?;))MifoJKC4kWFICXAx4pNwyT3K&>sk|Ca2KIZ*XmvJTaRgo@U<|J811icw>{>* z+kH!LyYX-ilM(}=og5G6KJ>Tip}K>j!m||jdhFN4C(%r(ytyo{o!@m(r-zi)b3!rV zw&OWHN;L)K5ipf7O*n&p3?>?jfkqRpvlpk)W&(ROS4>BHW`By3e;xZ@@ep0eBB7i5 zb8(ct)H97LyQ{sPC?z#V;q_76bav|Wtr^5k#^lV{k+~F#1BSWwS0|=W?^N&1`fxH= zSX`|B*utsn&6PMhYT8>08P1HgP z&%b`&UBv+g+B>tl#QV#71w{Au$^!O=10cx&D`zle5!KYTZKuu1aD>;+X_1U=?&mZN^IF;0FipRfUQ8u8 z?sSZl>DSdsLHdPKd8N`e7}|bGIj2k%8xV$N&Jx-r0~`@;l{pINE{k!Vg&-tfXfea| z(pme?a_T9&{V+qLyRK#pV5+;CwL6aQlT(X--=<8FHh5_;8ay>Q`F_n9 z?!zU=au@1O&5YBpUd4MxJEcL;7K$6-N>G*7n9KL3Utz;N>2U80!u3mShrePej!SoE z8dbyW9r$je+m$)>kWa&Pa4)H_98l;}3U z#p+V7vHA@m0w7$n4#TjRgMun|}iYnW{}qvzux5zkfC~IWRsx3UhRF zWnpa!c-q}vOOGVCk-qP*sH22MrTKmUg*j-k*22I7D|v2$4%5@qG8Q8X_8Rct-w2ZN zATz7F+tS!I<8iC2qB4WQV0`f+v-EKOq@E*=p!?xcJ*cQr%2)DWCFYN=o(g z^XYV6X&-@R&1RFgo{48`Hxr|Cr?lA`k|M;-)Bu;hKPlpws2?XP-%R|^JOGKol=mX; zS;@A)b;o`$1@PL*`%%&8#&z1OZh+69rU@xUesel~Hk;nz7JiOw-kyH8Y>a(xOmOg1;640yPwkff ze9Mx4cSH7LU4MKx{tb=3z_PvDyvZ(V)3#x=#a3zv?W(12&@z|1uxHR) zw84D>bB^vaG3OZJg)Ls2v(H;_DHLtbK5gD5<79l2MM7C;vuWg5D+Ny;}cM@y13Kl?HHA||k zIzuK`Q-4)fUCfptxf81vf|87hN-(C48<{t;-s!4awM^(PtU5s^WW4_*R{icytlHxp z`0KB2Hr7CZh3WX{D*Sf2fb8FY``W9maU0A_xo%j<;CVAf%$bJQP!K`qG~91CSd}tZ6Mr@^g_tEH5{k~In5wfWCi1<5zp!8R z)d3;1x(h&*fI2Nb7tf)yGawl(JXUN0OdajOIj9J~ZzwtbtecN1rGL`s&2sj{zg`8F zu_(a;EYCT;_X$Q^faM+pPz_*@pAo2B++2xiiZIq>DC>-yP-RVm8m<;)UlFd#Srvms zn176yh*K>fRK9tzSMVSyCUCL96Sy3#O-U-ySeJ2{Rw@ETnMxI+PNfPF`QE`_*sppU zg@H`$J}LuKpdvS6Ep_h-UggV$S14Qb#@Pv89xjC`r3qfHLZunJ!j~%>gmDm^jgSbF z{StAmwVBE{6MumS%P|3rMVXy9Gk$=uc$Wp;HRQM8#mXN7hKqk_?Jb*LTSS_r+;=I z=!yXp3w2%34|5E6h_3MEqN{>cfdx(A$_Ywuh#V8Ra)k2RM+L4Npb!PWE;dMn$$W`8 z;Y+A|Gx1jlAvq?1k;D_eDzLFthdNu~70^^aS}0mTrfT_^$oJ9!!hg}+fS1hdKJb+@ z=ry=|j$Yn>vG{VfY%X~flfW8a9)FvKa>Gvms}&0VVzq@8sQ8nS9Eu5({St8km{9p< z;?IUDa%g~w$QohJLVlToj&{z$Ok+~LL`6{&3RMXxM7oy;VE#MZ4T#Cy?gC=YSk!EB zcMP%c;md_suv;`G&Jc4R3VQFHh8QRrih7roi8;vat4RzoAxs8L#PejqOn>E@iNC@K z$uU8UMV=rQ+?Gr=s)gu+hYPK0Q7Vd-kf~ZgCi1;Bfbd^+*CD3nb{`OP0W|BwT|f+M zv6NuHqj4yr=gb(^^M8QD_ppLBXh*-E^IGQZirZ?gj#ou9~CsHM~u zWr!?98vdk5KpFgw<@1SU-dga;rcN-cm>ZQaH9eZ;K~R?f*G$jGQYTw%gvpGFIN?mF z8U&5MLJG+-9g-u7r+-6o)J%l441j>q{4?HndA9!LS-%A4s|3z~HW-_z; zfEg&!TI27eAgj@(LzwY_jsTdAE6kGVfh?E~xm5elX9YDMwp!zK3f0?|BF+6pZ!t@9 zsuDqSEXhcJQ3#7Acj9?5_i>6382Z@Ne+S1qu0c(Xczn4~gIPP6z|;rvzJgNn+-mebgK1?| zks!sID6K{zOr}i432Q=CH+TLDEhNW;H5PdSTdbfx6ZP#06B?I-I*iK{Eg@62fK22g zz%+my5?*yT(0?X#yAQPavc+0Mz4OQ>M?St>xD~sFf-9immK;hlw;g@5U|d#}D`=5E zRB1a3VKL@TJTKNfsC+Z=S9l>gCb+T46Wj`(H;q=`UOeu_swapPMN7z3Eg%#5UK&97 zueuv>leygo+(5ICiko|fn;ieR3%Grn?g%*Styt^kM}I&{fC?&<>1n-Yfd)%oF*qNEDpVbkI4_BFv3s6(=uf><-C^*KQ_ zs%-V6bAQdMT$Hp*2$RVY@jTfqQz2Vnj?-E~x{x!nb-P>tyQ;}XO$ESd4UV@XrGtt{8JNesqIH`Cx8w#jBp<+g|75 zwhm03Sb{h9P{xNvrVLIRN{vONj0d>=M8@;779e5O)R6|3?_O)vFI$#Rc*M_w)ux2) zmf7I1)~;7R8d=kert>QSGj^D+0Oq&R=&y$ooc8AVbQdA8lB%{|3lS#pXq<`7) z%9gD0akgAM>*l-1SC)%s;$kjNUyKLmLNvJd%@9FaaX!sp!b3a&TU)0qp^Qvr0!}-l zWWzLg+bo7z_#Se!ObL(T%mD@uJ=o}LQd37-bUo_40#2VWDp-8_I$)svd|>kKUksBM zR#3Q+S$r@vP!v@I1$XD1$w>pnReyMuXS1vjid@JGQm|F)O*U&5h0n1^7pA-?fq+1o z(<8HGNLClDV5bM-1fD8Vm*NAqe&*<5dL=9}h4wt5$%{-_Aw-+3<`D2XEl5r@RFDRF zVMwozJTF|HPuY;pTL#_72CAG9FaN}v{e{4?4{uz(ba44mmSbI!Dgw>7cz=Y4_xkVA zO}hrV-$>`TU{{mLrTxak*;t7tC^%3-&wT7Ej8J2Nvej=Hk9)Vs1PQVADJg2p)a+J$ z#3nRREuOrJHsZG!RETgsI4`K`Us|00 zisTQ1cP`*00|xtop5tfrm1qqn@l?T9a06@tNyMYcP<`v-+jW41NB;hZv-b!PEXnCq z9hT+p{hMZ9^a8?03KSW`7b895C?1#xOsB z)yMX30Q6nw?P~`uIPvi_7)}#Dx35yD?J)-nD<7k!mPG3>JdUG+rS}|;)u1Qr?YQ#+ zH@f;ypY9kQ_^a{pQKFQL?bG?{-@iVP5x+kzr6@CoAwmY$A4VhOL#J6zn}34_NNDx2 zMc|~2MZHRK@jFN|?tkuM)%uZQQM(7M>TK}SfWD`=_T4e+MgL@QFr7!hiV$P~CO@2h z#7z${YIFME6F$aheIxt~ZvdmAB{2^C2Smb(YJ(_^XOQq3yM>UzV&AuSXL|dQFFw=N zgV%X5Q{%h`G=GCi*y|!d79NaClP)}(PXL=}UnYj93=b7jA%AMOtP4Cy8<$`7PY&4J zsY2lYe;zM}`@qZ@O7K#et-=_lWkulNp_0I^Uw@1%336J5HNzp4a_OLT+{Zg&903Fn zNZp=uD&&BOTMT^+=Ld2Tr4RTi#(BhT`x=~qU)<~>2hu(>^D$wciLV=O4*BC1;ILfA zul-BCk>5GIX@5R!Y@wY2m~HlNio48T!82PGk_SqB97Gn&Jgnw6eidc_~5_sGpb?INI)WVl> zBg_$x7)BVQ7%8H*2zNzrT12M+!qL<8N%X5x;I?l>@sjMaS(Qhb$_uQiuR=d+2ubq$ zX}8$y*7M3Xv8)SnEW4@I@#RxZyN{&vqN!+2iDat0?tEQsC$z?AZs4q`rw;Wzb~?!= zGo<-;tA7|ud?GE?14Q&u#!lY#89fOOS^JNA$;&@vi{+{<4w;)b*~?t!EfjNz#wVSE z-AE$F6=HN_ja*-|obU=a{4DGIsr$Q;1$~$k!o=fF-m6hwo@a5onJHmxI;9z1O*PSa z#yi{j?YCTS2eXPvlP~4!F7B;`HTEfy1J4%~Hh$`ma}}mNNG5yx&i5>|j5qo9v*ZGPuLNGC;Q&np?zV7(;tZ$3f^?n9IkGi9*o} zT+s-OyD+x8qJG_tq@67c zS%3MnKIZcZ)ZlSrE^t>4tIxyhpCzYb(v3 z6pCP5cFE0crG=f+;!TG;T%PTp;rldban!Wl6YqG%F|Q_rwC?OkqS;vwUbeY=6AvZs zDQEAr22l6y`)`d@D>r)EMitt`!E)KHl6j(Q;Dy?jF_|=xx`i*B863t1E>0tA7u; zp1kDE_&SMd4JXw>tK^&a~*y; zN_)fuyX~c#G##bv(T_4fH2Ss;6MKe+nI%HHB~*TNl%M)%%}s=%fbklyXMX?$=@Qcz zjiPLDZ`C+t$VREYlz1BvUiW-P(h;C{D~n` zR%Y$QtXuWzUYl7u_HXj8t-ev^ib~TFYEFt6r+PaqNe;8WaeOy^GIvQHv_tRHM#Z$1 zb1Hh8b)tE3e*}(Jinan@w|@uc>lYKh?(7~_II6V!PUUJF4V`?XRuMsYQJAy^?d+8r zyvD&7`XP#j7{}(KLSGxzPos+KVduVUPVV?W&W?O?M{b%kCD8qBn_k8?sfQ(dX8~t> zP!XqHAq&W&d7Vx^(#TQ@$Vi)_{X~|=zsXpX7IOt5EmN9 zT60D?YQ@no+j)Z=8e`e0lAc4~o<5EJrZo2&d`?^T-e$GG)y4*!fXTG}&pU$68*fyS zN}cUot`q`Umb~8yChDzPz2*jc+IcuB(6uvLGPZiEX6;ez!csrTgUs-b`>2lJJ@QW9 zpkRj7UmfLC{gYjq-hWyOQ^Mb_)A19negPOXuJnjn}6GTrCB09Yo+$XWm$c& zE)BfW7#f>P^>SNUPAD)$%cj%NO22<_4vfWXv}zJs87@KA1)uO>VfK9Wi*WHZO`E!2cbuWrUp@U9-cZG=5EPPGTf>Yk_YMhyb zeU#dV>vJ9!B0MeXRY6{2>V3R$kt=ken9OZ&D5YakIk5M6%}P4uN-t~n_ry)wNAlbX z#gpb5pNOxPSm3}9h@C^^CZcLMab2kQl08>>k8||$s((SlR$e%-rQ-v$a>PQ ze+&CT6v~mRt>pGygMXLo zJyblu69OI%3IU%H!$-h``tkHfIXR;{A&mh(QEKq{ff&6iM|AM5m&vQ)gElc%E2qO$ zaqw(>koFTN!cX(UjD^MRLXX7?4}*DsujBO@8-G$w+a24sZQJwTnU}c_^;}Q2tJePZS_N66&pJ?C|1R6*!1{>|gxxo> z-jG#+qU(8&)&Kqk?f^Z2R8ZPmPOK_739n(U=uh%m6U@cRz!1%fn3GM})6UM3*e}<$73ywp$1)zh?^HwUBokHZlk(+dZJO4L z1+a@ZR@$9TULU6uLnhOKPTi4#9^L?~p$&oH{EM*{=SqUFfBGG0kskm%G4y7Dg}1^= zzn`k!K=0Bgb>Ct45S~+eQUYD!8iR$RLGZ*Lb}<+6Fzmtx5=OD%J^T}{~3nHb-fr(;Qo z=_vel>}Y3Ucx%%{>};t3lh&T^6-RsNKA?{j>Ee5zVYc41u6{9U?fvGHb+HAPb=^Sg zIiSP1!pFbDDlp2}Yy^IZ=v+dDdv8FE z^WB-;am}JU+uX_qyV~N~SY;A~sPeu2%l+pq1u=1FpQXH<`AbI1B6257M(r7ei>8w! z5SxWkC26e<$`QM(xQSpaFH4*!)x~4=SThU1=+}6G`kWh-9=g9DLQ&EE4u>+zx8?5h zl|aWmrd92yeYPU5+Z6-E>+{#cE2fU`v+IwT?z_-7@B`RhTy2#)rvQrji;XEBnHUSvvD1Bck=`h;n(FDWW+RWR@$nyis&(FwA>dud*eiMI! z^ZLld$x9@E6+m2H56Fr~K|Y&0^U|ZAe6L20`S4?3%b-P_OxUOGmjrx?1I}MW!q5vW z=_fV3d_HIAyz*`yGEMK_$e(a@{JG5`Ov-QNB}W7a`q>Eo`44BWQN6AJeZFN%mUNrA z6QpU>wDew_sK;~{uj63kJ9npUDbn%%nx<$mul_qnkZ0XZTv>901-R@JDA% zX|9I0Emcpr)@fnq%GM_*LDucbm7zc2`OWp!)(~A+z}h|Dl$y%(F655itQC$>>VM^o z;DQb=WNwoSS!3v9qGSp@g@{|zRQy+a0p%k^9Bit2yAYhBtj z;#_TR1Lt0y0*#Ix8(a1jvB8jk{ zSCg+#t^d8Ok$YR&T`rU!L2^-|=UZOID>;Tdf$kCt&fO!UTI5sS3(8O9pF=9IW533c zo!C0&&k4~zkEKm{WS#>5iuyN2$WwTPsu_9%pJKL)Z$!)uqvEqVVf6X4!o>%gBgv=f zXcKoRA3KakTnnP8qeb39X8&fj%jAjdL{%D7#HrBCF>+#~D2Y{&~bNt49q| z1rF`$YUJ~zEB^Z>X=w~)(X^-J=tS^pg0`jW$Z*PU7&zCk|vVcUPG~%5+}zj?@?H{<|WNr}VlTk6i9--i@P| z47g+$cJHu%Ri3#mosqe{yEqC54XjW70qWUs+PD?a=gw9PP~guWrOH4?N;EBty}jn9 z_UQWcj}Gb1$Mc#9rW*&eh>jZT#^~S;F0Pt6Kl-%$>2S zD)Kzke(DRFKmwBYWamNywv3=6muG6}1&xYtr` zJk^uzJDIcFaU6ki76F1qPstF6bx0RZp9ZAWcbEbCDfb}YbkiiwLI3gQ>x=I=fM<)v?S!139*7{g8mrJ;4ZU z5Z@@)bAUR|r@k2zsq{#U` z2Q2|p_l0qqc+Dw*ypvN#@Dd+yxD4$Sbx~pyPoh;dV)SUj_&E(sgut}4#%xK+TK@B^ z+e|YPj62`PG(>a>$i|%&=$r0hUD_EP@w>fs5x4(lJB!Sno32b~J+=abD+(q*1V`ZW zL_c@Ej?q$ISvE5UOk7&;HD7U~I;BTD#iDAoQSpl%h8QP5-?L40#P%CD9$ z^?w?!i6eYdzL4$Pjr^<`5 z&)So>`NRD-VC)bCein;k4cX#bQu0Vo6k{Y>p&Epw5JmUQ0|+XINxv`tQ22!8c#opKf#l&^Lj{~oSdJxktWN~xvnuY{ z!gaQP2u6f6{5uW*O1-L@*oOTLAq<_|b(dd!wvF%d0=hbudOacku4m`(CtfZu#!9K7 zO=!=0_)ONPOn1&1&K$L(O>HUBB=3F*a4`!{l=>#f?kv>davMDY zK^HnGbNcAyjtGRM2`p!|&C;vG(6qN>T}|#c_|wq_r0k+X(x!vawzfkwhT^W z+@-%buWUm%rU1V*>_*3~s&!SwUgEPsVxA*p5`$0)i<6QGLmGnAL;Hmc8Wln6__6sO zgkzc1WI!1${+960*&Oi|gdPAVQqiQ*ooGjz2qfyAw`ENl&FXTa6kAQM6;pPKzVp5)>^X*#R<)XN0L3wU5FGf;SgPIn*_A`i+t z_iv-tjN+eBMn#Njevzv*l$&v-;i~?_3p~uow?4K)2R%QYptuk{cb>NiGeiVX`|IH~79LHP$ezq2+61t1nZ zUNhV}R5j}+Wb>s1PR*{h75$zniD$zg!7FItu-`Oa=JSh!z4rI6=#^*$XZS(on6G-& zV){-16JVYx%6L`-xQ35+MA{euV6|oC<|{+4D4$Pwk_pN&d=Kk$PNnaSUEre1ss!A+2eT{ z%$)qT#;rYRv9V#-R~~$ds8XL~Y-~Lqsf3m>tsdo9!LGpHVly8HV0A90UAC&4RO^0p zaOmqV#&QSl*a5n!sSeRJ%;4=GS-~|$*XwM79L(ia!{Hs6@n0%C5H6}j-No2AoW#7B z-Ih-$-sc5f5nC0tP?C8YqTtj$1o3?)N+CssnR!PE@(v44uf*JI=kPA zN((o7IdFx=cM~Mz)qEGJxU!&lzz0psb*JBom8!31h$3wS&TDyAR}9!=wul7FT#qfTbFF-d2{ObA=lKM?ggaj*^yUy-69R8QSU$fU5&I9RXe_V^WUsfFV#JzAz*>eZ3 z6CYzO{9uW4)e`1mtLg&YdC?g)23}44`xp_exuc=EVe~T~83bfwtukOJFE7(( z?)tBFVfA{H0tUV}_r}TNKowS=664R8W{hoIY@{7xFHC*-3BCa-V?&I)0Vrc$Ong12 zqddJM^&o=fSW8iia(T;Aom(Kh1pC>4$#p`E-t&6-b)8E@Vr=T1K-~xbEM8Rh5X4ZX zy^a<#L*p7Qy4uLjWpOkrQ&11v8McAe)l8SolH^XgM0AjuNY|cNps&c}CPEbO@5mhg zon~#sQJ|2E=`k?OIko3|75MYgEyFT2&~a*$(hLp-!kN(g3^5|1n=_6lW!|NM>HqP9 zRODP#ZL4RlJG+xpAo(#sPS_txVzY0(BZMiGTL0iLwtv}uCpAlTJ>QQM7fnYSMoQg0 zrcX@KQTDgRZmWPEaFlBiY%7Y(-6zQ7E8mgg9v*c)!;vd9%;me5DR${Dlf-rwF7Dma z-rH(UKda>~_{am}za8?{N5X~0-`AJ&kKf79&*Q=KNKad)+D45V`oY!6 zLkWj<@?0w-LgpIKeYTY_7U)9*(L;Uoh#CCI<*&?M()0NvLhbzX&NyA9FYC4c@;Oyv z|E`XAvcD3h;#mUYnanC)tbc7Qsz)uFg{Y8mlg}?j`c*jHkAI7o^E_2bb#cu}0-T=V zoz=2EX_Z2a!=K+pV;40`=b?m0=}Q{&#N4@ zH>0=A&;MrW6ekp;ZMJM!SSI^8dF=m8t7(FhQ%&`ZmXgisBhf}%YGG#|1zfKtW~sv9 zEnl0Un3e(^RBv2QinuJRzR9Qu(C^y@M<^ytd2{M=uq>XQb;db(?>jNDuYn%Ee>v@4%38Bsl_=^g+WVp*QHX+a2j)WeN zT1*?MHe%y_HxF`BGL)Cv?PR?}dlpj9p)BX}0CbQ`x1^(r)t}Y{TUK=+=rPxM8 zi5wuMbv`S@qy7=|*cL>G+$Y#8BvDv5naqMTNSY(uHYHSY$4Ce8)@ ztlc79`}scrHcY773FV7d6bfcm+61}(#Gw@h_xI? zC}`Nh;j80<27NU~9*tgFD(FjC4^k8uC+NV^V1)=yrM? zvq#w;pd$$EQYf7Yu7}Z4~1Y}~~As*PjCALf&rr)Bs(dP^%7S|xdM;-RL4imsRy zrgT1&GsyudJG=|~xh99*Soc=V+ryYHis7U}tmv8+n`K$$4&5oc$GOZllE9&bT^k^V zdD*c}rG3Yw5lVd8n1MfYCgK=BSz;jCDtDwHXu#zDEPmrGdj#WtKaT(3+OvzL=J_yh zkG+I(e!-qcB38fW-c2t*FZ-D4Nu{!k=>3q8n?K6_t<{{D+75ZdSNZ!XfhZ#Pd-OtD ztpWG^vI}D|Jhhc|=snK%@T5RhR&pTPRHwR98GI`9%nJIWxiP!;gEwND4Oxwc1rMq; zQ5SWF-lq(cB~%VEX&~o%SlI~N@K*QPLA)J?mQK*;bE7B5A@baRX-OiZTl9eNsI|Zs ziYoZe42CfaFMWiHn)%RC7xuy3vmA??--cBG8oAHu-WClKHP(Fm{HFq3@sfZ#u;NkD z;`SqPm68Qhk=39q*$?aFv|V7kA|9&wPh9Tpn?K z$ox~OLAhjQmNbB*vKXXqq#-fi2UkYQpJrgU6X4A4j6Vei(xur-kfp!uP{p{cC6>O22QD-MWp*vY z%F+wn+^4cuWQzo)`ds?Y`qv4Ju+x~TRx7T!WP*G^uy&xJ*3~cf zU`&UOw?l4xE6)8U^acZn`#ven7RO0qj9MAhnUMvgS4Lve+x8cY_@>;qs*L41O*uRf zdX;MFDg*8He(rZZ^%CTO|2~#L>1p|q z8!To&#P{B)Z*l^y!rpdKS7XxaMI&O>>W&BhUeo!@P00hsmL|gFt;9uJI@w(!)tC*( zG1ykbz`c>^_n}x0`6phB8CIOcI`wyn{-%LtnlJfBJPb<@dLuAa{LZ}l{IRFvS{gIu zj4N85c`Hb>4;%FZ7Qf`256T3}8qHW!9^sd(`+n0)d)M&FT~v^e&PhFe=19s-kdYsq z4_HxjcuSR{S$|yg)i_Ns{L707L-sGHo}j7n`=U2&BNdFvqa&bRJvR0G`oDQQJ<_c= zp1ZtIy7M^FjwN7zO)?0G@?v~%=}%8KO-Q--@EufX2O69|KwEYI^K<%mDKm@VK(-b{ zBZ~*kE;JAMOn8|REfgiayjwYuw27!U=!uM9i;R$LF+}&c|1NV5Vbsv6;9aKCUhRT< zII~$}c?9;>HzoqPqTVwNf#o93%8NV*2De8YpBEJRo(gDB!Ja@=8i#1}pB&~l&kPw2 zo(RlZwKLEQ7Aq0`Yf=(jhp1Dy=R^Q?N^-Dp`cJJSZ%%>&K+({db*4x)Y29Yd7COb0 zFBq_mk^o>dMX0D8!X1bRNlUQiuW)j}w&G2ACyXjp&Xl4(xoGxV@ZLOn;%XA*KL;Y2X@*&(BWu=zkyMCCaJEIRAClcCneMC7suI2GrGRtg*aXOmXr*UKP>Gd+ zaeZG_nv(HXD>EgKIwFVp1yRx&Y9As!id06KMTY^-r8;&M2Zbp5F0x=n+Q=r)y$G|rKkYUeg` z;dX5(g#>83I|;SyJr9?$W+hsWZoMeI9eYuld(KQ~nd({t=zf6#*L4w_bRB{r8M2!_ z5G2?Tp_UYGb_MkvTS zRqeG~XPLdTr4U3H^&WObLuu5)sA%h7wM#@2Tkz`A_O-7Mzt%8&Mn6}0B9qUo${KS> z;}i)&t%Ab3L0rRcW_~I->9ETR&IV1J=uc{ZgKPdYQZip0MV4m3p(K096Os z8?q<5llH2W&YP^FJF|y%rvx_a?qJY5Tk@v7&75Um*sfwB~Xvh$-p9bY)~C4#~p9$#;~md-W`ujs!PhgwDo?_>^^rcM#&H-SL>YSUct zOZl@R?1IvQ@evX8FQW9Jpw-oLTs(U!t+;wgY;9$x{CuVcd{<`$54EPW``X1MN$lNm zy7(%?xR0dLI=H%xjry=tlW1h||?LTOc&m=5^r*b!f@ZM?@L4Z@VOX=Ba` zU%Lnd8b-XOVp|5EX}M987ETZl9M5t`l&}^wcD}Jdg*!M2;g{`IZS;0bAk%-yTCM9( zX^JfWz4Qy4@Y>IuM`L(@W|q3RKlTR81S)OAg4$!xer@SmY6l3@B!_?rDCAy^ar>PT zL3jsH&F~nBvqaNPYS^U{{=;OGmN+4PfAlW86oT5V77BCkowk8GW!O=9RZe9*wz>KK z&ia>ULus?n@3jk4gT3Svpc}e4uDR{xzt{Bm1bLf~yp^;=czkc^G5sdZIeVn8a?nOE|=GQ}cId;F%lF#pe6k*SD8 z0xRNky&a2P^tQU5HPr>|vmC|08(dtTS?_P934sdxcBVw1-{6f_w=n1bRODG}eXv?1 z<;4;dMXD*fy(9V(fq1*l>A6K!=9JnzQ|-I2)^`gd0H-B|2*@6TNY3kGGOEW~)Io(Y z6we-2jD1)Rl%o`L6t^^L9;$4o9W7P+SA(<++`BPteyr!)8jgX5TyxSzIQyjrCYPIO zl^haTPgq~_=>fwFPKC2lLd~CZ0PcKNMt_zH&I@2a0Qb=tcyWrYU3K!uKN%;uC%FD6 zYdE28Ml&!-!!q6Qis!_%akXP6`Tb_<^%xv1(G(0eH!Je-CBNK`P(9aBVImp+O$?@m zfduR1W$HATuOzsCv&6D6-8&Au+y^eZ$ezo4t>NR%w)ievXreZNEv_2T7{id|Y!|w4 zB&v4udY9b`=#!dfvl(Q|r&B3A`QUuL;QOTqd*ifUR`wLETF*}I!}^^4?>W?$)w=(T zukRvrqC0Cj63yBo9AA(wJ$5ay#2Am|Q1@z=&Mg&I5Nrz^I)f*Ri_Y4_D_8q($}#wF!6IlTasV_W_= zUV1>8>-_U2C%Jv=zfyHd-g}%cTn*(O=7m;86h*bZA0tA~s|Sk@O&wH-@n6Y>1+($ei0<4M^x6 z)qY(jfI}cW#!u|xG33n+PJ$t4r5TY7Y=!JdW!D{ypeq|YTV1;~7UA+_)z$ZQJFDtM ztOBk(fmTPqL&9f%U9cqQhCC`~Z~Ikk*OT2=>Ehp_U2Snc->>I1lIG`;JVOTFQ-)ds`1aY%`%&!U zXO*k}`qSgn`T2HpSFn@p%<*lwFz0cV*Dmy4XuaPypDQ}O)t9ARr`%O6!%bCM4|v?YIg-EQ zEY)-ifjJbn+@f$*c&gs}x^KzrpchOA%EPHbbB6&;jOj55Bjk{k-Ev<9_O?+T3I}l5 z$>jFg5ccbK+olVgN}Px%WYZf4z^DiN5a%aoZ{2|vbOA|mjuYk24i!tQ8$`@(ZH zK==A?4d*tymA{-^MUl%Mw<{oT!Nm>Hnx?%5_+8{_W`DAF7i4|_z|Z+tqjLn-*5^Gu zOt@?0t8yZ?OXeK)(jMdj<7r^@UlD*@(N=jdU6Yg*ajJ~dw3l+C(Jbc=XkLHnV^U6S z>o87czyqk~AH;=AB=Bf#=}0MC{?-j4ZpNaIrV8wm(>LJml#a1sr-Xs1X5T8CN%+X_gz9EUbuij}dXFb7_{SSy3%`Gk` zOS0JPB8Jt5qy_{1TZ78-PcMZFHDoJ*6lH@Mf-*rQw0$N|(?)71klNx_0{ZUy)Pzbt za?7c;0I5O_k(4dXG~~JTXt+2c7gvaUo%xlRLHcy-5%y0&1TjcFl8C5Un+0j6C=w2d zEYY@S_E?N;k@}htO^zYUb&;L{*qEs)M~!V2IJ_Z7+~dOr*3C|{cXcFcf1e|8Lka34 z)4=bS1@*m}PlZxeDiP6t4sN(k|7sdIdRP~;xDFUeryv_1&wKiIglnCI|GHqtetGLS zEN8YZne$9yiyH#pPpvGRl1w&%c7r$mw<8q0CMR7!qA)rLEq!*lsM zhAuvzU+#t-<`N0QurNivqp!M~X~cGaBW-U9CsgD$h+D_cwkJT-5t zqAm}7N<{y?=DyepOS-oIM*l7{^m0{t!kHRHWmF5H6ol%7b&hZPnT)dp>ie7v`*D~o zbmND_X`{a*X~#jy8z>-#2O0uAv^D zWPTtb@DI4=(Y)slj?FMev$Tmre`c2wjqPxg83NDHAkMA)Art@MZtm z{P&UMG>emFM)GYhP#fuL)_Q(WrodMx^HrDJE&Tp@fB@fkS-uK|IPr0)`74213kv)a zV;beSiEHdHVAN?@jvBLc3+#4qX*27ED1xY-a7IFtl$ToK@zX9wL&rJT#QzS~s-;kx z(tiu`-vda($vzJ_C)*{}&WuP5Mk{g@XFR^p88OeEtX^F)P$ZBuGCqR5efpQLC%L%( z0yT9igfp?4D4)!HLku_NnXUR-4$_nP8@EsAGMSh5O7lmWc~LLCgeXfM_l4F%KTOmu z_25w}llmi-sLq+i1m;zL$pPw~QnQ2`vO&m378I|BzVDnJZ9wX@VN>^-efcEm!^Oq@ zkxfX1l{Bdma1ke%XF1r*vUL1RZjD7Fv(whz@~=CyKc9rs(kAaL%l@=bE~m9P^&Hp2 z<*ERY{#-R5CJgL_?I<@_HzP`G&=(#`3M-+#y~~8Dta793@B80btM$i!+M`6F6=EQ@ zmusGbzpU@QQSlG5+^u20wIK4ZcSC?jHdqC*F$Q*oz{Xe3`#eY9+=Gw3$Gw0PE5you z)F1E-A>qF+;`X8_qu5fEArpzVMJusR&#}KR#4<#guO>a*15)f9g3@@^3vS0OJtVddQ4r^{^E7-UOt&W8Jb5sUNY{756 zjF?O&>CB)WDq;%3F3M*cbhY|9nr025Xa^p9F4Zp&zFn@`+^Ib4a|1Er0y}m_H=g zIhNYDVfEsN>pQq6QAdX?!bY;bP}3{a2_@uMT3Bn1$%P66x7nQYUPxZ@N3tgQd(ctt zo)8JVh)G5G(*#*MNsm~&nljdR3wS3C;ou2yY!P*@J{9PQ4*${hmiNygw$loC>HxRls2-0rqWr4z_v&6O29KWh;*$)o0As}A z3)fF>Er#1`L+?mthENZ>;hxxSP#4p!(iB!xwJyc+e_rO&`eIxX>EsIXnF|iNi_Q3P z;_3Oc!?I(bKEE0ucFdv(JCKrqqi(!CLXVwdwhP-QO@EIJ#h)eH`*^&w2=bMnS`ZaR z9F2Qf+|8o-$BPm-z1*lgqeU~-knj(|VA@=-N?3_cp(Q9(u`~nVD7wlr_zyeKDI@#5 zd7U+aUrzHvOs`c2N{vUbV~hO*&7E?{5$i?93yMP^tWK8Ht7|OJ$#Xh@9~I1Itd?5J z-1AK(c_J0OI~FT1@dF-trG08IRO1gb8ORxpN_YqvC)Y*rIdwcQN(0~+w_bcW(*tpM zn?VKd^&*8lDq=L0KToX0++zBojc1?dSCw76(BS0{+*;Ogas@&ZkFs5+%*|1VJ&V#f zlQPvsb#vw3Z8p@BZ&EwJz50t_v#(KIF4t3f=}S73rzWU`;hxQ*#O`DDq9FbFC3Sdj zugyr;(?t!vvzdlM70_s#s~{(0&EXs%I-WE07U~&A9|3dx zh#$=KnXD^2+bNx@82{~l%%fmj^~Nf_0Vj?lyyk9%4J9WN1Fvd^aeBZv3E?rv0Dc$K{y{Oey(y_J-FG``p`Jg z@x^5ED^nCDeCaBe@zw`=qa@(3fY*Op$le+OV-GG~IvA$#Ppz%*^5f2elJX8v6$z^{M{Q!iCU>C3tjv7%>Q?PVD*^?l7LxX9yDvRaZCxZfQ-dVI={jZ zDa|<387~7k|KD#~R~2knewt2!>rH?;6j>jllgcIy8q8~5?p=1H&f-<_g6X>}@$>3= z+m(%%5}6$PZCjfIA#~W#;!hXPb0^*hbuV_o%u>qw7vM~QICfcRl^*>DX`T@-kRDn!MfV6j& zM9?X~1x6mT=(Z}>-Zk>@D>A%@N-3kh_KK*lfAuL!^gqd_Z>jLZy_QHV@SLq!);4NSfH@4mW-?vt`DNbs-@EtVB<`U$vwtj zoiXHY@%57jN7(cIz^;9FpY4_oz~Z& z%UgaMu`QDaDnlT??y{+Vg-F*7XAEiNeXy22VK0yRr>{r@z*2EOIf=MNKm&!!7STGZ zy@m_@JKaWgN_0Q!l=uq7+Q}XjhN&wytIrX+1CC8@5Xl-jhT`B>jvj>AjyK!kVqg5G z$!AI65TkB}wh+m0(bGv>w2V4e36uv~tA`-~+ASva(1<;uG04@UMr{eW*L#jsv1Y>dRgJjom@AO+tB&AhuM;(v9fMO6!AU6q@YJPSOo^ z4g}~y9+3oMEyjN%?+g-8?b@D+ISfY-&(LP4=fbPKzIvd!3B~p#yq>rWzPxXVomGg5 z?TqBd&_iMs+W!JhWmx^mUr{hLtTO<&&thtQJjIBVKu+gC73_d_nH|_{`R(v6ZT4YO zLU@_yN_U8=E!RA1Xqyb$Hoxp3xK!g>so}N?Cpv{Ih z+;yfQl19>FjB1D}vVo#Fa*_;5>K24j(l($Gh~vp(yz+~o3|=SrQgkZIbww_C)krLY z4bAv+>>a|Vi7P>huG@n|`}Og{XfneIk*F8vXTOM{p-7ss^kj_MbGtG{JN)C9x1|$r z@I$*vU(F(qx%z4ZNQ0dYx>;lGJ>?|T2St?`to@4;Qe&wZP7t}t-K7a#jdid6y<0B? zP|2cfg8S96IBy{{b6zSaOI9S={W%wc#*g-Rx%Xc@|IA$cnhs#xO9d;hd6sQmZfJ=n zFy-NOoP53roiZqo5s=IpQcml=)wVy~^=jy>h>rr5qV7N&0`bBY;^G5_=~$`j%A4bM zVnRID55CtBWaTrERTIGk?czDu!rqAuOs~D)uhFVkm-4anzp*J)cSNwAN!(^v1&dyJ z-WV*6Q|C!-)B6v3cqtu)9aC%W*Q0diOQonY#swQQwYBv9u@?gtU`n2m)Cdh9mA8Pe zI3Js(iB_v;6wrB{zIAVs4jH6?t1JNqqseulfgzwf;##h z662D>dDOGWZnW;HO(U<7L@p-`2n@hKMo;x*Q$a)4d@?*e(Vma@o~Q7Oy<0^IOUCr= z%6}5mD~j}I#l%Lvrcp39T>d%Saa`!{wWn^R-v=BVu~i=z#AInnz%NO|{i|F~mtV3T z>rIY{aXG)Qa5-Q;3Q$i@Zf7#Sc2-pNm2Wa;h}SAiytu*Zs#uo(@NG^3y2g!ooTPKx zU)gf)QP}CE$CGTtm{Bo`1%py+3k4hzD-u~<+fw;APn_4y73Vql62h`%YXESC6^C)l z6b0Fut|2|=v?NtKd#A+c{rt{7NvBLSN4tX26(+jTuDw`=>1?;0SBlz?$(dnSP>GW6 zOZbj3p0j(t3UncLiDW~)E# ztG)bhR91B(Z&VR&D^2Ipr1L7DFIIOcdgzlR*?>X!Bg8|}(h$O*2j8N1#R6A6BV@W; zdS!ENlqjkLqCqM9W&D$P!BAMG8CsZ*hq{?Bu_0fAilF0a(Iayp;eyVr?y$Bg*uNM9 zL>qE#uYo@Psra7_jlYbP3WlrcB%5Og8VKS^ zpg3SXmI_L^f`TPIAFq6;$hW-?6tfF2$tMEgi+jGarLJRR{wsO<0w7>Xhz^1(8PPHNI1tTRDn+%||()(P-&N!8_!_)VSS2CYE3Ho`+ z)tgo@MY_S0bp*6v0OssHq6V)z!thqF+1Xrg)qds*d`Xh{wR9{};O-G@2dz@wslg zT7@Qb^PqY%+o*@RRmk?pM;=$7{i%%DjlFx(XPV}TsR{6o* z_kUZiAX2$#19rTIh%G-9nIKlpy$7U{A+I82(p)kmJHyF`H}x;H7C|_FO`bQgewFsa z@i=XDRQj$0%eCPhd=%GF#_Lx$f(C#1DHG~Y&m8MdiiCF>WJJ7GjY0Q7mOw2 zwAb~&k>!}h7pg4cbaRDYGg=4gOU_m0BLvhKxH{=6JGQrnp zgQ?}7z$chD(VuQFC%ptYL%?}H#5Q0?lu|nCcXeoct8)R8YHUDDzf|pO2vs$0w!at0 z+dvA{3)kNE?2QZC5?B4Xod#UPhR4E0e$2r8Vcwdpg!_OALVJ8aZ>F zENT0Ufjm=RSBy{3IP2AGdSSZrKd{ip1UIO>!1ox5vpBv{e+k@VZ3I<07caxB)f9e6 zJzMU5^ead!qLh0?n&_|bE)M48$b~-P3NA(F$@Kq!6~WGe%moO9MSUHUpH;OqZbt3Nf9z} z0=JBlkVjJ;ke{eZ|6m(E^vr*$gk4mCTC~=`jns2=V+c%0{`^s0G|nCH@tdp?I z(R{t=dbDGy53b-0rp$kA8H+07W)4zq23DgZxv*xy@~Vkwb)GyoOQGV3Z3TmH94*hw z-bso5DffBfT>zqZTcn(StWbh4X~!}>_?opl_kQsHRr~IfJ0(3krCQRvaV8dscvK3k ziNDUxQKR7v4PBbmPF~c4?3NWB3LLf@VDQ^9{%)+1A8^ogyo+nh7W^E$+m)S=0WQSf zByS#3{9VCbw4Kb-Sx%;mjXobN#Yd{JV~Y(wvr^HeJOhfymB!)Px=I+2p0>E%nXT}@ zDVL5m+6&DhGu&>CC!~h=YPiA{o zkW&Z765JRCMeHRAz#hRUar+pCfnEn@{(cS?Tnk1VTJ|H$mlKKHD(A4$G=nlZt9D~s zoaDV%kmd{-F|16xH7Ms-eSG7Yv$IozJz(=JFWV|I3A$t9cipXi=b(thGoZhAR~|mvVzB)v?bg({4q&(oZ8r^~)6v1Z{(nbe%R)^TOIsaa*6GL|v;VTS3x> zNx*!ftH%$Hm+Y~~;6^%)#W;j6*vM*WtF5uut7*` zxF6-V_Tb2@T@a42vf%6rtl>Y-xGOuTZ6+iO{de8ZRR@~FaY!h4?NsxdQ>WH(!{Q8b z#M{#(xPrUpe}il5s);Pp4ekPhnZ>Rte*v6)B=~;Q%qI!x#*+ed7#EbW5F`Uyv7%2m z_>8UaoKeDKH@oQC1@wPSVnDhXqvw(hooq(eTnHb`N=EsgV-e2?E3 z=tCG?+8l3|Rw!aSXKP#ZlfC^fFNu!LSxGS)8l*W}`9JiBBcX2u5jslgd~z}?k*B!K z$MQ!HWcUU$%JmK_QOfVycbBJYrbwoN+F{ku=iQ1Of-n^L2WF9xcOpU8+0|6WuyA=D zIUL+{m`C5QY#V-4>2ForMYkQ*@M^#1!9v=Moc6-6YR5HpsV;4cZH?C5rKGKfbbI`8 zQ|>hYXb=dusYjyf@5}1*&Qd{=d);9AmZR2wWJ-^036E$wK`5Om&8!~gpc~{E@MZg6 zri{V|{xBF|OcL2kzvD8w1N=0i13dkuzp*4Ey3z8nXw3469ubwy9Ctyl=Vqd_1+8bb zznf=B*JzK$Z;fSJ7j-zEaOqYt&>^*v$rH(%muQ;kI`i__Mh5A=6QpDQdPuH!>;!1* z@GL0gb&mvw-p*gsU63wzy5}eU{H?;1c^I$4eh@Z5|F7PfBi0R_eGnT!JML;CJ^qAX zNz_7s^kcFvR;>tzQz02QiiuZ(2+iTjRNk6(!%a2ddTOCXbHCi|v2~i#xG+Rpc50n9 zSMvW*b&Wxq1j}~Ewr$(kv2EMj;g0om+F*GkE2#OXQa^E0c#avc+kbRyMx(DA`=#WmI1I$RxgFT3)EtvzWsY8#x+ABa=e& zqGAL9MfCita6Lu_UXN|5dnv8Ln|4^Bu+-{SF9#)DO8-_CCW2KIhf*i?A(6JGoy`%HykCL zd4MGpSaT8I%*g=Xcl_+1dwkHQwkCg*m*j!qlYK&eECDko%m1?kgWA7iNdJ2t{{c)l zsYD%Z=A_5hrf0P`9Sgpw*?h{6qvhnQi%c=GL|t|As&^=Fw(~Le4Y6gjXBeX_M*lyNKHKd-;~0j&S&+VWoT`z=hp z|6OfIx0vAj?e6)IL7&?Qpu05br|j`si3sK4JU0JgGrPu85lOxLRsUi9isjBa-gSju zQN^j^!q)CTK-fV>&-1vX3^3A{Fx(k|makU|!|@2`tUrws;NObik;qrG`Jj{Mvqb{M zNZyKbP-qcwW71J4XwgN*w=Krs`Dm_BAd~e7GAT{?IMwF0ETyz8ac98}v!r~Ud!A!o z`{B~Hw6;T*0#ezV!jM0-d7w_*W{9i8i^qpljvj$!7Et2a&0?Gy0>F%tyT7(8N)14Z z6zxXKV12gqx-c}2nxM3FR*wBy@`y-2w~cfP<4aZv|NZatR9$a*B=1`*?F2T2xoJ4J-Rw5$UdXPQOUeEc%50|n*)Gl1jct3bF-RJ{a%__n09S~c(ZDb2c8Wx?Xbuwsb zZiH7(d>o3w6zFqqJcZ9Lzr44LfVf@8k4S5$fouP z%uIz(sVGXA4OohD;cDSj3`DH#$;C>8Ykn@hF(cfA@FReZ^YDZ<3R~|Gh@_bvH=uW} z=__iq0&}KCCHP_@dcXN|O?zxhTL_{&8T|&Ql8*u>gy7H-GmnKqU+-RX-gK>mx7Goo zQ(mBgNva5qf#hccK}g!U?diC~;qgw3I)KSCx-26x3}B~qfP=2zHSY7crnOenL&cKn z{cBXsTf~i!;~aXR6m`v)P~MA+Q9!vheo8uo56b(=h6KtpWiH^BHb1u*iq^tJo|>$x z%q{)ujSIzK=UHMO-L&3Of{8AGhkN*0Tl5|C+K!=ZYDKj;YqU{CrGo8b> zLYp?i2Iz^5o+i4GF@(lh!Y5zLAqY=B$Z^g@-t!J`HGT`-v@m13P;jFL)6Q{iKdx{C zMKf_&$&e5kS4XF1Ien`HiS5mVc&*eqb^b-Ip>YX4lNYyFUx0SSd6ntp5{)cG>Oy5h z2-0Ar9dmNAU=LL%O5|nN@%agK?)Q0|hP3=(0N^ielqbaX9Qe_V-EJu{%)=MSOul0B z8oXQ+$29KoSu-Fhb!MsD|1tP&LpJaK#cv}p)o`->D5>b5^Csp zNuXbwQFUIx{sA+Bl)pQO)1{IM`Vye-_l;aJe5D*Egg^)5>sej0?Aw2VPN11r5@=C3 z1AK~pxIv$ccu~}h5jCePn)YiZ-o06>Tg`YwHoOX6*7 z3Ei3qi?<#2hPjIHiRTTAiwAt*+0vY=k{9NuB$Pd;c0Y?f^0t>75NS6f)@n2fKeoV! z1f72(Afeg?EtfY}Wi1DrTFCqz|1~DgTK^sr?1Xg*%rmzef#f@D9^d z&)vqf$u47Ul8n0}qAZLSR8>s;(^v`(vgicvlzq#O9>PtHi5T4G9KOrm)z~{JK@b(CZB6 zLiRMlBJKGn<1zsQxj3RcN0 zpMp+UfylRD@J=ujb&JQf7GUEyvtH(6k0|bzsG2%eVm6l0{zsS%=C$&6ur*2-w-M15 zGqZX~SFBTQtD_!|H%LfGMdiW-#<%D+>bG}Qai*J9jJO0^(2$U;grrtrUrd_pLdH~C zRAK`c_eey$eNIuuKbPK8)P+oy^4Z@iP^JE|@@2^|X0!%mruK@iIDp|nHEZqBdN)|x zwSX35fx;VScJn0!#@;6G(!k?Mw;NC)Y)WAV6`zs!Mju$p-xR!ahiHbLtnqpWqg(_- z$L;q`YGIv1{8*ee5_ zs7zOt_yv~fTdyPZRm*KQXjvTY1jW}QHtyd6^Gv)zF|L0R4gi|d;U<3}!RuGqZ%yGD zPMuM*dHG}PGR`<0y)=kaeWlY!Wdv>X0+LFbo=3T?by$*d+M@8?0B6y)v}`I#d9rg& zQCA2_UDzqewZ+G`uafBKlv_E3mtaLK*?T3rGbxjLcq5l2IFheev&;Sv6c){D%xwo}dsIB5eSQqb!P zZWdqQEq+4B{AeggU*Sr*r1%=SN@go4f`HDYg!KpB13ttl`3cSiHE(PCH&}VxkV%Z0 zG3*-m(d>PopuF8C7O^fbc2}=%73_9FBR%{!=z$fe4gkJDLKE-lJ*TAdQzen4i~;xa z$gB;?$ctX3_fq;VW)pSRDiy&wyV}Q{UvQJBU=(DT%8Q_aH?r+np+~Hb z#?qQX4h>Xcz2ewfv(Ft70Zkh^3-w$Qy|+U3yT*}T2BnNCL&zz=(xuTq=fMT-Ovn8$Rf79G|_;Kb^89ZI06sE3Z@7$sM!P!=6I!P^?+^%db8>^WvF;lI8VvIrnb0PFut6kg1fjyY&T z^1XgV`-Dh4dIy4iLnLI6O;6|q<7#O(_Zr2$kpA*{K^)Cf;jLN>y#tR}JcX2bN#f7p)hxscP%I=#SHrmC~G?UXvKGuMb_zB+KI98hzLabggciGMpLe zBD-}#>wn>UyP<_+;T`Oe>cZVo#wY0E;1o;!1!4RvQCK=U z_K*Dd=uImPj<9_9-P~E;Tm?ksK61{ggqF;4eaa65$kVvux&hOAQB})5_44kmDnLLrtW|jhhcb}5l<&1y>U`scFSyLG^JD*OW=@%`KLby!|v z_qtopr=7B>BVm^9JBpxnPD-CRMn;2#{u%?1Uy82aI_SIgN3ZkT3W#+IcyPdW#VCMQ&{~JlESiw=z_<$Gk_jbQFNnZ)X+k z82)Z(F4KnT`Ewp=K4sx?gVPoE4Y}<-rBVN9`gWCi!pz8@(}Q{?vEEwaTF&T$?P#_- zkPSAQ;g;((0eZtn59I1J(+%-sdVvPLn7j1d-FjPmrcf4dC+dZrclo!Tr@KcGOl%e# zL)*jjFJ@ef<8x=oMqq`DRHFbZHI6ux)5NlU4$O1wE=14!1;FP`{+>c$xDM25Ua;dS zH=rz_RHgI%cRX&f#spJq$N_6Tt{nVK6Pcd`yyOtPW7@|3h~JR7TbjUBj>9-mDsEZ^ zm3Jq{gd`nYpoktDN=$e#pHy#b+p5(ge4BZ#Q=7ZQLttt@aMb zVMXQYSN!)772{I(_zE{w(t0vwc&!zVkqE&jo*qzkFh@T@67a} zxMldt_&t|p7}3Af;}HPXHU{!Sr~JUZl6>3Ll%Ud0PsJQl)i#nGf;n>8x{z34Jh=(P zKiwO54S09~i_D(G62}NEESbCc+3NJ$O?nTMd!MrU( zngYK~Z#rluJFQw20+mMd{_PBqH>9x2iG|XWz%pqzB;Eti&>rjwcqXKv(@ALj5vkD- zlTBoU@Jkam9s!_BfB-pa;igb>6{Sn|E^HUZ+gJ24@&?a|xK;u|KaW(3*bMc4X|?n5_ zRWkhm5G-llm(sxIi3g9d5Kp9>P}mW9+3FlK`}2a-%48rv^vnF7^&HMN_h&0xtQt{ZHvt=Z>cu8!Yq zvdzxImOk$fMK?s&V%xG01@eYyR1!K{aA8;>$rs0T0s`BK6${6WWO9;-L>5=ab(q2g z;4V8s_~JK|!88j%Y+`xBY&JzpQjzLIy-=D|nFtnLlo(Qd-V&Y*D4P+V50)XxeRMVCAZ|`I=v$ z^39;idep0ax>?dA?X=0CIb~N@yWYhB`Js#1XP2V8j=>eS5mQY)JA^X6H{oI%L~of4 zUCn-@e;X-f=4-y<5-z8X@qk(mSFQs4TVF~ zw80hi%H5OFrYV65e`zh3K;$N6hVMZih`bd1@+4PgT;FYKcf!3+;T=!-0Ut}|f+#JpZ%@suUZpN^aZ z3Iu(mNJe>yc!;i}$AUaBzl=QrzytYmffCFEDv|{Q^aC-}d9~)cCWKY8sZM$rK+Rc2 zaipa8a%V*8=R;gsq&Wyc0aD1aWBBoD2Pl&Md_BL?1?O^5di~{)6_HJEg>HNHQcf<9 zizNsU0?H3ZxGW?mJDglbSlb(;#bHi_C35rr12C080MqaTFneY>Y=9FH&fI*_M9^6+ z(@2|GC8dI9?M7!on|A|{`EEP+6w6HdDXm^*BwGwPrUK7R&f$a~Q5q;n{zsHbKcbZU z5v2i(#E&R7W+aKF@(MhqsK|{_o(eqIPt^fsrQT^=4&gSgV?l=eo*YxRq(9JvsS^JK zO|c84*%HVP03h%c*!Ul8LU)P}jn9gaB;1@2h9XJS-P{v>;@fSGVcYO=I1rLBvmf3Y zZa|v3TS*x31MD=l?z!3e@qr3cH~;+oEjID;2k39V`rW~s1LQ!3xSK^J3oO$dWbCcs zJ^E*(D`T^LjK){^uk_xo=t(FHFG=gyV$M@Gm4}T1a1TU@O0`9js{zhG!&&+n&Lv9? zz7uieTrIg2u`H5}!A8^axPdnIG=AJY&cLO3Gi8&x7es#J@`RXnq^8UL!mS2~H)Nqo z#Sdf|Y?5Y&vONHay~9@gKvup}MOeJVy($AH#!`E0{v(jQ;`ePi{MQH4Zw<4^W@F;5 z4uCVyngD?iHJZ(j>9F7!rO1Qx_C?|cxfG=6qr$VvE1;6^wz$&Fuy5a81nLwE31L_W z5g}pn3R7|kv`hBVdx7Wc$@36;iRO;eAPr$qMczHdn3RUR@_HG(z10q#W1U?!^(|{X z=rm7f`#Z6%c8^({@~9fhLXcRhG>7&08{oIYGE=&hUg5r{WnaNRzZ7CPEaZB9>kTv$ zk|TQw^D|QqU_UtS4fFuCBsy^d^D|W|4_&^LVey4lhN;g=t^N3UlJ5iWUJGDO>2Yx~ z4u`!>M6+GzXR+;E$7j0iD!k`~W{;#&VxbQ$+?xUWFIk``!rb6i@)+heUV+5?PM*>j&4cPk#O2TCmZiCh8&R3PHCQ5V@sW8v8`b2^yL=i^3eX z4-eUoxqDEN`WcqO+>Zi60Um(Br(vbQGbKjmsfeWVcsg>7p^qEZ>C4By78|m=P48xZ zzjK(n41u~V$;NY5v0#Nf?QWuP3J%Z1J`mX}S^j8_@ZTTJnf%e50~U)P&9RuX{L!2! zcQuw_v}#FXk|VutqV$i#q=n4;`C!TE)W|2y7ONuetnw=O+(1A$+7G0amF=M90zVBa zr1zq#gxv^=hm(i0!u^ed*)M$IPYVVc6@fH#Qx;(vy*>Eltc_f95F2~Q zumtM_mb#g6W;Pd!7*1?U{8u9Pjx5r&<5c~2d*GRtIy=jk#qTTVaH?w)_;bLQ&66M#fy(-za<_38TJ;a*=i+X2=qz6!Bg#3OoS=3`RrewO!p6Xp zTb334TaZ>u7d#hPqsFkuAPZj`GOwj+_GGHh4?o0b+SEuh#Ea~0 z@~v2rwylnu|C{VMb#u~E`5yvAb(?UPaBzp&^jZE|CVJNr^0nVu(?{Z+b2v4^_-7st zOe*Z5SXZ0qNK9Tb6Lp%%?rP&9+9p8bX)DV4TDF4Yx)JmcpS=~kFLa%4 zy~bzv64`~#->Z5jA#9V@IG5@WnR{5O=5ERRZTIp@WP@+KxUkGg^l)vN>4($Ev0nJ^YVV9lW5i3 z<28VU(oz+olY+TL!w`!@Dya7PVld~~i+xS2a!;Z_chfLW1jnXQqwRZn&U9>9iTo-X zN4Y$#E(XL$l}T_BWNxvr;Hcf|)^-$hf;vrw!zf%1356TK<#`mCr?WSXD*Zwwoev(S z>hW*f^2c)Xg3eehlKvYI<3vH**oV5EC@-L!eEOdswi>Trl{w$D-0Kh1*6`f63zamM z;#4eZ1<9Xt%(cd>ecJp+n|kK0=#jj9ub)JaGI#2K(sRg%X5Nd^g|a>gf9!9~(!br_ zzWP&yK%uVw9kRWHrTpoSUElQx)>uAlo?Q`V#ri-tb|(qE5Lh$q)Vt-brTWsi_;;p< zN6SlZ<%u4(xV$+$eXg{wW}fo7;e1`%%Q3lbmhhH0<2Z@vT6h3dKg5mus0OEt5;?f> z_0*@BT3I(1n|xuD!!QJlqBlr&$~HxuqEuy=0>WAm^zo7W4a8LM1o*F`AujztNgG_u z%>PUJHK{3Whr@x`^{jru#1%?p{sIb%2h9rR0duCUm=kAuICB)M{OuER087wLqur$3 zzz903b7h~k&C}wgJ&|`hO$(H?lMv1X*39Eo*vRnkn#!-g_8jv(9ui~Aq(zqL6gmEB z$~2}GWyXc6kb;~7IQ;rp&s>_axNKZH613*Dw8>wBYycky0rgf_|D%~JUnalXCm+Q% z+SOq@{eZ{4C{ugQ(ExJ;>DLudjFx?sazu8GB9)2(n6kSamE5A2U+bDcYC7%<_`TSC zzcu8EEmx_8W_!rLclJwhK@rm`CJ<^eFXJq_Bgxe~j)f!^5GHEUlwm0&w}+)ibtb0x zJhG7Ul8{o!9D`w){;x8od;41mogY(WirgR}`kiKYm^l6Mu^qd>F|sSe34PRZ5G<)} z1o2wq;ICazN+3Yv_#+V5K88LqEsAr2W+2bDjC z@&7FG(+bmT0D~w5(GWQG-CWv*rQkMRwT>(lj!Dn?-QmwL>Y|Rkj!SH$*hGsg-VOv| z#PPPvZmJv)=zCg2b@5S{;H_ya105h&ZQHJN^Ku<>OxLbSvY8wZG%-61gQ$vNxNqZR zBY72|+{_k+N-1sdEQ7jr)IM$7zgC+?2Y&%w-nk0003c@RAdXRyh#^1P5R0flAq_P? ztzVsANikDY?sjYhd!&4uJgW1i3(Cf9QZ~ui9?`pCwM27*<223~4&X#z%xGGid`q%c zM7Kmjjc2{NfFl+8JQCKBt!JkCUOhdWGL9}WDlwXpR-LFVc)*UZK1JF+gbUj#e{{BT;SjkkQ2nmm=g}F~gfN4ur^Da!mLy@ws)+ZF z5 z+TkgUUYBwuR9lyC$wbvkuyhL+L^SL$*vt-m5;ldy?C@JewwiQFbZxma23q%F9o44b zfa`IFwoO9GbgT_k#yEjPEp0A~y=NTE8{h?!=4mj{p|a|q6?Pm-$u>oj?_q}G=>(~4 zT`P7o!unL%*7#MACtmI3>H&e08NNg`RcNc9Wwq(QYRO@yQ~L zHqg`QeO=99jBw0x=(V%KyXJnu`n%=Tk~(j4Fec=vAtisqB#AYhS{+i(h1CxD3Sj=I zK;Ea(@J=)-AwT}9kPfG@a_u7p>~ZqNQJT7DD!NoGW(yoKoMlq0?tP!GLVa%GF__g} zQAF`&;&ZcrduYI>$%hG>PBq4eh>7ERY|fdY89Fv=+a97iFGih3RLEJ|27k()CuPqO zvkfgm;mP4EoTW~dp=2~2@)+i32v8J^y?9RK1n*>?mGALx=UG0ZKRW6_0g`tVhD)8N zZ!O+&@c^Ri`l~X%qS)970PRFFV)Z!=Rb#k(&r(E6fKLD}n$<^YOFr&oua>uEHo4Uh zIkWZZxm>YR9X?;Z_gr=4S>ZXLtY5z?pBCR8VT({DJ%25)YnjE|^3 zH1sMNprQ+Zw%@&b!-)sKUVC`eV&{ZZ{{GMsL&;^wPFdZ4(OT?hC?+ItlMQ#75`6E@ z0DJ<6g}rCFI2e8hGwCf?3;;Hz6g_FS*Vzv;vWjNKP<>Dny4?Kq+)7T$QJQJ>WI#g) zFaAqXEd;5cbk)wkbv;Z-_G(~=)nrEhi3XohH^u!Ne*e9}&rb!>T9Y;1?H*76Ou9*^ z`r4w{<-OZ5%Tjlj^Y12TrAT88Wil%wb6maS04$4CBT#I`>QkonjY3;0UErUi5X^+R#W&zo$ zK<$bz2M&Db2(drY1T}G>Tz~BF$*GWfY(fH#Frt6Ov4o+eb0qYy`HN#Iq_=r&X(X#f z`<2~|uliLS)7F8p0&s(0{4UjX)z>iAsPo+SR#qulV~k`bZ1fW&*i${;T_UYib-0`p z-x0t(51sluaKCcB@H=g_p3L=e{g-*wHXLM-U?Vfw-qYNZb=hJIVt>htvvqiXWI;Qc zT%~AxE@lGL)H0Sw&8R7^p02c#mjpdaeVjcm=pi3P!P@yB27>e_58fQ18IeFo7$GiS z?mbdL^|T_kIC=gLkQTsn`hP4nYO+iL5E&3#vfm;QPI6QM5Hdj5j)Wu0ds|;IW)@hN zn4udZ;FlzKDwInNCaI=@D~`KD`=TvTlj+EviHFZ;R)3yKg_5M>Z^vhz71crFYocq6 zYckEbD#a-HD0Ceok|j27Hu4iOC*uUm0XDt;QI1{-lH9N<))r|Z_91pHG9BJEoP}gD zoDiBZo4P2`)@8t4js(Pvur!|Hi4F-gYX$`LSL;Hk$fjG5CWruxhRRdPvEM$3ud>xj zIqEFRHfE(N%8W8esi5+HqD@{7%>}UsrZ0+(abAq9Qk3LN@(i0(i==-Q^q8!1)F7H} zV+98Gxd4FzyMMG=NeU-)ketu{7IBzU+F=QJQLK$_lwQmcJv(06R7Ts@8q zGa#oF+^!QTd-ako6|Twc*qtQmIgSI9@Wpb2m47K=LR+-Fp)K7Ky68&rVpoPR=W%MTd1ey1~K6Y zm5S5S_X;o~^)V0cLFmVUE<>tKxONc8VUSO8-qVQMqjTA_lcIseC}oLw=caVQv=F%A z($SyIY(fB0mSMz8ofa~{%2fzl>zxGt`$Uofj5@UlGY5)02Tdb<&5xNGsd1FS36YL_ z_r^vgQLf84LZmA}HILJX5*8Fx=T2{AA(2cpO#y%$3JrqtgcuBRsKQDLF=TES0inxU zyph<4CyJ%0ZSf}_b#Y56n3eIVSHU#Uh!J~?(xizgHbuY*k<#i|4->*cnw_I8D|VXP zw=9;09D9w9O4)r-F%6m-!*NR~A~2)*qBXWz4Olknu|zd~P_8jvpjEj#kf$E#Oi(&V zNdTZ9bY_LZ7^HQD`bQNRO~il^xPESG##&)9BM1#s169OV4@-3OW`}eb;_z1pqn8!L zi;aQs4E$ts*qWarb}o5MGP$+CpOeMs4AcU9F!!#n?MYI{bBA%~uTjjqG4Y!olVZ@y zK|E)F4~x10B`2I{Y++vJ12h#--a>rv{wBbIYE7_d+#BdB_8oLm2!5=(pU;#+IWR4( zYe5DfFG_ur<(8jgK`PE2_1s@<2^?$**q=K#Oe@StWWG>rbUdeNrT#o|JZU{q!~r}i zikqKDqdjda4W%03GuQ{tnco4-DKO^Z5z+;wrG}$^u1VNQJWg|Fyv5Da@YJF=0MIdk zs1Pr@!b(;Lyhq&6y!iq&fn&M~^~A-8&lzS>_|-oo4SF!rK~abtvCtZUO%>uW4H@7n zpu?5N>zJj&4b)Bqrmygyu_BS6_}X%qC(vw>Nn!++T<$%hHFU)onVy5q4<170bE!C4 zcJ*Ms(=7qXtgBK?hda?Igxi=)fE=W~=)_Vu;#OMY_^iSNIWK9sk5l=3eZDP*cpUH!b^!zv8-y@*C(@;Q3G5%%*|kg)Qf|lk3A{2guPj`+0eG@;b+T zcjuSk*Z3X5`fE&c#QC8sVDoVO>TaK9sJuO-*X{exr*kXsv2OAG*67R%3jqsb4YD0c z2d}?

K?S^d$XoZ|Vt|y(nn4SHC!k-KN3@?Q(XNJxs@903pVXz_&?jyRquBw{n&) zKvu@Yrhuj1ZQOF}H)Fq!Xn&0C2%|xK=(V=Vw)D z#G?p(i=5TmUKsL@+}706t-sZ&{h9ySMbPeK{M_3h1GeK+ANP*g`$>V&h0VNBtf84@ zJbpO^ishNe4oP`|Vc73-`&7ivF`-_0a07A`_(REAY3_zn@HoaJ4D!^!d3*R5;Wjji zi1`mmf+T`=KuRnTpkbDA=D|klYLuk%(L-rVMr&VU0%VtfTaQ(UybK)n<7e}Nw1_>V z!`DNZa;5RKU;OSgas8cFz_pfq# zA#`*%<9-VTPuHxJg9I8d>fOrq(}R zutN`fPNN}c)+b7@Ed)GJsS_)TpWo2UXv;Y;IAOiB@zfHEzc{#;lYV%4nP*h@q+mvm z(`QaYKL|F_s#8=yfzdw?l5;vxkap`r@4!r4*;l0d25w%N-g3V_XOMSlD~kdXFNm!f zi)c0saAI^eqLl1#DCL6NI{#i?l$v;kD_G&rqUQqoYxTrNddjM6VT ze)6vo`j54B&Bj3jLteG0W_ihs*2HG*tvmK^5tfQt3&cjzi9W1ai+;~9FeDIHhS)|& zK>aG#qQ|$9ReqE;TTyXGN)Mb|x#Ls?tdQcT5l}!=O4}~!bB$c{hK)DYh6j~q;|5zJ zc~i7lxSPhTDCaymjvg(3gS)2ea|^y&=>|cMx8umP#>7Die-9E7dw_mjV$0CQr%)Ug z@uivr4!mJa=Dt;anKsjU6p{-p!yQ3YBAIvl=;~IxtR@{O-MXjnm z^W_xv_KIhdF^fB%pjWi!`%BYayDLJ34?YYqmeE)=wnso%kaZf*83-@4EZ zq>435>7m>!{2Dcw#53~D{-=nA+}44;4)?_ep(``5nFEriJMNY*1{<1Fb%e&TnIcB{_0EBkX@M`}lPYi+BD@a-*VV^9nxw{&_Y20-Y zx=j>0`Dw&GnJPM#->|k!i){SZ9v&t9G%&Yrl6o=)a^xGV=?M0MD361$uky|U?<4(Y z0dLOUG^>k)qciU%h+RWUU||>%V1z8z|L7@09&KKdLnI-LCtj)V;;hlX<-SEuHsrlZK{QPG7sEtMgy#Zr1@5{LY5gu_BbgN_4*lHos)wW($ zzOR&V9AGSlrG@XkumglpbXO2m5>fTdUr|NSG$QJ8anK4pnLpXH$HZ${NjUcR)ZOyv zHlI~p{hzESxUKzR6l(Amd^jPqA z4A>pEI`n{nHHS&9ySPm?)(x(`F(*U7o#E^ApzNVMqZoetV~Riv0Ov=BSCyiwmwsMz zex=DV1Du?lI2(ZP2a@lux0=l@{*PfVpZZSA?^hgGx%J1RHZ8S9o{hfy6}lM2;Tc}X za_Lk4roTQdtDl2nfX+1^H?IiIeV4DA7q|A;&)cKVjACMa8;*$fkoQ3|ch|?;#mTlk z86_^meUqWm!Iu?48BYRnFx1oigT3dym4ox6+q+x6?=b+Zxxu5m44EFu37Q$Q2C@*Z zyWSEcFJ551;j7;1&Zl0l8_*~K-{!UWTB*MN_-5wp`U#!aQH~3xr0=tV+A!|dQutF$ z9SjqLxZ&7@d%B_QFD8TASKd#>2pjZcO_O^J*z5>h;YezLkk1uR-23_SbNYF6Nymz9 za(esg`Qf&@`gr!&hfV3t^5Uh{`^{1L@_D&Bza2*UMcs%Xa1lukJubqyrIb4WWoCS1^#Db z2<}si;SeU^8gi8Ld>Oq9D=x~y!jl^+MicG~{lotx)@g7H=p)6*@#Jt+CZ621DP zCBHowO6mP+TdhIwnYVI_8?8swkL@{nUo|k|A9(d4*Hz+xs7(4XV@XN$BS z=nG#{*HftdHl@FGSYG1TIP9@iDHIcMX1LwXP26>6tvQQYin-j35jOm*e8)Yu3XZ5; zYYy+Ot+bM7a9`_5;%Re!3%6|Hz3-`yX_iXI|6b?&!{9O|GtPwL`>!3^;#*FqSmT|A zi$_=;&9^1JZo*a=zM(xm{NW1Dl}p0H)xv)pp!hUhfHM_QSiBXsf==T)IF?Db?B-E~ zIj>mj2Bof2;D(eO9lhv3*8c=3ve_H0euxazOsBzKjIx^y>EM z(lG#iM;C#ugnaAr*V~%NO~_ycUXkCslv&^f_=q#_=@bD%M6dsq*KGAPAzBlKhR?tDkHt%^R zleO0xF&=elubs(KJSI!gS#%UMKxYoc zr%xkMo)IT7lJA^iV&#}X*;0koL&zCUMO>aSy_5T#YzW$0CYuR0RYBWHlH3c_gVbCX z)ahs4-^s&1Tp(zMf`xzQyzQjIQsD$=XLGS=#_(AP9}qd z`olSPDs@#z7K2*(Y?E#2H}yX@!1Y#2{GHP@V*>r=DhJ~bZeja%Cc%7=RZ3b=Y*nc{ zWNn&#qV3A8tZ`ec=cq}WxkQb$(G%Q+33mLp6p^;P%3%xS%hg!sg9{oi;R!M*Om=2HIcB%O8K`kI z5XV6tU8d<#&^&UW@SnAy(YV=GO;xOykcrU zZ+&pdVWi^|VRDeSuHe$z4ODc}OffCdZDpaCw%SzK?RV_1K4xWr0-_T(725tXvYon( z?45klqK{@@Vn@$UD_}+{wjUdnM?6c4zN=Ps292PRq;R*P(eg2RaWPvAowfbBOyi4E ztm0CqumYh77z`YQ<{`zPgv;HuI4YnF`8KP;(I!oemihGy{VtbJ(OEAy^DIemvwrMZ z8{y}zVXKp02NZ{q3Y(m+)s-5yi;#T7Yq;|6uCM7e_f7^(30Zg;q$m30J3!OkrKQ) z@;B{J3k3%}xcFo6%oSwA_>4p3F0&IiE%?I$dEZIm&dV};Q7#dsXHHfYFZJweXn5lj zYXd>4T*>~JBCqu)5x6Jn&>+z>rB7OgFoFGAouQGnz=CUG{2m*sclmk(cQF6GcQF#5GOfNwtCozd&05 zj)6NXs{&r~UzDb{%i*8Zw%RVWg}Q?(DHp9OQvk~LTjy8jsn+E8G2puz>Lw>?9EPqh zs(m;;U7telUiq%YbA9k~alPjn_bJL5jE$2F*8Ox8AUhLx=`OceK8R`v`bD%aMQf!pbT=a<(U z6`dEIO(?}y!Y9Q|oMwXq1FvpZe)-C3FC?2(-Y$0%2v~30KSsS_VF5R zAX%s)Y4Q&tDn5}o73(L>(rQRObK}4|D=%B);{1BHAPY1u)_Yk8l8`pQ&FO8f=} z1N5(jQ_FC*$HuXw^?-L4^QS)o*CEva>tSE(xC-!=Fe+FVv={ts~ZQ23&E}9Q%jGo?{OB9c$$z1V1m^ldPU}j#|WAL zL}*HbxX*QOha_{jPjAP2LPKcBCon>92SAINh55_(4oXj)oCK{yMjee4)ZhS3z-{7? z?JsJ^v@a(*&*X?Ctp>5Vo5rr8;SZAoZ6IdsYo1%{T^?`)A{Pda$dLD-zthz6nBoMP zE?lZ)Q29Y<{{s^+fcCo9BeLb!4w58f7Lvh{ueckqYrqX~KS&s&AbuTTJXf4bk3Qia zKXM=};8_g#pnJg+>TGgxd{%g3dLk|~d~jw&*k}!M%8f{01ouN^8OFV66DzSq#TpSg zScra>nQ*9nn0&%?=zPLVX`(x~R%U4A^op>5d_>T>H1KjzfHOkwJSle07m|TBRr=fl zF4+Uuybw~`UHii1&cVlfe)E|OVNOV*Ii%9H>WW)m@KAvl}fo=!VJp`6#dstA&G*Q*1wNMxm z;R+HZ@Ozf%dW=mIxeF))G_3nb^vq}l_G$)!1yJVXfPyg4JG3-v##)(w;0oY?JgGB7 zA+qFCF>q5*YC2cRAzXdL?N48fc(ETf1J_<^o25&x^~VH{6?^# zY~02|g`bt|0g3wk-%@QWfczNd~&43u{S#4d9Iaxc>73kZIWJ=;0jlCXCT*&<@ z*_3iFV49RPZ-k0nqNsw<*Pu!#MJH6NN<&lOXprUKO-^hi@C=MMdZ0=oXs;|)5IH61 zqh@UVm<@EO(0nWUGc7s1fqbJxf65*F><0yDk1W9bb$$Dr>5x;IS14t7`B8 z+Kj;+{3QY_w8AXLA-X+oitxy2Smb?IbDXvru-X}6)-hqP4|e@}d#;uqUT)*!S5SM=6dUXX z_1{H5ULYX;nuzSpVDAPQ>yt%XtL3tt+~o6T-5=?-ReJ`V{J0Ew)|j?V`g-YQx}Pp9ucWu5m;O9i8ay+< z!};(osFi|mc@glr^tB#TVTot7E_5AON&KBl_yjNaXD#`C+I}?}x!}qxJe>)9F_k_T z;{sL>+u*Um;PkY%X*2VwHOL2xpeLT58A4g;XF=tr>*d$mH2)C<$*5Fa)p_WLU6At zS}pCr4Z+8Tpe1P;hQ}QZ`}`r>05l9f30(h?)HmPaz7Lo*#;|{^*ubc*`H6sQ(IoNq zq~nnW9vAMlxzt8ggB_T(M0$HFj9SWo;YAz-aE~FV9IQC|AGc##hQDlJmsFtX}62Kn~RMNRl0`Z19Sz<@VR&tX5A7S4Z9a*<^-KiKI+qUg=$LOGA+qRSHbZn<$+qRvKZQC6?`EuXq-WR{V zA2r6Qv)7p$XY4ihI&%TB7F8OzCp8z_fj61r1mC&Z^M`6`G!@2c|99uq((`-7`?idm z>dqkpl6~K%(Z7vJ66;6E9@UgIjU>E{JP1)=P+u?FhWuux;#tkr9H*|X zmb7ZPr4Rxp(x(tz2`^W>!K+x9*LE^pklm*xqy7)4T|sQdi~#(3>iX_D=ZT_fnN_=`NOLz#RHuaMfiDc7lb9lLie3;R#|eWRDm?^R5|*Xvyn=o0vLcl~@` z#FS-+e4vwzccA02oLJemZ3_*!k|%Y$Uo8|h^VPl*^;?G{X=G^{~obWLs> zoLs9fR~r?2?;W0)7v3@pO>0*SOr7(mo?Pay01N|%#h0{?@aQI%(HD=;#0AHA@YLa*LW@-K&w;0nh;`va)gjb#pG zA02$H3{JnlZ%JFhq2WGMH_6I;F(+}=9HDn`s^HE;=M-QQbKjc>XHZ`kwtf4qk%Zn} z?^eHd2>HBvid^nL==pyC(iQn|R}(;rdASm5b$95}_ZD=wk89SZ=kwnD*gh!G&9i|a z$?>k;P@zX`CAYfbvIS}Y>Qwqx?oNcsxa>|;bQ`0KaEETg{jF_d1PesWc_a07-ELNS z)SQ3#lUGGnWVlIVmk~x#v@m=xloJ@lV{cGGw65jBcv6`k$Xe~cbqnr#`ktjfy6j4J6So9>lpUyebGNQn` z)XwlS^g@{JNaB8lnJL0MFzHrL# z$bL^SE?*i*vODVoOjrNC+)>Wo06M>q;=SO)3#!tpx%FAKmvRfJJyrR@XKW-|;t#pW@yw=0aF=93x^cd|p`B>+Nqi%1Fl_Fhe$AtTNQBK1>mTkRKA+_c-uyRlSw zxiv_gDVwumXr5!*kN0ZkIO^u`!B%G22reToA>WE`RTppgBkDfPYuXg8z7w6I5%4>p z>-(QqUIkG_-&+eXrUX^&YmTFgok#0m85K>bR#r@IUhS!5i;n#7T^DZ=WGm?4t z!V1DyxrY7$?w%hNBKyi$igP+CkJbtW3B+lw({*orZ_``Y;F%s?zxZZd>S*$TxV;$Y zVpk|^Q|LwnDGnwn^lL-#*%CJ_+=7$I3)xNfSW262)i~CQQ=WwZ_`af^L8Fy*MIfe7 z1~Wn{>>-Zg>SazqEzEjoFdIS?!Z9q-sRU8y>UjDN^(M5M`bYvY82I#O$QlBpXi6Ob zg9Lznj(lGB4}nF3fl$W4C_pPD0HmhC5wLIoh-m_hvWasH>=_K?IrS-}G66;b013{3 zQ2^OEnE&@_UMFtU(*GNJ(1YLry^{1_K}up_OWMR+@gJP)DOcu!+=zJ^d*@|0GMEGk zj|Z=ZyhCy~K8&le%bTrOkdfuKCIuEpcACg-3bWFqck1(D4kR~NIwkacZ`AW<%P4hj z!A-Y^e_!7n&e{}h7bGlg7lDdZlSO0u<+->!vpOg@m=g~JKG-FrChK+Fjo5WmO|IB? z85OQ7z?`C|3mLV1t>x-@9)>Yl2c;8ff{|Dr)wpDP#!@sNF@IXfV?|EmfeB|+OtV=j z`nY+aHmvS*#qdqVNyi71I6k>8${N-VdtTYd^)}RGB0Ywyzd5tf z>!CYv;dB(BerH8%_I4}m{Sp@0fa?D~-2IuQlS3i_M#bsz3BNw@tH56Z>u^+oM;Y`v zoSZJ0C(^xe#_ZqUd?UY6QH4a-j9-R&>asxiy4swHX9^30R@Gm}msl!Y4Cf4ws_ zkjw0+wSKTZ(F-k6$8Zv>%*{GJ6T-+=rzm7TWEDb*$$u&aW=`czimXcCk7gCu{ z`+6D%D_=29K>o2Ucpbk>zo1fTJ%km?4DIpWFrGvz%nFUSfVgBngXp9IG))NaV08#!Y_TX5P5W?wA7G!ZMgIk2 zf&id}2W=mLaWwT~0c4@Uc>cLBMg%YbfU*4Z=W~Om0YJpkpFNe30|cP|^Dr(wfCmCZ z!1mdRwgP~*DTEo2`0wp4%m%;&fN}q?5k+zUf+4_I|3Q@G1)u;xEC`>7k^BI^|DKbu zARz2hD-Z!Vn!vsRxB;KT`JXx23IpgM|AR0t0Z;;fx@AB6=12IPpt3Z;8XSZp51?#1 zkOi=T#rJ4YGzrQB(7-@EN}odbM4v)|3V?dRe<__NT_u1a7#K@ak21gt3yclaBMYDa z**^hLKt|R8s?QmIHt;qLSObm`z_|WtUE2X5gZ4Z=TY3Iz754(zjSGCx=K z6Gj=p*EEy~2*Ugq#D8N3GytgnwaRE9BwTRnrh^6m8^J%yPjD6>^106c>J7-o%=3Tt znvWW+x{}&TCrM0rh;nn}yw`b)+Uajh-fYcW-3St;P zG-lEl+=XgUW9Vgcta7CyUM1dQ9n-TZ&C|Ik6)#(_R}kJ?8~+E}WIF$(tmAdY<(^O1 zgV&^!Xh4SmkOVbU8{Ddvquv{-xh() zLwdn|>koG!LX8vq-QY`tOe&b^STpNM7PY;dcJ0Ud?op3Go7_zgifwa=5E!Z*oE;uR z8V67}X^r`Y{7XA#K~&6TNL-n7O)EPQlij7BoeEVU(8ACNop)kr^+k=a@lbqXG2BZB z6Q@dUesIWIh!_J<)Sq zCPoF6vVFz*RChV|#o|S^_L&JQ_8N{q!QLA&Y%S zxtv)Fpsi+;90-56V4=S}9MiD=G(q0K{?z)E|Lwh+Zi-ERXu+oK-uh;SV9sIM@+%g_ z;)r3QX4QxMS@fn`2?s1I1qp(9_CDl}m?6QoNW1VO>U+POA=ecqisTu^JqmOPjIdlk zs)Hzh?6-Vm3qwCy1A3CACHDp@M^SjuAu*&gVBEPNie9yz36YJ^;ntx7xdweGD4nWf zTg)QT4;MrWnK%z^S_6EV>vXvUdx zJjRJTdSGR!2_Lmi3DMekXLzTwt~%=YwS1PXJK=i#2fCSxt<4(i%*&$js;*K4%=)Qsc& z-lyxyg2MzqP8tpl@W>8g&dO1#%sZLp<)wy6{Y;3aU}eGfM;HR! zCE?5Le%bIUg!bcPErUJwSB-K^aw1oe9UN!JDBgZ~(gO6BisoP)-LE_`Nr+P~z5;l`@)tBS(s8q`<6ly#L0s-PyYt=S*%RjCV8vL`gjVYQA6C&zfed2K6A%*cp z?rHD2AXt_#!WRu`d=JtRhiyF9W^7ErB`x7|&u8`DbCka|h?R;oyrfJG9}qI6ErGZM zrS<3u%uk>M#>tYTOs#+5&GiTlU@wR1HiqyXD2%9Fp#=;fn51Yxwn)Ht16Pv22C-Ap z&w2Cu$#Q?)Jk6di&cEWePKEaf0Br|asci+ShlR`os4aKeC|&t-3m%&x914JT7Y0-9 zM(!yS)MrLLwXSYBRthhX9+v+Q( zR2m9ozkK+`iyu-7T7 z{EyrA$#_xG7{_c@wHt-a5ziys>F>d8m6-Dgg>ebVGfvjL@2*Va3T;0N6s8t$WPRx6 zW0cW#P3Vri3M2x5FT@#mK0;;J28dtqA(f^4k@-vzt0-r8^^m`iPnk$7g;iuJeR5)L zYXdFsy7e(yh`GluatF+YBDuoz0W*Jyc{{kJmU8N2FL!<$2>03SEV=En;$J3@_6<=S_} zT_hn~;KTX}IM|n>x3SXIF80AkC<%Y|&S*xTvF zVT{KFX%Tq9JS%bvb`s{qSz?1LRb47r-y_62Jd+Ee-^D^t(9eUh81d=;&)mUYWPybZ zFpsU}mjz)l?}f>mb;G5^0tgra^uQo%I%dk>!y!JJNIe{@h5D;v_YOEXHd9_-#M1NK zw=nSy#0C9>!0>>w?pYWe=6)GRdJA)MJ-^YOSb0f(c=-i!Ii%!j~Gy_H|nCuh-ROS1@ea_Kj!YE$SC_UeYwY#oSF=2rw z0&+4>+X|&et8|99FhsG0bnK?8fLH#w!CW14f=H+-?|$HqOemE^@w`yZeUPzPJApSj zv_7trXqBBa$x0X@A|cD80nDHZ2U#-iEW1rSO6OBVRL|@oGgydVvY{ z=gQpIH7ZJ#lgQSba}g$^`-5_|x5^g9MLuVZhDDyF#QDda8GjcF`u-Wss96HV%lMnK z#O{{b@J9Vl9SFw=iXhZNsHC|%w_#lMq!hDXpZYhudTSU39Q^CwBNm0s99kqJ=AyON ziB*A8L-5tCsf3Tt4Tsy|yS~-q;`}L>GG(p_)8Btyh2t|ve(^wSw8xD7T235_9DL^0 zXH8T~{Sk#imIqlO92so(ZanKP4Q(ySUcj~30D91c!_$k_=yAg`qOcXW zegA+^7F}3M`ICdv*mb$LWmaGG6BnUR$>^JToUnO{kApyxNV#qPmL-#q-AUi4K`j;L zsUH<&&?DTi06*T`9R^Tbk6ACTy_umu%kKn=MaPugwmUK%7eyq!^l5Q?(U`)e)AbLy z5z9$H_mpsV$HAW`=eXgqP2BRxD$0OLSbuo~y+5OuDY(zQoC}f%RoD`3e60J&Ko7ng zK+g%|t&PvfyNy*^LvS(7stM)NM3+Y|=(+o?)_XZQ%ZOWgY7YSw zY|XUHoK&rqMi9-aVWo9?D!qsN19<{dZnqWH;VH?vs9c%MN@#jGeTh1l>}C2iAi3vf zj7>_Mv|62IuR>35C8J;XVj&owuJ5_JO}}Pk+Y$QOxbVH$AF6F5P3Kk>a|*)RfM_X# z=F*$)pb4C!Y=dwR?&FD}TIQ6IG_8Q8N!p#vJ{Rz~<9a>>ZGaQmv)9rlc}YFn#Fn~N zP{Gbb``0`D!ne01hl9}?HQ>$fOVhIetm>t&Ope*ow;I*oL~hFaT^EqnvBf?5a2TXTUH#>SSBp>&#Hxtw2NaY zqY{qbXC+#$d!1#LUx3H23|OAPKjniIoM7smZnYs$2MY1}e}ku?XD(|i`#YfDQ94Ul zVtQ-@RUo8F#uvEHo;(aW%Efwfv-PBO{;y$ZFGvma`e zV`!0KV9c&U{G=Am6xO~LNttibf8wS>uI`3Ge3dyRLX3)$n@=mOY&9$zgpQT+V<-db zm1)bIi3?PN295?`{kJvqFM9jg8*tTsOZ{Wwd>S3B|Cc6J zgI7mW!^}jEgT=04E<80o8#C`2QtdXh^07|L-N_@?>0vyfg+N1wA>RX|o>X8aN7MiQ zt?U}LuP-1NB@2TnJGa(Wr=cQuv~hh#wQ-?hUcjj8jO;j(pW;YAr8aoNsx>KgI zyX47}H5V_NO8L`8$q^(1S~6wJ5L@Rbt2yzJnoM@*CXXKvrH_jAC`Sl0HNuZz;8O zWTuFcEzFssjxr<^!EnK{_Ho(RG>I}pO2I~{7!6036fG~zB*HUMZj$_%UA)5A6&bCL zL1WU`!np+Dqe7`f1+GJS1ba4-mcVGK&``B9I?AAz;~0vP)T4}6r^*ljjw4>B$g+w6 zbq>tk()VYfk<62UliM@7?KyEE@u_|R`fdNTG6ImPGHKOtdWyx6tag)II!7p)D3F)k zegB9$eVDZ3Xk`z?-K{EFl2K>I{5{^M+lQ$SUsIq?jTuzYyU|Zt)3C%#j~PCM%1lw% z8&`u)k0I072=5{K6y7h%)tH(5)r)?K5gT|le1(m&63}(?<9_U+ohnz1C@gOv`fuQ) z_-mXfNy}crwWEiG`-7ajLoeUf?RNLx6yZK4@9V?|VOa2`Gg`~qIf{nf&T4b$daiOU zl_j-gcUSssFh3W`Wk!|7X+-eKN!ppq<=JLu_{!;-iPbQkPgsF7ROfQ-5^55Oh7B-e zsa9GJJ&1p#`KE0nFF1|b@M*FvJxH#0NB)dDk~1?A#Y^{gQc8#D^z2*+2*04JD7eO= zMD^fZwDn4j4y4!{BTno{8%@1o;FC2iC2wLDSSB9fC`6|op%X3?qMAZ zq`@Q(vy6>TuKYi~g(IVN6VqISuMrjcec*Jb9x*4=iVzsaEc#BbiTo~y8=0|TC)yfg zyfD*Yo-I+Pfdji2aEChjfq?Z?@=`;~-&E`Qe^6QBdT<85-~MU)4mS zkS^AukP1?>WaHl0xeWxx9w9qC-*=-g?;kj(kgL__k~cw(Q4;#Br@-G-jMNT~Z(&0p zS3Wz@Yq>=mwYyj6Kf?ieIB*^ibY0)nuH4b^W@s5>$vs5SF&Y!(5UkUGYvv;N{UCj!TM-jZ37ff>7}n3nlBM z{f|!v)_c+kv(FO0w^uR&r8s<6*poIASIv<5)DBXvm+6ny=0C|2J=Ai_Mjr`JlYhF9 zepQ^jU89lz3;<>{t6Em%=x`eh4Pwv__3ZjiChA=(i7HBdR9)}(3a*t^p9Ez?R>B!T zsE*iXmyJ3QxsRniBsZOrNWMV@voo`phj4$P@)#uzU&>?W?+ax{-)r1oQO8i-5k20l z_g4!nJ|GJpkVA`KbU-qWidfha?cf!duRK1o6`T`~v;ZDuxKB&f33wRq-HF zUA$#yZRwEk?$jm`=J<4u60kAPZU;pjiod&BJ=u;689c};Kb&PJH>rr9IEj2IBRLee zQ#i6X#WK|O`6~pIe;us|X&*)tpx5m9YIQhaEs=RY=WqtbPtvsTt z-Wy1(OH+B&)^{KO=BDmMbS}pj1Lw|~0GDI`?O?7kKi|B8hK512sIFjOM6E71y5}dd zjXm&5XD=QpvrRt0aeED786{DGk(SdUF|}3@6>a^ffauG|W(%WX`f1^|UMJVJ29Aod zG2<}E3a?gE6Bk$WvB6Om@vo(SEoV=Qp!o%w<2G?T!H6Z-f>PK;h00HkxT*Cr*R0s4 zhFkBKG$))pPZC{kLNzlf?I>b z)@i#jMfPNjtm8ZUwa0rZ^nE!-$0^02Ix> zcpuzsC++Q3D5nZ?n4w7p1m;@M2eb;d{9TQ$J5MPYcP@)tzvi^doSu8C#=qwy<{d>E z-tMDwAXJ@Jg2ECFpbGLWJQ?z-6_J#%nL9*?C)!9kXhT(%JYhDy|=I`H?xcL=-iwjnl z

X=4<7f7!6hR&!es^S$W-xskMKE#&7xGao?ElA@>ELBElKhT$8z)7st? zcy6SDGx!%AL=>SaYLf)*Q&MOJ@D5yCQALD^J>Aslco>dFTZLzs@UF(+F)^3>l4^=k z==BY9t|&RoqR(Vq2cyh^Cm7?kujq<3wFc_)huX$O+OZ$09d8#NmU~+gUc4jmixDzu zM;&&ny-CA9YgFZj+={&ZLevITtw^#MzA2GwwH?_d%k!U^K?RK16`53dd-etRdkpC6 z5?B9}TAQ>%<g07nr2;XRT`!O=hv9{{rd z#d{cj0F2Q8;XUl00H~l>G;pealOIjG=-?ud{~=BrU7RKL*Qf*w{UcF zCT8Jc{wKN~f{T@%waJ(kTp0{#sJKhceWD?pIG2-yMy;Z$XaHdlgnp3ogBg)wi;g9d zH_t(KMxfEu9LzzTyO&&>6DD!?4LIlCgZsTv#3ham{qF{I1UxN0B zt>Q47|3W#|EQp*zFq&hu4#9>X;p&rbfa_=+ij&09ez!wM?zl5VPZY}nW^?`CL>Zyd z%*9}rK*G=>$|?B8OUy5B$YGwIo&F7*Op4B(H;1&EOthbYRFOKnS6tRi87@c40OEV_ zoCR~O(G9UK0ghjY{<@zAtP5m1q#`SfQ&<8WF$J`;l-Q1G3QZ6xGT0p86!A~uA8=>H zT+kP;m0bCBKTclSFU#NKfQqv)-~0+Wt>ch`(E`vv-8*qd>USZAiBRGSNcgDg?l2Jy zA<(+{Bk2u}i)mqr*Py7NkR861)Q`dP`WNeWQab@u2)+}EH3zZ=8|Z_$YnZWbqxTBqAF0Dant`9ua3i&1j9B4Z|007V{v{$9 zPp-iX(8!CJ9IpQ2n_N?%WiQDptXK?VCt?!Cp9(PkC0me;%dQ&cd8>?>4OS%O42U6q zD8^`~{Z>*BR-T^63Je#g*V{?-j`{664&lr9f)8A@*WiZ>TN3asIX{1>-` zvmX>TVrwu6q7GZ8$BB8zVep8oS6?u|C;j`7^JH8e<)LWjn#G(0w)%I-09*UR-^BQq z_q)WQ#5;jh1w8l1+4!`ogun71f3cCS=5$=|9TSM=cqiloBwxM~xr%|U4+^oiQNL1-$=<5-c7Q)T^lnK23lVT&d zbC6=b4X&Y-KT*tQXzwVS?cXUEA%CcBPJP!%@A<)oiq*%+PW)(=Zh8D2s_>d^Ds8*J zKSUP1R=I)DgGq+&_Iikf&`?a+%7=J%xf82nRX!f7-g#d-ft^2pO^P3j1aFPZs|fIA z`3mq7QgWk1$T(!XEH`3ss16d6Q3k~rl8la1Pl?&13iO!E{#`ftEz>OR5$QR3^DR)1 zVfzS|+mz@6FESyP&GZ4o>FqSPa%Ett<-G2&%_@egGUu6_4|gT`w$IW}h!H8EhH>g^DkP z$~2`*L9h0e-iVZ^a+XcFsN10K)?CiU5Y2eA#>jScmOYWC(6)xZxMI1E{B&71;%VK( zY1e~iWR}T`Q6P-N7C|*aKaMHwSEeYWt(k<`=_HNPL8&?yxaVP@2|~~va2--~rq>M@ z6(o__zQ33vWIRYFsGbTISr0|H*wYnp!daw^&pj3_G?M;mf978_M%g@GdXe1x!x+6* zs||TsG>Ni)n7{sy2$fR*PtX+$I49T%h?*6g8klQGU3O3K$Mu|xkkKTb!|rwafJ!V% zk$05wYDFPc*_18c(KwN_Y~GZvMuVCYo?^A$87GwyEjce~%s}RTkbwugIqm>{+l34i zYbDU4oA5-Eu#aFh+i;mZcI2`s=(Np-)d_;Xd>||x4P1r?Xy8hP^Gr=!o zY39BhSN8*N28yPp#AAXtEqTp7IH-H}#KK1~V=V(nFxwD$5A)6qqF@6j2Ff?z{OR#@ z)uVSR#}b{K(T<_o_2^ut_p3Urpp{>FIVc;*E#uiNSN;3SW_yszFSIbwu3R)Q=ZG_i zUWU9+J9Hm*ZF<$sf#&CWwh}7 z{j2Px#SBhjpYau}gzH{G5BB#bhSaTuC~6=xWKKz@l7z(~fH?SNV~}iT0jjRBDVPi+ z${lSi78gfWK%F9r9)z=!zDpoo&*B~Z$6eG@ovA-|=j)H>ke&3JxM%zA5YAJ{wL0CL zMA#q`QO7(R*&WHO_r)bGmS+?oFT^l~59r!xL-b{K&8ky|zky8_SiNrK1$}(-K0)*%tYNJa^qzmfFOoB^qX{sG-WZ?GQ%p-W&DBjJhjfb>kPaZ ztdpXX3@8GK2?lq4b5mS@_0T38N3B)E)TI$;UyWZ}&P1)vKsc?v$eOM{4x=Ack3Xk4 zo^`~l{gMWJHIm(Xazq-Uf*|(EjqU4oY$n4Y+ZBsrG zBbGAbZ%Hae+pvn}@=p zn0C*$eBpc4=0CX^5IzoH{RkBr9XJc%pRa&$#7ZB8f}u<^-&worDXdcwK5Y!TA2ROjl6&Q?0Y92^p`Q@mE$*;YXhV z+J?VP4Bwbao&d8_?pJkk;Q)(TZXz-(Q@uZ(ERkSe&mJjS zy07^xL>h%xkR&*#B)rfy5WPDo>==!BB{zB2PXyw|xT$OMGtAnRmPpT<(^ni*HuCEQ zsX`Oxp2@tB&tYby9A6B_e){YWwg23BRI(X_c}f_|!sS3zbefw{yrG)fFr)>B8C8J` zK{d%`X@YZF?DE=m$~EmIBO>}hT-fGY0LvrhCQIOrlm+h$t@E}8Qk@smYVv)ae+DaE z4$Xx;!x-X6*mwqElg%PeLF0-+hWwc|AM$g}Y-7jH9i;ia+)N??7lTb*fs{AiA!(E@ zU6PC-W!1Zd&4s_-&61xdEP*c2RuWsgMlCfyd+|gq7fFcswdS#Apj-8CVuKL|nbhyn zZ>Y*?e+WuptLcX7CsjPe(u0peEoh

O<2sAwl1`!I^=1LL7iZcOm+HP4cnn=am#? z$XfWgaB5s|uzHr%#&=FO1R{DYl-pTQ^V~HRT%VX+Ur9W*L0UI%D+yXd+z<3lxRLtLQuG88GIsnhgui~w zrnuN;x^~86%#;z?Q(EW7+RR#PeD5pZTs5^Epe4={so;DdMS*yfHeJ4g7n(xhHhBT| ze;wo`8WAk`(HJU@v->I?N-pJL4?Fp-dBK?J(cN=BaHCaf(Ym$xNAM!m9h z;TdYK(qRlmhx2YTd>l4njQX{3CTFeLY>=Komg%t=`Yrk%w;QjcHNuzJkXwVC9K7!2 z)|@{OMuEbfPC>5#+9YL`016F|<%I+AwP~dek2tOXf@`AsC_<)kJciEi$Xo%H;CZ50 zIaE@ZG`3fA?Ge$l1WI$tJXVKDLFT#-qeZaS-na;X+5pP)M1?n>w!ifNK~Ca`CKW<28n+L`G9dRb zCO}A|*Filxwqb6T0CcE`(h$+7Q9_esr9utp#5*eZQOmw#-|#~@%~C1h?U_3fq`>9I zRn{RKM{-n4v);zNF?3}7Lh8sfr2lJvj2S*JgGpzL`gVJ*_znT(Mt>?cD@4)*-8hB28p3 z!k@IC`aB7SIEQC2rI+{Zi3~Kcn5LE3?n}Sqys_VtxkDp`rM!Xwyp{3|_Cw!f=Doeg8yHSm% z$`A?g``*5fZ)WoQ@O%LIQ>0v8E?%$GPdcBiT1th4Qgz0j49^YW zvHx(lGC8x#P`bO1bB7U7cEp&mnKZ3j^=%$+#X)&JO1_U04N^U3Al zy*OnQQ0=hUYO$sB44v|X%MAInSLgQ}Jze=<+%=*_T^xCyn(=9h@-dFysz!0qJCer^ zMxV{5U$I0_yZBN>Jd2r$g=qy-bQhAv_PM+yi|^n-t-&`9srS>9=i+BgM5;)pW;ag7 zxwID)ei`!LdeVUpD22h}Rfk=Zg~d9v_-0sN-xOM2-lx-wF5wk_g)xER2V}DcoTqm> zp&2F+{UDdW!(s-!uHJrD0IiZ@n)&)`;OkERMfXVdt90=ar}8V90?x^YLVbWueL&yz z_0jss)#~QrTu7Rz%u#m1o#*hjIgT>}3^;{m{TEHrj^t6GUDStqJ;I+VQ5ox;g1fkp zhA5Nl50Poo0Z#3mZF`Tm)ze_6EcCrK1$^l$_5^j7O^o1toCp!kM15HF;M@WRcl_X6 zq-c>hQu?i#_R8t*0m3h!jR~Z|u$A60j9{bvOC;Zqx2KNZN#w(6-@;FGDZG(1%kl2% zEAk<4j`uWx=Bi&O4OjJB7{+72H4?d0<8bME$AfTCO+s-u#bx=waDcB9Mc~y%;(2h} zMiB|MKfF7L$Ts(cm_#oMKGLe1_t?CZ5G;2MH`QeuR zB2tsytNL&cU>PX|CD%&BSAImLoMy^&Fy%5#NF9cIsEj za)i*Terdkx`C#(a&mo6lFf`Q|R+5RR(oax)lq;@eHLF)%_@vT{&s@vYA8U_re0{~E zZ-)jt2*k+1-UStyO=b~xc_Sue%Bg0>k@BJipt9fNMpzSXZSk`j;(wbF{vrRKlL{NZ zL{5S?Wu7WC%LEPEHyJ7iAE=q;cJJ?HeyggY$4~^iNh!z7I+%BSzPichePOSt)F-;R zIkA4n;bJ`9uhrC*OUf#Zt{1C^YA?>GVa-sO9$3RLMTcd5i^ag+!uo6URN)jTW9 zmH}0>$~0V57)nhVN;{Q-%6fF_E4aRVfh|RjJ`ybjwk9Q7bZxEUOym_VFOLIlRFheV zV=tPP^Fo>xhHPNAXC4pMP0HrxbhnTR5|>Ka3s_~&jl`OzWur`^Cm$yR?WvO|mUo~N zA#gU}U=(E}waPJ~;{Ih-^re8;Y!-6^yM?WEyd=IC`*J)5W~y^;#fUD)z4>3mcaxtw zKRzT|wHJVMb(WlBiB{-K>U5s^UL64q6L?+>=zPTEZ?~x%ZgjV$`!TvzZe3KDmqK2T zrTZ+d)QcO{4|k=LFQjEZHb5IA=bm~+E3}kAwKQ*fo;fP}{5^3dw8--8=s>c!#Ux8t z*u84yllM0Xq>WB7`6|k~{YXaKlMCUP_sT$GA}A#q3Qd_Y`@B?OVZ5)Gyygv=QVGcw zMoEG#6W~|`(+{duh&_>Y)uL(krAYCZV7@nLU7yyaBf9hB9W*pV^@eJdQnR`m;TH<@ z_jVqpxX}HU}A!jyJx9{wuqfbgjk%lvsxA>s@CLSTL=KuYLe*S!PR^XbV0pqNRPU8YRoF1ZMza0JoD}HdT3glTxlheb4qXhUgp$s zBjY|SDa0%zq<7+D9m@NW{%z=l7;b6(IxDN^r%OY!@S0Z4=E!}frUC(j=*M|{2o+Q2 z$Msed<@sG7TyxEF_NADoc~St7I<22PmmvFEE79udGHnmZzO86&e1cq$AYt$0dUZ4F z^*%pw_5!){sfqllcI4_C(IdtelQIQ$CL(y}I^ye6f^iK`LOLe^(UE#e1 zl-t`y+IMG%mhxAwL^#Kh&a&Jv)0dk9UT!lf`EB2EK2vU^ajd2l;C@Mc*Ma+rv?Jmr zjn5k$*=S}S*zLyJTC}uVIS>L)G{5fidbAwQ^_GUONebeEJk9pfUvH|*L-s%iFGIei z4$j)l4_zt0Q@8mATztzXZ0nh6?FA*=)bhJ924tGWr5)x?UI_RsH8(=*sohz_LN^=1 z4qpmzp)L0K9IhY;QO7KAaC zu_oWMxi6t#45TeqWud37+FB2l9$)aYZ#LXaoiBMTc{-8yQzkr{@*J7EmLp2mCXc7w zQ;IqbQ}(}aAZ=99-Yr-&uAG`VncO9Kmoqe`F+LhLqKpzW$wzH=c-%AfwI$yi223SrT-(1nGjGQOVjab1W*l#=r=GxF9OK4iFLC%Gv#i3u4iyCE?C0Al zm=y|p>nKIgh!$m7vm&b@8^J-zED6iklA(S>A!HTdRH4R|eMo3DLg#S&G*?eAsI?=$P z09;(47;$iHVM9&>BQACx6BZ*=R(4KqV`CEzLv~Y6R!%l{HZ}uRPC@?vp9JVc9Gv(w zMhad6oC?VPzk}>J7R?lt)vyPzUNXymLy8(<{Y3wXjxw;JPz}#{wp8s#uMQs8;r6}e zLAUyW(1ayM@lSevYr5Hg34(K014osYr~Rq8v@cj>l+n-ek74}N>T`|A9ey=H{lts`GGO&s0=fxL@khtQ`?4OMY?QK;@%BvAHnh0w$is(=S zPgQqBcxrd2(p#PmVvqcr>+S|@6ih0lX+hx}`qD!sOWz&D$FS2IGnz+sRlAM_TA%mNMHOS5c?y(YQ^WEJh`TkZ%T36Hq}H*Wuz9{ zjKH@NnfI(qlN`1#rubgVB7mKDxrF9rV0Y&4Q$ti}z`jfrH9jz+dnhw~)#byE6y#3p> z5P`^U=fBCKZ$_mE1-7&hn%OkEJ{|uz zp|tdHkLGmU&1nOgISe32T01haZlH`TI&(FmeS>udte`bGQHrpJWus#R!H&sWjdSCSK3*f2w>3XLi#Ual^E|&`Pfai!QF9yW4Y(a_pnB5wj6Q`Un@D`~? zq)|DWGPeFUKeK>Th6bvla$QpHvw6Tr7f z%`M7jvc2)*uKyR70%`q)?n92E-W__)^$P3tJWkfD+7Ua`>%EhVb5ZYiy_@u|*LysN zUhl8dG&(ca;(B^rSM}=YwJM_5m3BWyU}bt;*{WbQ)SZd0$+{ZXf5u3xLw}JRh1oRM z@e9<6XRu5AiWx!D7_s`!$gVVfMti#B)mT?#p-$uV67=#XEQ%Z{SV5g}3nm z-o<-(AD`kwe1wnj3F_1589ql{gONU_$hrrv zfW0sh!?6lRpzdRn04R=u0be9Kb zM~pBE)w4ocy&)gxGeju+EVMYi;9^Ve7?#Qu4#QI=z#HNEsvt{y0JIw3CxRij(cM8b z-mFG+Z&##+kjXftS@ZL+yYwYVJ6aOH9#_&HNpeU@kR0Wb)=3)Tx=~rxw*0k(2M7^5v}O(#_tK$ptaAd5U1kyihsY<}nQ9k~ z5Q|99DMpu71u}Vt>pmNOC4}98u)RI^yhVRc@sd4M9>ZjzJE(;wL4ZXIrSET-s}=*) zHj$N460OR3_82Vo6{H4{Qdl65#a91aSRI%XhU#{K(%$ZF=_z>?xXZA+3&fdPHhiKX zcWliZQ^0eF&@mvqIZ05R3+=qNmi=x0>qS(hY|+Z{^E>L_mU+_o&!&1N#9~fsh|VP? ztuTj%5W)v48MtaNlYv7)B_T=cfNO%RL?l|b;_&GjA>;Isvy2oe0)MM)eyFM=;`g<7 z%&VYVr}&~4R2gMtOO>L+p>pvM=`oY*yqPgXglDa*N$o%%UIz%567wD@#z+GmM)xAB z0bwJF)L90MZtgm`uLgRdHVrzgkCm)~o9lGkQ}lus9_RqddhxFl)8);%>AGsKF$jEP ze?WTY;oQ$rk(PDpL4VFH`_4hAvVe3N0KJ`yw$9j3U!d%Q^R%AL>dtv4Ka|Q&O4UX1 zTLyV$xh4zUP$oHA-8$Ws#ra9hFtn1Y1v9NWY^3yw@&~RMYE;pDfria`4(CdWa=lWgBq(c=%MZ0n zd8>GOy3-msqV*<@Tjk?trxL=$){Zbg#;s51$!z9r(8h+10|uyNPf=m61%=ug&I%Y| zqkzv8t;53vhhRBZo;G-~t?=D`=Kl`oE`R^I|Nft5N436$BL$^3;I;IT@8a^kR62sQ z-jM--*&gr75`PZ|(WI3yByo6&A%+C^fu07gveSsguEx8qX4O;C>5Rol|5)P0yxQD) z=f5#5jiV`z^p-NrDP5@%yNVn%@c7MD$8cnFskl_@nngP80n}ripUY=1$k^b~0_*zJ zy^Ap*Dx*~h#V=MrQ&c|UKUXgNEA2&whqL}i1b@aE06Jz7end9$A@M_EI*A#0 zeQ5B7gf_?7;K6&A({iVe$SMRllyN$&K!C{vvXPng9(|+(&C-pz6OlfM#8;*O#A22} zM|su40vaEsU=@NYHL~dU(JI+_x1AsBEh4E!rbgi0lX!G5z=f?y102NNTFi>>N!JAN z@QW978-F>$buz5vNxkJZ+`2=YUgV-7O0R1dZ2UO>rQf|ga~$;|2-1IIOwrYjDs`fk zwv7r{rSD^0GURPk3ebI6PAYhr%}ld(%0QRPt7IpHK+_<{~CpcCTQbR>qe`RoU=vPg@0hJ;sxIc&$6T16vuXDH(S6(6vM&c z62S2+<2Lo<A*Mn5GVSyfOcOBaW~= zvxXlm$=Ku%m4X3Ll4+O^C7JUZ4u}Cd_#)7u&=BHSGBEnQWPllVFB#B8F=yUYCTeH#RRQ3v>v7Sv}d zE2Eu8@8qYxTHO_d?u!cRs@2*a*)l^fWdB%af-#>O`cL)A?73}i=1iWuWVD;obAN;R z;8E%&XrvEg_`@aeVlJk`n94p^zS7*Gmqy8{&7>|HN~gq34HmoE=(I^@IZ8z7EWu-& z@8l#XM_HoK(_z|MFM&avN?^vlm|$&3&6AbVOe=cKJ?(6brQb`MsCH-=psryleg3WY)`G4ip_-PB5 z7(|Z%agf0qeYEm{7E}AOXPA6nH1~8u>C_$=^BU@D-Z1IwM_WgaUH&qgc9Qd{k+r09 zFEtl)C)J(A+1FS-)5>uo=pSFHd>L1wOejHw*ZzoB+eB=rnNTgReIOPw!5lW(5=qQ} zod0w{<4rhp)P}3z-#;JF%zrRoW44HKeTG6L&r(?ASBFjioKG+MH?<>n7NO`6bG)Tu z&pS$yVQiyH10w5Uc9^}8RW1JFHM!+`HMbp-DQ_rT4^~Lno%Ya(-e?-e>5t8jx)_qU z_RBsgbyzqFg|9(}4|LlqUSLl?2kC>fvPL(20t5C7^BZ`o*;K48EPpfUJbG+5wLgUN zbk3&~Z~A!L>lr(+;`TC_YP8nwpcs5ZF~Kb(7x{rkD+_}xVhdWG z#wgD}MUZ7UIQbrKEq{aYt_lY^xD9rMFx9vp$vdRdIW;_ZM-WyTl{;>=Qg1-vcsV$|=cbJkqw`YOE|a zaxLUR6l_!(|0e)({3d~019oR3@F}gQAR1+p-bxx*jZebRayKSr_n(>5n-BKICNhD} zEC63V9bV{EEYdzQn1O&RZatq8@IR|(0GA;h=lLz7V+6e2Cam`Sa| z|FnGwa3rmqxm*MI!{mS}F|B7nzx?TcuI>?uvxgoZ8v-~plc+f(f5ZWTC|TrXr3d%) z&PMTSEy+Ow|9e-FEV9VM(>=3V#}efAOtX0@7VGj=u{hh0o7yD&r?#NC;FE|k1-CtZ z4{h(^-&ghD``ynz(gxwBNohMNC!*3J;P@Z6+%@;zq%bME?f*7x#&1Nj<^R<7)B9zU zNkS=U^roy(!I-ptf4^;~ed`BkwNhv$L+q_5tAvs|hD{lvqcVy&X`!NwW_#RN>!~$= z7@PY9w9Kim(+KKqkBs;er*koWvCM)Xm~l`12j18Q?>MpN7|ixx;|>{zzudO3>nWYe z0oNb-NWZ>&?8`xN``z~TTljH>abLl|l^C6j7cpqySrpbse^aH9MCi*m+u#3_+mc9L zd%L}P+ME$SDdl0Lh%Wf;&GqeBO0VJHRZ49hPC7z^wG#FZ4Hx(#J)Dd&wVP9=tC!_l zqaVI~^SkZjg^WQVXOu|J!Ea@1^$4@!)K4^vvt_hXbupaM1o|2$&5Ov|6&EXu{No#7 z%rQ6C-2J-#e^<{4)WzTk{L$5DXj0CJq?}5F9(fPHD-#Aa@=nMgSx1k*#HhP?^%f?Y zt#QyG*4jqb1-igBItK0OG!N>dTo6(@&wFEAk^xLsUxv3aGJ7*8leO~kWgWK6j*CT$ z*e-t&O5_8~Vqt5bL|P|(SBZiY(x#{;B|?1(7KOITe>FDPYf&4EU&;p^&Ru1+7S=jk zc+wgDR0jK0e}XF5OPK^G#Gk%?Z?l#*4V7gCDvph)ePzkuKc52Oe*%a6VgFfsu#m}* znxmo?DR^xM)lpG_?Q-1if`o|_4GwRD)tk6nw$?#^cyphCmSGyu2pV*#5kIJq_FCu^ z44*)IUIVKp%Tg?Gw=nMuNg1c>C04s{Cl zjwls5&JO8PKVQ3ScTaLh+JWI-YwvgZh3-Y0vKr|ZD5rDPUy)v6KYRV0uIDb3q&zEs zEyLu$5i~-$M*W~cCICut(mU2{LJ+~~VA)E%jnUehIjO9*kEeCmGCO`272-SnMW~RD zpdC^nK|f!GP{vJ7zrrECIOpOj<-1p{iLrJyfp_4s;a96 z@2!A+K@t;N2bz+x(Q}Gg+v7lgYeu0?AeGTb%bHCB{R>VRwh(WtB;`q4Yoq_e(A>7l z7HTY6@w6(-u-8J?-&R=wf?2TAND#P4kVAh@ThQV9Y=Z`EK`|$7F;B&PK)|Da(>aTD z#cN}qc&4C8vv`G&9=a-fA;(gX9_-pV@AuKstgPgHy1#2tQ;WjPQ|+hA?|Gp`zoz1u zx=2v*^MXMEPCzQmQoxBI`yoUIK~Wk$OB50pMS#e#d>WanrZh>iKfe#|eIgFpU_0yaz>`iM|FXkm0Pdf`Bo z+JeBN1#>Ex}GbICrL&&e?oImqoI@@J&82 zMiJR%Y@@B7r}ZsgS^MoNcws7q%|l|HX^*5Lq`gZWjNn{7CKmu~*Z_N@JBCY}7&f8K zH$*1)YACx2EVE(z+z%K+KT?vC2+>&pEJ(qt-@h*1CVC-`PYH%fN`LFNNTKUb=5xyv zj|8^!h=oi7{qRjCD~tq7?+6pJ5%EW#1s#2%b*xL$iwd>?{0c=*}VEf=!Q?QP< z|C`rvBL3C;*PveTVZ9odUJcApeYrGU0pT{Yz&~-e9FPEEMlcZ=KqMUPG1_SR9?8{E z=EC!g$AzWr)4{q9LVs|b2z275!+Ouws3UD@UJj0%Iw!P3K0xII{~;6rL&+_{YTI%DqQxFW5@MB;_7 zLe^qe3Pdke5cDkp%OdJ4$ul>+1&^8_mTNSxxtPXr+JbI)2nhFlgbh1+uKcq8MKG3c zzsxeS;D5m>nopMBcdW31$=S#T`j*U%v9Y>|I;xsU3bDXB3ZKhpO`UGM9tKZ^}$RMwt*z56B5;>KBdH3h9-hDhmIRID{Ugk^)Q{O^*U;OX` zlJM%?$LrCwHk)|;qG|u_r$7GhyMO-p_~8g}0DnWB3hqUd{^x5X^r!Eh{(O68@F>y0 zoZNr-poJxwmJI(pGhe@Z{GTI8s)Y+)k;87lFU^oH0eA%+0;H=Y z1PV4OR&o$zkGmm!B`B4DD?v{QUdzQ!`zBQFVdW45unKB2?`7QWtEFNEvdeD0_nO_z z)_+2kG{oTQSnem*SeYv)H4BCd2@OqLx@*Xo#m@<$LMV*0iEX$UxMHQ7A+xc~!LvM? zxqEa<@c^wBhg1p^i_yZILr!x~Myn74L*mP9GL8r|Ler;V!;v5}xoXS_lz!DrHd~JM zlbwPl31!Z9+T-OSdYyw^f%ga8th1pj0zYnX?v)Q zlO&k{A)8A*rf(=WFOJSkPR@)+979cAl>pj8-yovmnp{2^=kV${nfc@g5nkT@R*+mU zY*}IwQR4z5dT~=*dkpZcC4g~O$#aXj?~q$8eQ#1at}*3R`}~ZVJ+(?>nQg1G!hi5@ z;w$v*FyHl@tqzh?W^_;4^jm_yFY|JkYApEo7y(s2AEsKH@!(|*Q-c)7NMn{T75UIA zo391eN0tLbfvY-wGSS}4eCHl5o?%6EnM0=M?1#+%Ay@^<0b%^)iNmZPmC z^35=LW-iUB7L8US$QsZ&7vt28Q5kW|9+w^~i(5lCaDtjr9tH zj12OcRui&WtBz3#OU$fo5=gfnv(ALI&MZBJOTva2?cgc$Lj$$DPRT6@wSS5UemI4| z?!$uaS$cD+ZXrYgAku|dK+F@%XFuipzmqqq8U$OS#*@u0Msw3yW!R(_iitJxrO?C5 zp^}KNn!h*4mw#j3dFgo*GGyweTESsG>X%4U%bd&-yGy?;qBKqEb+1;QQId}hU}%!N z+r1T>DyfwqJ7O#p;5T--q<^vJ5xbTao)xuSCA#XCtG63YaJXNzib)Vj5mD0DyldT9 zKIoQw@yn>T$2eW|O8RC#-O@VMlCqUMm&PkaTV;vo6pvOg{o=BoY_QJl;W@z#u4lG- z`r$lWJaeeMf50)EM}aWxJldJGtL&i56<2BDl4SL`W<9kk<*gTUB!7XxK^d_$_zjFP zIWkX;qU)#;<7zaP+yepD0wh_&F|S|m=BUa+wVCPr$iV4kSq@MkAYZXv3Jy@YTI6!Z z67S0H0`WASBhu}1Qi?2mu@ca#DeIK0ibvSfzN=+J2S~#L9EwfJ{ z?W;4~u)asKI_pu8C z)N?#yqvO&8Qlo|khKf84j2k)MC6FgTFEoQTtjD#ND^cb+TQ?PX5>!)yr>uG}jZ=Cx zN(+5ch|M*E=+sX$WQ>P5I|tP(1BaV_=9cG$xK%g3cX*k(_kXNp30@lflEqmEwT)NI zw){1MSC+h(3sSJKOkv@l*1{?0!s<>dBS}))+qWP?7QKDqxR>g$;`tf(Siy6~gzyqv zt@~kMJ$yX#IeS&nqV@{A*FZJqt1MhR?#{51L%;E&q3$791ca9okSpE-PHu;O7W23F*K=iGPYZCAzY5JpA64wM z%~rY9rnTh3zBVm?H5^mU4d(sG!X+}drB1M4sA0Q#8Y=<^Y0PsU*P~$%vx=|d4kixy zk!pT~Njm7G8zr7RfusF|!nHDro`evFEv?NvU&qLcwtueE^4)s|ZCASaZFy1%Y!tI0 zB<4Bzxb(&7z_WTu7@?lb&(&|3!_ub6#CJeM8(F_FD{ys&>1D)J5+PS1GtW5?L@QyQ z`q_4?szFqraPVdQ=b9&LB$v(0zQWJuplS{?JTIn*)Qf85?5_HiVd5juI(juibqig0>XX(y#+ zo$?|=7^kNP!E=4F)oQY)RK76w=qVSevXvU4Y3cclb9k)xuYty90|Gr3#2ZsqX<={h2{-AjBhLYS2To>Puz{8!_r64`r8y=gltM>$K z01MBw%oxz@N|Eu5{CSmf7^;_K*GGD1=q#`Pol|){3BG;;SQ0koKzn+bYkTd;s=)i- zVSm}zdXK>~f7mepp`(?GYrOQwn{h9-0F{Z$0x)H6M7uTBu6P#r=x(4Uo_()o3;wXy zFoBJWt<>X(Kdg)Flofz6WUoUyd}^)QF|vdT1e7ta{EFZn3UhRFWnpa!c-qZdOOxX_5x?^(e4IU4ky`JK;{yc= zMHL59d&}mqUhf1dus}}9x2N@Jz2&i|fUsLG+kZ=~RzH8;(j5ME5C@L`#lgbC8qb{b zRv$k89iRPxuW$0}hw}d0cZV;&76+l2R7QAnc=vn|OerqK;V6JffA2vY-d(>taW4J& zC^+Z%5k7FP@w2*eZUA2%U-*;3?{G=q70{UT_wW9A`2D-Gm|$LOVO+PEv`iQw>S8$C z;S0*5`WYXavrG(}afZTA>QfkmOKN;w!c%>!3`q#D$iNq0>x1CTbI)B|njen9nc>3A zyr{BihVgj@KtDxzf2O4q4(H;Gr$4+|62=Wm?G2<+fm?Y#f;&Z4j#A3NAZ|(`>jI^v zg5>aBy0i`L&PS!f=5V_XPDzf2hq;i*fyH-g(nb^2@Jp+UApf8rdC8j*W?)l#=B-jT z@8-JRjb~DDYs+TD$3z#N%U(Vt{=+`@yjgzMn&!J?D^b|6f8oyqQ`ShG+57p+H%DR2 z(=Tf_QI$$-U-^XRMBiSs9AKkVv;xhz5Juuh#WZ)(2%r9v7eaMg6cmntFkCYu@jto; zvl5(+WB>N)!!r%HgP0ZLR%w4|$G?Aiv);5~pg@~JB_mDb!8%TodH?3k5v+as>dnS# z9kb2}HCXLPf7CJy#uH6q5Y#OO`OlowKshKxGcP@mb^W;6uw%+8Cm!AKJ<|JfBM&gl z;6Is%J)-B&|3Fdur|YMkvKu9u0h=ZI}ZI{~uZx|4FU?ydmZp7%jv@w0_xI zki}#sAG4sh>sWJ?+9GQLbHQE(O zN-0mj+nESvY?N3Y^;I&E?>1Y-z=T0sOtEHigXnqa2EiYaMf0un(CSet?bvM9Z^N5S zZ{^#U>8&j7yQKm16L2Z}wLg=w=z&im9m(fCFJWoej$ztW35ksySNr&WZ3~id$-&jM z^KqAEe-Jzrl3LIDe zl^Feyl-BE7Cc#SgP@?(%ML`ROa8SW3Qpv9k86MHj6#vkcy;iu*A^y$aP}%}t*DE6M z_riO!!_P_J=bgF*<6cTXIItc!t2Cm)>Xg@we^V-p^#@?KI||9P^6;p&-6h6dxJGC# zm3w7E|KGuuNod{XejQ=OSja;xe7j3;g6XjQh#m&AhH=2S&^Y`qe1HX~UI<%?Arw)+ zwrDnv#yBzu56R>0o>t9zB_+?aG@=`*vfWBIC`)MdQrM9a3|MM=a|DB2>8t zfY2~i$Z*a*fs7Na%awk_hH(;3@5bWXJZ`M?OV`DP+PlmTJ%CHCxx=fj*KQ>R?v2nu zqFwtEP>a6x4RxPVA49u{adWRIa7nd)f8?$9h%!H20*QMFbJ|{0#mZ?fL^tj_($Ff& zB}faZP)n-;A4-N^g}%^+{ZpgD+NWt%9iQYjRMbmsLnVAawxQx!lDoW663qN(szEoV zPzFbxve3li4CVdpH}&&Rxm`EfD&{cBwT(^zm`j~ic{}D(2{!${k$?tf4F@w5e}LG9 zyQ_bPl_};Bo4|6@zzf324ZP6v3cC-|P`UdP^}K4?<)`G-L6V`PV>ZpaBSSWfnp%1y z=pyQBqMy94qfbw(&7I5Ks7oL_3?ohUFu0^qM5}llk6o|E%NJH3XLeQ}#~05xIdoWR zA7+M9IT=gIOJ?Irlf_5+6pSxgfB&UCf!Z2tx2JNej2MOMZNbq-Yz`@Dd<-e0>%|~g zq#b=MhwI8Rv7nmZsS;!)&GxQZRB}lUA4v%}3RCFCvOzH~yJncJ9*|gU+sgQ>Yl24P z04|j;3T70x6DMUgnH)t2em>It$T?IlOF+*Wh`aNHX~mf(p+xGmySQU$e>tR`1ghE5 z@-HR#B?_=~;uu$1==@AU)j})TQWuE4PHuclmjY-Eq@@AgNwTy{ibbaTvM@`{|gAlcx&mzlfW+?wPPZ^h$E>~bZCWhTRv z1XL)toMU#*5nhA}IUM(lf1W04;Dbxjg)*zipv)W@=xNYx$O*wuHHXtIw?HW*@kDzJ z%!vx6f$$=ms=DfdPNL-+?~B^a9+ZzB3f-Jm{Md#NObAIpy*XAO_z~${s)Sm2l01B! zunZOySV339QOq`-3dNI@Pw81XA!<&H=(Hswj-V1*!Hra*$AzRue?4j)fJ*{nIz|~Z z5ET=1fKNXApeauWPp23Y!5e|3II=)mK0sPIq2)rEVt0BfvOiVRtlmL7k5R!)Q9*Se zk>AU=Xd_#sv9qn#Mgb$T(ssG4eMGw@(VXN2mY1n)pR!!Xw=|7I7ogF?k~E@&t>#oc zq(0gCU;1@~-GPgef1EjuQW^S~Yg6w?y@;xD-?j#wn6D#^KIWM<=%Zbze8?>O#yQPM zG;Dw7+BTs&F%E$$F9GSOyNaO=9aTUnl}F|A$<Y5RUwfA~n zD0M`Hx7ICdQd+mlx5mfL8sg}czPjw0I4h~7-5}5GEed4Xe-_ntX-o;_vO=3Gj!tcj`6JhTOfT$o-8@?ZiTzL(+ytmJehg4VkG`2x ztx74w62*$Olk*rO2HcaVJ&1djDxs!a>p-T7ZzaUoN^1(qO&Du3LoCdL040nuNAS~Z zK}Gz2BwZNuWwDOU2xc<1sTV5vGG=y3Fg~F+a#tSnTj{YRhOzkOzTF>{z6;KantaIS=+1m1d4xjnGta!LUqFrM;+2i|>v$qxQ@yFYQbR zN|7Dl43z@w6dKk1sy3-G49(E{d3`DFYLkLw4wbVYpiL>FkAiEaoCZHdzSen5rCuD0 z&nQU6Pn3hGdT;aU*q4@@O7f-ak5i4fh=eX;kg{Wz@TV<-gyZneFV_7a5KfSfhTYb7*8D@bsO5T)L zf3^1|FKzlL>0(qLUmgraIW(yj`WWpAxtgh|%QwX+T-uBk(NlX?H8EHZEEiR38A&6G zCSae{D4mxoXxiJ}+uPmW8*_34V_8}CZPXTz=d2`#INu_w(v{~g)Sb2Pmz%R2@-RY? z`OL00(FJ!A`gE<{CBOBkh6vvZ6N%COe;Rk&WA3}%_XM{)59lx{F%a6x@qq3_f5RTC zJ18nVOL4EqeocH5&4kLE>*DJ9BZqZb4=JnXgkr>9M|4_`QcVGQ1WYAN6V4!miN<1} z(M0R)#c8yez#h#Nqr|k?pQ7Yn$NpD5NEfn5=&t@;9A&TdOry%~X0InoNzGAse|-!$ zou4{=Zw7IbF*!4KWUhtcfMIU^<%ucOJJmb0KAg-I78k2OxNz!rb0vBD3w<#e{F-I?U$5u z%0#gNVOZuYp-nQt5z$teqktZ=80T3CLh_XsGfZFJMdKr)Xe}q5weKvap0e8yGcm9X^pvjZ~7HB+?5V@f4?AH!PIv6OP1oeba$pvMO@LhEiJ`)*W=`;9()(2UTZ>B zJYl4Qm3284glf$ZcQuDP0d+e<&)$!RZnYk(X*#BPr8A65%*|+iVZ$-raNeiw{A6tR zw;&|#>}74x4vLP48$Hz}%1BRbbbbSCtb^AU%%sR(-MyOEy3S7nO{XGiU;T`ZTdMO# zOd$nMM}y@LT_udX%=MFOdfO!T_I^mcQ`AL?Zu48Lo>rK#`W+zxAY8QMS{{xT43pAI zPeDSB1pfS+e*+SFP35zMY4*Q=H8(LhK0XR_baG{3Z3=kW-95{WYd4Pj`3nDlPfOGr zDAXdrbb#Jvl3kERxqK^)!OZ}jP5=IolqgZ>;c|6yah;1B!#0m3QWW2!E2n>*?8)Fi zdrELhu`D^46i%}Vq>&ffy#no z)9Ll3VCM$>JOS0@hT*JG2q^>hs>nWT3b)gDkZg#dM9dTDVULS)HXJPXd! z!i`rF?v%IZ>*u@+80y`6knV(@rGJ})_@WKTa`e||D1mFHi6`UfqXQ}&Ti zA)+9UT{6bL8sh<98NcH@yz!L({;5;?!wuT^dGSO0*Eo8IpnJD}0GMbeLAQA^CL=#4 zDT+%mSq(&hu~7*^{jS8P0+e(MM9<+xm1qj?Nw7PalVE$lIIyNDs1FNRXSHMx&>*eD z25lWQCd%?-^$oYGX!m_Rgj|DJqAkUJ0l5zF7m@4amh1w|1{^mNfsa@VQCe`Eg88^a zXCf#;5Qq{W0V(N!9BSz zSbW2?D&1;d46nDQ_ksC-O^skwqf zq1f=R3cK3kLkN4eOZJ8A#h)+iFApN@j%Lu?@4OpyxtX?uwy5AcAaU;WKi_|Jv~>Z6 z!h6q0TrkR@(8gev5l}okkVPghDcI6s)*w$XR%H!=8q9W3L6iZtkmXN+XMuj6plW(U zaUM8?k`8)*)kL2)fi9vbdp+AFl+IX+#xY=;#tzjacA%Qwa10b{{uHF^ z48#N%Y8;=zR}C>F)Rg;q0^u&v4+j>Eqi0o~OwRQQ!&#KJz~2uw4b70T8&z{XAAp== zUaJ~hhKjMuUH?LA7Q+%#F=0+2JdTaA%&y3~vbY$3g9}4v9v9JyV_Rb0tE$p*0zLSvRxsX_Nu8qPXq!N*X9*}5LOTf9nAnJ8V6L7IDlhnU0*G~;a}4< zwLQhzuUR$oOD@S(P0JBKJfNoeZ&%X-*UIwj*}%c#teL||a2CbQIF-DEL$=xs%Cim7 za2W%pJevZl$%5jna5P#b&o=0uJR1Zq^f|8=2xSR2cGZo1%jXNI3d~vIbO7&MMA=Y*2S@dlq7eU zR=5FFlLdv+mrl&Aah>v6<1*JBi3%g3g1YL}0p zahP~oh@m{P#`#a*tj3}FT~Yw;%t+&Zid%v=tF8hlfGZSz2MfjGKo+zi$^z1oEHJHc z1E?ko3au|f%%pLH@=4>I5S{ksB=)v4f2t#o$|ciAo_7`M{8 z01Ix(`dRA&l`x8~#gY7FlR}w)MY4jlGz&~?-2hIyP*G@|5n^Vo>y*!0mq~BU6w48; zcqo&n8!$y@2P!fRoVJeD*xWEeSk_W&*2yblzDm7YelY(Zv)w5EQ7#1dVM~l@{QiSeKGyewzaU1wW{1&TjQ)6Wi`E=VW^gLh=7t-GXp5e)qAQ6mP1RZ zoC1z0(N$y&1gU+}UDm%*H#I80JsTox~I6rLYEYChnu?fgNl zY5w3qYyKRL{&9VOB8kG?g*M*u) zDbzdt?u)X=fQve3T)?NXb{zaTCL-g{tf#(N1hivk^`SnIWztv%3Bg5vKK(+47d&`# z`ri{KH_quW~NwwS{6 ziW2{S9dTmI5Q~|6%qfCq2zQtljDdM4mUL^EApsLqVhE=)1hRSMm zvq3m8z~t}k8Hwn-Rnq0OE(1CkH{CBp0s&9x@;JuA^s8r)pReekR;LkyLA~HZmVP7GH zKa>3MToOp;=d}qok0Ux+Dal~u`XZeElZ=?pK?es+ge+glshUSkx8Ak7pVB>!5Qsz* z+rmt^spPUCUn^WT*BN8dlZtMd(79$!ob^vzD_Q3-1HIsUpMe_R#6+I|Ve8RFd6$w!_HN9?1>D)h}mpOm?C0%XUkh#%i2q) zZ$oi)ryK?h3sxymmbV^Scv|a!MPmtXqsd7#ZNt-5*%6k3L;`IYG`_>um*z;UnGcc< z$*j*u@1UxI4u=reLgjI7y5Ss-PNMA|B*qh^21ieN(pY>U>V`qGGqN3@PPysIM z9q9C>;$Ts2VNDDiB3xvKZzCme;Gl`0kmn)%a!>;chfxjxyrXIFm-YgG%_}iwm0#U# z9i9;Tc~9rrkDP_Cg5KKlFrp%k4PCPwMd^N@A>z_qi-;|cAmd-NyC!$O3X^;iyC|{b zSfx5BJ}NgD+wfk7)nnH6mFG7%Zw6pBGjuN%tthKR)fRv!P z`ZLaHmpU9{&oHV5m;Np6hNwlIuo-+>$N6l8IZWNp04Qvd5jP#qL8$yCV*Ku>jbMc>=70As__{M?u znZ|bw@O3=R6&$>#nnN#oPUAGrc0aL+i80+ROUQ+PW}lamAomu^T1PrVJ%S^Z1{%SU zYiKNp^0_}TBFjpyVaPQZM1YTmme38{_{PU?RKB9(bka2#Squ!3hE7THv%!Hro1V-G z;6+>Xx@}?%pByNE_i5G}O)L8++CdJ{o3g4o%;Q%wer)Zo${!V}zE>;Vu#uGy;Ypn5 zF2hC*!p>%i^{d@{$x9$w$GUUQ%J(r=H(?#Nr(5?;C1kVyb++V_J%VY^5<%A+Zhefr zsmm&S?*z{Bpj-}*7zfx%b2^^93g(dq;N-(IOI~@R3kQ#Xy@)$0tqY3}_^(%S$?}uT z(7U}18yebK_mHq9i|vd+zh#A z{~~Jh?2L+1`KVirxSI*2apZL-im0>d^wfDd$_Ts0h?&k_GicH+iZAlp z@Ev4jV$wK5FJ@f?t@u{8pTUDYSFE4zR8Y+AsJmk>@dNcVUxJc5-d|LF<+Tp0ZIrkL z7oXVqlA=rZAN}GVvxiV zz7EkmDC>9VXC`8=Bl+nGdPj>MUJmt;kb6YE;`2{qgw7O^kvFa3$Q`4Kft^e1sH8#; zidnP0m(@o7s3nDF_!BmbZ?dkYc&J0~c0K!l(5r~5;?xsEb#c|!lM0UVUQShLx|HW0 z*iH&ouWfWJKlzDuWKnr@Gh>$MimqKWkEN~X5OGba9;bu()Pi|PanIg= z9ISeLY5F|f$<AuiWveMB|++Xu}eQ~dn$`v$~1subkU4<2e}l)PldjHt}sI%%I27 zvZyu}sGU}Q3Lgm1L*Q8VMaQ&VA#0YIRQpuurSjF`?u;GL&zf2K#)^Zvkr01>;Ph2x zan9N6Eh=@Smf)!`6Wmg)abA_w-pM8Q&*`J7MRaRx9l1!}J=$d`RP0v*x08;8!+Ag0 zxqV=FAja)z$Fercvx}C|eqFl;Whl+eK4wD=e%fx1Wl=5Fxj8cHwE(O)`*OE$*%yTS zw5#PnlH8^#xkc5Ba92VoBefiVRmfdz`cI^x7FdvG&rbca5^pnZn(B!Aopno;KBh=F zWMDV$eee8(o9`-DdD`~8IiC@eDOYPc4RtN)N!&{16+6Umck?=XyPn0Qu(lP68@IHg zkaJ1?fE_vvndGzV^7CEOeJfE2V4rSh_W{gWWa}J^Euy+h>Q#~*X4W--#7ftz^BcZt z&Sc!mC~mFAyH?`UM;Zjz@#VX5H%4|(+jwD)DA=B;xMO|aH`3}JktrX!bLwNaW~J&b z<=Z;dMvSbGAm#ojA4jKqqV!6~^_^e@-gIE^)P0NI!kSkg?J<4?|06Y6-N1yX`ZN6~ zvdV$KYh>z5$XrntAz=i6FH%wNJvL^y{(caSyv9%2b~Qmm}Q zR3Fc3fl0BGom#_=B9zM9A%En_z!h|s@$mL#XJ6gDI*>a{k+}8{zqEt zRg)_REuhoSA1wV^Jp1i3)VE;4m~~}y&-Lofr|st9o+PvT$+vb_dpXY9GX3vDq8-;cF$Olxh;9`l9Ex2F9+aM~iQKfO4n|FC zRw4JR*+|p3RS(R666jA#<~dCtP?e@1U3|S*Pasa_qM~d>FQ*N?&Fdw zzmp#eh=52l*{TLwZ$;xlgU5oj(*K-jbqC5_ln`#WkhKwVA>ufIn(E68x!H>haeW^d z1==x7yANnXEu*R~?o?{!VrJDF((mZ&?q2xs61BC4lNybGMN_--&VHS~S1~H4Hu_l~ zt!nMM@wbk6hu_@3+sLxLXw{~;6Y;UzmTKgY$W3;AuDE$)LHeKKR z2FKc+ETQ(wY}(T2q`Xa4cP?$?o9!K?`@28G;WfMp2jX>GMrfE+j0BfW#`exn4gj?d z?Kl0edlJME#ku6l)GfC8HSB-=KVTo)wwFOE0TTi>Gm#M`e>pfgK0XR_baG{3Z3=kW zty?*-B)1XHRGmY3rqPy#V^wV1ww+XL+qRwjv2EM7QE|n#ZQEUad(wAsrr+$G?^*j@ zd#x`T^5no3@+c0*+&}(we=;toU?F*UK9V&cOd!8M$Th2t?oK_M5{aPf%d$)`qFjAk zZ|^65>#Kar>x1Y7%8N%+wNIqwJv8Or{|Gey0QUO;pDu4-d0W4$NGghrx_!L*PDOZb z29E%;gN8~VzHg7OAF37k$&LBRke|QEe`2Jt+Iuvs>RuQ5Pt)Yzwz_<7Z2aC&SuELb zQ}X&Aq~2;4-p=@bV%pkvjWgsAu3y_G>#WH$F&5zl(01O%>^*j2zrZakn^+YqYdISy z9o&m&gaOAqPp+|>adRQZyrr`!cL4R%_i+HPg-WV#a)+qM8;oCoSSp99=t;nL<3Xru z8^Gs%;>h2kd(7Mf-W;Wwq;g_`iS2pAo2S-WPY#3qI7Xd(sbVUV8OGZlN`@4M<+JF@pc=$V749qS7Qx+SEWp}aQwOXcs8IB zfAfRhL%g9*b9rzIOh{-CQTdOx7PrkI(ySxvT)nNbnOFa$%xufzY0rZ0k8Zm`^q~$~L&`QkcC9Y0qn##~MgdTR%=N06t}oBhA<>I+TBX~$y5a`%-t{q-$eKhiV#o|gO@)S zDn2~sxtpYDB2EM&3ofBs95Gs_R#f$FBXC(5wLdM{{3U4Vdwtbx=j&TH@)i?(w#|GU9#TG z1%b6D(=73|29k8!RFCVz<`J}x`U+YHJ7bBU?+=~72wI9oR$J#yp%!3Le3U+rv}Sh} zE6Vd&D*%Y!nZDR)cimpwKp`joF#$;!f|`}Tcv_W(*{9x`u!dxh82J<)znVCD-lkN+ zkvC@rtd&ZK8PY-DhSjgFy9O2-YSg2GdIpbx8tz3|j6G^tn#s!5rf)Gb zaCgp~Z11f-UP2+uKx12|z7D%$c)#{)V`5<-GuCbzgl&3t#b(Xhne# zSkC$%rq^IOYFJiS9H~j5Q{!UAy3Tn)dV4*O zwO+m4qijTyLVN$abr{0fRDH&XJM)N#=nGN1JBlh3)bVCcn~`IA9RXxXOgu+Anr~F_ znGM_?JY)F)E;>NrvNDN^>2-h&k!(}_wJ~NM`y`%&d&3i+D1C2~ZKKIg5u{VFP!wx_ zN`HeOgX+h8#B;!W*stjfH?`}p%I383Dte3a|SR;tX&yi9;Z=9_W&ROfwJzG86%rz!#$ zl#4e;JJ-;~x%}-JbvRrMIw}E1H~xOxu50nFWcMtcB-T}4aS=9zxBxZ_>cn2l&VbK6 z-U-G22Fg+qKQr?rwot6&Rx+KEXw;KLbS`Y@&YOMX?&atGWPQtFvl-IuEReQ*G#jLg z@Y*;`L?yu5hBM@y`DoeAonQg?enZI~s?Xawas8}0AHq_g5~O@EbXGX#=KG=UW}}|b zQifCK`F#q)=OyfBC;M)v;-(D(bhE$}^=`u8TU5&=>seG+0dMh@D!3u4bvFsdUk@f^ zJeug@IexRaEt?s?_uq`!&7%2lN=$^ZAS=5lk~!eaXbBO=WaKHlIwl3N-WM<&r7GSt zHc20yC-?1Y$7%_m{9Qr+iUm_a0&O;L$6IG?hF2~xSM+u(4CT^!UWJZq`TgfumM07N zQR2=3M82Gd#Y(=Ze$COnDfMj+t=?ceSDlDY+OYdscG& z)Uc3IZuFai{#8)-pzfD*IOT~A2sVQIK@6#}RExOrA|G1`9kHvH15+s}D ztla#rmMhE;j0DnmmfPX%F`#SQPX5i@C5#zOrrvrkH=`$26K?uBEwQDekRpjy7z_|u z=O*z%!>?LG+fq8U#?OI+|5uw}?_WDW7oT*h=@fvSeS+ANn7hQ{XJlX-cbg`zP0 zqr1GM?npf%1GPHnL(QzAUzN{XSv8m4+gzPXV61CAU!a_?qd)b8zW(bs%tNPg?P3%) zA&5VdJt@4vRL5+d zWG(;kWy=SYu%x*n*l3dPa;X^M6kKe!a|w%fKNnHhE@f0m6V-iTQrQ|Rl`9W(#Hvs9hE>EJaTw$|(;mvY6zoSk09LTmt+b=?ee zr?2Q+n)W->bIT?0q_*?^kQ#8ooH9g*FV`Of2OQJB63qhNYuL0$x_0&Yo|F=VM%U#X zbgTH9N7Ia6mh?I>esK*KHnU*k*3SvfNEl#n1D6qhNTE2c09 z??VWZNU>+ib859D{~?QM@C)4*X5@=cD~Yd*xF=79{Q%-Lv2{$cG#{5Vt9RGb?0!JoArvG$dRnRt z3n~HlNIE( zMJucsp^Yuz+~0zYqy|tAmBOd*wQ`1;ys*+cg^>;Fi}2x<8}Kl2&>P=J7oP6R7rhSK zpf0FU!j@?qxNT~)RFuTV?0KA|Upoc8{%MI2;Bw4(WgeRxY9Yvq-iP^XEgv3qpgn^Hpj zA!S(J>b#Ong#j?UR5EJZQHpPIvpr8`50-27p?MtHIfB5ZU$ML)1ppV zBmdixxa)LYoT4w%%$(l?TwRFtEt}|f_{}kMeV}-SwvHr54mq8WNl;e|>AUV(w_gN3 z`l$oJ+Xc)g5%kJhIxg8$Gj%|3n|B0o_{?QPuo``6!!F1`c{6@)h5{|MEv` zlj!~uX8+`M@dTfJB$VvceUEGJacA%P=nUhFe&T)uzVJR`k&!C_B;ZfQo?-s@(uKV6 zLkzixZ+9tU_F~Ds!}N^B1u3RR!E?xPm1lJ`pBnZ^k~B)VN^Kkk{upyMO2%2XL-b!t zdWQ@gs|BGh>FoKm97A(?lH0%#z#0#@UP%n}>NsoZVwl&&l*^C5->m0IlRz$zFF0n& zU9-!o0r4^{fAO~h;Fz2_7{Af*K^-Es7c)*$A#lM9saSs8Io;nb5WaSPwmB@xwf)l5 zO{dlek4hw#*TG}sGI>>F{d>mx4;q1Z{osVOI!MkfI8fg{q*0F)@EWHtDF^U-IUFjW zJELxz=z)@%Y7^${@8}>BU1J%jsDX_f4I^1Ln|J^s{V^a1y+7Sc=+H>*?gxFnW3i zgfqxI4bzMOnPe&9pBL(QO-v1x4wTmu!z5MFN3A!H<4jpT?V17ob-#deqL;g)8n}jA zZAP+-{%~Y_)AR`f-c*fj8Uv(Cb-cBnF*-2z(L{#z_)kglN;no|jh$pw@rBsA6=j2S zr)3>$YRsIETxHens2P{fyRwpHTOn-Yu~}G&CFe!}0O{wx&~gJej%`Cr0gxvr-DKPL zlL(>a(!1X-o`%?m7Tn>w(8B)L2sBG-6>(0xoWZPK>N$8IAY^T38@}xC7-c{vJY&9{ z2oTJ$MQBkmdw=)+mVey*fG1YS1J-|v>h+YIeaSA0cyj)U_I4CsC)E$ET$}D9_S=6j z2G@b8a;2{@7U+C-PO!Zj{5FiKpEOh$?OHzS^R?>-7)58KDJ`KC7&XmG377)F_Fsmw z8lA3K+77s>FSIXE-PCdp#`Hh_J^m~>94xq-+uPfJ1HOI&$P|mq#a&;bV}^I9RV0%| z?;Kytdpf%Sc90H;+~TN9KJedHU-!H=j3oemdW;818fD|85{Ag8)8; zuSQjLuMQh7Ie=_7jo{_q_z@hTgqHFsMTz|9SKFtz(zvCM+IGqbK7XB92s4S__rs_@ z1K?ZHz2rY3YbF0e*1q29amTT5Cm_174yW60_UfsIroJci4o;S^(|#KFScHkNFK%o{ zUDyE(C-El{1Rh!sl=5d0-z_mm92x6hD8e|lICkk{hNl38;8 z71v}PJlL9PdAs&j%Vb+WYrBV@>Jx|7>-=drPb8c>yXJVV-HNzbST$JKbm1&lorx&`-)ma>|6*zqgA zHo;Hqua?it8`bz>w>^@0la)OY>(VQ4j308>(+BW>xio#f5Oc(`wO49!HlR-96N!#S zRz|S6GL%aE_Mhq0GWAL_s#^N@**$E>+VOlq<-Lx16Yl}lhD@j6Jnek;lhK_n&y*3f zV8&pW4Pm2VKgue5)n$OK&Oj7Ltfxhn1g4{LwJm)w|4w<`l}|fFPM8UdC4HubI+e=V zarH@A@kb1eT7lg&iu`&h8zU=HwbNkj4!yIUN5&FD}(SZHhB0h;x`(RCN&`M zCCOVa9~7n*G|ilm0Cf?;)*^(vmE){&145s%Bl#zy`ib07ag=gQT0&&A&AfcZVtm~@ zto-df-#4AOUb95mbW19cTaX5b3fn1BF?8Z;yFPyJvHP;rkji53Comi60)YacY1gM{ zs|C^Pv!mt2iHD$~hEtcIRBLju3LrG~B~{;bJL8tJ5PPOkEc-udtE5CSeZT9|D)R}E zbW4zrG@cI;*{Rv{wC0QOTswpgwaFIM@_a}-&7H!tYcNWVKQcVYV-~~J<$7|69*i@E z%6Y@DWEkpW1tk%k;udTeH#3rPDwWV%XaVmh$DYbXcJ z8T{p$e?@;I!sxCNg8`*gV0LCeA@6i1XzSzq>VTSmv%JMo08xQsm1qZJx}-}X!XZg!lcLboT)JUFln_kJa0x$XeOC?q83y;XP4 z&*{l#i_kAbOW7D`XAZExd*@1RMEesCb=#I998^;rSZq6~a*H$|M(Z9YRo!dd1ny%B zq^?G&)?@c$Ztvp9$_$jmPxO~LTr~2hOZt3Z4pO_Z=eoBme7#S>)*7u=1)zOc)oUCMZB!ga270~V7n*a68c?v8RF-vv{5OL*BNkZY7tJQUvnThK^?U4b zvB-1^u=RiG3tF&b*Px!uL3gp^xG52heR(4GjXgB_bx>h<+aMk`hGf z25GL;u-~TpP++Y%3*pJKH*Cj?+t|Um4*&jL_}OtwF>v*idi8b)M_}A||1xzaqF_O&1lv`S;Qv<$;IP?t22fx4kpZ6kuo0I@hlr~)uI|ER_PLE>rfwpX)7AU!ono;d|%m5 zi!bnhPYgnvu&*;DQ!Fouj3X~gMJ-D9@TV}{MuS1X-~Vy~)cO;dEo#y2VJVge7iF6G zg{ISuw`?T85Jr?M22I9WNyl{X%VWCrAaC~Qdc~O|9??Pz&G>Uqwu6mH#cumZis$I3kVuCQ;Nd zX&=5mRH_04nnnicZ%DUpGQ6L0Ux_@iKDSKe{L0V$CyV>WAN#O)1L4G(J@L5v4_G=F zPIKAx{+&A{1a2tw!u6KQLh55rtgV zGWJ*-bj_BA=rS-PE3AAm8`3&{FPQh_=G8GtB%SvKy^iLAmz2g<$@OWF$J}_1_K`?o zF%$sF)wOMjba67#P{FMm&cVYP^Ya|)w2)5pUQVu30cI7$gN7XKD27;5j*Wk`yHtP@ zGoPFjw^9yDy~q;L__=tyJ8g@TApvV`p$WPo^NcgvWja#@w07KZ$@)emne~1m-P4#I z1XYhRed!q50WZB&9dw6T4Tq_l=1(zDD=lDf{jaCSAU3)2_QyWyQ;A7O^~xB6+&mEO z805y4UMNuIGOuvl*ww-^02 z(#j}wPfKxXfl6^K{>kYqqB`z`j|;G!{dlNB&^k8l%vjmOM+k<78J&uprYdwkZqkhT z4H}~pz5Fae4GV4KrF58Eh!GoPS5(m!S?TI_%D=%SQKhG*WQ|YYSu%Q`Z}WB9y*9L~ zJBdT`M@9`LPa`3#HTR(D`PuTi1c@;8?K*_^59x-jO>t-6CL-JSW#A;0%_N}d@)>jD ziup82u?|c^ERsZ=BNs~PaGRYz@JW5NR04Zc(vU-!qR!j+=->q84p!#LL8L1FhPnQ3 z%(@K5IEG?iEkdA4aX#$o_5nYEcW@*Z`Tiz@)_QAC)+Kw^lUCg7NP#sU)^N#!$eY5{ zxt*`p->!2bW;v*vy58yn!5kn}sft~_UD7|Bv|+K&k%^OlpA(D|;D5?yF9WcJEh)H+ zTi&E1o-P-* zC`ilBI2fALA*k|=$X!wUN4N#TRJCbk4yo9U5#I?L4LK885uSVPnE)ejmx;uLV9E0@ zDYXVWMgya%OioGO-=6WRkzU5+AGlCvD;p?_59C~PZBA_T5#+xU6-0E&^_JPADY*We zF!M-q%?Pz3Pk9dBwau5sbuCuv&%^o+qBm@{DdiU`QNBaqNFRPFDTZHccu=-&CDjl5 zG$svDwN?Lqf+K*H)(4RAzojCCqV`@)IlRm`Bb|q|op)e%x}Q)c_Hc6AJ8orrK^%u-bJsgL0gVZcnketJiS>(Xc`71b4h-k0iF&aRnwRSZ3+t zbsd}Lt@aM5c->5WE`fn2*?vIZWJ^D`Rpil6Evm0Bu#hRcDFOno+;Ogm@V9wz(tHNi z3oMH?H{!4=e4uj<`=qWLPoA&pjPbAodb9*v`C~MLr;1}pqH`a5m^*?dPTyDpJ8z*{ zpImB~>1Jj+e!o0%P<4-^i2shED2}Wl+go32JIlW0W4U|WJ+ghD-*2QTb0;1~$2R(r zmp?LY%)h`Kg$0-{!N559UMfZs6h#$ym|0ZJ-<_qAi7JvuR;gXEUc|>5XJ*(E#pX1L ze<;5bmo@l#3X&+LO%e@^M;@n<`htrA6{hn85|#p2lCDExwmQpgJ9Qkt*S=n6F^i-T z-7M*hD&erf9-0fXWPE?Xsw*!ri{|m38O9~(aAaCg%>YU2`7WM$^89hX(5&*Bd|Pue zTQ{~Bs_=3>W9}|!D)fWpOu@*bAZB{oxFNA>R*u+1n^5^&_1~i}ZaSk;5p0`gUb!HzQ?cay#LQoD{61&D)rY`-E~JfO;Hp#e3ef3#yjAm|HhL&PVoD zkY)4r_yFDn-k16vlwg4c#}_7{0c7FGj+41Di2qV&RkjqHw|vO`4S6FuNt>(>A?GIR z!lyM-Z`$gWC4@dind8Z+AOYwO1Xq)n-P~JD?DYiBqfcWL&W)KE71Xa%weh_!aj(T3 z0kmJ++L%29J#RsOPS%=bOCIn_rV(!yguIo`^8vq)uK4|8I8lWcHmiP78A`JP)D-HN zLpVM>i^H?A12JQhn>n;afUZ50UbeUQX{S+`a`2bZbP~NdVh}`7b+HbXB$xUt=VZYZ zHA`N;K<`U0Cj+_4bNj}gj=i({%%{D%EeMHOace&=qV(8#a2}QsaTR;I74Lt0Y1JOg?u-1T^HwOqOgwZ;D0oc z$M-o&=qTGN=bscG7VrCjc029r>}}o`Hx*9Y-Nx6_b=h{Vyciv>C(EfhmsIB{X7p*` z7E4S(Y+Cuhv@J;P6t|)~A`CFS%zbXij(Jx@v~|~3xhv}(h|l?bio4_ux4e1j_kS4H za~nK^%sO8(hlTLCv7yqef%JQcu->ItYHRzx_WB&C>{$PgeslbXezP+D7yZuB=8F3# zr2o-x?&ct>3x0nwNcKzcY|lI9!T!g`XEE!+=O0Mg#6r;u6<=6<2>VJY$l(W)3a+n{ zV)@F?g)$2{rbD_C+^@5Xw)^Xq`v>K(x0bJ;GJ=1JWNf+3>y6{oB@1yMlJ?V7Rq_Pu zHtYcNB6$J3A5I!m{*-$yDtBe-^!vVo9}%^2Y%lv-sbPn=`t4LKp}91VqB_p=@gfGb zJj+)3w13%V+66=M$(&78<}ozQ$Z$j{Ywj8amj#8Zplc;>GZLxp*Mss6UG^!(iu-~I{S4^15>Wid} zMj07l-4Qa*f;11jQt({GxS;Ewikj|3Hm164s5xv8K?m5=5Yk*o@Ny?J$fo55VR6C3 zgV%1+)C`EHdSa@v17y1A_Jrt5tB+i352uTRt`X7d8yi^5e9?+5DV{)ZG#CQ5np*)4 zs-V?p!Rs_hezY-)-?igt=o~BjVR7dw9GDtqlkx`WzqbS;O=Hht6P23$SGxl>Dx}-a z14VS(nQNXVVq`(ZU^}l4$GVOOJia5vD&Ee31^(K^WL&a$%ATbYuU*~zeBJ=QZcg-j zzw23@vRbos7N(oT3fKT!S#Sd(&MPUUB^<=ba0tG^hN%hHwQ-w|Z(6SB z(==*c$W83i$MRLG&w=%;4+-P(l9|LO_ai4cl4^QIdT3~E%ef!RUvT4vR<+8y%BzG4 zsJK`FB;>)iV~63Ewgav~CLCRxO_{gIGYjb2>+wu6Ykqhn*AhPP`{Jb|Y_e)0BL{XtP6Th^hgU;-D?517htTMZyKYiH`Uk(6wg!7vUi~2j4^Oa7ejV z{M4*5p>pcm(B@KcoG|a+i9LXFw<}=e%+enLYSv*O;cu`d~BM`SH=2RFo_|l z780ddvm4iybIK3(y$Wku>uf+aY}pl{M&OdW3DF9cn7JVaTkWj9$<)gjUZpt3oUM83 z>?WF%IhzvXETE^;8XY?roB$73Ep85WpJ9$4OG`I{gq;tKgk!1?I(8Xt@sK1erE&#T zzCW5NeJXPhX~;P%K2m#&r7j4|deDD4bP2sSyci)5$*$Y%V10xxMHS$2;4l_GzZjAL zo{x9&=n1?azX3m7cMT*{$7zAZ28b#4*MX{F!k94cBV&{Fky}f2huQMCQ z7K3r+?Cm9tp1G3%Xe76xw!X*$%&W88s4W0{tGo~*)mpP)#>36}AiL;l=P$|)7IT~q zB?`D34Bk6|Y!$@yD*_ni#vJ=H(v(%t4%rUm46F0Hft*oi zMva5qziu|vthQHNq$2Ab=#L{!%q7K^=Z;BxRFj|JlxLp%^>V)$e08;v0U@qeh?3q$ zVkCuF-Cj*CR)CNsmcq95H0S9}lnxQk8k=O|ijK&1IeW0e%DPM9ei#m_S_lP`$0drZ z)=Pn((oa#I`VBy4?T?2uC0@E_aSsIXk-{)&>2#fYQ5F|>Oxv- z{oZD&n8e@&aQL18S&eu0)?|=8S7{zI=L{7pgoXLZy;~8wyW*(i5(v|ocRa)wyBoF@ ziyg+U#}-=WzC{4#L>ZPT(e?SX@v}Eebo_7rJ%9%{xLI+auPH)SVrKW|h8%qO7Xueh z*QT>7qJwjd9Tn5^d4Ij-K&MIc_sep9EUA7Km9%-^KLcu^DA@sE#Z8fAU-@9x&C17W z41-~}SbWkJ^TV`8?{>mrTT7|-P6@(Zr|>R97Y_sNr5j5@j|T)&q!zxx+!lP?ZaY2P z4nU3;%oG(PLQC{|K5Hh*X2-fD`QYfW;fYnbnOU*Qq7}&-xn97E$6=hz&eKh)EAz)s z{&I#F-`_R0Dp0q3Lzn>M3`C~mq6Jd&}fs&m@K1zrp{s!XxX_=T}c z-(FGMYO&1qb`d$&RP)1JD&`L)Ptvhd9{^svwf_jsBabI=L?DWh)o3YYh&bpZIowx8 zlA}FVE+VM|c8dXj&@WZZ1HR(#BWx;dhTgIn77gsXu7uTk8Yv9A&{T*a?heXa1?Q|t zr^e7p+h8_tpl;&qJ?PR@Dw#YYpM?nr;!asx5r%o#yV*8|@s@U?AZ zWx1=cbu5%gm@1QEcK%e@ABbrZIly$0JJEfubK*`%RzOkQjoHvANG)C>n>lOvt-)8Vbhg5?^m2F$qwBm<<= zxjnR0wIw$nYsx(FL16mDhHQoAjGF1huuURU$C47N#g>|02_77D6PAvc8H4By;mp+J zSk@YM#GFQk(lr;qf}-x{Y3@OcUgC!HBBZm+&3N|$^>bSi<%!SR zZCBT{ z3hfloaO#^0&urBj6yD9+Q9dJ6)CrRpU=bgc#Qv+$ipEuz>Pykp#VX&i+IN=z@b79> zps{QzNdi9dWi4_?AAn)bid#8vD&k>cgnaIf7TS;(Gt}Gnz)}-?Fr<)FX~Dy8 zOr;+6>F{r+wjD((n}CZatB3E$2l=m;pXI1WwHUC{Zc~DPX;ZK)hAeAql(n9X4Fy<+ zpA0{c??SiPYoAmb!IUEdLs=A|y)Es2SE7*{UnmQ(I{7rBYkZ2Q=Jg1MQ8)v)?c*C% zMg8490he8WXK_ZuWQ?%GxF$re1>N>c|2YWyftUDg$vq&mT^wo5PvH=?w}_JA1RW}R zLE*i<;A`~=ssPzR_Dl;19Fec1UrJLYeqrV_QcfjoiZuc>DBY_&3m&g{&qp1gzOGZP z>V@w0__Gi*ykYhbg+muyGJM99HSf(Fumr6p-EOndJKfLxk;j7`SMD;rCOz3GoSNoI zMffI?X4T0?>c(Y^AJ)^3?aA9}S#`Qgze4S;<$zs(? zk-8)Xv31D66^+e8@7pd@4`^E>-1xFY3-}2^mu2P5dR@ncf1Gu#{UM4uTy0rbYHMV| z7Kzhmv?8@MV-Q-t{ffB^bRC=l%h^53e6(bbsiTGx@!V|)nsl6L23WBmzZ31c(L{Uo z?gHGT`vHR1q#Au8hpeLwb+6+taBb4ItsieU&(ES6K@2j?K7S@pF0>8BFPc43zV`hK z&WU~uk+@wKq=(Ag4PADwd~C;BON|+4SF^T*~k3U>lZ#>q%P_P z+Faq@KAafr^etgk#|(1%i9!CNiGqdDvkbn3*MizOtU4S zD2%#$n;@CH3hOC<-)-}6*MXfhuSJ4;^u_CVjeTIYoSDeZbwjCR+FoLThhBOn^!;4_ zkb{y}0{=&jrRCfIqnfOY9RJ^o+@n1)P27dFeM02{%-P$eE&M~QBv*V%JVieq_>DD9 z9o79qUYk{AgAEam95XB6vT@XSQPsuu`LT;o`}Gip4c}5-W~yn;@AFf|_fh2gJ)S4< zz9aC%`T6Y4@8Pbsb)I^3d*F6UfgxQHR)kR24yf%X@YDHmbep!r+25is!f`ReMuge!e2Vk@ikBFtf17^)>Ku^z9C6uoeB#-cm0&e}|tjRO`8SFHU>C z;%!7PNUMD;)iFG(s|UKdyWoTk>)Tr{qkS9#42rF1S$iwzF@W1U7n%x_Vz-YGZnV+- z0VsRmaB%T@{(>YuF#K{zdOFC+{o_$0ireq#`}Huo17Egyn3}n|PgTZNzerof^oF4s zLxt(--%ZjK)1;0Cd|$QmC>AehPdzaSAaU;d!ruaG!j-qyQnC;vRSR&TgTV<<@9@EM z{wuQx0zwMLa!=f3YU1?RuN)*xKRE*X3`m!+kmb-he2(zW{tG-{*pHI}^+n(hdvgZ# zr5T42+sTPVHUQOajtLGz^>rJ59~8tBYHHg^eBSHw;=roOySnUT1x&& zZeTt}i2LP0W-z^ZXts(lpA;38(ncjyuIgA9Hl$~em?PH(DOgQ7R@h&1=1QE#$25XN zfzSRjWtri+kWX=|)V~C=(tK}9yMTh%I0=xSNFh;2@cxAd>`BLMjlV{owfb{;A57PU zZ>!y^7O^*&*c@ads_+&}@wzAk0>UHZ9Kx=@Z`^QZ4A~b&jTM4bVR@*f6@ZInx8dsr zVenk4o_xVW2KP_V8O!ksND?gx9Zi2S@(SAuZSf{>A|EtBtfqeNq*et0)dIj%=j=yn z?vcVt#I;ARi4P)^`18|@h-CH7g~i%v>mNwXRx_Fqi$ZZdw1{X=(FRry=k{cIqf}Mr z<~%la<3s$l=QvgqF8y8Y(~A-@ef@LA&#aSD65h(~J>(uOnK=9(fc7pwakqc)U@5X91#=Ws&+~HO_O7 zGhXQSOdPus`Aw3}qK52)k%D{zZj;YrVlzdWOA@>n?-F-u(!plmk z9XlvQv~9uy{A!gnR(oQRutVWo>a!+=4ir@r4odwRgv^06SrNW5z8LE=CZn>t!?RQ1 zL3wtJV^xjW8@z)@@c|sP&E=x?`w2k&fsizi2FS-}Nco2_hQvCDmX?#Hd5>*2&y2g; zx{~NeMtAp_Dn-`7jrPEek!Tnm>eVcGsn);##6&-vtSeZXps2xuGLTdLGX7KTyj$)f zcXz3l4H46HrXH(@Mzi3jUu}!G+puX-3a336;o;~>^9u=?1r=bjGY1P^2*oI9h(kH+ z356Q3WO(AHp1}D%$h;kudrg{h+A&uk6yc4zOVm!!F z92|?)?L3s)KLp?oNthdPvmfFLpWO0nvR?P`O?rAu5l8;>98HB;&+~I7ih=4jf0o(3KqqbZUq1%(XY6MW_#ASVhX?fqdCbkgK_Lh9MW+$sDj?oYD&=M7i={8Y)0NXtVBM zSVjynO$Q{!q?1)Ot?{LjwKe=z9_a2>!6%(Vm4f;(>rBERlqO%J(;|c{Z~*DFEQ}fp zSA<=!V!IytwRY8!ZE$`na!+_ibw#GQ6z0p9eb@^g=Kg}X-7tu=q3g7767_~925*Uw z$!X+GkU4eG^~|{Xmk0nf6%h+mBJ?bhuTbM?dI6AXrWPmCK+>04Bs>T@fYlu>v*8M` zH;_JBEs+w`^BvVBhD5GK{*Ai7v^pwVg@)PXA}6}%g1?^5iq~-lEgHR6a=PhY^uDy`NxzAa(!K@JM43bs1^$tb-ZZ-;Tk2*y=KBx>})udjm7B zR0}Y5j4si0MgI9nmr!Dn*`*)(UC&Z}LBeq-WP_?LgRohniFE09z}Ib4tG!8Q$6xQLt^k9H$f_OS=TN?9b?>U^J7K2&+!B;mj5llb0 zikg~0mC74_l9OuLD?plwk-5tvl4x$d7kl`~mQ9LIYFzqhxnvK-zH&~6LhpD#u|mQ( zE{p~2!9;SuY5sM15tr++T^xqq@*tiw-2UGK50wyfDzSH87ibtw)~LnZU}}ahAOy%t z-^P%qEyJv&5#w$D)3u**ih4KKal+WPO)w zRb%!9TgC#MC6SK9LG(ahRv9z;N_`kBaK&-?5ihaPt0Q^ z`9r+WuCHlLqTI>JhE6>yh}Z&-vO~fq0<9JqdT!mhto^H^x@=#%Z<93T=Ur&nw6x@y zu?eABH)$J1h-s-nSHXily2tTJcxW-HuPXZT4rVHghEBalsF|a89bKfJO$>kq>;sK4 z91A0sWPJ9lUI{4eu!HgU!-)bMdQVt?H^s=z=zzERx*fbRjo`mOzly@t80}uyhUdde zDPq*&kg;hvE|83NakPoUrA?|nWR|SRev3c(^jQRXp|LgkWfCRP7s>){`QnE3=}F&k zC+S+mIcIm7=DAFoX+=)adID@2AWSaeN>Ss$6fs)1A|_Znl$%Y%F-uRi#;Gc>^T;|F zTv-<=wjs?k#svg~>h+c;q8}cYfv=or^q+i8GCSP4m*t;UUgi`sV;>d6?HY1(pK0KT zoyDz}jmXf`NVdoaT>1;!NHBYMioTmVV+-4Vi~Gs4gbSP@$Q37|;sMU|#$@dZNpXa9 zNB>e)vp*C!47>Pv1(-i;cq6sL{_~)z_ZJ{oM@TIgSEle{b-9tvafPFX)b&^ZP(?~RHu=Q^ zm8&_C@NxS&^taW3m=55O;688yDLavYj-}X(J29s&>?q7g2vRvRESVI{- zJChoV%CtWPwzv^wovdD97!_~^FEJC{HJt`Dev7EG6u9SW_kIfPKY>L{ViFu%tt=~f z-Iug3`(^Kalv3BRmB#U`q>}B^A~aA%BsLR+y7Tc8?ah@d91ZwVd0hhG;kF#0ke$m&Ep0n89U42O3=paycU80U#!KRx18Ho0iKZ7jA>$sm{*YKqjbEuKMNn$2XJ*pxBnd>p8g~@FC$7mMIU%!e4!|d?Egl!WwX`6<_Mc(T5TXE zJ#y&&6bAJ7^sq2~3d=z&#t#cjPoxH9PJJ;X0nIykcY3+=sRF>-a#fR#sro39uXf-+ zj^sm+&EitAzq|5fGGzwQiqE!BR!0O+ofC;Nn7+CZ2Pi6@oNk{eXT7*c>_GV5$U?n1 zmlfog)OxnUxj9kZKJvan&FP(^VNC5z{*ySLCPf7dleX&vOb%dSV`lzuDaI8?Gxon= z40XM~`GOzF5CpUp*!)-Dqyr=NR5hr5eZo&~lsa11dwervbXY%5OXUTjKq7%=_Cy_q zH`7&KkBR$O1%1gPE<;{lv$;T9Uf=!9OxDlOgToa}9*cel+|{5k!u4U)ID@o#X)&YSX%zUufY&NDd$cnvn&`*`p8wk2F| z9bI68&lrRP^#N|9AdF>A5!t(i#W}^Z`&_+Kj|1`jE!8woP2G(9yO%Y5kn?!v@jxl#F5+`as5$ zl*sZxI89vmVK)>IV1Uw>Ss?z$%zw4s5nK^%^9SIMync|6#?{(WTW*|$Dx-Q}a?KYi zr?{GKbz-2WmWv%HA&TEj{z8uS(#no7EQG*|{0RtP27{8hK<+_VJb+M^LF7NLh|>gM zU+|U?bqwP5&)=pR8*XM7Hn1=&%tsUd(k6ZlN+JcYF7+9D^d>ZJ2jbortk$4Pbw{$U3P+Bk$BK zf2(EX_n?M33$L>@&j4z{a=#%?Onj4kB#7j+f-Uuz_gT~2sOh1p5F6Iy-B4q3!F}it zIcGUf>F~a|={h3LB@{g)HJej^h>IWR++RzpLZIhhVBDF#T+s7k{-#qySg#;4aN+4j zR1)ne?vTm;1?yL2=nK1w$d}N#5c=#FnR+a-X)!h6lo9KBNnKhT4qK6c*G;s|N7nZ zW@M$I&ykayT3Vb=z92;YQF$ig3_gv@I{>i=Gb<9{NGonw(C>mAna8a&EE$SKQ?ztr z`B3ai>gCqnbOvCRmuUFZ7Nc;Pzt;nmb)N+BW`uqvIAI3ETMbJmuKVk7Ap@@R*Nn1b zJaS}z97u*Z_j1;iH9u&AXhn^5!l=>s;j3#~6BTW>b$^I#JC!f{0AwAVGeem?Bt1+2$ zQDq_^_Z&HCx4Hvm^|s${tdyJ2bx`Z8zTWIj(t32I zR?Y@YKbaZ3=mdx~x*Ml?7^4&H0AH`0;v&mnMv##>i!niZ%7&Ad9g9&|krOZ#iIk2G zwH1&q)0b9o2QLThgt8(Vo8;J@MW3;7H_1x{mn36RBBf?XZYwQhuq&Ua*rDI{D!EZ- zTl89R%KmGJM zd2_*$zT!RXRgnO}q^yS0t?G2lp03W40C;LyiA_@FEJU%)aNUhqxy(t-4(gxHRPhyr zKxH5(f>1UtL$K*w+puOi`y&!RLOE%X7ykkXZ8e#be_B`q(UU`d%&O2Rg$4NVXm5G? z$@6MO(CYv(r82u59fLnn-sxJvzqt?3SyQY5$m8PT{^C}dsbtI+L2Y{(6YVS<;k@+v z=CH|ES@gu|UfJblPKHMP3JHszP;CfwbNEpu*XZ^n_ht)*adLgJUMxgPuqXI)davl5 z=f3P3Vr?`J{0h>K)@hF&4Z8MH8(a$BGOHTCX|_N-57tB{sGhxed#6Ve^qlIyr$Et= zee{+^wPX|XtHoahQGT$T{Ja(cr&Qp$3HXp2xWvL&GfxEczEWgJi`CZNYh{SC_hfjy zrqFM%0@1fitCjF&^Y^Pk%9+d_t8~gE8!ZBz+ekGWNuWPD@iP0CC%w39s2Cs}`jm2qC|< z;vF;0ZyuHd+h|~Tl%Qpul9oH>xXdx}qzVC+vz;a$W7g*mmXKQPqjO!>(F@KaEpn{Z zIm)d>L@=E({t@7Jo28Q%QeP7tJh7og1OF!27GrmLU>M?EMByZb3UQX7?X0U_$2*gEdNGo+76dR7PtL|m*7+@C zkfyf|3VvyqrK{KZB~ETOks>RirE@W_aLieQ1%)+*-SPI) zF~0RNUpk>uXAX%{oAn(7c2!jlx#K{e_dbuSbBA`hx_XxBE}yP0|MwtYW@FKJE_vMo z{kAXdrSF^|;Z5<-)ae^LldaSg22D4LL-NY`u`<33?#R;SQ~iXj(utYtDS4l1*JmyD zy_bG4bCJee;m8AG4;Q?AY0+w)>rq20%Zmud^AW9I`d%bIiUtq8#jS6Q(#L^ZI~*z zO~m|K1{vd=x4K{@!ix4|xxt4;4^&n80Dtq`AMcpY47kPq9^15cb zBW&T6d}&LuAqJH$jNp@%#ZlP3RF*b(%q4_IzF9rM-obN{B&(EPUV zkIB0*Ik-5bpu_$4&36SiD0HA8sGz2!&8Z3cr?&p7Z01J{0bE*=Tq$_3JiX9jw*lx8 z>!c@bepKCXog+YYknSzxFC(+6-_)AS%@f?&2pOK46Rnvyggv);k4-}J>Jp+-72A&m zEx)^BzXUl(ji*X(6I=C%Y~kbFc5RpVK0j{qL!<}r)%*Nw6JbNSX$&0Kb8m_Y-=%&Co;nFAW=T9A zsyD?QekV|v)L2=oYq07r_bU8Ba_Q22<{?0+*PZRs$Uf?r6tA)9V}`5$RiUW#Gyd(k z`jn%l(&6se(d_!r0QXxiiAJWz;_>6_*56{fZy$H}vXB4d&NTQs3a+SC8hON{4C;1q zkaX;Fr+jSr9}y4VK!h!ORsgCK*?&sX7Yf;(pD)tYycQiU(_WYz+qs=SpSo9j*RS|J z7w!q`?VDnsu?AvjU2uLMA&MtW>6(n&H?iTblkUe)za)GuvDQ_t{k+E+=(mng7wb%c zoc)sR4{YmA(2)Pkzrh55{q=D${Z}>QPj%+%btZ&OUpW0<2662a2%K+ljgak_BN}ec zamj-2#~*1)`Bb#hs5_)6cC!0>d!%KpJyX0pxt_54`7B3zDsE|loljF|zPeW*F9+uW zKy>v)XabgJH}{0=E$ECq;gJ%YkLMOp1u~9=!VmHjn8!#R;ROYqBjJ5zz#>yrlYM!_ z4zSRV{F9tvxv|o&i&JbQ?&yK}Lh|%oKLrJ;3BrEEP*mSUJYe*->Xw;_#7cSAInjm#4ZgATtRzAnhCSJucr=x%xr>l;NrkD#iJc z37aaR0pUJ`&9_+h8S&`YlnpLgQ@oG_zQ{PgLZI#BnQ7K0dpYkilcVAiZ9TMtr3Tk= zEHPjF#6LZLsx^MDF0783*4U2V#}dIgDrmU!%eL6Q0P0wb?8;MRh_&FMG4bmRy=7%C z;K-TzYl>W!{3rWHd?%t;`kqRy`qdX3&ta5#DP))tgQcc_F*zxHh#Yub@=K9;}uN)?gIqM z6$S-wWO8&X2*0_-)2|Nsk=#(wFTzZ@Jf~_gqTV>hQiJ{@y1bl7J4Ni__KgIK@Dn{c zIl3Xxn`K7e-@@bC0G2ER9R#^m~Sj9?fLgKFKBum@PA?ctKQzaS#_~k$A4<@#L#T$I9CF&5x=Q;G+!7Njf&5$ zwzFp^;KsiqC~T*GNXmEdkolVsjSd~B)E^zEJhuQ{+O&I=f4etJpek2%bQkRekaadm z!{|G#@S1P0PHFrZeHS^>_EbS!^E-d$`i1d9*M-SZS-2&zn}`BPDZ#dt^`_!f@+^mt zel*d3llgu=-qXYo=Hos|r`-~~M0kQf{Wg2r$%v9$uppgis8Mt}7w~mlDXw(ald@m5 zveB9yDsX)>Lw~Nx92xT#f=S;(v0^n-hhNoQ>UX&^wy!-JVFASp3K!)(P5#=Uns^U< zF2~OtHsqKE87)A?$69^gfPl4~&d#E&bw}cB5vBEQqss%1x+(4Ww)tl&D01nigUHe2 z>ifxB6mD4)vds6;tQpbm*(uwz<+c1t?&eCZ0&V6+Tf-!RW)6nXp871&B=TYV-krh?RY?KG=cZx$KjljriI?vuQ(*mwGU))n&yMnbmeir_BD;UZ6Kf{8lsP zm4{}n`ArSfartQt>Tae=y^mNKqL{g?%9!r5>(o)EV411vFz< z{m<}wz%mW^2(f$LOFMWHXFkY|$$K$;Po}N9cYzPow)WQw&~1E_vmxeRc|E(mIyf?j zN{oFV?UV+J4a;Di?_&V+Hx+7hlV+#Bzu&%L;sG-pP{Sf_Ukv~U25cJm(VfE=?8X~0 zGy?6{3m$z7lNamcox?rj1|Gj{-oHytt6VR51sUBPVmJf-icaM4TOIg%lPZx(c9K{{ ztPH;#)^&U}#>43^O;;z0Zw4m_u<}~!A$wqL4}NK=tct^6#h^O8?48{{5*rF#+2UDJ z82~S{pGIdVs6S4i;DkKZRCAAtn9!eR#b1F1`n19(^LArRS8Aiw{ne21_<%`&P=+7tVBc5lunP91aE^>3L=Dg8!8I_G{UQ8eJ!!rfV~Smo^> z5T(1(7Z6Zi7-Y2{Ry2|zHe=Xe5T-wz*};GJQHX#Oe9xbA{ZSZQQkf4Fq#6%dtup|e zw*m5vQxbcf52oa585)ll-nnktB=)S+plscSepbu7rw4g%S=kV!m@&{5Lvxic?|wpo z{2`n)zuA70{`h)m&`{>y)@;yYBlNsjBr0WVg}_6M=msKIEUPNp@_7yRhJW+8q5=?u8KSEB<60;hXLS<62o_uUa z3?Cu4rfad{=%d^H49LU|)Z*wh8$M^T4j|p~U#f-`aLa!bNXLFtrps9=KbDoWn`y|}{WilZm zaxMcYe_sbeR|+W zhF5kXtID0!E&tMg{{>OKkHjkyN1|R~3FFsbW7d6QOyMD)i%v>9YM*it;2D#E{`x;KsTr2sYB_E4my7;F{ zX#pagFJKek0QxUv8^4gXGDcuZwG{eteV9T~S+xw+8Sg2({ZXWobse{WS1?~G4wd<| zViz+1%-hftc+(%|4>9)yb|h_5iiY`UMZaC+oM{_*b!MubjOQ{EeB`UEB4F1cP2BlS z^!-_z8sU>xt*q%TGLEK(5mrP?^GqaExr4M-yHNmE9PpU#Z|R5}s20cRs6VBOvXNup zGdWrgz!Y)NDOBh}E@JqH7WG5Pf6_2_(ZpEnkxkkTimDzj;!ToB+{kHQE>Gap3`JG9 zeY$Dn@k8*FREYfqul#ZuEdrAt#C(B^vlL*2ztqd;Ts7vwxGLsJp1B?(tFQ{gP<~jA`i0Iw`YTG}%V=Q-fS*rb8-J{t&)1EQ?fbF+!h`=%;s@XE+b5LZ z>1HEVp~ps!@1FfPVxBmu+qTq}G?gaaYhP-OpgoxqWy#01;O8nJ)=LNm`I97L3^gX> zHWa51$H;AR$Er3`Nf%&2|k7>9kWXi#GzVZN_bqG!XGCU)x$CyP}JZI zcM^e&CUXg?pz$Nt=>5d8V=WD$KovPwnhp7`nn_X@ub{v(T;zE5T<4z>h`Ig5H``c+ zQlj5*cM@vg<0r3iH~9hs>gr2Y3X>=n_kAIR(F_I(MA#NeGO zlBV-RuR?HP;a>)qY?Kx&Y7pKqkaw6lPaO1!LKT65s*Yr|@Uv#XDgsnu86r+169&^P zp;TsCl2mCoRIP;Cn1jmecA#mLF!HYM;t&O< zY#~W3PDnSD(G2UEh}0XZeugZFC|fH7#ayPi&2q@ceeNw5i7xQ{dO&*!2F@qqkp zslcfr3}xSr>skMH7!cpn3q!!m0GIxo`)!5-L>>v6QZiB<{z5Lxro>0An{TxlK zzsvAX5WajY8#D%VNpj*C;VTTT-cS7~6{AtDiU(|r6@9fRst~WxRj_9k#ZIgts`<1C z$ksSbvt8hibUM!3%PhMVDs%qO9(KW+s&6Fiy#qNAE22D5Hi{yu+;hon2k^dVIN+7R zzh;vWI1(KKw~|qQN@*7JTe3j753TpnwVEtyN@gP~F-_R^4Yzl`?EC%rq7`Twp)Xbd z`Jxrjpf57c0G;__g+L?}kFiX4uLLn!h6xz1`j&%o+RZ~mXN0^P0*CcQ2U=frQ2RynTNXdQ zh@L7hSX?cCVkqYRJmqS>)r!WV(PRmZ6XVw=@zFf^IWd#cN#57EC12wre~r6{;PV9v zoSV-VHyKO24(Yo*goFBM_#1rWlP@ea*ZsPe)D0HbIqhWZzA;bU1^}YsC$@VGRXJ}; zR|{IKD%$LP>vWcjv!11zLPy;e&w#R_Yu`aD#$By;I)O(tdi`jBFFo6q*fNy4Cde7a z%JpW+izg||3e$qWNLTpb7Y#S_^Q54@9|+21oB~_#Q*=?{$0NCzC*m{ARlk<%0-{L_ zSQ-33i{oo*TG9#m0Az(4;l=3ZZ{y3EF0Vxx0o-LvR|j%})|=J;G9E`bVV*1gGVWE$ zwQRLl?%%Jcs<${)Nv;auJ4{i(Qd8tdJIBcNt&I*fCj2X6XplXkTn=E)Ugx3*{W$2_0Hxg;@!gP>5xD8C zM&AzI>smjb1~QUGpPH_=9rh8s+ucoDG*sLySA9K~x^hjr{A#tU~dUzOB4AE4P;Ypyb?C(rA6++-YJFcX)m1 zkx-e-K=M&EbE;cnCQULN-fFOypfPHQ(3-jK?V83kpt}jttRw5>{$>d>R_4L`H>aTS z+hxGN^-s{ZAuGZEWVzOJzOq~_%pCunUC`lmbmK(2c+%Wpp+1x#d4NE`22Fx&hF{tw z5%S>6!RVk?Ik*Z>5sPd`223eI!3M5lsu>2;;*h8rdl)>J?@iNSWD&gOsU>?l|B09i z&R+?xUrm2pwJ?rzZm$ovW9rv((=k2`R!@Cv93SilqPTV|M$agJ-E z+3qC(YnZLm^ezEICZ7z{N!D9A2pH z>b|%oL-gelbrSRz-B#tGwsV1hP;uTYbb`^g<26LnxQtGptO5FT;_i6i>it*l&C|>f z-@fQ~#ia5hk`W9lD^1QFVwU~HFt9jS8vfQw` zfPkW?*rs(ZdBcQJgFjRuCT8AfrZCIQ5_KK1)Lql3NME3kt@%_K)$k3q^p5@wa(xQe zqeJqxbx%}tbNKf6PsPE7P3%Nw=a&2R@~g*W0fTX+P8Avi^|n-n?52u_eaWj-ij_mE zeT}LH8X6i$6O57A=qTU1L{x|JM%7Q1xE=>|-35m!j$z`(yNV&qeLWnbVU3^k7-KS= zby*UAb{g1tWNES#2E4bAa(rujG4xvi*tFDu*S)bP(g>A-t^hp4IQO3a+o2Iead|0$ zZc#1kg>8JJh=mVF;h@Pgut?aWos$1(O-l2@=QNneHkhXdqH%}%9z8U`@ zkW8a;M`9({U%}k&I>(u-8P6aQa~pSrZyV*lmy4Ct(igf)HN*;cmWT1c{rCBmF$kBb zc~4r#|K2K6T@F*&#!&?m7aqO*5;FfQ8Jf~)k#3DW5IM3DmobL4?(Ix~DW77m)~7|< zuR$P%d?bXOEI-gc@+qP10IV|?pv~-B%92xfnCif=C_y`8=?krOwjm1WEjwPu>CNAn zk!)6*MAMwCG*Y$1Ou<;_;FycB&@jd$#L|6#;xJ$s?}_bF4$vp4IFhg|l=1k3`NKtq z4Bd*b3`HY3KQo;i*t{k*c2y*c6!u!~KQk z^x0}bU9}2DBydXfC|yDk`|lQ~hJs8PJzMd40_qlmtLI@Al7N_jSZL)%DmTmA@(B@Y zF!;fGxbxbG0}G2S(r!$0GMR|Q1sPq82)Pm%9$A^va?G*k%@4*Lq2gt7lTyx-9Ptzs zKt}$A=66Yn(H-Z1CtqR(vff*kj0fxpPbh708tw31K%p`T-j9@BH>vdcOThg8-USjXDH7El|r7ja4YIoNKN zup0~q9sxp1kiwL_%gmR!TLz4VijxiN^-`h{#Jj>Ys!X?8Uc} zuKYRmaof>N_n|BRKGn^Sk<3rD>Jcbl4J;=7i#TMh$gEU|7NkjkI@12~f$r;b4pf`^ zy_^UnXO@*3P`}Pj3*B%`X?GHGrvH-3G=nZ+{FtjKpDJ?nxrlUe9#UnZAJVT8U*u}< zJi@973(^j4^vSr0bF#^h+Q)TKNG`X;$7JD~ly3){UbV*s9uk~+FozSha?f>!4?z5; z@uML$sEv4n#u(RJCAu;=T7n6#t2xwaz4sabWSbJ~-pX`*%vy90HAezQVaGoyc3fKd zs>OR7UoU0%cmGG*Sv0yR(S4_YH&sH@NS|D&?;n3xC((n+te4<6K12K`VVUsd#SX-i z{C?L0@!Nf%RhCh4+Cf+E1xuJ%rdWBQN-2?vC+wlkQH{*a4At92eHEwtVTa>Ma^qiN zt>Va9yGLoeaXUbo+#0Kgx!(M8fT&}|2D|vzS_l7ea?+DgJ?h2cK3$TuAv=>`?5r{% z+a=qF>VAQLG7ZkvYUpQZBWZTx5{Ut4XeC$A2;UOmMnV-8HDl@j>wfa7vE(p&DBQ}a zezDu=xR2dA0w%yi{oRnJ}uTNjDlQGEUWO37Smr zbbr#eZ#M~pIoe^C6IJ3Ys|gBrSq@8A8(q4xQ|&mB^v~U`Uf1|FWEA>-fMw=;v1rAh z=6l9DiEMg2u{4(DHsZ(2x83|oTG~MvgVzbrCSr9+)MGS+ z-jz@5A}o1bV!`)4&)E1uvj1)D$qmYuoM(-nc2o?C3h2h;ai#`r8!E@2K+4?&Xd{4; zIkTXj8!=0LP2}TxC#<`4BwlKWR^`MTEnht)rbMZieURm)g~-F4hKekpWJ(RRKt;B21Eh+FdT6`}B&@{*$m@W0|UE@!hK^-#5p zdSD$G04GS|G(QM^%3&amc<5)hynpWu7Ac%j@gj4<=Wl^6olF&EBj??L_V(_Us<`Q2 zXM;LnGpQ7qVyjzbvFR`1z)9dT_k(0v@uJUik4_b)w}<3Wf9oh@R+EFA2geU!RvY)o zYe2eJJ+*@%AfIJQB%d=yizBad)sUIOo1aNf0Fu(f2NC+nvGx9dTVOCtKz93l(?;X1 zA#X+4@&Qjx+T2P~G>Vo4_>8&*Zu{H>WCVVoQ*#cb6hUGQ;io{Su~WoT2W{5FbL1he zeB*P%FhdU-gy|bW;jftC7ypeX6%VdS5vZA7)!$lR&ZrcxaM$NCtE&+hPYg01)Q3tJ z3P|-y*NSn&YMAW61<7ZC2iGRu_|@)Elpt7;$Dhzhb|(oM$w##z9`E0H-6~5<(i1mu zYfdSMWO#|FT8~QBOZr4|WW^zv@&17{R^kv)#@#nhz<|b3g&Y%2hR+JDH=|q)o&90( zn~d*>Xq9xIGKxjGlLnsd1~`Tm$Q3j8gL4Me2`yEQ zJP(o9Mmi`6_ZmepvWfZ)KX{ML+X`C3dW6;y{XH;mh-+kJhSnPgJ7*=%VLUeuz1RtIkQhP{#<-_Xkg85q(Z3MvIz?H{y{q$W4zSVEgnAEcBlH`t z4JJhh;l8>Q6O*VxsF;Nnmwav{<>`-yMlkTU*=!qWB<*P(Mr~Q!n?Hz!XuaBJ zD-1F!#`b@>emnV*K%RET>_k5J$t2VlH%UEXrF;``P6Q)CP)A?Bjnv7q@^|Y=J&VX6 zFPa`eZ`;+*qzCZ}L+Ird1^C0MMI{=^2gyg3rj6qg63NU>t$W(&62MNhb$m^#LWf`G zbFq3l0X_O|Z!axJY(c@Et=o&57UUlKZhgnCN{$+`RK1t8zl_mD*xS3}HwSobZ{9aY z4~%Dn<2BWeEwncd-u|8s56jWH8q4dNN+NkDD~)J5G8mOggGKN-z;ulv@ZosWum9oS z)V9?LY&`BL!(R9!=QJwy8G^lET)1TRE%W=xkoayyAwg4oEj$jmKR7jR@>?Svm=ibH z^cdlRJDoy#>3G=mxx3rD^$9f>@ergB&=Ry${s-P4c9DZgb&zcSpaUe>)gfNjdH@sPl= z>47J4`Po}z>XrtPdg99R>d@p@+Z7Uv8bvrwCY%`-3mXE06OJi;#ya_Y^74Q_85#)oQn|h2Q&uoa4u8 z&d~dSdUoe9#*4lWr}y^#cdcOv;`+f^$I=E07z`ch>V}#EOOg;&Z-R)IwSX}AF=fi38jU!|iMl}T-jFYW#PO|&OkVMOuZ2k=Rv zC(1=7XY`C_gf8b^^`q=NE9Ob^Qdj&8rUyt26l3x$Y%etGqbUz_nv7j;IBKi~CU_*o$0J1QNBW$RZEnYbFCDVN(66YFn zcw**h6pGbxZ)^L;gsqi1>1*P2M zu~>fn*T!rkHVK=s&`(F~g}Cq3%@4&agPaT*;S)Bk+>@M__!m@v7>*OYUGPTn=_q;I z{OEKA0cBE(64xV5z@u7_zU*t2|sUS%iLlzlv2XM$yP@TJDn(|FkE znCLJ2tq#m2UT08ShgIfbtNw6kp?PoVhQAkjf6c_!LgYKn5vO$AosU}F!$XVtG8i<- zfMB|M65@%t6Qh$qIyv1^rEiaqhu#e~CU~*mmz~p)rIk$TWdd{$p%Of}zFBdc^Vb#1 z(b)zs7VO?b{!sJB^~pm0c^YnPzT zl)efIWyE#(Ws$2uEZl!hW^yxSL-(T=9*E!m{a5=#6g`=gY)SawB0qilTM~@eliSeI zgN(e<2{Y&AQU#UQLSGfBLoX?-8nuC4-Z(r>%p4hc=RsmHHXlfX+hA_J;;favsYa}h z0%cfo>MX4-`bzUsuc}Z{PeiwdxqZHfEhMs#pMivz1=P<2;TCM_*XTYQLTn}>Vc<{i z0K8chp=<=JiWk7#q&x&0dO+<+aqTxhmc=R?tfZz-XQYHB%bB%LxJ2D2Iyk=5%sZ-b zO*NN6HI|5*%F+&FDOSI0a`Rn3Zto(RpgLS#<_X$KkZa$P&cbDaXeRw`gqB_Xwn3MX!gT-bRLC#ClM@tjtn*r*8>SK1V{Z+;1 zSX02(zM3f=1bx73MO(BJn*}cvACI2L{Sq_ad{+A`Olam)`B!J%mE_aoOL;6{PUY>e z7F5==I}GEN82n!1x;wt*<@};E|DS)G_x$vFuMjxhpz+1t*Ixw;iC?I!RPr8oVoT4q zfW4+;27w!`m$+qk7V@vZFfXJW6&d>Veuzg*dFcu`xa)RvF_Ays4R_3@dI?D+_DDBq z7!P`TPDWH^(koxC3))Ty1_4I5UKQ|s0f`w3V~%UE8Tns~s=}fPVLo&ukNuXkaF01P z>)#cmJAE)tpl{hJxd!KLR*(EtC;lPO3Ah;LL*Y@yw5NnEk1t;}GCiz?J-ww(K)N0NB{=mxJRA*3!4Fl6zz4z%$av+&E z^KOu_k3ngI059FJ-1RM7{?2qT_EwhqeD!wKzwS=kci6*-+F9U+k9PY+;x~$lfpkz~ zt_$ty9R#=yXWQq$6Ul#Xr<)#c&-X;pgPV^E?{}Oz@lg+l#gT{@HMQSQgP7{XZYlHv z!bu;9vwbl*Th=|NYj(S?uocIjo-(&{ueKPxAa4de8vML`^c*yhm#+*rsxnbUCU1{W zP=rT3zZWFvsnG*s=z{YwEuM_2%gfVG)1Id9mb$OO6sNBnEZ~GKMC^WvHPdDtFkAUk=g>x?v)rodv|)jwYGW34vk-U zGV14X`aI0%_EaJM^YH~b{Cyr4#~&V|b6dtIA5SZYS}J_=ssr@jmu~~uOI4^H z!4MeqSmlkhF9scombd7L|^EI&%4LTd0O>m?ORW+_XAC> z15UYwwWrVKyoY)sYtNI2#)BhJ2Jt+B1CclXW=J&2!I#O4N<8!{pw2Zd=h zMREYK9v6?>?yDpO9?OHGxo8IQ8fwCtnVgG<(c{zG5>ra+mUY4KW&^WV>(`mNA4;CS zV{00h>|f0;?}?3E36%5^8KEyhq3s*#qn0p&3=b&YY6W`&_#i6NY(O+}aew<~dx+OP zayogLR#SsGbDIA;ct&g-7Zvr<9AHI6Thj*;cZLf;cu&ISO-{M8G0P186s@-DD0#1K37^B54#KnNFi#Y3gsc+DpVrR`o)&+Q31)Kekn;0w z_ZZmEfOnqdK}|j{T0kD_qW2MDHMplkUE=*ht;hS`a^coy&qoIZKW6`z8Pgz=8}tHz zp3$M=4n~Yu?{8Q3#aNFtiFEN4DJ5OVC+RLvttm$&#ltsEo(VoPo2802OJecaUd0Lwam9!cxlt*q%)V!S3Q)BWmgzd=` zUWg(*p~=qNwni2|JFs|l>yrB;J zIQrAQ1x1PI8MYW>lyn3kF>*xoA2Eh*<%Mo9j#Mez^tf2Av zPi6E8DB=QzS6J4^7gw6tFbVn6>cG=dSPNG*%C0|Jc}Mr(RAo2?WHB`MorVRb58kCE0HsM+a|-7P#u2;!3X- z12HTuXxY`vN&qsn7<_5Q?f;-c8CB*r9lsR^KWMU0; zi<2;dO}1kAwq?2EPSGIp$W>3KWNWGF#h-Q^N{eu+$#J)Eu*-g?%Ug1XxT2Sj@CnT7 z9K}4bxKFremcz|NSp>*&1<{jM-_h5vK?q`!8{G7Ze1)(`oMTIc7uf;6@5;QAZj!7q zR!L^0<}ht!L>)^OEWpUm#>L53=Z{9&@vszP%k7bGCe_ltwaGWHRKb!k;#$?X2^EJY z<=zSuDD<#O8Xta9Tf{|%!&?8e>_ea>1K zaW-nlcFfpj%veN!j#Bh9N64=9q%2QV+qQ8#P1tlV!hPq^EMc27fqo7HgI^u-{EbD5 zCyq;!h~?YN6TMvYL2>Q(6Sg^;*Bspbmh4Hh=dG4&#MECwLBD}{sWP0NC9jSX+oaF0 z0NO$>Hwpj0TRFTl+;G-AL|(mn$|svTv6j9x&zSA{%q{wSi>5{#&V>@&-v-H9WsYzt z3i;j;T3SiDxUcJ8SxRmp!?D2`Oi&9t+_hRfl(f)D@E?^tCNBA!^3J8{rA;J2Qic+#?T;fJXJter6`fpnvao*{R1U=%Ls6IMKzfK{_Am5K_UF2QZ;;U zh%Q?Ip!?c$L&iqfKiwo}2#1O<4n%Ac>DIFo9Q&?~?nUT#b=!2GuLa*XHUBw$Lz62l zhV8$4Wd6^wm;9n_(~5RgM?aduKhfp z&cxUS@#8zz&{{Z~I0gS+-H?X3e;3;6HW zVLx@otMS@UH;-t2e$n;I)<-cK8GRr5z6#Oz{g*i5NPn9qHcoGCU>)Vi(Gh;R?j%-b ziiwbh>>x>nLbi`mGp%!7G_5si%kxg^@eMVj_zi5l0Ns{}@W?Y=^f+X0-Q3$?MU`#m zAgyVax?TT+F={Ljt!0;SUGJ@|du@Of8pqXR)h}xfs}6mIcCDR;@-?+<9Apwtr5FEn ze9cW?2P05IKFhF@Afm(Prh2&LJxX}CBOX=-x9&33?Zq%Ni?V}t9{-%RD~b@^z_l?P z0X-PUwW*zcZmOLX+$GTGS)!GNPl$%KcTgUU;hh(cqAUtfq5US6zWGjw%q5bqfu99p zEA8!k%1Y=IBGH-#+JHqjrG#uiqs7pxW6UHngv!Rw^9KZ{4Tci`hZCxSRM^d^GZB7b z%JxnKgl=JPznm&O-2{_5=&y0MCZ-9P%D;T)q4TKDnjo=YI+}1zII_r@{w7MstlTD` z?EZH`pvXc1gv1_bwEiI>ig$<{+226E-o7o$a&V=*GP5|U#t6FETa2<$D8bTRRh%nK z9C-Zez|!_H;pZYU%I~O(P)Qx^UW8%ZLzrf$34NN)31x-RO!xcIUZu%QXulPPU{=M( zU{2(wV3=;nViQ&%Gnu`*zgyW@qqkNyj>3&1D$+>-g=P&!{9=>dQDClMr!s$&ic)`| z@#GA@CxX!Ddh_&wy@hJbQI`Ft^dq3PF$41_73hafFIylH7!!?*Cox!&y%C~Bl`zK@ zANi@1D6M+(^F>HS!%F%fgUHOOnmFilL_^RKJ!(O14ZYIIcM0rVH5x+hS`QyChLSDu++u>H9t8gn_*YjEvi5$d5+U^3 z>872X^cW?Y(#l_UA`@)rJY?NiB9eP>d8F<#0Ld)f7@-L4>2BbRIhIKJ7!5AI+=JBV zPP$5jk`o)IGy%RmBoI^+sdX)+8YpqSs8(4vdWug=gS9-TlWxWp-8R*arv-}{iS?XD zl0}RW<%9(ba+GRSbIE{e4koZlp41iVw!m`+FtfY|cLN9#-t`TWk<@NB>`nw^-(o{yL zb1JpOgoI-UYfeWut`H%BdA6Y>NMW0xk=gw!A&9dxdROOAnA-qKm&qg4 zy)MujndwdAX@W8X@;4DDkaH=1aQ0iR8!vuV>nLcHvwL2xmq~ z`rMr9O4!SovA=)i|a%aKb-MzJ;l|nUNtp+t<3K@cQKcTq1ERv zb|(1aq|J^SSNq3W^j$pMLkP(L#Vbxq#{T&q9P+jE2m)Ub=1Z)Pg+x}!Md1n?~>K=J|26Re{B- zo>7%a&gwEt9F3>ANDeF%?R7qdt}TUq_^#-0YqY4?ZDnbEm@QTBdO3%{EysbvJ_`}q zJNVgtU?=@Z$u0C!%OBq4r$WKCZT89t`wcUkh*?}g)B?ko)yJSL+LAwftUb%ajTAmI zRY&&(#S?yT)2^>Z-5mcqK2-&cP!{gI_qabW)`Md3b51-}*{ZdMMwMbJ4UVPjy`D{MTo&z$8qf?PHJR*^;JY{02CDPema)BZ26+P0#+bkYta zZ<=r5Z|RIDO!4j}dg-yUC0&+Xk*gLY+-*l~qOYEN26U~I3jHL&T3iD`wQ!^L*#{Hj zYAX{r!Mp)n@^}>fP*Zn{(aI#xlBdpEw1sE)fH`sDO(R}CD|e2$7?5~g2s*<~s(gh{ zV@qiBhPLiqy*xyQ7bY4!AhbU$$Uwz_8sPW#bZr~n<@q)<`}Pg@_r)(Cmk$9Xh)qNV z6gNRwI4h$uv!P`m!gxlJMqXg!htJ&i^*u8zckk|={vNJX!|&6g_s{E*1lvM!JMJd& zmwRFUj8V1{Wej-F6>)MBRVYneB=;^Gh?XW3&(17mkOl;lJ-Co=5ryb&;&tioOa&v6 zd@l$4)hUlILWUIAP7Bs|UE|Si&*u5brX2RT;-BM#`djxv5n(LHVO{qTnYX}b_T@Hq z?4ixSO;5&c!|s5$_G?4S+RFjxfQLQBZ2|pm-=5AM-HO3AuR0ED11{db9V16SJlg_@ z#$P`U2F9;`e=es92E5#ik3aSN^YQ+8oKKq``Zyd2Pa_ie=lAlCNU49ekjwb_p#l69 z;OB5!?{M@3u^K1@XYG$jYuWJ5z=FMrf z0f%W^w>-`HritgsbN1T!s(o?)7VyyFF4%LaZeIVIv&6s5ud*^-e%7>_`(}4k#Wnhd zfDQzWA`2S+Q~eCg1EoUdas~fqb$%%2r;oTElyyEVJ2PW4gS}T-;OPM3CVEu7{ ztN`=bdBg=--w*70RRMqJ*a;ZCMHc*ce^^KC67+xf5xqKiG7Ja=@A>)muBAVVb;WXR z+i>JQ{1NtWaBBI{x%%$h?r!Rg8ffnZy6QW(sc{d-AHf^?(Xg$+}+*XB{+=)2of~V3GM`Uceh}{3GVK$ zm*<@K`R;pveLuR#-c_|`tu;o~9=m4knyc;e{4ALWX`Ozwkzds@UWesPz)oZ(N1lbl zcl&RN!KyVJwd}lQu$%??R;zwVp3^c%3#4oK`JhlO{KBe;M)6;4E#Vgd$Q%0N(d8+f zD70kyBV2V0YMP(r>R&dr^ls^(z zdBSxGqwK`;q1fp2K9Qv`*jWq7_|5|FZ^IVG>4(`&?Pd3-x~nc%m$Zx{7d5zsK~~G9m&d z@1E>yku4_}Bs+|0f|(93@Na)D517O7;xF8evbWH1@0_}jIn}tCzX3MplRcdk!y6KW zpJ`d$MF&x09{24zR18v0uiT(7Sifi9*HEuBAv%9Dp_@ZO)`JmRDNg-$fK zUOiF}a7uJi)4corGUu3}I#HsRoO*hajcA6`GBd(I6 zCAV@LJ6Cj9Lt*em@tXgfG~y5DF6#T5bRmxkS^5K@hFq%x(ZP!Ly{t&>PulwnY;wW_ zz6imIlNdIQ3Hj{;4T*U8e`&|b-U6!$e1C|-3U$&P(9xIF{2BRlEiT2mpRKKjp=3oJ zJh_q0DX$hU*Hn&BiQ8bi3q9rt0Xy)EnS}F zbi9+NCim#JOPRBWGwCR;d3&V=lZ5hyGI+dVT1R9UmKr zU?Zl~rbV;prmtv9zx{T6#@rB|-NPAJ-Lw6EXL~X0U?g@cjtv%6YhU&)0==CME~iZ8ge@e{Pb`40$^TN*8hC~Jwpdk19QG56F2db1VT*SNzA+G ztuW%(Ywwadbtd90%_ER%F~H}GwG1h|iKx#9F%z+`Lj>D&&}I_fi`ua2b@Y{QH0bT@ zD{oDT>+4xO<5pHZC!n24jw;+I43ADN6cdH~-ripCUOUg8ILLpGqku6ZC720#9M$`w z=^)+?NfCn#Au|o*T+beXuzMf8gDzseTGO0!^glBSa89ZE|Cu^{Af6F2bUT7rC*t8! z^WP_)_%6cm^NnM4@MXDp)OsTEj}IKvn2`Sl_`#=zD-IHy$xvb|K95cO%_%W?cvNXt zBPgEr@q2&SvQ4JfDgwtM#ZA_%8W~l#{;iPLB~kt?t|C)MuZl@D3`-}zh@5#$t^B!` zUUmPQ#a{7uhblpG8T5gY9v$NcW^N-2ZTkh6dU|0kjl9C?K`ydXC`ZnlQxri;YZr&-)%$ z(-^Cq&3@7`vA=?GTxU+VHw#UHvxj4Uwf*ewY!_LRQ<0PHL&-nlPrNl(cfPKcsSQHY zvF0ca8uc6XVwTrIB^vZU#SP+B0 z?7thnLNFHe2D^#jdKKb!sXPnZ1y)iyOIOAfPjUSyEg=9O-DwY`byd%OstD?EA@iWi z>uNllKhS14F^14Me#`w@*Dum%NO0=pTnf|o*G)aNEtnE*)N z_wDlo{WUv)=5^GAV;)9eOpD{YSF_j!t00@)@g7`u$d?MIxcF(exAqoFD3O7wXHHqH zz#ExDk*jAg17hH1%@euQZc?Fq~3v;9+dKG zya85PPA$Zg79}YY1w1}?JwB5s)7=|A?&%d_szkrRbA@Wvnvqtbbv!eKjvZ|ciy$^) znHXxa%{`yVkK+!(C{(|_zwgNVaHTzgY%){ib4aQDu3L;}%pGHEgSe3kcP=7ML=h20y| zVH!+mCI`-w_m^ZTV)c-bFVE?tIk$am+s6b)wHab!zRq9B@BienWCrnUpl;7Wy)nrJ z892#&O&gI@R7bqosBchq3fOMMpAqt+TGP8-RTFLUsk~nw|Ar_&AIlMML|)A6&HZRN z0)}7RENdG=;3%iBW$?h=JtgT-Uf!k=aicrt}2 zW~aq{(q9qG75f6*qLkUsG52jGSw6ulDLm9vwj!d{(j(NmU*WBEm*r#8SJ)YgZ%viJ zvUZ@yk&JaBQjN7+$*c-x?my1xvCj!=fw`p8+eZhxg(&O5TQu8Me#&n7gk415pKbMh z;gAibUR90KZGW3JIh>kcFObm7uY7X8U|~^ZJ)jmERHZXWjs0ZpLIlxs?fU`lgC3Dr zLS8Ol;T*aB$ez66Q=>x9=oLYa)_07kdOt<5YTKD>`PJQaU>RuI(tP`?KvOsM7dTpJ zt#v;Irw=d0GG{c&Ij8pIo|hrrYG*c*-1{Z`$9ykUz9;orgtoghhMJo@YCg#0#pf#} zLIY!W@3pNn!0|g)3tmo|k=g8~^Fg%!PnPp!EsT#crT~_N57??Im^7UagO}kz_rfE&2OJ3$W!#WLN%OO{m5CFaA0=RG|s$G2>fKi5W`vi^CWj zqDSp6puMVYkO4N5SuSH_YAu&w zD$<$T`wsMRdrS%5zSa%Q(t(p*muM{wmtExp#4&O2y55Su34b}J(lf0$xzEt3NZZKT z>Z=z?G(R|l_YW@3FNNcKu^l*oME3aqPNlSX>q8Gd54-z*AhA|^7FZA3x|pC~CZ7^p zl(J-RdjC?qJ=lm;A2Y3ITlhOhR^DP~l6t>0F@I~5R7-K_v=@74sxCMVGa%0SF2K9M z8^R*m0v5S`!=+{2b1r>#`+{lIz;z`K*0}-?!C8+X>J-Sryv11t&fRsx?fCJ$R<6RJ z>36i7?-n7(+?uR_aNj1k0IpK&wE~oklJ{Q;+O@){wHDUY`h?)uxV2)Z^syej`oJr$(FA>yqx+UTU*Od? zEmHxmL3w~|7p#Z!VH}*f@7SDZHHZ=Y-a&CPwKq$`m0seNnXzL)h^>XoPDlj{0+Jd9@Vk&P|Ilg+0^!A`GJ5} z@F?%pE4il#8xa`6EOYd2C6cK>a;()CmOb{3`Cc8p!*00dgRT#lQ>L5{=TWAuyrT0) z{Bbu~gd(BpyQB={eDqafN?E(_9G+ihcMo4p4v-2MmTAIc&NmTAhdv1A$S#{PVO1?W z4!Pc5X+^Puk|5Ixn zsBl@h^HCKeSxhkuP6-Spi8+cXvIanq@;@-9N?PJ^MAJXQA;dw+e40a=|0F#U?m~Ar5(=Mn_OL5JA_6MCP$ZPtL_NrvFWHU5{(C-3_x<3|J95ioR z#HYERXJ_tSFX#BHq?a+GWTThrT&$jI6{t?s_0NDU!RdBu?&rI~^%^$m4jY6!mO_%GAD-^eaX+S$QO_qitb+i=;PKG`qgEsrrqqB^2VpDpk|szWrub;b8H1wkE> zU(xAHAql`)@p;cRAUSXOorA44&-CX$)RE!P@qDV>QE_qdmm{M3N@)YS|_wd5O%-b;iDE{Bb6*^*D zwE@|9KfSns_OpUj)Z`9 zJI^YzmOQ&h4*gnM%ii~pJXr5JRb7$~M!O^7`9$Zxb5woi*#FTBF7WMMp!BGDFs%dL zAE_u%oD+d-R!@y=md5H>X~jCr)dmKlkjJGaBVH7BiDECg$N*tM$#{zjN!neNU=CUc zA%yt(JY|hDmR5hyGW+_gwzXMbyS_ph#a$`-FI|nNIUO z9hx+csMuAd!1^S-WWW1um%H@WE^%24&945vZvMx4>1~%!9t|Yc8tkgx>PosbDg58l zekLR6d=EP|ZKkYE9~~_^WD3_K1tXy@jP_5%pScd$nBFhe5c*Jo+NW3&e*)M_wWkla zF=FY4N*SDTf5Y!wL@r@TnpiKa+ni13`a|(tM#mXCFxB82RZ|5${0!Bd5k@$IuI7WP zOj4e%kO+W&MQgO})F8aVlH_T(?jio&-R9N$V5+|4;6CPjVq3{i3}dGqy^-Nt zg`S^9M0>x{UN4v%ge-AA6n|}KCyQ%NCE(M!R9$KEDQy$d=n_d$|3q%EV#m9THSqA@ zBp4<57J(S!Lp^OeIQ#}}3SwCCfn0n5VFKCzX9;fdzShP-L*s1AW@V~0RfJChL6Mb0 zSN~6=_ngY_i*_&Ha;`b|HFH|s+AiMIS_5|Rh93D@6|d0g)l}W=tsQw?Rs^diwlnwYDe$W z>eFR=+x8Qy8rBy!Vx}=|9rfBuONJR6{Zue!Vxy&6Y%?X5x=dm9m#=~($y*~>ksVYc z7gu@8!+_hPy-2n%=UWL?t$7g^f`lE33Llh*p!xAW;r35`;Ezb$7vS$v6}&$iRm@nGMv+!4hy}n5^a}$IN9KN81zfMskTWa49^OY z_9w&4E>?{$loH)cn9a)2j>KP;pXS?k!Qp#lBIKEfXEhvNqq7dhIzO0M6iPR9g7Do% zi^MpXDqfwB*4lrk7h2_H(@%9}Ws}o_L#o;5*YHvT8flDgguPtAPx=~<)_(HUF;8YR zOd_?4Q_35~qxtbROn`gz}y+%~b8{V}bOgt;P z9rCOW)fN0RF5VfK|M0=MZ2u3ZYi|++fPsQ3h06J#!Sg@l&7U)%7Unzu@?XY>_rC;A zHwd&3{V##T3)%btqWCX&BMJ{P$9m^}{%e5_St0__{FgxzBnFAY{Fgy0pa5~bL;OPs zeWU~leE63^8vg*ofSg#rE{q8kI4-!B0?|KX)*SwUw1Va7K6-?{24 zHV`V{e^48D*g@<7BrX;yTQ_$PQZ{ZrZb)zwkPyVi%ho8y3DN+7|9l;gCEd;D!<_2D zSHt~6I)#xcoKGcuE!u<@5vCP_fcsGfQ4p6CBP1JB zBr0Uz#T6^Lusa(74rM?jlRyi_6zCCMhx#%YRG4j!l_#mH;t?{EO)3RsUx-Wyin+)~ zqa2oL(TFelmd_?xkibOhO$vLC4ND=Q1AlG1kEDiyZfC7qW!jXlkG2~mSPU&kXhM?= zOeH+rM5^*qsnLL)+sI}qW<*;@s{bms9-}7_-JsGz3h1Q<7iggg%W>*5>*h{>u~dW# zCdwtDVC?ArnqbnCu!4_FlvJPC|9!$=DEjPI1j3Oy||C z4~t|oe1&RMfekd7@)(42h;`uw99?W}z8>PYK+n16PR6-=fMFY1fr3-Pg|7QCNC@e)6edX9 z-@YgOLOrIxN5PL6A2RMD4W|E)M*2$u3PCirW;={90b!yL{$e|!nCi)DfS@JZebkkGWIMI~0FwX%m6$5Y$@3aV*N3v2ElJOgJut{jR2PTa8_tLWEU0yJ9 z$nUt~Z210g(Zz83jH&d6{X*jRgOsm=_a|2Qms~Q&WLHC>E{`1eNMw%B0rBgLOB*tnm+93f}g4*5D0?18%$)R0h5N4vMW)?q>q{kIfne9|83Stg>K zvAXUico5DPX#@7r1e;q*toNoXr3ZVVBSK8*Q0kcfHslVBESUH8#lt4>=YZDlQ~Ozs}g%;-GaE-3OUPI{4qR|`!Y2nIpTU6gz~Y}KbZ5yW#G8O z)DL$p+tb0i>9g{bJInVs#@bv`Z#rNeN}WaM{6&QM(Q31{46VW1MgRJ3$ta0gor3P~ z@)4YcT0)_=9GpL#Q42k-s|Hx&>W>cQe+fNt)l54dxTVdFGRn;+_ir8WZD(VE{g1xO zuouQrHWnFtb4<#|FXC^gDKajFdmM{0xU<(RGOj=6IT*c_{WB2IikfkH)13(Bgr}S1 zOgy$fNYADj86bsr_tEt@ z%G>d*dcszg&ElNCK_Dg9{6bIi8eSKn(JSKCg>CRSC`_2}P|3oD<_x0kV`^v)G8g*GOJZ_z?N&U)q_?X zR8Wc4V~=23Bxu|=S(i&?`7-;>K&s+qo1IQLX_JGlLt7+JMuhKb3F$!Kk*#HZ&9~Dl z!bt?2_ETAI#8vU}k1kFx4a*Wwo7Mpe37qfb(`~%iK`_$&Z_#*AZ$!?9qnG#En)vtk z;-1%Fr0ws)!~rKZ$4`!B!z#5oRzJD(k=4x9uhK2J$(q<+!@H&rZ3BcemNURa)AiqO zKb-PFV1+=W@5fHB#JYXijmzxH=0zs{%*5@j`uHxEc~=${(@#u26&Cg5m-4MKDxG_9 zI2EP{63z8r$)g4FX^Hwc?Grk-G=0 zAzxjJd=1`i_WWHteviRD zJf=vd)gqIl%uVS1O$%&@_h=ZD)2*m=|5S1S_x$5WX8MAI?sAb#K*iC=xcCJ(#EI(N z*7#iCU>tSgL;8r@Xi4 zdGk~g_-g6Nm(k58lICAnAOBrLW9($?5!>gi{>(Ze(77hnU|i&~C8|mqOQ_+^X4AP{ zko{qa&Tre#-srBVO$6cL?-h?wimbH;N>V=!;bH;=)*O1L(I!NlKNn0%^+E9_T}(e> z5@u+lqw(TvQ+;>Y!O4b97{%(LTfUT(I;vJA#i(WY=VI>&3`eB3Ja*y);(J8beDAbG z;apzpvV36!-drZW%dZXov~}#=RWUM7bw09$2h(r(ehg9~o5~ST&G~0)fxpviz^Q&? zUd5qKf1PLdcblkes|~@BGckNAyF?;zMe51$k%Kb) zqEfi0?%jmV(yc^_W!dm;;CAht z)33K*&l{;7Ff-aTqdN=**_&sgMH9!p-Poouyk9r!Ln+n#R_i3@93wjh-1CKfAGYwd z)SB5OtbHmtAP1Qv6u1pNyY$J`C&Qdk+?1G`syxKxH^Y16BoAqV5~KW;Z&zU~CzZiN zGw$X`r>~*+GAQ6B-Fe*FM`0ZD8t-YZzq*vtpX|GAiS9-AP_Kh(zSYthPR6~dL;ZZb zJD2rOKuLTk_|_Qoxci<5tZHkru3ppHhtt}?c_qc;WFa6PwCN5MA~d;2oh(jzL0Jf% z_~yifCwP$A{7ANCwdd+6wBc=mvmgoUCRNuwBbytye|Zd<5(Qy`^N31~Xi-G4BhgG# z8OH~QQWqgL&I;zDAb~(x=Bj6TlArS+yfq zRW_x#uSlp7stxVLR-q5g1mc0MH8O^jdmdk6xg}lKyd5=US?vA6^2ZOFyC&mu^?B&C z+y>Scn@D-MB=urwaSXicz=%eNLIkzO17zqx#NbsO(S&L9CGKzj*E0b7{cwdDId;{h z)U({p@pd9<0;#qO5>UJ?f9>fQ++b@Za{D^Kx`!Hnkvn4-nZv-Y*0E5l40y@+o`H!4 z<5N(jMashsl-?jLxX2-^se56UVzKD^F!vO#dAc!S0woo&9(igbOw;DuoL z#xr6G2|%Kh`<{Ssc25wlI*-OrlQI<(W_ajBnw+;C9wSPfovY(sC8}|;r5z1C5C*4u& z*rgB<1u-hfD7VYOWs~b*%WZ#23`^9HUyJ4>nY%WI#uJ`KI64G*_IYPeq!6 zV&stQohIksXkkcE2TPvJSwyJgGIMFAx zM50(&xPWJ1WrI!q$?PbxnhK}%`o7te%S2E{NU7MhQ4!8v=n*@9)}4is*Wb>n$U@Hi zZO!1DTf6DGBYk&}iXh?XRa4e{J=MDH6b!1qB()HcVou?dBLvo0)P9#rH?62(KAO0uRi8uwdjxhG zWil0Nmp+6T%jbPOeR4h+%Q$4}q?uoBm~>JlVww0=NopYJb@1E}Q|Jp*vO1}hb-22H zXe#t_Pp8TMy0!K9;NcLHDaF;;>)>J6(bwysLF_nj&M)xpw9dCK)j(+?)|!OnDB+h9 zGYyyoa($av2W)@y)D6wWNm}&RePc|03$c0eqH&igeFBl^ZzdgBmfHsK3n_=I9DQWg zMBTIJI?2oW`)$Elq>T9Y`0k#Hq~@|bP#`NPgzs!kUOB*c0-U9&+FIB=%Z&e+<97Fw z$D_Q4lMnULn3*P;Bn}(W5SeUKy%vgX9RcnNVKoeaslMZGhhpSXmYsppSteCFMoC8+ zsr(XUE8b58m7Md6Dk;Ap6)i%@6t|i|*!dEm_^nB{?w(n1(<{evvYr&_yUi5PCh{4h z{B6Sq@4Ini%A}b5k>huJqEXSeh+N4i$EGj68<&rb^QgwcbVJQQdABbGunEd!UJSvm zGO69X`I_)4qOP=hOOFGtGH>U+Gb}woX0`eaGn62C=RG)cNk?-k;@IR)k^7gsy*mWG zL{euUQ$sZNn~+Vl(?V@sBDR7atsf>M*bx4dy2HS9s6&&z*e%XNIE(#MXAJaeX7UJ|REvZbI9(_>IidMd| z<9oUHQOgKO)zYqtd+_n(ev2W1+_>p7vCxbv&q}|iZ3V5)t{fV9cKWIbm1b(Ql&sMY zm8WWul++%!J?aFM6wZp2PRy3Ilwi-+=xG|4h?G=*WOPLC%;;HG=W4FVTUKkVnJNEh zxKg-YH+8awbCxLx=4U-)m|Z$5?vO7x;{Z4v``kG+YW#9$xQ6*I&B6`Yl?BNG!Xa#O zAS`gPvs{u4p&#dB5>-lSjHBXhNwst+&J|1aq1mJKpPic5yiCnnx)OuDt^vI%(BC7f zGSAfo`P ze^HCAd1>2xI7c{`f{MrYr;P>cE-xrlyGnPb> z-CE2?omi7wR;Aa#Z=+jVNr92|zZXs&2fF$`3G-Vdr`emR;aAxbxFo>|{ZcA1E{Ooo z<{i4;eCNo8%rgAAOk-ksnrO&68IFdftSyRlke0T@{n(+A@K-ItxpW_5oF(k<&*KNt z1_!*db}kneS9SIp+RK&QP=0>Un@&40!}u(~e_LNyP(q}XVPAT9(*A3L zuU^rV-MZnxtVZYe+i%rGr3n!Ow`T`1v)WYI>k!L(I@f!*8a>5{!`bI3*o~|?K65^F zDPj%ln`<|@vYa&kOy7qf`ups8AgEQclLpJ5rvRa#IqKV}w?GEbM9TDyXJq8UPk@kb zz}c*`#DYKf8UU8&78Z1QJ>cNl!mVF01CV839(7ctB`y8&ay#9@zTfk;_&OPn#zvlu?!_QXoczR0gq5q zJDRSq9p)j!;jAd^S{@jNo%?nx+n0nh0rol9Pr7|Hg;`$kn7ktw;*=M|YCRwtZg|$z ze|@5U04<-=d9`y4Yr|1JbUuS`?`S%OYCmUUn-yFJd&=1-GNKx^%_T1y8Ho&CV<@8+9| zzaHUJeL^o1-bUXOy^9!+e7-ejIJ?Wje5mS0L3crA>-CB|6WaP96A31~_2J>Bh^law z`ttDL=!-0cFFn!cC@^;G>L>MmSKOAnE)(%%;o`)8AP{v0hKf$FIfa*Yfl#Ey@9d#B zg<_S=+pD)*DlA7=NpAvN1VQGXqV~}GK90zCX6B@9T6+4}vN*Jq8v18xiw0FWFkou@ z?DNpl8H>H2jb3TQ^pa@zSL&n_&D-ZRd3(0T!oY$dFSh2Q->s-+1_=tyz1X@+ryYJS zZ<24A9VvCaiaS-R*OIrHgQ*2otrNd&l#D8TZ{6#Qyj$a9uBBSQ)P!I5@6IyY1r8Mc zth_5zjw#MKIH%Y_**r>fa|(V%J)v{m7vx^b%=rjh8{W?}Lv6*TK=Ie`y1U4;W?8*< zcB7R%?N{vP-zV0&J2|G6B!<%>+gC*q>6FE+*FCCUf~tIy75W@n;2Fk3w`b{dXz)R3 zf|6%KI%~!6vC7pEjM`CgxQKz`GKdks=I2CR5&ASq%AM!)#sCg(pKey1#Yn?(6sJU0PPAEDY<2Dp-zUwEwM&__q;Zc0rg00A-&*BJJa#CiX;{1D^i7&~v*sFe z#ET6Qv7isV|BxzEkYuVjD{ng#-G@5HURP1ME300_^cf3LIG5MO3!bKE#TyQYfKn68_O*DU4`9Z%0LDGpDWHNx%Tb zp-b!GC}Rv8M37Lc3IDd`Q7qN3l^>Z7&t$sv9h^*(e6)SoJlO08x?5IA(9`{)TJqJg zQjoAvO0`LUgJXq@)cI#O%7BNPl$F%k%nm_NkVV7C#gauw&C-fRRzhEp)5?^c$I{Z= zf|Z+xlaq_ff}5Mo)RK#bmy6TX-0WRa`v12D1V$C~{;eE~wmusv2PwNDgp3$O2w>wEBhYmU8tCgDq}RO=wI*+ z!j4>-q)Q`l*cU6XC5$5sGTHz<8`#U#M%R)8ov?}lZdKlnQhLTo9e~{}l;!>@w2PM0 zIu7vz5sHYMSEkl}0z%upnZn3{_NFYOPHV$58lzhdfllE)Fy}z1_YdK8e=Oxq*9$A0 zzeU%72fj8oY%WSo_9fg9NSR@AZ|~CyhVGpMjkeQm9KL*GgEi;dtMT@`IyO?YNln-q z((Y$?9*gBJh#WlHOb)2)z*CfW6XYJm{?Rp+ro*`Uw05G-WUH5?pR>!ofc@9h@0n1* zMEc@&*=GKr5A1pUJiY*fS7BRf`&3c#)~!Wifi>XA6!+6yk{r7js7E&!u9)5 zAEf|CG{*~AdmMExrcf4JSN9@1F6ZLS^Y6S4M+!BJJor3TCNQ07tnh%s&8(7Z>v_zN z<)gq<+Wi)n5a-ePE=r$1nJ{OL=iirzZLdQ^gn1l_w`CDhIfJ z+2^fJnS!ZiK6(Ot;FGF~i?0a|?>i$z_xMb9+9SWy1M0y{H@OGL~W6c=iI_wt^a9>dbVZG*c);GA!`ehaj@tf>E`4L zXq;OiR(bE#lGsV@N4qKiwdQy-BDosjkhul_P*~S%s09vXKqICHtt{H~*VBS87&o$o zVm81EamKLV6qO+76e%t56ojej<#kf^v7!5R0Y)JEbow#pbi@NPOXR6MtG%u1v@Q}m zUj*!sMZM?dT%UIY2G$C$H_8Imb{1>#X)jlhMs3MEUu}Hihe*J>#Eh3~cdyFLhstGm zS(i_E>g4Kbn4k#YXWqH{F;}apo_rM=AR1M?V-ei|2Fw+~l{^C8n#; zcO1>@qtd+A-SmakCuU-PU>G&;E1=XPW~g{WA6?x1lMC{~QzK>-T7Goh42Q`~B$(=Latex, - box/.style={draw,rounded corners=2pt,minimum width=1.03cm,minimum height=.52cm,font=\scriptsize,align=center}, + box/.style={draw,rounded corners=2pt,minimum width=.78cm,minimum height=.5cm,font=\tiny,align=center,inner sep=1.5pt}, fail/.style={box,fill=black!6,draw=black!45,text=black!60}, + pq/.style={box,fill=violet!8,draw=violet!60!black,text=violet!55!black}, ok/.style={box,fill=green!7!white,draw=deepgreen,text=deepgreen!80!black}, acc/.style={box,fill=blue!7!white,draw=deepblue,text=deepblue}, arrow/.style={->,draw=black!55} ] -\foreach \i in {0,...,3} {\node[fail] (l\i) at (1.08*\i,0) {\i\\failed};} -\foreach \i in {4,...,7} {\node[ok] (l\i) at (1.08*\i,0) {\i\\clean};} -\foreach \i in {8,...,11} {\node[ok] (l\i) at (1.08*\i,0) {\i\\clean};} -\node[acc] (l12) at (1.08*12,0) {12\\accum.}; +\foreach \i in {0,...,3} {\node[fail] (l\i) at (0.82*\i,0) {\i\\failed};} +\foreach \i in {4,...,7} {\node[ok] (l\i) at (0.82*\i,0) {\i\\clean};} +\foreach \i in {8,...,11} {\node[ok] (l\i) at (0.82*\i,0) {\i\\clean};} +\node[acc] (l12) at (0.82*12,0) {12\\accum.}; +\foreach \i in {13,...,16} {\node[ok] (l\i) at (0.82*\i,0) {\i\\re-att.};} +\node[acc] (l17) at (0.82*17,0) {17\\accum.}; +\node[pq] (l18) at (0.82*18,0) {18\\slh-dsa}; \draw[decorate,decoration={brace,mirror,raise=5pt},black!45] - ($(l0.south west)+(-.05,0)$)--($(l3.south east)+(.05,0)$) + ($(l0.south west)+(.05,0)$)--($(l3.south east)+(-.05,0)$) node[midway,below=11pt,font=\scriptsize]{run 1}; \draw[decorate,decoration={brace,mirror,raise=5pt},deepgreen] - ($(l4.south west)+(-.05,0)$)--($(l7.south east)+(.05,0)$) + ($(l4.south west)+(.05,0)$)--($(l7.south east)+(-.05,0)$) node[midway,below=11pt,font=\scriptsize]{run 2}; \draw[decorate,decoration={brace,mirror,raise=5pt},deepgreen] - ($(l8.south west)+(-.05,0)$)--($(l11.south east)+(.05,0)$) + ($(l8.south west)+(.05,0)$)--($(l11.south east)+(-.05,0)$) node[midway,below=11pt,font=\scriptsize]{run 3}; -\node[draw,rounded corners,fill=softgray,minimum width=4.3cm,minimum height=.7cm,font=\small] (sth) at (6.7,1.65) - {signed head: size 13, root \code{3488a2d0...}}; -\draw[arrow] (l12.north) -- (sth.south east); +\draw[decorate,decoration={brace,mirror,raise=5pt},deepblue] + ($(l13.south west)+(.05,0)$)--($(l18.south east)+(-.05,0)$) + node[midway,below=11pt,font=\scriptsize]{August 2026}; +\node[draw,rounded corners,fill=softgray,minimum width=5.9cm,minimum height=.85cm,align=center,font=\small] (sth) at (7.4,1.75) + {signed head: size 19, root \code{7ee23940...}\\dual-signed: Ed25519 $+$ SLH-DSA}; \draw[arrow] (l6.north) -- (sth.south west); +\draw[arrow] (l18.north) -- (sth.south east); \end{tikzpicture} -\caption{The public 13-leaf deployment. Failure leaves are retained; entry 13 -attests the accumulator corpus itself, scoped to the recursive model.} +\caption{The public nineteen-leaf deployment. Failure leaves are retained; leaf +12 (the thirteenth entry) attests the accumulator corpus itself, scoped to the +recursive model; leaves 13--16 re-attest the four forks at 44 certificates +each; leaf 17 the hardened accumulator corpus; leaf 18 the SLH-DSA verify +path. Heads are dual-signed from size 14 on.} \label{fig:deployment} \end{figure} @@ -1249,11 +1260,11 @@ refinement from the deployed iterative consistency verifier remain outside the corpus. \begin{center}\small -\begin{tabularx}{\textwidth}{@{}lXX@{}} +\begin{tabularx}{\textwidth}{@{}l>{\raggedright\arraybackslash}X>{\raggedright\arraybackslash}X@{}} \toprule Layer & Mechanized evidence & Explicit boundary \\ \midrule -Merkle definitions & MTH, Root, Path, recursive ConsRec & single SHA-256 boundary axiom \\ +Merkle definitions & $\MTH$, $\Root$, $\Path$, recursive $\ConsRec$ & single SHA-256 boundary axiom \\ Inclusion & completeness and named collision extractor & collision resistance interpreted externally \\ Consistency & recursive-model soundness and extractor & no general consistency-completeness theorem \\ Pinning & per-step monotonicity and prefix correctness & signature layer and multi-step closure external \\ @@ -1332,7 +1343,7 @@ structure actually differs. \paragraph{Transparency.} Certificate Transparency introduced publicly auditable append-only logs for -certificate issuance~\cite{ct1,ct2}; Crosby and Wallach developed efficient +certificate issuance~\cite{ct1,ct2}; Crosby and Wallach built efficient tamper-evident history trees~\cite{crosby}; Dowling et al. formalized security notions for secure logging and CT~\cite{dghs} --- the games of \S\ref{sec:games} adapt that two-transcript style to replay attestation, with @@ -1557,24 +1568,38 @@ Verification Pipeline with AI Provers: An Experience Report. arXiv:2605.30106, \end{thebibliography} +% Appendix policy (declared 2026-08-16): the appendix block starts on a +% fresh page and then flows continuously -- no page breaks between +% individual appendices. The claim matrix is one unbreakable tabularx. +\clearpage \appendix \section{End-to-end claim matrix}\label{app:matrix} \begin{center}\small -\begin{tabularx}{\textwidth}{@{}XXX@{}} +\begin{tabularx}{\textwidth}{@{}>{\raggedright\arraybackslash}X>{\raggedright\arraybackslash}X>{\raggedright\arraybackslash}X@{}} \toprule Consumer conclusion & Established by & Remaining assumption \\ \midrule -Leaf has an authentic opening with a position-bound leaf value at index $m$ under head $h$ & inclusion proof and signed head & SHA-256 collision resistance; correct public key; EUF-CMA of the head signature \\ +Leaf has an authentic opening with a position-bound leaf value at index $m$ under head $h$ & inclusion proof and signed head & \mbox{SHA-256} collision resistance; correct public key; \mbox{EUF-CMA} of the head signature \\ +\addlinespace[3pt] Head root commits the published numbered leaf list & full-mirror recomputation (\code{verify.py --all}) & mirror availability and retention \\ -Head was authorized by the log identity & Ed25519 verification & correct key acquisition; EUF-CMA \\ -New pinned head extends old pinned head & consistency proof & SHA-256 collision resistance; recursive-model soundness; authentic size/root pairing for deployment \\ -Equal-size unequal roots in one log context conflict & two valid signatures & correct public key; EUF-CMA; operationally, a retaining observer must compare the heads \\ +\addlinespace[3pt] +Head was authorized by the log identity & Ed25519 verification & correct key acquisition; \mbox{EUF-CMA} \\ +\addlinespace[3pt] +New pinned head extends old pinned head & consistency proof & \mbox{SHA-256} collision resistance; recursive-model soundness; authentic size/root pairing for deployment \\ +\addlinespace[3pt] +Equal-size unequal roots in one log context conflict & two valid signatures & correct public key; \mbox{EUF-CMA}; operationally, a retaining observer must compare the heads \\ +\addlinespace[3pt] Observed cone matches local boundary policy & exact set equality & semantic identity of named declarations \\ -Operator claims the kernel produced the observation & attestation signature and leaf inclusion & correct provider key; EUF-CMA \\ +\addlinespace[3pt] +Operator claims the kernel produced the observation & attestation signature and leaf inclusion & correct provider key; \mbox{EUF-CMA} \\ +\addlinespace[3pt] Kernel actually produced the recorded observation & not cryptographically established; independently checkable by replay & operator and replay-pipeline honesty, or faithful independent replay \\ +\addlinespace[3pt] Recorded cone was produced by an audit that performed its checks & not established --- the audit driver is itself part of the replay pipeline & audit-gate integrity; adversarial gate self-tests reduce this exposure, they do not eliminate it \\ +\addlinespace[3pt] Source corresponds to deployed binary & not established & reproducible build and compiler assurance \\ +\addlinespace[3pt] Claimed signer implementation produced STH & not established & execution provenance \\ \bottomrule \end{tabularx} @@ -1595,7 +1620,6 @@ additionally relies on an unmechanized authentic-size/root invariant Its exclusions name SHA-256 collision resistance, deployed-verifier extensional equality, the signature/STH layer, and asymptotic cost claims. -\clearpage \section{Compact receipt-verification core}\label{app:verifier} The following code is only the Merkle inclusion core. A complete receipt verifier must additionally validate the signed tree head, log identifier, @@ -1671,17 +1695,17 @@ five oracles. \begin{center}\small \begin{tabular}{@{}lll@{}} \toprule -Layer & Lean declaration(s) & oracles in the cone \\ +Layer & Lean declaration(s) & Oracles in the cone \\ \midrule -digit/byte plumbing & \code{to_int_loop_eq}, \code{to_byte_loop_eq} & --- \\ - & \code{wots_csum_loop_eq}, \code{base2b_outer_loop_eq} & --- \\ -chain walk & \code{chain_free_loop_eq} & \code{f} \\ +Digit/byte plumbing & \code{to_int_loop_eq}, \code{to_byte_loop_eq} & --- \\ + & \code{wots_csum_loop_eq}, \code{base2b_outer_loop_eq} & \\ +Chain walk & \code{chain_free_loop_eq} & \code{f} \\ WOTS pk recomputation & \code{wots_loop1_eq} & \code{f} \\ XMSS Merkle ascent & \code{xmss_loop_eq} & \code{h} \\ FORS inner ascent & \code{fors_inner_loop_eq} & \code{h} \\ FORS outer loop & \code{fors_outer_loop_eq} & \code{f}, \code{h} \\ -hypertree walk & \code{ht_loop_eq} & \code{f}, \code{h}, \code{t_l} \\ -acceptance characterization & \code{slh_verify_128s_accepts_iff} & all five \\ +Hypertree walk & \code{ht_loop_eq} & \code{f}, \code{h}, \code{t_l} \\ +Acceptance characterization & \code{slh_verify_128s_accepts_iff} & all five \\ \bottomrule \end{tabular} \end{center}