From 8008ddd4b939b368b2d05499b872b476f8aaf91e Mon Sep 17 00:00:00 2001 From: Bernhard Urban Date: Thu, 1 Apr 2010 23:17:23 +0200 Subject: [PATCH] spec env: pdfs und pngs werden nicht mehr ins repo gepusht sondern vom Makefile generiert [1] @alexander: ich hoffe das passt bei dir. [1]: fabian hatte zum groessten teil windows im betrieb und pstricks zeugs nicht installiert. Revert "windows und so" This reverts commit a16e4c9e5eddb4ef32dbc34579dcaa002ddba3ce. Revert "don't ignore pdf's and push them" This reverts commit 816112a0af2d06eb76d657275b2c541994d25b2d. --- .gitignore | 2 ++ spec/Architektur.png | Bin 19371 -> 0 bytes spec/Makefile | 3 +-- spec/Sequence_Scanner.png | Bin 7798 -> 0 bytes spec/sm/alu.pdf | Bin 10298 -> 0 bytes spec/sm/display.pdf | Bin 11407 -> 0 bytes spec/sm/parser.pdf | Bin 14007 -> 0 bytes spec/sm/pckomm.pdf | Bin 11719 -> 0 bytes spec/sm/rs232-rs.pdf | Bin 11143 -> 0 bytes spec/sm/rs232-ts.pdf | Bin 11016 -> 0 bytes spec/sm/scanner.pdf | Bin 14159 -> 0 bytes 11 files changed, 3 insertions(+), 2 deletions(-) delete mode 100644 spec/Architektur.png delete mode 100644 spec/Sequence_Scanner.png delete mode 100644 spec/sm/alu.pdf delete mode 100644 spec/sm/display.pdf delete mode 100644 spec/sm/parser.pdf delete mode 100644 spec/sm/pckomm.pdf delete mode 100644 spec/sm/rs232-rs.pdf delete mode 100644 spec/sm/rs232-ts.pdf delete mode 100644 spec/sm/scanner.pdf diff --git a/.gitignore b/.gitignore index 62981ea..67be4a2 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,8 @@ spec/*.toc spec/*.backup spec/*.out spec/*.pdf +spec/*.png +spec/sm/*.pdf *.swp *~ diff --git a/spec/Architektur.png b/spec/Architektur.png deleted file mode 100644 index c3e88a89e6f6aa9726fb67b2dd87286693890df4..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 19371 zcmb8X2RN7Q|2KYVAcaUmAsSXz5t$82W`vNDnNb-b$*SxbBFT!($jFFfmdqrgVYY2D zlKFpK_x<}G|L6BS&v87*@4oNvSHtJ?xvuj%&-eSa-h$4kpQ5EfxLTRRQN`Y7-|4n(38BGwoiPH+lwA~WM`mP%?&8<;Q_0%~HNTlCl zJKp~&_L`eV=Z3SQ8eLUx0Z|57CX9-Q+P~R(h6!iHX6!Q&*W9+Lt95-u>*H_tEcwd< zZ!!L9Tlzya{;j$2dBNC$v8BImt?ON_6;-TAs z-i<4Xi~VZxKm2Vcugl!MH*rNt6Vd%OHN^PmvQrKYBFf6jzSpCoqlYFZBYq}(bNKuF z|LV%##=U2cVyHoq`aZk<(;^LVSE5|{479aZUHt|ha!JQF8sPRSwX z!RuMC;Z;PGm&6^CDM zxgyh69_a413sShnA?w~4HrkOE&`^DJ*)MOPlb$(iT)b1g=ucK|?v|c>lYo$r%?)8Y zd0h3B?IxxVjnB?jjecv2cAIIFPz=xVGKkEj*exNk<6OS+M#8Y%Y2)?l*SSxh$j$GZ3za1JJ^l5t_@mSnTaWeB@a=>DSz$ZDz zpbeUunp0C#J`W#qRk)7xzog_{tvuBBI4i5BU4AXJDVk^VCMjv@opf|`+^2Nq^GT=>y? zzfR1=#AL&U4Z9B=+J;qG_!g~EaIu}kwBn%PpT&`L=UUc!%dZATM4WPWmohUq*AdDO z%gM>P6B&7PyMS)WwaI?MCtc-UYH=~s>C>l`R8LsuK*y7~mBx3V!FD`?+lgYFH{*T7_ z(T0YGsku4DeB&2e85k&tg0iwxy1KEA4E#rJ-<8;%TX$5#zF)ii0O3A0Nb&K*hchQn zQj%Y+toAq6ZKkG9ng06vtgGu`OH0d+4~6D@A|hv=EZ^lj%e!aKZ5kRH>$Z6DuBR8< z4eq7!hJWHUsLCDNX6X}m0iDgwDT(@o=HKC}W zAoh&TQeFyA&%(@%yYfn3g}9%u@7s@0FY@87`2_^t8&s$ME(!B?-9;#CXq>bCJ4cZ+ z>(2Y`?H^U<`py%h-Fd?kea{sXzKxBkV$JH7gMxx)d#|>?*EhNR`FYj&9Qo@klbFk? zyk3_5?G+7thm1PrDURO1f4^=tDvB{mIla!#QhqWx*QDCGbhTpf!stoQdrUEjQZD>{ z0Ra-vRx_Kb9uwA*4~_-9LO(S+#Ykz%GkwI zknQ>H>jvggC90N|`_eNr&z?E6HH<~{R$$=l++22Q>hZYD%1XnD=V`6;Pwd(49#@zC zZmx_dd6hqQW8m#%RqA+}wSKc#|Mnq^zT&3E{uej8GSqf{s`8Y!ym;}fjSb(*Y^TO? zAuT`ky`#^bNv=EkI)d}w&VdiYs-9o(-hX2Kx4A1X_eWCh`LZi&H|ED4VmotlH@CDr zzS{r$x6|T}2lkEq{Z-wIk8^U^484uMr)%+TXJ)3!=ag|vIn-qEW4OC8I(pka9-hse zjN7&~ef+5JmiNzft!CBP=V zU~6lT#=*nG^Rl6#+fAP7eSVfl*_FP6>oZnN+qZM!#D?q;zVeMtf>XiwR0IdtfdgAm z&4`@*?A1||wYq2?jj4rc^8-c|OjT7?$5}1Qt{LrDPY4_wyimUQp0&DY@}f~Pm15`i z%bbdLS1O-o==3bD7NdZCeVku)90v(2>WD+T@b|CHZmE6Q9v{w7xfJJ)vaQX3w(ooy zv~3t?>~3PB+Si7#H1t9D76IuA8>|Y`wryv>QlIbm9g}@tzwL!3J3G4?yOi_pY;9%q zp-j)E`KGp|zH0-K_wMarWo3;lFF!)dE_D}uP&X|}xN6~6LSmv_vHEu0@ACJSd)Zfi zzQIB__4OsDrluNrv=|)zH9Q=7`}X=5e}6ov6Cc3i|2;Fa=jzp~2PGtUqA$#QdLvVw~@2b0>lVo#>=i@1M*IzhWR z&wKIl>Iszjb{^){B5os_O$HwHzZJgZIhvC5BP#d4*+_5g)QybKlKNMRVsoAr`KL;$ zYc@8VH!v`p?0>-@k922N>xAfYiP5=XNjYc7?;7vEKz zP%< ztivMroZ{ZUpYnA$`|XH`hz~;|b1b}(N^b;?*z@}wCJc#3;zmlU0ZbGk6nAKAj(yW( z()uhu`ar_|R$#F^2@tB+R_r^zp0OHK5Nv<#8exi~qJ#;Ns1U5em8jG$?K*Z8$0av6_l%Ct zMj(T{^JUzJ4xM#0#j_H;Dd(f(y;4o-Ge#L_Mo4QW(%-X@JMg`D!NN#Oi@P{g+W8kj z{OZZ)3=Rn?ywWEndcr)E@04rLm7pxmf*)__-&g0UZzveOZ?jX=llBI;4;@>$3ZI~y z{$y|YHk=-};q-fh-@a`i;$*HLoSmI5Fn>+gTkUP~jhfY*hGliGOuLI$@9O@I1;6vx z6`i*YgCe+Alksk4VYNqJH@B z;oHv6dJ-T4&qnUC3})H6bA47-Zmn~8t%D~ItP|n%9(ZIu-!qUBd@#A{1j@?!`$4^^F3`ok&z5UO7Y!x-;v#& zc%H%J^L(>TQm17hCv$aR%WmUCLs=QG_K%|1QKFxd_!iLc+^CFzZmy3u|Ena~8)R9e zJ=KVlz?b<-j{EAnN2l*7?JX!R^-nS$f4vt)G%zsG2i0k8Y)otym$~ZcqE55ko&%lw zf`|1-hlfpne`})o`9StYDP^i@sQ5bhm$!#2nQyQq;BY<;7~{Fwmb&@;KgiuVa;(+q z=|a#Z9=nFP(ysw-B8i!2o8ps$TJ@g3q@TVZrI8s`l5RQY$$$O2N3!zOJE3k#)UH^U<)pe0Xo*=rrKOU{D@ z7=-&&eb-P|_F0uPE0V_*dsi1fv(}Vmgai(=e63zpr+jPFdh{+A#h?|zyzDbhZjDqWS{dy2P-Pziq`T&LwGhe*OO5@}c}HkNcmA zFxEp>f$Vg487S6VG0LW9S}R{~)zlold+(n4L~r@8jx;JFrJ!J|m6g?;PMV`e^2&bV z(dPfau0VF0vznkV6e)9~Jt6Egodtn`)a#B?P*9i!)Wv6`u|#77<{6f2v0S`#NtNK` z=MN4HeAn68)Y=*fD3e`Or1eP2F6z5AYE5fzWkpZjt#uP6cSIYU6;b0f!FL4Dmv(*R z>y8(YgPe>+oUbwZHA&BZ-q(NF^nuw`a6-%Xf-gASx>>??gx6#*Sj^jE;&bz@hmyI%@tt zM<<^C%qFRrT>Y6lQBk*gOuX6moC;@ZIGz5!?3}jt^2#VX)^T>CZ)chPK(||Hu1)Xr zYxMY*mrIk?5mfXX#KMwl+*qrgzCNo}dlIdNhQ`a+uS1vx?2L7D^(crBmDisdo*)Rh z<*5^QV`5C3@AA1#zuNJNT7yfyTXj_L{Q0lg19iilnU3HA20w!$B3=W7aaIWliBNWFW`Ny=g|875%bxpHU9B!*xs;TZkK;>6wYPVNnPpqc+lMDQ%Ir-n zEG$q%+=;yJf{%a$z#PT!Ry({gw6*k!n&L>9PBn-N(vEl=I&Y>ApWzs-JB z#RaiLD}M&4h)aDH+clD8A|L4DX_VOYtjoGWYxA{4G2_MYKiw|^gQ;^|#oH2u@y1I2Lu?Hx8*d#o_vnYvz3$^R8pmtJX85Bj`bFqTweeJpx ze8YB1tRuRg7zxNECy82~-phF4eCZa#H`YZ*XFK`GcI?<8dg5$gw0Nh%&6_tJoSk33 z3fbZJppiqy%?G$wPfzbcN2((CsmA!`nw#rI9R`oeT>rg6;z}=Z#xt43cZ1)*`}G*# zQ2R!$fA#z5Xo!$e1$EP>4@LXN~TToK6UGQ-CtVN!k ze)ZH2Awz;7c|>uX-pn88Q8of6<-sep9Bj+5u*XZ6h53dqevsHP^RqqR>C;2+-n}EV z*NR{F_U@W|@h7P}4>!Mbwj9qyo&BGq%=L>&Z z5AYnBrWvk1eIPW*4i&&rgY*Z?&uMx{jF1Z%g zo7$2jHP2mG*r;N!D>e0|O+yxK2LAd_txUmV^(vgRKRgtneQ?l{1}iZ*F(Ks2s~QHz zV>h08{+`Urf{NnaEU)EQhn>&$`n}gy*j{YU{`~cI#PqL@Js&=PtnKJ1JbiB?f&OTX z(;qE-sn)4h-p0qepbTrBJ^PC8L>_3wd5fa(kdPCqs-YiDt?wSp z%w{pq&9+u6iUq*ySWL2D()`|a^6FvRE?x)#f$S%vZJYlbT>x*LoH^FXxeKq%5U(^?wd#o%KM|dh z5{a5W1KtsuX(wwN8Ym%QIb6M3Pu4_WeWC`9Zs_MvD*VI3##YzY$4)8`rlt?IzCWNr zU(^fX9#zr*I2~_LRoc|n_6qt|2Z#sdpRRK{I({iByB8K0Q^6}27Dw~_E=EY~<6g(` z5TJ%fJ>lr}>qiZ0g(|W6y8Ua~oVh-2VgpKE@k= zgUJ_mYRJFJPKhxg_;io$j#2J-c!J8~cN0%RVIc*faO%_^0fEiT%*+HKEiE0&AWghU z2gk;?K)iFF>}Oy4GkH&7=G6|9quh~$A;MK}m3k|F4R`86=d&KDl7%3osin2<=(J7l zMWaeLhLxp1JB&kI;&Zb3K3yT8yKV9I_9n$b5iv0ZQ0uL%tl7>h8q(K)?=|+AR@}R9 zU$%>E{PQ30oV;|=?Qm*_e*EwUkCpLSW^9`LgQU(wvyNx8a&nH_+VaN=n}pZirdm%d&JM4~C7^$%J$t5??HQqiZYz=-%<I?+my7&*H%{|@7(cOUiR=<{rgkWZ7QX?<%r{#4a^7hd{Enq?RwPv z9@mOxrKYZXer?h}Ab_g>`cHNlw<#jO@;8lol1vb%*8;`L;+);=K{Q|y&qe3n3YX1P zbh~^qGkGQksw1$^pH)#1s@2P0^P~t?*le%3emm8S-`V%Tw!JC;RiX{$?B{lrDi!ZSc|3 z(qhwI#W9$Dry|@GHZwc>2yC8#p#v?6kDEKSUy5e)=B9V=qDUPEU+}w~Oe#H3j5ZN{ zz%R$Xmn5Q}P^3U)5zq3toLtu0s#;WByq6o2^&ZgtvpG-XR~K$$TV@p%74`pxYSM`3 z{atV8QhBc0(W3;#nT6{fv8m%YFk&?H^!5&hMT-%f^6HQoP(}AOskOJaXJ((xi~`Jt zNbvT&{R>6twoczqg|R6D8WcmC9vP^XzaJO(7H$1*lJS7l`V{QBsOQh6Sy@=l+!HeT z1soOiz<6MFYY;eS9Z!6d0%ePD)z7}HSrwH z4E+beqK#+ZKy(5MHGwY$wqO~6Q;zL98JYsD0@}P|Zn*OlONI0Badv4}CQ6_N+rEkt zkq@6f(cBITqrD#=PjkDlP!v}~eLE@1IPddgjbynEK0wae24$ILot+RV6|wtLe*OBz zHUn(+7HYE%M2c_Y{rmd%?5DzaJ$!f~fRUjC$Ke;Y4{fkt zw9AU^Ql+fhl+S?!2Lb~dTUtUI!r4`RzDZ1jn&UniFMUnua$kkc&_O&=o0owM{I7Gy zn-+)1e?T7v`m%N~BzT2{!Y^IAWV_ckb>tbeK#h+dKLXM!VppVtK$QQ^)JV=)Sa4f+ z6vZPIqL>!WV9dXditlU&sSR&uVtNZ;pLMZ4X)ZSV@^bmrpIK0^aUTZeNqGM6Kp?U~ zdF$%xtQ+reDfi@)0=35dxyKO)^jjEH57UjPcPqRPE5Y;Zy8hN!PfrP*r*0Gn@EtIO zD*3b^T==zk%wI5h|J$Xb2|8h4(VcN(4Vu$CY^!~$ojpA}7|U9pj>_Rg4)LzZul=QO zixW*d=IBuLWT5jim_ovp-e)L0wA`phkTjc`9$L1OKG5dRn`S*%vI;PG2j~6rK-G%|=ZhCFmhVl9 zi&JWs{gYt$7YGSbb@b8zmT!1?F7FUgzJB6gad|HGy6ZCfGPxmUr-n{!Jbyb2K1cUc zQChX`=1cOH-T87w7P3y?lzz|8?*~IDSFkZPJqDu5Z14`3&S>zFTnuP~ojBxvrnR>= z&Q3g^eD{2^N(HEqeL6pr7HyYyA)LPBDRjRf{76 zMWv+~?;oE#tD~b6<_3w*Hh8G9nG&+ zS5T-ApwEPEa5C=4;NTg%7K74>n3$MvzkVq}NWiAQdsiVmJe)=&zuO<%I;sCUD&JXb zH5*j%lKp*)>gM2|QD~?-Kb^!};+1v6PIu2;masJF*67jvTwGi%wm8>g($wFd1P6de zV&&s{Qm-zz_Y~kHc1H!N8kjL{t3Q(dvYV3Q$DHm@@L(&&`W*o$?_(n4f5WrmCfW{HaQ_@-=5UK z&(F_|V%6N-oa5r9mXx6tBc*X${_;pywr#nUnnE#}F`LK*pWfP>=;&w%5f$yegU+t5 zPf9#aM3rds$2`~ghURRm(GA9Z7dsaX#ToFtd>HathU|^`Ggqz%G3ZQcjO0{TG3yw$ zoU>fw%Xus`x33Ndk%pFb-_D&oP1oi@>N=rI?Cj!=b+s(#)sHyb(3Sn1sphPTH06lOuT|X_O-RO8&|qUv40e; zt+O1;1R1!*#O_Yg?5G{Az0I(FyI*eZ0c~AfZb3oX+S=M*otY6L?Re=Xu*nafKlkvi z;rXY*RCN0qCb4zfwmr*oMd?e>F$)~Oo*es7xE`(PBoNLM!}42>UmLOwdr}oc0OtyA zI`^9<09dZh<$Djo`g2=e5RDZwqJctC@@fFW?xp@pR;*KFYwO+T^(IE(S8tyfNqhYL zes5}KCVJ_JiKC-vZeE`0rAwjTzFBObr0g~bfCoZadaJT7XYJ(`!JVgSsW^A<+qV%% z(-(h0QPW?4zfrk1-#Nbyxk>%Gk(D;5_1{RhGEDJHv#SN(Tf{@4ri_6o}3&U zwi+nmEPVU<^VE+YKP;|XQTOula=MtGBxLe=EjYuZ%HzJ&wFy;hdsI?BetzZjSeMI_ z*E~meFfec#PV#UEhlgj7{aTwp9X3d3mFJSJ(T^P_9>?J7ipM^*{+n~Dda>dCsTf^5 zO-%-vZPAY(3*ZyQ7rX*4e=gO82QUmGa_&Z`VB(u3${yx~TvEzl`n$MjYoY(?ZZ7ND zM_fS#Xt-dror9J+?lg(f@XzPPBs*zgBC9zC-xW2oxNw1xkSL?P*VFk`EOk?_gruFT zkZ~oiD>Z@vnjT6oNfqvY77SQT6o=Um_PN4E0A(LkQ9C<3Te-c3G#}!4OYH}QT&dd- zcYt2a_7$1}ZYGG`U$?NNL`O2Bd*3L!W!He`q&tQ9yQ$)ztSt2u5K?T;pph7_UTJ*8_K-HmzSF)rKHS06qvFZ z9VQ?L*TVJr+Vb9|qoaca;*~F6FyK77N`~4b95`pA*7B*nJ-_MRF@;|rpYrHFF%0TR zJ0B@1lW>I1L~h$DEiFc3w}61kHzk&B_taP3NJ&Yt zL2IeGwQ;k8d~^-V*)jNH>;B0P0181fjdO#|u#MsPi4zps17gk#Q>Kx7%tGG-+DJch z9gm-qI(Sg)r8VB{&EC<;swFzI+Dy5F`h$KjigGvTdE%wt-}vO2R3}wGRlPW@T4emf zy=1Byco9(&2XuA@@(sWLXnP>(Fi1dYpddi07NBZ5k^zZ5=Bm4-B6Gif`7#B_~ zHE_Bh3SAN0yLSUY7LZ>a7k`J^M8mjSPcRD^LPs?te1NWjF$n_h_cp=94KLq)iJqh4 z^dJZ~K!OV}(nHsN%C80OFm|JW+S#zS`bWO7&OB81`|NP%!s^nbsk!-Wkd~plWeVK2 zNF1I(37tbq6s#P{#tp-R!BN)+ zJ9KOC;>ZV9SFVI_+ze9OovWWV{eflM*%0;aBHcM4mCg7kEV-;MW#P5jf+_TVO|Qxm3ZY7AUc zE?>SJ1{4OpYEx2DQtGSbxQvnyu_Z}K93*okuO~J(*5!?aWiwNPlnV{mUod5wc`zE# z7qE%BH_=H+;R9YvY9|;()qeGsAHpFSO}vPs%W}vn^dv_^eO#$^VUxj0jr>)eZ^D)H zd;$Wuffy-i*?jTlX>b0@Eex)A9)9P?Y0=JNHw_WUsx1O>6zF>)!ND{h3qt`VZ=w?t zLi?UyI|17afuZ*fzN%*}GHd@%KT_=>wNjgpMV6rTFUd#RTjlw@VHS4d!^+BCsLjWP z&*grPoV&UEd2Ohu(W|C-n{*%wGq7>wdU87|VoP$;wX)ydq%;pLu}H|h-yK!*(N}yWM*-0Y*zM4k z=?m-4*l?|sgOePsES)+KS1pZLAjbsn+H_VCM?#e310`b=2Xenhv+G?gvZ_$ej1sr2 z!c(RLD?+t%d>k*Dan)c9Zcod*936qy`-iChwLVa>;USY@0Mb2>-r^TXy+hcT{Dq9H z>@?h-5cZQHXP~~25t?*P(l@}(ujn3r zltP7M7BtxF$`V@042gOhI6w;6lUYE=r6%{!W+Qt>uXI6jC9CC*2fin?@P}U@;gHE2ipMFMQDRa3)N7*rr$V@|sN?_QbRospg5QSeYH8g< z>?#$c5FxT#C|oBaIKs|mst2*N+5NES$pz8<&uha-Il#igVmC@Wlw6;h{i#6ev8=!4HXOgAc+{Y}#@l z8_-2g8dW%RVXHb_yOxPy*cqh27#K?I2a-_JvYkEula`|VUsFuV8rK{hAA&$5m?P(* z1ZL&bvH@&#SoyWygMZlkdde-<+OoL@1_o>tyMq+CU3o);PR6E{Teh*a;ez2iD;__- z4w{i8S|v>G}B)ShFvr zKnoR`p0MuBp!I^#C)Ev7qz>8N1Fr-9tSAFTtgB#6z-2WlYDO?RKSufGO~vitt%iJ~-TBYhJ~Jc&98 zgCK6ml`u#rSdBvaWI@b~atn(Oo^WBk&Aiw0^r_kL&pU9qa1XGI<9IEOgwX4=ni~uO zgj3Vd6Po$c_{z>BtScP$4K% zv=HSz)MlgpDe;|$FCB&H1}aJ{d$LX8(2%X*k(N!E`c)RY;eSe09pnl!giGq`&y5Bq% zO@pPA4aR^Ej593#{$5S{3m1II)MQQ$4Mb2y*qI99QKD_g_Qu6CFbEkwtC9UK?h_QW zso(RD5pmSeaF@>r2UP@zEDdTw<=X0!ng8oJYg}uF6{4Cf@Rk!25=20U#s;cQehuE{ zBSSz?Y6qb%5I*nTX>DZyHsS4|k}K(a!1ZL-V0bonyr z7%u~(QE%Q{58aO-&?R009Cnmny;y8Nz(E?bP#tbUUW(k)Er8=7;-@0e)z6rEL z(&-yDT-Y$^HDu0LuiR-L7;oyk@9`*pv!gxqX(z)Nll0yvs3k};5O1^3@(cxC4;|*u z{y-rz9vL6c|3~aVMm&lTpLjAL83~H82S`y}Nkik5s_GUqGcyO+Rff-9Y0+%!N8Udk zf@K0J0I@*xg{h&r{dv%&QqYT`X}-40f8ie&#{zWm*ltcty}QjCFH%Ia8;6>H4lX|f zu{hH%|B6o0?$M)1cgC*PocJ05{vx*U0{UnMUP?nvy&DE$xjQW_?J$WpJ(s6nJA;lG zvMvT`+TJspqyCbCVto2C5&}-uee+XOHBf$s z#>c~;$8FcLnG1qoFSZ5Y#_F|IX({JlK2W?-7IdEUU!VD53ix9i6iERy@Sm8OX#ulR zw}jl(xo+J6oSI-S-_KG0xR#PiVZmA-iuKgQD})@_gRODqhauW!1a0Gq0(Tj##BYJk|LdeaW@2I@h}PCtg>VHKl2E|%%}~963!vAq(oNIaW#C^w1+F|*N@ivN zWC`8jIyuq&zUIV>_Wrm`fVW6z;I86D z|6KieT7(><^o9n#ZC`gH22~@7dM<<_Sj8X<~n*Xt!jWkiNuw zIv9)8C$4H68$+p3^FQAmJU&p(DZers{lT=6OI*g@M^rcOa6KQLN1R-eRTV%D%$31?iXgHh&LH@=ZK4o z`@!9Te?pD~xat`^#u3E`2U#@1s~p!>J;(Z%h$BDY$ko(`-d)yF$UlsQS+&(smYWj0M%3zPx6KKB-xVKdn;?sp1`e&2u!0% z+=+_|ymf2c1}dr^y*K|2$kKd8Q$h;fl{!BH80WOiPp9m5W!&wGqJayOzY@I(1aP6F&Zj(re? zqslEKvkP+iOSCXz`Neu$2{P#{gI>^9b%X_ugc==Q#WIpsvP%*S1Fmcdh0~`uDXXaLG_1Ao(ZV{ZKHN4 zM@KHg!p=@W#w~%0qw5I3<2~XG>UwjsM#}tT{$M+N;HyA`{O)K8!0;!Xu}dW+;s z)2B}clFe)YuPama^t8q&uNHZ)d96DNaJxgADeuoSHZ9iu7Dq)zXA?GhzTJ9iPAo%AY;!ifeCb3PKNsQmcGrnY0VH@u)unOe1HC z5bFy^bGU0T-&t{O5`=}fpAs=%nHAi`|t%ADyr z=A_uDf=TW$8UxTu zr$SlC_-L1OJ7Pfv7EMv^KZg-Du{*`aXl#%~ z{c&iKc{W$>sOTJQyMKvF#C1$B>_9t&4cLqryJNcY#4gA}Vs={XsLSVSZ+R5;mq7-n z5nw^E9g_h?2rgzY<=N<$ZNQ&_>)mO%M!+Nk-+K4!pm-1fmE+`<98KqpaM8uqD{YUV)6~%#IZA+`oTF>akyAL5Kg5dDF2^0g*t`eMFv=#<~Ci zuP)DMguTuT15)3)Ol)t^n@Kq&5m)$Q2(^_|=pnp_!0JH?^S!k`V5T`RtjM85_2luC z@jQJFuGtq9QBq*Ru?%n>|MU=S-)T+y$dOGmCNJD$qNUB-w%~$v`aNdUo|Tsm;XxoR zwHqwpOq%5jtRmBn9p+tGno`MG6x2Zyh*v?7lZ4nBc0DvKjEtm#STiv*r+Tlg#?wWM zc2kpgx*eqv@lh6{0InJaufh)scRl845v+P>?Pwbf{KEjd_1V>*bnwB$+vS$F ztS$CnWN7LFm>SRl#wRu$o!hr@^X8C~vg~1^8Q016x;~m$M#@a62wws?z3$lQ3!7B! z!uE~>d*9`OcZ}H-PG+Np0kQ#>Vww}CCc%cjgnUy8pN9e(; zXFep;Aqx6u=EW=wp7D(Ofi8_RRwJ2jk?@Y}&-Y@o;hW!o`cHaPyg{YuwyYNWlG5#tn+C zBO4Y`xfiAeYmp;9hM8vD zyRy*KjlEY~u;t89hdyB7k;k?nzA&@8+E$wOOkAmGFm(MmEl` z@8zTEw1ppAm!+8oG82k46yEvW{6t>}B3`!xMWBO25bTi}z+Njbt)~RNWq?sq=jQ3@ zN#?pkm<4YoCnsyQ6eE9&N;HMJJyW#x-c+mHjYFM-s-ubU-0QwBl zjr*`5CKmzZ zwV|wsL~hJq+I7Tf1A2zjOevgHI8=I&J>Ui?2J0OGc-|)Md(tlG;-=`Q8_aBZbSFWajzR#UnTODq?IayI6lyR2osliZaU-weCIRA^=p5;*Up)HpqG$pt7@DG z1u=-3bF!j>sQ>DFEE(?{YHK1|(dT zF`kRyC>DX`EGy(#w#JViS?#)W8H{hZyLU^OoIL4&=h>@r@Ca|e-=j5MfV{~1~OFC$0wghgUT;66b?wXW|ti6$DKmf&% zAqZ*KpGyS+m3)1DH-rf-A#v;jUl`SiOTxHgkIZQNn}}753b)j(NJ`6Ym9A1OUH8eaNgapnI!aE&}MWj>$(e5kOgiW8r zT#x}>=di*C?&FAopw;>!_I&|m(kvj|5voTW4w49lHI{)$N$nKZ>$o(38R$5eu@h3e z<7B^V<;)vtzh;zY(Ve8nQ=%uD_R0t*XYgbTQkdWrkLT2Jrh z9@oQ|A~z7JeF9$l#>8wVQRSmYdvo;)*MY^@8YShB4Aq&T z(ZW&6`E>94?{B9omw&gA>Wll_h#zQejwfsA@H%*m;;i~A=l25xlY$@gHV_Zdt3Om> zUn@Up{g<-SL$3g^r9+OBlEA{4LC68*^RKFsBXdz8&O>by0~-iZxPor`3MYlsArKEB zN1c;B=kIIHNhp|_azQ`z2W=gC+AdcQ>6e0l1H>ZdA?Z)g8IDv!Ofpqsa&iPB{4vd- zs9)jPYG=0wGVF0!S#*JQLDF@kOB|e>>R{%-#e{myNKQ-HfL92##q|W~E<$6Z$!9gs z;UZqfB`0%Iq#%uyV>mzDeg?AwIC%&vvMH>tu9mzpF*H;q4X6=l!}%_&nDD@m7h9hPUz_BMj>&4$@Ogv zfG>;K5E@vaeksEH#)m zI9mi6y8ktt?OM`=_Q{)n0KFq7KVTaJe%uJM&s@v7s{Ao#VDSG$@R4+j8M)C-3MrV2 z0c|L4aI>s1E-5I$fJJ$4DVWjr6{mIPW<#;!d${LHa_u@RT95L8h)db zJ((eD-jKBmfL;IUz9o*|v{tHn$mxvBmuaB`A$z$8KWZZVcfCLD3H-1PoRJ7hKepDY_l-Y)n#Xp&rdZCSdKz^}jH>RW*Q103`>HqjiCxqZNKk6zqPoj@ z{-zt?f>lZ z+|>m7yifg*Pwj<;v3o<9YT3Svj%v(R8dH~!7}JDPVO?Udg^upa$jC^G?etHixH>yK zNy|b-WwW}52B|0`>jlXqrL=VZY;`?i$zwAdEL$iK2n(yo%da&L%utcq_~7CqoBIn6 z8ozb;e<+x7iHR%4Y(Z7q-sGO9p1yXm8)_xl-+cZ3gMr{oOAH3YpBft(ZO1k}{_sp7 z!ULMRy8Gw<{7Ih&nG}_jM(?2uDrjm(&Ymk&PG?+M zS^0wG`B_^x;pcrqm@jzbe(=ztS9Nu_+SgW-mrf_sCg^uw`+kI;wR`VhCA~G3e#UN& z2M-?LN0ew2Tcr}!dj|%*kNH)BByS)GV!6PA*7+B|)>yoBLGPazme+*-5{AWn3>sT$ zS(&4!=gNeid2%|YfDS*P#YR||8$EZ%c6X}$>w^7@>yRI)6{3KrRx5NfaCPgBIMAS` zUG?#Sfl5DEx)l@@4&vLmxucHwi!(4pwu`aCZ|_Tlcp=Tb?e7oo=+Mk}?7bp!fO#`!MMOnKDat;tWPJMP z+Uy^7Sd(dqxjC2N^8S8fF$sw@@OgtgX2cN#gMyB!snO!cR8%g0zH~TCo8Q^ldH4SP z4VitM{k5Ti>)hpTFFZ+5zgVD>!ujp{gfo^0r_p{yT24-ATZrjtWT8v{ymp{n^7ZT22+Y<4 zs1qqwRUAe}Mv_O4+*HrpthW1sL2pSMMF;w?(ix_c7b0so;PnB(bLn9{MMTQACI|dntDPI-4DtS6()j^0YT@_ z+*VaF@=0A94RT}K*l$^_Kh7U#eJox5t@TNzb6+0ZN#@h6V3&`|&gJ%+*Y^71_>`O% z9kkw}xlhF^eWKS<{^HYI-q2#^*U{WTA87KAL?oUvqWz^!!$zY|rQ$(%nx2-px!Z!? zvUCZ;jV+A@D(+$kQ#{e#0h{F|qd2>9@*>evl}1XZx1zbZxhq9BLYE2(?mqhAFibt? zk*6}R@!G)pHa#7QA_WCUrv!5N+G}_;laLcOKZ2#?(S3NuTEy; z3urpKVc%t{xM=R{I+!xP@#Hy+s7>K_sT@6LP6H`ha-gH}7jPEir$^9-?8@)64q9QM zkI}a6LLDldbUqyqN0}a-X**e~(z*0LU#d+m)Xt-JvRQ}4CTmVn27(yMKfloV% z&~zNaKAjur;x#=!BOSVBgRxvJ+DzU3dLgW_jLc!*Y}D}mD8##1)cufsig|W0@}|{r zoonc=#X5ng7bU`r1G53B<4`cOdkvw^NAUXES<`fqs0%V_ac8&8U^xvxoD4y7*q7cTSUFKh`8K9#pj2V)3|E)Q(sf+Jw8!OI4%xg19*pK+HpH<}j9kP(WHFokSbl0h<0u9WwO#c_4u|A)tVq98p4_$t@av@o<{vbEvH96M?FmURH~#sHWdcH(^{YrbvAd5Zi;<* zFw_;TtD~cXKvY@hu=lg-DXcD*cZcgzZQR(xd4eyp4QZ!4lO_E*F1=>tKATAMTq04- zd~?Vq=9uY5L%?p|u3KZLf4Yj=qILOMPH|H~(91B_ z@%`kaqBm-TaFSsSN`vpzlp*8Pbp*|H(x3>>UF891MbgmFbJ-UNMmpTj3&?@Cou}!( zsr~QJMgt3D9<;oXsn+D+H<5JI9W3K`S9su|e7XEYBHLATG?!e^=}X(aH-%dL9-3pf zPA_B?@d=Rx%R0OXDxJQ;(2x%4^zP~L<8r%P@+sD1a`x|x@PV9;o1|O5C;7rH(9!OL z4k$rMt@1ms?krl76G=C`SySg!I?F#KE{W4og?D-I^;-0%SeGWJCrX%fm{gB;$P-S) zzghdG=Dn*_qC(4Jx^UmvpPXKl;N(huq=VevU17_v4rW)yd4+yLKFQvd`+!BK5O!HZYof*# zajx*uOM^EEbEXnoX_!=2CpU6?Ro#Qn*TW!8wSPV-`m#25pJS6-WG&sZHq4K7&xX-t zo=sAK`CP}swkRR0-0v|qf@|EE$YXz!=$0!uAyI3BeC%`NG0LM~{P0x<9RF9xRy3)@ zy#F?LEe#6q$}+`ghH|c#?hTZw)ZB1Z9lAkaToT`kI8n>A@~Tlp$vy|K?a>gE#`XM> zn~yZiq9oDt;|n_dghpe+-mBPUUYFM_H&MHvL~mCQLXhxp(dWNz-d%v8yGDEZ#WEO_ z&QS6x{gu=cgkwpVdVQVw4WdT(MKaLY@z+4Z2tR`uem}WOTe3c(qaWo4v%&zwxQ1@crj`0*|L~rjS*!aW4?qm>%*PFY(wa|-`;AAyu7?x z-re5jC@$G2L%gt8CI*85450J+U^_txf4ZJz=Kj*w8h4TF>{-w-zS%Agm6kv5Vo9T> z?@N{QL^bR<^$7KOHJ+56tq}+R^OR0+c8|lgWVSR~Q19qU?~9&~5o8IQpLdG#y#GIi z@t^R5A!YclwSo0f0}q@2k#)=U^M2(ln{uYi(_dbb-;aTZRUnqfZamuzr34d=C63l+ zJR{11a9I7^u3+VD`E=6BrX+m$CIYDLEFj+>i2mgPt+*Hk*< zYxNk)gMV-WYMTUOuF!dR<4l&6CxSO}l)dd=lj5822y z(L!%U;ZA9-_==A1>$W#!5LconuJ~ZRlf;@&yHH;*xA;*fl4_Wo1jmHp3zm%M1%gK> z0VUpx7$r(8VG*=jO7tYAzOFIJ&D(lQ)fU_kuf%+6qld2_AE}7E@^IcuW*BAL@xgI68+szam*2t9`uIPGxwwyUI6-!joNRqGn)CmRGX<9C5 zr(SnI*dwc*#qC@Fbct4M|vvpM9fM% z`PwTXzPIm@NaWu{kcAvBw-;FvG*#`baFBYhEubd28nWxlMzWc@KBF{Hp5AWOt`LoX z5_0QkM>>|vA^LafcV8PZlQ>DM2Kiy!*K5V3X0rqO#mYX9DC`LSN`8F#sEgpV#c@vs zXd>y~%8LNGPPakfycq5+ryLWRQS1nv+hfjdvg&QB1>w!OAq@7@^h!<}21OmHY<0H< z3cfsVk&-GAaw`YKN6P>glS~@^=J!hs-%(>hq>J%C(}m{^+z+mspk;+v^5k>;*g6>l*H_!r=K9o#X}Um zpUL++hz8@H)RNv2^;R&B5{tRtnqbgfg-Zy=2uXUm(g=R{!~LzQ%1WexP>%}4i@Spw zxZTb0VKu4Z5*eY7WwrnP2$NCubfhwHe+Mi^O-;?ffUzC%Ep70`ZOa8pf&hqYU@AO} zS-vQ8>%fxVv(n$xrDJip+}eM&X?3av;q5IWEv=IV>$hv_?de%1C>>(xuTuHeZ%;<> z1nrg1vN`>#d^$3Ic!1~;suON9ql+C6rlL9TH=7l(yNNen-CM9e^us5ZPH7$`#mEe=WxrhSdqK`O5@wIOW0_0U5UQSYoI}*X$;qtBWwg9oF$Lw54ob8js9?3@ z`zU;vLM=kauVPZ;Xm|&aq0&g$E>Ji?ykR?wSKd@nmOPW<8n`uzXnG7y%R2nX1Uc^b zUdHj~2k-{JQS}6Y*aGb%oa5x>8c^b8rKGBtg9a@TXf&E#LQlxS#YH#QKr2!76gR(; zL6D1wsi`UUtU|K(d<_vPnEB2~H~~|gS65e8QljU%g~E8v8T2$#sQ|qP$QT>oWyyIU zt1x}Rq_`Z+ImM->4b$D1ZzvCg9gw?&bd#@LdS?`T9|#HOLDW-6$2lUAxUf*W+RT;V zH=j=?5rW7a)&o*cyVGyL;c)E5zJY=BivC06M%b!3c5l{0@y#;(_|UssI>j$pcxIw>>QG%oG)t$HXky5P9d_8uuQL;Pi>{JDd>^ZV5c2c9+i zm+Bt533$rzTKB<%BkxqUAG>e-HEtsx2lXiz)3iDaqAZVdiuX+ydR((se(WMuWuGps zoBHnA`xY-N{{1J&QJ) zA`IK^%GGk7GojHFG)~;g>Y%&rd}Rv!0jj@VLXPP@_V;s{4vJSsxE0IAyGn7LbsUJ{ z@=r@}49AxI_o>MldrKtzvp%D9r!({Cz;n!eC0yel)QV{|o$&1m*%ya?jt1yxShYwd z**u2rj`enxdFR-r(U)^w8KOGB)f&*y`B(WSL)pSeSSlUTfmQ+2~1FaQKqN z??-k?CB|UYUQ5*KrXSPfJq{SJL^LKRFs*?8F@s>^e*L<4h&MscW z$5uHV#aP547rLV2$*&5>o%Ol#oq;OF?TNp>9i{37s&QIH_KNIT^TqS_8x`jyOTI>F zVIm(^>6=DjoxQ5>4r26Xgtk)V6sjMSJl%&XQb*5~;ddLm$k%O}!r6hwJA2Jm698M} z8Oe`66P%!72eUmYy|1O!k##HNqtA5D80AI54vUl%Z^L`@^aNP|A@IK2D|zl9MQNbx zyCBV714${IRz6w9#Y+-k<60s{(LSq>dV22kVAJFc^Nnn5a%Oqc0afQtHgmbMaZ^oN z`r^UbO&8bIDOj#{zL(bW;&{n|X1pu>nu+Ipl*g~L58r4Dbf?J=j*pi(n%UXmKkDbG z3f{a7AS(9}ND7#59_cn=F8rO?sL#3X6fi~bVEDNU8n9ncOzF-hE#LEr>40}$hcT7hKkqpU|)P$(4E zcWq{}DMHSgl&71vCe8Lu2W3XU$}fY#(U=9fGcX zgntt&d7=E8nlCLYnE%>KI_Tvo!YAgBUiCNosUi9k=;-%9^Q!pbG-nh{ke5i-Q{^*^ zra8$O(lN1Ub<(Gqez};LPu>t@0YU>>Lm;V3RxK~q?EClax2T0VR`p+aR^jBlYu#r# zuaD4|IGkI7gTCPIe0HSfdM}va6^NWjnz`Rk-3$FWsf*Ti`p&xvu?h*Qc zOgWt){Gj4R27ETzgvG`l)g$zUqGa;Y{lN5i?}D9*t3{N6Mh;$n6VK^X^H##0m)FXva<34sOs83)+uBa_u zaNMo&WVYdD?EZR~rCyNWgLhyHZEMZ@a!=c$PFPqSNj1GfC<`O{bE?yXW8@_M zhfBkNpd`BS921lY^}#O8xJ^{mX%3Uy?UHivBeQETyAT)L%OlXr&3VuJu~dQys&mWB zoWQ#=;)NH3r2~SO52lu{m7#XW#^cfzP6?}`k`n7`w}%J>!s_?{P?PVa@-_1zx&FaH zlY95Vbg6vRq;w+GbJ}bTyjY;a<@&9$6gf{MY5}Ar(~b2X-9ZN=knZ7(M>41PelrFA zfbV~$<6#4E@NW`KXU&&8(-x@GDIkrQ6t^D;CzxS8@Ee2H)?dI(e7t~Ir6jHHZ+0{z zZ~ie>fg;P=%JTB~a5|_i7Ox0Cd8a7`{IVketKiqKU+wMf+3M8%r4PQo7y&vBm~~@i zb{*{rA|Rhq6bs=%^p1^LZB60)NnLf$&|6+pr!);v96%}o^DWl$-o1VxqfAg17@*KW zo~Ngu-|Fy2AY#r)B7KIZla>kk?3E1Szv*l*Y8A(C_Ll@o6VU7O-iyEnOp|sVnE3kF zU$>96P5|}`VdRDd?o}fl6A}`DC|UtdoSz@?YEqL)g+`UG<70z^oSNFhcI=*6ViqN(<@B*KW#)1y_4fAv< zOWr13Li5F8ZMtn?u*CXvVErubd@Ib%9y@xvd+NTTc;;0CALE6k*JUDJWyZE!Y97R@ zZ(0Wv``ax_F8`{x{5Wxo>IW|VAV<6`tNaVHv$MCe_Ed^#GG9(VtB>BDs=;%1vtNn! zw3i+KwBRB2nNQ^mm>i)y12K%r&i)o){~L613&Zh_S*Gmv1NZfFU zR_{vh1uNq;*P8-9nI~r8&|798Gd$CemMzA53em}x)Riti!MwFRF$HhOI(K&N`wa6b zn{_Tgm)UE=@a4@M1jZTlj;5vN3hhap906&%*{x6+VVf*$&;PO&pedmj zECQq^#4E2WD3<~Z1JH(rV6XbD{N{42#{3o9%-az|UT9x=Hy`e!0#Qn8(0WX8`s&!14po$yM*<8i3VVUS1xQ z5@QJiLU%PMMv;ZP;QmK=utDjgrtqsa&7rzf%AdNG4)>Bi@8Kzpv7w833l}SdY@b+T7d>I@}${ z24K@~aA}`b4h6Aup6|=I@LSHbEliaHtkS|0WZ^~2Ya6&0pAi}j(O3GcP9`QMzJ7hQ zM`arAOPaCkNKAN;5HFxrOp0>#w*g(&Gzv^4?I2Uwj-?z(elJAL4jsK z`Sj#y*mu3RBX+-PQ*HxAerII-pwgiy`*yrQ7?v+s6s_y&S&mtyRIc*JIw0Rxd?B)! zd1WVV2-Ky4fl8Ornh6pVYiw#dtR+#;4|{dxAJ|A1B~ebps=?s^FeT-^ssRZ;c(?}w z4nYUbz*Yo3BZlGCz^_b=b^Z---=61OOZ%*ukau8 zZWFFPkRCGzw_mm|9$|0S94oaWdIRoq>a1mqwA9t1QS zaDphtn4Hhb#6OlA^+tsC-Xy4-U{_fIvkh=kzyX=?x0$rRHEvz+hXyByyr=S=0Z~9P z|K;2V%_^u1yp@{(GXDM!%`RfRM?`#PP5UMS@Laii)U*2rP^oFNY_Umw*(Z`F)Oq;%JZWAA_JG z%W5~3-iq*W27o>B8>1Np8I1sks9&MlOTUA|v_D&Uf3o=g{eBtMd*ocr7!D^21J4R( z+S%Dr)c|w9T&BvGwNQgvph*-p<%5CqwBT-G5s_Y|1180(806*6ceUWJpxbJ?s;HX} GUi=3qEbo^9 diff --git a/spec/sm/alu.pdf b/spec/sm/alu.pdf deleted file mode 100644 index 0a8a56cf9ba79aa53e9ed15caeee590495158b7b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 10298 zcmbVy2RxPU`+tNuDA^*NWUq6MGnJ9Ov-j%Y*p6|mqEad%dlr>dvLYd5hU`7F_edp_ z5$g9G?N6WY|NDP^&%-&-eLdH`-uHFi&-=cvn@3AtQ3NK60P%G7H4K3eU?|wt$`LFf z0fMOG@OGZ|U^p85{R4t1IyigcJirh|XRIeq9%t=pg9AxPfe4-+IIIiEcUWjvOb>cM zR*u|U4U9s<43#_PdN$jTdTz}NpjpxbwzCu=ARON2yFPFS)CGe7R;S(tHyjwEg|)+h zAabsFPaNKp046p{2L#c<5nR1ItZ@Xe*f)U&&c*>N>*@s z$bBs-De(7tU_kmu-@esjq-o`dv-Si*biJ%R_iI*k^>6{Y34HHsz<|Q^6pTcHe&fzz zU2tH2Q3$~Wf_3&1b+fS*`2LjG+;d(oRsb?TGN|BfUF99DJ;A7NO_lxGOr$sxj6sM2 z&HU9LBHCIWuGYFZPp~P_eR)MNM8yRtRTd17XNmK0R#7d3>YTh@5i9RFmU959nR!-BMny$1-dzj>a+%u zcbp|-C-nE+C+T7+Ie6%A9mmLvr+CpvI)kYwS643N+dZ=LzC{HS3*o{&ck;{5aePy0 z_zwNb*p=g}#)F;ZsaXe9{sisofwvXtD>NPcl3R)OjtKE>`%ADvp-|?W*ISX%VI<4h zDCU_;exHuzy-9PrWvl0XDJ9q6r$8DRHtL+aVqI?5ZM%nc4D^%q9y`=_vhB<~o!t>7 zmA64Bf(RL#7kvXKO}_Ltei=@-NTH|f8DNY~3^lAXIvF834oXgwou9twTUGY_6UwQ- z{nF*tW6Nvr8XD@RY8yV-1UHZ;^<-ZQ#R;En+agzL|8%Qa!PG{-mY<2I3m1ebKF56I zk|f`dh%QxmP?r4OZHs!&h6?L&j}5ojMx*)&!Sk_J1S7)_{x1m1{5v}6&XQ|AbFAph zk$cZYFAQe;t}#{_j(f|b)7l1AL0J;q*6=Sv4MJwyAB>oveLKF>Fl1TJ&d|u}WA$1e zX=13}bG?X~#O)#~Iav}_UAeb6=eAb4TGx!;UHLeY|H0jR!XG7pfotN`x1lZL2r2MT z#_7ym?-yz`ZG-J<^LL^@f1Gj)Oxykv>D5+K7$x>uKAx~kwJUNB0D?wXBb<*5N zZf*S4s{%IafJXGj!GupZ>%sH)R^mf&-mSftB+K}!JK`sEQP+-3D&Gnd%{=u8H#1nV zds^v?q(AGfNQ<(`Co0Zkc|~GU^EyhPukH|V>2bqbu*;?)}K-}VIB zQie&9bO`#ic9k`!z3?qvXFAJ~^>V&aqgNo$Bf3{VvsGS}47s2b;kO2iSKi}dlc+$h za2>{M=Z+GRth1R_=>pr?)UlTo?H8wnQ7HbPNtGU27M?pf?xA#Jk&Fj|n47djdpWPp z^?%^N*0)*LS3r+CJXV{hCy|nuZj@hj*hwP$GFB&EPUD*$`PiWIEQfEfK{g%D?sQq} zp(cat%2x%Ko*IkIv|+;ip|93RyUk>$PH>%Y;0rJY36bTKlg3ABKDpW!5?%<>U+b#0 z3Ez9i#>Pv2f(rCOE$^v}r&(GJs{z-+EDZmnO(PwZa9a0b%u>AJSIo`Pn(oJNvF0x8 zhU7kr4V>LlJA_PAAb6cuBpTnoGhLT*sfS{=1ZkO(<3e((TOci>5@h=nal zlMDetH+m~4#*ch%wHSi(x_fi9o3MbM=__$MQ$G~123TRIZxk_ zVN&+(>QFa2cw{h?Jhry?lK1SxnTIocflE6t=1{?)U<>lqsT+2dhLIssTNp2ePZq8L zdS~bD`7m^yhJJ>LApX+$^s_7<)l;lej_XZUUOAE-{gwUEWDyDId79kWxLvHoJqY;~ zMf#tk>wV3}m^@8T<#tVO^JkPCr>{d84b9WC?pyxi8XOg;?juM7OxRZmDe>K0 zWyS#~r);jpTnjICtk-&Viz!o^&s+|3^C&-m->u-roxx-V_ls{I=EUh(9+jD+X^Z4N zD5`&hDivINb+6Y?*n~UM{s}XB%tNSBRV#q3KhSU2m%7$!pa~^jU|4acw#9iOkY8H6 zvc;ilXFS*N{P`MuSbn4Fxg^m9WECfjDWH3s+_E$aff0EBWO%WXR=X%*-1ALb(@lJQ zMmuSE=1B^%^SZ(vuI~iX!pA~UjH3`4TGpslHjSi)6fH|nfdMcg^oo-LfDH3{Py{?xsCc2?eg{WCKxmajK5Vu>Ltb*}ws z#1kWOC;aJBhwD*Hvb z0#(^~JGc?d_?^rIz(`SX3|P+9?ShAcoxLX*C{-M+gSBz6#yW!)F5tkruC|^&0A~Vf z&~xx~2Ac4l;{as{5Lv@_0!3sTKl=2IK>Z{oAc&@x2EcxPDHDmv4`o>_0k_XmAlfp< zGA3F=avHkEFes5|;XUPX-@pJG4I@%Cfa!fJocNH)Q9KBqa`spcFdPBU7wm5dLkAmA zdji0ikWeU*A>jc&>VUTc12kyAn4heUSl;h#BT}P(X`8N+qKW~~Hh?|--83Rg{m)Iq z{MIy>7{CI5whfIY!uJ1v{nAGxpsM-f4Sf>B~fusDopWN)Eq!{{ltbvZ=W$*-tAK?GS zrT>ZgJ`epHc1?|Q`sx}0?6OAxhWmH&|L-P&0!ZvnlYl{iQTT~F1|<&0z=-H!Fy9c{ z?>qb(Vkn?rFevc#3jh@Sn=%4S%=%0I&pV+E1HgSP{g0AL2_dg5FRz-Td`1aG^2T#1GOtU_4d-%}0*0x;=*lMp8> zaVNtM!FqVO`gpkk>k4r$6E{(CFzm;+?8mCIKU@Fo|1V=At{gv7;J%f^+x6IzyZxc!(>+4dMYIKrZ|_0^jzezm{qkagO~t0)H;dzgytHOxIr!0Sh<` zii82ShWQB*&_Ng!u&$qGNbJyWW(XvI!UO}b_*W~0A<_R&l#oQ*{%LoAqeR5T0pk28 z4nKC#KP{1Hnm=#=to1Kf$1gv@{@Nz@b2|-3A&3_D!w-^dZF3%Lb>7Ct#%F^z9Dz6h z)4!q&{}PG)e6n?P@621JZB5MqJm)-~Gd^x&1$0T1VfTL9S4o+Gt2d%x)kP0S#H&*Z z`Qei3@-nB4b!)qNdd!q+n`&xwYGLSNeqc@3tVKWNK7~X-C2MNdrtHw{P#4M4>ndpG z7Z51u8H7L}gKBLe1FaC%=e>Q}{GGzhT9m3H=R^e6G_>7XJB74AsI_V62b7*WA}hYI zz#JQ&!7Q*fpP9it$HUAtmyo~=1wMi>s5cA>6DwrgTb$hKUOnSn+o`n9R&D5F`=x5J z@p5-VR_l6#UUINx_s~c?tkQ3I_O-d>!@j)bAF1%%7TL8z}(`kxWAd#{yXu18bvWQ67$C}dc|GR zW3Xd>#YZNVu3&IW_v{#3(SV@SYL1ABcFyA*eFO4ZNC>$80MA)jt`nq++>x`q!Tj3t zQia^$DP20Uhm`s`Icg09=6U*koaH6veI;+IVya5*_`okDU)X(ZR_U-A_nTOd>RbU) z+VRPP>4Hf~1Lxbl{F7=mnB8=fOD8}iN?*8&lu83~=*;ddXO?z&EAcRBy>!)D^p)kO z)usvx)@~lUekL-irJ! zDK@CaI*h~jtYcd;HW%7dR8&^OVtICW1vAv_+BeSK(tqW9NF|ylL^9fbrT-R{>WZ{{ z3-@?k`}W~06x=P*daAcxo`J$l(v-oJ)1T(3gy>@o1fvHPpJ;}HZpV`a)dzJL$g9LV!^BUv!>ZZLDUE%vr|=S z(|MaSkwMg?+UUz8k#>D&?_kq8D_Vi6tw!VqRo;8b?~so6cHI}( zUbC<~F-P7YgJIUce(|B^KWizMdY+#1nn)FFUEXY)*N6mr^w!nbtqlUbrv8iinCT7n zAVSGA{6=1dV5M!JGeOB&x*SnDofVWQ2kN+`c(Jg<$TwbQMj?=P<;Ihd_dz$_P82TH z7FIcZV0n`yzWHIfEmGJ2;bMul2rfuaWtEV1t}<37eBn`WV?s_MSZdO2$%0I@@1+o^J@ zq8p^&_0VbS6U}b(DVy5yfk@M{se|_=6%q71615$Pxh$38e`1sAG0Fc+J&2OfG$nsfkmM0`~j8+eKBxTQ*X3q~+4hI0E9 zMY}w^Hr@T(^HVtC`&&IpoC8s3kYe{T)1+k{WIN$TUY%NbNni7_kGAKXfQn3#Ee0=j zq0b3&(Nf|g-GpLj_rYW0QHfro7l%lvH@;%>U%L$$(Tcb+n-qncuAEF*Ru2d z<#bVAJeA&``SzfAoKX~3w3s6=FHD-PHrO@)z|!3|$||mO6k#QmyQ?DSx6t}!L-$OGgwY!hz(nR4&1rgaxEFb>=(ThX)Oq4ZE0amKYIHi&W>y3 z6H`TtP2+;4cdO&Zaomh!`Vl40c}Wgu6T;h`42tEYpr)+z78Ox2n-e6bv>H=VZtq1& zklc7G*jn=ySk zjeT9ihc!ooG5ynm3nT3px|mL(qpmzFv(J&%_z`r`)rk>>yF#A4yc~{>~tZI zBOH}E($#3Y{Cu6$D{;)!b;bAk?q|G-M13Lt;|JzT&}_jqVJ#-Zkd;Cf#@bol8;Zvh z1}$n*p!6oG#>0$b6?ry?v_cJn^5Wt$O>@**^OOk7Qep-AwD%sFq@0E*cG~&GOqaaR z8`dBGRCvUS$@Dzmr!Ohff^{rQH^So!pXnVoQLa|#I2=qnQI#_lqiMR+ohElXY3#-k ze?9R=8p~sn1(aoHn&gG#-=N{!rFpZh;bd_+Czn&V4n6ANjdomkDQa<>C%=BnGADk` zET=wdzGo-7g_r*YWR^LFWcXrns}^Z&nBE)ukE+Un(Dar`OhD0+TF(WocZ16wo9#6h zHHGEpE4apFFpD^sYhteyTRu5?Ek%-PQ`~XiiX&)IG{Bndlqc^b#j#~J>$sdVt32!> zLzVTgBrvF5OV(IdEmj~~*w{DcV@ysa#3I*bv^30-I@_<$#yx*U$&?dk!r{vvNN+#u zlV7~kq+eNd_4UL4CU9tU!XrJ?R?R*$%Yh0;&BQ<|iTg*T8yOz7$ur*73pEQ3*$70L zCS-QQsH#r9AEAv+q&DxmIgT5KVfKWSz3jyujAmUIOPZlc=-sva^%AF> zov98(zRj~bO3G!bh28e$?Rvu>=%YB!K8U%=5G3liwxye-pO>7#_73kAto1TKnFha` z`O$>F66f(WD(5hxcj5H8_pgOm4_lKo#!!VF9iXfF`n1;;do1)sr#zQIvODeYvPdyw zw%e;HZfV_nr_D=FnK6+}fs1(`L_Zj?xZc}kQ{i7&`O-W4$)RH@$U0`c>Y?Kq+Nahd z^;4K^eeQ3+t_+#Fib*H^On297Lgz?dr-H8sBJ|m2*JA^lj-U{}lYtfREb-n|viJv$ z84FUu^7wbkMh2cWiAj0A99=M2??Ub6Aqs6|3-4?3#T$x;HuX_EqmG-@2HQx_J(I`% za{df^^%r`4(?mY_dLA)bEAJ-E2^9_9X1RI7iso2XqJ=iuCB*G0j>^lHhZz{S&y+2H z^#AZuwwhd*#XEmX@D_5;>)nf}bGNE zV{!vG9&BG%`E2mRj-0agvOc8WeJ& zK~*1xFQko2B+uK+e3I78>{(`FZyE8b+vKa4`xG6iX}OeCfA^S2<;*#Pt3q8sdgfR; zT_r`|q@D6Hta=cS{!?kRQa%p7bN#Cn7h)NcKk4ejRk*PB$+Sz&>+L&Bwo?D~z9u;m z+VwkSQd1|IW5D&x_xzS0NNnZiJ-M|s^5OM3!HxQf1wtz0Cif!Z-pAq%`k}`=BE_@` zQ?z5ln-ePW@S~v)gdulh)APnwGx3kcmamZ#=&zbQ=6G9XIx$4JKlqgKLNR!Pxt4rq zMAq-X=etrC6mxS~k1O#wy$#a)$Qax9jVraY<{j^^-#aIn!;O0rsrI7WW zd`7u)T6OrI_$E~HN-wYeRKOGMKLOx$Hs{JnnnYi!yp9nGxi4gmPAZzHk zXz2~INe$vwDg|@n+V90VZsN6$Qu5TF=eT$Kj&l9=V3i`78{{%W<@Ghwg+eE=Z&1`W zJ`=b-liM-Z&K`hK;_D1&vmLCGS=W*6v3D+W_j)VZ_UQ>p_f*+QI%OVmyW6odGY((x zSeIB?ms+6Y#*-W+lWA$5sMxuc`+B0^v+S&)aEf&A)rHI4<>p6LPX|Y^8=oxUola77 z|4Ki)$B@QA7W6{AQM-3CchuF#Sf{mDSkrl^K&q|~CFB%1_gXONSz$%)aJ1!o;YfCi z+3tsOTxNPj&%9$nhLnp>nIlT-i?6x4xvjCj%cHuoE4n5(A3o{9J%3x!Kb#!o%oJ~? zRNPuvncHG}hb2M$YqPsvf2lbtlV?I3OE6%NrN2M6J4!vWCgdD<#`02SK%`A!bT04G z>;iX;^T{&q2%DHpWhrA#8h;~trMr|M2vy_tEb@Np_lp+&l`MvgoA)kfRo(wg)6H+6 znATk(iWR=7sFaibIwbQe6mjj~_!db!|dP(%lYrbRr+Ay+ui;q%=`{%C$hqOV3rX za1EvMOdmr`H72%kn^}wLaAbrsy{(aOc(lGWt)Z~JBp4C~ite?v2$XI{KdZ(qw>>oz ziXJMm-@STND38v4W&%ID*I1tadb*%I{8DOxi!TXvy=d3@QqRXU-q)0*Xx<(zX>l&i zKNNP(iFCnSMx#_Q$SF;c2PGLAduobPy^&|@*g%1&o>A(t5oe}umL!8k#3NUK5wvm83w?t0(~Oj|5$eS$*DpPNF;)KDR8v-mCE0gDnYB~9L>QwaqA2_P{Ov)P z;I;_4QiHUofzj*|lkP1y?XA=@RMX2Tt2}sCFZq*2q}hw1x-)rWWvMJB9t~#f+Oldd z9ibnY?l*n7+?Xnhd%->PFiP@8cx6fQLvHD2PFySA_I$RZ^Jf~-jl&zwTNgN}RjM6_ zHmUDx*&a~en&Cl;Ca7#jN?(B^R~^7r9axSMtp0_==b32?HU?cW$-? zILA)hr-Z0$9cJN?_bNj~aMG0t;mdCC>Z?zmUQR9Up7^X7dhxM+<5h|ARr>=mQhGtt z!;05t#^m>fO_(H7^>rn(EaeX5|W{>pSQjT|&0ai%|$pljY) ztQuIW<}&kv(|<97%vPi|;Wqr;N2j^Ky*k`OZ$F2n3p@3`Hd_bb&pXn)zp8Uzc2Au> z{N+o>BWm6mMvYV_rjm;V5)}kiDYd(-rI%Mm?x>bbo3BTieDDbzrB<5IUsYH_TxYMi zT9Yq1A6=QRK7S+Bmr~4wQ>}wt@V$3V0w^d+`*B>@b9|rA*2Tk>y?s7(A#-VgWkL_I zZ03pc$U~>69<$Gy*t=&5Yi0+b&(yiNG-@XD@l^{}^ovoblun&~W2ZO6n1Y}2G0w!* zUAiMwg??a@eK{kve5smgk&5DwY-K8n^+1^>gG<$MEfQS8@>Ks~%<0rqT}#r-)D$%$ zjr82{E!Smv3pk|jO2K-a@AEgmg6Ik47oDhkaPlcPw|b4o=&Fxduv#0zDW%ttEH-Mf zi>Y1r3q*yE4u0YbHYhT6{-;OV4m%pZszkmFgYOgz|++Olh3db2QZVB==hbKs_ z+5D>>Pl~O=^+8|B4_D7Q(QfG(&?qM=av+LqXqTLHl(9XK=m;>VVTd zdN?EE!6>LG3<|gnf5z1S@sH$xir9($_lVtZDtaDRH#eLOaHtCFOaP8OeLHaEl}{E%=8_ z3`p%i0^@(k#Nouq67lm(1_d0yf61Uk_y3=I;&9YoGBLO~U_^iFiJ_o?pZcFN1TcR8 zkYNBn{Xb-I7~r@6rwoAv0zQA{g`pyMlgA*TCKa+gd>9B+ZFmateb-hArNE@1uEp^;2;JspB%y|KHQa z1wwrz5m+%muz~^zVvGi%DU}do7y^X(_6q=pf)J$=3W8B^Fb1{_`2W7iFnJWP>VLDn znYS$75(JU#qd_^VwEMG{=*9x?eXs)sf=w^zXeDV3;?jxKeTh<7=1Y#oXXUFf4T3`PkmGo?#h5DJb$RQVyG65aoOR{z9r4*%8|aqr zZBrf^UqFr-Z>(^e!dUO!Lj~SSkcfTjnVqS~H=V<}D;lfot2X+nMFLwIgVe3KU?ZEr z*SqG3Ud2k-+k~_7>2f_Rjt`*aR0ycky?Vz{EP(ms>zBQ(WVLYoEo+9jV}q|;ol0RL zFb`65MpVSfk7tz5XbLNyVu{aGO02Q8r;)k!A+&zC^=;-;3U58L7BNP$^9|xT9j^ok zmf~7Uug!NFb-oxiv+I?tFhZrkhYG-T0S7ZPH$BUb+bIbcoRULiZd?{#KD8(J^xxQeZ>kez3B4_teAcEnwVmuVLhrtrn_&}eA?>E%m1-n^yu zt`T=U*DX))`Q#$zP)9!V&}K=Z-0lNyi?F(p3ugsiKis#^S-tIw@Y5bHu}C!3Oe6z) zu;5iN^z-=`yuU$d=mPH<%TMYM^3$W!WIjPtdyCn?B#oKa$2HVi}D157d^;7RdG z4G6Ec*;0&#jgCBb=3%j!@L7J%;pAET=L+=5)AHT7uitm&S*tAz2A2&c~2l&FhYsmwV9h!?!sj!;Y9>aCcCA-iyb04)OO0>E@bI2W^e9v?n)3eN=}&IfqS6WIG!2GVCVBrDm9>wD)rv^#3Zi3o~kFm5x;13 zBrn%E^}yQghBZFV7>}9wwq5s+B#v+_kxphp_hm-0^F~4+WpWJ&DGJJ{@L?rmALjR6 zHx(VwJ0^PC-ey8USg743GHW+-{!Sp*<9GR(4k00y;lg(r+IH^OmcpVmnP{sO4sZrZ z?-)Pdk0@up#x(N4I*D8Bh}gR_?Pwk12xBHjQ(&FSCf^UNUuP%RBJ-?BLA$cruH5$! zORB2Jp;~p7P2*aryGxRa ztM8fZXAjXxOimDPo-*}5ug_szBHmk!O(=SF=*q=l>hWHxvAX_;^}W5c9M{)1`EHAH zgq-Jp**Izcs!k{2*(oqa`B7oLrbu-5;BwGaG1wCb`0raC#Q@X=PE%$B{y8YNOzjr<~Mmk8PUo#u?>@OVUj9MENw9+ea8n zE7RnM-*5x%yYxjzq9Use8g=^J89?bZ_J&r1a- z#1!TCut8J$b^5gjjmTwcX0O8@b{~yzSRh|o=hY2ez9~jmBQY#icq849C2l-zPkmGB zSUG41-du-x3J-HXd7V|&lUvQi_V4+C6_M}?#~bLKVtSiuAUTd9b)mve@8+!6yE|8JqS@|OXl$6GC*oNq z*};z6G%lFHJyHnh%5B>By35<}=g+V7NjWY)k zw+9 z+|!QKgKcU#u0f1$=DLZ5ygjov=e;6eKDDUzr~W{>UMYISw;L4e=LB5BU`<0kkftkv zNFqA+j}Gv;lkANP&>D7&J(g;2q@a=Hf~M!J$wL$k+kv=H%cBQV+s`ObE`T z06;wfW-xUlc>+uLMV$b~k)qtn-}DvA<^G+nZGGj({m%qBYN!t=8b2FTF8%L~RUC-8 zErkGLp|7l|ry--N4_y2dwFXa8!)@aMtQ+=CjoKcY@{*zg_!3E~t`5E+gdCt9ID9L> z;BY30xf_<`N(7V>6bc1`0}n-~fP#?F?Pt66y@v8lX|vsq(&Oj*|Ce7|vmq&}9TbE> zP&7kI&GuYBzmeZs09qji20RErjYWgDYf*3t-AFi!(x0MK;Q>9?4etU12*fMniEiI3 zeo+f45dDfaMX~x5ZA%jiBO`qPZ4=AC!A;R~0X6pTaKnN9`2n{a;vZ=LYs3KRf29FX z`nD$dq0s(wFd~@4wm2Esgk3Ow81kjV-kSOjIoXhRHXr{_op~K>daZQ2HS~NYpm>{x3BC=Y5b! z3`icZ-Jn~a6mAE2erskq7=?QQ$=Le-*#?j&lpF|w1Rey6((8XklOkT<(foqW2jEb75DE?h$zv#D3fP=3M35Z7Ysy3?ig^cA1IM|8w-#>esNE`3 zCZW8e^ksr*lN>zVoRsk{z&Q(umk9~yWd>M6Xy9~rBN73T-`W$(0m1~a_%;kcKQJnA z08;EQFvJ1k2yr5K67ayMmzM(s2f_LHIe0=`AZ`#(2p&Sf;~?Iienf~bga{$xyxg`M z6LJ1HJcI=Cg9Jc=Ai{nFHr;D{E6BxK>7L-0{pxoo;V_L3!>l2-Lgr4 zCHI@B;TLkhOD+?Ha({g<{Y8$|+?<_pfQ3)-1Xu%C?9VwtatMgS_Cjobos1%I|0zfQ zDW0T_`#X z4&b=oG2XKFeeSVZVQ#XF})Tj=Ndf@zw4r`3n_1*49y%p02s8 zmtLo#7JV$v&OxIE61~uoawIS!OaY{z#}3vCT4^zFus#stdhKOLxlVjT{jI6~TMKM1 zXqSMNp{2|>UtAu&u3KK8p4mLrJk!wLe!CGW6fb$Uw^EU`*fqec#~yDvbax|tmuFiN zc2ZIJ^GL+?Qe|t?Dy2aF+TF* zTDzLSWe#=se2abkqGm-}mmMWg_u17Sa+*kVD)hvlOp-dgZe24gelf{jfjFdAu64=- zcS9?yL~plO3Rag3lOS$%*`|ogi(6MB-_l#8>M=td!lW<>tY$r|%@M`Ye!~S9<5{S4 zz~KJF6!9z0rIzdW>fh2`XS;jD%K}kNOK$adY`EdQpJpK9(_PUD@JB^YW}dS<9CV>f z^LKgdnPH*(Pdic1-zy0mynSjg>6OrC)duxUP2=^I(mBk2F!$@Wly~&A%0rfpygfRv zb5azp$M>wm3f?)N*lB7II*g1H|3KX)G91+;X-O}1Eeb46J0qV3uTd2^zb9_b(KT7W z4@Ope`901XJ?3Mw$FGw63@XyUHY}+co}Oh0%lAp83ebozlIq^1j%;rVT;)*-T-3}w zX)u)-#vI*LD%+>J4pSz&?(5hmNfT+_BQP$1?zVSwwxxW77J5P0^JLL(BK<-;!@`uy z(!*91-(;{WSGW>i?Y#aa{`1Z{1XEsR9+3bpbcXGs&`}K+1&P~x*d7?A2e!rM-82}j zk^d^2GKB6VO2yMN%;bvSOe9Tio}dyvYb$kb>ZN#2bC&Lez&b#Nz{YrMC^K;H-KcusjRQ0)8`lut8pkV43UcfJsX}cNeFV7L`H*@H{ z2T81etNzP;7xGE7UKM0$${xv76j?WBf1_ZY*hX+~e%ZR;e?I++{O7dLyhGS|?Eux9 zbKW1MBf75A@ZU)%>SsFg2gdiLb;Rnn8k*InmoeIeDbxoS@b4%0ueTV~`K0-zhzMK; z$!T|2?QXP3KIgI0nYw(e?s^3-to8nJv&XZRFkTU)hCotoL{`yo$8O2I<90c58+|!6 z2h!(MS)Wji>gaw@ea^W;J7ArcwR-a^b*G24J0@n)%B4x5@X){}M{q#zgp#-4jO|V5 zjRct^V8z&dO(HTJ19!!apf{haNUmjy?)iGes6_u6t0nm6u4w9U-D&;F0k1dAY8Jyy z0fkE&)p5=t)+a4rY3{3UTvyAYKg&6mc)V!&L)%erFCb~ zL65g}RWHh*bc&W`3DuEvpDs|XvkqV@F#HKO`OZcSzx;SSmbNo5O|0Y+_n`~|Od9pr zpZxfC+k@Bs?~@)dWp?QpI7yAEf7qj9cEI79a55vlc;sfguLS*-jejo^}Z6?p>L{C z^iHr9M8Jy3^mJO67aZBBN@mr`?;8^22%>xB>#cBhHQV++$F<}NX1Dk8ABTkP)X;MR zDkrQzi4ZL-@)j+7$#>};lCt9d*F+xxLq9OGG{iVaJ zutwIiAs;@NhwNIAwi?eaP)v4?<6uq_xK$57z_ojoRsE%v^)X$Oi;~)V&C@|ecWj4z zx!FZ7UL@SbNR$iK-vB{ajTzo^?c`_Ws0p?{6|5l6v3r+4ND1+^r`Y37x=F*qt66)6 zTg(h51HrID^WoZ7)m+?1^s35m@w0Z}WwzvJIgI-*plGkPyugBom#aObVlc4Jty~|(kV9Vu>tb7jDWS$u@nAg70Uav2p!{)Q}l2d{w zt8jWs;OscUCQkdo!>&&E&W{zTt=Rk$J-^XO>GA+nf%+Hl<(vTgq{OBvUA?kUb=aG1 z<~_k{O-B-$-EXn7J?jeiXizyjt4FQ)1*P2jAx$Iw;pci<*2MycL-Df{V{(wZjkIvr zOx^Zi!<5|Jp6iaT$#`M_*3J8-K47MvgT8J-#Na}5K(FytD+ijXXa!^Y4hGV`G>;StSx>x`@?7#A%ZU$s8;|7hbvs`%%BMA| z?Q2~xzrEi7w%vAxMYhdikzXKqQYV(V-hTh%>U{YM+FC` zgl^6oj^YmQNee#XxuYtfzjA_Gi(ZtrhFGjIaCV|Su(Ao9r1O}aloI;z%Zr8fnkS0u zc8PJ(lT*QNN|zGPxvEsw>s&dlf3@Syd`C|HXvp=7^+&{)D{FBBCwc9Ao2fw!YT!Rz zhp=DWX8)C9h`=C!(+jDGsRcHvspx2^sHv&xw_QM#pAstq)GLBCD|>0l>t?GutJ*ur zEVN`6y5bcJj%DKRW&EyXcXp~B)YJsONOICo&mq`J3IxMoQ2V!ih{|3#U%-io2kASI zTyb823zOneG$A;-;YdLsu!1Xz~?gdE$KW-|VL!b{rKI6^$qt6?F_XnTnR0n$Gv_%2~FR zv+HKLt3x@|%fVH&%lRwK+y%HRgv){VZSRN0k{MFS$%z>;=lv3dHM6nTNtZ3!LOY_a z#axJvk0OVYW1`N5lGbU}6xV4yPnS_kWZ(?-AlfCN2v62QE^@w!xvlnAaYPn z4mm4Jh;21%eQ(vWZ0<^V4)x&5GVLmAWt2PlLgEE-3PW;4Qs|lR=yTCR8;$E}!4YR8 z$r1eI@QaaYQ7et>seGxCvE(>1Lvm75a#Hlg;6&k#oaLAuD;GBcxHGfJIXV916T%zU zcb@Pk2Lxo1GlkiR1*=MVJJ$u0>8qHkn1z_=c$`C77^^Z^Sb&F>ic0(RL(#u5(yt!D z|BjK6=-(L032X1*XphBW1C|yS5eO>Su~S-dn-?6`L>|7*+ITkAvGXNfXcRA$d`YP* zvPqKRRQ%{yA=#FeuKTHW{X>~{hL%Zb*+%)f7fXxnUESQu3+%D>_Qmf~Gpv%*GE=X- z%dkken4V!lGdv8Y87UI>IE)E0US^BqCLdKeURfi7OBQ_lxK4`sRB6`Zz?qJK(VWq@ zGHO@!Qx)<;f|nOY8Cf|uKdv7($;TVJ1Zbi(RZUD(pGCe*J20ojvpKy=d*{{xud+A# z39KgRMT?96N7F?*%iElyTr#Vn~VxqXrGQh(BwMq4qh) zY^&~#-2ETVsAI!$K~f-hf7(o2EKEV&;>d7C8;=<~4F=ml}!YV=(eV-*}b!Y7H-IvN`zCILTn!;>W_S3-U&)?f;I6b3_I|%Bae_^Ffh&h=VF9OkHwq+)5=|J#&-*CBgAM`G>Im^l}$pIvI}nQwV#{dHw$kj zbTzh=o|pK++O<*XD!J@^mxOa7YpTK3iFeJHt>1qbikHsQ>K>7IFLP_bUIc-f+`KSe z(ScX|pP+3!Z^*HI_)=;6u$oS_$!@ywqF83}1G>VN;jo?-PDWe04ue-#xqbK2@*3;< z;mNCvH>saRE1%vJi=yqvXJ?r$W35o~F=_YsvQ~t7@%Tgqp7r-535R($hKKi;tq?cg zKs1yZJ8TVfaziuHQW^#De%`$io3cakFm2L{j1XEH=~R-H=e3@Trz{tq>KaIMh+Y{M za5J@1v>`o@hTf?v2p^ALw$l<+y?*rUt^re@QKsnl&6%T8Wh>HOX9TUE?=XQb9qF1Y z>A5)4mesgY-QE$$EdQRv1{E#Ee!FOdUSu`rb*+mvEy+JgnZLQ6CH6_H{XWI2MPj9N z`u)R9ZDk$gd<(o<4$~r(>X_!V=QRjX< zCEX^QQOD2@)8D1gUQain;LmQyU6D^C(RN*PIK=J5*SaTd@sKM=mY#gPV>l!<6*h9` zt9jm?_>DP87$0azDPs0flN`$+N%95B(#QRyv;A2X@Ap|gwNH_EmRTAm*WQ_UJ6BKL z;UUFn^qpcup~d|#p4_-@EW+(Kw{#Fa;Bq@9@Z#5&-Ju6n&fmblVXBPWzrK0k1pTWx z1viW>U6JagqIQj@cgsC#7l#;|rEP-GDUIRz;kyPN`C+nH6;Cs_sGR7w+Ko_8*vq$4 z)4+zvT&_?u&gZJh=Ms``Uc!An7AFa_5@M>+)O^3x9(}{>?crXYPR>4~Rg1yGPPzQk zGW&#I`%FB(lsOb~v~U07sE)}93<_UM9x5+Se)%X)mG*&zHh2FQ8=r{IrR>zlF}<;! z&#O%v&}z=bo@KK~TH#D4x~nQ(!ZKs5NfU~%OOt;GF}tmO=!gq z+F2iFxRN)mR<$TjjJWf_C(K1S_=su!!MKg^z?r=Q4W~HM1NjZQ;|KUzW`j`fHGOUVCvhx?)*#;V zu&6X`M!1%C4^%)Zv@eABu7&@6EsjpZzO?e|DqW`Ni|QQ5e({<}*JAs$Hxk#~sAN*p zs@oR}cN9G}7F#CuG)L%ZwlEyiWj=Zd)#tt^qb#%Z_VM0D*mTv47aHq|X z2rj^Ulp+4e72Jvu19$aS4HH%H0I2?6{Qr|(VCw7O z?G0${5Df=UB9INaormb>>FMZz$5RpmKY?dY5ubg3IrE^uLEK# zl#tl(ec^CQ#Qz_42zkKW|BpH(^q=EF;b;`V1;4kGgCc>*z(4BbpYsCvq5g>r42q=a zpx@^p`8oixNM9fX2ZETm1p}M`!~%^81R!l?OB{i)4UoYK+7bn0pr8h_R*;udg`?mo zRX9>z4GC3-t82j2U>az7btncQhepXC2L1acwiG!hk{oLaa>^%&=z z_0P{wOGx~(GmdXR~bbo8)q4W6&l3bc4=nG z)q;b~g=AIKdRvjHMiX0e8=LK4hZ3R)UIn-uZ=h!r%|3iJ@-pz=UEU|2+$?fK9``QG z4O9BbWKGBYpQI}ay{{BA zsJdtS{p+_Vj6h8!eL@2I_>N}nNCB0+;QJSYU^M~vn+7r~g#FeJj+2zoD1&scx`0J@ zGZxW?!0?-^VIPw(k#eD*Z|;nJS`zXPo} zJ)PU^XY|b>F*tF1i;Wvscs-(lmjoGB~vKI=M-YjN ztsfhRHH!GcMRzE(d#eaosK&dD9L$EW1Uf=4T?*oDDZ8X6)e_)0gS>1+h%(-*3s!T@ z$rHcn=lAWh*^B$dU)L=Z`fbtdG=blR^1oivJEnd%NGr;v`(S@@8E3a!5h?UO`Tf`J zCSzhgw=BnBjXd8MtjKwyG{&hay4r z$jheeXl9(&Jo0Um^(%#5vJdR|D|Qr}l_XfRp~UvnV9!vJ6W@ydUaHSIoCJj4pLWeP z??eZ!h1TE%POYu*-!F#hqS+5ax#5d%MOxk1TRzyoU~ATc`E+h#bw-wrEwBu+-OgL* zo{#FJphI-$G^Ogay*#)r#XV+|5Pvxpt4tC4ag>PVm6y7R8|EDvRNmd&D3>nwJjS8y z$6t1#v!i`PIL-dnBV;&%PbpV&oHe=sr4TU>6YW(ku;3*^A}->XX2FcbCz(_c)2qQ5`R0|6@wt%F(d;4YHBv`dn(}m}2%u zi_(O3*36$OEfjsk^U&{BjLZ$9g-0oeJ5Np}vL@O-SDKzaS*Biiyb>fdL5MaDv?^`t{jn}%Ah3A9cFI#VK z(b2#@iDTNGA7Bnn7r1;}%lS;@?S0(`=KLHlUw$5ZQMU zt&eQ$jr>{`GG(K6vIsuD@+fX_QD^VMr%aQ4I{elj(&8{0S!s|}9@3DDjPQ|_EHD>9A7v{4H5cGfU${tZPoP@V%g_GyHFPezr?U99*FG{?u${`BAC0-6 zba+9HNdco0W92LQ@yM&XWrqaK=sNZ`S#lF6*7@dX(jfoM_9dyfUh;Ac!lmmkC8vm1 zjuob;x4&&*21XFYBE$ydQ#6vW&7Zz-)4m;$Iw<7A4!Xuw_P?6f({l(r7^@K;25uZe6$5b`u(Ca4UT+{?XMrYcyP?MD=kmsHw=W z{;LU81K)(}twZW3Wv)u-04JS<@;h_dn}rAi_hTm=Zm&0O1B0EopqWrF1tkYd8B^kC zs_*wp*S~{ zAS6XD6Vp0RK{Wd-jP3K|_2 zD&Q^*JY@3c{CAis7hImfhi*@zHf;x)womg7hL~3y_+Hgr*P)KY6l=d6h9@_`4W@0t z%%N#31_d(`*jP8T^0G2J^1vE(`?EB@)Z_S5ke1Y8mVTnyy6$@ogK?k`#jm_SROUdW)3`9U z`nU&$Ua4Hi&P%M!FB`XJk--V^=+;~ciP0S)S(Fz~+;r{RYQVPgPOaDX?WMinQoTDG z7HQd^FWTG`8I2qiWayQ4%uDk9Aa;l!LoXg3DNd@b$bQjFNw1jL{XJXKstoE*)~m&w zww6@dJ|eKjWm!vYqIECf`FN1K7x(nLr!kFS2iG`uC_`7|o6+`p&2^dD5o2uQ7YD&< zHnYSXkKx`<_a2tu8FBRV8yP{~nT8nRD%45TaGUdpYncaF-t}%t`&bX1WR}sA2*WFG zd?hnjS}BIAJX{jPy*C=H)B0MnqJfZbNKmLFR61s}G(NrcT{I0rin30~v$#0Hx5O>) zSqES$!FF||%)!B3@q(|e7jtl=mqDb%t*AZ5+J#r-Nu}$-7-|QvpY^wv2d3{1%rr2)lyA1z5O#m*z@jj*}SWq$}b(75uY# zWlO;|?y8R(b$!sZ`>B`fs_>%8G~aAk4ZSk9Fp2owGxhcg%N3Rd$KjnW>S~kVHv}>` zT!%r{iQ@bc*S{3sx|p#^=SS9Gwr2OdC*2?}g`l1;P2$>x#|?EP_ud+L1w?o}xB5aIp&ETdiE>1RNPMJ*dW;=(w8H{bjE>f@0tBT}g)F~&qC$|PH zXIoRjdWbwZxu!*PPt2-U^W%c#QGFvX{7-1Me~DqgqoZd%I8 z_^&8j*4vI2W{G)C>^Nu%O$ofNcpP={^Fz;%R6^7QH_gIsD7!S;A!gex(@P)k!zIc1 zs^b}PF!=lMG0HTT?)qAeuGy0>=icxnaV(?-t#bcYcMPR#Q@GlU+Tv5*qvJ=HcVva9A&s4gT#K%JuY^r~BppT-OZi zJJdezT4T7NYVNY_+_{l9-Ro5pdhhmy&=iXO``nHBOe!EO&m2=K6Y3b^MTF7XD9Y#lLuXPx}xyn&L`(i_lwS2c^nS)0{awp zphfiY{i}Gn93xbcU<&*wYAma{l1I~6#uT=P*=x= zqJfnZRvF#e^qn{G;lYK`Wc{5O!nX3RrVcOKr}}=YUX+*yG=;)*H8{iq!jI^P;s;;6 zI(mFqY5WpzXlSJ|;ZW;ky`N_h> zqLwWTobwHGFZXTmlck#MWKESUR!Fq>=zZeVCFsz(g3)gtWojjK!M~`sUFF2XJ;iOh zv^youg1qV8cjY{@rP8oBst^(A%kIE*0z(hfF2@l4b+C|FLC8VSfuA1IWj3`erw0S= zwm0iX2d=U%hl0~qqeoD|q$A)tj#oX(Q#&S9KKL0VBNxd>Qs!eyPx@z)+aF){f;Lx! zO5G=;B8_^d48lF6y*lJ;twCZavBAfb_`+o?>FWUaI($ zJUClipOFYZ*U#2&R=^UROEY+m}ngWe*c9J<;L$k>U z^FW{w2rmymR0sxv@^V6;Hz1H3Kt5Gx>;Epxc~#DUDrWl3H$># zAoVwFFd+~>uOJ8p0Du0?bJoQ$0oZwp7kbtheh5G4=hazG;NBU`d;+{6J{a)k6FAHJ zyNN*cPLfV2#4nqFBeMQ&>^TGUr?s+j%CgGZfVBW!^rw&fB;NkBvAjaR8_UDd^$bH?#MjpH9wBB1;x4`4T+An%#|Knnm` z))obV;esVmR%Z+-AO$8p3l|0W`Gj|gWGy8!F(Zb{R6as|;M%ZtXvq|HOxnu)dAd${@-CV$y7FPBs2Md%PFxj2W zE@uoXF9`aB3;lcQIv=FJ-0}w!e>?NpT=pvk`qS5C5H>b&fayJBgpGhH>z8g|ZiD=- z-{iN668e*B{vYA~A0~p|aEAcH80cqyA=qEI^Pa)>16)A-JMibpzk!DU6!CuqUI?f` z^$&3Me|8@q?5xtikp^3Wt-#h`IM^0!2S$MH!46<2urnA5MuE{_w}0Y(HkvelN8%^Z z|35Z=Eub$=QnA;%``Dy0X=H@w5&l3!zUnD-yno7`*d={Uek2yET zhP8OZHZxY6!*0|%I+{#>c{MIBZk1($e0828<0E2)E!sBLnhh(1Jc~RgBa^Lseldn^ zpJgGFL&7-gQcB`C6rPf@W(b+rH!aPOt*aryTb;^yl$4aux1uR29jK}(pHop8IOv@& zO&#@rt#Ym}m^ugzd=SKYs`1@~RXD|6YBtm<9HEt|vbw(En81B{Gz1PD7NUzBkpvbN|3je0J}3ch@Av_fc@ApquAOWH9Nw8`Sr!gfj1{Cx}+%W}zdi zkE)}0Sd^IvhZvkqCSWNwwIx+KRkEk%gFp%~HP!kDP2L|13s zg$tWU*&2WTK!*PQQ}Tc115iPjz(1TIBgR{UY>%pSPqf_RW^zX*Q~X+T7?bX!{Q-SP zuZxW2j2#J&9&Nc#U+@$OkCT@1r~Ul(6FV3;mF-ec^_3gM#DsjoRHUk{>@)g_+YDwr zVTeo%yS1Vo@CSDyYJ1`D1x377wMpI!p6_2SI>Mtr;4864_50Mnf0pY_D^KM5PQ}YU zV84`BAymP19gRaFR4%wv-Tb&b)ssH6r#`zP+L*Po?O+tltW}_@Hn60fe1%gxSHMC4 zONQa>Y>{NiP1QH5YC+0+*saTaE5(9I+en3LvCp374KM2?f3Zhbc7^5Y&d<+#wr0TZ z+uB9(7i?93(s#sdrIl)(XkRGtJEXg&fPK4uQ1nUy zGIcBa_Sn6#D5_4I#HT1^(XmJtSr&BB9Xm@w_t?*rlRBorxIUbeS&?5)TS1SDpI*NA8_s`n#^?umw|mQ#eL^eJ(Fk=J~3UmI64 zoqRB>k#b@h!hOn#rwqFvWdHQlo4xYumjonwRjVq%QAL+6N(D zZY9+TiRLg#(pq5TWLzd^! zmZ#^dEBcJ@U}s+Gpz$wQ3UM)f(13OD#B10n3J7=cYEg6dU=K^Kl>0m)Z*cSt60Ib#Lt|9S+3R)tRGYlnE@~vP?u9&V}K$Q(SB$OXM_a269h&j()PcMY+tw>uV8M-frk6@}#5apc{hY7r_!!Mo`KpvT>*Ju46u( zAd0uA(JdTOF_Y)ILELm4#-KSkBB5nPLUx5AewvGq=eg3Y$&>qqOwnxWd19k64=QRJ z$46q#Y>PKjGPpEil$e z4^vsH3?R$Tsqu+?Iip$>?EDeZ)Gv$6)q3FMz?d1-DM*|C`Muw zmcf0j@YPNg*$gk;zLR4G^PmgmUYq<=m~)jYp)ExXe6c3c>J~zeqD6R&+1`)zuBW*! zu1W>ps(zxdJFw=WKKMB}y18jK&c6L>;byPt68p3_hP3K>9A)*QjM{+g;r`}LO?{TB zwSLC(p-;@kyJNk@jkbLW<4?K!VTxgtXlwyBb?^2vB-E7pFo4&kVqz1rQn~revDg1X zdt;@Wa=U2Z(vjJ8fvf6iXC>Z&hM_r!m;*6#FEA5FiCnp(?|XntbNhhRMv*CEWBm;R zJMjwnjLoouZ;L`GLCwilT|lL}v54t@8f{q`ZSuh_SF2MW{9H)15#HV;lGpLP^BWIN5?37nyoq$<9v&cpRg;DyceDB zT~p^i_it}Ah{mS^+WF`CpWEE%3EHc$S4?t!N3H7M5SLloJM5`C-We6yt0=NT_e}A= zK{&fdBB_-Rzw!u6pkB9o2tj^BUo9ODNV$w(S7&fUjd;XADunHAF^W#ldkxZCmHaBX3|WjzkB`o z1?IJv%2(jDk>~=XN-ODtTwB$e>acLhvdO2VG z{xjUhIU@v*!_e3!!6ce&2W-oFyz(EO&A&4@|Ep&+uOO7?AJ66zJx^`2#n^((l-$%H zrL6GOOkDX{ZlzEtt7{|69X{@CMSKfq$uSy3asxx_<&BR7Z3AmH5=En+R0WyT?AunU z77dgm*VS42ZA~ph)21h8yt}$`1BfRR_ZE7EywzUj=O4a5nm97rxOruMO-Awh)v=B+ zqnbq#A5~ITrN@eD4a%Az&+ow}Dikg;k8;0FD_Ygl6@)f#_m^AYv&1N*&hqNDG_i8t z4fMa^(R2C5@^X#G*Hoe8g07dfqbS*EsS1(nY~v^^4XJV_4mQc^pzZCjD`RgI6m}E8 z>Uu~?tTil+~F>XGL-dJc$2ws+dlgsTA(D>Q2tF8 zzXoaclfmo3X_PD2cd%fQ$PBsLPJ?!L@L{pYtjrLdw8R{#m4d5bb5EigmNWU}4>P_Q zFM>@>-Gx{Zn3OZ*`&jUs_jzp1?5L;3Fy(sa4we<_cf>}JBex<9p|1zlZq&Dpv3t4MCuowL20_ge){1g z_aw`#k=H4HtpwXexr+tH{7#b{&x%jKjqOQXsg%Y)9O%Q_ZDU60-0w1~yL60c#m}>4 zRNHS|IL;Cod-quW_ORM#)xK=U2Cv-oX+ru+=4(tYL?K|cFU)CeqXsfkEmwEP9K0~( z#SXCNX`e9rIDoM9E!8>H>lR(G!s{!>Nq26D+;nuo6xSWX9>#7U*N~ue(8JC?zLLN&=5#gTYA@x=EBeaf zo2UAIWlNTo=4MB`33XF#wzZ&;ErWZs7?m_w7D)`W*fvAaroDTpa} z?(C#qW5oUTRbRXt^B#oP>HC5Cm$*@uwjJCpvy7YHJ4f3L4`U_iT8IV*EDU!vxy3bI zBBzbortv?88nw%8vvzuH%{=fd^ciokF%?u2purWXFoT;(M7*{iYE1~CXt)X*NLRHG zA+;)VdckV*`ILP0Yb0F)k+REx_a{W-SgB|N*^LRCKtJQSlC*wVcCD)gSPX@7A{*tFyLF>y9lXw<%m+zeGE_v483Ren}dSdaDT@smcZ z)zytvx*N6r&NE`}I>*fj53L zT^?*t{m7i!KxnpFEJ#lS~no z$D>+KWWD>qCSR_f7(d4nIzeXd-NLML8VIS$y#bba05tX3ed;i1IE%cPoldfUA)z-Oni%$t1PJ$ZWb^Ow6$ehb%< zyHexoyb>GRqk0;j1hjxD1Nq*tyNA9V7Tfgk7+Cr2v)UL~p1m0Fm?*l!wfounoAipG zuHXz}a`#C9d;1M9dH55hn`0 zBV~y^{1~VesU^;1Zo`wWV|%b%7)@&I7v1-lFuG_WqT__13Id4^yly-O`@$kg$wkPr z)1Il=4=+n6>zgkLmHALS`^aeHTSSCBN>=6Y@{`kL*Q!lqJ#68Ct`R@;m)^EuJAGnb z+S$POjgeAHHtF%=6YV34_}tivD<#+4488R<##l0|G%YYb+pcooUFP(C_uZhT-is~PulJdvNix%kGe6bW>mo8Emq(tT@zgAJu&X7MS3ru?Nb==@@Nb;qd z$v&Q;bo>+1Wc?m}<`c-}R9?BF@+I|k+Ys<-gJHS3sykUauj|kg0=I?N(q=bBN~1%Q zpAWZtb#pytox~WAKaZ%BxsnyVb9#HZLo=5*;cfCmGLaB5Ert_fre4n z5Jo=7Af?0e(Yo|;f?b-IuQ6x36mm^?)iWiSyRCn9tH@vIVnhpt?UI{+U9@z{6AHEd zoxTI@bjfn3EO(+c-=u&|#syLAT74gLDlsgFXl(Di4NHoyHC;lc)llp;$wbc)cgp8k zEY_B6>O6aeqt}ZTeCNOJ$}=^;@YHJ8H^p*qa4vc(S4J2euS7_RbRV#N%F0<33Ek*|J;XZWXu@8{(P8 z5JYP_^_*P6g}|xCqYNjdrDj@XhG4s*AIUm3BY0pol-)GHmb+=MTJt`qp@kx5n6DV) zo0y7v(2#68$H7IaD^NzJY85u%SG*QnoE&9rg}Kn0oNV;w$S?+W{H#$P_qA+3g+#Ji zQbJk)K5GV7T49s6zE(^>Sv=)aI@%^|*roZLhhGhgY!DB1EIxK-WwCzob&>n5E@}Ou zA-SBLg^5_|c}zrE3Qf4juv-<&o7L|)PV$Z99(u*W5^V$Wb6-mQ6h7yq2PTzfuCBGG zy}7Zq-)mj7gpXHNaA?kYi!YNPSe9q*izd3V{p3{DE(Bz*75u0^>oi+jK$LH^(^dQB zQP}&TiP^bZGk2y2!wh^eimnUBKl9$>$FM7x(Yi^ zM7MHpm&Ks9{pIoM&=x}!PI{hx7R#5sHerxqMnF49+f9hi_nSOnv-%e@N?Mox58Na@Gw5W8XH&f=|f2C{Ty29)wpV$l*Nz2qL93Im*3jJ;} zR7Q0W9m~cFqq9EM^ZJ&pHSA`nRaL7{aV$zgo?ct#cYO47N zjqv|?hqi>kgnxR;-z+!{?(XDNic_3veG*4S(S`}a1$DYV)3L^PRc8>s&7DaiqDo>s~jc$2nGoX@1FdH%x!$lC; zWdn&hRg=FoPEN8;5zt52SEM%+5s2?+VsP(mwoGD&$@V>yaS`Yjoc*t3W5RTEgqS9W z-2w_BN82-*Ay=7omEVyFyrWRuA-|`=D7__k)O+lXe#&^E7jHJb;n3$+>8mbDqL$|d zd1{>#wPuaaYLCm*)r5mU_p(EH!{!fISUki1IqXk8a_2_rxUQOMU;IjqH@Vga(E0WT5D>!n_o<4r_{gslAwMH9=N0@2KAxT9KmoxeXEz{33WVvD5!OI( z@jU4Nd%^Q?{V&x&N=jP*p;TvEK;Kyve;hvHIg1tlDghky__~MXM3c?+JzRv|LiL|l>zs=3t+DZ z+ydnOvj!M9lp8SaZ{R(Ua2s48(htRj{PhA348eF|AREvx84r*;zYB8uDTDF|0lNzR zDT4qzcYw}5d;OIUxIT-)|3e1lg#eo<{wag-@%&jI9}MzmJ{aF0diex_Egk==4+aqe zLT>-i3xV+o{ZSvVx8u*Ug8YBT_@RGb0O5!60FM7p9sK-22=-qx0Vr^C>t8YhK#JVAh5+sMhYe)%Ok)qDJTS!72uN=kl}}lgZ}$0CTHUpg|cg05EU0J0jGqs#oOUPva%pAf+r5^3i2B` zF#$J%9#F(kSZIP#6%X~)+9ta`w<3+)o2Nk&qz4=%C}Tl5H@olkfnNYGki;)Mjr`ql zV2B>p0SAI$@NNX08^H@q9FzeFVu16)dwbgAyuk2%f;P_139E?r1D}Ng1UMW9hC`(+ zKtOX(pdA>wS4&nF{GAUBDF2XcpO1;IjWf=c0D>5L+Yt6RtKdCd0WpEky&5o}Gb3da zaX@aI4%QV177~YexkB7+&*5EN#og`fg}+xIj#$Ur)dm3PM;moFd%Tj9Edh+$AFbkF zBSlIf!IB6#Fw&nQ5dqip#M>I;2;j2-0!k`ih`KA#t0EX;g!3bSf!fM`1XV)OMU+Z2g8T}5s6SRj0l4PFloU5k12+sBqjgj z7_3G2c z`wuSND1+0vkJJ0cSJI>!$7`W&aUNU67Zwk9_v3BSpWI6OLL=9H_ZVXj&D{$h4^J&p z9LE{DVB0&*Wo{4Hz?IrS>{lBCP{*#!j!yOX9CK;aNA0@#en`|(idyMxcrx1r$dV-d^x55rSEUxbY3pSqHC_?LKHd zXL5Lgj+0@&Rc~Y6f?~6hv_Xao^czLDKZ7i@ED5#?j|SN)g4*tu)W+WO)mj{nC{J{m zs^F0dq8oON=wF+9167FhQdkrEJRT`%NN~qh9AuT<)4GSP&n*F1)(( z4qr(oY7_F+t}k!P-$ay0#DY%X%4XT9nn}CRK%7T7>;s=5Mdu-m!V3cvj%bfz8@YqD zFwy6&hs?#Lu^&4c`>-+CbXcS0Nt4@SD90PBtk#B;c96xo_~>*4oz&M0hbGA=!)vR} zTG82M7}*F7*yApb`^(=REpN@^kLjfazp0Kt5ajdR)>T+_b)&7C?DdFEdA(S!cpftpG_}x;r^IlJnaEJbD`Hqf+TuxY)2OdKRIIM*WQLJdtF87U8c15 zV*Cmg&$7F>8$)eYd3@2koc4K8t9ix~OCJs%i4n@=v;G(jB_-B3JxV0%Q-~>Z&No-* z7!&ilG5lh7^Sn)8o5@WuB8#0QbNmZLAUaS3aD#2GGA?wQ(qsi zII)}2nO!@d-CjjKzx6=j#iSw6?sv&doDvw4I& z>SEo80P4cm9w^16n5GL3fg;5lN*f>B@oG+`I!OEUx$xbSQPJ}DQQn!X8kX~0nM%r@ z`6t}-wQf(l_Zq8+9Vvyl#u&jz4%t76DiA(%N~DWWWd?q2$?0Vk-`dhVa!%ozq3=;m z@3&&l%UW1JHJTaq3e&2)ZNZHXz7}Jd=j>3pUGna_7ujkFDQlCVDr8cRP44~*|B-A< zW%qw=#lJ0G>R=o^ND)|#{p;Vg&sKEuns3VER| zw-3)mDbukr4~5JmcIb>7bi>}oxJ}v}xN$>LC`iQ7uCy2=a~5o;XQusF&^1-Z#53DR zF8Xx6rv$y^wz@`^9OFjZ^J7kGBc%tM*zc8oSrp4PsZU8YUtiCA9yaM_!NTK6LbF7g zR55cyj;6|CPLotD>O*#V6zGU(Ivc_yOhr|!sRAFpOnSH?iJ?oyBtKzZtc8@P`&gvm z9cUq{?HsqnA;0LcTpLN-GUg5!`TPkzUsdb`q2S z+?Ym8-W-=gtNQLYm5XVSBUGeD5f#Cv!hCmVgztbZDV-4onW;_Oycsnhc#i^dsMk_` z_{Q6gPV*3MiTeX$p}9?g^%!?od4`*W@{ZP`TDqW8S=A8s_^0DCqV%oVFba)qyQglW z4C;Y-1trcULm+;_oDd1+&XJ5YZUq@hA%+haM*Ya<=u31*XUIVx^$MRyL>SWarXMa8 z6?ZsNyzMnflN^dJe^`#O1sOar)C=E^AbC&rq0Tmil*Dp`L`W)ZD-NPYS8f5KzBEXv zo&3sD3{oJ`GqZ=@QU#~zm)ue6?uE=%BFo66%3C%dY&8!m!=otRh9VxI8jUdT7uf;K zgHm7bW2>1wn;2$c`pGl)lmzmCH|~Y~OtFy7&oC{)3-pzr^L9z5_?Pbf=}!>%TcTg_ zeM`0Twgq-&Ayqvsu&N{8i{NGJ>EuoTONygm!0wF!JQso!-c5#y#QwgjYfmvz?TU-5~;QsE_{xjSt0N{TE z_wPdezbhe7`{4ZGfIuOC1qRRoHw8B@ryofD8;JHi(0{;4$50z{8o&KzOe5{hkvPfd(Qlys2VHlYZ+?-s4ANL z6RP{ihJS&o)W2TnC<&rA5I>0vWgjgG7*YA5;QjCY8pJXJO`IP zmo4$s2vC7t0qd@Y+q2kvMIsO4Gh$N^M4fDKtR+ zRp`CqUqS;-|2wIF3X1jg#QS=?Lu|0N=e%67UXBnKoR`<0O8zD|oVb>MQ>tG*uKgMR zp++Fcf2CA#=ue(t2?XT(kbp}I=+9yOrffv}@_&l?KbXZ|FbBL7Nx(9oq=;MGzP3pK zitybm0OVgm-z)wEow(HhS=ES})W1i67R*TAa&9s9l8n_rcV zxWaz`@K4usfAd-}e_i^((SUe>$N1y&F3meJ(1`I2SEC>~JcqaNj-mVjjfLy^2Nhkt zB4&?73VQe+7{3(MBPFL-BlSN(LVCj?&gw<#a>PUl|0NOAL&(nr}*jbDz-bkE{7m8BDzsmMwq`H zUuhFve4t%+-{F1g6MSW8?^eh3Gv&Yy;f1G7wnwk3Y;SHik)7gUW#`HX5i?@@;3RoY zhEzu~@8n&%@h8tN<2&W+4qP6U3-(wUIBhtg6RE#DTpcJ+xs^j6`3%cp?qo4nFWehz z&8O6$QBSjTJHvendF>2a+ftpSVXf5&hD!E~1Pl&aY^)3I&8FgCea0FRIIzwiybBo! zpbLFvJabuLrl)2&=_rH0&5YNvc@bitW#=32aQ#_0pBVQ&*1@IG%JJ<6+SF!*+o zoyRFkI&nEm_}cB@_OZdy>$g=zu8fs)@A7EKKUNRye_~E8@acGC@!15ztO6?6wc`v2 zDKB^AY0_8R?IAXXxzDXj^i=p*QpNJZwgcGdskt}DudR*cP;6X^{}jfCJ@~kVx;rsk zcgj~4;4IVNAtcBPxn7@s%I-uqnoG*{J;Gp|aUxN1E+t zkK|t5eRwLTVj}!j!hEqurm``=cUF&aTWpTw)6ghX2d#Sfvj$OlEIeISiKF~Zw4SW> zfcw;CJZ;TW$L%pTZ}m!AhwZc~iXG47)fBC_eKTLgb=D>*#kY0Wue->OJI^5K#m)0? z&Ln_CSZpgpC~k%O&Mt`fn3L9YePhxp+_iaYX9f*`pyl8CO?vZ8mc&+_;Eak_i=Y0>!C>E&TrN3>C ztvP-}nI5^IBuO2%(EX~I;u!A8rfMmJwub2ify>$MGok5s7Q@odPm#%oxx@^JR8C2r zO)YHO>WXm;9Z{RUp3fPPrAdRQW$@T(UJI;9Eys>+P~iecY;E2!_MeVC-%L%nZbo_4 zru>$97=-o|OPO5JTI=Pfu%iabUpmCxs2)phl!rtG=#%)bZ?0r9=M~H=b!W1>hwD6O zxAs^-O|>7WoONF1Ip%qIGAS{vc+KkbgNHGfPct3R)~@KC1#KH!h}$W~^PH!A=M9~q zdL)Na+eN2HQOOQuy$-vG7;+-8rgc!BuSraq5q=%To=Nl3l{4c*)sv<=mG0}W-E6T~ z%bIkx`dBt`wgq?cfOS>x?ruH>oKbm6P`lH|2Pc{P^ldVhUJAiuzpSiv1O$j*EgElq zaiP(D?ktrX^euvmm46cxdH3o0N2Hx;+;yt_V-WwAW%6&e-t_DV1-vb+5?9CEA6|TJ zw^;3$b(dl*>qL(7MD&Sa8jtJu2F0&7Ycb|3Dbn#*G(GM?30<)_R;T4FM-S&Eh{sII zCIw&F$X}Z?4P`YE0`=yB^c3Rtr9wM%(bEr~OkKA;W4270^Vy-Q$0ExRYRwvd_V`PrrKuK7NFOL;n@bt5W(p)`R#Vz* z<7KX<*vCUl2dK8=Zg)@1XGm482W@$m_D+04cj}RgL{>Ln+}#G=)j`DI1{`~Le8EV^|8#qdm`aH;ThtKt!+~)YFuWkfp)@} zLk#X;y{xU=gCX6a-yXlPNOm(^v&QE3jYWrV&NLYKx20oz=$&&N7g{@Yz^Q_KFHMc4 zwPQBrqv5^U{laqT9*Ti9I`WTJG|tw&@vgOHkL_{`aOaWjyUF&S(Pl2Cu!R+bdH;55N#&xNV2xSk?7viq`i*Gc%r z4PCi0v$@FV+{-m_yqpQOP?kf_Wh3P7&oF0%ADQt~HS3R*d8&%_nLtkkPR)`WYYCod z+)as5>g2!0xQeDcNuQdUrj&K6s^U&g@-?A=(Jd>s`{fA@0i2GS6sDKImQ~8jD4kL5 zk8JV&2#Uby#h<%^rW4lPl18BU?v2#!{;0s6S{^j&JNrV+6#VwzBg=Rekl$=Hihg zojk!NGv6y^N3>XDS4b={DVMLW7$i&fQcg|{6dc^>Ic-&HaZP?jMtkuqooWh0EBRe0 zso(7$Rte~VZSS|H9OCg-_gITI&yR2Bw^MTyjvl{GxFjL_T=}shcd7OV-WyGm4C+y} zg@w7f*KD4ye=9!c!o=u=nSY<~beyr@M{cKV*W%4CDlk&>($QYmK|S-A4BZS33Alv2 z?7l}j?>=Tqd7#nWB$@W%v=ez~$bD3DG_ohG-L9-lnX2Y`%EoTrN`X*ENKv_`V10+V z!PlM2c$SE;Qx1l)htrm}gGLI{kDQ&x_|j^=Ri4w7Co4#Q^pHdqFzZewmM8iu5L5Mi z@4sl%Q9ap$y|_{w6wIy?5i(RV9FFhXxb;w^e9hIlp(}YNnh-(f_t~1!E6QB!#CLxO`|$vO2vqnn#{RmuYuc_%#v z+m>yF=?j>2!|P;wkwH4oil`{ovnQXVMcu@E3Sv4fN}EZI&!O&77{>a~xiqzu%HO=W z6VtDaY8z^1)Y?u+LVM-uKO@bfsMI1XA`{W8#slw#ujVv1pIF`Lo2Dzg=6(8f{BuVr z%SGs=8qo?#gs8cm-ZJf{l0ipQAQW9(nYCkyu%7I&d}6+(9Y22P%($1f*2%dMjk~b&9G}kmU95gFbVQKXtZ1Mo(N)w{eT3d03wn@SvJBb_8x7 zdgB(B_SRaS85QAKL`!LvIH~MKsL5e&=gLX3LE#t@-^_l@!$I$s7KPbIRgUhf0;Lqu zAd#TKlh;8XXKiuZ-fiky$WiryOV%RDYwt{V4u0i)M>{M(y`E$)!u0^@O&b*NBfSod zOTPb6=6Dg8?;Eb$m^YuyaU1El;*C#S6#?xH4=<3EmejZYdFQ)#3-P~lgHZ^?Z(guK zthQG70gi^VsNAtME1r-{i^I3%6)FAPQ}o}8u8>I_RvRNZnpo(@=fipS-9eNc;r-Az zi5c0xi_1MQtTiE$OE1To^r~gmy)z8;4Svh^X7EGV9F`xx-u@6Mlr4(UJ1T}|xrR<< z+ij5WJSdVOa#Q!jv)XRnI++6^6!+qzRx=pmzEr*SFsccp)6W!I7(G~C_73-GfF--v zTop09Q4=s`Zkv-{rEx?2asLE3`uHmqgX8vxxfpyM%Wm5RTpfr)g?m^!IxYu1F=L$U z?GiudWpQe>LIRbYK)5NMSWf@WkqR?}(&sO!(|(MnyyY3d(xuGeL_6yVrp|W%jO0^e z2R8bhI)!*O>Ykh!~33hSKXNL@*@~j8WI;3^gz*x(5u?K%TctB_(N)x({D>V7G zVHk9nuTO{yCd)R?E7{Yw^?oEgscM99C;UNK?8|Eb-3C+`21b|Vo|f75PFJcB+*!xGLhifNuN z+tqpW)gARzM0|}Cbc~NhTg#p2YNztCn{Z}2s3cwVbrCWACT*8ucrWu6vuvmPJ|Tmz zl&*a;ta2ZH0f8nRI$r7H;n`-IHt`MGHBbMls(sc|F0GXFmA-WJECnYgR{n(VA|dXS zwcWFO!`a1c_d2^pE*P8-0&Q5gs&?slt!5>Uq^?EUx%i}M^)GZYPQ<;j7ete$jilm2 zUp7Qqia(2_YS10}_8^wg*6w5EnWLB_K|ula($bKJ3CE_2Vsz=71p}H-iMP_|w_)5? z6mAUR$T*~G98SRnxv7t>S+{=>HUNmR=q}{pZQ;G9Z}R;9y1N&sEQbs19$OJ z4ZI3P$jPsnRaY+=FP{lW&&n}-YvgZiYEBYrUeGKcgqvqxXy4gr4G8`sMJL98la@lr zh#|3lblZM9=~9nhs{U|C`(5ot&f$O>blD>lQVi$BoY{)9UBBno3I|n}Q=4&{H~Phm zJs}d;!))$er$?r~y6m0h*m;*-~c?Q6kupJi2f{He2rBGuJm+D(|) zO;n=Rggk;Hs^r73Vm;kGqexHSOoW$GitkZ}+Im^q~F9(X>7pQMLEu}Jo3!# zo;AmoGZ#KQxhiW}qqWpJExL7kinlE1Wm7e8`DyQc`#)tQjvu7{8H#2EX;oPzd zEb7N%sNa-JN#^CRs})J@f)xk#K^hoVA(90ZQ=uaQS#N|`g>%!?V$x;=MIvk18IHmE z4V#BbX}(Oaj@u+S!|7<3o%!3jDa#2sGR`8d>&)5VGFouxyP?A}?>r83d0UL*MUK&^ zTiajU!fom&72D+`B6cBNFKcz?O;?{6-DbT~KId?eWmWz1i)Z(!xB@(ibOg+D6Q`~9 z=hXVhGimfFq!&YvvFSni#pNlht#{o%Uv!|iYP9XMViI~v$-uHv)+m-4kU#mQ3+`g8 z&DmC2dB|#Mp}dk%7yv#pZRdH`G$GlbpY{Un!xaXk_#_RJ-MCGBcsYE_Dk|d})O{)c zQzcJmzmcBZa7g2=iVn(7(yQS|$?75foQ#GIQ?UEZf(}7rE+Nh->&?fblyj#(R^O`8 zZw1j!m#!*T(X-1mxH(x--VIKM6yLu;Q9z(oKb4hb=y4{Kc9W3A#9q>A$b3hI)#|tp zmMeqiI=h2gJTjb9{b7tm^LbKrHDk-s5WB7e179 zO&6@6JwHY&_mR5q&ZubX!86>K$;NCB(!u#xuC?XYk=t(;DV{RdN2h%X;u7V&Kq4Js zzC&gDz>xb|V@f5j;8{%-gkF8Q&*6$|*33r9ts01tx0q__R3}}35}lXTzB)ky&76Xi zb$(Wv;$(b`1p*Qu)_OjaTuk9@jwU;~Y^mE^&f0!pCr-}m(zJINkBmO1Y%E5e+r4ni z-z5oZNY8F-{nhAb(&@C*4`(Gf{OKMKG4*U9-%NX;2TchA!)_TNW4# z^p0BUFXl0`IF(A6^8IF&A3eZnSm9bT}k^3chwt@N}G!3%dwgU z9lB7+K`;> zHrsl*EY4*j6Z zjIeKReQx4dU3~o+EB0V9qsn~+DtrE=cg+KXGjSDV)@4dcEA;-F?}R_ESA7k-eI_t4 zbpYD>jEiBh@}bD4tmJY#59*_8gh1BC7d>@kf{R_(H|6hlqRZYba(!AK#V?B`$w~G# zM{k`D-Ml@eVwnURv}tZztX%*6<*}P%D6(Oi@94vecF(lkdTY-wyJ=KN4`I@ShhnKL zEV|`rR8D^o3f4ayc>druME^K0OfS>H88bOAF6^)#kf4!SEbLI7AQHAil6gB3`wzBu z|2lUs!|!`~;$C8(x+@I4clQe>=I#A0Q;>Kg{v*rrdk|u;gZ;aBVs4@raLtVO20~as zcA}<}9T33Ti)sJb5Qu;8-6a3g5`zUoU3dq8AF+!+5-Q=pW^MvQ`krY4q(vIxOo&OP zP;nR(xW4`?F#;g}DE_OI3-o_Zx%j1uktf#O9cKq5q+(sXfRxewWKC}u7aOdb8!_v{ z$kE9Q4E*npNfc}h1l<7EU#QoIMCgLq&j~f4#scBvJwiwg>;9!GY4=Q?T22 z8Vrg8;#|Mepim&r^#=_K`?D>^8x00UqyD5x60>7|)FXIef#|9y;0}QyhE4&1wgAC713Vtc z?;)-sAX9{x`wQM%9>jtY_^b?61)+dOVqj7T31taM6$K>~WfcTW2_>lvL#x1)FtXtP cT*ZR8_Pq#LPr{zA0YNcII7mQ1Syu)0KZ7Dp}qIr|7SwkU7Nwz4VBtn)D zC5b3Sgl4kT_l(qAZ~edb`~I^&&wb9l_ndRjJ@ z!k9EP*&Gc31tiK$uk&>etsQOY+d2su-@xQ{o;@0Z_iGVBJ`^&*V9Fc89;n1Fv7bMa2muwz#aw`Aki=Yj#hAlfYnK0 zJpjE%rK$?7_X7v-zsvTm9~%>APrM5S0=4jSrmXd>LnL{FVuHVG6mYOHOKlr@P;R_2 z&KnO%$wSHBP!bt|M97iI^1iNa((5D)o{jyyok8_{uchzfM${s>PymH*{A&E*6^%s$ ziYNrg>)%2#RBlQlx>(>TfIX-KEgb-=?+v!90YEMBffN9w)()iTT2MgUuMLnn2EeS# z2(k=HtgH+`%@qMfMj_N3jsmdjR|o*kP!XdLR1!lG=HRe_pYMYVS3oQN>+oh(9x@{C zz;I6o&D`O7ga1@kE_E>f$yw^NT)*%QMmG=es&86U(r0-}m^Zt$N()VPLyZlW+HdEK zaNRAhZ6+}yzSys5@Zjx*w{>?#I!_4APp!Uer_q-^1NWO+!Ft`pTsi|x+X|m1hCtkC zB#+FEN?wE8H#SeW`eW|hoLhB!q%aPQjbxTqOA2)F4yiw`tUSbH5>p+Mx$0duxOt;( z+8Hh31>0ezyTYCFCs1N9RzEu{E;o1iev14;{?c1bcL;G;-7e~QelLwOP-kCX|I90? zRvRC3V=&Q3+I)%VKDc$|OKbLP4|2`x51D6fHm4<$1B|@*bX`?99VS&oxoTaIGaQyp z9M3j#4M}v4z9FALo#U%&rY)YBxDaP;_lQUyD`hFt+#d4Eel45)DDY0~ktfb6 z(iI%igH7iCmmkZK__Ew@)ZcnPtfi*yX;tv0sGFhibx5C4hZ*M?a;}7AZ|9Y$V1jHr28TM#!y3RW&guvGiUa z9wp2-vWX@Jcb$nqjxtTUpJyrBb-%3bBmLc;r%m!79r$iY^qcxHOYdtwT5ce_Th7FZ zjXut#Ivyv>-+UWUo^@j-c#xZ8RQZro`!Vxa_~QM~f92};AHUdhS|cDeD$C0{fhimg zz&Fw$;Z~G>vm-K_3(Cz0x;8JD*_aK;atrucG3;N$YLslA9wJ?}$;en(@i*t7Xp`}aEi z#5QYEp_A!c6MQAjFXED){`in^L=o$o4AyX9EM~O&%%fnnGKnIG0dzhqK6X&!$lB=6 z@e$4x+UMrpDHiKaUCvwXVjXTKERRZxCc+a4i=4^F?*0`t@>J-d9>q zq;DI&1!9*bqjQ8W^jX@@?0u)5vDl_!Cn|Tg{}hTB*gkfogNTw0EOEpbTs$Sf!rVE* zo|TL`f58JVopS96DHpV6VNTkc!*M<;Jj7wk``Vq|t=C4o6W}}tCB_YlixQ8$S)~Pc zdvsZ<>-0ipQqt}r=?^c5ADFm>YY**~B(qI+f7;;2x^=JLv_T7dj)uYH214bLWLC3s z=g7n?@zukc=1*($6E9g^=RbCkc>a0#Kx@+E>}yExdlzohtVkraOpB@zeR1QS2BTPB zyKTWvn@Vv7`5Q4D?6fJ72hOIPZ>ua3f#M|rNm>qqlG;2}jc^k^^G00#i`-}FlF$!o z{>Q^pIoS?Tw36-bz0Ypu;#{_8uN=-dsE zm@aM5e19|>wb2}6-V3;UHPeG7^lU4%CJ&m+IDQOQb~=3H{gW*(dFImw1N5+xKpKQ8pDkqfA?6q_YxW1B27Sc(+t#iAx?teIoB3HszU}W&u0Q;`LO^ zd&N(SP6>s%mL)%1$o-K-8iA=zP0;$IbkKdP$c{ zH^%2AzTq|(L{rmkNda1;jm7n&2Yl5%4M$C>ZwnNjvdUk2JEtMJoFvFRmHl~iUUX7G zWy?7(VKukmkO+g>-H{p_Cc28Zr7=xuw}|yL>?6ONYuU%A*kP4FXLiEaj#Z8?e@9d3 zh*75DVtmAq=E2bHuQ=U?sfvuWqDoaii)*Z~qaIfh?Ydemif~yaPmSq1GYb|f_alXt zXN4Xu3MEO5Dd7dz*wLYH9p}?TGUa_xpH@JPODcH`c7My{NDKs*V?kA&A#-MQtA&r zE%23DaH+ohcg(<8Q5o1_ebIFFa{<>~DP2=TK-YsvrjT7o1YZiED35`I>$4_^PACMT zj}~L$l+sc{z~C?#5}^RcA{1dT85n#o47L}fGa|bF8_8NzM6fGYe}XUBLF%Z3G=P@J zDgv5B-yjmf-Gc%kU@$CTj&mir;Jg6sAUt3}bfW}-kOb_(l0fkSS@;=3fDK7AR^oM# z!dTG13-%49{8;lLP!m%l5M2CC%vk8Z6Kmke_%#p!)zCg@q^>TbX#_6z3@qbA(ZYXI z2*@~m9Xow%oAHpb?32h8O%EIiK!G5@5Vw845j?6Uj}^oUBCL;ntF$Zr& z|4G3NI18fHKPy-P9FZRi#$tcc@6WpXF57?qk3wJp6p{fjzl-_*k$Vj+{w}zIwYIs2 z1t_?M?Vki+hv|P7oMB5p1V^I(&w_(S@Usx`Z=n8f!2Zu6TLZVhv#x8ZtE;XBvaVtC zC)U>i`kz_HVt!&B4p;bzcQhIc?sFLC#`t9z+qx;j8Kwj7N!I_-81ySPzj z_6aNoT_?_055MNt6cmvVD5Dd`Ge%tqRG)(LBDkpgxPv|ov}+3r-rE}7Xn;P%h(IQT zb8XFeFuVo?YO~%9is51yzJ{^Qk%DSKEulE5Gt>p@Li8f~KwY7D=vseJ{4qbA7nA_? zff9Z2P!g03CF8vb->4|i0B9gI2pWth5karY@M4S|8WMmr2EhC$4+&r2T&^t?|E8=z zOzgk4g#yPIbS^(D3yy@tVW5)!gTfg4`=KxtsDuBYFOcki(-$}*f9s2(DK9*k{HxRq z1N=qm^=c6FiW0Aj!{eP4gtor{G`EMz4BoZ;el^Eayb!RNyc+#3N{3`R> z*7oO-W_X5Qr^R>I2Z1sc$M1K4aD-X}H#e{oA4Y7!9zei<=@twuKz}gg_;ZgxgOGo- ztv@)RpS27c7K||y(SM$a;AH!0CSt+cABF{InAsmK3k#au|6*8ZaCm-FIXDR!laB!P zf)b&=YZH$0i^dTQhxUt=F(%u0jsGb!^baqs3A)j5Ati(Y=p;ZG^F3~q<(JB3Dc~;D zvX>Qc(frCKiv!b!b}CkNLIt9pHwp+Qk>4y!)dbN#KC!Xm*SK z?gRkXtbPAVicg(g?GxQfKZ8D(67SNZB@5d-eLH7ZfFdM;2|{mFyUU5`{ut|R6H+e4relB#8K0kKP510JiMzThhzASN4 zd&IGhS54!DzQT?29y(Nd*%})g`{tweD{AH}btV?%XHm2>JW3SpW!0pN`ARzyq_xB( z4mRgYPev5Yn2Gcl7HG(B^={YWdxRH`IajV1RJD6A9HXC-wcB{)Q~#CfdugYfp6>Bt z7K-$~=X@jEMxu&~+T`!@0e7^l^69dTlu%U1y$KgV1&;Za!{eKsUf7@?UpVxtvdN&C z_w|waYx8-b#*oAOHM3ji3|B;ViN8nEk^Sv8u->$8I()LBm0pu#9X5_Weg7hJ6Z3eq zXyR42vxhWMl8to>V%y?RvUC#8zUy3)_kGpvDV*EQzS5dPO@oTKRGWJ>eqHtFc&I+0 zo-4d#CfuUOv8#OKHrwu9^1EEbcisLh=zhd{STYlTpi$ZBW8^md(T2N&3sW3C-d!A#T}5;Ek8eKPwXKdI z*j^g+L8p?L!hZ1LBk2g)-S-lS-jxG&4vC*w4+bLn%`bBCbE?Id+oxlUzGVA<7P(X| z)5*&DAy2R(yCOA=%$XmXO=umJu{cGXG|ymne2oJjd0N^xPX>x63zsYeC&eLz8@fD| zQWSGLVYIxTgjh*oFr$$wO_4gTOw%-KnQ?9vC|`jyRbCwsOIL@>v)Uq*DF zofEojokqyJoY0djCNDn_`z#R<zJWF*N0o>LkF)5`OdIknf5p*f>-Re zcYBd!h8pP9>SDijVC$YOa?*Q~s|WqFLcge+(Nd~p(u#4P6|(jpT+Sa| z7HT6pUl?j?_xotKcQ?IVty`sh@#@Vy0~5t#1=fWY5!|nMZUt|;%=)3<*6MkUUj?73Fy}M_^}}Qa#tLu%W3B^|vNf?XbZeqCj$vZh%ihN^1*0$H}sgA$q`4zB2pB zZm87%}{@{#-+Bb}F&3xotIb>cbdY=PO^xw@p<&J*LJnmAo) zwFeVsWl4t~zxjNbcgwk*dyTmVcXZBtDOBfuDO+lp);v1oBbCMO)!i@Hv`djvQ+Ac& z66i!9d!@9gzZ>xIyn;5debZ0iZB&o#bvGVc+OSaDXmr*FG3)2wpCgx9$+1f>Vn4U> z9hRZS(n=$-P`tK23+iO$o%!Apj1XJ@Bt zUu1sv*l}a;*H3OVoc?rcwMEx#-XbRw_D@^(nn|goa1>;2%xGh&wm=SS`b%w@+nWsm^~e|JIqXdNdesf&qfD?w70c^1!RRV|tHJL50nKaO>2ge;{mw^cscpI=q@elS_bcD}VlMRU?A zs^;s1*^k;KyCbY(0t0s7Wv9+Po97(8Ztt20r%u+d7%W(f&yPJN4o@-P$ZV_Jam9W_ zSN5Pp_xz~$tw?h^AmzLmU)FW`ZhYwb+K}T3AANV~ij3XfKNeDPW={OsO>cy)f0d!z zBOhY*;E?nunGatx#;!iK;j){)v2Yiea}?z9%Se9{$E~CgegqH_s@2M8jNX=i>B{Z4 zz(t|mLzM$Ay_V^=wsPsiR_tBxiaqain_3vrjVkhURRy27)G5v>h3$q6@6I%IQkc|W zR{5Ni3v4Bk47;?DYUR&bAH2nUUKr<%Sb2*%Q^8T@x4WzD-A+xkOUNE(NAXeX!P1I% z$HO2;jiZb6*pICiGVq?crdH<$tSUy7T8uerVj^%2MTJgXnba>wx4io4r*1j=i{6t>+ zyAYJ(+y(+mWW-R-3AP== z+(WG(CC*bFF=kd0Zgiz38>#DVhP-nqBh=mIXlSTzNBv{m)4NQfeWd>1!+~(d4(Pvv zqG(0fFG!RbyWznqGZX6uCT3=4j&Cs@#-#*(J2QR92Kr7Gs>|ntpAWK8xml>(ti|+F zewqs(&4HJ8XfqQFGc(aI>hDmXl#4U~$6_(E--3eb-gpui74!j&a1;-`HyD#-ga|E& zE(AO!2#`|tpiq33pwNJT0C}7@S)NF8SCy6p0tjFd7EBZ3N&a|OU@gSAwzvProBX#w zO`^B2A0ssj#xU_DA0{Ry7H1b_CMHcLEvB7o(lD_y#V~zfR;9;oqN|7J(dF`JZk5cn zEwu1n7Fy(IwJm>9Q%+DcBIAyUMxG8oO%37Ij}DQwMIX)Q4GSHhZ{Bj88cGcfJsuJlOpW3sXNTup zF1&d2wnLfL^7dtsW%1=*@Mh(Cn)t|K+PUb&=$N>;$Y@bzsbywr7?sn|_jXIgh4-bc zVpr}rRW(sdsW(of`*Lpjob8%RFTKG0f=*-kjG@PDNjsOAKuzULjYtlUjiW}L5M8NX zP7jZXjG=~!P{Wd9Qe)^~f$;gLGt_u0XKHeCYHCzM*g3J4JlbDuoBZ{>YT$3Dr$)d}b9=;=TTCu@gn0s;dL%Ui>{mABQ?6KVs z!;7Z{O7^Y}u7<{FO<(%tlMvcr#Iu<6tgy26s|~$w`SHrg@M|N-j^WZo9*c~^#YKOU zj9oOB;SV<5SaRLuW9YkU=f2*|DJ{HOcRR#~wj-$iRkPak*7DWVoCo#kN0HS#wo+~E zRCp&R29=c$v_EQKVj4NwM)=)`*0$gOm5YNTF$%xDEuVtzHo|r%)X4R zSAcyR_VphehD0Ex`q|V4(-O2I4n*wog4D2|Ty|#DZZzYp2?s81W)b$)Z0R35Hibxy zpFV4s<=GN%@b39!NM{AFM@d*cexi<+wVX|sNcIwzJg4{O;nP?@q$Wo^bHsJ6^Dx8n zQf&Otl{x=(j)w(6TBXUXZ=lPl@N*@IfUbpk-2LP`YCXy6L}Mek&6ATu#Z&3?6CFI} zk0CtSMPHOPiN<}Ne@)q(Y0iDzWpm%4Hu#Kw=9TL45|+vBvZ?K}2?@`iKX)?Hu`X-P zD);qFP{Q;%n_lmCf7^i#&Q=<7t+;&11FxEn#KlPI&Y+&z6Hbdl z?4x}B{r)r|mSG&5jmx?n^wKpIqGM+a`edC%Y^#H6cT-=;>vCE+m&5*d+@CCCBY6ykH=i!s*KAMZ|DdCG3V7S6bY~=YuV~W^ z)%Panp7NLy}$&?ePiNGHZHIHo;F=iRQq>UUVlo zVn;kzsLmc}yvgHg-}m#P8Cuixdig}F@SNiyV&_fZQXI=mZZx&ialQ-trwP&n4wmy~GN0?Qd1? zo{*|Zw>Qa~z-7W`5>7*3Ql}fTA~YADi`TNpkBdn~D`$HiPswxOGGyP#{_0|B$JOCR zERT18y++J*fQ^_?>5jXKtmUg!YHywv?7Jo(qv2HE;5ix_)fstbuZ)-P^J}m2X6WkA znk!^XxeNu^S=cG#Rok{HR+$W(x314U=vw<=>i*r~n#BY1{e7bexbnq4h=kQF{ml+bZUTsSa4g7nwS9;%B>&9%qt9S~z<3)#J z$gcQC*unyi%z9lFujI92(Kl^-oZGl>t2$qG#HoFk-C<{Dj(psiUYjAcsr|+CjDV`* z!5O8rfc*P~o>Ih#v&{2lRySh}3T$bK{N^{(=w~m)U!1>t=mz#|Lug)S^ZSPMHXt}y z?_5xJRi%J*mR0E6m*K5i3jVl!mP3p6G#h3gft8fNxjVX)=XH}lwUf0R&u)J3eLQsH zNY+wtmjyD1FDzazHeAcaTHeAqIE5}5T2)zhnyE|>Ew59NZVQpd|`1Svtj%_QEQmD`Ld{`NDTfzAr@8TkObz;h;dyKJ-Mxn!xa zkMqK+g3m(l8brIoEB#V@t6G3{7SJ7Rbbt5`DD5tkHXdi!EU zU{T7W!7?Q|osiK(F=O)NNqm+63%pv`gSX24oQgZV?w`WIAh)3tlX#+9Oz_v(y!%|z zVxOe#q5>u3gwIb+e0@uJb=*r{kt5AuXXGfgU@$GEX(!(OAk~f9ScW$!$-DR3n8$9R22&w{%lUV;a z`^AVfe?Pgl9@<`O;9H=XaoUUw#&3y!U^WI!tr-wp!O-hb4_V0LE>7yndK69;B( zi0)v2j3$0NB)6821(%t%8X!ySnRW1>n_Zk$N>2H#*-{yjVF=8t^uSx90f;X z5enbgltaiPKythdU`X)CuVHYgI?2TYy!G)5lm?Faf;gOv#{vH9EuiJ$@}O{kD?X5f zcY}Z#ZX^Wu;{_<7(MUAl27E6=fOl(80iX3U@OXhDn1W%vew4vrV7lnHG8iMF`3oH! z21kK-@s~0f0`YrY1ei+ujSdCoYyMeR5%teLU`W{SbV%?p#6RnTXDY!Y$FIB~6=7iD z|JO1U3`}YMvkZa#oessw&;FyXg2Hcf7^K2){VKwczn3X6GJe0b2Ztek;~6YN|5TSk z!hzXB5||wWpcaH+&@#YOh&ho6p50iRj$l5;$BhWAO$9KMudfBzE9+<~Xkrx<;TTOg wQVWiOV;OBCF>oCOOcROKL8}7)PU6Uz=VS_wL|L;dI1G(YfJjPeo9ICP2SRSIHvj+t diff --git a/spec/sm/rs232-ts.pdf b/spec/sm/rs232-ts.pdf deleted file mode 100644 index 7850c0b3e1f2c20a33425e9f5ccfcc2c335660b2..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11016 zcmbVy2|SeF_rEoaEXk53rm_~ZGGm17y9mjiZ7`S_X2!m+Wi9)@he}ko3S}vkERiIY zl1kYsDNDBhGqir{^ZNY1zZqkm=gxWVJ?DMTx#!$-u9&fgmJA#s3li&p*!dVF3xwpLOKRNIk zVFsg7Q)jf*-^XZcs!xu2Z379pZ==qb6fsOb{d2wIDdNpxB>P{?2^S0*5+36@OsAvs~mV8m8~A=Vk^pholuTf=|`Bpd~XW8k(R z;BgZ099V9XN?95FZ5%jo|6RDPaV(4+-LXy-5Y*Jik+M0m7LkMpwi~I29slBMc0u0$~Eo8}Rpimf^DU$p4(* z{DxzOL?QI{*?{-gr{$v@u_+H-4?ze~k7z-%U+9z=FtWZg0(UD6$2(?QKa`!x8L2@N z(!j7s&Ev*5@@vyC_?ln7e(PNGg1s;J)cr3X1B=hwe;w}Z%O{ki8(tP8 zeRc_wtM7FNji{ApzwV0lY;1lx=|As2ZeI`$dwy7O2XSyI_{k*;y_7qw8CYxi#N(l5 ztzD^=1BQ9_WQgYNixsX<@7ye#{phUID5~xJe%oO#eEg-?*JVa#%yo6zwctX#tx-}g zOI+K76z#J3=*gr^+);45a_jq|;ZZu@9EcUlc%_-#A_y>p7$M>ke7zsEsXmjRXcs*wZ^q)XlV`iSsE43 zkOslsoi2;Mj)JA#p{pL=ZB;-c!srkTR5HUD?_xxCxXWn&NVM5~z7ha~N;W3sK4 ze{3Y*(s6=D!*MYepDe<7Ix1cD#eIL;ju@-w@5Rj;MOkRN@-qZwf?Wj55-S5;w(pR; zaWr4_E$K|*Rr_;$iRx$UXE^gm_DWiwE~GPGax~m{e&4qz)_XGl%Pt!+hzjqSo0W4P z0;>~GRCz`8dhCM5#228oqYZc1H+HuL2!>AyFLk_XRmHrJh8sT8q)8V`n>8&w^CE^wRjPTGR#El zjnL^Y1A5CM29ugAM%PPDWk@w^IGPCQmN58ha<{~uNARBvw2SKER1$O>`pEB>`XxMI z)KJpeH;!H(u~c6a-kqM4{x|CDXXN2c9$}flc)Rz@} z_N#V_zooc7;5C-^`h>OQ!tMwLQ0X4J{46@hx##%wPtf1_Gs5L@@+vG~L=i5EtFVK3q)xv`a}X?Z{b)-R=cWbPPcysa$$oL*-U`B9F)S zML(m7m4Zr{nT{t;o9XH)yq75M&va*>Wz7e7H`)rW1xIqZakix;?j^~K2N}LrkX~po zk(TYcD4>^p#HcMt$4M^1D#9|_Kgjmez5T{iq+ee~_XTfM|x;?ebZIEZ8Z<yZN>GrT?JPML@8=SL`LIWF430AA}X^(xw=66$$^cMM;PgK`r`$T&;E46 zR2M~c#^1bF!Eq^qE`S3=juiQ zBVaHL*u=pZ=j7lC)(pUcO^GfPKfuQWBbebRo&XEK`edLZDXMGx=Jlx_^1EPLUjK&^ z1woCB4FPZclbGr`zZ0uDkg=Oy6>4sHRNd0}fVv^zJ*mL~fue!k0t8?j{w)~U>YMr_ z)sK?M6m>TT5?B`Sss;|WXj|9RU$(B07&sV-kp;rRt&ypH%OTLz z4>c|!0I?vB;0gxBBd8L{xbF?WgjQ65e#M#^oBWBjy1A)_x&?r>spa3mrpAguDEN1< zsqp>)`=40<$|VpPZFch`?E5Ego6*vr%;{>X>l`}@FlVUyH|Dki&VOMJ1*pys<}jFl zQG~xw*8kEfi@*R{M-45%&%ysPDVwq3pMt9$vCz{p0t8pH_?zJ0;@iK^3I_d);Bfe_ zlFP|qz$jpY0o(jfRi|&t2B#_qHKgDAmP5;ZqmxA=!Lo9|M|O)=9tr!uN=mhj?~?xH z{HJAaS^8$w|CbeDE0zbkkU_xYz-R;dhS27rh06|sBPSjlp&Z1M#{%uzupmWWcI6mkjFq0D@Y4 z>qb@<_?f!GP9>9G zFOq&YCJ>bB7rx*9#k4eVE-t_z1nNH38jOHLe;wBLS2(H5#s9AY{$=I)38ySzKU6e- zQ9w8n4u|~$=|7Z^diw)XSwOG;MF;3SB|^P6O$#un-ylFxSF+!8Fva->wLMS7XnsJNz-PKW#Qz~J*}-FtQ*Rr zA^fu7j_3{@PR^5i9f$NTD#<8Kl|2b8pL*ZaH>wfQ~o#R+-D`H*0Au-Vl+g4gJ zqNA`AUlikw5yBnzrnqG4Wu|08_#k?g(%TbGT3psxdQ^+u(IFY9lbMn#%5z)1Yfv*) z6w}Pf`U+u+&>&@a4TwB=^XbA-{j7^E%?4uoCE=p31x@@HfXV7d#g5oBgg4W9GASL8S)Z(Z%X!vcad&y{j%NF?#N1V=|A|6JucWwYmAMI&hUK<^64B_5*B%qTZ^;nys zKmCbTE1rGE>u%rP4E0dd$uN=f(%CcBt50uo8qOFP#o45wDB8NXDW44OaLH({jBu9Q z^ToHEA5QnW+_R@qPgtgywDy4*I_?L1&qkiPe)h0eTY*)9S+7Ylvh!gWqH=J=k8gR` z&0E{_j@!_015dTP@hZ0GmFU@4#FVP(nTDRZYO~MXFg6&RO>@M+CeU=kJ0?8rMZu_5 zV0Abf+G19PRYr0!#@tHYNV{K%iBEHYRY&$kXOFfZR?#+EI*UW=D+E?T(L#?fomwiMcsQTS@SK2h6yGOT#Txf^pVq_WWKC8*l0l155YAU%-x z?5+E9WsPsH^{eL1uUuks^^7RA4iYZr**CmfHMonBvM6quLsG=i zFi*R(h3&LS?R;tNTs}qrW=#tuHZ~SfSpWWEp{-$1_(_YbOLmT3`!Ypf8cH z3Zlf(oKfoMh%5`QR!#YQ-5<3HsMBoU6WgR`T2ltxF9)!M?K-9b@i3YYvTxot?{;3Tla0rlI_v zUP6JC*(Y7YuT-(8uUrnkUxmM*F!8iM)M)H6v%3J>_}j9f&#aOcQpN&9 zd~VLsMjnzRex7N9^Y!|FW!<|YY|bfGV(hJU$BpQl`%5EndygR4UHbEK10f+c_!FV; z?lmUlckx*7;a~7T>+a-;(_|Xov*W=GW|YzVY&b89>tLF*$8xgyRr!ezS3i@?EBm@d zCiB8$_PYA)XW|jv#cjIFwy8p~ad`Itt~=h&iPFBEZ{(gwL&k-f{89Ug3i%0D-ZP4P zQV=xHP7MD{-`*Xks(oMlx=^y1xqFuOXjd_{m1IM06m{_dV%F|LKD2 zk1oEfzKZXB847o49u(%5Z`n-}NKJL?yi&+2m*s;iFsrRFql?k-)hAR9K6ti1ycqZ# z>jK5XTzEUfZnrG?@7UWfg#L7~T8S>#5g%|aGc`8UxL$-=`FhB*6gMRMLR5$P34=!w zYbHAn3VfQh6iJ)*uJ3>SwqsbhT7df_(`4m_C6893e)9t6)yM*TZK!j5*T*o+=$6i_ zbZZhq1Uk!*9MOEn%A;>}7ex0j1mqkfA9h*9#TIiku@yCbv9^^s2vL*p|706iq1Yc8 zpRH%*sOjMuQC)V{-vX7>07azU=^y_fBoV$;otcxj-#(rre9At zJ-nB6?*}X>bR1DRG@k2mO5k36L%DW?+1E&zJY6%m-1fN)hV^E@CPVQ;7k{|jF4k3d z&si_djXhTSVLAvkVrtQFdadr0!o{#F>!s~|u}_wRpI1ZC3(QMK`zO=RSiAIcAE>RZ z^Bk!$KQT0m54!M{`9S>C1O;RKCB$rYEcryT_UWA`E1kJR+3n~-#2FQ$3hP02kA_Di zE6YR$k<{U`k>V$oA@J zcY2yp$`b;Q&fOhRNd7c)uMxCm&{SR2pHf(P>SW(Y7SF}p>SXY0;kQHrk@)_q*Qu@)P zSV?%Mpy4oKU#VfxK4sgCjDpepA*^h;ozc-r!`P|)d+l2oV?LMm+x3;tp|8Cfc!wHs z+m@io!WbD>6u_u=w^vTREPOp~17|fKV|fic9p-T&FhOMGI#E161{@G1=h|?km*CamIYgw8S(D%+M}t=&oAG0 zuY2nAq(jvbebvo=Rr3M+HVjX*14f9U(ZSl{*xQ0z8v6<>q(Eit@c{)qi;s^N*-rJ8c7qAluXbv8H5X-(yh5^JE-kqJQ#A!VzqL_eRWM+dL3&2_z*3VcYem7 z2}3w_)AWCeVv#7+Z$Ye+v%Q0(y|c5k-vV2*tSk-uXqXOi{j|f^J>AdNtQRVWjc6Yc zgeM5XnHeuWu!h{{T`g?iP&yhO5t9OMt;a@^LshXyTmrS?BDHEOB1_84uO&yOL`0NF zIuYEDxR4wRBZ-c>TJ8i#meXlvocTrhIaVg;iXGC9n3&j?Up#JSSCf@(eIe_3I-&Ah znQ@_IY6)k$Rlb#3W^UiL| zuOP<~To32Vp9|7k ze7F!dl(s&zuB=|_YZBz=iq;Mxo2sw9Zp7g~9pYVozmDAS^9wLNM)s?6zL{Qu3%Nd; z=5lwRD=!l#p7hAv>D-%X ze*fmR02BuY=R5*NL$mTGQRpx8_-h{Sf7*@6$-{n|M_LTs?KN5&209vAT3V*9BpLNm zbV-nQNr-M~H+_QBvfi>DW5Ra&gzXIHma4fHopvnRa4a6@zhPY)W*(VJQJ%Nkumb#Y+JS_4D(CIN-?;BFR-* zN*e5k0}9wcg%wNk#X5sGlewGuoGsoUTVLu#yq6EPtPNzVu_OWw4Gq1clOhd`I*kU+ z?oDZE7-(W?KF}&Jon&894KG=eDOq%Bpl!Od7(Ph97`1$eCov%-l%f_D=Peu+A0D3& zz#NvIklUOT9T6Rgi}e-8tUL*`JQ0-O#xLDwIJ5{_2u**t$9=Fyq`Sh6)o3^X`eTFKL9AELOj&E1|6) zS|q%qUji?2@&qM>B!q+n1;+&@L^G2M!VAwhSc=GM$zmcSyHClIdS+(!BEDqXibE#TdC(xMFo*$Nw4LQl%J%IvG<_qV zUjC__o15qV(<%d(gUkM=o=44sjCZkcVsD8QtB31$n5~d6MwM4e7C;#inh$*hF6KFGDn=0 zU7yfDb>CRFn}51C8`|8OaU_06x`B9E*{dvk{!R>KJC8)yt*(8yhTo`gF&$(&wk=$b zeZS^YXRIS9@2Squ1KEnPsolTif|9Y>p>@@y?nEsXLxtR|2JX0OKd7h0knmcwZFE76gBonU6Nvw_L)KQlCQE7w% z_;7aJO}G9|D;d_B@ z#9HZBS8|85y!NUj`re2AD5*gDNP6=) ztovNWs6?%uB{EqZot&0{cN-YHbyC8aHsByhAxGu*ssjCs_Rht^F*g~EfjN$uRcCZM z{D1_+ORngv(&!k|MvX$61U=W7x;Thg)1o>Mc2X3yYn%tGgu78pYvzbaW_9`Ch+4l8 zAy9b8x5sa;E?&X@#he($+JT4t4%QnYPJcxXN$%A4wi@TMYN*}pKG&AXef&g zKG*NrU++CrM##M-#H>?tvAO-O(px9fciYzWj~%FQm(z}#uXR7qsb8guWVT2$-5Dqv z>P|D%?#V>xToKq_+*KOZ!zOeMl5^$b?wZ4HF~l}&l(TTmfb7#nb*1wn9tC|Jw)PGt zdGmsTc}h3#qh-Z$BgwmT^c$-kA3D~K9ysjI?*3((IA(`qaan=wX6)5|f3*w@8x~RN zoi*22yO#N)H_Ja9!}g}~>Ol&dkd(BKN`z|j^(SU2+Y)o4=~)g}_127bEgMuX+) z^h3i7h!t|~I`duDkSY~L&`DRebci+)H4tp>g`AS%Z!{-i1lLGQkl$Cuh zObAx5)Y|#5?Q%%$?VfnCA(J!Hv&yUbZRHKMt|m%!jLS&4hI-$Frl0_H=*-f1=E8h> z(&zXdn`x`1iF95;xEZ+Qs&b5P-(zlG^V??zr`iR}g}oEORU)77GR9JE4X;bM=$|B$Mg8eWQKjwTR}r#5}cRPO(CccRcAieWEA$KNtJW3TWAuDRqs} zNTjpx;Y*92GyV9E6E>7GWe_9%c;1Y}p0~`Hzvn$C{feyRrDYC$R&68baMAwAy#zUqA+Pv$gQl?M zE6x)NrI3Ov4dr8=rgeA1YQ{8j^q(3J^c5$6PI9j-n2 zKHTea-~E|em|V-xc{?;Qf`e9&Ju&1{w#xFN^il$+mYVp67h25P39AL(79(!&(D)a z$MTddU(AQ>Eq*Kf<##lLE$%Kktz<{XQD#2)vyBZnyMLrA<$ z+3~ZUk_+ZsY7^9$>qUAz!?4KjHh1VzcD;kXwXj zSg2j5@Lri-?T8_3#Mxj&!Lt^|RRWXbDzmem#!2Hx-Q&Lsp0}hg`HK_Tic~kxOnp1@ zwRu!Z7Y_$-o`nKaPeT3U>=iXt|NZ3Hw@m$J2U|I7>S-@BkO?OG0A(DY?5K}(2GaeT z)yZEU1j<62LGmw8syhJX9-=ES9<_@<4ykRHYypS2`2@hyw?aH{(98^LK|QGlgTP@x ze)&h;9BBT2`)?I_#D7=he<3j=Ie2*i;SyBK!IKOe!`nIl=i}+==s+M)4+WUH;mBa% zZ;K~susN1Q28ISBA#ho^90q~<&ZZ0kf&j>|7GMLMFLpDKgQ}98+<;qxkG~Yy!wU%J z$XExk@3$W0AaDpE+)v>BNmv&U42(d6U_V}9l$;z=4(tN{-iAN|H3jMmO!(f0!N>tg z_TSrJa3oOj`$roL4$SRuZNNze>Ky#m1_SDJfAohypn)>cKj=0qmj7r2N`8OP$s>WV z`*%7dj9Oa%M;r1_UXUonpLFu5KX^uBP=AaoivW&N{9_DRS=1l>0oDCKFh!%}{}@9a zDfiDd06+9U$AH7&Kvnw3xD=8DP+=qi)ip5G6c-3+22fNnArgV39-HO}lxBdFli*EL z0E+#(8enThguI3t90k+T&_t+WwB*nl^75KUH8okZsw_fQ9feT_|2K&()y~Nj2NGpd Rui!8wP=^;2(=^fo{XZB^Oz;2z diff --git a/spec/sm/scanner.pdf b/spec/sm/scanner.pdf deleted file mode 100644 index 39b9f0505460a5373a55d8f1b025f7b7912102b9..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 14159 zcmb_@2Rzl^|G!PhCfg-s-{D?dWbeKA=GyySn`8?a$tt^qBv}zfi;$U-gshArsbtsh zeYNzd@Av!vejopf>wRADGhXAI*E!GgI)_J3Nktec0w?7e9O)P*g@Yg<9|w1kv@|JL z3+3&CaRrHrgT8-A!76T^7?eKamT{jZ;G^&*UXyO&58@Nk^nh@weR-cH~115ZF(q@qXKGz#%Wfxvq9E+|s4 zqK`KQ<&8muuuK_{f(=k;p8$VH6dDBkM$kq%x!EiD1cNLg06`Q11;G#!)}%mjf1n%) zahOX+2K2ohD3Jak+qZVibRFDLju=v~VSoeXuw@k=e=k5x;QKHK6sXKd*-QkG8>M6K zg#z)3fYDxHw4=SZH_Bhc*U6dxdk!qiIssk|fOdWqQulWDQF3#{fW*GBtMHRm1QG#~ zfWrV*f60W^xSqd{qag|dvIJD1qyhq~djYj7fWStmUwWm z{38$Y9!DsT`=|NMdizU4jPvIgp-2}`)*9VML8h{7sr}ol!=vpKstBIsE{AacgVFb| zH{S;bi?(!s9l9)?1ic8gfr z5{K3~`Kr^6)TyY^SbQrJ*MVH9k3Boo$M5s4kaL%3JKpz6r5#U`TDq2)v^9Pk(Z)8Z z*=gRPdava)YqcLzUBtA8;o~sr^O4j*T56?xYW$MyZVh-fP49Q{AI%b!Llk+{n|J%x zDOB@wh&XD5zKWlS+G!$|j6b!m@p)eV@q#Dn!>5n(+KFO&RqHuSkx~_mvob7V)_zjc zXq|dA)Pk*C@591&;ETCetxG}oEvy?5MLc)HVjE#0RP4AdOYeo&zqV~vg?+YoAMK`) zsC_o1Y1^RL$Hx#VF-PY|*MD9_Q_N=fW8aKI;>udLq8mwmQ0Z%bbYIMP#F$an7=bi9~!{&Jd)3YZ7QcuqmaPj#q zc`hI%x8E2ltnIv;9P;??(-)5xPm9PSKN2UbrI*uo7KyaX zZQ^Pb-Q_J#3Rx|9sl3g8MU_?%mJ>Ynd2XTtmNPe9X%=q3lO*t3hW;$~1rif;0dwtQ zz0y@4lECoJEW9z&bGQ{e8x3ZxZ-nh;Nl6|l-zV@ipgDKr6Y-!8=7pW^K~aRh%5B}E zqL+BNP|I|oPRGtw+?DfO6AZ4Dj50N^gd!rnc0V5%;p%yO--NtR!M(#JvC)w{(^fO) zv<{Bdvzw&bw&<7|Oo*60+uN7IO&KSGLIMa0wa=}K5vla=UZ=R+p*li7^16Zw?MIGV zdR$fJT+j~`e0>aM(vA3@%Q>!T7ZbcFKb{RqtB>ik zwBn_#CH7>tP+bzS6NwZ2y!{1dXi135zm@JG(>~Z>ZBJbjw4mp=9n$MTfGkSFG`E1hFgJ@!mAPIDN@>!omW~t z*>A7=QS0L5@31me5#dgdW(_CRq(ni^3831=yGz}oKEF?YMKF|{_1XQb#&m?7Fq^Vq z%DZA$-6vX-#B1Ug4T)Eug?_zaQkOr+d`vvK&Yg>__pYJhJE{cbjhkMgxe}wd4e}9o z8v-_n^EDHU71lXiEForZrsNC8n{5o8KEkN^T zLP8(i?XEf(KMB@>6KnM?uV0kg_Vdvt(Mie+$j1twAfe4S0d2>1X)(xO3~G$0u3R-& z9BKmLY>hIjL`T*yN!>M}Zs8G=ySw2j{n1Lmt6%a<^5*!l=_D#e%2R@=Y)lS|R8E6q z=wC(-o}+#b|5=Lw%UtJZasAmdh4{@h03PRO56vW+lq*v{R|XV<4rM(`_eGF>fqvJhUQseSem7AfzY#%1Kva{peHTe$Y-m3NVr!SY#oV>ds)_Zx7?aE-GXbqRR7Hyh?b*($cuj~Xx*Od>NZ7ZOK?;gN2CI(BT(|5Fi_4N|p6N|1oIDoDy_@wB&ME0?Qd z(U<|-+z5qEgqWN`tAt!Wqx^LwN!rAm$~E4)F5D!I#U=X28U~~GiG>N~ucXYlS4m_k zk5j4bUno|UqvxDiOD~x#7hr~MYBDz2gnkICZbUpb@X-NgALY9q+MaZ$xIbCr?`)iAie?nE$yTPg!H~J9_P8RTE}7AFEKOOD2vyj_JiCqOFGZ!!3J z>M-^07AkEyD}CMj*9*%ylxS<|$As!4I#S3g&$uSy@$l0QfiA@j#iy#3P@mTwLCBHl z7Q?h3`jZPmh&?52Xh`8cvqF%8PED6fM($C#Ac0PuWS-W^3Z0T(stz_yA!Br};k74E zB~*rb&>SOyUks6p^ApAKxv2L`e!cMww^4&*2W!vzMr2B4Su>0AoEX@2sb`D13A1iM z#A^pa+cP|GzS47*U#wpx)5y|NenS6A5mc=9g|8&ER1N34FNW^84d1b;#O39Ytb(w- z+8LTceJ`#^i%<(8zQ~@gFq>m@+krwu8&-*_Atp^$#q6w6I5VAHf?Y(3ymYXI2QFlB zkznRP9v54kHENThn^A~|A4Bh#Mw>oANkugnZV`M%B0>sZf7tFapDtfXw5y=2xDJC& z*$0E7gGY2-u?ix01CDPNMoSVLJ0VAuXZ!KtGJ!kCy-d0N4!`+Q7tDi7T62cedN-M- zge$3t6R9vx2dVx~qMt=g7)T|%8HigwQ+Y3t)6;%-OT$Y2KEG8}szdhKOJ6x?^v>0# z%%7dS?w-6AQ5gSBKzzD)Gz~s>#VfO$rg9B(%zVNhx?#||5pi|gT)W|YJY(6Jq7cpncFM1Wi<6&U{s}R# zD{w5-_`b+?3UCD0>3phsS|C+dA2bH-=0ZE96LxJ_YA^>JEZa&^h*o8Kqk|YcQ zg+N4MVo)R;34;qlpr;^^Q$Rj#AE*D6<*+Irped(7H(#_BpNADc2qA)$04e(ThWNX= zxMDys2m}c-uy=BEwD$xlhoC@)KF*jR0Kot)7`b6Q0TzxR4xk=>>}vfxq`|KLf5`O> z()@%7q+ne=Z2*h>%8Z2tKQb%Wqfv*L0jw`?E^nbHsHkmd4uxQ$k2gjM^-UoF<4`O( z1F+Y(%CRr8*uWo+QFOKU2Z_P~*kFGoVe00DaYY081p$Fz@rpNq5Z%08KmZgutmY@q z!q#_`H!M*3lQ%^jBV%(cZwBIja`p}0{R__E5=S`0CVp`yhCIp{@WNZ(8}0Uk)gxH& zpFAEys6UxBwa_uP&f4vi1T$C0jKsHbFP07#}__BYACfzN+o03=|spIrkA15!UFLm-eKF;NK+0sx|i z|6$mgAcxPQP;5^Cz&!9DiIDjAUi_Q@x7M+#Z>=E!1Ac!3Xg^8-Mnpn^KR8HK0x&l42H*>Z)i^dk zw!R-c0VR%_4ThxyKIdOLi$kaM!)(6>)-Sj9%~>37*!<1EecOlu8W9FuItVTy3KBz# z0vrIlS}tf1f)p%|cEoNV0aRc%u=iC%9eV1+B(@RkJ8V%>usX)x)6G%d+XZmbz~D8+ zpu9`~A%PkKT@L#@RvW-fVIO=n<%UKBPVoo@>rAoxK73$%e}A8#0AIlOV|^`l+es7z zJKV21;>ZuZ>F@IYa$nft`y&PV)4M6TIXk0(?J?{&nkC@Cf3#?Qw0^9qey{)cY2m1T z|M1bjv{q9806T(F;Nah7{x)&{n*E`Ft`+{ZQT6}y{J&%t10h8bfXG;1 z`)$YoB16Q*j))A5p`#)L$)6$v+5Rdq6pkGzf0*^B$O!CM{54L%SfQQ3PHsSFM!TT_ z`CY+oU{A0Y*c6~sc}aiPap5!^^Woj zu=fNzyMbK}P2d3-0c!#uZxq<~&=6>pm)o~;fJwkX;1F;q_|Gwl^*IJd#^~WJ@VgWG zpREIM2kdqK-A0Gr^+!8@i*Nj69#RA*`0s%cz+C~o=|}J*-_gm=-oehv$tmdb@l-e* z2WlLtCi*4aewXv<W;4Nm^b^PH+y#0t98-{UE2M^-mj%K-(M2ULxCz z>-a=ZUr~}jX>Ryn@Yypf)dyYo?;AXTiZ}8BbE)nF@mlVa2=Q8iu5Nvje%*d8;Yy>y zTity8{I{Mx2ZO=SHG74}o`N-+hDY@I286oxNHm0XgatIU^?jcX2yd_lz#vmUc#yc(x|EpLQ|dbi&FpHc=InVNp)gd?>;0W6^it0T zJ@|`Td-___C-~<+tIKy@H=8|v_9jF^d|+`F*TIH}269f3qS&;x{Ye zTH;>)f{R0dhl7iYONfOY*az-y7Tj%Cylpo8iBE1jHxp zioy6wg26#SK_d2EXb~TO7a4vbP>>rCg9E}uDE~l|6A0_FL5B+)EN3FvFGU|O-vDe> z4#1-*e{UQd99#$v4mA!QE-r!3b|S@gUr_lDNjYx&;?~VY{O#PWVfy4PyfYKlL!NiE z>!p%O_QI3*$`loo_lmZ{x5AURiiSD%!uOuiTPN#W3z~}POrA;}O&&>pe(7QH#M9!2 z z;?fTGIB1bXGYZLDT|Y~$$OVm~Xt>`HAgNa@RCcj!pRWY3tXSw|S)G|auKr_Jk|bvR zW3zJ|O6P(HljHXjdX*Dhbl2|;o~0uHa^#_4~mzU z@Z`Dh&IM!YLn#Hu&-*J5jY70y=i?1ppV{58!^Bx+r}UnUjVb8F@tpo|Z#|hz%Vo&6pXQ14w8chl8bM z7;k0zP|V6&AP1NYYC)cE0~?T11^!<)N7%kA698TjNJzvPw5+p1`zR0yTVFR4x0 zL!MYF%t(08Z;~q8QxfeK9!PC&s#J02 zVv9*NY%UgBR^Td_E?BN5e6d`=O>R)l`XTc2!uv|&t6w?i)Md2XqueWQ-ZnxCJkZJA zy>W1|t)%;o2clFCv#fR<4TaVmTy`=H^}3Zk$V67$DNrEu6rKKoX!=MaCvT4 zq!1tFJ)PZ6j{E8_b2i?M)lQ51pEwl}OV{2c+rRs%#dlU>p<7V{X|oa-M%A}QHS(^w zb|%ZZ&dv`A6qG;b$*>!@-K4kv%cd6$yWshsd?Hi~f&6Vym0gU~qjh0^B2G{zn4oXg zlt1yV)8mR6fAQ-#ZkC?%%dFAHa^&>YoR0}O&&h#iC_NkHXVh;z7Fezz*vF0Lj$u_X%FVy7&sp=?rR$kO#_Z!fQ_v~uTZyquI(QK{CWVx1$LJ(a4bx|)IZPuOqm>dUyI@1}pVVt~$BxoP}r zI32P4-N+X+=N02HUP{W+Ea?nfsy9*e!&9jP`S=i$BC(*R{In36+_+F?RFh)SR;x$O z#?`m4;v0r!Z!qOI6+?6lyXzg*h8E6G>36_cnir!DL z@Vq*e+`Vov;>4Tx<$1`qKwIFFjLv-bnG27o8PZ#5&yuO`#yN8AO>w@DiL@*qvL+(D zm8wptK%H%x#Cz--TM@XKb&IMpp@O{rZt^Q%M&-;h`{T5vyj{|%XVHvAGi2|@;!x!d zM185&vQa(jJK5R0UUtqJyPl^{M|i*LK%Djn5lcVT!sS76g)Vv3#xKxz@~rJ1&%2B4 z8#GsOVy@G7y?*1*dBT-BV$$Ah!4<9fZC`kMj^a9U zsmsj;uvtppCY6~#8{tX(C^c+NoW-Os^dyt}qR}+tM7KD*do0_1qnIfHDkf{<*3_1K z-|;@F;*albmV9?k4dQBnd2##M>OxYc@T5#845xQPTd%@jy?Yc%`SbX^Kz`-R7MlPI#*OtIbA#>@P;EoNgp1|8!hvUp-x_~W#?nyUkO!w4v_X0~*M zOBbP5kbAo4o{polhf#X}0S*zN7)ayE-MJ;2rD08Y+=`p_DUprf^%IeSgV$?3zVz1z zoU*5j_fZ$98NYW8)E2>P`=N7l_98r`W8}S9qr)dgQ{1;-AEfa~PRsSqie%=BfhiGSWB$`!-H zjKZh)i)p$>dL8&Ggy?&D-o6q{(BixI>5F|O$zEAW?qcR~HN}k7TK|1@tNWuq9yjBx zdmZn-jCHfto(|0%jO7$v=W(EE^JivyUc&bNOoS#{@uY2D{Y@Qwa%!BVfrM96`R zYu5tpX$1LtPThKVd6mpGxOKaSYK!8$U?J<(?MK6jPQrchM9E{fy$iJ$zbv9)3H!S~ z=W;=_2e>M!TZMM-KdRN`cvpb=&3L`42=YTC2t*24=|cA(;NSD54}V?YeC}QINFvh3 zcV%H@{fmi6wwmIr5FDM&2_L$G6JjA`Y0m0Q28OnvTBors@SKm|(BPw!s&9+^JkaxE zt$M8@HPV(zxx>+-U=kOuf*6YSy|jN3&C$=Uq*T$&& z?nTP&(+2eq)=as=y(gEU6g&40mbTC3&oy5ykk?2ZQ++Wxd=O~UGrGj+NAZA)TzpGc z<7$@d;=#j*jhR8xEW18pXHH?N+lRA17ma^SNEh3UT3jXL_edTy{cyXrJ8UzZG=!xG z&G`9kk(cbJ@y{Kg>pUk7UMV!PvZZk~pDlTL>p@+2#X4e_csFd|gV{l^T%2kZxQg$^ zOk*(q6h~O_>oDRDV~$y(t*98%x@l$NEBYIPGLrs&s=ahYg1kiZQ&2-Ts7BK63Axfn z@4u`Rk8V!=S1UzP2(T@46tFd#co-R)GPH4~hb5~CuCVD#iDTZ3JdxmQOl_>L)+m#C zi(hLYyiP)@4&o+CS0#wzmWt}KjFJX%rt|4Rl1%igBHZ#y#!U7~8=qF{c#OKQ-0AhJ z?mu>MtWk0}GLs|d^)&i3GA#1dm(SC9J+IPeNC-;1M&F)X-2QU9UzhrQ+V(~y9i9$r zHpLSHxpb=NeM%YFmvX9w!n1YkN-P|uv3OC^ReS~+8CNC?FI*?RTnIlY=NozwjC?6)Q5vjnnuD!Md7%^JAeT8*-3#SUH=WeLo$yr@SoYX?UQ30jqC zg?M+~fb<0#yN`#uWgFcwyu`{-mR|MHMk8JQkxD)pM~I4m6O((E5z}pp3?btlU{d2U zb>gcxa@SUH&@u3?gYyK0S?mrE2nms2qLtV8sAwFK6u2}Y*P+K!sXam?a3M4=*Ydsy(yZTo0K262ztqa zb>XH?S5FP|Xc2v!$M@i9rj?M=V-60?cb%-CZ==v4m+X2Qy^}e!h=12TjN}80+_R{2 zb2bYJ-nYh8p19jH<>&-4?rBxe#Afcs#M8>B-C03dEN2xPf0`n5=`X4}Z$2=)|Mkum zN-w&kKz;~rg&P#=a%P_5t)v;A*=|V@`43fDE)4yT7Z8 z-G+q{MRaq?GHZrUr^uarcaW9gJrB(!3!P#7v>ZOYdiBIx4=EnL{I->Qp_R`Fh-k}2 zT}e4J^~XP~YNtx3ow_GnNNa0@$N%)heE0eMvHq`pH2(KX!r5L+7}e;~*(!Itp7a3k zg`ZG@T{g&M=+{N=p~T9o#En*ouHk%MQ1j(0APaNvQ@PUdFi*?Qy^d9V88NQ*>C;eq zq_4)9joGOev+6fBD!3+9o{LmP0&Aj=gY*k7scPbWou%#&TtiCdJMihJa~p0syv=#(x?uxcjQg$^bRpyCnP6XQcT1yNR7<(6=yW1ojQ^SH(xC{9#*vYnzq za=W#ZzC|;b!_fO+v}8D={6@bW-p8wB-naa{ExgCC4&X6$oreu4DxZKadyw|>G}iU3 zhBU)540YLK)Y5{TLQe6n_egu}u0T;Ea|9zRZ=UIqe1VSS+uB%BZrV+FOb4+9#GgrP z6=-PF&3sdGx1}_GgMXm#t%_UVlI+QwY>f%QV4pkji_e-;4EMg)yQ*%t1Wn1aoHyRHNQ2JJUq6`c9J^iJ>YoT>F}tW1LzvQde9C3I!ad4nxz{s8lJ@CyMJ~_bnv5s!v~u1h zMwzL(b-&?q5KiF5Ga}QuB_8phY6|b^357EvB`-p54vgc(I@6b!6C!VoUS%(P;pN)J zL+{%pZ)>qFAr|YvS(h`qEJ)(fFLH}&40inK=ACq0bw}xT9jl3)B$&bWD`#HcG8_mr2Tr9qYcRhb*&>N z935FDvd(C`p)}C_$dt|-U!~V4Ka8>OBw?tq#CF0OUJd@ew^Sc8cVz2F8{34O-XwD- zJUXFlAq~FIIk9)IjBF?4A&AC);NFI^#h~KK)qM>bQD!50m#gYy=Hwq`m$)7&bU- zpWerDYA}}io|x%v9uv0plf!wN7K@xy<`M+f*P332dcAv2ksnX-e({c@2l`wQvX}1? zjK#u%lC!#^!WM~FE(@y<8%hDQ5=Y%Jj49{V^c~V+2vPd%e`_k`j{GjIXqZ4Dh|^W) zi#>0tzAu=@!aYg5OnLW$!|5DJ1YY1HXEk@zfNqtFE%)74j zmkV=ZEn^Qfx!dRM)1cK3{Z;g&Tzscv7gb7e_jz2xT=07g26eHZ0ImI_D$oS?2 z#R1I(?z5Vg#cZMEr*~}?TNR5U=RaJTcJ0c$SYVm0{rOIcPoC!>kyrffp@^4q$DbLR zrPz=oay7Ot;2HVNu3fs0jdv3DOf~S|h;@rp|*)VNJjNCD{yfWk^mY8X7dn+Rl-l?bta zSUKN3m@$0Zup*nH-q+pL>)E>uzkJ_yLEwDjwd)$s(3c0VveQkUln~uFo%QA3y*TBA zTZLfxz_Zmx|Jo%+#WCuD<_pW+j4AP!3#aaEf%T`Cdt_eqc5l6+nY7x?xq?ri9y? z%hr#liAF2#S+d+sezei7ZFb*&sD7nr=4pE*VT)Gg_Q>a1z1HF|D&veiNp@?e+2Lop zhO*(CFA0wyyG4}k#2a6(oFx+LVyCbCxMYb^HbNiGs`H5FWrmM5{$koJEm8SQvM20D zz(ROc1k23_mcHz}RXUb~&1u)!d~tTsLc<=Vvms`L$ur7pJ$KFDqH5dBEmig2_;b{f z>UAb4U_7_&Zxd<>cyIRHNhi{h^x{!1z`(XX5A(M?BoPs|9?}0o&*T+0Be=}SZt-*ee}qAh6~W0PMK~fm%&B zCm?2i7*{=75cWNoe59nJJ#a3-#|3B)Tg4w2Q4Y_$02_0MC4f60-;bjKw@HjpX4uO( z5D_Q@h+Y0XJqD0}B>(@MOEdDf_w@zB31Ag_Pc(4V=G!Hg08dYc!;38-J|kB*Gzj?p z#*+}p1m%wgng)rAK;cjX5+?S8O<|Y_49Jc$18KPhq7DNcV0nK>S0L#f5X=wq@CAY$ zXp}uD@Oupi5vT|t+%Lrk`=gvmAt0CpDK-H0?E_pMLI5#lXV4EC3`iZm0(pO@K>;`i z92CKRe$pTiAQJrt4Fdg3S?rmr-^+@MLV$Au|DYkTXNdku69f9dKWMG# zbd$R9e8fc}{eiG=*KEMQ4&Q17?;0Gjv_8phuqI3VK> z#Ed{-L$^?%_W=QI10NsYQ04bici1afz|o|`&@xzE31le^S5SZ}L6nuCiegGCNF{NI tyu7G9Ttx|x2o4jMP>=!r=PcG(UxLQi`(qCKE>skI9)pKRSyzSh{{S4ViEjV^ -- 2.25.1