From 5bcfd14d83fba1d3bbdb6c44a0376e0d22918001 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Mon, 24 Jun 2024 15:37:42 +0200 Subject: [PATCH] Added examples code --- .../diagrams/S4INMA Measurement example.png | Bin 71351 -> 78775 bytes documentation/diagrams/saref4inma.xml | 1821 +++++++++++++++++ examples/Factory.ttl | 52 + examples/Item.ttl | 45 + examples/Material.ttl | 49 + examples/Observation.ttl | 67 + examples/ProductionEquipment.ttl | 53 + 7 files changed, 2087 insertions(+) create mode 100644 documentation/diagrams/saref4inma.xml create mode 100644 examples/Factory.ttl create mode 100644 examples/Item.ttl create mode 100644 examples/Material.ttl create mode 100644 examples/Observation.ttl create mode 100644 examples/ProductionEquipment.ttl diff --git a/documentation/diagrams/S4INMA Measurement example.png b/documentation/diagrams/S4INMA Measurement example.png index 7ef042ce8dce8438b434810d43744ecfb1a35752..b40c67964956b90207edcefd4e539e2be73cfcaa 100644 GIT binary patch literal 78775 zcmeEu2|QKn`hTQsgpEq(nI^Mso^3-3NukV{$Bk`_NEypiDkVcnnUx~brff1KLz%~j zNalIg|6S}|&T#K<_@8_3`F-v=Ic2T&uJsP<8NSc=dEOOvT2qyrl%90gu3h9O)R1R( z?b?mlwTmDGwilcUbMY+!{}73H%DqJEAOXt!ynVwyy~Z2#N3ti1G@FoD~$}5>^lqhW--d z6A%%-u-)Fw+R_R4APv+dTL%X-E+G{Jp8$B&VGT2LTPHUZ+J;M55geaza|m*9c~RZg4SI^O7@x2xIDJ@M?X1QrE+HlGyMwL0 zCHP0x(%c>e-D2Tt=E-M^0?ma)_(b>wg~2%`8&{MgXr&?u&I#~|3X6*I2?>aSD?jI| zA}j!10_Swhtjt_(ck~A>gNLOn+7_(I)(ZW2GIYh#&CGiHvpZ43vQpeh;p^Cblq+VRt&7LGM9h?XbSxZ zD_Pi@S-YA!f&(WrFrTfloCXWdi@V(x_m+fh%r)I?tq@}8y1sW^JMiVDBl0i4s-m!<7gF9|@xr9U= zz?>A_!7tX(FP1#M zZk9UEWFjY{8z_7R(4*8j=-3HjA!du_*ch> zUmc76>R96E@z(ryJdY2W-_B!bemjq$`RzQ0=C|`0n%~Z2Xns47q517RhUWM4cx$zH z%y0Yn=lr&hf6j0F_~-n#kGJLrmI$)`TS8{(>IMlDq?e!tbjsQ6rx^#;$tKT%j*kPl1?dh8DyhCBBBX%K)2Z@018VGM+E=ge?6$oj|Ap{Mulhhx1^9l79(X(8_^0S? zAOGj57C?3mN+<`^HjEIqva%F4H-~I0z;yPOJFZxWNn8Z7|8G-9LGk|!$_VW0uayy) zC@Y|gDwbw$?yi{^m)QKc#HFRf+FBGKmxqe z1-pJx?+2`PWJIfX(2Jh=rV?JV8g zym6t4nY$YbSi2oC)6&U80SYug6r6!9qotRvoBod9&qKchU$cD$ z2>}g!GbFU&TL(@6g>2mf@DlVua0uP^cYtR@R-~bUC%Zz%Na8oWLIFQQ;^%)j5yTH-dzJqegAfL^1i*ej0O>zpE?ny^ z2>4&M{0&kBp#E3R2_K8O?+n%y^ei1LY@Mu40MlY)>ttynWTJHuZRzR(-Z#q0L{Csa z5CJXV-(lPqcKjLkY`d_(T^c^D{kMd1BEJdagb_gMA;I6_)P%$kP>c+n{mVEtoGaeJ zrJ!-x5w)d$fF1jd*Zb*`%pJ_oXj=%n|I%gQ+?hDIVCHI$JAypVFa6j;@QVb_w_%8p~9&6iq?sV4pN208(&;V*|N$G#r3IB=y4;MiG zj)I+bML7d@3D7~1MfjU6`I{`+;)(w)4onR3%a}|^;CF}*e4O@|ab7t4wnMk@0Pz>t zQW1wO&ssVHh1+68@a=%X_|f!lJp`oW-$3%;3M7A{hr<6C^iU8-;OtPuza)y>;x_

