From 49c494401b1fc619c44058a23f73303b45124006 Mon Sep 17 00:00:00 2001 From: cah Date: Tue, 24 Feb 2026 17:08:07 -0700 Subject: [PATCH] data: add Z=128 pipeline results and comparison plots Run FER validation at Z=128 with normalized min-sum (alpha=0.875). Best alpha found via sweep: 0.875 (threshold 2.90 photons/slot). Z=128 matrix achieves girth=8 vs girth=6 at Z=32. Add Z=128 vs Z=32 FER comparison plot. Co-Authored-By: Claude Opus 4.6 --- data/de_results_z128.json | 284 +++++++++++++++++++++++++ data/plots/base_matrix_heatmap.png | Bin 0 -> 70148 bytes data/plots/degree_distributions.png | Bin 0 -> 55981 bytes data/plots/fer_comparison.png | Bin 0 -> 116421 bytes data/plots/threshold_comparison.png | Bin 0 -> 55280 bytes data/plots/z128_fer_comparison.png | Bin 0 -> 141430 bytes model/plot_de_results.py | 318 ++++++++++++++++++++++++++++ model/run_z128.py | 128 +++++++++++ 8 files changed, 730 insertions(+) create mode 100644 data/de_results_z128.json create mode 100644 data/plots/base_matrix_heatmap.png create mode 100644 data/plots/degree_distributions.png create mode 100644 data/plots/fer_comparison.png create mode 100644 data/plots/threshold_comparison.png create mode 100644 data/plots/z128_fer_comparison.png create mode 100644 model/plot_de_results.py create mode 100644 model/run_z128.py diff --git a/data/de_results_z128.json b/data/de_results_z128.json new file mode 100644 index 0000000..43b8ea7 --- /dev/null +++ b/data/de_results_z128.json @@ -0,0 +1,284 @@ +{ + "z": 128, + "cn_mode": "normalized", + "alpha": 0.875, + "degrees": [ + 7, + 4, + 4, + 4, + 4, + 3, + 3, + 3 + ], + "de_threshold": 3.2093749999999996, + "matrix": [ + [ + 7, + 92, + -1, + 25, + 73, + 89, + -1, + -1 + ], + [ + 125, + 33, + 114, + -1, + -1, + -1, + 104, + -1 + ], + [ + 6, + -1, + 67, + 57, + 116, + -1, + -1, + -1 + ], + [ + 113, + -1, + -1, + 108, + 74, + -1, + -1, + -1 + ], + [ + 28, + 119, + 35, + -1, + 88, + 20, + -1, + 124 + ], + [ + 120, + 35, + -1, + 9, + -1, + 100, + 72, + 23 + ], + [ + 63, + -1, + 98, + -1, + -1, + -1, + 48, + 98 + ] + ], + "matrix_checks": { + "col_degrees": [ + 7, + 4, + 4, + 4, + 4, + 3, + 3, + 3 + ], + "full_rank": true, + "actual_rank": 896, + "expected_rank": 896, + "parity_rank": true, + "girth": 8, + "encodable": true + }, + "girth": 8, + "fer_results": { + "lam_s_points": [ + 1.5, + 2.0, + 3.0, + 4.0, + 5.0, + 7.0, + 10.0 + ], + "optimized": { + "1.5": { + "fer": 1.0, + "ber": 0.685, + "avg_iter": 30.0 + }, + "2.0": { + "fer": 1.0, + "ber": 0.679375, + "avg_iter": 30.0 + }, + "3.0": { + "fer": 0.74, + "ber": 0.39109375, + "avg_iter": 22.46 + }, + "4.0": { + "fer": 0.24, + "ber": 0.14015625, + "avg_iter": 7.96 + }, + "5.0": { + "fer": 0.04, + "ber": 0.0215625, + "avg_iter": 2.16 + }, + "7.0": { + "fer": 0.0, + "ber": 0.0, + "avg_iter": 1.0 + }, + "10.0": { + "fer": 0.0, + "ber": 0.0, + "avg_iter": 1.0 + } + }, + "peg_ring": { + "1.5": { + "fer": 1.0, + "ber": 0.7315625, + "avg_iter": 30.0 + }, + "2.0": { + "fer": 1.0, + "ber": 0.631875, + "avg_iter": 30.0 + }, + "3.0": { + "fer": 0.94, + "ber": 0.5009375, + "avg_iter": 28.26 + }, + "4.0": { + "fer": 0.32, + "ber": 0.16390625, + "avg_iter": 10.28 + }, + "5.0": { + "fer": 0.04, + "ber": 0.01984375, + "avg_iter": 2.16 + }, + "7.0": { + "fer": 0.0, + "ber": 0.0, + "avg_iter": 1.0 + }, + "10.0": { + "fer": 0.0, + "ber": 0.0, + "avg_iter": 1.0 + } + } + }, + "peg_matrix": [ + [ + 37, + 123, + 82, + -1, + -1, + -1, + -1, + -1 + ], + [ + 4, + 56, + 18, + 124, + -1, + -1, + -1, + -1 + ], + [ + 95, + -1, + 86, + 107, + -1, + -1, + -1, + 49 + ], + [ + 18, + -1, + -1, + 107, + 66, + -1, + -1, + -1 + ], + [ + 10, + 81, + -1, + -1, + 94, + 52, + -1, + -1 + ], + [ + 83, + -1, + -1, + -1, + -1, + 68, + 24, + -1 + ], + [ + 102, + -1, + -1, + -1, + -1, + -1, + 77, + 118 + ] + ], + "peg_girth": 8, + "peg_matrix_checks": { + "col_degrees": [ + 7, + 3, + 3, + 3, + 2, + 2, + 2, + 2 + ], + "full_rank": true, + "actual_rank": 896, + "expected_rank": 896, + "parity_rank": true, + "girth": 8, + "encodable": true + }, + "n_frames": 50 +} \ No newline at end of file diff --git a/data/plots/base_matrix_heatmap.png b/data/plots/base_matrix_heatmap.png new file mode 100644 index 0000000000000000000000000000000000000000..fde6358dd89cf568e9a1e87a85b414c955e909a9 GIT binary patch literal 70148 zcmeFZbySsY*FCy1L68uXkdg)o0i{EvQz_{#5s>aykuGUO5CjD2ZjhD`knZm8j^EnP z`+Ve*SDTiThM>XSPd+1Q#|zGG)*eZtJaNdCso z&dQdDg~j5(uVA*cF=5Hd_GyHxpjk<%*&-15_mF>3OpuQW%zS9tPD>oqD*58w5_kzxGXL?9a^#>nbCfG4{yX~-;`RetK%e?-d?^9+& z+o*B=`C1A3|IT;!U4?{%uy3HeC)Yh(A4$g)7nKi@B@+uFrsuEi>3OB-E38D`JaaLY zEPNaFz1QYM)fXN-2K|8cv!T{j@qq8eJT~*FH-x+@D!7?-YRy-z{AAi2`ccAmsA*~E zk~}Z#FE7rl4_1{$#Kb7*>CxW3dq<~J%g1B4>@`{A`dzEafyUo*C|9f8VS~sk`-;!q z%}wUsZ9)|f9T{_T^Xb{y_dNEi-^_+`2?X4@+9T-=QkMf*$jHd}oOeY=4-XH;-n_{e z)VcA6(=r4dpIKt;_3PIX($amd36|}btSuuWgt)YFPmfOmQZ~lQqy=C7`O3>VWbNtc znZRZJVrh@h<9ygKsi@3ys>KH#-)g4ere>W7NqBg;UqHYMDXBZeBqTFyYk{wG)b)(y=`pKJN=_v51}PwSIiqwzXVGHYw={L<1-KYq~0KQ(>tIO%-5#`Wk^MMVV; zsou^#e0<*|k5jbggC?!N!zpEnLRm#cMQ6GNuS9fp$w~Q~yng?d7#!*m_jKI-(ycNS1-`_SzcdH*gB)hyJ`(3;iZWhD=~}Nc~8rr zKWwWeWoT%qyTAN*xY#tJxVxq0mR6;mcTy4=>N#rP@rBD zk#G8R_hCipPxyu$W2BHwyWjL-EDLp+4o zJ5Fsg%cUzxFm!(25aH$Ha}yaa>9SuM8XK>hnwpkd&0Gs1<-e1r;13a>?0$C0WxtB| zwm(C!zg0@KW4g$* zx;f)`9S>?)M*U9gNXeG_$^)LP;_RVA^tWTB7Wz(3PKidB z$8%VJdwUfE&LFZ?G;-l_^&tqGAYrJv9jr!;vf;C62B`@#M6SB z<<;ed!iek_4%UjNDV|psDlX@O=i479M<;6CtJ&~Gss8_L|1#=aT)WD9g<(xh-|gLM1CzlKijIC{U-E5 z#M098@93y{wq`})@#Wc8;6I1`3Xbb+*dyU42IZfAkU&#>eSMF+c(>-y(x~c&`?auQ zrkL`~1R|xC^>dtqi3mi5^ zQ@(!vx;#5e!C^l9DuLHAmjD-+G9YE;v$Q;3Gn-Mn#6ou>e^$Zxck$3B$dHojQ+0K! zC2y6H;T73tm{L_$HC*fN8r2$+)YK%hvy|ldV9I5U>2F`3VsUXX-p0m8GxCm^G)nPk zWn#%U$I4#HNJ_R9k+|2&owS{hx?Y}Fs3yO-iQ~1rwUuO21BqGu200HGmtR|3n>uyO z9iJCa0Lr;6MxPcyAwoVjT|}D*B(A?u+KBm_^2=?PQAqA`B1DpVl+v9c`sa$B4wq&|JgL$;sKuG0 z&8a$_We1x|_p{PBmX<6f53#Yo#W(~n{PMo8u>S0Ae@{hC!gn%{ivtyYkqmyH7mqFv z$1GFoU{TU#2$9>ie{gVLJeY|3kL|ZVS7s;fmp`TP6crVl7dm1BA=Gg@q8`)6fB6y! zCrN=`qvz^FKXr^RCds|Cqb-)#8LxzptH#gA*97^))V-#R)or(pR$=@h=evH5sv4Jr zdnkSn9z4)DG)$cwrDkA`)r_{vQpt-J;DeQZhUqh4I8kY@;10{f%E7^*62}?Q0ZT8T zGv7Z!#9^M{KoH3q(UDO1zRtO*u<%|eF*ikk{_A^BOna$2D8<^7a(_f^f&DE$!^;5LX1wp^Fg{>vfZ}k=GpseXBqO} zMdaNsPUoXE2lI4vvX*|pF6%2PMUHY5U-15Z{Lhg*Uip#qGv|i|G8u3=ZfdSLU7Q{? z@9*1{uqN@?OFiY}#P`nbZo7>|`o=9}HzF>MUY2ooZcY(4Qc6Ms`{MjOwRLuDi^bU3 zcs0$!;AAdTF!lK1v$v_XuEL)%!biVA+>=uD%h}l#4;LCq2XC37qoX5ZnM1;c@ZLR& z!5j_FA?|}XO$NL>*5l>Y&VyI5>jzg&4_+xKd|qB&rn{zA6KzwWX=%ZtQ7Yq--Euke zK7(%hqX6}Iu2xm**;eftGt@+MCC}~Y`dBV&3b?y8`pMgv#2E$W5R~~Y2XCR2B5UNE zsapQ*>};!z(P!%uRrrL2gyk*=3_OmTL3>NxjV&!=KY0y*WA|q&-iCA*#hgIK>%i#d z?v8%=ZLh#?MS)Sfnjj=3WO*o$?59dz2vpPc@e15fQvMe%Ee z^fY;ttc1j`5E9<);~fKJF$efm?s+9JJ~4q#+@Yf5?sI&6%-2B|C3U{th~*a;cpagt zuD-~COH7Ob2(8-X;0|JXWySy9L}jv66hrUMuV2qo)6-{>$jQx(55Veo2kro5p>*7u z>}?_dXz6seQ3et80T9)VTeoHbZ7c&wSslvLnQqO-I@+9wAk7L6z6)6+wR9X}n>>JG zePiSAPvyt`Kb6tp0)T^GCJ8i$Q;Kgd|D|kdZcc`Oa(Q0z5j}kqmi6`H#~b^r1L!Q; z)d&RCF^TTHv^473*;%WjO|1kT`#XRC{w10lTv}671swJZOYj^ak5>TozcYcGT_p~A zS~`O94C&vmw<=fI7(F!`#Hg*UwX(8$4p{TuRBiC}+nD6k)Hi8gCW<5pxNlE+UM;9& z>es)&iSVLVOh+IzH8r0Yv;=7`{Z#xB(!#aa^);}>Y^b5V{SLp&{&P6O-;@}vS9+;c zRo`4qO%|K>S#3`XCGa`lgB556P?T>q^CF534GoQe!<+!`&P~KL1ftl$PvsJU)-QlH zX)kg(%?7i3HVkn^A>9T20vwA#+-Few1z{REz(%~XvZ7jPmsz~AwUuZ4r8`M5X0xiI zVr4v$gN==?2SQo1+6f1t`|e!`a@QmyXkIZy{ex+S8S^Yk3A zcE*KkKi`_Hk%u&m-0=GPdMkVT=Jz+zu^&Es%;c(=CUqZ~r7A|>4*ZO2*>gJ>P*E+= zzX<{V_s2`Jd;5A*6S??Fq$oSv4J$)Bsl&2a<>loW zl4$EL4!^V%ju;i!EbjiP+W{D|H1;7ww)+frICX*Th7dO7g`YNVaOM>rLPqUl7_6RO zXVS{o_0}FMf;!awmG_5oO+(Pn9=pE7(VB#Ln~LN86-8^v9}G#7a1?oT9v;m$qyKGa zc=5JRHG=3*9J}~}b%LO$fJz)7SU<=_3`ses%N3oq?hqkFf>=}8im_(Q-r4?*{lPM^ z92W6P>3~&;#`=ct@jAPE%)2oGuBYuv;8r~Kd_IA!DbT#tz3vuwajAS`WJG-pTT4r; zAN$k!^!IG#+_lK%K+wc=eQ%J$+sSf{gC_mxqW10B$FiFY-)Jr!Qb8~aw>NG-`mNu$A-|gTVL&w63 z`E*S=Q-OM@#M0Z_TR}rxTU#IC;HU$@tagkPXLs(Q*IlK?ow1LYRr8-OaJU|tTmKGw zq;QUC(ynna4Jsg~kxQT}afYO(+1eUP#zIo(c4Cv4?%oysWXn!<9NoGA;vfM%a^57Ysm;`lcWwv`CU?#Nm4$)Z`7C0 z=k#5Qf}HwlBa&WG%;1Zqje|oAzK&b+4s@J3e@o0%h>$Wf0stG2Ax zhYPL=GFup8b@VokjXji(W)!OPxaiMyRC)E`Hdf0^!HXLRF89-?&`c_YJdToD@sN^| z`ezd*RRBKJr%FbIMMr-+SR48djYw|+d~^M`ORz5%S#FuFaZyQ$C?wB-)XUy|Z8tH} z<9FJAUa6C-S@EK5Z@vu|gOE+cWh;c3yYPAAUNK=|UQWRM$E!+HqoYLd0QJ6P9;)B; z{;ZzEMSESx$H$2SA29W1@>`GyxTz9xK-p2W+nUre7=f-k1-bxKOw2(u3?0vl674ZX zT5@s(&^B*F)l^l#LEVOGLJu8y@I%fX$dZ~1cZxi+XyoMN-X68Kv`8I6g~1{>tLY%~ zJeObK=kUCA!ytHqfN=MHk^BpqnovmKnVP-d<+|!70HS@fS!l21!${HhX){8Lj*ZPI z%vrfED9DW)v~Gs?bOnl7tqvZb;ZVp6D8DN=>xbKnJcgVBhe*ITMsQ|=Vq*z@FW5lk zU)dP_`r~C1bbgl-FJImcvnPqE6y5rsl41pX210G9et2YLVa%axjfzF5Hv4mN0=KPL z z3*L4Gn6e|=fgF{*L_28V1Y05a($=U-lDCE=Rl2&mmivBS!5V!6-o;?0H!Z)Qz#A3; zQW}b()=>J2`fH1ipFYjD1V8li^Lq~1(N2~E!RNA%`h4)&8{mQl&nOO^-K|-&?>~M$ zy}#1uv^$UHus-Y!&`(6N9V3U%Dz*{Vy2?s;lYj-tLWO9lYpAoBTqxQaL zWGyl>GId9#x_bT`yUX&$w*;MrXPFvhxpq1e_|C!|TPphrI_KyL9NgS$ENwd zJmgEfX=PpZmvJhAMY-_g(EWw@zCUl|dc2)%r}Kp@VE@G69zrQceSj{4YvIV#xU0Ku zU2;xl=1-k(rs9vcjBBf_0T4S9MDj&&nB1UA^sKVH?0KowyCRSn6p)=zmw=LIV#An` za4>1UCp$`|!rd`X9IwxK;@;MN(p*PwWQ+Ngkx?Fx)$Q0yv&!M_^Vi)gNGhnn&7(1L zFJe#dC?U_MRI*Uu6Uy5T0K-v_RaziR`9Wk!^7{gH!wDzAa@>g^7O(F;WP?YPp@G|&;s)HI!M&`EdJ?KyU?eb($SZL*ONI$W}yG_gnij&UBBj{j5NvA`|>g^asepRc^obz+r3hE`k6WvDdi)0su%$V&-R=M7db3yxt z3n`n+diDnJ_21Z<6e8fve*-QQ_3qu9Vb9KYw(724SEWWgy1!qfFqM?kB9m%gV!!s< z)X*yzj$=RO&f)%kV!Zrr$mcY4mBK6|pa1kwQ)bTwqqK2xx><3i9kRBhD;e)~qAnJAz`>rTXNL-l}B6#;RN zq|+)fOP&bp$1rK!BG1Anr=vrKygaD-T1PUF)yU9r8d$Oj8oPTpP*Uh-zgX6W4>I)o z78-R(33D3g>le#0Lp6P3HT`_0HL}+IY_@}?j?s?TcCoV_nut4Efa zDzf3Ydylq_%>DdhbeCJFu0bwcLP_&}Qc_{YtJA}c#}iXP%Xqh5T8@>IIqF^So_ z!O8h<{CC-(grOwUy$)MbD`=_Rw(D;r3SAQWaIW^XvyX>R-{}5ddNN)LNqC?LfX>+mO;l8ig)t#}t{3Z%*vcHY{Z!|}nepj8A7L6Ds zLkN-y1OyW!fQpNYyQg*S(GNf^QD|6Vp`>3eUyedG+r0>z1ntJI&Zr~0B4nw$i>{6Z zo4Ou!ke)J29bj#)As#TPryjiG00w$RTH48p3zL*DLy?i&SErWyd`lKq^I4lr!AL_x zgHkEb#>%C(+QRWu&*XR=)_b@UqnR{*b}oOpNPEz8wU+wQ@=yWz{_0UCD0Y7#D*+1-u~2eDQD{D4dmZ9ReISm*f(TL% zCi$B9FVD*p@g=kM7sA4ijB|W)_LxjqJoM61QzZnw5I-C7rr>-$u09ylP&k1b(Fa|C zh9oi8HdRztSGRVdgx&yEbmnRb&PYwoQK7GJT_&u*LT^lXxVPdDxdlSS!zp}3ju^e+ z)dmm%_~kK?8RZ5xY7Ha9!_#oMB1+->Kwr->ukn&OW)68~a$V^(N*U8%CM8RX^ONh3{w~4# zB00qt=qV>As~wadGBYzPyl?@6na?1R!$Q4Q@HtAJ;B6V!6&1PvP)V^*Pkyu1om1qf z9YJ_YuTAHwm)rqzKCh`FRkJz|_skq1a03bo3K)!#?8k^nl4M?4X}7XR;n?5woPjKrKp<@t zPAY7d78#0wfBg?N4f>L%5gZ;m9$wxoz7U}4<{3DFwzURgW47L@s5gxby4t9WS9D4tKho0tAuDwr z)N+F^GJ2?9YEB%Fd{=hr3nO6g!)&F z2v8!WHcH<7rRXjM0GtBCpVB2V6j#PuI6!2v1|rj0zyy|O78EDtNp^r7N*Wx@%yJ9v z!%)LDlXPxI?eV8<7A2F{o^A4GGI4Tp?f|D!(TtV_k`(k|Rgfw!oOR$+3*dP`FS`fwvrsV6Ga$B+ zf_(yz1hA=*E~MExIXkUnp5K5fQUAIW@lv23M4u-hRv?o!^lH9QQTJh=KLM306(Nh{ znTt%iUyq5Ey_*0Ccnb^t}`u*g&Jd2HW`o@FC)NJoz_(_|Au? z#%92Qwr?vxeE4vEv;-ZlEe?4U+V=OA_G>9fe*bUEP3XtN;^PBgD`o+KA^CkEltw4- z+S=Nl17JYv#tI4wR?9t)kZ=il6%HtqA2TxOkc9c)@8Zza2m$m^`oz7~0S{txw?4XK zp_eCyJI}g~M;7dVCsDW(6wLPh<3zfM5sN6MSk z{>%C$rZ+c31l&(`AsacD4t*ELLT&`2r^?Z?`e@QM zL$x5K__YokzP*}Tnkr*umaPDI5Qv5Ls76qUZK75tsyGEsmnpN=if%zs1OST%wNPW( z*2Tpo1?cK>yOn#n+BNZJDL>6KGc%ETLRy>W`uh5-QggKu^!lZxKizl+XjoXSkied} zpV~b&?Y(iA=&2WYKftdN78d3OQu8bTRtDVX(Df1mclc^-5){6)HT^$-{s1dA-dTw~d4?7{r4&HmrNQvzk|2j&_|cnvT!FJK*^#k~$^ z38~LOM;%F%3(Qe7^hA3J^&|+nBmt(0t%<5KA+qc8;s1CA#50uwfGo!crCQm=|LMeN zi5aan;HoJH+e6Jg`D3_4@6V^NunM>y z$^ZlQeQ=|CuZx$6YzX2@6gr4t`^U;ZskA{G&q^e-xW8DjjO;y08xkO5B9`U=3ggzn z`H#{$9ypM*TkV(3aw-(RSv_JF69E|1f*@;20Z()X;9}=qfl{`rJfG)fb-T%@^u!L( zqzXU-AR2Rlj?J-q0gjpoK0ZFq?^RQNyXCMJ2PCVYuLaJN*Gof&ZJ((XG+;rLG-#Gw zUk`mr@5U28oBn`R9D+=r7^tY&z}`PAjoGWw4%5))|BS>y?T`bcmRgDL->2rVoYXX6 zTwGk71;MKcRBWj;WS?Ei1onwfpFaKEUtT!!poirc0Tzrp8VUZpneF-itQvYgaB_7G zluGOU^%wU(fAwM^9?lIE$U4Fj5~#?Q9w?CSP@t`>t-WPvK0s_CPYsw9=9>I*kzEMr zt*X;|7$iJ+aL!vG+T=ktA08cT0K*gHj3&U?R2_-B)?q{NgOC*bb@O7W2Cth`#JaY!DtJ0Sn+VZ|^pF_8%qNy6&ZUjtLx4XE-@PT459 zX_Xn46|`4@n!W|(Q46Hf9_Xr(3k@_XlAwTMY6Y~IOahm@x)|DX??IjcUywOx;Lc;& zjPAe|ql$~S>X*nF3mt5X;UjHKASikPjQ$2St=B{a*rI$u1xN!LaKnGfa^S?yLF6F3 z;C1;;e}-jJ?+W1s{!TbnGXImv{}4o_y9iy-@O{)NL;d`;&z8T3=7UcLL|0_zN2iz` zlqt-BtGjA=RA-FJ|f0g>y}hY=W?2mrY7+N7Htd!@^X7$Ro-V%%_&fch=_=W z!68JNmVjsXkBE=^1vqJcauF~Z4mP&e?m|c7)D#&YOP`XGXB3o_ICyv;L70{_f?^N? zy@}2iYuKgF$B()|GC+0{23uKX<0CeDni%A@mGZP}dcg9h=qu!M2$I)1sES0P08z2Q zn(ZCkaEPA)DK+}wndlauL~ zKENUS1;oPULZCn5;~Vc!#?EY>FGQ7;lM}PCAtL?M63-K<|L1RGZ~vo6)E)n7Vhxpn z@eNs$Yd9<63Njq_sLhFSx+bgG0VP2}7*w=-?h>N-5gimr6$DGzU}nO+G*g&<@K#rz z{wlWAN2aQUbj;*o^vhb`Okr{geyK1rR^%nV8<{BjzRDiR)f(%6guUQDq=`fgz^iw~ z{{P?oKdb?x3<)Cc6CFc%BEhHra#x99Pp{5m0=jv$SB5l=o#RAo53zW45O5hSL4RO?Q^2C66hFqR%c!}2@0Y-SK^M2BMt1_S52knd!G>&Gd#aL zlW9AAwb5{G2)*tM@led;=b@_l3;oxHE^Exp785=mwzbH|wYyvL`*R(J&~c^Y+fe$x z&*YxgSiAT~VNUeeMyD@*WuwFxj1JRpY-!1sahc5C`LVp7P(*HGUUi zmIqJ9VtEnJSv;)SO0k(Oe7;9s9j6)}r*Zw7XBi!~kXKZVR_?@#zvM9Y#zQI*kvMWX zMI3U~1rO#((>A|R*4uGtc{13za9@UcdYJesw`1cLE~U!eOg>29ac;aJk0Wo|j6sf- zLZ=U2UDdL8B#2*~ofv>5fEq=*6APU8jLoNNNx-1;#5&c-WKI3H+`?FWOBzjQCsT45 z?X2=|2P(0In0CK*yQVt6n`P}aY3}|rOJR7n3@J9H3w#^ z$Lan0+aZ!hYzlo=?nfxaB<$nZSjoThcPy@*iSg@dRS0w%4!)vlr950FqMG7ij>2K@ z4YS+8P8h49-C!@W{%Dcokk6n)61{K{b~;Ubuj|qx!1uX`A>M~6cXS;Y!uQ5ZZ&PH{ zOiIC5sgd!t~Z+kh*7E1_7BpNUdMje+88vtx$DK`F zt^Bzop*Nx-Ec_m`#TeI+7vBnfim=1;L?RRvsZoygWXou<@6^NRN2Tcnu*>Y&bpU~ZfVr%DdPfE zNt4g4UhIXs{h!GPAOn7-hz9ngO5$?yn%reVyK|>O@ap^nP@RZhF*+V`S$Cn62qNKq zfY^qTPRY$Zk`Y?p!=|8&D=l5M+j~*$G?4hczr4z?yb6=Ppe#J@L2ytpU24+}%H2sC zzN%70KoHgUCe6=H0xGiU@(tn}+!E2+65j*R zM1c``Yd;BCH*13I-o0zFUmRo`i$Aua*6mfb3zRWjJSw7pZ1I>~(RQGyFc0-8{=2T; z!uzJ}BBukZEIY<$hnNcbTlIs@-B#W)*evfR>J!!Wlnzfq$?lru+0X?1wu1m}&YJky zQC)6Fj20)o;>zsjcZY(R1LyWplDKaf(Rb6m_;gHPKdEqq3EMcB4S=o2g_ZmmEIWwt z1MEjg8(JW~+EA6Vv$JWorI{JJiHQj!tR3Hkp0#Y}eDt1Qz*EyCTc0kg%#2Y*sth&b zRG9%sT_Y9J#RnW#xji_8azAlzrZwGoNV9xzey2iun9YM>zAex9=`&YL^7tCgo{#cz zVyoXD`yIo0#_o`yAs5FMR_o%0EWv$9wuQzQc1=IXS^{GyxI8WH3M8Fl-Vg!t1_&C;%B;*XK?#xjxzjACg30FD|D~8C63-dB6H(ueG?&MtwcgS%5nPXsnMDx z5}s1_HX}e}oufxxv+fSLx_a_@=jsTRPSN5?LJdy_lcmv*bWW958#nMLm+?5+=X{H3 zV#+oe!bKk=Sl3SQJ3D(!ce$RDM)DT0tlVSX6k4BA4x0>oPpDbthT%(7BSWMj39Zew z3e7|_&#tu+I!`xJ`_`qNC+cOHkEvr2!?u|>Yw`W}e<;z$Y;LZ`2qF--Z{G&K5Db~3 z284)SYxrkPi!tNh(Cav7hDpUtv2D}xws`9u9KEWoqZR6}+30I8d!lITyh;ofh{w8> zSAVZNeNEuG%9-@)GvkyVd+<7X`C`NF*#3=KLxv3HW|MJK(kO)m`h#e?K2AjGvt!CI zfq@*2Ata#w=ic(IW@n)nGtb*O{`2rBdu2yoMVFDsu{Kq2l7jo6w2F$w1N@GdZgrPA zXy1rBQd3jOflEzuvwjpHB{F#>OkMD_C|~r%1$R$|5#<*Y2L~gfjCI%hg}8T|?}^BZ zD9jtBHchr!_hTGdMzU-Ga`W{#SEDW{cCh<3owg^XrB4qRB2&%%tQxO2*66-`B*W4{`k)My?J9&DYGLQQPz7is7s+pS=ozgHlg0#z+ z4yxMQkoG;jZZ047;0ha!MegT1Zd4p9mUdccwND8;14rT`iMaR6}Lq7|)0KjQ4DA zr9`8=(l$>@&4=%LRk~-^As;5G5vxt34ZoPSU8-PBaO&eT0r&m^Rk(@1tZu`ikl{e$PU;(&x-^6&GCv4&^H0Wv&3Kv%^AWA9LHb`HCV^C z2S@y-yA(HG`}hzsLaour_On`5vStmMle5{)NJ7aGrgo#pUT-m)*FBb6=dEeg$FUnL9G7uDAKVV0o~}XXgV&ib7yp+AVM% zwF0*k9vkZiRx6yxud`oqlfvK{xVG*io`B(Fcw`|_s3f(>dRH{fc#2|kq)x)WHYBK@ zjxH)LKi>{w{ytZHjf!NH;2d5?xcB{#c(#KMS0baq0C!Xg34+#XGuA@F{`|SsHtbvq{1;qgK(}ciBPnL8`piqBx-QypM>$ zg%P=#r6pew@#+T$AHeWZpR_)*`39OJfwiLZ1DO24VF{CCn8?isstQIAg+XQ6{wq#4 zb9%70{PzPt?mw>=N!yL@`1bAFwJ5SDx`~5V?F1{5_<*mkz%xuAZd742t{+U6#>S-{aY$bM+bxG{qdqvy zXZUetKi#LZIpq2!)l-JqA9))Rf-nK9>t(8SL+Hxl^W^_rtOke6 ziNMpqSMS3Q7=dZ}-g$igwBtDc9f)1=@ybSX-}m@%NwZ&Jvv8;OWbq-G&2GbZi`SPg z4-MG}L7?aX2^;Y4ZIGs%OW^|EKy5a5cVhuufU+wJ3k}ml>V7F1WvYP>F$1ZQ@0g-6 z2dJwRsFpMfAf7=LC8wdeWzv;U57y;v5KSIEd4dhxXQ%QNyk>c{i;P z@F7{P_R}L95pdgrOOkEWfPrDy_CLGnLW%l*((<$)ICMtUd<1CGq5xkN6cxjP&j(Kw2V@q7n>csH7oH#5km+m`Igps*X%H z{wWG_E<*qOcn8U2A`oyFEpP&Y_q+nI|7CEXF~3z#_!8Lu)H9f=QsgcL0~q2L%yhki zP0+MQy8B?nR5&KUo1AjxM&gYgZ9kyXL0lXnVJC6@-{KY_C1ulp@g4CT?IM;TgGrK8_LCiHnb0L?3SS1S%d5+edR z?nir29*kIoZMp*VGG{+ieevQNlx|&1OP!420Lp*Qi+tw%$_gkkSO701&yWMf$SGT3 zuNaKLrI2<8q#)5)r!%9;*IqAvB+mwEiSxbpX&!Q-WkNVp5+;X{j>CIMmjIYIdtmpG zBGo^pA(z_EA^-j-rPYe6DrDvXVVeAg&@ZqE{V2rq|M201ogfk#@N$PPWGfQ=!#l!) zUSMN9)yUSZ_C;O~CNOS2A9RTtX^&xH0j2T0qUCg?6^0k22M(eU|84=r{gH@WKDXmn zqcOIhh7;IZYw6EaL3+l()B4*y|M{PTxBue!YDE9QgWY(D+6z3dD6dEcSC^J(Wp|M! zrsUvrL`0fB8>q|r({zEP{}UCQw+J6((cba7mO{6vwup35!GI~^*VL5G!Z3s)3Igg? zOuOOp5zxFtQd6nGYK^oX^htL%qy2kx4EGZS+ylU!pbt|bPB6kKm2v_${qy6wP~>Qh zi2TQ_tj9nUrz!}7vlqr+CBTybA^4BM&`XoK71&6m>lF*}#JH0Hn9d0&tZcvOe@Ip2 zhP042sJ}u^r@-BzAfltAt?cYXpnE|+5F3&v2d~^+m~xJ)1XJ*El_N`~!$tt;df!2; zLk`ZUs}sTG3BvHMuU4U<{|@OZoQC;AKkJ>ynYko)84|IALuV3Bpb#m{lidFRg@}R> z;C3JHe}w1ySi|v&Ju3D4e<;T1B0LN*mX5U7f{g=)3`oJ$+XN>KMp-c7nD*!Ckb&&q z40Z}V1B36S!NAB;a&ZyB$!!FwZ3mVF!Y~;c90FGT8$fa2WH0LFejfSn#{{hSe;YER zvMtTRf+qwA8}_ZcM5&6rAX^~a*uXev$COJ2^u{UR{&PygwF{R1-S?I!{4q+z+flUt zoK}jj|NX@${+Kj;9q0f2xR=oN-!%U620{AO&o_BrCDr~n=fBtc)O@FtDe&gMxfF`T z|6T|8G*a7b;h!SlCtHA|C_pjUjJM=991(QRaLk9zaOUX-%EfJwmhkHNpMSn-9VA+2qr z#+d)_vix5P5pHAWgO1#eS?~W@YAo7)`jX@Je^;{Wzd61!O+t#LcK1Km{@=$*M8&=# zEK}Qv<{ohUe=9M}p9fI4w#-e&b)Z%`5=5ozD)7@2N zMocoEz(D+WGYvi(*oqt#yp3b$2Nxfgzt*?QvZlihl2pL@r`xUv1O#uS#flwW_j6JL!L zPI%cCIomO&Ha~_pTkDeg!KT*Voh;M0YXaQ1nBB};V*L|m5+MOE)ZMP(!4N=xfwwUC zOQ-%^v^vs>Y5A=50#Zzza7k1zp=b)dI-{Lm^M!a-?z?=Ye>4sEE7RI8Yp!M*{}#!T zh=oU!Uft;KcKZR8C?(;Fb!Zsr5$aB|_{?7`M)QtAR-2DX>U`X`4}@%&@PBSD9DKoc zK9kG6*iEGp5p?ofzKvz=Iz;-E_>eT-lTUr<6+~44RRmQGcteqA97Z0tVg4E>P=skB z>Orf7A&?A>GG+#)4BdbpCCv((n=mGW+C^7N|jP7zf*!PiT z3}>UYb7otnEc^LkgcdbNYl}%UQ&LcDgXNS0U<0z?i-jbMtvWe7C&MT<@`S>Sm0>EK za?Qoz7&ztqCA%yz9OObWrb_r326sL&!)ArXc7~6KA3r4rYTRXYVjt|;G7Q;&e-uz6Cg7_8S)32NnqDwBNr!g_;YAm4G6*&b z!ogfE}StJFkqs>;^k@<3HhvHSiqH?ElC(>M+8Z*GC6`PK)n26dFcC1cwA{<1mz`c3VF*if_;FuaQaO*;Ksq z28HLo{4Hr_%ZW;#mA)Typc*2yX(N$JF!)>IIV|o#(J!y4s2>=(4;~F5n8ajcFg7P^ z0zvJc1x_4D22^zPMvz{&K?>G~=R4l-d#R_VcPuvqYX7hC^Mfaq;CT6v6p>LJJ`(BO znI7~n`B($wV>R8pq?5-xQZ~i!C_-L7QRvxPS@i|_yuZymR@u!{+@LGlp6^tvE_cx~ z@{C&@kii2z3J3K`rwiUX2GawK&&lpP&G@RN=7ca|32io*PjhDb{a=zSuft)kygs;d(O6RS5k)Mh|+ZUA@PdjPl7GmXA} zp`oo{Mw@{N%+IR#!c7fRGcGd>R=%CMm_tYv$GY}97)#;x>TgkQ{uL@8aJ$_l@b&Hk zS{%fA*|7=V9Ue5J^cNe?VvNjAlhsvfvHblq4A~@XP5?mz=7Zu2Z*>pcHIJ2eLEHvo zhTtj8%YZrM9Q6KJn7%{yw@?c2^Hg*~F}sEQEER6sTcG$_S@rPYpyCkf*fc5s#tS1oC z%ct>FV4$JNSK&qem${2Ggib7H{lkN~mgjg;<+Vl+y|Ux_aB5tjapl|eRNu1QZ^VwW@ZodBk~D4l?{o0uBK~4G>T~y&syqhbv00ebZ9xg=$!Fw~X=a z?v|wbmJ*jl`}?~$_yqU(p=$aFH<#wyXWe9vyDMTuqd;Lv&frue<&17Nq`*%VjWO3! zO5)_O!uEE5JtRQ(%dbhwHD76G8@5d{o`A;>m8X1-exAfr$N=Tro zogD;1-i=>o156O8U`PWO_7fNqh4E4rnC_0HZ(!Vck$2Oe5r0Z@Y&TLVYHkSY>#v%= znADA0#nu!dPS3Av(KIIAnytLoucvOLrs74-jg^tK%m|yLZiq@>+wPhkj~I+JG%dhV zx+jgmjw19cFMI){*+UhjH(zZPSa9g&Im7PRUxz^!J#-^u1{*BT`_r#&QB4Aqd+vL5Z5o>cyyV-fwR6WbW_mc!L20lBtNu4RC3rAmH%{U=#rs1sgs^ zBU6%rN>q&IbBb*qxHj3fLQ?mMag*oE^Q0$wMVPxmyeMv&Gc{e2kap!aXJ>i_!-@B# zJKgW5W`sdce3gjPX)Bi-#w)L6oIXEF8>^Ngvyq(7GL+h*r_lD}_iv>tu{1kPX7RV3 zYez=Lm8W$>oyAW}&X}@u{;n2TXY^O5{adxfWSOCF2r}(U7s3+-KbAfi?~cJ{Gd+`B zc`jyXNcB2TI~eA|AA!$8$K!+=*|oL=Khtp)6-f(?GPtQ^es%qGV;(uvBI$e^OR_|u zFP(8iXTvQvUaaBrfsfzI1PwVp=@|P-{UGA6YHS%HWXaVQHebd~ZD|%xj74QfM_1+L zuCGuKb$VusQTI+ucWv?Qs+GSVMt6`_Oj?wDLhy&lO3R+4(}%RA%bVSnlzA z*d{aZS$w(*~dJ${5M^Ms90H#?#%m{Ro4X7aG$pn2Dqr z?BB>%F_wQ^eS@SLfb*RuhE^`YiyRd`yCS8fiR}lpRtB^GhqU(&%lYr)hQB33NlPgb zMUsXF(U3Gyp@o)cOG-nbl2qD5T8g5GLVF1fQd(NlFj^{95?T^Hug{s^eLv6r-1i^P z@pK&5bzIl)S7&GE_cPw_*LuGQB6d1lfo6V-552mn#1Hk-{>(o}V^D+f2q5lB|4CY} z6eH(lx zJ_vsR#+YbR3}jJ-Q!T@R_U(QT(Pv+{ZT>8+#_G0u7)8mR?rME}z|HW$pbGg0{TEBB z6PosP%L-kq^uY@Q{oBo{CW^KCh4-#w<0eH#KENY%>Np&)T(uf(V^hjT(#5Ic9|#o6lOJ$wT7B)2eL?mH#1E`uf>XIjvGd z*#=axwZSX9$wLjT8njPqh7Fw{}mwBZs&|5E^OW6 z-K9kkCh&e|TfwLPwHQj&N0JBk&|ag;`f&aeaYck#foQUaz!1$rFBpw;e`j~V@~dRLa`Vb9Y~^e6t~TN7x!gqsJFv z8d6Lu?zf=nwNzEd=b#i%{k`<^bH7MVC3QY7Xp6gt^e+z9$GZpn(SAMi^IaS>etv$p z!04TfSjfmY{8eE`Rw^{@nN>gEAeIHV8HDKpadF&WP6Nn_fz!l2B=wQxN#}S)*VAVI z;kGJ4At4nce}p1}Z!qtzu^tmcD`2#Mwl5TJC88RHqVFXH;QkOP_rSLyYu%yd-;D0L z`f)U}s|H;6Y0yxC>b=b41s{M7W+_IW))k2%*&(K-o=fnYA#s;E5)ba#?C=EdoCQiN${VKTTZk;z>gzqZIfsn~=vc-$9xQn7ui$Ffi z=l6qn&v$;Ke{L%->APFKF^*IT-gw*`d*vY@W2);Lg2!AJJgY zgW&1x%_!<>Ihb9!HCGyTDYc zAFlS#t?3-l&xWFn-uGKtN(!k5lKJ-UxbU_ZDdL@kdEGsv_>pj~Vq8#AkU{bgAPz8A@mDeOKw2K^$`c@um<=I-y zymV=;%MIskI-IG$VK#jR#kWq0yQ_-7I_+0%xDgQ%p^>S>ieA8Id9qkWXo875sKDzc z3Gwkb`RNe&L#%jR9^XoIcbLLFi*?h%cKn**(O?G~;eq3={ZcYAt=H}Wo*-X>n{qj3 z5G26HrX#8EmsPyJLga^LB<&wSCGhe;I)>lPB-Ti1xEQH?FW?jog=4t9u8yg#t&Iq- zabCc_eF+uELVW&rmqPuEucgW|9OGWM`<|^=jKhH^i$2*G`g!WUX2es^U+mE6Y(Mjv zl@K_jHN`!NCi+kzNDl9Q9SdrXQpBq@gAY$wTzq>>U96I&N7u=DSRe&htJDhL<)F;YwLkC}68zXUS4e^>nF^yLzo*7U)JpX=DMEIGv ztjG^Myfw%W!KDaak8%LZuVX47p}oPui~4T0!nvk@Cl#BH*~+cOp0m@E)Gd@Kq|CT} zG>-Nu2XB#9o|6^f!b=Hl+_-=Or&y2~b#&Vk@%j6Bg(8YZM4wR;(VAuy7$Ag%F|>p{(;@ZyKv;==oeA3Krk{DiP9A1&53y!UYHidg9If z6^NHyx0oI$eGqUJb8Hj9|7+moX#hXN0+MeUb*S;+} z9f8B37cd26UU#d0qzDtR34O9(e7ugl;lJNcg(l^|z{NwLK~j-K)vOIpd3#+;sDhE- z)0+f)0sE_BiJD)nzM7HIMkpQX2XU7W2R%&N1PH;ySVo$DPBo&nhw+`}AV6ZCp5Oct zueuOtgA`ysst3_vuvH{$#Y_DI;VtX8&|bZIm#UjgtPyVIcOdx2zjgEDP00@0&cD;@ z^3b=)EIv(QJ8>%1UAss7+XXCow_Z(+)$tIA@_spml#u^^qIx9*1vd41I{!-B3KWu% z>QfYK0Neg=ub5y0_vsoyCf7z7>(C6M&s zmw#_)SEyWaBjPY93RmVHMAtk%^Th|e=WQ4>K%rhn_H5N-EL#|}qz|XjPA2`8>R(G! zQeI$pGQ+~;0fA0Zdp#}A1_wO=|(%_VA??VRNLbNAgJ{lIkj94)4oY0QWcc3SmIKT zeaY$KYL@?R^j~SDR4Sepj2adewy)vz{DHnOQ*bdoDkt3Q3`$B$`Jf0PDv{cChW1CP zRvtm17j+BJvCxh(l;bEnAi~7q>?;2AcIGLN@#JQQG_``&Y<^dnSswgs5$LA*2q)U% zuYXZklz;f3*!UO>BuS^EU$6kH9>t+mAnQ-7*8UcpSSXXx2BG`8DlSuypHC<+w4$Jh z`<-`qKQyg_-G;b2aM|wNyO*L6!;(UxZIFkubGm1N#ZGb@;;ZDkqK8}Nfvq~6InDzb z8Sii+O2spyns0SE^A;5x4=-;pAQZCtz>K4RV1~gu3=gXUP7~^uwlE3qBQTsnp7k=2 zh&f271h~NsWD_x43y_z@cqcX03_h99EvZaM83_HgMI-co!ypK%$eEUS962+4GU4sx zgAF$-@-*YvT&H$ky`6G}>n5elYW$gxzH3fFhv-ZfIYrSv#Fu($8ZB_RldUu3& z?mF40Vp(f(t9q~B?nq{7X}ju&AIygJIS!24o2_%vPha)Nli&Q3|B5!^#lG-eL zVW*#fGH1-*h>Je0*PiSRDUPUbJt5q}fmiU4zr5AbZB4eA9%FcnT>10bO-KG*`~8IV z_ZIC3E{9G?uR0vwHRH8dZMVDUYE#okfuH5ivR?SaVy?30{;cAW(YGta?p{oH^*D0z zXb@6Z?~iOgu?k(9hErk3Zavw$2ZhpQMuvvT=uwE`lmu0NYsxprfv{~G7YWS+puhq% z@Z{Tla7fBHyk7|$raBzn%`jwO*(^XycDblX_U}~L+%srJvG#nxY9bJ6i%r97i=CnD zAA!3sPLMCtc9qEL_N#t(*7*->U1!tyACT#&4|`8(H>uaquEK zYp#Z&HPu%qZY5ECroG1`7>lyxZYh=S6 z)Q9SmxW2H>wUMPpa-3e`ESC6spVhx-4-Qp*>i(D`sF^!eDn&PZI!)T~=g<<$ zaZ~#e@d25+@*jPFv-Sp+ZLpV*wWpJI*&H^YN&hZ)qUZD1<=3UQnprz61ifhbp)>dn zw+&uFfN#mcgU<`xl?v<)Iv%CyGES7#Y)Fi`&GA(JjJI)Eg5v{2j>g6t&l1ZDIUgm; z8yBt}ol`pU%2FyOxd2PbXj5nLtu9EiDxl~`BE~MXQg{9!77}0$tcj9lXBJwF+lkW= zEz7W6rxpBq`jbcQ>o1}1?DHB&T=;^~(NU7yPO?FXQ5L5i;Bt5hHv^mSM{dmcNGAtQ zN&@LDV-HyOE8lkE&23pWSKZydUu|<8X8wHB?q;!;|NYayK0fOeJm);)y8G7j+>!(h zUKb|Db8oIKUKMcv{%w(*VtI79rV$dOZfdSGy=WzF-@S^i?S~vd-QZGKySCg?GlVl5_s*&1YZRJh1YRSA ztpEJ`XU~-R*9{<*@aA!_KgC>Y3yO+fA~s70DIa9#;CM&S@ru&FGj_f&bZ!XK7^O~= zisN*Qt&gn|-ffc~^ab55=^Z+u+GzUyDk&E1g_r{NADaIMqxH9_<=R zKc&#?@*-eo!#yrGw&qm`X8|p|srW-OI2^=?K*J{ODl8{Gv^B1iJB7;GJD>XH_7W2_{(i1DB^l(>s@H?&h&FW^psBd?~O1W0^ zuf3xm0w15}ptO_suR8bp_w{WU-H@UyAb+#?*WBE4ZX48(t0BN6o_QP}G|LJC=uX+& zzlq(yZ{M?fH@$-K&rw@5^UCZUm;C9qcp-xE{#Xu%R0Mw&{6cYRJZ$*tcG3s zcQxM~F6_#78r!NGSh<@9)?2Av)~6$cI5x&_MquA0Dx^N_(bZ)K%yZng&za`pz*L6iCf?3t_c8Wy>zX^zmSXquw(6=P7#mM)hpB%%x0rHmDx1tae=>IrZ0HO3+YbmCISi zk-DwEYgf89sYjl*tueR!I~VBdZ=rN4%(%w*U<~@~w3(5-M%I-p1EIA8hoU@iO*j}4 z0Q#5SaWc>WJe*moV~1|c{?sW)L|l@)k%Su~4_jtrVt*%h!C^Ej05K2qr0@c-0FFaX z%}g~a=7bhPo0VRp#hRP#bUCU> zN%Y|jRCCYd!AK;78*_%aG_pcdXaJEk)G?c$to zV&c)vZKMoMv_R-wp@w;S1^|>^kP8bb^jr(QycTNS@bUG1Gn$1=I@7!BA1EGftwE`2 z)X6AT6?REj#OXraHp)=C($wS$iz4^m6Mc)9Nl4DH3#>U!|DwI(&e2*|U*pTBMsFfQ zwrA#k9ceDr&#b#P-KQXsm38RCng^3Ub`wQ!VjJ!5T*~mcu-H0Qq{d5KgEOjbb>`fh zqk)T^oea}8^S%?o5xDCu(+uxcwzqRj#n&^itx)o0nec7AJvzNwR|goNFu@rgVIv_1 z)*or$G+{6UUH644J`~nkd?|;uoF#9-XF>j4Pe8ekAa-@=db(*tJn}@-5YL=H9C!@?-6v0rY&53==+gOFU3uO0@I#MX{`)%dZBis{6RL~ImNmM-cnr)dPkZ~ zAI#X+nC;bcUk{Qq)=|`WY|6%oo8O%|%VBOw%%_|-?d`w%yMI1Nx;5DTy6@-kO-al3 zHh*rV?$xYFO8z!zIQczU<(%hdR!cXxm5kL1-~)lHXCmZ{{psq&}i zXPW%ZfJNmG4lb>%tzByW_GyxFpYQUW6a`QHL90J?DfM@xGmxDubGmCaj&#|YUwK(S zTid{wkVqw@I+4(kjuH=9QH@^9tu%f$yZxNPj9Fl9;cnAhZnFrl(&af4EPLPito7X! z!-i#h%XO7g@BNb4aI1uh_q+dC9@%i{e`RwUt9XYk{|{{LZhh8;C2dL0A6?S;X&wpf zMuwHv2B$WywjKWZb(u1&zR=XBA&q0!(Z0pSlPWAwB8K1@tiv1-l8XSAU9nVB+ z98SHvWD_TTTfK2Kts{TQh+^*5Gyj8gm3^mPjrgd-?Iusli%Da?Sud30%Om*RdQf{$_M|Z5BT-KJExut#V=3(oTB2q37i>(}N zm&7OXS*DKX0jI0J2D)=U-|kB>L;bqOkUQ(_6J5?Hr{80x8Jse9y~y$N1H%?K^^^B& zzhAL<`F(tLq3x52Pd8JBj1Bi4eDUhI>ihb~ZmrMX@>+8ZUfGylW}5%3Y26G<$zH6j zJ68?py@jm>W_yha2E;^E}V%ruDAChQjG3QTPA4{zjk!E#L z`(t^GYg=Yole=|8%if^Jm!i{FQBY+WLzNZjG5vrlN>I@l(aO;&a_DWXpWF8?{`9P3 z0H0EL9JlG5qU_ALwEj>BTgf(umX5(!6T^;n6^m@&JyBuIzxFqE&21rp6!stj^Jt0x z{BCW29)b4kk$8^+f_h(hV_KYwSEoy6Whqx{9Xw(zZqulK0QB*RiO%i%Cllvp!Yd<% z2TQqB^lOu~2TL6mRPzr05=xa?@LlKLd?j(vyYg}ZPm}89)k`n?e`;3v^z+(0n3UGD_qy7y7L5HZdF@aJX2-xpRELjUX#@K^pqz=^_7L z2-uMP7oS74t%dfzi`{0L?ON|4EL>teU_iIx-JEy-*k-iDjOTx73b*vF3yy~}@Dh}P z+Z?v`qNk-JXXjN^=7+N7t!$VJ7`^wuN z36r1pa8~Yq^O_O%8A28ToTj{qxR*q@)E$0kz=nt=nZqY&P>)(P)x0(+?C;z0@o`ma z>$~~(_V&vlvW(D=LTBFdlTXToEnrw}CZ^4Uf-5}z>}MwKLSP2I^;OP>QIjUh8RhaBuub#61NDPRT85x9vUQj zIX{=RO;{0|SINbJ(Od4DXuPuOj>X!t-AP_=-$c!`kNu{Tul|qhqrNpr9H>45;4PX& zFh^}nUfbKk{QMV)yCbFrP?gTolVyq0iW{aFV^gx-xzt-Y@qbJ z18G(h{3dKRxpv}3r#gL5bbmzd2vS6#bo{UPlp;(uZXaNQeqa-?i_F9PQaQNITQiRu zf6W1WR&qm7T$}}ydKOT(P<@R3{23Ka0^%Nj8yHB<2^+CMW*s;^pOTW21Ckq%tBYs2 z3n1c}ot}Zuda)nHkCm&`m^%z8Wm# zLh7MG4m|`*vK__wP8dcpj>H%Mn)3)Fl>5H$-e9MCx!yKHfeXb!2$UX}`X*|a%fKO| zMNwe@eTh#8A9Xp_UjRCvRh#EOUJ>TkXA-`whrAz5$^we~2!s)}hpN!!KE4S{<(@rz z3ha@Vn3kcZ4Pr+Hntb>qFm3|U9LmP#)9xZ0X8hK?d!u;BS3quOwD&5Y$PVm@8J$0c zC?bX{F$M?Xr8YGFK(f);oRGFX0kKIUCFPCC;Ln`LCRq*O98Y{JDFg%^Yl0$a z-x`iN0_rh3%dlJk=o<*eNkMY|~Ux2v7o#Ga~~?yTg|vU)#SGv}{%?;lB` z@sI?yOeWueqq~gIC#0{DsZPf+ePf|ffE13Zk2%O2Ub}PW8X^@yChZm^P7@v&W};t( z*DqX1lLRqy3OXGB<@_Xrybr%u6^BO`-uRbk$Qsyy;e&d%fF}x0m`iX7qUF@a6cY>o zdBx0z(1?iTsyb7}Hi`-gM8}G$ItCJwOMWr`hWrNdY%+Kv|D+x(gC!;ktu|K1FJ$mW zv`{ae)OO5TL}-E^@}Bk`v__u#9p_F7cNDp)UoO#3_q5OK6z8qinY+HmTE1QXbY^ex zvR9vLQV~Ij#K=JWZO3tMoFfC)oZ+V-Ia3H3HNE9vMSFZHedY+JxXYq^8uB}O!w>mH zZi^^zM+DXqPYg1Ks_W}jf!2{Jb0iQo8_>AgJh`sFcac$S?hAA0^o^jM!9avGFopiR zNntn`?>nbQ`y~P`@%#R{Rni#Pu6(P%ciBG9nW$5s;P8bkdwOOj1vdvV=@}|4+9&?g z=z$vdU4sX-OrpT*4n#0}BO;rQBB&E0z0y`IxsMCOQ+X?w%LbZ{Y=nssqfuIpwe()+ z^jAh=3$5-K7|ovu9#02#mB=q5BNZT?DQ2&OJc3LGgnduH6Ild42%GA`(nX+H6*IRt zT~;xtn$9=b`46b22h8JTAj!CeGA&3I0BI=rBC=_)0aqaeZqb!DABjlQB7muUmtx$n z{rAXN8Iwnjbd)xxWB@#-hfNCm2w%`yDL_xOK$(@e#m)@3z52&eMXp)0MXS-uc7z!M zdyuX;FpI;#V%n0=S`suljoFWM6xJCDfFw{3Tyx+|$1dr7T&Q)$1kuB+sGR&TEfLSt z7b_-B>@4h$IFc9PpTB_GOA?B66~FlM61})BcsVp_al)`YUB;npf&B<-{vn&-JT?5BwSN5K<}f4? zP!v+~M1F&53`80fwF_M4p>PC7E}>XgtgxD<-fS7tEI{g4U`ikWDG2+wcK<*dO&|zV zA+h2|Px>vMXFjzWAzj=xstU)|Yl@8UdG_kn{sDtYsr8EtS=5=xHFGl%*Rt)=d(c^m zxc;{*2xD*?UNoGl=*DCI;L^lnJONfaQw~#`C~t6hygPSo1x*hj2Ss5N2vHFtvY&Uo z5bfEwaL{d$F3*s`9EM~SM!ZwvjmC9JQL_-gZFd=DrqU9}$C0W?Q8@KJE==%M78-AU z0hpm`|h$_3O#{jMFYTb&~)7?5Vx?fpd&GtDj3Az z@@9wI$VvufZTX6ak}C^7;ZKXjdIMj+=fsH)mPr)hj>r`Dr0ymx1rZ7 zt{q&>XC!j94oj*Rb!Y`fd}5zm!cHZ;CMK}1!}u_4I6M+ZjO1J|Bm^xLWw_7w-htIA zG`?Ry8e8X}#ip-M87MeO< zF;boTQX%!j)ScuvQS;tl)w>o~H|#^>9faDFgcxqMYs0;-ZM`uD|LX-{Rfsq1A-Bg@ z+DbMCfNTQ{?{*K3+6mF$M;2i`o#kqsCGS0Z!ND znCDknB(=|(2kw2`^hnFYm^Yr2b$Bi$r62Kx-g$X>P7Bb^p{w29J1d_W*Stqn z>HH6pV_J>?4&2D8hUVQ*YX+QYiLv<1;Q>84vSoe;rcn?>q-zV4%vG9E*wfP!eccJd z%wqvAph)FQeAy_{!eLeIMWv2-5?NsG^wQF%d|Kp^){oBllshhUvarzhwGbS`q^-qO z`U07eV~CC=Oe-m=e*W}@5eARr61qYQw1|{9CjFYD$gE-ppi91%mP62hu8*RKRttp- zY3yYSbPS9DH>so+x^u z00RL4r1QYA9B%Zuc{L7O%py{IfQ<(u_`sEnf=f@@v~nV$Ze&0m%9*>aiTLmPt^aMP zb`!YFz82@_i=;V?UlzKp(rM%sE6Ba-}mQYa1G^+dhEo}jZaRw9i^=W zf!eRA12OrUn>*@8ciJXI`{H{r0OOVt~ufM-+pdd)b3z5=* zsHt$$r$>9B3Ma~S)DOGF<0^0hgDXz|rvMU=;)OJE@##=HE;TlUByVywh5`p;+7^Ok zCv~L(N=ry`mp~K>GtY5kyryX<)BjI(5tKr7)$USsJ-~_8U{??25g~UY+Y0)uNYSSw zvm47UB;W{vnw1rOM~jVtk@QSV5_D1l2wTJ?qs{x)Uk z6)qr^01s9Asf#~f$)b})S$7$%aFx5y+Hxp1AOs`&*rz2W%lPiA3&pE{PCVPCjP@u8 z0Y+qc6wdc6vAj+$E-DzV*MzJ!f&;^MyhSZ=zSi7D&-~iOkXKIS4Kif5c+Em8aj1@S z-HL0rgJ}y%R`e1Mq2ow>yu0)gZMmlH#n2@_>elYdONGK!J%lvpeYy<6jEBr!%6 zUghKeWip&*&S77&V)?)S8yLI=Qb;s+@QSmdi3L~ptBr?fy9M;DuJ%iRE$uz z=X?3g_pp)k`tuZe4rUqA!stnVT&MLA(-TP?ru(){FenT2)eKf7@AHLeK+I$+r^LiFo3RQ%GQ=kX;) zT{<>AVGaO-*3p*3sD~%F8>t$>XGYOTICnig51JAA8PHZPLN^9c@~L{(G^*uwi_@uh zW;Ybi@tRHTj=Xw}UVe{<{{3FxZ6$A$Ki+D9_*vHVnotZocf`w2;=Pp_PtLJ^+njcrs$rFAKTOM=K9{n5xbnVL|ghe%xrC#j+~azcW7o< z);+rHw^U}8=U#oS|F_XsB-cfvVIsX%4y;d$%(^wt- zW#5*l&hqEQ3a3Q2daHbJ$j)|YHa;pK753uMdIkqM@1Jv~>Kzp}dqWTUtfg2QSjIAq z=w8WhQ~x&g_}R10uGVDTO$DeDsa>d89cRXEF;4Q@_LNyv`=oWm4M$?CiE_P4Ve5*f zke7{;Q@2llSLjc#{X6}6`}^$|mdPGCR?#cQI5zRE`+3c)8daTyt_rmqMFU;h| zpT8}1R{v{GzTb<7mJ@A9P2N6c`ZMTxxmGOUGp|UDW6{B+mxb{mp{7OaBlqllUYAjP zk(r*da%b;nn_3s~DB{KNZ|y>33V&UbCjP9_-?D4WhdlDwev62==Ul5cc%fR=_cs1| zN9jp!uD=s}o_2?}d0nZDrYcOZ9VD(G_+cBGb!_RQqOcEbIeGCUls43HK)O{5_Q_E2 zT3}T1G{TmN+Z3nFGcXV&e;6a42%m&@wYk-dSJnL_Zz`N+@q{dFpv)HIM$e%6&cq|;OHJT=rRDKKSj_HQ{TZVrf^}#ViOh$+2o}`g3U=NY%qR;SV_3!Qk2$z zhCCGR(RM{mWbu>1;g~#1BKuH3_To9c#K9wZcGQGJ{r*M9xsHgy?DjmJ7_nnqbMMCZ zL=I0>)irTXkNU=+e(USXkB!r6l>v!S zfYjkM7KTEBNlGZ)uvrn^lx{!##x=ukpg#?BVrVyI+FIbS&)nhT;zqjeirbCt*%>XI*0~Qq zJ$v7_#7gesBBqT8V}ATd+vA?Dsah2in*e&Tzb~+8rhxIvoA{=)=g!7_^jW)WQawUw zU_UEqYXD`_QKa3Wt(vGhgg8PJjA-V{Yxl%Bj~zQk4q6~4YFOu~L3W~|q9lSEG9pH} z-YM^HuivlyB8QHRYrg3<8Z{jid1uw#!BX;b@sgY+iy|JZcM|zThq%VpHPZ0M-8*(j z5Vajw_-OXz{fx8@jxV9w;Mrj_zMFHNuy0Tf3%4f^?DDWaQNSdI%sZl zAl1JLQCnR`76?5Bj3V~nm%hqc^@4VRALsAXPCocloHgg+Je8wtA!2WSvrNC!ZE8T3 zUiEG)PuAme1y=DI>iA@5tUetNVLO(_qIpwsaL<_xDeCA2M)OM9GR@zAh7MJZZ{P@9 zZ6;~sZK|ofEB!|EONcLx3r~?)W;wT!K-4Aia(6s=P;?<-i`XQH4G=?$Nehfp={DrD z*#)l@zdyTv;?e49cG=|IQhQWBiflFDb}28?N3lTA-v*`p3Px zt#snjiTBByM5Yg`p6k#YF?}L^B=OE8RSSQE6vgf57qOk?-}}y*iz}`D-t{Gd0x8jZ zxb*{a6Aa5s+l&`wX{!2v@3QgjF)d}@HkZqnJXJyUuMvOea)MiHrkA5ybjSKwEel{w zls8EVLKAudXw=E}%#1^$>lgd%Q$NDHwHOY^Nb#}%8v=BH^J01oe4XHJL}yJ$p;fAY z85Q9pzTjZOxYvcGK+hm-QsTaX^e_enZ2`?>_GSAct&DcY3*Wy@3Rc%wyO-Wh+S8YJ zfWM-uYf<{XAqnAzD>i8#4lexJ*Ty#zzxANi&AI7j$4L>Jl)yk?#o3)HEPw9gHm1J$ zeWk>SFST@-J+jx*T7>nl40}yb4R77Z@1I*7lFGvPWgC6sme28v2e!C}-6_pDR%TkO z$)Jpc0qDrp9UZd|PiT5NFR|QkVrcaGZb(x=xHO|*u)TTxx^bp60oPD9IDb9s;!=S> zuNj&<`otnP`-%1eK=9=s-i_OJ=sz3^Yvj^;o|~?ezCLURho%dYi?Gx&31#z7)eHSy zC#K(T7`ZXI43VyPF1+em6=?l!nT(mfYO3*2lpQ(x&8vpXG++8(=xt5QQYL>0T6T$m z3%*RsM<~k+wsYg}BATprF(Mh^)UlFP7e!wsNXm=$^V}^_S~cu@xcvF^_t9p0nU2WL0wOC2XBal?Qb`Rdor(1wap)XM;BxF z%Y5o>;v=USUh~`L$8D{abU%L68lEze?^qZd9lcT{dGA46QM$}*#({GRSS zSg}PP=`l9$3)(>CkG$txpfnD?mESAkf(!kIf3vxmi+Rt@T{hU_Yxktt@nLtxEmuvBzly_*H(&ZZas3`% z>y~YmL@NH|+T{_x=M@ z*E?%FyAVJR$+*CX1p+`Cfi5_KM{n8Xr}nz-=A8DItEXQ-;p46oyEAwAborNp>#6ok zn>EM(y2;JTEXcCCvhsOaG{H4^cOicw?oFf`3|-fWj4@V7&xYH zvK4tJQ6bh4SRrq(s+%b^O`9@|b`NV2J z`8MXVnXPRQgk0oMAp^zOI5?s{WpP)&n%QC3J77!~CNFb2RKRe%-Ozuk6Dv&dIP`I|< zFXh6~<7l^CGFI&XP{^UCmm3Y`!Vz>@Eq|b$NZ{0X}-Xh?Lr2;MHv2@K@iGzm{_fL&BbDZ;>yqf<30iUfSBN6x79nv94xOK(m zc>DP2H%Tv_-4<1MFvxsaoqlIY30LT{W1bt45UJlCGH-d$>JGVZFI>&n;jdh~*uIuy z?{)UEAkf=#t@9jx!GPFE-L2Ux3+3832z(ssC=&C!S;n((iD9=L=h6+<5x>}C+hSQ` zG%TwR9od*>^h9c?KwF7NaK*vLXSV2cT{9W#X};Y)9J|6YtiDe@NjyN|=!83qo%|}# z@mCu^Z@(24lp?~*$rHafJm}3i1sK!oS2rG2cW>i08nT|L-K(jhZe*1C2Lscs(k<@j zw~)X`&crDX$$bMQ(=(;wuA1zw7vs#WBs9L-P^p6ZT#Rt zpBhSU6<4Ba4PBPbl_OWAI4duSvS}kibl2*|0wO9s_q>I5@9MtIO&-~AXvMkogMGr? zeNjLE>Uf+u@j9k+a%QIHW&e#&JBnQrIGjHjf+j^js@AX?*B0ihzglS~E)?h9-`~%< zgY}4boCP=oih_RwxiZxz$?=sTQR+P%U4nr-TvpibOV_p(?&%+5E_>^B;zJ4FOvIYS zjUuM8H0MuR>)W%Z!ypvs@I02zncv}zxe?R?gg5UX}M&2Qxiti6W#*AZ$Wd?o{YnoKf!}J)BLxZ zPXuRqzvovF+seN*N>kC){mTaUt5_vUrv+f)Tmp_03QTJu{B5M(H!1bxp|X!Z^I19- za`;ISUsI+{<(EM_5juNg^R}RiuMS7-y;(jfmNWgntB;Ad*g>sNKaXcf>u=qNYf!b+ zQ%^-n>!H1&@p3IK$@<$@3>!Q3A`~X_#tmj5$FO7yBH9odVInvuHUm+UM@_DT`2RQ!q48w3u)f`ZVfeQ4>W0knrsAR-ZikaUw}U2HMPlK_~gyp+@R1u$!a zK)Z-xBcXsgoZr9PyV(c(sMK^ZKA7(~iWX4BeGO7BF*6e*O9;3sZu(SsKoCW5N6~41 zhwf7Qv7d1Zjm0OXhaO}RIsNMGjuevro&#%3))#>-FbpMT3Xnt0vQt3eAjU_-gCbp7 zwUDeA!~A$Pk!;$dStKw7084+O@PhCH&cJhD3)*{ndvyjsVch64>J}s!m@Fm;nBz=w zG(;JFuoJ366~czk67p90k(uF!s*UCr=7yk?wNWeg-?pc1jq;X4^2 z=!7eB<+g_-nv;CMVF6kKFWS_+vKBC+1*j4tZ6|_2t?Sz|>Kl(99^ulY!9?njvc?Z{ zP9JV@G<;}t^TOfBH!oTR4_PpjE5H0f2y5GI2GrQZM9kxAuGn1|l1Ei1 z-e_g7PcZpQ`n0|f35`RaaMOH#^B}I$T7ib{q+FF&D>AUtHj$_YY~zXDLpd9-1c7JO z^b<4hS$B=jB%Q|^Ougg!t;?q_5M~OdU84_kVvkQA9waE<-0$u=4gGCcOeG#u$ZiU) zX2As1?ukJy_AS-74AMgeWto{*9RTmbFfVOy5&C~RiUjxN zDb8i@)Zs*8XZVq07gk{UrcYj;G|>tHwk1QCz%GGGye4hKV%>1V)-e<<;bpuv?3L7h zZtCuV#HEakqzWZ-j6jK9f>MKwXOGc4Y2Mh7g z5@trYkxWw4N>bnfa$AXy=gwEia-LypA#-!N4rgR^G{fcHba2(ZuhA95w46^ZV6^~0 z?*@_Q^n22tHk3V_4`6+nzB&ZsJ>{3km@2#}j62xkI;8L7KhLIET`A%W+7xc5h3P-3 znIGZDBtnxN?0w`&Y zw_!mF3<*)eVzgBJi{Os}F@zw&2G>>Uz0AaIBrw0+MFcZl49^>moSp!aPXaZtf3^a1Qiu~=r_>-(MD7V)H*BvWV`kVVo}Y>CC3(9shDJR2NCx)eV3sZo0dF6-gC9o=Y04zQ}=Z z-DMF#la(L5>4PN%O>j=U!2G_??YXA;af{`jx}^mTsXIY%V~5~yKb?byhH!XaJU8>AVQ*V;s|^+b9u2-#!YL6_NC8n%W*o`?#c#yy-q%)! z(n!_ZT)_K%n+5J|v&4Vka=ZS|;f986m5^AVCf0o1hq9dx&8anWatba&~qmKLCS}>^>SbrfR7m^=w*J#1s#8tZLQi9!Tw{ z0o91I`x-{oK^aL$VfL*_pBz{}dI}vt#d=8^U&3~XVZkD1^xz#&&*!Nnb>n!$wF(lK z+(?#|mYl{rVaX!GI5Yotu4Kk5 z@?Or+sv#EWjq$dvTUSUt9rKZClgj$fzkUXc1hwnHfpGFG^D6O-*ilqHBQw+REN)}- zl1mwegXItksjxD2hxi!s@DUmRXK&5gXLG%j_ax zBFd*;>~?aAFWm1g5q7z(C9eThQg$pJQX? zuxOJ~4W-$&9rMdmpl*{Li#`}O@Rk+T&C#KqQJQO~R4@DclSo2rxN@XYV`3!S%4B>W zp(fle=ito3__dc9tS_$rI5ZRtXxajJdMvXq z?fa|m13Td~R!6iZcwy9V5UFeg8&uC4@5QzMAJ5d+RVIk1yY`LV($@Ku4zWdY&JR zoann&S6eqyGXSzk5`ila44K+oxxbdvlbfuGxv7hDj1)07V?EmxZlC`xqMNeTVOa1< zM@M1zP5hXJiu-&41#HazN5@i&VDV;m+XADfW6znkpB-II_27|{*@ok>r(4t5fCw(8 z0A2 z7`ud`%usK2FZ&V1C7GSpVZvYj^K*C^E3<7O^<^4y%@9m&4Bfk013; zod@lyFgN?N>0|-Ykd?IfOq0nyjpG>BK&1cSE)~;B1SCmE0sXLkTuysRfe))m;>2Ql z*ieo8U1!Zv* zd%JB%cJhIvF4Du@J5fmyZBZC|dt{BXO6v(3p`d?9_1pC*=}6{;rpd;vQ(Z514&wT3 z0m88Bi|MH@=6#6E{_lGM6I=S67&o?BedbGVFCB%n2OV-UiS6HgQpDPy^zg ze~vU2oHCE&Q|6i8+=p1Id`S5sDf|H998s8*SdkP_e7~TW*s^)Ey^O`3gV$UOI}p-r z2Eh`MXux8Tb8*fqboCD1w-+%P7l*Yungo(cly4-4Is(I9wKI&iy8P4dS*?8#`YKe2 zIKCiPGD9s!g0+!M8VsFEGXA7_9Gz4qAie(1{ydnbF9Hf189fH4_9o-#r>19rHWE=f z(K$nowH*~M!@4QH?U0D4-w+N)MJ=y{>;RX5e|6Jwi!YSO6(aYA(X<>_Y9yLGl7a!% zna3sP^Tn^xh6Q74XS}>tP-k2+=82LM)@$z1Su&F|MVQN-iJAEYI;(8+%B3!t&_TW| zo$#3uSp#$vY%5o$$)3HB5xrn^0$}Xfx9luR_SiZFIDX3^-e=|D@WqAj5$!;AO^q^m z%O*5Rs3lu;lW7-;4p0Aq&w>g4k77EpEhXJX42bFt*%!bv=@FO!X1+P|sJx6_TYbwq z`t0M*@%Qj~p)^fSt-$iZS1vCxSW&kiSo+*mB2T-LPjo#k-cTWOwenv=#r^HulOvpn zoeXoE5bhJplKP^4=it2VAuxClYj^G0wvHdq&Bfxdk@1(ID_R7$IvFi~2IldulvbV3 z>anVf)%=LkM2L*vg~v-XK-b**p!inaWu)aLGJntu8!|U8rvL9(b3$e44Y1S#wMNS| zO*@-5haBFpMaay3PGrfb07~?}3_YQJ8j%z14CPe}vP_woW|Cx}ItCw%eK^}q21CTM z+*7T8>s$;`E0Lp8J!pFIvEIg!fpMajw5ob<(w@%%-;+w-Juu^uDQcmpj8U6cA+$K0 zbc(dYdcOp&=~dfKQ55E|F2@#9M+Z{>Yn=Aussp>B4W*-yIYb69A&@GtsLP!RZImC% z4cIrw+g32pq2e7}ddR%3{|BIWR8agE#@RS%xn?O#)x8(TAD`_#MK99LS`63Z;<*V% zE;xpTcV`^_2yIr&>oTSi^=W7mb9 zQx3c8bu@n~%1!ys`E|Mv+et}ZVK3&3=MEQ?|0^yN&x7|a#VxyCKWkb0U}JgSyW<^? z9>sqgVAYY7(jDk1^^y($rgRzbk)Ysy7QjaeAGDu%?N@l6C$=bJh*9?75zT;;G3*?A zV~t(619v*HZ9HJ|qByVpmagKjdQaE-GL5$p4ea})KoLlX}!8;LU zSJ+v;bEV8_>r3t_heM_xv^!0;?s%{0Ligo+#Fh9P^j1cTMvmU-J^EzPklU$%wu(g+ zZ`$A8kO-R${N_)tmCc0T0TA^*%h5mwYrep>?7~?@VC` zC1YEoeP@G;(}d{NNeAVxUo?9RHY2x)L&vc4M%ktK+eBtzbo|(lkDTk34m|4=ai3_r}GijM`_Fjf#)Tv-A}#NseW?Z6fa>x9EdhiRtIk=xAoun~y?2bHshGm@>{D zy~xz`>=Ky2D4b6!tXC{i&*f^I%6sw@AB}!k&9Ty-g;4kX`dx7n@H;NyE1N?#}TX1_Dwn0JLh1HJ7fB4L`t=eKz}bXY7qD!4h{pElPXR zbU7I4)~s1*T&t%yaL#HvAn?gt2fYrPq8e*Y¥M7dQXa7rnOde~DlhW#!~SekI3B z7|jP85<|-V&S+|gYC>$Tw-__!h@z2$V*vujP?M9Gj&m3~(Tvm~OBe<}Xk*jEsw!umds??xgY%t$_l(xorI z&Ar9LPXxI&|Ar8h1=EAxdTbZGyoXJv*KCQ6Q+FWXOxJN+qd;A=YB zv9{H=o7XKoT>H))f!XUZkMe)l{9qXp-O%u-WYy7);gXe_!f_1Otm{*AmVX%-xD1u^ z-Xc`g0y}q>cDSQ1ClOB&|2ILZP6oK3<@E)4f*!#S-_?iQzGrwMIk*i4_t^i@x@v+V zt+3;6&(kkwB!C+uT`=bJqu2xDM-ah;s0xfBUxIMWoD-r|J#F`;-y6BcuCXzdGfZ(e ziqZX)6ZU{nA?eFPiq%r;+@j^p`^48RW*s?WyeF{QGurTRS(5v?;@j;_qZ9?l+B%Dw z;q`G)pfy}-A9=lK*=V@3?-R|4sju?Z&rZ~C>=sGtcrxd4=F3|R8;=+f)9LSVo!gye z1spzvMit(a_xMoHrmNO+YdG&j(}dxd?_WRO)6{S5tmDXfIJ>mqUA}Pkg`W3QY-f9y z>V8wYQm7PMY<9zYGpnAcnzf>{fAndV?pyNl9WGCJa9X0 zLRo&|%N5b8t}HGF55~az?rO__8sy@0{ZuRPBKm>yLlf={*Azf z=KHQHiTzir*%j^|@!d1=yxk(M^KE&S&ISC#TK-knb0d~wUqK}guT?aA-7IlvcuscO zK$Aic;lV};uau(MVZ&HU4=0iLa&bl(ZJYsH6CmjpL) zLCUX&429VR{^<6t8B)mPtzOdfg9G&h=LhqQ<6bv_$M5?njnUP|PVfLmAV?^Qvq8zH zm(s7>?H+6LDfb4F5J{{X)P2V>zEHO4`AhCUGs9WLDM{i0alFLTZM6w~b+$*iQPxyIN`*-=1MGZ9jydS8aS7K*G(j4_?Y~vw$)f@qWplcx%jQNXo=&; z3jBF)3#Qx~=s&@F@tdTS^!Twn`MIg(;;YL-CAQV8gvkwj%nKCp|NJp-%R0+T4TTGD zmIghZm_E&D7=b%`?WwLfxpzL@NmL{6>{HK#O+w>z&Sjg2f3G>(vcrV=d(X3|(Wb2@ zKhJsAzKcsrVu63qu3V$oXLPwJGn$Y1f%3xDW_#7vl;-PJAo z5Gbn7saEghy7PeQ-~nrNl3j*laxGV|Tb1AUFl2UQX$?!+Aq(2+>4NQ)C) zxgy?JUETjoSz3(vk8gF=)yJJ}MUdWe4w6JV3NrFtczz+G7w7(7An-eCFSK}D-+u^u z60HVz?*a2)`7le8=nyis0TOPr{7-MD>NH@Ma`?a4d-G^4+rNGEHkDFB$tpIW#^Ep1pkYw;nZ1ea|-#AQhjSS@&zRPLI89jO-#XRnCAoS9&wG@RP zUwM1k?sYehw^CQ6s>4@d*;9k#C*4n;i69q}eXwj!yNg%bDe9j|E7)bmM~ z&oNBg9c;md$4saw)7ItdcaMw5ee39KPte+wZT?Q~xt#U-_k-MLJ}!0GH##=|L6}`< z_Eo*oyTW-5+6z}ju1NM*&E>qC(fm5~MX!d=yidK!o`ap;GGeW&;GSsdcqlikPpeE4%xRbrufazy!?|S#F|Ah9uC>`7J@C45zL0i0&h>t& zQ(IpBw+JVg=-sQhXA^t}{3$Ewp0SBnJl4+!R^((o>ls{GS9c9w?-utLRm22uKQI*B zd3c?on~o%DeD7AOA2DPAq$S@tL0fZ}~sp zoBUXrPfHu^g#yamMzldisOWh+Q|{b3fe14R{3iF}8Qsm9j*iZ+YieGYndtA61oU!8 zqEddp)nc@1d_-P4fQ3zRQ<#p}L6|~$3BX*fBdw#ZjuC|k&~Yh9-caNkrv60v8&UII zNY1nQM9g55!|ASS`8{C|J6>Gkq7YUnmXO9)EjzG;kYkP0z;D#%`FUBJ9y^SLHajG+(bLiL>*M^$h|-6X`j};21@1mZ`&R|&r(g! zin^(7U~--F_N3W>fLypyz}fIRk2Jw)n^Qw0KAbi_`@ZxV+?{{tpM1QDGi7#)`a+>dOgxM!6ap0`3>_f{EGF3i%82)oe~3HWl>trxR(LVRE@MY69Gw+t5bJ+-1PIA<1+s5fFDyt0q;J@4gs z8-;K-ftL?YF|_2nQcLDCS$#V>)J+q4cPd5FZTXX&9p+s36 zJf#x#)X)lZOD3550R=e;N!g~dkl0tJUrvOK%<26xqAI;i{an zoCUTgyZ*XZ>W`Q)27!g476MDG3`AQFWcvCpy)fKzxj)XGkr-9rJrQq3#A*vOyw9^a zL4pXA12EXfr-Qgo?D_4@QA-S+7lI_#3OQ@fqs-&gBw(1BuS-f2v@2@4t|w|eToE9=xxZ@s zaKuS$B`6n7O0Lim&taFQ8xi#>4^V_UcUsa!*=s#AmlupJ9YKT@HaHrw0#6J!q_n1!Jjwn}cbn(X<=)shQ_(MK9 zQOroeZ=f9Wzm= zX=e~KK$sE;rZYw7r|kD9f+I+oVx`_ttEYckRqUlnkTA+*GC!Dt)dr&E$UF!zx&qKTwTs+P!hr>H3gTnZi@iT9 z0dO2_&+RUwCy!n|{2RJ8lfcjhyyydJzMA})_G6I*0PpI8)VKmi7@2JleE~GRBn^V( z$l&2CL540SI=IhQv>qygc8wHGJCr*_Gm6V_S@#j$jgJrVp|kzn+%_B9lr%@YR{H&z zJPuZ83KUgjy;&ue1GI?%0+_}9=7xc5Zz;}6E)Jp?K>o7Htf=HlGQeb$=;osk+tMVl z@JHJl%3%?B=}YwK-^qHgQ6Pb47~Egym0gYk-mD1a@;$T+2;E>+~pP(a;n%-K96TtOwyj(Djr`M=1VV`vC<{QwcUX_=Z$DI0e zS2eei(Ij4l_-7Eh9uk2FtCZX%GT*E`-=zIeo8;r7lV||N5_jknI6&kCkpAlvuf=lX z&Pn#U^76Oidzq9pa~zo{H*VcR?g>5K&ITD7Zb&WPwu;hIi*pA1B<>8sGic;ru*!Fk zMuwhxC39^>|7cKdv?QH|6M1bxQ#NvdP&J?H3s8?#HsE@NM6IWRUSAxEYA6zq9i%F-hzO zh$h%`yV24%D#`(6ssILW3!i;rLnOaA13o2jgMLdavcYfzs_1iX!-xLgOD5|AH6?o4 zZIM<^1G%V6u{F@3lh7k<1f{r6gwjQhB7)6g9(K3stR1wE#8L<+r8mi`m>Tx4mz%3? z|CbCRkgqv=a;kUy3=~LFGOl8ai*q*Ei+W(EtCw%P9>20G#J$GlY_c42xPHr1yg zIE3oP{|^(xFNL-?&PdK>R6$kXHF&OQtInKQG|R$?j0XEb4x@#Ff>*&m54y<)(?0X& z-YobyVO$={+pi%2tCzP$?#^4ILDs^G_?zuP69wkcg>SbVKY>(&$zH_GDg+Sk6Ud&K z|C82YM#=rNaG^igvMG#skHfV}I{t4OyLu^j3@F!XXaAVtn<@Y2((7H!{lnf$m5QR* zHO8lWY9I_8#UGg`6fZoYAl6DR{u!F4aA)e-!)$La>7X$UgvZPK)_$Zc;D|PD%Q-{5 zTzvj2i5ppHGiUZ`ua7Qr#s2Xb_^1-p&;(Eb@TIxN$r_yn{G)zbu|fDhB&7f6qbN34 z3=2nMTubym$rZ%401f;RB&SeblIH?V7nu-JGGKKC4ow#nf|AZDzn@-hRc;XQuv@~n zT%4qF*BjibIq=ff{y&TE8Y=&|>cdk~85P}O4vcj@C z{@g<(hD0);cO->1)+06}03LJ{va^zfA-z9sjkx}*yE^6jAE_=8*Jpa# z>Xkx8Ye=6fa-((bRe7?A8KWHCV8CrF%kWhRI-B-BQoWL*N_RJWswQUWW#@x?v&Ji! zLobURZM6MXxwXB>mepC*sLcCZ-d)W{$qVP>zk7$q*KT*~2oTu3fi;@#UZ~TMSeEti zy;DV8Ob&4|3?X$3UGk@LJAdA;U6G_{ec+2vPv!MuhC>!hpjE3aTgljT?)B5zouk8& z?2;nZUtFXuHU}7_@P4{FzNoaNM`Xk14OE;;f;p}BmBTS7hXz(X@Y1zC*SRWJ#8~-} znwk22P6tp15Bx*P9F_x?N;gwd;+LW4xpxW79qM6y7qvp7z7q z1G{JrQ>6uIMW%>pp)kkFgG!Klnqc z&r4TH(9wDO< z=aR1ga1lM&nRZ&zP;;(Gni_-JK4uX5war+~BvZnjHPX9{pmgXgPhf@OH{lggeen_oUWY?v?M&UpQ)fr3RpC76F@ z)zS}q69%`mm9@8p+MQYVeD`&6gX4+Scfo82sW!b%5(gp~XM%NHhQZz_@N3hu09JCi za*A7?OgLDxE--IG7da9zy%5Z8hpg}IGpBPq6}8`DYO23}?)b-N5<(e=n5<6r7;)XM z)x+wI8)kC)!12^Bm5S>DXQOGbSf`mC3v=}TcU{*lIp@tD&-^fb@J1^y(e7Lmhjm(9 z?P#3qfSLc`86DNw3dtwDqb>r|bC>zTN_M*V9kyS#*9$>{E-!V<%d2=iL`ANeuI#Wg zm#pI*{Wc+z)swz{^S7$vg4C;qkQAGVQ}gXCi&EQph+|t=RR+2^V#fqd9*KYkDYJH> zm({Dauq>h(g7h6|U7b&Zqnznm zF39l+DWI4j6G1X|O1zISftelGu-9X!L}XP;)7gtZnvRj|x<4i;{2Mj|PZ{-H-rcw6 zmfgp@L368Hr+<0v9>_QxsaMj;B`M-0#Ky${k1H+mM2lC^3ymyW$Fc$1!Q8{EEWT6-BEH8k`dufz^@vhjW3W1IP4TF zv|=%v!jA>)$3XFdRX64su4HZvSH)gMI&%ar`rI)ri)nr?m8eT+8BXV1IecoUjY-lv zcs;%D+#XuIC8ifN2TJM+1zDV}y$1IRQ4}tw7Ct_mcX^acmi5Z{vLO~j?y|Ji&yMSx z=h~h(n19Q^e~2YKf{#62vyz2WBc-M7%hCs%)6R8URGMC{Tz&1|Z4iuVcbMG!;gyjv%^P41Ev!3fk_6Wv(P-0=w%5 zkd}FQdC3?G^tWpmdzQ2obO~9pUeo>YNm0&&iTk23&q{n4Tj2YHr7o7)Vm~5OWHVL= zL@}gD^f9y?OH0TzQVQc)=Y6&4(^spBL2=FtydDB+YT6ATKXnx@zMBIR?-He;M|9~* zPO~R(1!?h72;tQi8UwbrWQjd{xPYViK$`_=M<4-lKp@jxns%{m!2*`2yKXKy8`qW_&5I7;wdEui41snbWRo zM_tz@N-j+lSbe+pV`FW4q98}=Rr;1=-{_)?@>)$HTd&3*_h;C+n0GCU?`~VAbJv*F z2|t6CH-B|pNs8s7qF~PfcW7x!o~h0eSig36=xXLQrNrt^lq^kd1x(q;#$?xpOU7ap8(B5U)mi7f!$%Uf& zC0h=t;BX`|g;tojodU2Sy#dKYhi@stx9mpRrO_JFR2~{3cN*4PD&NP~m9wl_lN6>W zcOLt<3tA}xk+`_`3+NJ4BS2B3pa}B;`K_0o=B|sEKk+1TV-*(b`brtT2`f5^M#NfX ziAt41%A8<_Fq;vbEza+hra|hDG&D4arf5`^UOQMy#qH11{V&r=QI(K?r<3w|=N=3; z$X1FfzfSARwg_p8>D{q3bf(_fYpTkKp7)#Y>!H?T>IQjY-TfwgtC5Zhxjx0q+nWaM z4)WM8qfvQS3viWC0rdq-?Q6`c`pSa~ibZxyORoo}3!2KiR#=^WzlT8&38X^k0GyiM zf*?c+1D{;p+xvh32DTSN^+x^iZ1ZD(*fQP4IZP@vJ8&^b6_5Gsma&OJ!>)G&-lR-o)7G} z0oTCY>_#m}GWu}1-uUAWOJb_fzPtkL5cp~!sqrS{)+V^0K$rDWe_ zji4)>;Y1#F>fE^(Bf|J#!VVqSu@bO?q%O{EM~kGJ+S|zKXTVAuy%=#yGkpC0l0)5e z4@;4aYdyeJEgQH0^%(cfr;Qe;2V`_N$p{@$j!h{%bVH}T>WkL(g=;yhHNHG%vKsE5 zYhRQ9UQ{kxGRfM!w7#smtg31mkwxJ>@qi1uK6?1*ELtFn7aSqK3Qx2<)KgJF1_nLm zd^0A`;7_hd{WY9ju&%MsZsAT$(78&FoK@1}cTjt($MBtPs;tVt9y3|9yN}NOi351N z_a_|H%*zM74~AUF$+GW#FW>AZ`Mb|A>Es<&pmDfnxi&FHNvl*fw)e=Fu7IiUgvYd#icb39q~@9s`EDwooRJ_dO6tP{061Nie?uxPm7-F$k9lu5cIKD zYbz+y%)c;`H0e@VyQ?AfL`I3zHqNr(!2DkeMgwE-gl`UPp4#uxUDcvme5})lu*^`i zEb~meCaJb~LTTk^4|<=Ir&sy$mvVP_#&e%-@^$cDd*6Ni+M5eq%f&>7n_30VzIS!6OA3mY|=&q)GYr0O~;k$pwa{SgxU&Cl8ipMpw9~sa{d@??=zOZbq zdtF0a}&E3An)nS!J4cibB`uU4ATK8V@6|Y&@ z^t$lvmfiw+-NO9W2^O;Xxg#s;MQHf4cl~NSuBa_`KkBV-H5}31R;-gFB#{cB)(wF5 zq;~J7roc;+SQqxd8j)&rt%C&~-K#eG)ZD@F!n@)nCR`hobv&e+tgh`2`z7X%9@TWatG%>! zyHtLDKD*IjCfYN?>JEUqOTh^r18}tu;u7FwXj`yLYej=Y-wiIy)kwC@g};H7>azPa z)z!UKedzrI+v7j{$Vss;bJCRXf%6;b$)!BzrHFkJPzcMX1`q_@BO6z@4;yh1e5mxt z7%@d`=NWtbmY4SDm^e7}t)k(>OH`TnSN#^Trcg7t*z2E(7AkmtX)gC6<6i_ zRe{3TADh^eS4`l11{JF_0hwJ|_m2*@R52qf)#cHuKPX>lYi8dc2qfs*alLJ#xfnZ= zKcOZ6h}o1&BWkJxgd_hp!`uIUM`$R4kaGbc{|C)T8PEPuKqweU_r7x^nW$j>!8`0vtU5{daFL*=9=E?EmMF z5vV&>E!QXF9}l@ozZU7Ntj{O@B1kLB|Ne{^=TXPN z9dEQYYV&6Ny?K8B`4}uz_cM%$wtiA_Sy?83)r-oZdtyVz z!qo0R>ZAD|ZqEjKtJDAW1OFM3arjf-<($a;pD&X5eI(RZFa7)MXeNiD3_u@1QdMAb zOH5>-C>z79Z*Q`e{_f}Y{{LRx=1=yn{dGJj$Tz@cmC}XmZqyG1f*}d7=)WO5W)u|_ ztyyAF_s`V`Qf8vP_bEu_UIQ^(^9v4E!jNPPY6gCwL0}z$1+WLTh%HQ!f;c6rQ|b*l z{to97RZUTS5Gf0V@V1C)Ck6VbZmj!qnB+rjg=rOFa^bb7T}%JklLl?H*~()2Dd>Y+ z0W1?K3Yb!iLMOYnMc%&mAUX9Zqk!@_zqxLs`8yub-ii?-FgSL~+hWgO`)be>p?jjD zEY9|?%P!Mp{&!NytUel_3I9ks5bi0&AGxS+e5wr5&(hMZmh~qZ?EWI0VgX#cM)Mv}^TgtA zZSj9U9X2(!>7LJ@CnIW#MLl^0IsX-p+!jAW9WAtr?wQM2VyC_99P+xPqBXYud-Y2o zss;?agaX;}gSTRsJ^wDBvHjf^&JFOY`tzvia3Tes;)THp#(K|RE@H&ph25Fr1yC|d zB6s|Hc9~Y_|5osz+84zyu`(|tw$wZD*jQJij?DFfWx)o*-)tl^RxNpRNB?dddf>%D zr*>H*-pEBcybw3{)8VHCAL4(@{b!RYBDsv<~q_@;5A&x z78HLq^{+!URq*1EkLG%o9gQbl|3w7PWeW#*|p`4_lXaP3<7 zV0O51zZv)9>gu5fcU9DA`CgUZTh7gu<73!=D&xmP>lbY17AUMPwDFj2I^iQGy+m4H z<*nI+{rBpw);2R=5NYZf{UzHT)W}djx^tSS7 zsM99S*34r!c--ky^SKo2!aNO);#?VZjAPUCUg(CeoNYLMBxVn#$=mR)h55cO!%N(M zJ+nRYarG0Px&1dAY929HdMma{x%X1%&gZXG^Y}%3`Owg9`GcuU*4(?V z9cPHR^~`v_X-IF^RP4U#t?zc)hcyKrv$KCExnf~*|NCz(b#ITP-5l&bRGJ=b@Kr8N zi?PZ3+!5LQYe8WjyXRgB;pW^sDlqhO*~V`(MEq3>rGi$2* zu~0h~u8SvTnXa#7Fb<1;u&6YC;>6HKD$0#8+g0ON-794>8H_~_d#eov%=(D#`NsJ9 z`b90g)b7>DPP`H8#&9Nc?nv5?JBTT(t!0i_7Z7+LG^e{ptVu`yMM#Bw-Q}O5BhLcb zg4S$FPgZdKCN9S4lhBqVdaCEknX8snF=!DpFU?(;L?|oV1IX@#5qUz>S(t`UQAqv` z_CsOrGqbO)GdE2VOlxMeI|a5=+&nzpJw4u-419jG>r*MvDUqYG2&Z$2CEBASs0JWl2-=%P+$#q!;H;$~CUrq{p{Kjfqccjm#e3r6+9KF@uzmYF=`+thB#C|5c=MNDVwm3Y+$pAE?zs1FG}pUM z@Ncn+*>SvGSIMik`Qc05^Vg}z9z<@~yse<}ndH=no6VJ%x_PfGbyQ^xc4RAZeDUV==*?Dfo;gwLbLXH&l~*C#2dczIhjH5jVR9uYojJ_&cO=Sx&>XP4xbTJL!>ZwS zs_r*@7o$CKeucRvYs#xD&t?+fS*uP2*-S*7YhcAEYYO|nl59MC1tz*7jE1onw zw=9}%Ly}mc!Lr%bB0%t}Z2}JVz7FrKZAWeB-G3=pKJ!>Ha3Ig%^QI$o-7P6JM)4f9 zzCY8}XFFe2jth7nyDdR#qWAV19aXcqmX#rL1s{?KMEcR$D