From 4c0a6b272e22cb425b4c9a8ce0c6ba75bb573185 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Mon, 3 Sep 2018 18:01:37 +0200 Subject: [PATCH] Main content finished --- slides/img/keep_breathing.jpg | Bin 0 -> 104076 bytes slides/slides.tex | 225 ++++++++++++++++++++++++++++++++++ 2 files changed, 225 insertions(+) create mode 100644 slides/img/keep_breathing.jpg diff --git a/slides/img/keep_breathing.jpg b/slides/img/keep_breathing.jpg new file mode 100644 index 0000000000000000000000000000000000000000..57f50d76332c0c5f03680493b0bbc2109442a7b1 GIT binary patch literal 104076 zcmbTdWl$VZyDr-3;6B0KHMl#$gKKaYJU9vN?k>S0KyY^m!9BqVPSD^QWbiZJ-ltBT zeSh71duqC>Yo@ziS?jgu>DQ&#O#nwpPEihkg989K*avuB1;PL%1Vltc1SHrA2?+@q zgn5x0s=ftZkXV(fBM6I0}yeM@Tj?@knuIlK{T!e+`-93D74ZIePGR*3pySP zw-8jcH-tpQB=ii7Ow262eEb4}Lc%idWaZ=)6qU5Jb#(RgKNvtPt*mWq?d;t@efIG5 z^7aW03y+A5ijGN1O-s+n{F0UZwYa48TUmKUWn)uwOKV$uM`!=Q;Lz~M=-Bw|-2B4t z#iiwyt?ixNy}$bhhewxJ|E_Ot@1XY&Z~(%8s{=d#w?hAyJ}|}M;9+h+1pP-JICxLk z7XcR$iJA);Pf7!1?ut*t9gIRCom|w=hf2$%c>%U?n?ZX+$Gb&;`5%@3OQZjH3Wfat z(&+yv^ndhuT>&r<;9w3zzy&0Li@&dc?$|tj>Iv&UMVTU*xilsF1>6w2l#z6Y`QFp= zZuab!`3EjkmJSOwFlL;YY%kkSP9HQ^3j$`Uv(0=iU0(T)r>{j`2n5TX3?^EF>V(0^ zA67NzWQ}LPR|i>|<^FA!`ow1GEkrNZH|Z@@$Uy^h=GdlZ?#79l{cqA<{y`I@z&vXu zCy}CTXRZvKLfgryU#6(SClvup5;)b}d_^k}OIlClZzo;J-L2EbVjaa<;e)vG+kBAV z(Cis@Bv<|$;$ASVN`e#ZdV=Dx-I8bfOmd18qhP5o0@)FXYS`sQ!ly4ZLTKkmnZ#oD z_h$^WMos1@Q>3c$=Ci4KB#?aRr6UD0I88)vpjC?Mc^VUbKF@I1wEMvOR6AL~lNKkD z6KP+F+)ltE60F}QSBNloSrQ?Qo@Qb6c}OQI=cD<-Gq)w?a?}oi+kr@6iAApCGV; zUpa(l@MnUd-KIr(Mm6uKbiLmhLW>>?%cvXja!0Tjf85Jw47P~3*~Ssm;!ZrOE2xF8 zdpODv_DSL0YcL^Qj2`{iiq{B5i=9!@t_Vhu^nQ&V3;A$_p9lLH)1C|%Ze&vUZU_@? zFKUr}Zf^ucKqmrUFHNL?V42t-ixkW3>rGY{JC^L)A4!wNt?<#FFwv>6&PgVOKb0py z?687wesVOru5K_`_jcdn`DA>M@^?ksnyxha!h~7N+KJkwlNbxJtzL#(yPeU$F$_Cy zMMzgRueM>9bosrWYwx#syiT$)HnVM`-IqLI>!AQ?j89lx{T%emu&ofr) zH@6p?Imao1-QTY(99oKaHcW|Po-5tl7mVf=BD~KNu>4fq+|*O(NREVbB zr->ys%Y^uL^ylN4wHav{TSPE41FVRq$Yvpgf0w&JVu_`!z=HeUX1>&M3?5D+BtYM? zz@R9(+zBLzT^CYVu+0*0}gQj|*JMGsQa1biwGn31`4@GnlLo(80 z=StZ8=H`a|OEjW;GfVoFcSSqox5?=NVgd`!{xMK;s~k{)KQk?y{Fp%DmlaGwxDpr+rt*3h}A9 zg)`CK|Dw6D*BlKX|ThS4SQWj>|t8jlg7-*N>$-BPCW|W>;s&O znrQH$_K=(HsQX^I8Mag$7KoDrMQZHI>F2d;Du_Ov9)t;cJjy}kHHkA{AvPkTdnAB=jm>K z@obv@EX^85Zp5$)cDG1MKjYvL_GDMb(}8^-dzK?uIeCnD@{f|M&^BUy5-YQ2rE9h( zA1>VR-+M!{7)kD(aoLpjU>&3R5k2#@Gf~h5>vmbfciJ*&-N62U>tS{X&uY!WT(nE= zxF-;XrF~bYD=28F>)u)2vF*IPvjd706{++})Cxow%gD50-|HXnq;@A$Fm4UW&1D`E z2#u6OtCHusDBk)L|H3*_@oTfGgwDV<+6nXNBrFRYwE|YVQ?XG)&c4fXt9~FKea?Il zaLxKo<2CXWp!^C9>K160{Z(sC-hTzKpU`*ID7+T+FFYe5vyg>mjkl`?M_U>Ad*d`B zD4J@F)2>=%cxt)=#@8ahpEJezaYNsRNnCK7zR=Vir45~yc)yKp_E+vVp<8(3+ZJe6 zkyrR+7}4f-nKDY`NC)p_zS2>-wPu;-lPy=q-6aOvvguWe4#d4K{Y|ATfqBqa{_$hp zJAoXxGH7wUoX1XX>$DqJzUzz{Dna)){fBEYTnR`WxUm08y&2)95A+Ho=oaXfE+u{x z-^acrz4e7wY#M?Vien~*vMuf3pMHxV#APC8o8jCI>@=L;Zp_DG_w6JkId$^>6ZFa0 zbmRwf{l!Q)Qu4g>><5~U9ZGUlBpD7#sFQG~`m+N$8#b$meG@-@NK5{aX!np6fov?$~d`&3@3?A=UI_~#{XTPW%41( z?=AGhCHl5gqJJfnTZ}|Zc=BY0x9uM{F`c%qh@@5$0+#>b+yIB+XoarbGCBR-$--r- zT2q0>JjWANYik4V9FNH;{MQiuSD@+yu7-kyj-|1C(r}BhzbC2y?8he&SD{`suff*l_pT<(-?u6ceiC2JBYAR<7w)iq%fv9g6)8;qPF@e_D z@w@*d!V;fCrgl5Bi4#Re7W@%V#t+uV#uqvme4tO zL_N;2E&2p)tl&DjNtDs4F#~@C#Ll=6J=PKlxYVw%07~^f?QX(NpG0=B{6Zn0fkIK$ z69C=$W_R^RajRQIT|eS)$oRd9ro^(=-H*_0HH=Qq+h6(C^jWpFY)+@OY;`rcBkmvF zi51OV`!LFqK4z2(fGVmjOT@*-QOp!>E2OBEA{>WR+E46~qG_z9nvvWHlCv`m7~V0S zE6%vF5JQL+tPq3N$If+inn`CSz@ud9wUm@MsXn0Snx`tJML)GsBPcARx9TlkjJku zA85Gd4cTtu?;QdMI6!!-Vf|EwwGjulRDK%L*m_8Rhw*v@wvt&Jt)$VO9ue6C3A%$t zy}V_gNP_(X+D;MNB9Z`}qWD5?#Fwy!_826ibF<==THLPs-IM5=JnQe)tP2g-26v~9 ziQ*60b12m6eo?!tW0<4+eDNQ|BN`NbT_v||Y4{VXa_KWqSahgQcqy8me2$t=(3aMr0gobXHVx4<6Fl z(6OYBRnLBO7c6RQA{#ZNi*vjwPvO{sSfH*F>5g2wOB#hdM>je&Ud3U7S_I#EBV@nrD_;_M76JskL{y;*A1|_PKg%yVp}ox`)5x)1 z-uVaq5F3G5E6n^jZ~?w=&ScR{#mo?r%rqEN{-lhq{HbWb+9A?B&oamttt*{F#+gsY zg+*}!dYA7uDIz~|3i85TIG^&B+jUNzl5UI1DEBnavu(`I==$1a=r2X7;}9!?5cRMG zEaMN@Km4U&uzu-nH;OL?0xUW>kMGKV*YyV!dEvjj^9Q~3wY~xm%paEpr|6$MVas#% z^VGwAGi-exN|H04)NPqU--#o5nX064X9~Re`m!(K`!o0ci}+D>)hhs3h(Wn(IOMq1 z6P)?*xw`1>lMJ^VC&s_l_gR71?8bqc(y1PLBzhh~1yDvmY3xv+C)$z#rVi8bjU^4j zPhS*2EIp`xNw9mN@Z zsCPTdE`En>MK_BRnnAhJ()SBt%wjSV0OHd3w;HsM6e%j6JG%-0=TT5SAZD$ zu{VGs5XY-Y^JQ`lPbd1@6&~;6neBUG6D1vFk6XAu9YG2sipyKsym<$UtCth zom50@7((P(h)?f7L**FmiIs-6=P57Z!8}3sPqsH6elN6PgA}P-til+09^Z)?V^2z)#gHM3ux9!o)#ai&n+vtNgZt7tJv0LqS|{^L8*w zwf56@*I&HRkZ*~1!DARipI~B9qua}Xt*I!tC~~jA%F_IyZ{;zM*vY-ErZZgn_lF$M zPves!;z?}TvzyZO#Var%PuC{$*y7yGY2ku;er_Um@~H-8cS&w038ZSjO0&(x*1JpQ zaj4PW`!y=id(3+D_8ScS~Rs5RnVt#`lBqZCRrvHMDoaEGx>4Pd{IzTyVHa9ONFmD_`*+A-C@^BwEns>ekNx=gf#27v_*Tm z^!0#8ZP-~0_187GU$j;s+`;p8H{hHiRl}lxyziXS^)nMgM-VUdMKLIT)_U+ioQ>LD z$#>j2(pkB$6d$RGd?VZ62>c%buPaK}IpNRMJ5g8$vDhen1xjYsL6d(jRD$CvhX-DA zmI|IC+37%wX}!>?TfSEywG3MH3OM&X7&XJ)S^<6^3XNqQVd043#|Kr>d#h+Q#}T#B zsYRlPWJyZ9Y0!v7b6GgwIS?>Q;yI$5|^hd3@ta5w>50`ko%cCUqZIkFYONmgdH0XXAIa|=BjwO zn^M+1?yFMqqjZ%pR`LYq4`52H+Byc>8PbJNljO1NCW*PQ8nNvOt~as_F%~@_88g_x z>haTpk4S$`*?lr`*eRPYlh!Bb$bP>r|uG1v+J7w-g)qUD{@q`e~$aT9%zTjb5bf=T)dXPJXflN zzPzSW^BHo!vNj4OyghoucpDS>C^<~?(i=+p;Pj7vU++NRjuZZSsg^Rtu zxpyLM99ISBX#E8e%|^pb8haiRdc2hPa7%%U&4CXnwF9{qe^$?5RQ?{n^y~IK;1*)# z+=|22jN^spv#;_iP>QDx$_wm!C$XCkReKpGfMo(r?WrwD!v44yY1Dlp2)tiv`Drv6 z_lNp28=)WpUI?G@AXuau^L@;_$w6_nvwbj9;tDtxyzj)E7KEcto?GXvCD}^4_lvMg0D;>VBs_X~(jvNTTGtuso_oo41JaVAAZ?TXtCmZA>sqU74#IW{P@d>@TV z%0fyXvJ0n>Mu%IN70L_}MavRHjz{u{zgL$+bib~)obaXiywg-bux<%=HPriG{dhhp zRN+6xnDH=)9lf2lWpd*1cXz|&63O;|JV`v7yT(x=8Od$%p<5y{Lt#3UjbLDrvx`R}2;cuB02F3eheoia@(xD0thc0UXbmwNX>sr?S_s9hzJ_9dk!iN&rs1uo8km)KeFIX z&!wN&0y>|Vj)?WmLby>1v9kgs0)CQs)N=T#T?`BI`g>+E%)z1B`L2bN)3~ovGM^FB zR|%)>XnaT~7VO4ObEMdE;&41arEBbIaz|QdKGNArRz*wlCRGDf|pZI00^Y9wH8tfS=bo?a$M`y*t5BrjO2F4n&ObwPIswQ51;|nT(Gr*EY@HW!1crO({xML^(*j%zXsW2j2d=N z1g{4kinVykY{`qZ+025ah036Tn~ZMfn~9h_Tw{z%K`DXf*#NZQR!k@Hw&{Baul{!Q zXS#R-a~+vnKm<+MwIE;)H@+IG*1xi_`Te&aU$MO&H9TtViADNtLZ~~l;O^zQBqeIV zA7Q!FB0uBC#u?r&a_--1m{P0*Hcm;!5-a^f}(pU&ZK_B-%5X7mM3p^)nhIjQqS>)2(YTP|Z3Xk>DW95gnbssd^gmSd*$HmN zjIJPpS^9V*=9OnPrT6H#PdnvCSl_@F&_@DUX$nM#=RO1L=^9I}a98-E3C*kNmkAhM)+;HhW;sATW#AI;`>`L#7;G&~< z#4v4O#nh&#=SYmxE3h8>3dq*@=m%~UXBg%Odk~Di0xTCJJ>6cjEHpsC84CH4kP3%f zZNG_Y+^6fZacWPHG`f}4p$bO)=nH@hvWFO^;OAAVNpqtd4vZbe{8?PZ7jEQTJw5u+>FjQq1=iFu1vx*(=F(&krO9 z4)ng2&#(lz_^hrDMu%In|DP`CUmpjc9foiDMO6L^Jk+4lUo{y&*YQ_}zQd+fMZ z0AhMC92i4+`v}Wu6OxqH>Y#nk;TlH$OUhH?NoId`FiVf+EL*5*GR{L7F^>*a? z8u^u_S^T|@D!WJiC%?IyE`N9VM5Wml5$kpE!ndlu(Xu1qM5i0=3STjNg0i15%M4)0 z3!mleteS?s0z{5%C*O_PT%S`OhC&V3GZ8D>$><`Az?fd_j4dLi93wx1}nvt>O4o6-!o!=p5;h{1?4r)P2d~dwbrnO>~Yh-9SR< z{h}@@G^)R@e`?+oK5#SRB5(gSNZDm3u?f#}W4|{ve9;53=a_9cro2!y zy{9vweFYjSk70f}t@83?nlx-WBxzI&p1aM2F1Wk9Io^mN3uxapm&V*o^ab1i+@_uPGnEM+jFq?D|^)NbATpp z2FA`n_4);TjQHi1Vot*s%9GA*TwsN9Py!1hACiZ*#qLRBmN<`B)!>V0mopx;|7>E#zFEfyy|*V0qS<8MQ}lXpoxxwwAo)LaedMbd-v=9Ka!gtcUFGtf>g%BO4q zI|B9$`G%(MF6DMJTw|vtnH1D}1)(Qfgugkjz)I8h=|WM$)W8cty~oJ;_l^=OUwG)$ zB46mBCll;aYF-%SVT}|yn?)GQyu&>O^?0h3W;zCf3qUNe+*EY>iX^ey zTt`Zkaj7iPn{&yMZz^n?5zMzDC#G|6EB4^Xs6s6r3P118jKclJX4|Yixvq@D37;^- zGs2R0&;bq+ZAYaWLnL=@ic+|F{tjFr@8?bjp9t@sIZkv$0QVL8$#L+lVE5Etnlr%u z2XwL!kQtL@GgIP3Ulz(*J7_j3_Z^)BZiH5d&%!%bT{c51oV-=}iQr$>efi!yxvxOK zntQH|rLn|u%3^8c3yIMFB}K3hyDJ^Uj(Tir$ApK2362UPnmSh4g&+LKHH2kl_?up#?1@zSi)D7Ei-k{~XOq5Fj;A#W%S5fY@g zk{ys(DQKPJ=4O|-u7?Ql@*$<3s?&KZ%p=nUvfOoeJ0ys=@i64A?Bb8_V<4&jJk_Hj z!;gDOs|JbCx%2LZZR9xkq`Ne{0u8>5=5l2e2}P$$J_xg>ytw2?*r;h@p0oRr)rb%;v;t^%by-MR*0&bL#d! zn7tqy`%m?-*7riuZzo_~Mn=yoP_NQ<#WxZU#r;9KE!yVs6H9Rz$y?sFVB2is>l#~_ z4VolHR&CtdOO1Hv;DYiE#8)7hQVMpPW6w*B!L2F+>^Y7fkK=hZv5G4U#3yo8q=&r> zXJ-HMYuyJ+QZ#MV7_6FH{LQNUkh^NnpKLrZ8K8(G{1T=P3VqplAr;Q-XH_GRA{G!Q zn}@VpBQTDpMU`m00`Ob~U$e7Dve~gXCihICjHw`~#5N&W#HGp@B^2B79r$aAVS%C! z%G0yj^5RZ-^_?OpocGW?Wp7W;Q4?^{Pkzz~S3+~T;|tdVLm;0<5C9sm^o) z4L_ARh(ZW*T{oJ-kx-4f_w=&#pV_7ZcR{c&-el$#IG}0c7L~ZYg?S>N9cI$fvX?MB zu^{Ls>+ZV|77*x9jdz_)4HnRq((|@Oc37brakSD+a%@ToQSfX6BSZW-9Kn@{04^yg z_x4l;US?gAculZ(h*qkLsPbk+>leLmbQIPFAY`iKhRg74rlXfy?WUqbK`%vuiS_Nq zp)@>syHwbLg3uXDkXv4i447zN@KiR)gA;2Ojx{bDuv>5NY#Yx)K$ur&MaRZvsX`i} zZ_h$!y^mlJ(wKg{sq&$b{cq7!dXx20leKq)Q}feMT-P&*+58{TkhkTVS!^Z{Q}1=& zv5Aq|fy}5dz!Cb>w`}I3 zok+BR%lihEB8Kmd)^Lpto z+Mc+ZoFvdPdi=g`noB)bkn@0LW?z@}XIo+ndJ@LZk{tl9>ZTe24bwz9NOU_kXlPY% znSlpJOK3;^>{MOCV=j5(n$3ZPFNju&1#)=M=08I?uft<%lW%TagOD@5w|*x;4C&@p za~&c?IFx`g4lQ)I4b|Z)es(2bS)qVS?hk#0LjML+y0kWwRAxA84g%bY?Isciz(voB z^L9ZbA2y0T70{m^1i$%2zU+Yzx|BTZM&LmzK6gQx@I<>)!yzW$pZ%Or zhX3sxVuwO5#J7E8ryRzHXbl7NGh(#_SCDxRP$Y(Ei-*)o2d@?}=e;M@AJfN_YC% z1j(sUS-17~Y!tIhtl1p41-BTp`{5U{+UuId^RMC9m`Hg1xH+Zp-jiqpKgUmZ?v|h8 zj2-d`irP4`-SuM6Qia&XJuS_352(w5e_(l!1d#Y2SNF;TcNvfuG`?-tVoxCGupIG+ z*-GHFZ}GKug}8O5l|=1gCa%LUf_dRLRi*KG zz2r(iaUCh2+Dy+9eSk}e)y9Y6<4wBhRg+Z}>IHVrhVklv%M(n-dfHt+Y6w$&4;9%9 z`0oUyvA>8Zw!l0)h>|52M{;))(v2hw?~FzicX_X_g_6jgz9M#*`YD>6hsX~ZGH?C$ zAx#>}o;2v5SgOJ1IUYoCZ(7QLlD)7|(Z)bkO!ZZ5R&^C5_@yt?$=0BqxzHr->|qgZLiN{fjd8 z=z8k^5-b=yT@{7O&4p_t12G^fjpsG2%VfN~Hw05AJ*Uykc#7jU1;L>g!5N zc{f=k>w%QrxX&iS4NHY=vuT|CzPtt>V1%=-!|oEgu4_QOZu-Co$G}8?G#P z^tenaJg=P=cxLJym!9%Pl?9CM#G7~Jd zhT&p?;^{oO=9k>XgzU*Sqb(Rj)JaA6je<|IuG%BAeoPyJ9ybu@YW7-lbULctf;^wP z>uTD>3V#i!5QV`&?9sq^g#@ulk?X%*=279YzDvXEu8hqWyRs62;#l5GJWBd8u19Ze z7>t@OhBN7RDL>leV?wPUZHey_WZ!eur`4E!TA{i46YCI6ZZJZQ%yJXI zpwv;QrT%NC)~Yz!VYWoXhOyGh@W$G*p$ca*zMY*8TDbL*%g;CoN~K={j1{V*+iX$d z{y+D96^K{`wDND}$iY9C$HvMGYa16cG=D)n;y!S&TX6|LhP3SZJAF-U5&;tl9vOA^ zTpCrH=Zu)JWH4@}80%_Qi{00VcL_`l>K7NqMKi-OjSJXEoCPx1~(iWjSdx|8E#cV$60MDt4l%9)>Mv zd3H&W(}(bd;Uc$zET=v0jwgf0e1?+Fj0)K|7LPk#>L8{5 zy(FWhm5pTZye)K+r>`pfgN%N|6*Ierv?Q}6pjFZP=Zgn%55ufx2Nd%?8=!kE8 zJ<@9oJrH=o^~a&5Y!b2(6CK_S_~dV0=4MQkij8gyPjhO$^Rg-cow>=*8(8Yqoox{Q1*0y2Y@1n(=^=QqQ1Gx?G?3(i%8@ionB8->Mm389V zw_GQ0vfpHVl*j>>uLTuk#X|m-r+askV%vbHXA)7zv@PV7Of4ai>j=&!AtfFJu;h8y z6A>(6KC|O8;a2#@0C88j1tV-T95QJOJ{vied(X9-;Hnv~poD{lKMaScg9+#ike#h~ zQG6|G(69fY*_TQ&EeNKPG-Ru3YemLH!g42;9+l&dt9Zee{o)p<5UH{5u1!{`s7Km` zHE)yy#7GyVbNlFoM=1=X2KNe0+3O+Gd8sND;|c3Lr+~0KkvF=L6i%42c)HF5G2xvC ziifu{_9WSu@GXlV-q`BZZtjQgbB+|yXezMK(}fV)?!h^Hz7&o-lYUyCCj%5ZU`2|e zNj{8pv7Nu~`Ds&yS!`+hyTz_-7j1C!%~TEY{0r{Uqnt8aHku)Nw_hvVD4mb?XI!HU zVh7|=;87XZMHQ7hkaXI6o?er)lz0HYK z=~?g1F>4SD=BTU6bUs_~sG3XN)pv{$q_m49Pk5trh z8o9JunYXZ*PiF*I%_ojwu-H7OAgS zLi1x*lWo--TuHwZ(wuu;tBrmx4MO_Z&}prPxRQ5@V>@Fu(-R5kyf2)GHk1%ba?>ckD+Ggpm~J%qCI&x}5f ztbAuU@rZWm(jlDBAHFset`Q)d&*lZR*#nmeenjd~3~&@4p)+?KcrF1GB{U+8npHn{E-wv*Y+ zD2&35SSpN*m!>tBXjc%NMVaBm4(h|qx|Tz2l1DCe0A@Dd{kg@B5JgMPE-kmSNjD^s zU}N_noyOjO*@c$!?kPVv`8mZ7sGZ)UaA81PXhH@NeDN1Sg@s7eGFBe@WIHtg8w>wA zsk|7IrLx<=ClU9yHZW6(oLe=7oF`az_`MPfH46fV8`mU@ljb{p`X#FW5-sUVuV@Ea zyN+g;d_!Sry?itBhLhW!FJ$Dz)6TWjF zsIm&)=aU>w*r(6xbujatmR|dUV?i{$DT@?^e9KsiEhUKsFSe|!F8wc|8CY82cS4d= zTc^D#jQ+&lS;0acEc550-0E8N&q%=)pK)Lp;Y-Z_hW!a%Xj?nu!)l2;6mGC3rn94D`&$J8&wCCmRxO<0g=i7rcu`l`1=O0=n^ zh(S~z-#E4kAE8n$)IfSJcOOhk(`3KLW2#)>81{w8S}W1@_(88Bvy?<_ey8?%M|k+U z;!8cXvPEZB3hS|6@)(X$E~JQ;EBypd@tbVCCo?hRc?BmwBJb>6$l?V|w0U=?;sxzo z`!{FlF_XyVr2PeRNb0~F{4=X&ICEuOUWa%)=|0kF;ua~vbt7estX6`G@K2Zc{Lhtn zhjQ(tU7WyJp)zwL8@ZK|9WnR!is^i)bdQYbDHw71`7bvMVc&9dyYO{?H>^Y57PeYq z){WAx`g)0p8H?^03Z^Wst>U`E3uQZw-T86$3&Z;R^y$a=3cs{E1KaZgP)Kmcr2Uz_KT0o z-YP*f0w*00zG8xaZ(;&Lj+5oSliD}CH&JPO7olVp75vKc{@(>ton$a}ljqf!M$^Dq zKXm0lh`3Pe*eaxv2AwZB0ut-AMCE2*+V_9n6QuTj9a@WrP{*2yt1*=0(hLXd?Tt;< z*hV){hdC}c!!MipSE;%=@MQRH`rECsfrxTgOx@2a~({^cz_vsBA~#s*ZueNJm0W#iT2AE~Et z8^k4h6W~smja=vB>)muY$$s!ia%wbk3&h!wVcFtSbh+X3jL1mq(Q~6hEOXpX&3qt* zRmA9Wy?`VwBN+*jg=DykTgMs-0UT>p77-vsTcE0i~DPBUrK!1T49ZjU8+G zMyHBD_r?VWPtV6Wk7IApw|%B1DnyNOGO@yt2IPHm;yIVytfdSA64w2LBSStZ*Ps$O^@PB8RQ+c z`?RO1MG#$v%vG(|9f6TWI0n=Ket=A~eYS(mFbhu9QP67S_(QARguC^!>%!D8u*K8SnURUG`oLN>nX0-h&M8Bg9V#XVi zWSj+uw*`O6tLu?cV8mz8wUu(dg^~`G4Hw{vifs zce$h$^RIOh>7*u%OqbpAXf19hz#z&H7|(4def`GAKhAqsO5()I{Re*ww9YLU%atRl z(f#7-pEGDizWj^?TjKkbKUPNqyzCtatz6}VW>*W?SjE)DrhZ zy3Ux2*Q_g39mLNGe2FkvvVX%utu8XN;3-l0sJSOitokvZ@6vgzCtjSu-qp}6ThO_= zYYfA~p!;hwL1NsAi?{r+Dz*_Be#pm+ADHyN5DY%oo=p5{f<5Ryfb(PL%NIWl*CP4i zA;h2o`^K#I;hlRCTx~a1{ac$`uqj_mjUw|0ie3qbIx6jUM(NbE^c;+kuBWze=)rxP zawZrsf@niYa6_HnbIGdqA|$_Xc#Cbvu^;NEa*_K3fEHCj`Hd}%E%l`kD?I6>8JxK} zp)9C}xu5GqNToULMk>0AJ52Tq{cxW1IRcoUM4B$UrxG}>UHy5F!OgnpRH$U}6rO~{ zV_L@3{c~{+GqF_+cOrpMi1S0GLFNnEe`L{lHp#q-T~Y2Bd~$itJNrTCC-CF4v@OBu zCagXij<33v6^EIwioz4bNY#F-CCbiUovcwqcPD5X`ht?W9XXhO;j(Bsqi)w|%J)+p zRdHp!$VK7h);)h=D!iDOVfUj!mFno-TPP%RSYpfGULQ6}H3+;MKfWb+B=Y@mhyOwZ z+mSO`^F0^31y62?5Vd+=MNe!f#L4{?Kv&kBdJg%IkQyh<|7DkSsQl)ysVE8CxA=ba zfy8U814a5dE%Ul#?^DTo`P0^eU%vk<*t#pJzdrZHUKwA_{}u>w$SsI5NS3%ohuK$c zN$cb-%)asV1sELF5_YVnp{&~#yD^(1uK>Q5?N?b$C+m^SE^;~Hd4GevbBpfgYG1DB z_@>3}{8HE^82ryB29UE`QK4muj3Rp(-IbscH2S%@i$z81o{e--iCg_Y9d6;y~o`cCG-<;{54&8f{ zP`PN@8rqMW8_CQbS!M{wENMk2X-|=r`3Dm06*^SXrurRaU(%HxX!8mLr#=~6$c{w+ z$Kiaj>KS9~MGYV1=CwuI2tj%4VinS1cng>d>DSi#LlVn5+81vJPHl!BY!Yg3Dz4kb z=Wn&_j!7o)lK+zTjge}(e|jNt3L{xks_x2nyol{*++G~C6@81`!4XYrr&dn-#c{AC z-AcVnk#a-yQJ0sgEWqMO+eiQQ<~dtIZtd(>DTUk$WDNb>iV&jV3=VEkhouL*@v)63hAz^yLjq92$Hzkp8M zg3ehHOKMuEN9u8Cvaw4sQSMb0GX)Gw#0b7<6MC7wv<^I>D|m8h-ZPHs5_}sS*qG2% zc*t`Ui20;g{*n7#ha;oTl4X`pUMgm>XCVvE@zOpESF%P0ogWNw5t+0J*=Ba+sM+OQ zGkhOz89cvPg)mC>x4jGmvi>Zsq;$|&{ZrLtK-BevgBG1+-;V=Y@_5#u2+`EG)ZalJ zG)Y#}X}Eo(54sMPvnU>MWL*McE=a5~4@t)F#*zZ8rks^#I4#8?GL1~od!GUyHf>@v zuvP{!=9pk%#$cvHHNCnr(-@jy@3~|S!U%K!&RmZV&Mb`?!Kr9PA5G;R=87o?L1Wye zO(`Kh4l^zLuowK7X!!~J2qAiusUK&U2sC|EdkqIDhqApo-emb2K|;i2B<$wgUS}Lw z|Gq2)T$1`=2s1yv#|Y?sVQD-Swz@LQlrc#@Z+ z8>PT8Y@%pFk6?_D@&jdJM29~~?o$=jv+ZluwnMbv;#R#@DJAY^>O2v9+!BRNkS{UKy%Kc5>kZisn2gsw{~ub=A9X8Q`T*(0-#4r$+}&RKq*HELijuB?Z> z=)_%YcLV+fF$_hZiQvX*-{-@$=cYPQAoVO4oV3*>KY8C5XB!uZn0(h1qqv^38?|ku z%AX6~L9Rg+$+J0u5(UiW!>uPmp|E~-2HPY7WJh+>N%{3=!vYr6)e?lU`~O2=_8sWl zNcVTi9-Ue#v|0r=@Y%``uiQuMfg2wH+IG7-V>T_$b?}3xC3b>>c6Kl1;4QqOLuKGvpH2@BJE{3Oj44Tqq8$~tw-{a`2A6afVuJ>%1!DgO!;q6L z;&aOxi>O^C$)Ij*ex@+#9tr*j^O{CdTd^5v-C%^` zZXcsZg(V{Au%Gr+PQYiWhc2ajdBB&X6o!!~1+93zaz^mlbekF&j~~Y;)4U-TC1+>; z#RhoZgfK!3%(P(}1eY+XYb0N{#}TGnzZT};$FiSWhQ!00?P9*_pb^Su?ATAvq<$YR z1>&9rc<)Hw|JFUkm_mQ|AqA{^ua7XVhs9i>iu+HPnW31$zvJ=kVZpLQ(|(AfYy5+@ zr^MYOPvEK2nb4F%A-2SGadX{iUC;|(J%W26WJ(xYH`;H3G8+wmPTbmEzRA0o+h)ky zDIjVY`WEY3sEFu^EBP=zQTZ~fS}#q5t(wHvRVpeg-! z@aOTCrdisdSDo3wW#V$rV73~}B94g^UYXL_ip{IfNE;i9G`15=DPxK&y}0Aqifh<) zcEOhgF+F>9K6=j$ufQzAe-UB^3NAEF?FcA9~|^XfR0eV zfd*i(bg1W++RBviMa`jgs{CA?!@_FS*C~qM4`8Yn-jw=P@xyPl|1xj&XB@xFKgu5P z3yd}y=&x_stKr8*cnuIGZa%7QeHa#hv=TTg35eGX%O~AYOUMi$e=g-!3pZW*J-cKt zEvo~#obG>;_g~n zTnnMN7l-2R<-IxQo^Raoo%=Vx*4Ww4lDX!byRPDK3fQ3u?9Xq_h;S|n@N1kshA2n= zD30dRlcwB{UV8Jwf**+9al!M=#aUrlUp(8rsz>aT#QTUZoTll9?(O>$l@v(70*c#q z<&cgjGM$gd4Bdb&(xd6g3qHvJVEV8~g?~(+%9f&&jVF%!rWHmSCi3_dO=tV{i2?)EFy4YfTSzJs#qwIGrD5|rMide0lni(RZ1ioUur!*&bm`1TW<6+n=$ zBJ*?f>z>&UAu5e-6(VmgoT6AQCHCO>zoySE8hc8N~*nL4o(B4;^U z;uhGdZCwap3kezzchyz1w{A|Iu)XxS2U0nr@djlUcRsk2K~k$|-nPv0Cv4;j8l7Q& z9HK~#rYcq-3aa0{y8;dm?@;w*;Z>dlyBKCOAXC;|@=gV2oGmB>;|(>45TDB=s{EUu z_-r#AJp5POl;%13=3v7sIX>{yLAQ4n4RzoeHRXc1!bQ;L-`2#Ex9gdSW3N%M55p&a z_yog_;EsSN++axw#B~l^mlKK&0G7%3)^c(Ryvoj$@)8Lsmb-6ulEND6Y7sP(in@U> zX1=J!_DTJlPS!MEOw~4YZ`*$VdOM0XdN)G@_Yfm0#wa_!IT!%c)^G$|y52LN##Y(? zK&_iGn5nIPd-OJMi?}`dt6kz~h>%4vtb;s|80pBI@-^Me3$D-Pr56%ps!oF$Bq_XaA8r07PE3>(><;VAgZyaen0+HB z(E6Dp>ZsYBoD1X8K*Eo=;ys^=ht}%VZ&LL?#p}kSw%*o$ami}$VXu_fh!U`plaoA5 z(+b+FfcW5oX3M$k*LP z=TvTEg>gf(X$V(zAVQEsEUT7Y|FDmLYea(bI>J^X%?;-1`Xcb*mdPaFZ7wAM@8WTp zJ%2fK_zwe=ZmH}9dnIUh61-Jko2s&xww923%NHsZw5+4AymdMJOs`GImlrtasvf6n zZNu8tbfU5twm0FwDHV?xft@MwqTL+o+ae1u?^ZvT_hTEA!$-gT_D@Jdy8Z$P5J3nc z7!lNx?Y{imSBNf5aoXZz`i8~>!8OejIwH=4l2TyG%UaN-bLalwfaRcr>jLb$d*bmtY0wNsJ zs23*+J&$}Z6iOSJfAQwc?{Q%N0EP}w_VJc~53l3h$8MVgP4D?kWA#6&w{<<43=>B| zUN_l`&3g7eS5cg>@Tt667jGws??1CJ$X!}QB^YIfNjR8ds!QwXkD}yc(2aodcSqgI z%19WQ7)-J;mv_@}F)FM(tjNbN4V@vJ!~7wQ-yHSLim65~8>oh@^#~Pct7}qz>Uvj6 z)5_XV+adi)9uaWP4uf!X$%ZA$>3lGZ>(CdbOw{z(Gsb}nWZPD$}sQ78E90Z zGHIBXC_^96<}!l;^NyNIi_S-H=FZ zW?{X9C~gS4A~^!cNI(D?cWkBJnk7cyOR=lBRFhEy5yTIlwa$I_@_GCTob^FCN#t1e z-tEJhHc91HKqoz+g3d*2%SE=(vKkeZEJE4+0`0F%STsWA4Ok zZNfUKnxXSd&DoGPpGg3S`C|Cqpel15D!*UbYHLI&zrtYX6pSu$)H#IqMbSY{!GX9$ zkIVtmh5KXvTb#3tgL_T#oC>&d$K;Ltpkd@PS>AoE&tdGxfjD2-NCFvz(ti%E*W_ab z*y9g0Vz{blxE^VxMvh3XzAV6E`@5f(HBTkCIcoAz4wjPMlT;~u*}O;YC65bnNn8Kj z;(_K40%Hw)qp|Pw>y?w$Jh0XO0l>_9IIn><0GZmALm@xi+eiK4PUr0kf;EBm&tsBZ zn1C04q=$3fr*b)5S|cS+jA{Q;qzRmNk1nl63AuTuQXwNZjZ`@m z{XNOrztKTEi{Bvs77&?8e8|olhZNgSE00ALWY`G{^6X5Pq#Pcr0L(Hf;MULnD+tVvF?j^@JyPmkL4%_kAUa#`-ali z_=~1tKNXW)t~QB27GbQEhGeCkzNVbncIxaWAkci7$Z-8L-ZT9S;?r`~pWUo4>9|uc zV%~puqT$I{cJgNXU4k#&*kUMxa`sm9ruvYelv9qM+!%{kG>u@y6}_U z4|6}aMeWt6oa&?khr~>#uM7aKY*_e+>&GeONKOqG8*La<3VuE=}s zNG%$?sB35;00_M^M1!XM?swWiK-2bF_&Uvf)03XhSM>|@uhol#mIX^{lnzb9lsr~4 z*k&}4%i?MOh-3SpezIpC1fe5!==VJpLeepEZG^iY^YTjy>zXDkkM(^1%Vv#+QFoY8 z=x(i4b7_KXsl;cm<9MFC1dp740@O_p743j|VVhp9)I2e)tEG8X+Xv|AARSg5c@ogv z*qIQTq`M(JI^1H*Ih4&?Xisfeq5#0ge)&+VDSPQ;!4Su?O}=xXy@-=y*~e}fQvswY zaUgMnWbrUkC~~a9$t#TkUPpUB|su>mr<+pVS$yrbih>{ zEJqY~8BCUd&}-Ru!vC$vhQ5vb*K)Apg6~H=oeSuBs|@xwujT4aC>F9PSisoOe#th$ zz+V})ZPC75oa-&oq^r`NQC>?8bpeU&puzcPC{~^9-|mFVF5x6Bkr!Xvnh}Y=0<$RF z+3AFvZ&Ej#OVdR&5wcuyD~l5>7b?5xbMWR4VSmmf|FfP8!u6)JVPw?K=XuNXn`9|G zpHU&OSl9Fy>1cx}Eg)*D{#n$ZOgkXiU8Jb?n7-J5;JK+{lw>QwBHw*d)3degrs&$%jMQl4@fASd2<}zG+@i((T61JFMkL*r1_mM3B%u^ zwDHr5)&*O?@EY_`{g~!bdXe_Kb~90q`GWV0?UYv%F&l)2jx$J+1|adPYb$T8#)*b9 zYvTYu)=1OvB2;2EbW*RL`6@^dtnaV^t)9e#6d4}N`>ch_^71-#;Zv_44X>X+lZ6MJ zAT}Ov-c=DSJtNG8Qs}nfPoy_Af0_RvzY&I)j;#eTgo=# z^rT&`)R!mKeV@FAm$)u6-5f-7->=aybA!{cvhUq6BafH7Y_)jLcJ1ED?{0wqM?e6{li?y)>XVw|CBFqzL&@?wE}oddD14vb zj}C)_hKKbn{j!w(gtlF7^Z0x=PLvH|_sVIT zj@6$?w$5sEk`j^-y^^LeLX1Mc&$SuXwi93ZJLu3n$FQIrC;o3a0O0={^u`cp8yGZ- z`wfv|?<8K`MqlXoFmFCnvtrBp1vXeR+#gyBVKj!EYGnoT5BRb1b^;Z# zt9da*P&JXKfIa#3bi1vj|Fk`quLlxoj=p34ZLe z7c#sEI{9o0h2hLpZ0XTXPLv620}cBvWFS8dK6+MKqI}08Cn(XXbS!opK+g(8GCjpF zO#zs3&27AsN2G2%sf#6e3|ExM!@oQs{*!_7 z_Jaf|9Nc*e8}b7dBE~+*YYTRUrF7#;u}#e_o{S zU%~&r_<4_NA+OuFoR5k<%$X)*5NYI2WSjWJeTIsId!W1_!zveDVgg*`POpus4DCJ3 zaWI_RlK+XB)G9qvsTjSQ9ngOAv)IxE3*)HSAdtQ>oy2)5LfF_T+Dl|ya?m=MXVxG$ zAzX!5H<-InWK@xx?Y2xp%p1BsDNuIQ1XrjKUf2Yr&!J6=< z>RW!G=e>J{uhy05yf3*}fLCFUfPM5X?s@_#?`welX7Y~tD>|ktCawvn+z@zu={^?* zc`|ex!Er|@9bgsduP zvF!Cry2;ch33!`BQefcAuSZqCwiD>~$c|MZVNaa@Qa`jRp6d0nQb|1IHh%6z?h~*t z<+}{rq$=pVG(A*lr5WQMK4^ZKBEkN$_z&O@QUP8Q3(Dp{fO{5%7%`EW43Q#K5erCe zgwWvSe*;K>OY@bw7qvFie*kr#H4qs9DIK9@ct(@}N?*h%cvSZnnN4d6C+A0-`SWL& zj(-5=g87dUtWgI)Y&A&o$pe7rlZEW3T`jFI@J_fnFUs!DQ)6Y@Ggh#KVz88il=T-` ziPyL3GXa0ZTV@wD8@1JuEIXy~W($VDvk~3pP#Qz7xvG^$e~`bB-^0!RHU}_o`Qs2C zI%9#FpE_DlP5bfNQvIuh>>h-v?yxn1^SVeE`_II{MCxZrsp~Vug=s!w`;EetKadEF z>mmTXb;GEWR6e%8b>{NEmf)K&h>VQjKvKZ^$d{u%C6Qhn06_Re`bI z=qr{YF0XHS%&h64{bj;r*{-SO$9NrMAa|yd8xjC}PDjSQfsH3}x#R4QF%-ys^-Z~Y z1pQLRV>(o^5sjP;Lz^V9<4CQ5*^1s1t(RfbhlCZo`f!|iJT9+;#MLUVf0NB9N>gN; zge6?!T<8QO;ZUqYXvfUhYQyCtaiQKL2lArl4bDa8JJO$v?019+Ltr}E8glRe#1;x7 z0Y?o;_WZZ>IUX+roU(ci4JJCa!n6}c{w7yw&oib(w9}Zefn~eO+1I?;kVKrEca1hg zz9>R3s2!9}f!QiRmBN$Go;>(QIkrI#lLWtDzpRBn^qBtXt1q3Ljh1DDTrGy@$fT}k z(EzPpA9CQ4kflNlp}fXJv|%n$TWhE%=@6$XFxd zMc7AZpz~yF@sB>=PnTMdQ3m%^J8A^#4ef_BvwQUPUtjbZZk3+-6MJ7j(p3LAr`Sdq z@+=fv(VS09q5e1sZ2Sk%^FHxKNSeg+^|JRydK$IGMa~+JFu}^=su<0)2g(KizeXL* z3w`srx19AkLw#rJ=j(~Y`4%w;XgOO3C;_zvNumIBbpZSVU${YFE0c{s+_U32sBvK^ zKa%>@J<;ZG?ECz|jAfTP8<&W|<|Ne#>Z6J;zPgZfTXE`}#T>_jpMSn{J_p{*)C90y zc*U38&(H6@`~#5dZfS{dE<=afgv=4!@}vylI)v<*Hz*Bi00PABO)BjJ`7gktl3%$x zIA`77U{@P6g`(l4Y4fC6F0`s{SY~78E@mX;{0jA&-PRN33FH1bZtQ>V{0y1 z@|LY0NY!1LxaZ;Smf->({+;4Tk~wqean@MWku)Q8c9b}AkC@kmhCY`dd11b(On5?! zgr%k92KZlRIUoM%zkZnl3OHY^Y_#8hE%!;#053(E$hS0xyuhV6nA?5P1-;N;PX>#c z-#gHRnqNy91#Ji*HkOnHcrk(8_ibtmKkV0Zh94D<%>KZRNcmP)s}0w{n1rWT(i={v zBE$Th3ClF^gZh=92@wO#BVt5Ds+GE559v!v{4J+g-H}2p>&OviFH#g|H)mvy$$yNUhd&iJ$M{0Lad_GzTAzb+ zHw|Biag}EC|Lc;-FptyVKg)c*&)`p5&fEjpwDw zww~Lcm1{YVEn{>AXLgOOHI-J66#%|xCuSG1n{^4_u?_=4=VdW9HxkB&dyDU7@=UiNz6+>~i=)|3ldXVR1FQ;Kych zAZF0iU&KEhyg>8p(!y|0qx$|{UbHn)Z23^oFZTDMX?d>_p^F@R%Ci=#r&ZLX=BjX3F8I!!| z+GnGC+oC_y=7-ec=ZF2|3{fo@yIwt$B={ND$4LAGzM1{-<+{zuHrGn{)<-pQ!C#Je z)cI%wgiR9;EnX@sB*9kRJMZFfyP z*0%o(^07^@P-wrs*iEVjdC)P$)wm&QQ$PMb!!|hAyMpAC!WH47$PiF~SJviN?njCD zg5k;+DZvQ4ryOadLmXAT(7uRq_~hv=)2wWXIRH4 zlB(I{1iUmNe_FE!zhj8IF14Rkgw-hrT`16YbeNfcCp~og z1VKnr8Uq|iycej?*vd~8=1jdybZpk4Z(lq%97T9?dR0pEGNW+WFeG38wNGWi%J8yS z?6X0{OtiQW;Dd3YHpR?rgJ>C680r*1^(3&K`hmyk;Y_&7X%QkPZ|SC##NFLhotY)O zSwm-2ScX%(p<>Exd5guG^S*Y9`m0{o!!!|OMD(_3s3Ok&;`zoVNs+3xF>%95GCid{ zz3?=$6r|CSQo+%auXdwRffs4drJ57znUwTMfx>*aXf3jUDy1&`DeGV#Ng;Gd! z&Qw@n?{0%G3om04Vo`$%ABB@Yibn4VV%sRRVcL8dU zS9iFTlRz%Ia#75jEIx{@;u}w?O&$L(`i>7Bu9~6n6OPt%C5oa5eSo_(Ab()zMPPfO zVnWEyJ|moONNX`qDL_RruDCLek{IcN1eG5!21=?KDRTLit9cQzxwj%v;D zN96Hac6MDpGzRjJ{_+*(OW+HdaR;*fRWGru_7M4~cz&8Ldqc)nyoy_a#|(*SflBL? zFls;Oq2obGC7_xso>D?2gvO>#-)@_ZTS}BV#JY0kn~>GH(%-M*LPQm-oXNZzh=POynZi%AKi z>3cT+@bs5yJ4{#h6V#4txa!l)9NMYNL8n(TdKLf7ptIoOI*8NYRjUFm>o%k|u(=k8 zy6c=zHC1nJues|yBi`E^3t*Rykj9HO70~cmlY`1EI{77e?wNZ@*D1e|wjN2A_`9Wy z`a0OhVqhK@xBQmE5-WS__BB!{0K>+l_Xi#FsfQ`{4b1Ep91E4XUFe(nCz} z>!=wOD98ZXmI5Uc`&QWDCWg@eE~vQA4>i20NOt`y_YTv+*)rixSR@Ld=;n}}%cP1s z^^G-|>9kc;&1m>Ird3zWK25&kRuy!5&Plih!pT_!X&;GFEQ_nQ7D(j#2yF?qpG*1{ zLfJ}gqoZwa^)Y6a3qj{kOp6)>PoK)l#aT)}Bml0DRQ6(a9ZooF)kim=sWhIEFauCa z{mI9%`DOh~N)TjbYve#>A3e8n;)XEh```oNy5WltLE={y{-UL?%F2a?LsrpNYpYzs zr7IRm_up@~kZdWH2iX@(MHFa-wKTX_Tq@~ z|8o3nHufZ#n~S}lyAb!@UHa>u9yp|zD`yalQfyI^m(l=5?35Ym_7 zZj6ND1RC<>_Wm=n8D<|8zBk9~3y z%6IPS0ZDi#`-c?!R59H^Why|OYheu6AA?`t+)R`p4{>g8KR$R%-czSz;v5^@Ct76Rb`NI+ae49O-aLj$2MR*PFE;4B8mF+Y!Yt`O3OM1IU)*{_U8TWC{ zDWKyqE|8?z*4E4Jh6L4sm)*prD~oC{s*kzFxIC-ITKjZdq3KsKX=mN?jY-zQ{-d@~7n%l?<&pHKigC0q>4l5*f2-pUD8z`mn3*#;b&qyPvRxYS^ zY031DC4-4;V?@T->$GdFA)iCvM?Dc7PHY-v2d|vD+2yz0E@%9Bw5?gCb3WeG;R!2| zx?U>>YF2x{yo68QZ;Y3g1$iyUa@OSqj)PQrR4*xKZ?|Uzx`ievQ&u|mr&pGH%c1Xm zVG3f`_>Fty)DiHUd2A3@3+H-G8< z`hK4N8KRZm<*<0K4$c#R@qNmxUD{l4;I^ zr*|Z~YC&SY!%!i9vHp1#UySQcPs+b+I)^irl>q=1cjHmD@Zr4Ncz02t`sz$VrQ)q{ zG0)WB9#AxYHe?+6+f4;Na=_rWm!GzkwVg%HC3dTyHlu_hLt?rxU>nF!ftu|(xkY|^ zTN#}jt|#V3=5`deob?G@Q~?Mi27u&FR|n9@!J68%N?hNqsH^59+I!f3j6k)0x4VVf zX}!!Q%Y9wD)JTUFcMVw?+YiuqXqV&pc)vPZx#OXi#HT1iSBZ(u+EK4^q;JK~h7tHj zc+ru!S#r=pah(RRYEmtrSkcf_v<^! zugP-wVm6zUWyZ~@QMEq@h-O;kl1Mq{P&vB|>mSnU6mP5d+kfG#svM;QJ+Q5(TaD$@ zTIgdSd*o{-rF=QzWA-t-SRKQ^A-T6TRs)ufu0OPR!jdT>Xx^4~2XKnX@PQmBOaQG- zl<^Z;+msp|B=c)6ga%W;>e+IfrZ-Z#i1PgKp)clNeD4o)n@@gU^GCi!q(x8s$Px^< zzLNC4CBHj*3rX#$TrBi_HT2XPmH?0#{2=0A3dK|YwwhEG7Z-P1JsXd1y3(x8PBOH| z25hL(p}+`<2u&VZ#mW|o(|y%oW`ONO+oq$=(9lN6;4v`K=KF&G-k9GE`hdR{S2aoo zU+rh3$-N^vWqQ|8;fgbmlfP6gUOpN-sk`#Cz$5PQ<~c&)K{5T;JI(KjI_C%V?Wo1P zE>Rs1H9IeikKn+(8(2z4$k?xFlBjrOHP9D=Hl+AUG2PM2F5CtFy>1;!lRe=%^6tin%K)D~1+4VrW-ovPm^W%{IN+5(k6d3ai+bOa8`&XzaXWAJ(pZfSb!^Ak zh2x81#->9f)u5tyymBD(eM8Q#_A)C@kM{H3I0M2g*V>HbNld|}#!bjR0ze_M2Ifr6 zDlqtE_TRP6)ZVBm$F6&1Gg0nv1;6!A^;&6TcNU>)hl}jfh9uT_u$s&HGbQp~ za78)gL7lTF8iowOh5LzRRPRAEt>sX|5owU@HtXV6BS}>BDBBXeMOOt9pHB${rtsA6S?ih-A4y!s^H%U&PnZhIH_eZQLI> z$##;;$m4em2*tz!n^awbPnUqb4pQ)l1YGB!;-<; z_1JC{ik2AwcL_B9@IE_vZ|-`OIPCc_^`1s$v)l@69r}!t(s*Hp#xLF6FhkzF;V<|9 z>VuU2M*X&`v|}5SThw|XGkaX81z~V{Mt)+q{mQURrW* z(K;%K-|TVQvUqLEh!dGEmpXJZw&`AG@ki2+x6FRH{p4xQnyHla4^0Sil4B zp-?~itq&!92iyRxeP2X_nQEMFg?&l(kcPcMG^;gkwM^UYh8?HwE;iRECrX@elor}$7=)G zpk;U1Nz5G!%TP+gC+*5VFpa)(iT>?mFhZAAMOK*q^x9y$juAKZRn{UtbolDvy=Y=N z;uAf|UunsUdgH>_;ZrEW@>AWMDtI3}6LoA$`MF!xlJV!X0=h?jrzmW> zS)Vz*;f^9Q)g~8WrYelB4!nQS-L+Pp`KTf!IZ z5PN31kcJy4`QBeoN!ymVSjo?cdR9GEq!TBDbMoVr`cE1*v9nL2Q!p$SY76mCG=p*0 z2TH^ztAopr)Z;~KT%W5}j%v_Pm^HWd2z!%4G0;L#Ybn8xSdo#Q#!|PQlkvBPOdWGA zZ#H6i%h!lu6&%FaHo2FuoOT7Aj1R8~-;^G9a%L2#$OwG%4piaV8uk+%>e6t74vFdN z)hAou#xLwiVnCG>mSHsvTHi{{VA0uu+4|-`b#=NUuiquuKVHOGZEfA|*=s5=SV3A$ z3dLC<9nbFz?KvkiwSO@$TtBqnK-Bq6vo>QKh^w8c{dnMDe7~LKd}Fm$PV1Cdy|$(~ z^mK-;_k|GBYv2%CN+ZWEd(kt0lU~ck{1cX1>2}FJ*wkAr98)Z zPU}iF`}j`&R1ChMndx@N;S6W`nW>-YD%6UrZXy+`{?XJuq0$>CaBF>3Yh2x0x7E}b zE`T?tDR!`r5^E#JV2EK)9_ac3qtm}vtG3zMi)zhc-+-_y* zj*&08_ypQ6udo?W($mIc*k{h0Bcrwc^p4sbfUt@Z*D4^WMNVGKQxGHZPXvIG!^3)r z!{Tem|=A^9io+?`*q~8KCE4I}$2Qrs{i83!-c9S9_4h_0^ zvxbO`IFEDh6{T#AN78$TtRHpj0Yc65z=65TQfVYZ|BuSO5B$oEtBYiyq|kl*nG?1 z$wBg(z&6Q(%j-%1HH`OF)PSN4IBSw8XPQGnBx#(T--4>ZCb_r9C7EL;)**qtEkP(9 zVnJN%%?$+6m>Sf4D&L3tlDF6iUYab?zGAAO>Kgkzzr0MPg~d73T`V>gC;oex zGdVAs+F^ekn&G=#kFXQ?bj35mH#F~(WjlkFV9S+Tc2{|2D))K^mN%DXb!w!!C@#2n zImMB&GLmiW+$W_-HBuYFZm-ap=Gpqinb60D!~*kaIyN=&>PRlWPc*mrF};h&l4cp# zy;Pq=fwNf@0&Q_GnOK|KT)uQRy#^y`?phb|Pp{gz^}OP1Nd5<)F;qC(Y|h5a_*1$- zn7Soju+U1c-Kg-=)snFML0>JOcdkM*)J;K|#L1)DTL}sQ0&WI zV&&@clI*fPpHF~_P&N%7j5m3jaUZ1)f#bE{s)-S&PnrAV%TAry<*fV1uF2X;50+km zvf3_wA`OW;YYaw>@NY8JD)FihDGf8f%$(2SzxQD9N*-f~hKw+JmMkkH|dyNWkSmth2#yO_(U`_dgvWO*4&NP?)BA~Jn*Ct*TB z>~r~P3A=~rX;QE-GaCl2-v{w|x9%H$mxG$EeC(CVRmWvjeV9YWV2ST)(st@t8SM_W zlB-Ml?6m!OdeLws{}PR2&JF(;3U)CCCf1OF2)w{B2q4fxv*M4N_WW?>{pr&7{Q9o- zhsb@xp(Tb7V7qUt^3H-2^F!!s6Ups6e)BA%gciOw5j|ACrMw+L5u7;cHP%x048bnJ ziZLDy((bz?XmxM4E}&}uxpZ%$#L2W)B1~SW zu(s&C>Bc?U=qa9!=dU6NLjmMsQiBI&^0)8RBj}Y^FJ@2Pwx2;!NmsO@k-=Y zQ;>c7GQcS~#*1Z@_!S;WL+hficF}N$V4s$PODs7nO$0{GGas9~d8%75U-v8DlitAZnX4Dp7SNT&*BVOgOJ`koH~-K+j{65%__RwHb@$Zb076;AB& zY^AHujeKFfz!IT)Q}?eG7>hPi0|r3JbXFvy3X}-)-|*?Qq?ra$XQcEM6xv|>-6_y3 zy107l9&!J_VQ7AvhQz7M~m_bo19mS(= zJiF=INMV#(0nu!pRBaH}Zk?oxcF^l@E#0xwkto>SHvx%VZ%N`sLcj%abY>H|umuv1 zUlN!xnDp4OksLlZL#zUYgc)B+GO;$&lfZn`>vO8a(N?PUjL3AdC`8L8w0nfRJ4n`j z9av&|%e}CqqUQG0_5<&xe1BqES z8&`Vl40_~ii1Uf_P_)e+*-!M_OKXuJR~*HJIT8k~5w*3lfotuPjuo*gk|N=3Kmoy5 zMhQff8A_{wjqMgLMG@!+#_X?xa>qOMIPF&mt9F0hEPGu2VaXKX0TW8SFFg$JyK4(=kUy^iayir;^;zJtj3= zJQ_HTXS8Q;Y(gh~;j13fjK#4}q^{=X`hU2s+?D>^{?}_rLi8_(<{+fH5R@Lh+LM=k zG*VNX$x35?D#^TJGT~8be{OYBma|PT;$!+|HzaIW49$|vK1aaIrz|Fbw_YWa)SKr` zfQxd>ydXvw#_$;CKB{%1*7TQCF~bJSTGLS&xK~#}ekQByXLsiI&jI`=?_AuwZ zg!M>u7J8EgV=TEzpIL0?Y&c~={k|E@GkRt$v*Ipb`TEIQ&W$T|gJ3LrU^^U!qEj7iV!}v)^5*1eNY*FxTHDa}|^d5Y3u| zPr+1?)j?SXUFmOD{qYTsnKTr!=bK zau=usOAL7=zi0nz;CBaQjF?j3X*7HOP!?L>?p&~imm8k7#)uMS#g8vlV|?kVw8Jg_ zX{_$O3ZT&(W1CoKS9TKMPqT39zef%NB$jd>*6K3Uxu5lP$LUR@Azf2EtXx+uwH5-h6344|<#QM4b@UA9#~62N4B6Q$N%fC;00S{$an zae+F%DgAlk0`rCe2pVGWWlP-+pXP}wJ|=V$8_$05b3R)VI^n6)6x-@po9rTqD-xiK z)>%x3Dx@X5_MNYMFUG!STg|XcVwb;}&8`}jow@frJ$zI!=PZoBO^PsPQt#7Q#prnLxO(m#bF(a z?WHC7hgUQiPQBGxSJ*3bMjhu$K{?p?hRK2qWd2|Wefs+6g}*i#`}mo;W}-v}Qc~=V zEVw$Pslz!uSuL_nqw>k?nw7te>4FN5K;YlIMO_SBRS)EnQhqWG88)A9-TUTbH{Ztk z4E;VU;B26fH;vwHU+5dA{Di?PCNkugpiyGUFx^n>-F}8oP=3J4Yq+ukCuxr;HD7o3 zrtu+~RL4`#8YEsXc{8&AfePKQwE0KN73U2(Z{HRs=v6IHvZ}3)s;YvkRP@;PNN66m zE@$h&ahc|Jwf60#mnxHCM_<5^v&d7s_(Mh@v#&J{)o212LBh1$N5o<=qC?QLI3xU3 zP`Sxlkac^Gh0Lp#PP~B`Xjn%^n|F>xKb(DX-I`Q{t{1)=_AtlUTg9nrPO!>2H*3Ha zB0los535p|Q8Qb6)KO_hpU6d?PYeITtQ8YIhj%Lt8OL>{O zmV^lspBqR~9$M?MM%7ccW^^Z`jFcV$k>KDJqVOSJ>e&WCNQ%IQ1+7C5B#|EQ8cavY zVsvSAIq;*Oe)x!EBQ`j0J5`27NN|fRFRMT_(Gp>Vn(z?~J+xpIgTt$W96g7EIb_sH zG-70{$yOqPXxN5^crD4}a_}EO(R{bK)cLPLgy4@o9qo3gpI$D{Zz1?JzFOcbmk?5J zF0~)Uv}lx0oJ~@g_e8=Cuf8>r+wwU12KP>0b4HIa%jH~JhQ&bYqKDzQB`3n3+_0-b z#4?wf-5$5E+9yXcH_o#>Vi;xdp|lu5@oHX z_xRlX08vL;N=V}%jV+{G!@KDOJ z1|7Ytb9t@9=XW@d))G=bE+US7E>oUYU0m&~O2`-uidIhJ;+eXETrqufGCk9Kus4Qa z8|k`LVs7AucD#&8U;>b=JRblk%-vSKj_mT;`Ya|e@$I^9SAs=1RrT@YlrKC+E#*w| z4VQ1w^tF+513&OIOL4?#m8>H~uRg>)h5_%~R;#}j(B4(ZGRLuRy2mJ?KF(dC)p`W- zCjLx-kL#|3bHm^y3!hxI|D3u%#vdn*kt)w!iZFbrE$`1ZJ=9U2e6sP-h?MQ1^2k|P z;*erWhGesl&3l%ziiKy9`X_}Z4H(79iyfKUZM9il;ev|f zpYBR|NHze43S&_273k7|TlMEIPrlO}wn9TBP9Z?=TC&;1B&^|=(O|4a^+f@sE@-UA z(Pl2n^Oeu@m&&KeS1!XrD(=RH(A@5|Zwqa2957a=zmp|)B|k^93lIGqt8NxE`tW3i zr=Bo5&r6DuZpCeOk*8F@^Ms(9t#0`>sxi@ATXT+!`$yxq@1ut=WW;?DY<6H5cI?}#aqm} zu&wSrf$YVf`Tn1Vi{&ZIBi4DiJlelZGCzDa$^Bb-dZ`m~2mV09S>J&dUCR_r=ZS9O z^zsI$3XOkdCj5yplow{o^5gnc#i1}&9~AsL7reSJ)R^|1f0%?D$--_s$#*b zO|KdZg(QjTkPa|*QT5y`i_H}k4d`6fT8mNU&UAb=##xPlwTXcEK`3pLGUQruNYZuX zC2$3lG94L*6gfKkgdH$-@szRrO0VW7nYTKQYO;oP*hRIxPl0gaB3Y(Xh9pgQEHtoop%m`QAf4~o3JWse2uGAOC)3ON0kV6@Y(G;4)U zOi-fpUm<&JkwB8TRwl-Bgk~G73kj@0#hJY7;)_WT!T#mj%~sRr*))2xWXgbm@^SE^ zmiyvXuJeOYL%aW8#W5ZIGSyTtWf^r#&Z=q~)-H;Ztk}+6=xSVr0Zu*DurLl{n_0}t zFe0aTnk@o)(bKRZg4l;^38Mh+tn*m^rpgPw8yO^H4O>r>xAFO|AFIlu%dXN3l#t#* zyc2YN&NHvg^mU1x6hDzuefo`Pxn%l5iL>(I2iS4PJZ)SBCjK~V5-9NH#8)zc_kd81 zBQ<04mV->(WBnUu>)KLD6frorF=E|aV>%(!CV3>FksB)*ow~sywu*U_5?%Wh7;Bl6 zKKrdX&$w-pvZB(AKx*K5(pIhIZ(3kZsUY^}sO6JuM1G=tDcyqXy$xP@?K9td0{Q}q)L0m0Gf3^YD|GaVE;tzODxKlyBK_i9<99rfnU zj4|RwPziFJ58pL*F`UmeEk@mtiMcQ{kC9^&1C*`sP;vuNh-<7fiq9JS1{_5rJNKY> z%Y&F#yW4D-Am#=ubqRNSX9$BsvGM9%Cgcgrf%B{LIAQ2_ZKNLH0p6a&+YJTIxi6>1 z2onu@uAk&U+^m;&^h&M+lO`;4iI&Lh*%O=PINw#n;Gk=^*~ps)xX+n^?uEdN)EPON zg3KY{rC9``pmqvdDe0OESW1{GgY|3%hAph8COc5csd?H*&Hwto{iRSh()#Ft9pv~P zRZO>a_Ut6d%rV*p9C$;PG31{UK5bXa5woH@!~X#j*QJz-YSQGqr*N?CgSMBx-F)ib zvYMfBH^!EThvk~9dV~XdeMNn(S=ZEjzs85@y$-Z&v-BN?Ymt|r5~0dQ-txRXbQ^@$ zAwby@ZaV+A6vy63QG2yDFftiZEKE5ohyv68!yX@VbGn{%=CR=(A*coNma^U`%t7d3t%oMTb1m=V%xaRw-#(rG!Lo`F9d@7y1 z9OMz!ky3Uf;L5wWY-a#slLquSpBo(bmgM6fBwzY1Yth6101X_I_>WGLBIZSNfs%Sx ziBQx~?8_M?PS7#Oy=M>X~tfzT0(C7^|nAYYLci0CtePApsvyLS9OOuU;8hGp7m3|pRI`OxD-5w8U;hAA zcj1+y*`+flP+|7e1MarqYi7=v9LBJSBvOFnjMr5sp^W429fyTa{7cd@KZmVnEzX*M z3Ds%x2!d@pM{`ncklzr^6DpY4WG^SygGCbpDeWUH^6e+w)Y*xn4^_U7IlS8^2>Ij= zhwD_44Wm~`*X4BbnaVyn2faJkmR*MFE_EnGjyC5Y9)$k@kxe_Zo~_Q4#1n|Lx#NM+ zgQ7yg27I+A<|pyT=~~#~Z&Q208YDL!6KES%w$kiwU8cF6#_1TuG85bH6OJ-#o~HI0 zn!1jlw+SVlrFArmbc+OXzCq`LKt1u(p7pF(x(VExOObJPdv_+DE#`tf&m#f;u$*)q zI`^dw!rGY{V_nUDUgh3UWCd8@Z38$M9{BvLXQCl%BR1bkwZGMF?qqG!OvQm=_fC3O zEUJ6Qp&EYbIs4l=biHS6&;abfET`_U&!>7E$>cR8n5bKg(h|x^Z16d$yJcF&H18$Y zDzi%jP4j%K%%A7iHF1e9Ma=_Fw6&RTp4K?gMtsRzEKhIO(zQvlZfzydxMHy0G_qr& za5MGvs!&19I?DF+Nb!+0l4lt#1_$_4_GnF#+z;&r-02;}fMY5MKTP*OT2iM6xtoDq z^r0ErE>UDZ!rb6}MP%^p?8$1yd;3d^bqK>Ka6_TW{&j@uxb6v&0(UrK3gZ9@=X;Hi zk}^L`)mr3|#z80dh01uOz61bkD)Uvkj4;@WIRw~v<8{=R387_K#$hv>mHLpt#{4{b)bJMQf z)^}%Z+@1ih5@w{vDGKh7Yp4MG)_X7`~ncNEjKKz9zF zSYScu2V8pAZQKb~AY^n_1QpJEW~whs07Qq%U>KGo4af4SkRW*SK#pvHFnH%wGic9S7xx{OirfOWuqM zT9P9K!l5_-_9s5I=g6xL#?VFv%;%>jiM<9qd4z4r2nZ)5r6s6^2*rrW9-L4yn+cC- z&IcznbqfwctZ{+|tt$nBGNM9$_c$v?gB8gw&Hw~}bK0Kb9Ex(gvT7};9B+%~SbR?t zhC4PcGxas;Vb$sAX--Ky6)&yncq zfuCCFQAuiYN^^S-jagA&o!hbN%_m{SyJ}fmhFJ?pM&P`5{3||>a%sfwbX(XpJt-$?8N9=?bzU1izhCECtDb!0sjH=Gw%T>Q{)asB8(CRgGh`jZ zuTJ=>aK5DTX<k=l=k$`qt5n%$u>nw0E;iz(1227>xRYdB?45 z2-wNW@=X8^W7oMN@H2E@=pkM=8=T3Lt;S(p}&BRI(V(3(oaB#s#4 ziIxUffaT;Lf76C1r?97Rv0-k~HS*(;00bT5P0ABg*GI z40q}JRFKG|W&;>j8P0pwiQHiyM&3bBdW#7YODH%}sjwi%(a563*oH=D+q42X0f45E znO{FS&IkjX){$0Z+)pqT1mNKED%c`eV>|&UW6lO@Ko^v4>QtWnsTLs^0N`=y-mV~! z_=e^xgyR{*RJ}`k9CwWK{{RUc#^HmqE*P%oBXycaWs7M1`I1D2S$0fVhha*sl zwv6PKC+IO*+UyDQwe!Ixv(q(A0QCWwg)H5ak4l$y5G_IigCCex!eA1$31}{4IYR|T z+?XqX8k$bz%Whfz0QR0hFZq+zstZKPo)!;km8N&Nq)}&B$oOw zKgx{-W?jF!v9!Baj6#yA&JN}vpY}0~{xq9Nr3TRzz4^Vh5P5~jJhKm&j&L*Er|Vc$ znbk&_e$5524EQ5xI3A~u>0Ik`wW}cU4ati}hW$3P!ov|b$RGym{(IL%4tXATq}+`| zQiR+xh@&c_esBjlI3E7>vN1GL=2ntx^BM@FAy5@L_6MH*YLFM8xKol;8DBYlgTKE$ zsfdbLEoQ%pCNHrR0HokC^`K7Vv&j&--6IH8V~D_JC)XyEdW}+VQou-7GGvvG;gUCY z_oZ`0;~mR_Ynz#i@`&Rg;~A}Ev6SmZ`WG!(V#-4iX&Fe$oSvO{r*vZ}Ic#fL_=5J@ z!9Q^cA9p)J&lo&<(Ck9G+|Hjw&~+X1-RbbNN`x$t$>o$M__I>Y6wEu%hdQOKi6)hL zw;=MWTWKVA2l$O5)W}85>8K{3;#efIm2kdmA^@LABvWLfHY^Ci-OtK#{OJ<)BRsGqky=DA zVGDluZgZa1e5_GovFdjLv|t}xQn9Z~inAVMQH4?l+7n2Y?ncEoI&M(J_ovrFYybjD zDxnT}9=)ls79t1U8%Q56JJJMB9hx)+!3x>Ott%ICs-c;JDaR)UsyYEQ05Ra;grv)R z9AAwIJ|nm!*ef-5&JgvgOwcqcg+I3AQMmes{@pd%a&q-TRy zchnNF=27z>l!K5sq}f-nv4sJ5xZHT!7Z~@UJBKkbO^Kd2D96k>tmkmO$E-!rf>klk z%sSJHXhclTTLp$k9XnRH(3Z)eRwoN5K|wcTBmqb#3{MG4fh>FzP@Z@cAs`-IKc|g7oOeoLvtQ?$FrP&%w zT@BI)SIIc+J*&XERKL5j zqR!!A?8Fd45)TK8wlR)aaf%ZG3X)2w!Rz%j2zy~y0C)B8M?s5%!B2jt6o8@P8$Y*b z)4)`H(!-8H9E#qA`6ieiYh!3-QS&Fj4VYg z$PuxG2cfA;QnqDAoFZ*d0`(;KHPE2M+AB|TWE&KIm7^4Q!$@yi@CARw}w=cm7F>E}$sP&=&`#IE{ag5?6U0TitH#sNN` zT24tB@;jF`33V%tEPaa>>9CeqmuYUj`kp;aX69=eS{PbIthV-a3YSzfwZQ5@x z@kz!PAf|ACTvqToPT31zpCs*n}9$;jR7k4m9SLsL%k z=Tx{yJrKfrO%~;!40~Ks`CX-@6)g_IP>EJ@9HO%|An z%*2y}P?1*ve|n(p7~~43g>m4yljcPXaz-mYONv^OqcW4X2P?>7{HjuDn36+4M;L1t+SDa!oaK^>}^00(x`Lh+nb*c%ccEX_m z^zPrTYv?er8g%`^yndz4^vNuq>1 z_nc=K!4xzCmF?7Huca-72bIPLpvO~5>MM^3L1hCy>XQqL9(EiNliH9Wr3(@W2O|{H z8N()@EtIpzD&TpIw?3VXdM;{9L#m#rqjtow9)p^gE1ef8&o3cC;~B1)z)k2=W9FTM zIPJ}CqA_wG8Zx+GI2bggEe92?&5#Plgp3o-a!XU8JqV^i&Z-Yw@C_Ew4c`pyisY%p zdjN8MdQhFj+0fY9rPlE?9ORO?<#?;Tk(*kS62`^_a${CPtcqBk4_t~$K;l@_ZS=|S zme5;88ZI79pq%6Snr=c+HKvl%<9wrPsw-o%;0~gpvqX-57{$bgdt@{3P&gep1M{RO zxza%pI*q((7)FjTBTza&4Q!2^Nm4HS&Qt2#fbods2jK%_X8NY3t^Nk%}_z zAY|hNaz7gA=y6U@n4a=-rUsc?enPPv;E~7UkK`&7AiWbbajAstXu)Dh#!tW2sFp^z z{%BCkgOE!D#UUG3R+dsmFHOTNqaqRyRtG;$;-#^XE$BuuwpDjz_XF5diV>v@W+Y6}WH;Xy|HpJj$o=7HzbObiCG{<3b5Vq~4e5c%d)hRv0nCCoKrlq~m zxrh*wl3ShweLWBO*A^n5E9P4>Si6|zipjff?W1VNdgdr$ew&+bsh|f+z(=$Iy!Z5~ zi83mbiKN=uE1Wl_U5K!Nv}*od6+t-XwJQ~J9pnv%k<@xsSO}#;z~uDjif9Lt0cXI@ z;nJ8~kUHcMjG6-E(UmF(8QVaIx!Q_O2|m=&5ZH6)oH? zaz$}32Z9JIQE@n;+F-~dESrcQK}b1B8MC`!J90xDR*}>i8@MZBpO2?XWZ0N;ydHYv z){|jjrNU*OfPk^V>?>L^=8}(ax#qW0wD%KC$L5kl$@=ELir0D&J};I$4yi;P34!99uH1={FUl2tMND>$Z&@t3{ni~U7Iht*C<%onueot;Xe@a#;(}w0z5~B^< zn=bZJjI#d!yWS5s0H!evr$M;IFQ;dIw zZ3L86$+Nj2ZII_^7+yK5Ne)c2;p@eav@eaM`t_=Pj#(vhTJXHFmRRry2cFreGbOdV zc^Al?in0N;fu1pnqFHJbK2FsD@sc_LpI={EVl6-=x3_rZW%ApQK_4${FtjBUGAB;YIKMJLw+-@SN&K0_Lt!^s}m;wj{FC6FAf;mdgxomG3 zBZ{kx7!HBCBL@_LkJ^}%sK;YLJB*WJ<0p~nLRTu*Cr>NNQX7%_(`Z7oD*$(3j?~fu zL}&SY#sHDm6`Z0ssyR;<5Ovvz{^Vc!Eo;!AtxX*7bJwnUnEZ{7m^I+sv5Kv=h)|#& zl&(lpf=N+~W4$hd7FO6YxFmPQMS(G}NKCs?l>Y#GKD6Ss9rY%Rl#DRj zlb^zgE3-LnS1cdob#mjl=}n^39~o8oPXP6(uo5QK%M2X$&mxNyhw>8}vzoY}F{_-j zF&N$bX|WbZ%Y_7S-lUdgc&c%0que+nbeKRv=uiIuTQ%L6!hPI`C6 zdocy8G_>1eaj08Bi<0M{^*`iRX9(m$DQKq_`SAbg|hidg< zO(c%kClry-NauJ_&wA*Ju-u95E&f9zet7RuIqP90YcrQ$C^C*QoMWJ@Z*xOFLb1t( z$L{?*n$jSMS!5~a5_dCxLakV3%`M8Tp?Llv-j$s~qKz9liZaNJw3XTqX5*z`lS62N z=IAr|d&-U3+x^r26@0hUMXM;DMFglDxFgVW{uMSA&Ve2{v}CsryCrfxaY=y`QW))J zFSPlRDC7B40s3PsQO|QBB4+8^9@Q=CQbqeE=*7ll!C{Wy<4rM_XSy-SqAj5lIC0c~ zIsTQTSu)V!ylJUNs9v;^0~`Q?5OtBTN9EqPg0alq&VK6Qnjs@?2Y{*QD%PxVRxN4z zkJ+@Fi*Sn4%-{w+K&+(?c-1kGqJhad?^+>{Y7TMau6}Mw&p4}E8BN%3mzggVMbHt` zwG78bb@#3n5++gs13vXE&5c-7XP6sohk!GVKD6(l3_{GPPnte`Oq@Q zn-i3{6D)ghNpF~u-|_GN0PCtuLz3#=NXrqmR~<>plkMqDRwst-M93y(^2Tt=I(=$@ zlf-&tdXAo+Q!kjjq4hZF`2PSwQCc3-Hd~^i^*s5$`BvPxJm$R9dm=g1mco|XjOMhl z7ZJ%!I}pCOrclY92@HTX?f^AJkY{n&+kRenGzduggYtp;&?ZTe*=+S}eQ21E_%y^gnLo)vWxgY+3 zwckhJM>E{^dx+dhK>%0JvXdGhI2@@aq@)cSjlAFigG>jyFbZ;8xy41raU5;W8?#i9 zt_X^7p@4G0<8LOaD#6Sns1Nd~TpUzOaJ|J)%G733@0gY62cB!KyDN?>Tb&<*A`)NCbiua3goYiDKz}l|jahQil)tTX zDqW6^ii6M-*Ep{UhJb~b5lsL_3HdqX_oUDY_{P$3r;3}8p#e}>u6YNpCZ5y3ba1X38`!eGHUn)t zSJdLPrA^LWMM5r2^C_WeCYEfS&cyTDy*RX$j^}1R%Edg#GCoE+;;WdBQu3;$uHwB| zg#+8tvXj)ZlD20>aCta59`xdY>O(qhQwbcF%V74cE+qOATDrV%69J4I4*2z{cPOv+ zmWkFC03hI>TBQrCj{L0H(c{WGHb_&vDd>3X{HrHn-sCXa$tCkVn@mx1M;ShxQ%zW% zi&|`k6CeePImypB;PLv@$%^H&=(eCp%w_%%Ju5a+WrP5vSvvxQ@{{~n$UoA7lGrl6 z%9c4%f_sl%MN4{?wl%J92)grPRUx=gJv(t!qAQf|^(%WTQyk2jk2}AZ$NA}6K@m4} zdHvLlBb(W<%_AQy9)J#ne=6!vp@NR19ayVeI;bb6f0YrHnWK(^Ss|5~nD9Nj)k|GT zie>b`1PY#}hIG;&v_24(ZVAO*)sAYCIy-9%3mD+Jwz@YHw0ozFrWQBP3O!CS%}wrO za(HAnHv#1!Ds%+&G%_8uo>z2G1H!?L+=wN_GK{-FtvI`8CB?k&YTpCds4%gyU z1MgvdxUESeAUDdvPpeP^3gNPtb?gUGQpC_OCH9i#Re=~CDWX<|xmd|I6o50vdgg{` z$m9$V06}5b9jV3Gi(IUT`?iumJd;{EXcn@-1fQm$s=xWo1SrBKhUS3*ulUgWP!n@U`$q1w{ST)=ADL^_~S400K{?Dp^(_) z`?Su|r=0Orm@$Zo8Y6-mIa5>tDUirjz|T{T^(_q!k2%RC0otUb!Geq*nCGSiAR36u zLXWL943!8ixa5tz(|Z!f2~_2J{M_+ET8K>L(K?)dR1F*#iEh$uX6(Prssu~4@x}&! zO8OdcI`Si5TLW0A&CJlb+Oun1|#YGHFS^9T+Cbmyfo zD@MyA%R3SB=V+@)3Xw5k=Ra0B0;<~BBDE<>>@GKhw5j9#D^(o`l&s4)s76G1L;bn6|@{j!Ew4m*vl3Jfyw-99$O)@^fCk_eObM$FtD&p zXEQ1T#u)S3owN~e&S?-zoHKsyf&O%wDA3czv;ef2-+~Sge0Qm^@1Y#mr6Th8suesq z9;T|zklDy;^P7!9l&~tK=O;b+uDWrwQ5U-)no`CmBLE+jPfUF(tUZXXC3}h4n;f?Q zbgD?tncTY`#Z^E^WgYWE*m8C^^m{v-2xrpnEv+Qp%Ovtf7Dr_q zl~)0QVtJN!oPPBRk_ijg zQJ}0@ietC;l1YV8^5+@p{xxZ!v7u`s$+Vl8m4P6JBk&bTq(fSrEvB-uLmW~`1i>+a zofn?m_2aE+%@J9Wyq1?v&m4}j5CI)j^U$CEwJRotc7pdwlH*U7%2ZPupm^CEcEgfC zERzoBOCt|-b2RZcSwCFJd6_tXg-pQ#< zRwKi#Y(YF4(3UGnx-}|raB@93>rvEiW1aC2{Dq|d0CGS50c+5s@FSV-dt<5GNX|X0 z=SIgQPDTJD-!#x%nPJ$hNXZ|S3~7!)t^vt7{v6{Xvt%?Y#K5eM8F)QU27!#<^MG78 z9-S(pz+3v*NO>*a6v46THzKw+fDUm=TL_JJ zFq z#^ie9q3Y~iw7Kav_UUbBX$IZ6g?Dq*k-PeV_*a#UmFnBJgvVlD7<|BGYlxyb6p0TX zl~BI-KT(MC5jo8>6R6eMim{{VQO z?^d$XRzr^0BaxayPf`cuD^6BS<$Z@*qL$njJ4H)kgnO44Bd!K&EN^r$mN$?H)H!Jf z%6Q$6QaP)3Q822`ruiaWGS%R@xcfwE;&{}6sLVzeJx@Y^8i=c$m(<81Wxa|c)6Cj< z>?)Yquarr!Hm(T4Rp>{L+Wx&fQCpq->{{R|y=Gaytp5jH3h-~&#j%aI?e5|IW z<&!x+r2aJduc+-~cTUl-bqja6wYNWKPm)`LcBuUN{uM2Ot!<#`AVQK{T*%ozVZaJ~ zhaQ-$+?r!b$?&W@9X}1*EM+Pq-!1QbH!A+ z3O4bRlU!-oe8Xkhk{KA0&@R(doyt-~Q*F+7^WP(qX{`!-5@rQJ%t&r|G;>|pf@JdE z&>j0&5!^w>`55amnX6&3yA2Is?&Ppy!^nUqDE4ELSY#{M-V1 z@lSLJKyXOT(TtM4y{c?W+*vZv#$A|?dX@wSZg4(Q25ON=k&9pgSCNcWF$y!&pzle8 z7w(R77pFBKMi-6Q1JmA}z*3`V$!-3|fF$xV0aJo{=9TOX7(O_i?X*TlKQ!zRdx6RR zLcJWmH*Q^k;G+y**PK_Vwkc|D_;T0n+U2xa;4ofK11AL5ao+5wqOs^RHu)XaFu5e{ z9R_Q`oZQ=!>Me#QLuUY-bIoQejBFOk;}t_pW5tjgaVw64){rN08#x8Dlg$sObFqA8r&dFVoVdT9r*$C7;S? zSjiE!ILA^dPf=~g=wuk=ft-3$o{VvKMwa3hBv_1rMn*dt=eeb2jEhAtaoPVF?Q>jT5H4C36Jh26s;O4HJ9Hcj88=TX$mlp&al27Gb z&MGSB3X_!VXw9{RLVuN1V*{;Xn{MZGjgeV=wUmb&qvo{cF=-Ooj3Fup3E-NNks|I4 zN$EjF{R>YThOdEn4ZA{uLFS#R{DF<#0q4CFe(8-=YicBmcDqfAWR!_iF!_&OpNI0P zgV5$F+gpKjvNqPjZ*C8Ipk&P^!u!-N-aiVKgi$wAOtLzBsJxHmRkTV=La)y5gfly5 zj1EsY$LmoWx2VmFTNtf!`iIRf?jnt{zfyg3+NrAnG`iK$E#$OOWOKC^rH;iDspi7e@KPZG}@ZkG`G%FB()F|_s~lY;0Y zr&z6ZD-&}dS?!6~_WMs6=siHl>}waz9g0>s9~bx}!@E?lcbdUS`$B{v?ZC$ews|<` zoK}#k?Wmkl=kk26a7n@I(z@fW<`VZ!O$S(##$t?1!6yI-9<@e$6gA^!kkKm8W9=+XEQ%`MMsSN-Fw1D;P_)$@#YEO61Qt~&GWM?o@Z%tc6H z$o~LmuN6_)21G535O>D7A1bbQ8ke|)nS(?_afQY`e;P~(6y%u9W1tw#9SbI4RB}~t zG1I+M*pvuJU_$VEd(wLhl*YSBC59HI2#Axn01R{l(*SR}GNkw7fs&&x6@kNJrYV8L z{6)EGH3%&SNMp+k_il6fV!eD6Elboo7*>dz(U=eb%U5gBSa96xd<6pis_N~PepDfH zI_Hni1fRmWE6p#G1oK`oH`D+igS+ce1TuBUUVGIKprG)jbDsY63M0g2 zhIS4yj%Y);C{+Xu;2IcQUn~x--<;C8i8dZX3K>j=hB5llU`%LSob(>_0XnLQa>Ieo z6?;8E=XLZCblKnxG50my2{}bJc2R!m$?6QvDmA>nYhV-oEQ6^kbR`$u_lMkJ~wWKO0a@2#p#@Mq9lZ^DoUbN@6#S7fn zwlWey1##%YxTJM0i;_-Zh-c;}rx_HI5k_10G7~b!=tef4gWP%=(lNO2VV0EI$w z$~ez732Ifim1DQsrvQE9>q^bC)3$}L4ZM+g*CrT__1P0R<};D=FTWV7c0$~m>kM~I zD{^}u@at2!(jiFr;GL(YI#RKsXmoI=&AFruI}ybR65ge_B4ZIFmF_Xpts)yVw5XBe zaL7AtC$Sx?Sj3kje%3IvEY_PNkQMn4A^!jm&YY>HCd*5A1;?C{N~o@YJTeyfk0kUz z&!%gRq&ZnpZJt%*O(`_n*xDXqoeM{k$-`rxe04Rw3EY~IFh*6f4m;OO`x!?=sL*Z= z#gEzEO{|B^k0-A*c}xyH!<0Q3c}`ac3W-siE9uRDfDRSei{``6F%n&@0d*hWyX<0Cv& zks;Y7@=&W2$I_`1I5AlZ43U5_*O5~90!@IX%-}Xkk4j8MR*dgB$j2m}^c8XHQ0^f( z0Cnz7Q(6HeWcgTZZaQ{Rhs>9`pjF3O^MG;;w*($30LS6TBOK$JXdc2ST;Na5aiqX5P zjO2Vza8^=AHs=J2?TY1!M|CLLDCO?iJi#dCiR1I38;z3!=mUny6+kjoV{pY=A246T z)~OOhI-|@GleK94l1IqGKJOB{K1t&dk(eH2v~{9B8Up|f(8<{dmPJI zT(>0Ih@uRD25UVIt&s0NQElaMhC8!U%DJv4^eV=r+$cE$uISAsUVID;<35!pi()?b z2Z{zQy#D}YzqfXGMBD?FY-DHJoTJSf7*=OdepX#9tU=s1Wu3~ByOa)$c_4%O)-im# z7_E%BCost;BPB@b$6hN`^dyQ8-b=l*NKgm0D}qFer@idE<>DZEbfGeuF3IIWgd;13 z9Et~P6->;`uM(;5Kpa#%+@wt`W#vZL5z-O&COXbX1ZGAgpUQP+`LD3IBuZDe=8 z5aAbgK?IEd06Nh`hRrJ|p-X_WFg-cOG2f+CtU$}Fp%c0w8%ZYs^gh(CI}{gCXr)_( zBjo-OoRO;y^QnJ;6E6VF${>TAn{5JaV*B z0KU6j5Ab4zpDLSbbD z=Pi&w8t@9#aUe4fnfrjJ7_7%FN#9_QE@aQwG_?dg@T|a`05SOSK{7+4kIQ1rJi*Au zdUHwYNV9AzIDGTQJ5pD;5bfSkixLR=aoZKDEsGIh@{rj-DdW8+BEn;abAY@7ip`0R zkxu}IAo4L(hY~2&w~|Ox&>R|I(OX)%7P>{%)_GXS8TC95=Uq5R^HpA2f#va%6Foud zYubvuZckF&AW0-J3}uc_J?d7j#;o;wJ7kW^-rVE_j~F8a9;AL`*N2Rom1pIloyaAG zd6>y={c99b2$7YJ?ZeRGkTMw+%%OlMwNhk^<$5XWkD;XZ0%T8@Eu4;&6=Fe>o3|bg zC;*T!!2q0$Qn4deG76k={8=>6AxhwpNMqAGc*hg~+1x{GB&#u|!Ju}V_Kw>Mu}=vJ}MJF)R)SA(B_T9)orD73XMMuc^G?2(5d=^riW87oXxobhGT*?mU%Z0+cskGpX z4db6`wDc;)%{DNnGWQ(?1t_x1+(Q2VD#GLsN>*hNY`2xUEgJ#Rg)&+mcS4&vDgMZ- zNirUT>=n^is0^*ZIL0aRh0RMiPbNex?l$my`qiZDOObcaK1#;R62INT{H#4bwMp25 z9ZKLHw?}>kcaC#a&7dS^-c29^MPR@lao)3Rv^r3M0R&)-)VFnEvu8ro7wmD_?JMQ6 z-0V&=e(A{ks}`&X;yxp3QEB?gn%tIx>34!gFyP^b=ltuUl&-92QYJN!J4w$|`BIs! zJ&vXeiDY2}jh2EXWcm?Y^Zg#K{nsQa)gy&sMumi1OwM5f}$#rSEw1{kk}~Oxr2A$Vt^wGxo?#9&(zbnhZF^{ z0a4fSrE!SBkCdqVO*8|@wtyZs2_?lGrRz z@gXUr$WR;t1#L#$%-asV^Uc(`)ES(W$K4*a(2qoA(A?t-lDTI802-hXGF6xoK3&+Q zZA8d#ff4zA*@pwLtBV9h4pAQ;E)VBJdX~s94*U=?mBusgTE$qB7{)$U8RNA%5=Svs zoksvw#`Y7Hi?(t@6oIq9=sH$1MMd9HliUWKijqBfq7XE4MLA|Ne5WL5fn6M`D8V8VHKoe2%I_!6bGLz7@|h+`>NB`-38^#{3g;OBPy{!jm?|Qc zC$Oz4%Evu;+|ki3?ro!DPB)N12L*lq04mC?lV)_`WLRgNq-83s#QJp=H?e%8KbVDC z5tNZ+@$tDzVV{yo) zgyN08CRnADDv6%!pVU>RWh81X+!pg?SCf!)>59=k4BBRO&BC}2ylrl$oP7-@(Ckrr zrZ+@62P3^hk!cdoAIN;QBR#4cDIw&8ZiJqP2B`_6--c&sHAXQI9phk`8-X|@82oA^ zO3-)2D;JkUW-!PmvS3d0^CE%+1OEVh1NaIk%Uce69)D$>qzrI6*3#9E8ymLLkL{?} zci*)f{Rc|UtZxw~scPYtNea0q32fwa0sHEIj*@W=qsp1euh)~sZHA<()Jg0XI`4&^8ny9Hg1lLGb$c@EnpL__Y@vWw zQVw!I41QJaDs-i%Dios8z};#$_V(qX+Q<8(1N|vW2}=I}3KB9km9^BRSv4ahlEk4# z(SQeBaYBq>trcW6XAM6|xVOwmVs3Gh%_LfqMgITtZOO+!l!5Qt&GsZq?jJBo1c>L&jnH<;#b)Cu?yOQHAbFrFHV*=!iGUb!l+SKy zAh4{Uu<4IaLsWqZ0AduXh8gWaK*&mrsUV#D(S1pn<6$wDfY-<*zH`cp!%mI@#D zi~$LNap_fJTh_%{nareQe8iqRQLxs8Q%51nFC+}r#iFi53Nes*qa&fJY*rgGk#yT| z6fQWXwN?uhB{|?8ohza%L!NJ27A+mr;W$0G&ovW@Ta^c7CB)Lc6_;_xJYtB)sM}=v zGRAI;$UapSH6^BkhUT5Z3(vYiALokWQj&U|R#q_Y+McN$8yy2C{>Cw14+(7=shYU z9;T9>mMcPlF~_bdYVsm_cRgK<1w?oCuH?(RXi}s zZ=k1P+=P>~f&Ki9(!RDILhg_@YJiY16@ba{f0MzrA(XN!b=-nWMY6y4{d5$6!ZlG-ByXLDhlV3=~A~Gp{2_28Q_9*{3ksq1LX`yPW9jf$8Tp~$Pr0Xk(>%e!{H}L@$$Keu*9}Ij8g&ekWn_G<8}bgYKb6w z60)KI;y@k070CzG6W5xQLLN%9VWNw6>?zxxC^Wc?510r{aXDol>!CS?U;|4`HK9~ z+-SvJGfgWbmfDPnQpTzxiXW%4G3lDOfjn*!JN zZlYn2bbGKkz|QKF&{%@-UoERAlO%E>`AJ-6n+p`+)-?-w4cg#T4J5(k$9|&RLtvo;z~>@P++GDjpt;w~7lE6UA2SL5=9HbJZ>fvX@SCPpd z*y3>9Wt<)ft!dGfG~BmmW*H>z&K5~TZ?F;9rfH|4+U(gK(F+^WA=W<6F{An`D%ZQ*Pu2}AD{RKGgNtTi};?4N|Yg-h8f0bE*#z6de zrya)3+n@D^Jbf#sJ05jb`Hf8wLLzD80J88sdGA2#ve&F$J{YrBIqg}LO@ge;6JROV#x zKFdOzer7#Q642U;&{#~YL`Z)583v`=*D5XZSg|x>))KA(e&gP=i@P?GNoZGWAxSsq zKHV!BW*d=+2O_PCBkv+uRVTM2VQeyk(4Xl^ zG+Rbh>J`kEeZ2y)wg?t2Uqn#LN)rjIRPODs#1&ja7mySf?fNdPDcOsui7#&OWrY<(Eh`Z+ z68Vg=+Ps|AJ&f&Qc_RrDjJptXoYrUxb4Xb*h4+4SsGGP;<|e@?BP-FpC==M{yg)(K zWFTN{kN*HbTJ5FqBbDxZL%TJ@hB#8hw;k)i35`}pA&B)IDP0#0iPK=502gr|n4;(l z5i=8p3RfHqbfqAB4Qzb)LN=WBs3C4FY~{Ew(}D=a1-2}nYS%Q3lJ;a0g|>9sc?`#=^ZhH<%j&5^ld2`V9C}XH9v_zB-I7UUTn?Gf zU%+&)N0p^;OvhXCIA#eUBa(BRRNmmpVbq~1f_FZBDcOQ0`)S70h4lBMm4L9`s76F( zCqFl+rKpQ`cc*Yz-{$nsCWgmjNwo`zqfn8`syNFN*S|F?PHHA-5)_kq8BaNX?GVk=GF_#d4M?| zHV^Adm0WjL8Ev3yR`dMOOCmADNUfCusYFb;>{sZqo0z_@)?eF=_U%hgQ3W8Y~rzWB5mzhmN>n;{q>yctNdUb0y`cm zqlbvTu+0m*AvLpok&C$g6H_`C*m19Sse@+Fpq*xrEW7^e92(@Q29CH*NPYaO5VGK} z3&GE>YGW6tWp?&Z0<1KXl@f_=UcveaOVDE2V63&0a=@ox3foIN`SL z9{8?$jW=Vi3eiH`P9AtSToNXk1czl(h&}IShjs z#}&0IjhNPi5tP3(bnjh_SsXUzdKaw1$#9XjF`DP8dtB_K(pDzFMTyy>=t#>B*z~OF z%ILX4twu=FOx|qDa8F*?$Rja4jxY}&Q1+WY^d20%-f46@R5Ljtr1MAG%_fW zUy<@-1m~@5sfEnw;emCBSV6+aoDP8Jzu{E2258!&v&wo0bI+wxGJ2Nqe5GDXFxip% z{{UJT(L6{+yA~fX01W$59e|FZbAI~cU+m<|g)KXV>E^+s6dFGuL+HYZpe$ws19jmqMb4BWPUKN2g>m5r*Rm{jf z)osVkxd+XUs^^bkSu9%FAPv0r;=CD12N3L2 zg;<}V&!u5uBGhrmu;*)J@Y(51(6Iu>#anO$jBO^Xpgn}Sjq=zFgYQvd2n>03P}=}2 zpPR2*XhpePl?o9?6kz8(Q$;6XHY~BT5y4V9II5Dm9qv}uu2W0XBbN5i?3E9fxlSE< z8Tw=qpHW+2u+yCR)3u0gYunf3K zA!KPr);&GxjS>kIj5D4&A6fuoworg_eW_RrRw_K7Fyy#>tTK7@sC$%=xnp@05fgJO zI`&Xc2fiq{nj+P8X(YDuV;CEV8Nmf{$7(J#h44E~uWBu(nN=?(7_}f_S;z1mc+C+B z6mRtjtgmLZxk4T}3b^hF>q)IaY)AdK9(Ek3&5RmpFf9K7Y~mv?mP)UD)3XGK;?)}9 zj7C6X*EKf_8yX~1O>#stDjtNm;Ag!uS)r;ysMu+)=M>3PIv$1ct_ab5`QW=Um2%URya( z9H7PyYX?o->Qh!L+@Y1X!oj|WwOmz*atI}nP_EOH#%PjEs5Uz7rMO*(Q|hkkr?Gb!_bPQDIv*4 zm>0I!77}^(F2OpL&34kOb!i-RX({TOaY8!_N@{j8QLUL zw6a_u;v^I5YOE4xK^!JC981X<-%iFiEw`Ca_?dwU7`iUvZMvKW}N%k47$s;t3QOv$yObp}y0A;KtE9h$kR`C&!Uh#F7lRSlExl&Z;xyVua z3eucxi>bAbJ-1f0)X`stid-MS^ZcuJ^f?mLxuI&88YaC4rD-n7E#?fZ>H+EWsAkCR z{7-9cMcnpeM{RfHT}GgAxD2I7(|$h+&Zod!RitxyV%t!HfM@zwGThW|-t4c{E9vjRjo@?jcq9wO?K*MOlpOYes47Q;qC-+-&1~J>#p_YjPl^f5NNI47M zpFn#91$6{qso)IsrLhFwOg||bSb`}r3on<5$`A{6{3)O#jrYm5z+~i%S4{}1)QVxy z?mja`2D$q`cvn@1-6NMznoB8FS7>Dd8du3&eP(@6%E-eyEWYAhkBFO&$AQ|TX3RcqN zZtlhgud6-pl&k)#FcdC$KJ+DZa7x7!aKwZ#q@x~~G>Tf5H22eGlgpSq2OleNMswb! zkCl}*t0t0ZWVO6mq6a-ONTs1p%GqvMMA0G+yN6ujigMR$0tq5F?AB2d!~cpF^%OzNVOsS(p*tvr*K!PqB}ABArQK1b{NtZZ;t@Rg{uW zde$ww*wV{!l8{Fy6j_6kBN${F=my3d;cKRaZss*9UtugSO~5wy z2W-ptTDskysN;ISBBFI zZr3Jghi#AZsQj9lg^p@g48(=oli1Q`iJjMnW_?G)pJJ8r(Sjo<(>cfH1!m)PUF^(w z!XRaGQL;t_a@f=y?^0WFd=I5iF(yK;3lF@#DRm=pyO9qgAoi-%OpZ5UyFYh4RlSH? zfX_!`-xUSDj6HV)Q+#yUAO3)~*-PL@B)2`DK)z!FfHw2Zcm-H;Iz<|(Sp=c72_G&g z47CzS(jZ9?sq2H=)}RN*2bw_{Bw!QLkUfdw@|Cugz{t-WeiRvuAO-ndP6;{24N_=h z)^(q$0O@oQkN{#8b_f+9GaiN9a~P2W$kVZ>)#zacIs>E zqQ7>Ic`Ho$nrPi*Wyc`k*CeBQDkZ0F%&tD>*XOrJJS~lIAu72!_OBcs})=i$oW8&^Fku=kqRx3Xj*VZ4)`8 zTf$YtvbynXQT61jD3}o>jju z)Ed<=F~Sf7Vxv61gdqT-R(>E0&|7(|}sS&u01^4B|ruXJn8 z8(7qBLgwxu9tb?F^&=eA%5FP?rlqk3?YfI+R7EWP&Q1kmQmeJiqeUmF$!l}LY^XlT z8{}g>4r-~?Z5Jv^#T!=h&zTsO+>QY!Al3Usv@-TAv~vqqUzueQ2zi4 z2PBSjT4*NZhsQga%)3Fz=tgr=<8pnY>R6ClPCj@LxBEO)dp3(zNFcY3x8X3PW2Q*K zqm_@I;+qH^l13`PD=R9lK9tm0a}};M*uadSJGPS8^%U&Ta}d6pa4eSTTw$AOR_ZAa zn1Wk5<88SI=xTZGp-J2)vATe%c!>-$G03V@L%9nB(5W7jXuxLtjD8gCfJ3};vJv>z zD56_;J3j}jL#7ENCv=B*HRob2%z6~Q6H-YJEKj*L5qgQ7{E``UNYEVRi9eNS_6V1P zDu!X)@mMX(dla<`poL-yxu1bsDBT%cZM&WU;NzudBw8liGmO@1>6B*bRy&)`gcV_3 zRBH5Q6Q_Mi^r_LXE))kD8TA;hmuqNqIP$W+$xN!oMip=erDq%5xTU#UShR`_G8R~g znpr;o0I#sFxSUnDI?W#1D@y@y7#YCx4mzAwCPAP82#Cw&s&kBTY1{;mmu153>@(}@ zLn&-T-dcQ&`*D)zBRQ;_LrAY{5>Ipc+0oguzr8zE6k`XsUU)v*-oS9Z^<1-(8TMa_#$>iLQi>TCd+`*Tk8c=UK43kSJ-i>vD0< zaTs6ymWvsj%Pu4++z@FnPgAMzT*X#+fahyt^2q*QtwLsouD7P6>Cx+Up`JOH_v^bJ zTb|?C))gaXbXsOKED|%jFOmQ`tnO%@gDy6fMBRadRJA3MhXo21&JS9<680nD#gCho zruHFj1h5Re@J~_Jvu2ND8(jYYkdyxaxgY+3wb@JHMR6K!Bc_efd4{#(WcE$`F=D`EKAw7h3%ZxVOrv&uof(2J4Nm98# zE=PI*dgax!RPE&CVw^@Wl6I2ga}J6shZE6$8F{ywABl8@W4Y{&!mkHAdXLt=s|i!u zP>qZ#D?6V#YH>VzrNXedD7%hGi%`?&v6w8tn4jiJ2P)&% zwKKU{fsK))I2qkg<9&vusS-%baL0L70O5yGn&q5YI;pZdy-G(36h{a@gmkGz+fx06 zj|2;P2*OAM4|CJ{Ri;ZUTh8BU4mdf9qF#DH9oZ ziTpPY$JVw)T;btYOvdVcvrgh;ilr>l0Wantcdf?Q` zoMpL6QbwG5(YT4yQ-Z^S4l!8I4a}_*cvja_CsenVX=8H7$y{z@&{sO9>FCb2ILObE z<(0~Vz&XZg@?TQ9l1E9VvdwB75JL~vxuv79o}kLRhyVeOc&G0qB$raX&ODb-e_Eb) zQi^3YW@P{%=Zt+R^Sg<~2=MM~I{=vI4QQ&6>82|xq1uO`0FL!hs_sv*Os@B_MLAdK zyku8GlaYj=ld(J(w)-+912i_#JdBSG}P`6GDN8&7aLh}0q;~znD_gbBzt>Q z=sUDVRbS=W0PbkyOkDN}A`Kqjx(8uLvmZFwAX#7$laRavx0;7eT?m%xZARrIz8XYj)a((d!Y<@9KT1(0 z{Ia$N)xfKpvawM`>7-C`jyqNwrd!y^)MX2C3jjB6uBb)Y=2{b=+W0um1!DIt4T;RR zJ6DoA)i`NzZpE401jae6*N~ICGNeXV+?{eruBvkGXDAh-k>ZHl5#~q_-6M+WjjnS~ z-5GPKOMi6(N&r|--5o#AO6XD0<9f5EvGE0@Ys6)W^Mx57j%ei@v2NQ~wz%ISzUE`j z;6NXRE>;D&uHpzCWJz3{VPEDoGIr2JQ8P_5?-qNJiC{XQz{6+TAFW|4nnzQe@gA(I z{{UsTnWk0&o<|2D`VMi7dwNrhZmwF zmmqSgN%~^3H$}}N_TfA;b8hTPJOjT>wP!2cmi`oFMe@fYFwO|uQDSdl0e8kwWqOlM z1@1`9ry<4I^ncm) zpl=_=X(KBw^_oHJs)t)Zp@tIxzJWX_I2D#92&% zk?WdLf@LXKhA8kiIUkjC$`)quo`j**WOa#&3<2xFoBkQ8(s>BZ^|X>@8CT{LMy zCv1!W9=NVr&2t?XXvw`yrqkcZX{0+&dRAW1Cu6!%vpO#iCN#wgatji_g>%kc@f!n{ zSzWi}?8Z9^Qg<3F%n4@P$~)8+h#{E}?c0!ZgXu#+M{$kA9=ZC{NC#g77%rGDa53#w z5ycpnfO**iZh6LQvYE?Kd&8}w4jEmBPbu~Er!u1(mfi?lsxZOS_XSAB22GSTm5uGr)=~xtIqS_uO(JVb z{Km;(A=~MS@~64#Md(qyc3A#X$u)GhA?`z<5MsEMx-q9$b4Zdq_ZrZva7GKB0)x$O zO*Ta4k&7+fKHirGIfKX_KjoY!KzL}&fRVnR3!bNbNA zy~W)kVpNod&NH4xB8>}c=_A9t?;XhM4JNKtjT?D|@K}r{L>bN>Z$H+bA}3Tuai-~@ zZN#Y{9AM;U=tVwMQhiGr6mZ$k=9YdBJGlN;E+&e0A=Rv3P}f@QO&^ymfRI~|pbzk> zO322e=8&E&vcA66X1#*aN45b~Tn;b*AJT^IMXY1r#UjjwqGZYef-%ryrQEoiFcS`i zI8`LNZTv|UosBL_rA)%xQnX=)MH@$^(lh!}lyq!4x)e;MoRUbvtgI)f=^2gyC+kfi z-$AO(8y#`YF<4A7B!i66Ymse6D=_C7BD1k?V<%b9_Je2piT?ng3hbruBb}bxH_0Qu zM&eEY_pbq#A{H!-j1l*^Gyw8&yb;riLggiL#xTk^ANEf_TA3iQ(g|QtaB_2>N-Rs%mfm0_KzQezRLN>c_0AcDyFmnF9<*4dtaM)tZ_bzFO&;{NRtw1T zar`;K{VUeWYI4+YeN5)Aj%)Ur(w|KDovTCT>`882z#Z~SWP5X7+}BW!i1JHmjjOAM zIR`y!B`t0bRb!{If&5jYv@%N^cUIDuMq$(ukLg_4y3vGg(WNPJJxrZfOuMlr-c$lX z_e%6W^~FwH&hb0Fq-PtM`hDDt<{N>M4gnw5yP+!_vqtTl(aCId`}~`7e|G->#S#Ai z4{FvjS1@~&H7gnHq}ao9k(FW5hp4R>%1y%K1EnOcg6$Rdf~SI@o_MTf3!275CoAUc z+*D(=Lye78u1}^s(e74n+_>4-ziudmwF$)0)TOt#vs*3O3P23^xOchoH?1C`_jug>E>b;a3HIYa4o^#S~CLxhk>l8TGF^ zthuG3=+TXgTdCwRlK%j79v9Tn2y3adpH_650y1e4sW~S^MX2i)znPVoUUxa5&s@tg38wQE2Goxgt2r3~x|J?f53OA| z>Oy1mu&bw)&nBX;#A=A-2O}MiG(}vQ?oo{Ixn}^Laa+A3ViPUMLPE~ng<`dKF64T8 z6^W&M?{ky%?N?G((GEJ6c9vY8Gt=Ip5V;i}DWhYeHPk*_faYZ(6nc7^>VoAsYE`+3 zf2Ld7>MW5$Oh_<8o~P8~-n!v5(a$HTk0zUP2I%A5r=}{@Nzsrsl-3X&=3mz)N>cgnQQIRODCGlM657<>bb@2*!R>DZHpiy zAA7cbwJt=sv|YHqgxh&zYDtfmXzD%cxs`;XC8hk4FPO!cj@!Op%9YCHE?DX?-bl-G zL~&;el>~$S6&wJwwBH8QF2 z{;I*u5Ju`cm6-|rv!BwJvzKE}Xo?qBHB4i*2`J1WDFaYdcjm5Ca%f>?SQpQS5Vo-3v73c?3P)igT!X53?rc#}RHS-*siHm!3F`fk`gpn_p z7DJE<^~(3Fv1Oe;c1yV4J<0=y{cEQO%&SL~nOerz?PFy;x|N2$_g`pTO3o{vxwl~| z0a0H}{u30>pJZIICy-5YGfsxLgD;-TUx9c2?q(6l4@@32_;skQO;o1hBhqi}EvJyA zkgS_>K5@_IUq1?xr|`2y(|!n&Z}QVhG>SuJintA#4#lb$jUde{hd zDJ%&3Qn1q_mLTMLiI6`6K8BNx#-(OcAY01CHxk_ob`=VpighkI_mHe`K<2bF87zlz z3JC+P07j=RjkpKamBtqq?gEfQ0%$23`X!v#A}d>PeEG89D9Kb9+dO0xwAsRuo3;|FkdF;SO!Ra_n1E_-?k>5N)NR(%IF1V~lLRBv9?Txv~d657C@ zI04UbMun-7&89-@xT-0}a7gBkQS%kQvr)(H)b8oWN}f^k5Dg}EW(&iwJ!x34Xh3w? zgKcb{=8FwTiR|Y*Y|c9q)~3ZKgpwyigYytNcA%@EjJkn=w4SD=-s91d$0yH{8E8i;CXVe^A1!8JF@Oa=VR9kbey2UGo44d=?@DtJGIS1}F-)Y|lx?Husk%I(u@D8W9M?ME|YxEJ?X-09}%T395c<;&Z~ zA$pOEpzaH!MD4_o?J3Qi&e^FmQiiaguiiu~01%NWAU^`X?5W2==Z!tORgGjQ5p`%(~ zN4^#@N9T4uacxJDHUfWsjvqosA(EEsb3g`K@BPz4DvQn2UR922RxeECK#`HP0y~Un^P~ zmd9*!L25%WKo6SPDo6((T#SAuv349&MpnCGiEkj-fT7@ug#F{8YKb&C%jrwSeaXvWDQBJN=SwNVvJ7&Z2-}23N46%ATDo!g}a=ILr zqa}}h+OPV(t&B10`1h-lXw9pawV}4b7jm&ZhG{}qFq}*aIQ+*exfPF1#s4WFT1SZs z$sLu9Ox<=`pvUP^D5P9xC$YinDduX=BB)d>cmlcQIK=emUzJ?3ZVu%D6X{%SbIU_% zzEoe2OnGx8pnwOZ)giLO4eB^GQnM!P&C_1a<5!x`RDen(UC88} z$bP-+JrQW#)5ezrd2#8{f>eak%#Docp&!bJG()7(JT2x+y-K(Pkj+g=5y;T@9%=&HMh@T*RVxco2)5dM zw98|XM?*z|>}tUjvHamNj&M1nl@FPa3kaVoqd29?gPD-Nn4ju{1Cf#KOWA{{SD#7> zyW2R<@FO|er2$nhxYY9nfTs2YF zQ(FqcI}*#cAX6G3f4Xq_Ky#MsQ!UG|0GlIWBMcM9Gn%9`pYbKMGwKmN&Ei7@E5eVw zNjd4-z04&y8fb}XRPk?#r@XXXJ~`xTYz_>Cg?6{05mq_4c?THgvnh!-V_-t==72lj z25KoaqgxM@#zUy~JRj74wdQ6t^iy7ghUUJY@<9{%TZ-o(XBFimR*EspA;udnXj20SHuP4;a zyPWAEn{mluUBV-hVyZ`acLK4Sk^rLMAqY4G9QxF;kgBstNIU~T7U0~)LJX2|PWD5! z$6e08RFOxIm+!FdM{4Jsu6EL=Xqs9yK1P&fCP^iiEgGm8Ty^^K+#c17W>Va~(@N$e zbrVH#aN8bDrMVprew3^sbqiS~v}8!+l~e)dU;uk_&$VRqk*rxy!@GXYusGUxZUa3I zNEF+-qgoQ`Zs|0ew;U!2?VQ$6L9L3HL&>)>5Ds|j(xpn~h|g9-G9Xcv7|A{BTWB); zD&-vyU`ec4?lSKUYDP%hykzvNhLRH&$`b)HXK+~ZPCaSMRx8-Wy_uf&LZl9MsU54X zoNW^+O7b?eJv6<1=7idI zCQ9n(C36M6rnhwj1(rCQ9eU##?dzKDPUy-hT)P|G#Ul%StsAZgQSIsYP-xJg{i@D2 zkyH@iss8|Yaz8Om5Ybw~>PUYcfY8yZdXSh2Ks65F@>xAf0A zs!YkFcrauII#s4X@h$-b{c2>cIOub_gixD_4L!hR zX(Sz%w4+UtTCLFq-;3vX{JVQd;~uPc8tk`2gInChy40^HlYElph{ppI{hDKSB#oa1 z>K8`%TRCTh^2|b=ZbW0opLA(mh7)=X4&LUt0z#TAIhc3cDZai-bUMG-}7LF=nthnbSpH* zsuD~kLJ)b}YFv=mM+{uYBV^}*2Pg2Vz0e_zW~}BlPyy%|^HZ@(etUwXvL?+3YM^?Ti$ip~&QPubnjJ zC5?AVFgP6>J*yiBF)uz~*a11`js-gs^(QRx7Ff`r0B~D5`cbhQq;Z#Z`9TbNgH)MT zC0J#UusiSQEzgKuzjb5;W1wPw zZhiZH73xyK)2FWQ%+Hya(^^XGUFO{F$t32wg64dXl_e!s$>3736|zu(8w7SVnhT30 zpr_u$4zyTikB0SOW2)OtAtpSOlN|h~j-K6Xp0z(|7Z=nMv$@ymejw6JWfJYAJF)_y z$m8D?=0gEe`kM2j8so&CT4LG&a(H<;=js0d>#n$9A=gq|*^zswTwQ;!nTYJY0QwG< z+Zs`dvQ{V5q#ttxLPH)fD$=ls@K|-l07OeCEIFjWhXm!vKD6vHV~w5pqy^i1 zMq&|3{3x&;3_2TI>GDd&#LS!kJ9<|gOiJeEMMY|IK^Q|al{`7leJFdLf@_w?MW)9M z#jU)cptn)96P0CbV?1$FvCSo^WKDjiYny9^jO-u-7v5pUb5w~)ZiA>@-RN#)b0nzF zu3Yu+{c9?bv$?EQh&1Gp$q^lgb{iu&#b?mnE1_o&M3GF{E_&m=Ly~BAu}<}h+YQ(` zJT@qVbsA+mV$v~Y+DkUxm9y*yrJJb+HXsrT=hm`n!yk7V$!tDQT}D2llwF<1Mn{*U z%fFAD07s@XT19g*WOG)bWVt)O>HRCMEi7~Oxwqkn3+jOg+v)0gtZHewt%!{N4@&2^182W_~=`&@rIcOkKFY~+3<+q-T(_&q9;xi3zam< zv?D8M!^_Vkl6}o9q-n_du~`&jiZ=xU#h#xf?BW=df_Y=u3Z-%;k~-^KTYC#53@SL~ z-1R>H07|6H3OZ+qVE)lI^L((L7EgLED_rSib!g8*2WtI0x1 z{VOMPWuc{{!87PrR}r}dB?kcd@J&RQQnXwrwDPDy3C+CdA9AY2`tZXC(Gz zJw5ToQmX)QXyiOlRO^=o7&4HA5z`w5UDMcyx$F$lr0*LI{{TPCMsZ&-*<^xf-L@=c z0RAcfUo@*7iMd;bZ1t;13w}$aUSxn^j=9OMx_AncSLjQUMi#59wXRmxeth+Dl0T(( z)4)@Y#i+TN&fe*w^n;J>&-1kb5BdsXS(Ikh zPBvzdlOXV|&Cb(nE2~-nS)=|gJv;stbr!cqiQL@OuM#L(;)&w5i8x~WmGj02r&CUu zGCBVM4QfUac&@RX$8sw-e)Q`{LDQAaj>A9M$vKTs$V(l*g1Mf@Y&IzB?j>O8K4FK& zOj58t%BEzRA1`mp!=66x(wfjkN$s9BM1BXAVv7M$3^2u>2+)IK~{{Rs=HQCVSNnE|q8tHFfiE7OGiqJu{D*P z_qQtyK$D!7{^+Vv(9Tljb~_6wEv(^KAwo0vnEwD7s@TF(Y{Ky_sq;0hyKT?kE7*Ea zC9%#C&mBIr3shPAedf@gX_sgi#_B8=xdX`TNoHg9Y|&sk{{RDAv9X>2S1RCuYZ{T% z(gv2azHXT}%eblDJ;?r*5PF(3nDHceTRXG^62cVY)lNT_D|_69BQ;+*=cP+WL}ply zX2DVeXO3!3qbrGyc^FejyBnSyMTMH`LQ1IlSJ$mHOOZ#!VTGzlKnpB~Bp$e}5;-cf z1Kie#<_Z8P0@b_iwVe-A0Uw_=n>AXUcZWQ?Z3TS6^2sWz1K&9$epQs&Xy@fY4cxJ3 zAy|*d)B*tEMpR@_F%{P&@+ba)wbx7F zMl;;@8JUEVD!3VPYv(x)L^FcOra%`1KIV>49vl`@qXo|ZcBgv*ax0b?Ku$A)jnJP_ zThYZ-rv2BUGDxd`Wo>xbC}EHePf%;qrzbiv84$W*6Md#p{{ zb23d6P#l!c9R*h_Lr(gccb2zy>_f)u&m(OX0u&Ot$T-Co0irw2{{SI5>yT+!23$4N zBsZDHI#L-J^GbQULG`8sUOCD01b-zhKx}U8+jfIXP%Oj*c_eY`n$c_`)IfE{LFt+R zdD=$O4o^x~0q0W^-%M4&!2a_b0Z}HTMKDEPJF-cmQ`^r%^+(xL$40})x6bu1gO`%dkz8nSiBr*@uzXHTN(GSB9{l8JNFcdem`oOBv&!SQyP92z#r zpUaF82nVnE#dl%rDYCE3ahhaMJ=!kk4Z8!LwbfHtgcD5f_ZY3V z${y`d5zoudOi>iZ(H7J*OBa}NfsQ&=vTjV?VX{Vb!z+>xsHsS3nh4`nM^XzB^AAj# zrZE@Fj5$^;?8gJ}tfY!atn=ZX1Dr~qjcZ9VCXRImBy0eA!LGHjg|1$W#Bn%f4pnys z&p}5jWVYgFwC?#Fup*j*OrL1vT++9xEO!MR@y2jR^`b>a>vLhP4ZWkNkN10b1}8o0 z4Q^Jr69Xag-{;Dy>?sAsy%RwnlH1n<8@cAGY)dJm*w1xdJ@)>IujVg&_1E z^m7?XF83p7+B=1gM)~u{xT;bi>P-d1$05t*4>&#RL}u?6MJATB%f1O!V{TX;qv=J9 zRcvio!v%$*juFRJW7L|ZqB4}ZnVYU^Mi_8}d5`yfz360|xh(EjoRWF>r1UB}vQI0H zl{Y#aEePZVPAbvQDA|b|Zz0->So#4?=t;TZeb$fSX)?eUCelDaAKg43*A={WGwO3n*vA~z@|2}wSYOwuHJqcV z(Mne@+M=@$Fc1mH)cRD|>2ApAEi~)zEuG<8cu?Xn=kImNs!KzfQ`FD#MxL&QSSE>5 z5J*htj`c~{#(JE;e@f9im<0eBpb6~RMbdenafws-ip`fD4yxT*G!P%}`Ng{N(-oYR z&9~IZ)KyndxWG7BSP#y#B!O3!AaOv`B~gIK98f802LuDR81$foI2CR%M;zv}W!%cv zj&&D5>?i(!E3%isjHS8j*Dw3&8_Niz?)R?%*HSzq$+jjr*_@NcX$GaJ!4J8>005-= z8eFI~6=WgtBR2JH6$7WfYHTJxA|C`fE_xC=)uJ^VjUt2d5ZUX}hT7Pqu1Oukg)z!d zlg?Yxw2mgVJ)|6n$ka7G22Dk*@1vG5tIVnM4E-zG!`5@Ar1vsv%&#VoqTR|?%Tu>( z0r$?%zgpj$Q5n}B7SwI!^DW9r8R%9(bM*D4Dv(anb{Uy zG`omX4;-ML#c1S^Tx9n5ZoWu?$G8TLNd?DSczaO;d{)lig(j`L0%M}zfSc_KwttL; z2lJ_Nir!1_9;UUPf#&@8Oo*U#jD|Io@pPfq{)6Rg&`lP~5x9qtt{8)X$E{&3$|-xX z4`$2Jt*m4SVnrDkV!6-fT(vRvr=oTT8x{*WOskTk83bn)%;e>(V+LskHn$_zvv+0K zkj{<+NXn~>V0EnIhB`M6k_6nUPbVIf*2FuAo?C5`c>{LQRG76TWI)dzOR9na9eAr~ zV-=3`y>{$B(vv`PzC2(wb>xuG)AO#(4(zC$K8gcssBj0(oO)NIEsKlP?e6fgCJAAK zTuo|r!RT^#5)ZYUWe9BNJu67ZL9;>K8Kz@}VuJ*Cq|uoyGYm9RNx1^4$?ZZ#q8TO( zWMv~~7y$ZHu|<1(k1<_UHWA5e_N3!>JC$zk*X?FV!7Gdm^&D2Pg@~IdCJ8)stxV#J zF`dzvk3-1!_MtIUiDK7Ij(imXN%U@&d!wBz7qo=CTZgf?35j@cz!Orf=Z~#BXbjlWv{|)%9_vsOb8b~sV}>U`mrAIZOG6q-9T&-+JhxAk z81)rza(64me>^T#h#!qRlgf<+)HlFSTn?32CB(qHmFJkeoq7T2D7h<9(8rEX>siU2 zRG_VLLQerkN$3SiMw60Aw`-)!DGzXVsXQw6HL^J7?#;AYTWb>(5v)vyC6C@THcCbf z)cY@Dop$`Kk&Y`Tsx&&=NrcR&fxDBAzTeKUwTeZ1fWO)g3#ci18I73nf_*<6R?uWi zbBUcEIhhy`%Ge{&*5o^q+wy*HpGwW0G_;PTt8*({#j%RI^Bx9Hew7T?b30-7%|X1$ zridJT!I*+L>%bzKW(5sfNh3l&^aJ6bf z(j_1aN~1%=Fx1dJbR!KzC`dO_5(9#CDlHiI!}tF?j_2)uz1QB?wbuHarwJ&Tp-qEL zS7oOU@Jz8Hf(OX)c>8F3L!l$_fC<>sionNChEXnOn5|ZvnslYlq!k8ZhOW+E0lPd! zq(C(sAgW<{9Il9Iz%!{wQy6x8q{YdPVeU8~M1#}6=j$wwgI<7z+4C5BpOC$8)3SzT zKbZZ09KDqHFZY6q%hlHK6N3HpA8d(5kuH2}^tcrMCNnvdGv^4YMw+I8gMx>=@&$Yy z01-W*e0M}q2Bo8t)8{Mn*s&hYO8nS>ol0Viv4O0DAu_!wU*Q3wxAc1qlMU4iZL+Q5 z)cF1)hRxAVM@sf!IWADN9BrWTrIa>Af#Ok}JGEQ%h)OS>@2!7f7xH0@YObIMG;vPC zlKiNLB^%t${EUy85PxLJrx&DSWVLq1So%2L_75nS)gsTqvs^#3Ot!?~cZW!y+^m)lqm>f4WFq91nu zDW=ESL#Eu{KLcFuQx0o+@t17LMEzxIA|(U_UD(bb1dqdzC=!f{+$ZIj3mE2@3=NnUzfzdUbB z!egaN?K=;_{@1_PTMfU=$?~96@Ac=Oq-8|)$PR0Xc1nwl`l5OeIFXy5GI6wb*tP{Ban*&aYSI@zhPzl&s+lwbCNhQ;(c14?e}N9Hy4* zjmPLsovXGrc;Tplvy{6lTJ|v_1YEBm2&6gvILMQAH+OyxqyEcxMS2_;UaZ@_=F&$g z{Q)`pU^Jy-oqZ;eLQeDSef*{f@K0-t|6g?-_w}OTb>f#qs{HqP?N>Y+X@aqu`~NZ) zk?eXcq}s3KL&vH0vTPES{23?dG&wNXzV8|8z8T9}B?brg1Q^0R`ZO{T*RkIN*TG&; znf~(Bb$PnBhIgZbKaX2&N=Ixa%-+%WT|AgW%^92nDeWd*ZYPlyXuYN{KBBC_jK6v=ifwNjOoTem-v+rA=~Y-p1cyyV|i(;x8>3n;cO z9N9qpbsBu~;IgwC-nis!tee2-!*^Enw`bmS&=?&$Xf5!=Mg?zpDmjQOnC`JZX4;_K z@}5Ge`RL9t2Upk8`y-l3bJ0AjS*Yl>X>KBsW7n_Lu>rvDe7CTu*J|s}z1YiMBt50U%GG?WNr>+u&B|4~-@=Irk2g_rrC>1UpT0V(ktRlX?ZI*cnHgz{ zCm;jN29$j;WEY1e7PaMUR!=Sa{YCvcYJPr=^}_TY$iE2fUo08rO+uIcV>)d0%S?i| z#;UR@<8S}r=PgF!oIWYAlB;oG4Gl7p%-Jl}i;*PMvVeBh=apq0;W4``br#1ztL@+u zQwTqc0JcQZuif}Uf~ zhH-HG=>G2w2!2AHXr+KS&Yt!vOK5=HZ^KUB`t=pxXp-w^8JjzO@uogruySUl>vBoX zNy9Ch&WVq9zR+OqOm)9g>LD~Ho}hms${016E7tY8;7qS4h`6ZNygEyePGlrmC1#vQ z@hCoZW|Eo@E@|t;k*-#1me4!6C;W4iIDUmfyx96PB;DaB5~W>Mw5s43jbpUx^45D` zV8#?oGzX;Ya7{;~iY-#DAhnvyuup%-bF`b94Npn!(=~!hm?BuW_Tm1I%iKcRCwSfK z8SsrKz5`}hx}O zhFR}@vX*`Mh2e<)%t>>U6O?auTdSgJ73>29r|G)93kF8%5vHcic#gXxMKdLz`c;&$ zu7TX}(^OHp^J+nH(*=~rd<}#JvT3MRTp|Fb;Xdlfyl_TVH8Y*nYVOP*+_fvZH8*X4 z9xu53reKmtBxqoSQDL#wqWa|v`idB5ItOI`2ky+6xyD#Z-vgq$y#hb==#ew?LLEF` z3!$RL2ZGaHV6*p)PS6Bwobk*sXh7j#X@P!7Op>o-|AD;H^{@?Qf(J`#vFj@G+z^VT zXwaZHO(k(%?IoF?u>4EGzlB_|1mH~eC&cZttdQ0HV;*-dosdv(<7TYEzjoE?7{{Q~ zYxjwWN}pNVsg;T|L(5NIdFs7~PG1BM6qi-j->Vv|p_<)(Yie0ZNyoOeh_6pQ#&}uE zinbk_(err_qF?WI#}1`rXa6Z`%2;ZAjPV{#cX;Im`45ogw{ye!Wk#OX>qpU!#;2x? z`dG_5wW(lZMLtTCS#N*SJSqO#r?~M|jeLoh z_-BTg>8u9434w8jk962UW48})%N(<+v;G5^qT?(wQLJ@fQOA(GA0|A$T3TVsZ%G$T z?u~vVEI;Zzr}#~p^|^;r;>(uLN&7B2pR%P5*qsjIzRUDZcZ$s=@mKJMnZb)f;a#Ur zT-CqqgGFO_3IMX)6&)i;xfdK7LGW>Q*eH@*J70TmgVTNEn8G^pqodYV_}Gl!uiLr< z#FLzMH|cPB%m&1FXWxHTa%N-IJ;}ylVyZ{{i08*@x_2*RQu?C2`ODrXi}2%s1xp=DaR5l)EK4JLx2e zec`MaYZbyZrBU03)HU`&K}T#3+-A0j15lcgTCJhp7?z0X2U`|v1HU$jVEb&6Apw~F zd+X{`y;$vLd^)apS)gQT2+^RDG94a)B2?c~n3gkfT!RxZ@b2fV#IDiPTy$nYVb@lH zITUM-0w5o><~I$PBo+qFz#ef|)yP@sKN{GW_>V)?hOjc4mS%K@0DTif2w=;;aMkjO>P*G0|K$nO-D!)>O@f zYI$7A?>D9Ba{}1>hfQ25yM=5Nn#0yPGa0MZ+2Xdf77DzUJ7;~F?9p%6l!UuDo?8oo z58sF!drmkt5&8puEloplSt|ILQ0q2`{r8oj_fjIX8z8QIyhrhhnXYf){k*qTm7469 zL-rrf^Bnl{ZO2!lI}2iVk$pn|lffoSLhVrvNte&{Z?2JILZr|0VAieowu{{fUR+d} z(>Iu{`qqy5cZXZ=R9d00q4nk*d!v^%bd+5oSW0AON8jK8Kf!lSBXWjp<4D4reHifm zJ14U;>XlzT0SAvnF3HsLe}G-~{{ZJzkG+S-9a6;RLHz`$^wYwsec3-J2f_N~F*rOS z{EcMf66GEa`18(#!T}fX3{68fq9|T)SO4fj!^@mJLbyf_F8;abTB(5%sr%jd7bq|D!dU5qDE3JN--JI4!^a2Ur$+%1;lfS^ES>xlJVQh0It#>Zm!PQ}U#4_^zD zihE0m(Tydv-rLgHn#{52Qp4|)SHk^Tz~szCjEf6m0*k1kITh;+?%>dP{EbJitKVU~ z5^hZiDdaCU>4+cnLnR0#64>8dmX4?gkFuL27^{MhT;3ubf^Fs+no%8~D{8Ty6 zj3OMzo9#C2)=l$c&d%m|0T&Tgw)nLzjXyP~NBnGj8rkNMQ%XKjtWFiGi-d!KUu*t| zixVx~mIww6aKuJoNlj%q29ff#l90RM6xY9Fn|aB$Ss~quQ%teQ@=68yv8(ESEUxqSyt&4h(398gmN_mm2@7=0nQ!v<_2rR8RU#dCYoQrILvtSh9~45qcJxkj z$b+6uOMK;ie4DWLX0cuJge6; zOE_@gnud?J+sAbM9(X@wOqJgES$-vMg90XRPkyAVZ^8Wn!tswc<4(afQa#+}-ILh> z+iO7Tvka1?^F}WFQsV4c-KW-on3${dfAN374ml)-xCW$`1sMtc|CU4pe_4cPC@o9 zP$E9kt zfA{0{ha=N=4e!;QQLz8C){rbKQW*q5C80rpXsV4M5TLFr{Y;6RC6pcow8#6sGK|AC z5dE zFDlP{|9Exqp)Zu!SZXfQar4WFTyx252l=wT7V`vS7Tzw?e%42H{m+xhJny_=j~e-; ztO;#TdxA?sBaxI1BB;^B|aUA+b!xjN$Q0`m73qOFn$P0VSW0r7hTMfr3Pl#8C0M zd2EbxFNv;vkmB#(h97*v(T!Ura1;-By>3E05lQiz!oi|A&^#``)YxRFxchl_|nH$9vCc9=K`PQlg}6^Nb`Ct^}6A=i6TAnv1v{r1aP=9~}SeOk-A z^GB^Zzb9)%!A|(R7ip)VMEWkaW&YbIHsAM`?4B6PZ1l4HtjBa`(>BzkKg)mbNJ!fE zB+??!cF*0yie_ZB6z}S5g?nWlDXAW}Ou1%ToB9#MZ&^RxzA zaX!j1O(Fv*aFL^J}f7KGRH?Mq`qyG8zv8W$d>jmMe6j-f9uV)NY+l-n--ulOP@;X z$WLHV`00UY-~{63=Kkwb$I%lS!ynFo%0uP-m85b{nm0%-)SDIq`QGztvaxI$MLjrO z)!EP)_ycV_vweduHLDs!=e}zP$krt~E~6yq&R~ z&!dp{g>#DY^z<>EL#WDjJ6=)_htKsL*plGCnVqjZtfQV3nq5^6zD@tb8h{Fzn^Bs_ z;06=eSr((Ft<@BXy=5=IUzP^Zba8g5rqBKMGhJ&>u+9>)Ig|3Y`83Jjxa8#GAF~b`V3QrJcM~cuOgO%fYKJ7w#d#6Cl<_ zN;_lEC*3b|?e5I3$_(uJFwQVbhaicly5Z~as5d-qU z^iXsAvnhv>?4TO24NNpOqMtQ0ZxIbivkd+R_-bWV%n6RY36T4_FAEWT_P!^1X*-Wv zC&y(?-{!-SHHz+xyZ;wnF8U8&1VfvP4L!ZW_f!gTVLB^p78gthkUcc^}jy z@%>d@fJlZNg@2c`Tk+L=+nfdeE2)twh|izau5_Lf<4@mTxqD%&$Ex#o8H&U4sWME8 z3~-V?Y|F1{St0jkGvQd@6OrRFkGAM#=c0S#Oo!-mIh4ntVXm`F#tngz|s=iu1n7P1cilgHv(@=1>wijON{o^av zE0;3#p3RKbP2%Mun+MJ?hg0OU%$l^ZU!{Z`T{_iR)C%z9bfvtV|ky?elme-dv*7S%YjJdRgns9mL&f_^w&&NGC?U`=9LBpG} zFu?-7zk=^0A#1D`z)R&OEq%MI8 zKbtn&J1J{^=6>eD_b?U zGk`RZ^`KZA;Op@9^)d{b3#9a5a}-UOR05v0_++^@fpwl^eJ*Q{%Nv+6n?ZHZgkTwFN?4{ zrCE`h8n#FY+NEMcWMMmP_r*&h0D{f5{j8_SDGO_lx@sk1?Ki_^D-@e z_eHf*fjUu-Ug{Kj0cFiDO$&eb7=l{mR8i(3hAZMgp^11$;g9Qy%pM!@a0qCmRDuro zqR4Y;guMo5*Y@eVYb;O|@G+~H=R~Df7sYn3Pe4QBUcaq>ZeRy&C+x}K&rI=Ous86+ zZK(^x2nXNPU{6obh*nPjZt^e6u+^jC%G2$*0k|cH5Lu@J$Q5bD2k5~!4YV;fI&jmW zK)QbaQT$9DB%~Q$hrju#d~_?Q!&^M$~o{ z;&=&Wl=16IrFzIbowgRv0=<6&Dr^?Bs?gewUVQZX6$ z>ua6*CP5q{&5h7Asjgt5{;Q0=(Ys*}sAXC!laexf1mg()H&5Mii`In%6F*-y_gsPX zi-%BCvhT+_oc4O4qBm49t+1vU(G+VcdK2}Cy?h@fDpmHPAiHwI5!d6$VCRH$jl_}CJ~aE5%_Z(seBc&+5=w`Lq}&Kgj^RfHaZ|TpPyKF*s+|@QN8Zu_kvqb z!;+)cDwlMtYji5;bt(w5eU0XmR#K-mx`D zmj0zse7<8#BUDVWmUDVuNK4m{m38~0(=k64r8kJHc1%WQ>{%NjTQiMx4Igd-^@sTy z5m#GYt&ID8i|4s@Z0?iFo3dNz`*;N@piG5h?mRcTYLvig+yvnSmhM7P&3VafUL z7W18g<|G<<5}$rK-DyQ~?5DOkM_l6keLqrafXZ9kAH$)S1U#KC$}Ja_CIQ270e?0N zOb)Rk@mQY_Bk*O10RU`iYGeo;OH}5vV+S_)u#oW7Tyk_uBxK&{l}c=jXtl_H0EhoI zx*z|Ejv-6q_#QN=ykx;2^4n)VqhwTuwustre`Wyiy~{5>8L$nV-lls%2ZC5{rUA+v z!rOG-yCi@4Q*+0TTL^FHZQo#&Mo}L;GlK0)9dDelhMq=zjew(B58qmgDRvZN<4%Yn zF;~;ULFmw17n7BbvFtPuGx;vrBio)lG4rhF>?-49BV-|SX@Y9*DT+wOux#Sv0cg(LC5iU$bIs-rrR~Q)j7^ zgieJTCeNk53Kx)}V4BY(YO4gAZHybzGZFvHyggqe>c!X(GV$jmusVVYimg>Cwd^5b z;5nR$+B=fXE)+I>E~k9Xsl&9{H5aPL1w(W#(TJlOX&?dfpflDtXs4xo0Z$uz1g{$6 ze~Ol@_G%=pn1Tycd4W3uI`2MJm|BS?&D8$;`ifSUh9f|EE5*qA&~XVN6rdiZ)0OSM z(S~)uIMyA~nqt!#ursMbt~yJTlw6p)UYDSuSv>m_COR!iGSl%lBfZQOpb?js@ zPW!HJpdw(=JoUBr1(g^-W&dUWUq7ohZ>S|rx$F3h4D)xGP(nvP$GhPEa)NYUD|<{I zv^QWJq-MM_<`ULqRG2i@K=P3FW_8R3^6t4F8or6fh-+DeLn`1ZbK zH4esNLVC+!R5o!?wB2#k5GemdLc)z{0qgVAp5q;*jMOSrR&Ny zFZw0k_nBr8K*VE#Qnl`9&g6U^D~Qw>PEh9g5N7VjKUArXT#XvN!^h{(6;qL7B6P?) z^bK{aD^V!d{w&@hb@Ej*-+~zblHLlk`|!46(lP#$?wOWRq-WNUX!R3jx7-2djM(Uy z)PlG7!L?4n=Tb`!_og@8L(9K>*T)rn`*>YSM2zry7R8w7=ps8e#_5*^kfQm7zN_?_f&ftfy6fYfDuu`Yc0e z%pJm>l;dlrsha1N6=QNqnQ6ZY{-B)^-=0gDbmzfeRL>9m-B=}4!XBR|fl$UJv6jjX2!D*w!Afmn#+RNgfC7~>)r^}56wbzh*X+%K ze4sF`?>2mUMk6b(50shDXKIt~<63#GX+&WJ``yetKD)nomUH4zfJ+&$F;r30@rGc>Ao^K+Q}iYg;6TevS_pS=%|?vU66t8D{nL9Hz5<4dI~ zLSgZ}-{JfpYN#VZzXLP!8179}J_jq~ipbi964h0@;V#G!?2sslJF#q7XMI`ln`U6? z6GzH9J7$in&db}fWND7tGPi{ewDP_1+PGvhyKCU6+&8ht_*|M<@Feq%6Ut|u{aG|L zh3Dr{54F%fW&OMM*wHBL=MF92nCt~0d^Mf^*NrAtma@R={fd<0?3}V-^0$~$@6Hlr zdy7|r_2}GK+Rg2?(`$iTLPoMJ zPapSF#H6vL5VJd!q>1Tbrx9p$|DOM~Q&FjbscY1X=o;$tcfW$~iOJt#Xr4tsEj)D- zq`nj!;1yvuh_f6Kdv2iU5rvghk#H!3qQK4}?vY0iOXyIP09kkXbQo7k>I%Mz&b(9m z-$3Wh!s9^a`0gF#qsx^vi?~qQON9U$ouP{2{gDty7}ra_*55;nN=|8*#YuZciC!8D zk{J=rO1>%-{U&FzOM$OjtoO=~2)kG^IazUrJ_Nu&8OW3VVuMhlF@hl7P>d|BeP_P8 z_DoyXV^dRyng%gGDEc~wOmsNNdo>@ax35+^Cf#hPygouuMUMrhY9Wn*L9lob=DlB4 zoJsT#Bb=fZ=W!(qeAx8ygXl{#Vzy{p9Lt$SweJ|`ypsO|hB3@D*`B<pK6_QFWTiHRy-c@|sal2khmRv4(kQX~a#p^)yRqD#c2txRG;h(wy%p>t%0=LpQ zD^)NsWiKx)R{2Bv->gP}iJ=8FDr$J|@H27g?5-myNcC6LQ zxuU4e*yxFi)=A+zPRf4pm3nNVpk4UB^DJ9Ia$JQ(eAgG~#4}Sv_ZDtrC%vh9 z|FpcYaz4>g2)T;KDoveZb6PABjJF#|J9gW0(YDadrD7qx7IxAK-3@Sp&uE;e*_mbh zUD+8C5&K>_m0$9{wb3O}R%-`X0RAVb0v;zVU}P{}5ZQ{*zH@XeuiDG)XjTEZ9RQLS z&mLJI)KXRBLc#{RQPb)(MdjA@*-tAIIw>FT$Y>fP@!AdeJ0|pRsWN(=y;%-L&vJ(+ z;e0i%%XD8Mx=Onn6o@pWTnuH19w^IScHVgB zf5(oc5gt;!+&85l1mX18F*k`&vOg6A+AePZFh75;dT{=;;?^8xjw=4ys9@4ANfF!7 z>d5C8!%rl-(aD^-r>&T@T=s9?PM1x_DDruQn=9OiUWSxcAtL4R=9A9lr0D91ArtR! z5LCKK&mP0@(dMMcdjlvm)FmRCxxD9-R{JH^uv+joAzsXcRTNCo>vxyohpA|FdK`#46}sQ{4HT4k8+?R^x5KO&%lF(s3Ri(BUI!<7GWNAk#PzaznXtL7tJ z3(gq)xp{|(fd_MMMC@CRDSi=P!xJWiP8`1ZJ=P#|Rm0oSZI!NHfmskrh_m+?*0HAN z(O_TjOJf)2%C#4op(K$Ml&NF=0L>3x;T{-4 z^CcgN$>J7E)wlFr9{E8jne;e)rtAy*^s_eBbUOm#_b!B_XHm;-`+7;Z^DCFkhs`5m z^6>f3UNJmPFT1C-&eGLmb0mjLeAwNdJuZNfNkX9`b~#HlgolZ#qMd1vyXs=Tnuu(g#8Tf3$Wuy)yzNl9(x z8vFYWNQ#(uZ8)Ah%Cubb_Kg`vU*E%aUZN)&j-_Ct%Y|#}{rk{RYg?Kb+gvbFbdfH~~Vew0j4>4QIFST--C2gHLELiT0lIIvpD1~D}GPqBVIQw zn1`;so%dMc4V;%PX{8!R=+~8G)RBji}qIs+f}Y z1R8i&!iZgUog!r(V+Q_Gn#!Zt=}xbd$fH@Y(g#5G+8AY4E6^5J!MitW=J>X;V(ant zVub6b{Ayy`&A46&r~&H^ds(0_w<@4R#_7{@Ud5yFBu`$dvz3+m8L6F0bsiz&CQMEu z_EgY7e@&t;JtLneE$+>@jLh(>H%>yMD2FGwSKnxakYcjhf9jQ1M1p@<9ecLZZ2Sz6 zkv-8dMm8tNaJ%}Tie7aya?rNZX{f;78EsaFvM+vZYE=fEe}OPKaN_qoDq0&2IMV0d zFbs}ts_%N9q$e!ylIy0}6)fcSkeMe+Kk1N4BXmK>pDSt5wX#$Kn@+5tJxO%gc{^I0 zcEwH{*!~~Q`u_ub)C68M&^+66J{Es5HKMcLWYyj1_dv$KNI~O}CF5!lD}^bi*t{`* zL2QIB3#~tv_HFZNKJ~i_E8{LvXGdFQG;2>`4@J=gk|}@ZTl_Qign7}nLN_?!wqR=Y zx^(AOS^z?_9zXurdYl2a>+JRLLCi;Q!jcF zRPDw&YBs!>@i4wiA`aHB)_lM*@~`9{HVH{o^l~Y zCTB(|b!wpB597DPhc@O0|^ieHE%gBQYSEXJv8|2-mpsK#hr!ctXvx8@oJ1Y(I6_(4!C^zUSMzAi_@Lcyfy z{?TXG61wphnLH6k(>kh$#!KjrukWZIy-ze>$fJjD7{|eOI*c7VUCDBeA45j1aFgkE zgSq0G`b&o~uu+i}F`}Y!xCJrAvApqW#fxtuYyKxMa%8HE{~~JXjB)la=KC0roVd`g z^BjJmxJ2SJ@1OChue??*yYCd+@yrC?d|=jo$Qx>Z+ejiIfY8dSqa||GgQs|; zHAA~=m1}s&RaW`5^UinzL1Ifs>+S z8dpXxG%~)QK|7X70JA_Gp5=zp0w2>QXEfaQH3tqDz>i87siB2a>dAM^O3niNUU4GP z1uRlgmZG~?H#OFI&{l0>@2{wx`IbQRf?jBM>_Xv2wZxqJ>m0YdLX|OdHZ)EjLyGbl z5}(X(xu_&S9M{?VM%P_m4`q6kQ1fuHUiqpwo* zmtPrqYx~%R1~?dsh>y##!|2&bM{$mn#0aU$;dN;fax$0hUA&gLs5KyyJK7w?YmBc| z;Y(2sl$BT>CWIA-f-LoHBZE{MP0ebA5N`V072|uDm>Ds?K7F3D=04%3NpKTn;BsW- zhSl6QdB=S$^*omwC&85Z=J0){XKdTk^~p{*+`>NP^LD}G3V}LC+J@o+3MFt}eqOud z$4|vg61gLwl$l!j+{FNmm$Cl=Lb9dGVcZF+EdKK`=ybi2eHq(8)KnS)F3Bwlk0)?j zOVu!GXpYU7JOtpoi%pIV15wN~Yfi||>BiC+_NS$cq?5(ynf!ZB{(rxwO%}qm<8+O* zo}%B$r(b7nPn-3n$OSmnc0Nd~x+JX%GIi0neT4ObkaA- znelz?B&;Xwdy+vyxLY$zbHulh{do-1Fe#_YEpX56(ytsd>myUoKZz9ntNyCxH!Bs1 zHkQjFkmf+E9d$It$}5I%DEfI`YXPdcG6xhiYhD09(jBd%bZbBK(dgDg!{y9!*NrV4 z4#a6EpD-#jN5b5bA6Mw0!Ij=LCDc-kT##Yw6+te68x9>!Wg&)FD z-NG4bgUbjh@V4E`oYqp0))18$m@J4I^<ZrKv&kA#n z%(Yb>`{eYq96Uc!dL&3&q!y1NFGJVHgkx&vh^)|NlwQ>7WV^GmNJ#oxwqjw7qpbI5 zTI0!q-Q}A2Dro$N*>`v$ZT~=TjDM*m^9~}FPV&57Ipuxbx9IULr_eK#teG}fm&Zvg z=KzD3mR2TGhV0PlR!kxyjhZahBTrR7rP(4yy8)u}nddgUJ zBj~0QH$s12+V{ORK(zm$N*jQrk}6z9;X@Ebn$;)*OIiTJ5I5~lG#n7xXi3@i9mb3) z(qH0%1L(-i;yB-eu!zITnf>Nrpvs$ZoHZDrCujiJ0MP#=JM(yfu~y+gvWw59hR)&2 zNB&-7L-~{yEYNdCNRd_|FG>K+VokqJV^$}^i)^Oaj-V%C%3eV*Ar zxHo^5{v2V5%?Cqj?CNF}2k8D~ib<8;NO&a=VaPx`QQzRvZ~82Y*uA@1*@Dx4Lh6$1 zCn?KyzY$OFd5X#^;Ll2UO>Ng}=M_A6TRe9-AQa&Jb125PafmexkfmcTqo*rp!cUt8 zY!MNvW(fS93p!E7+I&2w9G2Njzz}Q-nerdo##8r?d+pE4N0wvsEdD(=`2VXS;rME_ z+e-gj8jSN&JRk%=OkSssWY03v0I;0hMV^`XaS9KsMfAE-AOXiKYD%zTBhIcg@hz3} zmoXgbUdm(g5Q`q(fO{%#%GR#&t)kqLy0p;DskkYKmBB>UNnZI_6X3GbPg$Oj+1nQ0$3&&HnVNsO!`tD`zTc z!$8-u?T~v^Sb4i^Kc|yQxrlt)aCkxq0!S*O-%(iNR!l7uMD3Dvka80Zx7qh(X!R&D z8Cd7a(5syPts5H1o9-IUvoY=Tjog;H!I&fEbDoy25=OVH;QvYx{!wsPCk zQk&pp_OiC7mPmMNv6y6%?H?!b;>dQgdGkY8^Ol+)QhAt>CN%Od1_12f#pV&}IrLKk za4;9Ok?l4HK4L%CU?kXO`@#XAw?@d ze3*@@T9AOwXfp!dB{QpkjYab5O*L+a2^J3aU=iTthZdgeAUF?uCp~tf;9?jX{30IE zcpkFQbSjxDz${wi5kX*2#@L7D*Vxa;@w4>S9v9)DPGA0)0x%_rMRw?zzUDumdC@_5F-jeB4$~{P|MqaDa{kP$0mdmV)oT*oU<@qS*S@<&L6a)m@G<#q(+uAoEJ-#GG=@&{1EGj3=hvdjIyOSy@*dFeXgPQ{pj|8 z0Kdm6nT@Iw&Z4Ue5*p~_98FzB8U&7W87oq=9SK%hmAS2-Cv&Wyy}~y%ioaK^v!V9Y zqzbE8eNytQGM!KCO`6kVzy!!4DZ1F%R2uj;Ek!pONE0B=svBOI5h(`sS5XDSW8yb8 zCBt#Db_%?)=4$%u?Y2+HB3v?PS-~M@Y$LQ>7?t`$$Zf3_XFLw_x4wJx6J}WKq@gh_ zdwz>Wg?#pe?CSEg%{O zwlaEioAP?$%N$u-J$WTS4BaEt*C#jRZ4q}O#)`F&SrebuQDghS-&)|azL4ksMUfOg zXWX+EUav$XbHLsD$~eOZ9w;6h$~F-@I~`$H#GK8(9~$ituC~~f?YVU|{iZAw{IAuo z^UkS=w|!UbTep8bboAr}<;r$?kKob8548G>+@jvKa4xDL-+d7468UMlNgj0`14D@I z?$lITexE3(f{M?lQc_j;?oG2h01WXkqF-POtj%3#%iTFkbvUIP4 zN^AJt)FvM&I?HQhI}eM0&4XIVX650Hj{EL>Jo{WhJE=c?a1WPBQ;RzJb^}@|yP##y z5Ly_KW7hl_V%ipLcPEN?1VSt3M7Cwvt3K?hO z1vcYXJ%&Hr{x7%S&4eIV%ZxAlE1eF%(65G9S{URifzyl}W5vdN0|C-+B-W{@xY*)y zp4o|7b-uCSJ^6~2FOU*qWR8CtyIv=q)0=95-`0$a7NBGaZq^tcCQq0VquzIbgX`T( zIjEE-{&ZDi7&rp%p_;5)e%9)b8GkjW=c#b9o-yh_Z@^jc^C2_9sX+;=GY7UD5U(e<5y)^T_{@S0X{nK- z5o!8^42@fqqw_iaA_NegKrdrQA?r*sW(`5W&RSypd}mjri|AOy;>GxpDY3t}^}-*R zOFT6tlcur?d+ppnvMOj`)W~{WHPTvZe$gU+4-hsvPLumVCn;ufEmH3De}G^ALtrgg zCf@Mi+@;F=?&1#*dVJtmQV1#>4N4@*T2XN5l9;m)x96F2YmnmS{uE#O`gHo4a{v9; zi+c~DggSKWQ1jp$&{T~6Cu`>Z=Zc<6RwBVD{8lM^e0S;qu*{gl7>GE>!w^!^1KNxU zH~9CQ?0Hx51E8U#IpQ!-UH4q2AeJMgA*jk!qo3?z-TGaN6JooNTB6@h7@#Q?_Z;ISzFP`mR+bdQbR{M2 zLMxQ)pul#uc1d05bhe~1lQsbPvl~N|bh?*&*W)}t8$xoWh@~)2NDKqgNAV+6$x(-l zlzn)NK;xY~U$YQFnTw|VpdUwt0JYzI=MOC6t2bkZo=HzpYG{?N5pr!cY3L9uPHGuP zEYq}uJf^E;D2+DYj0eV7mtpZ+Ax#IJ&95nRWXEoD66$ec#enX1)tf0)@Z8V+|*e#=cm)HVAgXlekhZ; zGsbUi`7b9%DDYd|#?UK}+}2tja!cJBU5>=bo025|YyU>T@3$uvtu2}*O(cK*y>?kj z%O=;zE>I%BYjt9ybLN}%e4gwpF#^M}ZBr`9D05#OM3Kz>{H>gVXak~o9V7OnlUxqH zj-+$(zdkq?$TD8s;84u9w&{H%NHDq_RhiCa(mra(m)|mTv0hNT96?|zdQkFsaA#J2 z#6jRUZX?L>061A^N@Vx`Ss*NSH;xa$WOr=G24PbtRztjCnlhPzKh;>K068*u29is& zklRXJSmW$%YqAGHNYSoeat2^tWAC7N&QO9;Yn;<>K8Hj;f-%LUNZv$=L)c~Fw(>2O3_^`_A}YP&#i?uRhDu$m_IAAMeM#gecV!8 z%q8m`nkJ$O(l6Rw5`s5QWUYMDgC|P;Q7%3ekh;$JpP%;+A8T#9>{hVs5n@4<#`4jG zuDSwD4n8x)Y3(w^rUg*Q-Bw1=Ay#?lw;Xc`h`k?;P?X?#4;mrLm&UVeGw&ZufS|#t zIqgWAEHRL?M?{qp7W9GPs~nO|9v-JiICe`zWiBM20uW}<*!na9xUHEVNmH9-&+O;H z>EI7|nvv9vq-hFCTgyYD#p35{{jR)43lMh=wEOzPgB5S>OSHgOsuqqR?7Vx#mwZH^ z-A+FUn|hl3xzJ^$0Z&o8y0+>UYjqNl6%a)`p#^IffTn+4e;5i-6hHSn(jI7{BJX!Gwl;+9@V#z`F-wf-fwV6HAXCr_-&nwjD z1u_s(f3z`BECq(@o?LCgFfNXO@PR1A&d&zg__!ybnXXtB!G@202|R7pR>8F~r-DfT zF8eQz*G#^ud;)aF42gutCR$So=><{4wr@1V^movtu%1~JJ?^>qA}L_9>~5%O4fm-9 zNBgAtWJd5qBZg0L`mMuu@XMwQyFKE9A3GmHj@wt~Gt+3gi{)pYLq#9a0hRUegzRuB zql(u%JnXHiX^DLQA6;)96=naejo;)@f^>&;ONYb|(j5X4(p}OaFoblsC=H58w+Kj= z($XN^-3&Fn_w#&zXRY(T=luSJHEZUM&%XAxuU(^pBQ56FE-!65Px#PsxC~0di4-egf!Vby$MOw?)37T)wkv{bMM(Bh2racPRRocnc zY=k}L>rJxyLh7hMF;V@CCk}K=m5FNPjYCMIeN4BzcgT(%{WQ&AOa_76qKqDjg5gz>{(*nIg*jN^v7<#1BvzIF=xDM=CjDKXxzul)mfOmQ}rSa!{1`6bqik+9m!`z%H%!;Vn z5N|OpRMjl30ikRH=?>KCtI6S-T9JA3h_`R;$rmH!=^|bMW6wec1I&XgM~QGZYF3dX zZO91!w4rff(r8MfhHp?WP0}w|BK^wsAzX@(wLrt+;csa`oqeeq3PJVCM`gf~rt<&u zbaODs9~X^Ti_baU$C;A{_9DX`lMo`FVe(aKw85IeDET*g5(d{)V~R;2bwU#Ijdn(CGMHU4|WhB%xujNR#em@xob5oZ!Z*nQb>mO8>b@;4o zSZXAI%L)~f7?1>Yn28hq#mQ56*~MHGdWUTZe26FYQiBKq1_@RE@n5Oz_sFg z>N23}JXNdV`n7ydECE}mC`tu&NkzVneX+bZWQC0yO0`~L=3u_;L@~V9_g$^>o5YK? zJXr@h!uW?LhO;{?C@AfQs+jx{4Actb#i$<0ytiX08sZn^eRjZZNc|W}(C(<}RWFK6 z#3iE+vW5sdj@R%r)Zx~+#-#^4q?mlF)Ls~HQd}6%QMEnhrjS3 zB1ECGR77kid#pm!xW?yA(^24J(RISgHwEbR1#+GiZg<2u4+b92Ud{fMK1|9mdI}^0>8p;m!V{YnasND zXMwN}7U+6p;$WMAFw2u{*ABX?{IWQ%xYH3>rEbXT zG=t3y0F zJ&?@LxmS)Z%2YS@N``8p=Ee@ciUY>=?hSgSV@c`{aMi z+KBXgp7^zGsbp8HOa`cTVD^a|8Z^Ed`fJvAJDdEJ&bQ_)tiIaV=bBi>(qG<1#kp6n zUz&$2&L@CGQanXHydA@H^2Ay2(_D_cxt0QlFB*O6wEjbnyo7ul}>Lv4b5$-*Hnb&)b==&!V@$p8n+et=O1I3twZKjmyQA*XH_7j=8ONSS zQgy0^)keMT+s|Ah7J;nMd8BrBHj40K| z%JP#5DRxt>Vtyl1a?n()4=km=iSIW)Sg77k=it6Xs|7Cd>mgsa6O}RFB~mK$aw;@D z!xMYegf!-PSpaYkq01g8DwBQKMOVmLCM$hjpsywRWAxv)gqV3Ta*0vtW@NEwJ|7zy z7|u-WJIV@(UqL=jq$9HbTIwWsA4I1`be#y#osB%`7UgnOOUl6Jw8gvg&&+3(#Tw)v z8P8(yXLAcf)3m83B6R-7#8F_m)2GPD`|e9~C2b@H9rB^3ZoE~xaY&`QCUiTH21nGs zTnsSJiNM>`o~QC*>R8BC8Wm)!iDc5ylI3@j>q>e@821r*ErTjpT{OSAk4-vcRA7+C z$h>bfvq^$oOGWx=2IVVJ6mbgl6zgK{5D(^8-+?jXz%jm)3L41oP|E4h=Ey8eu4Npo zF|qjHb@xN=9w~N&WTSL4IxNk%V{(GCw*z%rBv@5_kcenMs|3qr zXl(HHtwlcH7$-=PZT%qWTW4^`KXdn{z>-)0N+QxRLLRAX@^UExALlq^VXML-K{@4n z#@?ARomR?dN56klA#cLAT2Vidz0>n&UNjzM#MDR~o%bHbhl`WB!+Nr=WFoJbc*&)} zu9RHJW%)d>LTQ=BFI8-xFnj-A!@D+q+m@P>bwJPf7~?e*0n!rB-_71Wy3q zuQ`Nkq98H3i);%Z(ew7xtp#I#V#Jja*FZQxL0(F=JZ<$oE7C zil2QL?DNY<$spqz$cIpEssSpr&oWsg3xm1rk4o@q`a$%)FE%reK+0ED+%QNBB@Yq6 zNYC*>6MbbqIi}6_mmN@)!4>KE2do>1kV);1rLtTI>(gSNXYB4uMfM?#!o?EA!c^^Y z>A#UHv3SD_i+d&1C5i7OKQj{GWxB~Gs!uNUGp2u-on2TAXnR$QH#UheK1sinX-_ub z_4?0E-qw_2hSmIvBEQub_u>R3|B9X2U>8%gYaM%7Qtw%O9Jf0XQ8_6N>VT6aW%HgLs)V8+b*K0` z_QxkWV*y1QT_N$UI!d)hbWQ-DWb3#EB`K1UHXm;i8j3zS@59_Ls#_hl133)b9vYD{ ze!0)cf>_~E3?F}OR$wM8K)8m*5@sj{l=|?f?S&+D6>3r)sA$|-RgD|bMHp8o3i#+S zy->YNEELd|`YVr>gTEi{5nZ57CWvWSq%wu;rVWl#dyI`adJ^(8tTXtEqEr!)|CZ_fh#jdo)!6(@N?@X;mdQa(FN^#GhZ#Vu z@RfLXCzE~05zYCv+*{J0l+$5qm*g1q@_OWy8tNCucAeAATw>?_(lS%2T65$dZcuEu zEaUVB4OUVon?5rHR^!vf7qWNcX?CR*mt#^}{pKpJ{k%s)zsuwlXNI4*2c_8Bvv+IK zk#cc0?8Py+MrXoBLCIY_?-W?5Huzk@_*9Kb>jz{&4RR%}Z_RFT-q< zGw(|xjzUwL~W&q(rZU)qwb! z(7FIo#(M&EMzdUX4>f{5daBL3>Cy^R6HPuOkx{Cva+MlRb4~LEx3NE#%H6`@qI()B zAN7cPl4}woX+LY}KTA4fJk^bxBV(*&&+T|Yw{U$;t^JL(PJz*p1sH zu~}rjVyV=)5gZSX-}D*FEKT;}P~u*62OC{Xxb~bf!a9GK(FB`emBr)#ZBMlp*gnon z_q!|>F8IBuXy7%1&c2r5H?mG`xfnu~qQ5n2nfk!1?~z{k2t*c!zTUi(HYp_K$mlb8 zPE2TBRFdvOdx(}d;&(_zF!IemQL^br1LSduSN|4jkKrA>r~oiNJ`?gBf-q^3L09YM8LJy zX0Th>4l5FcL}|A7t{M_i>E=qt-6SxzdtL+9oT}jKh>EPR7y=VYnq9anynVno8LRiJ zGmeeCDSC>{La9|9)vyIb#i#d;G0e@l+iB1@}%R z?NHO`?d1By>Ojfc#&E|p?0|dsS=S+(h+(!0H3ZjK7QfZMW4r4G6L|si$uz-TZ9>aQ9Dq8oDmZwADw}uRxzZvakZGOw5 zK{{a1<7$ZjB%1YK&_y_hFq<6Hshbk!D0)ckMaMcn1P zwQ4ePiDS<^dc`OTe))KkQIo`Caw$tPeaGIMFW4ky*>gx?F0SWMy6IoN(JQrcQ#Op) zq?c!L@zdH@9>(@Cda1}TxpJq6BgQ9>_shU-VNuV+x*{P_wIN~ufF5&QScjz1U~n$( zG=gP@<)mDNR$_Qkk3?&+j8V^Jcbh)gCoHe$bh?yasN&Uznxx{q27kckFr;f~(N2+T zq9YTDq2F;gt=GWiRRMLZg&-pj6~5Gg+V@I7nx#o#L+n$+TM=;Rr9O=TrTiYM5S!Ft zveXmXrAX10t9&cX(o)-~fH5aWnbKK8zSY%dH@(A!hFuM-|d5 zU1W%VFz+Mecm1sp`t6)P7qW4WBXp!z06)j{M)r!IzZGgy$-cAWx5^)gpD#zV_m+Z?Q=bKKyYn##N z%Afyv0PFC$(U+$n&E($^GajAX;2$0JNHuZw&~BmSBwqiFM(-$-A5CUXZ?YT@xL=>$ z%xEyswz}K*Y?spiAZRJ3y1M7kb(b*M0b5+cqi%j$CQR{J7rWZmbYk6nYVELkjc;I9 z4G|0aK%6>TZ=ZFTRs3D?gM228TXz$j%NZ0HScadnDD6RETwaH15wW5|w}dN8gK^*I zkP4~(SYTRXDp5zSy(`{P5w;op7qY2_Dqt(JkuKx$E1_gQ>+h4OYRp~LLb-uHe+n7u z?{0&rx0)zcjB&Q9Qs{4mKweM1gZz>X7XZ^*fTLRqE@UE@en4AP0LVYxm%@W=qKF6p zaqcbB`Iv=iV9oml%_NX=KbWyUrim65M)htCMP4|*2$X9I!ZuSRbrO{U_oAebXz~pz zO%(T&`*wbhm<80C`j~D?~rA!#{j;TO+)}X9ibG~ z;)*SDs1=(wa{5+!*De0?_M!OY>_3`5LrwCW3jIT^23Kb%%g3_=S9fB&VjBW0kK8A8 z%&(C-4&TgbEqxB5q)sS8N&ZMM2D$k_Cjxj2M7nj(ML$D-;Z>A>OHdpiM?5c89Pf{l zr3h>@o;j+J^MRS0#fz^`B7}@^6eY8D4DsB4wR5kZ)B0;O=2A6ckZqHXDo1GRa~{(< zdqc=})hON!#4lQ%_wrHFaVz$deNlY>B)s3y?gd7VA~DYkkISM`MlDeZV4zSD68&BL z2_h}hZSRZ?=PA{@iDWl;bQn3H>AjuzSy#&)Bibl=N1Y$8#UK#<^ac_nEnX?vwxd{h zxW#1|Gi6{S$aMO!J_=T0wXCF>TPnYEu&Tl1=~(|MVaG<_lJkcuImstBx;(8=PmadFx2hf#Bg?0LntoINvtI7mV9*`dVw_m*HRZ&bXoPyj+`O zLwR&lbiGH2w58weNR9V!t!IV277{S}kW`Mba=t8DVZqwMj~T{;qqGp`aoCG<6gCz~ zwJi|K!oZ$yYqzi7MbVAsmdjd=p$HN8P=xpeza=7&1DLm-#Ch#YVH~$$$Hf3tn^L`i za1kymFgipDInPHLSx=V2C?coZ3Z|(_P679&<)aIs&|Cm63+E_t_)?@6=|k^ykM%CW zu}6AI%oDQsV-$cM<Q{cXd9b6xYWENRX^Y5=RqCrz;~IJe1~yrQop~IMfep4Ue*R0$xtEZB6nq~@l1QSbzqxHcNNNZoZi+BC#A|27oz;hQ~fl0Rxz z&H_tpjw&7DPSG?fLM}`)3U}Sf2-_lbCl?=P}=Zz#Uw){XNgc3SGXn*=ky zWu>r4?|!Gvg`JHc!qO*XX+vFn#S|sbr`Qiykk)>G^{o97NKAwygN(i2=xM@_4dHo4 zn^&kUxRMQ9ln(ME`PG#E+ELBX;^VntZlY^ntnv9tlUO_Yss1E%%Y|zr;h@+QxS*OP zv*EnupQxOXigvLzaAwM+Y-DyjR>p5l5o{}*yCCgupVQGg%?lCGAbte8h8^(^9a)bM zLjuxtvHoFAKDok{GstaBGS~$J+YG*l-j5+R{hmia_*Pr`O8+M$=v6A_9f2W(fk zem>w%m8kaGjDnSAr2SkDD52UTaP=xJ6K3;*E>5jRX`y9Q%p>8uzzd=~h?q#?+~~^Z z<-T}Yy(#+B#CwL{CC0@xnty`+Y`K`sjeh)aYc|=BhuSbnHMiG(((CgGT*rj&@L$Lysw_?(?`HHutZf&%J?DiU_n@g@tx3dz#~vL;;~#pJQ`I* zR#sTVJZHKB12-VWEI<9!rT1g`ioM^Q>7YsG&mrZj*F;ZRGE3b?s6|6aW z1WtPOmoM~;{_AI(YD#7kY*-&+j{7xYH6DRbB=BO0-eCoX<>Z>2-mUZ%oH*H$68hF5 z2q>N3*qeF3fX&6>gkU`azZL$rc=%ho2Arll;BPw9uWL1xMxOX|_?Qy?WE2itnQ5=~ zHc;}rDzLu_^{%b_+cHym)O@HD`I%h)z~hr4!y@Sw&t!UcVr=4fcf5NBa6oDbN6~C| zO`dqD>uk4nR;<#gw>;xUYCax9@!O{CRmzb-Q18d!-BWM~%Sj&XeX;^OZ9|?1M{iy& z+ELi5v#AM~(kh&R&Q0r>+(2ig14g;95C3jw+memovTjNrmMm7SEYIN{_eo-niE9b> zOgFx0%yJIkdIYMkZzP?R?}Yu2`R5_eTHE$_q)HNLcu;x-doBdeU;6r4(IR?ky>C3tr{jE{uICb$n&!ka=^8W~mWQTU6R z$yX!r)}T7NAuj%j9niT6SnN+oUN81~;=xNb86zzRfhzHU0`7B-gTLoAUtEnA(bXI%y6wb=e`84h?@v_z?3K^1)CSi19r^uXHf zn_UJ)$vqb#-uz)v-fu+b-#Y(@g}i#4bqV{kmv80+f486X=#!7$b6J817!R>il=2LG z-6x5`Fl=jh-6@{-iSH@t6cjW*)53y=g@+et>58cymo-jh1xNF zZ*C(&_#{)XiOw~9WX!iIaA}co>^W<<)Ye>xJVYNu?x(;egHG`GHe!A%ez*f~FA_8{ z#bq?Q@g(^6UC^#_R0B}prwml@eq1R~4bN9F-*+cWri*-%BBLx>*GHU$_ThRC(cE!<7Ey)GWVQK!y zJy3m>sK3i5&OCSoJcRolLBQagx=5QW_=)I;j1Fp!ADn-u6Y}`J4G94OrYX;( zrTHP|Ikyg2Lrd~{l4@lK1q3R#;$*&3HkVP%hk~E@#`lz`+&P6m+a8)+OJ7rdI11{& z3aqSrmFjXm0_bFewyQ3h#a%$|DF&T8zH*+FWc9@tw-R?+qSbFrq4br{yo%qaL4R0s zfRU`m!SGDw^TTp3ByeG~g=fBT+V`(*WPF}_BF#Jk$ZW+)*&Elk14}&PhxJg>eF~<8 zl7|xKk~hB{saIlu6GqKep0s=d))`WJalne3$#@qWj}Yl^)Y+cJI7s=!0Hs133e7tT zG=g&A=3peI#H!hMJdm2251@rhOv4KqaJ~1>!mTjxXZH7 zr(Z;&UU|jKb&>Z;8sKxAC0GDqBjyrUXN(odM-G;hdMJZ!oFJaUW=3)zff5ucTGKH| z9s)dl%*M6AezFNCl1*F1KWa`O(Rl!}*fonvf9i z+$;XIJ{b+Y*clKOrij~O91#YhN-n+bcTjd=kxS$?C$6CaFl_sQGUqRbOyB7&-yxlg zUfcYp1rvO( zhdXe|EQyKb)v2Lf*rk*?<4|G@2_^Z0TklZX=mYceUju2O~@0! z_0OG&A-5l_DZ7w%h|_|Ig@JgPVINZc+u2}2jJu~ z=1b68%{i(bFmxENZvj@6%~3e(F%%~NeBb8ac`0NpzG9~(kYqAH3;Vb!p^|z3{1IS? z1P{gm8%P+6Na{#_D#DmY~2uR!I@3kwrP z-cTBM8?(U9q!?fpKD_q%M5C*nz_<9j5+^64FQz#82dAhY?q5&};QrI%feL?(ji`kN z<7DjwsVJRI2(ag&l<^^pJf9oYp8{1RMcp1aljUY5q;Dh3BOe7Tb1=$`o_hPpOM5ZD zbvKH;n@RIDejm|csuk9Y%3Etiry72lZ$BH4!f#c*kY}h(Iio$XvhIM8`1T}K)%&pQ zJCF7YGk1q3q9jFGmZ8roI8@i)VynxwGv%wzl)HTJbE!g%IA7jnePs?@xI;d@lQ2xY zjs6SUk!eFgS>8c8hh4SRMVwz1oPJ1Gn&)&Ifo}f7>S|Mx<{-s5r}F8d6sZUj@J0EZ zXfMg~r`99y#xJ2TTuEJhRUrAc$mAsr>`npXuc)W}40i}`pG37#StT;drR5Fct$qaV_Y+3A^d{zt-xK`GfBMz~EaWU;F7%vJ;>a28h!^^; z`cTvgd6Mr0E?CCn$rw@8F*$WD%~52X@89*(N?wOH&fI?@jcq^t{RpU-<>QS|E*KeH zMNMve9WiRN__FZgFDql<{vAnx+)0lqP+!4fe9E0z^2XjrnBev;ixf2s5{6 z08;YXh$=EYXg-&J{Bk*d38uaM@My%p}|NAhd===CMi_t`Vm29Z9YIPQtr?e8{Id|j=^PRWLMyk%vr)!e@VW7 zY#?M$m@`#w`69hDgZ_QWySVciVz*Mpcynbw|2%zIry#L5EXpCzlUkVeM$iP`M?p~W z>tJzUvaa+gnPh zV4rwzF%Nxx4+0XsWEhAa3$O>GhMGR7F-T|o2^c=zh*S~5W(mN%Qa;>4Ic5iLpa?AR zNYdNB2luHxN5m54_R6j)Sl%JS2HOllkEp!=2*?l(N+5!vBJIwzDX!oUX#EkiiV{SW za`fQmf;J4c7XChhC9-99(F3LO?1dNW^7uZAnIZjxXmtu*%V#2XD2T$0=mI`ZKic)$5ElbhUQkPYtGFNP)t<#imcoPLW^ z<(te|Q_5-9ly%CFfKp?mat4QQ_0Z=Z8!4it+CI(YrE=26L0JKiQ~i79c1Y{JbcM{cJG@u2C1Gk?6$Ua zwRUMSZ;G~v^JkAky1@c&Uvz=i71Xl{z&Kg~DR}obwbr{(k^z*c|Ctx4Qn4IBkSmXCs zj#;!*A41?WX!HWBJ-ut9tm6hJc zoAfbBxT^fQte`(uoN~5oscwxf_#P^KHW0_7dxtMY{swZQ@ctg((amvH0_%@r=w?qU z$UVf6g4H!X1D*m%Cy|FBIqV;%yY)3>cmz^~1tS<%*(q}`?=bBny01JZT(XoKi~PJi zJ(jP(@W5DmU6hVUoA6)Hjrxc#5aHJ+1QN?@oaN&^eTZoA^GXbEJXgQ_oT%G|cTO1L zr&?0gnssl7GSh1R`N_M^`RRyXWDYL^uHI95Y{?HUCtM)ixUEzS+oUSR8I@7dYQBYP zL)q8e9!|&A{u&%eqBg_kp&h*mur(V{r3wDH8+=NQH!)xL;WTf-5up~_yL`0?X7j2w zA=@~I-$UKT^mzSqQvHd0q@o$wu}ZWx{3o{gr$QAv4bHdT>bqL7y&2*RD!E62hghDn ztVX1+arliNi>HTaMbUnwOa~N;y$5e1zf}ubQ6B=nP5sch(N0r>kIrxApw;54%RG}6 zmXtQGx6ZVng0e*BlAXjWMN0(V?~tT}TUHLQJ_0oM2t(sYM+uo{KbLlJ-K%D|$#p{c z2gpIe!BN-HTE%xl^srJ}j5qw5qsdb7jljVK*qSbqh>x7g;3<9kA**u9Z2Iw`8mFa(7!UKhpW?My@fuleUaQhWh^W2s{PBECAd!JXH-2qL8E zF~}gO&}c(%2m_vh6Vel_E6Qi9aM5yh}AiDHTZ=ZfqI=(oo;T& zUTQqu&(QbL>ZR;;u)q(FdTQxTIOacY{$;u!ba@S?oq>2O8wgSg=BjTF3r zw&@#(3k?dU0^5?Ib=j}tcP29hKZ%=JrW(v1KKC_#1bVH(Cm*N{-h(`sy@p2~;YnV_ zWlhhkX@NUuBgNK-%hv;d@ZX_3>PFQ(O_?N?&x1PkX;ii+f{w=7=vv<%pZX_ zATQma|A8moB1Owxa`1Y^)1-8rmYDSd4}1e%D`cQI=J$Hp}s03n1NW-dXsj2fVtI zb9mwZ`;!F8xWLze-PX_v+OK}(9*B<8v=nak?a|uO_<12RYv*!23)ZJI{jO51NH2I% zZGvgPdjhzuNUdkS#eLC4I4FvizWp@yShCNdV0_vEPR5WXcC^4f@{Z>=VmCNufW(|0 zjC@Lpuu!f<6GIzdwq?x3dMmZ^3g~54WkB`^Q;9@RN>dcyx*f{J$UNdqU7X zaMK*%o$pS=;KXk(wQ#L5@m}c~^8a9BxjW6jm`K|IyU$^XN9Rwkc?2d{IZ{dLuMX~ev6;;=*9zs zHZ1u>NS{_|N#UlwSAQ1arlx-yJ~%Hjj@rH$z>gY0O^75yYL=o!gLTT1mGn~!hIBpx z@3o&lur-(OaV$)J%`-%dyfD3jcEC{Qh-dp1nsPG7KWjaMgp7a(@p4~A?Rh+?`Od*0 z0oGs9=TGeP6C(54H-0YV!vDil-!A(tV|e`)Z!}ym@k2K%Y{fUTtp3G&uLcB4OVMT` zSgTD?`hE(GrAs-g1#J;g!OC7!+TY?2TMMK%|B*HxhojFu6b7L4#yNmQS6WaLM}FYp zd6{S;`9ov-#%wDX=DV2Q8leF}&MBYOS5x%k^jLSY-*a>^`?-zb`B(8XI_*5C;%*Y= zVGY;F%r;AbRSD#Nrfv@vH(A3AUt(4>>iF0+cf=BJxYxDLC+!`^;uL$c5{fa{NiML? zVK-=ZXS4!6e6n&Jy~f2ZPeB{qcz6dbL%XC8za_EW^A)y$@z?#dA8IDG`d?j_c% zu>bmc^vnnNG?FqT`TEX!db)h;uAv=BmZJTH;65ovV4NN`ue3R=4>^;paMhP1-&D5` z6Fw-{W_yo_=@B#7y00B+J35A4#X4q^JGJsXm+o`>^Am6Vb(+QgK1+@(uk){0Nrdr> z9t%wZ)I>BTle8yliSS!^?ByTW)!q;DlkCg(sL`5lafzU4u~OK6rWHU9a=N+p3u`%z z_w$jb_~#@w$!6Wzq5KAa;0diDEKcM7Kd_kV2EyWKID*cXp_ih5UL#WcRk1_UiTuQG zS4a0+#i(+k8sG%Unik~8U-I!%!QUx{oiY2$BD&l`aHvr_(3NELhE}uOe;TfOcwgCm z@k})pjDwO-pZ6?B{-l`Nm=Kp=~_JYO3&40T2%rm~1Z_p)yl?xU^O6BdH zC$EQWee(?JPp%^_CH(K#{;1by968Z=%ZDefhe*+;raI{RH`c)_O(pk-Wwwl(7p6Ac zhhTh;xkcCUr4?9`bcr@!j?hWWm~J!nZ?_tZ2!>XIoM_SpEx-TmS4QojM#^{dMj8;v z(x<`Y9i~HPk$B6>6xZ?yn9M-g|3Uf+C#40`W?{akd@tX}&7`?nd{2*yPwVI>){wTN zTRtb?9rce*3uhe)m3qsE)Ne>x-EH|)irFO4c)e~xFr#Cg(KwAyB@>Lf^pLyAm}B`Q0KPR)vv4VOJB>w;l(Hef?B z``=LspE1^P^>$`%X-Y9jh(Po6arc6uFQ5*A;^4WdFNs~ldZ}MHeMwLfDVp=?8UG8{|)FuF{R|Ew9Y9)7Z{tA$Xctz(##aL zmFm+&7%X*@=IyFnH(L}}O^4Xd;#S@|Se8L*u0tM@gK$$*?JH9EyqF&Wtl6+Q_`;pw zJ>Q9bSKd>2om8Yj*sF=dpm9eI(;7@V^RPJYeB8t* z3S+PXN>@-F$@rlm0xD8ru$4SeaCLjb3Mz3-%ZT)aG02iG(i!ZYC>8N?6azM^Zu&sN zCJ__alhA(!MntK84d5r!XAtk%QrLvLw5Tv$GBK*Ru;wmeUHq)mK zs!?A7RIH_KBk!BN1)MiNj`rmew>Ksie2;wHkRtr%TbCRiBD9hcjL*YqzfP6*_&x%M zc^(oa2cv5@&YO0BiyESm|GqgQGKZJp!$G?i{9%?)hFx!YR;jc%@?nQ!!|B$!ZInEI zh-*LW7Z@5=RJnRqWdBsjz3YHzk=(Rk8y;-clrnA2CJb4 z&!g#wwVy#XtW_EuO36C=ZLmHuE73{k9d??fr1ioxv--mK7nC9C?3Cnt8vA-K)Ol?Ea5Xf{yy&mSW4la^!Z|`h5lBuoTc%nQ>PK|X-M%)QJHoo#{a~D z*ZGwi`kDxeZ2l=yVkS-E^wVd2^4(_i@Ae)m${$vg)%JyRwL99rD!jeD4{8c8&oDbX zeLuUa!~S~GMz+1Y63Tx#A8NNfO`NCg05i-bk3j85-QPW)P*q3S{~3U8O;peN045!; zB-7Dc9PJuyRHFDE0gk*Z(n`NRN8x7gnu?0HzoQY{g}J2h1?*b>p&`xCnbQ*LUarK+ zQA~&A{am66!SBXOGzFGVCPa3+6sJNS94+~?;EzCogCrB2Yi$@$F{JYOQT-fRE5~*5 zTVYh1Z8DmzU~$M5>Iq(4fLOWjC(~2mNI_~W%tN!frUb-Xeu|#93XcL(HIHZ?rVD0g zK3>HR%IfGs?G|NXqM=|u-6sv)vR^)y8M!)5X8=Ml$MpSI7vB^C{hGOD264W8{CX!I z%COP(n2ttUhc1x{Mh7qpk z5e^Dw8vfTT0?YqT7UA6Szh@C{TGlfUzAqC7F`2>#1AIL_e291-GVfSM7dHD!a}e&^ zVjdHzO6lYx2fm45ydUElzKr`kz$(DsE5x3Y_aXI;Wng(r5&WcwC0MGZj?rLff8-0W zgmR$!b6Bc$Gv<-P1Ck#BUKQ5|vIgBI(Nj~*+c~3bmj5?(Bp!Q(ddhOO++pC^%=lL* z5+<07x&7OMS@z;#9YkR7V9Bt2yy4{qqi)la*Z{AY)?zmM%6^hEjDE`O!^~4YhP)na zN8R6X6(ot{CjWN|0xu!|A)4DvE$Lq0%2YZZ%*(69SoakdmS=64QvD=eyr({W6JI#E z=6ZNJ#r4MRS|tiPburj2_N2#1}kKikhp8~0!fM5RY>SXQAr zjyh5QQ)*Fb<|5Kajk9Q;pWKlf)ESwmTt(r0st6ji)du2I`wO-u9<2?t$|+y^PzY*<6%>YbMFaOOn+BcPaHX{v@R&uWK z*=Uo&X>WMBu$5eXY*_3YhCiJsBV&3_mZ`ONGf?=0wY>2-x5Lm~Mg!eH+VbKnBYY`ZtukOrqd?=;?pY9k8O3MO&S{xcGGt5z@^zsHHg4h{Gel!M6=+@q51wHnKLMT=^Dt#7O3( z;pFo99UJJTUkJq1e0mnMM)~Du@XPAoTMWpOX6n+Cv!dmFzjEnFD$7r6vuKcIPlRz7 z{ih7Ry99E9tZEMA3{_E)m9RQ!`jqRFxV?L)JCd(M@JIv}4<E*v3)??0^NVUMs+|s$1RxK#AbtNBhP?!|3fzJqVY( zQna~>iojNL);?Ff#uI`7%Y2jt-G76+S1SL}xxAXYJfI}7jdXYucu?DKpY5P*(88I) zinjQ?cyX0gC95t6A^c?-%=Lih^&v-k#t#H3K9uo^&1_LOVhAkgs;u8iJDzVJ#yNAA z_mvMSZa`^-Zl2lrI$~ZEGWikjKKKB-KM#FC)kK>IGqP({a8{nto<{)PElFSw)BxMl z`Ddpi`w~&=22UZ8Jh)R+hoBKQh8E^-%Y*o#`@iA`Q>x8)gsAotTfx$L>Pvz0oS?C< z;8JCT!YvKn?rR-*Btz~;p%}dc>2nTZhDD0S0Th5Y7_SY0h#o3F^)l@XsmaY65z~2k zxzO}Q4UlD77PlzHJn}xP@uL-C`jG25C^Tz3oSMKVrp+3^jwZb$XULS~_a-8z*IdiD ze^>jGjqo`OQ?P3rN3s9k7lxnh18R|QlCPu z#M9OF!*rg(hjfvcA0{z5OGZ@QoOV~|N5U8dXS-K*O3iD~kY42qk%OMK597tNc{eue z2vmn@dW#L|hfJ%dRcV19sUP1g1@;d_2&LNap7C7X3`1Rc-JhM>Hzxo10j}Tn9#$<= zD>HUrBQ%*?P|qLY4>`*|*TG7O=uT1n7zj~KREdDGYY3**S&x?X)2dSJhbxKvO{dVZ zR^gJI77MrgHGts!CcMp{M*n*eXvSt)J2-6v67 zjEWHYsNdl`=zfxuLPHY*o*M~zmhR2xQ3ic)`IGbh+)N5-%^1p2EE+BTp8)a;4fHgb z@;H(f;aGFm^{BYnZZwkK#^N)4N=#V9&ZqZhJY$||h@+@kNp)cjyUPrWl79Da2h7iL zo}DS)!D82kbsre`cJ1Ntzl$~f64#`0+3GSRWSr-6gO0Ua?3WW+{B7}Wds$(+_@m-g z3_MglaudKgv1jt`Z(o$%- zQ;e0G95jnIP*oV`{i9FXNRO+)Y+7BO@(gdsT$+B-jZlK$t0>^UVRW@c;JE}dr*G*P;i>+_RW&dj}p3>%ARk}&D~>Z2yiYEx0z zmcZwFWB6%Lav=0B#NkM6bQ!GHg|t=i3aaY!lt1e>$bPJ$kLqhw?u=w-pS(pdTYxKu;<#4qG30i|1hh6l7v=*biUc+& z+DOX`e1nlpNseKb7#IVsB8Gg#bm>5VXQ>=fa)%Mu9Xn7f3O>1@Rv+_i!Ry+9BXfg; z)`1KvSZ6fAYq$ph)3A$H7UuTpB1XYIPh}m?;Y~%iVBEQ{OrBb*1_&^qcg8R)vRY`4 zh$|~Hm7HWIP+;(@ij<8mLE>3`}1sv=ul=gSaFZO<6yv`FKV6;yd>Hyy>k zVUB{Oi5)+O;fb{QzR@3-6d99oUR$O}sADx2=F~$h&LdbalVB_XB;y<&$BLUa!sEBNEX=PPhl`(^Be&A6AQ+&%`p8_D18XlWgU`QQe>zWbrXpEM_8B6c^|L9;%A*aQ zG2iJzC6AWgCN_|nU7p>yC>b7L_rdn2Bq)k=eDWKG@_L4LB(00>zAY5-9vq;g7$yO){`~?6cyFuxndH{@i_NQPD zdK1Bd1PA6c>;i@v92!idJd#d3eQ65eyXW?xE&~{2??B07 zAS(`>ezXAVJZ<@uk?lYhqh$vx@{D7x05|OcTjpb)*zZ6B+#T6djP^aK0c4e=P{4%; zjL-tgU&<{WN%kEm0V9cuNDP~PKGF4To|QbGX7FX-*-9Z%U};o=dLR^ z6Ha2jtKp4y;nqmB*$Y%QDJL8(Ttqk3pGatj+)Jb(C>GB1&EG5eh zHmGLDKQIbGBxeAF(wQW;UKH^av~x*5nIbG9%!hiNyE$RO>IXRMj(T%NffY49BT~~$ zOM7V~Eh!-ZAmof?c<93;Ao4OP6pLfR+VfpKqUrDFMi+AViNPd*xz0BdtTy%F@x?G> zt^6tCDU~FTOO=G1cKpf@&G&dGBRvLso;vYCHZUXvIRp?v4N_(0`2&4L;-cheCmr zLr$}5PC`wep#K0Ge^!utL4Jo$42^dI9#)#NW|h8Gqbgua$IWlz>jvz)w!S&+-*;r6svhnom--?zd|^tA(Fn9l+1?tK??CScyHSh%BLB znmd9rVmdou4I@?R;Ai#2pP6_Aqr^z7ZLswnWlw1Ug?F{E}WmVj**Mqu_MlNJZd_kkj z6}rz2@q2z_WKkC=)*e$qM5l$S9^u=#PYP+W0?)Z&Lt*g3Vh_3<6BwYP+QtZZOp zBr6BN$4u1wCRemXllYp(d#RpldD$3zxKIvpfsvo5dVa}=Ix^afNkX$^XRlAK z9?hFVykoftzlU~qKjc5gk7mstDjkFu@q?U6_2Q3Y#r3ETI)o%+WAoR6{xo|gA6kJQ z+hflP`1%Td&5!F)>^tqy`picQ$g`5K`491>?AZRZ0mk|r+1n@NKgO4` zV*1QP`)pax*ZhSZ&4<=vA8w2LulWi+lONV#NScMXab(wNkQrNM^Da=WW(!FCyQIQjE|Oc>y;nlPuZ||m=|I3HIid6+#G+h zzQ0<0j9*!Z%}>Nu7jQ`$!*C0(IaTZV(a6N{5oIqAc!T>YS5~x!>e^?GrH)lR6m81O zwTB~~ymQDkX*6@rN$hHm9$mwCBiq?pl=EE0B#6dA6I^-w4j3=r8R?#*Jt?vg8hGCB zJL`Ms?JZXF*=3F^kd7n>>mb|1N0;E>ho!rdV2`g8<0Z?J;2hm&)-g$MK(#aTp@BLA3k?{?Z$TW`Dn0QY+f?e rBf5^~%C&hTdsoXNe8vVWnZtJ{pVJfp&d(v1XOw^ov15;VV9)>AB=xB# literal 0 HcmV?d00001 diff --git a/slides/slides.tex b/slides/slides.tex index 3fb26e1..707070c 100644 --- a/slides/slides.tex +++ b/slides/slides.tex @@ -8,6 +8,8 @@ \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} +\usepackage{booktabs} +\usepackage{makecell} \usepackage{../shared/my_listings} %\usepackage{../shared/my_hyperref} @@ -15,6 +17,9 @@ \usepackage{../shared/common} \usepackage{../shared/todo} +\renewcommand\theadalign{c} +\renewcommand\theadfont{\scriptsize\bfseries} + \setbeamertemplate{navigation symbols}{} \newcommand{\thenalert}[1]{\only<1>{#1}\only<2>{\alert{#1}}} @@ -242,6 +247,50 @@ unwind_context_t _eh_elf( \end{itemize} \end{frame} +\begin{frame}{Compilation choices} + \textbf{In order to keep the compiler \alert{simple} and \alert{easily + testable}, the whole DWARF5 instruction set is not supported.} + + \begin{itemize} + \item Tailored for \alert{x86\_64} (while DWARF is + architecture-agnostic) + \item Only supports \alert{unwinding registers}: \reg{rip}, \reg{rsp}, + \reg{rbp}, \reg{rbx} + \begin{itemize} + \item[$\leadsto$] suitable for perf, not for gdb + \end{itemize} + \item Supports the \alert{wide majority} ($> 99.9\%$) of instructions + used (see later) + \begin{itemize} + \item Only supports few common expressions: already $~ 90\,\%$ + of expressions used + \end{itemize} + \end{itemize} +\end{frame} + + +\begin{frame}[fragile]{A word on memory maps} + \textbf{Various functions come from various ELFs}\\ + \pause{} + \hfill{}\textbf{\ldots{}and thus various \ehelfs{}} + + \begin{lstlisting}[language=, numbers=none] +55c81b11e000-55c81b126000 000k /usr/bin/cat +55c81b325000-55c81b326000 007k /usr/bin/cat +55c81b326000-55c81b327000 008k /usr/bin/cat +55c81bcf3000-55c81bd14000 000k [heap] +7f8a5b4ed000-7f8a5b50f000 000k /usr/lib/libc-2.28.so +7f8a5b50f000-7f8a5b65a000 022k /usr/lib/libc-2.28.so +7f8a5b65a000-7f8a5b6a6000 16dk /usr/lib/libc-2.28.so +7f8a5b6ec000-7f8a5b6ee000 000k /usr/lib/ld-2.28.so +7f8a5b6ee000-7f8a5b70d000 002k /usr/lib/ld-2.28.so +7f8a5b70d000-7f8a5b715000 021k /usr/lib/ld-2.28.so +7ffc8a66b000-7ffc8a68c000 000k [stack] +7ffc8a74a000-7ffc8a74d000 000k [vvar] +7ffc8a74d000-7ffc8a74f000 000k [vdso] + \end{lstlisting} +\end{frame} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \subsection{Outlining} @@ -338,7 +387,183 @@ unwind_context_t _eh_elf( \end{itemize} \end{frame} +\begin{frame}{libunwind implementation} + \begin{itemize} + \item \alert{libunwind}: \textit{de facto} standard library for + unwinding + \item Uses DWARF in background + \item \alert{Used by perf} as a backend for unwinding + + \pause{}\vspace{1em} \item{} Easiest way to use \ehelfs{} in perf: + \alert{implement an alternative libunwind} + \item{} Result: \alert{alternative implementation} of libunwind, nearly + plug-and-play! + \end{itemize} +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\section{Results} + +\begin{frame}{Time performance} + \small + \centering + \begin{tabular}{l r r r r r} + \toprule + \thead{Unwinding method} & \thead{Frames \\ unwound} + & \thead{Tot.\ time \\ ($\mu s$)} + & \thead{Avg. \\ time / frame \\ ($ns$)} + & \thead{Time \\ ratio} \\ + \midrule + \alert{\ehelfs{}} + & 23506 % Frames unwound + & 14837 % Total time + & 631 % Avg time + & 1 + \\ + \prog{libunwind}, \alert{cached} + & 27058 % Frames unwound + & 441601 % Total time + & 16320 % Avg time + & \alert{25.9} + \\ + \prog{libunwind}, \alert{uncached} + & 27058 % Frames unwound + & 671292 % Total time + & 24809 % Avg time + & \alert{39.3} + \\ + \bottomrule + \end{tabular} +\end{frame} + +\begin{frame}{Space performance} + \begin{center} + \begin{tabular}{r r r r r r} + \toprule + \thead{Object} + & \thead{Original \\ program size \\ (KiB)} + & \thead{Original \\ \lstc{.eh\_frame} \\ (KiB)} + & \thead{Generated \\ \ehelf{} \\ (KiB)} + & \thead{\% \\ original \\ size} + & \thead{Growth \\ factor} \\ + \midrule + libc + & 1\,434 & 130.1 & 313.2 & 21.88 & 2.41 \\ + libpthread + & 58.1 & 11.6 & 25.4 & 43.71 & 2.19 \\ + ld + & 129.6 & 9.6 & 28.6 & 22.09 & 2.97 \\ + hackbench + & 2.9 & 0.555 & 2.8 & 93.87 & 4.99 \\ + Total + & 1\,638 & 151.8 & 370.0 & 22.81 & \alert{2.44} \\ + \bottomrule + \end{tabular} + \end{center} +\end{frame} + +\newcommand{\ofsupp}[1]{$\left[\text{#1}\right]$} +\begin{frame}{Instructions coverage} + \scriptsize\centering + \begin{tabular}{r r r r r r} + \toprule + \thead{} + & \thead{Undef} + & \thead{Same \\ value} + & \thead{Offset} + & \thead{Val \\ offset} + & \thead{Reg} + \\ + \midrule + \makecell{Only supp. \\ columns} \vspace{.4em} + & 1698 (0.006\,\%) + & 0 + & 30\,M (99.9\,\%) + & 0 + & 14 (0\,\%) + \\ + All columns + & 1698 (0.003\,\%) + & 0 + & 55\,M (99.9\,\%) + & 0 + & 22 (0\,\%) + \\ + \bottomrule + \toprule + \thead{} + & \thead{Expr \\ \ofsupp{supported}} + & \thead{Val \\ expr} + & \thead{Archi.} + & & \thead{Total} + \\ + \midrule + \makecell{Only supp. \\ columns} \vspace{.4em} + & \makecell{4475 (0.015\,\%) \\ \ofsupp{81.4\,\%}} + & 0 + & 0 + & & 30044442 + \\ + All columns + & \makecell{12367 (0.02\,\%) \\ \ofsupp{91.7\,\%}} + & 0 + & 0 + & & 54680492 + \\ + + \bottomrule + \end{tabular} + + \vspace{2em}\pause{} + + \textbf{Among \alert{4000} randomly sampled filed, only \alert{24} + containing unsupported instructions} +\end{frame} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{A glance at future work} +\begin{frame}{What next?} + \begin{itemize} + \item \alert{Outlining} was super efficient for + compactness\ldots{} Worth trying on standard DWARF\@? + + \item Implement a release-ready, packageable, easy to use version of + perf with \ehelfs{} and submit it for inclusion + + \item{} Measure \alert{C++ exceptions overhead} precisely in common + software + \item{} Implement \alert{\ehelfs{}} support for \alert{C++ runtime} + exception handling + \item{} \ldots{}and many more possibilities to explore! + \end{itemize} +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\section*{} + +\begin{frame} + \begin{columns}[c] + \begin{column}{0.35\textwidth} + \includegraphics[width=\linewidth]{img/keep_breathing} + \end{column} + \begin{column}{0.65\textwidth} + \begin{center} + \huge + And remember\ldots{} + \smallskip + + DWARF is slow! + \end{center} + \end{column} + \end{columns} + + \begin{center} + \Huge\bfseries + Thank you! + \end{center} + + +\end{frame} + \end{document}