From d049ac9918710929dcb6242e8306c7678759bab8 Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Fri, 3 Oct 2025 22:05:53 +0200 Subject: [PATCH] LINC: Diagnostics for classic LINC. These are tests for the classic LINC, including the features new in 1965: 2048 words of memory, a Z register, an overflow flag, and an interrupt facility. --- linc/tests/.gitignore | 1 + linc/tests/classic-test.do | 112 +++++++++++++++++++++++++++++++++++ linc/tests/classic-test.linc | Bin 0 -> 271878 bytes linc/tests/linc_test.ini | 4 ++ 4 files changed, 117 insertions(+) create mode 100644 linc/tests/.gitignore create mode 100644 linc/tests/classic-test.do create mode 100644 linc/tests/classic-test.linc create mode 100644 linc/tests/linc_test.ini diff --git a/linc/tests/.gitignore b/linc/tests/.gitignore new file mode 100644 index 00000000..2546579a --- /dev/null +++ b/linc/tests/.gitignore @@ -0,0 +1 @@ +clobbered.linc diff --git a/linc/tests/classic-test.do b/linc/tests/classic-test.do new file mode 100644 index 00000000..418e3754 --- /dev/null +++ b/linc/tests/classic-test.do @@ -0,0 +1,112 @@ +cd %~p0 + +# The tests check writing to the tape, so use a copy. +copy classic-test.linc clobbered.linc +attach tape0 clobbered.linc + +echo CONTRL +load -e classic-test.linc block=0 start=0 length=400 +break 34 + +# Special treatment for this test, because it's supposed to halt. +echo *** Test: 70 - HLTTST *** +load -e classic-test.linc block=1 start=400 length=400 +assert 400==70 +go 401 +assert P==402 +continue +assert P==34 + +deposit RSW 0300 +deposit LSW 0700 +deposit SSW 77 +deposit SAM[0] 177 +deposit XL[0] 1 +deposit XL[1] 1 +deposit XL[2] 1 +deposit XL[3] 1 +deposit XL[4] 1 +deposit XL[5] 1 +deposit XL[6] 1 +deposit XL[7] 1 +deposit XL[8] 1 +deposit XL[9] 1 +deposit XL[10] 1 +deposit XL[11] 1 + +call test 1 SAETST 002 +call test 2 BCLTST 003 +call test 3 BSETST 004 +call test 4 BCOTST 005 +call test 5 ROTL1 006 +call test 6 ROTL2 007 +call test 7 ROTL3 010 +call test 10 ROTL4 011 +call test 11 ROTL5 012 +call test 12 ROTR1 013 +call test 13 ROTR2 014 +call test 14 ROTR3 015 +call test 15 ROTR4 016 +call test 16 ROTR5 017 +call test 17 CLRTST 020 +call test 20 ADDONE 021 +call test 21 COMT1 022 +call test 22 SCRT1 023 +call test 23 SCRT2 024 +call test 24 SCRT3 025 +call test 25 SCRT4 027 +call test 26 ADDT1 031 +call test 27 FADRT1 032 +call test 30 FADRT2 033 +#Bad block. +;call test 31 iBETA1 035 +call test 32 iBETA2 036 +call test 33 iBETA3 037 +call test 34 iBETA4 040 +#Block 51 same as 52. Test 35 missing? +;call test 35 LDAT1 041 +call test 36 STAT1 042 +call test 37 ADMT1 043 +call test 40 LAMT1 044 +call test 41 MULT1 045 +call test 42 SROT1 046 +call test 43 SETT1 047 +call test 44 SETT2 050 +call test 45 XSKT1 051 +call test 46 XSKT2 052 +call test 47 AZET1 053 +call test 50 APOT1 054 +call test 51 LZET1 055 +call test 52 HWCT1 056 +call test 53 HWCT2 057 +call test 54 HWCT3 060 +call test 55 HWCT4 061 +call test 56 HWCT5 062 +call test 57 RANADD 063 +call test 60 ATRT1 064 +call test 61 IBZT1 065 +call test 62 JMPUP 066 +call test 63 JMPDWN 067 +call test 64 TAPETS 070 +call test 65 MTBTST 101 +call test 66 DISTST 102 +call test 67 DSCTST 103 +call test 700 OVFT1 104 +call test 701 ZTAT1 105 +call test 702 ZCLR1 106 +call test 703 ZCLRT2 107 +deposit INTREQ 1 +call test 704 ENIT1 110 +call test 71 MISCTS 111 + +echo DIAGNOSTICS PASSED +quit + +:test +echo *** Test: %1 - %2 *** +load -e classic-test.linc block=%3 start=400 length=400 +assert 400==%1 +deposit 21 1%3 +go 401 +assert P==34 +return diff --git a/linc/tests/classic-test.linc b/linc/tests/classic-test.linc new file mode 100644 index 0000000000000000000000000000000000000000..df7a9f2cd5faf1fc0bb7d6d81f99e51ec8845784 GIT binary patch literal 271878 zcmeEv2b@*K_5YOH-+gnJ4$_voprTZ%x=Ry%A%YzXiY9`lD2d6>k{A|P!QY1b(4~kC zuplv--(M4Biis|wl59v+f=FVliJDlV#u&}dvj6Xyx%ZW27tlZi_rCXe_syN&&Y5%0 zoH^sMi`=DNCA(K%;W0Lm;epRE>k2#vvuZZitu|hGw|4lBluNx3zAmGu#fHnp`dz!( zVj0Du<5-P!J@brM@})E;2Uq)rh!e7rY$ZVK4xm&s(NzF`) zTs97M4ZTA9hO-~bC3qjnmgu$(XLqx^WsQz8lKou%*ju98YhqY(WafVOQ0(EXhFS#| zJ%5h=sFW0jGUVM}jR}{-GbV?8{s{ZA{CVbX@9umLnw(H4X_=bI;RvNV=oV4UP1v{Ig;w6pGmGG<^7o@8R~bmCPTSUyOw4u$rsP1-o`n3msyNF7o$as$uI7S^nZWr0mfXH0sgP>T#WQ! zS?yIZ$wtZQ41g!Yyus`Zw%CpE!Snz&SS%~OrGS+hngy65Awjz^hD*OO`#$x02S!(|QfAeg_Kuu_KVgEYDZBhfw`6RzB9RtXpf1f$f*1N3MpssscR zBvCr_B(Mc~i{M#9sfkBD{d2%Rg`$lFy&ih42=agnbb4Js-FK*ezP8jSNzLPb)L~w9 zh4&7Agz?R%Dsfneqxio`4o!1R-}jRqz-p%Fh8|mYuJ?w!*vk;ydl$-kGc+GCfpp+S z>~fG zaB(KY4jH5#`*aVCLhZVR`*ao4%I(D-;A{xHKPm&<4wh6*nP`j#%f^UY*dn+2oCi8Zp4^q^z?pfn=Y~H7T>@%4UXXHCvjzGFPHY6W&xK2M@j@SN&XRl&1 z+b#Ss`XG8QdMA24dM3IbRB5AX%r<5kUEmcgNFFO=CL0p)_UG zvBUEzO8t*c=f+;0iZVa`SC)+bm3sUWJW%}B7@3%b@jp$ERBX8Y2_4F#a<&o~LpBVH5a2 z79lhBh$kTl{F5((%)!i=1p1FH@jWV?1IaM$wSODq{|?skx1!;!f{#Eshq2eA<&250 ze6EaGSD#$f(uT{jY|8}?V2QP?0<+~n&e#gJl7-o2%#Ft?S(=-!)w}ZFYYj{@-f0gw zMdLrPWc<79@$ZiD@2u&2{HJp!E2ciTXVK z_h?H0?YzrARiRNl{v^{O39cXS0TIP+cI7@*%}pEAqzB6M`1{QFhqL!E`a=;u48Q5% z*6NsI<&s#vWsvcb5BNN5mhky<=B0dFlb+l^U)#j+--CzX{m1YKeE;(iI5_CRmqW&% z@a-XXW{7K#cpb~+$G$Q8UT~t#5xu$n`IaR5A7zaYOU<13iTmWeXV1qlq{Cv(BW5d+1d>Zm??HhLp^H+r8q zzWlcZsX(D~nv)q6LLn&LL2^(W3ayYP@`jR7wu?|!DywLcmR^e_8O?+yYz!977Cu@i z(n1({qxm}tB{})t`Lrt<|Na>NetP`d>hU*Hy<`p;IiHc?H9rSH`^!e&$mZcROi$ns z7pIAe>)nD>AU{W%l^GO5p%1i!M4>no8beLw4JDzCy9jM8l~puJOEbAhlF>|PV?oZ* zY-nR51!*C)(a1d)Bd~;mh8H9RDV8XKiPACq&tr+Q(hB6? z%7F3AH}6&CD5NU53c?5C?kECp`?i|;&i@2w6A zoR|I=W@D+pc{B5x+yz%5Ua?=XyJ_0y(l?D?`d<3hH2sdD#r110v=H8WXcFF1s0nX5 zl)`rwYQlA-Pw3GR@P9w}{sH!2&F%SYAY8PM>w|(LU*jHV7yBOwf1>PscA)krcOorn zjEZT#PpDa+Xt8bfqYmh#@jvLepj>nTg~wDm^u30%#_TXqd_Ef{>R1_cbd&c%HVe#5 zVTwWxy+mk$wR#?CZl#*~l z1u#f2brs7ZSBa7&tQAeqxRZe|I zO;w*&$Eay)x;j=Jr;b-As1wym>SQ%TouW=vr>WD`Om&7jQ_WImsk7DR)aTVXYPOoA z&Q<5BFQ_l7FR3r9^VJ1vuKJ4ls=82pO?_Scm%2z@tS(WPs&A-os>{^3)I3$K=Bov2 zp{h}rt3_(Dxc{FQ>Zj^w z>R$D8^$T^Mx?k0+4e9~4Q9Y<0QV*+5>X+(QszLo)ZC1Zgzg3T@N7Z9$i~60~svcL{ z)DvpE`n~#tdQ$ySJ*A#j&!}hBbLx5ZC-rCbf_hQCr2eA*s$N#Fs8`i%>Tl|G^@e&= z{awAK{-NGh|5Wd&ch$et|Ec%X`|1Prp=wkI==I-c2ipVvL+rNxp>}(Juzesny94cm z@PD9PE*K!0iHNng2Y|BiSzCm(_1ojw-XCZWLdt>mXdWi(K5O(5&H0da5kw;?0j8gQ zwgV%A8Sv8&lLM8xTokD;j?LY zo90imxyLa#ro?ljD}1~9lkFT*PsXh1fV1Ph;n&;mg(u~EB*KpLkJK}!7n{TrzJa=^ zFmvD%+-u|!sL*}3^F9R?>y{t?ll-&o8UC5}0DqQUfpI#`KG~m%u{^^*#s8dr7JN>z zPlfxGc>K?@BldZWdOwWtIXe6-%!M|X3#a7g!l_7q7E+ysXT)a1e;i`Z(XmgqPe%zS z$8%%=Vh!*s@T9V5AZ&&|Bc3BCwKzxG9$c+|_9+;X|6~(-VEjJ-RrVgvfH6>S zeK5Lx0d;-iG3<+ROWb|zes&+fuifA7>(hy^I%XGeKDd5h{PeS*^*}oQ``Li);p+AT z{FB~KQ~jU0;N1%PKL`3*+h_t2PnQK%SgaA`181Z@*go4+idvCD%FVSx9>C{P{3 z^57Z!W%)L0(-_^QK9}tfzAUd7$LRMN@Cnr0{20C-MHR|PN^V;IW9%k=p;(fgsSeTQ z-^3@$7p*Rtd&8N!{0qg4)+z3-UYE?0EakQ&+a+_WcZ&O>bs<{Q7|m4ohFvl*T9f2W zy8J`nvm|?=xQRculk!Vz^GUq**7Tnl|NB7$-mk}e19ZSg^MSk*bT}AvKFWk*ef{ou z>zAcBhPP4n7`PgvDmeyXVilkJW6&Wim!r`KM*263FN2O)UEV&xC(*{V%$9qg4=gWz z2w87AwsUA)yMp@~>yOhTTh7LEv;W7$Sd8j8j4Bi3;L`cQMWKTM^^{!23F{^zjMxK;L-$2N#Whmwph*6f^^h!{HP{juLz410MOK%KsvwwMlLi@CILGf zs`1288c!TsGEeBOA6MC9?L#49I2ICy{&@Dsyh&%u-kc@<^W#4ZltvCP4i%uKOFy!vRcmK6gDeAI}Xyb<1nOEY@|N~Z=!ch9Tl4X*KiC# z8^r_ksM*V%PiDr4Q58x4 z95fcW{70Ld7FN^)2gT!$Q3g%b8NcrSVHmTK82gbnWIXmrPw_#K4zbMZd{zcJ7mJ`Z{T zq){^0ewaN6OaToM>p8JOeAVaHR}i)VeqRONIM1FNV~+FeFQe28>@T6*3ovH}YMp{F z+voVR5i;AKgXbLoTs+V9zlK;}!*ewEvc1^n^SS|42IY+|#gFEho?{-ZDIi_bPqRHR zC_nz+@Gr411-Hh%Z{qo;xD3z7#J9-DnumFDsl5o{OneigJRHAD{Eo-SUxt6kd?Dpy z;#>Hy!fztn^YDKzX2U|e+OM`5tFh<%^XH~&rWlM>BNo+ik^N2oGWcEQe+$oV z`Sb9c=eN(k(adCkmKshnat19DSfim@wU*Bz7=N<=U&+d3eMFL3JlvcpM;dl*fDYVxAWm=>l`Ttg`WY*18Od> z1MuVNe+8jbb0)9XKG*w~!pE#fM1K_Q7F4n$*x_s}?(94iXO|i7!Kx~{X`mkG+N+{^ zRiCZT)Z;#aN=7~LY4{wf$A1*-k24?dL{gLsi(M=%s~obrh!MU&3VuVh8~9#YtXH-V z*ten`9i$-n9%Bb&uNOzE37J#b=IkIb)B1C|#_#h}WH8|Qen@Zc2TbFG3w%Pra8}!W z>41GZoCbh(Z<*~5`!7}O9#*BV`0?TEBW8MY%sxNByQtt0z5Wl?YXD>IvDypP!ygTu zkTLKZi~n)>e*)O^8rC6u5FeSn7Pr8RaL%q{J>l+~Jv@6o>x;8^5qj^7_xG^)Pe+QmSX__A|5xxE#^-_}(|Lqu z@30QKrsOkNekdnqj{|PuSZk6}Ok5To>vzfy*DJV$yA0$;Ax@e2kX6C&bJ+=qh0{eS zyU+$YU9_Bikt|N6pPlx=Fg^a&=;hY=DV{ZE<}bp`e=Yl4%&pfjcW=`(|NEHvuVUuE z7SH@^;+cOr&cM>lzcHTqzd?%EF!O(l|G(jPCw~nyU*}OW^Ka8Lzdrj&JoA%MOk5WJ z)?c2zE1vmO6Po!+oHB4(zkuJf+4~XeDpuRf%>T=7&-~$_kA2+e*TxzQt{HF`mWz(4 zd3XHE@#}+M1@GcNlzkj)z?SS|cs`ZgqTe3MKBWCN#D4Vl5ZdeTKVrYmLCWF$yV)V^ zU(q&%l*@bYWbmU<3b~36%T7QmDF&rF%HM(*L`&jcFmV*(9pzuerevwSGVw4U=5NIL zlQMB;_BgN|4nG8=@tFST*W1RXPTpl>MW<7G=B>m$8<=jrXhA z8uWSvnuxp<_DT7#*qt!z6nXc6dyd4F=wF}p1YY_PT6Yg9>U;dR?P|E(@Bv=WDdj8K z$Lt|EFZoOS6Bgc_b)l1QLdgH|EctGSFBkdv;C$-Xvy=j^MG16^%dnZHWEoEgk>;Yy5GVk9B2z*&y8eQ^}5E$Fft| z=h&Cn*V(t&Vs<5{zMI(X>~8i8$bBDS+u3vMW%d?(pV?gTPP`mCf*Pw^M|>-=5ZCK`x#qMPU^4iO_ol{i`)Cr%Te z7he|tCFY4M#8u*2akIEX{7Bp#SR>?_2j+_glZT9<%;n{mFXOdfWQYa_us^i`^UN9EW2Mn%y(*?WzO}^I_H0#A3OEVubeH;lg^)=*PMSkjgIHGaSw3&xCgr< z+#}p6?sWGQ_iXoz?$_MQ+(qtEca?ji`#txE?$6za+~2xSxX-$Ob^q?Z=UQIY>*)3L z26#ifG2TRPs&}GyhBwEX>s{h4@V@OW_ipfR_5Ppt6K{jp;Qh|~qxXXMH}4$}YX5#) zzpLNZALJkASNcc!$NH!GpYy-uf8GC1Wuq0R!tPa)(cLqNV9teINYz>|YUJPCj z-VJyr$h6CJ%k;|}k{Ow)${d|JE^}Ju^O-Ma{wp&tb4BK=%(a=DGk0Wul({dnDf4LN z_nGH2uVns_`5@zjQP?@`6&@H43&(|%!(+me!&%{Z;a9_Ngf-!J!j<8g@Vnt%;m^X2 z;pXu1@agcS@Qv_ap~z;k?ZLnH&mNi`l^vhWWslFEo;@dfe)ghlb@sorb=m8(w`9Mc zy(fEr7I-)NhwPuSuV&xQewcM}`nd~EHy?!4%ZKB1@-&=2J`1OdFU0BL%W*pRYMlPP z4X1nW#p&JO;B@XYIDPvjPS?sPj5`6~YtcWURqUtGm_lO;jVUyyYh$`LrfXxmHtuyw)eFs@XJdxA z!w%raOF#8|l;GfhuasQ0!LC03AuT9_^sWu-Z?*9{h12+z5^r#USq6`re)gvx7{PwW zJ$4Y6S^9^D7GyvI`hN6Y&xb&oK>I>4!Ld z5T`26$HYlxu>10SI1IbqwExE-n^NEfJNVuGUXXo3+7DP>E0jybh&S2(4BigP z4ud4@NX)tC*i?;qJ|L|f=G9V8TJ*p$SPUL&SE#PuVq)WFKJn6>9OEHFM1Z| z1D}>7+hw{V_!qx)Rciya%>2H8SiXCB+YD*Zo4?{Zh4;oXbPO0(Y09v~e5 zA@=@PVt306U+-bG$61_0 zE`v*Q8OKLJ@?<&D zI&dDHdo?;kM~gb^NvE&><;*=hP)fVm;rm#$4SM{khslOVH{I8-0^gU*ZhE|ZJ>DI( z{s-;R`usW8&G*oHN<%9JV-){Jb~twbspraNFP*ZNPB}DtnD*`Ems5W-Iy0W67{teC zC&p=vO@T2w&D894?K{RF4T^#=$v)O;pQ7qK5X1k$fVrom;jqHcR#rS)S!JfU0^i z4VFH}^BYkn=^KrJ#$GwBF7y@0_7!F-Ckd7o{{MvVWv5y7Mzk9QTubsp7MxCD(+ zyKE;t!mjV6(74Zzc_r|Xeetq%lhu>g*{%;6xhp`&QJK{N2x2RC%yM@qS!gnaXNn?)Tvmg(gF2>{6m>I~Oa60b(6CMHjbjVaJ zPgwMCd&Ag$IO8z_SlWYhI0+@+yCF{q$chM^nb5ht9u0)lM|!R$Eywfm^t=q70rC~# zGC1VSER>!Mw`;j{Qk(RDPxnBoanQ>3e^QN;)~#`pj($}>G{9bcm6M3|I_t9UH{YdKVARR^*>$z)Ac{K|IoVZ zKcw_uO8=$wUrPU_^j}KHn1ePwD@Z{!i)ul>SfY z|CIhu>Hn1ePwD^E{&(xJ|DE!GDgT%9e<}Z$@_#A+m-2rp|CjQADgT%9e<}Z$@_#A+ zm)`&N>A(Lg<^NOuKjr^Z{y*jaQ~p2Y|5N@y<^NOuKjr^Z{y*jaQ~p2Y|5N@yz5o5w zegAtZ|4HRPsr)CE|D^JtRQ{97e^U8RD*s94KdJnu)yRK#b)Qf@pD%_X5^jjZ?O>1K z-llHhGS(3{JW1Rc_%rVi5BCP*?$ATUaP~;lmLD3n;T5=}uQ3{oTLEXVq2d%aOe|-I zhBG-6hu{|BmEkbNq#NUhASG`9W5?o_(ASZpVDEWl;!H6ec|L->s2_R^3uog-@L{O$*TXv8VSRo$ zihmV%S8Zl95&KlcKFy~%Gp$j43H)C{%vv3DA!05Lg*Y8?X5voFSEHLzt4e+&TJ^ei zzsJb^ns#^P>rh+Vkf+;IMg0`LCEt>7NQP3s7Y;?w3`0A8=6J3*8f_YdnC(PcA;fd2 z{gv#$nAENxM;EbG>=)rR?5F6V_i!iUxqK+Q1U>Xj^mqApo#Qh0yP~l92;0sIVb6tG zepC2a+_1=y)2m_Iuq|%mstPCL-`syboh@V2!V_`3SEbnM(Y@T|UZq#*&vuZ6o#EYR z(f!<&&h}`Ye-3VOL_EK*M|XHroFsl#9Csc<=#K9s?)`j2MCmCWrJWbtX6rZ%{?5Y@ z<*)P7?sarMAfvK$naKYPZ=IclQ~IX)ksqZg{!n@Aj`MD_L%Wh+ z8r;T@lq-@3o z_2>`cU*bBZvK_No-2ZqWZq=rFJ}97jL4PL*_8#Px_hn4mt^V2GKl}mNKY9I};o0T(Dt~w9Zt+|k&rV|XZhP0_ z^z8`{sANmr9>6>Vw||ZZ{>*S32@Vj?xzGEs z1m+PZ`W6!r!Q?QxIeeG9>T~{iVXdeYQ`i(%#T^Zs^ZXZ(M{zAv_rBZ%BUmFie-@2o zUDznr0r#jzfUU!_V_1|Ogd2G224JSJx~bv#VO>{rN9b8t+i(}GaM)LHqoa-YWvmBo ziT*G;i!EpUvj=BAV1aV!vY}Z&ESDa;I2&Ni9Gfi{7xRMvJB@4{N4@UT}NyI*i_L`N5!s8u&;&8|5H++M_&BaRM|T z#=r-)HyzKbSVj0SZG2`vp-6Hfda11# zCO?ldtJnynoC@miT-+o71^9dz%@Tu98vT!=JLu)Xpl8a&{m}?P82>oR8}wzPpgcQ> zuV7ZyvAOWAMomUp4>M4B)<*qY7?vZ?8R1;{Zba+ZEx6fqy10bVJSr0w16uVM%6wS2 z`~kGQYj_~~ZWMbd8jb&J*qU$^yCDoh!rxUf?QvG{S8E*b@g<;3&H(*U?j4%HPj$CD zejkZAguRKrJPh}I*RcgyS$y<#Iq!|zUjG#hhyP@6Ic|`y2q#-Lap92Q>1+J|MJudCQS;2OXJFblVVm$7oJRY$PH*;qD`9m;y{BdtxV(X4SG9TmH7=0Lh5WN?@6TKci6Wt%piyBp9wlUM_V$dxN zKCfm~82hs1wP|tb`##nKO~-#)I{y3E2<_eK9K*{+N34ttvIvrB)UmStb}iexJ@x6# z{TN8mIL4o+@G?ztuTBqH}mu=kS=$;c4W+P=h-~XY0*?Tx-QYf^zYO_!Ij(-ro@4B}tJ- zTm=(v!gnr&-qms$e=8Wq=0YO=cQIYO4axEP>@sk`YqO*HE#QI!Etj4vNG@F;v_(54 zTGtM3GpXJZRpM>PydTi1?nSEmvsL1s;w{8`5b++;@!oPq@!!M$9mIS>$9xnqw`L`J zp&j~QR(3ekJQhaab?0krK6@VgdKLKfg^)P^9a1Y+BpZGmVf6_61;R*TR$nAj{s3Xs z!0$I8?ENBtAN+nbktaB3i25NX-gv{EWN`1VK3ex1Q>Z8u=6lo90llak6)K`z1Ynj-nXMwQuRax zIg7_SYfgR!TZ8fKhu=Z?4Z&|B)&bhGC3XKuGQ*wEGaauVN#x7e!b!VnfTzrUpuSDq|0?$-OB*i%qk_3`IQa%Iu z*@%6FH3PDSBl0n3Bi~u<0&u4H>pjL{kkot?Gne-Ms!*dRo%0c+o?qZimnYg^f>elP zM}*=2%AUY(-Rt`KTKw9@K>h>d_gD5K)RI!% z%swQ387ZknH|zE#a;Mh-KTP}tVN}DP=@wD!YW5S<^Ls%b)N=s8Jsg12`#{d#7p!zI zCRuMV)g-H;R8NI(pa;Fs6O~waJh3axhpcwvQzj;QB(^n8gR`C+0Bi@Yixff6_Z{b$0;8TGpF$lIgPL4O~Q zNc~^Q&h*B|J`?kCCdaNR`X2~ihWHBogp1Q#EeAqlp)}7jU>I;Bcm}Lia2->|@u%we z4K2j4#9B27J#z%;*>cG92l9o$J|Xr42m=%Dy#%!UyHTT9%`OhJz|fZf+eYl7R)>kO zkCI`QA8>00_VqbG0=;&TYNOhzGFc5eJ5V!KpoqJ>g$)Q+Gi6;VS-3Jdg!$qk^|a`% zdVmsdbY}_0&chsmR!?v!!iZ}qgXYRy_&g&nRzuY!o#VlZ_F1Y$*1OuF-IXEEYw`m* zRAqUE`YbP#_2OI|??N?LwqwVsnf#~D#Y(XXb!u>t>Wwdz@i$SSDzURpV|tmm_$>$=~Q!Pi2H1Xcy)$IT6;GOpv#$L@H0dO4-iT+6D zU`ObkD8oh|9P0yH!3KqulHMxi3he(?%9U98D`oOML=MG1TVpg@TGnV8vC-1;M$0Mk z*La&EH|ytb^z*m+`G|f#s-KVP=NA3^oqlfB&&Tz18=mx~{3!3~*e`?&ZzEVoxK^-l zgk$9p{T(VRP@`pREan9(s{6Nr4QL})Qx7O>^OBFrfV*7%Y4G*&gU+O4LxdN+hm z!iRoqt-+Y1ZQw?treLNv^ zwh7JY(B+VF^zpcC@Xiw#5bX3Jvf(j;tU?4t&LG@`Q8`Z7ahu;cD|FrB*Pp$ zBoEoCqc!w^4>?iS^!!(P{tGL2WqSUn)t&#@Vx8^3_GYY;Tdd<{RqS)T93RsN^F?D91Y4fwztsIwfh3@$ILn7aM(S=#yGapR9oSVL-Pi?E!*k(&@sG)oSC5A%gO z#hy$1?@|3?GH2KrEYPg?+?Y{#3Z{^`XS^pFGpS(}P|E|`5k~Aa~z$dxx8>z)6 z?4w++DS*YAQrN^Au&+YY!(vS{Y+{QANkHJEX@&;9??P#bZvuzagnHOHbniMeq5rqW z>wilBw=Se$)_)`aGyMNYlm9i{BP^Bw5%t}i{BIp(bgBH0WE%T|{I3Jn|0Ck{zkTbP z{;j^XTdXzq97yMviIvt1ZiVa*sk)K&O=)4ZZ+^W^r1C_KHzyBoeh+@v>r)zI@Ad$# z|9t`f=g08hr`1D5>*|0lRww&;dxl4QeoxrFQxO zX;iAALnMq`gMkbELh;D%9BELy}Ma zJJLgf|CfP#=K=nG{4T(WrS#K!dSHvSGT#4Rxy$|k1uakm@xDIhY_k6^vH#x?YYqo| zy@vi38v2RvUuT=${D#1!qJ$E!-P#Fu*L0py&WsRdsoofNiai05OWr>WIv%5 z013HU=M0nHDGO%c0H(F)f$e;@4-B5lk9Gj#uLRZ1D#cvNITy% z!0v(m?tV;z0SFTiMkv)jsK&{P!k6mMbf=;z&0=;gl3FBn*?GQH!j8KirFqa>>F&sm z;RUUULY+%pMyI0GulS8LE{flqx_2I0E&d(M*|aD3&v(NAud-*IF9P=m_|3$r{#RNL z`fK$qHTa+OKN9@kvi`@yy^jBl-l(C)iZwFnoXO_EXj)E{L0-4ZXkr%Aj?DJ58lHZ`b-NC3)Byn@1Sv3RUOv1Ydf#*g#ENyt6K(OAcHka~ha_$A9r;H? zKhOye(i+c7CyD7cziZVTpGk5mR&+k()5U2v#VAIWw0k`2zsGsDZccNV7!R2$?SX8D zeqwXHaKNxH5`UWuFQh8C3h|2lirpqg!Dq+ur*aGVkZb4fO+!oL?-*Jf-dt!Qy!p^1 zyrobR-f}2~?<_QEMW?-+j(#Jp{?X6*bIuu9|1&uMLHz&e{N9uTXdTPHUiXduXR`jc ztp9oWe!TuCTH?(~5+GZ^30FG3*%~AXr8r;@aN4n4VRtoHcf}*q{@Na>RbEm-du-rO z_Za`bv$H+BYTJ(c1j%mT;yuRy?@TJOBVYV+IQQmd3m>QLra$(K#G}Cf?@6gd1Aok_ z!dg%#UIJI}9nsvkuQnmm9qfE0IqyzviofIdCln`9NCkJ| zD)<##Nf`YnzR7=aSRuTnP?NspP(!sf&9nHu6qluMAH4^N{v-Q83nBYS?fpbBX=01)@~9pVnlO-V|H+D%SKR3XAf18giUcD;*Sa6ZG~dbak_#CLLM& zB5PhIS6Z29zkj880Y76ujO>7!(43~%k}`Yn(zGTt)(qGUyI(uv#g7h2`)3M*|KWiD z+hX{qdrZ?$>*;|l)(OrF_6F$xUt{$QHp8yo3-&Ux-s_=G`PrE{;3n&Sa(U*|EMO#B^C31Nu7<{7gi8s zD`6zoq309!<#Z~C?h0t=1H3GH%U1Afg8rFYkXGr2K0BOHc z$y0$3O7TQa!{<`qjU*4)_Jl@m@rlGh5?+8tViVkC>C=b=>j{pj2a-riT?mck7hF28 zNOdUIAW`xGq)aTAF_x6w09Rte%uqd~-Pm7l^Qk1Fj!H3-C5uZiI*iG_Q>|T$own`5 zx~ZuRS!ZHAsZDKBy_!-flW>cGDNpJ?AiJrig~kGzk{h)qO=2;Xw69yY#Jp(_?%(g1 zMVCbfuvN}8ejjH8jQHPV&+*RmH^TKN_Z;V1?;*HOgvDQOZ;D;Q{#ERf_OCH}DAcll z3)d5{88($YhETF8JeBJH z`)y`##eO0GXY88F{{_3%C-^6LPuL%@527!Gwc()b$)VC#orhXOJz>p-U1!{A8;<7J zhJBD%fBbre*W)%5hC6S^Xgkka`P0s${3&OxH5~V$KjnNI7M^c{t#G=ld{*HW zg)z8S;U@M6uO53dxP2${6H7`D_NW_OY?*scg){uaRWEm@`lJ0FRc_y**7~c|&GyUc zHv3++)mxy}+VyIyTduzAyslpH|EW59KZW&gTL0UC{y!A!Kk@&tHJyH1Q4egf4D2rx z*IE@$Px*WAY`@kqCx96jddG+8S|x>5txw|37t_HR7+ZZ+=&3~WgQx(CwN7latA(+> zovsx7`szUN-wp78CSaf7ziTU+`)N}dD15Wx)A|1!y%+p7ULR>N0G<6k2Nv|U+4G^h zLhx)!4!;vLuWj_JD8z95gcIh2-X^YkwoUeMjUL$PvAzAAKOdSe1#Ph>U|lr8?Ep)( z_L$)WY7u9u{i0hNm>iDPQiP^4LYGRK8dPB|-oJS5eGwNB{7(n`zZtLp(^8;lRXqR> z-|b^}iD5p6Gh1{@)_ehFF7bP_Vi*oQ@U+@zt@aTz@D|2CC&h7U?Z+&_9J7HrzUQ0M zy9tHxh&wy4DQeD3^s#F_Dq&_!MNrv<6KVnBp-0$)^hU{I0O^_&rm>{CN5tewd(O4m z4sebe&b>iP0cJy5@d)t50-Xy<3y9~Z|6FVd(8Rkz^S;Dslcj+|Zb7rT0l(QN*-Jdi z&B!KAE>G>Sr$IHZ&DVSib|;?qXb;0kN~i@~PDlMnHqfA3Og%t1rj+{LpnYW%-=}n~ z7eFeq)t@g6CMFC@*2+l|LvGS+J(JmTBjhDJ!#f23qX7R8#_&I~Rn7jiv0E&|-IJy7 z$HB=L?f^2DzqeR3?5#f80N-K>|Id>2AxH+dL30M?E}&vt;DsGInv1vr2o^uE>!)EC z_PaBBr!STmnzuE89v#yym6#D~)V;QyhR{!if_gVKsV2L1*1{EFe9 zB>(1?j}?##w6m)q`@h9n%3SOd#CL<~J%B{go=Djf-GJo2E`ppVYzMpc1Y_UVZ*KgS zKwN_kTMbAk-Nn zZGCSK!Ik0v*K3%!rGfHo`VA+yiq>2izYT(RQ2_(&4hAt)ffJ|iiS$>O=m8Xal7V@nDZXur>&h1RiXncbml0=hf_vnmWW0b3LKccxYF~LHlLq(Ll z!BB%rYBz`%VjJoze-EOjwWyDasTIP}7>m5cq*6RX7_InD#Lc+Ri1a7uq!K;h-feou z&^^Y=6VX1;=p9dT_2e#S9B?GSc@2CKFy1Fe@$5ZXYJbd`@c#wC|BGV$e>6M4RpGzZ z-dKbGttR-N?7{!`&L;{^X(`C27D3CFrK{bBVa=R%QdqUZZ@?*Ar9c;WtUqUxLS z<~t8HG=73vi^Yw;4L+Q5l>4>b2)D!VJCp7(zo zLGXVN;J;SO|GUToTi5h&^{w4vk**%WKkbi|!awoz#d`i92mVRZwgBP8hqny>&4n6> zPox2*@So><-QwN2mAlZ8B`PY>X4PCScu}GXdVn`gq;&f~T<>lRlJ);P@%~@B{B*arL?7PB#L7@At@nvUE7|W3@^=fE zeSvBWWW1-26oiL%|K0$|?>bt)a%uvCT5L;ee6au{+gb=-g%r+nL7j1=Qsx*2%-`BhRbna%ISc5%yE)6yi_%F8?!^$|F2PVB9W4|S^UxIc) zXWP~m+-R@R*m5&C$KB-~KEXZN_a^)M)uLe2B5{-bF0zAW?0Qq&VmH0l=om>ZJLX`h zjX9j*G?TF$QHYbc9tNge&wI)l8M0+Zzbx9@+_Ml43l+%oqw*&N|Mx@wyG_e~yU0`7 zeXSlQT2lvXvFJ1o!T$hnvs+C6*N9vb_%|o%Xpi5l)wS-fq2Fi*n0-C7ekZANfHBH( zrG|f48*m4B4K6{Gw9F}g-~i0b2ER|NC3q$D?p|{Phx|xBd!=l^*&ot1PGEmETPu17 zILD{01WZNvM@#>-rWg`#Ne8hmQW9r%9A{TI5z#)H;Wms^VLTfTY`PweZ3zdM zn?zjP2y!HB7hMkfKpgj&JizC}H4z$Egh#3ch0YfXalgqFHi0h^g5~(-Tq4dQmW$(1 z>iM{Jq?Rpao0{lMS8*1ns^=3>4#_?!XH!}=znonzEMPTCY4UiO=i<^$8C04nmug_@ zG9D{~siCQ>sWsJ~Qd4LRtVSg<3T2XuFeiNtrZsL;qo(m5KnrWos_|?gYA~M%d;@<7 zZLpEQ=^fMyHL60$Lgt_+CC8lBx3Nz|Kbbi5(Sr?)!WW`nb4>6g<|00+s7Fi*llTVQ z=upFIQPKwJ%037em7lB+RD(rgF><7sCVVo^nNdxWI1ln8X$(;VD#4Ub?V$GTyifK# zrAhd|67=7OSpIuNYeIf$TY>lK3?||Kb^ekP{;x*VHo^Z!{!_sJ$qg?A)g(blI6tz= zuo#dGZ4ig#zw6mLu?{j9(%zz5q7rE}{R7?zhqOmVoSAwQUnR-AV96a^WzBL`oIt6AZV`4l{bBtK%GNftf_H`Mr?=ZnsL9*o*g3*uCA47f6O=R&{7(S*KUrm= zlOEPC;UDLr_5cRRN~1kZr85&mFW8?mIRrMPm;-*z&=d*IFj|_lYenHJ5xz>( z90_k|w9Y|+1W5_z)&h#X0{!a!L?WE;Dj7?*y1h_R}g)J7@ zR-yHusMqG!e|tCJKUV_(^Yavd*@>Z?O^iD*>kG0Vf*kC$==FFtTOrn9cW4prEKKhC znh#pTKvADg!YfcJf@>p#PPl{3$<35n|C!|AVaBwA z_!4txHOZZtqg044$>r%1gSX7t(o)RRlrG7AEV`sXcM$e6nCLq6@-;1BqNbRm6f@D= z9VJxD9eJvSPO^NGluFZ@r|)~B2MGVq!EBur%m0sMvs)ATYxQk4_@C&%1phas|C~L7 z|4A#F_`n@k0P=kr80)(HK7g?;RE?bg+P^1is^F7wk%Xy|HN&hEv!S(ZC^FIrG(2I` zH6f9%QVF8Nm3Q0Sd%Wj_xf`xjcU-RVk+&)2Mp&XiDW?6Z60YDz_=6NqP~x z;(b5r8ngRrNG(V{%bC#NJ2_*bm;J8it#G>kh zp#RMtGq5c*ObXf}5_VvyT#8>f8&fD>>X1a!%;3nDEjQq{U)Yx+>YsK6>3$P)i^>$Z zHlhyZKAI_TZA7@ST0I4>g_=XjVP7-gRoZe6!+s-!%jk!Yo9;nRv_(ETeD3WO1pifl z{~yQl|H{@i{abx&w^(FHmEfN&92CR<&TcF|8(p$w&ww;Kj3oxb8p%FlF%~fzA4JQN_K17&{VeNk6Tp2ew#bDV^YdtMhyJK)KFqu(w!i?EdzWB5ii`>^0`}&Ur`uMp`l?9WZY)e(My6HRzb;4OU_F9WKiud0DGZ z+y|0UF4r<4vcg7hE45aEkfCi(dO+96Z-8dNW*d5qTI0q%StztE||u&xnLV$X1U zY(eU5f3s`!%sWFr=t(<}&^pvQXuw2WPRZ?N9Xyw-fGPViR`H zLViTHw#;3E$lYm*(O1MJ1-c~jhFxl1i|zTEQk@cPZ(^FaWUYHb$4uS`hZ7GRXzPKi znqY6kjS}|8nMaLzVQEaSKy+JKop?fHb66??7DouyFw%@);?#-uv1L)h;5*{=-NhCJ z|CfROy8>mC{l630H(Sr-Pg@GOC;G3U8ThaD&Fx<@)(1=Izu#EX*c4{$fI>zTbAUPU zCUk18a6c&Nduu&V4Lv7l8qWqL1M198D5wM%7z-W+tUWFd+?`QW8aF-gEkeGZsHUW&LjFcmtRp8rmGI7!xap91O@o7oZza3l#-H$w=>b@2DoSmrTRO!^ z;U;x~)+|^S)cc-xQ~Z?JKcJQ;R*@4t(>&HOG~zV3R=31pu3~IKJ_%+s7`Z^5QW*ux zwK!%@x9HjuY-!$Tgej(}P4aePi~~(=8uYob9BW=jo^T=Xwm+MfBH1uhB546H*E~F|18SOm08jz;kfX`T^~dyj54CHy2qA_ytZuKCue9TocO%NGf4giiGYAcA#Ww_3Uip z441ZKxH@mi5VdlOaSipKu}~YAt1)|$Z%$*|t79F&20FWeleK}ViXuvOUpap5WkjRpx z#L(*`DIuwIo#>)12pxbY?Gj;yaY))*C%S`DC!gYe-&fp(|8HW?I=E>NttS2N8}Us) zt)&NI`7iMQYQK-$O-^-a9atu=wz{}8oY}Fx|I0;fp3XOCJ(tHC(==x`0dGEm`*{P* za;Bj++1oMNAEj|9zS#+)J9kW)Bt3-@)Hh8}`6hA5P3e;z;-xshZQKHuMs? ztu8H<>QY)-0A7G@cd8aHcFd@MahJ5V6LFp20RG0ZNTyxr@y&iRGn1LMP?Ukcc*fc6 zQ-9MNyKOV=;5mZmIyw0F~P%S85WJ&p!=p)d2vsl!_?_uq#f@>pOi?rVqxE5*`aY7_F z!U~1*O^SVGzkF z#S}U5RAfzoI2hu6%DrYz6TuSF164 z^HL-_t!Xs&Yj7H^^gJo810-9236wfn&e^~nSh=a^bS|EqQ zedu%w_9eZ)S^=94bz+WwuK&dCH~hOe#Aj`B=Wky&h#kf%ar@7)>{RwS_9gap_AS`_ zxsqMOZeq8yyV)<;!|V~Zoju21#$D>~Gn*^kiI?+%d?+8wC-KknllYnZT>ce)DPPE! z@D+SDU(fI4KjjbbU-PZ}DgGjVoxjVu2t+&4P4p9oh>@a794(F$r-{#tFN^;Y^TZY6 zDsip2S==FhB<>TN#G~T(;(76k_=osFI5Lu*WiNT4945!f$?_O^vYaK)lV6qJkTvo< za;01&zbo&OKa(5fX8E{$TD~OTkpF^Ca>i;D_Jj6s>}~cl_FwEb?feWy^dZ_Z-6(%8{seihzJzyb%u??zZ|naTzu z#cY3lFqI93>qVDb!{K@cC#d^5hr!hocXsu2M!~g2OBu$%)!C~+F5~$7QNhL7C{RIV zf{R(=Tsc=Z`hz8N=0wLv6@=VXg*!XjORo32%6?9zq4^H-Oj_O4xSuQ2NE-DM}!mpm!GZt>(kBJ8rg_Qxv-5&i8rG5}SiKiFU zbM$C57zEtSY&z(%A7|?6o&lTNgXN~^fryD8Na?eX{+|_FBvZZI?e^xNn|G_<%dK^8 z^ajY&z0E#&bHo_H-;Gf7=x`94<5(kOuqYL=$QuaHvF!cmK&DtXF-E=?UB_OE{BR9> zGrETP;SGqHVG)}pLiVS~XLm&&<-@38=F$4!Ui{hlKIFd&>;EXWh;3or0m;AQ?TGYD zKcDIzfc*!zLuR>mvfo?I@Ro_y*2(sZklwxEU5mG?t$uDt=a2r49_WQ z3+FYwDpnzDJ=_Tv^x)?9@EP8E+#_?VRgU$1DtjKXgYQ~3EI^!d-9BDFXMluuVX(z| z-X9=gLCxJ__0ELB^}#ccH{4*A2iv`=z6i>Z+j?t>ccT|N*PssTt?f=1xyF0mT^cMC z*ITFJhVtuy+miiBf|M=Rldu9x5WL)e1m&&*-?Pf?pXma9HhSx5Z+4#ddbw2h_Re*7 zg)E01LDFbA+nIs*H(N7&19Mx5zHx&L*+cJVZ-#Aj=&V8Vy&?EL>b1n`DEs4_A!13A zhlkKd*KWv9;MUKaAoq5AJ5JM6ihhuwFR?20vyXme^|Ozy2Wcth}Nlls*b)vvawex_!L6oBeli!nj%(Km1-FSzxS zdKhl#1Hxaoxj{c^R|2DO+QV4wb$ z)=yK90oq+$8#8VPX#e8TYpFKHV`ysA8FQL?qrXgQHJ;^k|1JlGO(CWRrc~4V;yJVP zvdeVMD&zrZFU?wdc4)@V2=&4=Yn^w1+Y3;5yEQ)P88aL7c;?JJ(9gKv%sB5bS8}>n z8%!$m)Numfms)!Q=<7N$h#QVVLRw>_F!Qm_1i0~g2_*R;-SrI#e{#0tj96dBNZUB( zA>x7Z2_fMzyuvo@!sqmTf~V!>fZ$AmgfnSiuW;9z2I)>B!3o-NQeH(Y)4nfj30Jl*-dw!Lh$Fp~UBIfg>X4UF7IPD!=PVXumEdJ-I(sWt7j zfV3o<2IVtWowaJQXPELw@gLHQTxe}UK4V?C}NP~iUZ84;Cw8vAcZFtn` zlhoU|uxg>dVS1H9$;W7Ptc|UMEEd(^ODU&B@1&M(2WNH`_SZ<7yi{xeKbQ2*Iq03w z#iy)AJT6Aciy7nLc6+~Y67h2w8_Hp!pt@6!1=w>6QA1M`*re5Uor)1pd>Zn+?{@S9 z*%}PILXIb*^x64()#S&X?w-Kx3z9QR$v@4)*+?@7X_6C_m}dd%spn#$+@MJ>Nh_y) za`FMJM^wA5@h<6NvDD7#`F$R8UJi@W)W!t&(@c0kbKb=%NPW@LcyoM&5Fq%k!a zb2;g=XVC_O4VOaJYkEV(y^{PVy<%{ok`KkLl$iGkJmes^DCGL5e6ElOqpsA)qGbGE zw3lcsM*lg~-ps}Z-HN5Ks(veICTh_WY_&K!9#v{(60<6nk#Ep=6MM5{^)Hsjm+nR+ zyT}3In0yQ~8#X|9>RDLhN>1pS@{=9loJ+T*Lqihs8j|lzSP#BjOu$JM2eyQ3jC>tC ztu?}hglYqPt6^Ea2GSesyFiR@{5Nq6=XELlCU9;wVhZANZpU#cC6vG*Bgd&GQ2a?M z%B{JwXw9NqEgpwHQK6hEI(JG-u7`Cl#pP6M8QLb!Q9hMObt>dewZ2@ZT*RndNp97N z3sQYke+TK4QVTV18oCIqCfS$=oM8vrq^xgp2EalcD2D(wq4Ug>&}SSq$Eiqt7Mi1f zEcA4JynjG;odf2?Z#l@tlJw*GeAMc4^d7~aZ^32WO&%MOLm@83Sq#{tG8a;rY`)${ zp|;zw+PpwaMm`+lxIpJ!0}XZTqoD7`L$ZYaLW;?#PYp0s4s9S?)Hd=Q&lklh#`9|A zOz}_-xE7ix4`7uj)By$396^bNKEQ2(Ufd75eA7y*3H1`y(}t@C{gvad@ZVTfm@|vT z@y?MlU{C7z{p0im@&6tN?> zyC3!djP~z=vce^;^_@%{~HYeoa8mPh#Z))yB;FG%?l<%IUM*v^#JM z>jCYtWIvkz4Yj%?Pn9IAVgqvCY&We3?OV`^C$oA{sSTRWOeg`Psch*L**vq-idXC! z*ur?$o?k+VB9|WpLthkAe~r<@z=T9Gu8MmU2|PZSr%lalA(%F^iPl0>vbi&v^yhBQ?-{l{JDw`Z zpWxlhuwtxXN+`xG1SM3$Hc(wPpaE?DAlCMUpeSm14fg9Sp2NKhHGC0ndZ-1JHwiq( z6QCMvVb^FrXyk=RyB#ukqCqx+rm2B-7otC=I`z2s!RSo<|MtEF&aSGy|J-}-_U=p= ztl3yJ1e!$a+KR=6%1l^Bo}-{-Wj9Jt5yfhYRw*;dgu&-vbh65l4U+(h+DgS%sv!Z= zz79*LAw)sIXb5ht?cWyKYW;t|=XcM&@4cA`35k;AoyjLN_ug~v+3q>NeF3c*MW7=V zK)%j4XxaBD`qQ8)Vo;s~{`YYQI*E7aDMSkZO?Vr05}t4z3qVgrc$Z#1LLZVAT;R8p zmM|2^bgv3Zhg9Blv_yJuf$xzDLn&#%3TPToC_c23o{uaXy_j27b$jiGUaWw+=`dHY z0KpaPLoho2jC>{iUXy?ILI$uE?<~Yj*)y$Hp!dzLG$~@!A}OQ$KzH?+Rh4J#ua@>h z%nn0i)zeIkloH>-OaOBV8j}=RA9b$yYpG4B2@OS7fgYA`kY3}ub%Tqsv?#xvP?Vdn zMx@Jx5*8YcefaQ5>GrpRqAlpUk*GelOxqZK8%Fj}9#`K!JI!Plp16XGYrimFV-ub+xCm_&&ewE7E^cVgGTZ zvHwtN3Wwo-nq~!t0_u6G%YYWQG#UOjm%=IoI-2;#2vVWsQAnaU22)`dw>C*5q5c46 z0P{tj(dYL8PLNi!G9KE8N~sSCFX4ohDOR9UE|+NQ$UbP@A#@M&IC)kICV$I@9wQ3PecEk z00x}dG&|o-lq)b4(7J=?AGQajvvAs%;q0%1*68+tCtkQf@%FsNw_F>fs+qTE5ec3mqcq4t)*mP zuoW8r(_nXh4f2Rt+JI2Q(gw`LA`d_l5sFkZ*^gL+GA_{C z+y_O@KKW33LkrY_2Y~VMqX#qTg%ogtXOTM78!`^ndW_g{+zqYNL-2v1Hi^Dq(9Ii- zi9m{i4w3p5Rn2Bb`Nrlf|MiMd-Xiqt&vjVBQKyJnL`?oX@suU%pjqY!Y+t;mq@ir&e8qE)AvG&JF7pno!dtG@jCmHuJkD6m-cjY{i{_)4IcyYSrN~w2(x+!FRr21%0(2sDz2%UcINRm5P}Y(SfDqMc zbPG9v@E$X>7ODRxJzqaAD@7RaXYXNLGAb*3!1`r8Ko9JE=79H@h$yDBYu1srXT>@; zVu0Gw&TZh7W@n?NzMA%TwX#{U<^s=hP)4;V;G4VJ^9m6DGymhb4F12v<$r7<=ui1C zz4j>o?P`Ii8?3UYMD*d=8BIzDLu5LH)&HDuf}R>bU7A^%fU;%Cg?Kz{9F9k{J@4EX#e+3Btng3%O_;Kq0-quvm&rNm+@_gw3LE|%C zGAVm{=PeDMh&_G0rsvnBa4=4RAI{P3*^_g02kMaa@9|+_KSGWW@iSqZRFNH*(QbdZ zE0fyt`53^KZ6(OMP01y>RzUJ#P)|tBJ?Y~zWb*VCS#M}!LTYjuRgd&Hp`N9~%Om9e zpzZsv{5_G4O9m3!3W!vh_NU@gM9-?)9;ZNJ-55K9SyIZHeR6z@;6s!uu>%y{T>Xe> zJ(?!#4fg}>V>TaoIt6pyj@2%g1aDM~_HVRk7L9cKfr30d{~rSV_opPp50i&BS*fon2`+UHoC-1?i)hx-3b zfFS%5mSz?Er^ll{Xk0~tA+5<8uk&{$!=VV_a*tXA&oI!ahKiSWs-====Xye}IA_SHJCtusgK=)L z4`>CJX1hkdJ#9W@#x%t+lY~rg6B&aAxm@M!>H9M;nV+lZrKQ{9@P63YyogOwk zv%rm16KBw?Vi3;>qX4xGT$~BnrDWM4bR-m+sr*2^kBKEt2rG$Dim7?Cp5rH{U(3B) z`R(isM_3*|HLznWaNMlSv)fvgJZxZ;4;ck)XOkOCkCo;?r#gHsy5RLg`L4B_lZd4j zN^Z&gEb{(fLD5wwC8iA0)}8G)lG4&14z^tqTcsHTUM__nKo?f_6AIqJzlkx0g6Z_O}fBg|)CL znijqs^gAq%l5yC3{dGGA(x2Q`X8Rs?%mvsTlUz&D|QjGEs| zzKUS|8RlD2N5O~$9jXH!!3*H2u?7DadmzvOyj@Pmzia$!phX@XOCG)@{7&xt3&v>1 z^H2I`j5<1sf}@i}9UUwGS8c~c2@cuO`snzWBnU8t_RKGI{)EV&^iLdytGkI&!roPAa5Rq;=JiI(r4&M+2s{J|o*i-+tWeH;6 z%?vq$&tn9ET7v$UMkU-W4&m^pdcws4>!`LH@pk||egny}WFw@K_N%78jdFf{30Wv8(I=(oW4D31-FfQPXQkn=Ska7Lq*4&b|-=kzE=lcuTaBN7guGoM*AaYeKgm_6TIfRyL%_R($_kctRlHr1rD5MRk#}aEZ z%=q?{JV=Bn((8=qQ!g)~Pq9!)*Z30AhZ(xI!IGlv)z+?>agiQbnYVX0VggJBA0jr_ z)>4>JZn})l?+fsiCgnu?ZhCT1zC!6xpUkx_N_UcBU)bCI(kPxrmLd2yBMXU5fGd$b`J zik45vSCDEv3N-b&ERvkhcw+hfV2lE(Z>2eH9!BzoDMPZ6 zkH%$t46`*~zqprOy4}o_yOgpeATek~JkXW!{e|~2`vnh|?}XtT*b7Tr68?V$@}Dy@ z`Og{1%69wV0ovRw_F@I#_iJJ>)8=Cx;UjNh$raV zjCNpZERl(+6F33#p$f_;r_%rhm-y3z6mgxqaK=R6w!xnd`v;y~M!w_8EbH}YYy1Gt zJ8dc|CYobe&qhQP`>bptyAiuyJk?{!BJ2#VF5L$|SK7_35qB>t1d_%OAV*WOY3E(2u4VcM%S&8IEi_H3a zktUTjS6B8zB__X48Ii47^eVlJ9b~q1(1(p1Q$`yW^ZRvkmsJ_?FV1jFXmB&70~V{- zdPYHZn8iaW!=pXTGi1($UpX^;O3!6PTp0}InMl4c4n)>Tkr1x zUBMG2-tOPsrXLV}mu8~m2GK+1}5kXo!wjrnEy7nfcy%g;+{cJBwWIaXl9 zN{m-TZX@nvybc@PWRZ{fXlfxMl=LFTTrYO%BE&W+o49?8Oawc|WdqyiF=|`2DJ3v3 zJpO+(?0>!i{LlO^Z`uo-;i?=yD=-u=^8)ohJ4@F`JK*iRA-FN!jtF9foqw%Hzt6u9 zCsv>ZF-(8HGi$M`nk?GZYF6{pF0R+=9oW}C5C+zouh2)tEfiWm$x0)H8g&@9TX;J0N4 zQZoAtv0lZ%vc`PuRimMxcX7etwF7$6nzT!c4xaJmHmX+e1AwbuJEY2py@cpKRd_e| z`DJelpjp-HL_{cwpd^`N$O*i#XMLpJN&mkQ=YO3!|Hztg_-t)Alf77hpJ?4uFw5qi$Dz0P)aNH%=~LfI^HjUiJD5e2J^O8+yfq z^IVT~)<=5A^Zy2%|5e%fKWQ)ajH`0^tiVw4R9t`lH=1Z)kCx_ue+3N?UwXjKJ^d8i zxgY5izHrZY{@ZZ=UzeT#BMzUf?PjtUD=-vDZZ+n9nWQI#JAk!^f(haKAX}J-EK9WQ znpavM9T$=dn4)h(e%x*F=v|iCU=Uwg+)tX_asl=)DR$!W7jB2Up7*o@JpU~?|5HH6 zkpBmj<9?cG1>oOfGAb_dznq=_F4*BM4Za^vO`j~)>wHP`lXe%WrO_2anqD@1^wI{o z;-2=LD?4~rfajm_e-~xv-^KrJqQj4=4k6Rx%2KUm2PFa28c62FS0O(tBSGzm=cI%2 zyol7nG`%Alt7jl1V+9<-u4HU<0l8tR~0X-^DWQ|j|2rxLUt zbvk#*6OC4ca7OCV8iCP6sf`n_A(h)2Sj!38RZ#yTaA>U2pNaI3v`2taT7S}W+G_t& z^pl2+Nn+yK8HwM_CWT)-|DS+V<`ba*8UOQb>f_CI0GfQZL%~F3j(!|E!X^F}gRzJi zFeOsB-hlW&mqLb54gcCwH(~*ujT1dm?HA>>1MDBZIX`)^>VUZ=Ey;F4YR^2dfCb@B z@C}3)wQ0O4vO*TV~(i>m#~8&Msr_ zR6Tk|m>3U`|EGxhBN|qoX-58J33G1rCnggId`9G&upmXYY36iG)jD|R(gT2+TY(&e z86jW>p%f*Utg#5!?6uSA4@mLQtCx`^=|wW&&qOTYsPuI?IkzX}FC1rT=Fau9&W;g+Fi|t*X z|G8|{YXgla(xM%gudo7=XU1a^z0C^b77~uLYBCaXt!S;V!bD1DNsMtf zu0b>3m(=g6W7O}fSE)Z%r>M88cdB#Md(;QjpQ*o8ed=@S3u>MElDb3vJ@Sk^sCK9y zsGq3+r+$U(XGeGwyyLu=dw=A;**nd9yEn_b2wB5F;{AoU(Chb>d8@pQ-q*apMV7XI z^0s;3_nz|p&3o4K{M3K3f2=>nf3<&--|nC3zso<*f3JVJ|L6YI{ObUv*Wc;?)c>XbYd_L$dZM1J|3JS^pR7;U@6faL#rpmFPxU8tuf9$%*Q@m{ z`mglgA-Ck9epo-Qck5s1|3((2mSAk~l3;4^n&1sVM^FyV3C<5L2|g5D8FUAq4hDi7 zf-eTQ2j2+36Z}K)&%yU#U;VS-KZE}Z;_%4usPOpk72%2DpM+!C{8o5Rcz?J(d?I{0{P*yGLLIe6F)1uc#Z;Yl#Z;NI`7ew=; z4@V!5dZJ3SB)TzLAAKddGujmWV>A>!8vQ8xdGue=Z=xiAQG9fKLj213_3>Nc&iL$j zZago(EdE%0ReVjnI9?gAjc<#;9^Vz;8$STMsVCzf$Nv%kZyY3J0L3RIFH8O~c~f#K zytHQ~7eab-Me>PcLGqboX>wDtA^B?Z&E#(Q!2V0}Sh6em*W{T*m9A>Ls%?UrQ`#Q) z#2sFuCWqt0N#U8u0kbwKp3UHCIiJ{uSvz&;OCh|8fNI_uJJH^|(60`=Ixr2fqmSbC|CHybsOUXO#Cz zky!ulfQ3JE*DnobCsXvKXe?|F$qgQd9O3{MBV-MeGlEfJ!pYN{zIRtT;hnfAMtxc~EGmGqN=Cw0B9a(u>+k>?*TY0*n6)%vn z{5XHk?@8Nx({{?cC(L&mmr=h9{R;3<4%nXEc{0|sVW+_I zA2ig~S#4(R;}_3so0&b;P&>A@>(=3Hcz8&kXFyJjB^PY(eYjU+%;i8Sg|M ziB?Xu)2w1noFi>;`NdMrm?~_A5$fn2eGfbw7^RN1H&=^MP()5cZw$^2(V^(8ZsLmJ=0u}hNbb;pJUiY)y zgg!?9LqH_ETREmG{awtO?#OJ!HEQk3Ygya2s@i7CdvK~Ck3uelG&~n05$*@pCNXA~ z`+(QVv2MiNR>3={fEmoBkcQ`BeYpOqv3KS;`m=FF*?2jU-T6og8}4l;yFA}4R^?{& zvfB6{VT8tuohM=~p4!|8jq6(Fh)sU_u9^(sd}|HflFSDj!PEH&+Or+ar$5f0cA)l8 zOpXZp;$UquxS4vi?Up@Y;Wm2Ac0akb!EgdHn=@Z}P!FqNP1K)5Us~E^(9`%PG1I)= zS&NZ#&%%!sRz-uQk-d59Go=G+=dEw5X`NX^iE)u(%1x7S&15V2dQPOH6u%&yq4wbYK{#%?^ zyDmlMR?1w9b?F0Cz?$!6U)IJ`Z0qe8E%N-b?J6zETlQ}3X$xdBkw|V}Qx3lY?p;O! zp>%?0{ZX?k0nJSbGw*&k_c3GE)m_kCTfYv`+D!6tB< z@ELs>81!gXlkqZbL{QQoQj>mY25V*av=n9gkK~?XfJvDb418y5D3NwhpQ1?@y5RZW*DB+cOxV7`Gkg_PhtdH^sQclUJ+<4?O&nyzWIklJnw~SCkfcMN#56D4#iw~)oZ?8(MmDvV(sKzuKI$26!ll7;>m&?{dYKagw& z?x*D8xUd7%8QUPQ0_fMUp6Ax7;mz9cd>$VAce7-QjPwH%M24e}Xf zM3uEv|04zuQhU(_9n!{952*SH;b#2iH6;#Pl8Vtg$Y^aG$TCL7ary!EBQgil289lq zeyp790?d}rmtp+VqUoTJh)o|0uS3~W>2-0%w6i%|Nk%g0F;T)Lnt0hnIU}t?xd$~@ z;<-plg_Hxm`5P_qxKexSiPT0}pN4U5EPXZ%45va~PH5ffStQ0&G15&YHo$a4*`I1w zm#aP@90NX(wfQ|5d5NQ0tWV9>lCk92GDhd|t1f`=U^)A$RoDtpk|Mj{k=VAx@h-wH zxH!Hqq2K@grHX<~+Gu{38k(8q{2o$1SgO6JOiJ499#)rqkpAbIbYyemyGMpx`Mv8+ zM#EVyH5?=*JXpt-8(w>~L zEzr1L9B)PYY@55K=)K$QioUR7&ZG5i-jcLoq_V;xzOJFtG2f*IRJT}_V6X}%R+$$AVpewF{S1NJV=Rai zpi?dM7sqFlZ2~+wE>xNj%lg(=GD$tDh~wbVIda)*|4~RGNp~1aF^|>_gj9pcyqsf} zvPxYUp^d!vQb>Og=nGJTEtCOUM{A)vO4%cbZrX*21{`NN$~ajTHi|zyflsl~ zVot*~@T6D4UtSR|@v1w&l4lVj^pcZ-@E0TJk38?jmGGeQz7NRDAH0w6f_AdfM*fBo ze|w}woLM>Z;{7n`xX)O)^TQGmO$cPcUChipq$fd-ogN{%rL%9w%d zmopH(NbuRtTmlRGlS~Q^dJy|gzJ!$xg4Tnjp?p!&gF6i#q|}<2khx7{4~PWlj7$!* z7`uSq=5(y^@vvtht!88?c~7J_2a}y@GoA1hNGd|bwh?j?B^&l|Fl(1T&4c{97VVpS1&S{aw*l_}f#in;5AgDm)3gC;J z`P3t~$EPtQ>v9!=%V=&0%y3dAd)|o?J=4IIF*-yo z(sRs|R|^HmbuhP+SoIOJ2z02J=cIgXeOj+cf5PeJcqqdLwjS%8k-g_le-Jr;rC{j5ygTvx*&&wPagt{97^Qh8i(D zL?rr_-VvKf?%e^OQJ=WyWsgcWM>#jOJwPvlh%mmce1g>pHsR8K6^*$_2xWo zNFFS)Y>B@-*b%KlY#_Gm*XaI;sTf7dVohl4K)p${4~c6fF*V92HhRV2#-%xJw+Xebxpf)gKY_Bf;04x)h=XKF?#ND1ItjjNvnruD9{?u7Zys!s?ZeJk9i**IC z0=g#Xjt9dpn11*U^n{RL7q!_|s;|%RH)CnfgYDb8aDFmAf-N!Pm#s+0>Br;AdP$N7 z*7BAa;%|a4;|`32JuL{Tp)K1E3+Cm);}N7u=~4RFunNj#Ev#V1M)V)xSZJ-A>J=l* zqa4?cOjcVWbBUIP6d&js&MTI^CsHZGM1EgcValZVguSgYGlTvzrVX;?ZE0akeb;R8 zzlcI+=r8OY+)>JXF1TOB+Qiy*bo0XtnvJ#Ufho7h?!+-HkKb+)QlVL zzODf2zhmM5brE(6X~1K!7u-+ttiTZBR@0`JP;YIrtF$^HEm(=f^WqXf$?cHeb{N@e z0BIX3Cq{ds<U9_^Cr_UZ2{q_2lNF7TUdn)T#KY$s2nMJJ|1d_bOT$YL=~d*_ z62Ff385d}L$QUI;T6ibm7Tc(=(HgU-uC!hG!=Tx|?tWLF=YJmX%^&0J)BmeWy}Nlf zzndvMy2O&7ep?g6X?kkLpQVtR*IH%W2faNhL$Qga44+h-&8SFQSjqcAx~2>%%U0uY zBb24BU1SEaG!E$^scqXMB%o&}V>?-jl`-cmzX!WKWA$k>iP5TYBCHZwU+8Lylu9cW zq2nu{a2JAKAU&p$m5g>Xv|8D%Z$Sbd|ga4H}_|M3BweVl8z%67Sjt6YyW9rfyF-5m8Z`WcB zkqj32puT;nNv?Qwm@Xx$SC1d$O|fe)AgSfJyTEG`R*Jm^r6bP`?FDlP){;>Q4x&}_ za4b~WBNh_OLHm%}5%Ruqgri{&neECPFV~MqzDqq`Oru(;lgX7b*^bcRRpYa>)kHJh z3Tuq5h-hlo1y`N8+5)>9(gS^dC$6^O>KfQgFybjK|9Hhb7xmFmX#+w`K+gnTGpeH8 zHCiOrj?P{GwpW1g|AW|VZ_4QZcd5&o1@yUjVg(TY)p+d^{;!0_zo7rCdxZZfynRXO zr-pvE5UUn`Q$A1&;Tw4Zksyp-LrUsyGgMLpAjOyVT_lE;i8$kp5?^2Eu>DOsIkXDLtoi zzq#S`KV!x0iT-Eg9m4C8>3_ccT(Dmv_E-$_+_1kBFf{y(_j@$Y&x zg#Tse|29GX!}zafHWBP|QziY+xIE1NKx;`_{W22V7lNJfw2)WV1@{N3l5C&l28_^W zGy-C=qU$6lu*l4$^o2c(K<5bcn2AB)j=?d;vtWH@p^0b$#)^2ou^oYT1aiEjQ8{}i zwmkgJxMuY0XSOtI8JHzzJ+zgpjRjR~Br&TIaifsPgjt*c$?L^@5i*8qCIJ#E+{O>UkU)cjqa`1<~M{=0DgpUlqx+uWgOsuhs)U#U6&et!NLxv}>A zR}RASFB(Ql6~*2g)_Eo#2q8;XXoPV94e~bUi8UC*xgy(-a z{%5ASiSW7k-D3W3NWS(K_uIM$gFc++|7|$`Ph|L?x_$T4JS!mQKlKXwKgiF2BmSrT z@rKMo-4l8r5TP}bS66H7Y-}z^T9k|Ir10jVHA<%^)HbPhk*1K+7o9PEDrim4m~8O$ zH!;Q*!QM!o(JDGM{t3bpR87>Tvau$oryzYX>iK~K2@m21YnpwLk&Cow|FA!Gu6wrU zc|Q1`^#8UD|2z7>dCop(D(AmkbN)k||E0kbv8Rv68AN^YheK8(~RwB-?LUKjLb*sU^L!AB*p{&6vQ1L-lOFqIKD;TF|2%A zY&PmgBt9?e4Man%uxy<2bPDFYy%gf9$RVsH%E)qv-xjT4<$w2O_}|I@n(zEy3fq0c zfi6V--IM%}p63T2{vgP+Zo=l)Ve+$qlg=<>f)56bgDGVZtffb|Xf0Kxo%W1qi9K!Xnu zdq=T+qz$B4LyBD_EhNQO5}pgVqWz>;Qr?$YNOt1sfq8fTC<811+hWeYLIx1`(@ZNM z=U?Q1g8xUC|1qlO!H@sD5NFO<>eX0cJby_)c?$7hX~(u8cIO?b0NS{9;|dW}y^3O- z!slOi|IYCKPyzMwKk@Bprv2aSbCvTi@;^EM!{vWg{?E8b2jBUBF8qHW<$wEw_cQq) zq@;_Ck3^rL8MY$6=e_2t&rk|ml}JEDvIr^z_3zE4e%8ODpdR+;?DJhq|BL*O`5)a+ zGp&G}f06&m`QJDBUu8s{pm+(d_ep(^B>!6vIlYtr9W3&{aghJN#mN7Z8rw{p-^~?# zzhuv2{EuC6t^GG+rj3N{N5;2SDo<&g!~m$5hmUM$yuaAXy}!RJK>YvvIR78Y&i@JS zOf=OB3bl#^ZcKS^S?8b|IKZx-R~yL_+Qfy_n3cM6RZEDZXa6v1`ps`-Tnf< zY9PRBoJBdG3$rK7bC_Tw@jO`CZM*?i8^5V;pK(r2EJws9O%czr(BO+^yl9hoHlIYi z@z22rt5!?CI*;)!=fBokUuE_I)4l14@6T)!dmo8lf2?zmn-O-wTM+|CdS(BFiL`eT z4xYSxAD+>|0X4ztljj%ipK<_71VlE#tf6~vPq;tQL!SSi;0s)h^UwHSA67qhhoXsA zU?^aIY@Yw+&#C`kFbXvw7`{Hv7U6^SnzX(^A{Ag3QL*OBGX!GacfxLHxrr=DXu^z> zU&`%v#9PyP^9Z!DkfEApoP~+GWh2fa7p{pmTdji{%k}^@G7UeZ{e6(_r;6E4`}}U` z`L~)YiOm$PUJWAByIi$;pY}qWq}^ec`mE=x8PTrr?$YP7tIeeW zgdBb<+=%Q!%kb-XzF)t}V8`Z~Q_uhzHdztVrFw;)%^!}@W(TmM4;H)0941Y?7j z1XF|81aAmBf^u+9aDH$}@S)(!pgZ_2SRCs*&itxnnPr@_8v%)#yyTcEJ9}PbhE($*zt_atJw}yWmek;5uyg%F?J`p}0 z{(Ja8p^jRkanVboY0+z=H%8N=w?#9e3!?eahog^2Jy9iE65SZBkG>M!8EuOGF&c^< zjeZpUJo>NbH&GJ5C_XwqA%122`uHtzXMA=%H=Y+?7Jn?hD!wLO9IuSm#<#^^kMD}_ zjUPb9&?n;`$Nv%kZyY3JlJUu;s z$u|?^I!pc~c`VtL{A=<|qDsX7KSTb%%Yge+{J#L%6o1-8_^;WgD)^uFKNkOwZvV6J zw~qgXLKyDN$5=#zsaV?D7z>3rpGYKyclc6<<0S(Gy?mv#+r({O=!@LIawen64UCVU zp}_^S1G|Gh@5Fy<;CR*NFRa5Z`=iq!E*@44-jMro~%;@KAs z=H9e-U`AC(k>QI8-$f2=xL$Q{MpfHhCt4Y9+qJK)6cpou8CB6`L)6my44##&qI?s`|XdK`2XA9lTi=k|HS|2sW*Fn z501zEG{*`E{-^z)#s8z*|MiZ5|BHzJi~-&Q-nndI_A~nR>{2CUK3m547VLaJT3DKS z5H`kI-3Tuk#>Ng1ZR0^mBr>UjC$d8u@0-#C+76g}GpW=eBog_7&<~UpNbJAJ)&#B0 zQ8ao8jU;Cn@K;0fQ1}NOUXq4Jh(aFxcO!XdZb`!uzXLLL>c9qJpE{B(Bvm*i*}sv> zi?@oaqF(K@+H0v%JQ@D|*>BMful9W3SXy6ycxi3kt3_mf|FZR9xGu;#qNJ%lOwmwSQ~Nit^D)<^9o1 zg=%YTv-Z9ombtrqUjfp8uYvv7LdbrY|MAsLLif07$_mi_b2qH3_;)a@xBsg5?I2F3 z^oH3VB`|wxvDe~qHhl~4uk`B!`c>Yhs`M)(g|F3fg zqp4P4C=ioC;8Z5TU=+T3VvEWHFy$*|i6sFG^;ahdPB6 zI1Q~mmgJSPPq$~1USErrQ>3_6=v%8EVa3K$Ysd)pwHBX?Ay3XE!m1DFR%FGDI?Xe@ ztPUzMyCbdB+wmm@+DPQ50e`!Ci9R8b@zwTJE2Fk!7P;?2-^PiqJV%`9Ri84$MEw{s}OtsUknRwiTSn=ww25bB4-9%mx*Hr z+>0kRyYt@Zf-F>^e>u-8Th25(#{N>yxNowINcL9fmtcpfuD$oX^F88@3JL zcvxij8LCAzL#ZZQKy>;B*c2FVRGxJUV>SUuSQxVq7VEo^jdq*Kwp43Da)jQDH*H2& zrEK3-T-g|QLiNzPb*kQ8VoyarL<^Au6UW~6P;cRCEm%Z@wmq|N8O?%4M#Jcw%Cn=X z)Qqc05@ayT1>0i^_67$9tJhbl#|2shc-2?bf z{*UL-{WQ-C3 zc0LvM*U)dE<8WWipmwkE=;^7m!}Ic7-Q}9r@5XK%@aJT?mQvk~GHF?4gmu?xe@u)( z=rkvT+g^@0e7)Fj$J-cRMBFh3_tIJ=oUK;)%S%1}Ll}Q8y*W4c6{s4|f?39=P$R!n z54;#XP@oI_Uat(A)q}@R0IP=%uLsubi|{Nkr2*msc_{DpH=&fz`h0j1c(K}qE8q&W zG#D20*B1tk@cds3`tM6vZPI^dslMjf{BEY8@Wg80p8tv`Xa96%&&*(c_IZL@BjKC+ z!x=bdEIkgd5ONW-Z~e^~Y?VY2NlgSGD?$X`@3qoF79BO%8| zT5P5nDWdTjSkML7#d+X9B=n%&5^OYT-UDTe_tNBH(+VI!_$p*1Iw54%H&RAgS3~4G z2Imac(m?~M>3dGjw!9;8a$lMeLd#J zz5~3s5G$}SDC2*BxEX7_1Nn*u{O`h=4^JZIAbnIx+@fAUF7`RD#y*mxCS^GojyH6? zuVv-?P%J8J7HZ=pR+hburB1rOg)zqoI=WdZc?AtRi$2l!RQ>OR^X*d^8 z$T6g_665#^*jqNRcQ)|A1$o^03aqbtLDQd?KY`=`&{X#AY1p^L9d|LM3Q|Vwf*ovZ z!McD0IPWw$6&PS@Y~#kuDERy|^W4j+VHwN$IbNukv7MLWgn`~TtiYi}) zWv3b*QPiATyJvm4rGDuEaeJ88lxQy6r&q%Jcss zod2`4^M7Ph?S41ep+Gz|<^1>I)EE1FiGL%gx3S3$;bi1l7z%cVQ=`dxV{(k16jqTL zVj3s}Pdyk+(>o%{4_7BU;~Ud+6VV?$RT``3K(4qZ7#p3RoSW>3HWR>lTV2lR%r3aXx5R9Dd*MRms9KA;Kj&?fmQ%tffy{= zT^W2>8qTw2)F6WE%CLI0JnfH!7nCQJXjVy{*gDmOc=lX%n}0pHf&u^Hns+NvPf*Uv z*Q0#EpO=-^zBS;#H-Cp52FFZ(Fm2(;-Ur%%(s+)%Y;gMg8ak!otxsDaO&aho!PAK$ z>ZB5(hT4tVb}q^KsAL&jL<4aNG$owb5%4@8@Gn!x=-tpAP)Fc_=cr(PIRfFGE9vY~ zt67Z?n7&BIP$DENQ%za-12uj2<4*Js!vCSgviG0Diw zE%oq)-{u1-6&-+Zs>{si$S=!SIU0J>T8#$Z5qX%WtBLUFcE8x?Wy9HVrEfGVjffnE z-(7*W^R-ax(|#itSYhM^&@3Ac{exNm)w&FvE3$P3SD(oz%WAV;?{7DpBjf<4$CY)f zwX$xteBB0FgwTj0)%!v=8qp)m$O0oRRCX<6%sP_&XxC_cS}}YyN5oad+L*bmY*@z| zvU!|^UTaq}MVo`U9EFk-u1IWl4NjWTv0R9iyD8IFSIo?M>Sneody9Lj9Vca$p@A0! z6(c8DW$OC68uMGN%2#1HHs#D#Wh+bRCgQE8h@~k2b`|r33zaLrKTEM3rkq zO&l|}b>S&_Z03*YF!CMlVwSS+PO}D(5~Y*`aIbXYTOVh>8BTKkv`cqpqYTVCc={~t zY_8h-Gnt2xHKmj#tTrw1Typf3qjt5-MkFanj3WA+4FxNsImrxUvyoVKfN{z0(v+wR z6vYz%i$Pb?uLf1C*X8wN+>}spPgF5tws#R$ezqE`2`~B)sfIc+D+Lg(8+Lt2Nf^h% zuUD%Vw4+bWo?+|#VTWRL%^mR+#Mhgajx>S|h!w%r&CY!c$uM>lIh}f`^m!QD`Q|*0 z(K_Ro@*d5;VUMjX?QnFnRveE4!cdF5#J?F7+m6z^OH=gNs2U0!fc`gJ6&|JMm0A;G zf&u?M`L`}cBhoF-mAXr>Cby~ZSi=$M> z+Ieulbps<)56e+0Kxae=JH%`)>LKsJaYy>^L!kL*WcDBDsLPv#@^RDT3Je7jjfZ^N z)Ocn1L_9e>KAH+Bbz?9;*;N{!K2}C3}IxzKG241VHGC4BCo{Wl2;YOKk}-Y zU!^7!hpCreA&Q5Awv@M%x?-t~-&y~xIzqkF$X@H~iG0>Rn_sG=j6>X|7eZDf-n_S! z1b(HOT21!)rP5$rT$S@@GA5Q*^Jg*(J}aA9@T!tuRr9NM)7u9Bi4<5be|vh()1uAB zRbZQqt02!Rb*muH>Q_ddab+Gz{D3p&7{+LcgksmF5$a^E*R5yP`Uub34OK+SwrHQT zB;K?=$lKFLtSKY5@2~PV8meVkTn#tGgZTbzl}`!dZ7p7tGHD#SyFU;sP*T6Aj#0m_ zUZwt6or3I7?}P;4J?ew%&(vQ+6Z|>#1+`9nN!_9TUfri2R6EoU)KAp^Q@>K7cZ4^= zJI;H#_eb8Fz09skXJfA{?z{BPd)kM8`t^Y6~TJO7UUZ_fC? z4*om%@8G|K{|^2;`0wO@%@_aQ;eUt!9sYOt-{F6U{~i8!_}}S&n=Aj5qyHTJ=jcC2 z|2g{4(SMHqbM&91{~Z12>_3|)|Er__9sTd%AphaU((8h$EV6n-{b5v~bu4gWg)R(MZ%f4Dt- zB78dh_wav09koW|qL(73!)v2AM$@CWMKhucqWRH>qmM^DQ6*Xu-59Npz7pLTZHoTU z`TzOn`S0~F_y63#+P~KSynnrav;SrPZ~SljTm6Up@A^CapZdS_f9*%QO;6O5^&jZh z>67*8`W)DP>&^=|zO{on9aZVAQ)FA1gw zuL<4|bOhz#oZ$T6lHfzZl|gs#>A>-Sj{kG~pX2`=|L6EW$NxG0&+&hb|8xAGi3{@=xaa`GP+|I5k$T>LjD|8?>Ioc!O#e{}jE7yr}g|6Kf6r~jSc;{Q7Rzl;Cu z>_1%m?-#=U2icjPjDH;eNBqBWkc>&jCzFzwC4ZQ_DLFOiN@gY(CYL5xB%eqYB%eu^ zCO0J;lCLJ;Ozuvq$-g9zCA*S;O`b_qspR6nyZGNO{(o?L;Osw~{fD#vaP}Y0{=?aS zIQtK0|KaREoc)Kh|8Vvn&i=#Me>nROXaC{sKb-xCv;T1RAI|>6*?&0u4`=`3>_43S z#~Nq<;p{)0{fD#vcp>aRVrT#1;=efi9~b|}*?+nCPtN}Dw;um1aPi-EC@24O@;@j4 zbMikY|8w#`C;xNuzn44tpOgPN`Ja>jd9%EWy!Uw@@&3YF==FQcyj9*t?`z)QdYip} z^0s;3_nz|p&3o4K{M3K3f2=>nf3<&--|nC3zstpcj(!yVJo>NbH&GJ5C_XwqA%122 z`uHtzXMA=%H=Y+?7Jn?hD!wLO9IuSm#<#^^kMD}_jURCGUl;$|`G30j@6P|%#s7Ey z-!A`y^Z$4GKV19=m;c4Z|8V(#T>KZ8|H;MwarwVo{3n#s72p zKVAGsm;cqp|8)6(^Z2jI{G6uvuU)-PUz=#1B(K%oiBhrpc--Bl_%FFa-J$w)TT5F@ zYZ9mvaeYd%Se>kT^@%NgNtn0{-HSG2%;OI9f_E_vykkai66R-WX7$)7=ZOEN zA2UBQGmOyu4a^wW_hQpVn?AXvuLbLbd2+6Om^oWvKYi*HeHTW`5w|5L>%Qb<#b=9o zjXCsjCG~gkF8a|Ywe)iarXE-NF5PQNF-JT2v=s+T$58y%;!yGsx4IjZ8*Ln1J(|pBm2m&J2PPzOlbM)E(JM zoTTp3cM>j`e`cj{W(i?7BUKi>9C+p|eu42a8quqK=X;SXUFp%X9wA(nw)gkH6)CM)88 zAB-!2O_RZUVt)ex3>~0yIzTXl&;h{N25aBJlj7)r!+;JbkbPjke?|uk7DYJ`a4_y* zH>Ukrfh$yZ_I2Cw_qFPm`ksW4fONpuba$fF)$woIe$ysYAu&vjWk~ruIzaIBAxj55 zn{=x<`M7!}?r$L`_?UV|KbX-0Z*Ca`9q>$iZCjkt0dHuzv*j+s!#Fx%e@@-O^KQ&f zYku0n`x6G3)1T1*yuLENHeoGG2b@fP+0g+;Za_{Rl=UG@2iWgVsNV4XwH`qpaPaJ0 zH