From 78daaab06fdaf8aeb0de857500fcdc80f936c88a Mon Sep 17 00:00:00 2001 From: stefan schippers Date: Wed, 14 Feb 2024 10:59:40 +0100 Subject: [PATCH] added documentation about `Instance based SPICE model` and `Subcircuits with SPICE models given as parameters` in tutorial_instance_based_implementation.html --- .../instance_based_implementation_05.png | Bin 0 -> 31698 bytes .../instance_based_implementation_06.png | Bin 0 -> 53838 bytes .../instance_based_implementation_07.png | Bin 0 -> 31730 bytes ...utorial_instance_based_implementation.html | 103 ++++++++++++++++++ 4 files changed, 103 insertions(+) create mode 100644 doc/xschem_man/instance_based_implementation_05.png create mode 100644 doc/xschem_man/instance_based_implementation_06.png create mode 100644 doc/xschem_man/instance_based_implementation_07.png diff --git a/doc/xschem_man/instance_based_implementation_05.png b/doc/xschem_man/instance_based_implementation_05.png new file mode 100644 index 0000000000000000000000000000000000000000..62a9d6f7fd81146f11268ef13f130d08c2b07aa7 GIT binary patch literal 31698 zcmcG$by$_%w>G*E0R<6}Zbd>`k&q5Sx}-rsx}+NfR0KgvTIufYMp3$vkd~HC>G;O- z-M@YI@0`8Q^?ld5&idnhaj|%w`OG=y825dTd#(UQc?oPxQcMH_fh{E|_6&hQeS<)t z_+GmL?{v57r^ElQnu^GYAP^;?SZDfZ@NWS}aScah8xuzteS2eshT0uxV|xd48|yod zSRX#nXR&ayGO&4S?#d)?ZFa}T0c~NW~9GKj)A@EUxe^BE(G$=USfdauT;oxECa;aJ_X#0)cTTI8=8c?=P2r$wPc zxK!TM7l&-#RrzKliMLogamD*S2v)49w65LAI+34>c62D*y76mf<}x^u;CyZq%fZs& zFnZJH9>%hsII?{tzYYP)+xh5i@6p9v)+s`+)k zE_)VRs#(Sf0(%GXWA;mnQ!z|Jnq%oU5xX}R1G#%cg)UsXqFLnS?A?Ggpdl1UI z^V9Cx(vy!?Z; z$@-v-%W_XV&OZe=U?+eI=j3NmR??d{B0H_eOFd*^k}CC10Wc=Xil99<_qdCL{?aFU z2`9N)Qx=G~O_(9U9~!Dp4X|fO4N9u5>uS{w)VM;pLJ~thJZbVe;PpPu=hnoCp(H<> zc#)(?g*f2cpxs!j%$u;6l|iI9Ji#gAJ^MYE7BouY&33`(Xl=GR@f?dRa7)`;$g!*6 zK*9GmEOuDPM`a(nY5DHn?!@^=67I8I9&BWX=IbNfR;}+J@%sp@RTfMn%b?;p;Gw1D zjpW2OdCnDlkFVmf?pb{PY`HxUdN1@kwfA*z9QW3!o;LyI^3oDI1_oAWLqh|%&Ghqh zMKO4#i@I@Um*kY(=iajI$fZ)_VL`a}nL$ z-5+p+kx!&TTZCSqk!ElfaJ10YLAOK~?Hv8)8)}upr1gszig{86L*Iw6_}Gq|4!e3f z8ZP>r`kWKh2nq@*>lq0Hn1*vBy{DdZ-4v+Z&%PYLIP9J3nrVzzt%)|&wkD|)XTHrh z?Becq>SirpXv(MH6jbmmLpq94^)@9LG4W8gQrgpC($(L{VfcTbDMGh87hl6h<$ASo z;lz_?KYM*PiRGd@H(Yh7I~&F}5>=oRSEHp~*(=*qZ+F!CbqmKN!z3m#pJ&7a=joBVyXVmn!zn#vo>y%n zlyL+0=m>7^Do8zyW-IgacmxC)FDM;$y;pjQ~Ic_-KE5cc6J(atGk9<#(0iD}=vfue8 z@`GX-GG=DkmCAQuK&gk@u8PQ!4RVYmBY&4}o-guuPyNvF`5WMw|I=-PIq&~Xcchm8 zT%i2+a57^PTA1$S4@tJC1*cN>L%d|lhp4&tGB+_)BxI*>vO_-AQYlhAbP`JDHCXi$ zcKSYa{@UV0PGD!}W8^*eF%Dbskelj%`=0-w2mSy51(=kuNl8g_bNPqx6)E-&hH8^& zBnry@eGXRrb52o)asPd?GC$R3=Lba~SI^s4kN@B1`u}*?JsK0&Z{dbH|88dCPfblN zPq>0>jsXjoS}IdVo6L&;RV zZusXH$Q6z<_c+`P4h_{SF=%;r9gkl?;K$&g^ZL&c=M61O%Qd_CR!*Dg`sX$F^z!ka zguK1%?d>1VHM#DHF7n_hF?@kA&(6<#meGkLbY{E#>uZ`sC^|a&O)5eDd-v`=etdMi zw+wqIPc=_1OFrSd!A^{x7ejefSy@?mxyr5WKWn253=E_l3I6*8e`owh#&|B369TPoF+r#lV;t8>6MAMIq*Me);|;1^(6NW$;IwmK+~> za97xn8^?HRzAe=E3cj$sd~Zu2kP5Ob*&8Kg`kXKO}2%;2-ZS%RUbRD@{Q&VSmlEqZ)kvlot?1LkJ zc0`179G4YhC{G{4SIFGuk+`@k zP5u3f6#xCc{a4Jcp+uP%{h{IfpEvdg$+b9%0(xOFEu-v>tH^Ye-L3zxoaGSi@88L~ ziA_)ajL2FanFSoN|CI&oAnL<<8I<{K{}r+*$hgu`dCFMEu4;uB#<3arH?96(DbRCA zOw7Hnr>Ez~j~|_#t2^^;u#g_72L=0iUS3|5l$1F+IS(H`WYcR@VbApOc>=3BQlzJ6 zc6N3H8~b#B#n8m05~2_ZEktmYR*)%GvPteUdxpbuugm77l(h8j_BMnyF}qPaa>doN z6q2SZttK9s_No+U{n_giqT;b%h+6Y=1M$Wb!ltgFp^+r$nV+9OQlOpn z7WX#p%00?$c`W* zvMS_4O`ji`ZcbEf!5w^^MZ}EBkr6@>6&`Ls_x<|pP5>T#X=&*zPfwKejErD%p529x z2=)y*Sy@76jgOI$__(-tnM;a`C1qqHIBrqGGZ2kCy?BxQ;Ck-k#vmBi*u=!;{tt!D zpb-Dg$A5<{ZQ|k#2?@{yVqsxHa*K-SQ*11&Zv9Vq8~_%dKYwm+-rsj*Vq%gao3(rT z)Njs$KBnsczAdnGK*a?G5pr!<>sQI&44Meg4yJl390y;yE{9jA4?_!AVNIX z(ZSk)hoeKL@|F7z4tolM$6~JJq@)%`Ml|I9<}Y6|dluGKRQ!Pzmz9%~2qM0#e20?P zFV$W+F0P z&NNbdQP=Zy`t=2+WeQhm?7JIsz5c+mK#+4;jpGXo3x5IDaX+5M$k@07Amdn>>DG7! z)|W^IWr(Z3cplhmFI8JODK;$PaIWLhQeuOBDHmpUWMrh-9uF@fRPe;C`_sd44*c(zzkG1uF*sefe*wa3F=WW*qh>5a zX4I8z0IFYoFfh>2#>U31#>=IiEgPGd6l#_&wFZ+l|A3k!opcs**(-3nJAuz-rqR=B zZA8FrcVYJ1d)h;(PRKn!vJ`+hS-pG-2_`8zdL&ns2?03>rXhw+FIr6TmeAe1`cOr# zU%!4F(F8>g3d(nblDSPtkL>-<3^D*o5-m~-6wc=xJvVki4sRzEIsC(;ZtAs z$hOeiVbjPmklv;da62r~0Qut~^2fjLsz?{#rll5WMizS&eOj&C?8|p^w##XzxdJ57 zk#+l-WbJLVK&1>RM)8yrqghF@mNv_nTS^SdK|Q2w3o10CD4mv%aB~Qjp$JL~Z6>QH z9(A$toJ)x@ei1qk$c|)~H3@b|#kAdw@K^DR)1qcHR&h#`x27~MM$it@APWm)V6_YE z!G@#vg1Axaj5GOm^7!#rX$K!8w@Q>#{YSjMC)Cu#^HhgoDxKLLWojdt;ykF*Viro7 zmFZ$Cgk~mXYEK!J2$RLen~`;i217v$2!2@UwhKRQ6hrJxe$)t$lKk7-=D5f~X5Wg( zqormneRf>MhZ|))K9wI8`_He5kiXu4wuAXKyw4zdTT~t`qi01mwbTy~_(~jC!j2~K z?WDQ26kqO$_KvS{D(Q`_32W86Y;*EYXc*Je#;NAg)NKE}lN0wBcm3?&wTxRv#D<5p zF3$Y)DerB{*)u!xvB34J7UHB`71hhA^fl^@WE^a4mh6nTF+(D%L|1ic@y}21@sMy@ z5>CsC(ukVS4G!AQqaSRwtq!+$Fr=r+Cp<8_wK^hxyn8EfXO*Bgu_aZ!+O_11E~4Hu zaJkR!7a~(ZLTkKk(b@U;0P4p0*I@!Kt_KfAv`ATXnz?6w?VB676~1_l_-IQY*0}|W;K2M4H=eL~`)pIpPE}dIaCSDK|x9e5q;ze7BHO;Mvb)TR( zM`3O)9zM$6dBcctL8V`&78D$JQu)4fJ(nXop-8KU|Mby~csFi(i6aIgaB-en91?*X35rR8t- zmq)yKfxu!?aTK0HzqaDH%K6X@R}i!Ldt-ZtmrWG!v_=go7eUzPHwn0pk8u(OuYS*7 zzt*&LlupFE|NS%Z`V?Ij5h5x#*-mDk#Fv!n#h99-Rk$}-`Tj;I>wY?|aVAe%YU&4G zvRu6_BYAnwzq{tDUW{N`xHyfOX}?GR+eHjeTU&X5$mrRZ@WFZ zpy1iHKuUoZ<^eY;iX9nRgP8^pC>okyyRe@4eHkOEu(-=hDk9PnAeG+s7)M%V9N(N$ z#rn~cCpTh0aclFeOdRT#R<{;4kV~LG)KRpEcfa!c8ajRxXPL3tezz-ahv1xaQ)b1MROxUinKn*HFh2}rridx-J+w%V9auRot z&yrJ=n`r>G;?Bixm(K*25Lw5UDX;s9Xoq)M$riSS#GjW#D@bK`)^MeVm^OLDY z&(m)>Lh(Z07v<(Z5P&0}4lV&yCSrY_O^r{q_2Y{vi^E-dS|9uz3D3PSuENV_sYOlG)a zFqDUZn0ck_DofkMZ`d|BABys8t4Wnm+3jCqM6AIob;1c=yuV8FLYt4Y>^bFfc=1Nl zRJ@f?51;>!kw&o&jfoeFTM*}u*c5-TTuL+YQ#u~3k4;os0j)fp4;9LkUg}TR(9!}Z zYV*54rN8w+ksT*jxy^@A`q*=aR)|t%Zgsf+i4Yo-+5)X&R!FIN*G7hkT)k@;QLg9d zp)NaTOP;#xABg1k9$$^1pd0vG8k!w$JEC9Ii#~>jyF9S8W(^^K^HAYU=BuNOJE`o< z8=MG@i6sF7IuVrgMpiBII_Xb;o=h8_GG4FBr(W)!h6-|KRVcdi;HWEMN0C%y$ie1l`HM-U;eE5>LH>!?*KYh@%tQ&`Z_|&Q%{iK6+zhtNd1kQhb_0iYY7rH!i$TYf%jd)>U zaWdsH1Bf@2lv8?%wqnrsPfo7Ov$gJS!~#Y2_4+zV<>TE_qLHPFKC!DFw&o@}Ef)vXD06;n{%|uRG8A*I zjMr&(e`DhCXlMSLA2y%;f~0|gZqvUZ@edEaWtx20n$GF25DK*O|CHEU)~Q-T{o2K2 zkm|xk)$im_iH#oa+`^KvPvFU1|246rCQ$=6J0k;?K!fhrf;L8SczA zD>!v3Ft?7CZ6zl1`c_yzG`SJY_P&bS@5a|YAtD~SFv@u#`5D2Op%?_LXuN-#bbeMI zJU+d>9DZwDqNO7{a^ac`pn0K-BSRnnetv%c5Uq-ol)DHJS%S&93-y|&chB?Iv&}uS z&pNg+V^>xxwS3!rFeMapYr+r9_n1*s)_C9WOeKH+T%FsZ3Tp;HZg-Ni7XR zmP9p9^MK9}gzc*BbhtX(Ef-S3-~nSqs`v1I&VV?#+pbZG200}q>+OI{g``H~u4oig zbR@m(jATemOf>C{2l5uu&(6SLK3(s|s32T~b27vL`6;2c(Zyyud~I~EH}Z1*(K}xe znn5vAg^RimPyVdt-iS-UzIRWhAh+|A3T81nZ7O?5CUqt=`fH4x$EAl;yMJai8Y!H} zlDEvn@;^3NN39m;_^;W;wkxLqS%3QUDQ25H9UYx~{NsVPwzi?6{oey=z>p)XKdS{% z<*>lSq4lalFQ59i&yUJzXj&4z50^t<6a*cV(eJ2(y*1DeSVTxONiNY@r$*-Vy@QO z8&5XGalb1u3?z@1<_6dr=9Q~K66h6nIXJlDx;ukrl3o;Rq>pymX}i~1=c3enubcQy zpsBGsPSS_{=G+>G(>d*Un?yHcCXV&^$`?XLWX*Gd*K*>U(=Dx|*7s)!ckw zylo(%*}xSZ9!V(?H9}cAeM_t-PY~_BthT)sii4;e4_*gjzqHybyy3J#8qLOLqQO`I z%q+}{y-K(%WLHnC?r3WMOkGY|;oDf+&r808%a9vxqxHA}#g4o;&jK!z(vB)xrxjA-~7n>(KR zJ+;k8A>;EGb4|Rn+!`m!rb$wrUo*8sI+0&;!mN_^)ND{p$)_i7XZ`cbvMQUMU0O=P z?>WlikH^}F@KI2*HSua{s$U&9fUcOmC~Nf*43M0v2ARPh;g(T=*`+9-c{}U|QshXVp4yCm zHmuB~zNAy3@}?y)(BT3hg48Ow_dX9Wg!g;4Mb9xp`DE9~l^yzZpb9f%nE0PICcQ|Y(U5>ox$ znodY$-73wIE-ozvA{_nx{riFfD{1LYP;q5$1|Gv#1s$<&?+?*@_y51;eoR8lSkNTvPTE zMfS{9zo*q6X&-Tv%;;_fhJ6m<&T&nAz0Z*meoJGbIfaoqf18dVbd#D%S&0o{Um6x0 zgyHfrLg$?><_9{U9(1~Nb1UEG#O`^jrTYkG9JYA4x`Ny;`{@C4z?>FCu4hL(sp5gG z&#PaUnN@>C4q_a9;F_hTw)WOclQ(ErAZBWpnFJSacSbRRE+G@c3Vp2)v3^g*+@T%w zz#TodQbdJjDTJk7(~B+f?g75@xgQ<|R{imZHz-=pVuyFPcYOj@>K0vW=886cHWKC( z5&WUPJv(!$Kg=CYrd`#Trh@C7td_&_M0M{b^UO^LtZw3vh6#Le+}IAFcH1}QDO!8w zs@-zFIQ4W7INcgQ6yCtu+l;+&hn_5^_wI@M`WU8CVXAH^yWM?ErsX>&{)fF0WZ1%U z$}e?%+NnOqDVM)af3ITSsRR^&PA)d`(!!@8qYze5ET`r z;WSfJ?1v_qd?G(XLux~V=jp))6~F7p`-hZ~Vk%1|=q#xcE_N&A2x8LIS7<6uPlIu8 z;eSY0JUbPFboNf7G*4sV*97*q%}oT!ia%d)`tp5K^sMph#gMQc{g#hwkD9pY8CP1` ziB%I6s{~)6Ztqdb{tmvR=B=^F~C)V1w5PNz2Hy3e}&6jX<`%EsK zHR>~U6_7yFm#Zn?M;gI>d}<+1{=_AFy4=8tnvvmoR9&4C%_mx$ri69FOedZ}R*D0` zMKG&HbW`=A3Ed?BLo3O!w6Mhc`^kOOU~W(q6}|FWE{+SEggxDPV|=twXQIqh0hB@= z9UYsgTC`+%_|wC!zK)L5ZziolBow@kw+^~MTIA>ER#(D+ij16&y~~IM){2TYQ+?vc zl-Po;p?nXES;F-iJ%-E4)h=#^p0sy=+130>@}^32OSfPt$jfjbL#VrZCQroJJ?H$c z+ROJ(IAwL-h6pxylVpi&L{zi-QeqK0ZDKXzVp!=kB()+W=U}DJY;j{q5T~+PpImVIc$xL9Nr! z_}T1>1;Tx9^DF=Cq5JF2dMerKY}neQ2h!#8nrM zt>KzHrN%3Xf?}5=_9jJai7mesN?w}W)j2D}Qfj&)EL`VOw;RYpPu69+=y`pOi`krG zkhXba3K+bKSBXN{zMk6aS?`#@$vPLCI_C{&Fgy_z-Gq(&XH``y?)&%e+Ev!jG<&tv zLZqv!3yZF51(}q$7+p2&r}EK;1j1~Ff`DR|P)jpy;uhj(J*iz5*7L)e%MKnMsn%gE zfUA7cY^+kSVMpq`Yo&OJ;?gIK?$K%B*WYrc)}no%75MeuTu(ui=c)-(O7_r(=9y`fyx(@xi& z8;C1U5O-$7Fhgddp3{r$7}bQ=lYPykMr``Cp_O~Yq=9~`oFxx1w6~)J$zhwDmwMtL z-cO4McDv=qOaPmCOOJ+ zwru1Tw6X8wDbqS6(aPEb?Y6eIE-5Jqk7IOmcRx8k?tvHuNf+8Qwa`p~R?ahJ<%&<~ zg6RME{x^+DKLk+obA>^)w5nA{3tmmk0Z^rAQP+DeFJ$?v><^4I-c zGu{S^FA)zoL^(|ze+PWDMikp%G)4>5HvLrZjMP=)?$Zt@(Grm&ywpl*qhxTh$`p-@ zDti6R1?5HSwe=}Xga>O%={;)iFM})6wDc>+9USCisAn#^uP*y$$8I5(g1;r-rMY&J!ukTH3Ls5w_7H1Ns?WJl<^Kc98VNsewqx|#G0qyzo zlGV5?Y^E{*GraOeRHYwV($Mm3)&I&0jyg;)N2M^rftc z(&HSG1|vHZ>8(jW2eKOd3Owz4scT)Zqyi8hBYcKNtDVp=E|?c?>SBtCclJ(= z?0xGLdSJ`1OMiFwy@6lGpbXnhf9ll1H=Nn4k&n9SNNX0@|KQA{e5oOn?IN&}UO$@g zB_~D*OLVdo3`V&mt0mN9goj>;@W)%uqlQwy*P_yGe}h8nxWi1XZty#X_(2F~HY<~7 zMe^>wIbDxb_P20d4hs}RJcR%GmY(;iXLzkQQQg(Npk-+|udk6xLhjcQJayeCK+Leo?4Jp0s)(!YJje?rHkrT(=_ z)br&<-OmU$cj%H{`9i9~$(;XS%hYuU<8_q7I}h_EO?GUaG26Z7$>FVD)o`^jTqfuG zy8H%vM>9-C8OKEm$fb)DFZ6x6b2O@srglfAj@<4d94X!jrY#g{_fg4sDLZ%_6B94! ztgkrTP81k$+ycCEIlDjM-Kh@1V3C<?yiy07SC-WZO%wdTRc6P^5X%Z3= zpnu$#Bt%6)aeh#c%4DyhsR?_#Z*ub0(e^C6%RIAxUEOK1{x>?=PmnJAp|_);(6_tT zCFH(uw%nTljw+RU>xZ@XQlEu#{`Lmw)fHkNot1H?e{o8=MqTcTEej!&$-Hb(d`zl$ z%a8Y;su2}J-`k6f_2fK*Ik9%wORC+J1A-IZ3_Mz34jl_*JE`}Gz08$D*gM=RBbrf& z(Ua>X@maGYW+wrnYmGXlPBq<8H(Gzv-lIv=96kKASgb)O0)04N^AR=m9F$9m5OT;< zBo7VV6%}nkCk;QJ9U5mKYZ4I=p`scW-JXIbHna^9(3`Y#aS?J@l7)UE^p(L<(H2DF zaN_v2>K?0_i7*ZeL`TZ^ED-V zPH#PcBOA)6Tr9^}y_*AMWh*NyLqkItx`Vy_Zq>_yRB>nL1F(O-V`zn*ErW6q)p!Yp{U(zM`TJVG%S8|7iGJVOq{E)fD+|5YOl5&^9!IMbPoHF!!a}$L<^CA6iq) z{v4!^n5AQbFTi@bz9ubgo~`MOnlKRjEoP>sRYo1R5#Z{8mhKo_8(P)~e(#IP?(Tf3 zAqq)?Xusy>cK26)yv0;hS04py#!cb}$@<^?2D?Dg*<4*^bh9utRBrO}?Dzr92@ujB z(5MhJX!j9elKV$HhB94OE`!)~VeJUF<7uGVYHV(P{AX0}a?AUY&u;Gfc!i~pkB{$S zYilbuDMvOK^|l>h616K|B8LOL*lMRWH5{B!q)WhB7&Ij`EW&s1-^*-n7p4=kXvOon zunGw1n79R#a>D(cw||KYJ4=We|MhB6{Mlbo?ns}9e(6gqD>*qi6dHPZZi^wa!_E4< zo6rbt1e9B4J;e+AMpibctjs}C@#ExcJ+I?Mn5=`X8NDIdE2yXdaGA^cf!cxP0g&H^ zkZ7SEy>;l6GXH9Hr4|4t;vUMJ-ZN(SiCg~O*hf0aEd`>$7DP~Ru&-}T%@(WW1B36- zNMZc5@7yT5 zL=t$N3=F3EmInt0cG{@C&kkq2m%GEfuPT+)-9u*m`(cT$5q{sBoy{8M2PGNPwc`^K zs07?;YL*7hPY+QZKYrXkl&q<#37UO4|DXN+d@v@-%63D?9+94z85g z;>9m$*hhp zjP3952LcTISuz?lcdnN|;f-6bOG@lOnWbHB!Gcf|;OB=)GzSQ)X=ZFZT&({DR{Bgw zC10ZiwhlW{a1m^jsamJ5C?-=w!ym~asEE6F?+*U>j1WBf<>R-tx4ZjH)n(EEPif^V z3n}gj#nhNBHu>XXOZ6TdYc&^id9l@2WK&lq8JmpDj1P^PF#)MetWft}ga3km>>n%B zRs>YU|LUm&(F0!Q|7MyLnv!7ar5X%WTJs7gujp+BSLDCkRsVy15;_*CrR?&^e*O7Z zWRn2)uOGER$ zxq0sFc+dU`ctaBT-AX~VfSm^>J!nXQynP)LbG+Iv&DU2PvKj~%P>lxCB*5%xyrX}K@Fn5&o~8cHbu zlkW-{l$6r~(t-F1dkt8#%FD{Sn%Hz>0Ul&!nS#O7*}3vo|L`!(Tmg&+cHa>cM=maXJUlS(rhuVhZvFv< z{o?!-%UnZS8|z$4OKVB5YjUz4$|x8uW##2zmXUXZdM$Io3Xh;kS7od6K!`CP77AW> z^0m{i;KS1pwX-}4)Oqc^IjQM>c?y;^XeFFOftww_1%9w5$CdEzhiSfk?3|oXXwJcl z=ewAhnW?0NG-UzN^xFR&_CVha?gZJ*&BLRuwG|vTn`344EG#UXoPVGn1FpAr_P^y*c;?(F|Sz+_@%1T_77TiX_xMa?u*MA5<|!IedO zomL$J<)Q+{0a1UOh{)8)Xkl@27;4(~_I8!c3?t8d7zRPO>|1H)PNo2l9Z7XbqU3Pe z7Jozd!-Gb6B();lsnO9<*i=(f4KT6xql{1Wfd4x(>iN-%!BO(9l|1T67xRD*!iuofCE&)NL#*EC*ZL`yALcmc!ufciEaIU{bsKF(Tp~ zVW5M9Ltq%VrorPe9 zOGa4R!u*06R$2MS+f914j}T!tW2G6eKcP-^baV_148VLB!cKnrv=t`*JvJHoFPKQk zR-kC$+8-@MC=3n`8W*q*SPHK0;D=-@bvnMMsY4e>9);0C5#ZOW>e(~Qo zPni7N8{X#!9{(u0mQTAXGrqqGUSLaWsVUlZq=M@_8y}3p=>~v57eibj#TRdH+fwKu zvoEYH^*JFpCwX+0xgp(;njqhymYavGN&s@I_*-XkbVNo4n3b?|ce^N8TAU)mIp7|a zzGO93s|x-`+!f4Tw2zh7#Ki+F6r+e}-IW%9w`BjJmMZwg72|*HH8?T5TSx;qp5A9f zI#vH`$pr6v`V11*kdWkHiEtz*^JCl~E(QqMvz(@Na>0=8vro@-uAw)b$1YCf<=5EQ z2ryf*UzjMICLH;IT+q68`TMf5*@7et*ha?gG*Q4K*MbZ=kswLt(L_3X*o>Fwz%Zmm z8J^T_Y47|t>}BUTW9a%=|AzJ$C3m|m&&`*vXbQ()k_v2e8(5f_Cy*z-PB*xPgqp77 z(LJwsRYFb3Oiza&9^SbljOv+FcL93JQX6k>}M>ad-lyfcsEaSDvUZCgxisBO}>3uAaWW zzP2{g@BX*|_3@%z)<&$rbq<#1!-IpHH*ban2RFFwnZSNTav^N8XmAT~boKP;lp0A1 z3%?ExRe;@5^t^_;>JW0!`*-hL-P}0M2aTHFT@QDPVbLZeCjPy+NI*{h>UaNLG`G(6 z3~U@6Dh@M6pibHq7Ju!ZU0Bl3tksTZxJ3*MQj?NqAX&2V2L}b69nFUVLd*ysAc#x} zPkQUv%bS>G!0w@>{OlP>-t!w9EPD)WI<<~Ji}k@WqE}{ujd?_|XhT9mGFEA&Ew#PA zz7EHGHfEaimaw}oQB^KZ?;W51s6&|;)k8<%)j9!K=e6zyZE^m9vWx<+;6CR-_4 zSgigmFHz8kD9g&s^tw1+4nKg(zP-0M(dg*`>4^@i5pa=*hOIBh%U2+PL~{|* zEZWY1q-kZM#Uv!St;RW+nb%<^*c<5S=@p=#1QUaSLwU9sqjz?G?u!oPZVI3T^uu6x zo(`+)!Avo ze+X2p-gO6zIsmR!*?G}y(%Ao58q=_R?W*3H8E*&{a7|IbBrGV0`1}8csf6YoY|htL zyd;jb0nzWkh3xF?nq|O(PaP(?DRtrnud0A9ky=>DU z=E+ifhO8QzRUpJW5f#-XY%st>uQtXj;0Z9Frrg1xE`TjvI|qvcbkz+E$Vo|5uaPL_ z&Ydriq(?_xV4eoO=eo>B@-+c1fZZ87iAf0wp64e{2sjY7ySvM176s@SxE7paVZ0U| z8+!sYPc}(#s;_SgJW9{Y&6J)$k6-W}1m8J0uo6j#S z48g^ua_upg?%lsH`6<^N%1u+#B`h|kmabyBeOdTvqm(1eB5?9VcH>S6D2Vq7z!Et| zj+oO=jRk$rc-CGfiZ5<$%~aXwnVK$x8`;CnO-gVPJ_iR7YLtbB@}T|v@pUQ-Gp>cz?4BDA%p>9P@4fV0t+K~4H3wqTYm&| z(L8+xpx4w`Tn|+i zk`mPQKL-csidpg$`ff-Aesx`)Od=f|%mLEk1rQ6UaQZ2MiDSA)kxpG@Q>QP1&6|Vs>5OXD|06+)!yF z$F6qBr6uR%KY-W6hq#nvq@H?%eAGscT$#t6m2QVp-YT@&- z$;mUopKuHfy4=n{rx!Ai`2)x~ROv^L9!2o*X^(?-@}I+U<7aIDapVBAx0@i6P4D7| z0+3>tO(-jH(g>2~^2UY^Kxo?cFRZKp*K9#PhV!pSM@RLqj(34@Lf)(bp1pYvrd)c3 z#Ft<$EhyN47!;=tgV_b*3aw{g@GQ3j`1$#vcbOCy$3&i*90ccb#KpwQ%?1o0>#G+& z*92T30tKC&o15DkYI+s$t?6nz!>@1A5McS#hS=5r<_D01j)ukvFaYRQv{X7GB+>_d zOwmHf%|+ZB&r=3<=*yQcz-OOteYBwXmlpu)PTf{x*UZzeTatyWQ25t>D$(4QYJ7A& zBm9{vd3Pr1Y>hDT=>=OZ2>0Qr467fF?;nvz$x;em_ij37_(|vlAcUVE9(fUbaBz^Z zxzV-9n=IhNd(QhS)G{(%TaBmIAQJB__W`8Y{do5Ya>%n8#l^)?u;2)YriRA-$8`rF zeGKA>BO!e(hxxO9FAj6S0Ow0_HcvyyKSL&iN)LuMLUVlOOxco(it~%ptt0^t6M&h^ z%j!ALGJG&_qz|o)jh!H6!lum1%BribX4a`Khuw~74W+U%GU5Q$0GI|J506~@W2Iv+ zI3VN*z7GKR6B85O0QBG_KC(o!12yzkgKlHA+YFF;TWBdGps>w=t^&JTA26Pk)p-y1 zOb`WMB^;AsBuSXO5%r46NYFB&r;HfXHb+q9;IZYGl%q3$xzMN=XjQ-pGcz;4n|(4J zD!zn~eRfEHS&QixeHoa$ApC)M;SBQx<`fFiOwn^F$&D8$Yp`5sSFis3`SYExFF+OP zo%{ZdA4F#5_T!6Pq$V^KDdBW8B;IQ=Ed#H%pxeDM-Ei8U@&rn?=8%Jvs`yj`;LeQ* z1wml1q2XOoSyP7vuKN#7A>717L`0w@Zw%!`6pQWIyy$4kPN(_ju(Smq79$?`_gv>& zu@UTgJiR{8KF@D$QQ_mOaCxv@_w0U7{D16+t;ULcbcTm42F*%=QI zDrRh2MwIH&Xka{*kk@3XvCL;*Sd)S6oAGcuFYePPIMSnj!Yggzj_PF8PO3c8Dw9qF zZl;V*D5D?Bw z8V>S8Qp)WK&fc#9FBEhlK(<1P4A21a_rF%6!R+R=&>jX`EsP&hg1HYmc5jkUQO6Bf z(lfxg5SRc^KwPv2Q3}e#fYFuMyL)PDX#l@#>yR%%Mir3203cpooEB9^gg*&4g(wz; z3JHOok&yvsoTFwrSEbb9bS*C*p9eeww2J`fcR*p9sds}OQ`$y7{%1%AC8KbBGZD~6 zV4w^z3E%_(>GpnoMTK*C1ep>lv6HnU#Sp+e}6U-x^BLPbX zXao4D!L%nfW1(f3Q>tB=<~F2!8^FD=q;O^~(mWy}!tiCjHvt7w0YM5ot*!F091H-J zhleX5OTeLKdq>BhprDr%l?CaV&d$z&-$19pNrt@(k`1MhSAA8Li>>g zaDo;U90y(PPx%Iq^WouBYKn*8I6{_K==xqS zh>#7xZB2}gZ862Fqs9Md1Hi@$V9{ng52rx6Bx2UMv+n&Pr%J1R&j&~F8YU*@ z&706%i!H8)xrE81;CiV6D*b4_rq30@w@sH9+V;lfV7~t`H6=hthdjl*`{xgVGyeKa zlMo2opcVjV!lRSDMQZs=4oDX7SJ;;TPe7#y@H*H99hxIRzSY%_XU(B=CrM*5km|eb z2w)8kIRd^ZQqJmy-$Tp`fZh)a2om-SkQl=6fB?I9csNsGsSenoEtm|tR`(EK;N%0E z3yA@EN<45d$lWoo@PQm$p6&HP(3dmkW{#vIwzExcI@!4V0hb<5$`{IzB(pM;_va4X=>EOWW|~1JL7{rc1~H z5EIA%2h@$wsC8U{$j+2csD+(e)OaH8Ujz36O@>Xgl!lkL7P1nAGbr673&aFWW@%de zKbQX-Vm#hOfk3}W{wXZXZg)ZI_p0_etON98+&w%%Fc1^lUmae9hy{CstV;(8V)@FJgcuA_(SauQ3T2%U_P!Lv<7_12|e~Gc!Fjq~Z$nuQ7b{?c0JA`zV1N`3QAOo-Gz$hoNdUYhXMdYB!eE!-eozQOIuI#6Vk4ViV9reB6{@zia?3R^E@?{nj(R+)0<3OgSQxTL2~ZNUMQcY#4n!kJ50Fox zI6SYm1&t%AtZdI8_Z}373+T$5S-kR9ELMu*I{>{f@^Itw^2^MlAB7EfxwZV6 z8N{)w#LLY^N+ZdttaA#_sk`VcGgxuQnkoq=*=qdzD`s}>2t*Iov<9&Q;;654K57!` zU3T!=ONcehG>+YUb>`&WcUs@Kb}qP;slMgVE32k90@)PKwRiXQq@|^;t*&ZSVb#{w z^78T`J3dt@f+dpOb%6SZEDtu~4@``WnOi``2#X z%&Y_r#lqY?Cp~@tt7>>2%ve_ubz#}Rq%yTwXxgY!Jyl)F)||i zoo@Vz6&0MSW-ng!L+c8@VuH^3Yj=0h_=^$^cXxLf5A{0$P0x6sH3J<%x<6}jcJ}s+ z%*-Iiy#y%@sE`v(!M+Vu;|4VQ>Ri}#?$XfE+`E@nSy`Ey3LqN~0?zZi7n)X| zZ;9#!u20tN!9I!mDe`)R`fME+6?zveECrAS{GThCJ3;RRgpSIJiVZ+XfS06YWL9E+ zW8GmUl+o6%tFN!m&d#o^jMfcF#U~>2KG_F_t7_DHs>b1cZSFlB;%ODKbw1T3ucp%S za-%YBp}Q%WpX;&zK*)x`7lc5QH9Y*8j!uK?j=@O=Xu|yyH?qF8wq_R?QS~h$g3M{Y`oNSZ4v=FZk$Bos6YbV@#s>t<1b@lTP zZI#`>|M$~y-6qwhB}QiP2i+w{NO;`He)a0Kcmo;cL<4WdECsP;OqR&Y%Ui`kI;MQ< z#EF64*_-O)zP@?$hI3D6R2dvTaUC5n%Wkh?TF@+c+xjiF_YM#6^dlSTh)?DtfBLFF zWnJ|&@9Ya@;jcE|$o+Ncb3jngvZYIzgEP1E(3x~O?pqOl6(A$o>0;;M829EYx;Pss zOD3qO(BwciMX0=u@CinZmOWKqb15QXbLp)WR#xs5$lTPpn3#X=`}^hgP0h_QWnKCo zp6zyh{El^dMy?z;etbj<{4x~WR49o4hqqG>#nw|PvU3OR8hG_+s>N3pe)69$=!|#o zSM~JGsr>HTZ{`c`=Hb3W65yQy2U1c}i&OSFYK4;Uzfj|nv6=BPVW6gm1)=eJVj?$8 z!tynSNI_C`~tB=Y%?^P!-VsyjoQM<%7D7#kW6T(SRZbhOHtF#r=I=0^nO zeYDqd@A#>_eF>$)5;HSNm*QB$zHI+0%pV1EySIzCM2(I6MiSqw8Paj7f-IbzoP1TH z%{?+IDmFHjwMcQCS>)-*;=fS)yY;3GRwpwvr?#eza0+_4a2WVj>N(uIpK%MB)5Atq z8#k_w&p}Q-RUn^qTlwet)v;Hupp(k67A2&h{)Yh+jj+5*qeq*@xBdF%J9yImCshJz zIM4^+wVqp`s;Y`^g!QSI?4+Ttj`ARZSx!zaJ}z#AoE-V9GjNZm=ERA@7#2=eul};( zec(_&S5~fDv!Ko z>7~T9RVtfB(h`7y2uMOBGNlF~6_~VO{`{fSc3#QVu+uXjN1}xAvZ22vLjn_#^5IN8 zJUl=gjJM!ZzkTfo2m!8O-a!r{Ia&t@2)d50n2Eq(?>jc{aRZ^ zMMXhjU-nvjN^InF+S?!G^5#3sP|!0bc~jm0#+}kCiP1`W|}$lURg4y zxVEkiHtbSleq-OBU9?qlduV8A zpj^XlhSBz@0EXHP z1u6(PSFa9-HSz8^-_X)>Zt{9Bp+EBSxYfB;jqc=Vd})qp7U&-^Lfg|UY9k39OFHwo zd1rOpXO0<&ra%T6O z9Bo8H*};R^Oz?q~@mE2nsa2rPd3bmG{tUg8P%<$A-1hp}7PiVkTO9FE$htxFv`e!G+_ zo9#tbV)2HwWjI4zdP@t=13SCJhYo$Js>)04Bb<2rBNr|x2IVCuBnToX=PD-XpDRaN zC2*laS2XN6lxfGG1)9LLkSedid3t(cZEfw(pFbI@MMj3wHC(hPs-x)98u8^;afJ^S z2RW>o*1L58D9xRTs^j8=1WB zgbZ?wiK!{%>dn~LO?Ej9J$*VjS68=maapxUR`j-$-9$ueZ`QwF$kbC2dAsGkdf4_Y zkJs+P-!>}r>fuM>@11(smA}s#lqx+y_^E_LvXa98|L*s)qKinl#(MDbPEjlQ&Viai zJD)zkQF!pipbg$xElT?qYJA<}&rgQ?3~HHS_^+22N7#KY$hiM%bn*C-Iq@ZP{P+nU z0@w353bQH~8_qrH_|(RD{+l_0&qwcmH+p|}E-(r1skncaj4Me=I6o^D51N_o+aSEN z$gE9@ExU??PMnxTKZQel#aIl>_xoA8?fq?v?mT=hUE8dVLAfdi}`>q_HzjRjTh-aT3hvnI)MAnCRrwtn51J}-1P7f+#9TvYV8jm_iWDVHdwaXDs5t+aJrx%E}% z*vTX2ZB$;)He9o24WXJ-?c?JEJ#;cGtX-$GQ3si8f~2+G5PXVAeKm5^cGTWCSrI#R zAA!Qp&u^suarAhfZ2vYU9n8S?H6Kl=Mh+s3b4i^0$_OJ(#bZ@Z&OzO)uhn1UVfX#% zB4=l3v!zRIur|8KL`B)aUIRFhz~IBiV3n~toKwkqloH^xva<5>ye$Vs$HW9r-FBAv zaQJWzbjuGM%jD41d6?=xe)+P++IkY>m>4-`;5=xU{_NQoxdV92aL-ma zQst%fJML?Ce!i9##BOP6sgu(55!(QL*rxhU5Z#V*eMhZi`^A8O7ubi7v>sJjmYBqO z{*)i=)ZWwBD6haW*ytKF{kAbrjTlE&N7C5gS7jfJm#%{vEF3Uk1t5c%R9R8MdJnxmOG7I8H=*!Xd(yxqA!M4?@B`eSMN=XPs5&1(_wgzPwov&qbhw z*~AzUpPqh3+;rKpsi+B%=!`D>SXH&Hdw*W7_*pidKgwEo1ap_?NT5**QZ_`ST&$k>>Pj3=ulHHUa-n=V}nPTt;b zX)r9-^8o&i)fCTGcM9_Iei6hF41!nr%{d@p7-zH5)%7=Zv-{7FK~zlCQYYioE{w8? z&mX;f?%cUh1XzS~Uq}rfK78Z45pa&)GHN&z4b2gfKQ{g>G87|zo6M?|Wy@kj;865ojy=6a5#mTb^pFd~u2J1Q1k0bls-y}WPU?EbyK=+nT;eI`w*SS&X; z-$9fl`oInSsClkDY0`I;x+bfx^KmW09kbk!o5TQ!5GLP62jM3dhzst%;1#)X;|C?b zlIO7@Q{V<3qUb+(V8bkuth{cJ3UIdLrSrIYFh@9|^Hbf=iKG#5@XL3QE! zhpaMdO^b8__3z}#XC|+oPu!w#x5~7_m{9cQ4s`?dG}Nzgz@FW^`wyAySzvRS$%(rX z_x8!xm)RO@eJ5Lk!1+H4b(Qbhn{V+xSlcq8my3&U>{W~CZQgLVhQWpcq&R4-XFw|k zZ*OL9K1wI8qUfA~qs9VM_@ID*WTzTa!O6G15r08j=dZ;p*Zz34d4D_Zrmp+K2?Nbm z{+c!v%RuU9E1t0sw5Y&%c$RFgmz?URYN$eP3GyR68}1DZ4vCDDYHe)|o$lgq>D#Gz zV%K@NHJV4&moo=cT|t3aIA_@~U^-SN6W##Plp?FlOFpV=|?tJUb9qy&yY zXGcpWpKBYs8Y=6Kn!@#LW=_+|8)L%DZARPboC*jKyqGj?3&S{7fB&0dXub%$!zfZO zFR!+iZ^kdjKois3Zm$u^u_`)51ceT9anV-zK$PU@q;WAoFj0l9qbp%aqWejEM_#?U z+R`%a%9Z@8#$U~K`T;F9&kwIGLCx-HsyP`SA75WyZLVldJRMZ3I(F=Z8(32mtf$tc z+;Md(4;*sD?r%mDvNv!{66zgTg8F)s#fwiw+P4?Vh8W;sc3w2AMy5HMRX=wkUaU>VJ{`+dmY@l9`+h}{B6p%b7p(Qx_5O@JNmYd znz-mDJG+r|$aU?CH`mF@33@?x$PmM2;x4|@qTMTocGj17Q}_Vu4o8q*{-U^8GxaJ< zacksk4nxqj^@rw}nwmnmL*K!i3MC_K!R6T4`Gc<}3H&a65!?#6zPxeNKkw|J0dgZ` zWOlWDUA@WSc-!`IGdS2phtW-EOv56u9&W9!1YVtPGW5T38uQ%V=JQ_|H zx?=b5)=6Pu3!?8@PW$Vxv17)-c-`9Dp3cT6l`HPiaF$kbzi6viyVvA|p4gKFEt`4{!^wht4 zxxu#)dDsTzgn`o1qko6=D9lQBwp|t-aE;n<$+owi;{WC!YIBG%Q04PKR0vyFQc5Z& zM>hjX=mTXrk>5f!=w7+W%Nawc+!9}ZW-Ux~N;BPwRxE#0_1$uNrXSR2kL+EhZL)m1 zf!bQJbzg1TO%__*5fK?CCOjiRT1n?Gg*kvNtr-_4sb|?FGH#UcN%#=>;1eNoXM%u3 z6f_tK2ah-#FxD)lC#Z7+^fVZOFLa`!7v^HCu(-2`5jWUI$O-_mIGY&mZb$((@qx{i z0wT`SW{g3{Bz~&%2*rZXf+EH)@2;W%tyc#@Edfue%sJ2WH>a zaV3*M`XQ_|KI??NgK64B0&Ks1Uqexh@|=1kEh6G?qx6m$TA zNw>V10)}?zsiPDlzP{LKe0_a|Se(0|1@wo^lym=n{mvmd31i`QL3fZ9*-;ARo8<`u+kN=H!fnv|2vi$fzJZJe+PGX>WG4xuxaa zPx(XSGb7IGpLW3QK8WTkhR+G z+Q1RMK|w(n<*r=3xSh&$<~b}7_ovUFU=(W-IaF5fNJ>fzCPmn|6ovwPx_2~bjh)>d zI6z|mAiY5n62WRtk4nZjH#Zy2pa15Xb+?d$Mf2wml5t&-Ukawl+q{3m>U4FCM)LBE zSk0%{U>gcB+r##i*)<0!(eLoR;7RM|!KAGo#CQa{Q&@UNo1)JwZ|&x_5&G_vy%tcD+yZMQ zS-N@-00*;u7^v6JFFZb8Zp4U1@4Du$dFVe1dJmrIyP)=Cq?A*$U1MVaxCD}X<9n+vt-u&>z z_|;f{P<$X7Dc>MXvfmAQIVdp&p2$WbAJZ99Djt~QzP|2^ct#^ZeRp6fy58a209r3#w-uKuzkT-(hJqw8=f_&- zljq6hV#){mf(HNxBr@09ZsSnQaLQ0g+uGpW;fRb-r7(oV^GIXELeIyD(t-a7i;TZ02->kF5%caU4_$~rry zHtNrMPRXF-_#qd6gl5|jqiwo2Z(3ru&5j6*tjI0-98l1G-I3sb@h8upJc+OA)%J)4 zFwym-MDC&b_`YF>dMk&+m5^VLA3GM&d+y$Bzh?*DZgh8)`2&^cE21QotvNU+SxIqJs?Zui&*l|vE{v0dT6W6^1ciRp>K&D z21AeXe&OQ9Rnrtj7N3rsQ1EXy<;OXt9`eIXM}>FSR`KWy#4VItr+QV8O}|$gZR?WJ z($nMFQD$mHYQXFY~K5x9sL_!0H>yC5W>UVfYk47>qZauWmA)PMcs1IiU} zWAaYPr%JiH0`)R$6J*I2a|AWJ!~9jmr@W#LAsFnqztm*VtsXWM`1>feGi0n$nHBk4YgG;mDfiRJ~^HTK;^m^81;Tc6^-2 z22av6HulY4D-dih!+JrvOxiv0R6};8$=Dd%!YPK3;aeVkoost;RMJt)l%w(=m$FIN z!&I;oIves&lM|)YEZ-jc0>8Rq<;wn;!vUTJug3G~?as^Sj%k+jlbJV4iW_m2!RK4p zgkX5~JvtJ5_tGP@Zw#H6ur^%2EX-Uq@qJIYN}#gDGJ^#1E@|UQ&cx-*b?kL91?p)c z0|WJm(NGgO9edo8CY7DQigCkA*0bm*|?9N_MbhyA~ii7 z{+M5Ec19N>%}-y^J6zK6Ywx-JdplZFhETVlb1pSEUwwUT5A#;)nfx;vb%N;gIP9i- zX9syMx&bVPeg{xMJQ(Re02PN(+uZjDl_FIKV+Sr zw2o`g7Zno~bDXU~sgIhCU@)^6DF z2f@PdgvZ3JFf|=S`$KiLilY{wPwxoR_n~VjP5u1~!3K~`b7N$tUIvFe^EV>@tuJtpw%fa ztL(M7e-;4;;eUUR7OSz$uuNpm8ZBP5v}&_7`-ExE-5Q~;J`p?+di00@XFO* zYS-&&1#L0S=5873p=`az`g-a|%S0O^!Y5t@JAE!#q;L!cc5Lj0K<&)b{(n&$))t;K zFq(c+_}+go+W!cNxkDZQi$>=A@^*yfzl|WTve#nJJ29YCW?BD&K9zk%I{;`Z)SNotksG-#)5xCTrGTu0koON&k zg-ke-lDH^NFNixv_(!4iynkPxy`zAVAFUOhEgo4@K|z74v9;paIim8$=c8-K&Dcl; zCwWBN;7pf&E^}7el8G4y8&&y-50Zlh4Wg}zD^(kDp{9MUmKwzgtnUyl`*29hOP8wH zKSO0Y;pC{KD?fhx`1R{dN^xSTy5gdq1yaffmImvHh%|`7I8K5S0H;f+GIT3FENr-U zwxZ|fk`y&4$--jl|oqvivemCNqlRX}@#ETg_f5^HH_SUWRmmOPEz^mGMK zPI@=TTbnj7SiXLJBvk44%7Q}1W(AS^s87$NA1gi5iaFD{v%_t7uq&)BpB}l`*6B{a zO}j(;u5{>NqbgW2gTyCqE1kY)4_xcmjg@L@YBHkTEmYAFQWFv;&zyNyTyK=O&+)X3 zsGNu4QdI*)JY@Cy_rAIrg`sG_#JMNRe{Phxzn|Yk?sw0+5*{1?=PI56#f&v(>`O?c zuFbLk4C=ZQ{9&4q;k?ze%E81SMh zm{A5#Ftd?9-F?9t;{NkuKazkzr-rKE7<*xK4o=W!vhUv!^bv|OLq z*?9^Y#M6&EIj%Sn&j10BF$!x*w`@HEsPOy_vLlr=iIuwyH-g^_b?5Hged2{wsF=X~ zJ43`42RkL6yk%t;_8+NX@Tb6#%U1bSkzjh~+4ABB!!p@9-q~$r9Dr2H=GP5~`+A~5 zc>$V>Y>a%Dg#PoB)P+BNv2HZ2>G5Np0v!{maFyM17(J_VSuf$MeynVgcUj z25*y#AoA#GX?vm*@WJhO>xsC=itIj$PC}Mwu8x_v^^W{Y8x^J)a+SkrhYf|8ia?0%)JQC?+g|f&F zhYQ9L>M8J&!KY7~$W(+l{0DZXmQeqrd?-uC8~ zzz>24s)b=;56uu9OkrovY~raLuu|*G`+hWSwquSBTnz(3AgrVXO6A$xw-!BxfI_}} z1x1EbP3=VoA$;*e_hpkt`RY&wYHAj9;&gQtw6$Fr)@RmkBim_n^km_M#$F`%JIT&| zGK4O=`U4}PZr`5aoAc{O$u`JzNlD4-J{g6N^7B79ra{86fmtl5sf`xXkdnH?O`CUu5pNh!KBo?z{>Q zNN9p^Bl^(-2(zeZoyG9m95y*)RKgt`Ooz%=*&JQ6(#Km)oF zstX05Ha*SH-wc00a^5i%sJpN--Rq?=J1@VzdxxF=_w`#wEfVoqD&PQ`E0Ny;M7=5& zOU*kr*c!}^L(JbyedBOpoUoCR;mXvzflvRX%X-9%2bjHIIbF!1xkJwycJ&Apd~C)2 zbrt`->5ndT;llU+d3#&B6#($B1bUq63d_v|Y-GgQ2x;o|~n?`BNqraO@R zc+Lp_Eh=o6I&3YAR?7?C(plWEUq7}Y!F`F;{eYAj2d+S~H(IGTDFv&5`}H$HK`%Ma z(Q0~1o;V!eX1JB0Es8th_JM7JeuoAS%5E%bu_NO`#V11r!KL6Qna5y3ylP2Fr^FKw zNN_Sb@7aS309k$=0n|wtcK~p@Ib_c}+rE_(8B0WEL<_GD4Ml7MxG}Tg4j&^X_@cun zEk>BPl>N)emhL30E1GNWh`716hla}5=CFm?DVtUZ-EPR2ByL%CTR-yfyECbddPf2S zm%_Sy`SOMG9TY}4(*n^N9+ZSAN+?6s4G1t7!f6}#K)4#EcWIC_nC2LI&|JwUF*h?K z6GzL@Cj?%;5F6WudmkbD*`A~0f?Q=$6VPbrAgSg_Ol$6VkhlPJ;(FZ83az5z;zc}3 ziX|fuk*Wo)xc106KhHxK+TTU^4_I;!7`7c9w))3D~O9n~_ zg0P-}zyO+?$|f0`Xa@i}-Rx4#=TsF@*A2f$>Y@uwEb%yeg3 zJ5`XF0vQ;~{dj3_aq27Sb?YjTPE2$P%Pyw^4DjA|h`jt{l)CSHh#HfLA~@1}_i`s<#|k&0~Y)K*A9C zm!d+%LaEQKQz3Wq6dr8n7?K)(ov2ncBj6Via5aA~r)I>q3 zpqcDU>cr^PsNQvySvpD%A1jUwI}Dzi;odPFl<=gA`So5IQEG9wk{?)u(=f+C&~5*e z|C3szChC4bH<4L;_RC7HT!CQ#pAui>ToV)V+XdIW35#e$Tep6ttr2Y_Mq?4Nd&iDu z)T*Oq(#sYNL9^!tn4Mi*e)0f3dBZ!XSXAB_dsX;)drEvf8<3+~C-?&wj z^@20e(a}G`?V*NNe@R?vLdP5Xk3eRTvURn&xzu)-%g64KJGeum`jU`Q&sTH`-ny0Iv~vdGw3oPBm`K$aE90-QS0l=`3c^Wq9)MZ$l;?T zLadmt0fxQ4Vq)imM25uap6s+d1abPKv9Z!#%j|qw+E4mwhWLv1fCRuIKgZ zlg>TCWQVnBjmowFhw$USn9o6%!!D8`sVV%q)t_Ct6-7t$VP4)iEiG)OE|8K=_iv-4M`K;EeY?UWTBWkFjmZVQePIuqg|d~xu3 zVcFsLG4655i7aIFrtRx09^nC+arZy+82o7xq=S|K?2_rU}9iQwX6T z)+D~p|5!o03E+(GqhAC9wh_@oDuzcT)K*j|8isPdIK`B~Lp3)KUi}Ix7?n`p)6Qg#JtmiJC-(n1!<&dFiS1(@zF1ATxP`G1bQ!S09g zU+6k2f-d-P2CfR;2nzxQW75t!Le2{NhgS>f0!{ljbLA>xNs7m1e`0*sJ7QpT<=?67 z56!m%L7bQU|J9QG+<)aljeiht+q0kP^}FGz`K(TJpb|gedN4ZTf}yr;qI)l!kXF-z z|Mrcpg7xY@-{hZUbIx_W#`F1DuPfHn8S;HAgD^UEOcLm7kfni(i1F?97(oaV2lceg1G9hT1lY12 zTy2t|6Mg$YL_oV%kxr7fZ5w&`38||bq|w1mFZRvN^R4`FIn@_ z>XfvJk>iW6hU(Jn4Q^7FKU-ZNdi7@4BwUJ|c6>!osfHp?PlXmF8lc^QlvNJ>L7wj%eqX z@@j_E$Hm26zs?w^|E8-eyER&#e&t`kW>c2U)%^aPA-dv4f>33p=hK8l3rHeD4AC#6_n3~QmEO>f(;qo_( zRh~Ef_qD`X{`BeOV&T%#l4H$_M(gQj3L0gOz76^!Q|alYxv`Rx5?T9aLxY2^o}Qjg zPQL3a{x&u?Mn*b&wQT)bhhuzAjK7RPHWrBxlhaKa8U)Q~bir)C% zFIn#v9#LUld61vo81*RmUSZ+Wr%w;(svS2m>H6|TW5*6-UEPykpT`Ew45?h0cMA?) ze^+cqMzFH7K6~~IQymr-_ItQ-aekg(&WV!HvbD86a%8R}L&37t78BOf+nbb_X!XSH zh`#>IST+ff?c3GW)KXGX2;%D1tHHs+uM&h35)y97oun2_&^-6e*xWqj@nZ$1Xg0Oh zM~@yA97xbO_pRfuQ5vrKWxPOER+hV)8|~)(l9EoR3QTR0`I+O#Gm46)WHkHNAGV;3xe zlP3$()6**|&Yn1N!o@{A$3%AL&d#nbB{?}VVt!$vA#^jh(?yqJ{L@qK{1r(N5fN!= z=|C^+k5Pe7m~LL)=PzDdyLRox^XFJTWW>vtFF$MP{qINp|?|!`b_2l+j9wh7TH_0|zo?RTdba3Ckedo@d>+I}&{OA!uaBy&x*)?P; zo_<>&^!NLZA8f3w?d|Q(&d%00Hc3W#5%-=vQH;~qb$K~jU-j_e!_3T&FXQ+|50Zxw z{ia>c9!goSokh}ooX(v2{_Ptz;dbUsZOHnC&7t!F0e#bcUHjxSI$BzEbah*=T%pF2 za33rsBQQL)lsf0mDG+%T6>>5%MwXU)RaAKFl%Ko)-%gv0Nk|Yf6{A`k7}?%FW$JMk zt3Y30e_>%kbA8^-+4;`HhaMP73k%LLt=)2RbN~J^F*5#~n(BG`R%cg5W#!IYyS_=4 z6ciLZc{1M|K{IQruYcu*(?LT+`t*#SKYwaJJlOu`O_q|UH9o}5jP0GCzrQ~|-1~Da z6&p+J^O+eh(RG$vTPgng8haISj#_BH+(d43w9oxJZ9Ms239rUnyK@Ej`1m+EU0hu5 zVe*TMr+@r-ke5dg4)PfuN_AyrWqEm8W@dfw-&>iRziVr2`|>5%?Dd$arl$RY1FzcJ z49v~V_wRqv-R=FZ=!nj#(<~{esas?9@NXR*#)0>$tF4Y5>wo_~T~FlnnKPMLS*QWz z1ZI|eK}GN3y}4d-v|GF8*FzSU4h?l9N?4z;PRxhGV02e^Zxz^jf@t#-hcTb$j`6l z|NR}x$@%l=U%q&edh;d<5JUQ{=4PjgKY#yrc69vt^Jj#IKI+d%GlhgiA?ZV&K5YzH z=jGLK?aJm661tU=qL}jk&nfw=`IcyzCbLbxZONnN8k*On;@w{z$tBBIW)8g*c=vzz zv$=i8@kf-g9towXzWP-MN_ltNNp(M~&UOBq=DRj- zS+pPi{QRBi|6BQt*SqO|?^*iahjMFjqW}&6IW`pXe_zDSZO=Mo*}hMno%(;TmuY&G zM0vpPFJ(Df{_le}kGOPY(=F}qef9tPKvUBaIlo#U%f?bbC0o@N@&EVk@Z8)lgIz5N zjQ0Yxb#!zRhu`yFx-N9%mB@H9Oe`~X}=hu zBOxp6JydRBK>!tPUMu(Waz5V9f zyGD}JD!=O-n!_JhmeKpBVa?cwET3wLq!Skx?<+ivRwSO)DL5;=Yq@oyZR(+I&7a9z zq2E-4e!j0b-FGi|Mosv4OGk&tz{BIRcJ)ifdv!+7r7d?J6ZZSGyPZ$aO)*nL$oJg2 zMk^)U)%litPD-e5<}KcIoa9SN?t=thgFk8k5W@oG7dJV zOi&Q|alBE#bfC%AK3_Eu0FuA3%Q$ivwGn1E_+sfAV(p1m3{Bg#y?FGBhJ%4?A zYF2E1`t<2QR4nz2|2hT-7a7KzKYR$noPYlOIYCJCOMTE|RQt58F{r-&4uPXm%WqPa zC-V~MXvx$1VzzE?X=xexZIreP@JUeP61QMHkHWWe&IuA|N3OfML)YeBP4yQ1`2HOq z)YsoHCL^=@LVmX`qh;kXd4Ga^M(F3v&GnD~ZhJ=7SikS@ii^z(S!pBljrdBX7d=Bv z!%v<%wSZZ&u&_9D<_tLj?4h3^n3J4L{P;XM)ym3BypX0Brpe1|=Eo0)Ulmh6?Z8Fmrlthp=jZ1!RK1lcz^>s!l&Jnp zo&S#kRI=>{;<5S(_Cmk#vHZArH&S zgt)k92!{$QXL*&KJGZQ#FgSSdw7WYx!|yK*Hb;(ZwfiwK;s0m+^|1#Q$E~cijFj5P z7G)2H9RDTD)6lU@x3%75IcbA?O`YPW0$HdDc{dZeJ~KhoH`2wcY-Zg{AY-x$&*mbC zrtcJG@nM=C%^GYzy)^GOp2pwGp%F=l$Robj2@q=I){d`|C$MKs*qQithHzV7$Cp- z7x+*m%Me)PPONSq#wT0lTt{c8#NpgaOS7Z7xq`Vh0){rxbDH7Tt}#UE1g*@U-qf7) zc+jg!-z7cR*uU}x`*J}q!dRS<-jm>2->z`($omjFBa z_{>b#vWU1zHuu)8Vad_?0eNi=)R*)_c*zf6@vQ74EpS#=tjmr0X)^#MP0hxC|Nd#W zsa#s}IemIMXJ5d^#_Dew%Tm99fOBHXs598hPrZlj%+2RVTWLakKYskEacQai(z0*Y zTsB7h=1tB^#}aLxdX?DL$V*9`21d-<>kWvYofe9_1F$_e+4Z?Dpsb)E;#}7{_zrgK zp+kpGRG#Ut^8AGTBFWy4pIVk!FMuNO?e%Jse!(n~G&MRJX4ORyj*gB>N=kse-wanIj+j>!SRGovk0s4P9U34fN> zjgsvxR*m#!&*kbwO522#r#E@>Es2pYWmDdb75=A25b52NDb}Vr%ZD>tteRXXT0ucs z{K?s0MNmmJcXx-Cs#n)i_H69yUEf9feh2yL~c}KKnWt-0Kc`wLdF+}~*O;LD zxHyxe5v(dH8S_|-^qaA<2i@GJu-rxqRc(DKJ#v;(gF-2HOp-auXJA%B{{1}e;NWod zC~N(B?oX=C=fdY2wr|^3;q>CFf@|0A4C7MLvZGp)3{;vPUZoMMwu^is-`1+(QLNGK%Gnp4{HU&OpQPkeS>pyc#oL}9tH&;JnVHtc#*8biKJ9~pgQ1%n z>ZyjoEA!LOf>(`=jjzYW1^oKh-}r^W;Mg$^LhHbR=pXe}RZ44Y&p&+Ni9d}#^suBP zA|m35^Lal%HPA7XB2;UT&;#-OuiM*oYJW}l6@mnf`Bc}OoBX%1z`@C>v}aGn2M-z= z8f+bPb#);jp?S6LT=jkG>H^P7W@cuJii%Xuee=0HYWWUb{N&5)Vg9On_V`b~y*nFV zXn3`_SSrbYJ+FhvF=1w60v^`?Ui9F>kMY+x<^t=htCd$sRd3$9S&B!@Xf2Y~rb=zw zMRIi-;WDO|R%B_N!jobI5%Y#z*EMlt>6YSj!sQQs!a9`Ky;wrG1PV}{d>9r^?PERVwXEr`574l2GKsiflHpq+EjT9It~O@!uvv7f zFO8w0fE;9GWP_zA+`YW037~Oh6_stRcgo9mGcz;a5m8Z9MN=_7eAs(^Wg#^+RYOAq z{23sHfos?J6B#QT8{iKsaNLFO{rG8fb94B(kU;7AF-+llpK0;Cn3$O0)qgyw`#e0q zK0J6{m;4(TI73Ssg##Y`0HB;=sX!2ag;{ zG8W&yuAE`4U$anjq+rL+om;Qj=;=kG1c7c|7LdFkM7H#_He9n{r1oZB$X&Eby@SV( zAOG;_)4t#pzpfjSwLYQC1aat4C)VDxXBr9$3V|=*y<<-hy0gbJ@z^1PKxOF~o|u@B zjD2wbK6Wke%Sis!tL^wYKtRVUTMuaQGfBwEe0uxV31!LC^Vip}@$>*_|7mHmEkjnrI@nwceiysl$q z^&SZE_>P<4?RXC}4HiCz`eC;ck3V*yJ65Gu{F+)e{&MZ5p3h7K z@qF|CtMMRVXNL4=Ts?JKqkQGx1qnjYl5mk#mix7N(Cxv-WOVXOqr`z};uqaWI$KWw z<;sm_<-NkvegjK4t72kkQL?6{rf82T_uV^m&ezxQ;KA2zZGrPsy-^HYGeb264<0ZC z=YS|2D(H1OdD46MS)8qtg98!TbdxM-6{GCo>A64o?6>xgj)(R2{0*FRPgy#|3t&tdClLvwck}P!Mrc&i}Lu3DL;D zrzb>DKKkGCM4=^;WKm`p45`JW?lo2irK8QxUC)}C4d0VjJbI*hVSWno4n`4Gij25< z^Ck(2JaRq=mfoH!)9d|fbo4A%Ie>W7YiIra``0HmH??0!lnY2UT3F7yvfB>o^cm(4 zOBj+<^2SjUXjl=ZGNOU)uSR{)S7!GLCI~&z+~dcyOG;|=YQ3qo^%-~fYy9%ujJb_8 zWNGA`E|2E|*DBoyaRrd3fU|-()|L+>2*$?7=F@^vcC|(`50=<)q2_pge6qnoMOp`c zFtT_9go#tm&VX0I+kld&?=&6tH*R1WvJ6C%uU@5}{J5PpR&k^ zEpv*>YO{@G?Pgj>b_52~KhLJ%YuPv!)JQ}W1&Xr1CTW*lUcWw8K6dGZsIejxy5{KW zdO(!*6}Wvw&D5N^p4}D z1TeJ|HNF#H8ZNeFG#8W6Mz~d0FAZo&Ix;wef_?q^6_Q$UadA)KEo1Rps{Uw<_w)0~ zOdM_xeeCS~HPRdb=GMb>#@jm~mnPpZ%l?7Pk^+6H`<4Xz>Gu^U=_p$uG(}4u(AA|# zc$Jot($tEP&8^|$;P_>Kq&o4&jmK40O!V|${S+~0#Sb5j`_X^PR_*BMh*Tm%{_Igy zgo2~5Pp$Uw!2@>>k9PwD`mZ6(J*}$x0`!7S3tf^ryEuD~y9IO=Fh78!p3oJ+JkC8C z#=B%?6Ruy6>_(m{^TS&e!+A#7qO)FhslVV2UAT_(|oU(oF^(HBD1sCT*Q zjOk9>0b<1dBe_M3HWyQvmg&)>;htN%l__f3Rn#e*Ky-G(B~x<5peour*3`fG`JUFH?<>=eWOe>0zL zPMm0P>CD6m1(Bqtq1jydQTBJTd(xKYMrP)Pzu!8)fBz0_ih|#K==AdIwB+PWa3ioT zz#V#e`YP{XFBg|9torCcleo{Qs3?5&)~#E2a2jDTH5h{ls-OM(9K^Ng{(T)j4KB(3 zB~YC1++p9kl}tu4!#F-B1_FIzN{U`%@#Q?tkj-TF`xdh@=R$O-k5oN5Z<@CGJM^}b zmN_H)3o=6MB%J~6N@(oszgpUgMP1~ak2h7ei&J=ThRx~@lMC50*`t>fA$NBgh_T=Ikz~J`kkB1L!|dzp3-PKuXCDwbZb4#c z5cuci^XKpunypw`lC!ff{TL|07@+MtySiSyc#&as>lP-gP5?Rz8m4h*!0hb&8kell zW#3T#$rz`7tD2uyQ;xQbvG4~N3U06EA_RZpL$rKT?Y{cB`s_&qfL)~(@xzdq&Uf@RmdWSF&`khk z=mdqmZctSClsv5J1La(KLqj+5c_&}ROG!)TDxcK>**LKQ(T7Pu^~w2P*3=P>Cr|$U z$P17VhzXFV^7 z+XTo^JN8LC;?I(r(a~A!u%qA9qWsREr?;u1>dg~g8P@II-ZZHkv&0rDME+~u>1 ziDvt|dA*lX|6NWsExIbPYnPX&Cm@?=HNB~s*L__*tiMq zfd$=uTqbfQhPo5w7{I&Ip_v@It$paaKR7gb=`!DKer;=sd3mmz95NOVb(K|B+uPcp zWXP$iX3B&`Mn3NaRpVFrgY7FRB~@ZoLB5imKl$%Xz4-OtT;yROH`HA{Gi$t;v^D5M zN(KVfwdo#k9k;Q$rF@qB_#hb}eB(7Jwf=xm!4NMo^7ZSV)!&Uq1_tlnzZaH>en2r1 zeYv~MOm~FN>*aNx-Lu@RW+S0Ava)4pwY#jJOu4&`*G=;6cnu|zLgFiP7FGNj<-HB^ zm&`6-FA(2$U%O&IH5vB8NoC(YlDzlt=Ld?y4GSq58InGJ>5|%tg@C;=6ZOkQlEAsQ zh%YiS^5^HeMZS)7Q~WV6oiS9D`W*`tPlEWbrFZMpQ$fb-zcWjf5;s`p&y(LcO(C%n z22JGR+R|B9*TSrHdvVr5M0MT3I7byrX&y5b5mUR+?+7VteZlh3p}3TkcXtlnIRES8g8u}loPz^n z+vXFC3!5A3WjRqokwOneLm~ckZj!hC3mD!GCX`)Q9qg|{QinIQXzy-g{1jjCe^N1b z#JA9o7FXve{tA>xwm`65atV_;@=W{LhwF}vQK6Mbe^Q+b5v-85gi zv8E8Qd9vQ&|8(QuDWM*B!9~|=mzSKHIw@Yo@hw&=gwGvcvitITF}Ztm;$qPE-(t78 zH3e^#%{W%_j`7iWUAnxSx^cM4Sso;8_4ni(5{xI2V)f2sF(a?fwRi8|w>C4QAh3*j z`}?T~+q(0f%YP;e$YEeqe|Y(nE~}H8z|KL*)z{N|{_-U`;Wbq4=;o#z^I59#EF^`r zw6th7%fpAefk5sVXZ-O$w?`SR2(l0Kl8YBtBk9n z>Cu=Hp@q7qB^-0@8gs!VqG_gww7@RkuJVvJIQ{l@DZva*K{AC|>t^zssCp+zCX?0@_A z4g8X4XyfTH`K%|?43(n;E&09F5E{k?_tRcpoN$H+Q8BSCMXBJo!kfMuZtm`5Y7vjl z%~=-K)zyJ*Zrip^L*v<#Cr|S8^Giw&85&AUNs)+;iOGz+t55oAZ*N)Yl~9?c#Has0 zCnYDd^7Gr;*z614xTO8$Ex0aNJU`RoA$4CH8$KWw8JRKFP}FV6ky}n^q#Ewrv4fJp zf-x{MVm>i4Vqk1s?>C)1Qed`aOB{yPBvbKVQ5{4^IK}Yo0Ks?Kh>uL5s$|#Mjrl0U zRg%y6iLV(Qm8%}r#{C2D1_lN~y@VR+>MC*V1vxP?7YK$&MMY(1W`>@^#l;2pHeXai zT>Q(kV36_#n2GR>oaKY&zP^CY711_60u>Teq@<{*r@x=$A8FLuHv0^L!C?cz6CKS5 zhljQl5z#vGJ=n9hP5kCP+7g8Y^DW~W(4Wr(cee#S*WqWu<;z#1VUIzR z{q^gY(ajyB86%(a3kt@@UL~NV0`tI@0)B#~4)8Zy216BIHKaGqT#FSI+|BF{$c>xi zRcxHs_UD`Css*tM3T{Ag0|v*ibWsAPz`;a=MGwhd-o`=;WoecstqBv~)n&4CXNj!0 zZV8OJvSf0S6@8^N6;}f=I*Y3$E~6@U-_jh0y$~Z$a{w+qcuCS>4=spP`~m_|M=zk> zPfko6v$tnvp7yI1wghT}|3?r?Stm?MFP|R+JHZV5A6R;Se1h3J*yK_E;U`I3)t0m!Znr2a9kDxPEs*mX2QP1X(6%^z zi217vgZ9y9Gmo;UqT&AMb@ke{$KZ{9eQ(;^9e(c@WrdBGZtQ}Y!5AY4aOlt$Lprz( zPpYb5c86-HU;mHC0zjQZU^^W%H}1A_4O{w-UU znwg$XNks+p=#wkT8Y^S*ko&f?bZTZ|BCs%}x+1nHD6%?&GG$J3zktQQe@{+KOov1S z9BJ5&5%SD6{5q-wh$_wKX+739mi@ zn!JBcD@OmF8ShC-O4|LGg*@!?>ASk9&!o^qxf!(SA2T!5#BOfJ=i->D$&QS_Dqf%8 zz703NK~5lk0G2uBSDTVze&7I2k^z|J_8YI!711G}nfa-%<5NhfkeC=;jWBC0lnEc& zEi5G|oi1j@@8GSKZuLau0E3D-xfC3{Fh3uoCz50^&Kt`btB1M@-cssGH#Rngm_Smi zz`paa&4r_V%s&nd;mcO%#tuNgx_hwLP&wfLy&W35G_@-7$m$^~ z4_tIeYFOS(M|d@X({b@>vi7C<`C+%GP_K1T-@%_aaG(%z2X*!JuP?4`*T4S0`s{Yi zSH<~<7Z2#^b>yn^wTCXwoY2u}!KSX+@vx?*2BisB)Y*W5116aB3d8{tZS?lm zj4YygWctDjm&X~#_eK=#1rP?>xf4|sw>396M@L5oi7A`I%Fgb~`}ctmU*H>Jzy6o3 zq3S}wL~CECs)Fku9c^i0L9#cH7>in%%P1{c$B5-` zTR|aL2kk@22sC!!5!7!nb8+lN_%LW|t1Bz2uumR14IWC-+rnBxxc5UgAiD_bZHG^LG`m2>>Nb_ zr9NmQRVTlwxEQG@!`aF3+CSx3$!0b-5ANPwz?L855vGg(c4UVRLv;jr zK_P+!a$V#*x|Su$Bb>Mj5QB9LM-w{Vs%0wLFP1wt7hDX;HdI78QZT6e?5{&YLQKW> z$jL!DXM7un2n*0yMNyID&Yhkh60ndszki?_#|Mv&j$#%~W1}^V4;`YJt6-yzgbV<2 zNG_uT6VaXYY4a59X_bH(+mI4ABCoPCweJRB7}7?QlWehi7)eK-Pxy1Iiel0I|Hf|I zuIr`@Ld8TkA+#(lxdtUR%UpExP4j#^_oEy-If)EiOf>tgkIjR4*uH?7@yzQZ^=$m7 z&$c+r@AVqu77%DS^@bBxt=nPnq!OTg0Bz92q!ip6DvH`?5k%Iq1;Ls=SDcKFi|d5< zJmq%*i5g3Jh!JEob*5tK7*5E#uAP}txq*_n!sw_dgb=(wRUI-hi7%x70Dt@EhsU@` zfY0I3O_HioTnw-A5USw?v?KiEtLr?iLEC^Z+sPE??-vyTceNfja;!nQ!8EKb|0N^9 zRH5mYmzNtHK0Ims7)2V&KKido_mSL%XbDLHX1x8z&$n;iq8(=^03aQ+v^;S4C~))L zJ9ntx)ng5#Z=jl?>04S^wVhL(`1!LQ%uGIG2$2gZsTx2lNP+;D(D-+iq`Yu~@G^|p z6fUqpKhC<`foz3lhlq&0?|568d#{@BcuZNDH&QsRuCAMnEqiLLt*tT0?1o~eDy)E^ zU?ITljBKBQrk!s5?a#y;*bdQ)Nuw?I5G^7(SV%?X&d<)y{`+?`Ir*!h$LZ6sv(8|r zE4$L$A4gL|btbufT419?LjbTg(BueVv>jA6WSD@k989nu(Q~M?1rY90_nYb&TsX0n zgCnZI&@Czaq?%&`cjH-f%~5g<;&N^61vj^%%F4=eYbg>Wg*fmOl;5n-L_p(G_2b7R zh;c*w(ABuO{+^zxTS%-S&o>091Iz$)1)=m~!^NlYKD((6?d(FjvQ;=aIis0{m>3wa zH*#;^{t9&vGD4t>xSZTplcB8ibU-biDit7O+zmYY9n#XZP@jO8l_$%tFl^nL1jivS zPnaMgn$dEAoveXfM$QD<+Y2#8!)66#SW{csO-+#bkK0+8Qb=x+uC;#!bB-~s7zyR`fkgx{_238=bEiL(EvTybq ze){xj)NHPU<#vMa#^u<$+FA%l3i9%iITlw~g@H%D=fDvHnECe35Ub!E1oe~@cGaBt zS7XO_aISF?mtT#+%P2Dc4ym=+{5z-@b`6#o{+r~iC(?^vGCVvCpsucori$K=${up^ z*1Z6h&7m1*OJ_Ah0#cg4V=7Y*qS?Ldd5h@jy!JuiX zegS;ETvdONomidx_n$t|P*PUc)NJW;yZR*9N4YoDlq~Lp?U}IBQZIl1%9@&GAmHVL zb`?&*;8FSc+ZriRgGeay((cwCU(6aDf48tuLQ_+SFtxSa5!3n=`ZY`| z|B)s#?Ur8?@FJbK=S~S&)@Se$z*# zQ|XCx*c{k8QGZrhDMga1JwH`JrbVlCadovkb_~wrvx|%Ig)bCURafw9D6GI3!`Mjx zF@~+zT1NpN&ckZTHwCu9$in5rKnL0R0x&F%fhDZlr~!Wfwey|#MB!WKx0a%up1}>_ zMJ-?_y?y)GP|Z0=Z?DYXYU>vEaqX~zs?KR+^T}~*o3lLT5@=3dULJD5BaaXA=(moo zdJvEY1}v8NLegQV?W=$MnC-hc`cyQ+LMLl>W<+U@ZZP?ha<-CbtT z!viTtqyoYtBL4pUn;(^3NG~D`3GaY;DPRZ}JNvw)NO!i%W8^e)Kio`9o4oIwO)Ib6 z11$6IT}oOSz?wKRJoZDF^6>ERuVZ5e5Z-zh;s=6(-vM<-;0;Xmkg@T|qE=xazyeSz z?08hz!~p2roGdJPWo6wCyI1zs(J=7`E_~-u+z>k9_wZP%)* z{$1I^ryLwstyO;=iaZopb}p_$M4^B=z+oXvqJrbKfTS*#=*53O(7E!x|zyi( zOiv*Ak{%uXDuDND41@TM8gwZ*olULi5}R-kmoGh4P*gNFFi2OwcpfPQKoT@ZxT7^1 zXT)#t2ny!jyy@cQ^$aU)&z?%MLx*tNfNFr(9&T>v=+|OmM*O0_VwX}8d0;bTT@Z3W zcHt_uEO&I%M>Jn)@=3^zp_wa}xMtKuQb#%T0S+dNsKHtfzp=3C88(g0D>)I}H zaYO)>QLLm>+l!$(U?sD%u^lNz*joc-6bi#u|4EFP`@locA`JOJU*F^Ma&Gkt^Ou80 zAm5c@{d9DI{}&@TFg>lkMwRa*Eh6&hO#l6jGl|frF=n>5LvUoU?vdd`R6hT05P&xH zBnZ9`p6}qQX=pTq{*Z7bK>+XX-TRaTKtD!zw6)PrH^HOn{M(F5W@_G@FN`Zj(D%-r zJK%GXk(3}0=*8q=KA?;EE36$hwi|$=f3jx3I%7}bTcQ3yn0S*W3lw>vRD^|gecx&P z9)Jn{F}GwK5+X90xHifF^QH4X{{C@SuV(HG*!8m(_Q_;tR>1UIvHZxU*j3ay!~`s% z=^lokwvHe%I{w0sLFTj4xAY5u%WSKCM#1yi+HAD7w+Rb7w5Ld|PtMd#eg9qy*TL2{ z8zGm*MoqAwUbi-i`0QPVQtO3U*@idVzaO$7NU`ITq^zv0e1_VN zdr4qynut6hrGY&*sNYopqzb{$B!?A#Kdszkk3yL)n`f)lP3r{IXUcMpc4q6E<|h@-`Tb(vU8_8ZiR}0laX63-lPzIePnbrw%5w) zs&1>M>poh-&C3g?d5UpFCMt?*g$w5rR;PNm6I$TBw)`l%@yVn`Z7$v4-CYL81b_uE zZZz#EVB<@1-J~nyoh>b2U+q566t&Z)N-OoT>v zqXUFuQB7oPAmIXDa>UFG(3sVBHF_o$01p%kzk`gaTIEsYGvVLFLYgunyV=cqaRQ=m zE*4GjqgFv-p)17Sf?m|zr=T_N?(W$9-A_h-(~JQg!4WLC{OZvT0qYnd(sN(;D<7aF zdiwfw?bY@Q_qYKbTcd?pTVrs~;0Em~4vN0bRllgbUDyBoc^p;1mOx=qR8m5A2Yiz? z_BnVKCkMv_PEtuqLZ$_m+vuFuY`BLi=ak6JuP3rK*mH|*0`r0W5SRe)?_U7Ez=Yd?T|lP>eF1EfNKL01f(9U-$Uj3Vu9WZ=Jb z^5JIiClG0%9PR7;jMN2p?u?^?`#1@RiACwuAe#&<3%Ug&;5Z!7I_l@|kM|rDJ&F)u zoIZv&Tt)~QNNZ~=l3iFoZ{EC_MDPsM8UZVu2kC(Ji->&dd$kj=Yh`2}6c@)D$uvN? zft8E5M4ynMB1U|aQ8c7e4euWP`yUZ{B1 zwH*6%zS1Qbm?Jk~EoIwJqiKS+03p}g@w{LTERxb%5=aBzqoRt!UojnIC*>fCf!P3b zA&0=^mb^Sa&Gzm~eM1AlMpR`w{F-`%X;4dmsdY?}4McHt1Z!?qp*du2Y3s*wlpH!r z9S~cfQ;4T3>c2)(m~?P$$Z5>$U^n6dZzLywFFS}0&=R`@>2k@ILZcU-$jq;7ibG}S zBHZ=l39q`d_LhYjVw*KL>~9nWu_1*eY`mMgq2}@O@N98w5ae{=LXrzx^3z7w3_&0q z4w=20x@~xPvnh;XieZup37IhjX3*uh9tyCdZJB&_dxcAnF~;WJM5vGRp_i)cgWk( z_zWBmI;)ix_q*emo0aZCD5!aX>T}!Cy%AFo6MKOi=)eGHunwv3$e56fdtgOs3e9a2 ztFp6~XJZ)e78Si87*Jxjkz#N8eHcqPbaQQddm#THeuOoZUk^t3X1qa2(zs zj%+@(s<>TRYI5)(UFpGShDK;L?{G!|0w1gmtSORjNDz=A{Z?%^m(r%tvT-hP!CoT2 ztZeh=2Zh{_yRGC*(YV>~)6+N#BRiCE;6MBPMfd|aEa2#<=DyoBOsNams;MGsLmlo4ZaxDn+MyPkF9Z;&Rj)4{S2m&{`(5%IWeR|qyrV#he8qU7;@_m0P$KsFknqvy~6L%_w*$S6qz zoIm4*6N0`>I(yJ9Qj(IwWlPpHUtL48EY|BNDx+4orhAb z*^2x)1dy7`;#!>7{6VDQhJg3Zr(oXz$>ZpoIaJK~k?}P7?b}Nu}gPurz}sb9^|HQi!I_erholfhf|p=1+y682!}l+zFDj~ z8`12b7P3~|X!w16{E5>GdQjICd9FJ(I9SHhSbp?`S_SmB#=MBy@RGW5b6a zwru~Bdbt7F4|3A+!rtEA?12Kn%xz!3ppRj=X_y5uly{F7+f;ef!2J2}*fsiv_*2vs zH)Td9Cdepz)ueu!-eR+oI3itzKJ)Zx0Cp6L2|PCN29|45tYw%Z?9OG*5oV@4)8BU7 z%1_~-rbj0?jYiCN%i!~GKFxau6@{Vd0mcDMH?IA8b2&Ch?@G8yvCijY25#R|lC0Fx z!WNPtu&+r+Dt`>VX=}^g7ZBe^A~EE@I&5W}Pb*sc`OTxMuCK2zmz;!ESabdt@1*n= zO4e9P&sKv%s&2~vynLdBsfas;h2RLSZl-`AZHyskh#-PvKVcGs#evWv3kR4yn$t`} z%w8gf?J>06xzCVJjsmX`HPrCncqKC#&{+(ya``&D1yG%5JYk|P%TP_Cz6Xl)iA1SMzUcNVP43kNKRv9Lsq6G zN*i)W=kY;P`F0s?j$H0!G8cuk3+)G35w+)8b8unf0TPl|Ag|PY-iGtf_u=aNnK0rm zbqoXrMJf2ZumJBy_v!js{VO^+1cM3`DZsK(5ZiLxWShd;rf`zM@EGU6KsA!-1*V|P zKLZ3|P=OAC)(;E_&y+f%7it=oz@YWO;NWo0Ic&e^!Yryd{fo#xqToSG#j-$%2lBP(1Ae@&JZk0v&^6i9=*j zIu+&RR^<+1_wRoPI0G7h%!XLNr=A{S4&d+s^?@}C zXAvEZvQY5!sZ*71y|ePjCz_lpU~)lZ;@P^@ z5!ii7#P(z`pfk>bP5p~}#5xRW_U24iWr1EOlzgU>?12|9-2S-*$Nh}NZ#X`z*l2tG zdW+XvPb*jgEAlt~w8$ey4sZ^*5(qsLLnPG}rE9B9wv9Cw$Q{-ih?gSo77HV^ZU7yO zY;KrT59SN3G419}{p0x}h`S{wmitZ^R%dxZgfG+plCy`>SI`R~aLR8515VX=5hf}O z9k?t%vv68bH5htC#5vKZ_z^)tL1S?R6_sVUyJ#y_RaH1_f>1@%!#ld8Q2JuX?qUJ= zmGIG8@ zTWz_JhC~pZ?!qUf=o(>8!ngyNGCUiuz=?(H0?NXm?)X}G(>X7m5YxLS@@m`{?^c-o>l~7y69|6)GWwrUvDpuim#~aQ(hq<<~|@1zy+Td zS2@%cu7KBaUuk{y>ebLtJ@U~|4EFA|G%@k|_~bO$HlE6G1#7GN>=@Kh+!~euPKRr4U#+&Zb?Bc4!dy< zAR;^*G7|{606%{SWKu+|9d=_ELBcGxYq*b^D}IAYv2B~2;b=a{6ykpv4ao1X@nD=Y z6X}|v8}Mh5xlXX%16310_bY*btP%7la`;)EEu_hNb#+<#1!qsk*&?dE>qIT!#$Ukd zwX5cb4tc^mg3zcYpae@izfNf=%CYH%BCZIO3rDoupvA<;3;H~c9o@34&0#k^0|ROu z0{sBIqvE&WLge*LBbtS19&&9hwb#eymOwudj);nkw5|061^)MRKvG&79vRz*RQ9MN z1^Q=C-<^{F1A#C<%nWC|TovMk#l#j=I`}k|aGI)d{htkBFAmLOoN@4!akvXgZ~sQ4I__CgSwZ(@QE3NDYr z^vwSU=@hSxO%{|bz=DJX=4|8Yi;KJB^y~0nn5KLg^yGpGIIatN^VM7+M(^v$lee(D z!Mj0DM3PAP0;q1>JXn3-KJkxUI^gl~3ElGN_wQre?jrM5b7@)LbtoO20383Ee)_0& z zsSf-doLTKn2{0>GA66T3PsnEqVA0=r4L8B(;tzmq&_-tZy?geM&Q2@1bRf=$vI?jH zm}`mUB`!V?+Mcdou%-G5!%Ouj;8@bZ&&@xh5LnGEEw^7Z;^yIL4h+%VYoN9G{XeO# zxVS@FTEvi$h_LWw{eu1a`rq(?kp264;27DQg!4A-w}RyhSBLa;4|8*Ja&nYx)Q1}L zqeK&CyXOQfbCW{QKRk7%!2NEZS_tAez+MbP(zT6F_wU{NHZ~UVD2nw_dH|L!NfdC7 zg=$`P_wFequ>p#42%MH+;ow-8e;l^kBm{^##{`dW8LmECP*x_JWUz)j7Q)VO!J^{& z=%7o_{rw9q01^uRo27oS3W*K*JY;YE&Ynfn5?d)XNkkfe6mY+>3_S$HMnND@@x9$ES~hBe~0WY~V~>t~l|G3kMV7so=2|OQ@94Cvp&RCU!%shAS4F z!6=;72Z2ea#1F?Yu%2Mx;|1e=f55v@QAFJo6wZNEkbB8^dwO;%4E3Wd=f7dYS`GLu zh^N8yIH7DeqVHj4Ksnu3>Q7CW7Mr{6!fXd4eQar&hNqZRRLohf(T8|!ER8XXT1kZi zJ-NCCYmeAo65qa^G$J1C!Q4D&u&!lRsIn`*=FW(F=>;^-(GqE5ZZJ`#*>A zEhAp0t?dYrOiyGEh;xm)&h#{(ZSE0n5}$|pSzTSlLxq}e zpe7;pg`_O}W1lf0>IiL7R;a0tYp(oEg~i1|usR{>Z2WjmibmAKn2CW`1BIt{(Fm+4 z#{}t~46F*_kl{czJM;k*c36`jDPxSsieU3Y5PkRUAo+PEpW}9C&Pab9SU&aSEwULs zJ*LX1HX)aRJD_^`<5U9NvEAW17#VE5{ule}G`eNKYUBg@FW)5))_V=9c9| za$#Y8sr8qEHjWdr&thbczl+(=Ih~B>^dNATgiJJ4EOvHq4b;bUvWO=DiMEX)>Iw>d zcrp{FN_RdR$Fb;hOmKXA+mm#1g7S#*@f{Y35ogEpwtwD6Ngk$?ueFzgxQw(v_R-+O z;|jKXC!MqaOW+S;eZ09F+@k*zg$MfeMD6o|f%Ev-DX08f4amceoaawXOZzSKz*S3O z=kM&M%`GSL*DhI4L*s)^hUB1fb+InD_)b_LO(__2gd1@50AntBo~md|;KhrOQc25g zCBov^u|v6PA38c1*Zom%NzOHTJ4%?O6n+8uIUM~!dxesZXCmRp!NKYo#xp{%(zS%) zlT%Ssx5TugfrF}Kx0Icz8`$K8a)$FE7cN|AQ%!*UiOqtbSKxcBKID-hfyD?2-ZTc{ zZGXOa`I8?smz~ESA$YEDZJlYf{BL#^^9}(C6A)pOWn9Q08@nA*Jn-Wd(@E6&g}J%cNJ+Lg;Qr7n z(N}R=1=1^IcpMSJIcz6F7kTUi_erYU>e^ZyOE5^}5LD##gt&@A6t0$ry#T|>yo?4D zE4pu=4T30M?vEh)!Z(16F4TGk0`qxni1Be}ZVihQCvqmK%k3HYnI^}_@vMMoj39a^ zER~-)lL^z){!^FBV;q-b64J;{PnQ%E+XLwVnrJ>Vx7U|?I)cSe?$F`GjS!%&H(c#F z$ix7LWN{;l~rGZBg z#z!5cxGBo$7~^$yI}0sZVp~^Nd_sbKV@N}Mya_P7lhf@-kN%*At&|Pmi0CXwQ$^Ti z&mq`s_?@^w-B&MOXg@Xuaewj%#x3Mu5Hg<9GdhKL?obkmSlc7Cbo)J{Y;y4ghkrs3 z4jLFBU2qd7!AceYylpMh)!46_@9Tb7OU7@8j) z>7gqq-q37svcOpbIa<0DQfQJhHT=YOS6W7Y4Rj1-aFvv9+TFHhGs7dZpaI~iB~R~p zdqHOdKR|jjycfXUa%GrVg~X|;9v{uL10CPp+*7B-p=n`;^nn(w6w)D(Q@1$-TE+$W zeT%o6yUBpc`H^Fzm06Qt)lX7W6H@NnyinluXFTpJWO*VD)DmkK`UWtnv<#i8njA;0 z9u6N5hpg@lmJWVkQG%+dy?AV`Yl{l7$edi;~#o?Dg7nrpN8)Q5fX(1eDA7juA_ zfjZP*E@OLO@wqxX_fWYcUy7ys>wY12W4Na$@${K>Z`;!pxAx1dXLCa&#X~Ysm83Mb zOXcuKZ%pk5Gd!l~R4Gn>uiWpWv-q3do}TiGiX-DjMGoup)0vTpkUQV5#=-wph0z|S zB`h)huy1&1UPZm*Qk9=7pAM~p!q%O6^AbA-SCWdRU9EL>3$`_mzX#Bbh5d-<$GmOqyTZtGyKO`vHovIySpex7CYm9a_V1?(w)HGoI9D@- zIfoErG%R!+c~YSgb9XVgshQ6eUjs@1p~+~oG&Rk8@Zb~jCnF;c_iBI^>tM$sie*Cn zLNN?>1&&)HT$}!8Li!K?7M&Q_gRF%$bF;HnRUXF=F)t*EPo58GK7VFlKA`yKO$*%+|NoD* zH;>D)?cTmmbLM2ukWl6+8A>XdQqo+c!BA;HBt#=3Q;H-}iUvx`P||ED5h)EaMjY)jKKR%$4Zvps}&>SwR89 zx70E&xoT5cm{%MH>-}6Z?!hU%#-Q8WN5x zu^SFgqz8DZ(}EV4n(AuB4Nrzs3h`(K;Y9lG62cUby3b-akS%2J#Bpdv5@qEr?{4F< z7*oD)FoI}_LpGYOS_|JMn{Fn7OHWJV{!&VloUmw+lFXu;cXv`WaF}e8J zCF}3-91h#?mednnL(xyX(&TASr*by(kc!xng`>pPeSJ3F|Ll1b ztmFC!^$`V!hS^EBiIv;!_JCND8aVK0YxA~4na4i|o~n9lb+c#+LTTjDmx~5?_CBhA zsL3^B@67O^GiTafW$V-+*T{n?>IhuF{Q+bWOoAVNaSusFa6(WGeow_)RF%?eOH zy_NH=!F*2k2LlVBC9(o^p5Kb2`yZL}&LYiuE9p~1e&59~d0J;@`^>g0{)j-+DQhvc z@R&?3IFDg$RY9V~(+lbXt3t9VoY7>Wfr03Q)rakwJN(%B^J`f$reUkf3#VA%sa<&qkkv*!=;gtUrH_qIyVM3Eq^$xi_w=+;w(6-Sa|Z;Z5DlggdSBD zdsS{t8|6>VDW_^euDoV-fR@2~Im zd)vJ?yHOyWzVPe)r{ecCz5A=3{9!yH16L=JD7Gp7#`W!~l2W5zpA0G6>h64dOUmop z!H(?D?QRD6WQj!MyBr7*zKecaT1KAjw&_@z!S8*pk~zk185&K>duqlDKT}P#e7*VW z@Xs47*2$!s_1lm+-(_vi{y<*~yK0-4yI%R2&bjVZ`m6U5ap9NGs0>|Y`>ws?7qgJK zD&dnUXsmqjUF$1O~teU&y(aL05 zc{bL`Ea&uGOu-8a@>jd4zr&S-wJS#*N?80=EzSDlvVIr?|v*#gDHWD{Vx%3NC-&U((KD zQsT#S7uB2SRTd1}cX#l9FY){t=kBJfsi_+-Hq7dDGI?$E>57f; zPNIU~;&TCxw`v2T2O0KPOYyC4oA{x`|E%`roU*t8Q z{U{5Z)A!BEOFH|)>mDA`R&J>u^WoS1rN$$C8VHTYYy1ev2CCWngT0BxaGR*3dcc z?6=4}yDOcOa`=4xe7`~ceB+hBeJ;_}UtMorKL6#u_{oUAkVHp5;yAmLRObFF&TO9A zLC$Rn-@otC+aN#oq}>;=QzSYZYsJI`WN6y`t*+NFMP<8ac!%jbGG=FskE6T1;nlQ z9CPEEi9vd!hfB}vJ$vQ#!sKCiKdH4g*6J3yZl`}Ye9~7tc<#7)OL9X|S+M)+hG!R! zWFIZtaC*md885Hc9`Cm(Tno(_R5|eMiy)t)k}s~(XU$jQdGL0q_ATnQI$w5NdC@0I znXTJybvw{Ye55Z2%X|eHA|_q79}@xqBJf+Ck=qxEvq)t3>&1pp)a0d^R}5;%h_8{9F`sAa;Q8{kivld~Ym!v!Zfm@P-+EBA?&b(D#+J@LQ^GX^%9#1N%sg zoF4o}M^Yf~PM3BUexPM5p$0AaywBe&HW|N1RdssY-&a1<(K1r_x3`u558pEyuNTt5 zRx)Cl)+FPit0hT}vwE+N47hCjeBu>Tt$Rkc6?T$0HH04-nk1h&aHTM}M1JGXE2ido z4MwiQD~pW8Is*`UkNo?8YoxB@U5*Ft|Lyls*;n{}Y+FyGuAQ9;KF|LC`i6$tJLdW< zsJi$%#&8nc8JP`dBniy{V=+-dgEZo%3Oag5%-L*;rAk16A;wsH_ACGgL%2%M3DkSe z4yTFd8}!L6hs@pbj)R>X4=4nY!7bBo;Frij+>rr9=JXX6B=CW5F67B?Sik;;M|&Gx zNp1yU3*alg#1Xp#HUqD*IgnY*kWm=Eg4`QBTrp`hJxU|B(JEb-P3r@Uf>TxDVopcb z)TRvj3!NMtf!!}m!wF%Yf&$XD++M=chUh_P|73#Tv`I=c{E5ehGr$(4lyM}oS^B5? z-^6$UBt%fpQ?-x>6?UXVpw57sc7;G}Ff6ZgMg{=c=Y%THjC(WoaPqBNyy7A8a)1bG zR59qt&o2}0spV`s0K5z8vFhSwt*^5mtu`?ME}332l-vf?m=_}bl9*QVbLB~BBHR}- zJ9bPijPIyAlXe?trE>>VN0FI`y}Bdvl%x+9tQBeiF32B!h4XgsS#r=2OeK-`c9-U^ zfe9g1YpAP3h+bS&LaR#T^miHqVntgyK7+r9D4PI~7EHeP}{HUM=z0EY!Thl>hS|*c|k$csB@Ku4I z^*?8@aU-S`I|U7VWU%9vwb)MZ<<9;jIg}VktCbsSDUv9F$Eek^T4&@j83*|~uAWul zh=5K|+o6)ii{yk}NEGxLXs0RZdAvY8f`0DQsi_tjt&}XVrJr9X z&y@ZMf52^V`_nS(%^X?TPc+7iK7NVkO=}O(_ZwOb`HiZ}G$e)4R=;OY2ebLSAx{h% zC&=xK6Zzj2ZIwSx)L{*7`FVK)2aP@`GG0j}ui0_WsQL3pY>E^W=&%6ZT(|0Z<0Y@i z611_krObUgVC?A8>i_~948e8I>p+h$1~F3;3w-njhJlL?x<7M|>Kc3d%SfRvUK~7R zh`^vrFFbIt)?(@vj?8~%1f0dv8I=K)3qofumDQbd|Gofs;ciNkd%qt0F<(spO0wpL zgC=l?==Z<(p^m=MVg37u(_~aHK(1RWaswy^B-Ch)ar*Ib8I3wtAv~8*g>46Hor<46 z#VhRyzwCYQeSP!rJ~=4z5UnPdy`T?z`~bmV0mkaydt7&V51;EN4*7$1kJ8$^on@~g zW;v(gaqiPG^tq6e7IZg}>{BlbTb!~+0G=QCNwdc3dSq#$aDJS@?^6AorFF^-MxvY> zyJ_Rb&yWd%dJ<3r=^oNUB%9DKnsq#mSV509Zk+Fs8FvAK=mw?|=EW#j<)$f%xm^7m6Vk&g0!|j~-ouH=c-(x?XkZW%apTFDb&fYFg zyKZ}SP&JnN8(AQzZNM-$wcH za>z2VsyC@gI^%=qIE=hei^CktBdCNOq0-*!|L`5q6+p6}Rja#4?4sZ6do$f+l{DMP z?Pp!@zQRMfm&Uygg)AbyQrA(Fkamf=-{N z>jQ>~qPjq12$1e$xtb$^&+i_+L2V4^#cp&}4&8j-w!d!n+;!*M{{ojZ0Y)1`*%9>{jm zrdPrXP(fK_xCT`nR<`Y;RkwG?Aaw%@h=J zGY4G&qoq4P`6l!YAQAR=N2*QHSvTfz{>eob*GiPB<*X{Sq7qemU~J(gli`BQU2A@mmmi;x&d{6O zCG>O#-?(G1P!Gh!96qKE3crimny1uV8Wf&FcO_u*qW#=UBojlFU7dM$2l|Z2t#IU3 z+UoOF`l~^`e=EyWu`9lW6y~VptZJeqKRh+G)BNB?1`s9IQf5b1cf zSoY2M6TS}D5)0S5E=6-qF0Ox?WXo!k7~_=P?$p8alt|d4oIG9pj{s5~NfP4-E$qS> zPi!J~l$xAHrH-769OAUBqP_i>-8rX1LcmNoj-#4RhJxsp78HcJ)zLH=k(VTK(k0i+ z4|$2KE?lL1^ADN&6HV6>6K8GHUMVE#!WY&PzvzUA$rval)&B8ef3*i}w)V!%b{YYH zRhQUv6!bXf976Xd;>FtM*Y;tacE_Q=v?a}#x6-?Z?Z0;;L=?6FG0i%1)-n9BSyLQHYV`2;$nnfr;c~Jdr1- zXDnQ&V;h1ZhamR;M!s_WuU`m~nW4ZACvpu3zcn&CwP-D!<=V>4AHicTE_(}%N>c$= zYi)lT%Pu#Z>@E#9OcvnutPpyFrmneiazBuN13+PL(?i;lngiss&7-}x{prnD@K3(V zEuRUNh>EBkLBUpNX<5m=11<#m^BFn6g@5c68&im)HT21~pWx$Ll3#$`{Y(Fv0$$ATpW-wBV^Kh@_IYRG&c$fI_kr|&2Jgfw7t zQ1VcDid+L}^&fCZoA)qug_Cb`^Gv5U(wtM~TJO^|q<{{-#xJD~d1q!V?>le)B5P{^ zx;a%Sf8x-5U|uk@`Zhbw!XnhxJYc-G7)BXz_2I^~u&Pv^H82ZW4^3r1DNtK`eJy=q#MMu!HJC$ROdhUMK7C-n*=i z_rg%y;>VZDPa<+!fyivzvzRmIRvG%!!c+@dIdXjaDLsFFixiLrW1j373F}K5@cfwWLxZikgbxsEi$uEs&SgF!)Bvgx8l42pkSNU+ z7d;LBp@l0uYIPE0BK`6rY#sV9eWg*Cr7O~rBpKPG`tH*w5-$#WR}xkhEvERII|Jto z(@?SEe4$qas<^1?0@*U7KfaT@E?Zt`;4kIgbRPc&W#u;NqMto!&aHcYC|s!GZY#gs z=Noih_@k%W1C0*<_PsXmf)s84G@o7=6aBYLY%z+9T6;O+M^yh`Dc+X4mF=g7K3;OD z=3&2f!#MR_8yz0(XfcYpfg~Kh`D&ulXoHFKVUHtEYvwC%M+L^6M{YB%|mHc@t zok2nhz?W8+|4~%xoNT(KDzdusKwK2&7x1^B{{6rC?s;K)TVI0?9|Agfsu>AmwM1VR z{%^h?zT2dt)8(jfS5Xhn0=};H{oi~a-{V8O>cHvdLq+5N4`sAaUWbi8+TO|VwzJj$ zzZa(AU&D2sjL28LZq--X%d7Y3=u*o8Hf6`N-i-3{o3`Qj2bZ@l4q*E4Cm)w5TF5(BkKdKt^8ISi#2CXbvZm$B}032nQQ#j1(Vdo zCQOYR_u7|BxBpZxJKw%(u(94EG3l-c5=*0GW(YFQ#5buu4KPB%xNlq4&XEtIPYVpYmAxDL!u7-_O*# zwXY~ow|TYWr|CnL>)sSM4qkD5uj>n$c$wo}{2x?@9t@IMb<6xmNvG6meF>4Mx{r|L z>E|^1z3*Q(CDbn^f0=3dR=KocLuc-57^)sybMR&#_KT&JA6H$xXZI=YLyCl0=fuIp zmPqkW*G4Sx4_`qXQJwYA3cB@w2Do$v+;87AaZQHa|GyF7U!h6+ZzMRAjIOEO$Vgje z-DQLtlRMKFIaa{HbdnWpYp>_;aj7p~s8#i2XRF_tMxges1^fDn{?|BHn;zScen&eu zDoWVG#NK~_djUpIG@ffH*gU9??$r3{X}g&8qSK{H?e>zz4Ilo2{{sHTd54N0c5t*4 z6(@q%>D88f=CYbrc(skY7W-Q4>|sUg$j>xo>``S{+TSZs`z4C;tjiUtz89dvfc}|p zMkc-OBzoY*%2!Ry8Yk1cd-prTK`Z6XcasuA@n2MQ!2UXqupUF=dx-}8k3)c;{u{#h zUpJohrSqT1)c^Q@Rox-&-TvzugahtykM4KIeC;4I=)w~5yzpHNprd3#UuEIV|DFT? zBkni6W86{iC4uY4b`o9c$fbBH+CQ`%dcskp(@*#rU%w03J;IINigb}fnmUbog3JnA z62Z3FxkDfCnV1iP+oJfPAy+VwBY8Mn>ab?bRl)M;>};AT9;oPOVZ~7hRf~WR4aSv` zITZS~f?Ceh6#VVju_xqaZL}_Df6;xN;@xD^K_o4NgKWl1*{UyXr4q}otfyP)cu2@5 z2M11RM`}+xNCe1i5Zxkp($rGNhS{v7Bz0Sv$NQKkQ1HkzL<_D(h_RYcWi&}d+7BACo06k zfFT!}7G(S4ts+PlfGo)sd+b*O4l@b+^+opa<)VHwk~)e00iU#fwR`t=wEhW6 z;3W>>o}%dd{T&$|a;t(8#Lnnv`;JsP9d}^={weq_rrm^GrHa_M3aR~95=Q#8u5>$L z%cn;R1)3Q6-2CDPbb&N%t#m&!S>!1pY_rAZwKV%+8KI`WdGk~=x<%4<)|xYjL;oEQ z69AY|2I8d57y*pWNX4KaBxJ;m>WYfU%a>i=-`&sWWEzeumkKmEe$pg==V<91!x6nE zcKMrukaH%#2B}D=!{nx%gqi@W1~!^6-2uEoVh9v9dLVDph}N`RD`M6N^_O%Hl6Fg9 zRGojUr>H<|3;C1kLO0ZtxGIru0(?cTzGWKcyl{fFSDc;Qv$o5Z0i`M{lk7{UF77iH zHCYl05Cj5oUnV?InJQ8pqslTa7)A9g81f)m-2u8{y?)uULjY#ZGg3_SXHR%S@$>q% z(u^6p$2%<>UQUVLj$D(Gg4M2)v!n)#!nUTB?u#!Rx8u@(B!)Z8a@rHU?By8Oh(Hw? zG(fSQtKbAdX_}pc76-%vjJ2N{{n#VcK$Nh&cks}|;=*u>^Ez{pYgFB3%h9iO z20taUlA{N|EK2i2wmgDhYE81tPg zv9Z-#O@(s7GiI&zc#&sI&)&VMlQ#2XR_xJsU-Z3hKarTAq69CXTNwWnGh`~D`k0ff zut>+s0)!I39x-XtsXLJ!BlKvHq57vpsdEYVDD{9|HGYFF>g7i)+2~?Hz0G@YAC~-X z_~K-$cChIhWx3!)leW62C~Ty_{)8zjH@)km_JER#&QbiRq4}wyx=T}O0(xR8py1jx zU78Un-;YeoxaHBVJY@&4EWfq+`BiD!9<#DO0=fdEG(@sNfyQRY*w5Di>;)OKM)jxu zc)Q}%z(+z8{0+%r!!*S(W%>#(`ejRyNHjp8wg&943^=m-+PeK&f0ldE=rP>7nS~33 zhjm(Mak1<7cYCsKECCbCT%Xg2wsm-qv^1q|-Mmqms;P6&Wh5t8NFnH$rKBWu;mPe2 zoG7@9Uv`=@Z3ZI^-SH_&~ z7z&pMUCOeXAET#XPC6+e9BFw$PJJ+rFs?oIv&AqGAEo@hG5wiQ}_+)`Fof~$<%m~J8)dEwZ+ zG_&CYHqRr3gQi7wT@O*1sqoi}XNA;xNVt`4wDLYYE~>mk&XnK#r+USnJM6tp;%3gI zPO3$Fxb4N-udiE_FD#p%@Mm7e*I~Yr(uRiL&s_vwt=k&8Eo=0+bCZ>Rj1-00s&Uq- zy2)G4b{C2Kga;P(#19vb@gx3Td8}{y`Xw6<#GcD7Ptf?OzHCPKlf(b}visJ`?7f?2 zveYs+=u3w5!WCbRpSU0lBkIRxdRiZmjgn9puQlmQ;DiewMv7Fo3rAz#P_5C~{fiDn z1QaGt=ptt(68%kjFJ^pbKY8xggllTcv-4Yo+;+5ZbNTxFOjJKWT}_`e2hM}9D{*nw z^M>;PJ9A{Ku5Utqh}|ihV|B`I+L}SQ3EkI+aUn%}NHcVbQ@l4W4ST`_IPDNc+|h7X zQgV2!)Tz_H+Kk^%pp|QGJ@;M^DN;RuMc6U4CqPCC!noeO!6k(z1vXqkAUsSdSOkGXO|&yqRTW7y2^2D*nGKepux;v&{ceWNojA33q-@ ze!+r-faxtJcF@Nsg!!$&Ng&U(0n;`A07ONY+ZL6J36;7Stc;J;jz`h|PUph(?wW<1 zc;EGD<<{j;XPRVeqAYN7R;{;5xzgk4?2B6S4G+sf(G5)30 z=6pwy{9ja|8h_2@u7=p+Iz-3BjP}}+Y+5G=hKIUzAs`d~Wb6($#(Sa6mzSU;gR==k z)F#-ysS_uz6V^kNkirS+n&bttDB&LxB4bzGpbPaypNrk^xbleqhUfd@Lx;k^;ypNb z(@S~l50EdbdUY3tEfY!~9Vvjg^2XWy)DS)W#HPSHk?2UsLSfbsV@xvqD%h{7j@~l=kPH?%W`i0V4+qU0hX7wb995s=*R0%mB|00 zEK>Yig9u0BKgERB=YM++-*$8q=_puBT=FZ?w^||AMI;hR27@o@XTR*OM*7x>izGL?YF~&7wfyO0YPF;5`x7Gh6Z9oq8?jgEfyU|!w{NQo z!UK`#61d+9Hy2*&a=ma6{(bxSm%wtzX;8T_LaoLx;HD|bz(yv-i$oI{Nipl@LLD*T zbMW;`h-Ccod06ZS=l2AZ`(>A_z`itY61Cv8>!#4RM;Pi~RtVRKEgH!e9!EO`!!JL& zHAuin!HW$9K0OpKH|RFvNz7Dd*-r^kM_Wctc~fn8Ijg^ZRp*2_3_BwrzX%fR!b3vdfUmzIEk?nCT2>4v z&k?YT;Is$&N(u9aP+udzAT4+l8w0GVpsRz0N(h>O;UlK6xeX#rXJ@xwL)KVZ zp9&3SRz(EV#nVe5vTR3h#?`oKR7dpHsxG#l?1q{{O~-h>>{J8DRvxO4>Xr^T;>*Y zqJX)dL!-wD@~zqFAG^IkkKN`j@F{<3>TmTUf{1yI;@ z$!YLkizADac$13}d@dci{zbblM$m*VUYn?`r6nkjp_D&A9>DF?LPI;m#l+r_teRd1 zPO6AkaKq@P_&mFReI@cP8#W6)aOkO1l+9S)(kB5$Doj*axzd^Ghu{m8tK^9E$f-S` zQVpxu+koEuP;Q8})c%YMp%N>w3;h zm1bEj;H-JWtg2$&=XRLyf=oqewmN#n`^v!u==$E1sEz2IqY#A>u zXnF;dmDQRxYtRd0HA+U2a{N&Rt)Mz-6N7m7$j03;oE(F{8>(hPS_(phTU!>iy0R1` z`)e&fbms33JGlOY?wNDX=FMPW`4jAH%JeW3iPRiyO+lLQ)=-xvxIB-oX?>IP3g%iu zjYAbpp6$AqfCbQM5C=*ODJAnsup}{GJo-4I3H^ZO+~7hNI!x&cgHJs2sNzR+>x}jH znMrdkEzR@}4(lSF(NX75R^=M&f8OQQe(++%<5Rnf!%=_y&S2kj_+wrRhXGyB+411@ z<&il!^B&{ph>{?j)6>&0U!GKxH_nS(=e1VHBNgm&J9`^w{Z_BwlT+o^Jzsf#8adZ42hJI zl2Wj^BZLUmFkQWcLtrXdR3~wN`~H66p*@|K4|!a_*Y=Nui>-}Kf_>>`0v_oaxDAnc zFTT1cIrm&4nE#FALyC0wzOnm+l*nH9x@p*C+F1- z6Us{2<)?+oJ~umc5P6WW-&6@|cJ&Pj5 zI`3_0a7qZ+`}JADfh2kiIhudk#26Gk)2e{Nn00gC=-wPoo=fV@jU@k_c!`$&3 z*f#(y8%x6S#&VYl#{wSr_@J?Rc#x0;U@4&&xHaWiT ze^yP#CoF0%WaSS4fjRCMI)#K$Zlt}-J8XF2>4#kx%yKVDr+ z3#0r^UhAV(X)KUoVvLc{-0gAm#63LjKh60E0qlW)A#RN=rn-BJ}#ND zv`|J6#@ZB&iuwVu3g5_4qgUQh!=uB%_SOfjKQt~^?TdML=)tsAweeS+z8B^U^w?+D z^6`O^#o`MwRY{kwUflvd3gAVq0OyAsmg_z*UfAFBtBEe@t zi_lu6tKW{GpJOtECOJ0bUo3g*LANdiNUDQzBGHJ;==^`xxXl z0SIrb#0&@dZ5<*rJr8@hTe|PEI?=qq@cW{Vfw7IHM%LdYat0a~jaw@F_sNXsCcVGs zjUB}+Vm%T|T@#aum6Jbai9{p-2Pe^I<>Ld298EWhv?XFi5KFW$Acu&c20L{1dskUG z$F?v6Y2xEhl}wt&2^?PHXi$_xEsCbHra3BWUnRu{YhYl3rQcQjg7NmGC6xXK}YGFl*FpPoF(I)gD#)vp#%Okkpzk z+Kb#D9&p_hxoo&`>-FM>hsUFzU9xMLf`R2+c!WR;_lK4BZ~|cEYB>_cRUp)RRyFJq zSHl$AiJ3pg)oI}RS(hWlr|qXky1?$(!o<6m-ZFKm)4*_prqYOk>^Ecg&%@#j!Q#ub zXey3bg{7snC@_OH&arO|4J+QiUy!t#wYPF51{{L>i8y9>>Pc+={(|uQbP2GXnmRLy z$Q{tYO>{SXSv|(Rf&3I0p4*C5Dc8VJNlKxNg~x>pYH9oR+8%1G*?ayG4tp`SE?Nul z<5OQMQ=f7O#4tN-!9FB;w%$>H@9WqeX+7oEZ$7j2*}y-;K8EU z8-rEsEyUJHaIhTuG}1%CVYiuzN{gYeKwGNsGXlaV@4e_ z692sSmg+Nn?x@PohqG4EL;vo2@Tkb}!lEMojLqfbuh`C;;$sQD1K1K791<)R`A9Rf z=b~pWZ{$D3P6C;#6P>oAkh5OZ)~KE~Ryr#uXX)zIjBJv|=$SZ$yMj|{@SOCxP^m83 zS}prxnh3Nn{Nk_3AL{u)=i@ka>mjoi%Xo9GxE`2&+A`Pal4{74j-nwH=W1dzc(!lhFA?yBo zy{{%ERXQdkhD{t9a_>EglW8ljz9TY{;Ip#+nd=*~vux_j$DZOmF{l#bq8$ngG?vPY zNWR5iu&weC@uFr$Ccf@%c-M2>f`McEZS(iJ5r+=&bOo+OpUei0t8^Lb^QeMVgH6!W z)cvPxBnIoW_FP$-@4MH+ysB?Z`8d6c`ln{>7mnaLWr$I zSySi|&rcmTMUFa4&^UL_9LE%v9*;qM#E85!OQHs1Le6B2Dh|!Nll_NuROpMv;-f*6 zPYrbvux;>k0TaT*=Zbl{qMRHv+^6$j&`PF^+|lRHXHc<`adO9T-^E;>G7-I=usYlu z$mo&i)BBCjHpd7{h5xZ+ z+xx5fQV?^NRlx`n3bBUBY-_Qvl5@;hD(5p?L2r~e7xZc77`F~G8N%@p(RgJ-FYYb% z>E3aArTV8vRk|5WcUDvHl$lxhv2{>yA`dqVVSB}vxg??y^P7CyZ9ChH^b6R#5nh9H z_b2Bqb5;oux9JQ!v| zFpy86H=Ba~f5isD&5YaTkkO3NNifdBr1AA@Vbzu|Wy}|IEPfDz=<`tA@%7fOdTWG{ zY7Y<}C!2obfstVVXw=iAGr|2e_fcltIEUv~?>v6|^{hh%0sr_7GiyH(zCztU#88RS z8XgJNjjWeoOHRB7Tz%)5jF6nHO_=45i8aB>+N+0ok3)?q90Gj>eu=n59Xh3M>Jk6? z`6tkPt)RmK`CCK7q1b6hvIgta<@+{dIIa*j>bpb5KTk%MG$>CTqEzBn8^3(kpFwVQ z*@MXtNm^&ko-K@0VK_(Y4Se0@J9oUpK~K|bT|0L! z{+Y4HO84heTBvDJ{YB)Nc*|_-SM#J6-JH{_09?EF8Zw<^g(JOaijPN!VQmW-A?2L* z7nACeAQtNOYZa~r(h(2cKX&f8fIq&}*wclxjkD1vXsLtP_M@gF)>}UUZ2@^+iQ%&I z_chjIrj8ON41d6H3K{mbe|~MsI>xE3QdRZLT0(fGsJ!26Js1PP3>#ulX!f$jgRdS6 zb_}<*t?U^VMKm7&0;2p&!ibfn2-sgHWlu#GZZiT_^JE3+pBnBLea6 zvc?HTAU7w*dqaMB$iSgsf0?onK)xLB{h^Ckn4aMAZsYcNuomFS<1jRg> za7i;*<6_jC69VpMk`nd3?+~}FC0g;b_lpHY4h@b@3EoSOs?!hcvO0Zw6-Nw2V59XfSwt@UV!3U!4Wg7d_8f;Qf}DNe&nohA{l5 zyu8q_h4@ic@*-^d`JuRcsxMo%ii#9-T}sc^KYxs4S3U&u&< zR(;>AgzjXTia2`78tFZ&0#7ZpVkOjm{Tj<0`L%0jz{#sUpr@nq-MiZZ@MfGdbLJ~% zcU;+m78@|N1mhb=#}uZw5Hv^{0m8^NTR2X3ckW)G6lWfvDpR{rVzH6N2`PmSy*)H`mX)c< z$z7+|{3anO*@EpdxOI+jr+W2L+WBqx8>AnJRDj$*Ft)I;FbL`bAAr~&KYua~Jaqcn zyByO+r#Bd1KI3j+uhoHu~H5HICFeJXe&Pcn|f=2s9s zuxbQ%ny3>a;SrpJyve8W2!%Q%ufP!U zV0zVK-zH6$Nk^)dZosNA&wC-y0f;6$&GkIikWRG@aK`7h9&S z?eY89l+b*>n2{;gw=WZg8sanCs%vVrCOIe$e$TUm2Vy4y*;vh<_}qROr!v3?R)qi6tj#uJpc$*-(eY56=x?I3e~!B?4^Y8%8dCV9o>v7m$=F~(`0 z&94+7A%YDdip>pM2GkYh@vdWns^Hn;MJvRrbuNMdlV&m34GX~wMQX;pWcku?L9^%B z`VumF&MQt%=iR#@eJs*!x6lki_CxO|nzC37%@NBG?WSe6UMJUtL_xKqqLRsm;)I1r z`Eofv1L6SUI|MsQ?Dpn=8=>1zK_x~mKOLT&hi>8CEEAf)6Jy2emdmg(OT8#?3hUPW z;24YA5zU2tHmoj<4?T3K`zE)GU3*J@tgX#|zXkHjes@pIl5pzaDJ>C5el9)g5u0n< z_U*J3Klv+`_*Gwjg94+@nfNK=C7*ai^{oHtdEaagXe_mOP)0!;q22rRu!z&ojM(|1 zgf9WfdYkqlFRupv2WKN{opD}A8D7s$V?ZI{9!V6){DvKCU#ejl-(7ln63Fc?bMuk< z%Uh>uQi2L2n0Eb$z$)h6y?vV#IGbr(v-xBo9-6=56m=9<+1VD`@rG_}1Y~%`xF8l; zo_yEkL2_1{?O5>$VAYPV&+!zC2#@p_AZO+$w5{=hmU@ZuJe$n49O)qhe={ug~~Teh5@W&f<*q4r6q3o(uDz8(kq_3PYOMptJ`r``i+beOXBVHf=c#ha&= zrhU`2+dXS}e5%CCv73{vWH0HB^a>@8` z`>5yb4sObAl23jp)NcDUz5Y!8i-b%KRE1O1v6y6gg3EDhh(V5l0b?okSymh=}BM8E1VA*VnnWoTM{QdJB-a}R~p9z z8A<>%z#9hN?%EyVpIV_}IFSK^$Gz>#re8Q&wkdL4sPAZvl;)u0$Dh)eT8|b3yF8m0 z*R41{kR=l)YW^nIB zZLUT?IUz`jphKm`Ru7NqrP!xWpNRq0q*jUpdq|_{fOm!W`cCRiQywXsc97iSk(c!? zIld1`=@*8K;2<@-5!YeX)o%(7}=}u9x<5^~;-%-xOZyBmuBMWU}!b@MKDg@WHDc(q+6T>0kcss(lR)+zw34 zmf1y$Ub1P7jXW-%1L*okr-&4x(8A5)%)EsUPqwf1s$O=*h&FbO_JMYZCcEvfIOV!3 zm@v!xLTd}@65UNZw`|e5TmqQo*OjKfRuq*jebR?UrKg4}ZrAuNCwqvAVeBp1&%#Mz zWf*91(Lbi7np}6tMuyBra1aBtwM$INI=jc-{%u+^#qbkD(<>&4dY4NC zZB2HddA|m?OVz7)cI(!S)kR*e>4Cwf=I_B7qgh92s4QG+674dg_dn~mVN=(PQZhlz z<}#W;4MUPAy@+R;&<=KQF&u;wJ}Ds1=#I2t!3XixU>o zpC@IPA#viLw)lFqhO@xz5*1NUqi-Zm6+TCAKv``ke})GZ7+yyn_LZ(IQXaA+IHy7q z!;Nd#)_pqbKw*qB3(68?at9IJHSh~wu)dtVc+CF^ZEp@G2dsT@1J?x9UEJ#Z2M$1t zlj3LAfb=rxmK7iV)aGN+8>T}IlZ2z;C!4Dw!90r#Jn z)^)HNepdla=UX^;BubgJU6_+YSDqzs63+nq(9ol^%Dj2M(MAdca>#kI^URGe==rVg zE*(=6b*g%R8p*E|@~0Du-hmxX|4R#CbXeQ^oy!&6DLCOt4PF9|iK{8zNg^qO%U3(d zDOd6Fp+AcYV`6;mZehH=Wy{rsgjl0t3&h9?>zG%CUwGBWbmS*J+FvZ2m|X^*qcnd$ z_jQWdt#_Y44-pri4x?ndk@(05=cjZe<~|i}8wuw{Iyce9@w{f~<+me>M*O-DP^Y4@ zG7}=8qOF<{bV7bgP#HGME`fkrFB06~c6?>F zmU($)Ptgc|B76*J6W|r$dVw)0R(5iuWmX7da5NKd%~TXb}o=~u%+r_58nrTB5PO9r;bWSN*TNCmpeSgi!m{t9gtr2NaDA z)eL_M9Jc{(>t&$ggz@yzQ<$h7g#Sr{Ln7{uUphuFvkK$l#A(|*p3?+alrdjD%4^Gx z9Zat`8Ca@s>g;?g`*cfQnR$O%D#U;SHF*>yn3Wwh{CodzZLIFyeiHqEuEvRd@e&z=?xsC zFbmw#@vZZR-jVjv(>YK9N&&R|R?O}u5*c;N(olP@Us0(!PTz%zFHn5fY#R4I#g&K^9geiyTu%1(a7sT+}hpu2Al$ zvHQ{py0nx?9tuOc9sX-L5Z0~gfXZIP!J_Zw-|OrB&C$qL_1c9}`iUR%fU1*DowkuI zEK53g!XZamE8J~rYU^^{<^|zgG|Sg41*6ds3p>x196P*D`4TpATi4uJhcuzRYJBY>gNZ7I z339~+_w8+71iWz$7z%ksWfl;3;pI@)G#xN;P6L}(&w8OrkuG>yL|%5jX45{-D9xypbGmN5KNzf6{u zmF2|y0@rGCCGO~nm>cxYG&foeOfZce*FE6FmD-|<`6NYw)SUhL&A?rfY|z-)xTgC= z+usIntv${g)LBpd(&v<)-*ntHP#ZE<`1aGMb)dGw5kO%_`8_dOEwTYu1NQ%qP=1ZF*_YHgodijo^MHCZ?1`3b`~*AH(5M z!Fthz?3^6HqdA*iHn0-FHM7TUA=Pwr)L5}XnO~PFxxFj$(sT+mxF+sl_EOG5sKEl} zX;9FF?0maSQ*)BC*4nl2iQ;I^utxa}g!kx8SMod(knKz=`Sq*qTWW2@9#TmN*{uvR zCBH(r0dpbKTZ%puos9|pr0pV3kcGO5uldy0vVz^YS#CsUDkvc8eLWMtLoN9k!MZxurS zn%kn}6W}aFT-<*jsP=qG!SvF@ioScwL;ETU*%fJ2Ua*3Gq~61|Y8&FpeFl^*)R=~!KMS1`h+4(J8zc?}K-R#U zB>U8xR%J@%*e7gcs)4Gi>Y+W|2bMzzIbLAy9*=|m00YA+5XdAQhmOE)Dhjlxe z0qzes{WXYF4{79{EM36`4D})0jT@PU<2-&me5UnsQ`6TcC+L5y0!0!eZ={-lS(fx8 z@Z<}#gl7j*g?>IfJRC3-AdBT@NEBz9mx%t-q!tq;|Vi0J{q9*^zXevK~w8DYO z+ULxdT76A7yt$9FT<}|hAuUztxPH?nvu9`Ujbio+cWHy|UY3}7_*3=N!#5?$$~U|Y zJeRFsW_2&Lui8P3(I`&e6c;-|?a*W-^Tcr77)2L#E)td09z90p0iFX8Fv-4=x~Uhl z*5u^$MyAq?#wVOP^9I-9-&9Pyx{wAA_sQWNmeM^dvcjhFP{k<0}DN=itW zTy&Ik8Z{?_kDc##RFAx*9=^l}caq<@r6qP_#5!UU2VMu&6etb&z;}ApCVR|LM+6Hi zCP=SpYTi%*6H%bf^d(D38$AAev7i#+iK5DE2lMq3CoQsuzCJU1Q#Cp*e0^%BcIJw~ zS_3p@;Y-L41HY>wD6^(a2wVWPNHYdaF&SI&3GRbD%(da^QZ9p9mf~QAzpNIO+2MF& zAm50#eSiSFcJJmQj3wU!e*k|%r4Yu3n&*{I8DgHY<5Abyw=$M|dz-%6z@QjaE-4{R zhTN``E%PU5Qnqv5vNAHeoSg?)9FYq!Y4IuIz#&R43kg>{i1ZSD_akJb4GwY2**hcb z5(AZ;zmEb-qyS;z^ZaYbnh&>2o;0}scD2>K=lms)%Ot@@*VSN^eH{Cmo&7O*08ty< zjtsy)X;t~^)~~ey3 zOxG@5$WwZcRC>;sYwSS~R1iNXSOYG0@7dG;mp^gN9V?|4_eDe3Y~D<<&?G>)Y$I-A zD?T}Nw5kxPKygndP8jl?IMLM9ge0J5515HvQIt=yhl8!{izP=WD+;zH`U7hc03>JG zjTP#4J4`ak)UdhTo>9u=F)FTKje93d{U@ zY;YP80ny)nVTYdS`e+>E8Wa^x!k^+`1nR*m_*S^3CULxewAIVG8?eYhxBQ;N zifwzOOyPW1QqzmZNWDUZcud;r$WbC)1AoHntfPQrdw7YnZKw*^;Sf$!^3oLBZJ>$^ zlvgiVO}GKTS$cE`9{NUfQI_`)rpRDuxZ=JGlup1tg6%R|_Mm5rF^yrY?ErCc$WLoP4tC7dbW19VjBha-4CIOiaYG<|10w z(b{44(PsQwd>x;vyEHaLo9KnSl_snJ3v}5-&OKG-Ihp64>Mehr!x?Iu0NLiRt^5Ki zgA4fLk@2;Ld3`>;d&gi6q4&4)r{2V^S2$w+6S)gX z)^HuH(Y~PWXhgln_O7RXm_1{;{2)j<#+BH}6QCoPM@E({gaQPPCxn?KZKf)7@Eta1 z#fHWFKX^-pl(nRfEM`Hkqvd5}tVmhVU^1T-C3itvzM70+=*xUyy~8Q;3c<=JM{8Z9Gkl7fUvJ3EmFjp#IbVT^oPCV*I{l)^~9Mk@L?Y< zL-b`QofAvBI3E-=A$^6WrVCqn z&!NjD<_v^gV`=FG9aEK0o?=@$eG`xEaLmg)G#HXR2%*K+{sHYV7RSz%*d>OBT0lfQ zNt@JV2Q&=|v~`GGDeNmZ<&PB=Bb1y4$*FF;J&{PT!UJhNoF5r~ywK)Z>;d9P-9s`OWmET`y z-rJCRL5(dVl$dEpa(tyO+RymD&8(2ULO@woxgAIOpWagLe#c~?rJ}(!_#Ks<--3s4 ztD3YpdzhT%1D>AmaE0=U3K=g5F6a8ZIpjsmGz7P2V$3|J&tcmtM{&XnHH<}uY4}q% z%2-)hnp<+a?cI*S7(&E0`Z+YGTCzmI7R34uAHK2ayUq4jnr^Nnq-yY44wjY!BqT1xH|0Ke5hSJ)U)@2fDR>cr z@@t=-ex62u-fkY68P=*%>`L9JGm-Cw#r5+i+f!z9H#di^LBH-hV$_g=5UTYe3=*GO zqkiiD)7+Vd^_;JL{AZk@v4(7!YBHAmqQ;UX$w;Qn)~`)b;f$pWsYsRGtarsT-SN7=bY=gp7Wgkarw1e-{teUKkxhfe&6?9 z_rc@9!GjEMmY=oxNVoHSrghxDJ%!U;C|+=`*`n)0af1MIfgxSB7V*XSaQQ+g;Yh=; zR7$$Tu8n-Ko4Gm@cXbU==0F!ROvt8z%D|9avn-(LP!5EoSd_YIJBf9OeAu)`J1CkDN;OoJ0`q_BuDH{FEvq{K$xnOR8T^PHm!w*KlLZ@##@-3(W&rd^t3kXxwIcOUE zV_=Fe@ji;O^1HN^NTY=|!Onj=&z~Zgb9$Bhn19Xp&;(A^`IF@7=PC&81mF*n{v-;k z*bS*)#>%dz|0&BrA{KBy@2T3DkUnw9NsTS$`uZ~IDr&|a9$Cx3x;W{msmxJgo6`Ic z{phlR%6`wBY^&?);(KmZWxR%bZD=@k;>2afSM+@_W?STq*NG41(6#HI<@7?vZtj>= zoV1R-PJY%K5VTtR@H5%_#P2<5*TyLrkiOHwU@rD`yXVQ>{$nru?*Y+8#-Cy)@Jnyl4z!aMhK50k zqbAPO&|uQ*C>>OK-K$f4aJYDQXywdXx%aiY+nOxb>8h%AOeqz5N-l&SCMVXa3hjAc z+qt`L%aPIR)XiM_U-9Y{T>HzH2X?Rh_PN{m))VGuY$OK@3|{QlJ8Jk&hq2?mSh|Cb z9plKPi*e@KpFfeRezN0IsCnAoI6>1M&kNtj89yCwXDR#++vkWwijBFzAJ0_lDP4Wd z|G8zG#M9>2Yzy1FWqG6em@bZl_xfI*X}ei>j!(4KOLPu@?YD%kAfoDs_iGGIv)QfY zrAd*h#}Hjr9fk=%zH%d?#IFSf=9vRbPZ7D5bqUfSSWd?UHC9sAveQDZh`ACfcD@cU z4bgimj3epo*@c;&2uRVmuCQ4R#Y=K2A~(yVd&^2i{-T`D4t)K)pTj2a*blbWU-8p! z7y6!NaB5+8C&!GO9AK~@N-`(TW4DI^76O`+benFnWKhwLL{a0QPpzNy9m~y3W|CXS zSUFTsG_9D2)u1}Q-V9p0VnyiQSf&aJUzO7UdfkAIiLwyO2)P*fL|^K9e`{${E~MYvS&+QQds0ac5XsEM%uyPfoH?b=C4NZxSdqP2 zXT(*FlqM)_ zgsIlKsOGsOn38C`qg?3TS#LurER%WW=c0Q?jVd7z?=?yiTy%EIL5>oobs}$@L;pLb9#Fcqoboy+&L%nz);qWy9o6h zNV{MK(J5h?eo9WRBZBi*WY1AaL-q^eBsz_owV6sHKkt3=n_m+a>42~e%nlPbA4LOH z5S)05LzFIqKU4fzROCb_`{oTlKrD0c#Xx?*Z3-&X9J8pd)(q^lB-7X~1VO~!zKmL8 zFRxyT70uV4!fqj?xcofUAsjdDu(k3rc@-5Od5dL>c`&|wO6Q-Don14grGH{}%W3d; zUY_nu;~X=lgO?eazFibEKvO{)6!zHK5G@GcEL8MCoPiSdfCY-Kkq!~kPr;O-%dzll zK{JsrUkkLx}I;Mud9Zg}t4HbX<7pVtBz;$+J!nU&+f5cW>tA z0(rBW@2GMf^Kj#?X-eDqt~D}NYFZi=rYLVsI&&flMlX1Y7DZ(YD`)DZJ)RGY3boaG zobofD4k~P|&mZZY=G9r-=X?7l(dSJiRRwC*GTI;8P%p8pG2H_7yHNYXQh6aNy6xpb zOk?DZ`%?}b+5>@P=V@pZLratAa3QF9NTd)GwIvtBW!JNESW-MGgvYnd%|(_csjBAS zH~LO*chWPj-US>inwn+X-*uG<3@I2BHCIFV29)lk-HGXj>Gj_aL$qA=?gMP;V zVlH6ox^>3uPqBU=S1zOkgAV}sc*+t$a$U8fb%N)5T873S_O6zH`*#oL+>JoVZ5EZ$ z()i+0v2tF=l0*0H%SF+VKB85(KT}OX7gA-;+2i{kA=JpMqjhMGkPjjS-o9N^k$uG_ z86yPyD>W&JCt-E5^>-ZMegiW>y_mX?^EryCrm9Sp* zyD5L*V)5M(dT)EWyTuL$8Y%DOtz72Ghbk&eI$AjQbMgfM4_s6_wpEzoJJ*u8Ra>GH z`=?;p+xq14{mUn4VS8))d@5xriCfF+6fkns$oqDBXRJ~`el(zo=!FGYu5{(Pmu^FZ zwKwt8E>jo(RDeX#FuGrv&}9~*vA%wcS^ROHH?##Nq)7@ts|)KmbZ16au$`AmUe|F0 zSoGf(aV2gdg~4LmWWNdVle-M@|BGYyhLyVxo_0k?9uh4FFbDkv$)e)pT03n520Zcx zrp~`0%U$r~+At5#WrFqf?em{mV0Z+b-SS71I)E-ZIM5@{7Yex_d>Pmso6@CAjzDmr zvX89bv|E!C$)Y8FEVIt&Dybv(u{GTxMB%p`VO0s=*gZD;e%y4y#Hq7+LrpFe&O`fD zh+FSA61Z$m4%D)eSd&diUz{Pw3c{xSeyc%64s*C?hYV@nFb|Q2)x@3q#6cJ4?j4#< zX84R+62fdF0ElMG%|z+JD-zA);dwt)>~6yPnO9t_p{>0Kln&%frsiPgvMJfEC96rW zv8};Q4%dO#$?u<(|1FowM|AZf0RldjLVTHt%@Arovbd;%VZcE8k/Owrkrcx#HKK9 zC4J8NHV{raK}?4O0~x@J-KLPc@{#RV5js3tJ{NWvlIXhTW6rV$h2jd?bYhz zr@h_TBprZHic1G710I4-pKh$Il(2jJtY(Q!W%^D&yx-TCs-eqbf45OBEejbzyPex%7l^&K{-0GnX<>&91i(-y60v{LPYh zjf@+B9D~j+Se@k+hYt@54==|%1zEcJ+5GF%8P8i7Srm2Yge`I7Z-@?lAgY6{rXDk zQJ~n!?=S3FQWyaW5v&E|{UmLiE?2QDKp2aE@(DhYSRW+)giYsWFPdsO30NDlZ3vL3uDmt5q)OuDTWU#urD%Jo^ zjefCmF>Zbf`}kLXBC^-~UCR}Krby+mph%0VkN#Flt|cH!QLvtXPQPy!1YUq+tk8Aj zzZB&E%U`M(5&MvCOU=hk7mrJf*kIvOB@#WK7p0%%K0f4|B}>dCpK7EF5plzuAtKS~ zKl@Ek{ZGAxx^M$elH@_;)pYu1Mq>I3?)9X?-aHHpFz%T|vOME)8G+@#_=g zZ~J}O@$Y>n|LmRok4pyKzxMTO3pb;hEm(TqM%UlQS@15m|(sW*B$&)oh!^ z`3dzm`-rYNFFpEgF2~G&){guaZ=Y3*J2fOdQoc+$|Nr(Xi$}!H5{u)4#4#CveD{uj z68gdZJ7UYfcqjj4=*yZciG|{=o))|RkFT;-R~+Ey7Z*9ee%l}4Jr11zF0`il$U?mt zhI+?ULB;IAxAS$M;@QoeA3hA65@J3=b-lTYwNCD;qAdq;?<^e0q_nIr;*7;3b#{b5 zURE>ww3)g6@mpq@GRi(51KeEhmWmU|`=7_oP5k@#U0f%l9mnkUxT1+Xd95D};oHa2 zMi!F}8C|H2do2D%YzKI|QAGdVDHG;I8cMQ*q8);-K z<56F|noUm*3mZ4-EF;QTHa`h<^y+TYQ^?m;t592PF{D^g7~l)HTQa$5+t!N zUywn%HD$LWIb$><-T$+LLld(~E=Ohgx?Rk&N>zINF~8Kd_K;?3o$15MnDq3lt&a-S zoQz+7lM~>tK6SRl;@Nvy>Iz9(*CCt(9aE`%ojLP8swh@foZLqz9Z6eZV^hJ1s1yt) z&^uXeWm|H~k4{qkt>?)CBwMbVoOL#tWAv!)v%4?6)?eXk@wwtgt?s4|y-#P`hilbl zlpgFOa$P6z=)7P<3*+e@)kDyUpF_N2x^ji|+$TtUn6r=MF}UN*Tt_lRclgBI)ty2+ zKH35bZy+xacvSH8skP#Ub?e|m1}gjb`{$F{T!o8_j*_&$Xw*3ndFGhkVZTz@2Rl6; zshz(fqkMCZw#(_NtoXcyw1!7%OY7EzaJ?lYP!QQx%ioiuG2-o{mUosXZE;5^D(->o z9&Qq=^&_@sa32zH3bVk_4h(X}4qCO{-MiaLD)H2;H$iA}JMg0CabDhQ@(}o_6}BsQ zyN)lLoCQ?oOA=OJnblx) z#g!6Txz&tRG7rmOLPPSvp+iHj1e^|AMzf6Pl+qO>Sg}y!Fa$k8tH^q#{tSrKC5refzJJMFo+(|Zilr1 zBF(#crM5#bP92h(&44}NG~*ohMqb?rnFK)NY8UB@Fp6M~r^ zp)+^hJm__W1@5Mbs!}z)S_sN$y96m~8SGKtQ~jD$!l*&h63bwziI6;#IJ5B)5v#o+ zmZ&&K1qk)^&4aI@wDeAytKIC4KUeKt;p=6U=$O4owO>v6eystbuQgg8erL6Qh5fQD zcinc^OaHLI;^iecaq_)#63UcK2M-;h3+^IFl*ok;;f%WJ{;3tY3L|hi-MvwSi_dai($D3x1=6U^N)@hra)1gB>AHI%0wFh+y~O z_U?Gb_oM9LuXPWhQHS#N>y%XpX19K2KfM|{&q6q6R2Xosg{_~9Cg zMn?B4CR!>;f4SCUh(bwPz1(L8ja(qV2s&hO;=#A`^O3Hev%IQ*xW&V!D((X@KyX^5 zNGv{mXfKI3@ST+7*}gh2LSdim(2uT1+%-}&HoYHUmoM6X$M4|g?v@*}o- zb`#fqg%uK=_BnYgNo(a!W6c501GE*|?3TM1W%ucLZT}yO_RH%bO3z^$y{ObIn8;4RlW-05|7C$_B=;Z!s#dQ%Vmv@^{!qdmVc?Njk1lrj7c?@CrXU<|(s#X*$n!d>Vi z3m1_)8Iw=S;lqXGleC1D&J_P+>;1v#t-lt2v*)<0nqy_-!CfO7M=7cH_yx5+Eqbzv zq)bIWFg*9eqMeyWTh{2s-dirE&mp8DOexe|n(Qz4?@#~Yi?#Q@c=|w=Sn#_N*E4q5 zu=}LQrxw3w69pVN@YNAR=9|+rHpZbok3 zB}eCtowwX(`OI^h#uUe0oufKZCxr$*GiEsP@}U@sERZtju|ng3gC7j>lL$=DHKPQKR0xcwy{Ocs#Ji zsMIub=Dr=DnQjwSxvO}4}i_$2_dLErs~ zr7TLUO7`L!XCG`B+F~`{DMYQ(ZQa^G?@`lEEVBZ6onAh1p}YXhR_aoi+S}j8_4LT` n*N0Ezlm0slmM!W3=93|xjhXE8d7lVA5*aL6uA88$v<<|o)PemFlM5RMaMCC^{8 zkC^DOyH08NebOqgeyPJDAJwo_dAF}jhm7=Y<+Bq3^y1910|WZ| z__pI-2@TIafBxJacx^tT?Uuu^ita@}FADO2uPJVc0|NsqySCsd?wU&Gx0){W3bjvEILAFJB?Jv-)!kIzvdt2g|C#F2E@{81%Bd@jLgj53jNU2%FdqR&dFSA+N?iHoam z8MVht7Ft$R?)xc6JDA3%zAk8*Kyif64|+6Z@E zPWXF;P4QK07GIZWlhl<}-o2rVu*=Y>HXsirU$b)U&dM`&N~ap8x?z*M`#Sy2j@CeL ziha!GoPJIr3s>aTtG_fGD9jd!AAKRk{rDf|4{p(v-AZ{ZwD;ce z*rwQ~$b+`bbXQu;(`XKm-#lBH9%uOV_Rp_(CyJj(zFhBrM(^Z5+1j1x&{NP^Xg6K# zw5WOgdW-3!zoV1m!Y=#JcGn&8YTG%x3GozhKBl`G-49jvGfOMB@HP7d`1Flr->Y~? zbxpSG>s|T}<`D|I;jxQSxSxu;YW6BF3Ufutd-DD1Qo1xpg_=G$GR)pHVA^aRUr|gG zA1rLJ`xvq1`+`;%kL%a5oYt^{u-@$AIA)n*1(z--J&R$bx?}s^-qq%0Xa6<3d_Vj! zaYXfHR3};j=*6Ns>pr~i|D>BY5H6oRrgF|HhMC$FtIKu?Pwu;ME zb46zzVkhPO

