From 335c5dd95a3f57900070a1a2abed1ba74623aad1 Mon Sep 17 00:00:00 2001 From: borditamas Date: Tue, 24 Jun 2025 13:05:43 +0200 Subject: [PATCH 1/2] Corrections in Namining_convention_2 doc --- .../Naming_convention/Naming_convention_2.pdf | Bin 63024 -> 66367 bytes .../Naming_convention/Naming_convention_2.tex | 138 ++++++++++-------- 2 files changed, 75 insertions(+), 63 deletions(-) diff --git a/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.pdf b/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.pdf index 37f1640331c941660f57f3ed848a8749ec75721f..3b3abccaa2160d5b6f719529236a30577731dfe7 100644 GIT binary patch delta 30177 zcmeFYbx>u`vhRsD?(Q3>ad&rjcXxN+xHRtWPSd!1;Hj9SZ3yb^F-Cl(G0+#scdHc>4%xUg{vii zz{A21RExQ!5i!2WJ4&U+w@H zH2!iQ!2J3B^j*r{)Xej<;WKVbpI7`_i@5`UiR<&?$^Zss2M1RGGt1u(R6ZjKU}F6Y z(Wg!KzXgcpFHiq71`JZ703BWqMsp@sVb`ushRx@*BW-}%uR#rBC zUQ=dvb9P1+E+aM$BW5l(6EkK;P7_vUCN3i;Ge&bpPJX?=g74z$Y-VH!>zQq0Y`Se> zXl%#{L#A04tl1u9IjI1j|Dvk+Eu!h)^ zIL+jch9?6BQO<^O{p)7_!{q<%ZT;W6f&c0M|JKm|Bc1>M>;E4Kf!27iHch-p*xfZeAfO z*`yD)0+ksY@4_>Xc`&fCVY6_05qD{zKnPaIWdA#HJ{Oz+@ z@8JF9u!w`btC{`hIcE01$3?=~!OaoC`Hv{ceNx>>*x@gBGk(5R*|^x~nK{@2oUBar zoLql_{Bt$<91r09$8cpc7Y8?Ilg~(V{x#rVf&MG{{~qPPy8k1}NjKo=pMm{HEZN!q zwjBP8$T6yN4r`3?T}K+nRNxKNqp7r8OLTg5gkgwG-Y4FQc1<^!IvGD$&w7aHz6R

