From 04b7c419f15010ced99797002fb1267949c60f9c Mon Sep 17 00:00:00 2001 From: Matt Guthaus Date: Thu, 23 Aug 2018 13:13:07 -0700 Subject: [PATCH] Rename _new cell back to original for LVS comparison script --- .../tests/10_supply_grid_test_scn3me_subm.gds | Bin 0 -> 338592 bytes compiler/verify/magic.py | 2 ++ 2 files changed, 2 insertions(+) create mode 100644 compiler/router/tests/10_supply_grid_test_scn3me_subm.gds diff --git a/compiler/router/tests/10_supply_grid_test_scn3me_subm.gds b/compiler/router/tests/10_supply_grid_test_scn3me_subm.gds new file mode 100644 index 0000000000000000000000000000000000000000..1c4742dd8a4c1845aaf338df79d0a1afd3b3c001 GIT binary patch literal 338592 zcmdqK54a^&b*EkToO`b=gV=Tu5m7sciiidpf=HAgq9IBM@eeVmGz|>`whd`oFoqCB zLr@7J$RH{~Vu(TIBZMG9hf$&oDuaK+7=|Dch7iK=p<#$2jLQ7pwa>3k-P>L3cJ1Wx zd%n5P18+ZT*L&99YwxN$r%s)7n)znb%r!gCj2?G)v#i;!S+4&-r~B__o6-D%uXyFl zUVrfGUU=XE&9>vY{a*Io7rpwXKmGoT54`SYF8#>iuWNRk>$kU>pFerSnz!xIG_%W^ zX8sAIX1`{Bn^Ds=yDc9#v)k|2G*5VEGxze#r~IkIO59ZY?31Sco?U;t)0$@aan0-w zdcXHbKRv=e&)U=;-=dB^3Pm*XVctxS2Oe3qgsxy zeY7EN(%$tK=WqV%p~&CzOJ9rpjj8s`A8o%=Gy9^uo0d=iarh&X_Rjbh)Nk*V&FE>% zo7op%)-vj*xEbvoe{uh3Uhsux_63JEE%&@6^3RyGcl-tUpMOC!v-?%e?9Xi9GV&^J zMtjF!oWFVbQO)d5H#aSRalcYOllG3kApcKmQNHrfW_IUuT1H;Q&1moVo8)JHSjVR4 z&0I8p3-YsmSs$$52_tWJ{buXulG~c`ca}FZH(fR5-48S~#7(vLjeq9G2b=LL?rCPe zykW}kYW)y5)!y|Nj9+vzXL^YwR@yx;n9%h_K&t08XE zzplSY{x6->%>3<_n_2U#2bcV&;$441{@dqE-tWAx#{XV``(_FA$Gy92ir=)JgP1={r|AI$Le(1brl7H@Mtyk4&?$h^A zseBPPllsj$@1pTXT>0JJ+yAd$)-->(teM~Qo+&Rqr~iTzFYCd+^#RFW;w$xJi4Tf8sgC+xU_x@raw5|G`P#i?=O4#3OEI{^uuo zzo_RNYzOg(n~6Vj_+8ETwjVSztIwPAJ0EW%ZmPX+{A|a$3%}(N=Y~IPsy+3;sOPTu z=9lM-Zz`Voa|i1Aru>!%JsAF+srEj9_N42YW|hv*Z`T?!U$ku#ag%u8{C|IA@&0+| zDe;J#i9dIej`M1t+j!TM@*-|#{`Vdz-oqD9iAUUA-x5#b4 zn|qh>o5Zv6)6V!!JjQKiKI5dF@tb(W&CF+6#GxIgh@HGCGc*M=jXZ+XQT*hyH?&D?rCh=_iv@?Dak8zus&p2sk z{3af8GxHfI?Tp{VBW`BC#y_|7hhzLLcReM>KWEaOj6Xb$za^f=A3n@{jWgOc{+9T} z&CI{$+Tv;a;X^#)X67^g^G+z^H!pl;8NW$98$a!g-^63wX67?a+8MuzN8HSO#z{Nl zHt~p?ng6l_n)zqns^`1UnDY5oHM7J`+WW?T{0_xi|AQ&$&6KZ4>=%dGGzrEOC?ezVW|*yW*?A;X^#)X6EZUOL*#UOFZIc z=HGr(@$UNAlz7C=%;&n(S3lXzuKw(le|=WD9%a(rH-25G;yUx}oA#da#qW&kS2HH< zeLmN1c>Lcze@gNaH?#b@&J+3Hv(1#`C2nT#LXc!BhU}4o$>OwfD{6 z`0d{>-f!MAB_44z^Ob-6gl!^!%N6%W{;{d{EPr^)-x5#x!-ttq{&(oPmd4-mbUha% zZmK=ak57IRkGy8)ljoi*OMdfyT?;2}DxT)YBfp79elzoxXZFz3BY#Wn)8ywGbWrVC z{_vE)C7$w!4>O-U*B?^yn_t+qOI=fB+*~^hsy)je zp7OWEQ~vN_=9A|G50?Dqhi)!;O~upvc;q+n$ZID4Xph&$emi>6?o(>NjkuZYzoSbI zE#76jO^HX`%zWi%|0I7)?Z4z_{|zSlFL}aK{+4*e&CDl{_Rq*~YQK%VX0rcA9z61! zc;q)TpZwZCBfqKrHu9Uv{u_Dl$Zz72-%R}R)py0bjjy|YO3hou&1C+@|8r&WzW>81 z@raw5ul&p#`CDq<$REe=Nqg`5SDx^cza>6#GnxO$qxp&arsgf;W-@<~2ao(F9{J78 zXMCEU$Zu-iBEOlp{AALhqOV`p#2685b4rEM2e1hj_%z#Gh|o7vB85 zuH$RFpuC8ii9d7chnwciPc}0jKV{0Z&uSuWs=aUgY&Y{Zz1EQ5a)Vxr5I5DH`J-Pw zA^etaer5P0Q|*0zbNzPB=sKxD zh?|+O>ptP>`c+Fj;%4USx=(obo<1cWaWnI&-*tL@N&U>vy|2{IB%alecIs#1Q9m>D zsT1wg&%`5cWh3rqdXhc}e^nZ&dD(N6tLJnCm= z{&}hs?bOf2BW`9sb)ud6nRvv_%%@JYQ$G`rxS9E?-*{(TU(ot%x$EIkzp+VsQorz2 zzm|BaU-&Td&wHq}tA4Q^#3ycMzUma7>emvFxS9E?Q+TRhOFZIc=2O4Jk1h2xk368% z&m^AJkM>_s{Y*USW@bKhqMf>#c*M=jr%tp}KNF9*nfcU-cIs#15jQiR`ki-3sh@e_ zuBCn^@vMHdQ$G`r`k9$eooJ_iCLVD!^QjZ<)X&5tZe~7pqMiDgc*M=jr+zo>UFv7v zvZB<_B%alecIs#1Q9m>DsT1wg&%`5cWfq{U!`gaWnN* zzu8suQNNZiy1UfRq&=x$c&cAZJnCm=K6Rp9^=pYo+{}FHM7!$O5|6l<`P7Ma)vqNU zaWnI&-&-Cm^)uh5+{8`dS^a3IekLCEGc%t$(N6tLJmO~NQzzP~pNU7@%zWxZJM}a1 zh?|*Do&NCKrGDlgUtQ{F63^;KJM}a1sGphn)QNWLXW|hzGoL!qPW? ziAUVbeCnt7E;;_S{O=zw^)qSD>PI{EGx4aOnfcU-cIs#15jQiRI?+!3Og!Rd=2Iuy zsh^2Q+{}E{Z|?ERt@^cm;+avuIg|FJe&MNpE%8*p@L}ewPSLLVwZtcGX1?kap6b^U zkGPrns#AEXUrRjVX694BpFg+M&wRxRrG6&ytbVjpKNF9-nVCSty?b)ud6nRvv_%%@JY zQ$G`rxS9FXiFWE|;t@A9pZb03h*CfE&-X3$Gl^&Qqn-Mhc+}6#eCk9y^)vB^o0(6Y zXs3QA9&t1CsT1wg&%`5cX1?k-`kC{iel34?ebjGc(%x4;jWaxrza<`VGxIgh@HGCG zc*M=j*Eqw|_*>!;H#496w;n#M+`nZ$x~km2WfJcj|4}QNnQfjC&wX0{)T7NTag+8w zpU-%_>0{08TD^y09(8&XpZze2_xarCMgO?}%cS4L&8+|Ly}$JT_ivh#eiJvd{_FFJ z(eHB(n38@IH?#hKLidT$Kkgqh={IpR>;IpBq4fJNFPV~l6F0N|U#a^P>EAUwOi90q zn_2(Asr$_6ANQY`^qaVu^aK??2H`NWY1jS^vMiUFrAVJ~So$CT=GE=l-10 zTMujE{x$R0SH=A^BUACd^~ZfO;p_gHmUzU?%qRcfJg4M0zcVWNO~upvc;q+n$Zux8 z@{bSDwFB;7GY|S!cFAvk z{pyn6R6Na(M}8BJyk_EapBBfBxPQ*naUj4j4`8ht2zom{JN$lp@yhWv5rrP_~U)*PS?rgdL(EPw%<^Drc@ywrlhrTO8_b;|QegAU*p{e#hfA(D~ z<6a}(e`q$kkwLFNSDGc>^ZHfy8AiMAJ2baol=A!S9>wbSg z+^2Z=zUBT!Q{TlDaZ~ZW{LMG?T;)r;U+ur$IptS%FD7wQ?Y;ixyB6=t`6=;;o0(6Z zAHAgHpKv_Z{fvs6w5R#;$Uk9t%5SDVdG^%(iW+~*7dIupsrD>?c*@@rkNjrllmGaw zOMY|xeI>uCc$y!N{3agx&CKUM&nu2>8t(rzuU0*Yn~L}5=RQxolh;p)N8HSO?(^JU z>xKJ2&1Yyl#7)Js{NX8oOFZuXG&7$(@6mjb-+b>KCBLb7njeq+CLa0C%x6FOgLP&7 znjh5tw8Txtd-JpZ;IaRjc*M=j|L;dNqiZf`n(yv6H2AK|i*G94Er)aO|xvp{84MxzqOg)VMdE)Ykh<0%olfSnom4XdZ;Z{te8Lg#Pu6D zoVafFx)a}W{LxKkTPaQZZJ^qA`HJ}sC!V@`&DymaR3css0^f7>w|*R0!f^(n`%S+zR;y=wIy@6b2qmHzHHcfjFc zl)leC?F;(HJ=Olq^*cA?zc}UJ+gZT z$I|tixoVxh_4K+;@^5kdch@tI7woo)KcxSg^M~}Gl~%oeo^wdUx1TNchxC7Q{*eAR zFMni{{99aq*8gVK-=O|)#vj!GFPvT7|CyWjYQ}fGa}$4y`~R^wZPwq?`pw*WLo@rj z(Z4DG=KL+r|J{R|*_$TM&O67yA>-eizs33g@iu+y>QVou@o&!G()GhP+%~6uZIk?4 z?EmGmf17{i!AiqM2zhvrf zt!D~P7&SUqZ#U98dUD2o+T8x?WBkRljT3f^@5x^F)cKQFAEWold0oC`=0{%F@J-e- zPaSA()Mu3R9o5U9I)C)Kx2`_w?Z>V@YR!hpvyLsx%_Hbrq_=J#VUYcQ<(Ty?oXI>l zFTAU1Ua>Q?b@a(cEv(iSm^W=5^L)%O^Y5?H_l~|aa;|&pkesux+Pazf=z8Y&z+Zm- z>)yEgn+Msye$N7Xk74$Qu3uoU8fO311qTD@$Dw?E&OUTY*VUl6+@0HS zcGuOA2e=O%*mX7FuB&Tu$==AfnU5~LoIT@|wQCoy?Ilcok9Vc1Z?LX3^_|Lk&kG#TeR4yqkzoyj=sOvYJfGR}LpuN`Nd$vEpw##v`-oU^}tU*$L} zO^vhC)Ho|m#`&MFs~u;Z$vEpw##v`-oO91TyKgjL(mZyzX6AqVux6aR_giOv`i@%jJJ-~jZ_;zP zZ(LL}&R;vInc4fC8uLAu)#iNH%G#V)oK~Cja{VSx-8gU6ySa6>{l+&cbBEPTp~ombok`ArxVScFovEC&uU%J}v(hA|es!a+ww0!G z&OJY_bqsu6#=5OE$$8-&mE){4M|&MmxqtHAw%pq}d{)R=x0l8D=~nHZk+W(qi=1^P z$ysTVvuai%XPrsTx>;eIb*6Gw9yOJ-(j;fy z@s^x*rgByuHI=i{Bxl|6mYh}Q%zAxdMDGm`KWbvm&F@rU&gvW7o44;?Va|ccBHzT zC!JAiDraSHm9x@(wtD*;$JSJcS*bJMva%Uncy&!q-h-`Lx3jv2G5Vcr$oZD_!`?m6 zb(2a{S3fFEUHzyu|HpZ?CKdWm@fxY7LUkq;sxzrjok@l2Oe*wG@2OowbtV<6GpSIW zNrmc6RcQR&c+Fd}hAK@}sM1u0Dos_W(xgIfeqH4nsx+xkT}~=gXHua$lL~zxu3^-y zp*oWa)tOYN&ZI(hCKdWh+?P^Qp*oWa)tOYN&ZI(hCKY-tu1VEYsLrH9btV<6GpSIW zsS3^R^>F2JsM1u0Dos_W(o}^iO)7LkTw|?}*>P#wBXHua{Z>(KIbtV<6 zGpSIWNrmc6D)j9uYAaM{QlUDN3e}lZsLoV{=C;0|vO<-nDpYBzLY1Z}RB2M715T^0 zP@PGI>P#wBXHua$lM3nc)pf7!D@`g?my-(BnN+CGq(WC7Tw9?!lM2k&kG&RmjlexLX7zbBIl14YuD9phR@>Y6 z>N6U3z2#1oy53%+U%RTS?Vsyzr@G#9k4s%|@6dYyb-n%Xy2Glfw{dsO`kHkccgNJ3 zy31g6`?eM9HgeXP$~k_;J(W2tO>+MEHMKeGOy!(?`gToK|gw)|uq2J3ElG&Q#9IvjcYl)t!;ZS#@?`4b_?4Kg9RG41b;w_blmK z+v`letADr|_blnQh~Z}3vs7nt&r+2c_bgSJanI7DU#=Kun9Gl=G-v*PmkP7_*7uvy z%?H$&pW43GRL*g;Yh}(#lbn06sLfetlJl*P*5<4;xgYG$4ynm`(iycT_k%s{8I?IJ zO>&;~U~SGilNEo#;Watg%j(QK4sAw%d1g&cnd24r*P73&ImS2SJpHpZIXO&M9s3ZQ z#mC#nHO-E5qsQIdENixFmh1n|?f$!2HebG(ZB}1t!}qA@TL`w{dsKGQceL?Kz;k=< z-;BQ}N#XAKI$qy;#3?L_Z*TiJMt| z9iPI}@v9{saWnJDL*2-0G7jQqR=*G5Qu2OO?*`F-NM7P*mY;r-hyI)T-p}a2sd#Vw zKD}$nt6x%&{E)oF%`Cr;ui@$V+Y*nsnfc_QZsau?2XQm2pS}q=@?QJEl;kCDX8GwS zdFa2%x+88X-dn#L?k;(6)UQ%0&j^y2xS8eG`5`==KU(4uH#46+)Q!9*;~;Kk_4~qQ zC9l3oJMu&F5;wE_^piaF-(=kpHx=)#-*-kO?_Fn2NnYY+mS5+$=(o;)E%At(nNJ?- zMt+lV5I3{>>AGX&z4OK?$xGbK^3zZ9(0`M4N8D7rw|@71w&Z-^mkkGPrna@-rwUtID-@)9?*{PdGN z^xxFFi~gI6_ttOu`6chR<@hy*Za#UE%At(nNJ?-MqZO~5I3{>ttiL6 z@l$3?en?*8W|p6Rl864AT6fWZQ}J&7^gWvG>%W;RUenCnp|$sC+W*b(-rYppR6O;+ z_2c53-#)YWrsBQ+pKe|9Ua8|1`5}3Un@i=t^@ft)yi?z5!njPud-IczeqW>GuSvg& zn@RsiM{J0GkJkKPO7%P9X43!I?n|$1!Z&Zex%j5yef=N3?D~@T$i1c{FL86J{9n;s zR`lOg-J)Nn;=TFFOTSOQVoLf=+)Vn_B+M=jZC%oBb9vPRZcyE64(r>N5mh_vrne?A|qTkG4OZ7YA zX43!IZl^1YZ$4*L@lD11`p-IxyqfQp#7oVg60Udwtd!d6{pMyu{6=^6!6M$#4GR z_e*|L@!tI8rQfVSlYSF7lm5s0QU7B8O!YhBX43!IZqMzCZ|?o!;+u;1^*`1bd6{pM zysSTSsr-B0R`Q#wTlC9Ryf;62={M`oq~FBNr2nx_&RAdO&wTeoW&TXX`|^kX-pTqi zxps1e)}N_(ug^LoFY|4Zm$KE|p)u z!W8{CKYc^VZ!Y?krUlP`$xFXker7Hx=*APhR@X`ZMV_ zaWmT^Jl8x5jT_m$99h%Qhf7A-zvVTcwhfxospOMHp$ESGndM*`b7WDA1*KX z&7^*jmwvPUO!`fK%%uO!)A*U?{MqtZ<@`A|)!sM$@VC?XQ^(D*`Ba@hd0bQRUSI1h z@@l?Yl9#x-RDS&mT;w-@x}1N)Axw(8X$#LcAtv3}IQm_Jkfj<}ih zKejtX=YEc#<~z44zNvU$|6`qzm-#ly%lb2y%CBEgi2SDN7X306@6AtM`px3^(~FWy<^&-~I+W&TXX`|^kX)yeuZzcE>VrsBOm>x{h2w@F^&=2H3p%cZ6N=GV0z zS^uWuz4^&Yzgd4K{U&ZE{f~K4|6=}3^*iEb(*M}*n-3P>{BIkIZz|r`|5#__Wxh@F zvi{7a@~b}4fAg=eD*4T%evy}cv;Iu_O@GX!|1nShGC6;mk50~?rs93$4`27R$MMhn zC!If;e^c>ZpLIrF=G!DMadWBs-Alj*59nDc(1Q@7I`(_Ey+vVTq^$_ zCzbx2`)WNhE>rQ|{N$zIT7NC+H*quRKl4PtnZK6mcf`%4|FPXmKUaM7Wd{`BRJ^bM zth30g`EE&G;^tEMRiEg;`SWL#{AN-=*4Zrm*7|Enzlobk|6`txF6Yl#^Vo9!oHZ5i z8-Mt}rt_zs|IM0j*7=k9Hx=*oS!d*BzD@EHH-KF>-V9e|EB5| z{W2Br%}-wX&H6LxH*quRf6UWIPA~Ikesomk&s4lGfB2V8)}ML#Wc`_n_xh|e@-p8h zd5N1#<^RL|OaIM}Ydy05OvQWilb3$8{!IE!+)Vl(^Q8X8{F&-^#LcAtvE3)mEx!5x ztSG*zcwhfxospOMHp$ESGndM*`b7WDPaRtFn@Rm5Fa2iyne?0fm`VR*p1wXgf12N# zoIg#)`^F!>erqz0f96+o{$&15#e03$8F`s+lf1;urSgAia{e{>wHxxAiudLxFa2iy zne>~une;!_kNOw$XR6;3HA$%`>ydGpiudLxFa6f~Ye~O}n@RtfC;H9&wN$?&ZYKSY z?Vfx@@y+e;F21RFU;kNWkyrEGlDx#trShvj(SP$PD@%SesUPcXj(%(XwWQy~&8+{c zFKOm}MeF}vvs1qQCC!MqsrKISpRlVwe5U@&Z~099$|`YF?Y;iSYnvJU{x*KgOKxjM z#7(t#{qE=2WrTjCimA<~xeF=18-6Z@$CK{o{@+-di6qi+9{{ zX6|ozxOk_$!z|v0ht1r7kAAb_0j;0+?la|&4{k=pO||!qU+>L_|L6MMWF80N5jQjc z)=A#m?khgTBW`BC-eV;1xVd3UJmO~NpMO!q-{^w}P5B=*4&tU-ddL6SlZyBGl~dvo zH#7h4N#1)ODL%v_ZYKVCtCiu6xB14D@*-{~zIME3=EgTP`pN8;y!o$s{X^VTygU8{{%6#GywB@+XW|hzGym_dF5W+!J0%`*Gx5ide_wdxC#nwG zE+{YJX5z;^Mmkq8e$E-eWAyxodyh=Tv+;+g@wdd&_``>puW^Q_@wdb$ZYDnC#ADno z)A(EB6E_o|apE!lmhvKQCVq_nkGCn~ zH!r`xjNeo|9X}r9H}M#^nfZ(p?;kXN6OXu=_%Tkk$M{Wo5jPW`@y~9feP8>3%WXd! zitaeBx%}GfsTQ-%?)0&BTxKzw^p6e)Ej?mGPU3 zr{l+C{3agbHZz}b;xT>`kGPrmF;2C|_)U2cHxoa`fA8sK{N@9Pm+_m5r{l+C{3agb zH#47c;xT>`kGPrmF;2C|_)U2cHxqw!`gYCSZ|eH#yC0hJT{r6WnBu0|d&mDL`rZQk zPu)Bv9&t1CzpBsuw7HlAs%rv^DkY|%)Dr)=x@uH{J0qr zH`U%d{x9iy7ry%25|6l<`MSq2JoUFF9&t1A$4~iic;ly^GNrtTn~BdarZvy{Tzvk% z^gQu!*>-_P+U>x%$T9U3ck}c*M=jSN_q_ zJ4ODM$Nf0+k4&{^`NLEGmUzk^KFoabf9;`?-@Nr}CBLb7njeq+CLVds%vb*LzS`GS z|CamfSU}uVdzL>u!{emwG0n)P5S&ej9N!*?*hA-MM&wr%NXI5RbT-`O44!N#2&) zf634O8%*|J@`R_nE%At(nNJ?=pON3xej9nsWdDskc;q+n$Zux8^0R-EzoqtH^0WU2 zll_-G;VFMhJmO~J&wTHin75gKK5t6RTg1&|{zlJzIK0sd^q!rz3(AYQnfT;k-pJol z^A>S4nLqO2k+-G1h?|KYc{D$f-_*QC+)U;#@~A!XoAM%VCO&zXH}bdCyhYqh=8rsh zqU>Hu+7C+vGQs<9Fmyd*nCeMchpM$is1){3ge3@|(%=JMySK@|*G^Zf3q-r_J1U zd%S*Yd8e-B5jWM|cmCmZVt9J}*b<_Zbj3)t=QaJk_ryp6VAq%zV`;Jk_ryK5;YiRj2S& zzm|B!&BUipc=1^!Q(nZ)#E&{1_{mZ~^Hpb+`k9KS^~0lnCLVP&GoL!)Q9l!pxS9FX z36J`jc*M=bk2SxM}xS9A-zjx~R%lb3V(D9e`XDXi750Cnpc+}6#eCmWp{Y*UK zX692TJnCoS5jPV*>ZJClpD8cmX5vSk^j&pPKl9qdO8rd5)B532KNFAonVCV!xAOg!Rd;zym-9`!TjMchpMsGqKtMEy)YN6Y#%6;JDjNBvAZ>Sty?b;6^5 zCLVD!^QjXa^)vB^n~5KFQhU_TloxR`@u|~z$5%!DTJH3msNdLBdse^jRKJ#Zs$cjp z^HrztRKJ$^#LdiCox)T7TH+Bm6Q4TaQNNb*B5o#r)bBN`O8rbe$4FgG#nbxXQ9l!p zx|x|zo$#oiiAUVbeCmWp{Y*UKX5vSk)E@OSSy8+H#46);ZZ*mkGPrmQ75%W{Y-fgHxobV_qkE2pZUc*OZ`m6)B532 zKNFAonVCV!xAOg!Rd;zym-9`!TjMchpMsNes(ztqqC*PBZHOvTgs z;ZZ*mkNTOJPo40npNU7@%zWyENBvAZ;%4GUozx!nGv!6xOnmA$`@C;O{aWhtIuSS3 zp4Bfr)vqO<>KC5}f|;*6g{S(p#3ycMzUma7>emvFxS9CW36J`yi@2Hi zasR`sPAK<3n1{Zy-2Y%I-aCGMH(0Y)&)+Z8dpPC^+cbQaSYs;Q>wiS|8C-pB{Qf}8 z>&|aR#7(vL`rIc$zqxP1q~FBNtp7KCuJrqs4^K(IiJMvfzo`2c=>J!A|AI-siJMvf z_1ZZ4t=Gye={IpR>;HonmVQ6HVM_W<+|2s_KUb7~>-*26|B!wYH2n`-=E!5{f@Yq^gr(N_^T7*{pT4|-*+5wQ}Mp_ z$NS9T>HX)Hc*M=j*Zbe27wjAPTk88p$V}Qup+bpL=+M`i}c7e|XB@5>NTVhnY{FlRg>aZ+XgD zC9kRWG(SH1O+50NnNR*ZbnIvRroL|?#%(H|=EozyiAR1j^Ob-0pjSoymioLm`T0C} zQ0-a%@RYwLp7MteGoL)y>`?NXpZP(_Ybu`R$0NUqM_x1Ym4EJ;_ecJg&%P=0&zWk^ z@`tDVE%B5;e3%k{tr{f5At*T z2qwo5@`TU*ANUZDxS9Fn(eWYjn>ubpUNbp@fynt0?lGhg{RKE(YeCifH)HGpB<0) z-&@LyxS9CmVcqcle@m^Kh?~j!ArBt;Tgr>LnfQ@M>m%};S~n3lll2pM)E@awc@Z}g zpFFG^^0(BwiMW}pAM)Ulzoop0n~5KJv_2xgsdW=^Gg&{8N9~c{loxR`@gooCEyizh z-l8sMa{h`uYLEP;yoj5LPo6k$DSu1OU&PJi{6!u-^0$;1aWnBF59clNo1C}EZzkuj z$fNeiZ_10fnfT<1^Oo|roC1y#r#pnZ#?>#b?a8I*|1^F zZ|E0IcbL)VQ@7@~O!*ACKDQm`T5Y@Siusc^9CP$>Yc{;)n9Xm^FD!PpKKYpSCu_^M zowWI_`JAw~-fqSGsT+>pc+Bdx8;(Eam<z%B-HNVl--Fk-=^KUz5{qgrh@Qhg>Bd)nOoXHYKvMa91HjQFLTt)4o6 z>bf`X{^rRXZ?QYlubLEhkKwLKji>-hGCwNAh1GTS{T$i;t6zp4pFF}nYSaC930J?4 zIzIL4a5rqS?=Ru%7eS|a7w`K^xcXJhY2JaZehG4#ckyv!iM;wX#A)7PF24Xc&Aa%R zljr5v@TPeeyZP}s&WN|(&}{S6d7WfepZNBTOjLJ$Eba5lT^)bW{uIBOsb5^`_=EPT z@b$|%9e>e&mDg_c`W5>1+8dg!pE`f^y0@-A>g~raJVPyEuf8Pg<*mK?s5Kh~J%YaZ zhy2TQeq4Rb`URC=BDcQtXJVc_&^+s|rupYH8S~o7gb&Gk<#h|}f&16D&s$&*+e=12 zK5l`%c&#r{u?xPhZ(g~BP#wBWk!Xn z%&5>s=harI&ZI(hCKakOqe4|?ROoB(sI5?)Nrmc6DpX}gg{n*{G&g%>WrZqDRjATb zh3ZTyRA*A5nX@mbsgTB5X=Pz&V>!&ZP$;ms! zb-n${6}7#+N$=Ly^;WOuDtr4+@2Tyrz8s>ixACrYRc*&leN$y`$4|bkvbXVmwtkgx z`1RX(KfBJ<`+}q0cd5)-X_8ZSwbqTZ(p1jz$ zXJ5TfWzI^IoPW8jHfNowocwBV-F()W@g92Bo*nO@*O|PZU3E-|_p|Fva#kG^B4?e+ zd+1figm@3V&Ln5mF(GnRnY~A#zrkg*6Xt4wm%ogK)ziTSvu*>P_4xVxKW&34Ul z{r|b$e>W@U7k?MR?6UF+c6|b?{e|l0amyZi>_?aLYv5)xKK7bMaWmra3CYd*JFe7M zM&{V?f+XR<38z(l3$FxikoTv(gSyZ0}7PuDk=kblzN zoBsooabKjdGk!7hDsC>$uTQvo{!31MMzFc`ocP>baI14l+*Erv|0e#L1B-7S^KkJ^ z#Z&*+_4=0l<|%I~zNvWXe|6j9o8P>#_@?5i|DDr{Z{EFI@lC}ue`cS1!f*M~3&Ni< z)t>slcyRH}U;1J3O~q6HGOZKUZ^rz@+Txpvr~apP*E_!XnOll)DxUeH<$A?0zvYwn z3V&p(J@r>UP<->*7Z=}DJoQg|UGdF#%@*HOJoV4HzWC-JtSi2$cccVqmdj6x@z0oQ&&D5~ z#@`Z8;}0KZzQ!4z#@`a3xS9DHXLuTaOFZIc<}?0NPAKCyPkUt|~Q|;OK!_)X%;%WTh!_3z>!_)X%;uAMBU*il< z<8O&a+{}E&|C!s%_|4B>TgGoHo{k@n@tb&z+su5%iO2X&JmO~NGfq6lZ{iU*GhgE$ zKl_t0{+7=_E5<)I)t-$%JdM94p2iBd%@13Vi ziAUVb{EPMVHEM4@cF2@?#Ldj7PQRqFQ$O>yH<$XEil_C%qkiUVZ!YyS`~6ZUJnCnX zm-?BRPo40npNU7@%zWyENBvAZ;%4SkzjuGT)X#kH)un!>;%WWxsGs@Xt4saNe!tWS zkNTP9rG94SQzty?XW|hzGoL!)Q9l!pxS9FX?=zn(^)o-O+{8`A)B532KlAe+F7-3} z{Zc19>SvOd`k9$eo$#oiiAUVbeCmWp{Y*UKX693;?|r<~&(wECMg2_0)B532Kl7i@ zEcG+{{Zc19>SvOd`k9$eo$#oiiAUVbeCmWp{Y*UKX6CDYGtWLZ>eur5Cq(^bOtokA z3s3cH`TP^2e)0?Z{isuTs$Wa;s(z6lX1?kap6b^UpSYR%s#AEXUrRjVX694BH)`&5 z{%E=8HKl&0+SB^sQ$KUfYf9bBe!tWSkNTP9rEX^CQzty?XW|hzGoL!)Q9l!pxS9FX z?+=bB^)o-XZ>gWDcv?R^>Sum%-%>xb-!FB-qkblNsh^qo)CrIJnRvv_%%@Ix)X&5t zZe~99(>JNd`ZK?}Q>mY+cv?R^>Sum+r&2$&-!FB-qkblNsh^qo)CrIJnRvv_%%@Ix z)X&5tZe~99`_T(a{U#iZw~G3iw5RpMqka?0i~5;~U+RQM{U(gOs-Kzq)CrIJO&Ffy zX6jQXJnA=Lc#4~;ulmI=Iq3M;a-WAv{meb}YioRi^W^=f&h^VuC$&?*@ZmlWmAKjO zNBzQ6{aTWj`k9$eoyf2HwZtQCX8y&h6Ta%#5|6l<`PA>YAIJJ@x&HQ2KU3{#{qU)q zx&HQ2KeOL2b;6^5CV8o!nfcTSkNTN-#Ldj7PI%PM#3OEIKK0WtDRBI2$*+wOH`Sij z51;y(mwlns&+PY0o$#oiNnYw_WMcjZOX1MpnP@RKJ$X&yV`aFYNcDPT{G3Ey=6;MSht1s#AEXUrT)AX6CC-;i-Nt z@raw5PyP14B-UTcSH82<&s2L_KYZ$EzVe-=Zf3t<>V!xAO!87UGxMnv9`!Tvh?|*D zo$#oiiAUVDzmziimK34x$oyVGa`AJ*wSjkr1$NIDVx8$+4{abY(OW(`4bnQp|TXi05e8d?`J=Sw?YxwKQ=*MEKrPo)!Rrj&_SC0A;Yn8|9 z->UOi$;#O5AmaypNdY}I|N{*}{xtp2UKkJZ0&x{uYrRp+s` zV151aReIDV*B4tYy}t6T+%LB3UpeYatgn2l&SNDjr}J3JR^7+yUpd{!>ffsKSjo!i zJXW$*_p$m{PWQ3;x9UDt|H|n;R{vI=$J&DRb?VuA)Fsy!TP?l5@~zx2wpx09O5AmaypNdY}I|N{*}{xtp2UKkJZ0&x{uYrRp+s~ z>&w4DwTfThT2+35YtQa4aPbUk`Ek0JX>EJ9+#+Y6{f9e8Za>`l-R}=~{%;)5C3_8@ zpP>%(Gt^;zhC0m8P>1z4)cFaHXJ)I}!SgfN(Rc1mhb(o)_4)ZhAVSa`>Kgsd@-DSh)XQ;z?hC0m8P>1;$>M%b;ouA-%M!&Ri@cayR zG@ikZ=4Y^@`5EkJeg-=~$?<&Vz~S>V)L}eB9p-1K!~6_&n4h7}PjEcrXKy=reg-=l z&tOOMGuYAm40bd>gPot$cy`w3d7d)8p1TFFe;#}6hx!cHFh|$ucN^{u@0+gW&koO1 z)3=Y@F+5LA->8AUZN*n}w|IVrIc0u^I>Y-`=4WUg=4YtG{0w!NpP>#lc=!Ip=VzEx z=4Yrgyl-WGhUQ^@hC0m8P>1;$>QIBv>@s|QhB;+^hC0LhR_14D9_DAL!~6_&n4h5z zHTd52eY-6_z72EA{0w!5_pQv&&^*k~P>1;$>M%b;9o1lF=SK$bKLeeZpTW-XzQz0u z&ZGGm>}Y-lJDQ)t4mCLZuHo}D%qjCT)EVBlGCxD}Fh4^b=4YtG{0w!d!FgXEK0m{p zGCxC|;e9LfGc*tLGt^;zhC0m8P=^}aG`&A#OV2+8oiabe^60**!F?<9Gc*tLGt^;z zhC0m8P=^})@S@@S&oHOV&roN0-^%<9&BOc*b(o)_4)ZhAQ4L0`&KNvD1D%+k!Orl$ z#rzD;qxl)^XnqDenxDZAH8}3L;qx=hDf2Vb8Q!-tKST2{KSLenXQ;#c40Wi1zUO%8 z^__uEnV(^K;`}o>4>cH?hxr-mFh4_`n!YhVx9&51eug<^eug^3`&Ra!p?R2}p$_vi z)M0*xI;z2VtCfT2XP^`FGuRp4x0s*7c{D$R9nH^RNAok-p$7Xe8$Lh7oH9Q{o#A~e z^D{IL^E1?8eug^CkDaacnS&>c8h!udb|c+IH~IX*)8_Wq&2sS<_aQ$1$Y$p17dBfx zb^fSzZ`}ROO_`@HbD!~!X6D*E!`(2{-D96l-aUrpedVE@yaU}|Ti(gLYFOU&yL9pn zbkDf2lXuTyc`s}_c^A9-e#mToe|d+dS+*B*bn2$_y9Msi7f;;9b>0G3tFh!=T&pc` zzrJqbR*d(%w@%!>7S(y_yfZ)dl8O7X!`)Y3HgWeJ?*8f46Zb{K-M`#8arYVQj#k_; zabG;#eb#{!cMlyn;`!_3xUqDdN2gz5R|{*P`}^D4)xsL+-hY~1Ev$j=qxaa=!W!m| z4?Ebd7FO5Q=c}{*_op6cnxDOoZy7&j?b?M$=OxUayRp{PK3|#h{Tpjd#`#Cr)sC~y zWSn&-rBR3 zXEM$@Q{x;R`bgzCD@~2F($qLBO~!fsmutsaXEM$@lX2FW8s~VIiz>%iX=#wM-P@PGI>P#wBXHua$lL|dl^DB`Je|07msxzrjok@l2 zOjT%Rm(wcOP^GB~Rhp_$rKt*4npEhBwY3$hGpSIWNrmc6DpY4up$iVKtx%mwh3ZTy zRA*A5I+F_ByjN|7>P#wBXHua$lM2U!+4A6(ir zKds+}gFmPDQuK~>OUHluhvmJTiT}KXKCU09_}X5N<9M{idqETb`BR_Ybkz4EULL>g zsNaih;x``)9S$yrsHC7{%w{Q2eSQ&8>S@xq`k*4b=!6KLVW6GI^N%Z zdxi9y{O0rDu_@gPZ1gvs3CCYsAGK z|FOq@d@Ft-{>*O0hmQCApXFK|eM;}bbGyjP%Df0#Ko^-*K z_>=aY{AJwC6Lr96+@|AM{-+`C@zKP4BiejNf!z?8(pgNK(rqJ3EiZ!8VZ}pMI3baeIG$#>+V$?t4+`zv;Nx?f-7w`r(le z@_WsU-*jB;@k{@na#A7Q>{Z2wj`#Z|ub%%!e%3zuO~=Ka{H5<~M_=*igX#EEKHK9{ zFY=p?i@o`IjzS*D_B?km9q-Ry>h|2*3h}6$>G)Fq^Yq)c>;v?h{HEi2yl($rIGz7; zejC51kl%dfoNGEheovpzbI-EgA?HHftJ;$NVbb1{zZ@&b$1#H%Zh!HVj*Gp%?i!5! z4sLf~(`Fru?Bd)X*w>ZKHKBdcaEc`<6^JRw*HUY_@?7xug@`-8bj(& zpH0Wb)MtBq)+_U8IxhD5oG;iOvhMIr$HiXXb%U&X=FepOllIhSd$uDl=Nr>;vFrcL zbp4n81(*GX+{~HjxY+A+exRR_=RnMz>G-1gTabUn4dvJesW<&FIVMlqyZLqB;`Fzg zImYt(i+=Omm*ZcdO9fj15?^qWyP4|Jm=^ zeslZ3<6=+#QY&5~P&1xOkl%D%?Dd%|#tf-F^)nq8Q=jeenFIC%({Zua=a@$x$oA}q zrsG+D))@I9YmfY<<6>`quT@Cx@XgLz?)BN<=r8OXZ`yH8+EX8o?U*-?U#8=Wj$fVi zQ`X%!%M0;XyQbsW{5vmX+|=LXaVG7({b${=J>>Ns|27>Ldwq@@YzKMWN&QX7GvED& ze%)%~PuhF(m%90NGX180rsMtji@)c2g?`;@Imjnt|ly_-Q&W_U31QW4%E<_J7my zMeAol{_gn;kK<@z8UJR^Umc%q{9p0tGydoej>qG4`~TW*{hQ98?tqWyLT0C_>v!@u zjr-rZ))@IYAJdP#|E2Eqd3xS2p66pSKi&MB96x!U&9TDV>YNy}_NBr_=kEpm_xv$$ z%$MiS^Eqkn=3n4@{dSHuF>bHtNqdj)Ir4m!wYbmzrQe0|@9?)S*UvTn?q?bJc6DBL z=?F5<=a0%-oouVVF5Z?ar1~ayZF|&)rMBf2$Yk3kAD3r9J)fc2OfPtDt-sB^Gr5_q zW7{p-dNZHASD9J zpYyo8n`O;*dM{^LvrG5i%?|VPZ#!n=nsu9g*T3K0d1?3P!k*24tWUH1?@4>l-cim* zoRQeG&F;U6>A$Yu`6b24su4IE@dvyAF45vIG4gHa=TF*j%+bfK+3=QQRw8!a}tN8m5J5BkrOO;n~Q!U*-FF2y?cx~}k?mHzOaWnIO=9J>CdUQ%W z;%4R_cy93yS}`RaaWnIO^^oEn{;etTh?|+e?%3j;c>k1m#LdkA?dKHl%uh~zt7=%Cn)59yujv75+>;Tk86qHLIh&>i&}NYkzrg$^&jG zaZ~L*zOG=XZut83y_N^uQsQRj>sQ{w)33j^#3OEIzJBE`JpKAxOFZJH{jKx{*^23Y z)qZ~3zqzK8#W=I=CTEf*x6?c3{4KfNsb^2O+q&JqyJykG$I-_h8P8v8Ki$o9AKaQx zciUa}#>Jl;UUU{++-H5d+wO*;u0GvucikHof9iONy!v#v-3>$CGwy5Mb#Gk!iRC5o zUZ_cJ>%7=q;+)RP+4fAH3mmh)te?rcSmLvxtfQa5lQZ+sPv^0w>rDDuXR_`Wn@gM% zx9OY{wP!6WdrRl~d=szVIpg!bn#ps0Ue}w7caLV9_&gWm^|fiwRJ`kV?k`~m%HQND z5wCAJit}gcpIv{GqxpV2me)n5JyY>sfBBEgYZI-Xc#Q&8<%YPq==#KhX9GN2;rPPq zLX+!)#7)J!`4{+HgNx&no=uo|#Ldhn53gm&Z}M7;xT$z=ey$7Q@odJ#>s~ino=}BdSm%1uRY?Yyxfx==MFerJ>oBV#eThF*S1$H zSIkR1{*+@j^BAkwulJ+)7s2#SugBwWgxrH)5!<7rUbXO7#LBDUm!7qWv+1jmwr=HH z^j~uLCQg#4)Y^N6D!2uGD|^&XXR>zjCYCq@E!P>SyTAAxwBR1USgraW$2<{SKfA}U&OHXKy0Y^8o)UY_^m{st5 zE0;f0@oxSFJ~hUp?j{~_)BaXkIN34eqy@(idQfLh`V@Vh>_w`1_AH;C>Y0kx^e;@- z%9ibYjJSBO9po{y#XE4~EwL}GoKKFus+;$X1^4ewuAnr!N21~1u>0@LTw&SlzNMbV zAMF0SMElpqqM(|;42?wd>0e@7jQ`p%xN{et(- zD{8;sxKL5M1^eX?e~GcDYftBWkN^MgYp-+fUc0tB>+S!uwdd=yn?9>?hZ>1;eE2hWQ?7F;P8z-;9bCd9~8MdfD8?_FG)`u(UThgCX&yG3vylzo{ z^sTsq`@_eV>TbN&+7$C){0+T1(WOPJKS&ZHW3Ci_jD$$fzOy}OF{0aVXQ^VhGa zH9z#8UUP}7KD@qPeP+CuwduFuF5z-Lc;XIzAB^iD%WiJAe(L<%H5=Cq{f=brc4~V) z@LjZ*UD~>X-$mn7UY%YK%>3pX+RTIBgF9YF*0$CI-@kkPISYC{(Ego^+RTIB!TSRp zf7@O!eg|)f)%9Cz7xa3ut@C7d<%grqRY!E+|0}PC^-1Sh{kN=H**qiuy>0Wv=BJw7 z8oe*pz9!K#f@S4s*tsUCLuKcWV-okgnw_TZvx&~&5zwv-itGJCW^SvNR$3A@O1^cxm0Tb{>e+qdqJk-VsCz)1)qMNW<`AO zj^(~#({VBNdFF_JlKQ}X$EM?Aug~_c(ZJwg*Og}|rsHC-&vhoA`9q$8bKk4!xY+A+ zykk3v$GOmSe38H4+6mY6KYC>O+=0F$H|{Jk9T&U#7x;WmhwUI9bub;zeDZUqfI2Hi ze$#O=&Chn^$0NV#c;-J|edlNbc_z-QJJWHoH~)$oiVyLaKNEk_-s|(~kL@5H&sI&x zv;6d%XYlaMZA<@6$Hm_K^pEWz9{o2R&wTpLb`X#Ln~rBb@4fTN335)*yNE3v7km59 z{pzeYc-iuD-@56z*y~fb6SQXFx*wMMnU0ISK6PU|h)4ZQ$1|V0u^q&tex~D@Pruh{ z--o<{W&N6ti)sJaj{f7(f79{Ir{8P`@#w$lc;?gZBOWOIUvpsTzv;M`_Mh$OKOX%z z9nXCF&2|uv{+o_xKIaXtWI)~F9G|-|9T$81&ns@WgLoVVO~*5z&nvMV#N#+3vn60>A0AVpY0ew9^*G1&wR$sb`X#8n~rBb+xS1c?thMFKI3MefgHmbzv;M` zj-TxqKOW;Z9nXBm&2|uv@tclkK4WA%h{yO%$1|UCb59wh4~*Y*TujH$c8nj7@tclk zKHIV#l)o*-6uJvDat3ysm=WPfGty$HlJSdEd7@-?(J2!au#B?E9wUVy{pC$p<&wR{C!` zF82DoN6k44as`27j_J7A^%uN%%X56L!ot5$4LFaPj{9otvhwTugmF=jX?vj(E^d(66b(rb6*qfi%yA0BsTm|>za33EYbX-jR{Z%)7w c({Zuar*3Qq8872E9nXC7{@jfv zKiku9({ZskKi6d04&ssDbUgD}_k6w;vfjyWI=<+0uM5^6_2T|j$oBZA<6>|BdA-bb zkmC;HFdff)@^a2{Kk)IO<6<}ef_qmu{`{HN9OT_2jvuDuVy{oXb$u%O{~LFeyr$z~ zug~ixT~m+OO`I<{4w#OMsn4fmcpTmV#Wx-Ir&N}ek-i<5w z@m;CUj{oTLa@^Br%@A0Bi(8~=(M%5_J`_N;xA>yVT7 z-uygoV}CLo7kl&LalG~8u#WMd z<6^H*zq!r|PdcOY-*kM@_18`M&vxzy{UA2XNpX=6~=OEkD zZ`1Kb=f4H{IZv=1^m)^CJoA0s-2LdD&$$jhY47bn{bf7I9Wk7;X%j6ZvF*#F!Flw50{nKjUUzi!}p$;j*GoM=Lw$g zLiSt6VLHC(`SXJO%p1?wAkX_&+%To%VsC!d4BJ6`UI&|wXFjhxdCmgq1MApyTrFq8=$`)_7kl$_+&t*= za{PRa#?Cr69T$83?*8uMhRHgfwD z|EN3rpXs>R^%u>5*@`v8AH-+eroz2Gc!&Es?#Ig`7!v@Wb|(0rM+96 zkDltzoXz!g(>XjNW>6cO*+tK!>c7JX8Di4ihGdbYO(Gqkv`tOUL8kvaY4#U(zg zvEBUqsT+>pc+Bdx8}vcV4U?PZeV2-QI{hvaj!69R>cr#-LEKclcQ0X^ztaXBUCaj* zBW^0*>vI(O`nqy-G4Y6-ig*15_v}CUN}bttfBDniH|6uR&k;A(-s|g=t<8I{)>V%A zDS!W5o$VDj)!ystv#OE*5hd?i_nnfw#LX=K zn%hg>w_H0Vd5N1@{@>fXkDalLR%38d0@>Qkp<_X*A*_z^};=TEIP@S(t znf3n_pDq1=^@UT?Z{lXw{{u8n^q=nnGU+#QGwVO=jDEBJO!`gS%=-T}<)ZE`yM#>oP29}-&pM^wtY4FU6F0N||3|s>|08ltauYYR{{O+frQdu95&ehs zo4C2C{|k=aFV?Y>Kfbxb}hC+&j~+QC z&y4vq)gJxdN~if13!YhYzwMzoTe2n3X!N%QkID7^E!*5=);&KZDT;f^<4;{qR(V}c=CfQUn7-PdtluT(lk41i*0SI_!Iqhv zYd&4|`;V-Iy54d{uCBM773zA+8mjBKr`>e%6iqTH2%MK=) z?o)Q6P|IfB5Fl-B{wL;$6SPsjqHZ-W@i-tG$@Gsd%^l3w+*P z|IfFTclpgPuPyJon~L}PyvDs&XCAI^n>-G2Q}JGZ#SL-9313H^_Hl^wc$4;CpK*Tt zxH5i|yVHo9iud~Tlh@ol8!~zAOx#qw*XLa+2qqf#7)IhpW_Jc?wdT09~Ua# z>+?N7Tzk>;l$JVcG{jA{r#@$Ko&%UXo*(!Bu=hStmsI7sXPxhZrfJ&-TSUbUq7wNd z61r)ygTw$Lq7pp5pvowN5jRmVg#>9bbz`*^FKdiLJ6-(6L^>ePXX z7xnCWp6)QYQ;*J6Jk>Xz@}`~H@9qcQ@5I^v_41;g{mlL|*`Bux70>GFCmd;Mf0L&R zh?|OM^=zMhg1^ajh?|OM_3U4s%A)_6^h4ri>nX2B`?=r!^!C{QAahs5%~tKoru=IIFLy_mx?|L@B* zU@LC6=D!+x=5zjc)t&Y-|9oY<|79wk_2;_pPt^a>n{0=;sd!P(Q?>MalkIrB(ATl* zmb`PLQGV)qgS6D&{7>6r{Y}NQ{^&ob_Cjx7r5JHj@vNTmU4DElzsYupn~G=k+==D8 z`;0#(XDGx?#fy6SDSDIheDr3k|2Nu?_0CZ4K4k)C;zRzL ziWl|Ad?7w1WU?J^7b;%V^Q}1i&GolMy{ULnkCvx1Otyossd%bye9N46x<~g)(3|&O z5!=sHJgevY108v2q9bmW^jt5a<0&f>9dWayr~F?&EtcQ>$|qy_O~s4lM@RWhbd=vL z=_w~V%5S10ZkF`CZTxfEUwhs=;+&+73(hrfxAxLMMZ zC+Nr@6CH80q^I4spB($Y$?pOYHx_4XBSv`4zj{2JDh?^xnd4i7mn&^m|B|Z6rj`J@Q z9dWazZ+y#c#rv!3Z%&PR^IJE^>j_iwwEkmy=1q7a-DEr7E^N)8H1ymx`aeGqpPw_C zcOh;np7p1m_k1Ci-^8D|sd!QUl{InfFxif`3l-1m$&>%GA(r2y9>h(>i~7&s67$bw zJKio-JgcYw@-*_UXN<^ph?`oT)icg8&&2hodB-7f{4o{J>e;`{YO?=L<`IaSif8rA z6L8&+-efz(&DQn*SpQ)?p1(BlrT>_UXZ=|ZU-q-fc8HrLf6DnJgX;f(2>U`F~Pt+H^$##gFif8rvzB<;M@r(L<93#$nRxi)$X(ztbgwA9;Zr6Hw zQSY|`m~6+}g{^N%HO4Q-ZN3f3{xjJQakKR;$uT`+7yZm+JKio-JX`+N>gPOFzAN#rawQJ+~u&H=f z&vgpNdD_cl9)q~4cveq6-=f^1{^mtH#rm6y7xlc21ikrs)t~K}if8p4cllN@=Se1S zsU&VHp4F2d%ze`KCSwtCQ}L{xenQ`)|Cr=5aZ~YB-}sg!ns3zkZ+`RF;7VgH+)`w}-5PxX!G zhsiVc6S;13-9_9~yr}0s4gJ+*JKio-JgX;9xbK7B^nD+*b^oVPe$HFbQC|}sakHeS z{n63iO!9!ZS<*AcbKUmbn?{^+{njWyIm&%1%5PE*;-=!o_TxSc?PvPB%Tzq8$LF)B z$Np|o4wtK5p4HRNzHesUrnVq%w(g%b>d$&NsP5F?Y~MdqJnPSS8uMo4tBIbt*_uCV z__LpR?tuMo{wKwVo2};$8hYkE(6Rqb`U7#Zq{m0kmju1Zc3iG{dA9zvAJ-|gpUHhc z;-=zRJ=>?>P=AwhxLoz}tRA1skB{q{l*8q!muK~i4_vP?R++#4;W&Pnt?R!=`_n(U z@5p#>QV!x~>;7Xy&+!Xij=d(n#LbdF<-hp!s5jY;>s2o=*8hyB#rm6U$J>R9XZ4ix zZHGjE6FqTL@uGg)_Lx5=+wpdx;#ocI#&MGVZgSm5+*CZPXFpMI_Mgdih?~>uj}Ctm z9pyGldSCx>oyPSaA~e>N)@8zBT9jCOYC~>;844{+xHAqrFU?6eMnz^pte(mZo_H*sXF#vK-!^c!StEb;^?L&P{UpJbHr~1bC2f6O?d8hfHV#LkX z`Da7_)NP~lHlM$tBW||N-x_+_&F2lK&l}9v`9nj$`i{xRKjK&XARd=5Z(jd4^j!CB zzAKJjCgUb?Q}Jy3(eC6a^)Q`xrs74t`;AHealeL&XZ7rVKCEZ5?}(dQAa~v|kVZhW^LU{~F^b^>f~t&O5V}e~t3byZ`6yfAi)~-M_}h zFXHZprT#~rDZfI#o6bAa`L}Z7_sDoF2)#&8D(bs8o6p@^_ttuC?XC1%XRN(&YB;}1 zo`lbDne*T8oH6~)D1KK9VsD6Gr*jpjEeeOpNVqg`TplAb1=ac#D(>lv+m@#f9V z)|jwuW*#!%m71_N=Y@Yf`MXN3wKL!Eo3xLnDA@=4o=2~@)9Bk0=$iYZ)hF5|rA3ri zQ~O6-H~T(qD`(%oZDs%cF?%m*drs;xQ{IT9UoSrA+_Nv-bm3X&oO{-$ElZovKI?+b zdNa=2!!Nwx?Qc~d)hP(i)}~|Y;N3^+9Oj5>@IH+Zrru=|;-=#1v1LrJ_mTv?so!D^ zdQ1XZ_Kia(C35uRSs9O~tc%+6iCEYvN1XoaV24VWIuZUwnV`HxAUnUtHjSt>v6_v!CMfAjXO(ce@&>yQ4=u8Ml|^Lt0Vsd!dTJK;-tO?-)) z)BH6D8v394+0&!Hsd&~OU&>AUnUtHjSt>vE|A%{{zxhuaqra(m)*t=%4vc#9`yY>b zQ}L{xcEXqPn)nhor};nfVDvZt@#^SrDxUSnmvYm7Cgmn>mddaC51#w!;6LPnFADwx zQ_Hjd=%069)SCx?H|kBrvwF2t@Kt$-#Fw}^&42&PqQCk4gQCBwc-9|Z%B}Vrl5!I_ zOXa8jXWbb6%{Lt!{Y}NQ{^&P88ujLx?~Hm=@vNS9!k6-z_!2j#`JZuH^f%Am68%lZ zv;O!}ZrabJ+{DdN`KkX0FOUA_m8+t^sd&~O{cjx+_2yN#N4=?dR!=+OOL zKXgL$H$VKt=x-{X^~aZT(|#u9CT^C>PyPSvJEFh&Woe0<@9w*!-u&W;QEw`q z)zeP+QeG2Z;^s8}FT6kcn}4A)Q7%*QtUtb#oAxs)H*vF6etaG~E&A777~CKHO_pc< zrC(TF5%fbYyCUjMEzjy{CwwVy&ETuJIn}>f6aCGdz7YLQ#k2nM4dqt*4N19)o2Bwo z{};YI`kOEMV)Qo^&-$Z3{HmxokJvlvO~tc%+6iCEYvN1XoaVpb^yqK?+{);0DxUSn zmvYm7Cgmn>mda24&pR;so9BN#`kRVp{n2l|H|os`H%7gwcveq4;Y)cb%dh;XSje1k@te$ql zm-3qU5;v#$Uw=^aH*dHv`kRVp{qd#Tw4X`2iJPVJQ~$3%8vV_`dS~=E70>#kzxT$d zH}5|<>P^M7dfEwJ%4_0F+??kBwcDb+oRr8JgZkb1z(kSNPLN#)BJb)Ve~imxGDOZif8@trQB-2 zAt^U;vs8ZSfArna-+al5(ce@&>yQ4pcSODUvd5y{R6MJvo$#f+CcebYY5p&MfAlwx zKQj88if8@trQEciNx6xet@1bC4a~hy-owkgm`&c(OWagE^>65zH|D*z$6hhwr7w@q zwwPL;)oX@y@Ra8U{~@2DvJf}5Jge6;4TD##3jRZ$^qp|8aA0bARadfm!7h7_ z_`-w3wQyx>d8*e;`sm%_|MQ$MPgv<1oB6^(?uipO6;Jhz_QPNA0UkW*x)Etl;-;3T z`Z534o)~@2ZQG;2sd%a%^Z&hPSA#XGv-#0DCs3J+r}{B}%~OSXo7byPP=8bLR6pkb zS7(N6_sab17sdLUil_Q9f6em*fAhYRqQ9wls&D%bRz6$})*e?4x%!K7F2vOGR6pjg zd6M8?bFkajgTKiR6NzU{h4RLf5_waiTO?xROITwy!HO*Zz`VZ$NY7j z8~n{bdMNsvil_R<{R{G*`yQK49+CSF#Ld$E2lX4?!#+5F#fVSW{v>W{dC~usdqsbf zd3*d##j|?#o9cBRjsE5v)MtpBif8rsynjXXH<|Y)ZYrMDtKU?=^3LdQ{<`)jaZ~ZE z9v|k7X@8S>W8!9M{+KcT|F}5%n|D1L`cq{pp7m$kW!@EklX+L-W@-MF{rq=2-n0MB zhm_02O~p(8Vct^yLo#nE|1f_EOY@hE8}h<`$n|%}@x;{fqCfL~_?yi8;cJ%W{}?x3 zw|De6PnVXssd&+!c{BV?=FRXoOY>)p8^5z>^f#})Dvl?n;#q$k_rkmr{>(o?=ADR} zrTHh?{?6}4fAg*jhU}|~EKg@f` ze@Ny%@Hb2IAKK3ghuj|h&GpBG{l8!;Ui4?)0DqHt1N_a>{DJoW!bP`6fAf+f!v0?{ z70>!Bx59Nd{#<{<8?OmDH)QGhTl;_E>MNqZdF|@3{})Wfi~d}<;%jo+g>K<~LWw{ckE>@({)|O~p&)5A#0K56Qfbwj1Vu;Ho3add+X(ALc(G^B(9-El>R$*AIiw#kr21 zb-u=&hdB7;oqE#ob3+o(>Q|l^b-U?&8@(9xikn3}?=(ZlyTED&o#JLu|ExDg-M%^x zMlS}P;$}%d*!k5#H&}kpkc(&TR1r6e`rUM`E8oGBHxC(fikn6KUR$E>r*zH6cEq4l z+$`$%{Xx{}9(~Y@L8rJ`)c=gy4BtbS4;gfdn??N*yGPy6>FHRuBLJ6a)ltW_ zI(jka6gP|dSMDEmC*L$=&?#=V_38EZ;5Uw~s>9z|4SrMp=8>mWA#N(3_Wy>STtWA# zYez&!+$`zwzfQS=zj?!f(ce_O=#LJ66CM6$NiYAws=b5%kWYRz_zz4iFZl6 zIQS3wGb@7sqN(L2|Dcoqkm%$e^su0>wrc!PepVOlG@|l0#LYtfR{w3^sN;J{YzLwv zZkF`;D?fw3sk{yTW+8ur4?28JboiSkz5K~f{D)Nj;!pkt7V;OLpp*ZQ=!lyoJwD3M z;BP8#gRfc0-{6A|e-j=4WG9d3 za}~ya^FqxZ5H}Ss`lG|&M2D|g(&M9d=LUaM-)9K^rs73^boiU-@Hb0(`45g=7W{{N znXaFSn_6D-4?6h|iBA4O4@-J{KJk~)-~8iGMt@WBqCYzPO?3F0CB6I?p7GJ(KjgFC z75o=WEid^8o&1MHC;y;_B|ZM{xj6cpzj1Q(Hx)1Xqr=}shp$=E z{)}^sFJb&Q(GfRGdX7IDAHwm+)VLA+&BFK*e9&?HG11{~mh|{*d9)b@}F5wv}Hi-PZTl&$6xjTFJJ!UQb)%+^rWctzD~OY}CI# zux_k>C2M(Gtkvo{$y!z2UgfpYZMAw%W?T8Sl5Mqn&g5+s)=Ib4>N%Nh<=0BK)$Tcy zw^djx-BzpTWVV%GE8SMB=VZ2(Un|*G+P|j$KJS{HkI_|J_%O1CXT$uCNR3&Y^}8(B z^3 zb2qJBI{)m8Hf>qAwDuA`8xu#H_Wu8W-xc1U;ql4se<=EOGw69XO7D7U>(?dvLks?c z6<1BvcPhW%F_g4lr}A&9pJPq*Gnb!d94F{ImH*wNBW17lzqWpkv`_h;`N^u9pzlUoIq^3SY4^qTPg)pq}xS&zTo728|?q5~`5UEEubzu%FY z^q-l_fBdcb?UV=R^Z)d#`|D3RCj8b_@A@;B{SU|X_hT~+h=51zYkf4%nq;Es9~3S$p)?YyS^UeQ$p~{{Pz}{q@@agR8gq*YBaUmo!V$Oh*K7YT9I}6ZJ^tr@sJ~wOf8nBi`s)u^T`hd{*ZS+V{}+Dy2mST< ze|2+zJ^TN!AL_4{|KjRb_t$IxFYZ#mqp;8M1OKDf_xIQSUwp+K{q=eVo8P)^kKZ$& zfBdG7e}~O+{QHy|Z65zWJ$ycY>aVxo%~gNRrnL1lpFdFldHkvWJpMcO|HSL}PW|7% zv7}w;>z7XZf5QC1%>L~EdHmV`*Nq?lXZ9!m_0IIU`u{xs)PEj->OW8WQ~!C|pZuT4 zf5-lxfB#RIKkC%~zjp0>{eK>R_WwNo>i>gPw~Up)OZ^8=oa6dO{eLch)qgI3@_(N8 zC;#VZfAW7G{~h~(?)^V${<2g5fAO}l{ONN1pUa>AKaW58|BmtNzfSePbdKwP@_!zG z>OYS^^`9_*-KqZbv_JKq$A8EEpMU>Pm_P5d|37imeEC0*Kl^_kfBOHo$LBvf)&E;_ z%zx4U=kcfh^Y~N$dD>sc|GC+{}OYS^_204o|9$WO_pY3;{_p=kZtnUp(N>vGRAx|Hb`3Jf`nb|GE5C|GE6h|9RS<{GX@&$^Uu$ckKVU_y6M3 zO=JDHQ~%$%eN5k}|Ig!3|F^$h^;7>2RQeletzV!TeB|Zf7u;6q_uj$}NxlA%H&n6w zv+MN>LL>d!?t1-l&PczmyI#K_GtwX0UH`~~iGF=&{XoAUGV(vHyI#MXG14F2U9Vq| z80lZoUH^r2|83~3U(hcIjQoGLyIyb3AL-Ys1BUy@Gxxs*y+J&@wjULCNb zUT+Xj^y+}!^ox3PcA{4Y?5Nipq!Yb5V5--9kP7+FHzN5K<;tfo+q8M}g=5)2Ma_Gm z6LmZHr>ObeyhPp3{3&X^6FOD5^S-R+&7*uLardY5P0`WNH+##4cUQKz(CT|r%D~$v z+goV$zA0PK`}4-O(CU9vw!oV$+hu6=z$shc-K6a;bn1iQEu!r$Xc+9UFL*y_dkY!} z(=F(IMuj{W@IA?&-7@i)KBp-8{&7Dgo*y}~uV+7{JO@u&+0(P963@%->+9K1iRS~8 zf4Oz~{_Lrg=fbNm>sim9N<8m4p|58@r92l8TGP|BpR#((o;|ZHydR-geg@B8Sr$C| zDOJyYSr*jEIi7S<-L5E9%ZUVMKJq&6Ym>1(fiX#;57cO+SCXes!tlGxW48 zZ*MdePwPLXKj5mUH=n9187eYI#;qyiXzB~Gx z`o*D8e^c?So_7DGN29-~UmObi!&E%0r~ZHP#^`VA7l%TBFcr`0@&BxHh4we~i$lTR zR6MKyoonKL*RQOFegN6;#Ld$FXFbLrbSC2takDi3{Kgle@9&;5BEH1UY5t76_?zS+ z{$^?X#g}s5{K$xuo48pjKR)zZ{7w2TakJEaS&wl8y~(&i+$@bBv=hFR*Tk2&InDnU zPL2L1<0$^7;@SR#FXg8FOv+8%ER`Q0@{anO6b= z7h8hfR6JXL+6iCEYvN1XoaX@tLpK`AA1pcQ{R;ST+~N~ctJn%bvf*7mi?>hyj8LM=J_9t{-)wZ z|KI(7)SJKmj;J>kFY4`U+SmM-_W$brvHYffu`_&3#nbXPuAkUPT>tP3Eaum)jr-7S zUB5K+`~nNQ-M%~`I^t$a-?)AuM>zi6zI8;7JH*Y>@rU&ochQ@SyTr}X_{(~XJLpZu z9pYwb{9!%v4!ud<5jR`;r+L)T^)G#V-J|ghkLCuIhq$SDy8jyb>pvRxH@<5`bi~b) z9-nLOj{YWE;-=z7e{}ep=+b{B{R?h<{PBNYjlWq{3*U|Yks)62kGdP*Wkx;z=&%21 zSx-IB`9`e2x%KwwZz^8!k9z8l9-_nFEa~z8$|s}0dG8g`-&DNlj}BiG9sZ{EE0mUc zb8>i#>ALjIw$)Rf76y#qGQQS!>6oiwt>jzunQeXSL$hp)wPxE^el3@aZGG+9*hY2f zH#|qOWaw%^L`TYM-$BTLVk9JJOAka^Z3*M=kaI%>pH$&{!aD3X8oAHL;s)8pZd?^PyOd< zf9_$-)BZd5|BrwFfA#pW{@bble`U>>zEl67$DjUh|CPgg*M+BD!(B^VTda8cvU9ig zdFFelZ9nm?IhT^}Z8wFx2lBn(Z5Lr2#+>~O7ZJ!3tCRx_lv zw)J#%`B}B%XX0aOd8$94sgHB{KfT?I z+dpA~a->ARmk)QCXIIsMKPsQ!*vfK>uqMm0$(3_N-?V7D;LJm&Lzw(=L?r*mv zN8}f}iJO`mO#K^rd^K+p);Dz>9?D~SUS-n$52-hCvsC{l>$;gaeSTftWGL)!ysVduUYkeswSK==!`gyF(l3 zKlDmIkhbJw>d!R04jSpXq7PT~)$Zq*WOn>JGW?zDlhO6@$A9nx{*m3LMn!FlSY-G+ z)i*|$o$rfY%h#K6WMQ^8jF@rxk5bhlqbzhk+2dQz?ozh9io{hR=Yu)sG7#rti z&Ik4_ACo_yq<^Y3PtZPpT0U^3*36ssCk%h5`s8eZzV19QV?L1&oS%SuOb-Q}wL_93Ib9p2er>An5oy4vK4Q~wS1FYTKXk2UTGF#S93 zpoYHDH|pgL%@qB_+#KbjbJ85kjfuG#^DrJ?Mt?VRbIN#BY=4~({r{!?C!Q<(1hhX_ zoxT(8wr=z_#!9XZInqS>YRe4qw6BlpeYIu!YRgnStLH2j9apU;I^t$Y&wB&7THf!T z5xH6>ZkDc^S&t8TlXf6(DxQ``!yGg$z zZnpYgqx`#`5!;UQDB2LxZ-|?%{?pLoi;lK3(GfSTU(sXMVeINOdA5irMKW^~zLrha z4rjIX{7)>&@JxTg+H5eyoobwBVHrapbb z6Kb@Tk1=wcNkd6>e3;p%UDLY11^sN-kn~P{dd%aX>^G0YQQ*lBa(;hIeGHtftej1# zhMnhs>I{_bwAydV`K9K6#ZkFZ)S&t9bXD0K2 z#7)K1zg(=%piK9Va(&PA9HG`T7yZYrL(e`Ei1PNO-99Z%8R zt2yENX&OI0WA1p0hATh!qS(GXq8?v#Ccfy+Y5uH--b9=JQ#|WW z87cSAy?aDr>AzC>tvlxMsE25Yn;YQK}OiN2fH zjfgLCbDIB8oe=#^+8%#X@of9!OSyTwl}WjYo2~LUa%TDZct4Rbh5L$OY>}4u(`&Zw zQ;z916C89V$7l4W;%WIC`dz;teff4K{t#c{X3M{kKja_Z3?=`}*Pa;j&s041Z|G@b z-t0sFH`#Z@O~s3Pe9@cuqBp1cpLAc;o7S0%XZ`78l$(4p)4o?P&+4rs@6bc^#LZIu z>8I$(9}^vMbDExZLvK=V^k%93@W7Y;ZW2rXP4lPS@i+A?0f_N)SLR2eaJsk@vNRa!@g;7y{2Td0{_$oL z^3S~d{+NHJ;;DZ_PoBJgMeP6P|9VBtA5-z79$)g$#Fy=w)BITvy~*2_(3^^9{mC!N zO}?0vo48pjzjfptdWep=S<;gy=;*&DI^yOuJ?)0xq#e+krS>Dw@TI?-_!2j#`RkW~ zg1-n7nCJnK)MQEu|Zq};^KQu(bT@6bbZ#LbePeu|F#G0_n>r|D@o^d|L2Ze2gdv}zyI-=f2QK8e?w26{KLJm|C|4` zG3Jk{cu|ip`D5bCcFk%2tcTwG$E%~>R6OfXo>6Y{#iZQC%~JWTBk#~dbi~b)o;*QE z|25GOH>c@oH}od$fZi;%A9;o^{oTZuxH-*Vzf2eWP1+rQQ}Jy3<4d{8Ka+A3H(TW& z%b&kHG3Jl?(3fNWn2M+VWBR{+f7F|QzkAf1if8rY8NTG7i7#=p<=@C3<=^0W=Y{+m z^5E}={2Q2Bp87ZR%9DY9UyJ@fFw_@Xzb`R{*O)SK3sif8?mXQAB6 zmmw)PakEr@>y&pv577}fOM3Owpi}+~iH^8AO;5X_H>o#zv($ddv*4@#J|w=x&1wF$ zJN~AA=`r}5rS`{{ax4Faq};^KR{7icGgy0E#qn>*^>>H-8JJq0?*B3Up_(H_Zyv6E z)OF>+R6MI!o&{g!-;nqcH(UOV{2~7~J{t4SJoB9~|4hYG|AwACIqSyQ|IIfY9P`Ii zyr{>Q{4?=oyXG{1)0f(#)SIV$J?c%xvwHFjU-Hkym$=#TZ{!d8_ghEA{4=k*J?5XO zc)SK5SA36S+if8rY8NTG7i7#=p z<=@C3^6&1uWB!?6JTc~vmEiA4G`8VXUD?Dw@TI@k48Dq+Q~haw{LP)d5dFn%HPhPh2`H4`7`9o^FsbCm|C9h|1tfF8=~G^rF_)!Z^2YNt5=={U*+GB_!2i; z{*C-0{|>(@=AU`Q-ZB47#Z&)=p8R;>%VYmHU-ZS8Kc?bEJ-+0hi7(qVr}?uUdh_R2 zM!l(c)}K71+~kW%xrv*l@>@sVp@-;*n3}5=Y zi7#<;n*WB=qrXYJ<8LaSZGU_zH~D8$ZsKOE{A2lZ$n7zI%=O2_{4o_z{m1kN|1j#! zb(%{j|4hZRdh!fk^3TMVxY_b=6&=7k$${+WuW{tZ2Oa^8Wl|C{H3JobN6 z@uD7I^2fxN?V8j4-~3?Io7S0%XZ^`D%1yqQl$*F&D!+B)9eRk4xLMNEPtlP-COYEg zG(GKx-lX2>%~Jc3XZX_JO?-)))BI_7{LO7wM}M=_{`gXE^3SB)#LZUu$MWZ*TVwv1 zmmCrE$5cGs|6}@#FNu2dQspE0XDXi6lV|vneQ{4?=oyXG{1)deue^B%{X?Ofh#k1{? zFXblxOv+8%Y?Xg3f3ChF=8t*p>X<*K;;H|b{;DrTy?M<^QEw`q)stuVl7A+?#Lbp} zBY()hdvA>SXWoBs%s*4{)W4x8PrmwS?EmIpy)*WIQ}Lo6U-HMqm+hL<{J(Zv)SK3s zif8@FGs;cAn3S8iSt`GEw4Bf_wN?WZ?1^>V=A8R|1teHj*oit zTgpd{f2QJDJ$Z&N`Dfxw+-&(b@<;i%xax?Ie?va$_K<&zrk1Dv4ZZSYarJjX{~vPC zts#FFO)W3#@mKx@e~2&JHK+Nro^^1Ko1)&-@~pq|ER1jXoChdXVEVZBVEcmLw4~Z{vbDIBdKaBn+?T){xc((oVrQFKD zAt^U;vsM0f{wyxv81iSxCwwF1&!Va2ssEUM+0{{RuGlB)O~tc%>E z;#q(4jB=ANCgmn>mdbA(d50dNBW{-T^iy=?kBN@BIZaQyp*N{Fdb8AiF)GknQE6JO${;#qxlWfk5ByVG7nE}pqlRVi+=Jk=-p_xR)AU!iyU9T@zE ze9FgT+|=@nzN++WdHCMfuO2nxGgrm9`HahR`sm~Dd6;L^{-)wZ|5Mce@Hbzp{zth? z#WVWo|4Wa?`kTM<&KNfp&*-Didrph~CeQujZz`VAN1wZDfAb5qzo~deAANZ4nfjYN z_l&>Udj5HA|NjrQpZZ&6{@sbOT&Chh|L>{);BWHWC;q158GY~>KIi4# zAAG`dZ}K0K=icNWo_~X_=il1(AN-=)PxT-2b$iEhnOa`-->ChEzsYky_?n7m^wG!n z`OWKVe^c>{KKk(71O6t@J>YM)o_`pt|7XvO^*8VQZY-Cnc+sExzWAHm_r>3A-T!U- z5AXB%e$Q^vf5B9|U3n15mZAAiL&`sm|%KJ!1+{-)v?ee`GE6MvI=PkhbR{O4Hv|Hl=v{^r$J#B!O6 z7yX&{!QW)w2Y<6Q|1;+A>pb(n*Z!vBMSre)@i)2d#ougQ|F-=XcT)Rl{|~u*W2nE* zha50cOIBAPL`U2#>G8Qv;|2ca4F^VlQ}LodI($uZ z_?soY{0FP{4*o+v`O)A%FtxnoA9V5`5}o{m9+vd@U#fgj{fGSJyQ9CUGA)}#^`T;{)p&rDqi$QhrfvqU$dl_|Kb4$2mc{|W<~H{G_}0sA9V5`5}o{m9+vd- z=UO4;pSeuWKM^+-FZl<({D(v*-=K#jJw99B82!x)b^n>Tsd&*J9sVXde9e*`pL-6E z{^tFf|0ixLUi3$Yzljciv!s{L;Mirsf5?|<{)M=yhF zOa4J8{~^)IKj@+L8kSb-*W|)`@($DRu-8Ci!%E(CzDhm7vlR7O@z+7tr)%+E&(>OD zTk9L!VicIPR&?B+II7H{UgM5l3&+-4iKEx5$DMRrnL4(%m8oNEt;EsoRd#f_Xx0C= z?<{p}t(7=>TR2WyYkWVp*2>hewN~Po)^XBWWBYM%+#@s8vAtH}nACCNT4Qx=uQj=j z?X?oeq>dBU8n5Fg@0_KMt+f)zw2qV38n0t(txO$TYbB0p9Ve|dR>y_C>)&%J=3{%U z#4)Mk#I?ri*j{UL9ouUqj!7LSt~FlA%Qw%k9~W9{C5~wwC#^MJ$JSbzI=0qI9Md{Z zT5G(H-(NpV9b0Q9j%ghytu@f5w$@4<(>hLCYpjmUt*7IC;^@-r*wJ1qar9am zSJSm-`i&2jw%Thn=FOzp<(i83s=LfnHSISd>;44qE}dD=QJv2zqrNcJ6Ak4&ea>>e zZujoxeD`R4ow=O9G|J_vnn~@s{ekY~{IgNNo9gNIylc*K-udddV~2fMx98v&JM@(a?KwF0z1_=s<@Mb( zwCA;Rmhd6%vsLAeyE$L+H>)V9rj_}o{Kwm=qnT2b8(lux|j1M-|VJQdoI3m&T_uu zj@doi^{nq5wa*LJC2#CLG`z99p6zMtUvOi13wc|=7X8}vjo%sl*4x9}Ra-x^{{`Qf z&!771z23e3slPsLeW&`*<4^tP@!zrkb>E?WK6J(CHyUT|f9(G^e`&t`KaW5Ae;$AK z|8?VIR;T*^UWfDc_V_{m&*M-1=kcfh^R)kt{Xbv(|0L}Hd+P5O_09jUT{~a?&*M-3 zpT}SQf3WJ7vGRAx|G^VGTxU+m|GE5C|GE6h|9RS<{GX@&>HqWi@7Vuy@BhKE_4g}! z=KtWu+s5*z%lY42{`CKO{K@}!{MuOgJLUhS9p*(Q<^MeX)PEj->c3|-fByadz5C|t{}10hrtg&h^Z2v>=kZtnUp(N>vGRAx|Hb`3Jf`nb z|GE5C|GE6h|9RS<{GX@&$^Uu$ckKVU_y6M3O=JDHQ~%$%eN5k}|Ig!3|F{22eUIXa z3zgn)vFC#B3D;;T0W*1j5aI{NA@iM4Mxt$Y{tX0+N@gHAW!MZFcS_U)#{_f!-x?BS-f2?5C9H;7Kcc zdiGS}dD(q^J^Lx~eBh?Op8b^aTzK_mJw1CW@x0@NzMlP*@?1Pd%Zn9`zhtg_iX!l_Eh4j>!hBZ{gm?Ld#L?9dn)nN_dEG4LWux~b?4+Mp<+?n1 zZ&X!1{jRDy_~li#x85^i9`-Mo`w@J0 zf2`uYt3&cE8y{24Q~d!={o{{6_9FCV+zxuSTU8;R>KpanMU~q5xbWW1nsGb3EH}gQ zqW*xZqTZz3Y}Zsg)gPRef8{rI+N$?1?RMmd`+i4LB#N6_p4IDp+tpL`8{4dJuGuG+ z$5cGkH|nqN@`ifrJGnzr58|fUC#$d9x6%HC&(ZF>%nK~HKkF$Y!u~hC-%Z7{{=1$L z>%B_9)lK~&^(JnX>i^`|gm(^Cd)_;u-ZNSeH=njF`md;}J@np@^DlVo()nwb-o9>W z{nDnTZJyr>-}cd7-|v`o?X6yW?b5nQYrAc=?R{1++jQ1N=U#mF(peX5y-0t?udS@* zYcES%x28U1?eiWU`V^Jh8YM)Tc&<@>F4%JE1jpgL9rdC$-HNkaxvsvW;xlQKn=-$L zQX`L)W7ii`l;ncyry0ego7W{%boBkGJFV8uFsk~S`V&W0vY*k95=DA6F+)7ttI>Nj zF+G}?if8rgWps?{COYC~N&lSvkEwX7pLkT*a8zt>ZwEcwn{ZTUjLLf+8%N`(T|FYBF>$jrDl-x>g0jBJ z-^5MD)ABd`e-uXrMnAS=?(?PCA5Fzm|Hj*>IdZPKRm0u8M%?F!ctka|JgeVpW7PfB zH%3H9+$`zwr|;r#(vOLoif8>9LnuFWH}NHImi#H_$`f_3K;<_n2XRyJ)W305^-(eH ze|?UM8;*)cN9cZUmX3;yX!JYs-K5_UH(UL$QGUjI+RjH)NWUR&w)#&)k1u-K%0x%p zw0=d8qiX3Gy!$!XV{qn(og5E!d> zLT^=T_t-++54?q$-WWn#`4}VDnKYDC$A_7H+BL2FThPyToOcMJsQb)4 zLk6AVW>K%Ve1*?ln}-ZK#Z4Au%ddQ1IPKJMzB}Zv?;XyA7fdbB>hb4%8GrLzdsP*2 zQ}I;aICuTfSK=G!|NOcUk65TG;-;R~OZAQRr~N*;PgT)=CceZ?#Z|IND2xNXm> zGXF@|A^4k$r}~CJ=Uv}9Bb;Fjsb^v;;-;3T`i4Kh;`2TI`>2kuCcnT!+*CZ(H~i^; z)RX>Kb8zeNRYm`+Nj%jz{QvXi)!>$QOMCN(pVA2=aZ}4veZ$}Tnf;HyIM5rn*#BnH zU;BOVXRE8~f1Weq=dP?O;-;3T{%QFKYYqZ|WRE$V*ip%JM! zakHQgKEJJ8#otuBhq$SDTK>i_IXvOn)!@T#tOom?G~zWnQ6+9_d8%);|E^~QU*;b0 zhYOd9ikrl<`bqug34b2@PtD@~qo1tUsj41WKH?MK8~cx`$uQ_G9`eUvZgO?=Utif8o)RnhnOeMZEWxLNXl)%K`6|Jo7J5jR`dGA>k_W_1El>R$;}^#*#(*ONz>5YOsg@TqF>hA#&HAvc{|4TzgsUetg2v8Xry@?BAHDxTFJ{j_S~ zcpZb)enY-O$3o(!mY4Jc`evo(G+^w0ft%vq6tcjaik}W@Z`^j5_?~u115%bB^@}gd29OY)r3zTmd4@|{VeVV@memzgW_%itD z#Uoy_x85$RxT)nO{owTLf__N-f**Q*$uCgLOZtVEE(HCMC)^)&3#OLm^c?3G{^ILZ z_1T9<=qwg<#cSL-NndW=a2SmGh12!~3h;=9?d^D&nT%+4f^Up=1A< z=!lyoy?(KF;a5+us`FNj_&$v##7!;F_&@&mKkM2@{X0CBVqUU$jGI&Xf2G_H`D6aw zi7|gn#WVh_7rdl5Ls>%p>7J{X7xdNOFTNb}&-~iQga5!(Jg2X|v`{VFs`mcs{Uhp| zy&-ODc~-AqiwpXXFB=gZakHey|G}?Be^cM=3;w3!MSpboo9OU2OM3Y)K3n;w`VXmZ zR^rb$90Rqy9r_eEOndpd{B|YPm-uR3Ekb3KI7{5%v5qNpLHyhZkF_a zb!N42{Xtdr*Do6JMm02XQ_HjdtoQhbqQ2(h&f9|CWO+%?cS7(V@+tR3y{Y9z{hK#O zz4?}-qTW~W)?Xce`RmNLy-^R;tzT-c`&Y_4eY`He62@~{dUJI8 z^c-t>22@*I5x2N>c(Tr5&j%*1^MZ7pBhQ(*&W3cIP0j7NMC)RSwrhHf=j&9W!B_4W zmb+1+dY!@Q4HMT%OO)GATB0xylX&TghYQc%w&mQjHZ7fb?nPV9-FkMr^_hiti%z|Z z-@YS%*Q4PodS*SX@xjZwY1*E*Zw*)LojrAhKeMLoxyQSzs>^ScwDo`Rn)&p)Gcfq0 zhx(Ua`)P3dWn=n7llQNy&nh)D?@!ln#0`GyOJn+3zkfbB;0Db$*Q1(p(*11K@4xf= zEA#ksXJxQ!J*$%V&szS9_8auCe?^~tbY1WE<4)J4-`kjZ|J|tmd-Ee>{#m{9ly6IS z(zN^hAFm2CB<-A=>gm~&9{XwVk+19O=AN;7&fL#Fwz8_;GX9>1S^G)w*PV%Wojdt| z`@S)K2Y(%jZy3{e@PGXAAC8X`9sD&rxM3duYH<3>F?|<*?hO4H+yBR2|G}5fnXCST zzc_MC-=+N*URqy0B>CH+|5XdeZJEpeM^=9g1v9+og!?HMY~u;T3*M&7pwRPXQy#3b zYW-~}&wA^bot1xlJ<7MA-BRiZUifzR;J1Ib8tCp8%B4>4Wf`3Jrf}a$%D1+an%^#X za;Lv~##ciew8`g-&bnTjJNvq7{QRW z$J?=Qr#`pwobjH^Ce5h&S>xnhL7bDl@E9eP=6Frt<1-Zx=d79n=WMs7kJ}i{53{W_ z7XB{iXP+ys{l}h_nCDpwz4bCYlR({hHUYly;Hn~SDxQ|V;s2XD|2+JiRdwZ+Bl3(e zaZ}5)dY%c(fL@2+hc-EhC@{BR%H+jaGxH;`vV|u8*%@jUR zy)`^*Y-&O9*VW#t(Oka@UC$&k<6D2S>us;+$yra^^?IHqob~Fn(mN;Tnf>9tI`ho_ z$Y1%;fA&TGbIrc|1k^t~m)qWdvtIp&_V?^peGOf{&I%o?*O_im>OViCF}p79lq=zb zzaFmm^#kkozIwVKexZYtWN4?2WiS3$-hdwfXbgn8|72jXdJvb9z;^s7e^@&h^ zQ#~yBn~G=s@ul4V%S9tnZsKOE{F?7+z8gq$?cvE^^O9St@G%un{agAlT1s!~v|1xL zpUBZ@I_d0!Z_GSb{(NiRe4d`HB5o?4`m3jo%FogL-^$sEj?T-&(YbV7_I>Gf>9Jey zCgu}bL0j=LIXk9vyw@+C@@#b{&3hgSV`E#BJ@(`CzBLnlikkH9vl6X-V^(1nusZn~ zj~-*QfaUqipj6vUI>t;H^H$%XZ`X&nh>b?9y0lZ2^)W`@20ymmYqRMXHI((zy{eP0 zKC+-YGw$&?vQ`&Y3wmSOZq-w(CntaJSuGDEt32wQ9Q)=sV-da1^jKgj9(qZwAA2*5 z?q5kC#{_Rjdm(I(H+T5{R;_=2n$tQ;RA)a@Rqy=3hb4R0`I0KDxT*0bt3R{W;m5cH(GfRGdVKhY&SX3MZR+pT|Dd$~tanE3Ytl1_n~E3p zuRf!yPXAC@^%d3 zrsApp^V0U?%}%fRR8{@_@gr{CUvIro+|=@{{>49tWz{|GP-cjZxT(5i^>2S~Rh@G} zRb94WL`Gxcrj}>*_)z}SjvSG;bGho}Sv~cn?({X2?YUj*}PbB zZ5WYnz!NuH`a{zG%NTp^CGi~4)bGAm#7)Ih|Av0~`uLWQ74ILB_mdDe^%jt<-fuHv zrh&JGKy<{-lAf^}9XVj4BW{-TjPd9=A2rbtH%ofzNtvm?$s3u7n~E3fk1qX(j{2J= zJ@rIO{Y`Yl&61vaqI=6tBcda2mh{w^~;wO~g&bi~R>*`j3e( z{l_f%GoOG?&jk&Mj<{LU(@)UTe@t}5&61vef{y-Uq9bmW^z;*S^dA!)akHeSpP-}v znCOU`B|ZHF9sS2dN8Bvw=_hAh9s7^zK5Z(V-T(9x&J`JdOg+aD`j4r2R!={{m;Pho zOWZ8^(@)URe@t}5&61vef{y-Uq9bmW^z;*S^dA!)akHeSpP-}vnCOU`B|Yn)qyL!1 z(tjmA{RAET$3#oqEa~Y#Z@44&ACv1&;-=!+{ZIeVuaJfQV{SS&_8(L6te$>?Fa5{F zm$+H-r=Oss|Cs2AnFFov=szYp;$}%tKS4+TG0_n>OM3P(I{J@^ zj<{LU(@)URe@t}5&61veLfJWfnOut#Hxu)NaEkE@qci8{t%f1rpZz`VEQ%`)Uzlkq#v*b@b z(NTXB9dWayr~XG>6zgvu^MzP{Q}Jy1ssGW}#`>Ggy%9GR&+4fszSQ5um$+H-r=IAj zzln~xS<*94M;mYt+2mM4+*CX*|Ja-9x%bKMm6+SMhqt^{rs7#Wb3}(dpx@fKdPH=@ zO)byr>33W!qc_z?jd{WZTI>Tj|gz2z=!4=SGZr=I92 zzezoanBJbPg$8a*S*6b(GfSbJgeupf5eBQ-eh~kO~tc% z%DLY?@qEGLKDp~vFVE^JC+8ZJ-=rMGO~tc%=4fd<^d{ROZYrMDKmV3^+&g6Dh_oAV zvvvGy^dHt^oaTJT*2}a0l#_nLy#|wdxL)=0te)-f^+;7wev@*zT=nv-o;O%A z?(_VIxlQ#aZnnn%M*TTPaGt=i%S1=qR6OfXAEUj{n{0=;S!#dII~gY_zezoan~G=s zpR<3=Rr(J(3u#BWfPbt4ieTbWiXZ74`MMrr}%0b*L>G4Uu z@MJqKSG_#z&vN=YI+NoraZ~ZE9xui?^d{ROZYrMDv!6Lu(S9ac;-=zRJ##GdG3I{E zZQB3DO~tc%o_pY06}`!Jh?|OM^<3kTYs~$a>9udYJgaBFQ*Zj8$##gFrTR1H%~;7? zx4BLACvGa9^{3t(d(fL~hq$SDR?mLoIL)=MNj*ZNJ`fIAa0iQ93v?w?Pt=C#7)Js<)@!; zzQO)7X@B>tdU;ll5A~$~nUurjs+VW=Y@d3gH`xwxvs8cb6dmO^sRwbhq^F;wqyL)p zW8!8@|1;_H6C8KhSDfpc>`UUN;%WUGdd_pu9ewSH=!lyoJ^P*OWX1_o-!=>V!Bjl! z&owvy(3p z$#ny9Q}L`n&nxgK*Po{1 zSv}VcoO|-DpviHUxT$zn&pyJJeQx4Q+${Oi?szlTZF25R+*Ca4&sam-bF4QR_lTQ{ zXZ7S6I@;buN8D`b^|bTonQqRpIZx#})nv>fZYrMoH}q)u$GT?vcfCBT$A`SZ-=yt{ zo2~q5_%r82-Z0l=k~hT7R{k{f%rlWUZ@Fni@`kwC%Abaw>r47MW2H&%6E_vl)}Qu4 zOPiVGBXLvlte$x~`Yp!_lYUFwZ1vwp`DrJP6SSYnag(^Ic-Ei&gg5)oJ-_9q_#E{mw^ZR{DxUf`^gKJrbF<8snSO57Y&}2Q&@=CL z)J1W;G${vhQ}L`nV+O}A#(NWA;-=zRJvq*`4tkUA5H}Ui>KQlC(N|5%P24Q$$q{rM zuT9EL+$`zId321wCcebYlAeBoj=Gxo5;seF+Uexw@pxgf9k*+}JllTM6EDUZ6TRD| zUY^x6PH_Ii{DH}Kh?}kRpGN2XCO#iNz7yY?TXRI+Phsy;O&+4f+x^(^nJ#n+7 zr+pdcIbNH-rZE-I`g4wgj`^Iqtw+j`|>X{!s?14Dmo6MUKHx$N9@ANXYf%%r3;`bL!#j|>jdz`=GZ&D88X6yX5ar|IC_H#P_#&*2jdU@8L zc?ZsWDZ9zoo6di=&VL*JCohlZz34gr^>&D}y?S}ppXFTZkiRC|@pkLwSv}`{A1f1CO{tLHqE@BZR%ax5ioDxTFd z&T_6!nN9vCZYrMDb9|xR9Cu7~#7)Jsdh!G>`mag<8ke;#ocCXLvDYn&^m|iWl|x zGUl0V$J>P^e~vY)Re$s*+aYc$p7kd`(UHF!}j^*<{)8~z*;#s}>S(^X+P24Q`v!C%{|C^lm5H}T1{ZC2fKf{jFf9khB z1itN%7&Y~OslL&E^VYvd`5XQ{_J8B}MNK)+>^pzfrT=S4obY~O-fL0MV(PsS)878T z+MMU<9CPX$A6R$W_Hg|({+0)|Li!F2*5w$Wexy=Nd+!Bnb9Sm9!R+y_i&@M6jGd2C ziNYuRsz$ah>Je#O+B)SA*O!x8x77-5<3PvRT=1v%)OfrHjh@bWd>G-(UG%0C;-=!Me(X&hPx*N4C8mDA zGJH(MQ~lVRIv#rw`tW;`p|`OeK9R-Wp$tbi${DT{0^@deS#E}Ur2dWib0pDkrUku8 zxrv*Kr~1Z|0^F(Ny^0*w&C|Xd@6?%!XZ4i(um|G$CTBOqO~q4vqx_5!)SoLIlX?(0 z70>D!soL$Y-~SAs$a4F$;#;@I{cn1|n~G=scReH4pKl3Me@MNFo2B|cS-+^lTd(%K zcSPRFNZj<>uk_v`{SMBy^DlVo()nwb-oAcm!_uauZRuN%*z0eofAu`Bz13^;Gei^C z-ubv#H?6(T>SdeGy6D`C&t5v~f~^Ym^XW z;<-lkxnRqs6C4|Fc%n7kiuLhk${5G!s83_0nq8@pr^o0>pV!r`j!H+@BhGA&^!=zi zt=3H$Q}@uA>iz0o;L)}59+%Jt`VYO553E~eNQKkhoxDefw?KwBLF&BIBva$xk>T%D zpNy`LKmLOs@Goj28JS}&GW?zD8>7?C_eHPe>&-Y)?0la&=0C5#F*?y^x5q%3SwPwOQ#*gOW?7e*Mx;{d(b4>rUyU zt6L^H6P%I{tK&IF@@s3(hQ{9LGS;ffW9KU9m8W5>Hkq9#ZYrMb4dgjvJu~AbV?1%w zWBnw5ewSOn2^`*vX!1T_;%4hNgB$f{J&sYlRnep##7&Q~ll(cJ;mZ}Ai7#=p<=?of zaXWFWqrISh7bCQvS-Pu1JMq3?{7wDVa%ewO@of8(GaTc$Z6DFcc(Zh@N3Y)`4|-F- zRUSTO;Wx{*UOZRXR-Y?Ujw$CVjrQC4npp2mYB%Z+sW)-6RsS(P`wgARenW4T_TR4G zkLx}09V7CFOyZ`t6WV`;9zLmmu~22$YoN-9tDVqT^=Oc+vp!viD>i-F+c_*uj&RSm!%u47cNVK4#ym*#70Or*2a_?=!oe>qm~Ro|#bnrh1~`sj{v&d_sTDH=^F8+{8`A)ABdY7AIW`a}7$|oOUhDY$fZP%vRD*Opgtd%Fi_~_2xKd zQV-&0ss28`q;nBdjxUY#1NM`zflcpsvvho{$Cq%nOZ_?PrQXENQvEqU;5fv2fyr@& zxS1SZ(re+&)$JQEACBHydw4CpRzJ%7Z~9u;tvK5#zWNUK?8FgO`@b}zqU?Vy+#DNc zD=U3J>O6+eIHs=u$sJRl^6?$>i#z5QM`NqUQghmv%C#C}sp)w|vvkeI*vYl#j`_vb zjOLE{#f4qIQ7y0b)Z5LMSIysM@_FiEKe=P-Ggrki)pRbIil^s!Q_oY`4xh;B=cy}C zjOTTc?eKwb=JN z+`~-H7U=7-?{mL%$34uL7n~{3Crurde6%Ycks8keC?RLQhq<+(#M_>;=Yv$e@*(QF z=R?%Zm=7y;4|D6Lt(y;BT08lyn(6uh`0|}B6JO$H z$)CGn{9}ESchT^-slT)S^UkhwJm%_*?U>KGJ&s4F;;Db*?kDSTwX)waBhrtFo2{#s zhMqeZ>?_*Z4(ch%p#7)Js{v0#$(-dZ&RbLQwEhi$#x3%Ox|-}u;$|y<8hXzC=OMNh7V2K=EzI;B0~(D)oix<7kH*ggt9@oFTb(_jY_nbA*H4sBdJaK(S-NY6 z@@>7IAmtdZU-{Kp>We#FwbkR1bUL_ns3XTzjos39oBiMz5_L1qet1Ut@X6=4^w;x0 z_~ZQ+0LM}4W%`(6Djr&Pd3-W(;<;gZ=bi2FiJU&8tT7`T3nIs7ls%@@{*7Y;V<_hU z97{~fP26;r)%wP{>AdG=_;Sae?U;Vz!Sp@rN#)=1NEM0F?ZthMorkdQHB5wNrN^VT0-dvxUzB^}@>hJ5d z^qAJ?dX4?h^&0ekH%r%RnmrrdoumGot59#^W~u%=?$XWr%__IzPxhGluX2~p=c#%( z(WIPG8NzugPu_683U!nSPv)44r(;6nJPkb`bS86`#7)Ih{n#8PW8cx&#xW2&m&{ql z)T6JBW1+W0S!NnjRaVYV54p~)$JA@g(Y5cS_M?txEsJ`SauYWdPwPK6rtY;dep}Ui z$*1EOX)2!8&pW0v&%#_0b9m+{cgOh`Q}NWlvHv}$rtRNnOl7|@rcT=b|B_=WV>nMd z@Ln^M^Ht)e;-UU4k~ygLOKfo`yy2D)q-XIl^=F!06Q6wGDTRN&A>JA4^W?+Y4e?Gdcbfh+pM2Qu$XM+b zeOjY;x91YjsSiqbY;N>!J`1eTJKnuXj>FE8h`L2OUqc^S1=p7kG)wKSN?4LAxqa%|e%lb*9H#$b|$T9uc=*_t(qqj*WFnXAZ zr{!mLK&DI)Cd1kp zoCKkg%@}Y5$VRlU))ZiYBFnM2b>MjD0=T_*(zSsdGdRAq*s zab$Bu93f;`{6qGBopaycd+vRnbDn$e!)CJaB+dKV&pq$^{+u88{J!Uw_^!REy$KI8 z_m15td)9wyX?SVv2M@ck!*AuE&!pgdO41vA$u4T|24&Cclg|8zzcHLOC%aMhET4E% z*6`oRbBEn1d*H90Q+u~}Tj7mn!$vUC9mk~h9>*jP$1$nB&Fouyhy5_BO^5BWq zkE*>@7W>!U-c`2t|LU$X)^(YQp?_**CI-8)G$TVee(;UVMqoF}o<4O`Gcw2C5oaWg zo{2Hap7N7c3&l8da^^Wk)gHPZzlgz}@>{je^RcUo)i>^AOm}!ugUO!Nr(ei!GHM(n zyUDN{=go5S+!5Z$n3kCuqwJ~v)UGUQXl7%K)PU63M%lA`#s%e)#ywg!6zNyRbpNaD&~b z>mfgK{LiVJz&HNI_aomZdy)S|)hqCgU%n*rjk1^c)zX=Pzl_Ho4E)Nd>nXq0PvFau ztlIDe2P0={U^mL1@>}ifM~;YRcHMA&gY3k`Zq%-aA|D<2#`A8Be534H{+3-)_xk%A zL>IfUqu%I|rzo&wwa1#(7cH=xgt9I~=oQ@CQD0}LEOW*!~ME5`+wBN>g`lK8B zM$T~y{@2(^zm`6F_`Uy7gZPczSn~f}>d&z1v+>#n+3AYisO#DI6YkUpBHwtLR{pRX zWzX_CJso|{y)vSU-PqA@m0xuD;lGhlHFl%yseX&kd29SQXUzx?yHWNmA07Hr=o=kx zqwHBe@#e=lc}8@x8)eV(@e^JAH_~6kZtUo{#yQlTM}01yeP{f|i(*}Bls(lyJ3W#8 z;BoQv{d<+?*C^k>-`P5uU^mKMh+l8{`r{2!r(!qit1emp_n#VhcdTp>9(H4ikIu~> zoJ`O+-lF`#Zj`;K4-b7KJoJqvK01G=@`k?gAJ2*UM%jz{@X$BHL*H29qyMAxqkfIm zic^BVk?Tc$c<9#{c+xi(`8+4*-Ws1DBVVM$Zj?Q%&vOEg=f?;SyRpPa=Py-Wcz%t4 zrTAbs%3jomhrSUW`ox?_7cB3W=-HP<8j{${K}~7DZkbKIC9e@{MJ0tApK_SMqSDB*{#Em zT{=ekVc3nb2mWex3F@<3Uw_8(4s4BJ?~2@bk}Ev|DVuS0ax%Tn*Gu1};wzL|)ks2a z-L_-14t>9T^L9NB$sQl>pWIWkEgs!nwr$6bjc?o&LhqA*?6V=?lF;&?9s_RNan3usP=Z^5ZqxIK38hS~Nf%$7UUcG(u+PGa^?``i@k2{`p+vU^pdF5ZJYku}5T4Hxl zPm5>n5>8eV4kdAjPS;OrChhMT9nU*H71ryz{A@hC`d@$BV*1}u0nvKlX#L0cPbP0~ z&f;-CWz)Rt|F;jTb~<}8{m<5W%KPN`EdAT+UU9>b(98mGBSHRd=bn&Z4ha~zXZagDNP z&E)n-+i}d_I4R7~jL>}K=`i0hYsPwxx3t%qDH*{;^N+3=!$fl&6V1QBXsqTqrZlVS zmqu!iWY#^t5xGK%S5IvO6U_tf8N)<#98;Rr@u!c}9Lc2gsXZ8xLX^I7Ox7aKzi*5t zOpW|TcnkCHn@2LM7yWQ1QzNBPi=-a${F@NBLm8w@>}z` zaM+s=cE{G3jtT4QDSzgEmGrGZ?pN~!<^2NMU&R`6m_v*h_q_}`<6osc@QwJ-eT}lG z{Cb#Vzli1ZCmdsb^559af7!G8M{bJoKI-TOi8pp*DgNvRed)@$OVs!?zaMvr8f6dq zt9$LYNXDz_X)w?G8UI?Pu~)_26wlZ9?wpEsU8Pb~s^gXpP58~Kk$W&z^N2ZgcK~Hx z_0Hf`e#(C2y|Z7fdUW!=JLZ;Lv(9{bh?2< zI;mNk{paa9kw0~Je3K|*_&e2a)l7cNBmLH0s4X9hwOf7t`Q*21rkGOgG;_KcJL%Wr zQv>kprayN0_4R(w&`!^!G1jhsBbcdX{TwOHOV1H0t}{?oribn5<=oWB8}>d1&rsx@ zSC`E>Jq$eyt=UsQ3mQ>1U)2q}=e`xcf6jjV51y&o`HQjDG0L8nrPgdSwKS~*TqCUn zc4McNXz|%|4v#(fMtInbB|bXzXwWy(JHl?1J?lTIiZ1D3L>IfUq>rEI;J@)Al??1g z*;D^rT?|cZ_2&#hU=q0M%h#TRQi8f zJ`jK7pUW50#VC80kN@!S-v|%8vBXD*c%pCoGo>ANqwHCI(ivUS--s@DV@V%B(ZPS? z-#!}sH_D#sPo@8tpN#2mJoG^H$0&QsZ>2xG%Gg;zUK#KCq|!omqwHBe`3{fWVn%q_ zjU_%h{LnWNZ|p|dQ~g%_SruOU!?;>(7Ba_N@Qtz(d~%54*9$ zZ#_RpZVJUVj8gfF(JJjIcB9Oxev3b({I71l^!cVjugzZrZG~YJYCm%KVFqwsm|gqw zVRUKv%cE{Hx>^o{Kl8%i&%7}BlM5sITz?#<7YzIkgb6Q%T-7Y2Xk zg~6XBOs|zFc8PgREdR{Ot_?DBc->uUL(f}|lR3o|uS+%!*SUDzaGl>85ud#y;&bHe z_!QG%>Co^rURy%Xx8A$h7D`&~{kKIG|89rARj4tY9MhddpsL!QpiDW(B= zI)hVue#q0IzLBTboimj`MID~gYhOIYDaMC99jZf~4%Hz~hw6~0Lv_g089K!@SUNP5 zQ%q~}bf|CSsrD9ipShwAd8#*Cx}0Ks$kU-Z*4>SA!KKZKRekE=E?;%TWbM}edEMn-aH;z9`=|KXICuH)_;5HyrFU8D@^@=& z=Ti{J#DC9<#p1vF(Z%AwXT@UiC;vaaX_55TIC0$+KU>bb>5sm4M0N9TK>ll-R_{Jf z@~^i(`M*f~$^S*-kNzU@M}Lv{lm6O!xlsD+P0B8RQ2H;TPyC1IGd7@Zo-v-t`V1#+ zH~Q^{V>G0h;#sR}nlUP^MC{r(mWifj=SFIdW1^|wto6qp@f^oQQ={yWn&X&gYUDan zGsD!}OQ|HVe?>DmT9ev7X#WbcpYQoTzV_a~;`49cw7kaJTH|Bx$h%gID&1jD$@s$V zl~@nf^NOwXV|CHHR*bAiy|8=bh21NhEwcQbq!)Ittmwb*CDXp@$t%{XcZYiGdE31* zxq9*wlVc~xOn!25a`N|UIsbO*Ehewpw|0>H=dJOyKF*!x)IRXd_doX>cBAZ}msQs; z$=*D|#ju=!2q)er{>|xt_4SmWoWK~*yozVuMlSE=ab^JLx)^mm!;fc{(yL+wYkbMB zXgA89;lqhxmkt@@eYjWr7wlQSS2pmQ@Su8lp>;Br^f@h(^H*PWiZR~D_pPs|`mG&A zaCy^GUtp4}b&VfDAfCyfYC zx)~`C*o}GrV>omJIh(>BEC$9Vd8qTMKa>i-lU zP4*%gPut-8MwC6nk2|;E@%$R`gB@MQ5})UUaBz*x9EM(Fjk0I;2?zJYy$y07-?zS= z<&*yK(|_=>8+9$ikLiO3>1RA~Z?qd_&+wy8?PK6OF6a{{Fwc)VJflZn9-n2feFAQ< zXZ6`-$Zo}S2P5}u{)OvVzV|QVHyn_<1iMl80zc~WtlW+s%g2#q?uDy)7RWzX_YI6w0EIx2h+9(H4%uYK2tqjvT4 z4RV${cB4;VT@|1ImjA>P->K`2_<`M6;;(taJ{Z-jmM^4B#9%MPKk{C2n=$f;Kl~HU zFYzOX=Zvt%*WDHEM%lCa#2FrOHL{9;-B{wk{MpFEU-%$A?8XwGbcRRz8{uI$=J_$6 zXc2#7on}ru?AiFE0}p*8almfu@LM~GSFMX&@|$~rwA{F^BUwnzHfa!%O~#q zBdv|pUHom--&sECL;nH35pJDs0XzMNR{RNv?`RphkMCPwFY43pCEtwP$M*$0{oj^8 zbsVQv*|U7w?liB-2cARh#!mjX^wCT6io7E)up4zf)z>*0&8{>2q}?ODk#-NevD5w~ z{8;}GZ|Waocu(js@n624)u*0;$1`sv-LM;F&+>V5fwpe-$BfYz(gdIC>sdZ0;KS$p zB@rW!Jb_U2iGNHV;*j>AUwwPD8+ARy zk2>A@8$aw9sOv>O`uK0;el;&(NuOt&XP$I75^wBA*)#evo;@MGOW zoq@g)Khio$_6$GjFjgb|jotBs>=}Nn;~8_{zma%Q_Zwx;@<}Jc;lGi1U^mKMbKBx`lNBxO2=RDN&AT5dg_0&>z8Yhf5fH6rrwP8XNlkV?{O$;#=Hmq zM=bLxchpn#S&Zy`N%=9t;~6r_p5-r=ezA=uuTMQArXS@1UCLd=srX-< zw*Qm*M_-p8$f_DYqyEhL@3$4lra$TAbTc~LjGgpL%5RLb%e~R%-q%B2~ zuj#LA2baRGpBt9BtUByPu{6%UZ}&8DG*pMr)#&oj)0hfgTTi90w8BGb^@)F1uaL@} z9PBbD`YDDza>g0%_%xCMAS#`n_AC7gZu}_`A zn1VV1bX{QV)Cp5{3TKqVGj7xPfalaGd+Prb|2J=seB;&ioVZc;BL5#=9QnqFwI+wY zQTCMIdJ~MZF?fTEH~Eab!G+yedXtNAynzMZ$QxMLjiooSIMaf27EXPjLB17&-RScc zR3tiYLMfh0k;hwC+y^}2yU}jU^P>)LVWDs2OS$M9WzVEv)PaYt@#3#VyD`s?I-HS? zzVV}XM!Qk=qCPzIjUT-;>KpU?sPm<-M13P~AQFG0>_vTe=o|0(WYjmBzgk0`rIqPP znW~PK-!;7eK`B3S-wA;ywe)A@~qm%ZEKL3ne#Q!6l8M`&->I~)7 zUw|8s24NR3{q+GHm8DDcY}EZ)a$}KzIb;i5vr=uU29*N$~gu8o+JFi#rYoS*n?lsf8J-GUUN94Y~<8u%0o)tBB z?Qrft?WnnL=y2!k?=1ADdN9ZBMxE80s&jUZrfSKlepo*ynioDcv+vhKa~u;*?ed(} z-|V3|j)|tuCLXETWzO&8?!M}pjhnY_-Mw+^d*8dfE49_frQP61Nvp9sd?>UhM$Dm3 zo$lkr@38D%Kbfq5a56FOJu%vivX}VPhR+24GH&_Zz^{zDUf{>}eEoyQ*xvJ97~1`_ zo(}c`e=_;E-O+#JQ}2lW8)Yx?tA`(n{u{q}NA%w)d&+O6Kl^0VZih8KBkL8|jc(WL z^l$NZo)W|H76jqJH{Y)}?PWL0UexCdebyL_f3106^o_D-`RH(RHM&ObgWV{5mM@*^ zc=;>+W&GJaLBBHUdX_Jp5Kj8b`0A5`er42svV8RaK4mQY1CH#!K9{6g{S1qmNQ7)Vnkc8Nm^i7}KH18g>LnQa0 zKCmC|CuQIG=)R@2{*57xy8LXvvCDt!mdV6p&7@y5KwtI1{wedxWrQf031k{)>m3;WeuPPDj#@uS-Css_0!)8yy`_; z8x$|tjV1mcd@Axjeo}+*up2x4R$q%TfyXFDk5P=Ju?k<6fp^~x4Z_22EbyzdE)TqF z{doskK6lOylGi81ntKm7W7%GdMVlwZa)9%C6j#xlyDWLWcnLlh0UF^n!KHI?1ug*Bopuz{cv7ldFd27(Ec3;?_ zbc5Yk(*L~1IOreP(IC3mjV1l3HpFnxtZ5Kk?8c6MTK+<%p|Mo;Bh>>&kFktn$6C61 zSS?^2r(Y-ov&U=C?VS^%`p~*oh!@6ME3e$PXY-EUeSN;Osb|!A;PlJ(Rl8%&uc}U8 zWUP7bGpe5!7;Ap@#D&J1)w!B~S|I+_daai(5P#_}6o2V27XN#%SS8~>{rpY`NaN8L4?bK|atqpG{dcd*8f16dbVUr_z#f#bmH zEt+*3$Gk^QA)z)>rGn;E0l6)PtH4XroA A(EtDd literal 0 HcmV?d00001 diff --git a/compiler/verify/magic.py b/compiler/verify/magic.py index 7deb3f6a..63e8bdec 100644 --- a/compiler/verify/magic.py +++ b/compiler/verify/magic.py @@ -46,6 +46,8 @@ def write_magic_script(cell_name, gds_name, extract=False): # (e.g. with routes) f.write("flatten {}_new\n".format(cell_name)) f.write("load {}_new\n".format(cell_name)) + f.write("cellname rename {0}_new {0}\n".format(cell_name)) + f.write("load {}\n".format(cell_name)) f.write("writeall force\n") f.write("drc check\n") f.write("drc catchup\n")