From b70ea2c087d087b816ee7c342cb145b10eeae3d5 Mon Sep 17 00:00:00 2001 From: didericis Date: Wed, 17 Jun 2026 02:22:41 -0400 Subject: [PATCH] Back the 2^(n-2) floor with validated diverse-disk search The stacked-only search missed non-stacked disks, and cocircular boundary points gave degenerate Delaunay (invalid disks, spurious sub-floor |Phi|). Add floor_diverse_disks.py: 1700+ validated disks per n (convex non- cocircular boundary, face-count and boundary-edge checks) confirm min|Phi| = 2^(n-2). Note records that interior structure tends to ENLARGE Phi (wheel 5 vs fan 4) and that depth adds two faces per one constraint. Co-Authored-By: Claude Opus 4.8 --- .../experiments/floor_diverse_disks.py | 94 ++++++++++++++++++ .../notes/boundary_restriction_structure.log | 13 +-- .../notes/boundary_restriction_structure.pdf | Bin 184212 -> 185232 bytes .../notes/boundary_restriction_structure.tex | 15 ++- 4 files changed, 113 insertions(+), 9 deletions(-) create mode 100644 papers/heawood_restrictions_on_nested_tire_graph_duals/experiments/floor_diverse_disks.py diff --git a/papers/heawood_restrictions_on_nested_tire_graph_duals/experiments/floor_diverse_disks.py b/papers/heawood_restrictions_on_nested_tire_graph_duals/experiments/floor_diverse_disks.py new file mode 100644 index 0000000..554a91a --- /dev/null +++ b/papers/heawood_restrictions_on_nested_tire_graph_duals/experiments/floor_diverse_disks.py @@ -0,0 +1,94 @@ +""" +Robustness check for the 2^(n-2) constraint floor over DIVERSE (not just stacked) +triangulated disks. + +maximally_constrain.py searches Apollonian-stacked disks only, which miss +non-stacked triangulations (e.g. a wheel with a high-degree center). Here we +generate disks from random interior points + Delaunay, with boundary points in +convex but NON-cocircular position (cocircular boundary points are a Delaunay +degeneracy that yields INVALID disks -- missing a boundary edge -- and spuriously +report sub-floor |Phi|). Every disk is validated (2k+n-2 faces, all n boundary +edges present) before Phi is computed. + +Finding: min |Phi| over validated diverse disks is exactly 2^(n-2), attained by +the interior-free triangulation; deeper structure never goes below it (and the +central-apex wheel actually ENLARGES Phi: 5 vs the fan's 4 on the 4-cycle). +""" + +import sys +from collections import Counter +from itertools import product + +import numpy as np +from scipy.spatial import Delaunay + +np.seterr(all="ignore") + + +def disk(n, k, rng): + ang = 2 * np.pi * np.arange(n) / n + rad = 1.0 + 0.15 * rng.random(n) # convex but not cocircular + bpts = np.c_[rad * np.cos(ang), rad * np.sin(ang)] + if k: + r = 0.75 * np.sqrt(rng.random(k)); t = 2 * np.pi * rng.random(k) + ipts = np.c_[r * np.cos(t), r * np.sin(t)] + pts = np.vstack([bpts, ipts]) + else: + pts = bpts + tri = Delaunay(pts) + return [tuple(int(x) for x in s) for s in tri.simplices] + + +def valid(faces, n, k): + if len(faces) != 2 * k + n - 2: + return False + ec = Counter() + for a, b, c in faces: + for e in ((a, b), (b, c), (a, c)): + ec[frozenset(e)] += 1 + return all(ec[frozenset((i, (i + 1) % n))] == 1 for i in range(n)) + + +def phi(faces, n, k): + F = len(faces) + interior = list(range(n, n + k)) + Bint = np.zeros((len(interior), F), dtype=np.int64) + Cinc = np.zeros((n, F), dtype=np.int64) + for j, (a, b, c) in enumerate(faces): + for v in (a, b, c): + if v >= n: + Bint[interior.index(v), j] = 1 + else: + Cinc[v, j] = 1 + labs = np.array(list(product((1, 2), repeat=F)), dtype=np.int64) + if interior: + labs = labs[np.all((labs @ Bint.T) % 3 == 0, axis=1)] + if labs.shape[0] == 0: + return set() + return set(map(tuple, np.unique((labs @ Cinc.T) % 3, axis=0))) + + +def main(): + ns = [int(x) for x in sys.argv[1:]] or [4, 5, 6] + rng = np.random.default_rng(1) + print("Min |Phi| over validated diverse (Delaunay) disks\n") + for n in ns: + best = 10 ** 9; bk = None; nval = 0; max_seen = 0 + for k in range(0, 7): + for _ in range(250): + faces = disk(n, k, rng) + if not valid(faces, n, k) or len(faces) > 20: + continue + nval += 1 + P = phi(faces, n, k) + if P: + max_seen = max(max_seen, len(P)) + if len(P) < best: + best = len(P); bk = k + print(f" n={n}: {nval} valid disks min|Phi|={best} (k={bk}) " + f"max|Phi|={max_seen} 2^(n-2)={2**(n-2)} " + f"below-floor={best < 2**(n-2)}") + + +if __name__ == "__main__": + main() diff --git a/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.log b/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.log index d218c6a..4ae5f36 100644 --- a/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.log +++ b/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 17 JUN 2026 02:12 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 17 JUN 2026 02:21 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -175,7 +175,7 @@ File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count278 \l__pdf_internal_box=\box52 ) -No file boundary_restriction_structure.aux. +(./boundary_restriction_structure.aux) \openout1 = `boundary_restriction_structure.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. @@ -192,6 +192,7 @@ LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. + (/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count279 @@ -263,9 +264,9 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B {/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] (./boundary_restriction_structure.aux) ) Here is how much of TeX's memory you used: - 3254 strings out of 478268 - 48506 string characters out of 5846347 - 347668 words of memory out of 5000000 + 3256 strings out of 478268 + 48576 string characters out of 5846347 + 348659 words of memory out of 5000000 21442 multiletter control sequences out of 15000+600000 480359 words of font info for 70 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 @@ -287,7 +288,7 @@ fonts/cm/cmsy8.pfb> -Output written on boundary_restriction_structure.pdf (2 pages, 184212 bytes). +Output written on boundary_restriction_structure.pdf (2 pages, 185232 bytes). PDF statistics: 91 PDF objects out of 1000 (max. 8388607) 54 compressed objects within 1 object stream diff --git a/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.pdf b/papers/heawood_restrictions_on_nested_tire_graph_duals/notes/boundary_restriction_structure.pdf index 4e4fd3fa70a08f2987aa99adac1a8172de7c841f..b2d7a12ecc9cb0bc292b02cbd670d05f3142f0b0 100644 GIT binary patch delta 30254 zcmV(nK=Qwop9_$u3$V8i1T!@?F_&?u0w{mQ8q1R7w(&k+p<6iR6-_(|?#73#?M=#6 zc9QbkY#%5IBhgEdGD*$D<&RG{8hj2kGmh8EMZ`-$ccb5p_cvFcf6#KpWGtlStDDj<+A52MkmFteVgMv0xp)>L9cw+HT3>S$-Qf>#1&bQE zb0MN#(SB^Hd0%t~YUTKmh=hEwI~vxtx!UE;V-PKs#U>p{RD}Uj()52T*4xKz zY2QBO5uT)gnptTex=Q7eM@%XP9${G;D@XPzm(1Yen#U5@S1T3k=U_{LF$VA@&?w1t zq~Hs37HRk@=%>$sE8*JA6L6JO&x1P$gYz`blvrt@9r7elMHS)zp1jDAY|4?LJyM{j zd6A3K2{R_G&6_PU(t)IhOCWzxPcY-ZO#6o5xan%Gcq{;QAZM%;ZFZYiZ-~1R;y6GP zw(V?F)Sf?yVVkbl+SYIQ(n%6nL}YZ3^jd)vVp0RXS(xBLyLx_#LU62Q0-Y?I>8L7fpR;s0Xvs)S06F(~s9-WWHMX^MVW=(fz8JLYz3mQ8o?wl) zywKWNds??$KED~9LC2)D>)Z>%106*73Eoai{qu=dcQt(teHMBZMy7i84RJ0ZHRIdL z`gN#`mB-ZP9d&<0N)?;{rrB$>s`2|Gv5}=wqco2+id;S0`u1d!mZ`MBg zK&{r$s0Z|H+jmG?ffqcCVrXm~fV>-t1HXe8IAV_k*XQRNuj?#od0}*3R zCdc9bKuhiq)|T`)5R>R zWrxjt;EY?wAr`nf;M}==OBbZoGKl7Ip`IN7+_bj2yVf#tS|<*1K#JOJU;r1&OQuo6 z!%lw?xYtaog%O=^8Hm1U(=D=AUR8BR{mr%F(R9wC?-mu6cjx+rz%FHdA2i1rY=Kb= z6+X8X5Sft+Za%%Sm?NLXTxVn~{8{<-P}sYC(^H{!m^nsuXn|c^OOcSZZ6W^3r#T5DZ}A1|Z1P!Jtpupoz;8bSZJgsRz34d}?IL`6Mqw!LFy1+qU+= zJI$ba@YM`_8n|t6DSEu_|Bj#PI~#}j$%QR5Num@NrYy)4f(vyze^Zo$&c|toHw1r} zAjDOB0vke-{FYKb&c%n>oEC#3@{I-{3&K=Z7w3D8tNFMr7;a)jhhCr`+sF_1UDO!0rO06jd> z0InEZ^;uGKjtpoy@EdrazIruze-2Ydn1yBv;E9nBoCsV7>fiJyw`jF99$n1#o0zBi z^%_*aN`vb02H^tV;z!db?LY5m@B(E-66-|Ij{GB>m%bRN&)}w@3(4jTGkhDno#q+A z6M%pVZF>f07}^&sF~eYkPcnZ)Jtqe=&Y+i^Lx+cwUjmII#yL}Pit1;(9fLm{^6`Yf z?vOXjFvSf*_=%Dq&(joKP;dmM$&Vq(0tZfW=6xf8wXA*E(wdYOS<$ysjhFYh>ZA5?mpJ${mYj;uS zCKwlMpw3hUtK|KVrsElA+xCs6?4XS5Tl!*ZXjdOct276LNl-mzuwKE~4U`-kc=E$_ zO4$v;A*i~uE=LI0Gf8*%K>(-3Opwt*V3TFhaFH_rzho>3`kW$cNlx|U!X1QZ6MyEl zk>i_?{fBr7)4hxA_aA?+ma-SCrRsN9OM%nViEdo5ESR)0t9>bOm4B9?&uLG}b1LW< zprtDM`j>NYmzTEc%12CmY7(W8C&l1~pHHxZI$``Zj@!rw7s71G1~PAoic;cQ_)vG> zP-?-&*EE50hu_;VB6Y#9tApSKWha`Z7=vXIZQQoK3dey7m#=?|YFq4pFr@650asEl za;~@ec7Osx&-UEh6<}xXe5Be7s=@-$kj#VLKPYCtcQJ0=L!`{pL`m1jyeh#&DN3VC zeRPjf?@u1X=l-A(eD{w5Qe^FyBV#>{jG4jOF-G;+$-qW*H0qQu3=~~!%Uc@D>C+bb zYP~J%mP!v<^lN`z)m`li545Jf?brTlX;DZ@xCX}ttknOp8UTux5_6@ez^*vjs>NJ? zKu}UpB`?&WwA8N<6E!MS?!j=`HH5&E`R^Z)Geobi0P+l6MX^YtgGoH)TW=tLTN=## z=v(+yquSf%8e|EHHDSGp$o6woygGKHg z5qe;B>m&ynUH=^ERP1eC9qQ7);=$3^p#wCCM5S_x4jdJX2QUt@qx6jvW7V~7`3W8PHcZXofSH^674)XFVA9O}j8GT=4 z4mANti1OIpmuD(GLHpFyo6;VsbI4t7%GV`uq_lb4QL`=k>Zt4HUC0b^aF@*Z%&R?M z)hPff2Z5J^Wt>r`rTs7YB}&9v@t58lWO^XP7l?n7!gn7Yq0zhcNBJqb67+G0r_;k##C>&IV$G8>-qKkKoCNAWQY-K1Th?@Q3c1cj9L7X9 zC{e=&g8(+?2fyf+zWzcLn9+O)N~q51tDST(u*1H|k4HQFt+Aj;e77um(8<0Nsxt=e zC82+@rB4A<)mnO9a6_dpZkjaMkMCc7TPVpuquX>$&C^kh$|H><3 zG!OSw_Ua8)dg$?hBzNzW7ijZjMsXiL5a{1&kPqhyEaag{GwAOLG%fx82!c1nwhMm^ zhtC?vqVK%k6n<-!vTVvoOSeuU74R*Aulb@ND6y!0_DE9M9;^AJH^_rYvY08octcWq zY3m;}IN#AdJ%w%b_FPh-=G{V~7SsNLpwAtY{=tQ-KkvNA4ktDCSdR*BNA+4Rz|LX* zK%@7=CpH-0+WiL%!v|CfWo~41baIo}cnq^i8iL{wGc*b>Ol59obZ9alGB7tXm!VPu z6$LUfF*Gxm;cWpYe~h;URFv)7HcTqrAs{d`BHi8H-8H}vN;7nqASo#!-Q6W2Dc#-O zDcyYIe)hX{zyH71_pMorxsNlBGq3ArsK}Jn7(~qMOhA%$wqOPpMrK}sn1U(`Gk}?y zjggs|6^V*U-3n|C`nMQ~N)zPhWMyZ|`3BM1nF$i#tQe~6ueoh?At*&4vY24Laj zW#QswW(Ke_GxPk9p`9ZyKpf~|Wd=}S1jyRif}D`3#O&Lane`*D`1gL_XK#ndTGr;eH0g6By&_9(iB2fX?hSy2k>x*h|Mvb(WM%s=XP~L6 zosB)v*4@h10$^@s4FV`h$}@u9!1Ms1t=VrwptX}7f5ac?0<^LQnm`Qxl{pX~DWU=Z zLJItMc}}K|R`y^gMkg!l-z75rrh#->!q!a8&c+603wA>Kou9asBghoec6X+KCi~IW z&ehiQ-@x3;*3A5O5oXTzOd7UU4$dGM@qe2@L`Z*R79cQygPEC`i-!#WasYtbOf8vy z)2qANe}n#|Wce+IRN(DtZ)XoMhZF(wwlW7nzK}effG!{a*wGo}?fJLjzY!7(3&70E z6bvu{Sy|TU8Nk5G!3<#ey<}XFe+TdXrcnl3{X31nd}VCS?EpOgWD9B2 z|77g)?**X!_u+U4_-`&nJIL080JMLWT%VbP*%b1J<^Orr|K;-kx8c88{%=eEzY~&l zwzmG4n)YA%|Bo7IV`c6BZv)8EI)fnxK*0`j3~c|msTSy;L#qHXvvRii-&z?k5ONSi ze{3zR|I9x$Y}nT4sx_iKSHh! zC&)_vO9g_Qoc|6fVQXq<_WOvja&Q8Gj*dWgB*>5p9)A!dg2EpJiJ@Nr@74(Mz(!PK8<39$h5DJiu8PLh{PwRgBI5Ms%q{sTGKet$!kKVeyZ3;wWi{5H39cKnMTVqozXgz*1KhaIv3mhSeJAlttz zAhN&WGehe7@E3%%^y6O;(zm~Bfi%_T4}@GrOn;a;Ag;EM#r{hV>4x2(WFXFV|D}c$ zWB*4DA+v|PuWYSB=6{;Z&hl@mddvc8*&hxLh?5h@#_GTKiQ~5o$mOq2b3jO(AQ%0A zl7ZyxWc~NHu&_W<{u35*gEE0F9YKFB9i%5n}vh_~Bc z5JK<%7ld@*<9|lQL~c7(Ja{IB-}GbMVgzQ?IFKX^SF#i)*NHzUoB;r$%VJrt?wAx3=5pnopBwh8)&ELEn1 zGdG%YHukM+x0G8=Px0c=rw+t5|zGBn@DvXz+t2%;hSiM z&8M&5Z~GetHaonv3WR!u-deb_&`DV8g)J@erhgKDg)asV!?bIGWN-bE_}eGitW=4P&si(cG%9@6pt`BRVy3gTGCW4{B6m{x*bR=kU%ixh>@rea+q32U zVSoAo?jP=Wau`oE%QTw5aO9|vZ5@R(4DZ$X_lX7uck^7E?QL9_l!zMQ?%QeJot3$U ziuOmXt8)cqeQs0r%V>8}N|q7{hsnR$obEz2p*U6-bs@89h(^~^7r5UXZqI*or7xBd zr=rQ5SLl)3=MV9kH<%O8>msQ16UO^|)qmi}THUI2OACea4P!Zq>f6pDEQL{Pe}m?) zXF^dTHTBzU3Xe6YuGxvp)YkiVKBm93YPEJaQ&vOt?v9so3_G5T%3>Y*|%M&BUjZ z&5k37}P&UT)_3z9Wk;57rJqFx|rpM}XSopQgd-tBy|mrHZZ0CXq!J#K2pH zNrSoeJSKuBi(bJ9Ki^#~COZNp3x6(#qVDqKdi8~~3W>sBbF6Eu{cw6ldYUNiBAlsc z08Mh%!j)W-BR<;oms%*LSH+9JoeKZR?#NeUQl9^{8QxYouRfkhQ{qNs* z*p=8_$n;W;Ze+e^SDw~XJmUV`F%2hVUL`I$SCG9^$k1Uf9g24Gx!zs{kfB0=LAp(Ki&@448l|{Tsg-6JZ><~dR zy|bNqv-VBc3tm~gy zWPr=4g^D(#M!PQ`Y+tD#y0*scv`}W6De8+grsj?;C|%Et3g>CDx{>a2JCMnnO_XmE z*&X_9v1l?y^oa@xS6$v8lQGA3=w#V>+)*CijotM6QFWL781Kh*U0+#eHLxr0S_PCF zJqgKJ4x&5nWr^CHNPoV<=dEKwLzqi6Ln!KV=e!AMUswSUOQIGAy^*)&P&;>}E@C*G ztgJ|v^0+PJId~(`M-#h6JM`2d^JuAfUpwQurGy1QOJaeQcQKu|!G*V~%WtRdBUd;& zu;~_V(3<{K_9nN?X32z#c|HlA?%p`%@O5`q+-e+?`Bhh%b$=_BvIJ`uFNvneJ2g>x zrXBubyb})WVzG3QoYk8&Yrb;N!FFU?itlsU@V1h#V#yK0p^~72xII