6Gzgrs76GiClM+i3YWc11vQnB}QKD_{( z<=Z4HWW5l}$vTaNs0tiJBHWLp#BZj4TsXpxj9IndZ4DyNw=wq~!+V>O! z?xAEv{n~b204L52l9ZZEl}eC#Vn*7vEUK7a76ONlcY=jAk>XLS!*ePpc+bcd9uxf_(Mnz& z=Xd~GowgR9zt(hbID9mlVV_<9&Wfb~qyzKMTV0J7s(zvPb>`IQ2B(4|Q=9{C<~Xyd zaN~ZN0@=zc&#`I+#_tmN-R*1*qifY5S}JjtmTX0w((X!j3*Ur5Z`h?Hbos$xorFF2 zO!C<0T>lwiyGCwZVjr>$Ythy~JRPi^OJ!cXv#Y2)u#6_37HaH4zfPnLY)Gcn(tZXu z_0-5oIvtD=BJ8J1uFDK5WL!+^*3}!xF_*Nld(F-(RON(k-T#nie{txaz!3hgT;XD+ z|5P!bnghVWMbE*^%F6VY6#8qj<9!0f!P)L_1o~vje`H(|6*%2zGAOEwY0^vCn>&bp ziYfr-KT!9#*1s}I-p$VVlS`k2|101A5@ceYt`aJ)My_UmlV?VZe^+Tje|0o5`uzPA zW`F-MsJI!s{!Q)u^-umuLrn!^Ycms9#D68@r+#GxG<<>h@&%sxFLL}_#)|y2)2F0k zXXO0n(Wl^JWM=#q8vjD_KQo(&iIIinKRDS?WAv2v^o*ntblBX1g+zH3HYf*p)gv58Jcf zFH;#Acay$Hs{)nQKRWCeEB!8rvVugFfT8*$3!B(f_6|qF(-XY|2=OhAZ0>IAO!Y}6 z8ecLyz}^GS#U0VnD^uy&dp`<4kV)hPNwH*nc$7%f1Uf52X#}T6V0!x?49$1VclXUL z-dQY+-^vQQ&^QEVN9UF{;qswfLAh5nSKkUmFXVLX0^RAUs}T{|Qw3Gb@*BFo1CwB8 zGVlx^C>uUvVUg=Ru3hU{TO2_ZzkjvyEhs5@;pm$f9E4sjva-D^ES(s5Qe z!Tsna1At#R9V|#W0KJ2w7{_OCAE+NLki!%3j7_XgpxEG(ANc(}T_1sgK=TjHahx_z zEpHIlbnNu>bWm9!-$&-j8<(Pr4-einFl!ud1q?KLm!z-0lDY9i>!qhEB=q8=wb`T7Ij_F5HvH)S*FRhRHqQZoOkI9IWt*nysiE~ih56M@B;rEPAyqVFbI9SjHAlw7o zHqbk<#iNcD6s-J%4pol==w2%D{K&%iQM3C*^!hD@n@wV_mg@0Y`9CbjttF-j!dl|8raplVz&GS$)wh9PuF}E z!T#u7JeU3Gb`lixu^8{Uqz%Z;$axarRD+X2v*F2axFfoMlLNf~%6^a*r{_d=Rg~m# z2@W2_y+>!uen7s8Wwmm1y;)6fLH)M45?D4*1)@TL@dZ#g(nLK_@Di(UiE!thhF))+ zAW>+&a4it>>qV|?8`}x~!R~$DcdDYfUV**jQgIQ*7^Z!+aqB(k73xR59yIQ0*KvXI zU=}PY2rmqj65q`MGO^x{xsdAqR8%lvx!)rn+AcmKi1I{~(oa<7vsAi{lFhFOSuuG= z`vnj2Dx#IyDpnO~ z=_*B=bTo1j#7@`%^2>rv9lWG4b*m3*TvkWgr(#9P!K#<{QR|vXm>EvRdVZTm<_61JioT5NXnRyfQ^sDS~d(4%~)qGp`WyaUg zvW&dgXewKBO06rIGV^KBap_8rH;Rs33Otg%7t=Y9(dw!b;YjGF&&cU=ivOZVf=mtu zd}-eYaPYqXQ_+aNVgzp%!XrjLy0g>J7Z`7jQ;4|Ad{nQ7WRqd}tV9r1x3bjg>nMQjm%y_v#odwbmLRStK;_Hg2;dnP$h^yV2D+BuzOQ zmzS^Xy+SJRb96`IhS;xuJ4nVlYL`#xYG1?%i&msv<~T>F8C*#5KR} zAiClKp~0yG-Gj_n50MzRdv!uU|Qm8HUAKN zMU_d+(aH5jwf`sl)tk>JoKkcw(>I`aZ{nlj+4YQa@lI~TTnh*pxtScvY4{t1j?~50Vxujb~Yh8%|U$F`qT;m_-Rxq zzFPiI2rS8qB~y8?+w8=>Uk+lIwqg(oSKxf1eI^QAMlj< zNBrRk&p6j(h+J*Wp;%47sW1B-edh&6oA&JQrrd`>0{oIkf%NP?=@Sv<34hy{Iw8aS zWpTVE6PX+U`-Ky)lpNXb`x4tt@0O-74b)T;Rz0SMkug??)|=bsiK~~>D&jCze0mxU zTsGuJTQptiSGb@!k_2R^n6CyR8$dZ4VF0+Bn`+LrS4c2zwzzM5FVw#CuP`Ki#x0@6 z{Il(ZyUBrpE{3kLPAbzECruvtqr1z?Xl=rP`s@xhGJKDly;WV9jg(?yjYgJ%EJ<$2 z8If6Kg=;=fN>|ClM*@U7 zDJ5S;Yws!K>qxIC*a{b~v;mnkGrf*c-XSnOK%MQ%H-*!r+U>y>6bqngWr%PS2bLn4MxCgCEB`Hx1K4y1QjV&x>m^EO5`~NeQfh^e&%4wQL6X;ML{2MG;u*|A z3t|s$_xOYBU0_Eivf;LQh+!wu`06%QnxJhwZ@&=4~A<3V118ycZR^@8DHV z2DQ1&5AkC%b@}&{k&XR;j*G*o;9fQyM$U4@)Q`6gr#DJvT=ugT z$KmYd@#*e-@KAA5fjPgM3vi6N@~}?j%kkMn)ff2OE{x>tH-x&m?&EmJ81$y0^vmD<~QhMDOhj z(l(WwQ0lI29v={{y#DAU({EA=p5E7eJ5y~9Dw)+Kp0IvjB7g%LR^CCts+REOJdMs= zqqwZtSIanBR2<(G<%*BXbu^VZ>2yJ2JO~%h_;{6xLu$?8o(g5m%W(81%p1v}mbN+@ z6>@)o{6aVg^9PuSh1D53Ck&0IJL+zGh)=3ptY`tRFA`AF*3?S4$r7j80oKPpi{EvP z!a6SvJtpXmiPX8Ph^7*?d=?MXqcw)!6GH$rKW_)I4?>{m4z(yaRbXDtsIRDaqz(q@ zB(u!6k`wm(e&Kz;Z4X>-M{fjb|7&w%;}?IQxGz~*uF+_II$72T9rgJ4(OmO=Np*m-F=myK8tXCOkt2`9C9i^@7!SnR ztEC5=BY2**C8IeboH-8d!A+`Rk_JoS1@8KwcOpS)6R51k>tKM1vxG{EMu>Pp9~|GQ z6DQPB4fw}YOqa!1{e1E5KDNk>APhKcFpk(ygP!UN+@KF=efE#JxV(9y5kr2JD1ps8 z8{>)cS1A`|EhflAZcCP+bPwqLR)UEwmTw5`NI`v9T@Lawi;<*6yZV-Md#41|5{K5| z+EI|Cri6Sd;#q>>6!_~98RBX78);o`XO|L}LHq0lYjRyl*^xYJhCHINsDIUD@Kg;gnX^oT@bMX@su&_EO((qsTo z@PcEA4jmeFBaRtfgT5n9{1nSdoe$!duxV+z&@0)deC6P$X=YTsFJ+ z?1Ho``IjS_q6S}Gs((ArBbyFoq1}fB3NtI&tZdzW1Z}2OlC3pT4^m$=l#vK+AJ2lr zX%Uo_{*u&c$VNwlhjvoxs_t}}-lHLsWI$)0f7Jr~@^?^A2fOf{v9b%mT2otmm)=*d z2&_zzbVk99UF}L7|C;y3iXA2X?eUx^aoGKrH>4Fm(T}~2cg{hF*dDjUT6OdVAY%vA z61w^R_1t9qNFVYdS0;20CByU0Pq@)J+`cQHyj-D~~)sew7;3_T*XWx^b)4nWDp$0SjS<_)F`iwb53{3YA+@+r8R(02U#+z-*xpT0_Vl zN3vwX0*&RK8=vkckDnoj^H7jr604Y7x!C+kyP;_3-5M=s(&%q)9L!+{ICAZy!#9^9 z%>l|SwZ7X{+cK3_8zxykei+bR#nOZpIgC~s2zjz=WAgcI%iSTwD-l}Xffx=6kM@38u0|{?X@mTeLb%vf4z0x}4HF)isX)?6Zy&P>ow1I7O+Af~F z?wg)H-Ib)w^Z*RGFsXUHb`Q>)UCO0b!_+`&pSHfR@1; zAw%XmX|pj~jxu52n5{{>H!zZ^+jYXJ`n^3NZ(p<|zjT~a&Td^SPCst38cQ>nk>Om#<6IqwoibS0Cxg!gD;t~pAOq08Jo-Hq(dgN-Lx#*!b ze(u7fads3{o^PkTG zlSr%AyUN7km1*zy^KHZM)%y+a?9one1opTy6s$bFkQN4vk+PFB!s}_^*o>T=`>)#O zUm`Nh?r$~K+A%n7HtLpOJu|mrUJA97?A6Ayuvkg#(rLvVfs15gHkjQxli(^*kMcUB zT|j+BZ&`(3E1Y0bgH0(B^Q2qP&WG6EmXxo%d5W;SuC$c8=lM{CAo!TvRLI^*t4?1; ze@jwzo~vU8D5Ir`>`ED%iD0YYHtweMpXLm`2+irvq|+DxERn2d*n(nDpE|l6*EvD zg^@&V@%{VH`IlM_3LWw@_O1=lJw@;D>WY(RHW6PDRYERXHQB01@Wq1heO^8I<`p9= zTo{)qkYOkE47Q#KBCN)YI|zbYai>NG=}1)Y`jwg3YJk45DO~m@>QhA&^i&kyyP^u! zdQee$^u%g0jk3~M3lpAtrD$3EnJA%|Kjv#x9AVLHZd)``ARQf~abMh;W1V}UiE}Sg zZ}&q_IjYhdO$kT%$}f26b9>E0^?y#+`ZPU-hEy$%y6nrO%oIYdVZMX^CKkpA*G|}B zoG(9ST?P&-X_mC@C_~+BolORsMP}7U<(C++R3VwZzMAI6+(48HT|6+W$<^|((ccC#61 zG*QE8X&1*A$I(C1r%oiUI#RrjX{>LiS`LzY>jsXVfd10QO?@Mj8y2Dw=OW@YU1x<< z$+cs%{YFmEAEF`iEqw1Mw!fwouB^NE$(|asg$B~i(p7YoRUh)_Y#oah9}dvUt#dmD~WbT;&xO0 z`@S`#&5%Iw-pv@x<-$0St{?b5bs^=-iUHjB@z`>^IZB$&E*=BzA2@N7p#p(qfrEQ? zCIy77>vEZjAXyu3k9Wj>Q7D|{Sb{EQGW}`h#?n8LjiROHsS7wyY^@g0AQv4tMrm|6 ziA}+XqWfqQTNGjGQyz)F(V2)vX6dRw3ZyXpCM?S_nMN2Ub%2)Z6}Yw$`iN9Eohnsrv2(~bj?9zg zUrBGRc57F!F+h2N`gLn|U?#e&QsHu-Nd70B5@G+K+v7XxbDW(m=}&V-j0p!`WP9Sdz2@xVS1f^N@(Vr4WQbpQUITGZ83VvfBAX<= zWe7qDLn~bIV6cYdi^e}rOF(a3LMq#Of|>dN`X!1km<$;?r+TZlZ`cmsUViEh%8|{G z@p~Wral!RY|IG^Jxj(@$bfy%F5z=XNYwe*Sk91tIyv8t@N z3bVPYSgq5>C!J{Q4VSS}sl#`Et8I{t64pDQ2<Oj^@*UG%+>Fg&N^X_laW|ocSIG!y^Vcu2Z1K(SuWACWi>c7 z8^XofWN#(U9@B@VVv}iV3tWf7N+pQ;MhR*;7Bwi$DC4SY3xyPNqesk3unfM@>?x;T zRZUJvv!h12Em_R? zI^c+0O6Tkm7N+Bs3$$hNnNk+nOU!$4mq2GM_tX>`Cg=$`cXfqGs+w&WRZ;!oo?nVN ziH~A}lkiEVk{!&2VXU2l?wU@Q0G)|!mEE6?8QQOGjCS7#pj7dJShI71o3}pR*jCK- zFJ%`dN-rSDh{KfZCg`M$ypzpriC%>ulF2|gc|K> zvHT(&$R0w-_yc)xw3f)i~GxBO)o#%i@ zMmTnd>RGOF%9Iyg3qHouV2*?gNZaw2uZhfzZcErs(BhP{SGO~-_a{rM z;sbQ@Eudxno!$V&q#e5(n_31uGWNc|7xkuF5|~_1Xptz;DJ3Cj853t8$9~qJBs;U?cr&S;&8{hFC`7!!8*daB;8fCB+C6I0 zCm2LCsLFmUl(*873Ktb?c4y{v#7}|devBWO-&o$<86p+$r4t@De)Lz~@EY3Q^LhfQbOg1>a*+?KfMB+Q!(zjvev``o*;)G)_86PX2NN|9L90n*Rb(zf*BvF3cum$t-Xoz# z?gQ)drQzj?>C}=|LJF?|wpKim*rxD3u0T4+ZpdE~YT~Ck%xN4B0{d+)1KZUkS&T#e z0K2iIP-iyipOAuk;PrlKluJmi-Np*`H=9~L9;JPDf_k}_iHdjJ5en$1)S%9Fq31XWeFr)^ z2}p*`WM8^6&1%vA;ZCyyhZ!s+_kmyFgS1U2>WnsekcQdneEMCDFS?zMTIE#Ar6d805n33op|=8N?nxp0t@l=jrlg5JRPAQHkOS1a8EML6EDXrl@`O*ibi zn%777a~9(dZusa!>Ml=#vP$Dt$4MC9h?tMc1?3z4OjYQXnt7`{@n|k1R5~Fd~fk34J%amzlhGMu0on^@86cpTNd*^OK z355Qe@%pXmMA07)ib$qDOsLu$JiX=t z75Q*9U0re1!8IzDKH^B(C2M}v(xYaG1zLiB6D` zB2b7Eb=z*IXDVQrWPQ`L@Qr~$u&M*O#SFDF;&9U6HfrVyqlVKDksSEF`1iY9hMXm# zMDbm0Hc;CfFDAgH;bM5=WxWD+GQZ5hz_X-xg!W!;3sui@$ zuFGYT)0c&8N3$K$iJA0PaC@4Lb-aZYo0JprJ%k0C=eDWT{Vu{AQ4WPD<^!JhyGt9~ zM&{Jcy|$AL{OEqXDPN-H=WH~6MT5@fQ(1CQa$@0)-(yR6+CuDWXV^$9V0c0?hh3$- zsY+|8byP*tS>J*FgC)=TD9@wEeZODh=%mGdsccS~G)}DB+?O57k^J7r%{ilm_TXc0 zcOohrs3CY3jcHHO0#CNB#Kf@wg5ND!A-7Of>YwRL5{$bL;qU z)#$1Ik8~ffQ`-^N#Y#4+^1`2W-%}6GoVY`is?kwjM?&bqDE|DG7IVJ#*_Jg<7r}dR z@7pgcQ_;D6n)R5WSXR)CZN|c$*<9oUnae1}=sdeCzD8ro!TW#-zDIb^_JDgD?{t+O zT~Z~RElW!d2EyMe;;Dre$z-r(%|4gg1FyFWRRM&+Zz?;SU;I#-A1oicLTob5RHwD* zg|5cST|{Lcob8e1rsM+8yXA z57K2jXqazMDy?zE%ZW@@i>(R9#H)T7OcPfE({%}V3Q579KP=#>*7r#)u3xZ=kfb{p zDuocnxu_eyd;Tu#H7v2ICKa-jkv$0;oaWpIj$A%;w`7}TtBeP`eSg}GYZtgd)>h(2 z&Q$d*(pu_~Z9GVN9iiEj7W;TXuuQ9`5|eY%Wfgy zDrxe)q3TSxW4BUc?cz%FVtj!)PodPT2WewAKN}(POemTFS%@%5@i34~n}!u)y3Eo9 z+WST0(#wBaMEM*Oh;zo_tR9oJJ??g`hwT3!T$>y4CdIQb>tZqpwv4 zwyHnI{6-b4P(Da-2Kn>5S=J%93FQhp5|7e!8A@=?J=rF zCkR5L7NG6Q9&rulXNi>4|AtEi+?`ntvB-FF3td~F{|V{s&>`9x7KVKe1#!D{_f%tC zac{&;U>oO4d*DYY>+X3uus^$`|7M%VHN^G@zEa7!jNV}+KNdUC$?YSJ#pP@6OnkiH z>muxL(AHmBN?`oTm-ky&vqa7sD-`HMI>Dy6;v5zsGxqdzzgWV_lQhHlf!sDfj-hnK z@zEAAW9KZ4imo{^Dd1xLJ&y$aUHE>qr4>MA7Npae&E}?`p;(W41-=c-*7`MN!}Q@o zD?*xZNG#z`{!Bfv@~1^m``C%m+;By${uw#=P{w-p>_kB37A{ThK3{1kdf@H+aYh;! zFFaXa&tkSc+i!h4wlsn73PeMCfk4cIwq8#f4s6w(V4=KvMhPh2;?q==AKHYM?Z{bQ z^kW|P!Z-t|p67xij@Ivh++CB0L%@U>a7f#0cf!a^&InGtrTPsBj1)1mz}u5wtKlo0 zfAO`#d@j|(J;D|xUGjNTBri6e3>28yr&~Meqx8ZHe{|CWrPrdQ1jYn~v4oF7^o#i{ z5tGBZz;(->={7+SJ07x&*nZ`7lm4j?Hm*per=`VsR1?1elOe25`{joKt?<2Qaw*u? zqthw{Gx;0TQR5EAO>yYcubIaH_m)a{lT0GFU=4ms-LJ2b^ghz$zfof{J?tXKuRy%e zCzaLL9!3R((rX7rnShihA>g#(T*EM8{{cQUO$R)Rh_$@CaS z9TolqzOia)dQwIn6b#;oDCqw9bpHXgT8T z&Cx-4Cno?AvDaj$X~w$2S!8^5LvtdJRG>k!Dh&OB7Kk`m2hfnDs1%6#dr1|slq>7c zutn-iO;Wg62(1ID`1p)k0^*YB=pp>@D8%9GDU^ks#xJg`6#G5O`sy=eKT%RWiLp+C z0J!M{FPqBVUb=Nhpicfbd}g)yEGZ>ez&Ku9Saxe~pC5~O4 z*d+Qs&QyZngg~X#(=TXnsC6xD`=MR0+C8eaiaCjep3;W~hY(ib+lqv? ze;AkB8SV0$onSN43beW$KlGUQzHenVt3+<)ouN-xnN>h(ndL$dl!rmz`A#qL9|tb5 z0ict*Gv>s$5?7Z2{XhT_8c#a)$JrX&K&D(fxOYtm0g#{qcyO-}r=bja88lxH!N=7e zY*vgO7N;pc`P=v{Pb6|xR|UBl=jH`12YWNyd0U4k{MdgnFUq@-UZ@Da6%Hryuuq5s zd-2AF>3E3@Tp}LVXk@fpM0b=W6ZejaM_`9;Cx7$6mh94*_5L`b}d)!Bqb_$3W~d zJbN*P*Ed&yKAOMAZ0jI;kHy1^r%7u9yX=;+p)v4i_;ScjNGK!&8>si>X(e`Eqf+3|zL$ie@Ee_nP`5Rk2CvQgy zJMi_p;V(vxtf>O+6n5?h5vH2=E59;gU*nQxRbxSZg?a9Z>}UZZV5dbR=%Niax#i9P zujx&Ddk!b$Rmg<7?~$&&Rv7;2>bkR`Umw?mzORgt1Al)7+6ulifA|WqfteB_^Wx=- zf>D%C0Yd9|%DS#8;qBRvh<#Xhb}^z|aG*(c(#v~Z9qdA3_uT@jaJq&R6BCnxXGI2X z`@Rp)S4o5X%xX1p@TOT43@#*( zGN}!B(e@Tr6Q_7PWpj_C*bZa6$NpF2Z^majOA&8;qcnQw<1T|M;EBZ~&n5O3WuWtk zel>E?MxxJucH94iOWSb_c~t5s@&cbBGHE009HU_-#Ua?jH-?jQD8kg^7*NF5C8T~+ z=QsA;a22W|6HaOjNQn)cb(W?@+!*d5en0ukyw{s`dAq96%2#tvg*}rBX!+jj_Nu3| z>D!zthEYn#VKeuTU29-U#m+Z(bTvg6Wu^os7L0e$$?jiD>vxB;^usK7Zu&W+?dxrC z9!WO92THY?=ZT~W)&+?oxqZMNdCukbYdG0)EFDS%q;rz*nB1OD;r#?Hrg}pJzklbk zWT=L39T;vgGux%?Itu6Z`$OfTnsmq9_fq}gQ8{IYTL>`q=dS<`-0|sJ`%__s{+Qd1 zN7vbz^FDbso=gj6joUbPiIdzyr1<@tHt@Z1pq)>EB0@{Lg_zFwaWviRxfy~rHvcILScM7Ml!ClA>O!(xUZ+op^0SF4<=O=iJkKgv{u})NlLd!z;AOR!P2Q! zT^F*;5L*i0xtv_!*R}aKNsHChi0Zxffp4tbIQELU3PB_O?CO|8R>YkdcMyl$T$Ea* zCaPb)yW{9}Hjdd&<-*fDZ8*&J z3I*fUTn*!%?}q-~TbaU5!A`eot?p}yRNHsXBpNU6$CnRKqu-$r|Gfl)<*!nof7`*2 z^Upo|01igR|Jaw`puI8y2LHKP|Nm)!i}eXG3YPy~r21K@pyK*jxbTmvA=b~rrhn8C z$$!=({8h8+?Be=aG4P)S2Y$&qHh4_Pp<6FBhqH)en+f6^(1CODX<}Iax($!$nchMlDeFV5&3*nHG)w3i@n@m!Gr;kBw#p zuF?FhmcmEOkJ4;=s?-a1XSiv?v2gk>aYpNMdwW=Y4Rg7a71;^(SSN{L+LoJX^gYUS z0Mk4CkaYAQu1U&32n)7`k!4VVg~TLIbPc0@&<$#^1tU<%SXadapRmVXdAD803Esf{ zI&c|{cQHrvvqmZoX8pY@0bcR>y-PyVcdKOCp5SH9YpctxB3vSU!(Kg2K&3;@CB3VK z;pW@n^?=1f_uxr8QH@dasdA@w^I5guO4D@ZPsXEZ6W;TLKwEL8?_Te*A^8o+A%Zwe zhd^$4E=?dj<@p}9TbA3Gv3N6r6nx_b!;o#xrN=L@$0QPi;%dfA@Jpyjte2{t#&cXd zm&=4nLd>PtE2W2b??0-^H{+U`26*ZVQau%_2lArXDW_F9_1p=e)lNq$C3o?{kNP<3FeFg|>~$8aw7&cMsSWdqynGE`mFEM&t#jTUN1scBxcL27z{= zX>sOf!6xp2`Q+bx6bmVV1lOYci z*c8m8(Pq*(=0JQEOpa;SOs3!ut1(*Z!e$K59~ok#6^80eWsdU`T>Xl}G@p`obN5h_ zf=ooZnBIh4B;0bUq_s$gGCkh1PilQO3>6l=Ep9Igr zYK-bM%;4&lbb%adlKBeO20B7qVOAF9(PrHJK8{e&Y?6{Y6gXq1`!I5@B%oI?`?w;Z zkWcZjNkAJu3`|G2Qm`XQ&mbPMMNqa1JXpd~k-sd=TlgnS%K1;-dTn zSo+Ch4BvEZYTIquLZT&}uO}GmB`VHU;Y4ik$&Q`i`k+)(XsXU_E&H~&DU=TVT(Q<) zJ?CMh0r}a55Rb{%@qj+QLhu5iiLmE^x?;zy34`I47qk1Zzu2|~H3 z&8qBZw43xBm!Uj`P1#>bls6Z^^gc$f$;XaAJ%J+webe&K5Qv6*PnHAxA@#w=jFKub z<64Hj$BxXU4Ugx!jRaE+tNb2Ui`p5c*xWQ-xZ#An-hv9ptWA*g#)U*aWfoXlUv-1I zYk)$ybKI#hSHfDnJd0NI1J9*XWl_&Cspbl)C&_0BEFJS!st^YxAkv>(3#ag|Ay8Yv z(ua_xRl4m3Pch=HHR6{d21sT!{OnCE5~RM9(#S-AsqJF$8F7oDDlE{-QMk8x(14#k zLl}L4-n26k$$1`pflS8$m}>y$T1AabtASuQ3A14+dIC^@gh6}F5N7)N;y62R-tt96#{?r6Mv)Pa{Urk!3vB#a_Q!ETzseS=f0TP+a@GBevvsX4+iRvXS z??$GuZaY=d=*95&d_C!Y-SpT%rPvSCS2;-mf;h^CHAj%0wB<6pKtbD_ z`{TnyiqY@Z&MsQ}Z^h{Xn?YzcM8J2tJywdqK9J6k5Q3$52$BG2a@R3=fC9yyRFGOi?s@|`=#9TfhTr|6nud-H&6Qn4TTM6Y?M_Eb&W+5 zwPcLqu^8dFV3zwYGH9@tQHDL#3(P93#vyf)r>661`ZA&Qg(_MhznitYqaFgc0z!H5 zx2}RpTZQry%<@t=w?QAgBOuZ3rfF;{?VdpD+ex9Zoe+V#n>+%?R5^4Z%k3F0RU2Y8 zOZ2wYn!DOQt8MI^)=xqLAPtiP^s1U5fz5{;^?OcfoJjh^5g&YxL|11O1-v(WQR>_K zu`_!|uK&2#2%-AZz1d0@MUwU7%ib`aMU!2@syyr2!J)s4+%b$cA22DBMW~mOumel- z00Q%pWzjaR=%v8f%9!l}(Ra6YFNs2ikps_k> zrkw}wA8{e&nb`F}3Q5r5+6Qw3RRe`^t%PD`onuB$raK<#Y$yVEe3(r$I~{sFEWd$Z zg`QT#O^YBbR2jGh_-3X^l-Sq|)FUS0&t=?w8Rwi|r4v~&07$NB0U#z9bu4F}C?-@{ z)kE2^h;=~mLRgN(L?KQ-=^nrBzkWS}S7_S1w#`|lu@G}kjT`snoc@3l%D&hiVQqEJ z0Kg;wIuS^cRWTabcB4h9@Y`CvJtMyJ45Xm$Aon2BsuArEQ@!|**e_2`84r8Ezwe)4 zUvNk;803Cy1a{CheQrCi&{<8>ZnM*&eoeKrGPyy`^%xd-^>&8fJ-Tw(E6CGO2Yot- zVNO|%w!{N8bt>q42vf243ESiLAO-K|u{@dcAcjI6Z47&{#-2zFa1Od1b@a>~d2v zxr{aJCGBZkr6D0JSUg$2jArYzKw8)F?iosLutS~F0aaqp<++doACa=ePWKdM34uc+ zn-{)!t@!Y;+#B?LqhI%eQI{i(GIj>bHmQ1yYct}GG_b_j=)w(~1aM-I6*cEQ{oP{L zeb+5sYo1KiRS&LF1JS0&B?j}QhHOJfq-BL>?=AVwIyu_f$8dUHef_lZ^;p&9XXad! z6&P?nfCfr(*m==`p67W|@RDrd5yM?U6vE31+) zf1?8@nG&l=sso?Oq`vVhpWm;a43(XKESTVyOeQ#{*&w0ufQV5H0m!^ysI*4D(1_SjS3pKYXU5eU zLugwlN|13*_%C_^+!n8-dmPdIm(%&s)ouyT?}O#$onGIH4GimrRBw#eDYXSym1g9r zpdoBQx33(%Y=cfZFpv6KHcps_E?t`rPS#7?;Qfq)${UyduhzaYEUsj0H@Le5cXxLW z9^4^#f@^SZ+}(l)3lJF2UU$z9yM7Cz&(z-E*INfAq6=by@G#yQV*t@9y*MP7JFR|d5-fO8=OSj<1QCX7cG`VF{n#DZiGS^4h$#68zP}g4IEL(0Z6vqk>;Gxxc%SihnUbtc?%a6 zK3ZSDT%ujB&PlgMajPveIJ2m$GRxmnYfs_+=4M}{9#OIk^WNkO2cY&19{v%;63*_Eezd%=X+VwMcw92%Mr4r+BTt zf?u#6jKSKlMqtpjJOY|^A?V289a;K=l=Cbi z>|D5Rz_D##bU70th<(i)+4mL5zM|ZKR$@LZrCwL{QZ2R|mMTwd%3mjjB^1&)J=1)D zktoo!-#ZYgv2jFVjbJt3TaQC}(KK5Y);Kpr5Ig{OyQVbS2MO?$pQ|$IO8eCG0BJAj zcw~imzs#KPWjW;9A9c+P=$5~}x`%oUed-*!9=T^1+-f<+Qwq>KCOA4HDc$gRfsG!o zfGp#H@O4=1Bzh$u$?B0hgvjI0nVFnHEFrWzhd94abuRC` zGZ?tHw*|mn0=_d|54;g@=>V+StcEz>^SkCKHkTBZ;7`N=YI5}^3~cq0bE_@`SS^@k z1rR=EoA{|j+&1iOj;YDVT^>+fr1Qy3r#(&5ti91Xtp>#JQ{7`RDr!5EP)c6Oo>Wr! zPIN<$yU6Mt=25EzD%Oxvy@||}{kT*dLBw|V=|!yhmluV8Tj;B?Jt#chLH(s~vKgmb z4VkZvV=6p@PeoO(4d=fglTWZH&PQTdkJwjy8aNVGZ+hu?pgS=w!9e15b7o+KbPK3R z0Eu|EY2(P3kpRC~3x9%UaQ_6&0ODOd16pwZ#I*pTfc!}P1j+!K4L?%P;32>w&)6Hl z%TG)U?w_akx&H=p<43Vy0RW7FfEj%oiAlxjD?O>E5Vhm9Vvd!2MwEDZW!@~VthA2&p0u*%p zS0RH|lHT`cwA$$Jp}QAN7LFw4mkm9 zYMvs1$@DR9WGJ|1IMecw3FS+iMuVa%kuxaKh^|D%cfnmsSZsRP^ZUiR`!%Jou5DlY ze35WJERP5hQ&3~3fqB?m(sPp8%kJ$J@{_y8PL<@C>^~){0y&_fZ7AP0t3JIbKfGZ7ErHTJmf&~lIkzqhQ5NMvIyMxOm3F)d_HJhXJ7 z1vuA4(=uQP%01Z<(i?516_rM(q3TlW2M-0AqRQ~p+e&*U&zxyawhJ2X4==DOW9(P9 z*lZJ5@}{<$-bc9}NuP_6jQFX|q?ogwo{E!&0-yy!ijheqB&L8Vnz>mQ&SPYAUwG>5 zUna)waIU((XS^+V9ZQE7^XA-LY%Wdc3;^w^cvNIG8=`LQ^}%KO+I-a+7b@1SpQs{O z5;c)v;ap=q@`(1>q;Bz(vq}H!=Hb`k#RJ!Axm!h%%XVNP!2^Csd$olfbDw0sX8G&i zHtXh*ocDPV>e2SQ*vaKtt2*3G@_+y8j-mt6}ehRdO47%dK2&s zMe<=YV?sw>%e!vr6^+Pl-?!>TPW(MouC0LTwWwV+jl1cFO+s@u{#pFyt+TQ3a^E!D zkyr9khib0C=~tl(;ovMrvp5$>45&CT6LB5D);+OSVFRJG!RtVzpdpMG21DQKPUVCXZ?;2te^N`82-06#Im{s8Fu)lKl{z-MOqIf8+}6+gxmGtoy%=XKBtx)M60-0+tN%V++VRf_>M(0h6o1qTELqL z?h*uUY2p3#04PCkQg<>mDz#~+s{)(z)4~{=jFBnlV4zbUp}p^iC;$S|VMD|6>PI~- z-h{p6;g8kMi~zY6judh!JWFQ~dDfHwK1oe+qj<=9mTS?&2184gBK18csgP2K619&t zE#O(-*-$|z=B)rFO5!SlDmoU4!uIH7naS^STo0VTD5rG65V%sQ5tBMP;-S+3Ca=WD zOKQpT{rX>{w+y5fE&|rC*$bkuTp|4iWi1Gd`6yyp`WLF~gRquf^2*zJemjpCzTmnq zm?VbVNa@;R0u3|NASWC(U)(uUTr69Y4y)YoJ0V#v!mZK8r5`ju;DG|_o{N~*hQK_$?5gnbp6=e7nVd6BSi|RNUBMlx$~=T${3!UX;398ZAqtw z3><2(Z;i4T!kGJlvS?{q%Q}bZrn=LERpe?09Ly zoXUD@xHevh1V#eXO4O`A<3XIYdA_;gCorhG-Hgq)U-lzCef555mpo_LvVMpk@%0B? z2SZRO+FW>i4DcMYe*EZ(S2rj6?e5|j2Xum=VqRF98{sw>;10bpU|aJmL1EF*a$-sP zk{pwDgK?gox}~ebX|!;eZ^zzpg2LZi#yIR02M2|3lGw4$&XMA!|iLaKUhZ= z?%w$4!JtB?-H&M*s8}zYq9$z>KDFc=bw9M}6sJR=A+3yNjkwN^N+0%!`}A!1~kG-Gpexbd^Qhq6eaQvsxE5a?|!O4xy~hCVj8%!OOloWNALq19o~N}e&vwu z(0I(Zsv;e9FAhTJsG5}H>+$ugs}_i!Ugmetq9$sAHi(<5gTaG*tpxXgY)-7eb%SQ4 z{&gE0>PUL&;|pvWWb!y{C|s;)Is@cogo=>FD?3c=9eUb^Ee z>r|h+3KolCg?%`GY+MK0{N6-5)?VH0nGYfd6;Soo z0%O>hU|yn}_gseI8AanTb|2`?g_VtD?h-ktG~~a2)&$H9dlkt}!f5SH+~eGxCqt0a zC2!I8kFUJrR)M3iH!~cJkn7s_V!4+p_QbsBPpA_8vS!< zj?1LpGAn0j{Lbq&I#>`?c2>Tt0Zu51B4`N!FX?dvDJo3JyWwmVrcRiU(4kqtu!1@N5ncRzIqOB!ig zrD=J%K=%i$^5yu5405(1L!F)aG*8`o{%l{OVXWwy9#*L&d_xz0!wy&8|4 zf`$#}k8)`l1Z&VE?UCD@z8_l_3pCdS>ZaK^aEUb7cwF_!x*v+fek3RXT|WhwA5ikqb2%09V~p!_Igt zpGQcnD@@ab=^)p-N)Hgz88{cikFRw!I0uN{8se+RZ#Fq+=uB6MK~STa#%s|hsCm_B zMm7S_~70BkuR| zz$Yd8fegu=k%a`I!v`vNQWC}fZ&bv2`?nr|C-4&ifeU67{SYJxrA4jDB^;~u?4ePl z3Tv6n+ws|@yYCr#+In|j7FDSzR008kc8k2GCNxozR z1n^(+wlLRc+;!=cm$KQ;9rc?O-}8 z@+vtRg(1Uz19pm}d0SE0mFdkfxRib+yL z=W<8;-oagjYU@6@dA`4}oDtHMl>GRm7=-L7XVU|;h(}WC=G<9l%IOjVCsF9kal0GZ zphyOpU{{U4fk4@WKhSG>U2J|V%hR07Zsh7EDPx|EIn!N(URvyhl=kt$5Nm4V^l#Z**ZRa^ZGnfOt=(hY#j^Ylg7OO_Nmh(9w8J>`1>%xoFgD9K*vg@yS#$UA>cBckra4R?rN z5Dn)aNpZ2FHeYK*CD9}7`E8KIcnNB87JQ1}teQ`u4+`peXnBi3C!)cHA^Cp!{qU`!sq&(Wvj-JACMBox3m4j!u<_x>O} z5Er))J;KthgwhE|<+O=&^b}^meokBpV!P6E7i;unq9};z9HMReN`ip_CCuh@;sSO^ z)~?e!KBo*UE5-a7R&o+^1jk(#YKL{fJ1JS&$o;^U*;EP67e#whgOvmeDNReb(q3+? zX$ssIO1}QbuWItUc?y;t14))PZA>&|r^YlE@%*U&hH zV?NxxMvH9AM4QOu7GgltG#K9L(IR1(DmjW6w=lq~UTA1QmVqg zD%d*60x!$>z{V10gR?kwuxp!^pr^N#WOnlzj_UPi8M!p3_6o0P>dZPJ2`--sj~7PV z&}=?NiIz(}cT}CrC(0tRZi614*@14&}RU2+?aaKmMo2@@!l~{h|v9 z|0~=B2n@*zgs}Y+7?PbEXrTX*de$xe6&1q4#s2#qex-x>I1b!jkSzZlt-}4+XqAA; zcrd^(@RW@Ib`3E9G|QR)z%c*S1@MP1^^f}XhPBt+VKAc!iM>Avafo+2 zYcL$jmP0Pz@7if1+l0ez_2_~XJw77F0%&++u8MM_RORUW`oVri_jHyP8JatQghrI- zHI~Ujc{)vJh~6%n;%4r)x_I)%b+eKLpR`CuU<`PO5?1%ZMi#5m;%

DA^*1OXvi6GQZgl^pJQJT9CtWzPPMV zw57P}5+zzEEG;-1q-m}-bD8r-vxXKgA}m=kJ;zZFcOaX?A^>FdvZ%qYBqN?-FdEi? z1BMws*st^TSuhN>lqP%pz})tDF%-apt$NExD0gL^4_d4ZJU5d4T3#`Jf5Z)iV#V9U zk^6kzn5~|i(HoKB{FONsUAGeZmgy>~p1ih78J;2d4TWOkMk+z+tUawswY9>8#aF6a zC7s=^+iC&?Pn)G~_FQ_Am@=|qLGQgT$OkpKteipQq3Y*jhA^pMf%7i_E`EKZRmaeQ zqigfj(Tl4D8eofSWWjO%QrK~J4X|7cs^1ixS0zi-@VD(Mt>xCYLl|4lS?)XokV_81 z(fEu*dVRS9d4;~(TuSr=im!`|Owi||Wg13vgqFNVVUkb;7gEK}jvVk>R1vLm6K>e; z8QUTqs(_3dCFMNRm{|)0d{51?G4tjFAw$ZJkz6no+#Zs%bu_;&@lu4}rOeH|z|gum z4^eR@6>@$ug7BY`K#EO#!`U>ZWL-3tZss`+LN`6xuy6y&U*}Du+_2oY8N|b6NRs{xZ0f|ff~w(9+5kv`*<+) z@CHzlK@nxX`^Khuj?3=~nNJr-vQ~PwCdB+)v$pE^4Z_CZ*Q8}MJ_l5v$E};IuUqy_ zLvDLIHd&vtS#ek#0a)o~PohIxY#U#A2dv$F-JUYL>F-{8J_MvNe!jtF2jp$SnG-0U z$!lFC)}&nH%M{QT*29;hdqpcelsw%{d)OYY%4G zT8K&TRVSqHdldO{pI$o(S84Wp?FI?VfdZ9IzUplgJDqYiD!{jaW|5v&-=}i_my$u> z2(O~=O_4_PyWTF*UvZ-IY!5Rw4ftrT6U2z$9yS=io%N*liX5QdsK zoDGeCO&pCT+<%i#?cr^g+Q~O-MZ)Z4h%!=mTg_pu{#s*gZ^9UYB9ok|ya+>d+ihC0 zv+l|(AaC;g*Vk@qLO<)fWQ1hl~#6(sgd2Za(_J*WrXP9CaAo-Vv-SZH7^>3f+_Ng~eCB<$3$I;+1du<9g{*Z!IA`iPyIy=NU7_W4 zJ;;Bw99ay|@)u}!aVo$vZSqjCGZUtiI~vcB8WJE}0=tmH zd~utNSPgycG8=C8eFbE=K6y#-3atOZJgkhS_s97#ynMda;dY&Kt&4i=F|NHt$ZRqv z_KoF=&=UPc4_5=i@tZt{cFMG2@j{B*SZ zrkniq@BIJNP5#*N_(`bnmp#WH?xerhO`bPbes$+Ws4d&9bHICz=&k0r5g4X>4e-E& zRljz#fI_daDEm;26qrM?WXM~YzInSG#j?S{U^h)7WT}jPqj)bFDxMlF{t*ZmXx2&c zDWsZ&MH;zJLq(VRgv;_LXq>`9*bh?lbO3$zz0sW~+lK0FMQUlkPv(~9RJ>w78O@%EYS z&y`x5x4WO_msMEvHzc~jkfBaUqpgnP&vxqEe`JCSCWppNO~YJ+96+*}T&)uunDJ+_J3L@A($H zq3gv*kd53;Ft5)B=+eQj&>$@d?#Od8gb&*q>`IE@rXQ$?wrjMJX?=a(I0+g7$VlUZ zn9VaSiCm0WvoQw!V9y1~7eEDw;ADJ7XSlu$c-Z$6!--U0@4j=bqdhCN*fj|0kkiKy zPI*}6u=d0ek7}#I&9kj)S8S=-`ysIik_FA{f=+?BzjEbUfmCq?!XSGw5=; zd7GT$6uGQJ=;k~|sFhhq7>~>YVEtk^!p3GESw1}ym;4IWLeE)&oTYn*Prmp9>miek z0Gc8uL>V=sUSB+BP)5hLpN^+io8iNCw@eEH3-qwE6e#);%W@W8DGbu%4ATQuhuZ2@ zt1wbqe=Q!TcD9#aHw}}TL+u*x=*Gp`sasm}m%UZ87fEBHU{aJQgJZ*^0D%;I7~;Vb zZ$13d7=_VI@>7NWJ5Lf16nH`zTfH2anH_kYQn^Fl)#m&aEn*hHd_zIe;M@zfN71yA4X1aDUm0 z{kK`k2_yjft+>PT5GVl18T04Q_;v37xuwkfgKy#Ytz}@G`VYVPZ-f#5b+`!gk5d}J z&FG($5e&~9EzCc-7l7aW{p9`6zIbM~-yf+Ysn2en3pwz}4HmD@4|#uJ44X3fggBwI zP@9FDiRFN5Y%PYW=>GB>kuW5Bm7-`}f1cFw(W4L2>$prx(a|83fMsw+G7PmuQhIL8 z`0O3S^JQpY$OtVi_=k<0TXw+ukRV(rz*;?LyRNp0qp;!`Ylb0U=tz%fM6!1{I-jh7s^-h0 zwF_>+XtCE_Tc>?>y&0!qit|!?{Z}obs0b|u?gpZKOdF{x`V8o_Xq)2tpY$6c!fQAp zz{&l|^z5d~87u9=r6*fVQVpw|q5yHzO4o~IE1$cg6)bBVdp+*tM#1YZ*bTLT~s&2$L{%mb3mwjv3^;r;>?W$0t>u}=!-d>SV zCxs6Z;V`_+W2BSK|o!9Zi_%3^~3EhYOA7bjXDqpOWZ_{IZU>uW$;$gtY;vu-Dx-2LJ^CM=aw*tQb@ehbsH*dVqiM!WE1SCmhmr0t*2UZHkPQ zy^8VzrvHveA%ZY|%)2b!2>YNaH()8IIk0;|ee7e+tcP0Tt>3+IrH;wKj!$+GCNthE zrB_Mu(j87hZ`DS8zF$mMPQcHF4HRxAQFvT5nyeM>)@`ghT;P2Z*5NLyN-Ij~B{L zzI96>4#{9J^tVjvBYCCqf&6uqaG~}ML}IXS5E#``Griws+OVywe%yCzz*K1?`B*Xy zXdYYln7^e!XgU*=^WY14R)pc6XU%_@)7hTSgZ+y`hJy*nFZDNbI&hBuJzl0VhQ^27q}$RzzUKz#C5B4`2aS_|XaQ zp4A9Q)c6WWefUhMCi+YpL?z0@!oLZeOf+=z^slM#>^lZ92An#jV| zz`@ks$biVn$j<(m+Kq#Om4Tg_D31OJ2k6WMQWZV35)n}WTURl2umqAD{UKA}BXIm6 zeFR>CG6Rb1&qwt|`-{{T4MdSJtWFpHww6tg zsOl-D%&XnF)MPg5g&HOUXq4BNA&JC73DNoG=>9yC&|tELv3L}0#l)hHyw6E^wi zJ%fu{H@myNOPSfZt*M^=)=p_s6EFYQ^6VU4fOH5Lb#h{vkKj+t;ypOal89806!?x| zXJz|0HwUSSl#v?eN{)8gT4c=VLrsX=(y6bS?&bAgg_1%*6D2@rGt|q)@hl#COVFhr z%bE^%GbaaJIq9a_?E8n-%kG25YXA1WiTKB|v zz_Y0GR;=5AH>IUqyJWc}Hn$+O$3dzYpP0!$O>6!45mKJ>c5Lqk zvx(_Wjg6!tLr5PdanKAO>>UKPWO=2Pd*u9d^2Pbxw$T?{Hra47bn=gyt_~)5vSLtMOF!3DhU4=NJ<;jPKTLwDkaR(PimSteNd)1xyt| zNduGOq@jFk-(zmg*8JniG4a}yE{X6r|#_mTImeHK^nSV9TrQGa|i8~BoANh!03w}c|7 z`YMqoLZWTAVVu)+ID4;Nv9=s!B;;r8bmSQiGc)K9DCcgo$r}?7@bt7r_>3d zZIo9MGcqa%8`FRJl~p_)Oo+Z_>bp5cQC^w1;fw- zU>Frt#55Qb49!jDTy2d^orswKb4kk1%wE*e*oBCl`7gQ>45P5Hy$6x@KaS#NV_;@u zW#MKg;^b!FWMN}tX4ZvalyI_lbs%En_>bL6rq1@RPR6FrME~HIn1_pmvWuaM=|3$) zrhmRfgoyC}o@Q+L_sqXU`|)@D|4d|NXJ-2+2Z3Q4f51XO5OVwj_kYlpla=lNrt6U^ z|6jTyZGX~oNe5y1Md2+{SZ)-^;uhg2!UayRf!U0wSaiNV^GB+X6foepz{6>PdHOtG z@8HMfqm!HtMh^%Gp-F|L?3X3u!Aj2?@xF5pW?GJW1aBZ-}GO_4F#P7*FCK)n^{j9C?Fsqg_-2II2!(J(e z$c6)*{comwPBKkeu5^^c4jL;H^HJiV;m3vzbS-T9%mGJE39N~>I<1Y!A6>SCa*Zv^ zEZ06YEj4<>kKTe9WV}FWd&T)WDHKWR1}OY;M#S@g6lo!qFR}}5{a4>-t$}DJO(abP zkZ81QGtPuM`;Wz$TmxnyDIGguwB?E1TORUhqpfFA6mS5WPI`h0?WZga6K3RNa65(u zb-Wf;6?hy{JS*a>R|FE6nvEpV!I}dqy`>%&aRVddrmz+9^vtn}+2{}JLY4GMV#^Qi zIZQUdEldJR2#j=n0!x6A|8k_czzR3zx-wiDK|}`-IdM=}_P7la$7LtO`bNlA2MpJ* zcc9RFVU#}*Ka9KQ@zJ_cnO_%au*!kJfoTF8h(MNSP0^COT`M=XQ3o)V=cYKTtv3oD z_heWA!gljF=$6hP)1(iojkRg2NVOXu)OR%i*T;b?4h*uRWFZse1hOh8hehKU-k#b% z{bjeb+-&vxMC6N(2y#6A8VbKkcrp@(xS866iaYBpmibqhz_WL+jL13ici&Y3m1M_T zCIsSk)%h#V_w>bEtPPyVXE5hi_v0fVa7cZIg$)TZSufU`355@C1p)xx5*pUx1<0e|GrHmHycSK#@; zfQ8E?e5<5IWOKj~#P)y*VM%M?J}{<`oghkJ06v4J*H_%AagD#ua!Wn>fXT3%KmoXm zALx7bX#k9=oymVXr@ynm)F6W4{9j1I%+A96fBQ6bnWRk)xSpHZxrE$uY-zGbu99_G zvrRTB>sD?uZVUPiv%)Z1#f!Gy9wMQMhKm^!x0OIaB(PgxqM<_Fp+Zh~=8p!dSQF{R zK#7b)l_AF_%j>V6BG1IhA?PW|RoonY8I9xsGYswNNuus4OJMU3dc-WT0mZW`LdE?V5}>v%u# zOmNa!gD8Fz?0Ys^KzMO93*X%UW~jukors04CNEQIRs;bnhXIs!6DMreI;s%WKfv%D zIo$Y5@U#p~9@;-N7$Xt(qcL|W(l zi{xV#ur3nG-o|q|Gb{1)l`KxDVD!H zx%w);uB{920khq+2Vt_+h=bhayqJHS)p|8uE4|5R^>tk)Lb0k6SnkgHu&3|Wf}}vR z37=Pv7F}qyQJv@^Svef{p*CTi4%;JLfIWg_AQ3JW^p0e0k(Z71vhR_XnYf$h#ws`?xe{p zOpT|r0y{JMH@nsG{z$JM(7zctsbp$|kua0Zp+omrjis)p5=|xyg=|7i6T6yV%fSuj zf;5M~HYw_e4Bu+DE*(o{usr0(0>C;bd{Kbw&oa#vyw_vn!E9px+?eSTku1Yel3t! zo#)b^p6b4T53akUH7gNvpF7WVxtl6jt~5rHM39f@meS_@sMpQ;%ykB+L3i^JZOzs+ zcgQ4ZoAnYMuussKXPHFoBbVxJQjPDqBh%1jg4INA%>|?*5phCFyV9~tN`Ib)wkj{@}UvSrCqZk-0Xdv}60<_`2HL^Vx3R-YYvj+;GsmR7jDH76* zVHN4PTZv7Nr9}{CW)1$ngHaIgnELcwGTyB_F? zf2TU8wfKiAdsH(Jq54e%{v?Uir96>Q8$hcjUgo}lH8SZ36FeXAL3Tcu29m;C{B&fpY{tJ(XHi$W%fc|zzfI$ z3vnF1bX9&sDUYPj8@}zD@1MsBc%GIcnC+<5A&oiwIUoIqW#S18%lk6o*`4V+l;G zS{Gl}u8TVcDkiGHqtbCL>x*CTAdDg5N`Tj+zzEYqGehwryge!>aDmB!h6AjartzE(n=yq>zUKyqya5b>)b zR2vdtPz$?F4gBi8EP9``UrZ?j;#gCHNl4IR^K^GXpLZTQ#nE$4u}rE5+|AtIAhqC~ zkN@UAV7OTSU1G8P6=MIV_ZZgDw%;5>_j|70BUKGfYERNZ1J~K4-ZC=2(dz6Y86OPC zk+GpxA}?>duD!{~5|xfV5Z9!G(>R>E&A!ih$HS{8!TY=l>;vE>NJ^49WBdvvmXlPm zVfgY5V9A8GLWCo@QhS+V?CRc*KkaCLf&Ll*sQs3r0L=vC=y&;2E=uO}$(phOq9s#{ zvJXQWAKm*mbQ%PdB1Lp+gB2B7yF_>qc#}e>3+S$h({UiWt3n-QY#8Ay5=#7)b^~EU6c(CmPeaeUk4sEKGTIa~An97RAWR?DH{tS03RdudZ?KV+;O3)re@?{Y7S7a##NQ#frRpW#@DTXS- z=<)JAj?ZgX&fJw{?NnE(XkPr%R`I>bhMq?gVLMgpzOlb>jrPSu5lXT@bR(~ChAYK zLn!HLt?KE@)_l(;A^_D1jJf>7mm}^+A7PE1{bxY4l{wf?jfeQ^XAJJ!K{cW>)LjyV zN@BEh2H|EX97gN#CR3yfM|I4Z3e%e-_gF~8&Y5EIZ^bp|UPSj1gfzc;`V~{eY`5w! z3ZT`agCZ#{q-|nyw@>FIfTz7HZ~tfw79mi*eBxdItG_RV)Q1L~=fm`vA+&f)NoRw} z!Q-B&K>Ej!@6joYs&4r;6nmXCcij}7wak(H0csto$q>?vuW9dV9E;@yDxhv0Xw&4j zQ7=XJW=CH%a}Ey~*alqM^od>)Qb+z4jcBk#4X?4 z{NzPnLKI*IH6~O55E+{l8H)FZSWti=ciDd4#FUkaHe?bQOkeFe$*MbKe17H>kk?L- zL3U&U{`H_k>(ozA4OgsV(B1nnIt```@tW>O*n;;Fk5}K_;nT+LL;#XNLd84k?e}qo z2F*4IrR4ze%m(@eM?{7yxv-U3C^(_{aJ;%%nT5FxQ79}7xc%tW6ZzA&8rlrx8=Map%3$WobF+7M8`ijN0hogdNVp4ey9Rz z)c*J_s3sBH?;IRq4R4bF`3vD_;>l^w$74ul(KEd=)N+eLWhG}RrQzC36;m0^h7pFV zZAz9!uswbdurt`?UQ=BnqAV>LxktZ~49KlGPvtqU~w}46*lf^;dWpTgRq>Fk0VAib>kMmGb6eJlexqwt&UIvb? z_q|??N{o<-lC$T7-{YSW0!KacFH_@g2ddXjFPc5{S91vN{hiWFYLA5mmZnUcK*}Yf z_ovN=4pVB}fAAWL#O7bU;PiHj=neR4Z?6oGW6?@4pc&=@u4W)Wl=Z<_<1wwgAaZK6 z*n)`x#Dhya9@F+?J~^JI@1~qjw~O)p6M{ztkxWLV1gt3U{b2>hwdKdGoZAN6$w|Y} zhdt35_yAmvxH#6#QCU?@*dOie-sBvJenU)nMO-E-!coL{O^fS;FGjt+29;MWG=rZT zg8CJ1+^SOc`xv%q5&7*8M|XAMz`yi;{BeQ-anb1K!%;0bKf8dCr)3Wy#W{*{rw!pq ze;aMTNR#suS-_kh%?u|JVny=f2xK}hV(e2AIECZQ)MV)%m3nWgZ7OE;YOQ0N90_Oz zN9ZlO)*wRjj_k#FgB`6p+#xo3_ijPH+6PsMj{K^Sla+D;&Ixv@tKEKpL-SUDmR+s_ z*MnuYS- z_m`}DvV%fCwc5x#H*tPXw|o};ks5C}#=Bj#rC;+MAWv*NGAewfTSF`pkyG}hm#*O8 z&e0Td*^GYbH(iv|YGp$!DVKN850d6QKvSu*iJI-!Q2W1%S7@41RD zD~0C+s=;9I1aIk&!|hndk`k_6-`EFPR(y%y(NX)2%$m$5evlo@q3?cU%w!xL2Of*z zXh)Zag|m?AcnHiKj-v@w^7|r-h=J=|I&}p~3boy(rKK4|%t|7&f?n=)Gv7d~Y^;Od z|1Mm(S^gK{!umH8_0RFYq;i)vHJuOIkpBu71DbO96b&Yz9d7sE#;Zxutk%2|Ddq$Q zFfHjv&3q#lA8#&2Lej}TG43i-6RHp)Mf2_eS*Meg{TWVgkS}KmE}^l3A?LzA;~peA zt;^54Q6p@~1se@-Hkm389@Z5xK7wW|h()yB9qdwguDV{d|Z&dskMQSFsk9F@{K zKe!^=P=QSu;{W)p@yBU`xMz}%p8a&C!w`Jdqtvp-}(gW z0_>4H?}sSXB(RZo1*i2)gYll1LONT|k3#mKrp$zS;=&XGN z)%jVbp|?|ncCIGiaFKlGfB4l0N-!W00QuDRm}1C=)@M_|hB?D8V5Wz}?JQtI0u#Of zNj*4jIe2`Yyf?*#c1A{fuA_fy#_=q;4bZIk-YAyYcANeQbdb}0TZD&H-+rqJlnD6x zq}(%bxQknFc8p^jiui_+L#Qmg?!1y=yxx?<>4_e{~+HpStIy6;;VrVp}{f{)DK}ZQCvP-2B$^ zDUB0dwi{-bvgM8KtA6BF73Se!w@ah*+1tu8YhfIjv7V~);2FGBK|f1sH|3q^_TXLM zD9mmoYcZh2pmPDaW+u*ez^wbs0bDN$yTVMiIH*RPl86fNc5%7P6M-njl)(QI!tV`u zxlL64kjz9)7npye0qTmX+WVo4rlpC2t0q20$^Wsb|yTTqLp)qJpO09a-K}vG}Syt ziKx5uo`A z&)Y2>XJ3YUHbtwr{>ZHxUM-n64+cewv?B-?6&j`#U9y{MKsOzOIMD9Csi!+~qN6ma zM;)5u9cHQ;I@O9D0bxSeK@5^O)+;@qd3C2mE5o`ghGH5KVQ{ev)qsed!e11fr684E zgjc4Az}NhQjcYNMN=9cQv4}sj*qZnQL5<#5hzdI`Ps{i^@t4wE)wa>wX8PcRH-$55 zY~~S|xvXBK#6tQ&{H4z7hrA(veqDVqir(wQG22J;T3D2qB?@PARI6UiTD+j!z8*<8 z9wgxTV<(?pws56oT`A`b7qaO z(f%N9UG4HtVp@a>iMa9&o1dnz!4LjnWEPMyQ$Lb;``dIFpK^n@@Yan07IcYiE+Q4D zYP+h|)kAPJc2bM+9%;)181H}ve@d>KcIw1{rIr32cxfUzA;4&NJpkyxnnE(U7FdFp6a9}SgMq8)z*Lp95_ zTevOPYUT{kdO$$Em}*(o78rj4X;Qpc0Xuy+cD};oCMFRsW5ka}G3_$~*xthkP=d+g zJS508R$!}8i`zl}!hS^G=XdNfE&a+1ZfwYtxo1b^j-yz5daUJrxu}lGCx{qRBT9!T zc$(#b1#tX6hDuN^(UdH{U|4_thivoJ;O$#sEYEQqlJYjzOz0sEkhBh3nK24bI zTbyD=T3tFM2X{_Eig2HhD=2o;rPf=ugJYUPj4aUgD)zl>i%KrIeQB#(zAs*8(Gdd#6TAaYv0Y&%d6f&cgl;Y7$x zgOl$YYi+XsXmBNr2{XBj#s`wf(OoX2?DXk?0ucOW$NSoTVex7vHbO3D?krIF20`2{ zA@NPUwOD%$lNcKsgm^-N#t>sXA*CfeA@zxkJH-Ama5x;j1VeN=80}%mXLzWXC9{S{ zlKTl5Q{}y2nTeBA+rvO|TILj~buZpr;vjJ4yM3le9*vfWTQx6W*=$ueZd9 z1ZaNiD4~x({$5e~4z*aC1a|60%C*Pcj_UU;_L%V$Z(RfUivyj@=w0?<3<69g6xz(g zh2y}uIR_Yd{LK@IJZ9wG{HOGnT0&ZEdBYI&;qd+554DRe8(qnN{D}NR$^^-!fx>F< z0qz{mG`55_>nm`N6lr$eqOO4=vfrbt4frv`x-7hDn@W}q7FM@>rtMpa`RSkTn1V!~ ztySs(=773TvmH26PbfG=)6>sXD>9`clcc$Rro9wgUVnJW^-ZnZq&BE8Cjl(EL!|R4t|(d^7a((s zs9iGr>+J51nLi@@%{HADn)!vH`%Z;>no#XmKwV`k??Q{F2gH(%D7XSI9v8iOJSGn_ zQEE$5VEMtr<>`aXqO= zS-uCry@&^jay}3h=iU6lWb@6<69Cs6DL{VoCFJv*)E%SlVP$_x-soh;h7OOACku;I zz@6c#2UlPyj4oo2s01N?D6I}LF&@6Qv$InZ%C0kHjC1W3vDX_!_J0vy-2X1Vn3*{K zvylF`;%I5(V(OHnjtu|b%jwk`vd)_vNZl9edy)iDj6DHGxRjQ@V`R+~X>5>UCHTJ* z&!kn@zMggC^Fz_-HPM)J>n(wNIuSiOqsZeWKn@Rr_w9+Isbrf`hp2?ejZJzoKR63g zwTCOgt4FOWJn7+dKAVmHrgVJz^UP>q<27OL0dZ%C=Rq8zissQ2i;x3VMX{_#{fgxD z89Pb#2nD#PTa%kh+kuRJV>!oH`+uM z0r?8rmkt3N$p~a-N0oZJDUD8@+^dENI;Qz75T^+v>xa%)4w}h~v#+#zE((E+dHhl9 z#$S=kHH#g`pNLd*FHx_U6i7`<-Q#5FO7|0nhUCjQaaz9>vm87iTA_gwd+(FW51$Kp za$z24hfC;I{CGUe{deWHm8{U9qP6zB09rl1kWO*Vtzcyish1Tgv?TNljxTLw?o@3E z!LHdBmDGE0s7P&E1v?)8Ky2lFljk?19K}LZE1?eu!b%1m{Te5S{XxODR-&;3D_uM& zN9;8bZi4W3>dmrwFaV0CUc^{MU>+LiU=>|Sf$MHycMj+i#Gc851dlYJM!W-EfT-yn zvn%GJyoDUN)twH^6b;RiD6@y#e;$9eBq47aR*Ck$W3zR*3UcI zys#lnzF@qt_J^I5McKT36Rc0iS!ostY( z+C~W@r@Hl?OHz-XRm;iy&8;-P0N>^o9Xhse?ZOgFyr>iz$s0YoABsj0ib+I80l&arMqyG~ z)mADfM8u=J+8bp;SpAPFuQtO(ngjEOP0PjlBA>uU3{{vd^$wH7n386IYrycOxK@0c zJL!ZLO*LOFZiEzx3n?TSfZ<%62T#tOlo^|Cdki=Pwle`CqOl_(T_@A-&>z-4TWbWu zofMyCb$0fm@C_#3DdlhjB#(B2;__`n{9w1F_MgDUGw z6~x}I4t|8IisUY)Y<@f30VVx_{ygHKcr$L-D#K3ky54~>k@I~lb#HruOL#r=jR{&+ zo>cFTD$expHBM$CW;SMyfAtQq5OFZEv;52Yo74W+l!%jw`Cr%4KiYfX|66-cW7D1w zt~e9dzujhk(OEgU{{_NA#Lmsc`Y-FhqH}PuGyRu{^M9bXCokYgGBf|zPL2O)I{FLG z!Nm11Ko%lqCKe{nf0_Rk|L@1Ftp6{f{U7+H$keod@&7#%{)^Ad#`Z73zxd2d?Ck$C z|2sYx3;X}W|L?c8tB0vdw#)|oHOAH=7g*Td_4W0JpfP+5xVw88l1@-(CwZGlU?(`V z+}tF$v-z#puiT*bzF`KZ;ZR#MI2d2%-W6cY0^LMLIVP zOC@OaHjq708a51k48_&w65{4@$Qdv zeed)-*S959=q;!UF%e`PrXcz$Oz>I|-Y%6?T}T$_+`Q`G^!PXdSd$85hyOMah9IV& z|FX8(H$FNMu-l(t|0-J@;0LX99=Pb}pWotZuP-k^$GP7oK#78w@y(?EPqu*H2u+Z@ zpXg`PA#iiZP@Xaye;Bn@X<4ad;xF`%Ku&FSbaP%bHFK(_{Oz%#qR^vA=TcJk=@qFZ zWT5K?^$~OwzRokqpg@{DXeW{$1>Vh0pq?Baz8KeF4lQ2YrBdzWs%sKP355L*{ zf)u`DG(mNNb!_l#d~EQ5@>u~uFXIEDkG1icxpIBIQct}GtP(Q%_LOy~eG^kV;HR(+ zAU*I@I}B#mg8sBa@TV7_-zeYCAp38CtY79=-wi03kiCF*6SI?7D1+m@ zBQNENEQucsGv5zoRuFH!*!7>@joC%$SbfiNL%TdrvxnOONNJqtAgA9Lbf9|xFC~c1 zKstY*H$c=-d`#4pETKK<`!`MQcmH=S%G)f~g5A>-U{(G*ZUERmr4tAZ7_e+-5An+A z%nBLbee&I~F97fA{|%UX{T_|WuFT*c6P}vi_|mrpX_pN80ZgwdRD;3sjWi0g*|n8ir^MSffYhKdc<2H|X;McAW97S|z>#q&(Qw5% z5?_LU2`OX{UU8y)K7elmIU2zkdR-?3pVVD)iw##3#MBLewTNS3&E{R|eeca_f(Hb5 z71qIM9yufgAOgOLPk)N7?8wIu8u}G$Cr)!v@!_lXlzJW`=5+nAx*x}vQ^jmK8~B~i z#gq2!lMWYY{b}!v(p}5Y$7oT)|Q0U;ZpYGV=ZL(`5hy`G^ePJy}fL@SAQaE+|G~s)} zHM*v>ideUt(yaJ%jB{&drC%Vg8519B#VlszX`B456TQW4q~IKGykJT4v!8uj=vsL1 z*qD$TKB;Hmr(MR&Q(TLWkyzkKObHj!_w{-3C0X(FD7OiuGS10J+DOyw&kFR`pdFbZ zUU}6m9|OQ};f(9shq`74x#{Teh_sl(p;Il_z4tE*r&$i~`#U_&C(syy6WuPCfXCK? zPpa5fh~gzXP}3&!($IJ(p`ZkTb5r7`)aYbb)Zz=t-@=ErIW`67>3LVwR> zQ!1^u{x^*B9>j#HlI%^r;HOjt$EjjuXADDI8hSQV&ia@>wmvN=QmZq}C-)UAxM(g> zd0)VRU{$6Av(aYP*hs^fdESl|TQbTiXuW0e*p=k|1!ycZbE}>szn`OZZl;(kUWwa; zei~R*+a-O5aWzSoMfjT(0o_%wjn29Uyshg+U9MgXfu4`KREyQglP$e43++R$o;>RrE>{Ux{(4hXQ;QPjGg%4rb1H6r0##0pWtmHb=G(FTPccFvu+v*KshQx(YND&_~5B5UA! zW;Ta#^6FzfJEx@6Z+DDxu-2#>B*@ zAI~(8g^GAYhnFAhdEUOZD?R{NmBa0t{Jox7!qpR*Q|eN<*J-YMKm0)=LPsvGYl7yq zmvrdC%wlJ&>w;`mIg0K9P-){sQqAQ$bPOrEu2JRFSNxd zC3rB80s+=&brEDcG9&c{KD`pcbokjrG3P*N<8l1P1(4XO%cgU->E8hI;KyYoW$uHJ zA4MBA_+q<#sI`vKuj={)y%O%H958^H8aPaZYK`^1o z;z{%gMo-FNT5TRT5Vr9dKS1Q05Ye3<64SIr;H@S5PqII`gqjd&G?Z9fW}ps)Hl&u* zPd9?LzIiE~%zm+nXrur>O43?pdj3yenvd>qsxQ~Lw=DiRRstbbU$ zyV9akd&cQ~gGIjDpnS4#ZVAu4p@6CD$;p{Bo9yeDaTH?A65kq=)H`yiwQPZR6u0_B zz8M)&TTds{t*2FexXQ_$LA)+hJg0V#NH?OSyz4ND0^*M$RctGNdrh`f!O8=;Kd0ae+`_#{BfOm=87gZR8rAElXN->`X!C(VZ| z*%SuM9cnP+@rW<3#ys38bKjrQ4>+v35*S}g1rXADWZ`s(YeB56Gt&8%_{E90)OIX& zUwq2~%Y1`xOJ6xX;!7W#laAJ>M7+txyH9$iQWVbd^`QdD!C7L9}wLQnb7US24ORhK!1%XSKx6{7=Qd}8OY^HnATIRac!aEyhi^0M&)v93RlaD z^E*}G{kMGq`xwRWQq^>-BZ8O{%E69L?D#986N_-vMD5PB+FG|2_-m+GEE9l1mpAJ8 z1JrTaP0kGDL#N1ldN$67~l5^edZrr%Zq z@V>UR2=ftpYNa0(Yd=e@mx6Smm-v2ar~xePh4d)@GO zSmlS3*b$U*J6wre!8NMnpU!+1nz%a+RlVo}ZCG@{jW}W~Z|^_|5y#paO&DIifp$!N z)0%F;fYs7lsjSDDY#mi(4m;n7&TX2qyX|8mRs!M*@wb$Gbh6xwIL29zYY$u{8zwkz zBbitlX+<6??Yr*)qeaj0n|jy*W?qZ}HCyK(=)v=!aKyd8du^C@Ip3y)+3gA3=leyf4}1GfI{UdexKB@80}ARg;4p>n>N((Sdry zL(P5`(agZ-EQ>t&WKDu6Yggx(nv!*CM{c^bNDYnIqrXkwirH`5RcW4!jcUKAkz~sN z$4QHKx8YGdkg`EieXOT`kM3D0dW!h3o53 z8&HfYAIj&plUFF~lu2MK7}%_W>||5s4<|ITWl;Htznb{krS;in<0mu#Q)a!F?7==> z#o-*itEC1%>8EnVh1F;Vky(Rr67P9bLC_#3uxPYWP{-uuUFJ&Ey5i zHw%oScb6ftC5TzafK`0DtS-4p`LA&fm0ZfAy2o72S;oYC*Zk@!k)8>Dk>tZuy#7r( zf+yp8&1fC5Ze{8kQaqLcFad_tcj{oqn|ZUizT9V*HqE{nDQwQ@06C?9wYUOK3w~SQ znrj``%)xgiU_y0O%@kH59`c-pIiI;WDhq!2;DR<=RlW$ErYku2#GknCWh4usv_e| z55vI6!w~CsWSK~chUcnV2!A6D)b%I)Blq6qi+EfTLZapHvQ|Qc5?l1oOBK(l>+2`lHA;xo|K-5vVw7_|pguTU*A`J~5 z&yQ|h6$R~k7^&Gpz%$D?1sB`%>BY0kN)ZaGcM2#ZiK?NG;SjDj7}kenhlK|?ZQE0t zBcVu^gAP{kZQb$fkR4#jZ1*?T&=Y%-8ON_;ueS)`E(I9q>kl@G06+Ny!d}j;A#!ww zKf>q>SU{vdBAh=IQngKp?#w{*=4>#f$hY$msJt-55<#pJ0ksBKcJ~@e8T6Yo$YAi% zhG;?Mw0h{|2bg%R5Ain#&v$fhL9XUh)-Y!?_zMQlED+3%SV|%6aO*?&om77{F#ion zriM;=m~@WkxMpMn1??Y7{dJSFu<0Oi5RQEs4R!=W4}&9OS8J0nfsy+GbA3S@b#VdprQyxdSMlc!9BlKNOfI?Ls7cKAhwIdoa%d#88;G)x# zs3zsyAi>n*h;UqT@pPKjbKo4xX5U!gS;!6%i+&SS8cz2ESbM}KG6d{gZ})Ns;$#aR zuE?+o(CEj5=pTCQfE$SFcD?gR_cn?C=+cX$k&;~lWca!scA*GKp>>>tjn(w^rX&gi zRb=N|fH5H3%+bTdxg1l*3E^t}_w*lK{$+z0s^JQ3G0QXlv6U|PAOg|vc61~w?n;dX zYrT|@+eNGzSL+KZ*IxX-0=iLQ-2ibU$oCVVO@PfEB)+?=a1V2g>-kB0q#_^6!WQ>c z5d7U;;?NU*4E^2nwzmw!4WsM&LopOle=fTOppvyom<2>#(rt1gz%37gPSK`}Y>hoP zPu;v(^JcFHHbJA7(D%hrof?X`=$i@jfbq<%Qwa37AFdr%>3MX^(mj$4qp?2ZtkcA2 z<>@*iCzSDutomrW_mom}SMA5=aBnDt@4Qxtx)bpqP3BhoM}K1e&4FLhHhq@4eWEi& zfK*ovb7Sylg~VfCtV@MX7hN9-ceI0}-##SJCx)Sv5Q6@yNnh4(wpE#Yn z(5xJoibLg!a+F#^Z#3Ui4FTOF{0Fc50jO}z@E@`{0BFM?o%$E#(`1XAxI5uNU zn(3>#llDv270v?Ufj{LI^W{+drEnK}z8W)r^5~qD$(5wleWwrl&F5*gQo%jLWCH`_ z`WQva2a=KcNYp}OR;hd=7TPOs{N1KT#ENf=f*8C^VTI8@(-Xa5{fFfl$nN$O09AZ; zHg6skzd%nKsccRVYK9m1>ha}iR!aH7@9gVYNIpklz(b1$8*Agt#f<(~M2B`1g+A)? zh{XXeT|l^=_AOSe@wH<_L@v&iR@`J1dAD!@&+K0&S@(90w;S^r04>odD&9y7x@x_) z@TCoqJYvv$8z_sPSQ&DGVici4fCn1HUmn(Z%3vRTBB@;zFzo8nu`f{v*E_SXj-)+B z_pF}Hw;IK&pe@lPr`u=NGVM)TZ6KAInVXcRd`4B++Z_3`vXvM@CKSqf#J@FZO>l0Z zY`tkGy7FRoCDeSqG3wPhH_**1c)Qm1+%Bt*yeOy8qN6a;DpB9;_UM%M0Hek(eS#NY zPahc^twhue`-Qf@m7zKH7N6<0(xoR=S0*JS_=m#mY*(1qv`Ez}s>5WS`CK3Ua}AS= z63mV^3}R+mqfI*u8gLmyaQ<{|oTFxGJ?=iXe{e26RA5siU18_#QSPu_RSi0a2}Y)2_1Kz3bthC<8HQ9W$z=)l5HYdCYM7uA#2$n@lSn^Ew8$4v1f(_c0d2@eXzCcff0jZD z;+#%2GP<&?R!K1=7c8MsoN?ins>h9R$rsB=l9TyUTm3xfzg~)s0<4|tiPxrnikHF_ z;NXGJp6@MN9ddH3pSK33kf2|e9`AE%mIaGzlp*pIa%U4HH}+z--Csz(Wq84nL)H(N zXG3ND7ADeq{!{r2AJF!&fa3N#MY^!x42&NnSkw;)}0sgFb{J=o@(=yK;Tg4 zN>>^sF%P>Qr60}6CQ`W^QCc{)b&_SC>PkE;OeG?Rwg)Y?ZWL}G6Xdeuqyfq`KB3YN zTPB+|(K3+-CK0x*G~5&pkD`MECH8oNHC~&7v%0e>Vcb5C0#LV4S$gO$3ZPb?((8V- z%KfZBS{$Nd4DD0P%3oMGDZgFQHeE9Zy+`|k`Oc6dB-=i0o#1q9>DeBYkx-xBi1&rl zEcw8z+zQK~ZyqS4?ruuOYOy{VHd7w!(}-V9E8r?mW4VC43B8zt?2h1_jEj82Zj_He zVLw-U84`n=1(e-QW@gnF4g4slQ+1)-t%gWU*w=|o5FYP4etH{` zp3tyqg3`2yy?2E|x0b<~>mQ7&)Z{Q%;K}Y+ApqMamL2V@izi}d2ZgVy^~YOW`@?)e z3SB^oq*)g4>mTD@>lbS2=peAhjXXgj#K}AJWo0Kb20&+g{QZa^+tRsa9hZ!VoRLJf zD{6lJgnxoM@e^#NccPmrlQ1{@IV{SErF{RH;}K0`vRz-@sz(5}|MJ>kp&Qz6Ow#_k z32_%?seC3RmtDzdz^;4#O{kEzsY@QMJ;}7)ny1CJxjG(+90}b^O$UM!+1B(DDW`_9 zDp;)r7C?V{=grM39;CeiJOkTgz45VAYY~HlhQn0wcJ2zdi}@*L+9#KT$48uxQS$Rz}&&B>PHN}+X&R~QP_51Z}lx3gZ-N9 zsgl&3v*^&LaCu}~??75&HC@gI!wc*2yRPflJ794kqgMGbOOQJVx#?p2WzwkUYasP< z#ei)#hq25Q%kA#xZX)SBt{BR_-o&bv$_;pBik`l(4GR5_jvBLz+!H9#qPNG$9XQn@ zo^~DFms%NMUkAwF&Ik7vzov?XikV=@BJ@cIcPypMVVLIkPQ{&V9~g`T^mAcPS_aBX z+yN_GFY;RFxFqUB-JNOgwjr7+HMKGBtyZjrHW{>T_NXyQ$=|Qh16aN}xX2ZjbU}`P znrJLqkrjddGlBV(FBuI{c+|;xWOU)D2GaECQ?7lPIr+wz6&5ch!xi-WZe86 zw_5e#>^Lb+nj$m$lmO(OQ4fW@QoOT}E)5X78I@llGd|orA%0trT8I@Vr@OS3-9pIJ z?EzuAajuc7y*Ckn=foPMtN!!VL=mXAnBZ`-mxcRBM*5j1&sa#{aAtj6hfX^8HU`U~ zD_!Y|(xK-^#kQs3=HsGJ8o7;kA;#0t?B^lDH34aagra2na~5m9`LZ0c0qeZxB{yI% zn0c^=Rj2<+#f0w+C*0O`@?#@5=ZOo3nnwS2MW70lGKFJ5$=gJ_C^n(W91l_Vb{fe% zE`%lPEFRsUB@|nup;csM>p)Q>-O=R%`ovF)y&Mzj}| zs3}Z9RDaDw?W7l=chlT0__jwP7Xt{y56N#Zs19jB;AwJ2mt`Pe!CF*b&xw+7A|ZfS zFzDTA4SmRO>{_GqJKp`3jt=U4m)AxlbETiS=N8v54P1ER$J+dnuOzM}_ri2%8O#P! zR7&%+^BYvLuw|Ax3**^^`91o#yDS_L9-4Avu?k!^@oPovxRxb++GMI>Fe1QxE+T>& zEH@5r{0z&Kw)bhab%(_2WidAzf$BItj$@FD-)w__oHFZ=x;wAkEeqcyq3(^!S#E3f z-OAyW{+3R<#0T4u>P&pJi~&5>AJL{46@>NBZ%Ot+dC!Thb zbRxRfUR(82tqyElRaSYm$?WRP*nTT+-r0I)Z*rk2eL>}UHdNo^{i0yv5v9N_2N&Ka zMz-)#jxO_eoGafxQ|&iNRQb@sa!O8>WTkJ_5|^M8tzywlak^-6z6OAy-aGqaQ}rfx z4vdP0+>km6AGr5m4hzuPama6t9@62;g)a(B% z>?@<N;K=9x)K#<@%46YO0U4jH>aChGXceg--1cv~@o!|tAAi+r>xD(v+LEdxT zd(J)g-tWiMboH)ko4tCi?y2Xg8)n*xUv`FZHyv|ou81JB9Vp{r5itZbBsR^% zbwD8|tM|39AX;KAxAFX*EPT-J6+9=M_eh~RHa-dO-F(b2;N?qlf?C?C$>4eGgZ}Q` zgJ&k;0P_Q$7rT<^Z2x|T!YV5&k9OY@KMQ2M>Dnn{$+vWc%}!y9(K{EJ`9fs7{4gN2 zh4_ui`|#X0v8S&J>Ig_J5E{~(t)%d{Yz(^(jzV-#Xq4@2j@)wG15(y2=`A4szEA_( ztKg`9@8c&R!0pQR*Kn#!m2OQm3i*0kvwUEo7o32lPH|b%whJlf%n6kCn_i&!-37xH z7kTLQO_C*41lzu8SBHJsk+Ucw33s{{n*Hu_*u~~*ObZFG{WME@myPwL%U@E_nD8z> z!X858;QX?igMibbmdyR-AyFqXw@)p1p1PES5!COqmyv3Q;kk_9_P zV{+ogCbim^;8LU_wDrKNnAEe@X%KG43yp_=3aO zEyVI@04b@uu4mGnwsd;h>Wt}q8YjAPf=Ih^iy2mJAiJEv7_ z(RXx$L8}8eQBFDM`|10uR@C#~#AWnjsd-H&bT>>%Zp{-{O6k4o=A1VIq_sqX7U6z6 zHH?KWrK*Y-1qfefL5ewthtX`F z8TH_h@Bb_!Fd$?W`D=am^iw3`q8!x7ZaBW%ZBKea$yq&p*mRVitWwX@$UuK*3`KEU z2H;A_LV0?CMFrh>d%~eVwN0cSZu{ATR@-*596Z>(9r_jMbY!p4F@se`6!U0SmiwMF zc^pOED6%DF1Qv4LOPLAj&m_K!9Z7J*h2S93XsI)}WQ;ug*tn5pLKUc2SxQHaGkHeT! z6!hdM=M0H@DrdmZTsE33#o1&|AzR8k#D_aQ_>@w|45K)fTc-~1&d!`!>fE#r#>H1j zL1#_UK+E{G_P7yC`{FxzA2cp-xzjh`Mf`z1hmOuLQ=Mc>PJ+@>?PY*$ka*zh3*d;^ z@O4|7UG%IKqun9mW$Q5>(p2YN8wqAg@1P*6LdU2UvbB#mKLftz4sWSoANT#!tO#n% z;Lzn8!XaeG?4Iq62#q}HS3S?3PVC64f%^Gm`HSkCWG-Q<*@i!CI+;nr;HC=d)BvJqx-y6oOBQkk^v+q5%GIvM-V=4)eIz^z7` zAFr)Y3n%S~bwk5XzXr~502Dfj$MAOA5u8e;_ESp^%DN=<#f&jZMEIn7MA#E~#Bnpl zfoA|!!xWYwhrui!jRTg`d3%jrbgim^3thV&s(jaOr!E{dyD5!UCUwRluo@f~eCSD+ z*)AQvVjoZ2E{xE&eD_mvz!N5jaYokL@jg2%P*g*^lPiTC8)aswoESl9&qx5qZP?9( zi%6C)+c-&xLS2mYn%={~&t9b$Lj#~Yk2G`BEDZs-ECR2AEc;g&4cYmbrt6mi0(fz~ zw=t9aPFlZ8XU*52=Xy2)PT(Y#X;bOI>3b=dh-tK)N(EW!f$-crL^7sQgRdx59qr-W z8gvr^IT)s9twj0nPwc<*-QEdKnIME2=wkJWYn{(7!zGxEpsjDLb`BMGrrJoVy;*M^ zV^pYN{vx5aP+-H0xc};ut-UgNr7Ym2G0xF~uqf$#d2`JW&Tifgko)|xIp>ZhM{@e$ zSEI)3^lFfnhw}9hp7W&r9to$4+YT!(H%FsXv7%j^@+@ckDEDpR(*gcpx%?H`Z!ia> zIlGXMNHlAEtebd~I<6=_RtMs!#G&fnFc=z)7@c4xQ`Z(fB@dY|0SkC9$7D#=Vd(l$Y8&oY99qKX4lNC(74etFo(r z+kCagEMVbDWiyw1>lC@NZz~6K9cr2#n=Vx@tGK5UHV+Ta&MKO&)jfgmliU6=|3sJ;bCwXQ0j>8mzF(|WJrFIH=lZhFcQogyvuG&= zlM)pz`(xenvGDCl7JJA}ir+klK9r$a=?9(k`!^mGT0Bv=WS!!%b3Nq(qeViCW2V7Lu5Gn*Bh!IrIp0Q!j6&8v;C_1`kTHMXqB|V zJXiJOZ%3A|ihy9W7YQP5HZD(JyP4p+L%_8G~{_-(OEDLLYLAg9KLSzqMC);%9K^xc361v1b&|Y7z zq7o5H39{%4Yyx#L?|wvApIl#fd+}9fkw{|JE^LIf4_6o&3U#^_Y7XffeSj#IsetZ2 zK)9M6jp}pM`#;EN6Sl^hc9_ak(M1im6{Y>{ zRyd>H17X0Z4qpWZElwjv<9gv}QOc0c62q{~>$*mYS@72es=YIb3`I^0C^@>V98_s8 z`^yW?jvUU##F^^KrlaTKn`b?>ivyvf6^&0QAy*rh_a+T2jWE)(FJ8wESS~h+peBi@ zTiEqb2L=NqG7|Yveb5TLdf(y}dhLW&g!bEffDi~$e#ty&P%hQjE|d22)3nxQtIO)a zy?!S_)%x>|;>5Ibd$vv|$TAlXv|Sa}GS@istHn<#wfe^}mCaX+w)`e)iBZQB7dQ_H zN@zNqMu{6;hym!SjaBp+8k^GP0t)N6#DyKVe~gylZB>$S9JtR$f=pyB#Sw8dL(x~N z)eAU&Q{B{9f7J5Sx&fn0A)etzTYPR2fi}EfpZdN@Aw^~FB?9vXDM)m|S`bYmAOsNu_4@6&qrt~q5H`tm*Fl3nI$Ov`m6kbXEDFl%5wo__(U{BNXNRXBG$8kflCj ztxjS}a~t!#?g6O?N2oU11>;oV&;foqr{D{EmDAJV{Sd&~%P(k&GN~H{3Fl>g%0~CG z$dPB&Vp)LZ<(Yh}&BC+P$k&`k7Ot~V?MB9|K=Fg?8?sWVNvuz6l*!4W3 zZPn@oota~K@|o$9-LNlWJ;gCSK-6hqbo|rJAQxAd z;hFebceRk#_qmd7skC-%u`iW1QW!)DT3v&?)(EuZD#j-FM7?}zK7@0zrJtH^XM}JV zYkEWoV^!}9NlxdE!&10+gc^xIm41?JjNO~ zviKBu?$aq|Nf*E7BrYf1_~WDOZo%A9pXgvw@u=z0CyU5s3%3?~Yxbo>e|9TY$lby* zjLdt6M{c!}@R|D33fZ9^5IgbO0#w3SB!g3|jE3DyL zS$+f$04iSFSA=I~+vrN*qXUrqK9;9K! zorv2)(5Ts%_Zs7zN;fY?Ncg)AW>~1|U{61lw7_ktVHfr3&?h5*;0cIc_C}kpd2Tq* z?qVV?H?NK2YHU1-SXw?Sx&O&I5$ z&Qd!RJ@ht^eKvn_!;=1RV#Xb#W5&3kdyJ$4?&38UXN)~$?R}ZjsD*B1#_eHWQ>H1+Zc?Ik zt<2}L$GMe=+RJ61vko&WnP^W=_O9i8~oTL&o=cd zh^V8D>A6(nLJ+Lz7RzKin8Ct_-zkXqX*_S?V4WkJl|*3sw(2j5N$M$5vC9VbOU*61 zW4%Gjk{<)52!MUvjvKuhl+_NHMfq#hHis2=HZHVd70zwml}%j&bqLp49k7Epd!UUu3aD+U&XWUU+;Uu9Iereg<9P1bSLhE8l{51^*Q`_ zXD6wgAo=DS)VVEi%|Vi;NFIx2Tf>cf zfdt+1{*(<6@M|#oSv39{2&m6LX-lA)(bU`YhCKOv?XAKNex=|Kg%?^rgQ?r);@b~& z|DY)?S7j=1)M5y0$eT=G6s&w<|4gyi3=ZS;$HdJM0bMaB|GTK;bE3dxKS`3v!R;N1 zQ}Pk8+2z^6V!*jqUzsnuH!D=)sIER!mU%>pEtnTrfWk*qHlY{>ZF%s+lCAG2Hg>P9RWCo^;MV+?-q~#7B45awbF^r)Sx zy0%umQf9#&b*8JVV>BTdVcSejqE?iap;pjAoqD|77wBy6?D<<|#%R;fLXN~O*_GE$ z7jhHOXEz6GPI5a;m316Mp25|riWd9YnP((B2TUZ(LnD3`mLVWrYVI*)PRe@c@}YJ?OV{|Pdn)YU75*Ac*`cxZp3ENo5mjb=L=4Nu>wa!UN7i%F5Zrm68wq zH@<+9lY{Rc9F6}241ZtG#$}-%_pZY5jRS91Yy=T}{CfopvKFPq4NXC-M1d^9T8SZB z*Z@@tU(@INEF{LrsWRu%`X&zn4oO^XI17(41oXrN1#ow*QL1EOuY%lA{!4f^?nzKl ze25lgTbp_EA;PR=elS4wJxT6~J;FtE%Xy~QbNGuLs3_hRhf%o#EGo~o zoQNUe!3cvL2)WVZH35aWLX^Q&AVJhGPCaBAj^Mx`)EBqkd9*%ABh!||lTaD?!{Ku1 z_75`@@4#t@3j~TGpNDovhm@*`!RMsF9egp1_i&mGx>0z-<(L?e>n(xSo6%{c)rsC1 z%wZ((P8?Mo-VtR|!WDUtm<&7)JWnI0JLm-mGVccFjS>9fy*b@ANOV0=va zT6UY>!M>(&&)%V_dmA>nS!%E{KE{3LTbO-8jqmz=QdtbjJA&PAJDa*QIhJ3N8T6|G zHtEa;vDuD_D!`d6{8oztFn|~g*2jEoVhU5I1#OT?d4et%$~H<@PNCAmh-cL#?iJF@ zgnX8AgJ+GWkczd!7Aww^9Qf)%=XMiUfMUsAlbDyuLUG^H{^(3Dct}oY1ufw4QvFpe z_ue(m$Vs>|D08tcj3IMXXJAnmeKZ?&k=qT12Vc`H+rX!P;ynSN&@i{A@iz40t_uA{2ATQs-5WRedMKq5J|lAzkv&QTjBtU z=4NsjHkKKNYxCB$ior%wXKnVzo+xzS1hsqE4zY6?+Q>Gvu&OuecMMjxudMOMQ8@W= z(KmRV_?At{vyZP;Bo^U=p!>W{^n<(-9@&E2MICi-^i6`)UacK!jHcR=SV$uvdf3l4~i?C$5{U*e_ zKAB2~h>wPCZQIhdN@>blwdg|!W#)GH^PsS0;{GrA385PKZX&$7HsQw&>}&unx$NFg zK+`%yPF!7Q zP)lx($>8Hb-%u=y6^t_8j5pX75}vmukK*Nkk;R_8S=RA(9FI%vdM_9ayPcWJRlWCp zjwAJ_T6rhc?=PRgR$m&So0#H!;ZA6x{=8Ts`aLSW9*)pL@g@xAP3y#S>kCR(6l$Zg zBG&-Gj*7YqIoFX?b!#avUI4px9gOSRJ0lw+O6>3i=YT9Y;s;DTbA__2zArGluOx`xw5!mY<%NIv1s5u!tF{QCgtonmDzv`>pFDI-+ZV@;?C+$p8~dbh%w z0IC7c0C*Nu0RXc96`7J;+9z;q%dtqcPns@X3cx{#==*?KkvNkg(oO-wL;njUf0i zBLl6nrDD=2Zd6%e_r0ugKKulFPPkd=U&>;Mq;M$98>%N*xSS+yP;7X$GC5nuu#cf$@QF5AUKGBxAZ}f z)>H0amSBZ662DzEOiHFKEA%+#11FH!QWBgzX)fX<@0%@;mCEADt?3?T*0YMYa%{UEvwvK-}&gkl>H{>MNj<~#2{NlKqDOM z`$h&ho@{4ZVU3+hM(X%Xvn6V|$(arA^C?fZJLIdgV>02LPz&qBUo1jG%JwQQ=LeVTdD)-&eb4tK&@`eGjXS&KfYpRC;`2I_ zo59O510x-An+ws2qTtTHcp(M*?EJYS&_gUPb&8hTO(K)>pjq7PDcd7s zpO8|sn>CAR1)7wcbse7{QMDy0xQNI_nN)T;z00k`*A)4xbNp@h?0hSXw?AxrcW+6c zE#7XgKUHKn0e`@}f++bG0z|Kt zKL0Qk`H|!_=+Fdw7LuzR++m`Ba?3MPGZ3)Z`d#uGhc#*skKN1beGw!3A)W6a^hEGJ z0@(O1`%AWePi?V(kG`n#nc?$>5&sOVqTS)=U7`17;5V9MTd8xfZ+q1??rnX0306A# z+tXUW9_J#(W!xq(jltf!e)t8C7p#{M{Zxn%+fe6NZ~fhn(Dv`t)aAZ2 zH`u!T&m=3<%`^HJKilpGMiddGvFP$t6O*8A8vE0y-CQKcr|LlRVy(W={MNb?GJRYT zZ`#XL%!Xgr`G@FNY)T2@EKnEX< z;+miNv_l0%yzlK3gnvFnbwq}Xp7IdYbW<3Oi)el$i=1&THW^3dOPZqcM&gCptxRF* ztjBttrqnH^mJ_h)?cO*6kS~4W9b*+0YS-RRZl+w;89BSIHIq=vv@=NvcH=#3Jr|u1 z<$^KCgkengGXTxUCJnD_M;~F?m`IeY+N{nj8iSF@!(|pu!f9VI0aYZp8gC^9iEr>V z2mWscP3B@{2zQlKsNaUxu#tLTwsp@>Zm^mJy;iS}h(=wsLrWHzD${P)F7&W5R1VR` zcup(1bCE8ODnSpr?XSCM>~cyaqIHVXkr7rj=cU}qv;|ZQi0<+9*{`inyfM15)P5sf z4tg#;v2m-Wg!CdEKUV=iBN(tS$Ua2c?Z@(m8m$uvoNaem(fD2WyM}X$ci&{P zC-Vw5`BJQ|RWq+~%KbHJKTz=R7GcFr-%Y72FDc_UF2>nLvve!o6}v+*E$-2GXtyOF z&yyICe>qB}G{b`)nDIs3TrC}(8D4Yp@;rQaUxUG5xkmwe6wZ&r=HJ!VU@q`ujl|#8 zwvQ#3M`86S>>q{2qxh$((4%7gDE?ckz<=p%kB`m%w)tP%eEDed=c(&s$?Z}6@%=M^ zKkbPyvTInm+QR;AQj(8`rhhyC8L12Ks5?H2KaT$#ujpgVpSk}L4v(tk-&V$tr9UJ6 zr@hi+&7W$!$I}0@3gVB?{0$Md`NQ%dM}o66%$$*39_HoY;B02- z!oZ03m!*}1y~Jbc0tN{I2pGZ*=H>uDfav+SxtYNbdN7#&!A{Y^?Ehz?;cV>a2s5K( zmom0>fuW@+!HZ!rJoc|($uJHH@KgY z^MMKPUv4)39m4OIr0CEE#t1#UMWfiJk$TUAnu3jsuwNaM>-Ub13x=(kkRxfAUJpQd z3s~$L-jgjaFTHkIz)5nV+@O3j`clmxN;aBCcH$fGYqBYnA-Zq&%FWmu_cuHmibz|un# z5b@DPI%UU(hV{aiFyQEy>PwH!D~{=wUY;H^tUh;S-cm)P(Oxe&*`IEB@Q#4iO~JBm zlEo{6g!EbyO$KXe6uc^OYPFyG)#jx|I|JoSfK68K?!`Uxoq#nld$Q(@PlabEh*JZR*MAb>blt2Di*|gWm&AV)(d`n z-b?C<9uX`-eTiMwcpz%PsczMuhX(g4V(EcB%OD|0T diff --git a/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.tex b/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.tex index 5301bc2..afd0e0e 100644 --- a/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.tex +++ b/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.tex @@ -37,7 +37,7 @@ \begin{document} %% Arrowhead Document Properties -\ArrowheadTitle{Eclispe Arrohead Naming Convention} % XXX = SystemName e.g. Service Registry HTTP/TLS/JSON} +\ArrowheadTitle{Eclipse Arrowhead Naming Convention} % XXX = SystemName e.g. Service Registry HTTP/TLS/JSON} \ArrowheadType{} \ArrowheadTypeShort{SoSD} \ArrowheadVersion{5.0.0} % Arrowhead version X.Y.Z, e..g. 4.4.1 @@ -69,7 +69,7 @@ % Front Page Abstract \begin{abstract} - Proposla for naming convention of microsystems, microservices and + Proposal for naming convention of microsystems, microservices and associated attributes and metadata. This is intended as an appendix to the Eclipse Arrowhead GSoSD document. \end{abstract} @@ -95,32 +95,32 @@ \section{Overview} \label{sec:overview} - Proposla for naming convention of microsystems, microservices and - associated attributes and metadata. This is intended as an - appendix to the Eclipse Arrowhead GSoSD document. + Proposal for naming convention of microsystems, microservices, associated attributes and metadata. This is intended as an appendix to the Eclipse Arrowhead GSoSD document. \subsection{Why naming convention is necessary} -System, service, operation, device and interface names are used in -programing languages, URLs, DNS entries, file systems. A consistent -approach to naming in the community will simplify usages of different programing +System, service, service operation, device and interface names are used in +programming languages, URLs, DNS entries, file systems. A consistent +approach to naming in the community will simplify usages of different programming languages and support human and machine understanding of the intended meaning. Different key entities in the Arrowhead architecture should -easily be distinguished throug its naming style. +easily be distinguished through its naming style. It will further support integration and interoperability with -major internet and modeling technologies abd standards, like +major internet and modeling technologies and standards, like e.g. Semantic Web, Ontologies, Knowledge Graphs, SysML. It will further support interoperability and integration with major industrial standards like e.g. ISO 15926, ISO -10303, S5000, IEC 81346. - +10303, IEC 81346. \\ + + The rest of this document is organized as follows. + In Section \ref{sec:prior_art}, we reference major prior art on -microsystem and microservice naming within the Eclispe Arrowhead project. +microsystem and microservice naming within the Eclipse Arrowhead project. -In Section \ref{sec:principles}, we detail the underlaying thinking +In Section \ref{sec:principles}, we detail the underlying thinking and principles for the naming convention. -In Section \ref{sec:examples}, we provide a set of example. +In Section \ref{sec:examples}, we provide a set of examples. \newpage @@ -129,21 +129,23 @@ \section{Significant Prior Art} \label{sec:prior_art} A previous proposal by Paniagua et.al \cite{Paniagua_2019} has not - gained attention. Thus we here proposa a significantly simpler + gained attention. Thus we propose here a significantly simpler naming convention approach for Eclipse Arrowhead mincrosystems, - microservice and associated metadata and attributes. + microservice, associated metadata and attributes. \section{Foundational naming principles} \label{sec:principles} -The ambition with this naming conventions is to provide names being: +The ambition of this naming convention is to provide names that meet the following criteria: \begin{itemize} \item Names shall only be composed of ASCII characters. +\item Names should have a maximum character length. + \item Names shall reflect the intended functionality and usage in an - SOA architecture + SOA architecture. -\item Different style per architecture entity +\item Different style per architectural entity: \begin{itemize} \item System name: PascalCase \begin{itemize} @@ -176,25 +178,31 @@ \section{Foundational naming principles} \end{itemize} \end{itemize} -\item Composite identifiers like service instance identifiers: \\ - SystemName $<$delimiter$>$serviceName$<$delimiter$>$version \\ - Cloud identifiers: CloudName$<$delimiter$>$Organization \\ - delimiter: ``$|$” is proposed +\item Composite identifiers: + \begin{itemize} + \item service instance identifiers: SystemName$<$delimiter$>$serviceName$<$delimiter$>$version + \end{itemize} + + \begin{itemize} + \item cloud identifiers: CloudName$<$delimiter$>$OrganizationName + \end{itemize} + + \begin{itemize} + \item delimiter: "$|$” is proposed + \end{itemize} + \begin{itemize} \item Examples: \\ ServiceRegistry$|$serviceDiscovery$|$1.0.0 \\ - TestCloud$|$AitiaInc) + TestCloud$|$AitiaInc \end{itemize} - - - -\item Naming of instances of microsystems microservices, metadata and - attrtibutes shall follow the naming convention of the - applied standard e.g. ISO 15296, ISO 10303, S5000 +\item Naming of instances of microsystems, microservices, metadata and + attributes shall follow the naming convention of the + applied standard e.g. ISO 15296, ISO 10303. \item The choice of industry standards to be applied should preferable - be possible to connected to the Industrial Data Ontology (IDO), ISO 23726-3 + be possible to connected to the Industrial Data Ontology (IDO), ISO 23726-3. \end{itemize} @@ -204,40 +212,41 @@ \section{Naming example} \label{sec:examples} Please find below a set of examples for the most important naming -siutaitons in the Eclipse Arrowhead architecture +situations in the Eclipse Arrowhead architecture. \begin{itemize} -\item Microsystems name - PacalCase +\item Microsystem name - PascalCase \begin{itemize} \item ServiceRegistry \item DynamicServiceOrchestration - \item SimpleServiceOrchestration - \item FlexibleServiceOrchestration - \item ComputeOrchestrationSystem - \item DeploymentOrchestrationSystem - \item ConsumerAuhtorizationSystem + \item SimpleStoreServiceOrchestration + \item FlexibleStoreServiceOrchestration + \item ComputeOrchestration + \item DeploymentOrchestration + \item ConsumerAuthorization \item Authentication \end{itemize} -\item Microservices name - camelCaseal +\item Microservice name - camelCase \begin{itemize} \item serviceDiscovery \item serviceOrchestration \item computeOrchestration - \item simpleOrchestrationStoreManagement - \item flexibleOrchestrationStoreManagement + \item simpleStoreManagement + \item flexibleStoreManagement \item deploymentOrchestration - \item consumerAuhtorization + \item authorization + \item identity \end{itemize} \item Metadata and attribute naming: camelCase (which in combination to the - related Microsystem or Micsroservice shall be meaningfull) + related microsystem or microservice shall be meaningful) \begin{itemize} - \item Metadata/attribute: timeStamp (of what should be possible to infere from + \item Metadata/attribute: timeStamp (of what should be possible to infer from the naming of the microsystem or microservice instance to which the metadata/attribute is connected) - \item Metadata/attribute: softWareVersion (version reference of the + \item Metadata/attribute: softwareVersion (version reference of the deployed software) - \item Metadata/attribute: compiler (which comiler and verson was used) + \item Metadata/attribute: compiler (which compiler and version was used) \item Metadata/attribute: compilerSwitches (used compiler switches and value) \end{itemize} @@ -249,24 +258,26 @@ \section{How to align with other standards in use} \begin{itemize} \item URL Reserved characters: ! * ' ( ) ; : @ \& = + \$ , / ? \# [ ] +\begin{itemize} + \item Not to use these as separator in composite identifiers. +\end{itemize} - -\item Not to use these as separator in composite identifiers. - \item Certificate authentication method: X.509 certificate common name allows only: uppercase letters, lowercase letters, digits, hyphen (but not at the start or end) and dot (as a separator between domain levels) + \item Certificate authentication method: X.509 certificate common name (CN) allows only: uppercase letters, lowercase letters, digits, hyphen (but not at the start or end) and dot (as a separator between domain levels). \begin{itemize} - \item To use kebab-case in certificates and transform in code - level (service-registry.test-cloud.aitia-inc.arrowhead.eu = - ServiceRegistry.TestCloud.AitiaInc.arrowhead.eu) - \item Not to use dot as separator in composite identifiers.\\ - CN represents a fully qualified domain name, which can be maximum - 253 character and max 63 char per label. (subdomain.example.com) - - \item To apply max 63 char rule to the names - \item Semantic versioning: $<$major$>$.$<$minor$>$.$<$patch$>$ + \item Some environments handles CN in case insensitive mode. In these cases, one can use kebab-case in certificates and transform in code level (service-registry.test-cloud.aitia-inc.arrowhead.eu = ServiceRegistry.TestCloud.AitiaInc.arrowhead.eu) \item Not to use dot as separator in composite identifiers. - \item RDF (Resource Description Framework) for Knowledge Graphs: Reserved characters: $<$, $>$, \&, “, \\ - Not to use these as separator in composite identifiers. - \end{itemize} + \item CN represents a fully qualified domain name, which can be maximum + 253 characters and maximum 63 characters per label: (e.g. subdomain.example.com) + \begin{itemize} + \item To apply maximum 63 characters rule to the names. + \end{itemize} + \end{itemize} + + \item Semantic versioning: $<$major$>$.$<$minor$>$.$<$patch$>$ + \item RDF (Resource Description Framework) for Knowledge Graphs: Reserved characters: $<$, $>$, \&, “, + \begin{itemize} + \item Not to use these as separator in composite identifiers. + \end{itemize} \end{itemize} \bibliographystyle{IEEEtran} @@ -283,7 +294,8 @@ \section{Revision History} 1 & 2025-04-02 & \arrowversion & & Jerker Delsing \\ \hline 2 & 2025-04-09 & \arrowversion & & Jerker Delsing \\ \hline -3 & & & & \\ \hline +3 & 2025-06-24 & \arrowversion & & Rajmund Bocsi \\ \hline +4 & & & & \\ \hline \end{tabularx} From 04195f5227f08c57c57870510c9257b6449ca96d Mon Sep 17 00:00:00 2001 From: borditamas Date: Tue, 24 Jun 2025 13:08:01 +0200 Subject: [PATCH 2/2] Corrections in Namining_convention_2 doc --- .../Naming_convention/Naming_convention_2.pdf | Bin 66367 -> 66380 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.pdf b/5.0 Draft/GSoSD/Naming_convention/Naming_convention_2.pdf index 3b3abccaa2160d5b6f719529236a30577731dfe7..62b56f2e5423d31e42b332f6a3d9d151b4db9281 100644 GIT binary patch delta 2358 zcmbu>`6JVf1Hf_9#)C&FLiE@)*A$y$=9v5TC|60c*kO`uJi;a)L(VS`o^qEviLp%d~|#;D3mtR2dzs$Yoky|g1#OBZES?s(;^V`v`{`i7(Jpc z8c)*F)5hb8XdQhNnxsWQH!Xoe!B>Lwz6Xrb_e29^WrZA-eV{s1A}QwAARiHLyF&nj z%vCTxh|wA*yDua2P)^#fWBx+f1Tu|MiCb6|(}vwcAd!-2?br)_?x*?qu3tQ8Di>fs z;Mdpxi~27(P;Eu{#%b?Xe8w*%sbUXVfiyyc!jF7ot?|V86g}zqG=f*P^YdHRt62j%cHUiI6BntKQ_M! zNr5Q?rmv^DUn;t5aJ=wI&LlKnMc;Oy&wgZav(B_~=t#w#ov`?##=V2vJ34u{{k>zd zt%CH;;luBO&2`hQKqud}eAR7J7|q4n&yI)?x5mgDf)kFSw4lzuZhM~PLr;PF2}##1 zA0XfP^m)6;!nw$LNAgQ`Y*|13VaZ^+Rp}~q`J+W;>zgAXks_uh-UP#hdC%k~TpUme z7jBBXsMa%ot1Pam1eGU5D4Lttd3l_Gs(1V2^Kjed#Q6S}bd|3lAKuI**xK#f!5A@H zMckp9Xw>Q%cNnH_T2b5l1R3HuOGh#7fma(;_NNmf)ua?Y`;#1d)rCFb-{~AO32un)93Bm0k9pLt?;(pWMIzx!pQa1{}0 zj-QS(FgW{o%3|EC1eZiwk^WgqDvW*Jm|JVzh?Pl5F&YZ;5D$r3*A0w-jeG!v7thOY zlgzEoGiMrVrBq9wJvjN+!{HocSSWw}J9+w&!4NbjZp(jmZ+dQxWCAm~FFpBHYb{Uz z%{5L8PeXo^=XK43Whu+4&euY`4kQcWQcFT@Ezb{$+q$?j|MSqE7q!$^Efg8WO6MBm(H^GfHz1B06{ zZQGNaX3m8JR91^gs?Mga*T;eUBM0mULzuy)M|CE}p`M_Y&WdzLr}H?+Gu}q!%y=r0 zc_@^n`Z+3F!n4_;bsxMQ+VX{<+?}bwZQB)Lg9-QQ#U>OxCMEuP4-EYHXAJrImGp-@ zpBPSGgy@`WbQ}%X9A%opwxxu_3zdsnoM@hc?vVDH`7f2&$R>H`K26=W$A$e7V`Oqk zb7Gxuo54MgS@ZEcD{X85hxNuUFb*3S(~{&ETpPWw+PMP+H(s9DVYD=yTi9R)O#GCs z?Oa$L{Mlo5R_TGIW>0ulBX3qK{6nIH}BOMiH{9%4fmhMi3ek)6AJ)DW;O+8Zn= zwMoV{(w0u`zcK30mDxpfb72>Nfb%2AVLJ%_HWklk) zs(Zus!oc#A*GjC_wsdUG`FL;+Ob0aUoHGAQ3Jg^DDV0TueS!4dtJ6#g7hMfbUK;Es z+C={t93EzmF2yXn!0SpjpKV#2g!VkHHkvaCGATM)@?X9ou$LE8OwhMf)HmQR9&$HS zqZbAsIr!jrL%{L9RIsYCWneGyG}xsR@{1Z6$bJEK4iPK^yFIsWAkI;**mq#$i8)|Y1(@$NSV%`ja8TZZBdQ-f*@@ghbGP4a~&zyM+|;H z@hSeYcdL01xS*NJ!Oo7`$5n_2Bi{qKFga9@4wNnkXD&saJ|gp0x~wzzPtzl)TTD5M zOwQ1gemIKdAq!oZ=TnnZzKxuL2*HIYEX%8^ClYh=)2P1M?amB>LNN%79ld>DAmx8C44JXFAx7o>}gT;^Yy=I z5)C{q1sV14_43uL$Qgj8e*C%w#mpAnm^`+f?7Xnz@Pn*;_YoX@_Rj*kl;nM0Ky-AGZIPm`{ElLW{`Jp* zapGNUlg-2Cy86T;^R|_{b)LyLGPE2>*vMW<{NtN$kO2#UDZ$V)no{7=_3=21Hf@x?#Z2p5ax(nJIppW$rWLvP|PrqBabI3*Rr$>`H^kJc!)@{9OX!g z+!H#?(c>y|<-TW*=gsfc@9ppV>hmXjKaqJqka;uofriLTs5TG@tM)kuxQc`;|8M&C z*2-5+kdQ#Afgc_PLqq)t0dNS!&>xO4AO!ls2vEF%0m95A0A?6y2!W&V2qYecM)(t8 z5R|_G42s4>36MYts&*O>$$QB(XCrhVark ziX0hh6p0fNVLbx9o>&!i4awd`ebUI8Uxc^ryA}kK(ABV{I`%`vDMT zm=%+zMr^p?zv|G`0`6(cd8%F~U7k{WhmD(rBU7jg7k}yq10)e}ligmVfNh1KEzwwY z?UAaa5GA1hsT-tSh?3GbO6+&Bfm<#owib^Izv4VlVj|Vvh7Kf*@l7gnwy$@tQ=XEJt{vyGrK(Y*NYrig<*D`w&MEcc>l}SaPZHEQRVb- z&i(IheJoQP&)xKCedUZFRPkIXIZ%?sPUu5ne3x^K6SY7(o=KaCenrdmJ140l#UfgQ zg__nYv%Ko}t8~wn$hxlAjGfjUe8HG9lF2o0HpeGo_rS9c;7cbu-`k`7u3@wxy{N~M z2Yu=+)TZS9Cy>tdcU}ng*|gvylJU)G_a;#1L!82IA3!pneZHJ)f#Ufr`!kk0MU3^J zYQX*+`Cf8;Q)Fig!X4DPrM+CYOmqu7>e&mov5$)wC^VzEW6Rk-jWmpEv`f2EWtP=E z=A3xXe9kjOn~NR`;-GTNw#>{pCWMVX<5V%ua&UKQyp`$@@`qy(9a7Mdx;>#p%#o1H zUKuUN#E^dV>ucA4KB;>(R$#9w$c5qCR>`lA(Kt9NKNVJk0uM|BdOZ+*|M zk7Aq7!k063M6XB5&s39-F}l44b_)YzG>er(%~(~iE9;x4O6k&m+%fOEnb|f}!j~du ziy8M~Pn-^$e%kk0tR~#CaR2M*1b3zYcMZoq5%MNaLeuO4Ig&VTJku=}o7jFuaBwAL z;LpnR(v7;?=JMOIZ=h+rc|w+B7;i)E<|EOKE&lJc4EjqQE3PoW1(C7c>s!i=$2KTe zysj@3ir`kQIzHLae_*<6`~mv5fZO3+%`}MkzRJ4(a-Wo^UlE%(>Vmg=w6ayS0}Q=i zWbo_e&M~pUQ~?g$yZ-s|rAjU5Nx49Y)^4kl!#Cg;%_sR!tEXs79Q)qN}jrrnI)A7SO1E-+$WS+XuNt}93 zBOOZFqRiSJsgwiCoyF#g{$3-nPci8u*85(xp6D-)M8uCk$t{m{{=mI@%HhVParKVf z-TfDXLe{TuDly+5yY{~)W2$QH%QW7NBUr&V7QA)&@5pBq@_8!kd+&(B|a4 ztzLsVjV#}G(8e)mYK*|1cWrU2eu-0Nl9oF-2a9TPQ+2#_zneXuh(|jfQupS>-$-O> z-81LNT(Hx~C_!hCxS;KnYd(iD@qccIj#vnj zI!(9OjGFHh#8)_qpIN-D+jItd-ISa#JbmGxFGcY;G$RLg|4`L0y?Fz|ZNf1gZ`)s6 z8=G+UdEla_)55#<1L1Re2ESrCJN=xUL&X-Q6 z#6xrEF)+qr-V;@&^ZN!iIJ(TZr~{MSV!}A+y;wqiYoe0hEnYUG{$t|`D7#thnltNu zI;8h5?6+)kcj1znG_yvH%bzV1)r2!!ZU)sJQa6KAHcXC*BXfcE7^iJqYAWfLbM$M5 zvR1o%+AZpsbsF-d%al)+igAI}@xmnWU^q#Gd49@A)a-rlzGc^jXTF+^R&TSz0`mC` zC`(&*C!Cj>bSKSP$?`}l9vf;S_-bf3N|s9%*xE9PM~F$1GfNc{SD&pdaz4Jzk@#k4 z6jmI|dZ+-n6GOo%G3RK^!6+Hne2dPu<6!-pzop)ABj^mJpQcE z>@a;yj#9LEds-3cC=A#5XH)h`4)l>Bw@9)r{CR-AlT-Q<`NL?QEt03=_t2->Gh?~U z6Y>rTF>r0TN~RB)k~;EgJ}1`g^cr;&6$8{^ zOgGaX<}IIKB2M~;2C&qdr^knu7b6%n9Bv{fm{ShYyjbpdi2?bDs!7PuDr~f{MJ3k6 z@et6028jf97WV$j)syP|KO6*xl@`ygi;0QBDgGs7RWG*{=MIjNbiL=_wQkfmA^Z>& z3