From 5ddb395c2b8594c5722efe0389c4d89002e2d43c Mon Sep 17 00:00:00 2001 From: Ed Seidewitz Date: Thu, 15 Oct 2020 12:52:36 -0400 Subject: [PATCH] Updates for 2020-09 release. --- kerml/owl/AddressBookModel.owl | 17 - kerml/owl/Classes.owl | 21 - kerml/owl/Test.owl | 11 - kerml/uml/library.mdzip | Bin 84693 -> 0 bytes kerml/uml/library.uml | 273 ------ kerml/uml/src.uml | 776 ------------------ org.omg.sysml.site/README.md | 32 +- org.omg.sysml.site/README.pdf | Bin 29152 -> 29665 bytes .../AHFCoreLib.sysml | 71 +- .../AHFNorwayAppSystem.sysml | 109 --- .../AHFNorwayTopics.sysml | 164 ++++ .../AHFProfileLib.sysml | 85 +- 12 files changed, 267 insertions(+), 1292 deletions(-) delete mode 100644 kerml/owl/AddressBookModel.owl delete mode 100644 kerml/owl/Classes.owl delete mode 100644 kerml/owl/Test.owl delete mode 100644 kerml/uml/library.mdzip delete mode 100644 kerml/uml/library.uml delete mode 100644 kerml/uml/src.uml delete mode 100644 sysml/src/examples/Arrowhead Framework Example/AHFNorwayAppSystem.sysml create mode 100644 sysml/src/examples/Arrowhead Framework Example/AHFNorwayTopics.sysml diff --git a/kerml/owl/AddressBookModel.owl b/kerml/owl/AddressBookModel.owl deleted file mode 100644 index 0ef659066..000000000 --- a/kerml/owl/AddressBookModel.owl +++ /dev/null @@ -1,17 +0,0 @@ -Prefix ( : = ) - Ontology ( - Declaration ( Class ( :AddressBookModel.Entry-Class ) ) - Declaration ( ObjectProperty ( :AddressBookModel.Entry.name-Feature ) ) - ObjectPropertyDomain ( :AddressBookModel.Entry.name-Feature :AddressBookModel.Entry-Class ) - EquivalentClasses ( :AddressBookModel.Entry-Class ObjectMinCardinality ( 1 :AddressBookModel.Entry.name-Feature ) ) - EquivalentClasses ( :AddressBookModel.Entry-Class ObjectMaxCardinality ( 1 :AddressBookModel.Entry.name-Feature ) ) - ObjectPropertyRange ( :AddressBookModel.Entry.name-Feature :_anonymous_-Class ) - Declaration ( ObjectProperty ( :AddressBookModel.Entry.address-Feature ) ) - ObjectPropertyDomain ( :AddressBookModel.Entry.address-Feature :AddressBookModel.Entry-Class ) - EquivalentClasses ( :AddressBookModel.Entry-Class ObjectMinCardinality ( 1 :AddressBookModel.Entry.address-Feature ) ) - EquivalentClasses ( :AddressBookModel.Entry-Class ObjectMaxCardinality ( 1 :AddressBookModel.Entry.address-Feature ) ) - ObjectPropertyRange ( :AddressBookModel.Entry.address-Feature :_anonymous_-Class ) - Declaration ( Class ( :AddressBookModel.AddressBook-Class ) ) - Declaration ( ObjectProperty ( :AddressBookModel.AddressBook.entries-Feature ) ) - ObjectPropertyDomain ( :AddressBookModel.AddressBook.entries-Feature :AddressBookModel.AddressBook-Class ) - ObjectPropertyRange ( :AddressBookModel.AddressBook.entries-Feature :AddressBookModel.Entry-Class ) ) diff --git a/kerml/owl/Classes.owl b/kerml/owl/Classes.owl deleted file mode 100644 index 7eb552129..000000000 --- a/kerml/owl/Classes.owl +++ /dev/null @@ -1,21 +0,0 @@ -Prefix ( : = ) -Ontology ( - ObjectPropertyDomain ( :Classes.A.b-Feature :Classes.A-Class ) - ObjectPropertyDomain ( :Classes.B.x-Feature :Classes.B-Class ) - ObjectPropertyRange ( :Classes.B.x-Feature :Classes.A-Class ) - Declaration ( ObjectProperty ( :Classes.B.x-Feature ) ) - ObjectPropertyRange ( :Classes.A.b-Feature :Classes.B-Class ) - Declaration ( ObjectProperty ( :Classes.A.b-Feature ) ) - ObjectPropertyDomain ( :Classes.A.c-Feature :Classes.A-Class ) - SubClassOf ( :Classes.C-Class :Classes.B-Class ) - ObjectPropertyDomain ( :Classes.C.y-Feature :Classes.C-Class ) - SubClassOf ( :Classes.P.D-Class :Classes.C-Class ) - ObjectPropertyRange ( :Classes.C.y-Feature :Classes.P.D-Class ) - Declaration ( ObjectProperty ( :Classes.C.y-Feature ) ) - ObjectPropertyRange ( :Classes.A.c-Feature :Classes.C-Class ) - Declaration ( ObjectProperty ( :Classes.A.c-Feature ) ) - Declaration ( Class ( :Classes.A-Class ) ) - Declaration ( Class ( :Classes.B-Class ) ) - Declaration ( Class ( :Classes.C-Class ) ) - Declaration ( Class ( :Classes.P.D-Class ) ) -) \ No newline at end of file diff --git a/kerml/owl/Test.owl b/kerml/owl/Test.owl deleted file mode 100644 index 3cfd31aa7..000000000 --- a/kerml/owl/Test.owl +++ /dev/null @@ -1,11 +0,0 @@ -Prefix(:=) -Ontology( - Import( ) - Annotation( rdfs:label "An example" ) - Declaration( - Annotation(:Blah "blah") - Class(:Child) - ) - Declaration(Class(owl:Thing)) - SubClassOf( :Child owl:Thing ) -) \ No newline at end of file diff --git a/kerml/uml/library.mdzip b/kerml/uml/library.mdzip deleted file mode 100644 index 12d09ad28392c6fd8042514f9a23b70c6d7d28a6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 84693 zcmbT7V~{P;maWUSZQHhO+qPY&Y@D)f+qP}nRi|vcb8mOw=!d>P-j2w>V6`*a+6(&2N87b z-1PKvyi2?4|LO9W$A+D`5n^tGncDU^9R~aK<6t31Cc{naxq<(>^XT+OcwMdM=L!rv zce@eq-|aW(yfi#^jPpvvh&>bVPD7sly_aSw!YhTLws0shPKU93CTo*}BSSNEVpW0& z`a{d9I)#PU)p=Z{lWAd+@M;)l?{)=m`Yid}g7;(K{!}<0gHJw_TK+WN@AhK!^7?w) z*SY2U@O|rJ%)DvcamEkW&28@h>cqV0lKf^gT7w8h$sUPAb1tW9A>96<04a(Itl3mS;RfG@}e z41^$j84zI^=vVSnHiU4tW`y`?)Vt`*OC4Frjq|Z5cYYGZ?dLJ^pT9p09}C`$vywSKFK0QHhPp z_N|+cBOi)seI@LQKT!dFWOvn?b6Yz$&V(rHsr?+UEG%$|wcocZHtw~b`yAU1I#Nht z816|Z&FkqkRHV+TVuYrVkmTD?6=CLbH7w-iL(!aaD{3%~s>6?yoau|*U6GDV`$gIT zIlRvIrw;c(2DSr3JVnQxpc4#`*%TAQH;Mdgr@3F)i=iHKgxR3a7P0g234HkQRuP_9rI&utvH=`u~Mf85TCf(h1b0*iA@ zkk8_v){orBK$W?jTHDwvG@t3P*v7#ry9Lscl*!W3ZlMvQgD{IB!I*dD)yUFhIt(_@ zR{0tNvbd8-WoN{0K=@#}mW;88t7y5b*tpc%?WvMF0YC{oI2DTQrxl=_bFV~SVz$(^ zykz++c>;r_ zzRsU16Urv(*KXPP* z4x4y^UUPHZqmis%pqS7OVb zC>XpD_0@5Vq5uwYBdyT!R8-esmWOoM6;mxFE6{@#00Xi#o!c4GH&q1xsXml2-c+zu zBDyFiwh0mKMi^=-&=WW&5BDOJZAO0@Sl7!alO|yZ=RzhpbD(5;;B#(9tcd{E<+Y&1 z=x@_C)^oGBoA;hIWgSpihMtBNRvX%md@x7!H$rUvRKi=)kT82AMMu6%GL*5NzK-ZC zs=`I3OS>dFpyUFPHhe%WF4G%2jI70rQdk@6-5|0nv~ng3s9P_KBqREJq4}|fD)w$| z8VW;kpMFTglc`QoK=A+^2ED!|8p+S6HU~38O5gX#_><}nMl9MDo``A3m7a|H&1w$^ zg!(xd&XR3mX5ug1K?+xWsuXElLj!0l}s$=P>8vB0<{ip;>&bC(=r; zqs&ynO;%Iqfdx0=VlG-u$`z4PBM3#@YxQacH+_oX6zbj1iu4!y*x_DMC(D1P`hCZK z_IR9cm={ErDgnoY>cFzwpK`t8BUnaO{MCp~%ZaJC($Ry~)Fz?JK0#<_&C8#a^f)%; z`BEtB=c1M55d+F>$4P6j8$HXgzA~^TNh}FJp-&r5aoC+W7>*&u>asEOI^00$yc!$} z8wi@Hbtgh$8<2tG4#m>KcN+}KG0-N8gMR=Oq`@IRJVHg)zyJUwm;nG3{ztj8{VP`v zPWB$2bT;qCW{iw1Caer5riP4W%$$ad#*B=d z`c9_K_O4FGruxSAwj?HY_O^!Rmc}F|#+D=|wx%wIw)Q5bHY6s0|J%yc*oDNz+0M|x z*}~qXTEklYkOSq5uXkWV>LX@lhMR_gisj0sWlo5aIa(}oYY39kQi=3D=O%h{w+x1Kjwu-%PzVD4*H%H**&($x;23?4T!I zxMX-O?hbsWmDvu&C!j#f^$p}E z_||aWqfQ1XUKGg@a|XTAiEfV?+B0_4vm(6jVXgeQ$T1wzsfd5BmM2M_>@W2G~AsZ)#P| zyZl=naXvcO@2nuOl)z5H>0HvLqIsZuh5qd3Rw2rTjh*q!d6^Gq`==;fK-{Q$4hZ8B zB@5jT$rA|Kr{*yYt|H5xUPw3;T79TR`iIranZu1B%hS>8)#CT1Tyl2>Gt#FMTNMwQ z_UqQv5hJ|a$9Y-BaUX(Amf7JuvVw? zA}&5K)x+0fJa$RVN*ng-j@>If4Q@yNB|$}F?T>IK{@;yaroLF<&{zy0Ncqwygx;xK zE0I!zZzHTEe zyq%-IQO{G@qjqseWRG6FJ_Fzgv~-ub!bDH2GP61KVhuz2Zv&1Xrg+_0$r!aa5T|Hx zK@Tt6W*L82o>sqA^!ZiO*n@7`?BlZR{`jc?f8!nd2Qx~97pP^BybaH0O`jl6YmSuC z?aZWt51Dmr#OkH#ecCV}@s{DsDP@EfpU;||5kt|sc3k=NAMNE2t~`*0^trP4zFXxl ziB1V)SdJ;g6AmU$#n%vQi+7OcXuee;7hy}ZzS2ZvW1M5P0&rs-tx)05Lp#UR&dV5D z5TdGO3=E-@Sy@)1!9%eJsK*8kSCM8h9a&2R$iugj8G$M36v@P!6KE=^>E40zsgS*T z0?CCa5V=1N2n@r|gM zTmzUyB`Og(JsKMwgJ?9PM;TW1z9kjy9NnZ_$yZm_>Nki6h-E)Em#QdI19i-`RM2gv z5t>eB=GXwzk>U~35mopvQV%kTebiVL+@7*BaD4^EHwD5J;3z84dJN5jZ5n08wz()N zC22*dA+*A4{yD>xI1}roEea*S;_z?-G{t&1CvXNb!JO#uFdFD~FnwcBAxuh%%H@)x zz$SzCVcG3`6*JICpaNs3)5y@+rVKkC*Tzh4Y^~|TO17xNCwE!x%~7 z%(mBJNI0*?ZTB1SAn?=4ZeLwtu?XqH#pfS?bc!2*XvQ!DRb|&8gDQk!!pIV;4(BU| zE*;nCPPvx_Gk?v7MwP?l1{`&v8n2l`U;YbNJ8Rgup}q!YEWE+b&2ygpO#V|gY|Uo^1Il~qZu!nc6K_`WZuQreUd@jdbF%g6J~n~f{&Rc=Kv%IxRHi>0x%gr^SH zk}8>SQCc4%9Z^0-S7p9@jTL#a27X4$hcc=25mf%S5eN7+rxh3cz10vrn%gvabj2CQ znGNqB$@bSr_Ee{wX9TPKNGuuC_M%|I`t> ze|}%%YAPRcytkjK7g<%XscNJ8=%>#qBN%XPlgxowxZ$rHuR(c`w=D8O9Ie*+961%e z#zT^I({CF{=k|Og&~W+pXe5p>JMb>n$7N0-ZrcE8yTdH{@!0Kb>opyn^JiO5DhFc83r zbr~(-`GVBQ5Vw`*3e?g3#e=O^vEBE8JDDXO(V@V#%cdspR8lw&EzJ95~G<4RP)5`vBT^4R~q>K^|^iYE#(SN7tSk{xA`rl z+NIq6UZ?-J5$dZpoR9X$DZN?%t$70YVYhQz)Uv_$SU_EeJDPhv70+0ZeKE{UD0K1N z7P-LHT6@>g4B+qP;L9-)>q=DNO0Re+@;4&BJ&B&lMBRo&2nizf zpsEQ`9)oiDawr>0h`(V72LbtQtqdYsRLEJ_urz+By>VjEp8&Iu68pfRSuxZRxqflduh8yA0A$Q;H`k?*@y6c$u5U)f<&K$mH3nRRoV!LP3G1F(W4+ zs)*(a`feL&$`ks=yNW{L5iHnqWM^^Gkr%^4E?F>SWxCfP)ZJ@G#-%*yNY+vaxU)=# z_U!wXKzFAf2?)T>Nj0E03jJKta>Ej&&PKx1R zvmG4F%#Ag%zPJ|Rns6%$Q&@qm;}r`R;7H}B#rLc5WErUeM2ArA5z>4}C*8FDk}|6T z?q|Kld+$C*uy-DdjuNXgB)-n~=Zx-9qh*%tRG(;4O06*#zJBNq#rwGxeaMN;Oc;qn z(L&bl5R<0WLwidh0_-Nm3?#g(BAlSvwV~ls3TiWKs_CjseVG(9FPouE=dl?#fgP65 zPOFc&@#=w2c@3TL*uc)(`m7|qiyVP8?ht(_m_L9OwX;-U)sCc)q%jZ+or+ty+gqZKZ=;@(#6G9*JNxvJhG%godQjrSAyBRz91U zsmv}>=iH<10krJyGj&Lby?3h7;&}XS%d*g7D=huXA3PkrwPHq|I5%qAdL@Sr;KCAF-L|T8Om8Sv9Vm$x8UE7d?VinIU0w3t2riS(*eH6W$Z7O1cy8X+ip)b{ds3gW?o!wo3Z= zm&Jp;g4|qmIr#|>w(nL&+F`nCpdXZ#RL=L|wksmr9kJP0H@Q}Ns*>?P)sC@A<%Fcnq2+F*Zh z7Y1`j%7whNAxx!eeXN0e^-SO!2A@Qrq~N{RY{DLI#S5t7ci4o|7ld86C)iS+$@ygf z=&1O&-fD2~2k{vyh5Y{hbOK&gB5B&_*=f!%wA#l`7W(LY0z*|{x^8?A(_|frMG}>D z@+zSh<(;RHtE9)k`&3vr)53A!IN6LYu*&xK=+l>SH>j$L!M`7^rZkorFhf@Egjz_0 z#7ZS}O1(?O5YGnLpBYkp4CMr`YzWF3As8+vYr+%OB;t&lOodKL#EFSHB!c%`2{&EC za0ejf^+Bjp-aPXD+Onv=V5=f({Jc6q#ng||0$nM023Om&wplHkyXD?k1+^tXvkIT7I<8uE%g|oI z;bT3|ti@ED<@KQa*S;{z#Ze&7*M6)nu3sMEC-^ zb7*iTe8|^Sgzc69X?q%a%nds-92U3GRD_5Lg|d-Gxa=g5vY1A6U}Z%^T5}>Vc*S73 zq>5FdeF?Ob9>cpVgGDGY-YHv;LV|dNs;o)#ig+=x{-%TdQ;%z2c&j#5pc~}5@JD5u zkcsmHVLcPvVTji|YH;4cfz^d7z2^M-Ttug}wMAMDF`G4>{9vV9^oBD)HQ4%MyU&&S zqo7n3c%JBHUppL4W07GSZYz>xt0Ev6(fyt_QehI(=EsT$M(j>iei@;9MPMY{`W+39 zvrc9cvWsD4kl?siO~eJ3B&Mx{p74FZkvic9!1d*WEdRAqXQC(u_%r*ga<(;1cinh2 z=pEK4&5A}%0&UEhq72M*4Zzj#V?W6dc2?RUN(yU=homJ&wdY z65k?3hQ&CxJVS{#A>i3RVd39xhJD&{8&Q)n_YtsZSL8wyu=lQesC%^=Cg2?no)utj zpX;c5H{sRZw)cNPeBY~>+A(*oJ7Kzrseuu}+u?^{{=og+`!O)x^Zj0YI5P9-{gZK< zQ$;4?qvb$h_Ig-nJ%Ep2MfMpGgFgR)b5!zTyqmlStVtUF+IOrV^Jl+~xmuLzTa5V?z<{S5ofv#MtG8C)|rWxDR2UUgRQG=&3>Nhfp#TZp zxL4cAnd|h9sA}w#az3{qXvDGSZ*`0mb<&Vj5XEDUZ`^2Jb}JPeCImb`ZWvcL zCo5DyNA_RLT`=3xM3PJ{9Y89RX2kbJkn!8h`zVroCVW|xLO<>M&as(9!wV?H>=+%i z5HX2 z`ge6M&;L>98e7sim^wLII=h(K8JqqGf2I2m7VF?->1OC+YGUeOYG?BIsHe@}v$B)y zMn5(ikmbG_bW`epEVSR#eITp>d z%FK6IC%7QCHz(lmG>>AJ7yiQiKjQN(mTo~DJAYn$^-+ECBR#%M9VIwfJW@`5ilHh$ zHq`4YjjO3{>*;9Q$oNo(Ughz*>&#HbUB8Xhb(8Nq?!hL$eY;XW zWggd0xX()PCgm$DY>M?-lvbI4TetH6WFa7uEDr$JD1$StTGsAqX%hA30A%~4P` z35hU7KpqA!B$=ftj5AMYQXxyl6?~I2NGe2zNJx@t4tR!=azZ6bJ_Zj;5J(}<6KNO2 zDE5^5+31 z+?(M99|cL(vPF7{O0hw;a)-beeh76o4G;!A!at~cj<%jCI)>T zODYj_{dF1`1QjN_tC`;#?fq8PESWOxnBX7N)El}m9Tg`+QSmka(=4r=os2f)#Qf^H z^Z3~*-&I_t;P;+ZQ|(Qq<+G2}Pc5hG&kDJ*l%=cT!~d_m=5_-vJTc=wB5(QjUJiD7FxiAGS` zxX6K3+nn^6q9Vz8vrau)ba}PD0Sbt8`H8XulvGJbJIoYB(AsZjH9A1G zfqR~_EwY~)z0=w8oFqi?8j5G{Dfpu~qJdN`NZ@C6dZ|JpJB@Rc?;oe>vVQ-J0~?@Q z-V#6nfDqt+7Y79YcO3kyOY@JH&Oe$o)f$^l8-KkBv+6SSsvlqrXLM{F#~3)&{h`Mx zS3PB5vd~Eo5y`>z4}Z-FNI*6YR~xhy0$8rOe7@;7h=2Hbs*IfAHSvliO9i#9f&`F? zc%;y>M_in?U9j-!cDnV=&)p#+pX)wJ;Va8@tu2M19TU1@F0)4(C{}Dm*X>%XU79V5 z*M;8PF0VzX%82Vpbn8V?ngU&lN!pR>P>ZAx#N$zRF}Y;bL;B!= zX#p}>>2?tB`L@aWMlDbj?}0Oe&a<5d%mQ7wV^k*y?cxzM>c@Zi`y^o*>-*N^cbOcY z5NCgJSc4KbNhMN|l|M4u$NP-WnUpG;V0#GdpA>dzcBKdI=eoPZc*-NA^~xB*IcCt@ zOLh!q@{WGYikuVRdFA&0#Bgcup6Q;$8`rk-#-gGz3p9iy{er1{k5J`G3wn8B4qmt* z3$qz(IIy&kYaesu zX=wXJV+i`Vh~#Q+kzOMpI1iA7TH4YO9!b`mDcIpR1WGEw?2$d}3Pxz6c|8TOVu^=p z`OM*|6SOwwIKgo{DI1VoAaHuX+ij~t6Q=1B2hv#=8f*+4Mew(ITbEM46_7}(wb=?f z+9JCMsJ<8-uN0I?1uiDMZOW3j^c63dW7hz{r6KnrhT5#Az|elGt-9d%V6IQTIJ}f= zkZ}Vh{KGx;eQT#!g2q|3AgctkNWn>0CTo->QN1Orw03FajHt$GHoseC#J?L-4^`v; zr?Nr{n?xcpP;?yXt3fsj+a^|+AkWzyZeuHB z6Ywk_(dr!=B4r4mue8DtD@9gSwX{Rtb#adNCth~>FOtfO$vEMc=8Me6 zzEa}{fcEX>*QmFN_eQg4z`l0V)tV5rRh7noxLOhg5g&ebzFUnjN)#JHOHXF*W+TiH zvpqs7C>6aZpCLi~2&$ay(Ffgl>0rI0wl1`aoKRFxl2+x!hdoU!Y{3ErN2Nz|qB(LB z$da^Roq7Q$*3ROC>v(N%1RxW5obXVyR+Hl~_c7a3jdq{5s>81BJ)+&Xu0e0UDEIMc z;m!~)oxwc1y7dn-cPh)lo%BtiVM~)_s=7R9-4Ud&L0JX&8olXGK8%pmb?O@UOx)Qo z-$w<}hj?xen$R35ecmWF^v}%MwC)7ckX`Yr4569XSI;AdV?la^?8a((Lz0!Jm-&M; zy(#Fv@h9f1h8=6wp?7o`zjNSN(T(utSUo9E+i`1Rp{cDb4#^yEl6N!i1anfvGK<_o z@9tBv}e|&Ot{t(j*F2Sy+_NCIYouxg8Yd;_pa0MummnRQW25RJw&-b0JVWP&lf5 zuEmN3`I0W5CnOFKYa;OBeB@hX8AUcA_u#e|1aFRz=6h7jL&{MRrkhB+SU_M(P{G6= z)>1RY+fIo6q-0jaDdmzJAPl6ep4ON{Dxe7(P1LHwp`}MP3Ae$Pn_F+F;hS3f$!N{G zSyCj`k&c+IOKSRtOlzm*EfrFgC3`{8;)+YAJr<^rrt!i1P)=uL5XVTuCu>cy75Oqd z`4;JZk}2vttIH-yk^+P>Q5~g?l@d~Mxc z$CbgDVWPfJxI-K&46q7uI_e^=35^^tFl!~Sxn(9uE+iZSvLA*kC8N?nMaL3HUy{A4 zR&p{nx@9-7zK93)5A|X`)m*Y6A4+R)sqNg;k7dSneLs1i>hDCGdw6}h9R~|G;QE*Wc}bHmK13ABoGq9tz#xn(1%b(AM70 z_^;K()Xv<}&eYV&($4%?*VZ|6tl_(-H}HOki`1Ud?aHK)bBDwmfgl|g2sB<_Nn6yA zC1IRs4$x$h)Ajq~8c*QB6fD20(Y5jhT$Jg-MPA-rUj79j(Y@C;CE!-zU?^_jMcka6 zJ`M!QYkmqI{ZE{Tw9<0nF5l;^UE?FY-AKi+UF}ECf&e}ly1n<0!VeZ*-K-owKE520 z$ze$pdbt2IXvvEBQFRo@zuqLwK9tS#X6=&UIs z`)(4$ixL(4>^Ab3QVDOZeA6d~x~;x+`Umuv{x7rq-)%ulO>x4*C0%b$^vFLBe*_B9 za>5!a9o}#M+C?iL+8G+`x#B+8KZsAKAjmFG>2pzuhBvH5y_)M)j_)KS#+^t%81EJ+ z`~uU@iobyoThwENG1EIQ3A$qs_zi1P@_rx|^v`La1PB$A{5X&jk}nZ4hBj%_PeP-b zI|=^8`GI%iLBjhrxB>rAH>;D8hy)P>#&8l5Mpy<(I@}}{d}YBQg=!|79(ef!S?}|a zJ-mn`FTU#jzCyP*qu`s-xE|<&el|)HCqOfSLhblPJcah6!D0fALPm*Zk|Dr;kIbO+@%u}0Z#Ua+ zs}EN2;8p$n0G>c^=tc?S9Z>RHp#J9-DX}rJm7G3%mH!9ul^@EMENrd_{8yqY2D#k< zJ>2gL>4bRUy&Xb}KRck{vhbL9sh(SiveSYI#DLi&6F5&08!d}@HaeTSHrLQ}Nw4VV zi%_@KhAADnQ;)w3Gq4j%unVxi==36DZ6rw9CyI>6*xiJ0@7r$ntl7*Zk!huID<)!z zgUqwnqsSWPbOZ5Bh7)95jVeRo_D5k?MAF~Ny~CI-ZonYN$sAklYA_O+E>HBS(P<+E z?*@DPcCznTT=Jl5IYt=CA}JRT@flb`IeWsu+CwK;URS-_{Lrvn&%*LQyK>WtE;)Qc z>Dt)d)V=V<!+%_bfleR%~`f$8qZABxn-b@e|V1 zO6vVv6G{G9+BxEm2+FKije$~Jy7;4eD`qLu4AzmTRFx*We?0jkBa%{sE*>wCle6*SM>J*V8{G2?3rV&g6^LIl#DXq< zn(CI9fBH@c3(_5=wqrkfYVU<7G6KO|lVm9!dX6N5(DZXO4*PBu-(00RkPyBo6I;AJ z9iv3o(s2U)oSy(eLn3~Q1eA?p(1QXJ2}_aTrbj?7ONC>smBB|f5cOUwRb=wU6zmUl zutIrf7RneFjRBQ}eV0pk`<1!E&Q zS8ZHsI9VAki=nxs?v1~;VUd^qbVijn!EbYbf$aWMoTAV_+@F4+xvRHtn0)qo570h4 zYTY8w+oBi&vtBl zP3st1D5V%I(weJ6Q@2u>H-LB#jr>N0veXgYUO1uOA|s}H^_MAX`a(imeN2zJ)YXp}SHOZ_HcBRBKqmg!WGd)prKM*APv$^Mr;-;`Fz2oG)v@C;hHa z2R!Hf&2(&NF|HPNVxjGU)j^DT$XM1${@U16M>5Hc1ke8TCgIp&i*>WEn}S36UEv9TKba0{CPZ^VSwCZxE@(P)+sljGp=rTWsJ1Cp&bE; zA&c0XET7#rDN%}y3FMIPWnSSn=Lg0ripzaxZeEu1FzEHytJ~@>sNCoU4z_Ass$rpF z8}AMLqb*iwx5jdVdtlLruquC0G_GD?f(auB( zhmxQ>j^NU)6fHwI^%SjT2h}SfNy6k6dr?Zfol!)IfjpL z!U7NQ0K-L5sn)G4jf_Jr46*G1L>}^d6IYmgVW0iBImQJGykNv~tDS879U%7&l`PartQNt4v!>8lrEsN$E%lsa0QybIfX79z{L#erO0 zPqfO>So?d`@u$tW7)F37jLISTsTWfve&V9bpPg$l zxghg{N4e^R8?DHq%HX=vB4AzgMSwMNaq1*^o%#hFKj&eJQ}M9iG6#>4MmvEFz>H_k zK$MA8+RJub7Pu=>>{!=pAgo7lA$ca5+$pBYcm|Tk@@mIW&3)PB#V2-)Nt5)}@g*s? z(cZ}soR5cS>XeI|O$W3R<_HmU65g67Z)_qRfM&dq822?i+-c`=rjy)QMHU5_S}mWq z@;h2GqlV@0qcs~<8W!SXik$EUN4%-tBE`u`?vUwn@uFfi-%Qj;Z;t867JQO-VJ8PK zt@Wy*3UI0-Jn`^y!DeL@F^eQWdWj@aDhu7%bP$Cr8;)EyP2kM-xXiiQ>*qxjF!?;A z!x@Jz@mZHpx~Po)6_02lIoP*mjzO_ebcCu|*?xt;Xg}M6k3uuK%*g3Ju?(DcsHlVN zqriMr+>8xOK{HME$tkzD=}>Y;6!qYjs8EOrK)W>H99Z+JI8C8ne-&v~WDVc+FoZZk z`#`IA(D2P0fwsW`yZ0y1CwiY9C=>IIOQB7_NUW`)TVLfa_#DO4E@AcS?}%1o;dNj} zCfKI6(kkUQYX^v?TUt-`M-~1qj~3C!v0$iW=iwi&KC{LDU`#hU!Htif5`NnZDduR7 z@o6nigh2Qbj~_F*$KLkcSBOUGTsxlw_#^Wa*WtKbwgb%pQW1;A>~h^g>|*2+mJtfe zyoy=TQI@}_FfLy_;wOT~(I+fk2B{XHvH3~^$f;L*$@>cW;RFmkZUXZc zx{y0~{CcDX*NDTK@2vsBIZ`XHby8hJ4Was`y#8xNf-;_zT66<7u8fab>X($?Zn|*$ z%MDGDwBoX~djVHG41tR8)k#-JefI*%7}}$wryG;m65aZ=T^U2#?Y*HFZ?4txr-NQC zpql{J-uaG?I*=+pmP`WQ_VZTan~Z{BSGb}uDzW8SbI$O!2h(I1w)Q+Nh!)ooa~nM^ zHAiH0@F`?FD@6qC`J4cYs%Mwk*s_t7 zv6=3VYk4c3`tEl#>y4Swd?+a}jVvz~nWj60GmePY+XjQFPShAtWbSIl%JXGxNhD!~OgKRr4DOIUpKq$t_M(uNdlaRo6V7Y}+u(U_T~n#8PemqPSNVo9NzL z?c2s4ZGb%|w!%wU`TSj3*VH^k9-8mZ>=;2;%r42L5Oum{O0Uu0JYG(DYV^=B-Qh9a zL6IZf7c`x=T|C|HH{A}$yJqu^r0le^Y<;4-=QF)ObvAzz{g~mb%X3N1fj?T% zPCJKxAGUzij%xZlNQgM+jc{jnRH+*DVlPH7U*`7jeclMA^3N>g!LlOJEqIe92AIJF zm!wrtonGF4*USUI`i3T^dGPU71NPF+!ru2k<{wQWNM4j&p73TW!Dkf2T}^giLBoAe z;`;RXS>0i{AQ~#=pTJ6SplxU{fHlbTUNbR*jhL^Q#`}cuhT(de87P@`3U@}Vl`*Sy zKf0`dAHI9`Cgj2M6BWd7YaT8$$A7uIue+YeEu91Cw@{W2RB_|4DKiJ!`^Ep3hk zAC08Y|ElWHY;QNNBY8lXL}&`Q;kH?YOyO$^e1Z6foK0y*jb??XjgWt;0LFK_lK#k^ z6n6w%(zByS$#l4iV}Y(0T?5!2i6yvPfN2%)9HaUC9UXNhdsLntispw}F13>;UGLgV zDM6Mb6mxAGW*OUuu4P5B-(!5^(SUhFtbnRC7|II(f2#CS29BV2M_RuK?r~k}x$E2i z_VY}Txy|^D!-UK^PzaP6jh_l@S%y9w?_;35w~gP9C=Uz#x=Dzv8-zWm@U4qYlopgd z8DkWp!%Sj^)WlaV=TmLV zN%-JhT9rLsi#ml^mh2H%!aC5VOt!3WQJBezYoGsvQt)ZO|7EZwg{bN-JyMCBX0P@` z(>Eg$%NHimxrG+e(c44j*v$bwaGS?^ssH(Po(#;oe4IRGv>TcgE3hhzr>hUP>H{t%8`F4Y;g2u76AzY=BV`3xY-YLByQjNc! zTl~P`Y3*xAll7H4zq_G4NwS;$s1W*B!=mkSQhwf8JA}q^|=LJwoSPAAQJjM9>pweZOK5FhD zRGwJ9Ltfy8FN{tMca0$65%pr3-&2`~)MoEfo7e6=ylZG=vlb_ZvRBc#kVvY=&ZyCi zmJ?K$9%ugvUB@I<#i~v%dhL6zH;`Y@xOgg?0o?@CeG>#E#Zj@o;oRLvUTVDAj zNxoGerr9a!__#2V z$~;z2V%+zGQ8XI4qGyp&Gz@=mlrJB3bZH-HNU3!2eo+r|> z8h)ft?lNu`t?b`|ss138+xZwo7F zDJ23?GN7RK?VXY?p)JCOvV}f?NYz!n+e`PU!}sZ$Rm*#pZ97zw=jjggo)?=w!4#vm zegs$>NzG0xAd*v>x{{To@C`Kj4uGdN**>W$+NHo+Z*xrK3ZWV4>urRnk9s z^rsUa*{T1FsK4hItqwh$XF381_&GH_hrrMJYqUEW3J*LqTN5t)7P;AH7^x%s| z_On)>=MUAI%}T!RjyYTN-{tr9jZ}%gGGNF-Fj1)QmlnI%8{_fS=1&HsP}1#kbAnZ&#-yh0`@E=z*XOlJl@PVqm8>wFpM5vu&ajg zJzu7+{X)$w zZGz3FO$tH~6C5*aUX8igFZaVwZqf+$p3}4+hq<%j!OVIJZKbfAM-}zGt%dz%jixRQdl7Apj(z z7;D@^Vl3vEpOBD=AQQ8aaktcw)sk^KSiP?4arGh$va9u{}& z`GFtNjQuD;N|Mu{Y)VYuoFOF))&^)s^M(W?^AC-#FjK{LgZe383pBnGv(#i$4aGRI z$pOBMwTzxZOH#xUFvyue!O@XNn$PLIU8CmX;sCOM^38xIz(YNHMz0tt=f3hb8NZGB za|mUb(2lhU^P36-C~Bv}^#wFSQo#{SP{9!hU~WUVtW^KSh$r!qoWEfN^oH!ASmvSb z!AJqG%-``BkQ~5BxDl=AFY^f?X`~^}is>(Pi=^g#n3y|MO>&V-218DVBavS=*2 zmN%7LWaKTS1tbDUR*^_JL*?aO{3og-@0WqlloT`v37N>!Lz6&0QzhwOOuTX~Z1qZ? zh}TVZRgx#^dOo(k8m_y=y4HST;6yD?1~eo@>W{II3II&_dW>ttJ228FfT@GLuWkzD z;l$m5;rcR#^@H1dZYr#r;m?SV&nPB1K@-oO25q$4bhhoNXAW3gwJdV_;5%xXM@y_e zUD8@LY@+Xx?I>|o?L#GQ{v6ZU=c{f!B{up=P%(mpjD?^w@qNh78FlQ3-TxHCy1D(? zs9vj)96U&{E1|p*2&gGimd(kr+ITPJO~caoqtg|DnCEF#FaVD-2szrmfMA9`dG(q= zuim{z09C=akd}4UyvORfK0OGkYi%%B<$C(GG%^XGKo#;?003b*aNw)vT=THKnHc`UhlGrh?9=$@TZ z=TvP(#UcgHKm~GCq_>7Nn^>*bi8lU8_yrqUIZUv=WQuFmiGth0-}fJscgLx9WiF4- zuF?Mi|Bv&zxLRmh{;#Mo8u$Op`TUo%1rV~ZHE^^rarz&==|9ra`M;_1sS=#Ltl~Y@ zj4}h00s~7k6I&Zovx>b7B;X?~ZF}OA)63(d6Y>&s(o4Uwl%ipWu7$0fx2>;~Wh`EL zv&-YN6HMeXD|>?s3!5zSJSzjE^a877L-V{Wi(JEU3kx$lyA-R8R0D(LA<+NMagzR% zz_tGGDvtk+|9g%T=YKrqe<-M(t${V||NmS6Z%ba@a&rX#o%28A|89x@zuo`$T1z84 zN0a{t1f#RFceb#zb^1T~)&GNs{h!6+uCdyu$<~sMx-t$99iXsXo#P4+$ptU!$Q+=a zw_JI>@3-ER@#@YPAf+loN(4kC;!~U_Y^d75*S)&ludxJrD_*$2U-EDI^Sr(>pL??m!aC5k_|%b&4cYD_1dria6`QX|Jc+$(6TlTB94T|^<>R79Wv#24Bf@TU63yeFQ&5*oFd z+_s!QD1aY}OVVHgtcfim3nTz9A3M0lvAzN8oG^NBZFf{rj0l^FSO3;a!O@;7H(fT^ zTkY^B(tLuyvbnrr}_LN*LE*g+VC=lZPr*#-{CDs-`|?zJ4( znqHBV^>|xtR}=?W{0@M5{}$Q|_jr(wM1^>KPA_|nC0v+JSPIG*z2C9CS(}`nF+a4n zq%MZ~m9G8*R$k$Zf_}R{4UL%0KAW_nGCU-ueAh_N^hF>**ej+AF$JamRGTrt80pWc zh&rs1uWAP=ft|61fV&}-k1k7eFwD!{j}7}MtQvJ;SuRxxNI&y-BYtVmx7Gshna5rj z_+6YJN-%TfId1c(9wI*s^Ve)kGFU0TA`riS@%j#%{dGwo%-|pl{$^3scfGw2(pyz2 zd{;bfl`MLOS*FGi36=*0VIEwWTrt4^aqtM0@z@*umf)koN7T|6?XmG{he}sR1OJpk zLuX}aIl_yH!STdWuauXkQ=hA6o@$n(PfwduON4FrihTl6tWN~`LH0LAyq5(!^1A8){#N@#lH+$b**?O6 z2E+Z>-5mIko*I8i)>O0o3(7r-M`zUb-vU#9aqyAv&Y?` zLf>FaXn$s@V57s|Dm!Y7@)Vhphs#mw&Hf22+_C+~Nz^Qcf*C6`3A4d~Ny%YjQQV#g zX7MK){;q`$=r3@nl|_;F5H0sqd6G3L{sv@7J;C~cNj+X>h=bG#VBE-{jH~Q+nnjF@ zpSE`L*h2jN{Vwdx1iMw2o(G@~9>m7XR?c#BBrXSDNk`3HaOuhnQku`eklDa(i8{G#_t z)GvzWM+o%WtXz$cPWltrh1876*Xiq>3FC|sCIePqwlh;~4QACQPX*jOn@vSEh^015 z3h&9UYI4jCO zp)|uj-z5aR+>X6(SI%@u%4XlS59>uY>(2v<%EYZkXm%&DB65K9GFoBFm;~lx^XIax z;G2KQ9q%OIStE0ck)gJSiR)L!D-R#PY^^YnWL({y zYpD^8d?vjh!?xEY`>_p9mTblM`bOI;7jxv! z*3vA#dfC>hW^BXD4|=@X>+XbgJB0s4YPC-*)O9MfhRCERDP4=B_F>iJBjxJ_eu4qb zn7?ww%Y+~`Uqe{|w06&KZ~IpJr`QYMrDAU!HTf{Jmpglq{>arWKeyppE{Q%&TV9iM z*l^N|OtLhYrL{M@!7m>Ef~M6*M)KQ$mvbI*pON60Rv%=Mz>;%*tOLSEB4VyLqkG4- z#LH`AM?SR%q!^|qGA?;1jyZfUkj6KM(P!AHDx=M(N-Ri6Tpzn%JqGmg+|$BZ5YOrY z<}l(YlcmxuGtwOwaztcn^sOgcBGt%k;eBvE@C6+~NX?B*1jAW8)rDS{Y@79>o9+aQ zxs~1T9=b<%R0$P-23fzv+WLrEMX^9Wk}2}Kz~-v5H_~t(`-j=CE?Gf~5(N)Z?_ifJ zRct*fQ0#>%h(1UzwWtsu9i{^L!qNWKP%nVJbh-eB*#*MYpy54M6krwEWH``)zLY8~ z@6aj=|CsjEHfIfzz-&*i(h5WVfqqX0Q4`_I)=s%F!P@VM;7H4bqo0^39o#9`;^aQu zU7oAuojgkEYe+tkSu4n4Gr`C-xa#k)YSL9a-IPQ<5vz^?v#5dIG+%?87weoP_7d}T z4thmJyhrf%QfzwNIar}F`M+m1ot!KUR!yq>1Gj#=8}w&U`DguVSUpLEWelLc0V78c zu-F#=pB#aK(r`RBpH8}1t3@}#mWaJ$8T-CVX;HI?IhttWpl#&5bCT3vy!v++_NLZe zHTfHt_qhoS*bF+>^$Txok8d{K#--qFAst$n+|5=U~pK;^l#B;Hob(8*X^r z$3dl^c!Zl&|JME2cDY#TUhtMgCbWSN#Yc5s9sbzKh3E*Yl}-o>e)g(Qd0I0`5im+x;(cC9kMT$fOMi;?#?@}V!3B(LiwNy z<7m%qmj!=0vkNBMTV9eWJKfA7-g1(nyyA4-0wL9YH1f^62@2L#e%~u1M9#N>fBQ3Y zK|kG5elsr7O>A23-8HrN;nZmy8qOB2FNce5F?wAq67<-_JblnJwdQS56;y&*J4!D} zzSQbgW5ogHS3kU9Uy!Fdg8dUB^q<&KGa6AGXlQHu0>v?43*SCCad=UBQG+5_Z&Z&* z=d9)M?C7{hfvF&wNqk6U?Y4<|>z^M}7+F&GA|rJak4(L@wDhG!{Rt$j9WlBL1j|6c z%N-eStU~Jc_Iq=ktD02CMMExkm$Y zb&f2{*o|wFJv=Y(JQRjg5(j@@wFe!aD?;PD2>3>jf10D7Yi?{1Gg?vf+2Fu?(I%OQ zQWLj4RT(lr7pAj*=}M;od_Oyv7QA+b_&lL+m?Pde@+@ap@bYUg;>UGsSs74c0!E-W zw57w$sWAT}0+g0pKruzO1~0Uj;2uXko*x6(K1+9ZIHw6D;sXw-r|YaR8(^>2e8i}N zLy;extO`}#`hc56xo#DRoaxjvj}Sh)9iKTkJ^dWmby zcti@)C+Aud= z+XJqG=LIg046TgHK*Qf2V4N{NBVg4u&n9Z$!jq!S&4&SC^U6myh{zR70gp{6oXu{k z`mN>7fdPihxjFmYgj48uMbJfVZ$1$~R9%!`Br4fKem8r{y^;O1ky7@xnQ>Z%uyf;_ zF_Fit+z#?Q>QC2j&m+o2D&S>lq|O^SrTB0`vcDeQj~bodDf#!BrAhj>`yi(M2)QZW z-0iTB1B4BV*tD*<8In0_)IN(6dv=>~m!hVWg^7h=>|F$IPhR4}w3Bl!*ZSUD#7G77 zOP>O9$?bc`u82({Sgs{Wt3P7rCc#wahXzm^|8zFKzH~C}YDT(EwuI55Q3yVrKPwfW zb?^ze4>xI6-ra5FKy|V|Z|M^Ror%2(b}3FVAZ^pKE!9( z0&g4(1Ms=@u%yc=v6w@Mz-3X`1?%eizkzz3lTHT-^>ij-+Sx?}X2b4k0iop7p32m? zdGST~&LKhVU<0_yL?*`C!N-pD&oLX%#;WSJ@JF%O*=9bDY21TxtWOfV4_tWop9rML z?hxD4rSn&ZBT(rl$;8sFUJv4``}k#PDxvlWng~csVwY9jk4|Lw*OE5fEXj0IO+)(- zJ_l$X{V^K)AnM|@m6z%l)}e>Fv>q^K+N*s^#Id(MNvL3%x!0={s!%y@k0j~UkJo}j zO{RE}irO4soAjvW`Am3yFNdEuWPJ`86KVCf%jEjxOlDE&0)ih2Jc(BsgsPv>YTu=( z$~y`g&^zj9J(qj5P>gq=`1VC7<3>5wu}>xSpkM0;3Df%$ltB`UXTWphh#(80t6fq_ zQl>V#cgd&)E+3w)y|%)Tn`9K6h~jG&F5nxR5?ASh%7f;`CkR@L2P307xmG*o}I%HpS483lZh+fX)<&j zJcUIhGH@96m?qO}U$c;6OpnPC^Cg3S7CuRe)rzY~=2#wV89>qw9Ougx)#+2#cnHi# z&pH-YgBP%o`7r*xgHLvqn}q%4S|BF~EzzQ%w8k+xD`Hv@Gp72BmfdTRt&ZQL^{m42 zrPdx!kP@I~b}0R?V3{{}`3V%`r38Wwf#*XQ=jL??!hGWid^g-I2Pzvm;N$^DP?_sr zatUE;Kjq>j4iTK2w<%uWHoXB4=}%L#a~}RLlAGhZiVmMVYoSw{tAK#I_mFE4pi$l{ z^@_b)_SU`B?);ZED+^(7`hq~LYE5&MH>&f1dB@n{?2_F6u*#wrqtuVT>{h9H_Wc%< zk~L~x5xW=ps(x0m;guECX=qB?o&=EE z(p+%=*r`uhp|$k&%}1}0&wytex8rb*GR%tB@`-Z$kR#unoo!tT0io!jyvrrTs0C`Q zoecH8e~IkbQjU@DVB_e-()WhUXlZpvk-|A2+WXn>aGnSDkt(C#a1sbo@#i(YW6%2w zk%#(vrjXpAl2FIzMj>jbP>TQ0{Ymn+D%W@&qMvYDTXCxVf0`)5fvc|8c_F@F$XaS} zp!+0>YT4`9FT-QBIaLG{ugJ2SStB~+08^uSQK<~?<4}f2 zFF$fzcJ~J!4%g1&nwwWxL?z9cdb_2wX8O8kMi*t@9?Q+<6fPw0DkUXAmG_XtiVgZP7_P!~=T<>H{XxzT7q^FIJ8yH^cN zt%#heRg-9~M!x&^x#=4X4>$}gc8|^cHwjSu6h1rJlG=>$Ar^Av!)CQQ9+^fCT{Y-@ zM=iJyzv_N?0+1|kCbC}q4D8;+Squ$F{~nY< zBh-~QnEN4GbdQy$CkApz3u{d!L8n1e_^{t&FpBF=cL~OKb)-jNq<4st#8-$@@|EU& zvZv$sF>>IZUFz-Ew)GRQC3YXQ9YP3)r()yx8`WI8C^-fBNxeextJXs6m5Jp5v&zr@ zs%wk&y3}wrNRXxB0N9)6E`41zN@}T~Iw7#eeE@{(5|0P@iX>a_Otrm14dw`&R9lWn zah=5M&oNcKQ32F~Xc#y6U{ED8$dczYVgGaxcOc|U}YqFXlNg#LjY<;~0csFJYqugmwx-~Jk4v|1O3T5*Qd@`V znJ;w@e6^2tH~XU&K&q;S-wNe4HQQaYd5JZ~^Bm7Ll&Qk#Rq}R|R>62qS9N)#I#weD z)K&M3ZP-5~+lsPCh%<^>ychib?zkknF}v$Ly=1?}^?H8kh%ItRWzP`8CxyJ|YbY^Q z^*D=|DD~e=rqK?x8)>E$y8HO^f;blkJWWORXl2g!qGm*Px>(u$h?*Z)ULIl#&fisc ze2yKa8=(s&1sOv=vl6|hu)g2up6{oe)(9XHH2nZf3GbDp8C^7++#YwQ-X0KV))D*r zhaBziavl~uLWjIplWT^8uAmNBc`5}P$)-Yv`0s`}Q}SgXrYJr!R4!1SFeAfc%*TMg zu{W=&%070f(Nq@xC%vP^kG!jFw}u_LQbDrb;eFh9_FZEIh<+h0&=6<(FXk~rUk5$- zdMo7<`!^_aAWD)0f@Zo$_XYO8sWs7cC(tPe(6S=8-$q1<2Q0YN!pYE&)gm@?XjsT% zljonOw3HL$_$5xn%$B?eX%Oxwmn7mkEK`2Xuc&{#z@5`S_)ZNuVTs<=7u@=QltJAAwJQ3EiNIqJE$owhU{Xl(fPr9l@3lmkQO5 zQa^cDxEA5V(WH&y0Mc0hcLvQdMl&YBYTGh|*)h1o0y@h`u$R z57J6)>k_6tw^YH?Pr^DAzDaH(TbI-$?B+e3hSc5{A!5~$b#4P#bt_)!UmuV|UE8qH zKDcb0{@zT~09f&hxfGA44kye0bl=;KZT_8pKzt*q(U@f20O@{`dO1Eouoy~#0@=0~ zL?On5u?X>_+hCt~!KS0_pC{+ER#KopDez#2FrnVgJWB8_`C}2J6th~NT z!+eWD5UY4K-Vu7Of*@87j%V;V>dIiQs;roV?1(mM3Ki;=s8!#*yT3MVMJD=NhZt;} z%gd{0hs8>UwqWDrZjkwCS2qp~(3y%`bZFAEa9Mpe zYkCqpMKVg9#$*&92*g&^9=YRSYEM)w_UV83bQQY`s8sPQ94#gs0{w(y*q_^Oonygx zBn5m6Z6hJy5$++K2)KPpJ!Z`SceY3tE9j`ncz~eg(ppq(EpWj%bWZ3@kL#K ztV_GjV>_DTNP_>n{kZe{d&2)o?@8&M`tn}iUA}t!tI>ikl(0H~Ksjb8Za+dd;T!3& zy_eQ0jgg*p#ifTkw3FXcW!FLacxneO*w&57m%4}1{PfKAqT`57g2kZH<}jSJ&w(Kq z(TVzC`+-egcL*Nwr_q?6+rh_a{#zJht1QmuN)*{{={b)npRnpN-f)brC6}sxJTvAB z$@{Hg3D$Gu(?x_y1)Ij%6fhef9QLzsRL9Sx^=0y5Z~&@!tH4+EDk-F{y*V8z1fYMj z({~w`;cv%2$JHv2)EYtI@WJQm*&n-kjAB(dH!mzl&Y|f32!6(}JVHE7E%)g=s4Mh6 z{&t(ti41l9q`tG63DPK?uCnx1H|;+=BQBFjYCnG#⋘(Km%Z`NP-_|+rnj46qo?G zm|cUcsK^PJr+^pI_ksq%v*$SbE@mV41rT3;1Aj-lC#UdVV*$JmUOHk(+m&|lMTv7r zUSGX)M=x6Oza5#1vmC=EUo%3io$pe7ULGVQ#QhB*u@?vQdH@mu79)@YA{Pr-04^_l zPN{)pkU5U5tF?P{ZnfF3wP{T#TnJ@?=RKU{3gsKlUiW zo(hGkN4Dx!VCN(N=Sg9QRr(+R5Yt^{_tuQ#{)4het*}0Y?PO>Djl79m@Gm-6N%SyU z=3nbGO!%rhd}%SUlW6km^HrYv{n_~~yLl?bf9lBS8|$fP*!5v@^&=hm+l6Jv$~Jk9 ztdSMb7(rVEQYtPM07CNyr50FeXL?0P0@p4Y^%(Uz>6j?S{^$vv*Aj$i9#uH)mGerr zu3}80}dPp3K{|q2oVGn7c9DXST(N-7>AibMzRidDofWH7_>uF33E%7G_u&*Z_ zVB-&Of(WAkc4P5IavWM=mx$UJ9H8I4?G71)NRh#~L}bwz-Z$@kjR6Xch2zc~HJwL` z=m3Dn=uf(hs$w|=lpB25xK`IQ%GffD$O+j(thqdzxHyt>hWWX|b}JkJk<}s+N+=L# z-}3x7bOnKCl5jwW;vI6do2?i2)}=GXESP+v2vXr3hLV8aT6M80z>mW~vPFTXyaGu? z!H=y;g4i3z4Ing3KaTM>fj3a!?CYZRa0R54_|0TegoOYZaEE+>aNW!wA36|1@r|;` ziqjP~vp^}g+Q8;v#vZw1w*6~8Z!X;~Fpm}kGZu&I=eZK`L-PB1Kp z|9Z&ZNw0(+GbA}$c&Z*FRNkD*4u{5Y3N;*PUN$0^Mdtm_AwW3z0gh|#toH2wMFjE| zILiGHXL@U`A;?{+%h|zE+{NKW- z>NB8jow9EAHM$PawvSTWH=ISOfQ5+~RK^rjie=vo`ST&-K!_0<>iko}ZK~V4s6AyQC3&`E}d!g6$qQ$k=3b!5Oovx zFIigjr#u@$X=@vADi`bK(L>E@LmBU5JYsFX%{>$CSrmJJEObHV)U24RpyMhuPD~6I z38mZ47*O6_-m0$LRcE7+Uiat2k!6c(lY5GP4g>Cb!ligO@~)MvG)rx z9h{S(;1m%;7fJ8SA+u+jZRetMI`wJjlS7V_Q+2M~K?^)nAAb>d?rYi{0Q6?>z*_Fs zhK{xl0AuYB)+@uzOH+E%;!JMIb7AIge{FbLeQZj9j}kIB)3%yIbElq&b})cv9U>eJ zzMM{cmnuv6QHDfEv1Ou9D#YFGwmg(62fkmL8T=e^T2zz2T{)UXr=HKgD}?Jtm) zh+r&>G;(qlgMLRTM3AoyFTGIF;bJ4xsC;G^E&FT>cQ4r5G-r!1rv(kj5!I2lG7ygg z-^t6faYJ*+^D@-qm0_VzVkd^AqGyG^Mqyc{dRAS$>YRSGW5Rm3h)8{V)#^oCdGl=~ z1eSZzOevg*u`w+FVb6(}9=}k8bJpifDHYL7_fb~H8A()^J17>(-De7&M-lv2q|600 zf~6{wqJLa0_{~G|NS`}&KWzMR@2ft2Oxs}Q>pS+?Z&gC}g~|Ae-S{&38jgiGeeA5c z^*836;V23KntnsKUCU4L*P4eHd&6d*a7?nO4{|&$sQ}#Z8R@ptj?u4^|_2gH4iA`QLT@Bu#ia(z`bGLx+`Zd3`Np zld;b$aikY9bo4Y$MgUGrq zNf~vRO{FYpcXl7UIiV9*d6+V~Ryf(32w!s_qxmaUuOrhwv@MK8e<$Nt)E-zc> zo+(LQxnvB0l?1?qRDW$&ZXO*D&F9&ky8-VYmHYIZ zvEeVx{cyQGaCYi8ap1(^zl!7G7nsq(v>`ruJgr7v_Y3kiHM(S$q2QWZ?Zv;;jT9h` zs}B(dA#Z7buAA5Px^k|26M#${gyi3N<@FNkCibkVc&!ysTDAYVQN5~Uw+J(R&PS&2 z12xl&Zd&KJaSlG3@drU3;kzY023|RTE92?m)jrCm+>Ump=7#5miT6p^)ZVB0;xr~- zYF=>Z3VWxWSiI2U-~Bz%D}VZw(W>YOaLqXh-ulA^cub;zJ@;;pXfz&Bys0<-<*BwKn(gGmm(IPo+5EBx^W6Iz@g~LYFhRYgOYkm_mN&$13dSuoT$AZ* zIs3a-7qxGYtQ0zej{EJuQ&cgA+@olZn9=6y(vqM84eM=T z6BX7UxhOmIgc)XaCyg3w_%0dM259x4iVeNuTL`L1em23Y0RB* zWEiB3!;F#~W?!%UA)xtd@pzMNHt5RaI(e0i+-CLKKg7PZ_Z`K8vee*HY%AQYttwpN zpQKG=n-lJ-CyaO^O(xB1+qrLiT}2`h*C46kNY{c0HIJuVd`LP`_I5bRG4JLP+r08- zlbjVK9DiQT+5-5EH>p83DS(Qb^qv6-KBqsRUvB{{Tm;y0T)_nHo0}}{eB;MBt=z5_ zU~D6wmwi>V(lI5stfc>7PnnI8e!JL=3e*%6+kn94<`rV6-)6vik6OPtkJ2!Hv&gJQ z6?bmvs`=zMZgJFNPR`8fFYP2+Y7p{V_u+8JqSls10O2Rfc4pHw!FQ=`T#4-dnRXwp z-)`opQUuu#Gq^EzGI4IoP*^3@!OIQfh$K+4Xw0DdrHn;x@%h2a(dn*Bo$1D*S}Kf1 zp-22dJJM>hrdub%46p`5R_X5%&vVjp)olJxn-KA7?XE3o%qb*me=yoWNBrw7F$gJIqGi#=_ zxvU7Ffh&SIpimJy$>Gs}5-Z9yu$H6}8bW5~^rt(s z>56SPl=?TXXR{>ukuSzV{KhNzT0{cD!+_xxK^=%b-ALxpK`S2+@|w?O>iJR+(>qxF z&RjmtQmbq9aFkyaoJCYzQClBPx#a)pmdnsD{|D3Y0@s~K7lrasW~zIk?&N*|Hlq-0 zoyW@SnwnCU=sY%W*Rce(g_69^XT!OEe$U~tsq)H`Dhij*M6rln8fLX}$%d=9qDbF} zho;|z^$;F^3C&w_oiAZ~_Bg zaD2k&hj#XT_e65_iF6pW^|hRCL! zO>{7A0~;~#;A< zUl!WkC5BT@G-KTbqTbe%O(!mAt_Kr~13~{B0VVFV#4gBX!!uc^BTgsFnRHE$s7>rW z`iG#J%`9@7O?po&#lV7ETs>?v5%=>?!1r?`)U3lwd&|ggS_)mx=+;I<3US9WvGjuL?VvBGoLe$ zDr{AfjK!u9M0utme0;p}429g!M_5Z`RaynE&rZ+ODl(P*9cfDrA&08d)Gj6Az$88w zqXMOkB(~DtLZz(q ztzGxE>J8=)QLj+}Z+c8J;#mCS7LGAKL!DIcd#&dihRGp+Z+HQdEcF7)Q0xB3EbY+g z4hP-rj`85#mezLq!xc^9Z?MV8WT%nXj{bPb&n<-q!W@JRcI8*s+RDZevJ2nNl>yaq z!n12n6vomHXti7adImk#N2_{Ht)LV;{u6cdJH`n)f;9$GtwlvI`SbLa$qbp zMKLS(0zpc^q4l8O-n(qPFB_ejXv^#0k&cGuQV1kpfur<| z6s|5A1cUqTh91#Tt0qy^XVJ!hB=9beTNxvw~zC({9YqPb#8Oil2?jK?+|J)1-|g*eOM3&l_bZ0sj6RT}TO;!|di+3jdz@$cr?{TF zl&pT-{yJvjuzK_SWBJJKI6w7VVE}Y6Z7Aq*ZmbOzwssa||GR$|uhf6B+`eHi3)tx* zQk;6vr{TL$en;I!gH z6SRy?oc*DXh78Y1S?Ao=nb9pP?mx4ZX69=*{~}5E^K`lPF@HN#tW}N05A)O~HNTFe zK`6?s-{}+-U8gC?5Wd363olhYaoWa8o?Hby?=f~n^~wfz`R16ac`^lks2<8vP`PVR zUYyb^O4dC>oU-W~Vr2|UwFa+e`o`ttp7R{wdJ;^h<-JLR%=l1*$4cMutJ+LMHC1zQ zZL7`*z6`v1Q6DYos#$E*Zro}TB;ZkamQuBzwQV}+qsR1RUOgg?z|sC3TGKp*aDdx@+d7jAT<@A1wch(1nu&U$wB zf5}cX1H2XOG4!EorUx@V<_xX>QL@a<;N}>qlK3U#Y;o>y7hnj@HlVS3{|uGXAH+?1 zrg+pO!$kX-Ye_Qc*ryF=13BM6X$4k7{%qlr>*217scx&C5*+1gPQw(Nj8^_njB|P- zPj36gv9)oxGadD=+r;ggm8$MDOT zL8tk}vRGbfjU@DI>g_{ao#|k0YAU?9so;e!wD`LMq|wy4X6AF=L8;JPBw!Yy|h@i66}uF?$@1AF)aQo~vvX^)qh_bq4T;*gOMcE?_f zfv~rb%hw&!iC%{F#2{0|E2)jT?B<=Mn@>bDUBm#n@<(TNg8!-;=JT0?@ljQ#J+n-d zbQnpq$z(u?_(fV49=761NB@$27fk1ToO%3s=SV!N1RK8su>qq5&0ZTqQ!x+9 z&VVSG8T|bAR@L-OdO}@XDQqn1s2v3<%zz`+appymJ2qcU4+fxRpQE<>cQhJgk^~jZ zAuH_p_t~=Uwo7}~9M(VDVrT(-jPt!rRjg?L>o(s$Hb1NVyCUKezwv$p*OZ!o`CE$s zKd;aIx`0OS33t->NohkS_VKMxjNh7JCVvbCIUgFUza5L{&DcD_PO2A7Uh`-jjYARa z^dSQuH3)|E{;l#>ExqN%j2e6u=qlUj>y=qy$_ReN1H}B3Y?X%qv}bnfw&H0g^_AKR zlY++t%-@tH@rx=QH=AG|d?w;P8}EtaR$0-K5B04-*=-MN&RXk;mmmgzH(~$#-7ZX; z16qSV-SMx^mBder!id$%lxSlU)xd#pr&qXah{;hXT$%FRAivW!i4LK(6MQy-!TW+K zd_mQ_y(r#w)LK1=1?++1>ep^2(deM>5ucb^Veuf&1JVGQ^oO70fIb5s0)1@N?&Y}< zd$Bay7T;q=3m`{_7&(cpP@s^31}G2kCEmuK9F2YMG;7u+)W5T4{lG`FyxRQNSCCtE zcp3`CyPxh`*zRg04l_sX@QB%Pt%mhyX~J`3)ZNNY3KE}gXj2Z1H~P!0f^%RP}^#|BhYq3JN1d9BR(lGxZPRz?n%W|;{NGG9J#BxMx6+Ife#c9 zsQ~;pA`eGjudWb(!FHfcU+@@Xt!o3BctaKF>;t06|Ha;PR0=_zci;cEcBLA z((q<3J-GeddP*Pql)61}O=0EZ8P??}NAjnXKTZBLYwx_(md`1{rq_ptdR=M>=J`9I zo%Mr&ke8`8@nd4E8j^uHk95ipzI zkz8kq+P{h1n@$Cs^oLP(31VCC$vykj^5rJQKO3$frs=@zvP+?Yr(CtJNxcZb@bi(E z?(D6J0HwO=L-rzmLfI}ZMFOH)Z%46T7n%o3eRCJ$8DI=VYgBjQs4j!>Ok*Od-4jkM zhr1ZV*>Y7z%Y1@YIm(XdPL_*pwO;9#?O`NV?VT{7fxfb5NCVq&XAvO5AerixIs-DP`e>Wfx;R;ehcsb=UPj6y3cwF+?YM5^%!HR_o_QPdC+4V zt_jb4+k*R_Um#@B*%zvY-dtjMByvEuQ{Yz{;WZCMI}Y>Jo=Uk)+N-_jeaL2HN#3a+ z`&^ch6PQXZc<`UBRs)Yj2MXJV7=X>t#tni+Ayr*)_(zKfuN>e^N=Z;4`KKwoR)dNT$ae8Rz zqKpQq%g^`>v7nTn%j18ce44`>lZuowAYOopA?I#GlMrciPN{u)>~lZwmNT6~Abf+E zT-(bD4`&A@a2w-@qTqA1J&nhZ?6LN;e*+BRW_3y5hxEwap3aJd_KmWa=|jcGCO%)c zD#<_(PY@DBBCV$v-dW5NDG)2;x`rje3tQS5js8G|KOv+Ldqd;D%~^51nHIToqqpp< zXoa9Jz6)S|$7nx?P8WI1r?Fup7*f>&wm?phvA3BvsS7t6fB)&NEs-D`6AG59cCo_5 ziw+K?6wCoT%Y<=s)s~m$IDwb8M^+?{T-4Zp1l6^se$^`{HR;X7y;xjUp075Y18aw!sh}`oPC8ftphlra8QX%`qi{O4I=mIzc zSaEd3u0j%5rLnaDKB=rU=+6sc2aRH{!3JF2L$r;6|7u<&T?J3?Ajai)5Ns`J%4zeB zg%0bZJWqX&Yfy~@s1>l76oYOVIEIMSR}uW34ft@M5<%#^+$TtuK-&G#IR_58!qvYmM*+ zTx|^$;46LB%-f}U0N!552kLM88m@6OIJ1 zwInHcjl@P*7E;jV1*1Wq;=>_Z|MI2!*@QeDkTscb{8+YmzOvT-1|IoBS_YzIMg?4i zsD9mK*DWa{u8ol^aEySpfY$0<=zC#Lqs+Y3=KStOFGlEZ$RXeO4~d}I6Jg=qtRx;5 zOvZqIYKoh+s)XHPjRrx$Q{bm_H#~}x+Dx@8A1<<_3bDS%@x$(gLPeKQ zu`=uCKU7N)*ciuu)3sk00Q#z1Cmprtfld2L9NOs)t!3h4{d@@|WJvCm{afW*mYs8~ zNGLv8jH_7m?Gi0t?{I6~CqybzvOr+WS~yuUH#^{G#m6vZg>ZBo=wIg%OLd(YX37Ph z89RMYGVa~ocV}BWU&X4|D^+}M ziT#-O%`W?#X7yD7HFPBIf_V>E2yy*H92E0!&iBZlpZ9a!!$|cL8%EK^8Y>qUc(jHu>Ir2$cz^FUmE*ILfP$V^!$3AdbFonW>%?>BMezWw_&!42V0;hsqH3Y zcqm*%FXQCib~&OJ75(Y9-l~U-fLR;7Yy{Lti_?%zKnJnmCz0!6HA-RWfoC5N0uhy$ z=BYJx$Iyd9`*D1W5&dxqLFXrRm?Iy4jJtvT{{l-uw7PK6AwY3Jv&!(!<>`Jx{Z|wPw*@LO><@1#iBH9 z6GOP?B0)GE^QG`Y?m;q0E*Gu+6h>KPqTr4wnY^0hM%1X1-Y67@=_g6m7z;dpTNi0{ zYN0rQa5sA6#emF7-IX5eY{`5pxd^=7U?r{az|eVouYxNH*pB1Y>Uk(HWn;=C2{U-E2BqUjSS$Hqz_TTJvou&^Ty@tTBtsfMclW1No5d>ZXLo*c+p ze-9K3P6LW3z|?~wAdnXaaMa!p0BTJJWg)9v^~Hvb$I*k41L<91KB~zR2$BV{M-$fQ zw6I_uRJlXETX~RWxruS83@i&f{Ql8Q=+s+MN9&cC|5gUVHH^+1~(+$gR}_vKRv$Sttw+;m^!@|j3zYGwMkY}Y!7 z5_Ydt-kzvSn{f3zv0-3+Ks@~0S(%cWUPGE}@B?y%03?34YAHxNdV-Lo=n)`?# z1nkhD?qWM1Nw%?BKAk94KL=8FEcgb03ntEJ$~+acFS)lxso!~Smo6hR*Yt~TP(z;+ z1lDT}S0zi(`?}PfeRvlFx@n7-id)cQimu7-eslP6@2|na@$Py(e#G+Xwq70SR-LVWJqqFZ;4#Julz@0w=`&Eq_G^kCQ$4kT(dtXc@)RGt z;|h{q&6tF8!slh-6+rW&k8dr}?>qhud@G$>MB6}UdP%H-RigK|Mn~hr!p7}bFa%aE zE*2Jv5WoxV0A&#*wO8#)Jw|y%)CQ108UQQtcGL0!Dg&Sh(8z%vMXPGIxZ4&Q`fzFV zl6I=BR_BftmEiGdPp`#Q3LFI)PGj8%<-!k+ao^CdHZEsZCbd5!lbqsTo5*s(>#U+l zq_phcfwNNm&ZW3ftR}v`_7pg9W?9$K%cfC-aV2ukH;1JEYNKc}KtS#y5|oY{x*tRM z?9$i>$u`7I8&y47Nu}QxJz8Sl5?ZRDoL`GNx}HPaQ-(~Wk^w|SPg#blg@g6t2KM8_ zDCQ_OZ$HLxDgpBLQA+8%u6i_=>gU^xvwQRuag0?Rr<3QNFZXcSV*BvH3md=rz8ymD z*wQzMu9bx$as9l51(ajtmSp%#@gzF9%>|2cw0<3{W2m_N4s_pIt4V>;UZGh@d=y$d z%>x5xrVomtvCR;zK@JLn@86^zmFKt=FVfM5?U_%CnD4bpcp8KwoA zl8{1vlNr!L(6jyy_0T|bY2(JT6fNDq>e6Y!r|D#4mgld|OUpzSX?=x@ciaU1{Sb%L zadn)&>d`M)&I66)*-NLnDz*6eSngbSheZ0!xIX=QngPxD(A<7fGFN(f(h~af1>o_5>T@(89b24(99^rjwUNjjZG)8R@1?~LjSkV0_l7_%uka8we_&sD9>^H--1 zC9I0JQr!_rh21Z=gb2I{Ymng;nOmsSXwdXj(Wja}b9`tO0{4x*_LB?6PBe-at{cqM zv85tDJ1?yPwP10@w9d45KNETMqpivrQp>_1lVu`9A+XK38SChk6lVl|?{adC^bGGu zyB;Ju;Wy$pxg#)|$cT-kr!rrXo#4OTvZmc_eUy1wL@UMQH0WL&`Pt?rNx7tPcMdl; z43O}pqv875yV4vUdFSvimhNF5vIq7X8frY+qTn;qkO5F^UL&%~SO^fZyGlau0*fqK zh>P5Accqxv>@g5)9BD+&lQ$uB&@LQ)_@ z$v>7@P(C2UcwOrhM?Mf~2_qDu2pJ^MgXJnKt6o6lkr_deb< z*Uz&1U6&$#)9IfU$*&gO#j8ca?33&IFv_hdG8(+d5Kx0RJrv>=k<0+-jUAJ`f|;f} zKj{%+q7i)uO7@tm-Rx)9MRC|0K}6D^$vIzML=xx#%$%F7H2>5uc;dh67m%g;_S(kq zkG>E&$N#Oxt4R|hr^N%K*Cde(L|I<>{xet1OpcxL2{33ejV6_G$GpN-ooKnf&Jr%le<;|9;^Iz-ER1#FfF`GJx}d z2=lnb>`518j!7Pt`MKxseS8Z~v_tx4GnueAyz+XpD!+K;j>8`Bq>^v`FPoBsD2Z?}Ygv!;i#<_VGv*>g&RA84W@G{srmI=o-8tIX`x24_)2}Eyl9+*$g@@rna>A6$R8^Sj3ma}UG`u0 zXtP{p;V=@!NT4ogt?xZ!7aq9_Njnez!g|3zTljB`ylMB2UsmE+eHYVXEy2rM>K-!DqC^WS}P7A4B1$ZV0oY;#(+%`TN_3JihX zrXATvq=1JH`6k_%P`%&R`}Gmzq3d2XO`X{-iW&=n9h#A)`ZDLB!npAL#N zP5p@M1G6>t#k|!^e|>MDGEj<7#6o`30UQdR(j$<`P5!OnzhA(nO~9XKfdO+QzX8vT zUim$HTnQ}P8)8$dTck@q`fq*&8q72cUA>ayNOxr zntXy&DT7yxC=c#x$EWoGahF2cNz_*#raIk6pQ`ptwm*vb$z4Ar+xFbURA3>ezuN+6 z!;5Py69j=9$ZBwv`rIwoZpd1U!g6@zrT&dG>kC!enC@=WvhHp!Xe@z@NMmFavAQ z=yVjA5_ZA%w0+iupnRiy$IR*PY>3a-JsYA{S?!}O{Pgn2Uf=vcx{)FD*-au7J7_~f_5~A@A*`Fg$0Kb!xu88&$+no2V-gQ)9KHsmLJ^uV*+Qa`U z-)<+sOu$RCv<3Zx8iDY>zLW46%uac6W)?=Q+3DZ3x!%ZbCw$BdZy}hJbu$zk6!f{! z`7*b&Mx@zZ*JA~tIzLq9##u- zXw%V?ptFf<4*ovv3IkAP?TJ|GYt|ma37LRpXIQyf|M5H6ep?>x1^OY!&$;II?|O1} z`~Lh7@IyX|`rtDHl(bcrMRTPnj9Yd>B2-UC+w5v{wi}q8aKQqA za=XeFUB{3fw2nIywhK$!=aK!AP65Jtu)7 ziG79CqZyI|yb`_&bLcZ!HB>YqGwUi?Ccd8LgFo zXKy$@BygcrtCRo9{4S~UW3}z+sxX|8IebE@gfRrp*)G05rM)#Gh(<{#c`A3K_E+zopa?~iE8cg8V+Ex z7smg9HTfnUvUZ92}|LI)_E%-JH1eSeUQEE%q@xvt+?%6dBUH_%c5LV$7G ze3pU>EIVh`YYBAmLfE@5*g5tuBH-E%(6o$ohL~mA@rQqS=Iix$7z>QopXsOm!~)Ih zGD93b!ZR{Ym=PP>^<_%+muvoNaaf7R^sxKNI>GY!-;PY?sjNxJ?OBO!;X;}fVN6wD z-@()bERwW^sq@IE*Z6;GNis$<6$*L@g}(cX9;4MZo`@XT#IFWWKnfj4$DG@qEdYQhq#ph&fk7&?X0;^X{FsmU4* z!<4KgP>aP*vU%6PmQuPdt>{GR&ir9cZx}uO`{y|+aAGB`vOB+_N=y||2r@mW)vWIM z1?IR|`B&0h!y3}cSvS>E?3IOuwN8#%da>>-k1C<8aA#zu3#l4qAfM0C*eH=WyE)#3 z{Gdi?0(i*fJ+p0;w66>qvxGqgqtLN*kUi3O(Z^oVY8*l1sf|OaS7mH#C&z#4odMiW z-&4*F#am~COqBKcGpIv@rdU?X#y8>Z8~7&45Rz2+4fI9SPWA~A=(|hIC;Mod@hl?h zT_XcWC@3&iX-GU+se2_XP+yMu{lj|uedF3Z;y;{{sygo`>xB(XJZ_AOG>GHp`$D%# zt_C63jK5QgIz=F#SX0~vD1WwDXvDVNUs~4 z!9y^PVZexCzcD+(&8%P_S8W#G4lSPgI_^^K2Jos@!i^vHiPu5DGK?s)Rt~u*t4J5& z-RCE9_rbteoXxqZs=#`G=Wc(|Z5__oG3NX4KI1E$ZX;(kkOTJpoj(86XL;zyjGHv> zSTh2?vFbu~{bkmSII6Eg#9mH8jvnAHiQTct8Vm1NTAH9qz{DVFEb3wi);Toc-^nZg z+GEW7OEYgzkEJuoyffjs{_XxOs4-Sk9=qpbp1`g`GYLw4QNb8YYCtc(n6bp)D_>$%0_nvO)nFF1bQus-XB`>AXe~E=!|&&u z@fg4_y;0O|@ks&ycNc#7i~}~4$QObfe^HMOES9LMy~0>4En-nW!oaYzEa!+3IN*ZE z937)0h}0U*nE!n2xjW9aOQAO}XTI-bq7zSAgIIaEW6J@CXy6%BLM8{)QT8lmbwVy# zJMUNT$|H3e>c^E=LSM|cU&|S1hS3F;tn5tMx;T?Q<;W`@>>N1K+9@=f((97Gl8~PB^8hme z4bMS@R22eRPi9J?z?(P#w-zvpP+N0u$~@?V-I}ot#L^qu7g9VA(~Kd7W8W1i;+4LA zLzfU;lXc$AfHo|v@F*pz{1rFUfHvQra3Zjx8I=30Qa(WXbrk^ZRdrbX;ci*4B!n#T ze@=4k(g&cLGavI`E!cSd4Ow6KwWK7XR{YM>HzN(oYkn3Bc)(P%n}nD56=5IT5K33Z31)(>#G(Ab{y1s^cP5V26a#7Ow-VP zr-M3%UntKtu>`CM>C{0A;xrEgm*t(AfJcs0L_1%ffWWzJ%=FC;a8m`-2R?G9vSw+j z9%MJu%KZ#J2dLu42;up^GY+~%!zc9xgShCAOpnV{PHHZK_Z z5YQP#+T2**I0)S})?J3T4UuEN*Z-{@In%Xz=ZTByE6z*$b-eQGc9e17k@@6r?j_Jb zzz(ozGJqzaxnY~r_8u<}3ykMDsMg4_iC=a$35_8%Um)` zF68Y&2`2;gcJViVy`*om?lVBc>|T^+bY2i=xjX6&JhgfUW(L`8qg6havM$+;6~ACB zKm?{=)4&ncI?UGF_DDRp2Y)7G%!T>!%@_S<3eRU^m4Ko*>IIGf6h;>w{@fIXgd}UT ziaUdY%@5^)63{mu&5;!;%vBQpkU+?|b^M$FOZq`X?5g~F?-6+>2Oof8rX#E4@VisZ z;v-nzL#yxvg1rQszlyX-qC6TwIZ&qsQ!l#c?kF4tA!sWe310JbrewEr0G@EY1JJJH zMtld5(nhAztUo3FJqFU^p3{EH@oAreu*>{Oerx)LDJlol@mE#1C=PPlJw@=(F+#Z6 zSQ*&dp0<(t=5Q0f{1uxCG|iL#7cewsaFg_FWZ&C*X>>l+9%T0)Keg>X#^Y+75%#&J zXFMIDiaqTG9cN^wAPWlNA(JUD`zMoyT>`6CW*b3602^#StPd;GGOV#z$!PnLPeG7< zJ6;-Xk5AfIT%A6XMKWs{%Ay!#<}3Rppe+xkgcjGOGmR*VJ`mYF6{sGWi+aDq7E#2~BzFZ; zuZO+;H;e!(X>H{{_rV+sqHiW4<(izIg+;8ty$#k1Af=tm)Ftg*ExIE;I37xnl#`X0 zWzv9o*SXlSgYGw@G@D&Z23(jF6~?)8F&v%)PJZAL7n2{ycZu@kPl#)N_I^nh>>3iT z6Togh=MFpe7?QRkX#LqE;7A|CWc-_exOF|#=ZgrEA;3>(?$XOgrj;pud2eR@JE$pp z7_R1f^5qMxB36TR6R~p46~(eusBwnDdFAJ~?|`1xS?l3{-T(UZ@TNE*xuI>&`%X`F zAJUSSY%q~1eo}KV4v5#cW@__Ga=%Dgh$Ly&2|VpF$oFnI*wD7@g;(^xPJWosG|RAG zw#^mRc1z|FEFAKytdH7s=QY2R)a*jh*tv^qVRax|>VjbamINWkq*Q&8i2DYquC`k= zeALK0mGz&!CsZh2ocDLk5GSW@ZZY;7hw@EjC9Q$}j<(irIr*|z`M$5rKl>xx`&HZA zNQ}`$)>8I^W_&2Yet#AFvqy^WPjfDpfZeKmcwHn9$HwO2TBicNd2)wKN;HZ z)H!5)L^LTplTD16{wrkfJpb?QT6p8IY485mPF-!Ug@&84Jm);5TjbRle&_`u+C!=D z3lHIVTi_alw-0vhdiH#Pv-*nvuI(T-Wl|d!N#9CzJ#y^=kg3iH-2r8CzC3cbcbT_H z;!XsSnSV#Hei@l(SpGHP?AogFpNgj9Ad`1?1M6?O64&I7a`n{V223FOA)CkN1l)GW zH!k`w6k?Vw)S~rOve67uoQXt(c)3e8wNOnp1K2Ifs-Is{4{$n9*e1f~jPVm2oYU02 z=4j}jfLSmP^Z&ZV-yD%LV` z#ew8mqw{nMHYrMHtr8&4u?=8pi}Gn%Cl;WlI2Djx8H4I$OKKDGNRX-`i1SBcc8*p3{?%OG{kkIvlQnO+^~1+1kYSp) zWr;T|DR`)NCNKU@m#TJ5^+B_{`ul*}k;+rDFqh}26qX)t2OxMe^b;d5vgM)lJ$nJ7 zYJZF>1k+sAaC%a#!rm;tXadc4mmjlXA7C}V-!aTftOAjC+yqBQ@K{eQ9^f~&4n3I5 zg|C`@O746+C5bhTukR4knD@cQH2pU)C$8l}^Wg%cIq&Q2sEC#@aAkpVPfEMrbD&Pi zMIG^}iG$y#1cc2e!`Fw1&)$tj6ff#eE_`y{U#L>*dscs;ufGX~5&Uy|ZN2z5yfC9h z-o<_JN?DOtl`WL+aiLt~hiXSbBnY;{(jYO^eF3g z&^J5PEbgCX+Pq9y4bI{<m~j&?O*@Tn%QtD|WNt za4cWh7@`p7BNpGEVv_=TWtLL38sPVfPgNaZ1czMrlL6`q31RM{i-$@S0Z89GTfOmX zel|7pYDw0oFZxM{+=nfx>isZciP_%FWRmZ|ZR11`oD@mSJp(NnEiakBOossL(3PWG zd3zpDS6m+*3G4`KiesS3KZkC!2~RW&y|Onp_r$u02@iFp&`*e=hQE+BpQ^iwmTEc?2^Kj)N?EdgmWRUPXECbU2j$%|b@VJs?h ztPGu3fxEMT^_TP6XI{32$dYgQjiIEM%1myYj&aA-98+*bBBsZE^e$JW5)3M-o3e?G(hGsS9ATEG7QT!!%T^j57@b_Czg$uxh;mw+x#xAzx%7 zZuA+>+lsJq_NM)Z!J>~0{xKNYbAJp*M~RP^!?#u=cmK2`l7J$HnU3s#w!=FL>ql*u z2o+4Bww5dQ0lXtSn$E^Vv?_qG7IzUH<%jTqWGJ>x8r4q2VWVi!yvjJJw9K(a!_Rw7 zM&}|Fdg8q~qdkruBabL*Vq$mW6WlScx>PR&X;b(iQOmoc?8ptv(KAn^#}UR~EA8_e zP2dLVC=$Pzx-y4$s|AwxVrnSSPf;V4D3IB9hMjF9=66e=J4KC@Rz8W;QBM&1+vMvs zx17)T99!R{1Dy{TwGCLBCP{E)+)4yt;pIwlIOg!1iU4>f{N^ipfAvWWkcu)w!T+&`VIENGp#mUi6w}J3g_p)udq6os#R(64MST6cTW-~DY%BVMKBC{-6;H16Z z3R!Rkob6AKZZoj-!@sRvTnR^mS9Y*Z(gPsZw3}8+e)#2x7dGl^W}^6PR8RYk7S4Gp zXW|8^{^yww5qu>7ZGA58v+odh&US<3O1+T}%=!s~Js&~;s(09hi6y(?e#W;4=)Zk; zQA4;Du!oQ_K(QJ{0$DUZ?b!x{ntMkua5&$94Uju3%PQ=(I+(80Lf${RSH!%whymT1 z^Jo{+e5h8@y1sV{d?pxZ|9~d6?Do8v8b_50Poo1W??2KeL~kCWtQRdh-;vGm7Z3mu zY1Ey7Vai`>fxwZ?OAx^0siVH!iMsA^UP%q0h3Ysx;0Chgmk4gEUvi+LQ(qS10 z+a%I;Y2%*c{VZ4!7c#VwRCE=8C<%Hmu15|~0lH|xToUdfyxwBO5sWYTdmvHc~Q(*K3sBZFO}7Qf&+f6nc^qsfBS zumu6XAQ1wDUIGNGPIaoGt-qHM6ygltv|aMASeak7v#Ee&`%N)(NVq>^P< z7J~UX=J96Wyi2r;e*pPz87TWyIR=^DoOkH>26HkX0|q7$;OctL9D>)2UCBMd*d-g<7~x#uSY)H zbHtoiRD|!5t}jkk=qwIObX2&C9@z0a24M6s>R2go0fIci@-~qD?&2IgHf3gKH0E_=6(fSaV?J&E zH=U!zfK0GOK)pb;b_Jb3|Io(7lbqosEENO$wLg$^95-+;(%J^BZ3muH(`EcmT z4vF2-YJVc&2-8&LQAbfM$pMY?wc>vLj5~)u#EiId(>r9T8YkE-Rpi5;_y0dQoJ5nR zPEy%<{q<7VK}<*Qg`i9`-GScdhUDA{gn{URFz^8H3o|0vuH2?*Ki=2*AMCxy*27G) zB=$g95Z)}|E#dtR-g`p;PcM9bx9&_|&FE;QqlGpk4_Jh$%8HC23K=9eEuVi1vR^uX z6IdcC$ABkXN|!+mb`uq8>;A|x6eJA;4BNlg(=Pk`a<^`7>=Nyez70MKoMB+V zxXW;Ypk?#Q032<<99@%3<#Q9;xPZ3WHUd}ud9ZTgL`zT>>io@NUU*X1 zws;n4*YT++D8nv9Th#e!PboeC^G)-}S#wBGCivd}%+SsuqWA?7Z%JRl$N~3U@?Vsj zqMKE}8EG0F_!O5C+=0@>jR`NtpU-rtL)RlDE)0oXwsA0K@s4zC6OiRp10N||)Ev?N zHUJVB<^`NNBwJznzTvq5%(N?bRj&)DtA;}~Tz@I5JucZeV5q+XJx$C%>9PlD00Ple z#&RbI!v?j|7d9x)ECLV1P%R!aW6O@<%Q*U~$HMA#(z@WZ(WX$tsY!aFLs6%7CIDg| zpRBZCav_rW72TXm4_OLJb<=D6o>X&tLRTsdyf5pdRLL6dX$bR<;%Hx3L4S(8H0F5w zdQ|TcLje4e6CZfFtuO5H7n7AfRHCn=@JY)zG&f;O6~J8y=>6g6BizG%EO)$jBG|j> zrm>>N^x{2T-Y3Q23EbHIfPDfYKPiE4?^u)lGVVXZxBHbKch4OttVk9$o3X5CxVeyiiPVkn zsO@9a@nmLU)d-T(pyP=F^Of_O+hhvo)f`@!e6?%}Q)Y$AfSLG+fjM>L5t;y1yeVS= z{w#Y)kX$j5ofCGmD!{uturs7xiRDYs6;^sNFNWISiu=n>?Nwcdds4Vn>3lC3UM;aQE2gRiYssMY zGLm1Y+~(ZOKmn$P+6Ju;!jQbBq7&7_b-IvIT!iy4uDPAtEfKQ@Q({DXaF*Wecb0qB zckDO>p59znnx`W5=txzfqa+w@_AM~X@t`)tZJD5HeallBtE3S-3u=sc@e(Aen>p^5 zUu#jk&bXf-RWalw*llmTe8DA@*BB;{zdT)aJb%;{eGEgKG|3CM!ZvuD?Kp?y;-*DH z%-?^H#j>%ERF7uNzj7u#ib+oy4=4jFk-m=Y`wi4(qwiD&1$eA_llZZrg@vSA(){BK zLVsZrLhF|M=g49_tv>%Y98**YzNWG&<2zTyPQfniNXZWUo7#OAU7aB+$K27= zbN!iA&51JSp9vXK#1{Ah;A+aq(eP7`q&xCFHvW)Z0WKzN2&^y&2to&AeL0x-l2}Nc zu(c@E;F8$ofAYFmZ*+y`MNxTI(yc{Y%4gjF^s{}uK^%m~O8qiMc~HrHmEWLY@EwFT zQ*8gWPSdM!XP1@#%Q{VRz_WubMsjDg77s6jN3(ZwcVhmnd_Fw4vl7}a^FR*%DJT(` zIcq6k*|NfntBc`0=e$4BZ4WCT$tH^J{R^S2mi(;4dGil%?p!^45ax3)MtnNI78_fk z)rAH}mxA7m^H^Il|MzFGzVH}y9C#&KW=t6S!WXj|hY7yy(0H(x{(vew=jikeLp0R> z9+fh~*&cS4vG6O|>*RrQ?$Yln@%r16!R%OwBl)YRfUca;Wmgd?p1Y#4>vO)OGa&Fp zJs0(P^wg4C?a+gEaEVJG$E_l7N?hY9pNr@qSm<|)QORAOp6>Hkm*N(-YCa~S&41HO zd;QiZ`x%WFk9m^-6{CTd>74&ZU0D6$bCru{Fg-V17=s3DNyj0`*!{n&H_?9t|8vm8 z`CU|(6Z`Fna65`%)co=emgO@YUlFvP24)`l-zDBZof; zQ*Y)|d)#0E&RLm1ztgDZ^Ly@BVjgYoltNyiIr~cDCngBb38hXikW3q1<_#Q7kvMqJ zYkn!X$b-lYh6&OT`fzBXBl9X>%eh7Y4P7A#(>J?Vb`9$09`@ z(PP%(jWLoQK&Ml_4EaS8N^Dwa8y)(PBJXxLkx_lgc>CUsIVUlAd4@7o`Kv)4_00VS zT}rm0&WCM+MIeItRDL1CDD~_IoRa~{!pcx?y_>HHTJQOSLDh_|KZ}bM5mG6OVvL6b zGk1w#$aDqCY@<~`k5jHxZ|li5OJuuxa;j;9aL|_%?1z`1W#Co+SX^-F(_yY41do#m z);jz0&qF!mhitmWxj+7Y@mUcE{WlRr_GUw7w~bd&#w8G5B5Rv4R6t~PbAMvevDbI1 z#m%Bk%YwBc*f=R|%=#(BSU&rMg!fSYL;C%*;-B@vf%LgbkaJTX75yIB7dsN>VVvV7 zSd(E%99{nomYYP&oIN3yidNJQ?tE)Bv7J5ca?Od;(ASitzeO!baF1O>7~falAe|>X zi007=Uf6rAYu^UgR!0}1@!H)N(N9=^3g}fJ+hgJhc^TzzFd^cQp6t|~Pi>E7hkepK z`~XFXo-XeX#w@61SA-xm-yz#}=Lv8R*uC0)cysd)$@kjQ#B>>gv$Z;+3(h?1VzK$7 zAdv`+)5$y|S;)J`SVwjB+7kuaQx4|9@$~6U?!=Ux=a#o4e0>XuieM`HF6ifZksA@P z>LxwN?{eF7OpjI+jwSoa)Q?Guj;eDRnb+y_ z(AnS-_72f5T21#Kyu!)MbCtz0TrA7VORZ!<^}SShC0u{)`%ssa)p2C?h8_TYr}85o z2TwyX>fDT=8?a*OF|91j`%8sk)XC)Iz_%Ucy*6e4VSLJMd0=xPtTMLsb@b-%%ANEabd}$#|QPU9|c) zJZQH1>jB@YE8l7l+uzAwvI@TGzk?OvH_KUc!f>=4`|QFgU$9$BYD4Bc(}f|_168)d zpWm?bKS6p|!t6MD)QRzv{}|>PvwsCI?fP?X!H(p+a+g)Fu#x3|3d3rKhAN)MX5EJ` z1nL1p*NwK0vIj=}kR_CN&oYZm2xHs+K-iEw_gecT6y@J_} zZKLnNJ3AaQqojr!CkLn=2^1uayvZ6qM*WAjeW8O89}1?XU$gkVGn|Prh{XE_yQ+HB za7#1u-`|?T2c7Xzun#y>101_hfHjE_Goa%_eM5S-DD8b;ESlfC^si*^{M_M}h_vo!`!Agt@hnF>Fi>{>l+xpiW%Dj(ZC7-83vr9D9w&Tr))G)r zqDW*>d$B(&IIZ=;?BGMLG5$^V_UiK@>1=J|6zL$?O;W->vV16me_* za*GBn=azQ(&>*OZ3`& zW9gt3KN0~IuvR3L&Z9(xl5YO@$lK2n`)_DtiXGUw_?x;ow2J&zx^1FKJaI^E-M%u5 zJmg23Y6LQ5Z+&sg7{u$jl&}^rI4$Un?r!N47E!lkHSW{wO3?cL5 zyPxtn76{)i_z2N&An_hfT}(kEA{S6rHc7FD(bsQrdRP5b|6|=>u^G@0WfeqNzkX** z2+mB7#53!4V?(O&nEu3vWT6C0qq+s37>IfyaiSF)+^ zs*iIwEie{o>5!SES{RGtg4TTcdp1nww$Q+wAQ+y)IG4tQCrUtJA*Vt>-LrzA;U1%J{F)veRid(1<>rgiFcN0-H!$x2dn-<|>exv%$X6 z*2zT8vEJ|K+u+}pb$qs9L&@ITk_FelLd#+=`r8IbS}p%SSUdO~h`|mpy!!yT09j&N z^3?F1CY%poNdf6LP@Ma-S3)gDf;U9*0&TDcqvRx$->+BmD?w%L*WvoSojqsACajsg_gtpBRG!-4bpE!9u~8eM=DxK^)P&e)E)m7Iw)8bZC6 zGXRDAi!m54wW&2TC?beH(GQQkpI?D*++Im9g9x&~k|6*57VLBvUUx`inm3JJM};@F z&27|zYltX^$!ZW@l4duz&5=xg_>U1SiI%VR!B;TT*_?(m{R@TXg)`ngMJFxkY3i_O zMk^bA)QB;qIW4A~UzVgtQz%#vr)h+URu!|e#Nn|C5Af8?cNdsDSDupYOQAx(8sa77qWGjMz zPDfD#!2zfyGivGMY5XGI5`8#`OlJj;ee;RLC)E@=s(tt%H}0WrwpW`;>DlfM)a#qV zsa5<}Tf~qS_=`;rU-0dz6S+|YLaQoBP~2d5^TMu|@TE&h@`K~7b&N?V`ERq%mmsY1 zba~PYA0?gWlQF={)km%=fXQSO7WfhvXGTY!H9T&H&U-MODI;xwqx1Sj-q74~#kdNM z!_tAQLw&;jS9L|EjLBfvkvD_SPUmMycNTD&1P!+l@|N3Os>2kr^89b=ib&=o=7V?` zjVU_CQ1X{jTg_7^?u$WltD#Z;QhgZ$_%3>M@Ew&qtv`Eil-vmyb=O@hUI9|Tt18}QafEA6rB3ICSW@76_KKgjNRh(;l>d(D%zhZWUT zGhw8IyUiargufem=`#hG*QY@l7a@}KY**xCoW9%+-q5GAGHRFGxCx6^dly?OSc_1d zr+?n&e4!VR?{oW&2-cL$!JP1R@(3Pyt$Ztka2oru(&cQi0zXE$Azzv4v$hC!{&x+A zE28`0){iWNB+n{&VqG({y7Ak11_7F_VdG|1-f!zxVqwkNRn0c%anDCuYcTL|ouT5kEaxwnoW<}BBRKi28#f^y1 zos+7@Cbs^che61Xy{7rQljmPV)4PhQ#K3ZHRQt zzCQ-Jdnb%4%Qhp*a?J>NqRILIX&zc9m(Y1Z8aG2=ft+XA4J%u=!>V}a*i+HmawEhj zut<>Cm`&5Sxp%-8<1nhUa#Po$o{Uq5GMpg+z^t*-1B64q(Dibcj*{-zI6gNj-_DMb zc0zr$4%Z)WtN=4W%)fVH_JvLJL-j9!oh5Bb_(vmr*)np>EeiUwRk~ngP!*9iQ3Vz3 zuw~xRu>ABhZ9C;gdE^Q#niBewUP^9$Oa*xO`L}18J^wu$-V)=%71ibT!@d8!F!YLs%1m>SxZ=Dt!F}Kn zQp({(j7_;MmpzQz93J(|uf-qn7W$8MpMIy3WJ6?yTJ&c4%uc(_dF>Vbr~KEmHCH># zS7H~y9dj}%^%7mnF@X-1E4FEO=R9f#9=LwLzwf=yKbD#MX0$0@o?qreaf83wAeloTDF0L%4$u$c?$Jp;Z;G;IV*hVpY z*mI!x|IN2f$=g5Qx<8ArZ?{p|{O4PjQQrGL?Z&Dvz+0Ut=L4ng zZFmAu13)P76e;#cxnopMA4y7(FR1wF`=%{E5Bvuff}$T}lSbhqOED42-#=?`VuopY_u@+E`!po}=mz zvkx-`3@hWF0HO5A6vmhP^t(6(sWyF#LLeWk-;Aq+u^+8|_GhkMa(aXr91A{k>IG2$ zUhc4mZd5pj*vPOyKhAA1O7ac9GBFvRSEr`s90B(g%1uC&RK?kR-3O7z+0m95l-Z{w zO(Fc^(K*r>k>WDD*&=TK(Z{dV))Zsjs0G1p@I{_%-N-NC4o|d(z4?9sEr(bgx%nn` zhyDLt_WxxrOHCn4^zhUj=9JoU6q-ZohZzfkH;}8r0?6YzZg&6N>iIp^ZOAW!rLb=` zwuW{eq6!}fFcm;Ov zy(&v%&HW%vN8_fqVtauv+H$uq)WV~J$=;n9F7+$O@H`iV^jGJ z%{R)?ublXug5bocznbc;hT7>6#uShL?Tqh!cZcxyApLH! zc;H%N3cA#^k@e22@I^#_dWNzb)V+h@M&g{?n>dC*_s)3*Z$$@?di~CC-250{??VNm zpLkQmJ&~7h9I+W81jV;w0yi`13Mm9$z|eC87C^N3VCaBi`gVR`dMMsJ;3|(xLEKGk z%6)N=6B!tz6)8-&wEj3Pxl>OGc<46npj;Bo}LyaEz zWUw$weWrT@m?~q+FVKy6U3gvjU1dV4Z$V~rlh!Mo)_@oAOB(HN(h{|DWJ3lzmk9*j zJbMq=4VKXVz)e>)>QX`?rxB6C&T@y(x@^nO;yHLwDf!W;_MRLsVkndqyG`x-AS{dm z4HFRa^>evruRh3$H$hoiL?k|9H`aOFKQmwLY5p16I-a&vU9mMENz`xR zclRG8q&IN$FdTq;8J(mErTZVUQ*FtM+Do}3V_;@0#~Jza(=x~~)i~2|rZGJk;rzhq z=n>F)jzpQ82F=O7Ax6;=N52KGNR+;Ih-i}uqrSj0rr>o`W8H@rKfApwt0nG(PoQ*tQnxEu;$v_;0!B` z9s35X33{m6;RlHs{YRwFY=YN8D3Xlb3e z`C3q{nez-lgk9UhvfmX_GW<^T)uor0&K`KeFvo&WV5s^qAdu^8!0tOwbx6uyMrL6z zFXM+HN?{{PLiDEp?j_EyZMB<4X~FzG94W(qP4zAz|F>Ug`oHxHJ=CuAue-?V9as_%xa@n zkX#HtE%`!a1UnXnEcdwvN?D|Tbre@Hz<-u_LkGw=114-{98dbpAAp|Gvd^(B@M*9) z%-KFbG+Vh}IS_(w&xVI}Q33@1yH*F`H82@NFMbpVk3i&2k+ggstV2|Y7yvIrS%de~ zvcL8GD?p}RZnC8|EUGIC25?z^@QT79!$k&9}h9G;Ts8KAqq(p%L_D zWl!_ro*G@>(;i2_M)3B3d3@^p^K)_NTWna533vOF78y;*t+(ZxKVf6^daZcXKk&1bsibI zGM4R;T!=GppmO&2&~eS>vNY3_Jl@(oVT&UNyd8}qb@1#a@i3ewzeVqE?rrj~c9ft= zSV-25r}$*n#fC-Wmgz9KZED^%sOqdnoOZA(wFgULXlh%r?Vr1WRjs@b?N=EL1Gp$X z?;l>8MxwBz7!Xv$^GhNQq>GLNm)v^OJLUG$CEf6`ITY_ZPMrC6mt$f5uLA;>Ss9_Z zCWrb;W^=t<hc ze4>coojx9hse%hTsTfd8cKE08kffj0W0?z0(bDYQHI)m9lQOy{;dsdPa_c+!5p*3( zx?kF~rEGE7-SQVrTR`Z=!td0a_c{7ifX|9`PMw&z5c>5@LJNligs&INZ$;>(dB9U~ zM+bfY2v--t!C@YLvkp!I&Y#bl=#sf)pr>;uEITkcDY<{Yx2^r0q-1nnlO>A&OdP4k z)+Z3HZu1TN($8R{|B9t>XjRez|F^!Q<48fCO564N=k1F6lld{}dwSf_;IqmSMt}a< zSM4eicpw6IFeOr#*&cUc{syn*F+R(DEEA_c?BKnEuoj!hmTc`zNF1KUldo@^2^sF+ z`yvfYrjB4r7MN;*t@-7*6Q4M^hp|7tv}?13%6;SL9b1KB@xV-mVQ>wm1g<_i#0Qs0 zSkxq{UPCiUmhR*w*u3@DGT1@l!uo{6$!Mj`Hgz-+Rr~1hNm2~Zu-?XhYC%Jdj3F(v zVMyDY%G%~U@7j#&S0tJ2)wchN^G>uitol^{w413G-5N(nwCy^Iw@u^w4j6I&+Q<9y zo+p|7jfKl|0NGioDiZF}d^~z7FZz>0BgqO>Cn^RGXe)3I{hK3O;iLwq3CSqrgbwnY zB(66n8S59{HBPg0vObA;uF?wKe-j_ZiE@pnX{^PjSlyE&w^cqsWRUJI-qOs+5lmh8N>&__6HZ zRQhX@)lMa&AEeCsrylTP`pl*wwCFO$8n8ey_&cw9`OJ5zec+CI**N4;6b1>Q*|R*I z9N-53H8yL#5QK zC!|Em?D(&M_Xmmz(aBB4jhq5uRYPI{Ik59;U3|0)f*4Gl2NVdnB!!@vE)c@{54_$7 zm=wCA_749teleMw+ev|@0RJo~_vn-c`0WU(?W3Zlif{%1q@+eSthLJB)fqE=Hv@mZ zAG)r6&g_Y|Z-^h04J@s9>6^=+Pl7rlXEPkLRE+0|U9v78qM#^vKSZ!B?B!$bSVK_Q zt$o3hlu>qB6S&d7=_}^1Mg7hS*2&ZL;X89aBOo7*r#;X4A?f%Rx zHJ@5RK@$QeY)7p%smL&tUdorTk*E|GcslyG6C1?I>hPpY;=s@kL_WP7oRDMCaQc*v zvEaW?2_!T}{!n!z%KM|kBvHnX%nd8_{E$ml6LO>g;P?sW)^509#S_*;NnCK1sv%73f>7!|u=g3HQK` z=McNz2sa3gK`ee&6Dw}gkOL#w7>Bb0PI1E7pmckgKU&2Yd2y=`DXOsxWPWA@;;OT^ z7`X4(;R8Xj(AIZAOqe>srKjm`H_E1m$K*^AvW-A0zd43epFxb<{Hq%Km}bSH?8m-V?fG^R>!f`CRUnG5gbt@s(gz~&ZAtM6B0nV2W zZL8;xi)gwqB1y=%RHQHVS!Ere@)w~efrp!2i3_M~NeKDcBWSI0i)Zb=19W(#yO|$w z%(m**IRtKknt*qJg?T;SHdGsk=UQNgMt3OXJF(nbXtfHg+iX?KklS_!Xt~ zl5WhP1SEDr%>JUp=v8SB$DY6B#Ucxbd6fZuKm_%q2COD=j)WQ2&ded7L% z)c|vJXwf$-rJ|iiHElnCWsB`C*w}zKtZc-0)f?OJNWO5CtIh5R+2VpFJ?|CiQfg9qJpuhp zInt(asQghXq47~-DaBO;bEQzUc}*z+1l90MWD-cAMJ~&`neG{dTfD-vcTagoR!-HR8}1x#ak_oLs|_>K4$N@`Fme2dnU>O+$7_$wB4-2% ztphhG5*0BQZKW0%gZe|;6eQ}+eftq~0k`Vpc=fA}BLu zZ(KU&kM-0$ZP7PagmQ(Kv;$2j*%!`pgB6wI<_hBnHGCr(;j4xalp?vT>M${R080y* zOVUmDhcq-HiiAxd%FqEF7cYJB=!X!fXuar)5$C~#Xq`PWgRYMp?y@*`}}RJRLGlj)^FO}aqv zP>(|0Xj%o9{bJ;d@4j0V46dsWC^mbJPjC2FX%{(5EO5lL_{3C=b;f5DWHelz+;F7o zVz9O!Iy78q(qUvEs+2m;;^WM(1`EzbCS|!>P7^B$C~=s+|CO#c%diUkLRkC+-QtWp z{xgSf0nOW2b}Z$}G%nD6@1C3U=8JNH(5G+ZGk>q$M4dqGT0G{5`$V&piO)K=|35iOaj*XN*ZHvf0x5WcT4iXOWJ( ze<~UG*ewa(&h5H-+pKmKV=M46iTN1W&r5>L=^@`_e1vj`6twwy6^BXg#PR92Gu5um zM9m);!T?Z82*j8IkY;&s>~mPm%&=uJOMS0<3Gjd@JRB+NVJu+OPn)npE;V<9a`;^p z2>P&SU_VqI5>7$3+`r!&JE~jH4U`Zi? zM9zx_B=cJb%pbIy>|XW-!iYNB_k~;$$Ur95UABcrh4IQHio*+#Xw8{U;G+t`vZZ5i zUj7~^lJ&5Oxjm6Ska35arR1U;r?he8A>RB|EG`$E;fW?GQuw{jybFNs1L=1sz;=p1 zT$u9s1+Hd!=iIY~{tbGTrmLv?6^?g&%`~(^(&bxt)qWN^fU(PEp#5YS$`IVhnP}0T zM(lj1=r^ym^^{i0h1~fAlCx3a-#V7~9(903AqtY(Tz>^Pf5EhnhZnb18f)g?vvK)_ ziT8FHX6(KK*e0wz_wT59s?oAMRJ|J#F~fE!iI)3-Mnw*F<;;)%X%Te12VGp{=B zP~qsN2H{`+-r50atSOe;hUETMzH#Mc!GpLPGJ$_NWL*KG4^d%xr9+J8slDJY`;2m} zsI4&q&ir6k4}nU|{8D2S(4XUrusH9^Y;Y-`K0||Z;>8~sbLd2~GQ?r5YxFP0>Rs%4!klg3|LP&!d1dNsvKrZn- z*9N0<-X*k1*tAz?41-9CAFI8xdklV&c606>3u_b794n$UmBTI1sktusoiQn-n8HD$ z0Qk#4KUr9o9@7jBE2+E7eJ#5ZBfH^WAQk`fa}CSCi-Xq>RiOr0-thYUTdIS0E_jxj z_T=FRkmrZeaM}!n_O3MmJ*3_mlY366bIrq@U94ZI~(5KpW1uY{{y9&Nrlux+= zz*+>qw_jlI+bq9mA!5uhC>i9fjx4*?fF6Yr_B!#B{sj^+sFUVJrzjaVZ^SpQdf9)f z)y3|el~C}zhRzzDM?W{x?RKM)gX#X4mPmyCT#PWQ;VTuX__{la$uDMhj8h_kpd4gSv^MGD~xaXA@DP{&3m4W_} zz+h``cslmDs1M7Nl=y9yAIY4{1PFKzbR4dpgq1Z4{B0CxmC zZb9^8c|^Q$3N%U~8GJ1}wY~zvz8S5Bg8n}1IW2z)IsouK-J_3a-WHGC8EGO28)y^X zJ;*O}Q(wFAZ{08~{mO};^*{z1r|V++@(AK%eBzcT6GI{_W?dUG-iQ#Gj0S!z7D}X= z8-0BY)nWDN+=7pm1EIdcqfXpGY>fs5wa+`$0`*-8}}X2O0V?#LLTVnmXPA5?RdrbgMHyeEX)g#)lpx;1P>{p@L}p@&{2 zA~lGtJoX^R>T1-9NJnwAxk_Q17_@sG4$k)jcGq87HG_h6Nd`b%z3VQ% znNd()R>4SSuY0|0jYCf0!DH?DUqOn8+i{Q|;g?h%@?%zZnzm$(F3jl^7UenU6TM>L zlT+*2z_fElJNR~r3^l;`CZMa^7re?|u`oH{k7y*246!d#jFhiY57-GyvYoRq zI5SMqo;N?R_QW!u1RtM6tq{(ANPN`$w8pKQ$?c1t2R@Jx4RS5Q;RZse#9fcWYqf9 zA$$HXagEa7dU3#R1Dt_szx9Da2Ej6Kb-Oy3Q(C zJMx0QTu8Io#^RgDDQtv_9NsjQa-I%mpivDg^#k9Hmm((OvYn1`y%YD_9zV-f@ejf| zFMxHjZUJZ;c*cCQS+$&pbhj8-p91Y0ljs=6-=pMQ%#C72C;tay@3AhSuB=-=5DmO* z;!Wax(!+ailcz7{T6>>!?^o5R)?|WG1RzEHBM=fkDy!&M|6wqoeW(b+D6i>^Zb?k= zXU?;5{=m=ZO}_wtsjP#bhbPyg6aqS7?XU^d%@aAI;Lpl|f&xW3_w20G$EbRpxS4VCvI4rXx) zZ}8?7@yFVgkFh%ADWa^i7b9kPrGfbykA6A2lVurT@XrZfWg-av2e2mFk#%K9uZ!Ha zQ*eHFEHkuXs+#{P72E#KIKzH+x0tG3(QK|$R_=q!#ZBgD363b5y|tP$fdeIZ6Ujih z7tPCTv(3fmPYiamEt_GYuCh>R*!d9I6r`FY1>wBj|GlsQolRvZqq{w-4Y_T;f$fWO#n^XVq$~M$PlsB8|MOOU)QGA?G)6gbl{- zkQY?H!_IV=P%)jHo70W~$;XYaZq4nSu7*t?c92jj!y@A`Vb6);+jXGx_&ls2nlJc| z=>j}{98x60U2-QxtwTA~wp{Ak}iIb)-t1>cR7i_7*jb^F@fG+{kBAX zYxihh_as}@s*XL(N9V6H`L=`E&It8v6RQe03I07``LX!!D~51CQFdVYJty13T&frI z4^(D1m{cra&1d~VmQu=>(Kp9#&lR6&otWw-t}(CJm5ZOD`M%3vhk@FBQVAc%o>3HfVkW3qUkN#UK__Pesfn9PtKjL)1c*eb2)C>gWza{>yr};QS z!aBcX#_nzAyQWS(;(~J)M|*?3U_3 zRTL%(jVNuCLcN&S2)0Db@87fKoITBw%+uJl;k*qu{Jn2=7F?5;g;=Q(2U2v0~RdFKn&kGEeA5g^xj}f+|!W3fuYnRm2M#6 zb5*0aC=j#TnPtCpJ{%OT$!NoU>B;#*4py8ywm;v7>-pZCX!gOZi>9BqG|#_oz{cNL zI=8Hnm%}~5Q>UKSHl8_5Bb)pLa*oI@()H@BFH={X#7&a&wP~~(__aeO zL^MCVA{dpPG4;jCjFNperB;?#cyB@tV_zugZF<5Jmbue^Pa!fjUk#Sj5b=>_dJ(KO zg(2xDW9*CN8A0c5t*)EMY6Pjc?7JoRBTWMR`?0?%h&3qa0e7+)1#u-H#cCBb>|0-6Rzv%nQK%3>)SHX0*;xLeTJiaOjf}=3fFJZqhhm5;&w+{=wZxTU>kvY}bj` zAwzMLBA{#Q%&^__W1y1rTKzPo`3VCu5+a&x+qLKqwgxF8(f#8q=Q#is)E%ZKInLNwT zw4_8FUHZs}yM!`oiOt7%wjQ{ZzHOxHE(0^F(k3X+4&erLE7d}Leg7W!$x!0yOxz{A zWC#$~2IQOC&4m?gA6p4)+j%~PbUi2ko>(`+bb(J;H6*OGZ?A*ukhO#?25eh`AU<`9HVk($mF+Ri!El2!mVKm7Z$UR}a-|9I4Pw5aQ`7Iy>R zSJqybB;k5jD-~^cs~Z%oYKVySGoA#Q$JvURQWVMp2hBc4!6QVWb^_#uQ1t!a9S-8Km6tHM{zwqTXZ(=!zr5ve z^pu3iVX=5mzu3|J2Cj@MRzU|xp9ZWR63nc zU5F?YI?d-w&fjBu71K9c74S}&AAF0;!Y+p1-m#oOJ{!b>yQksOHp(1d(0xoJd76GM zdrYh{H0TmRl+G;W;wL4Rgu9pf*V-1w=b^oMXvED4>YwMq*T@@VeQPq+Dl zENVqk7j;fU=FV1N=@&dc1!^nit$Nw+3+lN|AZJ#lD@0=q4a;Zl4bLV42R}8r)0(LP zfbuUx^9!NBaSxop$D9x}GrZ3RI0D9}6sXPq_`s^;ZeN*uMLJ8;-&CeY=!E=MkxhH- zW=U`Cx>BNs#psOVqH^d<^@;hRf&FJD*@6ng<2OMC5@j`toavWdv2RYkO_O2(t0(ga z2K5q#Gqj}fEOwGRt`wSThS3q_h{hx{SeS9^zdyXiHH!B53Qc?SY;Iu!fi(-R+*4G1 zjqUyiCg>%Yfa4|)_3;Q1hJ?W({3iCoFWxv8l(%7a55KUEn%Y`^u>$?GEgT|-q zAizY2SzPVC{zW#mBzJ6u-&kq}h9N93h+AjOG;8t|pxavEv|0Ia4*(%V%2GT(bpHB< zJWfYoyi0H=pLnld!JFYfIjpISrAB$wv@pAkFn2mEt=Tb6k?;Q=s?#Qy}7( zog2!C4OU2Wzt)O->yC-DZg%otY_Y1r7aU>-OmP)SBCq|?bWRRmPwxgISnL3x7;*ve z;g!#z493l!gmdqTbHIGVjtde#PFpM}3ed)W#LOi=vfBZq^&^g5C-7 zhm!z{!>pumZVzla(QBmc-p#b$a-jY9eLgBDM#>g&RNn!)aB+d8cW$Z9^EO;Ja({-U zBkxHx#Y88%uOQ1lypI;DTUx(f+-wpm)PmzLodllcNn$X8j{!;h6BQyM@MGNHM6x|b z1Ss}3)Wut)BpF@C*RvSs$Z~*5XgeP7O!$vUVk^znPwS|Z3>Cf4KMej;ziYDoeQH2t z^9Q`A;>waXmj7}})(Q-p_ksHuuRV&|otutQ6PrrFP0t_E6rTH0dwBsw)w)Zge4v05 z7I@PO5kjr6h8RZ&+5u|*(DKJ>=LFhYw0Jn*dt(-fWT=X11DwID9ZAFpy7Gq%M?oC1 zJMh_6q;m!j>?3+daqx4BkKU0l2Oz$?lGw`0nHRg5N{_5BgE&t){O6t~gEw_D;J7yw zQ~Aw+{W;e6M+fqQkXEW*&%(w(zfASOMTs2FwaGe2efhxB9ta#f!|;^w9^I8n<|IK$ zYrU>LnmCR9ee}USoXAZRUMdw)hFpKJ!*xgH7@W< zZx)LWgsjSfue=CXx>ep!xc$>1~?)nTt6`CE=xr|Y3> z0OvXYqQ4`ep^!77Zbpf6XL+bGjD%usf*Qt=`s}D&-uLwT<70g!%-mw!L8J3LBvK1< zFQYC-%_eQp1*|1tE5^mGb**3xLmH{xco)~^^_MHyu(<5T+o?NMZ&^d9iXoiyF&3R8 zoR_}he~+;R&|pYnRGpG|gb*AZ!v&Qt1k@}d)|60gKhF68In1|an^@f^C-sz;Am~%R z*eyZpRpei06Ot)lR-2Hm>1Nh1DgnifCIoqZP_sV4rHblkM>r7{RZJ9NDGOMx&)a*k zi4YV`s!r19J$>XJ2A-vS%hw5Jah*Ab10gQ5^7Et{gTd}XS z-CyO9EZ=OVb%@i9w}DVEngH#`S-1rPjsyR8)5lPysaZXOl!Ml-CwTnRdKq;4+Ol$U zsR4iQlC=HdMys&~?hFY06|&82+=F&?>qA-HZce_Mey4Ru#56B5a$grmTay7)@d7W^ zLn3pXw%q9T=m&rrD!Bup@6Sm8qB5I=DJmLqd%^Wf(A&i~ZxJIbCiIMq-CiEiCwRzp z{04jl&^A3$_ptE^e(0SmxQ5%3Pk2q+2;*syg738w_5+K80w~}c9B#M`_&*JM>-xMA zwjXOsbh%zcdq7JKr%B4qHv&;OW(%SK{~eGp5wV6GlZ6B*w9-b8W4O*OR?s+bVx$7{%vQ3jX|2r@(jkS3qMJ za@(#uGHq7R7;+l74dx<;HueNs=YhW#&}3h?^{884;!+khdcjX$UU@JVAx6K#lk-dB z6HHlkr%kVsn8`!9Pw15&32x#?YqyLi=`m8&U%Y99&gZDK)2DNt&cWhX@ zp0CORBNV|8>BiAUu6^P#O&VCRx4AOz1JU0czwyB1M^@qzylNCZ>UB}g_|~%@cO`z! zM3&|^N%N5|4Y5Evy;7dKV+|UfPp~w|0(?Fohyx|O#-uvqDKH{m*>VETmr)x)dHaF{ zi+!MsmjBrXFU2aV7{-P!QOP4#lU=KkUcgN1jL_DSmDS6@rHJ8Q^wfS4cMGwn6_RV4 zm8!3BD7{fymQ`eZ zq@p%bG84n;hgR)enTUkk!6F(r{Zj}&Tlw3({DRI!J3YbY2eKGo(N9v8Ereuz_Uvx= zRVdtn$Y7KE-;qbl8>yy%%)z2Pyki0i^!=$~cy@OjI%F zM-OCokGD)WJjQ3JFi^OfoxX`A&DEkv|GRCSlFtIFI2tqvgoGIjwGgI61v8btOtTiZ zWG%lPQmJ&zwT|hYj>ic-VFfg6u;=;}Yctji8(o=_JuQsWm0FMTbFl+LCCK7)66GtY zC-IRtyVm#%AUp~d)R^|#5f)vQ7Upc0Hw|TWaX1E=`DCibx%oPFq=()V3E^OF!C0_3 zKq6B-mdr>V^40zJ|0OelI!Z~jI(L-rgQqC>5xk5d)nK}`01-c5k@}K>!9I?5jUpy& zyY!8bXKx8Gb{Nq~2)ejM+|8lh|=uYA?yk*j0H7!R?JzrsM38 z8GN73dOB|uT29oZ*!bpdjR&ds=pdD1@vdxJw)cUgs+pBRRp#+GvkdctIUNxnDM@9~scp15Dj&yVm5w)IY_ z)#=8Q07d?cStON!eUp6oAk379OqKb3Bva3Lk*0a3_%U1d-ugVt`PC@p&fJRd6CP+! z{Y{WBmY6SpO(Q;D{RAf?Ok07l2kw!??IV@RZts7D7o_x%tsDHY z&pOKc)gMlRJlp4Zl%GSum**E_PD2iSw`oOvanDgiYOM1e)*28JX9x~ymSLj(Wgc?; z{xOdmvj1V8Qoi$lm`9jCf6QYyy74m4PqY7F9=p~5n5QZJWu7MfV;)5Phj}`_`C}fp z_?LM)zWRrGn&MyPxs5;O+1#1G=Lc#$)itj zcIew) z8wI+@>IR423dp?Y1;~Bs^L*fd$4+1g5jx2JM6@=9Xevb+!to_q5DK^3 z>4F+zoZ2hu97@hj1Wkk(M5d2jgGKrYPz2Il8ycpo9vC{b((smfH|ZMr%i(yq&B#0% z!y$bW783_`(-^}Lz4TapbjjXurr9kquo@pKlKKadtuJF$&Mqn6aI%P3EO#3dAC zvhh@}V@{CCS|de|k>RncgbufQR01Z04C!FmJLRRHKWXM^V)YpCapJ%eZ}i8vGe;mw zzj&It_!%v{Do8;ut12J!s^Q4GEMPFI?w-Hh(G8#chs+l&SHHG)t?2KCDK=E(`dyQ> zDJjcIUaczFbqFJ)4pzY}|4j~%7x|Rprkt@i7H%bd@*`5rRvc=4o*r~DXwC!vc%hgH3yd)zC%DCTpnklY;4TfP{5pv#98B!2lIlnoMP7F(UG@0_o zHmTy~^FzN9V6EbZcDg$tYSb1;y;%dLqXKovm$${^n6~e76Jfpz81UJsu-v#~=SR&J zzw8p|Ihp)=clEH-4Wk1E;@SjV%cFXz7~^xN^=Gy66MGs%K`joR)`cvvdgv(9Z8y-4 z5v0e!EQ+r@f}Gp_w)Y`!!hGr&1*#`9S9h`zK-+f|ju$x{3}bP>aPJ59PRwsW@}L6c zF(BH5%%c3)X}#h{yraccO4=73!;Dp!!Y$aaj^J^4IKxl}hhB-*wp{I-LB%cxm>?p3 z=SFgk#Gks9O@p(g=0Nf~DI61MIy!_`SRFADrbu8*%sy4dJ~npeS_{nG12ljv?rST8 z#E@dbl+rbs?1$Ck?%a!hTH2&@YT=39Jt3A-$Q+yFdf8or1i z1e%{#iT+KVcus;)z1kY4<#G}jYab-DianUzXWFOe_N%8}B$l3&GP(K~?|nP17IJBj z3rRR6>2s1|_f?RB^`#cV+e7{5w}_s7VEPrnXz@zG7znXWr$Dd0rO%VrA=DxaF?24d zQ7avIAB&?6v*Ui{ueoK+p`F3-ZZ8?AWG#mmr@C=3&x_hnpb37sJCyE4w@VN7s)~1w zq_TDP5x#yBwD-`0;4QB`&uV)^ZpJG_cmOQP1vtr()>n{Nj-tvr^Sc%5%M3u|Hrnw0 zcD_Z|I4b8$ZdJXBn74SAa@w>yMaUs96PMNLz+1t21gertK%$uJ^$Xn!Mxd|w+4 zq+U~^c>Cex2&Z#L0{|aQTvN3`8ie7(BvUj84aca3y9Ilp z@s~UdN1cxS>Qi~dz0W&TSlf+emo%=){zYu za*GM{Dg_slu?S0705!9Ww0`ntLnR2x{vBt*@NxC_dHc(dT^!F$@0PHuvNMK#+X_nd>*(m}*newyYtrnpBHT_E2E)!=Sms+n-zw|CiNRSzF|W$Tx&9_0qAv<)F*K7f%um7V zj7fEN!wMGhFE{Oe2W*9Z)AuSWbhk#O>2iB1*B4)p!@Ovv8!big)xHMPDAAH@Yu{+$ zENhk>e5aSx$sRT}!JP6@iYry&uc3VKy)`_PHNQ!n@eULGXCMi~i62X+6whT8BM+TJ zXczZHE<<5+aP2kK@8o^{KVwli(O4{dCE3<~m7RE6%ZKo! z$=9t9_RnEP2|o!ZmacR$EI*(uI_Oysv;tqb|BO4Sgb(@FbWedb2w#(IWlrQ$b96e@ zo}L-rIEND$<&o94 zi-hK{{Jt{aVma-r*bqv^HQYAlcpZXkKl)F&-bb%6cExgRpxTw{#NtmJv(kct;FC1C z|IabzuS~nMKT%axMS96xhJ;8^9%tqKe{JLhcCxP8Y1!@`RetR>PWdkAMC9M9w>bt9 zH))En(XdDyFs%^-e#6&`TW#q_nj6NE!8`rNd`(N@$E&}yB~ZYoH}@7lO+X9@4C+Qw zi}K?XBjtHXT7P)&r;*+V6=Bc4LC;8@UkO7`aegQXpgn^ijDExMuUA+Qp6*!z`1p9{ z{u>-hzYg^Kx4IhA$F$)U^0jNvMsZ*eK=S;PLeCV9!hf0m)WNo!8n)!az3anx-mJ35 zhsr@h#3WpL?!^S*jXe2wvB)xlDbN!01W;%fz0Nr6Pp4Bz4m0jSs_N2t`^9oXbU_@Kxc
M(G3Nc{QQ|Lr2{R!(Rgycho&v`nAU1AMoQHYg_P1E8 zOl5y#;s>`3oX-g6!OTWe%%eH=)T$Oo-Zn4W4y+S~TUnH<`Hae;%iDD1VZrNZk>VQ0 z>HY}QL4o9fl@eC-A^wNsGvC$n_NBuxL1%MK3t!PI1tHs7WN`z1wmQU1?^iB7La!Dca=+y+S5eIE&~uA!)!YHpteFDbs^hc$#P%fe}xm=Q7~y(lgY_n0j+M-4?g`$0;}R;)K7oguU(I zRDa%AKR$b4XHnxzn_7AUdF>q&MPO?5gir&%)k%A_d0w9wMw_~GxoUDSWZn$&BZ zt;2kr0VCxN)#NOr=dJye$H!l(v+71j+duTvHSWWP`#HqE-yibAGbVaP1R}Bnn!v>O z86fzMpfB&P<>4a!4I``8{J@6Ht8!HXXDq&LtX=ECc9L^<4dxDTNi4&q5v0w%T4X3Z z()p=`svpU3d?QwWfO8P_WO!P=v30KscFgaJ9UJ`s-T>%iK_OcK+NY^gu)h9Gp#t!Q z7>(jvYwiMtcl z{%8dBbQL9HqU??qN)7tFkDjJ~Kx+zUOJQ30JEnbIgaf57x!-D5Q>_>;tf>BdDd_vX zktQ%|#%a~rp{E$XCIR!6k(jnwNYab}C)>^wg385+Hw79Kn% z!9J2P_RaO;;UhFi_8vwQ-Cdd@`rtwIiNREZapwRu!`j;EcS9_H0Kaq~5@s`4_*E8( z0BD*C<|{DFhmpBq4Uzd?T@C~2J9!jy$zA?FBG+tVV zE%!M`fw8!(W~92ivg>?8L@a&o75JRoER@Io>e( zd9od~2;M)vy`347pmTB2UWea$RmzBYo2M%MilYBW%DsLff2S2OSJpFx_n2NHy?@rb zCoKNrt$hO6Pq1Vi`E+ixP09Sp8?I{<+@@E)Mh=Qx-re&8W7yw`qWF`)T5gp^Dp7uQ zUue+3V2GX@yRB+JA$fB_K;oV!P-A{hx*|B_9D4eyEu%32*7g`Ct&Ai{$h_L_e!Cnq z7`O|?pIu;^-wl8gt|wjzvyb9bWl((b=qw6NZ%d?3jM)}1?i+7CSw(g zBuFF7M6HhG`xKY>S?1ux=_LpQ452l&s)=ivL)VsTaiYUPJlItu?sllePSud%6lqFz z=%b4#X1K8e!?JuIxsfX{7(S5(%W)lWzT9n)N#kvlFJlbV>sutvj=xj4`KR?Y&)UQP zd4P057kx6*5gM0sIg0zby~92HI?IJH#rzYZH5JMv{|!T&$`B7D!ys2(Dt8nCW}?ML z1$h$FVadRpSHxD#_X+=bVjjPEhX=1Z?0-crA(1XQH@1~1RA|*xWF7d2F&?0cjd1qg zR}!fifL^Pq$l_G~&M%L=Df+52(=bzr7Gk^S|R2a zMbLvm`O1_h?>aY+Pv;&y7g0Lzh^(vjuvHWZC3oEQ zGJrVA%(6Q{g=tAd`*J4;ZUSiFQv(gR&=l`h!m!$j$x_e7DwV{Ae21sH-x`@RJV0u^ zBruD0r^Rc(#msSL^_<*O+OFyGG}|*vA|`2ox3}j0LA7QA8u2jK;_O;$OE@QOOX!vz z3FwXUbfjc%4Zaa&xOjrUjA7PD`h3_@; zZXnv&80Y_NX*&WZsro*SKe&ZDMhG>~7f5jRbgC|}+;@3}bMQZBpYk(;YEyAd4@?}* zUR-rRt6S9j_}zGMfO~!UZGa3NYD#GY74M@c0_osiJh6z_dNc|kjL50(S8*dmRu%kWKo%2IyY!zFs!f zT4*w#1}K`nb29q9xAGxOfii`|=6}F5$rla~K>qVKmqke?gqw}XGHe*e z?fYlyEf}@;@Z~4q+VGLA^1#`MYXphzD1Ims=)3#5Z%OUJad*76cmdMk2v5&-(CvF7 z$Pc$jr&7FfNFw$yA!3D^rH|VB4}4(q08o$>R8@eOaCVUfW?MxS0I1AZem7HGx9$2Rou*i4E9)?b6Bp+sB-@peRMKQAS znmQGSwop>8_bImy-Om?9?D^qsSQeNjY8CzkSV@iO8=UDPuCVQ!jViK)z4iA`ivc#E~bA)$Z z1nN9UZrIaqL%~)u{8r|XlBVlsPr&BMX?lOB+owxdX~b=)31hC^_G<`kYrqxv_$6Lo zAL}av15kfl+PRasdRw34=vR^=z;RQv#zMl#LnO;?G;8G7>qslf)v~1QE<2c?L^t$A zUSP6Ux8mtnk~LmaO|)(#_7dO{DQghDkl|DveQi3$E@nx1IrBnICDs1f%2_^0>?6_X zX4NR|H|ONwEx|XaQ)59D)jKbfUVHjCWW(=wy61i|6rC>}A5QzRziWf_8~}UZLj9NB zR_#5)p=^<&m5wuQ6D+cA(aNnqB0g{KKw|@XNF*wr@eaN!)EOCyMz(Gta@mSt{Hp0` z*t}Tw=e0uPvs(3=qwDa}F6QOkT@t}3&M%MWo{g9@p~h852NT$@JvIj;Tm%)s(KbWB z@gy%6j$hrS-zh8WbS`@A@p6DM1>1a&kpDdrmca8;so>*$QGb0K=-Y&cX-YQckTqYm zmp!d}T%<`Vw`N68!36C?o^ImzP0E$s?wO$^r45i*@@E`gUGeT$_SVIa7z1?Chm@P} z@zl_>Uhi?gcQ;V=uh@rgWVW`K?h&?|xBe^gVg(cLTPxHGT9*yGw6ZA`)&<1VdswY2c4{0B& zlA2TWRSNb<-$4!s&&hY8!8M(3efCgOZN&j_bzvo_$b<~mT%r*kSm!Sb}x5{t+&s18Lq5sI3xb4W6ns4a#$iWjG6Gbo;Z$4 z49NlFe!~mPpBvz@!BP_>mhkSb3-+pNhxmBKR-Jz~&`(8kgAbFFE0qD-2s5Nm8JibK z)P16J0%wnMnSZy)t#z6%R~An5wB>W^?&@OYnp8q`o^Dhv>Z;$f^F&x5@aB9@M!apU z5_}5;=Rc3zJ3A|TSvk@H!W4grEHlN^^E}@mUbKOHnK{tWZqm+hQVFqMYVm*VJ{NHG z<b?KUk3A~!>P4dp_`hgs z8I;6X=MQyXd+T#vaq2j|^kvv3EiP!uyfJzu>TV*`+d~n8`@+Baz|lw434X#9yU3nV zGU=lL`fIK4Rau|IiKpl>9iUB?hc8iET)fMH-9B@fg?VUbzIm>?*2p>N7hTAJaH*7H|NOOV2F;2FByH+KE*_>EDEmjm`!lj;?6@xV}}46&}=YdAPz~? zcAbd_BFYO+rIuzf4)tqP<;c6%a!%a2@@PXr*x-;y&%qh?-6_~g$#6-yScoRYyTPmY z$9&|VxfbJ_m-|MN zJ)QKYDGU;jz<_+s;fs;~6g4u~;{(yb4=(@Ei|!?WKyrCM^9B!eW+CRJQ}33reZe_F zgYUhwcTR>3Bl-%l$9dtW=te7b>g4MZXZzet(9~<}6pEoT>QHB8n-lV^D}6KFa$O6% zwQ2$j<};~hQ~w?9qEZRa>dOiw1reCC?9k~#Ed54tt-W`}?rL4n0A6>dyk*<&6*bkR zpiODL?g*L<%rFeJ^T>-a+Kw5W>+O1(Fb&-mOm+Wivm447AheJxHSy*QfQ&!ldpK>GOO z6X<{Pf^S~+%!IRPE{bD&!!r*4Oj;FT2qqOkG1wy_X#l~ryab_myf5NOKTRoeGMq7F zdhyX$oUFa_x@pJ6sD62S`> z(_eHn;pghO+GBey2kY(r!#z{aFJs-GjEn|d&DzJxXq29ld;{!5TiUg~^b-bWy#oQH zhGj$WeUhk_O*!{Mx{;SwJ+t&?H2t*=({L9UF-f*!?EB{w9S%2+_J*c3QomN(Lp0y6 zE92`9lSiOup!b=$l@rPINgCwI>~0MF{hE!7UyMB!%% z?~EVGb)+xyia0bAx^g}-eu1w?Lz7{DkyGRKCLe?H)wvVI@j*gRYttOVb@U-{_gW$z(>{Fj(~ zmrP{+1&rb(_lTp&g#_Wo&Quht;e%OoXmkD?@nEFp%d`}tloEPjx%V+rbk+OtCamkt z^^?59&i99ksK>2J^q<2{I@u?mAGCUEu`1AuIqpgE(M(;0d`gMjL&sMZQ9ds z(lf4he~>XPyFfD=I=$t7nwJKkdOqT*C3qZe6Fcm zafgU7xf0y^wNbD(%)UY1adRk z*yz$B^diqlRYRTi0d8PJ$-*4}0l8gRaTfRR?su0mbF*hhGzj6~&E7oXXUq>wIRB-Fa$QziwfSoISRVYr z)H01t%-(3n_&OqRB<%SZvccBfO9XMt#6uXi36biF%p=i>W0y=vwzT%E$8F;wx=t6+ zsW_5W({^AGk^XP#C-!9~*%5vjePp`vC?s8zHacGI(L^!+mabYH=&w-wWlc~ICD=bL z^+M_`~%>tQPT=F?bxgzd~VLwDA+e-jvk@#P{rq=u}?5pMzF`O z7TOPG-$IzQOOHKZHf0CE8{uiWVt`m{u6Rcc6e5q!{?p#>oDND7JVgyhspJwH{3vl?s1~;k2BlN`T>Kh9-i` zk3;qD6^g?V98=@nCaHPxj2?qZ>I-Z1z$#*mbr+%tAy;O=4E(GjS=C7&@;nWpbD-p& z_M*qQH-ce3F8<<&G0OBiR5SVV1V?Tk5Z$U;%Nr7R69=&UWLc+ds<`#%Hq5WiTT)$_ zAF7tqBRzz@_alTER0L?^_s;tH49C*)`qE8XK8^)4K^Mtqs5KoYgLi8_oYoy5gZe(v z?YRid3HPNCEQQX?*ef7l>iL@j_8pFw)paAt@7PQklxN;7S}-)G6O#~-N8_S^W3x|&k#EokH=rkJB0o+9eG z9-6#7D@XF$TkAG%B-+pVB&4#0@{#tbQW@>9cDa8FnfEyoY~(t#(VmNyBMsZb4U{DP!s&c7*9roO$vsLk(SADN7_Hg`#o9q%Jb2A9j@x z_1e@Rk$jTSMunY|-^CT@q_cG`%*4#+(*9u7-zoUW`nPc4&PWNYI+C*5@pxm`Zt!7# zEH80h%p?7jF1alrQMo6X50f95%gkr50${I*O-8-9QsNe+@>fSwruj0CZybnez>VWp zK2eycYnn2X(BisKlDa^P2K#hr8D-R1Ru9YpEe&$`FBqj0#*Uw3sG&u`AZjE;v&!r8 z_dK;^7A27;6fdd)FK#72Ofd5y(&cSU7|sNsSH}G=3ow%~Ll{JR{@uXUjPVJQ%*BuK zT_T&#|9yh)!iUEfs<&l%M7{~uY9e^{nEz!-RO>@no<^_H!VfRd3%fh%#e4jtk?oCd zAYwGmsc4YJ_f>|0)j%} zNoIYSJ@IbFGBk{9Thca85gTDV;O3tAEO}G*hT0Toh+Yc=t=EI>0G!vx65x$5JxTX_ z1=FM7b@o>ZnhSjgsD7CH-6bG7WK6Px?xO-0<%tj5wHh1N_$Q{E+=A+Eb>R-rBRZ-D zqPF(8XZ@`Z(XQ2c}aU_^SJO?{w;P% zt41M{O+;d2^WF1FO()2A?BDw75)0a=?u=^Se4s*>jhpq@g2xOf0L(O1U$Krwv2vm` z^I|G4`$~v6U;&nRAw^iiG)KQT zBvK7M^YwxS4nJu(T86b=cjadXq#1mjfeYfi_)hm5FrcE>z@a`f&CmrdsgWDWGpk*N zzce6X-%jI#=YlUs{yh>PlJ!7;aO1968e-)}Sx4LpHeBEKQx`%F`z9^C%e%=mc8c#R zQ;4_A-FACAsMB1wOL}~g1|QZn4Wf)q{Zhryc=_&L`u5i+@Cg_1nJIcEfUOn*b`S@^ z$ur9NIe#2eiFFP?P~Yg;*RugsoT;?g+%+5}9}kSI6G4g6lRLgDmhEsSRO>0`l{!29 ztH&LA*~oz%k)plpaS1dcQ;W)DtYT%J>VFGcs++}duQ^OM$A$RSKEV!;D+}DoI2@XqaGjgLtu8EuHcS4&49aBdXGPjt@)skRVc@r9_#Qt^O8#ro9ykU(4Uhl{u0_ z)3s$-X8Yj9o0buqJRn{x85pD~Eo(#iOeGBa7y!-?PjB2$3wVv9Gf*cc=PU2`Vg0)N z(VU`QaJ#DxhbAhKB4~+#iByYY&crQ)2u<_xHA+FEow}1`k!ogqkp}ZmCX#Iwlsm|Z z7C_22WZ74yVDts_*9Ra-gKM_GajwpLyA&bFw^?mCK2)~=4KMH$cJJKfZD8-l;5-ed zOXKnBVmql39ZEjzRbfl1*Fr*)=STVyFwQ{m??+-nhIVkkt!16J{9b>?i?|4KtKT(8 z&IKqmEj+|-G>7sM0DvC0CDI0nwHBH>(b2~G@`(o6woiCF!cr%;H@JCsQiBV183R~PW;$Xmd+~6q$ouf?`Q){Rl6@%! zLskD3+*dx$UG^O!MF)#JAwf&q-8EA-~ZM>245 z=bpnosJ8?*9m;}txbB&0jx46AUF}F-6*GR<4wPe7o!Si~g&-#olGhh(H_}Q#ydTBQ zX=ES=je|WJYin0i-nK%LCIpGpTnCew8g|JC4skekPRkc@`|8zsiFc*rHF~43;q*=# zrw~{Wfa-c0<|4N6(;}@T><&HUVPnVf5btC}xt@@s(fIun?lH%B5@QKynpX3Wv*sgG zoDPky#sVJ=hdL!c06%Bxh`h%t=&!LX2o^2NX6;bOAojo3(=f<^Dnej9z1IVDRir1F z5K(cD2yCiVGq%iri}Jw6a_4RNLK&Zs+~lPO8Fn_4Zv(`0!3CB;rof2sbmimBURIAT zzPdXeiyH$PARk$ySKkvPEh+5wQULkN&VfC%xd`2o z?u`oHOF%SpWFFCGMa`0Ehn|rKfvgtlINiW;r)rD?I-IR|gvk&w7x-!x1;x1^0ZAHL zw*5#3Vb@{57XH5cag{QAn+Gh4cp>##{!Z)33?{dtUT@7Cn3~VQ)I~+u(b)#ATUq5x zT>-)BMYG@HdF^s*DQkgZd*2`*3HpEq}dQwaf@i9|oH}Rn?-I%(7Gk z(j-&StHOGz`$;tmbjykNwUdAK@LpjMHwHYXBI+fpZ9yX;Hl)K1N5ed49#X1g`z-yNqYf$BK#jqoa*X~nh9^bS9{hbL|6 zAVG>_LM(&%;jmU+o4Bsyn`ax(0sL5UQ#8ZhyUqaT&v_w`ZV4~xbhHtZoImJeBXG=l zT?+?91H&z2;!m+Mw92doBU%jlrJdh=F!z!nlQ`%BkI&DhdsJYE3D=ulM(by;Qz z(2{ZA-o#g97y#J@FQSJ#w(}_jlJ|e6iew?cYN;MeiT2s^s%&a@F_esS)%z!fA3pry z7X;)o;e5Fi>#vjzvPdok6nAsm{k-nQQjI5L+6Y4nT^Hq;Vs|cYZlND|iksOW-giV* zQsJ@kAi`Jv9RzhZ?!1J#BmDyJ7X*WCAbG+|$AqpbHrQvl#jV-z<$fJrJ;YXdq#y;u z$-3w%{Y3B@*kTz{LI_q|h$Z?22^izTaBsz|)M3c<;48Is2h8nM#ip_XjiK45{PO@T z(kN;MYkd%-P=Iuvmr&{UUVVxWF;f5w{F^bJQb;6g5+>!!_ zn_UgZdJ4L>{l$=OnR^gw+cUd7=BjIUS<(!Hk+_Nq;PoXf88@OoovAO2WI>Qqoj~e_ zZN6Iv)=`B$*Qo$COE|&2x;JX7|@TFT$xLFOn7;hnD(!#e1JKs3i_H2IPc zLwxXz8t-C?VYeLh{M8og(ItI@5gRvk0XB z>U-P`d@%FXW$NW>74(t1L^CMAMHm{2b<#CxPdQH+d=BL1yBH~IBIUy;o*Ak&kMEgh zqkKzUXp>XO-6j8dbC3ltJQ6CSI7#&@l6pYTgq4Z2!^U8m9W*9hFF;4={NSo&GbgXv z^&T1io8X`^{xjy3dV7ilx1V|5Ta^Kzl(D%3^SaKbWB3=?S4`G0YnUT3)4Y*eOF?|8 zm8RHu;in3cYABASUuln5#4%E8NDC&e(oFN0Oq4KeMoO?b&U52Ou2){vC*72(u3{Pd zj5bjNj|BEM7W@wnLkrkcj0RzhKmk!RAe`^iH9?tx{4FZHq_S^xup9cGzmRaa2OCgV z1sH_;vY%1GldNW=GEr`?4Gf#~vus7;PY46uds$lE15@z2*J}fhdPgydf0p0#sgZ)t zomjeP7$8DWVr|db1Y4YdzcO);d^!znuH_Glt6vObH87OvM^X(yceLEUw&E2AqY8nW z_S!y5r;saQ%j~W{A1$>DR`YbMBuuoDe3lnyk}NCYhl@ry4WA=bw5OV#J1$F$1L25c zA)@QNp9@x9IOX6Rfn4nHFMzu*xnDEt!+(|ohh&n-{;m>S+-vjCJ={ki>~$rlyQGD* z{8G;Cx^i!V?*6guw8cVP#nSU#687o`51dmPInnZ6p(mr(6WPp2{$n+y@aIYV!~zrv zwxk3$J49jVwbfMfrnM)YqDHgd;g0#UA-UIVNM=%T^CpC9{N9t$8Ejkbdr?oN|JPRX z*r!Sx=+D)mj0CY(I<6eSEl*iWymWOluQ^fxhiTPY!w@yYqHEUkunl}YFGeH_?F z{$^D^Nfib69m3$vZr02VgoR!4bRgM~awY!+qI1lr5ZBjbDSQ?IT)Jo+d6iS85&!)r zLwO^H#_KfjgG%>|%m-HWzzNsJ##J8}gy;gGZdaju`Tnf;7|;w~&z z6;#9)RmtODl)O;97|bH$Na7J8>rtI_r#Iy z+ssA798zBi|!o8`53as%|*NrRZZul9@k>D8tkAkof zVuNU_v8-6U*f_w$r>8}7@!Zd~^Co3XBG_WfrHy@YoSp2^V0Y+Ed-3{oblUd=;S_2Y z`@K1ccHEYC$$ZSP6dSfy9LNl5y+qho)@;w$eBRud+{Gxq)tC)#bg`reC#~Au)7-R+ zIMb10*mVx(!bfH$K69R0PdYV~4IIm^1F?bENnJQQwcg$o!9#c}G~eX;_9O;dV3(w? zf6gQTM8WZIvx_~Y0~oU@dSsL`Ti;UwVup$)c2_|c9XS_xTjYY?1>$KrQ2hd_zSkXg z!_$5jTY3pk?MNXhZv)0otHq3}m0hB$mKI4_3x4veeIXt<3T0yy4JrYb{RYyj(NF-C z-0($r3v0Sw`k7|p@MR{lxeeB)_94^~*bexUl49?>V+D`gcHOmj^CnReK%%)#mpB`{ zoHlx0NzoV|=K%(@!WpPN5$~(9Td?u2j2)kfA~dk$Yx<%;?p0dhKEv~f*z0oFdNh%4 zzudu_EZG8RYDSH%Tt-t!!WlFR-^%lcEG)d!+TznH`Twd{3i@j-@#Rp)kD%eAs^U=p z%s$X~Pb<|xEU4302GJEx;e}UdUuwoYpeuqsbYA{o9m$m6l744I*IMp7aJ$PMi@NAB z*3CBuO;UB`<56(vi5*rzkiYDKuUdu2PzU1SA1SDp`+Lp@#*20iM0nwI{$G<5;k+2s#q?#xvjI`hvU2I z{V;ZQa-uc)~5M%*`Tc5nN(_d$;IEE$sw1vX-uQ@^B1 zQtUUoaADJV1MR>9i=aA5G%n1o3?hysdx{lSYrUfs-jAY!8q2zXM9jqErNIgT6Gutp zxVIxRcvCPfs>M(V)BCWZh3G;GFez=cHRpX|YO%ey-|%5_do2Qz33h&wa>%hqvI(<(J;TTWsw@CjLArfdcs zjUL4llw_r0WEXsVXstL0Y;lTsT($*qQhOi!J&OWGm5&%JuW9j^8*%VvTt)khh+9s- zq2cm`ZAe*0pg^dQSNB6*wa=`DhqvNUXVfoMn1tj1iV>i(0_TMoJ`Mk!zXphWrDY1` z=0|EZIuhP_UhWfF`#Q(E*l+EDn)fSGd_>^LEDWD@yb}!22U_B40h$hf0<&oFw*$nN zTCTrgujJbjvVG2Fy}_2yetK5rjmk02x-#`!k&&}a(FQZ5@n;CSpZ-uHT?@rFXugW1 zsdF$0C>ze$KLi5FOgHU7aBeZj7ib2YREE2glR@sVE2jP@O-?Sy-Hk)7XCR-sz6pAS zIS%~TBHs!5HcdB*uDcyaA#OtLHAOO5PU|L-yVQzktj4<2=$b>R9B|HUr1w|qv=SoZ z!^dKYyD3sIyqJ<-_%sVZ{SKaTU0hVK^|zGM7ylSa+)5~B$qv;qMaM^tP90;9PI?0O zDJE~?gGH>hvF~$&SF12Cl98(|K<7K%btdeZQUV}Y(GDXe&^|e<>Il?%2|9cCGwJBe z1J1ExL_!7u>o|x%`-SjuvmPEX83EuWzBVm>+wLlVrI)N|r9-7|K zLaH?j?!$Q3da+>37*E1%>%uIUwip~=9IW-BqF|0i5&)MtaQM2rzoNBNxsA+tl+l|)o9Pm)sKaNgbC+w-b-aNJ`M{eZE zr_iKLEIlmwDOA8ZyM3AMr!9;1R+3aT?ibnhWN0wWn^FSNhxw!Ztfe(eOKdz!AB`bxZo=CJYd@cYOya+{736JlpM%9O9#$f(b8De%j zrJ!Pk*Q2tGY|{(LGW`7OClb1FR}Y_G)^VkGo09HNzdww(?AO0X!@ahfyx#Y>Kl};C zN3GA(ziCCk&|kg3r@ep*(%=xdxj|1}7XScDynp}-(!d}n01yxm0OdMMG64VIMf2}j zK}lXpR9Jg_ebbgPGQl)r^Cdlfl%O-OQND*p%H6_+Kt?i2o!2 z`fry1J-5`q5e}wK&h~bOHnhg}wsdy(wua`G#&rL4H*qp_r!%&9GNp5HvbQodcA>L( zaIv(vbEf;h@BBCZ-*B=|$6v_A7D*x{x{vs3G zpN?-Xxy@CF?`hq~;kWWdzY5>>kB`=0$DptMv&#?bkLBN=!i|=5b_AZ;$JKgzKipI# z7?ty0*`M6kUt_)~ADxx++Vi!*L8u=}6KU_i=WR!O`sDq+a)0k;Pgi=E*KhfMl#A*E z{%uGm(>t~J&&ed|lRoYz^;ce6zTVU6S{qnwm0(n*mR=KNF6?Vk9(WQbxBiAbIXuZuELxmgAC#j3Gwzk64}`|e76QsSNyHirC=tKwU_f3;leUsq zAq&KpE!~f?e6X=)0Rc?+*>BNT=Pw9d86pEm3w@5L@*eEaCqXA*b6*a~a3%S@y*&dx zeM!a-a%EM?XQ`_lR^}>kr^xi5;`y&pN%P@b-!~4UK_Q^eE`qw*RokdirwR9oHk_nQ zx|7DqZ?gtpiTCd(YPrzk^r@mX;l3ey3Zci)GtB~0VZE?dB`&|ofx`F>u!9Xle<<}a zpMwLAF*`aed8G!>!Nl=JLAIupo4fkLO)aAoOzb z_4uSLE2u2y+{n^&bIB07+9>CNjF3%}naJN>WdtR^bo~>0n(3L6^Le()PzS4hV?c** zOrC8Rg^fQc?;D!iJd1lNdvLby>lsbRYzcXivzp7c(N@$icKalZ*+G=+DZpxXa2ZP` zP7iei1vJWi_F=T$FsMP_lo^&=%F+QrFRm1d5iNY&gP=n-vb+RhGOk5beT0YP(V95O zMsGLd@s%;QV+0Da8a>e?OlUL^_|vD6`lVfsuKWV7>$=N&$Ml)X6AIYkxNTaEf1paM zO9zp8B(*ufhEG?pNdZfp#!P!%MZ3;0sfV>8OJz-^EzDg}2W8c?s$0CIT3!>5sMa=t z^}KN>S=p)v!Vf(;7R4vA;mYC>{Vxin>KK zo5s3*%@96wJ3hFje>sj9#e6Fe&=rZ{YujX*%mg?khg4(q2Xm9>^A0XH*Kp_?AcaCz zWcSvWOj_#CBWvR1e5P8P5E)(EUe4oRA)}DfRzG-9o+-lMSyHihsW(U?hUwF(wjB!ucioe9Ac0W;zJEf< z1nV8SZ=K>L9hL{9Vt3jiI>b(0>Q+e>5WI}0LWJtHvLO6q(y7`|N-#{TA%-C43bd0F= zoq)|E#y>5%fMc;}^eUSW!=$w~F){^khQI;^Jb-m}ZBqJy~S z8C;KmJ2vNQ3A{UNJOIV8XaSMa<-%(pBLTiK-Nl9{5ipyLdU^Y!nCTgP(5;M7$BTy# zao+}YY%Tro;F?r7lQgp9DQG$q-rqC$08@|UvF=JDHxBfAbHKfW&V6h~gI05I*7W9w zY|XzWX1Th>$5?K&7{!@v78g>{Ta_Rg@+4y{Yc5ORE{p=?iO=8+8svz0yV?7Zu|)a& zGH-Wl=FK6QE;A1<3J6qRBZ(f#&kcT*--V_csJX$m}N6rvo07X{eu_jOX6R()w z|JJr(ZC-{@o8Pc3IP^Bs%0LkP{K2*!;U`?WxuOfC)R0eLp_w((STJ}l`wM2rXb6?i z+7x0JOn}C^g*~ExDX;IZ2Sp)(+Gt485Et1$^PA_p^b&z}1p{AwtZS;)1ty(tjVNxk zRwFefpixv^taSU~6o4@$CvfVcQi`1N96CJGXcIN|s+3RzjN~yfm^g2*uc0Fh zbg%2n3O%dZ%Y(Sg(s~NHYpiuR{OKi}?4u3}CX7c134l=wSB^ zgRY$^X!0E;ksFfa4Wz(g`=BuD9C12s*$rign^8uh{K`jqBIsPsOa10}+0Gc<#CD;e zQ3i0^tgXIw|F~pMN?b&;r!B9ETe8IbSP_!^(^8^14@oZna->WO4FRge5lN+$NZQ zvsksY2!2r`EA+&J8HWvIAE6;fwpceNNHRe=q-eqZHr7cf4*JQ=+l^uD3g>)5Oa<30 zNd)c}u_SvrTLHKHi9RTV%p7$+zG$E=s^dIjxvW% zrb5Rb544@OKNW$F?on-k&bCdf%w8?#pUqO*6#=PG-DsFw%512TdfM|KLP3weTZ(j~ z(;JO$)D$*4{=NRrIMdOLD-+8COA?*d0<6;I)_s0ThHj>i9%RXr%v!TI1$-g>j?X3n z`K0-wSVMqH)SLk`i8qBcO(G@@je29BdM`H~NP^bS z$a9nShS_;8GV-0&%+zPh#}mCGaD~OyhZA_Le;*qUu>46Vne~__yF^R3HkS&Qr$F>_ zfXWUKJ*Y7A4$;4lHIG~eY!%tSkLma7ljbuO@=l;>hQv(hvlp$xgo6cXgR_`iXvLX} z`H?Bmb+{A}Yv#4#uW&6F0x&ILFzfUbh{*)}^`G7rZ3l;xthqy*{5L3%xz4CYvP z&~Fx8_kW3ybV9`hFH$FDhO-HLU|Jqf@gTmaqLRtAD){=cYwgo(n|stMba~kp5{hF- zTXc*G6@cbC#EZW8nI6}BZuKtbwh)ZL-DZF^pMpNf0pdLwYupC$$~6sm0MEd`0brsu zh5-xPXg;S}SgW!8F-4Q);&To{+bj2Z0dOOlj{Pb!k1d#d-cdIv=OXfM6{hj+%qSBagRV0S&8qbfGM1>eIB6W_ndX!sk1FTVc4c)JM39~#3>9}@@ z2P?hAtcPymy=aTJK_g{W)wX0-9$d(#r;4c))_D=DC!2x^#Jhp$hvl`lMuIvjup+RR zcYvg$$UUfP%r=DZacrf)j?KdCdd2-B?uxPnI5;dH9!z^)o5;HfCx-JpGYq5f{6zCL zHBGLvm^x8vW=KPE<`S*lra->Twn@Gb3_3!XP3B4p5Bv+2S;HE%H(GQ+u#=n1N?MR& zA!}^u51KNXqlFRdsUz@LgrL-Vz?9vQ7G4-u-yk1&pe ziiC=2j0!#?^h6AhGW2XuQ;bk=Rpg4o)#kr#hNY!`bh`sI#}T#-s(fQ3KnT)f5R{`d zE-{423;PFdPaOU4C*BPto2l#(I_u^q&a)WUq!50>&i3Ksaq(;tMw&tln!8@)wT6}{ zl33cjk=-J?8!*Ot{hx}RtKwaB>(_mi%=|A~q{oxO)lZ37;pkM5jtvYK@bWiW#$haz zJdI``!;`o&h!wX|O*+U??rB0vk_q0IC=CF^0zr1KSC%C;T+ET?atg$2G$9>2J+DGw zN)@RiP^x*?#Unt5gq{MeAm~s*Yo5R1|K_juIW1IziYD3Xa~e-?x0Qv3^xEmBQNIGp zVb@3vZjl7>?Vfq$!YSrXvN>`zu`k5M2eYtg9w2?DF-62qZ)@+YLJ5Z8K=ltoV#60Z zQxcqC$Cnw!+wAWf{eO^!q8a->Hv#|vJ=#Cu@xS5_q<_dl$@CwUF!_feob3OR2p3CJ z=V29T`z!{8o=57qfn|tCjYA2X43^N7IW@(i3i6}o&|%cIv6q%@KmEo@vPxNtzZqrd z#Svr$)9l8(`>ADX0up%Cvs)iXs82V;MNQ-wThuwaMOc;F{)f%B~ zH^#+YE%7`%xdV0jjH_S={b%@nx>exh%?d-cUi(_q3UJg~OKpn<9%hF)|tDW?%?5nR9q)1{I3L2-F!!^B^3S9uom|R^g6&yk9%R*(X(%mynpv;ucFWYh}3oirfW-FDQE0b)ME7 zOMJl+GMpj@`9JY%FS^~^=7+?aJ&^!j6McCClI#TBs20iskgt1vot~d{s&=o z01%AM0RjMgg8gSc00Qv?{69eU=@BBT_Af5M3;;m=U(EG?O0$~RCW0vb{0LG%5$UB^ z>0yd^$dXNVyID}wpg|Ez@ummEbZ63C*pINA6hnI}DuUptcoFeXy?PMEgMWZ{5kJ7A z;z1Na^bZhxlkRS2rwRD+!el2T`Mvjk^JWHqZ}@1OpFe%^QrR+WS~J^~a>bZqWrNxE zGOaPYY|mL%mFtVFZY-+66aA;=mlD9*L4aV0h_grN4h!yTU-Kh}`mI(f$`QA2S*BU% zcC~7>b=_cQg>kC4Yc|y#UAJ2?PoiGz@D?g;gryQ2VU9;wz`Hbv821TFwKT$#kaiL` z>Z+kNKfH0)_XBL)1(+>_R^10MTD|K9ertfQ4c=AAjmFydJtz~t*a>jF06BHI2hldQm?fdvE)sw&d$BBoynAdgy7zIzak8Jfcz|DBj z7*Cwo>vW@7nkK4;xA$*O?%f6O{t&=S!NVQ=DAR+v5To*>FE9IFMi zpGU{lL8i_USID!(75Xf3g+NPOS)m%+Q$H69Jv0H-8c)-@Io5nEg@YPYNjiz^RH&`Z(?BSOJ+1Bjr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/kerml/uml/src.uml b/kerml/uml/src.uml deleted file mode 100644 index 9c18ea286..000000000 --- a/kerml/uml/src.uml +++ /dev/null @@ -1,776 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/org.omg.sysml.site/README.md b/org.omg.sysml.site/README.md index 28b48f638..a89283b29 100644 --- a/org.omg.sysml.site/README.md +++ b/org.omg.sysml.site/README.md @@ -1,4 +1,4 @@ -# SysML v2 Release 2020-06 Eclipse Installation +# SysML v2 Release 2020-09 Eclipse Installation **Requirements:** Eclipse 2020-06 (4.16) or later, with Java Development Kit @@ -10,12 +10,26 @@ 3. Select `Add...` and then, in the add dialog, select `Archive...` . -4. Navigate to the `org.omg.sysml.site-0.4.0.zip` archive and select it. (You can give it a name if you wish.) Click `Add`. +4. Navigate to the `org.omg.sysml.site-0.5.0.zip` archive and select it. (You can give it a name if you wish.) Click `Add`. 5. In the Install window, select the `KerML and SysML Editors` category and click `Next`. 6. Continue with the installation (select `Install Anyway` if asked), and, when it is complete, restart Eclipse. +## Installing PlantUML graphical visualization + +Graphical visualization is available in Eclipse using the open source [PlantUML](https://plantuml.com) tooling to render diagrams. + +0. Make sure that your Eclipse has PlantUML with SysMLv2 extensions. You can install it from the update site of +[ https://dl.bintray.com/himi-sysml/plantuml-sysmlv2/updates/1.1](https://dl.bintray.com/himi-sysml/plantuml-sysmlv2/updates/1.1) with Help > Install New Software + +1. PlantUML visualization requires that [GraphViz](https://www.graphviz.org) be installed. Visit [ https://www.graphviz.org/download/](https://www.graphviz.org/download/) +and download the appropriate package for your environment. The recommended GraphViz version is 2.44.1. Make sure you have initialized GraphViz with `dot -c` command. +See [ https://plantuml.com/ja/graphviz-dot](https://plantuml.com/ja/graphviz-dot) for details. + +2. If Eclipse cannot automatically find the path to the GraphViz executable, you can set it by going to `Preferences > PlantUML`. +For details, visit [ https://plantuml.com/en/eclipse](https://plantuml.com/en/eclipse). + ## Installing the model library and modeling projects **Note:** If you are updating an existing installation of an earlier SysML v2 release, then, before proceeding with the procedure @@ -38,18 +52,6 @@ below, delete the `kerml`, `sysml` and `sysml.library` projects from your worksp After installation is complete, if you wish to turn `Build Automatically` back on, first go to `Preferences > General > Workspace > Build` and make sure that `sysml.library` is before `kerml` and `sysml` in the build order. -## Installing PlantUML graphical visualization - -Graphical visualization is available in Eclipse using the open source [PlantUML](https://plantuml.com) tooling to render diagrams. - -0. Make sure that your Eclipse has PlantUML with SysMLv2 extensions. You can install it from the update site of [ https://dl.bintray.com/himi-sysml/plantuml-sysmlv2/updates/1.1](https://dl.bintray.com/himi-sysml/plantuml-sysmlv2/updates/1.1) with Help > Install New Software - -1. PlantUML visualization requires that [GraphViz](https://www.graphviz.org) be installed. Visit [ https://www.graphviz.org/download/](https://www.graphviz.org/download/) -and download the appropriate package for your environment. - -2. If Eclipse cannot automatically find the path to the GraphViz executable, you can set it by going to `Preferences > PlantUML`. -For details, visit [ https://plantuml.com/en/eclipse](https://plantuml.com/en/eclipse). - ## Working with model files 1. Double click on a file with a `.kerml` or `.sysml` extension to view it in a Kernel Modeling Language (KerML) or Systems Modeling Language (SysML). @@ -63,7 +65,7 @@ For details, visit [ https://plantuml.com/en/eclipse](https://plantuml.com/en/ec 4. To show SysML diagrams, in `Window > Show View > Other...` select the PlantUML view. The diagram rendered in the view is relative to the text selected in the active SysML editor view. Tree (BDD-like), interconnection (IBD-like) and state machine views are currently supported. -**Release Note:** While performance has improved significantly in this release, there are still cases in which the processing of a file with +**Release Note:** While performance has improved further in this release, there are still cases in which the processing of a file with several name resolution errors can take a long time, particularly if the `Quantities and Units` library is being used. ## Initializing new model projects diff --git a/org.omg.sysml.site/README.pdf b/org.omg.sysml.site/README.pdf index db0b2413d372d506f3eb03ae87acd973b055dd32..befe3927ee7d4b8bdd2f52a64dee21414f2d5b97 100644 GIT binary patch delta 23136 zcmZU)1yo#1(=Ln?+}+(}1}8{DaCZpq?(Rcy2tL6B1b26LcXxNU;P&U_yx;fU``=l! zR#iRKRXww3R`=fZbZzcHZXH0z<{|>v0bBr1AOOfwRn7V&C-j-#NLGgQAp^Yx2c_py^$3nfDil$iiMVohn$>~ z@4p!U+<^aPW9Rz6zY8+B3s#B>$WG2qu8hd0Z0c<9>SS!{Ob!J8i+r}Tvv>Jpa)3Y6 z(?J1&U@Q7^s6Q4QJTonT@1HT`y8ko(-z@)p5CH*1Hd#|Ua~BJ8AONfc&kdr4_zDf!Fb{q2JN|gU)*Ryd(Sdw&#H@_v2$G65WsYriVRywho+*HXqN&=@-zu z_w(t7UTI~)-NuKRm#c~$;RukjMnN%do%LIL>zna&%=^oA3y8tbR&SB5N?@*AeL1ne zPFN=AM0r;2xu$w8GXnH-eKOK=K9fo}0%nq7NKoB=0W5&*)Xx!F5D!vuu-{)plZ3fT z^ga10T&Ev@NIm=ZH|O5W0ndCyct56Jj`+st&C@VyNR`MTfJiG&GC-jB+gssO?VFBZ z=C`uP4gHAsmkP7-4TbY@W3b=D-SxTioX*4c3fcE_EWbm)=Xtwsv}(ro*Y=01wh>{R zjkjyc)D>;+XRGn|T%x$OFn+1L0;*!7se+r0q#O)i(l{ileDD6B!_x8+#W#|3#E#CK zW&%dfILRmGI`7=xuOMVU?KMH;gN>W^cT&3a*qu1EH`}|H`#s%>);sI8GKdQzKcY9% zR(P_l4>zL)H(_V+=U)3aI|o$5Zz;`GaU)@e?ghXZ3?CtpZVax{GS!*3XfGj=XWtt< zYfj*5@REQ7Y<60K5Q1;rM@X-p+3ymYE0>5+-nO9}WvknyI-sh2cm4Obn~J^|Vcd)L z_v?xG$H$6|w@c7Fv)@b6!%@L@&%lBihZ@fp&&tZcU=rq21H;F!iv=K%@8fS$=ER!a?%}8kRXSy>0(<2wVINk3T7b{NqfC( zwO8Ht6QgZw)CJlE{VwPq^mR#Xdp5QYiJfXPg8@)Xg_|4>8v=ej&VJ|~a21_i7+a&a zh?i^qOq~-3(LoFtPPrzOP#0-8&)fwk+O-^FX5PRx1pmjN!@lIugFsyN(1UH0Qf*cA z;S@shC(sFiZhYa*w)xBKLXg@1DSpfYl{VqGl0;YG?W;$wsbp9k$PNj;{jX*rV}qyF zTb|fDMC*ZsWe^~S8v9pEVMO~nb2RumlG!`LLRG~14ojO&@%c?`!Ntj{S`hvH6lDtcwd)cmfmB??o@f$6 z=pb)@iOc&|%!13fka+|{-Da45mJgVRi6D?hQ2!jf<{ad_y(tEVx4gB zue_qxP}vHQaqa#ddIkb93-wY;S%iC+tV(etzQxTOKPIFm57_nHetUkEDxhxyr|?Z6 zgtD4#ChzsTHgXtYBSrLz@S&vPO5-YXM^>>mOcVqIjh#>|E|L|#cz@WB|K|CN#UGRk zFC54Md?2tXAfJuu6j)>o*6`26uSGzx&_x*Jv3Nuf=ot-UfVmids@51Day6XgJf!J@ zz`kjP$TbgesxC?Y2=N@lkgFNJ)=iHVj5~bZya@g&CS(92iQGUbh45a?eo_HsNQqsI zrU38hDxq5KJu1RK@tUEj9x+@&9)nn(J)(~JnYmb_fQCPlFAUa+J}lEfIjGqe)Yn{^ z(8@!MV4i+g2#+r*{xakQzkgVq>c7jgn4=Lyo1m@y?S|n!;RM0kwPNM#Bia5)`3oA; z)uB2I44>_yyj&S!=#_z?)Z$NQD#x5B1Vy6C&>kFtBEgp?WPasF5pFa@6?>4rx)cL$ z@|H0iw8e3p2TW+vCOM`}z_)%cX2TQ%oc<5k?r79IU1p5sHmH}1b>K_qq z+&-O|T<`qq25(Ga@-cg!9Ea53ri7M|JjmC9!P=jDe@of8`gPppaT`fN?Wu@btzaDu zP)7{@`N70YG!g1qU=|7ENQXcW$Ns@|cIzV9*y|=%gjg^M`f^mguA4Fl$EKwx9~GN0 zi$s>Or&F@m18F(;zD?jB$CSlFo*`63A=JKCHVe#oIRzCF<0S7H@<8@CX|8lSW=?+l z^ffa37~7G_x;KheesA2ESSpeg7u{iU3QzK;6*+e# zOpN4{u`~R+1LbyQ*J9G#Az{CO%5rj@`x}pk zBb=T$HVnl)ZKf*$?ZtFPdY-DsU2`j%L_4ij|` zi;nL%A3jB$-*Dt1coB>(Pq?`mEu~it#iC7SE8pA0h4Y{feqF+xb0-W*p_hk~(1+!; zque)z#>HTss)8jtAq|h5c|7fD3*=eA{n-J)KAEj6T_|>(6#RJ3cfEYQ097V$L>|t&kqMDY4B>wrsZ5jA$g&)9_! zSK~RJFR6G4Ak!y0Biay+Np09YXoB7ebvl?NtG=u0ST}r`4}rnZKf)Hodpl!pLTVPD z$8b3GR@Q|_lh)RSOLw2EG)S*h5OxaiK~{J9m#P_RTKZGqCAwU7EVCbiqbhA)X1h&W z&>EcI@xgUJ2LX}&4nH^URp|YPQfXc=kTJySQ-x?6K#JuV{)Of>X4^q#W-!*1j?lgz zSVukqkb|Ib74s{YS4sL&$FLocD;2XHF=r^Hql#ElFx(4Kwo!m8)Xi2`69|EsFV6@`p{8h1>>_*U ziDH47ImO|zn~!#rWj+tzePB`==g$j-r2PIcICWH{g$39W41%Xj+1N#A{GljCJQG`J zs(6HGtD1Fo_dQ147UL8Ngj&nuAN&YSBkrgKQd~W8+F3dP^(XYo!^ zTIL}(tFGfsf|CK~Jw&Z}6O3Cq^%&b-75VZLWUvr(fgWm}b{9g1b6C`LyUK&;oX0nR z+4e)QCcdP`^|3{(RT}rlZoEk*5RmJfsdi!0(Pn92D`Xv-)B*H$sJO%*^#-;pfGn5=X$6_zm!3Q#w@=9IusJFQN-m;!gLPl zrrLdl%_#CMAomI=8#RloLsg-pMDzDl#gOm`h#TbK)MO!MASv())niuJk`w!}tr;~A zmvOrb&sL10(u*+{y&|-;w#}N9h)%ab=1_9!4m;W}+^dU-9c5lG1g#6-5;a7%4Q!Z_ z9Oih49?LB!6O5Ra^Ap@!vFDzt_7!*8!yGm#>{wS=;+}$V{isUP(4Q(V$#CC@R-sGu zM_1~NSVxTYlboDbGV5%Ui=Gq&mVYAy?Xnz^-bh#N`e*DpfZxNrZ#<$m<%?TDUlw#s zviKq-2*(C*8DP{qIV%jc1~h9IRA?ii3tgkXEL}AKXyyt*+;`!v>h|<>^);9yMK8i}ZN9QaUj3XYz8h{@$7Uma zT@Tl*1V^dcl0i$XcHaw8Y6lIfRm1lQe&`rz=>X4+vc;o&qYM!pWQ=TOQ>q59rj>G5 z3y)!Cy(K6a00}Uo`lGy{T4P534?o?qf0!35k}Db0D>g-LevCZH+f_wm=kVJ?)-yS3wt1=n+=71 z7R`DCMJW*+C>;b39o{Vq5`qz@lwFxVmAk!eXhk{XlO_48gNUFFpQCOR`Lm*XR}=Ul z?bm}E=N9L*T)2GuPzZ^wUMB-zoCBuB%MLRnaZXHTS2db&U=7SKRpdc{rji7vHIj)2 z`>p5YiUSEb<;k}pDumXkLEJ7+z~~SxI*uOXx3tS7FEN*~<#}5WC~7KrOvgJ5*sLF} z`8>0-jFj^TT+nMQ4PvbQAsJ1Z;3JQhkSNv`Xwy+o{Th~7sT`OBL3Nj%KbGKN3n?Ck zBRQ%LVA5;ruB&w0nm#agw>!j6$?aG*Z9hG=(?mEw$88}0Ef>s&p`s#|(}8OSKhLNk zM-Qj&nd?9XE{H4x8I@?u1Ovfi2CdhPR8T6A9}aeJ>Y}H0Ag5YO+n}qbYO3*{BA2nmA|HTbAvCs zV;JdvxbrFp+VJO4sUd#kqo)*LvV%7t_Uwg8!R+f&=E7aA&SACt+HhL=>APQ4Cb%=e zu>G{sKy&Ece50zGb(BRokg{p7ppB%ZGr4T*!08;mf0env z_Nfey6P@-B6bY0LKPNozLdfdfC49nu9bndsWJw5*{HlvvWF>MO+S?>m-h3*lJ8Se@ zTRy^2W=z;iwTSesZ?;CP`)nFskyOYZzA4KRoVHH?fMqJJGIyU6pRqU)nKPzxy)zuf zAv`~Kx8z7f$C=MYTa1)rvmFpIC&!~^i&rZ7cxqk`dUvVg=iytK`17Q*GQq0A{Bvb6f%!5>yYseE7RGA+IT>8dWUQP?ssNk$K8>R}|^N3T=gN{-EO?>D9d-Kop z3cw#=z|ifVq38i!;LCJ+Ue%_zL8>}3B(_Y$EP(AX5vVWp|IJ^s|s*)%9#dLs#Z02D`f9sZHe; z(ypFZBJN93(T%dRFe`{!%%6o${?tU5FN$4F-F_z~0KsPoYKK<=`nAoiiFkKR^cT?G z8#=iLp|s^cFcp7eo>JwA)u~F;V;*QS6=+C!o~ku_9C-x3T5vmDPkayvRtm;?rXN@V z`E7{@>JXlgGWsf4x}ln(TymcF4oND+6GJsmugk8TBjDOJCvfLG-dGzI^814F#S2G-(6iB(keHjvtDdUaIA zhyF8z(}h-KcQU0ZGJm%+j8#pX=R;XT-n7|X3YmA3$YD80B! zZuYu81^O-4ilyMf7B6?O!^$p9_J-Iu*xTKZ8<5lE0opYPvo$9#a z{I62g=AX?&UU*Zd1R%jwPuYSpoptqls?JVJ+@Jg;R@nIk{@&`7)~y_5pr+PR+ojgV z$^bn>XF4_gGssmXh5E6udvkrTEeCMK`^CQzZkd{UZJtfmIf_dj%#{s}tQV;{$(KV~KKcaqpO8$eK`nHgW zHz`MmRZs5)MXf(z!SlzS1_BjU8UGzrtq_0qm$ex!fgYE)l)D)4sg_>grbYw ze%Vgka*1rXi%^AGZdY^g#U8alRj2rxEhgRj*enwn3OTC{E6w_1Z@B!c!wR2(k z+h0LY4H9HbP1si(c&{}~8oaTg!C@C%RIMS--`#~3g!H?yYhwl_TBgm> z-r@W>rj7_IclCI3F6v;!u8B}R+v};a^XWzN1GLIcT$Vf38GABE$IFVpZ-kWmN;?r> z+~+J8FFKq-ln66Jh=2Gg;yVOfe1^1CR0#!a~H~D+i82T!qX5kBoS(sJ|XRvcDldQ;=TsEtMSL{ zgLXyG%;i7&&0c)6Lau`)bH@M8u>0lLd-abA()r_b(BWG6RtC%Ahzh8%)@X={2`Dg%R(N$Ea=EaCe(HDe7i0Vq8u#*2emFm^ zDQ8i6iIggC1L1@>Sykw>_?l-iJarZGsL-SEyclZzM%RpB#O>)-%VTtOW;(YWbDAG! z{&p9MI1-yvF>n98NsG0wp~<@OHpRq@rmADeC~TOG+<8KG!^EB_MOzvN^&q-wy~;mL zROK@?%~{zHAI$8o_*RYLmFj@28N;q9h-NIKBZi^Q17da*>n+5A8BuVUd$3i~DEmN6 zR#=g2u|d7s@JY^001b-~k}D^T%6hnOTGkGeYL~u5VHH<*>CECyeX+f@SJxZ8?xzVEfknFI#=bc92IEbkx&Pf6GD9&2M_BBe)* z-D*H=d0SIXRxbyS2UVYaO8L$GNZ5)LhZ8s46lf&S(Omh^a^#pur8E%1FG343{&)+2 z&H&?=Ua2xVq=9NEJ~3*1VS_**3%HgKS48Lbrk<|CdtIzV)`En!r;omLv2$^V)g5>r z`lN`T|C|wur0D&qLmG;HfgVCQ!laAOC&>J;O>D`>Ytf>^gn z0_w{;M`pmH(2eT}3m@Nc@4Y#Gy-|`*uCXu7jTmMdkcR zysy-c^KK)6#8~#(U@76QnTn3rs7rM#O zXmGxmF0P2AQkWp;7EWC%`$yQF3!FI9$Qx;>6gXbz0M8J5C!E20@^;SH&w(7A4xoD2 zjL=1%4tVQ)!TLI0iQl)cs*PdR-AFDBy`5|cl;2@-jqh4U;+|B?5`rtg>`|XFjExt= zcSTprqAh+hpIz`HWtkXo^Zk;v|IJ<{AKoSX{j^+7;w=69M##suZNHXpp4_Vx3nRaR zeS36cu8Mt0P@D&h1cz~0vibFYf0P8>oJIYLd3ISX*b&lQE3mOG(T1e!Q%rqX8r}h@ ztM@YwiDCh9XG9&#e#m|I2RpI|4rTkfe|?C!=Ik5G{uV*lqnnIl(-c0JsLds${rYy= zSC&i4*c~>ate!e4M>ndwdR+YjB5r>oUCuJmt$B%^21)7cSAJZLidVNObJY|GD^0gb zir3CFTf+#pNE)Im?h`;slV8dRnu8TJr~^Ljk>@LSVcrbFh?E)xq>M8y(5J`Ig!hr$ z&Jazf(IT@jExi01E zQ1c{KAZMj@2K^zPLnPK~ftx=_UcEJ|droGRlB_^A?0?j4_Kdy4U!LRLLK^7Cjbjkh@0YC}s5R;9xw<@xLQ7Y6<{{!6%WaDc<; z0Fd0^W;$w2uD=8S>jZLwFX`AQIsc9SFSE+Q{V(z#W|f2I53@@DCx;b%1;ao2|G7fi z|0Pv9{z>rvBUL%L{*bElAZ_~iTOMq= z$x@Q~OyQ+$VwpR4qfAAf9)#4zEGbgbj1zZB*Xx_>&o7UjYMZDC1=Ld|S`?V_d~doK;!a~&ez^&>#~pxz4*Ht6M0xc046 z#UvqW0lKi(XIb`;F6|H8l8Nlxi{h6$uLwk_iXT&bCo$X2ns;kan!e$< zB>@sFa)(w}R!u3BpkBr?7p-&mCCZw5DJjBSSstur%>wPI8yzVgmOj$q)l%3hsodzB z(Ivu1#v7y&Q)5HI817pZTEHDT2kNNtXntRR2IwR9j~p6D3g2?>m})=Lg`We=F9NKB zsoZ%!-`%9ihM-$XQ=V_}E3PCI4RZC5+R+V*Dcr+^91hsgKw*Mh?P3Ycywb(RLh4+P z-1jU+=G`T&dzEOpazqMU2=QT_opByUwJG*-^)|;cL_GONehY8dSaj<7<43pFB{S4X zjQSmJ)4R=!DXFgfQ;rta!NBQoo$p4o9l~Onf{=75Gl}1;I!CSOtliYruMg!$$63b| zk*3TMpYa#zK!(4o3dKGyN_2T{N;{HGq;vZ^CoZ^07>0(Nx~?O0qdqQZU&P!!8H{AP za4lzS7%%#)hF(@A+b;&Pm(m$hna9F62Jc{)(x?>^yc=X9Gjx8GxI|GI3p;SJOuN=R ze{>9Kt?~ixbIop6z9oc>jgL|W*TDw`ZKjWGy?tVt0yW@N)PzK0y3LBb8d`)iOUR&E z2=?4<3&G4SMmSdUCU>EK9GJospZ{`+GA-^9TII}pLFq&!p3z-}9R#bDi>Uuz(2bJyx4fF`PZ)v-%&t6wz>|A0* zez{>62lW6>minxDDZf1sZMES$Vl%B6^fF#-${#dp#v_?3>%QRQv8%`G)J(f4d^qb8 zYlIC{z^wm7FY`Hh%s>+{P=~NSx02>#n}R`m7j7$Q0Q}6IuCHL@W+OUfD~i?SrNvNv zWE~G7v=4Bcj==BZy7}_JQ8B9l9op$G?_wnc8hD%eGh_^ynuQZ&HPmos{;dwd8{S7> z>T2*?)EVjO@D<}?jT0(E(3l+oY3uuGJxFYiIE1`ah;HKuzERaK>g#@rWHn$baX8QQ z1TJRAGK|xyvX&?2sm@}ywp^QQo+71z^5Xp4jZ5Tp0TF2k@A%T0(hT<=n})=&zClM9 zLL>pa?T0eM(HQ~|-1uiEf<=gd3aoapVV1*CGt+F@j^<`=a^<^|mxj`+o$_3C-pbAV1w{^*~WT2OuOV`_@4zleh@zvF^r86Jh^7uWC zOi?z!^oCTe<>l=#LcN3|zO_mWeDtkPG~cFP%8#jXN-0CYYOK|u@5A!l1AD*Sv^G=^ zK9rK3tGT(*gwy@(NAOC5l*ldh#K#obJpT#r6Fk<(7sEk7bA3UE?%H`?X#~!VFK$bW zIHu;3&}TyRlGjnkA$RRw;$>d=tT8-=DR0WhE)ghn8eGWid~O9e-ZBq$+Il^D?G;@l z#Ev6#azKkjg%h&}JvY3WhgKjrR`czC0R42DJP?CQqp9=3&Saxd@Bd^PmVVrkJyxk@ zSVP#&4{SAIx@)o>WmH(#!>hNBd-W3SwBBg_7-58i@>;o-r=c6-?(-9h8@?FiRs|ziH4lgVe zcWnEFz-nYXDmN_P5r{$OW~?vRu>|{^w8x+lt+N@SSq?iWwZ-nk7++=5(+}-M!=_f^M>0KRU+;(S4B4|fX|F)2-3<5 zAtO|tw$kGANXkbVIMm=INuhP5x_?w&IuVV*(ugVWU>RHkmkp4%yr~3a~fw_g+Gt@r{flC(ZbyQOwzr%cai1roN4||S>rg|f+s02 z{pf)84pRxA05jSj_zL>;Y-hTa^gWvg1vi$q^75&I(7#Hz`<`S2*C%>IgMaL^{zQ{k zsxjl01Eq0sbPC&@6emEG%-l(g&Gp#aPxdk1avprOgZw=SKw2h@N(Z5pr)3FmRoU~AI8@u=q@W!kdqhadc7g7rU~L4*iaq++az6H(Fg-EO zx``e2)Fz2zm>$2bX@#_ILWU7?Cp7D6R4#dOh6}H`pVOdD z=Rm)VGWt*Rvhn&dWG)}kqEIlDTw{II=%L2OcSXaZ?D6cUEw*5nj<)0PQ>&}ng6aXk z(+0zqZMO`u6(q$@-jT|LgJlQ8#A=R{OLovEl$J{-JGD3~*FU4u{}Abu&zWjSOAUmI z3U=jTWQ5`BF#0MZE?KD{1@@?+X4H}@_zHp#l?`fZ>2T+(_cZpPudR(R`h68Co6KiC zRc*c6IUUrtcqC$pZUx;)#b61lbdxmQ`Es{nkiXGQN7P_%6enbJgXW6UV`V zxZY&lMfm~2Zmrz|LjtL9ok};9zY}yIq3QA9u=4pTs_GtT9;$TgUG(L0WgBx)|Cz?h zir+Qc_{cM#LGeh{rIeSTJzM@PvY<2$;~e99S5)AtXmu1!P&2AjS}P%LYL$+AU?v#l z#o#mq3){;ow~?H>UzT1n!OiKbsqMTSse+P9o-Oi~Olz!>Cabpb+*Had@UyqpWrDn6|t;Fj*k{k=^ z>r&Ko0ixM|UGhCnszH{GNoJ$KyB);%SR?EdW4u_ZvY)A8aEz_LrYbQ|#J|Cy;t6ta za&~iaa&yiM0b$|*(lbMV^h2CAT%4?g$U0?#y{)?xgRRO?@_vNaNg$nO9h>8NR#K0$ zT6|dmU`2ttUw8!_?@L0=GO9?~WzMOYE7Iu-9qRSL%|f@I;UUB)KUS*~sOgIM>tB3c z#ZTzh4kUYIy-+bAf>-h;w`|9U0fuw zpu@W(5PbisYP?J4R57UH0v8?aHEmD`(hbSsbhd|H#_7sDMRyq2T=yph!MMLW2@XU{UyW#?b! z@0($_dpq?p&VUk#4D)9m)4F2k6rO`(-(4Ktz9fY&>D7|(5sv^XwW=|^kZ3iQg+@-g zp=Q3??Pa>EG`%7oVpn1ouR$AMmEn#C&OId7n3(=%$yZ!Avaai!7b2_~dNob3_s!T$ zi&uqBLBx7^nBRp9UHrZNku0)b;@*q3e+H}ftlNfP5f`+H$15yxng4nZ$sgKbnDI$! zXRsqHRzGqs5sM;cuFHbK;J(CjM^!?&!!jBodgkSYxS*S@fFNUB9zS?I!#ST1npa`x z?Xm>cO;2#UH0KoAGrls{exh5qOO-Oc3%OuH35Fwj$kLvnIeEpQij~ZE*+|1{Pc4#G zQ{!fwD+mO``-n`fqYxA2tVP(+PD_d1O=W5xJ;*(~Zs}jPV&_wDyKlcWABSyFPVz-S%3>?|4v{O6;J?3>tm($p+;RqxnQ{9`k54_FGr11suyI6 zZS5evnYcu0!+LF5osj&jX5eII$m*X{Xfx$(lK|aryEiA{_uWHMj8*?HB6S^4kgTY648?l&HEv6qi;2zJgonn-NWNdU|4v z&jR&bL%48MEcey*_X`v<{4J;uR%f9e`y0?(&xLc1_!L^7@!`Gp<&4N+$eX@@W_Ziw z8`CA2gVcvTe?y!Jz^|1DoBexPDQr8V5r!*mz3poo>61vn2~$ot!+e^sZb>Or&XqJv zwvy^Bx0!7sEE`q&RcXkKG%WGkXko$T59J1Oh6W;@yAwl6%tM_3fGs*cZQ{R($r<((RUs2{DSFkCXy-goYm2z0;cFrjuvd^7f_`k+Q2YWQvPT z=C`&`v=!2AERbWM!Xhnfcs+|9tvw#Z28Vo)MC3`~A3gKePi>;zK$ETl6d0g*tY%dG zu@=7#3a!rC()ZV`aj-Xcwy}a#55sd#JUu__eRe1I@EC!$Ip#ULDZ+O0TmHHp|dbiSI3q;X|LD0tK}Aj&<>blveEb4U)SL7;+Mg_M(>oLV+p zP&sq@kjf^J$_R@6vCX8*MvvovwY!A-dBy2-%m#N&bscQ#^|HLttXlUy@vy8QYgzfH zre(`zS~!1imk=i9M$A;AvqL-22o*sdJo^fpZF(Crep-qcZV2xUmvNurNy}Ad-sMB2 zkcp$Yz1A`ySTpjVvup)|SmCxN+lZXj?U9l!!sHkZwa7V2BwTuQR4Ve-QEk?YkapgC z%i0-VLleuoVHXYI;{N$oTxWWnx6wyepW<{4TxfM*=5u7!c`Y`}ITD*}KqWqw4ckzD z-*eXN;K%u_H&i$pNiQ}-)CZs?0;FCR}fxNj(P1Wsk_00V%B%F zn20dl9YV8e-Gcnug-?^jyY~BJ|I8K)ns)?1An;T=G%|JN$X=ZO?mLOY5rOLCtm#mZ{V~ z_k5OD8k`l}W^39`E`MuV2+tDxuy-r*U8 z$L*pb*%v^!l@03hK?_<2?~qEdZ9mhX*Rr+IcB?<6gliFeDibh#D~7g;R;f{Zyviht z&{ceR+uVd#q<3pmQ26})vd)1BHSAGUE~RKFD9&qqeie(?U|hiYN51>q@Y*|*cxEiH zL%N$MflpeOUBkx-;bRr&DCS2?hI2dW3S%*%zGD~=1j%AxbQkMoqstz*8N&HT4VSPn1h= zG4Ju%pN-E}BfgKGoO4NOPXBfOD#H1)gE1S1Qauys_}jgfhz6w>b?aNNpxX!L1ir&O zBk7#jb_?GvUaX(*5DMcCPcQKvzkfXNz{6jSsccsXd6ZmG-&-sm|2|nw3UqvN$#Fb1 z2G!uaD!Oa1%!TlARfDvaA&N4;3te_485MY3B0VV1`t{E#p>=(6$Z`&5`iKDDO`y*-|_b4c_LmowkBHo%>!dY2|FwqTvnA%#PA2Bf4$!@Do-%E!jmGt zr%mbo2Cnd=!+>!XdW&28tK=src3|TfeO9cKZWVxSINYo;X$u{v}kiDnL!xK4tUESeCQHyz^i}?3D#@aM(&`CQJUxoIw|su zVD)Zk6Q)NF0!SQ>EjAd&O$7(M_MFcyf@|{c;$#kXI?M~5XZz!hWH+cjFqtC@H*GKX zz&2*xdZ~Guk2Ebb&+}m*6VVZ+%hiqfrD@pMrJPCNf}2jYOHA)hgteU>ubznG?Fcx? z4yz*>p5FLIl6!6&n2kvX+?kCDssgVPtA0iX1}9$e0+HT=>>*b04!LGSKcH@ZSWrnNR?rAf^ zy!ChydkVyL*vR32ip5gKO9?pCqH7>tlDhU$t_1B zTJ;bn8O4Dv>Y(0On3oM*qZzF5#3a1ui4+wzwY@l{pK&SHm+XoAqYQ&1oY)Bj!~4wP zA5g=kJ~-arb+-NC1xw}K{@)tupI*s-YouHp?7aU|Bjx<3A@QHWDVUcX73?P-1<4CW zmPkY6;NT~PR{+O*HITy_x~uuasp};Bnu$_P=xnVhJUCz1L;3( zA^_|v?E~Us7a|v6XXoPjD|kNt6`VYO1vl_tkoT_uivR2T*WwWSYjJV^D>(lO?*D}U z3v&J&&I$N;$iF$c{)GQ+urxArGPE-XJIJ)q{Jl8Jx`=G5_G)&P#`Y$rKI&W`G?r&&^`gw)Q1B`edV0l7?vgrc}_X#x& zMXo4c@7aYQc8cdLj>q*0WI*scT=?(zk^=aRvk#}C*lP1=JCd9Z2ZVFdzR>+ihNJyZ zO6S6;?UvuJHk5ui{V<{)Is7awtu$>f5cnUyEc|XVrGE;_il@Q*Lle_(1%b>UaF8FA|AUt88St8 zR*3hDrTVs+*(@LMrD|96wA~97xE3Oe`+Y;BVrDxA?z03{dG$!pfn0sQ_)8qN-Jk!t zB|@8Tx#m!+FX-*Flw_iZVou#M5n&6<_+=M#JAYsXsA~9E($LNI_k`hiN>e?*XkrRa zdB2QmNiDZCXv?JwZ)%y2j!z)flVU)M+A-3~{hYcQfix15NFH41%t6ILR36+(Mj4H? zsbjlH#uo}k)N4PuYXSZSJ@}MEw+3`kW9T;*=bN5jCx=0^TSqFLUEN zRd=)4AFSfIK`J}j!wKW6ualJ%?>06blf&5)HvA-&*!;Av-cT@|JuiJ|mA3xN)5iu% ziXcTc0}Oih=kGxO%J}S^7`^8Dyxl$7Zk4pOy3WVPF~6{S=yF)AmA>dpj&UQUA$`#xA^ZGlcG5F82U+kjU z8|lye`IEQ!CmPwO<21q)Yjth=i#Vz+{)Ps-6Gu?r<*bQAbwf+NRzX|9^|cHNw|7p{ zv{BVkx?M#_)|PdsxaDKg7afI)CFTU|OXq2}cZ0sYPiph$?KwB@QFnJ1RGgv~2H-P>Cl|CuAHKlKqYXg{kP(IXslV`+iq_ur*tcDbQEwApO!YIQVWJFjn=F z8VLtl-`_AneB@C&yX(l(8d{PdT~Zf(qA%_EaH0=MlI&kjUQJ&Q=i(69oA^EEz@H`E ztsv)a#W+X1u-Pn?tJ)@S?tIOtTxiaqXx75Xd2*@=Z^nJnT)vhwOD93X$k?K#Fo+0~zu5vJf1+MSk_vy>?AGF>wc``%)4q?2%4 zO92?KT8iZov~-m)VASl&pRyra(N-%)e$5oB5z3_$m(D65x!yM(pI8+$4VzwP52%46 zRt3bWq)XVCW{y?062$H4dDPX_76Mjv7eFJejAeNc?xoqSel%`lv^Io!vJSbl`*Zc> z=jWMY6E|ep(=5OBA5drKeL@@Z@@gt2X(d#^!r3=uBF9>92WVF=wOLB6Dn?{)m=?Eq z)K*=uV{WIN1e{Q7k3OO~nwD>owql?t%O9h9rtzBQrSak6MNLJ~@@XnX;_kg0k1dIb zw?$Rq1RVJ7`R(OzgO`5#x}HnU7r&bY#Z^9I97>vUdoD|$%5Dg&s|CAgwai_dyv)z; zj>@V)D;F_k4o*yrj3h{*D_atmN00X$K_AWqh@`LEI1s5mw-yQ%D z_K^L|z4VUMlnI!MCp$3@&qhf?p9U^kdOc#9N%rt^O;=W4geQf?q!uktz zYu+I)9Qqg*s3#0jBG>)t_iQA{2-dy~Z_aXMr^@?RoCgbcryS`sWcBhh9Bwqt>#bkI z!d@}4-p`HXQ=0~DwZ0DtL~ZNQR5>djqA13-CF9Lc00SW20}t2 z_gvS3+p$XaNWa zqtV(sF#p8A8BHM3<&c=C1kaS6(azhPpYj61VX|`d4XJV(vC`IcT-^83oOP<|I80oO zEp`ne*E(zMeLkG)`dw?MAt;0ZGSd6IgEo7c z~n5jg8cPm+IU)D5!wGi32|GuT!HXU>??$NsD zZY_ToQg7v@vu+Wd_7Cg@*ue$!ytw&Iaa$#Mx?c6~S4U3gML!-Wo5<%r`oUt@(?#KN z&2qku!b-XxJO=E;u+LsGQ-o3%Bx=As``N_((tvjl+0%&Y=-BZW(k4?)5 zJb;7*x;Vdi+xAAS8trYXQXdd_ZAvzElj13}@_xbhNZimbaPD-vV$ErttFyykgprZw zuZxMd*M8sC&9|k`AJIXP6EGwNj%w+WqC2##SgQpEi>9`8cSw}hwpLOqQFF8#r7ycz zEr``DEQEAURGTu^11h7>;F@<%LZU0E{hdij>Lm-Y{6e$Z)nH9XNt(#7=G=+Ak>2Cv zJGZ0{o=rNY)V}QU4BJaez3O~b*m+fQ_2uM#K$W%s`TNeRMIAx4D{)78nFiXMH|xzf z1hXH21)spl9_)8_qe$+4r_`r!GUR;{NoT6>ENN$?T)y$qc^9Z9(s)Us`*hMV&0Sc=%pf=m(Z1Z0!%_QP+4zPl$>&j6rAPkkaiU9dp*Zh& zpQHcfBsPDs$i21o+wiHB3IRA7{NXF*)M{fUcy2pETNkjGpYhS4a!NX|QYwRxLX-47 z!6!4#g+@z^S>92;K5LU;A+p--Rz>8M;M%IqLrUCTL1lf$yG5 zhn7Kro}PcnyO8&FeZ!u2EwA6_d;+TA$!2A&{#WNYE(0 z-r>Z>YxZ17pw8)lf?W5Zq~tTN7NVqyq_tkTg2MYMw=oOAe!e+0bb8IuplLDuNrX}q zyml~q2n%7c64l!n%h@N6szYkE&~1?bSc%9gr7gx9ZZif6_hG+9!Cuu zX2|R=;=g!TT2qNdCpav)qm#U}CsfVPZ$mHSp}VRckUUo=MN41VgQI3%g}pA;&%@g^ zH#f2L<-s-}mQiK&8qb-<#p7r_oBtuxy9d(?Q-m{hk{L|HyIgXXtWqHI<*Q@&^^_qC zLnmYtuP;G{V7qjSTA9JN#M7nia21lw%JLbz<~d8&5$bt%!*vjjARD&ekEr!GJ=K|y zGGbWJ^agKvxLenBU{!`-Dm8)OQ9=GMw1P%V?p2$B#?9fMBng@cnagp(Kl_`G^z)0f z*1w2lYt~I>W#?&sRw!HYdiIp3->Yp%RItuJ;DzodV9`meT9du&Hk_=b1^tOHw_3r| z|0`K=IQ!IcvZKUsS9)tCt@{P%p%HVXRJl)=|FmshiXM;Qfvyy!1$CUvO3WmYr(dI8 zH*Adylr@H2)CD58uVYGA3hVHqEam9bUauk+Ddz=4O(sMV@=fS~M?zL^*?jEtOw!eSQXf_pKlY=t9Bkf*M^>t!q`jcIotHkCDs!`;a zP3@vxjHW$cAYNF}buu_)Fxj*i{5ZcgzTuIsr(DR^-t1;@-2x2aeZI){OxPjo$Hiwa zF<}ug73Bx_JEYh=aMw4)iiU@nGW!QDW)~j05ta4R4c@C$arn8@Zg1~Wr4KC1EM;eGaM6_#puytVQtZOWcKdE zB%9+%KA^X&`SMlsQxn9S$FFSeci}u(!oROSBG}n4?)l;gpxmZ090tH^G;)T&0op}t zcqL-llNG4g&8`aV&0kK->r_{#Tp@flO9UM-CI2G_tOL>rAyeibu@|0ax{E4~XLavL zbVfS*my&gUI#M3=Ek#|0XRDCEVed53OD8RAcyS|JpD~+mM}2Rgh%wP}A)-PdWQ+Jd z$;cQfN}5G9Q8(mgw5G0>E*K#v0r*sw4ZHlPuCQk+7-x zZ>o=jNSB z9SX0n_PbZiUe8MIuZX4p>^eA(*f<_(fmd23k1UAEC;)z%VRKV!pMJbk3ZJvEH1{nV zwnk1KJ;EvJj1aiBM)S-sN8!w|WJ@$85i3>CJamroyG%lp)S=eo-foO3RY**9@o+tf zv=t9sW${ekIn&7!J>lXg06hMnw@{Yc@f1GH#B`V94y(+QFts8?e*U7u{Nm=ziLDBI zU5n)+^j3qddu?}5EB@HqwToH^Ku)+*?!M9tnPUmq{vaCm|`BtnJl{ z#y8h8%Ji=ub38 z7WMpX+YRuiyxOBGr@L3%6cK9$Y5E-ykohK1Ofq?Wf^%88CLi{FMIvk)CzHx*fiHZI zWi88l5}i;GqOyoJ=poD<5%wJsOTjGrMjC=Id+Rv3Xdmg+q51;*b7jWGK5}^Me)8L~ z-P+FUlRK25AY%flxuZqOZ`37#S4Jl}_n$N@vhQ#_>d3kt04CO$! zjT0N4EqBXyP6FM+r&1&6Pc9#mJQ?ZZ7oN|fZCqk^3x2`&5rHw+$5O2R(&Vghs+}Qz zc6Lq&-958smu-@#!vd7|Ew8qF2`ETE9~Uc}$!{qDqB%X=!uolIO|FKOjW6E@SbL`{ z_~H}GRWgEes$aNNwhB%4AHICQp!H@x$e?y!ANnJXSrmdRlt7 z0M)kgc0TQSOKrJbV6P`$D57ci3Ckw6;z z;a={+SST91Fg9|7e5Y&lqK$iaxr=PdIw9?=KLV(>N4w)!`G8Yi4f`Cuqs#LcC!s<) zoOUa*ZO|@kjAmwiIhklEiylp6o*#Qx_708zi*0NB*O%Uk(|FMn)CFhJ{z0J6ZneUj z{gEl_*T#{to`n}*0w8;NP*QTp95PP)gGS|es*btA!kqTCG^6RvwBx|yl9ZR9hyCh| z{xuN(8DEHubcC(qVCiwOoWVT$xWDvdX+?o@;eui>a5(%RE^SwBeqi%^?Z$O>seVEB2_sUM|gaC$TWaeZ$752YDpl?4cv_>`}np&!8 zU3yR9nDWF!X;tb{ymV$PM6N~XgzDxYV}q^%Yzm-5lU9_P1xZMnv{P{t98Czs4yI(_k> zu=Ud6{xFgLPb4-9y3#sDG-zTMfqiUD^mbZ-285!*%N$yCv|)K=!8ymg*!FEv!z=j> zmh$(8DR4b+0V4NYc#j1eih7ytR0d1jdZV9TN_Mk^^T4{wJIB1lc*QIYcnUpTw>l;| zCGUZ6#k##~8yjFHC7?O93xV~Y^wYQ=srB9oG zO>QNeFZ(BFKxfMP#k)et_e~BEuB`Qhr(@+f59{^D$zvxsqu}-0o zp(UwVUNvJcRah68r9@LdrGIf z*4ha*MAV^;Q!%d-XxtfiXd8m-7o*JP`{Nq%#tsdVke0kzL<^L%O2v%qvIN%2%g#c% zGD>4Zfl6uW{Zu0F6#?Aw>27|UvQ;})S0Pn@w=^25aO1#O2eK6@ELZVhA{tiQzGw9? zWlkw?8-EeaaaT?gf{A(R2JGi?k{Ps@ASJ&HZjZ=md%w7Kd7+Oqyo(9$KFU*b z5+yW|xn#=DCdnM7Lz3U9o~`-S$aLt;Fj86yYJ~IiZV|fjuL5+Dy$y{bK`h#LgXpg7Xzg>kV#**qXTr} z?nSkm)4;|z#Or$}(wqP#1Y^w$s#y znX2qeWCO;gBL1BDaRa3mq(0v4^nlH33Je^aVpsCLXz`-pkp<)f%7=;N-M0Ms7EkaXvx?l*OX0ED>as%za8f9|)+U|Tfs?T8 zaXGsIB1A4-&w&m|aBCzYcZz6E35t+sAi?JFq0XQivWi?SmS?hDwTV?y*#R@C*G83F zwOZM+=<|9tDf{y+&)?kZ|59ebNvYA=paD7+V0dY*a%f2WgqVruPWzK6iv=|Y94ftF z(niS~zIGCldQ0i!l2=FEuT5{6I7yjpKU@uSF;#V%j$6`t((S zeuQ0uZ8l_s1? zYY~A<{0#KOcT?nCzq)Gbe)T|8L&Hjvg8-e>Ob>2h>;mBaaFRxgiezt{L&ZL~*gdj1 z@H>jsvcnsI)n^d04XECB$ztzF@sw)X%9tV_+y4$J`9MX<0Y8G{U*j@3e;s8OIM;JW3f=a3 z@SOGo>V{b~F|XQ@%CavH9g6w2(hEi{hRy(2{Tid4)NLEdzSLj{|G8oQnict&IT|pH z%S)`o?ew7D(Y1EttR&3E#(^;LLa`eXZ2hc`6e%KbWU;JBYY7aXmTomMQPpOTdS#qc zaR36qisSh-wY4ebW1|$^dAIL7fuvsJRQ`?3#ftpT427CbvzSxY@r1B(4C1}?u(k>& zt{4x9vzhMVWX9fPP#KlJ?KIzaJY8IKs;hKU92=w?XHH&oSAS2@hwS7M;hWOQ|6iEt z|1}Cqfgs@Y6=%A1Sr9P>lX9gSJKJH4V^Aqe`iwI*Hl%6WnGy$EGX26;l<5D_Wje1L zDBaSHGd;#_lJ@Vm#ot*XB;DN|f-R9=?yio(uDk9aTuCq}o!tW_2!Ubbe+_mIcH+M$ zVlXHe(>wW_4Ga~BLed|5Bmhthmi%oA1d@Vac<&!Jm=va--)&-Ie<963Y~p|2O8bXR zQtV$kFh~+ZI57kGPo5wcSOU{{`G+%9?B6yR1{43T69YjcF?~9}`@+DGKa&;%{e_+X zp#v~;F%TH~=LUgb5@O>26#nG{la%~(b3rhv|E=Vog~0yHi^cwR2x1sU4g48U3={ER zS%al8;P)R{|DCkdzm5*$ivjO{=)h7^e-^P6B{Mtof8&_g z7&t&#;Ig1#sGp?FTtrMnig1jICQf!Pjz%U^;7-<0vDBAX;Kio`aKEhu zEvaPe(SxBdK~h`5^zF#=z@$i2HTfQ{?(?I6obYU+nl~$s`_y}E;GI8XII9{Zep+tX zn{#K$BzAL&Jfbd6H3RQsU2iD?2>hHo1I{-e0s(37TJPQ6#-Go6_nF;<>sdz>?@t#8 z{VDlf*DK8erWcgnOCLvC^{`u`B(D#z=dXthpK(5~6`RQ=VS~pr`N80)$IJv z%lEviII%G9JwEo*=Hcb>Ip0jTy-`Nh?-8*Z5s0)IC}$t!ad_)8;0h6${ruuGYu}+}4fYQC@q<{H)?O7`|0}q)vm= zLDFj*cgXC{re*;B*a{yItF{P9;Qjqbul}lgn*Z%-T;TKQsN46o|MMO2`Vo2_N>~@0 zqkA@~e1Y&h+9!+QT2})KE;KX9`Fy`WxNYv*^?c`(2df6&s*h&y9?x?U`{S4$!~y2t zW;DF^oERA_9SI6?sd=(JaZA@n?$+0Q67c;W#a2D;3Y)%)n}q?@erM;6Fp6nc4ExdYbNG*9YMKNQe6Ffd3xwmF~H{b4vrz$nvs zzI!WgxJr|wtW$XtJ$e0!>8bECr+YRP`%3VPu=TKl-;rtm^ND?W_4?WSM4|)d!hd3B z?U%h3su4ay_2ey({X~_>PnW6La!p}jpJsgF0&xqa#S&H{&I}UL8|pG+Zfi1;&^^1CwnkPY(X<2HyZHw08jwnAAQ^;5ogUWn zs@mq0F?&zCifw7?<+uTxdkZ@g&Rm?mRpD3a$-pp_Tn_~l;%9~sapNl*cwX(4X~wxv z{XLP0zlZE*>_lq6PB~=n11M1Ixr%@EI7~C(V`;T^CxBcEdCV1}?a>=M*K%8( zE^A(`4F#>rT6(3gCSVUp&I6e|OV%sRl}hRa2vq^Mh8Ic4JCd4hG>o%prSL(#q+@(E zG^!%u&G^7cs@syjpgbZTadrM3nB~JEy$HE)S8VGLZj`eQfr<#xlZ~ytHeLJc+aCvg z)YFEJdoU1v{ggyLyvonjUNcIdco zNYWh`t>xzv$crhC`A-s@`P*S3q);(v0|1PeM0?<`08)Xz_}Br0ZR9t;>H%tRlEY^N z@vhwXj4*H0t?Sk8mO}Z#;OP93u~+g<%_Wu?%*Txbe1R1K#@Bg_Avba-DriC2WZgT*(Q1$uxY$ z^j@QlqH@V9r#2Z)f>lo0scM4w4FA<_;UfPPtp#G?A47^>Cz9MqY);cw1BlBgtib@1 zI{BFXqTqzIL^h*}KNq(adD1!Be2YAXbH9Ov0j$}dA9PM?m0El8gYrrEsvc(I{5*!mUvUubl zasU#wcwWB>cvCc&W0oT`jrq6T@h7(KE53*?2Mj6I@}oxXrU6VYW6dDlx2|22AILvdIQu7pR-+%PM8aMpPw&tz(K-D z4w_y8ps<(c$XoJ#*tY}(zVyc){07G7PZ+=FGA%rqBqc%|(mKpS?j)qRe=SbgCPO(7 z@SpOeGe|Q=AA&`5MIuA(HC-1DGMc{VO%GUG<*$We=Yf4}8a_8Z-OKF-ZO))@(tDg8 zhBPfCg_h$F$huHNHwTQIfR@kR_Eu9?VVDbIiUA@tJp2AuxFpTb34b3+K>e+N&`RWk z_$Z-^o9m!TtuW<2+(~JpgxuK-i=dVVZ)(BLC^sKy3NWrxom4Vtm4{4(C z+Cg6MZ%{A1!JsG!!wPc>U~$Hm5V-OwcN72?+=_|dbw#b~R}mDK*v%{~WUZbs`}6XS zlH^~*bk)9V%c?FUr37g`!n^3(ogr36vVwvW@WZO-6L3Vq?%DCOakBoBH;>yMOc&do zo7ZV#?c@U%dwlXSr1VdB-wGO;cSDZb2*mD8{jxwF*%P|gu4Nat1LsP*TF9|V)2EH}w}oU>GwiigI34|MbMr}0!*v5;xMk81sdEzlsGUyL zA%!rbOsTHKo9uzrWMLZ(^W1d(7FW;Y-wEG~bQ8&DT3p)U-%) zuq_1=DM#+>O!h_Pz)i?QD5VizL0V*9Zja@LREZzx8Py^+VrFF}ERBJ8xK>b2bwS~D z(!_njWFhE2Uz!vHk-VH8NaDp*E<;$yv=P>+90a)+&$k=qfdY3SQJE6@@fr{Sl?x)R zu2FV1m9&uLYzS{+8c$n9|LoE=;#`NN=>t>`e$En!m)uCC5wjO;1&bDu&6Hs%BUU|x z_wS?i6Hk(x3I+aw3oliMu){*L)(07hrmx_#qy9l4&e$xl)#2&y@+6Z^S2Uryv zNeHQwy0{;Tz)YXmEhx2%Qh@$Lx(9BRS&tqZ?MNEv)?C>gQktB#YKz^BgH{Y2zgll`-5;vl@;2p1q7(EdS`=)- zvr+rVExWdq%(7y_^@ME?oN0wv(Q5XO>ObdfA(O=ORB}%!SKn0knechxKvku}^Yt3=MRm8SjN!w8|uob`kH#6?=^!vITzEeGS(SluPZZ>Nz z=@=FHs#QxUQ4mU?6&3Tt9x2wz5id~Mbm9f;ZqRRDF8mftiqGz+j(g4(T^Ox-Ai&52W*#MUV;-fi zMC^9WpQnlj>T8RfoA&Q0W!P@<9T6Z&f3n4Vh!)OvqXPYO>LFrK?-|!ct_%suQy>jj zi$uFJyd1=)gMrCda`08&a~;jVXuo(la7Y%RXxHDOKRgR7R!mjpk8_UltQn-fI$>;f zxZo)fqi0J~Plm684{xHj_E_2T!j?B&=Xb!`JwBl@J8BYPhLGO#4S|q*QB9x^x3D`d z;?6>*{?L=`k!y`3RrHc8&-$U%rE3e&<6!+8Ju{sW1-3C~5v8Le-j5E;SggTk-~iT9 zq6Tgt{Y0jPIvO^`=$|l;WyO*Sv}cB%nO{^;>t{?Y9?=uzC2178TWdmGzB{+)DfS9mKYdy{yH?LFfyI@yAw|rM1g4QpvaLDA{Xc zHWoNnZ|~k|O{}<_&!jZjee)4!z*Z#X%|i$;WoNuWCAv-mFI8UAR$L(vVy?jz@3#W? zF{nS@$b|fv65AQ%3)&6Bxz&k3lxA5{x=vXorpSc+C zZPT&JQzD@YC@S>XR(`M%2@Q&0;^_>XM=+4iQH@E2AWPN>&^h|D0^InXp6DTTQfv85 z{zlbSN|cub-J)<>Jl9*L#lTs9U}lA6Jd$cmNOQw{cl)TmHixtwAwi1o9)3HftIX+9Zj!ZMZwR&Wyul~hOf#Wpl|G@?zA;a@8ceU;I z{MsTlsf@2kZvo>H52RnA(_nj3>|pP(`-an{>)#&w=&=eyJrIqSCGMUiU6X3umb$rY zIWx$4Q4HRsxbkAU!pi1Rnwim3iIMfsqiKPz8fwTEU!HmFY4o@h3hqkOVAJ()l(SUY7H9{!;)V%zC3@5@&3+)OrmrOQ*We1EhF_6_lTT2(rQAXznU!N7h<;Ob565aOU7T=Qg=aJA(CHTZ4DfrF`+c76D1NcwA#BXZ zTusHE8x1Ab@=s^IQOVn+_h-fan+>&H11Gbh2`v_rY~WZGq87Z+f*!tfzo~4@*!6Nf zoRW5fLcQ($4;PX7$-ZWh7DjZCnZ25|chSV9{%fbyX=98;iZ{{}7>jLoIA(C!urUo) zzo#z2$rlSUgFu!Q)G<9gkI|oKwbv&K0cI^A#5)1x6?`RE_w4{i`C^H-ArOQK9a;u&)v-?ru~A zLAkCW;!)rAPG$2JF4>2#tN2mM*@ZEqHg@s~>1lyq?YDThZecI{L(A`ZeQSMU^Wz}? ztk#TH5{WR)F--LjT*I}|{CpNcVGViOC_D)CPv`r>5$B2p4POB7MTK0A2mpyQY#AE_ zu@ExvCH2ERJ}ZVIU($LA*!~94(;8}GpcY-A<)1u%ALLTb4fj`z#0}t11qxZR>5Gll zi@N|XQ{(qSB_?TM!jhq%kP z%50EUtn6SR-0+Qm`2e+0+*bx)o~=4NxX5fCNnNCORDOkqz?y$3I2a9)5xb3I!Y9YZ zj^-j&LKfbZP_&(^VH=E1_nI6m$L1QD|FBlSEnrQ}-C0!6LIK}1xLDcZ#zcWluayBd zB9OGGSESoPt?;W>gVakGq7aJOK0;(XhMa$lKo*hqd@Byc65xl`X6l zR@yyh{9fJtCGavfr#B0lNVB9*;@#c&o}f-OqEbCWb@fBhxtUf;g{)*PjE0*s5gN`H zD#eR=On5meL!9JZe`cy2FyJiVFAfiMC7`G0_rZqR`%<{sgzl!19)wE`z4WIfb<||R zC*O8jHZe;dZ|(|@f>@+7kzvyD$|{ygFSSeE5CzM-dPTgkD3(-9!$}% zV$fiIZd8IW+pe~`Soi0(! zYh^aXwK8eUwMVlE%N}g|>4v=q-vm!0sJ@5T@U`vH#CBp{2~AK!0TM5ME}Z2JmPE>_ZL7KZ%-Id!igY2X{YI~4F4tpJ zZ(lbv6&%#dlLwO;FMHL>O%{$2u865}D>G-@=T2UlrK30p%Q~MG&t967GTXXRWGI^x z<#d2YZN5n=g&W~jjIWtMV#l!S?`>TK*4w3LIc*=MXVt}LYqVAy!By3N_|4prJg{F* zpRlYtMxA})$F(@pcth&8a+qqHw)Dn&HDhduAjvUQVJ>-5sYTAXAfbpddol}pUPy_5 zXBMeg&y9^q&lAR}IKIO9HJJ8<&f%&N;C~e`nh6V%hafoq3ce@^ykiE7)?Z?g9jRG%$|k`nQh@-; zqL&Xp7dSVw?Ib3pDXpU7&<(jR*||7_7WG?YQaANmfnF&#w_m9kAPNq8ONsO=AF&nm z*At}KNej18pR1yPC0>D^__X=@mW^r|(u=gqU7H!PoZ}aMDQC$9MDz$h?;&Hn14sq^ z8??J;T2=O%A$1x_?%a{SX#Da4xf7TlxVt8f#`z`B^vAOu7}`Q{P}8ZB?RDx`#NPQf z)H~>#Z&A%z!j-!i$axjhAa;>Uqowu^nJTV?vzxR(IN1V#1cE=%LJBz|Vt2j2zVWq) zd&mO^ljDD<@q*Eu>F2Btk;XK%5%!<@)C2P46<^9bObFpg$Ln| zU9j{$^HYVKnRs`#;Z8}0TUVvOYzFoO%Y9qA5c|`p5bnT|&oG8qP5Y(69u>F<1D z;UFsimVA;9Oo$fDKn}hTz;F2$XrU$=1fagK7(c`foarSKfE4xfUjFJB(+}mM?q0%S z4$m^3)$i5AYDM1Az>&(+BKH;%B5wp8{uVN=%0<0xJuTWW_G{7Lt}^!m!GyMbEYc%i zhN_^yVe6LlvH>*x>;bd$Z3n8dV>URxzds;nV<%J&h}@0+69-EiYY!dO({p)oBylmo z4XwBh@JsraGo&o(Q23!BDgkzmoc=rZ+IP<1!s~Qpc^1p;t?_q7ce+zDp#mhZl4F>t z>^guFQIzpN26Q%(*(l`f%KfHdqmsG_yEoqeA7B(7+#c)X6~78u(WIfJnH`o*%Ui<0 zC0FZ_fM0)hmQ#9b<%K+a>u-e7N%*;v$H}4e%by-CB!fv2Wy`T*#>kFOfdY+oOmHw7 ziy=zR;NI}997z_fd>KR85l*(2G@rx3qdhbNwhew=Ib z#@MooH!Xagu@=ZC#S)G8d+Akh3+AlvmQ{8jLXS=u1DGZ4fX7Me5^rcdr>}s^1RoUAHGCpEk z>`fhu?oW!j_?uL*vDQLw%^+^<#W_@ZQje5eZRKCo*1<@u^H`UC75d{ojZN!(f6R3t z6Cmt!Bf*|ZRQg(@F?|?3y%p0?XRUFc((r7$AS~M4N*-XY%uAYX? zw63tB!Lk8F3b=lhBtN8>D?kIbz6jbu-O%mN9IzH-jRbX>>e~qF>42$S#H09~zOb5H zQY>YQ98C_8P9eA3$XC_C+LUbPL-B>!33>|jLQzM%zPp#1_cgiql48PzOznN1W1z#r zskobGADC{11rtlg7eTWZ!;2q08aE*kb?JK;uv{h5F{n!N;_&Y6xM$O|LbG{fO4T2NCANVB=|3A1hD-_`5({-VE+pm z{{mCCzofC6`kxv8`Pa0FbpG!`{>|`@#>)%G_&@ORFF3`6p_10J+T%p?eXRa{D}=9O zEfu0D!E(~q$B_8-&|oEWwv}0W+}SL7Bd1%IuDBL-#mbdrM@&CQp+bg_pLOO&Hod=e z(E0QxEPXhBwc87_ro{qYWAQ~E9W%7i`tpmLbRWFM?k;o-MQ%j^^#*f*=)kvafrgJB zBjcp#C5Vy+_g9<8%7mX7X02m7H*PE5?H|`E$M1~07JORgzvfrX3)pWLxAZQY=|{+Z zmUAlj9uM~`u~K`8xOq`J4Wx~Y6<@`*wEtBnDVckiJcbbiy>4V+pv zsH5{*S_rA-$lFk`)=C1hl3#V2Mk;I+6QHQ)CW9CjPgL*5Fp_LFBlr?qHQ)_F68J}H z^=yAs4l$F*hx%9vY)-YL4bO>9@luBqeXP%)n}r2e5(a|rT330;UOcp&2tZFB+McX7 zlFt|yiTnxB?tDO&$1`T#z1Z9yiSAh+;yz{J%kMthQw9Xzy)3;WX*BE;l~sHyEdSVC zYAH?!VS0=k5K3gQX9u8?A>aCu-VB%nwn%JN=2O^hrRO%P-l-{ME2OjL&X!b*e=?|a z`Cj}Qb*TlgojK?4{a%DK`GwkwF<1fwM)7-q%i^|Btty?km8Thm%3|@Ske#{gXM|156vU5)0Xr6afaQ5 z`AA$cq#6Yp>_rG!=88#Xsv`)ni(?PqiOTBtz>HsG`hylzNW_ZOOt%`dFKOPt%whf7 zO1{AVw8qp)m`E>0vv|5l>Y>f@z{ zGULQ(Of%^ABf}1C!CVc76{xR3k*az?xN#2;CTLTEPIre}{AvUC)01?SNgALrH~KI_ zHJie3VC9nom@;|`4C18vlhK-fFd;s|PH-#-ED2xhuXdGJLu2A$3I#O_A`%eLGxO6e z6T(M>@u$sGV*B!Jnu5X^8bh>^92`kvLGPKYkXUswlDaP82|jva6h6`8_t z2K8DY&{qQO7kUa@p~NuN)1z)LU<^rGM#&x&3D(jrg^m_7{WlKW(GL7j$$tS)H%4^& zqD%P@H`%S`{sy0Yc8tP@bASK$VXk&Q%hjT{gHwrT_;U_Uf9Abh#5}er5AJ?o50^PP z1n%~eOP?DH9U6m%TX35T9(*Pm>Vux_6-~sNOxbF!Gwxa!U+cb=7lUkUbxlo$Mr*T- zA;tLBqulO`ru1J%{n`52^zyVN=iozXYddhh;jL4ZaG;hW!swgRoUXaLx(kC{5%a*g zQG<;2edhAPu!G-h$ml5eiV8$Z3ucy{*`QT(MYn`C1*tn#qkoD{E*lJL4I(+=JB8Pj& z8ZY@Qm-fIMwzv*2wLp;YK}b27%dHXX{<>bc_4?z^*O0^-F=7OXs|8vNIxrvD{I2y` z->(Lxy@KZ$Bp}Omd`sd#nV`uZF`e?A)+m={K=xj5##FtsMg!3RA6vH${dJw)G>Njh z8h(vUEGxf0BP}Wv49d5~KpnfU!}JON?=FQ&GB;Q!#rb38A7YKG!My}5jE_%2X>g#K zO3^f1VovSGcb@pPBe~4~1jC}sQRw;SK>mL}a)5sh{eO;TW_B*l|2?lcKu64UVA3Eo zmQfVWf6w~=eii;+e7RyF0pY?>f;a(az&`i99;PV2ZU1%0k&|FQrgf(E+yKllM|WBn znp4|4S~4+dUY5h}9KBcxEeaedGXr>4Kcg<&+BFb=Pkxq}F)e+5M%k#TsC9c@`CM6p z2Ysili?9G^lXi_z1$^G$ z?n_OAbIaTsc)oIi8!yk|rX)w*^;4>$XEObzH+JRoV?;zt+nh$ant=j&0P`r+{!%+p z*PQby!f!9U8bxRgX804?6&ahj?pqoLHD}t@x=MoR4Ww(@r!6Wso>Zn96OAqNVtSVa(>`01ZQ9Njc*-+1&}Z_5fHzsoarPYm`!3d$|fF)R-cK$jrP*PK-9P08n>kid>ND=WI znd=jQ9*r01*kQNGVb0^sr$P4{Djvmhc_*8#Wvh@aqnVP0MTbyTveh#C1<*YdR+F(a z_8Z5{ui>GDBAez1H5Iy4ATx2EkC`)_h-fxn7U^5o~9K3PWuczfHU&-TnTVOb@w$|4{S^tONrnbP)!B^&l zvz>Ps5(rn#T+3*&BfsIZdth!bv~bD*Rlkf&%@R$PDxZw@7LrjbcA)HTcgsv=M~0Ou zvH-lruWws>x;q8pWNe>zRMj7tvoVD6i(qCrkqw*+a=%~g(e8XF*Yz+@zEgccV(bn4mK*nPA;@QSh_2u$uMq+DByaFIbG-SpYwLYqeCXzNja) zF*?Q&n6`w{DV7#<%H^C8rZ!MoVE3GB+&EZJ^E-Vpl{I5=Lnet8z8l{D`lDQ#_TmSk zt9z)CJ*w@;GLNkD3T@eirwLym?Xww_VQIGMH=HMkKI9!6Q!y08P2^DX!YUfCBt>|S zyTQB*Oe8{f0kyo~EOB7x*bSGZV)T+Q)_uBqy-tO%Ov9-3*kWj?hJpw{2ez-83maD zf6cqKiGuNSUVK-4m&G}0Pa>z*T8d)FfhJMmz@&)-a=Bb^kPaBVQ<#rAa2a`hfP{Fz z6Q4nR5+VOJ9seinchn_{&0K{(sk-dl1SA|lJ#X-$!d-jV^=hR-9-5ql;N55Ru^dU& zaV<=FOd9vcHC|yS9M~dBk0&%&t~?w%Pqf&Er8OJ^6NYVxTwq{_6wV+n zdAx!o_aHZwJ1_8j<(@I60Cy=g_=i&@l^DL%w4a3%CPU}gJ!AM5z|`x`ut*>ZCoW8K zsHISm6fT?slo=cbzJJQIKbGXai^>tbuRB4}sF^iLgr6EP>CH_w%(L9iQomH1h5wtr zwN&zKl92$g-&2IRmGyATI0d8m^{97?gS7M1+qY^$#v4e(#jV+?<^9cmhPn$(mBETD zJ3S%w@CrVAHEy|NBn?1BejmG=`YvVD+} z;$0w?i>XuEx9Gzg$hHvQDQIk=*^{d-@FY}=AvU*zmG?AGjC6Q5?x$#<9j{KofT$?- zxH>)L_CuW(d~0k-RWBy5wX*6HCZZE^J*~0Uxd2{xF4x_^U}`lJ@Q{S`Wg}IM2OH{j z4~Uw_S+~iH-^3Z)et^4dh#)`>`8~}&nD#UTC-UMY zq8XSyv^>jlNZyjvmh(lmT_gXyQ4W-;NRU=e;_IZ$G+jq9-RmpH!IeOL)9UFj7YX&t zm_gu-Lgd-ulumX+-0=zI>*E(r{3?xRDj2v(+5KI5K)KqxWs$$dHvri_Q952NK#S;c zz-ltx2*U%LLhjFujH`2I#cdjE+9O19+LWy96kwxxJ4ZxRdapPaK{7x|e`iKCu&T@@ zE;Yp(JWWk9FChnfkQ|c{J)^B6@^$M+X9h68pc!8-%&Uu^J)MTInZQqTC;nW_1#rGW z`|aB7_EtZKsfCb80J_oT+lkuGwCQt3l}@aEd;EiKe(`VeaQ4?T-1X)oyWql^kYYfO zNfU`fY2|W26%3p!+l}wqxA4Y*m@X}U!KHpuPYEV**0Y@}iv(+asgKh0i&`N8mATnzUctcaPgh6R zz?3j-#?=tK7*j4adV`?F00ybGBCqTWJMPKKr+QnKW;rl?@J0T{b_3R~g{ZV@oGr&> zd9gJ^xC46ia(ZYv?5%($AK63R4)^buRlgg_-98w6lc*LW+}h?O`{abc=Q_XbnbUbT zMJpdLaSTjU_tS_JD%&Iez3dsRy*f*29nb}PZIkf?K7j6s6zXm9sa!Ow6Q)hx8Zq(? z)vWU=z;tfIkth~BD?JdtUjm01VO$JQ3qh%cRlYjX>ui#p%T5Oh84OJvFFVWlxS046 zB6ht`B^}8Hr6_+q!SH5QXY+MB4JRaoT^?<<2P9HP=J<0wC#n}@#}&zrg9{4VMw~|# zr#xvaA0`W2O&L01k04ZtRuy2!2wl|~-DA@Bo}V{(54=*;R;#=@q&7sP=zi#%e=;2j zxQE{oc&0q!zQh4D_)*|z!qn;BY^dgiuG_lwf`m}rsxH*>E7u>oVP8PohlNGF54| zugzlo;bf^@;1e9%x3|x{Tp7cQm}|WryB#_|RWG>dG6aB$_he+Qc-}k*)%c;iC_mV3 zYg$V!IByhg*{2jo$BdJsXh(}hXu;UB?hNf1H(sKzp(bB>d=|-KQtn|0?tJoGkK53Q zQCooqWNCe@Ha8|waeI?OBqJ5hGba;+fm{%&{U(~C&w32lmFhH-Q%2V7v5-^fJ+*7$s z>tz%SSFk!KU9Oa@aY5gz6K_=v@pk@GUW}YCKW~6pp;i03Jg%%<%)}=nwMbOIlZ%Ry z3IBw;o(Bv;#h*Cxkg&nk65flXc>YYY?^-t=^CQ;_quuV8+YV(j?94AALX7mE|J06oA5CI`*(+j!~S)8922Uw_UDjS5;~Z_ z#{xX?2*P^#X)_5iV@h1CYAYbv+4*kMbP65=G6~#2H*WW6Tnavtp@?3Gzu)Gh?%t>H zz}&-Z91~L5Tw)_cR1mM8e`rNOfx?M_^|oIzQ49`Rks-0iI)Z_F?dPRUi4lGj=si(b_{Sk-*ekVC?@Xnw4M z0q!&s^W+HgX(2G{81KTH{c^BmpgX{;QvI{YBtuXNQQk?o;RM~rb{6TlSXgWa{&e7C zXv0Y%%(s=VT)d&;<#$@N3NiD!{7jlvE(~wCE63>z)~>iVxSl59 z!s;4jr}L3KiDKCR&9l+K$U*{7W=>-2DkXVQWZ?j-+9e^+~MrEzVY1iF*AdsJlYL%xjjNx4}|L z#9i9@eN{C34(k1ytJa#pdh^dSX2xlafP1IwCb*x86w;+`7g|SgT?E>+Gl5{%GkQR! zJ`{acrMF@{3zx^y?Cd73*qN=8!&XM&V9|A$4dXCb_9hClZI!rzTxBMV9cw?Z>ph>y zi;WVuZ6IwU4kUAY4atm>oF^*|8m-W6P-!)HHa(yQD*Y6Xa073YZTo^rS<@e($)Ttq zxBCv&KRCYkpy98HKHUv23s4qFTKZ9Bz3thq`JBe^KBOrjmlXu4;_o}yusLR0&*;oM)8u?jq2hOMTg zBz!e;BpLAx(f(*_ol3S{eL{Eh8mR<$V3Se0Ip);yH(I%;ZiS!?8%$Tn?{eLqA%B{t zLum_*HB~JaX>@%pRnf7(^>rbCdNxyrg3i<0Lf;DTqi2p3d{aD!Oj!k%jKuxM-(9LB zkkH%6K*#6VFc~aE^ch0Q)#(EgvAWZbUm&nk%G83Tv{lHO%vlKcWm7uVn$GW=_7>pw#Pglc3+q6ul~Zb zYBH)`QH^DC2|k|?mCy@pE2B#;QxLRe^m!57TYL%mjL@m6;Nxdt@C|hjdx1?o*PmQ% z{tUS}X5tpyJ3Kc3=Aj#L>ILi2zz%epsbyazcsowdGqcFIPrtRbS{vfq&>h~_3T)XB zX*bl_0ddRqx2gZ!uq+djQ&}AsmpA^i6;)!#`K)N9WQ+z?;+hJ)R*?cZRqMXJF_t6B zD|+YYkD_F`C#>p@ES;k4esk@p2kV>4Hh{%Y*1`?_xq#IE&@&L;^?i(AGR~pjC9|@1 z&hbZQ7PrtGx7ER=K%|S@PnR;uF;p6-2B+T4*A>xoJ0<3|%iO}2cK?oWA0e`GOE71B zByQV;xM^}kmpKaHwk{^_LztGQ1EJv{yu^Jmqih3qj4o=|CB~&T{-GS=z{lNzWfRwI zdVI>unOkswr*`1BIKVthe%$knxrO7)Yw&AArD1oEVp^asO%W^HN#vqh%v{ei()FEk zF(YGyxNHQ_$^QEmKQ+Ncu$!lxeQaoj=jMJFLD+##^iVHQZnF4w_e70uA%u&q4ydV# zM6DOGc|Ega80x-F`=mba+iO!)AEXfgpGB%&lrv)$@;oM8K zx^9!dy95HFeeiQlLC2xFOMJT-|4Cexq=4@*=*71c@X9wL>D`o7O-?_bmAQ9&?VGB8 z+dcy4ojrDxU~`9HpD#x-g#W)vB;50G4gfL}> zc$+crY&E$>UG%R6!a%bM%JL`f1R9>`Gqn-*7mPF@?OZ&K_Lcroe{(-(i@0(61cU{` zZno5b5_>4;m{>f6wjK>Fsa5Nsapv6z-7Jw4QH(d(i6XBI_%)pfENwjf{VEoLJg6_8oSEmmFiFH(L&0z`k(106V|zNEJaxTQ|d!_RozC| zx13!z*yCaNQH@at#t3vZQNwX3*OcDy?swS0I?4Q=A-@}&6ccHOrTS#%(6efdA>Nq3 z50+iAOU)t2T^P%8cZ8pQ>L?;nzfvoR3&~Q9L3oNWI&GK_rP)tT6nRhcVP}v7e)aZ> zA}k|xc=SC<;2pz!9_7;M*w?l{G?Siy6qjUzL%VE+tt(syQ@RA%*;9F9My~$7Tpd6v zqvYFw0PrKuhmr}dDS1<>N><}tcn9}Q%Z{-d5{IFMAxBqn$CY2;vC`tZWK(fE3URtG zK-&*J3=mnsN}yk zfP;vYi-m}t6+pz!%t^%dugyWk{ujpmt8@HqnYf5Jm^g^o{`%Sff;=`>P9jcDroS;P ze=(X496vt@SpvNtK{6BUF9j@>GJs*`C*oyd0&s!grEx%X(r$w6EdMI(g8w!goc}g# zZ2vZ_|M9W0{-^h!v20BLiTuw1Ru0gJG%+|UI|y24k^J9xQ`CWDRJK#GwJ@?XHu<~6 ze+t3>tpl^N{97be05Qt;v;PMX{(qeR2>&nfV3XrTE0+8;R z{LEq{IhOA1Ae2li`QUM_)(D02??o^a0TQXc3+tb#d(OoQ|*L^iLD8ZD?wEj2NAVZkerVcgb{6-ivWPKDY~tx7>Kl=P%38d(&n0N)#k~l_NfEW6aT{;*|}ktrd`_oviUjV zT3oS)YeKr1{O&M~1l{W41qw(`tg%a6Ib~^QecHs?@Ac?@77g{0L{lJ0p|+1+syrA> zBdQyNN9-Y+Eu=z4-}&I*aEHW~5G;^cAW&9bRmoJ&cEo;FUS7tMjJ6*t8TGArX{jee zGHMZDD^jH_pSO@VR7e?b{~cjpNilH++)zVV_vwKpM@RZ|Z!ogqo&?C3_0iS9`p$mw z%bdpLy?J67L2f}ID;Jh7U87*h!zDo4mmZ@*@%ua_T>6ZdET|+`QjnNyVmM6fq-r!= zptQ8S)OES?{P$fRX|d^%=GyoevX!M(T4q>~xOm3(X_cK9NKr!Aoo6mI<^BG4c`{AbJK~|bwj59 zBN@f+1!|o&tX;`sh^?-@v3h-+`BNR#lC4{>K{I+}_Dk>iL$MJ;MWg-o+w^8*b@S2% z4Xq$tVXwJc(=EBC=w>_@-ICUlfazvZ)Q-FSD{@^yGs)faT|A79>1J&4mUK6^aQDc_ zCu;AZy048G#ML!0B@O(8rEKlZO_`GG{kS0GbeJIU{>b3nDmM@=mo|(pq7o8+ov8NU z4V6n@s(9n1-S@L#t!--bDG_P@1X^xfMDuXZYQmA#COH&n!4_b^LU_2ay9>9t0 z+?-5(%V=zYL4Pf?qM>nl=@Wt}Ti2fSAay5f(MwUNUMOi?RdlfkFPz;wEwwGFuB2uJ zjl$>1(>ejs$4DBdb?g2lTs!{t-!cVBe`hU8u|^~vjxVdur>X)6&y^{{U503|33D>j&W{_oRB)Wd z-!{5!EHtw4@N?J$cdT$valav6JuIdqbzR$5kK2@uFn+}^okYKUi04y!j8#=3?wqo{ z_u%Pf<6`E!uoJPAIRJThz=>8#2gGTfm0TY4#%%`bPBZ?-oxmtA{Uu#FIWEjT?t4yd zwH*s24E#Janh=VD6DLtD|I*0+5!TJ>GgV23%q8>WJih%#dSZ4>u$wetJTO;Zkeq!Nn z->6vd#HYAhtlRH7EKpbAOSw$XkGuIOLr6QI&G!Y1wVhg?+<13-_8u96SFpO(SE$1n zG9N_#l;XBFM|WRWoBa9>TNO-VWz#?I+}!P6t2})7CKSrLi;LWDPl+qGE~^)dWAS`m zp#+3DEJ+Jq+-qKKJUqMvO4ypI8*J)FGbi!N0S-zx-X3{y==&+j%aw@HuH~f@=1j@J znj%Z_NZ_yP;`Z9?N_{dEjTqje4hA{@j%ZXF)r`@vkx}Rs^-ZmiZ&rsdcI0pYNIDu= z)a}f?0!S2g_H>z8=!au5RVTu<@!_S54{(dtm*vby-l$z8VBP#NVC4Q(4=2FIe+< zt}sPY?;1yqmV7XnWAxIR91BEC$}eTl5XJs4oby%=cN+F&FXmQ(x{5F2z2z{SeMp@H zp9uHFca&0;FW`m=@xbU1ei5<&|x#w`pdTkN zh9=bG)Fzn{(gXxDKZ?_&j(3XzS6z`~&yT$q-NN1J1U)x|tsiz1j6_>WVBqqn)?PpA znwJ5vhs4)-Q)3}W(hSlrkBjrCcLLUy2oK+`2r7ed z_Il&rk2^uy_PNuV;l_2|&O56&|EGiweG#X?CZDxTlT@iYI(`mgDmNQ z^LN@z&Mp?pKq1yWNh$Oz`Cv7KSrLH)c~WtTOyR>^m$5SSO8z0_;s2^tHg6-ehqw%G zz`T5(IUKfdg7*vrSUPb}WC=Fv_Xt?X%QOrm23Jf7f97(aY_V5(=o^#2#z}pC(^Zip z-TA;DcfRE6+TP(i_1@vPuY2E^zIwP-dL>g6X=g6Zt}HtB4*_3i90n=T(9y+sZMPEe z>Ag<()qlhvgRk^!%I$bvG;~ficcdtV^JmS6O03*+S|I4NvBIq#j}9lj1~$_##wq|w z6iktRjc^5%G8mu1V;g-ZX!3}8?1*vCm{i^67h#9|B!%KnyK6b!#(YwIVzeWpFQ3Pn z7I&STg;b`X1D{5o;uF7APFe1}YM;2;3E0yq!fq#?xVUN%uvi zzXwCvjVh;{f6%t49Q)III>K-%s0`Bf&z!~WaomZ&3Q@z7iD1d6UC=M9vn31~y>Wpt z#RsIMX3)|M{o*w2`^j58Coy%(JoSb~y2s=%w*dc3<$h%zPo>by8z+C9aUBY~Pg7r= zLmwL%+Ef%>()>&*?a?>K@O|4hT|;Z+dnNJHL5s5XJ@v`knm%KrM&7`T=Brct!Y_^} z*b1>7ek!#$txmjZQv(xZmi@5jiah6g4blUz!gz8rfQI3f>Cc@Wz+};Eij~{*5(Y64 z&nPf>7k%Dv%S%phe)9-4H>>9!@_;Z>(^r=;-wM!h^Dd|q!{tY1LXM%g<$#E(C; zj?lF0?4+5PwtRuOfER~mVTENh98bN_ahHOwe-G6oU~KhzcC*Fj4xJ)}{lP*JJmh#(!>0R4;hyn!j0Bu>Fcvp~To^Y>BK(W02cI<~nC)p+Q$^yZU z_c?ccnQomIVvXK~*CICg%w-*fSUjV!eq(9GF1v}@~I}wCQ@Aw4^WfkAuCUn;ME1QnE z2$;(mfy*t?D-Tilxwk1+8q$5Im1W;At_lDOWejOl{dACS_Z+a`d(B;9itML9 z3;%3gJ@ll)Ktb8ZaXT)wwl-3Hvr$W%FJL*A+MV-<+Xt;#!aP{Y3K{kf0{wXuCbwzp z+Y229QAZLM8S>w}lH`wZz z8&ya0S=qDQ(xUvjYNwUkp^d_+iQU>$GQHNw#RsJ>-dIk1i8~imj1tiNatevLnI8Z1 zW8pC&+cjtjdZ+M+wtdIGT)+G6imko2 z9=$Kl7#}k-U}kAyg?+T?a@oXW}yME(Z4}K@w z4%iw`+kbQ^Z&-#kUv6G41$bB%gsbSP@C?iEbjA}p;o?$g!0TF`2kc)Q7f!sB^!Hpi z;L%U7cE})G33iHduyvIq=Gqu(GDh$0I)usyr?<4A<5>n?u>z(z^cjr1-jV{bvB2pT zo{qK_h-jZ_er3w8{#0~Yw|x0vzE<2jw^Q(EDGYUzbY?k$5>?UN``k7C_GnM?JkN+Q zaK&uS`}@TxLxRdp1X25sAz#0)h!5AYfnPFK&!d z{z*8hwlwsp-39P;mkF5I4|q{Hy!i~DU~D2>XKcd9r|P|CQPG_H;ckZH7VU#oPgdVAn|<&N9oMB7P@A%aH7HY>RM5?f;rm{#o_715 zg!toQf|cW#S3V{=Zy4y)`h8KGq;KQ=Elm~YpL)B;&$$65nS#$6=9Zrmo!mC>T&x6a zkQ6>S%u?IrjZ{^Mz&hWTmT0|hP_cA^D2&DcfmVlEIaiE`_QTxU+VhZRY2-_BKb}uH zt%0HU`S^#*(?V@|7)G<$69C;nv);}hWdKw3yS>1MnTMYN4fSbp?RJ!}zBQFp&4_GF zTn-b9{vn_x@~O4V!1O@X-=Cw&KCTT~otM*5qFY)q<;*a?-O!y1TwS;|=3MXGi~QEk zuA)W`1R)yQ4KxDbv!8Yq+ww|k>hh~zTlSHJoKjAx0Xlnbiu?VvlqTHJ}X`AAqy)J-tPap=M|I(RmQ&nji1HwtnCs}eUQKf0XsCCy5h6_Xd_tz*Lxp$B z`$6V#x$^wnLa9>uJz;~dLWMQ&g4w{J1V_i^%v(z$(5%5eo>pVX<|=l({$b>kVM{E*nOK4_k*}{!m_GD-3KNJt-~SOpFcmw6{9w*) zMf`bFb~8NGtj@vmu%i3R_4SoBfv11qNz8qKw{r5EG$_T~f3@IRTZ=LH8@rm?1Q)Uu+BuatX{=o(wwB96Pzab?{oTd$`xJ! zj0^sba*LVRc!Xhlk!98}D&B}Fjnifl>NM0ffE{Q$u_h+|}SeYaP$pFKgH zLw07kA<@BS)=Z0a{~gTdGl7%K#CujP-jk+%wG(#bnhJ@l4$Pl%y=8yUDdnhNEX8$% z-6ow);~@n1h|1R%w<;9h}_2Eg?~?TiWH4RM3Wjx=YS(n0R~ zj+kxcoiyE)o&dxAqwNpQ*Oqk14f`4UHKTQs@H=+9C1mHZwD|+AK03&1T2E6e|DmyaQ&*wCfmU5n2Si%2|3Gi();qL2j|heP z33a5|T(85E{a9b)4n7fR;3Tyk?9m)8W_vKe-rNTkz<6;r1P0P#vFYE2!TtDXUSVWM z>KNx54u@jkHy6yRp-75*t?--x=sEmirt@xZEIpUlNI1B0$3sqAb+IQfqki-9 zZ?{yl-nmcdxORwANB+nKdpwHtXR13dCyjn{y|#Qpq^!ZDQGB?AsW;0=$MaKhcv|6CY3_L z2M(ePC(5!2@h1#=)y*Z(r8+FZKK+v9`O`Xg--IOlpiIPDIAk9EVi1n6ZqbuC-D9*lb>)M^Q=7QQ zQQlC=PYjPa_wl1DlG)_Q$-Kivla6t_t%bky9MQ0(kd8rC*hsMzlPiKc34}Rf$WmO8 zy7F3ubjhmLjletNEGus)i6*GfI%|mgZ`OJN7P^QS_Qje$f3i zkMn4G?vwe;J~GuhDpVe~O;?tlR2+}`z6c3YJu^d!fPIzHCFP<%W!iMni}ck!FiA=r z{81>-Y(@f^*cGnop9*mVT$SEwWw%kd4d&x@w5Grv{ZsP==h z6SHmFaQ`FK+=JO0V?DIOR(vlN9WDpLG)b@^q~A~*QOC-qZ>1zGNO750yWkoexX&V1 z-_cXf-s5M-Pe(xC-xj9lIiM@Wh$eLG`TD+8WmmKxA2G`qe;G$FSRg$tBU#OJIN48- zFAVam`rc}WCpku_Mo1>^pu%x|e%BMO40AZfr+GOxQp?atR5hvLBVBw64gM#IDpG zku9^(*warK95JUX@Y)npz1y{Wh$sJ_ReSipc2_faDW+VdS&2Ep^+}@Dk)444XvBIk zIVFV%M>Le`UUN(A7zS%Lg4)&vqyq&YRXsQXSfCut*Gv~ZZ!|E_SNTZs*V~*;GJK+pE z8JEos*5;c5g+6xH9J4W>^tMhk@=w;3JJW86f)u^tWW&Z6Zf+kaKIroZRD}X`QbetH zBPT5n(pV{%h7}`5SmhTnY^+#FWTN4^Gx8xv3LO>`C3?DM5}lcgVYI4p zVO+z!G&f|P%w*^2GZ;yF(k5If{;al5#N73|X0wyD5MDLtYWX<93fgER$=B_dysIO) zQ*!?(L0~Blb*ycdxW$76HaUTN`_P1!Y*t3QUd_>8lrDjaJh!il=?{lYxqEz%B5+sj z=X-79R)&py-ghTp*W?fRr|VLGq_U;pNuwSnf=wjrPkOClW!i%*E|x3Qs|~AFE23wK zRlm+>@9I5G2!%*^Y;{%>dxJV~FIu##WW%fB*{rr$*mI6)s~CMeaZ>;cE-j6LdxR1U zuA}{D?OAmLJ)wZZ0f9#j3C<0FaCq8d^)PFBVncbEr`74T8{jT!)wyA4Fj|hQZuQu@ z8B{5StO^7BANC%3)S^c1$OE%F3{S7HwIp(?{_}VxYVB|(;+Q`4`AD=0RG8jNH5~9p zzmXnq>1%i~u|M%NOHJGhEg zy%}woV($D7#WcT4=wFM0{C|sqAd&DNdJr%Y4gcR5fb2kof0;giwf~(MBKp_FAcz>`&pa@) zT)zu~KwyyQFUtFy9#}{i{AX3cAYl;^;Lk*m=wIbR4*um8{XbhuSDu7~cw)R4y@)ujpt`%g u2lFrb|Lae?9v(=SEm9WQL85N2XV%bXeo#AmTp SD{ - // The functionalities as Requests (Operations) cannot be defined yet - // We could consider using flows to designate the functionalities - } - - port def Authorize :> SD{ - publickey:String; // just as examples - } - - part def ArrowheadCore_SoSDD :> LocalCloud_SoSDD{ - part def ServiceRegistry :> SysDD { - port serviceDiscovery:ServiceDiscovery subsets services; - action ServiceRegistration subsets ServiceMethod; - } - - part def Authorization :> SysDD { - port autorize:Authorize subsets services; - } - - part def Orchestration :> SysDD; // short for now - - part service_registry:ServiceRegistry subsets systems; - part authorization:Authorization subsets systems; - part orchestration:Orchestration subsets systems; - } -} +/** Mandatory Services and Systems */ +package AHFCoreLib { + import AHFProfileLib::*; + import ScalarValues::*; + + port def ServiceDiscovery :> SD{ + // The functionalities as Requests (Operations) cannot be defined yet + // We could consider using flows to designate the functionalities + } + + port def Authorisation :> SD{ + attribute publickey:String; // just as examples + } + + part def ArrowheadCore :> LocalCloud{ + /* First the system definitions (SysD) of core systems */ + part def ServiceRegistry :> SysD { + port serviceDiscovery:ServiceDiscovery subsets services; + } + + part def Authorization :> SysD { + port authorisation:Authorisation subsets services; + } + + part def Orchestration :> SysD; // just indicated for now + + part service_registry:ServiceRegistry subsets systems; + part authorization:Authorization subsets systems; + part orchestration:Orchestration subsets systems; + + /* Then we include an example of SysDD specializations wrt protocol */ + part def Authorization_HTTP :> Authorization, SysDD{ + action Echo_behavior subsets ServiceMethod; + } + + port def Authorisation_HTTP :> Authorisation, IDD{ + protocol:String = "HTTP"; + } + } +} diff --git a/sysml/src/examples/Arrowhead Framework Example/AHFNorwayAppSystem.sysml b/sysml/src/examples/Arrowhead Framework Example/AHFNorwayAppSystem.sysml deleted file mode 100644 index 171792fec..000000000 --- a/sysml/src/examples/Arrowhead Framework Example/AHFNorwayAppSystem.sysml +++ /dev/null @@ -1,109 +0,0 @@ -/** This is the Norwegian use-case for Arrowhead Framework */ -package AHFNorway { - // The use-case is for Productive4.0 and Arrowhead Tools - // The system is taken from a chemical factory - // This is focusing on the monitoring of products when delivered - import AHFProfileLib::*; - import AHFCoreLib::*; - import ScalarValues::*; - - port def APISService :> SD{ - :>> serviceDefinition = "APISPullService"; - :>> intrfce_protocol = "{JSON}"; - :>> serviceURL = "pull"; - // functionalities - out action getAllItems; // referring to generic functionality - } - - attribute def Subscribe_getAllItems; - attribute def Return_AllItems {itms:String;} - - part def AHFNorway_SoSD :> ArrowheadCore_SoSDD { - - part def APISConsumer :> SysDD{ - port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry - port apis:~APISService subsets services; // consuming the APISService - :>> systemname = "UngerApisClient"; - :>> address = "Unger_network_ip"; - :>> portno = 0; - - // Now calling the remote behavior through the port functionality - consumeditems:String; - perform apis::getAllItems(out consumeditems); - } - - part def APISProducer :> SysDD{ - port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry - port apis:APISService subsets services { // providing the APISService - out action :>> getAllItems; - } - port tellu:APISService subsets services { // talking to TellU - out action :>> getAllItems; - } - - // specializing the functionality implementation towards REST - action def RESTGetAllItems(allitms:String) {/* Getting all items into the String by REST */} - private action restGetAllItems:RESTGetAllItems subsets ServiceMethod; - bind apis::getAllItems = restGetAllItems; - - // specializing the functionality implementation towards MQTT - state def MQTTGetAllItems {/* Getting all items into the String by MQTT */} - private state mqttGetAllItems:MQTTGetAllItems(); - bind tellu::getAllItems = mqttGetAllItems; - - :>> systemname = "PrediktorApisServer"; - :>> address = "Prediktor_network_ip"; - :>> portno = 6565; - } - - part def TellUConsumer :> SysDD{ - port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry - port tellu:~APISService subsets services; - :>> systemname = "TellUClient"; - :>> address = "Prediktor_network_ip"; - :>> portno = 1; - - // Now sending signal to the remote behavior through the port functionality - state MQTT_TellU { - entry; - then Init; - state Init; - do send Subscribe_getAllItems() to tellu - then Idle; - state Idle; - accept Return_AllItems - // Get the items and do something with them - then Idle; - } - } - - part telluc:TellUConsumer subsets systems { - port redefines serviceDiscovery; - port redefines tellu; - } - part apisp:APISProducer subsets systems { - port redefines serviceDiscovery; - port redefines apis; - port redefines tellu; - } - part apisc:APISConsumer subsets systems { - port redefines serviceDiscovery; - port redefines apis; - } - part service_registry redefines service_registry { - port redefines serviceDiscovery; - } - - connect apisp::tellu to telluc::tellu; // from TelluCloud to APIS at Prediktor - connect apisp::apis to apisc::apis; // from Prediktor to Unger - - // Then we need to connect the application systems to the mandatory systems - connect apisp::serviceDiscovery to service_registry::serviceDiscovery; - connect apisc::serviceDiscovery to service_registry::serviceDiscovery; - connect telluc::serviceDiscovery to service_registry::serviceDiscovery; - - // Same procedure for the other mandatory services - - } - -} diff --git a/sysml/src/examples/Arrowhead Framework Example/AHFNorwayTopics.sysml b/sysml/src/examples/Arrowhead Framework Example/AHFNorwayTopics.sysml new file mode 100644 index 000000000..d861bb6e9 --- /dev/null +++ b/sysml/src/examples/Arrowhead Framework Example/AHFNorwayTopics.sysml @@ -0,0 +1,164 @@ +/** This is the Norwegian use-case for Arrowhead Framework */ +package AHFNorway { + // The use-case is for Productive4.0 and Arrowhead Tools + // The system is taken from a chemical factory + // This is focusing on the monitoring of products when delivered + import AHFProfileLib::*; + import AHFCoreLib::*; + import ScalarValues::*; + + port def APISService :> SD{ + attribute :>> serviceDefinition = "APISPullService"; + attribute :>> intrfce_protocol = "{JSON}"; + attribute :>> serviceURL = "pull"; + } + + action def GetAllItems(in key:Real, out itms:String); // Defining empty behavior to be filled by provider + action def GiveItems(in itms:String, out ack:Boolean); // Defining another empty behavior + + port def APIS_REST :> APISService{ + // functionalities + out ref action getAllItems:GetAllItems; // referring to empty functionality + in ref action giveItems:GiveItems; // referring to empty functionality again + } + + port def APIS_MQTT :> APISService{ + // GetAllItems functionality + out pub:Publish; + out retall:Return_AllItems; + in subscr:Subscribe; + // GiveItems functionality + in publ:Publish; + in retack:Return_Ack; + out subsr_give:Subscribe_giveItems; + } + + attribute def Publish {nametopic:String;} + attribute def Subscribe{nametopic:String;} + attribute def Return_AllItems {itms:String;} + attribute def Subscribe_giveItems{itms:String;} + attribute def Return_Ack{ack:Boolean;} + + part def AHFNorway_SoSD :> ArrowheadCore { + part def TellUConsumer :> SysDD{ + port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry + port apisp:APIS_REST subsets services + { /** The body here is to get the contexts and types right, may be changed later */ + in ref action :>> giveItems; + out ref action :>> getAllItems; + } + + attribute :>> systemname = "UngerApisClient"; + attribute :>> address = "Unger_network_ip"; + attribute :>> portno = 0; + + // operation call to GiveItems, while actually sending the payload + perform apisp::giveItems(in allitems: String = "All the items", out ackback:Boolean); + } + + part def APISProducer :> SysDD{ + port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry + port tellu:~APIS_REST subsets services // providing the APISService + { /** The body here is to get the contexts and types right, may be changed later */ + out ref action :>> giveItems; + in ref action :>> getAllItems; + } + port apisc:APIS_MQTT subsets services; // talking to APISConsumer + + :>> systemname = "PrediktorApisServer"; + :>> address = "Prediktor_network_ip"; + :>> portno = 6565; + + // Defining the method to correspond to GiveItems + action def REST_giveItems :> GiveItems (in itms:String, out ack:Boolean) + { /* Forward itms and return an ack */ + first start; + then send Return_AllItems(itms) to apisc; + success = true; + bind ack = success; + } + private action rest_giveItems:REST_giveItems :> ServiceMethod(); + bind tellu::giveItems = rest_giveItems; // binding the functionality to the method + + // initialize the asynchronous communication with MQTT + state MQTTPublish { + entry send Publish("Return_AllItems") to apisc; + then done; + } + } + + part def APISConsumer :> SysDD{ + port serviceDiscovery:~ServiceDiscovery subsets services; // communicating with ServiceRegistry + port apisp:~APIS_MQTT subsets services; + :>> systemname = "TellUClient"; + :>> address = "Prediktor_network_ip"; + :>> portno = 1; + + // Now sending signal to the remote behavior through the port functionality + state MQTT_APISP { + entry send Subscribe("Return_AllItems") to apisp; + then Idle; + state Idle; + accept Return_AllItems + // Get the items and do something with them + then Idle; + } + } + + part apisc:APISConsumer subsets systems + { port :>> apisp; + port :>> serviceDiscovery; + } + part apisp:APISProducer subsets systems + { port :>> apisc; + port :>> tellu; + port :>> serviceDiscovery; + } + part telluc:TellUConsumer subsets systems + { port :>> apisp; + port :>> serviceDiscovery; + } + + part MQTTServer { + port getTopic:~APIS_MQTT; + port giveTopic:APIS_MQTT; + + state Serve{ + entry; + then Publ; + state Publ; + accept pub:Publish + // store information about who will provide "Publish::nametopic" + then Subsr; + + state Subsr; + accept Subscribe + // store information about who want to receive "Subscribe::nametopic" + then Idle; + + state Idle; + accept Return_AllItems // going through getTopic::retall + do send getTopic::retall to giveTopic // forwarding it through giveTopic::retall + then Idle; + } + } + + part :>> service_registry { + port :>> serviceDiscovery; + } + + connect apisp::apisc to MQTTServer::getTopic; + connect MQTTServer::giveTopic to apisc::apisp; + + connect telluc::apisp to apisp::tellu; + + // Then we need to connect the application systems to the mandatory systems + connect apisp::serviceDiscovery to service_registry::serviceDiscovery; + connect telluc::serviceDiscovery to service_registry::serviceDiscovery; + connect apisc::serviceDiscovery to service_registry::serviceDiscovery; + + // Same procedure for the other mandatory services + + } + +} \ No newline at end of file diff --git a/sysml/src/examples/Arrowhead Framework Example/AHFProfileLib.sysml b/sysml/src/examples/Arrowhead Framework Example/AHFProfileLib.sysml index 214b1db6b..9664ee56b 100644 --- a/sysml/src/examples/Arrowhead Framework Example/AHFProfileLib.sysml +++ b/sysml/src/examples/Arrowhead Framework Example/AHFProfileLib.sysml @@ -1,39 +1,46 @@ -/** This is the very start of a library for Arrowhead Framework - * I will be experimenting - */ - -package AHFProfileLib { - /** Services and (later) functionalities */ - import ScalarValues::*; - - port def SD{ - /* operation service1 - * operations do not seem to be included yet*/ - serviceDefinition:String; - serviceURL:String; - intrfce_protocol:String; // which may be "REST" or "MQTT" etc. - } - - /** System of Systems */ - - part def Arrowhead_SoSD { - - /** System definitions */ - - part def SysD { - port services: SD[1..*]; - systemname: String; - address: String; - portno: Integer; - } - - part def SysDD :> SysD{ - action ServiceMethod[1..*]; //means behaviors - } - } - - part def LocalCloud_SoSDD :> Arrowhead_SoSD { - part systems:SysD[1..*]; - } - -} +/** This is the start of a library for Arrowhead Framework + */ + +package AHFProfileLib { + /** Services and (later) functionalities */ + import Base::*; + import ScalarValues::*; + import Performances::*; + + port def SD{ + /* operations do not seem to be included yet*/ + attribute serviceDefinition:String; + attribute serviceURL:String; + attribute intrfce_protocol:String; // which may be "REST" or "MQTT" etc. + } + + port def IDD :> SD{ + attribute encoding_kind:String; + } + + /** System of Systems Definition*/ + part def SoSD { + part systems:SysD[1..*]; + + /** System definitions */ + part def SysD { + port services: SD[1..*]; + attribute systemname: String; + attribute address: String; + attribute portno: Integer; + } + } + + /** System of Systems Detailed Description */ + part def SoSDD :> SoSD { + + /** System Detailed Description */ + part def SysDD :> SysD{ + action ServiceMethod:Performance[1..*]; //means behaviors + } + } + + /** Local cloud definition with devices (not covered all the way)*/ + part def LocalCloud :> SoSDD; + +}