From bfdc3c43c341508771a940bf02632599c747aa74 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Mon, 17 Oct 2022 09:59:31 +0200 Subject: [PATCH] Initial draft of report and analysis results --- .gitignore | 380 ++++++++++++++++++++++++++++++++++++++++++ analysis.xml | 462 +++++++++++++++++++++++++++++++++++++++++++++++++++ report.pdf | Bin 0 -> 112342 bytes report.tex | 70 ++++++++ 4 files changed, 912 insertions(+) create mode 100644 .gitignore create mode 100644 analysis.xml create mode 100644 report.pdf create mode 100644 report.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..3a69761 --- /dev/null +++ b/.gitignore @@ -0,0 +1,380 @@ +# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio, WebStorm and Rider +# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839 + +# User-specific stuff +.idea/**/workspace.xml +.idea/**/tasks.xml +.idea/**/usage.statistics.xml +.idea/**/dictionaries +.idea/**/shelf + +# AWS User-specific +.idea/**/aws.xml + +# Generated files +.idea/**/contentModel.xml + +# Sensitive or high-churn files +.idea/**/dataSources/ +.idea/**/dataSources.ids +.idea/**/dataSources.local.xml +.idea/**/sqlDataSources.xml +.idea/**/dynamic.xml +.idea/**/uiDesigner.xml +.idea/**/dbnavigator.xml + +# Gradle +.idea/**/gradle.xml +.idea/**/libraries + +# Gradle and Maven with auto-import +# When using Gradle or Maven with auto-import, you should exclude module files, +# since they will be recreated, and may cause churn. Uncomment if using +# auto-import. +# .idea/artifacts +# .idea/compiler.xml +# .idea/jarRepositories.xml +# .idea/modules.xml +# .idea/*.iml +# .idea/modules +# *.iml +# *.ipr + +# CMake +cmake-build-*/ + +# Mongo Explorer plugin +.idea/**/mongoSettings.xml + +# File-based project format +*.iws + +# IntelliJ +out/ + +# mpeltonen/sbt-idea plugin +.idea_modules/ + +# JIRA plugin +atlassian-ide-plugin.xml + +# Cursive Clojure plugin +.idea/replstate.xml + +# SonarLint plugin +.idea/sonarlint/ + +# Crashlytics plugin (for Android Studio and IntelliJ) +com_crashlytics_export_strings.xml +crashlytics.properties +crashlytics-build.properties +fabric.properties + +# Editor-based Rest Client +.idea/httpRequests + +# Android studio 3.1+ serialized cache file +.idea/caches/build_file_checksums.ser + +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +.*.lb + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf + +## Generated if empty string is given at "Please type another file name for output:" +.pdf + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.run.xml + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync + +## Build tool directories for auxiliary files +# latexrun +latex.out/ + +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa + +# achemso +acs-*.bib + +# amsthm +*.thm + +# beamer +*.nav +*.pre +*.snm +*.vrb + +# changes +*.soc + +# comment +*.cut + +# cprotect +*.cpt + +# elsarticle (documentclass of Elsevier journals) +*.spl + +# endnotes +*.ent + +# fixme +*.lox + +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm + +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R + +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs +*.lzo +*.lzs +*.slg +*.slo +*.sls + +# uncomment this for glossaries-extra (will ignore makeindex's style files!) +# *.ist + +# gnuplot +*.gnuplot +*.table + +# gnuplottex +*-gnuplottex-* + +# gregoriotex +*.gaux +*.glog +*.gtex + +# htlatex +*.4ct +*.4tc +*.idv +*.lg +*.trc +*.xref + +# hyperref +*.brf + +# knitr +*-concordance.tex +# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files +# *.tikz +*-tikzDictionary + +# listings +*.lol + +# luatexja-ruby +*.ltjruby + +# makeidx +*.idx +*.ilg +*.ind + +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +*.slf[0-9]* +*.slt[0-9]* +*.stc[0-9]* + +# minted +_minted* +*.pyg + +# morewrites +*.mw + +# newpax +*.newpax + +# nomencl +*.nlg +*.nlo +*.nls + +# pax +*.pax + +# pdfpcnotes +*.pdfpc + +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd + +# scrwfile +*.wrt + +# svg +svg-inkscape/ + +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ + +# pdfcomment +*.upa +*.upb + +# pythontex +*.pytxcode +pythontex-files-*/ + +# tcolorbox +*.listing + +# thmtools +*.loe + +# TikZ & PGF +*.dpth +*.md5 +*.auxlock + +# titletoc +*.ptc + +# todonotes +*.tdo + +# vhistory +*.hst +*.ver + +# easy-todo +*.lod + +# xcolor +*.xcp + +# xmpincl +*.xmpi + +# xindy +*.xdy + +# xypic precompiled matrices and outlines +*.xyc +*.xyd + +# endfloat +*.ttt +*.fff + +# Latexian +TSWLatexianTemp* + +## Editors: +# WinEdt +*.bak +*.sav + +# Texpad +.texpadtmp + +# LyX +*.lyx~ + +# Kile +*.backup + +# gummi +.*.swp + +# KBibTeX +*~[0-9]* + +# TeXnicCenter +*.tps + +# auto folder when using emacs and auctex +./auto/* +*.el + +# expex forward references with \gathertags +*-tags.tex + +# standalone packages +*.sta + +# Makeindex log files +*.lpz + +# xwatermark package +*.xwm + +# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib +# option is specified. Footnotes are the stored in a file with suffix Notes.bib. +# Uncomment the next line to have this generated file ignored. +#*Notes.bib + diff --git a/analysis.xml b/analysis.xml new file mode 100644 index 0000000..8e4225a --- /dev/null +++ b/analysis.xml @@ -0,0 +1,462 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/report.pdf b/report.pdf new file mode 100644 index 0000000000000000000000000000000000000000..b86a6349585438eb3413dd276536a09a65a73a77 GIT binary patch literal 112342 zcma&NQ;aSEvuN42z1!~IZQHhO+jjSE+qP}nwr$(icmIns$>dBjw;n20sd}u3l~fj) zf`}L`BONOY+5GazIt&vtAp@bkkrfON4-CDGshzot1tAj?8$03u3K)7ZOB)wcCqjBL z8$%aU5mRG(6H^#IJ{V^gCsRXP7>~^y4e6w8F_hl9y8Tv{U~EOvhe+Ou$4`bt8e5A& zx8SufD+4d7!h*E1Xz|~tFH=)NVZ_Mw9oS`(iOI>aw2W^D_ovS?%4ZWS(unAuE^ql@ z;&GGP5+(4C=sUCds7lr|6RWw3o^<^!e_B z{Wm9;{crnG@7z1Njj3O%POlKqMAD|#{k5+eSZI;Sej$B%GFus4iqlLvNM8Espi&Nn z`7ngN4cPGfi5Jy<0^mwq3P*D#K>r$v7T$tmRggZuHo!H~n2F8DAaVREhZQA_1C-E< zTUcJdDo3%D?w@7A67Hia@8~m;1o6kzP>H}~KsXx7^ejBqw3k)M}#>mXEWR~$pE2{J0<1iz$%CM;HKufvjHNSOhHCCCA( z2WzEdukt)ipTLr~2syX8o=VH5MnNwFWC3&yvC?8_w}TzR_2}HZ;!|6#7X|FfYIs?> z88t(q5Fn1W8N9bBk--w5aXY)sb!8p>K2tY~ED{HG1G{C8;=OV3FaDhYTefAgFKse)Iijg7( zgW2F5=>-LLUg>(c0e!WObhl@ z%^`)%EdC~1I09eCM$;JIl`p>FRWPL2YFr=Aiz6L&R3K+S5N8KvGGP$xaHJg;jc1jT z-1P548!T}OjEXYvfuSRDPbE=zUch_;<;{=m{v}Eh%%-p=i(efNI{eFa6wNax6_`A~ zV;!}x(ZUIC^5fw~><)T&&Z)~VLUmQE+2o8G)A}1hhJ{V>Go3_jEw@Lv6!-LnnHqFcz_D#@!8F@_F$TS&_yd zTE>z7>9-nvX#G7TrM@!9(-?j4)*>*|lvca=1R=}^5vq>jW3luh!PJwv=+{9US!c~y z-LE-ngk{?j{rC1(;$>Bq4jenB5x2MX(AB}u5oDAEBT4GtfS}r5tghjlh8cv4czSFs z1bXz;wvJkt}yi`>t8BuP&bq!c!@Q! zz~!c4?_^@d{8m(hKszE`7`ieUumwdW^&aV^pM1om4PB#)Gq{~yebal@o079{KC+sD z>`H^KI7gJ5BA#)QH6%&(sGba~bwGirK+2uopbqN7eA$37@kO+`}so>ZNjl0T`?|xUQ|;(~`V6iLhub zOj)A(pJ(n;`y#`rtZRAIj@|o_vJo(m=4)7_tLVu|RuG^Ga@eO4(zo~c&0ia?nb`$W zX2;?Rx%Y8AO}%oU^+mbMCsml3>L|7&Hc?AOv}yqouA-j4nVbo&Ml34#OBQTg&2%-Z zZE{gyG@MJhTgvxm6}!*zqzW54-3s4yx6R@DTDqWrtVueoBrHV1psSb?DK$=1l?4n* zoDCx$v|g^88P0Dt5;{y`)ouqEOrCNb_tal_Pn_sZl7Q! zPT(LFqK|xh`*GG(zs2w-!`^uQidQ094A)4!?s%coFem7P?wXmSi3{fHPrgm{f#NQy z{%ANeCU^MTL^_m|i?1!4{4N99wf+{J2Kl9C?2^Hs{2J3(VwJHaWsg4s)x2RBnh}1+ z#+50?Pl)aZ9G?=nvjcjGuwZx(MkM2pk%iE1_=x*BcD{eb&r{ZeY!%f_c9TkYJc-i; zu~F+bzkHtNvIx%O$XqhOJf#4k4jNeD91kLB;F7pCepD0l!c5X8Mxcl{OvJ;3I5;T| z3r?@TfbOFP@!R=mR40=JaQNjl#v+x=?t8z zXdo&)csJ!PQ=LR^MO7{Jhmj^Dvml@LB76rNw*5bHS@7D)1@0nh(;X>28p+w`{3^o7 zb1fepYr{L%OGP1RQNIL%a{+3W4K*Ssy;*(p*%x393_R+J5sa&5*jU3p84 z#E38Xlmk0)9qLdxZrWozvYL>Le2KfbxNX3rp1mkvX3ct2aaAQDEV^R!q~{n?nBWg~ z+GJK`jQ+eVFd%ss_$JEZ<+Q+o7oye`iC^#O688oy@0UkHjtdg;~tRG#bjtvkod@nvAqWBaUTA8G>G-|R2m zY!#jrhvy-6S@{^>VdzqeJZD$#2g+uShhgx>ROXobo78941$yfjxSMlDhPj(4DrHh&g8ICx+&P>WJp)Gccv2^k>BAcG+}U@h!Evi+xRU~h z4yTJrE0@@CASXDgw9UY)OoPWW(Z2!4ql=R*W-dV{C!nob20IVkXu*$l3M`MsMO$#_ z2YutBpq_2wUM>w7+ckc2b!0qBNGZ%_^Dd0YlU!8<6UL7f`x<-YRFu}BR-5-c@Z8%z zoeyZXdA*6si+zf}3#kOjzFlFKZV*4 zpY{JL2^pD~SeX7Vp*yA-TqWxQgEd;%u}uhP8~S$s@b(s-NFW|)V5dN!fmk%Et7Swt z3f-MjDPO{oQtP^i+1dPb7odOjrM4>7IJa@e^VNOFhX@)I$`)2!QUoqCi+nmcFf&00 z60erRw0{ch;P~L=FlIUz+^16zPap5YT6BOKe_%x(*tS?fNIN!!o&;+i;{ll7ZGoV5`Z{HXaOsC0!hX-M8cGTuoS1D=UCnxeR;?R ze1kItX##Bz4hCNPCxepW5js#}fq|9>>evz@#8Ctaz5>~bGoT$_zUb4YkJ#ww=7&Q40=EKqi|yaB#l>l2nEkyu-v|2F(P{9zN&y-o+#ff$1N*)< z)e^+%)$j8gRGrTtUA1Sd(a8zyYN%k&9$q-DpFM_j%Fk#WP92aJ6(y}8fCc0TA;2@h z*1rdN?!hVeE8zq{;Gf+;J32lGtM|eMJ%nrtM05^mVG5{`qu|hR|A_(^QaWA16PQ985*aNQK&hGq6;}Du$f;YT>gaJqBpe^vl zDKW+Czt|sl#mUJ<6#ZdAd6@kJLv!%^r>E!;P>;^Q-@jdP5Ky0K2(|uJ=!R;sKnMIM ze0*g92{*tL=(ImA6zqPVcLgUO7bb|o@7OuH&bQ9~82v54ybGZC2snG()BUXz1L%u7 z*}cB{A7=nazx^KxAkyO!YI&;r=Y&SAW^!6nmM ze)i&!FNq;vf;FrJbO+e{H&5o;Z|_8#!UhSkW9jDi)L{dHvZAj1o#M8@TfMvabntmU z#9un}G;r4zAKp_Q@8Cd$9Jt3J6E7BI_G%pkDub>c6{=lBZ zdjj+)B=0HBuizjM;k*5_w_pBAA0ays)CbPv6HtI!tlfPds88IYZFjZ}eqFi06u$Ai z|A6>RDG~I(pk*BZ%NObR4(Y@n`JsL`Rs+uU>-(y{p!^|(IxoO_P5(&5Dgr1+uT{URQFCZD}Pe$#sg z?Cjr4xcxm%+at)!&Ra<@4`&|DH9ktH9tbO}~fv$L{Og{3s! zNtJaPKJR6Orph%NZyC=dDid`+$saW!<9Qv<;_FK%p2qj~s7>wd-FyjhQF+lLTxp8wG%*h%!lH|U9`jJkTd9&qSyt|OHlyM)A z>FZVtiOqv-$!mX;7m~}|Ct$r7u`Zc`nqD@3^+j{dKcVvVO0;h}$P*`8TjiLBIF5Rj zk0*J5Ic#qugCF{^`z|wfFCb)&`_C#Kfo0fMIEgm$^>V-GS3n>AASegyaA`3en$&db zAg)RZZ?_$h*Xr)ApNJk~X1KLh--yIF%XxLf1vaORhB;JbxO6L$(se+gmvT>J;lbj} zmqBjxE1S$z@ZG3g2%T}A@j1!B6&gw<9wlQ;WCP34SIwtFkd{e{TaoJn`zp+|CHX{q z4|=5WVTb{oIc}}eL-oWMiR(`W$!)ch-p}y&tie8}N1s7Un&{wl7 zN`ZruStLx$zF*?o-}NgZmp>@*Vy(KEY@R``HWi(3_$!DMIO%OI&kuXvqieFO&np}y zuo*Apva!ppt>sReoj9J*4vJ-D`q`UVM_n!{m7&%wI;n;&V_uq;-YL~HZW=x$SQnmT z*J3wlTkZu7d`JMn8F;>_LgHI9Wo&L#9!^5$&iJkE5=J~*wQKR+`FGrwCTHv?Zt;oo zHoB|vHS=!ttzS$Wm=JsuqTQ@aVhQG;bJ{sa^EEM!Byx%V+!@p2kK5zBNy?0+An1|k z;X<&}rH_<8xw17vxdzWYl<~F`C!$6dh<MS$_U5-&+uX;j*^bRNH1nV_wuGJ z&QCRKe(RfycVPsvpF&>u7T~tbCt?H}DIaXGU@=aS; z&%LZUcG2+Us_s=CkV}^5cOVo#LYgwbJfa8N6!m^Iuxvd1$1 z^D6f#mU8x0W$5RTBDF1_;PZIL3J%)WtJ)g(?%xG@hBRBz>!tKan;1SSwXP#%+_s4* zT$}$~s08BbN1a01!H4dP8bsfaqBV{aSR6G_D&iO5C2J@y@Q;>!pmty1RE;m7oLccl zUZDMOE|6Fzl{jxk&<1~!jScVLYwTGi>n;&qrz>yfNDL4lU8mFkRdcZX+ri^xMB_Sq zzB3fLa7c~^I|o!m?8t_==eR}SX(_na`heKo5obfr8T6E|?%koKO2x&@aPrWWN%~i_ zp&K2vmuVTpk2tg4*aq|ht{Jg$E}70~Y76IH_OwhE-YH@tOF4H%&2*b?y@^c@ksqD0 zxbi4I-w7M7Tf$DovbW+UkKJpJ{ziYv-rvtx4_S2GC}UKYffxkt6TH6Ekm7dCM*A^p zVq^u^lv@n*bma-SnZkN>eeQNbePyNY2#R<G#CQXkNN;<1RL0>Y#& zvQsJTQZGppq>;na!Ukc7!)?xjX6#@#BjwzocyX$$bl1k1YU^j3mhEvkAUHLuF5IU? z$+)2sPbH@g?pZNi8MjP@qj?i)#5Z2BoVpxmD#)8jkN{X3XS!`)CMPEQRd&&-3ohFf zwA_tc63d2lQdCRomf8>WDu@}LyZ$?t-c-?(ok%k&7c5G)U`)n_3OT)SrXq#L4stBK zr{ zy=}+&gWpSYT!Ik(%E=o;e?Q~sKk`_erA(e38OiQ$NUfQ{ml4R}e z+$b%d3a2^M_O~W%e0b0fFZ;9K@Lv4cDfcHBDKuZ3{txPk7Kp83$cOPv`f3JE`$~pS z!$u7>zrP66&S)Tagk$=F1}*FaTg9XMjSzFCmcNFwRtZ(f0DKpcaW5fM*<9l9?~W5w zY6i7J9)rcMbu~$TQCc_FkvX`2QE4OMRNy<5P?(0P$?wVc;xuidw!fCxrS*N9aJBsy*y>p-qv){c*{j@H{XqXvSoBV+t4Iu9NEg zCp%Enrb~^T534xsaREGj{Lkq!ymnRh#8pge4sV4B^HQ5U45acp^&sj1t|ZMG9=ja@ zBlpgF_>DE~T;J2mkHs?`cvZUyX`jUaY63%!31oklbzByqq^95|x|S;|uUkBuMX}U>S`CTC;4(o^=+`&b z36;N8l0-Rz5_yavZvEbCk`eogHZ#c;=@fm+a<{Ye?5U%*2)QTiO$@n06&$zycXf<9eU z(23RWI&Pj@$QEnHOE#{bp<5^)Ip(u@Xx;x){aH@XUO0K0zm2rHykcL6M)H5G8vi5iddJ8{bL9b^S z<+FvV7|3Dy0>6fMs0&^VYo1KfJ@N6Mw~L1*9FB*&zUOLRAX-xq_csi%Dh}s&Y4-7wOZH|oU`y7JK|(DjUhG16F)MixyQ`YR z9+)$gE|Z7k`yX~(Ad=hF`}E6IQ}Cmr%I7;L!ecYrx3r{>d4d=Gtt34c_tXnSi5>me z!G}LOp=v+OGVw%f3F^wF(+%QL>BL!Ogt@1In5ZJs(tL)TSvZdyO?QlXekd1HEp_iN z8{o}k%}w)kdps4GrYlaRBJ-JD%f0Fx)!~${l@|=DM2If6$R9Cye&L);aMo&KWLijRujd=W2D`B#Z_5|#D%So zJtW=en)1IEL|r*W=Gc?E{1xs#wgdP=I0e^~W2TnKh=n%0Wgb|wdJTt3>^Qac-c#32 zJIut5!4U~+?tMm+z=~GsZTT|4APAYBf{%<}ZtG_Eiy<)%EcAqz>Uo|y(xYE|H}WQ$ z+{@R5Ybf-Thhs?*hVQhqZ=Fe*X?QLs^p|%1%F4L=k=t|c zJNO6NY4`N%D%lg9`PX*V%0@4tn)!!K?nPKzYjZ~Vp_4bw*)T^oy(2%G?081Tc0s= z;MC^g8|O;dO}GBin9mh#gooGqi2eEN1+`R)kd+|lr3?ifb;%wf_)qn$hGrFN{)>EC z83KWnY^N93xC)UAB5+ASZj!+P%+duZly1`cRT^i2glL7Qw?Vg(VwZc67-xvpy7djg z;q3`7rb&YfH=>Ob3*%pI87b z+QXXCn&QT5QB&*JUiJzAtt+0955Wp^s$`BMz|oY%L^4qyTc_M{z(NYU_;(uRckn8j zH-!3D_sR^h8H=d=hQ<~d;(JSe#5R6~JV?;${V7lCk5Rkgn)%K`ds_95z76Cf^fDC0 zUmeo;+l6gFwK8|tRpX4d`dJa3C5fIzn}**yjYXuO%S;OQ3)fEN1`od>&*R5Mf#tLr zTFEopTnBPejpYs5>Ov@JwC{=}9v&SwJ2uR<}i&RMNZ(v?Af8N|ATp-(a%p$oE%X*54&RWzZW_bc}CP zp^cIn8Kprr>=jM2JGuFN9H3j0ayGa;hY7ps07r`MDeFe&$dB^;l<=v?3}tEanV+(% zD8`+(&RMbEn()c%Cf2M&Ma`L1tCk)dJN*nODPqOhyZZ1k|0py3pJ)$s~?6F3ZC z_EH5a^%wZVcDm~yZ^f~B8)zy-*n{ivS%WM@qaPFjGveT2E8%A_?J4)h>uY9-2#C9d z!dT*bew&jK>qBz)l4YCN_}kQ#6Jg{0rjNI<|r15i8LJv{OTb1h6`WP%43VmwO=RuHeiM2RBHy3Y*-OG#|q8v2c)DN zpU8;n6PBm7;Ud<3M6x#X^$TJYcsp7y_MOseGhwTQFeyp&_$x5!nY!e7)Ch0QYNVm< z2O$lm))B5XxwUIc_z@1ocOP-3x`qsDyTSC!7d(yGa+pZ zYeswqZiI-ky!|0lHrQhjt>tS^hPFv?8k4_9()v8gYdhTnRxT8o222Hx>#V+!4W5b) z?xs&Y;vU7dj%k%AuLHSe-kU#>sAywRyeT;vX1IrdDMrTR_lrUfqNPeHe{=|aB2&9xvqh4Z2pHwWJRu&Y5{>H>7uqd) z!$QvHR(ThZGPmaKeDj5!-W0_5mfRcnv^sR-BqB;Cwq+STi&V{HH>Sbp&c^6$cm3_k zDpn8_zDo<2G(<4IqsFMyhaiHWdTcr~n;=eFDnwJbb((Es_#dy2yqer~zL!o3F87$P zGI8&<$KE`eaxylSD?IC^W_N>2XL1^@P18~KL^}72MV`tE2@e~}HP#_Zsxtp77d&Z{jT|sVtS_y>mojcn00T-u4RzC`l7|B(xxw-F1@%`A8Qd}ssf^M3W zb1~J}9qu!z!r~C-@>a%;EnvDe-ZHu>Oc-`omGcTvWA);}Psg}!w03h1pN=4RX?V^dUOmGO5J~m;#ISiY^5*^I zMn_r9-(S~S?&?f$xOQiTBp$A75_%)GU2$Tq@f9;EL$kO6^~+4eAMydF)~4^=rDQxD zz3)}V-^daT{&UzymO*zpNo?Bml{se3NXz$S!m}KtlRzV??VYJ;-f)%vtHF^M5}#E_`n`DF?25p0H@bu6 zcvvzynOx@y`81;PG#+Lx%$$F6Op%O4XrQ9 z-MfV2>bS?Lpl`CO{o)fz59Y6C&~2rQTLKv6*%_8OwlmepZ5l7az-l_#WK4r4h-~b6 z;9xRT${drT(a~`Ff%<`}6(#ePBWMEl%Nkdc-SRo3KW-Zm29qfzhyYS~SJ zUmuJ(Nrpd+J0`A6EtYy-FIFG;O z4JFgWU^R5jG)d%Dox@+&BUei5uD)xcmQPvHI+x1TFNWlzwBnN!^lpfvI<{1gesyy0 zvA|=|>Ta=2O0(&JV`TNkY6lTFnciH?*ZvPuEK9v@qZE(Iol>LizKauTiL-=f>av&< zYH+Z!=1I>uWD%J{-Kr+3OKk9pRZbO8;;3T9#p#T)4032|-(jhuOw8EoNu5lYxxARP ztUoO7c3-n3wXFMov-XTbb)0xdu(aPJJr8`Vvxis|+2x@kFxEg9`@W`YU-=`)ZIxIF z*(2K!5_HdQmIX&(tXDmPCwtuaeDiIk8<*s*@TKP3HyS3QC%Mk{yXQtYQhE=G_QH#D z(66;7qs*+nQ3DB}OG^zX-D^A+IzQOo1(wa5_LU3PWPP8Uc~f)<_`K68Wg+9io?ZL)!2??T&}(c{8GSyRkmH zq9u-1k z?2Ci)WOFW~&-byv_%>q}JMunU8DmEa)Q_kd>HHg;g9(Rwfa*@j(iBSSCY ziQt~)45K~9-j~q&E3Y-4V~#VkH8ZMfg4vT`MXR6e_`MYGv;2ptx36~W z19iO(tOsLQ!ivKjBGE^O)DlHh{kz+?Woiyh^93KjG7_1snJ_di!KFQo%|Z_w$5pQF ze0GD|-8xIx7fLW8M`!i5tdeJa)jle^B+BO)*-z`NbfgeptSSU)oc2UmNQzU!W2P2E zXv*tn01M+U_K=H+R-rpU#q?BaDD0DV(8TJ8@)Au72o~X#CTG1MrOlboli-MS_eABa zxm7wR61z(5G07{#^DCqQm}iY4z=OwAIxS4@s+E{}0&0`)kP$ux@t zUWBcG*t$T*(%l8$3Oa>}2bU%z_k6xQHpjfXSG${K``;&X7*|IQ*GFq#VEZ4&N&ABn z`1zs-nrqJ_x4<>ONE%-nU8+No1-7=!i4FynKSwyiF2R-RtECB3M77uw`^Fa&I>#=5q@ab^DLp+)f0a7L0Sn!xE{OV+7wWIR^cby8oW^U**- z;z-~>p!T?&?T`ASSUlNnaE&-og1<&El>lFEe-j_7bW(|BGd9O zKM*Y?2>9XeoC$u+)(55(mY#9&x(pOOZ|#E_x!dihSFTNY-J}xv>0mEtBy?rym*ZXR zBj1uvmQj{{yO$Jz^lwzyXl?8;-%T}wzOgHcyL&IC9hW{RShnww=;S=F8D)yG-|8Wb zP9q}8#l|}hoLvVk?eFJ~SSp2kn*d7fWpMk&e?yD{L=RU3iJz?!?onw}EM^JL)stsr z?FoRA?~63uEt7}S9z3+)nUFtJNt5LB{9R(2iDhwO~p2VhYj?0Lp#gOGFF~T$p z`J*tY2_QofzKTXMnVBq(G54!Zqs3H>w^#WLmsw(yI;y28dGhvIDH$msrzI+RN5;d? zao$J5>3PvoKg8II3SL<&NmJkXp3O|l1wRaCX=?30r-wq7sI_+UwZ!T|L(25LAk6nZ zZqo$m5(7OW8+T!$t1h&ROzYN;PTE)l<~&ixy}LxUHCD57y-KWEq2+HKWHjMa=Q!U< z;5y(S%i-ReZ0vXGcrs28iJ2LHOVqvuSrn?lXqo7WRFV5}w4qc??X9=)B!wxU9W+|F z1Y_Wen!XK&$rq&a-VRIFqRYn-t>c$hvz8#fW<-(|W^a3GSB9a}Z(I)6CD|~lxG|wu zy^D`r!#$DB`KeGHgpOrh zcns}e>K8laBgl)VTIyq0FLRJnm4BYfNW+A8grpR2{9p@NILz-Vyu-PI^L)r)mb>s6 z?86m|iH7eg3OOjaHOGHK^+1ZxU~usgG)?nDM{RznzWvT_IjUBq4Xfhgk7k-h3LJyk zijgxvUpea0n(768!KISA6M@xn2=C~ZJNWtSv_wNdk4#X4-dB!&0`S;~h7-|Fmb0-f$H=kt%XjHyxP;=} zhYvlG{I!T(>4A3`jFTES+jPzIv z(jlN_WQXh@)Ny9^b={do+Gj|mrRyp(du=d7p|hWuYHrt^u%Rd`7Nb!X ziN|C0UluiG!eM$pDcR=eo+$ckDX}b&y$?Ukq*o;*=o{UW>q1)Bd+S|94(N2^h&o>C z3I%BbJEeSc_{@DX%!oEbKz741f@o3p^cJ}&=nNXfrFhOUOP`xB>m3rFN~R66kZL20 z2QLP+B?|i~o+9B#pdPSe)aZxH**Cg)$l`uY_wSRB`{8rp%h4~|o;n%?NyHPGy;156 zoz_V#lhaYDl8B?_-d~N(`dx4I>fiG6?6grbL}WHP?umj=u58J!O5t<${4{Vx4Z(J+ zAv5bw;x(kR;~qnW4S0@XCq(%po={Orl@wLs*zuNovKc;S%D?pV)(NaN$Zo#G;_Ad7 zolA%VQI8$0^j!xp zUKdwb_2RmQdb{yk8BBhCaQ|&GC?%CexK7h-5!^-tXa-KOiY7~7&QrXiV$5@iHN-uG zaJs{%fe6BW)%{XAu4~r!Ha>MB8Egf&vP!aZYYuri65R1*&P6Tnbz`v>9RNnr+ug zGNsa9S*En^`y=hC*{OOTg`YSBt8DxjpEL0}M4`|^7o{mt$!4&syOvvSD1kA2eq=qt z0s)4(nMDV()*Ek`V6$l&b>Hr5F_71_UGNQmDjST*MXwsIvFkBHkMDWtJ`6Y z;Bd>dDD`z>%PcW=1#vN~O;1N?9D}#kUb&{Ln6w1S#Tb8gk(8YaQ>CTaksA$tmD0!s z1n$6Dec_Cx@Ts9G$>UxHG2#YuaIrbQ7bO}|_S=FBfH8ar#LjvNjs@;%V(;id5K z0$vQe@BZAGr~Wjg+XiJ!i4+^j{v-wmGNNfT=r@$HbXrp+hTC1&(p((KVsNdWX>~p& zUkpLU3_R$dFW_?~+a7Pv3i&aojeakZisp|~P}Qiw^Y^4jbF-uWEu3*2a(d>b551bS zrphYTt2s0tbuU`qri@0U7Lx273%-dp+1?c8N_MeD8!MF`zi=l*a=c+K$Fb$`tH~T8 zPHM|jg^7~M%1F@hEi)t4ZZd-V!4~+;pr;&gAH^Wooy5mFA)kBSJSJ4(yT|!TXPkt1 z`VO99LPt)9;X*iW6%j7fpk7!fmg;NDBH;F=Bwe9*d2dAb27~(bd*vbX|g?jq*Vf9vcLlW%6 z`&oNvnB6xF1oxG~>0g?6U`v|*9>h4m3c=G{!6+niiq^{%yOO38FS@c5O<8SlJ$fPQ zg=y}nffD;urGA3~(zlHE-VS=kV}`wdDpGr_v)o?hCvc3JpU*tBIB3aRt0{8IOly&L zf$;_QjvU9N*oEfHkD|9v{)P4HP3~uSn&Wx@cQBn7`V)EVZ9KSL-WnJNJ#wqnUZ#R* zs2pg}Ux9)W?-plq5cY!jf@Ts*#okf|V$|ox^m*Vb z-`&oF@=!(&lP|*0co;x=tv%^dc*wg4YOP%_ z`HJOA3&Q4&q1iyZ>&?u()WLEPot?O;&)s=dWt7U9l z?39%V|NTG|Jmgl`B*A(2CAg@C;;$=;e^u95=#Woz)&NW`z?1%^OLU3%CS6wFsld$N zgH_=l=}}cmLq1W};|-X(R)Q-%k4=adneEuQBUU!Q;c5c@t{FN%nX2|PI3dPkjK7G4 zK5vzwUU;h==(d~)dfa0Y)o_w)oMQ6qN`W9Gxbi+GDu3ZiQPcUkjt2~BwDe7#q&0yR zND+tpuCc8xng5FUGS-3a)8+9R_If{0MmD(1T$7Czx54-FIG&prPu`nLJIP8IiJz4x zOwvm8ONC?%?7zcoY7PKhQ+&?ceahSp?s6AitR%l&{CPDmNgpN&#KFf_c4w@RQPCo1 zd|dHwpdf?JmUl(@?mQQ)SU5j3aDg$RiDQYPpV2>KQ*p|9t#S%q!L*?J8~LdHW?c zRi&c&JikyG`DE9S~@Kq;qLdojLb@4dqE@hu){J3n;i=rIn3%P}L zgLjduf#H4RP9jlEruQ{PNU!#t;(g^D)7ad`GKp+F`9*Z$-`D#8FbP=yn``nPlYpJ| z|M3O>V-hekF);s^KJfoC30RmJSpIKKf_89)?5)Le_<^0kEddAj|3upWQ@geUH2(Gu zUZA#vJM1mCPT&-ocivsLZ!e&(v#r$X)VI^SrFx~u%xYXRS>+;R=2|8I#jSPrc^XcJ z2T0Kq-HaRv6_pwk6&03;vm-Nw8S0&$k*5Pcz2T`Vr#pvM zU=$q8zzm$h`JTb~k%19dBR#zxFg8D%07+f8CT zejyN7YxSpPV`FV;YG7}Dsc&onO4t4u03-^{31RMT&K1y5vq2zi9G|rF*tF>vrJ%ZNjg$#kuL_6Ej_VBQpc=cW`BGfRu<*Rk%@5b;}j;#>S%?_XS6PY!SYcMnv4Tngv?59sdH#5y{ZgPRNR zr^k=-!yee&G#o<{lPg3z5N);10pRFI7mfvxwTHO3Fo~Bx^}Opn4OGfs=g)u9*Or!% zLpy%Nf9jt@UliILn;p$`vxg4QrXV&tL%1(AHwKw+s%HjH2eAA(`wE)#?^0xH{Zz*W zXi(c)+d=OCa&Nuae&$8%0#<-j0N4mt{r+D{_1|S40yC1`xnM8X&PJz&=6aCwn76kQ;N%KfMVAi}v^5-CwO= z(7mU&PsrXf@c*PU(gExMOKOVII{2S3{4>#>U zbL`sxj99jR6(78H;{Ma?%=O*($*nGrEIj-;eObTm#{Kxe*JYtWxj<$P($lVIJVI!$ zfw%0fK^=81+{xb0CEi(2daLObO{9dRk zwR6>??zZK>J=w`nP(>qvf%VvWI@=G6Gs&t5%^fqW zzh(US>gm%%p8Efo;~N zrR!o%+I0p=gZ(iX61z&=zOJEUxePef6W*UfX;jK@P-uQ&E z#7aH4X}tKDCha6cecTU2{1PP&?D5}dHxFNLJvbqQPLuG&hDS@aGbZkz(Xq`IY}e;f z`)%mTMO7vZAp@dr+)ljrW%zTeB0G}SSw{;js_q4DV%*XBx))OaL?ujx&PZ>-0|n|0bL$UU-g>*Hu;oX z<906d9zSW}9G{s%p;V7aTc0H$osStEW=SG25|v6&h{|-VONZ!sygl@d_R@AvrcmM_!|aEeqPOcgzW+UF z>ixN^W$-Wi2-xtl|Df!(fHSGtT!-`t^%g?fVR`7`jh1RM1F1>kS58>EG4OER%8Zmq z_XgEdDS0F-;wnr48=q)&0QlB^cKH{l3TCoPWl-S=b)Gbe=$vx2cx2l#{lpH48BLp$>%j!sRG5{*)r@?_Yi6D)*{O4?iI*0)Zdyphg!k&4cn#+)6NS;h3#b zE38cS=j{Gm=G~D&QD%^#mW6cjJ{e-OG9~-y02^Dy_tT2Hpq z-RgWM$QN0Xy9{=ysrn;Rf}`fvOzJTsonB6M2NaB_8*g9$UNe5!lBA~N`z;{~^NLxE zDYlxaqaVDo`;wt_+=Lf)c;rQdq?zjgDzaCN0#W#sQrJ@yCG(6Gsk);iO=4nTUK{~U z*7;#0hikV(+-bn!F!F1#M?*)Gu>h6E1RaV@6`#nh$(V!kxz1JJgnGl%zDHg6Na;z) ztmAx1>jE0l^DAMhe81yw2IU6Q)l|Cd0CVXWc5ctsVt2!YTU`kf?M`IgRkvqTs2Y#k zWyG#M#T1kBJgTi6LxzT0k8TDU^|Fa01^p{J&rj1-%^(&R=@5g8_oIi@ z5ZYR8uJ!4=pxXzdE616{KlOKGFRUe7Yu{+G-MSigPzBRBVoF=Cr~{`A8Y5?N;Mkd^ zff%^%jQ=hs+((0snDebY2!ttu)X+nT&8F(TPQ{d^0(rHSvq?`q4EsN!!vdn%?b2*7 zi}c?%m3JEbd#%+G2!e8kVF}J`x$T1?O;(f_MOehC0`I0v6w4)C0HsJ}1k=P3(WAN@{AEOM`4m`$c6G{d}TDx_k87~ zZ*B(bE+lqz``WzZM3laHhqHpFaHmBA>_BS5qoOd$m@=rqxj+b4+M}wA`6zUH-J8x| zulr6IZZ#G)Ly2tBWkONSa3%6#!*IN#mi$jX6XdwUn~*edES#6U=U68>wxq1ZE&H{B z97vBnDBYazOJ==-;(F6BW9J^&RZ|;<5@fmwSi~2E3ZHf)Yf6*2nZYQE){GgM?oE9Bx|2{S4J6VCtI(b_$B^Of1j~HM* zMn`3gTY{RkvK#|h{tjItho0hGJ))&i=ggUbhrb$hEY3LEZ|FIjVYpS&PKmZ)=9$c! zPO0mfFgZ#Wuz_=?W8_c)-8;}ikBnWcB7OW({u9x6mG-#kw0Vi%(Ro;8Z7)59Thkb= z9$QZ^W?Y17f?L-{`iFhnRu}JG5gD2!D2uUdE+ba0QwOU~*J92sO%hNK?!j>8!xw&8 z{&)X+vx>uMnY);#IL|KTer zS;ywqYb7@257qw zXe3yY8;n+wR08`w3etg<(MP#DeG&#UQ_$`c#S&twOB}EP*OX9lg_3mk+`o_RyGhJl zF47fTpOoDB&a@OZEXdZ5@hw!RYBAn8D_#s#t$4nt>`K_S@V2N#CPz+DwDO zyYj~|{D*UdPonoNNWR=oQr;TP_dX`o%t3?5TVwm5>_*OCLv=qSP>Jg831FcbNQ;U_ zkoDHf8sM_}xML|!ML%WM+n}<^Uj{Mcq^QhHo|e4YS5TeL(VTo<1PB+h6$P;({?X|# zUUnh?u){u+a4csiAo%#CbU-89;VwmatHp(zMeH=dbWb-83kANq?0&ylTGU~;IrBqc z-TMY0_$|rM#)oVp!5|1;@|@*CEOU$qaFBgMkz8{OB!clsYG3hcf3(}>!rE_?n zB=$c4Uez!wquhfKKf7*g@aNRjS&)v+v&$W`C6Vm zsx(e#s0-U(7tnt9AV3I4-cgHO47k<)uVqpfsb`}cR|gH zFa%wzqE7(x39YWe2Er*1>s&*LtOHexMYQHkMu?S%vr+fOE@<>}@yTWR2w62RLLyeWQ13$A>mckKho|S$NZT zJ5tXB@2=)WUBcLOc-Rol7^NPTs*aRsaM~_!_iO@l>#A@+e^K?lc8&b!`( z9alZ=YraLHr|UiBj4D^(#8O5Juq%(A^^S0N?$w4qgW@Tp&LukAB$MsOuoqo*SRKy9 zBdGUByUE2bDm?<1IZ6=FUwi@dQ@eq0ALVPdZy?LK5ogPF`#XIf2s>H?^0YcNH+Kv z*Fu$%P=zLjvWu(Yy^T#ezk(41J1n3~93W^fQQQ{O`n%bolrb_~>>GaSl=fnrM)jxf z6I?|p;BU#-<p=c0a>F*+G%Ot3jvuC+w2A2_?>@#Nm=~h^o*>ztS zB`8>bXa3RZVKAvu?kRGVl6}MQ;lfB5Vk~k`c%dt*df#rFX_l^Y;^o(~y1-yE-C#;# zjY59Q0R{G{joP7T>cwg2olU-dGJ(?MziB%NNa)2x7@ zy^lq}UcZHB%^UU*W%D_$@A%ITa%0lesB!A_J+Fsi9U3Jbpx3c|&YD~2#Q(gj1u4$bj;Nfb7h zO>-=aG@QCp67js^-^;FzurW}Ulg{Hn=FTdllfm2aLblzViK&2csY?&#hMkjQnQcCd zZ(8el{KA!4d8)z{4gbf#1L<=!)NteH{rWmo-w?J~^Hk%i?p`CCV`+i}b0eHN_ZprN zoBf!g{pv4Ucx+g#YSLW|xKd@q+Z?n^n0$qtEaJ07J$B-;w)zA1O}@3JbuI8LJ}9Vn zjp1cG91P8SZKNbVwC9j(nB3|9j9RQ2mWe67$EFP7^bWYZcEQ`JZZ4dd^oDGh2m1~m~P@Cyk!j0rJs_$J61Ys zjN4Y7e1B_s)UO^Os=We+>2SkwLsrYlwXJHz+AhtQ@OCS(D!RW1`9O9J85ws$m9nVM zYjc*V)59Oyp~{v)#~a$E8CN=0@Iyc1?u*As*waArfv; z8esjAwkMAD&Oq}xOh%!ZPKK=34ShEQ2ALs$u#MBkpOO>r#pt~jkd!*?o<%vU7GzE{ zJkv<-BI?YJXWG?b-E0kSe zlIh@^FrC;W70Q<%xrrUY_=F4I11?k6^YrYpj3|Gh4|G-~fecjih5s3+q`0@e7_V2# zG_1I`*bWHZzSGF!oeV`kOsGW$MS3z`OL?DqDWu_3=`1TXa_e-TKDCZAL^~etoN1(c zMdqBV^y$IXO2oIGG(}Y+#R^s|`Y8^77#A4H=YRZ7VGlyXA2NA9enORTHXQ^d{0Qc*jtHM1*l()N%pw!Oe3 z6O7FMyeU8=w)qHLNl4?;elT`s&G0rRy8*&(FNcCaa;jyx%@h`lI!tDp?NIn&*2?$&wsCk1&q;f-% zG;agWEYCN>AEJdpR+oLU(!{$Tt_?x#1s=n8`)q(Yahr=5n zm%~EB5s;@H_4rGU#>pt(?}S5>XWOR!&H81%m8C6(&^o?WxCgvCnKNP{3PnH$4rIfu z9e+!M6PB%E29O>zkKdPV|1zfvXI4&gn+#q4RB~lyJZEXR#*|NQf?d0W_H1aL;KCIT zNY))}X+jhhk9GMY)^+>I!n$+=J->Lmxd-eYlgwLhe+?7qyRI;0h1PgN`w5AZ$(_u+xXRja*YE7R(Ox@Me|oq;#|gJ*igglqmX zn}r(QcW**kfvQ$mdKDRHbL3-khcM!YnmJBWDc)sY@POHdP@+>B1e?!oUxQnJ#t`@% z7CoL{R=;3$E5fynU=F*y-c$%eJ=5MoN!50Q4bBt(AwqiwS3$4@<2zU`2wu?+G|w}H zA1+5626+_QW?huw*Jy_KD$$G1XgIC8n92i9AExg{!9GDUmIfc}Pi2=9uNXBR?oa^9 zTY+UE*r}+dr)3KBn zkq`A-XYk$zJ=5{z_Jo9dJ9_;)vsP^sg8A^4nLe}Cg82&7oHtIZQ$gJDbbsilJ^yXD z+Jf~$Tjul;!C~sQWf>&xY4rW!-gw?k+Rd8ZMW% zj*E9w#qYtaXw1jX4$6PbrOQ>J=kA&-->V%R4#aHWDK?+-lIGKlaidabt16nB%X7rv z@X6z$qKRR7E37}}9xc*Z{L-omnyfVAr*Vc}#f`%(Sc2;^`c1@U=3(+B*Dxpnjxs)} zXFDg{H-rRZGj5`1$YQDJLo&wb5Ag7^2I34a|3`TSV|qo#E0P8uZ?>(UM(}!?Wmb5R zr!?Y`>X1olY5-8%y&!pct;}S)cTO9nq9U8MyRs@$zSf;F{NRo>ba8yQ7kFL@6YaAz zPc95T*KbOAq-wvi_umL_U|lEPpyq^JlweX&qs+rufJzG3SuOp;wG5P82 zOszUEhyQnA&C>ttaEdndYaNVJpsP8f*Qp>R*3S7Qw@|kyrkq$DGiYN_jUpd$v}gWM z*Z{1D{t`$lyi#R>%Fy|Eu`cX@OS0TYZQE?dkz~grP7idBb^jQWGC`57N$zpLkc0?z z(6eAFDpHvM^OptXIzyME+sy41G40zZnqaR;R;gyPZOi-4*st5gcp|M!qXSVk`)`y`bWligdH4S=qW)x zY8iSd9;^oe*})(no0x!$?z zpxQmMi=(%)ki%}FgwLfxIqVe}yy8Sw7BVNZTf@9M409agkU%{u;stbEZFj|2e7Iwd z7LKBXf{AAidZiiI{UhHoQ>bU#4(L@farE4{aNa^qsNS)BOYbu=b6BaSP|?bZ{M8z^ zsM|CEkyTQPdpdrYjA<})#9e2#x>n+VCy_L%O71mPY@!Q&R*& zWZ5UkOHjLTxF;a}QV#uD^)x5U3d)epoPfoJkc9gDG+s8vi9ai6V`rG*b`nw^BYADL z0`>SLfU8H-;}!8g#U+udFl#Huu_Ja-FiQ8xp>S)fk&8A{jEJcoQwaX-(9{m|!e3`w zv5v8YGW%TqIiiWN)?i?~qWN0~;lp*|E)<+rcBaxzEN#glv5<8P+m#NVW@bT6asx`1 z_`Xi_o>9Cjc}3yYf2*oC6hzn6jqg(cXn*%ESnjU$Uq%Z2mEsHL1tdW}4jiDQ+LQ)+!Q&B6Qz6QZA(6m%NBIy!V=^Bfk@IG2OI2=yvW&|RlBmb5Cv2E z5jjz6TJ%VX?Gmw4WSNeJwu86i**2&Zi3uEuTB}uWZAyt!I}xEJU0k{P;AK`l*YMW~ zo-=Rq1hDHQT;Q9P?$MvY~uu%7D3|%HP2oP*A<2% z7tE^#sr#sJP5s~MCTlkawh5_Ms3gODzg8hf%;?1E_S!*0!K9eW97E{gclXs6PC}eg zaKKDWf;>)F5x6#GYmrRQ_sRJ5<-Bz=FfGNr(o#z}gg<7?s{PTt*FdA5e$ko|z!ocd zaZ}F+UfThzA;Ex=43}^6M1~1_4jk}Jj(S*yXX6wL4~LMQuMU8ohNFo;hVXNaBAv4w zCXQdvFd<_Lw9?{~*jwXE9-qTYl9@4h0J5~DDI_8GMG*)c=*MIljP8Ynn({NMiyOsO+SfmzBHZ4HMM{LxnC zAs?4cWJ^dxU0?DWnPsqhXPojwuB~-VI=kr@+a)41frKly5xN{ zqoSNwIWf4V!%9n9uo##1jH_uv3*u4vp)Dq!gbPhd*`CyoF>9Isg>`Yp$c-Sm9x-it z-7x_~W_ph-v0tFKkzLwnWHnn(R3R6NLl&LcnF6c=)bK&BOt`uX$A%|cO z&o7%NQ>M_8dsW^0^Sy^oQNIrg46{54|7Ow0jV&ej7g)4Kuf>#r2)De`)sjS_;`s?h z@0u6J)7x~4gi=!^qH^aOirCbisyhnHw>@81KB=Ve>}sOI2N-MA(QDb$8VX&aH2kM5 z^2S|;Z7$k)-K=E^sf06+1Bc}AfKcP_Sgu<&~x8(Mu!893#S`RbBug%S;IlOC5& zXf^R)HM>R@Y>n$oHh%5;7K_z4T`TYrk4-wCZWpaaD1ll9;G$ziEh^=^K6|J}n3qRl z7J7AP=Wa2pM3Tp{vNH!nppk=Pn5BWxXJtq(Re**OKv!IsZ z?Pt=dSDr@Rs!DIyL&6Rqv!1d3b9SXv7hBHE?*0p_5^WEBz@>>Co-nPemv-YW*UWh> z7YI`Wb6TP{D=BM09@`}x+u_ENwm8tj6ALDY+U!(7GCKjPtBlfN zzx%X{ZbkM6?{U&$OdXroSQwejCkSjQis@1`DJ{d#eaVQvt5XYfW*2nWX?MYzn=vHZ z!;@}}iNoc0Gk9QS>QUx|sT_-bu}64nef_@?AF1FgGUPJn;3Dgj7B_Tb3r~nBl~zeF zs#Lyr_{3%T&lrpyvY{ei+ltk&;cV_jt0C|WikTZwJaK%cr%~+4!2^aYhiO`+uD}F$ zun|v&%LXH_e|Flm{Z%EN?}XVZq{g?k%zqp~SMRhUeYK%M4xemp{q04n^V4K#%@b(! zPVt!Tm;6!_U1sDfY{x& z$%Gq5bo(gndI4t;MtHSta+{gY1?WBD;Flm2k?K*Mdk3lW!C-jZu{{t{V783P)Bo;R z=W>G9y6ngXZ?5gL2#wq4H}KfinX|5l_>sME6odbgXr-hU3X_NtsMCMyxNhp*@1z~@ z{VAqTkcsS3>9EI6;ty*qi0eAhNJNihyt}!C4CvjoARPHJf+BDcjUf`ybdMz)Tg^v* z+L}$9eZpVf-(U4iir{H(HazS|g?eX<_8jjA^}ITrrdy$RU3HkcRaERYHkkA*hM7z7 zB$UEp3q++G1^64rzd9VNIAh>MPuLz7+H1c_J#Gjra`}N6%lPPD=0z=E4^p1rMaPEH zi-cKX*91b3IQps5TG7IG{d$e=LeF=Y2@t9zksZrnE()0BPKywzN`$SiPTC@cX zOVSYvI6Y!pS-n7<6f#?|JL<+=fyZ&Q?L_BacsIB=F6iBNoZo3$4Klp))!D?erc&Olpr)R`*Nn#b))Q0Xfft{ys^1O*5906zQoczR0ma#{|lkA ze$(P$d8&^2dKVULgo3F96BS8N@?Z_bNhZUW46RQN+YArh8R^=KP@3B}lF65_;1CQ~ z;~x#}^MQnM5d_JPzp7US~~9Y;%ElgZ zg~EA0VM;E3of~-5dp5da*(+MVGyz=|+Fib#%a-^+iAa8R=}m0_F_AdduLA#kAboDD zDdq-y-gJHdHCVHPsxv`Hr&k2zWV-aal!ZVd-|MNz>768-$5vK2yy4JRwVh#9{#thY z@h}F-&uGjkd_`T(+tb6E{otgA!MdffiM!{?nLaSBUm; z{YvO89=eNP&i!6m3?^npTv0|4d)(+(8u9g`sloG=M$-6))6qEhhvxdV$rLTT^iZ2M zQ(4FDtUk6WaPSdNy6n8eT8W*})#pWfe+zPld7#%3wW-LZwO*^qqAL_J{lG82(dl2J zM)&8@ho$qp%&fOc5!**WfV>O#8|{?H`ZS3IVvvziU(wU-;v@=|Yl19Mgv)(iwe+xZ z+~rZN{(g90!4`~={x9G3#o6TAQ;JgdH5%8RrlVN3M)XH+<&-JCe||%6r2kTvXwK6Y zEZ*#>L_z(W?1yt+h1C9}-bOpcOg*(1e!=so{)W?j9Kb>Qu4>A4#QSfm{BtTNr$Iqy zZ-E6h)}izwY6C5{OX9YD^7ls4clk5}nPhHaxb+U6k6tBO`)#f9CN_olUr6&yPIjC;Vv(KE6Z?ryhH0|7 z_P%w4T_Z&K+Y2=p_%*rvh>_eONEK5RpMMu%^)z9|swSBvJUyGmRHE;>#)BR#i$`~r zmNjoC2WE}TEK>w>B1a@LEz|SS_Biyuf^NC>U#yZYZgayFAg5={8XK*vGvxrsN`_~T zSDc(;=3M=W+Z&Wg{?qW?Bimr9l1-_Fb}xUSMx1tqDZH5&5Mv*B^>6btEPOMry>ZZl zbK1lV4a>&v+d(EOnzD;{f+iog%J{AD)gciKHg19FXr2v{xa%0RcWX^_ZAhmR9F5pm zxYa%`oyy``ES?F~V=NP@R^08HMR9wt3w?A+TdGkK zFF#d-VNU49ZBPtsAf?zV*w}H0p1}t*rIO}Pi;v~1=sOIaV~c>y1g* zv5HIqQe(IBDh?K-AX92m&gcABHTBM6|J`UctHQ16uRui@$2pRvvehn-aZ@;=J8;*& zGV=y~-rsK0_t0;}c9LiH=K9oei-Znj(AhEu2Tz&j+4M8kQ0Kdvh^ndr3RT=hm1Rvc z6j@8@H&|-{;neSVE7jYjmv?}^YF95~wb-M$oK#YDbhG>ny3CO~#ltqKN_SDT~6 zPzsOB0A!4ZNGW0(8uP@%*T+q*h4v8c9Iep_q-A#gg_M2< zG<|NCX~c-;_GwD1Gum<~JF-%?qvu)MWM%bDd$j8I_9cw?sddRXp$h#+y5J=tYj{+% z_>u%n|Il`@`dYaBV9-m(eR-A02|?{ixiDg!yTOdoOQj-byM&JV)WAfMh~ITesZ>nb z&4p3JZkzlZa#;?XqNiE)to#|04zK*U>q;L1Bb1?Gjg!t_--d7iF+DZrv$+rC)<-rS zMid`w|6j~!<+z#?&^(wU&o=y^h^R^L?+U*T=Nl+By# z3T+RAhDtjW0bh63SAiHB!oynck7texvV zKtEeQiEa$){x4FJu^d`9fK5}o(U%x+fH@qBMA)~^+-B(xEnqr1n#94xC7Q!IFEDYi`b;HqY1;s zn3rP4{rJ))4XQ9xgt9wftId;Z4q4|2Old9Eh%;n=JB~|804MG3uS#1#!3O|grmWZ$ZaG~M1!Cn<`w zN4D^>UndH&GweHsaGXo(IAJN#Q?Wxsbtogcp*M@=;Ys#RPl+Jq2s?c0>+8m}o0Vc> zpJiIunq=EH>V$F!&yD@8qm@={^CnkWFSDgV6xnfBUZ7qPb4bKsbOu&)A7~(_^F}bG z`xf0js#OT`sqj39!lzrLC#CWXL>DDNImGB*K@;wX4#|^VgYc1PeT&8BJ;t|4j1d?$ z?QFT}Ygn05=Q-)>g_#g=v_ej^wveGcB`nuqb6ijO`}M(+{@V`XYL z7gL};qTB6=T=K(tP|{)u64EK|ICuyMym>r$_!d&VdqURLos-5@uy}`~bev!*&23vy$iz@TBFp^_Q23S7VJ6bdIA~D6*?;WAuk zx^wQ&Pz|+hMU0iE*rpv5x4I!K))my~r5JpE4Ps`c-i4!Xsccn|YN*KDqPWuGQ=A@G zM+>q?_J;W{8El3cu7Wb2tPN(?USO%oLEM-{X<2bxPCuWVQ1t_i$i-N#f8kV%+{R;j z&DCu$%O_S5aVk~J+GqHe54XlKOTCsb_aHx%Zas}@=_~Ao+)h_lS2uQ#DT2I!suU3{ zNsvT##>#=hA*Zx~GkRtRc0o9F?Ra<*TR5DyZ_(?8#&bMfB7wT0f4Uol^QW8?4Wp-Q zB~7P{O&H=Pu3U4guWW4+{}l6E;&116aoU&Gn^}m%qAU!kP}(ESh*ZR5qUfKQ;Dz)t zPvF_BgC>Y6r6-EGxv{mF)(mFU_lQMlW|YZYsBtP&N;3l1w-3%u$_?fu1>fz{@YpC} zTmD9O6#X-g{PCrXV-4aSFt~0hw<1lHy5Ea0y{C;(X84V<`m7yY)JWOd*j%?gp3}3q zT+IQoJR+DvArE|ituYw4yg@r4GxOdeCvS?PbSZ~oWia;fqf)Gk%pmiSTHmMNuNk-I z7>;E_RKt6GMbk(jcNc4*(3`~XS5;D_YJXaSM!LXz>mV~xe`e=$w|uwz;STjSsJu3+ zw)(zW5j~TEsg2_}pZzJdxSB-@H%Wc(*Nam9Y{X$$5uIxBui3eEdPLvr;lF@&KJC32 z;38E9aYpB@>QE%~WXQ4Hop*h@GLe#gmW~}`X6GS%$sJX?KwsYz$1^TQJ;2KCwlsSm zip_fIs^T@*E)?Fl;1nMdFkKRigv1Jk5z-dQXM}huUkvZ(A;OH*#+AQCJGBnUW}N2z zG2bogA6c93U@;X-r`veq9KO3*Y;!pYim+&o{-|-X_0=4nU55>Kn9R=u&m*6P?mzxi zH{N^d($^%u21>fpV*s06+)mb5JfqyFu$d3gY)n0~|CB0sT(Xm@Jy{ier_GeV4JtoZ z3P*RdOCr?vldA&zOyk*!I%q{#iv^S`reJvOK+7Uhs`I@u2sq8|)Jyw(#@jy%57{zt zeX6%0*PZV68vO(cgzq(v*cABfU3D1o5~wB)3Jet%*uwG>gR9njNQO*Vf+QdHSU zC%7`W40HBhED@TDPg-4F9B)hv0RaKrm>WGD!Yl^JvI`I*jkII^fLY+UDfqYUt3|^j$4F)^EYz zMQdkIeqmq^+2ZaR_)R0gL}OlXF0s{%^~kWzMo$n9oOykY+*dN8{>};aa-tOcC zDi!^`btD4zDPace0^Y#F#N_DI3>+W_R8U??cBubkr588gPnG$L;;-^wJki-66yq-? z$eFn*!q;2yvm=umB#2J#PJkc(ugVukkf|9&hGu3Lh)e*6+Dn7~y1j5K99C1 zh)X8FSv>Z@)7q_o{RiOC^u)ma@_GDA|8$D7u7rq;R_N1x^midLg3|-U=S*`0=!y1f z8pw{G9*BYmb>OyNGbN_>Cl`DPpl<2y3<>nQ``6Fq+#kj5_w`-*+nb{T_;;ps?~bWO z5NIVId(GI$ocY^>@mE0pqhIIe7vhT{?RP8Y_cnxd+s5{{wCp4O=eL->t-0y>qkV9E zx~tP~y1!?59Ao|0URic;mxl(Cwb`lpb63k!{V<*nsja=?TOPMohqQ(_&`e6Lt}M+T zacbA;xj$`sb&{asXwT?*trn!f+|1}hzbk%*x%It+ONXEQL7#eW{NT%7($QNPvbmo< zCNvk+;Offe3ViB`Ns{*J3J7o#ugVJQ^1u%DG>1~V*Ul`dnWT!5bsg;D`W#e=BKCa7FhMqg)H6> zAY=(ZenXr9F<|`#{S{XGo%buTzejuZ#8(jfatqdmPWt6V~r_4_ZIDayg&~})ryABhvS5UO9S+Py&{D~#PhW~H zm%Q26z*XjEqqJ!oU(o} zO5ed1qhq16Oq-W_%dw4-df*{HmIt-P1AkE2ki~LQq(b9}q&0C9z$l&&h|Z!&Fou?^ z0n0mbcyk$-W#_Fc@ZaKWtOcpu`~qr+b>h|;vP(~)IB(+(7k#e-)gd3|xnGZjakQVK zan>Q@raR}cky*GgP?q?=MU-iOmEBA=LI{ay%;1d_i9NURoj}M)T#2l-Y~A(2%_1-k zvx;302N;Q5W%p&a1K>|2E~ln&y-K}zdL4D;iPUH%7!vSYq~CQ2j7FB@FsgUoa0we! zHX{jg=AT&Vo;R&#vpcV<*AJckki5wF!bM?KFlfC&c63<^eI~^lpFYYw{JDT`PpI$M za-Fthh{e}-FdK)n?l}cC12*CYC&e5)Sc>0`N?bVUg7K`sgu{=ly^5Yku}aowZ?t=y zv{hR$kbXg!5%6q+ro;&vxM9v9S;(QhQLs)aCKQmH?)-2>x`(*h6 zK>R!v09pd`WbkwOeJn$atKy%%!SlmY!iIRFH;?V4!L-1}9~Sd9*kzxZs^)blLo;7h z17;DzXbqq>)q2KdfD$dHO5UY{g?aOEs}exM4w8)j~7$a&g$3K2h)NVZ(+!6P_}|rYg+x?NoV*vzZ?9-V+-^&+F$tZ$!|1os(56fys-C?lYC4)6`iv9z&u=Y(f zV6{Sl)Ds*-GC7p~U+43eD0{hwAtb{Ruk-G6m20(o|%-Dl;q)la~Q{_ zLFnFKgPaCMvO{;4yWk%P8D#9^IZY*QwYlpBud+^g%lA+Ym@%0mN&2Ru2;@5xFx(dM z7PJ{m(nSTA23>A?o?EZ6-m3=CL1B2vJ*jxB~KTHSP1MlvI9U&0{Gic zM>`25s={SvW99C<%heTzT0I@9Jz(dAz1C8cJ|engTFl{)=&zL!(%aY;ytx|0N}t{5 z3a}YWd+;$jznJgo$7*f9F^94XQy8ARsP=W5(lNOk+?p3c$$(*EreNRVKlvNFK#U{e zP>K86P{+kHJ<6j~pFy85UAm)WWs6uPycAIeybK+XZc^ zL#|ELt$_uic&3#3i%ZYS5DAve`E9s1$#!sDjCE8?j&l9Yb+{Yz6@%?cD{5z_h(wMJ z)wD~O2nvyFUnprrX0H2zV2eLn0SFs&UcXtTfYOn{3&B^*tsA8s2CD@mMiA z{gdblH_-)W1JZ!U8a~e4tGl*2(W_{BWP^kP@n^xhjl_b9|k}ou;T#1OYu+JgO$mf1#1lt50M`K-iLbd|%2uJK7pAkhc zWI>k(g#+D&r1FbIN!|WVfg?cGCrk?9ooF*GL+at{24IzIBHJE+dkk-0MYB_PyzTIC zaS4k5)DC?zNNv~fIBc{Etp*dMOjRF-6;O*!VPo$%)?Ag@0S7y&*u4h5i!$KwT1Z*) zti8Nz5wL(SKE~`NsdRewh!~^K4G|qQV6q$#pmWYI=LAe#VPs7SSNuPW-9xM}P1vB} zWAi<>ZQHhO+qP}nwr$(CZTp=0W-*ye@-HT-O;>8yn@;Dc`^xY2xg8RuUfD!sU}DZX zA=oxXYWyUNnQFL~1YUDy<&$#NUo1@)EPkq2j&a7wF~nj9KXJvForQ_CaX?aVhqFHS zY7abwe5I@?V}O`e6KVOD!vufUQMMUoq_N@b(bd$V=g|v)x#~_^4M|1U1g64e*x#5d zQXD?c+&O%{pS)RdQ= z2JSOn#>Xkis?REzStO4fswX34F0azyJ+NNyd~J zGBq~zeXgtGxf(8^>P-E~d1^^%x%^RNpGHCE+s;s*8r7qzm2MgQ$j*_dL5dZNiQ5K8 z^jD2ZY#bvJ#z@JcFVcP4zgL}f1i;@QMg*9_vZXSBp>Jx{s;Q!8)p1#<{Z$=Og zqx0!{lP1vhBiYB0?OFmbDx}Z=d*NCWw(oy5FZ=YRJUM?AYbAwCI-tqdK){sm<-0!J zu~2qB0>kSOM{6Q`E}7@r!BRn{=?pv3b+n2*0)Ch-agyd~lXq=G&5JV$*$VeunT1hi^i9$!z3y>JZQo{$moUC=xVlPdcT0KOyl zV`^1k@0}W_b5KKXh=&l#kN6KtC7*0LW0js1Z>0i$iG6F|^~G778SD zr8DWm*s2y{8Ew;H0E0vtubRUNsZ-Q>+E)6nVtkE2KoJE`Y0!g69A8^%XxCpR8Q{4J z2}<#~{L_QC74HXt!Os8{HCk$8zL3Bykqh^Rx`K*{3k-T0OC*I z{F;B~K14qfREL)4)JLwAs^0W@;5iyG3>l-cV&RZ8Zb@UY_+5o6P87@x-pu!?0+t1< zFnfrUh;3n0TIfuT%rXW+2yp32sTp?lU$*-fq_r)7BIx$ z_7UQs2PyY(M_a%b1-i38OAa@o-!*iKPDy+c?MGJ8K;ebPbg3Be1ux_+QFo$8cFuuC z(DR27g@kB6@CqFi`A%M<2y8Ps90{(Pz$slnH(Td`j@Js4<=|$~oeTOr@9Uiu0|Akg zw*8LPXaT?z2N>;)cJXDLRwZ^W&a0VxL5d72s#ZJfSvd&4Ex4Sb?p`w$YsR__G3K)U=y>YCgM#NFW?(^q$f{- zqjMzO=ojXM*|p9%KKKn+bo5f+kt6Q99ik#$(F3Zv+Y(nJ5Z{)6SuHk_s2-CC8BVMy zfePPqv>w5H-p95*eAr&!BrM9i)5D#R_wa;CxI}p&9}j1)&5p z8p_Ty-cDVHzOdp5sIy*5f>fhsMY5aX502kQ%ySo-l&np%8O*fzHfIHau?R<_Hf+BA z?z>-(BRtp>l^-8Cx&t&MsjS&28W-3wGc>^db9aFrYg zX36bY0k;!c(MuX24yfJZ6w{Aq9DGuf@<`Mn^%V~Vm3fM<1{mYJ&I3) z$H%UmPxWIC=k8Sz1OICdF%q5{gs^**fl%fR;p6K@p;}}++2v!VCm>q{wt}ugO<#5poqhffBeReCH9*cSoiscy1 zo01Lr4jq2YoOLEo*TnZQ(s!6p(TK>mA0)C3``rQwSLSW!1owABlbfVw)K=$5XjR@- z#V^fRV#PWYFtoIzXuh^JF}VE^PPRO_z|b&b0|sc#D2R~{0FW3vB6o8)&qppb)I^rB z(5P$FRz@^6EH~g4z%EIjleI+t_IH)+SJvvJ7vW#f%_YK+azexj34q^~R%N%o$Sro+ zLJ=y8C-?DZ(H=I4GBZ;#7)G?Pqxx@X>a0Zr`qIMdDtT;}DO>q&Pb--5NdJ7%Qe`9z z$-mjgD}=GB^IhqTN)jV>6TV0`2-g|&LsbNkw|?Fn7mYvQze16HgZ^|w>qC>BYq_FUtT8zd32WL_nak#~ZD z5<6pG8*F8|L2vQjp%y?%Q=%z4s-anxRuys=C#HjtgqCY#Ktn- zKjr^>xqNwh^ft@%NXB8Ep&uh@6lC{y!2|kSU!`jrAXIQ)^AB9N*DhNbtTt3PA{vp< zE9)U|lKu~4%&}NC(!T#FkZsIC8nxQv@JK0R^(<2FzTtd_(v21RAlpj_B!K>_>i4qo z*DA3MxIR@ zDiV{0@uf{svfWYZaw4iX5}3T~uETbkq)2;z{Xe%4lNvQP=Z1hKfr1RY zkZRk8kIWN1n15hA-Z0<*eJuB|UFs=$Pn@VsoOMssl@eFiMsvW`hfnqiKEHGtFVH=N ze{TfMXfC1n3jDCSptdDM$>Lg4*pz6e=Ae0)PND{VTf$xB){@W}w}M%AT1m>U^Y0=I zTg9lL5==M?6FSFTKWLz%gD0R={*&^FcefCBA2BCTH!`O(3MQ<1%d%LMPLz1cA3t3o zt5_Qg^#D5n80s4#Xf%ch8|6;J*D1OD$oUc++Ug(%S#k~n36X@Ux3h;asKdR}!?3u3 z@C^^#b;_P`SOS*Wy9GA7GDiO>NdNmWY1>y5q|=JBnoDkwx*3YVw2Zjx7XKeM{bAcg z=NXK+$kG!h6x4vBJBU{hUj%gngQ1jnggl+GA5{I^2z|ZM#4WeMH1xb+SlE1{i^mVb zXJ7+l2HKy_@tB>CP2ub9@_*mBK%PZt$?MJK%f(X_#D|TJo_mp6D6k%8aOg~o$XD%O zlyRE)wgP4{+ZZSuL5M>;D1lafP}PX9C+_^lzY97}fjmzEBmfh;Uaqj^iETLImVf4L zalIAl@UN}^Vs9AE3(iH0=wJQKfe$S(bJAXF6&mULb!b@5hgJTwT{wdVJvF#}Tw0Lt ziOx#dg9*f0up(WtrNV(K$T%hJ+*SMd=7gQ9!rRpinx-8`hn;AA}TmVQ}`RAML2aeuBsv=+mx5Xy-91D$BZA!s{N{ z6fwkb&_eh$1ZEqn=ejJtheEMCXa`Y0B6f4+LC!jd<~QF*Mi2w`20&do9!-M2r!{DK zqLZFuKtZZWNH;MDclDVbnJD#iI)^m-f|~UPgvsKB-g?c6N9)V{U%36Ka864a@)!xa z6l+}gn!GwD+rZoMi6PQ$Ri3T|kAcLb6i5ib2$RuMUlBlHM zfDNK48Ce88&W;KmEJLY^TuQ(bcfE#yP*iIBSKZf%v)k>I)#3J46YEp29 z(sFF8AU4!~v+$7r5>SCBuo*m4ijTC^xp4l|lk#`|3yDVTxhHmR*6gKYB~f?DMIlon z<(pumUO4;ML3)S4jNyIAytZk#!&IhZH>n_5Eh9b@%lpe5EBjE>S3$g)pCwMt^*ny# zOTK2luns%pizKb|smxaRAC${2ndz71!M-14Ot+*Lh86gqgg~M8@%-x((@wu~?dfIH z5ao^&fB_4Q?repat!6%&)TJ%x3Y=e8)~b%=dts|T%|f;FQLNJ3;U^SQ1Qo8%DPrzs zl}9vIM*`-B*P;qdAuB-e?ZPkp#VNDA;T{+I?>@#bR7_-RzR#4+jHNxQQ-Mm!D&vTO zX;ZTHXAQ9OtCjn@0H~VQb}+~vhT}kZQm|_DYcU_gSf%T7huhfIpktyzoB4&~<eAQ0{#@yYV{k`{|XiB4F z-I-@S6M;?ofNrvdv+InWmosFV3;xZ@jp5#06bn?eZG*r$BMpr@&&$Hru;0R3z`GRC zB3ikHD&x0s{fy<}S@bQiAc}D+LL6o|u^# zw=o;+SLW3JEY6byqbvFL-0E)G-ZtCN_7=#- zv_57HquI3&C=#!}@G-FCpZ!&<%3iHW93)Ttj%JG1c?F+%Ie$3w9LyUgRQkObEK|cX zKb;cJJKQf>s|}x|cu%eZ2(@ei5X#^brVCu|HU zDnzAsLlX+GvmUsX)w~nyf*@_AN^TZFRb|M1Rtob})E!{qPz|utJJbt>j;zT>_puF? z<-?dkGH$ADPgjjhgQ?W;I>*v61X_JWEX)(|7&w0zk4zvnaPQM|Fk`~r)V)6pPD#{9 z1UsG_&9`McV*_S`M%ZP&=%}}OhUiqU2OK&UB2>&--S#KyttChMsh^x^j4N65sJtCs z1U}Q8W>Z&Nf&ynh(~mDiMu)~<_3S>17q}M*FY#H*f4qQ}w(#}vM%aEVFt*g`=1j8a z#PB%fD}AWbmb*;yTtzlqRmlbNh^{g#M9#V@L$F(+sh_(tc3A~KU6FXsXEEoTv1|Ey z!eTOBq?udKlGGfib-=xydQ0T;r_)wLsc>FMisGMHAI(v^2=UCKHdh(FEiafgx;xSS zrisWF*deMG+0nj%kV&Y0YaVJ4uVSv0e5)(~fNr<{>^PYt$ndGv+>w8JxQ9 zd3o|p*of%fV4oGpJ0feF3QUGVo{0w?8!9QJX$4$9#7WHkiq=gAAW zF73pcrP93KE^-VmcAqk_*29~F_7ZNH+s5p_c%PIV;MJF%5MDSH5Lg82$_9PBIEc^( zUhp3XMl?yY8GaSD|HbUuk(!-`OaT%J8==*X@K9*;V_v`^Mq*ngb{gDP<}}ImGJ@U6 z!J3BC(w+6qzDW5RTko-fZ4ZyWSAN>&K&pC3L%hkuIS>Bl-yqMTrMxz0dJ^dfdR0n= z2AjmT49>}6Ef1A!_t-xTHyxSX*XPt`XOqHxR_;`xoHQ&KYL}4~%J)PBPNJ|*U$dwp z8sFz~s!4SvcP37{$%2xU0$mdX*O4WpB_XbbK8ZDssv5*929!mcI`!bd7Z|N1KL1;vjQKLk#r6>^fPW?U(Hr+(SPT%$LMB)g=<;$9p#&v-!B8s?=7LRUK3OQup*~r& zPtSLb8O5@XLQ?Rk-f-tz&S7(XsPw<;8|_otx87hQed})QU@i#>vR#M3VB-~8lZ>;d zj~C|IGNcniH|z*2pkM6*-dXhodGLP&iIyH>+=H3T`E))87TvqNE|RWNPY`eub955~ zg$)m6sFGMfIm)RL!@@t7hSqBga!>Zfy2V-C>@cIl`ZXmz`FF?10#gUqf$=O;X1;T= zFX1=auMQJ7xgCGCF3xF*;f<9{w}We#T4u6mTX(V&6cHl*>TR}i>0$|vi*|~Z>HuYp zAjE9l?xmF|YrpPfNpyZ@MQuVdpY<>T%$6FfWFEsY{e@gtwx0&BGet5Tq z=EcvUp%wi!g0qeW3+D>`qfWl0A5eH6#UD+%ra=(0lO+i#m3lbmB-!kDz?E>noK9LE zX;0I08R)dy8zNjtry1l}UbK=KWH=(Td4dwmvG=e$&2+$=+UHIyOF4M^^ieU3JWBQJ zCie^XpFm-EGkR9{&QSc&E+F(}dlgF1USWL62&|!B&WJt)YBPUdEXTRQ{V%=JLTWpd*5~BeHc-7!8 zx+Y3Wz)D+wgwT|G(S*!=^d6^`**?apjMy-ID78I{%@|he@Qh$G!z1N^1F9#$Nhwm2 zQf_o7?ZZ^+3c1ERPRA5LOfB0`P4b-!LqX_z?$Dm=N~0mAAQbW}PGa{L&QeDKM>c1F z-IA+2Jmk~C%qnf6LvH;^DFUNSC4S#C{~SXmz@`V2u0Y-kpN>(Y)te+Q90arq73AG8 zlH>;;NV*p!g$k63hPt-g2y<)=57~f}8OU&TIi=9O6IYXK30flK&T+!!fXLp^WS$Is z!e_jSBzt2h?p855fx#k0Q!Iu{+1_w_AH~;|E>4$$E#I!o(2PWw$a8Cb+q7{DIeMj; zo(&C;W*ab+1TmN17~7&?eMwJ0^|&_bNxky0Tr%YIGy1Z`(SM==Y`m6jX4#TLV%Fdi zxHotZF>w72^XM9}O}-N;#Ta+TL9zW&0q5Y64vgAwY^rUxW)Q=aef_>KKw(!COxcbb z;SUcJosTZc!f6rj5DNv%TCjt}rGy??2lOw^N>l_(IzEYUP&KnBhplx_nQ~s3n}q*O z<|oGUb$!sN<+dm4q8zS?hBl@ABTLBJqjoM-m5<&&VuhJ??v<3GhingCbLI6LNfcnG z(}57uq`M;~c!|4;-aryi+%T{vj_%RYz9t);n~)MEdEOkzE%auYPW%}e=S$I;!4(m{ z!AQkd(o*R%u~`;s%T!ZOk{yMm1WpCbAfB256tk3l%IE}DX$C+hv&P|2U>tGUoI{pN zhQ;2LgZ8EdrT zY#8|;=hE~an1fT216O^d`Xo?iUoveDq^_avSS@#25ymjevZ9YC@XBH~!z;yt&$z0D z;hKEOqO49ZpX{WKIpllPG7lMsI8OQpti`i{hSB zNnzUS99V`Dd-TTT&{q%#_f91MV4*@mC>8OHUQ8fj<_;EZ@tDSNql+AbLr_nYaO*J3 zCQ`qgPDX=pt|##|nQ0L2F~$)!TScZblYezMPuMM%3?!vFR$4^E)vg93R$xiX2u|?f z+qlQ5U8oJgK^G~w2&H~nytu@5bx8MSeX&-`)&vnh(E*5}%z0o{6TaI`@`xEjf5(qV__-IhRK>)SJrZ7`i`G?y@TtYP@?qrS&-bZ;fDp4oiIQjt|cMws(tZVo7fu51Cm; z#0U6^GXOo}>L(*Hfp@APOmBU)IW5uzyfq1L0ukR1Me2E3fws66BA=rLaPRsJ|DqN? ze59atRG6taxB3ws7tlcIlVwA2AspKfab~Q68<*S$*E6@u5s1O4%?Dic?}J!r?>#bm zqvoWm(x#_Z(4KQ|Bwf2cb%TAP?%As?RkWlCE8rRqp=;OlkAUD}2+LS&*E1s*BWW?g zwM6Xg4vZk$>WSwl;Ib#$!XYeJ_#ZC`MYR!0LIx$W&}cS{ZXg5si{7I003{kZ1a?Sh zR{Uf*{hWb1$fT8-v)+#dBR|K_zVM5d32APS$K9b@N=3U@I|N^A@+7kc#0+IS%*Qc?R?veSMqjQYeWKpa1g^SPbs?iJ>g+`XPGea*H8VSH$PHz zp0YL*R&0aN4J6kY%&NkQ3WO!I$A{xY#H>Y_lc{56CIHTYZ{)Q%(qufgnsUrA!5&5n zz&{qSm!p!*_(55yOu;-shSqLFRBGP($9P-^Sg_9pX~P3bd^6rXuQ-E4GQ1%+cEs(& zjzLtgZ5KreTT-OvQDD)GkQN=i#($(9gidJ?8sbz!enKX&3yDBABt^0z+Y(KN^B3b( z1~iW3!k)iHY@e+!!uQ$FiszNa@N!IeJ1$QmGrNkTdvvj`*4P8{&ucFV!M53ao!o?U z(hwF5Lxw;&L?#P#KnDTH==Y%TFny|F&n$sOlzy0#_Ctd)!1QE(b3SkH#W?TZ$>Iz5 zH;A29FVL+S{O5!pBAM|ap^n9wVVW(Vrd`Pd(c1_w8itYgXpZiJka^PUqm3k}@&}tDRxMR>IvUqbh;hLm zGRc(XH^S?Bs5j2E@l8*1dB9TKlR=f~{&g}>yz@Wk8Fsl1N435C3z5SxxDY{*K_3P2 zEC)!Lj=X6N8OhZk!Gq-B!0AbX0TvOj1{YH)B$SNo!21?=g@MGRuvf*`P;ym!y0^F* z89NW-kFmSH8RCZNtte~%@~Em%iLg{Zb|^OphjY98Q%5#(mI{hpr^Oiy--B}y%7q|Y zmn7e)I+@Q5ARlfk*JB7L!MBsP_NjhNYhDZZ=N;m)W7u=0ljz>Roy?=+D>z@f?@xET z%(v&DzGwO!E6m;g@vpA?qpE~#W#d0#KMvw6?8Elm)H^GXO7tz6Ilpr$+YekT@^Zo) zI30Bz0tMo$1U#8$TS3J&>?H05jiLo5e3x5U{-dR?DLS)c2<BUUg-1XuVN}0Dn8(?PSsls2OE2mu-n!#luM0iI(plK?}T|+rOYzP zSA9%A1}c2h4w>G(NAJh!XW8U~{^Lw{WFz*muDgi6f2Y2N{s1lx!AOY|p6)`{&PQf* zG(C|oI(6&e0@etKUYb+C5i_2W*-ox#20 zYG2N87L3V&JUtd4LQm$ZS@@P~fb7`VLJY}VI)5ElC!QDv405q_Xbf1BDU``eIYwP6 z8*Qtqd14@b$%Rqx5raX6s-4CQMxh^tU{(fZW988^hQfR^neOr&Awa5zTqoPVR3=uZ z&$dNwfQ=LB!IAR}0eMd;NRbkuCTX2~aJ4?`wYRd1v6gDt&li%^O}aqaw#eOn^?U*2 zN+pimHZ?J22o*vpCyEftZdMVc;QSK@6t~=Bdkr5fd&>6jZS;D7ZlC3jH9@vHTG+xJ zVC3?nji9yP5imSQ^^>ERL_~>r{Kr`kccsKOG1hpg#f4P<0h{z_LPlS_C!HldAWY+{ zekvk!Q={$&3BcKwhjO(JA)Ik>?6E#H1-VDuOyO7Xy^`3T!m2L=@v_vLkc%7QOD+RU z)^ry$pX>a}rHG)kDGpw0x`B)sMLv-ZdE)%b6fjX>f(0f@^~Ex#B;Bp+L*DdoyZFX4 z-D26@`xRc+bcLG0V!Q9{{#)ivEHJwlwE|El?lITq3QTV8`N12y0N!eNq+W@X6vZ@o z%jLQ(`!rcXLhLeKVLLLG(P#@rfz>Xl-mRH z+usq@rTQj>;3g8^num(O4EW+1G}DprgVJV$qUZD^!HM2MlHJ*xtP_ke&~Rx2CHNY` zwEGOLhG#}<=6+ApaO0NRbF)Op0-vvkUOI>6wkGg)pGJ2^BIa#vrQYU9wjC@9dYd_& zvala@y_cepB1JUVKCW;KsZF-S4R5_#f5>zgOr%sEr}o>@->+M(5Gh+N3jdaggd5Br zdrh%)SGJ@dJ}e6VG6m$CL;KQ^Un2=grnr?TlCO+Xj&Ll&n?f*}+ZXqj#s{z_MdnH3 z8bWWYZ|J)51*=OT53|K7WAYGWPq4KtuELC}R6{mrlv@)h%NLD1Hz~uC>#Y31St46T zf^>Sb9Vdtg=eKGc@yM&*qSx>k4S8dSc%Svm+lPNeYs;G)4SO2rWSs+yo?dA+cr|Ag zi>j8y9lk9nj}(37>kOGsQ^^*_$2z3GA2Q*iw0Raj1o4Yt`=@X_TJl996&%~1ID2uB2X#-R@Zi?++2#gb5x!2~!xvLDqbxdV zzUEKoKl+i2`A_slCQ!Jg4oUMbx3xcOE6|hx#>(O9a}h4=63+q+b7DOw9W{@9D+L{3 zB%pj_!0cG5o~i`&QzZp(hvfkLV3L4>PEC0Fv0^<$Ub~KGuBD!z_Vb>iZksGhK)AaH z`)>QA1iB$Y(1ff6d9Y`BeR8+FJwc~|-9RN{yF)7q>Dl)RUk;#@vw|U2wAS;PfJJbm zs6hdY_)(VJXVLq)45g^cn}BQhgQ4&VlVO@ZB@_=KvJ*8dq|DXEmB4|~c`P%iT2sEW zTQ`=NeKs#=LdSMYODw_HsFeDj`mlOwwJSA^>!1ybea01xtNVOOQB*HSh&nDI5ZLJS50?MfPfmo}+_CJ772YrVE@IJx%Ve_Zc12beMKqR&~vFMxVCXdd$9= z{j%JI0Am5%qBK~I)VPr43|-%eB?-4pYH|aDk!(2%z$T&9iixhQ%T66rJ0_B;kKC$J zQ&i1fV4K`(#+vQ3Y@>r$TF-i1RGkxcjKCN=+{fdl1ao=gO-hs5z%b!2a;}`j)AV5U zx6CuTx$#R-X>k9-ph@WnxWpO^aejoNXwn1sf8 zr{T*t)+J_k^eQfYy6a6!iX8^fDGKdC3g>+ZJ9Qxrp|Q6XFT~wzT%RwiXmix8ztGa% z0TLcB-b^95AZ$NUWz&XX*-Qn&4I=o&4Aqe4>JEJY@+s${7cexK_(>7Yync57O583d zX6xCp6y;0C4pHD!O;{?bSwW?$Jg~Bw_v}CJfO4A6yA4}GZHw$XrMs_ZboA$PXE~SQ ztdBbCeTJMpHo|o=1|14&+xY~gm_w$a(>%r$NB|0!Y$3xr1Fn~{d_5rPd-$R95>NS zxzoB)F61?mA2deSC+-;4KlTfLW1`9QI~4kPK|rX?7%daL@F)LvDcSYeev+HKl0DzE zOrDSrFS*p;RTjC4d}7o%7@>RgimGH%?l7GUBl_s=px79B*4G!n z=ZYAMLnD=MqB=nRyY?a+B0N|YQ4Al#g{Uo)CrYcC4O*D1dJ(hSV27k6{1a`pOLmPP z${3@=ci!pg0K1LFNJ3X^$Y>diQ;@oD<2fE0PwPjYSpd;VoM&^Ku2L>afnDEWEa!{m zoIiSYA0FvN9;;Gki6#P&+8wLRGtjf{{_&U2!8{ZaSQ_@aVV^D;-WJ#^Wat%8n;8c7 z9f~;4WZ)x6ED1&onL=0>e^%}qkN(qK$0O6XH@@h0e_U?a0tGwbKh;Nk)5BlW)6nE^(ju#%n_E1=Z=c8Yc|E1nDnL?R8V^Z- zU=g(`wy=nP9fLy+-htWxwkNPCP{4S^0lOMV_)UT7oFfcjg7i+7RAumQFxZAa~!HV8Nq{U|3Ag1!scn~OA>U`7eWc(r4cYkx; zLnMsvaMy$~FDl73=BOuH(?5mz+%@JFM!Bvp$|S!6D`S!pQ7La9F4UU`7uuO#`{n(Fd+Tw#b)?g zjF|aw`h=4>b0nxrueM}TL?< z(R%-VtKl$eB1!nPNQ31ER!#saFXuD5kuXMc^U=alI`eKhF0TlObBC!So4WWi85TT7 ztr7e7Qc445#v!`j%q>SHV>_}&7<7+{z*tZ6{K9nQ<~f&26vU8bAJh%ka>z&2`ejL? zWS(y1dfTG62&mxw)I?D=rC-eNj4W)&n^4(Ns?CFlAH}c7?;3u5Yf`W|>|F)XV+55D zAc77m+x}Y-vbzn(F1Q)lUk8>t;TBCup{Y>Ag*)9l`#>*TCwP{O9n@P909erkSp{tz zFWC^tG!hItti!|Y!8a1W=>}pMypmE6S#p!Sf1F|o@532b?o{EwOg?sPo4ur_+p3^N zS$h!Mb`ch4?Mm|x%BZ%g#=ZG^cyW?py7?vtW{e8IS%YhCW~msI8E+g<0p^{0X1z;L z3&a?hUr%=k>HbIg^bT$(G%2e%`-m`y1FCNIdbMa3XrHcdH~g2a2BR#zE{w5^si^eR1j>Rvf#W)`CEL zC3tDxDolnp6YP%sEIBoj+b+Jq4$wmwkvjKTFq|sqq|=XJuB_RK^!bCX;J$mEc{^O1rsT zqqNuhf%RCi;)Hu;e5lFD3;G#I7;YhCxf68%8lV6>GBBKR>8gxCnI!sYqr10^Y)-#n z^Ra)Eame?HyN#m@K>nVJQ0jCH2eg^8!0UP0 zA(|F-9~#RL{ebyYGYlG0b&SFmUHlIQ>Y*yT3;Vm`S@-?lm=wddH4HLIW74EaZ76Ny zWqUN6_-#qA4&%!E3qfQ^z^|UbrF8P_w4ISC?RuF^l4mM5N^yy8*h!7jsMd;>E5S)>NFT{H} zf=378LH(=Vki7YV^cBLtQMMz1H2V(Ez&G*M5j#MF#3WXct2-RA_S!HAEr`2 z@U#iCJAcnyqY1)3#_%0h?IBpNKJ0|rW+kbBCyEh!Dk%-ErzKG}i_*u2j}8~Dzr#Ay zKg-$;H0T7H1qRk6Kw1szWaEIbui7O$>c4)m3kZ%Mq6{Xn*A>=YbaEQ=tt8=P+uU9B zO;PpUvTNUY(Ph1>f0&DUpa5jVsdcpb! zn0zeOfjnkAM>!5B)^bXeNzu7J*+?C^tph&17ZKRMI+ z@(0-pAn}KL5cPRBYEC&SXx)OL6O)4XvB7IJB3XuLoLj(crdhGZ8V}6^*j9HUj4o@( zN2%vhk=sktnN|l)%@nG^?W+K?TMC)Yp9VV)$0=qz1kdBo9)yI=qL?j=kjy@xBofq{ z56iGo^>j>V)h7;1<2XQIT-HpC!(Vz^AK39XNU9{67RMIR1xV1p_NH$Nvph za4@qn{-3A+$HAs&VPgE>xr+afUPVkBsB+c?Dy_7`8fqH91MKbXt!_2|VB)^wc8j{h z8ez!cEi%=AOI9lzHO=v2Iy-~o>~F2p&7|hotM%^9=T%qlyqu+ZgSf^Z6`uorIVL6v zha4ncb>;9F93Wu(njasH6DJ35eFpJ44LwH|{`e3oR3PNn1pfx8(cUX@LcN`5qhc^0 zfW%D;785$rb}v z+gwyy{QjhVL~GE%PF|08p&9{N|FUBM8xa)$P9%uWvWCe#uxkIlS+M?z*$=n&zHUEo zAfZ3|*80Xkfo$shUHx*Jez0o@pz^7T`Yw--1|aJE)jn7nY#jr+UsPOFeKF`MvLHUn zHh^&nOCai8%fG3! ztfRRs7ym)-0$x8rEc)fmQ#Yj5TUqQ*`T8a&7mUScx0f13I_Ft%R=w{E)!*4&+PdwT`KafA1lfTi2 zKN|7borMQ@mLt5+zqm~xAlK*Lsr`tiTU)trwGbW|z-K?17XiQ7YRYlUYq$@+n!>D+ zC2Vm)8=OC0(fTUvb!g)nK-Z?muOw=}Nf$r(3?g)>MgNXKKRXlvEHZ?5zRt3VMo0He z>{_|#Zy``m%V-i-BMXxW>R z!hT@$(q|u*4ha_;TjiT?XhQ96pypJUDTi^?YZ!VHV|!hdzsS)EG?ndP zh-u8m3Z-oNtwfjI5jCap-8~^jSt5+;+&9FwO~NaRrR~7>RJTUy(yr|#ZY~iWPJuvs zKUR9-Q`}oZiAeLA+!HlmV}N%;=`BCWz!5F@S1mka-ih_TFy<@RfhKZ#??{xn3yr+X z(dmYA9v1ESsaY%33CLn9$2Tp%Tcy?vTPOi1^&3293mRwTym8~jbLU&ktdl7L(F!w+ z3GC`)5fkfmkobz7qaZ#<-bOeOx3VMk<>X+uR$)_c&7V9a79dI?#4U9F;}WCsfc$YX z=&fCh5(D!~o83~q+r!N8gwC{#hjT;xZWr7@FhIE00PVlMU*Gd>;YV0D(m3U5U$1>_b>LQajW#7;Bqb_PStqHFu|X z58~5h{JPngb)kM1VO}i%EbTIgDe-S21yP-y<#?6o^E82j`R70&A@PUz8ke;NwL;6R zkn*h|;>Fj;uUw{&iuE{JrOY>X(h*|i8~Q6e7M2lXj|R8sg{Gr06+b%|LTO~sXMt{2 z{t@?Py-h6umfE8g6=_OyjM+{^mf$gfLmKe7DeHy3IK{^_(ViRxSa+pSKT_?wu{Dg( z6f?HZG)CB>-4{jFe|=Te%@`h+&TGPQ%#1ki?Hy%tlT>`Yxl(}7$jnBgn+UAA5%bl= zX}~gY|D03Wi_9FQ?b|Z!$%W6Jn=bgSeYfdHa-+gQ9NsA>+TsEJ^S^iAxgA^yWni=W zV0Ks~5FM7-7QwslIHX3jz{XyPD`jn%R}YeR1iy3iCDoiitbSmc9-T#=P>U2d>cSdc z_>g~==kp4ZN2^GwpQ3B*h*5wY(A&jSU?l+q^L-Nto+5BP3LZGiP@1)*LLQ0l>f)We z;>1(&zE0L0*Xd5)ZM`SJvTHo|R$m+IEFHgS6`<8fMcM@e1`WyzAOPZdn ztpCW9tlEKYX*$P+^x&!#Ayk-Ci1)dk`#o41nLEb6=z-h|5fsNEbSGV!$5gm)Hq5N3M zOESZ(qPIYHFKr zEi=ZvS6yb!A5=?Ct0*Zd!nBp?{r}qYCVxE^9cIr25O#*-A zE2Ss5bR>V&@I{Hv7bYX_tM6NCuwR59-q7RrG^fJnar@nf@HeOkP`~>4`x&>8^iK>9EH%iv;qRh!5}Z$ zA!U>KyP_Ap`bl56!t}G(mCyD!IBEM z=<}UTODXjFPJHCMG0ABf%1ZSUymn3``cb?E4E$CRLNZz*)3~F(#+=!DcGX4sc(_Ja zrAr9*RfY@5y#2VM=iG}w&z%(0qvn_YFUH=nITtQqvy77y+qP}nwr$(CZQHha;+)vF zo!l|{si}FZrh58Af84eIz^=Vkt&3I#oFzqkGubJruF?ebDfk6@doG7)F5Y&8beL2^ z?wiZu6cQ1I5GEeRcRZ^sc;CUlyx8@%8s(J1uEEx$^|W9ioiC*kn8+DBDQAt7Ljy-v zvpPw%7IxT#>likbcG!RLIRp0@D(DC^Q&r9e*c34*(>V~y>bWXf{w5&3cqG{^Lm)=+ zpUw>~I>#=iqN}rWq^^fI+sz>+ue8N!TP3~(W~J@Yb7WdY0~(>@M9_G6j-o1`*FV^b zki3`_o+|rVLs5h7k!!lG*77Zie@{!hOR{fSh!lzkWMSeyXs?zmv`$`UdAtI8r3n`i z^e#8uZtEoAKl8LJ`kdU>oFzG&O4VukpPerv3kqcv{L)*UHJ7XMTrS^RTg>?4Y5vhi z$KTbNtiil5i_+M{{)YJ`*?qgFrdzUjk`M7KHl-SI0{chN`rT_Dxozpkp^agMMj32u zx!OLNpv9)9Dmo?*E3krJOQjQW=<{=)aRN5&fxLy@Pii(H6qT(4ClwU0t@1zRx8xbT zz=yVj=Z%LN)NW@mBZ;YH)oM?Su{K867qSwI*RVgx{4DfpN`A!NCqUYJRbmkBFArtW zCQO~Sb=sLZK=_+fnVY+RqRc9~a`2kuO4&PNRG)ypSsL$nm1Ukw4pAM#oNDNg6KyK4 zr%2L|$QRZL>A1gq!iytLw_ttSg_p(}uK8r~9K;MZtW7aA$T#A?~d*m938oP`%IbT}Aj30_aemH?du zLso|=^Q-3Z4HqdOqnzfl;E=dVw%yR2?7;3MU&*;Al=2;q`#=-OZWwPo3BgA#C!~Mz zX}XcHhu?-IYDBF#1{ixcJbVtE&TJ(C(Wg>LI_#V>3rNAiFd66UR8P++dBhKXf%508 zPp!yVtWLr+pqCGWchZF?%^m-S{Q9i9vQ6P}?p{aW9u-0Hw&>ydMqSva#51~8X>JQr zJR9v8a@1*prOnqT6cK~7m;R38JTvZb_GfUEPhw@Dm*4!Mq!g)l6yY|tUCyN%l2FJ# zu!H_Be)_RU_;)Nf?Nz>#DH~d7%u|edX?u{y6ybW9#@FA?N#}+hTiDbMxv&udSktaI zK??VvE1F4_FwFsCv-43Xf?JcFxs5R+k#R7xCd}jS8YKll)GV|^K$gRzbVfN%LXfiZh7xRh#8*!+#WXs}zKp1=g-tNnhcsk`Fzm^?dBuwS5_q{q{3Y0YT#g z%@Rs}a^EcRQ&9=uL#M6+5uZlXy&jh?I8APNiwZj=Wbw%je4iuH=rLx)KDI|K&nkcG=F`uyH{g|6J>vmhGyR!t!~^`@;BRK8iI?a*Y^?=Q&ICP z_z3dRiPALIPMSLEFDpCH-$+IJKc!7jwzt0WePk%*N~r8K>jDLCp!26+{6+=S)bSkZ zN?fR|aMXUquB9s9zP1my$$JrO%~PDOFsc==s7ZtIZ(O|BQ$K$oX{{+(9=7#q5JCji zTb%+vDep6UtCNY6Jd$9*YDG~?$Su12vCfQ@)rdMJHk*m^uZD_gBwJq+3|tei0(S>M zJWLb$(K-8t+Bp~)iwOU+-!EDT6W9zm_uh&5zF3k%^poNmsiK(S2ApQyfMQH@`Pe_q z-s?s7Ky)q^cnFA*1+8|xhJV`AtmwFY`*yPQ8~*H$oY&QIgE;FfQ*8aSi2l3hWNSR| z%bIz*`7wAvyM8?1sN?}fY|{EtYlgno3LU_(glsuXE$7ubZpr^2Q>VxkS0edmIq^r=0eO1~@Am$Xn~`|-Z~6{Sc4mW=+m1Iusz~ga zn_CzIHR~JaLc2~(u@rB=eJtw}X^Em6*Fq-^OR?aMZ?Iq|Miy9lbl52c_#*3waZuRS znwK$G)tl+o(PoAKjVIO=6ootsupgW%SC)6ycFp{=Rz&s#i>l6(i_hBYIEp)usVntm zw*8+9iF$mGe+(S4IXB|_xd=2f%YKEBeuMT~Gf=Hn-0Yw2mX!>O8UrW(V z^b9L**IkoXqkj1ERBid*&^+5Gi3r6@#dJ9Gy747$glS{=S;D=hQ)Vq_of&4`M8xsc zKdwR&L`-ugo7q_ceExg80a5Vp!oprn))|qeUIhy`g?@wiZBN=rw@D(bZ9B`uCvGZD zT<+8-pawra{i2UtmCsVY-Uvln29Ja=UVZ0j>PMi^p_L>KpdGgs$QIAUmDP)nA``U+ z`pm6*^t}2D03(I#iN0p^ds*-ybnfbbLL#}&^3$e#mFx4sR@XPQ z{APpWgy1;=E#bcU>W0E|y9R^z6Z>(DYMeXPuS6WJOotVV%OfjfB!pOs_jdL|MkK^~ z>Eu$KS?f`-?I_bpoJ21s%r<{{<;06$;}Y(p2uVcGuci8oSg(+l@(Q^u73&J!QR!*9 zQ5o?v4rEv;e-*#taplzI(^m^w2{AqP1ffe@#tEK;$^y<8B{(<5BC7elzO5uyl^@Vw>pq)t3I&r|gP*d=C>24126v$XNK}T4;GmyhnO7Tsju`*1jy$UUxd#_6zIlGeYq)5L$w2ujQ_6|s5KMao*S-i~#R*paM7 zbOzC@`;_EE0R$Ih-PL44?v=+6YO%OYK%W3@TE2=j&$nq>;>&Y2Dy8GiCxZ|j8FEpC z7$jj5$w!d+EeNc$<2uk|pB3WZXs&-EWHQ@PGYI9}S}k#z1UGj6vO)cri~6bV%#Qdq zyvYAq5^?!Fc_a z-JZHH&VJ|~%8ZunuaqGXdcuoHU?=c13)JaSviGVovOW|}Qkd|FH-l>76dMd=pj!^h zpgippUp2Mjyg#NV`EK0S680EWj4MHEOcqwjF_xqVQ%wonq)Sjg&Ukg^lI?62O@y0z zW^uhu2y|>_X+Mod<+KPkiu)vdVvU6@X1~7qyDc&XvK={+XZC%);oCkm8LKmMOFtXJ z$B`Ydc^jPJ|raQ)1bCJO6HtaLFTk;_2; zX|0P7nPq0%n#2t0TBMv4(#pZ}E%!YVb1;o`Fs;naOO1(Ii#&+E@%x1fHHlsAT zq?Djg8T-2LaBrV$U%XSeYHjijmfcL@7=QQ&9+5*jSEWiiu{&T|0L3TTw(dYP(_T#P zw;HGE2wkgLD)WRaNjf7{;riiKP%7>699UQX$81&>dpJ{_UHdLD$SVp@DcLHpNkX{&bYY;`(|( ztW93Vz6^~lQ7@gcbF}!Kv7@RN$xB8vu-lEXJu%y5Kq;@{udnGZREGNl^G*6?NqoU4 z?#c6Cz{`Ls6NBbL*KEelELXLQ!WzHUgDzm=Vm%_U)by16aA;M5B=CQ zemnkWDZhG~rn3q4AJ-VLU2g3M3K%z2>{5P_>RQV9IlBM3ZuttM4{9mo!N-jMi;bhQA6S->^urq8?5oC~YFJQ+B zHymBCUE!WUdL+~NR=-Q22QEK)z30Upin9y*Ru_*{g1s9zp@H1n??~`q>)kqVO8h+0r0>9``_Hu4$#d}B7Skji>k2CFsuD5s z_wfdPc823+No7W?DOdMfBZeQ*o7lm3Ub{M1)$bTep3Cp}M@gkC_ga#bZ^Ky2(YEd9ILu9;qB zt_n3g7|R#{!z@&evLq36*fy!vUE9N72bUafDbh`W1S?^PJ{>*~am)<8yN0Z^*J!)}R}6vl>qBDDgdH+$L|WJ&;g$SBtSA*o+Cx~pU)Mq;!Q7Rl`I zyE-WEtn1AAFvVaPCLm<1ttMDUszPqrs$p~E5yX9ec5uZ@0G@2#%_ez_^c|ecl#xfP zY>%X?|H`ut9eur3itv2F;p2Bw)60#+Fbf)myNF;pwd2@_+`~g~PkD~D07Co} z7@am(#0|NnM-P*ejt0{**&^qfC$q!Zb+%eMV)P8xB`A;%5E=( zIq-Y(^&%RLUyvxOre1w7haA=uSb+pcMQ94OB!Ylg70WUbROxK^tP^N&crjV;SoOZG)lW} zd9~)#_w8TFq8@sQsatoWq1F^~Euy?)B!QtI2RYRr(u>xy(H(8Oazep0+{5=#=HDedG?O@~@dTekORc;HG)*&EgA?fnc8hXP&0mVYv@&5AdGV2M#1%D1fE5GuD2jcf&)YRA9==0D?#vc zF?z-{>OccLE3+aA9hAPJuTAWqAfH*9gPk5gByEb{X~@{Yjxos=sm$S|MZ)ON$gvT@0ErHDltW?wu3u;HcL5OXr)rMGQDw;-2wrrfLw|5R zHuNfrHND06(b~!93|@3aC?NqJi&@+{^Y?DGAAx}hvY92W9UPHzFJaAwSv@x1?EM&j z`G8ikB#Dw{R^z~d`wX7uG}O+^MuB=;euP-1k85*vCWDO zGT)xr+!%kp+)g*W8;e0lapJYhdvbm%!b%dOH0zJ>7q-toNh^2+Y4S!gQ;(GWL%_a@ zL7XJgDG|v$^RnL3v;%gC(*u*^QZJ%Pa^2)l_j5?MZGEs8C0u3eKA?8{nMw9_F+#kK zZ2wA$<8CaTemDslUj`RkyVyYE-o~nRup3=Qg<%qhTO^QsMEQAJhxA>W3NI6z!iNHB zt{BAqTwnJtZv$sBZXvz|ingq!6pLLE7(YyV!hk@~iHX1_tJR<7>7#d^fR}-l+^mzlM zNjaIwq^NYR>s|9{q3EAWo8{RZ|E>GVliN8R#nFgeUTj?(gWe3c2``$vDff@0gUE64 z@!XBFulFOMEEoyQ3K*AfBD1-ivE~l(Oa6jO0cG>=V9Rw==1`SnEhqE=V=o<4NoM>X zlN-m6m_0%Fgnog?-F&uajRAGSsA7^&Sl?VV_uO3mz`W8&0p-*_p%nVXCZZ2`qRf z%R{*$En|FnvE%3qZ|{)mWF7YOWRtG5Jb_#a7|r>nA0H-SIIqvorh{r7vzAlWgw1F*2{6kmM=ukv*!5Gux3|(i{L6}523)7XaD>=*LJX9Ii8<+9p zzZEC#WUm`gX+lnNn2yi|eEsOx#`cKDVrm9!c_xyc%~#hfkLYl3SG~rxgV9p5$)Cl*v8P?-^&66q zLwlVTZsci<4{yI9p!BE2S#DMZs%&hs{6vGrP!IgdQmLO-W=<6|)+0JfVriGu3+%lm z|IJ*n-VfSUJRuoih1=N}h4-0?+F1*7-tqaABOQx0%(k^lz9f~NtQnm3S*OhLNB&b{ zxeCFmTJVu;+%~U3<|V18*OMs0&8bc%2IE!5){nF2lm%2lGSh39Yo&-oB9$XVq@zn5 zZ9{7bMzHGZj&6b@3f!U&bEO8ryZ##LDg+o&NUfq6hc`^19n_8w?0MTb0i7Rt^@i6N zqDQtYd)TQ)XpDm2jKd>C>GJR^`Edu#iwR&QhcgHmxUBRw>#Y<&kG!?odJBjBVG28t z738hme{g&3>>oXSA;H3%bd`lTW&%& zyS15Fg0pC0Hk#?3ewB>$fQLF_ixO8zdhu?^nO)u(9#Z$@&u zouX9huh$pP@`rx}Ir=D%9$nMNemw{9Xvt#`6>f4$gm4zO;h}G_#j2skfMG`43k4PQ zRa5LiUt5Cd1NjW#-UeAh=#2`iMYbrwWVI30l*9Xvhx%8NZtpc5dLu!z!SnoFJ)RsPkj#(?dJBAhohSti7f`>i{ z2hm#u;L>N?mHj$fN~C}20eKH-@TSE_3yB3u?s?>r75A(B_eSX$Ap+tzFCb#{phTCd z?{A{-lPP+s$3=;&4!URP1b~G%*QafA{uOuD0gF2$Ysm0RfPVCB=4aA|REWo$V34$6 z?TI$YyW&4qK0ohQJ-a$OXjKh6Qn2u-|74Y;$o7%Ra%X2aG5y;3f^Cn(G>c(e@zUlQ z6&B1PLKJ5fw&>k9kPP?8&Pz#uUrK<0HCTwR|sw#t9L^N89$|<*gY#-Rq^PBjJtV+J=p6PxJWzxBosu^mkdi;DOqH*_ev&AA@jic@1 z)Tqjh}2Y4SYPdRiMzQPKp-qdfbQ03dwD%yLEx1N$tgyA3ikj zdw{E`8N~0Qf9ZY0$wy*yG8KEuCm`Z>KzO)8$D?3WVT1&I5NJ)4bJQR3{{nFV9w~$3 z?1Td6<$t>KUuUA|sZVqMOP2cUS5Z@@!{lC}#az6-rW#={WyQjwG&|Ab71&L`c=N3J* z1nAMIJ#TUE$f_cyK=3~%!06mTc+RApUa>+SSLqTIsvkY>4;0>)y?U}2fUNBT)zvG# zr~QiD$A+8#W=_e;X@h)m5)r|rP_K%rJ&;AYe#Svf`)d+we+v9W&>NR+Dw)g0RR!xB zyaJvs=4jdUxj=fIQ?nq<9~RL$f&d$OMGI-y7YDG;`J89>ucOqftkA^*vG*0sZyfi0 z{&Hmd>jX4d)O@wm=i-}EQdtGZWLHL1MA-92a`z4G7?#fgZvWMDO4?kiT6)Snyx7>% z4wAY9l*GXvzs-lJ-J-;F57VDI9mhXv1G_YKH=0aK$3@xmfYJgcqcueh{|>17@iymf zR{9ryY4($Rf6yB@J|;~hhs-`Uik|sM-`!#{^7Tp`pba648i4I=D8uQ4x2@}`QJPd% z1B55*IJlycvgR?VOUz0s8*>s+r`-eh zWYr0aCt*2=%IorxFG%VRwC-T+& z@Z}d3_y({g`NEVCg7mb(lLtkkXg)IgfEV=DBvKDXGpJ1eB^AgR|Fbi&JFShR|3iU> zr|0LolEvGnc{a#k4LF<_#Z&rpRbFmuA`CAJ1*a(cEanG#3@RybO)Ck_^U{wS#%ZSG z6;zQ4cQ<@{w=QhitEHnnno-e8bm7nkfKGGZfrGIM#hAY-^NBZ;zy5tggEcN5D_&{8 z9WD8(XCjSF2$I8=?fc`9?CMUlx)woqcyLsY%p?(DI{fsvvd+~fuAlu|VC2kPQt4RrJq1E4u~|AtDwPlqfbSt!>m_FOnZk zq2V<|O#xDfy5~JdIa-i#lFe2_&f**<2sq3)A5cXsAnFD%HN{{-AS)=*2ZMObTI51- z7{P9kG37vDh`4*uKQ_j`!A+7L2)GZa0d&Afos>Xos;Y@^c<_}ah?=Ch;SjM#oCsji zp2WDPaGHkul3?_21XQB+p8Jmc(uR(PhJ~oGClp~r-8GTYKtYnZkcRR1B8H%d^@9!W zz$lo|4?Rp&iHwF9LC>Ei?Sq{MApZp$1X(>v4xm~Im<9=Mq6b0#wgAKUk?dC^fP9Z{ zoF{~U-LI_xDN>yeEPbPW(;y*#^I$?mm?-iyx-uf)z;_b$Aq}eGkx=O(%7X+J=>>2N z_kJ_}_0$A{y?}Ee;{Kw?g*dOw0cJD~2yi=t94Gd3^jG$myfeTH4k#niZ)V?ALkSTk zn&%XlZ}@0U)C9}*yc*iyGXV&jfGoTT*l>_;uH0zA)c^1s(y%VB5fn85G9VYgKDJKd z2Z5atp+tp{KnQ(-MG?0_zi7J58W9dTpuWw>R|&#jhu(nf|Dq!rNpgTaK!(1CfD;1Y zt`Z=H|K1G>co0&eI*JWD1;PyDML~S$qB#1!(uMvqJ3IR_v%nfM3i`sV? z&+iTe^!(z}YiV|%^#8AP$YoH|# zm;e^+F$EtKn*Qp1Xbb@d$Qc|n7)65o&X@%gF{1-Ve#trdMB;+Ue+B;xSpD!E2bjDz z(EdUW{kGua1vuR8RZcLx1r#!(F7muFJVHShT|6W+fy^&~`gwiY$017Jk z;l-B&xi@z{_c9`%mxLgQbmfvbJI4vCznXNukuy1v;}}QZhywU114&Uq-VtIesXH+q z7Vb$NA2>n@qfZMYtV<3s*9@8A#3vq7HsEX_eFmAQgB42A_M_;)KD7j`M#pA^hLV&!%%4 zUa42SK*%sY(;~t!>IfpG4=Ebuejs60t%~Pbip?8)F0J@(WC<`@#oU+4-xD5c01cJK zILb5F2qFo&$^RnIafFUSt{ouqYpXSo-Yh-I=vLB&6Z}LP#JrQ%Qra=0&OSa2j2Zt~ z?7&9Fc}(>qA|sJ`ew#;XMC;VHY)cqq)Zs1+CDd+D$>34gk4P&Rrpe@W%Z_NBXx!5H79tTap z+*Ni$G9fSj3Re#Ig=v5#^G_xyy@Ucf+ou6PKQAL8ff12+uCBJ%g()on#>a;_(7-I& zz$1sI@6Z=EGk-5uKVs-jjdKVtmV2BeJ))N`na&YkYcm~`IX2Nmt%w8_ccHUf5|cAs zWAE^wIB^}@G17SkGK|*6(QyFdsOVjv4*%>#iCgy6i_Nj@qT~)6>tFgBcvLDG#Y$wv zoxJzq{u!9^e07i5cgd;~Rq+PZMM=lImQL5_`$UZ8t*2Wl16e6o!(Nk*dd?>BZokEl zutE;~YDKoXoEIp*G=R%(A$vdGN`6<8AOFN(=V7r7&TA6%pkqzfYAlksb7P5+raC2~ zcMejFCK z%p5G{jREK66ezqiFM$FJmb0|-L8jUQtp?&5msVtUUr<(mC+mgBgDOj_H!UK+gCCW> zjnDFrV725iS}IVQwcy?ltj!Q88|$S8iSlO68*|uWK4SKQe+tw-l?v*!&jTf@#@0x( z!=16a3q zHnb(|*d4pr9F_8n4%h~0;0|2#;~Uyoh3!J5JOpx@cGbE~|2l4GA^?I18t%o6 zR#z7|<2sKrx|@Ii)oX;Y?srl4hyhwacbnaEb^eLmT5||j8e9sM-3a1p!Q^aP)7t7M z;grQH9UOCzr*J&}Qbk)9ICr$T2$E<-d-%y|iL{ZztpPrK+nR!P(Ci5Yn$wDXHEJg@ z_jWQ47XH2!xf$Kk%nTi&+>${1=1_>Yy7Wt)U4D-yUMc&T+mvJ8{3fH)3GF=F3=jjZ`_hZMOxSYoAuRn6coScO}&Vb5~<*Qz@kM`S9q!=0t67dl=~szU4%wTgCen zUksNTazMIY@}zvXNpl-44@iKSoc1=KDf7q5@VU-ORC)L0c0FWq4b_|Vz}XZHrpi{lc66@y)`$T1$r@X%vh16m2y$x=S_nxTAS{we_vNV4Y; z;J_`u%ou-iBBZ5Iugpw8qXtW5Z6J!-;hfJ$j;+{UguSY7Gjr2R`)g^6?<`uQ&4DQj zNkbw{{C#mKSZxxW_&u$Xk}HZ69_ltK!5Z4)~jf zh5D&q^y{ML<#<-A0XfhdciJKyk_8J<3pRR8dVw$A+}GoCi{Y58Ew^PS{>5M324QzN zIp`ko)m2LuS4I3ki6EhR{MBsM*MSr z9hDjOfl4f+ucywAV1rA^iIRV|BJpQ6s(s;_!cDT(%YyeCh(Z~r#7RJgiUqXBF z!<&uVeSFU*LU)xaHlUhDr!h6Ybbh0h>=wvaSsrb4`Mk92%~kkls@J*ev-&^{g7OV$ z)z$yo_gXSKvPI~w1wl7jxk>L7ypL>1ky@d;*kSh^wxqgX7SjF`^cu-bDR*vc_;czD z2L)E&6T%wKQ5dbG8xF4yEmmGita`7*^P*077}?&j)+!ifqlYrD(jhGXOPg~}dd-yu z;&S)k7IwMc_)noD%}mn5lV5H_r8aig9{5fFVkyRdfCq zOsVnFD&1P_TACjvIvH_H#LJtW_U9!H$GyS22v(uvbrBcUni+kbrXzkST^lns>-fk+ zYf=H@9g3j@j2 zsID{j!7#u?Y|}O~A(x;Mc=9qCgdWk^t#GK9ddB1<;<0fhz3~I}0P1r_l^G~5qpzpBE4q%?8oZ=d$4oA-IA+F3^uU>;0EwT6%eI@&ySd7O0)tMjg zG31?`Wb`=Q+O~t$%^JYjfTi+tQ2DOcUR-K6O)-CcNij%~CU-6UY;XSIEqrK}H{{Z7 zGP*~P&+$anN1BS>nXhNk5rrohaXGN-bWTGB^$5=3B3xyXfc=#yMlMXxe}Q!8XWgLL zbu9?ylPm*pRquGIp?CKqZ9D0F?e$SC?&N4FO!>A`?J-*zm5Jlyw^9HB8fZ0Ulqxl@ zU@rS$3L^$gj55h#@GzzsFG%rz1Set?;ZAYiaJX7kv4{np%2a%zG@8MhC+aO~Lj*jr`qj6JXU(&tchazB zo=aGA6r{+W#lVEO!>h{&IQJ~lP~#|GYY!K&?ktvzWN{`nwY&NG{a14bVWnZgp6|}^ zQi-QP-O?(~q4!9NP7K2q=U0-7=Z_ zLHR64guD#Si;yB+F{`e|9@4n%e#EY3`wFFJoTeIn;N1!%ek`$j@T^#D3xW;*10Y{y z?<;PHo5qRV11^`(qdvP+g0n*7A1p?oA|0McYBcF3ns)?BK6{GmXFG!8gzT?;kpRBoXv_EEc=?I5luvh0j^#nMz1c zIyn`=sQL2l)Rp3M>RHfQYmF@+?7$sNprd=}QOigxn?@z%fNXcfq*i{h@2YBbCEqNr zeoTW$`%NH)lvZ1|2(gU!1_V!zr4@AQopOzh)?2pkK(V63VjJ&i#h65Eb*2m3eDg3sXQFg zJHZR$zXpjNesdGs$F=vQu>CoUpFbnm76orENB{OccGN>GIUMTSMo-lM5qmrBJF14x z+S#(gWsiWT-CL=D<5q0O%{lwLOskN+Fv4RkyeDE5m0lV|)zzuUMCg*l;Ko)nI=~R0 zo~lR^48tu*lqeRzCq;d7FTvg(GN*7GvS%Lfb8AZ?Dj>$_#S~>lbj7chEeQ@Mo$Qk; zl2qrco>ufh7E*;r5YF{kGP#koJMkC~klPFWN@y1Vq%RjzV5M|kmO7RVay?L*BI_5q z;bVtNW5jHE8*02-VRoL3eeAs}`tE}ZXqR~|^E3U;tlpu;OpP6pGt{sw4l<#NDpuk1 zjDFr@N9-BtuY1cbKdoe^Ozj@S@o5(;LjVc%4Vh!XS%_}a8NDVq)7M4t^oP_C!pbo5^qHK#Z$o)eI#; z9g2#%_5d>+@6325`&w@p8&OTo08`|Vi;}Z=H4e)&Q(g8jw$7E%saQRm)lmAV+K;kr zc0U_9hGxDU(js2PNw%%P>K6`gwp0Kvx*%!>eY(0XK;Ns% zcg`ZsOWHH$f<_`tLdYFzuUx{~|b~vGky>N|-4JWgV zQ(`JLhO1tnd|?xIjCb@z^t7hmd<+2rR}$0VnR;i(bv~f8hWZFl%@x*?bx?-!_2Q$0 zlVXKrkC>3RjUo6qEqY1D)~n+@q-17+X$cZ>M#DOmtYa zYNPh3`F&(-J(l%29yLJZ&UZKcXW1orO2*9|*!3hC<-5gnIAtSDgCv5Dwqd7Yf1W0< z`2^7czy#F-^zXS>^qm#Qaq@5K^ZG7#_{ryj-;`BFC3*{E3!C*kqgywAnT1@@(4y7p zZ95pJ1KU&h6Jy4Sh^P^&bEJ*yswW;iq42EHbW&e|$vztOB{KCe|41C;uaHcP za6AzeF=GAMG$cp{Yo&wZG-)501;k;jJFKsr*|DBYlR?F!rRq)r`UXf}KmJp^9Dp&Qs)S|09F95z7~cpu zmfBD|vGg&#NePRyFeJedxDUssq41-RDr=6{KviD90n@PL{-$4RzxHurKEgkkl+-CE(CiFTnBD_2gY{9 z#FUyShw=c33*zD`ovZw`fjMqE0|zE2ANCH606)?jg8fAY1GNlMj5ox1j%p{Q97ME- z0WRtNO$vSrB7r`kCL`RxxR^w67J3{(f=B4`1kOiHB^d;Y1tZ}dbPqJR0dWe7l3vALAjFy53=*j5(2^q|d_pKx z(-8MJJx-`X;sykuqR-D7o>DrH!)W105~6tnJm@d!kbYCM%sk@lQE*rhqCWvE6<|Vv zb_*T1boV~Bvy7b-Gp}=-_#iDUzbnCcJvD($u!pDc>KY%@pmxMxTc<$cz@p&b;G<+g zK#e#+*Jf9g_cUEe9W-woZ(FhTdwXkWx6q9e9Y8M;>mdsPq5YDHkeGqOogv?TzdZMI zctnU$jUnsBKP_4E82>5=N11|$?un;~$c7H4?4*uI{$*nG6D^Q!Y7bP}K#lR2rL@$L@gOjo%175sRQVLnUR#(he=>j>BGy&p6E zE{7SAxe^U&0+0_Ylq~a+fbSjKbZ0?fzQ-Q3f7Ne)$p+^&;V^Eot~>8+lSKj^DdqWk zRQs&EWzHZ+%GUrK)T68p2I=unquAq`U>I`Eea(~k#b%>o4@?IxDR(|eviNuki37M@ zMyry?M9+IsX#O`g?X;*K>?bXX_N1Y<6+H?T;?tpiqWqj=w>6FLx*_Ic9d7_+V@A8^ zZZpeKGH|G!<7cfkCQdQi?^a_AoTS6j612f`)r5F0YgHL%Dr2c(w8`Dy+NR^OAC=xA zh{>89u&#x$Xblt{4?ND;m0nAsXeozM|9KghDfybZhI@%5pOwe<8Xrs1KOTHz6C3ZE z=24&jjh37~*$ZCyoVr#wY*^PoRkmUWEfZE~6z2!(|B6k;sdJCa?G|Z{sJOwG{v#Gq z`H>Yg#0IS|(8p=Fp>B(>qgVURfqpM4E-C4NRwL&#;MVGj#YKUUs70NW>}||na>n+3 zkUz1LaDJ$y6O##W8hRU)Bl!drX{*E7yb_8QLa3aN97VHMJl)HJ3C4u*+5Xi?Shv+h|nX6R?fQssP8u{4k5ccS0h zgA(-pZi}caRk;le+=+=!j`FSw*Bwr}$6Bdv0IgI{b&{f~^q5K^0g@2!I8cmPT|H2B z0Nk`o6d&uP1<4k;P_r*qlvS9{4f<;!bz6a;u=^0DxgOLN(6@KUK}`j-MX9IMVqf+Q zlai0*;5%Arv__1D`gsK=oHU1`=+N@L0lbJ!kfp)~>hb0mXB;yhuk2Mswc(i z%Q1d7ld`Fll$fH0SzQS- z_;It5N69(jh&gP`V7mugdZAF|KIr4SaOVYMI;_$|f<`r&Gq{^|B$Wp(aI2S@PKjg4 zcy)VJ9%DfR&SL3{*#?Z-GKWK5L&pu%i4*}-Y~wmn;YxOYN2b@gby-^#$h&IAe zj7Dw|FZ#0BY<~zdH=Y!83Nf0%rVDnD|A2o5R6 zlV1N9WA6~83lnf@mTlX%ZQC|(*|v>awr%T{ZQHi(w=iGFL{IcY{EJ@ZG8ehYbDr}A zcf0>(=HS)U!#UE4%j4>4yYZ;&xnod|w^5Se#>D|w{;}Sc+GKmN&Uiiv$vs_pQ~lD2 z-`MNTKs1#LWMq*dA;dt+g?Hs>rQoPT)sW$8{hY5v^N<G{N%hv>b(Rkstf=gi%H$0{<7neoddBs4^V6$MYd8XqdWj2DQ~2b9 zV+2U=E&{etS`uqUtMoVDN6yux)KL*bM-{w~Z`yyQmJg|tOn*{CM0DfvD(=P;@Li|v zST^uro5JHXI?8TG@QyFoFT-Wnn3>18_C7~`2&1+Po@T~4OEY7wL6zCh+!<| zcaDBjJ+^dSqD!xxZM^-Io3s)&wM_Hm+$lJ7&srm7G$&fh+H10;*E#djBc=D5q?ox@ z0kE&Mqm>KymQioSJ#q^!x^sSg?MH4X;t`vtF7>jQh=FEjwyWvh%moxDYyOl&f1JVf zO@04(#VYI_-)NHWwPxvU;`LS$6Q%dFbY}dkb}vFV-e9q^_icoz6A%&0^peYZ2$qK# z8*=;u4n5O=;ZEpQjj^BSwLL9rLk-gQ>TOP1H7$;;bMRyTE&(85P>5c-GUM3PKUP8D zrtQMdJs1Pir|8_HA|ApuOg@v5zSY=%!hLe*K0w7jJi>oZblVb8J6XS4;C8Z=)t>6o z()`myEnAa;Yxu=#hZ4shU9GwE;38Yoze}(iB2l9G%j-7u#g;Q&SEK5jjH^+tPx;_> zKz9;PK+%42k;COBq2ZG?=Ib@v#4PyPXCX)SP%pLh;VfUSh^8HZ-5{hWG-WHFKyp;7B?~ zXq{c8(i6nYvIrUs1_WR8vh`acq$1evl_kr+-Nz`Jq^5FwS#2k^swaa9^1o1!*6T1T^1pd?ongYy&K}y=qln;=s%j-H z4Ys-=tg#uC?2^P}ll4w5Orm-+Wsj52+PXGVy>1?f+on=c_k?>7RpPdnh|>J|K`=Vr zA35H5Wq|f(%iVFUCL`owjTF6K2_X}dWj@oWiWOU3fNkJEa4Te}4m!S0u*YJkCkeu` z+C(gb6otiw{x~zQR%NVo@~Bb9*)UVH@43MD#EIapSIOA{pmkT@J)~%)0$DNk2dHV9V zqAsmtaFs|I0huM>S)y`5vr_lV1vUB47&GX9>N1nriSy49{`~`}d1`rUxKS5ZS@w93 zGM`Y+RO?(4r08x8djrp^B7f78HoW>#tWPrNBd#IRYW5f1iB7mJFhR>9Tvb*&fu=!S z-2=GMMU(T}>ze_ZPj`cf2*=KIR?rA2zu$>PrcqWuL6X;t!_nT?s7?t`9bIFK*QitN zzuViqBn(4hkf-^ZGsytF?{NCeCMvPDGze&N_T9G;j_n)XtgJjDv>Kwk&&S1sGaUU0 zcH&}6+tL}2YHh>bTMW3aiW1=!Vr~5!uUPUtmIZC}2VoMvhAlEcnLU4nwpcVPUO@k0 zjPih~Ip1+eTh{jH$yqKBeA86uCL`eX8pX~@&9B9OF5P%I?x@J};GlERRfp!Ymu1I0 zOCdM%I($#xz#{New0k_8Ic59g)aEU=`!8jDIz=TQOJH)Z1`NOdv1?mna_eZX0>PgV ziSU5lqjL1KNUueok>Z2N?XXEpk3QBwz%IHCoX=hB0AThkZ(mb0F&wBMP+z^w%C2k8_&imB{b@7cFMH=Z) zJCzeqTjVQvEN)iZLFw8Nv4ZDj+}dmLat=18wJY}ZH{Bm7<8n8zX|$jxkg6<5X#u}{ zdc@#xQ#u1L4QAp`I1g`XuAwOn;-_$PBg~b+2iP=sGQOFuZ;>yPDCP@YXa!#d zGpN!n2ZduyOB|1tvX(nVFC}RK{M{-WxHvE&9+_+o+Cyvc@LXYnrAeKXO!Ee!VpJwZS&UAM9nEs}j?l4q;Q(r8~$y%A|J(ce` zK$YV#$_C2rWn4RO;sm>xP_t>&1kmQHmG#aN7v*xcy6PD$6~>~+A4?cZthUg2V}FJL#SQM|C<9p zr1RhuFPG6N@!v}W%;$WhV%yl~HuDBQ^r*{06tketTF#*Be(TQizTyZZh8Wh|?#|Yn zNYz%3j&0VHvH&f^z>h=(<*}>2g&*JWQ&8q1uvQ1Sd76!4u`r(^S+7YO(Qy;skKC;s zgic7sB(ihAfbf3%T}?Y*Dq$Oah9QnLT*h8TYu=sW1J_8cUcQB;(ojm?>yEG^dUl|i z(pm}NCr|HYdwqclkhX%EC_1X>6~NzCU;E$m%KDUSJeIUr_kW9S*LE-iwe>rt0Xit9 zu+g)Z;MyV0pdSOg6O`P2PH4)3Sx;G(FH}9XG{D@DAvxFkopR&J(thhm%^F>6NbCM{ zl+TqrZ%uk8B_7$=yC|IcN%7jHoZWa=vE~kVzpX4Qij8^veT}oMgn6zd*4hAAf41vsJt`$2PI=(MfNl z^zVm%$Y{8jGR;jd7bh(*ti=4iqdWJ96&>K4u(!&>C+wj~v4FmWkyo}u#H3{7n{Tis z$_n>EVT;#=F3u$q9{wTqDXMiJFq{3QiL7tR!wuJX?X1WoJqFKeLKffu0V>%#7oZmQ z^7pTpYI%=h>&zsaUSP}d_HEb>ckH0;h^^g*so9}GC&TD#;qmgpH1=&b)rdksQ~H2( z_?8;a?ekZmi5gCVZlhqar*tkKFL3@Mgj*1l$6%AZ&+)2vFiaA=W(1R>=c-|W*k6_|vzYI3gUCgEW& zA6k!A2SPlusSXWnO8%76TI6Zu+evbS#-2yY&#iO4NZ(H#Rda4GQBN0>BK1>Ck)7j3 z;s)4*)^iDAgM8tXig(EIw+us~^6*a8DD&^?dD#Bx4XEMmP-yy{_PuNEr})3f64U@UbXq`l)mml96$DniPUe&;Az1 zrrQp2J)jFVH_SF`s83PVtkd|K0Gw{5rpv^P6-%9*u@8L&@cPBqug`Nzn}7lv#Qx1C;@ z=mqdP#aSat3t=xO?{g0oC&Qo%i+_^Xs>u&V+W9X8avttNPc#U{+VGt5wV@{L{6qW{ zbH}ACnEw^mb_K6W#z3ku0CTQ0sG-xhfupT?@eRpS6yb39g}0XV`eqMD8r|cdu0l88 zk?xvHnrOEcrjFXXlO$ssw$)7am6jVR$bRkS4-YR}4FYmu-MFLUyR*6tCpY!Z$9^CCd49>5TkLZ?Q2 zpY2L{%H5*nDs5?by{Q*5nKKHZTc5IjtFHIkLNCkJ$?ykkh6xqVS05CX-4}Pk1V3VB z&Ck=lhk=VskU0hOI7|@_HSgzB;E*5Sv8s-h6bggt@G%+abEu_ukzL-Az*)(R-}dm; z7ADcefxhKAo3sCvN-lfTre{36cBG20*HDH#2EX)>QojQa@bzO%Cw#~M#0*F-iVk6f zGZth`I-d}3SUPsWK5J7xtYRR#Z^)$}$dF7GAK|c84vuo-bbDx%lz>;p$ z32GtruBx#Q#52-7Oj;jhVgM^4gySAQSV)7Wz|#u$BGyy38~P%%G5}+`8$#Sx_9|P3 zt&9ZBFB8O0_b!`tMos_`8Zc~6LT5oKe63oMTtRUnz4%jfCEO-%sXMsSk12PJE!`e| zi@3_))}`3Ya;d-lVD#!HKcLv#?*+#@RGjiPdzlDg!k-`8=@mA)d>=T|*G z4}Xr%tu+pCgSFfvG_Lz>Sy_z9^`c6poBue8kx)LFGKu3&7jU9susXX)Lr(&No= zN#^mCfr55T7oiwBzHZl&^*xS@T(m9irFx(6Wl74WQ=>qYZ{5vzL1#>NskVK*lB;>M zfBq>nKkx=xe=9ki*VShrrHLEy?^B??ZjjQZ3kbg!9%q^x#GI?yh6BFZU*jv|fi$KV z($T$HKQCjpK-B%)l&Mp2x; zI5P$Z{ZPG7*W^IS{~G?s1IqcYmRe<^i|HibwHH-HAZ1J3*E!C#4^cNC55Xc(eY%am zqac>Rs%=Sau@P~`tWFOW4fPrtrDJWFA)LJvGAzFiJ}6Ou-yMj}Mi@+JLY|Qbl!CY;`eDbYZN38_t+KBXhj~Q4>z>Q)Izy z)?lBv5pOS^D7tn!X)SgXIQZgkwX;&C7OKRSDTpVXs~ENpa|LO*V^HqDL*9*#w~#UO z!(RqePO)QJUKZ2D6x={1=33HZTq;+T@lXDQ-QWoNGVIKAk$_|W1~4f}Z`D)-2pL}a zPu&G~w{Rjs;hC8RO_GLiZtuw6(`66 zwYA;FYN-Qj_#JJ9drUar^u{@}d3b)~76NBBVRE);+j)z%uQpRv#^dee$)gMFvIbIc z7)9RYnTJ5;ir2fnb%nreqt(q@-`?7!A@l>mGvguIB1!8xbE;3H>|)iH(~oBHvp~Hl zKiOQkpt^^M>}dnD79~ggBNWqZr3L z`G3b~EJU2_Ozi*r^nZqGTTG76Cp zSdtJ*6_Nf$4>Zi8Fb|ZBB$!y0TIFKbBJa59T*uqC&u>8No5ZM8Z^vqu&0WWvo*|dk z^ItGD{C#&Mb}l$_B08uPV5%#ukWg_Tp@Iq`Br1{q0b@Av4v`;p%6(6;2O*IIrp(_8 zrPshf<$uiROqXp+kO-ibMf$*lML@>T*v8V>L`Xy+U^2heNVmkGO29rM_&_|tK=NF0 z!DRbN;iSHN1q!njTW&uuQ2T9Xz)-TXvX8%oplCZp1WGGz$eL9X)+{H>z*u=z)jEuq!xGG4u2POSOi1)!oIl$paWWz(Khd}T2*afieAz$?J z34x$S*Kp!LsZ7DVMcw@bNd0#G=+=lq#17P!8KA?Uj$J(cP$ls5qC!Ri=r+IV{r}DG zI06j@5B}P}aRNL@sjd;RZ5h*?NRD9r4;m1|gqKhq-^BN#!TiKPDUdja zcW?PozY<`BgFuiK{4hq4PQimvKNtSE;aopq|FL4Am+%c>yPJww|4StBmb_9sgtyP6 znIACutJj#&+fkU8NU*n;^qZ@u66^!|1tvxg1VVB+2xM$rKqaJt2X+5@C-7->z6SvM z83G@`I{>=qYxD6@_}y$e+auWj@e%R_`rVPm^uN-B3Iq@q3qnML-Z=Dy{^sBOL_GeU zJ?`oM)Jy#C;a3*w>;E2i{L;Mt9uL?nY3BFQ+ULed>?i~we7R#7{pwo7eAu|U5g{nG zZ2g)GQ{CUNQ4QwUo($_gXzd?;cJ&IGA_efEzrVvf z%z%S_le_R)eA2i6K|QW!1*jx!VSnDasT;pKM(hnykT3uP`FIBUK?VMcLqW!be23ms zCLcy!OXr+BT7{`xkB9b453r~P2-BkbTWRSi6yvZqD)Uw~ zDs|epxYpqHL`X!)05aw(yF3fmm#9caH^uZvQxQzoTL(L2(w4ZUHnc@f0hxK54TS$5 zt%g9=ZddFXf`Byw{9&8uEAB)OCtED)vV!;Ne9H-X14uNYgk_}6gLr-U4P~Bo_;g@u zI)sak7tIK=r1K!@8JeDeG&^Yr1`nNXM5cldmP0E=RgM#D6HZ%tLiU&N7kD?$(w(Rq zxeTkWh+>$l;Iv>yj>k722IW#?y=O??mYw6)ac_1TUL*O+Yuuzj`l;ASL?RgC=#vb4 zjbA0llx87Plpf__TVjzST?Y*#=vuLX&Sc49?7z|JeXOp>vzjEDk@mA{`WmsMt`gd# zlc34J5(Hf3q>Ze*Wo0>#c3g<|3RAl?wXCa_8w*1|WEk96oR_Z&rT4md=2(C<5}@=I zC16=`cROqsyQ4U0|AVy>3$!~eCvEDgKUyLT57&3NDHlxbQ;v`qvFGylY3>JATVW)rMge{jm}Xdo9n-Gfxz$P zqniuZC})ky`Y*YX55F7j;nFrDlaZG-UNi=&bMdz4b6?eB5Z}XrvX17jo)0imjwfZh z3|%zstTLrDXoiQTu=6p6|3E&xgot~ugq)@AYAAdnsa<>``xOHO+&D7A*B2BpE&j%pIzzPfr~Ng z*K;SDtExnslhT(FjF|a@EBNg}zkPD_Mj^NnX~~+QC>x4l7spfnrp!25|1Ht?IZ51R z&!xcq3XGUGxzcLD57{YU%gC--r!)NF{)Th|?qIgFAropaa`!wLV9AEWULK3}PdPo3 z6_u&%Fx{09+a*Fj7}$gy@;w2Zi_}rVB8FQCTk)>k{U^L0iW$V%2gSK^g;d;!xR&O2r zgOrBeCQ~9?{DreyaKsmCllw&8mn)F{hr@J~s?O;fr8@2gn4gq*&rbqy5>Xh(Or}-+ zWhlok&%i(YZj9EB~&MMY1S?6ej+bvtNf#iY?bG@Rx#^@zwlJyQDopY8lIrd|?RlaNw&t zZOwf-W3J!fQmR{bHWH0Zf3;eJ+m{PABz^ZRfe-yU_M}n?+W8UggbbsSs=C&j(jVXxtxAa9v=57T z=pWZ@Z|%3}^drPkfuJUlU0h*+*Y~GxudGyjN0-g*snA9A0?4Wv<$Xo1Q~trLG#X0k z1u)xs5tU}|&R$QYmI#WDC#ND3DgXW|T28c`ZP}Q7!%A7ET-*!;adn{U)W?M7=dmp9 z1Qt<~U(hW#tXA5WYNDcdekv~70iAL#_wzB~)>|MqzZjZMIeYsTj5tkC35@;PH@5 z`aj?3Cpo|SE=|`|Tf64uI~0JsTTHz7F=Xj^j-CJ>mbQZy90Vd)!r8JXr)fRp;g}8{ z%T1ykGO~NOa=#`HdN6lS%@UO{=BdiisZrvSEwt;^Q1BXDp=(V5f_Y3h^JHLIlO2p+ zZP_(P|@HSL=yo(XfldBBObl2k@k!4ZG4QwB}3vE_FFF0#|&gVWNV$(GzRl|1R_Ok&VIO$0Wfq% zfdN%f`-a?f_`aBvZt$6EfxH{Y2+e5@O1bU~Y4TAPw%1Hix?18Qp|8G@Skl6JvLqH$ z5)`q%02}*Sk$xm(*F!s2-JjC^X{?i@3>YM(C2ixpvr^%4tyHsMbeoslxpc9;L+QwJ zC%5PnQLK!Jv@VrZ3y8twcpHyQId=x+Y0Z!^;SjR(TY*7|^jD`o729>7ix~JFUOff2 z*;y%}#6AW;>&46^^gG5$9W|HN<0F#7GsW8&JK{^y_RVTb2r-@b=K6}vFc`Woi7|`s zVSSjYG|AH@MuedZStK*gx!W+qxt`TCBJTpe?EsP7Sw~IpTkVL$V$x8D*8`J!9&t*l zgrULdUXf&@uI-S8uI$IN(&UcYY+A%I9v{Zf)WDXCV~3GGlL)fAiClBv*a>wA z8dVJfmmayDv2rK}MS9Qe>R0zec>Ak*^u03sDXXD>F~h7TTpGr5kLbh)p3Qu?Rc#&A zA%39sYo^gN!gN{X;BicuK4o4SNBUL_AxubHV-=J&*@-d-GI_#zs!O>;GnTEYZu;85 zFip(=an=L3VAUd7$oABvLmig?}!6 zkDQsmVrETqRyFCqNvgvq?+;i1DK!ScuZU~o#FxUlt$(I+E~_}(H<+k&v; zHD(gd@!`L*9|7>XctzhL5PO~1y~GMUz?6Oy>L1@+F*ZSX?^*} zoE|}!nLLY=$3p1cO911#X1=c9D_nFjdS&vfoGnPQk=6I6Qzn`h8HO`NIu&jfZH53% zv0vXRt+vRPA2F}MXnW7!iv;*_cnru(u9|poN2!4g=AVnt%%{(8Vi4G9#Md4s5*jk} z7RB095k^@baLJZ8nBO#DO7uoSQo3~X&{!jHzudtmn|Eq))X(naNaGK}NMQ!j=If_BJI@Naei*c#L)NKdI((#nVXt{jO8Fd00v z|0Zg@(U`C6N0(4?;5%ht>E~8iEHVEv-dl80QM$ehlaTyZ;q7m&NEx>QeUu2X%Go0@ zA)Zm;;=KP=!~P~yYf$a`opS6~Yl)rMcC!5U_ApQ<<~0FbjQyHJ&ua%t`MC#GraYO~ zz@b}=oyUQgGI?ui*pTKu+;7K{u$9u#_F3#E8-9mL1l`nX#=~-#biGgH0&Ul&0+3e% znVr8rw)wh`TYui9;EW2UlM%FZk(+#0g2od{q)8DSa4sPy<+jQqfJ#T3-5wmat49wB zqtv>{%!b<@!$B=*baPQHcIiRw6|Q_c=Ns{7Y(v`+F9JfY`(#3DrY&$fr~L7aT)?I^ zmh}FhcG!!FO*6ZK=kYT)LB2lh*1JbkrLc#fS4$ z42$~t4%y@0TVo~^4vN4@D-!YZlc3>Ls4F8eH};gDBWJCi#?xs?EFITwpYgv zH=2b7>G@W-zI!Ie8t}~Fl7~#hL2_}cS-XbUY z=lTBO{mmh_T^7>5XdE`lhdif;`7WsLyi2@K4UFsG@P#8syRx>*SAF#_o5}(yMO7^7H}MH~ln6OL2|;`6mZDf4yXDk6xcudqk5gkJMy_zF;AUG#xOfSS^@mWXV*PdE=6}=p(M!` zFfRoPMVns67B`&Bm!~b=w!HA2h5B~`-twTP|8{~Q|M0^t*9Y%=qCnJDNjW91s1JDz8|@7ECnUO_!p#lI6H2jH9Jy4WbV_B_A(8C%b} zO3M4sABSqkOjtQjI_*FC-p#L=Db=6%&YZXM*!iCb8w!zJ!g;F~kYy>Ubu*oMgutTt zOMkcDZh-pKAZo}a%E+-dG({0~2l#emjCazi;J>yhbH2TgK5BsK4C8JecY)=t!{{c1 z+S4$naeA&~KjDs|ptK@B(|1+a5$lpTbZHlSNCdYtDP=|*V~f}qDH^r6PAVkMJc=g3 zfiJ_|?=nkl$-!08fgLqX`82*Dc+ds>=_~WbixeT>dVg3p<0b|emp*K#N=;Yqy+R~3 zYpl8EP$}QnZUX2qPa@k06z$3$XUmDFEoj>Lz!&}B%!JXh9+iF@j~cB-J<~SDMUNRL zVW@QuCIX-0#EL7ANfp$!FY05(ePcjfq`$mSvH%jft^On)uL0uL3GxcrN$(uNNM*Re zmeMlU4aT9a#gW1?qk2~G=D|NK;__8e0_F^))b7o#hx={mWBo#Tx7j`ErekmF#Xe_8 zzN53f^0$I!dOF$Mj?Rh`9<1yawC{m(N94{aNXx5(J@IDZbU39*WuTngc_YHBiKt6f z46-urzn_*7>>hk#vxbft-Qj;H{CV7&0ZWvz)+WS8$-xPCkz9OS-Dv{Uae{kZRIR1# zyE`7fu&t7DwMhvq^%93oF`s5a&ix`gQ$`K7$1;;UU*dFD>c$2X!`zm$&D-BaM`&z& zetr63Z!(K5p623wK^R{x;2=vo!RbpxW(tjS&vq-aC z`)9%)jY+~=Yr!2ijDS?~o*nJLGPZ3=6-jFugg)o&uECKj%`df%dkG6Efu+$*8SNmA zg#zE|Ov}OB@H7}PQqWD?KI?6W%dStp#g4Eb!?jOD<|$HUlv_U}d~oru@}R?U&7tL7 z(k4O7&8)ky<1%N@!x&NW$*b1iBz)#Pt5syDR#xgqC|C21mV$!y%gh!yyann&`v13t zP(#8=83R>Ujd=C^{UX+wPCw99A>(dyWc5Knooy$EsmbnrvJ#^wzQT|95{nbQ#w60H zp09M)aK{}2`eS0M_*hsyl+0-GKtv77xKQ^yH_O6#j0$+f5tK4 z_Oks0$J?G{p9uQ5T}KKb*HwlYW}pCDlQO*&kpN%Rp?deHMGa_% zGq$m7LR6o28oaHJtC6kJHyihoTG)8Q-o*M$+cxxX^6^k-v*w*N!Vo=)|c;*Rs%dnr43 zy=VY`qaGDNFZb^$c|Go7JAD`8@s$lZ=eXa{$FgV3os&1YPn4ZB(iDE)ku<1Cfrl-G zk^|PLFn4x8HWgZg`nrXx+MJIaz123I85P9jkujosT-;WH6~|piBL7P~ni{9(yutt~ zM!{e5@gmE0rh5;)%{Dg`w?_6d*8{EiI^@~|`RQmaPu%nZX*+OlzD=SJbSzCxD2?oM z%g(qM&&TjWI_Ao-rIj&G{))Z0;3XUVT>tG$@evi;LtYiQ(~rXSaQ)#=Ghyeq&7GCY zH|eH}uxHmmRnD=DuCqZszBL$}WL`@g%In1wqlk{%Nz_6lm?+tG+F&06XMXa1Q;$X^ zV0uxpuuqmfb1fkG@zX|JhJ}WQsWfJTH79PEs?&f+v>4Lq0Cv30G83W<&PLa_! zl;3yAdPK&Dhy5+s2>Y+I4!l>^B=n3OZ{^A}SxgXW(m7i#W*nCu1PmNgdJ)X~3@dL+ z$HS`XW!rLf6+$|9j(<2VN%6)F^5)UmM^^Xdsp|``ul#i7kmlWS-Dw~i#ZsIGj*M)C z0a5YiFGS^y1aAis8w|9sne}?5K#fy$_z_)b(ILl09xLV9x(%FD%hHV1MldfG=6m=* zPG2W2vSEZFnX8?C?k>e4o7;VhCmmS3#WPSK9{DsneA7hfSa%{J_~bKAl$8@UtM_WV z4qHgPkUbqRJ}gC5{p>u5zc8JDny@g^p~nK5{pi4G6mcG!XKS z24)sKH6TxDi(++LE-DO}AcWpV4@#i7d|rF@pQ7P?BPf2?s-gGOM+5mL z+}5Qcv{J1hRIt|CuE->Zi0>`zc6mwhKDr|zoG8^bK0FV_IlaJ}jGW!4@C-RenGO{S zdh6JAEjdN!Rxb84unwVi{P(`k1YShfR;h$r9+WW|8%ZDrH55a3`hMMl%ePug&?SpH zvnPEig+~jkUdf}VtRnlq&eR3@fOc8g*f3*JCg*b*H@INsr95=`eC~t_x+blK$*8z& zg}?uIh~es%!Enu1Vz&*Y&S1NjvFmKJo9{(;BiYOTW_0v1FXfhtY-&rd#Cqj3d)FT6 zZpClI`yY8Re-TAGU7c2#M7D0h%0*%fPR-(4adG^0uqV@|+4WwejA()!Z{Q!K;?t1$ zbC>`bSy5(Nw~{B-L(#G1{SB{jch$W5tUX~Ai|YDAN`uFenG&}svyc>~=p(M4`c8+* z*f(Zfuif>}&Q{uz+6aCLoQ#0=KlmUNj8i^hL}E{Vod=IRK`Ia?OwQD7$Qv z3Ld8WomPxiRoBZ=F?O50eUh| zAs;UF^l?S};&Zu(9;wJZ&}0{kI9_U-&$*IN?t_V;}IcQ{2BEF-+J>H_b`#pXY zFn};ozr@_v47@}AM;r-y+-{4{CFV{`*o?hYbdI1Sk`;scM$4J5c1s(7_}}-DNeh1G zGXf4>A+j=@7`GG@Io%7@N$$XqC8END5=>g=?30x&(cPA|O>P8n$G6xU(*1M(sFw*% z8(%-|8x})uN7QUBMb?s}8FPddkj-TLq3mkm<2@))sEntZknDe7JR&EkkJ>(WRT!VO z9yUiUaJOIUU72NdmlD#uYP0S1d|uW;fYZ8~IPdSbO`)DjF?-a}zx)FW*St~3K5EWq z3`Ol&g!J|F4-vC|1Lb}?8yi^a+9*fKf%TQID!!KWtQE8r-HBe z7alTe))CTc)tYjh=7Q}c(hx@6-YAPr_}1F&opG7-V47Zf6jYbk`cs=5aSoDW?A+pp z{`*OCVA7tcO5!Mw=_mTj7jrlB_K&`t!vnTKm{{Kfn#Xq1F5*p19dgexo?#Q62@9;R zr(pu=G!byw$tl^#*kg~MLAODox zGM+p69(hGn#B+2s8Bqi23hJw`Uq0fTX*ldRSnc+Aa+^?p7!s)+WI2vm7M-d)9nAmY2WqkrFDLt?0D?>rqs5 zlx>Cm-)QYuaf!|;XKWJ-fpc{v?9GtMs(`5DjHBUEHJk_QN+0*RLVd3B!mErO%`zsQ z(IfJ~Kc?v&7XfnTR?^U#RXa;}4}DSm}*Gz#$^q2;WrYs5S!F5x-Ny}rWMD$ zfCS{!uBY%AbxPdk0-zw{j{}0)9#yTMAqJABq-HYmy_L*m-ykbZ8e|CE_%7qU3t%2# z$|P~olHznxc7^=96n$31jr^3egx7A&R=A6DMFPAsTmsKNQgA+2@Wv@{sMA&yh4De9 zPW(^!9*OVax@x-&v-DrcPB^ET|DnLa`9Bpn*jWG10tYw8|F=B+|0{5Cv$6kQQ_-&A zYI<8u^cYYK!Xga_13NoAts%Og@UDUOmN*{JNMvAZ`^4?M13Sc0!Qik84f{x*WM?@( zdp*DL55McC*FDwN8nsoer+UwGt*#rTwZ>^i;8dU||X z&(A_ogTP<$gfRw)a2`SZ1th<)#ITSdNQeU5NQb}`2q7S9diX%w-9Yxh$o9g>3=BYs znCbU|LRkNW+K|p6TA<6^Kr~EL>)vF#Z6N5fa?N zhKMzYsD$uC8$fvlYAnH>fzAhOh>Swd0#b}nnnj6n#JITsyCt_!90MLxdo36%Za;o- z1L%36e!nAU1N;8lI1qdS>HFORSHn555O3s^A+UZ1{2)FUBq#wM0un9L@(J+>x;1<_ zD1ip#IZZV%TW2e_ad^<6Om@DE@NVdy~l zU%%wk7_NbF7~<=G;L#npBM2C(opyZ<5CHkJG_1SH!)4;KA$cZq1S z^f5$C0AyMR`RN4O?l1WJ$?9j6!47x1|KaeSPkO2b1hS$Ir}azlVJM7^odMaOor~B% zJ2VBme})bQ1qBP_``a9i0rlvC`Ae&cZ4C+v^}BLC#PGe;u(bzg^r=fQ9r#;Q3hc8_ zkJbO|kd^KD;G)gn-TvD*@k4p?JNmGv{*%x4dl!eMhmZF&ocROtMd*}3Iy~^?FbwLT zkBo?;6v0mg{JE#(cW*eT4yh}uhyTl46$`{~DU4%%bzlECw4F+buYXksDKvG5(EjVh z|3lXT0f|Zr_7vp9uNi2)qoe(Y_LYc%77(#DbP|*lAhHj6^K};es6?Cb;*j`o4+|vZ z$Tf}{a}^}b_w@zja0|(<6T<(KfYm<%97ar_0))8q0b*<9ShFWdLkG1F_U-;{1`Wzp z`(x(h0u9WC|6}$D4aAj85C>=e?EuCp7`Sv2|3Rp)-7$E8xcDWS6Os1Y_`3~i)Bw2- zV`GnDPLA_f#dEx5R>~H}3mDCKNBa)>wev#P(;%dp6(iHS2R z_nsDUJq{A|a~BX#VfR-oMwyB}=^~r~3~X73o!zX&uBlKbjFpDu#BHBbqhDe#jFW}@ zn|4ov*}%LT46ZPHV9eB;#*>;N?O_ubx|s`z#Hyx7O?2Y!KMO^dJonYL<^qN9bYf!V zaHY@Ds>*%6@8vUVb@I?unqIM`J7?a)gBt3FifGoU?iw+&^z?S9n=Q=6zRj(?{jMP3 ze8pjD(;gbuA=S1`&`tuNpI*z>#3^`nQZFAQ|I+kC)=hQ+R^EG;QpU<6>}?FA{^L0b zFeLmmb$slMzik2=xttJ@;ryyh7G_rTNVIJ2?3^}O#)`2qu5TND1F3dU!57sZiYYZ z{t8+Sd@R&qU+0iV2h8EumS)!sy*HULF54A%=hE+rH#ygKID_o5Q!MAwX7-Q~3N&b) zWOi;U>M_=Gd$GN!OSy|M*4OQ0@zmc${u0wFn0*UJbhJfO-u5>K&IwM=GHHuQV6du{6{ueZ|k8`rc5Pll!o8&5+rY;Lmi zGnUOeQvz=p1Jp0!)EJ0kqu7h`LyvzBk)yuF^$^}ilNUV{ICk}%@dZFs$aS@O@5JRj zxM?@9eMc#|7z8h+iv4hF)N&=<(|1E5Ec}zbD@qC1A})kb&n)U)aZ1k|&aU@{ zho3#}Yfqc^ojkg8aMJOlEdHuAVy6_r6!O+hp+7I#!I>E|3#&=t;UDriw(gFfUw#Gk@LhtUU0bK8TAf#L~VwaHn#a1aB5 zwhU>CkIC4>_~_2zyQbZYX(ATwqwylqOpk9T%V<-${mh^@$jTcK{Cr9lq!su38K50d z_~egV_G7u&Oa>M)cRrrDHzuN740U;LPLDx_;Z?`H%W6kOdOQ-&$4zrCb)<9w9dDoL zda6R7b|p(*|L=Q6@PfvX0)BvL%F`b;Y;e%-%D-`BDRF2_J0W*ve2YQ7$y|l{ycOti zGxxY`+t`1pzcI=CnUzUpmvlU#(W~IyBwbK%VA2rpv+A!!ts8{jYP2UHmzPuF`Q~Jt z!y(Wtt;tGDLaf}vv~_$d@vfbtnOi)jEAauhYYdz-jH35+HR_HmNwVMn>?a(P)eenqz#F>6n^d*b^p%b^b1X{D?HX3<{`6UZRHx=2?%?>7AnIwiu)L&dSL|)8qi&rFF zGf@&!QKp~FMm*`;ax`|CD2v(17%*)ZlrprzPzqQGBNkts_$!K3(LV3@N1^zubm?3& zrm1PEmCfyd=K1b)n5HeCekZ@4{3zDf`2rdb#9u*(CizOJ6%Ge&!NcGF67gcn$sy`r z``#?0$WWxo_IZ<5Bdh4$ATWq&ifn<5LqEdal?$}4IhRBD`6;008 zZQ=6N&#;~Rk9*eKP)NdKf6^>ri}YIeV04YX^Kl1-{(1 zE4N<6h@a98>=2@o_@;#n&vTkT$3aoAf*CP1(eOkK?khRvJu%M&kq8M58-VXO@xnZ> zYlmJIe`Ei(`nlR;?q%K|V(Tg9?v=R&_w-t{;%qx0908DkF5pLaNui5e3I3|1DOCN5 z(PLVO)Lj-__|aW_JX_6J-p8w$7ott2$OCFTki`eFmAfVHsb>(5i*zk++xW44Hrod` ztRi6D^MV4v$AMsl6vOE=9OZM>henTr%g@ASIv;UR!d>gwd)zQcS~vAlb`PSP{u$#UKcUuk3%=G7 zEZn+0=)i-$X+e(<60F$kU7*x08i(eobdk5=`$6@(O(8e%|{`7owA_~Zn_D+$SY&W zh%Mgc#!e$4_tjf6gHIvE+ZT$wFThYDyR7?9Xyx|xuu=C=&)%eO74Gl+jaM`h$p{$A z0fR*m*pJ8shP%p!THsG>Pa=2pK)ZLhXm%kAth$TZ{->u8pWuLmyr@sDGY2 zR&6ZA22))DD^I#vnrD!FMan#GNt(=$S-ncIVgSpu(&lm`3I+UCLbISD<-479kXtkf z;=3QhVEy6qzTgPWdKRuhV2w--@J3R*#eP~Zikm7GiDg7|j!b9$DLyP`%(|%W^%UM^ zI5iKPZv+tv10V8jO4D1QwI56cKjnO)-@G|8 zHbC*;g6KlgBoKX)T}&U7@I}kZgxlRgHrgXa=r!1DK_r1e&eUdOG$Rbc{bWGIHIO{= zVSaM!6R0|FAq1B4sAsW4EC)jGzfSavkaGzvZ#y6tQMAsz8v)gjP&VI%)`wL<#Of<6 z04Io zV)&@GkaJ9=#8$Y~+;&9Ef_A;qUE6XtYGS6+`MB{i{`mMFJ$95ytbA+^pQ2;tj)IOn zkDChx5f)8IaA?i;sN0d`KJ5d+BL*-z99f_3#bZ$8REEk6V1Sedpsue_6(qikN1}zc z5+QcnYircB&^(b(8|VzpHlx`-w5@T$ACcc5&xi53zS9VRt<3bRU+zk&{pkta=?HOJ zRXwE8Z$OB^UB*#J=<=Ta=s6UjJZ3%PIze}i1az%8wYASh%Ee{ap)TNcwCRtX6EkGq zxqgVAD1u&dxe^wUz7@hITm|_$aLunAQvRma85Jn@-|4}UAXU!S^(4WG#8yD08GO6r z?cHxGK})?V12&_R!L~b_GNE)+BCErz5Y}lr3oe=_u=G_Q zsm*chf?tt-ML+tTSj_zay15dSmX}CUL`UJS%F^icBQJmnF^=&)F1C)9AiK(H)%p~m zU$v75R7-tHmyI4J4oD^iLW9d-N*0Gn5stT;R4)Qw@@cDa%!sdfzJKjrkr8-F+VNF+ ztdRcnz{s2{&{aFdXL!JCw$W{4Cxs}_E&1}4>{=dN!^E}w(yo~@0f&M8u_~Wiy513u z%`5(yP@`y~uNkTJbXh2UujFli)_i~XBD1Cq<$GJ73Xx9uh}Lr=alSW|T9}3KU<+!S!$Cc%`0Dpli(}3mTmpwDBO+^_gq^sF}NaoTSF zzRA0zCU<%X=u1nOC3GY*6uzh|+}2U{Y?qAZ@y%ZR%)!h|BkyGOd8z=fg%y>%gqUVc z$e(yPy1F+VORI>D(%OC%y^PkJrReG!&w8P`L%*utn#mSG=$3FInw$Yb`_2BY-%r;Qin1Jx~WBK!NRhP(KEEIPuc|FHUw z*Ak5?A(&n;?1T*cR#ic0-TYYLWy2>u=-q1;30F64)?l9-NY8FcUM!RZ`zS=&cqEe* zmWHdl8x{+>^=5SwKj{oWdl?O3p82%^G3`nGT9 z=MZI3Ks9dv%#FDrnd$QslU^(2MxMOH0A9j2I090`+WE*9CY1e5EG*bSeuNrjYLY=j zXYzz$w?xx?VMKhkM48L2zoG|eO_9YTb$%GvlBGFd&K?oh_E9Tl%PG4su4Y&TX^KLG z*@a6%N9`~7BIC!EteAXp!^%!cV8hE|JeHU6MLt#zzgI7+$)V~+=OLQKY=#N&MUx^@ zC7ZB!!}3CvL*h3w6YyCmmV96BaG+SD8OYqT#<93B|9dItHw<@$P>&G!&OMio$p#w3 zS?bDEB@7wAl7&U2V0i?0 zy$)=2-G_95E~n8GI)PC+BB(YpE)Qo#W|NX90DEAD<#WMz}%ZqlMtg!`yNhBxE}HKGn%uZXd5JGi+c0bO5F|; z5B3oXLJ<$~6LBm36^-(q;;QZFWIm9p4a)BbJ7MPx#-Cm+J|h_l(snGy| zTEsPtjd%YH12evbfJ$Gjpk>oIv*1X%6npm{O}zr(;m9@@JO6Wk=9FIfayX)9DlU!h z*D#2-qscm~dckF|S9nJvq7D%EL}l~{k?lXX{*#T)xz`X)IG0KQ3hRs4J&}fz4h&Kf z{RjMyc}jHAT70qmrWtCp%q}h_N_rC!Qk%0!dWrdcR~j@u{Ax{5uZr1dDvFn7g9SV~ z>80QNdc9e}y3^d7;0x=>!+2GHJ&_U0tD5@bPF%S>WqWGggCB#v`xTn_@s{4pDj#2s z<6lnQ$zd)tm60WZNn6b%9G`=)$~TUGy#;62dK)UN)@Hu3EQ-G*%OE`NH6;=Of|f*r zY91?yKVxOu2zs(l%J-3aBv&G!e(LluF%?5<^VL;lEhBXU!q(v1Gy<;In=G7~r;+=A z_pRIaJvJssK)8$~v%mx|j^3M1^#@8hg7Ohf$6Go-=*ulJ?qwRorlhLEXLe8jzKJ+z=F`Gz zMYfW1!+(uTG&yezqh)`dOuIjoTrj(^e*+1hNv4Lz5h)_U$Y;pZ5Vxt)%jtM~5J~X1 zmS*ncS6&x2z^Lvb4ZQ0RJ4d)L1X#>@H>UM1|9+`G9CGup;{q9{E%DU{H!I=$%r|4G zp{#culKd)-jju&Jj8Mi@g zeLLHnEpGPiS5>__6=D*uvB!-E=R|W&7uB5woFk8UWRy3#eqN3$y$NiI1gEXuu>w~o z>H5gEBXtYQ2NX7o`#7wD@)8#iMMJNYNhK`nqMPO`+IOH)-;oc_%@M(dYwf!)|x z)^0z6Jk!RvIPlL?wJ_>pI?1j$)XC=!x4(rUzblg!!D~*xS6X$XF8x+2Cs95{=P1sV zlRaww-f`O&TVP#T zf@USGkfFVino`_e)4|(|SPkAH@|DxbP(}9EBKzFFt$U9@kb39?>7 zdD-$3TuSjEB#%X+sNC426)?ccL7P3te_$U|bA5Lwpa5NmIG8SzJ;JMW$yeA2Iw?^~ z(AM`6-H&M(?njJ0LB2i)K|&(C@W{ULX%9mS)k>o>WlE)1e$6MxjepC7IN(XgHRi~) zBR@a0uvlB_r?}zYmSVS_tB_wSl?(IG5>io0Z7)QwAKHgSxn*usA?I<(WnSoO`^kg;5uE$DZI?XKpyr8HR(A5d@^A#y1221Gf z^X%XSqvna&N>Lq7xPh=VQgJXy^t!#MC%Fwt^LeN`H8ge;J4r+-?x&sTM0*YNbAD2hgWkr^4j zTxGNqM1YM)6Vt|psHeH^UYH3YY}ah`Qw+?ykT`H~y=a)0@e@AO_ju}^7?{t*e+pA?8P zd=7;u&=u=Ip0Rx(-u1^+TBuzg3w@boDf-4rx2t|kg071Wad4FDGGGFG2h4$Hxo*#^8CWJpbyZf3H z$>a)JqG+=_HC;4|rDl3v$<2ZKb%`sd^KWeCKPf7#5CWUGY{$O~bhB{d2SK(bD$%XK#AW={5XK7jf0SbSeF^zyV z`HAfV!A$`I^FN@qCoLbhYn*I1xJR2w+SL*dWt>S`?ezvNHSX4yAh%cq6ERaKQByp8 z`m%SeYTjM5?J^_^=!!IRe^-ZHv1ETFV1M6qtc3WMw z7Ry50VEhh>5_|S13q8@hs#kG>9?;&(h6~y&Xx{H!_rxzEiP+>;5^1&492a8NyEd8K zq7QVxFiBf{JRK>Or4*j3nQ{u--;QM@uE3RpWCg zAH>aNS(*9iVXfko$(;)tev@QdB^59o&t#4;p3$gIC6w;jP4%&8&8>#JX8^v5gCCS- z<#wf}MC|nOP0-@b)K21S0Pm@Isph;qcaJk);E|!fE)wb(J*G_`iRDb7rp~7WkS?5Q zk?BD@W7k1BHdxDJc-@CymU)8#jJ;~T_>o$_th@(&LPgPo3+nBNs^|CbudXe^Z%&$_ zf1qcAgf;rpOa<-Mtb_^yGX##eCopS}#SIE%hlqjWh@kphY@Bq$G!n*aBZ2kB>jiIg z=2-4Ck4_VB%I>6)nWRqVn#{cTM0mKDE zn@Yx?sj-%i18-%(kH=%tv;+-0IyfE5&`Iu^fxK&oH9cSF8qMnb zVl$nmWTUgolIjIJGjrL1Z`@lv0VG=EXpMJ^+h3}O`R&0POSe;G?htf5$xd*A1a%+X z)yUC7-$5xjx&Xn&Nf}MD0`3rcLiI@MhP7kKCwlxl^d(BP(3R?_51F`1Cl)rgj0&jkeCcrnZpnKIzLAp$vOy z$MY^vCs0L@;(T?cfQJD}<*ws0qXR)xnzafG*g;aXERvN`td4YDt2>-Yz@c6}Sv_#BQ zs52|Tdc#=g((;&P`-TXc~c(l`-unS???_Hs!{mzU)DSYF@nVb0=OU14zb9_ z2!%Mprd|-c)3WJNH!RHeOIEVAZwyNta%)bm2rcGPr&@5Maw+n3Q+j!`;L(ME1907Y zY@Rp~X4%aHA;tKFcgp}lpt8!$rK_%=s&kGIvh7%+-Cf-R^OK6n_E(@J-8@;Qu{Z}IFOfD3iT3x+k_3h#CAE}podE3^0=h_-ugkdt>f=QWL z*vV}Lnxao2Wo1=2@hn05ymeWHPn=f9?U!!s^}=DQ;j@V};s~hYmSbf|($Y_+AO|rn z+(o!<&8AoZ-*jj~vl?vY0i}~L1Se39 zQb*tqyPpcr#y}cbFz^~Zo56hLxXA?S(9tPkG_d|h709XXnXHoLZZvu8rS#nKq7^SW zgY)Nd^;tyye}H_U3?F=^Tt1xy#4DMW^4kHqHF?yj@JbwuX&Ls%G=-8#_Q{5|E6o}X z|MNrB*8yS(SF6%rfad`7pj5wYphI*!0%}+~Zq)1_mI0Z$&hJp(bKMeOQi#&3LtJEn zOxsb12T}^ZK0*K{17;$?7a60?i^>zXzAQ^xFxFX>WOA~M0MW$}ZWLU+LI1G(CBThC~o@ zD8Z5x(q;cdj*YlQ(&!N<;s*EVVpcT<%k0SP4RC2b zw8tYhh}>tbDIRGADPKTDsOwII46u9_3@q~dHxH}jdPU{=j(~qKJThaW`^I#8y=?lF z01~hS7$K7WqG1?3h3UZy1&E;9x?v=}m}t9fjK3(heORvSfg5~)!nf@ZymB;rc5>GHE;=fd~**SY6*iqow2v*+g8v-Xn{!~-^F zScL(En=iyiAQ60~h{pj#Kptm~Y_Gv2JOC^3 zOm={iL#dDJ_X{LsZU8_>?xy-I&Ou-pReGR6(L(@U)N!aI2z8zUy)Qjr#E^35SBfyi zp;#gOL7}{?tc+tKg+`8mGaDHVl*bW8ybnTpB$1~c!@%A|0RK4hn>CX|1c1SDD8ZjA z8uA529t9FQ01O=mD~ddr@Wuls6(nF8(3n=YFCcvQm*nz?Bpj$04m==g(7)^xwL1+W z>=!Xws0gxF1Z4+1%pKs$kxruzpn_WNzAzk!g2yZ_+=&pm&m$Qe>NKbk7?NL098e+! z8UQN$Zq>(x1yZ~?et4WCtsAqz+p^DCZPa)PqPA9p=MT*K`^fkmbwZVbx z(2v8w>(m~MAD;*iVm|EHJP?fxmgfKg37BW%u1Qzg1Jen}`eB!^dIzXXN|8_eDC6bUVEm z`F7isdvIrneX@POX;z`%?QLEfFf-fFy?V4zP+Op=UBQ#L!9xiN9P~6J2;zd=KXW7U zP3Jqg?R$3`!a$g_Nam z!H0iB7mxs!a`)suY~vHb@?&>I#P1^BkbyQF`~@)qE}qaqsyKf^O##a%^%1IXKEMYI z0iNon_ErQS{jGv^?sUH=Vco>P4#6&w1U(TM{27Y@D9-62+@yY(anf@RBnEz1=`?Z= zB;Tk3u2v4=lL5Z<`~?{TU*X^CJ_S3IB=(4(jsNsbeuDpcAU0^w(_lUHqy?x!xKY8? zYSF9gzo1~-C&hC;SyB4@*|}=sDjQ9M4zvo7F&&Q%_ePh3wY8uS0 z5%)nRI$Gc5ui3D-XD7SZbQE!P4z0eVV=PcsHnyaW80Dz6g;n+!H zDGB7z&Fy^|y1xYMU(j?E%WNqR2gYe^OpIpfU#5~=eyUud`n=m6nct#Y>6MuF0)fa)PL5%;t9 zV3v-Y+%c)JA)DL|pnt=v@Tq-kGV`{}9nvUUh>V!OS~oxplWrXu&H#5&J%7yeCz4EF z*kwVf6w(N<2y=a_;yP;en^fX56;$)fKQ`8DqVQ;}X`O8rme5#$_lr^8@SG_JpGFRy zZ0l}g%F}D(r*U$zY}$2ajw#Qsu2EFtTAAvC;X{(Hk}k8#634gkMYwqSXx^P6!ZZ6# zAs_Lf<@Ke2wW3tw_?-KyP+c8y9ol!Ghcnr{UtdgbJK7OweI(&a@Bo${mcSPA2t>s0 z+Rr};GXEA|ZhM3NI-VRP(hfPU6~>Cwv|rkhe@X6OZCg7`>lCtTz@&q3n7Krv@OLUd zm{8b)vV|;Z;WSDF#Q(ky>Mb|2JrvzZ!Ezh{tSyAPK1WSOH`KTEbcIi|BlD+{VWHoH zvpvNyae(f=^cbFApp0T&t`wQ(%^TU%{m^(yCf=m3iVK5euvi?44EiQStP+@2iP@io z?k8Nl@t8M>uJcVS;jwMS0JsZ){_Pi*lXU^2T3FC5xz4e?P z!VpUNvD3rIWGZj>?U4VbOmt>@Zg$N+umGIOJQj5-`94SV)IFan9EoVRTJ|u> z*qA*3U7s~?dg>#ON$DG=&xm4_)S5%_?cMu|;nLyq?%w5LKO}QsKW*1SEM>4p&p0ss9RyB_oNYc-Z zCH!?!FSVL)i2DO3Xz~1%NbmFwMfhIq&cS%=rWE2UA$`_H;tt#Vek9veO z>!by&!$@?Fc~rz>PmtnhCgus3w*24_9HpdwpD^vLLe zz(-ZV8n}3ZpWpaEWL24jRL@&u16bh%+RE+p){b9YbEnUn8C?4>X3Vw&OWZ=wegzxK zPEh~0DcQ;SLmg4%I6Nij+OGOet`*$feU@xK&d3RE{}H>b#7i@D)c$PB@ei5OU|t?p z$*x^HxL_0&HoLh!9i)0PPg1IOcc}SFDH;w(7S^rxQm4{kLkW$CkFv8=Nq40>SEEwP zOuC7#fQdc20{U?`%ArGD9&r)D)aK>Zs%CDxy~wv2{1UbpryQ@F2cD*HqkazHVX?<4%?{95L1|#BE=1 zJxoSZxvF*?uVrf$kw^rtH=x{pdXo|j2Mszq;+rnVkCM(=b-{|`??S#;GF&v%WRxbx zZ^rKW&^84TMjXxL9zvN-e>NjAPMn4VB>PBmEj!a#TIZK+V4QEYUEgghnb+^UO(B$e z>&j4K|%Y8D|T# zvwd6ViEiurT)Mf!8LVg(T&`GMd^6oyxy%?oU2VkKj7ebS7CaTgZ6N*H=q>k<2sSlI zwH0VCg3tTdQ|a{>Zkjmv?0FgxzS<&f9j1Z|R}Crqj;Ardo9WSckRYkU1$cSXEscRL;m^ zkI$=^-&G`3OWg<}*Zl)__`2PtMy!5Q@VznNG4?Oc++ zuDpGz;#c=KUS(Hu2b)8~iLuYODRD#n*` zO>TTS0X`+GeWcUzuaLe9!0KJjc+^f;7NO}1C0IJ=ft1OtM3-O1okH{AEq+;c=g<2o z8oX+e+w$|BZ9R%?j?UodHJEIzK2At&GJc4iib*64yIOy6SB^UV(dRoq25W2TQDj6t z3KE(dUa*+^UrTEo1zWyTCiN=QVpo0w82QEvK;2AI;6mYofrQg{gP z1s8HecOv_mPxZ`@eE7z+?(bUhZ;?T(dty!UJnfOGeENI7BEA%VA?)r3EmEB=%14$U z1NW^Mj-wLqBS}9|j1`rW9KOUD-?u%B%T8dw58}?-JRWn`CttM0#$E6tDBD%ebFaLV zR>elbZGtzF$()|g85(qPOlh7Lulbet`3$cg&^txmafa`!mR60U?f0gxWiRx)8rY=U ziK%|EPG;bWJLW*94wh50Mt#vLMxRmqWku%tWgKgr42h=uu_`3BpJEiuL{P)(p;Pv$ z#K@Wp4cVk=@;K3Le!tmbtHN0xOU2mudzgWQdYJr!9yR;gI|Y6;MrM=RW)80n?$vY2 zn+$fcdts##+50E=^~GSC8?6d`w2)nGI9P9EZ%MJ9kc83g{PQ10ud3(1tj#(?f#Lch zd&cNX2pubt$@5P4p*?hpL{9I5_u_`3*7_-9x6S>oJnyj7O+4v2wz?dAH);|}p}6r? z-Q?GOFGt^@&Wdum^Fnt8!zdp{VDy2w{hY|+r-rTRfiRi{-$+eLM)F!GYq{<^H!Q?w zZv!-9ujd^J%S3!Ou0pYy_diHcu3A}_Hu+S@Mp-B|Zm|jTh~$U*rErpUUZhoT$#A~w z$5uJg@eJE`O-jn2LYuUNxVplPveDsX0>%^Rq3Z^-8B8lxIEpmc;pqWfrD-zSkcGbZ zoY1Qang`n>eB-?_8@>pmTX=J>YyHeOlR2I{7j;{4Z((=hBFLF_%j6p&{9 zoEWMlN^gp)=V!#F@BNM_540`ar}`ot3a0v+tcB1X_oX~HV9-S5I-iT_akJ6bN}+an zgup^rP_ty>yu(|HYi&;+{2nnc3ohFG+{MV=#y5t%Ixh&%gRLj2&7p04zv3JpYaS

