From 924003fa11581f85fa922350411c2eb428e5382b Mon Sep 17 00:00:00 2001 From: loreloc Date: Fri, 3 Jan 2025 11:07:00 +0100 Subject: [PATCH 1/2] updated sos circuits paper data --- _news/aaai2025.md | 7 +++++++ _publications/loconte2024sos.md | 13 ++++++------- 2 files changed, 13 insertions(+), 7 deletions(-) create mode 100644 _news/aaai2025.md diff --git a/_news/aaai2025.md b/_news/aaai2025.md new file mode 100644 index 0000000..3516799 --- /dev/null +++ b/_news/aaai2025.md @@ -0,0 +1,7 @@ +--- +title: "One paper accepted at AAAI 2025" +collection: news +permalink: /news/aaai-2025 +date: 2024-12-10 +--- +Our paper on sum of squares circuits is accepted at AAAI 2025. diff --git a/_publications/loconte2024sos.md b/_publications/loconte2024sos.md index 97e7ea5..3c59886 100644 --- a/_publications/loconte2024sos.md +++ b/_publications/loconte2024sos.md @@ -3,22 +3,21 @@ collection: publications ref: "loconte2024sos" permalink: "publications/loconte2024sos" title: "Sum of Squares Circuits" -date: 2024-08-21 00:00 +date: 2024-12-10 00:00 tags: circuits probml image: "/images/papers/loconte2024sos/sos-hierarchy.png" spotlight: "/images/papers/loconte2024sos/sos-spotlight.png" authors: "Lorenzo Loconte, Stefan Mengel, Antonio Vergari" paperurl: "https://arxiv.org/abs/2408.11778" pdf: "https://arxiv.org/abs/2408.11778" -venue: "arXiv 2024" +venue: "AAAI 2025" +code: "https://github.com/april-tools/sos-npcs" excerpt: "We theoretically prove an expressiveness limitation of deep subtractive mixture models learned by squaring circuits. To overcome this limitation, we propose sum of squares circuits and build an expressiveness hierarchy around them, allowing us to unify and separate many tractable probabilistic models." abstract: "Designing expressive generative models that support exact and efficient inference is a core question in probabilistic ML. Probabilistic circuits (PCs) offer a framework where this tractability-vs-expressiveness trade-off can be analyzed theoretically. Recently, squared PCs encoding subtractive mixtures via negative parameters have emerged as tractable models that can be exponentially more expressive than monotonic PCs, i.e., PCs with positive parameters only. In this paper, we provide a more precise theoretical characterization of the expressiveness relationships among these models. First, we prove that squared PCs can be less expressive than monotonic ones. Second, we formalize a novel class of PCs -- sum of squares PCs -- that can be exponentially more expressive than both squared and monotonic PCs. Around sum of squares PCs, we build an expressiveness hierarchy that allows us to precisely unify and separate different tractable model classes such as Born Machines and PSD models, and other recently introduced tractable probabilistic models by using complex parameters. Finally, we empirically show the effectiveness of sum of squares circuits in performing distribution estimation." supplemental: -bibtex: "@misc{loconte2024sumsquarescircuits,
+bibtex: "@inproceedings{loconte2024sos,
title={Sum of Squares Circuits},
author={Lorenzo Loconte and Stefan Mengel and Antonio Vergari},
- year={2024},
- eprint={2408.11778},
- archivePrefix={arXiv},
- primaryClass={cs.LG}}" + year={2025},
+ booktitle={The 39th Annual AAAI Conference on Artificial Intelligence}}" --- From 0ed99d55c167691995f8030efa13dc8b8f3beba1 Mon Sep 17 00:00:00 2001 From: loreloc Date: Fri, 3 Jan 2025 11:07:29 +0100 Subject: [PATCH 2/2] add faster marginalization w squared circuits arxiv --- _publications/loconte2024faster.md | 24 ++++++++++++++++++ .../loconte2024faster/mar-squared-circuit.png | Bin 0 -> 50544 bytes 2 files changed, 24 insertions(+) create mode 100644 _publications/loconte2024faster.md create mode 100644 images/papers/loconte2024faster/mar-squared-circuit.png diff --git a/_publications/loconte2024faster.md b/_publications/loconte2024faster.md new file mode 100644 index 0000000..d2a4374 --- /dev/null +++ b/_publications/loconte2024faster.md @@ -0,0 +1,24 @@ +--- +collection: publications +ref: "loconte2024faster" +permalink: "publications/loconte2024faster" +title: "On Faster Marginalization with Squared Circuits via Orthonormalization" +date: 2024-12-10 00:00 +tags: circuits probml tensor-networks +image: "/images/papers/loconte2024faster/mar-squared-circuit.png" +authors: "Lorenzo Loconte, Antonio Vergari" +paperurl: "https://arxiv.org/abs/2412.07883" +pdf: "https://arxiv.org/abs/2412.07883" +venue: "arXiv 2024" +excerpt: " Inspired by canonical forms in tensor networks, we devise sufficient conditions to ensure squared circuits are already normalized and then devise a more efficient marginalization algorithm." +abstract: "Squared tensor networks (TNs) and their generalization as parameterized computational graphs -- squared circuits -- have been recently used as expressive distribution estimators in high dimensions. However, the squaring operation introduces additional complexity when marginalizing variables or computing the partition function, which hinders their usage in machine learning applications. Canonical forms of popular TNs are parameterized via unitary matrices as to simplify the computation of particular marginals, but cannot be mapped to general circuits since these might not correspond to a known TN. Inspired by TN canonical forms, we show how to parameterize squared circuits to ensure they encode already normalized distributions. We then use this parameterization to devise an algorithm to compute any marginal of squared circuits that is more efficient than a previously known one. We conclude by formally showing the proposed parameterization comes with no expressiveness loss for many circuit classes." +supplemental: +bibtex: "@misc{loconte2024faster,
+ title={On Faster Marginalization with Squared Circuits via Orthonormalization},
+ author={Lorenzo Loconte and Antonio Vergari},
+ year={2024},
+ eprint={2412.07883},
+ archivePrefix={arXiv},
+ primaryClass={cs.LG},
+ url={https://arxiv.org/abs/2412.07883}}" +--- diff --git a/images/papers/loconte2024faster/mar-squared-circuit.png b/images/papers/loconte2024faster/mar-squared-circuit.png new file mode 100644 index 0000000000000000000000000000000000000000..ba9819256744fdcae9c4607d32616b9ed0609dab GIT binary patch literal 50544 zcmeEuWl&t(wr=C@?(Xi;xVyW%YjAgWw?J@rf)kt|f#4F{gKLoBue0~L=bT&b{<&4} z{X45@s@I%jeskCyvT9Yws3=Jz!Q;aN001Oe83{E209*w00fz+#ja1qkKm!2eOTHR9 z?rNr9q%N+`R<;h7r0za0mZX;6wpIXu_iEioT~9`yRL6I=SbT7xI0s>i{UYM#l|2b> zS$evhWwnu^93ngU5pw^elDSC7ulKj-uJ>JI`MOSr)(oTAL*t9i(E*h2LGL5a#QuR> zTf%|y!qaaTKBMzn2q_ilNymOg8JBD?H!ss9FE_Z*!Yj_q3ro`ozaCg_Uj#?)qYwhx z?_??Frk@YRUJu3S0$IWf5aONndT+IY_#=FJM+^GiGmC8P{3p&IhTbZ+7;4%Ro=b6+ z;m3aomKA_ezB)4_1;SqPhs}Nby`mPh6_i7daASRXd)hY@eeo!EP2>Dzs1f*jj4}&+ zBvE}fY;k?@k$)N@&oU-?zxBa6Lt!a3z9b3C57Z4xWmj>xlO}7=~R;alwn;bW=AQ3v;pTnZ@0l5?y_xz<>6wf;}`N5E@)=# z-)ViX2X7Z7>osbyqV}>!LpWQwtv?XOQ|7%kr6hWJzpNtkJwELTf8|0Gou{vn03z`B z$txhdi-g{S=X;l2|E4mkd_DwcL~G}U#z03SwIkD|9azS-hh?;&5D6<9P2ZygA7FHX z#&eU4_|a0S|BHs}OS@E@z_~XuD+PL{T=j4yJ%tV*!K1nxMHIAT*7sVSR;vvuSt=Zc zvITM#LaxQL>P0ns$JS*qi=S3?EvtH`j<-KB3T=CCSM@Ig5HI*TZnhg>oN>)Za;!f6 zw94^lTRGGzo&GkVrR&kUxcuWo1ybNy^Qlw!<%dDC3?(7YZ&elffg@ClPOd!0-3Lo+ zPJMgJm9OD<1-)-l3xmoFyK(88Izb8e(@ReiRH56$m>l5PhR70M=piZHH75NL_@pJ3 z*nSDBVPWHy(pmA-nn|!0pq@t>n;q`rs7hYEGdR`%-1^G&=1g&j+0}>F8I-tIAn6zv zxfJ(9J3>#Rpi*d)!)#Bu<0L7`GF6%(>!w+#4EpnaKJ=+TN&8g5nvH~Orhxj2X~oKP z@5sjL7mm>mpG*ADooN(Ymoa*>`)D8?4pMj;B_f*L@&fQelelv$Sw{Cc3o<}L^sLjWw3K!zZF^O+Z(lf08icabW zy>qe6O6ogzez%l+q4!faSCv_Q{lOymah(u%`G$&Uq6^B@qUq7})^!!|V9mAJI(^3P zro85dKCW;2Vir~=+^Vk=*B_KdbuQj#dAEZ+1XHWuGzKLeb#%&$kex)u2_4```Ss(< zSjFKALhK1TIXX4F3%gr0B2H!NBzS8XmDR#*OdUb*l954G(YX;{)CH=C-(jwi7aaetRM@3ZEYhJ87Dm@_nRsWtY3^ zG{ti%l`R*|3awIGb?;;Hzg+GMKxOHU7}hnKF)k*U46ZjCDaGXxf2_h%J86+j*zi6H zC6*pZZ zT2Lx-{&>-NK{bX`nP)(1#LxdL@jO>*d^fH2WgJg#L$=m??-(Gtrzg2SC%tMNKje%k z>}kBl6r-D9XhO}Sh-u_>iIJn?w^cjXQ@S_CE0Jok-{`@86tpKJG*OTVxc+6S zs7+Qm;e2H(IT{b&i1?Hx6t|In!HiDjWv#5B(P2>WnbEv>lcSTZ{|gtOoo0p9CUaer z8WS+%CX+byggLXPqlnR8eY`%B4|5M2U=?DqfmAqQ#4K01VOeGhy6U#e9WiGzBW3 zXTwMcx?_rFqu%S~NK)6EnCtX^y;&YKEdv9;q34z?EVinljlCN>C<7!C>X>vkFI{`o zLDjOQ0A<}UFM7xCDQuh1(P`D9GzBzf17Q3A2>@5@HelenkZa&D=4P!z03Un07MylDYRY=uT*SV1{00`l$t{NQ;%1 zk)Jn~J5O%6O``r=nMD6{ryQhPit7BiCah^~$)wF&M; z3*eYl1#(>(QG2YC@o9i=Mgnthb1Uj z&fs&cr_I~x9k=aMcC^fW<*wh73AcO?$+Kau5vx-Ut+8Uky16=AS|8U*DI6bxq=7JI zYbF9)>9PVw5t%pywLOb;zO>Jy9qt&dLeJx;LGq#EDQBW7Q9V|q+gtfIe0Tf)7@5{R z@2RJ8r)}_xT2d>UNkC$?NG7<;aD%Rv9-ItsQn^|T4#Ru!<0JA4Sueh}oVlRC4c_`L zaii_rrO0>Y^R}>P-Z^$(*Ahp(xB8=HBXmjYuu?%iDl5yYN%Eu-ClN$;uyu*sHHlpf zbo3mF%6lEkESM6 z-7H*2HDi%%`5fOu_ z;YI=>mlom2TAO4~xc%T+c+ee!N)W@|bYjkjOg2HP5dLW5lpjbqDB4n7OL0nr#fGMa zS}@1j-Eq<>tD?c^i%bhqGy+_|e7 z2d5>4(+ElxyjBT6%LiwtWsK6pCb5r~{R)?`&65J-R7pJs1a059CsZp1R6Cr{DL`zAjke>YgJ3GI?NQ#Mb5(l4?|T5 z79lIAC!a?OPjCmXk!Hl6pfhEVgb2N=Ia?YQX0R=-6+PqX*TjaYPgS z$5Fwn$L<}r;h<|4o90hPi739-jEsb|R* z@d0}w)CZpkcHzIjLv*={M_zSha%d&9X@=K9Dh+V?%(0xav+ZRP4U3@({QkO#ZVn#q zXm|6KmV-00N{wybj20abB`!%(4YuE}kW8M&<<6E!YCRBdYQWsb7U+1X1N0T#k6#Ja z(6EdeH;wJ!%}WTS-#($FS7=2%q}rf8&GZ)!GHLe3PT%}Wa#%S{ zbI08!pLOy8D;SAurD@YnNM&K3xY2DuZCj^WI2eJ~+nXsFYHZv9XT4 z9hDMEr#zqP29mwFqo#PWDi)N?xCkB@l{mD(pj^snH~Y`(HWdVs7=G_vw$yM9)}I2g zf@3r}k^bCNZnN_@;T;;7}XrsiXiGS4_0AGUp_#_(9sP(xgu888x95!v$`+km;NsZoZF?Lb)}xW;8dG(x10 zbQ^rf5ieRfMXk)X(aHqjo4ajYcCMVeiWVbWN0itks~a?Xk-ropLgq`~nZ@hg?CT5Z zY7<5-sl^#FslNfTZ(~{cT=5_QXRK+|HhcKM_k>mfUb0Vgi$$wst&}fTXNGkB6VZjl zcR2C68e|Y-cL6x9A%;vaLrI|sS@a09a``7wv-PzRRZt_VA!WFH0{odA!I&qyV@yR< zcmjJ0Fqw1gyErUxf$U}bM65<6IHbH}0&_(B3bKMD^&Mtpbh|m>v7ae!D9QSxHl!xJ zD_hVzHdDhyX^F@8b+d@R8bjDlu+6KV+pb3d)><6=4j!Fz2O&`!SOW%xBnzX?7wc`r_sNu0v@kKj@`3Tr)l9 z0Ok_MD1{!abx}Gs>$Ckt;E{)E{O~<1>fdZ)YT3gRa5mXg(qCZNMhL1(g(oIvc<}T6;l#~ zjf|09B+vSJXEZJn+Oq?))C0=cJ_PMAn!%~ph+Xr@FpJEYV3r+Pbt`!Yl@k*rr+H&UW*Rg0x+y6kv&d+eFK7!tA#9l$+Sd}AbY~DkHM!AQ zybN_`d94|y7^ueln!**9*;@Mp&VqGd5r>evGUHxhk_dWeo36p7ANO3s zN=BP1DbT!k8<`g;A{41EAp`9nSaEe3l>R~<+=Ug@|gKD>Y={#iQ@1uWWz zeK*lQt`t5ffqQ+G%FgmDmEzKZg!-?x=;ns5g1Op==I~Qh&fmvY+db`NiDAAyG9N^V z_eAb7W8n6YT|J;!KkTX3Q*3Jh=Lo%o?p#OFKEsBnP&5aS7?5jxj<)P76C-$~YPHa9u@h0L?p=~#JOMmO%hVpZ;mmIVG@*^E%#4mUa_7msf zOdG0&)XJiEa;c;Hv>xDRI;MCSn?`!`5|)G`5$=I@Dh-K;^}=Fgia67xT`qtyBf2Ga zF8Sz(fPB}t%(6tfrRfrCE+jS7hKm>%f+|@Yk)I?b)PB9Lz=P#Mv*ZFW*;iNz|Ov*U}+Q1 zN3_77Bu#62gq3brHu0gr>cB*H==fm?Y;X#_(orLGJIqy$)eSJL@2FlMyWMr{7 zU6Jjo+FQe=;xe4Gxt_$Pv}S{_+sMrX*7R_974v4ZNhOg={vF`2p};bZ&*sq%qG~iq zG3Y70VwxORo z#-!0NUNDMKeE$gsrD)%Ar;AZHl1H-}MqQ}8?Rhpo?b`rzaNHH-HeH0E<$5e6D`~MC zxB7D{mYiBm;Po1y8JjfBC^{Rn$&|9J`Ci{CUNsa2@8LiR3;XuF427wIW7YKPS2w^hfpPd9~wac9(XPRYuGA}cod)!`XS3p>*8aons4h@w>~Xoxrj z^1g_UGJY&zo?AK9F+R_+R2{5x$BpzNZ2bhJL;{ofvKkt2nh*mA{vO^a^Ao^5Q?{)t zyLnVC6G9otQyJlNYR`jO&&YYPE^?s-PjN6w+^7lI^0b*qi%{_8#2e%U8*}Fl!BZ{5=7t^yw;lXCw_q8*SL%q)m-;Y&}B|kg=U)@A=#=I~L6K2}`LV zU+~lJk3@f_N8CuR?Z{hL*+r6(y4$9gSvaA`7q8``=@&YP==2~vHgU2lNmD>`Wh@*j z4NH^yF3^WE>d{e`9syNhXPYs#3@=w^)(!I~vRfvELw=V1JW&(ZN`OSfJfX1!Pxw-o zLT(Z=qwRygNsLF_5SMjb*lnG7^jk{c)Gom3`XjfGE0uk zTrkgyUv_iI#7Kc0thJj&AK!EeaXK_JP@^rxXgx%iS1a?T(33sw{yfH>X@O% zcdFPElErK2`ROi8UAMIJh7~K#A*E)x5fiDYR$yh*-m2lF0`s$m%QOXw)%zn}Q@x;I zouS8i*#4Ur(~rKBMSSM{_2L$#fbSLAw9N4p-${=j+%u%jY?h0SAMBj^>e0TzObmUy z_mYD|$d8-EDvt7v>TE|(V4Q;nI#V`^u#QIvFe=%Joex02dz_o6ny%tF%lKtl;ix6E zC6u>HN(pPCgIkDQr0k`Bj4X7=JlK`y$`lm4P2RN*eC8JQ^U&@FDi=Ba4((PSNud-{ z11nKJCr{g6#BxO4E=%bH*jc3;;HDwcxf7w&s(#o1##o)SWe$l;Ci7{@SmJJy{uI7} zjKo7lHR_Yj_g`Rkhz)75K#vbRH5`GTrfEgh7ah}SUSv~^h!kBfVO5GCM*=Z`VzU*~ zDk=MF>O<(hArq|(8rJJB~e#|80kn{WOdCgaP!iQ zTC5L7fULoRr-67?+yjh`ao@UIqMAYPzQl>-XZg$U5oert7cU2F$tLhBm{atQsB}IW5 z^=G_%Oc=1xy_PvN0<5Z~GGrM6#E-qTUqxrqn_GY989Q@5|GRv##+=GMHGkA6yHKpc*8@ z^@xof_xP#)X>qrc)u(+}C?#fsDWBq}r+Ax^p>J6iQej(p&&NwD5o0`hXZ6ue%2E}D z<{HM1V{drp-mgU&(G=G=YLygKa1;mdt<6_Y9!#CwT9NLQos|K$ltk>Q5bh%fio@{>^x9 zN0k=CAg#}J8O>qA&{K?ry@aWqK&nch%m0n{4zaed%mmjlrMI4PN&H;pD&km>;p-sU z+_Das1Q8beULi}$ROz+ZPaDMHJSBQZH3|f8_bw$@qKDu~CStrBC z0scr=VU+N#uLLu$LC+3T9T}9LC~bHHv>Ydd-Ta5BO*;clS4A!HZX^Yj%r`32TE$f+ zz+o2gs(>G&JzewmMPQH@z;f6EGNSvTNc~zvYD>aN6n#0x7dESqr{KQJ%G9jt3|!se zNUKrS&^+Je5}D8LpsJJGqhyXMi)m=#7{}f8I))onuNvYh_bkc-JixuU_zA`ho?TUn zVk?)oHn-cgANmZ8X_7A+mSJ?!66O$rbjvNOI15%3vy=cbZ!@gTuMD}2XG=A<{OFt! zC&16=K*zc?_|LzOc%W0gplI#@^feQTV^q^h{5r8!b#4?G`g8SQSKts~g=3H=6hZg) za?2;QF7_9_1{=csm=Ga7v=w3T1u*!g=Q*bShs=)PO7C(>UGE}|Z;KS+bH>_JML9Sb z{jz9pZnqGNb?7~-pIfMH(;8TD3Q(NrVAOSGjihk`k_4Kc1&-@cXrb>OQv$uGel>l{VG!-! zOe#j~S0{ke%o$yRK}(l;6*?^{iIa~quwo)#P!SWck@oKB_nwt}E|r%EkmrH6&7kb$ zQas7>8P%aC?mmWHZjS@VSxpiyr8iU7Mzgf5kYIZh1_r#6_o;_4l~GdVZyr15^TWAN zKEzcXF1PA8u+%DIS(wZoi&MYcU83!~(B={tEw+XGvgCK=e|4zJh4ZNf@7Vgavc+1 z3xZ!2eu@;KDN30w%*3|&&Ck;LR0#C~5u}LCOm6O}TXQ^oTWDDP!sN!aKRRrAQj$q8 z8>$Z;l=p%y(RVIqj(8T2w!BNC5_}?+ZI&m4U{rq=*N-xh$gzue^l0>;b>y-KDB|-^ zSoRHh1MgGZRn%dkBimqt;RHPKPm0OVKMGaOH0iLntuMJ<^MkD_I6WV5FNHPtzZ{v< z8-Aoi6)7^&Ctt8D(rtL!-=%tVuYIGFh##jyrTi@>s|K4$UezZ^#gRCSq+6HrK)`%Is)>0tj`Tns>}cUNptqT3pmUa)s^6eqx5Gs6=wC7E2yF z@eB&q#kDxvV_Jt$-QCatT-+BnsuXPn%fuTP&-cK_@zq_uKiOW%9wslY zsS&b*=TIv}Hf<_W%MaCbb1I%4&^l+Hs8w^SwsJmh3L7K{ccY+9`91;qX*76n#G^;&9|;|4rj3=PMPCeQ$LF86VcD zm|#*AFl$lVCWh;q{lu$3<5|lXhD=YGPdk@%601HdTBI%?gYE*HeH1c`!}C5&D^qLP zky_dqDmB81OP4~Zhb_}+iC9kbWcJ=3-(3vr_QC}-L+muy#lM-VIVg>6mCa&QjaIU= zcg9pyIn^leKT)^czF!y#Sq&38PxVuMEAvE9Z3LXUTcLgnTd!{ zelm@;#c04#c3Oo#4A_Nb_(p%tcO5N@Lm9Z=wR=r)7&-wy9iM%?K=>hChq0w`Zm`zI zZWv=&Rdb%sc+9)jb#u2igTD5I^4p+`lCjY)uuhb+F<4RtwWu%@DcyuZs#_^G0yBR! z;02=Im^@3Y9*Na;vIG&S`4r|oZ0mFD&7QfD8ZUB7AMeyCD(WiKiRS2|kZ0Z#9I8Kb z{cU-l0YtfwYy)@e5!%dWBm)B;E=!b-b+D%b#FcbIIvM$~!;lA#r*g&_KLqzWUpM=_ zy<0Gu`Px*T{sA&pgTgbe0xz$Ysq?K*BQJpfQv=sR^sQGQ=v^dyThKd4I*JNFb7x0p zQwwJ^OJ;9J7tlLN0Dyq7w~MK{y`?*;nWeR@lOXwJcON;at%V@DHkTr+qKmktjjfEY ztEIZHl7_jjy*Zx+xv&ttfHx2X;ArV?O6u+C;N%AM79{@*7YO?PXPAYY^e+;3dqHv? zMHNzUXID#7PG(MKRwhYrTTga!A$U>&R|_kknuOFpAV7D5{cqI&CHr5*ASy*gpoFuz#~=1& zB?QU;><_eXHn+6^{`J+0je~>Rl*@vNkDc3`iIazmm&w$^%!0{^&zzT++lt$ijg#}= zpk$rg+)bU#E&o7)z?p49I6P)-9GpDtd`vuirW{P178X2AW;|?GOzgZ|X6C%C?7Zd{ zeE$Za>}m`0N>hh_=jsoX1qh0Rn}e5~%bbsijh!9D4F@MLlNmd=1rwW@8LK(FIR_h` z8Sh_E7Un=HXIDp4kU4D~O|30iT%4@`n)st|ps0$hAUQiT>%T@+98BGOb6 zy#FHu6%3;C8W5LJD#A#;E#bnCM#=*qRYR17*!T@O9-(#Tg0*Y2F{|s0E(Agg~{(rpwVT=EdJAk17v&sKTzyDF! zf7JEA(!l?U_&?tDA9ek&H1NM7{*QP4KT{X{zZxD(Cr}mS1!`wZYH|EQtq`1xjIJ91 zfPnGm0|v;=!vzh(xXUU^!W@G^!142rGr;Eq0Hgp}2~iF2)w6tS0}W}MsOfvl;~p6_ zFjWyqED2Riesnf^de32Ko7x7!CIWL5Ziire3bgpxSi@m(XiQNw2KpYa%w`8a;dM*V z+~82gyu)^qsi||0ht2o=91d$4u_9DdNKsUYIZ|_MQrJ*ZS`*Me*ii7uf8D_2{uwC@ zCi^q<_szdg{|~e+y zYV7Rx;8W-^omI9lKYhRf5ppXo2gc-0ygbg+h&+RvE(hQda!>#z-IYs>a@3fb_s2LY z8U%n?kxSYhFZqX+DhznL>hK=NbqnSw2mnG4O6Bn}dQ5jkS2F@Uz+|&Ge{~~1Mxuf5 z!si$dz-s^elQ~l`M&eRZo?ZL2tBnqM*wq3Vvs(8Np%e%>Kz8`?q`^4h;xEP@`@K$0t!vt`| zGiAFVFiW*1=y9*w4+S_9v?nDu4UChS2VDbB^R{r73 zS3J>tn7Y7)5u*j1iK2S*MW4q(;OCb5;p%{;oU*G{uA-uvnr@L(=GRC!g&!tti-zP^ z8D`a8lTWV1G_4{k{mIZX99%h#t~sGy_*PILM+GFi2(gYA)6!&(99ZaS4@g#3DU{cw{&|4mm@#+biijO2V}XOIk)8nokXOp2V^XBd#Kis}Cl4kfrzIsP z6)D5WL{HB`2NevQNE|SeotV(XR+qI^{V@M6Q7KDP3q8ZohmXHcYeiE7GcL9&v6(`h zc9(huIHA;kh-1N};kg(GC#ur_Cw7#QHNv5ZqC%#~%pj_Wo zRc_fRu%RYMh_=z;Sq+~c4WR&BhWSOG%iB{v!w1|fv?U#o5->25{t+X&i*9Tx@R<@E zAcqjQx)9^@n8$T)SE*KE4>uP`N5^<$)Dhm8^+a4!OdvRSVuC?F=Wl~a4``H^e;^i4 z*c2f`Dhf8v%Tj)6yhW=GAw!xSA9LAXUjdLJuRRU1adC$?x&oqO6S~o!yjx!T@3YQB z{<=8v6BMW+f<;KTuf36xk?ZU0t*7!jJ9IG983UMeQ#})m8a_syU_{k?Cg|s*bi1dTl+m+ z+}+%qEL8O%Wv8WPeEe)3btD*i9yOK(7!7H~2^{8Soyp0mX*PMwRs4E}4q!dE>v(9- zknkwYMEsZYY*B4Z8AD`EUt)REJH}5F& zF)x_s{$yt{T~*WB+NyA(2cfs!@7?D&?0&aLrk0jafX>cNQBl!FoV)WiZFzYFz})B=6_es!COGAUx{Yd4D9~vZ7t$142r)zS`TS*xke+_qi{&r(4 zWp%Y=7yxrt`*S5r(x`pVqp;;SOgcI`K!@9*lB;Vo@5bn;^~HK8Cq5D&G%SpRgQG^f z&uaS9hLJgA1~wK^_NnZPHx{orI4F_IP`k3TGi*pYpZpFlbrW4)+u`~)&d1OH$M{#j zeo>(N2yB9~wpN4DIVgg?2nIZHHdWTvp1nN&0(r%G>kO2Cppzc{^-#S#Bov}8EKi9&vH;YjR^_ z*Chd*7|y<^H&RNYvV5W$2OAsu zuG@LNf$P&^p%El2ICaXlVDLXF1hBb!M?YJ#o z;2}#}pS`=A8wDZ>NkL0X3ytz8)bm&icHMQoqrJUfkG~Fo{Lm>jYyt`pUtaADA>c5d zE!Jd}l$2y;EjL?En3J>IWv`G(uI zx}T#{jBr?t*4v%8_Q%uUrjfY~>mA;zl;_;s+~6VG z*L$PhhoCA+$B+78YNV||GN{+4bx1^_l*QBDpVP<#%Gw3v;a@=9_i z^V=Vl!<>8Jo*S47XcD9h4|b%=Q~;zjEbl*7`aQK!%`8u5OQbJ1drl239336)?DP(Q zg09`%l_K$|r@K=g(4m%{jG8OnE$L&V3H&<@pF<8!b*Tq>Ql9Cf5DN!BeGxRw2XT;_ ziw~I0=Wib={;)SfM^CS%-3$#24<8#Jj|d7#XaRC+s8>G6B*JLI?j_QoKpCkrKYuP9 z=FJRih_SFdo^FqO{2u0PTH@p5udc2@){!@&cImvN_=N7+ z{>FXI9?bzt6QyCrC1q@WbG)h%6!g@TjKv!U_!)9_>OIjJ32GgDaV{p@w+E5Y}MXA6*a6hLV|Jb6RMmnKnkBx`k1GbzJ%`Q}=yx$4`A4q&xN(w=iPRK*Lxp2v&ldu`y4VJmv=v)#wa}C#lS?)m-?qHfAI7kb#E+1 zpjZfi1C%GkPb4L~)eB}Rp5uvE>WqzJ_#dg9=CSrIz=G9Pn+~%J09#%}A7N04)3dV7 zg-EwxfgfZLS4Rw66T0P&#wRAmne#c!=iev*S5HHu!S?M2d4!D$RQQoCx6>1WWDf8N zOQnv=1wxM2)=@sup!A+9`Yx0y{`7zZmjnprcsFWlJDQbjCmI2~Y_)Ch`8)y|SKXYv zhM3PgL~Px=4z7MGDAJ(9%21+1H%j*sIf$K&MN9*%Xp-9jJ_sgu;GJJ9-1Rv9s;isP z0axB%h@zA=T1G#;PoAx}OrEt&Iv~RgK`bdMD8zSm^8JJe3WTlc`jcF0)l^OJL~9Y=im|SC{o3wXQdnbXiaJ~ z3^WvXbm!4gP?!Y8U^a*p=ZX>@vdr{!kf0+C1sNHwE<0jE1zTc=d*|l?4;LHQE3N6w zw|pp12&Y;NEWLIX115C0k1(ZrrAc;gEiw6=3jh&X%nP9tZLO(+LlyKLO$~opiaG3GM@K8}UvNMP7jz*) zhbd6Ibs7*S9UdG|F)$zi_`NRt-`@no22kN64h|01+MSo@=Bh7IKYjYd%*-q&C)eY9 zSKTBdD?a4kNCcp@_p-YwqrV0JH6)Vpd}BBWcF$iq21W{Ih-DEUVsK8Ow+j380>QFg zbhP;J-IF@3X>P;uG1Cw{gjA4W?XVySr&H;xbkl~qjt(v!p3nQ+YhGU7%!~@CdI41y zlh~l7&6g(}Bt%Pl1S(nb`Mug28*So)nGCxY=I1}V9Zt34BoOg0O-(udoXlCSH*|Ax zxw^h4TR;E^2nbAm|DKVaz68pQHZz4!q5bH|GNmQbNs0Je^qia;0@{Kh^|oGy^B3Q% z{cOdP!i+1m$E9U>;rWXCS)i&J0e}YF%H~2dl>Cj5G8(;va@e0y+s78${)a`Q)KbtG zMACVEz8HY|O{8;sTc^c&!~&`D&;hdq&jRTmn0DgMsS67Wi#6K69{sJYt(mjBEyhzp zam;imva_S(o5qX{cxXzc$hW;59Qm*o73|oLK zw$D5E1(_25_6oe4hLx32!7EG!fTvA52#2l=t|7%(S|gSOVf@?IpT+_h~wqYa{zF^%-DbbXN0)UU(ohx0YBxl&nBDThI=K+DKT$md!b7dH_GgQ8R* zl#p)<3Wm7~y1Kd&62l8s>f;tS7aQFKpT{$q^s$-r7OsGqnVGN84=5-oeL?TNJw1Ye zFTQstpp+aK7^s-*;k7duvC-{i4Du>38}r#*#JNb#lRIA`3j;6!scKOL&zL^?osbF% zlDlPe4vZMF|2oQnt;rYBmXtg^8(z_;vdfpJ5>;)V4yLDbFXE)EG-H?jN#PoS^{WsE z>sq6pr{Ne39_P)Lwl-=Zt!OJ~K;ir`$i+cI?1Oj!C021UF`=M0g(4Lh%2X9vOjt+* zX0O3;xZO@$S65eXaPT8{V20d*Yv@q>iA%O zvp;TZn1tJPtjf#5pm5;JQpwsS&BHO(^CGfUUOG0Z>S3nV}5 zPAU+H_l`ud@Y@A#-|cz63i6I3BLFI>B)8I9)LO66W+_tf-Wx#zr6IcUu`y8L>E_{) zFX(pjitKDcK(e?GUrKM%|kW3UtkQBj^=^R-o?r%Ov!jMVTu%z3W&mR%2+=;(Bt%pyWU2121U3sfF1 zw@3uMT^84(6sYy+049^!Y^Tc&D6p`k)dnO&{aE?Xvo3P52frk0~NA1V2`cINn z3T2W~pHgK?-$rmIiQ3v)CI4+O z>s`qtV!`1c&>;ti$jVlA$@%#CVcgZ}ezwZU)VhmrUUAUY)^>Kj9C4?lpfx$iU|^_; zK)_L>#njhd1ASpO=xFRx?-n8L2zd59uLCt>9v&V9KGC-G<)CLkN=gtXnp+{&!sDP$ zVDYP_sOI92k<}j~def7oP1-dx-QT8qwRK9;-WonxwS*E-16G7=3YZcdz~Qdn@Q23JMC8lcFLct*ot=e^4?o z$cu^=vGF%lR{rSnIPDLCAQAL+2Zf0$b^AmYyWb*a(bIDa3mWF;=Bjn$>$RVK)cwE9 zT9{}A*0>@R3TRrKPGKiJeCvfdYcC!i#2rI`pwcJh5VgkkUxxvxpre2zC*uJCh^?6n zXcas6DQr#3#$UjLDXia)ZOv-yi{nwO38I*(xF$V-rpulsG*6WZii)6~ulf`(YG|b| zCiiN9K5{QHVzWWiTV%}y=Olh+9Dz(?<6=l zK7&fou8xj{PFW|XdT#@52v|sPP)B|+k>$Mk1rPM=34CgP`H?7;QlMk^f^Bm#8Uvn8 zZ_I$jm*Gr=HG{6{MY{7F=ahyJ18c zJ)_EK#-}nLv016zwkfT5wbv3pdH2G@SBKhxx;bQgPMMd7-`9Jf{x%Ak$gD}H)%h)r zMj3r8*U8BV4h{~KPX&E$EGUG@(J&kD6%-T@0XlkmTFU7uDW>c>caCC3D)=Q-p!iV0 z=T;7?)O&h*a&mM*sry6i2ubA#3?rHOcL^1yRI<*w6p7`!<_8AE*u7qzK2mu2VgP`4 zu8`xi>(DoKEO?Qb(49q1Oe_JbXbC~;3&)vrRDWJ7d>9xQI=U**?-VKLp%W1?-9Pt$ z;@fJgz1QXD>#u3y<<7^W*^`MuWD#FJ{J z+(b<%j6h(Q)ZJ;#(dlVLc{z9EAW6`Rsgu*iwhGq-=p4;2*Xr(FUiR59Gg}@|KO9+D zT8@v8YbH@=y!_nAfRF}=ESGkFFs_k0FJr{A=!&IRyTP6rm((cv7JwKr>rq>PgAAow zI72`?H)Ba>u?41fK%=B9$AJ0Wto^uQGhmE`v3lFp%lDb^M{}ZF(YE?3_fC4|rofK; z4`C+vh7F{j7Z;ml@>%0)G$A|G_|#-r>3+( zAxQy3=ucTL3i26ssL9pUCr~5r!A#H0?CIr|6dUX6=~@4YnTbgd)NVI7H=BYHU+tI64qCQxA;^l~lzIVy`(CJMXp z_VyN(*#cjmxNK|4#3Lo7r4f4bILOJ#%|K5%KzSYX_^bz%P= zzH!v~;@xkoc%Emi4V)qf#)T~glT`B+Ui|$W8yowAdb5|AY4?(M`pEjHx!KH2(}vpK zI~8(DZj}ebi(5~ACQlS=0toVl59j-MR7Cf8x_J9vz&%LuBQ%$MWLopp#zv>6@KHlR zRCP2}O7iJYs+orDC(1FHtg*2%`BcoQ&ZlbwgshV!D7O~}w<~QyLerMNwD=wQS}v3f z417U^OnmTwn1~Nv^7G2Z&v4&Fh`+&#@9cP6R%Ul@%+IK$*_DIjf7kno_sDBqaD20C zuU5Ox!@Jq&QhAwX-Y=WqvqCawGJ_`vsJ71SC;8Z9_ma$t;sZ)GTw z2kxT!l^crtO9P)%U3Tq?4RG|9_q>S(Frgp9ZVo$tGUw)&O-1^mZ=0_M`e4VV`KV%x z8bOa4M*l1QQf;j<*1|`&B>6~pc^UcFK2*pQ6E%!RDuc#9$HOQ>=3)f8y1O+nT1N>% zOni2JK0Y?KvAGHU1b+t?*GMcnvk?HrXx>CJa&WYGoaTjwzCFN86Y;4B&I|-uPIU`X z5%~5CzkhY3f(2q@WOTp3Ip0 zaW}TMd>;T#w>^>+Cp{E>fX;2=GFN4dh=`byk^(Fz2r2EB6hyqQI03k;Tk9~HWOH&` z;dyQYycB;YL`mi4z1!VNE zFFTTdnaNuyutWPgwe9UyB+Vw!%FHj*)2*S7C60}Tapjv<5U$@}9h;(ts92sC9}f}F z*Vu!REh8QO({JcD*(!AQ$=iX)2@VlpA9ECY+1U`{BA$5c`8f zJ^pC&4K|~dP1l_LE4wlJ^VgPOSiiyvDSBk2cUaK(upPVh?^S0FnSi-Dm8Ilr8sHA? zGw^m96 zSl#)lv{@RPm|!xA4bO%=yY^=1L(VDjzMp33L^Todyp*bd zli-{XWrSD2e?LaWLHdCl;%_<7dl4dT@K?lZ^~Ro-Jk&6LZ+*R?N~ zzkZF5k9UyT(h8u&HjM_Q&;2XC1ltXc#E-%JFzuyq&z$}Cij9D{qD5(5p4-U;9XF_ z2x);#tTkZGg9@Y!AR4#@s3QnYl4PF<`KoaLuNLwDrv>m&NLV};mYDHLB~@;1mH|H+ zAFl>J(#1qXM6|TDL{3glOiY~g8ie;mh;dA1MX=CVI4T(Mi3Et7flF#|J2G%_0f|_R z5+g4+_lNiI33)6cD=N65tJ_;u#(0qLOfLOv3qq=?sc{iXmG(H>83kA^pWTe8*uh&E z+e??)gXzT@iY>S?jU_Ud`aWp%ZjmhK<|D9g&q?@b85mBl@46xgqDlA_C^7E?!{vHtu$!(-8a zM?_qza|Y`*#bCsWA0dE*?t_Zy`192L+{ApDuAoBQpwuA-uX&tY)4SJpC> z*b4GSz z)=%hU%nDAft_HtMx&YCT$f_+)Z>ouos@1^3OdQ3;2J{aUTs-)JRm4DQ5BN<0_9rJN zqoSgMxDZ^X-I2zegz|GEzk}t`N5KjY45{5KMfOt011-{fNjZceEr=j0{ zwcRW?K-4UTQos#@?ErEc;N0{zHK*t28$9XqjKQ*(1J27a`u#DWO2Tj$uw6||vhwmQ zR4g%(fC{PBx4*-KsFE8DkoUV6$gT+_Zx+45;4{9BwN8*!{t*xx2XYBYI z-cj*XR91p{csyQzE0X>QCdC7IeK_+g+cOv)*hewU zchtS}7`XUb2u-l$(zhW!91%7dHCO4cDO!st2JT`H=o zC=CjZ5>9I%`)sM_M-6E=`PDpUC{;4`PY4(~Dk`driwo#awe2(@wLs9t>VwOfV+~Ba zNx}2vz~?Q}UO`%tBM-*$Y$ ze0((l31E-RgG3ELoGVY?SY?f^GRBD$bJW!xMG|(H3#?6GVBl`VQnL>UIXOB6GA}#~ z7KbEYP~5$|(g7+suL#n$xdFfd^)a!tJM2xBf*_ZJjjgnaIDO=`_fwsyYK_6r6T*ux%V20gn9ea4&W00q~+HY8wRVg@uKhKlOJa^y`w7XBZg+w&&J z-EQ3m2?Vqh3iB<cNzdE8EGk|0I^xIO|B()RZD{M;M} zDr{|Rw!psM*Z{|L7_b^$;dsEGxH|%BO}dh^B0xDptkQPK1r-mMw{;AQl`K;L>5wec zQjBs%_U@e73d$bCddX4!BBbue(1Rr?jea;EyLNQRF7u>QE*wZ?qoF5yCoiAy^=px{ zmKF^W07|{R8_UWZMMYZyn!*B13+W!%A5mqTfMhuU#0tQHN77zJgoX7D59f_qfo%pd z8?YXkRg);@z$E4zEDyL4K9Xn&c>Bm}<6U`>X+;H9vSe_|R+PomM z9#a4nmz|~05Ig?6Bp7i4X${yeHJ?c(MoAX)xQtONkf;GiM ze#8#T$;t|J;su;F#p#s~f#v3f_GL=*Hrn~x2g)_r#zurf$0Be3_^LJ+To|4saVMpVu40}|cZjJjW^iO`Zyc?;?%81h!qOP!!`ZO}5`=~ytRQr0B zic~xdmzP03%bk8jX-P>bTc;x}Fw+j~X|L>KqVVu>pJXt4CKN9_tjsHduGPft>)IXc{MVHhM_~6R(B|R~@+U|7tu02cW8-As%?`s$8vJ9(*g3JTf z_3M`g?Xs~W(gXu(0{NUzmPlSq8>wCmT?z+z<>aV!o6mJ#H?*yjJYEO}D&GLJC#i3} zdkpj|-A$n==hU&%a3!8mq-OK)BvSQNu!(TI{%*Z;wJua*e0kyKZ)}-LzF1$A-^jtj zE^@j@|Fk_l?C?Z&DE8qbXo+xcnQu4QdT;cmUn%@-h=>>od23np;OeOG`FJHJG_24% z*b}g|H}lwTwh`oj?u>kXW-0ex=;YRsxQH2|#65(K(Nj)xT8~y#>TBLj?;mH;Nw`a9pfy<${Z9{1Q?;LSKmZ z+=KNWiDh4?sZTv}`yF?aiD&-n*zSxD>qGPuI@n(SCaye&EB`y>AoPiaH&Pz8+IeG$ zQ)gowfNeOTCuGKc=7u%f4QF)XDp0o)fj8q3^ZgmKCj`0ROZSOsE3ac1bXxey$iX*-`)oiq&4%Y|!hrQbWt~?viElF%=l-m8=x8?GxW$?#> ztKYPhZBe#=b({q>2#X@Fg<=sR@V2NaHA6iikxZj5s98iy^$NRV+bL$BH!BtHsty6f|) zRVafo{~eO1x<-~#uXl4s;DFB~Q`?Ma%kZQ@)4eDmvCYtP6E%%zE`{|3quP{*IGgbk z!oe9%V!mXdb9j{`!Y4Y6m=$P}*G$<3GZzhQ?P*f^<`%0GL16pZ2er%n;l!Qw#D8%w zK%Ryugj3QD6NTbP-d?>}Jt2!1&n%qVKdZDmS5TP89!2^IGh3W1>|SX z?8GH$ldnEAH}w2Vkwx(S?E_zf5jqsKa_7ldIQhEm*F*A57W(bU&&$l`P*5t*@cf+GwQrmN@EM!>kh zE@Z63_G$hwt;8dBwhuFphwGM*^uXZ5-r6KFi!@hq3%iqJtGu#!Y~nXvk3-z0pk564 z@0eI9+f$iEs2U77Nx!R=GdGdy0?)6CTBv$5vyzS1bG22x{B*BRdow5M={H_*asQiZ z%mcy+R>mioCD8lbjTiDGl3jlIL&|fQYg5eMC?Bx*3=Cz^Nxw;yr5CAuHQ=*|ag<0f zB_49l8weilpm?}sJ?!YY3lt}^POQoE1Y)AC#V9TrgeME>Vj@9-;6Vlpk;OSw);M-Q zD_r|TP(TuxS-n%HfT2YUjkf(e;qwm14!NX@6)h%7nhP3|H0sx|*G)q3E3;FBZp$)% zX1zSlkHry|`-ygSx4(hgt}#9?mHGzw8PC;I4?Pg+xc@*Mj3O>m5vV23JNm@#Bgtfj zdgdCqq(F%aD~ti}9itpL$3=TOzA`wLlHC*2t*oQw(&>z1Y|87o5$f+_B;AnFNO*_e z<_FpeQX_`JSM*bsX@q+Ega^`8Ql8>ikpHJ@)vlk_;y4q5psPY%MZ5$gO;>Rj&PbhS zH%-JkJRArP6ah2Bf6xOz+&2&vBwWG?m%WIVqmC_hkg|IXQkfV;BNbQ(q@b-f$efvxCr2wY!@7j{hg#QcqP%blg5@WETbyk zP-{l0Cky7YNq}@`s|`%c{Y3457?0!{c?g0R1rlVx{!^9zrz2W^PIhj<=9p7UGJIfr ziCw#flBNWJzn%~x2Pvs{VpLH43-e(;fQQMTp*_0b484zXIP1lL0m?!kT?Qgtws)Gv zOU{>v@DQRbsxutWF(Uw|r>_r4#5pNq_yQxd*78x^mVI`55!zkR~A{=1vL+g{7d;U5T)d=UF<4&6wiz`OVEcv;$01ujBc zh`>)z$XYu&b?3uF89cuh5wDNSPftgq$gh6^wenM$2T;S&jq>w5Yqt7&fAbL- zqp1$W?p@xZbI4<;sE@Y;nrGxsbMRlH86ZjB$84&`v+*|22Y^*i+P0WPS`p@(06*{; zlD)nAsy}2vVg|N?B=-}B*5n&>?O&Bj^5MvZzumy?n1a|fi0TREl13EI1m0pki2_Wu z3WsMN{kjG#3`B&0F!=nx&xeUAOXw?0kez0}SbfioTH&m_treMN(s#pY+&91>;v@-1 zbs_OIs@?1)ed_sLq$rR3i`qXg{txN=szwcjqIGfjOUb>_jVN4bF*O+J9KQ+h1Frp_ z#!dTGk&C0_p$Q(c@vNuW9zIl>_GM@M{gMNt{0QUe4&LQ3^7D%@6GP1X{Vh(KF8ca{ zUS34Dwke+w)uj-E#T^vT`DudgH{Ll}SxMR0e6Rm^6-@g$&<5Llvq?R<3U|YiDxCfC z3kxo4XtLI|i(!M=EWxcF}$%fVtI!-FwnyP-oW zd3nUL-(+;PC#CZl89ARnH%EH*N3ZTH8GhpGruxH!k8ZC$&>;`Zf9u(X^Z%N4vXHFm zKPST>qrzgy90prTpSb*X1!0qpZteAzg{V&Ymn9?(6_xh&W8xNH4UMVx5VUJ=U$oTd z+S*Hi5$@^bj1SF>ItOHL2R^L#@NJ(fGF1Ao|+f-90=s#28l7(BK0CX$lGonNof) zrKbxssEsnNPmldu&$@?)M_+$GY%54k z0x&<#D5?I`s+5B>DP^TU^DXJ-*4jO8ywOMy?d~@>*yNIz_QV~3I6XFHe3eI|nKLwx z);N~y-_ESRK|in_d!9a111GC6eBWv?>IMIFqROW>06PPCKaj@kE!0&4-rW@54yc}i zYz^dBKbx!oEeJ%MJeI?at_LYWK|#^c7(h0&vbqXb*Pl5#RSt{wVnK+7d;)Z+VUj|g zXFGrf1nR)toaT|i0a`?fqgI&2I*$aahTWK!VuCSu4IVr>8X}~s$_Wn9M~rc4;CgGb;XpGoj^(l#Uv#a6c#cmL`OtaR#rwt zMgjy_!@e`vAUr%AK+VFg`&R~i;6X^U0fO~o%`!QN?jfepp(vYjVL~Dyd$#R z%My0`s#zND=EM{cfm6o1m><1Wr2aa`|I3eS1~wiNh!OXM*^M7D^;0y|5v z{sGF6ZjJl{1W9}2xq<4aZNFu_lj*wdBbn~*H>>&SoqlM6L9a*BN3QRPpowp+f2*u< zz+Be5IUX$gY3i0kQ2%nvOr-5ee z;zsxEfkc*O8W7UWK;;a?T`l$WR3CuO0oETNXHV>PZ!Aqby{7~t3(NQ9WCVD4HO0Y^ zLC<@EyYuybBOE3q4K&#Ae2z_yTfT0OsPfxmf2e~fh26_{_c;*b3hNpMW@aFN|BiPC z4K*9r&c_P850|g4q%IGs`MgHBUT1=Oqfe0&*cd?Ji2hkwS%9(5dLzKJ(Cjl0^zLuoY!%xI2@Bg=S-~S9NJ&bT7`80U&wp<- z;$44<^o;O5C=_vQ)cR}Clp`mHtlPVqQ=R|rR zm;w3uM(u_3E^hvByHlR%xJdU8!z_&O5OGxf*kTl5`-A2Xu~4t11nW8#KRcWOxjRct zd^|3|>;A1u0N@AAR##_d`Rsm~!}&%Zj;-xp_kQ~SuO8}WT9&yLr}xF+YNe%);1`<> z1v4ZJ{CN)o_V+y8k}n$j;;d6rAf?!^Uz>frb`#ka2IU~5oxe<92(D$`W8bRsv%CAtxqC3y(c$CPVx^NfRk$;ae59$i8lso=m*;h*U z^$#sEo%o7_=)~5jbn=V}x7q!;y<#e(0LU>x*^Pd^3lm_Ix`CvDHKco}U0qrE7vQ7< z;E({&qxbuL=I}>iffz!7heFc#H3bS){VJ$hk>4yv_7s8h;(AjSf~kOb)ihh zwg<>sQIstFWykymuGyL(cJbu|S~#Q1Spbnw;(%g})%Er4{QS51;|B)^7^DLKq=qQ@ zHDCTLhJl9-$j{#fm>a+mpFwZGkQO#6bRc187Ze~vKnOA9*V5Y?!}9j)aYdyVB?Mtd z<#9XbNx${+&QM7Y_V%qQ<1j8BPLuCk!8~!ldpQ~;udYTrsxuY)N?^m-EVB1?mua^d z+s7B)BC!^y`(4GwZW1l^#OWOWPG0E(5i@C=q|ln^R#FlnRA2zNe(VnDm5a+u2DNaR z+%M#>=9ZS4-$s*Db7lO$>LYrpC<_YR`t zCYgyTAHgQ}#&tN%ISbYHh&(SF5u-H}=NcbzR;!LxFZM^`DwpX8AH2?r55pHhJu`H< z^{KpEJ>`h>L_k*p4luYrs{(52sWt}a`PRy!qM}483l1eRv$9UqExQ247D*~NHaz_0 zO7?0Th#1RngbZIPCH%m}h5S==)Y)kH*Rw)uo~}>gHS(5ayziRQ2YNUf#90&T zEdO_3{U>)IRdw~KFJIEQ%~6l}nV3+Zs_N=479d*UUm!aN3X7!g--QJPKC9*_rvJ>y zSUEaM|Nedc3N8$U0YH6tn`fmWPQ@>*s}>X=m%X=JB=`Nz_#enWJcl+bP(A2w;2Vmf zRQ;DPV;g;Prlu<9+b>u1X2jtUm&1KnP<>m>hF$RJq`bN3MPNl5+1nEa=i`7(IVj?-egPykb>@U+EVn0eQAaQzeNB-hW z7~?}SZ?E~+u76ZfjbmReM>=c9f>DZ2w{cvzG9}vUo8N_yewmq6S{zrk-k%Y2JNJ1f zCok;0ifTN6Sxata8WK%+qQ7Hqk(E~h4~;rGYS=C6E6-BK#wIk`4Ga(d(1Qq#7D@62 zV)TUcD6|0X3U)OZ>#i;pBO@a>H}{hkx@GrY`~Th>xbms1<3Y&h*zxf>4oeGv&VpdYcDthxA0Eu;RbNtQNy*57 zCgZZWJ%$8jjgRr7jkbv+-|1LrqDFE$8-=Z^eopz!UA_BKUU`mDuTb?q+}6nCd`wB5 z>&PKeimA>ep1w0M5SF^tK~gd}E)J*o=bNB{f&#yXYX(Y6Q3C@J0Q>LTh?N5&Kd2(` z{T63^B?`RC2tZ>jbFrv>Ts? zq3=K!P_5|>^uhqRCnF^l7Z?8t0x!qq=3VxEi1Xv_1mJl9)9AOJ?0qf@ist~y`lNx2 zdakSY1$He^F}XSZ5e9i$=^Y#)z~9clA`MYQYqnCN`e>jFEkX z$9vF}fK=q2H=1oh(O~*+q$152c4SF@Y>Xsz6yXfT>Dw%-k1>otKMqr-O*tT)NrEc{wTeJXX?*g|oBdnnU9mh5-yB0Qk75`19xa!eSVW?}N@;W5 zmM!z))XX0)7gq5J8S4s$^30z4nO7qQXr;I=*Et9#W=sBmHBz$L+JY=Bd&R<_W!M~G z-2qW}akRYLIDWMo@I)9t$)%=iTZaba^cuB}R>X=bDx}AFUsO+(P3try#>ICI41*-U zsHp$XXaI)KG$oUPv$=VX)BECn6fbbX5^RJRuFCBJoF@p6?<&3`reCAoj zUuT{(CmLG|5Sq<5C@_EgclkNr!O}86H@9p1l!=X}Cp0#8RB>`Ez2r;EPlcBB9>{;~ z+j;vNA68&HoceJWUq9lG{Dg%>>3M|QEL;xtw&`;@4C&bnhX?wu52v+Mbm-F#Wy|8G zShs(%sqLV6cpOz$LZT8HQ+l$vlOlDLkMck&Q6MdQIW~o*9vFdYIzA2~sw~qlqZutd zXhP7FlLzZh8e}}Kz44f=sdK_ANCauQ%t1bI)W6CbS*f|OAVRfWN;nDX*rC;625&@& zIr(L$bk3hmy~7Sg3KXy4Usj)p+0*@A8|1)CMAfVGnn9SzA#TepG}uT)gxt*QMGHQU zPe@uTbkANQv)pofO!3=W1UehvV;ulh^U)$*-<&)kqukFZ zt^8x>b7ye-$p?rNR4&CN&|qhOjr$-gi_+j{>62_RggWttP_Vb=lmENQ9J^9hWk{)2 zh!iLY*lL|k*FAl*Kr@Bv$P_;-2aTzG?aFw1d6n<{(PKtNCI$`;Q@>2F2{>wk*AXF7 z!F5G=om{0}P}@4LTk`ks;ce}$xCCS*S$pXB@G?N!`|j`h)I2|ok$-dBabFhJX6(B# z+cJF^e}g$8%lr{)Y{Q&9_9hn?C~|Uwqi%=>d)dMqJ4^^QymmpVlE`~_hz>hJYb=_8 zg9dv%9OR_*Q5W7JRu|O^W7yPK(Aw0U%oRpCi@;iEuQ>}!;mXPNTIU}r*$FerOo4Cu z^{oV`Fe^9SBf~N>l4~ipVqKe?5ay0hkD3H7o^?mmUUHWd^xkv#*)Qft-|eaV1wH6r z+79*9TvH}h+1NN_G&19q-S8bdER_6pq_iC6euf}gq?)?zlwD44s%9Cbos6#iYg$ke zUXYy&Vj?O9qJ@!^0IVklA4R-(bL-*WO-w0fq1^aG5R&ZtObkoQ6pW~nO1tk#&Q4oU zme(bGLi*BjDk!*I@Hh)Dw~Tb#oy+A(jL2yg-Z>)=LX_#BMW>h90*xkzUi!K{gGUdrLh);W9MKQ^{F zF$p88+g#LL*ojTItKs|*Zz+Qn=9%!37>Y6F4wLkuGk3~*mMTVTqrq1Vn^g{ zM@5IE)r(Px3X7O4av;$ZgUK7qj4YXa6&TSPow$tVuiT2Q4D8xJ3i1oov<&zrdfg3P z>!xfdhQIPQdQ=S%gAD+zk+8KZ&qR-=n6Q7abAT)=sK@Pkg^C0re5@8hr?FwRZ$ONoQImgD`GgG;dbM?b+O@CPxjlt!Oh z+g)7SXJIjo*E(d>95`@7gvQgax#<(dsW8Zlg1SNh=>h}*Ev>g@r@{8d;1MC8sgfA% zDfmJqsz#*8|8D4Dv0UjLZhy-{k)E$0X-ax%V%sn`uO}e_frRNQSkKb%ibRdF*bZcg zieWua(D>RZMPCIKVr44CJJr|a^^ML9FDmsVfObj>B5Q|gjojY*2}UEGyHm+54SbQQ zK5|?f&ml=<1|krQSnbhkpX2cISC;h!#Z@Ig<&I2WG+_+)jjeHlZJYQR z5nE}_`<5zT{2vu@(UtZSaTG9{@_InP@|TBx_U=!}$G zi+cF_Zj!`t?KRc~5Z#xKdpvNny`bX2fWSFwD7IZm9k<&^R!KquXz2-=bi||k(U~^% z=fz)kEZ7SsrtAG&+u&DrqAdYaO}g8^2@IPt8%6<1M+yKyg3G&iGjY>pc}mCT09&9s zfc;`!JS%Wp?i=4n&sCJd@nQWo6K*x-MxK_XEG$^e0QBCE9#JRE%u7-)>Fi+A zA3wqj+#w_78KnhP!Im^c&HBSm{ZdlX&DcuF3weu4B>(Xmp;#V|GGK(ygigUTqXyw{%h5yAlEc7D z^2hGpB?X5bfsd)s^V-^7>#3BtZhP}1rH-!~jdh3-BVK@JBkkS)p}*D`@y-Gb(bw3@ zsxKzh7U`pVURrJfh1D^}<5fVO3*3HMntLEi&OpE-8t1CW}Ls z-U6IAr*DHczw>o83?yhy7YAeSBJl5YX1a|E17*IeuWfLq;Cy6NU&BI13>*dx6+R{9 zHsSnPtA67_QGh;Qljk%(zF(ht_p}&GdHI`x;G*6og^5kH3`k6-8c^gVjS&qVol ztz^1yS7C0_<+g=JV_%F65Sa240*qdoGxToQe0vK9`k%7?E`FVcPnvBWM9f9@!fe`~ zVLyR2JEtzoT9~ZIfC~QZR<(_z`QejclZ(ypFhm|?-FA52Pnw%I6cxev7gez?@hyw{ zl{IbZu|x3n!(H84V35`#psUikS4!=WGYc#8!}vBwJ0BN!(#{pl_WW5n*^aR=rel(0 z{*M8=?tn=_i!Y#{$*fzgy?dA7X@JZI&6a54;V}MU`HzlmcHGI49%F}@Jjp?Ma_#>~ zY*Dr>cGi0o({U~UiRjcF?kbV7rSbgk)IN8hu}nx# z^*XbIj4!$O9>)KOy}pYV+1#?gCx8)U@bJ)=@;>FG*uNA9bjp#$*dG5=7b8eN?$BPc z6=>(uOnr0B%^}L6uR2`I32K@X(;8cYF^&knk22oC zG;eI0eH%_5bse?|TU?=Y4LbgG?Rp|3gUs)lm0>GtDf9e2`P&&Y)aG|jED5ak8lS!x zdgwDZfgP2>RfkGWil_fpArkC$^;hQ@40Y{Gw&uAOr-F7EnN1v?OvfoxZ@+@iB{`&Z z^5JId)m%H%JFbW2C7*7okM{PE-zV;~C1KRh(pa%sCKCIL1#N`3oMDA2NftkumS`P+ zGIit2N2U-)y^)XXCT3xNgG&Ny0;9|XJ9c|^+0hojNSym^`>}1=X(&1Qm92$V<;biT zMe1Kwodvb2v-bAJ6K;s_)0>*^Ms(@L>zP>|lup<;&sQwG+bIk=5LOntSWb#Zbj9O5 z5rB7cbb_Os>bx5=K9d(!QO2r1)-?878MG!1k!CegdplKW`CTz(Vj`WKT-&C{EFr<~ z@t5ihIj2208sRVhQHj4KM6-1bFy$^E3O1vvDnPxONg_nJ^Lgm}9A?KhB01`YuxZOH zOb^}YV>S|W#sK#q$u?XR7Kh7B2N|2=P~&qJWq)nFE1CEXokcz)dnL?8 zh2dNa>cA>s{gcz0LjquMR4l33f6BrB@>hnFt|Oct`!rfBxBP};oAZXAvb5l3olj`_ zBEJdsTPkcc!utkL<-zY=Uhdc_Ns!JizR_BLK3m8SbLMFisasogjvei=@Wc0<*gpeH zLin;k$NI8!YT2=y0ovhXT*!BHq;j|E`MKe|4RdvNFmC?`JZZ#rIUuJ+5oTwBht}#! ziOT)>-{@7rI#6Ifz_DO$Qq}=-f0<+QRG* z5i7X6rD3uT4$oGb;6ZHm$2=6nWyuAdJ8>lFZx!!1XjWUko}84X`!U%GD}L|Bz=o`) zx;|mxqqc-keA8?u_hR1~S%mf%7u)j{u>uR7zGeB{!ucmuj{n(ChodYl`FxXWL#}m% zvaZ$o86omP-&|Y!qz(-xs2FK3*RYOWZ%;)(4l<+9r%i8wT4~B}){M3JRYEe#%kP`Q z-DQ#I>go!E>a4BB|Fma%3Vyna6c+!}+vtg?C8kk>iM#i=FepS&P#m+MSzOD>APqBK zL#-$%_ZmU`Pfd2Qkd}cSHT=+l-DF$%7&n!bkxdr53^Q|ZM$MNmn4?n@xVARTW))e3 z`y1bhm=k1v%Os1lw@lLtC?vOo+YHfDPI#rixO;hcs899VK-0OaeiBN2_2QQRhas{| z|3JthFYk*e)DCEjL ztd!n#chd->#?HWH_pDCLR&EuT8>>`iOsi&xG=EdIRQ$;4-pQGHlq)iZOlj0Bnt8N2 zQRhi0Jzf4FzC5s$eZ$poc4+S480}}^JIF)Z`)A=9nCNVw9sCuJvnJO4g9$NBLyFAm zyeSQg=HL`E0o~d!;!4Xoo{QovmJCz{wn|NEz)DA9s=3ubgt}VDZ7HGUXY!Ggbt;Cm zIwi%$=o&W1aTw5?kO>vT3$J?iCH>%);Q@m8N8-$1(o)I2kL-kgFUg9Wz8ezFQ7KG9 zuyIsal1slENRPU~{Uo%uL`Iq*lc1Iv!;*lSi|U{ENm`&?TT9vF#?_*7yKSg_zjxn~ z+;wksW3N4-)wAA}6LZ>2JFdix_4@?7hyngEqx4&Q0%aUu1LHPhU!++$nj$G>bE#xW z)K=-YJq6u`sq|ChUB1^dVsj}eSx62l1!~7`hhMIbYw^?iINdOOf21YV(QMiGI8vwB`WW@;J#a(~plL~nHzXSkV@ zH?*0FSynkQdXVKee$XH-ufbMS>1gh2liKVGc!)V1rqzuSwK68LwKfDHvOpcxr9|Y# z)$}Aui9uA?EJlz;2OA+>opej&ARtpDO3+k=T_}RYIM#<>kUo%qi+<5x>2?@3dPHeN z%hwV*=8bEy`uDNjPhjoBbO5$lkkv@CG`c45jemAjxju8O!EnF5R8)GMN46R}Qn}T{ z41QBeymasb57$4soF8p--<)V_64Mfc2*lId;>(;|86NcD>#73gF&p4QwEt0jBA6D> z39x(!Z5N)opu&zm(QSo&bM{+=Sm-W@sspn6EIG84D8uL?Bm>+bL{nwa_w$;V2oPQdmP{28ylS+mb~Fh5zecGnN3bm6XW%(%6h z5&19?7C>~P@YWYm2$AY81kvG>8{yW`+bcAIa%}VKnPb0yyP^EGrZc3?Qu_f|)iSU2 zi_o+N4>b6G-NdbC2OFQ&bazKx@gnB^BSI#4O{kNR1uw`SlN!jvK)%PAo=DiSwPM4| z*A!~KO!)zCsyVo1uUfOLR~>V2Ep&VJ6(nK!cHb3ulUEB3t^!m@;)9 z&MR{>y3_xeFJ?3DRiXBJ9i95QxuF^CUwIb(5|i+&8g8)9T0gTdMLm!%elqQRX=SrI zqxg9dMqk3^S?73q1|ypALufqD^zV)H`uMX&Z zLYGrW)*l&KQ`-Mba~-$*`O}KQLB0DnC++Q+)4q1(bI0}ttXP&+{wqWBwqg$KXi5e= z$PD}L4)IV=VuN|6{&kfnj1m*rFO4@ZWYCWCOy)zSSJce$IkTopwvIb=6#c{ext7SY z8{D5AEI4Ud)`EYC)J(ECh6v1~@ki~h9U7TTOjWF}ge<8-D`R422G>3E)21=8@KE+r zK)|d7g;-7i`eH1$E?Mlm^3~@Hb>Y27MK)UM=VKih91rXMt5KDlm7&Q#9koii?IBI- zr%zs?U=qK4w?`dsq6)&A5 zzx<%-w|vu{IK*K$`$Jo8;$JlR11v8uM0xJbR=XsC1R>__T%Uo#EW?|;+E}=HtF#kp zZXmY7{2O7h*nlI0@s^?irH4@7o}@Meq~hq2b1BzwNF!)yNR(4{!z^lHFJ3gf>P9KA z{Ojg@Py%^-0Vzh6@b2$C>51Cx@zePWvUkmsdK{}q6C~}NH{8}V@rt)zXo}Nw+E`PS zkkR(_pSPU6aQ+qTx9cC6_!`3sBe3dF5t6m;@9rnjM9rDvQ3-W;9nivni3;1Xvi@7; z-!%$HehaUqNN_7tcPDOfPNB^rabE}{LNd&-z{ckI-SO*BtjN;hy`i9qwiL_C!)zr; zv~--#<;>U&B^P_H{ts7yIZ`Y#HCB9hw>{M_f2`^^(SmSt@WBGYKja6#G8Ju2A_~u5 z&+2l#!kXU?64}BarPgGIv`C2f{z(ilXU0gVqKQtnTq+~6$Wq);f|h(nMu<5NG!8~! z0V$_CDv%?SqqUcf5A4hyPo=ZdxFm@g2OJmhRcO`)Ic;olnG@tPW0-JqT;17cMx-?@hyMOf9b?Oq?|&!G`((QLr=joC z`M}6GQsFT@`#+;&&)yg4!2a5ZPm z${&w-bvG$iry@8u;PcrM2}eKm_JRPWZTP}mr7$A7ufJs^y*br`ipDF@(2|DCN!DHP z=&sK6kfLSie!aG2?M>1oZJg1#S8p?ns_@HG!N?pR>cs72_m_!K)H0Xnhljr>Uh22X}qi*i_4RQA3CeK3aJ(C;k8Bft^OfUTP ziNv1USi>XyrMJuQXulQScC0W0OB(6&G0NrR_szo4hw{y^3jzgysbx9Mw->aztb~L@ zul~3#Cd(eIjeV0rP;hAPlZTA#o@;O7lo>m{LcC2hxgz;|4@c(_J*UdvwrRRU_}SS{ z#Npf~1|MVr%JbvnUCnaL5iQQOH;yGLb*p;qjlONG3Z- zPVu%Uj=zkyWRyVb_^r7tS$<-7V$u(SehRYBMwXC$5ZNCDPT2g#k&Xf$n|MbDQAOu@zXyMOelC1P zKc#QZgdI(N%*fLQav*c*4$0eTwMSFbFxMIPjS z(>}{iCt8R@hy-Z_aVqEn1oE|0(WfNuU;?ela{w0=!biLrL{-kCC- z)q(W*IU0`h1?N@5l20-wNCUH`GR5gxewM&1F@57Akpz*~#G$v-M#lTp9Rkl!Iz+_W z|2u{qBB8bx5{L!vVW{+*;Yd2zp|1}pKqLh|5;eTk*}2pi>_PdIcDnA)wo)1sHYJPX z2jid-VpWr$-h}>_M^CsUk_y+eaKW_Z_#cj3?sNrXJ}m`$2p*nWcm#y2sloZbLnsk& zk`qAUV`B^+kbT-&2Vcm9@v*VNL)mm6LsPI8Op`PTAkqje#XW^|>`$Z7XBXx$G~jOL zO8;X4KWSg|O)e}C5Ur$+??;p-Qt6`m}jS_ zrsO&)2tlFTPx<~CBOtut5T98UyuIbSxq4vv1|zpKXYZ+mJT5z-Va2*TA)=ECSdZmQ8+etbHE}80+JYB-^3(kU*w0p&gK{z!&7V)dEDPkU;jDI?PlG;2w@iADvQ1ciDqt{p#0AWD$74Q?A%6`V7=;vo=W*Q`Yk5Pm}w3uM6A-jd&#}ORO zTFu^dN=;B_PtWbuRe>8aGO|*k8YrX0L7f4muUnvJP3zKp`Ff^4thU7w7ac(^eBE^5Qs^6tlMq2W*o`KtRqmdYmpSEEsqnOMQHj(*ecH?jx#Y z3pO@(@FOV6giR83-l|>pEzZ~cDBs1=a;H*YfWx5h)ZQ#eG2TGSorwodG^Ubg{J}~l zL54bkZ^${!jGK!`fz@b&_+aK24Fkh=Y3eY_>)781KlWSi_o^SKbc*)!+$z+{N`z!AZ1D zgK#>#yJ3+rFf<9uL4S$j;%|EF>7d+Ik{YHQG{umW9neX)64!jBv?PEIF=hikgVUNO zDkX&gf#y~zi)AV2K*jETI>ZkOZGrX;hg#y(v%`Dh7epL_iWLPRq<(WZ2@nO9ndbrlzHVvV7NjFJ}vVJ-vzA zG|;hQT=6x+%Em?&AoM-?=zIIvZxWciqJLcZ9Kj^(vBP)G%_%-7;WZIWcdcNR*7gXI z$t>sn<28d$vA@Ws-U~ChN8w;^rnbDT+KV=Tc6NT&Id`x&qF}9kUDj|Rl^Txsg%>L4 z=J#S>V`^bfy`Ij<{5;V|XQKuh`GDScK-2j>VcWyz|Fi%vY!fk)MSO0eUqAdmjeU1K z)&KkVL7_y+%q&94%F3Q4yAWl|%Fdn#pQH$>gvjRDGkc37JA3b}V`UtB+}G*z{ocR( ze%$}u9_Qh~gEQW*_iJ3&^?Y8>=Pj)eK+)A>1*~Qo1Az_U{ihBZ-9WE7I5-$)HT2;_ z`=)KCwzH(Hk5@J&LE7Lb@G<*ONzT65H@On2$yn zA~6G?R7LcyqM`!U81x*Emv46$S*B>@<58~5?yM1sZKI=Z`gL`6r(#=Jqz4WQT3$$8*wLXYHQj>z@( zbw@`>G+rpDb}qEtH$!9f#@N~1iFdi7_~q+g6}ml7niz{sSWxCR<+fAqJFgCDO>E2$ z4xKe|PihYGd*{^1M_3_9f$#e+!~0%z6uNk z*2FTY(FSNI`1zgv{%uA~90rSL2R)#S)C3L)Fsa`#`VL<|pPQ`{?c%yTO1$j;b>KtY zjeiQdKHFN`_LEGd$6tshS7Py(i5I0^-b(2RcRJ8*6SncIi%iIR_sV74+iszFka9sq zZEof|i8VgVN{&c$AeAAICVX}hHfpv(WBQIiEZ}NbWx%2+GJR8M+=9G+wC`3_dVbp6 z^eByZ1wCJhK9d}+vYA?t+H0M6LO^9+BJqXiVA^I=<6%GD<`l#2@p_#nVUt5$|D0b< zt}kli96T#?Ui^m{-Q{1IrT9B-GvIK?%n24L@zpx?nQko!y=aN`00&mr8D!(m0f8GD z)%R9Mws*%Ilu^)a-AAxNF}*}Sy`;5Rwj5NN@s5$6hP=>hty|}#CeEj*NS>$FGY?%l z#(!pYk+}IBJ>XjK8UM=Y*V@T*<&^VkaHE`ejeua|&tLwnCOD~O?2?j`LqmH;?t0a3 zc@NRBd%4)G;6MkhfCiD6s2KN&$7x+Eo3_JYUQG(FbmPEE@gfhMl+Uk{P1BOG7U@6I zY*fLrB+>=Vv+Os2a^BKE*j^yB?9yS>DJ+iJ9{-e2$1?Q_^0?SnW=@4q!aHzPbRgvyRY4jR>Y~{ zH%^MM8n_oHHC~>PltR}KS9dbOmG`Wxh3m|!Z=&WnyFfLJ`JNHIgip?O#)gh*2DDr> zry5{2|2?2a0#T)nvnk^10Q_%-K#J4xZ^_9 zYH^GoW^|<@v#YZGzPHd<`Vvb|y;~zQ(tb**BI1H^g$~C5$a&c+!(rmwukKC*`q1_VQn5bt((g4f7nv`(-??m5 zeX(Jz>~K|A!>#O!i(mmmliP{?yDKF^xeQl5nT2%-Y2M~!yi8CXoy!h>6 zmI{51rvA-y+jMjT->Ok4*}@149$N!drpN)h3A~11()Gx9>n0F2nP1w$l!(WDbrn$M z-zsI%KpX_#Gx9B08*9_=lU4s_s$fU6s8i@qDj0YpzE|G?Syb^ZbnbHCnJ?mR}pF!7HDI$aKk_Y&QD6H=J;bNx3z*#4-h}s7sM89 z4tFmtnW5JEO*G2akrU%ME~N$QBcU6kT)#%nODAb!0^9C;9>HdS_p7$~ry@rAPfihs z<7aO+PB~_TfwjuzrHP(SX$1oRH|CgPg35{-3FGSsono~3zS!LhG6WImF4rXlu(BT11Uip&Hr1-3 z;PJ6uP^l)W#%v9r+v+Ez0CoL$I&_Wv(EB~6Z!S&qu0(|^(|m=<**(kZn)2Xr+$SG7 zP%hn>W_rst9-vG^LbS5o`1``4mzN3&1kYkjw*}J-?uv8-$Bq7I3WKeQ**as3C`9}8cxAKCa)6XTZ$+eA6|=Vhue;=azmtX7_4}xL zINf2#=NVny<9J9}`qu}lf@W8<)M=%DZ}s&Hz&bgy=zN{SKA=o<=;<1}O&2Wyfouv5 z2g^sJ)8SgXZXA>byZl|zq-&4EN=GVn@*fhC{=G=~@Q*&*yTUfUbqQX|^cQybkZ@QC zMNz7#MFfW_KiQpYUaj^-KbU&oFl3=3G-FEu!Lir5K-q)EZ>duDCvs2V0^dCmpU--P zzV@|9NB!ow_~nN7N}J0Cr;U)PSXk(1C33rCK=g;aewvp$BO=;xbZ~$=~v9KsEK#; z`=NVRaNhsq5T-vcB$T9;)XPQTNoQ%~OBL!9-rouDAIcJqJ>33AaS?^vpjn#{L#@Rn z11gVuk-bWYRBuUB6a7-r)3Q0KC~a~)YD$60!5Zt*R(d~&+qYWrczKOWA|Agv`e^h} z>$oX>isW9RhQexYo}u6R$a+@gAK zADhORyOpx}B=>g`A3tvRq~!X-c8S~-Cqz*cc1;tRxqOYfZ`f@5CW)>Ka9F?=1}K%k#}^kB)~+F$(f_^vkp! z3*>gJ#-VJ44Ido0e0=R7DK#-M5QClPDOF3fSE;A_?$rjR$R>|(4w;ZKpG+c~#N0}p zO0()NS+FT2en22vXlgGCdl!7TL5f(toz2rY`)rQ;T%Jk}o2uB8s*5ttbLf@4;aCwu z8PfoC$d4y6!xv?c6KK+p7OyE~ALbe$AJZ@+HE%$pQWgn%g_=-iyqZ!7Q55xrzJIWv z5)_^U`eh^>F)A~pH%OIGvP)}O0dlyBAKPvsR4(OEIbYlm%9ho@Z|MDgpMG`9^@*Y< zDT0>&4c?-g)`K=4{Rd*stdF@1XmXPaGK7(hpZNlsD$-28d~-II?_@u1`@5T%YxAT~ z_jWp{{nk?E*JRD;vhd?$K8bx@B3o>sZIpPBOY!gW#J?HYT6WxekDT_tmFGcs{Ym9q zK@&QtGOLxdFL9Y{JpS*X-FM`dFl~(`jxNZ^WR^@=cV^0{x;xA-63&hdcU)e?BybW(e-zh6s(T=t7y6hU@6-kXw@J<1ZT>{6<~2R?oYp1w=HB zKkcg-7rTSSefpQm=#AW$juXK`y`rCAL_~+ayu2uZOa%3%oJw=&x{2F_`k31b?4HSF zy?~3K7bnCt+#|;k|4hd$7w|JE;}r{WxX~z2q%z{1_imoZ zV}IDkGna2p)zq4;y|xh)y(VLTG)xrv(VTt4o#L_Z?05@ey)NX^$Jg6+iLAMTn8`FA z(P6jQjLf`QzGo?vosf^Twrrf#?M*kY`6;E{LGlNuG)=O!?8ea0mUheRYQ*H0OFS*a>Y&}Q;UO3weths(NI-d za=6XjMJo{moWtz28;RjH%iyH75WFaQB(Xn95L&;Ndx)s zNL225Hw%6X(tXQm6@4mt)M8|LR^cPIZgO6rl_5b9Pk~Lyqku%M? z{(aZU=QoFA9v)kzay@Wgce7Oxi!Mq+- zpvlfUiNTKRrO#KeH%&iz5>Kv{;Lc@Cx!c(+P16z(E9@x#XAJ!FV&q~HF2Ei@@}Dsf zT+zM1&V|^e?4n;2kAX2bTJDZHhkY$k%Yu73Z+eRV?=i?#U6Y9S!GT?emlpHkW6VvR zpEwo670!a}*yp&M9KYV(rfq|}&}NY6OpWwzkP8ASdIoCJM?}UJX6%=ehI;!ggs^w4 z2Q{JE$^8>yY-hb_yVm@wf8=Fr$ba6NPf=l@X-Q8Pr&!1d^L2Ut*^Fhbjnyq7%}ld< z6z)WvPWkh3bx~xR+*}J|3fSTL>QZuvdfYQAVEJUbH`FyRuA^#ybWbOnoT`_Eu5wq? z(VV;Q9{l6lhsqC;Ibj3{BGZ+qUkvnIC!41mo+Ga%y@ZKBShz2m_>$nAD(NB*7v4qv z+S;iWrce?==s7FU+Zp(lU_Z5EpgS$aq@5O#RcK7z#HXb0+%SEH8by>wuzbqV%h6a- zW~5=U;Ci8$Z>21Y!(_8x@rfJ>_BN*MJ}|PqQ`{15ap;B)(q|7-mU0o{6fIuziYbxS zOtZ_i8R@x`l+%RJ3CTxK;KnOtYwh!&(k{HmzH63MkU-+{>7!0`n_nf36Ux(PG$Mn0GoUX+@cAD$xjPKmPddY?OF_3OliB;>8|L$+= zzcUso&2b8O%gV}M*yn@iGlOBVrmMK;b~2~U&yxN-9WibaeV!bfM8r(R?y-Q<-7=9qQvt13|a- zg}Yih?fwT?l*jGcld1l}@g8`5Zz!o8{WX&A_3OCkw~^V!*14%YYqgHGm+~fhnsV(; zq7{{f_ta+MbB}j&k6mK)+qxgqHp3~z_2Yd*#_MyE19A11_hRj%a2m@rP%1yg-KI!H zbq{9}_$Bh>ILuHP8s#nKbX5*-l&>kob=CyhU0#{q??~<3lBKlsjBbK89F$4V*U#5C z*q?>|{wXa=k!WMgM7DfSY;32dT*B!5JSvn~(EUMYb<(6zU%9zbmZP5&-+B3)yuGCl z9jG2p)^2E%N!TQNMJk89+N8O`ZMr^|vGCB_ls?4b$Rs}*m6e>8m3%P$%I4W+*b@xx zAG!G|aw9b5oNY9#(;fWN?_+)_yh44p?(ONN651&Vi_Dfq%zA&I+50%)A>in2?$oor zvhRp3eWyDM*oS)w9$GdUK0n0&q@~?Gey2*9vZ$&qDt$iE{0a5lAbBP^dVYkC^D~B? zH=MpnmlgU8VaE>2{-m_^I6Ir&Na#L&$>~U-MmBkUg5GDHs2j(78qG7AHni*B=Lq_` z2IdP7SnrU*hT5M7yH4jNu2*3eR{knCT5na&K1ZLI&P6TSQ+Ti(ZN!S1QDoef5SQ|_=}V4bf*8A);Lu@d6G7prdUF=q>Q^R$)!*~cuKU_U8z)BJ>s zoELE-o=_W$MAw<$)q0pEX0lf#;IdV=l5@I&{87Mu;yy=5lIn2z?}s;N6Hj5Nn|VGe z^2_}D+$lS$)w`{j)En8l;=+PF`AOm-*eS(i%@jEQG{fOB&rPYuqtbVK=|WO32~$WX z3tUQ8)7Me-4|F@tG)(7i$frN8>GdRpPuyb)r(JofM{{@5y(R9W z-j^=leR*XBwsKwS1@W&0JrePZE8fDPV?LKGN4;*>cA5>X%!T)Bu)m1kv7Fzr0K+}x z)MYDnW`(NB9icU1&$~i$10CclC@E2QkN4iS@-R z3+7~KvjqcZ&v7Ns5lkGv;#0PWuPO6_+A=q>^O!QZV$0s8ZE)#RUMv$A9=)cifpUzj z22(3fG$o%17HGPab&I>;_W7g&o9Ahk7(g@$KJJ z_H=kk7pMV3NtKilX{^ngBLAL91B;7k59Fw~J3mZefI{_Z^L@un?DiD6iL?ma;1BT3 ztS{GA2g0G-=9h5x>r7BQWnxNUZG;nz>mI74Mnn68w1TqE6V111i*LnKw<47gtoRlk z_}JH|GT^IsqDBThZw~2ss0kDjkT=JHIKrAk{MCbgjnEAVq-_EFG=_R*t+uon!W9SA zZ-@tyrHKU zM@A97YQ7uTGor$!#MQOL708{CM^Rq<%=;-|l;gi)Os4Ov6~d6~&p6O?@Emq>Cv5ES zpNqC@8FGY+elg=&u=~%OE5Shk2nE6E_2&xHBV|7E{bk-WQpC>p8an6N&@bts_b~7^vvdIAsoXFZ8s+`(I|u3dk1$VB3}VXp-Oc{@l{S4K zs>a#D(25pqsIdMfg*;zj96dALNsdJy`#x}*X;jJ&dkjkoHPauBc7W_rL8D*dHGXk{ zLOrq8?rdVcs|750yg~x|`(Z-||J=YrlJdD(Vz-{}XGN5!n0Dh0f90}x@rO{;G*#%V zF+5Hj$;wLn3x{`aWKr~q_hu91uS!2|UnxEJ!~8r8#Sg@#olq6x4#px&Uz10_#~43F z>L3U=Cgvuhna12K+S)jorcSTd7ZOS*CGMToitY6r`JIgUwQ(rp$de%ZzV!w&=9Rro zy%MZ@(G-uLK$(g_Ia)!72eFXO+Q$}3T6S5XB`&;vyo`UlDcw#M(@SboFSI@4HzCE( z!^OO(4WZo3``g$nC%R+t2f?%Vu5lOYz#kr%+hHON71buFD7b9ZJ*`XPODU$1SF!iS z#&yo^Fo#Gol9L?48cxq=Iy+ppM?-OOo|8zj)=`YuKPR=R?d%Aq+qTh0H zZnNpRt&wF%Ke!o7D}r&%ra~|dA$;RT@!oVOB+KdGMM>|E*KMQ&dZ8LCa6wvDwh`1>empAzp_p6bOdp;@<78g#JcurifiN@H zBBFXz^x38jf8t3ul`_svebq@u3W?jf>R%2Xa-A(xnKXWdyc7_eO}+bjJ;(cV;W6i} z{p-_2MFCF$umqG4KnC+8$O8iq3BB1i=H@7n99>=Y0c~AqyfmzG0nEv2F!yO)T^(ov zAOr*jLCG0(D8Xfd9~4UsYrQ<7$#OEPezTdDBNC)2IhdJKK@u4BW&v>oEy(b`t9txz z*5hU6koaznn|{aq!X#ybP>d_*-#|R5i4spU%FKVKM!PRhFXHLdo`2G~`=wibqrV5U zxl#RWG2@Y=w>m2W`uT=cnq^~wrQQ!2y8idGb8{!h#|ZElGPAIF`{Nl#6^xVCdr}Dy zVq(=LB?6s(2^~+WT&%!44H{rqMi3~CYk*BsQR!%DfvqKUyGnuNZ@TRPTw~qo;RLS&J8x4N`4oXNNm%@DdJLtu;UiM#8I9S}-!(6pBn;@iX;%_(3?>ZXY3C{vTxN%m z3rH!|Ct;_xibgJlYu|Y+^nN%S_rLc+A_HE&1nU1hNQV?JsQyP`7TSG_K?>z)y#fSd ze*Qc>9f9_EUqC9sT?iVSPun;P09slFnN5(>#%iW~jT##nafP02z`_Af1y#)U9Cpgk z=c`sG00r&U5@d9EZum{*kGS%pH;So96k2TePr9Sewp+c=j#y9Bv;*o>*y8uGsRXg~ z$&e37@(9j>VQgndM=mBE<_{$m)tfhOh88`gj{h`mZEdkAM};y<)qyDj=<0*^jqh6N zkmTV~Do@@1EGVF;_HBVexVf2GN1~J;_@jWzCsrU747|wFYB$pZTPfbEMKgnVG+S z{Q`aI^oWRvD}Iad?jYSeSYX5x(OObc0(!f4wzjXn82TQVgPO->spG;f^(xQ}rxmsb z^DTnzWsnN(0&!$;z^L7uEG{Xrjg30P3>je+&+B{+$ZFprEq%peJP4(s#L4Wf;?;Xo zptq!uLdx!Nd-{>d7!>jyUbwS)S8u(2>wE#ER+JyL==f|g!W}=9GMHfXeRT94=3N7* zr-L53*K#jQq>{O{^(f3E>~e?20_wNQ@TH`r!4V0<$;rvd2w*LM-fR8Qx)@o6Xo78b zYwHNCd$vR$rmMle$D1vMg}fM55I)+dKReYiLJoi&P9PB#39V4Bm9D*=-5LlC*`1jA z{o+ag4h32rZuZi0@C*HQqPT5r@l0RWFu~;n-#_hl|Kv9ujM48ssN*OP*t2#i| zPOsHT;8uH7xUS8Ll=y9sbiK>q`QAB0}N-+z1bVI)8&R<+N`)YKGQThqIJ0@R6)041N188?WR zirfB}{Eu&^o;Shy4sVmHLgZm1>M-%r+;<)?CWt-48k?G!MMSPOK$|@L2;w5wNJ;rz z(OM{t<=NSf2?-?N-6IO6L2>b8RJ36%uZe74c&Zl1WqMHo(1%wL9|E~^VcX%P(+v=3 z0N`?`nbx6ZZ_-;9b9ELN79d^x<&L>hU&-<2k7gEfN-Dft9GthS%V}zZ|9LvWz=d%; zbnw1>aZK(Iv$dT)6!!`ci;Ee3lwIDXmeNDId!7eUiBRYwp8jE($ROqO5Sd{AExNr+ zKa{}O-uml8$l0V0598Ej@A})(pKw0+pLs%%HlUn>jduT9yDdaR0geX?W?_5oRSi zBH~-9a1KZm-&2&A(ITUvIRqSXNW5ZkZmt+s2@T$Bc+zJl`_2sS^zlH7IK`qxEYM`idb`uX~8hL$QHW+I>Fcp^HgfKgde~ z`-hH{G&v(9BmWB12f_x>;|BQ}QS-J>u@U*!gI~fW4<9_)p6zLCKjRbS27U;rje}PI zDLSXXx)}uXRaI5LB+bjVYyuC#Zc#ey!Og)z-{HKfs>j>uEE-nvi7B}?&oJqBjc!Sa z?)3~Z$5){m)-Mjq{%?qB%Rme~SpKWW<}An_VN~fwUBI!Y0d&zpi5u$}$jE54!c0vg zxvoJDYVsgG(`Zcv59_v0sgn@@;vPml~4# zpugduoAXvpLfdI%+)s+D!M02PD)f&wRVacZ$?UNve`jY{ZtXD51m`gQ!i zU|sj682yV4y~D4K?n5-jMtSX8C45cvLsXE?!?q2+ra7T^BEb9vsE5pVcYg#@jz{i%m*t+Ji`$Upf9Rw&<+-8+(A_ zRC04>{o$XzJsu8@x8dQi;hzGXA`s0&NK8!6_w4)2^F+S;GjF1ee4p-kNW>qOjDt9b zj!wBfPg>z^o|E-XC`S<~ZKGqzK0FXuocy71r`TC&V_dVmlU zLbq(!X*Y910Dfh#B48|^{E)j+*tmC~Cpn=>8q3nc0h7yaFbOs?IvcUvkYY;9$q};~ z6)-iOYZ3W@xohaPjM6dmoDUP8D`?;{zbx72CA^tc}$Ce4(N3dsk0e>FGiA15|hY_M^cGeFQ)RMt*L(#{iT#pCoqjC^mCw*Zp}98#QoGS+J|i?fAG1L_Nuh^2pee zf@9lnGZB1m)V|-;uQqh;ZEs6aD9@jJO;S>xHTO9LKkjdY!u7z`b`@OLNf;$>N3;TQ z=rIvd2porZxLp6BLtCk?MnFEIq|{z_W^OZ)Pnn*a%$KQNAcOS60ng;V9#W}i7Q=JT z`-6>Ay;MH7u^>9aa`$nbHvzRHa|X-u+g%+wfBw9>OF^omcb8!p{*~z-&YH1IeB17K z^&|zy2RbH4ejBx<(_^R+%@VWDZtw5}L=y9$VeNC1lQ&(OV&5MH$rFz|Vnb+fCA{H6 zCk25~OT7bBz?>{J-~mOw*LIKR47hUbX?$j>O4YH+^Lq#^;Y)Y)@!MBcCXEA)@SWJT zv`}>VI}es@Y4cLzNL059w~*i6`VRqBdLY0a*ZuRV&n~V|tj_)tpKJeOJUdkINJ>kI z6A^kTxKLomTEmVKisYr_+(PRT)t8n=%>8rn6imf^1B|$GNn#h?8UdgiSLO4&f1a6z z;@+`7Hp9wcQz0TN3$!v(oqBygcK_ZQ8TKWZiSKabcE#Gx4o$C{0%(Z~(}5gL+M`%@zqs-1mr@zWk#T{1AuQM; z;Lq{ZT6n}RREmlMb!eF4r@g?Y4c%~tC7J#vr|3*lAq^73Lv^i&e;KqIi^?B0$e>Lj z#Vwn?g)#f7-ske)aUif~sG#sBkr-f>pjZW|`s7AlFEYI1milOoEb?G^*NO!;Y$3}X zaDh4d@3?;)i3u?bKLIjWN{Co_Q2;9ugbw+_k3X{QtUei1dV3F(Fv}c9SIWE6%|idBRXUF z**H0Ez^NX#5+L4nT*iV{s(Ej8KFjL@M|SGB$q^VF{Qod(6`@Y$bsNwdw#h0)QgMXQ zgGFDJ2l1+_V%t4pHAm~!*wh4gpdh=6L&%A~z~Auw*(PX6zP@w~urg8_8ZSshz|s>! ziw_T=Fa|Uk6;@iXFF~0Pd}sy!D@Yy) z(`N&43td!yu8kiX1OD~FUK1P}aY!wWXG3_Rc#OEUco1+F1K|x#54OH=;sPHO*u4;V z0J|6%iZ71$9TAW(f!5huFuL5xeRzx8sIJDUj}=^2A@T&5jKRY+u$hPvbLU2QdmrK8 z;R7RbX?dBQ{4IFVMMg*C4VT(b5m7@qu15~+5j(#KcXxKK{h%_^A^>|K8cNFa(*j;f zz8g1i8bDq2ei#kb#Rwv5xI(OZEj4cg=wj9uLn05<)RQrX`g;lrdQT->CVuqxY9N3~ zeGK$GU?9Jmh9jF@s{q_4z&iBf2A1<;Ge5t|GuVss>)X5f?<@0v0u359G-_*_REbZE z4rgI4fSvKA*9sR{9=q~#bFV{Qr2`(8e5C%Bm7bj(rPc%4@NyjFZO5HW>>_z4nU4dH4!M&xiDFgi`y2D) zm^xfHbU!;nknQ%6I1X!2SlIb13=D?b@4!RaVY)H}Hu8 z4Yu*rFIr�kU7Nn2+uAeHrRdzCi$iH%~GZ%e>ceuhPX|z~3#MG|SaHao5hxvT>Mw zv|H8>k_YsbZOAnrraay>!th~8)bo1d*dnv1!RJl_c1`Gg-9D@x(tx- zA41M<+ZiheriMTc@0QpbhY<%`lTwRL8em-d*?j~vDz783DNgh~WJj>EWk4?fhZ(Sn zezbv#2$E&(s=pe^Bo0F@K*wLMo^CbS(+JsqPDn6RQ3>@Lo`Hk5pRED(-z5A_kAVyB z1e&*{lgRx)GqOEO>gwPu6&@5sExOaHR4UH|T;nQzZmM8;$a(qs_-2kCTj~b~WTGk( zK6vcRCZtmB>8q+63(*8uS06#pNOk+kdq~x!pE$}E~~rot zIg}GZLlaiB2f?-Z81jQa(W>V?Os>aRCm;LqprD}XmT(9?AESRybA<*uyD#;Ic0K?= z;dI9v=1;oA(SpCxtF`gok~eFEt8i4l2O`Q#@gqW_<0;EOU;zde=j!T4g~l>azG-S~ zob)|fYc_ma2Zr9@76k-GIXP39#Dd*L@pm0l7Ame{g8}oZsz4W4A`=F*LrZHIfB^5@ z5=tp~{{a&q@FklGq=MobZ4I$grM~hCqo47V=VClCj}Z>_CvF9X1B-Xbu3iN@Vb~Mf zgx3`}>7biLQ`WDXFIz`R=`9L1ujf#UdPfHy%LCbu5k5XXl#l{RvqqpYGW^a?_P|B` zqY^5d{}VKsGp7i3jiK}c(=Pefb)~932an~W!$Zj)W^WIVpYvO@v(L!LBET0FGHS#F zRn=Mt;i4zD*47*yJ6CfJsafL?aPvP-Y{dSch4?lEq>&WK)94_@2pUNhojJ0 zZptHW0(Kx+u4imszhMuP>aqvpP*4#iZ?++XMGox?7IlKKZtXNRbjOpo{cxA2T<;P+ zA^X+WM@0DiducTXCufWqoF6H#b)01m@!jD(f)#nE6`r#uOQ6^NaN{4u_^K#BEyi)7 z%`ryyVncyxVGmx8qF@+on_y78U26=(PK7HLi0@|IW11DoaWCtp(J*&3W$Cb+y-3-8 z>icKFPKnL&FY>}JXCe(PNB5p@!5w(;8>!$$ckco$NyFg3B#m{YQS2dt(6<|}jXS{- z6s-DvSpNZBAy&-?{S?FN1v#SM4^$e=F9}|zYy!5NcYv-@*$6|g(yV>lhgNe$OoCD#>Y$fU9Y6g79= z#N~>9(uuSm&+WKK=kp+<3%*cxOK1vdy3D9X{ zgqPbsmx;`2NMNEs~M}fzz1KcFTMQ0%M1D@&&1s?0icDDbE951Si?pw~3aE-yqiw z|FJ<}Z1J2=yaG-0<>|rl8=iH1<1|b0DmI>=4!{6ax%oHTEGE}va8iM@Cpz;GRYE6i zl=uye>&CJC+{B8(-?&>6epx^VufDv5Fc3SJ^_R^z)uxCuy}SerLn=)*BV~025PI^t zjW1+b@}LsV8`~@-aT_a^&pj(hxRM=MPQ*K-(aX|uY02Ei z!o~R)WMcHQxsA)6H3E(Oz19Dc6}iq;SM28yJ<*nVeZ{4CC70XSJ>=`Fq*PQ6P!vBc zT#!*Fqopj|^$)oF-#M$UU_|@~t@Y104z literal 0 HcmV?d00001