G1qUPLQ99yULsmw?_(N!}0u`a6loKK}&{ANDquuiXoMufVvRgdgu z@CFq zEA>0RA2#A|PGlGMswOwr)zHvTb)q^$^&m7UQ1=`24~mfslDX%^sp;r8x-3e0%BZNQ z#KgpEG9ErGn=akdNx4eAnd2ungWe>MC9nA^e$WiF;r*FxHNAfS-Pc!i7x*mmjz!S~ z41b|1vj2T5PNV*=X!fY-NkNO;$u7YUN~-D#CC_TK^4^i8vws+FkIJ2! zC>@Vp`A}`R!sW}}msC`;_canfN#f83o9qqE+{?v*VXN%w3i4^8=lKHI=vK=XtOX-% zi#w@`IP+YV-p^hd_Wk24V@QAhXuH(g__~M9``MR+(>il0A{T4E@NrL<9NQdUGMuTG z>@poOvakEyEppp}skA9JMM_OhP0B$kCf?tt!Vu*aHj^?j?Pj7os9V@FW&zDc1KF!R`q^Jx0QeOV#n2_=c+usu7osp68 zHGux05}vg5HJm!Wyj;@ZE%B`gdaNt^eTh$!i1P}hB>rSzFB2Q_@5-ZcsQCoKGrm@Q zOrYI9<%0(go}B*soS3$2p=VjoZ2k7_oBgAMc#=D>a&BhkbGv<3Kc=VYX=pg6PZ0=| zPfJTni&Tyui{28pTU=b+Hjkt@1g|%_P(t;Zp{1PA@cXwt@zwwFSz39x#pQ;!w!3{L z#RUb9a&mGyI#ET6A@72!mdG7V*jnFM8KY3JT|3R^}!;vU78DeMYbf z@fj~)zD!YnCvf&GORU{=@1w_$#hjO}_I}$caoe3ZmgO0kjGP>;OuY)f!`wwhMI|d^ zDGswk_s84Jr+bUfTJ)NIPw(;AvFFgK>!_b! zPndVYl}KTe7FGt$66gF0-t7db$HXD@>_Nw9O;PtyX=-jhNI|jv?ZD6wGb7``;9%xv@&)6&bBn0VaZreiO-)bc;T6JycC>(Lo7qHr=KJ^WA3b^`6F^sNH7G|`*4f^^eb=t~uru;j&Y3ng zHlNGNa&vMLE{A>|o*nN!OE7w3`H~WE8z$zml5wl7x702A)vNZ`7rjPCM(EBto~BPq zPQKey(Aw3t+L>#bpPx^2_UU%^NWe;NJ%}4WVO8~D7lTFe97O5K#12jGn*J4J$mTSAsU)Or^UP6-0$vGzvQ7G z9T_p}dOw+6FLqnHuf(Ogu3~srx7e}bkVmoOe1YAxj* zOY1l~KQ~ukJ6ZMgy?Iw#dHDc_9oLZc{(Y3F!ymgo7j-426N1`*ei341iQ6jXa!zh8 zW{8@e_$W1MjNMpYHD5pFDXYVBTpnR1=z)Curas7DjC?&ie4Enunupt*f{Bjk*uuG)2I9RPT6Qgc-Pd_xNa;DdwP0Oaj0b+ zoSmJ;V6-b42y$~P{;~3Z@_}$(V`9)BzNrCp{c29R*eRnS%!OCoa(9m z_AN=EB&Ml}SimykfZ&Z$P#^6%9Cgl#+2J0cq2-4THs+n!*jQed6&tRQ>OrfwiqTQg z(Qfl&stipnEqh5wP@`{!b+osyEtYN)OMJ3wisx7bvHTu6@`P68W!cXoM~+;6b^0fk z!sWE(k;apzrl#ArZDVL^Yoil$78D8b^7@)@J>0HDGJ}mlOF_|8aNm>xK(UME2l|9$ zj@#x2=1yMc7=izcpgeIXaK-%m{I3js^0cNtKicEx=jQ`J!^g@xf==<5W}w)QjE*k< zeem!Z7#Qr_xs#%?`K_XQx|WbdZxP8sW`5JQ2~^`gx6O0SLsh{XA>6tf>x+H#qV_ip z3~W~y%sDtX7)*ML9Iz7A-s#jPoH*e+-j?>z!y{cQpJC}h@O4$reT1;%#A+>P(2;c~ zAt8bD#(V6{JJD|3r%vtNx6gpf`(PvXBPA^@r{H%$h>o8pWu8U|Stq!xE}-~KlqpMI z)6fud+i+G3v&B(G&RGXJ(H09^5qK#@vzy+ z6Rx*zy}rrpk(Et+q-aO{Nsc(HXyp4N`|5@0Up#Dt^Tg#HLyf%>WJfA@@dB9~>%}d} z#C9TKJTN@GxzJ^?RIETSawb-1RqIPcoWq_34Tp$D)W;6HQ;Nr&VwHMFB`!Os zdFwX2tAs}RwKaDSp7r(hcnaNoN6xSA!Lvg?8!XgUC*G31e3SJbeI#S_bMkg~>BmB; zvMHw@CAXAjZ700^cU$o!whiioL#`?b>=ngt2{Dqy%itGay^OXSgV8XGxcX|VI|Z@2 zG`u1?l;GK!bH#ItKKR$<8+&Up!XESviTx z?u-h*msyCv+)w;v%kK1{ZSE7q`*GJantQ}{<@wgi9mFn~n491n&PJ%*`u87kU+lvF z{%+6Tf4-A;J3~*a_;jfNH#Z!Y7x zZNFyORym6uRBM&lIg$pp-6?q!ks8Joo8Hbbn#+*JkX84{Sk?Hf<$aD^l{fzO7L>ly zl53>w>@mYh*OawF+zD<(eB|%3cseZKLnooJVXF1)LDg##`|mdE?iv}Ozqa8gn zX(_a&?4ga#X6UQ+mv!Zhy=ilzxnc2dn3~fs3BUiaGSza?ygIKyHM5oZ>g?y1zP{3A z0}3%^BYa{iJ9Vi?dSqN}_2{?t&K=vAXmFoKj$)LJkNPDgkL@!afA*T^eg>1_Su5K( zS!<)wYjSxEqI*K*n_o8NjY{Hb9WBFkN@J?zcm+=0kRg2~S@yO038CQL`5I;KL{-zV zflKBNInH}>GZUiK1SGfzQy$lg%W?^06$Iz9rwQHZrr8mfWcn=gXoqcleNp1LA^*1! zy1u0Q62!T0pd2iUulTeX7Mp&4-K%jfUSIFLINh6@;srFD?{;RZH&%X=lw5U<-%NkK zIK8oaNhU;W)Avg~UdJT;`m4P>dj3L6yoQ+}%S_Q_*E*kz-VyS~hg~^_*1@v|C2zcZTFc#5!?JjN zyr0yLg_}%j+_+&k(LU3WZ3qZ|O-aee+xyk&TNkzsAE2SBj+hTxAxoXV_Cn>&+s^e_ z-HTTXih0CCyhr+FMkOC6$f%Be7-dB{x$3LK;TkxS`}qs%in8_KUM$|Wp_aIJrTbU} z1YXW*2439H5c^QXbmmx&;Kj%L{F_@(#+pPc91@LJ?;0~l8wNzX@!sr~v|(LD((Bim z2DM>e89GJw&&}18m3j3mpJ^A`lGOGRx->@wnyGgtwO;6;I#Osq{B}1-Y3x!&a;LTT zh@V5??S)OJAJ^Q^rv)a7JScu%R}S#}RVVLMTJiHdEh?9Xq{*%pspR{-x_45L_xQa_ zH=bnO__XV*rLj`5qa*n%_2L&Zy24W>t;DZjzZ zqFq-;3#Ut}>+5whZl2fI*O!wcT^&Ua_V@QsOHBm~qNL**9DA+lyUgYCEjTfPZK$_B z`HZ>$!6^G>Mi=oHy~RoQ`3Vd}V01in;w1U=f}yuc{-wK2oL)ru?5ObRu3r=lHVAkf z5I--Qp;@}V5boz!T`#`rJlYhG)=T1QGue5@#l?j#V6nq6x}&Sh@0=3*9$$?oZNARz z>J{BIexxIFec^#+uhp1azCBp6Z*~i4Ol=H$sWt9SAQpMg(VXK9?3L^MVVjE*vxhbv zyRPJly>u;jm!1_U=Q~=<;ahrnI6yX$@Miv+{hd35=)FS6>iWM1JQ4#6Ji-UQng^_+ zn`e1m|1R4Ld7k9U_21>0ON*5P7pIK|pSUSBHYF^N8(lrVP9bx#P}Z?bT!M<&DAsPQ zK9!UVS>DF1-`N~tdE$>J)9))w)eWft|H zKYxC(=rg!`0+4#5Ev*X(@GzIw$gf{nuIr8r&?1wQlZoshOJDZRIbFs%i`EV2#OoBv zP0ZQ>ffQ5zj+{Q;EiKfJ`3-8NTs`S|#_ zLc&8sLtm&2$_tOjM4f#iFyEvS#5?6*cUNEkf@F~MyYnG?{E5xnNV26R$%SQxzSw@H z{>3p5?(#+x>BnDM@J&qehsZtOdr z)K+#xu1P;HIl&pq@Zw5qQ`(IW+hzJd<)?by4&NjtCB;5s?5Q~8Av1a>o_yNhL&!Q$ z-{^9WQ*%hOw>S22yUtNAYHDs`C-XiMu2i#G?#AC48941qeQ5QarXwkc0)2;*6vk(qqs6;&Z%p_#YFadc7|0trO|s)x-p%{BDl)_3dv^N9=EEM$U=g@ z!nR{s0EEhA$J$=WjMCgZkFLD5ygXwsN*5qQWDA5d5BTB;$5sBKTDc3ul7mjZlskAN zPW}~0$`iZfrSI%IySK986V01gWrgq#UFET|o!@qbu@ceUZ*Gt8BTBmkNG$l0xn--X zsTrw^3jRVn7Cnn2(7lM&7c@@XHE7d9<-z64wCvM+34ak?`P&f94|j{9R-L%`7&Wei zQ_!o72kYbX>B{PAr{zC)q@<*BvyDtmv6?~5nRt}CSGl*uH2#IIZ&X)V*MZ<)a_dHg z-}t&1O>^YPF+ocSb@dN9IoB>;?4RuVkfN4W;JlpWsSz6&XKrRDcg7d`O>)(PC7o zT9cELxJHoIvd^FCMD4FCE61j!h=4NDyDoidZdUnhPEb-(!gD8k3K!LNU6>-%x4M7s z{|f|+u5P&bp@e^Ho~wD}bn)Uv29xH5TCn!gjg@g+uwuBtWaaad;6RKFV$tGG3ud24 zn`&yzzCNV|1!iJmA|WBcpOQh*(VN53ZYCxsW8>rU*MEI`!J?w9yhPzzxSK#t8$rbC z>~H1^oY3K(pOpEt?7V+}fNF}``tooz7$4pZ+DrErf0|HbtA?2Kqobqy=|pcDKua|1 z$clgdT+;prAQavDyfs z=8lf#mHBZ=e#;*pL2k3Mx9{A!@0j3Kb@j8*7^kbl)pw=dgJ%2YHEl0 z@CP1ksKpFb-@fI$t{1#}$4%bR(V=nu`r7<=-HB7CZK*SJb929cLo}U&k;bH(x67TG z2=65N8U6IGo!aMBw)faM#~f%KVPRn)_E;^4T#T>Xy7d!x2!+9MVS=qWi107=V@92N zgvtu=2F@HeH#bxzR4KlL9Uj4rnYU#a*jZVPD$5BHGe5!X-M?HcSbWl^W^6nf%4b-z zzHoz+GYuS>@1WOy`YF(7h)AD5U*O}*ez0v9GZT|`v7_pRV~UFPm{GgQPE~Df7bvZg zHe)SGk4M1#_N$MT>ZU?7JkREswj>+-os{O^;vuCkTQFZ-tSqm^J$6n`CMXKAo}Sx> zXyc!BeXtlF9L$V^*5bG_H%hcXu3xXbY}}UGffWNZ0Ko>60S11~;g9||@gD;}e*F0P z^L1RD^>pvK{lrJWAx_OpSF)mrq*L$TT=TDb8P1g|M{p0j8W9)&OMfe&>DTZuQJWN{ zBPxo7N-0RZWPA5|G9RL(WMpBfW}+uNBbGx#)p?z_BsBK3B82ZJw;bL@@IO)q zh{8&SRR>{I%>MVssw&_5;TxKobzx^XczB+BUsF}3J$4NG(#yz51>&VRI5^bE(2Khk zSq=JzgoG3ntUxA_DznP(#;2jM9;TuqxkAsQw>{wN9uksU(zLX+>S>zuKy5s6*bf+s zCG2`1R%YhMk>ikyKw9+V3^T{x3lfaFiR@h>^ty%y6C>jj)P&ETBq$Dh$jI&_0I!(! z6a;hrfNmb2kRSjSkgi?m=;*j}$BxO4Y#Fn2a*`?um)TC8q7*jNNUIlHJtZQtib8au zIbZ88)(xWy<&$l);LDQiSea=={QBhG}Z-IT3TPyiHxi|)^8{4Zs>fDV2zisYc$cVrw=o>mg z`_Es$^v;|)qoAO`z|O`7!KoTsJ2XJ_+&M^BVz<9M!JHHn7M42Bo4}TdU362Vy$oUI zZx$dbIVAOq?5S9>%h{&(;FXHLqq?=1m*( z$BHnJbAJai-^azL3DS4EZfRY&JQh&F?XOSK+uFOj_MEeM2l*>Gnfd_n@$m^oBSdf* z3$#>JsyaG#gB#XE7qqn_X|WZY(Dsy-18?RS!-Jv`I0ZKXVwIjs+AP*;BT-RkxP%M( zy}X7J#=y?bo|TbtGkx^n^Za}v@8CABhuo!AaVI++z zwXw9k>2*$2luNsye0Vk#o(7-YRJZH;%8p&T-oAO`&8${mu?243-%9-;DykRnvui(H z&6BCV(!S14$MuzY7zNRS_kQ_OaZpfDyb@8sntP{PIyEwK-Mq$nxDINY%liCx)P|Km z)!aQjJsknvJv}?#b)qS*`*D{DLS+Ws`0GK@ozt&8Fmy8M)II|BIbvmz>j!*XobEG} z@$>a1zP-v5+!Oj<4NZ*q2xeZ_b$M|7`#Zd?h|Nd_J`Tz^AIq6Nd-lM;f%+@eZ)j-9 z!pL}4u*y(0eJb19)YR40f721fqNATZYj|&dBcODC zqT|JK;)Wkwhn%(b^})!k1c^!3x(6JLjQX`YzNKp-6BSCQeNZzhw#BD~`WK@`QkZS}$~nN>ZZOj)xHODR@}@#a91S8u9aIeCaK^ zY_b1qhxotjC940dKyx7OU%WE=UjLWYqI=h_T`Q}XVwHU@8!BR# z4$$)>i0ET>y;rc5Lm@wP>eQ8JF`|qf%%M&}#3>+f@HeijCPMR8f2R|Pb&0B&B_E|g zEXuWH1VRimL<^-C2IS=AJq7n)RBPdK?s4j5Nm|+r`cmn2c}MC5V?~QQ{PCn6oL$xn zcUk&||;)g<8G!(2by3Y-1j<47?7cx+a?OKy@SJKXRiE>8(r1a)eQ}&&z@cURpAG;cAAH0W^qwb zPHtr)yB=Nu#=sshZ3;ohlf#VM^R8N%QLsk4%c_^!({qAAT1edO-`hu zFsahh($>)wP^XF=W)sv>c4N3UUR_YjFrbQL0LWtHCs8$~9aGBG%rPQAa>O101TYMV z4KjK$Q6Ztw^*IzwSO>9(r*^>KvxR&R6BCn~`h>*D+?@8{K@}Yxx+6!HfK}n`HdIxO z&DM+8!wE}GB_hrE_(9+R80L@3XojYyTyd-1rE7m$l2mYqFz=4QwNq1jc{369`zgJ6 zlLj*0n!IjXU_ ze}BHcy&Z%AExE*bIZ!BadEna%bQ@toK}Kd~v|)@L6`BPlWrUbZC$!m^nByl;o+S2i zWfhg_?)=+^hIX49E&@UA+lB3>P6?|+%L%D&ZEkh~K7jyGG59Nu8XJ(_OttE%oY9j& z${_cfs+!S`LEcxQM3?7ARctXrEv>C*L`1?P17Ezjt*57)aur39XpqbW22vz=a zOx^1va30MD7ACv0n}L(|kdk^M#h@S~>n2@{d?L)?J?*gCdo^ z1mX9FZNjGx}_sN!N`tOHlc2qtJE|gBr^6fR~RC zYN?Tl348kwNVy;;xcrHLsMf1kba=|@{P^(S>7hA%cyX+i1N-*ZuU|0ackSABun`5R zK2k&-&|u&+q*f#Wq2atqNFePI|CsP;?a*l&T_di2URVpfu50#WWd6{VAl&_}`Y+oH zuKG?}QD`2Z(HJpiQ971n7(*EpTVw8FFBpHdiB{?q7Hn;%acA-Ml5 zkyMoJp0I=1hX1Q!`D;i>NZ8oqFl;v_s16F<`s|6Wf7V&7DSqO{`9s@3r2fdrN=;#w zA}@K2fC(V|^9Bj>K+gn3lUQ?}J%i3pd|)C_g~d15RIFB&;-qEAp9y1qfZWP41v!WG zzEz~B3t$PpdgesmyxQ5SSJ}^Y_EueJr@9`^9Ya}KME0(8V6gB3AqY;?RT~{09pXmY zT<_aNCq#;39P5@WqhW1r4Lk>BO5kIbe({{_3+6M|Wd;g+$E1&1A5!f~)6&u5N_$zA zwbiuuj>f4ECrTd^So=K)j+i zZ#=!RbO58;QZ?Y&G{e?6Simw9vK|r?7It)UiY9j1J;nAjv5}G5cqhi~Y+PJAIY!Un zeIhG?QVgNA?DGEIyW4?;jf@f>K71Gups1&(XJz&0u&(pZk&z?Ej$xzM^QR;xUN3bm zPDx3@3t#cv243X09c8%^@q2zgH#>X0HRU@PTe}0KhmoH@Zy6d6_xD>5)f^>pAk}X2 zhsPm!PY+6X<4cFJ8_VmdUxXV+Wx#Q?BiN4d%jjGWbwrty(@u|A13Z?$uuX2*t zRIDpIQkOSQE>v?QC)4IWrhVR>Ri}HSaX>1BBkuwHi}HmJ%o?iqPeByG{X8x%b^!-$ zpJcjKNT@uFS*1R^9UU=96;N&@B_*{AZOuVNC3BE>!GE=pB8#YN*xH6e zoh2@Xk&!(}aiC|3gH*-FGB9)&JAHWZ;)Um(NO89k=ok};?Z+YF0{CI1_vF!i2-dn$Qb&a`W!I8IULdW zH8i1Q8rFtU9Xm#RJ`hr2UfyXkhLb1v9}~>5{P`L8z&Yodz(b97uOxIeCzdi^z&o8VsA>;7jt{+X2A zESFW=!-qpKCeAYzhx=StISYg1Vq>KP=m2@rkTAGP)pxS-rK_te7=x^=Y>fL0Vq z6ORqlV@3{V46O#VbHBT;XV*e)D`{0N>}FoU%$=ikUUgDPuaz++`Kc5JDJdxl_C;5M zLbxk92N)np@v~>!B+4L2RQ<$V0j{{r{Cbp~%}4Hn4Va#uj%JNb|N8Z74;F%FUVc8( zLUo;;!usi_k%iX>amEJQ>KlMRv*6Y~J_yu7?Tk0T!9wl?z>=nE4da(^rb?e)zY z#s!P_h-ZMxIEeOwupvbT$)Tsao7mBCpZ#CR7}&YEdXc1a+nA*XGm)3CMs6@HJUsfG zlbX>epcJ|&qzmK^MCrIspMDlgDLN)7prl$K@9Kw!<|VfDe}D|xjk+s zmnQaUl|8+5S0nme8tdyp()5?f3&%2(Ym<|2D`EPyw7LVCZYv3*|k!v`B7Q+kg;m4$3W@e-2_TbZ1m-VN#}I{D_> zY(18=muLKU#(F3*)cfQwDf4qcd25_!W@TcEhsb~(0j~@Ynz*3$N_F|&-9hmojf$_n z^OvQd2T4X5H8u4_#=!LRoAL}}&2IxBPvO4d_<-*mqooZUr4Vp5UyP=3iu~y1-h60OiW7RL4q$N|6+_bukeEadWqHWQEm2nD1jY6(YZ5jXgu?re$EQL1y})DpP`xKwgnBO zlxthtY&VmBhN%C&ag)|NN)(RQW=|@fD=m#p7Cxk*sR{0YIFrFjwqgA%(vqKx((crs zHI%Q4p%P#n!fHQu`lbYE;k9d&tI&2FE?oEw=FETQ%%iB)Lqye`R?zYX{-RoEJ$bSp zW+_F~@*RGQUQDaFZobtWd;7enPp{xltP`{@vceen6aX+V0`3VOLqrZ67P1H#HUA}) z70Xd#%++x|8H54L3xl-mTmn4({{6zzOg{)%-S8}u%+1Zs9PI3`R*#x6Ae7I}o{V-S z^YmCgGH6(5DPcOQff$Nd4WIN6hzFblHk}`9m7FWvFFrCp4nPIDa(QJ1otcA`HF2Xj zh5h0}Q@(zz5Qjn3eM{u7p#s|5+aD9Loj|KY1EMlN`O}H94f|<*ZEeX}tgzlYUE($O z&Dur!Mu!x+i#9T6PM=P^C1cWc=LE(3+hi|TVjW%Gq+|sTkC5(g$ zYB?$_ER4Fx5uVyFOj z+cQ4FV)$&6DT}`4YcRh$UAiaj1F~=8_P^b|iTxkNT6|;aA~uG)`XYWE4XA=5cg>MS zpo}`5^tE|fhC|yYgfpRUX4y_^zD_%J>GR^HRNKkUj?PXKQ&YYkmV3H~{ynHnHpIR9 zcSMy`&A(DJ*C*C5s;8pc_PH$f#7g;TX=}q(f$|RS&76Oj@TVfFMD}*M)`LL1L&u+d z?MH3po9;7SivRlekbo5;uu)M_xh|yFHGy#5-Q6LHIxi1~oQcq}{-bSiKkkW8HF|sHcn`w?j6vhKY08Hz2?w?Ds{>H;E^+B$H zldCuz8=gbh8B>FsH-7-}FHUKX4()7MdJ~VN$>awZ6dBpsG@|yF&;bz7T{T83 z1AD2X5xgAW8IoPf2|j0R2zV}7dXp0q@D=myXMQ2?`}lIqt=(xRcPJ?+{)r|+Z21nE z8>cqlo;k2E?F=`By8yINjOaA>kpqjW9hAqQGGMi;sw!;IR^Sl46L=Kr7M##;BHXgb zJF5&k+`oVSFsEhik8oy2Ka-qs9Q(pmFTkb1{wv#iG=j@5-9qw1)u-{7+jtHd5Vqo z0YG4Rc{ykusHEnN8`%HcH{PQOp90JK=)T1aEjbHuhX}!Y9^SAo-rwy(=N^NX(%=8$ z)vH&y>WagTj2mVjRhtIMHDZrv=G-)5h3G zxw-QI&^|`^CoD9x)jxm!V2CTq%MUcd2|r`flBiSch;fvWmd3UMiu2|A_3^uZM*iJ7D|OQdiwNL+!#6*hMXA0ha3!ncISS&HLxk+ zIdX~fsap9>-Q8l!zW_lEll^h0f>Jx0N8`Q1OcZf+feahTbyK$^DbUGwA9|&xiH#nh=zc&EJ;a2BVyKmT1H03&TbJ_8+0~886HqCwnby(y_#1%;A<9@y{ak64^32Exc`#Loz@yp zgp$u@{6piPe(ldMEPRKK3AX}e${@XtttHvu&qTxPhcNvD0_vd$g^q67vgP^n=bt`( z!V`Pmo71Rfl0YK-R^l;N~Jp`#`tn5RF53epSlhg%AN0;9Iy3g8r7Sx?|M@?NFmhBw& zKGakktL>kfx*`b)=8B>s)~0at5WtDEShPQ)1CD3UegN+k5fntMej(hVMB}|#2RJfb z2xCBdQ*3Kx1sVmk&W%=eU2waMgOEbIa*VClmhRb-M%U}YS_U^mSOoXn{_&_zp)DsX z>!s5d8JfO-XNkpP#>mkMA?(HQ3+|oAE&$|2+yEXxHua%=Zxa)}z5kn2yZhwB+Q7QQ z2aCa0z$oJA3N|}ghs?KR;Y77o;_`xn4}xqCw1OyzDOT^A6$=B7bG`HR^TYhf`4%Me z@$$kUz@Ghh#mCo|8l!?h6Z7R)5~^lfQJWzz@ST0uU2tDsQIT6rEQ)xJOG{G|Cmce; z!$qJ?V6#IH0LbgAsCY!e$M^QhShOz`EnB z1+ft|YB-L9XwXttb{k%-D4hjh49ew$2M<7AvGDQgL!$Q}E%Cy_0LjGxgZ7RNWMDo( zN)Hge7;+hzJ1O=}q39SEaF_Sz^)d_b6C=Pp6$F z@5h?LsSRk}v7C1%!Dmo6U`-rc9fglEH8y5~Xvx3;B{em>y|N`P2%F&8K10ATd?Jbx zk?&*Kq5DCL<~(((ySrOdR21`wNXUHj=Gs@pTbi1z;MTyGL@L!haYOau=kuy&eFzox z|M~@KMGtKZZ-Lz2%aD-j4}0LStgNhH9Vq9h(jo+$8V@TQ(I39yo}=irmUec-R{0ny zRr9UewmrngL3HPZ_b;L{MPI)c3SM(>ua36%IS!7LtgNQm+S>N^S6};g;K;}GCu&4} zav$mz(PY698cWM1oV0Ovart{H2JOM#9Fm6qzBF_xTzL9GZ z{NhEKz`?b%@edzf#4#eE5HJMd8K=wODrb0k<>cj43=bny!uRo~C5|jDL(gL%-Md#` zt_e*E^qHs6_Hjyzsh-|1ShJ{qFi-!3_`DhqZm{w>v2!i1( z;0nz9g_8?^c6*gIHaAz-z1-A3`tK}2-4%IxoNc+SsKx_5M_yhYo`Koy2fPE%cW256 zo)44TOZX-``h$y$&xLSoT0QEhr8HM{a&!cd_)<}U9Tb&*V{x+-8v{J zBvkSB>+rxpk;5z~7!PC?#7}$z0_?1;7>H}{A92F#(Idnic@fXk+gkFeJ8{DI;?2P@Fc#01lqtap_R8=6y;;pQ#?3wU3Apy;WQ~)IW zJG@yCmA;Q6Me*@WUS;G?GWHr89Yp`kc5;R23EKa@39-w=aQh>q$gy{Bhgd~+ERjU8mES2r%9*nN3QTZr8c!uy0? zT<4JSHdaamuA%Osxsya~h$0RHqXr%PraWE12jEj|EEr1H6E?R~)n))6;x-NlpI=3b zhE{;Dgg{}Vfn=1J2ru)JRU)cDa#9k>x%aKFFYcnE3PyNePW--c;#iEPY9GL8z82T2 z#S>fss@pe~`O?Ymd=+{5ahzvV`K_uTiQ9}l$h4+yZDoZGEaLFz4N*e9Ki%ts!;S#2 z6KtwnA>%0bfIA>$C>{vFeKTTW{UpDI0894mEP#Q?Q|C}Wop!|0%9P8xCsH_gE8D4VNTRiThILCzOGl`wd08|%L7>0Xf}|+Ir2v{@(H5qr;ZadKN=iS6h6Mh1 zCFXY|9T^)pcYw=WxHnG9RnT2S45oZRTV0*FO>t4-0_I4g;(y58ewLuMqGY1&)X2x+ zda_`uBkFhH`GqtSW<`doni?$}7_?TC$_e!>HAS~UeZs}yT=!vep0o29ZzZ_3-o(ri z&MQKg#R)qAmDy!y6g_QiZH-jorr3^K(ALrdEDB|zLdR9Z2|;3Lr}=*bgz&Jiwi8SL zM_~YJM{w!-_3H;3kv%WP@x*7(o}tzQ{C}I9CW<+L0iBp+*Y%amgJ3ov`dkqSH#RbA zhqI1S1#ZGikJK6OW)na(wul*Am0Pz?1bp@L@wvqXl!@|>B9a^zcXFY9d&AOi`yzmN zm>>55OCZB$WMvW0A>*uQg~0pl>{Ucbk=sI*gLu<^`sjO$z71d!VimwK=Gi}gFx2qN zN|3?@QclATMBoRCGOvIDe)P_5>F2I*uP#B!iG@Yhvf!o zZZ8=b`b%in$lx!W4)WMv2-c!GabER8U+L;pA!3jD1qEZHqi_=N0cj5kE#brfk)Ae(T3=r2Pu?$V&8jf93p z1Z?Qi=AAh{PoC&+v{dOaSteUF9pMRa9E{wt8)?qo-d-TJ+!fj@;0A+(XKsJl`^hkT zU<521Sn8$4zM7-WfcJaEy0*u>(m|H;>eb^5C+Px0A|kp!E_?g>_#}Ha0pLKYe8x-*$&h418NoS zHccxZm|UedpVb%VsS;CCED-O(itEkC6I*rzj@+%8zU+Q{h-Df-2-^L>3oYNiod5k* z9Z!hSOjhP*`yT=3oAk%Bvbf~0UT~TvPW@YP`Jdnw3y#i9+yf=86nSLA>iW2;X}4qY zDebE-MdSCB_HHMAa~FT&UFCe&=b8Wg>VNbSqic21;@s1eF>QY{QWCdelIg>*ZgoN? z4!k$?*1zPGJNVv;KpJ#{%VGRJv=zkY>c0|JW30!I9~TzZ?A2h6_(x{Z?$!9nLYfsK zEF`3zZza{M!O!W@SN?ceE$hb7U0V`qa0yH&m(9&lz7G{EAE2PHf;s`q3fbysp;6s05n`N8a_NSLa5{`e*brV}vaniMb;)Ge8Hs&~P&s=x|DgLiU8X^O6z9(?3ZEXjH_V*B2A2n078Xu8 zRPoG%kA{*3F0D(+$lyG&>o*j|5Ux8cn9pm9ih$AD9-I|dwkHu?IK!D=6}gd87cbrh zONN_(Bks?oHVX?29%TAC zuKFK3!-IC}_~-U~LI*|t1&9URHM(;L@Dl`X1_`Y@6~0uwRabQ&@)_2=`t%eTC|M(| zl!qUY%s|n%1VXncS$>UgT9|KLc;vgBD)_VP|AybnRLTZer}&7w~VCgYnZR zcYl85WJFO^T#VrXE|(Msvj1;u{A6dsf6@O5l866gus;nw^1p})juH|d!Tw7zo(LZ8 zd0$^$joKdekI8%`LhzH$8hZKvCxyQvBYp?IL3%BleJ2k{xA~ z6N__VVs3tUa@5QzGhEu%$>QPUO*E9VJUksAETRJf0@BimxnO8QRMga(T@gs;z=-_# zm=gyo8{@o291j-ym}YUe>cT@4CNb*BVp1&*?s(`vGIRbCaBif?W?ygduJVZW&28e% zHs5XfvO2g@{Nx|WRlJmJ_P4~*v zvuiyht88;IWO;pN!)1uCFU%oaHq>Xh|DBy--D;8Ua8W>!@O1SWyj16%5AWd!TyjR4 zP9)8!=tW7yML(d${4DbVJ`PpCuB3Di@C33T&ygqS0)FD6i~<7hQ3s)=K$+8Sr)9k) z`!lWq-v@v-&GI)>Zo9-PEW84`jrxF!47&h=X{4RvrAvZ1TMFAAU<(T0mm4NnlOK?d zLy!-WC%&=)^G9+5HYjWeQM7G9aKv|Wpp)o`00@Qi+?EDa#ur??bJf=$02K#s`2dFt z?PO@kAo&k^o&CnzGISaGbB-;IjXeK+6F}tcu2MHQ=&fMJ=xdqC0r>io_GW?~IfC%w z%tMo%%FR9eGQ$=^Vq(1r|6(fx2Im9Kc(rdAz_G3mcn#E6w6VAG@gTN7Hl%$=AAUmW zz8~7Q52;4=fHPBobTeQw z^iY`24$;Jbb9J@6hDK=FPpH%PZ?U#vdzrK*qf3JP4#UL&6C7Ai-qLu2=}|xhBrPC5 z>)$`lZ+r$lM-zUhnOoJ?W(!CP0TPzd;c4-ma;P3Sr-NBXEC2@zB5__LGBPOuf8qOj zI8;=c@dZ6d_;r`Kgdg}dJuMDV1UL)}4S@`Ix0#Pfe%94J{d5zjwlE+)VE(AsK;YtQ zzaN67VeAlKl4Zgz)q32WKrvi z4{%&-+y!m)D}-9jLrk8)z!2Tk;H%EP;J7^O!>F1)hpPljS%(gOijxx;2a3?Utax5d zv8H!X;1kA^o+||FZ?lfxhbB8LtP^0(K~~w;mgqNP2Q7C|+WYpoaQzK&6Qact!_t zl|ZjY!V6j#zt_QHl}MJrYqiQI zB{Li3WJh`Ng-yTz$SBt6+`iqvDD-JN#aV+3-uQAI80zY9ELvKE@HH{Z=SZ;m3hSB3 z@8^ZIG&BI(doe`axrH1)@)gql)Ka^7&YVHm6^WS^Pm+U@9UscXbD)RL^f8uk1M@-z zDf@{tf-frc?x$PANli{>ANxXrJp&Sf9fcEd3aKT(UxkH%TjP>o*)pSsf*lsY1owi;%d{;;!2XG*pqq8v})D z9M5NHP{^z`dwp+eVz9gci_BFf?9fO6mtHl$KX5z?zF7?C#E=d^v_Krn2r?<&jlQNZ z5%I-ZD0B_Y&HduKYs5W~x$|pT*-2jBEC|7x1#ugTR5Js%_Sa&Iiz7d9u1GQjzKVzB zpnv*^m6cV|&PV6e+7D){OG^)}Up|f4(9VZ5$hPYIf3=-?SdIDL$1`I&Em~2QBqS*n z5=xfSkjPSLv4o5nOK1_5q)^I)(ne?~(SjDngf?lSMI?=cEF~%`OGH%9>u%=vtn*yg z^Urhsm}{`8u%V)Z;58+Hb>{UawenN;kNx};s4oN67qnn=OgnVUE8E-b z`WkBDzJ2?!6;giH8ssWtdvUD1d9#t96wg_{d`O3l<@#f%DS>RP>sAbdcj<@-8Lu55+r|<z)yQZenugj=vyeOupC>yGu6z_}f>{HVGTgG*K zHzE2KO&c_HEFX95*iFop0)1uTyxnSd2Q=VWlI<@qEgkIJ@p>igkcR(M-_ESGw9qz% ziHD7pQ7sJ#4xdfUf%=%xbztC(&X$-lQ^8XW%Y!2L-YrIL0Z+hnWrYc6=d4*6M?rx< z0cXCon7>?-wyH;X5sXeXC<-9)#iQjUViGBl{lb8!eRu!-GseW*aO>A$2e9~z#Til@ zp~d#YtGO>I=;ZzKC|w5(W$8>WCG`^oK{%`Y?Fv`+rjLtAokIw* ziPe6GBr{*F<4y4I;ixDhV`F-M>;k#@nZ?H8$xE)f)sdUA-9Km|feRCawg*k_CgZ%9 zEnD{VQO^m6hFGv%pp@O+TZPZt+6rodtsJ}g)?%-&&JK_mhqjK+s$B{8=c*q3#A*NB zcf&9F&(Aqz+D2T|dDCV}bR<07I?zcO(+2gEby*QW+KRLK zU_;u*FCQ$$g`D&E%F7cYgh^x2Otn4{@~pCNo>p^;Lz%p}#-8k`)G zUXKVn_?;1ce@-oQgW!;mge23aLD!t^8^$uhOPI687?QHweMi^gg@KJhG;^3%lbP}M z$&LpJIm!wiQBor|U2NkNIC|vKqeoR6KS9kv20!hXp>_qf`)JGI-EDiiPRQtK*WEFL z`v(8M#tWA$KhUIgyxNL~miG3a*>HF^iAEVP36FSX%jfAGfsOgbAF~T@>d(_K&ZE%b z0$}NTKJ}J)s~&rQZov5vtI)9T<_LNn5gZVay-pNkR_R1ER262J9XV}M`sbfE3l`{( zAOF51_kz^3j+1xHB(1C@_A#ciE_=Sia^gBA#zQ-*m-&U{W!|!KoOZiPTjwQigtj4) ze!tC}+Z}hS)|oKD`ds^k>duoPt&<)oZJ(9uJu4JWq$P#f5asGS-oU&$r8m~@^9~&z zH`P^`J*>9>?OT_>{#C+6{6@OXq+g$F#>J(jk?w?)B+B{&eEj9P-JRF5XUJ+$D=IuH z6yoEDmA;MpkvzZ(Azca*G>tuc*ly;`9;GYXS00t&S0&2Eg80{6u!`^IWyN6am#G^Y8$<9?lM$aS<=P0it;Wy+H?41IxWK{! z%6p5etKj@qr|fRRy?_n@hr=?1m^m|L-H$(>N>9f_|0qd~g`1R`y3)?hOaw^iBAjWq zUqyjDD#@--Zv#I}m4N8{ z=kj8Flmlb_xN$>pUO*dCHOCUm*3(vx@*=Yfs8BVE&xRg9 zJ{7(Ma*8_V{P^;rX`Z{@l?_prka(6q%w=DMqP%>Wy3MS)QrUhvInyrXtxjk2B{fm1 z{R0CTDiJy6OY6ObNp2jO;vmvc&ZoFdl(X2_yrQCgxm6b~jPKK@Pv@nDQeY}WfDj{B z-_wCn@H(Z2$llD$ixm*2Nyp1$&g*t7tAs>F4JdVm@SG;ox^Vg1SLd+MX8Y~G)isJ< z_p~8mE;Egpcw1WMhTp&J$rIg;9#3?!6fd7f)S0f$Ee08ES2Ci=JD@aX989&Hy*bX& zdyRnZq$fC2_B~S7Jv`4BKG#p~8iD!^vx0NS+nUGPF=C+#uug}Ua_W?+NC1C6J~Zq| zKQI=|H+*~e-trm9A761ah{fW5{rkg<>})94m@?&x>_loFu2Tf5J$drlI|b6!Pi|;w zz}MTMVdB(yb|1|+f8pA-YupM!L#tdnJ{k!GmdI-HVj`7=g4omaaO>x{j+|?}c4hui zPylSCV;CQO3qmAiSq4Sy0^cw45qm?Ju*5G3T888Gp03n=QK>6p6=EX(dsXoqSJ!t4 z5x9$V@Pan0v%N5OWyAjuwOc+E7z>0s)!eAufc(C+N>s>D_mbfH|r?p4!;ik-E1yK6xA}x3Tf; zIaIBWG6U5AsIHEYcVn0XR;6YWDyrXN1@En|@&z~Di$Vo+vmUC<(_sbC01GPf%a?oo z{pT1B=bGgg@+JHDm|POI-?tG`;EmUZ{hdXYH2teMEAEZxo=Z4VMvJI2qjOcL@4Q0w zDSzdx(15&E`YQWnTe_5OWviuYWh90v%rWoLlf5D(5;3v?cDeP#2k+MUL!-Ufsvt#v zoIW%~H3K8nl`BhH-CR+%X({7@E7U@Y%uB|Sr80UE(TG>DHIT-9DMNHKc4 zgoKrNZ>LlL%o**2-$-W1Rb~$_^jJd%6*jXojL-0>s>*Vu=?Q*4G<1=J!}<7lcH=CO zxrN0VckxdW=&ba1EN8GCFym}Of@Vi76CGS!-U1Qqb!-8x+@C7BcPWeS~^$j?d{!Y&EQ{>{o*+@W=LH61ulwEfw4hcLV}ry zsufL|g_*Q_@?2b9Nt`E4cV}(_nQ;PYp#O}v;9u=KYObL2vLw)F8V0vS?Yw(JdHVER zk|9ds;lqa$5`F#pb-{t$GiUae)KR2qs7|G%=o%Rvl^53?bU1kBqDM&h-kz`II0>(1 z#}E6H0B%xU;-^pB#B*R{gfs1D5af5SxveO1d*m;m)Dtcp^O1{_`k3^0`A^g^;P@d- zEPFsd+Cp3?cqpcNxivqYGAeu^&cQ*0jz&d|(z(rUI&ws1%5uNy%#dNGz2(| z490rc<<{Ss$3f;bm@o$H(C#j?wapOjTf2Eog4Og4L(km z0Y)e&A`S|YTr_UAFp#v8{;HF>k;%!$gdQv{@8;$0k|z~-0jc1CM~X+Jcks zJ$Nt~|4^Skf%rknGafs1#7)56!`#^u(|s3+?%uyYVA6u^ zEkhIZ!(v#^}>XFV#N=`9FYuyH{Aq{96>yXJ&d^S}I(k12$M+9^b_TVSFzd{zOnHK8w^C1r=QG zgxiU8>2~UHMO)qNxgvE~;7`mXLFmo#@qVT1ow%~~Re(njwvkcch}NSwf1}*(>D~7# z%>=B9q&hV!;m{$4t$*eWzS&h>`=a6Qm+vLY218ZJ9mvk^K<|NkO+I(-*3TESv$NNa zp>3C*XCEjt@B%#%q)BmMp^n4V3Y=qQWua{i+;cp=Ue4C=I@n?3e^2Up9S7Idc&AO9 zd>Cg(0h?rC@TNM`E3In6&X2y&K!G20NCUXzL~qMCcd?v z1y+B6LE_sPaQgtWwdDpzb7x$-Z2>3X5S!-LuS=fc@}DUpr75{5 z?=$|}L?d{fwfZXjv!$U^%5;J(_ZSCx{i6)M;DQSo8Bmw{HZ$$LQiqaguOADvYH@?E90uJD^YyQ1^;qvcE7hSo0`ABqh%#RK0y@c9qmqf)f@hW#4!s)jt{33VjCki(Lxt zVNL`fGx=beTluk@K-cZkaA3wmjNFAZ)A>Jn<^X1k+Z^lSLQJtDgYpr8kH^GNxq!6@&pcMZ zRyWUe-TL*YWR%8(ya%ioSD0vYy_mqe9q>x6U++E7F)Y_v_=nQQL(1{Z>K^vyn`O?$ z1ydi#I@QsmN9#x5qJz3;$NZ)*%xVG(duf0d_AemQ0RG18`uTNguGODAzcx)`02#g{ zc`@UPFzEE@JBU$mzJS0dGXo-nC(81nKtfq=LmlfBhXjIUAu8YFuA$lCxf9IfINd1H z241h|+alB=qO07@q$a+OmYlB#i^sxfqq^d}F(e7SKdGU7Qr3Ivwb&29Y05iOa|x-SlX zi-u58Qy779tW;JcT6M9?K)6sA0)`N3wm2v@R^3_8v5qeNEPE$@DepsL#Jmvf2iUT_ z9vNg_&de01eK2YUJq%nu>EnaG0mWO5lx%aLbh*W}9T5=`!26@o(b*H9!IX45-KTLM z5VPZbk*2@AuWuI|tHGp6xxhmTHl1UIE=U*b6Jtuv-=F4+`>>t10n-!BiO-H5o|7a* z+J`G9TQHIXxKBY6q*(7yI;mQJU97rBuO#pZ!Ur$BMx5|B9-XP0g}!(HzM-C;U_j)+ zu8>M3P1zm#oE2Dny;zG25l&~Exk*XU6P=<)_xRf0jxq8i4PN^=EiLnuaJ*FVVtkK4 zDGZ!m@RhxK1u&3cUwKY_&x7C3a&Yj$Objv2uRTLQ#u(gCqA^|;>nyDXeG=e+rOruy zTCe-NS8kq}O#Y0Qq8M`*4e3vqtBO~E38}&;UKJBw`pdI+X^wH7rKRb29_3P@j)o6C zWQNX!1tqJO_^9;#7rB+^`uFQcgBfix%4Xf>%>rYAtmim$vHg?-w`nz2t~K2mGhJ?%>^>k_7`y@|*0r>>ynd~%sR;pj zL;E;ds9?Fkjpa<+08Z`dY|E{!tzBPSpc<%`^LaJD59T?Wn%ec3Y{`0^XRVv$%3%}; zu!LY?*D=$kMZw^&ubnx0t+Jpau5q|6WS=K@8L6)2-5_xg5+FP}#&7V+_uqZTh|Btt z09f2zk&$p}!rUq-)t9$p9>wnF9Vk4bU70FF6cD9hJJLXw7>5_`j%xhdH*Wk4^dcmi zbA0bLSCt7rTkP181yvVs9?r5rzHTT9XlQU{o+7n~C&rK|aB*{6devRaXNrVG>xQ@$ zJ-%JT1<7vyq19u?Wa#UTVBcLjrprV9P+OQ zaiE&oiRMj~|K4cK;SD~Eirl}Bjr|akTxgHvJJ#cU7&*;W;8|yiIhv$3| zJ&`NA&6y;x!26~%OGoOflm?sVNk)-J65~lM**xYq^{?UL+ zj;rNvZiSz`)ykFA8M8v4_-XlKc)5CnSZT!QJ(do>c#$Y6WF0n!?fAZ^`jjhKIXR@B z6KSp}Q7I@q>(^_ghM;tqxIB}XpZlK(#yT~%T^*;_n?3VX6yq3$;a+NIr&;r5tE;P^ zFHQJ)f6&KFr)dJ!0Eb(?843@e_N^)7Dd!x06L2)?Jv<<%Kcq90rqs~R(A}~eVC-|? zgfW(#qW9t08N=h~iXdwt-R|5$VBo=4i>WeRJgotj5xgX4yui93BZ>>@1n^`Lo&wS3 zk}`6_SmrOUq@<*Kc-f*wGepnbV2Rpju@@VMkD8AW7E0}neD1Z${75&C$X)a0c%{a2 z5U~}gfwTsTZ)mv;;R3LK{EGWQRhZt+Mujsr=os!FPmeotLH_TS~u79Xt z_$$bh)}R^o@b5~*bD*aPzAv@|%o!^0SA8)Zy6a(rZj*Voir(- zc^yX5x``?S2K>$($&>;;{ROgtwe|H6V$a}LAwpWr0p0)`*z}{Wh`o<5 zu9e%GF=O`Zy*wI=25&yy%YWlV7uoyv`hCR4skHc#>KtM+($dQ=yTl$pzPz&cf!P_i z*omQr_8Ps`PXb(m4ygxtBHnVxvfeYSgyVl#$Uyie%fW0qimboj?A^P!H#cE}Nm#*Z zC?M!daS%VN{sU@y1~W1(L}Z|ZQ1Y2GqxR$-VQ46yp|VC?XFydKTPT?CVgwq9^#(%GJw=XI>UsCDg4b1fs>w{>f2Vc}%V z@lf8S^P{t3Lk}HlSU!5YuUDpM@WO!uqmd<@t1is?w#zGX^Ko>IVI}}?y_2y#m7%dh z&a=Td z1{%W3ur4#_z~solrVm8p@hmQk(G)0oDCVqe0D}5ReSLj+NGyW+&!Ha_zH))a-mg6g zd$L_{H>67Ez4iX~d0b1L)~_BXgv;C{6hI-c4p3!FTP<1yu3pP{u}C53hC_vTi?*(A z4jH_T@HZBtCJ?nJX~AM)beo{(fB0}JDYcuro#mjc3)haLpeun654v5*(`?wV-D&k0 z{RNvgH95vWFYg~}A~+JLqD44SnM%YV$%kSu)5`eEgG#wgv|&~r7TbFGbYDL9$XjRx zG=t72?o2l#mIdY$sna&%FsM-Kh@cmtyL(sJ67_|nsl0c{q+P#RcOQ{C9xX$=b@f-- zAFa*IUI9n|N@OV6*IC}91DF&!3z`HS4!`0COm(%jrq)Yl&mJ{m#E*!y>*Tn2Y8~-_WGSHoy99=iDH}A5%U>0e!Qag?bMw1V$#33=O|0xQYXa? z?9(`cj|Gl_(BZpxN;F6*KP7q-r zUW{FFI>xY!<~q!Q&dzEB2Ywkkyk9lmC`gv@u&|M;C~R5NVUwv5>~vv_Hs?v&hQ+;L zkT=Zi!{f)|OOQ#C6Nv_H#Nlx2l#;Tt*~(nZDyY6_vC+`LU-vC?ht@M>%9}e~aGCV8 z>n45`>6b3`?>O6p$Vt%`u$S((dBuc)NhOVLU>Mj*m$fy`FB0I9zolW*9;xUW8m9XvE9WWc|m%3oUF zFh{CE@;^&xu{kaml9IG0Pqqi*A;IBdr8TV3Mds#^VNO%rfdi$KYp?mVw?JY9al9ta zp7Fef5l3s`WHIub!DiB)&Mw3;!RL{;)!qEH`hng*(74`THEh4KCLQ)f^ow`+-;P6? zGcvE(T(*FiX{A%`(|0H5uFBhuda@#ChZkDL^o~{~Uu)c?+!H!}Z~%0jf2d%V(gan4 z^I%Hu6c(P`CM1fit;5L^r@1*cw>JuEf?qQ-mH_3PBJP8v2%+&FP9--dEL#xht`F&&KNNz7*iMv!mlok)%j8$J|`q z-=%x*h^!f+pH2ZT8 zA1)R1B(x}DM&O9?P_YC6myr8~bhEIq;3PxFPg)odDZR0)qxGzBS7+7%_$&T1=h5aj zcCS7q-5Sgq%`9yH{CSR1@1oD^jCD&HQ=l<-BDCqsnYN$0y3T88YTjI_JK{sGu}$J^ zlw*31O2;~d_Vt~;Y1o4 z(&+imd-m*^RiX|Li7SE`Q9NLCR`;9RAxm&~IU`fz`z2J6P`0N`be43XtDl`ZG_On1pMZ zofz@{NsVa}>Tv4@K{?~GF3M+@TP3#aP>i|Up_n1u2ib=vYlKTTpS9qJ6!EIv{|4RRWvc)H literal 0 HcmV?d00001 diff --git a/doc/xschem_man/tutorial_instance_based_implementation.html b/doc/xschem_man/tutorial_instance_based_implementation.html index bf126675..f6a27a70 100644 --- a/doc/xschem_man/tutorial_instance_based_implementation.html +++ b/doc/xschem_man/tutorial_instance_based_implementation.html @@ -94,6 +94,109 @@ p{padding: 15px 30px 10px;} spice_sym_def attribute with vhdl_sym_def, verilog_sym_def and tedax_sym_def respectively.