;w;%8iarGdaUK0Ra8pp^*LV{j0^yO`ACET$ zMMQ9z76&+m5IB9o_xYa(I0bR6+zw^Ld%GX54$5fa85bPkvcoy*SURCmuHZ3$lP!Of zEx$-yZe!D*iOYWrRux1D^9kZ2X?&b1h%=x&*%o}7;V%PMK{?u1sJBBiw-oU=s`ob% z{TqqyC=d9nXqk}s{|PPoo!S%}rRiv9VX5q8Y3>f?6n>**J5p_b96$oV7#ZmlNfk__^$w^ zza~>eaBGS0^FI)j{^J^z9cjMbsN^rx1%Fp${%4ns;n35+wj%R)Qh5+)gDCo);PNk+ z%EM#g9qT${~ys$918eD^b<_^Z+7Ny{rtb6 zpCWkPNe_IQKSF-=P{{%tk-}?Ete*T}(PkavLudbi}xRmCvNbGFUGPq>p|Bl$% zD&pRva-fQ`ABEfhlR~%OBX;m{!XL=&fMlwKC=P}FS;USgF6oRXb`ZE@JjwE}Aa*2h zbHw*4j^i5fef|d$JHM^L!KeQJib{#!7xBMmTmMx``Nz|(0(?TEV!sqvUYxxCSvo5A zD;>q_EM8y!1v-il_~n#^CH~`e6snyCi?VaWJYGj_%+R`9dw91R?5IKgFOwm_vq9A{ zc+UnY6jVL-&r53XpI{IN?f(A?!?$PjKQ8hHv=+1yf2ivd6%)rr4u6tbi3o`Ci3u{CQxd{Esehr8i3@^l>putZYn2oIkFWa1Z;ji*_59cyw?oVRKl2+nwf@%<;^GKF zKKzGP@FFITvnV?v2GJiMGWg5XTR^J*kL})BTSu@V+RV{;yU~uf^1riv5`UWQ+gY0U z1CDGN;Q#+jFb;<7Oa$Zibo`-4Q%n@UH3TnH+ppozGNHoYyGy^SA^H=_6-7mae%-AI z-gx58^?zOrffukH#uBh+F7D80iWI@ewj_831bKzTw?F3vB3fYusNfjifD54ve!S4& z%S#FtW^R^{UjIg=|1TI?vESCUA@Co5*BIO~ivnY{SA`#;HO0-L=pdARPPl$)E`Ry`Gn6A_4K1x*EiJ*eeYCAR`tN+i-}(Hle9X_U z-E7yD{+p}0#RU<3_^&qNbsX>Ec6dEOVPQTAoZ$c2j&EzX@IUx!B7P_F&kt1Y{6fao zRs1J0w=dvsfIe=z{UOD0idU1ncCqd{fmAr_WjvlhQW$Y=?fcZ;paP4~l#~>0TLF>7 zCw41eQw%=2`%JLV*~4r>x7D7UX0r(YIM1zfi&UGP?ZEw8=?cNOzb~Ah`Y!Q$qGK(- zbg8qE`Sn<_q4+?=3v#15%VjSss-&hSBSX0 zmpJWi`Ce_2p@I`YKg-{VIPLQGe~i0=)VQGaZ0cG}+6+@J{q{w8z&&_$S{RASxm#JF z*)4agGmlNE5$S?j-=5$`t=3{go`N6J49@dV=VR|v zR9x9@tHK!#D9Gz#D~uEzK~^>d;lSF&r6>rr?rtJ|18t;t7fgS?`co8aL$dV zp>S(8?GH_n{$rf{i%|N?_wMaR);DPRUw!ibepzm~x5Tr6S>_U>0A+%d=PTpVOUekj z7#^)xqz8_6)bb=Twr-R=t!}PO^-38GHzp-5jL{?PI;ICIvfV~MPFg=JTg}L~Z*NHS z9;RDs^xrg}=q@NQ@mt}lmi66S8POyBX@&jX%V(!TnD}qx&xQL=mlNye zUR3r0k4<2EZCQ74?BkOgr3-Ba9`BB%b})JNnAOK2(0xHS_=;=j7QMKaH*Tsj+b(_b ze+|yp2|T3QRn3SFH*#-1w>VMosSD9=Xg>A&dznU@NUiMZR}P=iC$amq=Q^#EB+O{C z`bkDVy?(v1GLqymmR)e6J;!LGNr{rYli%-qC5=|cOf?ItBA6Wg`SV=^Cl^N@r`H=E zOT+}!n%^6xrli}e+l_tdb#n}DSLQ|BYIr5MocKH2$bBzb0?h7)rH5{7zg6L71y4mCN&03!EMX6>L!HXT{QJsM# zH2Vma`>#|+#ff^&)Wc|9(j#**b|1sLXFX5SgcW+OFnLfryzn!>pUXi3Vw zz3y0k!keM=`+PA++{fDT33l&2RKzh=ww9Cc*xd%+waw+#`P?MG)mo>L2~q2Zv4^#> zvtQ~)0{8Xp%_&*^mYEQ+0oI^%ezdt)hC$3JFW0(Hz&u~Do*M^LsoQ0?+oKE-!lHA;PeWu#zUhjSD#8JOS zma5q|yD1NOi^G(VI%zW>DcphZVQ08o$Q7gySS*f*^Hc#Z+wZ<0&b1r?Ui#51& z^jtjKWh@C#A%+UW3pBor=D6XF!*3X_F74f2c;?B;1_qbUVLV;H=4M&c-V(KGVm)>t zFOB9%`K-G1weKxDTJ_i~JXWJ0pLlF6v`fv*zdQD<@Y4Wqd1xx?(W-Kyy6L?G?A$!s zG@9Sdu9}YZmMjtIC>PQhv#r8t0!gv_0_)*|?BcMB$Nei8N-yO{Fw1n2?B`!Uo;t&B zcaL~=4G3}aT&kJg&~JLZ zUR@X)`SwI0ByfsK^04;c9IXz5U?`rYF$C&mIp z1~lFr;!e3feMFi-mC60~TEa;B`Bx72>lRq^!cX&K>*37%zg61HCwvH{=jV)c7AAdU z+TuT1G$M&Q{oHR44Z^W2&&8Mwqe{%;`<$$P7O5e=QB8KuGl((n;@j(%8hxores-~j zu3?vfC`PJkCI?5$G!E`R*%C<4-^Y#Ac&rj(DBBF|TTeNW&eKyaa;fXTiQte?nn-O|y$=tF@Qu*vSk2=E*+!gAx9e)lHFn2>{(PP+#%{<%Y@uv@*TqQ(8 ziD$)}%2up=fan+*lbzUX&D8T8uueQYeQWrH8qcR7`)@7jgGA(gN%Gn+P0IyoRnYVnSeKd9p-&)af)pg2YDlO5Ulxmon@17pCG$vFgcVxQ)Qyqj8N{hix zPVx{%7p;8Dd={=m)~{~Ex}qImh&>3`BZi}+p_L1UlbAlo@Bzu%v!{$9yc=s(pDx*rVPF4_Ehvp1>E=^a|63( z1v|jeNQ5E`nm+96C{B9+w16~exu#rq+2s-%ouS6lup1A=U6O@|l@@L^iLBO5QSp1- z6<9vPct-xU#Gdz%NcvB5RTBpUF4Z0j93!U_sw|DEqCtcnq2PKWjIDK^CpNp;t5dP& zbf^xvv5`uXv9@fZLk4L;zig(!XgnOLC_;B}F-Bv(`Wxe$w6FyC)iL&=^22=5>f+T# z>MhI517}-tejly`kcD7idd96NdCuhEKJ#gFPP8Iz?W*y>i2wJE0;$CNa6W1Nbt!!| z5z@xp5-fp=U-Fxn&71>kT<+~MCrve(r&CZ;JGjIit+*iZJgR6RsfS*%A67RgAEduO zkg`Z(z19}f*^S-(R$YNand8%u=WoK}Syt)v35$l>Jj3F8V53X8u|zXM_{p5Pg)9k% zJZk6rEjU9%8w~G=q|3KgTgE`XiYhv-w(v+}7J+(;MVoK+r95gxE_cT2HXK5}VFArI zozG>TfPm2nZg%AoHtm>XnpCH4g|uJNDZrc&n(qr+BEjb8Cp0zwGP18 zAf;Yw949mq3-&X441ewJ8AKhPe{0R`2F}miDE}MHwiFXkg|dN(9>ShISF5^9`!PGA zH{0oqvquaHoQ#Y!no4o&%}OW>q)VD z5R?5VSnJK)^mumx|M~+rJg|j8xx6A|!hYcTP!0e}Ipy7Udf9KNC zp92Bi?`DSwf@$6j!nsbcz9|&oDJ}PpEr>)CQFGZXZswO$@On8gs%AXJDGgWx)&*!7 zn~ZiuvT(KAX`T5i>IQR@mWxw;OtRr8T&HxY7W8^(}-=*jT;aocAk7^&vN)>C#= zYAI>wJAm?tdwdky9u%;FbhW05`P-wMFm)_*4c1%@F=A-S`opJ!oDKAcw zoLd*H@kM2!{IQ#9Cni>OrncYb&X*Y$2Qz&#^8|!X(na)f+g9WPup%ciM_WuUDuWs5 za_W>YgEdN&TQL5!yJw|A);AcHWc%F+$-aDpTX*o*JJE?4@3xfI$BT8J({r(hbY*y% zeLs3k^f^AG^zG4o)@wRRw*- zFkFLY2yTOLMVtz_asg>Q#%>fHM)Xmk<Q*vMTtjk4S_j~m-i%X}6Ds;crd@meb zH?1=CnNL@EwXr0ZHT8H&O8aI17%IE{jhX0ZYpUaP&52h|gWPK_^_L#3&Wz~hVn;l9NlbRCw7d>Wz1p9owdagc zj$v>d@776(z958-XL4&&SZt!%osG<8&ym$?**Dq!Hqpm2ocxevmFyvzrpROGu_qJJ z`T0d-2Q&3XNXMkUy02|SF^T%jo}OC`c__KrL9GHa2zz{^3oRqnrOM*(^ip#Ry# zlJ>E)t*Aah(<_h~;Uy1;-{vbdaa-Y2O7dbvl$bbb~2V6#^G!Q5hIPLBCeL&qgVwso&$o^xXQ$$Y1mGMRD(zAF^< z%_n2iYH4J9kK+`_1u#G~Vl8%u@4#5?ianu-`*$n>RX#ibpU&KaBp?eCDSfY}u+!_}nd4J6PSNrG@X_PME7rto&U1ni|H) zdITb)Yft`zu3}}D!pcq2C}~F}RjpS{nZx?!gewtB`^4S)->GL>d}(oB?eu9L?l78Q zDR3u~drp_sP!Jb!p}RUJSpN&UuDkh~aRF_JmhnD1lA_g`s~o=X-!fysi_R^oY!?D zr(RIVtaiV=rdlF-sQR9QR{dNWKRKm&pTC=G)vkq}n66lC{1oOkb7cMa znTy5So=KjFS_x>NU{7lXjED=auC26tC}DhM4JGv@g@#&jePrRa{s(N(xZEDHj+|bf z9(7SNT1lbmvhm)vC>jYyY59SUVH3YzyDyqYFTY{i?MHbsxeA5NFu~dRi_pVG8PDB- zRR+puDQldPyi*V9bHez~Y3zhI;T;7i6V6!c^?Ygs-D@Hu*830uY<9Q@ z7{zwqG%@z*cSLZ6&>0=?y@TDJ*|9a=>Mh8IQ=Xw$P{3RJDlwdUOO4PrYt{fZMFCc$ z*7_ne@JgFHXWphKAcKb9yM@4(RpgVa#PYPy9oMEgAll0b)KvR1A{s(JH+SDo3yZ%$ z2`Bgjx?K(y&A85GmyCV-0KgJ}G55}@fjPKd0S$$lnb`Xo2*T(;HL0A-MQWVwaEk#- zf{bXBXNI68#c9ycs#uB07f9qFLs#0-yJ=yh51fFYLY!+21ixwsPX5EOLwF0qaWoS0 zpyB;d3aaS{@N|^T;|%>|?xPOHC&02MtJt$ffq}6T9|jGDd)WxfsPxx*Ltc%H`D8of zla%E@x?aKa+;hpwK=@hy9mnTFczA8`JgxJU-f%Te=Pp#LChv|BmvC$rzOS;_oIb;l3M%8NrWT3vf+4NUB^*GS{#I7Du;Y?xNPJwMUi9ux-=?PIlepHMsEh`hkh@myNIZjEXx#So~}nWtQSE zgVhx^ui9tdl6G@!1Tfx{U2>q)1bA{IV5hTb93fgZGj=SE(U-dhJsnh<^SfQz zN_{+eg1-`fPFIPbCoy^&X3S5*9<31;nZ(g5|@@<^&*}Ycy(k zH;VzScTDGL_?%{R;|upO-R>fEDvbz?F8uQ9@?tlt+p(Z`*iX!V)0f8%5aXj5+TDBi zIV%Ph7al~BC+=5tkL5M60%D&Bau{E(q&Ft&RP6DxnkHmphciJ$`^M^&|MxMBOemM1 zYWagen`8}SeU4Gd_;dwjL6ZMwr>6J-QFpF+h&=<9vKqse{C4A)P;TNbSP_$rbv}Xh zeW+G-{?efwB}TTprs%JaLb%;XcrKN4x=m|~@@dm>iT837`oW{ACWu?VjesgG0QlBSFHQW;rtrNZ2)Gv-8<~Nmkpetvrg=j zuleiERr|=~V7RC>$NtI?9(@=>sRdpf9I|KTYQdhH0|$^)iEJ2Tsn3#!ne%PH2eng3 z48hmH`->m31aET9JwglmGFFy3{~$jpXN0j`(SHx0`8UzI%b~uzo6q zd?N+~@-k%m-Fn$h32S6=21wy10nGOeKNOQgGY>P!>`V8DVd9N0wF$)D_noeru*s-fY z*Y-q8emgu;Uao|MF)-7=19oO4uqoqQX4Z)q?#bzZYG$AJ8%y(CGpfyHNDYw|w$QeGub%k*)U?i|(D`m;Ol3P3WX z59LOS&9&;8NTBv52U|0;@8W+~>^_#IpL>zd#OiC)BfgXypNOy1&sx^Vtt<~lB}99# zj;2D%B)28k8u^E51E&e4x%7;^Et{?pDu&SqQg1wT(o|Xd`Z&svVjpvC7!6PHv@iv` z{2OOZ5n}Qt*+lNypk<~BD1DHC6?Gk|*^MNZkXqkN^qF+&WnJILPtBYH^iE3fzcYns zx8z`ofw21mW>MY=;c9Q1X`HGXVmnjgS)O_Jxv4_?-sHUs$`tj$CtC0% zxZRT4cz-M~Lr^yI-f*Spy^y26#MEuUdcjT7kxAV1d{VR~dudgk)V?srezp5($gUkD zqVp&+^vZV?5t9q!$Xqhjfk%y#v{Rh@LAJj4Z?e9lRc0rxz3=P2rz||8*&P4ki|q6Br#HWFP< zJL+80mZz{39s;^_?<75~mg$^${X0OMi)flDq{an2SI@uL53rWC;tx>MUqBVny;<kFYzkG?8!0kz zyF8F9k@AR6OF2#!^bTjQ1z_Z?3exax~DRoZ@2D z?N&ctFPrPv7=j`@aR5LOPNuCPQ){XzH960tvq)9-=O|c23o$gE7teVbfBSGLEI#oE z?qe0>h>J1wsuRqui~owHTgU9V9~(aqRBj)zmVkuvw?#?lI5PeV6%{V;1*`Qz+Hq0% zbC{>>QV+V91xX$(>rxfS?EEoe=}Y;wq(S+ac*DyJt(sm|LzPI7_Fi?+*-vsx@r4tQz8NTa?NlR5T=cN~Zzjr*3fIhI|!G^v$>#byoIW7x<|L zTxoxTUsq}b45pdJRz;VKWrz~o6l@7|96o%ia*x?LufuQ_V3o2;4n8hJk2LU=-#VQG z@JugJJYU2d60Hv$Vw}Zx@`J6RteyABV6X_FI~*<1cCU74JgNe17XO z^Om+G$w$?X-LOG&>^M&)Oly!HbJpt$+^_tk6MJ(((8KG1R{I!vCA=l?!5I_clm%)D zGrj5q%!}07&`*J-M-=EVn z`hsC#yd0JqJSZ%&5G;To+Hbvv#*!QF#|Xg)k#CZfZ#Xo>OXL`7Hb3(BGJ=!Db1M0% z7ot2DSMM9OOj}tKMJ=(55HW^jd09*!WGfag3dYvT#J}22`z#t=Q9>rZC&ZJ|YtK}q z=WQNyo)MMgsshVwX#5?@vR@x=Bx+q{CzPOSx)kPn8H511s04a3#NnIcL30ZRAOrWs zb|6&U`1IY47Fz6c@w+t7$oDkvW3xQ8RR2J%AW_CgQu`WhAdO>TVxTV(k?}*GL@(@@ z7tR=N$J0~0mnC?E;eyiQfxc{RYVRqRCK?_g$-RY!uy6|1naEybPqbLYgWRHE zLYA%|wiOYu(!MYmX}!JyLSuvQqyp7BAL&zlqmlu>U(#nB(=#tp)rb=coe_3=Hz#5W zRD9;d&w&dim&PXE)Endyz9kY?c-R4OoZ4^%)OTyzps3G7Reky<~@Q*;bf{pj&f+P)XzUaY6WosWfkY6?}9fWSW_ zaGe@k1#A7B-4J>QApah3eHd>=NrhllD7$g7%01e?@YBh`>rB|T8ubB(@Af%GRZRZ1 zC4`3q18x>-$x?g{!?NujDC?B~c5W(YHbL*ntEXYr=G%%S-ELV(~cMu> zSwdN*h0BrTiovnBj4q8n;Y$j}lGp`a8ps`(Cg49Fp5($Q%yp|k%12(pn2!HUKSM%# zjNlo#hL=5DG@O=A3C0xUAH$+#OgWWRYYbP2C#@zRVIW*=(Vqa3wMNO21$X%i{5J>h{D_$Y&5<$R6$b zfX4gyTUBc&grBP7b!0gEX^Mks1K0OcP`@##AlUurBqz$VA>FY{@$^8%J7e+U`;QZ- zoCdaV;TOgap0ob0M+e@kiaUOzhxq>Jn;8f=2|;$On$5=4g`Eb&?RlloC&^o82Z)2~ z_fQxmb5|U^8hngUmb%8z>qeAD`Zp0axL2HY+`ig&GZ5on*Sm8=-U48G)vCIwOazM` zjqV0}v;BddFQlzH#54mFH=z^Gotd-F1SRSS*uaa?BnUg5bnElbhYkRJL z1V{l>kR2cm|PQV$SW z*eMPoSzFuH;{_(#!;u>7X_*>SFoj*(Xb_fm0|>{aazgRp+4M87oO+8nM-QW^x(#h@mkMRs%99JuAUwetl|y$&sD+OI(18x4C_ z_?gtcr!cn{lvWWN>ZF}!TLWRZ!|YJ)VzZW9C#V*C9CtlNOSaQ*c_8HBlHX#dwFjuy zQ8|Z_c3K662@@c6$^{U9wJ+Xe?Cnw{&vQV}5MlM2*`pJ7B?g#B$%uX_pa1%y!m2*b zQrNoT)Jm?+E@-}RGD1K4bUl;H`3cTgl0~SRC8y7$+fnlks|BEXC;h5|JJVAW?XD41 zHfXnq*tOIEA9?Uh3#*gIRG%XV-7lTh2Z0_f&%VReOrG)NOp+}*rHdDqzC%<1fL_nj zzC~1P0Qw*g6vuVl;4k~?gZ9gz{Unw25ClKeM8@^ksYH>!fx8kLpCjed;-=!RuxAomSu>E%dC3 zW}Cc3q;!*AIX-n5^!40(ZutI4Jssc_5DpzpMoFc-igh*>Gzd^+k_$?0KDFf-jZHr4 z1xWne!Q=X-P%V@yvv*}!(p-a7Be!O}%_qOLY=lkIo4xxEnT9aBhVmK}w{*R79Luqk zzHyNEh2O^Nc~A=U@-E@2>Gd8^YBy;;e_%kq1_f0_vD`RtY`E))!K*BdB-!4DRDfJw zU0Sf?`TXwo5pxceZ~qJuRj7KdbYrnQ=h^)3@{Uw3mUgjwXAZ4Bi8cP_r)h8-fb^CH+Jm4@&oy}p zkR+~4Z>B&U2zpMp(Ai831xk!=bziETZ`64{quye34kSM-Z(kXCGH_$C2i@pya_A@| z4$-4Tu0m%3y|8;E`;fTv!vvQqI==8Mu#OGzs)yFsV2|UhzcGOdJsF=xH+BF=4vPA% zdl|g6iZF8fp!~|VncI3Eh~mnmwHHbh)i;iPd-Pn!kY52Pnu~VabDbWEJ(3##S@8pi z$Rw=uIPADJ;w+$&Lo%0=p3{*7b#Ts9#C3ygr ztrd;}#G2>D>(8Ak$&&Xd%z)}Q370@th(Wvz%4YbGl>7%T4gz+=6HB(()BHr8_LxZ- zrerFBnAzDl!#dHsDvW#iJJ2&H+t(oe)2w7WJ|GS#nI)gqWl%CBscjX~Uxz|v!a&!l(xqZ}0fZgGBr6XcUz+G1A!-3! z8>1(Zoc)Pmk!z&b16Q$Lw-^RF=A%_|)(wn2r!mvQfi{{TVw7;`5Lg4{nh7JM10glZ ztnqOD(2mo}U|mwL{#X|nVSq9H6t%Z~o*|Sne-r;GQjjSt-lNO*6)4c!@N*x!sVb?p zCumw&dT&6m%i^W!`LlqjRD1Qzpdd&1tCagUi`N^A4>D6hAiD_OjDe=3cXDvq=OZ(k zew-;0(|M+V_n_|MAiX$TJeDIo>jY=;I&nBY{w}{s86%J)dTD`9vc%hfbd!uaFp*{Q zx{u^QApKP$%KEP#9w&U2Z-EmAJ3p4*m~UPLMTQd3Xdk(Bk}Z7>N(bEIL3?RIFaK#x z7n?@FdQK_!xY8hCnTr$M*4}`Nd2ICTb!YcexxuQ4n6$8g3Wa3uV1aXYU>1@A0rKHJ zHRVu0TsD}8_*o^uoa5LQ#r!W}^s{=)V4c5DRPI|j<|Td=L^L5I0nG&QwqZy)lA1y2ixJ7MEsf*fK) zWowh@N4kK8LmTgr7WFcPla9~F_$%3Tt*^`(Ez|aqH8u@55j2KYKa?B3XWm0V^r&kV zNj{(rivjB2Y2?}aMe#W-giNo6m9?f?0p8Bi3n=q=cc8wLaxOI;omWJaI5FviTNiK;H2Y2k+j!%=E}UuxWtc zniQLZGmlu45Tq&|30l>bd!L?!)fYdzOW~@i z;=X*R-mah`7ZyU20W~?2J9E;AfT^`daxfkWyN7UQHUF#LJ%pWsq7Mu3r z9e}qr!UPx*-|`vD6QP9F=vl7t(3!rQtSF5{!AwFR`TM!yCtFxG#jn!sKA0=7NjzZn z2BlL6-{&8CX@1*Z)Xha^F^re!`>7UD*#GLFK_XBh_&}HGrAf2SnVMzQd(Q7=AOv}@?&aG zPW`A9fZt-5h&PRKC>+UpCha>jei!K7RIa9%1y{_>TxAifyN+*pMRY?NpWitwuT|HEQ)O_oJM8K;(l425Ku?xRuj`3aA4@L1YvG z)2lMcTA*Hm;QoK_I&|+pygeX~`%Uh>_}WG?Ve~N!Pk@|Xl1+?(+`JETkD3Pv-(xNZ z-^%m{BWeu6y@nKC0^^gqnYz47qF>&Koe80zZhEBTxVgR}YEcuNXPF!T6+6ivheo^S z?fZ14F|OGnkfDS|8<58(VEd7CtT{Cba1#7kf}pB5=mhOnb(9YsXQJ}~Dp&}}sfyoT ze650eC%3M?0hPk0TCyuCj$pqGARQff4PNCD?jhB0Oq6j1Ks_f4%4&d6umb=N$I4JD zXs5+_u!E$h5uj5$^Q!P%kmV`#*UQrX;1w`TDYtG4?X}2E1t3ZHnX$~$EBmfXppZKo zq>6HQH~Z@!^#Pz%4MEUV7m(sH0CUSWdF|J54GnR3-LD*tWJ)}zWFPiInY-1cDb(xr z*&Frug{w=&C!mZUFwyN11EouSFTp^10Uu@!Zn1fY zP;oVO1R(9MDEMar!RAao{v|Yq%S#u|WL_PaKiZsXy%CRz2QgBYro@;1nShC~zp*)x zOVY~s8OBeY$a)fFSjV$oHn=KgtKDP=L8K&9!|k{{J)nuy?(P=#^vl@T>|Du6}8{p{)J{aggJ51i5oQk#VquFJd$$j{w_u*bZ#H(a*&O z#X5rAm|aWSKp=_nU3u*}u)(LBgeSfqi4|^?9t^Ai+mejL=@OZ`6vcrezt4|Y0+On! zX-G~lQbR%=>BGG*a*^Z+SsPzF2urYaky4Z5QXn&D=tRNHysFsIZJl)43h?1*X27Ro znoM0f%t9nSymT2;P?1Yt1q0&R3<__sA-+dJccQ(`@21saB-%rpLwD_!DdGdf?Zvhe#A4~A*FLDf)}Q_Ts51T-Ew5Rv0+uqECWmbT+MGy+udxKTpNW@$82i+D02{0) z^}NO)<}*#!hD11?1}s7XH=D0-9e#DN`ql~Du{p6wXSGzMmDLw_nKlM^Idt`XArZB z&Y~L91l@S56ob*QDuOB-D#GS3ThTHxp)^`XaPS-uOH2}*)4WiF^cBrq0|~WIJ!XrO zH`8iw-)|FFW{m{;`59)QvE{Phgyl#L?yH|uPW5%)4f_JnS^-Ctw2*l)pLUF(PIka` z`E@X&%BcJcP)%5XDY$o2^$TXM;bmlRFeh3punzX&U?63{eb10* zAB76j1D=Ds*OSsn-XloKjOh(IwPW_iq_Kf;pED6C+vgE^8OVeZTq`@C$}7dhzFG#6(PX4xggl%azt_2-SV(& z5d_2E2dZ>Av}0V7pMo^;nm{xpIcKiP12!HiPVoS&2)AR%?==UzDM9mF-tA&aiE{K$ zVS&p1fi#-WZJVEhO-{<{Tkc=p3Lu&py_Vyk{$(#Yy#Mgyubg za)|cyi}Y(G{4uQxaec6NF=>Cm-K{ix*n3>CpA=C$61sv1+c0X6#_ zSwB=8lMVb1;1iFw*L;3^V_o=WBgQwueA1dDky#l=!hwfMPP^H(%eTBkk)xiUS z>VO}KFR%i9s0S!Gm?|g(l}Pr`7E&qGelQ1!l6~vDaiXP?G5sij=AqE$WPO@*m$%00 zw>?fTGq6MRq||6ij02z@JzBI?EqNaTquixTYh(eCmV08H5`{$NM&$HMfN+|tqFAOj zU!y+BdVYEnuzLcyo6r?PP^%|#=G|>4g8cRp_J#O zTdgbLWetld5w=x4_>4SI%#V;FXtm^l4Wo%b_;wF(0{-e1z+2td4;))u>xFjQdU;;R zv$@IT@$N3KJt%y7nD5Z}F%|)e>dD$#p1Fa|=jT)Pi5STFDlPZ`=T{`<0u^xyjtv9S z)*(UC{RP<0TG3kDJuy{0#^(cgYjaSGM+!`-$}y#_l1f&wZJFxn7@1!Keo!JnC&#b| zb2etIlp0aQ{_Z^)oCw0a4AMvA#VTeCM)-#IoT@bxS7(a4?rC-D`06{S3Q&SJd{JSg zAJ|8!hKN|Y>=il&9enAZ5sZMBzD#SVNHI;fI_Thr_u%8 z*vhvzVg#yumL?tb3|)et;;m9nTWlbS=7~Z2A&p$jp1ZSPOU{KSC-3ZgVubN>S$b)@ z;3{nb_CM}h`V2PFLbO0z5!%|IG+KW*Bfb{kQhq4_-MUXt(J=^K47~AdsQv{e&lYgM zllvn8y8L8Rx7!v_M3djab6ne{7g}^Y`n*SqWH&%1OfYTOtG$%W<5dE7Er$osMs(%d zcY{2@#5aeoy!5dV;4dz!GP(r1T&xB(`!~NuEE#_X*sB;H^5k5m?qpyjR9)9w!Qkvo z!*`q%l&&HK?3`r;*dr#_W(QSs z5}mmN`3CY8$-pwplM-o=MSiOBU>FoBpjr7#=PEkujs(xX(S7FOu9emA?+ZKj zVZ0j-kL)KkzCI61+lrS}`xwVa?u{pNr(W{bIc^=paj|Um+c6$izS8+KO9#84bTZv! zJPK4E4@A%jSJ6$w__`D@h9I=iJS{!nq@>BXFxp%lMvdWv#eh_Wq{7wq&=_&?pvM4W z^F5`}b_QvaVsx{2Crz;2*AwS=TS5Ht^F5WYMVsz^kx_zj>aS4FT{ zHB+zgI+-KL&5Z3fSAL@nt0rqjA-R%sRil_az)DD(4TW(Ky|aupvcm1fF7zt}&`xun zSO58&FcG3dj!@1<_pu5&RO+|(=A%iaNk0kaXmKK!-A8vT1RrExLz#dP2Y=!^E+^i~ zcnWl}@8s>nH!a`41{tIVeUmcZB6YWsO45B7HFM>!>_2>()#m%l8*%a9-ZrV)xJ~u- zf1>#AkJ3#mRQ#s1 z_^wCZUV(?bT;Mh^;mNmB`!ha;J_kXtIGdt^z8|Ot(PU&>p2otv^om?9+dV6Lwsxl9 zqb00q^v*r7#A?@nWrnX$3Vig z6ow9?7IvB^{EIVELvw-MPCSEBD};v{V;Dc49PE6&k>e`QRm{DTsj}`Mj}KZ}X{K*t zqLl8Pe+YIk+Hxi@13GL05-Q%9<_t(CZ-k6R52uUfE~{uyo`r)yeC7!BqRc# zcw{$6o1S58TDffX$meI=xpv+XtA@N)eB%svH(c2Gp5;#(4$XBw$l490~r z9v#88l6{gj%$y`R6x~)msgz6K)_DCN{P7o%{iFWCZZFg>rA30()VU)OOpm!4v zT)lC#mZw<&^WhLi&BjxWkiLVRZ|Y_&QO!~vI)B*hD^ZV58YUiI^s%G22P?GARVO&j zggmB2V?YX+LtUrfcK_^+LjT?y&jYsLnHk4$7Dt3iS){x(D8$^@i4zw^@X}dr^14)+?smaiH+I zu>COFKFEi`i*jy;aRGe}s-MCFMWhgIL-&U z-oy1`Ubjc6RwX$P6wOEDNj{*eW5I|5c>wQbXyv~nj@}S(2f5v?jP62}kDH(7l>hfq zRc$W?Cpr^=XyTSjnf-c^F2Bj3$j!wm{ zBcyHw0XNJ#pWI$pp-I6gaW}{F-Yx?H_}>=_sB*181Y&>IGyUj;3uAD6!*q6LQ&bpYjtO~*-r|D~mD!6(=8jm=KYN^xR^tZH=)fv4=6(Zh=9@qtUt$WR6R6Ipze=|O z*mx2fu@KELV-zV4l&3X-bq{;<38rb3zUHP23^HkhqSd5PnUHLEBFP5uTKZjXNT6}_ z;*DVM|MKrEyvI^qcmQh2N{}-n2yp;M z!-`)XCvQRN;0rnjRGT(cs7#33iv9`LK^Z}Sv%-Z_<9$8gNn0Oyy)HXL2~9wlh%ty& z*axneCP34fbOl^z<8G&0$JYQ5uhj=AL;U62P+>O1_&_ORj*={T3{XCy8Sg`3)}y1K zt+7K1V!*wR0S(R;Y#Qh~_CbqQ3sAdx@S1?#77@rggzB(Bi=G2WZC-(GXsH5d$vlCH zV{O=^GD%X> zyuQ!iFDHXm9k851pb<*6P=EkF1t}Mmt3Ug7GCf`o2`G3HQ(quKl93UB{c|F008#O0 z%EV=V8sq;bB>lq>XjO8)a2d2kvbU>x1@izkKyBTa)G!M4SB|Er0afj6mP@BYUj(ry zTl5iFOeWw%uy9K%>lGzYPOeQH%s&Cj9Y4Eg;1Sv zR*~Mz&&+3slN(0z(8~~yRSAo9kgCFTjvv^VQ29!qnGSYlYKjN}3LQ#~lO*PO@QnJy z@6=kG;nol$FI+Y=xJzy7EaT;-#9H+3m z$)Vb^rzuy6wcQf}=DS)L$Y)gmfGGXP1GPa+HXlq$HVQ&=wyt-PpRGNuK_bpU-)-LQ z-!CmD!>N4Kl)4_=UNneWzMFl@!Jddqlv{*2NOc&b>_F0x0DAE2uJl`Zd%43+ok!=; zQ-X?`if9+ewB}&nS2Fu-*MwX1u)?K+pknso5@jSwg^w=Oyh#1k>vtbGy!IU*m+NsB z9)Kz+lusL|(>L(*oB^zg#}ZhE?2N%DC){k1C#gn$#kX&v+*M*>6|U{l2V0csm~^lw zXSD@=%~wybl^&iQtImxsRe?{P^dZEIr;5cEL1h_{#Fr9&Cpv?+(i1tbstVZ7VLM%&QcZHk|Clp!}8XgaNwIkcvukW-Sxlj@nn!m!~C+IeKo5Ez-+EAl1`-q~ z(8svH`7U$-(tE6!v0ase8Kr5O7TjXM*U|(i>|AADkxnqjYlcpLs_NVwTr5z+_4Hel zJzH3BH`!}UOrNfJD*8mowLTIpl(jT%C0Ed}!e}bFhongE**6p@{NT$~-y5$!6jbEN zB`d7}SJPu&x)+~T%n0M$Ug%4yI{>Wl^J%*+h9}V1gHkKT9=VFA5$g=3j$TRjF|K5X zgf1ShNJ^WB%Ig3a{W%YzxKg{W^hh}D6y&bm`9if7DM!ZGf}5}eRGPLZNn>vq;d}_O z+^>MGQObvpk8}!HG9?&sK1a6y8?RZvSeHeA709WWbTQa5Hcrab&nfyP`$D^`IUX7c zq-SbN?A^S=u~}D7r7QHOQem3ex$e4R?7$n>%+V2d$Svn9!xv21sgHPnY?|uN9%)Cl zOe}M30Ar!U2+Ga0KbV#+2jmM^=WD9QvejXii)2saMffowdq zKd}PD>=>TYM!A4kIfj6-cv)7njVFkod{&P{rbx+`{m*hl<0X4AUBk;1Oeb906+;JD z9ivnDHuekOtTK^*FOblXxP*57Fdy{&%9%C; zh(-{p0MxLXSXhOzuCKE>!lf}NER`Sv!K9c>mN03&uR7N~=?~Lc+DSMfO{|C11b`$c2PV=qkDo|;c}v8R?(!< zxe?(|`j5*am{!?u27GLCFEFc6afg*AQxk#cn9sTpt<~`;E)+(G5&Nb;DW`eCA+2TO z^(wyp-~iqFHK=m?&kCs3UH~WeclCo8UFU0rXDu8H@3xIBR|7BsrvBxegO}fTl@OyZk3(YZ0n%+{wP%L?fUGApDS8`CTdBH{L^Zc;b--XRnq7Rd4j)A}LwnfU!O zr|!FUVwEa8GU(R_4_E&rYSQ)Q&xWpeQy9&>T5E~-%+sXF74Vw7_*;wY|DaJDmD!!R z*d8hvF|0kknIqq>tkOO|EM2hiIcW5?Okdub7YRP6fYTNY3^^|TLCL^|18huDc_S^Ui!7hG2Gvc!-rkA)oaXGwbvsd;SGjd)Tn zV|v{nVb&v|yPjpjyWIiDPU{yV+8FBW#`ag+76sLzBHI*G4D%TV zFMII%O`d~w=AQe;&9dgI)@6=7tj{i0Gu)n#RD+?K#QuvebrNr}m&LrT&u7BN#VS2#2hB z_F}ADptoO!oirqSF@TCPERh2;3@~&=eT}?sNI|^revXxjDz!h}3B1|}pM6~;5y5u! zz&>q2Q-aalo#s2uPd||)&t7V7OG`geUl+982X8x%wYmkXA4mdCX|iW>B)6l*aN1pO zO^S4~gYY0C6Y#3n!ybt|py=l~R<)D?-Ri!bEr1( z@e*bx;&FGGSRX zZ$y&2H*{BgjmmZ3yAdU*BUrbLx72!@Zob8MNOEy+!$g;c-VbC?T7ht^07pQ2xg2?U z9GfaO3s@HVY0Wb9b`w)>#eBIh+)vpjYg8s+W-HSzLoAGimp0hFoiQXDYR5rOE5nQt zbLO`t_n9@D^2fmOyKKc=e6QA!)2waNGGWJD#-Qu1%HJ|3Y*bdivgwKYB(uli?T89?4O~T|)we4;)91x7w9@vmVXl z%#e{mS4aJ43J0%xdvt85BXfj$8-x$MSgaP-TOYb7ax0XPwwdo)SPqFkr8rQqw5qOs zt-^YOAClpNk3Li`0E+;eAOnj99=UZ>Od_wA5fHs5RwUfp3fSc=_zgtP^V;yl!xe9- z^In$r5uixM@2nRNyf{*zsG0wgMm8vP4Pb5|o!;bg+1!fuNIEL1HL{|dKN-ZGEFI7P z0=e{IXj;nHGnSj7(-lHVGTo4Bc|74S8>!X4foW_8Z%HtLYNh32@oI-6A}I!DgnPk9 z!{Em&O6}E!N7VNz3~e1V4lyF=NW&M7vue+A#{TUW;kwN;Jg$DR0yhQ&`DGC=L?g=( zz+n5hftfp&y152thqGjI3u_V(P`n5}3=( zAyzha_#uo5=)@Wx-(GFAlg#XF4Pz9ME2Z{gSZxb@Ck&bn`knEdtopTMOjv~FH)@g= zI(`C(9l;==81&8GKj)hcl?pYZ)5a#J%eQXEkg{=s`}kps$> z1#El2$ffNfxejwgpG8#X--10rj-tBoc2*Xe%N@x0$b+8uBnz89y*+bLU#Sc$S9B{P zn5K8VuN{Eidn#7>>*WQ`ZW;*3nxdV}57l>8Mp%gpF8eO!7kYz(amNTLVGP0ve)!~u z5!5jaz44sH^!>aKl(5)B&#Qe3asE`7d}rRudBI!3JjHw6>xB>DE)eV|ees^`<1!5% zDB5zx(pi(e@Ol=HhgNsko|B>Panepa2&KBPUh)~eVbMK*di1~;U_{anY1qwZaPwYt z3VCrwfQfV29S4^8OQk5fUYN-9nX+TC<#ye5*X=~|Sj;<5S2KQXj*?OhZY8H}r*|yN zOe==zuJhj6Yw|Q^&$X2q$!-t-jxYXvnjCrpHQ?dz6~4NfZ^uK66{oz#|7VYvy~W>J z!l2)uA)I;P1VLO6zh*FrRVD4m$eP7Nmy7UvbdhaciV&4kqSzw|B~6kp#<0jDvFzW@ z*3`wqrJtOMn2B|=vU-7pSSp2k1UE$Z_nyMiS*l4iXTqG!R`6C@dbX2(krxK3YRk)8 za=#ny6TQ3yoFw;pb(h!@?^FhNoVan6Cbb_~ZS3Wwn5K0au!a z)gS}+P+%ZZYYW=cS&Jh~Kw>&;E+1WrO(e(yPP0g!~61dz$h2 zm%?*AjR@KbmIj%!^qrckMd>S+L&w4hW(SQ3D4_LU>rz$GJfe`#$u*drhn)ZTjet)x zjYW^xunha%0MVS5|19+Mr+au}iZe6=d_8s~2}B+kStNc3!U$3kC&e}F9<6Srku90! zMW^=HK0;?Kw$-d8Br*~0?zk=$z^J7qH$frBN6H9`#(I(Phm;vUe2k4;W0aBqZ1HVO z>_1unNi%)15r;fYXD7N)I`57dNtvQZse-DOD7wJ}&!{pQf{2o8+Vv7rjy}JER$|K- zxr}M$j-S=qPL@e0S!8BRhogiAxieH4d>{ z)Y)Dlne(tHiBd?Sm50x)@_a?te(=XUcGx5l1$ee+XNADWGxlIUV05e?wG3ABNXJ)KCDM&-8aV*yL_vO-MZ{1%T0 z4JDWzW6IRw#ob3jC?`o*-HcWCMaj{!!jgo-=b~0&BVDMib%5+A#tPT5j zE-^DKd)a>}#c1$;ui4=-nkA0e;^&gJ-;2a0P{gs6kCf!@N&eIu^(mJ+wX37A0uOh+ zn>d$pfA%dmVGn8zA06s917#fL|AWZmJps4Uv3v(IXa5MICN;d^JY z>f;vM!M;6f)Kf=pG(=R4^;>8SM;*~)~hM);J6gY`2bvEBai)5 z2gSwJ|JM^sNA|Ch(m}$;n~Cf~HamNZ@l*CT!D9uKn6zFV#xj66q)*<34;&o-hJ0E6 znP(+ef0ae$qB8Bvl;0-6G*9;2OYt~B?5*bC>VIChFEWNB{x^lRd8iDZ z!mck-bY@r^+w|Xy4s#Cx9Xy1Ryav4ZKio6*C;)N`3#hJTae>LwiCJh<7bu}si7>KV z##OLfn6#&Q31528(z+;VZGv(7R#(~?BkxA~ugCeSEG_8+kf>#E343OjyZUO<80F3e zACCHHtaBCJ^3B8IBA@^H{NeKQcuTWzu!^$6N15dqum8$dU}@iGDRxT^6#EOb14jfX z;ozgfR=vftN1G9@GB8atfrfljwbRpWqFq3Q*Q1Ci@%x|tAxzEweSys|&DJF#S6a>h zhJT^M=7#sXDmHf?#Bw^0==ooJGsD5z7Egh#cOk3v@ju*W71kOp!@FqV zHAIGW|KnHRm*EFXO-|>DbA;t_9=tAougtQDlJL%h(FJ$$zmIO040uG2A4T$}sP{~U zQU15%JqMotXAu64%((~dvO!&Q#9*MJ2t_8-8Y+`P zEiKhMV!$jHw>yFlfl-(&eGjzX$v`xwSvwZ{_By!?neehY6UFa=AqHF@QG*PWRR$_E zGEtE2vs;ex>ATZJ)Aym+LcoS;enq}Yo&YkwcW&3WK(~oH4+o{U1A<+7sw-3;*ZI4T z$4SXCJV7~H{X2H}44*S^Zn03oG(gowoge{(D^Zvmu=^kd9dGycg??^ke@()hVWbR? z1qj?SY;b&RQezdCUds)wA?XX}SIAdau zn@s%W+{Wbt*R}qN@$Z0e118#ltGFG&P1pIHqxVyNZbfW3oC#N{HcF1 zaQ^r%j01*`o|GE+MSDwPlv%96W=YDf5l4@j9@=2`TQmQDzs~FEu|K!zfdsB_2Ow$u zM9xGLKx0GWg_3FRFSJb1+PbtO!+}nl=b>)MDoV>6K>ySS(zvbv(co&E{j zmSHN&^&()_K0|v1#J|za<=L>fy!CRUn!@8(s0hEYU;998jPjI3Qwh+yK|pl;t6tnb z8j&Y}doD@5i#f@{?0G7|NKoMJdJyvuNxUOq}omGq4p6P-i1BzJco=$jMpbQDfCUL5Z2qvzX%iD4T>Ru#>_zVj)8G#J7oSyk&HS+DAUg5Cem7b7F zaIlMI0xo6)5XcJ_SA!6Yc;;}wvf#4kV=_v4h$c4W=oui(etlx${(EZFd-gvk{(NL& z&&YXuNyHuN2_yfFCWdmc<-D1CI%e_Zs((%r5Qs#qE3`{JTR9|R>1=xCgy=2c*bbDA z^!OReH-w)K_o?U3&jHgf*(+ZyI`L^Y+d=|ZSX#g~Qq=%7z0$fpt@6*S<4HcC@TVS-jki?i3_9eBYKeZ_xYi{u(O=BAC;EW4#!zbx}1M2xr7%pZ49@g z5oT;3`NI=Z(kQ!kZzg~k|B1PWZeQ~qxpRxNr$qeVAS#a+m_2F=fqhAmCvr+BA-&t- z+r!wj!8kQ|e0kB$ir{!qTH>bMF_ zt}L6AGppL*!H9;bB`dgTF-u0Vu&C*LRrt!HCXdA#vJneI$Nnm*sv>_6kBmb#K3MhS z)TGO8(tmt^UUov(v(@f{-L$diqOaXpIl>_4;Ck8jNzMS3M%!Mk#?2X^j`9qR9ZE#rdj+f-R&HnKQ2rq0y-nowIkN$24k(ajYRq{k68GuHe z0HGs^ahiz(s<_Zt=Wrf&pJ040)jxO2>45@Km$kZo1}+rdfV{W>cF*s8@Upz1Uvp7h znLNI;=-5i{sk6}qlUb*qb7=cadPC6LtpP1f(BPU*^(Q2y(eBo!-}ew*)`BwZ$_@nd+;tsxIFO z*W~E=D6|?a1voTK=fFor^i^<*&+(Z2ld9zql^0boxxfA(V$-HFj+!4sJ)Z;H^_`~J z*JDNBeB9?j5HIw^OME>~@PUEs$V2W2>IS}A3BuiiN`V8hHoQ+usc1e*MUi00>Xa~& z3SHw=0FgM%80_Z9bd6lU^aupNhvCe1L-(EJ( za$zn4k~92JhEx>$b{7^=G3PsiaIQgO_uQ{PN5LO_cM}b$i^Uf*c_CsK1 zP*xH6G11v&;*9M`GhN8a>Ho-FY|(vU?~QHtGDtX-gob<4j|itb4g)qQt0%%UqhQ#} z28Kbn^Jt~NOWAGe+3Qh;a*GY#LJW&&g=hI&U_bmiD1!NH)zt3$bO@aaXWyt94JlR< zQ|>Py5)mp@jWD zOU8=oUV^7FwP$58oWOTbYuUhO@(KySWcZ*e!spnTKR;aMXCcLY8*Y1`L-%w4pM!7M z98ffHr%JyiknuC}UXS=-L($MAjJ4I#+rYdKsj}|kdyW0^x;;>Z-G4;78nbMR;!z~r zAAIR09kKpuaFoJz38A?{yf!uoaoad7Pn!;&>?*{y)C`s+Uwl4!maZLG5;^EFT!)d} zlWm{#TU}}sxI%NLjI87S@KoQ}OAc1ypZ_)E@5Z#Un zn##%0Au0m~0xg6<&UV9J?NgWWEV=I3|D4QZBu0ClK1CJof*hMRd9T+5i#d7H${_K3 zzrVI&%9zg=Nr;!?Gt3a<5y=(U?xrcZ(Q~Un9EdJjPby*&DxT^28pCmc{isA$eh>$yRKt7~rdwc3OOKNoEMc2AKM6+~i_u{cJMae< zm|4O^;56rd+P$cX36Y)ia5$M^0tn*pA&4AxX$GL~fcAo+CT`TwR0$ zua0$Bs4UBXef_xd+><&Tb~3bYepHm0>1WLFNW<^S92n>5_x<%>sO35(RaloULdXZjZxDV;9i<>Rxxl*k-+VU^|< z0bhx4o$N2lPnL~I2CVjCK7Q|7YR5GH9p7m4z#!_G@R&0F$$$@th|!p%`9-;(|E5Sa zE)svJ#GI0%xGzYiONg}3wm{`>VZE3xTYmmHo8cv9`>5K!s2(A7u2H)(FznP~JpjsC zA*QEf;%gVEAt@nWPrTsG1sj*a{WF%bOfUL!fAMZ$)yoxqi_aP35634h&b62z7L&1N zi?2ps)!E?qjA1z9_~6XJ1LQTcLSHI1KnTr0oW`&0Cu|jGBYe&_1g!oZA;8qj@Tb`4 z7o*m=PKxfec+Qb>O}OtkeXP4w#4h`hbfF#tdP#7<_%sk5=hHR*pWwiBkhCFGnio~8 z+GH6x`@4I_PB_i_wRhi3MXE}kF9OGfqKzL9M|6eQuQFeJ{yNynqa`U@DNkh7C={#< z5iG8cqL_?vf`_2x`dzVm?J5((p3=C1Wm6^}#V--2?(;N=PKB@Ny~4<^wB2=kGZpT2 z)2@;yQa>)+$*JB2f`5nyphYAIJKIc$99(8+0GThmGZQYq5a5L8r*&j;GFpYk3Tk zAD;P`Xd{H0m4qs7B0Hru?@vUlzmhag{e8rtoXH+|ws(T6to?na!%XZS?MT;aw+5`mSZ=}`hbo!*n?8~VJ-A;!) z7_Y5Ijz{JyhS63zDUtS`yxg)PMl_DNH=lrHQf{f?pe`rDmVs#t+ETcKIK$C~wt;b|*D9P~L7yi35P9iukql|8U#}Ve( z&FwGiB7bM^=-2PGJl=dHd%IC+ku~bZ|jq@?eniGE9 zsh<4Qb$~vO%0AYb|A-4^d%^i}V&XObz)zo#ot|Y9-W4Lp`T}Cx^U_@3^rI<+s|x}H z)_D$7k#%lf@~1g!oA!vKY#$~EzJV&SO4l!+}~DX z($Z<@(45IO>q>0+Nf%sC3FSg{VmMDudnX7|tW&u`H-{{ees)U>9^ND!t4S?lD(dI@6vj^zs~bec125g&^|9S+&)@=Pi#ly#JRzs2zpS7 zD-PCPNT&GGUpjhW@~8H8BBgWCswtf!@%JHOJ8`2<;Z=X8w_fi!LrmY8c&=dhAwEy@ z4K951)ugEx^UP8@-c6w3P~N31s`=a1RgZNUYrEs(USn&*m|&-{QEY~cHJpIgb3#d; zPrW9Sc#eU*<+82#$On^PkTvf8*yW}L_lW&)gtPr&=eub8X0hO7N*@t+Qv#=--MEVws zT>PwO&7juJfhen#l*RkwT0C^e-9zIq=aeaC(V$RleV4-Vy`RLU8ByQ5-0}I1Pa z+xchwvSr4x!p5k8tZpd5s3e3Lgry`4|K%OVj4XbgMVo~^2#By|$HmHR5Y(UBnrbcqFl7!HbsQZlV<)NDc}h`nIC zH^+XWpJ@>mY8$W(Wq9y31s+mDD!CpeTr835o>$9CtrPhzGCC!$5aMe7t-VhSI!(8U zrr4@B+x_fD;M+u*U^z6_LYHF6=?6!ym)S4lvLtqM%?EtGj(falqOtbau%B4ZG9t)y z-Ky&ON);Q5(v|4MF`=A#6Y&9%=Q)AYu^K_-QTMBK6@zqEx(Hy!T!xC;1Xyr)4}b9E zzfULnJqRnr=zE7w}ELisq)P~m>lZGpM=n-WA|O#KNK6dOZ6PXCkB zR+XZri14PT26xhJmCMi8VvZ;_HRZaUC#HqUEBJURg>OGQqy%h9{a`3(v>0s2FV{5< z93OnX^J*@|5Hs_m4!aM>VhJf6*p2uPr*s%JUie)SU=1%ZlQNK&cPhqR)7mVnycvj` zilhl@wq=K2cdZo;>abA!;==Cj-v2P`MVy%cMW`Ubl2L)0&t1wG<4_J5}4-wD#fMkk2_$FFs$NIwNuja9el@Pi`k}C z&L|cYg3L>0+rVVF$d!*%d+P27L0@Nv9KN5{T^QqSvUk};%+z_}J{!v?EqJfjR`qt= z2<24jn(mVK9Qpd!FXQda+OasYGc%*9OJYL1dmUhx=4{ZwhneJF1)r`Z*wp{fpK`U)(#>419xvm6a&Wz%cC~FgEQ7W>!Rc&63c)c%0@1>qu%sU zF-|`i22n3o;lSjP`0&_wMI{u3GRw@MJzJ7-&Wk3mm5-C<{kh#u{EDa40V?%#R!#TM z(M;1?u^{3@m)=OXX-8{dMrZRBFYJ=Nm+kS$hkzaTLK8NT{6QmmrobP}z*56buz6o( z$6Sj7Gx-klt4m$)tTulwHt0(Aq+Z-lc<-ZfzWfi5AFp46w`N}~Pt)Az@)Gp{9{cYH z*dYO~#qI_v8;Z2n(MWpoG9i`+hX?tyarbce&B~XsI{FT0u;ZhG2)ikCs&UE+v-L}NHgNxS}c3w3|AYhM;a3EI}RuWtJbS&(Ok=Wfw9@|xo@ zWm#M8eF++QnV>ZJcVFA{;Ng$Ho~mvXB4JK2H{$Dvb8BB10k$gPL<0ABLG(Hk3+lTc zBwd{QF?}D)k9O}aH%?(X&T+jokcp*`07sD=eRa~Rh#?~g#VF|hbyp{Thk4Nl=kf-0 z%eg`JUAY+OP}5dH498Y?D{CXh$1H46##CuKLhM%KAm^hwV(c=cSsgfpMm+Cic7GtM zXzEFa{*yNUy-6fC+zwrgVj}QaE;MZbWFnf5}EKe`^$&hL6HS@ zdCjyjFYrUl3G%53bxnfUH|!DP}Hy zo8M-(+nY!N^W|~O=Lj;m3`lQq2*RfNmAw*D3|b|Hd!*NkabUAByuV8y53UUP@-#st z0%Kp7CEwP-6!;)!>p{|cF#s0%u2*m$s7fC+TW137e*(muX5M-57jXifp%frKf;j-} zQH!1=;HyaNyxw;y1ptKz%G$F7qAAotR;wxof7Z*!rvPf}_^E))m{N4VZseXuE5P0+ z03?xCT==qPfQr`b=A`sN$#$;qXXmypdtg!;c?k{?&TZ+75ok2Zv@eYM`TU*cdv@r- zvO{T(+p?j_%LaEK@Gn*4%HWU%k9om#Z4A!Yov@5xd=K2Hvgjq0EzoM&Fk^QFC**iJ)=0^(>TNqUex7X^EdsrnZ40e z-mL$jLSLfBopay+(05q_ShPHE&On4nMnQr6C^{}fV%!xN7im-=tV4Op`)_C`;B5Qn z61+QhCeAIJJo`6CX{75+~U@E8v<1Y%VGOK=>_1aJwx1IG(x@_+N}x>}SG zT(5{n3cbD1h?fWwKYa-Xhjz#e80h>uE^kk(-r6){sB&IEGB3@r&6F`?sR!rDmx8lu z#6p%pNac^MRJm7^xNu1JpO-Hs^FLG`sciPaf&w!w@BI)N(aFaIQ!)1Lk?upr)H|{# z-|H7W<~Q*M3S$H_2WhNho$6z3Bf|qBgMYz+>hFnezVU8x{#Ym8wL*#d6>DT6ff!%lUh?}0CQl#%Km&*{D0!Wj*dWV@mp}$yV@CojL-hhdyz_x85&#aqd6)(G?G7gs+CsfG52Q3t-90%;E}~n;Q4j{ zkf;X6(J+1{@0~-M!0TagUL_dmqWa&*o$_%*>XOgV^0NWYN9(w!ndHnx z`RHyMT-etM7QvPMs+Ys`5eKMF0=xyfg9!!G^`|?JQmZ!7B!SE2+ws2h9C8QQ9{ z(X+1GYl!=%svWK%jf==}$0Ot2r^R`v`xkL-I67d-p;L7IbZ;}i;e?GUQImOc*{Ik)^WC*-d7M0<5Ma^CKgq}3WmA3|{~B}KlCd#&!bte3#=M z)@dH{SuX3+2?%R(D;7~(w=_D=&I23c*EY4zb+qnSG_Ad>Q>_To~td ztf+sA+nOmY#5*ermmIDd;_6gcmVC2Y3LUcF9q+Zi<3yM(B}pI?bcx~Bbv_{U6JXn! zRhEdkcW5w%922wHp~TaRdmzhqdm^WJ8BK&&K`V4E>HSCRW3j$8-3qV4Ktg%J0g;|) z*DCO(zPLEbI0Y2Wwm+%t421M_6{QdO6cak5D z=bL8Du5r~nx&LPm5&zA_gXkx9|4MdYzIHh)Z?jGE6mKR+WUsa@4j`lS`u2-0q>9OwT`VFTZ61^*8t)UD3<-c-sFZl=#S{o#YdW{b^~)*?2iEdry-RW85DZHiIj&lE zw`vdJ`W-0dww+VoZ_&h6$>@t7C@<3fdsJFTP*dS!D_XJ44JZvbeZ6`<4@F2#x-f_Q z9*J^IKRkN$3pdccvdF6AH->=`HA|lqhIM=_^v)cbSUkiUc@XR9USv358z1vQ&+i%W z{n+`s^{0r8)t2f4`jtpIIxv}DbW0F0?65~}ur@gtbCp+7ImT+hy6cPu#B@#Q1NG5Y z-0w%o3DHkZ@7Wp4Yu2d`yeW`J?VvkZ&LKCS12eZu%Tm+cY6|yY&2}gE_QibZel4ZW zCvOh5QEkh?KYY2z%R@y zgb8;;=3;)v##zD+JyIR(Rp|dgHc77w`ChHep5AK#2OdEC7}r(rH2ihGZ481-5YD9Y zg}1r-KEQ~hv4&_JzD&Gy2N|&&d7`cDSwVkdU*tNP*&Ui$Y*3aJbh*xEJC4ayu`gy? zx{JapS*3=58;awh;}t4eMAej=Ltd;OzjmPSP>8#vjr@%LqkS(hn01)YOzhYP=Ohd1 z{Aj8ZX~H)+_^WYeDzn~}W=m$rf;dsNC*M_cJ?T#A9bWaH(Xkr0?fg}`1?cOIFk0HF z6EWu4Ta|%@86|xoO&$1XM+|?h>Xc%%F}nB|!MgZ#ckl69#tf(nj*rpxc1PRno^%8d z(^YnmT_Bp)T^(Mw=PJwZyvF_RQu~$5+svN$B#=K5T`1T38ms*1LP3h;*c(j+J-DnM zx+}}DHJN8@QMS8rOzj~f)n0cOcwULPk#FSM$Hie)Es#;{$}z1wvweGhGTdy|7k%2 z*al*zz72QzJr%t}OAWb;Lyg%mnf6vhkoFS<51=Y4->^bR_u#%!)JlEShv3Mzv^Xji z2F#S8-Qlh!!q$x=Q5sr-$zHToB5YwZXRhAvGS{&O>#b&{D{;tQF}c*Hc@4w#=6Wk$ zF0{`Nra!dO!eg=4t%eZAj!Ib&E*yO8Ucw14V{bcJXnW&;=;B|eMh_e0qbG+Sd*kYE zX|vleJ17Sm>{Zp6Uw535ea~<`h?~{3_G;>ZFusV<%j>JD5#o?eCb;n39ZMldH`NZQW^Ic>W(vlmiX7YgL52{z z@KTEVFM3*=#0cO<4+ek5EYH>1%3#jrKM5illuc~%riP;tv23+ipX_Q2z~S`762drd z946W^Ud;vPEJX(hM=GaAbHyDXB`tH6zdFWj&r4PRNTaej)Qy6malaV!L2C&NW@2EP zQtI#)r_xbkAI~iGKMSN5CQ7f+o@*Yf8`fQ;iw^_UjA!wQ=>K~1-lPnLR%+=4e-X6~rsJRA3Q2^ReC6Z|~NT*-Wfk{Zx3<(M-58#j1^33pfL zSJA2yx?O{whVc-Elr~if-6jk6lv&;vUFjhseo!U3Ubv*uPV@Zd^Wv)Wtm!P=)S$Uv z*ru^2Dk^FkcQY~YmX4Fj3~ok^91YS=h?lIwlZE`vbaAlO%cvY_uqIFHYD-mo2-1_> ziiI27Nr;}Q`QIhwJiEt0%ZT}Oq@l$g$1yNt!qze7|7z~NP)1qV zGP4QC$jVH1A|!jHknBW8=E1SEO0r5xWFI3HNn~ad!t?pM=Wo59-|Kn({&?;`s+%*u zVd5LfTMci5?(HuGEFpCLs5{iv#Aru`vi{n+v zY|HtRwhf>Wrl22W7s;T$XP+@XbPgXuf)4fZy2j)BVuu`$GD30qe%}-uy~ChO;#^U8 z%4~<2w}k$!Z-v(ZW7`b0nG?d;x*jmLLnFlY4Nr`xB>TDv32QvgjhsqFt+b2U$|dga z_@e}^!o=7~GQw3>Z)nR$`$?Rqb#xjLdY;a;x47E68M^!!ED}|H$ML`BE1t>ZYJB{3 zx}npQ_&zbVjF*t`6L+sp&R{dYM*EBcvD17qs`stKxp(Da z2Q<7lVJ1o+u;JskDgtOH&z=RlnMAPJX@0j1m60UTC6H- z{>=fKFFdfK4J8jgqh}ycsY^}hy`oIxb3g%mKTW&Gpc`_`t-QTGbU3e)p08FI)|{M^`Fu%lZ$Roxsk5- zQ*)wd0!XD$&GkL_I=8QP{vv>9Ql9=n0OxiSu=UX42oi}oi*+xq6Uq6``PG1QMtz8= zXk!&6JCibie?HO{S+nS&eqrjZsa2LA%Yp!*aiF1$+FSqoS%ab2sU}A~FN|kLF#(ZN zYTDL~)YT~!>8C&#P?YSsILl<^`#4_l*`g~KFRx6bv5Z8X$*rpoufFLy7tf%=9Gc$? zQ!3%<0*g9|#fCbDhOFY=_%5L1xceOaXIA6R%ldFJn_(7hEu$R6YMkk*C~kmxOTzU+ z=)-Zt(d?_|C|tsh3RJX_+T00gM_c2B66gi`wC9iT?9h6F~LHC!l~TzlE*$1 zSuJA@liO7=W&>FG%94LOfv zXqQ(`A!J$KWV_j$4a@iHNTom7ybIB#c2XMDFeoVa(fcEF-5_8QBS|*KP~7-XQKru$ zK-+C8k-diI8c)`kL=ji{qZXo~#Y?=Zp~*k+t7=zx0&93;XG>Ygbjus<Uv9BuLKEd>5jvN>rs(0SJ6zu7l8M~H(c z$}o=_wRr2c!N$V|a>`GXyfv&b!m>WHJ3G5{rBRPUdJo%afRZ9wDCPJLyHZ;e<8)0G zEngnz`DrH(ojey7hj0;*D*DC|OSZFLqO*%{JSE_7CSCMxxcZ^=!`aZm(Q_(|+;`;k z;%MjEM|k!Z1^8SZKaa_4>U}FbFzYQ%&d#+SX`h{%pU>AV+*Wcs(bwlbi(sLwqHOYq zC)^I}oXvJW8n_yi5+u}_ge-QB$vZl)=U`-yOK><@N*I?juR48LCo}%p{g5)C>v6yP zH<-{@j9bbqLqDx~9`kjq!5?OY?N*@QOc6Is4YuT^=G2H^G^o|qRW2|Bi8x) z9)C&xhRLm&z!4g8bcdE+j2;8_rpvLkW{_cd=cgfdH5X{1`YC2dp{#t4^Qs)?We2Q~ z7jy+!gC3E$x72LB;g0p(0ET3wbg6kr4syftAcSAy_My*-xDOByn`8lK`x->16#xV; zM>N*Uzo2k%Jbxcl`t4C4$Kujw8V~|>Q}t7HE0D%n7fwu{3>Djm#9L-wFNc(i3oV*F z4=+R{{sHAi?%pa+TgO~(@sRFX{8afa1I#diq@FVp2RV8>c#c} z0rN^qIQL_DaB45D;0O8GvbZQ(a+X_FLvpp zy8iayHdK!?lX-IBffAx~ge^K#!f{T4T?Dp`o7;!s@EC}eN55@lN1<0>&tA~}X3#@9 z#apsr-`N?OwW;ZFDL}9EBVWcqdQ*|F3%xUp0n&ib$>qe*$`xgt`{?aonJS3;PrV4 zu*`g*BjjSceX9na4PSk**222?)H3ag?W4AAUMN z1f6)VLM-C}I$Hyr11IE=+~n9^g(tNDh)=#=-xS*l?zlMB`SjjBOkG9>A;67w^;a&jvb}{;uV7Pn!wvmqB{4pO`PS zBbr8t2`sRD)#GRjzl9nKSqd9LaUiZv2Oxbx`W2~V645J05dWBUClz6Gw8TDMlPtnE zZ97sz6PrZ7?#nvjOzv%`=mCPwfWbqCc%C!Xb70sKE zz%?V#2{*?Pj2=3GYTep~CoM%`9&X*OZTRC6gnIXRc1ixgBIIoY3}X)WEg73;Vz%U! z1=pYp`~9^;aFoCO5zoa8#Di-i#8@449q4CpE{XU0Xqzkoof-<@d<9y@Ap8AuHK4az znkVSIvXMzjqVNfWp1f8;VvJW<5n+yK#zPoUva081UuhL%R-x69txdRU^77lmcE4z2 zr3I?|JuHH(e<8%k449lcRFd1ssW&bOcP3Ic0#$jA@j5~%Yfrf8+@GRd6pfW5+5tM% zo+LYSci!GdO38@~zjW^9?I@vEwVXo~*PGwO`R}d|_5X?1zJ?|(ydlK^IG<%qA!~^n zC#h}R`LdWVw>zUV15D%W%@Ku8gm9IaZ&n#s|8Yb-zx3G%uOg+qRm3Q$035ULoz$qG z)a0u%XtZeZS)k8_gttH`2%@cg^%5w-ABRu2B=Q%eyK9(27e*;_R zJ{Wsy3>U27VMq~R;cMB25U;T`6uR=d&w$i86AdgoN0B|}>hC%6C+Nkj_flD%!0x8Y ze5UYn?i)z~!tD4_?y%bpKFP0D^y7;7QCrPK)K~=FRppmYLC{^KE#?ovch$nS_`B~0 zqSS^WRZ1Yaou0RZJkFY#px-e+9f zKevBZCD=kC{QbwbsWjKFV2*8vbHq+11QXnD*jP5bYyEWx%vL}R#>UKYyDxbKAYY(p zSXV|+>13#aT*nrJptAzZnm68UTi{F0{KM9X+cm=xyD&G0}t5 zx(Ap&){ubVYqS3EP}bjUnf_JNIS=e696%}1kzuh9CcL?RU^+zzuLl#hJW==s)YErb z##VIb>JPbnAMF4sV6a!Z>CIu(x`;{84@nQycfnP%6?B3rBJ=)B{`#r_#`Yc_`$gkhOku10qPWWzl&jqF9T8RyR zAhum7y7zG;xUs0)HVN$Zzx%#NMfV~ozn#@_QLD$R*iaeyt2$)SY4ow461UWJ6AZ7J zZQq9Yc5x?QvK%pmj<3K|VQ_F2V4iwe0lM(nJ6jWGRJ4z`k?Bsh&BTuZxNsh&YMLL|dR zeyy227_Spo2a~O>8tK(6f+)g6tquRlrm|f^e0hXsxzDxP_YI9I_Og+=Xt}lX9sazY z6_}`52}A+L)tgF8u$Zy$`)J zBbzBg3!e>}k^6fm*K~N-oC&_?dB*MASp6Hw+_$sPkCIk4KwT1wAjiX+Df3anF8FNy z9L2UTrUi!$ZxDC0B3HwC0b!C+&HBVdrHI3(l?)*q+YXi_G0XkE3Vg|e7~^X{hMTByRgA_Eae zPwEJf?u@bjY-{nSG7%mmY9ppyi`%#+gHO9{Lm(=$@|$<$HnlfFzic=H!D@3Zz(nw2 zC?f0w*it$2GEK^}!W5{PO1biazrYxJJoF!6*e^dQ1(B zyKfg?nm`qHBjbx$Z0R8Rm#HZ!!+@8g?HzIU*M-DJbW`s!WK1BJ8FX{*$y(nQrqiU9 ziIk3epQ9(}lSQceq}0`WUtI1jx3syEIC=YkCTdofGtN}MuLhlxBf!r2weXpmD?Qj( z+>59ktiMMZCvuZhOWTlf8dp)Bz@2oy_iqb~PZ_D`<;7<&uA$GDC_4aiB;38^e9}pY zC@MsEL5UMOF4N)SZyd5xiv10yp3H6xM|-nd`HjOvfgzCzD;&&Pb*5Dl1i=);BUd{& zs|!tLlN{prG?Izz8K_WNUD!p{P?T1JUBS67z3SKKsw zj;fCrey<@qBONE5)hFmbE^L>#CD@2Pr z(N|f;M#%y$mcOD7kqAu;T2PMmCd8Hn_-8-1zLXZPxRg&v=JHb2h26H}7c7v!u! z`=DY`_}(6vJUniE>3udI&KpnO`obZ!(KvSSc{e1H_M9D2m{W;opgA6=*~H8Jivr~n zXvrQ1Mic`jM;BSe0K=L80@h|a4z@_ml?eCACY$22OB*1%s6!JKpc8zd`|fngk7kyP zSxrJ^c^MB`S7oQ^VW%TF$IBJ9jcEwcn*TAXV(kH8<1e&EW7eyC0!K)Whu)=2?rlTG z(@}Bz_wIaqbdgOwv-gl08D1@V`E=XT%3JDV-hE#t$fJb1&vqP!Mr~Y=$IWg1h5YI5 ztw^o5j@bo=oGX+Dv594u>!$5{HbPOo8=n^~hBUIR@V~^Vi)quHgk&w(w(b0-8=?+} zQRUVE)uyEpAta=MzvCU!kH<{WNe+Cah)xgYs}-21>ylZ z0Dzryl}-jfy=4dmKs&A`iGEiv0419HaJg(O<8lvW`XBf&hx=7+)V&SKi`bPJ#oV?B z2E2235Cafd_+5b+73DV{0+^UHME^Db$vkAc8&9bwp*nq*nby-S=COV6MFs+yOuqH0 zCl7N@I<0k%Q_U7+c5`LAZ2zo!<#FA@!O2|0?bYM8eq+t;ly0r=yERkx=?Y*rCi!)J z4!EIq!h`|t?ClWNhV=$hr|f*}9Kq!sA5`Yr2dCL9e0bxXuUZHKykxTAQ{8mfYRg1a z>PF)<*FqNqU!KId)ZJP#oTFi3m$~@x=m}ea{BEW>tV?hb@q56`QN==|-_3EqNo}D3oRPp-Pxv(lVnsR={MEmFIR+qP5Em>8c z6u7Y^-h$ONua6QtDNLg5h30YZr2kxlX~E#~Gat!_Qk)fRVJr$(OAS7|iecCIY0I`T z88I4YLK{$mWymYMm!fA|jA>~DsTnW#26^zsLa{01k(65s!aOPz{By@>PXb_^Z4V|S z0jYRFLF%3py%Nrfhg5G;2iN2STpV1_eV9m>pl~oCguyan#PBvBemJ}ZBeG8s#B()R z{(Hgm_zKQzKQPuqTkWrK>+qqO6IxV+IW~h}aha5qRT|3tgi8e%&a-v!j zR3_XzMNaYQfEk8MxdNBa63il*M~ z7Q^YvEody8Opea(#U4}E6Q6ef2Q7}_3@)|Uy%pOn5OX{x4oVdT{TwM7nGC&ir3JHo z;q7}W&Lta@(Xt*3%&R`8k=>^=m&vBZV^%Ea<<5qa8jPhF#E=Md7ygKUruW-PpJia& zS8U(hcK3v)pz5&RTT1NfEs(XKvUJee?Q^ulH$8Bllk9>u#sa zwUf{K_r6TJ`5DI_c53llsB#)G3O7zTp*biDRWL+UKAU-_-0rK25d)?NVpaixlu=TQc{rjk5`=5>#+ESTC;)T!*GdS@w*rhcTbTqwrHd5VXX z)s;G1)_o1V-C!X!WjN~mI*a&ols^?gkkXkGg+}QoC--;ra%FBDIF1O&N@L#H$G53B z5Y83>eVV{<`25^L>;&INl&@?t7w7rMolo$+PQLb4tD_GsGHiQ~y}Mjo&SY**QR1u1 z-K(n2v^(RX6YnEBWkl>bo ztMjZ&vbneOFMphSIq>7sLSuc=MVW@=5;M}r_;*L7<4$MUu?@sNBh4d3DTyf7(RqJW zCJ~U1Y#heky&tT$SO~&L8h^E4!B!Fx!`^Kjy_Ki+CdM}v#yetYhC#vAWL2MZ`;MA| zzMKwwZdkZ!qu3%xY)#!f-Ph$+>vo5U=yioD^1=6)>UjqUBhg1&-`0AT?+f!Y4&=$U zW{u6|iZDKXH~j6zwM3MBh9Rb9hwrrFz9u#-p5ryjV%kZLidvw21rweMz`9Zg1K$SN zY~PfMwTp4H=A4u|?K?qki0@wg>Qi+_>0&Nu@#Why?{{Ws(_{L#BdziM#v0`x2)Z=K z7OJn2{%UdvJDjt7Pp?3^JfM901ulpCk`Eo)?Q7P=Ox-cPF?l8Q@VP_>s7seScU=1m@DNn0hh5x0j=FfdOrBQU;9|AyxHJ)iF0`KarX_I zqt+ynvi&D`9_s}@k#3{mRUTNcl>Z&m*<*Pc@ts8Z)~SS4>ZZJVc>6MM%+b<_yZbvm zt3f19)g(`Cx(}n5tj{#alM!>6^F|s_vxW_*MYr7zw=h*a;e^$QSV>fiRwKd0IhV?~ zaa<&f@&C1SCuzcHL4R3++{ybwUUvxVSBzdH1M|!|^RORRQsX>Nvo>#^z4tcU_YcE~ zA#d1T#8b7Zr$TAsUr6iJC~!h2<4CR6-jRy7(cDYWdwbz*DVdrE-AcAeO!cFTZ=pfB zyiCzm47g^&@^q;|afYE#DdV_h0>!;!DNGtR5shJl3kbEa|0T$nkLgspqs$ZT;d%dG zH&&S2o^A#ZU-gewm%KLpVEZO|JMa+4M&5SW)x_jYrbo$4J2C6RW4D-M=85HbwT5q} z$pq$jRZ3mE`;=gqFg-nbbcpyVitr^7IznW~FP1jkD0h2ZeM(8kv7xg*`NO8n1?9+! z!{s;K6C!{0Y3;V2JyFXvKfd2MHe(%ioqkDo<5tq8XuBW91#`ezDZa(!&e1Lfx8F+| zJxy0nYsv4fqb%fqRPsgs_KrLAujL*0KK-D>Z-`oQPu1KVQeIpbMT z?w=bMWwo`QzESu%9blfN;;ER*@0Z)V)1nl{Fd(pVXQHCOh*V_N;=Hy_jG27vIFHsB zV`YEePzL!{?RY|JhP(pzJu$x#8)0E!d7?CKY60MXm(T^=0{L36Rcf-E1r6Yz>*@mK zI&N+E^|bGNmp&vq`CWR)O!+!`iELt2){rL7NjLLSsQa&QPg6gaCl{wPM%W)JRM){{ zAW!Md&Gl2%H#V`KgmFMX3L8MBx;Bfx@JhNA&o$KQ1hp*V*T8ODg?pfUJ_{E?Q ztrjJd($^Q9L3ieCj`<{hc+kFd50p2%dDrmA5z~x3D^g5`I^5KRBgJ1v4({G~tqV%8 zFHIqAjdw?}s6Y&K5R=9Me)hCHrhOIZ(r4H?=W@~|4jU>71ncH*-U7uy?q)balFE8V zb=*&vOM2rP72<{lWVIiOK7I0gKhK(Qc|7)TQj6dGdg3F!dkpkUleRDV*5=PvE*g@A~}$p_7Wyt6DkQ!$6t!V!&h}^5(%6#Sn}YC&0X>mPa?c(B-kQ!kXX;8_6%NDe$K3in7yg93dp3p(!+_8dz==BPEwu#=nx%mb|{!SZ0cI zT-y_LG>@L8(>?ZfIlyK=cDFG{G3RvOPn5Cn;_21KGk&i4Q@f)I656&%D==00XwN!# zHkyd#5%L{(WpA^^(=RuaLKt>={Oqq}zR+ESt44hyHwMgKhl#gwz}d0hd+-V9BrDp3 z1Epo>VrQZ%(XA&7$#&Vdcg0L(5pv}Sed~DHJRd-yGWkWf`BlYFs#8TWCGYNAQ*pXs z=qkaMVcb-PF>o)e83drxDKwQEH_X=q`lvg;BaxpaIntg zq1lTv8dMDxA!BotSS3+kR->w#P};=+j|gpb(X*Q)#kqVuCX?n`Fb!ND9WeZKLuWC* z$S7z%(9ubr>N>u$zbIu>|Gunbq~#c6L-Ggpr(e5%IoEhb7U+-9ck?{8rP|H~dtZ2@ zuIj-f5P*#P*w=4e5N}r`K*yzgWR6!6K+9RYW_))1cOyRyw*d2E>@iF~E3XRZ_Tg=7 zx&)H#dMIBhr>fY??+)Jj0fwui%WF++e$C4fk9D^IOQWDJVEOz8?eGi-16rSKiFPDz zwtf#Gc#o1rl@aPi)MZON`e5gt*5Rxf)aYNuSREm66L&Pl@j1X#B zzj{5ndu$O zL0HgKT)Lj65wJH+;b!|_A8T1ddUXk`0$}cXcVmC2X+P~ZebK5ACtWYf%ePj(6Q#kV zMeRfqRI1&M1LK3sjYpRa)h+k8hg3@%z#+%qDZTn(CM%Rm z1HgNo8y#llwcjFvWwU5Ew45;aEXx0H)%V}iBL{^Om5;_vzQX<3LjCPt64`c<`#|J^cZ|1{i z?R<>5`b(%C?TwfewxP9dl{M1m3ri{f`Kc<-x)v;Y*D157T!VJ5TzxZW(a-8}C2I<- zYudmNk4Eq|t(Usysj>!$Fs>lBv<@xUb}cY<6Ox~cYyJifsf_4RxZ_d{0N^^peRh!u z1L&VGl)44|K}&SNK%EsRm`~7^milzqZv^1RWlaG`s|A@(CNaD-<$tUJrr(nS!V$YL9<||iHT5B8NubrzJtv~Y^T8_=bT@ohn8Xa_&V!I!t8&pm{S9?> z4?*wJN2B1G^n_Hq$+@7t)yx7oUOp|^t?!Oiono5MMMrZxXn%2Ev{dUqB|qKNhi8?7 zl-TrMYPampIUwf(XAnkItP%aHe)KIzcgMN0^r3xlI%qe6J+mKCKt%IfSh385KaYpe zKUQYLSZo-rBi-_+<6+s}YJW9z{{!0^VusXt@Tcz~MyM67o){cL`52vm_+3W8H{-Du zqU#MEw@`cK z^1QJ3PMUHrCkfQx^|pNfHbl%oSH}*LMZ^-xVN9W4hgiZKVYpoPm8LKVK; zrcInTt1tb8qUClPW%(amS`_3l%Bg-t+V?k|r1a zAgCC~f8g?y$cb&$%W7p1j3HFrKFqExR+<`W*)Wqc& zHft57EvGqK5pd^8|G!gZ33qDWpGo`flP%LjR4E@uL(R5+9D9BmoDM{kRwepjB_z)|&$W)s02m|5cufuFArD?L(|c(DV#g%Bm-!04uyqOakb zm#J>AAL)_BP}m#etbuh0!uq}ZCbV2W)63ga;EhmaOovxU4^r8-d{+I-AmvOe=oqNg z_%55F$=1|i<(7SaQXJW%xM8wDnrikSEOAX}`#MNGKF)oRus^IGJ^qD6m?D4V8`|J& z%gYZvw)N-PL;fJW*d-A*CdNQ;g;tk9@GToZ23D}mYZH$N%9hH6r{@&3)blFnR1PU% zRYhiCOm#TwkqKJYixG*kQQ`%q^RoD0aiagf%W~7LJRrRUBOG-%SRS>Z+$!x#NaM)4 zr-gv}{jrX59gQZ&_o$5|{@Zr&59bvjZP4FcVuT?=1?R3~X`lLms%KSd<%3^Q_7nwymVbRJaB)XrBde@1c64en~l;Dp2nf5pNo$&|A4 z?<6-(&wS~AkwdfW;W8mE3sAB7`n~?P31I<C$&EU z+(ym+=K!}jw)Sx_0$4i;QIX@9Rzi!euBkI07X@GKE~suYvsDs9#x1@aE!!nLfspAxsdM%IX0To_@r`cz zcKnOOdSd(xyz8fT&#_@<`TjNqOvaJ!lggk-KJ=)(38oo!80|cQyBXV-%&rBf@n9o* zpN`nNjq!h-;N}foVeS7UvFxWyl0a-Lr%s!Pl}NIGihcUxISbx6JZsn^2X*7C1I5or zQ>wzdQvkN02H`|^}^*ys?8UMf@ZNPNWO zV6*MZ3JOw8f2sGe>>AF;PZM%&pSzkT*Ze6RFUtYRVJ)D7_CR`=vY@MJ5cghcMW4 zkcKsbq>2!vy*CB@vFn1~=#mYtVRFK&p!sM_4?NS({w0jSuAImw^Oadl=OpEGAIs_- zrsp3XbPZQ7=6RP7bhI^szN)f9AW~mj=PZUptE2I-icoD_-#nSBLp?h!mTDd`(mX z7x-0mafIWc^Z&@SJk4xfbqJzqUa4}wD@ECv%+aRo;NVai5n+4}TP$@hd^Nl6L zQ?)N?6F+=Sfb6xrK{^HTe^t6Cvy&WF3M|T4^6h92B%UA<-M~lS6C;Rij+qIu_;lnk z@gQRNCA;|zcUqhWvtq{h$K&`lF_t(K`VXLBLv6rj?pQZPB(G)8fSW=5|A(P>y%%TGI<1{>voe!ib%um`u!l0S=S z$(o9`|EwWzUon)bryt$~B))hS> z1v^nf%+FhGhrZgfB?qtslAizY#HMjZU*mudU{}vM9aC&*DOoon(>FM)oUO#F9KBZX zTt<0n;PKpvr)JFE(_Lr(WCZ3`(?^5{=eH|a+oes$Ci5yMQ4j1!C~%G{d9`O~r(Ysx zIK=-G(TMXKK|K&}X*qhlpRY1vRPBOCy5NKkKJ4~Lp+1st#Ws1kr23T|FnhwhZ$-gz zi-bfOgGsfRqIvJKKq1Zd$`IiMRRVo4Xd1swoAp%>Ao zVLk%i_9`E)r||GL%kIJd<;g2Kkqr4Oxz_1GiSje8AFT@?yY>){ZhpeztY+x2LvdvepF zE0JG(EPN0{O#`!ISeufvIN%IftMFq_i&Y09+G#@sZn8HI1T9BsnQL!0@*`ieH}PGHu3b6r6jkA+*}_J>{m5B8B?OndX)0`GE_`+pp+jJ( z=C6iqqx!q%4m&psn{BNJR5s&w1-E z$zA{=`&2$@g6*!m1pT^^eg6*kCX!e_19iC?yvPs<*4Z%&%4I}i6V@Qp91DTB4P$dL zWG|5u{F%~$RzCoY4vvt*gSfe)JZN{Wx}CQ;3ab<(-wB{X+#U#P3jj>v=7Wfq8Q6Sx zx|0BhAmR6+v_7c0VIIGjA0=vNX*=`S9#asw!yFrau2%ATGjqO6O2^^_kkw) ziPs2^IS7m$@0~DI0~o~vQC#*Tn9hMP8bo$KaPR&~1gZwnU;z@HqpFBx4cSJx?IYFI z-$_D9biAsg9Vn712#`={ZRJn!BX_(?!0ctfuO6>0xCXtn_WLOZDfJJD^aBBDDL|5% zqoKk2)+i~9HydAd&&5LD)U>??XiSd4WS3y$X1ezU(r=O$J??x5Em9`3wyu2|+Y<|z zJZt%WLINV$6RHvP;~XFX7BiZb+j>&aO}igSQpkUNHL|*e>H-#wx8i&iZ;s8tsdWua zKghK7=oFn{9Q&n$v@7WMohwa7(sH2xfj}OhIh+lUv*8HmpoL`6)PbD0%1a)JW7a`( zELr-Ilmsup?#zZDWKu@SP|LH53kKQMfIkP?6aFczYK+7M zU3UwmRgqjWu?ivXoKsmzgVvXOsOznhsl|~Q-Qy6>hjI*fg zko9z#qz1|9i0znhM8E`+azarAvkPO{4T87zBU#zj3ynKJJ9Y(=5UuusejRr3ofD`t z$X3V~tjm2!Xb^(BnH9(Zbm$tE`}X9Ob34#)=vM6R&a?h4Ole`zb;2IgHD$bi?WfR)%H^% zz@#5h?_Ti+B&=$DA8vrXHx1?Tj??lgqLg-l0HGNWLTdxUb0sEU#K|>Ubg+#kT1)(k zNNN2_`_{G|P)2d56R;AGQPTIt2y$UiNNI`mDyeJGH)E7As39aLsd1~*)eb{+b%fY? zU`_bwA&n^dr6+zrU-(euC?SzFaFHKYT3F2j(AyEtfqD#M^TGk{mu%*)9%IGBmF{*C z(X03K6r>+>t|3R5o;&JMr~VlX%{}_4^oTyxu~u;#rmx(3Me`=scR^xz{tO|Jm)M9y zE|V?yTSxo8S}2s=F(@lS>a2WSKh}UX-5B;SZY`AbylYiTBEF%iut%1$w9F#8t_4w4 z99dI<)#!k@{Wgmt50ZQq!_ctOe)d4}-J1lrRH^|+&x^9kf>wpYdLOYhFGzpW;%>%; zL{JWYMBvrn%O{+mO+h}5p9hji=80@^cXKHMkQscBsrB%`Ck!699tG0L2BwXdY9Ci} zEL-JT%#;+aDHWZ}eRuT#oEVP)c)<8za9p_Ik zVfI+vV_CYo{~&-XM~yf~h0Y1vEh*GF+zR^|rV107t~^+Eq?g~M*G)+{?b9_>sFF0;;&+ij(=zRetlB1(`SpQEz5g%{B@T`B%-QEKWmECl=b=2QeK0rB-34;|Q zX^l}V2=`H0{+&y1OI>XCRoEEOiTGn_8?QPLR9n>-lFp_S39x27>_<0Z46^MY$>cqc z@kZUR7Y2M7Of+7^iJDUqE6TG!f()3ma}XQgd5${2F3O+V((m{JD-Hf1SdijE|lsAfLP@)N=Gi z3alo=OKL>NYuv88yI8kf*p2G72b%N9;2%Qo{4t}+ zhY*V9i0S@^%H^L?E+0)ub?Rt#3QQLl)A$i0ikwR{jP{TB{_znnX`e2>4a@)t^_jVr zQbV?U2dqui=S)8T`3(nuH7_9r$*-LV!;m=*G~QWJ5J@Ga4%r73|Di_O>03;cKm$5(7$H;>BoeS4d;U_A5w!B zBD4srhfMgi7~ymy`6!uxK5QhX*|T3OnZZ@S_nnCj)vi5jgxaNh<$7Hy8L(K4p%| zqii_!l7HRK!^Bbr@S`8qF-aFgBJgh*{`CZ6vM7;jt$@d!M;Ofi+qdoMgdCKiu%b6; z^v&ODFceYak5KDmONp5N*P(kR6Ur!bf}iM-ETDfPkaS%D9UC~2&N?$d_GmP150v*o zT2}&6ZB)M^VZ=hID*6C1BOJKKWPtW^{M$Ho-V7X`orob#a2H4|ozapqY53R~q%RfH zl-Lv|=2e+!i$f#H+s^jI1$%Pvg)`5ac3ln@z1xrhc2F5o%l#HamL*EAU6>C#a>V0b0(9-W2vn{|jjTwL)+ENTS+_zNN&m?Ny<#aAq40?dBBliL$Q()N%@$+?@$ z11}L`RTJtX_d1~L`j|XE#DlNvxd?;|{*VR2s_}rpL(&~Va9-p7WoiTJc=d8v_SHO| z_i3EXD-T>Ro&jIXVlt@};`)P9Uv(S8`UY$QI?e1CKEt}{2z8#baq{w-NUY|$3Z)TX z3|F?V+rzfFpicMpKVyaB3NftA;9l|O#7ROBXg@-md3VDnY_5F`rOyA0IhzUE`w`R! z%fv%FC>#!g8g`FM-LgydU|)6PU()sKL0tfOT>PS;3LlR80jtK)Ves;0JF= zZGQIXhcirrdh3}8lG`Z46}8%kx4cjhy)6fQGV+i*W&xaCj6hVAr{$p zC?4k6noPFr(mUU(eBm?cRWG=fhb|RiR$&y|+U&!Ep(B=ZNtC1`w=1HWucRDh>4~GoR6q#ane_@%R*u&^gNx6h|R;=4wD7qJBToNI?`k|NLgH66lW`w@1#hDIhQZMq9?YkIC3Vwtg^ z-sat&kn$kUN46e^nuDKsedf@c7~8G^rgPoRp!Ab^dv}Z^@H#a2-Cd(EK!YeB9(xr=AcuH;3@=;dTLHfzbpodhmsTB0+GDV$O5HP`y%}!1A2gM-y@TSfQ#8rIq%JmASY}Bc};F$7& z1?MB4eQ%mVP;UB}KBT!niR3A^!Hg)oPccu=I{XE8O#Re>OQHUhwdbFUoM?CnPp67J zC9aR;sH5kTTO|3YR)jbs81kiE*ULD8=+)7AxY9lE(u!K^gL42njuBq@MO*+pv%&i$+i|*}JD{P-qlbNWV4fR93ux_}MkhX_mbN7BoFkW$j z^aL44<8RgvYT0MQ8pepoXy}v~^_rB_l`fH)g_zvJU!)Xt@?`$P|f=Ew6(qj=%@t>;jvr?<>!3;0Mu|ur)mmg9lCHgFbsv_2)8>Fc<;qi*=DjAcQBE5yj>x%% zcVKabj)Ajay9A>`RJ_P ze0W@=!G__|Rn414GK94!oirj-DQC19swzfL9U?wg^yPVS!N9h2_?Z5_%ic+A6uF#_=cu0Y=bDDeM(ppDdoYWaIqpT@VBq@>*?G!VZ z+jmE*#cZJ*`HXxmpz)@P`ggJ zV8EUuEB`)qb}i>Wl`}{bEi{+w}pLP0ho&%%&o%miJ&t=sSdWRh5T9hr4Ea2fuG(95d zY6+m&#z(=u6N`7jAQIk2i+)Nq(>pEolw4@H!$r*fxxOx4T!DKaM=TnwG4q3!9DEt0; zSg#-|%LgU8j@+07ndE;!sH>5kp;!dNbOJXm#iR E0qdVTrT_o{ literal 71351 zcmeEu2UwF^wzeQ*=m|xT9*QC;y-H6&5RsyYq7(x}K!MN+T_ivdX$qpEAU06xRXS1? zdqH{^8y)HO-ybB(DKm5L{m-14dFGra2eZGj`&#Q=?^-(%Mg}?zw4Ah?Hf>_qud8)v z)27YnO`9kV!l=QOnj-~8;2#S2LprEUSueT2ZrWt9*+cu7hZFvkgClm6unc?fN}wNomUnd zOG(KeUwKiD}`O)tEP*KBlalP`hbH6REvy)xQslwEOJ2CwvLy!#IJ0GX{)jtuIDk!uOC~cOb12M(?!kK?ehwLna=Fd}KBETUp8Y{<=1DolbZi zH;jw@L7eT{TG-;(t5sB#UGI{u&-w)gc~T>GZscY*TsZ9DOCHHuzojMZJRNMY?(6T8 z9`wNB96cOdetFRb=j;sj+b{txPS2ybm8!CW)!-5)WOyR zY&mFeD@ub^hvpu-u8VcBvnRJKC9kx8#|cAzm^2c1dyFm4d;R_2EXw*ck|)y*hXeI( zShJ0{$qzZ<(O5@l-;?K&)DGBj|ND1;%!bo6hXRwZIfZ$JfO`4$t8FKy5xfSxsBH@{e4;bDN#CDpx`~+d_W!K z8X;W|h6PniQelenq_X!VufAOrj> zZ2*>bZFYW&pu4Ptvl9kb+x;F`p!}h`e~A`Z^ub1z6#u#P!0LeV&#kv!{_hbjfa@I5 zI7i$%h>$sT3M+481L;(N=+0m_+_6p*v7fr+_T(!(u!< z-LQtIAQbC{1>pHF!ITvLX%p53?=Qgw2Jg?ad6J4?+BaA{1tn5>qs5c`VHf{xY#x9s zzp`prTY%ozrMjwX*cybL$p2m83_>f!^jHd?@MZ!@=v9&Ho+%`ul)pqr(G%n{^cb6O~CSDf}9hNs=5da%1abCcOx4i+>Eb z{$Z z4ww^wAOA9AWLNfI;<^FF_A7CPn1*#>-C)V2733ht7!u)s8%su_mo~^J88G73{j^O`fo#&& zJN$P|6GrvFpZ`zKmJk{$mY2{UrTxd2WH zkU)@1_=_R|60*jQu9>vIJh4C36I(-9&^9DVuA%}7bE1Cf~1_i+W9*kV0Le`m)H45bqWJZ1mev&lV9|}KZrT$#NDJ4Zlm_Ohj*$X0L zwLczmf<{TGn$)P0Bnfem+x+i?oKhq)+ziq6tdsRNFfEmoiMgoZ9LY-6N)PQM#eS-*#10XQ(TFJLLp50 zKSiX_D`Y$hWsi`GKl#xAZLE%r7&bDZB$WCGLef1ThNVCb0{%H9sFb7}Y0r}3AvwfM zhKK(INGeTE(jv79L}`7qk=y()grt8vGi5`d?>8d(%Xq^Nd4n8N49@lf;bfESj*BO2SGOUU@Zy)Wn=$1>Gc1bBo0_HXa@fXv-xL9pB(s= z5MUR{|B*&OQUyw~B-}@~UH=4wDJKU`N06Hb|B_lH^#EuClG8=*!hfInB%hw!AecXn z&;4;};UwYz=d$PWQqmwE`Ac=dSKl|{%4I7i-%EqWM`Pkw+GmL&7=^`tte}b-*QIz{_yK=wM(f@@Cl7!th$R;4yTs@&* zFG7J|;8NNnDYZvhk@Op10E=is5R?3Xu$(sd;N8IwGHKdkJg|@~|3-}eKO@Z~-SN*= zu5x7H{KIyVb6+>8Rv<6yo%yph>)M&BzwwJw6E%MX7t1w-92U)FaXX}jalqn2F zE%t^m4L_H870=PM*MW_nQef>fkK~t%=NlE3)1eXybEDdOt6rC0yTGP-Hv&!pedbod zby-${gBsQ%Z@ZGF8}`#(c$fEN6j(CJ%MFTIghD7+&{c?5!8MlvlcWk(*HFU z&G__~#U-qXr8qO%Y>fH$rl&?A%+hZ}PI+m(b|kxM<@k%Fw-tWgeqZk<4#(;6nr+cZ z5IrI~tlbXU&pgwT^`YG7`vv}F^`Od;yl3KGZ};zPb1LpS)%@^i@mS^JOYzD%>m+%n zYXRS1C=~UDaUH+CFKYP9?U6?iHGBkEFv)+3!sut78y(pRY%b3@<_Mem?uRJe!{wJ zv~+0rep+(g4e#!@m#VYoW#ct;T}iI5HMf@VSF_agD74!PmJR1Ub8L#=71kH!((3kX z&&U(On1Wa8tDVtGpE&$h=07`iK5~_J?bj;%oa{$0HTB^Hu7qDNe!P5YtfyyXZh%R7 zC?kJ3jLSI(tdp`s#oXdSg)Z9;$NVVOx!w?QJp=V+4~Zm?mr9@K)CmVfr+d760xF_w z!x-|jD;JtXk329r^g=swTid53obzm#x7GfD)6EaC0gE%9ee6W!ih(^3<$13f?>Zu4 zrhyB0Z0JL#YSmD7RkyZD-b@j$r`xN`^XTX2s(Vfp6*za5wq233q3^>tA2~Wdri(vI z&B$#}yn4w{t!=b&(K-9@?!+Ajuf;1Z357Lj-Jv7N_syF$y7X)wv-c;l2r!!{j@}BT z!T7_D)n_Rhy01(OG@fXT<{7DFQZMMP@axDh%O4)jf8|vh7`dk?$Mb_(;}&=~L)Mx0 zg8N*bj#>p2RxC|E3w(8M3*GP=9X?M)2t3`YsxpdKwLNN~k=O5eD0R?Ib8+4GT(!Iy zui@OrQcP8cb6K0u=NooT?FFug*bK|}Nq%s8V%+WMy-nyA_#q*JZlbtF`HlPUQ{d_~ z1FeDte59ccw<{t1qw%(ykRVthv|qI7-!xcO`1&aJj+Tv$27TspDghmd3fKqJt251; zImGBwLpRhvyM50AcL7zaE4 z!)$$TR~ryx^Di!YtSQInx&`PzmwFDB&e|-F6c;Cm9c?!~;e-v@%2f2=$ivb{`wN10 zz-bH5w1_)wPfmHIw)osYWkQSHf=Olk>?*?;eS^B^0aJ;YiMp^5WS|}k`u=;q9k7ZM zxC&3X1wwsa=&fi;&0c;Eo7#`|f~ZgzP3GjHwtTw|uwuhCJ7AZ@GAoG4h2Vu1prDFA z96!_cBu?;v7H_vWL1Z4;31mckEHNc$rR{s;voy&PHx-pq6OuANe-?-t!oy8UAy>s3 z797HUvacr8tD0i#qef~RB@#!dbe*Hvx5}ixlyjZ~#ot%>_`sW6+L6sJ0|y_&B@WUH z(_I>MBVF)UBT3(p`?!SKu zi3uYp>d~`(@6d2!Uo#)@;AXI?9Za;YX*{qdO7793XqZe(3H+8cPh(T-7mPUgg&kvw z=ap}>Wm!GZyM3WQQo>(?4(UR;gV+{+5*fGCl6EqK$U%#mg+&S?^7gGP4(G@Cr7$;( z#c`BQy*|{jO}D+Om22b+DyKu1AI!D>0;YSmN6<)5StA$-2s@*N z#>rf(Fx+A<2I((uT%pLZX`;Gtq`lA`*Lr#VrR08RGcn-g6V2zad*2CxBvL# zKn_j*aRcQM*;Q3bxkK7O7!qN7>TX}ksF*sC!EtLhfd%8v{qk%Y4B50y5PhrgF3nJZ z(fzCh^1|@y`N4}#iXW0wO+>zOl4MK79GLRZ4(|s(v{Z-K(6;rdG{c#iwmFS=3{%v+ z-e|MWt8FhAAR_8EC9@f5+DOn^e|aWRH6^LYOda5IYy0XeORh?GEnTif`*F)y*nqVJ zLgx@mUf5Q_Hx6zGF7I|lG_3G5_xag0Mted^hVa_hY9;#1<4d7N{I2-T)1OQV*Y;#d zqN+YjtlUCVAY&XX%Pfv|i!}_}q1@ay)gqW!apMJltM?&6%v9$$Lm4 za@;DX6Mt0wOu!M*r`IYFF;ktQmYPi1^EMIx9Ue1fu{+TunkSJ%uMhc7cpU)=7*zxO zLHp>t$#fn~ybgUF7m8xw8p|uiI)2@y6(EokHhDC1weMif^6UR1NSf}qsEtHYa2&+5*JT;^0&6V_&gKTI@QOaBhfbo(s zU^^%QfTi8DHzM^GAEg6DEQcOlit{#-w7q7D<)951T!tQJV7;2AysTpZ!qYOcL%Hj^~Jv8{j<6C;vTGxgQxNboJuzmT&ROTfP z(FJ7ewoMVK1>;{&kv0uX6?FTxcbw=IM)1Ys%U80iP% zj&BkQds~y1q)o!LQ(#P}9_kC;_gUqV*W-R;^+) z{z}>nYpB=^SeJOYf~H5YG*rBIfuY#uCS&4FHa?)L;6o6!#S=BSgR8}4u}!Q!5&~nf zVMNj@0%)Xl3FvIu#Uq(|AsQ}UD6P|tZ|~bNX2dD!`S9mMge%}7qO#7BXR5(-6(}Oo zC)}-vNz|AO;x(w;G{L+Bw7TyxoTz^OM0e`BuX~S>?E;viAL_`2Mo3xHpgT2v=25#a z3ET@94TCv3A3&A9EKJq3up@4U(IICYm_vUx3cw(=AF4NBqer~<4wI%j)VAR!5h(7^ zNA4ztO9+7R`TP=glWXOtED-?nBlcD_?Ix&!&BXhD-p|=HLIVB4R&y`umI3JcH`R=p z2r^tGp1oQZyDu0f#Lq8v2ZQ`s-aB z!MN3$-QCbhHPFeyOO;KGd%#1ly`n^S{H%04w1`siO(J?!lfq%9OL9FQvdTT_Ob-vYT%{5A(mzlDliDt zYZ_#FO`cU%jt}2#JO{0&RXQ!HPq7T(!M2+ZROphy)_ClV*~bY+fw<5_cI;3Gz^oQn z+&(`DZ7{X3;c1Q$spC_jr^y{`1Ctxi@SrKb7lM=i?5FNfFr&9WPS+<(Q~}h34!H-% z)+a9z-*lOS*3c?_$G@ZttRWo7OC3w(aDGvqr#qTB`FzhF^j)?%(_Hy*d2Zr>l6KF` zgCwW6$-$Y|)t2&$;qx=21+OyZX%4y_54R27Pak@V%Y=p`nNK*uF33nd(h#bDlcVl6 zTh~|)1)4WE7rk&Se}J6m&koF>u4R*)6yZInV0K1 z`ljc2v10e$!ZTPp_GL#uIcJAUyj+fHg(dCIB}E~TF|Cp%qs2X+&)xl;Fyc7dUYN1$ zS!}lGp45@Rp5nwcj89+9()nB@kFVoMn*6l&!@cHR;%WwJ+4-uzV|%<7A`Utwq74hf zwzd??XBrggqy#?Q(wcUOFJJD%vD&Okhnr5uPKRGfz|phQB`-()PZlt6NVo4$QF(pZ zu`txB(ED)N)Y7|=f`OPEwGh6%p1{?2mVR!;Ez@YCQ~va}ed%4>l8zKAN>aSuu%1Sw|P0gKD?tkqo?>7A1 z%b?MDrsH`_=K&AvAp=ufk7~xyAp4_Ddy6KJ;(^J5uIFzAI4GQ0=t?qmsPH_xo#AQC zM_AvG_n1i1_Z9c#t=*{>OlMAgPph(@RgwK*8MtiWH}Ewzx#hCwwRYi5!~D@39i=-n zM&H@Ra9 zP$5qVmCG;tc}?czN0xPdL)s5zR20!&rF*H;2DWa&ixrIKQwmzVCESE*W^8n}N8X-L z@x3oi{@W;*1%1Hur%OfeX5^fn=U>XusahP#-xagyxu@MTSM_v@o3S*0j$_ED5k9Nc z+@2K{UX`FjZ{ZujSGM?gb&xAb&1X=GOD6DQWPab~l@=XhX?Kg&=``+lPt@l7&pdS3 zdPcw|us^6X@`?EBOIjt7-9U|oHd{S#s-xL`Vk-EBUr9;x>DXkB<4e!71Nl)ezMW`K z8VeZ4V3+*oG#A@$FsU3zO?%D^VyV=7)Q~$acr*5O{ctZ6) z$KHo+xkc|D?_5+9ocW$pWj7}HQY4Y1H1(D0On-c_V-w4)AJ59XU1-4G0j{1PkMB2X zcNYZ`Q#(q%rYekq-3ZcsuR`8Q{9q^1*O-_J#EJ*&M<5v`>{~N352h%#S4b0)HH{7G zQ|gAsv2c;$vi${iB0N$a`UB|U>Ve}OoenHZ)gcG6$IhU61K+MJePVc69w$XDDJ43epY#%M+F%vZv)d;^G%{zzMo2ZSC~e9<+ZBS`9`m9Oh=nuFdkLQ0}qbKcc;HE%{VrZ9Vy6Y%kSzx6QjQDs61liURcYX*Ci5>>d0ccLbicc zVE@byX1~=w$wql~8@eWm7qm7t_tlxScray9&Y6w=!mrlol(MFQtt^w2>Iq)8VHDNg(6u4q(F_ZZ#QF zy@jkfb@}d2QK|SX=}m`7^`o>vty(uyA3)VSYJmPMpbHTsFF+pv{U%xC!JU*2kQ=bs za+`AkM-!z9b{DCBB*1U1w_X|@fvPdLf&MI~wv%v`#ytQWu-DQjS%PH&yt_*wL07Ct zkEM8!$4aUn4iF)&v0b{Tz<6zA3tMW@YIM!Z1I$%nJ#%LjetIU670haG_qJMv8|e}FS2pr%T)uVVP3i3ySESGyD2f3Wi8cNdTUXv6H=y9Y)-rvw#o%AL-j zTn6rHE>P||JQJ%lA0MbwnUkfOUma}I$y$rM=QU82ZSs{>t1Es(Z|_E`PCgN|3d|81Z8q4HFmjGgTx3@Y(`&}<(sdB$y~aqt zJs?pCIMAnjbm}iL+#kXVB+K(65W4LhTu9gde60t|p$v%Jv4MhZ!ff@lr1Up8i z0{XBWkl?2`Z)GgdOAu|#f2DTDE+wGo;1$Wo+UUx<*WrAD_7atIw=BH7JjI{;&W?^$ zfcQYwu^W3m9YIha-)p43ZBKEhbvUnYdKch3X8=)cR^dCHfevRhtqKe%o9mAp0o$hl z5cq9?dccX9X5>7~Ds6gF7PPuj1PJXURllMU!03O-wb6N%rW3>KweU6VM6q)h0M=97 zKrHwvu`EzDr>Ro+C{cqx7i2Ht@raE~1dHF5?E7sOI||HoY4K3`_m^S_ zw4hG3N3d3h?kkn=7jAgG-9H0%p06L^GWV3Nt}HI&ZYX;feSMeK@#W3!iW`8)E&SH} zumfzhp%I-;0$Do@lZWSH$9YvjpkP!}FTUwp44i@Ih&Gkh%_p#N@dVcswl|XZxyxBz zti8mcXLItaDdLH2@Y@Tx9Tl6IR9-(Yx!*7Fc`(t+>&@BV)qxoG_N=neZ?_2J5-I}3 z%Mcxwtxa$4H&Pg8M~uyvd8P6$dha)p+35EVjyy|35S}9ThU;p`b_UFLiJ!+u2)K;j zG}=l<+rKrnHVCozV~lQ_OD)5)<%}?o-*B!tYJ8aAt-ZiuU^Y*};dYdKo>+GI+xo5@ zNsj%V{I*dGRLMv}8=%<-1!AVYrlqul_{?Ax`p(2y4V}bPRTqfFd;lSuMG#FG20bkb zVNz=iS_OUgorfi>&UU_w+FJAF5p^~P?@p@QKr!m%PqI)Tp6sC5UfgzvtD;=a63{#f z51Mc3GK(CfpHL`Q?FpE@;Z(IeB-FB$Y1(E)RBZq3b|H z8|Y|%kQxx{uB1F5%Vl=<{dEx^?(An_N<-rVChFOX>bISE)Iu!*M^R2lI3B$t7_oW;AdVWDa=-Zk-2+;&6J&Ys44lDY3A`Zimluy2O47}9tSH#_+GSE z_B$^WCNQsi-&g={Mk(zq*imTaaHS!#&d8MdvNT(;J_{HwQV~u!@ip0RG&fSbG`%iA z|Al-<>vbjf&Loy37(1ZudpZwj)v#!N;kvac<^@DmTf?%S0S5GAAC}wX?0EH%2auL| z%Nro**Ck?8Hd5p+Rri=$d8|A?Jg;vWDa#OC7raHr?xp!%Mtq23J)_jr{O6Ri#vStY zkx10n)**B&FHKxM4W1}4v!&0hpOe{NggtDSy=H)5q{ZLAi;mF()^vMWp~pXel_zG~ zR)xBqp--{C1Tl3$4Cy0cU6XcQtdEO{w zH0B)<*gZ}ZjCL{H-o1mlMd0JOVjqLR9YzG(b%92?VLOz5ZWWP`c>Z-sb;k}Vlku2X zPJT*lv_^x|8xPNYoDU`hq~ha(@91mscTjFO@VQ*eNb-}v> zlp2RwrMC`=&D)vc|5n=o1Qk1PqhZ|LLeZD@=|e%)eTtmjmu#(x%lio}xntC?UP?7` z+YDuuWmQanI1x>7kz}7k%M|+&MXmqh*Uy zy^<%H5UFQ}58q-?Um6byf0k=U%u%m_A&eiVGQJOwRYeW9hSx2B)Zqa_({<4cpcy}c zSkT{G9Jb5Ttu`^4c~x6*uybdZW&9-*0yKu{YC3}FFjb7_BJ^d{)XBL371~QnGab0H z7Aix-UW=M{=kPTw@w)WLv+^B|GRng_wf^;=#) ziDO>$8b5~E7tVnysP}bx6mF9>aoqJRI`+vW`HS!q_;9#Z0Xv0OI$uOe+iGp4aHSG! z3f%B|UbuIZP09XnZZ~51Dqub(`&xHBRHqHBzE1%R&6WdTp&ol#Sc+yr3zZn0hSI)S zPIXACvaJVojJ?nD@k+|urmK5B9|YMK*u6>)+`i}lbpK%5%UnA<5INDme~r6UgUDma zKGWk;P1%hsSAEJnJMP5SgnD8!RmKq?3a?#cOHo862^Jyz@81D>{?)9Bu{XiYVOPS6 z?p=M0HP8wW>wx?_t=l(Jplx5E^XNGHcFMckdm zhbZf`w-9McmQDbL+W1o#+jID1|rj0W^r z^0jRK;h;M-M#Yh5VYX2k92ZWg2mqWi^@{Jh|K!uaJdvFVlM!1O=X{o@Tb6IPaA(va zRs1uO#>#l`y}|OQ-;1cH#Uuk>%JCssI{NerctqS4uAT%!= z#<6$w(SROf3x%7D3*%OX35Ttfn%+P!E~f4sP8d}C_H-wYNXTXn#a#&@-s3wad}s`| z4{D_Lx}@~ghA$QdElq^q03b1ta#yF#_s^SnD;>hU&odF;IWw~Nv#Vn=qKbzHeSX;Od+@<-ELe$Sc)xnk_R^S&Ozz8oQ~zt!T0In-70HZ?c&W{yC)Yx>wV# z+wU(K>Kmzr(;{!Ce+SrR$U3Gr>`CI#6G8c)tUe)=_UPVQyu`g~180fg-z<=t@!50k zlVADA!U-&^xD@NBZsV@=(Pse+_bgcuBsoC@9eP*MoqWp;Ts46_m72vKUk|aPVEkH? z)QTzUy|+7;qF!vCI%!j)C_5_!v&iI@11_r|sQ68g)$2t#pmQ|(60g``mWS_Y*anJcx(16B0?|&Bw>h)j9(XGMiU+*isV6T1*gjQ zZpZcLfPL4u9lgeJzDI_&m#z+;EIhN-6~38|FD(nk!)V@Wd+A`O4MFF;k+KR(NR2xB zY=4rk|IO>@?I7a+DQI8?Aa48#I9hXM!kW0M&ri~a zmUx>K-xA~>P&T*7T7ex6N|y&Zc2$SJr(w^cM=QH*z=Fr@3V#^hPJnm3eOz-GB#F!i z-bA9q@L#qE#Z1%Z@)4KiKt{;}x|@{&i|scxLzXNVt%z)B?hj|}?(M&{gNDgScSjif z*!z%jB?o5!%_w48XY;1&FAwG!7epCgpn{F_6||R_eCp@j-PoN{;o^W zaT5;V7e$%P(9JXR9eytHi);yAijcTdk&Q99ITgK?T@Il8G6tT#?_a8~`uB9O61hi#n@=oC-jTeJ zDCweWvehT7rd{U2QDbHedb!i@pICj+>*KGkYZOhr2>F792#sSGI-ryaATuL=q1G${ z_rUxII?8Qj9cOwRFOsWH3}J?4KQy_2$W&6$x%E{D`$M8}Y zZ`#u>5wUyQ8;yIepWXW1md22!&l?{MLw@9NK~W8q*xq&BWy^Va;v(vZdtgMJ(aX4p z8VFs3O@?(K=g4B52$SGP$fpXeQ7N%L0K~qt<0K+0J>&1oI(I6n2RnCpwoJeKSaVU< z^5QI^&gj^_``?h12!XR4{akbz4|c7G!)%k!Ug(&*>ekPVA__i|Nl?_gj*~>7IIg=S z-Yaju}N)KjZ-GeoKIVpeVgmd8FZVIj~cz#Q0!fdE2P^Lu1R)SebWh5Y=LY z03#4XW#Y%);Nv(%yWeDAj?`eJsf&bSkuWQ5&|6kE;Ff4NcR47SLcJQ%yh9ISNqReD z^YS6fHDnG!e~K2zU|DfTVMR)=d?v0{*L4K5&X@-%}aTZ8?7yc1MFh4rB<( zTdarFVg)ENr_x}0iAoevi61v>TI(`JfO%|ySTgSW(hw;Yd<6F7QS(_5CW=t4Gvg`n?-a68tK!}8#y>NmdZW8_)n&nscH-(_f4j_9{kL9NGTCNNTm zdR-2gLTj`BiM0YN^!-`YYrPie-2$nH3+FYuVJ`QYAQ}WDuI#>U2PM~v8Qx>vGr$$O7oS*Xq<6(54iZk= z>tI7(5RCE&gC39L?LBSo$_zn(F8}W@H!+;F($Stz2 zr&V5E`aS~sS{Sr4-zZ+Srp@LL%{#IGSU_v2W*BtjJ4GDnV&iGLkU+_ zsG4Qoe!ZUUO*PYmiD*e31$CRnar? zvR05=IEoqsDRJHikH=fs=f+0MzZ2y-SM$Cg&}bQa2kk(`MIQv~ACEJkQ)1$Qi>Bt3i12%bQwtAsyvppHJJf zw~pN6(S!CX981|I?d;Q-4cI<;0Ahf{{hb?0cPR5jaS@5k8n_nCr#@aXYzH}wj&tLEY~QkYygT2pPcYvFH9h;*l5Lgh@9z2zN|=p| z0Dh3}hsb9i@K1f~-HiZ|%gFx_hIm3vQO973Bs@3P;lYB0(}#Sg#vxt?^ufj|Xt|K? z0=t#}n~I%)1kBqma|(ZCyrEYca0sO!ZFm^ybCk?Sy8&GZcUSI^6uWju6#o5;Wf)F!t&&v>$5VC4yWQhZOXo2 zsuw%YZn9S6hpgY}maLITv!~2sHr=0hx7Md=&`((1qP|iqdhtpmob?VMd^!3$c2~zi zp63a`b&6edG8iqHY!Y+&`u488{p*_JE>1Vum4IZO-J4Bk1Y-A4f}NY@hqmc;4hD&s+o-NMZ1491Im=gw=v zxd~i6#(zsHDq}N+_0ex~spV4oZyu-pAXn!NHv@+U_&m ze6%A8SNZkf1x=7>d6{nxqMdN+$$5nzj*AVd8n%7o8UzZHpR#R-(Ph_X<<*O;G3qNh z`7ifAL&s0_^E)0}LZwRvO?_*A)^K6F4Pe2NEIgZ!i0^omC~23aW1k}uYDWx}pNXgL z7DQ!6z;sQvAzgBfWZhLQpQUNc0ziT0^p#!*>%J&0i>n8&bR3Hh*@|F|uU&e4T{qy$nNzQl zNBU!)P}NjTC>EY>Zn`3IHRMW1x_ZkY#_8VGh`QcufX{s~WKaPUvx|!^838+JvR?U{ zo+|v><8JdSfCh7ytV-Mc_Wk|C6_q(BG4R|c*PB$wK~8bfEZ5Gex45OO0u!*oXYdT} zE6ixjC{Oc2s*CVBz#sZs(O-gHVr8M~j+JXMe`ocDkc037s$4l9A7)(-=e-TmJbgJj z`|Be!0U0Q6KmM)mJkoqFgHbxQGjMT4T=7`Fb#v6y_&m6|mH$L&VpQ>i1Bv3|P1H=h z!>BNtI2Y9>JLv-^;w|;(ku|-?`XERjK#8%wElxNNpUHW-cj%E0aeV8soXPNG)^6>< zfvGr1K!`$^M#BW~T%CD0>->CstAmTc6!<(k0TRtS&+dciC#$se3_;18H~dCRDyu{1 zdMlb1@h`6{d4VkOwwh2ni`_ZI`mrlau%J_c7{-1aU(k~4+dMF&{&Pf%?g4^~&9GqD zu{!Hf4C7vq)VVxM&_B%Rr*U7*nEtUqH^__pV$AfM=DBJv@7-fkb(GwF9U!`Jf6Q!< zmx|BNKEw^K{=N?=H!rDkE&_+nsTS=1X8buNaN+4}i#PzP+8oFpB5xfdicqrEI5ZZc zCh#`c2vvTH$a+fw?wA7@^{ld&=*p6qo=OYQaDLGkVJX?CozXreTfMVlgYj*yNrl0qP=3}E~$f*2oI-d@jdkG4h>xwueT z!x=MtsWIGfd{n1zf)#tiEb`)!wxo-q!FUAK%<4(SfveRIfp~Q+DkskFus)mfwUreg zcx;mmf-YO-))vik#xbu?rqZG-3i2qWJV2o zP`a-m{dXp`)FxV~p`KrW@$&FPZM>A-V;(8Oqc(@M8`l-OZvz$G+!3R5VJ5#=PF_EH zJ_FPa#|G_oMuvZ~uo^Egxzy`)EW^2}-NQb+T%r)RUqD`JdvA&LWaPoYT?&2*Gr4MZHH4})xrk#J- zK&d`-Q>2N1e3Ji_qphFKj++H@+{)VBy=Bpqrov`)zfjn?d0(ag@|=NUA5{#u#+}{- zq|~e2FQ(TxY6J<5JJtG1`efhVj*IF(X{IO#i0vE1~OVrU@a;gmP7DYHm7$L)6u9M&cvt;3(m7Je4(ZiyUFo zNVQnaIlir5z>KvD)>EMHSl##+mBLiKyf<%N*D!~d>Xi>p>pX=enhx6Ab6Se z5m$w3=n+a*f%Ai+)!CqTtG?|IY1xDAnNJEwH_KXQC9J3TNgLjj9k}dbT`uof zx)VvQm~dfPhMToonbRiea4%e)@V?Iz!^h}nKhCiw)gG^Tu0rQyeIQ58t+oSNdZybN ze22Zm#y$ACb^X042KdHci-r@d#_Wvpx*xaq%gW6}GIuuy5D3VbIRaIxqvm<_gIOTb zS7~*bkdCJBXFI=V=Q#Zqkm+G&-l$3UF^WA*dOzWT>+8+QvQ+xRG|n(pElwwaI!V|i z!JsRb)PY)Rr9@Guh7$YV!3hJdd^NO>_p8!;rK>XI$Yp1j6p~rPK^&A|A4&K8u?6}nO9-PCSf{2s7}-xp4*@%#GJNN zKZ=abj8Q>9^|Q22S1}CD0!hb!0Q>19nOxD39=JTNQ2BM+UBVaS9VX**MYT^sZg}PQ+Ei-1S>9C`R`7jxK?qHrS)kAN%XaDIbt~Q#DrmNWdu5Q*4st5) z^sPxnoAAwqmEp;#(+TUmw z8u+>&!Mw}vg|-@h8RVlU;@-PKp6U7aE2e&0{O`eSRF~?5>%hKH0k=3xW9O$F8ptVB z;&v8=`c6(O&x1l2Ui16*ctc)udXz(<4%LtRLVzf=&H|Sb=3&j41aTbkwSD()fmT7| zYsuli)A;%8)e!JGUU)k7F325e&oZtDF9@JOGg^D4bzZ#2@6x6}^3c>tI4l7$N*Wk= zx_L?7!6f+?0BiHK(;lD?EjnW&1;$8(S3f$!96SjJr!%oW;u6=+w4|Hmf6}9WD48wI zeh`GiN78sdReWcixwenKyj0JsYS5A`_Iw2gU6$*BNiSMD2 z^;DH7Lcz(Ze#c{YRhO)0N4sRM7EYd*1Y`lsJL}rEgCI@d&G6B}wN=*QSEbBN4WXqu z5QCNK+9PG6Uy)g~?;NO2sMI)$R2x6YL1(qyHD*NJw@*bZB9-W!bB$dUs%GeLq3&7+ z2&g84F+SE?MDhh_U+)2xUYJoGo$>QsroBWlZ@C+rx94Bl!?}j%zOJn zKufX<#+js+=!4%zZ%_0Vk-2dDIz;pM9d(Kn0v*@&ddRt+bZ$gJnQNH}j?=YX6h2`3 zRNF6HbW`CIXFx#YF~0I}2M5SbtFJEQH>Vp5zB3c65`vaf7TQbT(;GxJPK!JToDaXD zo~kO~1Eqh&kDQGwM|1AE3sR2sF#gYPD7O@~ol3fMG;A5^2SOfe2RqS>N<@)Fsvj@|Q)221Uj&tBT5XoAz-hFrt69F&-*$bxSal$)d{VDA zLL{84K2Ljf@a9ZFILv^9dF^d>DNZaq^m73C-)l1{a(n$C6geTPEq>Qw zJuRc^&4$KH0&=%>`7q7I{rhgF*S!V_83EJ1WdFzcQ6DvwMbJsC0#VWt5XQ}cvSvUp zur>`Ba)F=rBCGV9s2|98g7*E(agb?{0~qgi0I8k80ngbU;U;gu3l-5xl)r{fGy+dH zZy6YIFL1GaxGjGqcq?xXM7cnTIDj9x4LLL*B?jmB>8joE!|Y0ssZ;hmdob8C=Vb7z zI+IFEr&otl5jaTddjsNJIFQb z#pCf>(+i|Lbby?J(V!mSxC^cpfK$emkUFA)Ge6Z=`)DZT-LyyRN7M!h8gr{#-kkI(}9K90L}v*=b3iaCrEzR+5x>dfbbZkq%nAOtK`&^Sfm$NNM9a%v6`5=^ZI$d zg8L9j8E=Qd+KH!A8i(d6L8pr24;$oCY^KInG{o?YSx7HYArHpkwFa^-?K22SfD4iJZ7740&@r*n(VNS+@q&e4Fs$6 z2{^kM#kV-aMF6-3en z_JBYKyNZws54Wz%b187PidKSl8g1(c<-TnF1on~#MgfqDC){7ijYLXRy2KG+kLf}= zYLp2l6y^09Ck_J){kmaj3iwWK$IoP9q0A-MeS1G&cQ?OcJer4nX1+U$OX1}f*0124 zv4^I@nGYFvrol1dn2HzK6*Jd*+yRMSQas!j&gaF*z$xo824B|b>AipJ>1*Cc3n# zBj7Uh-;WKbzZnPk?(SeDN6io+RSnmz!mc>1ii+<;pf;5QUQC>F{0e`DE?xt|`pFLg z3zuQaFlteb&-KfC5>gjTO?Ye^)UN%lv&8+XbvoF8qjIz=AZ}*tY}7MXbDt@EM>PWz zD@`_{hEcPz0)P8rGuMQ?-AitENg=AQfEpXPMVm@&35VBhW>l;miiUMU3|94))bmS$ zAonSd$r{FpUpz0opPuc2;lms2dUFsQ+c&YaF0Hh$GlHLE8+LshSrf>OYF31uefL_? z_9WQ)N79)4~&To7cG5n&PsK39J#@7x1^o2M-rk0efNw@I+-fCtuN}x^VP?!|@S*!jR8ENy&uh zv&BmRQdCM|5cX}NE=2{%438;+th<10=41gzc=ZVnz}J=?(+~lS zOkhlG8K4w~!P(%c0M%hO;5<1Y-$xh0tpVAojuSfvH`ZJnsE0dgf5G70zff2+V)ps9 z;p&YC2%7}H$#>&zvY*lHyxyDYF-)Onid*2n%F)le5HhazO=l5t4jjMgyk_1@dJCaguwDv3lb@HDgJFap7`GJFH6&zM^u$jO{~nn`skmTLia zrI$)!r6G{h;MzbHUJD%Ab(QV_j{7HdK~crsloIrdDXnP2u^OA&2p4}Gu?J}nHv;*3 zM}pkQ(7e3VhDChxaU?0;mPE94V){%%^c!TN9~L10BxLdwDl zj5ezQe=1+i&lVOr5d2h2Pr<4VUUL^5S+{KLUDVd>f|=Fkhw#(Qd=+}2Fj5mztH#wH zHvZsv;R8NGH7}nQ?W!U-MK*hnj%XxBpD#o$M;6X8y_!^DJaE%|X4oYb?WkASojdDt zWlKNZ7?V!e)`-nquxA6CB2JDO?O4cye+NCOvpjrb{q!U0eBbRO`;0+8xt9fh*m$5w zgoYWwMNI;Csz4qIP_L|F0J&I?%%3klVV&MTEbX-uX~lgg2c+0ycN=0^Eg+~ja-vY5 z4E31NUnj&G%7nwt=e9I|ItP-;O8wYgKw!VF`X8=<4%DBe%pZPjF8Zhbk z0MTd{M4Y}1(~A6m%)Mn)l+pJ;3PTMrz|cc8G}3~AG|W&U5(0wKt$-2=gLF!VQqmwO z3Q7nlG9U~oA)!*z-CYuT&wPKe?ppVM*Sat78&R1!&vWA0dw*gR*t-HO#0+p{2W9a_ z5+fg7404qGynt*LD7O3g}vE9(fw~^JV8~@hP0ItB@ zFnrZN7(DkU8Q(p}CoX!nfOMVeanGDpK#CzFUnut}Q1sohdHb4Y7XKzWI8d?Y`@aUH zcwWD#cYI)5>(Hg7=I1}xe%5haF87s59EkLv-u4it0PCz_ z!x_k*s?BtH;7=e|hkbsu&F8XxH@X6F;TuhF>lsMEjhcJ{u5H`AoR2m}fskdbVa?9# zJJpI%I-Rf-{&~#uZv-GvgU7Uj-!4ETSMZ2CSC8`)yA))B~C-Uz5aUmwz*;po-JcTwhG_ z{-iukRkaNOHT_)qAqnK8vu!Zm0dp3{{+Pe6KVB!+0W%Chjkxo{9c=h0k@xZZ|09jI zhj#0Xdcwmz>AGJco`O(*3ULVv*zO=!I(hW~;5~QVgs+Z)@;u((pbl>V1fu!N(^>S| z(WnjHK;t{8_ka5Jmp!Hk9O|saZ-Fg|8SomSNTq2X1f1lDAh4A9<^W>ndXQ|4;f+b$ zW}1T<4#f3gtn2IMwcZSFTsA=FeNIsUniLZ=W`!A)}SAZ+JSG}l1ZnD){Di6%=QhgzjDLzd`JluV*k`26Gb&6oBu5LhqZbB=y!K6`NT zSP6u!oh`}>3DTA^yXWBeZcq;fF@<^QjdW2sGYHg^l|jh8-K1`A3x7TX0@_D2fd`5F zA|hrmsoh7|J*|MnRBd;_yZQ)#v{O`s3qBA$oEZS5nzN$~7jU`HsDR3$e$1XyE)Fp1 zck*NIJ#6Su)&+0L;qYuB#9MeYoDfL0D`P6lq}M?DSC99%!ABP&XE8+pd>uR}w4MwB z+2@$uGmhm^-kuL%|31A};~1M4e75#5i+30#Y)eX7N$hJ!4IrP&9UUw}HBI3;^uTb( zywP`SGN;~s{A%OzgxeOLRvrlGtX3!`ZlPqrYsY8Epp^06k-)Acb>@Gwy#YICyxzvJ;t~B70zG1ZOJ(2} z^iMh5In&B_Pi1?o`qgOs1_Ff%eyyM5jHg)RsgctUw_P?RZ?W8=L;3sflv5AR^drEa1Hc<+(4mo>Xu$F2eZZjj#8&tw*ZYQU)@0vH z>8UDh#9n|Bab$6I$RZHQd<06Bk;FiBH#n%)w61ZPqkkf!@%*==PD;&F&SDB8R-n~> zW|xFakfUtNJhSBs0n!qH3m1&zQG388eM}gIQ47WALHtM80Ug1rP?FF9pliJgb6qW+ zQzWbc!z$r%pNmi zK8w=BT1LC4f0i=O$L!b*GXZfg9ec5Q2m34`o;OJz2bVuod=g2i0YxUtLBojkCNyUZ zT_%2i_Htm(3e%2}%Bh$>B;v{U>cEs1{2{B1pjPPa5?iM?R)RMo$(&^pUB6gwydoOS_C#hyemhN-L>-RnC za}gccz4-#Oa-j4PqcP7BQ{BQ>R!yg%VqAkA^vkoj1rclPYn%#yW5EpT7GiHzv&>5*==cWwyq&0+G`kWFB0S zZ_zL?1N)lX#Fyhh*v@s00 zh2_4N3v(ec(n>N=&PWPt-gSD3Xh;;TjmP=f9pcqeG44h=q={ zm3SZTX|$#_!_Y2pfoG?};F$oQON?(fE?VN~ayyKUp3Gef{(9d=i^x-VKE|c8B*|Hw%OWaAesHV> z?YAQ-V4mwNu(Lr7Ip$^aO}AtS_>EkEuc6 zGVBP`{xk#4%YPhc?74>&`&#*mWvddi?#0&I625>k1b0by^N`e2sD6a^YDoK%$G=-_ z;}ME)88b}lu$S_saoVF{dlndb*4kOfDT-cLb82=$`u2)_IuxSbw*of^#Uru~?7nJ%K? zrZ1SVHkmO4`b{g1zCA-v)jz42&njS#o3_KlsZiO3$vSN!xT7!^s8n~vO&!*dmDY~3 zE>tV3zl}8qu33FFXV*rL3YzaQtRU>yV;G>KQJl^>jqGv<_F9KFUGYdIK4{xm`#Zr+ zS`RZ6Lh5jWU&)Av_X&irmEP8A+_?S4<~7>6DaEpu?qB_x4g1b+2E& z)HmmQ;zGl|N$aWpndhq@ntCtSJvj#mR&A16KcYi;pQhIs%z|_DFp6T@4#BVVN=fh= zE|orNUVwsp*?)zjtC3|P(oZ(t<)ZInFMInt?~0X-k$Ea-BWSYHv%OtW={r(1@cW^u zo#CLkB}jRa^j>a9c6#6<=}%(2Vlv!gJ@baEl(k@TVTX+OlJwFw4T-m#C?~$>mPN<6xdO z8_c6?ezU_`VXfqaWeS`T%{g{uOdTrVeiKbs4@uR5it{|ldR5J4-m=Wm7VZ<+;QoW# zB)^Q!9h{ikf)mf`?Q9Im{`MZkL1FFi_?|WENnMt#^2wX2vw<9_AH`9EgbC7uN;gR3=3Z;;H@V!Ag(hh<*mhEu6keexpX(hx>*UfS} z+>*LI#D#`DmMoW5bkK(UdO)PDB|0=eaSvMHiTz&Ky>(^_}Q~a zXepP4f00;>g_#R-}X3gL%ccC7fBt{8BG)my5_P^qe z2fHNSs2oaMCdtKJs%;AL4#}Q!0_!VK*$5`fxU1+7QU!l(<4ZlsV5rN|btfZoyA)A& z78(zCA#u`>;uKr#1SZ#?%a)yXBr&y3G1U*cqr;?zQEh)cd)XIci5e5LPdpJUZ^6== zU+SAYn)dsKYx4JNAIV{KpMJl{f*swx<#6*g-Q9$tXulZ74M$`ncH>2q%}4JKX+aPp zMpO!Fa+Xn}+g4;hVb0F!gQHYx5Oz$nuW?LFX|$Dx-bcxrPf48*`&kqsDPFw-QM|GW zqFf%K7%ltiY!`;=@F3b;!@eDV@hZ(2$UI!4r#M(NT2O@9r~?vGm6h1vT1*Z}_M<;; zr8iKT3#hJE)D^9%8A$oJ(y;PUz?k@VNimtfQwaK9WT;w?y--#e!lXi>dbo4erBK?I zmLw9vZDzO=iLN$oiDQ9;GC$pInRRX-bSh11Z|NKqurYaj-wA03k&1j1PDV0>TW2k@ zf*k|NRXI8A>9(Ma>_h<&Z2cC3;x>LQ&9_p0{d<>an8{iC8wFS(#^#sS`?Jd+VN28+~dBq=rviuXG;^L z+9*x)i*P}6H$X1D1LqZez8h@&a5k?GN4GQMIM=Q8sJiHLX%z86K5{aBcWSIXu)R@u zjE(jDlkHwYl<=}-B-*z4s_VR%tjv4yM}9wj<4S*O*+4 zx|m|Ogr9QUsTmF9r}#>J%eUX^5wnY~5ff@mS@dR2R-#UeNVrD~*|U^eOz9Q`w(LC7 z=4ntgC1nE0*9v~isPov9Rs&6$9V*qPsw3=r&I!qZxV3=$H9DtRJA1p#>v=AeISDSD z_u@Po(M!exocER9^KBPViJIB!4c)4Tf$Q3)p^Lu|eNNA)alV&UEuXWV|7Je$3T|i} zoG-sR3==Q^(!9%U4J#U$UFPrYVW(iVYwb~Z0qeX%DjrJ~M##Q#)Y98}1Y?(dooU7- z@&r+P)3QQCQr*t;g`|T2DFz3KBa*#Do$7 zVmwBWQSQrJM9I z?+_YQyce@@s%ndID~x+ANXXuz-nF@GI(>JY!@ZaZLWQ>Df#5*;Jj`cU1n z3K2hR%jul7Aw?}?$QBElVX;#5Kew}%o`O`Pm(Djke+K~f9I^VD~2nb zex*x=N`;xn|JxPKXF>BjMEv@Fn)aZ{VaI`lVz1*0gTx5;&`yG;eY!)kf`q}>*WT}& zrPC-%`z(2-(pZw-F5(*LP~nEx%q*pL|FF=$5M{p(U^*tc+?y~Gu5)Kv(pRFgB$Pp| z$g7yJa1wQ~Klp03Fwjf>||86Q&>&0t0XJ7zpIl6-r)2jg)jsQ87G907`P{;S9# z9=2kAd!cmN?7!FWN56W^!9`V7OYTjC1-v?gahOYYWpO79PA;4OY1>XgxotV181-~^s;B~NY*J1$ zCV~I3`Rt^LWhn*(<6+RN8jE|}LrhGj@CeV@m(J=|!jt%frBz#}Z7TPt+cWh6ZfD41 zYg>Ru3@43)CtQ8KLG%2EIf;D?BcimAe)f<33*Rfc_Cky|UN&gi3rVxz{>Bf@>yQ_m zBqrkeySbsul$6lQAadmfC3zAvDssWju=>W$ELl>@PKF|1gj9twy#Q(vV%Lf#vRLYv zMPjo(5m*gTE!urHn@7cv-B3XaF+od!h*pn9+S*lL8PiMs&nh?9clo7Y)GeMb2C^(I z`{NI>HHdIljnF0~QD4$n7jiGU%`OKish63N=d}80>$LQ666;9v0Vj8RyXPH@Oj{20 zNFUMpE{WxgH>1-{aUtgyYkZ z&lp}OhW@eV<)-;$9E^90OZtj0Ox~umbK1;nMc{I7bzhy%2Zw(JLs#^C1`}NZ!rsQ% zQ<5TDn9@GiJ#H_2RM3|sQ-M1vyh^?u-pLq1rxUs1jiK(mSNzlmbE9T({}evolEN2) zTQGkqP|A8Y!RuR`B1F`pTfF?RG|FbB{!RSH+Oqhf`AyS01q$N0yD-fnqF>STcx$>w z6`O8z{#6FIR;&>G-258vmJ`uL5)n^M+Ff|75wNh!g{d6yJcMcs>Gr zN{9M?4XDW7OAB_iJ@xzbt-QNB^1~n8q{d|EQ1@wGcshf{^fg#GnpxZ8F=fyN$<~kj zqME07Lx6foCta;R;n1X4B4eYb159PWdEtSwEPwR=6p_W1um61+k@xb8`(`6t9w}{)V0Tft4V0Kk;0O6rEA9gY-UII93AR6J^?$ekQU4!5_R;{aY!nK~OKE)$tlB-K zo%_0Nlm7HS=!j#i2Zi31Pjrl;dGy79LB%?}{2$Qg7yeoV2$buu>!9*jN+<_*nCgvHL|il81;qns48F&;V~@eM7z3qIQ)3RMD|p3Ql?tBt0?do7G%dw}-NuHh@8;NZ zmsP+fsRH8j_roQ4!hS&`zK{>p5$<@a3B2cx@5KE#hMmv!<*$N<4K}I_ZSlMzkA3cWi+2nH_DWzl z+jZ{}yoz7kToNI*ED1{n^0j+k9=~N1NLJd9F^G#b=8l#;1+Mg?rsA=TC}4>Bb#K%$ z+><++6DTX(rm_CI8Nj9HQxG5}h!aczUDI|kP=b%U4*+4qj@F#%9jm2IZy=EK*qiS# z10X_)2i|#?QULYKJlz#Yn+~?3nu$1t94{GrCHYgfpM|#0qwfuS+V|X{7lf48a20o&$Fc(RGp*@k< zJ@@A+;EH(w19ZGb@k`H&Exl zpM#Z!OLnf?&|WCy(hw$*bTQQL@eSBMSCm|}sDA!zD0;82oe@J|{%aa^M40N81l+QM z7Q8K!+{o@>m3=cn`MwZ_7lju2fd&b`neMsIoe)pIvaMsMA&UM36f|>?b9Xx0&Kn~+mqu>9EcYPwwM~X%BGRT+jOK$z?o)KW9#Q_gE~-y z28{wXtBn;QQnlc3pNAs3d8)k!dK5h#{H}i=kBlTC-2|}LLo#;H&}xMcfO7pg`pG6i zsI>`{cMpTk4!uw>W4V%9NX0C{OsL=$l093kRUIh~rbl?DTQGw08=ZZc3MDb5{3F=5 zZ>iYjt4xx~Ng1u1{--I!b7fM>eA0C)!Gz#;rUe37fa6rM#URcQN(p%YZ|#G_!&>vp zX2|Ozgy%D`@O*G!Ha7tc+_tcK-`stq!TwiJioQ@dBOV~X?5DWyLw2Nw@fIr|?Bejt zji>D-nUC~}ESv&*2`opI`f3xfl%LL^<<&~V+@|xQ>hx-<1*k@_G9=3PU~^a0R`S5o zmVh^5*LOHW4JJkEs?GhbjCY>i;L5@>sDSTY%y+=I?gC2MrA4B?fy$qfWU9z3aqo#l@Tg8-2at;JS_GJ}p(r_r3@L_!8sTUm z5yUyh4DJ?-HmV0)D&T4o>L2y*`ROA-ae#4RrT_g|;R+D|&*^naLMO3d6Gu`p(i|=O zG9KPn1lxeUU?a%*KZk~Y2OMb&MG}*V{J@Jbzr7GVzj0OTmpU28qDbJy1pp)PvzwWa(?v=&CFo)yz(K0@>XLUFii{$o8@RIN*lcSTUErT#r^ST@k9gs_PfE;; z5&FDRCi%2RYNMduR{1e*t|L|TOM_Sg=wI=QeMb+ztffD2eTCg-sk4m6Y&+{GTpe+D zZw;WUzOC&KWJ#}TNpuo~M;cNjFa0Io&WZp0^cfWl1`VRH`h# zMzTF!)deG+!f z^&>{&GE_7pXIUIe*(4aF{b#RJ>;tZ-l1*eYNk9zdA>1tC-nJl6<{nZxtc(;{G>2F{ikKreTwlck3+M5f#2&TrW{T^rK6gF^!Cwz3?%q={sb#U%`@P;n~F zVlQgT=Q*a~jw6b&ql-bB8PGa}RqMpCS-(Tu3;AB-ctsUK7r~wk7x~PWKnLptrEZao zT0#f*2;zm|IDmH!n$f;)Mh1bT`q2T40cs4&NsDSC_j)N2kiZe;g6(=rg1kn>KfA> z**PR9+&oR%T^foK3u%E75iOd4L`i3RpDAAI8+un7AZYSLhM9E(zfdKt%(ARQ_J)h;tY zPF|EWTS7IdC(qM|85yfo#}Q~F41xWOo9c;d8t2A4;Jg$ME{H4K>(57RVXEV!`dbDd( zBz9CgT|K#pC|N|cTGIAuhZ3}jIUS%hj5sO@g(qTqu%TeA1x8Jmy}Q*Oy_x@}=JcT1 zF_7;DHr~I>83nuidb~|^H>3FM1fxt8Q*4Xwh+#2O*9?#2E)d8MdVpw_)+Bh!|!;gIi#? z|DnLSc0b5YXE7{v_bSz#=mbGDc5+;Ekw_Av=pk4O<>qGGa#jq_+sbbIMio)?;jgQz z-O``3&k|6H)O>KxKAL4uKJwL}?7YF_sP|-=(P-BesdHgM#PD%T z(TsLvjRZ{hCEs)Zx>!38fz3LyDz+EL%EQsf(Ryl$(DuNpB6aB}@2ODkZi%F`u~dvP z-aM1a$l*B^?&F1%v%dP_Mx4~_M5r)#)xd!lT`F?aDP%#=m_q2t=4sBk6$N*e>@*>Y zpc5EDY}bA8co0j!c2beK zPj=UVS@rnp$-;Oa(h-(I>Vt($wfdkMN)>oZLpk{IF{L9)U3PdiupYE zTPf^j+wgTI^Cp7dQH3w=sC=^@s$<|6mX3U#d8>rr=K7Z)KN?n&=-OX;dS|pT+>ib5 zH?_AUTRjgAElaB9#wE%z^T8*ogQRxebc`4C?%4~_VMTLhl#DBxk*S1q=tO(DFQLd3 zv6+G_0cgo|?9C^d#$RUD7hBF~?4K3V{X!C)<5Gms=&PIS9Vj+QbQQcUlHEKdocC9> zIsaK*&gTV^C8Ohj@F)C|Xg*eY?)kG~8e{4@yA*&KEH7t&MaN`r~Fm8k;Sj{EgFZovZHs1m}Efe%Y9a4$B3iG&;P3dS5Cc|6LH zg=yYJw$xdZ3*F%Lc)eO@*F8xV^ufWhkK{Y;$*UutmcD`P-@0rPRc~gN1tk5rHUdIj z3S55i*+OA4=GpYiRp(MZ5f8+$^DS~oSL(4bobtP5TRz)vbKQu;K!*r% z1cc9O^u=qpTpADpu2;|!#%ca7F0t+N(JL9O%ekLXyo;;F5$a#GnZm$!yzB34mZv8x2~JU?^Xl1u7zHs+>Q z_)SZ^;qp9MaXwhM#}Mlb%X1apbq(_?N*`K;Y-0xfJf3{A>sH`}yck7D>NpY6VX=B* ztSkN_k0jByn3r0Skx&vR>%Z3X*tWQ43o?SU!@Mza#N*sdl~x5G{cY(2HxhXgaSa#eq5iN1+Tz7oP1EDRPv5BwWvZKpC7S6X=}o@c9eK(_-e$^0m+IHA|MZuS6)SJwKH>d+L(~0@^Sibt z+aEB3#lJ=uzb9Fi0u*0_A`9m&mdA;V)#P-Z{A=jC=u_;pe9U#f5(-&0B!IW}GcDV? z|K4%gT-zBVG+LxH%yHZ1)pUenKl+Rw5j+o=2tX?^w@yb=4^a=)BDl6>cF3Q4zERzF z8z|Cwu^<_5B^#D>p6BdG-bf*o8UE;MC5I7_ zD^z7ZUfV`owNimroq%S-qbvSL+vkmiPg<7dvaMK-e==R_6kJNcO0})siLJ?seH6HS*T> zoEg(Y|FoT9IF6}_4YjbIY$6=xmx+o0cT(4D+~oy_|5lpWwEvzo!F3X@qkqRMS@y@8 zW&9oXT;J==?#+a0v3<@8BCQUaldApKr~M|MjjJ!lr3g6xV!j7jA3e3Y^D};o!D=wS z)c9#)xr!fSN>grtuVD!Ez5}abx7fA6djTiHL&`lDkl1C%NxkZ7?E<%3km&g@%au}Y zS|kbSE)fMRZo*~#$=q_k`9l_qZukpKq;#BOMkGwxcN*xqeqX!ud**OI-{i}L zTYh$dM;7N}D|@a&f3o)T`i(K&)+0a&8_dnMo3_(#LvIRYWh z?^yl9_V|931_gluuf*Fr66^{PH^Y6g*60)y`WAZ0#kt;(2B&%!gv`dKxx5^$@v(27 zjT+|>3rJmwTP$5J63Zrj9?Fu;kt`~|Ae@%b;X_;xH4k?ge5m++q18=7=9j95`tL)7 zyF^kgiWG%ke7E;-v%f|Jr|mp^t?J`Vl-GonLcjazKRHMmA2$06H8FyXdg`|jXJ8k{ z5>{>#lZ(c=x1Ze6;y5bxrKt&irma*T!eORbmAG?}Fp*@T%sG1?-}5`Uj-=Sq_kPcF zCLPK&*1fHq8%nx}o@(=E5_>AUk~XS$_nGWm|1@ofIO7aM?k%NCJA-p?k0u7*)bSCw zi~DQbh=Ka6EoIRs@vub}mysgqE>rD!amXdITp?Qxg%?6}G&MT9?#XK>dxQ#44r=L_ zB2~NT-qNno^3TN*8DgK-M<>R_npEiM#YOd~If9GF4h;)T*mGiZ;$x$x_8xJ5Qh%aL z$dj+>ff>-O#2jIoeoH!1sY&aLkHB;r3DoymRd>G$6!yuZiF+G{+cr&PV(nq$pJ`y4 zj;?fD=9y0*PH+iRgT)`8opmWoNdCHoS;WGYFgK?mMsK&RCyuAOHnMiE z7fb@1gwP`K3FI&RiQJz;v`GKI!GaJvNyj}Q!X5dB@nV<}W>V8Px)tbj5jB)q`qbHy z3^)_(Y7@u?Tdn@t%R{JZm#O6o=N4!Y`r4B)^A`EpMOE zj6J}mxTf#^HvF6%11jzF1-rPm_!i$LGQH&wE*ak`hD zpQ`8)G4NQ?*h3jR9bygEyfnW1-fgxz@3I2#H;m0{zso(-4F4%y>oN75mY zQrs&5yGcFyQHA+Ght|3}wUPap(9^HA;{V7fe03nYBkiG3%91S;$1RxGqZdSPwRvdt z5p?9$7>m2+^wFDN_%vu!k*V~dc5k>wi8Ohx4sVq#SctOOy!%AmmE>US3Z@{Uex%+Z zrS8Va(%2u^;r&VzdBd?fADY4+OkESdbOX?jOKQhA)g}sDv%6^!!_1!0z>2OKXDEB@ z({ZG3b~eWZL76_wrT{;`VRe$8Bh)16Znja8I;9JJv{u~%&H}J)U^QyE!N7sU$fC%i zKl!cYRY&Bg7c7q(>&L=P_&R-SjTRH{5%E2MIJ;X-Tm-R`WnZYMJiMM{Hc_qnvqRjp zd8n8QluUz3WYi!^6HY&;e530=mWvBVjht5LejMYtdG9w@=&xI9qm!>?efx$pjeG?+ z+-~C>-%dr)MW5Z3PSyj`Ub%nAe~$}M zMt`0zWi9|njvT6jnx$o4aCB>xf)`8UzbLZk<;w(K89vo73gOlJgX8#%a8J~(cUBPt z{4&9xdE1)=S^Q!t;3il6gdAk^)DH)D{W*X|@}PW?b+m&IuE?_1uvP33i9h(3{6T!R zTL31u+T#2P1ZN2_{a=&*)wL}e_iXdkZ7qqU2V@DL>gn z{$11?{f5N(JA@o^(B$m8EMOw*>JEOvnj`E|UL098&YJArA9$DB&Q+yL>|P#ImL`Z0 zz|_oR`()GcU;PpMN}Wu$@tP_4#s3bL+fK;NwMg)k-A~-kHHqwz`49SNrpLA)@7=Bg zH|Ku`h@U&Ar{M!$D|FGzm|gIX$GbK6{&Q1bvc$RT+_l{nOOZ^IlsS2UQCCd)&qbyd zk#LM{j+lU7$e8-9bPPi%J^nKZQTekzlMRtY*Ez8X;0De*eRA%E#6wa4&PKoX@QZuJ zzO3F8qS|Zi3Hf(E<1_jf_y$y69KKN%8*M(W>jhQos@J{${tSe~sU9eBzDls-%;C1B z=7TTiNyg*vREH4@D(C7|8B*S)qBzydHG?JN%r8IN+krjop8@Z0de+`BF)J(6&DtNg zoInlUazB3JM`Y1J;Ii~m{ii06Khr18cOH61u>B{aYk6~%TVHo!ZO>;sg^RciPA~KfS5|j$+Fy6|ILVy zhF+@=1fi;b_mVrlzG4qPom;wZ5OCLjNyNs2^W<|^V&GJA$i>1D<*w?VZwBJt+kEE- z8#e#GU{^IIuGn0z-{}RWv4-2=e%Q3vTjl*}r3p5~!b$ zv-3>#!mi=(QKb#|nyURi7nP6JJ?1;W7GbGN^{-c5`h3%I^GQ=B_F_rG=11;M@JZv+ zlga=qyA8$3IqD^H0}Sr&z;FCG>n?YKb^=BxQ8Ry!KlK75#5%Lg{Ij2LM$WhOY|f1R zf0bLCf_b>`K53k3nmnIA5x>*CpFYa|+tkM9Hy@M_c9bXLKlvEHWUK-VwjPk9Zc87v zP%4AlUuoZ{mzMPE3GsyK2k-PN?qunHO&eCGW3`la+G)3H0uNtty$@f(-*3jGM^As` z^Z<{1)o*&oAAVmF#xU?q$UjNHj~m2~i}f02v8zUyUQGnl zhgOH+XwyZtaYEe@q_^6W4a{FpJL1cT?Wk*^gEklQ%uBikPmL3O;V&eD*7PWa0?vLE zSa-bDFl?SBkti$ltqhnd58U=C5aA9mCq&6Lt?8F*bHRm`PLy`e4$HKa-{Ig@+_w0= zjBg6_W%oON*;RJAeG($14FGdnnbj4!PXtEFD#hzMzEoEkT-%p&2|`O%2qdr8X2V@0&|pFu9r$~dwtTh6ST2Mp!s!5ahqfScG4lJvKLFC#jbY-B3SBGZMAgSaD!BngXLI* zK>PQVRH(Bj)$vvp)8+l%z?yWVfzX6;_Ipxi3cbByP!N|2KFSPQxxp!Cg?~hiPTy|4 z3$lRQ^!LfQ0zLnLCx8`j&7AQDUB}b(<)&)mT6mL{YA#l_Ro_Yc8~ytCXz6NZ!%aqK z<3tP*9T<%~kcoox88(9{F>OV`X4Y=`y~D*;EzJo=#=1d2bc_9DJ>D9 zdS-i~Scsmbz1vPGHDSu^)mnZzM-%dyf)n!6Q!qm#_p?d>og=Xbq1cudE2UlU!|y&; zoGyinG}UbpdNCiL%n#P<$wVd)L*DSw3& zfS9JPfDql;BfoJX_Z84}czKcxgTP+6bGz31xF+*g0lnKY<8S&Ur3LI{a^NCwxjYOw z;$2PvlEX$;nDqQ~u9Padxlc@9zv+_*=0ZLSr|)!cCp1$w3JPpITS@eADQDz*UEzBbV6i2T^?7IRQZ| zL`%W@PEb&R(f`YmBx2xnmv}ngLfIQ11XOtC_KUKg8uWv7>B+74(fmdlF|-dN#b}u& z7fJ9PBTS`MoG8R&?ykVw+7U)K7T?{bpn%e8^2n&uRSN0wK*%-RsG$rJoA2u<-o z9s+i|7Ok1`CTOG@;+zZ?bo{a4eQ~zuodg>AYBN$%r-uHDF+pO( z53=Y4DTKGGPP#O6Uw{vaM^D83^WRGN4rcGf>^)4;JOr87 z9aKUcxN)59{L84(&l{8od)|}m`LpkPmPB)Ey%&ybT@8NM&DqSdIF>k0(I=xXR;&M&BLO&)uD;uQQgw+y>}}EEWSw_&S;)n2e^#(uz=eQ1$n@ zRk;83;EbNtDELpWjoDD?L;IL9feZDF7>I}yhbdNj?LlK@OYk=%YMwTYfWp!l`nX>%i8_gV>zbeXl(Aw~qq!>ut7BboOu16JX?nZkzO-Rwsh22K#)k zX_yF)8ZAqWY^;O!PnO+)=D40uJB_liSd;h(^cCmHh|~uwXI8uRoZ)LR#{^GW-qL(u zinNnH$#!}Ckq`EMGd5SU_Uif4_={?gJ2`HC`RhdocDSuWrKja!A%*v7{B}~4q{Z{^Uo`# zX3%SwKg=|)jmYk4#fR#%Mwetf*?LWC0_F7_lDq1d7k?D8w;@Zm0 zU;R@SqY?V_Br)KD;U2r^e?y7XF2vesd5QVYF>vo%_)e$nNLi#0&NA*ehcZ``yH&a8 z{{|(}3M2muN|gE9ntdo+CHe(762XJwk(tf9Oe28YV)a}-p)J~^M9uZ>O+v0sh-$o6 z4xP%X-AR>&HPpK}l=Q!(VOJ*X?XTC$X8-*(i7Lb=wiP0=WJYxOvzbKgw;jY%-+h4}Sn$AfhP{< zkC4FprR4O~4AEm+R?@_VEl2SWm+w`43yiGKeN^q^} zR*A(Z{j~QHt3*99`Lgw<7PDmghh>Nq)s4`+Zj(EFrIeg#>OQAb!W4;jZ4T4S(P$*k zbGyGf5tIlXUrkx^`*3l7a#8wn^jBZKhy{XK_TB%61=;Yh;Br+O$^*f$mb&j`jgj?K zLC>jGrQ!-9`*~gd+^ii9_PLsAmy=mH=!qrTucuTC#0O2?vDIXK>BW@i$Qvp&KYVRF z{~EyJWOJ;`3NBknLWg`qiP;kTDf{9lc|cRber`~Q8OM#$*2_d1QtC@a~VHW|q#BOxSv zMRuo6gzQ2VYI=ZYic{cZDZ$PVKf_A z&1eBXwB>W;;MgjPz@4J#CZU^U$&u?k*dZ;#dh`NQ@e!^ohKdi$5RK?aL^J;!c|L zSL?i-&s_D(^9jH>q4-6kGfmW1t(xh`2ETTU+S=90dvnxvZi&i{~HDLPON(%FfljJ zll!5iWhe~`>||S9*kV#kq0kJw-9i&ya~r`2q;S*7rr}^2vie`0Y-P8TYGO$<$ko2n=elMMm(WuWwuT1r=jUqTds+8-102aLUj9Qk*W%FTnGCAk|w`o`$pT- zn^~k<;j(DblJh$|yGfCw8Xb=jSn?9NZLyNnq{Pz1qLx@#%>$k$9?P;M5c*h=y}i>E*W#DG`PIR`kVB42Vw7kbJ|u2Mjz@p8#t210fGn9^Ud{a2*vY!*x8#?sTA$ zEVrwIW7_+k4Mc)w_T&jiC9`cnJ$QXU_ny~S!rq21M`W+?e^+EFygjR2T1kfpG-=j_JI(@%Xjf%>ukPNcce9whVcD}6Z}28l+0#c)Vm zsF+G8zm)-=n!-`dE(X$*|7y-{Afuor!%>0a8?c=(d(iw0ytP;geKq{wyH|g9``ri* z>0J76TY(zNMjsrO{j>3Jea!lOv3Pas(VzXKzCp2FW1vkgPS_Q<{yAUyt7`7Jl^F@o zKmSxQ_hZ1(&*f78uyNt2^uJ#o61>%_j6kzh2z}>x&}3m~ro~%6+B3X(_2PQcD$z=6M^%jfewVT3vs!AqFpHO_yltQ8s_!WgERs{DtVGeTtFG? z`zy8uOu78QH~kg34@9=6EfDm-ay!OLZ3fiD-l&K4sXh>VWs<^Q;0wvtePw<}ANCuj znoIxe^a~6XuR%3^{wlsRPd}9OiY@F#JA=(b%kgp-pPy4)%SrhwiDGdejPp@8PIvVJ zmG&X1?eG!kXsP2$e?UT8gJ(W-bGkPZEvvhRG=OU748+Ywpkr!qLW*ZE$Vh7H_j{Q! z3A*kI5MJE8M&mPdBv0FKB=WuZjz8fJ+XFR#xIoTK=j|~_n1Ljl@dj|u&GPB*K2$!! zlf%EaMNR$h{!#zLrf79AA|IP#7K1y4Iqs>nbUEp9=lOfdqe7aI8IZcFNE4K}6*p^` zD0%h}NNKGP*Xx1Sr~myL9SmC<#$XD*zMh#kc&VDtUS7;4#rSSn9;NxrFEbpSegL{O zxz57nj>i-S{`2*QjKxRauj>^|K}DhZSQz%u`;cg>o?=KzQ26MjAJA75nvZ8cn99*h zYoHjueFY+Q=_N4Sr1z==S^2s>TyDsB$Az26_R7)kAa%bg^RifWVGRI+St4Jri@8Np zAinD*fcW*sW6a?#0Do5MS}z^E_Tw{+7eL>cym#p}S(WiH`zgrc^}+4WHykMrkQ~(8 z0bdDfn0lKyk39e_pztm&tsP_o9Ta`@KadHE021R%q|mp)FD45`zu5FZ-P>_}FE&wK z1=RIXp>Ww#(p|>$;a6P!cPR)07^Rujw;@@}YrxL*fx~ama6e#t((v1lzb=u(=eNk? z=hwshDgj6GSAg5sAD~4q(==1NHUo_@S3wg>_~ZliEEz4HPtM|K6#}%uxH3`Z z=T<|BdjW*YMJPf$TrE48kO5A)Ql*{}2ot*`QZt7W$$qL7wjkjtMY^ zj_n8Bc#);xA^H3JjU;HWsVUVLcpQYw=`p&ShM9s9YX6H#7V9;HXv*M~>;%5xksnnZ zuY-(kJeikU)*mjbc%q@<&YEXxL;3Hp4h^|L5-6%au&@mXsclm+UkB+nxvs9f0TA!o{)$pE>&elPbkjz zrokiIOOo}9mhJ``tq=ZXZ#rTHrNoAR&av@%eW78V1zEH0XdfLF=}nM{%>`bx+QbP- z!@gwB&94ft#KpXLe2Hn1_ah2JZgg#{daVH@da?8RERdl!b>GT>4w@_m^&#M?|Dx3u1w=?T1RlF|0#kha`N_4cHTSwk6QLEr z#y&R~1dj8|cYc~pW+#AhV+%d(H)N1X(!R!?5|=GAg{dd(82jwKFH#2@H#Td;Rok^) zFhf>Tm>o!)wWkZIsY#fmCOsqmTA87=LBmlk6S$sGQX}7asEFFE zi1D?*Y_>b6Pd)>E)1cI?#BL&rv@J!Q6!}o&v67D3)ASya)cVpIgN-^Txx_ALW?zc5 z0v{&Y%H8g(0hs>3&PbM}QRoXoeQg@^F}l}3a=LI}NIo10$9)eqUzf70SX^wl!(s06 zEXS#g`t%c%L8aEDnBShKZyH;VbNSHonGhAvylymT0d!>wJ^rTDHD5@o_9CN$2r2Vt z_rxA%KW$fNF^0V;S6LCb8UESIKpc9_3(1oVRw?uUnw9^16S-?}tnoQmuh|Vs&ODV%74PCWss;n8S@uxcgWzZ^Chi-6>1v87W%`hDM zEMAxnIO*|FC93jm%b!OeuO4NzZksh;pRO353Vd|7H?XuEIfzX@Ns|W3EV((fe~dUJ zh5dp!Vu=nJqv+u_Vs1=w$0>&Pta9?M_+j>ql1;o>tJjwmR2TAm-dbOGrc&UI_d!z1 z3F=LrEkCOfZ!-M$nfY_9B(4yPG zeARuq*(5>?dyir&yNC&2viK6RU7=0Q7qmCS-2|IX?0sK}&1aWp+IHmM@P2v)9%e!4 zBvw#>al@X%PJ7-1jATh0fnXUU)jAJmjIufHM`yiyrLQ3JRd@v3hrr-bs(|`OlU^k} zxhsuY#j6q&gUdJorj3+d#;4BbiJyLALZ^WN9Kx1BM^LzIi zFq^%-$0zun0w%XZitj70)R1MPLsj`aS!qdzeHLvU$ccnC&DPeDTb=gmwP<_zRvvLz zu#bMSd}c0?y{`H*IAhn}c!f)^a1C|H(X@gj2(I6L1|J6#^42{Xq#RsMd}i=SokR<- zgU*IHi$Z2jS-CnWxtfia;~-mMNr#yOPx2p<_pEzU_3+bms!Acg7)d5=3lT2gN?s7* zOMz94-3!(%ZeMTr5^09JN01;Y+`TGQ$+NdGW06m=cpFbovrUT5k6)D^nGh3WGuk|s zg7FvlYgtnGGjW+^AA|JaVuBVJ*n+OK0x0f{dzo)Of4>BLpaKc@Xyc;^L+X3`9X^_qqP0Ja>MBjeukHi29 z*4%;ig5U3FL0Bj8U7FEmtzFzXU$T5dtp2mou7A1wC&2KF-r~|DjwjJR?MSbGqq&^) z|App0?^tfweTwy)A?$CS5-u@p}Ag?B9!RRUB0?q8^kLRudmSh;vh%~+qzSN3OR|VzjOgHzsqBELpy#sBE(q( z@&80x=icIFk_cvhudjF>aimD4#xOr$lIGEuKVO_H6koVsA12LbTKC$KLB>|BhDKc+ zD$Zuy%hOhVIm)*!24LW|<5z^}CE&zqVUUZhs@sDR28CBtC=_s~Yb6ZT&)HY0*M#Ua zz$7`n&K-;4cnArQiZsG89rp0~n9xpev-c%~eTomU?cNEn85=m1v@(&RF?gb3MuN1I zwK!-P6|Aeyq?&Y|0VEkE-+|Lj!z$V^$dYqGwL&j?y_d6DBh~TfJZoMm7kXmh?Q0ES zDp%cjb#K7jCD0_NJU_SdK zRFkHx>lfc}VuW#NNp}b7!3xUX9$+3{h)?LU5K!m7%Pq9U95OpTA|B7zPP~{FiBZPq znSw&KYUU#|llTQ^VP0>2s60xls7l`LUt+V3C+=^4m>Z)Uu z{jI*=u-UNlD_CT1Bp7LXJGh9WLpy|n(l<;{qk*rJwG5>3rIl#t(JH@8hp%cCLf9&3b=5}QxPx^_)WAC!uCy|$x@!mEVFl3a{TPQq3 zd;%nl?KM>Y_AsXFAl@eRo;)Lp&r>N3=O?G+HxU)vmO}+m$HW-6lr|Ygs-=euAVVwP zC_SfioUTGz_%XW2)%TSgO|+wh(g|FwvjSHc<>vW2jQ_d$AcTba$#d?QDe1r?L-Z4t zo}@LJ75r2eNyK84xrM~4{4XSgdAkKHw;z6A{_W3ftJS7h-Mj01g$0-p;`cvHh@?1OjO#j?S z^uN(QAl%8aC;1N&idITRrVqMBmbgj%;oDfc%#!;2*{%2sm{yra=MxnQJ7H;kaCmkVdeTsn5X&6P{Ciy`rTRn$Cqyk)KS(;43RowQ@er82M9IA zJca_y`@YXhT~Wd=Wlm_+$RNz1Tx7$$aROIv$B~FyIA-ZB*%f2$6PLtA!kOAGC<4(U zYOUksb3+g)oAdEHR^S)>ud1^VQ+@HtuV-ZrJ!kf4NaIbNO^2b~H2D+MD?wU56EUhi zE>+Sc+vBA*uV^~&rS>yzwc?WJl4Zyn+%ZMt1aY((TBfqnpO(KYbD0EdG6m+d5Ibmd z=lxcSL7x6jeU3~HYb{OB&oe!v*IcSOtV|4*#dV)pk(c8@PzDQX+4Ej^w9iWhu?ybW z2Y*xw_XFz$;st5kT{1TJQ!v?HqS+%}=Wmt2Y1uQaI%y&=v@&Tdgp*qm-8xqYEq(xt zg`m=3m)ha1R^&QJQh`Nd5^{?C)o*3zjmxpz{=cab!=690OSnJFJ@RGRRDo(1&QeOo zI|Njf44pJdh}6lwkB;XZu{}XvC`8C}3I~`RimfqO%%6DLRxEp)0YiJ_SuM--Olf`U zJU`XOM$ECQ1{P*GNAQJSo;6_ew0C{wgXp@6eBI+7#Gzw3@GgX=SmlE?XKD7H*;_`b z6o0srlykWnSU|1xOU?YM)X5_=)x(~4vl*!^J09`OCgRM-&u0~lCViK~Z7;!bhgB9c zdZrAIDg*v)c$YWyIs1yuhmzW&vkTM8-~^o3aV99# zKwARMe6>3AhHISXT#?Bp_0Jv;DI*q1#oR;6_4x2C4Xj8g%%H39)vI~@g|pJaXMqu~ zjOTtF8bxl=l;S0$Z84$;(0(~^p8e$Rr5&#no$Vx7X-%G0dbfdCQI<;@-8C~QX+nPzTYrfhoeiP)uscfpLx0_AnnR*yrO6;J z;rC8>o@;whPrwE4VfcOY#;@d)5M~z^BsFYS9D-0`<}TDcO3D~Zom?YjUw0ms6MekQ zFf+j;2pgw@7!(}`WKGk|Q|wLhl5ve-Kz;9l7!*==O`M42B;`o%^Nb;zl*qdslkKfc@*S-5NvTB``7LFQ9EOlC&xA_!XJ98*|xwUroW9Hp<2H}n+WKIi-;y6?m zI}#fGAujTjbTuW@3F+nTdCjwy7bn!;24*9`Rp{5&voO2B<3JT&E$eUBOrn{fFsn8K z)?M{C&i_)VjENmZTO-JwHsZP5J_sMmZR6dGxZ zZ+&T51Iz9?Sf^#{WWJF@Npho!l1gUH3Y#A#)D}xA0!Mbp7?VU@53r$q$e8P z%H9oNb|Wh2%)VS=Ivy|F+$q&92V$2e7uf;v!#`=8i>Kmx427Orpc>e6qW(71^% zczrAOZ^S3R+_tb9DA1%0%qh|`N8iOH$e{{9LYQf*#NJM1ur@7!tHU8X(1aBaVW_Pc zW1q(Y*WyI(!_3Oif8NqUUNrwQQTj#dB^bhunTPzj-2x5)@p);SILC?v4g|2xdNh=v{Zni&mTPFE84r$iVI8 zF`kV2$O=bxhLggJIEQ>>Er3v)rr$c(Ra8xSZx7pF zJq=+NUJoa-(y{4G(q)jm4c6Q0{nZA0tUS`wmf9)b$ofIZ?rI#5downbAJvI43o^si31?Tr(<+u2mU3XDvv45&&bDDL z@kyMVZ%qb4b_w7PuG4|$IPpi7w-M>@*{vuoHyc)|neTGYhjbg|l?}1O2WrD*mHSv? zCmc+JNQOK9%he@KPxqYll!c^7iFkPneHGIeJ^71x4!|pHv&dP-A!J-iDaN(bpRT2B zA;f9!C0A8vp+4i6GxJWbhlSm>jZ&W&A!K52^GOVG-e6kv~en+QhT zcUC`}2K9Mh#wd-v`~V_TyWvkkKSMa&)H~&Aw1E~^$29Nt1CNLp8J9o3B!ZN~Vv^Zp zQx+!*Vzx!19AAvd1DlK2tuSUj*x7nhI>VohN`}B!aY^yh%a?D8mb&cUbDQ=(fj*ZAF(bsM8bg}iLu9J^- zICe7(pd|-SltQhQGJYqKUVsIW!A&yA)(2N#4O4?`PJ}Q_~YbvCF^~RZzgY6 zaZ+H4d6I;)hDL@rG#XvmZ69W7_~g&}ca%23(rfSP_M(r`>q*7bub14+b3D|e;j4xKE1#RyV9Z8ABsNt&tzl2SOtuR|VY8lOAxifFRXOLUmi35jfo-4u5JZcp@sp9`k|wki%xVvJF5I-D6N* zXQ@%$U=#ytfGXf5)g+rM^|k?DAbsqP`+(sX_ziZ&U(zR~u*uT=??ZWqt&={s3|EiV z{y6*Fcw2qnG=5o8gWlRG1||=HwP`faFFx`NQ#zkBh?KfpN!SKVKm>F`{CwsFdJtv& zA1T>v>Ipc||B>MRd*IYTrI)^8RuVQqiZ9=&8ZVKkGR&QPWaCbW!vwGCF;gWqbXt3e z`3iTl8NH!MR>VIHNi*-3fFRiwV4r=U%Df%~p57$29OnPSyhb8Sby|Q2B$3{II(r_l zLO#d>QWRF~@#5>Ish;1jAjX9M@<#-o=(V0d^y-mg&|UyYDG`DuM`?^87Jmhl!sJ^^ z_b{CS`uwJ-Uegk}n0iav`5ZZ+-QTe0{b-M-T*zR+?EzxP`+zRl>ij)~GSSX>nFjN{ zbRP2j0#fhQ-C715o>i@$o&cGqrWM>!Yab@VFMsE$#)TUD^7d=#M{YCS0api7R}X;4 z<>ULE{s z`fiCGtxe(DzoZi4A~m0P?t3&msNa86X1s7*TNkzB{&9ZgmYyUO{BAVAL?O4i>5^7| z0Q@>F^MHs_>nHsopzWRm$F2~^c%srX<9R?At$sF{4*ExbGibQ0ez;YbwgGP|+U}aI zWAlM}760((`3>DVuBIamuigi}&}VQy98pYyBJ16FI|180aQ+{fW#3<;4k+B103MTX z1z@L_q983=U$^9O#XiJ%>_IWf30>)@Ai*0Ccpc4s5U$#9T)Zqz1K9vqmVhU~u$FZr z>A_1M>1#DtualY{&wzbzA4plH^9&eF5+Tz7`FgbYe$Rg2qd%3pn6UQ9R(OarWa@YU ztV6f{qBvKuvF2QXg3T|}Gk1X`STks}u%EaRD@RoLtEY6}PLCwW%HwwiK%jo~y^VrO zP;`-U7hQU1{jPs4*gQ-eOYV9NaWkIvDE5l9>_y#s_U#%L_08c%P?TugsTtzie0xA3 zt%O+P(INz`H$Qf_ip)HYCm%YHj9o_hMvH+2N_`*`l)fLhEh2kLDth5)KM$ao*BEa< z)iZKh41EYXyVk*z6{sULK^=TSk$*0eBAFgP5;GJcn&X5fD5pQ5E9jMpGWYipVc_$*~A33>in?T|%GN70~IAO8z>Aq7;thy=KQUblZ@c&4X^G4@vG8cZ9v0+6dtefHv8;Yq%!eqDZ+vB_=U|HHR|1e`aQ* z)<$P$^@!9#5k3dF+pEl17Jkx#Ye!2Omm4S~?-Ss9? z4kh}X6Wj6fXsQh13fQd~Zx-%>6u|rR^?#0s!Lav|X4;RKI4;`gbfi;i7X0J_amo=QU;po4=2p zn0`Wlp#EDR{-m*-Pg{6v)UvhY!Q0BO?sF4pT+cn6Vo1v8G<&1|+h`GG_Hp3Z5C%QbA%T=6C>va>nIAj@ZXJMF@+(Cct`yu(E_ zhMbAzSSa%d0Y)?R*VjA8P!tC`STF+3AZGXB59V7{lMQWh)BG!_MCsAqaM-#}4`5$C0`y)8uA2x{9wTGa% zi%~%F<#QBgml%dmphmg^FsfGwhy;BK{P2Egk}#!|IdjUwph+X;5Uhcmw>ehYBoj9> zPz6A-`1C;dA{mV4kzYYGwG^?{1xDW*iexeZ13jb=dcA6)bC#LY7z)y`qe(3A$9U}d zGc{xXR>cj;7xsoJW5C#G62d$3fnkKY%MCrJwHYHMwlVECWzwf8bw1K?>)nUTb4&!! z=c#8?tmk;=(?|B>z{f$d1p+FJLau2EbiB}{79oJEa=rlm4k1JBA1Kijd8sG^Snd@j zF6Zm>8wzAgQh#m)=AC0BP9+e;-?fb8!cz(&an+@%adknAKWrjvd3xZ<4S!ML8kngA z6$$a{l&M?xw7#2|a>OIm@KD?l$bn;+kB&tr^u)ca!)NjZ9=3S?>Zh4aGkefFM4mz) zMU}GVpyhSGl;4~akiP#VI8cZ_Sk`5#2wG5dWlGM?+^_%QRgb4{2C{u-$+v0+emO)gLAUSd7BkVZx5D4Fkz9~R%dR&@)3yQ_gj3!J|$!|+f9vG zi!D4lX+O@CGgiZHH_mwqjHKBLN~kzgK;A;Y!(aGmd5aPt+^g^^(T}~?LR{h{?7fW& z*!O&)cBRv&AU_AQqrS+zCs>piL5|5sSfSH~y$o5p#$zwY+XZ8;MOlj7`Qfd76Q@1a zsfOW8nmMLC*{DlheMYeZh!3H4d$+O&O*KW8Z2*l%^y=mS5_|HLp>8R}%De!3sA9W> zGPvm_-%Kfnd-2U!xdk$X=qMpf6wy$Md=nIR(=GYVc@Zwn(-DpTi_7TLZm%+=K9|Cl z1oBT#@!&dUNPYQ3Fn8{u&xlKx;f7=j?`pBXANz~sAels|N)xS<;k-%OFXG}rVl=nk ztNJLcUUA;=Q%4`qk;?5!Bu>ta@9^E(cb=j~Vj!Gov2l(v78|WV9%!Eb^J!WcCB7kGY%9F$9MXeoT$-ai*4MpdY$59-F~3@=-k6U+Ma*% z3C_eQJ-Ss^qmnzhSUXjI>~kDu16Uf)DPpuxvQ_X@#fk4b5_4C&lBkC(&!y{l9{OdfY!?O8lKq zwm2m2R}VDBF0G!?@w)=Aoo-gSpZ&1YAgaob8b&;=5P0i;-@?wwjvbvn zy%L#)VUh-ihk}xEHeYM{ZU@zJn(j;v?%Zy}EY6(=%e@a*g7+!%8e5BZPr-Wdfk%gP zQ%US{Dt|CTTpg&cdGxm7C|S7;fs0|kO+tiITdQ7Wv5j*f-27ut&F0>%>5MELo~0=b z+ovX0qDLZ|)RTUi$mTDeoWhtely*DxZFZE2-albJ&o6;LUY?&PYUq<3ta*Y{{FYX$ zVQ}}}pdsUZ;;x#2n`i@NbIOpf>h{({oSX|r2^tXJor)|D zT0Q7F4WoIR85F*zJLR;%wnNG3e*T?mgn1W#h|ZFd({443Ox^dHBx$z<(H&0l7+8}| zXTA!QPosAcT4{Wk#mMc5CF5tpy89z=t|NhR_yma_JFb0?_0UC3wT=QZv_ z2HQeh_mw>tK1QQNlA`?%2dCaXhYwmv5wjlrFRCD`BE-p?DXA)ULfT!vY<{*Ye)bE4 zr>Rq#BCf~;tNzcKm&@KR6P31*=q?biF)JWmdHRF}w@jQ^fz9i>{RC4zTcV$Hm z?ul=}<(MLeS?`fAoKL4^(<_H{6-MI&l!_|#EWW6SR`fP}L`C8Sb3sZlr^(Z{#jfL0 zA_X3JMp@ zfj0j$$0rI~-f6nkZXRCc)m>Y$!0mpG?LtNFkhg&vzV8O-wkn9Y5*-CsL-4bE_>i=vdt_K~d~ zG-OK^>D;AX_8Sw~+$1{*{km&Gik6J24bGO-?X?8kG$?P4>vp;xl%{C4A0xL-6PNv` zVlYXz-DOD4t;tJQ2cM_Biauhx3m&O7=;+SLPff?D6gP?Qyn1{}6{N&U2%+$=>lmSV z@dhU{YC$B09+RT3|H+IQ2Oq)HqGvd0;b*;092W^0Al|iO6A(9c@-q`sZ6g*WGJ(5#m|uQnH$D1DlHNJAE^SL*(O`3(XyEq+_RAN zZIZUDR1YaKdOJYMU!RB|tf*5&Aw^4h3M-Q7eY2YzZD?XuP1Qf7(O-Kr#J}d~0U(VQ z+&;pBrnP~T#1?Y+UGm@hwWMe2Kn9i?9fl-|WJp1NXT8~^4Jp;HD1eO&WRqkH&(^=e ze2<0AX1Mmfc6-WPeIQHLu(1yrsqeUs(67V&>cm&bLUl zHY4Lltv9;6%xQOfiRxQFmJ#1=6jITi@efvdZ~&B%PfsO6{eqYy=H)|?va-Q}cXHxA zOrIv?IMx#2_?|!e?$?&J41@hUnWX;Hh$;7%iL(u!)794qwr=d?tTz^5rUo&`F%S2) zWKqBZe@y#{xLat)toLO(;e0n!y0oY43S|HWvNpA_f;SD9{hwj>_|BLLu;>F2!CvoO zGbNgJ@grWN^rw{xKkI8stvvJNIEdcma(|OeU!}6KODqKohN>DDh}CggWB-#jvZ2LC z=6dd#eHvL|(T<(_t`X?VhFl;+mf8^1m#f@NIibER2leIPySq{&tY4LT)0955;ukoX zG+Knw5YE!P>7Ls$ao48JNB@Jy2(_j0Y`zcda-G}zsw~Rl&Z!g7p$$)29;(D4*-N

UFTQWj*&kGwk~V}VJT15X;pKq_XB9TG`j;ru?ynKis-K0wy=t-ulFuc zKgD)FZ815s-Kzo~51qTwz}v;rT*|${Hp{7!FQMvyV{d#^|G|Ij$;(8VvV6bR`I7Xn z?fyHF22naNALZW{7=Rs9qE|~{|!Ej(I zvJo_IPW<1QS2fOeAk!HHW{m%xz05Yi$smi5AZpXwKm+`482XTxTM3E~;`ji`ZXccx zSM}Kj;6YGDHgw?W7zTGW7;>%?CclRkZxK)uoG$vgEdxWdS-?k9YP$}+Z3FzkUpK7Z zi*tdi>4!kvBqS)q5-F6*>2vo~ruKt9MSu%tX09)7n z6;Qq1c>X?gI@^Fk116DQ=_!Q=vbF&W6sN6ZvkXzP1I;gB;E%HWeN?HeS>XQxj5hFP diff --git a/documentation/diagrams/saref4inma.xml b/documentation/diagrams/saref4inma.xml new file mode 100644 index 0000000..5660ccb --- /dev/null +++ b/documentation/diagrams/saref4inma.xml @@ -0,0 +1,1821 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/Factory.ttl b/examples/Factory.ttl new file mode 100644 index 0000000..bf6e93a --- /dev/null +++ b/examples/Factory.ttl @@ -0,0 +1,52 @@ +@prefix dc: . +@prefix ex: . +@prefix mod: . +@prefix owl: . +@prefix rdfs: . +@prefix s4bldg: . +@prefix s4inma: . +@prefix saref: . +@prefix dctype: . + + + a dctype:Dataset ; + dc:conformsTo ; + dc:description "Factory example"@en ; + dc:license ; + dc:title "Factory example"@en . + +ex:Eindhoven_BIC a owl:NamedIndividual, + s4inma:Factory ; + s4bldg:hasSpace ex:BIC_Site_A . + +ex:BIC_Site_A a owl:NamedIndividual, + s4inma:Site ; + s4bldg:hasSpace ex:Site_A_Area_19 . + +ex:LaserCuttingMachine a owl:Class ; + rdfs:label "Laser Cutting Machine" ; + rdfs:subClassOf s4inma:ProductionEquipment . + +ex:Laser_Cutting_Machine_1 a owl:NamedIndividual, + ex:LaserCuttingMachine . + +ex:Site_A_Area_19 a owl:NamedIndividual, + s4inma:Area ; + s4bldg:contains ex:Welding_WorkCenter . + +ex:Welding_Machine_1 a owl:NamedIndividual, + ex:WeldingMachine . + +ex:Welding_Machine_2 a owl:NamedIndividual, + ex:WeldingMachine . + +ex:Welding_WorkCenter a owl:NamedIndividual, + s4inma:WorkCenter ; + saref:consistsOf ex:Laser_Cutting_Machine_1, + ex:Welding_Machine_1, + ex:Welding_Machine_2 . + +ex:WeldingMachine a owl:Class ; + rdfs:label "Welding Machine" ; + rdfs:subClassOf s4inma:ProductionEquipment . + diff --git a/examples/Item.ttl b/examples/Item.ttl new file mode 100644 index 0000000..2588554 --- /dev/null +++ b/examples/Item.ttl @@ -0,0 +1,45 @@ +@prefix dc: . +@prefix ex: . +@prefix mod: . +@prefix owl: . +@prefix rdfs: . +@prefix s4inma: . +@prefix saref: . +@prefix xsd: . +@prefix dctype: . + + + a dctype:Dataset ; + dc:conformsTo ; + dc:description "Item example"@en ; + dc:license ; + dc:title "Item example"@en . + +ex:Laser_Cutting_Machine_1 a owl:NamedIndividual, + ex:LaserCuttingMachine . + +ex:PhilBrau_S40_Premium_Gold_Shaver_ItemBatch392 a owl:NamedIndividual, + s4inma:ItemBatch ; + s4inma:hasIdentifier ex:nr34275874234908 . + +ex:Shaver10023 a owl:NamedIndividual, + s4inma:Item ; + s4inma:hasSerialNumber "nr7865654345676"^^xsd:string . + +ex:hilBrau_S40_Premium_Gold_Shaver_ItemCategory a owl:NamedIndividual, + s4inma:ItemCategory ; + saref:hasManufacturer "PhilBrau" ; + s4inma:hasIdentifier ex:nr98647656 ; + s4inma:hasModelNumber "nr98647656"^^xsd:string . + +ex:LaserCuttingMachine a owl:Class ; + rdfs:label "Laser Cutting Machine" ; + rdfs:subClassOf s4inma:ProductionEquipment . + +ex:nr34275874234908 a owl:NamedIndividual, + s4inma:ID ; + s4inma:hasIDValue "nr34275874234908"^^xsd:string . + +ex:nr98647656 a owl:NamedIndividual, + s4inma:ID ; + s4inma:hasIDValue "nr98647656"^^xsd:string . \ No newline at end of file diff --git a/examples/Material.ttl b/examples/Material.ttl new file mode 100644 index 0000000..f381fc0 --- /dev/null +++ b/examples/Material.ttl @@ -0,0 +1,49 @@ +@prefix dc: . +@prefix ex: . +@prefix mod: . +@prefix owl: . +@prefix rdfs: . +@prefix s4inma: . +@prefix saref: . +@prefix xsd: . +@prefix dctype: . + + + + a dctype:Dataset ; + dc:conformsTo ; + dc:description "Material example"@en ; + dc:license ; + dc:title "Material example"@en . + +ex:ABS_Plastic_Role_8mm_MaterialBatch742 a owl:NamedIndividual, + s4inma:MaterialBatch ; + s4inma:hasModelNumber "ABS High-precision quality"^^xsd:string . + +ex:ABS_Plastic_Role_8mm_MaterialCategory a owl:NamedIndividual, + ex:Plastic . + +ex:PhilBrau_S40-S50_Generic_Body_ItemBatch3290 a owl:NamedIndividual, + s4inma:ItemBatch . + +ex:Shaver10023 a owl:NamedIndividual, + s4inma:Item ; + saref:consistsOf ex:ShaverBody9440, + ex:ShaverHead3002, + ex:StepMotor083 . + +ex:Torx_screws_D2mm_L8mm_MaterialBatch323 a owl:NamedIndividual, + s4inma:MaterialBatch . + +ex:Torx_screws_D2mm_L8mm_MaterialCategory a owl:NamedIndividual, + ex:Screw . + +ex:ShaverBody9440 a owl:NamedIndividual, + s4inma:Item . + +ex:ShaverHead3002 a owl:NamedIndividual, + s4inma:Item . + +ex:StepMotor083 a owl:NamedIndividual, + s4inma:Item . + diff --git a/examples/Observation.ttl b/examples/Observation.ttl new file mode 100644 index 0000000..0e902e3 --- /dev/null +++ b/examples/Observation.ttl @@ -0,0 +1,67 @@ +@prefix dc: . +@prefix ex: . +@prefix mod: . +@prefix om: . +@prefix owl: . +@prefix rdfs: . +@prefix s4inma: . +@prefix saref: . +@prefix xsd: . +@prefix dctype: . + + + + a dctype:Dataset ; + dc:conformsTo ; + dc:description "Observation example"@en ; + dc:license ; + dc:title "Observation example"@en . + + + +ex:WeldingMachineTemperatureSensor1 a owl:NamedIndividual, + ex:TemperatureSensor ; + saref:madeExecution ex:Welding_Machine_2_Observation_W101520, + ex:Welding_Machine_2_Observation_W101521, + ex:Welding_Machine_2_Observation_W101522 . + +ex:Welding_Machine_2_Observation_W101523 a owl:NamedIndividual, + saref:Observation . + +om:degreeCelsius a owl:NamedIndividual . + +saref:FeatureOfInterest a owl:Class ; + rdfs:label "Feature Of Interest" . + +saref:Property a owl:Class ; + rdfs:label "Property" . + +s4inma:Item a owl:Class ; + rdfs:label "Item" ; + rdfs:subClassOf saref:FeatureOfInterest . + +ex:Shaver10023 a owl:NamedIndividual, + s4inma:Item . + +ex:TemperatureSensor a owl:Class ; + rdfs:label "Temperature Sensor" . + +ex:Welding_Machine_2_Observation_W101520 a owl:NamedIndividual, + saref:Observation ; + saref:hasTimestamp "2019-01-28T12:11:10"^^xsd:dateTime ; + saref:hasValue 223 ; + saref:isMeasuredIn om:degreeCelsius ; + saref:observes ex:Shaver10023, + ex:WeldingTemperature . + +ex:Welding_Machine_2_Observation_W101521 a owl:NamedIndividual, + saref:Observation . + +ex:Welding_Machine_2_Observation_W101522 a owl:NamedIndividual, + saref:Observation . + +ex:WeldingTemperature a owl:NamedIndividual, + saref:Property . + + + diff --git a/examples/ProductionEquipment.ttl b/examples/ProductionEquipment.ttl new file mode 100644 index 0000000..d80ca95 --- /dev/null +++ b/examples/ProductionEquipment.ttl @@ -0,0 +1,53 @@ +@prefix dc: . +@prefix ex: . +@prefix mod: . +@prefix owl: . +@prefix rdfs: . +@prefix s4inma: . +@prefix saref: . +@prefix dctype: . + + + a dctype:Dataset ; + dc:conformsTo ; + dc:description "Production equipment example"@en ; + dc:license ; + dc:title "Production equipment example"@en . + +ex:Laser_Cutting_Machine_1 a owl:NamedIndividual, + ex:LaserCuttingMachine ; + s4inma:belongsToCategory ex:Lazor_Series_8030_ProdEquipCategory . + +ex:Welding_Machine_1 a owl:NamedIndividual, + ex:WeldingMachine ; + s4inma:belongsToCategory ex:WandI_Welding_Series_1000_ProdEquipCategory . + +ex:Welding_Machine_2 a owl:NamedIndividual, + ex:WeldingMachine ; + saref:consistsOf ex:WeldingMachineTemperatureSensor1 ; + saref:controlsProperty ex:WeldingTemperature ; + saref:hasFunction ex:JoiningFunction ; + s4inma:belongsToCategory ex:WandI_Welding_Series_1000_ProdEquipCategory . + +ex:JoiningFunction a owl:NamedIndividual, + s4inma:ProductionEquipmentFunction . + +ex:LaserCuttingMachine a owl:Class ; + rdfs:label "Laser Cutting Machine" ; + rdfs:subClassOf s4inma:ProductionEquipment . + +ex:Lazor_Series_8030_ProdEquipCategory a owl:NamedIndividual, + s4inma:ProductionEquipmentCategory . + +ex:WeldingMachineTemperatureSensor1 a owl:NamedIndividual . + +ex:WeldingTemperature a owl:NamedIndividual, + saref:Property . + +ex:WandI_Welding_Series_1000_ProdEquipCategory a owl:NamedIndividual, + s4inma:ProductionEquipmentCategory . + +ex:WeldingMachine a owl:Class ; + rdfs:label "Welding Machine" ; + rdfs:subClassOf s4inma:ProductionEquipment . + -- GitLab