From de68887bcef0e479ef4ef9675132c413d1df5e6c Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 10 Sep 2020 12:02:53 +0100 Subject: [PATCH] add additional vhdl-vs-nmigen screenshots to openpower2020 --- simple_v_extension/2020-09-10_11-46.png | Bin 0 -> 61998 bytes simple_v_extension/2020-09-10_11-53.png | Bin 0 -> 27667 bytes simple_v_extension/openpower_2020.tex | 17 +++++++++++++++++ 3 files changed, 17 insertions(+) create mode 100644 simple_v_extension/2020-09-10_11-46.png create mode 100644 simple_v_extension/2020-09-10_11-53.png diff --git a/simple_v_extension/2020-09-10_11-46.png b/simple_v_extension/2020-09-10_11-46.png new file mode 100644 index 0000000000000000000000000000000000000000..a4c40f475d43b283ef9bf37f63952c466353a307 GIT binary patch literal 61998 zcmdqJ1yq!4+dn$CAfN)$pp?{%G=ij*lpqZQg2d2>fOM&(bPgdQARyf-p)?HA4T8i- zgT&Bro&j~c-P`@{_xpe6taHw@)?Qm+*2FXSb^osG7x&8tviGntNiabm5VoX*r~(Ld zwiyIEGjZ`W@EiBHXX%0eVLXvgw+4Z5>e2t5ieSPa1%YmWBt`Ek*~c!%$ptPlc9$;6 zRXu+fz$;^uo%W?FF4WPrKTH9~l++Gm2YYrh<)WE4tJ~>)J}L5YZtfc(y(26y)PXBA zD0vmQc6N3S4i20JB4IoG`Z~TL(UwZu*`qG1l^euDD}THCEdS29+fkh1dPjm_`$Z6_$napR=I9ge zW#D4~7YoZ##o^;1LXVRlsTHI?9@H%Cl*MD5{K80vfpcr7Bf+gad1YnAuOvs~^6ypN!uplLT& zT@26@-oy2TBhd@Imiq~T^!nq?4U2Qs(m^CM8TM8YxKiBS=*2*lT}HE_PlFv0jPW>F|fb-U?5og>J5^r+0!tpH<9cJwH;M zIR|={A8aL-QGAg9G4A4W&3=ua>>Y6)jHA(3{b@fzQ^X67;-j=SHGMb1%x-(Nn+OXA zdnxD&K0@|Ufw(?x63;1+I9<4nve@XD4{VGGSUOmuG>o<$^@)uaFRMsI;YJoyyXoi2t*XZMHSfK1iV8+ z2P<9EXYE&8qo!xo@s}Qmh}XHK1ye`wS>1{5L`CO!y-wj3AR~r9N0cykeKk`%$BV%r zeI8h*9u~lDef+Vy(I<&KP?r`7v(j&ClElm~>w2qi*qe_X)77q+TB1MG&oUPpv+Zb4 z1p>V%aH58H%oM5%fIzRQT{p}OdrgP>NE20f-a!`ww?kOByixiF)1sZ7!ZhxshrPT7 zie8DuE-iG)EwQ4?a6Y>k(H-r*eh}!9=5TWbYGJ`t9S*FfnRQ^H&jq4p-f0@d0!#Du z^9g1U=vjuoADhD@uxP9FCU%@FkZzS~2mAX^p`qz{Akc%W=c|GBu?+It0)d3Yh%(Ot zH^r|qz3}46A_A$wVLOM1?IR1v4@WPhCokO~h&5pCu+Tg8-B1ZRcf7u4C7d{CWcS@d zGW-vF!(4z*iM}+`s$$mZ4lUkYC9DsoKKY%|_V)G@jR^1|sdUL};N^hp8P?(cPTeH` z$peC4lD-jDLvIhjt)gwiK-e76IgCcy95l%q;4nn><&%xyooXP9KYm0}Q*55*qVY4E zgPDWFg@eOP`=p`s$#@G9je7^Gvqb)#K%vDsUWY`nzmmEMJidfYFUGs$LNu>u$&C`--WQLr4Dj`C!tKM9vT=*x9 za;gc&mYO$13dYEx7VgXpE^+%a=$G+t08zsyiUyxF8gGBnV+%auW3#|q?pKfDUURF% z@=o*CGE1Qqyy?Gxrzm+Mmtj>3b75QRN&iE82YPPk{%W+J>v zEx{am^e&;LPO*e4*6K*9S*20d!7fTOK=JrStsZME$%56;vZjm;ArTOo!hk6#Y>2OB+Gd{ zf3<3@1!DgGca~skD20F8bU$8%~3Mw%*rWll;6vg$k^@I*oCK(~H##a&5fU+;SM@j@EbA z>*L#k$hN{R3~4FFB*sAA!xQ8RFeG1g7nC4iqz_Z zFue@I4ieL$D1+Ng!~cADL) z_$+?JfeE2bl&ZcLU8DPz#d`>zT)2VElDuVh^qA_|k$K#jz2IQ|F)VE;k>z7WBszIS zP{tI($Jh0e1?@zWH3{g283S1A-S%x6^%3o^^SgaU)9QyEaWbQ_(@nzTOpq0np?d$Wv7uaezl+9@mA7@+ZRKn*mHbf}-I8)`~ zQ$-lAWnKKJ-rantt|4iWUhq|j$17D`HPvrrtv=4TEUK;m87m_lCi#(3We#urG8g&r znxrMD$&U@K%-w^=rxaz8DZGonU|L-&!^G1XV-9i3!c{)TZ>cMAFP7r54uaxHCr;@p zvSH>c=5Qbk65Y6Rvx@U0q4l!#7MG z#;7Wr73N2D`o(D#nT^wGAe@()ge?*li>D(-_!G!q4m(eE6HS(%1Hbp7C8DY*7Ijm( z&qOWE_37Q0z-m>P;K(x9qO1Fz*`baayTbd@ObSsg!wd@AD6rEWA*863@05c%Z?eQg zVbt(tZv9+N#h`~C)p9tW5;Pv+Ux7dJf%6ZfxvM(804 z-gCQeLP4K})P!wn?E;nuk4O(x*$e_yBfO25rk~ISe#u%U+ZC9-@1jye)5?_6yslpG z@!s4`#Tty(cu@+wQs==Sm>O3E{3dEysdZfiQSNF{VPzQJB)L~TFdQ=zEAOt1DBmML za)gQvpMR$J%mSPYhtP@1tXJAI?H|-#7v)?y%u*^ZxF)s}lJ4!++O|Tru}h`vCo;~9 zTwrvp@v^nDVkz=ABX;`o9Go|fI9kc4Q>JJxJ&PhuGUkA~ixhOr9YK+8tl#R=|6Jn?BP#R{t zShHTJLYOk>IKiJ#!y7l#d#J!N?LxF>u;VU_6zH-XuaFuY~0=P7PpmsjB^{jNVxce3yL4b1QF&xAY z@zpQB%d?WE5wQ@bmb>;`o%j(W*k86+!(1%Pf};)(VIaA_$sxtxRw*DTIc^%nzGxlg z7~UaYAC;<9_vN;)cBqKl`fx_0Yym%ExvVs@JOzoAk+b5OlY&R2$eTpH)q=|JG{2H& zL;07?Y^;8)-q+w#>*fN-^JJdbo!kjo@C*5Iz1R$x9Su&aU8ZN?Gm+|73 zgOblscR*OKT$DDt+pFP89=6yVN~h8qv~Rtz{k0?8+774U$?V?i(g5{?P$Q@XgP|SC zPJ4s`P4HkgFYU@$)!8BbqYWp5a=j*{;hOV(V~cP(Q~UY@3rSlH_&bJ=Od#Xj+QV} ziC2<$gq|;o>QalS4HBJARZ%HL| zCMo-LU1E*jKwu?fSbEfOS+Q39Ld3cXR5~nFE)|v`OG{lM6Xidx=(|W;G6^n{+5QNs zwK5#gyWY)p4`e*8_koJya|I0NJy(InR%Ba*DV>Az&9D+{2bGW3DOT_z@Qyw-VxQ5o zt&lmuXm;e$7oD4-9S{wsEWgx01!km!!>dHYP1Rj=MTYoduW&sUtg!ayYZcW7bE#16_{rWGDX zFvFMO84fv0?V)fjnmw(lWY>qxQ9jTHc-9c$lOYzFd*Vq@OpM`eTot~z=u32)p zkc4D;^N10a-G{KQvJ#LnP5Mc=+l>H_6WfhIp%KqaZ!Hj|8A z4xuAi6{b+Fz}#>sQADUc)+=9(Ncy0(!#8&M(y&5~B!aQng;+?fx*xUb`YyqufBA+P z@)i_7l*7gzep6IWop>f`*qLvPs~FZ?k+ZV(PC?a)Ad=X-BNS`s4l7?n!t807&)qj^ zsU~!7%`c9_IlFGFhVO<)C;v9c-NDZ1(Qe^@$OYO9A=ur z-E+x`xgGUuxSHFLbjRyvjY7b)G{Qwpw6zIZo0?zKM(I9V5~rA)#JaHi#$)78rk3m4 zq*0|rEJ{O2fWpG$h-MKw2 zqhO0wLzL-GdjHj?<;|`(jljw2i1)9l6Y}c%VYr@yxmyORr`{8YXfoIaSIC!#U_dQz zG+u#+ELW`iAp4cn5E)jIRTr;^@KmbRS3Oawd3`Z_oU=d>Ws+%Z}V@Ny4?S2Ty~ckM|+dBtYc`DJpV zpqnqRk3jqA9cjFz{46>CHL5eF848jd{0xhc$urO1j#RYELest?{G52%>J>-*&ih9h zcIeyWyBF|V+`kA`CgGG)7EGKno3|?gYt&BYcfB~UPFXW{zBZT(1KZ_~u1Ol?%L@$j z+^Ki-Ww@+QHru|7LKTA%TU%S}JI(?LRqJQgZ)n4cOM~xkY_9qqF3yT^QGZdd%W_4^ zXK?JoO{#kHN0}g%@7HADD?K7s-c^w6*RLleB*;oreJ3e667$GDlYW~*^RR#_Wo^P` zK-cJ%T6PK=ViBNR`VMfCu?el>jLzUvH>Yn-sQT?Kq;U>z=pIn+uCvV1Ck)v-=0}JW z605N3KAaAzRCu!@AB(!ZTVyL$EdHT?K`ehUn6vCUl^n;UCtuFfYqRTSY4H5fMynwv zG57Q}hO)z>Ytu3OS(81HKxt@1w;m+*snn_DR5A)vs|s_#BP?%ad~BLBSJd#zTF4k` ztH8d+ZpAQ6ufI_LH5|DWTEbR;qgzq2IPCuPz!jU2d(!}ZN=J^L+AY#g_d4g)f_<(4 zs3S2%i@}XE$&PX*`GHzs^W4)fSD}qo>Vfw{ihz`x?`#icuWV_{`}h}H6L35N>CC;dM0jdgq88V4XFCG5^x1XeIosw{DS#KSNbi>>M^ts!UIKUM?+EbI*bR=X9doF2 zMKtIp27SrmVIodd=bsP`AjA!DB7rqHFpm!d)4Em_VqP01ABtV#$VATR@%bgIzC3r$O$GcH)9$C$vs23Kknp61`Dc@rCg=XTRE-q6cWLy_`D5;5>Lw%~t1sy*9_MA{6kqY6~)o1e*X-Id8@D{0@PeN)0^0gxqrR@%4|D zNP1Z<46HkA7`$c=Z_4`|I9k|V1DUbbN9bNiUk-O%nRMiP+X@FdE9y@+GglGW>3MKv zWT@j+0V-?zd>^NYEZ4hN>HD07tIimGmP!vG3pk6w%Cip=x3f_%G^9gSa+6R5*=<`t z?^l9-SSiL#y>=r-*U7Aj?x~YJlu{lyj7JxU9RDf1%9stvx?}7P zuy6t(bh+Uy`jZrF!)iJ6_%TP)gPxF@lA0wx4Zq})h zAIQmxtW}AxJYTEW>Sffe(D?sgc?Kh>_JYroLccUH_;8vNW2@!}@}^-Q_y~Fvh61?M zl|Epo>%dc<2xBO?&BD^~H|?wo80kV!HoHC*O}-vRc+W9WlK+2Hor~@2i)QLUKr=z- z_|gh?q;hH6A)lJO3$E&OvrM)vEB@vIW?I8oY^7sDaq(!Z#N!rdeDRne>XPGKzdK@Y z4#rk$^d;8n9}rg*Qf1o{QFRDwsOS>u5NG68<_nnq&npxeKEDi9s8REOU7>REj%IlV z9kNgdOC?wSv5AgzP{oLIH8ZZ+xflZ2w`UtB5U%bH{VbWHxXUdLcQh>4e7EKw~-B178>gr=5#8m*m&_X-cM- zJPFm}Th?40C6@C_kyBGs>+3znlIZaneZ}6yho5oQ`z8y*@2UwyzNk?hYbnC^jqWsh z7ZC#$72`TZ6T&%o=0dt>dHMwQO)T9Giq5~%$`TZHqqs?qWFL`bF0nG=s*@7W^5Y9t z_1)n2Ej$!Y=$B3Jryq2zqKESbI6WiLDyjq~PcCHuDIW0*#b%7z$wbI~Kpo}YP<4i3 z4_0H{0Do##S|-e9AS|(}p__J<=(eZjZRIBH`!cm!k`58+x9Kx8_;fy!xE$XczraS< zzIDw>QiE9c%3ON-aLdg#Q=f`v5vdpYapHzmf0;Q;q0)tjH%cwQo1kd~#=DQ;d)c>! za29lGoIiU3FU`3P3z0Jyb(qiMW@qc=x)Z41Q{G z$GmHw3mgPw^d88R!a6Nu`IxCr&DrHW9k!~+hMfA0FAMsQ7<%*uz|eOp{}w}^$QgA! zAb|EVP%Uk_9?^<~(s?;{$6aG+tGiMJWB=!g^J>^Z>RonIR^Kqy)9!)JwG8K%PQ^St z2h!*ii5Je`O&LRI1bHhvSFrrj(>~$7zJbxm>P_fZM%X@2i2qz6F5cJ?^lYnNbmOQiSr- z?SgwZh%3y#7bbEmvfgTz8FN*9^zKHvfjaMQ5fw9AUMgdRXir$JD~}_NPet~^;u{;x zn#yflnR0(&zJ@BJ_dX7rGAe|;^dsy29`6-W=_Y0fM0 zNkPdN3=t}9Ul=IpA2jCS%@nEBA1yAA ziA{^G+T}guncMmxo%Fl6{1!!Qxu%C+TAPRCB1REAl{eQei%hE7+Cp+c`sBZ4vcQ@$Q{XT;#Vhx|+K+m7Az4<(Q zt)y%sODQgAZa>w*(jlJ9;SExIeBZM;i!t)Et-vgvza9=VfhBWnA2a>wlso)A8z9h9 zqIVY1<|@@j=@Xt;tE7|TU(QM{#GC1j;V0~Ao%*k4(fq|c=agBEFDPz;`O^py4cX0L zo#uLe{i1x$K38g|v!RIyI2OC^Tu{}R#tY_`E@$noxcH`{SI;YzSuu)!rIb)3M}k3D0m9ZW`*fFx^pF zQLU5>vumVEzg>;#KfnfeQh&TdQ#eSUuwYC+DcBHxflZdJ9{XYImA4=M>rQvY%%T5| zc{Bk$U$Z~3xHqgWVpM0PrKzcDW+tsC^t(fW`#wGR!uB^O3<&I==K*cY7e)JxKptQH zFGvDhU9OEyO`TDlrzYL-v-*ox87|v>lZU&;*zihiH=jd3nLDk9C2?A2$WAk_2!Ay~ z2bx^`IVXI>g8+f-IE8HaJd~q6*a=5NTHVCHYmKpUW=IK`-<~7&tuq|QS(OFO4II_H z&|Hn+e6+{*Ebl3kV!3uvs^(zpL45EYrR0>$l%~?Fpr(=35-jxr<-%wiQcZ(tg(CUp z{+AOBh!tA%e@otGr_laVp8>hd-^=p@v!AmGb!+t>2s-xR7k+42Z1ep2RHFQ2ic4Zi z)#3+T`>nt2K@Xn?MSfv3V*f-81#8@1X_D{WX8iV4(vLL+td1l$AKKQD*s^#c`A8e9X3QsE5}uyUq^0jPC1sqYZcuUWKWy6qXQtwMTJIzVa#Tj86m? zy;T$)UO70F_M(yVKdVD?m5`DI)(ljt;8kVy2ptdD+v>H(-7NXhONfl_Lo(@)4?k2B zl1$@GXSqTI`|gb66@H_L9w*&?B>DqMTX|C614w!=-ZR7OJy9)N_d`31{LvUpQ+4HA zAC{bru-Sh?(sQ7}7Ze2mJEVYd`VSOc9OB8eAj1x7;@vM7GR-LXyfvDO;{1>{alVS% zdB}pLgTw$Oo#YV6s&4W6 zb7?l)Bw=WwMu;qh-Tf{GDz317%Ls7 zEhpi4Y{{Fd(_mPvpUL{F{YWpIa-qV6tMIWq!e7&u3lpudz;>$MWMhRG8w+Pp^{^@P z4vD(9R780JD$8ETZ&a54g=DD+IYg$AF1l-JV_SN1V^k_{*}EjG2~Fo}6Q~y^BHIc0 z8#;zxDqb-iW+TbbbhDKp-MxBLLAXYcgpvM{toY2j{ND&I8oI|VufcmQY809`Di4w6 z?xdp~y@p6>@2>xqI9io8H%z$t7m)=U+=DZ6Wl5rZ*5G|>AqRYd3Q)r3HgJ)xhuH+p ze+Vt+(fxaEaAbpGg4a)V3x9>j|E2ZYY}zzAceNUZa){G_zFi_6xIQ-0+JW zvoeZ9?Z{ec!a zd^fd=xqfA-`ARhWCZNh}DQ?_9penew zetE{7?O(_=Rw*A2jv(#3A{#S0-SPs3OB=dO-UjSh_jYMb>GpH8xxFLG`cy{36TAKB z0~>Sop~OgQ&)?0n^EN?#`G1HtE5ko1C$w0zyyXE1u#KFQB)mgE%QYs3)c5`vXnh4O z52|pp$PH6-Ofv0(WLjZZk?%5_5EKw|us@qi-B}UnT zmrTx(qB5!wq~mN`Vphje%ci95py$$0zw8N9Hg*e4`I7T!{1WyW3$ zg03xAVRlnXM329Ry+O>YyH3xJ_0^5wv|y-g`m$7ZQ(c7sHj#*$c*R0HHC#hc2a?%} z+?sM4kJZ#UX`>sN-=30_?Gd>Q3dZKwHxEq?abS@edIsE~uGt(#)6H06y)-2uc!6KgxKU*Y_%RtDV{}(t$IT`(;_aQCC==kj8$(l~?VqD?-Z*P+TMGNa9a~9RRnB zcm9}ve>3w=m$z_ZJ?z)}$Enxm>G9O7`En8ds0K?KnU|Y}Qm83JsxK75plXd)>b(65 zayY6aH4ArXe<^R!dt+f8p7*!mXs8BUZNwh5y}F$#+Q&a!h+nQjvQgK+JXR=UeWhPpdR$n5^^tPAwYY=E%$ zO^c1$ljZ+mkthcjTpk(B5?Y)}8w9NdQ>(~|hI&a@K3Dk3i4fh2xei}TxwcpM)b z9u#s{nxz4>r`EdnfV*?1iJg7XNSMQRZBl|6M^3%IUbV(Or3X&^*a)K&Yiri|z;$KG zgSziyr@ee@PhcCWVF9{CldH#PmwO$Gjt4NJof`gHvTT@aHhRd=#36P z@;RT9N@0!aV7a^eOx$xgI@ha9Zn~ zYQJ-*VJX}AA<6J7N4@#Q7UdhwO-NqAfrzXldG{K)2YbL8~L7)2DqAnlDvl0{~k-HhG zL&w`LR=i_hX>NiDwt2|;O1<<0O#GG@si#>SQT(KwraMyT^3sNwqe+HsLCED+Nx9_0 zu~PwTj?wUVarnWUxs=Riv|6>1LuN6@!YQc;nel~B=ou&)`L>UCMCXrUt^pT}x*8ga z#K#5m@up4U*TGP({w387tba9jzQrHJ%1sUi+-=; zj!aKrsg-xZx^eIge(+Yv%qBtk%Rp z(kldE1M!CO>*%!a6!fxnmAm>Zr5t5(timT)ZWA7cL_f;-*Jc}-oIB}=n#i=klUm#X z+7Hge$EJEyfNqdFHV*^6wm%-Zzru0Ba#SqzLU~ULcH*}MiyiZBPbZer*<#K(vOno~ zeujA?DTI!P=Lf*>JpAY3nNS&4!oc0|O&t1}gDxA6xZG0sGZOzwY;D=u_m~TaSvyk7f>u)amNaz#4uZ#~mocvX z3kQ^r+YTNYg1ImKhvB(p@B8pj# z1J$W$XuKHf`(skx#G!yzwf*FM0-9$oNt6Gq4hhCb>(JTx#m5%WbYHqZAM$L2SM82D z&!iU|B=#hzVQhFoJmOA1*t7L==FCgXm{!Yqu;p=;n(EaDOS=hJg z&3>52olZa?5+TNoqneW7H9}DR6Yu=b6^fpS(G}Vv_CKr8pCL7^y?c=1+P#Rn-;-P% zc3XAaBHLr#J-4#O&@KzKPQ?H0cRJCnj8-$nC%)gDiPB$b^MgL)B+0RsP8tEP)#688 z)eI)n`%k{apaOVlY76%CyQ^}h;ZZ+O^k4AK5=3jRN7ouHV-&sK+x)+{NK4n|BA4Wc z=fv2K3OJIu7c5A=sQR_VuVNX7ZDfX~X~5KSB~GlwrVfIl@kaHR95joslV%>%xQMYq zoeXEpoFi=l73U?yFWgrD#Sryw4|<69?+EA?LlO)9tA3+U5#O_O@7nfxU(1Wj;X1I2 zKAgVl5R>&m${1pv3p***X;1K(h2ne#WKZdJ_7f8n%mSSMy;AoJnqva!*M;?=F~Q`B zU)7=0Us6jJEgY`(F0kiUo>d+S{fkYp4F@WG?}trMQeKtU=Dv^DpCnxGMt-eV#2O%;))LDtOe|y~-38Z`e%1L;ZuH@(xr*hQDY=y?$S>M%VehEbrj2PDzu8YM#42A)t!){#u!W zNuANO+KDrYQ>}0Y{~AQ_XVV4qUV_*4F?lS<#PUlx^8?kNS)*q7YHcotUBz@9{;PBG z;V$bx`iYIdG14Jd5{h^)4m1yAbfsN$2zh?uyC_HG-H^def*ECmft3{g{KgTiP(RPd9yc!+uVx^`#O z&tX<)0jHS@U+z}7npjZ2nm!-l@N^@Ik$RU?H-6n{&iGfCMf2XM4&~(kqJBFO^6!>q4&8}Nxq8y$LiIQO4Y^;v(T?Ez#8~Gj2F)dGC=k&?e77rR91Nm$Pk?LL zY{WUi(tNh)Tq zw|;z7a$%fm4B075#o)a*N-$yR97MardQBMq95t+#9=b9TggwlbuQ_Uk7*o^z$!p__evS`T*yZCl%)vR2gCEUm-@s3>eOVVZsX0EI?{YSm>fy;=B6WX5-Y z|Ke-fr~1#(g3%qaStcjy$ka7qj%kOh7!uz{RUVGz)#1e(TDbS)?`>SVDO5_SG1hMa z0b8i&!Drw~Ye|-ZT#kr(HdRGtgxJ?Yjq#P5(S(UFaQWEm!q?b;M?<&2TzZA~%C?ml zNGzY63oyu>ppR2$oZoZBVYlBLTbt%TmoBv@vF8u7an)4>{F`0MPRUwT!jW~dP3?Ys zGWX_6OiLHW){K5~ZgRO!`Ld10p+}pP$1QW-C~b{s&pHwCc;E0c*fgsln5dUIVq=&^J-cr0AGNsYfz z^eqxFP?(jb8V?v833In5X~$Epljg&8%QKME5xC!N8dY@$nNrh6(#ONBRvM(Hh6XO; zMocL{36NDjHjJVPj?;foRd%{)s>*Tvjpyav;wpO20*;c@uxONNeMNIJvbazrplAc_ z&d_SHTGM(^zou}jV+|^RwjT#5Gww7V3_gM20nXgp%K?z%F&1NBZYb2JrGrzwGVRiD z$>$bq#`W1*F=g=$(|W#{uI`@d6ezO|cuVRMa~@w9a&IGetGrIQ{(n*LEn!sy^xjcP zXyef3RllZY?!=EIV@ts@2Q1#*%%*^glqPyY>Xz9x*{Xt!0YBZL{PBC{C@8{{OQi+C zT$JPWW6WLqIHCi%r?zzN59AYlw;o$FA6t(Pt{7JW1ugjZ)+yYH{uLfRz5S@qiru<0YudkTKT!YdvM(Tk6AUY zXVE9KdfTvgjQIJ`TS$hgcB#e3Rm{P4p~Q z_8Tdwn>CeW-mgW+b{wBJ$xFPwc975am9-0wI!0Y4i>wZkhN`?Q#wEEurOlOFP;Sbv zow94@uPwVq(Uh_Mz36H=rPvD{t>npFnOLv@q=yYHj_` z6>IHG;<~L+n4cCi(@@8K-qa9?#!mRgwOl+`HQVj@JuMKf0@hk-K%^m1kJ0cqxE42} z0~j<4-_2AUPPr<`74S=H|G8S_eQr=4C3m1?_vb?mu?u%;jsFb2X6xQnDj&F1(w#}PS2h90=^=PLk6cSmTBL|Y&i?aJ zxMe6yp8BibLhmfU%hJvxa{iCU9>=;|xYhcLoYY*4x&~xk)g5Off&~PT~GG|e|!SJY*>;pt=!Uhp^=V%@=)PTd=Cp;EOnJ5x;GqRiA5#$V&kE~A$cc#G99p3 z|E6Lik8yWx&Z&wNpbTyo%J7n1>eV}g9%6ykn0I7lvA!!d1%oHT@otte!l=yZV2I~q z!DvOZP{G-oskXdk4v+zKa~wO`S%9y+;{K87Eqa+)NrS`XngEshKZ8) zR%!J6u4weDSFbtuLj&??EHjy2yKTW|TU;U3N%e)2st z0F3sINs;ubn-;}F@r1nHSIr$fpU5ui6p=FG!FI5kzE$eV+GIi*8O!!u+5)CH_ zJM}~ypj3VQ@jSPuYiab!%G!U`fzD?YxY>1yUq^Mf>G@A$O{`?OiZySICsNQagvcNc zi?Q~a#i>TxuITOEE+6~AT_nPPln^=jE zQ=s?wCw52P%rD3Hn35UQR`h4>=SqUtil9E}hAY|nv9H<*KFsa$G8aW;P~Uys>3-S%VJJ7r?s^*F(wLGt0Jb%z z^n2d}1D=b{bZBO{W$z}$*=KyW7$-%zRX?sJ`Rx5|Diw+B7g#|dW-3*o|;1FBAul*ueKaPp!LY% zF#^(KV(bw3j!ysUzew?HMhc?68qW%UZ=6cfG=B0e0b3sSlugzvu9^m+?)beiMjK&_ zy_I{QCR&MT+Z3<oc z1ZMiPdFthpZ{{fp4{Z#t(Jz#Dq#Id%@G-jWqIc|slKta>FdR*Ywxk?WN^wyY9G1Z2 zft=*3LM}MSa@iBB?&WbA=fu>^?DqwmSa**`zJRQ&>W9cghW=nljf~}xCc&s%fJ5Mf{pyc&hB-D z$8ZDqpQ|CCVYdWxK)fjCD}95`!ESYF+=Lr@SAhw246h@;c037cJt!<$d~XBnCO{na z&q8f1o)giMSF5PHKpkt6wtW0}1*F{X%{l8UzgRRBEP?nQ8;yg?+cTfkL)iRJQ=7IF zhT49mD0qZ-8x) zn)Ia^yNLhN__X7NsZJb}#HT2w&@^y(D@M5PUuM}SpypJhwOcsBz}kHxVGSTF&j1)6 z?vwm&aXrfbM1j84h64A8S4=La0& zsEyWjhHSOUF~3OX$OV`B<1yvLieWO&&xxlZ-SC|61X54k0vg~zufu(YT_`rx2q6i9&pIXKs{ukaV&jX|!8dg7pe;>l5S0x!e z8lOauw##&o4$LEIi!|z!7+yE?9*|L8lj7-PL!IkpgWNl2hch_o(cAFJ{r_V_8AFx9P`PIdf|6`&gZmK8|ikxqKqLl`Y`oPmwhF1I^9 zKt*L23Q?@s$H|L^i*81zywxduj$BCTDmzb`GXHcE_!7C`euIhRr$xVo1J=1R7jYGS zc%)=seYrY5j|aqiKR z*A}BVR6i>*h(t?WEXnhb)$C(ce?uri1_A2_*_V(FrdR?eYiR#omieMU8`K@ho$6VR z*b=qYAny^2Q??X3mkDlWuwjL)Ch{K_9(ru-c&!8YC4`vYxdq7ysJrhd*xx2WS6Pvc~==&bac52@*K8SK00 zmz;1J9YBXcDO?iN zb7hy*9zP&yFnypf>em9j2_I4G7vbeAA_KDLdpM-`;{py52Sj~~h!ZiU=tPXM@Ck1A z!^%pRqU|aQesEdzz~UsIGim7XE!T=cxS0JZX*bC%S_3a%HbNXx1XoHZCtvq~xrta_ z*xL+H)544ppCXY#W=qAjcd?;!*;NZ0Kfuu|i4`|^R+9Sn-o<1sRRh(Ztp7&pB&hD% zwOP2~eZcl#609PPc$hFm^mg%APcad$2Tc2C0|c&83i%cI13wxB!S;LK zx)laD^gN0vN-i4p*XK!CL-6hY_!A;70`RHJa z`L{}|InTS$B&__SYhA-clSaVONrief@6%Y@|Ll6WS^M4f5K~AaPgXkLF`*6#p}MxhG{8Y{F;glpCS~TsukRKs*WM^5^LjKvpj`ap^ zP(zn_GrY7ITKW75HbQl>sAx1)N{eH;NjwWJCCl)di4+B;?DZ^J5PNw5!)2$}-)J!x zXX*(`@nqY{!WEE;LF&?4xM;qpyvQgiPvyCB))0u|1l4Xnz* z6456!K4rrGi|65bCt`U#886IM^K~4n(8nvL_)QY+b`sUsN>tXwg5$jaj7&Sh$U>WF zQOeES7=}GoBAnqwiuC37dH#(=m&U)G9dUua{fb# zA$wA;7XnS@W3!$1B^DqEyGd?qh!+AJt@mpMcXcKRHjsOmYH(f**%`uoS=szPCPNAL z{-vQES@3*GPT1Cc=$QIMvYUC$+JoI<&VVK#Lfk!CZD066I}T@ex7;jugkwR|EnSCn z_{E@$@7F0br^5_OY4g_<4;Dsk0rSttNnm7jZ%t zBsHw=W(_a}W+|Mz{a5#B$8TG}B()gQpsCeD&{X7GG;c&{YWPj4kwMf0#{%58@CGsh zD-G==g~31U$0n}Ft?sh7#8k|c0AyvbzHgfS_d{M{?t6@UW}}Ww3J~Tnl(Yr!og+%- zzO~7|N3bstYG_ctq z>eqyTRuXg-AXc$m)u$CnCE_u=)C8{m6;Tyc2NpGTtB0TSyd5w!U{200)nx8S0sqnI z{y`(Le|SxcZ-}Om@PxQK)7(UZ0ZSsP`RCBOl~F8_Na$T@=gfCRO;D&`&V}|*P{^22 znHQ4D5(<6%9b((rmh!N>0>hW(N^4+5xQ!u(w8{AcFw4Jfb<3gsf!$Wz&kGq-_=?55 za}82V65zlAFr=@%W?65)8z2b;0=@ZV=DhyZ#!p*W029+SAmg*BeDcI%l=8l2Y6`x; zW(l5Y*&b2E(J#?MYTTJw)~%96tNDwyc}YSoJYPka=yAAD%f|x8m8e5IpMB$jJJ~** zM$f6`aeY>4lZ9Mzgnun-??6$xfSz7-ZG%MK12rvDckwvu1GK)f*+bU8lR#O2{IiJ( zjm9>oQu815ZPi6)aY-KrA0G&_{bxL$E)Pd4Li4x#lq#KXngVS~?>91OiFdL6#`FoF zUC&k29cRT0Bb-4#t+sRc?6z)dcLv+85Bmnx2 z$I*YxvgHfxBjqV}Y8h$ZUmO#UB(A_+Fg%f<@o$HRN@V2Rx|9Z-WcP2PwemR}Wk)rD zyaN!#a?to|hmm8l_fEpKZ?rcTsDh>=tTJHpm)^jjfyd4!WuPIdy9D$@5VdLtUU1o= z8?73s$UNCsZNQHqlt1@3MzY&a1XwKD7p0N(i;u+{4Qn|>NO zmf2ABQB8oLvpL5Rw0&ssSzE~VV>|7aO!6pqM;C)lwp{}7<%1$`AeKCWW|e{t?n)bV z9D5I+a(Ak3ifhe9-;j(a{K*p`GF49$iUpn2_|(AN-wl1r|75w}Wc7Tlo_aOzOz;a} zG?;D(2WEph^;C45Y~Fn^XA2-_EjRiwvA<;80WgN=X``M~<%Vp2DazVX9~pFs zDn1WH+>c`fyOUiEb@Vh2@XK3GTFPFOYyw4w$N6?gYB+@9#8&*@w#gJD9&JtkvPsSX zY7)OROH%qc7I4HwrS~oE1N++ZbzR!y)%xUD+RP8=tT*#Zalz}2@^GMW<=Yh~)QTI< zAAQZ?3w%vwgkiuac-iD9jNQ9ZT7Gf;(L46zK)@aI6YntM;wnbD`)pWyfiZ2>cYwt} z3H2U{1GA`YH=`^3d;adphp}Nu26HRCob&2}l5vrYsU#|TgjG&Wc5}TE!t5!PY>Az^ zrjjB%V+8C6pVqKPCICMnhF}Ahm>$iI6yOjnN>0*3R~HxH?B3(UuoF5ASN7lYHLI#G zLGvpMWCnlFWjni zRkL5#O-Q?pB+ztWx$-OLKeQgD(M&EiIz;uo`|d~EtAB>dKltX^W7pRVfEsL(g0UC* zTW=!zO}A(@1!C_`HpzK9@awUvtg*;5DF`C$*Acwu>0*7=#?9k%{4fU&9^P{{Pp0% z23_-==&#n<&`Mr@4nmM9`ZLur1~;fAnO+OrjQ%HodS+0qNUXR~B6KwqcvJ9xRsVx4 z#XnYcN*G>${aXmA1+!J{100AO`;~VTg9; z)WBYJApUqd&ESojpBDRduTz)LNd2IC;` z>$Sp2<(bKcAC((#o|o9E6w3$&7`1-hCV6b2Hp zrbD~2V|jh>R4lewG@JJ(AruI{x3nlEuuyJO`_G-(hcElFN$<={X`z3q=kzxyi8Cvk zx(!rmj8{;QR_7T$?RuZo%0zWF5)gdeLxu2jAr&wazLJ;r=if*Xwd-i?yZ_aWJ2psm zT*7pU?#GkGF4_}2S*6#FU(6u97kOle& z&pV!R(Y?O2ZB~CghxmXVaWK%Wgh__iY(7BmjgL|(CwBT~y?<@j`u9#9-=!zF%qxm6 zGY@a|)4dG12h>`ho%lUTBGthC7O!%y`z82KF!17y9~Ib6#_1?ckx;0hgVBkbh3P^P zMgu3JNG3cHsF4S}7u2Umn?Z2$sS>=iM>P)3grusAB$q-ja$XIp^8P&vj3<#I4wPp< zxw5uG7*xm_L0SGiB;I@50wLOT-P9H~_(x0xB#}t*M^e^~?ea}c*OZ`7t$gOsrJL|q z3ROhI3?bgot=@i~CY_Jx!gPi*8bi$HvwLS(eCDmc15X@NKWmN7)vAu0;|%Ox529XsX)eU zN+7K3DP=$7nXroiNSHlFSyk5e7O2eIT6$&5Fif2 z?lyO^s(;{s@HSzV$-jUqFpnF|vLi4-mi*Yq#$QH4!2jHDdgX_ryXk5rY4}v}38zo5 zQ4?2Fd+Ew4A#jk@H6MB+VH!K|{^pZ50dS z3iKfL!LdK+R4|b)0g4Rf+-Gnd>H7o^9-X+8#Z;d&rH9W5wm6g3M6peh;NpWc+t|mN z4+t}hY0*ln`Zjane~F$!r!Cn-IeY?+4VFfXsyNDbdrw-}oy*t05dM>2MT#USwfM(M zPyQry3Lq;gkKI zuoeSNg=OI%6x^2jm9srw|6t6d3J)-5@vH7_Gbgl95PMaX;Wm(Eq zbIhnSNtXw>K^-1acyr_Xbf)89wH2epzL1-q)OHnbB4R4+<^_`;5aT3;qI2(;fcE*J zgb1OAbBJc+{c4|lue!T$q0UBTpZG@?y~bNlacNEUA=LOeq%Om=hSm640=3z8*_+~D zG~xXl=0qRVgvY;!)PyIbBmp33Y69WFxJ*_w-$qs~AWnqProFFJ8+yx`3?;IRk)lZ! z^vUmm0;+3iFeDO%1O_#Aj-+dme;Zw@`36kTZB+|tjqZlfuFKATqSt#`y-lXh{9K*= zCT;OxG=(i|UC-s+R?cmz{r5d#XBmBe&vW{fHPM%K5evwD*c+$^YEz`rtoAX&eeJ%o ze|E*YQ2&!F<|6>K%HSL6iMb^u4ANDWJXQMU{kiW#ZgwVpBa0e-ilN3EcezQ;b@u__ zTs9yH0O$P7zK~w50zjMx-Qg5-TQm28vbfFT-)Fg<=R}Jl5)q<|w5{oEE!O>=AI015 z3O;Z>qlwQ3g(1%?JV1r!VH-F5(tAzOK4!_i%_`2Wa3lPKMtY-P0p}+>qCC_EqK}%~ zR5csrm9R}IdUt`7f6d={P7GvOrmN?V#?|DyA9Xg|^QHm=Km4*`4`4X~LAR0ubW2Un{P4>**Pob) zd&K?>_kT50E&JITz|Kyuss#E=A42Q2_Wg6T&wy6ywQE0+DYn^(#C9Ty)&SIKUE;h? z9$kLeT5Fd(8xy%dSqoqFoTK*~DI<=w*i$v-nI z&f=HHPmUG1UET8w3`O?t@6yHpx^aj8FH++UBYP}>n*F9Md_J*gHq&})A_1+ToD-m19=T3sjv4y5e7X6~J~Jx0O+=WWQ;;<q2t|K~M#0C6At88TU z^Vc(8#5-H;VU;9i8%nb=S zx!_bCiKn~}(rl+`#2k_jBrfWrR zRTf3N1MZl)9K_d{wjVSHa^e$VS7aViWCX`eX#(DpSPX&7p&xst4ib#o_*YRhKq6t} zo%4Mml#@C8T1BywYYI7%aYCKm&e6d6;vdVwueAKWo@;)bS*KA2_9Q6agL>FlzLojP zDbrUB*F{27Km#?{{NgDM(5pEUr$ZGYEYnc_;e?W}|C_*Pw&#she^q_s)6bqgaNmCC zpGne9!nJHc7idC&*seFjeSq|QBPsG9A)xOa?=7!iJcy-*6ph2|jd#ZcKS`yCOS*21 zMg5*t(Jo7>7`^kQy}V1k;qudy^yh%4vCBl}3h=;f4gcRg@SDlb`HYth{M+JEJGH-w zOVP%-@ss9Ti^4a7skY{An(_ZjI4yjK_}*Rxpv}RK0_KNYwh0#B?RY30XVQH4A1lEh z>dx?e_@I7e6o`}oeVNh^P#a#IU3v~+3-D={DI5~4>pu$rmApun@FSRf8wCo$n+ zP)WT)^MBB2+-@G2Ia5l_+EADi9YF9m@;tau@;TnXGZ(CwFX9sFm$Y-Mq1N{wcL?}u z$=k{`ULujI2G4lDMbq9sslqOQdM8-a)RRBLX15ppUf~!bEm8p`jp^faJx7VGnso4% z+1nDdBK5%afA79ahZ^0D_#WO-EM@Hl>=W!jSMj#)c+R!k4}f3W^R><0@O7f)xojG% zPW^Af<6X?svLLf2JN9ss151w3b+Z`PO?OAYw{?xN8f;Ivfn-HA6gj(ck#tjO9YLFb z$*3zMS8Q z8&?Wu9-GqGRW8BW(!L(nlKOzj9tCSb%zouwj9(*>iZw-r+d_x7%nm-?@hjyC_uOUE zZN7K^s#RN$wx*otz;JJC1CFBtys}7_OCMgdPCcA@`dr}J+jS4%VkxF?2CFy`Tor;0 zT$Sg^5P#<=t}vY0q#MRjT;4yu8gp}&Oh5Gf@w3MbzBRDZ2f4l!T#UU`9t;)?Qeu%!BYTPU{~WI3CK}e3<6gF=bdjf zxTz)W)qX1G>>Bc(yL?Sc>b!2ihjG$c&{LoyvskZ@ca4PyR1Na62)j>(Te`d{fd- z)-IXi^mhQ>1pCJ{nKBr;yw)l9UcTRufyp9J`z(QuF3?biHrglx!D|puJdJCX?soYp zeC-tdv&FfM?yY~7z)Hs>Y>Xo$MC^+y1*OzE8@712)i>}=i&yhTz_|M~(l+};sr6E~ zwO%-EDfQ^B|Fp33an1((!P^Vc3{9F+-vpd0StDL<1(H-wRa@k3K_A>FLvy-Ao(>6d z34t5;Ft$_Oz`^F&&-yP%pnly+bZuj!#AFz3G};vi zIUOLH26p=^Odizuyt**vdUpHYp7O@M?Rz5T^?5mv2=?C)*Xn|8e{tC@ExB+@t7L4| z9j#^X!=9pr003r{-lFyyCI0nQo6YqRtRXG>_~-hsk}tbLVGRdjBD(9~Zl16wnj~$1 zvRg00Ba1JA-9ky9i>%Pbq1%6bKU=;vusR5C1Mn2jZ241yjXPpD#>BRK4>}I7h%qX@ zE_>upXqUt?EjFnV0&)f8n7Vp>EdtdS06-P=c{G|4jJ7z4yMZ#e^;$Q~f|cwuF0s#GRq@?0pIJ$KQ}On0(g z9HZG}FR~?^e^lhbK|1cf9qu+ePuz&%+oyc_bLC%Q#ru>b`MtFFWr-_p_MpYzEvJsm zN^&w~-DvZYxq|js-OxIsMc%2hIT&A2QDNaG($n^kV+W^4<`yD>+I)OpfwC!!rQ6bO z$xaPscQUewD~L`x*sz(F0kZ4z4l;cKO;yc$d=$HztHH!ZP2<+O*OqnC=XGno8}teY zI|kxSvxaHUdc|~ifpbDTsb@_o2<0w0XiyFiDD>7T}nr{8PnlCKG(dL?{Rw&z5t*ezB-tMZhYZs?x^B+@h z#s`Z143eW3b5tgK*3PBw3T}Jbz;;o|Q4T0j_fau{-K=bOSx{8;qeVVxk?Va z>$=4QU@M^APGo9R>LvGM4|w?=&g)DO=bWZaAdd%I8>T&1)A*dwn6&~}rYA}VFdfdO zL+b2Tl<&mb+|x=gnut5W`Rc8cGr#rOTg%}S^FtLJ6VEgHg(8cr5E&ukT6f-A@=R=@ zd8F0NF*RWBglZ^Pdu+9AtwLKNFI6sRdaZhFv?#`ZhR(2t)vIZM+qwj8QW1Uk{xbOEkTPMP2X_S6 z={4etMLXBmT_+)l;H{08t!mH7kW|o92z_k)w!r2!8_Ql>PCZnfx`!3~Nn+e&1rHZH z`qGEDLRB$@@=FHd+eZtuteMT++}QH6dY|tr6SV!0Pd}D#EpL6^ObltU4Q3I$^2IoI zd|of#iXz<)IPUVpLH{tSFTzSTeuf6Co1Xn$EV$yFifl!+wq`GBtfwP1*umLlAaojI zuSJ_*V^%XoVG2ri4w2BXg6z{$S2n$3LD$h)3>)pb-B@QIr@2~9IzQqlO>7{e7ayBwvH@Er97 z8{5wx&v8d5C6TB22I-`C6rV+~O9yjKZ^=6`q2Zb`k#%05<%WZg)ihUNQ^<3s+C#X5 zEsjhc<4R*xq#>QMlZtsjS!#xJ+5tS;9avuT3ovj)xv^T%Vw?t;1mN@7sUKNb-yw+T z!@ArQA+1ibL>(WNKDvo((D%1RzTYd=Y-S@619$w8kl9{v*x~q zBOAZgPi3%4(zPW2NRB_vXO2c%iFWlG!Z=}mkI_8Z7}t-?v#a@5!)^oXV}m6b$$ip3 zmPobeu&YWEu}mSyha_d##x#SP-o0?H#vB%s-vysB%d9k3!?TR^5jS<=*<-`*O{2}~ zL~RJbj~cP?X=-3qZ)%9P$i!lxS7#)iu7Gw{-}l0G=#M!<_|CM*D>B)xvzO$Na5ZPD zuAqem-V&oSZFKre^F()OVpOQSb>k}c3UJUX{Ge#6I8_pD-Y#0>##QNpMNS=SQ8tL4 z6<-1({;n9T-y>PuT2`>=kVPjr2czy~1s*`#ytv7CuT(G!w|w4-nW-fgn-H{cSda5G z*Y2BxN8Mb!X^U&JL&(=>tcsg-*`iD*iyw355+6P;0)xEqM`%>$kG(qb#B88lTtLK3 zw?fg5C+fMc9`7IAyuKojjR;FB(XU)YEF}t#O!o9^pW~@Sjcicxv!?}-RX+N|b&l~C z4fF`NUbO_i{4~lY<|XTAOgl?3Fu{lPqiwbdyTvM(Ki)2UDga(q0j0b_qVPsVLp8#% z`qTz$X;ZMYwyri5mo&R^YtUgtYHzktQ-|4}zA#PeLKmD9N|@PNKG=V(iCR=Te)9G- zT~*r1trdZEhAIqv+@!lU2bHuOtXay9$@VLl=*wNZT|@^K8Qm2v1J2%^?WuA&*{3W` zdqlV5cY@y~Xi{Xda%?bqba`H-Q@Pj9q>xs&6l;%seJ{tf&XM(LTy;Bw#oWY|2MPIRB^;4?H{Va=KH$ogaLbv(6?iz{C8l_IXs1nl%Sfrn6zS@W@H<{MuLN zm}FSC)ZkI*pd%TFgWjkW%3(D87l+rfRyDH`_<4>lXO{aw@oz57EM@_bIj3n#@Nm); z_G46+O}w}hJ~UEPh;S`E#5@+iEY#2#MXq=@&o#T5tWy}FX`RhcC>iX6SaJ+a9tiamnJ&Rd?Ej|a!K8(Xk)=zt2tpzc)$X(8A$+JPK~P~I3x~c zs;tb||4BynQTXi>dc{1&R}?`TrnMOtjrkU0MrW!<3OncD+A@zIOKB$ywKy!Q0l|Eq3vFTU6}E1}}RI zN?8B?vj;F4$Ea7EV}@J%2CH_B-W>)z-@cQ8+`z|OoP0^*Cyx#BWY1DfUl8SwX;kqT zOIS~%SGW|xVxFeP_b$HC72kv};T&0Yws+MQwoU`HKC?=B+_cN~l6$mz&=8KV4M&+B zXo{cGWn;~6&=l8pm_c}4)&VcYhG!!+17mq-yfa=FeM2Ua+5NNJ!JuQ}_(hDv(1Nx6 zf*W&*OZ`_afD6ZDqNQL?A4R+_zL3}GT2BtL_~;v@;qiIu_DGr*DLnPD>eD@nYAbBC z^!AA~I8F7ZUBy;{;<#lDvOCPS1<9+ol&Wao8a9q7Wp4LauKq05++szRiG=p&-lJ4f zr&M2#X^hVoZ^7=Q?1{`vJYt@ytF71c>9rYZ@Ktdw=c-9fR$zk4LUfm3V2d<C54AkhRN!Q)YI=dpk1qP?=G1f5-BFq-f@n1 zJc)MKy-}<=0E>xutO)0g8QKhj7rQXmSQ$HjBfBcAzU(;sj_P|bF|5`-wg13ylh}Ix z`9YXSQbIm4HqfBoZDEy-CABfVl&`&1J=Ji}_L4uId^+p^=R1>J1r2 zfNja72e8+VgjcX^-e6yxAqQWueFa^f3lVxfW8V8=1u`bQ;<8$;kW}#UU z(P6Edobu_Hoy-dha7WOutVV-3q|s9BSvOBn?h+7_lG5j;rIb?l^u4Zh9?gOksyaqK z%fgML`CUm2|7mSshiNPB2%4cRThBdFRO*ssLpOGot{f~Prvmq1^lnT-#nnFSiP+hi z?11H|b2+GbE53p)?J4FVH|GlNn+)JuefttJ0z@_{%-CVPR6;B`!t&TBI%awWbW+(u zyGK_bD`R8G1@&ZF8)bAUaTGOxnR71@6yc7!sJ_C6>rTA<-SDJwx6WH2d*B`Gbt$^x zO5STp_FWUZCd|NFaT~JsNwpvso^g=sZ9gOcEDI-xb=8bUFM>5v<-NdoE6$QeYDNpcRKVD(7D}e$sC5IFMiMzT0&u>Fu@6jks2;wUD!A zW2IgV3PFkHg@!6T>t2tmRs^pCN%W#7S`YI7*(1PW!itt{HDQAo^9~DoPydn z*OqRRM^jLJX6aT4s#n=|&)8xP?T~bexs&~?l6~QU3w+%#3NG#3Cu!*R%$+e$>i^EM zp{9oRs&RH6S%|~GSpL}fv}>i?8Lqte_{mJMmGHPeHl+~JbUO+@3A@O%kQOjD(ll;6 zS5jChSzmonAud6uZv3OIuHZf6<{QQmjr{SjY`168ebST@$;~>+hh8RwcQWHsPMwzp z`&giG)>1+2byR-STdfpSP55zz9v|7c1t%ZKm90jU)L}A>%BIX)gQn##%lIbX)n(0f zg;`5O39a|{W! z%1JKG<~6m(aj4~f)EuyV-nfB%uf2nZN6p3;McqM4q}~wV=Q5!E0G`>=>%Kf9m)7P4 zrin&HG1EY{Rt)6>V>24V+A*J;C}RJxFM*cj=m;%Hqq3ux6{j54fYWn^373FBppX2O zFR~G232eu(gwS14a3|9{o3uja4br5v?>66x4{`2&sb9QS4GOVq@|wBeJM!&w?~PDl z8)k14>c|kOezGYwh?)7_voEr4kiOO5H=%4Woi4<$>gx6U>D%Y$8V+jTAVx0CTEvGZ z%539h8BDnuT$^Fc6^Gj#P+mHl&gw1(tLz&upvahvjA94`R{NJLb*pm9m(s%g>wM(Q zNPE-XroE|A8DG$K4st$Z`q!fGFIO`;!e=Sjby}uO=QlmGIef4l2<@G!C^G^#J#-M+ zaeuFxwi)`IU`4R9R`=_oE*TlZtb}*yC8kaDz`F9flXyHh6rP?i>f(eBuYmh$8Mtv~ zMyNH~30!sa2?gU#pp11+cvzPI^|AmugzWZ$fR+Js<5~4F6I(5bD~rJ3K`^_HLIV0n$wY$E*Nlk&QU@d^|Ti0kDGQ%3MXuUGS@VOsqW z0gI~EnSQLLy9AaGz&;ZOG|j9dkfl;=||Ssuc^)kPSaJmAg>LV{V(K5zit= z6dI9@PZrNS8Y)O2zs<_K!FD{RNzaWUi0(C8iHQQOzG3& z$ND>#tGR;`>aFIcTCyndd80kpks^~GyBnRSEoR;VbmTVeOCO>#Zds=wqVqftT|gER zm9cRIe=P%7RBWrSd$oLZ#p1PxWJ+06F710oAFDP-a8CHgr6=^Ot0N$mi6L88gr>uQ zud)WmA+Zd&G@ecG086T((-cL?0_)ArqJjH;m42W!rxvtR{H)`LK)-XjDbDHSjmN>$ zermmGR5`%u7#ZRhVNUQQ10z+?ff(44Sus*0%qS8zZoFk+_8{OnMnaYL(RrHH(g@S_ znS(xtCGz2q{cfAEPO@W}O*I7%P|;2%ztgz&s*_qjy^QMr4;B)S(a+4s^?hx9g9PL6lf*sU%36l*l zb}o+v|Gy4ROmgS-Z_(?S@6oHF0dC-^hHGBTkMr_Kyh7^he=#p#SY62%Yk=m5#suDp=t(K}x7tILCo zwZ>Ys%YzqAcjoZ9D^*za8_t-Ru5N8Ng!KBttg%o_AOsJ&Tv7r zxV|x#vr_J*yA3#@;_`Qlg;(4B+CR+9{W%QOrj*--%hAUr5E z9+9o>bhh%=^yjocuhw}S+$z^o=is=I9h^8hzH4R;!EI|1)`aOvCC}*G?vf;2dpB27 zn03cATj|T*#7|WCL)lZ22Y|OSCw7m|myNAVowc8S;OiKPuF1Al7gmV^11^xJD~cLS z*Q1dxg_J){*Ui%V8dU15bX{&54!Cg+|WU)|Ed%x8d@U^SC%zAeV&Bo!IzZ# zFp3DnvU{IS-JWh98{A8e4KTKr%SCozxRI;0SOuotniedxO;sC4-ZSMw0WEp(nR0W9 z6jRpPdV7FylQmWq8sf0$F|#3jwCgT95#Y8z)v$9&M>z;)^5LsRYQL z2Q&QMOMndgo8`2v@9w%k8|1c;E?u)4h*6IPSp0=1|2?r&8nj&H)$@lf;%BTFBEsKT zi;B|Q4N?kip%`*mz$IJ<$J@}slt!1T|whSBpbTSV7)C$$7-d@4k`*^X92 zk;pZ+0c4_4MJZfbrZN0Oe`gNi+vFtv!{jvlb#h8R?f^4G|Ib-h=a!ekr}d5X{rGsa zD(C6Bg1;bfzHErcvK)fr!#5i)c= zF1b<85;rp}G(6)9E_lOby(MsC!`9&hnZoVOml+Ww9K?=0;ENK*gbWoX3w_k6$ib87 z!WS1N2BPjPfBfSfevzqIgc^S+FNI;ZpX}5ddTIkR%{g6~2wvbuKEytI?Om!qb)H3> zmR_Sis5mAO(wf*aZ0+Mk~W~}x%8@9e^8r$(PL?a%#CySw8Y!8vyZeU zYFuXBfx0WcV|dbm*Etcx@&Nrqd!gEOfT;PD#75We~tn~ z6w=x4!;f_{dz3CBklPDyV+9YWUWhU2v}$WJqvxt~zzE=@F96W~joNUJ>cP9%(=idp zNTWK3kN6#$O&t3$`Q$(^eQ>YUq%2~|)KorMU>1i; zl7o)8O(>aU!po&Kw+`n8+?{~xG-Ud`vm9TxS<@Hz9#VlHmQZCE7DcdX4Jmai;TB<% zpxvvEM=%Zdiw;TTXa^5=9C0(KGgjico+>q0;HZsR69^7T6rOx-nJ7%gKKdgXUm7x& zn_^{}3$9ktKL?6l*8pjX(N~@(87|pySjZMp>d**H+;-P-fs}HxM2;WQZf!Q@-464)ZrY zynYZ|=wc<|KoqrLS|ld3{z_a8gm(#jY#pV#6?wt23nU995HL4|p-N^Hk6QAZSQI)Y zj|b;jUxrW$NvWrHiSN(w3ccXL-)tjbSQ-HO4#9uj_63_=W!$E5JJXkq3K1x05@^_gFXrsH4$7LxTE*X)jCCpivF&lUEMk!Se zVhEO!Nvd+$oPJw*#1$8Ql^ttIm!K_c6I$NZWT&Rc8-x3^I`$lUOvod-qy_~85TKE; z31S8Y1byw&)t^N?ZIIm%GbxS6^lQ?xO*k|7rDeiJe`nFr=S`Fbri}595&(-3iA(TX z{vNkUNmc$N89uA6TyuvpsG3D44;GnJixYy>8Fi@BDu*f6csFv1zp#XmHX1LlfQ={P1A`G#yMJ=uO~Tg zJUHFf=Al`02b(&R+qQ?gCZ4QtiSnzBo@gn5NxjSPjW))`Tb3!(@7B!Cgo{3C*XMPRr|aXsH?mMOix zIUd#^P=M&1KRnwo!Ye)CCV6ejhw+J2>EYb7H6uN?s$r~RkHZs%RckESQ!_J`UB2Ru z&+wn5W4e@5FrAQt?jtYH5YDO#~aEt%CoQNDXor(XOA4aC}oC?HJH_L(m-)f z)bhbDUX@u=V@EZ<-BoHL0l&axi>*P9mB@D1De*+^?Wy0_@1@YZp2e%p#plMoGk37t zZjNHu1YDvb49r|ML*nKyJ`_ldwsFs_)`AGp*+rzPkp-=Hz1s9g+#nJ;+x;@aas zSs|Er?AaH<=|0oV9G|*mbdkv!BbDntB9BxGa1ibeNr% z@FHo0ivM7vzYRe^>@VXmrP#Dn5-$q!S)G{YXj zV*ANsp#%DD58z#bRWq;{Y{cUucZ9(Hj~(ItSI&4Q&eq0SIMBaT4ZiuPP+XYVzIF6L zM$SQHFiVOKwxsc@lq6uOXC3a)f>cEI5?vmzC2qpw1a2;#$7yj!+Y}0DXg;fTH%K%f zkw!f+XZK=`b=hS@vsk*=rUbLUfE{5Prqrd049!?Rf5?8lL%jVFV?_~GfDZ4<%fZwt zKkk2fEi$;iJ3^-Pbz{-a(g6oNdqWAS=Db~gN>s^CG(^{#5h8+*tv?^&p*MTSbpX7v z^_wMiSuvA!2*V;?p)_o&ICXYj>!?lBM*XNU?`-Mjr4X@ot8nZLp5tJSg+q8vY_}q) z>>L#h>Z@_7UH@onv1=RfNV^~YeX;Jc55;T!ci~tnj6!tS$$2ag!g$UBxKPGS{fpmrgvK=yK z3KA40y%QtD!a81*bD>Y@yy90!vt8yrv&3Mv)udZIi*}Sg2EA!ZkU-7%SjyDx$sPz& zcVvzEl%^5n;*?wFCFVMC)cKA2Wi(1SHfN9Fax8jIo5=uFj8ooMmW9ioD2>y1CO5Z8 z;0D9=J#g9#B1(_O-5h4=Q>t%`b0{z$5bkuF1p*ov)lV~ICm6kM*Fx#Q= zF>D9~co*=HVqTTA`o?C*sQJp2%wzrrc;7q^?xE!HKN%2ISUUfA15#%SR-7LYqWg{g z1OyfiC?SvrvkSF_v=LZ|mT@d^1+ zfYVBLfK*SnSZX_5lcw}+D>f7y?eAEN9NaKo@BGRI@L{ej(QWiM4(q%;<@uKDXIGTJ zq|Be<7llB&If11{Uu$4d2+N5JKj#~6Bf}yY-Z_*OvvUu(ZjI|n_}9>FsBLpQbSp4r zrxpnPfSwgN0lnwSmO$ZSQE#@|;v58vYmg_ez9G19SFba99XTcenOiX^O)M}a>jQ2W z@-#)?>WF7*+0?;Pb21(mW6;Nh)P9cJP*B`<3-1KPc(Yfn^ zN7H_0F!W3iR6}|+-+dgHmjFe`xqTLjQx68(xf!fcJFWcG=;FQ_(*6IvA?*dZlX$7# z8Y$d>0i;8-Wf2ME)d7avua+V0yzPnD@e`h&o`wT%>kenUmioD2{o$$%CWHy7NE>@y zK>DmZL!tjd0I5Vr3R>ox=k6VFO8g4 zYO*^&RXTYvxlz2|Ii4tCQa``}Rz=sRG)*_+Yfm@ZO?B^oZREkV_}ugM+cA}NnAkPQ z9|d99OC8QZ7KKcCJtaQH4ldJ2XUu7#_P)SOtu~$Uqkd=`Rv-6OQ6sK z@%z%S7^Hyq*+$5kmMNmW!Tk;RZi9K3iAqvFityN+6SqT})3_9&qU^cmz4-#YU(=pa z0|Yq!DLKiC9{nxp>Du7lI6S&&sQY_2w7B-h%oiBWx*ZtgU1!Op6PG%iC-Df+0#-VR zJGDwjM2|_K(tIGnQ=uE5Xw|3)p`bWEw zcBOO^u42QhNd&XnI6YkNSkEdBsOI_H?;MtDwJUdmk^`RqU<}FK!$67cG%y44%G4WW z*Cb~J80Wy`PCih$3}{Q=c0!af&!`rmZuF|7`Pv7-@a}Ij|~b-EIq8yx+7IX0eS`lQpgq(1wu9#)!&9} zNRq>;xc`-UTp`8w1tWMzRg;=Q_{*j`Dt5`ben3Pw;jx@nn5|823i0H?bZO*sqU%N) zwwqi?G}QH^nVer;?nn}wg6Ab3WtSws-oLvX;dGRPOfr;9&jjgdFlj!G>6(Cv`PAjd zgqxb7Ud;ap3KY*|G-$sKG)7o?W2aJ;j^Gmay0!)wnF$Yb`PVhO;8KF)bl)C&xE4K; zOEmsa!b4w`36IM^2)0Ujx+J8`9dl(0sy_DZ`(h>h)E~?QxekRVnv{MC+BoZ)rM?Ai z4BSW2e**>peE~y$8gmTKhEqfwzAR;|j%6#ZSx`AX_Lo+)<@bbV0)l)#UIp9*m+8DX zq0(DB6V?Ax!&@0pU(Bs_ zoPg#)pfiXY(~NWvu;`A$Fbq0~`^BzG#|xaPCw*SOaF&+fPvj8u0e~ZklJ}0bMs=#e zXlhar+(7~5M&D~>=Kf6{9YlDxmhiDte>{FXcD3Z_Jgb4hEpR}Fki3E5>=klwUja<^ z?{rTr`!AuEseJVois#t0`uCW1oK`WiqHL+t&JjGtm0I<-nGKg#m2FNzJ)4NCansSS zT}cU3TyuEWEZ&m^ujKo{IbkmU7J7DJh1J*guMytpJ85kEU)hO8qalxl{vCU$em5mM$AovaqB2+Hsx!I{)AHv)TgEmGMbcuLTK?Iq z#4jJ`3aoY6j?pgS6eSzp>OM&La9b^##&Gbii8; zzxy3i?>i7BvQM%^&}<7k)j#6UL&y>TilhxBvm?^#X3cy{Ge-ClX`Xk!aMl(|^P7L4 zumHy-Bo)BoE*x9>kv^_lf4rdwJn8MRp|1%JLuEsCjzoRf-7S_}n-UYpzTtoGQYx{I z!!#_0-*X)4MmZ9YcHEc-*NLZtz}5_=pPh<%7=?R|;O@uhzHkhehU-Ck_#9N6&uqfxC)8ctvn}5n~@TnEJGwv;{;Oc!ezfW%H ze@$*iXeBg77i=C>^k11#pT*C>kCd-CjhLb{kw1GCHS}-1N?5=V`|toE8dH3OZZvQ! zl(o&OP##TD_a(EzT5aIrQ#s?<;-h9Qvg7Aalo!w`qM4CGKJRMqZ8STwT zV+pFw(hcyF%u!xDbs}5vdTp)tggCmB`om(Hmb~Jq2k|&R>Jy)oPA%N#8;-`XRg^pY z(H=@@`XV9h-by9h*HmsXhNv6YSWGanFF*%jP!3{ZVkAhQ?aFT;f!Gum)cIyN5{$-) zsx%I%c+fQIGbtmuTUGu9i=N?s$;HIl{$INoBr+{OtW%?Vz2qxe@do9}BKa%@N}mga zJVDFX{){t6%~#ol-#FZpg^)B-R%6F_@qYvbzCmdgrmUWdr@jKu&$wf&`@(Sl1PsXS zEBbklS*v!#C!FjBTpgy15iw*h{UCNkFHN*otvsp+dt%O@KrYf2zct$IeX zX}D0hGN6B0v);#p=kaCNl%R3A8a(IdpZa@fh0gBT4e* z>%LPl!G$LF*EJBhL_l2D@h|_;%>;xf8qS2+j-9g9B=|#qW}n5+5H!C;{IqG&P18*5 zSbYJ)lqM)2zT=`eXQ0w0?QJ-X@Aq(8^COW?!{q4Np$Nd zz~|12p|3$u;bV=oQ@NHoPygzH)-SudL;8dJ*OHa-ADJr>`i>W5) z$PgQD0GV-~Zfv`i0s|l7lhUsqU94P;i@wXj`cPUXWfr_m8}ot1k1>jgvK7s5xj4}7 zah<~W;+mt`e9~uY`AR^K!^PRyrzU`a;e7J96gVrNCZ@pC0}Q!dGD|aam!>Uxo(KGu zjDji5>&|!dI`N|E75LC@UZ&Q<)Z4`yYNFuRB*yQ+KO`~M73GHGqds!DHs!rhu+AVu z!KWBo;qc))x3>m5U3-wzMzGM5;<7N>#+*LqzGn1R(SS@Dhfem~i<7V*$>{d(M@Jso z?#c_)^tR%uq(op&E|ghN(BNes`^U>lWva8>?p6km?tEO{z{P!1TZ%j-VDnyaa!rpS zmy>DfUeul|3A*l{mx9A00;rj4a+6WS8fOT}5&K?ygZQecqWtu}9~rwgYh1!a8|&p-FQR!k_JHXmnRI68D{{Bu2F09mFD zOvY#VBpc;H+RQuKr5g&1ADqqjC8?^Lj@@X)fjjM|!7#$XBrr`aUXwpldH(7}#tq&> zhV1MdwS3ukoT<*%D8sX)R9D$84tybP&$8zm>Xm|^qM{10wVCez3PJbLL*xo1;4H8V z9mj-K$CTNR;zYJVv}^#P-I{Gs%fEvNEZB|Hs$Sp?_X^%8lgypV2l|gLPtskhar<5s zei3Ux-;PZjkbI=+s6M*wWVk9ICxaltXE6XitACkOP!@@;LTJ(iZ8Tb{a4*NDW!IjK zEpbw8wHpD1eGdgbc_;27h%lOvvnwMDUiBY(jyO6jk|GG1h$W%0P!Z_&*b7=$lym*51pjv4!-#) zUElecH6`@9cDoTY}Drs%qn4A!#{#+p0u7yPfM$~>ZCJ&){^Y7Ybt z_jF|0QSjh+!nYA;f&Cz9E;;(ewe;LN+4(#}iTpcQMk>|tEs;t!#t0HlR>1@4Weg5I zy=C5?SJ(fX19-FF$03q|SZBc;Pe^-Tld#Z-viuO(F8UTCB^opWN^?)S70I`q3uDZ~ zsp-VO&8^rE?KwWv3^-?YES#YnQMK${NBiE-)(Jm|d-3vkOXHql#Rw{e`qyVwi3u6( z`nulu+Ev<;!U8`JS_uBizX#H%ef-b1;$$Z69R2IAdOyux(6(Vc1HKEWVdqjm%aEBc z8|{KtcsFxmIe8i7L_0o!fwFr#Tk`Gfev63`tEL0RVO_7fFWmcGK{NQdDM2S$sH+2v zdXB-1(*k8q%v6P2Dja=~cC1Ui6Mpkc)^gVJOV%RcGW+~Fv9|r~k@c9-@EPq}nI}MH z#l`><`+$?lfGFALg)a}ql^J_hZ zeks5b)MGfI%$|&el-YO2Bk@pXzfOJMEqK)qs>J-ov_HT7A1X1%QHsIm&Qjmc^e6;F zd^|@&jx}*;LbZJTiT+y|x3Z&ERRWCByXM$r{Su6fLX+l|3vP;S_q19etbDBdOOVFE zd+474;nuZ`U())!Zl|H|xB#!^3`1;42&XGW zL*nMARM`r-9_iSyJ<%8VX^Ex&epq@1Wtl0rNZTU&)|$Hz`o(w~v&ew`dryxXEwSX} zT9$QSBnSoKBIT(0gzC!k)N=N;q(jlI^Kn43z)Y2M#~SN2ahW|>4rcF`E_BXrMLRS} zH^!r4OM1KFI1pXG*85$9)7wm@mV>h+3oPxVdjoXi*7_?#LE+NYy=>ui{ zyuHqmyqv+CFYAr@qEa&GB@Jk9#=o+Rk1CN!}CY*Gn#BeVZg+j)jHm9}f!8OKq<1_+1>D2UX6fHVPhR6s(L8hQy$n$kPSC`bn> z2^|y&MIaD*S80)iqI8fV(xgjo0{dA(9cRXOzS+n3ZvJ?PCM#v#>u%R|E*kHYZza}L z0&GRcCDM;lK|DNj!OxC^fqlXl62>TA^P94J-i=Or231%Ndv2bW{>VQTmrV^{7MF6z zbt*$O0jL~_nVg(*w@Vq*Pq&YX!C-yFJiOTnYl9gT{0nUUM7NPf;>o@ z7qH%jW&tmycK15_;&{;6D|sJZV^|t9_h_E4IsTi!^=rSQK|k2FSWZt;G;EmP`PQHS zg$C51prlc9BauhidUYhr*GL-{ijvjQ&h3$nXyOa7t#pV6+sgK$j*5mm z3yGR)mE8wSf?B~Ske9L4F043vMj{%!un`*pjovDM`g=dD%c__~N43ZMS5fCiXy}KDS5=w6=J$lL14mSw)Wn*Iuja>#?TU*)YR~<3~x{ChR zmW*V5*OsIp6G`$IxP8&oDSc2}VohC2oRN@N$oVm_ zh0lz8oIDu}oy32H%XgaRe-$q8wq)E!GVgw!8*5(SAvN`CDt~F}sbR(}(0L^aFpc3(_cn>fN0cQb5p(pZ#5x7qeL8XvXcC}~YDnh<%NsdJw=691= z*__RPc^H~HXn$!*IA|5hL9&( z`8^Qv0W+yybLHz&(t!M{p3M9wn(A7pR7*Sx6b2{$Dkgh>Pa6E&sX(A3JB+VPy)do= zHYx|hwpKppi-vvcNQzi<=NQ49ct;$}iOWfI;{7?_CzbE##HZ%2^p}}HnOEjhNsU^u z8bff5Y^)0~Xp2H0(>?D1wJsm#Yj$T)M32nrY}}uscC^?*+-SmSfIm?t1uf?^0 zBAI<}moJY|6MF&aF5fQzq=!mArW|ax$92B0Q?jud{>F6g{wX?AGQUN~fRQ9UyRzH) zL`xJE;;9~Z)=xJ`?fT(6FI!&rbDEg{pj{^;1;)95QjX0k{Z%=3VV*^=%7fOhc;T{P z@mkbs!@tNQi6wfPkXP)}uaGa4d_~sDlBh6Dk?RnXrY6bpfHWXZQ)_-`9qH5^#rG%% zWa+8`Of_dHrQ(N7DM&R&>P1MZu_@o19`Y-Fi~RPG#8N$`P3vI61e0~LA9YNXAF0Fh z9sUv*Y2>w9$L4kTsB_kyHk~7lx^90r>Z&!aY0_1!@@##{4xON$B+9|U)_q_cXrz(h z(l}oqd+Ay<&zDuoAMMCrv@fKJ zYii|LCnZ>>td2pMpmuMWVjOEsCAz?HDef5h9=aePV4=zK9D~mn{fihb9}L9y?h)Wg zrnPT;PYdHl$mv1chd$g(>t$iS`c#{G<%Qg)CC*&84qXv#J+LMT9Y8(4X0gxv=7J~a z+<)Kl>E{`V8gNQ=Lll=E?J%#)5qELe1xm}sd7!lH#6TN+`XC*{j34eDLuzzlL=kVn z5%czamraxdB4Aw=Ow8sO9pOR3Fa4=Gm*IbllA!i)QL^vfMM+2}rD2yFq!l}!2H-8? zTCv^9&IsUEEv8Xz>XVG?6e!@1!v!zi(~Ek3S4U>enED_vsX&whHj0q&N%2^4Cz(N# zQfx@hq$7;4i1tIH;8W`VR;hLF?1E$FKb2a4&mCWOj*5Sgxy%%)X+nwrlRPO#;>z^V zrs^^3fk=_};>=%{C|ds*BZgA&J&jm#A=L{S3TFFVagljq!<{Hak))TRG;E>#}{upVEgOS$kM{}_Kt4yzw8Tt|#lXr}Q z<^I&NKmFFSE9jfp`TeNM`Zy6>9%TF;OkchgSq-hZkmb!;4C+QKGr6fOVkWi?$%>V@ z2Q4ix>UP~mPi%kw90Y|&zQI3+haNlC)%(9lTI%v>>k-Q8<+Zc_OIhTt@Q43S7HPQC z1(GwUVIg+MnM)Bd-HXc3A1!kCb|!l}dGk)LLsBkI9_;+lW@QTq=_P;eF z7a^j+)Qa0G3R)_T+R==_sWCW_R88M^$I1=FZFHh-*l9; zQ(twI#GFq#aZWQ_-~}A<{^4Bf{?{Mi->RJcs$7A`d~#vF zgj{kR-c)LVp{Q;*M(yng#7ILfdsZ;yO8fDU>lCTpdjB8mtuK*sd8jBf!LP`@kT=`y z{?!D`C{SV(E;H6pI41)+#6`n-WooyDNsYr_K{rq{@{#kmKOx(UH=YkTh5~FLR9d4IRG7=KwN_Vz!7Bh_jbP8Nf5T%XT;j zP76Ac$6F7{zlx53DXq6z@UrowUTxZyTmS497Ow#Yl+OGhpRmQ{>i>$`4me2g6s(uO z7%{$9uGS~)p6NXjbE~PFa7gB-jxu*-!RTe)M(9=?f$(>;IR(HF~$i+!%~uN zA7{_is;)Sxc{KM*bq;tV&X*w7zDZ3AZ-lg+-_520O^y3F$4HvDh%TSj7csr_C5svg zR>Wt(`+~9*UNY7Tbd0s{%{-(sbGaf$zFAtYtCTwMXg4$lBWPL?O7T8LBo&z5EZH)H z4T-+t8#MfwZ%@N-;v9Jz-vJO#5P|V= z{PdIo^xoqjdc;5qWHk%}|V-5l-Zj6(JC-rx7Z+vsFu0i6*z9u!!_%~D|~ z{=?e01w|+O=^ftVWi8UiilKv#fPMX~-jDhUyYgLauE0;F$BJKe%avKXds4ayn(noCX?yH5r1%$+BGFf!y5Ibtqo-1TR*|}#@N-GBP#uQ?CgXs0t zbW9r{Fa7%v1wf8+o0{Ho(!pIwY0a$QBY9RC9zm+)s!u)1=si`kW}+#6R-(^`(hO|g zsgl?kcEM1_sQM%|OX2}dc8snzvaE&_RD`oEhKBdBS8R$t4i0c6dtQ`2KAH!HQavP; zO+x~`8@G5J+-{S7i2bxENqHNF+73{nC}<IPs^UKJjM$(s*<#0bj0a(k9-_7%`QP1IybtPfiVH+qNg=KTA>KgFg^#y?nBK1%$)m00TahbOqjX~v0rVaGB9M!ey z#1rjLlo!T66EyD9!YbfDIA1ksY9|+MMv1^LI;w*lK(8ma@;kWP*#S|eT5#)9;^yX# z4uY#uotC8^B`pCO{7u5a zpvov9-dUdO2VGR%vwPvM%qT3ECy;_#G)?1OYfPLhic!pRzOP*#dUVi=+s!wdsv4ebFhGihNX>_{*V__$vs%47H>KoCu z-PYg;{}gTY^YoA1096NA(#%<^Natry5T_co@n zZ^u=sc7xR6CG<7UI3%1UBzxIu^SI3GOS=}u=2P5rg7QvY_fVLrJXG*OyT8Z9d$~rr z*(a;MrN!n7f!o=H$i6yx$w&`!rOkW+(~z(9_^6FtWn&30kgOZ!`G-svct-d1w>Wc@ zKd!u@%l0MGrqp`U7nkszzXwf-i;7rnl)Q_dyGBc762m^ChvB&i&AxZ(XtC%dZ(Ud# zn9sZ)18lH-JjdC|+xo{9)oi%TV||nnFj|iFm)+J%b5-#0*u`?9jj{tN=Lo4x;8b-! z0#%T!HHLwjkna;LsJq!zxIc-6IjEJ~*PDM``B;+drs2gMPP{vMx zpu1Z(tC4J|7qvK(jfuHb#u0O!pL~XIu!BCCC8Wm(J>Ud6J#FeEU763dyQxfNNd#T8 z77iTAc7Bo2)KPZF2$@wf%4UUdg~oy<4Ln>)f5^dYPzq&mQNlqH69zjR2R|!bw4&Qc1&c zB=dt|VJDXtQB5;t!g^XE&*f*M4*fJTTmZ7q%L`zhVWxEV+GjpG%vfGKMu1?8p=H0n zrGh=8Bkk$eR8+^Lo$1gZKOdVURrTxo-3fHWU*X&I8M$qnbZ)zLJS5xNp4+YAYR}0W zMf9*Eo7qrhhxJmb-8lg4cGHIl+;mYbM8&uC$Z|9))0wdy>~p*Vfq5im;WbRiOfAYW zFH@a8&(|V2A1XP`uwyD&7Yc%;2MxDR7bV}C=alj+5y(CG1UB%U-OZ^YXIWU>1f)dM znzk~P{=DZ8j^bL&z-9g1O&C{F!1imz)bF1LUrQUi%p~7K3w9Pwu`4P|Ua$@`eeaCs za$4c6Oy=Wp<(s0BZ$8%@v{WgOtFKdWhG|^FdDgX>J}MVI=p0hE1-qrJT>P16grw-} zYjXudwo)?Bdq(Ut?vE&OMFzz1rHyIzRlTKe-JWiaYZD|>db!`4j5xylX*B9-%1j+s zlo5QbmW%m`K~w4W#dkxh;fgcy{;#UwZ&WM^k&?1y?ib+b&r{(T&I{C{4mrAd&F7?o z?Oflcxu}5YbyZ7t=(7*vf56n*-sSrbh$>gFXWk z&NLN64a@CwOY>6WZ;`WXnkifrRktgi(B+Og-czz=cC6iY-C9yyeL%vtT5hBxu_-BIE32gU~k`)p`n2RE^IgBJzN|I?ntQGiVoh zb+KyCHMG|%QfXEF&Y#*tc?MVpy~tfayNLEUa@_vpC5J#uL)|A^t+ui@m@YUm;5*Q; zUgHi0h&-eJXs^S1IWM*TCHl+P`cP*vKg$u3P37>@c3sNdZkF!-TRyQAjvClH?MYAL z(fv!w#P>E<4av=4&go#vlELK$TMvwP6MZP7 zNE)r$x|t)mnbWvj{+T;Q;i!j%0Mx_XjSaw9<_)aMs2g8RUL*Qod9&j>*8(GA_nSG@yXU$dyHMy>B;Lo5WnqL84d*<`-*!a8cKKq|y^D(rp;0jQVbU25 zGSQ)@w=AuC@<-iwuAsNOKkraf`;t$5V10(jVklq&dF9hSuw`36B(}lwkxkSP7B%Oq zA$hJg+Gb0x_(j%*lpYbPM{cO6nLUy0!O^xGwccAG^?s(e+xN1v78+2 zHVQdrmvv3M@ZZTf?tO#zcXY4KlNm@ilxL`mx{U9}@;lC)1)2QPacCD8IB?%^(`;>H zjd|%V&haF`9<&c)2AWR8{vP-h|F6JLpnh$6EQ~#;7XIYJYfcF1&}>5kSoU8SC|wB0 z0HQoShF`jyuFccCS@yE;hZC1`TaPh%Y`VUh`r><6oMhy0FBkc_ zlEk?4d*Fiw(K1=$XP<4&9~&vi3EG;ErLgF;*&m$_4cQFAEXd?QP?pKH*9t%mB~PdW zqo6Xf#S77|K8+xqyODDeBHRM3a47LyCbnpN= znVY!pA$YBmQnG#Ff@n=iAE<~jfOy7&dB4FiheBgCFU{;XY*?)2it7IkElQvu5;UC( zugO_M3g=Dl(wQ`q`L1=WUt9)}va5r(UV52AEQ?$_+I zpk|)YB1$%iU(*t8UK+-`Q)<9SnlT92Xe>TN-PU1nCD&cvLRxphj@1vla%@$(>Z~LV+Nt~e}0lXC6CW$s& zFJ3LO#hhyW1crI1TK&My2=+Z*TK%EXwT7>XHBV0ZsUZMg1WDieO=bCl_`B){-!mH( z{{^#=pR06_(f(CEC{r6Q`PGs%ZeGT0bZd{VErI4IVn z@E7oH|2~rp@N!?ChQ=$>%7o+4ttRTDP=A1LyS@YB8AQ;rAjb@$Z+;JLZ)kow>Ep;R z_hYXI!H-gl^6IHqSB#myTwk^w_VYJ2-1;4P%{U*Of;377;VTHdcofDmXHr!hkLV%~ z64kHHW2;#mZN%gN%Km{`h`L%=d7MK5dYq=egD(PLnE*1FG>a4(+BC^?J@Ws-Y9zEf zAz?UY`y9o!i6fP*BBr|NFk{!+*1a=Xy^qsb_gLWUa%X6~ zo>QIx(2X3iXR6?Xrpp7td2LElnQi2}3>9#z7kt3&bYH9-9c*gMlf50?ROv!n1wfh= zjs3=TKbI=ZX^cZJi39Y+VWyYu$c02>-Xg0GYW8y*dO+R5qZ!T(r#~j7OmIu006WeoaGjZEUFR@RAX) zn*9W3OMkkIJ7CRq103vBNCCAVj33T8tY-3C;L2d9(nQ}$qiiSRU!}_SC9E*hh@z<< zaWco_GoVQ;gARpYjLj`=5^nOoB#A2DaaWszR$PnQ8@f&VDqF!FQ&vsK{EUrr2C}E`4M9^UD~L_ zzM^xP1&5KbNj|ed0j4;BH>YXcxr971z7{!_hzAXTf5J9+>F67nmXY z04_qH&q}kleT@It0cV;HZ=Hy?Al9zHa5SZYj=sJaOJiDYS{PP0G9*nm#$^fnhr;Mv z%+Rk5H2G}ZdkIN&v%d-{G-IS;W{z7VDTVZGdPsf)C2vk7*Ll0y)XBH4Lm}`pH*+nB zjk=&auI9jo4o|gFZV5Q56imt(hOBt#^UN$zN5lxt2mFa09cec&CCsSS@1|)P@($yW0WR!MaJoI+#S;EfZ^>E{L~ptB*uyY-21K=zWK}cm zE^-zV36sIfHP^2QY2?J9b)fSobfve1uJr1O6mMc<-*5$*mgsr|b5OM*&sTwJowFpg zsm2S;apx33~#2w3`xQk(`GdO9;a{uVm)X)f*Cn$C+CM-+FY4P<-{)Q602 zV#I`R`KO<4T-`c>Sn<&2ai2GSmwU+$>o8=~%`Cf9UbD^>$GR~cPa&GkO84@7#lBSu zkj%?vEPakf(UpZ-$EEX1WcH3{!r4Wg$l6LA#tyBT|6IPoJnqKBN!=1;9j`l5pqXg% zoJs8R2YQ>ibx?%20Cnp%-AzF~hv5v~10|`ljNM7d!4%q&OIM5J&+;zxTU@&{liu{S z6lD@+Kue|r2gL$R`WUn_bwa4qSt$P@%$HMWqUD;wPK z;u6wbjhGVpI2=FV`YdrYOOdJ(K`*d>pO;9RmI1jI=i03}d>Cbm_8Q^%(z;U3sT%#{ zy0dzjcP^io>7tSkP0Xc72|n&i%V~h3&x$&B&^POOWKV8&%4zzmTln~FcX^%}w>MFy z{Wb{AZi{2hXOlV?d!o`n4>UL6y<{+a#BBdvs4DVu>;)pG-eSH2k@)i>nrj%#8v6^q z_f#{h{F<##rRLJEn#Lv9r9|2?4vn6eta>BEzHQrWNu+^OQ>L%n@YiVMpDXPyt{#U@ z-+qdv1h)b9529c!6tt>)e14&s|19RQ{N1$r0!^NNOhc!8z3wt$#4fZeHyS^|0EPoz zhrf^#o*pKb0TH?Hdc=%c&&LIk4_5rs={?+^KkEZ1>B$+T=i05Su8#G?lDXQ`%$tcp zc~8QpNr`L=VZKE@COv4QNgb*SRyhT<#h!YJHh3LNkA(#dSgWdJ)2pi|?wU-4z4f`O zy#5I~U%SB3nbi0XS$MQ<>V>!vPpqc=G)A!C4p+A_i-5$Dz+WK}KD%}vJGE7+yFN%P)-xE_o~|CjN=1Km@LA9hR9Ng5VRlqk;Pbla z_|r@vC@AftddSXj^V>2G3o57v--LNWJb9sW2T8a-c?ts=}{W8)g! zYVOjI8Sv?ipHp4g$bO(`R|aeXJJ_QplnDmeJbB z?0_`A>6zyMl+YN+M7KB5WTpDXg}L|C_Kf%S|sv z-O%!F4>PJz#jG+3)*3vi*6m5M3ZM*CB6!qA+)Q1&!Gl>Q>J-4V*i>)FLy3(ATq$(l zZN@^^Sv#pFr#Xjozj?6dztra@UWpfKwT?V};LwcA_H&{lEH7f6OA zH|X{V7vJyMl)Nr-?a_MV^0f?7@DqL|&DlxFicd?As1{|9X=c#j^(aW4gM6$Zz%~Zu)+0V2#>Go`TxHQl^;a2MLrbS{1I^Kg@*Pq7Z zfGgI+>0)3YtG@PY{2fE=kz4R(jpSYdB$Fyhl`EfE*|nNeLg?pI_$>t&eJExE@vyGg27<1o4UcYSFBNQ zBB;keym8;L-UE3&piX?FgXFXAmDzmKeJYyT8nWUfiS7oUgr zg8-LM-Jsg_jw?2Gb#}Si*KtXFI#-=QHF0*T8@j{7+_Sv)-20iCeR4T^xSA$&)dd2izF@D6x@f7*O zK>SGDa*tU=MPh&I3mk(?84pqXaT$SFB*NX|7e(-B*I*g1J%keDPwyKEskjTSV{eKi zEkj2)-1{D=stl8{g1g>&cz9U7TRolypAK-Fn)!t{KB;ValDc)Y%MHqvyh!UU5o4BC z!=l}k1*mBBs;!O(aODj;mf0wJGFnDU1{R57P7KjXIViT^3@#jVn%M>s9hBbvlzM7` zo}m4!9uFBN(wU6zN<#!uV<&KG@Q)0JUDIjghw_)*oFDtj1-;_v0om8Rr@$9qc)&$Br8}q9ujf8>w-FG6Qi(EzNr=nj>7#akOx6 zxR!53eZRd30zQKnQVc$pv~4J_b~T;0%vje7x}2NovWo)91mC7swA=mt03b~e63HVB8-rD;(Q(^eggg3H*rbW7? zGQn9J0aYJSAdThd@q*xE0^16z41mceWiiSx*^G(?4gGykas75!C~ehi2Z^dYkI=-1 zbmv?*Qe>W^^k9{kW7w&{a->wVzR;ODfgt_9GNDfuIeWuG4$k9lA@k)~0u52lk5tDl zK6v#krNGh$npl16^2D|z(API6*E`Pk#gPhAFQIU4KA$x@`OuHs1rdZF)w#q^51eF*(z@Qt6tvkI~ZAA9qV;$NS-hFYbNkgsL*z_avY zfqQt>Aw;O#3-cs0B8h4AQj`oK=Xih`mc?Bj9>k{LbF>@n+PwEzuO4x=@bYxYOeC{m9FqaSg%Bx^mvw8bP-shbi$H?8yP4jHh x{P2<K#Lyzbxrr2a~Q;6C+z000OSU&?9%045gz+(F;F1HQsj zVQ&TgzH+|SU4OqYk~j%z0Duutl$F-@%-EUJh%ftE`_;UqO02T!&!;!TZ)R+V z!6ui-4OGRE2399CopAd$Rz8 z4xs{WZ_f4>+5&FTel9D3(f;jjIRLaT@3q~wHr)rPnFyP#j8SgJd*#>w;Q8cFrT11N zea~;A?cK*LGbkN;-~3UeQNX4)Cjh)YO%d7t#4vHy=+IL|*YiUi;(gh>&&^h%GZMO{ zBssDW#ftt80IjQhPE&br>F7h&8yHOuJ0c?P`?Y8ck_L1|#y=bfj%~7k+)Me;& z2YYIDY0L^ou7c)72_?_i5?LF~hVKrVpml{oV-zdZdbm-OA(g*ZwBG$pMlp$7E}$Ud zJPL6=*_UlRx5ohh#y4Bn*<0fJs1uRsBh%Y3ae*}X*2;_|F3zu-N~atU6l_C5RI2$T z(cdbs%X)1p-{*I$kw2l`T~RE{%)`=kJUlO5b=?}t_!Wg!3r1$>J`Hm~&`8iwFh6PP z?|8H-0OZsKkmVCfR#}+_UF|+$u$Ly7>pA)%st6x;v~13OQZI6-@8R9~`<2hEQS$1a zy{RW{xj-NfXGG^60pIwIB_%}2G_g{M1B&Aw01%%Ii~9-t6mW0Xi}V$Ibwzz|}bARrgkxQZ2EsTGkjP zght4b&z+I#$R(|g(o$_xy;BaQt=aH&oBUF%-vLMhl1tVsh1q2R(T_;UN}Hk>2&Vx< zA9gFaz21qmH#fNc!a<`E{=3J4cYqMZXyt-j+S~d_pCGMVOW*0?hVfprpC>xPO<#W( zmR_F|_4588f(2o9)E$>5W~?MT%(tlgESA)C&uT@-emF$F_G|8VG|u$h*j2^XEq#`~EemnxGRBrT@Bz=p04|S!YwhH$ojVu+kV3V!feGYHqi%LN zRKmqv=$!PGwcc*by^A;qmuSwb;KbTm#B4XaYIN*zZ;cjm7}-32oN@gR~nw;T%&(^J=BX){A zzsq=(Nv@e$QRnxvJWs|7olj|)a-ZciRQIf3pG6v+`nml^Ui{kAIcy`N#Vxf+N39!5 zej{Iuw`7TI8)DqwFf!m3Ozv1}VW7CFZW+u>==g&xJt` zi|j0dq&BSbX#GeA6;^?qPXYt|-OT*_c+r#*362*zpKU0Qu}G}kGPedQe`>~U{`fq! z%NN8e_NVeQgd{$Lk0n_<=>p$hHphWv&R)r{N*5R_PWN_O5}W%7n{iLPYYu<^f=XRi z+d2Ms@2HeF?)PxwP}M>UCFsxUiAH%K_EU}b8S4onj)^sCI_k8-SDfq018VAI|_Lm`Pe4?_1H?@&Vtc}aN#@&}3 z7{dV;IbIj!?Ro@?l;*Ds#Hf5bm+Yg2yc$l4*u+#Yoe%^Q@20`1##}&C<+!p zkZuz@-mhpUD7uYHQUJW3D^r&zr9+5fBb{3F|C>(U|1*SgGG>S5Z+*&4}L8oIZOvvoniTf-|lxIY3NsT+pt z@-^aZbITIMCCu!{vg#>3iNj>~iZzW25zEOp{r8XAwqBOLN#{Z$wnUxudAu1{Sn*6K zVF7)RwvXHdk0=5;Hw$#+)?Vr?j}>A2beSv`iB}&D9QU3mLHUR2VeEV!D8w}ijzCyW zc9{c#&Gc8k!?zTR*FNu+QJ8U@uoF&U1Kq+G3iC3n8&VU!UY8wt4M1zonB;;+5&7zN z>dU9n#ta!oSq&8RQog$00p-asBBSzTx9h59howay{l+cP8}p^9v;CoH4c&n;H3CNk zEo!1Wp4qRie0g$z^9v~7n(+r}qiQSfZOgwo+3h-DpDE>1V4BZQ{M z#JNxJb>+;up{q41+lapVP!Tgc-u9Xa^I0m!K+&1xLJ<=JcXSP4x0WMalj6y)rSLrN z$}K=Q!1|Vqk^LsNH4x>EE_1b~5TVESFk83h{aSbEE;^udZxWA7TiV&}RG{$DPn`ge z=5uzjswUk`b94-b$M@+c13g*!_8b*0-*^w0WEfPp9c<0l@VI?W6{8HwE1Zp8E;h7NJ0X znQ&69*!P%!at?p|XldYbc9m#=2oo@){Zna@__>?@5g{Kb z0K{~P-|QL@uPRu=cS{<7FdbJH*ZqJ6Ndds%2*YHA)P1UE{n6?T81>D|&C;*i;(p8w z1*e$6Pg>BqxfA1fK;IUeQ24Sfeq$pkZi)*$XN^?$SC*5NBfbm%4w?V}oG}t&0zf?u zn1Up--ql#=LJ*F1=r~nfZ*n5zJ0joS+_%wG+7a`xfA&wN`OG3cHR^Cv=^~UO$*OYK zyoW)lx>sCak>vdABvr7K15;#J=jCW;-hthu>Ftq5fN#7R9sq|;3sK9YR658hkNCB& z?8ZjaJxF0TL=G*$FSWOi{8%K_YFv}BVbf!nDIL=hE@&V52Uo3)v44Db&W_I)?nl2o z+VvZEt+56uL!c_swZo77>dq7z~WwO}GV4 z`+SFp1<-6+LZwuk3%?AVgfhXD;0&1b%h&gYPgi<-AtH~}aMQ58p4j9>D&$_sZqW+D zMyh9>S{jhGw$e3k8l=#5pfNf>NslpciBzB!(*D6_%3ja|>JdP-o{Wzk)N{bM)f~FcJCy(;tOy%jb{ZWANlD7`QQ9lu?IY(9nwZ z+DYNg+x3GJ#8d zEZIf(R#Te$5?ppZdlvizc0V~HH;C#+^6y3>$Y;cF?5R=5^{K_q{wd z=sf?_{pj=Ga>aNG<#v{~&yJajd?A|FFqhb)8|Jh6PA_4|nL@lZG_wM39n9kd z&ZqUWElFw8G24;(rDj%gA`X{A%6Fmx_Vr7|2ST`@8-d&p5~{CIYVPUTK3`3;dsa+( zNcL`DD;4_z+5|?zbmhHIrdmHFv~=!1*ETjCYH1bN!RL8Sdl&er?`;H(n`cRawYWrB zr$Mp)Z3(uvCg&*qnQ<4kLdXA?Tch$LU1SQcZ zgCBF}=X5?`1aEz9`0m@87~Bl+d7OtJby?b^u7{=R8Owzk@TU^KEV0Bb6JEIYuv!=Quj`t$Lw@b)Lfw|G)D>$QltzRpQ7;aqt;+9*&x;;Xtts{GapVDsT!~sjID}~|o;c=*&)wItH z(HHuv;j_b|Ir_{6;>?5C{?sgiMZfF8O0Kbin=+cYPcmK(rA+g^4+fp7 zHA5*2ss*fl^^WqX5vu&|Q!8gV)vcr^lCF0}q-Sod_k4)|R5nx&3j^XqDU$>G_ob(* zd8P2dm_`3@urM=1Fe8s*q`hyEoWb!9QB|BL(B=!ABEtQ3ENtYPtC(~jJm9(Gap*~Y z1?O-0k2XoJzvmaaCjMP=0myw;CUH>8%$3nI7Zp0c*7JyP3)vdHoRSZvX|2c|#v!rC zc-K0{sGm0JF-rhvwu=VKfKk8JIVXvG>2I$Y`~t^!9eh#qIhNp+pkcrpSq^Az zsV+oyYiUSH>DgpRnh%(;L?)j4JV-vgZ_zX5&jY(9E-DpS>E58NzsJx4FuzEmk> zpkA?!N+e-b^*4UMKNe8(%rxCRe-D{eUke)q7kHkCD_^AG(cTf)m^Op$#0{a@3$mzB zDx}AgvTB00Pi_p-U#V{OHktQ%nd2NthIOv~J%dF`nQ(tUV|mN|9S`A1cHHmYe-nT> zO*NhGY?SqXb4-)T62%czc7f5GB}w_Sn6P7fJSr(2l)v*rPJ(%k8soM;?o( zU>?}$)_955z9Y$LgJCsR<$WzE?VXwgVKXo~eOWw2Mk)X|8oTUoBH@Z?X;(gIw&Fp@ z7hlfDUB>1P^u)U)!s61yRhBJB{e!lc?|42I)i6If&33bs#90V`9sgD)C<8`nWuLf7 z&AoJKzSl%Ea%tbw&2K3e*7@4wN^(JN`f~4<9vj26yqvS>F3)CK&Spr-pHUNE;eQHP z3E;{X^Lbo23)?#L8{<4NC*jxK*OfG~KGmAWMhV+TbP^*XoS=v9y<4oF#ed?LPPdYi zANFJB=2yI;oV4n%Dusn8vvA6z&h2%gExGAzv2(bXe%kP;cebPG*w+53*Gbz7;iffL zuB8$D)iBk*()3+x#XYGqK@sv17PgrtQm(o0&iRflG)0%Zg0>1^N<+|ixDM~ZTK!s+ zr>=Baw1zaJc|S6E^5rL0c0DdSmR5OJZj{0$G1K>OAd%-y8b{hB>wJ_Ab*gB>u`)^M z;77k!jOQ9C2ic|_$BGH#mB~2*%YW-|01&36ZBjvpGI%UirxX$az&j!^ddlw}`S}s; zO(ZB;_9-Z88OQ+jc&hN2CO&+psYvfG7dw05-Ss%R9Ypjh)5r!v&cqu+lt5|+=U%t{ ziPz&ll~fahlXYzj2H1*NhQPxG+sBZ>J)LjRgVA7Z%9Nzd^Xxei60?bp7WHeo2j z+Glqjl6j~8Dk`iX8QK?=`@=2G^|Ll(dbQ@--&=uh9~p;>lqS0-|J;aNCi4YiY z)}2e3+I{<)D$Ix!kFTOOP6^14H{e&#rY0GD@(rTPVLi=8m0r|XFfe-Edgvg#W$r)rI~hQ{MX^{IZdIU zFZh&M$~G|p)Ck)}J&k~+k@E+>E$GzkA6!jxx9`?#r0Wa$Yxsc)Y1AZd*)|Pg#y^DD zrdeIBH<752So){X-I%w?dMwpeZclMtieSGQUAuqA&yQisqCTYgxH>%51f6_1Xsc!^?(BC=+8(S=O}bL5 z?LD2zFsSOzzLBXi-M1I6J6Pd7iSHp(@agrCvEM||aXuel<4qhB2MknWQ>hx|2w4`1y}a&0#Y^tIJG^_`=3 zIQQghAg34HKaS#C&he@mQHLK_O4}P=*t-wnA>)POeZ-QuA5cOZNtc&czkVeP?1>wD zpzEmc%dFvpcD0#(4;Tu9Ep3B})7k%9D0pB2h64He`eBc6;qMB$y|uzm4L?M9-SMo! zIAXYl7b=Eij-oRE%K|80l)d0feLI7X!T9lRPtRNm)lsLs&7r5IAgP4))xvXWr5jNN zW|t*#+?%H33=D?fuNgOHw%KsFgosy;zss;e8E7_q)hn+yHjns6qS-#8|nqs?sAAix~D8h_|~i?nCe;?-(>S<_rZT;UCj*RBj_U7YQf@1KU0(ZH`>mm5huTXx5=QbN=`olXX3gGh z^Iv3p%|;Dd{Aba2f7ORwdCk-}h`))g&DlcZl2c7`G9L?A6a#rpaXK1?o74@#^uc~l z5m?F@!P7h}whKmuR0hzE4ze%;BWzx}L0AjS{&v?69MdSWQu5WkW#jP;=A%#LeDGg* z%@$P|>m&hqdE1YL4@<-Ioqz%M%ex*6&W`T4Tzhp~r`5S~$nGcKK75W>)1XFPn#-Y1 zx|&GJVrDMV71;B_I=gXC_u&e)OT4?k%hv2?wS0?yeP^?|w;bn!k#1l6mwy6k5B-91 zatY+-pi0)%k6Yx`7LU(=@H2Xb}%c#cMu%?Yus*``U!PL!2Floj<~toijKJyoTKBtCub3n z{&n1Hd0URG4F^zL^z;Ou=P+gkiJw?g@D{^m!Lxp8OYG?Qmhx)b;+d~{^8~4pnQdfX zo%c}XPC|#SE6+P5{k+nU9G#`ym~yfdQ%py?xSw$?t<) z$c_n^GkCJ)f9@3`l(X(@!{;J+Rh!Ug!$9=g>HhPJMFelxPurfcIm^$bfi<)BaU_rGa_&QW?3IG7-Bd1MN}y)PtG`@RT7d!_ApB&Q)U2GBtz65K z`bB9kShQR{zT0iwbCPkNjD zWGZT=UdrPg@8z%f2J!D7`~U!d=bZsh#-#256KR4>j&CCju+@5WFPxqq z3*r8$6mA;z=NqAKms_xv&!U7F+^P4Q!x>**(yz;9262+%ivhYsc1->#rxO&72M$i) z^UC<@nVd;Fd|e5n2QOEqEG7x;!sziPUcvWE%v$A~)Nf8FuYzuR#0~+qRgK2^lW$xaPD{3WL^KGToyADIXJz4y7%!;_0CCf96k-7Vw4i1s||JNT4vp5Ngi5 zy0O4C@nb~|+YZ71kr{ft@vjTVg?7y^WJxGO?}i z?lmc5@NYo#22?sLey}O>z3y`8ZyV_0L8{q{Z*~2&as&~dEYp`ov!87%cPi|42R(4~ zRyBFw;N}D!)@9@yE9Db;X9ZoLr>}h~2X?~<74G5$^8{B8V5>-5q*f2Grn7i|P`tDx z4xKAHi%w9bW(wj3j#8@SHZ@9g1^N+EgPWm4h+`J3nrpB{$y+ecBPPE!KogX?v5x>!1Z z`p&1%kFI>xf<#K08z4U}vad$zj$?XJ7`KTwk|U!xH%?Kr?7O9APxY3d0I`Z$Y?NY6 zN0A89#Jliy|LD|R&Z5SZrXW@N6X|Zosw&7zm_HoMYz^E-Jz%nyJzInGK$d@9!hJV| zAjLDZ9?S4XV3lIdM~wJwURM2)@Rje<{mV}ISTQ*hBhdj*Z#hG)I#KQ_ia^n*>5Cb# zN^J8+4@|B3@cyY}pS{Y-$F__H)CW)A&l!`bgo@aI&`xn96d{k&Ag{tvD@wEu5X*}K z3`WlO-H#fxz&69(dFmp_uk{h1R4E0reEzbI7W}U1zXhFHtskLdJ;}iE&9FC#^zoE( zTHEurL`p8aWFp*RyO(bDkXeQk#46}yC9BuJyoKsS9Rx!gcYH8>!$(~oKBYd|yB?HW zs1Fj^euWq=-2qlk3at0DlK}NMAqAiOS~a3XwqIwy4tXjlLxZ!3XY=-1>g}UJ9?L9$ znoSMgD;CAkc?66azqErT0l{PNV(Q^eivQ;&13#7ebXY8IwUX!e*oT4K z)7bTw(K4M6yykvZbeXd||H#afe_r-o!zf@434sF+re_#WFGRAEv49$i(p49St5t?$ z;UJd^fLnzR{LG5Trj?os4}lc*4g@&8PLC?LlDx4hd9qY!DHimc%Ea)C$JAf6~~HvliJduTvavDic(R@pt9I@8(|m zTWcn?mgJc3c!!`Ge)nE1@#1%j`vL8)kOM8D!AeFIp5Fgw1h@;>4D#-sR0%xr}7}qvf;U>bj_nxQEe(8 zgA+G-QC5qY`3#wdIr6)A(QF^&I1Pd9FCi}Q3#&2N7+%EyeDJi}g9j^>pfS&C(i97h z-8Sxh@BZ6?FAjQ&n7#fx0|Dw45K{IFC@@M+N*_1gp7ljo+Rd(Q@H=J+0D$E~F2_fD z-96P$t~%2c%!aDot_Aq3xX(52Wjfylv{QVu_k5DcEwddnT1B`;`w;$MvJn`_VOaXa zz`1=S@hPC2`Ao{GYLtLwOg~y5Yw45qF#HNG#x|CLqm>ss!lw>a)IeZF!LKz#IBcND zKOc-3&u$IiumwG-Sf!8Z($rpXJ_hA+X0=c9ulYj*#gX+25MVK!=IkPRm9)$xVffDJ zMK{@RaX;mN6y=T8!))t5CXH^zV`*3BLf?ix_)tIVJYk`k;GqZxe zw_(}c@oIv6V54IeNOgMQZksC>V12}Ak?m-7u=?(a=vFo(etX{a3Cgt1|K{>)@2`%a z1%muXVgRPd7+ zFHXx_%~M`z8ik7vjPbw%jK(<$$Fh^fvn{r@U0KOGZ?_uziHg@d=)1{|*FKLQwP7%y zE~0!xO4iS+?L70HKfeN=$I)DN4q5Z2m%cT>c!)b1c^#JIl-@?~s-a7k?cTYnlHpTw z#Y6ulWPj_~*ciH^UUQ&AG38aM>F0@XddkHir@k$_76ZwXblJOu*&o>l--dkp8u)Oo zX|=rHOlZNj{`J*2N4GVoxP4%^QwmL%W^~Pi$e_%Ml@9x~{?S|Y=$glP;q;|!5+AneFIf2n%ha+B3PwM09iirEv&?VPKuC5x?H7bI9is7DHNDmjpoboA zinq>}wn4}ICECz@$EbCZi(k(9(^~SAygqA5%KKyWeyvGc-`%*flM{UyPGL>n6mo`Q_XCNJ?ksp>%o>cs|AzR<4uA zr;sJnI{x}(-0vC4irigE)XgNb%a(gSmibGn{ie^&PiN~ADNxAF>X3;-(hmebB?z}3 zI?ugAzdfjr$zD{eIg&ed(Qk~gs)U$tIVkt;7^r{B@MwMk*c*qiy9PH%WmFo1<#5>>OY!6@m zwj~ZouHI!Pl3^nWJi!gGH|I$5NHX#j@l}+`WaX{{<*-FOno?kwhrP4ZpHwTnfAc_y z=JeA^SWLHqHvbl#o;gX&=$?_J!^j>*Y57t!w_m1Bn}M+;+zQLwa)1)dy(W&|WBtB! zV6Rp@QmO*^H<(-LX+z~06r0f7zpvGN22Evv=ik0rdA0K--y)nY%zo7)Z93?A1+KBWY;u#Jw z7Ej#CF*uu0%eem~2$9I-PskrNvzCs-+LXpe7}0uwaJ*~z#L7zxrkt!06zp9a?qhck zP}NUE*yL$@!1IsS8EU2}$fr5_&Nrr_8DsB{QbyD!l10rAE%ih3u6$$oEooP8Hye$OF9249Np)=I4m4YIX$d(`q_ z1YaKk$K-DVW;;$|a^l8^5fpmkmvpOs-%jjriu9ZZsw^HN))TAMuMWxm`A;wC&AQQ* zOto$@Z$@FSwb9np%+|Mt)1!GOqW-V;?frKW#)$z$q-v^t;<76r66%&u!}BDa<;r|H z)U;e`fT0wB^am?6>?3Z4jxdgHlqNgqFd-H(`3S$<*N^BZ_P>-r7ufrvC;! z)#tjk?8?lX5}eOg@^T*~DMTL0EaRv?QMDK07oqf}`T*lLyZ->00h62-9AN?zfaR!2 z>7&O)fM=C|l&`Cqxjvo2;1jLOMpw|znx()r54ME?LTdW?_y48@sYs7l*K`jA@G{l zmUi;P_P0y3hYv~%11v%L+VjOhr>W6mvG9FR-sigC>~+c0K0gC)LaHcXiRX}pC@kw; zXiFUiBh2`=y8O1m+55CN&$wAC<>wctl(r`=0qRnAwHUIxhS-6Rdk*%@VFZLWX%B@D z(Poi~OT25av4LqH8XyFUx*Z^`AJ8IISpjQ_l@~^EvS!HD$F0K3Ga+EM*Nv$`L|)Wl zc^Wncdroe?4ByECnlE$=R=qpD} z_<@q4F~u(bmAD_CPmg{jwx=M0k0WOLb>dIiyUge(#kzKeUxr4Jhix#U4=>tA?V%~N zmY1DDxF-Ft=SKv&^I`4*Gl&t?qOrdF1O3wF5mIkI1zQ@!3J zqPHFufiw+!bTYa9T|`>73MApPN-PU?oIauMT7oLm)mkDV5pVn10byN=AfZoPGFSLr zfbE48IqlyrNuKHY`v$?$@p}cc01x1~*}Mo?CHpz# z-MgABQJtrLbG4Q;(Gj1g?5{q0_zer<8d?j~C*g+YMPU|yd-HPPK&bi5p?QhEbpky0 z>bFt!j@Rwu=elQ`$Y(bWlxH4=Wmxo^pB(4?U_>eG1N5PyYrOeehoYw1k;eT)zfWSe zp>lgQ6HC!pWU(!-hY-t+jV*stCtE6W9u~fenvSJZ2 zbceoc)Ri(lIlN9^%FS`!+=Iz`lIjCV_@G(0h)OrHL&_*a(Ll7Ze85GJ!>5zs_I!TR z9yKl3N76$MZcvHrMTjy%vc7c+%)TzS)F$nz5IS9g(@?iW>~(XfG&|yWTqmO^qF@nG#1qCXHuXM*J zDu46B-qFDPW<6MOnS!V<%cg!%zYZYR>rY$W#mHn+Rfxk~U?lNl_rZLkf^eU%?!!0f?L;K7gi&#Vo zA+o0@6pE#IR<8SVwKNm2T$uR{n~9$!vCKHKx`c&ieG_c7EK1RDC|{ReQI=@M4^N)PK z6FSdI?)Gg*iPtG^Ys_qR;3)G4ReBMJo>=$_SY5#{8|qR^xNo|}?&b*3k4WxzQ}C(< zXj;DhG9ByzuZ@ot8|n3&zA#7wfo}vMdZo-)U8PqBiS*T8 zUbMBZYKJ{CJ&dpctXA6cZ(!s9>nT>)Jj=nM$Uy2oN&3T;hID#8>10a4=(tOF{6TwF z`xKC!UdV$|uM&^V#b+`YinnWL6E&=9ybr8Du}NHRhCF(D8H%+rQaQFNDr9eG=>_nFiQDDzH<%4bioO90ny8|0fy&{SnR zk#0kAoI#Sp+(~os7b=2zB4s2=PJt_+ic2QwOCM_sM!TXTQF`f}9klPsjQNt%NW|1^ zX|7~k#x4Fo#IdqsV63iELAl6{Ay*Vsic+u+=|LQ&@o{qMmWInGikv#PNg^7fs}?|;ox7|2xy!X0Qoe{o{pvF@W7@$ELn29B9%n5o`l3#{a+LUoTJ z(^T+5XaV0OtC-pXQJYafij+Rp7e$jIk8tJxK_gBNMIe{8dmc|b8Tu!C;$sGiO*1#} zF@FZPe2bF_?|^oAaHZ-y3$0qx4i41j|G)S|WO9#r@Y6`!?hguB=0Nw?-K|aCJh=CG z^@Iw4euc6EvCv&`RA~005KCvTvlBzW^52?v9xDs$q@yS!l$>xF!U*1%H*}GdM2w7-d~cDJUk{Prl%zJD>&3! zlP2N97NU?VCRebzUF_$+h)to1vV9U!%M+FN({8=og6~?yiiO`gKLpd?Wcp(ekfG_w zmyhclvB*;^&wc{en{W1ps*<}#7Mf=}K4}&w#Or3@8hL)KWfbptwM~Mg7KjLYv5a@N z5>MEhI~YrwH(+8L%c5i565_xpLPLx^u<#;1ranb`Q3Zsx_sA`zz*%0l_O5QvCrL|7 zwe9xjA;Mjp3yZ(Hj$_i_0d6SOdWsXti5X3XD> zvK{ssfR=&uLvvnAtu0Y1l=1vZaf3%=C_Kw1)fHCsmXnD!wYH_^K&pcERWJ74u>}is z-75;^16H5>Q8tD0u_LQ&M>dmrhEO!d!Y;gp9k;q1QO-|#ISd-5xFpCbw0Rmy zR9K=W)fFw*P(SCqkdapx0VZ(V1^_Y`ajk1SG-7MskuGe&z`XYO-y2?B!eWyl4mm(y zZh`c~|K{fG??V|T@D=cR4I~0AP8G6x&%egruGBcT&=0=&KXA&*jrntzG5-g^u*G&B zwSJzr#3l%N7^Fe+R^Oxby|i%YcVH@?8pHnsoKKb;T&x3(6;kXiWn8#A|E-ZDf$6$AWl8X*_O+NR1!cPw> zq*6|>icYdtZ1rmty{jxrZ0eG4vDZ}*s_5F`y%}OS}#h>h#ZqY!6vFY z5KV>%@Q}L9VTrt7xnCeMekAe(4CYje>FzJ7P*dz4(wjq+0nxLsaT-``6 z+Da=HiLmCvXbxm})nMFG{eB#jyQ4s3)XtNFsO=iifeRGnODU{SIf}pXr9s{a^g5rh zFD#fq`hC-~PTHON3)7au*;z#I01tUUVjeGglKB^ejWFB=+L^(RdGnW~?wZU}2}#it zg463`629SWl%;eZd}a_ z7Mwmk(yOR)zWadw3R`gqc{b`)sMSB`jECh#v?v#J#1VT`n8-I zuk3w{0dKtdX82uRGRwYu5QEtGf)e{C5Y($Ti-O&;@Ur2L2js_FE)Gd9grjQI1eD0n#cni1AcKqTC%kqaG3>Rr5mI}4gPKcC;l#+}j%e;%Pr^)ot z2#AERo3H^{BDECuJEnl|o$)sAjkWlL8!LY;#&nP9NUZxtIR5tiPQcb59Iv0rq=Og4 z35H3&iC8z~oGFRagP;t@n@jpn9Ju7NUg3h3uy`HU?oBT6X@`acP!|^t#_s-Q-s#VD zDwr_^4UaFmqgJ;WY9c*rTgvT214@{{L>z*Wv!>+Ltj*`A*9f72^mSJb>(5G6eMX)c{)53b|kIyA+K4G2Hj1++$zmJQdn;a>kK8 z%*GW-SLu=>&i-C#J2g@XXM4j~wJ(w(Zym1UFa_bGhJNK%${u!BJgD6mBfSAr!BHM$ zzFL{Qu3qB`2SULrbBF9JC-PH_QpCdkQP}Mq^J#Rowun#9wcHZ7F}7F_X39YN67PlR zqZlk4H4p<-U&rLGhpHb}ONl&?uw%a!kIrINz~#zE#^jc+-=~9*u0+@qXp!v?^S_!c zI^U4R)-%6oKr*={L=_|XVOci>F>n9A7cW_$?Ei7z*Wi&@Sneuy9J#7>mTs2F#c9wecPi{#c7l(D_rO~nHzHy$LF--`| zTjjcC_peP^6fm~ELZs-##c!oEQmf&^1lU%o(aR0T7sgISh~>DY!aqUIdx@K3uf6jm$E^Y$P(gDYPF z^P~Mn_g4R@%=!BuWy=Ps5y{VHS?a|LFWbV$8}1{AB@E!D)rmK$)W~AS1@@6MJvr%- zY@b-g>JqaxPoNIm%-XJ?FE&$&X@v{}gL*@wYagbiuA&q+b8Cu}P^`PXVg)e^bXBR( zm9Qgk$jMMy#U?-Exf^r3?}3S+*G zE(>3dSN-rQuD*IFj!w!*EioAEly0t*1HN76^{R!#Tz1yOA3w{3&mVXmiThEyc|SaW zgTCY$ThV1+#JGsp@g6MZUDK31dst7bF)?z+8`0Lrw*qRCs1oz*a+RV0k3hxU-+6w_ zgg!NKzmeVxyNiIC6YVWww5-f~dtb(*s*Iu4!th>V>67JH;Iwa6&4)_+OmkWGosqW-L<8P zmQ-T}jtN96c`TOLlQoXZCn&t1z4wb=cb{||hsER9SW6!jL)O%#k|^-`Gsv>^i^5(hkkCn%R61c`;pyY{0ujxjMhk)ZiI>4T#|u> z1=25MZ_r6!yRGs$_l3Tm?g)R`Tn{nNKQr|4zjUUs*dUF!HionWEtKhK z6D)~0v%vhO*Zx$-3G|01J*~g}1ib(xb04SJOra)(vLooUySLtGP8RxlWcdr3;F24C z)gP38y>eKD2SW_=!YB9tbX|n6aE1K_w0ZA7RzkRZ{J43Z^Y}s9@`!T4cim#8wYta% z^>txUL-IS0yF>}n@~*<^bJ?W%Wwt!wA)ibXpE$DvQV;iZ?Oyxo)rW*~!G;nH8A}MmYx{+;siP-8{CJz{ZCw zL}D>_M2%QTPVX7P=+?!QoefmZ;*;uf{O2sE+ortXSIdX@GR*;3X)L&3+%w@Md8r@H zUFh||+ZS!z$|qKmaytDcddJc@`9u9W#QsU%UVn)iM%tq+8~sqeWPwgqOyK3QRy;ci%#p>d~w zo^Hojm5xxatYZR*hFofYE%3@2Q;rm~oZaQqQ`*xwx|mS{CW>jI!h1^g-Wp_2B|`s0 z3qvoUw&13adGK@E+?`(g@t1KWJ?Gyga(*;8*iRu6--J?3vKs~6P!4g%NvfjXy~*1- z`)Yqo6_!_gAss9jSw2dPqn~8d ze#6dQ%6|G=D|&W9%p1E4$h!HJ|em|R}nQN8md0y0xY@_~TYlGgpM#I)1%;Z;$>7UqkSONQYC6%tkHW}{8LVY3iFl+DEEJ1 z%(NdZ-}$emrgD01BWB#UEEF74@i8oD)E9b|JQMC?tzTZxTXp{W$GZVowYGh*aa!7Q zF10=WNqQx?I#*P=tXv`qd=%QbZ^8q!T}DUHNJ-{5!#1jZqE86sf4*|rdEL>^Op=>_ zctH9;n7t}UYu>SnSbPf2b;P}rw%kxswW{qP5!K?jd^JQ5Du0w!+j{8}FZ7kpViHZT zr78Dy$q15FENvCT2~W*z`*SZ?B4-VzQF3n(rc9U2>&z#u&=%s)44rN zZ}7_NM#2BbPNRMXY!J_QgtQ2dbU?3ydK9UZ6{jhV)2}A>5z+4D$pwv3Hly__B3YD1 zsOz_Efn(ZuTLU3}txlj5uKJo2ob?zdADAmzrs>s=x91I>-qVm$vkw4k{0D#ej9wzU zK?E{|F)0Zl7~RJG%6*y!mRhcz_RU?*3F<1u5HMJoi$I`Y%~F7aM^)9^`T7&QB#81O zu{ypqLDB}wp4FbG8!y}u~l=4Ig&z@so&lMr7mZQn&CGM?gUjhY}((U z|DgrA=oj~k;H>IB(Bc@p49!2*_Ph2X>K7@}gjeNgcKbq3c(|g$=a8M@!v06yZ>c8u z3X;JG9n^ixr64Kl8*MWyR{QJQA2^o>w4jX{?>GedCZYbyeLcfJ`G1ectEu1GWHK+g zZJgn><3pm}=6EfwJ`lF=&bO}yJ56o8S?WVS7oi9pvb5eVOFY zr=Uh^#m0KYiApMd!binRqb$JOHq-2+wK>*ro)R$t-UvwEgvczjW5w#MO_JL<__!tu)cZYlyXx=jby)}=NivO zZ@H2gua$!%lsV*5<;nXiU*)}eaCSrtB8631hOem!r~59UB{|BVsIke{A*RsP(Da{jDAUNlApcBRU~(;WzudGp!zUx=Y&H!OnBV!oh!SSd zv^$RQ{Jx<-H#^olz(JPu7#noQS}uD1FVSto!KWgoS^F-ZVOYeJ(~#{g$x;aZ{-GP^ z&`{E7%&8ey`TA~DKmB|W(@5rHEjRZGNwNJPyrM0^%^Ib)mtx>HIeql=BTU_ykAvA{ zTi=;-Zv@)!?=E^1%sqc6#0X#damcd%bo=IrA5DyL9)K;kU{N<&&a7Om4n9ye?a(7n ze98}YVt3#+ifP4SWk0kOVB&ar4P3Gtw_T1P^v3r= zHs3N(_lK8Bv{}bPSI*FKW9!X2UD@v_uyq8=J#WQtG>asfDZaJIigJ4A!bX$wYs>I6 zt$rPkcHcIGvR$L&R^gE(PDI95;q+gPq~qZsnpgPIfaE*(Fp27zDfzh~!TvbL5}OTl z&9Qc~X3M%fZ>pey40BYbsf@=Om%#4Ytry5;zLNSyw8+R+n>EuE#o&jqEPRL|{a=lJ zcOX^&|Np6oA|qLu5ru2-op(tYDSKaAGBUElC5nv5x<eQL;xi*WO&? z_qzIgzT>z5<2uJZ_nhbJ`FcJd&&T6&Gsu+~TJX4H0?7>vQ4oz$0Y_P<630n*s{?cqP}9%J=^OVhIG z6zv8?=bHyQQ#yEqbGL4E<@`DYyKO#(jd25#@X#T6848yxox=i*`{5uUm~rE)T*k0P zyhohQfB0tZZ2?tElY^lQBo|?9jSIUL(LIipOtys|o%y<{ER@5L6J~qazbFyS+=F%V z4d?5Bg){if0U#Rw=r;PEIvC$hX%vzeil$le@b~gaXHM)eyQ=u5u5hkl1py z;zZD$tg;s_!;$p@GtLHWS>;~Y)i4NBm;vno)uVRKIR~FRSQW}|bb`nZWJ376lTk$g&++-0SYGR zY(E3TU_2@*ffBk!GoF@MCr4$6Ef>ySj zy;(6fg=bYW?z1}LbA0;MCz0_`s(>_FeCG{rtNCv_(Oc@M|}w39+{ z+`>dJz~p|--z#0=%Idq(?RvhmP;Dc?(fP2_2<>MICP2e?@T4?&eI63JHZ+&#Ay|3i zZ#fP!)xKKqxG8<%V8PY8&_PuZQZn|!>dd5~v=2Xcy=5wfeD7^ZgaUkt!s12DhK|+N zdKZb0o)pC`VPl%DuNB`eH!kB8GPv1xi+m2;=$E-lfmkh~h3jZGkdz+kpBk#G9BIZ(MsyJisAoD zZM`-NCMjdDF@h=I3*adC!cskot;;e;CX&7&o04fC0@)*re#a(@PDSnl=+V) z7mN@0#)lj+5h?%u!XuEAnF$2Z&oq8i zBw9j-nUR^ip8Sgly%2GjO}7ZjF=d{bdm$Q3A02r;0tS-G0uEfH%w;q#0UBEM?p7%YM@{I*M zyOrVc0tNKE(Sb&+#we=hm>YxdnJymRMSoF^RKS%*HS z@q>*HF~RuLpt~S0#mcNY>&_Oe^GneVN11XW(ph*z`?uDg2iwvW%aL^>5upY6W#YhS zb_!hHK5EvZN*Q&N+4k1LvlnvzB!+dB9yyWj)rZ+&)*cG7B|fXu!>C;Qp8-gIiTWb$ z&`=oq^MOt$vi_>)wgjDZ`wic(MHh5*4id^z_bN;FSY)I3#!W37Hjx+YR+AbWhtY-R zt2+zJ0qI4up@-e24VxKEL?iBerVDn1(F|&KDo^D431}n_*MFdqlwamm%-1qG6m7Lo z#%exdRPt(3myJ{t*mvkyTtnjE46Z3l7o5GFzwmF@lpe8Jsqc+?wXY0 zVvYmffgISBM`pa@R7V|!8IgUNp)yv4RT$YF^~)OraC*etizS@aukS~0$~g*$ht3ed zCFw6QU>7BWw0HB957>(ZFSU0JO?Yq=EQKX>gVC!M8xV3t=d@#cCIq^ zy5GE6_bmr8l}5Q}=tb*clZirTvTrzYve)^f*DF41*=V$KxqkH}t-KVE%4Ak+@aokf z+)znqhSLIaBq~-TU|XyQpKqsoP@Y%Q_aDe)Lt$S7e@pq0iSm8Jl~0kxVFO0(56(Iy zZElwh#9XD^o;?;)Jakio+6=pzM(j@17~9d^B7G`dDX}VatIe`_S1n5_2tQ% zXr^MmVY10k9)UMU$2Yfyk70)wb40LXx>km?)2mOmBx|!W=F=!e>^*6hMipozc@X!# z;QRKNX-8=-9huv4-W&S%HRc!JxR zVCM#|zZm$R31T_fTCe+qaKJZn_e=%xeWyg_*s8Swa1xz^^|ni7$Px4@*( zNQkBe)YuB{7=k)IytQuc5>X%}2Zb@6aFI1!e|L5N%Ta&re1vrFgW4pEXg((a+DbXG z44&tUG|(CaHmbP{=ljVBa+HnQY^XTXQIAP;Yndjkf}qZyQzf%%dS@lGKu=O{+v0P8 zxPdH-s5sPG34+BLI=22f)^Huww<{~R>-6triMQ_#&hI)h6Gopc+l1XL#DqjF51qpe zq`gZ})=TJ}xym@$yWDTXGm346e@|#Q15I?=MmEz?n<~TGbT@*# zs_mG0=KOHq(q>oWK8$Os918RTs8;z)xbxL|1ua8iuth|hk66PbFO4fs=9W%pUyn*h zPtz1xNVs;inPw%FSsz~ce&bVdMfw23RPA|QPbECg4|IlWO5pupJibE9yw#vy_h7cz zGfep$r_VzLdxjk0S*sY{Q3Jgl!!z)TIPTY&EWs_YoiZ?F`BItjW1g-@>A5_c?dV|_ut4xLGS=bqf)eb~a zG{8P2-0&`)Zu z%FNss(#Ee%`F1a>fm~h*NTL^5 zX+kr9B_tdaKMNV`Bi70%UOxkQr{14iD8?g>`(040zdoBOej6SWwjDoPYpHQj{&R19 z$ITlMq$zA4Ffa{j=bK3rXvbL=jVUc7+g+6ERJwUkV%dzR*c-KWf;hzikb;O;M(2G0 z8T7AbVvR{zY8hQ?D@S-jkW^fhT2w1Z)u`j{lL{d8G8eOA-Z>Dy11d(F?o*)<8A19& zuq`@&D%$_w35os}#nAupl&M#)1JxKWeT$1DK!d{F&qp!r#ZNl0tE>6Y$+Uk;N>wxF zn%dR`gsWG9>q|uigC`i6Jo!=BGBep79)Tqd7g3AYjmfrE)W&kA$mNJUvx z;fL^UA=BZJmblF8^1uSJYYOgE9%pK@()KN{bNe#OFdg$cWr*F;1zD3jT+w2#A%S+Y z`DKSfJ(?%ug;G&AhEYz&yQ2+R6GPb5bds6Td!rZiQL{b31u^fZ2!$*O^QeQ**Eh=P zCqtZ~iUO{W?uoJEUG-oq7ozT9-A?Gf@d?}p4d&s@r%w7Fv7Sj%pu|j4nK~BYnZG7` zyEMGMG~7@dL6WeP-HRg<0jIxkdV8SSd;rbGTsGlfcu_v0M`SZT)BT)4mp6MZJ0| z|EC0Xk2xzpzIj^f%5e-Ii`B7I8rj3L&E~^39ExXcvQ10Gw=S=NSNHisrQOyLUoY(R z43RgjTs9>((w9jm3q(tVb|{G-MUhJ_Mp;|YPl@@_zvbFo7tp?&x+B&jBMP_>f%(r+ zYg#{4RRY9gBQuu%AXamBfrf4%)a9h zBG5znHHl7^45$4`tP|~u`i2E^xDP&a3)p59Gtxh*3>@T<45FPR`J-Z&25HSlS?}cs z!%7PtH3|Bw*zaKZKnj+CaBbeP{OS+C(utmhoPk`ZH@7yUP`qw!E%F^BWf9W-X_qyoq6-BSKd%x&5N&-Qn_k_f z*Q4(IviS0NdNs!{$$rP|2|io#I^EC3gT$UM01OoeI^pKD23$CwjHORZ2d}u>)zruB zRW|{AS4rqRy{H(@fLyEz*s^usyK$%U;}d1QR?LP z-KUd9(*T77&QfrRuz~DTeMnlBMLx|7&DBxswJa{fb=ed=? z5!bs88eHm(z?1aC&fj0P`g{ah^^FRpi_b#NO_kGShYPY*D`6-B%@5_Ha{7{*8Y#Z( z=rgyTitdD_J&M79_ToeFw-raDxTRuMOY+!sL^NE!dR#iMVq)p_P*IIXE#F-X^^5CQ z0^;Z%7^JP#92A@MV8x`e#^)Z3B;Vh`*y0@blkd7mA$1S5D@=GGzg9rN#>1FJ5i$HX zQ*K51RbeaGmDXfZ+9&;G?pne8I0BZce3dyQGb#@=wzu`#TM9OEAzh<(@W3;Z-#32~!Y(*Ls(eTWILN22;mcEth7AM8OB$0g{+)r}<{L}D;kfIL-Kx&Yq% zP_rZa;7S4}RrlF)lWv=gF^1#dK3s?GRV|kO(%!ZnLh^jPc*aA>8v}+kO-B|-)-^E& zg7X7<&gNDkdU`XT!$yePLw>H>PZg(aG`|lY zZFPC_Pr?WH{=yOmgJ+9F@AS>rmdi}~wJi;yc{?DY_{OAKj&c)F`(q{;fV?PsA|Kr* z7U2Z_Vxv$)U)WebN9<4ZUDHb1f%^7S0EhHRC-_Jx?Wp3Se%+t3O3tKB#Y`_5td!4q z!R~2qxeJDyB#hH}U6M}flLCt#h53mO0llPavVJXIKChXh4}OuCDeey7e;nDvZv zpC_GP&8)w~cYY;={Gn>+lZ3m)6&p0<2gl%rcyK`-3 zm34PkU9R7%5u3`%Lhs~GVMe{fQLrR9?f2Y+Zk=DPN!*o0_~^0Y@=E852TG8493vi( zOzwJ%C<&rk_DZ&xf)mch1Nzn`ieh!r;PE+-GXi;POJBhpkY<-W4$I~qs8oz z+cVvE%7S+LK5X$QU*1BU?)*m$^H1L&*=6SR5PSUI%(Nnh7D2&eNTd<4w!ol4bA*g- zF?iNo7S8?5j&jK1W&}hplD3;GVG6C%*1vWlbo1!wzG;1_>fqP>)WU%G z`R)mRS_@|&9?Ga@vxQE7a(#^HYIZ>ZIro8NEFxMcQyQe0tG0Im&z-03o>1j7Y@ zk}0#LObrTv3OE=Pj{!XWe2ca+ySGUJ?3M~%0MXe0&NaQ>2A-|_A(K|#4SlvJRXe%n z5)^;1*RQM791g0uz8! zANV&hJO%5Ut3o_o{l^pdvSYVe-w!)pRIkqg!M+Hx6}4x!?XiYCS#>Mt&e!nZl1W^3 zC0Kz>2D?2WwUj_;-1ed*yC|9LE2QiRg(oEYSEDXxZ{l_;OJ07B@EY|x>9iV-x6WT3 zySY8zm>_Nsij1yVg63lTw!p59%ZObVCd!G7qXNOJr-XAV=m0f_>n8AA4l4S!KK9$A z4n0zFT3xl~99bMt<)q;bw5mI-Q`%xYK$_!3p(kG{-2NI{xnXC$Tv>)OFq zst7uqVb9defd#*`OWoFo)1i7j54#i*^+*D$9+iEQ)VRPCoEeEvwA(#PiL6ez!E1L0 z3VZ-a2WRaJkjt!bF?yc7N$&(a9p5cc;$zCLlNxt;@lift4!#G96()I3ib9$#M|5nO z{oz-Q^!Fczi~O!hfa*tdHZ6Dj?d6yIx06MZ1FR2$-(qW$Vj|zbevPxBizgK*?sD$q zn@3)j@M&)!39HaQN)tSmUGK!}Ew*WiYXlWXH-K%u_l6fCeiE^K;GV0K3Et)cvWF3)`e$jAB@VebTsl^o8o=!pyM{!!(V912{I1s_Q9`LWKKy1W!RnU$IsMb z<^q}$eIr7JgVn8VuEx?5m7{a^Y|tH-qG~w8c`rbX5r8*JCQ~=EQS#iyQ-IbJ!#EqT5G6J}8_M%2 z{t(GDSu4WseRxH__bp$RQw3=1z~r!`krA1;*&J^zp!XvnFg*J zyAGrZcsl6ThzMK&6E0xx9-2BNu5g7(PM}Ii8gwcsv-&89cSm39>@5V$q;I^Tb&_F( z>01;BzDrV^bIEC79*V91SY6i(+PhLvkcs18wPq3d2+80M$;IQPIA1@4X|m{{#6N7d zGqCIo^RWQF2AIxE^g2=lXCuS+A1)JSn23LsnSYzI9Y>fJCDiCn9cs9YJI-(f>*Mfs z^M?wn8X!!7CUm{cdZ(8@xn(Bd-Qc^M8RJE?*WFdRzasSJaO|6binH_SlJVzanl9Rb z)(-)uR00TK>DlnV9&1{?X(&Tw0 z+RwiIn(|#+v@}Rp!@~dee{|aNJ&vgdZ#5P!MNWNuC@N75d~|3gOA5z6|MV=m?6_45 zKDY~u>%cRZ66FhOVEKQGIfN~1m;*4*pj(t5jAQy;a+l{l-yTy3#ET|Gt55Bu>9|R- zf&gr$3QZOpw3n4qn{{VaaS_sGOm1Ou6)dx9=bU9W3PeK?Stj8-0`TD2tLzj^t*d2P z2Ym&ilx8=jB?Va^NC&*gJ6~p0eTnq0?~)cF{y&?i*S8<2*iT$GeXTamt|gr{_f#`O z(>Vf>`1%qQI6F@%nm=qmtdZwMQxPP#(YE2frutMGt9(s>KT{d}erE)BP8z6>6G1qfZ9;PNetFz8 z<5MwiAHFs-W+z<2ZfsbGuwje_TZ0Xl(g(eD81HwItyrGF5^gVU*uN~*ePVKlBU;C9 zEGz1JD!r_65$N4Jz(~s}Vi!V3MVHn+w_YQV7~4ZEm%yUhD+6nn_V!yRuOa8lPuqLc zPmGTnlzwO%9UN$H-3v#5V1L7xl@|*^wJn`<3nWv~bGS`7TG4U(!SFF;!}|h{JQ?!x zlr@ds*CI>s_@ea@^sc@>0R|J1b=~_Gs%0^>>BRRquQ7GT{}f}U0d zx1`pTsT;bRI!8V@3)L^oxF(S|l$|l$elXmLYWydRH>mRKiPiCYq7RuqWskoMo9 z!1af4Ss?oyu77=;|4t6-kJ^K?U;R#YrI=dPQQD z!-rjz4Tn=Jul=a6t6lJ9q}*WvG;_aiU~7_X;RVq#Tuz5LDO}=Pn$KTRb&q<9jF{W>ef*JvUxA9_Cas363Ic{>$T2Z zo`5A|U74GjbZo4zdVQ^HLvlqYt%5x882C;xH*~5l=ofa&d1p?K)II|yJ1?Xh^D;W0 zEJ(03ESIYFf#XJkd=9vAZ0Hwi&#nph2j81{o!%h-LZOQPz?4G*aDB5CyKPJ9SnKsAp#ok zyS4U$ib7K2$qCtgn^Hyi%2B?XO<|zxOzwmHj3K-s-{Ib#a z-+BqqglB-5K>!g$yV>(2W<?$y49w)eaz$V?N!&$w34 z9bkC`Qgvd9q9lL=?=tH}A60=gN&D5J^ULuFIE>;ye*(<+0TlSQnXaW7TxcobgrwhK zIFfbxqWYx!X^y;ZrXbKxIMdt+6g7YUgahDB;OYOBOJei9fOkI!^p*el-;AeXDQUYz zeKichwTysbw&}}O)91T-RtAREpzdmX-0)EHWQ3i~5Im51Yk*e?TuHj&2*R}uOdP;x z_O5H~qKxx5ZBpm{{BtLE<$?S7C5eEo&C>XUA~UgMV>y@+vOyA!QZO1RgT31=@;4n# zoO1~H*mHtRCsg|jj38&cv#zx?VG}n{*PXTE;Y)Gqc||@zW^&i|`7MAApZC4X%)QT| z#);ynZL6o3ikkt;x(>9{YL4v1UWOMtE3Xp*Bp)c>GvAVbJ0P~BZ{_lh5V+Sw4wA~O z7-*i=yEb;a6xvNcCZd89RA-O9v};`LI-g|qnN2ub)+^ptBy9+4$AcU0Nf>~zlx=f1 zDKS1ErXKiKrmDM2TtA(D&a^g9ZQ-cwS!C&X@D!RsA15x{Zt%y0Q*c^b5^Tu(rBOIp z;TvFI0h#JgtHJdtkf_Nwb52#>{aG*jS1HCg=O$i2`$^#D&0CL2!APtAD!eJUu7LJ= z!h^OXl{Tm9NEPhHPk}mocv4AsanHT)RW!03)``8#HgFvTnR(!SRHB@09VXNyZk2+S ze<;0t23Dp2-VCL4Y4FJfP#JJ9Q<8C%h{8I%Dak628fKyYnm4$!Lu5SC7qc5!u0V|kpMJB-{Jeueg z=Q(!&8Drqd*CIAD!SwH{oRA#R7ItQF(Sz5xrhz({9G_Dtf!1UWM{`j*m_9Vgf>*-o9v+ z06Jt@I4`Khr$GFetJ`;Y9-LPE1PE5poH>!%{`mBFqS*!bW!OE}V||%( z>RyMxu4_sL84CZAAGj#GJvtk-EFOjh#qC-VFwHs9d{(W6e3!I}{XzMq*n9)=6io0$ zm>Ii9qUScy<(2QaAKO{Bl~xcW)^u1RG1Pql zBoO$mfTW6)o2G(bCuW;0v7uf^HmJ*i?ht(21Bj-7yUK}1sTu9eMX|>0@4-a|$skDG z=G0yT>oj;Kr4jtz<=88wF0h?!WbfbQ{1ar>?|@@{KR@AjLSG*vaDszGebt#~iKb#Z te!nF$11ZuL`?`5cJ`>16phlXbfKseOM?a(dJ8&j+U-`iu%s=Kq{{sb-9!~%O literal 0 HcmV?d00001 diff --git a/simple_v_extension/openpower_2020.tex b/simple_v_extension/openpower_2020.tex index f2b614215..de9394154 100644 --- a/simple_v_extension/openpower_2020.tex +++ b/simple_v_extension/openpower_2020.tex @@ -198,6 +198,22 @@ \end{itemize} } +\frame{\frametitle{nmigen (dynamic) vs VHDL (static)} + +\begin{center} +\includegraphics[width=1.0\textwidth]{2020-09-10_11-53.png} +\end{center} + +} + +\frame{\frametitle{nmigen PowerISA Decoder} + +\begin{center} +\includegraphics[width=1.0\textwidth]{2020-09-10_11-46.png} +\end{center} + +} + \frame{\frametitle{nmigen PowerISA Decoder} \begin{center} @@ -205,6 +221,7 @@ \end{center} } + \frame{\frametitle{Summary} \begin{itemize} -- 2.30.2