+ +

Instance based SPICE model

+

In some cases a device is specified by a model and if model parameters can not be set in the + instance line we need multiple models if we want to use multiple devices with different model parameters. + This can be done by specifying a model in the following way:

+
+type=mechanical_rotational
+format="@name @pinlist inertia@name
+.model inertia@name inertia_omega_tau J=@J"
+template="name=N1 J=1.1"
+ 
+

Note the model name is given as inertia@name, this will make each model instance have a + different and unique name. This will generate an instance line:

+
+N1 A B C inertiaN1
+.model inertiaN1 inertia_omega_tau J=1.4
+ 
+ +

A better way hat handles also vectored instances is the following:

+
+type=mechanical_rotational
+format="@name @pinlist #inertia#@name
+.model #inertia#@name inertia_omega_tau J=@J"
+template="name=N1 J=1.1"
+ 
+

This way if you place a vectored instance name=N1[3:0] it will expand in netlist as:

+
+N1[3] XAA XBB XCC inertiaN1[3]
+N1[2] XAA XX XCC inertiaN1[2]
+N1[1] XAA XX XCC inertiaN1[1]
+N1[0] XAA XX XCC inertiaN1[0]
+.model inertiaN1[3] inertia_omega_tau J=1.2
+.model inertiaN1[2] inertia_omega_tau J=1.2
+.model inertiaN1[1] inertia_omega_tau J=1.2
+.model inertiaN1[0] inertia_omega_tau J=1.2
+ 
+ +

