From 1ad84456a4747781b0ebc7701d107d3cd0731691 Mon Sep 17 00:00:00 2001 From: Paul Date: Thu, 5 Dec 2024 21:05:10 +1300 Subject: [PATCH] First draft of use case and extension to version timestamps through non-slewing clock adjustments. --- ...l1-diagram-use-case-stad-ns-back-forth.svg | Bin 0 -> 99438 bytes .../vol1-diagram-use-case-stad-ns-back.svg | Bin 0 -> 57742 bytes .../vol1-diagram-use-case-stad-ns-forward.svg | Bin 0 -> 168606 bytes ...l3-diagram-biceps-ext-non-slewing_time.svg | Bin 0 -> 166516 bytes ...ceps-content-example-timestamp-version.xml | 58 ++++++ .../tf1-ch-b-ref-standards-conformance.adoc | 2 + .../use-cases/tf1-ch-c-use-case-stad.adoc | 167 ++++++++++++++++-- .../tf3-ch-8.3.2.9.7-extension-timestamp.adoc | 93 ++++++++++ .../volume3/tf3-ch-8.3.2-biceps-content.adoc | 2 + 9 files changed, 311 insertions(+), 11 deletions(-) create mode 100644 asciidoc/images/vol1-diagram-use-case-stad-ns-back-forth.svg create mode 100644 asciidoc/images/vol1-diagram-use-case-stad-ns-back.svg create mode 100644 asciidoc/images/vol1-diagram-use-case-stad-ns-forward.svg create mode 100644 asciidoc/images/vol3-diagram-biceps-ext-non-slewing_time.svg create mode 100644 asciidoc/listings/vol3-clause-biceps-content-example-timestamp-version.xml create mode 100644 asciidoc/volume3/biceps-extension-provisions/tf3-ch-8.3.2.9.7-extension-timestamp.adoc diff --git a/asciidoc/images/vol1-diagram-use-case-stad-ns-back-forth.svg b/asciidoc/images/vol1-diagram-use-case-stad-ns-back-forth.svg new file mode 100644 index 0000000000000000000000000000000000000000..d7f21fa9610738aeee7832f7d78cfbef32879983 GIT binary patch literal 99438 zcmeI*Yp-O-b>8uQZNT4QqP$4}QM_M6+psOg2w=xfY$XT`!w`nFB;=41NZBTB8@S7YF(c7thH+IbNK)M?}w*9IDK*Ya{7nU$EVLu zpPznu`q}Bz)9;CcD{G)aC)6Gw~+d-|Qzho^sc`u^$9Pk+3w{;$(toPMzG{(P!@hWZm=1 z>DBe;f1ci4-+lW2y65}r%3q%T$LUYjzxIFqeB}qH|9Y0=JExzVezE@i{Pe+j{2x#L zd~f}IbN%;cOa33P@jqGr{%Fnl$&&Wz+WpmME57>GitY63Gs#{*kAJk*{b=p7^>}4T z_+-iU+0y?<>#FrXIFI=B@v_?YPyhY&hf9MeYvwCo-8uSZ*-zIlta(K8H^U?4ap_BopPXmBzx?vO_4m#7=e_0QPtF$n$-3jG z%SxoN&Rb{Q-#xv(c75xsS&w7k_45j!uRFh7x+llyYbCb+clzO`IGhcpVp55 z?ezC+{@waUCvyDV`h2(kxc~3ZT7IzRvB#%p{C{+w_4Itt&tEX>JLhQlhqcPU-2f6#_!Pc!Mc}>pPv5rd5t4TdVQ_s z&#M>rKEAT3{^SMgiu=(1y)y@Vvew*VAFXRYS{lB3wvKCI_|2t9k@RG70!;kf(qu-A zZ5;9bmuCz?-Y#SbyJKf8SnSY-U$qxrm()mS050>ksBY4e35Rd!uh3tTo?Q`@X;a`}XqX z|9MoN*OzP$<$3e;?vm!M_4i*+p75PKgY^&2*#2~Bc3=8tym6L(&;Iv|_kZx!-^cHH z`;mLzUUUF`Jv!sC;Lq>s)q=U*|uXMXrB*5#bfp5-!m z7X$s`-kmY>kIyl<=lpQZgw*oR->-jR_Agh2l|TM`UH{>ERMz-nAzj?b0B@|%@2<~J zRy;QP#_|@gL3y*^IM04-eK#&nn&0^K{H@hQJO+NUEckb4K9CjcU6rxzX3RIUUpfDm z30?v9o_%&%=WzfF~is0|HCCs9R9dpFC`5tWl0{t zw#%UNgO#5!(SKNR0!6Q%{^K(bvEEw?{cm4*$Cx;JXN|wJ{_xp#y&wkOUp{^9+12}% zg1g^bE5gCGW%>5ibLNHZYfV1 z`CF?S=D%&szxh(k%jGhxeDLjKUL4%7bv|5J-Pr%rh1xIAeEheIdF3kg(%+tuwvi)h za3h54JbrYs!XKZRPWRELpRa!E`)h^Qo_%-amDOd~`N?>=9>_RM$IRohO!y38!!UDhGh+viH@ z$@+J4)Qhj+vUk>BmCOD0F0b9U&8thht@X=og)e2iOD_91Z1u(=Tk#=&SBqZT>P1)d z9j~2ze&1GNXJ31nttPuYjtmv2Jf=2}Q>!mzq^gVe&*Qu9C?CDOV)v4RAI?{II8Ata z{SoKYFP9l=XP1}BHhiCKY8xxQ|4fFFjl4$RyOJ!Ny}7Q9CL`JP{9lD+8`D{HBzt@9 z?oSeYu|8D`OszJvN3wU%k^km1pIl3(-umnu3%ehuVY0g zfT!gTdJiIZZFJo~z#PAiq+gz~Dvs~pagB>_CY{}ibt(ecXFn=aVKN$g9qcjyN@MW58L_fB+Yfc^c|!4E>}2P)6w{j z1${T8?=;cZ_!k2&$>m(6agz9M$L4ika#|;OFum*9&AQ}u7k$i5Z$3+|?ASbVrZ?{ZY~P)|zQ$I1ww~J%6%aJoe5S8Ck6R`ufgCX266s*^<4A zRx?=5s$_cqyn?;p5n{i)q%Lltr9B5>@MOodfljM6yKm%TpRCo{8_oHSMeH-S!T@3U z=^A4b_>E80Xj!TA9V>_{`&)~Ltm89$8s!tX@re$`lE4`LV9!^U#Npn&G;D3yHxECz z9wulHwtes3C?*>ZC5M%HARaK*DJ`28>#wX8Mca4Re~VV~U^u=dcUsMu7~sk537N&H zwYNPV#=yq>ocq=BJziJc&kKAh0?0x(@yYAsCwj@dI2Q|KEi;N5xC;9a6}v!Pe$pw0 zVY9lMbz)PiU~X&fQCDePJis3wV8!7kY+x-`jE~94u6!WQT!D~cB!BENI);n!MJ$;Y z$-}SXpV5%^u_QFhBS!Za%fM2W zfn-@LOVei}qDm>NP9}l9_8@CkvNKKz?L0c#T#l#f`{ztf4|ijb5MpL}u;JLQJPrk< z!zs=IU?|V=WK2b08tHh-6fyrEF>c)uI+o&tyk>WHrmt1RHq3-d61a0@p|df2?J-hV z1!HA5Y!yF|KE`GtH5A{WTK4v+)ItPFR3Esm^)mVHFBC>J#^y0+K6UmHJG7dTBk zQWuoVWva6LYfB!r$y>`dcoHAQVmRpO`b$ zyi2=yT^`LMGO;l$#r5_pgY3H1dXrb!Hr{5jGGy|Om3OX?&B{Qsb@q`rrVdq4r5zNN zAJ|a_l_|=@q_fvZuO~@*wl)(&(_DSfn7orldknrwJehOq5SE3Ba+7WuL4G;M4?u}%&Vl}9f#c6DnswZ-pVO0I9X0uCvx2sR@t~d;n z?B{M?c)G?0rSdQfvn&Ro4=jfWl}Gk+|E?Uz8r|b=QcXmqUC5q&L@^1>tOgIAG;9x_ ziVglGzj`LWk*?SvMR;R>vQ^bsc}Cd6UaViW>a57OIY$~i(a366s{R%OF%t~7E33}^ z#l=K<^&vijVXL~^nym+I)vs}N65t;a@Ucj+uvTrs`$UDpe6UH7-OBi($Lu<-KssUa>N%V6r$Lb|SZZ;udv0tUp!* zKQI5!nfvq3S|8?rF)j)q4hKv{3;~zdaDZ50H&;XnJH`%=U%6iINbc{wjOW)cb5;!7 zkY6WdA6bKa@0MJ=N6yVSc{~j-xd3OI&(2{G9*bS9F&-=eFR|Kbhw~;lbFT_WS9>|e z%jKBKhgQn(G$^CSv%__Gr*Zn#zsWmdEQCNt+)u;JWixJt&OS-w9x{@W-O6w7qiH-3 zfo6)`xSVBY?-&^qh`Ck_1D$(@o}vyiTC?uf4%j8F=`6BIGnlg{p30JC6LZ9ZI2j%t zSsSBc=QebNfV{vm_KQD^i({6)Tl&ce!#z*eXFPAcIGYt%hof+!%V)x+=yG^wh<5|Oud=*}J3XiijThRup^N9Pi25jXyYd}NKGDrzk;nHkR zQH+Wa%zK%KtGx!pvz|Dyi*o|n=64vM95@n|sY53=tfpdn61Oh-lKyg>WVCD_nW4Mc zI}ehf8qnNgz`pL<^+RW6d|4*5XEDHc_I~|Q9-Wi;-9h#A{0IZF4{2#gr(sSwgIwOo zCYNUlom}!je&=u1{pIPC=$9)={`9;~wl5QB5hJo#cgq?^++pv#^_RV~7w^Son4oOf z{*#eHb88iivL=R2wyFG8MAa;CH{K9YW>~#Av=S>|q_Gbihn&sO%_A%PyN9RP$md<( zSMzK{)HkKeFt^wZ+mB_;ho0^^?GaDQEJb;Y5S!jTleqd`?Lf-13tjx(*J9zhDoVS~ z%i?FRc8QjU>+P%eS3Htm=Z%2p)dxGj#*^Xe8r}KH*mxA*6$e{yoO^rjlvhO}K93FV z`xNG@A?JC9+Ny|~8WWpT&5LoCj}ayd!GdTvD$1&4<=DE?B(T3qC$5<13+|Yzz}iI_ zDcc2~jO^9M?J}cc|B}OHQQz_3)GX>3nU!YAhQsB=`dyOAZ{>1whq4(fAN;DGJM|XO zk;pGURUH-uSVpwsEEUqOGN(plU!$&91F!;yXBGO_O;=ynmEkb!V;MGK!T4l)sz$~h zaYr@SAfYu>QB%ux5ARfQ;$yRTtb8tib$&4&G#sgOFpTDw;v9hkH z+2hda-ulv>)9_q5vlUgvY+=9ZXpu`2H7z@tH@)9fwDy7XG9m3pZgIiZxU#BABxddU zE$fks)~qmInK2%aF|!ukvXwootj@PP37hCR}ye;dJF74HtB-_u=cqv|BFTUtr zJIK?W1K|-~HU?{~L9_OQMmpNJQwMgTZPJO5X2J>|Vv=?+uU^Q%gPv*yb>NIy8((eg zj6EO}F3HAUgA%LGu3-_%hC$&YJ!06s4}0WAb`m{uIvcZsU9h@7Vn2gy)nNvb#*kzY zFXX~5@D)2+gXc-X24c!xurPJ;jLa&uA;)M)KR)S>Vqp47`>=j>S4_aep`Be>4EiR@ z`N+J9G1?T7(__a4;Ylp8i1l2zAKU2GdC9&sHJ0y2zUknurJm7=@;pb|80|7w@v+rl zKEIE)5Zs=l8QbD4a?BWc`TtloY38x#7V(7nbdF{72Sz&RyC>mzdyr%oG!w z#TQ{S7T9Cu{D}m+Z6tRh=RPqR^T0`L3BiNy*>m!jXrEJ1jMlyCjLqKp8v_)*usdg6 zB0q-MqkJsphneg(NO5Ot^Y!?9a>!#>X~~;0cYO~{^+5EqhPazP=YBnQor~^Yb)Pkh z>drM{S?50dCv(!4S4k18#0+_sZIe<|#v^P_I=j1G55&(fOiydE%y4KL!a_b414U0# zV7ok_5;=Xxs$r7``P!-9H4JO1uNV7K15R+D~dc+DOvZkHz zr5RR)DeJTbU7_7-v1(CJ1`*kK!OHN_XqigXxE@B$=zOQz(%g2K^~x_*L6}F3%;|}U zR|i1kma@FS79)4rYA~uYnNy4~dRYU>O?hVevU*~C%U)ZuI ztZ9tg>|C{wpX;ZLRj0Hf>ow2X#>O6-+pb61NR}Qs_y@Y6wLHS+W%jy4>+`tv{TrjZ zW*zvOd^2O1hAv^BRjNA41VQ)h$>L50svf5MFng*5)|!d}BZhOU$w^s--|4#R!}clbWRJvmJ39Ip|+T8~rhC8Cb+-B^or#UFs%#HcJi4^E;OL zv9T(=ISH!6nCwo!a@SEFKl&C0S;<%KCl_hh?e46#kz%fAx1o*(lTTGlDokVeW1@kr zSOnfC3-h=!*Q&rKH(Wk7sSY-;4vN=t6zmM1$w_8D$8KR2-_ge?KTK7EeTu@Ve7jCI zbL$c|0%p8^OQt1_dqfpf%eI3;EaF}}maoZ#+1x2|XYY7cJWUjbe0~<4{M z(Ch$#X-#M7v}1Q!scbNPr+v+_1|H%I3^=kjW)2*uBfrKDaYYi-oCUJ<-LixX5US;} z`u(_$|5<@1G!0qy;H~yI2bb7`JV}(__qjn4Vb0*QZecP5ybV8O4Qy5?P*!C@e#*;i z#U8MiN8I1uu(j91YquvU!*;A+f6BhcJEE68jozot_=dN4N2CMrhId&Qc4f-xF+@La ziSOZ?sa>q1nbt$x4UuVzFFQ4tLNmj>i7Q zMhu5NXxZw;Y+RKLRuxe(Knz)DLiehi?zfUmnpCthk2mU&$v3I{wEZie4wN1B$) z!U{fxF=O^(8ToZkRLPhAt=K&eLbW|~8|;(zKHH=G zX^bVUYR_3KzPGylyOY(-bIzA%c~k~T-*(_xdXkW(-8*BGo7szv>j)+fl>>M`R6usQ z)0J=?ekLQ*wE7xH&>prS(F&yCVRF%*qs^WN~e9j(8I+ZWI=sjnB z;>F6mRL-+QI873n+KlRZlLqHyy_z}(1ZOLyTvFw-E zXf{9h$WJqaFK8j|Ms~IfwLbB?I)ygvBW7js$rdU=vv?<5k{%9Of`w-_62-Z*8hg7_ z=VBHN8sWL_ljq@whb9|z&cQ;>@rgy;-JBU=IV)Si9C1AM8=J#6bU;J8!>sk(8y>>C z6|7%G&~HX28tg^;iH+d^997W8QHn%hR4r<7=@%TBE#@v~}A9QA=EK)wQYdhn{ z;T%Y5|JS~%+aYFbo(+bbu_wEWOJ0Krra>{+fc-eB9K40Ze+ zF1Vp}d4SFsb^kn=&op@qf%{q!KKQI}#5JttP9F8=Zms3tY%DH3N043E!rtPt%2zz) z@$5O@r$U>#VFs>@K;-yX&Pwh$0?Lhu!_6A*+9QyvUzi9S?hE;@klsE1b`?G*vdGR_ zEYdElFsFu7Z`*HrIZ+I&GAV1hlQzcqJnUM9moCTVw1gyZ3MKJWh+?r_;bO+4_&NS& z7=0lZ((Om`>kKEZop^Ri7Q$J1P{4Y0HI~Ql1PjsTauiNQU;4(pMXt|08xDsxL{=8% zwc>U#z+MyKT^-Alf)!(Fqgb{v*ej;1SIwh6=2WZA*%vERIlCS|k!JW{`e?e3HZw*O zOg;$o4Ht)Gdu;r{l^6?sG;$TnFKYwHX#~6Hsm?2T3R=m=2WklNkhuzw#d#{tcMcP0 zd^tHT-^;Nx!m2wxXMkD?%#$ki> zqI||^NuIGWuR`3|_+L>`<#`q(LLzL0V1DAsIwQUf zN87i})k(A~g+QOxHaT2*)#TYCh5>hkwaLlNl2WodFK7L3|mr{E}p1C>}^Aqr6w# zvsbkbsl;J%KI{}zsltq_2Som{yva|;-bjH9Rwoy{ur(Cj-Y47j4a7_iVjrJbEAPjQ z#24J&K7TF(d7b}MJ|Y79{( zD1P7$LX%SD*8vXO*gYPwlDL9KdRoi9*k-)TnRtL7>%aXB^WiBTovMrPi-cAfX01*tyTAxEij}ep z%*577Zl3d$>Mz|^9KZ^3GAnd1nVL8DuyZk93`~w;qp8fyfypYb$!O&p*#zIWrz}to zQkj=W=veGc9x>k-Uu=6874`Bl$bEaV`0c%_Y{~lUTOO~HV&AZdYscD`YWJq-GQ>LHJlJDnC9%^DQxSR7esH+Rzr*?R# zswN4bsk#E*!b^x_;xx>*xP7)3JI* z%`J0v`VijLO6A|`HFL7b<0nA3YUNg~ROS3;RV!cT_ucCqR9`)p!R|$YdQI0`-%&?7 z(V#aK7dT8eT7}lBoL)-Tpo&zB>WX`2TAgN=Cr_TIsM2)1v5WkoPOP7iAJq*;tgjPu z-_)2!tZ{dipl3qrVo}{Gh)S09)rBOg&$`sb+Rhu@;cdPnzt`x^#WIr{U-r9=SgcOI zuBdu&-g@r*pw4lsWzUU!YU&R1xxaIC99!ip6VF+|cu2jkVwOGUUZ)55$5_EwcHsdP zTD5$B)uHlJb-T03_ApkzLFOc3)%9-0`XE*FJXI*S-&AYQ? zv`nA)Q9Yc|4BgBY1>vCrNY0=^I3;i^}XQ56Sb+ zrFf}#;dywN%;6r~gU^dMSREXYyuFH943%V^Qsi-W^7!p%O^PPjjFrW+kvQe{vnDu9 z#*b(5k`dVv-tN|?IEwuqf0O%pzti}wmD^u-;(7n~8jBvd58>EwPF=6BkjaQs-QM(g zIC6RSky_;KCGXL*DSNZf)LYp1x3kZCXK6j%`O7OXY$?B&^T#{!8`Sh%<@R$y#Zb@f z>-MXcs5xM`I2GIN=Yn`aCCjS11pe5yb@t`U{p3IlnYG8D zpyx~5-+GC1mFEUl=PA5w6!%m+i@JGA$>T}FZ*h0^Y;#pBlL4Ww%5;zNJ_+VdyZJtK zktiQ+=Y3RtrmE!I`MIEX7egKW*+sIFxDG%ELPpG7-3!kwbo&i${HS)V6H+HuC+Rhe zJ$6+tR`t3n2ZTe|Zde?9vJmP*m$<&Y zNhm&VZxUjv&Sm7^&OUoqUPhfW85wX+W44rCpGFa`ZI_dOFE!vr>%s->z zmYvHaGD~M5*lco3C)J&X8|x%eEm`f;8xrb``b~4JYD8`7&erO@#h$xHQsGqVH0#@V zlaMTbyLLVPWQ>lT`rQ*1bUm(Bt=`@xtpC!nQEw=PKzBKd4|P?-dqiwb{E9UUpy$v5Vo3k8yfJyXr%}^k@{UBMZiWe`h=%#v3 zrk9czUF~f8c~|yoM^4=!lMeHS#>>y3ume_rHu9E3FsgbGw)M%q(brGOz^}}uqNK4s zWt`ATpIA9W$34vrz1^jrs56p##L|plD7kK`P*$7BArHyKsIjsnSth>7OqMdKIV^6i zJ;FXy$(u1}F|lSV_p=1FH#7cp8c~-v=iTn8hwB~0&K1e2MhD$|L(+Sx6Maf^90-O|s`ZWu`;-mb1=!N#DnUG`YD0-a(k z)rfDg5gW39wXzkB*cnsF$v%&z`HM&`Qb&#=rZ>7d>atzm}+NW%l+5^m|vx>?6udh$FC_??#I zG9&!DPNTZ^c7=fZ&l~M@`&r|SCmw)aevl<)*)W(NVp&!d&GYjGF^DMdc{o1mnPHx` zX6r#4{6a5J#_sviQ$?QTC!Q2j`8FJF-@=i5iYw?Kr&aA_RW*4S>xt1u2WG9NfJ!;T zcluVT)5^Xi5OFa;F=0nBx-~-cCnh74o2F^3d&cRNVG-iDfX(d>3D$uNdFx6|Hh%9e}tvieyiV;rVD^ z9YZEv`AsgICy%0Am0is#qDaaVbBP zCDb%?BCFo53RMMGEAcWO?qn*?#TfZ)uU5rZwd77x#o%+stj{sR_uVH4RdenRv;3si zYR>e=?k;1@2&B<<@FHSm3ss>0&o$31p|<+YiZE+Nr8 z64h#|Q`X@jH9k3#)(AVuYSqFs!HQC3U>5qJ? zi`w|E=YwexJDnGwhQt|BjlovF(gW4qhN0dUD4MFZ#Lw-wiSSaD^>m6lKx2Hd?TJnC zUEDhFUtHR=6Tse|(1ZHZ>`n*xK}1z|s9c8`MEG#woT_y~>HhY@4!9(SEDMya_o!8j zkqVb!FS-psw?C${dON}pIXaJMzx4mjeFo^QNz8V%ThVLCg*28u+2!(m4!+2@RyFhT zy#{RP6isC6F!+JB#Nxco$L>}ydo)W%>IAj3dUuM^Is2QMd`^?=gW{1HyI*aoxA>~g z3qs4vxB;#vlUdvMWGFv6RcdeYhYWJlL{^vIs)l7Z#AE-)b_f5CurkMygJL8-$x`? ztB3fCbx2v2Onbp zaUXZzokx16z-n}Uy8h}1rV^ERpaIs0yZGD)#PGhg_r;i zRb4S=aT2x%$z{s&JbsK5upl4prz=%g_{A=AaZKRT?b+K@C1p^#o#lCvKY0LK@Lh$^)cx~mILPST!ZB=Cby`V{3EQ!f`Vz9O<8#EmUYBi{aE$^Uz+eyaabl~+xD`D|PTjc52;mG#B?*L)t1)510PmM7oE&CAE4$eWcGhDxGQ#t~$}XmhPMX zt|aV?Mda10(SBFYeQSJMzblD8YHfdh9s3s%7-LRK|7G42^V%EMOs}m+;keDs;ytEi*B}lcjoE~W_EKu)4-a(si@%4 z@2;+cfc3gAHCa4shw0WkWvIU#$%i({|J!XnvSStj0ZuR8fMN_$le8DVL6>9*`;E)Dex$)jWAm3=12;$|C39(m5} zFw{Do@nN4NloRcx(yf-r%SQ5h-9IhpkPSnDk#eay>}f zSZ3;yPJ(p)MG|a_I-P$$S1swvWKBq{((L^&)^ulQB_elxp;sEL6&3wv6f5wCxqfYbkGR{l<|e%V{&oyj>H;@vdyc|UzJ zR*lSJa}Eg|n2YVEZWigZb_M|5>?p2g<#0K<0A8$u;ms^V6hBrGRfFG7rH3ctIFhiX z`~#(R{5-)cuE0r=V(rVZd}v;$1mp;Pv?WjVUtSswW8}u{YhJv;m#ko9b~Z)})-mFvodQHs}T}h%0g#jyg%|`fvKUU=iGUY^szY$brvRe>+5;Jo-x|!XWul; z#&h~QTDprI^xS9oR>j)mUo)}}8^^Gh_JKIw8g1>F9HW^Pw#3^T?l{IL{S?a4pH#-) z5DMeGb<3=`%qjvxEv)Z+`j!C|sxoqS{x5BC5#GE#<-+N_kwxTY z*w1&y)R5(rUC*-RWE%BAOfGiHnPP_*T61R)IijpBf6D>(a^8u9RR-2FCNq~YCa20B z`~5$Ab+chI!*0FP4GL(&FrqUn{ z2~?1389S*6s=8?D?(V9Bb7G-ZGKU?eH=4CoNcI1_DlJdSSd;BZT+QK=wMbVr(a2mE zN8*}SNW%u|9NuL|wHax6z;}1&Db{7H>PC9jh8}K`6Zl) zp?IJ-EsgSCI2KuTKH?H4q0`#2Q=fUQ$X2&L{u5@;s|CElOa2#U(1*1EWK0KnStA#< zm)FuuM0G6=#saJ+!#sX%*WI3+TtAC=tQPRzp7?pOCi4VO7exM;rdmMe@SE-PW|21x zB!jU&*1O~ezB8ZQ`Hq+Bf9!y-@@NrRZ`Hg`nYbWkdw=> zqO~)f5HXooma5Z~heUhV$rfUGs+FN?##yGbQqs7GjC8>fxE{5p9&DeWq&1x}k{!FtN}cXxwX%yj)(|(tt7WANL2CWTCV{d9d6(e{X`S%D@r?fHQ{CKEIwqU|v?4+Qc%xtk##tFmW= zpXreX@RqePc$%7#uXbI~8nO{x)g0tx=X&&VcqdalLekss?}!CNN-;2*^6}r_@$jc2 zym!Zr$9V{z!qg>`LL01FtGK;9&llGiCq&5qK0$4q5FcP%e_mf$wN5eCQxq7DM=)D= zi$!zXVeh;3SB%6Q5F4Z6gPyLm|KzDK-CD&YjjCPAHvNE;$0`}ROzf)Fl1ntT(jac^&Q8el!Jn_$HTY(n@qkHmsL*Jo|~wFv(7Qf3#!)QZ|YEJxjnP`RXwxvyW_;( z(O6L3=!fgUoDcA3zdue^hkTr^1D@)Uzl^$Gz2NScwK}A}TWzJHz?`y#Dn^x|6St2M z%!~hLM0Efu6KU$J@&zQhLwz+>UaP1E%OSH9od$0-RCUm?m8w&F)@8)^@&FEOPO{pM zp2p}fysrK-I+an_$0hW)UKm%e%SP9uB0z3SODkj0cGiz$-SSP(#;lH?>%nNBZpkR@;G+7$ zc}+;S9_=r&GxjhaF0C)h1|?RVUBjYNpU%pxXT?0tLVF+f$cyYGdU|dtszbMk)M1Pb z;Uh1`3?!W{OdrRl&;`eALJMnDW%!pIbKYz1B%2W$S%o%yJsQ%FPr9QRm`>9^gE2U- z|0trfIg3GGV0zVJgvZD0lSv@w{#CKTr>v-=4vlza>T%pC;xSBfrdKP1W_7#YugTqK&0nq!gR63GOJ5V|r_ujVBp>`+ zSiMS1hA~I%(-Q-*#zb- zq(!4FL&M3;KCz~;ByTU?HKx*y#m#D>ZNI!J_e;nR}FtFx1GwKhULu!4-L; z>__tUr8;z2)IOK?WbyflXRFkYm`$cM#na_$>^S%~CP&{Ep=+Rb%|mzGF+V+g+C#>1ch@{}1f=dl+yKo5gCKU+N!dLEa*-r@x_$ z9wCoSM0L7h5%c+##n=VDCNJ~4G1v0+Xn6UY1@npT%Q5TSp1r`K8U(U%QZ<7Z;1Q^g z1!GCof;n)hZsiL+2=9B$9B3A=`8AG+F+_I$bk(kqAr6KUZ_i$`1`ZPS*$ak;!BnDg zj2e+0#RrVn!}z!C--&GY#u#(zgU#}aNG+3FV~>k9YYdmk6~k!U)}$-+3ZzEFI| zT(}=|#rcit1&y`$@lMI}Y{)xSUCJo%jbUOUZ12zQw@r%PI`io>Wb|@jSx3gsg3wjo zs$L9PI081tm!W6+nHWSyimBzQvNC*hP6bJwFUn5#+cI>b1N}*f)$3UJuZpMpF%RjI zidN>y5fd4m&siM?ivZV1-#2>3YsHdp)y#b-G5PxDlxcF!mJgQ8RORSml8vf;c7J8{ zIcwN{pw+Be?PG;Ks$yk}9gm&i(wxTZZw}k2fZD-cEF%VrT6HZ?@JJ(b+9)Gh^X|MB zEz>9K-2TtQ)if+uJqz2c4Ogtq!*U|a;Z~Tz*nFJFbrpP3Wm`qZ8~oQd_*MHRCDd6?J^BA|My9?p!aqQOBttNJNsryAyAE97yK@VNX7O(G5kCw}S(iam@U67>R& zSq<8pXS#n*^{cIKzikpuLId3JVtAO&TO5kjY9d~pJU%03^EiODo1d*?M}CP@Ln9RO zF+cJS|KgeE$mG}wLRHXaxfY8 z<}GsQ!QS4DsQYGv>YG?kq`|mRyce2j$Pd?}bi|p%z0--XDHg!KRl?;H9NSzL-Z>;b zW#RD&i9}`mE%qnh%@ZT>SEr{MoT{z!iEZ~Xz#gSX&q~_eKK#$u)$%MP_mjyvz+hzV zlZ%rDFLc5`8P)7GWV@cuw4NO0sT5z3uB>O*a;UL+vcslWzO32v0B+3 z-X@2VL)9|10Pk6mq%otcST~ae1|M{0r7W_~cH0?4^78nl{d*UqvzA!f=WMW_)?izh z%xh_x{d(5G51mVhZ&9a1PQS@9y8OK5lQ}bjmHB1l48xrS@#XXZtg7bX53A>o>?_;s z(=yeUS$m9K(tglG@_p`5#PgIWWFyEd3y3;v8-IJ9#&MqFNxH!VEAqiU;Wox* zkKu4%qp6yjhX;jLXp+IJR>?hYmjMJq^jE77;Y+$tSZXjz-*r2ukgYvsAnrn>(ztN9aM5iNj&Q@V|AWr?tf~JWPC%ed^?PVTC#0n%dib)$BNk zMc{!wis(4Fs0yoAfx*kM&aShBXo3}*Td8$0qkGs#1$Puh-YbL7qbRBmD6UBQFxyqT z%XSmT@#kQH4Ot-^@e&WR6P+$c!n$OJ9`lS9du+fjzKb@@HTllYY`;fXb!SZL zjjtwWLh)qdDm&7RpE}JMHiYf6Jx-jJXu-ognUzN){w~sCgWtsZjM0)jV`E;W+1Qwd zV`DZT@%WC-^TE-W^1h<`kH%CySmh_C)FrgPTc7P+hbgBrXL93P&sOgSIo;${-fPWYj_;dlHwETdZw zZTMt%sTRVGGX~c^UAV?R#8&U)FtUlwi5a*l=aYg4WF-Uni$1JUW!Oo=WnbmFhr7fa z9ch);>`*j{xv?)vpZ`yER*HcWx{X)jXXa%LmrTll4k`8;-Vb;mAF9u`6s0c8f#V)XvZW zr%)R@s@h~6sGKSe?qFKxxPI<8l??mXv);^_c9>3Oaxh8a3CzNRB#9$jsY@0Cb6PtQ zn55M)Q~!}J*7I-tw#P(IXM;3R>4@R-X8FaaOf)Q(Oh$RHxM!~_AX16L_+i)ySJ-DV zI~^YXdBKN2*TPS-=hu6~nWiL4XLh;0g|=%QxS31@kv>ngldrlSUazlK3m1{xDC2kT2MY?EGXU>^53t});v1`Sx`c&q{K;b-*QClpRE5()=6*=uAQjJ=( zH)`y_Q~cFgk+tmDT~;d3tG23C>wB%C7KAiBII=coj`NIkEQdj7jFH4KO}pOS!@65u zU~~N4Q}DVLrw{6nVtX@qeX>#2{2&P$$^ibYcJIlpnexkT_j_0}1SUHAp1U~0J;f3x z`X=?&?I(lFA|iU9a6@ZZ1Y$#C*=H&o=Rsxt={O-!EfAV_wFbehfmiBIWvu#IY*dAl z1n#cJz-uZCoTw%m{=|mG3@N8#k`c`#g?t$s&uEp>Wrbs9{1)fBPiKNnX_joFtP01N z)jNlfmC2n}GlnTu`;(RFlbqiqD|Cctibs>zj2u-*(@8 z{X3%``#)y%B<22ZhjOX~uj&c$g;nG;HI3Rv9aH@wnw)`m?pWU@PBDSVS3kvG_t(6> zh8yIL&J3=vseABD=L?tnJ^T$9zZ#8kkNnl?%C*Lr7w6HZN>Z$+aa|m?#YWc}-@kUL z@%?L;8ei}CO*HO3hWkF|S)9#}a)<9KBi$>_aCa5ai^f&QyT6A5vmYCEjYY9=d7%@c z=Z|CXP72Bl)`rA~qxH=7!aR`<^s7Un-}U&``=Lc2o}4;s;^SldFJ8*e`Um;e34EDI zZtE#`Hr9Dx=63h8%hR==Pco;vYED>sdSVq`%a+-DI**=6iKgymjp;>-FWmtTm79Ea z?~GY_|5Sju>&bE$bx)`H`%P2XTURqrTQ#?y0+~W@#@>RmViX`YOBavsU(2Rp6@nD4jizsf{2i>*@cp{a(>M z_GAh3?956%Io)HS@VefaPH{`3kLw)D{ZsRFs?#YHFYEBHEB(I+J~m}H@j@u z?&3MW(3d7w#^6=t{-x{vaq=6jZmlYq z9C=)Yz-KHAE$+rnyfgKS>ug@!+OvMcr|Nd-;BPF@6ABocF}|+z3C;A&lXmN_B08U8 zpWf%OlQDd2-ej|l8j@|SL3eCQ6Ia~bU9=j0%9^ZUb~x?isFUIugPv-snccu1tt!#X{C6o=|%78IM- zwkkPx{MWOx-mnDQi0sR;*5VDjXSE_6GVSlKVl1DKr~R5|$H~V&r*jguV9|Up#U#J>fIWZbJ!8HdYhC!tjPc6f7;A* zCSELekbE*vXB(kc1Vf5DhRx%L5G97KSe=1oU~fjnEe{RH^VJ~ZGSV=QS)`~|uqF$~ z>OR{w{^#|o8`_b2B6E+Ep!tKlskuUfy=WhU@l^YVNxD~qB$FLtR(lWLXksP{#wS_3 zr(pF*?&mF%i?pl>PpTu4PRDZNjLBdzW1iH5#hqmho?vgb#{bw<`oBCy@wy z$2h1nzN2qz^OUH7?A=A*Elu+^slz>lVRZKGZ+F5P1dFL~HS=(75x{$6+gNVmc}AxW zu(r89%YX++Vu5PX1&FV^gs+NJ$GBcY_yz(lK4|DS=jFa3N!=aELli4SJq9wbM zVft+zbKTw0*4|0O`;);w$#fq5|E9DIH;+%LrukhzoJ#;EE(!aM|`E8_v<(p00*+02@3tCER-Wz<$~1gqiF7#pH@%!D=i+82rj+i(jz#;g#& z#|z~N*GV;AFgo_l3)MUP0Ij?*@nIf|r@9HOgvmKJmsrbM_$$Mn-oG-&M1b zy)068mFGK4G7cm8T$YTRugCes4%Z#X{LBaWVGe%UnccG^slu5YpC+Q89Bcqz<*cH3 zd{%A8*JRC)*4o(}S7%Lr@fmMV9wmQlE8DhTZ;*%Lk*X-+{UT~&B54OJ%}Pg{Gxptj z+HbGf-FevVd1Lf7_gc>MvrCzy_#3@jdu#5yH6bxX@~@ml1{M<)kdLdgkt>62NH7}% z?-JAopj2U14oZ#_O^Wt=J1L^(YF|pIQNSnOJLQ}c;{QN7Tj*V41B2|32<9XvU z0?YEZD8Mb<@%$^QigMNU9*>XX{!VS}!J7Wq<3(4tO^%pS_Pec+{f zzv#yG>Y=K0p1hr{vxZDFoL>JaQp0lp?ygS6%M@%2=P?jA$b&OB^=RuBnK&84R`XbA z>ZEctTvQqDvnGC3Q@D568<(SMq%tlEct3RUE_~JF&~j=JcjIrfU9Zbiui!7ERoqrc zUzycsj5wz;G}-dc_|ziwcE@Co>Q7^4Vlft!J*t(|B{-av?BiZsEXSz1)H2tjtYWvv za?Hc$h~Dm0?;WeY?S^rC$|q)>g?MKz8}nE7LVX$Qut(iN{6|CQ5p;|dX++1)klAtD zB1_jv+sU5UoaI=gyvA#6OG0<6nR#m}{3Ml`SfIG>HIusLYsRXKwkK3D5ZSIv?!RMun-v#Uv1#2uGoyP`>6 z77|Z+fu>|(&Ehw7&gr7{TG2RL&F;ehkUJ-D=In7A`*U5}-cHxqs~U~HsuOtw=kOMP z)E5|K+ll;tU8n0u-zitG!d{gn8;Ak#Zm|qjz!;ErJ72E@hpRc4oqkuG;w;=P{#El~ zu4n4E^Yx+)e~G}$ei8nP%d+p}cdXpF8M01H8mGeS)F?9hjH*4WCoV^=Y=y}x)7y+6 z^Iv|ma;H+Nlj^0*6F$`g|H{@RDBH}ako4e zoz3J;f7PB4aywyHmEoVM87Bk6DCTH>|-^8|VB3 z*MsSpYBEi~C87GXXA;AA>e!e@#Kf0I>SENCFu?yR&}#ST?MWbS)d6+Z3nlKZ*HleS z43f_sqHJnwOkU4w#MvyCb{z`mWWKI~RK>0TUiW&t%mvp?MoIY@JP_D3e#X8}6Q+24z=$TKRf%dj=A~1edLQGc7+BEBJVfE0YCybJ{>NW33f!?WPOR(QW39y- zaalPSbBa_eb&@nyowZc0_Uk!-F55^eHKt1JiSOkoX*;8@8dPhkWBA{yoqONT{=8W$ zs~uwW8#J9`4CvV#A#3)7#k}EMXLO!A2}oeWUxlo&9x= zju~+!&W+b5uVYHjo9e=#Zl3uX#iwxD)3*Ab-`sa=oi!X~p>lZ{V|Utf?vSRk2MgTJ z{^Y#uAn(rKo}b^&{-z?(@9D(U2A5-Sq?QO>)j-vem)Lsj9O>cneQ(#o>oJ@=+w*2Z zku179S4on6I_CTg=5Yl7;!$0sOfyfY)k40jkmRRtyg zJAE@+jaDX`^ElS3N^@FR#v@Pts+vo$(%tT%pD4w4vy-!&$qRFyhv%#-pZ30hT5fi; zQunt~Rbq81y=l}=bnM&_KRP9xT)lHn&+bQ>&R@L|vF{`?-gO!?|+rOtuDv#>$dK|NQ4?<1vWT)TnMBaJ;GL?Jn zlvnbV6?+zyr&^m;jfNcmvPiaO-}LRY0ydm)W<|R2seO}@rZZ|)=cV-qaM)X5o{X`b zyL#J%4xyFZ{Mm1DxYm0eViVFxHe;l*a^4mZ`Om-QO?^oAo_D3J121`xUwW!l;z z(vD8OkIUlM&jsCU{>)>gyya7)Vw1-C9)emkBw#4=B)9d)CQf`pPe>tEo*g!uRX1ww zdiie3M3p@}cep$Mm-SfeF^2o5C*^q)hs3&khHq$l|C*kUC+X}O9Eel4c=0tWrY*lZ z6$>qK!SkdUc1!c`04i1H(P0d;p@P0f3=~XYaCvQ13cSQ^+CRS^t`FzSu9OkY8fHc*YECSUHX}!ggWGu1462M54R=H~Fc2V2*uoGxRk_1~anj4S2E6 z-rb7U<*`U4anaR*o z;nrbOb|6JR_evXBEc@`&{NFF!Kc1l{jm3_+;|FzU7-w6y zvqR6U%0Gk6{FleXQk@H(+J)z=OqN*(FUeX-sfMBrFBeNX<3 zZax~0wWez!A&ZTT?V0CUA=I~iwZE0fNPC(>Jc;J};GG7nQd~8+NNOa+L7GoI#tJfw zSj>mCHG%<(Jd9*lE3w_?9zGx!wx^LfGvYgK@76W`%BL@{1Alt@==6Il`}+N$GV#ma zEWQ7m$Jj#r6?>PpPQ0+MRm08sKfPrv9?knWH|tzqyI%81wdSY4vBS}tf`8O4SsiA> zRdLR1d?S`wIW}VbJTTYH+gCj~4j(e>oJjB-Y<1_J-CFzF{k4v0?YzRu$F(ja(d*L2 zqcuk9yK-i&d&vX{TD9d#O|bJbL+>$#d)l#b7)6aiowV-R%%RylQfidwfG^is~Br?n~|~-3$cWIbr;>w z$2=_43<8P^`ereo%=Q;{=#UTbGk^A*$f{~XxzDWj#>zByP*t?zyu)Tk>tK6W;l(T} zL(?Ms?F^4=+~L3JJtMSrM-rB4*t(cCpPX!s>0k}}#=F^*9A%sEYR(?v?P_zn$flFW zTxn(1Ynk3IQwNcO9_(eu?&n_^2;JRJm&s|vt1*6~>Ko{2Eq=&q@=)H$-fD_D%i;sr zrz7i&Fn6*xZCh)PsS+OlT^qleQ-m@zZ?P|HsFo&&*c&?d*tLC%z^*U4R@K#gIEHsv z+I=s&cD*LcWUq(&U0%!f>2QRh{pLwJ9%X2l+NTKoEDQPn-BlBinlE?Wz=8i(PZ89v zM=dL^Fo4)ozsMG>dpkuaC+%EzJ4L7lssFmguzVWY`O%3cmMzZ literal 0 HcmV?d00001 diff --git a/asciidoc/images/vol1-diagram-use-case-stad-ns-back.svg b/asciidoc/images/vol1-diagram-use-case-stad-ns-back.svg new file mode 100644 index 0000000000000000000000000000000000000000..aa35f6ebccf946b6435c4cad7124f62c2989225d GIT binary patch literal 57742 zcmeI*{jc1|b>H#*IY9mg*8ZghOohwmI79^N=SSl{ohC!ZW%tnm-l(@zc`9iRT-@DGQ-I^18g-d=P5 z?C__DKR*1?;oZZ(JG^)J+rwY3r~mWtcZct<)t@ifAFc0yclg2KFAjfm_)qKUy|w24 z;m!5ue;gjK*M53$t$A-f`TN6vKm7IjZvThJC*ME(m!lrvIsEwW#rpH<;rVg=7YBdd zSYMCV-#=aYf3(K`dVPO?&H3@t_Ql%$%~ulN{7Pawz4=PBhsW^`mfR24F58a#OT&9h zx6hXS@2{uiKR=H6>BHr<_YVK<@aM~ddu!(XuU3w|dG?dF3vXVc`J?4;e?~LDPs;Np z<%e7*YY7&$Y4vFv5VkB>9nIXqoHd3tzucxQcmy#AQ;{wx`GEOA=pyxa{YXPnHIB3MbFkP9HA6eZ2nu z;yC(Zp}@QsYsO&hKQ6t#SYy9jfB$AuezJCY|G4Mfa(=or{bKF>@%sAJ+VQ_0ezxYn zT(8(fj~}g{U#>sa|Lkbx^EHn@J~`t5gX63h$2Fh+npxjDX2Z{yv=3KY{$j2D<fv#ul@oX9dA`=t@sq>%{dx0b?cI`P^~b+P zuDlQJZyY(`<0W&CeXyRrzbt(7=pE0(@Z*J*GU?vp1eo~IvSdb#Z5)aImq!di{L|&N50?+WyEx+M`g&`9 zJy}t-|7S~UPw$`P&huAscywzH)X?s;V>Ej8eA)YG?fY!~EvEl+L!a>UaOw8XUt#O{ z5lf#eNq5hFbYu2+7tenGtFOD)Jh@}dlOw)ZeD@kSJk{#EYnS(ycOD%*b@!ULZmq#r zf4+8lvV3s&n#Z@+oJZoWoRe*z9CK8RPUZg7;h)ZMge!-UHon3NHu!u+_}+@#2S<$i zuBPpo@4m_{9RJy?+M&+L_%Cj(i~&D7Vt&v0!I}vf@%+!$cNqEmh3NSDZ`bo597i$m zFBiVxT-ABFy!K%E+xVAXjlZ>idb<9otL8sC&VRgojHBVK`HeqZV|)I#YjOR(`#<~^ z`@g%ii8b$z?5U=qrMe{M=YAP{K3^3E|=Zx$xMJmT|*3t4j4 z?mt`_p65gr`~4+N=kxxFgugt-UH8*ZpRRuHy(QtntJj{~UtQkpbFTThHuinCaQ@c% z^JM*ja2%~Np6bKePmh@Ua#@2J?k#k_TzjYxykCs&LiKRK&FDRN6+Lp**2&+~Jp10# z@5%a7oiXfb&VJo9aers6dwZ?BDf9H%P5->PESz|S3duQ44?vc4ZJ0j%6_3Un>ocry?$_6+hk>_+{pB=~EUb7!8pWTcg z-u!mEKU)5OuJvE{fBG+vhTNL`|Ea>We=AIbojQO|8}`@+Kb!y zb|tRj4kod-*z4e%KbYLLxE235@}=Fx<>{;4Cd2Whij%+2wL6`^wZmo3gK@>VcBiZp z-(vnBzb1dmx_YYrd_)ZF(g;h^x!ioYUa4+;g+cGHC-Mt3-djJLYlS>|dVGF9|8%ys z&3Eh2ieIf7c>fp;Onq-jX5U+jHT6nQ*U$D87tDf--+ncZEE*W|M3?H!>=k|QEeX$# zuV@?h>zLIl-)TaE^Mtjq+v_;rp2l@&vVa%X4_r$piO+~b^3U1 zz1Wkhm$u$H#5i19S2p*WzBq+G;=(hrdtsi}`ocW`VoxJ90>+^iv;WbS9 zKKke~ybc}KS#RIuI6HW)10c7kv14AhK7DvMJJN?8txq3z+Ml1tZr|q%8lcLTU8{P( zy2au*>#%PA(tN0ju#hI=_TXsW%j2H+*K1L>Ka}vu)-Mixyef~ofp-qyJK`5Bhccs& zUyZ7MI~I>_j6(6#HP$|&@?^c@l_c@ovo#`OJSbmChAcDWsOQE*teksmjp$nGOeZpF z;kC?ocziy&@$A)}d`_l1YKJf`g5O*Flo7ouPoAy}rnmXwK-}odUQc}8KR&1Zi}jkP z=tmPjHA1#X!~?h?kH!d%!i-U9Xmwd(EDe&VLp4UHnMZmOi>RGvm&qBr^E+$rFAGAh znIshVD%stBt(F6&g}I)ys)P$w(sLpqJk>N(Gu!y9se|Lx0XUh|^Y zb`QtiL*{oC*q-FTW7yRL<%42g?uhftqjvV8L2-Vu#-@M38lkp6rZ{vGG>ZmV2%{5G zmKkl0$g{MrNmRp^k-^9w&Gj+SR|~iQ?qxB!!MX1z2zW1dD3%P)cP{KOrj&(>&r-&qx|MOO+>d0vX31?3{ILX z6=}9OcZ=?hZFAupK1kgs^)eVXLx(tTbchqwiVi*IHSDH4AJut|=d*(n^xFw6vfA{CbV>FqoF-PhIo?u1`oGjG>>HC~mZ;qHD#>+}f*;78Vb z0t2D?^-oTvT~hCRFZ%VmPrc_&+Q0$UQu+M-@~D$&o^nmGu9wO85FVyjJz0+}jPg4E zEpjB^#HcLperlqQH~CMFG#19K9lWR*oyI1QA(?g?1#cg9$7f}*pN4TDgUvDD&XCh_ z7RZz73hIAi>bco~(K&xYG3?XC-qjj>VN4a{9k`!b&#o}c`&;)JrHxvU-8{+LaTo75 z&z@$|BxZ>x$|L)C=dw@sdo1qY)et-P8Y0JjapU*A{PLK8q9`s8R{sY%cIQD+wx$t0 zMIUy{K=Rn#sa(v5EooCvhbQP_W!{((Tw_g7%N<_jHM+!Tc0R5A{A+}tXvcfQC#-^78y3Q_7zEw(hbT!Luv*xdr(^NPLYEj@UfZteW|PS%{;^?g3- z{jN(m$6k6aQ4tBAz&X6FO30n_TX*)eDg>}X9AJo*eu}~P%*cx+sYo=_Sl))mvUvJO zRzl~?wSr&T9m8~M6gxx1>~3DW!-V=?cLT}#%brbS(B92}$#_xn}FxAbMu-0lO}{2kKJ@mqa+W;=?$ASDq~okM{CT z1X*7v=ZPYiB^Q^+RWpQkYb{;N-E zWPH)n`lRY_OiPcsl^iKnRx#{@rDgQgjQTV-b)MkWYN|1^^`Ei)R36@&(?2FNOMRNo zO5GK)>2gARw*twJJ@BpJHOWvr-R{ zo_YU#oXw5b(O`8FtC8(ejZqc#x=G`AyW}NfbEY$%m*Itmq>098ZKmog%G32%foBDI zVPH^JOlC~QDBgS}2EHJu{;|&5ek9_UU8(E|y>{$OL544pr{%l{<~aoLST`YZ(fQ68 zukl7F?xMi+#`Ju}V0U9i>Oe_@2ilQRWJQ=a=vzgPie) z`T5#Ua-VwM|k><bI)L>WQ8=kR0lB9+|6Rd$rU*t0_amzhXEmaVl!i+ zB>uxl)yJZhXRHwAiL@yB`L3s)rQhzYWhz`I!ShaLd&WpF8)u*0O|)`OOz|OhB9kVniBk#iocA2XQI$@z15` zz5HEp{ADNhS0h5##BiT+?(*^P&iMyxT%NIYaM`TB@WQU7@Z5>D3>5K=E2w+>cxsQ; z%Tp*8V$+yQ6y3O!`OVKo>| zvj@&dB!>)^)=TIz>>B#%LEBi0TnK4&Y6h9+oR5+?Shl7rf_=*{C@M2Bja<+>WAQLJ z8de3;D4pdRZ-q=+)T`6Hh;j{BGaVJlNXe2-J1vVUR=2^b?J#OX?u@&=HcFGx^NrxFD z30CqZpQxwpciWqFecnee-f)(kGz-fyZXKk^%qabm%<4vWCn#s~-D%f{iOYsPN<+xW zw)%i$$t2RskD--5T`OvKtO= z`tnllzWnnKb?j4dk$n_l&)$IC?NKAwUVicS+jEy&9T6sM+ z?hpAL5jFJE{t35WLw>_PsxseUnW=HA)139O5zpf6sT$L%U{mt2r7DDpvDk3BdTgz~ zixWPpj+~C!&Agd|)vGI*dm=nH4BhF>>9vYbMK9{!f$3~rkKWAF(RxOiq;^jSm^DV` z+(4@;nfh3*#>pYA`cy|)=cpdip$?U#`WUAOU0|I;zVEEo{#dPO4P(UJgcn_*V9YVv2$-RWfT3_Nj_f~ljBwnUh2u`d{F9RYd-2+jCy{9f+cv(r>OgZ4Nr2c!#lotoPu*#V zV|mjKq7M~wN7Jepg?HL>^O5|rl165kQ)VWwE``O-tiG9tfg2+&{P-TH%os$;yy96$ zCQGbMcZlqCOa=?fT^v@{K(jg(YRMR$n0IMK0{Thdj}UIp_LUL5H<7L$_|yg_t1Ao# z3(5IE0d)y8M|<6omzX01>9@XpjKzVtpRKIgG|W*!kyI>ENifzRhP91ON5 z5A9#J@>94n&rVa*V1Xu3-+Ka`OwLEl=7F(4)|;$8&p^-Q#AFp~*_$_}#>YxHKpXQ=FJj*IxrnNoi zo|6vsA@mZV!L(@;}Iya0#|MVk=CG?38$(+8EHldzvX3;6Gni1Hf*C0g#Acb(U*i-Sc!j)|A1*P{~zi60xL3xn$E^up`ZtSaO5RYjaNGs5?inXmxa{4rIL ze)*_R1>tkVrx6TjB%%MM@@ozC1Tjcyy0k;#f>vW7o4^KSXCmZhaEOwd> zOGKbiy}guqFa2zwUBnR5%O0mMS^aX2lFI!_4d8vj$Rj11KAX%oDl{{vS`d_~*&pI6qhdLRUgNeq! zG$UD+8jaeGx8`Km8Jfi5fN}~qP43c;PgRCt4bRhu^tui@dtkZ;={aO}EP`CahidUI=Y)R@jtVw5I#Z^>?ufMfxJylZQIB%FxM~ zsT*YQS#c_7I**ON>=p)lZy-NAx0K;KmqmB@cY5^dPMKT|@anLLoGvRTlT^1l93CC+ zmVM*>852{s?_QC2rt;Cm3Nhb|QIDA4&YxD5%F#K+&8H=jAX9i-4$h2`PWxoXLb1g> z#THK0b*k!*y-BO{B$K~nK|Ao8h}3zBs7y-7Ru0RQ&%D!ZCJyS<9`nZRX3uM$A&qwN zjOY{xaS6dX;Y-nb>1P-1);kYaHsr~ZeOeORsgm#|n&U;hz)ruv#J^z*FJRKC&ch?c zcq%Up+q0^bz1`iG&CQ#>0!z;+XvW4fv=Ns&s3K!T4=bLXN#kIiq^mW2?m0PLvvjK0 zoZ8Dx2r{BJkxLsI`(6zr)132B5+|6c^{HVPwEyz3{S{EMLbcQnQL(kiU)Q3a|OvP})YeiEuvR(KwM!h3o+xq+Y5n(oSD z(&0CqCDv67vA3CXqEPGS%&HEQ1Nx0vRSwLkjMXER#iH6RvpiIHnD8cPGK>m-`=te!2AKg=D>D zeRn;MsxqG$b&BkSIK8n`qI>o3+*v+1wS1uWHB(h`Qq1yMs|WYqU+1mXc8_*C#_#6k z6{pAP`sv!J-in^}_;Ultd)4FY(itXJV`tx?Hrhn{x8*;kUsiVw?yy@PS$Yme&mP7$MOvNzsHn!dr#>SgCHdwIveEf(+6UOe4X zbhFi+N-SXA^*2GFnRhzVLP60LJ$Fw0ILLx0GennHVFMnqr}-YMg1qkE z1%7MQ@;TkT?%zeb{ci)ag+*nVSH*&N_Y)rDqiP20Z;$K~hyU^M{C|bpC%65c&y%I^ zr8iIZR-yV_2^{`Dp61?O7GM6Gx6bO_Wkc9RW=?as^!gh+G7ewKOBn>kajs9437Q4z^PU-bb(2%|rw_5KOlh?$RG#}@k2quUoOW@K9wtt;Hr=rZ z-mR-~*BZyxnPE41r)!Pf$RIKM2Nx_(0)NCr_H5rlQT&fn>&LFYv7@gKJ*r1F2twu^ z168I|rPyOhcoAKmg&grqg411<5>x5m&E2C;LBpX|ii+3M1%+Vfbb5lhs;=9A2$=d= z7gfhoBxy_@S*p*apCfv@m}ze2UROKj-)1Kn#$-t63|_i^3a*oE3=kfQ(_~+fzP<;5 z?eJ+_xX*Jjq5I47#h&pi z7EnKijdAnbx$gO~@qPvw`{`vjH_w*Mm;RY*&GYMO71B=tGW8&kz^W^%Z%uH&Kk1j6-`e>^3MIuPBF&L>~$BC*L$ zUtY#zqVmHf@ACJ!x{K2_tEG@~{p??N3?aI6N2ej@qJ56xsX9|$o4e8LXaCgvI(|2n zu?4SSyYAC<-A-1z0^LiUdFKHuJ9*9t0Yl-hdIG)1j!E}SBGnkF-7~4QxDu){oNnK# zpqph}C3Yi8$9?^OVY+MN?afPfpLt$)YbKuFU;Mh?0=j*3<{d07sFT$j$Sy1>ey2~M zrEb&BgS>Q;*a_`*Pqws6Zqj5k8!r7_5PHy|vxvW;{ra1~GJc=6=Pa+jRsBMlZe-?( zZ8rgYI{kzbdpFBiW4aoAi(Ayu&J`r7q-FUqjOXOnIoTlzbu6vNL3G0BF@p1Wy2G+_ zjhXHo8l`(*?cC>^A0kPxu@Q@HnNP@Q)~;W9}? zIwgd8*(_t6B%Bbc@nw*G>_7vozWV@??)~XLldI1vw$1JRC@WNIv8J24FZ%S|?*|P! z-1LT?@_SzE4APwyc8!tLk}RQr`AY|k#429H61d4q&xSWTg{hpwTD+K7=XS&iu1^E( z^Bdo1XWG^E_f8R<&po7h`l>nAc{Oa)IU-JV8x#NOXXZR868OuC#`0dAOm@s9TSRJj zHQg>fdHD2;^_QMK?232VofZ*KdaTbTn$wT z=5t-@guVDb$=6SCO+UfUa~^37PW3jt#lziHxZA9&sWZ}1$a>k&x6{L1KfzTWf;aW= z&Sp-^5b2hC&QUrhV^iOHKV5B_88Tr$E9qB?F8CcVi0&{jBrk={63aIgFL0UP* z>yj{6zn!5Hb+1?tHoDWue%*8Yw%*b6IY(Z*^jxhr&Mk>P(Ft*LS@GFyX68O!7Bj!O zwtrK?40Ec`v31^KyJ#BA3-FI28{>bm&>!tM^Rji_RA1Bm{I3p zMn$tDgzz9F&mD&<*GPS3Tw&ko63uLMP&s#Kb>`5Q{j7sG_c=VDAinx62Zqf;ny<#OYbSa~~YYr!(6AEUePa90nPGVTZQ{95ly3UkzaKs%&y`!=%8Z}VBPplp421RcMu|i&DAG`ICf6%?a{J* zN1tBPy@pEb`Wy-QjbRMC>cuDSG?F*n`G}i4BV%OBg-h=ReHv1BT*_bNcb^2kzMIyG z(r0Mor#QsNuqpehb!BW>KJ#|&;=Dl(){ULJXCx6?ukWVu9uC1^gZ0ys3BTvzvQ_r& z+kv5fW6Jv(8-A#=sbl41H~417A5I_U$kXbjXkOn< z+jXeEkhjVo*-%x{Ih0X&Q&qv$rz0{9M>fAsq#FyJC3!`{TK@OC{-F6< z8KWDRTbGH3e5o2$UA(W?NxRCRW8 z*w1rQfY0g)wA`T<{*xxRKiykJqMq%rku= zA^T=zJedFSHSgX2ywUk5r|yb)C%xOBkm6{L7#XROG+sOiRJ8RrMp6{F&PNm#63U9{4jOg$!`(8J`?Y`~NyKX%7*q8p+ z20s*8osPVv*)T`(gbjYscktePK^_#oIR0I>;uT)NNA;H0jJ3W`=MLNtW{fanP6o!pfNqMU?vh0!d^mUOp;%}{99e3ow1C`l#+bRCKK%>>Jirn9*<|Um?pBC=is0yb;`_lBGg@h>|!BC zX$SAH+1Eb&6*d~9lRn_G+k-xdd--o>!80wV&z8y40kOLtlQ+XN?TTlJ8TL2jeF^7Aj|~jtBni zRDOh(P}&Vz`6V~yv$(2(!$0wCyoe8ku>}^c9BN&+v6m&ht^hGTP^H< zx0R=Uic!X99u9L81v2cE-mQ!oFa1CA`rP8BzcU5na+;^?D}(&&MDUjX_*#F&7C4eY zG%6#-tom&vy=6i5MKq@F@;h``(OP?iG@cHzVh9&zo{o~aKdV9)$dG;KnN`Mzuqtw% zjIGP7K?|!Vs#!jI?QwY(BbLQbJG@ChJJGk>a&|Y5hxp5hWpbBC1(vd+P48tT&MU@w~0#lu5!HbO7{kGUt} z&^!OnwJc2&RzeFTPYuTl;!sCdbi}y4f&KArXEby9DvNf-rXSB1^{L~0=;xcG;r+Rc*XXCS` z=3n-%2p`HgsKdjoIX|(n05ketrKg=QvE$PhYn*RF)AYG?s0u-#Nb(ntLs@fYbhsif z#)7;YceB4zzIKCo!n_RpGp@=c22KiZzRRf7d?MnmtlYp7*w^4Rm7( zFN_Bo^PG;;500NUPg@5=otI!}_==5XKuF{lOgH?!v#jna9VUOK=PIK&679zWVRiDv zUVhe3!DOq9@}w@u$ed4h&XLuL0amI-*{0&sH9z39s)bqSW1`RRFOTCqFz1d_TwR86 zpTQ#UGK50`p2Q0fE7#_KxGtXT3*Y4%zgaQ!iwUgqP#hS3MHP}ZZ}P?T{m>R~#{Xt^ zDzLf=Wna40i*8o%=8_&UqruWXy{b~+mzn|*m&juic*zyoA@B?Cy3 zBh6t$DB_d2lRvSk81jgpj7(LPdCee;-)E%G#6B_foLh@SIFtuvg#GNTF3j(jcs3nL zepVCw)X8DSwpa6go#uF-??t1$?1V!5ZWeeye%WI@R5ZgisnehC(+)f3dFa5WWtse$ z8Y(YCm))I(V?(3y@cB4jve4}XbeX3^h;1;H8GPKiNPf}-D(k`77sjDRbn5`&2%1BH zIaXovs3XxmQmX-dSI>c{&f7*Vm8fbGW?NF3uy!FJ=5OK-tt&Sez`_h9c>H{PIMwJ$W; z9Wv{M<-vT3120|g!K=S2fb8!MD@;QH&MOP2)(rQ{)mHIxSqMGW)(cDqiVdVd?{r+a z5q`vb_e3#Dr>0h4@4>4wm=C*6zbMb^XD}Z)+UtemmwGpD9t9h@zD@ryO;RkhR} zQ&Z}d^gUI%I7MDfKY^oKNf&sSni4A%Ylvu1J54_tU!@71hS%k#QTq;7lD;);yvk4o zqBpLAna);KQQH2l+=I)K%a~1PG?_SDD-Y)6!*YF&6Iwk)@hqZoUFSq6E{MQ@*PHNa z@AM10Js8J7vMKE7S+6(Yll9Q&9D}`w8+13F81|SxOeV%MFsBNfvJ8HRQOZ>Q)|=K7 zI{#QpPRNDgs>L3|15N~|EJGKO)0=c6=oX_WcSn#W`a)}Uk9BQ-h&SP)a~aFs@%PA;U0(tgEZ5itEbdyIY0p zU3i^~8r0btd;b32gtt?hFdb0do-RU0P)C+jlD7-p?EQ-eDFI92PZ+|bOe zD0$Y>YVKa$DVayEj%jCK?=rnuPwLb#_PqO`SFZOb~RN)Q-^Kr|^*Nbv%avPc>E z>Peno{d;ijI;Wc4k{wx+Hx9Z_)qK`vUd9}AuJ!Dy^Z))o-+uZhPrrQn(bMzO2T%X$ z>HAMVd;0m)pFjQN>Bmq1`04kaK79Jar>|Xqe{end@zdv*{Cn5aA3y!z<>{Y1{rjhX z@${8z)Hkj%|K#b9o__b~cb>le^gld(=jq=({qyVT|M~Q9pZ@ro{qt+>A6$R`+owNy z`e#r7>gj*Jo_=u6`O4E*uRs6C)5q8MzWUBJ=R4PvfA{piKmE(=Z~K4v^5l=7{+Aa$ ze(&jrPrtbS{PgKtFY>>9^5+k)|31F{|C3AqA6)W(dHwy}Ys?QXZ9l(u|LPYje)ZQY zw$oR?(Cot(`S-4Mzjy6&?D)#1;Rly)KfCPz?)B9A-+Gbw>id`1zVr0IJ^jR^!>|kKf3<^ix=tV7YdB~{2DQ={i93wUtF?ZUjP3u zTjkHMoxc0B=iBT2{`;$I$N%-|FRt;=*LQ59$DdtaKVN^$|BDwZzjck{ zj~~C_|9dZ^K7X0>)88=a_g=E$KV7SR|BA~$yXOA##ou4M_VC{~FK>T##pTn>{~x@> z=<82kzyAL8^07Qx+@a@N*IYXO`04+8S>qlgiKahay_x&=%Ch=LzhPZ@AKL%$g#&(c zt$AeMyPkdbvhb@f-tjC9e|*_dCVg;m0!;kbWyvID2S=j+s}~GGP+WqV$8h!VzYt4_YeLuVY|H&20|NBjSMEreyKE9&; z@wL;(e~bEr?~h;f8P>n`g6$t)mc6TeBR+X&^zUE1|Hr@n@9jAsy*KC9`)|+r^u0N^ z9(sF@?D@~X&RS9a7ne7`c}0R}-=0%6j`hEPSpydzUH^UhC3C*{-adHxpI$qCa>f4b zeL~^wKDU1RN59tkmTR!gk6*ayXV+J6ulx1)bh-7@Uw7UA`1BuN<)zv)hClgQ?qS!T zU-|UGl?mT_;S7K45zfeOf5BC1=Fh&U#rg&e`ipmFR#ATN!XanOpIjqlT6Oa;uD|8n zzq=Ts`uA_H=YR4dRrP*(^sdHy>l&@joaeao`T9?9@t0RMjbncA zV$yr}f4eS!+5R8?4fg-`rA-y+?Wo>r8d9q9;{Dn$Cma6aviSMwf4njlhCY1ypI+in zl`NK`lW%|Z;^%K(-;t@2?{+(1|Kf=;p1$AbeDZ>UkFKY$Ju9|fed!w@dzO&BTeZG@ zbruKt|LQ{HuU?S(rxymXfy(!%mmaUPq2A}a*J^sm@7}EN&tIahkL;_TUY+rGt`)xa z#rK|k5IrayaeqVdh=hN%|di#^DzxkPnes;~lrmt7Lee&8j zS;^l&{1W@hnK>+@Uh^nZE3smtS}l>U8)YUtfKCd5iAfc>05vG3uP|`RmvB zAHHx8>vVS?zeqlP(b<@9UVr}Ji?Qtg@S6Y8C4q6(g$7@LS$7gMKDkDySM?+xUf(%! zeflzkZl7M?k$rOQ_t}dsI(iaag^CIjjnQoyb0i;LyZTN~YK~sSclO|Ovh}F;;1x0+ zfG#7g@Yxqq+K|-^rG;9&75SC)8`oMqXC>ZaWg7FpHB~hJYAmfut(#V#T{C%&RxocQ zO(`M=HK6u%0 z9%HAKtlZkXEw*&cFLV+!zHdyL@+#}|v&zNxPp{d{3xPBU$#h_gwdmR?I@2orCZkRG z5|h_5__O1l%LpjvvDrcL@%26XMVEgu5bso9tpL$UFcNRmp`8Bs`r5wEKjk!JExYK4A9xI&Nt_}0ke%hiBs?Zsp-vuzfqWOM4qHV+ z1kAQRZ^u;p(Y_G$@ym1C%93S$=%rinOkcG(USl_3@}F2+QKp3oda^*&NqE?<;Rz!1 zKdjod9Q%Vy4q;Xm)3BzlLXJ4{`B1{Ed?`YFx$o&HQ}dEBRunZD4ZSgCzNVLFU%N)$ zMkKG3hzu{-f0e*4p_T{W+{oo)y0$CNnoYmZCr0z)WOj(j!%sCl=76;j1QGdVTD7Za zK_i{oBM;h_gHreaK<~7;8T7(uQ5IXLf8hUGZ zKe_xnrmganb#>78jGto%h%58VSw*8A6yj4W`;K?a6ghdBzj;F*`hR&^CjoJ=AM3H5 zUr$$KrQy^#IxM&F>uLf#@gc^bY3FVd8f6XC6cPB3H~d}Xk4jnfX(!`4{?4I#1Lw+hk)1^9Dx9qFiD&-PDd>kjf2sW4Jm_ik5xSqcjZO=# zpzk_8sqXIfRF18zUnf-exOdFMfWoc_t}ly0;$p7FF^k7td# zIOnH&uAM|_uA{l_{nFSu+$K?u(Ai(XTlHIWg*HXoRQC(PvIV z3$yK~|7x7Q^<3=j^^FB0<t<%1xY4Buv9L_)Z5`}(!m4|BqU8x5W$D&+G8iI71 z<3s)r0S9UE*?IOp4vT+LI%lHWbI&bu$B%q}PDN+Gd#(QDZYFmEr;Yr>X(EotSsNqC z&W~Ph8pcK9@BT&fFaexHL}z3^fOjz^V~LUOu*MzX!5(~EF4^6or(N#|vZqm#@mmpq4!+@MUZ|dy zJL_xg#b)F5FY&)KSDuwAtP`KI#%jgn$XH?&%Xrajwi{cwB&$LzD|lYasx`c7)WMbP zH}2db$9AxDFW>YDfO}Y$H5mUN0?YOm{XVPRvB*(gR^7^yq7+l$6qty2!e;eG#LI2i ztuvGdjWnaoTXmHaYCa$97}Tl=M#M;2B?XjhlLz2z*%U@_fzm)F!Avu@uT$Y2_m z-R%qI_PdqwPFcln*}(E*RVI=0y6^JrG9O>4Oi5$dbQHT~DlJ-@9h0+H?$*CzF#f`( z^C150u9aUza~)w^iH~Ta66HI6r0?yMoqQ;2;@*3PVwy~s%WJed{<`g3={P)DiMQ<* z8tq3?$DJ3f453FB3yQ$}=Zq1zvSC$FER&j>_wXkS@anA8hh!%-uyj51Y>n?%k&X|< ztNd6z^r39wt>N|7PwRJQvx;?ev@iWsDjL$8j8&|;mr=iYX9p)YVW|@hyI@W(Jzrmi zJotLND}qHiQCw6#IaI#ZJsw#Re7q}C6=a$$kJEGtJQx!%d+S#*3N-TScv2?flWJ1E z*O65r&bdfEkXP0}r=GV@MKWI8?tfSG+1)v%nyd$lhvm@oi&m>xGVk$OrXuU?QH2(h zRljp~R}+k^cEn2gm9%q2QcSzCaoTI|Q^B6m;!K<9A7RF{l%tR*@==JF} zud+Tr*G)OSbxv_|azc|s@+)iDVlBG1I-ScjIhU+cyqWy`TBakiW1WGTDbwx2b7qRJ zN~hZB2~^6u6yDi6L#HLiB>EZpVUzAVs_weBzNe#IjnJ!EH!flau6Vv8Ec!8fQGa}v zN&Jfmf7i2!IQ+qc=WtSQQa_~=_8fxac*yIv7ryEYttt+k8s$Z&dJ;WTU3@40@FXAM z1#+N8WFMbpibr_p@8@Tk`h4?mKmFnbHtvo={2}l8!a{5slIl=TzC%+rq3VJI)cnuln**lyPZQjnfn{+{=U8?P`mH7TgL8;Eza+sGR3EwT~5}Uhd&uE zi$8zyUs(W4&?EQOk+g1|fmQ02c-?9cTsK3a>tKPE%Tws<46-xFda>aGW}wZi_(UHf zqk7}(34Ft&5u$AlWa5(DL_thBKpy7HhG`s+Sb6t!a?3k1_?JcFrb(^YEu0kWLp z-khK6x$~y^X>Ob@GCuD8A=&r=lVV&lI_0tX!yYVsSBj;_55|a(G5iM~WO`?euV;io zEFUL{e9Z1yy(z4T2`!R2&p03CPgdve)-D=mY*w{l{&bpN9jhZt&*`H757RWApXpWR zID2G?+<{YmEcdL$hH~df$=1Ca<8)j9ZneCEP0b@IiflBCZ>mo`z`J;_sQSB=L_C?e z@i{N0sk2Qvw`>;YWc-Cu^Cn;JG{*LM^WK{?Ub>gnAi^JU(xIq?vc$fx)0lk}2#cCRi%Zk$A%UbPN4#EtikXv+OV1X~7po5FYXjE%NvC z^|UUQH+`-oj*s(X6Z>hUn(zS~AVdc6s;{~=x2I_G7M_IgUw@=WBq ziHAO8d3R@iS-E)CL5p7Kif9`X*E+g`3mG#{xYAXDe3v3Q$ zBKBoZs$Ed|mKAUP+{(S5C!w8QAHHH#efZ<%6jpgA_7%yhHdeq%;aW{y{#7+#v220G zW@8l9(n!p4s`umO^l@|gxH&Czu%H^DPF1@mDd))4-Z}!en{~e3l;U}{@NsjRmu|aO zJfyqgqbfDe>W*{}dM<3H5@4>pUJX^z>&w)2GF7^BzDlRYlkQCh$*Q@|%WVB$jMx66 zbYynu_NaN-6I7EBMojTK2ogip8bZXG{<>^(Z?hUFq-RaU|r{L}YLY@=i ze9*l>=wU5Qx+OB!8C};9BG_DCuc{4EBEQap*X>$w!R{oof=@*x$+^Q&r@nEWD{1a| z_Uu+F-_wfyPzV*X-`7R@SZ`&~sJ7%;6|&P>k+6^GSpD2D$WhWx=w{L)7GiJS>C7HZ zMWr38_x6D$zOgp^%5b@|yAHl`o~5HzVI8WQ<9qw;{>MyN!gu)`0?TsN^GDy)#V$sT zBkMQx6ZSNd7tEID=R3Nx^!Y`LGVuH~QFkSF5<`fSzbwQiR>lPOK0T(jSw(ZW@^rVp zY~uIl7Z1~x?cK7-xv;qm($~w4Up%Mmhoqz_Lfp}l^k&blm+58W;CMB{clWX&Y73J>Nt4?{p!7+MTJRr#YD46 zB`9-P!H&mU!bP+^5>Y5h3O_|KmU}HN(;yPw%=Aar@HYvDi^IaW?~R8kxepEHEcDxH z68SIhix#$8PC;I??cu+=Hu=1_T2NaC`g<0h%-uT!c>({{fJ?f_gPkVJf3h?;4u7mR znNKzb!2yrAg!3~TtP;ZlPvN*aM7@iM^Snw>-8fRRVapg*9oHO|_Ek6Lc)KXpiDKpI zTy;Ubsx0~+@#3nC*5 zbs@XGk@@1edL~NpS&nvxV#iJaaQ7PDVJj$hXg7)6?Oa35g-Rvy)0@ADDurP~e$S z*dT<`j|>aSmV0|OcHj5e2kd~;&e@Mfk2iI&qVK8p#M5MAj}gLJXAaU6F?k!(FtBm5 z6iy2H7l;?FwIBWP-ldOtMS{3>mcY9ib+@xW*`6@_ASIJ^6 zE5=!LZp|ZuZ~t|gip|)FyR#2lv&4R5M0Q%q%HzXM@^oz;n`I!xHzrNx0pypxa*6H` z+q|8BWoNv9KJRd9WqCk9yb%KI42h4Qao|6B5C-yHOgwBA2@%kD7+vLs6SZD;i3gN= zzSFxL6~WMJOz||{YN833>lJhnVr@m47AoLew=3!-PWg5XPbb2#DznQmT0oe6WO7(j zg=pG|?w~|o(L@JEw|!4XnObfdV@2#!Cs_T8PuA;srh_#u&!o#LlFkzP=)y*;v6koS zqmnKk)3tFtYc~Dj5iyz=`K7z}^uy0_1)bU>589WmV=G@{ znz0DBe*aCK-&FsDU;o~Ezxn+9?)|rZzM)S|_j~s1HTp!C%G>YRm%sd5HGciC3bDud zR(bcg?8gE4&S%nZf6xB;S0Ud19bKa7Ukdoy7rXxQTA_c{0mj2^8YX|O<1a6LjDFu9 za-S4>J^r<3_xwKmJ_GgcC!Okrc&d!^Jw7aIGD9ZGo8KhI ziJ4b!&%)T4_O~*8KYzxMyb)VggRE7*R3yg1_AcH$&1dGX&gzz{daX*=R?Vu;uBzzK zc)eS1CG1)^Wd;7VOSg)is647+eHGi&R%E zA9Xb5A5Vn#P=*I~lAy(~M++Y32OJkR%ctJ=#cKA4{Q5w#!4UQeQMv_jhG3Q&H<@~k zX~s$2@5KytNoEX5vWfjgF=X&s*}%$VLk>OKsTK8cJXMy`jvvgcJ|Dz1ulKSs6}#G9 zwkPww^@qMHLD|DkX(N_0pjgmgTFS6tz1XCY`kuVbbVxjMR@1}n8EZsdpMJ|bJk8=N z4>W`fw&g{vfm3vt<-%BiM9g?njI5+$@!pZKs&O+VmJ+I=Vx`*Q2pM;G&M_2&y~t3Nzj zZ0Ibmopud@17R8eDxtPCk3 zG91K@)icP66ZoCgtm5yGjG(IK?rYE^s-U_`RA< z*Zd-WB3%b4H?761G&Uo)=A{dBDza3?1voieRyjtE`;nNwHK> zk0~)s?8&#h1uG*H;%Rb!yNGJ z-(~Y>$SR}FfV(VcCDB#$PxZAvY2APrL2oiujdJQZ=Lm2PuTme^6O zW6rcEvqmH+vAnQTm^ceD~Ks!4Ser$?Z7d^(=O-?MpH z#XI)5n=XX?^I($hd*P6ec?vp11THGWSHXsF*kzk>R-ogFMEO@YB>U2;oXN*UBIJpM zsIh1}i$#^!s>AR(^BiflneP0xyXWwt!nOzdPj%3tEE{Fbki??K%Tf^tiF}f+w{kHR z_t$5U&%Qu43yrSVfCWhEyb{vNT2Wv%Z;22DtpbS^9ppQP3t8CaR%W#-RoH_kBXC&g z!``YdnYFTJJCemV`%Y9^mM;Z_-p9Y5eic>lv?o z^EcD3e1xTL_J4J0lfUY%A@zOjZpXi`U3R|K?z~Uj9U z=hK7y+uz9Wr`KBY>Yi+n^?0>t*I`2V={jYpXvya479S0R>SHyNzw{nXoQta&?BF2? zDFb-Ue&u5RhTUOK-vo6$DTch0CrPZ>8A>eb0HL@}NJiA>>Kth%U&>*1Em`Ng^>gIy zT`Y^PoZZPIeXs(ZMblSyWMNpA8+CKrC%ouJ=^>JN4f^V{_-s9vs$^$aZeJaV{cdGd zb>qSr|8&OG$>>n*%16G--<@#D%j2Z;6im~@n(U`VYv0P*3#)x1vz|`JygOyRV|`pb zsc7aa$i`AQwhkE*_^#73R>`k?q%!dcJ@DJD%u0tb=P%ZZl{s`Ao~$HRb_;p-BeBkW zV>bvrGNW;Ey?(3!U-=c1=coGA?ymBlnJ{4Nti*D7hb&85;n>RSJklDs@_2l)wsu*> zvoff79Y68O_GYt+k>-nnHJq)DnoMLM^FDs@?&`~b%KP<+RyVn?s-DfJGkyxo-4!6m0wdKp7-LCoWiQ}!_ z!L96<|3uuox!u0%4-Stv@yPS_oqn$>rb0h{m;7ojrj57jwAF;&w(3|_``aFuC-rEg z`m0k%>dcLWgw{M&#MoFKKJ01*7^)tqr1fojqgGW98n^pv+Nn)RAyt)XFU)RD5noSa zZ2N3YyCkb~HnMr^R-iij>Kh>(M_5O_>?Xo0t)o{^?djS)I>Dg+YJ1TX{>lz(soZqe zEj7>DqQS;GNuW5YiCtFXy=XF;0uzPl>^z|zG6IHwO1n=-i z*wED^(Obn5G>!%GT6dPbffwqQ^o`bq0Ft_f=NEtS6kHVb+uv?yG@T&|Z)AJbn^Z4q zJyD^1IOfCkK4uxI$}LvVOGXR+F`qR_X=8T#LP)FCc{Xq7V6m;|@wYq?+jevU=EHhD z^Cl5BJ`Z*BAPk5Z{IFu!DiR`Kw)MjY8|z@}?O5VDZTYg!Ubkf*V~S_`7ES(Ow@l-| zohZ7+3{Ud0yE8iRuwBE`iSW*_d}zk)>3>+$5kiiL@cB?8uV~VFN&nvWbd;%iiL5M_ zF)WP*;uHJP%QLqfyuFCzbrO-`1^cfO*d^3f?TX#ijTpN-j&LU~F_=yw>{P|aYSlG3=?{4s zB08_-GEu!LOJq%VA&}TEkmpY|D;Y+XZ>PJEm2`mvn6#&pM0kL>dp||{=?foy`M+=Q z`n*!k*qvr}AEQ3Mc+>Ox3%-C^x?vui2Zv_S*jI6e98obES%>oZ%MN+ZY-{Y+NQXs& zd#Y2s%?~(Hjj3jdr`7Dpf9Ckl7?EuM?zh&l+Jl#SwyH_v^(ftvb&jZKufAK)>M%v# z_~QdO7+*IoU1LC9Q<~hK1H``P9pGBfm%K7)*Zc)Sf%~<5#_2-`7XZvR_w%_}SsVa_o z0GY3`z6c(DM6;-PmUZg%<1LpgeZ1u=&tXXxIp@@qIAz7#ot80(Dp40#4}UAGQvBC? z%k{OFjELiZ`Lq1SwPz4eT-81Cl>-jFA{?q=*RCQtE$ zZm%3vCF`w{%v0r?z3ho?__xYqb+WCZkJ=4U{jhpO7oM;GJEw2;zcW3VF)B^$UY}<- zJe;h4t&Vlw@lK&^A9K*0CDyNlwK6^_@<*y7!N|G>6?SK_&XHA}^%C^)yei0|s$~8= zr?fheG}V7wg(Z_avC{^dy)s6=gRYH zqFJ45t!hPngf$WCOb@&D1+?$xgG7BR+9Ge?R&!3H9g8}{(Z)#qRXcdvDQvxyXovxC z92uKB$%MR4QhA%kyL*7D@nPk5Fvu1&->!AzLf4q^U0U- zV;Y%he^Ki^A(SIcvl$n(!|Y@6;yfAb*y+B`3!>b6-2a&hwy7NTopd9StL3~L zrRn2e1q>sQCF1)JR#roN_3l$#(ao&L)<>Ju9YyQN5T1|m*K4o4-Rfp-h3&qxSDCJU z$(Qm~p2&={4bR~XGtKh-qAvdKt*S6Pt7E;PLjL2cZdve`T!Lr)h1vVQ%2G|}4mqZ> z5}w=1{@$Mg!-Eig|66>_(}|buY7q~vlf&NiP;YtrJbUf!|5hg{US<7ndtbZXHXwGe z)VZ72`b5-zmt@G>eSvkWbHh_J+;P?&ik_+{%U!`oO1Iu(jUS%(4>sYdxHR^;N&Gd&3GK_?!X1Rs6dQs3Vl-tvig{?VBoyDT1B4+t(G{y|x3zT*H z{F{8O^7wl(Sw(^RRX5L7TkF1Csq3JMRhk=DKVVH7i?VU_CF6yv8=Y49^M^fRJ0s^M z>xlolZL{ytJ6sU9zEU7PDl~t53_DokZ46pUQM^r{eP)FnQk_8o5Zz z^b`-=C1;;sJg@&O_a1L(!l|r)7}c-57tv~b*;elIDL&iTtJ&*+>wO_f&UEsByrHRA z<2Rm>Suwx-i20Lrx`^Xs)TunUMU9iEMF+lRv)o*~V7&8B_a^#qd5TeGdQou)^Y~W+ zVOxFvo4%oeZjAKX-hQ863;XD$Fs|7;FWl-4@#>&@GLCdVvQx8pbj85+G%9hZP;Je_ z=cfX}R=v)80_dxHcmH9%B&vTEME%>MQK*yM2DZ`YJ)U2eTm76Bjx+ z(=F6%9lC|8V@}V0l1^UAvDU7(&{s4Xw;Pq}E1Br>L5OIsj)SJ_l5~J&Z!^+oJC*tK z;<>q&>)V&7t;ox2VcOWI7+RyTa2dwLA)G)K&xAbQ4;e>_xAYdR#%5im9=!O4*v52| zY%P0PN$*of0;A9XXGwUu{-ayd=W8Cz;30i@$Irg=J-gH@D1?gH@9QFctS|3)e)jMJ zp7j5%C$y7tK zdf~^vrLvfWdjE$oS;kLdC6mgF6Ez43r6Ml($_c2PWcd(6z9lz-3`_oY>FgjX8C#8!*7JgJ)adv+WdH2?O0OXcm~XvPY^Tj<_Thrv3wowwv0 z%9+&z`RU)-+XE**YYsP=( zn;nnQhu^ktEKx>wF2Lk;vaVBuh^ZOas)(82ZbypAAZC@zK4Ul5q`O*TOz$4ZnuqgF zS8&TxS#7_%3t#Ph0fgD5&#<;fwGZy#J1gi#-#V#QoQ&`1X=o~sIvZI<9(le>N`IM! zk7Lq0GXEEstd5CWFLqU{+0dACQtlpyw(4(Qg_Qh0euFlV6$vB#ci!x{UTJ! z@y;eRZj4Gud$}}it21SoIG9uQJu*IGQ(T}Ano~ot;*H zX%tFiu52x*WFHHSZU-xwd7>(>l8Fra@4YYa2{QZMdtV~+rNY+P1)dfOA>_t{s4U3XVz){ojRUc#k)VjU{R zxvv)sJA zr?CxL7UD2S;8j^n3NfPkS{j?4?6XRFZbjU}8&-}JV5~YN{~9?wS<`KdYs>i=}gY% zPAwu*PXTAV3=Od#pV3wHXh6F%(i*B~+-9c88Iiwvh`0UU3Mc2gg*_5}#sB4`mBy)6 zH9E}`=E?>7)Kkb9Y&l-kZ*;zg`Sun^b{OaHB7bZ;JBmhjP6p?6nxCP!NWSl99avFj-T&D~y6ELt)@fUP#nRU5jJZz9+1PkB93q^r%Kx;6L$Tvm{>C82 z#JY{Oi)UDpCpxuR#k!N2aUzP>Pvtg)Zq+*30EPD9tFng$IDGTuhA~GXp1$K-bA~RF z9;=&G)>yB#@&{$%W9MHylr{ZniK9}qQ-%WbjS$!51Vbs&&s>^fAI zvzd%0tqRMHgZVgwt?S{#^mu=KqkpPnuwr>Z=hi$j2=U*%whSnyX;&w1zj-YFmO1($ zqj+1k(lx)ZS=hrg$v*Vt} z_52uKyMNG;6=Tumb+Ip#aE=uqI*A^Gesn0q^+xtRoHRbgo+0@3Z#d)m@*NL^=A!P* z*EwR90S;-noS{LH6q_NI?%|jZSIg?xpltX1^ezi%%V$M!Qrei!SG0o(-^2Ij@u#SY zExYI!XVK**BV%RDYaT)xT5 z5MSzt5TFL|R-pJ)+x{`zgv*{Q5 z#Hi|UWOj(j!%v-4%u!dGZoC{u)2dxX3mRF|9(mBd=@47_+CF0uJHGvMiQm2c<&+;@ zHl3eHgdjEb{!dSfE_B2mGPrm@Uw`L|@bvghTS$RgzS@69D`pk9cc03uvRc;04CaWn zT(=ISbtXGww!SrQYjZ2?sqDp5|8PIkcK<1!@B0taK<)b{uX;Z`P+wQSS`?b`_&is4 zMmPcX;wJo^*KpRl4OsU_UBSDm2(O!kJF#3*P-jB!;c4etYfjP`YWKt{rpi{ZDihET?bWZQ%PXW0tD5w_4r2txBn~;Xr@2KJ1(}MX*{8 z2UR(lSV!f?q4~I~8jSsPE7ikE*KuSAM6s&wY`V~(K6LjRY=lVosXO2S9mCGXx&sKV zudo6?K`*58Qkqu7jndV3VZKulFF>}sV~?2v-|N$u7k3w zW1T)6>T5g6*Fkmufhl~p&dfPxeeHTJi0kwrLilf;87}I!XZVKTq`p$mJ5`8|UEs=o zX2}%#R`W$ty(kmt|e*3a70^nNaarp{o0v;GRg9=~B1 z&Q_J3s>AJDRoO^6b-JA0gOtrM6u-dJkVC3>s)E7jGHWLZ6?Zjx$di-hsd`o>Si8B_ z4)dp;cW)MwtC%wBNad$phIWi7gE}{-v5bLs+1xnQoE}DFB|O#*mt5{Fb!27EeqzPh z+URup>(}M`&&@avnQ{l>ysDeR6`%<=0AG+ z-KXEV{OMo*efKw1efdw#zx%r?Wl!%ngwg1V^}YLwI!)ZmIxMZuc22SiyJxkWTfbw?-ZOO)qe-*t zH;ofvqx1>+>&UDuW-+`9(VHi%XdO2I-49?&RSqNTtmxBD>wv0KFlJ5_fZm<*^d0Ju z-P9L%;(ArJ1U`6ZlD_Y5%?zD>6}Gx#PCdFR0gpVQqYF#yqg}h5D%vcw#i>&;n_-F+ z?%Ky$)0(VYSEp;zyXOHr>-%YcD}#agQ{^6Nbc-Z?$ESuY0`Sbdw*A#pE!p7`_2$J zBtF7XGKY4u8H;6U$k$!6JQfP&{KO;1&Ku>C@0@w97TbwjQmc9r zkI}Jvr*g_HI#$8lEMc2+w>oIA_|^GVtmS(5pL9$nm#u@raf?3MELPXen=v%8j{V(I zgaXK*dsYq^p`;b<)Qa($7{gHeG*7q9@}VXT`viS#WyN+^agzC-CHV-;bO$CD{M5dx zi!2~DqqAa+aqwPjLS6MQ-lE^oc;u|6M=T_MG(Vs3v7?BvSd3U3SJI@D1C--DxT-GF zt(cLBnLOwZgGXHE#7Kt*XN6M^*h+%KP0gjQep& z@nT6*T2}eup4EFZ!?o<6boLr6_T|>G4+@Qqscz-G%X^DFoyE1cyqz&$du*&__ii$* zJeFy1tLUv>OIe4f?z>0rU%kEe=l#_``Ln)*PP)M7OB0CaUm5uLmv6iK9`T}AY$&6}l z8jCia@j0aGSxzSzx50sIfCd=A9(`g5d+f&2S3F`@Rz1J?0bbZF+aLe(ZHylm^DS?| z%Ay*7Vz+Lfv5n}T=;3Yi;KgW>CwVPXt<^y>#%4oHxC~eNE4Z?@3RaCG8KzX5&7{%J zNZ75px)CR$``F0O=+of7PRP43y$@8fVdu=}7ptnColx0>7wg44|KWF-e*EjVBCPK3 zH+Y>|SRW*Q@r#_6tDX7AMWSA1-KnqhZFLO}!Qz%>}d`ZA!H zHcw>J1y1Dv&RsRcpH_m8vszf~ydg8{mT6&)Y*-Hj&#SqUL9>%}2*Y;u7}h!Xx)1Aq z`dfzHhjsB$9pvF_tZ#4juyoc|b7EBaiskuiy(r!gR~3i1@`f5ym(G8699U$t^LYIa z|I(`!^`>||<}qV=C^~u-nI-~Nt9jf!>p__3aaMig5XMh(x9+ye2($Dvw{xBOv}cQ& zl6}S4ch8rsPWX5V3L*dPPh7wLH*Ma!6YSLX?ww$F4p?`-q$Ac=+xd94kj89ti`C}^ zp>AhTCnZtf;dj@3{Y(T^*UmPtpRrw6U2Jam`||s^w`_g=JEO}<8Cn!XpN;i`v9dFc z%q{XNf?h%<>u{<_=`D`_kck~1s5m0t``B1sjbWqpjewr`X_DbN7O|47jlUqVTA-GZ zSq-vipTsHFUb{zf>S)Z7(9?HtWEH52pNcY>S><9kie$L3dAnmGWiK5(w{qI5ZD-BX zxf#(|xF~PvTxNCxS>2|Mv6zvc(!p+JcDDzlbs5uP=Pj|FW^Bwu@U#`=X=hb>$G#$5 zPs!eHu=(gn<*s$}-p;;t5c88B(!BxAlCih=O+VkW1cuVB^J8eLCyiC$u->(Ca?o1x zFiAbPnKaE;ENcB#FnHo=K3M0&t~jUqNZZLmH4lYWc^>Y&Cl;@&*W&H%B#Y%Mo%4zn z*k2ad&lp3}ogj;UKObLas_}Wv`J5I-fnKzL@c9Xg zk(2Uc{X(C*#bN1y0DwVT)TnCNwaV9Ut}xTBH(r;Weu5Z3J~|M&zB%A`r) zk~9R;Ty*BaMi&_!M7d3CtHn4m82q+xpTV;~G{X#Ui&1!icQ~_ZSb+>y@`w2Fs!>)f zhA<=p=};zjMk?|l>qPn>ZrwNDVVCt;5gNjf$ll^*9Rkn5HT&urtXAH!me=Brs=77B zpx%jpAyu?VMPYIAY|I5sykWQMfsBFVY~#aLTz>k#eZvD?($F5f%Fnkl}&#`2FsK>E`?tW}qX4n-@Vt;>& za@v$*=SHyDEuf)^x1Ri=v1dJJu{g?$_n*qJx?vgD9SePV0Ebuu zV}|%MX6v8TX}%Tq6e6wJXHirwdeB}jh!0NkH!os$`GLC|ak#_tYH#yznW!4oilQt7 zt2wKAMtI)$`XlkBWo#6Z*(*A$eR{Y1&Nkj?VAXqZ%~DaMK~ceYecr4ak9BuqQ6E5m z{wiPjDX!ezQ&=FcmJaWD2&ay>#fg7n-t{mrYsF;&JU0e=K)LlrK(!cq9M1sB; z)3LG617npVXU}dajH69a(Cs#Jm=KjZ7ns9;`kNxF3fH+Avr+hU_`1z#I^z4)c>GVY z%uJKsM~9ho;RShis|ofoGo8$o1v&%#5+BcR#>u2sGm}^8OLudZi*k>RWUGaJH|Cq} z>j?L~{zBy2L+uI&?PfiAF-km7ABo?NbPNUojUh%_mX;AuL$3Eq=$^Q z%Vw@`f~YvwZbtE1lAXjwW_8%=zK+##>GO*wb`)*i<~{%R&b(rNET+{?c~UogWOiX=nds|2R3^TG0D5;?-c&_v&A$XLQtJBd{2gi1P-$kMV`%p0}a7Hl>Cr1QF$@Uw}5!l2ru{c1gzEV(LvRrp;N0h$RI*yJbK-bUf(36 z;is&TfsbCd%>4hW*Y(ayuH1`j%%bj<r|br>Mzt9Ut=xE4`jC)l7sw#(v}uLn`Ky@iIS#J6I2)ysBDT0TSz(!(HsE3WQJ*UoW`a#imXI@gU4#HJZtp))l*O>p67W z?R3X>4O37DCCfIsX6%^5S22u{q1#@!(vz2FVhJY^dS$zLvGSPpDsq^ukr_*~?4=)?>7A*N_Wj1U{CrbhZc#;NxbH$Bd&we>kiW?c7*<6Ar$zgTV6 z|F#!RFWRV^jaBofHx{n{uzI}(W`dFNs6Fp}&*S$$>$&c&xO5u#VriV-y`G+z7IbHY z>Yy9oUwo|x@|_-m}l1b0d4qG1a!T)inon~5j&nLM^+DP9Vd!bXFWZv(RxMMn9z9Z1?VEROXJdYt9ce4 zP8Bo5?)Kx`PE?peZ#dkkimZA2b3*U`7Ae0ymp%7JoF8RKw&wNj3u)E&`FQUK7U@09 z_C3`v^MLBg=KbdVcTv;1ueBO~F!k<=U;b&K^V_rhrdPH4Ub{sX3flW|%cD;!!yj)n z-Q#vr!UCOsWcz=MH=2IWs%mmSuH7rdHn$8OD;>#OIgK6d_4s76`qIgEzrCST%h-DN z*LsTGE_IeEkDQrfaMiK18799yKXrZk=E7h9!zZ`(b=q`nAJShx>MS2 zJkE(9)9Ew*E`Ktaj?jMZXOndZEUwe`w;J-etJkMJSp4r2i(`*Jy`pmOC$1pdtzY@P zKJ4#fU#6dD`MsaX(QRWb%&Ln#XOLB}(O~vsSr-A>IdX~EAPH9%@ZTGFTRe34jIsMQ?51>-TukG3n&SiZf zhz%;-t+r0?<{g={1@DL4ZVv6W4u7Y%WNNPS)@rWUS25Yl%e3h9WrfA)whD_=Q4)VW zoA)&vnf9IV_^UPDkEa1_b^dm8xz)-@e%T$t!Pl)6`sPpCc1q<@zMS2~hp*Z1elnl> zJB@q)tjfb?w*!;)Iga_1XU-|IH*Dur)q4cz@A;H{=e|LYlMh5ZU(2ZO8hDtNbnMo_ zSa&t)T}Jh0VyApoi(+@SM=G=AUOvSN(2#}mDeszhc91J(!O?3k7@M!UF=#D#sRQCQ zwmF5StvHFz$?_sfMjJ>Cr?UT`?3`5Z`wXHU4ddPWi34mW{t#8Bi^}88EY!&$@fz;L z2)cb={=@9!&FtgNY#jA?GppwP_210u1aQ{9pC(aH)e#i{XJKqRyQB52N)qEfeg?1e zzdF^8xVp2BM5SCE@MBSdCrxqrR*ssxzzJKHkml z-H)CInnSYAfd|!Kp3;-$X`KyEtMEHXbaUUyqwYmzs(V;KArz5NA{>{>x!OhN#>$O50#8_P)rB~ExJbzI?d*2~<`^_ox zIqUU6-C#l2PEGVGxAl09gvH*o@8j}35MYrxPJT$o{k&`sAOYYEc{>d-7FSRbMO5; zlq~O*P|bbZc8U<@!Zn@Ts*(6F=5b4buXyY*N_R%x{JegOS*is1viHkQA)WSH17~(R zJY%*#mTGmHZG}DEJL}HkPNo=^_Hs}5;l@}ye(&tB?)x6gt2B1$OspE250`&;-dU*; zkbUpx4*01%986tYu>Irb@bn=0q#Ghw>{hN%4tMtg58czK!&TaDPWl|hM)C3x2GR1z zdU}h;&*5Q=Zj0g-JW%JLKdINzaU>(z?W_D;2OcY1;YdBLUmOSNapW}AZzkpuJH25& zmfei1zoVZU!z%Upc`2*cGhqfj=JPeON?xzE{;sn|QFl{m7hUC$Am{3D_v!suOn$-} zESkN34O4aB2}d+?(`F4gY#(PzvroUcyHIm6tZ{5Nil#KbmDz=j>!Ml9Pgt3@FwJKe zu$$0&W!~++Hholdwl1Ic9`*5acsoBVid9ebWXMoQA3uk;&k?KaoxoH&-07A+Osf8} zPKV&sXk_=g%TlZG@X3=&E2bT2kkt@m!)N|uAxko8R0#>%1Lq6 zc^F4)`ByGsmz{OxsZmEJGg3HJJ2Lp^sLvg%lk)rEEoD;CYF zhj*GXTlebrfz%yR`|Qnq=ZMDXeCbnPOr~e9_dT-SpC1;%RJ((6R%xxyBGvKfTu%`z z)o;)_{Yh1WaTA-m@0wNBSf@`j+C@EPrB9;&=+Yy+d1jWnvfnM?N%zF=V|5s8Yd<>Z zQ*=fdQGSglCbN?MEB}a*++m%&ht3Apt{1Xa-B7k0x8DXqEBcdl zTg~cQsd~`QKg|DPvriUeWifP?$t&5KK73bS4Qrin^isR2lDX+l6C?6E`__dY`6|^x z2F&Eu^D`^U0GRLOFYa}Cx~ULP%kFy1Kl_o5W?C zXhNtclBtMw>+%iyNc9uLtvHj3sOW~g^WNm~CXsJ&gzS`FN8k z?^Kz`n?#(V0_vgED%Hb@hi~@g`SB((_FetfugAlBjykFQc)ExxpLx97jSp7Wd)-%a z^@M8fy+1dh6VV&5vr^&7yl>H2taj)`Vn*`rlIoE5zCpKyHS17%1EuehHK*_Lwp~Zw z>U?4qy&;|7mBW&LN~dX@?qfI0R&B11Qnk}*Ru%cK8++?kJ+XanMy#T0Hru_|?vC{~ zq*VbwuUIdrBJ{h<+z{9!FHK`HRzKu|&N4fA)-H9tjWv>o)bb>~m+b7YF0!7^IQ{La ze!Z@}?Y8w~;?5X#ajWg!0_qKT&%XSlmlbW^tIE-rjyhng>&1ES`NiX+p8fYC(9btO z)V*DwxWSEG$_RZa-*;M4pF7P$N^eH$YwB^lJIx31y1oZKc+lJ;?0$!D`VBUnnC!8W zR%dN{km#h~eB;)A*K6^A=Z)T26pilF!X--)Wd^S1ed|D1V<%+^e|N&z2^rIucYM{`8zbrN z9Z$G~CfE{L*r##m;>RN^FW4UjX~7poP~7qiEnv&dbMfr7E<0m{PM~?H$T|&mx}r^t z#;et>oi9bR?BF;1U<+DWrS~6`%-(E(NqUNoRoNBSkl`@C?PNp3U-T2dy3T5Yc~+SJ zow@M7-*^cBF<&{LlYhRXd~3(CQ+n`z9)soZ0CljzkM{3`$LZtlY${7)TE3(`Jv&o7S3Be9Ej|(-kdW*Y^gJimkhnojG$r-!TI^@#9nqrE7?W6aH7ij6tk_Z^Z)-;X{ z=`}ADR2bQsa7RtK12pq%< ztPhpT&m&v!Ff3a&Z(DtP%B3=Pw_>XZVpa7Cz00}sEKSIk@4az&zPthf)Y zHdZTO2Osu1qH=jB+9HPUMQE96RT|qv^i;#eeoV%{u>zaxppHz|F2_ZN*WQeKv}l}v=~9GPxQfWaxQ>~YmzJ}n~ zl3t7Et(=7-KO~5aT(n0qGP9nFO*FO7YKvS+LKoVwm_9~L#$wrWZ=dC7i&%dzugOcX z=7V^Z4*O{^UhMoKqG7VSCoVi!)a9ehW{n64 z?=S_s^uU{|sm;PZYD(kE-tw+}WvKmbWn~r(L!COV?||8z*YpCiaYz=Sb`hCXm3c}; z=ur(iUD#_md*x9~qZaVj{#~}PjWh8pzr!`G zSy^ATD6@3zHe1&>wZ^d*2b3Shn$58ZZw;@vei~!VW?YiybhNKEREHSmM20o@GK`-D zl6m(rj6LkRvxpehImLE#k)M5R!r6z zOAKNa-kwx$VU3ep^sY+W=9bl0omn>zi|uL$)U>}knH*+Lz8|@H>ld3ZFR%)4v_AF z$wZTHV$JZ7kE(AffxTidD~qpqEQUOiAH=7uv05=XGF9E)EHlUcJQ51SQC%Wy!etp^ z6tD8{!4*C=4$q2wYeCPaceBpDpB3jHIj~a-=HrLw7i+{)*C7+xaeC-ZYMw#w=hqCF zr76F#seFXPq;)S)&O^(!Nmt|ZAst|aAIfYvv=U9}0>9;s{pq$_3FEN6NQi({R8T96 zyjd)iUuu=eRa31qNfmj1sOt@n?|VVbDo@r2R^y--Z_ER-vpPikI*T}|o@i$@n4t0U ztNCV^C-y3L;Av8S!}Ibhrp~s_<5jt&e?Iw76Zuhg?PLOho2LTN0tQ!8;07B&a;zZ| zd6RW{YqI>Xe>)@l)8N*h_tw;VKl7;W$~RGl2x#Ql#mV=b;f)EC@To%JgY|j*WFUJs5(NZ3ak=r7OMZH%mjNp-EbdveQ2xO!E$Dn?UtbX#;AuN;YSVJdEB(-4*q z_>(P=KRoljx{`8riLl52bgJHvvDCb>Zmo4whZ!I=k=EwuFC`RSmu;@FH!^YSY zmnOl3*3ZB3{A6k`&)&;=_kQk?Z)qeWL|H|IuIEeQ30aw_D~uz>o0o>yVr=fP8V4FT znKd9~D8~sQ!&;N3OBfG_ow(Q6h{1f9jPIJQPvCbL3ZF%T-_J=_95Dx(olhoDY7dP0 z{KdNB6nC2eQ})|`$;zU)o{Aba;Ky}D?JRFwN8PEfJ7c!KHCx@Rt+1y!S+vS2mLBm@n9xUTV;K2vH}OkMDc&JbUe9Jj&BC0*)Rg!he0y`|I64eRswCY`*u? z1R{uS;5ExcW1VO?lV>7VE{em@BeQjAek*h_mf_*D%3qdX&Q`F}7!b;=2Dz~?3EyKA zE1TWfW&M2_KiTk*k1<>vxhe&(u-3W5PIiP$E2syu}35crNz$S_B9@t)$z4zmBCKa8@AQ!Q00yAD#rVm>fFG; z>qq5K^~K*sidH%=7VK_bly{b3OED0uM&?cP(>#8yisMrA$;JzEsoR8f+Ir(*9)lq( z&P&#bh4_qib&*&H8zob>v3hqyWK}%~ST*pB|Kpohn@ks=N6Me9F0#e5Xqd5C(6l!> zr}HpcUgc37RwY*Z!!#ey&-ALAs0>+hI&zF8;;o50^Yf(a8n%qlldgw8wX_~(9n@|C zV(h9g56Bc%wy65Ml|($5xQPodEv9lTZ=TLH8GpHp&YOIxH&~?R&HGr~ZPmRj&fnq| zPp4oH-r__3 z0e;6kd?hdB(Ij|5eDXQ0$9|{d;PHH}zB-Y}$;GQ4S^Vm0oqOe{98e>RitKxQIt8|4 zRQ}^<@z9gL#Y8{3*y~qMKY04d(~mEIo`10bYyW0G`sp?2&#zg(c>4L%KfcC7gOgE_ zhYH;!guMGimeHtFt-R~Dxjy3UCug;L`a_lYH*5dB7oGq0r7bRpr=37v_lImEiPhnF zXOe1Uc80~bo~kJN$Jl6Z3OZk45}KNA+}MRaX@kjNTQ1O{zK}#NjH`x!YmkXSd9v<8 zp3t&co0%UA(Qs{g7tE&W~ft!vRGt>c=co@m|wx{25w25&omtEKBX z{jkS>uTgQ%oNr~=`~M1x`g1Qj*}fA;5#yse4xVGt?dj#U4SIO@vvMqS?X2BxPTr?a z2v+5WCRvL|tWfl50$;roFc;TsrY`wbCZkkV{-R}f4|Q0f&pOZrwa?dTFcj_~rnhX6 zx!t>MfeTsFUcL?)a8V`qRZ><%%WxPU@+m*%KlvA)*j9JISFDXkJ42>vl8~h<#0Q}c zN_c=3jiRNM(hJl*?Sx_D6DI5mm^O~p{&vI#?oN4l2( zJYA-UO=p`K4S}ydUWdFY0jFSlxHb zYWJ;&f6jSt(J*In{tj0srF+#3gQyf_>+13X zq?ompjib-`KD*LIJ{OmEOFy12vpQ8JwNGQ!wsf?57~`dILZjOZV{Lj)s^@fS+|Ig3 zk?8Jbh;57$YME~@E3rF?n+0}=ND^M=2P=v0^9wFK&z`*FH^}lmt=JERP%*#zx=7=) ztgrII*6iU0OzQtz3kULbeMK|nBq?SOm9&V1;Wh7I78wqwv21mj%nsv3Yr`)a;m!_jAErd?M%X7uoAw_mgna?y0SFJ zECY8p;aPdUUH~dqnM9R_?Jc_A*_x5Pz843Y?GA%x{4VD8X6&+`e6Eh<(-0eu!ayry zFI-#P__EK+n$LfbNy>7oE-&+)r>x?+?)PFh`_S=xf(>)8uF0Ebs>XaMiYb)r?twLWup~GThV4nBD@EVPVS1^kkPYVko|1V8vn*>iwU-vW%Z-FO$lP z6SerxYF3CN#RdaUvU~`krxzFt&|O?aBQ)BVwj}hhZ#AO)gSNOYt%@W6(?B%0TCC*> zo#Xr2ab!H<(?t1W@xHgh-}?y^6@zYdvvgGhepAONB4L~TGV^iY9hb-fnNdtt-Y_DL z(8z1~I;@H{2_ME^;oJAd!;`#+1kdq6Yfd5?ANSqWvv{`NAcn&<>S~NA-$*>;|N15o zI5Jg21*&E|?z`i9HDMi0NUbyDIsIMTlX{37j%>X_-h|y%Iy@7$??1EL`>7*QEB-1= zIb&x`DkrPrtD^LmYgm?5^f!j(a&xMy=sbnn9A0%}RlVMJ4 z#|nA|eOA?FHHs(eGh!52E)MI-svXv9Z`#z+iP<_{>@m5z-5GqfM>eQiM)QPSStB#d z)CG`Qul*nQ-H@b5$Kbu$;#FViOkoNpI_dFYXLx6y7+x5}$~p6a|GZ$bASO_#Y2U$#R8FHP!9vF`C7?psjVb>CZ1h>}nKe$>fv z)8hoVJM>4LeEdG1|B@4+6W#qxq*v&M^8Grg8*r;c8J{=$qPASZg;C(M(fwl`?0(R)!xtWS#NG2KHPSj1GVl! zY2k}j0;<2tg`ec!IkGdoj=az5iNxMHLJ;io zMl2krU^Wc-#)G+~sVd0VVy1x&$ppLOB= zRdUf3j}tGM(oV}7t93snW@XYoqb7#XYyU7~*KkBXGFHH488Q?Zb#SHX7}uvIt5Nt2 zcJAeydq1%ioAW`4=Yz-R8y>e?@i8{7Ux|h5Y_RC_h2_UvpfShe4Di9zx1WCc^#11? z)bM*dAIz)*RzFpI>e20*cn=--Y4d(obT7aA3Xih)9*h0&b5j^w?`QeGxBuQ>*R}e-^S1As?_GCYEkEjN_I>-aunc8qr$vY}JDtOy zK6oSToPYVsyrSeg^Ex5=&Ym#o|8YTmA1|86UeD^`8rOKy>PdK&y}rjtu&QtGds-R2 z@2%oou*uBq^1uD+yT5K8gb^9Y zCw%BnRbJE}YI%w?@p-kAAAZ@+iNT= zrtQ8g4Ao{~BO?WPiGMufk*O-7K1rl$jy9b*j1~?kbE4^(5n= z@;V94Xlgx@w4d%ISvZy(VcToL!kt+C12Se#m?95Kee)=77g;w_Tp zw9q&UpDCE zidH#p!;TELhy1jviR^d`yn)+ z`Wx0*-u)(|i|DOPX7EQo^;LCvx%t|sJgTzn9Ta>PN&2m}Sh4QH3A?@XFfHv~jb*Q% zEWNGeYf?3{KGLet{#vU3j8W}e7ZL-{r@U+4*+H(D1xK&FU~Im!R(ve>_=CQ@rf%Z8 zv=u$EIayvr$!K%H8OQ?!A!_@nQ_=tfC8UW)+l{hy4bR5XgpAU%u=Q zE7&Y6*`J-A^@l4F%P+c~{Ju=Is@NsXYFTqDg(Z=UG5F8PqW9#2@%5ezAyXvOvIDP$g;&uRfIKo^XQ8h!Hv4H6 zM;;r})w=i~`=LZ$Lz%rh)rlXk$?j@^uj^jy6>IXpakS{X!(+*Gm-W=_ilzCFJtq^$ z?JNe*FS?6u9lRU7SSCKC8@{6jzjxBAo3e*h>y)s%QF5iahv};Ud`|na<+TiQ=NEom zWirR^dESUBGL$(B=Xd(F8+;Tu(SikWlL?EvmHg&hpBtg=I$OHw{+?f?-NSTe9O{d& zScJy)h_Iwak6(soyFdoduj*mu@v(S8R_oe*nJ0g$sz4!J$71^3W_F?gx`f}Hq_NAF{-{>7d9e@2d%;e&6)T|MFVlapgszd5B0!LOkZ zO6kqJ%a3Ai#m?o+>76_vAl_L87X^I4EAd7C<)>B^skj4T)BuQv%rIE}sMe5RRDP_I zk>En8JQ8}Qb!e2Sp~>1Yn^|=ZIAb`Fdr4Kyc!j;IVOCCCSU+ppk1miHLc?7v&^d(4 zNl0jHxho1{vwX5!?9P|1D>?^Ld}ak0oMy2RsaS3WjFG)#4*V3ughc3$wT={bS~u^B zg}4;mcHk3H7_(ZdJd1bIPt;-%JZ~n3Z7t*Hb?dXv=*Gz~<78!$gE9K&EBV;^>`gO# zN>^)EL)b-EnOx^0gOfp{KcR691NT)i@rwNxZ)bMa)!)r4R$#wk~wsDR}* zt$8@c=~D&p+rDO(m-r>xuVFfB!$#NMD??zd%7>Zm~pxB9$_!jwabs~Kb zS4DvrzO*v-7#hNm$ll^bzkmsN1}3`eC$XA5%U8S>cNmu@Vi0%mFQke#>1|v*8*{-0 zZ`iGRQ1vyBln+~R`RV)i4G%n@&i3Hd`kW&(PF4&@v=u9OwOWV}+wv2`q?Z*%sj<~H zviullSv?LT=iTvWC#3r-?k6w*#@+otMJ%G2obL9Q_E%ds2qVZ46@p%ce@YQ-+00GU*~61 zt3R~W`Bei{BPhod>+Vh;5PR(IgrDL{8M1dtvYh1@J~m==xBBC4apIqtcOAG~x8m4C zy=V;fz?EfDUkD4oLa1Y^lHva|T46`HVu1@Z@3>xa2AgYeWZbsGHnF;MNLp@TfwVtXg zZ+u>bee3Lao2`A8XHj?8U>DuMWIRh_tB@~xA|%Q~`g%2phAHF9*w{pz=}oH6n{94B z6kk3x7Z)1GcB4G08$L3-@L=Bab+;qd4p-gT>6`e!PcYD))xJ+361Ij<{W09pJN(yM zb^p!|8AoHWk~K!1?j#9*patE-d^|2Aj)YBid43tkH}vWz*0av-d?426G?awKp>7N|M96qCu!jC1bQm2Liq|uJ^0lY4KM zKD~MZTHp5xMNG^eH1BK$+mH8uFpHJsR=iPlsfLEf*i~#}VW_GL#>QovJeai1gBZvo z-<@=K7_wXjmk)7G{aASgCA8R?4$d*lk*!aP0X>K5^7`E#xto?XhHOZRwdPNw>ie;K zwJ+}%AHK%VkN1D`9zQ~^`jThrX8G^`Ywzw?EXlGm4%gp;_uvHx1B#$9dIw&ENUMX8 zIKzy{%-wsQ{PpXOlT~&_F*S|Ip{dRjJNC!=c-Onu-Vu3nnPg8!W1y@aqGMq-idM)i z^Yeige&QRkGPJA>i;J6Zs&9 zi%e+suT1Ohrc=e28Qd$U7dP-+mN@x^B`~d;r)|nI0sSa3{5OMOH8Q1o)N>hok zy9{ogw82tU0H-26)nroe3} zd+ee{pcRg+I;LOwm3PKMbY;EH#xOugBO`wCQ%=`9oYJxyh)(Sss)@s-Ijf6Erfp9f zVkD!D9Q#%8lpjwGogUQ_dRE7nZSre9?3Ygbq(@qXeKXznwNdqIktvG zc;az$u%_!!3X3A!eATpY&gSB{KBUiEewrz}R*$XCOfpe9i;q;O^f;%d#ZbCIY{(#s zwpE}kv%FBH&HmR`*}xgoc9E`jGBhpOn!V;N<69@&#cfcNw^TRdJIGFUlIX#*v=&{H zf9>WC30tc==~@}{WHABrS(@KjSp*&=+bgg?^pSK}sg>rCdynz{?w#?z9ioed@i!h8KW?=nrSu7-KR^MR={lr6Uu0`QF_jx@( z6oV{Mh6`~;D5l30V)pg?@b&yqtf|N0MTIVpRL97bYl-2-ooIbMKa8^uhqXW4Sq~;t zdELvnY5}Jzcfb2Z?W11pjR3wXmhH94As3H9ueD?6NGcKe$BuOsO3#(|^c@n^8CTB5 zwN({r`DRx&sqsIyLsL7TS;uBf`9nsK6FM(tDQj4R;l7mJ3X|DD|Y5(^YHm|D^2WR+FfmrjP0#w6pR{` zPeeeL3s2CsvjY-`FLo?;v=td_9STXo7kRM#7K@R>zN+7l)K25#Gfu!`tj0ol)(*A( z73;@otlGY3J51gzK8&*tz96MpAo{dS-*kXUcgZ&{jcv4HF}B?~DttMI=$(x!Pxzn( z{r1eUz1Zu!(844v@JD!H!TVX!?;7#$T}Hwq#Uqb&z5(Bzh43=uh(7l_IfKCd!8F|X zZ6l+@Ks#9b+M*K@q1X&qqe#|2q>8Ohry*5bz{bwwiWY6|l||P!t_ho%6_$%RSSGs` za>J#lDFVf;Ipa358v|>z1HhbS>&X%ySedToF|QugGS`-LqU&ON%+1p5Vb=6^?p@Sk z4bsK}Y;LW!kiux|iQr}3@s}Cn9TiAt>--|_c+e`al=j+O=ZDj_`hhKtGHcd0`_>fA zab~AG`o>XwFL%)$eo3!Q<+Z$`ZH${v;S6ucM6FzwVnNSc59*2vtL?= z?^*A($!lYGvy&rcXH^nsU$W#O8Wu_A@N7)W_!(=kgt=%+cb_4+x`ABt=C!?Z%rrKF zZ^UOOQf4%=x~fQRzGWA&QVUr~L*qShSR0LLcDL5@TSYR*U1k#zMRI(?8tlGjYwSoC z$XFgK_wkJ0`MnCiC>FQj*9aCrmS8FPW^>*pYZhNCOZqR%;yU_QTkvW2Eza3oo2sz$ z-_=r(5w=CKh$HRVw1l_jf$LD9HU5Fk_A6M7Jg~PI_sNPh%!^?|zpb-4rLk6aj3FAO z#=$!ED{B;att&>YcWq-Gm>%xfNA1CeV!n!>ja+3}9%>bySzei?c;wWGWrbqr+D>1Q z6xYZo?By?W&w{v;cVGg4^G(rPRSCx=5%t+l%)7QudLCvVN6~oN#J4yhomF^~hKFOw zI6Pq%>su`}T5l4~HZTIA=B`a|@mg+T9oaD6phLVyzU>5zog_sBk50?DZC<8nGaS7z z1&cJtwY@5EzBad6A@Sh#YNv75bjBu0PR1C!I+TQKqZMuLa*W>t;{UrGW94kbZ|o^* zy?+$r!OhvvtpX4=d-5#~#1K0fS;Vk9pJ`hZs{bLp5%q)H_!XBeLYiM(o>tKns)_&+ z*x2XjGW#+#?Pg=%E#^d5`xWT+SvxzQh(GPdS@&R0WZ)InC{t;X39ng`RjL`QGpwPH zk@Rvmd9WFI$QlwzWA9^CQ6OrucrCETC)!lDdg)`%Ya1&zmc@J)jeKH#d=Ss5)JUtk zERR&xkw^r_n_|#P{E*&cz#4B4Ig&j|__;Hw#f{jAH>>JM8P@UxKc*wyAQC$0yGn%> ziVHkxyeJDVW%45Qv|cM~tI3AT6phOsLmz&!0&k4h%LvuX&`6(pt&QDk<4v|Ks!q<=GMAwpDiH-L$OB@p3hYSu@f8@L)K^Ool(GsyvvI`VHTOg%n)D{k3)y7 z#e-#6^Q@)ZylMF?swk3y9JxDAHGB#7$L4xDMh)9ElfajW>F6 zwitq|wfYIy^yIe~JKZ*pRjr_wK0H7Yh%L(S468xn#=$HpU~#zxGDQ|d#~wV9HEEZ% z)@B^Pgsb#Vf~!66qTKIBknb+a;SK7-#TDf&^%2$DAV(zN&+<`L%Tuh&-)h?`C}Uts zTgc0HJO%5=;;@EGq)Hn05E&=(Ayv=6y3I`9T@{6QeFl9n3`Zog9vR*qYgQk`mc2Wz zl8!N0e-Xfk{2@=*#t#_aw80U(E^cUgY`Rt}W|i`W*&u2x4KLct#H=T0Hk$2=VF(=R z#jAd+%-Q=?Of)WnPOCN8VBBmiBc>TV91lUHdWrYL-1A)+gb8;S0miVjR=wG@EOq*9 zmNUCin_+kHEEa3;gU@4EIYLfsUHIh-{9CoPZGu^pWE}?d$zW{CXHwb*;nqU zjcq=kkDrYg8jt_(YVS=Yadl7os$$wD&y|D8AMz$q(aBEkr5}WNnq^;CrNO^&bgiK5 zhg*SeV>eM^HdwCm&=RviKyB4#kaBo+ZFm$yl0}9bi^!Tru)S=^Q&w7yZ-&n2uu63f zkFY;I#8K!kE}+o87{$zDzE*5#b~Z5Xxz(KVcv2eK>3|$ehBP&5`wZ*qkKOQyNOE5U zw$fTep4u?(kvGIakY$t9NdgrSoH(F&9 zGyBQQI5nnN{iRK$ZoV<|*v{Is(&ulD@{f`1*Zd@>wH$8GWPYB95T55FD~2}S#I@Hp z^`-hEd(t|4KS%emXIWzQtVT0mT$$~#TC%95zvSJ#>L<(P@!Fu5%~@$aZRb?nJhwrw)0V8smUaQz z=b-Z*vsoFl-F+Vf2eux`i)*XDp2Z)mRfQZxwuexi6!)=l+{)kOVzpX3>E|<9k%rC0 zP?0YRFcM}IN8`)2y3aFXMoiW|5GNQVUX0QcW;^W+mF_I36a$#4h&H~q=kuv>0D&>b z>sh=UBk!<@6EDp3_V5DRviIH<$~T2=C)P`8JQ?uvOaa6=DGAe!~gB z#LhUQlOSw%+U@8tdwgw8D_nQTkmtYa?oVZbF{?1Fi+93Ln5?an($@a+v-n>>tn!D) zw`2eM(|Pmt3cU2ScZ7cP82RsyvH$tw_sFvZyox3G#H&o`lwevqnKU zZWm)!2ku!f?$oQAMh&%kY%SI#ao%065$CIik7wy#c8Lj~;M{#i#kW@io)ojmeUz%? zVCBmw<=^K$&a*Bs^7@OnRViYt__@8MO1ug}HdrMNLuSGYWe|J{ zwffeJ-^>J4A|{NE{ljmF#PachsQ7kVc{(WC?&1m?6;a`eW^m+ma{HQcU(qMhV*C1O z#X9X#%~hPpn8u09s;amy-ecn!l?~{h-N&+8STOdG5v!rf?~8i1am;5YQeU-t+++34 zhmXvc4D*UHYi9$iig5jQ0+2?BqpT7_YJ&`Dp=B$OTni?P^JIN|i_KzSE63h;MlrBF z2aB{y26!@4oYhFo{VW3}s-|odd180|E2A8iCS~i%Ei4IbWT6l5vH=8yeSS=zDrddN zL5)bBtt3y8Ia%yh@=L2_GnUqem8+Kd#X9vpXJ}QvArA^>gKMPG*1YzUMV7s>ifJpW z)yrBiF~ru#el`ZMmYL{X3yji(M{1Fcs=UN@f31dQV~nihOr7mXMSm!SirL-gJbkn; z6SMsEVFh)8|8Fj}2|QG1WKEo+RV?I1QW(jmiyNNBMR3Y1#;(l@MzW2$`5RZkoe}MT zS*9wf$P(G}JssIjG$bKg@&PNE7XpiN+OtR3?Pq(c9z(K!6%u>FO87QfoS!SQ(lq8Q z0?&JQW;PEktFf^Z4Y7%tRRT2RUC&XBNMG0d;O4b|7MbRRo znvE^u0uownnaW6bfrn1Wnq8ax7Wa|AJ~%8rXknC|$+;Fjzu z%_dUFY;?V_O?sR*mgqekcjoWAXGxyNlmC9E7uRKH9{9M=Dc(D&bCy#X;m&2=ap`2}C=CDXiSyqPs@^^8eAI!x{#>A-QOc6Jhk|krV@|tm~3=9#|nF}L| zKTKLYxhMXrpPFrL*i$Adcf3x?Sq>YiI#?5%v3V6*KK;2)$-RTYPj{IOk8YOwEp?dcOkObk^CPOg+?2soD;M zVJTLvh89n2QAzSoHdjZ-jp|$VQWaI+v1hY(d#n7_*%$v+PpaXoZq1PA&4H8qW+abk-;tSSX%WgiuXF}M3jU;l8G5Vjw2{iGVW$+{W9cpC zXM5h=je6(OJ3eIaO|9zji0ttNpI+ zz4s>y=~Kja>b>XE!&Z^KH*Z*__Y%D0BoawsX3@&Vo3A(HihB}=R$j3xwD#_n*sqrA zjTrsJmo|OOd2M6G#G}5fY=;%5$2*W3f5rmi)VNrr z^qwQWWw-2}=JAfqCr_F8FstkqYB2}Qv+HSN7jqxZ!BM?i&7$Ric7kIU5mCFoj)(E?7 z18wjq`@|nC8FJmNzBEJs>05-9%dYL>6>pT8t!V{5SZ#*K{P(B%ZNkr=9?5hV>F%3b zdg8@ukTR#Njgi;@GpLauE^a)vqPx9etCqsCEFKHsxV2&dDCLdiezi(9B4%49!e><| zv9&p?l_SE7^H6R>z~gx6hZoYfjq9AlKIulde+rxf3o@#Lsy8 zY7xO`c48#*%#y#W%lR-Hv6jy~3UOn|)A!o5 zarI>%y?g(PRn5}7>%0Kvd?gEp8dy<{R$Jyf9`2eY#dFu4SjQ^bWpY15kn1E@g?As0 z)hS(x2vGdh_=pvrhX zt=tZqt&Gb{u8b=)xq?Bc^#9nPN{|(eqpy2adiAS6Z*?ccieJ~g5g!kCO)9)+2JzH1WOmAelQF}S^3_z*v8(!c%!@_+I8{q2MOUp`%ZdnDjqRyv;T_vhkY zQNoI06Jqz<0erglRn6MgpOx2JM67?zP(;LaY{|3G*s7v2Z1-Dum@B)FU!23#;!bP} zTl4Bx)Dj}J6gOJ3H{>=?*wd$4b=cK1WVNOi94el+7Z)++S;XlRe`?uUu`X$h)@N}T zuC>Tn=4r1`3%#^tZL-5G)Q7?o|Esex1iR38qe!Bq*bK|fLk{wo5iX70s4>xU(j?16 zjY|5-Zk{xpep=+^B5!M9-&(Q{Yx3^cM|6!(#>e8fd5RK!tZP)VYsud{Nx!0$Ue@ui zO0~7<1Dl`cmyc2Q_Wr#G|N0pJrToI9zk7Tu!fzid$TYuy%;`Cw7=~n#uKf=`w!;vQ zVy624)q8))Qe&L{+W+Fwhvq6q{Ak24o;cu#hjhPvm+XI&aA#A$|Kd77JR~FU$5np& z-YU<*`o}jj?%Jfc8)uU;uh?(jdTfGupm6=O3IE^*Jem!UO`be7z7P( zY6UpPP%1Zwi{)iks2!r5-@zSE!Ns-rwXf(lqu%vZC3Gq!O7I1(<3yQoRXvM@5?OHj zjF<+lCYRM+AC9z^nr1CAA=DM|))OnRIhKn5%u?1G+lj##XcffH_~SNfsT;F~m8>cv zl5f0a{PuY+~@ZdXv8*R zgWuVjoEZ1ij#%;QnS(X2x$TEXc9SbYSo+}Q<&gF`Y_7EoVrNSBXQ{uHmCadxh*xF}@Sz}N3c5=WYc`Gc5`aG&nV_`Disq@UwhVARIA>0lr=2M%PpA7XXr;Av4 zZZ;!Ctp3(&1y{A=g<*!w$zru54Oy$oAh{XDE97It;f7^80brA`gqy^^wX*msVCO0CpoRacA_HrPOBWiCoG^3&GaF`8K*uF z_sdS!WK}=QS7m8D&`z>!&2I1~=e)hok5iHx@A@{$ymCBbK6hqwy0AG5`lKf*lO-;i z^`Ia;6zOEqCLVp#Z*Ar?Pr8>U^-yE5V)@N_<4+MrYr4Wly3!Etj9ClW%7HvX=j@xU z&6l6b4Q7CY*@YL4!biLknv)~mh5pWvaA&>PhIHzKd6Sp49rUrC|Ey5fX;oG+BVScH z(25>L>(7p%C`-COHm9r6>{-7f%|=2W`&OC1J$hDY;fl|B_2WL^>paUMxbJ)MET5`* z#PH9?n<;BP&kSzj@wy7fuRI1WSb6U;y$bnx(M zQ)A=Rwa{J<^A#^e5g8$;=q@UuTpKLJK0`jl^i-E*ViymdHmnN8@ff{AFx-(hW~y?; zEHGZHS|gqk332TzIQ0w*>M1KPzRvj53iZ=dZ@PAln$5*G&B=qy{G30^_CGxCXMdJu z7gq5Tm+3G&MHHNl%#;ZfLtV3CvrrEz{{a*{lEq+U!A$<<+!0ZTv>h#mlsg zrO8x1vdk&Y^bdd4HSA^{GLtVqm#@sLIu#XquoArUlz1Z7u30W*SV7E`DP$Yt*`<6! z23V?=i@_HWByAikT4&K(RPwF4R^7F1`mre-KDQnu^F;BqT9U74JNP#i z`gl;^acTS#zRlO($XsJ?pJM?t7!Ut{e3rz4^!lDz5+?A%-jwb{D~@H6@4Xv=dKjzX zl5<$to;HurFC2+pcVW!Ec?^Tb2jZYsaas0ac{7|b*LzTXy$7Mq#%CYzUS&BP)pt*| zZam<-t-8)XeI{M!9jEoQeUGY%75(?^cn~9B+MQw)T0_OPYJz6WP2WEr5zTR)D;6K} zRhgGgZ1(ox{$0ngbev~RI4V}4HvjCKFZVS^%veQd#sYZ-Fdo0|90V)D6l8@_{A%Vn zsB!RFYai}twe-&qLlXawWy+0tFh3YkcDU|FV3>5*HnC*gaY;293-fc5 z!1EZHwjn-tE1!vv)%bekkM?cYA6`$pdD|1m=rCE95KYBNagg0(xMY$|Lku~z(W-v% zRYX{e{4xj6H|J?>udvLqY)vm2kv!qC`ULJ~ISgR;$ojmhuQ72oiD*EN-ic}?>t^-+ zMPsp_)X*hESh39L`s4xgk$?Vf9vF+)*`6IqaOx~`w4XUumb+DM^ZHs?h(2MOonkOt zaU!b7Bd1w-u?#~O-sjW$khrx@8?=knB81=cf(;tBhYQuUV%p{>Z8Zi|j$KK{f--Ma zBt*6Xyosc=IIW~%tI*DSA}~wgm&TEteK!}&ljN)jF?_=2{9xp1v!DGQyGZ(pl<&7| zzKyPU?+OMJ=(}${_?br z1@KlJggM|>3pAEB;VtaT2I31dm_KWDD)IoMu^KE4x#DxH^gMC%;%Z&A2VjASB-2KuWWv6XB6_y-qtpMJ)(kNL`P)yroZ(T4uL;a##xo>szH8k6@$XY&L- zCYNIrd`Ak|8!F)G<2~&VPiOLrM3H3NPu(*&wDOYC5Wo+{{nWkZIU!5rXRV*Qch%wf z?X>If6kXq}`=^J5+Z}xEH;rf@;>4FIb44zHO%%hjWe9-vD$#nwG25|XEN&$HRUxya zEAxsm*pZp@Mf_WiFZvcq7)GCL4AbHpONX-}qFVaxef1c)$|~k1VJn5`;)fnb3$Z}< z^!OZ==k3vBTi3qrUuA(+2)rd; zXkiTg<53bPgLtqSoYco$^pn#j5uLGT@fI6~+j7wOO=PmKwPf_xK6|1v$XQ+1G^U(m zmN7h3CQn&dUOFxGOy*Tx@Rw%UfCPCAeqGVfsC0r%dUqvGjBZ7&G#r@CXgnSJvMJUv zBc@;L;z$(N233ug>Dj^Qd1Y||iDqM4o*Jgk*)aaA^2baej<5E2JYx`cTCDH}In2>~)(F{n zsHk8|+U7Hn6(7@-O^YkNW6_YDjp^9T*axDfQZN|r`L;hNZdu!vE*a1Scm?f*mo~;>Xq|sq)k@bkdYQj@TrFp=lZ_^zSkd6 literal 0 HcmV?d00001 diff --git a/asciidoc/images/vol3-diagram-biceps-ext-non-slewing_time.svg b/asciidoc/images/vol3-diagram-biceps-ext-non-slewing_time.svg new file mode 100644 index 0000000000000000000000000000000000000000..4a517fdb201db415648458ae33463d435c2fa55d GIT binary patch literal 166516 zcmeF)YmcSdb=~)RZNT5*M0%3|q)48_!$Z=v4cn590Cw!eR)WAV1maMlgcL6zC5v>B zub$-j)xQVVuIg@aOSVKw-e`1p?YY-wUd9}AuJ!Dy`v3ml?>+s~r(Zn%=;`_Clc)du z^oLJBd;0m)pFI8K>Bmq1`02NvzVY-sPhY?O|Kxh-$4_5g@*iC9{`l#KFYo^T(|>sS zmrq~4Mt$oV^G~1t$ zMUUTl`s1fRz5e|4>ANrTKY#M)cdoymUH|^%(*K8-{9j%FfBzcu$CtKWUb}zo-HKoP z)r#%(wRf6*<3;|1Yuz7QyBs^ddTIE{rQ6Rg`@es^YyI!ONPP8&m)Cyx>3@6rXO{(^ zTqD2wtC_Pm&;Iz@g*Wff{L{&AatNrvvgP&ioe)bYMBmexe zmlc2fE_$Cnedoo4pFMqg#rQ`r9{l5L#-ChXqK$Pvy`uL!PoG~N`26~6qdts1n){0ve}Dbj!(W*D&Wq2# zbN&Cx6^CzLuRg#2=Vh6+$ivTfui3Qx@zekHvdTSJvc5lGyP5mpmF4x1{(^O7et7?# z7Z&)@wdRri;Ck=-myKV0@sIaH@n@GE<b@SJbG zH|N$vAD)wEk0rl-X(q;>UVp#%h&^Atw-46+XD?Cz&PV2isM~#ReejPy$Q(H1$1hCt zv+Ju5>;KL7bh)+pFT3u4diqbVa!e%|U!UA7k8tJBuiW_LLiG<`^56d|{u%kbcf6wl z{_I_4)dk?gKYcT^`tZXSJ~(53{~9T4s)B!Z{V#w1{gv%ivwwTN|NAdeHS8Bx?%{xM zT=Dzj%BgQ%F(Loujr`j$k*zcN#Wl|OZ@qBc*RN4uyc?g~I%oW`Yy6`kd~(I+k6zeG zm9koEAJ36_W%O5H{-t|WSLVoTNg9lyZ?tP?Z@{2#$RFo z?_JtdQ9c~mTTMetRa?wo`{iWBpIsI|KmCsv&%)6+p8ltoNL2TV=hrW;`}AFWit;xu z?|tVQTa;gSFrQzs)We7>47}}KFsFCFdAcD}y}F&- z=zaZN^sKAzSpMGT*;g)2zIpxm_KTK!nv=7??mhj_w_j#|@+x=DyM6Dqf3lR%|M(*| zhLqUs-(329`^8_nD*AnP{o%i_U*6IA>U#C=Q2C9^XW2sss8S{LWZ!xsq3yR{R#ET2 zxMX@Z=w-nd*NCsY8*L|Re|kx9kE%u!yB&%5vDH_uHN0O(_?1hWdO@-;Ue+i3;@XQ1 zpI__HhtBfmlk4@juaP9QmNBnoIt+S${bdX!(Z?>|dbg5!EFi_XTa9%|Rix&ts`;#F zH}>;ON*Ajd$3!~z39`(BbEOmKmS>o{UV%4LY37ZCJosu;-9?Ocs$QXUtIIIqqXhG zhVNYOWV3ZhMZCG6UH_YFOmo9!dVF!MVy4~cVN9d=5xU@7B{eDzfi6Dy&MO%`{23-` z_08)QoQfF_h2lk=o%Du^cH$R1K|U*Z5LT_C)6FvDzjCb!c{FBgBj~_Vcqqr@!}F!N z{<>H|z}K&Qg#eLYmpFz&e7QK_ry|W0<(pa7*8_j`Wo+JR-f+c2>+;*M4M9cZNa>rd z?5Cwy=K5+fn)3m@TMY_m3GYe1xaP6>+tga~Fyn81u`6idqY5XQD;^=I$C65$Y5%pq-flt*C? zo?$?=#Lq0A4>|NW$obawj@L%$7jSVBYw>!S%ctR>Q<@p94g=of8Auc1a8Z1`7hloc z9_@D4vr}4{+ltFnm8IFxfIa9=Lwn>)J0F>Gyj%_%W6w}$wX~DZsu_e%uaIk(m{zWY zBewFO(N>U~!|GP))bWk$wDK3#+?^Eai9XzCysp79blfYZMNWe=AiL#V9}dx@_bp+}nD`r>aKL=)A#4e7=~|*Lu~)NpDvb#jur? z#$u1g%1#K4tE@$X*ea=tlAZFd3e`=Jk*_Na27N7sJwBN?>iq)~nvLkF-w_KF}RZVf`O?^lbm0DIzA__8szG@Bc z@)O*W#UJD5>W92)6rSXFyoNE%q;Y(r7A$9YNi4AAx`J%uV;Y1Qh*gUx<0E-Bf6FEI z#hz-&@i+b1HRh3H^%D1HS*N8Bb@T6MnONDaEaQ22dcG`tbh^tx=qMVGP8W}0p0HkB zcyzjtP8ZkW^hc-r=yX-T|K2-YPqOaobn66oObvE+(Vczqt6rfKS^o4+r-gNA7+6pH z<;BXXln$gSWi{_6tB0=V()X;RQUCQS=lp;AF1=3uzYal%wuHUNDa;7(8 zCr*7a8}yD&DcQMm_0Gil?0PR+aOcV`G4IPNptC~AJpGjSC`lst}dK5-FujA-NrgMiGbMD+ndEV`Geg? zlGOL|(xkhm+iF%>_Q%q#vht+%6RT|Q*zufAd_ttNF|TISW|v#@j3tSpMoJjGt5>yy~(R6@?$ za?%PL3;pF9Jr8@*ubO%*XL)Of3}1_a6VXnlp*WB6Yv{G3-8(f7(T#;@BiSyhlhU1j z_ntpITe*+>aK+B%ERc5)ymQjx_n~vrc~1^lrBl>@xt_G}inAQH`1Dt+-JYy&XLR2$!upkbxf!vBYZl%_RhECXUPRH^E_k`jsil3ksXTL^LTv5*XT29lzirs@W{>W9C zZr7FtmCC&WjD%2;<4-FcFv zIbHdVkN`(~4s)5{HYdx!!{<0h73x%|?~BH}J2{~vzID`8+AN8Y4?6^_){(<7u4%XwmT zu`HtrceWECRBjGjyppJfk|%pxhxDvTo4^J=I_Svv+ZkKcC;t#y)9z9~;*P zq!~T_ZnJTp>A2?>45vc9D3t+Xucr?4uowsVw~CH2jTKj1Qe0&sdFzZd_!1_K&8OlR zKi4JoWa+gO=gQ&`g&oEHD;GLp7O%xuFdq8a6=y)Exphu#iz#FwRKtBTsMjH#Y>5lu zHd}j^5W~~6dM6#z zP93{l;}|un8m%wofzywQ9lQ9Zu2t;R{9Bo|uvqpVul1aRMtEblb=Gn=Q77x0F;QMR zTCo!ch|aAvjvTM@9z0ezstn-4sVen>YUnzhWc28)p$7S?-bu!r!y5gpyC&<GZ=dcIxz2zo{G1eGS5;2mQb&)@w7OGULCR-A2o(b3(A3C|a+y1;Hjc-d%P zH$SB4VXZJu@J`WmR-l2kLyfOQ6V_Tq{ap7&62j_f(^`LB-#dgAbG_K`xcqa zmA#j&+Y`HooX!o6sB%pLy`Ag%Ouxq`b+~kcY1WZ>k7slZo%V15FVQAD^&wU)9=x*k z?39+~w&F51ecN}pHs`F9FYSC}_@X=c`oPX$afsED%4gLq#z?O^AiMCZURyRLRpHD3 z7%eS*y;WEw7Wa0#Fmm7RLMH@#@J)tmlR0%KTYlKppZx19aW-GBHFnP*I=>V* zdC0#;ig{Ar7P-?i(e_x^Z5~^)$2`8|LzepLyeq!z-PYmKR}R?ONOM|&wX8oYoYm_M zUcak$@qG6pYM3>xC6nMEqKXrV*+!TrLNShUUelG2jq-YoWE|gE(fj1yXD=l04q~q{ zk@0MckBVRwn(d2}nBI@tqZJ>d5X-bRqJoNzL(~{LOmB@z+YYvI#b}r(* zbfTZNWJD(?njUGs++7!WGgn>c$^T_emC`!29V^5&X~v%7HVaf}-Uzp{kndI{-g1T8 z8+Ls0jt|5M%Dc}g=gEvYYZNDu*LTL@i^`%Wj%Kkx3yh;l7!frrK|1!}srV$l^7MQ& z4h%WBQaT$e{?^a~@v*(C05t8c)L4C$kz&P<;f%z)SeE})4Nvn!cAKWwY}>a6ybPw#t%EBg1c zA8*3@*pDW>@_hXd7vyl%cb$YfHt^EWA;RoubJr?6(sItKMY7Wbyh8JK!R33J!J0h{u+kXS*Xw!M8)xcjPS)JY*&9~Ibm9*?>UG$J zTv;Crn@umi3qSV6uB0#+)2g0UCM_pmzL2BmzO$Klv!fJ-+7eRu!v4Rwy8tog)ml(?32Ij5%XF{ zZ>+n)?eZrMksV_4{36|L%f4Hy2-DXdF@jx-yAH5bdYX}xj6KzmA&19#iqCm1oYe); zw%+{QiosHHJNvu*DRa%2G4U!qvWRbuZYP;dR}oBm|A(R1wL&~X76$*=Im~y8pYPhe z{qCAy_sN^L-6Ghq0!bIBdOaM ztlWj17>H);USz@P4~(&b9(LJtd#1Nva#b_UteL&zP4?2Tkw=P4$2NAcGW#JtkC?|l zP+!Fuci;tUHtun^tA6nZPjzbILs(c3Srs)RJm`Bc|Kodg>&8_7^%XG4d+r76gZWn8 ztlE18?<$mh!GqrSFRz=gYplmHLbh4aJJtHf-R|RV*G~f3&&Rm!Chq;@7+#JeWj4Ni z-0i9*b*qoN-NQ&23&U0Se{*-c_kK1|-=h~fPc6FF=oy8Rp5DYARo%upQ>b*ZLU)9p ztA|bmIt3a`iseYb>pj zSuI=iHn+D|M{b9Dqxv0|s43ZGZ#H-1Z?E>KzhW^DB+G|RtNPDo(qQb-8OVBOkUB-z z%hIP^X_Ks51e)+^C)ZBGX0AVrm*S`GTRl`4Y1jGIX<9s3fYs>7dv+D)DypYNo$Ymn zd}iFb+)$1I=A$&li&;6%>y`7USvu}8GjCZN3P|0E712)Gop0HH)*qI5ah>z-;2@=* zK|ehyAG2b3VmXxREO;+{>`kT{31ME_SGSjh1>#tS?{vYBd5E7y>G_>ccT;D+dynEU zL^NM7f3Vbj)VT{28|5a42d-ANC>|_u-bjg#V9zT8a-R%<8gk7gSSaq8OvEq~`L$=-h?1SjLd$tG!Of&MS9&~Nv|Q>Cn@=c}s5`pG`Y zB^#@TDjeL&Z4!v&|7Pi*>KOC~RmiGk*{)ivv}XHiPe45Z9L}NDs+}_$sfOus)(4Q1 z=$v0m`+UL48mq+UDto6Dt99bI?f2?FR0Q?1?rK($stpju9+quYKGRjwpBH;ROce>Cr9|Q zT#y&?leAB;#IZU)Pv&qf$!@rup1PM5J73#jr*5d0!PeZ(ok;0Gv4?24ezG`aou(1h z9Qu zCcb_=gVe#-)j%NhPXfL8zvs4mT0cVC3{2Hi0Po4G`mJi-;^VzeY_h{1kc<(xo}KEq z+~2g~GWDF|8CSoQ9@!Q9S}m!3-syXKRaNaGgVo~had3*ht~(nm zsES7WdaJNVPQU#WzTdL&!(aW*1wXO>{N{)ceFDEvsP|hU*sG6p_pW09^5wS|s0-co zk-h#M5%>mEb-sD~8zRaB@$>xi_IE^_-)r*WpQpiIzvtp-?=<Nm#2(A_VgVHzkHGV-Dj`Izt-%Y-{sJ!!`^-dOw@T$hotIy-Hl32k3sY{BKvW< z`cNGZUlBL@LsC154P?jUG0ey1)(K^2?Q-p{)UBW_tKONV8nEwU@?-bgSbzALxZle0 zvA!_>p5G(UnF1oak+^UD|Htk=QpR^x~APo?a9BhTc3taKyc zhP!iQ=OUhHHV?I;^N=_=OPX))Wb&XpShG4i+Ow0II&Dr&r5C_o{x6z~*fhasIsr8Y z!_~jB1K;#q0Xwpdmpr$yKfc5yw~})bp|N%OFRrsc9h*hQ6IPakt9jU~xmgjbIZL!- zJH%e*m~Rz2HP+X>fzNh^Wr-}A7mSSYc>7iw9?zLr?i}W{N@C;qaYI#J|1<)%$m zh#mxVnztg)gokVkd&Mn|r?IR)XJSk>E5%l$SqpU6!(3zN`bj;M=ZJ_`L| z5BJumiL%Joz0wmZlR>wA^H8?~S)wPjwprqtb##W~tWV}#u@jlRA#GLGmYYeTaW_(p zN)x`FrA0DElwTptX!eSQ(c?)Y?9aZk(K_ixmxI=Bg?H!yk( zJ`sHw3~P35ciLHv^_c#(R6L;S{hItC2K@BhZ#MdH1$@nbP^qf$LbXdo!V(L3k>6kp znw&Uj&6XIE*85Cmv9#ViDMN;!e8G=aGZs>;pVuelHS_WUK+YsknhyN8$ z=ub-VKl4_Sx)a+;QLy~wc|)6U{zU<4Ggcf5haMdMc1YGn4$cOma^ z5WX^^*zkZIX_kzA)qk2D4l2s+kQC}e{zl2!DuMON1a*+r^D!*jDPIgtSxl#KAe7jx zwU6EK*eQQD#G~fQM4l`D>@Ua4D;m7^+E{J&w|i*LQjxI^9L<6gFDSW>gFd@B=;Pm` z`kI6Eu4)ud$^+TdcWB8uJfWVr^^K8u2wHhI9mOG>@yNU(5_}Iy%Op9+x-!WuE6C5{ z#P3xv5fjNFZqnGuZtbJW#yl$j$vS9_G0VE+&zN5PVv{t`dxR8vv;3`G*7cd-VT9Jk z`F9x$#jFy+5E(XQz52C`52rG6JrzH&Qtgc=a1)=ysQENBkCcvNn0l7N6AqI3s`d1o z6!VABwDvXp^0Zirl!%KCP1wONSjY(hW0OEhNVU6Bp~g(}#PInguHr{aUh!S=Y&?8m zmuhW2Vj1S-b8-SA$jzsRs8}ICk`0AWTLgJ#@yjMF9BG+L+l^vBOhH5(A#*#Eix9b; zMb$W-9@1HX<;q-^71%ef8_n2o z&fw24uge%Z)DQ6$KN{<=-ip4yTTm=vy}XCe^7h~>AL?&pX-JZ9)?jU2MwlV5DN=d{ja8G7Dz-E^-e5Tl z*l8VRF)V}X$I3ODtX9fcQt$g)23jSI$deF%GO&J))a-Ig_Ka6W=5Tnd4@qo{5qQ|B zJ|#Dns4FoyJw%0-Z!?n5$`Bq}Mi*-sX*Mf)Ry1xq2{M+lG2fP*LW8rNC?w7i)MS~YIn#fqdPmQl;cbutLnI$%iB;_C1n3tod?IPX0r`~VXA1y zb#UuXW2m%hy>z>RhyGYHFN!7)eN9KqOHm+k5pY;b-KpMzQSsG?A z0Kc%l`7~F}NQ{AfGOT5F^J8oL9fnqwX;?KgQ+`aM7O;Hh7U+{@;ewSSpjRLp&P8K+ zf+fV`L_=m`If%vaMZ=2iRgGYqHH!xeAY*%5oj3SB-hd0ycq=`%8j6fkPvUWiNou`5 z|3D98*c^Mp4vgpoPNg-zRm7EdjTfiM*~PDYvOtvV#h&=6jIV!D*W|u2vcDBY3I4NC zZ0#sQkPQ{|k7Hrg`tTK2>6^@I*=$5!THf&AW|a%gWB+z!yG+D8DR&CzQqjYCA7 zdFgk7`6?FUji%Y*fD|kJc+_M5U#It=D z*XySReh>N2E?hoezqk6sH#su=_F2Z4*YCErBQ%A$eKz((&s%=>G8Xn>SvT~0|NR#6 z5AO|kw|oEMTBGMEuqp;(ee0d_u>2#Re^fr&%KXO9KW}IJx6sdS_M+jfcC^N%u<};B z*W=%6hh5Bgt=+ko`}GyKt_9XH7FGzc=d*d@BQxZnT$8D%ucAAq{_^@Cr4<^aal)* zMM{rJz0c-@QEf3aqn zk?;2N?L@*D??Os3!+yL~uJAkmc8AuPXO%^@Vo7#uT+ALkL=r<0oaEZ)mMdQ1lIWm@-J!HyA}udT4J4*xsGga0xN% zcI`*IvVz6K1}-T^vp1g`fAoxx=)eB(_@cGpWs#35vDvtrF1H@Dj;PP}o|Fs+MI;Qw zqj`jviqpL}(w>Ta{JZ7f@{S!vRjhdZQIQ`Nx%^%2{kvL`KlYQUJhA!s_uQ8sZ$Fo$ zF4P&se>hw<&_BF=56@s4yy~_CPh)~A(Z}DrUGwc3<#gHSXJWY9-MQ!a`k5I&zy3Ix z{LyuudcOA5tMBta^w7)Dx;)1zI_KvXS?6nKQJm@)mv!BHUv2Ax1=B@ub5(vho z^%uH@^@G-q^E)kJV^-}X&tI{&+F8wDZ*|?8yimTZCr;nSLda^pb=!;1ar|v{F}8kG z7Xd-mwZrNb>v^g>gY=?964d6JYaiG!YyHT) z#kZ`myY&~zN$n3S>w{#lPBXR(qx5E}4m+RNH!Qv|cZV+^~P-M-@1YiRBS6%*)ytlf<)Bo=qCX~&!Ng?JvZ;yPWLvs~<~Dcj0p zUaGTRq{W?gN?qd z;*#$}0}mC^ZatEcCGGx%6vB8ZeH#bqP(#D%qVFzxlXd1XF8<+D$dbjXQpl{H#DU%) z3Sl8^t7KUh>)Qp3j>GEohht-D{Gk*5$NC4)m_Gj9s2}SeRIuHQgiRRXbAGvfk8Vb= zm}f(tXhOxu-#fj#JJ*lh(w+X{TbCVts89IycXxD*;~<-U*jcVUUp^FXS#fwt%tRAU zh0tnQanI`^P8L}kY9P`2jiudN42PwvURBuo;rLb>QXyq{k}=_FIS=jfYOE+Pwmb9; zXXVGxY(JPXHuervldE#wEYLpIF4wKtUT~}n;7P0zTg&dajV0M+?QytOV?9zl1S70s z(QuyB`}~^yJX>$3Hu4)Dw3`UgN-X9-GBKTg@m#vuk#5Oo+znaygb99%15P(0x_SNi zCblBu3Ay;$6Em5=-h;h)IFE)A9fMK)#+&P#%8o3`rfwgsVD-sZi}kATvd^62r0Xc! z@y0p|V~P>K#oHKtJsOSZ#0Fot9_;to!A||5B0gj3^NS69m>)v@BH3EJsfvup>PSe% zx&7f|&q3?7?GGQ-U!GY#r;|upAxvcbtvu#sMY$uFLbv#i!|j-7@pLsDW{b&s5q>X^ zX(2c4Tr}*Q4j*RV_kRk?7cZRk@!y8=_S91j#6RL+WyV=@U;RjL*7KoA;HGX`Sq}~Q z*4!eWH(1~Ca- zrUB2>+IvOI-fV51RcbAMs&+cbQv5SBBlPA2BpY!$Jix2j$TUPJG zLa2Fuc@4?8$a%Zo?YnPRyr)Kg=f(DWKfy&eNQ4-=-r~I&-s)r2I>kI7&tc*5d<`!_ z^W*s%v{x(Sz8a_&!~)nJ@5z})dENP0<{fsORIZp^_H2do!MXyKR zDr5cX2dNvMx_Y%^XVfF*^{grC{6S+osc1=6h*eZ9W!<_4+$Ik3F6)zvPI3&q9z|>> z*IQZ>(>32n7FaR+`5I?dtLwPDSO1W|n!A%{RdC+xL~KPoJbmb3Ur4Igsz!;08J!5c zN1IMi`F=8Xbf;t;dh;U`@vu2;riB$%fm5A$m6xD9Kjwpw05$teSR?Xi_0x&WYI%P* z7ckNpquxOe$TsWN*;%v9sPj?zc%**MGg}zjO|6@O!!mZW;(9FIFFf$bk*UM}u0uUO zsk_b!JEjZ0>>Ep|>UGY1Q$JfDmfv~zV2-`Rg080Dvu;coRX0S#K3!23&;WLzK>U|$ z^~z-CW1O+5SDhh58!DW7U{dtNx^8uZiG`Rxs(3T-QBO)=)9LjzN#yKtN-NmjR%G~k)@dx zi>JA)%ZuBIm279>I{#V8^7`P=l1FH3^?PfQPkr#zeYYySLepxGf8_$)K41UV!_tdq zeNV@7u-cNJ!-I~csMEf?np+w6gW`GY_W3{+(Y&4WI&+q#bS#d=qbRNd!B=Zyp2m?J zZpNrkAdAo0ASPr7bXZevCH0m38jGo2iz}?uSJ-vdtipWgT|2~+Fw<=XTf=l~@J6Q+ z-dxweu6V1z?%;cOr?zrmR@5(qJh{YXnH(qbp%K~2O4f^=8R;6MV-DPdvy2lxo;901 zhOnd6y4_*F*K){w{-IGfR{7r=5G5w~@m^&2-M06BvH)t-33-`)EYwvksytCt-}m`> z@3qf=Q|B;x%IjbE+<4Dh^$N04PO#og_TN@!sN9W%v3P!%mWg8NXRz{)SmAP21^Smg z#=%dxkJWKV8Dh`4Rz-k|_@#VIL)v*agiLlYLZi@!pTlW$AWaWa1*JcP`!~e0mqt}v ztFX8(MLpn|@Vp8Isj`JehYPANFmLyDRg<Lmto~!4QMG#Bh0O8E;-(jndFutrFne|bBaU>yC~+R7C$(yQ3w?{nDmnJ#S0mHj z>}oO@6vWoEpLSMhT%CB8n68Ka%$~2TBL?}>7~PKO@M66ao8zLMW?0L)#HgK5taHmx z?Kl~qc{d)wT-e?^ANHq8bNibocfO(DY70%*RhCukidXVJ8_SQ=ZSr`2zU?eA>09aQ z?tI6$EH1C}C&a=bk2Q|h$Li}mAx{4RBhBO4xZG$gQ0&O$SpAIgkaDtH+>&*Ny5Ht0 z>-o5KPBpui=Y6h(XYcJ`T*7o(qjds!BX` zYO(xPX;)!+u8Ma0U^93Xqx-t`|doI8J3`f@) z)P0*@<-}2HxO`M;tJ8GsUP9K5yH$a@pyoFgOJ zyqLkBt#RufJ4GyY^sus-)@_ssS&fY%)DFu} z(cQS_V!=8>eHK2n16|TiMC~CmbQLE%_AV^FejQimO%~SGIR(^Lu)cEb*QTNKiV5A3myEewbi zdzU$R(7*PyizrwB=k176uw2OCcf@vXR1V3?#c9qO>_x7{D{ruXU&*(=ig%r3rVXFUi> zJq5kWraWbBTtZ{mqk-7Euc>q8FKp6JA<0)Kvt-b2k9b2r4tsVlV%EbPPW$yP`~#i* z?QDgk%l5n&p1sRPTJe{iboSz_`)L(Dc76?Kb`U2r^J4Lk&AR%iR?8z$l+N_DI!u=v zG>|W16<_l>yYN73$2asGcTd6}GA=IOX*@pTXMaS-zGbD3gf6%NwneXK+SM4VSg|}| zibSIJXw8#ZBe6#c$P=}!b9O2o5~-W(KrOM0y7w;%N_>T(;R7$ zHZ~-gf&F<0KZs#p(TUU=L-6i(#*AUOzTVe*csXbVI~5(W;aenfk$Af;R?>sVGscfV&J zjC#us;(AU5YI^avj+%d-EI}LlI{C9RzgVwMPhLW&dVyDPpNOO{U7%LBu}U90E}6_q zAuL~+U*4|bnN{a2V&$p**7xOWJ7S~aEuMJmwN&m@0fs1gK?>BYQ)7qOq}E(c&__;& zUGXSW_^q)tPxmmEoQJD_>0dlsTb3*eCI&3p8r?bwVD{3&-|WAwa-K@Nhe$T0(K&n8Xtn0J-GM3kdU^WbkMS0Z`UaE95b}?T)Ju>5soFB%PRlH;C zvbFn={Uj%KvTiJHExw{&KChp*U-eP7D+lBeyV%3ddMEiiRKhj1@#>`AupdP7dDdu3!ri~ZXQ8P0qMSxC=r(ZfnCuLiMP9O@MHe*BIBZl&?; zvD|9wP*m&IGb4t9?l@w7*}(*TXjkp%{V~K@HAW|gk=O)=TUBhvQfkw9C$6-E_sfAg zMV7I>ov;;t!qvkNBqSY6440x?#m^^vzQ1wisS6Onzv8p*qsnRx5;oSE)n%`@^vZ}> zm7S`75_9aB2W~5&xXJ6)N|uY@k*rTNzaD9kqdOVfikn!{mQGfU`FZVd=z2dgqvuKb z*MBVMXIYgce|wK6M^*(mY)Jpp$-HL6x*T~J;>26+y!R8VY?WvCevT7g$p6?v+{%>h z)V&j;>Z%^!tqFJKH=LKfSdA2dtI%~w>b9)hZJMa?HmQ3aD6tm&hDBMh$m>nQ?CykM z6}sXTcwH}XIt;ZTz35Qp)Kzacd7Eadr&%!$!hEd&6B~)GTH#hoZ~B%Y%Z9@TyU~&g*uRTh%T;&%3-e4y{&MalPcakDa}FeWPfRmE}Qv zQGagzaR^`NCwM`Y(GZu#x!GbJ@#Yip^;$l~LikY)m;W)2$if2~X&YnNg?884*6+Ts;Z&7AZwrG(y znqG1z|KW#FCr@~v-S!PH_KL;bldTV8r(8J_-m$XrqPXbAU-AVS=W#Z}*nGaY6phfp zLq$|Z@Q=(QODYD#Sox_cj*05;=)S&%S9$MN265$a^Y|39pslm1U3E5Q#}nyAt~UzX zolw(|AMFwk_&PbSgkv2SjqmGjMMKrS_w(U=S|4NQyeu~!pT&dPb)~YUGi6n>z7q-# zf;zd#ins69Rl_@Gam!GQoet!M*Emy6H3oag&8;s!I~TqGF6_#Pzwe*LgUx$y0r-*+ zdDlFdjxQI_+ul~jjE(X+-Vn#f=g{Camh4o7OLZcX=0_|JtK^*k_dbTK+wwmK*EPhB z-MXqSVp9jBCW+aR$qB0!IjfglX;CgMPn?$U_v3SD_&{ye#q!SiY+7fk$LG*a7dh-X z&){Fk%75Kzk?iIff``A!>c9Tmd=3q}-^X!!La~)8ahz^VK0IG*$Qa#@{Cj)?O;;t} zcuI8F*Xon&$n`Ay4v-9+vlb8cy}~ z-Stl99iD|_`BjHqoL0YgSFzKxF~vxxT3H@A4-}!+A+>fLx;_B=b(=5Bp`z?oIi9ci z_J@O>cUm>nu%UZ^PND1BJALB_(QkkFz#XKjUDD3BWIVI8E1jT>JSM5@zm?O1UioO} znog$Yykf^ZYjkHFm@Ou})7~s$Q`Lcottc9HPKWzX8~5Jsx$kf;>ZJZx>&f`_@m<uXaHZF>ru#ry)h%FoT?KRA`q0hN>z@Pm z@t-sB_GgBsmz_He;(RscRxZymPPdjS9lgx>i{8O9n1HQr7IAI!=vzwx+;!yGzdNcIOp4Tc>BJcJ+Qd6vNnU78e5}phz^w9e7+c zZe^`DrVfu;dU%MYMid(!z(X`k#y&jVT4NY~eJhoT{)QNylA%=t>y-)EjMeioEZZqx z3{6=~Cuk_=vwGPuyWz1eY&OKDMbM4^;?Mqath}PZYp;#jW`Db{N-Z+hfumV);sqri z>VV(>nSA}$<9mM^0&i!%4E41d<(A1;Ay8e}{VcuVfJ8j=BdcHygQdN-s!Vkxi%J$+ zq30=9uv4*uxvH3`iRMr@X^dpI_ECdkpVyfOv9V^EcYGSR(>q2<1D#1|p?9AjC?hAA zdEGP&C-vbfF7}2I9>6Ts+fW%kWq!R%SPHAKzuwAjtW<;J3jAbEI5nRp=8@7dRy~&T zDISvjs`m7p6#Iu#-jHQsn5V^3q(oeFXu=MD!9?9!$T+bNmpqGy<95{^2Hbf*e)BO8 z;y-MQsjv?(hDI^wd++lYKk{s`Zcd)XyXC;5SRWii8v_L*iA6y&V`9U-&~;fdF$MS9d1@fTmR z*tQFl^0wbq;r~@+UwajRqdVWDt zSqfWKtl{jws_c8AG5e>oX(XSAA5(SfP0H97ZA) znWWW1V~^iu9DXn|j^PJ-nLn9 zZ+yl>jZI@x{o3Iqub;0SoB_mk{=y^l{o*g|sXl(6xSv&EylIhX-s{X+kel$<7XoUB@dnAi;eG+@;L+i?GXe^hU&g)NA z?tHpFRt_bhH9Y8Tj?6iY2E`KEmb>S?ANF`c&$6i7Vfl7+Q!|asLv>_!i;2>?734I0 zz#1&o?dhh{px(Xe2HRz>nzi$^J$4fzj;&BVP6rW;`BtN8CbFxVVl*p63m(ax|Y`q=h3 zSi=giCVHLBM5BD9f2bYX)&tXI6~xSS9HElNG%%u*1J98d7i%x(bc#J>46o)JTAIT% zv=|G?f41lt=*YV?4B>bR?)WZDlxMK={DLIo%BY=r)PSN5(aY$xga-SCLmrn$ESAx` zN#x6&19CF za3U{!%_3{=E~5DGVo~9HGBdi*=WYDk-eIcGSHL3g$xn7$BkZuv98oBqV#HoC>Hwgi-0tKB7em>J`oUlM@6+ksC-C1e==4Lw&O-+~;>3?~xQvL<2B)_q+QlwirY(JL0o zY?z6YL`W?bk8)LYnm@fuPqV5+{8Sbl8CyDC=R1)Zmm0lDKx8}_tBDWKuFmWRrAo#- z%Ml(<|9SpA`zYV6R3^l(B5sxlReOv}inZ;r-ptpFB>N!d^hU*tT;9F^E+o#II;e4< zN(u*j0-?N8wl{{{-`F}G<^Ah-VNwh_orqr<8DqerHDW8-fG=slCUIl6J;r==mCMRA5@dBo?d4dI~I_}BaPj+1!19*&1}9r+(e+;<}IGh3~DFSc0%c`~!OsBQbs zB|XRK{=~2zAs;~}^zm$2Zna|Er(9SkGlqHyXA{2+PgUMqnHYD=$1~QiL*ol968~5U zYvmy<(u%CXxa6zlFdXZU7LW4jRxZloP_>fFb$$7$eTEDcur6Fz*Xkw6cE`A$!t3yX7IB+QqCoQ+~5!UQlh_kXPUY$%iUJdL!XoG51N zB;#(l@Kw9lW$Bmo7q4Y3Y{ig6H@*^2p65?1$zxIOuDTvBgu}Nu@~`}$4_>A_Yfryr zXR8XcVYfU4Q3qXCFBzddTaUMC z&W38Rz3>Y^LKn=n7wzZ`H7v6)dyC0(iWOF>$E^|}i+(`tG$TE)2Ykv;36=*Rv}Dvdib9*A-C z|7xOj*}S;p_NvD7i$!AFyH1^St7nO;bs2cxo?;^UdBG^_wvTQigw!3;i!~vko69<{ z*Rp(J{d{d5E5l-yz8#8{{b>Ms^%->>bn=e1MJa@p8T4ztVp>OHpHsutD!=oRv}(y0 zR^pkhNs~~1TU*Tur`AgYzN)|NWS0ij=yekOEH-wbS-DY%mbJHX_Q898s;a}47=#X4 z(7t@`E0}gR!~<^p)W0-U)pc~VgyN)n02MAP!!fr8@9t@9?V#_^e zz$f>LRI*TArC`aeTcYSe;n}l|LLfo%8E7b$F^*ZkDR;5<9y1KlYA(zv8D(;J|mpB zus6K!Dg4eNopDsI&K})sRrghrRWE$L(~MPQnKO%8(OO26s#uGVTbOQ{j#OmGrk8V2 z=l0XZk{Dx$I@{fjjN|R8su@N1Za7F~qFzPxVexGhofA6P+^*Pu={eLjJuBk3du0I%E-g(|trP6tI&e5wv42(l=y{kMtua^Vz z4)*KkWtuxhh%0|}_4j_>#n?Z1$-R3yotAD1S+L$~oz-4{h|kY^tD$vqzo|Zr$5?*v zXMOatDwb0K`&PSV`)%JS7Tt1)mA}SgwJ%?y)cul9Z?UsF?iIN>Pam_JsLpuCp3|Ku zKnc#>4e#!qbknN`lO2SlkGeS}@@)m^tUj4`xfk9X3R_G;9v z%#C2DIXm!l(XB7(DN>R1K0A2ZjpO+aoo@8KJG-*h?qR%p_uGohN9FC}=PXCVDlZ$h z--$loCWnq{H!Is|x>=#8YOPRr`&MctQOK^M#&5B6nu{5k9r%J2Cdjh!N9X1cM!#&0EaQ#6#$-Gd)TXjAAoJih=L}PmjX)K-69%9Fs;yyi~ zpwAT?DXnGWB9HOh3-DF@s_$0T-)sknH4C!d`iEuR4J^ZXjh}X=ksW4ZjWq7|#wh2D z^qq_);+1DbXi@sB^fx}iKjo}O)M%r2$FduL6-Y2~UvbwhO=hc`PbjWx%m_B;JqU6+;IuGR7JC7U5#O%C6@pVa(D!vFgDBb5uZ zSO>Y=pq-JdM{~A4p7TNhMBhgJ;13QVMeh`HokF@Z)II5)M25GA9dXjH%cC-C5(tj5 zWS7`>W`V}=D4LzBI<17ap`e?av>AqW%CwvQx9G}Xd|FpWa~vs0J0tA01RLFu(UCPW zvTS0}Wc7#3L}SiPK&JvTd1R-YoqyZ8OoQpa&gZ;#QIGHa+?D8x;hu3mo_A9tm4 zNsg9r)ePtl)xW8`QlDdxZTFs(WrE5g|GPcFQTr|vHwIP3_@R;bK^|eX*kJc^xWp=? zs-cnCv2kYG?f9&xChF3ytXqduo#Ng)2DZgPR@!+qpP#!X85@&S&oNufLrRaa+pQd@ ztMNMzpWDyax>fMJ=sE+p8g8!FP%+86Y3Z{WSldkZF?Ac*bW)!pwVu1i>OWpyXS2^5 zy0a)kG_S_1F+6cJ!SCzNL?P|4u-NKj%H24PjA!fO*ifay&-r>Cn|fn^>(%4v&sx8( z#_KF%PulldZ0WRKQRiO2(vJDYs@0`#m(twKkaM0TSihU5&PJ`PcMYL+p4oY%JX&2_ zS5yU4JJ%`Ud4Jp=76EarFZA!KDPL5(>!GS%tcE#$=F{gFoUQkRbD8n@?m!(hJ`lt1 z4dH}O^))&r9>fOX>trB8MnIV8>8|2g@g?C|x0?9asxl}Z7Re*gmy33Hl6C*PE%#nG z_tvzUEZBL4q?@qxE?0*WSfVr3blh}!BxPeH_{-1Zfubh2!XrBwKiU&R_kz1Lc*T;oi@| z$qE*9vQa}=vzvaF;Ns3LJlYwX&iPA@Jf1REp`hpSl(Bq#JY|$0@~0cB$5X~SLVQz? z@Yns6(dS}ydiS24JkyK|s{=ai!-JTS?z&->PG1rS#)I83K7Jd8`lY6;o6bUdulY?K zRG-!TGGg zn_?Q<1@e53=^)XpPNMtm0nRm6)Lqm=v(Bd}^eX(rCUbNv;+2o^RoxJ|KAewqMb;9l z&f`a>-|y7Fp1@d^$QNsyRaZz)*@F#qU-{9VeFlhT>$h69uKh@LeBA@AcS{q#ouy7_ zy1qEan#H;vF6(?xs6TnU&$<>LR(EEuLmM_|{l2^tBrk;zOi*_S5uwBWox`os{S2(b zU5iO zT=8A#xy^dG2$_&#w6QP~24wE;im+T5=v*4Z?B2#+VukTymNK4Z@!;+%h9Y^`ZgfkE zCtJ7NoE7rlSm*m>PAS`~ovm=Bu-}bPHl5D`p3JcqJJnhY#7hv*PjX~?S|2NI6no@! z=Pw@0W^5tzWKg!jZ1{aVuiTv#9)3Kpgds@B!Ln+2gC-R~Zx>HH5z7xxht&vqEC-D2 z#%i|;@)Krz$B6E~^dKQ!rop6r$?T$rLhGrJt6j@&wW0gU>Q^<|>B`Dwhng?{AI~ds zW^t(s>lEu}a3sdXR6R8q*Xb#ehl_D5jEotJEsh$q_4W7%d&9hZnb+kyS@ zn+gs!Y*IV+Q#p2PL}S*|x;vcu6gZiU5IC(vbDpZBjEBQhwqyD@7RKCOy_LIT?b8#D z3)OsQuW>PE$K-I`xNecGSC6*6Su20k#AeF@9f=j?QniOJb@U#kiGNhR`1zE&&p zh_B_Oym1rR34*pPBh_i;4OOXZZWf!}ZCaCO(?+d@2wo0F)kj~`ym)Ly(KAjzRW0Am zr2KA0o`EHJ;{z3pwbehqg6P<*y~XhP((cv=_oC4EV9160y23aL|FMV_u*Uy9Qs2(H z>I)y_!88svcuNHMY}qIR7?E$v-;E7<(9x-|o_cYyf|1tGOY(P8@uSoF@sLw)%cU^E z^Wt9*fhmR+J~q1;dzDr+O>S%*hA~GDJ8%z;VcMvA9X%GA7(*{V>W;!W()?;@kbaw#Ov=+qb zrJbip$#0n})P&{n$%#4(<6zNe8OS&`V~qBNRb_U1K=&cQVB5 zMRl1A`4|cx@JyYSQB_F$CBr$Zx~gHhLRKZAYaLK`Cf4MekY{FfoMaf)ZD8voV*%9i zr);2G`D&lg$vAjS3;%Se+u~c^frWBB z+d|zf>x7JOWF?kbGk&bMAypmN5Q?m3l~^pE$=5U*kFl!kVyp2yDU-@X_76=wvB+YX z*06*A&D!jqT(=;O!v)Vl4t%ttnX6PWczaic_-R^N*AC)il`t`>-Q~-@U7GKcQX}r| z(r78Nw1G9abymnjtk8SN=I$rEJ*tC`1M?d1RsEoRe&^|;cKpGUR*gp>WF6I{c(yvr zzdcHm>HFgqVlA^@V zWb$%2f)O6sKCMTJN9vQx=w@N1QzhlJo$Eu)#UAqWR>o4Zhrdqt>p|qVna((`yVaqU zZsqCmRT(9Q<>0!v*K!u)xEM&@$tlnB=fghD562|u>?A(;oD9F>4>?3@y$R2!S4=M_ z;4aU#`efERU0EnJB5cMxqEPOaN#dh_qCt1CBxyC9`BiLgrJdg5-B>_Hh)Gz|9%**` zTMZLEXSJ{~Yui1fW$}qcHrH#Z{p~or#i9zm$U{0b!eza0b3+Wv$5^wSUk=9HCv75*%LWRy%}_cEx=2zjt&ZC;c6 z#x`d;sl&9UeTp4_(Brk#syd%}9md0-4)5d}%@#A3r6-TFbg}e0t#E3%EyCrkd6Ubp zoqU?#9`a)NV1H*PxD4MRlMm}inu}fH`D$!ZjAJCf^98BZabPzv)xY&q^*h-qhLDV< z{55wnIqKw+*YG?&>+E=2RqV{kBQdtVSvJ-M%0!W6lNeNqXj{J|ZkX)(MdS3hE^oN) zI`*)!2-gEzAie=C&g5;FOB)jZux@-yk%EjYB{p?^Pi?@hn8eF~&~1ZXiFZLvjVG@_angNzE$O z;=>}yTQbaEFkO^cSG2str=rKt7{bk&t#17w=Vix!mwfpI zVGzm-i>=5G-?Ut8%WU=u8Xt<^hb73}P{g9Yoz; z^|t4}qKZN5+x#;=F48GhMa3HLi4Xs+=8K(CSz8|ae* zY@XM3o-Q9#um^{(f`~EQ;JPft#ob7VZR7aZTIK8EP`D(uGAxOyXvi^m8iQ7|8i&`6 z7*{e*IJrEPq)cN5+xd->OhFRItPRm4bgQ0Sv`v9+bC$2Dp zPiAu*6*go=d~Ve0t!z&}UW3g^Xc0F8|SA zmWMBEgw5CTy6I2foJ79!4$}~)OTc&`RYWnQ*n1DlsBl#_?3Wko6pezNvb`=$WV?~! znaQlCHVun%CdRiTubf#dFpu@yk<6ZSJ(|fCNaepel)qgg0c`Zr|7oaba|rz~nL#KV!$@F7igg(dvg0NmVg% zxtAaB{T!!tp)YQL;CScxWj`EPPC!?<=D9L1y=5braWKXcGODbetXi^M;s0=GG|QSN z%XkI`s?xH2u?opEBp|yZk9jc#>B(ho$uKnm5!JV@@sXy|a4E_`3gK3A|O$^q_R(JyDV&)pQlcEx*sQZdc%yHQYYuzAt` zP%mGWW6$yw)_BBUjK(%kZ&*Wa>clV@-e6mGDOLBBXt^3f$^&&-4%!ju7Jw+ zh#jEnbx#97F$%6Vr~3*z$;0YvC&^Wh`efOWjx4T{>or&XcqnT+A+-AV!0M+<>ASE* zZqg!(dH9XI=Z$+G!&F=R&;Ag|-gB<6HWKNg3GM`!} z52&4GO!=QiY|IC=&K4fe&%6htY{r{!rR(757rw2B2%Gt;d$M&}-Per6x1-wGIWBEs zGMtIJuku7}F2|~JFa;?hKKxAv41gW@)Lt0^Z+43V#g#5F8Dq=)>8D<)1$1j|oJ7_+#13A?&2VT9Ji7eR$0(t*?*HQql1f zJi=`2ifd7aeK|xY``Q6Ma85`+Qe7%t8&j`c_eXEDAX%RvgVrPRlS*4p=8V^^3>Ax1QAWsoIbVjb@v#@WvIW9r_Yd&UB&>3qt|GOs7AJKyl) za+Qw!&rYns0x>LhqJU{gF(#bQy>mzmwcD1?T6s%X0|&{{xjS4qOVIIF&c^tSHex(1v#DLg$Sz?cndq{ZoncV?p+XGP#K{6y;WV#= zH2$*Mo|DLEnyC-Vsk&J*KF(g5WW8HGtlSRsO6-iUt=7!(w9#8l)Xh~F#?N9=w$mm1 zMbx-ufB6SLJi({gxYzaAd6R`@Si9vrOj9OyB1?+-iyPak7gjIR>=JjtSk*6#tWF*& z-8&166RamnR+~QhXIjeE#@Wrju)O?^1B%Qvp^Mdc7z&;*KhOf-l-ox5X;8z4RoEte zVZ%H~F6t1%3t}f$VoWPC-fEmxi$eN9kv(?8u40Q7d#mh_MQ{Jw(~6?ZV%UwDjx0{) z1tUZaig>Quh&oEz@}HHUDjRvNF3fu*{9B~?nIHLdvBiZ{hUmh z24~^?*Y}rj!)tjCuRQM7Hzf=&A=+Bde3E zPW(;Xt>60@DHUGd@wi*ZC722~RE<^h^^fY3vrhHbIHSb5(}=nCH|nFAJ4-z7)}1f- zss4u-^Kc&3C1GdX09Kc8SiKIYj<2pv9p-VoZ-x4vWd7B8S9jgxnNysq-E~A{aRQZLz;H2SC?D|O50GO>(K!{?$*~Wt0MRIWA}by$&I+k%dfgn`MDdS zZV)$}R1YME?wK2YU$E-O>kDg9lz@4NRiLzo6qSSZ)w z>G5>=Q2}=*P-WH;yV;T*b%x|SML%D4MfLDEzIpt_2A$CPSu?xWshZXecWc6PGOn)K zeM}YDU0Dp?XOWV2HxW}AiK$}#ZqL+woq6?Nj3yTw6}>K@UF+|}H>Oj~-AahM(cQwR zICUkMqP_J8Y|^3V4kyJQ-5333D&W1J_QO{8W8;S_pxStzlXL@mY9OoC!0P9R-tCt~z{)w`a$ zp1w;pyOlae{{25!s=N1Ms!zLgKlG@8j|%vxfR76JH+!yhez=#doITuKICCoRhE&0y+&hed(RE*AXBv$4G{s5Xr*o`z?(yBJ^I0b;?_Y9{Kn@_kn%RBL_dp&<(Yu}56|Jl^Di`F#u zNa$$&=a=1Sw{xO*_~-b|r&XMi+>&%Z!ivtCeQwt|(-Yb5A=HxYJNT=crcU(TcDT3g zCc+7_Y)b=mdw0ENbbCSCEpJiiiI$OWS*q`RU)A?a<*n2%G}_r${Ja+1&ag#{jBS0w zjK|nZ+eUfKP9F7nlI%UwZfN$&C3?>KTd&^tya9IZ%?hV|d-YV$$y~giuYdh7Qu3zn zJR%9LW_6|)ML2?i-7(b*u-`Kyn8?5SCu5sKW*4_Tyi$IWLI^!xORef2YO(0ka$dWw zcb8=@YxY?|GeoQ1A-d@L3O>82|X*u6s!^WBWWQ+vxX+yZ_6nmbv#vYT$a&9@@cCsRbo zQ=>9ne0=(i^!Ae{hhcCI%ZFks`TFtGn&b{|@SbSE6a>OfpLrAo-im=Cq0d>E6Q0DR z8?qt_y^v}p5?F>VtK7==**iO#bDj>zc;#6rr;)rq-%|opa`d1~HpWqQ?+Kc0jVhT$k*PIKF@w-~_ctXV=kDn=CkB0~U>z`1mwDoaIjyJxn?(4BIuS%dRfn!yg?sZv5itEj79pj9zv-b6R2~|MV(Z|H$#@6%K zW7BSDQmkJuq~l2|yR6TwE2>7QG#jm&)n$>?->O~fUDUVJzw5*F4t+|xUXqQ+E7_t} z*6Gwobvx1O(Dj1VEIR9F)Qux?3tMmReI9i_SdU1i`s!Wk16irZ zasuIPQr=??O?7&W)FskFOxH*1yQS2pUtV}EzU-q%-EKWn>+_-4bwJ*?4t~uZx#Beo z%-7v}9kRS`yd3C#^Ymk0L7)>sz9?6n+k1~@>B|d7hB2>NEgiEh5A0lM?#^v;zE^aK zEqZMy(el4svYyPOkJqcI?agc6FUv)u2zQ6zHLYZYeZ1HE^vgf|q;h}gCwhME`hN3+ z|L?te^_R^Ce)lJ|m9O>=n=(Dzv7Lu8Nm0cTY%tm?VQb@WM;l{=@f$5GIwSL(vyhXs zUEu)-%!72|o#SQR&+q#_P^*TF!|mxbJhUz?VQJi3WiYb%RsW2smY7xF5C5}w)hE4- z(Pf%Nb3PI85J#2-lNnQdjme5?Ph+y0Bs|Qsq7&j`E507fi~-Ee3Om>pccingXyzS$ z3d!+9X9be1uwFXbl^)|1cu%wGmBfm8rM*}5MvR7@9dk!-K!IbHk}wW1qW$+-6`%-bCM%TyS+rbqFBO%k=_`9)qNx(Vp} z&}dZmRdnzP@2i(#G`y&Xw=&US-)?eZ>$-;H0r3+ty##g+CDlMO@yUB?R5u~F9f~OJ zzULN+qG&!{)0<=?`FJcjX;o_9TjTc7KCqE}G`;0RsFEj;!jG@t#R%~`50|H9EUzuv z>H++mF+;*xy?khey^Bd$+kLB?=Og|TDSTjLks`ql^kb74mH9GG%+j^_;#F@`-fTs+ zKo-;|!Nlpo#K3DA=zV+3hPvNsEDv?(%?r@|KCTar&(A99_mM~wj77IF`_vZ87RS&!$bMp08WA8e#VtBjW?YnPRyyqvK^!tzQzhA+Pst&wE z0qg1TVQpc8mspl{GR4ymaq1qDC*f1{aGs2cnZ}t=o)jjH#faTb#%5-dmE$~aZn+9= zJ{7tCZ5T-(ds``-HYbU$puJRqo=9RYR*Npo%SbyF1-nB9JsQ_7a}~1wj!tZ#6A#D^ zsHatIa->#eRcI&g?iT*!BGk*#^09iTU*s+F@HuVs?lj8+ym*ic%T_jKSbEJkqHU(1 zr;%UFGoyMIvN(7n(1bRPBckX z#`e0ET4|nTD~;>}pXtamaL&8lO$rla-pT6T4MQ}@dq*lt&a!2QU1O_{d6*r}0LR1n ziT2{5p~Tl!EqA^1v5tB^f*#(W)BJ8$-Vk^Arbo8s`$=g%rsZACT=j+f&9kzT?sl-J zS&;SCKP;>7v7Q+68sEm2n6o{xMj9Jmt}XXPHyKOBE6Tp6HTSH^W6u&TsQSp&jIAQZkXR@IQKZ)@w!9kBzJ29BA)2Ji5 zm6m&=*Dg+nb{Fx}>4?0jlfp!&vtqRl1`d{mvW7jzW0~Cz+{*Q^J>T5A^y8h*T;}2c z-mA-DA*u7TYRJF*7w+v}Ht3}$4b>3i-T0af5JJit+GW39#E!BUUh6unR^QT%!2HL* z;*4cjRu;f}Y_hl$9J?LWhqUq zS4_JRvQHi?KV<&%%kJd)!b)RrYg!?ckN+Y2FtPR0fUkBsUQM(bYg@zn>TmketlZ!u zh57%&ao^!!WtCufNbF@*+}(wIQEo)9J0*W-U5Y8?j}PSib37$1prEUe)_%#u%|a4Ab zETr&n{M8-@YkK%}IgAC7R)et4FKR+Qp%YE2l&v;dsN|(k8RN(ZxSc)LSwu)sPPhb>0XakX?km=Wqz=V3d^Ggx_kvBx+TK|vkI;myN3^d1827Y-qz zu8U_*C&HH@qj{l-_mi5>db4y6t$d`sMvKFj#-%$nHj{VASj_)&VK)X@?3P&6d9Kse zk>nRzz)3Y3B3g45dU#t@Viqgn7x@7P*m$=RM(Q_Lr_HGE@16D_vqnf~9ZZ@-W{x{u zX!TCm5ZEF;BcY-;pk0h2N1$$Y+DrGaw( ztd{Xl-E2N)i%5owb8ipLq{{`}(m7Rht6+sA)lJ&t`C4)N?W9(Gep%R>w5S&Ue|z`0 zD_L?>ad@tgcn8Eak}qvbhBx3L&;S-v86z7Z`|Vxd`FWAMdXAYrxIIFm)H>Z&QMohY z&x#e1x%a7#CFPsEr6Cq3H%?}&I{2R^WO9KH{$39%4=_-gSL4+fxqdV;vxxXt6w*#i zV=20~f|<#9HWp=r+3K8QgLQ1`jrCo-+Ia14(>9CNHLkOir*vu+SJj>Jn-$H;zdRz= zr`uF@_?Wb+ZS2_(KnXk2N*x+j?2KQfe92E^SC(T<47^UsT>j`0ia@Iw1sB5+UsSv6 zp{&Z|^%q#4PajVy^wj&ou*~Rbp>Sg!$P;^AI*rZTzTT%Wnsm(9DG(Wbh9=dAEX435 zEe?OPN4&4yWb7RVmPK`1;dr%pG8Q&t$e|lwiD%tYwL>0TM>pI~R95jFeAhwagXNVP zVivwq^C6cn%wi0T)JyS;FLIIuNLhP(7j@CUn zyAJ7O%_L~u1Zso4e*@abjaqJ@}#soZ` zHAhzFz?cll$KrbTgzBfyp24j5o{NNUNESmDq%FPH3C0N6ARcOu%?tTZgx+@$T60 zU0gZd49_uq-N7rGRATwqNn0bcVOW+Y&5Bv#pK(ncBs-68#+DyRLIaUN3haDMz=Wm19aKB_=GS?_zTKGhW5yV_J-#4stw3>UZs zo7M*!*V%z<)qT8qWGb(CgKWe)hqGcfV@^TdRuLuzXUBFmSri zpbjD)tp3J<<#PLmZ=cq#^Ix@#Re1)c&-aX zmmQrfu_lf%Gj7=#XuM!<5fq=(f2N7}$Q79=+w@B2vI?x|zSos`tx94IXws2fCFIo) z8k={W!fK=Hvpy!CixaD$Y|L7oWJP$xv8~t&;lwpGGk1HtIIV7>okt^Cf-&X=Qs{@m zSE&l8qlsJ0>xcL06=(uG@qEp1c_-DOF|5L19U6?ayMfKv5n@i(!^P?v48-K( zy8RtI%GkQ77@~b?l|ZEAg|*rjmqlI|BU#-HD$9^9g6(d|njxNS-f}ZW!x?Z`50Fe> z(5w(?H98zA>~|uRP215y{W1!A*jarwKSt3x0Cq%d#iYmfLbQTnuHhp?+^uqkF9*U6h0EL+aqY7;JH1|hZq}1s(Uc89f)eFQ{>sS;UAd5_Ti`s={3!ZNB*U^tJ{-Q z%_o!L&B!y*1aW+z0uk z8k=G&r`Eg>C$7rz7w!@RURy?*rOFmM7ccz}kH81)ly$pT06XQV`SX)_O)7$PT2CH! z%5R-OtMEM=${$&^)kSYRgK!!0X`0;Fx(t>bIrQ+;*_{|AdS+}bQHEbpmU$taf9ryV zy!6ti@vd2|Ic@cx`U2ONReGDGUe#qlAkXS`JoCY_dL^qt60Pc%@?Yq3P5OzDn9VsGnn&21hx2H8iUEw`H{KLw-oXP0 z9cUtj?3_YYS=~(PJCDj`89WvuV=s%185^}v3(N7=YKQsKuKC#g{=Ns^2^}g$ z97$GP4VQQCZNLH6y8k;=b^WaiA!?1<^7x3q%!R%f29~P_RzN0f#9FI2kk@X}D%Bw4%rYK>%~)+r0by|}t;{SNPDU2Be>=I`z3mu*XX>|%GI!`$55~T9 zP!VOG8O!W+#Sx@zH7DOBab>lfWEDfl!Fxxxeq-EZp6Y^i!YBWXQ?1x+F_`G^B0s`U zOhAeiX9@eR^4{)C6?NJ#2qcrD+DKd<4BN38%sPHXBS zu{BH{S(b^{vW8`48{F1|vmo50gQ^XeWO^EU$;@Rll<>&bX+BckGoHnyU4@sRtZ}M} zmFq>wjF+KT8B6P5(ybkS-CkA9m3BI>9c!b-XZ7UxN>omN34KNLRnB4<@e~SMyw~$w znTIVRM(4AGvMNR=!?5s!Uulg8T$NsN{n#SU6`{$@)$Wc(<3cDr%p(eAe;Fn|>B~6X=N`ZB#5Z@j2ea8t6o=S@rH`jKp^RJ| zX_px8Q&yu8tqcC&|#Q2`$dwh{m z3-i=E|7GlaAkJc76b3ulE{1Fr)iO~m#bSL~D3&u2&#vWhT{v&hN;Kk2amddwkhiQV z{yYi$t`W=nz}24ESo}$7B`PAXw|tdBs)$($a_56k8LGs2$bdBO<5&KbqX%Uy^DcH) zrHhG?_rE*DZ+nQsJvL$kHjw360gbTncz#l@Vh;YuA~EFWejpp_`aNOugs=K1SMdAl zk(qcHvP8SFlddnwpDL1wLst=qZ`!q)#aw(@Bx%nQYtg@G!+cTm3Ezq$6k;0l;@h}z zR!&k4-!~;xKZaZUdiBG)YX4_=apSQv8TQ3GYejfCr{!W?hO6ZCBCX3R26T>J?QN&U zGD>$psfe&=(PM8Oz%0!s>axxXP-(5Y-1ZcW+AimshsKw$I*#&Cti@7%czxAh?2KB^ zfV*Tc3+L7Nd-fc!-tGJS_J>H`MLTVZ@0Vy7B@rL8=fA2>wYZLz-*`1Isc-ogcg`c2 zS}w?@atlK8F>f`_s3PGUVqTCL%~h;A9v?wjNnnKiLB-^U8_2YLlnOJ@R%vHa%N`PhtZVB}DPP463TF z=H)@sb@K37#u!-~X?>(#xo-HdnvvNihETQ`nMLl(_xh~YPp!bGqP{$6WwSO9Z(#e+ zD#4kZjwh45k|kmiJF1md=RG+Bx7HBjkY7#0@r{75@aTQIc0Il~GdAW8Ow^3HeK@e9 z+1kritob+G!1!14TJKpZ{o8%(>)eVSYrgD0uKLPc=o_Z-85_TSN?9XT za*uVah7}k#?%=*U+DcG}hstpbS|6nQDog9wcdAPGU%Z z2={k38%d+O9~frwIuh5Dl_6OJsbl;xgxT9$@WgqtYSL!KMSN#;cggm7T|%76Uu8>s zx3eRet}NyGG)w=^Vuo9@$3Jj1K3UwVJG!@ZOJ<9y<>>5;twQ2h*sOIF)gfa=CdSRL zWKbx&)-pF46f|!3n_D$&oZK^RUOD{tDpf^k$)0$%Ju)wfYBtA3#x_m|D)#=();JMg zK}n+~<1_3PyYmWG+1y|DDYy#~=TC^4E~2%HW1c(^3$QC5NF$c#1NvkOj~5f(t6wzd zYT%Ks?#?fK8=r^GeAN!0#~K&o#p+wJJ(@Mrwj2(h_z?>fJ2Kv@?imj$C%Z*689a!< zJSt1l;L3#em`;viy1UP)$ZqR(PEI@c6yeA7UtX^s%G39=0qPo-A3EE)$hoj7-|L)o z9gu9KzPddfw5;pZQ@9fA>4~Zm@LMK88a_9}k$P1HfDpZOokJC>&cbStMysj|MvA$` z6id-VoYe%nvFpfayi7LJc)=W<<-{*~oGSU_Lrb~6>)y`>@bh`DX^|9*`0{W)MjUsD zeyj)|^@qDZ2@CKM%V6j0EADCE=A>PTwrV2hD+i+9cLVcmsD#g=)4Pa=@m$K zMsd0ryaJuB_G$Y!ve6+%IG48a2e8Fs;JG;KQ@KH}&8dFAyHU!gu9i1KP z7;U|lE0bbpE6l&LHRP{DqeESlmDdB*-NdhEZwKxCxLx6qltX*Yz{*t-UYE(&oyDRn zF56|%EbqLcJA@Z#s_mIt3DI@vB4j zZ+$yoA9U5dRQHN6n|TbM>hXBF)k8{aOlEB>J8@_5dsYajBUPgew~ z%?pFYpI@du^jSeZV4pC5qq`T1UxG>Twmfr<>psThoxPWlp`u zaG9>{K8(U3@gFV2{A4gDa~>bM`TTItR=)dNoxBQNckf7wzwF^Nx(@^F=5;5HRi$NW z-W3TJV+!_Jw*_koNmjOxk;=nymNi%1<$E0>>Y+%M!7rqt&d?wP)KxiT#mgPqHCY)izENm0M zu;DsLF6!pw8?h5B5ugme#HaJjxttMr)LuWP(5Og zox0A4d0u3!YZcgFw`i)TMXzXD)tL6t%ac$UZkHpj=kxUsY{3!Mt-i^@7$KcSsY)IW z>tnlb5Rb=OMbot`#}C$zGg*meh6KKM?UC_`cs!o+Vh0I#f2&Fk>I&{Y8Nl}tVGX+R zNO`+6$!b@q&!6=V{Fe{wDc+~^kW-GlPv=8?eLfbcKb8fu=9O9S4g@w%tt`{VH}b&s zuhRGFd^MtuiBIEM*~x=)Q||ID-yQz;s+xhX8dn#Kuj2u6s@sWunhQsoyN*P^QtZg; z=}55Ec)DHYk>NJINmW{etIOumAyftK?yo%;!j}8{Yg+0F`3lcLsLKC%{wsT-kbdv; zdB~BcRVvX@-MfQchSu|_nGmHyRONO?qjKw_NX^FcDu_DXo*jbQ0oQM=Do*P2_xZe> z;eC0>BckAMo~;5qF^O@-slK%?iSK1&oooG*uHPSV)3>!dFt>R~&E4*HopW8OD2IwN zS|&X{Vo$#A*Q|?VbHxfL>YXE#ihk?EhwLPkl}YQ?$m-R?nEY%%fj8=1LfMhif<1=` zb***(JN01;4&Yg%t3fae;n=B4RS(K0T42pI5)FP&htJRF_kZMGPv$)r1=;s`3p3%T zqIRc8<4Nf7gX46g?{mTBjQVD0C8A-sKDXTiHrlSOoKdB!l=cFyYo{89x3_{}5rWEa zRo_F>&cS+cwLOuj!jCNYTIYhEO|tHNbahUV?)>qtinyv6iC4VQ4le$S-`-Ub6K}Wu z_+V*gW97>GH`?D-(dpscZr)RcI-R?`1!wvbU5Kvbv#Kb2&pnpTOix|J`RbxfS0m;5 z>!N-uc@c1zv@+|jP;>)ajx3lL62%5_J8^Q zuATs5?>-$?7pXGmiFc(H_jjdLB~~%@huv|}Z8(py%Wk*vuC(v{=hxVO;#Iu$eNTq{ z^EZG0ti}KM9F5&W;(Pz82J&G0yg0qHlJf*gXBC}s9qIp%=Te-&K-c}}^!O6%b+YxY zitnmucm1x4b=&gceJblr7*G7=PG#Ns!dv&B)}&8o>vle$??3f&*QYgA4gH*-o;dLB zGM$GPZ}p=6=ypK(pmTUnJlJ)#6FX9S3g^(xYDFXH*Buw9k=t(>juq`b&+kC>bWUfn-H+tQolUj#@1BV$cB1bbclRA=;Od%tT6G@FmdSRMMhCNJ_~h_p_z>plux>N+Ov9O>L2=!rb<-9ckTai`hN zJc?VZLvnHU3R05GgiuOTxcO54TIpEQ8qTD;mk$p`PmXzA7b;KqP@c=@yin$)MF@u% z(J*67VyxLiKIAl#=i>~>%1+tl6bO?1xOTF1WjEjQHa$f~>|Mim^euZ>57CfqWR>l3 z4MveU!?T&Zet!p!?wB`tPc&c(W}O}Iv$*B0xEQYaw`+Q4OH4XbE27mb5@-<>F?7G< zRkr8*tmK+=w^kmkK8JIBDQ;y#qgyVwdUx(^rU!TVi4@}wKay?aI39@|QJuff>##``}ya)mGhV1{KGeY{moxJb@b;K-<oK@b7NAE?A zwx_r9e(UuF7(LAkHTAJ&hWB}_-)w^HbxzISZ)LD8eZ`-(-G4ToTy`|SK4sppUU?$o z_2oUciY0ssgZ2r{olf@keMYnN6mSKVEabbdR;~q<@1ajAH+H10q+l5 z=~Hd-c|P=>W*EY(BEbshJqM=V39EP$n~=VNSAT#FEFvxgtcg~pq6qvM6fZ?wD+N8_BS;LowYoRE|G5O2Nu z*&IA3GS*Fp&~W&D$O{q1Y1@sXLlRPW$W`&ZF|JRN72_IXh7Wwum}cas&~+H6EOnL0!!%OYK_cwNjpNp3ZhkGI<2Jy+u` zGBpxL$zZ=86~a5UR+aeEXWJ9@I;oNE=FEb_A0PA8XU5pk+R(AjGr7GaO@2?9Gf2~~KK5Lgsz~2a3MPF!{u7NR;by|S}zmJnAz3#gCy)(ba`Q2 zAz3((i`%o%+pZfrU^s0~Z*=e9W;E_g84Iyb_W3;Su+B80 zH%;&d257brI^OH-0gH6K>}$@h$=5Ng>yMP~=4=K2g+X~4dzC37XD3Eq_VVAyru3%o*JIPVmO8f|i%t2% zy0M{L;A8)%D9^?p<%4f{iNP=$UeO`I4y@HL^$7`F*ZFwe`JFn4OGTLHAXP-d`y`86 zISCWx8U(7@p(K7C-sKZ4K|%eQjOjYLIKDhGvBL!Mm}AAz+vZk@rAn%&59lh3_drzQhr9fZsA$MbI$pnS?_I+Hl3?%6f-7B9sV z_#{><&T5{u>5Vt($QN}f%f=%Sp_ngUc~|dbjqZx`Q=ZEI^WQpt7UaKPu>wL)%r+yQ zNLw={g;8tgsqsdBR{Y2#M!}c$_@lnISU@XZb*^OntR0qA5ShRxYtspi zh7y>!0?)0c&ikk3)lpofUYA!P*J>gyesVeKRxJ9Bp_4d-37A{wHtlJLKVpO{f@lok-+x;5{S~fk z{CX8mZ0)6Bqi{*H5qdoEqG{=rpn#bhqQF-?k#Xps89OqDhbJ>-0Tv{lD2o;+fBO zk@zlT>~|nLXOwH#le<56AK3}xxyx6_Q65^0RdyU|?aml@RHo^DFi9A=_CDe)mYw#+ zm#nGIVm+9L4&44y{)?% zL&qwS8Tq=%oZT8!(_TmSqD2iyGd!zgz4>!9PX*n>XJ$>&z;U5F4_b2UGm!Yc%X zR@TTOd6LF>1>4ATYtu~b%Okpq1YRD0wG)zAkX+6ltKk2;w$iR032oyfy28EL^C-LJ zg0;>bSGNGY@c}Q047;u}`AQ>9WR|?cmiqPlvhy0N=qp%g{`x=hH$MdAt-5DkE=S8E zIShxdQftcGMMNBAn_Ls|;wySamYICHjPon|Ek3l*AXB-a zrg*Zf2=WdYob#9&WdFWR$~#u8)GY1yIm{l8X%MpUAAj(w^?c$pw(y>O;3=pJr!Y~q zk|{KrL_Ah=t+lAd7xZOi^}8MdzU3b;@&(VD1%h-JGLQ8~X0B}8m{<>Xj3Eko})TPgF6<73El{gI0C!E*@lKJV>1@_w%>)-exTc{YZbZmXZJoQyR* z@inTDZs==PA(n|r`1NTGI(6D*71^m0FedBGFTWb;+H!{Nn6j)ijtA+arzMS7>zL^r_kInm z(u*EnuVX5=ipP(+|7%^o>C8}cM3Myh@E%O*U)AXFclb~RIH(*4iQ+mUXsj+lU1MQ; zwMs;*)>o;k;d=ZTYgW6G#j)*tWJ|S|_H{<>fnvl?!_6^fXE)s;CXO)jNUK^h#~6Kq zt7S}fwS%bAZ6>H7QLVyqeSm66HeKsdj;8VN=?v_G>P@Qc?bBqYYRx`T*bax~F@T)z zN_H+P>lVahRofi#L^|;Ri5i0q*h(KO_F0vd4zy=o9Fv}Pfs+(bwS#4KUan9*W0Q7B zLz75DLrAIe@v_yj$+g9smS#M=Uz+EeBQ-)-b9y;kQcdT#>YDY28<9W!n$8dbv7z(Y zFJmBnEgMcB&A)hVxaCcj8y`MhS1)hvAz2qE5?CdkTNNjVg3t*wbT2+#ZARYGRnaL= zn+IRlQ>hm9XJd1pSrG^0P!{u93`(-T4{qty$QU}0Pr`>H0CB5*>D&E~#fuEfTvvhP zI=4PCW@i#dVg}xtUk~Qlwf+`n!_=(m><5FDG3%zcrnR!y>Ef!4 zyX!;CVg&<@YbD;qZnT(H>qn0yKdnC&Ye*7Z@h*})ZRR0Lei~_<73vAXEHtr#SHzkh z#0g%@dlm93VUgHdLDb73xraB&@;uLkI+zs$68JHyx=Uh?t~@ffRI9@;o#HQA4bw6y zf3^2&HpnP<#~EkU?iG|NbSn?o5Ps7*spt-|#hYb(XSK4rJxy#L16W%YAEfB%tVr+b gf@n^r=lJY@%f8-Y|Hbnupgn!*^>4rVum67k2V=oRcmMzZ literal 0 HcmV?d00001 diff --git a/asciidoc/listings/vol3-clause-biceps-content-example-timestamp-version.xml b/asciidoc/listings/vol3-clause-biceps-content-example-timestamp-version.xml new file mode 100644 index 00000000..f5feca23 --- /dev/null +++ b/asciidoc/listings/vol3-clause-biceps-content-example-timestamp-version.xml @@ -0,0 +1,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/asciidoc/volume1/tf1-ch-b-ref-standards-conformance.adoc b/asciidoc/volume1/tf1-ch-b-ref-standards-conformance.adoc index 0393bef6..2159220c 100644 --- a/asciidoc/volume1/tf1-ch-b-ref-standards-conformance.adoc +++ b/asciidoc/volume1/tf1-ch-b-ref-standards-conformance.adoc @@ -57,6 +57,8 @@ Ultimately, the content of this appendix may be rearranged and even relocated; h * [[[ref_rfc_3986, RFC 3986]]] T. Berners-Lee et al., RFC 3986, Uniform Resource Identifier (URI): Generic Syntax, January 2005, available at https://www.rfc-editor.org/rfc/rfc3986 +* [[[ref_rfc_5905, RFC 5905]]] D. Mills et al., RFC 5905, Network Time Protocol Version 4: Protocol And Algorithms Specification, June 2010, available at https://www.rfc-editor.org/rfc/rfc5905 + * [[[ref_oasis_dpws_2009,OASIS DPWS:2009]]] OASIS Standard, Devices Profile for Web Services Version 1.1, OASIS Standard, 1 July 2009, available at http://docs.oasis-open.org/ws-dd/dpws/wsdd-dpws-1.1-spec.html * [[[ref_oasis_soap_over_udp_v1_1, OASIS SOAP-over-UDP Version 1.1]]] OASIS Standard, SOAP-over-UDP Version 1.1, July 2009, available at http://docs.oasis-open.org/ws-dd/soapoverudp/1.1/os/wsdd-soapoverudp-1.1-spec-os.docx. diff --git a/asciidoc/volume1/use-cases/tf1-ch-c-use-case-stad.adoc b/asciidoc/volume1/use-cases/tf1-ch-c-use-case-stad.adoc index 15c8ca6f..0ea96557 100644 --- a/asciidoc/volume1/use-cases/tf1-ch-c-use-case-stad.adoc +++ b/asciidoc/volume1/use-cases/tf1-ch-c-use-case-stad.adoc @@ -63,17 +63,6 @@ NOTE: If possible, the priority of slewing adjustments starts applying once the ==== **** -.R1522 -[sdpi_requirement#r1522,sdpi_req_level=shall] -**** -When the <> detects a stepping adjustment of its system clock, the <> shall initiate a new MDIB sequence by assigning a new MDIB sequence identifier. - -.Notes -[%collapsible] -==== -NOTE: Note: The <> of the <> considers the possibility of a stepping clock adjustment having occurred at the <> when the <> receives a changed value in the <>'s MDIB sequence identifier. -==== -**** ===== Scenario: <> {var_use_case_id}.2 - Device is connected to the MD LAN network and a user wants to change the device's time @@ -221,5 +210,161 @@ NOTE: This requirement supplements RR1162 in <>: _The **** +===== Scenario: <> {var_use_case_id}.6 - A device, operational in the MD LAN network, determines a non-slewing time adjustment is required + +*Given* The <> is operational on the <> network, + +*When* The <>'s clock-discipline algorithm determines a non-slewing time adjustment is required, + +*Then* The device will create a log entry that includes at least a time-stamp for the adjustment in both the time-reference frame before and after the non-slewing adjustment was made, + +*And* The <> will notify <>s using its system function contributions of the change to the provider's time-reference frame, + +*Or* The <> will initiate a new MDIB sequence. + +NOTE: during a non-slewing time adjustment the device's time-reference frame may jump forward or backward in time, from the perspective of an external observer, in a single, large, step. + +NOTE: a non-slewing time adjustment creates two distinct epochs, each with their own time-reference frames. Both the rate of the passage of time and the determination time assigned to a single event may differ significantly between epochs. + +NOTE: non-slewing time adjustments may occur, for example, when a <> rejoin a network, an absent TS Service returns to operation or be caused by hardware failure or operator error (e.g., making non-slewing adjustments to the TS Service time-reference frame while it is being used by one or more <>s). + +====== Safety, Effectiveness & Security Considerations and Requirements + +// This provides information for auditing. +.R1560 +[sdpi_requirement#r1560,sdpi_req_level=should] +**** +The <> should include the determination time in the log entry for each non-slewing time adjustment in both the time-reference frame before, and after, the non-slewing adjustment was made. + +.Notes +[%collapsible] +==== + +NOTE: The determination time, recorded in each time-reference frame, should represent, as near as practical, the same point in time to an external observer unaffected by the change in time-reference frames. + +NOTE: This requirement supplements TR1340 in <>: _An SDC BASE PARTICIPANT SHOULD log each non-slewing adjustment of the local clock._ + +==== +**** + +// This is for providers to inform consumers of the non-slewing adjustment. +// It is necessary to have a version here for providers that don't use NTP clock-discipline to smoothly adjust clocks and just set the clock (hopefully not going back in time). +// Using `ClockState/@LastSet` like this avoids having to extend everything that needs a timestamp to support versioning (because any timestamp in the MDIB before the LastSet +// is questionable following a transition to a new epoch). Epoch versioning is then an extension that lets the consumer determine how questionable a timestamp is. +// If we have a `Epochs/@Current` and update `ClockState/@LastSet` I don't think we need to also include a "Questionable" flag or change `ClockState/@ActiviationState` as proposed +// during the workshop. Using `ClockState/@LastSet` seems better than just changing the @Activation state because the consumer could determine which timestamps are questionable. +.R1522 +[sdpi_requirement#r1522,sdpi_req_level=shall] +**** +When the <> detects a stepping adjustment of its system clock, the <> shall either: + +* initiate a new MDIB sequence by assigning a new MDIB sequence identifier, or +* set `ClockState/@LastSet` to the earliest time that is unambiguously in the current epoch and increment `Epochs/@Current` by exactly 1. + +.Notes +[%collapsible] +==== +NOTE: The <> of the <> considers the risks arising from timestamps spanning time-reference frames from a non-slewing clock adjustment having occurred at the <> when the <> receives a changed value in the <>'s MDIB sequence identifier or `ClockState/@LastSet` and `Epochs/@Current`. + +NOTE: This clarifies the ambiguity in <>, section B.182 when slewing is used to smoothly adjust the time-reference frame (using, for example, the NTPv4 clock-discipline algorithm) where information from one or more TS Services is used to maintain clock-discipline and does not "set" the clock. + +NOTE: Any timestamps in the MDIB prior to `ClockState/@LastSet` may not have been obtained from the current time-reference. + +==== +**** + +Any time-stamps obtained in an ealier epoch may be treated with greater suspicion than those obtained in the current epoch by a <>. `ClockState/@LastSet` may be used to determine if an unversioned timestamp was unambiguously obtained in the current epoch. For example, when a non-slewing adjustment moves the device's time-frame reference forward, any states in the MDIB with timestamps greater than the first timestamp available from the new epoch are unambiguously in the new epoch. In contrast, when the device's time-frame reference moves backward, only timestamps greater than a timestamp obtained from the old epoch's time-frame reference when the non-slewing adjustment occurred are unambiguously in the current epoch. That is, the first timestamps obtained from the new time-frame reference may overlap timestamps obtained from the prior time-frame reference. These examples are illustrated below: + +There is no overlap in timestamps when a non-slewing adjustment shifts the device clock forward in time. + +image::vol1-diagram-use-case-stad-ns-forward.svg[align=center] + +When a non-slewing adjustment shifts the device's time-frame reference back in time, only timestamps before the last timestamp recorded in the MDIB from epoch 0 belong unambiguously to the new time-frame reference. + +image::vol1-diagram-use-case-stad-ns-back.svg[align=center] + +When a device experiences multiple non-slewing adjustments in a short period of time, the earliest timestamp unambiguously in the current time-frame reference may be from an earlier epoch. + +image::vol1-diagram-use-case-stad-ns-back-forth.svg[align=center] + +.R1561 +[sdpi_requirement#r1561,sdpi_req_level=may] +**** +The <> may indicate a timestamp belongs to a specific epoch using the SDPi epoch extension. + +.Notes +[NOTE] +[%collapsible] +==== +Timestamps for states that are not updated frequently may be versioned with a specific epoch. + +==== +**** + +.R1562 +[sdpi_requirement#r1562,sdpi_req_level=shall] +**** +The <> shall report epoch adjustments from the earliest versioned timestamp's time-frame referenced in the MDIB to the current time-frame reference. + +.Notes +[NOTE] +[%collapsible] +==== +Epoch adjustments are optionally provided for <>s to adjust historic data. All relevant adjustments must be provided when versioned timestamps are included in an MDIB. + +==== +**** +// This is for the sledge hammer approach. I figure out what a universal rule could be or how to communicate epoch changes +// across MdibVersionGroup/@SequenceId since it seems that any information inside the MDS implicitly is scoped to the +// sequence id. +.R1566 +[sdpi_requirement#r1566,sdpi_req_level=shall] +**** +The <> that changes the MDIB sequence identifier when it can no longer make smooth adjustments to its time-frame reference shall consider the risks arising from gaps in continuous data. +.Notes +[NOTE] +[%collapsible] +==== +Non-slewing time-adjustments may be a serious error that impacts data that has already been: + + * displayed on a chart to the user, + * exported to other systems. + +==== +**** + +// This may be unneccessary since it applies to all participants from 10700:ยง5.2.2,RR1162. It does make it clear +// that epoch versions aren't required though. +.R1568 +[sdpi_requirement#r1568,sdpi_req_level=shall] +**** +The <> of the <> that chooses to omit epoch versions from any timestamp shall consider the risks arising from erroneous timestamps. + +[NOTE] +[%collapsible] +==== + +Epoch versions may not be required for timestamps on items that update frequently. + +==== +**** + +// This may be unnecessary as the device could fault at any time. However, perhaps it is useful as a way +// to surface behaviours as part of conformity statements. And it emphasises the myriad of problems with +// time steps. +.R1569 +[sdpi_requirement#r1569,sdpi_req_level=may] +**** +A <> may enter a fault state by, for example, setting the `MdsState/@ActivationState` to `Fail` upon detecting a non-slewing time adjustment that it otherwise cannot recover from. + +[NOTE] +[%collapsible] +==== + +* A sudden change in a participant's time-frame reference may require intervention by the OPERATOR or RESPONSIBLE ORGANIZATION. +* A <> may continue delivery with a subset of its nominal SYSTEM FUNCTION CONTRIBUTION following a non-slewing adjustment reporting the activation state of components using `AbstractDeviceComponentState/@ActivationState`. + +==== +**** diff --git a/asciidoc/volume3/biceps-extension-provisions/tf3-ch-8.3.2.9.7-extension-timestamp.adoc b/asciidoc/volume3/biceps-extension-provisions/tf3-ch-8.3.2.9.7-extension-timestamp.adoc new file mode 100644 index 00000000..091ebc1e --- /dev/null +++ b/asciidoc/volume3/biceps-extension-provisions/tf3-ch-8.3.2.9.7-extension-timestamp.adoc @@ -0,0 +1,93 @@ +[#vol3_clause_timestamp_versioning] +====== Timestamp versioning + +BICEPS does not provide any means to convey step-changes in a <>'s local time-reference frame (see use case <>, scenario {var_use_case_id}.6). + +A <> includes timestamps in many state updates including `pm:AlertConditionState/@DeterminationTime`, `pm:AbstractMetricValue/@DeterminationTime` and `pm:AbstractContextState/@BindingStartTime`. From time-to-time, a +<> may determine that the difference between its time-reference frame and that of the TS Service is greater than can be accomodated by smooth adjustments to its clock source. This may occur, for example: + +* when the TS Service is unreachable for a prolonged period, or +* following hardware failures and/or operator errors in the <> and/or TS Service, or +* after switching to a different and/or backup TS Service when the primary TS Service becomes unavailable, +* when network congestion leads to asymmetrical network transport delays while exchanging messages with the TS Service. + +In <> this is referred to as a step-adjustment or a non-slewing time adjustment. In the absence of step-adjustments, timestamps generated within a <>'s time-reference frame are well-behaved: + +* never decrease, +* have a well defined relationship to timestamps generated by a primary time source, and +* a well defined relationship to each other. + +The presence of non-slewing time adjustments creates epochs, periods where the <>'s timestamps are well-behaved, separated by step-changes. At best, <>'s can guess at the relationship between each time-reference frame between epochs; at worst they may have insufficient information (e.g., non-slewing adjustment is caused by change at the TS Service). + +The diagram below illustrates a sequence of state updates incorporating time-stamps from two different epochs. In the illustration, a non-slewing adjustment has shifted the devices time-frame reference forward, creating a gap in time. Timestamps obtained in epoch 0, the time-frame reference immediately before the time-step was detected, may not be accurate. + +image::vol3-diagram-biceps-ext-non-slewing_time.svg[align=center] + +[NOTE] +==== +* R1520 excludes non-slewing adjustments to the TS Service by the RESPONSIBLE ORGANIZATION during normal operation. + +==== + +A <> may start a new MDIB versioning sequence when it encounters a non-slewing time adjustments. However, this may disrupt SYSTEM FUNCTION CONTRIBUTION. + +This specification adds an extension to the BICEPS Participant Model enabling richer communication of changes to the <>'s local time-reference frame using: + +* epoch versioning, +* epoch time-step deltas, +* optional versioning of `CalibrationInfo/@Time`, `AlertSystemState/@LastSelfCheck`, `AlertConditionState/@DeterminationTime`, `AbstractMetricValue/@StartTime`, `AbstractMetricValue/@StopTime`, `AbstractMetricValue/@DeterminationTime`, `AbstractContextState/@BindingStartTime` and `AbstractContextState/@BindingEndTime`. + +[sdpi_level=+1] +====== Model + +The clock epoch schema is available _somewhere_. <> shows an exemplary XML instance of a <> from a device that has experienced two recent non-slewing time adjustments following three adjustments some time in the past. Of particular note: + +* the clock state includes epoch time-step deltas for epoch 3 and 4; earlier versions are not referenced and therefore not required, +* the state for metric `m1` references epoch version 3; all timestamps in this state are versioned, +* the timestamp for metric `m2` is not versioned; its timestamp is less than `ClockState/@LastSet` and its value should be treated with greater suspicion than later timestamps, +* although the current time (`ClockState/@DateAndTime`) is also less than `ClockState/@LastSet`, the current time is always reported using the current time-frame reference; its value need not be treated with any more suspicion than normal, +* each epoch time-step delta includes a version, timestamp and offset; the timestamp is in the time-frame reference of the versioned epoch. + +.Example MDIB state following two recent non-slewing time adjustments +[#vol3_example_extension_clock_discontinuities] +==== +[source,xml] +---- +include::../../listings/vol3-clause-biceps-content-example-timestamp-version.xml[] +---- +==== + +[sdpi_level=+1] +====== Requirements + +.R0600 +[sdpi_requirement#r0600,sdpi_req_level=shall] +**** +The <> shall increment `sdpi:Epochs/@Version` by exactly one for every non-slewing time adjustment. + +.Notes +[NOTE] +[%collapsible] +==== +Non-slewing time-adjustments may be a serious error that impacts data that has already been: + + * displayed on a chart to the user, + * exported to other systems. + +==== +**** + +.R0601 +[sdpi_requirement#r0601,sdpi_req_level=shall] +**** +A <> that versions timestamps in any `AbstractMetricValue`, `AbstractContextState`, `AlertSystemState`, `CalibrationInfo` and/or `AlertConditionState` shall include, in every clock state update, the complete history of epoch time-step deltas from the earliest version referenced in the MDIB to the current time reference-frame version. + +.Notes +[NOTE] +[%collapsible] +==== +* Epoch time-step deltas provide a mechanism for consumers to (approximately) reconstruct time between epochs. Reconstruction can only be approximate because there is no mechanism to determine the source and timing of any external discrepancies that led to the abrupt change in time. +* This allows a provider to select which timestamps it wants to version. For example context binding timestamps (which may remain out of date significantly longer than other metrics) could be versioned but regularly updated metrics might not need timestamp versions. +==== +**** + diff --git a/asciidoc/volume3/tf3-ch-8.3.2-biceps-content.adoc b/asciidoc/volume3/tf3-ch-8.3.2-biceps-content.adoc index 2b123dfb..f91a1082 100644 --- a/asciidoc/volume3/tf3-ch-8.3.2-biceps-content.adoc +++ b/asciidoc/volume3/tf3-ch-8.3.2-biceps-content.adoc @@ -222,5 +222,7 @@ include::biceps-extension-provisions/tf3-ch-8.3.2.9.5-extension-gender.adoc[] include::biceps-extension-provisions/tf3-ch-8.3.2.9.6-extension-equipment-identifier.adoc[] +include::biceps-extension-provisions/tf3-ch-8.3.2.9.7-extension-timestamp.adoc[] + // 8.3.2.10 include::mdib-efficieny/tf3-ch-8.3.2.10-mdib-efficiency-considerations.adoc[] \ No newline at end of file