From b333beba1984be4aa176d5bb33fc1ad39fb00061 Mon Sep 17 00:00:00 2001
From: Franck Wajsburt <alliance-cvs@asim.lip6.fr>
Date: Tue, 9 Nov 1999 15:01:24 +0000
Subject: [PATCH] modif mineure dans la maniere de decrire le comportement des
 cellules

---
 alliance/share/cells/sxlib/sxlib.db  | Bin 63385 -> 63415 bytes
 alliance/share/cells/sxlib/sxlib.lib |  70 +++++++++++++--------------
 2 files changed, 35 insertions(+), 35 deletions(-)

diff --git a/alliance/share/cells/sxlib/sxlib.db b/alliance/share/cells/sxlib/sxlib.db
index 3e584862c80f60fd3624faf1234dab420f41150d..6863e86f9b4c72cf791b9edb583c375e76f77682 100644
GIT binary patch
delta 14847
zcmaib2Y6J+wf~(vcUK^7xqEj<u&Y8hAYw-nxW`y=;y6xmLY!j1_ww|FSg>M{KoV|w
zv1q3EF})dM0|F!jqKn>yB#<bgchP(A2EX5#T>&EB_x~>+Gv}Uj=1e(d&Ye4&aD^|u
z!i%;<)~}zD*s^h(#u-V)J0p*>&|?A~Wr?F#MEf3^_J#ce`Ihr+{r3OTwEoQg!T-u8
zO@;im>oZqvOVvKPxYCucy9r0lTec>l$+Ev^yZ3{9rfEx<z5N{2OPM`qHj_o~isCP=
zHq86M3Lr~CEJ3{m#N|w`jTLf-_wz=9R_Wb3k(@+`OK40_p|Q4X-8-d{$@ziU;(oqY
zxEhJ-mHJMW<qg(Y*CFm9#9l-F2*bY0WcT`_xTxWCtbQL|(}wBx_Pym%|3o!pS^(8Y
zMso4Mz;RuOx|37gwk`fw+<)<Sf2%r^Y?YC$rreeWbySx_Jh9Sha?5`Rom@mG2T@<r
z?Ky{0U)Jp(94KzwbP5Yx$73Ik@uBX^?KwA4_v09+E{`S%d9j%cjp50(LcK`Y{Az5@
zK(1+H(Ru*taoj$c4FWJ8&HHn;w2NAFW3f4tft&-bNvP)%*AxKrz%`MpHU3k}apBoK
zp1+z6p44oLxf~XVl}%e+h@H&lqwQJ<D?+^v11?0p9<mm2GKk{#t-oS1li4O<_ke3N
z>b>CFh<YEmO68G+sst!7u?=Z6fpnSJvP~<hlUlZ+)mONrHdxNqty>rGZPUTX<2K#S
zv<Zgz6JtMX_v!~a6`UD{!cR0rCh&iLcvGhWc+IAPf07}_vAP7N2$K!5is>2c>e6%@
zL!&8%XrV{Ek@ikuz12*qI3dG}QDKM}Q5#y2gp77ATgzpMOY_o`J0?f1WuAA_l3z&d
zi2v!~x=+dsBUaP&?@;Rc_X?hglCg<~rp;2&BtV)rTfvhRoDW#n=P1m0VCE`lf}(-d
zu-Oc|);DFIVPD7MTeV92MeCLctva?=gG(p4Rj1Zi%OEhV3k>L)Ix95nIV66*VQ){O
ziVXX5Mtv_Z>>rFblo!99{Ekhnu^g4`jSH>n;?Sx-wc2V`<+@~Fd}tY$(lXXnh+0E=
zBf0D^n!ZNOW-UrhU#DiW7`?7n&=NqJwn4#56}%C!u5VJ9Vqi8aXpy2lp1bt4i?P}h
zvVvwoQnq3ivVFT#@p0siVFP-ssa8-`n~WD*wk~e}Vt@AhPBb_}3sVK)EEZ%t>T`y@
zoUzWk0G`KMRieHCp*xDNz0_9!$u&Iox1q^p00V6H_E%63w4up$0E2AyoJ*(&+u*T=
zWd9H{`0CI7OdDoXw)&J!sx^~qUTwgcHbRbiGnz4Z_0@)W8YO@J3ttB^zR@;O3B!D;
zu3_4hl}np4%*4i<>Q%93G}#1rO9HtGY_k;%vklp$nr%YHOPF%k*L2n>Y@2Pv_KCVr
z$|M`<WHL%!4t>2vgsx8~j9m8mi*LccX4>pK8APTjlY)J<X$9+QL&nvb`htBWwCYSn
z7hq=D?7JB2GTa7Rwm~Vw<WGM#B$jDKp%w7vuGD{q0$v%ingup#{?!-9w1u{idp^a%
zl?xWzq~~*i<%xTvVSs6iX;H8uPw}Z0DgMJ7P8I<>Q}ak~PxIKQ<}srEiw!W3GMYy@
z4Q~MkS3!d-Dn8i$E!L{#|I=0yT4DLxWW0<eOi8)Tetw9tkM={tb&{|Lzzwp8T>x&v
z9;#8_qE7Y!xJ`z!7r-4D#!l3CVHmrMKYgoIPdUVT+cj;X9YP*~GRY1h4**QI+uQ$u
zdWs!FdVyuC9YTHtW}4leb076LcKZhpZN*={{Xr{dzFsd4QKw^adUDhpd7xVkn=9YT
ze6Ptoy<S#Ya#~h$ax#{Bj&94>?fH6yUe8|tciPvHRzdNq%y*fQucK9D_cXNX+P!_l
zdHTOI&yTbU<@)YLY`)Ctag`OxPTBur3uI09hfNlSI!R7TZi{wBx(yq4DMKd_=%g~z
zDwhA1L+zZod(iG=?#F2N$DZ#rTu9wK!+t5!S|sQ9EMtp{KmP>UULr?)I)E*e4L<AC
zWEu6-HZ7~In#>a2ww>9xQ$O|4&&Viixt#nN8p_U}-$lFBFM6Wg?l1n>a2fUU40~~u
zwL-q}&y&1FZzLO~G%EhZ|N0qQDgXYjDQuN|@UI@tR_l?pbn0I_2w17x_A~o_>aRZf
zI~ZlHkt4o5$x4cI^8(a#M6Us8+MxG`4Odf#&+zwkSZn3L-tR`O)9X=&@ZXe09qC;V
zyIwaw%gRoU+MwIsCBUF)2|FF`uy2&J`m|}ZNjEY-%ZC0UnE|Htx_v!qkYf;|9M)!e
zt<Sq`oqWA-p=Z4gDYfk<Q~UdUn+G;wH2>aon!_rUuk`yh+ai1STS84S5EZEVrp$5J
z%jB=WY879u^V*)**X_B$VO7ZCUs3bDU#Xs-G+#!|$M$a?Ky&K(nWiNUYpbm8{~X&U
zAM|hMuGFJ)KgtdUQ*(0Da)VW}{eW!8c0HnJ=Es>?pJqnwkShnYVLRp70ZrL188xu2
zqgv;gxjDU4v_2`j<!=TCY<qO}m%TD$V3RlY>5;+Dx~FA!O3e;--mkk+2D5{i>A}?Q
zS=qTc2lV<034eb7owwghNYKh0q9xPH9imcaT7^R#l%)e(vP1I9z*yH|-JU>PiCUFI
z9FhJ(F^!Ju^}A+u>C`c`OE8mZI~~!-!aPaZE{8ZS-yhVhX^mb#J=nEtYWIxHoD+II
z1!D*&b^R|%dmS+vJ0-^tYLRyc9UgG_PXnEN5a=q0rX51P1GQF(;;_Si2E?{UfZT=W
zqo{WiaVHhW9084;)!muF+|=}}%*<eVZbnvS&N*GrOxo`#b!bdGuSZ~*nQ7gEns(d~
zxByb}KF2{KX*Kd^gB|Rme0Oks^d;RHniNKvnx2_U*=EXR`LDr&%su*EJ;HIC7Rk-8
z=#K1+oM38Nc6P=mX<ac0&E!{gN9Q!m_9>)?U(+KMXD2YCb4|1Obv;t?Jw|!?4c+LP
zmDY*q+8NS->@_|n<t&t-V+iLQ(MX5SJH$<0|DvtlC*^{Ja-@q6k%RH$chR9?2`@RK
zZ-sS`tX+19+wy;gG)dU1mpHWR4iV3^8xHX$({4JjL!!|wNA#UAdpqs6L)?{fhxpk&
zxoOBxVovHmV2RITbswUJcp3!W44?<;80u&D<#R)uvj_6GLx0MCkpCPSU=QWkp~<XL
zmJNO3xr2H?=UK21cLpB8Hj|Q0I|evusYAag#A=83ql_EYu-*;?E#2OW%QuEKXT4>|
zVehdjxnNi~W4jJZZ#ukPO0}*md%V*^stg?%#snuOgM?tB6VpLG$*CqZ*%^I6*QPkh
zil;i26;E@*ipLIb9)abX;S_!3y5UVCj_KMgr|2us4R6X$O2>$1?6gcA;b&*$Z$<=K
zoYM=Olhj}rJ7FjDob%Pg5@+DciOwP?-pHJRi*nG2<{X2OMI&11A!S)B(HALem6MdU
z+9~=;V`P(`+|sr6PVp7zUnC_%a~qtbxs6WIpR<32R%D}-l()$l-CK4T8S{%fx>oKK
z1E@heG^juWjcs*`ft-D;8uU-urf`)`F^IFSAt76xl}e0O<@BGF^GEt)&gi?GG3Z;<
zs!^j8yoaFJ?eyQ5Cq_1b@@%8tgTnqi>IKI^eV=nBh&51{96l=ATdS6ESUusi2Fs<R
zes8OSGS0|0qhn<A(Z91pM?<(*t{LE$BS!z!8p`!>7`hl%mfSu%&IhGjQ%boWQpycd
z3X{$Mie<Xv6vJqyFJh*5)zaK^is77f3(e}Dn$vwJVvF{`DMk?MOJMy$Ex<#k*o&2;
z-^0-4AJOFhDM_Q#q`&nUy}v644Uv(e29KuQr(&Qha8B>-x}r2Y$Q8ICkIQI8fV(oJ
z)ka^}YBg`9E2Py?F4F2~ml#Q7co}1mE>g_bE-{L;tk5XFc9AB>xZsA`SeF=0tgnJ~
z99S6}?-G);?jhFkigki3dN4oX)F!&fJtw)yJtw=w`{bTeTyRgDHq|A*mZ!dM+F%T4
z*`c=IxV}}bwHYo<H-3!&jWhZzOmM6Vxg~1I)-Vc9%Xj(j>vMpah=;kTC!wB)dNOfL
zKvCfGKaja&$PPA)dEv!_`aIW2pqIGdxWirZUC%fzGluYxzlIHCsmmHGpBo!8j1oC<
zY>bp+e@D(cM4lM?l6xpu&b!tXa$ebLoU(^aE^^Y%F6E@9SYr9%xaPma0#~@iIILPS
zxyn|xYTI05JZIrJw@uBv(na=A<q{K!mEz%crHdUdF;T7?=Y?1A9@p$YPV0Ly)e1~!
zA8It!v~m>tUD!(w08@pBgQ#~9rILz6WEZ<#8`QK9!!Gn{*IxB-#1;5*y=xzsj=JFf
ze;OY$l+VYvz{*V<-zZhN{wZZ7r(I$a4UD|^j2hTkmzd01&ye=csyUofMsnUIrVuOH
z^aVBDi!L#hvrj^-7ZvLzSM*pJHzCH4$Z*{yrcr}e(BOuWebXhrksT&@8%*cyvrw~}
zuG=B|xI^~w&j}O@9$=#9G5jA;LoC8MiifZdIe!Ahf*ljc1{zO%A@88x%Y72W!EV?<
zjjONw|7Qb3+}5|;o|PF){Vb6TR~zbv1xKXZ|8i!%8Js2g*mpci?RD9yxu16rYV}#<
z_gqg)jGD=fv_yK-8s>&C(a+H2wu!#jS)4;2a>kk5_C2?M&tYy1>D_R*HCsNM=y&FG
zmgr+j5EAuflUl{i<;EAm>@2jIQ@711w>3|GG%2M)0oT(%#tRa+vUDm8>>WZYlxrpl
z<l?(0y@p)eoZJk#c)Q7M@)mMiut#cEcNSI5^`uk-Co4AHuPx%9oM4Zh!OYx@w63XH
zJ#)MF%w++6F*k$A1A3-W=8>9}-6@#O2Ba+E^)oWTklHb=%Xqh4o8Yz=a4hFi9?>b-
zHSP0YC#JJyyk0gQs3Ee$<-C5+Or(8nGlMxf++ZuXJq_v1CqZ4C=(firjOZM5#CwsF
zrQ^v^T9467q-RQ__?6tq>D)P~U&<<8A0tiemW8e+yX_0OX0xr9?@fvRk2RdX+u=RC
zt%%1**a|s@q<xjLmPe_4Gt@wH;?T;Kk&~L1+PP~+cNAC&xU$Q(p1U4nlsY%?h_s{^
z5?dv<Ha5!DQ~Y@wxP2Y(lQP8}-mrCjsynn{Pjia`PCNEDWFeY1-5tG&BLn@_uR<B<
zw{B4c>I}CiMD?9pZ07YkXJsQ>O-y9k_ij=8_&JGbGu>iK?Q;_7v)rN#&v~jr5*TK?
zMLB03bS>X4D!AU^J#@*ntvp)I3;AF$J0tz6`Dt_96y)c+#WwOWirn+aFj;|HRC4xt
z$h!*M6yyut6oclwMHN`vCW5s{u`Y1S-BUdg*Z_*%V!OOF)&G|rJd``P)t0!$PGYC%
zwiN6kfh2C38^K;%?iRa<P9beY9eRm7x;iZ8MQx>9?3VvIEr2-p$+UNxZpB)ay8T6b
zi#rB`*R(R!7$pufQIxy=h4Sb$f8J(Z34Af(7ow<g`%C$DV3rVOF^U~-{}#RznB|07
zhGLi7U&gC}SxJ}@Dt5aOA~(6eQBh%!J5a>exVM0?*BywT>MjGc&mAb_Yuyz9_qziH
ze42YJzyt5N1Dp9ecO~G1?m#JD@7@mZkUOx2Z*cDfc-S2%;~U-807JhhJ0;&oYR#y=
zI7$XViLvb%nSz3jlMyJWhSU!z)*$nd-zcC+(eh4_CFt5|We3Qxm7dSK#U5I1%0130
z<(+qny<G1I)1lvarRWQ8+RZPz#XjPtjsKG3z3dkI5m3Usmlf|7rNygmae#Qqey%Cr
zjO%W3kn5eo%-0q34R`cBKFY1#B<Ij>Dc8_$ha5w@<BmQQ*7r-=UAH(4f$fqY@E(~3
zyYCi9xE>74yRYPF58R0MY2Q*J`%jcd<(O}qvtx3_w{g(@QBs(S&hU2p2AR;ov1gEj
zO=#ozGsqz(^iuN-a;OO<pKw2X20hG#!hdl0HS2a3Gu(usoOJhk20y|K9G5+2y!2){
z?`NKJ4<NEO+6+|i)9(JJ8YhaV2u*X_YPhdsS`PVZ=hV(UGu10zYDTAxyno6Gd3r{C
z-brrdbPuLybOujuRw`m2JbaA#I0%h3LqTYq84g0@O%;SDn9-+rWJ1FGZ+8eqp^2tA
z&28yjgK5aOCYj<4w|CDD<^*$*o0%#=O)*t~nre!(h~#OxX{i~Rc}$yTigVl^%uMUp
zHHa8zDw~^bQtZ*bHN|;E*v~W5KS~XYo?(g$+z~?6cJQ4kF4p35v$}L4LEoF=QZ24l
zI5x`5+<ZEY<<X206io_YvrKV?EQSKjZ1d?rlW$Vonq!KqM5jPAw+?-tN#<T)ifcrt
z6s8b#jm<a3b*^^~Tikq;f>x0ky@P8DOmPFedF{xL7AodqQ{3cwmoRg&VqRoYgj;Ni
zTO^ngo+WiUUTPx3Y0FG;o9N_c%j?irnD7X##1wakPWjKuI&{w}Gx~1WWnR`+o8q4I
z%=Eu_Ka6@sTW5*~X!;_>>h*P+ZZM;N2(!JaZ8XJ0nL3k#>lZV-{Kq5iQR+$!X(;uR
zwCp6!U_bslIvMBwml2A0nf}wf+Khn`V7xO?>^A*p_#R;95GEhRUejMBU!UdAE93`(
zUjWo0)L1EectCO3^q=KNfLTnKMJSG%{&V~oFv|$D6vc7Vf1cL>Q$m;(C{CFE3;ZN7
zs|m9T#VON&k)H-;9bwj@IAi)R@w32eBuw50D$kjS>D$cl%Kgrpfz!OytOntN892kY
zn0o+TBnK`t_W`_Q2I9w>`vG01AW&`|1bBrUf1G&;;8inlmRFcZ0A7P&zSTSi@VXf|
z&#TNDfH%y*1-{)p3GjuRX5b><VV(wj%M4uNJI%8ILqC%};+h9btwlxRoh_x8A$!ek
z7)56Q^*wjU1y$U?OFl`^+xJ2qcR%ED+5_bZKbWGo0kxAWJcQac_Q(`{4E>|9bv{zo
z`J*!XULG6^G|O+22TSee5&ftgS?X6FYS-T*zB2TGgxmG^kP8g(go5}$4+Zf-9tthm
zU{B}`Zit6WcBn`6CqZPg!yt&U;T|!-&_50f8m<IsBRu|-`bbZV_JgU(4f!7A>=IAC
zJeu}3>OQEoAF(!LJpQBdN`4bWcF&x^uL}7cbCjoUxSisGGDdpFJ%gU=fe!DQUq6GM
z=Aj@wr`2=ie7xtLIf=;Hw;lxH`{qRIRsARkN9dL|P_CIH*dV!kP6{iK(Q}L4gN>-1
zj4qkThAFupBKOVBWkcof=QTwl-F;r`mc`sKkUJZ(!whF`Fef)PCp`@*a?e~p3m``>
z^4PTn9(#dYJMR@pyf-i2H{75UHo0HQ5|2t-*Kqp?*`^={89X+wl#xcHl0&D7IZHj(
zAo=$Kf5TCRJ3T8qn~oY&GkbRH7|hnR<<N&5UeMsfA%?-7_||FT_@Gka!E1KxP{Ys_
zN{`dEm87wH3pmEukP`lQ+i1g~I-#uw+l(}LZcbKcB5}rmlvNn@Y8v&Uf>?|?rZAB5
zwNd}^u$WI9V}#P@C%Aqo>mJXiLqsU+)|@J<-oTBqvS(pZ!*PZyGb_6r7Bk%OM)kfu
zUal@|z$VB&g^lva{&jtWM|7Y}dZRKq0GmAclBR8@xoM>#1Ki?4daadt)SgxDQF~T}
z2RRhewtA32F>RX%*%Q+$JxHCHR^?GU)^?BDu{2<IcxX4-=@Apjf+?Zdm8X26+9M_z
zde^WCS1S|V?V+t@k4H=f^Gg(F_bT3f9x=txyM=l8Dc=1a+GY-T#8l#?#O5HmM#$FS
zSBE^bwH)?{X+$UAJrbt>7Cc}$>Y?rAm`8j=4786OuOpzwL)*y-kC;w$+Q&}Tp=+n$
zZ?b*SZ}W=y75LXqSo&4em<lps6xTfdLVg{XJ$Sf*8UsftM{(2R-^_0TbAT}WQQY<*
zm%ancVZt0jao2-f`W`UH2y+z0eGhW!2f&;lObr!3co28<E_zCp%RMCbJngvx$|Fyp
z!v@b)KtFmAV$XQ41MFqNt2cUX0PJlcmp<#c1+b5WJno$54#2(^vbXb|djR`c$k{G<
z9smseD3^ABYcvkOsimqqsdZ{<svNN3IV)sS1Feuv4YJ@iYZk-=PjPLyg=7d{VlAXW
zOdDw_TN-64TN-U4|6!W6koGX`YfD+r7)x2tSPS_M)5clIahNvVLRy2H2^KOLC>d|8
z6D_i=NtT!)-(2XYGuf$@_)exS^yk4ard#5B(i^1#-&z!WXP^_PoqjVcGJx+avXJjB
zF_Rc6xXx6Jvn(;o(6hqUHcRo&w#ZoWEis#T$&BZK_ldR5wa8fJSt1|wyqC#z3+gZw
zS`^9WTVf6vUM6!bszYC3A@|T0T4FBI$y|%;&=*<J_qn#%67z^o*1Dt)eW`^EL|cY+
zH@N?cm&sh0gCYE*d9Scwt|N-G-aO5>SUAW-T8lNryPk#Iq8ym1gqeb(!osWIR$!*%
zVH;|!7ru?6sI>4Z_{JiC-dVmA_<X|8MzPC6Zcz=)Ji^RHvD-p!u?Lv>gegR^*FtWw
z51567S%6}{h1}u*FpCMZ2*p7Qxy2!1mJwzt6^AXD_&RH-MXP<pLTXWBZOH@WsD<2O
zrBx2_m<7XMWo-p`+zNCUXl(;jW5MuOTU7v0kl_!qwgWtAA-7m#?F4uVlKEPz8sKRQ
zxy1%+55O}Pa*K`DK7eN}q!yd30|3uiNG&#7hXB&A8$Q-(9+g$pvqiH)!=-|>+Lve#
z!^cDm!~H5H9G&MIj&40aOHOK)_>-icB)2w-jF_jNL(bHeoGJCSq*NPjkkI+Zc?;dq
zH-dGG<39`?dt9+pVsO=>xO^?-OV>lbbi-0{`KG1f@-0in<=d8u%XdPabvNW$6qoNQ
z@40V@1@e_8anCO_^zO>we<Z77y}Y8>(0hbkptqN9jPyaNvA$lhNcLIMA`kx7-zyfA
zHBy2zKv4&J#S%l$3AY>QB{v)7r9eH{E0z*3`Qs4qK5?C)UUI`>Ua^em<c7oR&_{U5
z^+tNda-x&#jRM{GM8Ie-`JVKO74o&Ely(1Q>2GlmH+^YqRwyf$`v10>&+^7#1W?={
z6tlgEwfVpdBg{|~bG(SPbAcI2m=P%Ec@b+1fRTh5O+}#>hB(=KMH%9JZvg4{vR40D
z$j5oV19_1bCU)8S9^hgxV(WPCEPzYAh^-U6`2d%C5nCsE=K@^jMQokqEdUt$h0ZCK
zdqe8hU2!YCwdWKi-r94DmEPKOidEjwIYo?ZwYN5hUE>Ysuz72}DvGZ2hW6m~UJ8>N
zyrKll_X-7`jY?IUyke!H=Z00aNvUeHQdOx}tRh|tGFudHnOCef^qyhfGR0f2)KcLU
zYlxTL+_oyUg**g$-{z%=SLqdNW#o!h_?+H$#Xp}%3_Io(>!}H8^0*RT;}shW{j;$6
z8YTXOH+qmfxWb=D>F`-^C>=iMjoxTPsL#kriQ0Lu*aShZ(wr_(-|Qlm&Cok0hiv1b
z5_HKMU0T~FNxO_iq&5^_uc*$iVlfRpJ>2H1YNK8AB9*=l^>2_lCEn-H=(hluLSMI0
zWB#}`h2oAEA4l#2Q$d(=6!*MHt&2;VuyVP(<V98?qgKYTt+MsXcpRXt@WSe!IzSoh
zgK?BRgB;?6nXG&UIn)P(S@jHZn2+L{_r^2m;XWARb#HH9-Ol1h_z)x4cyD_jJkwyL
z583;Pl^?Vy=Y4!@y<hnTQd4b=5Bd8#Z$DqyMztt>j&*O8|Fi0~Ci(n3l^0C)+1pRU
z|Jiu@#%B+qr~B+PWXY;{HbWj*)u_n~PE`1q&;G_-@Xp24JmMvE0r3V_$Nw$#2(}?9
z+YD!?V3*X6*%_U>1d%u|^w}#7qep5+Vxfn+E%w=~3|o&>++!^CkhDcU`*y{UROnHC
z4M<t+3rEfotK-RnU_&c>%7#jOIIGcC`czJ`%BOOY)jpMztnsOwWUWu-B<p-CCt2@P
z-n7A|ylJCP<s_SYDks_OQ#nbg?{QAD#YfIo<`X-}$jE`peR)p@y9ys=xLbW<Co#}2
zz0LPDz0ya)vdSlR5uLnhJLsCe1EsF-B$(~;iE2adq%5|YTC?3gvD?stVH@6~c=sya
zeLlhV$a!m8<RQi$^ohMBmg4mxMLz5k`wYEHxZz<R#p@$Jinm97Vn6Xxygo*qgv<c+
z<30+vH9m2G=oGI{)S;jBk>8*4iGxHZFFy@B4!6_~0?zm-)j8`EhYaJ3q(sV<&ef4{
z-bcC41)n&q7|6db)?v8hqh#l@PaIJU%9+6s{-F!)st*o)&4+Vm*za}JvTAL|7N_|m
zfMsOTTTuMyL*~;<#6TawRG{cBaH{gxb+mExT1Q#VU{H?|^$3a~0$I*bU}^|+9K|q!
zEN3_{rwDTr#R!2cXCyFZ33CR;D1j_zG%yzka~_2h$a200<}zU}Q87kfbGhSNp<HjQ
zK$dgO_s9ZeoIsXy-PcRtwz0sTld!(kdxiX_ZvYTe1YCW&Zy>;_0%^@H-(Y~#Ad27i
z4F&j(Kw5LpHyq$}fwbnnZzRBP1=5-azR>_@h`=TJ&H7k%B;xXaFKV}wnIgQM{A!j^
z4lrAUwv&887CuLaqiX5N#ODgK%6UQ@!<k6fl;#OCr2;|LTqtmt=hqvWM!>8V3Q;3_
zYzRcaL>3EiLXO_h+Itf3cB);8lC)BY3$k*<KmHCQC>7!qb(BO#utkx}ggA{C$8bkw
zs-todJ;<2h(JBPqKeVlaUSzikdXcRZ>OiGRgm#ea0y~JdLx?kS%*JN#mKxe_A<n8E
z$Qk#j9`*`x4*5{HhrOx?ZJ&Te?T6ClVBHR&#uRZBhvJ~Xl@_+i@4c@d1%4sn7oa#M
zuo*nRi8g~jY)Zmr(0h{~o57?_fnOK$@5KR8H$q<{ZSEImpFv-T*7;0vSkyd2xFHa?
zA8z`<D(C0KEOAj>AqMTP2vo=}o16dYykX#AIe5Wn{C-+)<3FV5Hg22PI63*Xwn?wG
zO>X@AxBuMum+$|%anh@B(RvpRd_nvqBL`m)ZI_ICNiQTP(vS1Ya>wR4=_wU%b>9ew
z*eNe{?rh^%rB&KA?wTPw1v{tp?3#<?Yx+t_M<?lN-RaVJgzR1#oj|SL=#l?JJ$}Q8
ze!`oZjq6-EWv6>hM6S<o%2B29?3OGlZN_e+6!KiD>*YI!Rof^B-w%VSO5WD3+noIF
zvm_-8Bp1IYU)U0Z3r4@$62N!q;FcD+U^HY)b6hYg+7izmq4b&bQS(Qm9xk$V&B_UO
z@=3GI_Z&%w@-)GF+k7A6z&0x#-%wN4muEFrB1X&i${I%1vNqs-<sZu$vwpHinV)?n
zhm^&#{&IF%Z0rD=^+d#{8QDQv84?i72g+k*0UUunDD%e*ws}5I%?)<z{!BNG_z?Ni
z@;EvOE00SaW^;wP!b?non)2a~8$VedqBP?p<m7U{f27SFZuay5TJTY_vb;geXlngQ
z7PJ?dVeOn+ayh!f&%Ty{ia0h#zETm_a4hw&SfA>@4Id}FRrq7ZKb8|31!;mt@jRa(
zr&lz{n@FQjjnyb%L`3~5n`CnkHVxZ+&&-Tmp2#NK9O*r?alJ5CVYDPR#nzyE&#qlF
zGP~gZVNM1<Fw@mT#h%Qk+62}#Ej@!iZ>Q4rH$}<$<rkXPmQS-qWoC6t?fz;=jc=~i
zw08U(o12id;KA&)+@9INw}xuki+p;BIXs?}6is`HeJi_fZSb2Jw)$$=B>tYTe`mAh
z;B>94R*!#gi+nOBno@n<=+(G){}jpJq^Br86TD=$Z*9RbOUf*{V{3F1T;1-RmWjhl
zojG~F&E7Sb*(LWQ;=u2Lu+Ne8wk6}z@ax-t%IDd<vPq@4{*OT0@FlZA4%!ymq0m;Z
z8~iLSJD5go+<ZO|X`d;?FYe>b)HcKRolWZ<ZPzpxA>6+#>7|*F&_|)@$^G{0K+VN9
zx_&7|^7gjIIBIQB8E2bgdxbBQuU0l<#qz_-c)rLMC;wO-i0qp6DfRU_Uo59q#s-$y
z%&=YMd>s7rv1`1+m&)qOW--g27(_6)C%*lM{pwA=Tv}C411lak|0t_#r^n=<^Ah=9
zRcv4-k(IsFk^T$5O7^R299aFBT&MNhe2rXP701@fLsc<&-MCxTh^?0mx5vk9c<d##
zZqR#1mbxeT8@^F?*dD_+$!^>Ifz5RXRcpk*=cV$S?XkF&yJ~yGxH6mfiBs1Z-5+_m
zyuQ8Ze^%H;cxf^+bA#D*s@*;7Q#wo5v_J8!wgykyX9v@>J_%-j{&@Y~=i5lWiU!%i
zZdtew@|gB#UMaJ7#Nck@kR7ps?T-hm22s1ff8#skx*g49c0QglJ~}?7fDieu(K};V
zwTwf#TfVk4=CwUf&qyt3?acqq_dXp3>#p5@^L=u}&L(WXT(GlQ%z<b6s}+&P56Ua(
z>X3Boie-mo>s>MIh<tljqt}m;Xr<%Ktn`o4G7$r68+GQ#p6<8q47%{+avEgS$d$YN
z?1bF2s|nut@9v5XoO)~)b(W+nKP_LVZiG+T?^Qqd`?EF|7B!<2U0%-0$;ka&%d(xb
zxpFhQg@Q^dUGP0`(=&6r>lbX13XfAAd_?V`U9?5w#f0vBU|VI`+9kQJ+Q%--J=O6M
zS8V*}Z~fsx@q_9~Eb8$eC-t@D^gVx&BM-Xdn>8`A@!p6JEc_vbrqx4XtEXvpIG_`5
z>c*Wy7ydKgD1EJu*F=-m$7K`zH}K6O68Ci+_=e?ScnhPCSr&_e2#a}`$=og$Q9N`{
z6?#^G8ihYS>FY<&Z_By+8lrb>#b+Yr^EJ=Qt0#m!f6&S^aUEXsqbW(Gk_2g5LuR3D
zpvtF*;(c}~Zj8XkaL<B<;=o8;7?xnT^W_8(%`lY+KWoSuuxKWjk9ir3@UYMyZ?%1)
zZSjBYYiKh@v%W4_bRZyKsPV}Ex#*H>&%0#eg_z<4hw%p{xZjy{<Q=*4fJ@PTyp$mS
z`&a_#tuYH%arLpEG3-#DnyuKOj?^49#<ISV(mWO|3vQaywzsK#^FV#+I+<>cV||Uj
zjM*@=zB(o=dmm`Y#uewET*~Bc&#Wx|!?}Ft&#&4<*Nl$YX>dkl2Dkwb?37B`(>0s_
v-?FE6Nh)iK)NR*o5okr%*Kf#I?<AQjxoVdjB6Izw{Nhf)c4yIyHTM4l$`7gP

delta 14468
zcmZvD2Ygh=wf>zucUK^7xqEj<uq%mXhz0mzN!X5YVj}w`cKlDC^ZXpYkoWS7o)8Nt
z7LqIpw<H$LbVM0?H64KpAbJNOKoTI)d+)t>ga6-|U17jkewsP=%$YMYXTCXe?%ZMN
zH9qbdpT8wCGBQ3rp-HPI>4`1Nc0?Xyq3720ESEcaM0EH})4sO1m&wla^*a1h)A}+z
zB)AG(b=9bDQp>Wfu0q{SJXJNslzlw4-rPc_X-iORF7l<!-eC@tQ(K6#e^{-VH+Kb?
zn^CwD`4$u|XL5KKA#1!}HS)*Dr*-S}GO0>v*_!B3H(S2kGkH6cC4tzo-o7`v>IgMT
zEhn{<l?~R`zX5HJq4j3j@P@x;^?T}?Hbl3#?<J4=$E!}N@rEjt^$VQPeZJ?0Lk+cU
zS@zGkzwo$*@z0JbK0S%5wQWhgIHt=1o>=K^ddGhVO<YD3hml{=?YRe$U)Aj$j+8ZR
zHi-pp;IS7+hmiN?_T1~p`*3@QTe@73E##G#WT*#E#}R5oj%t2AW+LmyHElGc`y(HN
z+I^9ag|-1@-?iw?Vkfc*V9bTUMC9`zFdlgk1SWB1%|E_8COnL~anmr=7-<+~Tn-Mz
z$`<jLVsq!C<~nF9MZTWfC$a?~Hb7Mgmx(S>_D;)hSxoLGF!w^L0{K3Y+6-bpq&CVE
zt!m`QUE}qZFP9x`{gENRi!=;P8)wMj&gcf?4Ux&%FaP-XwoVCWhHhhaP5xhk?|n{`
zHqj8PnV$aI^HPRQN7*Dpw9q5oPJO?m-Wt|`rll27+8RVsYs^Ti^w%&ea&^Me{EkU!
zNm1*VnVQrlp<_~;B>W|&A@7wu-H6q6eFjoZpNW*QvFP3`MU4ZcX|q+?9HhElsQBZ-
zpR1?|N@AX(Cn_2h44cicv);)?hJ8J26d#}3^4*tP$9HV`a?4gga7)nfom#%!Dn1BK
z%VGo8B84S}J(pCJ8ukv<@O;C*oRR(ohQ0k*gN!YIm-K$vev6d-^u>m($%t;a#1LZ`
zEc9Bt4mu^Uqq3enp5&7$S$6p_X-mGYuSGvKeVyuU88oj~)FM!rQdL%tRM$5u{$lVe
z6tzT2Y*O@6ML#pj%{0m_GzzLviBXV96-Ggdt7#Nee=BU#zRZwo`wIELuWi=@@iO@z
z4G0zQzuuR%sfEZnQc?rrJVbXQzhKy_80)+P<VEP+j{Fkz?!wr+h%)o%aeC`(;Pthk
z-c=C&Z1(mykoUKt-gOWIZ1&tM$Oqc&9d61F?f%3xIlo;4zor$~ehNGdz&qZqA#60v
z2GG5TI6~uax#L$pP6%!NR?MrKCT$9V2~8^M)v(541h#_L!5qh@w`~mswoZQ?NPGiG
zEc@y$oiz$!ux*>R3WLadB~P%C)h8m=<oI8-h|u(@#F3kR@%p>K(JY&NCxgCJ1s&k1
z6``mVfv6=x3OH&V-<gsw;LNt!cQMvwh)vVx*kJqu`SvddVZ`%o;=eE?Z{8}M5<rC6
zXv8Oe*&t5S7TQ7xdZswE{>p4J`SS)bi)^BTEb>gbO|8$xHktBOgR;NA?O+i=m>R=p
z?P&}f)fgtVf4u?5P)TE`qOQ$H$EvAg3(79Ef0yaa2ndY{2p=ckW$)}_yCHCsW^fmX
zTbRMU$Zul?4<Nr|vma)x>mHDINy$zS_h|n2fw+(P-(NQH-OYOPF7`bb<LyxM2*d=t
zJ@*OniFSL3p5!^~Q1cj!$#y7t2x5vIN`3(Go!#EPhrMk0Z#u*qYgtsGyxT38&6R)4
z{IKafy<S#oQfgLGQWDHpsN2>u`&taUp1uC>wULolQQ3ja4_K(y&$3fdtABR;hV%5F
z3YSJ&#qwzOd{!cdes-Oe${soYWb@^doIf{R5NaeTHK{G?mFhO^hMTF82sE-i(po6L
z%%yrQ^Y*gR5#2vUwT$lXH(WriydZrg(kheH-7DFmvQeK4#um$YU-V;3WZN%0HC;;0
zv`x)wtH!cex79LxEj3dQ%?yjOmdRybqN42e)qT|a``6u3@5a~v*>EYf^MZI;l(k&`
z`R}LMin8|qc#9b;b@74ham6Qx{j)DyB^!M6*-NYSNHU%J_Zl>;)NKct{Qxys9}OOg
zvew9X-;jo3`2ogO%6UEdp=#Tne{Q&%T6{six5HX1XY~BQxlUK%%3mowd0F1?Ssc4w
zH@?iuNs8K_+dd#7w4?M+E^ye(<@#Q&8*kK&%rA2=gOSXD(0bjzUPm`Lx-r~gRmiB`
zAFy@ulinqs^*XfF)t^Z9eSMk-Hlja2tvbbFZIb`h=eKOLoX}?pRYgZ=GXwbNI_z6y
z$8X~sRqDL1<@L|ET<ox_<eYD*`i*Z@%Rg3MM%Cx{Z5}{%YWan#D;-v~yxR9?Y^xOg
zUUP5Lqw>1u1cNELd8v89?Xp9^9CwW#(LM9i%&admqiS{E2Xfd5zu7B!gM+raRSr1w
zKFK?z-oF{!DO>b!+j^JIGxKtLCTqQtckABV>|k1Y=k&CcysVTi!OUPzdfG;ZrD=O~
z_Q_t^yMNQS_vw+rFSAoKJEi0VJMY)sNP{`S%(P%ic2-Va?g71it5$#f`2F8}*s7IQ
z=@2h7t;!*`=}fD3h=cM(|CiYzS${z6Zx8GCRwR|6)i}fvoqetMO0HF%+~E-I5yIiO
z!=dTgQN4afR+mm4sXt8H>4-iSu9>Lqa){%y+klsvozUy21v4^IvePqjPwMp)jgFnt
z^-mJ_Ibt++S}q*WqTV5N<DkQTMjjgw%g)O02Q<z<r@J$Qc`0dGnVG?~y!5Qh-1EAg
znRvjl*`YD*f*yfZGgG?-HSL5Wa1ljG`yGd<NIU5We6z`M7#2O{2wXx*+kK9ss^qjI
z(5S+3jBKrbQTk=w85#pRm6Dd3M}c7S72Vq<KV)Mvcb)0agzUXnk8qqN`?>j5-I0@?
z8%#;f$w~h_HG_1T{F?6QoQfeo!}Rd$dZd!<1VMCJ(=2{Nk5qC`SzdlqH!`wPJ5jk^
zJ4dr4cMOfO&SQdf^z4Eo8iDLZhqxtwKd6c8cG%oW+Es_RBflQhlvT@#gJR<Eh6`TP
z?mEOhUH|&$n8JIQLXF*bh~-SpVc+EY^4OqP*eU54?2kFC|A5)J3d{6x#%R~cLRXOV
zbow92<iX9^Lm3?WYV0H3%KaieFRg2OW|x#y%*yBKd0$a)IsabHADqOt$y0;dI1cK4
zoaa%yz!`Wf<A(T~KGA($Q*%@DU;<hWDOug~vb*QyGNV?v)#&ygbor+t%~=omk0Br0
zw(C8UrMxjDMqV89p;4np)yiKMyyo5oHdew|r^5VRnO_j+JD_WmoCM^_P6gyCP5^m+
zLGuV$X}VMNl!pqMMjX?%*-p_*@}bQz)}IZ1>3`1Xr5NLMCw61xGm&f4kSuWe&*}@o
znT>}s<b_l+i;_joz<IscIl)QrTI>YeikzkDVTm*F&3Na02rYF6F3IUboAW*TURgD?
z1#EGBXk)jUxYbUYxHV4ETQ(Zj^p)GXw!ta-aQ<~-5@x2{NgiOMQ+&(W-$Ltaqf^6*
zsBlL2ke?2V$-k>>RZh{DD!hgY)u^DctxnO8vrog5xlQr5J4JuaGD1qWI=3q|T8-0x
zO0UI;)}Ws|kguabtwyqw#=Hxh4S3j%91SBPMY0DoukQtClN0gPa6b^xc=(4HROawD
zuOHO+J6A#IBqms2;XI^Ffr|J=Ve@wUII&@ue#&VLkUNI|2iq<ikNA{kb)YO5@&Bwr
zTo1dr%XJfbafF)K8){;2h9>qFO>B&8{@<|TJ*OB<hIk!@xUVetz$u1s)-5#X2WrR<
zop46lBc~`J(KjIay|T|^r`QX_((iG|Hcwz1IZ6^Ldb?tv9c~yo)F8G&@~sON>I=>z
zJoH13dYbl-lKw8BqNnSc8vOtlP|?HH+eHu==n8yu)!E0TX@guqg*CEyJ)i=9qrfF=
zhQ`^3y24Al<1klfX%BZ1LPog6Q0g$PSLvcj9_bRpILiukd8CU_G0GJU0F8Eu;UwA)
zqGKS6Hzt=D!C7`lbgU8`=ZYR6kBp3o0Dvar%|-q&vf1xOa+VVk`pz{?iD}ba0LTms
zZUnkK6FFK!n2lr>4SzN`qwz2YITUN?f~FO^;2JVUH3cvVMiDTMj3QtZxrU)|i3`9e
zaFr@+paOnjU<~A;6(0u1QkOMKCXXgy6pRi7<MHS>k_U0M+}F86%Uw5&^)Atfai(o>
ziEk(`cZrYT6F0h|;RY&P<OVj8S(&yOHkG+!ns<Ojt6gF=%#=jyY^yTUHkTN~S#HPz
z+tm2Cy9g~cE-{uw+d{Nf8GnaMjN>dXB)TJHs+};Eyf)^gm^1o5n4=nl-H#lK@VbTM
z01PJoZET>$d3}$oT#f$-L1VXTpL#e7Xl!uphvYGWM#k7WXq*f|<5V3q@=u4MaYjMo
ztV@ii-qHF$r+RnZB_?pzJ=DANs&^L@G%mWtL=q*~Us7Yf>=KhW`#dCiS&3e8MUUc3
zUD{PLt9Ffys$CD6RJ-AdzN@#^Zo0%|((@+t+)_>6c8MvReWCR9O}?XecU|H;nLkd%
zoYL>Z5N9#62guPOO*@0+AsM7}oS!|AmE#C4m&OrV-WpG6>ES*Nk%4ZY<)o{(o7PU~
z_pi}1$ZbuPlg2k}JdLwNADhmj)aIF!lJ`}1P^-@(XK+0=A!?@FJ^tl)XK|jD8AQ}N
zliOx+`wR}qF@%=|ZfiD=_&S)AmGWf*5Tt2C-SqyL{P3Gu_2zJv;A2V?UOL{M5Fa;}
z8zc)oh0p65?zZO1UK5i4t%&PspW>~ITUk0K2H+{QVjh{6k(Ksouv1D_CUYVLwXtZe
zL|&Wl7Tz>kO?(Nj3?EKx-EaZ71wTv4%4Sguxt^F}=n&NXTA3U^G5XJoxEVxX(LI#{
zpp>kfPQe`3FL^PqpPq>gG^Jx|m$7cUHqLD?;;`Kk9?>b7k@{7z6VusJUM~j^R1pE|
zGG4!XCbr(pU~Voq*zysRVocQ0b&e;pL5#jaww}~De<e3^J9kd(le~)8&qc?&WkKac
zw;d-?Hrs0M%MBtT>y+|&YEF7;$BbYKg<xwq|KOt!?Y2_hD8g3Ep;!Ahc`c6$ZT3oo
z=EV7xD?K+QHKlV#dNvY_7)#t`ThCojIVpJ_OymY0k($^hAwHp{QO={~@DgwSTZt()
z9Cxkby^<%n!!AMBC%Z!~VTxN6aq<b@xs^|t>W<#X5$(SBUMSj~<`$(Wo$eOJ$Y!`j
z1+UjRD+iHrLITrfy2Yla&xuT%<rbUko)b|%+bx=JdCGvm9Ji?C>?2((bc-skfAk?h
z#I<TUY;s%@T+TeV*h<TWJadtooOrQYY~$>!5V(uo<itzd<Z?>gV!J#xxoI0X^fI@o
zLAADtsI~~z!b<_Ni`~(+JQS0+)t0!$4%udkpIrKKx7aB^oZ@e}D_s1#w#qGblNNFl
ztDn=Nt#QM14V&_Qy=oX?v)f-Pk4^FC7xQX&3_60dA><2?qi>qF&F!z?+rcR#&O#(L
zZvQ4;3(gYaEJm`!?cdCIg0q}B%aH7H`?v7j;H)CfN=o*)u}N0Azf)^_uRBo6*Sfc$
zV4pkCXtKL9736+*pqQ_7SA#s@4ixbz?yVpXx&sw_y?Z;zL+-#PzQJ7!@~}IwnU}kF
zf;{35Y~dT-yFrG2QFaR6kJjO%zBooRO%b&1IL)!5PSETs>ZDt22~npA7>akAkU~`c
z8Jc8WJFBJ`r($l}pU=C+9<naQ9v9TqUUZAST<-`}(C?y}+e>cRpf9_{K9Z%q{ECvj
z>K6OqD#Ef?mFzV)T&;H9Ee?<@LFR^%O~2_D2f5xUEPPW5-*QLK<HOzBZNj~FN1<N3
z8^XMH&mDaz41+hc`)+X<3ST2IJs=pchi-9%>%p+Thf1IJh#>LzX)653tX+mFdzg3)
zAd_A~($n-Gm8H{~|MeKxKY6n+itdBk4>=Uz$cK{tCg$lFO|SB$So`=5Ffn7tUtkV2
zF?T0kU=A_^TV&#N-+RUUl>6}ug+olh;d^&)^LgzBCSY{h-QxxJP&05`4x0XkS;_mD
zXWad$SQ}vms^pI8-q;h|*D*C0FVLMkr*!U~sa`2l(mR#&zR4#?%xHvngT^!b`4pz<
z`e-xcSjL!P$1>Jbj%Az~eVRwMYW4ANJ_>o3@uoP#ZD|?7RD@I$OmUXmvvY#ELBtFb
zP33eZnab%*HpMx3=hVE^lytl-Pcg-LZVzUX3x(S<71pMj;!p4=+B8#Kfb;w+Gp%b%
zSoL&MT;z@rtFD0=rnpqc%ggH0g*44H#pOC)op#O8u1MF+2J}`m+Z0#jD>MD{Ry5ZX
z*W~YK`tt$SVpCivypY={G0A6@n&Jl6JBRU7YLe5MZ^9923rum7WN8sBRI+8JxW)A@
zVc9YzyT~M9FE+((lBG~&31okCYD>-NU0hpciaYO<0Iibc&k3wBfoE-{Deh7^#UQJm
zD_?C!-wWgY=h_-m+?TCq`Tz4lnDwT%-V_f}^YsMO-0)n@ax?l-Sgf74(G=g47_F2F
zh=qR`t+vU;>KHkzOa5c-QS*=zGCgg6iJHNl{FI%f*|aNgue(hD8NM6qWVQ)~vykjD
z{b%`JaOM)H5XnB%U&{A`Q;dfL$YErBA3}1_^cV9(;4HwyVN-rR+m(Ng9|dDEi7Y~L
z%=Dk<$H7@foTW%knEng=BseRHvjWK}(|?hl24@X%RwFrM`Y-Xb;H)RkIwa>z|7Ct2
zoQ=dOr{sbOkG;(ttCr72GjN7)Hh1Tv<dPXU%eR<&L0+a6SZVGDdBqGg8f_i`b=8C)
zuQCsTyhaOmjCmO3bu(~|SDQyc-hgJl)jSUJrWv@vYs`}%Z<&FMyw*Go^0pbc#CMoy
zLEbR~m-$ZfJV^Te949O6G1ok>x)v1)x0Cz>w-BJ<6zJJAn!9E=I;iitM=MWx_4~9G
ziTcfh&`Nt~(#EZ6k4*CF-<zU`0SM4L!efE}dt!>7hTb&{=qC!$KbYjzdw6h^@OEL-
zjsSNbkLXSH2;AR#s9s->=ws-A3)k!Gp+(cr6LQ-9J>;|pc*vt@13k*0XoEZi^1&YQ
zEh!?94}l`a3Ou5(TvzBrP(92OgC62-3^{s2orYKQAgI1p=x0Y|{kcuqG1+=<03P(7
zIo$KStDNM)L=5wcd4WCIgZaB}j(mYV#X}x+Zu~DR`B={ba{?7>(>#GH{?HunQ4@hA
zDnipDbW7`JL<T$N=3zNxq<3QK=ytlt>MyU&O=d+hVP2VgfDx6O-X$|NLj~vq<;{6{
zY>@0y)C{rjz@nCs3%P-BbT%V)uv}dfi%JKJ-pqd?EUjx5=6wgWKE$8^HK|YX5|0W>
z*Km7*(eTIb(D+3A%m?ZS3PuMc4>cn5g6JxpKjtn)C-FH7zhxfr5i>N-8iWFLElwXM
zhZjfx59UZk@!_~Vj%zDC_;3?D&@i}DLzj6R(^h)$(iA($Fm%Pz<8*Bm&1=2+Ja(|r
zkOKNfw&8|DwM<(Mwwn=>l|*Bp4NGEMKR-~_p-|%0q*4EAf0<7kDN{<K0~CT|v>&N4
zeVeQ~RRFz#8>8gVlEj43hAT5GryGnNZmV3qYL79zD(nvRqAvCxm^@ZqFKKLr_PcVj
z17Nuk=#))MWAZn0t<t0RuPTq)zp6b5rI@zWgE)$5+dK%On6}-62#RSn9<_bddP0i|
zoE;uoS35mo9Ko8Rnq6vr?DmN9hMo~#AG_81*yEu{c&|rHfb1LOt@nAF(PG-~5fcr)
zTUdC%5<cLeMR?F7CdnhE{s`<wM?7M(d<+^3^0-G#k#Y0=5!hKydGK2L_WS_$^$zoY
z7gNfwVg2j`hOZ+>%LreQ-0=8|<(m2a{0e>t{DZ_lfaI<R!R|e9ju7WClKUP6yAQxQ
zPMl*%9(oY$J_6?yaZXb5y$7!IvS+heH;-wJo%LKp!4ps5qjJx6P(OI!BhPtmg6v^o
zX>Rn~0@<^jg&^v@=MLyz7DA^Bo_ipBTL_pgdLDr6V<FhR<aq=#^rK+cJ=JJ}*Q0<e
zT+k>yll`sGOb)OxlLr>W<e%nRfrTK2X+tf9Crle=sd*i4sd*h?Auhr9SPSt8(?(iq
zCP!InCP!O{Lzp(kLhQk`u@=G&rj4@@VZbZkt#Q0Xvpm5P(`e=>9GGZ5yTwnkqL1a{
z;K>rxNr2qsl;;G#vuHM_T4Dy3QwT5(<r<rg-p~e&-*k(7=nRVjkC~R3NrL1iXDPwi
zmY8MeSz(CGR<d&}3OoueF`H!N&4q&CP-KZY(pBb<fV(ZVM4@a0`X1L7T4JvJ5cC7C
zEw;ownF;z40u!=dK^eiPuq>;^8NS7e!BEko@klByZ01$qOeW4GB-Iw)r`}#f?^8A4
z&jhO$Il82w_W+yaKgV~1Q%IaSNOoD+!FPjGM4Wj@_E^}#_kvSOoDwAaEbQR>!C6S0
z1xOB9*uf8ivzR!GkQ}nGgC7QG8F5}&O6d^`I9zWHw#a`UwXlV+w6>t&n1vmDl~o1u
zxD_asY_YFvF<)cVfN_f8IKZj}dD_C3z1G?Z@(eWbb=Gc>XDw{m<<?%1=PYd58?F5y
z&s*5CE3AVcFId>JH(7^4hJL2zQG0bgTQn<{|6JU}Q(`!}b^kIcF+Smy#8;A98l|#i
zaU(Y_UC^8TMGH0Q^!(7`M%V?&Azic7K6%~33%zzDgxs4U<leHBN4jk(k95aU9_g;7
zJkq@oj_-$X4F9e@P*{CviTOaq&k3uK2toSyNOk?OLempVEHLzJg{I~|fW=r3uUKg4
zpM?R|(@Vm=kZP>ASCq+#OIqZ^dG+;*MWmJx-cObG_lm`ao*S;$-%B7K;3c#V^ok`U
zOK2Yi*$~XBe6W{5KEx}QQaORV;JNalUIO+ouUJOq<Wz^F{M8>7jPO!OExlqn1l}Z1
zI`TOM+9)pq+N`C&!}-(7r7Z!~8QvIl9!I{&(McTJAerUGtN(0p1`=lgk~v;@!$NR|
z5N9xwxn6j~dEg8q&QK&pUU<V|a3pa?P*UOr3MYE6DHN7^;SEQ7r=VcIH}KIV>pPjY
zEbza@e2jMnc#FJ1-&JcS$i-gx!m-}jAeVUI3&(j2K`!;e7moMN1G&r#UpT>A3^Mc!
zz4$NphTx;S;#PP=FaEKHm)`qt3?(A`+P~Uc_u9Y4TNfa%^@an){B>UC0oQv&d)Wpr
zxwvw#SV1PGcZ7{Fsm3b2Vx^(yh3B_I&F>~Pzni^c70J>m@)jjq=@qLDy?a=;Qpr}S
zxvchzH6%-L+^VK3v~&Q5ZC(ltw|m7}*?dJjzJ&kBiog5eqmFyUda6Rxe?qB0=@lE~
zi51@b{>F5VcG?U7ubuHCSkcaU=}`BaS4EuXy`hNnf;YO{h)^GR6BD$HUa=AC+R?}^
zQ4iQ<n9k5UCWT;iS@rgcH+oZDokZ;_Oi6VpT)w8da2+N!+URNFO4n5-?FP`M-vlDc
zF;TaW!%Vp0gygmt(d*Qee(wYQKKRwduR`*`i{plEE1R-Pd2QwE`Beu0Br&OvF9zKN
zG?Ak_a5G5y`ux>Y+O{9KSHb9y9PQ$DgpvV1Kxl>c`A~SE4`5pP0&|cLuv+y3bFdEp
zTP>%rvVIHi=)Ltqae)t5z3J`gdtU!g9}vFQd)NEu1^Hn<MAeU1b!bt^d->LRzxDN}
zn%XEI;_CI@K0b6<{i5*6)LkyWUj0`796m$s^pkz|_EYdT2T$Mm>>>74pM4sir^=`K
z?0=o^!{tpp&43(nXHs#f`YfOQGMkNZdYlt3FQjs+fMx8nzdbL^E+X~BF80~;>lBpu
z?0+f^*PkC2Tu>(n1%r~e8qQ9^E-4*z(mQntBEVhfvu`tu&r;G8N<7qRna{r6uzi+-
zd!i*C>fR!sy+#QnmUvVzaGvc8uUuVU;-mOQE?gtRJHQH`!tF{QPF}QCJ{8HV_Nho_
zjZZ}~Ykew`S?5!c%zB@SWH$KJIxhFAb-dB1BAE)GiextVR3x+6_cW5(;-h6==@YdC
zY+AZiKKb5SHyx8~_2IzvFKhh~aNadO9Ju~tZJc+Pp?6Yf-|eGCv&ScP%c8Y@wnuJS
z+oCPp_#vOzOS))FI1Cw$9r1~MhTbK-MvnN%<sbEtOF!ll`(>kbDr`OJ69;5_&{+Lv
zeE5#_SI~%4&ilk6`OUfj#VMD3;;@_o8ga^1pEx4dt&2gNa(ErZDNnEvDhX0sko@37
zoYF(YU=ZL`Bk3s+r(~}u=id+fLtynsj_%;t0m%S?IAtI>$B1(j$smC^WiU7=iE{$U
z5P>+Q0Gu<#IgMnfK%6oRob$vvhh(@woH7EOOT@W|L<+<yBf+^!oL8<;I!a)NxaV7;
z*28FlIOT@#2@1vt#3?s@Jp?Y)3dAYD-Vpy`F~9BW2gW3U)wkT&ALL|#IOUFSAjm1u
z#P9kBgZxe)PI=%f06A44PI>4X26CD}obt#w0_1cNxGYy}h>fI|AD4fo5XJKNhQ_$Z
zRo?jD>CktM2zmcPL9m!B#8JceIx&H8F;CE3771|-=L6xnED|)A#e%l?5`l{^9m|{1
z>&QYOPRK#!0h-IjLY$OE<t@FZ@JgfVtyG#;32{-LFaKK`%<E<$PE$jP<c+te;z}XT
z;DssNP^D_9N<{aUJvREI=^&v-gxq?qfLqsg2!U^H8((^LlcDVq;+)b(XL@^;wtYgJ
zM}QO7wohr(_6r0Btiq3LH!&6Dl8<4I7Q#&00wl);T=M%B<dV}X5?Pg;P~nfQHm*Wu
z4~nlLhaTJ=pyav;6wBI*=!Ql7fH*IncaJw|BA-+=WXENLO&zRCenHF@m&G*_)9wqL
z()Qfc{Jjf?fkV>ZMWe~bsd-KQke1h^Z9<czgtwAje=8}m$$$Ljk4=94@gJKcwrkf;
zuXoA77p~9KbMb}CcG;+x*d{4~ew<&Cmo~+*tFr#)X6%}L1?hG9hs|;9hU~Vv5xXe|
zBfTZ(A-yfDHowH~$g7)QioI)Cor0ZHyJzI3<l^g8FokaCyuEenHYdL)|7}a)&HIM8
zPM~vYChoAL&}ALE>FeeXeyrRr^-ENx^0%j~`NHH6W&V~H?2(+gr8)avR&8k%|JaDG
zQ}ji8PEe^)AKIQ6^>AS;BP%!9$;W>%q*)n*TQRRx#<HIBgUTkXm;4*j-f~c-{}+91
zzE5!=nU#hwde3wi)1U?Tw?8eU>qk@=!~4o(l>ydIKCBGH^tX9FP00&(%T7^WQq`DA
zsu3R`U#;@9f%1c@I6AYbifcI7<_gQ=HdjhoYBmWr<3r@cDt}DDQ$-=;)iu|g50$l5
z4gAAw?r>!_WE_%H?Vs`CBdYx`jiAb(XTkEJUer~N=eXJ%Dv=*md7HN6BkP`VjE?I>
znRK9EC*6vVlG)YKF{7Vq`*9wru~+yQIknpV$yn-&YE5+|Jdieg-1Gc!7hh%LZ4Q!7
z#s1bkGd+(dun9ItTK61WuFF##Es;%>?ya$Gl6+-roS1Bj%FOCkH#fgpr)jV8De|vd
z8@&Hrs3fc{Ia$-*U{h@tteKsWiqDa`U!-O$AmFmoG+X_r;CLYH(`~j~ob6<2_4o|A
zYHO4CW`aR5eRm7a3~)QyS%=ABW|zFK4}~4~aO&Y2a)_-nC&xwP3{^-~@Ovceg|gYU
zB;1hwWZSFx^K9Oy4W{G<GeWoSet?h-pVf+<E$y6x@ulVjQ+q_C85b|M)$4{q5Qh}I
zc?lR;2E_RHhd8>mO|wn6X+4!RG2Fji*+Vm-xR+wllhgg1Uw}6k_lNo<mr8Sc6C4sI
zZjXDf(Do)@U~BLr*fX=zx~67gHfVuTd+qo_TlA0RIl*pOIFo!@{1z{>#mT?z4#<-2
z^>LYY+4k7LVw)L;WA3NHFP=i^ZN5Za-TqSC(jOrd%<GQN)!~+Y#h2Lv^7{4$P!++G
z`EvP(nuctJ>{=5WSV<}ste#W(?|hY<T+@WDmTMupM((eP`^#FJ_s8xk>AD8q=j;CE
zQ0p-MTfY8Z4YjWL1HM6iRO@Hu^3&Rwn2j%tqE71fyh2W`ZOAss6}7Q}%}@K?H7f&`
zN5g*N4}6QfUK<0)@7U1{j{nsiakyTXvP(qONqo$=%5FPiaG7Jkj+mcsCztb#CkZbQ
znxFsXHP4&7ZnS^mwerx8=4{7^oqpVU4eX44Yu8gXKbhwL<-5sl%ET|u@n85JnY}ZH
z?UjRf#<G2~aA#A#-xecXI~qiFP4Ci`y77PffV_r=4$AtwV&6LSw4oeaY4|*t^VQQ?
zPUDAv(oo%?JMkkhLSr1f=kJQe!TUs{$K~=}u`wr}TAS8FHg4!<b)sg|`AK<wSJOtP
zp7Y5HR&`20<)`JVyBo4I^0&JiV<Yam`)3``*<9*ioo?@D<<dRNEZcdTD=)oU$PKBR
z7Z+@LW^T5A(H5!rxoN5R3iz3J$rg#AoNlmUFJ(E}Wn0vb&z*4j=>t74;)=Y!yHUhd
z8-M5BKin%5dnT~5iTf&8S<yki%^1ddyCgdjkol)QGWnR0O|CR6YkfRIw+&~#EnTMG
zY$5;eny)PT<PD~eVDg8<u@Eg~QoefTkTH_=j+Ch<qh<ANQ@(b#fQ^#nXWw9>${wCw
z%6uk!@jn3dw&XjvUXklAM9DMze%rxf_`;yskl5i3=<VJarQy>LF5NjmSPU;pB!Z|*
ztB21xk@et&@J)y#H*nrxAE)~!s}DDWKbyro%w%pCi;xS>uc~YPng9CH+yAunI|skY
z_dnOV6Rlg+asy_eITt85t}J;NzI``@W@-tfA5A>pDF-^^rJg?9t7z&~B>w0VmS7l+
zkCF&KYlv?U(M&L(jd>Z1DC>5i(D}|ao5)D-n3D=@;ua0Af8#O{g-6$I{-1_N?NnG4
zsoQSYB2bHNW#5#4x|jH>ik{jghKjj<%NE@|9k;dtc?z9UQuDBpcI=)PG_>C3%fFBO
E|C-u}IRF3v

diff --git a/alliance/share/cells/sxlib/sxlib.lib b/alliance/share/cells/sxlib/sxlib.lib
index e525d960..1458186a 100644
--- a/alliance/share/cells/sxlib/sxlib.lib
+++ b/alliance/share/cells/sxlib/sxlib.lib
@@ -19,7 +19,7 @@
 
 library (sxlib) {
 
-    date        : "Sat Oct 30 20:25:21 MET DST 1999";
+    date        : "Sat Oct 30 22:31:32 MET DST 1999";
     revision    : 1.2;
 
     /* --------------------------------------------- */
@@ -403,7 +403,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.078;
-            function : "(i0 * i1)'";
+            function : "(i0' + i1')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.059;
@@ -438,7 +438,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 * i1)'";
+            function : "(i0' + i1')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.412;
@@ -473,7 +473,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.080;
-            function : "(i0 + i1)'";
+            function : "(i0' * i1')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.298;
@@ -508,7 +508,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 + i1)'";
+            function : "(i0' * i1')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.618;
@@ -548,7 +548,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.071;
-            function : "(i0 * i1 * i2)'";
+            function : "(i0' + i1' + i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.119;
@@ -596,7 +596,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 * i1 * i2)'";
+            function : "(i0' + i1' + i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.556;
@@ -644,7 +644,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "((i0 + i1) * i2)'";
+            function : "((i0' * i1') + i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.294;
@@ -692,7 +692,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0 + i1) * i2)'";
+            function : "((i0' * i1') + i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.732;
@@ -740,7 +740,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "((cmd' * i0)+(cmd * i1))'";
+            function : "((cmd + i0') * (cmd' + i1'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.218;
@@ -788,7 +788,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((cmd' * i0)+(cmd * i1))'";
+            function : "((cmd + i0') * (cmd' + i1'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.632;
@@ -836,7 +836,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.062;
-            function : "(i0 + i1 + i2)'";
+            function : "(i0' * i1' * i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.318;
@@ -884,7 +884,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 + i1 + i2)'";
+            function : "(i0' * i1' * i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.722;
@@ -932,7 +932,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "((i0 * i1) + i2)'";
+            function : "((i0' + i1') * i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.151;
@@ -980,7 +980,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0 * i1) + i2)'";
+            function : "((i0' + i1') * i2')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.550;
@@ -1033,7 +1033,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.054;
-            function : "(i0 * i1 * i2 * i3)'";
+            function : "(i0' + i1' + i2' + i3')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.179;
@@ -1094,7 +1094,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 * i1 * i2 * i3)'";
+            function : "(i0' + i1' + i2' + i3')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.578;
@@ -1155,7 +1155,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "((i0 + i1) * (i2 + i3))'";
+            function : "((i0' * i1') + (i2' * i3'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.294;
@@ -1216,7 +1216,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0 + i1) * (i2 + i3))'";
+            function : "((i0' * i1') + (i2' * i3'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.734;
@@ -1277,7 +1277,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.047;
-            function : "(i0 + i1 + i2 + i3)'";
+            function : "(i0' * i1' * i2' * i3')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.330;
@@ -1338,7 +1338,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 + i1 + i2 + i3)'";
+            function : "(i0' * i1' * i2' * i3')";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.656;
@@ -1399,7 +1399,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "((i0 * i1) + (i2 * i3))'";
+            function : "((i0' + i1') * (i2' + i3'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.151;
@@ -1460,7 +1460,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0 * i1) + (i2 * i3))'";
+            function : "((i0' + i1') * (i2' + i3'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.562;
@@ -1526,7 +1526,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.030;
-            function : "((cmd0'*i0)+(cmd0*((cmd1*i1)+(cmd1'*i2))))'";
+            function : "((cmd0+i0')*(cmd0'+((cmd1'+i1')*(cmd1+i2'))))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.356;
@@ -1600,7 +1600,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((cmd0'*i0)+(cmd0*((cmd1*i1)+(cmd1'*i2))))'";
+            function : "((cmd0+i0')*(cmd0'+((cmd1'+i1')*(cmd1+i2'))))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.790;
@@ -1674,7 +1674,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.055;
-            function : "((i0*i1)+((i2+i3)*i4))'";
+            function : "((i0'*i1')+((i2'+i3')*i4'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.348;
@@ -1748,7 +1748,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0*i1)+((i2+i3)*i4))'";
+            function : "((i0'*i1')+((i2'+i3')*i4'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.684;
@@ -1827,7 +1827,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.062;
-            function : "((i0*i1)+(i2*i3)+(i4*i5))'";
+            function : "((i0'+i1')*(i2'+i3')*(i4'+i5'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.525;
@@ -1914,7 +1914,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0*i1)+(i2*i3)+(i4*i5))'";
+            function : "((i0'+i1')*(i2'+i3')*(i4'+i5'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.834;
@@ -2006,7 +2006,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.043;
-            function : "((i0*i1*i2)+(((i3+i4)+i5)*i6))'";
+            function : "((i0'*i1'*i2')+(((i3'+i4')+i5')*i6'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.396;
@@ -2106,7 +2106,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0*i1*i2)+(((i3+i4)+i5)*i6))'";
+            function : "((i0'*i1'*i2')+(((i3'+i4')+i5')*i6'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.819;
@@ -2211,7 +2211,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.047;
-            function : "((i0*i1)+(i2*i3)+(i4*i5)+(i6*i7))'";
+            function : "((i0'+i1')*(i2'+i3')*(i4'+i5')*(i6'+i7'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.649;
@@ -2324,7 +2324,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "((i0*i1)+(i2*i3)+(i4*i5)+(i6*i7))'";
+            function : "((i0'+i1')*(i2'+i3')*(i4'+i5')*(i6'+i7'))";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.966;
@@ -4477,7 +4477,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.091;
-            function : "(i0 ^ i1)'";
+            function : "(i0' ^ i1)";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.288;
@@ -4528,7 +4528,7 @@ library (sxlib) {
         pin(nq) {
             direction  : output;
             max_fanout : 0.327;
-            function : "(i0 ^ i1)'";
+            function : "(i0' ^ i1)";
             timing() {
                 timing_sense    : negative_unate;
                 intrinsic_rise  : 0.522;