Subcircuits with SPICE models given as parameters

+

In general SPICE allows parameters to be passed to subcircuits. This is the case for dimensions, like + W=2u, L=0.15u that are passed to a subcircuit. + The subcircuit uses these parameters (W, L) instead of numbers, + making the subcircuit truly parametric. However transistor models in a subcircuit can not be passed as parameters, + the following inverter instantiation is illegal:
+ + X1 A Y inverter W=2u L=0.15u modn=cmosn modp=cmosp
+ To overcome this problem Xschem must generate multiple subcircuits.
+ Consider the following inv3.sym symbol:

+ +

the symbol has the following attributes:

+
+type=subcircuit
+format="@name @pinlist @VCCPIN @VSSPIN @symname wn=@wn lln=@lln wp=@wp lp=@lp m=@m"
+template="name=x1 m=1 modn=xmodn modp=xmodp
++ wn=10u lln=1.2u wp=10u lp=1.2u 
++ VCCPIN=VCC VSSPIN=VSS"
+extra="VCCPIN VSSPIN modn modp"
+ 
+

In above attributes two parameters are defined that specify transistor models, modn and + modp, with default values (if unspecified in instance) xmodn and xmodp. + The inverter subcircuit transistors will use the @modn and @modp as SPICE models:

+ +

If an inv3.sym is placed n the schematic and no schematic=... parameter is given + to create an instance based subcircuit specialization:

