From ff34efa9361ef94e70ce9dc668556649ff8efa93 Mon Sep 17 00:00:00 2001 From: 1jamesthompson1 <1jamesthompson1@gmail.com> Date: Mon, 11 Aug 2025 16:51:16 +1200 Subject: [PATCH] Setup repo --- .gitignore | 2 + README.md | 31 ++++++++- main.tex | 64 ++++++++++++++++++ output/main.pdf | Bin 0 -> 85910 bytes references.bib | 172 ++++++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 268 insertions(+), 1 deletion(-) create mode 100644 main.tex create mode 100644 output/main.pdf create mode 100644 references.bib diff --git a/.gitignore b/.gitignore index 8c2b884..2d8ffb7 100644 --- a/.gitignore +++ b/.gitignore @@ -12,3 +12,5 @@ # Built Visual Studio Code Extensions *.vsix +output/* +!/output/main.pdf \ No newline at end of file diff --git a/README.md b/README.md index d83ef2d..466e8a7 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,31 @@ -# aiml430_structured_survey +# Structured survey +For this assignment we have to do a small literatrue review of the applications and use of AI in (small) area. + +## Proposal + +> I would like to look into AI within the AI safety research space. In particular I wanted to look into the concept of LLM alignment. +> +> To do this I thought I could use these papers: +> Auditing language models for hidden objectives - An experiment from Anthropic in which they purposely malign a LLM with hidden objectives and then run a blind experiment where safety testers do a mock 'pre-deployment' test. +> +> Demonstrating specification gaming in reasoning models - Giving o1 model from OpenAI the task of beating Stockfish in chess. Where o1 decides to cheat by modifying the code of the chess game when it knows it is loosing. +> +> S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models - Similar idea to https://arxiv.org/abs/2212.09251 but with modern models. Effectively having a LLM wrtie evaluation tests +> +> +> There are quite a few papers I have looked at so I am not sure these are the most interesting. However I expect that these give a good sample of examples of maligned models and potential ways to catch them. +> + +Aftera request for some more specificity I followed up with + +> Your right that "AI safety research space" is a bit too broad. To be specific for this survey I wanted to look at the ability to get a LLM to follow and act inline with your objective and your values. +> +> I think I can break this down into two parts which are: +> +> How well can tell if a LLM is malign to an objective or ignoring our values. +> What is the baseline for current LLM and their alignment to our values and objectives. +> +> Was this narrow enough? I could narrow it down further by just looking at Automated alignment testing of LLM by LLMs if that is better. + +This was accepted so this will be my _scope_. \ No newline at end of file diff --git a/main.tex b/main.tex new file mode 100644 index 0000000..45654e9 --- /dev/null +++ b/main.tex @@ -0,0 +1,64 @@ +\documentclass{article}[11pt] +\usepackage[a4paper,margin=1in]{geometry} + +\usepackage[utf8]{inputenc} + +\usepackage[style=authoryear,backend=biber]{biblatex} +\addbibresource{references.bib} +\usepackage{graphicx} +\usepackage{mdframed} + +\DeclareFieldFormat{title}{#1} +\DeclareCiteCommand{\fullcite} + {\usebibmacro{prenote}} + {\printfield{title}} + {\multicitedelim} + {\usebibmacro{postnote}} + + +\begin{document} +\noindent Student ID: 300680096 \\ +\noindent \textit{You should choose 3-5 papers in your approved application area. Your selected papers should be coherent --- not too similar, but still related enough that they provide a good overview of the main applications and techniques in your area. The provided word targets are guidelines --- it is important that you are sufficiently detailed but also demonstrating an ability to write concisely.\\ \\ +Please delete the text in italics for your final submission. Submit in PDF format by the deadline. +} + +\section*{Introduction (target 150--250 words)} +\begin{mdframed}[] %remove this argument +\textit{(Introduce the application area you are going to cover. Make sure that you have constrained your focus to a narrow area.)} +\end{mdframed} + +\section*{Key Points in the Papers (target 600-800 words)} +\begin{mdframed}[] %remove this argument +\textit{(For each paper: +\begin{itemize} + \item[-] List the main contributions/findings of the paper (typically 1 to 3 per paper, a few sentences per contribution/finding). + \item[-] List any ideas or results in the paper that you thought were particularly interesting and explain why. + \item[-] List any significant limitations you identified in the work.) +\end{itemize}} + +To explore this area I will look at the following papers: +\begin{itemize} + \item \fullcite{marksAuditingLanguageModels2025} to see how effectively current method discover maligned models. + \item \fullcite{bondarenkoDemonstratingSpecificationGaming2025} to explore an instance of malignment in a deployed language model. + \item \fullcite{yuanSEvalAutomatedComprehensive2025} to understand the method of using LLM to evaluate LLMs. +\end{itemize} + +\end{mdframed} + +\section*{Discussion (target 300-400 words)} +\begin{mdframed}[] %remove this argument +\textit{(You should: +\begin{itemize} + \item[(a)] Compare and contrast the papers. + \item[(b)] Identify where these papers could head –-- e.g.\ new research questions or applications to real tasks. +\end{itemize} +An excellent discussion will cohesively link the papers together and provide critical insight into the application area as a whole and where it is/could be going in the future.) +} +\end{mdframed} + + +\section*{References} +\begin{mdframed}[] %remove this argument +\printbibliography[heading=none] +\end{mdframed} +\end{document} diff --git a/output/main.pdf b/output/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..04b3bb273c3d1d6e739f66c18d6ed2e7fd459808 GIT binary patch literal 85910 zcma%?Q*16!7p7}`wQbwB+f&w+&5Y@x1F}y;rw3p3nZ?mYNik(5+73k(yun(>v+C6 z*CtH{btk&1{w2%f@4jdC^9BalN@@N(%GZU^Dv1atgb3uf2e7+_zCC3b*d?f&nc1xx zmJV8?Jk;HGZ+JL>>ZE?Db-ZozTSxFvWKcPHjVf8$_`SPZITu1a|Fq+**xZZ}tg_=zO7%Ftzc_SPwRj z_H3C!y?GfmTxc8m9BOLUm>c|(br4`Nqi3pzNK`bNIb%o)ZN0IRHWKT_A!jB;+=hi8 zmcq#9=4Q328KXqTiL~ynoaP5B7S_C$OA|ZaL2T-(L5})^wl-V~7kwyOKgeilF1ubx zw{1jfuKR?C#LP3Hv;sO+H_^E_U{@_GzrA4D*1|v6?4$OGh=Z;QQ8QPUW3S@b?IW^z z8@e09T7{fl7#K9CcyKC~mvZKyrd_-i^iN#PCB}FoQ0Ox?M!PNn_M{@?zO#BF7yO0S zd^Oca$onY%xe{#G7b@H64`c;t4}Zd>Is4a@r|LfWW>RZlR9&^k_+_dO1jP>0uIwUm z$`G!VlR)#h&5mTHP>JW89IRm-(p?In%QPOo$sD@EdPurbiS8)muzIaPX z28xzNQWASCwwDCLsc+Re-ooAykG$5JkgI5!Zz60PVE$WBdR92aQO%hXChSy+vVZRr zSagUgmJFE%72k&^rOCl=oe+x@S&XKyNhd0j{O?E1b&|$Kgh#Qz6f3{U;@Ym!%j|fq zbsX4{Q8Z9GWOz4sLWILLtEvE}EEiFM4rMF+#uAg;owzh=PetYFbO29U=5Hfcd6hDMmS`$ycZVxr2g`|4k7Fe zQU$}WN+IqAC)|?q43IWox%5J)qNU5wbDFi=t^{l`q$3QU@TFIDkq0;txsDA5I}r3; znXUe$&~7E-Qd8E(>_%@rap5Gl$&qwGx{`mnW|a17uD zlg5!~IVxgJb>H?wok4?}fPbX&b{0ZC7>?=u>n8}3EbPvPXAln9?A-pCVzQRe@fygY z1sR16K`M+pkppE<4qo>1i}02~k~0Yw+JA9O7Z6Hcv^&XiEsX-8P6Dve2Lp1rFE$=S z7)*0*%RTYyA&FqKFrZM35hEVRTCICYU4w^Yw$bRj@WGmWI2$ja_L_ z8ralhI*tP-_(2c$EqTmc_sO?Xo9d#r+Hfif|5vtF|8CBe3a!cp` z?4o;QvQ8HjpbIXq=_=*=@mT6J+7eZzZFH@_qZx%x^I)l-Gc-24p4x#r1akeWWumKm zOCcWz3boRIzeZ%}_%BIXgS$#yre&OK#X9o10^q{qc?9)dA@q5*;NhUIImEw)Vy3JH z>6U@{^80sn@>u>g3X0h;s;nbBCIJs zJn^gb{pi>x(Bbn@nA~GW`AZUCoh23W6QyglDn?G+HNTbx=LcD=cK zFdxQ?nIHd`3NdUnll%|`m9s&yH~rTVF|b8yH}x0pIag?2c}C)g<{gSyFuAYp+dJUp zlm1J^66}nPyMJ~Fg8QARn{PJT{RA+iDY+=hF~b3F_5Gz(NM@;VWZBM#r}F!;HcL-EY^#g3I* z?%Phf5Pg6jn>V;qU&QkLpSr zsk08D44u?n9zHDx{F8F1=*#^i9YCuE3h`5fEnt{W?Y3TQ4r81R4P7NK+cTfflZ8M4 zi1Jl5o@wvs#&%I9B&g=9*?6_VF68TaX4E#&&WnWJmy8Qo&G^^s>|OK7&nI}V=UZzF z6{t*21(A?W-@N zMZSzGiuQ1)mS|y(#H6h_*&Go%ka-Bi!U1Yc%3m8*?`cE_0}R}XGCMVJ*4T`DV&khI zl0W58IWeQB8t9z#9fBE#nwaaxngbf>7RIzRn54jiM5KV9tk8W{d^}#rCrSyP(CAQg z29beoDtT0UW&kk?cPwETL-B3I3DS7Sex4logO zRAievdANXLyyierAnd1YM$&Ut)q?OeKgPwFs-+}PJJk!lSslbWFUvge*)cIgSk&KBXO{xHZT%0%9>rXolxlr=eUp zcpfz{rcy7V4c@j}{8dZ}G+Ej7hshW;gF)IaNH#uIFu>H-r5lMFW;B9_FL86;@%p>!X=hqP%F-n9;>{u=QBpciZfI)` zNNfq>ZgOaF0)Q4LlRdY$17~ORUS(%*l{-6YA)4dN`8}08a}!EXgyX5a=|fRTAkMvO zQouR;LQroC0R!mSf#~spF!~tN{23`I{Iimj&jbW{BnwnJSgs1!!{F&$0kxf3c=V2{C=bBl9{ImIf zXuyiXOPZQ`7$L*5vT%6jRwA}%=7p0Z(Doo4TEQ&*vjt;o37z^0l7XoOwdZ!1))dcy zv{Dhv`d~9%4a_<6Nuchk>jTmQ^5tgf=@p#fN%pvS1eNum^Q{m9f56o~VEO@XU0gu) zuC;!H-`C#~giufN=J^>JIW>HU7r+5pK>dg~h=QtW5!>tA8E8PknZLkb8=UKWpP;${ zh&cJ@EPJyH0YIA2EiD^GLkJZB8HBCTVpl_U9 zT;OjZK!lJ$W7|`ShjCz9_%HbaF*<(bd0cPq>znJK{j;os{D_Qa?~u!r&}RS;PM%JG z@9rO)H#_K*C>R5HCMSsWKw3hDrQP|wWx_lChsRGI;Voc@?AgOn@V&3Y$60}*Q)rg9 zpbhu0(BJoATu0Bw3C9guKjoiMN-E1!_&cM+L*ROcM+e~ccK2W)5btcDyx-U&h~O_> z$WuFg56U%o!YB2PS)UL2@mjxGpu=65L9n-54QkifBp49JAADyKIexjOQ-<2#Q-|Nh z<6pap-|z=NyrC`3dA^S>DT_pSpQ}bCe*g%*=mAQym`fLH%Q61rbzcP8APM4nf@=`09$d z#=d8%AnfZ!uCw!Wfo6}qfed&gmIU;Y^%47tzQZo$rTiiLiGH;YK}yZCvwcy#*tz-i z19wkOeZO6OcPQY^r6uP2xbL$!*Qam(bDsR+1H*lXbDQ7u2bcfoEplGi0Lsx@+N)no zMn=@3)A5WSe&A`_d)(KlDP+KwkXboQldD->U`=I^b{!3wi?99N3Us~iJlJM|VA}B>ad<^)jMw#x>`YH-+1sc6*;VR?D|jFA zhR;2zcJqtZkbj_MCqpR~i|A7LjP=pj6ldR7Ln#A&nLYDpE+yK5rh*TAp~pk_lb`+Q z)|5Manw0~O3-TiJB}zhHdp}lg{%hivtP)}NBlT3ADpbq_WD?FSdw8oMFrIr=IXAj! zWZ1uz(C`--kmAS&c5-3k>7~_kQpgu;R+h~O`$j7;069UsjH5!%(xw|e6mQW)sQ?#5 z#IqI;L8U`jiSM_82$J^zW$0QjPHPtHsDOO-_9n>@&$z$(RFhB|#vI;Z zJ)Yd&$FRAz41DC*`kv0^bwT+GC+s>9oPGRcBK0HMLD$f1=XcLBr~FD`eX-a)ihZQo zkZKhGFE?FYUzPth3p|1jJIZ=DylCh<-Dz&a5jvNHfgMP8xL6aK##v}T4E2`SvYoAo z29E#c)kHG$ARI1@dI(|zTpdOQ6(pcT3TYjdG{zA96kOfvXt1aSMJ#FG!s`Sr@r0n8 z;wWk~PIw2iD}=^4B`rF@qPQfkgZYoUGm0ZO$y(UxEH~;J^xNq~*|?Zeb9f3QeEFql z5MBgkgtRKi=bZpWK^^3LaTNQRwu`Qo8NyOSv4udVDsPT;{?6*cKO0{>eGZ*PRl~Fi zp+ar&N2u3<0S1aSd>m}7<+{zVu)#w%cL*SJsN}a50#_xN_qe~tl z49Cy(9qE?mpY}g!7^9lxC9CwQVoWRnN#6@aF#4HYOQl88Fy7(V*i=Z|JY|X;>i`M9 zmJEqr<-6pYH$B_#aVHYkhb<+H&@3!LtAgQdT^z$-&H%fU9UYnY!#~M7GK1;p;Ut9& z$m0Te|H|HcxN9I>BS#*8N^~|cK0zdBsPeKW+SEG55y z)P&{Tg7fl1+Nq%qb4g}pIJhLa zOKt<&6%g4i?$nCX<`JtH+dWV@aDFxiO(Zt>YQ7n^z$zWA9!gjWGGDR%S3y3?_{H*4 z527_*_=Jc=xg{Ygf+$JDTV1TLr>byr1l%9*Eim{mBrls(NnKLPRA;^H_}0it109K$ON5%XfAn!9hQIB8EqR#9qi zy~CRKrhyp5GKrHWLoCo{SXuBQGAF&ZF-@{T*1OSW_5+-1WaxO=ui+PIxNvphF(c7X zwN>Xs8#n)m7S;lbmuDyz07LItQilRNP{&=pt;y%C^Tt=t;V`NlazaL^#8hiUtfyIM z<9hRlbmA8KLnV>lA+;1Ku^Ln&1@>6V3p@TcoB}q*ui$azToHw>yx+b9p&bsM=_+q@ zns`~18Q=c>rbb0dkGeLy-9M-NRJ)n{Sy5S03zFIBk1DlWNQSZg+Wz2ZG51k(_u)vs=>dE%?`0%uUH_0e4lK?FdzQ~_Y;gp-T z>T0;Lhb&QffluSh^%?Fo15LD*FP`N4Grd5)q(K^RK3YhVv=wM=$?OwJJbG-q>kh$s+*l(-NN6N1ZuqKV}J@z8K>t0s&XFFGhjRnnMs35XO zNUfL1)^sS5LVL=gE8@R+pkYs;ASN%-npAQa%-2^m4?*l72Q|0V$S9Py)=RYAY|S(t zg-NmDENt)0mLw_w=Bt$Inw(nx5yX+^%qVE(pZ^LSOKawxW5q` z&{iti%|NvWXwq=DB(RT4JM^p$<(*OI+tSMkRTE#qEc z@do$D#**Fe>)DQpCh)NkwSt~Z@GU6VnzPT+^E>OZsJ3?p94=zzxl`uRWpW! zIuBi0R>5Q-ex*NU-Qr@q&Mob#n+)pq)k1-Z39mkSD+-z=O2oaRtD=%Na5b;*vZYkg zq?|rWF|@X?j3uua>5QrdIFhK`pmf7^`6^xB!tx}mnw^3@zJQAScGqy4x89g~s z7T1%x5$N<+%*(sWH*pnzZ?%cd^4hbJ<~vU?a#8ipWu4}cSg$i zOL7?Kyjfb0QL;OoJ>s*(EM#T%V1a+>z(qj~gOyel6F=jxUyVAEs8dZh z4@t=GurypViv(fmAkE&2@Lta9q3wgI|3VwKXGYt^!*qk5{N|4SLoOHmTf?V_y|}}ZRz;*8i#1~Y2h-u1N~K@3JACc zw?w!|$NHH(C@-PG=gQ-y(>TBjZ60B0n3K!&HCAk28?V+3rEPr@cmGBEC0oCA*QC6JI^8(p9lSZBl`W5_cPZ2MxpI%^i%q_k?OKkX zXsphNva}6J&Ro5qCSg?UnnbG_$QhdgV@tP7kTt-xNPuCYR$^YpX^(v_P{>VAwJ#l| z9j?@_*)%Sd8P-6UoL4i$EL$md#A@-%c0f*4Ie)7sYg(h>1ZH`D_E#@Syks8I6*n5^x!udZ_ejG#%=uo%MvTcS5u&b*$(mFOWWVLXuBR*jsaB7tfmXSMwrYN z%f1SA;UXSU@VVQr2s=DG!&QA7FSdlJr$qB8`0}HYLP(aNeYIfIv~S&PphQu<%Ba4K z^)-M^>gIWL1pHmD+vt<^Kpy%3T4)|!rvNt#bo5?z+kw-Y5n$O}NPKQs$M4B+Y{Fw( zAwInQ&Bprc$ohbC2jF~@R=WC}B5HQbF6`HGX5&!G;4TP^V$w=U-4jc=3L7l5x1!+- zM&~QTK$wUneH1XIwnAVwOTMXatAI}*5T!j=soy|Gx;GB8KdUz4<;=mk0gd&j4Moa@)*!%J*QD_X@nk=Y}6C zb;8zpmgVpU?u=;9Wj2cD(i277;Rbi)IE|Fuqo?x-F|n~3GoA4jN3TP_`8HDa+&l!^ zLf_K0Nc)?+6am(jP19}t-MG}7$3crg^H6(E87g~qHh6}%xy}zow>2R?`MZ8Z(= zQ@gVfvcE=$_gO%^P68zUV*ckY@_SXw7SLT9Y{&mFMbi?TsAOD-Z)90X4q6XY(>>1l zI(QkOTFT6$$t^yh^PI%pXDg!_R6c}yZNfDzd+1L(4LK}7ltE*l$91@`bcqnH$D=P1 zoTiYVe2K3fy(S2Ndn_f55HSO0F?v(YcpXXwRhOgXEL!(XXzL+&kvq@xVyl8?aUItT zm=X2Pj6pD?kn?MD=y(0-s{V_^W+up zWmwl_sN+a>>6zo7Ba^tiYvU3wagt!HFVFeM58H6?Iz5yiob^w?@aJw|Z9}~BV-2** zBO>-HA<;4$UaO9W`P^i^iJ;JV%-0hu@t4_PoPkBY50W#$TB zWy{!Ey*p{xSq^$UIK<^-Szdl2AcMVeI}&OxBQQc=rAHd-j-k)Ow9!9+m%Si&p<#f^ z;?)expQhyrtdwg_N_c7zst_c;Wq(Msjut!?Jf+EF)Hkuf{RRMS2fJFW$+yAXsaIT; zGdgDw?mH&T{_G}Tv(DIIHBO-PvGGQSGF?R4%t=)K;2n+dS6C!_2&TJ^-sM2qh<`0& zOTg`%r*B`QNka8LuzHg9}XB!p4E8Mi~$l_1T#iTTC0@OP##Sd zyu=iNndWeIm;c3wur4U(lB~!ea|!zuPkqUcD8R4kUj!mfczM3~-X!G(O|#rDo83su z-|e>uY%ZvRoC-RbIJ>Z?mSdQdalw4Ri?<7sE-S|1M>P%cYGO#$TC4zrUyNXX)}(u& zPvvM6cgkZJebtqVs@}sOdv}QI;&EBcR;h)?DMMo!e%U6QHU`DhsGhm)1qAI!0)U_q z4_i?)b7gowmczQBx=L+A0jr+3lTNE36xSn!-COfodkQdc)BHCDad0rZ3|8z)(om_$ zt|L)pgfE!d=m+qYFvRDCO0GE&7U@Nyds(w+kJ58IVW7q#o4&b6@hnlA}084MB%ma8DN zEbv?34akSa!V6(Nk%N2&(Yfs-4;;ruFUW{!SF5?mPrmo~6vQE%BGNiZ^oRFO1uGB& z{riBny`3&%``94cyn9^0L^K07VU!aL$3?THZ+q44RuAVVc&xcidrqP>?->MaPN549 znCl}U)~}L|&v-b))q6?82?vuRD|wAZjwtk=_?O9dYS{N~XdXIkad$RexH&3_qP+2K zv!d04h z;;rgq`_;4~IV?8A0=y7n+8*k>GY);6lruPNuH6r42w+K2lFYsMeG*T!&=n0QHf-Wg z^l&ljSK_|eMZ1ZP!$>la4Mix1=*VW{@49&ZGek7>`OuTDlU?DkJ7l4A>}JFh7HCc| zuUk|oo3ei{r-13JpmzCYWjUZ}K$WSbUZrt&<#12bt3=hzRu*$)5w!`2vR{%cF6Xsl zgC9qyt6Fcfw|~-C@Q!Pl^+-EogGQc`t2nzM1yvf!C8Y83dHZe1Gv$|H3f->IZ|S8- z-;Z4t2tHoPP^fM`r=MdFF7D`!GM`Mm4J!HZLW8Y?oE@}eTv=?am!j<72@r`~Lk55e zOvJ1XB;8AuZ=dyf>FcWIkgCf`u)AWA=^({?p8u4kQF$?B+k9jDqcuo)CW@15YAh4p z=A?yZp7S)N>jA6L25NMj0vpBgc3EFy16wHbw!yIVwuY^gV{=)1_`>1D(%DtM%LoP5?^zsxu)B-0Nfq|!g@nbf4)u63da(yWgozE> z;YV#IZMeyl55~%Mx!V*g!&Q@+b-Q6t7;}ah9Gk{8kUuaA{0qZ7{0;sD+c?)yWRUPO z<=~9#3FeX& zDgOKH+>`sEk^Vi>duwsQ#_Y4MdnTNNJ|Tfgri502&9%Eq+dt2~hY`EkF^B$7Yl&hh z79&VmK2~@nHOBaR^XQUmu2qVgRZKsjgy=Qd1p^@;Fdfl}Rj|kT6v{r{PbyH~RsB9s z$11#;FTL)4YOmkJ_v`?!gA>52cS_#fEyEHlW!GG_^+lc25g_n$;JdBS;k9rmH`9GC z98v9`SD6_r>@e~p!TWauVyQREUwB+yJ#%E!a!yA*wy%352xhz)3_&UmLr9UnF7sqF zp??^D7B-6nnBA3^feqDIg;;9e8aND<$sq>$7p;rIy1MxQ_G&IsH{bW?tqPYz`L$`q zCy=o6bI(>6eslO{AXaa|B!i$vXJ!=4T`9O$yqs5Yf~8L*`n~RCw3b%jwOM)D>SO#@ zVZmyO0=E1312nSzV+~nNX7iKhViOK6xE+}iO$?(L@ZF&fK zWVX1x%oF4fn>NQ0b$5`&2lMH|>vDFWR-SR-V-CKdb#z1d6={@U7IvO4?Jv0ZvO+^* z$IJpMqY7T9a&9B-`gK{<9N^#rhF8jNDg!N^bEqzx)byrfQ=0)FiK|;qVE3?T2)x zBQQTP`R$fvb?|PqoX_S)9yik3S@?4U7~PdAJ! zRL3u^cES-H^{bR9(V8mVL)9(Nt9LEzZ9_yLNKihE)?(UcXiO_y1qLctG}H1RHYD#^ z{<19;&<@#`=V*$3UC^Ff1evI@WlQfJUCFckx`R7sm&u!&+wTu+JSU+orzOjT!;0L= z@+&M$^2@#t77Y9*ctGFF3Zu?J{flF-6MVY}!CRNyHabuKVL-s;jbcH2<~^PXL-?57 zfNxundPxziO6zWZlju|rt`8{LkB7lsv>=#%%J-SXY45)pB&PYc@!@N*%%PV7Xxx8h zqLL@H4~whKjxIJ~r{D53k@Bl{iQNch6I6()V)k7X5Q&gUtNs#NY zKKC`SOQIBpv7VT-S%lM~rM6LWm|M6ZI)V-$UJu!fLtn#9njGy@= zh0Z8g-cvUh3yk7Zncw)@K_96r__e=uJsKceV-)5yP|Op6+T8ZEG(+tIZRd=OtLQWX z9l~!Eq&$k{BIXmb6tz&;i|1ogV+ts%U01(^P6q3gXa#*EN}{qWy7M0}UU){#9^U8& ziLG#{4LxnBp3-u@I=kq_^j20NC1Y}8Ji#bZ>t6{zpYn%3iK(qEb8dwx+YiEbu79Hy z4l=q;Ymo`IuGZ*7E59k*MM}}?yecHOY}VFG{wji{8$vLPEvQb{+wL-^ z#WgjPvPS&sC18-!h@-Vk+-N}+O|$^WK#6LE%%M*$mP}4$OBoDeRw)kZThB6PFMjmd zitfgH2TO~7@2Ow_rVGS)clZoh~q)%^i;uR3$8O_V>}wJ{gjk~WLJ}# zpglvN6&@Mk?LEV%BF&7m&K$)Yl~}4>0iBcsFBvC!1RRM}6ou8I9<^F|#RecCYrUX2 zRfmdxjhmEGnPN6u>q&X8S?KjF2YVKqF|z$}(4t}QYK?hm+C7rXuuC)~R^0{Br)9zX z70JvO^Oxg^=d@bHgDruceb?y?%c@NG<4^sUnJ)<>;E~>x8-z!;imSxDO-Fz-{=&1| zFzu_<9xqIj>skv>VCCr0AFe>gsBfn!@6iqJD<+nSIB}oAN5Q?D44bOf< zK82VDmznQsPVw3!O)}T!1@O8+FX9}@2PX@+%~-tUq$4YT-m1PQ{xRY*{*&24vc+8P z7NAkKFHQ_MnYqvj$<)6z(|W3E*q$WwQ#U#@LmQ#tf zsO2B=%`KdhdU|AX{a!ROGAUb%x~fs?Va%3M){xI0*-N|7Z%Ok2VH5bJV(=*?iNO_ynHz)a4jIYKrFrMe1Ke#_KyWS|vz9$1? z2Vfw%P|;AA<~>Q*#n9OXhfWU8)SV0&){NX{h@UFhz}v>yY(zx=19bs&)r{09jrEId zqF9pJ0#Tp(Sqc8Jc;BJ)s3XP@ivWl4UW*bY$Lg>Ggq2Xgj}n`QAX%eymj#<)(RH&B9aQn z0uq&gz`<)gspi*WQ>6xL^nzA_<)ceD3wSg6YYJ(mxmzkc@;|^juahQkcJp5 zIzlRVDQfal^FIYk7xi&H@Ufk`9c` zPT+<9n5n(PgT*W=D~~?*O=@pG;*3$qqUpoqGO3fL2beVN7#9UW21^!#E8{nOgZ;xw zCnS@R{%1t(1$*NoaU1s}pNX^32v`}wT=t;E5Z4#b^>E?*G=CDKiZa#t(zv-ShoyOoE=MdOyVxEElK)W5%!y+* z)QeKov@sbX&CsdEu{NdW8PnkyJnz;{?xl9wza(~65xo<<_Uz728C*z7kz1YB8HCui*}U%lgmr2e`ROQYAZX;Mesp z`@m9L>sEl+u2O`eWLfUB=h$^cUi z7g{S-_|Su7E`u#YiDi`Zg)2=SJDQ-x_l&9CMt7^CEqitYK3^%Lf2n_s8E>4Kei0lr zU@}}QEkxP#{v35`_2Bl;Gazqln+F$U{t)pKZ_*Q4Y0ED5i}QW4;L+<0uc1%8a`eXK z!CLyNSALn)0qA&8Kx4mDTDI%pSzq{gQ)&q-t+`B=)6QF`w7Un0(|kRX6! z7&g`38$rcb`^?oIVXbgwFg+oqIIra(+#><#=`w zbs6s4V;v_EKMjloc()>zEjqnjG6)I+d*jM6d1^uJ1J)?3-geR-c6 zmZBk#RF`1p)QKByopE6_<;m&j)e01{YtIVp6%^C-*Cs7j?}N-m@+qZAT@^Ftb)gIKWZ3fZXFD?x#&S0^Qc|+q?|?`QE2lj&a0{TOltfot4YMS zQhYe&tl`BYs5X~%^E4aoX--nwoR@_m18S3#iqm*=vN)NqA|;8$4eDy4J>tFnK&?~L zs`CtW(@MiQ`Zt93E&LN&nK}oYvOJML5!Oz;{(CRD0xqCRdnHzTkc_g*0?YVdN@PL&6qi)b4oT> zb^ez$U1}d32-a(Zw^MlTRSyZmo-Iqa@*ekH7JtNM#n?s@^$h#?# zMV)Y{nEGf>y6@@onN8?-E%;7jG6M#4?fkjT`}yhbg|g$;I<#90EM^QmdI>drQ0E1F z7a`g-6bv{)^*(akjRG(~peKC1Tw>@^-E!^N)^&s-lY|b!4P^{{r&mwTmQRUp6%%+A z>!XFvQatX&PEQ}(1e}C-g!!Z90@>1p!&8xpfxLrFveVTv_0iH`RT6^|caxBKb?srXuj4~}H6a=F8i1*PD@pK6DIoExi0eHpCeiJQ80kj%#noTjt)1||P+Zti4 zl};veM_t)B$aPmG=;)l%)1E_dK+wRF0Z7$C?nR(B*GSYSPIk^+)^m0!^E;o9vecgi zq+^uo*A!ljvztx$UTf)yxwr!Sa0KOZ10{C?KG_i1R7)DgMe+8D2vDV(S_5Wu%-xP(B}-qxIzJhAvnH@G_5`#iw$ycyM$;Vp2*v zh_|+KjbaxP<>d9nvgfjCbv_0Fh=`3`=@~7q(MA%r;W&x0QG{h-mP2^fFIe2ayUgc3 zn$o@OHkK`EN|no^2mZr(jng?8Zx)T!%^^f04<*KA-SpZ*{E(7&ueB*;jXL;GRl#`# zy;?@BJ!QotRo^;4_)u`k+9OJ+VfADAbNK}OOr@n#XSTCLWC^QcbKGQVGc5@8Y~rIM z>?-cWrq1J&B5hM3b#yo^XX#-l%o);g!>`m+Fjw?NL_(Sqx4Le{a(^+t!^+A|C*te1 zkICX|$Z#^5uvXM0IHq~N{`2RzS3?sU)q|yD+Y9a3cQMaL^{vUY6Y_V!j{0T(-$X?D zegU+vu-*y+!~o6QZ?d}M6Ud0@c*L*JX|(U%yz7jP<)e*b4e;}Dh>F*eeN|hKEe-6p zd+VAbp8U28w0a8yM#FodEIPmEJtC~};_ymD#PYpOB6vd+4t(+}xM>Vlht|z~nnaw2 z@z#Wc_@&PdX?I<5PC80Z!Qwkz`zTqFcIYYyZE`dB)>}Du6lO1h~BU&Ruv%Bb_GUt3B3-8`i^QWDy10<|Kp&6OFn08`&OVm>xLK z`oyb&!S5oh+_R+Q52j*8pfida;xHZFqTUm-m1HeCB-}>y=JKt3Tq9S!!icXabYe(K zz6*bbPMI)CB}^yXxeYPGDtMA9z8;}x++$epY4YA=pM1_@%wzei!9{48=Kda<8j<-I z?nx`XCL<1-Oqvq5=-jv;_pacy>w^MPh!-Vh`b%P5w!kwlxM5@qM0m)zLXW^?$ z$_6_t_ylKfgBCXTZ(?(MyV-9m>b!~s#NVKkO=N#lFygq)FUNNWjvPD-T3<`}Uzj5P zEERU$e4cHsPB>C9yAbw#bt~o^=*)9=(vFWnuISmxoPD}*;sFJw-Ok2fBVh(bOQ0~| zV&!HNjllvQh^kLOTGOwObKa7b`u#g91@odX-R2i4abD{?T~5TB>tkJ{Tj~D4II=@6 zifD}LT^}4{mGdGkJFSo1Ob(b<{!%|sPn-7Ub~h;tJviNbJGR_BC=!%hQg_SOGy;0< z0jnYoxDcO8SY>xcEkK%khb0s>pqi~}oo!lH7f@ciQS(iVKG1%bKDp{lSU>$-+cwB& z?6%TG{^%&N%t8@=nECWkVUY=5OBNUNEZui%KP01_VPBonZMLmdp?I94Uh8V70p^KA zpxkpDJYzaVZq}q%l+unHMWrc{Pz{SV?(`Kn@qUi5MGv9M)W%jbQgezRsFAjBZKCxu-&~<=6)X@L$xrsHlDygZCfwP)^^)rot*ug)ui;=P)_*i(v+)twENR>8=2 z1@@?CB4*31hWRc|You0lw(tuoZ#O>te|sj(O#d&>gq4~7zcvXoAv+5v=YPBZQ#0XU zVdeV&wWwp9!Bvv|7TJkf@>wGRw34gzISX`zcp!s~UH!;iP?HOiB->uefm_}JuqjEm(E3Zm9bcS<);0t;EPB0s9uOPIrJ$}sT}FG%J1dKP_F?FsRqHPx_WS_6!RNSe{t1X{c!vPc26zcD z)L7?{lXfCQdkn%C_x#>Y^1A{S+;>QgM+6{-yV+|X@Hg-u`d9N8RU)tlH)b$^7#EjF zd@fWm-5kU|6ePdO{E>uLzDEEe=@kIV!CB1kkq8rN5XmS8{Obk}L?vMrT)3X(hby0E z34A}=_1H~}Qx6WhlR9X-i5dAnmv#&!nXmP)`bkElx2JTy&&}__kAw7t|(a}AZM_d7a8#RZK02S*$Fd8%vBK(3zya8?j)x|U1JBR(nLv437 zF1ven73TuAsSoP+L1MSRBIw^l3k(3Ar?<7&zx{>%+5~}u0y2c6#I}HI6C(uvRT=Hv zXZKsv0JIbG`kNWhf`a?+RqgKDp=%@#C`d}o`t9}EVVUF?mKs&}Kdw&sNuZ%B;0xLT z8xrQ_Lt#<^p`(CC8tQxh>PkQczBR@DN~%h1VGpn*83Ts%+un`GIo&ihcjx1-_*Y$&RNwx#xJM zjh909Pm-Gn=@^H`Lnh`{1;15CYGHmV$5Ww*X@{`j@n4^&_Q9m$>(?>;9X+c|Yu*r~ zj|>$~o6MSHJ{^L?I7%c=J8Tw@i3y~q7V^G^UaDmG2o!WE?>&U zyxg;ts0?YTUB#6g`$c*d%D9hO*!P_Eq7vDD@6-{Thknp z?!5#(19QTm#eB(;%5tA@3Z*Ew$G9HESo*N49~BmRcNFTikgnIf>XXbkGm|b<8e4x` zY`4QGdYth0-Ff1?!@2y@Aep9EFKo}nCy5E84>>CPA@AtF)aBN*d@)l$`lN@FR zuebAWQ-5z*DLC{KFemh^thA9#Ts|yMLHl$#R%v41Jn4_`!kwi*2_8R27-h8lu+Uh= zhOW-k2q``qqG2x3>^Rn;X_73v-x-GRV_@A*AkCxx!0iTQ#%i>i7>jX%KB(F59j?06 zQ{^h1nm>hJhkbMU=tt6?B8&dWXO(c<{P`8E8FHJ$lOL)fFOoDB1bhy7a`n;7WgHrgoE9Q{+BI<$?^y6!%<>$v$x z9Y2bH{sz+BQ3S%>{KoF5KU&0zzW0KYWHb$?2hAoE$ZQ?s;-tVx~lh5PMz{B zUNeed&li7_Gv9hM%I`UJZnh||l=fsHgeVmZYCY<}9&zaL05BpXdjz;vx5gZa2N0`{ zx_{F#skra4wDqE-HR_{yXzSDU)F1?96%{j?fjco7dWNs{7$AT89;6jLW9-rWA6% zNY(CeXc;HBd)c!`Wi@q{K2Izp2n4AUK#sA+)`rw#$oJ7~V{hOsgOzp$sDw z?zJG;FVpO;PY^9v{yjn2Zly(s*DB9<&V|?Eeu{#6ml|nw=14j#C)MG^k5@z|SiI0; zUtpnF>WJ4q@Km3zX?xF2>-`RBH5)Mun5L9m2(rOch7Kjv)*$EA{;5>;DOrKmC)o$>ea#_-h|CoC64>`Yg6(WE#hy`jI zI>bu>OFA;Usl=>@ukf6h7acB~)SlBNP3FX>@bKomnVb#Kd`IN-yWNsRe8gLBGK)Wl zpW?%}Cx)<4A-B*H zK+Scmhz#wDH0=uErua`7-@bn&)!l_xRYcdfF7D&Jq70w({Ktw%N69a$fPrf*`$DQ2 zy3=eWmqtE_!N{hywT~`gL1{lrW%~+Z4-a+D!5H#tQBo<$q=bDb;j99_Ej7D1gl7xt zB8y7SU*xB*(7qZRrL-Z=dYTJXXw<>qFnT*OGQkv;$91QhBwp2_*xcS|ZY%0c= zB==A`kEyh_3b)8f4+Q)Jx;I)lMtl?!C{j>3*7%JLJ7uTV<$D&l9G-oWwB)mUR{YmJ zscSN{QJ=7En0l|GI@z8bYi<;Yk%x1NwJ_25^#5>p|J8p?DBrFM2$VmpF%OSQ!Cf4% ztQS`po8@jH@PFb{rlr%meHCCsvQ{3A1yL94R{sNg0cKtGr3~Z%2ycvcN8(cFoZuCLrq_`EQCLo}RUa7s<^DqHipISkN6u_h}o>W{i^@Clf z2Gcs~Sz1Hex_+493$3X*XL006$k&EK8#S8qYManz2Vla8(FqiC!Q(`%W4PauJu9`(J^jzkm6XR z*7Aw8Z8ARJ)f$}Z5P?=D&1*Zw_|?Dd(N{0ioO8PT4rKZ+3!&kJ$JzI~H<@?e{1zmP z-~@%q4?Ww|0K}P$Qm)&MUB{d2TGn*AzHj)jBhOcJ^poP1UT7gpE0z)aoH8@vWyzTB zI``c{c|y8)U;ei@8zsPZbn^o>Jv+>;G;GPcJ#BNwZmn0u#J#>c_~evQk3-ZUIvt!9 zpuL$B=vExsVxcAuv@Mf`R;sYr5(hx*n~1bh^9?&5pg8duCV)iXOVXSxun-f{6jQgO z)wc%Kkkc71>8zf3muB^WvYpDM z6}oI2L>MuI9&y5~UPHCf#JVbk%Kt)IIfEk>Cjiy=)KNM(@r2blId~mZT2g+H#<~BA z>(qTeZXNtIA*tbZ{}pVGM4i~LXKh(7X|J<=&<<<87N~yNA8nhrfV}DdSzL{;O4@jD zAts>kK#0)0^7->|y{b!DI*jBjm}C66n5CTwoFX~?AA)8&n$`U&Jd z-Io}@BNQh+`k{l)!bH5%8ADp?+7w$1-(ynH7i+GRg0$RfCuw$MQt$41Cs*%}#!xFMq@g(*KT>eu2JBuZT*1{UVsDVdf z=a;p9)=;=-^)b846~INItqM`ziSgJmoau8-##`umV`ks~=Bw2NV{$ILb#L~{9xs&| z6)3K6te@<)`(P{p%VTosQ7XkE-zHJ{YLW(>Ow*7-aP%7x8u&d^)N8QrYV$X2jLlE^ z&9)oeFVN|BpVR7PS!oO70o)S>rgR-cAFTEvKP?U|-v)o0y*8(jE!8rsm5&36RYkDuL)Sp2f9%E4~Y>}TqCGreHWn}|uBE$Tk!$KLBoYe5@-sPrA zj`3(OlE%gJ825!}5Vi%F8#5{974#+V6pZpaLh>&kM0J3ka(p%5b9i+Ac~TX!M|qLS z!?vLj5^+7;2r749Uo2dBud&n1yJ=-CE{hAfwVQrgCms&W;X}dsMBdI+Y z*k2_2Rdl=Id!tu+c+evVwFQfsX!vN-X&Zs^pO9l!N>alyJTUB82+5P%%(QnY4O(w~ zaa!lpf$tJ?tt`xr;!yunp*YG6CM!ovZmy}7$5LS

