From 4a1bada8bacc8dcd5e23d826bf51825c9df19316 Mon Sep 17 00:00:00 2001 From: Teque5 Date: Thu, 25 Sep 2025 13:53:15 -0700 Subject: [PATCH] implement semantic versioning --- M17_spec.pdf | Bin 575962 -> 576012 bytes M17_spec.tex | 27 ++++++++++++++------------- 2 files changed, 14 insertions(+), 13 deletions(-) diff --git a/M17_spec.pdf b/M17_spec.pdf index 3799e246716fad347f97dcd73ba7866093947c17..b2b2286bc98a4d479726508c1dd3c6d82a7b5efd 100644 GIT binary patch delta 12034 zcmaiaV{j%+uyt(P&c?RQjgyUS>xuQmPB!+&w(V?e+qSK5-|yc4_s6N}I^8`p)zvdo zGd*jG-Br1)b{PmF(#rh6)>K~lfU<7^I2*$(mFQ7C)^`8#=+z8#z z8ZXq~F&a!dPb}-h?7mQmwtP{41WKFN@Z@a=+=?fA3}n?3ie-X8pNv(L#N&yDRPy@( z!a)vF3*X;aM4wKK`~Kt7MUjy6CBn1R@(Co$WRdgqX;^(i2i_x;ETpOj8mq~!m`JVp z2l*Fo?TFC0TA|+xOn*p$k_FM`Qz(c~krHIPe4PEDQ9R@&?OeOUaHOM-vpox!ig@!# zf(Tej$qB0Shjy#Mu&0-K9-$vDP`}BGRQQ7=*z?^0DJU6%sVe^Q1ds|^P=G9FR@`A^ z(hd6dHZ5?u0J>7utYvt{59)s*?EV+Y8KDeM7Z>GqFGQg zn~ZikLSdA9v}8{kk`pp#b!hrgvMF(96f)Ul&B5L!mK&TFy)$b}@Rl9v`1lGX80Y>_ zqoI)jU(1+5Q?+E@Hs^D%n6yY%2|~lHNa_fQUh)i&nb3EC$gol{N3QYWDGOXPQSGih zxJL^*-wX)i1))1&Tv1`Q-)fFk2M42~oq&|pTxZf^$8aDUW(39;JDP5F?oOtQxnH8y zl9F_$0_A8`Mko#WKm+*b1I;&C=C)W0DqBre!-*4U2{Y0~oo7?&(yuUDy*3_@ZPxbc zx905K3C-ggVOnFao<_E|br0JxT&2CL5ON&QEgh+o<|rzl7w7qy#qW8o5Ev}8$7sAw z_F~#GcLIj?$KX2n?Z?jabR>=xh51@w>R-tixP5fb& z+7V*N`6vxs$Q6g|XFZF4`EAa$i;f_JlRs{)c9_yS-f1Af{xevIUiwQGOEj zsJr+FnIWVz!Fgvv+~2ozP-7M^A67PiA6ZM-*Sz$ruBl%1zBZ?ie*Z) z>e~yX`Q#*d+I zS{?TilooVdHZt53qWO^d+sWTAnplQ*os(Z+m$>gM$~g1$KJeD38&)jGulS<<{gQD^ z-uTm@6tMoJ-zYHEtxdVLMwO@vUl_2q89p6V&)kY52D!;_ z#H;f3xOHQXiip-+mks5I@?_9t{OZGxXhRfXQ_ zV&)_0PRBbw92Z4iF2p2!GPU|aR=H_+`zsr0_chwMkC?N)OT3Rv90HKK8&(6uATBVI z0vvc*y5~q`r9iFx!wBy&BvUVWV}p{5_>-H8(*%tl7F^4|ml_3rA8qe@==uJabEyh) zo_IBkKJK`uGD$e%YMzaNhGBiRmyXcFANXiN^nqUC z2`_7a@TC+q>?#SFC2QPK-I7)%X$bUCUjb^mim+i8W_(r})+tY%i2(T-v*1X?->er@ zlvHSQNhCp;M$x0W8wd)^w|e%1kg4>8G>ac4k~yPnw3wyw5XIcn+{aceeH7rzk^ta& zU0jsAVnvudAS*z`l7daPZ$c;e(fp5$XaOLy z)Ho|niO~&ihZ7}3QPNvu=i_a?l$a@Y2ZHh!L3Jp1MmSSy%%UzkIxdR_oQ6FP7ZhaF zga?&IrLknl8tJc*V;swg$DT}TNF6XH{>Tz@no6V;?Uv)*CW%};b9bjYc(Ft)Af z^=4hWOl$WnOHdb|>hZuWY;(S1PlYnl50ZHtRUR|lxga?cxq}_EGAP;uF{Etze3XYI zZl3^;ICE52971t%nK?Q@oLSIOm{qZp0Q-+AnPSiY7+rU08B~U)Mk-=UUL|1It%w4} z(ce_YWiqjxpB%M(8r*gF8#u4^YWr@F=4sZoRfZ38w9P_MVhmFSP zZu|E6Liih0uPm3oz%BpV!hMzFM&|yv*gWJuBBbgf6_i!_&e(eepm&WK6hCL6inzJ0xJ)zzqrcdB{WiL!oD-8&(C3&QHdOomof7fe>mrddhqW z?WYCJ(E#pfBvCJ1DnXYvEFEs{XNqNR`jZTmETTqFt#VjRcq89owV*c08>udMLoOf#hV7(0;1%KWgLv=rQEHPJNNfq7m2+QudoAP<)QizLBAVK5KcxuH%6qPDRyVw-y$pzW5?&-6>s|{1nJ%?p&~ayd1-N z)9~u(yKnPu>43Hom{=e#0kswh2RNNRm^RjqvC;hj%WImZiDT3l&Us88K_oLA-RS)i zLA|fQ(T+lxjJcOL4oB^Y0qe2@AFaBF2sgCw;bqn24LjraV6-UBkVT6 zMQVT*=J6xs=0E4B-khdSt}I@JOj-A%IEgSMlXp#OUv9NsAX>BZ5RB0Na?W!HZC29^ zu>a4|teV?V@BYT(FZaNpCM9xwykt8D5VXV;b-axU3$>EW$L|}J%XaJC5vAq6UnNxx z`)dT#dYWE64+R9P+wL9Zx^3@k1J|G3A0UW@UNhDj8rgvR6RGOv_hQ5arg5)sm*m6U z{uTxu!`;9_;HGoSDp0>Y42_9>(~gr(cHSPU&{ku~u4yDIz^<#B;M}2*#H>Lt<(teC z6nP(oQdiy>HRALX(m4$fIM=2 zn56H;bIqxbj?XBkvRBQy6Vy3r{i_N)nF~gbf!$}|YPLxH-7ZR>_}9>3DmylK1ix6^ zO_`qk(_}v(a`U?LW$6-=qg{FZW6Roo$6q8R$k~NW_rvBGD7w8rk=lQ7Xjm2->OA;N zx&ULx-??kkM1)_cDpnX`l#fyo^(I^9o&KPX^&OX_OIBv zLGBc=*DZFI_x7r)D9hbI1SVPcw!!Q7ys|IQ-_bnQ@mm5_$2YLm=RKlCVCUzb)tCI+ zcCQPzVBnQh8w<+zkKzHB-b=19Q+I``K5!mp3@Wu<<#k%6P z{^!fv0N)LD67uOL)3@)wzy9~f=@pTn#^5h6K2?6#k`>|`)AtfB(m4$W3oT`wKi%sa zVT1=c19i~00f-o0{Y2y|0tYociKd`TxAX{0=?76}dZZm-zTEU&?p(y=2v8M}M(8X_ zz_BP9nAT0R+7bCalpW8hL3rk&DSSx!C=fEk;Ym?s5I1B$w|aOSCPSyfJO95$vKsHj z6;6>n6O>qNtacNqTdy~)**5*fA?|RY@YfK*f}QBhZ#Q3d(RDX>U}JQMX0#V@>ECZ< zx1?uOX62+=UeO*uhS-lF)yGz8E?$Kbfn>|p+F4Y>t;{_HxxeqmN#97m^}_3Luxks{ zH_8VG)aXBc7={ECz+uIOJ99GY7F1frrw1E}u|bmlHHVXgnZiJLDD78cl0({_1>h*v z!a^P%hfC=JU+@rMttf_>dkZv3cSs=_R$w67lQ4`EXu9}n4-u;W9K_NwGq&!t0{bzq z(hOy>CVKEf{VDN3<_9P5{LnKCc?wXS5>t471bmnJ&Max?7e2Kl5 zS6QYjX0zgOGSO95-Q4{#c(b2v24af2fvs;dw|82t>#tqq%OOt%qq3>m^wB|?+t7}- z#685)58GRF8?!QGq^+-K8S{BRc7u!flfK@uTIEj?rD>QA%19)i<;lX!o3hwjag8A&R%u>xM7Ar zm@xhvL=o*BcEg~c`^<`Uu3)>Bq0T%1G>oO=K?LvSFw$9J8fJbur_y|-mb?5|P3t`{ zKoMy63Z#kD3vu#044O{H0|JtXJhID&QUs%^JKMm(j|6F6aG*Gu7T9%cBWQ|O15fi7 zeljY^? zFXs7D0Qf`=8FWj$tGNGke=ZQpz0+x_>q-=$bdcf#RP%w{TPwe81H}_{1GyY+!Zyce z$VbYq(Ke<`&!&&3Ibd$omRdlzL)?@kG3_T>3#Gb18MRIjcgCCP-2W8tqQ`6U_Pd?H zJFbAWW&gp)1X(cxfNt+b5O(+O6Z;H-lXe;-4`r`tA#Ozcv73%z*Pw@bLa+O7fSO(# zA_NujUTz{+4uU>~0e&G$Nod8JZ?t^YezxM{)c4-RnB5@T{qpR!zRL9JovxJ+QrpIJ zS&&#vZn{i?i$NrS?XVnHuhLoHk*J=F|8o8lJ((78zX`P$psxJOzubR8^D4eZFi$Z2UOG(C!p9s#EPH%OjGeEyi#H;W*WWi&u^~>U_ zj>AMs!t0Nv|6@W6(6)#jrw9f zV@J8CbIslr3((z(->xkr*Vv|qx%yGIsCjAk59|+8)b&njID-ZTX}hW3@vdn#j~=Z8 zB(>~u~jI!%yD5a0hf;=A6Yvm(F0iXMTc-@`O|i}259x3w$CKt?!@yqq%oLCLg`8!&@Gy;iyU&-C zBdzFJO~8sZIGz0rl!Ld)jdF)5;i=iYJwM>E+WY*+&s#{&t@Rp6scwdjxp={abD@vT z+HfuX-;RWU%wUVF z#ge+Cai$cX&%Ui_V5{{SHr~lLpf%4ieD?^iabi={SZ;lTWU&-`1cW7l09TeB&q35n z&wk~s$X1Mtu66?Ss~|ec9l2Pr!H7uSe9MIBs4<16e5?MD9Z?{g{@@OE;trSrCVDJN z^iGU3lrbP0D4VUL6WWpc*IeS|{1iv2N<{5}~apXvkCO+G%fU|uv%DCMrAvXGg(%heR1y!Pdo$I6fbal=oKXhWhU+}2N|l% zof$oUI*y9o?KwUV>mT=M1OY-H%zfJ))L@?Xiz-0=_y96wuZMz}S!L5lT=qikuC}NE z*e2+|btQHPOq(4r6;RJZ9N(|k-@?KUSu`TKyL;x#si_vvqenBNM{{(#Oy$#U z8MT60&KWWIyN5I2@gZ*%)}u|-Zy@g+)sqtG(z&_QC~oR|G^xdT+{)wd(v2Hw|Dn2^ zJxfWlsl|19S}d^HSd#hVGM{a~HZSj;fxIJ>wk%*&PH{3A=#qbSm|eEF9QAuSYH1z_ zS{g+#4FAIgX;4au5mNk8?ae6qdU%Z`J6_D(Anq?sKHN6CJSX!D%9^keI!+LW$4>{< zTWR+cUSA9T^TiMW&!N@f-O zKH^wqx;`rd|1pTOCdTGzKXm34W`T5%LDB_5!tuwLfBh{yB&~};wanMR$$ul0TTGWe zD!sbS6RI$wguELi-5OE9ST_eiv41iTA>*RL{`9B8al|17H)}uE&+O#(m!~M$qs9{2tsG22E(aDV`!eej zf=SA5rJz#Bw|J?sWkr&_vkNZ#u5uqcId3b9T`Kemiw_X}wiyn;c+Lyp?Q zV6*zZ{pjVS^gNG8&_Hj(V$$mVnoDTycGIC^aq*5={{Hpe;@ipX@;K`E}7*k+MAi(cMnD-jmMKufE)Yg8XRCxn2XsjN0uTPIU0nA=Z4 zHctIF&g|ROqD|a2tQVM+!#TeCwHQ9`WJ))b#$9B1Czhfh{d=&P+@=3YD z*SOZfZv5)LiqCWs+WAPNo(0aQ;%S^Us%2BCzc=WvB_e*+4dqk@W4}?1B^EhPbI&W& zxRWT!&c1ruOl}O;!oU{Dh(R1@^;2X~uCsdPs(K>DF4g3bu@-o#cw;;`ayblw(ZO9( z8cJr2NQxf$5e|XOvvC}yh^HrJ zL}-Kq*Zf*JM*`Gh{RQJ2B~YmoU>^KorXnXec*R90*vB61 z0(V=qK3!HP=q%<^n&}*DVBMU9w)#|I62ja5YexCwVbGnGOkydMIaI49ZBaet7hh!K_C^6mEytIoU=VD5A1$m%rb zq8OM!yf3s4=Pevd3GQ4e1R9$c|DK3Cjh@){h7I~(`G*#$2gsDZ5agv$l_daR#B?8sNNr%m3cJ9BuQu0l%QULEVb2z?b(wh@zJH3 z{ikQPj;de=2iJR?k13*m0cV=R3WsW|{zmXE_1p&^r-!M-kTh{5weR?_rcp6WCIe;z z+cRn<*l7&tt$*yRuyI{}1TXf=h*F1aJoG6VCW}A%9)q;cUG&L{(I+ade9&`xCqK&9 zNR`hVRevjP)lVH|HB7go$Z8JF{CLS*W7EIIYKc3EO8Uu#zq<>Rv>6rd(9cV-6iEl5ra!b9rA(6)k#+3Q_>$ z$O$w{z%oTo54LfyvkXsiT*kW!yAi+(>2)9@&COjIC+iva{*mwWvS@`Nf4C0t=H_D~ zNB#7<`gk?AMi0|YuUYCXS;Vn}QBUcn#Cvn^K07BQb!jw0;~w#i$^-ZzORe5~C8<#m zFqVnM<0L{*5U`0!S;i`lvRFriC4(J^Edtpfy32UUR9iWMbD-GKPR9;$Dw%c#O`3ph zWkA)ZffUU@gDEp74eneHeh0Q=kX??LUZqgbtncw@UaG|5{n1-FTwG70JwJBKH`~r9|~?Z3F3d z^YCB-&qM=}rXT!$fc=ji%gwRg$BO1`KIyCXTzwq3_ zkpwD=CKqi5nQW4HqnXQkHn{_yj@2YnLdsaFMwKF9*y2Bsan)eVPk)_pFDQXEq8R1# zaEFj`IT1ywO0-%1ey?-L=T1^0Q~=&h!m>VfzfQBpzDiQY?Wic4(aJ%#g?9B?L5fmy zL|n5zV0?;wm$C=c2#yMsjNp6%5{L|={B7pI#KTL(DSpVIgYU4YM$2YXiiPry#*P|t z>=fkqK?-T?PV*H7#0GI7LoOM#?SYkoeW^h2nvN|w0ko#owxPJ>bm}pnSO+I z(v|)sjKcI!4Z!eQcRhrwh&)fqJ`sED_A3~>T>&dGr!VveFgTudDBz`}YO1dlGi7d} z(LK_zxXRylDuH{_e~!$u)B>&GhXV;2?hu--uOc28uFKsFXA6wp0kgHUrBX$iIB>Su zyP~z+20ROtEouH6NuTWux$TU`h-OY5Rqj{1lzNKho=lIvkj)6K6W(v_)svulTPyO5 z9jEMo zWgn6$S6uB{<303xVOS&)P$Y-JUPkJW!nV8tgV|!R>(xaA^j?bnayQKu0xu(e0-_gB z02IdwdTZAZo1obym|rP9F$^7BlRWkz*=QyM(Y@V?!-LJ29x1!_oV;aMs8IJ)H_m*Wgo$1Pw@VY~||oS4a%yU}^|Hpa)K;D_z{BQjU8V&oC&-9o+n zCjf&r6C}sPR03j15OlrV;a|M@`gk%w&t6bnaD_!8X=Q!B5rO(m18kes&+w-XLje>^wkF?-n_ ze(CwT`|^|8%iLtR(Qj(TdW=TY(h#X)klvU(8e_x*5wZJ5kuQa5h2LC^F0FSWa;RUP6_0X~f@puqUs*JE_aflrRrvVS!TfZ9^&b`hhf+Hev4^ z3@_#&D)f~!Q|nhO%5z~g@9IaWys3fg;grbPuPW&6w1s|a(SrGUD0X0TV z7SxzTUsbh=PGVe3oMX?Y8;#yNHPaU zQBcr-0Q(2yYn z9@hU=w(z#VoIxtHN{aGuigNOBF-x#Yvh%PobBjxgh>A*x^6;?mh=~c3@N@rPCVFs8 za%T1xE|w&0%skBh|9(!H=54!ajyv>8lmkd8jyc!OJX&M7%6MXzUvE5RkY}>WEIbvE z$^2mls8d>HCtXRy$wWzWnk{B&W=*4?oC`*Qv0B?<61J621PLhiM8Ih-1~n0lhV7gA z>mSp1bG<4g^y(`}O#JShbA5ll>;(7RZQvLg5CG-~AFJv-;RIabg)G^z8*6F}G|%-{ z7g?7rO^mYSn{7r(5yrJ6))q3tES2PoXij&;EEU0*Iw#jfT*{TtwIi#9BwF)q)bDTV zmFfsz64Qh}n>C;1MC0_AZ2W1t87!ZRdr7+n)$f`Md5Ncuz3Vj-=|)(USc}+Lz>x2X z0{6!fRGTl4F%D?ZhLSS#!1nnn*~qF*muKIJU4A=(vT4s?T(FB5=}oIRRdLLq{ZngL?Xm_`-s;AA+fiE%^47SIsa zFTlpFSH^i-E(Y%#g4r=-TyVoG>;}XeO4#a0GIa9!r$3zP6jcPq)}x| zHZ?P7jx#W&;E`KOq%u=)(|iJ^TsM(4s%T2V!qXcaQdZUnH)R~yjCb#VfJ5#Cl2He+ zmV#9TV2uXzaOEsdmrr``X%SX|HuZwr1R$RY3s{20A2TLl9f&AVcUCShoPuTKo&p0YfHkm?vNm9)Jj_G9A?h z_W26K4S^H{e&hpCE{P8Omy|f*!+o%hXwgBi%&-apG>&*#pcZ{Rjzqd3*nRA2pba}{ ztq4cGn9Rsny}uk0b)lmSVd;Y~QIv>Fb6Im)%i%_#r6yjN&hcCW;L2r~5j}vxSp+JO zA?F~jGSZ}IPyTQ#u)qhf9FxTheEMUE3 z$43bM@Epkr)A6@PiHwNjax2wfDjUHWi49ET?CL#;DAB+Ma{L-az#dFgDJgob4D*3A2GIcYY0r`X z!oS8zq%=T&MM=HxPNv_lA^nje#V*xdgwy0aj!EUHHBNc3y3!k_@wxgW$bm-g`W*@o z<;TF9@O&ob{r!k~myBW@RXa5CRT8lFVS#+Vp1I@R4g~RoWf5DkRPU&~uT>0Z5M4Z3 z;k#hBS*ucB6|Gri5N1+Y94ll|bKSI9ia#}taRZ3Q_JcNj&EqKzR^`MOC`qsbh>j4E?mxD6*Y(wPgDEusEoo#$uD{Ir#+&>`_mx48=Iz^wn< zkg)1-hIzM|x_AKi_C~w0Mj9rC$F-V})*5o2QcwSU^7rejpVnN#l^KRDZ{kv5Sq1Fq1ME8|vB%{xF>8FIP6$&9AG+m66J z0_LO@C85}snYy4Z_>-Yto&>^`vOZsVSUP>!X3$St-yE*Gp#_p^_tHhH~Uxl zUp6@-*|I%1T%Vve2NC-Fw$#HT1Z)~21970d`vhx=2|%Fx{w;sWJ|jm60?6TB9B!nQ zCAzhT;Xa5oh>~6mZp0}NyXf{9T*s{q=&N}F1Lo(WR2LV>iH!HdFid?`F8k$KS7wJR zcqvRqe;dOH?5Mkx;}4B#OSK%Lj9N^|Su$`);XQJ}O|q?a)aLN=%9pL$De{V0AT7Ya zSAo<#yjD0El8he3C;$dtypXS)>p3PtVF+5895}@<^%iW+`OIXnOdT7}EGGU`zzNvy z%mejRKg}$g-)QlpLDUgXBi-Z4w+DRlp{Jr$lA^ zAKib{2@ZhScJST);QM``m_Ug5fNynKY$Tj#Z@&|MKmXJ<>yKsCTrU!S1CE@Vip!03lrVqg?0$2QOA2|{ihr|w#GOMM-h}Bvmzq0$oO9) z6kBBMI#{O`jc&s6cM)`0nnf~_MWr&fLc8)Tq@u3ezGbbw7IoQ3=<*BnyC*VXo&j`y40@po{X;a+OpC=3ZKCkq@UrG%m+ G-2VeQp%uFT delta 11966 zcmaiZQ*h_c6K!l;8{7ECHa2!Pw!O*5pV+o-+qRvJy|I(c#+$ppf8B@sb{|gFnbSR8 zJzdpu;}VQWZX&tps)uBl`{16=#$uyBSLmI!Ich!{FvnTmD!<|PLOmTH1Lx8L$xDS3d+B{oKhP&0K? z>R$KM_2A1@B8lC7(VR|(0&@#Yq<@NXt%#H;;wZv*Xwer4RJ(~9<8ANl=hqnEM3uo^ zZ6&+(va05FTRN$JWQ#HFLH&*F$R_5!q8o)8X1sv1s0bcijw2-dd;cYo0hwA-`&`8#4>4rpXBK!uXC^N2GcZ|!k#rlaPuTNr_ll>nhLH(JZL>9 zT25FRYz*)Ld#5c)5lQj~1l~#O8|y(3a$+Me2)C4fpQLtQ^ ziHTK(SCykA#b#HZ{Cz-cC?2wE<~Q+WLK&Q3wokJm5>_cwcFmkWu;fV4__dv@l`oX7^M`%>ym#{WELGk>M4h{vYJ6&Z)gN$Vgl zpX}G@uwO*c1VIAfVo+KntIdv)Oz^w>jl?!e+C0Ihz3!YXZt;O8)!?NIMTC^+S{tn6<0Mjz?`MYg!SO z4v7!RIwccF=?_5gK}W3eo(8GYn!8+pdj+FJ=i^&42?{*QeCQS&2(IHaVb7OYtxbBB zkP_;bDuN5miQnM(?STZfelL(P=_vFy!a#G6fiD}fC!+v`5?iEZ5=W!*yDJ5$tA@Km zi^zz&xnrn`#19ASDvqu@BEORTA#c-IqhV!YqJlT(*k!lQ=AMQv18m#h-p;g@Sj$i3Uuicap1pG&=e9 zOUULrUWlF>0;OW7TaC)929E{e3f7$MyXd>9?VUA&eGd$#WLC|_0GnOgZ#9LMMx1;R z>Y^&wvK`>mBCSjmQ;=f)WFuP7o=+qiK9`6lZIABEpx`kBn>%S8sl-0^$}pp7FEe!M zVE+6Y=bE55CYNZ>s`oyLt&(R-O={<*Vi@5gk@LR6d0CH>Cpi#Bfy#|x@+l;&A5>|r z{sK|ZC_yU57_pbBT;9nv$-S)eU4*mxLUKVGh68A`iP48WY0}a#UFT%7$xYxJOTRDf zLgBgxk-;>S2S)lmL32C}lY(3xDwK-pGUT1da;|rb#aFruOit|dA|yCC(niFJK+=O{ z@qddhB^A>jbODTt4ew#uEdD@S>`GN62yyLN78q5|&>y&w1`ooIZQ_CgOY9!yXD9E$W{KyFVr zY5Z0gjIk41_E7^eYamf}0atTVzgw}>@4z|^-kk|D6iW1*iWqUfLW}l*Ie1kHl?qY9 zqVu**TBmK~WqICaHHjG!!D1uu##nE9MefVln@9X>1mk4cG~AIyeE)<-x63xTBLJ4 ze>vMi?Lk?qEn^)KqZoRW0Y-Q!Te_}n!f&W7n_Eo;1K?N?AkP17Rx^ZCiJM&aLWTnr z8am`2=uoXTsD9L47j~n$6J#mB`V)9?7?vr>u~&axv=O3WB$qEpbhb}&4OkTIT7d}I z6@+L&FW1M9A2V$?De`z!p#-U0!qm`I-zth(Z-0?@7*h5XJN5!@-k;Y?jEAbl(bJ9D zxMx>S!n+@DGtpDOffd-NqoJw{?rzKsFx@hzfwA- z7=7%Tj>sGom1OM)CAkHDQF7`1$2JgPExL45>DI!~<<&%t?(+i}G7`ar5o1lnl^t*; z*G`z$;sz-FpY%-<9BI*|PA1Zz25!Ul({3gH@XmzDvd6~)*bq{Y=#y5)7_}+}c$byG zj+r}NPEUAS@wJR()5jygOZ=Ipzm|Uz#+_7|F{&yR#uw*5|H=**kS70WZo1@E?Qf>= z*y>l#f07E+wY|*}(6CPq5Rtw+?_E&cK!4(WFWTYyGm%cJZUqxN6=5QO1W%iY8!TsV z3%&-XjKQP>6u=sxxIRFPL!!?hR#3oEL{{lhyQbs$>!8|8&HK6U#UnEYQbJl0f6W=e zVE5REU?d2@heXi36*#~gBIkv5Vzh+%atteko<+eAF>)j`Gu|&9kjhXPE#n_#krskK z#kntMl#M?aErf0C7qR-Jnanx!2 zta2lVi=l3wr$0-hv6`TyQAaF=rS%fW%O4@DcvPk~YF%iS!K;R}=ZOM+ujCEpH;z#$tc2KZyJ<-uXWZ-|?+!S1p0-r|`FG!{n< zYLATrqteFXq^3h-RrgXQ(pq7ZX6MHzV%I4;#Kl>{m&boHuqiLWh=RnWmkDnHV!J zbruFu$I8|QK%}(apk$M4Gg_k(%kqhYy#y!$!^h*P%s+Q;YUqP6RzK4rDZ=GkcLCo=SW zcOrYZS2$KCwZuwdxKP|>k@vweVp`g1CQv-=d-jp?u_S4^S32YTB_u22yam#iQdnX@ zXRbJ{1a`)>p-EeUmMNrARbmM-o!Q*Mgc+SNu`z5^45k0yY8D@O8VjOYw1)=Tr5mV? z#8;z@z2=V_m6Pgm2mi(vz=(>jL?|c8CuEzB^Dq+H-27M}d9x7&8oe2y1k5MxYZrN< zNw}hXIk5UwkYIYzH+f)!EOhEN#zcXaa+pw?5Sg3{o)ud0;=Pd!3~jvrutY*0td|ho zK#=kqsiXXE2VV;nRI|Ui!l4qpGUR9b4Rz$+kZc&t{lU{B|Jz3;OC#+c{jXBxmDNk z!qOr2FNo44;AKwGREcbhmhZspgP&H20pc4?baS}sdPL}0MH&CLEcnJC{(AlC+D`~k zo5e+!paGxJ@0~iI5pg!F8i=r=u3rS)Ha1N4zSiFiF1?lH9rgQdT~)dqjkeJAJ-NMv z6F5CeRO#z`PR|tOb!=Q`af$RXUc4;kFpd%Kw%UP9%4E7vZCiYLo*4jgKK0+*)~E5l zcH#Rs>g%+vkh>zZK6bj4_bq0p&baIRjY=dkNQZ2ja?!05h9x4i53t-Nu9W_2s>RD3 z_wmP0xGuD3ZDLUYeut^YyGy^rLCei@f+Am!<$cdpr|#o+;T&C=JodS>+$0xgx6Rj! zxoh%Ve`Tk^3LWFuK|L1GPLz{hea>?SekYi>=*n`kJ^IyTJ494&dx_6yuT7_>^0Dw9 zp`fB9l=IR+U#5At)#_2!SkH&f^=Cpj2M_%2#*xJ?qn>yDcB(CGi+g~jT1pLxP23Fx zfBa;Hg~L|LCRe7OvZH$Pxr}T`L9W8fCf!Ahn!85bgYhcnG5jTfH!**m+`H{5j0tiZ zSZwt>BB92#;g1CsCusG@(e;%k09w2F{d8Jx(Y6 zkG?s)xI@ozPZ2=TcozwEqBqR!~pPs#nJFg*!g(xK)1f3fr}n1S!sAQ`Hky@j^zX+xKxUAp)EN$q*)w`jkvff zxBsY)cXrtwgtuOSd_C;t)$f;LmmOl3eCMA4@riYJKd}}q=A~%Cv)b|h>-=tSZuK4& z8f5!bL}Qu@9rR$Yp{s^6k%xXgx862Y)|#6Z^C>C*@@r0hPQCEQwuA7^?X-{^@tA=> zb;xiYyNn%$1cXHKhVshmgJw@I_ge_AV+%ZTfP;=#ZI&B$Yw6Gd;a7l&vG*fkCiS;M z(}2xO6jKH+&D;-Nt#Xp&B{8(ohHPdy%=_|Oi$IdqB`|E73u|v56|ZH)0u0^f{U@?M z7pbA$iY1irLGw7lksM*QnIgNSk#0J>uX?O&@<-;n9g`9JS_ymg2*Evi9qGaO+O%}H zMD2=sRf7?1bMgKmzP*4KzqlC2#BVoB+JXai$#yc&f!an%Qs)pRFO0O!LK^1=COeZ9 zt&r4VurQ`Q0*v};N`s&Jii3MfDm>52+eJd+V%89_0TueFSai=(R@pm`MiuO)29&T| zZISQdShPDscqdSy{H>ql;#Mow5GQQy&#T3-P=f`Jw^qHpOJdfvIC zo~ykgu}!stN{8LHb@L@ZuCP0Q|2OJynOm`lP9R!7hEXMy&tRS%J{nn1>(uR3IfZ{I zw6C;jWSVksjCQU0CR6Eo4dly3K-e0oglWkZ7=KN7T;G{hKhG*D>ugygeRyKK5pxtW zg-$gSYY3960h9$mHg~3*DP6OoIgxOTUyS%c*3ekO*AOE!2vE=MOHsS^cOfM810gqS zhC`OSunic|Z=_*44qqWze$?al!Ax!FVj)ETxkd<)+IA17xO0R;n0x?X{zZYg33P`P z!$Iq9fcslgL$6ey`9_G_f3n6QUEWvbJTJMD($dqJ2oQ9gA)H%=Y1Zg^Z-#1@Kz%`IQ zM6xi^QnoaQ9Q)^?#x;)c998HS_vTe;P1pIJ7u=2F>yQ|b!QGkjEtq3sV0lS8?$pav zo5Q1L05DpSs0w*oap@*PJWoAD#6dN13-=KtNO*!J!!w~JBYCojcDJl zAW=p>CdAz=vZyiVW>I+z{&V|N0>Uo0Efz$8A3)W(zcVFeHl7@Q5YA-OSoT-BHJ~)c z9IS`9*03}+qDXl^5_7S*t!t)rLx;ayAcuw9h>F|&n=_TS5}6o_zc-7nyjqQS#ao7u zy76`Q`ZPc?e}#;JlKJ}J1&wlN(p^JBqMs{Cqp-cKV{J5sytr4d1!LI4Ur5nyw-F;< zE3xJ3IAcck*DA)eOV8xCGM+nMl5>&eHO1g8C7T-KxA-#pY z#VUee{LNt7%ol)+XJH#otokP6gJ3jpP}`}#TpH@w5fZO>BP)ti zBA;MBbRZA(28>j`>mL^}pG2|=nb(`QX*oEvDTA6r4KG;joi?5O{b`ONd>1uiTs`^) z6?q=&v2RY*%+OnP&s1G?&)76L&j z66^qR$sVoRF#HZZbvCJ9)OJK{1iKOwQLN?GTF}woIrEGynXeHk;zaLRbAa#og^+TyH;Ik>~ zs3qTR8AOB6RmHH1)N%b%r?G)klc=Pe`|*0Jh!ty5Y78`W=&pq>EfQglh&%w@$}Z4q?9 zTws=nIvTf$pe-BcH{ymBx*7~0{mQo?TKZ?BJ=gJ{@LgMva5X1zm<+gSG2jT^7TsLn zrmkEmRXM+qI6C##Hb$l-jS0%>w2)wtrm*V=3Qedrqidn+-Fzr}tCHytwJ186W zBN%L2M=_a3<+S?oXtBoZ4k6!+wPM@>6AD;=0=wotk1J3)k4;8)wtQyWXODxvD_ zcs?PT;Uj9H%N6{*&NCgh224B5dJl^q^|^mtR$fo(1YLzcKm)rTv=E*TE2;uOLI63c z*YBeE1r@V9d{FVXo{p#h_!ijViZXp9mhCR6DwwBH&d=8;Kt#kbn~qFuXk^B*ww9SV zai$Xpm2hwIBK%Z1j-#aXA@@^(7NGU}yM z+&45HW2v=_0}V^1s!QZ>=HduAxbF^um_L}}Snam&tKJ^5&*{zev!n56HEer$L|~&_ zzbNfkIk50tukBph+J2ROGv@N`eLmpRr-1Qct$;TQ%a|Y_i7-m zQTO#Rs(g0)b7!&c#RmbnB^*A7!{>S`X!TR)Z7wy^Lf8Jvkw<&SrT$cNxP{Swc=Ynnx%)oDo8YqU=)q8UdmX zb$ZXxI67|{4nB}x_h=upQD*;O2;AbIA|peL$uR_4Pjr_vCc!)+9oP)*~(X2ricCCN$%5;KV5Lc%0ts0hpOf{9<3o~y#9m9&|C3Yedj26w0Y zOnYXs{)nZPBdBfBUni~+q^t^dQT{tmP}^L$|2jNa0VL;&9SM;PR20<-4a(50;TWs* zhMHBmj1z0yB@CL1bv&QD=d5y;(a`9l&YT^2wWf2Q%n0wk+x3z7>DJY00oIvwdBSgT z4}^W%es;AMX;(fgwV8&(dLJ_Bz8f8%_8)I6O`EkELr#g8lf>i`f{l}rm)7ak!I$>X zkNju|0B0xDM`>9@)n!A~Ip#;(v2;4M@F3`|kxry_l61X1HRhgmJ-nJ`MK}syC3=^$ zsOCg?BD(d7bve4t3^n~uNJre9;UUNjTQt-vopIWVP$bAqw1j+UG!-hv;g@k^@S-ph zVU`Lg)z~zu;ME_&HJq^sO+58uEaxcsoH&3E5VlWk`lv!rI~>=HW^*15oIus#BNL2m z{h|}Z6#iJfzqmtCJA)SFYpeAq-f^44Rw$kWHBo_Xu+65A(e-!hn>3yW+Fv0y_DvLW z!3dLTZ>+=Lc#(9gU08=R`F5_Zu8gLt%r1XM{+z`7L$RM1*ic{pR3rW-t<$2PxY9M~ z4)6?p#TIX?11BeY6txI*p(R^WmLv7`^$885yneV`y4=9pF7b3<5y)c}Zkc*Yi$c9> zavZh!8$^&RPjf(DXad1Yfu}GwVjVlczLoI99F_OJmND(u)dh45@*);2Cu6ym?2*Wj zGREc)vhkBcGUKQpW?2tru9YZa1JD}33xIul^9n3wCcikrYW@I=;CEZ#hbBoIzqgXz z`t{^_dsk!fvh8`V&Ryh2V!Wa=?Y5ty!XqKKM3@&HjZ|VvS9{?f=XjAX?3sDJ>C9+3qLN>$M- zPnX`cHY^W7U#YG!2N)Zi6M?(jRY^m%r_IinY2}6(GmOB09SdsU(!BGtJ)oSh>Wef7 zC5eUKb~60LzF`f(a%R52lQ1_;plLqDzAfWzf=mx_(5co8?lD~^Pt;kf<*uocD{Ov} zptJJq+ud>G#wOb?{kBXJ!iD&4*CA`9(KhSV_TMvF{1R9E#H$d%0wP3mAtCZ9^Y%2f zYc^ymZ_xn}Y*y5(1U^N1#XnnQyIh&p1!DFbP-Y%lPqE4#q0>lATkgKAwM1V6;hGU% z93!tPnI?HM@fikR8p+wa_G=y1{D%aKc}>jYUdw0pyb1Dr}=?4Azjn8;ejR z)au0yykcB)EOe!1g|ul1+l8;_Uc$u)d3$?*2y*K`dqaEIb=F?N`ABm^%nLN`F^)0P zo*$g+o83Fj{t)V1?a3dp-_;m-g)6XJk9-Wc#t|^)-7As z1v!+}+axj09HOA<>#EYk?qk~QqBhMjC6GgI`g>K@%b!WgA|OC{G2%TTdU;gG2K@bJ zD&=hcxUjSo@rfo$65BcW&EWg9{<~hB<@j?2F!+7rfc}{_Eu2u+$h@7CWOOrJR2McbiWRb0HFoWN4hEmg)tcCMy^V1=UdNMJ049!LHCpJ}+liVJtn3sbThdLnp-S z(}>RLrmePtNriP*uZ@><^>R1mvK-aYIr6UtfJ7uVHo#5S3&+ki!P3d?L8Q1Zs@4G( zN06YE9~YT0#!GcBqF|U9gBglrBSl)@Wfy+jZG~kML++Z9O_`oMYvpHNRf^*>(M^d( z{jd;3nxvB9?xbfv13_D@x3G&xY=faYzmCN1Dp+sTC$awNQ(M@HM^bD{Y3-w*nzeQ{ zusQHl0_N=~u3weqLb^|dPX9ZFVy(@kJ;B4bUxrr-2~BDY;(54%IBch@*JQ3BSYdV1 z7^SDoNZDhliP*=ikBH3ujTer`0_U-B@oDt*Td-5rCs*ycm+<>DwwGM2J_w@g4>4|5 z>mhiU?kW7mS^`6svOk5(>fgnCWsMDefGJhs!@OL(VBiZ0Kq}{KfY1>^Tt*gr^E5~N zwrh<$gX%!yHMvoNQ-0mKh5-#LE`imoHw03f(=)WU670dI6<%&_ZLX-+N3}$1(Z%3b zBBot^k~VNr!pl^<+<${)oEAq-;Xeiwj;**;0dvYn1odvf+0-Y1%Gkg}^T0tsae3q5 z)9#*zx4_c23pe~;Z_USMf+g4*Dz2<8^ax2Ll2^*9&p2c?HB|FNH@boYV8TCx&dCYlEakCYtxPQRqn zy*PjTH_hxU_p|#k{I_s@fwNcO{bNuGlH{Z&d%FnNCA#PW<^~KP;NFtdboJXFUf>iXcw=HMUt}!H@PaQCFX-hm1P+CPr z1KhLGU1TY{Xo0W;qk3^IsG9N;hwZz`kAY*sKfwG0Y}+L`oKXuU2RjEFD+l*CIs_I4 zM>7fI@8+bm5`65e?3}E;?Elx;=F|pv4z0q=BPGVk#l<7V#l|Ye%El$h&dJLG;t}Ts zNl8hFvI~(4@cjQ=^buI(%^fViTaj|G@`C>N-AI*gYqxEIKlVYCmsD(jz_)6!NU4z2 zDyz5zQpnm_{GCZ{?IoL4tdMlPsBLmUj)qj=h5^Tc#~K5UZIwQ2B4*`dB-Wo6V{Ju{ zZ@ma|G!btt9YENio)-x!VB^9Y>Jv8fyMF+DeJ-C~`szr8W7XO(f&$f$kg)u9ow5^6 zf!L;>bUe_GwzVVXAV}zD_HU>Kip+(NMQ)g>BG4Ot&CG*x$|3Fu_Wb+w^#t}<_JsQc z$}wD_tts^|9#%@j5*eVTZ4a!(KZ)CTV=ty0RiumA@#wfd1rHN`5O85l*=(c3N;GOSRUs$ z=WP~#V%iLL&Y#bJ@5;O+Zho{<2$ow$X-2m4S~jT1tii7ds7JjN+YBtVK8NjE;9EF{ zgY747CI%_o8L)=`3_HfWhJ0IyEua&G?H2_dtx^a;h0f0w(zS#Qux=22Z+0!NY#|V(%>il_|AFLRH zANJ@8Y{}ZC+QD!ZYV(;enFGv0z%fXUp(9z80;DqkK@WJNkp*IEAeDwsE=tw{!B`&T({2`=_IuSX8lv}-;7?@W%> z8kL#MQniO_C|VA=43`Q@hPTF$cXEmedy} zC=GSp+aUk-2x4SD6uk(QHe|ER=ybm9T;>4vJj6Fq!ZoCg0i1boz5&g8WII^>e8S)U>}%j&1B&yo?g4)Fgh>8^Ml5(x zZ~Xw76IeCZ$w1g+cRIs-9%{hQ9vqL=tT-Z{IUW(@*Z{l}Mzp`05mt17vlD^5KgS*; z5A1A^tP{8%l$sI2wEx#V_H<~iexh_(tpNyasINx&dXNmH`9jK~<|5|mRPm^>nGZv& zpmPXp^+O|s+rMzUyu}CztKjE}@nV#hVCHc1sJ|grv!21yln3E(0VaPr>LU4xb{8q< zM0@CW=~2L}`@M-mq;9$CxO=7QX-q&H%*z1Vr>dVo*?6{S#Y?USPRR-vgh30hFzR>MWeWp-t|In(5Ft|V zyXSab*tQ5K+=#?DK*+ybm8NcnWH#1MM{JyW1;Cy{e;7gC4nDR9p|}#0%;#~G5o70$ z0Un(}%&xh1E3{NOW39yTV0E~c(7wk4k19E0N5=`)j$q39p6XIN`Mh)03v_Q_IJdL| z-Qr*z9%0}|snRflxkHD%0+Y0HUgJ}3TPJ+qQ_vlPycUN5p&cD3eEIZ;gH6680p*p& zu?1|Al>-$&kEY}IeGw>7tc%qF>kj$26*lIJc$J+y7C-NObE+5IW5-q2Y=5p4gKKQP;`1VCNN_yu=dbts z@`VtERL09Hm2bGO*_~!e{l`*kNCk|!+`mG~MP6sva0u9QHB|?|=bNbLf=3{fO$#xu zhHOY#OxLo|52usyB3RBiI3~M~T(0&lpnqjw5&#URXxgN!bV)rkY_IJdY0V-mshW0s ztK;W-?c9W(>f-%%d5OXp&5GG5%<-pqb zA$`IO_E6D*&be0oTZ<0_Mrm`@(_i{3ly^xkWiooHE&O|NoAs5l_yvm}#vMmT)ihO8 zr}aAxA*YUe)z4V-C%cWVX$;g(1KG<#z|-s0qI$WlxF%JN3ic7FNXhfJe28uwW%slT z@DcY8bY+vYRd9rhdl(U3eFqqDE4Uo9X~;sdz41H0E_Js z3ACvZQ8o)*jN&PpXzg*AjCtAqdu(mV7#2Xx16I9-Vp&G)#XhjE+c$t~So&2W5j zMl|C9I7A6;(m@FHv)J?Lk0n<=0G~tx`JMNH=nS)RVvAd-RD}rLI5hlHdgi!yy$;-0 z^DL`kWvh)iK9q@k8tslqrK{t!dLAq`oK|DC|?Na~(@1y(3~iKq1a^ytKqss8ffVUw%+3%3u}&o9h-7u#i8M@!lF4B$+3 zc}gAtr;+z9P$i0--*K>{aObORI|B6l(mu1jxwz*Ubc6uOyn8WV6aVbz>yN#D7&zwE zt@s@XV-^2glMmUfJAnwwud~`2_A5)_`jRB2wYXa57?;xesgWtP_44}rQGe66WV_8) zByZ@|;7k4D{*U4_jwesOx=;0RUs>>#ljpx6WPIF!7ATYrc25&HDq85YXR z7h+=0%PpDPxmF5-XV@;)i~wNf@9x)8eGC?akcmDa^56EAoS!;nGl~92rwFB-w}F^_ zGs*rk=8qjNE#J|V`=s{t8I{cSR41LOzcvrPo7d9VkH|eGf5*~ZL00M^PRh>RZ z#u8MU{I%q>X^!OIomWZHczGWF)vsz?JxxTMIUs{1i9 zmP=>F-ab~t_g4ZDN#69`MBlIH-;YE;mQUJU0s1jZTo<3e;=I?BZPArod2`Nl|9IAt z1_~GkNx3wenTBwFD*b3W!!`68jb>GnrfjtoH%b&Nm{jCh%rHpYDBg?f*Z5BA}(2ZT|Dwt_k%wrPd-hcm#4 zUBwVvVv>zlMOKT#BNfS}8l7O`rnh3E!J-$V;nuaHI3mu55@iiBYDa7> z>^irqmo?o?Q?fo)$y{cmV=