|!xHy4CS% zw~VyTU`#}wedWCD6p)RuXC}XDVXi*EjcG-7-%{9n;q)uXtTJr90fN&>5rmak4zrlj zpd^2h#@DmClYdYoZ%rQTzI^u>jga(xg@|Qcd{;u=DJxhGf}7J6 zjn)!<>%FV_?hD+KTHm4-0e#k~|4PBBDi&TNUS4anWMnUFajS9~<6f&g+_<0HEnNN^ zBfSxA%}`AI-iu3>%nDR><(Dg$z|1=&&;Wg`{qq80pns#UW!!yZoHO39FF_H;@2x!v z5pF;#H#1+1gw63e*$Aaqm4Pnf9t0Z0xJH#3!#F>6OIS$ginn?ru_~e!-uIf=`+ef` zTrM6$^e0 zFDH4co_}TXkQCFV=^tfHYi&{9k+xtmQ5LyO*0@(Zoj5(Hzy5RwWLIIquN?9Ll<;gg zXy!E*4CMi0oeV!7XFHiirP`u-#B?CMF3Z`?<(+vepYB0m5QTYG?1&temt7p_qA1=L zt{}z5Ln$L~^-LWnGG{@wZfniy4jm$k7%iz(cYn?=hq!&HJe;c(B_i@>z~xh%@5+RA zHuY}Zt3dwMpL!x|mX)g{J>urY7Qd6Q--Oc*hz8@`#2#R$B z_V@{l@e;Q)v z)DbHaW4Z4J7n=!F+!S&{jeS%MnF^PygwCAg%V|HDinI2Yyr+GIJQtyO5ta|lx3->V z_FUTea10$=hVi&c*AmA6Ge0X~vj;l}yBOA~J)eiaPAVEzOu{%=b3fa1t+l_K3V&B6 zZbUNAPPw&vV;nQkm$LXvEBQDZTg#0y&n(Z8Zln`W2sDlHW*G_Uk>i5a9j{`1-cg^^ z_bCQ>7i8LY!ts#+pbnzT< zHYpd_K8-FNK~r5P2(7CkJc2GWzXqnt*?LL*)~;9hj;oux?J?7G#5N73ihp2Vhh}OK z*jcaM^@~Q^(RXS!naS43HUU;vJ_`>Sfi_VXsd_haa4ZF>tWJ^GQ%ir&RDT>3Vb2)%8Ds=9F)`9`Pkd7ZMlE06`lC~l9cFx6(uM}+kZ}`C=h`48E{43ZaDSaAdyRx}%e5_u zs3YvIX5jNHI0GiR?9SRwbY{Oa4v{o5&4rBlZm%IsGClxhdG-FJNMaSJ7aCxGtL(<^ zCmo!L>viy2>#>$^QHo>+2SW#&oK5tSWB%fC=XPCMpM0`J@6|0!;z;tbDTm@MPqDoq zE0=7u=+i}=6BF!7Sbx0*?PZZ0t_nRGSWvHggL^nm%BiQ(pO;jXlE;7(hdT7$#=ZQV zRUJW?OaK0d&TFm0aQSXkQA1)?QK0pYL$?~E%vqf@-f9kof(p3Ros&hJ)3DdrQO#xO zbws{}4@@6&gV%cIv&g(xjN?xZ#i_O4`t=oW&8TQMQNEI1Eq~ZW9|FtdmbD=I_DwU+ z>%9FXJZFnr;+TkGba`aEXn_-3=aY{2 zGny~bn51&-xKK_sWaW$#)Lq}PL|PHkh$I-lXZ=IPKIRi)Nw)9gyY^4@X?Jyb=S-1& zuhj@>Pz;-{cz?IRaI#e&gb#4sN@@ZnXqlx3_(s0tE~+@dL>2YMe^jSwI!njkOXvUM zKx8|&rC*kM->W*v*S_WZCXS;ARgFudI&oob>qVb62Ayq(h zen`fE$WQGR%MF0yV)8qtCEAdl$|rftVjYI<03S8SXLle6KtWkYs%UzQkAw#<@~r_} z(Kx;i6n|cLurP;T?DFb3Eg{nFw-`a>w64I0esSp!A=wz4PPmS^0d7l)NIQ(3f(v6a z6%|>dAHS9_Sa}I@PUL@qZ;3sD z1G(5jabx?ZNd~;t-_)!sX6v~CmWhzLySHre{(qW$kCSdnmg9B?pBP{=s_;DXd7a7J zn{72Q^>8r1cavPIC=s)4m&RPdY5esRskWBJllS9wT|=WzcU`0*vftD!)ra9;GU>L{ za3$#%g#O_uQlq>2aK62e>XCEbm<`!Rmn^hue}g3oB+B{M#psJPVwOVw9LfAaYHyy1 zn}3f7D?5G($CbTFLrejd*7`BvB#Zc(hJD(%w$p;HRiHhOe&q<&P(ZP0JUeEq@@rS{2!L?PJ!}q;luLk!O7ND~XDvQ-KkC;GQ9}|D5Ha(nnb1 zw1$(^P5aw>lrnB-_a#cl^Tg$g1ZO03Z+}yVuJ;@r?mlEs%LdbF_e8htM`#-KWzcQl z%y&Chywc~HZA!u2i?roNASM5OVoA-mXNR#@c!H(Qdu!bcQoNz-zq&mF(}Po`b@i#D zHI7~8+M!5L$2>L-->eOaM!Hk^DXMQY*0Tw`Dc3$+6Kb)+k&V5@W0+(Mx*@jOoPU)T zUi#v1J{tJ+u~C)rF!k!mg~qSfh7pTqSZ%XYym@He+WnFA4ObjqHj2*Gj95)skIjCa zVSR;^Gl!8>>g(IOd6xVKbTCuI6!P<00@_zw?L%yI` zrros8+sl%qoifHld;?o!wDXH=vrgpu)~8Zk-jUPY?$O+yZ!AB~>#Tj}LG47n(8kWU z!Z3thaHU72xHC(kd$lP)4Hr0xPMFf&#~+M=XIWVJeW+o26(eC7#uIHr66raeu7n-% zM?exHlq`=Ot8;l^5I&aohkt>}-G1SRoUm>09$z=~ol~uP_}9tXwjoYYNzAr%Xr5>l z)OX#_i^ZLJQW;n;R5URUe!tk#wi1+XM~)adU!Z~5;xT?zT8+`ItFu3*8p}FYlbT^Zgz^^2lgk#+v68 zeH(|}co}_qc#l1wuYWCZRFH_#$9S+#);`unPA9vl#)a0tphHrD@OBUW^ur=5G4;f} z$et|9`;wi|A5F~&SPNJJSBZ*Q+mxIx)oO(5I+&j+7T=W1e|=#eDLB~`N`)Gwxjwq- zy7QI9H`A1opP_%hi|2$}D)pSZX2{f7?zC%3x0UVuVrbxrO*;8_%fT_|KhU_T07Phm!0DhkuD zQdH@XIhURqz8oWM7gFav7M_zl#otwYL4K{K-LcGE#eZM=uGw-;Yvz@IE4z7UMmx5yHzY_(7+qrqgHr}spENmWcj;R2k+)yd z=mDl*aDO_Vhfaps8*j2spWJf}7vYpmW5MI+uYTt($#3ScL-V=8SIVn}1MeihgmR+? zJZj{9yLWw8erACkHi+vm#k*$qfg-P|VhK0Y^0h-Ra^ANVCp%PzCgE5lIan#K=uPr6 zFO{(nn4RMLZGi5%hm%)ufOk%}{B*4vc32*-pMQDrv`tGvrwH3=^vszWGHbU0LClO^ zjakE7+@tI_{iPZ_lCrnwc&0}SZ~Pwb(7j#_g4;f@jQ>m(*>!vl!!2(gFMlQ&l6C2% zmm~FpMm(<#9!=0(`SRr(Qqp6pN>Hud(h9#uhc@q9xPXO4A=CHQRBKg;$BNBMqG}vG zpMP!xJ8GaKi_^)wX1c%CSnR3qw=8cNniOgEAiP?nt)`;{M7X{xz1@3<8x|3_8ElB7 zNak49rQ?yupZAFx-|;J-h?$HSkug)Kzc&)Y2LLpuhyI}TIr`93*f%+LLb_ppIR=8+ zWvx85ZRPOca*<*wn!s+n?xlPDnz4x?iGNepxiM*Ft`7VPl4G4Mt$v1T$$l&eg_v1` zls?hV8yS>XPzJwPsrXfzb~b!=U@Z;TNjCR~jw*d~dMOrqJ5e%%u>BrM0@l|wFH5^Lb20xu2C1UECm@2I_R)apRhYsAh1pdO-p9FZ2KFqvdV zBK48FLzdu+DkkYmhEx1HA=!f4ez|34cY9~qBR=O2E!H5-reeFXjWp!9ML&dQsfQ;< zjfz;`lL2Lw;r0A{0otzxuLgdmV1H)_rzj6yC#eYCD4r3GG&=bv+Z^XFwnv;8LHSnt z!)f-}N!|3&_%-_ELf5NAqHy(1;SY_u493W;2c7o@ySfg1GvMRxq|TKHOv}u${A_jMn3NZ&$|&m#5AhXy?+{a33JxnC&Jt> z`#!%~B_huPaBEY;8>0Q6MHk=D+{N#o-r6FfD4VaMeP6@KplCyT-3NOA^7t@_%y*P! zeDh=Tb!9zgwK)+hc*Vi9L8zv?AfFQ6%vmKJpe#jp?PS3bi=f|G$npH%-d}F_d5h78 zL`oR>M;AcO?#}dn8hi^S;iO+(Sf(*_#sj6Eq|6-bX3e#I;w-GGbUab7CErXcV(C?)JS6!vzm( zCQ%!x$r=5cXyLh)kkUOqA~5x2W~Pg{Zp2jq3rcW?w1189%*cCa?iNi*#L6&vtjtm3 z>)JsQRwf5*ZM2z6^H}L^ldEd%D!lc5=?q<3pw3gNYQV278&}-ejcKyA$)$pyJq>Wx zjxZmVcFaOEdboU%ttV*urtO~Xde4Z;v=(=E=L6)g&J3|LCM(an$Pi8=V&=*H^?m7O ze%2Wd2Y*}(cWcHL`3bE#w`IiD+pxOPkJI!lVq)oUbegttB{=o@$T$YoW{g#32Ri=p zv`l%1;$$FElbgpSQw&`?i>Bo+zpM^g&!%u6;r@XAEE9X7@$4CM#5(2{BXk~xh6Z*? z3~sfyI9eBB_HpSDoOIFfw>2oJxW!Qy&!R4*<9}noIf!3y4IvRUs5jYjuq-{Pxg88X z46b@6_R@&dvG#`gde6d>%H&ruYUCor|ALx;Tgaeo#bC6*G$Je{?vORq{?gfFF56Rr~$iezxA z?0h@x3{1`lvX%`owMc_z$Y^lR%`;;Jo;jr-G4Hb-*l zf46PpQ@Vn7#ywgpX(*(-H_+uw%4yJRd4EB#EEw_G^~(>7utPIY)&rJy64I2;o~dGD z8cF&Ne%;brF~kSy{fh+4c6?+4nO$_bWl9D#{`X=$7LIp@{FC!_4d|y zYz|d29ZCyY02x2zH&k_mVshAz9@|<>9V=w)h;?^i0IuFnd%7bY-eW!h+aFJIA{z#TMTy!ERLH27U^=$_isg+NmkeIPYvF{(Atk+z9I0KUM zUT`lAAJFaejkVXoYdB%rW)w@MxudaJ_x>}UnLbh33fDGZ8peTEJ zC#In$TWpQWC-^8uK1rA(M6>mcuuEX0yo^n;(Iv1oik#3~@8CFzl;*}APbQJ$gFNva z{mJ-P)ryi0A|GvAg?7zxp2^#;AjEu_N=0&}!qaHXsMzY=YMQUIhgwl|l7E54%0@(D z3;8rl=mFiK4x9Ny9BZxamsv{7aXvgbF1$ZjQng5Ft&5hdVt;0bdnono4rc4hAYM@D z$|tjaDUW!C8?1$7WvLB_cN0LZ^~yqn4TLVF63~?8+&89qJF6KKnUdy2tbD)i_Q;BS zT=4Of1>O@4&7k>g#-VrJwSQM`VZ_0-_7^`6SU$E2EU0C4ckcbE-?J%@=yv>bS3k!$ z4@+9kBQsE*zw}q`cXu99lLLiN-(`SK-SlorTXp`gnFZe^X^D*mxwbF44AXaQF5*0R z>PbH=G3T_}JkPhV!0{h6784yxOd{tji_%A%UegS<@>(c}2`jSQrGLb0;6(d*QUXg< zLtU>CnrP@WViVRqmM=5me6eZ^`7;C-<3I^iX_>&0aj;Y)f=qjX=dlLA(S7>PQ#<|S zU<5C>;Cp5!?a4an31dG`Dyv<69*SzDY7|RYSkNzF2U&;eCJ`FK2ZKbO78G+hjbUv3Qd?ggvt`f2!i@J0nNg56kfV1JENJ3zTH0IDKFIUUp} zrkRkTmmpa)lS5Xg>6mHt0-Yl6&V2czkGN9QOl`O;#}a7J_$5?5;a43-tTCvQwhlCA#OlxKDjTvji z`w4*b9j@Vr(E)neCZ`I=R;-WKiyB51Itd#~!SwNlPinAIDTLlX z22{X9|!pC3)aZ(s&8(EA4$NbN}nu#5=BpbNhoY<=?>`-mTPsvVIpKQiD8QgFK zwX&>5Z)7oRk)-fefR=Amx%#VhnK9!B&VQzr7i8A1d6MLl&wldZR>p_NiJEdOPi;-) zr3&kPO5&4C7oA}Op@^oOQJxyIeqknoi{+6wf*av-xO@7x#%^cLEBOFyy`RFGd2tg& z<$;wNm>%ZVCsA&a&jJ(wy!ozQGxilvLTGj(n!yj&+%`!DvR%@lT=aD8SUpS(Z7)K~Fl(2~<9P*>g3yMZlr&5HtZAS;D?dviHF$B@LEAtmRNkm0 zSxWMQ-#LpnQHE)rIX!^E#h|9UcW+a=wrF?u408}yukFKH{fA!Yn4SlxViT2HOlMdIPP~I z=?+uJdzAS>_^sZ&^~ih+ujW^S7p~yByubGYp647Z3|J@ftR*)TVd-@cSYa%Jl<3S! zIbu|Xou}UHEohy^;E}hou7B|eZQ1MV%F7M>PJNkBfv7L^asAhlveO8MC92NaFFb-e zONtevtUz=S++>=anYVRDe9G&kniPTA@Q-*gO>sO(STB4wt&%C*KJ{KyDGw{kZ$O{O zg>EHKZNu`f}#{eRQeB^iz>&DrzJ z0)o>f`p=JAk!DfCgTt7$owN+QEihm#@@Tt$TqbZ+iNf-LzRVDYu;lwBe6*BPWkLy! z>sXCP0G#1EH+dB%#Zu_TF7?HI14QM(A$J!6zl)z&<~@$jfRWA_pf2a0qr^lxB{J2i z9zeA%k@kE|5i-e?4u4RF!rm}K3lA?$)KI(>Fa+P9pn^r-%nOd@c6>T0_!6vjfi<3p zZe0IU!y63r;hJeX=FX5O>KDEmp=89)J-5{GAhlWTqO-zK0K1Cl27N*VQmuxLx;8S` zmSUn}EalIH_+k+(OtR7*p#qAtM)t6@&M+M#Ie**;BR2Q!BY!`<$E?%XGkOP-@MbsD z-aOz#xkoTM7T!T6b(s?g8k;_RjoaD`l42W)P@*P%9DI_`nCIQ}Yn0sPr0w|f&@wW( zn-{8BlenKPzJ^9Q-{stMkA0NYt8lQofWC~v5E6_H+kgYFw7qdafW_>O{iC;p7~^}Q zyLFKp;>R1q`F}So+an46@AE5{q1sz-&=8Q&*Whf->hTau7mrl{b?*_c^0`lk;N+#g zB4jBJ$Vq61nse%sn(DZvMZYGK3d={0?6y&X_ZEB(Vat8j(#cl$)vICY_F6@za7|<| z7A#JAiiZ%qp(9$ijR?;vbs`$lI}k?|u-t}&oDhDjhksxFo}d&9{3Jay>8{R+dhY9P z$HzF%HauRmFJ#t(bAHGypf6@yxLzH2ChP0H&!DpUTE2;$qB`AyBtqfKGe$uQi>fbQ zb0Tz$qq`Sl4I}jdEPI9n0tvLoZl`bffSpM4=<32c+DQG_v)}QDsJVELEurL);Z;mb zjlI1KPJfilUU?YhXyvPBUOJ~?@yt7ms~w+~$Sj+T^vlw6Lj2D^UO&~d&B;3#`S*8Z zJaGBt(3*>!T?6>!=8HRSnk3o^V!7=&y%Xq0KI%@EByS7h8zwtW_i#S-2%S}}eLG$; z`We|wpT6)RWKy73CO(MI`XyFC=N*kh=_|x9A%DBjSd4GyYBj5SCnRZdtTE>2?S0j2 zSf)UeFQU(G3OHq|ma%WER~S znkC?}XzAwYoUrq5dJmDRfg5*j-YgDn*>7QaaoqxklMqf8;lD#8yjJ&oeI#LfX;j4a zHh-9!NZAm~@o*3b=p()>Xx^F^`y9U_R2r!B15Km(x{ZtKdY6k^`C_&LRSFCXYL^)s z+W*M+Rp96Q(G#VMD_!0-gKU#hAd#o@JWVQq)T{0@;yVNFgJA@D`1#`4&*#a364tx; za<-T=BQY&zyBizdtw2QN){z#GJn_@ zyvY@Yw3LIUU$0N_BJksE$pYnAdb!h$TIUyrd^-C50X0s6f3FYBK5Gen(w7)OT#o;cv8#gD-vY zqjOir#uyw6i%Z2czc?{Px}tsWbAQ#O4xtZ4ns6>q!4J?kY7e(hP>PJH@iQ5rp1yDN z+if!&l0UbEN59@jA^NFC#Zdc_bwGSp;m_5dx(@w`OyZ$nl}Tw*R32YK9Y<-a05~v; zyKIuSVRn$ic(r(&(2(Ey-hIpX?%toiJah18C-O&w%tm);6~dn@=<(E3?SK6`o#;N= zT9W~s0vB27uSM7}x~Z>k6&hvLb;oHOtQ>}*GNJBe(NzAgEXxQ+g zTDfEGK&}xiL<%meSzRq~>1BI|q%wPj<6?oD^(L@p78bJ|7v9Ha5@B?6lsM=>X?MY| z7=$YsRJfSHFM_7XkS9%87Jn#a8@=FrclP?;vns_&hk3wc2#ah4Z$Y`*uT}k)Mr#(P z4bYk>#O70Zto5ts42Pob%MFY9ttgg|kBzs}du71h=fRwkaaQcuPy(UFpuw>rY7$Cu zWiILLV)`4ug~f^I^&^DwkqGPl@MKS_W9Cml|MKhlh#gI**}C2S&42n22nY7D)Z2WL zi<u5M|v8b#mp;_JV1?qw5iX_EsdUDL50O1GVlQIF=6j0x0H`wwtvH zD}&u4d5Y^k;?UyOSbqgMeHt!%;d6ANyD7E2&yl|9Zl*+O@o=Hj%=>och}AbX51=V#UCk-B-NN7Jr-1`riX?JqJsUC7+I0J?&W`S)J?m44*2mu zW-S3&z$U)uIvX*80Stz9#~T{SX&L;t*MXY}B+cZhH@-u4B}?$H4&v1AeqzOAB&UaQ zxIzI67p)W>tvH(!UX4m-XaqvV6NGeMKkw1W9`p~SX>dF@&JD+7PfPmX*&?UM!X8B_ z-j3RpCSzao@NH@$f1ZDY1{WI_$j^#;Fdm)rP$B$WHt0c|PA2UBybFVHsSvH)H%k(X zAAW@9+2UjeADdAxPe9pJXl3R8lr4!&!z1s<9J+t7A$_SGBW<#_J~fDvA`sA$Su0bq zlj5Vj1gEUGQ5e`5PL`X>o_xL{9}(!9*2Yij_-OjsOy)A+@(X{Wx^@}m$FVo%gQSOBthcGN(AzI^0`jei}CNhw?eJXwPMtU^B;P*$2RPzh27s(?c3ImG!G}{ zZRIig??AC#m3bTVdN&?mnE%?<2te`4hUMHisiS+KtUBwh$R7W(R~SewY=<=6y7{HT z>}c}V=^b`ULc)KYk^)MW_(!y@UzW#FnW^dJMXeF^c5GkX4r}iP6&2hmcnIIWrsdWW z5d3x>wN85}mflOx>Zt&%iCuF7+B#;Ogq_FarH9VjN5m3ixy;_3EUb5HmRE^6iC>En z<0|GDK%?_@2-!WNJ?tXGY1AY7INe3w_Q>Vte-iGVMaF;2#UgQW;2YlvKl9759kz`u zAHi@b9$iLNOPNk9TOs~QZ!h5gj{EF<7xCmIt`RLzg+Y$OSqq}cPS0uKO|hDP%xm6l6MPQi-&7t zXxtE3o|1oYN_KP5EV6A;QJefEKm$mun?1jbTe0h|uwl$tawTMu>y}4IDa4M9r)U+o z3`p7gZ_~uAJ(LGTA9vYDBP{Fs2WwYzrRX{VL*!!}>mIE|l__y0v0iB|z`&aX5UF#% zGg+^4q4kY~{9Zb1o9z*`?+XqM0cDj(X9qb?cN~8pw)qQv=Qj7ZS_W#A;5*35GoB$} z4!(K`K?>-sKpKnXGUwAc1Ya1$YGI4EnnWW4+<#$@&wRJHSL6uEZOxRMu(sH&mw6On z9B#$~C*JuMk(#Mo4kgUm|QCqjuvxFZ5Ju-Ja3=&?(s_zj& zP>X-u8|MnrBkS#Lb=&l|7nTGwm;^}|HdB)uYU){0fLRZ#zx}-cw8HzbL37&bN zW=%cl3^zkvmrEWL>ui|iL}CYeg>Zm04+cwj6&5U0Mz|S%z>|7PKGw2S^Y5@;kzANJ zGFHM5@%h%oZi-ekQM`p`4}rGA48@z6q;dk$8zswrhN(R|P0dg354lD^Quwear+0rG zda!34sGi-mB4ue*(NPvhl+{r#ct@FuzWAk|a2o3PW9vm5_T)2e>e?;gb4KB&<(Is# zW^pH?s`Tp;@-x5`H44(uOwr012FhD(!R2B7+sgi8{)yF2S*IAKX5wPAQg02kkkD*tUI^O z5+dtSanL3>`4TfhzhPsTcUT5QCLnJ4Gh!FMY4^b06?zvgmFy#a$x2$`V$c6oH{=&iwyE~r zbw?)5RoIsKV=zIK4>%gk@R@ zi$A6}%!U&^n)B^PqKCawZg=*ct1tx<7e6T-NYEzWOrKbD6IQ~Lm-T-v+3<7|F*t}? zD5i}@Z(v?4Q-uV(<1Kf<24I=DJ95lxD^2W{Mpe2>7L?znBoAq`TFiB z)aS(=j13bx?$e)K298Ya<%@!_y8T8jogcJH5PLMa(XF*hWC-B}1U@irwHKjcSQ{gR zElMIG_;OPiG*(2v9!DOkJld!26-8?R4IFwz?p&|K*>G*Uc1(Y*k*4xZPl#?EEW<)= zR|gymI_v7Geyf8Um)RROLrlsB9-0c!loxblQ<=Z1~e7@T%yS3Vlz> zb984lROo8wm6K7pX$-U@25D9XW%%hAEDROFfb&KE$d@!#FVdOR5*gcW6ay5%lI%xE z%Q`=ulTvCudrW`f(ONI^lX=5XLn96iZ?vb30=~TG=c(YB@q{Ewe}&Y*3exExG25N4 zw@L8tr)hb+8hoSaGE^5Yh@w8t5UOYNaHxf64*kL|Hm0&E&!W@GrRY=|nIH5{6<7bex9*rqpFqoNfw{aWZEb4$f64-bndyTE444P$@n2YlaU!1%+e_zvdPD!aZ4 z7=g_Ba0S1JuJ4oCorPC9|0`JY0*f*Z@?d@9f*;q{`CXPi7A5^z36+)dLO84&EctH<;$58vS_Zt zJbKeMhL`pQ&Iew@`*`txJ7Nh);%>mN72rets{F|i2~CFLUO|B&<)psByV$(nCzxX- zuN#M_H-K8h`<-9j>v`^|#XIze6CRlQd_@@A*r91H?kF$yzJ3%LI?`{#@;<%=lnUan z$|ZlwA5T8Zn~i>%VCkbxiR3AK3KXkh6wag=yd%R9U0JxBSbD&6HfTI-2^*yxA%53p z1oOk9r4{x=7F0G!IB!uHEtrl_D;GCD1343Hd{~h9)z~(PM&?^u!yRGXcTc@2kpw%c z$;aKC-Y0*6_q_vu-|S%11Pw98k-yg}+x*Y}1~h)j~xUfnGe?4f~} zd==TSsvl`vudVLXrkP&6BF{p=+GJSxll*3}QN-VXG~>NF~{ZJ*J7jPVQ@9JJKOE zq+6}{rZ{zI#{9niaNNqYo40Hs2{nK7=Jh2h*)6)vp62yW|K6|nOD+Ii;V~6%ng06j zV#43&hAtk&bX zFm6~=OK38(_6}-l_I^^{yPUL5-bLPdJ{=U=c#grw`2I$YwPfv|oy>!IS8RXOX8 zC0@G++;?4Ce9TVC1@9l7mwn+Hgdwwt)?V7ovLiN}sTWshI~EpG@|Vgl7Es@K`GipR zWb+7RLN%zFPNLS&{MHMNNcDn=y*s#r1J)hLwMBEN@Tcj{RlO7PVVJ7?)hnmupJ zFYDH4&ntgKomb_Fokn^|V}v7!GEKf6=!Ab+afnoyc4eo1oTL#tMU#K8(!#L~GuYd| z@x${=O-;8o5votZLkTx(hT_y=N8bHe<+B5HW-WVhVmVONz0Y3z(6`2+tn7c+(6gqp z@Y!X(4@{zQ6e26m)Gl2@A`Y#Nv$#d@wDA)zvO=WH+EE{WF02IYT2Gq^))6+B(Z?X8jM zPGM;lrr=z<04Gu}x?L2z#6*#6Do&f(_w+dOB`1cQIvZ&+-gi*EZu_3PmxT zvO(yWtsPQbDTzf|@Ho=GH{5(|1ld@nm^(3E1AMUNUxx&fQZ$KeR!;gFD4nXB9IO^L zWR_SBN`#NkWyXKr+Eq2!m357t9tcwiYMzyN$K^iOG+eLMEi^fx+wCB-coMqR#+qW( zn0Zh)>U^7?3`O*z4PRQubH7rwxF(JNuu=z2@0aIpb zjcNl>1V~lm;ak#*Q|~M?sinIzA;VA?^b-eqDG8Fva@Kzjgr(_;sZU;`C{5M>DB4jN zLlkq0g${9fI5I(5VeZCqdC!M)E%510Os|mYTROK&@NxTH{U@gWQ2hgu^Jji%+5$!J zoED_9@S_>d8t5#K4m@6x-2=?;ob7P z_aPyf5Sgz@UT@ig_llTzh9v5UaAG^L>2MiiH(=p=80`R36Ue%I=UV(q+4a#hz{}ad*H|vu;>O`{6aW@=a zX--w|M#HZ&Q(WyqZp&T5;@d&yxCXo&gl?RtN;31OCkK9N8WxJKKjF>%K{#PATg#^& zq&zRWA?uQ}p|l9x(PqfqkSZCG+-04ECYvt=j(-qHo0`oUT!_@ETQ zp0$hoTu|HaFVRM@s_rv=d$Wp*AKQ4E%@MtX%ypN-C8^I-d753+n% z{5HU6$}0njH-RN2B(UJjr(Ld~P~uiuQ|#?St>1&FYX?iGzR>Ugo%KdQb_5q1Btu>8 z{cU)-2Fd8q5N!1;KDtj~sJVPhs;W_uHmmK2Kl%R!C1tYd#xF52XsNl%Z*URMJi$kUE$)ZDkfe#*`2;F4TE zqXP{E(Mt^h8KrKDCmNAss{sUiBcUHMylR>!{7;=R+oy>XXo|YGOwhDym&J&DU~+i2 zeU?10Cz&dEpMnJN5nJ?yV65rZ=@$2EE2$Z7cYVz477Yjg_%ldM1t!9!uMmGEl-)Cs z=;syqFMa&ZhUZhv30Mdnla;2U!&vlR^L*wRO)pOS^LnFZ(p>`KQVCEs4w^8MY1~X( zy(1j!BeL_VoO&jng+E!j9vH1lBn$K3sH_^3+ ze((82ByISS6T9t;P+U$wC&+)Nly|teY*Dn&{bf`LbsB+%)#+N0<;mIycsvTG_4$X> zv12%3*G(#TKzbAn!g3W244%0`A>1jf$Q*m7Jp=yMgqS7W81D5(;B5hp1gK80tWvCY zFD(GwLiCZ~z4dUFt+5VL~P-(2EBuIei5Q#pY z6$jM9GCcJBo**4XwU~bp#1ZIKWhV9I@*rJs<5w?RU5yjk^EZ&7b!GJ&(zd^P>H7_M zdNJl5~i1lmPKXp&8664+uJHZLar}^0P{O5T)g7Fc{DR; z-su_#m-0xsgMMbVc*~jbLuzWi zmyYe^*J&4~rgaQ{gu|If`NGJ>PE4^Nd((n;zxaQjDlNQXw(>h{cLBF&l&c6`$LN@u zq5NX21=vIE>VRG8> zcqHoPBHzJ4KB-Kbmdx?i^GYw<`j z0as24znS1zYVE2I(B7wG1z5hIb%S$h$W25foHkX!90m6}M4h)pkR^Bxz1LPHFo>b_ z^phlhXRw~%>+{vV)K?jf2`Wiyr>im?)^UHTAc9(C9QYKKBt^CQyP%nf7B6!q8zO;L zo={}+HGmO!ylP7Q7Yo7>39dBnPJHrtIe8AngY)2_#PQc-7`_8GeT5kH?@jo_VWPEjH;VWC9RY7YH@LR)8&*M?T3JWhWY zp`k0R{Av$%Uq8GH_;M@{T!9ra+?^J&KSK-HbV6MZsYh=t@{8f6AQl9;M?BYEY4nW$ zGj|HhT;<7#z8bu2{T1Yz;g937Oj!5!Y+I!6Xe^?6 zG-qa@F2v%YgC-k5lT+~AnNk#ic)5r811Ews!{_u36DOiYbcESa#A&ZQk@tXL9R)>E z>U<7Ch0k(>qI2x}8p;77dw0jCm=JV!=$)emBK3qci@@2F!y@8WD@y^d#6o|n9(9AW zV*dJy%lgo7w?J+15rsIxxSof7O57I;CGhwr>+V5chd>XS$?y`)wQqn802pm)lMZ~i z4v3dE-oD+pu8{rGKW0c!qYYe#=Z**!0snJq$1jOQ4>cpzH&bsN-2zB0LMUFaLpVB? z$r7`CsIk1Lk-Pf-5xA&yGI)RM{OZ3cp1hIsO<-{IN`!=wnU0cX(x%ipY?~%5TMzxH z-6-$m1nO|dnNHXqzmsS8FBB!IU8Bfq(@d+O^jtMo>lJ!LP(cncwBni1a(rh`w=Ix) z)XvcR0&3OF&(Dyvk}2H_=#&rGZ;#3QcKzW#X1n5Ku|_II5*6K8*y3aA!P9S7Yjuju;D1DepLe+6A`lZ25at?V*)u)|HRGH#jUH_T0D z-{cy!YZdfak2841h@TT(wU2Unmi@MiyKa*NOuK{c=sAywdG` zca>;bOej-&swHyXK%@f`G zrF>fj^CvTe!r-4z%lrMk*S7|}iaiKbGO$dgOa3N{^G3)ir z&n0l(A6BT2=N@pjQt4``OceT}6eQh>q{){4H*QW{(bj){D-y%J`xd56{jzagB4?QeTQQ_l9x6Y9-W;&kvz5K2od)!UeN*e&k{2zZmal zRGB2Uo;-iQP0Zy_>7RmJEh*TkGeYF*2BL3>OyK; zU5w`zi%J0~BuuhDThJ6Tl}Q4Xk$e>i<4?p1cbk6-m9e*MCc92!CQRdM?FW5>thZ>l zWM~=^zk+A!(DqBv=eI3`9sOZolmQ~F9xmK?YGWcQSXjYFaS6dZx zv`#Pgikz?dOTk+(Ow*Hqq{OJ;{TXbJ;iosRXY^mckw3`O(sHLa2CO(j03&d z*lDER%<-j$aaR`I==&dc24$pD(ElZ4*h*Hm2H<8Z$XiB_pKA$&{srNro7ECb2#|m7 z{iC!4NFAI$gmH4kn3Y=uS@=X`|NePztO(YMo!?9;^B-xof%`Ws@6AkoNr#6c%#tLb zQQPjh+W-H_jRL2-_k7=gV0JTcPYscO3(%uw#C=-qH!U)uT8}(ITP%H(7Ua{Xr+h(O z1rj8z+x?;0sHX1IizO-%$pR~#)PR3j04phnfNGg^H(SHK11m)A4esxH>?IKuPtL{7 za-(PMjOckKWE)owyzK;}_eE;?Yo!4eW~bz9KAbN10NoVq-!>Q|BhXjW`~vt{UdfGd zJ#Y_1h_uSJG>|J&md1p$jB{;!BAa^?4^|>`T@M1NRYG1caahvrMN)M0;=+Hrzsw`)vMwkc0CtMV?cS{f?>`ntvrwPx|u(Y|qc5ABwLSzez6 z{xK}0GyD|fsHv4UpW!Yk!_t3$B8%aGci((C2QsE^ddlZB!v4MEF6Wm>9FdEJLe7t? zmKyUg=Jp9t)~+x}uLlKC;2*7abqt_nMu^w*{K$(7cibji;8=lJAj3rBTDjB^@yVr^ zJk2qF*g0Xss3<~Q0)WA+%C?FdNK}Gxk<n^)xyozqi5jHu zgD!n-^XYbb91^$G8zjtn*g3>ggJ&Cr{cuwCB}#<8F!m%77-O1*9kZHIH2$q_;!1ff z;B471;1&Dd6@pL4tKIAopJ;$9KM86(e6c1p`e88fEdK8F4yA9SS`^ecSB6{r9@QbY z`!Yu^5vnnP{5gIcX;^=AjhH*R#@+{s_3XA|f6|shbPW@$L82f$!{wHcVq+--i95M^ z7F!*(+OmX_t$nELN$vJ@kqyqibET+=)%JZ;M)?ovw%)e>d9NM#u()CxDC0YkAeqDK zQMNt%^XohpZ0#Y#@*`(1V4bYX>7SXEUi_l`kk!~Ki+1C56zPB4S;++^{a_r;opEwV ztjL`WFCn78tlL1dT8gkDT?X_kzV|?!LDa;3UB+-SAk;UCA{Bqf1NuX}17(i2so#%R zFOt4BjHpwB7Ty?;G`=v%)|Z>dCcI(l=+LRR3`!r+)Zu~%cr>0gI;S*Es&kx*Nn~t;9o9ml&SufeCQ6m@kwP@H634a)MiUTCM?l|eYn}jWuakrSn;j?2w>dwcZiq{7So!uhulC+WZa4#0c$_`<(iEh^l$ z#Exp3%;qW3yN}Tu;9G^vO~&k^-I`C`r1}~-Ed}EuH06H}|7-Ao9qpI~^`MS%J}Wj% zpWmyFX`9v+zlDD$J`3Y;a^q)jFwl8*$#U>N;uR|5s&XSL}$d> zCT`9=C+uS$Z)HA)1IA#=Jl#aF^xcXBzAHA3?~R?_(p8I6r|i%~FS4&#k9VU~z%N36 zd%Mlx6SaRtzA6nF@;Bz~ug;f}sPD2PYkji<>8voWkViFgYd`No%POREw%%5c>s0g5 z94QV^;~8?MBC{^2A!r%HY#5=xwvp1q>xr0$o$bP!4k>;37?F(DeTZS`Bg%-DYdUzR zURt_43FK}9#_>^}=;5}|sbbTTc%tOs`ACa^$2gHJU~YCS^o&K zhX6QPAg3t8reNod6?&%=pO{8fwTleAFEj{n(`jcNp$F#GI8bs}UJCRIiVKxXdms(x z^{{`Yt)T6RZ_gv<7-~WUU>Qv}o*XYJt%S)TihPS)4KuQ|eJ|0iI<7Or!f+;mlW!;u z2fd5x;jyb@>n@0Qmuh5-L@nq_X_HJ?t9Q{4cq)Z#5wGFc4QXeBH3#7VJk2DpUFMfHh_dK2>U(GoMgU~|O9fU==449GYX z<=M$H-txIBTt!O>@{~uZwi%1gWksD OJBVcCiCW;~4019IAyAMSRQSxh~d?9zfR zsqXp(w5=7Viyc7IfXvZ38Vg@3UawNu$~xL~nG>ZZk3y52OIc)u{dWO? zhbK}2w%#&HCvRa@D zQOF{SLg_-wP$*Rx2~W1LK^DrvM=X>tV$_8Sg*4EkVj;bjg@$o5r~y<}5USAdV=NRP zD#id0g%QFPf7%wt8Bu6gm}ubH7uNb%=m4L=!{EXx2b}^wy%`u)xCp|GDZKO`#1-Cv z8YUFpgA!I0K1Nx8~!P3%0MZ>bNf0C3|s{wRM=b?n*5;Q4rPIMp+ z#z+7JrYdE0Az_Tt0ZKqlSwIzLfWQ;WGnj`f;ILnRCCPgrt$6;tDEGj>279oo3tLw$XrHQRDpwU+&sA_ktg9Xk zh^#ravh=7^%#SAr*?z5rMg3q(-?uSNOg;jO7)2FVjT=AKg_0Qht;C^3Lw4M zE6StlZc%)zZM+vfW!ms5^^fq&t+^kc49f;2f0?;CJUJu{Xmc2r@T`a7tJi)jej9w% zGH#i|LL5KzmuI9BHe-keB^bRWQ^_sC;fNpuwrH`1+f#1E!dts#VXJ9qiNb8b_7o6m z+Tnbf8HI$>MY)Am(gzL+PUG}|1GyfY0#Qx}tmBAaU@R{Tdy<-23o5-(TOn!gvU=Mp ze~auvLamgrSgI=zb!}yu!L2n8q_J?zmT1G4u4gVs^9bY7c4MhD9uUZS!6!Con9HT{ z3i`R!n%V(BAZG7D|5Qel!KEi0xkQaaU1l=#(j%Q_zfu@o1Z?ovIk)A1QU>Y(d|-GP*wiH1^=qF5P5^%e zPbm3-nt~{ZH^3Zp@fc&q2|`a`I~+S+DO^S!ak37oXhp0tFuV6FkgaviP4 zQ9(JF2WKGdF=Pdf1<$MN2{cDsYJeOG&mENM&t%{jY~$8;1tnWT`O`` zHYS11?GOr~h9{sYJSHE{V~jLg5?tsY6^w9*)TNdfV%lhuhV{NO7z_>zd~G3EkO-*N z*ZopJkYjdbbZW0<6Wl?j6?rt*SECF)n`}fTVOd+R;X}$KG1H7J0K8Nxe~EU;R>)V0 z_DCCt+sXr7;(>&eji(lD0N65c96%C-7KVUWLwdP|$)WSalsF*3j)T~8fq=w%fSm}e z2JY~ISOIppOAAAWs#29p7goN)b#gRvi;xr|2}M8Ar$na8{fn&)uSYDog}p-amSef! zSfU1)5t5fyeT)#-Qz--ze{4n$Y4c{Jk=GwmCN|7D;^C7YBszWc_vC9gdm2-lZOjB* zu9>9Z1Y9z|7np`{84Z#?mzX=IUCl&9BUqtCN=$&63A}QOqi9kbAg#$IgZPy8$duaI zz{#FK&k2&N@i>J0kD<+gu?yEXJmB~!gk>?^qws?ka4#f$AkyJkf9k9w+bo8-w?wCc zxRQuBx3*j6_~mI;UgnO;4=IYhWom}WBOY(2<{7v_!qEnwmE)a&4= zrDQuRSEv|?35->kC1IihKGP%-q7IS9WX1$ySC2kI{Wa|Z1IIg$gNt?ylv07NlzSPv zOIU$68{;TxLRL2p(>zRzz-OL(Nh3WZIGDUs>PeA8scxY3e}b+xTA-dN)5W(!>7Y4=)1k*k+fp#$N82cM&)U(snAGf8}Tp!sP9MHf7WK1eI@ zNGfAQIeClYe^W2RHAf}4iCfTT9WgLZT1jd7`bE?)pSj|k86=d4KW!#Wzz9E(yIr^ zaw*I+T3!)5FSDxUqjC~lQF!Xh)O+mVkRK8G(U{=De*=OKRW^%4k7++`QKmyHYLd+C zq)P+QHOb*NnwzBadkX?Q$zQ&gP|M}5NSFAPq3v1*0SQaq$m*H*sI}o!wUQC?moCfE zJVMip5zXw*4#|2`BxNsQRxyDG7v6*MSi%7O$>Hp?p7kZ2h|4&9@U#aArQ-h9dc9V< z(jJz-e}B1msKVFjG_vQd52dZyrsNUXCd)T6M;9M25fci`9?=yJ(-KP6lA~mx3kTh% zC^4{9I+o)kMR=sNRbZABD6{YpgVjamZ&KCJeTHMmV2+BJU!Yehcv|yfbgnqwLguG0 zy>ieve!69ie@+ce65#o({gG(J)&#>jRK9Kwe&9iWMf3Xzx`$B<+m89YuB`?fFiI%D7G#B@>kf_7%2U=VlLUP64Co;LQGb$3 zf3s6PU}WNJyqH!30Q_owh!~8Z!qFc{fSTcJrujiiU_C`d|k&v(cNt0j~fsCu+48M~3SGilhFNfu6c~(~CsQhm^ zDW~OhQk6H=Y&1PDXXU(Hl(*&gf3u2vBM@vF-!=Wr;!pb@5B7K1V%1}@MvEnVf4BKG z7K^yX;)C+AJW5udO|P$qVEaXRF)lC5tMclvo2zO9Sd7c-6&f`jf0lpVP8Zer>3CdS zES3*5TquFHxSCZ}x%e?f*vh-|?*?>w6X-sl>>j^61n6G&28%KPUBoZkj5Qe6E9{KO zp%WQ!aJTFM&iD*BEpyyXXT!4!f2}?pUGf82jZgDi0C6$GFEQ^H4Rh@#=DyuNdimjZ zFn9lTpSfD4y&+8aNu=m?k@5_;1e@$tugSaRi*mnw2LW@M0_6e%1q=qh$?)a!&+FsX z=iu}EFJwzt6TrlFQaqJML$4_>%02MtMWVU}tJ#fM?fw4V?=L=qVF!JoYDDcL5&wx{ z%f0DhuUXsW4h8E=Fz>hWRr#92_I>%`YD8Rjykxuabdo~(99WNpmDTk*25t4{?Qo1l zcrhyJ=X-^ucrm@5HJS0hf4BvR9Va6o$0bGLUm_4KQjIwgHV4{OZ<3qw?Yt(@6=}|^ z>k+FqufD?)^U+<}NNqa(0fhQj`FHtuHJdh^w-K-Y=VP>El+lV$le>!-z{~itb+?&zF;u$40 zkpDtLV^@}dA0Kxhe_$rm=e(Pn+4PR7Z#bJxf3VX|hqG0}lVv+4G+ZN}!Hm)O;kcTd zRpsTZ8UmfMkn7>id@(JrM-yPWNp(qi5tG@hx)@h?^V`#TwE(6&!ye$e>(LliyPW{v z&gR2$1KiEh#iNtmqeB9>Z(G2b6fJ%ui|_1xdYXQfBgIp$PKRuQ3hrDV^Yo1 zfq?P>x$}n68!_OA{e$23kqVCblg4^)NM)WXTUwW5;3@nHPT-@SQ@4B9_+xq7=s!mJ z`mwx_@ln{oZ6gZZ{<8b>)SJNoZ1_i)8t%N&WvEHnKn)+4s41m3&tKj^ie2AA zFX+g~@L1hMf9srpFIG+CH{;XSyW7Xdzw96G?DyWnA!v-kze$EWTU1%l7}pA#xH7-@ zUX?SD)4A2{(f|CG@CDQRoby{hv@;B zU{D^9&KFm6{7Y*ZdNlnwfqd*7)X|%()4uPw)G=*!f27XU!RSfqXwgx}Y_3lG4&746 zwbcokHbJbg@f~IC=E}5hxGiNuTNx!Au8J#cR7V}RxjOBeW>Xz2I<7*cGksR@=-AQ6 zZ>~@4w%Agq6UZ*~1#;+U6E@eTb;WCGW7Y)@95gFvy1OcFu1xF7(o&`q#Wr`8&HU5} z;~+Lyf2MWoXekpOyu(drhlfY-U-L51RK|5;*fc|UK)zw6Uel&th1v z)G-}(9>K)zY^Mqw{(3mH!b%k%ZPi&Fl^#$C_RacxLv$FaHCkWDCldbIk&5Q8q(DL_{??Mnp0~ zL^DQ3L^LxnI50ywGC4&zIWR^^NqjRK!C?s;}zYwV;Riv8KkXjNZb)=quG>{01 zl19=*nn?>J@$REBNH*)$3fWxsYJ(gvc(p@HDX$L5XV@zaDbIU#0=bM=7mz>mN&u%X zUfn>k=+y&!guHrz-$k!JXuROn56!K6C80Zk*8p_?RiFod#$nnx${QyeMq$f1-!(2C zjjJ!?I%(W28Mk}J-Li2X7!PX^#?y+AW}wgCcD`-PKbGGzaF=V(0v-!AH!wB|B_%~q FMhX%8_AUSb delta 29218 zcmV(lK=i+mrwf#y3$V8i1Tr}=F_+mBbl~6<=NMR=-4&tv5Q3qstq+-pE8phy1=cge0AG1q@J zba_-a>)$Sa{N}yLRy<}|oN-({UTp+yr3J11Ypi1$rp<0P$$_E^I@$T~C z(*=ib@rtjwNSR9X%A|^=X}a1TE`IqfUhUxHkE@u;EM48Xp@)@ZN*d^utDi6abMY4W zp6|&eXBp>iEt6)n_rN1NK7{x&DNBEZ=_zHv4_|MTQqfOERUC@8sIF<6)Qf4U%KB*^ zLMuxa%YFbzHJ*qnoslgV7lW+64=t53Db=_ZkQg8dMJ}JD$S`9DR_nD$qg(s|t>94u zXD(&5E834Ob?=JqhI%HnJOtU&8B3EvL{*p|taIwIl(SW8z1gsu~{)R8oigO2blVcLm(swFeJgb_@E`Wmg7d5X3K6k{M?fsEqJ zL>gMKv&cZJ;W>GNTm{FLJ|b5u{WQ6AGK5H2rsc{=IIhimK)!Z0vBCvv|tig2XQj3X|a7?y&~<3N#lS` zShllGQG5L)g>AZGYg@nIb2}+e5t-3O%6kPtj41>BW=ZV%N{t2~WjdRw1svr#NHZ?8 zk@?umP^sBMIvvbRghZ&}*um*+CYwFO#TgZg;Y>6A*%mRUCQVreo>hORF*Drz^}mC- zO%{zuOV1Oh(a@VFuXgo;`p~7$&f4Rq?Q%EuqZ{6T@%{z6s5+-3^}Cwdl$yo48@FfD zpF3$8j;rj97W7F8xwE{Zd7*<=5F8=Yyx^qM7o2qRc~{hx_tj-%^WB4g=sJje-k%p8!^oxq z2jH5g_B9b~^fJB+rnxuCe_ge>>nI@!wcY+Fz&C1Wx`98lGyTv7lIgwlFglGVb9*7{#hL;{vqDE(N^gWSz?1^qW58F_kCjq9eN}R7@ z(c{srT6@|tn&5k)UeBnf7yAZ>I#-ADoj%pKmWB1ndDNLDUG^r8UNMRAK-b#9LPc40 zXpr7!9ox>f^Qt}OjU^B8nowy`(bt>?L&Wr*1}F>Inh<}QNi$%_+kir9CcqnRI5RS# zQSmuXCRdYDuR{B6cm@y$-5F#FI!=32kTPfrLdx0BJhU?aF*Dow+aTWLPS%6*2_4)K zg%Q|sz7~1y$*4Ere>v#ngpsLp5RiDl%;~yC7&<8~{&!BylbjR*ha@1-$vQ4lLj$on$>STqYm zp7F%T)N4*e#!NQQ@Dg1SGZB1|Q1UfQ=V^ueq7g8C($@rJs-CvL_?$RG_GjWp;xMZe zAc052{|?B*3k~REs`qmrLd<}d1Kc2l`AqSC2upuPrVGy$;B%v5+!3@4+<)5d++xtq zM0BAD}p%UZ$@yBjeyqDN%qbsbp&Az=zOxs z-^c0`!Jk=P8i3S#pb)VpAh+@iY*Wb)E+?h10h9F@u035rdJ7x`bEr)s-9m)_ydr&9 zyMsD4Hi!&BI#U;{OHlX2tx8bMx{9!T!HIJhv*f|-N4E5 zK_}m@AzC`TDfk!SAS+97c@PY_{N3GLP$&0bBU|^T82KC{o{XP z2j*vqj^2Gb6}Ne5tFC;&`iCJ?3Lz;DC(IWoJQokR6E0o?+(tb(lV&SEi216hoUH*m z^_lK2-;PywlDdunbAh%>i7Q|*5Z6}m+=)Xd=N2TGamT#j4!6v2l_g_5q%d3Ahu zQ@BiCCqB7HtM@yP>2tr)NWPmfP>QPkd}eH>nK4hXtc^)MK49swqqola!i%D7ZMmm+ zIW=u@U2V2y-MaE3jQPE;>aISz=-?Nv_x;%4Ee#4;i7)_c;`D13ctWZ4vM7HDj+P2@ zrI*02IM}Mi%3i=w5^yC?nn}uxGA}R_Jvvn3$#B&*q`-^$AMa5!Wbdzl@(iHjqGX97 z@tALYfc#?_F!O`&;Vn{iZJT3*wavucJ7QI&4KcwXlET-X!27T?CpU4u*3EB3H#{LU zzmW(g#1N5tAVPPaduKV&>H2@0(qnOL>*}U1?F;Tg-w^<*K>M^t*nlMB0<;Qiv4TVhfXAN#>k_bFKGR~V_&T!d zqbo@R)%5%aHTIrtv#vZduJ(uQ6kcpj^w=5h0QRUSVN705|TXjugjA=E9@Ve`l_@Cdbk0-g={M$y75hE^R}aITlO~~ z?lJE|VMqX6O2-@M_NH#S5UBzTUJa3PCY_enKZi@SWJZf8<$zr?2;y60N#m82XJ|y% zek=cpPPq+N0;SPR#|wXe72ch*SZCASxr!t;ZuexmyN(2UB3JU(eaTz7Fo7RI{14R2 zJ8H|Cj!vW6xs)SKqf0cY;e^2go724?w5QgesD?P24_Qe~>g#^}#-I<^O@27oVOnFs zllaH7=t-vlPpnRh(!C`#wj8c)$a|75xL2jW=_=`q!?mryEVY04`L^rl-c9(TDxAsrA%Qpma4tevDo%wr6Hb(QecAKAC@1WFo zm*l!2JnZl+L;`;+`6Tqg2LVX`ToCIO~AHaVB6$>5yv%nmc;t?=53NK7$ZfA68 zG9WTAGd4AoaY+;fGBGzdGna9N0w;frw*z#Y-P$f3+jdrL+qP{rSy5x#YS^$r$z@R^X7b3C`gpm7(~qMKL91|?OYgG7@2tiVhXA( z%m8L)Hb!P#E zySp=**g7-XJ6QV=VuV0X^W~wE?g&viyhc-`>B8 ztnB{fY+`C^Z|h)U=V@hU0Wi0+0RogHCU)-~E40+)S)&Og_9D z{3~)3fTV~Dz~nu_f2Zec>SX2M;>_r5W%D~lrr$L0RhFUtVE&vW@W@auP zHUQ8O0Q4}mWcp37?&*I3{FjpDxA;8+UvCF{2Y~r|5^Pe(WIZIl30L_%GTud$hnU;U#8o#&9#>x(;Z0~IK`&t1o zytn3m>E2h%^yB;0;ru?5|55?pH|M{Pl&~|kH~YO}tQ?#G6DKDVPq_CczatKSH_Q7j zngKojHN*fWMmu|#cNf5WdcFX2dndTx9p&TzFp2yY{eucP0ZgKQ5Ep<+?3XJ80Um$Q zJEy`Q^vchc{$Y48(LXcr9|P8R3ZSi-iL>ROV*U1UbbTM^ zKQ!-EG5-VKeay|R{vvtDe;^0jZ|Hya=UA5CfDko&KVKH?a5%zVrVHhyA_F zmYxolK)b&z-erHC&-|X3^6Z|6UFI zKf$~^+y9sPJsF2T>UT1S_ji(=4bc2gk=a@PEp_^@+Oxf%cM|9K%ltpVyvOWp^Y^r{u)K%-=h*jKlF7x=3HaC0z1PIW-Tp6!cMjLT;Cp-A z{(|q3x&Jj<@7^AN!FPJkzu@qm@d-;Jx7V)AbPvI+>>GYtWk0tw{1< z7s~RM1oe&ZBJqp&QBxgscyppk%ahNuQM~HJP7B=pI9A`UZ$~1vy@Y?T1PtoJyFM?D zKAM3a!J9zaWhrtTUAd8z^U&|zd!#&SdrOx_!e)0=cB?q$;Gat;8Dcb|^#hBhDRMt# z&ft(jxiApI(4w7tAWz@iPN8N0dLx#Nr-So7j$teC)?H_feVFlDDOYE8?!YC-)x{wM zzd;+Bp!62qPm#r*^DcibSniwmXyPv*&PJsFvdnOm+Bd*7qK@TJ zKx3!(Q=Q|=;7}jKUD%iA`@x2xtxjL9BB5R(0t#aO z84MKqMYm+`XGoJ!e(#_Q(MLR%&2P-iy4;Z6pd$pQ963H0vAz}c=ZbCX)2MSc?q~+V zZ^4|3Zy(yfoS%QgwPcep{u)M|n<3HpDR(uFN`d?q0#c0BVUDN`#6eWbiY1uKr}eChv(L8fAhAi zOw9ohu~wQ=4i)c89Z4nv_TsSmE8)OgHQYvJ-VtHxk>1IAkq# zfyb@Uj>2bm`cfHj3aWwyg{&1fKgL(0SZrthsVXS{oHw^)-H9wW^sX-9FqO8PH zeBE6FCo}pv*r0jwiYJP%rhcDC=CuyeJvTYJMKV0GMec1=ph)x5yiKir) z+X_g(S`(m-j(jzbY+TiF7pYq$_?|J{2V6TI7=aKagZ|0Jj3GF7EDiWpLiKf3zJLzn zZ8kB>deeU^Q}~fMu2G=US-)l#C&eOs_tq1KX!h05 zl!!uq&G9TizqxsrU5VX|L@&eWPNq4p`mDC<8MANKGzyP-jj-%eLH0o*TZg%PB+kv7 za}6hHR{y>m0OpkKIG9e#hAVIfo|LIRsUv^KxGaZrI7rh;k1aJM=WP-prYkCy^%IVW z&~u3zDN>FqteaJdc}nw3C8vxsIl0Z#!DD$NLn8LNUI)(6G;nk<>b@Tj23Kxmj*^wa zBI!ewSNNUm2yPm^tG%B>IcpD&*Q#qmT2A;hCvAEQZ6RWB7h>7O8&CUK@tROizFdD2 zmMIO+@UOcK{d0?KmkLUulC9WZJ=afmQ0hnSKNELb$#cvU^~D-9zKty^-Om0JF3@82 zAl~P8B#}3ptlYx4Kl0mV(PWAq5ET&qe*Jht!ko~llWXtwKz{Nte%BvB(NobrF^K8D zvAV%(U|-t32B z$lGzKUAj}2FdR))S7k|g-52v5;s^{-C2UiVytK+ZTPi-*&3bPup#hLmS-|DpOlNE{ zA+72QJ17T86^;*WdxRUbX2L3PzE#*Rf1qGqNQI<*G)_N)?#WGDOJp*?>CS(&`AMNH z!J5lUq$xt9CMwUg%U_Ch%7I=gmL-zEc9&_xSLr?60Z&cVJg*IDCkd563KIpA3KGKY ztvYX?fZExkj!nI7q;(GVLFCn6&c|K>-Uxkm>WdcY+ABf)Pejjch5a|qfU=zLhClC2 zT(XE^gq2v1a+xwgBrk}Qez1Re5|O2CnIbDF%#BO+>b|V#f!mh9HGBPvmh^{$MYAb= zC?oBX6|4k8%xj9qX^9f}?rG9|hFDe`ShB*U&piuVEjm+0!)nAT_}L;E(+^(yQ#q4y z|ED~}M1aRVL?Mom-k7##1S)p_)wN1a6{5QG+l^ar&I259h(5vLbrF9r*va2A@v$+{ z73<=2NVGAXjW-_59Z=)QFZnxMxSmO3lVMUc7F_7 zRh$A{{|ASFFh1{<(h=Ce3Kcf2eN9ci`P|mgh$$pQv`QsLrL1);`c`i4vRR_waFZtzQcaD@tzbVCv zh~Nylg(dp0PTJ&A?$zJx?9A0sEsTL^EspO5Q+DJr2g(6naWT`GtYEDcCS74aWZ`v* z!EyKZc!@|C%w)5H!g(@Y>g9MeZLYYmh`3giW+FI<{9@E&&sUpg{otNNX9{pB`F5%Z z#KW;95Fe>of$x7MO(P-l+b-jy<8sjd=I()urn4ypXSl*4Q8~K2pNNS@kZrWwlpE-)dZ)}Y$8)S3h*XZ*px!{f&Wa((CntDM{T@~RmWSNC^7mEDtx0J6Pdc`zcJ(O+FIhJE~ znFxR1aSwE;rk6~*eyDd}P-#2)Pp_ph*%{d-gUib2V!^{urwGHkZveAo@=YTbw5iwoIRedX^Gtqixp_B_J@J|)mE0fQ z$yVg;)HxZWtMBU4PInEQHmyaVfuDay{;;6FF7d!rp+|BN)T`X&9!->T?rjX@B~~Tp zG2q0YjCi#5tfaB3$BlFwJh1M%)hdpX?@<*sBvchOv1vc@s5Q!&)5+wm;ZP{5f>_%< zUBWnvghr2TsX(sB_b+~8vi=sj-n)=X;=5{`bb2ICsYMVlP`W*3PdVL=lof9?>o(>WdJh(JGdq zQRtEdMnb(`7FJ&zUyLzP_4rA#oM`y!IVZ5^N9QteReU3yVA8%#yNW}67+zVP{}fF} z*pJMI`hrWQ7(Qq^rW=3WZ5IgH@7BVH7#?M{!4lNWQbT-W&6rCnj$pAR{Yf9y zshZBSQ24U=KRe>v&2PH~y4c8zu_S8u060eRzQ8%g&-FM?76b}yM~!>2h^f(a5acVf zbo&tj2f@@>N8#DZWK$FtheDEVs4u4K$zh0^frBbLOtub+9CBQsS}%XVNFSQ+rTJBp zNa>V{b={_^Dt6Zx4d3?Op1tntVkis^zy!%~ica$JA;<&CG^h;Bw9ZcPR5q?0#lC5Q zL{;N4(Nl(i=)#DM0e*lQ6w4ie>}skR)e>n$PbEy=vQ&p*C&*9D>DAMO1E8R+BULgp z&PT)p5kp`AQ8Iz81A>1Q6)MaTkg&2gL5&A@|219^KC?TxVNhJ!Iy?_$%Nf%NGst5( z1#XwIOK@>~wyG-k*T*lFi#9!clqpqY{CkV()tA7}H0BfAl3p3c4gC#5d0R53Ai`?W zlqvjgkgW-)5I{FO5N`CqOvxYu{VmP!rEI-dCKVzio}R5+ycd5{bQoEtB>5iakSReQ zekr`pe%fF%_hnm4$v7G=?B61lDoH`D*rPI6aGrpkCf3%{c=3I{t#4@5>8Xz~gb$dW zqp%+BCy{PDi&Bz)gBcu+B{q8a5yiJ3UNd&-AHONv=$4CA6KJqZ21mXCU5dO!C1xoU z$dSe$qK5NA*m8d|T-|vgoLGUA37c+GUKhZCktX7A8X0zAW3L5Tr$Buf2jv9PP(-$5 zJU4Eq<88fU%;sYQ=0;d)+)O27lk?)g{+(o}?m72nO1W$3*gGi?N}?+DOkm8xWZw`z zaNhDr=_9ytX2WU5mc#ucLIt<0=Q6p|Wy;D`vMZdquc?1yHyuZ(ryt47ios0gBmRBI zF_H#-1!$W~4$ZC=uk>Y3n^I`c5_P2!P$}?$P*St))o~mOOR(H^f4zr6iZ^28qQ@&Z zD>Oq|SDzwIS#*-pIQGK)V2b%y+rS{RfP^&G5Y{ESj!xUS{ z9ii3MoV0)N^5;PFU%@XQ8&w&PGHzbnr~>+J8PTXl)wa6CTSgXaJfDeixDv7Q5Oi*4 z#cC^hZ4c@Ve^g1iau`WvK;PFduoONayD&vh!@sV_jBK96t+Rjn&Qf6)Ve}*}=<5JQ zw`*Q%!DC5I_*mQvY9M^3@L)V|IN2m6cgx372K9f=* zUMENl>=InCBeqDN>;UXvgDN~l`#FMefc`jPv0Ai$G)mS8o@nqYG zL{@&6J64~r;p}k%w47%c8)vB1MO?R zrfQsA`61jDBqWS;2_Dn*eY;ANw)>m~)?8d6!bN)EEgq)I&&2BTqR`ua{ouS)81VFw zM@IWP!92g@>je1b+pm`=I`oA?ZHa&5q7;+?#={Mgj`40%TG=HvE~Jh{9il22f_=y{ z>m@`&%E<+heOUy$vfYUGrWP2qMKpn%6vf;fa!$7zH9U14)K6qfIF<5W-q^>APWOZ| zKz>o(9^Z98_)B7&X-dh@($no>Ib)Vfy?$FaWNIvNtm}ptyalz4?nN$tc+h_(D)$Nz zFL4n@V7mjNrDtUCE6fWETGQ}rSsHIEv_=TN&E*Zg`E3B#Pc+44XMDaiH)|vNP85kb zMGj#1sSk(@?8BSmynvNuSi); zg>F?6ssCM3rBmiodV2JFoVY_so%cj|Uh)ikPw@>NT1~rih50*wIZc0y<+|1^RNzl` z^Cn602Fti5#`#)xFd9QO$O#6bP&;?u7kc;zUByNT%yBW$>#93=9rzekNMOBJ*Yxc< zTkE7g+>d#elh;?B4G!ZtY)L<(43Ey3U~r8rpC~Hrg!=yQ5Gi3~jad{<8F+o-w2-~! zTft}EK~1A4utC9@LLPrw8D?Lssd{}-$HMc*NTT| zBtA!QBL_We6nuSjr>Q)*K#v^8be!g0H?t-yXsTMqjIe}u?1wM-+UjhN$j~I504E17 z#TB`bVAGEG)8-6I!>V<(?qOPGO2SmF=mEZ5vU`9qK zZiO0RD3Ul;bnAE(@E3$pVmp1|6ETw!!#8G%2=s+xum*r~dg%|_Tq2LWM1GZH$DREoot{tBokvL7#1NFNaWw3$tg24Zl*O2Mzvw7coI3vOw+L9}%+a$N17-%qyK?`>A-;64#T2x9eU zbx3Rv!{d}Vs^M+tHSEi&W^g5-Y_xTP75J%M9nh+x?x0ejsH#^Kd8cIm?L|w8vy{=S zZ=(WFm}Gx%?#sT2Azmf+o*aDTvRDHjh0F5DY-kG;zy zmU>uXl!&lDdb2^SvVC4(uYd=2E^EP`$k-X8$SQv$Hi)VsHcMwkV~kF}%C;m1itQ7o zM3WOpTc72fpVrTeOxz+*Ep|ht;76%%30pUQV=%T+iB{&;YA1ve>3556NCnfar5*YC zv%Zk^OZ6#wW#68d4v+_8;t)Smx8?Pkd_k+8(jApLs3A}|I=*!Y1WC5x#TvEHBY4zg$U}zk2{BpyS7!T2Ncm8?f z&Ej<~8l>_vqwWO+<{S)}@vF0W-QX4*^QM2)suhm5vvvLb6PHszO##HAR?21kxcpa) z%^Eh%j5o|#9k8e^H;G*y(*rJ#wWs%Awr6{u2`Fm_b%MTGJq^I0(LZ}C_9$nU?am+T zfj`;3oA*v0Li6!-CZ=*w4by&uN-U^6Mo_iH^R%vpc; zUhuwsKJdHvDG_rXgjtsn)esl>D!PP2^^kOMc5erZplrT|)Vz+8P1c44JpiP8dwv>* z=R3|dzH8rtuKvMUV~)@2vg+vFAXM8^R7ehK=BknfP?jROb++J0fYI+N=6I!Z2$b7< z-Db2Uk`jh*?*_=(KbStwfCo2`-T8mQ%NRqzI`WpCJf-M;d|W52VPymK7{h9|X3C2~nwAvqAD8h}P;afXlnDlEYLvQ*om%P#XX%yf z%^6Iy?55HgoyDkGBr^@8xt+LLeW&!rsQ;LGT#uqnB;@^7bFF9#WN+Ff`XPS{%j&en z)>Q**k+4Nol4SX$nEq|r*)x%kO6GM4)ji$IAbmW>;$2oCIZnVTFwRHex#Ppfmp4MC13>2@@0){+D5#%xegVz6^w3%om zk;fKg;pHP@PUgwA@Q=jtR5krB&0n+rtl3cmRm!b)8FheZR1LI9`KWK3aQH;|DG4@ zbm488{tCj$K%^$OfJvelv3wp!&0Tq26S9#<<~hb~js7Z=aHa9;9e>O^?h!9^8HLxkDSty6HyO(W3Gps4B|LtQ+VvY3{S0pl=f(LH~hNYLQNhkZxO^3&S; z;n1Vd@2`YD8ZkOHz93&7S$Hy-0;)!hFOyZS(qDxhCq8h7P#Y`;V3{S!$xVs|_CPC?XFxPq@0`ZhdeIO*geQC0+qx!tQ4V6JWB!h(6 zavr-QfDIz>Lx4+&Sy;n^dTzGO3P7R)55vEd$t!e9`VPJ@2SD|%(Y=udy{pW7`WkIaC%PiWeyaML>b zriv+eCHL)AnprbV{*+SQ@zSiz%5Z+Hp=F!gpjvYfE6K0#b$GwmQm z#v3KW7L$KIQ3a6gd_2vMX&4d~#qT&&A)#0X>)Z(_l{aQwHh_ZE!iY$OONE;2-gC}A zHzDS|;$9p*q}?4D@2Cgcv{q~jVpVH_l%T}P;0Uw~i7ot$w|WFtW8#D(QNhlwM3x?e z1PD_s79oDd$-o7OvR)zeyOdcUB}F&eW2LQd3uAwUmhZ34PDiS%#mX(_nY9JU;GGMK zvR8JY8fvm7)T)F*#wzkjf*r$}ZEQwfn>5PH*p?byoBWI=#WUACJV_;{y7R=6N#U@T zCw!nkof!YVs$>hxN8MJXU3*gSfuK7Cwh*jZk(8Wl1=RxGV#aH+Bp zzSw_aA=NT+P)~&8R^bT8`cKd6T&0ynKc0Ly-gcG@En;e$l4YxezPu7aAG}h0R(NLJ7T5wjD+JGbv0mM3=TqN*d&|(S!Omk7q29-bhFWE$6e2{TuH6a*Jb*rgeW8{1`6s3Ey1=wTvDveZvO5n}YH0Cq8u# za(wl&q~<&}0~Q2If8nNi@QR%pDh6qmF>&sp_ekBY4}@kGq)F8h8xL{sSautw@7`L% zc=Fbhep+VE|7rWW(8>bAf7n=xe>m`stGV=^}3BGm{Z(^2GoqQP(Un6>-T zK|eJd&C4xF$IPTXRWChh9NxpRz+I_rw#0|H%khDd z;f*57Pe{ln7Oj#h;JoN>70<8No1^{vp(=X;8UbFsu|bS39xNE(Myj2_Z}EQsiV{3I z9mH6s+3=CK5LvSiN36~>@iXd0Iwjm)h4LjIF{LP(+Avp7B#=O{%P4wDC0DZS>r;L7 zcrFWfWzZhBoMP8TbkrBGe&L^-b(slA+p-L{3#=Cn^iN0<1Z$BW+aqN8$gQ_Ar_xTA z&M8Ds6(4Ula7j~DrbyX`8y0`Qk){`G_)T2#(2pQf!C5Wa!v!!Ayi!x^eem8Q-WBAc zL(ss48bL808m+!g>*&6%@YZSy*rts^dfW-6up)bibYNtgph{E!nj5vSzlxE(g|=R# z>5A=a3Vq!e;X;;6lA=o}H{n^S8FGW6oiPNjTGPRv2E$2Ib}rzl=;eQqlat~Oj-n;6 zyYQ3K<@}0@8-{w3;aO-ubFyMp?*LLoZCs^r&K5MA)h@JnB!vxBvBIvGhz)&QYjq#T zj5V5W5+MD6X=wdxh@QI1Io~@S->#PI`>=&`C`J>apL0zT?j1{x1N+@Tf;R=s4MRgv zd4={5e1W(kV=;_ndXY5IBx7@-)ZA&mS{fsCT zKjgH-)43_wct4P;?08r0M=DsnjZg%YW>=LVX}`L*`J#~7E9QS00=HxiHWOa@j!WQY zIX(Ka6s6uu+e?7-d*m?V^22s*n;W5XA_n?++6`Fus{1^nYIf-z%6lLvAT@mDSdw^hPhI6v@hJU>FVeQ$lVV^QHmFxX?)Vsos348VKzySFMY`F26c-I zp_sstDGH@2u&oh3ae)yh24l9BMLBdT{N%5h(m6-8iP^)6zP8E^(suHa=KMX(cD#$h z12b4F*GBYC7PSse3TxHG5=WJ5utt{|HEHO4MtMs zvzll*H2`w=Jn4fnSj+6msr>{lJwNgfEbe97udo>{eW~`n74Cbizq%OWeU{)>(2SUI z9~^RYsorX1=7zx^R$#M$DKv1nZc%4A6=7UnF~ay!vq%2aO=o?R)tPE3qd0+nJjqs6 zgyerrzSGW>IJVk_ECWlJJ$1KGkn5i5%wBlu%=||&hrBm6#PW`4<8BvdshqU0U~hm!e3oOAD%8;95)W_;ZCW#1GaAkJ)Nuhd;8;s4dzsE?$|KM6s)v zOl&*{1cav4ZgZJ*bOIh<39Gms+a5H-XZL@icdoZ4u3bhS`7@5W-2zxce?VnK2B%hM zSZX?*GxvM2Fzg*(_4(f)^@f z*xui>}S0)@AmRjVlfy;nsiM znV2K%Nr-+PO0QK)cM77nfT4Y|-MZ>$GhSUpezpM?{+d_FRksC<_gNzn^iC3s6Mvxo z_Uiw6c~3&$l1+6<0gh`GIeVWL7j{ME6R2kzXeA5ANbvWX&C4)Zboq!YTGbaQxdbKP zIR!L47C8N?S}Q88CaU{fd5C!8Y*Bv$Pd*{6-#s5JxdzkTB3$hY=2(asoAn4~-v()h zbsvV0&CA5mVAz*WV3ME=-!X+Oh@N~z(cF+*zMaEhU|DI|DU_!aaW!=&*PE3%8$UhG zs534)$0!6usVlvBeb}Aen_-ZZ3uy8$M&kEtM7t7{dhQofD> z#J~icfYMd+IxqG+v)VMZ+Q5-Vzj_w{C8iP2&QwcK+=eANGhVGMQiwpp%3i^sN+Lc= z(8)fo8x$c@nhRdv)+;lr_LkmS-CK)A1JT~@2qGP!9Itk2-z^S!`#692%%_sj;A_d< z8e6UA+E|Ly*?8d!#5!k;1D@BbETn@9c%L*Y7@-UmZI;V1MTkY7TpkN>Sd|_@103lJUPIuq8K%~$&X++1qdOUDo z0krKT$WM3-;nR}z@qvHE-sFDqntR{eer~X8QU0DvbJzMpR|d?t+oAC~Jn4rEL%r=U zGBrwhnkz1q+(>}7z zVmuBKQ1{Se>hMcuiKB=et{OGVhzM8z)6qyOiWOnBgoqE#6-SFxz_*t0O)hrpv_$@e zI2aD|3zm{KFO(=CHleY9q5qd1ZlOH z&=PKrX=#UTo9Ei8frWAi3PhSUUjFU&0lXj&?6-NdWXJL)e zSwznRuROkY-J|D8{Vb*w0Y{e-5u2g&iP@rR6lcnC%$88HSbzLnoa5^ekK*vhNUte$ zi-q_!OrWQ5ZW;)aDf@Ufw8J#S=S_A~3+IOTj*6kE&Qj}3bL0MA5Z$y_&pJpd1e~v{ z2QYuyNY*4@#W%7GpzZ^iV)ER+CPG5?OU1})!cd<>r*aB#48{!Mh+|WCJh-nzZs(|+ zq?;JbfqHCe!Hj_5=B~_)32oruG!p(`02>^6O@*AYFRJ`TQ~=F9pj0{S_@=vKBpH!We!VhmWYz zY&&PvEd3$^IXCTc6M2uUaLT@XU^su`z&_9tf{nn*>_&=iCq6I22KwS-GMjksKU^4W z>S?)q@V2>m6WTGgnSPLcoO1F>EnP&wbN!%IO=^b<21xqyjoZl~q&``&TG5VC!v@kC z^PsD>X;c;46Z6ygxdtLwLhJFWHOp%4>77we{7N1d>};>)sT{20STc&O_QHR!sxT%N zRru|%>B+vLgqQ|!+MCEat>N?%tcytcFWDsx=Np1^tc}J)Wfn2qUe=e(j&)< zH!$^ge>~MAOm~}z>OX~R(Ufug07pP`{Tf|@r_le|C&4Y=cQwIe*2#zpUPOuBjz)${ zWukPV6Q*12Wk>01)}V;G8dHDtZpG<(Ard@-0hT6wB9Be7g1d3^jdgC6Ky%TE=abYI%Rr7O3b*GYg!F$sMxHQ3VMX`W zAev&7u}P;T!I{MSVjg%uExJz4qb2cdO#5+pM}u;==0j3h!u)yS;(3sZ!kE3;fS?!V z#S)H)GAq-rryw^yZVXIq*Eigom`&8_Du7$NYM}n~Mc5ZkU7c_TlAp0Y3UlNus+(*) zMc2@wq`DQ9VR&QB2w{KrqYLG$bZz@`8W*3?GJ`S2OwT)F*FU8@Aq1q6Yyzo6I|{Z8 zJ~Kdr)j+5)L@6r_Q!%^2Ak;p6p3^U%IeL71hBH~PuENVZVA zh!d`MDgpMFiOvU_MokSGaqNh*|`Rx}TnZB}MDeKZT!@HxeyL zG(69J#V;;7PZ3Qe!(c~@nxL*fVXHQrNWw!UAANpU;ark5$zgDtMXpMt1jBKbR=j09 zvS^j8408I&Bqbc2l`SiTG|G^U_8h>B=pqDRYl0^Dnwm~SS!FVEYgiRqTvkLy6&LuE zV|K5Zf)+_%@R1&W|1fNtP!j7Ggg|nKFL(6MP`3ziHdv>xQ;RKSKN!Ao_lBTnGLs;f%*$8r^f;sMjkf$bM^K8$yZEaM~64@V0PXPbgvei54cEaojUDcKE)rF z1q96~r@v-@DRENw##DLUK&&}AILB;GhI!1x44r-uF&!|v`W%9@bZ(^8^8tBRu37JI#^3aMIg+b*R@)In=sUg#{%n_Qb^G5%{8+1b})NC zz1=O=vAaY#iKRG0DO}XEPPR)o2bQ0XFscn$8`bGjcs&sl)|v(uc?|Ywf;61*IB}|a zO5}P_%0nPIjQXiAiGp)k`liIhEDMI!@#j_ryH0&K4Y!MZwx5q7Y>U-ZQ9@S&E!=bt>0=TGY$&2v-aakE(nwEdRsRQf^x^7L ziEo;(sWb-k;PmN6AV&!VQw5lQBA8=*c^O|;T;HBG0Hda$ID`aXx7Y-ll24mbuE)fG z0Lss6r^rJRCJc%(WwvDIkKfYVzCU#^?NeBJ3Y3GrMxYTpf>wLT@s@Z^;R?`bD{k*h zXb*Ko2SW`)Xpfn`s%+`Emr^RtoU2`rQ+SJG#IDjbn&Mz>E~2&eq{ymR-)(k5h;MXS zn~`zA43VmK$EMBmQ-hjYcVJv!WI5!2c0#w?B(FZ6Pn$Efzs;?zSc3j=DuPRz0%wGG zNnVm`!7|pcQTA1%$`soEc{mb6YqEx-3|Us__gxcU7UEdXo#joJOoemS1A;YMp?1?} z9()Uo_z|tc*Snswzbiu>Xw$cmbd%(qaN+{4PMu2pVUXb0iJ&+;AzaWe;SFVfFk|Qh zFoQF&+^H7|fPS%9cIwV>FY2V_p$szD(63Np-|Id_v&!eo%zpkM6m~)gzz*2@5BzaO3Sf|+C;kIS$w*_4V zI=({gqGX7m5lm9+!%P}zHz%@hx@>;qO9#sa)I7Vld!6)oz|c)@ab{#>(0SWG6?s?F z0YYDzvg8_E7B+4c7_FE{n)G^n1^uT4tBxJpRVgZSV_kQ}U~?V=uXrGTw?>RCBQi~_ zG3JayL8UhW1yvE73n!HDL;vWK$*FYN-*f+^8TlP?)deZJ@e7i94&SYA{% zOUz6zyO$KycBpW=L9o4#g5*5mws-#3;^G}5Dm-z1iA%k6aQBd%eUGd{kBe2TL&i76 z&X(?HRvdByAwIjZpN~h&%$~i3$L^VrsDaoAUXmSt-=4yaw{c5sJ_009b;ax?)^u%V=bgxIZU|>{`r2Dn7!R-qT>$5%i zmCj}YgI4+4eWj21(-d9b-sSYE((G& z7kk2P7J@qUF}7LBe2xUvbOA!Dvt_(+>f%|UU)J6HLVw8t?rm?t7W*m~rH)q5?|^<-7p(4KLfe@xTUmUGFakeZ{GT2wXBpn8n;t^!W9M|rYJ)3 zYUq?I+%U&4J#k`?B!^LoV5LQ=^k4aL6qi|I(67kLwpnMhuR4j~7gO2O*j__vhZC^H zLBb2Sr1alC0)N`8XS1%KHuiJtYibDllFSmP3*e}K$I;vvK`y?Qo31EjG+P+J9@yvT zcME@Y5UGwcKw>6Bn7*vD-kJPP+A#wju-&nHs_Zusp1=@lB#Vk??^xq^Cd3S%@7{Wh zs032Np6lO}&ZsDejgjOnW1KX9obJ6$>C!0V;Hh-&w?wczsg(r#ImHGeGh z@9b3p+af?R~8oPx;X{zipNNf+w~ zU0fm8iTo(Bb>!2jxtVNEd0JdRr1bfh9D4qLGC2`RL`U^<=`kIH(|(eH#+`E@t)I1^ zIk}zzjJ0+ruD%x<=R=<0@X&cpBtst~wj)C`%ZiU7es4v@FF4d ziqF!80;kYNmk0b|6h^|}LAbB&L)5kp++@0Ad#*`b;dMyk-QVAS$#!(S$WNa51Zasp zF_8+AG$lB`vfSFpFBLx5-**dST%J#VfSTk!8&5db?iyDIIi!k1w4|(17=8{3v^(Ey^f-ProkRR(W~nNELPz3{?sQGQ|=aCGbw$KnC_;}Bc(ii zSK3yFZ)Te9(S&|znPwrEDanTyQk>q(i=L_Cu3Whf9og-fab4*m7%5q!T#)GP0_rMy z--hPD;a`@AP5Uf*WpGi~P@e|E_8{KO(-HeFN{~r^8?N)eB0Xp% z>(8R1t04=~%5-jzb|;ygXHn%?uHANt_R*Th9#Z-_?ZyIyYpC%SeI3TNVzX%npk&12 zbLKu97U5vT+OY3Mm{tR@apkMn8%upZ*CSP~nL&>&Lvz;bCcbqZ^zt=<^hJLO8TG}V zqY-W!Nq$Wd42oJ=*jlje0}(}INgK7;y=pkUk;MJ41YDA@nbR8%56|0GReY!l#_e{S%&L%9)oEa^63zhfMS=egu^$r@TYK#P1Yr|@p6q^i6Xsow4ZqMx zW4VlfShx$~0^VA>lp)!F-M1V5iP9WD+be74L+}Mck$m|;(QBkQGI~^on`c)uy|jP< z(6syYYdQp!1>9DE*m0+syNF0$nG&;Zyq6su@8RVTPs;?VM>%{wOd#nFept1+)lTTq zZMDzAe06|uk$5w3t%eXEY*2(yV(tT%Zyb7KRH`ay zJEPa&{l@g^o8Bj+%uQ44X(v-Mqb64rmY3l_*nvEMH#a#OOq zJXfV{jje!=3^@`e;W%CU6cxVj(Ar4vIj9LPntBLNDS0~|wIO=9>(C}9tiDCTRe$#_ zAE>mWy^k<8ClTjDz99PS`s{H8-DyS|orsb9@mPWf^YBT=c9#KjF5Mhh`-3M_y5(e( zDI#8fj9`(`Q)>0K2+T7pguZZf5!6Ae`alS2XK5Ys+sCdtT7Fh;#`zj$1!M&xX@PzN z2ygx&VcyO_UV0(e3pgmNK8Q4Y*$zG?9ScGG2G-KTy(v$KW|I-$ePnUCh%JR!*?AZm z>|}|{S%WTF{3i{Ek%j2Z8i!3f4SfYwT=sZ>yjpy;Ov*9dajQ506w-(+KD4I&=6Vha zL>V$QNDZB?42_p&jm+bl!L3CydUYi{xh*{MPhvy7?x>SEysbuIb-$ERqnLZz1FN49 zq~j9QD`WOC+&(UG>7vqK`8CG|2ZoYQew~Y~pw~SJ3z@oMV|oZPN98qElTk=|QBK`| z8v5%x)LT0}7=0aPEYU7A6w*dV{>gS6bAaJIMTv@81~pI(nEi9Owd21H+h^{Tzuo^t4bTwXW$vS zEYfOZ`*=WkFWXm1?yC@kCZ6ksb#~bz>o;vBM3)bZYZB;g+{i_vG@8ulB+b9PwG&Bv zH#%b0d9JF1Z_Y`hj47X#7GeaUfP-6f(`{a#u4vp+-NJ*|+DY$oJ~Jlu12LO_#zT&i z&qN)cLB3*rR4s!O0spXRH0?ZqjwK}KhO+YKBSD(KDV{cvtDjbXmD1T%Jz1>&NQ`zS zU)Ec+dLYyo0=!_#*eGuD1~*A#ZM9&ChkZ!z6+ckz>TFsKJ&(W;Y`O{NTkdf7)w0bz ztS=gL+|w;qdu0rJ;y(+01qUL3uQ<^zZu?>2x`u<6uPvrEQPt+!|4|kV%B|4J^(FDG z4gE}&>adM7L_4WzwZDMpX~2kP158P^ON+PIK}L83&B@jc$;kK z-~dCbCU>{ak2~Yf1O5z%3NPj_G$kz@5Zm;gPUm3Kp{n8eH8fk_e+t z)DHj2lM=5^4nrqT6Kl>w+e{-^3LLzYV(i}uN~pC5LI`b_FYhiIc2zYFy#HW$4n zJQxbzi)hwqMz!K7IhmfPR zBKN?F9;pdkWrW+oSKI5~EO}~YQt7(Xlh9GN@lmAwOEtBBu&`*ofh{e!$4;1^ z(}-|ApEbmP{|d-P)0d|aoKCsYI<*7?6kr)i{;utE>!kDSX6PN@=APRWd+#-lWIlsv z^ArxatxC@Z%~Q?Oblou7I0t$;OFqOs^od+B#)JA6=@J<1(4hpJn+XVso^K!~=rtF7EswM$agR2qhVhm99!mKY*HIvcZ!bmabtWsc z{7HdvN#mep1*K*9&9XEFE7fg9WeMKOv$Q^P&ua#(zm=@ zz{Y6cb$j|hjumikWA%c44k_)w<-$HB=@K628vxxCqXk`l$)(j!*D=X1sQF`#WT8RG z3LKrFKJ^SwDmMJFFO#XL-jmKz2sMn(pR*ur6!<{EhY&s5v2iy`g0TUd=a9tX!S^8e zX9K-|V)}{x#<(NrKQL%3Wp@hCqLG<>3k1_-flt-!lo(kT#}a2QRqC_gvcDVn24)9` zszlLsMnn|qKM)99tOM)9fB2{$UTREd{#v#jgRge*>nguqN!J*Htu*~CdW0q+DdVJ} zscd!MrA%_z+TJ6Bx+N!FAkO<%Tu14b@S!t*^hF}A(J9+5k!O8vJ!c&=y!!rYOoeTT zDSLk#o9{R+z2U2sf5~O!+9#Fv9uFP7t7;`3qrf>Iy-#qbyP z9b5Qd71>g2c5yjBUHj5og2zMwT!Pjc6a3$@G5&$L6FqvJ_0-ag#k&D+UEVD`J?*`J z-P-X6IILRvZT<}#%KYW+BN=vZ9FQkd^I?>Pz8bxW9Lf=_0Hy<& zMr7dPViKTp>=jFmO#`=)@NhiTR=DbN3Nrt$_viJ7Bf}~}xadnv#{}oX+ms3vl?sl$ z3P&4q+I9^fBA}D1N^ffB*?DkrwApDcL zf*w}oje1dUk|7}4GO<8c_8n-Eiy>YOYO0URL9yif#?out8E>hBKt;%P9)=bM4?U(8 zipa}XX>!G^wdXIg@8v9gfPnmeUXgLPHVi4#=|~y-ID{@7xo9@YZ}dYMH>Gw?;bcp| z3jL(ZCa~zi`yY_~+BJNy#p`^ygB%5`N5m4%#5hsUh2(;H8f0MLqmCFdCjko#l6EyN5gjQKo7Dz-f)6flYM1(ldw#GkW>O=tuh= z;Idj};PlC0dCjSB=o=F9be(V-`XV)cR zvD}1jf{(6uC`&X1zNp}q?$2KiWTRkJAq)Iw0JuFJChYo$ys6Nh+sDmHF?%1nuXcKh zh)dj>9+{!CcdfPu1hSpWw1p_gx>SL0v;n4*|J!0=(rPEB08X+!tXk0GjhZcwN`1u~ zX_kAJy^6?@%R2FY+qJPEAc)84*^wodk+ zX@ev**2`Uh_MVj)XgQ0M=n0=xDW)rolY`Y9e3htcGW?aqohL!~b%#-?KR~;RQPQI4 ziuAX~2Z0uU>0gTH()o<6+v>=eK$!inQt5XYILn~8cj*$U6B#P{kuskC%hw<0)ElRMq$5%AW|@FVD6i$P$$~P4lExceXIj;1zF_Us|3ebpQcl6d;PmE5DrG% z6wdwXtW14hdIAPFAS#=wxOZ&Db~DpD7Ssn&;&1>m&QKqymmnwal8eW^?#+PjQz}Jr zz4`_4aE1)FY9w$>flxd3u3e9gv2y((DYDOh3B_U>teulrLr&s!8efr1Z7|VJGx6-) zV1}01f#V9JLEa|Rug+!c`l!NJTdA@yxQxhLW0mH2c=74lwS*GV&oQ7~1Q{4Q z{!tKG{yg*d{@|6Yc`~2x;v`dxid$`}-?xh;>jSdu+m)QS&d$;X5Mn6&U`B9>7eViT zipO|O65FRPL*wdKbxige??R*}ZA_8wel4swdQ5Qu9_}yzX{sfd?QzH=*FaEB?KO?E z7VV>k&SAGzv;}R4Kf*v3`ZyBwKiH}7mYfPvu#e_XqtCGdlpoKd#KM4~W(#REIj*?E zgU9*(|BrU_ki4D)S>#p!`4*yUNdlCA3nV>Wi%gGk{eQMSq2m)?^hy+-_C%Borma8J za;}58BnPxPWcsDsfU`Qpp*&SFT`(&Cmhjw4%!31NgW%>0k1;FHf|W%c=V27q!czhl zwee4%2My&kVF-^N0lp}(6(ChZLGP5A8r~&)^(fXJzO$KBXb#CWThTftA}SYug<$Y& z%V3~bzK{j;LPxxH>Q2aWl|+1iVmTv6%^Q($d%$RHUX3xnoQ#S9P`lStGASF?CEl~Zn`gOJ8SbR@{o2m$lb@-xsQ0#0qRgRP!ULIiRH6-<8s>WD$W1mbzWR83) z>5^_0+0hDN5t1VW8M|{*Ivb8$G~r0hZt1JGL>-Hh0c2p5jlNTVL4f!&`8ym zoPUQSRspvoRstSt12Hl)mqft=AOkTnGnZ$<0>c6}IhWy$0w{m&TU%2bxe|W&ub9Vk zYAcNHm#WlO0SQSqfngm{+7%`mc=m<0J{CH_XYeq%aLPfafKP7*MinlCFk=cYJqU4y zH=u?Ih4-L@6@`yc7O+&15i~VLFj5uP6(Lv+DuY4R7ETmV3pH@6h!%yKB6_0>SV{^J zp#cmM8r1Osf^a4lUO^>-EdYg-Qb@2EDhgDQ9x58tg_VD#v?>fNd^!(9K%NZJ7C0wb z5C>xf005Je0_&hlDh+r_s4EK?!wj%k7ZQE|JLm@u6o4~;5n6z;5=LtUC@8FGfB_q| zQF`$7>7YFR`?e~|cf+e{Q0`7Ai)yl%7aE*-I4BRR`SfmfUd_R?)UaP&jD|bY@5N^U z4Gs+OQGI_I!1Ni+!xeDYufLMyJ&;yBeOi=z;9rA1SOrw;DgawoC78-ph>4J@;D%UN zJsQS!hp^S{0a4^Scvb3pj6u9pyFuJi-664n+~NpqLg z+g5*B8c+_ELwu%+vn%h5c-c(mPEDvbvOvR?3s4SEZC z3`^q`^mC~-wF7=Y%-)0ksf;LtOHVj*i5iEx%w*=JM>@@Zr7-A%^x+A7F7sJQ-%bf! zhJNmpQjwzRBM_>o1Z?ovIR|U3F9Un@0cC$0pJXrBU~lrege8zXJ}|rtY-*D1`n692 zCxE|#CzO0ZO+ggI8(bd|G*Sm_ zw+8tvD2oi>h}Aq|$zzgal91}af-rw83fz6PN?MmnyMw%@NE_9FzMmR+3QcDamZ8S;4dS4j~28RW{wh$~x z1k~#5e#pB5en_KJdo7#b4l=FCqq)8sW$4*tBQgog+IkHiQYML+W@G{2rBZ)Mv_rN+ zzDl%5+Bn=+9_SJeB&2LSwO|9lmVx5{k{Glw1jO2T3xNc?*Ar9XfB-uVV#@^r66*nW zBCr~`!v|so*x@cM3>m6QRW4mv`3l#`(a0@AQivoJ{Y0MKGfW=wcr!K6zzq_PHu%Ie5ZmxrWps(d6`tvi zlSD;xough!=wgbD^K~-PkdZ>P3r?T7B>vpsH=pa55>_<}eu*g!L~`+xa%oCrkgXKC zLsI??oWclcq$EqpL|}h(gP;SD{Y^(D+hp+8B*<$tj*tF;$$|@NnV?2WI}s5}DU+jK z2S+U>+gZ6n#YjwG;7X4C35g2$Op`>2Iz$?i854+IJ^Bds*R%@^9Pd2NfrkU7RG=&6 zUWV=xR-nzsI7*t3)s4e657Q#>nI~V;NDm1PChwGbQlwC-8z_Ihplgj5sHfHxXOvj< zl?h#kUU5mbOJy2Cn8kqj;s`~#E3aTBVJOMdyunhP)~7K>AckDB#JpEq9A8UYr|Cn= zBr_{{t$Yl(Fa>x)_dK>4U*ve&y;f1=>Lpd^KzQK6=P2n{behIY5?>x@ep*4%1<#=m z(h5A1${0~j-r|4w)XQ+qQORxM7W5hUZTXb&Ubf|Pu$4W>9%8+6Tu2`AEBh)%kFIAs zPUq=1Yyw|L5Rw1?KKK_9!}MGwF64T;?DAEcJwz8qE}2C&U6bzPT4Yf}Oh!+cbbOBV z>H)G`3iFJXSH#ZCtZMnFoCH@Cp87KN9(y?CM?`)!CU}4FfZ#)w&7#m_+D}`Q>ClRr zBr`kd(m-@ga=4A=Ch7d%f&fqQm+vLia(OG#C4OaSyOu#f!jd<#dgeW9ZTM8JWQ6>s z%W^c2(DY(NGrO}xvfdO)*-MyJOyI$V_h3AhFaUpWIQy(;eMu+cG7cX+?EylmxWBbt zua&N}hvk3oU+x{MyiFr}-uh75nr%uRk!`YkBXe}|@e(ni!0ZuS;V>6Wd0^q4c%urh79JYnE3^Im4c@=FGlBz<1J)< z_|hu}jpL_V*7)bt&?Et#zuF&(R%}f$oI~a7<{*F4DwNXzEEu*i(h13@C9P&6?IE<* zSjxnDN_>q1>j}=Ns0C7f%x>axZlDZ08hWip?MXhBJjQ!`O_SI2k@yNprZSDmdxc!; zyk6Ufl(}wPCR;SWkDz-PwXp4&-|O0HzyYI#@@qj>D7x;@NUc0&tujf#7teqW@*njl zsWg8()dNN*zQ&7bg|sG>kuvqX#X8Jyb0oU;yoDvR_wst~d2Vk+1RV(p8}e0}o6Dpz zwcq%qx>=13yi*7ds;3fH|B`*HgWtbAtLEpk(d}Y7%{hd=O zpkq9|niqyg?9kUcPpm7RC_HSWGq^dv49b7)`8j^c1NYrQxjVdlS&go);W4;DiOXQ$ z6N#O#7Q^xAe0y>=t_l!;w5V=A;5)2Ad737{E&>_X!x?@h^Ph6Jd|M97v+}&G%2D}8 zIVq>*bW)YK)oe7qC}-uoT$Fd^*Z;DLdm|8R8s9bj$l?$C?+^EP*kaXVu||vW&9;Az zKgVJb*I0a59+k(*>htN%%@AzAEHB69Re4=r|9yL1O#q8=d9y;J#^bN@ue<4@x;Pt; ztINgmVTKDOuol;|swx-XrU+a4z5J&Eo!$hxkEgpQ2S)(i^WI=l2B3@hg`2Sk!+M3C z5jk`s0}k$%J-`{C;ihGd+u3Y*UZH>0XQL~AAgl3deg_~fM))P>_eH~8yNS7PwvV5` z`wh(9f7NHMR%vet6MhgWdR?SE!7afid(~_5ZuzX-FApGK&QhRULSXz^j)ymA7sGN~ z&F2szDKzGzD;O{z59in5_iqgt{3b9we}D4kJXvUF!?<7Z|YBUw6YX zlHld2q@S-965{3bZq{VQKQMp%i5Vv&AjTy<;$I;UB~p#~5H<$dRBw>m@!h;8&=q0M ztD6z4Hm|`i>ICAP;Bt8+_4Zpq6=lwp5-LHJxlz~B*j zTOW<&$#3YzhS?j@-eM@KydJ6jv<@KuQHHy9ruU~urg+0*OX5VsL!e*AFwa{nzF^07CYiNzC2 zW+3;4WX7&60Y5(OFu;E-sLy$~x3lSYroQ29HvPs1v5!=6+@CPkdqXPovofW1=>?v_FX8+>?m2b4_l!T6H;w*d zl&>Dk%NQSp4cs=O(CtsV&re??ZpXdZ3&4hdaH-+G8(oH)lnvDIafzBzYV+LXHKf<| z4fK+Zj0}&}Ewq2m3HVagG=4KaeYLxNa`Mam(awJF4IF~TDExb5xUWT(1&wj7pouH< zd+$^^138`B{wX)Z_pm9*xjS3XBQ^qfJHvTJf8yDBozSqlFzIhc_eQh%0#~IS`(~IP zfC&cW$>?HnJ;%SYrlH5v_Y=s+EdIHb1#%``m`*zz>CbX4Nvf-+@!bWw}aht2tzGXJmv7+NDR65gV1&@v$ zef;M7v~G$mbvl9ULSG<9z zoiGk!b7g;8w~m%F;lVrHbar@n1phTJ15IUICx%Tkgjar2oe&Ocb7fkYdP|#52z#4p zgAcVbwxi4=sJNYNx3uYma042ZMNMZvg~u>)Gd*o7UgpK4A0f+2F@dhxSb!h)af~dam<|+v%t|EZSEmr{Qs9Z{sYV% z{u9ffd_B6D7oYi`P!vgM{lm=e5OS>P)qrPa|M&7ge+~-pmvGSnY*8>XLP9b`LNGxx zL_$F_Ha9~wLP0Y|L^m`;I5RgfLqy zGdD3qMm}8%FHB`_XLM*FGB-At;Ee()e;v$AE5rd5#^LiGw{e?snQb)B9)|ye^iqi zQcJ=lLh498X&{Y|_>zxCA&UjC7-aLqs|k{Q@oI)V<-J-U?>k