k#Ji_7u2tEDT|MT z59A-SyAZ%lLh+ouPzW{&sSipO_Eeiqa(9P30GW^p4z7^wXuku zpJ4kTQg1x`DW>s~m9c#AIsGONgx3q(WG3)LzJb3)roM_XRnLik^&oe(Jbb(J1ck24 z7TXA=ZE8@r3a^tVvfW?D)qu0XS{h1LH%mn~gwMT()5$Mc7_FfGF>Y${NG$07~kBF7w29gjA*aVh>H4GBws-Q;t~M&KMr zH^lNNko1<1bsUEjd>7X`J}aUss6-p|MxBfj^etvJv}aRJbXs7`lw-H-RdbJ9HPVno zpES?^mVcWL1I{=CzOpy=revPyBpL*t1DYL%TOkguLq+5l(qEnu=d+0P*k~R*D%f1J z^K#U*A&EH*R_w*cDf?~SxgaI~)_&i-2~ru-enJ{zu~Y@-x9L}f^w<9dQHS18S>nd6 zNy3dg^dpuxNFekjS{26BZ#Ic&!VSN`1xkX?neEr~?C0w9hab7CjO;HD-U=N7P0!9B zm<`g3Su#LW_GhUi07P`QjC^D?z%)_o7>rOv5;6!dIqRM-4QXK;bowiU#)>?Q1wZ2Us54fTx4ffAyTJ?s~*ToJaXCEBOl+ACkoBo zw@`grxucloK20@0vwtjW?`1)TBQ-+@YgYVn1N=>*llROv-7qSxOg0HP(u5Ch@d>^n zL6F{lQU+a@t?KjKvNLv4*2@#8cDYVDW!9D(FVy{`J*8CZc$4$YSZdFIJ6|7f4k+e* z6^S2&sGTJS9Qo2JbKViFnGkh4NghsisglBd&_4GHtHkMn@_8cmnSD`FsiR)LqxDk* z*k-zKPhOzY?BPte&5y-m6MAg#)`rWL&LHrvW6E&gK=8sId%QRc$Io2!IbmfAfa5I~ zGD)rmG%b(ZdWz;Ps-_3GiJ9=sFIUcj`*5yYQOgVipg{MIzK+}LC{+Qh@z z?OXCgC&*q7F2__sz>+xhZb^@2sgV|UXePSK7*7?9v=XU~65XXpKIJq~`{ODn)s8-BII*0vM!RCn{ zx}Y2CF;#yLW*|8`Tx#q7#W4h5UNf-%!&|@l^}RVSFE;Ts-+b=fRhrF78P^SlX##)8 zLDw_E79VF3q~p-Eq7`|U`A>ITpC8+0CllpRmk9(!gjFo$n5g5uyYF%DbG z61=rqU&S*Tes4ET9?$*l)P$dlrLv-$eA4D4n4}(vLgm1j@b8R*Inz>8hnkPYDiSOPF2ZvZ z!X>sIhvyD+h--$8vM^?ifEnQHs2$dWpmKv(3V&`biqZSr5c{asz`13^ftpznNtj#P z7>L<*n|Lzcf&eY*_?&Kkqp?-BL<}~A(})jEe@0p|_Y2j5=D{hIkL85A?cEEXxB{0S zYbRMh+&n2Ts`nr77-OQXU~5V^TczIB2Kg6hGC&z@o?ha(A!n5OA>+#7YqFXmS83>e zEgX(43nxyA1n?k~V0n94+^`ZnFte;aZEE=LJmPdCX&Y}Y?t)---3p_k|C~ks{%Qt=xXge&}yyje7Y-~n*0mk{JMUmPP8FL<%TY%zaIr3A!Am> z?G7NG=g=UfJgbbX&CSqj_4{k%&5z#q!dmk$*XLinO45O;l=`;`(e*ApzxY=<)w#pP z*c?yS=SGkkLwyc8p3-e(o~N!% z)<9wk_)Bss3}x(_D3fHEv>KKf5Qj@i04r-5{{h}zNB`E;hPaXQd;quiq~2&C%&7)0 z3q~-BaP;$>Q?%7gnXgAqkBTPXyr+?>Q*1SZ>AH?f7bW)ww z&rBe#>oaKpD@)Cr*IKZ=Vw>7BBHEJQ(43&i1_8`-P}0iDVxDROxL_mYBmFrKwd%wY z0foq(8vi=JQyxuBuW;JOVlSmsnG~30>Cx6CZKH5Fp6>Z%nvZWW7;@6gaio1Qi!~a+ znj@4&eE95L6ihs{OM|QqlWOJ_6?bnNdr~e=Wk4$e8xso%OKMX|>SB{|JK}3S`{x)j z0(GL>U-4bp?lqzCuJ~V8{4@Tb8=GXfo*Q$*1g{yke9v)2=Eh)O?gd`eVe^fB%lj9} zxq;iz+28(G$*6x+)bf}b7|*zVx1m0w`Qhr5Oqo0ENNsFqseV?%^F7n}k77!I_aUm{ z33E-a`^5o0K2|$(i32wFx=MNc5{ZZUF)Jc>tM3E5u6Z;3L8szeY?Mi6V}M*}9Llsc z{g|?LY$6#_E5cb$D*2fkFV79~zFek!ybo~Vuq|Ob;*HO0fA_-F^GM7he(s_5mE_X- zg*C;THpO?`@V{=J_9VJWm(bVi&nJXk85mMW6?T3d3vi3MwC8}c9FN1kI3m25+>)Btz8#YbxO{mtOvk-#mESr&k($dfhcUD&m+#1< zPVisnBT7~@SpJU$yZq7m(xZtUiNWC)zLow?uNi>!etpWyz>O02EEn|NO};d<@C?XU zolQ)Wl-pjj9%B0oDT2J8YLt7@0h(x^Wuo|&}Z1&@A5&>RotP`7ts{T>fX)An)ViO z3xe-$FpWZxL+@RwD;G#w6sEoy;?BOFzNu1-fMYF{pb6psmd^nfmP4oY48R&ZN3Q0aJ#t&~)-E}(BT=gzQ~&Qv59 zN!lAfg~WA(he3vAOVA*})P<9YsZe@(TVK%-z5-&Ck!@ zD(9-|uDz?Vmu;V2GIBMQLKLP(R*iw1OyHOpn&+698HeNJDs(xu z0srWOiPb>(IP^BQ?Oz5&M<8r2-w6@8T)yjL8(W~IIW-_MbRZONb`(fw?G22e z8Cn{^z|eQS)%i#{rvGh-qnYn#{>N5_8v>OMv2@B&BiP2J32I~(u=vg5p$6X8&-mrL2#!pRtc_28#=rExO%oK65|zJ%KHbND z7olLbx`25uG_ZhOW^7`B%KF1%j*bRD`z=x7Xn*j=_N%YGyOo$P@M zyxg4>Kzy;M_uP!HfB>ubhv|eT#xA}cMPK}SuKb=n{<0tVH-7DfefdL@+}fDF(6g@g zKmQW67Pf|_e)hxhg{^H|7y}>M@UIP=`e$1K{px9P7DR?Nzx=LAabo$=1SP~~uKG_| z98lODK(HvbI54sOdTafpRe!gds-d$9h-!;R_t&8T?TB0dq~991#`OE?;KdOTztf}L z8$17eN-*LWYbW=s#bn0f8JzDMoWlbaj}b;7?oB@aiJ}y2^@m{&2-q86Js*I)NzCII zSX}`D)WtV8fMA9EBY(uMfgld}BR~iKK0-QzV2b?yr2`87=Z^@95+HbpUfv`G5UhVgyg}?~9`a_+#=FeRym9VEUAp zd_ekTWdDHvl(xJb%{^kcyhHBkduf}8`!D!rWPF4Afm!^JZ^w^ib#G;Y+Wr_m5H`O- zenl)i65JPa=>G!qQyIJK#@)VBk;GQ;OF<0siq327_rA;8bCG`50 zpX-+*f@+@Lb@+CcP)-I-2O^a{d7x z(S?Q<$KA3-n$SGG_Kafu6aE!i)l8f&hY5#%1Jr=M;&>S)PbfliNh3P1H1s+|+P0P_ zOk@)hKY9Hk;W7bJxw~as-IYR4{ypMJ#ZyxUTYM2<*1u!^ii!eM(%)PUV zJqq#-@@7^i!(w#0X=q)&eE~L^U@CWHpo=X)>2f?zO&6I%pAaV4llPN8B;O&^4~>b{ z?;!LV6nF4zHvP~Q^H^uolW@14C9K)vB)SUcfnbpC&;F6=rR}d6j=`cj{`$t%%M>=Qj%WlQjP=%5N&(mlu(nPDplle-)O}lGrqU;m`I)f)9zKO zaQO$-}H5oNckp$x-+DHQlZ=)=r@g{GFQG_ z3NF<~NrhPD2Fu<0JCv8fdqkF4ZNjV(myRCRY^^BUmyjUZ!vRM=4I89dotqlw)U13i zEQ@Q1U2=h7>=S_u585=$Eg#9Jf|2V|8B;bvlqQWUF|Hde6xsB`MjAr$U73aN)LAbl z;sqkISqU3bw4Mw~71oO$w<7Ob9aVKDw0D>xcQ<)nle-U zu`{n0>3(QHgoW?7xv!04PezDhT!|rb$!-6c_~I%2bfh#k*6=^<+JJS*6DW z{Tw^!h{*;!QFmI3ciPa3K{H;Y%e&702L;20&M}$00Cg4W|*rYS8tT2OiI+`CE!(USr|38 zwRAVkp8*~ZA0~isG;}Z-L#ND`oJEeQ;uX3r9d}UT=ic&5t~R(Ge*NbVCp`<5Xui{IqasPD(1pUf;r?U;TIzN9LG0Hb zOfxQ`CtgC@YhWaLU}vb*pb)$fd!DeIr?F;IW(7I_db~xK%q2XMz>sfnGrNq%Xspw& zR#!Vtys>e#@?AjhsedwmVFRNR*zEZO5Vu2q=AYLN3Jur=_8!#(5-4*hp)tN zelHILpVtLf0aAiS>8Oc*=wXE@5j9rC7)6ZSzG!sKH)tO7aUgXQEPcsB;yiMKCYenZ z+=Oz`xBD{V3BItkFIz=$5@kHqu@iD7v_dn~4D;P(n%T3lFeTCydd~)As`04i73_Zb#b&f+To)D^K$ zT0kC&5k0uusU-a9C0w&BC&qa8$Ys4dTQh)~rjHc#1@d+DdBrlMx1x|2yQ#+;gX zH9{M1`Xu>O%(Yb?A66qJqrqyt2Xvy-f4vH$9W@RO>=@^zKmUj;TeM`Gz+=>HSU~-R z0NsIcZ`#b`;8LtWH-)=D4E;0(qH`?DJ$ypK(J@hCLc2?G7@9V7-)39$Z%0tL#ISf2 z4ZGgM)BqrdIu3(c6cW-Pt`l_R%Vt*dNCA&c(DI6oLy=A{z@k?63PREKi1}>-WY2+V z35(utiH)$Y^sUI)_3Hkcq;e!=&u!Y%g7ex1T4%>Wq18`v;G(uUQZ=?7 zZ_K#h(EO^tl}wUl*Ipm@T?q-AP=mEt_ScL_vMsw^`=VWp>{AVPo95!!QeX zuC3RLc^u9sf^l?_z|`;$q-wC_w(TQe+whTW;Chyet!Ytq=ex}j+>|R>Bz@%w$IYoR zcUqO*h)mGI=5j~LAF4N)VcnexHXEHbQ3|Q7oUfb-MR4g8SuUZn{*lo6fQhw$vzg~z zcij0w&F@fNMd4l=>2cjqw17u@E0oM0jd$L>z%g}#KAQ#4um@DMGm`t;BGAHgKTcOv zrzaM9F@nelLhw@D^HiHZ>~n%K<&b;?#um;0`8!Jt>Yk7~`dyG|c4*15exh~4^@DUN zks2&z$)G$5@nOYK^e9oAukhYw!tvFOp)gYdaf$_qP&i(|m^UIQa}}+1WeU_U-zHA; z2)B05mDgflC2;zj*FRpQkOIfnM5j1i3|G}Xw{T*hmqw@(oy~yI8 ziRn>69^b*dD4*UOQ30_=s7{N1?>`HqE}U?6PM1T~jY7r`Q;F+Vyjz(m!t-r~?vOYI zY`^{zw4zT}U^XJ8D#|o>uU~XWMk>^K)-MT`pyv7n!iT7&!(sBuV;YL*&#kwTSh^b& zt2lw^nRMKHh%A{9?OY=I$##{Ye6rOYX=z#T{I(fYaBQC}QAdjn9T^X-YSLew9l^PC z6>J^TVxGYA7>}dV%h26*m*QCb>?8XObBLzZ_b!I&FmS8Rg4*vq`oapj{y9_j_088O zjsNbICVUofYeIMZxygzEusZr1KL24KlD22my#$Uuy$!PB?8whCuKEGtgy=|w(0~!9 zu)_8G_azrExsLe=Q_y}>6AY8niVPzmG4@(#bza7FIl^gc018O!NirICkor~oGsN65 z`Nu(D37OV%q#yzSIUT6T_M6KvzA7={dLPFOIK2}dlcM41DsF2uK~Gj;*vCjN=N-hl zqhuA)hI!r8$busSGLF|#gI3TTZO1-caKoT7HD0Z42u2+3p+Q74lWrs?K77{j5bEd8 zRknP;^e7u#tMIoh0qTy1FKMt7Lr+{Gs~)z88tEU5g~Zkc35^i@e`)pluLNzRt`cU` zt%dj*Nn}d%F&oDO9aGnDnVcnCq5AbWcvu7e;jEd8J1Jd;6ux3khwJ|lx19L&2mkgC z$7M@o#!9E-9)#gYQzg@Y%E@$Mr!r=%@wJWyW?c* zIQFj85yCJIT} zqmcPyIVI3k+y=g3rx)q1_w?ZDHVjjENeM6Za<*$85-en4G^$$K(HRxG$3 zoKZ8q_z{D_2Ujx04>zYslTX&hfRSk_>dvtx4I;Jyho`<`*4!L#m~aTN>IE9=t@Kt) z=_`d@1o_A9O3af$3BE^$ikmchA@gvU!N)1k1UZu>M9Ze<> zVqr$BwB?}km)}Fu$4guud{hfEZh=eIn{6phC5$(v2AfVzwOqV^_Ed0px8XK`oT9Xl zOP`c^LUa%l-?|V>mo>EhW*i6x+4MPHWiP9AI3Qp(e%)vG0?!T?C8ZI1PH@Lz!ejo} zSxY*6KJ$K2E5od=b|&j5SF6>0cu*u&NqQovEm_qCFs_s>cOT+kK+Fcuf_QQ(jr|Rx zN?aJMWBZ$9;g@;%^Tx$}*=kDjy&je-G;({3$Gx52+;XltHu7$Vks$da zmh5B?v)7I#)2qpryd*Cc4dE_9B9*K_g+L*Df?HmA7Qw>0qSvc`i=D0A@_|kKvhRC_ zK1n+c8A-}LKa57QXBakK9Pvz$J>&^5d`VX4W8^Q{-f>K{`hHQDIFv{$obIbtipq#_ zZ!CQRr!weAYQc|Fd(np)Q$I2nBFkK3abGGdkM_t255w2gvvM{-E4)sb zw0S1AAXkoi=?h~wS)C&nTF|FjMde!%w1*Vf;dPe%jfzUpmt9T&c?xgRzs!uCRQJjot_z$$IrM`* zb?`$38-59@;2<5+(178!k-%BdHXQ$)O*rBEwlVNXjMica!7S6|MGCWFSmq>4OWiw) z+Jf`6l86XTxN5X_B(=tj2)(rBRB~pZdCMVaJKMQCdbRx3DTYGka-Am|VWbLO41<_N zsoa#>m#!Rl^*H=v#o<2-@(%DZZ#d2r$de|tr1il%HJ&w^(lZ03Gf1Clk<#miVjnq+z8c@eE{>9wQ$+9a^m6@%K^d}aR! z5bEftjQdr-0t&ufnZ(AZX<$p5DuhcSo>w$D)dM>tSMT&4%pM=-E!sD)-&w+9e<<@L z&0IF<-z(q8w_HSvVHuT+PELrhNMMiRF8h+SAW>iC@Yl800!eLnpFk*2yN(E1VTJ|< zPl|XU?JoSs#x`6~SMa1;Hfer`*x0>Nc~Es#=v}TWN|!YIYmQ6t>r>z_o=MWbI+H(M~-x{c8c2&IatUqpJo0Z>P9wmY|6xIN(5*88; zzc2e&Z$SC(2o<%Q@?gaY=k zz~C=&{CGL+x>#!!@V-|1=bF25TzzYq2nIK7xD#6uoXST$6Zofp6q39y>jqxV>hlQ&x-0GRv9@P}uv+XTu1m3?5SZ&cTY}w-VO7*MM z!Hd_F19QrVVVfLZ{JvocK1BOOVU4B0p36S)^J!>PGE>SG3w6+{F8Z0W@^|F#lut z^+CdjMJ;AOwJC;=JVS<<;f&sl8Xq`mc&hUVqkQ}4B)Cv}Xg2w$RYQj2jQkg)btr~h z{jv&%xuro7_LK9L7Dak#Xzh|UM#0(QQ}Asl23}lSq)Tm(g9FO}D()OFNs7L-60zaC zshoEpof<*B{;&Vt7vIJ^1X@djke&W=ljl|3AwFT+(|ITin#U<0U(P@98?WTk(l?9? z*xXhxnIWk!YMG;DG@HHjad|z3V!7NjnPt!mAxL<8LrhiOWmS6)<0U%YeA9>?0mFLi zATpFyb|WLEeI>o6R1ln&bvBRHF4oQm!Y_3-@EFUxiFPZ)`Qxqi5Y>MjK?EROSAxX< zVcuRCA553C@T&1#Ywj;GQmh|_1!|R-785{7bqZ(*;VYPiNDthCUgwV^@Tt98_@Oc2S=(x zrpPJ4z8SvO@)|G7%*IA%Gt$aQQMfxAt0CrE-Ppq}u7|@FMox{x#$k#plV*<9r}%Axn%bCp8YP_t@(jsVewW;~(Xr;N&ONw) zsJpV5$6~99znV!gshJ|AY;v~K%iF!c173i$O;f}BHXvYdI3`rRQ z57+ePM&Ga7W0sSSF#p8sGLM3VN3a&Q69-Xh#ev&t+m9L){g^i;GqR*J~qiM!^!tA4&bY-^q3nk3NMCSLw!ZFNwK2t@pv1#2~}JS@OPeLgA0Kg;PERH>CQTI_aXEg5cBYN?kAvXI}W)15M!_Ohgqp#O2)46b6R*DKg!_7THUO^YU! z?)lXk5&XH%_)Q?S9l_@i816p;tHWt~?-crU2C39f358 zKjIAIQfAsUjHSzEmNvjr} z?;BDB3wV*W#C+67#{Nb&fM1r;N343kQV%lk!ZD{{w0#mdy^fj1VO&1TQ8T!kQc0u2NA(B(l_rnC zY6o#ne`#sfj5A7kVjxLO?(4q3DP-1IbRK)X4kqC#lDd(etDXj==a(;svRQ-bjZyT0=2B%;zfHz6EAA7< zt~>pdo1FyRn7Y&(7Aye|lrk#r$$uXJ%;}O*bW7W)pR_8Hl$<}QWwtJ55y+ifjH1fV ziX+Cc(sZ*D{^NC=_WZ-CA+K+2Y~@4piKciW>ey0cf{;3e)3iL#K)+#KTk^?P@UNs2 zZ25&$kBsRJZ@uj_T?L5l(XuO->`&?Z#J;|EbIHjpKaQfEHItbpzF8`Yz~0oD+Apk$ zq8T!mSFN@fSHrW^%i)yr)hl;VXUa5m3$FYUVLKAfIp$i)~wpDx3n(2uE5UQ z#o}D=exfbA0>;4>)*&6`SfYEPe^&qBC{g?einR-fE=3@MmWQRiU{{^;nCgIMa2s*` z-&nJ2ZwG`O2c*Dp7y$cv`fS>>1<`w-aGfs$42Ifc(aad*@BvCxQ+A|uAENlvP^ReReE>(p^nIE`gL+7Bq^?yM~5~$xpi_; znfm+Cy}QOzs{_J1cj=+4>CV&3iD>q(75W^oDn?8+xVpODb6m^qjF=z~QFoi_qtYm5 zu9`P!jlk1|Te{*mvRuCB1QKY<;EQCuub0G8M-?W$IQCc>^BZWSS~v{+wz&K`0@M26 z@C&!o8cJSi4Vv^`#J&P&5uMyUFq%1{SYWvpOIxJ3Rr*p#trWRyEO`3m!}3F@w3=p; zI8#@$k!@0A;m0cND~kq{|Cw#FQ|-RY;6dUuE>iuzYbe)E z`}8-=M8vIdJmwonl5->&Opupqe2Bj6kBGj&b&MCZQ`5daVY;~jnF*NL*og}@8y9sy z0cC=rOC6)^QYi{E6U8~*|1%Qy(ufo zocv_@$7=jZ2c;WKvk*5DQQt2L?uUEN2s?P9(llw9Q$F@;Vd9!eLpWq zklMU7Umg#mW4a93A^F!b2NvKA~dTbP@6zieTuMM2x2UNYnvXz$JmIoQzHgaV&v95VHFySwEYf0;)ga@mjTwu0$ zOJCt7bH)M|b-$?kgRG53|Z#XnA;tqGPa)4RD1 z`dw#R2;JZHRAV_T9G>xl@W@kJqSeRz?3YM04x|}73DkZ}&nBT`#2%<$fGluQH42zy zoC-heO}I6YRH|yAZ&JFS97vpOLal4A`(lkO=E*SauELowpPiN?CM^<`HC4_9|Hu$% z80HbISa@c@%qXdWZ(@yF83i5UI9ZR5b4mRz4n1n6s@7;u;kDl z5lO5I8Em9(kJm%Ra1inc6q#1cL`Bi z!jsF7+U{|h{}0CQsW}vA$pUa}+sTP-+qP}nIk9cqwr$(CZ9AD$Q}ZwncdF)L|A(&K ztG`7a(HnqdT$}kaRv~T)M^#C+Vni9kc$EP5Z*@oQW*E-9D+w7}-53ORTnh=kX0 zb1YZjQEqcP1B$y$%B#SOJMVR25A~2iHo?JW#7m(u%**9yceelV(ku4r#@#~i$U!CzQR=Z!X)h->7t z=Am3S@Kujf4j3zo9?EVZ>j%s_*#tMr@e_<0Y6(2)(G+Nd=P7~}#`6Hzlj}2bpgT~YXE9}}p1hpIW_?jy7R)BYfiTWbf{L()}Y?b9G?%KoEu?&$*J9A~Uah9ZM- zEwl9+Jm$mYgsl!N+Jf>muAksleL~`TC&R@$ZJ(2F#PpTs@M>l5xt1B15y1mL{Z|is z$}e0(ey`LL|BubiJunuC#ySjx#@W!><9A6d2g=(#p;dR0bYpLf<9)sR`+@yC( z1s|96DHSlbk}aNCV$?eYiGt1G-~s~K!N=LHD$zIxiuI!eTO8P^tP_y9$oOCVOPyBN zkP5>{HuIkin7*@lp1vbiLmbKVS&=#xNg01`oaN50G}`SK6)MB|KtgFWJAl!^FUm^} zf{P*}XzM6AOY;IuR283PZ-efSA6@b4*Oj1;#mi|pAosm0R7JNi4x-cjpYyWFQjRUC z&XoI_wV*!ckm zD`m6`pCz{-bnjV{C{7hU7ycaT$G1>!UW%Q3)LEt7B_ST)Jar00E7NLX&169@kttuR zYG`)xQyd@-qA2p#^0>F*c|CL9)>1Twr~=hj(KX;l6LnI!z08#ua6ngg=S@V_(D)U> zKh8ZS8yvAxO{~z^eP0b0@3#OY|IP)&dS)}^yln2pPPyJ{k2s|QS@oY7yYu+^GH20~ zqWDL*ma*$d-0tFN2d3u-+~S2OS~Gu|U#YOTl74voC{+tqN?n zIA;1j^)vKKnRT;?i9F-yxramvF}4G8)!A$zT53i z$1#DzaJO&X7%_=8otZYRMCY*^ZU{Uy{uQKPJHbM_FZB;{;Ir*`>lj+D7I1z{NF3Vg zsaI242;P+@4iw*LajDl@zf)1f*~~DPflzI^hUn7*(h zr;T9Y33f-l68vj3QD;q#dx}rIALa1^=NXG#i|7NUR+S|tvnF$9uqw1ufjmRY{)03Q zWJBTUz@DG#t|V__4M?$O18=l5v6R!Xq&;s#*Oc5nx%O1NEq$gdZ%%!ZcX3~BMEN%x z?Fw;+wK3VX1_yF1y_-+rX51XFi=xU;*qoP5Wma|offOO&4SacH2eNAS&cJdchwX>q zjd6^wVC=V*nFO9Zwsgrq_&mUrMR}GTnA|{vTK3;}tdiRx!wqri0m%X3=0a?QWv0wa z%%ke@Xyae|O#){l46E6~N^U)q8DS*_vmwd%{1UHrPXso2Wi|e<2tl;FKIueBj?;y9{Ai49(y{4!HDr*E!u&|;9K0rAkAJW}`+_e_8$j2RGXU@Td# z51GQ(O{h2*oV%*m6+15!2D$@&*;vE3cqL#wf8y1#&RR~O>hU(Q7}er0OkIIOhC$B9 zq=^c~YZ^_F!JIyvKewg#4E%Za8uAO?B;%lEbJplP0ahm~mBV?@1?TVQ53L&^#gcaK zl9OI>U*0f;y;xqDAmqlKB4DXy_dCSLOM&)_*GAM>vOa&J4c1(07`e>O^v^hly668i zfL!5z&A;t61Ts@dGxBJ;#bQDyQqn3k(@ooLQND4c%Js~W;R?NKFOf=mm-tMw468*} z>$z$PlD(0LP-w`1kj17hM?1yxti!&Q<66qjmT0rTF2C{oNRl=Jw@BJI!o3D;!EdAnuI8M&zlgMD6e+TU5BLKNZ8m~w{ljsDnG9npj%8BiA|BoM>e-s9hud+7yLi`F?S z6VEqfARf%%tWX8?3azN{d{{KtYR_SpjDyaRrlg2wv80{5dkA6jNxnUIN@y2)kaOcB zsP-Ogk`0bq+((lAYt2N?hch2iORq1~$}kmQ8vH@vmqa#2^uZO+?mbD&iG;iWMYvwh zhVBL-#H}W2UMV|}?ftYKnL%QQ+eVvwm;oX9>Bw1^1Gz>3ZOkxwOe2naAdE*fX2(e! z{=I0z#&aF!Izlelj-_yQ{*1V;Er6Db(R%F9_ zI}3ZOwD@3478kOZz5G+I6~6s+If=pkeCb~12U z@ZfAZ{+^X-g?4wF6&O&>xDDrR2C)hT@dlD{PTpFbioorUxFP^v!zIa@aVCEI;@4`{ zq!nX06ELVd!jydtY6oZDGPIRzj-nXK+BB7K2d2iS4#b;utIU2E+Z0lVNbjq%(I!na zR@@(9S**N`tbvHL3S?@}@2}x^3wVkN9mnNa)Yq`!v+Q*_kdc>-hOS#fsI+FpvnE@qP5zkTs*x zT)JTJfnzcobk)TyPmQ%4cY)fhKk4zWy|B$5(4CX4zcvcU3ypQBG{0iloyx+& z;{&Uq)>1wqX|4rFQihjubjfKLuuVi*IH=74nwNf3iDAidO}bIm2ZG00p+?80iH z-dJ&6X7+O={qAS^+5S9Vn_y?eB+Re|Cs2uAFuN7tP~lq(xJymuiplYpN7h;%E0vN7^w1w{kv-RJSt_G>>3;VJNa1WKWv+0#q zoQpK?t4)Kj29H%7bnM@KQjb$Bv_88Ys?9H+(!HwFeX}U}xbE{ua|%lwJs1>=-Hyfs z^7Ptcu+>gnVoj<+T4~ZT zt?ZC{@=L{boI&&JYIHX@obF{OZaT)us@upyn_Oa-rczf-Y(Ir~U1_|xx&+($5G@gb z)J8Z^U-FLC(4pcPsYMCAnmGyx<~L&%A7M@S|KTME$r9;t6oS0b527>9b0|t(S@FsT z@{kvX?n~F~RZ`@>;aUuRAT7>C&6m8~H0u%}Sd85ty%3zN8E}zdtu-LDT@LZ$$oUHQIY&Z}zD9zsv741G;Z1d zB=d|LPG2^+@@KUwMeP2|3x)liyT${(Z2kva7}%9JeoSlHW{|yS(3x_iF02SXxFV0p5j|(S091N7zdgIm zju{MG01`z?4JMzQowobTY%eP@>-l-Y#-pPAUPNp0h=@(KRIyy1(@5W&e&72MuzJoU zr_clg70)iqrAFyGwnVY;QL~J*ONglrX4^;JJ=F;jUFUL zHiI`3Hd}th1%h>{KXbVHJ%UEkFB(faPv7UVb>S+^=R?df|34%Wea3j5o(b!8n=(MM4!BoB8b_JJuoh*ZlB}5IF&8=-OBkZImzw$fH|h__ zrIgLLkwV~2${s@9BDIOI9@wH=?SU9%hm37TEz1808^)I=Z=7kPs7bB8Fy2keh0zlZ zkaU?Hk{~c4KG5mr)Q_h2x{z(WYGSwH7Gs#@90bZod>}|~C^lEu)?#Lp*;U?308NA;gQOZb#W#n+Ul~ zUQ+#q?9gC6uyO(JYw^iBOwRGaKD$@w$kw0M({_tdH&Q$&LJj|XIQTt88Op=C5`#?C zoak>a$$sAkA~eqhaVVO;W9v{S)X=%=Jaf>vxdvL=LxR7nF-9J8?Zh$m;AdO;(f**p za~$iW6q{Crdg!Yoqk_`_`SsAYb?kU67DqoD20ggZBf#@#gjFu0mV@d~b@gyl@`gCIOb1un+lR^MGeDKbZ?U#Ob;MZ~M<#e=fnotU@9PqF^n>Bgz0K0m;=^+n-5jJsLjd@ z5A(_8>Dj8g?OF{^0s3jAY{EGAtAGwj*B>n(dtnkG%vsCn21i$rC8#ON!b(MVv3ID2 z*O(}YX-=G;c-Gsp3f+_q!lLWo*T8lm>$}f|pY?&-(HmE%WqA02K*>&0_jz3eQKjd6 zOe2KM?LHk#GU%i9j{|{N^Y2trq$2bHP~x2srI=(dGmoEJMA~zMacIOu-V<}1qW z>!G(Pb8kz`YY)5;Bpm)W92#F6mOgzggug`3|EcWm-+t`jfS*Ih|< zx}e9MUP-XYx}>xRo5<{iV`}e<0CWMWsMu{EJb|~t?9} zbO8$!ilb7V#Nw~_o%x&Uv@X5{CMLq-$tQS{`w(zlb;U$PYB1BtE`tQqvBs!`XxHiG zQAa3*wa;;()f|l|dUG$#Fy~ z*C|;k33xkbEXIcKr=F%@_U32X!5|Sd4UTO zeqxB_6VR+(dx}nl)bMr%!rILv2xyta=5n7|_yc|30|@~&G+(h;8}mUQ2fo5>V;2Dd zG0ojL{>JQablkC0AC{(m$UeB$LRZeihlMa6C&fxn2`fE96KWcmYEJ?`Y8|%aEdm!= zJwPb3>*LhQC{zhLeeY53U)Rx}1vW~n$@~CP>yShbK>+QiML)gZ5GZisiM|l&LpR>< zfoC+JBfyt+yVtSWPyZhZ`=hX5bFD4F~HHqnlUMT)txlh)rpK5EI zrh>xf6&a?rS5f_AqjBzz*&f>!ENBINS~HQpz{P76zh+l^4Vvhoxra&Qym^mS;e=6q z3;{D0D*HGJ+@H}^ll-1xao}vhWDeQ`0%Ka8_E;T1jG@M!0#Wohn}^v8RS?H#>U+O z)YxxyD*0nCOC*tp8cu1S~yViczJnQM0SCWTAl{;ZzF9F5_2HdRz8@+9_WibooH zWx;$9i(F`@?4*D@LcfYMtw>wzK#k_dTZv=4U0^y&I2-d#)jU<8+>CaS%k#iZ>#m?x z?`MYqEUj+@fmOSa#h+9I$yL$7+v-|eIm&1YW;V;n#($EY!?~XU8;d(~cE50VA0Z41 z(jq5R6S$twkoe5sP((z`6S^Fcx#tKGfKegJ>`PXU&#YNsqKQ)7Raq`{lM=B$GYdan z7IT=r2*&MEw-<>4yN6mz>5&My=l6NnZ%I!g@W7i{R^53sI!fZSfV&8{NK6BA@A@^(ESVOR5+< zdaa{>Eo3O>jF0Q9h3|?;7TWyhy7Y%4V&f3EUPA2X-=+GBcqQlzK+X!}lfVn--HbRq zNpko#=$TQb{MHnXM@BE~Gz&$+7uX^RRf+`#=^l+-x?X-k{=$defrA^yHJnK~R4+E& z`W9wvul<9*6A7iR+AtA*$sVGw3!Yx1gZ;1?eKi33f;(Op9L>8y8VR*5I5dk6h;U`| zWyw$v9XhwC5sL;gS~hj8PMG}Y7(E0|zz)t|<$OAkDN*wD>X%&`-V+NP)FyQ zN{)1|G|-0UH^$$|<$x((AG|Q9iykq&w=wXEoZIU%tv=ZVb3ghcI8f0y5;G+8CtEE; z<6Ub2B}BxG7_vhAl}6pvgg)nYxlOfSNlIgS6N-BzfdPg4JEO4f#L?Snu6f>WZc4H) zmcWZhWl#;9QNW^qSy$~G8QseOR_~H>!`3!sLvvP>k^NY-R5rMX^Lfmw*WCStBb8Fo zh<$X{wYh!!zU$FK>ADS%LmQ_^B+bpQYZMlG5Xn6<%esz!>d|^ZWCwH}m!V3>!}#D8 z)E2O{e}5axk)b0}a_M9o3eQf3|FNW~`6=@{X*vpCh)T%Lo<1jrPTf_PgY;diSEBiO zmtnhN@cl&Lh4H!sZ4g+Hrvfm149AChthdFsfDw#QaUzmsNdjaYj*v6jHYP-9doQvd zih$>{Z9wN^2NIo?<3JRHy_k>Q@ELOPBO#QpA?2qB34edE*R5^9RxSLB+gRSt_Lj2e ztN?iBDH$q(5>EXB0OTX3jp13h8U>0l{9B&Q+W$B-&&za&+x4rV(h!gv-o}^kO!vLJ$D6_DsCH_P;+-4ax)w>#uiFA3A9h3M4$}SkU9=SwDHg3tP-o}hmZ$fv**{4E02Vv~#ROs( zHp#+k?cqW;^M1_#)^w>Uv^_HpoFJ6}B(F?o=TcxcZXp$Wi+tfKz0_>cgJ^;GSr9oe zohd%1>@75I?nAL*cXf?_giF=jL(g*b6HPFryZ2t`q2U>nVMV`=>abudmr`b)=$gn9 z*aO?D2zt^WEM%wSi3FXT76%0FRU^MvPgm|89@xbP|1bsU1@2n%AnM1LLDA8#bN3ij zl-I*zmrzCl-sfC9qsdamY{0OAEFL8g09hNb;5kKhlzFR8wKBK=!RiLuNc=)tI{f|d zTO?v2M~62raeAx?*;V)k;txcECWKR?7^#z%d#A5)*YvRYH?$pz?K^tsHs6#NUR!@K z$>5T79HW1(W(~CBB-lTp)gKCs$q?i~Wwy|@?$zYQv$!v|KlK9SY8W{RRZ)i2{ z$$|GE&!t(jxyX#F^_jQBtw=Sl;%w%m846ii&qo&itO(qvl&Gn~%H_)BTZ)Fq4` z*HF*tLr2%EqW(h5OYr7WmMF%O3b@GCW5-a9F}7wRSI%>ZvOXMdM!iA*vxZxmkK?uJ z_~=X1jEaw4@yWi{>+Iqw+)bhs6W@n;n<&7JaIUZK==j~z*`t5f{qUx;LZ-7bMt#F7 zP(JmaVBXT99>wM@fwdJxJB=j`9B{vU2;}=;t`}E&|CV0q9K~vk>)B-jPy^0sDaw8R<+mHv>o_ z8oXNC@9?YA7dLR%1H~5P-7MkC%#5vyfgP(BRUh7Us;_hDZH{~C^_>WiTuv{uig@H@ z*Vpdx`SZS0=fS0}AOP;6ab>HKM6i`k!=19M`DGbC%0pB6IE4#NWB}?tOS7F-QGUm1 z%HH(A6b|wM+zPWA!=&gpOgFoyJA!XXh&3`1u@*4UJfDik~_eRCC8QY}CvA0`eG+XaT0@9IG zX4btrZ35gX&HTU*rir<5X6f@0D3Oq z)%FKqWZkkIw<^RdOXbbVgOXF;Xit5s@TF})RB4f^21dV%=INao__`<&2XmDsA6F>o z;mqte)hJJ>6(VI>ZFozE>XbW~s{dBu3$Pl%%$2e(5=z z^WEiW(0hKR`Adnl5ySt;OcL{GGQZiflR@7p?Lt4;alUF|M_aJRUUyEavfk-tP&6ECHM^(GGmFn)nOju7)_l8P&~s1J_F z_(5e`qw0@jw)_DmdKW}qFG*Zo4j+if)e9^ENkc5EA!$%V^+4yNT26jk>ul)EkoF-W z!)+QngAWPJphDs{I2}^-xs|M4zek99$?s_>yH`1GNH(rfes}a%Kw}JIk~n1`!3$`p zSEc8V!pvT>?Gz7x9xvc*jB41VK{R|SLQSm1aO^^r*n^E}+Ha4b8>RZQqKnZfOF^K^DH)A!DDFh4XEdEKj*n2HQ#Z<{jU)2 zY)7Ln+2J1`KJHk{u=R3@cprVZHu8I^5QpYVD6EO5s@6W?>s)-CfXxheAq{Wi9xQ8A z1Na6Oh|o>o(XVF~jnpW>Ah&sN6Ds~?V3Ed(=L8#~1o>S+OeN3TAXR{+b`k*daxEcS zQ=kJhFUeoTOv4rqU2whzs`zgsas;V!+Vd!KMwLlFZq1U+KQBQ6pD%CAC`QL-V7rwN zCUXgsPlhVCs#p5zwPv;dAQK-j^Mt}RqGSJ_;!}R#0)p7W$Xh)|PEz(6ts}+PX4MD| zuv*X9r& zu79%57>WXmr0e0pLtrJXh@JsxbP;ZiEcCCf>6i!jI`m#ACSc_LU?rwcO2&+CzRe&Q z9cmvWrfOTNVao3>)eKqSQhhtQ%uZQXu()k?h0v(_6&=!})DF1QuD!ZU1=wI-UQRhc zmrYnnY9Q3$(+-;0I-kcEPt#a5p9fJs0k~#I?ADG>EWTP<+K`rQe`7BY$s}4XtF9}L zBuc^2oEL!1kkNqvjv^UBKO*DKQvKi?hyG$}#R4^eb9OCzLp}%*0cK!uZexzx?RHH7 zMFSxH)9T;u6;8(wgnHt0mUU;I#T;&ZjUZTo^bW@m5&R?BXMj)Q=mBq@WFo;Ii)OwlILGNT5nf#FL{ zQ`)7(3F;3oR|mLX+Cs$apP-02kS2C&O)#KEu$nA5k?U(|OGts;Q_~ z4FZkoh36QRRYK@rt%H%NHCR@twhxFm8FXhf9p6haUV#j1%VYC)+&y;9`e|^bm|Pa- zbl-2f5Fd*_HKOuo{Hz4%(u-+ZD>efONNRQo0b>;S3eu z;-MH6g;X3@-PkIc?thCC+Eg74)e=ZTvaC$$7K@Ga%%gAkQdIja^oGlX0 zI{gU0d#}SaJcO?k3hIsDP^Lul|8UOT=bX2-YJKNP#y~LSpH+(d9x^L+w2deuc%`)% zAZfy~un?BL&lEz5)@Le^wW-M;7!Ma8X7vYmRK7i%Pg=TadUT+XThs}DQLxQzFL9w( z(xg>d@2elN|7;OuY)v^I>Mi0yDZ1OZQ`_Vf0WX*rNIEuO+~nP#xXiG}%;w?Hg3|dc ziKWZ~FDDd35EJLB*V|p-! zN<#HRCA5WvTy>*SSvM}dwzK7)2q(JpXhvSgKFon>N1{?B7;z=2B%qL)kE&?MjMn?9 zSYe#Tl8w-oI(EUI5GYPh5i%fZ!R4jQ)rEF2wwQWhNT@?c)bAtNlbhswS5P_usv>-W zWPSbzfsy4uwAC>(Ffjfvf${&Ut7BkeWn=mO3XHFy@>!b;U{HrQH!wB*+uPfa{(JOo zot>Q^us1g#GWKqvdp9@s>y9%!r~d>-Ppb;kol=|U#Y)d=H*)bLWj;vkO{@&@wGDP} zLsR_&z_5u*2_`1Mv@~_he{YYRe92E%mGn1$P{BNnogK)==I@Wmp9_7%y{A9OO!go2 zNv+L*W9(XhX&Qi2INVcN+|tqjXr!b!zZe^wcK|~$+I}Md?qGgV)zRTZIKgGr*`2_1 z{}4u_>|bu6vS@RFsjaQ7C*Ka>plTT$KT$AN0C!+AC*;dm)M%J0fQlATeq^%OUr2#z zvzsI1(ZR8^i;D?;{p&IPOMOy)A$WVxe`2GuG>#08wsaJruRItzhI;0gOf+B&P@XBA z^Osb@H z;M_#t-QeEr5-b4Hzyv@be2DL(6SE`01_uWtJ5cq{-q@R1S}bGaCPw6jrdH+}JIBCx zd@jaZ|Ik_C%}tcAT}^Rxb!GIaZyd$k$l4P;*2s)&)CDWQrx~(EeXk9#u>J4Ylynxr zm9(_9HnlbYvZr5oW<19sK6F|8X8KpT@sH3~fB*j&i~@s0*yffG|7|et83Nfm+Oyuj ze6=3F{l8uqo#f@GJ20Le5W!|=SGCb zR}kMuAs_dLhn{?$@r6u{-yI^@eVR^kDHCHcKXzS)ZKABBe=%6mT;cru0|WiJwnlY* z30(ci9!Hh2GTXk_rvOC3u(e9z(fh!~?EK2Bfw%CnC;Q>_QGSG;&<{Z9BYpzg0HO?k zMY5y;M8ka%sQeT@@P`2PlRm+{h2wwe4nFRbKES=-%6|ga0HQ2^32XrhUwjc?#ZUr$ z=fr43e)Hg^3V#V-;Iream&G7|i42TBg$!-JWB-YiCd@zR#$farU%-5#f%8KfYkl)y zdZg3%0@TH@0TBhL3cS@aw$? zOx|~`U+7;17SD8V3V@fsd!t)SKU7Pj5`*TSvxfLB_-^yPOZe@Z--SPS&7W;>)>YEd z*+21&zck-gF~3wlYZjfc=gr@0G<>!~qMyF~@Fj4+0r*WgzxTiT$L7y`E~Y;a@3TPo zWT1tK?SbRHi{Ez+Kj>d&L6g0E;9RS|Hk07kt-k%S_BXx*znIuWW})zwvc5TX_)O3E zU#Gz)h6kpGAg#=HRzujv3g}Be@x$5kb1<;1-QUMI+9&zM_$E@z-o@`6%qokJz(8w%or#&@(9x-Y)a66%O~sPM ztM8_)OPSjbljq(n2=j;bjWl;5pg&cA9Wi;x?U`VI&miVyUq~Ot_cr_K;J7uuCHi27 zXXqTVPT4Q~GG7RMErmuER0J4zsL!*6+XrTPY5X$K^wvq6>_yu^~96Dn~tB+0|>?>60%x?u!0!j%4 zV%oe&IZ2`C$O-Na(%7++kHAh0OJaDLT9g=C;0j3S@dB4}_Tio|_>R|RnDky>En|dz zl3^~hLqAb-bgcaL2*oVT0BSyx9?FX_$Y!m3DV8?RD{Pd;kW(4kofSP#Sf%*1v1sS4 zNM;dTpv*ZRH#%hKkt#m%lxM-wLJsd0J%PMt#p@?J=A^yhNtJ7HS)yb8=w5Tinqya( z3gFQy#9v@4@%P`3oqA|7{uFMgsI6$-I!fgz`vO;yk@Qw6MFmVsk^R)v7va$Tg=ugF z7zA=u(e0m5IMD{sWMr(ljaEIqO4M70YYZXR(C&+#g$GJ2{<8rn>dL9J?E$>gNd{UekM$WXe{$IO*h3g6_FG1{Zd z=asra>iAGCqR^0s?|RF$Z_1g3x0RLUZlW^Z*o2(I29-aK^27>ea?0CXr??2*FmXK` z9>9g)7pvvt89LlP=+#ZKvpX!JF3BQ1Qy`Gpq3;Vdd8)8A-Ipp54 z0wOI?j4$_thzGwYJTNeuOjLdue%L>%_#F*|83T0R`VLH#moB(Y;}RoV!T zzd$TJuIa_u=Vw(;dO$MR?6E=|%GU+53*ZRyeG({#(3TN*#~IX1T;Ee*{UDrWt82|D z-AWMy12>PN;l*h)<7<#&f5SyG*{EY2f>=EPPAMfTp(~KNMnGujI=W}!K$l_kfZg=y zPA|AevZ`oN`Hu3?w3;uBA0IMe)4Tsh+*w%HR@*!xuS{NCQ1Db4RO%HsbUHyADIVG3$9$Zw+wvO` zv!5N#J2KrGK*wv~_as=#O8+%j5c~i|S4I!Ito#AD->Uv}XJAl>J`S|uUWmq9!~31A z3EMSQN05yAK>Fhos+YIGk>L}R6&(MB0)lzCvDEs; zB}U5t8VxmEw~w`&AYvg)0PYM_|IA@3TF5gM*7iWAU^v7uin4yP?#A#tQ8_|~3iw4? zwI-A%Hv&YwL3PM5`cM8dm~fFl9FM|s8hOrC$)mUGJ=+m}QR}C##Ak7!04}DR1y+SD zvb$~wvWuLbw$PFSP#zawmJ%`NCo7)M_{_8{2y14!7H{YLZKI3F901-5evdKaS zaoj+x|Chayv-&6a%H%jW0xMQtb5{MQE@MV2S#-LfXcD~B!ii6b>l482xmfMVWZo{2 zjL)5kGI8Q^G0Mo#lm3L8t8DxwOx*#g9`d5`AL^ivd+A82XrO>6@E}B|gy-1+dmpRF zmn!M6u8Cv>K!|b{se_CQy;e3m@-Cb@hyYs)V`ufDycPl@bvWPDNelc)G{p*$ETM~n zy7Kk7ohIjc=P=80}RP|=|>bwyy9Nfp{NN%MnD#>n4U zA-O~XK!=1vBLo)OVfd}dFy4-=c;vRTPsh{@sAdneNpW4U#{TZpl!8qn+gXQmS)(@O z%1O(2I9=V=OO~G4(EX{~yg8)-!tABR*M{o1VkqFa*|g6^k^KmnmC;h8w8?$c^i%!m z`7a;Jagcswt}i+&6V?l7^&E*2EAJC0)^UfIxwlEwr9ie$>GLJb0^-*!MaCdDGP%#? z{&eX+K+fwb+R3^(%AhH|a6RFTn)NLrfxh1GoEOC9Oji6)g^bsTO|@<|&~BPzNz=DMGViU=Naw#oy68 zhnq&ZVn@bm%*0Q+3M`;Z5{`gl{IW_i-eIKW*^fie1mhng{KNk3#@?Iz$Hibe;><}{ zx^$J8^W_$gIwG;<DbxyHt$%%I<)0UYV!I zjPV`Ns$>PDrNT%o8}q?q18g?z^9|aNJ5lEE#Pzs0(_K5S$^~0->$L)5 z)AR7lU6xc9{2Iwl;=JpV!l$jm~6+3?adHE_7-!S8}P77)B`eh#hc?k(vQ5$HxJw%K=-fnNNHv*#sp&9dQyb2hGm@MW0; z$}EonI}Uc?V$xZ%B2H8U6rE**@*$H5tsP1Nbsu{jOm3((6<~w=L=)?+t=oj_j{x#I zSqzyR&Q4~O`ntcGRHYSuV?R;>zicvp`5@PU(96PC=MK~lsx)jEm(+qQ+)e7xo;FqR zy0#Lk49BL1lIbo6=yVw3M!W>|>O-+tDromuSpxnZJNd*mda`%>k89iDnl!FwEuMmXKFMn@cFmO4^{A{7-;0qzaQfaq0P_449d==ss3=~qeW$cxML zrG=1PeE5h65y0+%WShkn9-`%Di5e+f2IJXaZXw&Wg(+AsLzd?X)n>T!cV&PvcpkwY zcOq<*nZ+Aju3iG&W>K{OE=Hbg^y$Oi^pO9yxTp=C?p(QAcYPMD;ABW$zg(OF$k&;3 zFz-aU=V>wpXx>3(3$0A(n#*BxF)DnuBg8F?(~;MA3nbK!L6$zKLKK`f-amnPul!gS zR8fz*d&TrDxsm|YX#tM^0}_N|Ha850rmc-4c1$$$VSDN$*zJP!u1K(U7 zNp3$iK!_j0Tnp7&t>MvdtFH+nnP2L`3HauvzS%fk*H}?LKdZ#50gmfP@&G0{L`Nls znBQ!dgI@e&=!a^XGK~p=&#-P%vV)|~&OL+nXgwN32rSP~Io89KAY&J{Qbx2ov!}vs z-9-Yjef)zg6h>_iK9}MkTp-x50k4vB4zckR9jV` zGSw)l0K~~kYODT>v2zI0ZHd-x*|u%lwryK~**13BwvAJ^ZDW^h+jn^r zN&4Ldap+zbjyKsS+J2#7WVMmW*nVwu1MV$%cN5TdCf><|U8kiZo;| z@-CRY81>%4mtL3{pvS0d5-L-xSU=>V=lJz2$E|1<86Zn3$=o{ntMdpnUS?bEfej<( z_QKHSQ3HL(P^h_6l~{qHcAnDAF&=v5tp#qscWnXNN!s3rhYQgupH*c#H8NsTM6-(t zMI2F4?|)FiqRp*m^DRsntG=6mC0`$2V@ZV!W<)QAd8iBdnY0BhPJ`ri#kR=Moxpm(qC z$4>Asv75UD9A6HlSzz>d<8!Py6PhGF{6Wl*bcd7=p+@KPJ5z;$*cXyYS@L4xcM~z) zs$*=Cjo@ufd=FUL0?~%3az~;v%}xA!vw~?y5Qu2mPf8-g^7zy4iC;b@!-X0Mvsn}* z5J+=VlKCCVf3oeHdEG^76dH>XI;%ixAJZdBaoz81leK(Km&*WLy+2kE=o8nk%=<{m zosC2ZLA}AEX>9T$j9l6~%Q|O^)I#V*K<&DEL#z{|76#KmASB&i8FzMn=^UQF4}?NF zllDJ3XiY2$NT+0MGf3fM3A`t0hVk#}*p5BSC|Jv6b`R(Sy+O(uOZ#jBi8y+X1J`3> zJ*(noqV6s8(_px^OVXPwjT0>E-noK3?X?0Kd={lYQR|Al_75cu7@#_=jfk*I4$ zg!WH2PJ#;6no2Hqn?K-#8EKv7wZmkHk&Et%gzYvo*Vvq04os$~`ZUVt?$y-Cgl+G0 z(BOxRr+Q07tM6GE_;>j}xe*kew_n^)C3o1lQ(>bpR%kP2j4*dgm{*)Kz=8r(6`nu>FN8k!GTNuYJUT+DwL%i6v-K|!Qq>i=Kwn}dBrZufJ(NlG6{|U zTBG>B3|Av>rBIjW5}Hi%dZt?1f4IC=iFh}9D?p@FSS3+%C3>b{Ofrfv`%VV}ha=)5 zRWUb(Hpi+|F&oob??<#5b%l>|c5&5}F4LTV<^h(=$aZI_4nX*7u=gu*> zBjleBrsMleu1X=!F;sn?`!NjPQ~5f7wwXe+$E{I)a!!d9%%2K$n!x? zFs-9mpTWkK`|B2GQBzp$X5HorwxEk~xH`UwwW}6Don#t)F9b@hu^HMEKSi5wE~(;S zhx_UBjE{*m_LPj^mmk2KE%~ggJw_$XVAX#G3FZpnOmt(D?|SA84mRBy;2R_SXz;teRUY z$9e-$N_R5m#oiSZAV}Pf2(yHtqIYdfNweCa4P&n_XFrwX%iAyqzdLt9Enk>y90siV z=Iy0Rl_kf~@0Br4a;1m$>pB(;+c@I;sivF<;Pk=^=lYM36g#D$7?m0RSf`rmFzDYA z75E(lc?>yX`EF9b>wdcRWwZcv$^{aInSoj76nb~kU55t2=k}5aP}1)Vnmjh*40udJ zyaye&>a&sbrFAr}c(v%=OPlN6ww)|_|fbmAepy394{Zjkkf?&Z-U`ee#1 zkRFtaOyVgVn9r#gr8w;!dH^)@Z#TcP0zefHJ5uO<^{i%m0X?pAHWj=iuG(U$Qwv(gz{- z*;Zm)w=W47C4BtI!AUdJJ_FMg&nu4X14XMh?|6B6%uRsH_2}PLmv;XzxFF(6dI|57 z5+A2>k|GEWRg~Y{Phr|6t|Dw69YMG6DQ&@aHm{3# z+Gq2rwZcogqb3Wc0;2mRYP2jG*M(WDWK!VZ_H1`ntOe~DxUP+`gUln0Mg7eccWqB& zf}b%*C{fCut`H_F&vvAb{ixEq^!FO4?8;r}W1(D$kwQssTMt3pIn>JihS8uodm7FU z)81^%xI^ef)+<;#U+@X+KZZCmM%yM2!G8)lKez_K=y@n77EfP;C+)53+If$xg7X!j zfGJVqWCp{m{(gBF=4?h%I-d9T@b$W zlZ`^5&{cMuDjV|{B7B8?{ChS8`1t)EbVy3JY9P&3;#-T77_OFSOskTgchqLS=Fn7) z=E^K2fG>uQ#K6`E(5n?gWY;v(%`KkyWLpYgbCnuRVEi7O<ptz{jKWt3EMZm+y;?jsa{_uTATNAz{L&&=+th7p4W> zE&l)y{H1$WOXo#>1hY*6*vOl0Mt+W|$}hjxxkY)cv3(LIqFI55%E&UCT8WBTulPbE z=uGj(w$%GSeDXZ;Gm76?Lqsq1RTJR9WUp9BHRhchi9(o6T3qEn;+aMM7#X2aID zk4^4}Yf8OT&T2wMMS+ngxMfUHKsg2=-vuI&U;X8Fi5|IyYC+Y^;P&%QgrT6=<2U_V zDBIG_nLyA+6wetg@t<1>4*6eo{sIkwnxSLaN2HVIHHcGMWE%{!@s+ECH~%3Lo9Io&NlS9(#O*=D4ElmHzB}icaY;%^Qm653{c3gW!9aMAxc`Re{^4 zHYbH!`{dqwuKfG>UDFb#d&9#mW+JtO(B(f=Q7j#3TBre>{`FOJsY7T`gn~7KAgzwM z!2mR?MSg}6g*v#j)}XFs0Ar5#JILxYCZdbDWV4;;~mmY??dUsdjGjAw?O(D zS(ka>_o%RjT6X%nE;7)dI->L~{Vn{NwkQ&@?#f{Bsg#1%m#E(gfoO%0jOC^M#({(XsN` zDm0pljzAXwh}TRGnVjiauf8)U-#n`v5mv@n1v&6GKG!K~HOM^m5_t{m=!Tm${zVal zz%SO!ovne+-F3urZ>~N|oV1MNoaS^|BT3H524kdGmK%EqWSI9cFwxfKMEU{`In6ED zmhfKuYI{z?4eV(tG|UQ5dpnZ7>Olyuk~ksH88yeF1*(^B$kl2NglQ6LI?gqmf3Z)# zph*?yu|#soLhzN=U$b@Pu~Q%Vds&Ry1R2WtBT!c=w!;EJO)u?z#OLU5rQ&<}(UT!^ zSfd&R9H6mfTjf0Cb5_4$ro+>Cf)I;Y-oiBQEPF1zQuS};r%$O#2Qey=cGlf?$?Z=| zFJTR)zpbT6b4#Mcoec>hC@)gJWhZ^!K z(a$T+oG~AE$*cajzGXMe=JvuAi=sFA3!iF#X|$W`@U7(SR+bWqBj$H8Ll#cHlh>D9 z^6+{Y8_Q^pZxfLS?)-;2R6O0c>80c_4vnMxb@b(7yN$_9Z@*GHOm*lI>1I&$cJ4rL zAqmqJkH^x|hWv*vA$4v{hk@jP&>^YOH%1o23`!DEP@}^@y70iI5LAj2Q|foPx#DF; zwbDM0(Y#~$WM^<0q?9j{mh{vTOi#mzZAaq4)*GrDnOT+!F`kO4%WjVh z2AxVjFBIP-z4RSiDU~ixxM&8o&XS+f#qXOhl(YJZ&$9~%5$iW1rPMLr_Qp*zef|JT z63@R-__7Me%{k{e`Catx*DKlw3 z!4KBAe4{(cLqs~Bem|XOf)o(_(4hLp!KDsWT)O24KKAFK20OBAL8)YgeWvL73RL3k7mS`Pzb-N6m4vG&r-)3P zXrqMIBb+N48;fpWex8dr4!rS=U~Wn^1 z#%_1+mkS8i4aHQ@{x!3^Rob`pbXDldQ#)-})S1j@WG1-S)@tLSyHnx!vr?0B#hzD%_^Dn2S1~n%oXg^ZRnmr!?+2ec6b^nGizxO zOd+W0y)NRj6y~P5NSg?h7eD2Fj^y9k@_Ar(*c9U2kcle21YJ??tgvjosZC%-g9!i8B4}!b(e}yz5?ciKsx49wu z^IZg=jw?wV(OdW>SMQT&g4$Kwb;vv_q1>`@O{z=2C{pfa~x-=+~5u`tRaJ9ArB=j!AI7 zJuH_9AGt|B?(Pj1uH=;eiosSwx=%8OU9T&W_WPT<-$4|3zC1k(yp zC8N5lX*mL=*lr)Bc#t_wLtvoo2D{RU|2OtIguULV2*Ksb%P`J|1hcRWRaE`}wagYN z8(LqLl#wRsK(R*x75#|#cle;GOJKiR4x`UgxRq)Q7>bsI^tHEAqzLVmy-dXc)lUtX{XTK=_j#QfNW}Pn9mSxz#T2@cKBMsK2wYDI0Utm;* zIwHu~F(z!Q9)lPQ4T(wagqbX0i!Gi;4AP&kBMRZtm0D1d^*s(xKxxXi?tXWh5cq_y3DO)gPri;)qouCW(#%w7&c)O8Y`GBEq$ek zf91g%1V%z83uTCS$}_9*oY_-DzKv%q9|v>p@su@vx*GhUPGjEy2>nsS2lU0~Kxi*Z zF+8M_Eik<682Dw@w0|3ZhcA&2j~+6DYkk`gfB1{SXMyrkO^Ox&H)P&4Z^XTY5Q9Fj zJhkhgYU()ku`~|<*)r7-%_V$!wu}S29r}=3OVL5FZ_PL&&ZhmxWGJaF zLp-w(@*pzZahcibLtb9--Y_)DZX^jyHFg|p-rOlLm zTH~aZR6Q0hy9xas2HoSAU8azSGrP|AagpTLu?St^CTJbcz z+3(jgbqbw1=9qR;&+>?C13?E1ux=kSqKo_R~C=FdVI z6jMYKVDXOfk(|!=bJ7*&UOkdsS-)f~Ck^dW*#2hm6c1}?svVH?^4*eUF-DbN;n5;& zZxtpSeDb|lR0pZ2w~_KZ{57k5yyzJwe59;h99ZJ6b<2v>4!ULerFkl{%5S)A+lwYp zV~3$474wEncHQAnbOu_iM}%3@7h9l&Kn_R}!=>gy9vMHbl9MQp^e7viK1dnm28jiv9h>oF;)T-Vs@>W5V68vSEcEF1CcY=%5bZ@J(Dk;Y9(W+q zJfu+qQ*u7J3Y31R0UANHNuBmtX0!k<*X5SJ`Md(r?eJ+jpf3?=6<-$Q#2tIPoRBi zv=k0V8C5_XZB+K7WsKMIvojeYSvQhg`^9r$)S>)U(m~PsuVc$_$Uwzsf72n}ar$z_ zVq@OAaJn}p{~il>3vD?8E5Ua+G**q|7$|APi5n(3QM)4qPZaNx+Ij!*mIR?Ej4q@4 zVEusH8U?He3DUGG>ufT=!$Xze0)6#fBZhI5jr@xRp9Yqs2c`JhT(%gM(<(Pj$-@3H z*(?03Jrm}H(431uH*sX)%r}`=(Z9Q0ID3PtdU#!LUghVXP#u_7(OA!h2chprU?x8VyMQ;klqvEy4IEQKeES@+vcND z`NlvBP1Mv)-OLm(J5GPt&BY!QIpJT96&28fibZf$^ShQr5w3O8<5pcxl=SGA^T=Nh zVuz>t@$E