+

The following netlist will be produced:

+
+x2 LDCP3_B LDCP vcc vss inv3 wn=8.4u lln=2.4u wp=20u lp=2.4u m=1
+...
+...
+.subckt inv3 y a VCCPIN VSSPIN      wn=10u lln=1.2u wp=10u lp=1.2u
+*.opin y
+*.ipin a
+m2 y a VCCPIN VCCPIN xmodp w=wp l=lp ad='wp *4.6u' as='wp *4.6u' pd='wp *2+9.2u' ps='wp *2+9.2u' m=1
+m1 y a VSSPIN VSSPIN xmodn w=wn l=lln ad='wn *4.3u' as='wn *4.3u' pd='wn *2+8.6u' ps='wn *2+8.6u' m=1
+.ends
+ 
+

However if another instance is placed:

+ +

with following attributes:

+
+name=x3 m=1 
++ wn=8.4u lln=2.4u wp=20u lp=2.4u
++ VCCPIN=vcc VSSPIN=vss
+schematic=@symname\_1.sch
+modn=yyn modp=yyp
+ 
+

the following netlist is generated:

+
+x3 LDCP_B LDCP vcc vss inv3_1 wn=8.4u lln=2.4u wp=20u lp=2.4u m=1
+...
+...
+.subckt inv3_1 y a VCCPIN VSSPIN      wn=10u lln=1.2u wp=10u lp=1.2u
+*.opin y
+*.ipin a
+m2 y a VCCPIN VCCPIN yyp w=wp l=lp ad='wp *4.6u' as='wp *4.6u' pd='wp *2+9.2u' ps='wp *2+9.2u' m=1
+m1 y a VSSPIN VSSPIN yyn w=wn l=lln ad='wn *4.3u' as='wn *4.3u' pd='wn *2+8.6u' ps='wn *2+8.6u' m=1
+.ends
+ 
+

You see that a second inv_1.sym is generated with changed models (yyn and yyp). + This allows you to reuse the same symbol with different model names. Xschem does the necessary work to + duplicate the subcircuit, since model names can not be set as parameters. +

+ +