From 121526e6f35f3348310a9e3783daab68d078fe4c Mon Sep 17 00:00:00 2001 From: chai2010 Date: Mon, 4 Jun 2018 07:19:16 +0800 Subject: [PATCH] ch3-03: done --- SUMMARY.md | 2 +- ch3-asm/ch3-03-const-and-var.md | 163 ++++++++++++++++++++++++++++++-- images/ch3-03-ieee754.jpg | Bin 0 -> 33819 bytes 3 files changed, 158 insertions(+), 7 deletions(-) create mode 100644 images/ch3-03-ieee754.jpg diff --git a/SUMMARY.md b/SUMMARY.md index ab06c58..654d484 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -25,7 +25,7 @@ * [第三章 汇编语言](ch3-asm/readme.md) * [3.1. 快速入门](ch3-asm/ch3-01-basic.md) * [3.2. 计算机结构](ch3-asm/ch3-02-arch.md) - * [3.3. 常量和全局变量(Doing)](ch3-asm/ch3-03-const-and-var.md) + * [3.3. 常量和全局变量](ch3-asm/ch3-03-const-and-var.md) * [3.4. 函数(TODO)](ch3-asm/ch3-04-func.md) * [3.5. 控制流(TODO)](ch3-asm/ch3-05-control-flow.md) * [3.6. 再论函数(TODO)](ch3-asm/ch3-06-func-again.md) diff --git a/ch3-asm/ch3-03-const-and-var.md b/ch3-asm/ch3-03-const-and-var.md index 98edabc..dc53909 100644 --- a/ch3-asm/ch3-03-const-and-var.md +++ b/ch3-asm/ch3-03-const-and-var.md @@ -1,4 +1,4 @@ -# 3.3. 常量和全局变量(Doing) +# 3.3. 常量和全局变量 程序中的一切变量的初始值都直接或间接地依赖常量或常量表达式生成。在Go语言中很多变量是默认零值初始化的,但是Go汇编中定义的变量最好还是手工通过常量初始化。有了常量之后,就可以定义全局变量,并使用常量组成的表达式初始化全部变量。本节将简单讨论Go汇编语言中常量和全局变量的用法。 @@ -126,21 +126,172 @@ DATA ·uint32Value(SB)/4,$0x01020304 // 第1-4字节 ## float型变量 -TODO +Go汇编语言通用无法取区分变量是否是浮点数类型,之上相关的浮点数机器指令会将变量当作浮点数处理。Go语言的浮点数遵循IEEE754标准,有float32单精度浮点数和float64双精度浮点数之分。 + +IEEE754标准中,最高位1bit为符号位,然后是指数位(指数为采用移码格式表示),然后是有效数部分(其中小数点左边的一个bit位被省略)。下图是IEEE754中float32类型浮点数的bit布局: + +![](../images/ch3-03-ieee754.jpg) + +IEEE754浮点数还有一些奇妙的特性:比如有正负两个0;除了无穷大和无穷小还有inf非数;同时如果两个浮点数如果有序那么bit对应的整数也是有序的。 + +下面是在Go语言中先声明两个浮点数(如果没有在汇编中定义变量,那么声明的同时也会定义变量)。 + +```go +var float32Value float32 + +var float64Value float64 +``` + +然后在汇编中定义并初始化浮点数: + +``` +GLOBL ·float32Value(SB),$4 +DATA ·float32Value+0(SB)/4,$1.5 // var float32Value = 1.5 + +GLOBL ·float64Value(SB),$8 +DATA ·float64Value(SB)/4,$0x01020304 // bit 方式初始化 +``` + +我们在上一节精简的算术指令中都是针对整数,如果要通过整数指令的处理浮点数加减法必须根据浮点数的运算规则进行:先对齐小数点,然后进行整数加减法,最后再对结果进行归一化并处理精度舍入问题。 + ## string类型变量 -TODO +从Go汇编语言角度看,字符串只是一种结构体。string的头结构定义如下: + +```go +type reflect.StringHeader struct { + Data uintptr + Len int +} +``` + +在amd64环境中StringHeader有16个字节大写,因此我们先在Go代码声明字符串比阿里,然后在汇编中定义一个16字节大小的变量: + +```go +var helloworld string +``` + +``` +GLOBL ·helloworld(SB),$16 +``` + +同时我们可以为字符串准备真正的数据。在下面的汇编代码中,我们定义了一个text当前文件内的私有变量(以`<>`为后缀名),内容为“Hello World!”: + +``` +GLOBL text<>(SB),$16 +DATA text<>+0(SB)/8,$"Hello Wo" +DATA text<>+8(SB)/8,$"rld!" +``` + +虽然text私有变量表示的字符串只有12个字符长度,但是我们依然需要将变量的长度扩展为2的指数倍数,这里也就是16个字节的长度。 + +然后使用text私有变量对应的内存地址来初始化字符串头结构体中的Data部分,并且手工指定Len部分为字符串的长度: + +``` +DATA ·helloworld+0(SB)/8,$text<>(SB) // StringHeader.Data +DATA ·helloworld+8(SB)/8,$12 // StringHeader.Len +``` + +需要注意的是,字符串是只读类型,要避免在汇编中直接修改字符串底层数据的内容。 ## slice类型变量 -TODO +slice变量和string变量相似,只不过是对应的是切片头结构体而已。切片头的结构如下: + +```go +type reflect.SliceHeader struct { + Data uintptr + Len int + Cap int +} +``` + +对比可以发现,切片的头的前2个成员字符串是一样的。因此我们可以在前面字符串变量的基础上,再扩展一个Cap成员就成了切片类型了: + +```go +var helloworld []byte +``` + +``` +GLOBL ·helloworld(SB),$24 // var helloworld []byte("Hello World!") +DATA ·helloworld+0(SB)/8,$text<>(SB) // StringHeader.Data +DATA ·helloworld+8(SB)/8,$12 // StringHeader.Len +DATA ·helloworld+16(SB)/8,$16 // StringHeader.Len + +GLOBL text<>(SB),$16 +DATA text<>+0(SB)/8,$"Hello Wo" // ...string data... +DATA text<>+8(SB)/8,$"rld!" // ...string data... +``` + +因为切片和字符串的相容性,我们可以将切片头的前16个字节临时作为字符串使用,这样可以省去不必要的转换。 ## map/channel类型变量 -TODO +map/channel等类型并没有公开的内部结构,它们只是一种未知类型的指针,无法直接初始化。在汇编代码中我们只能为类似变量定义并进行0值初始化: + +```go +var m map[string]int + +var ch chan int +``` + +``` +GLOBL ·m(SB),$8 // var m map[string]int +DATA ·m+0(SB)/8,$0 + +GLOBL ·ch(SB),$8 // var ch chan int +DATA ·ch+0(SB)/8,$0 +``` + +在runtime包其实为汇编提供了一些辅助函数。比如在汇编中可以通过runtime.makemap和runtime.makechan内部函数来创建map和chan变量。辅助函数的签名如下: + +```go +func makemap(mapType *byte, hint int, mapbuf *any) (hmap map[any]any) +func makechan(chanType *byte, size int) (hchan chan any) +``` + +需要注意的是,makemap函数可以创建不同类型的map,map的具体类型是通过mapType参数指定。 + ## 标识符规则和特殊标志 -TODO +Go语言的标识符可以由绝对的包路径加标识符本身定位,因此不同包中的标识符即使同名也不会有问题。Go汇编是通过特殊的符号来表示斜杠和点符号,因为这样可以简化汇编器词法扫描部分代码的编写,只要通过字符串替换就可以了。 + +下面是汇编中常见的几种标识符的使用方式(通用也适用于函数标识符): + +``` +GLOBL ·pkg_name1(SB),$1 +GLOBL main·pkg_name2(SB),$1 +GLOBL my/pkg·pkg_name(SB),$1 +``` + +此外,Go汇编中可以可以定义仅当前文件可以访问的私有标识符(类似C语言中文件内static修饰的变量),以`<>`为后缀名: + +``` +GLOBL file_private<>(SB),$1 +``` + +这样可以减少私有标识符对其它文件内标识符命名的干扰。 + +此外,Go汇编语言还在"textflag.h"文件定义了一些标志。其中用于变量的标志有个DUPOK、RODATA和NOPTR几个。DUPOK表示该变量对应的标识符可能有多个,在链接时只选择其中一个即可(一般用于合并相同的常量字符串,减少重复数据占用的空间)。RODATA标志表示将变量定义在只读内存段,因此后续任何对此变量的修改操作将导致异常(panic也无法捕获)。NOPTR则表示此变量的内部不含指针数据,让垃圾回收器忽略对该变量的扫描。如果变量已经在Go代码中声明过的话,Go编译器会自动分析出该变量是否包含指针,这种时候可以不用手写NOPTR标志。 + +下面是通过汇编来定义一个只读的int类型的变量: + +```go +var const_id int // readonly +``` + +``` +#include "textflag.h" + +GLOBL ·const_id(SB),NOPTR|RODATA,$8 +DATA ·const_id+0(SB)/8,$9527 +``` + +我们使用#include语句包含定义标志的"textflag.h"头文件(和C语言中预处理相同)。然后GLOBL汇编命令在定义变量时,给变量增加了NOPTR和RODATA两个标志(多个标志之间采用竖杠分割),表示变量中没有指针数据同时定义在只读代码段。 + +变量一般是可取地址的值,但是const_id虽然可以取地址,但是确实不能修改。不能修改的限制并不是由编译器提供,而是因为对该变量的修改会导致对只读内存段进行写导致,从而导致异常。 + + diff --git a/images/ch3-03-ieee754.jpg b/images/ch3-03-ieee754.jpg new file mode 100644 index 0000000000000000000000000000000000000000..d40db7701edc560f8abcbe2b87cca37e974c17a1 GIT binary patch literal 33819 zcmb@s2UHZ@(kR*!$T?>QC4=M~M?|vZ3`)*O20_vw2q?i(qN0KVf`EWZlAJ+B$%3F{ zB`9H#-~hwS>+uWctpC1s*S&AO#_p-!U0u7XcBNe{;WJ?opf}Vt&;=k60MG~j0KyV* zUMI@e3jmCb0Wkmo$N@;IF8~K25Cz}_PXK^Ef&McBU3mig2L_Ue4+&d!N3?!qyQd&V8K5i{UlGu3>tV1-$D z4^v$7uED`qq4WR{5Eve6p?87L&fbBKY#HQ+1fT<$0X0|muwX4Svr9yp|NQ=;|L^5+ z>JRV0ganb+zr+7$0E35Tm^&!E8Hn!Y5#}BM!u0?ES9A{!4F>>{O>mq)GCUZBNkJ|F z=1`D95EdZ9-haW$MA+>wn8+t{sFj5_h~omPm)g}e)EfY3iG1;0bN2@6&}M+o7y~_g z13}a$Agt-`Q9Q@#w+9y=s0{mqr>dimMhzNtcL*53unV5nwBM49Wf)f1= zulhvjTZ1qWAL|~b4eAnL1x=3H!}X#O2y=t**}$tNm;N5t^zzj;0AWz~P%GbX11k^) z--UXF23h<~9~$Kureg_?gL6TnTth+VFPyXpe`_reCekeQ@ih2{W=ph>l`S|9@(CTi z=4)dD!n7d#HO$|V$ODm|AJIPA#PL5kp%E5Dp20PT0bZfHL>WOGm_R@n2>qECrt0Hs zK*R@mfL#jru>yUK_%6)J-SrP|>>%vt8D>Z1;SZl4o)>jM7?cZ^=ox7JH~+A#;P4AX z`b7NF;H!V^o=CIJ^Qsof{JiYek4S!%2oFM=(0;1}Q;AbpTFoE6Rq zNWkU6nY7?YaBc-~^uKwH_*dfp=<;v9Q%F-lDcC5^Q;7Ue4rs+_75=3{)D$1^A6@*# zm)pPE(*9RV|E%Xf^Z)0GFW>=U8U0U8*ezHcY!KEBdk1TSH359EPS_jR2Ut51{(FAi zKWpRt?`#%-R?Z)k%J*NKf97)qM~HJ0S2s+$N_s;Y_cs+F+%qa1v`0WYDENA)ueVP) zpB5OcJ^2g*-6hZQ$x6$BQIr__i8uhTXYnVdLs&=tGv;~~%rCM4KzZRmV?m&A*W`jG z|KLAkLZBaVr~trg3-^f7Yk$#$6Mskm%0D@U1KJ=S2>l5?fB`Tn7%S`yOai71(}tPC9AI9sP*^-H4VDKhhSk7Yz?GhW zEy6ZoM{rU&6Pyn&0otoR+#2o<4}r(SGvEdA=kP{&AAAD71joSfBs3)4B;q8hBnBjQ zB;F*EBq=0$BxNKGB>kZ8d?z_1B_(Ag6(&^zeb1iMk2HofgY+?JEom3&80iY>0T~$? z2bnmT2AL_DD_J;M3fTj)7i67e<7D5-u;f(a2y$6+U2+HVK=MTLJn~BN4)SsGHS!Y* zdI~`bRSHuI4~pv)Xo^yb7K#yy?-VDL43xr@8kAO)ev~&T?^D)L_EUbP+@qqRI!mQO zWlrTwl|Xf$>Lt}%swJu;YDQ`?YHjMv)DhHosLQFlsAs76XlQ7JXwK6((1g?6p{bzh zrJ1L}(lXIX(i+fu(4uG`(l*kL({9sI&CI0&E(FM#8k@E z&-9&{lv$YBfZ2~Zow=HMm>I*u$Rf{T!xF{vkfohvkrl=&#A?8Ll@-nUnstixn2m=` zi_MemHd_tbINNV_F81^6p6qGtwd|kRk2&}_bU6Gu?r}76%yGgw#W>A5BRLB>`#Cqc zn7P!r+_}=YUUSWIL%GGcEx2R2OSnI9AMo(<=1V%7iJeW5RMkE68EIKL%6;lxN5ql^$A`TT-6!#T>EIxLQO8m&7iGUTQIh z8XFpC8-FzsGzm0mG6hTxOtVer%!JKC%v#M!&CSdony*^OSj1WkS~6KWTUJ^gT3xV0 zTYa$>v5v6rv7xiMY*S(L+xDVumhGaQlwF+NkUgipul*YbG6x%nGKT|49mib9@0S%W zr(B-8B77z4$~z}cr>jow&UDVM&UG#%F19X}E;v_H*J9TLHv_jvZWwoM_k8!C9_KxB zJT^QvJhMF4yfnPByw<%nytBPGe2_kQKAXPUz6HL!e)@hze!u-q{mcCcS8cD>29O81 z1T+US2Koo~1@Q(&1&sxZ2d4xthNy<*hG0UCLd(J+VOPT5gfoLh_J;_Oh~$W+Yns;{ zUc*M(MAk(yLz|*Oy>Pe!X2+W!)Qfx;a$?Zfp@3wA@4oUV#tclTFExfZp`7! zNz2*Kb|P!1BfC7SH=ClqxDJ zxhv6C(5i^4jTe_+j8l|K@@Z_!dg}A^<>|%G9-r4|uFmYvUYkAn zlJJ$}YuX(BT;4qQeDQ+lLhYjBV*Ap?r4P%N%U@R9SAKpA`-b~|bCqT_Zw;|lu`avb zwxPQ*`orR6#m_H0S zJo%l5<-k5aQa&0ywmn`uiNulN?w^XDw&0EMUkL#OLa=M7>z`Tx2410F;12j#IRMbu z0|3(~SW`IuwKw~N0hZVh5C?>9Ad--u&^}la+>+!xsW2HQIXeY{QiIBb+MnhwZ8O~_ zg9M`|Qwj45s~FpL_D)VZE?e$Wo;`#*-_0{0`56Q(1T%$(L;z7aF)#7_bMGa7ONmIE z%OuEF$$e6QD#|EbQBG57R9#Z1(NNZOLEb+9O6#jO`9(z?cip>sZ}jI4Aw~k1^o;#X z(5CffpUttBtX6W?rZxe#nRYeyLk>%hn9IMfoHzq6l&&0Z67E_a7M{*tp5CrLmcHtK zeEtys#jBkGPXd#Ie1gqFltcN#$isHRry@G8J&(+eiobp}+CIi0RwGU+UJ<2|pmoD2 z(KgBRW_WUPN=|C&t-9M?X&=(3G8Qt|?rfod-95N>n01hSkaL^|&u6)R?txx``$N>D z`;Ti1JBx;%Og^10UM$%t-7kZcvpg58xKMeyD)L26_3N6k+TB+SujT42>%$uEHdZvX zyy3ZCq+mqHC+vnGBIiNVmK6vzY@!iP#fuY_H-5=YAYe(*n zhK*^D(~M6{Je>6Uq%cJ?H9h_O^R=1tv!t_wpnWNPU7Nc%uQtE3kh!R~_;aaf*Zu4NPcH4c2VW$COhFRT>{l)fcU=O_? zc;I^I1=`WKauK=eenP=PIrDo-iD$A<->ZBT6nleb^^H;Ud7hY!#d68rtNh*AA2i@i;l?4x>p>WBAs(xUb^gY_r>e0_8jNj=6v%)>Z09}#4`Ev z>Pqjo$KOL%&#zIhO|F-0pnmxN^w{*-3fKS z($Uf#($6q-F;*~TGsm%bvs$oeu#0lAaNs!CxyHFWcxre{5D)qC&g7g$^QQ=06Lb~Q z5#|%dihK|)5(^X8KX*m~DzPCsE%jEqMW#~rzFdO5i-L+Gsp5!IuCkp9hsuoVV>J(T zSq)N+dCf*7`n-?U#S22(^cR7Pdpc{nQ+loXc?O<_f`*Gm_b-_mlNtA#B$*nRv77xc z@36?W^s!R2rm>#4skV)^Gqh*1UvPNt7zF13qbu!B3C`LsG-cOn1Q1M-5jhuPL{yu`g0sdK2$Y8Y!`eq-PKsAam1q+PT_uhXpy)m_-r(Yw$` z7&tSi{nq7NY9fdkoJ&~ zkQtKQCHqW%hWsjdGX)uiEyZ(+V@hMnrQe%bS>( z2AbuVw^@9*qOq2@vA2!0dt%?`uy&d1inNoBbF53L>#!TvL%`G0E7`lv=h#o%|H0Lx zK=+{W5Z%zWaQTSZNQtOd(dsdyaX~2VgsH@wo0pOgQ*&;gOY6_@yu*TCxc4!8E|+kh zuR!I|r9$T?*NdN&&X!A5Jb58qv-s+1y;Boab4}ZoPVpW@zwX=O57Z+fV~3OXrbTAP zz7{UzFORRfY#ePd?!5Q~>`Nc2{3aZw9ltr5#I>H5;DZTDf8qzRi%kjk`?vrhu-AYD z`%0I=-ayQm9d6Q*2V|f@_YW zvZJa8cfz66lQb$cPiU!VqiEOY?CFN-b?LhpG#NS>wHeGDouOa?|qf6}lC>mEJ3VQTe4tt1hi!uIY;mKOd^)bHPqq@1ly1 zysomIp1!j|yx~)$!AlquE>j&de=w)zSms;hTIbk2vF)_mbx?3jxct$H*E!r}#EswG z%Olsb!E4z2o6m_KtH0b;tAJ~P1wmcGKSJ5Ubi=PjlwX^TqQ7n&jgI*oClnutTDjq! zM1S*rO870(+o|dBj9YiO(7pE(v+Z)V^VJ@xJyd(FQY88mUOZ5Gt&FR@y~3@E<;7f0 z|I3lr2Msb!vCTtmbR8GFLVL>kHU=-ed;LLX_|fRx`2OVX)Y|8j+4Zmc3y>ws73S{( zYx)~`n@T%rdu6|`9u1$|#Py!;w=wvotbEO3miwHMUqA`O)5%ygLIBeldPDW zoIHqpl0t>zF(nl2g?ysANYzTMLfuVcMzczrNOy*=i~chGA;Vop3C531fy^|_&si?8 zd}Y1P#>+O$euu-2^8%L`H#7GM&m8X?L>6DbnM-G-`Pl_X1&#!Fg?5DZL{7zM#Rblt zmvE6xka{frMrJ~GPo7i3KrvCNSA|;jvf4`xGO$+d&^mh|`y#7Ojh=%6gW=ev0+S#! zYYSP+S!)NI4|e+Y6OLY&u}(=Y5Z7S0PaaC1kGv^-Zun99mjoCG0l`h7LE*d+y^#^u zJz}=wOB1f&m`cRmgeH@x(5K4X3cEd-Zk@4l=hj`xdo$U$a@F#7?^hH!J)(SEUZnJ- zy%<^2_3UEV`{!mAlT}tPMr(9yn_r2%&aWqLh-<{Xx!oevI@+Gtso1sA^Qg~s06y6I zE^J8r!?)qWQM+;GiSbY9X~WNi*%x0;=hhb@7EhNGzrnsIu0hw6e!zdCHn+ERcdla| z?`Hmr*t@v*d%yC)*`s;>S8j9QYi7GmtQzkHqZ0sDIfC016Xk+{x%8joFUkIgTnwOG zP&gb0CnL%QfkuKSi~&w^MuwD8%bd(Lgz2p84RYoS_nyA$rr?*ez_7T5j#07-$S(=* z5=HwX+5eefiT|G@`&Y34$n^zml0*L-Fens80)xRwNJ+qhlpO4+l9G~Bf=&(|lz$)8 ze-2vWLHF-L0Es|A8gMwA4E#q=ML|XXe|-?PqWG@HLb+^s+_3P(*m(l!>zvA2lv1tk z$uvj9xIDc4%dzan&1*mX(K15#Z%N4TJ!e{+S=+=_0^pD2F00;EHBG5d%q%Cl$H{VH zdc29AuNYnkayZ)Cl>I>fXe@hwvu;I{eevNHX8jGhLR$Rl{;XQ#<G$$YJ&u~*+;5?bWx+&8`MXY}6w&2>&l-9Z`&sz(#q{e@ zhz_&a|K>CgrW7eoPcYYEz6?zhDPCkY*I@&S(?s5ofKZo6ahfFf@*kxCmuJz$_xy+m z&q=-reN=JcsaV=@Y-#YwjN*kX%QOjlt+0b%v9R4p9p$dCizq z)3NPpx3P11-?wYrqhhDMJ^K6>15NW&c8u=Rm0Ue{u71es^~9o4Ocd5`#jLXAGcC#G z;w4t_d5^L8BrRfP#vJmYH~un9?k5JT zO;1Wb25Fg_>xnQPRj-TeIgZ+XY(a04d6ErQb1h~T-V60=zq4$x<9U1KMr_U=w6D)i z`{$k9wb}eFjb%qP&ks(iq&6AW+NbL+iN4dar`3#y_VLaN)mtMUezNYi@}}G|)0_aQ znu9ad=7u}7_%|UMbnBLyYX$Ld(|Z+v8~Mfmc)$13Ye4f*xvB$tTC%@`z+K#}P27@? zsn(qCp7IUen;XEqQ}aw>(E~QQq5=;t(Ur$e?K5AmUKd{`0Ewu2M4wcK>RfeSv{!o2 zldlFLMdD`mQseB8$9SHQ@rRgycHumcx-(Azo(Xj2gVO31%qJEX-*FL;m0^Fr4g#RV z{I3^Lx!F8$R8&^g;-KU{G>wjXdO$UGE4ge2TlV8)tX!m0$~gs(vGPxSw-}^&5=nlc zhpl9Qd;M&%%^%{u1i&XQ(rgq@j;(bZlPs7zoE-ss{Jo;*+R$AETk0BBe$JTc`f3Mu zNApSA{2=L!H#P;9l#NQf5I3Kzw7=4@3%aMJngT|_C&Cmc|FG+)xw*j;L0Ycu@ofbf=7fhKWkK@qchMP0c8LyF`;BW; zvzKSLo0qAIUi;3*QnRe(h+b2Bm~3q=kZmljQFXoKdMzIox$8Eu+?W&@dsT2;K|^fS zNc@E3C~JP1KgB}Nd_5*@ZwG?Scj`EO7Jn8Sx_xL6{!w%AQWn)Uq(Hz~8Ml(jiB;GS zn$^tJ2RdLeN*FustIddYn5H=KhzhBOJ{U}nIC}%Xy`#wO{YBx>`F>#o#PK+`0JX&V30g4B6}yuj>Wx|14tHWE7wT3) z+7#Qlf6@MQT8Z+`=gJQFIu@!!CG@aRC91F=MOdks9QLtYq7epA&$AtZK44?ZeQ`INEKiMay*hhgEAq#Oc=)P)i!)!O^H^!q_n|J)53r z5P;E>XQ)L(RHm>4*A>R)Y3+5>zZ25YMyDToW=VH-_b`jhB(Q`4a5@vI{KTiu34=mp z<9u6Q&aeB?Y@(m4|Lu=!BUrzn|HkOVd_vR>FBV~neAUo=ah2+iV!V=V=qkxboAgFI zz_bUx$+EYAQ&8IcO#rl4{}#UpGx?W@1-5v2Id*KT;+51(3Jx+%;O{ZoY~R#)xI$3^Bpm#&v4Ew&SbH& zEt4I*>%V>+fBV%BKg-Vf{RtztJl=CMFmg$Kyb~jc94P2)Fx}i0`yLxp z`f`H+Ai#Bx@rl%We}dqRa$HKO*wyPg-bslSY8gf^SKBx`X8POhD&&CL^}UeMU!6nq z(EW#EnKWI8ACe5qwY-+3$s0dfGH5>2TXw~9q5kaDtUjxaBVX&%eBX6Dc37d-YR5YQ zkWzYDm}<(iahU*2yhmkT_Z~#dnl9SZVuA*az4BMC$S!a1=ys%uj4x5CwVh*z6dI^o z9PXbyG0UFeb>C$gK+@NnCOK27%PnTgSt%9_JZ7J4Fcun}n{)W`Lj2bSXybIY04aZ3 zk@4hKtO{nqWK>-VGws-dQ7n=8%K0^{SJvNHt@vJ8J^i+Tdy4A>w_Cf>;_od{48jm= zzNDdMxm)vq|cErW1PvG73(B8YKXws6`7@rW8)Wc5^#A ziU1gZd=nk0e70uU`pI$0x|sM{?}<(PaCc)7VuLF+s6nr2O^?XS&Of}E6M#%9zt+^o z)II)nRq?eQtY7WSiZZB$6N8b{IAQE)XM^n~W{_%SOMn1;nT+e?^sAg-u|9iTbbicP z6EtIM{O~C*u9N@}y%2%<Nk0O=)BdzF;&~?6O>YLnwgVr2Yw^=4-2l!$rxgt{MuV)9ILV%l&E@`U5oAPnRUK# zz}3n2v*Qffd|X|J0#)burFEdc;QY0+kJZhl64>blBvIHwOHebYFXLbYBCf-KEwX%j z<+fA+-KyT>C=>CAL9=^SiCb+m%b4V>w+r(TZ(Ig<6<(D`Y4=f`XyNpy@(q3EPxX2m z^A11qiPH2{I)^(BPLqwdNg16!?V#*EaqxE%%pOn;-3W{Fn}xqoqWE5475u?UG2~I0 zvnd$L@gs z9b3i5*M|+h$@S5Eeth=sBij*h#gTO*r*y=X0fRXj4CdF7dq`g-k(2SmyW2@$v|BW9 z?lHArPe^qUy{F9pX}oGMWsVJ>!^w9~Pv-~g;ObI7M-v*tG)BFU?+QK(h{^T%XBDUdqcZk7z#QdycIb*84 zq9MMEa>7VV7D|5l);e~Ohpkddb8o3n6u*vo?KI=fC8X>uPwKd&i6PH?Bo9o57&A;-? zHGW?N{KwSkPE2EgI*iQ?@5q(Mk}Aa$TjpamX7odhiL|Ef2A|M2Mpd-y-d%HGq;~E@ z@W$Hj3YNZnC-Ku))#1a76g4jG`W%`>_?_0eg$-xx>5-um3;ggpxhbzN5TV?Ru3gh2 zRv*cHO6dB#j%9x`zhAx6hmZ=^%?JB5EPDh1r=YjFH-TrG`>UGq0gbTyv=Fr(4=#-; zav<43>Un!T@+K8jRAE=xgOf zx-rCX`WM~ottH&sV`$pZemod$nm0fjUb!P_iSq>=l~`o_>w05iudW#8>i5soEr2Oy zWXtkIUF03H_BoBy!z-};DN!;Pz(NKL?zKcA(EeObi$D6szaF!u9j)Oxiw>jzF|;?} ztwiotS{TpBh`o%FkE7Fx-A93S(k2*j!8rf7hk)S^`KJi_cSJJk zx7OCvhOvEx*rXF9owz61p{3e>x>uK-eemp)UMEovx7YHNxA{C6;pgoVK9d0lHD8I7 zzI7=doYfb;OEVs}zgj>58iY4@&gNzh7HGpJx$ch~loV=oPo;*3F1%hXs&G<5x1l0D zL&|5OS}zxD52)Rr6*X@0WYyIJYH)$Tos>$PsvFW@Dh)PmI*!^Wt@(uXLxN@DXIxCF z2v72)`|&gyN4Hy)+!k?Sj5C>5KU2|N`B@<)uh>75HaVA_;oioD9LLx0)^2mznrp>R zz&=RTg%QH|>6_XQ&a+L%FFzrDgUEX;9Cae;M}zbY%v4kM+}3FB6`ZR69Pg9|3#qZz z!^fDr`=e5w`&X^kyqvp=o*we@SXvBY+P%(%4U zz(fEv!7#V0FlO+EPD9tqLR2#AGQ*%B?oj&5xy8tReu(W^>N#HcE^Se=c)3?_scU{)WG zoT?6j(oLiBqr4D|Mp5?&%jH=gMf#6C8PBdrl-O9_d2-{PvjK}2yMW8@TK3aoXl*x= z4G6>Ekor|a%lc6UIUD8pDSwc*_UK-XVkXjE*t5wso;Ow#BQcnO(>T|`Gcm9Gvhm!< z01kosIavlQv#6eC44o-fcYgs#l1>0_KgVry%XxtJFx^U z73ulAuGu0P&m0?pIqBA;pKroGgB&|)$CqN2v8X%h zN@bwQ3pj%+DDOodDWlSy4~D?Pdo0v;A}#((>2gPFW*GOykYK~o&Qv4N!ivn4LyygZ zBaI>_K0dl!M5~F|LhhRQb}jBV5Lc=8G0F=K!%CiX7t~J|@Z=1)d_0B;wx|I5(z05M z(YDjW2GlWb9lode6yRct+Z|3d(4Ep|)X9M+=)Que&poP$KrQe%1l!%x%k_J9%=?Z2 zQ0{ag_a!$vu@pqdaSGT?@8TtG#2T%LKfD4ny<=COK4s%*mn2T^2&Zpja60W>Tx0pZ zz-dQ!lUM%tIOy+2wz<8{Wr8ah0??j6$P1cahh#3&Q(PzD^D3SR3+tLj(!|Pzge;wE z8hA`BdU-WuWEtKu_~Mij&l5$4_$BGP@Ymd6cpz6K06n#s#$`R65m;sJL!5GZGP|I(Dx5nQG(x){>@7E}GDU zjAU+xskS^MMU+`T0%s@@4>r4pNcN9yM~fP7BQWL5D#HqKQedH!)fTEG%I%K4ZhK^V z5R{1hF|mYgHeQ%Dt<9m^i`=Mocy?}uw8EgOd#l_EY)bS9E@>WXRIK2mMDV%aHN`O_ zsU_IVMQq9V)|86oMDsQC{VI0 zJ9c|2-&qJH7(AufT8o@VCYIacveY`U7u!S$!1;9N6HMoli6$fFfn_G|^cmDz+8vP9 z_4D2Wu=f*2nxS7=;qlhp)K`o)lz!KN`M6#NvG>b4Mx9F=vzF?-yl^XE!LadH$?FEO zGC?tlALsj{$1p|7s*lf3;Bit|TiDV;ZoEuXrfCe7oYTP3;M-9Dso{_?%j7aV%k+Q<9nfkIV6PwOHFM96x3{Wqb2r?albsH_@sqmD{&X zpl^do^$dT%gBiA3EhekSv#fNIIv7Z(pRZ9&{)lD#AiMzesdRNe~15zR*XSlOUK&7SP{%%%8n*CHv0O0 zy7#rl3--kp27{qG(FokxLM8#wJy=9>;*^%YI73Yp3Uh;)6QfAK-`465DLh|m zlhmWhsQBvDSaqbU+{rW0*eG^CzwM-3n;ALQ>BOgqPc2d3)4jZM1D71&$fA%`b~O9x zAaXroMFv#H>z6yT$UEh>vky{1N65bk21*)#0uXPD6CZ4gTN=D3WwuO7K*;}jNw#3zWKD`zvGYLc5dh`S$LrrFv*Gl?QG zsl~^=-PZxvQrh%Tqt^Lox%}ATk3pLr!yO2~LNXW)*1M6SZ)xu2{0_aJdFx%R!t#%> z&^=^(k>Vb=9uAj3KT;T=uCz3^TV?(#K=Ny!{M*k`Ijy0W_cCl>3g3(su7{M&QllnF zKuUX6jLs_q#avIu&wvrH+G!Z#<$1f#sn9dMBFe#Z32hsIE?vGH7a@jdL-nTGeqKW- z;lz3oGpt3wmry-zF-t)yZ8FzmmiymKNPN|)RDJG~vj`}2aNCZ)@5{3L)n3)t!Q|o` z)sIH(DrO&1w(*KpKDFM{P>DWD7ad&Yg|VKN)|-J&e}BIgdofn@i(Uf(=oH1XgVE zKg*V2%a0MTm%3C$GZzIj&f76;%G2&#^~uTJaIH$=`{*>(#G{=E4t*!?z8x_=h4MnTq8?av$ z_1HQX+$v~BtcN(=cot>aQ(ZQjH@0OUb7qwVG%K0i_8gqdl;R^?1z65jM{DLp`sQUm zaudK?S6?#LOG;WrF?H0wUGH=MNdP>?;>SSOigW%oAwoxiHRA@80dcu=K=ytiZ)AqLT`}vjgK)KWPuyBFxxw^W-jW+i)L-;Eih4z`g$r?7S6;B zPvzUre#6vgg8c$j^b!~*ved9R{w1CB<$Cq(1fYxx&%CmPq*%e9KP)dgS}ZxX)oV^+ zMzouJQyp02&ai!`?r9R>fj^A>`61*_?9xOP^*Zr@Rn`~}7*+c8F3mN)ztTK^eL#E) z+`2Mi%1@yZsGS}V;X1Cz8vC8|fXo1KEK~KlEApM?`{}3m-TZVcO-z@r*zc=rqigbb zKOrzHpN<}_;m$fSpOYz>-9;a{6)ibwV0L;tc#8%)loJDF=d!rgdq|V*L}bo%y1)8_$4wnPzi^cly*3HN*_Am3gZ2=di*Cr=KzQbGmfmTqv=nl8nmL zf`@YvaU+jYTyL#9w}F1ej8$7IqP-HuIPRD!G_SW;qq}2akx3q&ZpdJ$>#&T%G#(v&aI5Ki*!v{MRlAmZwdOH;C2{s!yEd9FA6|)Cp}1Q* zHh&>*&$DAbb>3*O=NqrSm&cv>N`(L30?TNWe@_Qz92MA=Nw*Q2WelVA79?xX+4X3N zRhufySo`gKB3+Z;`!K(^<>H-Shp7bupi>=W$>N}_b6ssuv*zS-#R_O&o?0h*ID-h( z5F-M65hoI=i}s%cb1e(eyijTJ9GLG-IDVw}_|`;xHMH@pdG0KZSJk%t?u@7VjV%8` zyab0H?(F-vHCwP5p%pzM)^8QDveO!UM3)?LFt1q;AePL}z8c$#MvV}a zfCNpV5cTa(h_u9sKXvJzQdH(M(*^|Zu4q&x+O=f@DPR z&YTr2@U>ZHoshg=p3`cuz)Qj29|Ohe^|;(S&GauseosRsU*E2z!%1BsXL>ij4VEFw zKW7-qF6fadv#hVYvetO4W-|W+blHulBVuI#!PNN}_OEx*k%B&5 z7i+MaS=w@?RSz+9SaDmQgJzVWKMvYm5|HpcGiu?+%}z{xtaqVqz;zsF9*oU$#^(1z z@7!-;!NKX{8krM4448BlqshViEe(uIkRmq{5gW!RiYU7Ze*Jm@)C3$c-r}j}`dY4V z_5KGt=@Aq0WOuRJ`kfymkL@!-!5L0BG0us2Zp`CV>;jP!Xo#rGR1cf2kAL3Ie zP>)5YkZRPtwc1MkR(1txa@S0o_qiSK+u9eN z5zA_l`!T|g&0Y$k)?UXABl^I5<&&`BwmQCu?GZ^~F{I!#P(A zgIU^W>yb1az1{`-yP@&@N??#R>L$aB(lBSE_w7*o5Ubr>&GJC+_`sc4rNjc^HPc}h zo*xY2xvZT_Ody|72_%LG%nqm(M5?-4P^r(rgkcl7lyJ_)JZqSJCaFuv!V`a z*|4LKv3j@ivMMl%K1~}E?YD}$B`o~A<3l0C2l2M|X%W1q3trLGPGDroEA?ef*em*a z2A?Yox-*lLqkcU)#7PV}&<2}+L z4pv;%_;XPg=H#nFsK+j|nlmO}mEvHpb0Qo(Y6ZFla& zoJKir|LXoWU4rg6oiUFcS=v6STd(^X5s}*63ASodLG7y#2V+fp9>7j`C-=ZRdX(XB z)6XeALnhenU7`6Nc%oFD@0y>8c^20r%3pi+^nzDelz9(+B3~uBuPF81jr!PFge&MM z>HSexh|Du?mufy992?@WiM_C*(%Al}rDOe6ruYH)UmxNZ-lJj=go)EvRE1$_xS7+k z;hkCko}1vtoRMnhl#3-kM)qq}2Jx9~;aE{@PY$(cGKa3itl;(RoOcmQ zQR#M5Z4$faUa#d}x}&kC0fP6E(c3GnXcBhX{u}+mHybj&`%&yTlij(uEvz@FZNw>y z<}`*pORt6t>XJ41;es(8Rm(`I`aC!K9qLJBq;3oXreC;HDmwFx$so+wX<-=I_h;#CGH~jb;;cb z@el%Vw<>X3flG=ZHgb3B_KN9k+j)jpZgsGIjT$kX0^d;?r}E8>Z8-C4O`5*|FSYDp1K)*Vb^*veap#!-RbhB>^I6V z7Z1QCVz4~~`Fd~&6U{%t)^cM7-{Da+z2sFMP!VObd$kRrl(>{Ur&BuC%ewhot*6Iu z?@>HUfBXxbr!a&*|j>^R&l-1dc%CbgN4Gw$eU2A#>PMX@ zMkOvwaO}eaWUn+@h>4%Cy4OT*h<2ihPaaTUu8Wm=6JTEwTWr!|eZQuDT2G<}r?)z)T(Y z_VTih%1bye>dXz4yHd*-M;xm0Kd=Pey=gS9iJpGk%fcMY-e53WQh6Aj{k;y{k3W|B zQZbg16d^h{V;{NjEe5qEUFe*GG6Zu$_#Bet+5D*SM%h}6Vg`lw+0QEVf?{BC%htlZFh%X{gucV9dw z=EJN>lJM=b6A@K0RS%VOc?#irG{2fDqwmmMj};XQsmfK|3f=qEz7_cRbnaxG{pYW# zkomDM#|NUZ(wLouYMisLV)CvR0qAGbXRpp_dNqt56sSxv5%(V$A^;p(7#!l5#LxMd z+xh`!tuI=jP@*pN5>_E>>AIkx@rk2DA3yu{*sGvGam#_P@smh8us86;<{20}`*p=4 zJPWLHZN40`M23IC3WH6%(}l_L%=VkM1?pc8)25tE@9g=uYL zSutp1Qp%J!MjA~@tfh!7=Ln3yqqtyWL8hYsW&zTMIn_O@*4N{Bj*-O(51Z?yiSsP^ zWDrznUzWzt62*#mu3p`wiJ6nB@M@H=R2l(jYp-s~zaZk9@i0G5KE`odPLrDs`?e@e zdz?pv0DMys@5Wijm4ihLFD~F|)Znu9@0(ZU-)w$-M1Q4}d_X4vr@Z#0HVPXWa&i%8 zF@oD2@7%wfyFAZ7E{yp-h~kPu_aUijV!g}#Dtsio^(9uVWyHx~!!Ej^;-B7$T~Nu4 z6!wjC$d~Gl`8AG>EB_M|3OnVBv%WkivW`Ve)Eley{1Upc+=^!VqMi{y9U?p2wUSHy zhMlD=erT}>{*x~l)!2YIrELXEjDq&Y@+V)PO#%X@% zH-jnErrdMXdISbLjjUXiEW?lI;cCGzsrhp!^=ivm6~@<%_BAhKxM#^SvYkGuNA4z> zk1CKi_`hKtlPbCGo}vhmenC-Ni}UpN^*&L-rp)(R#RblV8;wZ*vSn0%?~1zrauLt+ zD>dN--HqjG`A#+*Tgxub+(1=ia8u&c_?2D#Uhj|mDO=9AQ3Hn>+J|AgJYOB;3wd?N zf)YO)KFl7$%_%a!$JnkqKcbsEu z);f;zY*sMVv`PFi(Q7fpe7l$b*())Kv)*XbZ zF=D?0EP6yr^1j*6FnT)Gwl!|ItySx4S)b!ou|%~+%nujjOMq^GRCR8$6ni(H9TQq} z*!lLr`3u4YEAIEafAFv@J4HjE&3tc=d%CNWE7o?|lp5RG6Y9$*nRlxrV$uaOCVKQ* zBROvG#Pvg9Jh}bQxBDCo#sWE4J>|j>??VPzcBj$mXX2JooaxgYqQW-)roaMF`tUcC`YTCCsw2xbemU%pCVSid{~axz@FIGrT1Qo zXKnT=ZOP(#@PJNJTiN{WflxbDpVvif`r?I6yPP*}aUX=*gy>S|H7C_IDlhvThc%o& zYRt3oy=&yCCEFY_65_PAY|TH2hcjlrs0b$CKg(2b`np|}K0{>OcgECuwH}!-^Z6<- zZ!WhGr+M~G{|W>9`Te8piQ@MB67}Vu1M_FcI(-x;%A2o^e%D{jl8v{@@_0|LF@ngH zN>>l5{TdrRiu->Wd-HgxyElGVdr?WUBus^5&z9Y^AxRREJ*g}cvhSvneG8$GNl3B` z+1JSoCWP!6%NYAM%vgt6JV*Ea{oeQY`Tbt6=lRF$<>TX=>s-tGT<1F1b$wJmo7ej4 z)}m}HnV%!Y8oM8Ek1?YrAbVlk;2dg`JBX8x*YVSSW_8v%WjOO8|KLzeUnHS(uXiP$ za=kI7DX1{>a<ibneJD7Hups=Mq(~D=S@|IO6d~)=rh?NNydvA5y`?b8H>c6 z#<^9Ip?WgP&qEESF|004`EZ2bPQ8lwh?J(tPZT&ghw%&lqG`CVn$~VgJT{*^P?2DB zk*0*y`(@_UY{i}z&|h43Xa&jEt9oeS15~qeKu%W;+}9Ax{HCL2_G!c1J7m+=8jhL& ziawolt3)T|gy~Sp0IgF%GAFozx$?G7golWJl-akEscJ7jhj`}_WoXE#ESW2uAwzlT zBnhDkwyNnpbgET9Nv_%tiBu-Ga1U(2jkjm|-~$)M^6a zCD^RvEv0AT^Dzr)-4xFL@y&*M#o|&u8CbL?O*1oBD6GjQ_JfEvRm`B0-^c8b z(wzr4>QW3jlV))PojN55iV&II2tjDha~n?$Nul1>gSw?9MO>|7t-DWA8kb^+F;0*j zJHv&2o@zNp%&4$+z1u@ER+GZ$@t6&I!}NOcKb-5$|5(!Z{L0Gf8@%a0ODY4o-d32D zkeAjI{Way6NfviHpWV6C_4?sqtiwXH4ojPnJFXT7a}@8U#cHV~J;)vZO4w4$yCb7* zHlm*rsZ)lR?a5BZLXZxo%?VV6*@0?4%vJaDU#C12RZ`1fc-pl-DB{=1ZIs#&-X@k^+By^1 zZM;VsVQH_wU2@NZXF6(1G9|lbS{Jgoh5po7ncIUj`dnU{$ytY|`qXim$z-K`&dCq# zDECcAs+e1}$fA~{qSL15rio2?du``w*$Smm1(X#{o=Sf3y8=l>_B_G%vj@RTuAm#P*H05m+ zobK3fKP#ZTH)tB0dwOc2H_AfD_#`n$%)I!Ug?u+&po5`Gy8=>y*uk|sTG*3p;UFrh zlhJUZd5;aEyBfi!D_4J>0+Wk*{M1%3J?mYFHc~K>P!XN;%U=VQ`@5$8z1=gprXLp! zC4W9}!|rEA*LgKQZ*fNYUoK1ZY-6eZmi{p;1a`UygO<+J&T$H;9ayVh$@|q{J@*T3 z{p7SF)vv{*Jp0zdWP(orjKD-J4*q;xZix`(f z?elJ((d}9vvC)GQ{R*Cr!mcWDPIGR70$b0ac+4niGD9hv|DSJQD z)jDo>ZxW_!p5UO@?l%y?7i(2~cZZ30{isXL&DZcrBcvL|XCm5FDtc6q#3*p@wokZ8 z!iB1e7k~O;2>-5)yjC#~_$A`?p!96BvW{0m{;Hq9xFIx@rW zsw?IOTRX3Q(2B}6rl(lyVBrv9Y03(sENv8fH|>?$wa3OPW3hW-zFd(sp#b^J0};(r z%YqYAm6e`va+mIyadgp?wcb&-FE&pn+^u9*(~jMnZmn$o&Cu})H*xBM7TbMvD+lMv z;kcYz%4U|P(H2{!$W=w;3;YR>)R9A$k&T-Y;v2dWKX1<@IL9kf*&^~tZcXav$a3il z31*c()`K%<0{kbH?k0ZU+;1$bfa!$H;SRpQ$p=N&6srYqKi-?P^3z;trf3amNkY7K z_Lna3?usrB)r;>wTrfOw{9LF#wuhrH_JNsU8qa3=P^MLi8i-I)CA7|%9Vhq}xMn+h z#b-St4yAfH_HFYTW#rDMC@fALV}z@iS&A5H8N5=^HmiW1^x&lMR5#v35JUBfW0wQ6 z{ByS04ad7YB;aElF(0z8I7#x`{XV}g`fZYt7_ZLfoylO&buY2QU|cwR<0^4Z=`yOd zwrUSjL<}&kjIO+9$Azua=+hn=_aCJh<__ci3o*1`GY@k31`D zq+cvyg~H-A9R{#c?37qciu3CWq;*W=5+OVKxN75#{Xu%wUF&@NHazQlJnW8@q4&LY z%9P0^S~y4hOMUSUG9+EcJhLq=6L&h?%x0u_z)+V2_6IO#39wM>Ic z+o(~+zIC7^I(}}}6~fOrKkv!d(`ALO(B=|HZP8R{f0^*waxj=2XIwu!(Rr2RL0x}w> z`_)3JTlL)yvh5_l8^=+tauF1VzZ+7j34U}|`B)G3$^Kt-q%{HONzfZZ6*zi>Fm?(m zyw)Xe80*lCo6vqRmKqiCN#@o|yi%c*CP^x~Fn=uoZc^luXAWc2b45r#dUck=t@BP! zM6F=aXa}&~c5WQb0f!p%cmf{`Y&#b5h0xAy9<2fs(I^w1uA7?N(tGs&gStXP#{@lw zm2tyi6~4!N$U-lgarT!7tRne#)%)@CquyH4S4E-9YdKJ|f5D^^;`hW3lcv1Sg_1Ei z*LQ!NaX$X0A%pV1;E}KiSORaiKLGfOD6aRq6AjZJq* zb1GA>1;;R!ua%y#@UoM3o%{vKOOHfyB6>=z5O%K|+!uqyBI@uyGEQr8M28@g0SFH#at3An`19@tlN#{D~O zZlW$$F7a}Tel+9WwNByJPWjK1CZl;^It~-}#ZZ?M8Mb^>b;=IYgSsC1-?b*5-F0u0 zR)pQ+9UDa97w(B-zsIsulACy9qa@|qLhWcHzcjJ0BQ%6u*16>|ZKMV4Wqw{#udjM~ zin6VY>MI&Ae$+B30FLp652v z*^Om5Y~;>i8+UYREtCu~2pY@o$o+EL%=Fv!XM@ys6}~TU-k`g4zVeI;(#eTiJ?9kI zJH@B;UE(!*c-_|W{SYAxk%Z>UJnomHJq4768zk1(pGkd~rsvBJmDi)^iUw4$RO^Az)hn{_fRiFNrV-#ONeBxy30~K?{GxkJD zSKge~VH4ugHvUS?k*H#?a29k!ae$DeE~!MPmnN?id#_(0`fcu3g2QscTojwJM_x_j z@&SJZRQ207wf3o~cv%neU&Zp62GT&&_-Z3hz(}S#BCEkO#p-OhZrjosp9wobW0%4~ z^SOFfid)X;xrp)6m8K`x`z)*#!cU^MNzHU~PeGi%XQ7`9wwtTCpX!!`P@U z`(Srq#AwVcn$j?#$40RkM}|Hwt#t3XcQ9q?Y@kup%`k2LpbNnA;Z+GXB(@;S!aXGql65pmA*C86>cT}z31 zsrCx^L^p+@5jEsJi5(^u)HQ?6gj?17>HNy8M1|&hfgZTsF=LJT8Xq|m&!NVs!29n* zjQQW6Mr!o7B4SL%ju&KGF#INvN@S~-Gy|V6lpc$o{0F00H<;Jww3pMR=T`P~`fnEU zLcVo>fQdCorP{{E2N>x`iyMm?eEgJFkeO(dU`#}1qbHhij2!B9li7Z+JJsUnh=Y5! zEFUwK2fpW+tv~h%#ish4h4-an=h*s;B|9ilkfXyJs{81vM@9;l$~eci?sZl$`)nYu zk$h|XZ;`9_e84}!POgz7lEn;7OCKhWoE<+9Y-p>;(q?y8-_gvNr{ywjlo8DjCvjnM zQ~d?wx@Q_IbT1nFMQXkQS0-|g3iqs;GdnjRc)TN}3yxZ_y{9ReXmF8LBu#M#KBu-e;52de63Bhhe@vX*sm^MV*UwvlmXdH}9JqcEPq!&U?yOV)Olbg~ou@ zO6CfJg!-x>MPyv}GFn!?z0HBGIVex|F_TzyCB=EXsekR*<&O5`n|*|D${9cS&2Z&r z0`+4|89f>LeL4DBTgVkn{W;rBKzU&l3;6zxWs!;Nm$H}O78W3REpPTVOWF|t4UD^WuE zGn^dzr~Rs|JJjuJv-gCkxR^3Te|hMg@RuUh6(&0k$Y@;tAog|Qb#&aj6~8^^>ki%9 z==3z;%}Bh-v$=$n4tCF6tgH6yNg9sxBszsSN7kR8ccXEZ^{(Z0-{t?2)(>7;EfiJvo+VDNjF`CEOp?>4E}IPl7R#6(?_2lg%u zcc|nf%*wPIxn>p2&)U7teVgl&17|~5bhJfOfms8QIGQTC z3ET;-H{{zd4fMkta~?=um2y7yV+yPKytGILy>c%trPgc6tYYglsi%#P_keE)Z*RRI zaoMdy-*~yLroQdRMxA3VK0JNDq?fGeoyqhn>4AMV6YvxE_|glRpGHPXX1l|P6W0O_ z-)9;_Zohz`1_bN^FM9JR9qc#L?u~VU$j>lDNy6cU>+sVHDFKo4^SbsPITesP@3$iR z5ZAQiV<3ZSqVo1vv*Ajzoh|%qP4}8yaqheZo?Wda+DKixhldNAa~(m1GP4 z;Z)a%K;uMXx0zXQ-p|A^63_^+0WKah6S&qgJofy|6A=`5- zBaJp9m!Wk=I`5%dL3tpRMs^W0_%M#lI^Ke%HG=Dp2YJN&6J7_}15E>4lxMJbE*Snq z+43H5*sUrBt|IyF;gJ^ZXj(1PJA=5FqxC~n2r&#keFx-$F^+;T^n?e^Ykc7K=}{ZR zxXbUG8a>Gp2vy@jou|vc7&<>?TTi*%pY7MZB^z&FU{LdGBQo9b!m#v;!V2;O>Iukv z8roqRpo5{_wwQhU9r)X|8SMDzGlU(cG#kb>cCQJB&%gmv8zGtKMH)i45h9&gX1T%= zIxl&m67Sf?WeJ2)pVr$R8Y>LoEny2uR9tO!$60ot5mH%S)k-yhVw6b;*>9)`n}w6= zfts*p5P~jLKjMuVMO#f7M&}Si(%@)5Fd2_yx3vt z46a~Am=Xuw&_&$H5B@5IW!&nOU-@!3Y3B%ACz}tC9rZZ!4K2@-K&__~#4dtblzoiX zcvkor+L@tX4&3j3iV@kqi2`>nJC;#@cm#g#^+p{0l#tN#V*=%HNi&$hn+C%F*KI)1 zo@YChVw~<~b)I&cVnQ|dzwxd6*^;XCN8B+<#+h|7xR|ruooi{>Ujx|zu^VU!1m(Ia z^aqIezsA#?>Yia5{I@?_1!J1id_K;2bRI7-L&ml73!=Yvr#f|vsPIpoS|1jh!t=sg zIw|`Y4W_Y-P!3PXBYF{h_BLsgarDBj_-A-J(RkeQ14?X${|z|HEL;00GjlWX^V=4M z!lK&3w%kMaG5jpHzkU0JE!nhtaygbUK3B6UmYSl+&BY?7oIQSR6O2_2NLM)s&NftQ zTPP{S+kb~?_!?k_E~iyFrw_?C6pPx30wmYFP*@w`tMgEb41^XpOi4XL!@q2$0SiqC zr-10Kc`1_4B^01mx^cc<3uq_?f}6QUUJmznPv`peB()Lt49QmiR{YVRiRSSRx9Yl6 zzZt)kc9`O1f!j=xP6fpg1KloKuLc>y>^yJno4|>mLa4QGmO{FB@S?(sih?4Y1F==8 zVKrs`#8v2G1>mQ=Kl~T$F36Z^az|Lxi@+VxdD~FZ)kBO6?4a18++zlDtez)u0CL=2 zrH+%8WmW;$N}hd5Zgyy+1sTTzwdH zTA*#&3~>f?u%o%B^#{qv%q<*B=NfWER9PHgl_2(uaM`!zu^uEr0MLPQk#!i>D z9&YZxa>?wpJXQnHiM!Gm><`UiD}}cW2USoL=^O;x(7~jAf)AeEzK1AH?bi1-6?4bi zP>koSFx<79vgm=fc$X+1ulSgXRlE6(hy1V~{vdNpNU8z8YyqGBTsXlvv5eEg<7CxFl3ItTW4Ablc?3*MMAxv-GWWPjWx%&iCi_lCrMxX6ki)vD5jH z=&0#vlRH@gwx^LXDwT58o3>wxriZuAfW#zN;%?H|MjWtLKP_;$u7Xk`d@0b4_!)*E zk0vW!4HVR{o3jMF)ZL?Y9_K$XVAR8bw}Z5c z^vq|qW?#Is6!qec{Q=Vt?Fd>5dE6ZCB8tY!BhdL0VngjmMdV!Xd5L`Ilu zNDSQY^T7uzHTk|tyr_|VSc6I)mDXNgig~{c|E{+J%7^9K5n)=Nk$yW&na8|NdaG>2 zKXm&z2fAd@L9!|(Wr`+D%G`(~mDMdC`83CVW+B(J15wU1|=Ta=S-Ref;=C@~Dru)e*NZeNn?Uk9#Nt z##24?adjSVXGYzvp+*7$!C6^u8fScVRT7^mCvU z>)atA+a0EHvD?nfHbVE@qVtCqMuwL=XhI!%HeyCOhs#8?k%4Mv0UZJp-@Z_MJc2qu z9NNw3G@xIDS3(ngLZbtLQjE&{LR_!xa!+;l5pYElTei+9Qa>!@Mm8Wy(>xcBkQi^C zGj-zdJ#^d%X;fwTUG##bb7zxBy<;0_n~VS~AS-q&9sUH1RnuZL zuIn~>= z`HOT|zi#Y#E6^@<#;9p3lfSI`K=%Y*W=Z6I{8DN)w-%jJ! z2jP~5o9bZHH37?lV%SfA0a6K|F)7$Nqv6w>Y1vlWuwT1YTTyPn?e(^~Kw%yW zU`VwzO)Bz({Vfrb`k4%bx4{SF=Kg{^Y%XuJ22gydD7R<|NDdOjnm`tF7$IeIzV||U zB!F_HgDFK6x__85VZ3b}2VRT$v;`a?}p1T{fcUyh7QZ(Xk`OhOT)@e=$$3 zI&_smgc*dmz>T9gke-{%&MWdrg46RAoS~t>&m09ZHs9K*{`MlDp;pX9o%c)=+YS>4 z@e{aa-e??jkYaoh1H(zG_B5o(2hf=pO*k8uvGtc z2L~G9o_9rCHWiDt3GUj3LX<)CKCN#5rZTER;zmxh0(;uxW?>0~jTL9W2>w&e2yz?4 z3K!wW9!<5hCWT9Mx+w!gDOkLJQDX%yLhZs^$$k+?ughyzKf~njJTVM>xi$EW) z0_3|VfC+M>-zf&KeR57Eqxcgdmk0R^@8295&8!|jtwoo0rtcq60IA@iM1Zo_c6W)F z&OjLr4ZIaL-o|rk#WUtN?#xZ}D)>AD*$lM3hcbkRY@4P89ogM?5@Kf=)xF(@1f zJ}YHWK|2pAMbMe#+;*6p|4=P8j(CkP^$G_?2CD66ZiZ5oiIO3bptJE|?C^4m_wmzB zJq4$=#iV2^;b{N)5E%~9Ya(Lw%8fwVFLCb={W1tMpOJ3`X8`Igl4ekr3t)yGU`98< zhI3Ty^m=|!#xAjoJ!83OMWBhQ#$y|PnH%7}?_hJ@^L2v3RTvzD81#Z~^Li|XNx#v{ z_Oa+hLvfd9nlIN&ItplOJ4%d>*ia3|!kOdUO6VyI*dT!E&~2`@SI~tyEThGOQh2(l z^^(5M&8+oR=XJH86X@FM{7dB50^SY6%h*7Bb%w2884O#?2Aq}a&2TfT$#nn>Xb4ps z{;MVv6dsu)Xd14{3TS7Xf+m?WZ(Od+{k_$F>7-bq-pZB_pXX|SI(rCNKj*%-gt5DA zvbR~d}Nece_Z0Vc(Hfn=!F=;Oov5NBZ_~IN|5EZ?eiIW?%?T}s9wWymmf$W#L3anP6!X&js+5oD^D0}XSq>Lc8>Ds zvzL&|Q>&q6E6V)%dF93r)dU=vFceifnwv+vQbDmM>oq9U9~dZ8v~*N7SJpZ3JL+U> zyynfLm%Qa?ly!S8A)t-Y3(6}i&Yyswp}^B+7N@5bjUHs#i0dcNOpe~^vNLsJU+Qng(7y4)3yW>R_r{X&uPOi$HWR{eXQ6A{lIdVs}v`=MJVOq)7NZWEc z6wMmL!_}n5OnvZPpewxxbiGPC{aJVAjEU)ajNtQIYsjayeR4$QbLtsx9Hq9IHwlNP z8;vKVUI&7PDUFblfhI&auFtD}d4ps6ZMh>hx3sWC+$9bx?=EvuK zpOqt=W0p9}`JR}Z%E=k+5S8mItvYFPZ-bqe_a<87oa~Qbx0jTGi9@d?7+_N9$6@A(+k(tD_8NiWpk@b8)Uiy+T!Sx|xbf zi0u5P&YrkY)a)`=|bo@;R7YfawX^sY&D?(NNqxqp~ zQugoCs^PX!e4{)@S(WwlYwOn7z`nW+%D$%hedJ_}^9gS#I(#fO+<7cwo?M13 zjW)vFP=8cwwbGRuaxjM-)7xtnRRDS{xK2cRmcMLt4JFfzOL4L75!c4%JO;E z$~|iEM7Q*Vgdk|tst1&(N;IW^`j&Z@KiCF!XRIQTv*1mZ~GDT-SoLy0m%7Hed6 z@yMO!VSG+;Jw1H=*{$NI4;qFNzPIol@ctZ5fUtWHjpa1hSZ}~j4Vjplw|NjEBd1H_ zX`JS_Lo?sbz4Gf7k4cvOoc$GMb>F4-Mnds+F&R3+6;#hbx$19^91$-+rfRe>sa)lm zSRP$F_7a~$Q1v6P!1v?4^Gq2H3e{4fr5=5cYGcM_D#X3mPks@6b$MNYcVHSCEr$%* z#(#%^9(%{m-0d!d9H&HlZ_jinyubr9uRkp@dHj3xn4fU~Ip|h5O=a9FN}d1LIWvpP zorLu-A%{DEyq8(yQ!0$`;ShSf4#Gm``Fzaj_er+Vz>DSd*1AT%kuA4cI0ORjE$2gi z2B~P}^7joneQyd>4{YNyrO!08G7mAjI0=%4a*7v7?pIfBPT3=*JxRx~%xr{`Ria+6f9X!o1!)*w#+-vcBZM~V%)WYAh{Ut z`_L=8{w37A6m`(i;~~j7*ur(QIxtH>J^rHRHTBoV?_m6wYA6Ik=P}BiwPg4~d#>c| zZp0R?M1TJ+{5_Mr`gBg2D84$q?1srw2hC^`&4GTcS*sVSUbYkPJ+q@qiCns&#^o_% zg5Q|ff1Vx!xMC53|J~xa(O4P%k?--zy+QMX*afQ;PggtN<(Ks*DAy)*dR6a#DU6Uz z(5!fO)qxy*b-MGM^``dN!}a`v3%X{vDK_L8^vVz)&(Q4?rJP4xolbUT8x7~3+dev8 zlEf@^KSSP?TU$v&p4dGz&oj^SxFjH5?8~TS4X1`g?B>d^Mm||*8SpF8^mc(zp$BozLmoJ zA-7iX926+VS2pmMZ%nE+Us>Oq;InaxcKwDz-<6hp-6_Eeepr-p)JoP4XeqNTMpGU|mYTMk9ir>sWz{1Q=8 z75a4~)h{*v-B0V@B4;tx$KBoUQKg*M)?-+cEx$=8^Y+$OsY`mD@9Lx|Wp#;f*IF#SDn)6~mR_{lwN&M@7-3wpwGhq`&w4lyvHIM zRQxNb=H*Eb==+>S?x6&1oxERfB8DTNYgIp+GZhwa@YyEx!$m7MU^#hH7LkUZs*hnS z7Iaszx8i}RJ=!*Hd?dZR)io8n;&4mERkG1f5!cUSELNTX%xP}TK-=@s9f{FK%}YMO zkcexFIr`UhibVDA%pJq{B03TtcKGbR^{p)5Fy1dOY6zI$-OPHpvd5_^W9y3=?mS%k zcp2`gYMnEBpMpxGO^^6=S-eU+Z7ZrE@i*%xtgWLc z0r@&tGo7dcffE!?T7Qc<-!RSH_SJnl)!t&L#RDpM5eeud;8FZq`z(HS(m^ATar;9w zc5o%q|Lb5)#>~Jbo~9e9UaS5So)|E*eY-v>jTdLx@4Lg~l3uaHv>&s>WK4!K(46>f z@qziNKvVyNpm~%7{Ds~)2dO!mQ1hC+zeP3OJB=v)iiul)!Rp2mz0@}ViAHQTVJXIC z(PN8_+EtpO{W^izt%7FN>!HolziXcy+!8f>o4DrbSf{^njMobpTM>wZu5J?asN)l~ ziz8G!5Yxa1Lzg3CNrjMg0SGN`Ssk|UOD$o%^ZRlrg2#P9N9xR=T*6$(8KY0P6@*s1yW- zPPBN)4{Ki2Q5)h+KGypgp)h9MZ!tF6*`sh<29$1 zjd{rOkd_kF>d%rG7ox$PODv5}F5uuMqjEozA+UN|7a0s$RFw z9W$e+hYSqr>@#D}#0S=^Z&CP&sSDkxwkyD(0vbGP%pP3?2cg_?ePHj606 zq9s@x?|K)uuPe#lFHh+nABSx{@vD4#z{FPEb!^|tOb*AWC8Gnyf@JW_!I_=hXOxeF zwl*d&#g2T87kKOb*8h7H0$rO2CuV>E@op({y(AR9yV}tIu9i8M)NhA#vI+}u2*(dG zenMD2k%hxmwFDIuAf#loEuMm`lA6I`(w?{ssMPyrFOT*|-mDwfDc4EV#w1JOo(WX1 zQ)vOZL7rvMiBNKg;jMK}H0|h7caHXDdMR{f`7h1WM{WH2N5aOE{OzVCN$Hu}BkZ%R z$7zxzcrZ4c{bsrMKvVL)5&Wykt%Tc`CgEP{eUrGE#aNP;8L8tX;ibJ-4l=l}=T3D= zbv#QY=QS45pRX?;Kd9mMzif2=*ThCHgs67)$Ls4tkLEm-hnxq+#wMYxW$;kwqpBpV zd7^M_Rs7WGhJC`)j~+y->xNpMCS=f$@CfH%wAp3pa4c`mK66CJ&2>dbBL8vXfmo%j zSo!b&v$E+xoG`=kKiVqtyx#%eL`hu#DqIXh>;;J(LAOZt2?4g}kwK4REF>Rf+s#zi zk)v*^KRSMpFk0t-lu1nuHbMMfnJ6%Dkk$3S%ukFt4f0M~NKC~i{L!35Y>^$X&fP!% zZJi>Y^@dd8ZGT&5{=ohTKdD-0h+Y*d5!jUAqfSQiF@P^RHu+TeI@=CYH8k-#oNM=X z5zbXB!WF#RJcb3c-?%(E`YS4UK`@g)XEQpk{>#vD9%mDGQ{NSW(Sbx5B+`7!(8u7-dpL zE1Vmly)@@1o9Uq%J~K2?5P=-{*QfxO!2f`f>R&n-$Yvwh0(2pR_iF;rF>-dy?mOYb;JFkKt5Z7}vD!&7f|OOz_t#1T0NRc0^{}Fs zal;@SZ%_HZQ5L;RnHcN;EEi1jAg~|x4@0iC!qgG}ngm6;4+=$)|C$9ziy5_12BK8S zA<$(IUZA8P7kx)iKxVnW@l$|jZ;d|yo+0T4@V|M+xRA`?fD>ULfFpGjjt62U%fW5> ziImXo57CVKf0%~<|HZW5>wlPLv%Bkj(zkT^Lkrk&J|aTkf6)RZ7zg&_*VzBVwYw`{ z0d0SCjXz>FmU17p%Qe~`t}#x*cZCbCq=X5GUFl{#@%Tq9zG9$3D;N%F3_Gb4XbeRk zOjxt=uL;qJe@o@B@$qFSFuv@rRQ`|g|E()2%BUCqvW4Dxx5(w0PMu$8!_S-k;C}JS z+^Ka<3F|u}7yAm&>aKz~WeE=LaSBmhaJwR#)sU8R@M;-sw*4Q6>6Yi@ZYy9g&|DB-<|WEZ!?jVT8A8$fRypwq&CY>#mv;Xiux-`V>OES}jM=lc0* z8PfT4(%+1#N>d|yW;^G1ZnR%!jE+e7Q(2PBE>cn))NNsOcIg#RyvV5%gV24$-6Sh5ylC1o4@#gE}{abOb1O z?vr=v&5@xcmhlzCZoW_uL?iXwB=r{%+#YWBt9Ux%Iv zNFMdo;Ft!K=A&TH?ZXsXfL^qV;FTv-6M#%w80aoC5wtcmoErYdr3kUVCqS&R{bK;w zjZ$E7v42?{Iu=Y2^cPyroia`Z%=tzyfX)j1MNpP=2(&C0BAH15xCC+o?ymgvww&>M z@OIH3^AjQ<|M+l#9BZoCAE30_bp;JUZw@0OCGzhH-u|EeBGN{}Zj^T_C;v@Pa3Xj= zbQ=-9Sijo+1*!OFfxFQA-v!ddq;}C+9bEeDVm>o!(Rb9!dxz;S0FTx1!T!JB(4^Q< zP2-yXW^&d_#E-wxK2F02K@)@QV(Nc~1CYu92=q6@b{EjMC>PvQ3xp?4s-sm02yt0zyGG@{r@L5`t)Su zqQAjVCSvuEp8qp7$JyO=K7==7|JDWVDG$Fxf3dPFwZH|w2Rcb$fQGO!KyV++Y~kqQ ze~G#fT-Qi7EQbdkCZi%$-N@&`g;RC)0HG|LUGF#>=P+9bNqM@)l_ogXJDs8)6jBLi z3vQ&EmY3Ba9_VXuEUiL5LUsn|X?*sw9U_=z19(J;jWNOUQ@7Wt($FtoGsveBCoWJ~ zG)@^xyery(+Tv(yB{kmO?QnnV_~cZWbfyf>z=aUa_nv^NSY zby4Z=L;aT;rz}E6k1}5Z-yJEMy82QROy|k_<u>)K!gB_xuitg3*d=jvMYW&ARnf#Kp|_p}Wt5FYtZ=U-tOwL