From 6f7cca81fb533ea0db3361e6b15447485af301a6 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Sat, 23 May 2020 13:19:52 +0200 Subject: [PATCH] Updated test data --- testdata/drc/drcSuiteTests_au3.oas | Bin 1191582 -> 1189162 bytes testdata/drc/drcSuiteTests_au4.oas | Bin 61359 -> 61762 bytes testdata/lvs/inv.lvsdb | 14 +++++++------- testdata/lvs/inv2.lvsdb | 14 +++++++------- testdata/lvs/nand2_split_gate.lvsdb.1 | 16 ++++++++-------- testdata/lvs/nand2_split_gate.lvsdb.2 | 16 ++++++++-------- 6 files changed, 30 insertions(+), 30 deletions(-) diff --git a/testdata/drc/drcSuiteTests_au3.oas b/testdata/drc/drcSuiteTests_au3.oas index 8717c39e93376459b54b4f90545fb4c3f2592d86..50f9a2516df232dfea74d9dbfe63ccc0e3895289 100644 GIT binary patch delta 30531 zcmb@u34Bb~`#p6__i;%$y4 zDwl4xDwpQTPX(u{WFOROK&_6e>h{4e%}&(?@d&Z6HqO~ZDtX5f@qxk9l=~6}E>~Og z`)aHzlIR#@^pWigt=dXO&(s#jr^Y&t{HkWhG(&`=uQt%pL6#lIXDE(yhE&HEqqoY_ z4Z7YodO?eaDj!ExV+}Y{NJH`!Q!ff%enw0);Y4PHgqJ! zorW4?1b@fvsvR8DmRcP}7mP|xk(OHSSmxYPI}+kk;KobQ*Ria+DX@}v5+|G!U5rF~ zh%dTeE}J7bTuZI_YvP9!*gsl`cQmi@u9urM50jjc4E!HL-xoq1jjFeHT(3UJv7*LG z$E})vzOh7^<6S^@n2N>i`2P%bp1f6_Wmqyn72p_C^J5scNi;bOwJtlnhMM8Y6v@l+ zbFJ#}Np3qzuqCV?>0GAFDHFV7v88JkZ<$UWtQ4%{ipAN|u6v=@WH@=jI5z)q!YvKF zKiyz))M%EFzh}c*lHaA#aUtK3H;U%pY2&3~gGKVY;1HTuCdv8X`?r()ysq7;qsI@M z+07Qh0OF|DJ2amjzC;~aJzIlNY_R0_@2%H{aZ+$%S2RxSyc&#iyJ<;sH;tTAmYo}eWOPO>o2np&!MqN0xmJ6285RGz$7 zLIK=SXERY->B*mp$r^u3l`})CWQ|>>*>zg7PR^yLRQW$mcqzglo8ax}b=u4Hzj!a5 z^fL^UYuW|I$`>@9dX!arG6w10EmbE`3?c&DrAs5WYlfbvQo_ z4oN#{e6D1hi*D<4UwT~siQsAC4g}-vdSAy{&1dNYn+h z<4xw${9QBZ5{MWkSV4#v1008E4u@_7gfK{Kp$^XPn6;idZl;e?+}zlOA$9?}9yR&G zz)oua{P-`L6FojjyCB+yBIAQ?dN7O>BJyj@twQ0)X@beIs#N0`H9gUBa*h>J8|dDH z??(s$(C(Vb&#_ghk-uvGVZqVm(}vKp5LK7&7!XrVVgXrdK0@*?sR}i3#aXC%t~?cv z5Mf02tb^E!0?2Uz8m0EcUX*bIoyk^E^k1yako~>5E?r4k^9{ z+!!EO@((V3C4l&eU~$MR{nQ>SEp}X65db$bv{o}(MWMzs63&9o0guP4{GeW;$t%C- z%BLz;dxzvj@_T($S@Ne8VX-gnukp9cBAg!Q#1w%8sL*s^qWywyBW6 zV1Fy(*xx0_ap*uZI7i6j!nv41bY(6-yG|riXLl>-8aahXb{y8U-hB7-Ah=eO5!p2ZjJg_mX5IS~Ul)=SqnM z5kY|P?%ED;V~n8&T)e9q53to_ay<3(g}copz2lFP-H>)ts*OIOaeR7nH#F-nggH!x zfza(3eIL?>>zX;{-k1SVGbMjE?PJw=0@sHLA+WBI&XRxYP6Rb35^<4|C*M=sg@VgL zmEb@Jbr3j)AwYOV7=0b2Bq@LRz3-^w#qjDNUDB?DP3bBxs6AAQfs}_vU)VoLYs!!P z#UbW<{i+w0CqkNiL-1Bv2y$Fs9qVZMyAPDTV+x0BEsRS3g5P_DLzF*R&(h0;CIr5J zC`7?yf3n&aQU0~YemjE0tC%n_@Sr#_a9-3vSP(#B;CKMp=(sV+0$D+%4Xo9gHb8g~ z=>aE#$X!+P3sSURW}k7N`M5J&q|Kp=ZB#`}-NPH!qOTx=ed9yW|ph~tIva_Q#sH~0s zwG5Z*ld8PHQSqsbNQC%An3Dv- zjYtAp(1?65RsPQ-dj?3Gla#Xw=}hhb4{;`#+Jd~QzJ#p1pm9GBnv+zP>zOM)muBa9 z{u$)ziKMwZ#IG0G%9f-GVb@xbXrg%{xO(Cnm0(dDQV(bwve4{Z{{wUo!yQtnTXa3R z?6G!9OA@3@7KKl9;-|P?gycoQ$hM?Cl(ZpJ>sXWbO0J$omps$QyD35HIG_J{_CrtQ zN;}(;^CC%x&RvLaWzRbv>fIu&ptEAopqHHvJ!L_iNdkePT}XzIR@MfD6cUeud)Wyd zbs~vS){TU*E-7RLvAiJ2?QXSal!HRqT@^dpl@#jrLQY7goa?>l8s`bV8bH1@Bj_9z zv#U6zJHo{)!8^axu_gnFj<9zJk!@02)fy>B?Mzv(I@Bpw_54P#{d*l^$G_fiqsiX} z#@|wbuB63!RYtR1)va?n`}eHdF!F}z5=8+gGuh;ee|o`JBS=H&I)b$Fa`$)E!&wrs z|FSTg1KN0e~!Jala`Q#TPuxuKS!jII!n*V3w++3DMOJePSt!Ee zFNha>pH8yGNx3uu22Mvm`*|XXR3`0}5-`%?J1}=TX$%jhlk0GA5(yE!>ra7h@00JK zWftkfJ{d=D64*AAECM!x#OP{@0&1Y|VO_>qUzU?alBhW8iI4ytCXz8M!Zg0o8 zCLdN_c3Qr}Gw@Ltu_i9loayH7{rf>;O@1i7?8L@zBA;l%GGFjwf9@pf33xdKGpyc4 zy1?oBq8C_qlNEfqV8?7PmzJvY?pff#ZZh6KHJ27l^QRibLu)}tYR11!+4q8Rc~oZ) zsREzuA>NR1Q0og<_mHu0{9CfsIN7O6;H#?)gSJx6j~ZzAE%_K0J`y&-z3<35Xj5OX zz`OfQGA!LoHo&F*qy}tzteXUN_mgDAnO*xy6lClt3Gl&wVuty9NRno90Vx(s)+gsc7Q2grOFe+n&h=|Q4}aR-SHtUE{+!{C-QCa}yq zdxdw-*A$l=sseIB+#8Z7&-HeyN^`xzc98f($M5l_@4iQu;$vuv#k@OS_AR*ls6(w_ zyh2ova+c^I^bm1C@ga2G#07c_96Cg-5OJRP;^I5+yq|pwC_j*zub!fEC{aVQm$-5>o!O81Lb6Ek=!;e3b4`B9>q%jWm z_z})AwSXA#-&;d5%Ts}#f1Cda@0|!%;9pU^DogM&(a0#L-YX zK4ANRN^toUX$l8UlOU1==7#htW0sJnIFpw^wWdA8%7;=HM(YrNXEV_y{T$MQ&NN3&+liG`9 zs9(ioMaI=geD-$~Q)|?J5DfYOsl9TMRH=sBF;4^(fLrvupHubxw&3ZfN~;(kPc9a5 zSHWW{p_fRwPf4a=@JZTE73lyA+Vsp?jsgh=Q;5 zD8T?2KZXWD)7dmgypEX#93PAC^g4wud*cpi34`vEAcOcMs91dLvG>C3u>LOTB`CN2 zVe3Td?OVuSBO-T+@-De{op()mbr+=&UYUkKN+~kthOcWs^C3$~wqU~KA?P*-5q-tmxoAN{MrZIl&#Kw?<@12UaJjfW&gK%qeHFJv0* zeTdk&7@OeFha^!#sVw({lJT^T4)mC z_83v5-D7eBUHarZBgZ(HJ}JB zm$mK|p>Vws-tfh+^C>wF2Y)9PSn@lGhq1pS*lw>w-5{re51x^(5c>?-IP*KwfAAUU z4yI?spZPr}M+t0sfpBu;547(=D%?v&rWD;`Wr0wrIcdx`7i!@5KghfakZ_yj?my9e zoBW9(&@7j~0j58RM#|%M4odtW1#WxpY5 zaB?QPoT)n1FTO#?!>c!BADoy;gLw}%%>Yttej)qOuW$wj!VsXmj>J zpxq=GF4J-F&QKu^nrrE}K=-b;OLt6@Cl_jPtL&(yY+?CU8LU2tp0)oJN-RX7&tO_1 zvg!ub^LpxEzPZjG>uC^y?OM7LKGf4>ma3y+1hht)0;gIa&FHzxUsz#+N8wb%RvYOu z0=><2BP5w=NM!O`cX?@c={DmLK`t#aVn(pk%(tim=HN!iBT`4;dup{h(dy9UXCgs& z3vCM*EVL<1^rEX_Q7ts3j$Skd7KZD+*=8$UN5IEQ(_x4Yjj386$OJmsHhP0~) zHJj1Eit~|<&1hSuZ%U&GEN({qB`$Ic)QUz(-S?Vk*|lc$YY{fLqg7dYYnn?~YFpZy zK=rmXid}9;Q42W@BBD{(1g8F26FL2pir)dTOHqN$NR?M`C}`=kf;A^!@%toR)| zj=++4s4r{Qi|!X-QD2nN>vt(wIQVjl!fdkm3P<|#h+*qV18L!P_I+Qf;JW8qYGpzF zDcTll4AHGaf9kK^^^^+QtQaT?L%4QlT`>b`bcO6X4WzMfWFYN}JI`^0Xl)5`3w2#< z5RH%?{Gwn888C=OvzdeFcC{z%966GfK-3%>2SZ2DU!YDY3556iqUG2}A=XwIjZ(La zL2qh53ISm2Xxc9HU%2~M0K~OG7%rxv*=SlHr_UUXW9E&aHF=EihE1dB6nH&`_Cb)m zHir6e?1$lFX*-BKWiqp^W9bKa7(Io~g=wEtZx%S24kfVYbGpZZ2LTn)t5D;LMmGe* zR9e+>_<@<#ok}NAw|WoEMR{DBM&FSViNejhCH3~_+wn>+#r!6~lfB$iU$^|B6d75E zbXuLlq72#^KFOegCN%f$Cccw~&X_GDIu>WpZG8LOqkgV?ws8i^}c)N7pNqO>K30FBS zD?y!Cq>7~ycUKRkZg)lcO%6KJw^yEw5jAhK-Wt1vIIrofDeLq&6l6Q-4DZX@7sPp- zpt)DF;-YDuE-#{NAxl_96G+%3z8Q^)bqN@)c*^ro+O@*BEE5lQQtd+a&Cp7)bw7=U z?-o;&374M_dTUAAGm}$zYRbZ0^|LA~D_Km_1aN$&uME9cAlkQFO3MToyOKu1vK4f* z@1%A5s}xD$v`ui(ATMALmB!4 z{2FSoK-^%-3uf;|Ncg&=P#2mM2_xZ=Q9RBD?4g(sy*MF_hF4t#Oc~p$tAT5esx#}A zB78+5vI;TlQRwb-0{0m?3+ygjkl@h|bmiA0%1oH`70{6^`jAOhv4_X$MFJn*GRC1_ zs1_+GH}PGVoucXuAMVnb;nGPACBer`-f+7s9-RG#r*yF5m`TrSo}wZJXLnTrdv=Ca zC6MxsNn(FCmr@CQdY-O_{rA+Zp=~Q^0(8DC_%ZzjDk(cVNEQO~Zz0H9ZlVvoCm0*D z(N|3C2>a{~Jz@mrZ}5fa7D6qU(nngsrmDpk6sEsIPsvCTYw_a|BVo_)nF^Uf`gV&AK`=DkR%CV%0+5r6y2^RM96`~!4t}!-&%~7Um ztc%6yMPW^MGdNEwbvO?rX#;ot@QVCCH94E@$sQ zHbxRQaGBPJFylRSZOX2K^ap_ftAy&z5GuSPI|Ehs4RGbKu`=7TT|Hl5qgSgQ`hvZK z&>RYP(G18tEvcc~ZVblLcj>(0$MHHdyV6mpFT&7$)TBjJ@$A|cixA#bXa@UZ)e@Xv zB!$4TuEIf~*AoE-brY7mRUP^dRa@hiVd{pbvD+G-%B0rGI6|ZDLPtaLda?Mf8K1Z- z5rA0LKCrU8kf_E@SnlA^Y^-r8OGy>hiWdIX5`x{|2D;yR30J|~NATk7<(K9x!&8K% zt?~gKl=K#AI=X-#YurbuMo1+#{#{`{b^JEXry}IU_ZQmXxd&zoZ%;iPQ?1@GtG_VM z5jb-MJRT@S!tDXVYG^V*SOeYzggD2VC<{am5>CK@5ke6Ab&yb31j8_)stL!*Hb2FP zocFbnAD}u`P9JN%tmTKmTjer`jMWF_OhykC?($>CIo=g#tB8{hnYAA#+$LTXt$339 zmsom?6na}Ym9q?(<>2U^ksK#ic)^{i5V}~XPLsg&}i4Jt?94R)WWx%Sw#IOk@vG5tByk|^iDSznW5Rz)^--DW~)SaNlm)bVmTXDBCY^tFRdwp4WPGC$dQ&t-s=I_jD5PPEvWy{MzkBv5uz6%Y1$h@HYM$sZnmBoL-Jihj7wmJ!5jto9ZYT6l#XH>Hzp)qS3801Iu0}l@Yc@BPFV#^M2zqR*jf;Ay7xFz7YQf z#<3FSCCmVqEBR(liyJ|Nj^5ESH(jAnBgSjvg0#1pZA^bH=NT@KV5yy}g%>7Rcj2 zgI}X7pw4VOpgsJrE(GX8Da_PI-$}(vW=pq-$9;+h>%XC}INWH1+mB4%EZbY?NdBdj zE5xk}K(A@SCOlRRA<#ESn9HNxwzsY`98#Yd|DSa+CRci2%Tf-hv4G=Wj>dK+NXPY1 zwjDX1(g0(B)f1*!0(5C9RcF^vnQ~N^OSDqKgkWhd>wMi*AVA7I@dAXl7Xt)5nq&*! zk!Fi9CPh?m{fenS<_|5|n|r2Z67wD;{VcMdO(HsO=`d+25&C9e&O1`-!_r4!DG0kC zr|zZ3J})b|B{SwpF0ZUt{5e@OB5PmEa)Rz2_QroZOUmE+bVE50Q<$tG|rH7>p z*2S$&i`cx?LTiDwzb0)qGTTm}GogJ8*o%i!3;}abQ!LES&^Kcj9!qt#+@6bI<#<&B zyjg&er}I$c=(3XjUjRQPaO^o&5)62z zif8XVQXkZ?u&Tl+%1Wk+U#QuCl}nBa-UJz%!kuSQ52(3PTnL>p;iFqH1pGjKIJ{tV z_`d*=;r@TQeiUS0RE0ptL+JXJrs{go|Gqc@oC&%(2pguW`OjSTL*XBRbA<}}4b(?L z*kW}kjCv++^yIXzYKGB&VZis44ezSHkLR(g)T#8Z$f%BF12?M@MJ69n|Da}lcB}TO zaVshT?pwvGY~K!T2!TshQ4iBbNHv-BplW~#8ebC(%zjh6Fa6Wz{}T(Hz;s*x73}Y- z9l^#%nHG@0#r=xFvO@*0?-&}hq{Zr+0@U1UEOYd)<_$>h=Wy*TMx?9TjCT635OM;H zW5p!)m`J$Y{6C5Fd;MV5KCu>0m~#!9wJFX?~AD7uxvoLw|R zvrf;Ck4n|h>}N3wN;(Kp?2AFthyMT>Ho2<$s@FfI^S9;6KcjGMuG_PYHJ4h#DG9T` z{}g`#<8M!n?e|3J-^bVnT(Zg^dNj~YX2-9neaxXQG}p?rRhY z!wA@kLi7@?3B=vHNWR$p9NwLdI}g)bH7M5oyZ!x3^{pWhGMFg8wpzf?;GiR#D zBW_nLI=NPR@kIY)7#f2rI?=_L_}?QoH~#;DR{v`huZRXFt11~D)z*ItVa4=482AKp zI{O*P54v0yw!plb+8L~=D1H1kn*Z0>p#E1PTulQ%`)k%T#AAM^>ZH*b`XmVVP4E;% z%#%GoZF?pDlUKX(rzJm&c;r<66W3mMyx@xfO&DAX(8ytUl$95;NZ~yn-1l-_bssYq z8BZGRLPq_fbZ>|V)Ks6UvSX#KGt?P+(s;`sTX{csnSo~pKL1}o-810EspuJHc`e+i zaXwU6v^Z66dh_;bc#CID+)mqL!77foecW@G_rWbeSD*&B=c)v2`gysF_&l%SOa;Nn z9h)AkiKb8#s%dB}m&tO!qFW)(xhiNHrtt@Dm?j3+hia@yUyLE0~vN zJbHQib8kr5MG7nM?M{E2(ak)UC!SE}$zSQYc)1Ad&jgRqvG3bfPseh#@Y%2rXu~xP zw5T1AME8ckpm0r~4}Z#qgi`c~?Lkb@*+`ZVuDL?oy@R;y@!)Glq$ZvpP`p(L7Fl0a zL0+WhKsat%dTfAqUZfN)F!2FBO-Q;EYbl~Mvsq}gCeOXYX&3M;DKs~bvyitt0(@gM z&EZ^SO?8$UqghL|W!|1=XEsMLa}`Y$qA#)Vq0?M*!%LpXtZr3}Khbl7T{^eKi;AIr zoaTL25T}VzF)2Y~6x{ped`0j8|}*AvbV=;0!H$!ZtS2j1gdWGfg#pNnD}kfX*4Zy$bH3LaSz) z55c#YCJNt26Ap4K6`nNHgmWSCwmkWa52QEObOqn$n#ORZxu!O}(?atJs9R{d!1WfI z0R|6`xq-GV1POw!%{6hXWlPNlQ5|m=u)w1dDD5;gRh}P^)J{{)XVULpc!8k`R%uu# z?Zf*FMf*t6T@gNNr)dEv+G%`4w35AZ*toEiuyNLS+zOel!hPLLUo4&9tHX}$VLQz! zG~kY!%EtKT3fe7hBORZMxgyPA(4|`5IlRkM^N9m%bD)GV?A+7>Au!U z=k%p&)RFD50-^mhujSvpvJBg+6cx)5*k2O~?fPqGpa?JG5oQ1(cC z^CfvM;@`|LKyxaHJ)NhSqGtW4Yt9nZHd~V+!-;vC5vuq?4OaI-_+-rmNU&?VhCNqY zYXY35vK4E*E^Bcgr)UXsZWnSXwqw~N+i2H3q0J_x<Ss}#Y0nGEonmQ4aupR*C<8xs53^ngQ8w=sFI~O}541`SAG=&eAXkJ%$S14!s zyBZ&!MT$$byrvL;MQ8dKo#(}So(g4tjpOhd;yMG5zcf{6$3U}R1us@=hDh$~7Vu`i zDL`Y5&rlaE)K-G7UugUz+?+bshM~JzW8L+j)>y0!I-zg@;ZEFYZ>af&CXzW;X@=0a z)Fov5<}kE|s}wK(isl6qd(azHi~yP^kd$oGoOHW{@hOSbX_29>cHE zH1kWnO7RtZ8MiUSGaHqPm*L(TO;Bt?sTzCo)A&lIxS^D~o_E2{r|?7r$F1m$#ffV* zn@AP6ZEGu);h{M<5j0Dj_Ao_466^vFgqH7l3eVSRriB*}9PMqV_#z_~C#$kztUB~r z_c7SAuQXp;Ic-iAcD0>CHe5X|-i=Pd$s)};FnzB%$F90G?-D#K&@@e#3wF`NPSJ*t zm=z}ng$wDWBH9t&NwHNvM!MD(myiQsP?ZYkP=wTB3*z=c%hz=0Tz4 z8$WnmO->0rXeR~P)K*F|HwdNIt?pjkJQHjX_yl9C%SVGfDbp6MGiYtbVSw0uEoYCI}wYkmHcB48l7t zqa}6>N!SU0BTr$Omju_7FsNTso*MbO{Jl&3y^`e~`d5&webjZ3V8^mG!H`@_t^>if zqgVV%3s1`o;AV90UW3$M?-!s*~}~n@;E{7mftLL zxR|<*3ox~gTp4!MksC#VkTsvU9#fRH&8b4kx{38Dpc^(~!~^fT@{;I-mq@`eV#}w< zX7M$lf_Ef$4s|`@vdvpXps23gUhff60q5Si9~Re_W3jfCt16dfg0Nb}RmB^+Wp&70 zL2P(fhJxf=po~1cW5F@9@lb+6^<*E&tS3kG!gAE~Q3c4s6M`JLyXOg6ajvrhO3E2p zF1~|vX*rdbIF-nZTN5~O9!~6jtG-7McCH7PT@5el$pKgnpLrWkE3js2on+bt=UO!%A~Q*jgYT2%233%n*%G$8rN}Laiv~?- zKes6yi8Em53_wbKxhe$Jmt$&l+LH+UPhxm< zc|i~%@LI(aBT5>oHI?f(_89+lg2uzu$>nxf%xY;{;kJXbGPeV?EmwSIE-l-ErDGKx zrcoRlHa3-qxcPU_r}oGe49(=m2%m>V)b@Q5Idqc-`ST{XIa`P#oZ`QD zb<5Eral~wq@ngavssTh3sjqU*3<4-QD84ayZ#}9rM=u=&;6kT zk0c#jxO=y-y0Cnwe(b5&`e^kt4iBJ{rcF4V(wt=14x^`aW_)_N0%jAtv#l zmnV@($hsL~OEN+!IeoX<>L?qn5pKIMtm zeRtv&{*gQ%T7E1qfp0#N7eVeMxj%HDB=-Z|Czx0?orE?CpUAC2`c&=$*FKRevu>Zt zUkVYUvJMc=IwIBD2oKtLJd;NY^vrMk*zM0{+};hJD({7RQ{*JLG*zw-4Q=u?OSx5I z#)YQ)Bn+(*cG={w!Z9qlMUSS1qW_1jx)ZJGFlCzjf_;%Lx5vYYnR29?VT=Sw%g5ym z-<~0_f(@B+goO*k<01$j9%(Gdl>HzhQ#Ql#OnEBIo+&>wae(2#jR5l?fFr<^EOcIZ zmORa;;A6n1G@cnWYI{Sp# zIOm`_a+?ZOZRfqnI1h;j%bz&-6CSg8kn{5NPJ@HT;X$*5?YagX1e(mlKs#j~YSU}Jyan#g zmm7dGp7v#!=Jr~K zJRDsn2gBB7_~7m`Im~C$9Nf9cV-^ha)=3#^r>f|*muorreJKa=XBlDm43h$Dip{_5 zk<}WDA+Y_I^5lNm=DhuCYb@T^c&xG(<8BqRVE$Lp5c|@Mskb$@#NwK(;p665aa_EB zXH9W;U7fR9*JkSoE`CjolmKrVtZNmHkVzYdKPz zZO#b8$FO9%Y|~?P@mkz?hbG&g>p3DZWl!H>RKF(Zp!{Fu?i{Spoqk9xc9NM9|7`ryhG<NF;yY8ralp}uNy0Y zbG4k*2{&7?bk6hawP>CE1aDK|(~@1d_T_UeBG!sQC%-g5S8}eK{@ydT}tScS|bfNUNxprnwf;KO5{5TngM@FMk0fN4B;~MtdHB+g9ZU))zlv;nb9m#FT96 zY++5k<)2l;>3O8j6N^S#;@(T-ob#k+H}oaVtOyi%i@O@YemA!ST zZs~gHg0Nf+XN8;OmbFnJq1-NB>$H^+mrT~nZpOI5;lN#vingG?D|eBM6!g!Peeo+2 zh)M+%&gWvhbmbxnn>Qm+XXVNf9S(URZv#Bs<>k?@o19bSnXU2mAjB`^?w+ndjlVfX ztMJ1p+#GKSMOZ*}S(_*0nA}^@le*v66=?4s1alJ18Ip z0cgB@dHBOO^1D;<$nKWl9s^ec*yom14yJr6-jFR?%ORz_0YN3+jj8uh;4~rFJX6kWF z9HCgm5%P}Ha)IR{{$pgZRs4Q#hOhAACA8U!0khUt%nYY(mD?Eq>XT;%Gxqs$s~n;7 zSO|#Qt}W7So*J_jMPETOP+P&T#l-8(PbVd|Y_Ze0dmKlrLYx($rmY4S0W-+yU$Vc55F0#x3ExqO{(F|AqpEy9Cy$db(Il}ODs6y7R!3U z?sHFvHED24ZVabS%K0$rG~(NXQ}PsPG(V_;>AuQEw&=9XD13BIJ^Z&XVtnMvY zPw^TdTKL)!TN?ZQy4;jPqldCDr2QgafZ1Nk4fycBTn!rBmm9DacVs-P&Uz>}fgTSL z!hU=xw}kMTN)4#`3qHcE>fPw+cqeN(0SgOetb9AAn|UlmOOKt(cKrKcy%1_fvdf?qm5E zcDGdikl-fWE&qZW0qkp8Nu;p;fgJ0LR(;E#!vJCsb;H0z#r_jn+)9}S#~;XjO_MX! zXjhnWm9OjA1+6j=KQD4gwnp<0*_53OaXV#NnfHBNi2NG+9wD>ZN0{Uv^HUnIhI$3pMS=bbi@SWw zzibon5LYzvzV4xdG0r-9yQwrR>xPf>1v>5%;RxMJ%Z#i`pb|udc--J?6rlX6NpnS) zmH4ktg7f}L_b9aEMUh2^{G21UsfATC zAxd*t9-^d5AL7wK6m$z!TEUnwr86uERnD<*!<5wo&O|6jp>KpTiLH!Oe#76XtD?32T|JWU)q`<@&r6p)$6`oBLi$yzv5k%nID#~}TJXWa+y{ahvu)wPzRKj&L+-w~LFTHhw1K*Hl+K!Qc44_6CPmDWs6-J{YC(W~ zZKxZB1yEy_HoCUbgDtD0v=p?M)8lz4ChMThc z@yUu0JZz{;hndOBLa5$Isb-yg#;431DaEW7Ve>4>CPneAPa~y=#0N!m!9j7!^-Xgn znq6tGU?CuFjUt)dN|_|5t<$3^VQ#}}wN~1qZV^#Vv{f3w!nR5s_t(9gJRNamBkosr zW#T6RK-*49!TTWrh>2@MF?+6HCjeHrQ!2NJ$9xzG;g*?=c2p4Xz<~QjrA+3-Tq5^$ zm2G%X=F;U@(X-26&ofL{0<6go47dq{J>gh8H`CsHU2v5i@z|kLbDX5 zHl(L0Eg-NP+EVwfiao@ov(NEyzg0jMTX;-%FG}#W4NE86R{2>{k@OC1pLa&!f=c9c3T%?WqigT0NCG zkb9!R|JDnIv!xdbXGAYFvi7}|CWchJ@wPTZOG?#klALPzv!^mfh<|B@3q6%c^q)Ds zm0v9=c+6XJeBFy9j46czeBMV1QzoZjT3h0e&5+keX$)cSD(?vK*=Bg!M~Pz}zpKpC zK({m{0i-mg6J(?*ulznN4#unYt3)jVeU}8D%-oRq-?%xYw3a95240TBR6Pyu3{l!f z6bC<##J;%b1Xqq} zxO6Fgj)0hE@A5`<3L1`7ma4{Oo72i(!?Te}<3u#S5H!D~RkirxB#fNr#4VOnMqJNK zUhY>cBAoKf#=Rz7f@Wn8LKCRO-XEpBUyrR`uPmlux~EKJrC%u%BiY9%m3CO4-`6g% z&QCQHDI0czN1c9eG=6MXm;=yWwVYpaeL85jdtzQU_BejvR+h(c?jia=q`CGxzGg#XI?nG%Dv+KdyPAWJt z&g2i({j?TO9~`ea6ivfV*mVuoM#1&*rjVT>+J_SB6sNtRdP^=F9H3oF;AL%X{7HL94`)gZ45sVxHpcw^#%h2?w{ec7`^{nU8hsqEIK2m9_pwAU zY?8qn8ei6qU=0RqQBVBN0pOj3RV<)HyH9}ly8628n-SWTB6v;E{tWNUH6-9yigb(J zSKi{GM!r4>N`BGKVXJ!R8purZxptwzzB{k$LD?_q+Rw@>$Xpi;M!4(53TXa?HOKqs z+!dgn@=4|lH}t_ews-VZH2<$vaDa7zXFxhFR7EB$gKM5N(^FQv`4^)J;%=&KAazxD z2K!~LFI(mFX@HAX(tGBpKm_pDGyoUy$m+%Q-47RQp^fvsKTG)v=zC80x^lXDS0T{b9s% z{wh_3XJBh-Xw9mdrNy@HC`D_wuy4Et9hN)~GXC_h zlIR|6({*jK`kx9}B*0(+KlE0ikVI%$-x$C~Kh!SMaeefp?A=$|OTiGjS0AKJ#cGcA zYEmi4zLX6N)U7i@iw@dhF!%$t7c(t1VhT0Cy>>e!`sw{y=W052qV#Ic8!0Rc~0PW`vtI<)nQUfn1XfxRULR|~W z{O9Weh!BfAWwpktYr_fw&GaAC2QuM=ZjXj7vuV+q7N+TXdhuHqIszz^46wZx2eB)k z=z2(QE9JAeST&ojj{>*4>+Z3!e;SriHhrQtp2E`~4Z-mKM6LJN&evE1*|?Q{6g#;< z_kj<%rb>9hQ`1Xt;1g4egW?)ACg5<0gq1I!(d6ziH=mQ~-btblHv*8+r+FK2k;m{Oq4wOC7 z1+ove8V;-B^h@1#(C;xEha05`f>xJsg0KyH4Lfl$v(-?A?cZ;RBWk=GwNjOr3U7%1 zl(kTkR(8(HKa_{HC`ccEHLntzC+dkBTw0w7N6dy!Fkzt~2y(T0fNfoMi(t$VLkhg! zW~k1;0{c{89nJc|YN&SBkOmEE>b$8nnJqYL&=Xh_sH*{+&!daDKZH~gps%Ok&D9sg z9yDi%icJgDZ~XghtN#WfWrqaZb8d>4qg-P|5jHTB0Y(lpBtptC-7l={fr#Ed_N;n3 zL<%bW{zQzaCsYOfr+{}QZ$Q&jV-H?>e3P;P4Rjx2LGMcaa0;hN4ZGjM=aPZi#k_QT z6@KBsINg2I1m16fU#zS%$q-iVql=x=KK?Dp_TbD?jdx!fWo3!_qll>!L=DItb-mb_ zCx-4K8+9|G&zqW?D08*371Q6kKP zE@`?*{A}2LR+g^C4-;bry&FHPLQWoDZmOB3id|xpYW=g6K11OAZe;IYGa!Rg7pO-H zZ;R;}7Sj)+%(=z*p}3^AP6Fph@gl>kp}uI~@8Pwmr6crMevY=SXM19d-6^CF*G9v& zV!Y_zuBs6~Z_#g@xE>nC8*g$ztSgqH?Kl>^T#nxzRoJy^#$H%RnSh95oun_5SZo91 z5(6MZ4OsPd#{W9H*<6e^AdjgXI^k92t6ZdRD36Ul@4s9^w?4@hV zEPM5zdO==2?I(cf*bt7M(8mk-fitL;r2UnRIH_-ez%o;7V^b@eD(-#oD=_MRR&>w( z_eC?TgKm#kk*z{k2-{}d$2t#2zM1`*{#%ikJNq(yLlZXOjm4=dek*LNz*eaZeimlx z$=mTNm>{wvA%@2UI!~2u@e=e0tjJ zV~e%t;Jd>#=x;Z77{=AxBELHvF0hpPh6Myn@2cCpjemgguRh>Sws!2{Dy=<)?XN6N z`uo)=TY%}D3Ld2yH0*p4uQac?8)krFr?CfMrTJZcsd6~KSn-MSPpchBL78aS^H;!U z81O5TzXaEF$v`YW@7V$`UjB6->;Q!(Ww`L*_a|XqTU{^wY!k-fykUr&Yo=flH1MVV z2Y#sraS22Ga!5G zQQHV*oUN;dpXXNV@H2&m5fonfNI?+xq1F#Zy>F}nRomj{_^c1Lz1aD-rgZ$6hG-fE z$*mBNf1UgP^>(e%QB>KwtE;O!N%iBLPIt(o6Y?;;0s&eX!c#y2M(|dzh8=7Ttc&YzJYcI;K)vcoWVD^ea zy;f+C(g#D>0I4Jr=*}BZxUY|7>2j7UuD)qsszd`04Td5eAf;XJXkH4Q2FP{bFxFY@ znc@PNv#7m|i9Vy)F|)El6lU8_Vq;~!Geh)U>9i_TF`V5Lp*2oTq1Q(+59PiMEN|Kd zV1lHb;{Rc%#Oe*s{z}<|8&zWJ`_7=5KDcV1jD`BwuG*WHeLJ!%y`I3kh(Ez3XmsS3 zJy#tD;P>iHwj3IJ%l;f)Tj1(O-*0v1Vp6lZyCp;9Y;)dBkqCqZi2F))J{?hZ(DQLv zYjcv+ahC~-{ZZ<6+&Nj~r#gBn;$MRtBLEd?(B}kwUL~F%q8~C#rJk;ozhJMVhhGAU z^YnYJ)xS{j|D%V@>D_+d=$mvx_sDU%9gB7)*45HYjyM62OOWBV2E9K)kq*gV@?Lk= z3cz#otiROwFGNx3N4=Z^eJvGq(dK%R%+vKWI=RfACr7fb(4`~x6C$Or<9&^FmuiP{(*-=3YR=YSo@r`wafyod6A_Llgd!n^kq3Y50rW6|D z=qCq$x>=F~d}h6W{QS~kzSht7j09EAY=F9M1ZwO#$G^ZjFvih|77T=|1T$wR*o8F8 ztpej;|Mt%AB0R|rFGriD4YeqSPSX){=)7C>Ae%Vp1i}krKEScVK zRs_sSzWVFNqoKb{P$g1vHz1V(2N*UQ>G!y9!|6^Yjo!0P~+ z46F_&Fzp(v4@Pj#uoJHPwP|xYQtaF-4%E7)8Z)GUVtTFZ&p`3bw|^%m3}YK+Nauf{ zO`D0G(;OLyV2al|i7_V_R9Dd^eMSS^ZK6UglC?hK_kY!+Rcg%fmSA7@fg*y@QCbvz zvkXr1dexFiHUHL=MZrcZz>#f|*(!}zNPO~rn8gips-TIXe{%XU3ho8^|ELH!SqIG# ze5cW>vI8x(33yT9Yce3=MvbicT7@GL?#Py!sqY!cwi zSXP)dnI+NV4?&?cta=buA{x_~S6EANWimSj&#nZpd+&>Egw^G3Tc+ManM|t-SoSYg zJ`g`Imq@5@2}`Foe!ZRXctCW3Au!RqUOj;hPi4JCrf zp~;iMA7K>hQd_;J__&1qUZtG5ECu=?X)a3?1Lv|-HPie`LPkdbzy5ciT$ zG6MvvfzvXk()^0Q#7`^dV=CV7)u;ztG91&7FqlC|8UgGB=?hr4Q%2!*m0ap2eI#4c zqy=o6FF_K)m-GpjrvgG?gtGK8Bs0JuE$j=~Mupa_V##(HNt&?FzBd!MAu@ucr^tvW zc`u3)s_@EivRQtd_9+<^$SM7qc9pZFG#USgS7u5nn01YtWYI^V=s764iCV8h=7*R? z%o(H3>VxMGDhj(r=_0nrJQypUVEsIzlr9E|?}|B2COMLUxsd1*ZB!fAls1>_hm~3O z!z<06DFG0t;UmITSR0lEN%)|u83c}e zX^-rj&%u@^u`ZNL@Io?(Wl_szEJyAi99qIaG_-_Gv0|qakP@mb$JMLEGSp$Xe5-;z z<_;nALn6Q`Kr$=@v;prWUj^Fa_+mDN+Lp5pG`E5cr$?5uN#MA{-fK>{O4gK*PY2bc zM7;pC0)R#caE#IAY`%^Fk_N%ZWo)R$+u;ore9BRe(w^B-oc=hUG2vg%&bz5Y4yJkG z9$FlMy1-j@Ek057c~M<#mBjYVsQG60Bn>TAAEttCnnq2xu&(T7@T%aYb^x5LHQC<} zDSO(TO0}C=%XG`A$d#IGNg*T2r+xs1YW=<790U#29<>pHnP^VrlC9E zbZGSP9p;kE3xfbd-oRpMtOD9Zkn{Xu-+*VtJ!~Hx^6+{ufy8kK*Iv zZf{ggnt~a9O>elC2A49JoTn%8_~>v}(Kf5(E2sR?+~dI(NR=v2<9tPaBwaABbWd}~ z_HL;lJ5Au{n0hAWxXvc9$p)&>^|2cDay7X0;ymD$!pY*(^2CRnEHz%7A`Dla7Om4m znI`I&%j0R>9quqA-lupWPolK_Ja(pRR^!n~Qxw-(QMPNfor43SOs3OWvu?f==czcR znBqKOmc!qpi!AsHnqT~__|z)p=WJ3wD_Y7|#z^@`x|ILZF6Gx9Qohh7;T8g>7;2!ao|x3s>Xuw_-t}l&?#Y^1VJOKbT9X^VMVr2Q++~uhdslWKhJ*?*va;`u9Vk=u#orRrFW5$2_yh zU-@=j8&rDg+91vs&e~8?_bZbEGPVl|M#Uo#K~`=kGc0Q!Z0GWVII(e$y@;}&=Q>xEUG^gX(PXdy8*(2VJb{Kw zZqJ+3x#zi;ejdw{dYHfg3Am_Hl23LTB?+E48$~&I$2dJ&1^!ssK|-=9J`i!Qw$>G9 z9bk+mI=r2?rwyZde6z}nDPc5-536SPe43}|iUYsjeme%gM}^&p5k;ptCfoU%`!`KY zKmvx|&{0m458D}d1Abk>adswPybzxpOs6#kyd4!5@Xkp`Em(Oo;rfcOg4;bH|HesW z2!+LxCvP1cIGa(yWeF*vfM-y~7u@T{Yme(S+2D1mZ$&EF!9DcU6TFGObv>AC@r->d zZA-pz$HwnF2L?d-8JCg!D)Ond=VM_ko_US8GPkbuApJ}I2-|wC?l7E%bu&YXcVV|L z8+n2hp9jNo#ulF4xVE$LZf~S15T~&jBfwYNxu%*MBlP1jd;n#R8|wxP%CD_Op_zSHAlL1h|wZ6F6^?8bK=KFJ$5 z@`SeN^5H9t1`W)U!yKt1sChN_b5GIFQHtsderH^S{ik`=ycO-KM)RGn=F_P#jLuxJ zm+LbX1>9Pl4@N=hy!m1fSW?{RMvPmy1d?IZ_UV0NNntv}vr zRUCE4hu@*&KYpXgNjyvB3s(* z3m?I!qXTS#{zoS^bP@38@|%iw`)KC`o-7u|yPKL(xQegLksej)0b#h&qq-%#)6;9R z;W^yf3-1}6rlV(}Fe$Hsix}|0*QpY^xRmb!Y8K@*bP2j{rPqWK6jk{!9z`>+yN|hX zz3Rgtt?&J~e$>#;-VU26?HgBISwT!9n2AdlBR!ZsDS^JOP_x8GyBJr*%D;g`_AY7S zCki!tN#^4_!1mFkGp-htUXC3}?UFNzQVzkTSaTekmY#>TCUiQ_`bgP8EWoxQRi}kt znkUlJ#cG0h@-t-h1Jkagu7hj!8uW4TUoi*4whHKMJ6XC={|U%b)!_0-k8KJ$r`WsE zv9HXZBsBAbRNd3;rh@A8^h3VB<>?+nhLLaihooN2#PlFA*3pwf+Q-thMaB5Ra^4(f*{lDzWz+UJDNL zX;p7a3Uxouu8=!dtET*iTo3d!wqx{rUgF$8W0Q5lr4hT4_F++z(x`y4r)My}p$syR z3eP_mb&nGAc*lXiX9D97|AN4&e3evJ*ZX)$q?tGB8U%(K- z&TCigrUJfLn%YZCqf(C}jZPI~r~N^jB^Re0>-W(vYplZ`=}_yloJO}&Hi6|m$=S#n z5m5J@>UrunOtVn?Kf5yNi%TrowrEg|C4W;Q72gKK_Uz$W2YPJ>>qM=;c6sP_98@-I zXg6nFvt9k3rPz&TtCx&u#Iq^uGHVut^n$?wy6(@PK&M7%@l9@}1mp83crYO=S87(l z|Ib@zz9f z<2n8Xcq7JPdJsR3k1!kwI`KU3CDP#p$W6K%OZM2N!Lj%a}#LP$DM#Go=O&Kcqm8oOg?~iTqiOcAtcwZ0-c`7jZCoyS}0(-{`GT4>k#6u|Iq@->9F92C|gd`mQ)J;4vipnX{%w6L6Ki1$wNc8b`1 zgZEZw#toh$zOCjD#EQ3Waa$CT#l3~@Oh#=VQ{5j6km>3fDLXV{&SF^1Yne#M3YKYbgm$Ypim7>k2-zR+}TWw=8~e zcczS(54!p=l7w2)f+Q`oUy3$lIkM-~(kkMk)s1NZeaD!C zv`?e!X;&{sXiH+EwQVc)T8Hrt?P!c$i?|~dlGxtVPk+%+OuR#6ndiv!%%1mOj0*$d zH>(Y*uF6W`syHjvj@MaF8fp6@0+ljxyRu!W(iH9Oy2h;vN);+Ct{0dlRaBL2R$bU(c1Y2UA3O80<@_K zR&D;O2yIb9pcdJ1I9%&%si#eD&%=>eBJI_5vVhcWN6&OJh5<3;x#>JLyQ}soz9|Y^*2`+X0-W1&`v#eXxmyhf-bj& zb+nii?%Nq8!bm-_6lN9dA%$Oc^3}toP|{1w{VJw#K@uGphbxuUCp?PUX-^z$95}f7stXqPCB)Z7b5J$oTQoYjq>qJw>v{)4c8(;Sdx_lq?!*yRYRG{{haq^+hIdiynT898IwSm?i)x3=s2d5HsLE5yb!3{4O zxOP7?5Hw%Z2Co8gYxiqP#CyVVOSQVfR{EpK2b`~n0or#{KhXRXe-N!=y~2qfyeRo5 za4Mc#J>r*-Ha4TR2_;bF_qvDLf;8CP(H0949}4}K&L0cq`4&GdWl=KZjTFWg+GZ^$ zOBeegzNF4+L2Ro7y@P#h^N?1e*LKhTm>YYgxeO)4v86z%xD^do*NCCouFO$zeT&gi zm^!zBLZhi>hgN*e1l#JHg9{YGa7mkpE3zB;s zc?N!nMx63u^0Dm*L9(A{?mEewY_3vXvQe!#e~{HE(C5t@+Kw;l2CpRPg0)p~{)K~= zR|wk8dXD%ckyhAm+85lAE3fPPQ1h?Zi;V~&5vX8X^RIRG{OnWc{FsU@P*2>(BP5@e ziT4GURPYmhuG3{TI*mGlbMpmw)duxToB2sSxkT@wr|`}vF>>MR=6wZi>}Ta#{-fx^ zQJc2ev?(v76b9{WFK9tuZAZ)PN;KAfsP_7SIPKtpj@qa0QF0nu@Qq*}ZF8S`Ffp9O z7S=5?5v|orZx?=jZ~)QvzGQ>CQHTU_hq8piYsCu*SO?1{?W^MW!U;!*P{$Xt$MvB1 zdq9@b-`YA79_zK^CAHziW*S{s|NF_3imngWK8sZ4X-|Yuc;TR6*Djqr6oHH=npj~k zuZPdj?EKKM^Nmty3CZX>{FA2X46l!T9r@O(u#>Q4! z^cs6u4U~ACBnJfkJIUiT$1JFV?P(?lnrb&N*(`Rr|C#YkE&t5h9vp@Vvvnq@oMvnX z*1t`D+JUnzEgm~QZrQ6Vx6hHY1=!ce&>PyfFpFBxvSr$oRSlvzkd4VoL_${+#2CNi zn&~_q0+H7T8fQ|6mUzw{!l5b&p=t<16+S`Agmn`Bu2-^DoA|NA%vGVDM-`Gvmg=;{ z=aQ6qt|S~6Fv6JT3jg*uoJPWnw~rNM9mUtEg#P{Ix3=>OrH8qE4F{ z?hEdPvbk{arBOsnyAq?_X&^(<07E?J3XBb);IK78OZ49eU5czNU_yO!pf;#H8Hxsq zUEq{e2!wO3M3Z*t>K>R~ExrY-3#?W+oMQ?G*22~vTD&GU&`NLggS4UekMFJ-!P-o$ z!!2K@?YXuGgkI9S+NA3lY}q*TTLk79g}}msn=et#_f}ssQoKwpP;Q|-iZ6yj!C=8r zxb4;!3d0(h)n#wWOpKok!W#;+QTc+ zBoIz6ltQ7XwK+oDR%~J`qsewDZdx(YUo{V!wW(*;Sp|5AJ$3F&!T@UQTy{0A>aGC>bSJY6eoaMTYF@&0_k(co?M`}tUuO~!>PX(JbN4H~;3dLK57Lz@ zesf=es_rD1*L#} z&R+`q;%g(Yp=1?HABHe$_26K5rjqZs>5 zM3R^~k8~iO;bY4O-?Yzuxzc{`cmVvGMS`H`d{PV}-X#;IRF_nIJsLj#h(xKAbH((k zwSG7lo%OV!K;hO5VK#)57B?xZrV0{s%9UA`cp}g2Ptj4#m`L- z_4sDabP~>9pGrOz8qjO{a=qK7&Mq=KCg+gE8=qPV4(S~6=@kcc4)3Ur_(a}>0dYEe zc{*7t!e1F=p5L^~G;#JP!T8AFllUn7j?K|OpF-v=5+|kZ)uC5|^Rq}>@&LBaA`uWU zn_LS^D-vd(!@weOThKk5BY_X=`EdtzaXO5iK(52FETWTLy2C~!o)t_a=Lk5m$TH|X zk@SbKw@ETH%_9ul8G)NC?d zNf3nx`W1D`ZEz{f5DLF7Cedc@k91|BkM#?Ja17RH3E5{sC;YJ2-b_6S^~vu2+eAmg zWm>*X_WZi@J#i!~GCsU6d48_TrYv|Z`Bpa1*PZHn@vQfi!?oboJTlJwfSl@EoZ)Tz z`2!feiTnUvHj_W$)h)zq*DWGwLPbJZskg_{1Q@%8ghr!PRXy^~mNVUvyi$Lv@9JIN z-+vV0><=Y^_+|jYGwvZ_X6Gp(<7@FnN3b|k_>%_=r0*`l-6s@z~28CM@;D_xY zpI9-}Pd|q}E99~p_R1Y5Fnmeg5~iWpmVZg==#w9i;+a8}J7CL~BpyQDq$PChXAOeN zFUdFv*-PFrq`4$?tp=aGZ}sr`Olpvh_75~ z$^IlNdmB_0k&its(Qaear~cX7c#J0%lXK$U@B(F_pG&I9_bcAYTODxqF#hrBK@#S9 zLsupi-1LQ82hpNC-zPS(ETBe+7)vFX@D0(R**UWXx*bAjq=!gza2_HFAf6>5dVKF} zpz9F@cYPWPhYpcgxYmOP@bS(D!jiKj3hEt3S>m9zyq(K;=^)};l1duETNlt}H9UfS zniP``@Xfbm5)!q&1C0bjEoy*?#Uu`y+~<1|+<=R1xq43gODz+tW=TAHO)pSzNpkra zUrz*F(@<)0E%pb}lRBW_TjDG5`8wRkiCmY71aBQ7UE%5x(h9_$)CP}KYSvZArKf8_ z+ELO5njS@89C8$a!1m)eSo$WnJ{t%7g?8q{a^DyftBit!Mz8yJ6VwNA$S-@OM zhQO{9#I7$;N?iuzJG@bf7@l?s8QJb2k#wGR*jI`g5PF;>LUk#Lu}alyF}a7a_I+Wy zQnuO#LynWcXeoUjZrrlW7>1DYAI-Q|<4awpR>-)S!z9q|g8;`#4!m@Nv<35F5~eFA z1>Xs9>;!4dMHvp-31sNTlc*W4&ZYUL;Ko9xW(P%I%fcA>|^P&2L9h zP4STg7cQcw?0X5NIUjq%fz~ttj#c7=uuG(tP`yI!|N#KwVi1cyo~x-{QZD$=Zm$x`OE9jV4I@iHyTn z8rx`7sG3i8u>U7iwT=}e)YJ$!-JxaTU5^gJ&p#p7PpTl%_WW!k%GRTw-e*QQ5KF^h z*n89j`zvs{;kQs>F5JQu?YM%^EW@9;ge!lL1Ph9D ziBO`?GFMcP>c31-@+Yq5)oN5i*Po;z2SPt6=#2~L{U_<;0a1vrCe7J9)#Q5uvmPK) zi4v;Sg$Lw)T~lH&(L-bp8mul?`LM?=D-cs2pa>G+?%xPjK@UkCIP^EE4;>$px{&ra zE;sQg&N1U5x!_G)a67M7aeIhE9XKX7hRzzT-Ki!yfoX_`Hn(vrEl_xJpz1r!Bl&R1 z*?_6Pt<)v$t_a8~Hv3^et{*&+@e8Ic(39jXfuP5vBFOV(iLk)0LcWAKGF;SU1Lz2_5p;g>h+_D(pgvWXucdFn%a;gZ&OxGQHz@5ygy4$? zC}=>N3CMQ%oT5zQMA{Kb3EjX(i?pu}etU#G_*$WFIxxNBHhz!jTcWR!vya-VmJ%O! zRi$+ZU<$lGyrR;HFwR6>tgD$u6EK=-@>54s-$)~{cV8n7B{0T9d)MT2{$T}IF5`aY zR}0-hpuHU-F55=8!XP^he`*HS=ICs0+G$TAc!3{m|CKZoc;L{$mv(}tjcF6FGWBrK zXqezj*F&s7&45YGjecyV14s3h?jhJ$t49dhV{rAYT3oeq{b@YA>QAi%tspoM*WW4- zEpB~l`ZZ4LZtaDX7>{+b&jaZr0-ZwW$8ho`YKO0b>1^y}dxx8EbNs`j&5>brFn4?5 z@F0X%!qhONr*9w%;nOhMgVhSBS0tFyn$|_u+A>V`kBaPbfb9$oIPj^i+zC(BG9KBt*fj!hsm)d5}XcK7t*@y zL=SpWWWT4-90Iv1v=__jLmw0HPs6ds8`03$yhNu$i!|CP5VMWk0V|FoymK55^(=-^8LC@9#-Xx{|9#za);){!sT#Ivv`N zLw%S%o;EWYGW$Gwr((0$ULQsVGpVfT%1N%;*igLW{KV%yW$hSvfoYc^$gUB2Q%nI8r+nqT;RpQ z-st3(eAWJ!T574-?LU9(N_q3HkUT|w-6;}T1ZW=W8AqHBXPv^^3IshdrG#)7r>JM8th$M zHv0YoCGV#6Y;i|OF~NwdLJ$2Pk(c2^jgAhVT%hC-jFDVdjE?xrv|y{rF?oY2hv4Yg z1dlX22hW%m84IF0{5qyxG&~@#A4vW~2Fqw7X^MNDJG$MU1XN|>K}TA)u;O}zk0a>| z86)O$usEikL7 zfs&8WC)E0s=1VwYwo3-dg=+TX6I#oF#9gLH91;o*H<%y6l@BlxTeXH-43jI(cXa3{ zN{^UXZ5O>JLVBe!7%Df?{UC0lE|53U@7R`H+Mluwo2WyF(-jub2JE#f#%y!~*Gx7T zSU~%;s|EBlfl-C@-OzU`KYr`QSBJ*tvsd88A0+M~C||oE0t> z(u@9+OZ3;2il6K#HOJ)iFJycLIl;c(N!O4zmF8R#Np$~hddBS%J@z>p=;2oSNjd_R(1c3gW~DY?hnqDZJfM_JfNr3x4oX5q$^Qw)S@^hNT>&s|2`q!JNou zR9Sx@Fu0j+3|L=~8p6Ocawt^wltNj%=DKVh8*+@EC)&=+VKBah*dKl?vDOCr2ZG&< zM^Lk6?~xO#DRdZ(kypYAbZzy{2thESgUuHr`$}o>We3|LSoOIzkWD*Dg9t1>W*r7= zevbuMCg-c3W7#aawx0&m`)Ml=OSSPSZ5o)hk}b13v@h! z9{gCC$qo^>MH~EZ!?czCGDFvz!k43sZ)*cC*){FbROsE@)*Q0+!Zx@x*8C;29u=Y~ z+ZJf4C&IFy%1gw3<}$%dVc}dU117FAB*T?y#0>R_x~u^6!Mb5+a4`At%r9Cku#?#!~nu-!O(*>I?n?Oq8vm@OZpjhnc>R zHI!U`tH>6uGN$0%k@8(w+{t2ulzl=&)>jlC3ed5KPz4`%kva-%(E(NNrtP%2Qx*ulmj5_Hg_wZ??)3%=4%T;|(2YDj=DT{@k8K+yOr;6`J`Q|-(5HWTM9Hfh_}(CFe|3(DJjn2B-DI%MaZF~T78(>bu3f{#CZasV_QBXl(W^EeZZ^^t>_ zFjg?iFkq4}1T2$;Zo0HGF}t^R{GHb9&q=~aOa&AoMEq!!d|~ZYt1nF6YW2rM_h$#! zkU9kydZw4f1~;b&z2N2J)-c#}24j@%I=5^j6Yv%#ZK?R3F#V3#$PAN$V6#Z{|r;{lAFsv7vf_Vr>A^#8)z&azB>{)CGlDp*K>qUKhI zc2{;lyH=vY)?^58C@?YAY=jMNYqBu7LI%SEVWb`%)n$rt1?*WMoP<)NXo1ypB{NI; zR`;6->oN_#aHzSh9z=g6H-?g>LNE;LF8OO6^}a0pdmUCaWW6Yxp;0<+dCv5aefi1K z2GjGCrK%5%4t5!YDb&gn0Ng?I!)q6&gMeg8fuf^7<_otsH3hS%Yb_lt80I zW0V(FD$h$c*k?p=8uFcCIaG;)jm?@b>j{L;H3VvlE_8-Ak)}6T`({QvLfIIznT;4@ zjKNZi5jyk*W6it&g)^3|mVEZBDkTx-`q?sz!kfE|n_*ZVxfVQXZ?nM^KVcl~tCVW9 zA4V7~1X9lmb)SO^La%Tbem#bwU3AC16C&qIzy24L86LxS`df1awx!5$lCqaX@o#}4 zAY>8RR;nrg7IM|-5PGTVDx+$O;B(YhoILesM<9NQH<3w|=oQkUHc5NjFOgK}|| zo)E3WNk6u~o|s{Sw9dNPY#_0H69|JRN?SP$&w!sAiVk?KpBQh(yb7)+jF=k|+Wwws7@-q3B z$eeGP)3ITzMTQ06i|OE6W4aH{rG`NE<}M=^CAhod3Eq|ShCZ-=q__u8q(}}{P-(G~ zoEx$)?AT!Ph4dS;Q%k+&$Nst@zvw~hE3AB~c`4;5%zyqLWDZ|1FC%Q&Ah~@Ed{|`I z%eH}dNru-B(^sKU0#-g;J77JAF2x2hmEsw272{?w8#P*l)azz{_`bF6RVYmqZ~W^t zbvLxDw)O>AQ!yISzcAuK%mZs1(5FZtTJ4}{7V($WpRn7h(p&=T+Zg?!qJymwoBGhY zg21>Ax>0OqD{+s?>MORp)|{g##V3b#IyTfOt`*sYIJttblcnPLATExd;XpqzinDnp zygFYVz}Y+s7GIQRKj$?=UL&mk+Y$aC{TDvQVs3q;98#Ttsb#RPsS({%&n=Mo8nD^xRR`=X^byfM=l z!5#-mR>Ic2BmN~bbbSKu3pVJwv%zl5T?&22o0cx<(1aMl(iqO`&sL2gfA*CEWduNkk~B(jV{k^|$`@w#xBbr83kgC^;M*zP9s zn^>C>D+WNpb+I;V-;JBTMM?6H64#TX^z8xgCVykEAYU!UNTD0(gjSlR7LVNgSm?emn z-m$bKEYcyswauf z;nyqZl`j8jsRNb_b0o7y3ZJ3k50gjhxW;T3c(nAL#7aNcO)#*cuPrKJ?r32TVFzpL zCJWq{lmAmaT(6o({|hA9SBG`y&>`0m@*wb%?j-a~!;@h26o(0W^NMb(g{|2n)FqJk zt&EY|7s7PH{=TbgZumD#OQE#Cc$#~OAQryfq7ZO>iyHYambL-8p}84*az-9X*jGoe z3WW!v)3rIiF`UH_FzhF3IiS19hB3Y6ub#)DBVp5Np~f2j?H;v~(VVl=ec#x7IQcl!iO{{sl2N4+};zesAVF-}2%%w7ob-E&_lYj3FI9$fV=}tO-_*FBMu!gB}0|Gyc5}Q18=T27m zhe@N)1XAO*+gF);d7aO&pJhywX3sD-XO?@?`!!&R%Ks8vT4OM9<&TB(4YFQN!xTe> z!w0So)kS#0bNXIOJ%qMgx!BImHxcdxu+4j|lMS|C7h~C#SaFsvXPT}Hv^ys$ zu=C?tBM&K+jHYGTfysB|-Q|u0c|9zhR01t{HMG7#NKCg=fz7 znen%io^3(rfvbnG)U)|y5n1vAO#ggm2zwU#OXx@ zcfxS9euh5xJpY4PrfDVm^r|zS2ssO@+FF}Ca{sf;$WDA~*+y9ESowzdk1(Z1wOU)e zAtVCi4>D_!Vpv4}9SZ-?R0SJ0OP3O zk4GUOqqg+&u9ent&odJH?cOa054aZb@c6&VzXN;`tX~(0S=R#PxWyIWia2h$5mcJt z=iG~RrTk!*x84iI6rXFM1S3QA5s}ZDaesZ&7n}JBu-nKxF7PY=S%j}b^uaJCRBzyg z>7|zAmTX~mOSl-KZ_pKMP@WCwzAW)lZ*R-9iTSMFcUCvXT%qfZ%v-#jJQLz;Ff>#j zs`F6AoT2)mgdg8~Dd6K^x8g9k9HxJj^$piY)0`-MJiHUBZw+T7^>KXv<6YM3z|tGx zurE>{WUitAlz%}qUqNh?zV<*IaifVZo>QFtCoh=)2bc0gO81c(E_tVZXv5?(zReG= zy)ApgtIkut#^iE_A;H%3g@HrtwOQMyLR66eBGXLAR<~HqOXj@x(;Lt zOO4iFA~8tPbN*GDF*VG&${7~QIf2F4du2$9(I>$BF?u%)h}F-F{>LJgsijM-d=bxR zLHb+R`0$1Yn&3tiuJOPc!58+%W*b~j!zadWFkp;!;KPAECcJGr@TcgYGDO?k( z{Jbr!sE)o4VGrx-{Rq@b(2wDa=c{uYJ&b1y67=zsFBV)}!kkWi$P&Rbe$_pdZBNt( z2qrv~P6YYAI=jB$ns0 z@on|v1<2~Ck5S9(mEg@BSH#Xb;OMA-2hMlU*Ef5(9O{u6PxP~n`Y1^3q;C(GJL}_+ zK^~D@@2KwsZ*|f)h49Y$6xi5FKgH}NDnG=zjUZJpy0iW@M!M*?ieb}kS}|RJ)Q+_| z2A_<(#Og>p@2I@(Yw+38(+ay@&^Ll#UeMRG#TS#(pG3#xKYa1#N*yfwfd)PFo&2Wl z4#1?-p8_@*blJTlCq|}5PK1d)^nqBfnwA+*wb#gUd+1M4OWI*|=N2p8&nRlN(3VBv z{a*Sw_IWRTg{9WyGkCg$qHrEo9n&5VJUqTdP+*u)&j{F+OI*5)09Zam9|2`U^pBwY zRXvs!{^6Tt-dU%#OvxFlpC43Akfuj6zESn7_+%BS7V&RK0-ob78mfe=4 z*_vQyiQW;vS66z0kiGG!Saxq>haIMFB%a8PR8eN<% zm!B{eFU2aqopS}NqpX&1;7mx(6O$D-exz^SkXIn#+gK;-$U+Ok;}R_HDmUW5 z1|QG7D0WV8!d@ND?86Ed=wk(TVVb_R3=YsgW{x@fL0GS}PM=U4%j38f_^kMh*d5by z@DzRL)=0!ztThE}Njo83ylwY^&(`UO2j_|?@Xab76X9xPe3!9$jW#>q@7YlJY8ij@oR*rI*_QSCEhNID z$4Jv*YIh`L^O`h+Pt_lsKo1QtW21g%RH+3=z?7AQM@U9I3gfjjj)Z@_3Q@WGRqXp* zeUCXx)&r7xO>oZ&g~$XYG)gRTiN)d0YeMFJG3$DG`B}tLQOKwu#k=WYm+0IJLlTr# zpw?HSqr{A3BPe!$vWp~dPun|WF+DLidV*@2LYlwTjfNz$s3w7;BpNA9n&B`G-V|g|f z_cl`M!Kp@y6)Td3jM;=gSxNbm>y4BdwLT$P`>4B!WL^-e)`gX?_FRj}cw95+1wJU8 zYpk?|FB&VgA*->HXqs8`5NlWQVQiw(475bW25%)Q(GG5wku^i&S>n1dBp-fhs06dz zMCDBZVwx+puxi-Dx_RVq8Fg-gF3pv8wY>c8i~L0&=jE@M0YcVd;=W6<)rlDKS#u>P zHe)5NY1|}Wqj$+-(FIccJ#iLNWJK8&0Yduxu6Sd^Z5t*4SxbH=J8nC-} z1qcFb2pmaLuoMm7le2ne_T@|P{=h*B@sJ*ZS}Jv+e@i7^@6IMTjB7o-*HY;mj4VKX z+W!w_LYn65T6v5UY_gIPBcc&_*@g%2Yfv-13rBPDjDDH&K%`b1r2~O?+bZ?VV#bjgIo(4!!J4+p ze0Z;&G5})RDRFSMof7{lr^RE1zT5~eD11z8D=MSKsm=m!f_de7u3=me?$$JVm%&?3 z3*K(1%LpI5j6z6cat*q4 zP+o_xIw);s)XXb;*@;-{;l1bOnG_pQZhQ_d_QN8I{kDiK;8SL8^GJFdacwe|-^SV) z>~T%N9&>pQ_e$R4u|p5zw-H{wfZe#P(WpF)#l-E0{rKXq30Zl>OD@g`Lpv$~dZhNS zhuS3_m2{9gp&s7vs5n^TPD%)#*LGI$)B)+xC@OoTq50P|#Ib*AThon~BW&mew!}5gA*sP~<3e zevJh{xDw>LU2$> z>aNtb^Ko)Kh?ql4Zwfdx^y;Pr!ldp>bGX=DX#^u*P|OhYg3=3&FDNE>=LMzHaQCZ7 zE20D!+jDV5@&(N0zU8TaJSy>&ZGUr^cCO@nb76jj%i=0QSzIOVzi_|e`H4%!wgVI_ zJ@CS7(;i9`yxv2poyfa#;;)kO4IIkE49{rpGS6u1y^``y(9%lfr;rDFmm( zB9aEZdn!Q?(o>01vwCum(bJtL!SJ5ST6pb6#0%j?Wf&`XQNaU?-My9W@LMnC@E0k{ z69bqADN#{ER=RsX%}meU7VW-b_K<;tBYte+cH`Vy3pxx^TEm>dij_?nq!JrFjSZ;VyM6+5t^=)!sB!$ z)>d?ncwylX<>)b6fr}%RV5s%FatYKol*Ki}vz2csw}oiV%buL5p3Z}Ik6j_sdi?(( z?v45D%LXg4P%&1Cefp+(oHCHIC2uNk=xumIF{6<30OvLaIN{E882`Sq7?w>|mcoPg zl@(C^o-)$PRVR@L6^Yq-q0S5|%$%YOgSu0cfpBGt(gLQwsf08~-;Ai-g|laGxN8xX zyW(3xob^HFpG(ekEIq8TD9%|A6S+axo~rbOeN)kd-SZVo?9Wt+$5*J^_aa%$ETyMlMZCw+-}f$no6Y)6WlbdFPf+IHLiw67FLHU{4dWx+ zknIfPz1qx0f3SM4k^$p0l~~UrJ($I@#ls7H4??nVLGklYzI=KP=6+uOEeiu}3hjsIn zy771^sdynhypTHGzNi5;cg8r7;J~PLvvsI-I4Z<0L@1f_kuu<^&R+RQX%C+*z~C)p zfimC1Art`s|JYTF_dmQq=>wr3DLqh;$9<%Pgrjdx&s@f#m?ITm8n&G0ram9*2Vv4e zr53!HjmEY$TX~;aJZk4WMlyrkvs6^*XicfZ25QQm z1m-PAWgWg;sqG0?ex&G=<_kPn8J(j{iQxRfHsmG-`^e1#3ujr@hkUFLoqvK~j?xdV zFIQS3*B{g3b-Z7BiP?PxYnhbQF(QhBM~MlzcGnJCZujxH5HDfjTD7mh&8?Cw=)&6CdIy3~;VO+=`dm-3zg4 zw*1hBkN?@Uz%S2%z4#lc&LBR|*40X%uvAP}tg<;Kudrc$>9NH_9bOyaw9bx%*iRIv z$!&C=#>&P7teadf!H!RqXw2PU)aQuzwv>OOtdB!-E?|x#!9xJNGo4K z%@faZS=bsyCbsO*6}IxV4rCYK1Am4$exqGV)6o8&@lll>)3VI?QHQm@|L8H%g_`%d zOSz<TBS!r{8etpU&u>trc81Y$FzGwsb$4gE*5WF33a4Z`C%^~xUyD> z1pjqPi%{%UpkS}^-S`CzPR25Pv&yepJs431hTP`kFS8SKC zvb5^;v&MBOdKccfL5`y3bCO*V*uniB5`$k!kqUJ1#RgQ>H#aD?eAAYx)mQy|IA8J7 z(<&QB&Fl?IoB@X@3&SA_3XBlEQHiUMoIB-@^J1uq6WunRk=>yV@9X$`oBfQO?eCa| zUsVY!D>txa8oRo(b#-z~yAia(guTjc@j(i9lD}L1MzAC5 z*+m07em*!!Kh}SrQ2L%D*%_2K6tiDm)q{a~81D&r7!VHJq$K;6g*k)D*NC3^ib)FY z=>#*=!DtdgtNujb_ZYzd@^Bf_s~ky85y( zBo3RQ`DUewe_2?G9)IUO!Sr3a^Cw*P8OfOh8#g1p*ETBwFlw{Xu3f1G^}?w`^L$G1 z4uOBA1@pfyJzA=lkv9a+$o!BJJu-}s$QgDElSI{X^2D$PR2F7hC4TO4oqC4p{)_zkBtT&1Q9FT--4Nle)&pg zD_-MMs#Z%iFSvA&oUeq`x)D?s#(B0Hsl(}(Daf-^p2hQFQ;v!#mLKw!0Q)z-*`X*- zzKZl)#$vg^2E(^1wd!Muc__|Uv%IzRhER%$y^997F}s)|Vqy2Hmu?#i^c=aMG9TSj z@>Zp`E$tiMyrEo)3g~C;&PX`iv8_tH1sCX{(DPEUf&H;nX-6bH%XP1z@X9u2(2Q!e z;D*3$7U^?_a;tSbeaYK^d`R%%*wY>e5oo_2TD(10;42=`eA)x$^jw|zpr}q>sC?Rk zLl0VmRO)9z&%#?>otRW0JJK#1aG~&8fzrKi8Y=7>0T)&N2vsE07K6jOGAOp@$a5r8hB3>P&BR*#m0wUsCy`(kTw@6O=6Ip=pTxy%Smh4S&cWh@e1q@ zPk-lIq5gJdA!-liE4L8ugVHg#jrd^qc66A^4h3t9b|_IHm>%?wgDkh{B9vlSa|)GuEMTW{L4>G17~B4~TWJX6_8>l$ z>`~%E#_bKy58*gT(@T?9b@|d*l}8+@SlxKo1fTCwB7*OQ;#H>W(VU$=>D$7-#N_VY z@G`ODS|~()seA-izr>wD>|P}i_I-s`Jgqnw8Mi(Hwtb0B6<;ZBSiilB(+_?=uC%aE zyBCVLGV=nsKz-7;hLxKk@`Tb9zB-{4+U|v7W<4(eU9jibG824wLTT&2Ox;i$@w(iO zByO|k3fca*j9BKEb5fZB<4-De*}YSEoe4g?fFQQzta5;DD^rGJOfhlvES>AaS=}F%_LMoUD<;a;-%_w-$`zp2hu&36n189|UMR}M^?<7; z7fYrY#ln8ktM3tLepk5yqi^AEBKek5Uzj#KlKKCpPy(MC)p&T-qz;ComH2e#Ps%xe zeq4mJabrg%4_(z|ol^b{f#^z1YyNm!X$So(mCo>EfSL*42dIHe_lxo)0YR@;!ppxZ zyWrLxWgHl)kT+wilsv=>pThv|@#yHd#Y==$VO)ax!)I$ut(ra!=^si8E zuq%G*0m9Zg)HWn&fp;cuBX?BvWIR5=qa=(Ef=?;u1JEk)_zm&ZLl0-#9Tk}dOJ#Kc zj15#<*()NmuK9DG;vMTFbT6&4z{VhTk1j2}syqm`gsCt2Vl0X2re7VnOU6S8lqo*Q z3swJyCt=8(`N3)k7O{n^jR_P+sA=$4gxWE3+9`jed{-DZuJqD`ZK>x;_9DCm@`JrJ z!GX2V_>~s53%DZH(~ugerm%OT)U^c4YpIjLzm|HG^^Z}1CwK;}c7z_a)g+h_r|yDp zYU3Z%X5iTU~XCl!oEOt}qx@NBtT;tEc_~&FZOd zVO4NWf_e#7*H;h2r21+dHll$#ox-Y0wA?F=)FMoFt1rRY#;QN4iRwAn)dWx3iQ3hG;m+zn40lkK*ovlV41tbK)!u$+upF2p zYJ8|u0C|VNBAcsS1bC~Zy2XHDHXcnfJ9;=4(uynanbvALENQKFh1SVxEBGi`o#nVE z+z8^~ANOkagzsn$EpULbjk?VDlz){Uq6G%Dh@_{<3R0Q?pSDpOvTJSBG)!c5Qe%|< zo}B>h#MtYdRJ?58uB-Y!IJ&BJQMP&4Bia70YIhod?f{Q;UHS^9pvJmaAmZ0{W6^NO z7t|J5;~kD)ctBKAUr<}&Sq?0GK~3$NRve63Al~}|xn->FlpM(jr|Tnle9pZYt~S__ zhOTOTIR9N>o}~t(;$TpGJ(5%Glm5hp1+I5rP-{!P8)k9__E4w5%^vCizhwN})6aM| z!|lg2{vE|Bv9>*NegreTH;@;=?Un=GItAYArH+>{c*H##klyNan4f}*9h{<0gzG7) z4bJpNWx1cC9)Rh+)&9ZL((#iIgOr>QK1dN6l`&z%P4&Kacu+(l^D-m!5iNM8D;B^vlS&Wh$oG zxzZpGq?Vgav$|=W_w9>)7Y#y++bAs8Spz6Od7dM`dq=k9Eb}ZabsYNma2n4 zURFE7(pS_#X!(jdp!O;MomNzCzT-#Vf@YP=&B~GH@ouOJ+3|n1$|X?xin5TzQXPeQWxuC zSGw8@W~Hl%KwnoMLEuQWOXOfrZ07a6DTzE(xu)>H9q(WW9+Ni|MvhdwN9TuB*TN{b z0zdoVjdH!=>{$#KFsQpGV^CK*Qq6^mH`F-jI!bL#%fjHxH`E4AFB;M@9xkiqt^)D* z?^Y+wRWEUDL@ul~^SHvZRmwpHC{WVzWDL7P{3ta7=D(pfgr7&LV_@be3?AN&g#);sd?(Rvf~t<2;Y?9NtQZ>^~zP>uLWb~ zsXw!ArRpY1lhc{4M9mc0p(AL;tnMkbwGnVrZo~T zT(~OmV10O?p*H`1Qy?UVVNw51Cw}|%aExIa3=J~0rubdUV~q{R{=XwU4mGrgLZ>x^ zzc(II-?A=bso{nfCHTQi}Td;K|Ay5!&Sc#Epc~0aq2c$MOG-iuGu!e|$ z7ZlF1cj_7H%7EmyU_WJA5k9vC7$PCPDZV^E)bK6~Xl7Ux!a~0@*zEjL#mwiWn7#~a zW7iR03EKmlV@+x7*gj(qya_Vauv>tyeTgqLQmqlp`Lkh}z_1GVO>{%uOrs#;JL4EO ztIE)kvWNYQ!Gv8KU>vApAAD$7DzHyS7+7PIKRty#&ey4SNbl&>m)UoL$HWOGp8~WG~1@0Qsbj_Ato2mm%ev>R0%VmNhSs;# z2iFD}^9xC)CeX9U7{(>plvlxrGrT=9MS+()Sx2$3w+xN(3p#VnKYNlqjjvgoz~Uc_ z=W4WbQMS<*_}`_s7q2|FD(7jlA1uu`*JH=>&3y>_{jL!xoZn`?1?C`A9ca7LoCEQH7~8|!_l>*o zg{zCq%i!@J#@q1sD>j9FUTtirV}4(n+k~^YP!rZI9^>*_tX zuh^Rx&3g%()7+Til`=yquMi>pb@3}KlQn!Lz^6I5tacX3%GZX68KXr9D;Z(H%U8Te zp5aZZU4%9I-O`Fc+v)t1iqp+zwx*eB5rv79#9)~4#N=Sp?wM;z|K=_n|4K}QiT<*K z3m}!kthyX?|CZU8_#tTgfKRDxfSakNfvkba(t?uPyefSpd0q&NAkmOt z*6|dAuEz3vUrP>!SIgvjur1a+<9V@f7Ga6QO&^PR#UlM#Ep>g^-$(AoRoB5ru9ACr zaDWNV>OTSNKaKE5oF$6gA8UG*z{EP1Q}9}nIhi@@TDo9>5Gstul&w&g4gP=aeR-Tz z#r5yqx@YU<-kF|ZvDs!EMNw4rr)Ur*E*L~yqCtHzqGDV>d8jd(JoPr9hzQb%QUfA1 zYH+|I8I5uWji%klC+cVvM}LR|E(}J0wu(9`Kl8rlR8`*|mV{rPzt8*U{d2p{y;bMd ztvYq;tkwG^k2fQb0ykLmbK4f*zM@jRv{&RH(J(rBh-es|JR*4R%J}jsacuuYpP=dR zWUDQX>5NqeznB(3+Y(pj?1LyecyDp;3uR-1UyMmktqOu{9EzLY;6}s^Puu0SS-Y?_ zLP>lSvsgUMbHBA!M~QLs<2TX#1_(mG#u7_TOI{&veBR=W-O=Kv7mx!vygq*2{P>0+ zi<4Ky&Y--y_pm%SCHA+)pwY2|gHcQ4M>)tVNJPZYPm+tohl|QGluYM}S(B32QQ&WY zutOy2QXbtn@o$^UmecC)HpPq;@oPor9`;}{&x-6P_FWkd#HP#R!-C`k@s*LF^YY}u zRpPV9;)8=>*CsEm4$gZyex(`w;jpTA%%J(z_%U^1w!nHzMkNP`O8y!0XppBSkf(Ne zQ20agOG}({D)Oo|H}5M3U7I*sWIm3Lro~qqEd46JAtH`E!Ta%oHOWoI45}4o03!U8 zLpd%l)QUM@A-|{NDP$f@Scfoi&UrewI#wP`>7TeEx|99p{fge<(YJB-VZAN>w5aS* zjv5z7Z*wx77{1*waXtyA5UcMF&K3!fEi$Dfo>(A_`F!Djm0Z2EttLQJaZ|bIN=E)D z=H43nQINgf3C!T_Na7na7{03N+O+kRCFW-A+F*1#em>`FggfTG!4nPc2y-{`XONDg zQ`uIQQLywdbH@yX4Nfu7fVcipW^nX%F{DvZdNyUW&lgYJkihh8P4)>Yf8-+nl5*H+ z^SY0|a3-;W8Zl*RVjpqSk?v6xGJRI?qtWiAR?z4qKDC02Z%!PEfb5KOd2r-$ZUl^* zqUC=)(Y;!%>7N)AAZz<4mNho`L;|= zB364pSS`*0nN%f8_LH44-UCi6OMse>i(Ls0s1jLuG6tBGpY%%aw4{~2Ir5=q@crkB zQ_Nuhkys52&W#=>w>k5h#6*PN7ujz<8#7JL6BNi3{F(UEaq+og`iageaogV$v&9Ez zMW-)_lsz8YYbQtAJ7d#FSu~nR1YUi5{8(gb93LP_?qoa2o*BOa=?s^~_7)o&6Q_i% zxy(@_8>b!g$~ooqHyNrQ6y`-L%;3|D<9$lLUVL#nQu|t)p|k!z2D zHC8cfBvWEXt`{e-iwqNB*x!+qm)Zr>4t{fG{ELWqat1O~9ymC;E)raRLwrF(oU$ff zE>_Nt?k^r{jP4;OZL1m*962Zcx>c7$c6HZXbzRlAMIn_Pk2rQMk{y!S`2OOwZ2ZFD z-SNqPouMBhzI-Qfn3&XAwvU+hyft#cn`LX}CpL`PH9sF3+2O({PZ>_2j_dgtwxwxMY8cw7ib>$+cqn+X<*s7bOlUDi1U4 zknAS^v%F|Um5CwAAi$8l;cU0ah?`$+6X#wf-t8AXiFJVBrJm$(%l;A54t_esg?gh? znD&&XNo<|y99Gs&Gb)xgsG9=ULtx;fWL|XSDZpsQ;FLTD>c=|7r(*!a{&)gOJM!L$5toqHq z!N>g)U_oHTO;+jgH0Pe<9!^=bnECxKaK9A?w8Wxp4rX1IHm!IIRvy3!CQ53Cv# zymgHmx5U(G?(xAPzjM!tirTuW!A|Yr^Kp2?o>ld`)T&`vgR^U_ST>@nFWmX0hNt%H zE<>0+pEs?}ZWiawaO=gP*C3$$!{53m1<%iL&$i1`N8Um4AbyjsDjBE(9 zPb@P#p*EEpY4yeLDA72}9UM%;#m2b+lX03nV(}6Bp4(J~Kne?CH2qrdu0&KiLnCI4 zz%#`DiH&#RjEl$SxMzy7x4HYrC<9g`* z;**>^Bp5muS%m3n{n}&CHR5P81k-cWKfQZ0-aRt6Nt}Es4p*+9QO@VjKQ*zv5%~bu zQ+fbJs{mhqH1NF^6OnmH1~?+;Hi(X;?m+Ivi9kCMRfD_dxldcCAS;1V6(W-lOkR87 z-(nr+v{=Uy3+6l=ADVyN>{*AXeh(Lf)`!!7m;`;BXg5Mj*Dx2stYEW&Q~3oQWfZJ52oTPF$wl>0Tm^ztcTJ zoFm+Za^w}@t@rd7?+Eu-Vq24YPAVS*+_3;b1BJPWk-rYkvkEa?xF?9S7P?pWrSnGd zq0%o*X$@rXY}@FGt#`Obl_5qR-NPC53*D4REx>E;UgVw`B5;~W-(cNpcZ)-3zpr{w{OT6F948hnFoUL>?Y)p7 z{ykC%#WTH>SkdhsWR41wTU-&f4~ISkNw$yp^>q6H;U5t1E2cb&b^hdY z);<=U4{@yBI~)3bIDig~q{X>I;y6L>GALE~lcUJzePpHMAS`)|cZ_)IC3jiSG13_y z9s;qyDfW8St`QSobyIXo!9*B(vJgv8J2o;j^{t7+3Fw%Dp(AkSYl=@U5b;jyw=`Pk zi<2zxrQj6Dd&dz+9Oryx{k$ElH#T2nt}44l98lwp5&6N91EiY!C+8J$_7vpH_iO-9 z`NJaOQ7XV0J}<{fT|12$P%7t4~xjLG_->)cZJkLuK7dzOQTC_$&A2XlE@+^ z1fdh#Pl$^-s2gRNPsZA}rtrrqpn;Fi;-xVH#cgj9d8aXb1+0fCPE?<{cU=q|0nY$z zs;`TIF-Tz1kh&P$lBQ9OCqC-YT<052qe3;q-@VA1pEm->j4}zV+!M|2E;o&&tVR*5 zIFH>T{F>5??01!Q>0C2u5;)(FX5&9SthesVu-tAx==1qj-F~JyyLN3k{$K;M{@n%s z$_oBnK1dM(JbBA2aZ)p0x_Dy+O-K896J$MshEA@__fO;@eJjdSOl3J8i^oxUW~aw% zh{|$0+Q)PKyZaaG%jw7fkB_e(zP8-#hd1E=*s#=|r6nr?IBGD`JS!>8%Fd_6G!Zp7 zp123~^0vmXmsIXny`-}4C6#qAeFAhhxq<2?mzjNJPDGhT8z*7QQMr9T>h;HG?XuUJ zmi|$%=hR|iIvWQNBOLe8wXTYbo(?cIG*w{25D zYTeD(@B0&uMQL0!E7B!6f&oPwf4RyV;%{l7iXZR-=)zHrSb!_)Z36{lC$}!7`&pZA z=O4o|#*|RG`vYt&#_X|F&SkN$sQbC8#C&BPtOAtVenNFJ>*7pARPNbagZuBFNae1( z{5k-1L?kM;_2D_Ea_(8;$`VoYmVqcQ9>;YS4bd-4W4v2WrzaaLmi*qVOT)JZK8PD& zy$`kH1_rN?q2=~W&S~A~@JQGOm1t!nf(MWMt;>@6mM9SbknNmodqx4Th12Hh(%CdH zS}_z;g{P~nINj@=#_D=RAfICyvkq>Kbh=K!RDw+%Hm{$L%yvv1gkoHg!Hz5B3S5z%jB93& zgDXx=r8`VvxfN8F6ox~^QO-Y0SEQrkiik#Bp`GBG`JS$=H&)^bZ39;*9JuCJ(-k?+ zxOVxk(GQNz#WnLOU0c6Q;F`NNi7PVJan0XPS9}|;I0hHjuBYjW1Z-TPdf@I+hEd# zaMJumrEO@kmAeGyoQbu0a{?R)ufh$c)qG=%KckF=6YP4#ohpeUyO(-af~XJz3ovMz zrTIQZk?3#x%PtY#j05vbcjzBgqy@q>N~oAdnbR=^N*Sj6HY^b=MARln|K?h2c2w;9 z8?XO=3mu}P7^&T&MqiTS|1)Z2I+Xl(cc_u6VV#!dlw7~4_g*_kYtZ0DGSd+dh;d0jlhc} z+XJVg3cI8tVq!o>vJ9Ocx|a60dtRxS_U#SW!B!DB>wJOu*lzBQeN^*sf0W30gQU>_ zsti=R~1f*qB$U`J&w*il)_bzEP`bzD|*9m*sGG(ARw2WUQ2`>?N)PFENX z8aIdT{HuCKp&{?`DeUO9or~|U_WJm#e4}KLG)tDrtP)!^5&3pXUJ5z|amV{j?CGFy z#BcGc(jwru7K?!E8d)|s%q9<%31Jzty4YOq)Wslzav8ftjCx9dZ!R$FV(s4nszo)@ zL*z`VHV_EHMp#%9KpQ070Jl?uo68zE0~)ncin`c@P&+;$phkpSH%d3XQS(C}-zjd; zYA2*WYkdIkNu3{)3kwhr5vytd_&a!41i;^s2mRK{Mrm*o^v^OfpE+t^xvW2)0sZk- zEo$j;EjFQ#C%~t@n?GJRqQ&w9A>R=e_Mt0wV<<-L$;2RL=mkouaW@T(gKpY8n#D_FVJh zuITF1z|%<8KmqJC_o8H}r1tSt#(B*+V}|b&Q_Yd84<7r~R;hnLYIjC+?=g5DVlsZQm|KASu_$R>68WxljSDR;p#~N5__)JDg~Tl&P9BG>!z3)Q}=T%wBPiswaLuDO>1+)d*LLH3jJ5?lRZ8K>hocL?^j}8NRco@**V^ynu7vAd& z!nM;1Z2zDihTbkkZ&MdEdInbRsceZ1Y5WXm{I!T>Gpn>21G<@&RL#2P zRHBt#+6t^Md>I3}m91Mrg~b4xPQH!yex4uSGyv&uW_dl0o_Wqw}O4zyl$lh5Z+O`-+WWVbkzOK{VQsRDh7Mh9u{)t>?RUb2=>VUuDKBD-k?c5QrrrJ9m1sr%d|WKS|$>XN$8U8*VRQcX#hR2}M4KLe-w75h}f zeUe=gTL*dv_y%;5;@qMf&Mkm&ZUF#^62<|9a|G zuV8$ioHFu0Xw5LAt{iB*3GXRs>t=o0I;2a-Eom$pV3&Wvl$#Y8$YkD}@I7+No>UyV z!lZEI3X{TtD@+Q;m8j*cg0IRvtq<5eruB?!$R z;xa<`4?~O+NJAb4DcG#Tw9k#%T;rQc+ohU@4F~%L-e4a>>_S*TV&wKn%hy8|q79)O z@+no#yh7cSfO2A)rO!>VlDw-|E8AOWh5LWBk*qApOs@G{w*g}%rAAtNH* z!(|NAnm(YT_B{R%1Pwq}_y^kVUhX*RpLWN!y=Aw8aYU3~P40RC;A{!qaU&ojGDDHI z(qzGgu-fcPAD)!&@C@~&Pr9qw(VfPCh## zNmyM?qmO)o59{{JnwH`}%E0%SbMe+jKJHl&EtYMypR(~T7R$EU;YV$?i{Hde)7h>X zrUi*eZsW3n>?k*o{ge&bmnIEtqqU2>Sdfro0H8Pq@&Qd4#wrEvfj$QUFUB4Kbw!O^ z-YT|{wbJlhK^ZnoB;R8V5Ick!yk`lyq|v(VK8My8I&d_WiF!hUG;1i?O}$iD!X>p> zNa-5~b`FsIQSD)3$bMeR@3>caGjZ|*5OatOyyTFvq>TJQA68BN$%i6?4U)DQB~d`K zujND~|NP5+R(A9N@h5Iu!k-AEmHa{|FFYVOzDxJjfHb|2Ts|l`4{xGPBi*sJoZfF3 z`4wgK{#3_w2cUw;z`&G(BgA+jSnvZd3-KLFh6fZ<3xJSZ02Jv3WqO@v9uicvtr|&^ zk&PtHs7CT%$kj|iab=aqSJs9!o`S=WQ#uVXW4o!sy|y$y5Nr`2hh?6R;rIb~(v@HU z^BKx=cgCVdS?=1MUphtMK?)v=$KegB&NmZE@PG~}C6D&;^Zp))3?}I zN*)=OND#_{I`{`_)aeNtZ05qqT6}|~4!Hqxf0VSq{ZUc`_otWC;g@u%m)KF#pPG{X zl!zThO-X-h!v55tW1wS1lbiigvOnxJmt_nd{;vDOa;UoHwZ=66Glxwy(%Y09L|U`O z8;dlWSP}snO|02t>6_VTqV59`>Pv|ye>cpe_~%`!)3qjMMpPX(npkpj*yfD?;-xy| zo{jjb5*tb^IT&nbmiN;bhW3O>GAuWtxF1KNf*e#7R@lJn$kuG&RrT4x>&T((CIhd! z&+!Eg4IknQ+Q&m*x2j9tP+jr{b)Vl*UGfHXpWjej@&J!Q=^L<| z!8z|3MdjRbAKPB7L<8MKVb*YtT;b%Y{NdrA?)x|pSIN*K{BZ371Wl0Zk(iiJM zio$(4Kk({M)HvD35I~OGG|ixYHjb(H@;uj;%(J@Bet1=8<5+FmPk2Je53la?JlB@Y zGyT7}nrE_p^9Pd~UX^*uef9A?=kftrYYOj5ZvZTo(m(P1vixa~p=5xpAkGEB1@9M=OaS5zqlES;08^f_)Yy)aXnZ61_DFi|QrKC~218MNm0O_%{9FECU zYkhgz$ZV>>sqgsqUC^J;&MC-aTgtG((3a##DN3pWTW!`E*h;q5W|cvSW6&6sjJeg; zMh2r=idR@kB&JqKOj;fzOj;fzOdRaxCuI{XCN_9VsN>V>qOe6$4Wcwy?SV{H)TU4l z)gAz$+5-T?rW8>Cq1po=RC@qyst5m6dZh=^jGJjWZQWjwEnwwlp$#EYG5o!~X_U!o zY0x~GNo!Oqh&r+&wW46HVk`XhJVbO=4N@b_$X&37;s^`+p4*)Fx9;%^j{hP7p& zlJ-byz=1>~3$G;1TD4+fipG3NE{h-z(~sL%x>9?M%f!N2BWC$Aunv0aF^}=OU${98wy9kkSBzlm;NAGyox`0U!mtl`I0< zV@O7PlwlRtxQlK^+HIY>65RYm<7PnPW`J?yPfd0}z8koG*`a@oyzA?7R^?1M6KOdj z)Cw=t?mzkxF6$3rKo62tx4kn_zl*E+`b!w1FTq6pP{?<{jhLnFmYL7%41|4O94ivb zU4{*RcfrdJIi>eA;NFpITk2Pt5u~RS^{W(u%1gAS!U|f{So=_jNY^2Il?Qz&nqff6D$*^=dP?|#o)V)DPZZr^ zlchF#P8iU`#sEzT=D)Xg)-|J4JDa(MqkB}P6LJ=A8`Qext3DY5Xiuz|1hxiolu1mXHL$Q?JOuosB88(<29 zz9(m`?R=1}auc_2Vv7QvkysF2KOO&qq0KP>!Z`#GPNA$uwmTL9R4XY100^fLfSy9% zNUCPoPMF}$p7&z3fM|$WGWYy)8k6nd~0-XI-zAn6aD106pq$sIRT{OIgQe3{$=2N_8XJH(Fy zgN`3<`#g*vg>p-Nsgn3nsz@E=h%Z9bJK{?%ca9&0*;sNc#4@LSh`?woqe*8+N#46K zKao}g1(VC7Ppv>+ziC`pU}h+?#Xq=AC1i}}Xv%`#j!%q8-1-t&CP z9Ep2S1sQz-21F0Gi!CD?9wXswB8+5#MQe%*hp`I{$a>yd0izD9)oj*L2I)?Rc0x%3 zoxDX-7=VvBdEPsvvc(NZ@nG9!4|znC=@OK^BKP$Fwst#!^|t_C@-nQEM!i-Z-t-|U!CVlswF6n8DN>-CbG*;Q3Y&DA|Y@3eWCzPVoN42X^y#--5l ziKqBn8CYSMGZQe+P~XV0$3sD3c0K?S7i63r0Foo5N)AAY3t<}>P@>w%fD+jzjZ{h= z^4aZdtd+|bKse|C_)RPu0N^+ItmDc?6miRXEKnkbyVglj71C4_Lje`M=!!F{;Mu5X9?M6|Q zCn94&qhLUz&{2lz{B3Th|9^|)wTA7j&R`*JOq2J((? z2kmCZee(6Hp7%_v!lYTY>JiZ~hnwhWV?eu`7|`>^fSNd~Mx%S9AJEyQ=$MsgbPV_! zA43`+0}7w5@ijdT$rU~v6@Vm{832usgP1fr1~fVb6gs0uM*;W*kO*WWNd&4+{-I9^9LVgPT-`5;TnRjnxH3LXdD2r-Bp z9;JF@s|c_(4tD@@yA(Os)5vur>XEH+lMQz#xc%*sH)TDHvT2uuUcn>TX6aF8K#wv5 zdXyOeI`X@lH7f852PxFUA6J5nBdRpEh)=jRI)0?lF`&>zG&*=&cne3U6z^5Eg`>>- z3`fcX;C+UT>HxwWTs4t9xN6g~s0OwQ!a$99??qV*ejFK*p&S7(2X{*7PzZa@D87_$r)RzZ(za829m6(LTwO%wdUX+*>mWt=)4*p{ zJYx)eUYW>fqR9TjJ2=e~S$Y_tc_M5Ks17)qbHbfRdqspj^01vXPfuVNQi`&rwFrR5 zp%-Y$!h?w#xH{V`C-f{Tqfw8+AJ9$*a<57n(PI#pI%Yg1L1NvPIsQyM( zL|_^U4bv4gaYa`Ui~)p%1t26W03l(iHj=PZ8z~yfHgpyMGp?;NK14Du0D2KXt@y4| zuK@p6K5eN~(PFmXs<#3NcPr7Tc z1$Qk9Z^kTmi^ow}=lf7uDs=7RxxUKx;j+s2 zK^YeQnOH%z)qj2u^fNa8YXB<-@4I84oXHxRROAq*#44JM9O)f!FQzQ@_VJNjsdFNG zr~FX(^>%6*r~H_cU$ok+znAwQKHh+96VaNmgxa2xfz%4uc2HXF+6royNm&O9Ct5h% z0wEs66zG$56DsQ_j%rdEix$z6cM!MG4XCUeP?>2K>zB%_2ZP}um{9pa(@<%9Ve+L` zyi-)_-I>?xXeBc{p(UB02ua#e+chsq<_(0R$U>+))QF$p9D-qu{Z$?XB#{5RNVnB}p19}V?&|?s_^SSlhD8ofDGIS{FScH?f4S6@}>9lyUNgn4Nel8 zKLLd1PsL;MpGotl1VhFYnm_SGn?H@DYJ~~HK4KZ$j=`}1U2`d4vMHhuN)&`2Y58Ex zt7KV7AdxJK;-KOF!_&{CQK<)6jJdljP_vYA6+SN-Msu%)94fa}b0}J|aCLk@nHL}( z1he{OFsC)cQVLLpt#VqPjAoVAf&vG*N@GFqXjYmLm3zX`uPXI~>J#^7Efn#mMKu&z zTd?>p&afW4@o!0&qM4AYqQ9;A@U@X1y8sJ0ucw5@=j@K(#F5!oh< z*ODC7D?P^tRFr&nNYBAJ7^PmXbklo9TMYs5yWcbA`N)WrlHxln+Bh5@Hh05@}a zg`3M7H*^P7)W{>H$hn?I&VcSX1B4v<5O*Bb$707(*2oP5fW~dq0SFl@0LJa}Km*dq zxe-s`_Y|;h8L(m&2ODLLoF8c9Rvn&byUUicCs422|16LHv1q8*U(BEE9V>n@+1o?d z`*`VK%!MBQ7ie?6H%de<^7cpgp*Xq08yL*K$lGQO1LwjYmA#D3$sjJaaaiuu2P=%a zLnvG){|RUwH=8`jafRC8kC%EEL>g}_>#7DXlu-|@q@i&U^_o*;BbH4i zw)o|j-V||u#v3b+n}&aL?EZjm4qxIO7rgd@*C#5Ty2U$Aw0-UUEcnsw-d9z@)l0k+ zV!;`=df8}DHp`n}1_yO{IF9bg2fT;Go8NeQihk3*{evr8yz3ot`uW}o;?W1ae+#~T z*u&w!BOdgQ7KQh`!^KcI>dF>+?QKc?>Fb2)-p`XqK5CPlKZ|*xSqU!4dy^`}>is=W z{PI@sv7qHuZ*>J?ne{k|OK$guh{^x%y&(3Sg8y!~Y`r%G|3&k-cW>~AcfG0A_`3`5 zH&OA|4c^G$swJL_|8dyh9VYHu>RlmPI=n-KjlZ7^#(eI5Stf4%m3M&X_nr5IIP_a@ nb@0}AUPZ&eRTjscu(RXCedyGq$0KB@BvSaiarL0;eWU*eX;&JP diff --git a/testdata/drc/drcSuiteTests_au4.oas b/testdata/drc/drcSuiteTests_au4.oas index 6a45d564829e83044b16b0bebf86972d55198cbe..5f3a3ad0f555f70dcc599fb650ad53db0c2482a9 100644 GIT binary patch delta 242 zcmZ2~pZU-u<_%IObT=|Hure|(WP70fK$}6#hJo>c&;t1zvOp#y;{vt`G6z(_q6c_> z*vt@|Tz*o~Q)zxE-dwPGqmUG#*CS#>sKl@c6>6>Q z>QY7-QRvQtq_m+%W@Jh!)WoX80d8}@^}Aj3U2J zSJ8MIL*sWGjgv_rEj)$Ra;8kl#%sf1N@8GmHE`Vi~X~sP155AzY^*!!2ho r%&k%Sn68zvVSd3ph=y~WiFg$Y0}{jM^2qc{#8_!5_zzm=ZBhCM)?|T) diff --git a/testdata/lvs/inv.lvsdb b/testdata/lvs/inv.lvsdb index a20e8a4e8..246a05b96 100644 --- a/testdata/lvs/inv.lvsdb +++ b/testdata/lvs/inv.lvsdb @@ -88,7 +88,7 @@ layout( rect(l4 (-800 -3100) (550 400)) rect(l8 (-450 -300) (200 200)) rect(l9 (-300 -300) (400 400)) - + text(l10 IN (-200 -200)) ) net(2 name(VSS) rect(l8 (550 300) (200 200)) @@ -97,8 +97,8 @@ layout( rect(l11 (-250 -950) (200 200)) rect(l11 (-200 300) (200 200)) rect(l12 (-750 -850) (2000 1000)) - - rect(l6 (-1550 -800) (450 900)) + text(l13 VSS (-100 -850)) + rect(l6 (-1450 50) (450 900)) ) net(3 name(VDD) rect(l8 (550 4350) (200 200)) @@ -108,8 +108,8 @@ layout( rect(l11 (-250 -800) (200 200)) rect(l11 (-200 300) (200 200)) rect(l12 (-750 -850) (2000 1000)) - - rect(l2 (-1550 -1700) (450 1500)) + text(l13 VDD (-150 -850)) + rect(l2 (-1400 -850) (450 1500)) ) net(4 name(OUT) rect(l8 (1300 4350) (200 200)) @@ -121,8 +121,8 @@ layout( rect(l9 (-300 -4600) (300 3200)) rect(l9 (-300 -2900) (450 400)) rect(l9 (-450 -1550) (300 850)) - - rect(l2 (-400 3150) (450 1500)) + text(l10 OUT (-50 500)) + rect(l2 (-350 2650) (450 1500)) rect(l6 (-450 -5500) (450 900)) ) net(5 name(NWELL) diff --git a/testdata/lvs/inv2.lvsdb b/testdata/lvs/inv2.lvsdb index c321762cf..3e799862b 100644 --- a/testdata/lvs/inv2.lvsdb +++ b/testdata/lvs/inv2.lvsdb @@ -69,7 +69,7 @@ J( R(l4 (-800 -3100) (550 400)) R(l8 (-450 -300) (200 200)) R(l11 (-300 -300) (400 400)) - + J(l12 IN (-200 -200)) ) N(2 I(VDD) R(l3 (0 2950) (3000 3200)) @@ -85,8 +85,8 @@ J( R(l13 (1400 -700) (200 200)) R(l13 (-200 300) (200 200)) R(l14 (-2350 -850) (3000 1000)) - - R(l2 (-2550 -1700) (450 1500)) + J(l15 VDD (-150 -850)) + R(l2 (-2400 -850) (450 1500)) R(l9 (1050 -1200) (600 1200)) ) N(3 I(OUT) @@ -99,8 +99,8 @@ J( R(l11 (-300 -4600) (300 3200)) R(l11 (-300 -2900) (450 400)) R(l11 (-450 -1550) (300 850)) - - R(l2 (-400 3150) (450 1500)) + J(l12 OUT (-50 500)) + R(l2 (-350 2650) (450 1500)) R(l6 (-450 -5500) (450 900)) ) N(4 I(VSS) @@ -115,8 +115,8 @@ J( R(l13 (1400 -700) (200 200)) R(l13 (-200 300) (200 200)) R(l14 (-2350 -850) (3000 1000)) - - R(l6 (-2550 -800) (450 900)) + J(l15 VSS (-150 -850)) + R(l6 (-2400 50) (450 900)) R(l10 (1050 -900) (600 1200)) ) D(1 D$PMOS diff --git a/testdata/lvs/nand2_split_gate.lvsdb.1 b/testdata/lvs/nand2_split_gate.lvsdb.1 index 6dbde1217..e0d758a88 100644 --- a/testdata/lvs/nand2_split_gate.lvsdb.1 +++ b/testdata/lvs/nand2_split_gate.lvsdb.1 @@ -121,7 +121,7 @@ layout( rect(l4 (-250 300) (250 1050)) rect(l8 (-700 400) (200 200)) rect(l11 (-300 -300) (400 400)) - + text(l12 B (-200 -200)) ) net(2 name(A) rect(l4 (1900 3400) (550 400)) @@ -131,7 +131,7 @@ layout( rect(l4 (-250 300) (250 1050)) rect(l8 (250 1050) (200 200)) rect(l11 (-300 -300) (400 400)) - + text(l12 A (-200 -200)) ) net(3 rect(l8 (1300 300) (200 200)) @@ -167,8 +167,8 @@ layout( rect(l11 (-1200 -300) (1050 300)) rect(l11 (-1050 1150) (300 1400)) rect(l11 (-300 -2700) (300 1950)) - - rect(l2 (-400 -700) (500 1500)) + text(l12 OUT (700 -2000)) + rect(l2 (-1100 1300) (500 1500)) rect(l6 (250 -5500) (450 900)) rect(l6 (-450 450) (450 900)) ) @@ -192,8 +192,8 @@ layout( rect(l13 (700 -700) (200 200)) rect(l13 (-200 300) (200 200)) rect(l14 (-3150 -850) (3750 1000)) - - rect(l2 (-3300 -1700) (450 1500)) + text(l15 VDD (-100 -850)) + rect(l2 (-3200 -850) (450 1500)) rect(l2 (1000 -1500) (450 1500)) rect(l9 (400 -1200) (600 1200)) ) @@ -212,8 +212,8 @@ layout( rect(l13 (2200 -700) (200 200)) rect(l13 (-200 300) (200 200)) rect(l14 (-3150 -850) (3750 1000)) - - rect(l6 (-3300 550) (450 900)) + text(l15 VSS (-100 -850)) + rect(l6 (-3200 1400) (450 900)) rect(l6 (-450 -2250) (450 900)) rect(l10 (1850 -900) (600 1200)) ) diff --git a/testdata/lvs/nand2_split_gate.lvsdb.2 b/testdata/lvs/nand2_split_gate.lvsdb.2 index 382f1cc89..4742977a2 100644 --- a/testdata/lvs/nand2_split_gate.lvsdb.2 +++ b/testdata/lvs/nand2_split_gate.lvsdb.2 @@ -121,7 +121,7 @@ layout( rect(l4 (-250 300) (250 1050)) rect(l8 (-700 400) (200 200)) rect(l11 (-300 -300) (400 400)) - + text(l12 B (-200 -200)) ) net(2 name(A) rect(l4 (1900 3400) (550 400)) @@ -131,7 +131,7 @@ layout( rect(l4 (-250 300) (250 1050)) rect(l8 (250 1050) (200 200)) rect(l11 (-300 -300) (400 400)) - + text(l12 A (-200 -200)) ) net(3 rect(l8 (1300 300) (200 200)) @@ -167,8 +167,8 @@ layout( rect(l11 (-1200 -300) (1050 300)) rect(l11 (-1050 1150) (300 1400)) rect(l11 (-300 -2700) (300 1950)) - - rect(l2 (-400 -700) (500 1500)) + text(l12 OUT (700 -2000)) + rect(l2 (-1100 1300) (500 1500)) rect(l6 (250 -5500) (450 900)) rect(l6 (-450 450) (450 900)) ) @@ -192,8 +192,8 @@ layout( rect(l13 (700 -700) (200 200)) rect(l13 (-200 300) (200 200)) rect(l14 (-3150 -850) (3750 1000)) - - rect(l2 (-3300 -1700) (450 1500)) + text(l15 VDD (-100 -850)) + rect(l2 (-3200 -850) (450 1500)) rect(l2 (1000 -1500) (450 1500)) rect(l9 (400 -1200) (600 1200)) ) @@ -212,8 +212,8 @@ layout( rect(l13 (2200 -700) (200 200)) rect(l13 (-200 300) (200 200)) rect(l14 (-3150 -850) (3750 1000)) - - rect(l6 (-3300 550) (450 900)) + text(l15 VSS (-100 -850)) + rect(l6 (-3200 1400) (450 900)) rect(l6 (-450 -2250) (450 900)) rect(l10 (1850 -900) (600 1200)) )