&@$TUwa&4!gNpT;G&yt~ewH zy2kCesq@Jt$P+2MX(+T75JsA0qfMVt6fxjNR`-|9lBb5K!$xxBCr^TT*;ApG%IUdY z7|eE_Wekuw`1UHZqTI#=%o^0X0l04J4zxQnHzqkV+y^KQRwUV!<>DVh$t5^_5jh&8 zk?CQ$&OI-4fNyRUfnOdU+#2s-Ee)}TXO!!S9o_ae2+W}yCrmVo%uftxnWJ*H!(GRg zGVkMTMKswd3>F3~Iy1g=CyMLaVosW@`p7@+z|RkI!8rF zGZpW?eWHdR@5WtGcku;_I5~=Pa=3>358S~MIsMZ(4J!ICaz};|k|Xzg*=hA$;zT`N zZKJ0zJxysEOx)t6$mPctVA=WVyjHY5=U2fa)OQgnnR&8NGLHHXsp0bJAYTAeC|tI~ zeJ`}0@mG?+c4g*KLl;{$D(Rzk@yTrEemEw#0HwGla$R(CMB7bH@r1~g+$9sG3ho*| z`euo>lvhUg*NskLN!t5DllrK3W4(arRk(vDnSJ6p6vtUtz4nq$&&v{GYXxi8XZ%5> zQF2Dx>GgYG*e|>I%v4&m#|F0&o_Gwne9*nwTa^ytGWAg+5kHq0tL#tQD;1S0;48#SNB)YVIDdEZR=RGuE zY6%(=6=XHvxjlc$`@*oNe$mS#WMVJXo+}4Z#+u@w>aX9JCm`K9e{Y{dpVkSbthKH8 zKQ+*%hPH?9_B~cbF(}z?vX=PwwJ5d>)TVab^C;)lIZKUv87lUlVd{5_nmrfTwYJ23 zL(<&-G@z-8(tp1&m<65kC{}n(@Vr>@3mOL;7Fdf1*c8R08U-;*#5W;63G~?bZN6R6 zrfjY!W3stAL!5+oybv|8>o$mOs*&UDZD%o&55x0QwBePq7E zw2!%Y=PKV`@J-!QDt2QrwhsffM#aOFO3Flh>yVey?S4q|FJA`3{%pc+g3eQydIc83 zAzeu^&ThT6kXso?|AKEYxYqpdc_};Nf6PnSnf^yCk(G(%KV_|~9L)dcUTIq=Pz7wQ zIo6c}1uBJV5NeRt!r`D!P+BD+AP}J-kTQwD10^X(cM7?LgBz{lVO{89-H-d7&z;Yc zy!X?YEzVAFx0`k6vjWh{D90&(Zo|Yu;PTK z)AJ090emn}bAju?9`69JD0)C<0WcFg+lY3iF<|vt0KalTPY5RpZMa*A`C&r&I(uj< z0jqR$bV_t`Gdi&|NII{wTnrchwy?k&1BeU((V?XUi5)-zs)D-c`2fNLIMav#vgQy# zc7O_hwEN=a7zp~1jv)lTkO62EBq+Yxq;J^%01lQNOiwt7{ zSW!?;!a*#GuBH-x8>g=KAYOmzZ~ZZ)EFQh_i~rSk&D?(_1#yoLZW}1ba(wJqNjnd9 zi~65F8~%PpVZlJTw|ti2yWNg{#|bG)gna(;dGe3!!aD^&KmQe&xca5-+co7Z28DtW z*ZNm^`l^@7E%Yn>rMtos_S?k!8~N^@1<>`2UX@XVyKfi3&ZFaB13s&Ns&De(PlEt) zd@?>x{RP!GK06A$huYRF0`j)=&F@5;jf-n2@w6MdJNsb&^-9!lV8;L*bWWN4M;*bm{pWLvbP$O`O{ z0%Lxp&w#_XejH_4l+HLI#r^y%MeW2?wEo;4hgXUl+BN$-UfAVe>d9NSMKJKFIY-Gf z%*T-lbmy)W^w}03k5=RthhLBiKvn~f9CI77Uu{hqFGdU8>^oFKk4D}Y)bx!W@tRpV zQ_~#vW4#U(6R+2(23a%vZNxL*#YFwq3$%P5$=tUI4+ob{%}Cf+M2g;U?{R2e^*eo~ zQK|f>2KaPygxcSCxi(5c+cQm_EhanoSxS*W9F(I-JKNB|esA8kAd>-FSIs~D68`HA z+`ipk@-RcQ&^ju-Gw8DihRxUKCDrcCYmE5eS#}LNOu`r9?Wyky`Vr^x(&|xH5XU82 z=Db*1!bJapW_a_#?{r^jJcd8)rFd?!?*yajfUL>ftP4hthH>%*M%>8d!F?6}aAnh) zI2C2#-nto}uE!PZuwEFcIYnLi8bOtcQ9jdR+JbHgG@hH@%})%q%)til*5JBFYN?n3 z%IRk)pa`FX8=dZgrsX=kuX|3Nr85HsQpe5pbq8&@n}zoDS@zhCcOO$Wws4A?8_2<|JeM zC=O&NGSEJdv95Bz1~}UM@XCyyiVDDPs--_HxGTCGV%x{P3l?m~f!X2q zlpUu{;V4#_WD%qv=-RIk$_lq5c6dyB7My&5Rbl4oSl}s>WIX9SHx4_OQ0`qtFfp}E zCu{6=lUXKXic%0bk)V!jZ)Z^KH6SfgxS}V8DH0D;_CQ?xrHj${#>2C!K6$m3tV<#( z81Bt=?Bt_GAG77kl&?cNQ;?#J3%KrD9TrL)CAJ3es~rz&W^e4sy3^HyMBa&d7S7rs zm!D{jh=Nf3K{xDGAm6pkD1CA4$zEAQFp#dZW7K)gkz320vp1dqO}13{x_<1&KI?`g zFFNJSg{e0pz?F(_SImrrti{Km1B9P?aEhK6QiB6BpnlHYqThIZu0I3UGc;fis9rO& zevJ#aB!`zabt*@gV_)X8S;QUgq7b(nkBQ-OhdzvrVeb`cts7I1WPH5rF|+oC4#;&l zSr}UpohuX%6S2)I^c4Lt?W2lr5HO1eDK-@Fo_G%jkaVK%?@qg%`Y0V0*uCaTbgD&6 zF?1l2If=NR5X5+o=+E+1E;t43l<3ZBZ#_F&!heF%1|}=$9|f5omBC8t2I>@kmRe+r zhv?S`N9reG!c^9O#-^X>RUUJ}t4HDsXrG+MAabclPfs6LdSxm=^n7xP6II?ygvxH&XMKOHFS)izqKO`eqVQpZhPL z4L)pkZ>YyxOMBhlPs`-sJlmR(hU-dnN^;MyE7*3|sV`6-y4dds9HE<7ZGF4A&SP5t zx&!HW1W}kzCqKA$^Z+p>zA=bVL;2hLLQ1YN?@%;gXdKvzplGHTeT9pV5ev(F^B%DE z?`5ts8i2T_0n2^;Te#ivg4(uquN}8b9cv{JWz`2F5upjR22=|>us{~#o`kvWPEdv+i3LS-i1!q5=mx#6*nR$shJ9p%xuU8wr5hSpX|@W)Ql zmM@JC57E@ota2dR)4Nz}^hx#H&a=3jF5iIa{^ z2oe08i%gqC3HCmtzFDe+|771YWb(jO8Ji^7Bu?I5JgHnAXS@eHA!gsx*1&K( zrYX#l#)a3;4JJYJ<|LY|JA9gzgqns)cfxUFNljINM;!4C_@FwlqmXlbCkR=gsXpUv zw@m5%%UMdIqL8GDFR-Np2Ip5q*LBLQ6!U8sW>rgsCS!zt)$+@i9|P&1Cf$52Ug|qZ zyfac&jNeW(Qo@wVeb#&W&Bb!=;U|eZ8Q5vw%}$h4`1`ScFWTqyHC>t0mpX3Kl}({0 zGu#13p&Z|(hX@0MGlo99=VD7XI(|dU_v5ISjnb}i1-JMt8b{=rkBynstf6^kL22X} zOyCatBG!yai9)-ZIb0bSteGaAn^7*5|AIj}!=meFoHr26 z`u9*1R3a%XVzejc&DKI@t~60W4XK*DqT~LY7F$2I|W5rjPJa3Y=v?- z_?Hi))m@Ejy zUDug5-l1uJh=G+HIKpEhyRn3emcM?{DW+{Sg1LYc$evcM1NnNwJDlSxbESSv`^B5* zUl`$g=U7rlWa}G!nrGAuSeFy67M2hue+2J8*h^5$t7uW!UUmA%+}|X}2$`cfKIm_g z7;jB)ipio9kO&BZTsd0 z!8_9YjeuT^@WYyv;MAckTK1<%rrJ-{$E?G;b>CuS+Pk4=20JwRCe{&rY1;eeB!e(% z z7`=TCzmA!M@zEGHelf>#h0a|Z) zCK6ILOzvxXq@b_@T ztJ7e6$$3@9;Bb2K%s9hdj|tr8HIQFO44`i}ca5-?fuQq5n?KqPxL!dR(&Lj8#??{oO$heo2Z%=k2IZ0ZK>WWqZ_LjZC3Qr zspjWF%@dM0E}yYS5&wXx^}x{LC$&zrhUc$A5Kq`_F(0{ObyXnA$#Tea#@)@7#Oq4x z7#P}C!L6lbImN>|GrxHwDG?S|CVW8zT}!J) z`DnLCb=yqhBmsfS?`m%adOc`KoUOt0T8HW-0CZ>eI+i|zD?-~R6Agw3o5c#tILB0t zC+%ZS+rJf?=TT9-EtOXLYF?$!!W>szx4{dCH=w2zk0SDn*2wXVK8#`3wPBNx&Pv;} z7Car)!7-T$)UMKlY%szp2iV5Xtx)Y| z*wzvE5qsP|Ni2`aFf2k6W*=?3M&matxbxmoK!;8@DL7 zzWcv3gMZb^0*hTZD8^f3Yt7|M&7AeRTm!hu-g#USd980!E+&Eh9yt*SNBa?H{T5T=K)L~2ThB0*h!Bt_t> zNK&0USv#yl5cd^Uw-S_THp!qYe6?F)K+QN@P@)=1dQWQ5pUsdQblNPPsRAhe9NNnYF;I(EAm`-}ZGU;9>7 z7!pI}EV^uJtpd@CXd7U#rQYS{IyUcpZGOUldU5hPY4MzDO1a*g#}$^+v371i`38WK zD7?wjZNDtQO#qzAS7=;&(dQeru9R6nouGNx+~}Mb(esyCCy`l3+@Z%O7k|J_HrQe! z1A6xH53#Z172^H-g-etKRnf@AKlXe=(aIXCs=q^iS_ zC||~`v8VuG9*E{`3SmKicZLVndeM1JkW##{sO;GhQ%5_R45)I$6c|}e`2BucDWELH z3wG1Q2w9;%TrKGlN%u3}le@fC(Rv$^G)#_6%8v7q*uKubr_;N3Cu;Ri>SU=y%eSIC z4rSl;&1YfQ+?*#duskI5!OHPkz}E5LIvZt_Z6Ex>$3jrrw5S{#A2b6eBGGo+^~Lve zM+)}*P-B%!s|gzm8(izNKI5v$K~B3SVVmh5Wn~kyAcZB_x?Iqvzohs*E|V+@R#K;lG+_%;Nr~DDQJiZu3h?vx2rqKs_C!u*UY83 zStlYbjez{I=7WupRKND3Y)$awA)mG0#c>2ei8^rz}*FMVqadfQ4Oml*w)?;x=-b5l# zCd~(8FVjB^cvltVafCmA?f~?xfL|dt5dbAmd)k!TVwpjnrlqdCcIg}gg6=S$v`8jsH(a+_R-YJDbc4IG~446xZyQ{ z)v5I6ui5B{qUxik#2gc^vv^rrbGfAmQ# zIq7UBjP?K%2y*X1T$xQrf7I*iQ!otW7+e^Ukat(BFp^<%JDy092@yQA5V{2dw_VnZ zoNmnHN*)Z3x1~kJc_xHn^N*{RJ|X9wO`G5;-@Y3TFND&`e9S<#w+v5#p2P~yv3KX#=YDn`7s_C`{?Gea=tfvXVMsCzjLpp_~qc;40@t2vC_1*VTh zVX$!Mvjt>u=zSjE^J-Xg?QrJ#CcchZ`X#mBwIe01Is`Gap})Q7c}#ul+6f zf*NJVga&Pg5cVp%X)wBXMCvd6TJ8xq5DYA`eZltioAnw9^r(ixh3t_p5an1^<=wFa zo1fF0N+U!k6(}O}$y_g%j0_d%Vb`X{GzT$npow{kIKV&fw4q2~-D&oUp!nqPu%_AV z!(@=(sv*n)>EG7nE9Xnslwn+S%iP>!)doS6GnzY?fn8n9jqRVN98GLcd7ydv z08bMF0{`fG5x@gv|2PDjQz&mZk?*;v8J}TWMH)(aKW_=NWtTq8|nn z?2FQIna^|f+YDn31C#8rGLKKMJbTE77VDCR#ntymRQ5l2dsNG@n*2H2Xf~WL zrTY30RLE}{Q=H;o2n$<~c65In98yr$;X~=lDYU6m+=g5rLUdkcS+wn!r zPs{(n@S4H=1xul=o^;RVva~S{K_YMz8foDzP4y*VO0v7Lp&j+TTmcHfPi~cR=r1-` z-RfGuwE^>{VKt)kc6~#kugHPjdu5b%a}2vS6ssC_>VHL-GnG6#An}vdu(dY;t2emzLHckdfu8#wr zxr9h8aWlW)=4sB!yg=b9x8moeO_|71&xsQ-#C7{L$5Kd<@5FPWVl-aC2XeNsCBy0i zsfI3?+mgwLt~&LcXc&!W@qwruoF<@V5fPVuGC-46aH0r@-TVku_e})G0 z{&M%2(qs1G8L@C|hUMP3g?kTuMYToyVJe^Xz2US*uwjbK1sIHeaBxz}M=r-NK%$!J zl_n@yG2L1`WnpwV%V1bDd}P#LTsxOx%URheX{O!<)G?`P**?jtR3V=hq$! zBn3tSS}fZ3Z)>y8ADVdyx$j4o6HgvIfpU!%0CjcE)JbR66u(KoWWa_`|3sx8VqVE( zs;pJ_TOJi$*$uGIdj=iELUiU&?5GPSy6t8Kg=}^2%d0_O0=q?s(IRm-py*f!_EU*b zvW$skh3e?JS2Ri@^!uo(-OrxA*cZ?Z-KS$;w4y zpaaQGZjS9x0B*+-sfr?kg0!HRlPDi0hTu3gEGRwnka?o%(sSZH6d7L#2NW5UjC{Ep0rNj0!|&yLUIbp6M;aHbeL`ls zdh>>iyovG&nZDjOj3|SFW!B@<0;Rt}hU@-aQEFu94mY(AxQt|k3_Y+B1~mf&S>dakg$ zzLR@W&BnD^>hbK{fX3wBQJ2AO?ZVuL#r#ye$?t1Hl#ZWIJWBVvZXjlRQj5iY=<$OQ6pORlk%Nt;U3Py_!vCAw6M;0kzueR#^%4n zI6pm%)YPWDX;HgX%CDpJ&7<6)YJf~nZ0p|Bz0&R>{Tt)PeN~m*O~q?mw=?pndk&9YuaG8?SF5p8}Cr1dZ`wYGj2T)6^QB(``()im7 zApCvjo7=!nkuOFnxnp5y+gVwm2Kw&KjWh^0yz~r@dpD79$x4lgLVHwB2+OE#OMOQ)!r%Z9zZ=|BbgoWpRMRYD;)1?%QOXUR3Zo@?Q|aMgvWceKq&*d5x) zN6QK-FrT2hro(&L0%pcLu5il(ivz9%woIgx0`0vUhDW%qV6XRD%GNUJ`m%(F<15%l zSYLcdEJS6r{{tmVHdb31p2vKq;hW|j^m0-3RA1NF^ZUM-9B z-XLHo2ef8d4t>BPRts@kW?Z)%lgd)?Px_p#08(V8!cW-<`344ugl zNWtIew;G6NPoRxgfyhaEa`0~S<0a%Ls6tdkJl{}n(Ch0R4n3aSvy%R#@sKJjGw?j{ zz69L#P6@jnb^VBLY3I$t1Tmb$XX8xL_94cr2CzzQpQY&r| zHEH|+2p4@~X2~0c<kKX)gqEu*gdZ*rz?V+wOmXwfV+ zkBsc4Cp5*ctU2w}C6(zCRL&TYzkRfL92!t9v$&P@efi6xC*Vc{OG@h6;!^|8t)5B! za^3#uzcPb3^34Yi%FNd%W(tD$MKl3a#lKt#rLOcL3o`Ai`@Np!`SM_^AS&ZiO&(9O z8?5h_&xbN@2QJ)BM-GJ1z_|0W)1=H{P|vJP+Z?Mj^iW2v zo~()l0Ys>0hUy_b^UUD+2+Wh1d5PO2v^G*t02MP8v?*bxSM8wlHT)<}VFlwf|5e4b z)mlV>05Wl8ON#a&ei;NUoEK*(XYIqVY+iBnE@MGMuZuHn$DH~^mG$8aCUn*_c_0*_ z2LL2i*p_hQJG2vZK!!kWA5_f1#A7WyiJ380YJF2gEo{Ukiu3R7D20~DX>lWc?;uuD z&(dVX(~v>R3VtF_YG#`Vyc&d_F8_$kJwiSeYjW)HRdaJ~bl{QlvTYEGN;hJY5R5q@&incSiaxiFa!DY=p0+UaRh-yt zu@*$QEx+YCwNxR!xi<55xDcCE02Me6m)9jYTBI;nj8bnB+;QI*?#%rj08pxSn<6z@ z#*<@xHRGC4V>{Q_MrW+MjT&s`rizjD;kFd>f~wr(-kEsF_{TvbKz{b@hXN$zp>xL@ zId9b0{wB}Y@-pN7Z1`_#=82i#)J(?ty)Br{?&ddU)~u3UO+`Kzm2&5=<#F8S`SOSi zTz||pZ$OvReS8W4>^uB30D!JSq{C#2SKnRxu3t&j*a6Mh+F2YSG6+aOKs$iXggF5p zFB2lE2W{bpRa1Xp;ueki@w%YkrfG+D&a=LqBj(A@XsM7wnbCq9MSjtaz26>S+EF@c zZdpgbmm635#EcKy$el-k^Fc3BPdDv<)XbmM45OFt*^`>N922bhhngY&L(TN``lCld z2A9ddJ;KfuJa73&)Qp@efZ_M3SuMj4o3glM2P)|=R8PooiXBz% z2UrRCar%w=5g+(9J6JZ_T)xdCXVcQskM< zE9^x=`U%`P)|*8+7wnsfZ9IMs3SDfQU#dC*PKl2E!#BHv`evAC`$Axux2a}YXM-1F zi`>6O0Q6ru7F7!dL{TIg7L;F$A1Lvt`>%9fw6i?_sP4vVpmD{lcp#MNamyQZQEiQB zA4g^Pu*n@-@hBdH_3bXV%+8R9eDC4Y=lMBE(}7h0;@UT_VFqs}()5R|#s13cI^weA z%h3^za9fe)f!a#3I!608TOqqRr&bFY<*#t_YLENfY8AqAV>2SxI6`kipIoy@b9fXM zc9_%wC6gVTA}42Qlov=cRC+IMyFQ+@zhjKR=t7GChl%k8h`m&f@@1hlWj;y}HBrRDmN*J>`!&s|W$BmR z!S{$HY#cHFav9#{IqHGvJ461Gfe|FD$wJ5N#mX=$GIKk`)G|6Wa64pm$Z6UPTq%DxQquk?V}{%UZzdH!gM{qMw_)xJ4ovpsJ)#s4XmdlA>e4fBy9!i*%& zWv12!8gs^VYLpHad5w90dmbfb(ew-EjIb@mbB%WMpm*0H@7INq1r)L-xx0HIkF0%yTBsVh*LXY>G^|R8s?CPT2T0lb8OuaxiMIXOo zct1?*+}rcxULA}7U8A(L2G0+V`wn-vi%XdPrcvYStrGs)aj)S`#|J0ETgC5J&xfJW zvy13kqf5iw>+HqcT?GO&HZpteueDN!9dct)ZLL^cnO&PZ zIkyhD)p)mZL44}RV>&g(np0XqO8yCTvq_@eml`~>K|I(6Q}TD6Ip_hoSUK%|sOUNE zO6^L;x)@7tMH$D1hUb<`hKa`>__x5AbSg!d!RMhj0+?EG2Jm{%6hx6QK^TO)diJA^`UUu_&eGL@JXOM!|*jk1+bbCk^sX%M=#zf=L7ph z(m9X>U+Lv^eAW(QY#)q^eEEG8yiV7Ju>FFViz-u_Fe<4J>juLmqW#0WAiq6Ekv2W) zzQi$2m!%%>UN}Srf-4WlLI10W(Axl_L_k{tRhyceUm?PEF3yQ;?t0QdA8Rgj2nu=W zl+1nvK2gSB&t~YC8t#{3?vrBfmm-ai^%4>K73}k!{+jii?oO zOz$l2HfM*1W4F>XzAvVp2YJ&Q?9HTy4BX6)`W`MWtn0h+&As)iuB|=ybn|&WDyF%= zN99mu-)f(_GxDL%{@l4}KjoZ@zUENgJJ*QZ`PRn&R+Z~z;-`tSmiC)6$m zsXLv{ZP_SwG_88LYO6`4J$bg|!Hr2OjnKAK+V0|x*>%b1;oaKDS=PJ81oS@vv#L7Z z<++9p&q`xPsHhHwdi%-h_Oni>Y%4sRBiDdFA6NMukAdIcTFtpT-{y+;&ZOTwbc#mD z{j{L8@pgKj&J%l^jURbP+@@qG?9B-DWz^7it0BGhH4pW@b!e$cAgN#(jJBM=X{*7v zY$mm^d1mvxDJcQd+ZLD4?$beTt|S14QW+093E2uB=Z*6W0&3_aJ`(B+X=PUPkWQ93 z3MD51rM@MCva1I43kg=$TY5@6W_-)wc8Y19_BdKM2;5{VpDqlTTm~i0h2@xYGryhJ z?F&w5q6PXeL!hOyf`^22(q=h~2K!k-GW%zZjl}FM?NDOpVLmRP?S;5lY6z(gV+T<$ zeUkq8j3#*ac>@fHZ>*fPkN3rSP~h4axr(0heVj`Yk(XX6hzzDP^xdugW>mPU6Dw-H z*-OyN`!#>@G&<4J4|^1Mz+b-_#;2>;U~XfJgE`r-Z_!9Y1UL9CuDr6yJ0WlO>^~N} z)3g{syE~~k3>jq&a8P9nkqT*%E!P~{`kblo@}za_MHK}8zPC!MfT#-cjLWoDjQ$6O zpu{_a)r70>vI4g;oRKn}m6@R1zBY^u=Ri({WJSx25pNN(&nFEXORiH`eq_oHn122B zdc*!0_taNq?C~t|*?bs5Bn-fMD`_JEU`fkRZR_p_2`r56Q>&h7)t!3;3ZJOvzv1K0 z>OslH(ag=%+yy}AWM-jeuEosG0%T+10MetfinzI2Il9o%v#MFU+L=Sgs%|DW=Fm)x z^sHjgZ}_gzb#lhgO#trJu2ujmPbYI17jp}GR#|gTcSjd9FdcLszZJB0bPzXoH3!g% z^Kr0oaImwn^RV%9fwiayCP~X#!gP=W&l=6V>_@pDyx#3gcggW zo1LABv4g|Y1*lnBg8|Ut_X}YHXqdZzp@#-=vakc$xp+Caxj30QSh)Xjh0qP4=Pqac z)*SG3R`dW{Cu3JDu(>hd?H?O*vv9INZ-kK0(>;7@r10k#iyHKL0j!E9Hma`nsH_SA zZZ1?-NoyCdD*(vL{m-@x93UR<-y`NvYwcX2=gBH*2fZ2M=BAEj=1=?nqd|nn+`f)3 zc%GZUZ@R4AR3QC%7wJsDYtP$Xo10zH>9V_CZ}C!Ue++!l%$d)@x}Cq|e@6cyVME6{ z<1HU$Ai&A#C>;w4>7Dd97mMV96!Q)lg5)7mTwYaJgb4cRR11d8G4>KFT!?j9GV%~I z=SQmoFbx8DguPJPDNqIu<2x$P8sQFF07^i{C%G&wk4`FAnVpoA?Y?X5@5mU`uq7C0 z3#4Hhg=*vKdLgbfcX&Ri2V}&(CfgvBxp~)P!j4Dq*XB7^P^NOd7Te5ZcKYLy< z(avbx0HZn)NTLLLkXHAMBzZIdE6tm5D8bkO(Im|i!)5F{iDgRV5dRDU{!h=NP)o&5 z3TLe6CPMEdl_0V_u$j+v#uE_2r+!vu3W$@U5ht`SXWA1AdUjl~uPr6fQm-k_W)~%Y zpLBtQlV0rCWlIS&S~@pmoC*kkF%yxI>1R#AOOT^0q`&5!=3Oi{U);ki+)?Rmp5M+Z z^RKics!`|P)p8VOUh$(|E6O)JJ>zd!dhMAM zz}P-Ln4@)}wp4PCr^;pNNFX z>&rz%Y+5n#GL7V~wVZJB57QgK$4ih;zB*m8gBL`j1H?v8G@W{)xaEgYS6GT8HKs>< zrArlJ3%A~@^=@fSUYAj}YO;((O6*Cd9b4YT~c|=82!sn zIPnr!qSa$Ks^|%)=hx4bcicYh-q!G?Ys>7$^@$ROk+plSIgtY(Z{|H3BUbAANl=I7 zf2v%`d!n{@re5OtsgemY&aPV%O_W6CDam`f4#yH~tk=I&H6jocG`h>V(!&z;VQWz% zRAAj`HSsC|sXTn6T*7U!T<3@OE0L|P`Bm9l7$bi!bSN!a0b{DwzqBSYIZMQp{``%3 zkxVX_$lk)l9#W={*@RKzmNyxnkdm|iVs4DH7Ou}2F0XP7Z&2aQtHMyoLqbJhM;Kj9*7Z-gB7|)*7Tlx(t}Sc(=bepnzr* zR4(tUN-)nomzYcN;YhMg#uarhYwo~VTck)c1QSe(`lZqW$ag)m-97O$c_1;yf=&9~O(;>}iq6cMtMJ#3j zZ-XfhejNrNv4!Cp$&ATbQWXIb8B*;M(^V`&}VQO+>k|O+D&bOBzI-h zhrIEXWU)s*WyH+f60&37w^MMNtJ<{ae#!G|v~y+V;ETa6Q8HrxiO@}(i|<3#uWD`U z&x8?SqRxaez=gv&tESlWHYz&iI#KPbEPAewob_J$;+Mh63QeWEt{xH}lZK-Y6&Qt` ze)6V4KL@BwNk2tsba?-w9kb4&k8RYS5A@RA(7<7ck$*$7Sj=}-cd&iMXdM|+iddHm zqhQTI!B`Qhd-HM9xv*14+C+m^N?G|0kwme0sfjF+Cil%2pjM@%^?T(wv-LNs1Cm9m z_p<8^`a;Re-iVjrVp^5>5Yxn6Ov=R4kSU}6i{q4nSmsYEg{7qMfvG3Ojqp6sr*|8~ zX}uQS!>n4^32=KQUcx@q1xy@MTJ|xs64f2jap9M(exsORDn?_1tQMW~B_8iW@XPo! zG^;kn0In$>9n)PJEM04kO`xDDmV5>~#`f&l8+6!eD<$_5?K-AJs$o7_o`X$l(GQ3H zKzmisg-EUi5RtoSg}tU_g7WLIa?`%4gu^MCNR?I@(?jJ^?JaSM-uQe8E^Rr-UoIbF z7|VL63wR&uA5ZdI951jgg;2vIX0Iwu_+<9FvwxUo&zM?o8%pDAvft!qeje)|K$Jd+ zb%fwg4l)XOMT)6@_(g_R|_i$YT`o zIl#s)iHQ1UsQDQ!spM5RaNMQ8tX*cXSDq?svySb-{o(!NIAyz?Si8H_Va7h0I4t)S zqNvVU^z!|ZXI12V2a(`9mw#vMHH!bJFq5yjih*IQ=G}9yOHYh@F*Zh) zUkSQOZ6%ENTeV*!)o@yh>LCgP+PqQ+JO#yh86@Pg;{G&6*W}$__Kx>!S8mV0J;a7O zzFKmCTVmkV8w-2KCy?w|72ufN=(FY9ni05W3YlTr+yWM}v~O2SnYh$0c}s?tr0sPd z9QQMFcm)klaK+0>U)Oq@j{ zlP|UM(#R@69Mi6A_3^D@&(3QF2)uZ&e@NQW9m&s`FDGsLpc!1EFECV+rlq}Xy^=P?-hTeCFAAJ zK%X{%|H3mV+^1Wtl|E#X#B@7^yI}!g=|CW;q;Mv;U2q5#)v3yEWfQ#KP|jV)1vXA9uirxkByLMtg*N zZ5tEydR`)jZ|z6(tRp4Rx0)lEZkl2OZ7AZW(NEatbe_C|WuM9{CKQypIi9bcj283zQ%JcZLkvN;<5&KM?cEei zoOy{8t+Sd?jfVZ5sa?L-}wFNxjSC zkrOdjWd#E<9Flt=Fi4s=Ik>g@~T=dSsBqn9AuMVRjq$7z3x9-ukdcipdc? zlrm^Q9yarm^Bo1Y*Xr|%A7S{`b2tC0ad`h6DC^dy*`X2b!y0zfVac1{Tn5eW$i zAUmg|B#$Tv1d?QfiVJZbUJ$fF9N@n%0zHbHxq~HCHE{rW{_O@e)MNcDoyvH<$EUX> z#RbGRr4=@iP#fi4mK)d`oK&+e) zeQ{zlN9Cbz89n{^Mq;9idYN_M$BWM&Fb55)CXTJIw&JJTXDydsk<<$y>!l-=F2V8; z)ZZd6OyA8B?6tG(iC|ykN@2D&&y#zCDO3OYXu+<=F0LL>rHRVU&JF?sQK_jV6eUsr E7fbQK$^ZZW literal 0 HcmV?d00001 diff --git a/report.tex b/report.tex new file mode 100644 index 0000000..20aef5b --- /dev/null +++ b/report.tex @@ -0,0 +1,70 @@ +% vim: set ts=2 sw=2 et tw=80: + +\documentclass[12pt,a4paper]{article} +\usepackage[utf8]{inputenc} +\usepackage[margin=2cm]{geometry} +\usepackage{hyperref} + +\title{Assginment 1 -- Software Design and Modelling} + +\author{Volodymyr Karpenko \and Claudio Maggioni} + +\begin{document} +\maketitle + +\section{Project selection process} + +We need to find a project that is a single unit in terms of compilation +modules\footnote{A problem for Pattern4J as compiled \texttt{.class} files are +distributed across several directories and would have to be merged manually for +analyzing them} +self contained and with as little external dependencies as possible to ease the +analysis project. Additionally, it would be nice if we choose a project that we +already know as library clients. + +\subsection {Projects Considered} + +\begin{description} + \item[vavr-io/vavr] a Java library for functional programming, discarded as + the project is less than 20K LOC and doesn't meet the selection criteria; + \item[bitcoin4j/bitcoin4j] a Java implementation of the bitcoin protocol, + discarded as the project is distributed in several subprojects; + \item[FasterXML/jackson-core] a popular Java JSON serialization and + deserialization library. This repository contains the \textit{core} + component of the library, i.e. the library abstractions and interface to + support additional modules and the main JSON serialization and + deserialization capabilities. We chose this library because it meets the + selection criteria, it doesn't rely on external components for its + execution, and its project structure uses a single Maven module for its + sources and thus easy to analyze. +\end{description} + +Therefore we chose \textbf{FasterXML/jackson-core}, specifically the sources +under the git tag \texttt{jackson-core-2.13.4}, the latest stable version of the +library at this time. + +\section{Analysis} + +We use +\href{https://users.encs.concordia.ca/~nikolaos/pattern\_detection.html}{\textit{Pattern4}} +as a pattern detection tool. This tool needs compiled \texttt{.class} files in +order to perform analysis. Therefore, as \texttt{jackson-core} is a standard +Maven project, we compile the sources using the command \texttt{mvn clean +compile}. The \texttt{pom.xml} of the library specifies Java 1.6 as a +compilation target, which is not supported by JDK 17 or above. We used JDK 11 +instead, as it is the previous LTS version. + +An XML dump of the \textit{Pattern4j} analysis results are included in the +submission as the file \texttt{analysis.xml}. + +\subsection{Comments} +\begin{itemize} + \item Lots of false positives for the Singleton pattern. Example, + com.fasterxml.jackson.core.sym.Name1 has a package private constructor and a + public static final instance of it, but reading the documentation the class + represents (short) JSON string literals and therefore is clearly + initialized by client code. + \item TBD +\end{itemize} +\end{document} +