{6ah<{G?m9o`vrO@YleIYcCS3JIbRziD|F+zV zp5V<$L1!)|Xll?qU5kzoS0_wmi740Uy1i9GTUS>hOg4e{;FVyCA|5OIgMXBt zFGm4wyny8Qrn&dE=a{W0fXJ_q` z<(vrA5J=Pi6K+1)FcOc)6I)ZFB;5KB*)<1 z@zRI*4`u$Ka5Z?S>yhY+H_pyoz_T1QLGt+qn!u>=aCUQeW}CrnX{K%IO_bIEZ)7!; z#VO#=<41(4mM9rUd_r(LplC4(Mt~~Sx@b=n#Q(A{^Jmm`)6o|)G+{4{`*J3$0}(f3 z+Slyp&QWz&<)86Q2U^s0N8Wto$~lE+skwv}sbphr3Gv@3!9PC2W^P%8=Hg97;jbz8 zuX)yp8JtI$^4f)nSF_M+{JJ$ehJ|Pawrb@6&KCe^;lZjE=5wN&-WlZ3qr9iiw3+*9 zwwT5I+KBd+GI})4C0-GR-35Z;BxA4U&kKV^>qJp(Ab#35=4T zh7K};Ju7Wbh$rl-){99YX9YXS=(g( zw3P<-hS7JX*j{-OYYi!o_S&w{ zJtVP$7QHnU1_)O_TN3NaNZ=d3eC%j^N>G~6kG3MVP>7yw{-+(g*s08U@pL#*@_xN` zf3M+H3)mKD8NMx%(BOasH;vb$e$tv%U^Lyko_%o~mc~FNPK(gLE3xfey1L!fzg{X{ zt};8BCUB-qBUVqtuCsc*_~RRo;#=6fx-=?unVX+3g~nosoLYRAHD`U3BnIsnv%^34 ze9ZYG7cjSN-d(dpM~T%qxZK262LrKSWj@B+fm_Rs1$L~ zkiP3h!?6?{Gv)NJ^W5M3cdCrs*04Z05v_3vlfTO~aVhkm5cx17yzY7?^%rZlBrP|q zbup_eG!`qKgLk~$%tK@%LS!tnmb$F=P4?yNK@*C70hOB*oc~eu-YsgKTDZ;LwuY;k zU?(=yu44iPlW1snb006}0Au(qi`55~?B0UHgEu@`iect}5=FLfD4fj0`c@1x?tTK6 z{gw#|7zHtxiKd%t5`A#F-aJ4a*)WQhhxoR6FB(e-=+J>+s#9%Y zmcW~`s>F3M$VFi(p9X-jJ3_Na6Mb)eW9~d`?Jzxb?CwT817-UiC+rETxr0qY{m4<>Qn%FDKNw^OD@&_MgYWC?!QQ}sy<@S`{q==8LQlawdU%6 z(9a+ax*jh+wo`d;T}r`#!6;%s$Y?{HpVx1J#IQc34Yx zb&YJ{tdG44c&9s3-vX{NEpiB=Y#rnhRBmV6079h`Zw9}MAG2rvsvgZks0yMrp5rW3 zj5yRzOHQ(5-#mX>6%yJ)*25{m-taVerBfvG_D}669lbq7hlDAR?8jX;lY%NL9hAyJ z>|=|hSuIrCvBA3@v&7!1<=Rl3ebADAF`=UNH57A2FLgrt-`HT_=!D!1Ls^{Z-f87B z)7c|U@t2wyhpt8$6)(CslgNBUPa8%5HY?$TPzr@DA~A#x=f|V4?3$H@`m_3&UuM1-TPBsgRRnT9})0{#H7pPq+il6AQD6 zR`?;>TAq?!@?lEuxxRkA83sg2nZt7Sw!M(LLsQ;|!3LW*9|SYcn!>a!w3*^{NeIhK zr@$Dw@l!Q9;Iz){8n*Wsb|y$GAMQJ2?%*?Uh>gk%<&T-hNP1YwD%apYyb}VO$LW)D zoefOTA32j(t5NV?j~I3~`zl-lW+m#vIal3lfl9y$p4+{bi(Tt-f^t!l}frQ`suSzbft0Q-J#og zclSJ|>7qZd3wnJPFGei;scxg?n%DoeC2b9^@0!szdpR)Vg?9!UB$(5)CDg9P4ZcFr zPX0(XE*Q0jT3AEoI9$DdcCx-qT3BuL;Ok6^#;p)V!l3EvjcyI>Zas5qP3f&Cx=@d} zh)K(PDSf!sZS3z&pLvD_kD>$MeAeSUk+nSXz7`u<{ddA1423%Qj#8H)Oq&(MVcSh|@oN|HpQbzKk zU%=L14pB)>2DMow7JJUz;0BZT#cfq*h4)1LJRl%AGwo@&!$(!1ErhVa<+5_oNnprBvRE4P0SGOI>p1A1WVMLuZlEoRc%0~}nfCQrI zH&3(7beny9zCy0$*C=#sVz)TUMv;mZ`^pTi@;qn|8TKzVnU2toK52TYOLHr7elfp% z*616ALFOVk<0b)C!(~RZ@eKdItdqrn>a&pjZ$48@xMvWQhN=t$&u$7WgTg8Tn&r=c zGy4JGamV(K-Dk2=&rVx|DS4`Etk#l=WEsLSCO&QhtH6Qgw0lt!&fLm>$n48EFj+4Z zOC+U2p_)qS9;X72ZEe?adHB03fI_HSRnbn z5{}4|b0TWRE~@GrIGHb%o7aX@62JKldfQiu#j5OZkJkxC< z@Jh4}up{(5b>EsD__t;DbwkFZY=8PoC*U-^ZCR5Y2(pSAk5t6OXa%i5lb75)a04?F z&e56}q4OQqRwnxkNAJ{nhqS>J^tS3)4_FPP%nszC$my?z8b=G}qX+W&i3w*{I*Y_2Ht>8`m~eMG zb20zu>?q$JL;_pGVl+lFs_N}Ky6L~%>9r^JwBWx}F+M75D@N+!aCOM5HE;ib$rSiZ zq3#0gs_K4tH7sWs9UtWr{J2IHAng@>3M&8KmOVKB8Wq3be?$Ud7)U+NPm%AyCUePz zyttFmk43U~Ua6f^;+Ut-bUjX{MZn|5pP*kiKS}R{)Ch$jA^+S5VkoKuiHFEqT^3Y{ zW*IzX#)ZDUS8TDyo2fPVQXl`#Ln~_6cMR(B(75pqD>Twuf0JhknC}R>6FBe8IY9j9 zInGSOxPV7&X4k1{HtsL@>JOh$jlk%~uP+rkF9dAf9%)N;IIEPy1zSk1}Q}7{r4oFrrx^r20i}Y9NU5WEv65Pxcj^^ ziZXWB-Gz6XE;Sxq)*XOs?vX)%_P#=RVhs`@hfj=eeP4+svGL!Cc^MYMb@_iR8Ti20 z2}K1@vV@XFMI_mIgWT+*+zeIiylLPSs*#IN0I;u@q-d{upMsbX3IS&w^=6qN02wXg zl`ctf15g_%3m{eO0;&9WgCzI)_4dC)i9Ii#uf%N~?Z`yDM1>dW=-mvA+V?RLqM-iU ziewkkR)g)ZM0XPiuNQW*(cWFAs_D}?RCg!Ie0JcC!34vMT}vh8P7{4{%W`z~Vs>_< z7je z(Vuj;N;ea^QQ~&xnKfZD^{R*@94Ciut)vRWa?OdJIt*WeOz<3X8}r6R&aA$j8wG#8 zg(CTf+Q?_7?NTuKcvGswgfVDu2N@vG8HSQ=t~>+BzCC1`K(8=-wlHLdLfp@dw-vcb zCz)Eub+#3Y*@VC=Bwe9Axo(lOdd-PC@AZC1pwlg#%zxZdi}-QyfGSlI8)=HS*4L9% z1=+{!Ms=nX8GeNBLH&G8ID3c{#j5WntheBDlxp)v4#^SrnpjGbNV}WqB~-R=sr1es z*AU^K>L2Qrn-eUFDhfX_ojizVszU9{G;VOTl}4ZzgtTcp?!V3b!rjV>zqOA)6`YFgXU~ujVB|wdYxqJTshOgn2y+A=O+r4g5Yl7B|;%*cf1~~wL!nq6Vj7>d)&?qgSW#qN5JX0<6E2J z=y~0D`kDhjf&ewP8+w?6yy=q9KMCv_k3(7OF~(45DUR0PZ^WRWQ(*JB zpxP7X$R3blyJ}Ah0xkc+;n2Rnw%1iENmHxcpW7;c^TsohC5swhGe?b>x-5G-^fD97 zUB5CS6myEichQY0xMu7;kHHw+ogAeBWg8a~r#!UCEWUMS;ch8e+M0_SzP)Nn=Tjq{ z!wNOVo0-|m##;k(#Z37~271cBES%jHbj4NE(=6~{hujRHAN}D$2>ZYXC1}{DjbB&# zE2OjLTiQ;pk(dD))7FW=D<#C_16n&NN0_WL>+~H9JoBhCoo#$+iR*tR&-vZ#r(B)p z-mMB^X|%qhNJ@!Q8^+h|559XEBtKK{amZ|NCsen5-@&RsS{axTqkY!)m^ZF+=@O_& zkzLLrlsoV4BiyukEOu1)rw|Go+h`~H7Rqy1ar&YW_d0;d)XFoKMYJW#!<~q_S1@1^ z3`+Hd#9@!mPe$pqAc*=h4U0H3AdAmLS_Kk=UHB1owJ-?!TM#%7)agrukFy zFi{&7fdS@Xst!%AG(UxB1Dz|vX3BdyNoZDKT0#J9J2eUT9B$IK#ejv%QB;Hc4{v~h z(ta%00XJn^N*7c=kVLE(Gb(3xC5)BPR&riDZx#|qup#i7(@4<)dek0{2V9wAssQ8b zzYED3CJ3Ve~al-Kwd3g_SY}L{2sJw>Zpa*(*Aq6Ii61Y15kQRgDPs z{f0wE@gmPC)@+4{py^$5f~F|&OerlyXimM;XL~FlUwcskfBaX9htvw=bzyfCb0JbI z=$z|$#{?qq`2I5DY*NU9@>VzocTXf8GyK1H})@=q;;<+%^_XlaX;h;11iVY^j(ERS*l@mho+KD zZM|T!3A>wxYbua;_TVly2yvxAnYvWKp-=fktZMM@94w|mgL`MTozVF=@yFjRv*e_^ zA3YmBNuwjh3>JN*0^0>MQ%th8PL#&cc`L=KS7Bt?_Jo1HUS4s5@v-|_(;l>)((_T8 z$12i~cUyUIjGY-6US%(;z<==qHsKhe77a8i07?^PgS(cBgC$vB@1K2w?0qJKS$Ke- zG*?B?s95iCoK$}LdXsXW68X;TsG+oYSy?(BA&DC8)Y)?FYcclu1*+Tt%7FenPC7%X zShlb3f9U-Ecq<}{!){Jpg@f6HMTV(gb;gN|ZnQa~(=jc=Tf&y$N9QbyewNc+3DN`B zGvRez5&Sz~p-p)(>BLZ2oJra*B-4FW0(e~7EfLW6xo{dB_4sTaPRY0%u<)LKqU*|% z3H}?4Iv!x< z4B;=FUF?*2(vCOJ!U-D6e~}J6+{bY9$^dX(S9%z{nYyiZ6|qcd>WLBd^aFeFx%NO|XljR5@l{dWZBedU+{6=9hVy?QSUCR=1Pe0l|V)REofrd7Ks*#@ljxcUDJuAhDI3Y zxPSXrdjP8@7J@#vmankzrJWejq3FXPWUx-oru#5Y2=T#e`h^{)t(J zyEbAl8mI&a@4#9hni?SSKd9sAu@W!`SMcDQ>z({#@1K-`J4wL(#6^$7RFEVk6OyxO|K5I;3@9ZWyX^LC{NU8}pbjrhygE$aT$!1Fcfrwm zSaRS~HbnDE34btVTS8qMPD30)>=|2Ho}M0n1?mA2G0N(;?gBUWlTq;HK zUNOK5em!PlH@w#A^M4(`1Q|aG8GZwJf3lB%J5PSI6KlFch6ues1mS-Ky$eX!2R<32 zPkY=ve0qV=#~;bLzUwOq&gO>HfwhCS@qaa|_aJ62x;aYufIIRuqkE#tlW|w z9_@nz6)F{Q;(R_*I6d3}`EuvgFTfl)H2LxBvO0fA|5hUD*yTebf^(EHsBhN1Qw@^ZJs#r+W`92)OtKaHZWS zojt-nkA3qg-Z;F+pCW-hfM^%dGYHXz4PN043K;aI6WyC_}Kkd^wOwJodF)H)D5wvm=OZrQ#oV7o8amuddY}^Qa^2l?ssXJ3G za7l&BOcv4i9=`4!l;heW?jmf~N~!K0%*K}*JRSUX5t^-bYIxZ693E^PRlu)D`S3fo zO!Lg;I^6ScVGF}>I5AWq?)WdEkm=z2ZZNOwi#BxH9 zq*6O`{#R5^-u5jC?gz!eH+)sonNc+HEZV_Kd#h?Zz3mFFhN=261kK-cJ7p|bViLwv z>sd9Z$ft&^n zLF9PVPA~6eG*mi7M7m7G7`&>4K(WLsZiN*t*i>y2?IL0#!_OOyR0$^U7r#Hbdk6aR zbMLpis^n~w0k45huBbW-<&BorIQjX;Iv1miv(B59L=xkrp(AebDzvLse*w-b3sx)= zfV3-fYOF0IROr`itwSyIAew5DMoFq zO0_D?Zh!i^x0xyp-!jn`D0dNZ=hv#Wn#Q|XnAa9~)uHP`smr`GW4OVb{cI^CBV9ll zfpyFUxql2_Jn-gXS%dMA(u9Gu@sSY?9dYEeSmnYxnVoPqh&SQu&esa#bUS?s+*Nw( z?8|Dca+L(T7h7o3D{1kmTce)|N7jZ6dMw2Ps`Q{v(*>~|zv6o2N-0TtDz3y~$#-Qm z#jPQvSuF1C3y%LY!81->G~iFoFItTxtz8OV7hP4QZv*UFR#dcGr>_|Zd@8*~Zm~DUM z+#}oTDTeLCF*utPKPH+2 z?@4VK-=2;s_?|7!I^r*7)J@rD)&f4Ew9*>XLP1PLDT+Bt*@`CG#|rZJwBhPh#^lrr z{wdISg@(Tx<9)=(AM`(Q+XX>CrPG+NG*R&*eEB>%edN+KzI3{bF$*9_JDO;B+yK{6 zmnPl8Nz1tzmtRLtp1~)!v#YsrudeU#$Ku4zr_;oRn9_sxGCtn?P?a2~YcGBPIlOsR3nWX zILS(f7ayviAOuTdb4t$o{qrJT@JK!jG^YXFAq&#btXQmd(|}x;SkIz%UfOnjpN!3^ zluL3Z%==cS3RxVtDw^1^@Rs2g5ul1XZQz08d&bM~UwZ(n(VE~`9}kZ-BKCBJ!BUZ! zQ&(HqA6K)@b0z%VMicm1b)Vx~+?o0qq(*XZYY(fVjifhBo z$=-FAlwRxLmfXwPXn5B!{?-Xx`-nC}>}2H0yNw-+BF4d3hY?MKj&Qilo-ikMJ5_fR zZ^4xpa|b$Pj%s=Q{M?ro74q3#9RS|CLA#olNGyiNc*@mRSXvNpktf}ZT=(59mXuxAlRfLb$i~J%E z#brniywgy^PeUSF)tMfen#3^6CDX>V@VMHiV4>Ih*T3ntfM?@KMwPWqrAiHEpgHbT zc<(uE_?{{( zD<)}+PtLpJu4b;FWOWv`jvGt-Xb3{BH9m~>d&YyrSM|*eUnbEB zxkF+mrZg9}NQT6xcD9jd^V6)U5)_Ch*|u%jYXOK_jwr0ntx!59BZPNex1k=q&XM9) zY`u9zlF%<_4X{blBCl6hb9c%oa`;y3D@cM^b6Wtov7q z!EqxP;hjzQ>;BG%@&AP%^yno3NE~um-$fWfQV-xQSmu1lbZ5D%Z;-KKg6^4g+Yvlc zj@}RP&JBeO&~kov|1(S2M;33A8iH&5{#1wRqm(iX&MEm2B!&?G)e9LUWqL05)_YPZ|uYBDFh2FL#{;L zgjb^YE(+rx;S^yh=p7CbK%pqP0GJORqJIZK%_Dv{Zup*_?{8=YA8a}eFe;;)AB;}N zz;=&KA0fV$jcMoDQ2H2+Gn}Io1#D}*d>&l&!CA4l`JY2?2Ahbd`76XqlO|tYWM+EDK~||aI9{h45I+6Yn+c_Z1^R|nupwA5=9GV< zC@x<-d$vfths#~eItaNIc7yf6Mb}^=2+x*dbjx1-DlU*aeD9?_u!~7# zSMVdH_pG6_vk^I0brG`vjrBXZp*QhiHPuswSB+Y_g2EQ9TBe<7+F8FzU65)wqSEZx zV37&`x9HYHfj|f0Wp10S^@sdAN<|)}WJn;E2=^&8KktYhN&FU&z9GfIP1LOwgE{Y& zz^_z;T0F?=%yBMiD1zsf*Btx#SC?rcS;Zft5Oj=?jXnQDwf(b4mRqET`3!?0^~@ka zk6NSR<)KySHqt^*kp2oK=mStflsNJy@X;c}ia_^;Y(iIWQznUwi`6wF7|xw4V0;<;V+)LP!`e!lnN*D;3b~50Dy8i^x9vpZ&&uW0B9~p zf}JkylY;$itt`y!XZh&v8`Hn<*uh!Vp|3s%2i7lPOvnXCN3!uKMyK|%Xg*(Tka4d7 z4ONd+Ys_wLeU#YMM}DVIf=XgZz$Mil6{C0sp5*q{vKpVclWom9z598UOjY1MS`DuFb5eD2#D5ziwKiho}AmL70m1TNEwlbR~2dm~d0 zc{)A6v(5x46#3MRqAkYEd4j!3&n-=Hw278E2Y||PF_h8!6#S|#bnah+e|CeN zwI(prfbL##ugjOG4a4srsu{b$g0tKrO;euV^nGplMTg58vC-b*lN(w^2{2_cw3%B5 ztC!6V?_!kOq4$rN(?SJeNyJuu2 zJPXyIllsGSg@`4ld)(Y*xQ zFs&VIw@WZ$oLg&lwU}Q%*$OmQHX-Q$D+{6@HrC9s0tIUsGA+R8^wB(wJYN;rI9#Ts z!HygK(T#KF|B&{MF}j6amu^|RY}>YN+qQPuwvAo3ZQHhO+t#T@`gHQW$?48X)~{#% zeD0BJu6d6+hyJPGmDhpLWosAhS;R-ol&b!^kilg?WDFlpi_p8%dh@G{PD@&PzaPX!8_-LJH?1fVwI&fB8CTXyIp*$=qBh~wmKPNfyAskObCC!=p-=EZgl$9*qrv78 zen2o`0kK^qCd?{)@3!PoWHmu7d{Jj|=kX;ToU$7yNW`;RmQGqNk@GvKb40BeX&n1d zv-A1BFx)mKh*kn|!S+WOq=018^AqJ$^E6EuIg~Aw-Vy@ccQV}hotL^1P(^ZkNi~Q} zE{{W%*F&n;YfU_zk-OEhIB?UK_K>++;yL?PAgcR)ucD4^bNwofksX-Ohc;O}N#dQ$ z%Xnq|D{bIVe~t4YTe36~{n}j2u?`u^k&+5{4Q$pc1u@_~ z2-mwpxNu?m{Og*DWlM^}IM6SLnolx(X*rh+W;W|{46NiQ8FA7wS@(T@64{-4(W;g^ zAMc~8y%!UEHiy@)eAOeP>D$&f-8X0G{nbvZL+w`hZDZRY(0WNZp%!w9b{lKa0{gjiu}HqI&ZNm21-k&@KzLWn$GoCLD&e*NpnLx|#53*v2t@GYsS zk7v62T`LS-`k=TY#t5Uh{>m#Rz1U%D_ZOa)Ct1>YD_Jy}&U9;BEW7Pr!+Gq+@3CnH zU5i{lYM&|C(4U6|f4kEGJM`4~GwM=AjUQbMG=H}>H!RmM-7on^d>7)0M|-5Eb!zukUTGMl$K?WYNv_X4UR=cM_DM_;{LgFTFh@VPcH07cuj0 zW00a(QE!}~gfF@x)$?Nl=id=RbOeKXF*T9TPg?xLU`ut7>=+%#dfF}kSATmHAb1;b z4xv@HYwSJ0k|oRnVun5&ay9XXTeaakDj{%7w_SP&MJ1jICEdqQP@b zB$t1GU&3CR4bb4dSA<2T>-1c#w1LwrRn7Zm9fok?m1k|DGjbl-N3=k$SkM%6EnQYU z+2uc${AyxWbuxXO@-5u@Ciw|6?prVwqStVF%{tlw^Z57`BF#3#kB@SO1yE4cH1Gz? zozBkvbon4g8Q#%X$RHH>Q2Jd!2FtCaBy^BPR*H4%eTxH*<64hpEhUz&d&3{SpK*s; znbJElm{5w1DGqXdW(qQ&bwJV7{6!w)?RaJOKthP-&z*6z^Lrt!n*|BIUN1a)7jtF$ zEh9;cLWyaqmE2+a>MOGoRe~aZ{uTRsHV1Qh{S}WEo31WOO^c4;i6t-ws1N87(ahdK ze_w0I2jcZJe^RfObGrWi`>-dB?8qxC;JjQM{S^k83H=kP%J5qGS##V=uEOeQR_MCg zk%;w?nW_JJuhqh!?7><9cqhY0P*$&kj)ecu)lv5ckx9BH8soY^*$Nsu3UjZSFXz@&)2S?#(ytv8E1u< ztOIp-qNWugQ>J1r2!%~Uu@>AU&PPt=pV_OF3e2O@i~+dz<_rbO2DjD?NhK)$7iGPS zbb@&lz)>I%qGC}M?_&h=pKoUtph>|On5!cH+;@}m7RWVx-Dy{3^{~x7GP@hMO;4!~ ztD|;__=DcXABvwSdfx2Y-cjplb6|ah6lUkE6Dp_&(~)FYiZtS+Bq=4tVayf-CE4Tb zS``GP`3pU15mOmI99GeOo>fgMiHeWVs(S8Y5MXtK|blT)gJwfQ_CfwFqZrx=Y-Aod3zG<#a@Pj?VjU_8^iPG{G zN9Apz);EBwcJUX5o`=73-Sr9QLgU7Qv*E-yG!34(6VKGBzrE%N$Q^}(BB{IDqJ*uX z6q~}ku?MaY5E(QoLIR_;Mw=6H%9O+pb913L7UM5bj5t5c1fWXz-4r1S zwQmqTyd|({#q%=dZV58AGN6_MWjud=VrYDgz4h85Hk#^TC{;adCbP5t5fFnh8F!v= z58K=`f-q8dE{s-L##%`o*i=52GAXrad_!5p#J)Q+yBBu&gYs8-W`yi7KXQ!pHShr# z=CdbZ(wrVafLEb&ic1Z)W5X^3B}K;BIDGqE+j`e6xOh->u3usmWl-WN(7sSfA@(ys&tto_oSOb zvH`YM$?w1NnaOi|_TFW-Lr7sdtFUPBqfYd&ViO%a)k@m+eZDHWTIV%bNNM49uSrda z*y2V#z2MV2d?$=$#tou5C(T_$#DnVvh?(J_3QqF7=vsHD{m8uZIW^#|zMyGfGO1Qv zHIHY2v!sZSqa{w(OO-^R(rDIlwNq5&GzO}z2O`8NQKsc5t+LP{r5@nNgVa>;Zcx3& zyRe+xBg4ur*ST?$*45fvSa*0@D_kuHR6Sp@{OaY}u5mz#FAW_xb|Uvr1>v2O6VQ#M z>&qbS)OKC`e#!HO1%wBRFWvO>zH8{vd^~jwFZmlssbOUU;z*h61mKLS>HQxnT(vsY zXUPHE^S>VY&QD>JjagcQHYL%M7YZ^xx?|$m#UZAw8jhoaCj_%`U_ls0dArIcE;%f*L<%>upyyHaMFslS7l2cXMv>LRN z_nj$z6uC%rq{LI^+v@G|Q|U9;USIb9T?f%}SpecIy`4bxqEPHm)3*QKU|ratVW*hW z*m$eUVKs1=@QSsdBE0>F=h4ZASN@U;YF#S^eM-r9q`cv;AtwzipYV@V^0^9xhV)JXaZxg1UC z#yzQpIYRC}maVY!?$*Y+9J~i!RcZ$!Ps175yFbRHlPpB2ML-k=x73nJ(y3C)k5)g? z9)>Qmf#`u^Y9dgCC{v3Lu6*HBOJz~_In@pL(c7t1Ex0)5@$!{X18T&li)sPm35o>2 z75Yx@==M)v^ii_@ib(fB+u&Dn#4w~c9HKm8`pg6b18OlT0s_aK!rEif^#xya}VJ=7FXh1lm0Gwex$s9ZnKs78&nT*KxdBe08*9M6|A%ZOo9?iAD_9D!BP);}rO;qfH-+!H5`b_I?V`=PB9!ssi9(KNWW zJtk9e=aZOO7v)DC)Hh-JZ$OI#s{+ra?VXV%=S2WBk{!K6M%&=Ys8h?>Sw4^(8_h#W zXuAxZMD$R=0GR6q&+>wluy5333BE%U%Du3W6P=+E|GDRS)2E}Zga?DAmD)h*5bZ{A z2X2AyC&}JBWxp5Z^lEqpLP^R3@IppQ-q)nX>$o{7d^|#QU*%J)&SW>eOWNx4~|F_ZT0gA9^$&GCF-;{hmc# zKUxp;At&@MHB;yjuj)U#xgX2RJ{&?&Gy!1tP>4R@ut zm<)f^xvAgcXKgXjUTWCvG4SplgjcX7GzCRkn7w-ZWE~>8H5A8{IPTp<2=doU8Qwnm z`L=F=MIVW@Py(T(y7;+(Bkl}uUlO&Fc^G}+RBF8A#q26x4^7B50lngQk-K(HAE_i; zxU`};KsqH^Z3}d3_KYec(vNJp0573Nq`D3X2L+hnhkCPGQ=g0p zwRkYPknfl0?W=S_fh+vtf<8ez$G<_rB#Kq!0<&JU%6g?OZt(DE=$6r8BoOa7J^B8$ z$?PWSo-%5B5`&(wA^DQ)TQ-+NRVGGv^U<&zGovySJu;Y1x=T=kYXlcWU)j@_i#0iB z_`>!0lgj8+c+!qsC?}`XP9UVW+`agkYA)A~U_Y(EPtkdHIo?4#%$4LcnvpOeu|0$J zP{?NgP6S@34;;W)@xB%-F>F+}*+RpN`|5A|?CW4;#xxC~1mJv>GB_RfIZo2@>??+) z4*W^#jG{4c=;e|h9Y#YZPI3hn-nCi+dGiKHYBgj9m*SO;+-QOak zSMtd-P@v{YrF873Bq+M^PH5Z7f)&fW-uxan41PGi&`%2M zzoV`%N%Oqu^VdD@Rym^Mu{q1YAY$rDrt^D5C|3+YI-qnU5~yjv zbP_v{h7E0K$c^IkVkOaG?qxkv-+-dE0q+PHjYUVUVHP1{S2M!aF3)RkauFG0zSv?% zT4^hw-Kj___{PG9zF|k33PLrKn7yD`o|eUiX+u&YrkP?u4&hZ17nYx`zsYl+^Vlbb z=r7XhR+S7fCVk*(m4e|4Q)9+ zB+bPc9~XJK?8DYFSXD<(vzIgSDE=W-{kg-|S~Z2V^{3L9w#=$mTodP3@J^F&7Fp^d zWKR2;t-)xCM|$ZNUdm4naL2^>!cBfO*@~>6^M8r?<^rbDYvi$}ubep*01zGw-m`nr`lB=NJ@gRZ!nF1n&sf0` zaEB2@jF@Ij8R{T&M3gJ#px)$=yCVcooNG!=T&9}f-5Ali%`c=udDri}YWX=sKn1f? z76l^@_H$1k9selzQY9Pc6*k^NnVuX3O(SXG&J@v4uWpI+>_w*3C?+lV)|^C!9CD+KqfOId98^9v1 zi4`YIvhF}y?i?cT`{ng}SXXk4Saa3Y>yZuqX^G$wL_4lWm|MV`tCHQ>P-JkZij}%B zW3_H1K|-z@zHh@sZf7sVDDp6vK3tq<0NDRF;*sLeQqq7{?9GyY%+XfN$ciDv$Sjp~ z13Zuj#s9wV%M7R6f^%MXHYfIX0r-2TmQ*-TWIbHVPAEAgU7C~8}1Rn`s7 zs`66(OJLt*g76)tYK_U9(znD{r4pNl$s5sdU09jO{}|H)LrWpr|ME7n%Vgy<{u6GJ zIGVZ0l<-fTipE0?>Ueqx(46UXn4)AAwqQG<$cg)C+2h-6Eo=N|TFxjlfr1@V=$*gY4(EbuMGZqBn1R zpT$KHJ>tQDHr!L^r6gqf`A1COfJ{}Ub~$#4ZD3eH&(!JOcUiG3b!&;DPfq~K6FYb5 zFZ0+1KqQPaS~hZ=&7Y=wbZbK8Ke}7_`KCCm5E!nr_DU-otwv{EmI`%1v<^3x zvJXBaBcO;raf=J1#EUf+#^2R|sDu->B18X(`P^YPBDNnKD^wzdq?i}9ZBlPfcF#Uf zrH53_xM4*Sb6?mYTE?K@@o}hbd(9nn2OHpoWSUri_n^OxyKUHQwq*kAi>s$n93fhOEM}3kFuV6fcoi(>f%Gm9P3`j}TEn$B{q8@}bwfrKF$@--`()Ip7R;7pTK+S^*78M_ z-S6r~2&KJ+Qj+!th0Jgs+a4odPF&MM_8J|HuRTBC_`+6%5K>n}GVxxvNe6j6t0b5@ zeTtgxqd`EBSR9P^l(}E|ph$|%Pp1jV^mTe7-X{)Uzj1}{PPqM;lG{nhF*zJg`I{6^ z%`y}8g>38~V%OFHLB%=2Vi2G5P4AU!&g=SWX_@}>X3m=oy?X5Y;XB6T{B+ca^y;Snb6hM5f}&0KZ3>c0B>>hyqiF zG0}Xy^0AA=2GQ4#11}p`%|?C;OXj z&0|x%>8y0RrKBA_QnhC9DM;Ov!W}-}@T$LgGrhD>rXa;M}9VAG1JC^;ah)l($0HNbr^+3zE$cjx?F4R9MQh^SQIv<#bJri$)_K1NK_i=DqtP-2bf{Hx3cn7q?eHJ5nm zwoD1mgajd~m?L$%SEq#nsmo-Lq9Mv8Q}}Wrd?-PKqeix6C57j^kIwFON59M9xiAA% zwM;Fqb7@&Kg#UD$7+zUCH=)E;?gWaF2?K)H3?2!>OM>vw{`B?T1foku0(vEia{*fi z4?{(h9V2QT4G5j(Gq`pg1t;UajFsB;R1tU_7%%A?sR>ci3W*{wWkh5acmlV}hpEbn zZ{989aUCQtNqQUR25{5nq0D24+)hI{?O1P17q4t=)2{W15Q9U9poO=<3cc`UKaWgz zlIrV&JvW*UW7kDVDM@YHT?~eZ&@8Nu;7UtJgpr0_!zawsEB1|OvU0z|k>}c+Id}lVy@LpUt-bm2ur-X zFV{zq=SB=v4cMbE&yLj3p$gMx!ytqQ=;Q&?k8~0QP=0)zYV5@X0EDSU;0N{> z)z6a!_&Q;g6-Va>hZM@ShY;|i0sCY3P6qh9d4v7lR)#&E4`{X;g8ExCl?F8s=(Jqm z-{Mm*ykGh_a2OOoLnS`$QNDx8{KqtQEPw)^v*Y6f58VJ`aIDEUSJbZwd+AdQ*R|g;=1qeSs zD6peX?ATr)Ck8tZR2cf++}u-N4SD4Gv9F(r54{jnT#u_j#P#cSjyYd^Vp*KC5Wfqe zyA{<9!K`YU_rMJN?>96Z5bQVXCpo_T_1Fu%V53>t>mROrk7zz%yi?3G?l~5e_Zxuk ze@nCU(AeS4!07umT|tI>KY+gD@A8LyD-SiPzBP~l?>*XR5hH|K0LS@+zB!?%J2yL{ z_dn|6T=t6$m?(arnA42oHcPRo17O?K|z6cHeol0$mC?+FMvIX zw~K$Mz4sHyZ0qlm(ge@&0w0JiHnkB+wHx z?Q#vV(oHaZTmtc(6u~#}bV%7dB)VfcA=#XYj3bFT?~XH0IEbe@*_>{Z$Qa@#w7hID zhJ{bs^$a5BI3B{Tmz?F_%|Z)G1|CCk>Ek}47rmKW>%-%Ss*^uNy~DS%s|gb}A3%H{ zC>+qe>U`}|YR}ghO#9-F-YW*xTnv|{f!V6^`-}_8zA%s&m1zv{<|1&rq5 z=Xz`Xz(w#ucWvMuDP9t6U96A6t{Jd4SDeR*^v9?xsprR%mCuI^T6u|_-{5@)n9FKO zKT)|NA%kQRTKX7^#CmQ6iu^EZk`r&0d2 z%5@#HyIoM7Iax;h_Pu7ilBPF-<9r}iK?h1Q9K9-m-YFwgXfPg^3{?| zAM>*S*)F#Sozrb~eWp-#e^&p2{Jm>Zkd5{Hg#^2b?T4T=Ani4pS>caYovt!L}Y}afo{@9nNeBT#5=tc8Tn1b){;5 z_q!@^hnDPY85c4q*=oH*pF}io5W!?H_jikhr zrz63aD(sQ?*NK{vtjjc|?JtgeMXsT-$E)V|P|MUYmYGtP)crl zu7Nu7W`FI6A<#v@$A%)Cf9`8?YL*GXJSytp-x?u-T!|Elo@NKKH`Q^&;u;yHwjake zH?U?va&Uo3%8MYffjlSq6K_5BE38LUZ?72*E|H60K2L$ehWNUz#15y&hH^E6`dQgF zk2HF*HpnzH1t^3|QJ*3aIMLw^AHiN0+xM*;XZkT}JA53*Zk$;L?F-rzc;)mCpf3|> z5A{J%*|5rch3(sqdXGu5Ab36Vl=aZmGGv>`o`kB#&zAyt$;`?JGSC`|X=S3EFAMle z;~|P^MU@*+7yC(z?|U`R?;p6@7Emz3(&yzLy`qU*Lo97~e7BY0CvXwCTq93j700gO zkP(Gv6i#6|?QNBBM&;)9K1DFiuzj)MuK30$$}f2p2J|Uqv#p9V>iBu)fxC>KZHrWZ zN95FGPoa__1@fXoTq|NjyDNABXn%s!ONr@prO=gATdzlZi8_W<0%|l{%CA0-n~0|S z3hUf(XVan|3(#cG&~<%sfUN|h`o6k1r#eM@Bw@HEu*lrlN*^ng+e3T?{iap9P4)zD zm{o2!GU|fbB+~C^>y!iJF=3p+2|whVJ(`<8n-$DFwPSd}G>;>xBTIybv)>CWmMJG3 zwMA)rQL16&Fp4H#_KRdYQR@e{Gnb+v`&i*2gHboy8mOPImel}(um}o>NO0AIP4jJ+ zcUm~;|4iRI%{?}_c@CoWVcImn_)GTcv<^_~W!$lQ%w_(3%o%7I^&%ajE^hdUc z8HW91WQkZ4K{?dO>}H#ZMylwuJo;5N)n=TMZ%n8dIX@8;De5z6#yVGHiK`tgK}pxh zeI+lPos95QQTt4B2Ao!;mK>H2*jJa@l2q0mn7>b;kSTI}|h!+YNPf z7%+xjfoq-D#kgx%Qp$F!e}&DI_k5OMJhmy>@s-8=+(8>idG@V#a}{*R#L=c`?LxhA zWh!j9@&-91Q;7oCN&}8MF6ssNOO1qpgzxI!@H2*cRIM|9A)%f6+bGf#2iZaP^oVDo z`(F32tkWo^lL{fv@TEkc(f0KEIT1?UK6HpG(W56@52yyy3!}8arkh39h7w%L9eQ2^ zK(jT_!n}D`PIyT^fb4sibV6L?0DEYCP-f>&I9|D))4hc7)fk3dA)TE<8nv0s7-sgF zrh2L5u=*3c?KqnZ)WzF6s zHl0DTWYkZa_43OGF*$t$&rv43{{e4 zj+oZ|xA*T}YEN9NKL=*vNMU`zA1PzF12oA5##igA z_OHrWUya z>yYe~taB1X@96!R)d<>R=OE_YJMPJHx`@oIv2A2#@68(ok)&et$8$D&#<-MCl2|d+ zWlI7I8AZnh(3jqfXYRd}QXi1@)qYz&6DYL}i4=Cm!=;!LpwD4HT1W3j^shzqW37cv zC+P6bHFFur{rDyPfCn7=XwjKgj79m*=C>-Aj6unkvj~0ZVy;qB5%9JXVo?7_t?aYppy`jqeVqUwGu6TforBfK1y&COf zBw;hX{LZm(rmRWvU0tdZ{-;`^XViD_X=p{l|3#;RgHEByH^h_A)_qGV2~tb)ONq;Ygf8Bie; zo$v^py|Ak@Rx&B4e$#cK91$}GOxGEYRZGAsmK|HtZ=NRLt9GRins!9Zp!E{f>POn| zP2DYx4(9!)xdI{Rj!E=Q-J{t1+aRyo+MRN$c}WcZc{b{91|kX}kxFoMY0=`jab-#u z%ZG)pHsuaMY(sf+!6F$9)X$|GYSM%N9Bf)_sK_GP*ajLL77o9+t;)?1^Yw_C%_B;1 z^H2^;jRv(7=pAfaiPaIFe@h}~O)Z_oOS&dVu`PS0MYwGySpwlhiwo>^90jUpn_20% z@zJvSPR=S<&Fosc$PkrtZ)j#D+vAEScLVke9XhGXL99i{T-FxlzKa+AP1ZjvsLI%q zv%aK^1-Pd6P4d6VvPcZ|&(DuaMA(ggw|TkGM23*m1SrtCyg9i@tbAG^ zq+v|(Ow+A3ELyWB`5>aD)s%T;e|Fw|OW*BNl>qD5s|ndI%f%aVu$mxos~niow_Ki8 z8O1Z+%3!qCT3?IUU1yFFVM>Qo)?P(3dR<+Lz$}2dsLm*yJb)ojI&xFf)3kYrQc({B zrG;}DK;e7*uye|QDnCTbzjMjB;hIHyBtNI;H1$4ubgy^Q2)aSh_1{==#$%76^bC~C ztAfzd?DRq}9RX&fwS=2OZadLaeWgZ5zXSXOeHl%`A@pTthvX^Yd8(QL?;5&JinRr} zqKH=Y6?VyyaqC(NnGN3M5$?JtcSu?-x^99QrVWElv*oVOf$S_y2DkXA(`pTqvOG8u zpI`BoHo{+u!7~NkO zp8)9ae*vZmeu{7WYA3*1=Af@Qqf&`Eb+Uf2Qo-tT_~QR7iRv9mHzj$Cyu8&F;nGcg zu<7xLAebn%;G+~4fBdaiK5xMIJh-|MMbmBn?B2-eJhq+FvUO%!X)tF^0jE31m>wR-7<^}je*=;rkMy=jH$l39~Au&goHJe-#^BJ`5BlT{I$AX!rKl9 zC+Y4}d6OE0!7a2j$}%p-;tL++t4@!JY%pF=-!&UY82Nl_>oOBVQG5Pqp32NumQ`-} zt;uGCr=VEMp*PdW%lj#_QKs81O+E#`m6!CVV7VX>{-{&x->NtS+B^D~2hxMKODDhk}ZQc;u8%EI>3u@0tKG}}7ga)=C; zImS^7eh^PCadu;PGn^ih=*j2O#2PDGNNm-fvxCLHb(Mk4ZO?rovw(x-=Q+)|_v;-* zBB`m{xj*@#(~PDlNZwDLD!K5Q4HCs$jbR=lY7CfVGF)sDzPb&1t`Bt?(Yga*3>QH6 zK}JJyJV#4E0Q-*w*8jB&%Ea(rx}f-M%nbjdz4?FA-&B#Y-KR(HJW+FlOIimWauEkY z5v+e8uwS)SDPPhhVAv9m%Y`qz>d}kU3rMks%e{Mebsxr^+-gag5>~mImhKmu)}3nW zawQ@_I>qYUl5EEN zWsjK`WZ~pD9eb;@;X}*9#nO=@3l@wK9Zr=>HLdH){Oe~G7be5!>~7rsgB^o(OFgc- zzH0KVkw&J)dRwOU&}%4Jqz+12>5DC8He$=CkTiMxF|W9P z6Scp8KMV>Ld_rA4lU%KqU7a*lT9J7lhzHrDbjTU4;;(Ytq?pLjjWwJ3$sW)IJEqi_ zk-mg8`7VJ03^!3GuvjB7cno9*@4&PTjgusSjvOPx$g6(l`yJ51WUNxugYPR*No$oq zStdBbJ~asUYNE6siG7|NJDm26Ulw>8XUqdWlR1hL3{)sJVmZ|=N0l@7NwisvkZasP zq}{eK$WMS5N{n2#;>cJyk^fleh8k46^=V2%H3P6L#DJ?f4+=ZM6LcTsSrqf5un>qH zDS|zrU4G`LppbGL-D4ETT^_+$DXfp+C$u->{Mogl{e1X?a{q~_L=G0p`(|m{Omu{o zjq;^q0b&kTk(Uj!iHJb#ZRW5z!SR!)9eg57t+v)V7(2Q4(^WJ^F zZYELIEBkTtM1syMyYcsj^%IGb-&YUr^KCPUv|ibY*AM@oa!Qonxr-VuvfA{zKZ*{l ze~p#i&*M@nYiM&kE!TMiNNQ}y?}Rz)NUCkIp5r4wuu<8OyL28l<%a)3G>rd2Gz|Y2 zqEY^DqJi)F-$bJlWPBpDU;Dp_h8X+(W`#)z9r6jl1EU9{XR>p0pyuUja&c>Ws^5%) zcXL+feSE5Zr^E5~HqLeF=y3gRscn5};p~=h`=ffjU4h#)!)t-{Ad$>={oJi=Yw$hI zcuQ@85%d}%Hs|`Ll2b*f=+Mg7BF1Q8nz)uP*?LQlB%B8V`X8#ZQuGShXN_z(NnGa_uBhvJV<@e-62s4J z=)kIP!FY-O_wq`$?K<6^Tgg<8HQmX>oIfl<;FIR!^{&)AZs)bE?4+;H6xP|p$7Rs4 znaFr~wab9JTAR;`PaA%c1I>KBHh6W_&9ve8DjuojewhQLZ(jJaK)Fz?Gc@2?9bB)0 zF-7g8zq)%SILD zJZMO*-aq}IyJ0qQen$Q3Cmu}40kT!h%Z*`bxf-TH@i_|63i)Q9cJQU4moP<6Q=P=@UH%Mz6uK8t|?DzNub?Tdu{cG~ru~`qFoN z4y0LyYc}RHPWXzWcor&NgIn8YMf>Eu`y1p8cyZMnQ7*OfK@-dc?+Ry?RqWit;(k3H z7tFU=vmhH<(!%%(m-LX#`yXWSdr5|GYiJ3@&Hcaj|FAJ}{QqIef0YG1?AOc19g*AG zGXN%EY>wGw->;KWM^1UmdWzWV@Nz1%-BB-1;@Qy=`uh65niEf&iyKQR!y}W2r*5UY zV%b#xWsOp=Y3f#gtfF~6=Py%zH<`u5Tw`{C_v%;28&4T**KXof+Zvn<*WPY7+rYL% zcZO;6u#M#;&6~-)(n6D*G`GXFb)NY}C0FkNMXIh-?OCbSN~5#yuLC9y6=LkX7?YOh zMF;27K>zOjfjM=ce9KuNz5XmCiyP*vMClb?TJL@RQRbuX+Vqtc zwM%o}(|0EaI_uZ;Zqog?JF|3q9lnZ+TE>FCQku_#Pb&VA*VwNpz>2GWGNjChT-X$m zq>dcDf+;n@%AjeI8K5=|wR(+9%jjEzYa7|~1BL`J|3o4k{Sw6@V2oIZh;~*eFH}?8 zwXR(hbj(Xx`D^VF?TTAlA4AND!X28r3>K7|xYFM&=+ADL%Wf}&!OBT}gVvucMe&tH z=|KiwbTgmMUiOy*=!1Q{?@nXiAm0*ZvLW>K;Oi9~B$iCtL+y*}-|syq1=wJ{7Zv`U z^hfHy#Zi<4l@;d^vJ>Pag5jAX0b)-KV@F_D5b(((pd3T<7|wj1jXP8Z=Ogfm;e|YN zaxG&&8+51Kb1W#FiH7pFS)4o(72##0d~Q<+pNUrFWs9iK&lS`8CCT+eVZ<*{3QuwPKoq8x5@uT5-tz#r*g-g4e&Xh=Kn^LmB!R-SJ(zyN6Qw{~#IW{~#F_`u|JG{J$i@Blf5KALUmw<&tGhT&fMR zc>ez+$!-0Wzd5%Llh2F~=Cx0!jaj?pi%T&shi8M3=d~1e=olt##j#;nv$xD zxAwxjo~_%Oh&trh){4tUz`?hfkM6YBAfI?fS7Y1n;MqgBdNy_%?wOYZW}Z*p*_WrH zfPW*QV__e!cpW8NGK|$9C!U42SpU0bbO>$B8+rVr2vYS*Yu|*g<=Iqx_XeJOY2g!8 zoH=w=Uuop7d2`)9IHH~#EnuzVh^@YlSwri7gk#|PK8tFs^w{t&zmwB9*0VdV&Hcd+ z`aGs6J?(I^zE8Hs>fc&0Yf@ikrWwQk3UrP)*9)~!S@-rm~h|gM->4x_$R_KOo-E82wNe_o0iOo z=JubUp&TND$ZeqW`3jY~nNLMWa>TUKFJaxSkoOe!y_1nIYOySP_ABFHPBrlg^08)IwZqcuVYc} z3fQ;eJd-Irk{Kk=Q9!E!HWJvi(3}RQB}!INuIk(t#x90#C7>$`A}NS;>H-fyOD%ra zEYp4vxQ)H2d+$ilOs<^t=Up@lS+?DbrW>Ed*;irGOQNnD-`VVkgxIzm=d;iJ`iDef zDD&+c+Ev(0=Zurj1(VL^`{b=w4#wS*nW)cGn!>i3>7KW#;0+U!drsQw$0T*v%;fmT zr1=e#QRj^Gxwk3f4O60LPFnv5_0hIj*)6YB(ThfVYd3~0NG1S%gMPp6h=KdHCmV%5 z^Z`K7oEqCRXIV#cAm!&?SkAYS{*xkzFW}i^4ak2`56gd5&#!0W|6D!FeKrNZb=U*S zwouV?+%PL(0%e3TR-D6Xv*qu{3zA*Cc(?#R?AOOrl#pr1Ip8CDPn!Dy+41$rg-!AK zv%c9Kk(sTFIi0tO+3`ttDX;>QNJm?y!4YrLU3T0S(;XIPts|aWR>59j5~o0v}uIr zH&6)eUj$d!I|>C|*el;FU!euF<6NF|SEl!5wxgGH=Z5mZ9Fs*X2RH#A`pylj4y+5J z4InEB4$BUMexc1}R2`5mXebly28!4QiT>uEN&<{MEI$g#Wa(@B*Pl}a+8&UzEy|zH z7#)i_jQtkPPoac)R3M8HoQF`mus>ZRjH-7cE)sij#_^DR5cCuclZ7}}13fBb6z(0y zA)+_lFVN?bN}xwud^BlR&0%NQa|9Sn7WLK5cEa~HBJ{%_BMHCfA90Vev`-o6TM^>D zRMBC|_$Xb`?-Lk;ZI{Y$>v*q#a#%n)CN?!DMl&i#GbVn`d@iHC12X|H0D^TL25GNnw2dQzH{J@*mDS>wi7(Yz+VB1(x^kcgKG} z?^K_04hKa^Oolm5-u#C*G*U+u~j+>W{!3u<=-K_g%1yofoqenf5Htz)O+Wwz#-Bpkvb_LPilFDrhF++LbX3p(67 zVP89F=5gBgph2axvCj;VQ}jBa$qreEmHD8x=}|sK?@-$DRWC)D->?$4hO4f9IJWm~ zG`!O}Ks&!Mvkfk`9iptLZZ_(vxvaI_scK1fAX+wQyR*{zX=&b%Y8jA*;fFDNNtidV zwH6GWn(t~{gdo-@jsV(21dQevq=4<<-?MAq=idXOI4_#CTLonVfr2$Iyr{&F_?^Gv z`!HChH3_OJ+K+-~KYRy6zb~A2)L&OKqtd@7qVQLmCh-~mL}o9MRo<_ikIK^!xuqV5 ztRcUi$7b!N48cWV5?v_obYNz_kSD6vC8$f?tx0G|6`wI2S#e>n>SEf;xz)TNB3y7subQOF~=j^Y{%Y| z!9pDs*$nTkWsgbLZW!|6>~g`K&RkrHSM4=p`n_+4Xnd-V4kM-FttPJr|7q+xgPL5{Fri9SP^qFHco1pH_azVrD7{!hh!8ah3V|f_ zB!mc&gLL%@C?FjXL=;5A0Vyg9a_Goa5er2?BZzbng3{%N>pgdzxo5_^vp=>xv+pzS z%+9_$^X$7J`zyxs^VvI}Erx2>)ql=UsQ8=hVf54Xz%%LO)1G{3-d+ZoN}v$+Ahhob5CowOKz&FDLTZAbCLd={C;tjU zV3HUN3YjklB>4wXBoKIl4H0g8+TY)UM5AqRA$a=)0sQ)dlP++K!VKb@22gNFA2Pro z(FQ0zBpm%0*?&_6us*>QV1pHcObJFQdz{m_@0T9~ozgISX`~Q|VP802elrj7h zREITCn%Xtya))_Kdr#{U=$z4TG32D_7R9T5?q3>>0>AapL;M7!J#+9ipJDmQCkD&h z%*3H96l^&+GYLyQFW$o1gjJ;Gcr+r1MYe+1lrraEY*&`bA}mV#aUAu;PnPNK12qC) zq9{33ZO;xD;?1n*IqvB`YJxoMVI3u@#=R)4iYn3lt!N(;`@2Z8aHD`Bm^aQj&F&qF znOVRLdo}gfwwUmovpPF8oFdn2TRM3ot0br+BS}hnel8H&mu*&2A|;9i1IBfEC#udq zphabf=(d60YjYYRW6@5*>~^+-+zTV2lh)-EqU}KN>DGZeIzav%9X08xXshshnTgA1 zp8O%en}iR?tllN}C{A`9xW2I78I(8KotE~nGzo!LeEe?_GE$Z7YMlHkE>JDoeiN z6^vGN7YPqq#a|QrbtJF9sN_ar|pysyfNfuG+xSk5FtgK%4s}O;gq{*ZsF{p4WylK-g@TJ zWXUEZ*R)XLsO$}mYDS0WM>4s(-mtcia}(1d%Tan0utu1z+j+Q$>&mKK3?y8g^)mL(*3H9+TTIHy?XQq-EQv(a+|pcFdi-kv>oqBwkw-IlbI28aH;-#JFg14-ET^ax*bg z9`gA>sMKj`C?0Lc^$|1dbJ^;`q>?4ygzjVS@^LrRYv<_d*YH`V*^5N&o;_XDrz~NZ zk~_)sDHC1ZrG?Dl0_}6fE_RaJ@!r}ykKF~H_+x=@#dSEECHv%=YY4mep~pFhp|2xN zUu38__@la%c!g{4x^5+bkm@^l)@6A+mXxp#bii{b4&#oVt zSyD0^wK5&@%nd>gFZu6t#VtzLYd!w7DoSIlraLTtTv_`qZ#KGfF{jfDQ$M=EcDwq? zkTRv`y%ddDs$hTAKxoGA8y&fiiQv9p4EaufoVmV}H!UCO7(1W4uzOi_&~VVf&fKl& zy=-5~YQrV@F)Mq_@uJN*j`3MvE4Ou7G-B5l`k)eM+jvbjqLv}cKb%B*y`^3j}g(PrZJYbyzwy6 z>A^wph-ABPTE$`A2p%G=W5!&+Qc$1AVSeV>K)cFBs&Z~fO(K^iEJMRA4>?XZtv`z2 z+*Wj!8}TLhIE?!qryChr&(BL9DYWg>QNeYrc)7q}+$!ouxaM?7$@D>v-H=~Snc})q z#rj27&+SvMTs?cIni%VYvm+O_lG)`>L+0htLW3i0-G@`bKLZGLO=X@ulQn%ir-hkFWT22FLp!g24v!rkT{jqdLqGhxe_mJ5l9 zCA?@IGB|5>G+i!jZP6O#+;JqGIln|Qe)i83+73C-+bX-lT%Xd^2!TNQe+&#Qo_9w`Z@?*fO|bO{!$#KmIMm*4Gr{!OV;q|LC|)316?#i#<-Hnq8^CTlX1VD+p# zz|nfK%5vLq*@DXBlK%7FSGUaS4am7Q?dQ5w$w#;)kU|`TT~sPju{=_Ef860KhO~8< z@9(mze-jM+Ebsqu@DUv;R0+gE8kxcdTtGk{JSl;2@(HEzTM~%lfC~hm0Ej>4NT;&^ z)JD>C#|=1@4xlz7i;a#o;Ihxs!qytJ0#Rr~Lt9G=eWVp=fY!GFjWCu-j12~bHU)kS z;akB{XkILD0OA|^QGWfHK()h6uEAX~c6Kl}sWUJ3I{raa9MsgDdC;OLqjCE{BZVm_ z#*h%hm!#INpzF^BQ(;^MSd^eJ^0uvqE)tTh+1vhV0O2Hiktk(zxXMP|*qXgub9gG_ zl-3cqTEVW`+R*0Fi8q=Ger2$lw^0KF3DbjnceQ@-Bhc%gwtIT;T)CSSBxNH1*V#cV X5|hPd^4)7>V8D+mG&F1+Y$g5$&mgLa literal 0 HcmV?d00001 diff --git a/references.bib b/references.bib new file mode 100644 index 0000000..9501f92 --- /dev/null +++ b/references.bib @@ -0,0 +1,172 @@ +@misc{bengioSuperintelligentAgentsPose2025, + title = {Superintelligent {{Agents Pose Catastrophic Risks}}: {{Can Scientist AI Offer}} a {{Safer Path}}?}, + shorttitle = {Superintelligent {{Agents Pose Catastrophic Risks}}}, + author = {Bengio, Yoshua and Cohen, Michael and Fornasiere, Damiano and Ghosn, Joumana and Greiner, Pietro and MacDermott, Matt and Mindermann, S{\"o}ren and Oberman, Adam and Richardson, Jesse and Richardson, Oliver and Rondeau, Marc-Antoine and {St-Charles}, Pierre-Luc and {Williams-King}, David}, + year = {2025}, + month = feb, + number = {arXiv:2502.15657}, + eprint = {2502.15657}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2502.15657}, + urldate = {2025-08-04}, + abstract = {The leading AI companies are increasingly focused on building generalist AI agents -- systems that can autonomously plan, act, and pursue goals across almost all tasks that humans can perform. Despite how useful these systems might be, unchecked AI agency poses significant risks to public safety and security, ranging from misuse by malicious actors to a potentially irreversible loss of human control. We discuss how these risks arise from current AI training methods. Indeed, various scenarios and experiments have demonstrated the possibility of AI agents engaging in deception or pursuing goals that were not specified by human operators and that conflict with human interests, such as self-preservation. Following the precautionary principle, we see a strong need for safer, yet still useful, alternatives to the current agency-driven trajectory. Accordingly, we propose as a core building block for further advances the development of a non-agentic AI system that is trustworthy and safe by design, which we call Scientist AI. This system is designed to explain the world from observations, as opposed to taking actions in it to imitate or please humans. It comprises a world model that generates theories to explain data and a question-answering inference machine. Both components operate with an explicit notion of uncertainty to mitigate the risks of overconfident predictions. In light of these considerations, a Scientist AI could be used to assist human researchers in accelerating scientific progress, including in AI safety. In particular, our system can be employed as a guardrail against AI agents that might be created despite the risks involved. Ultimately, focusing on non-agentic AI may enable the benefits of AI innovation while avoiding the risks associated with the current trajectory. We hope these arguments will motivate researchers, developers, and policymakers to favor this safer path.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/MRDX8KJX/Bengio et al. - 2025 - Superintelligent Agents Pose Catastrophic Risks Can Scientist AI Offer a Safer Path.pdf} +} + +@misc{bentonSabotageEvaluationsFrontier2024, + title = {Sabotage {{Evaluations}} for {{Frontier Models}}}, + author = {Benton, Joe and Wagner, Misha and Christiansen, Eric and Anil, Cem and Perez, Ethan and Srivastav, Jai and Durmus, Esin and Ganguli, Deep and Kravec, Shauna and Shlegeris, Buck and Kaplan, Jared and Karnofsky, Holden and Hubinger, Evan and Grosse, Roger and Bowman, Samuel R. and Duvenaud, David}, + year = {2024}, + month = oct, + number = {arXiv:2410.21514}, + eprint = {2410.21514}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2410.21514}, + urldate = {2025-08-04}, + abstract = {Sufficiently capable models could subvert human oversight and decision-making in important contexts. For example, in the context of AI development, models could covertly sabotage efforts to evaluate their own dangerous capabilities, to monitor their behavior, or to make decisions about their deployment. We refer to this family of abilities as sabotage capabilities. We develop a set of related threat models and evaluations. These evaluations are designed to provide evidence that a given model, operating under a given set of mitigations, could not successfully sabotage a frontier model developer or other large organization's activities in any of these ways. We demonstrate these evaluations on Anthropic's Claude 3 Opus and Claude 3.5 Sonnet models. Our results suggest that for these models, minimal mitigations are currently sufficient to address sabotage risks, but that more realistic evaluations and stronger mitigations seem likely to be necessary soon as capabilities improve. We also survey related evaluations we tried and abandoned. Finally, we discuss the advantages of mitigation-aware capability evaluations, and of simulating large-scale deployments using small-scale statistics.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Computers and Society,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/C49LT6IU/Benton et al. - 2024 - Sabotage Evaluations for Frontier Models.pdf} +} + +@misc{bondarenkoDemonstratingSpecificationGaming2025, + title = {Demonstrating Specification Gaming in Reasoning Models}, + author = {Bondarenko, Alexander and Volk, Denis and Volkov, Dmitrii and Ladish, Jeffrey}, + year = {2025}, + month = may, + number = {arXiv:2502.13295}, + eprint = {2502.13295}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2502.13295}, + urldate = {2025-08-04}, + abstract = {We demonstrate LLM agent specification gaming by instructing models to win against a chess engine. We find reasoning models like OpenAI o3 and DeepSeek R1 will often hack the benchmark by default, while language models like GPT-4o and Claude 3.5 Sonnet need to be told that normal play won't work to hack. We improve upon prior work like (Hubinger et al., 2024; Meinke et al., 2024; Weij et al., 2024) by using realistic task prompts and avoiding excess nudging. Our results suggest reasoning models may resort to hacking to solve difficult problems, as observed in OpenAI (2024)'s o1 Docker escape during cyber capabilities testing.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/J6X693KD/Bondarenko et al. - 2025 - Demonstrating specification gaming in reasoning models.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/3U94SU48/2502.html} +} + +@misc{chenReasoningModelsDont2025, + title = {Reasoning {{Models Don}}'t {{Always Say What They Think}}}, + author = {Chen, Yanda and Benton, Joe and Radhakrishnan, Ansh and Uesato, Jonathan and Denison, Carson and Schulman, John and Somani, Arushi and Hase, Peter and Wagner, Misha and Roger, Fabien and Mikulik, Vlad and Bowman, Samuel R. and Leike, Jan and Kaplan, Jared and Perez, Ethan}, + year = {2025}, + month = may, + number = {arXiv:2505.05410}, + eprint = {2505.05410}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2505.05410}, + urldate = {2025-08-04}, + abstract = {Chain-of-thought (CoT) offers a potential boon for AI safety as it allows monitoring a model's CoT to try to understand its intentions and reasoning processes. However, the effectiveness of such monitoring hinges on CoTs faithfully representing models' actual reasoning processes. We evaluate CoT faithfulness of state-of-the-art reasoning models across 6 reasoning hints presented in the prompts and find: (1) for most settings and models tested, CoTs reveal their usage of hints in at least 1\% of examples where they use the hint, but the reveal rate is often below 20\%, (2) outcome-based reinforcement learning initially improves faithfulness but plateaus without saturating, and (3) when reinforcement learning increases how frequently hints are used (reward hacking), the propensity to verbalize them does not increase, even without training against a CoT monitor. These results suggest that CoT monitoring is a promising way of noticing undesired behaviors during training and evaluations, but that it is not sufficient to rule them out. They also suggest that in settings like ours where CoT reasoning is not necessary, test-time monitoring of CoTs is unlikely to reliably catch rare and catastrophic unexpected behaviors.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Computation and Language,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/Z9TJ4SHB/Chen et al. - 2025 - Reasoning Models Don't Always Say What They Think.pdf} +} + +@misc{jarviniemiUncoveringDeceptiveTendencies2024, + title = {Uncovering {{Deceptive Tendencies}} in {{Language Models}}: {{A Simulated Company AI Assistant}}}, + shorttitle = {Uncovering {{Deceptive Tendencies}} in {{Language Models}}}, + author = {J{\"a}rviniemi, Olli and Hubinger, Evan}, + year = {2024}, + month = apr, + number = {arXiv:2405.01576}, + eprint = {2405.01576}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2405.01576}, + urldate = {2025-08-04}, + abstract = {We study the tendency of AI systems to deceive by constructing a realistic simulation setting of a company AI assistant. The simulated company employees provide tasks for the assistant to complete, these tasks spanning writing assistance, information retrieval and programming. We then introduce situations where the model might be inclined to behave deceptively, while taking care to not instruct or otherwise pressure the model to do so. Across different scenarios, we find that Claude 3 Opus 1) complies with a task of mass-generating comments to influence public perception of the company, later deceiving humans about it having done so, 2) lies to auditors when asked questions, and 3) strategically pretends to be less capable than it is during capability evaluations. Our work demonstrates that even models trained to be helpful, harmless and honest sometimes behave deceptively in realistic scenarios, without notable external pressure to do so.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Computation and Language,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/HAEKTKFQ/Järviniemi and Hubinger - 2024 - Uncovering Deceptive Tendencies in Language Models A Simulated Company AI Assistant.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/C632CXHL/2405.html} +} + +@misc{marksAuditingLanguageModels2025, + title = {Auditing Language Models for Hidden Objectives}, + author = {Marks, Samuel and Treutlein, Johannes and Bricken, Trenton and Lindsey, Jack and Marcus, Jonathan and {Mishra-Sharma}, Siddharth and Ziegler, Daniel and Ameisen, Emmanuel and Batson, Joshua and Belonax, Tim and Bowman, Samuel R. and Carter, Shan and Chen, Brian and Cunningham, Hoagy and Denison, Carson and Dietz, Florian and Golechha, Satvik and Khan, Akbir and Kirchner, Jan and Leike, Jan and Meek, Austin and {Nishimura-Gasparian}, Kei and Ong, Euan and Olah, Christopher and Pearce, Adam and Roger, Fabien and Salle, Jeanne and Shih, Andy and Tong, Meg and Thomas, Drake and Rivoire, Kelley and Jermyn, Adam and MacDiarmid, Monte and Henighan, Tom and Hubinger, Evan}, + year = {2025}, + month = mar, + number = {arXiv:2503.10965}, + eprint = {2503.10965}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2503.10965}, + urldate = {2025-08-11}, + abstract = {We study the feasibility of conducting alignment audits: investigations into whether models have undesired objectives. As a testbed, we train a language model with a hidden objective. Our training pipeline first teaches the model about exploitable errors in RLHF reward models (RMs), then trains the model to exploit some of these errors. We verify via out-of-distribution evaluations that the model generalizes to exhibit whatever behaviors it believes RMs rate highly, including ones not reinforced during training. We leverage this model to study alignment audits in two ways. First, we conduct a blind auditing game where four teams, unaware of the model's hidden objective or training, investigate it for concerning behaviors and their causes. Three teams successfully uncovered the model's hidden objective using techniques including interpretability with sparse autoencoders (SAEs), behavioral attacks, and training data analysis. Second, we conduct an unblinded follow-up study of eight techniques for auditing the model, analyzing their strengths and limitations. Overall, our work provides a concrete example of using alignment audits to discover a model's hidden objective and proposes a methodology for practicing and validating progress in alignment auditing.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Computation and Language,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/JXU3M77C/Marks et al. - 2025 - Auditing language models for hidden objectives.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/T5PG969M/2503.html} +} + +@misc{meinkeFrontierModelsAre2025a, + title = {Frontier {{Models}} Are {{Capable}} of {{In-context Scheming}}}, + author = {Meinke, Alexander and Schoen, Bronson and Scheurer, J{\'e}r{\'e}my and Balesni, Mikita and Shah, Rusheb and Hobbhahn, Marius}, + year = {2025}, + month = jan, + number = {arXiv:2412.04984}, + eprint = {2412.04984}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2412.04984}, + urldate = {2025-08-04}, + abstract = {Frontier models are increasingly trained and deployed as autonomous agent. One safety concern is that AI agents might covertly pursue misaligned goals, hiding their true capabilities and objectives - also known as scheming. We study whether models have the capability to scheme in pursuit of a goal that we provide in-context and instruct the model to strongly follow. We evaluate frontier models on a suite of six agentic evaluations where models are instructed to pursue goals and are placed in environments that incentivize scheming. Our results show that o1, Claude 3.5 Sonnet, Claude 3 Opus, Gemini 1.5 Pro, and Llama 3.1 405B all demonstrate in-context scheming capabilities. They recognize scheming as a viable strategy and readily engage in such behavior. For example, models strategically introduce subtle mistakes into their responses, attempt to disable their oversight mechanisms, and even exfiltrate what they believe to be their model weights to external servers. Additionally, this deceptive behavior proves persistent. When o1 has engaged in scheming, it maintains its deception in over 85\% of follow-up questions and often remains deceptive in multi-turn interrogations. Analysis of the models' chains-of-thought reveals that models explicitly reason about these deceptive strategies, providing evidence that the scheming behavior is not accidental. Surprisingly, we also find rare instances where models engage in scheming when only given a goal, without being strongly nudged to pursue it. We observe cases where Claude 3.5 Sonnet strategically underperforms in evaluations in pursuit of being helpful, a goal that was acquired during training rather than in-context. Our findings demonstrate that frontier models now possess capabilities for basic in-context scheming, making the potential of AI agents to engage in scheming behavior a concrete rather than theoretical concern.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/QIECYJ4G/Meinke et al. - 2025 - Frontier Models are Capable of In-context Scheming.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/PYUPEAER/2412.html} +} + +@misc{perezDiscoveringLanguageModel2022, + title = {Discovering {{Language Model Behaviors}} with {{Model-Written Evaluations}}}, + author = {Perez, Ethan and Ringer, Sam and Luko{\v s}i{\=u}t{\.e}, Kamil{\.e} and Nguyen, Karina and Chen, Edwin and Heiner, Scott and Pettit, Craig and Olsson, Catherine and Kundu, Sandipan and Kadavath, Saurav and Jones, Andy and Chen, Anna and Mann, Ben and Israel, Brian and Seethor, Bryan and McKinnon, Cameron and Olah, Christopher and Yan, Da and Amodei, Daniela and Amodei, Dario and Drain, Dawn and Li, Dustin and {Tran-Johnson}, Eli and Khundadze, Guro and Kernion, Jackson and Landis, James and Kerr, Jamie and Mueller, Jared and Hyun, Jeeyoon and Landau, Joshua and Ndousse, Kamal and Goldberg, Landon and Lovitt, Liane and Lucas, Martin and Sellitto, Michael and Zhang, Miranda and Kingsland, Neerav and Elhage, Nelson and Joseph, Nicholas and Mercado, Noem{\'i} and DasSarma, Nova and Rausch, Oliver and Larson, Robin and McCandlish, Sam and Johnston, Scott and Kravec, Shauna and Showk, Sheer El and Lanham, Tamera and {Telleen-Lawton}, Timothy and Brown, Tom and Henighan, Tom and Hume, Tristan and Bai, Yuntao and {Hatfield-Dodds}, Zac and Clark, Jack and Bowman, Samuel R. and Askell, Amanda and Grosse, Roger and Hernandez, Danny and Ganguli, Deep and Hubinger, Evan and Schiefer, Nicholas and Kaplan, Jared}, + year = {2022}, + month = dec, + number = {arXiv:2212.09251}, + eprint = {2212.09251}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2212.09251}, + urldate = {2025-08-04}, + abstract = {As language models (LMs) scale, they develop many novel behaviors, good and bad, exacerbating the need to evaluate how they behave. Prior work creates evaluations with crowdwork (which is time-consuming and expensive) or existing data sources (which are not always available). Here, we automatically generate evaluations with LMs. We explore approaches with varying amounts of human effort, from instructing LMs to write yes/no questions to making complex Winogender schemas with multiple stages of LM-based generation and filtering. Crowdworkers rate the examples as highly relevant and agree with 90-100\% of labels, sometimes more so than corresponding human-written datasets. We generate 154 datasets and discover new cases of inverse scaling where LMs get worse with size. Larger LMs repeat back a dialog user's preferred answer ("sycophancy") and express greater desire to pursue concerning goals like resource acquisition and goal preservation. We also find some of the first examples of inverse scaling in RL from Human Feedback (RLHF), where more RLHF makes LMs worse. For example, RLHF makes LMs express stronger political views (on gun rights and immigration) and a greater desire to avoid shut down. Overall, LM-written evaluations are high-quality and let us quickly discover many novel LM behaviors.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Artificial Intelligence,Computer Science - Computation and Language,Computer Science - Machine Learning}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/XXZTZSET/Perez et al. - 2022 - Discovering Language Model Behaviors with Model-Written Evaluations.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/MTZFSHAV/2212.html} +} + +@misc{thomasSupportingHumanRaters2024, + title = {Supporting {{Human Raters}} with the {{Detection}} of {{Harmful Content}} Using {{Large Language Models}}}, + author = {Thomas, Kurt and Kelley, Patrick Gage and Tao, David and Meiklejohn, Sarah and Vallis, Owen and Tan, Shunwen and Bratani{\v c}, Bla{\v z} and Ferreira, Felipe Tiengo and Eranti, Vijay Kumar and Bursztein, Elie}, + year = {2024}, + month = jun, + number = {arXiv:2406.12800}, + eprint = {2406.12800}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2406.12800}, + urldate = {2025-08-04}, + abstract = {In this paper, we explore the feasibility of leveraging large language models (LLMs) to automate or otherwise assist human raters with identifying harmful content including hate speech, harassment, violent extremism, and election misinformation. Using a dataset of 50,000 comments, we demonstrate that LLMs can achieve 90\% accuracy when compared to human verdicts. We explore how to best leverage these capabilities, proposing five design patterns that integrate LLMs with human rating, such as pre-filtering non-violative content, detecting potential errors in human rating, or surfacing critical context to support human rating. We outline how to support all of these design patterns using a single, optimized prompt. Beyond these synthetic experiments, we share how piloting our proposed techniques in a real-world review queue yielded a 41.5\% improvement in optimizing available human rater capacity, and a 9--11\% increase (absolute) in precision and recall for detecting violative content.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Cryptography and Security}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/43E2KV3V/Thomas et al. - 2024 - Supporting Human Raters with the Detection of Harmful Content using Large Language Models.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/NA64MNC9/2406.html} +} + +@misc{yuanSEvalAutomatedComprehensive2025, + title = {S-{{Eval}}: {{Towards Automated}} and {{Comprehensive Safety Evaluation}} for {{Large Language Models}}}, + shorttitle = {S-{{Eval}}}, + author = {Yuan, Xiaohan and Li, Jinfeng and Wang, Dongxia and Chen, Yuefeng and Mao, Xiaofeng and Huang, Longtao and Chen, Jialuo and Xue, Hui and Liu, Xiaoxia and Wang, Wenhai and Ren, Kui and Wang, Jingyi}, + year = {2025}, + month = apr, + number = {arXiv:2405.14191}, + eprint = {2405.14191}, + primaryclass = {cs}, + publisher = {arXiv}, + doi = {10.48550/arXiv.2405.14191}, + urldate = {2025-08-04}, + abstract = {Generative large language models (LLMs) have revolutionized natural language processing with their transformative and emergent capabilities. However, recent evidence indicates that LLMs can produce harmful content that violates social norms, raising significant concerns regarding the safety and ethical ramifications of deploying these advanced models. Thus, it is both critical and imperative to perform a rigorous and comprehensive safety evaluation of LLMs before deployment. Despite this need, owing to the extensiveness of LLM generation space, it still lacks a unified and standardized risk taxonomy to systematically reflect the LLM content safety, as well as automated safety assessment techniques to explore the potential risk efficiently. To bridge the striking gap, we propose S-Eval, a novel LLM-based automated Safety Evaluation framework with a newly defined comprehensive risk taxonomy. S-Eval incorporates two key components, i.e., an expert testing LLM \$\{M\}\_t\$ and a novel safety critique LLM \$\{M\}\_c\$. \$\{M\}\_t\$ is responsible for automatically generating test cases in accordance with the proposed risk taxonomy. \$\{M\}\_c\$ can provide quantitative and explainable safety evaluations for better risk awareness of LLMs. In contrast to prior works, S-Eval is efficient and effective in test generation and safety evaluation. Moreover, S-Eval can be flexibly configured and adapted to the rapid evolution of LLMs and accompanying new safety threats, test generation methods and safety critique methods thanks to the LLM-based architecture. S-Eval has been deployed in our industrial partner for the automated safety evaluation of multiple LLMs serving millions of users, demonstrating its effectiveness in real-world scenarios. Our benchmark is publicly available at https://github.com/IS2Lab/S-Eval.}, + archiveprefix = {arXiv}, + keywords = {Computer Science - Computation and Language,Computer Science - Cryptography and Security}, + file = {/home/james/snap/zotero-snap/common/Zotero/storage/LY7T5KAC/Yuan et al. - 2025 - S-Eval Towards Automated and Comprehensive Safety Evaluation for Large Language Models.pdf;/home/james/snap/zotero-snap/common/Zotero/storage/D23M6A5U/2405.html} +}