From a2e67b9b01bf93cd2f686215bbdfad2ace512151 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 1 Dec 2022 11:39:19 +0100
Subject: [PATCH] [Doc] add flame graph section to Eva user manual

---
 doc/eva/flamegraph.png | Bin 0 -> 38974 bytes
 doc/eva/main.tex       |  37 +++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 doc/eva/flamegraph.png

diff --git a/doc/eva/flamegraph.png b/doc/eva/flamegraph.png
new file mode 100644
index 0000000000000000000000000000000000000000..0d7c7c07a913eebf3e710de43180867da7554e0a
GIT binary patch
literal 38974
zcmeFZbx@tnvp;x{;I1LKySqCCC%6YYz`@-$!Cgae2*KUmEog9e4Nh=pPvm{?_wN3x
zwr<t#f0ruYJTpC?p7~67PxtU7Vakfq$Ovx`00028%v%W+003GQ0DwS;g9NwmocO^2
z07%}RYFf@JMs6hbj&^1sYaofUhdq!4=ngUi0NfYrK3h4Gw;%_-IALo;z9;#%bEcg{
zXnJ=iQYT;%b2=)oQZ=L!VVppMVsAfg`*N5y@bs~Rg0_W0M~=SlB3akA%IV$HVa3|b
z`h`!2U;GL8!!u|(=uA&a2s3N{N}RFc`x%j+t-D|FSkhyya>jSmtqauSx{8>qVX^O0
zgGixzrRF);42heEA!iKZ?+4EF)SvF)Oge<J9^TuouPrRO#|*LG4d0Zy+rdA4eeH%Y
zc#)~%jTd_)+&q0pdLCURZ;CM&k8sM`785Amela!hzUPZc{;nOhkJ!%E0iw>nfY5!o
zM)dc@%f7*#t&1fG+-)zl@<YEx-nkf-JC5jxz2Ps+s|_zs8iF??>0kCflngr+-k_gi
zU%=?j&(0X>{2c123|!URQV%<jp<%ejZ#A<Z{m=`~TRPqY|KK~u!pb^u{KXM{D{>!Y
z_G?ui=ykqzh5eWOPa4J9Jj_SDeW<$KEA@B#C$>o$nueB03}zc=1I#xC-03Fml;Vd$
zLak>}6X}F@n^a!rZ$bkvc+|^3u2od{1(!Gkd`@PRd=pJrK^YuKEFa4>9v0TUCr;Fy
z`N|$$7qLGO8ZsLvJ`kg|zmRnO8-fVol*y2TzX)0wBDslTk-tJzJ!gYOqiU{1FyU4#
z-dinS+WFdP2zql;Uk**<Lb-SbGD)>!j(y4`y|0O1`rcMqO&+P$7Fy2ax8<jnOsmw*
zE?U}EQNC5x0WDfumAPFXl`c26u;<*MOTY05#RvW<%#9L)&q^s6VRM;XFnjNi_sXxd
z+IeP1W6cOtmfvmxcv#+Y><d?yuskTO$m@9kD)7s`?z|s9L{&yawfsp2#Jqyylu}=l
zgU-cd9RV;j6Nu;`LqhVsF>4P_&m}egd<WA(8TOhscmW~!HQX-Ym-Ms#u|C`{!OJg!
zX;Y8z4YzA#dq~Z~5+|C=?cz4tc&WHmnmDPd%<Ng!X2@1^oZ31Z2hqMs<PNt<w6Q8u
z%nWE-#lBf}2eUy{s#bD5^SGn2-zQiO;H#(Nd56DMSs!>ER$mbmUT?34M^58w?W*@P
zZH+W3srXTBi=kcfSen%j_(?;j4sY47TbQt$?f2|!3q?aQ9H&nP%`6#lra96DU6<le
zMEUklPA%$GB(1^L!qpD#itP_G)tuH#yCc7_HG5(n1Tf*Wx`--~3SFDY@wU*&@E7OY
z@`cLhc3K^V6lr(h-SxRj8$Sgf$Ak%|Jh}9?SzkZfaB6leK1D6qQFn|w`<e5Oc`n$x
zKjrNU*7LRuztdeN402t3YlUOiFo=bGjvM{rI{joW5J(6&Cacn0`c*+&HzasU69aEk
z^OS8lv%uyp6^9~^j(4~1+p3ZiNjK&zW~rN@Cn5nGX}VRp;R1A%fhy^TC)O)c3iuKA
zT&xZp0krFGf681=_xxxbM}d}@9k}P`HJzU|=qDxExgDF-t$;OARJGSt8%N<U8(Ej5
z-|S-nRo*aiE7iW&fu%TU$7wBI-eday9%*+y&Qi;JIms&wH}j)2ntM+{6DQoI?NXS7
zF$<c9PsWW8Gv_Z*kA9o(H^X?(V?VJyq{Ras=L-%sQuZ^7PTVZ^+~Vg%1!}13A7SQ6
z`KCzQW7=TC(!;GOd@_2H7p^S=7ALCn*FVFcqaCtxzdkiK9-NR}Mb2mmcD8}x*O=8<
zzivdmY8tvkG)JcEFU+P&!o-rnO^L(~ef*4~A#S84h&45Pa-998<g%65!gxHHjn1Wr
zO+NxNUYS<XA^@+x!}o_qyKGn*IYT7oWBq_gPLEDAzVC>Gf@Cy-_x`IF-ilGE?k^Zp
z#pZKOmNEv?+6ue_)}CT^phSUKJexhfWW!fiHXwm_{byd`Cg;6!ca`*&A?luK`A{T{
z9+Sx95N9PAY;)SqG17g+Q+Cp4q0SgX=<_~w*2yjseO}3n#snohi@~gRHH%)(jL-=}
zC1vdV5^o;T;fOB-Y9?(bw{HbdzeSB-bP9Wr=iyK08Npw+IuT*JaK_P6Zz@B}HHas5
zN?{OOoHId>6^@cmWUsYR>C<k$z3C*j8Z_Xaspe~Adh=EwoZ2P>pY;QR@hJ~MbA$*~
zRZte+L}(;JVWuM$sLN7h*%ZZDLtqrQDhaL%XWUh6kle*h4PiS))KOj}a!af>vm)yQ
z2H&Wq#B~kqE$?n+iRBNcsf7&lEbO=YTG8r@G7M-ni9ZxpH9qLZBqvgVA~jS#Gtg_>
z`==ZPu3F(#7$5#1AdThsoPOmk!<qX=m@74G_XdCeoBpJ45M#i5837K{`zmG2phK?$
zuQkhEAFa8?0)AmU={Nx?bPDlw?Hi{oua(zuqOxj55#@=t*CW`p%{iiOSZYroS`|Z=
zM~wA2jqYhGD=xloKHjHEUkMQc1U9r}YXU`4?VK*eZn`-GJ-=nFwX(*_n<yq+_?kOp
z3r_&BL$E2U%vXrwifGLA^yC7Sa3bY!KeLX`p_tfK0s6W#2fI_m>7)DIv1}M-0p2?}
zZy^TZV1=Cq0-}~BJ;+_cpesspvST~kW#ucmXBxR*v2iZA7mar(_bSdTH?r~Pyg%22
zIq3XJi_7HD7SOXpAvS1sO-XSOd2-1BgUmAsWw|EtV{Yl_2yxoLx)awvrxY+26?3rN
zImN8^kdQ&4H%fdX=oW;pxx0`5{(6Mm88aY;l<BGRG(;htJ2pivw<#N1hn1Ay*a#Iv
zTWbDW5!N-8AC3@wx7b&gV5{{Hik@Ql(_eEZY)eA2heMdkBjc+pID5$3qLmLZ5`1!x
zd0^gfw_uaP61bti@}Ca_(S^bbC^d*ktLtR(WD!Nhw8<d^zAi3?u3s~~SFCE1uaT-8
z7y7!=UlJW6hF1_2kDuAVl*fd9-+T2@(NS~RsYs_tBedUxU{r3gHxwn_0bLYLORv`@
zM<06#xmG;O?7KaJC=?!L<gVfc?JLK`x4gWg8<Keg6uD?&30|UP+DoNDt*O%UZ3^j)
zV!57)9>`ybr!&u1plz*RuZS9Oc167MkTY>Z!p&KO)Tl;h?2JR$Ss{Y=)P^F#J_w?&
z;jYfjE$7%#TeOVfEsZ|6j9Bkpvq#y{`*s$XO^DYRU0~Ujk~Rg~i#oGl4DTRV5$F~^
zFrsyTDKAj2XJ02m-wSbtwA`#b#bYiSsdS8KfkWFUOLa?o(Dh-~sWv=#o(7;gl9#f#
zFAi!h^9k{Uikm#{f;?j0Z0V*`XBTy&vw^U8k6z4BvauC2<ZjmGtf&myCZav<#gKeM
zcP2sK;OU7Ct)`-|T)|Nlij4>n8iqyM!~XTd!s?s3<%XoMkl5HfO-#KZv{~q0B>@<<
zZf^kLV%d;(w=sYm{RVU3wqE*lkqCU7CkE-qsX^L~(m>_VRo&R`fewxn`luUFSN=FK
zOLMRi{V^z3RBgW=JExbu6wL*>Rz1fKQC2KTBMhnZCtFu_a0#EMr=@K6xh$&H;>RJq
zo=dnEb{T&*A4++UIYazg?UV8x)~c(SsN@Ne#dv)3AR)TNEz|UY*&ijdajd<_NyhTE
zMs%<GvloVwM)Lb3%yQUX-!Z<;f~I_!)3cml_-Gj~e>Rit$|a#fI4?)rU{FF{-<ugd
zpd2|4e?2)X75@dZ<>NkPN*DtabwaVln-wc%B@}ecX$szPZm+LnD7n@O`S;ypuT4gM
zFl;(efvI0>ia8ndLQ}~rv95@5k3LHcTQ4SmfsIeH=ryd}rF!on)waPmVOFLR8UWov
zAvQ|nlJN>;---Rv0YDk_Z5(09)Va_HiI6ZA&D4^_Rgq}bqeSEShdIs{>T_{cgT9D&
zgGZva<g47GVcAvE>FJ!^W(~M&8i@8e`N77z*XwUez2(BoxkTf*(X88ckTSoTWeZ9-
zd=}|nV0K>Lni*3i4!v3`|K3+ktr%uE7soOyCJC7gAwbaxXIlvOx(Nd@e0jF|)OarY
zc;sa|>8+Y1A+PzcBo`F_2g2pj@X;l?_zIj|A={~X&BdON+r3(n1kD0iOAbuixXoo!
zj27}6@&2!4xphX1X_0X=W{RrE^A~hd#AI@cGi3J;&V9sEyNI8UOx3R`&s@}@*@U(I
zE8-OTNZ!Lb8<@^E9;mkphQyU6no1vJKm1JYKIR~>K;Y|+)y+SlD!#d(jD_=a+kf7Q
zTx)d}MpZ>7QT94|-QGkS1YDjk#p~1dSmQ#K4i;cbn$1VQ!J628Mn*^l#=E8f48cW7
z5J+5HSw>v^pE?9weWd%u@xSd+#tMGPmsO`jaYb|arkueL%1ls)AX$iJ8KgldZ+nlH
z%0WTP6#c=ft82h`rmIg|6IN3c&D)=ckC(RjZP*@F5DqI*<8sVP=F8ry6GV=Naq0{g
zf<?1UK86Epf<C%<1su7*qP($)*(X+d8JXMJIl(KHl|J`Rers7XWxEV8&=Q+?W}mr!
z^8K97x3OQPj;{PtijjpG^VwN+Q@Wg<sKbG&k>PA4G(~X~T{^T+43VC3Bs^bAK$Jk8
zGvhoca)54+aZIPE`_0WZGt%DW4rTe&8wp56tw3mW1iE<<crN4G!>?LzCp?x1)=uv!
z9ci~00ptS$L*pbZzGuR>g1Yp=Lc5efTOtn;Ti!?zIr`ZKF6pNx14UVYF7tI+yZd2I
z!~29wOVtP>2*IV!J{MKhYyV-w?9;(mg@vRKwSnG5?!vitLy&C^B6G#u4gI`|#Qq$k
zbRJLy1du(ih72w|+@ueepN~N!r?57sj(I#%Xmj9#(H#UX47C*G`AqC=n2b#AjDbw<
zHum7c5daVncDFY&u>v}i7z52gwt{4*EgfVeAX7myO-=<C1$%Lz1?a7(BT&^-QO(5D
z%7oXHOjrm(z?}~aU;}hEB5}8|wsqoj7bN?Q%Lo4atC^XM<hO{kl^~gxf-;G?og<Kh
zgNcKQg;CNS<jO`Sgg_$TXlll%A|dq`0{kRMX5s8?&&SN{=H|xa#?EBtXwJ;a%gf8m
z!p6+T#t4>Rbn>uuHgadQbt3--@drZ!=w#vuvUdjA*^>OiG%~hxaTX*a1NW2sGd~-9
z1%-d%ZJqwI0Oo_)-N>Gqm5GJf#)kPnM>si4x`ILePU!zQ!buHWUo)!!o$Op3O@NZF
zKwD?>|Aa6#`FFg%i=*}L<(Qf<1FeBJU{NQqR@VQfQd&kq`QH)0C@=@v*#8~{Ci}lh
zI)lvqi>&`Pw_iQKm-C+!0T2Hd_rFR1v-aP@U?~L!J_$P$mtWJ9kq{*NrJv8#&IDx2
z_xq!f2`3jfJ2x+*8K;REBZm<e2cr=;I~yYh2QP;iFAobh8>i`iK*`uTIUCuU0DnP&
z!I?l{99|PsQzKIjUPfb1Q(i_6PHq!MV-{{BMov>R9#az@BNHGe%YQ&9IfB4eX=MGM
zv-$;P3Wnm~G2${~<1%ApH)Atm<Y43EWi;Yo=VdhI;ROOYxLH`(Ojv(InVRrP**V%6
zfwvQ6V`L6wwzoC^-SLZXK2c>EK{7U`KU#mcC|esjn}G)ilF5T?UEKdmR1IVURCPA`
z#U?8k7cUPF4<`=?CkqEV%O6F*M{58boxqm(3zL<FiJk5D@L$`)2VM-ASfgKd3I_Py
z4qgkNxFgWW+0IeT&dyqp>=y*duaW<DD}dd})X3RL!pIp224!Jm<6~vxV_{WeW#QxG
z;$vf{XJO@I`44$JQ;?a*|C{tL=OGdJv*m9=PGJ2WznlJelq%5S&(ohrYtV03A|d(h
z6nsV|f0p26<O=+=-(ajiT_zSrw&p-^^!RJ8|Fnbt52j#j!okaC#A(FHYRY25$iWU|
zVKg@5;9}%7GUnjrG38=0Wi|fI!oTQFc4p3QMvg#Hb1;u!uE6H`n=2BU-y22y-=*Cw
zfWLMDOc*088{>Zw#_^Xh=D!PO{uML+S+M}~|AP~O-va*;WWeM8w1I;cI2JPh8w~$)
z2A=Q#pI?9X;{Q(-BqaZ<<bTBP|I+opbp4MQ_#X-XuXX(|UH>Bn{zt<9YhC}J(S`6|
z<rL5soCUdoizVi7POIQT3*P>%wi5t=();ThB8eUaAKVD*ETbR^yNd(?&-2=|V88<a
zAOXloh^o0S9<8`}WA!Zo&dhH-hxHxz+u~s0+upuIhX&uBy{m!_^ncqx0!e0^lM4rT
zj`<G#RnkcW%@+(fQb>%qBvF^1v~Gj?<!i?$4+BB5o-%L!(K1i>gzQr?GEy>DGFF;0
zRw&izut@^Z#NbE+m6N56|M^_G_wjcdn%Mk>D7f#}!_nPeL9}b{znySiLVr601&RNl
zpmk@W{z3yw7=4EY|L!bSFL``=YI!s+*Qz4p;d!me{kLmeu+n4zr68Yzf?_!%(*Boj
zPqfM^1T?Wi_P2_P*XQR4vUtCcG7t>@nZ<9+@it6iVqv$F<;Taz=72Tti_wSE4pe~o
z_e?@TPiHNy&n+!pHzzCRqp3;B$#c*0$JACW>bt#Rn7L9>=Vxc3p`r7Q4!J5tdiB=Y
zF+_r`ZEXXQcnO)A2Hah}y}g48)DL%e9v&W1#KJ<XtW_t|hjSIeSJSFQL`0&ZqKG&Q
zaBy&1b(ZQYt<}}lUvhKX+S(p2_os$7^;_K?9&dkUW@c_|Y=8&ZRr-g8g?$%(X>Dk5
z11p-Xc>kRR$rc1hs-~y+NOI}@`f(jr__pi2;M24vPmylJ`bSvQlZ6X?o6xT8m$M#J
znRsZ!^NWkzFJGdG1XHuJ+>Yia&d;lH4cr61ls3e@TRHm_|0+rL>T0fq%kG(ho7;S~
zwW&n2f{4Y?UyUv*N-!hQIf-I$p~ieJ-}~ogP?gC5%&S*a6zLt_cOBW;*<qN}bV=Ct
zMMXul<kHbcGbNhFn>#PhEgasrxl*}RitwT(Gfeu;mt_sBBg4aO;6bxk6~)B|Q%b`6
zHD)eSQupE5^jy~S$_0?3Wg33xg9E4SEfnPBPYFsw+AXff8$BWR<h`iAXH$d1W;HTJ
zrOGt2vU1pTNt32*t0^Df;Z{hs?t(2XL(J6lYeGWn2{kEcS6?6SXuj&<`Z$+n2<Ldd
z%H&Oy*<x)G;A~Qk*>=8Ch=U_=cn7?U(G+%SK|w)A#xe!Gy!?Ew&~fAH=;&xz6aw%D
zum5ysHybgmSzzvXJddY5{kG#sO<j=u-uLccretSlr~cb;GV|$7$=qU{m7svY^78U*
zneOo3h1=<KKbOlwH83ttQ0V!V99({<$a6VtN)W|pHn2bj7_PMwdtDz58dvFP3lym}
z+pWc{w7B6$^f9;d0H+Jz@w*-sW*n@q+pl*9thRX}26Y!?5fQ(6b3Q;!?QkIu=VFG`
zQ>aE4_jdc_<YaTRd+&k~2T^0#rjwe0Bv82^Ha-1lXJ>)uaYnO%P{{jsdoaPIKN7-U
z(5szT$lLuGvk+`X*M}7yW~QcUYHDC4z_?{yL-ITQ>jX-;FW3Ar1DIhFF0he<JBk2h
z4UOH+O%-izkNrtMtJ%_`jG-Mza<Xn4LhPvg`;nBI;ZKY;su(yC>Pve~QJWAVYwbQS
zw_B(Yecc=OZ<Jiz+%##h8t+I0`Pjq1ybi8<Vv&gds!UUwVak=p`6g<{5?HgKQZzj~
zuCAu0#enmHgohwHH<w%{9-yqJx4BL-vF}WPGB7w;G>BJHQgY=f2mn{gaL^yhH51%N
z!J&b#E=N2hIM8{iX3q=oZDd5i@A>g^zhaS!QLmAPimHER2KaRE;`i)vzL(_(>3_Xe
zH#uvn&7iSTR3D9?Fjb$+3}Dc2u02uDpDHl1(F|0hqwHa^wY7Dtbw@$LNX<`@1+oX3
zFNKGL4Gbr3bob&82n1Tz=@d+9mucwoC``SHlA=mzYH5+9h%YXt(`~G&sR;=QX=&jP
z>6x)~soO_`-Z(fo*xr_yas~qPB*+|`oWShXX~w>dcXn|}lFfS)m2Wj``V_YY4tOW+
z&ABCMEG`GrH*4>;!T$Ypv*zXL33glre_CedwHCKi{!<2n>TN>Z+7BPRANJ=*3(ZvM
z<I5iGRu)qFn|Sz!0ES!r$aQUX%{4sy!w@1RWwt_f!5%A8KZk~g7p&{$scf(cer}Qn
zDpT+LpsCSfFsoUxtW(pp>NT#?V&F=NG^=SUEiJ7#F|iuG^la-gtkfyv7=?p=T+COZ
zsMcpNmZu_59^Uxb2p~Z_v(kO13oVpYpz=<?+NjqG9LJ{@6jIJ1lZT&9T28M|UqA=b
z7E6-YZ3f?2A}cEFY&dF~pn`qetgFYy#=s^o>~a2`svx}2SXj6NCdTvdZ1d^oz#uv~
z(bmOXBPo~;D*_a03JjS%l@xh1me<w+kPvHAQ$5!|&+K6Vxf6vmmVL%m5fKscRDGU3
zzmAL*B~!MAKzJp))khB?aEHF4)f(~g>IxYd`R@6lO;S?Qv+en8qsM7?#KzBnF!ShO
zCM#XY=l-|>cW-w$b#ym9J>6!hU8|vdS7r(kXGGZbXs#y&_0YMww)PS<WiVsGfo$6c
zvigYx({tMK@=m`@odyf+07^<q@0%PcZ6)Dy9+C%5RZ3=XB7%%wr{+gVfysIWU`n=P
zOR;VvDVZtOD1q=ddW{p&x8sNx%$hc;KxL6OVampeWWw>r>fzn*lhT=6LP`pJRXO(r
zKGmibGq`M0`;0x#2U)@HUXS*H#P`;yLZp+J!@~aM8ESKLtjyp^<{@HYV-N+O>+)vJ
zkDif{kk>IWCT6YCL1|!M0F{8}Y}Zl2=dg@Bnc0t-h2^$x&P*v&K$|S?Ek*n_Rt&|U
zcnHeX@lu7`X}gTfV1Z%=5+Y(BG7_otOSPbHc6GH%4h<tSGqucQR~H08i{VplZmwd1
zDh(E0QaFV+*b?C0#;eiD+MxP_Fe3Wm2Tj3FkwY_MS!aFy@qC0`ERSyB7#^G)m}jdL
zefTKucMn?Iiiv4$!_p|#YO-5<9vN{il?R{E$m^WHGJu<rz6jjCv5c(5MC&Ro1VqF&
z_pP$CGw{X{_oad}iRq0qpI<q{2_7}Ihnd;zl#<f)zVq1FIoNXe9k<s%vY$Yb29B=;
z=C1tBG4zSsf9Db4q+<GN<M-hImW_-*p`Ma~cMn$CX)7JR^bL3t`i*-ZZ+>Mf)obLx
za*-1+o<-z8Nz8xcDa|i+EQ?V+6o{j`Z}X9?5dQQ}^G*boWVUpQNi2p<b#oFQUH?sb
z_;}-KF;g3A(F*z~Dv8klq&OKJ7gOc`<~uGBw`x{k^<a(4bA}aGALstblk|!IO_~19
zr*a;MSO3Yf4&Iyz{mq}oKO+B|RQ;QA{aWKc8ITL|apU(82#8tYKXWKd$c4v!K-c+k
z_rqOIS02pX?-`ufG)RBXuoFhfQNcD+_}kcAk8^Ti1f+0q^^>BJtIGdNaRw&2TaCQm
zM})9y%z~f^+xg?aIiHJTV0B{61N(!+H=G0uCHUfz#C1cJpuuo@s6U9#()_~L<dvru
z*KAC~EVKxkP=6-%W3~JD2K;(zhUxeHUQh=On_z&LNK99}8Mn=ER9-M#>zAb7ayBoF
zbQuv34_J@$V@sHU!3cd;>|S~D5r8IG(wo5~U!Wl6`CJP=v)rPG<fqa+Jr%CwHhvk>
zuT`!Pnx+}MC7&lq1+`)BHZwGB<Jp1wKc5u{=4AmBm-72jP&E`n83=IEDYyK5b6bBN
zIWiq?ezWDjzi&-Yi&T&Kv;JnQMc1tFBO<&2flab_C+&n*AmA)C!reqF#pa-ax0v{x
zp1oLsuEym{a_!HfidVc)ofh0--4=PTgC)@#A^(!-R<Jj<`{1nw-L-s=f&>MyZ<VN_
z&9#=Zt9V<qt_HgLiJ?%V9S;p)K?1n`V;6+|26Mqjh4Ry8Lm$8I@6m85U#<alN?raM
z(cXlSV3v7n9ty#y)0aGXp5%{85#oQA?m`zRn`CERZMdtdCH<!<XYBjg%*#Sb`2WpR
z(BZ0{|JmrasjY2eVKGEO;^EdCo&PkJ0k$pV2M4$$I@Et%p{~w83)RDh{8%_Z#)DWs
zk5iwr;T>9aZ+vyCMtbML-<hm9L9b<CRz=2M)vsMtrAbU=A?fQa9YX-}FDam)UA_KM
z4Q-;PrJ~^k`(jM3NWZ$5+rG%ss~njW@u&YlEra+0oo`(sf3E_6fRP^AyNHD@|3{NL
zuu3zk-u`qCA##^XfUU*$ad)yc>g!+7AJ?mUPFA0WEG-Y3!x=BOW3D%?kS~dGku_^Z
zVlKBE3gq3$6#kN_IWT{ER~sQFsa?jx5kIhp;mvfI7iX;NKGKg69_){c2(jLgLB!5Y
zr+UEv4e!(J(7+hm!dngK+*<f>lbhEPZ6)r*D@ODV-|yvNOd-GNsgSCz^ZZVriE-`S
zDGf&Z*?LvjjjJZ1U;(VZwC8yPlYQz_O114QFXgQInmQ0ix5cAsu48waJ=AL0bJ5~w
z#om=SQ`I_NNTaFAk$P@T;#Eh(_R3RJ<KUl&Gu>C)u!p%j?D3WQWg{ru=w0i{^KwY;
ztx-DxVE(GU=Emt&idWm69wZ>T!T}19o1)#K^t4lTkfaK%U%1oT%u-q*l%N1i_nW`Y
zALMvXKuRP~@wGbDF|qPGbF!U9k77HHni-F2jU{7c)3%<)%2zFIM1G}Ij=l)>M$IOL
z8THbT`fKXyVh&&3#L6d^M&i8{T*2tfDZj>ogDGCcGy}Iq$G0_G7FYE_j>`;xHl#aK
zNf27pyQY_ycFCJ`)R}SMai96%4wG<K(cS{>c%Y-UqxXP4f<ay9zDTrt@k}!-wpK_X
z<uk!Utl^7r^Ji+xhnHExhhA&|q`>?u;Pm~|fiG!m(ga&v_G*UQUO8SuHDk|OY12}e
zB%}g6g$zLCl7<z4bTa1TNHTzm1KGJw)M^t_;*cit+a(I+uD$uzWdQF2mJ3Cg0O<r4
zw?7_=VFa@hl9ApM6dCYOv36%U-G~4D{({tyVK$Nw4?3h1NS}Wa_sDeQ0ytl6rr#|;
zol0!=IZwfQ6+f?T+v3Zbi?g$sWgFfY@9jDo#dWgOt-*WKLH-GQH;gS6bT;OT=JAns
z-Z{;wz*&4yQ22ev#eF*|=gr{TzU?G=On`-RZ5n2Y8+UnEZ@Pl*HLXqE&*QIn2R%Ps
zjoKPo9CuYYxnBr)av!c*eUC)C;%QY_vy=-9n`Mv@_A=zSh{C4u<u9YehWYu`8+rfO
z$|b<^)S|(VnG0$p5*ZuYQud_t&5Tmz5oM9h<QEwf)j177=lir}Kf#Ka^mj*l{ndho
z*)nxMQGM4J^-=*WMxo<|lUMuwHBWe(qaLS+LoqkSecr|g7FCQ-i(fbE-Mz2sFH(tT
z>`s(<Wxnl&MA#>h|Msd&0GV2`HGhJ(Ut|?R88ReZ2ocWCj+go-t}w0N^Sg;D@xaFO
zzrI@M9@Dp&vdDUKx6E1Ou^S0FJTD5VSMfJ?-7k7%#c&iGc`kchFYnn4pX4zME-*mO
z(fvK-aJt-Th;xE6QMWihz@;M#%<0lL3yvYYS8R^yACmkV6XR`Bsf|I14r;{=rL=$D
zer~qgM@W8b4JT(c@rqaYQc%aOC-H_;cTpFuDthcLlU5*bCL~tS+f8Gej;2jE?-(Ki
z=Mak2`8)cU;DXV2c7}kfb3PWDN-;FCV@iAT8-tP8{(N;1#k#iY-_9n`2qZ%V3*`<)
z*U-z*q~)dB70-I7^O8)z_kE3N3jl#*G{~II#iI?Pe4-iuE5(O$#j0250#r2!zCGAc
z%EJV(A}6m(VFH!+L_JXqX#{gygVh7j4hqLmvDlRL7l(dGeD4w|!JD~4VSpq>HRjOn
z#Hq>RF|L5HW+l~eg97+-%>}dEr}OK0SrQ)e(P|du=<p6IdIz2`c4u3Ae4LvqpK?l?
zX@npTJdthb)#|kTv7YOCdCXzlAZP-6o)TBUKG~>FGR*`ddDtQd0GJVKMG@*kOC`Jl
z7}^+xBDaXM4XbOxjM00V6<Q3CC0`d%VaEYspLEl=S$VnlV1<Q}D=|A1^r&~Z;P#iI
z+>Fblt#->8k!&BoMOVJMqyFRt-RNM+RoNG`HtKe~G0eE+<5UtoIJ&Sgu*cCx+L!;D
z%8ua`09AT+MnMRGmSy|6EwXb3Sre)h?B%d4Nb6JE()lS)R<1^Sedn96N&01<QM?)V
z!+sRkgUD*wjZVYD5+kG7k7tYI-R%%}hiJx%g~K_*(q(5gAIBu=3V;EA^rDw7m+_RN
z)AQV7uF(qKlFMzh?R503pNgfIKRR_Rm2hl|F$0M>%Gp!-P_<8t@;);wS+)!6mlakw
z%Pi!2BCNh)cKTGgn4%wXdSUd&C!oLP5u?P*sPXm%!&wK45hwNrG_%yK#7p^!RZecQ
z{i@Ff-Q}Ad8sX<za`X>tpS&1uo5_6ZZ~<zTMVj@Awh<0^tK!Nw*)NS>I#R8wue<^4
zYn%o`V@HT7`LtO{DDYbkP4=m)M{W;LB8o-85o$`1u6>R44^g$EJZ50({i};ev)v!B
z+R`Fj{F2sYeTHc3BDK}y>sM}sMj>-xkB$m=p^J_V)A;8O;%mR#9qY;YspVmP?(kiq
zod1}hYWc)k&R5er*_^4wzqU7p(2+hd<~^BX$G!R!+Q-IlnX~6xU*9wHPLxN(_Bk>p
zAidrAb#vu695zE+Qos+S+7~&G`ddDz;|sA-w>g<6jqn^Avq8<F@uIsN)r<EJrOUFc
zbqV=)G`SXM8S#63v<+IIx>t~$#JE@DI9RV*6K@`+^Iq-DE>3ej>&-ZsiT0M<g={(7
z=+rh^1*6;HK6HG(x#jQEtdR$dH>$ZHsw&%p^vnWvZo5o8%ae@r{oYAUtUu^v9$qdR
zC)M>e$rjVlzv}6}^+ws)?DV`d8tksB_7t|R4DHJCW~O$vZK|_L^C>p!h3$K;xgdI}
zytOQc2hgNyS8L+&2@5;>K3l#2#7$!(8kE<irdI&BBE1{wFz>2|3=r-E4WObS*cxQq
zlD`u+m3h}$+PcS`h@-YF@KtKhRzPLO$w;(!`LPGSc~OMEPkv1YJTd%)y*C-UrPW;A
z54asgUW|0^Mkb)+$WcnK-R6xrpyV_AMdo9rY3EXqjZPtJiR`2C`J?%+f=&rdS@mqK
z$r`Qr-gd~?pr4Ib&nL^#fT3g|Mo!(Oaqqso*HWc4*D-@$k58K=y!li$g}T(QuyOcb
ziNMVaF@g=UVnuKuuRvI-m)z^tQL}@F7^~aPZ-{XGqAAwQv?i1YVmVA)vZHr4vRt*W
zl$|??IfG1Y;h23(M#eLssWd#bt?4mWGegDgfx%sBF*Q+1pG&XZD17a}<z7_@1z&zw
z*QWQRubctn{N^r+@bV^cE^>jMp@He~i}958U7fzrlbFXved1hyGJkAUmWMCbfJYy9
z@hr0rDDUdyDP04j{n+i;O<OV{u8k&_c5!o%%wQddrdc4saD9?&ZojEsDWKXQ#Pmi_
z69@i||7pne!Hcg>0E2Tm;=;nMEA}RQ*H6Fd;wx3%_%g|dg`r1J8O^+0&xeb}$^}hr
z;oBxh-AJc?uC<#?7ro0U41gjf9+P?6rlwcM^LRoJOhQnR?qZ^t+{dEEFX+uN0u$1o
z-&r@kv%WjYI>3wJpC(XAnhkodZk@{1QQueap2co;j4wou6|ZISqUQA;w(vCn*OScC
zAu>|G<o63ieyIVwX1MlY>?Lj29V=%+ACco3=ag$2k}JHsXs-~n?v!Mfnw6<FJhzX}
z<sP~lLYUnK;E@68&6bVn!0`8bF85o(j5Gb@>T?&PYYg@~)w=vtWwk^1UC%={6};x&
z`wy#5(Gl$$Tq%+(d@{6^9GZYYWqlcsU0WgoZoHNr)f0a#zpxnv0y0SdDk#ZQ-#j`E
z9l@QWMyvh+qepa~K)~5ik1>D;r{WNI2!B-$0O-n0pZ!Ykqic}4u6#vvMmX_Cv^JqI
z&%ya8ZGTAf1+3&5gy97H<S1;(C6&%Ma)|XAY65_v1hJ?#w&Xjch?(Mi#*<W5+NH;D
z_<i-l+7#m)CLL-vjO?D{k1hQrCq6>QGT|hlr@JjwJ1Ng?MzUk<b^;o8_NC6NuR%7r
z!>&{g>o#t%M)>tTjT|N_nRjtFhj!Pt>5q<wi#_U3AKi%sPAN9$){c%9CE;8gDMVYj
z7LD#_t3^q@aYItOD1L(aL%MH2iroP!Ez+GYs`x^t<4^!BWU|Wn`826UaS8+~$0I^M
zU&RypEMl$2Qmfq1POE4j0MIQ?i_OZyy&5kB1)~gAY6m|Yo+LRL)q`A)yNaK?T2T!e
zXH;wi%b&S>E~kteX5G91Buq1(6RmtrwR7{Uix_M<lSY*!;bxkhIuK&Hr58DGKmiNg
z1QByKw@pJXDz^5{?Oh`Td|pmG+D|aO7DhZ#OIVOUc8QB7N7FDH`byrzof<cT=D&QI
z9IB6+H~I`C3E+ybP_>!l5a3nTavfj0roHRSqJV$MvoudZw=AI%ULA=;(KX|-i*Q)Q
zEht;+lU>`~qA=<+uRZ=r%K@cyjsEHQy1_@*^)7*8V)P^CO_*i}$!Z_NROOCjeGYj8
zmsg7_x>&~Ag?L|*&ixfDimRdo+?OJ8%fslRD04eSn`#(#rzKS7JMwoOSB>{&@YU>A
zt@R_$_1M*E)YP_RztQmXjpXd=)D{q|%)%&hzfIQX#|KkCAPisME(uYt-Gepj;czPC
ztrWrK=%BAIM`FmO++PztT2xp~t*+rex0c>G0OzieT^Stfk=^mJ#$q~b1$_FlxhG!S
z3~roC>%m7&lU4s=)9#Sv!Teq7YFwz&IgiAni%HU_`;+enFkvqkB~P3NH`62=Evlx*
zLPg3my1pr&<wrPXknsq*Vmi#^-?AP=Ugp0qz7INsZgpi`7e{|=G~L?Z$>@?W$4bRL
zRpZhuUhJM{W*5623^X;aFG`9tQAI*@)6^Se-IuTZGI@VUslV3gnY&2PSNdevXv3c)
z<d}op&>)D_9V5p{^sH&lGKJT-+vk-CI2-mjuE2Fsy25Vfe@C^O5KdQY3rb55M{ABb
zYwE2l6AEx)Dnmlq8YsZSoQ&ebY}>a`?=Z~tUpgmMrz!^F*xFq;d%~V?PDO%(%<7__
zpQ_sxE{d;eTOwDeW6fFE&CBN=?=OaV!AhK!u5jBQO65nWv6DC%XUy5R)6BoUe=g-H
zs721m0{ehNQGX9SciNC$;wbQ)F7+rjfOJ}f8+EMFw_CFznQ|}Xl8P^HywyF1jkE_2
z;M7i+b)i1`W1)FXx2P?5#W!rGO+ZEOVNdm=#BhfOrFj||l*iI8f5ojv(tAtftBukO
zTGaFHRzYnpkE9PIVbZy_D_<@*I0p9dhujG^`_MOG!b0xtKb@%fG&ZP=P!~jfx<o2=
z)41uUSfIBW0+9HYBs2Cd1wAbg>~VLfeWED?p9;Er{0&a~t@`utnO(J?#CPzQ=+h~-
z5qtVZlZxwET2@`}u44{%hazKr>>?A|s`HQl;IQ2!s~y$CS6`rW<6W|TK$T^CLJ%CV
zzcf5FQ>!NyeZuH%7jN=W+dF+hn87)%_1y*q6>&6Ltz}JeO-JTo^}XQ^{+b$(%s1TN
zPzaLggqlm(nGjgIK5xfGdl@A^gO$mX)UESl;Thz7GVmq!s^hged-~dP8ADO+HR7&K
z#!RvJ0sa=S!kP)n|JKEzfz_)`l~`%4+hH=y3X37$ok5laH2mY|&nL+agK^0b`ZG7+
zP3xWei8Axp<f%IGvl{Jg!j#lo&sh)ao6yYeo6Ov-CFT1=M>jWVSNg-fLl34BRJHc1
zl5QEXb{6?%J)An1YOBoQ20u-1ZE&cEI(+}BLRg2>%G@I--Z4Hl_e<c40MD_~C*>lx
zBl&zLyYc;K0Du<Zi;H%>NO>)@Zpv(?o*kBsfsU%@2BMu_MWGe>ZGb$8YZgkZ@WRmJ
zGJo`qREA3jmX`UKhL?QWk}q7XbOSRX%G60qpK5Z?XaJ14`{S5j(^kl?RjH4AEuS8|
zn^EZd+=Y_ocv^4Gg}D&la|H7ZQ1R6iDO{E;tx23pq=K)?r+l1DvznWZDk$3g<xt@F
z?7Y=&^Im_~OtTzl->-B%VloXtYYtH$$Wh5#N|D!JHS|BMWlBg4oSG@B7s(u`DgA({
zRRLEQ8hdSY&TJw`63B--StBgIkGJDeiV&zgfYvDX31y_Lt?2WQJG602sies`bG>sB
zsRU$e^oKC<>o=V^i_!zWdKH767(cxYHeN9S0H11c=lozcI3ecP#2D9G;z?Oczb$m)
z7y-fPP~E)o*gTooT!hf&TKI4|DErryUd(1u`tTSHvl7%jMAY7}34-|_JIhQEI&tEB
zR>{N-AOO`5M>vZj5C7id79v_~2oX1*7vJ530QRw7>Q<cj5o?ugp75Dk3TG66&gEMK
zgcxJWFR*bpQ_$vUqr3PWI$ecWfKI$;26GEPjYVIoZI8_%oF6ZIB_xBJ3t6?H-yWX~
zCsa|(zA*c|;`KAy`E@tm@YZ<VE3zpNInz<?pLYS!V4(o$EvS>2>p_yeeVl<gNF}hO
z(;Cj5JZLTcG?Q2lexIgbt@vI;Wv#b8GI;<I-`#QpSRgg?=OA^;{9oE33q(9SFBlYA
zs(@7NzBzecJH0pgSuF4i<awGd41AL}=;bx%&hLGCF_o=thzgEwQoWnT`a2tFW=@@F
zJfgpQ)4zr9qqQfJ=eep?)tQZ_yf~6Ki_FWXmo9B`z<^NlxuOA#&mf5X=yg3sS+st;
z6nTg*n9Z?on$+oh53Qf5T?4zDUkRCKy#pM_#k^NR8=Mcf!s+h*Vo`lYVN`7F43wW;
z({h5#@siQ(SNrPk^}5Rq7O)wkubc|iO{S6-;qno!8CgOdCR8vxo{i{vt?Wek9hG#U
znfjwD=0Gvj4ky(Ef!1X<eJ;TQ19nK`J$DW*_oEMV>27`kmqii2ro{k$WKsMC&KV_x
z?LyfF&4<Z^eq+@g+H7a*)M^Vl-r_?JU0I&sC0d(drGbK^6hP-RV}dp!z;I$^!c*;#
z=I*O}UT|}aiWI8W9(C4GtIA8_7c78(K7@aEWMIzfQXQN)5WikUkTNT|XnOTV7nH1x
z7T7!nLYVfD(gvXb&<H(6Dkk4e{@?)C)m<=DbMTGIvPMBUn1~dbSjfFjs4~hf|N5-0
zjHhMW9<P-qowy4S!E~A#D8#CzLIhYSP=P?VlPaI;clWKJR~C~A69^lpc@ZKmYEmj}
zG@Rx6DUE4SVTK8{j%B_s)gB$i>-y9i)Ho$L$-Ah!W~75SrW*Ucw8#rF*L0ar_kZwQ
z>WIx-#$mv%IZ^Z&TVWBXDjMG#Ej`QQ#caUIP@IDDpOqNi1I`NSpXnv47lW>?^Oxd}
zj?Vd7mL8f0gYugZH=9YOEV@>Za}*g3$D&xXmOV=^s9}fmCO~1l!LtP<m{rqW-P;&k
z03HQ7s~1r&u+Y(@u8rJwnzoEb|B_s>_z-wU{Z>{Vyg#R9dHP0|WwPm=TYV^B6lvJk
zABJ1W`fMil=4FYc-BFhXV49pJZO71B#dNmHB$XHK2{IqNwwN2}4w{j=zcJM}ZvQ#K
zLRxMZ*lfGhH_v-tQajxzFaBZ}Fd<Leu6)d7Vv<A}s54Pqn~ym`A~e;nr(-?)`T^u>
z`m&wOK2wvKcy-v%pJ{){lvgu%8N<kQ=0j^W-SR5g?lr`E7X5t)&hCQP{pctZpe*3p
zr)U>AsRMO<2d;wezNW6F?If@@5SB%zCp|0=^wo2Obm*^N7|({fA(Wf0jG+qGCl=Vy
z<XD`g#xrImYM0h-nnj#2-nEX{6wr~c4g1)7RUIoWT@$C36F2j%-Het_;3GcxC|~GW
zCj^+YU-r!5+_t808vAr5d7C5*a%rdl>r_T6(MYqzo8Qh?Abo0Q9V#+O9+qXDa!pd^
zaBqua%u3eQ3v0m_%b0s)RZNSahcJAf?%53p^VenPJCQJUd7)e|sA0=oP>y|XRP{<W
zcWRcf2=4u7JdT_GE@%at>?Gqa4LI*O8v9J&=1zsHecCl!J5OUXez*Jeey&Y-OFsN$
z1DltKbw8#xEA6xD)Mk`c(jig82`{_P<D$2udRu<Js0Se1VGvzRUpM3_)`@hq(@fM9
zaGH`6pJiO~{`Cm}KuLEPsStjAu>#|UOYowZtYLWVYV>`vbiV1^Q;z+!u;$gNUx797
z-kZtcgq;``UG5!7|1QJv0dkH6_2f>ir~4RKmF9gsGVf>L>y*&0f3(5J%l;A~B7|F^
zoTC`<opOxv#sO{l&9;VtO~#eNKG;^ex<2?#UY-)GaN!mz>uM5d*v7abJMLtD=U{lu
zVQ?+7a~hn*J{cq=V)Fj6)haC(6t@cg`D!Dxb&1~ZMSb+tmX)X+k?n%})j4lt3+Z%G
z)G_&jw_ega>%}LfnVdc$*fA?Wwg@QYB55-u$l#stqYbrMjT_EO{c^?b95O4tuZxIS
zu<wR#-&awTy8WY+(;W`RvRgk=ZzhnrD@3wD2cHOCEq7zX&E^pdX*k_s_!IDb`!3$m
zm|${#){BeG@&E+jY);k>z>>NjgOX^+pL6dXZk4c8_1-ZM{7#n6nUnQZFDVAV-7@<}
zM#WG>l7<p5|4FKm;b%irVswDKuNEXgdaLe9{4VAS15%`ty5VYnATn;Dy;q-IZ<Gt!
zCwF&%6bGJTG?rpwITE+w4#soZblS?5soZforB8st3e8byYJMPwn@kKE&{eL-AK-u&
zT=FVErzCBj^9{8wt|;2t_wz;_!$<Dn&uSJrFKLz&Gy|_<__<b#UK^&a%>V#Q<(J6L
zO-(IrF<|q&q5R<AluP)2LFZCAbi6NTS71Xg)z{*)p?x75VD%04ntQ33-IpK%41lo|
zA7tm&yG<2N$qA&ABD3zXBX()NdabX$$N>SioWElVz@AIpjdJdCygD6*aW!+k_{rfQ
z62l1`Dw;dK22nL&Q%b|RRAqj*S>A&}mYPUm9Eo$c$@^sRQZt0(xNd#*0Y17Orj{u;
zXty$~KZ;@I03QYPrXL0C*kb@nlc<@P#fG3~F?Ln{qDjIE5(LwKjdh&jk=7!mMC_|X
zEChI5RlVto3kR<jfd@Jn8Cz#ae+b5(POy)K1h>jQk8FA;EuU6A&k99zgm}x;{26Az
zjVl5G2nN|)OFVeuaUgHqhu<(=mgBpVRe4@G>=dZ3ko$P}Q64H%Sn9e^O@E3f4_urF
z{?Lok9YEs0yQm(UOUe~^ZT)bhw|(to%?S{|8WVO~Is1;?wkq-BY4D(0ns3ML3%=5;
z(^Ca<x*T~cBv5Q72%tEeH0Q|5`P>vN`Wk#Bzco)l4%sY5rsB&Tf1Dk2ZSzo|qGC2r
zwYQSY&>$9mZo&_)#YoUm%6L1w08c<LBAjN#bNRlmOWvGj#O~PcxEwt#KdYmGgY|nM
z`vj%>tV!6SFN8OMM8;VD>+MH!Y~UL!NzSV-^qpKIv1-DOu%W>19f9Q)v}V+^Ce!{|
zThWt-U^66m%uI!;fr3L9D$kXPaELBQQF@s0VTsb0>Zk_6mbQcdmW>p(r!MHIF8Ko7
zG#sB?0H7}OI@aMH=KRWR_tK>;<D4XrNS=^=@wj0AAX$3#4GF((to#1lj?6-Sp~&j>
zo$YW(**E68z&rc7@6Pbo+wJTNpvhw6_&{)-BPejN1sa>;N<8D~l_S@AZE<+qedk*B
zAT3OTYs>5uUzv}TTwAbhr{L%bQh*0Mw#>|76Tkn+mxbnbf}fk-?`P0U6*fQ?h#|C~
zm)(H5w}f{>{8X%WE1r@N$_Z4qa*MLH)q^oyWRmpYq{OZ1mk8I0OkScY^BVIQ{Eq!m
zc+4CS90Vs+!fyQR>e?`&$b8HI;qRw;+swCq5<LFYD?PTr)nn3SD=Cv#=f~nVP^zJC
zU?5;11au+==;`3P<JT-Pe|NiR6%tSuveOLH>-Kc`j0K>&OeSbjCKO<1?@XHF7cuM*
zXjDY^1fbKYhi42r@2DTQzXGf;+9)qXLF<xKyl@!2Xy&k`G*!0>dVtI5_j;<1`-sAN
z$Ul4~EXnE$#^#VWl!&@#^vnq!;S`vlQTI&y51&FDczm~`>>&I<1?wV~ue!Q|E8ydb
zVzwxkDa7(?D0H!JM00TYYgj6?n1E1JY5;(hA$EMnxQ`^z7IkYe!p!sF+Sh<v`L<Vt
zE5U%f*YhIDfA)lQx!4!2CClMzN?*yA^lF0hg<n#r`yG(ub73$YU|r_^%@2~ygYcPS
zBR0b?8NGbxK0-I)Nyf{W!<GaF_fD}kXG~&lHfweVUS2nen$Mb!bduETvEt&;S*u4I
z9C-8Rnbnm=f;$&nN3?|TaAJj+92yyi?Kt#(-`*?O5tKhtVJ+bVo;0Xt^P_hp!Pk#B
z)(NZ!Cc;h(F?`V9<F(df1puU{#~_2<o%pvupr%REpu%k7gq(1}zSpSC94d9flir3&
z#UjxLbXGz~b~ddN4K|Isee_+Mu8cih64D49C9}3uwmChiM|R^5Y#!PVOA}7qWh0mn
zJk_n#4)j!dT}~KyB4_N@y=>uKG>-1<qC*sb_<GuK0tx`PjAsCVP_FQs!0MievPYXp
zwVou6-Q|IrZrK$N>k&x<|L;GvfwO`PWjhau3kGeC?-FQkGFwTVApCb067a8~0scH_
zt(n~}QAElHN~{p54%DNh1S{4M>C#!GJ}@jOzVc@^NV;%}8?^%Iu{Vaj5Rn2O9L`Mc
z$3FUR{Lak>>-g`^yr6aUF3jge>@PwJHSq!vXOYEzaE(7Jv5~o*p==1;kCdJCbiV67
z>x;a}ty>|=pA-0j4@E%QcugWG<?rVfOl=yhxG8kOcP2UN;^kh^+5_*71K=T51-)~N
zIQ*e|=a`|eS`k~m6>vDj6Jy$hnv*UD4^l?dr%gKGD`)@b4}1N#qb&SXFBB1@xq`$H
z0IDm$K#JF`#5D?=dUx^q?l6bwE-;_`sY{=gSm1TDFBdaLX`Ko9*Ga8JsW8!uT5lmt
zl<gt2NYhttHK@rh0<Si%zFg==Z78X-tu68fCcCD5kbak^`T6S;XR;@{*pCyZLs2B%
zAvIIX%s4=&sR0MkJf*uEby2e-l`S>Wj+Qta_#YzAi%~hVQN{pDP|`g=SNItX@*)8k
zJd|vEITm$BRIw6xsR91zjml5BQ<kqNtX~xXLOnC>!#GMa`tUFn+~wpoxmaK%6~2?5
z;VGW6=eHs!Uek5C?A<Z#9@0$Y*);oJjO6Wn8j%+x2{2?aKiYs6B0oE_lOJiQeqO(M
zh~0ksqu9Eea?&?NTkg{c$e}AVvW=lU)HTvDaZvvGl;S;#q9DLu-#s|N0ZmijfI>?>
zMML2gmVWCNFD<*40IB+C;B00dr#3)DGoOusb50^YoZk7H=|oUQq==<U6Q@~5mLrx$
z#Lf^=He)0B<)NF%@<`PT1%6313~oTS;%NhwzM(X-+54sN6{0}pG_=|vnhsgrIt~b=
z2%F~Ss(fiv8X%1zMA9;T6(?(%XSbT<UOKD~?~ft>fr2`M;i4=NRZ!lGAyQr)Xfmk?
zsUUum3II^nkxipuoQa2_1gWIKr|fKMOTD+ud#>)oIxoxTK$g@ai?l57Ofa($+cxVM
zDf5bXJ$2diCZ|KS%+#~0>R|~~fBNAE1-;7+k*I23F7$*9_ROq?Vl^i53e>@eS*dB&
zbB`2RMwhe>C$(f2D)zk63wNk+nB3w8gOp|flDdsn^fh*c$w4({A_VF5Pip${GY6PR
zQMZt0LA<{FOuMy8pJa)G<%wL6gnhX$swd+`A1L@F7p}!$Y`%vo?*S(u0VWeOR_e}u
z$hz1OD8-Ie?N;Z9wZeJGlesP~`Kj1fRM<dvf{U__GCnD71VE(B%ushcVdMI$Q@MH4
zs;8*ekF+Aq3naIk?ix9T?jo5f*KN1AmTc(5mDEGp-SxsU0*r$e`Nsp&H?iIZW*@&7
zMqTkqs*uVxF={cH8T|xg|1R5f6=W)IoDvWfT!z<w)onQrEn+`J*SV<$OD;7&jz5j!
zgKM$}8r6kbtR;v=MT1=7!Lp}|t&hO?ABn@fHasSAVOld@WZM|7R@GLvQs6iA25eWh
zYE$xs#${Gv&P=>#=z9oa^wc!*X~O)2=&>REj|Ybrc6PzFjNNjan+yAB2*-_t$1W2N
zD!2|4$QLi*OI=f-V{{=^6(-TL;Ft<wvRDSrV~ZAwrzUD-@+_Rna(LWNFEhxeg^R8R
z-MgEr|6h!~WmH^E)Fs?N5(or$4~@IK1$PS`EV#Qn2@u@fg9q!zU4nb#5TtQ;clr8x
zXU%-`bN=<Zy>4Bpb8FW=d!MQjb;a7NF<aAli!_b7PubX#v{fQsiQ3ubJWp?ouxzB^
zUi_<CC#Ky>)3<3@*ZWGW$iF2}#L1CezQ&C5H=Saxd4gOZTM&ewAu_CGN77`^uc&(&
z3uL+}-s}qKfYQVY->xhNlp56H86x_<4DO~L+n8iKX&3v&N*sx)v4XS6_FetEOjlta
z-`o?TR{QBFy(>B*5>wE}f+S?k-K7h!L2T}h)S|YrR-OO}kATocNMeDnxCpE3a@okx
zolD-bq21G!16oo0$!34aQ5Xnv=g(<-J<t<CzCCBRq4Yj?d=lMAZ~e+*KK$mr_GOF`
z&GI}@m)>FtgcbP#%v-y2#Sz8m9REQa{m-D*PV+!f>x81ejXh{{cS;{Cr}kFXd%q_-
zsO10=%O<wxO@HRrD07D>Nx)x5ZOaW(wEqh<<Pjz3fB$mamkO%qB5WB>{MX*z5LD1j
zO{0XB^R=iJ@MUWg?(a|b%ZXS<xb;E4n?5)+afflFziU_(Pb|aN=_x$U5{4(v?Zf8v
zs36;T1J}C1S3RkJ1<{r~yJ9(Nu&JZ(W2?h@Ez?~_8KuZr87W;j#vvW)Go?&izfyY;
zzlS*+fMEQ31R-)lB^jKvsq6Zc+QL8|$}A!w>gc(#EmjMgIV{CKgDs!XP;g(83jBQ?
zJL>8a8AhjHsM`#$PIe(N3NszA?i*d?VSq0^sH9m^*VovJWK>V=orgQdFw48Xwf93*
zyFs1buh59Nmr`YBjz<C4l9QpgUH7&8`~vlb^0k+mqJHy-7n_@Yrk6SQd>WLx%b*^s
z{Qk;J6nRm|9kz->`MnXk$eq?g%@^x{lZu~tc#n72Fau$M$pGZ1Xc{7SOHuP8R02j#
z9a`cfEIWAqHGA#M&Fiiu!x$wg3DZ5T(%UPAx$6()2KOD~9T@fetbO{R*xN%sVv_dQ
z7*O^Ew()4+Z~Fh~B$b0Wk}#4FGsKSM{%!=YJoVg*V6La~M<ioY%Qsp<hty3(qU*co
za9wcG4$;vysg%+9EfEoeP)>nfZPO~7zf_9(!|U{0$A4r|Fs&r($=&&RP;A_MNq>7+
z9v<Mk_cT;eO!tbf<s0OnDx|mmPb6_7R@)3GtMj$=a>!&2VQ&tg`n$gURr8`VbX6_j
zXBBO7od@1q=gOKg5Vf|Bvn@#BwM{^l!R{XtFQ`?!3IFws8=P<4(*-_AefjfO2{T_A
zdezcM!8H_P`9$_;VKZ*6UU?YSJQ9tSByXAX?@i11VoBB#KtM{Z_NNMGysy~$>HSCY
zxMaYW-?qKlt+{e@G`mEP%oX15j8X40Eo2k#FZ7G6STEc}4+?~(LK*6su<sPhJ)FX=
z+*A+&UdGjw0Fri9ZnkEc3k**~+f?d*F<E-Xujju_zE@j~qmY>dpzMuU&bamVNJ@xH
z0nQ<O3+{s>|D$jcv(iUVIgPeyn~<eKjrs-itdF+_i7_eQgVwX2q>}y*sYM|=rmWIG
zjAHahFtABHya`}&U_cTc0@)#<xl~wVw07yb?ij1s?Zo}ZGu4Y@Gbh*bc`nBilmToE
z^7`eCU%6aal-5{f**Lzgj7{kWQZMj1>3VFXmOGb>OF4k3lx$RmmMPMyzOPz6DCnUe
zh9Mb{*g!%zr`;raLxLq>H+{>uhdMZ78@HuIGaZz(Xc^;XqqJzJdFPc(0BCJ-brzJ|
zSHAZ9Cb|@6?M5px8cS=#L(00$F~>Nq?ZnXX=v7c+{88sW$0-5xr#PrxT2RTxK_}W1
z{^J5Fm)=1z{wxFY&G1I%p7^t0=izt_2!NWWZ(7T?A{~MKPHbwNMfMM^sI&e4a7AVa
zajWMYuF*YJpTxiq9t}JR3?)|jLx%L!9>MSCN8?<13iUMc7T@hurgAgLnoTgo?fHK<
zmDfBn*F4s3jZBpINIqUF|Hoyucs;pzb*w-gh5Vc#@b+M+NEN+#Qi2|n+)Sxp3|coU
zS_()+UnDR(DM!F&!Wm}SWlmLcEO{V#w#RY*LGymeYgr{MJHkEo$#2$YL}K6opN=d2
zpbKn!(sxWwCzMp80O9>pKTqj?`mctNh(;i%{DnGy<a^0XWXx3;{ktG+?edrGmS4hZ
zjT24ar)Mt^GT>K8B&6s-nOgfu>3SpTkbFY(79D4x<S_9Pm7(fpGBmSKN+@xHVxq*F
z(S08LW_{1s?!U)?Zty2_(x~-P*ONU@^Q*2SRZU^IJAK>g6J1zn1gt$s@sS&i&&|~I
zk8U6we%J>nxkX@U`b$p1#U12#9QoS{s>HVlxvElSs-xp~XlT26<7_04;HB>+oH)Bp
zw`uO*+0Dc+U2;G2;)amv*a+{inBJjoAB~S$x5-=u{P@|-_0r&1D6c@;F?+rTp)fAs
zENeyhXcL^F%*w<3Jg~ZcMMK%7gOw3}W8^W4ZnNb&JXS@~?f&b>CsgeI;)AUjcNkT>
zwR#BpZfqO7)vyR%Jw`1*waXM~nA9mQj5PucRH5agc@C0WTq*`0<fGWEdDH&@t%$&h
z3$nL)pQnnP@OT*Tq$$Oo%$#pF#AQEi33a6);?#NK4pAR#|KeW~pq(LWxv?D&37Br`
zWbI6}-QQvT$3422LmuTiI*w`hJW<fm3TsHo$=Ak!M-D5_9e)8*dny%2uXlM*!trQ4
z_<{eI_r=<C=YB^X4weYNYe>7;Mq0F|uZJrOK;HoWn_dqoXZzkU3lpgR(<i*s%$?vY
ze4DQSCr%z;gb;NxZ&jM+kqY?R#pq{1dQKsWB<w_U>&fRLhRw%H`8Q>mHpubKs&m_V
z&-v)G*=}=KBvD$%6>@jgu1!jp)mEXyV%){0XhU1}--}N491s-kYJnxVz$gwg9FIf%
zMq}scO>IR*(*mD$s$EkpZFkGFp!Q>i;O@Ka4q=G*Sf&t<oDdmx&)^(zb_3?SF5A(;
z*Q(C()kUCXA2FkG#~<}a!hR+JIB}rWaH2syN3#v>{B~znj);4mZajrQq!O!Vxbg;Y
zo}bvVa1yud*-FUfePQ2Gz@yd8U1Aj^FpVZ~{6uafsOiBrurD~|wAHi>QG<zqFPfSq
zH4Z-Aa{-^lkrume4$RRqWxb@~gKj2EO9BJ-SpWT1F$(6M@!nUw-s_@QsHn{AibP0P
zv$S+RQEroDM|&N(igL`s8HVSNjs2OeS85h5w36t0^>Sv2S-)qtmD*pqPRH=aSS958
zW6{C!k|;Eqa&hESg-}r@amkwpF(IL>@4TY>r{ju;8S(ej&e=XF5=IS^cs<m$p;t{>
z=ykT|_iu>TsDM8+rl;1@sH<_^ZnBGp4@SdfI5|NQXsDQeK6PO;X21QlBAxZp=lI&M
zuRbr+xrR&z&uTQDh>*K^wpX{TPf%6GD||x1x9@g9Z_QKgNax8-WN*q!cnLtBF_|dE
z4YxQw-U~k+yum&k9z+o_NF5?%a6J<j3F!+~Wz<ntOTOH7#AU+b8(*bYkn<1n&3YQW
zs}uT0_^)Rb@*jbhLfVj%@A#nf+2kL5kImnamc3inp8U)GfL=@lfLfROmvAA19|WJ9
z48dZ%=$f#|05%C&(gLdw564G6;rz!nNq-)F7|=_S1%K)3sS;$R*n<OfyV{r=>$#ti
zZt;ZUJ;4De;;6QT2|A;gSFqTY4!Lm__ztO<UJLWjJ~_oSZ}EploBNRg+bLV1MwIUy
z0DnKG|Meh+t5qH7Mh7tEb}*539Nzeut>Sf2NUmxBp!~}niqUGRPg#kuR{0Wz%N>1<
zOw|#50O!aF&##3p{^y3EG3b;GRSa9!8sh+C>|?s>O!ZJ<^AGHg*60H35t-@mmJDWC
zk|KyOChvjRC8GoNNi_U%EJJ(#1g_7KpSzBOr#Xk;t?pB6bU>fDV^;qw3t)R6{f;MY
zjyV!{GLHDNmYHTpAoCj8Y`E~>hB|$i){D)TKN{N3<Nv2TMGLwofuC*mv4hYXhFhV5
z!NH;%82{$8hx*pmpIJlX;!<KAu1en{;uE|GFgK&wX@AX=p$kL+40wM!5sA5*z|-nB
zx9y{I?ZW>!=MHp6Bp5l9rFh4pc(xF6ye6Bcrqz^N)G6+DqnFzHmw*EzODrcXoBXUS
z+MYX=GQBg*^p?<MQEydN@Gf;hV!Jrzw_<lg1V$@jmDOK@pS150MI%S4&4lfgk`5k~
zJtnu9<ZztL1$7Cc8bUB^?2~{_#*ba&eD}+*+va(jme2A!s9N6PpgoONp^ReY&n^K7
z0BN%B>+D`Dmtn@`?n2S~xZ+TktzvXtF?45rT4c~$-{=Dhpz;#Ke-delJw)y$V)#)M
zqZPw{H|d?6;iA}`Pmc3-107^?UIUX`GTl{!_?63?TbJL5V#9dDrJMdIlS;8c&q-QF
zgW2$LD!!t7&Nly#$@hTY*GAIXvO|>18r&grGOw2uV!BR@Vofn@2l;HF7eh2ZJ|~yj
zz~5w4+I-ww$^(2!wNw-F5AT~e(`Z5jRQePE-`{iK$=ET8vT7B%$b+%!Q`7^Xbj}Fw
z6uKFGA&M5Wi_tV$ZV|0FS3ekHrp%HwbtN|l^;2L{?o6bXIlOicPdPoJ%Fi=ofQDu!
zzd7ylo3n>ELxwY;0#?)Yi>ALE(H?W_iVlE**TH9uEv5$-#6?F~2eB#tzLQfKVJ*nc
zD5ONd@Fhuxttf@I+U)o}eVU3dQc_^G6eX(sfWG~EPS+P103eEt0aQbeov%m@sKkn(
zzQb_(1YgJ5^c<NoUNXX>29(zU<&VCaw})XqB1><Zbd7l)X=a(XR7Fs~&_U(bUa>98
zqm!=--HKO{0claF9bH2nx;f6pec@Ra3yXtXJKvcR)jMKQ^GCXF!gK=>+k|=Cr)g0~
z^wyMYdMa)5pZiF?L%vDZl-(_J-@%U*%v5PCdjK0^6QxQSE2=z=Swbd-rL(fo7CfCs
zb&Cs&{z-nG-BB4!E^B0EQWER6)_9qhPExSCB;t`wj;$KAVk0+YpSR7lt4caCs=x#+
z+l|ZqZ!dtXKR=*4ny8wHVCf%Qq4LyK*@Qf2)|RH4UY&uKrKH2~w`X7LP!Ix<3}Ife
zAtnQUE!=vC=;)g7Y>S<BlOdT>mlN}M(~|4L>!peAqs&|UzXw}xg((Bj-&aW4Nf`z{
zwt?Y3oQ(Vv_n*_Mh82r}T64LoFgpU^()vJ})BZ?|`#xGfMf=P%Qot2f;FTW4pJ6J}
za#J`>i^y0sbr8XCZ&hdpOntP#-f*ik7J~&sMatQg^)p9aqhUrFe&EGf@q)b4n(z@J
zaL=M_%oqHJGugsYO(s{oI5kV=ebmWYUoIc-=gEjDVzGsu6=*v_+Y`#nn6exBpCxQ$
zz+&-kLd9iW(^g$I=An;L@ylJ@4|xTHF|KQLJQ%;+K$$z`z?&x$|MQ>@##=KU;+lEa
za1Z=k@{m-4SIXmt4tm)BGxn6kwI+Hrw;as6nW%R9e52BgdW$<B!)fA~`;_@<qJeO$
zi&a$v7K;TLP0GoSj_n&=7X#N4{aTsUB=Ee0qvJyQ1stlYM~>IaxmVuphc|`Pjb;kv
zRZx-fS-s5Hor4*^opvMK#<Lv(+x3#nbW4{T^uUy(8lJ5LgO&*1L5Q5Fypd-K(9czC
zvP5zDreGgI3J1Z#)<ITOo^^ViR4Hd^NYk5)ozReza{$b&sxhbUm@HKa7W|4?!^Y_4
zunUuF_gI$?Y+J<?T!l<HOgxggl=ti+UpH`Da@h&vI`e#si;ZmTO}GD-m^-)<FI9?P
z#-t>@{Fqh#R8VQjizl9w;9j%f9-Ox0H9qF`+}pn7?5Xqt=F$By3=9znelX4EA=ifc
z+sQW`0*3|Hv>UP^S<v{FNCMU+oUo%C0{^k5gLU^&tVRgy7;^cHwA>LFlLI?1?3fgT
zf@_`QgA#5Hoh=p*JW{^k0a>(0O95LbpDXkPE%Cv&l^j4&buIIzVW*(#|J-~utOzXz
z_6EAbD{Afb1~Noz?b?Al#lq9|TtoLNBFF}3D%A1b58qeHBg{QT9m^x^(0%v!Z8<D9
z{7O+;@^JbhrEDMDmUrRRl2-o~o6TLQPc7tPlxXqQGa_Dsp}dOmmFelyI_^9Foqle>
zD>$-Q_q9=XTU_he_VwfYU!jAzNv(p%-t(geTi2VOZ5NAF4mvq9dHwt`2r5<A|CLw0
z?tkfT#4e93ZJw`Ghl#ljZx5e(3!ss5!6X8%izD3g>7>+xmcE}p;`Wv7uR-;+crm3?
zZaV%)!^J#?#Hh?nynS=NH4PNZSb}N4)Oo3f*If>N4t2|Hc?x~t+cadymq$HN4dkEU
z<&G_xM9;fGqnVC7Q*YNF9`bX1x*?Mt+>LQwSI(N!HP&~cnqhdp<a}VbAoyZ)h;}47
zo{#jyMN^LI_^R&Zvddbly@vQNW8;@w*9kw?QtN~Mx1)i*M34Wh%UA!9K8Lg#PLy&Z
z1l&?-ov2Kk(T%5kI6QFr2zbZud|A#!o(CdWXTJ9;ib_}DL9^zdmw`Jva2meTo&}>j
zJ#Umh##whZBoW1V_)>lGqLbomXtF!Qz44szf&aTG^nx3Dke}1ih{ObM^^4*oJiz3U
zA12;*7kp)giMKH3?Ryx);)sOgR-rqp=4i3l=|`^DAgY|CW&)a3Q@Kl<m5wDmKmx?c
zM99y1n&vc?+Fe-x>J)p%OaKCqoOZZmAMDCsZ9vxNwOPx||4XdaFR9{nEiw(p(36vv
zjsX0Il|Lx|&iTr%j7Q<-i1}`e^yGeIeltw`9Sa(_CCc9PwM6f`V2Mz``8?mlfT?^(
z1m5M4R%4!r#h^5R!p+l1#J&Sou-cKf>mvv?@IKht{aQ7rwBpuvB>Bt3wf%6077B!V
z1)3kIm|4Mn?#uAJxCs*FbbrGmNPW{K6CLexmUUf7ut0apzEn?0L+}l1`aAl=v@{uf
zo8a%)3LMMWqxv4&b`A)#NOv~g>`3a!tP)EMdfGpY0hQV7?M6tR>~58-l(ycS@4Tc`
zz6q->JLS|O0luf>-G%Q)c5`v>HfS!(9*tU5PwIQrk#c5Q<Q_7vwoM+f%yz=`X?~bK
zeP&UHAzmd|!s$WuhhBnoo&=OGIxws(j_OcqFZE>Y=n*pM?@Khlc_L7iH&TxS;kvRc
zZJ(g+%iyIDzZ_we(#DnU2<<eq_~xdMnHPA3T53bNLt%V(gR{>(c0iKDd|qmHlaPFP
zv5|<|n?tQ%D`{&_GOZuG!6IZtzn8N%y8Fp)gSJ=(Aw*ud;Szj#;BVd--`&~6$^RI<
z!2JOw$It=RvazK{M$nBBrif%)o%#_yI$@j2?=OxP%0>%|aY9F<iMmFqT(1EWqw}n)
z7-=P4sg9MiUk6#Zk3XZL!Sv!ea>Yr4F*l!@gBVAgDyAUCzDL$J`(>xKF9G_Q8*j^P
zXZLg?&*<xG^vj+z9_q4`!W8+u2`1e?!+)=rg%uRgc||%M9vqbI>DJ^#y4+teA@Qh6
z&PrUIYsA~AMt;G9r%1V0TI>`QoH&aMp`yy7MwRW^d)d4(;Sk)(@Xqz$eK-}GP}Hia
zfb72P@>b+!7%1ZcvT<#w1Mg#s`oec1nAp?xqL#}|d;jcN9zt0w25GFh<U6-;6&AD*
z0sHipdlB_ueZo#N*SV9USo}G8=_)pA-835;kPcXmw{oJEs>6j!M2CH|kF!i&sXUA)
zRrI1uz9TY^m%*wJz%4Ut6PqV&DEROD8f9GUbba=sO*Ra);7A6c0>JYdQf_VZY2LB8
zj~bQF65HycTFlR_V}EcRNbvS8S<#ibAcpGVl5J<P=rdc^T^+OBrk{*nP2>!{s6-Um
zfre0-nN+SX50i5xwuW?Ckt?$ak6L*H1h|a&(jpCwhpV0=(H}Mj<bIGU{xz~7aP+GR
z3Fj~hM@KnUB~*^k5M~qJE~l0Ps-%6IBjob)<!sAl0PItnL`Rxm0r5Jt4Zm#>CKY+R
z21v@x`#Ak_zO|*6tbYo<XQ@O3OsezMJuIlRP?0~$BgvW!xB*RCYzf#!9^!JAm8Qf3
zPU<W#_`omC_a(+~bsX^VJN`MInQ7V<PV>hl{OzW-KwFvK`m0Ms>pS&QVN6U)sV%mw
zQebndekH^{T^pZ2*^b)}3I{Xlj;1{Alp}2ZCeG@T{GXr5V#B0{3r2MVyNPS}1Nw%H
z9X@&?Zy5lmdC6$3xqQ%mg8t-p;HB1?=c$*Z{|1)S!A5|-AlzSTyL5vacFc%5{zp<U
z_qdy6j59}=m!IAYi3N!yt)cITl)-+i@LJ0jCWX5!M%EvZ_Izu0ORLD<<i1<5O=cky
z@qnf!r)j3|{-?X{Kv!vhCxgs#yEIO&eq&Z=^yp6<Va-Kfy;msx%u`7Oh5~ISBA&1i
z8TA)aK!m}c=yCw1y-MH|yCugNx)!<MdN364)Dote0sbz!lmPSoR@ZsO6B?HXM`0%{
zz5qDWWv>%QB$+=nR>$w}iY9-fvEdtbCYt%p&K)z9!aa@<Xs!wHEMMSbmws{KI+F>E
zJzQ4=@QvPkfS!;^A*cYiRy8w4!6_g|<EtXyL%s<dLdM|096lE21?`6xBmsK1mN}nn
z@tNmz_?WU9kLk?ta7k3m;cwWO-g9u<pj|KSkMfBEncp|Sfd)>8g|&E>k$~x6SeX0_
z{H7mD54UG%H3gKbinm&_wZ&oSrZ8dcmHumilE^)r{Om0xO!h6@)ql49wzx*>RH&^Q
z@|i=SRO)jS%C&hV)nU>r{d3!i)^xn*9FAY=RgK2Hk0JH8RASrQnA>G02&~jVm*t1w
zA-mw3uY)8F&wr!Jc+y-oD0t!4$C9={>uwt^vdGx)lu4x}+r<a<x&36}@kJ8saI=ds
zEI$GSR_RQ7-z3XF15J>bvAIo@$Y>Q3*%vdMNs~IVS)wcKt*TH>tm`sF5*cpQwjXc;
z`Ag#xZCyjc)%5ozA*T4YR}r!tG=hk+mIGWSk}v^*-MR2IKi&+)prD*1)vCIw*~c$Q
zp;?dDQZUFS!KMEG<F9vM_FT7w?2gC-@t4vJ&MZ&LJy^E_0KWr!uLdCoJta+{l~tDe
z+HfgaB4<SW>`FCnsF1~eK{7@A#ObqmsCV{(IK-fM#5cp*B>M*;4%;uBoPFitTAs<y
zhHYzCb=mx4<G^+70i+$@{%5e?DtBVAIuwDXCj25Ma6xObi(E@lxANW}%&5t1skn<C
zxI-#}UR=>+oN=ap+r)=HNgG<~x^?D}+AeO`MsuNNe0SwCwv#Om9x{M-XDut*yP&rW
zs%Mw|Sz(9^O!YFkdC*st?k#;@#a;bVqi^*Ab2vqYlsMP?W(TUmjgJB9*mmeXD#=9f
zo0=FJaLpj$lp|v|YS|O6u_A^@ca7+(m)j26S%h0Z`;IHPt#b7q-bk9Y`HHlZZ^y%6
z7w6-*MYf;e@3uZIb?OsVUiTS|&*m?6FxvZIr*XxALDOBG$>EhvE8FzLxGd=`ICi*!
zM&t0N$MpF0s1b)%tZiYC<mll3M=X_L4~Kny5JOb5G{l@ng&BoZJla&A8Axs=dOW=3
zGtff@+|>6l9vu`yJ#zUcA(>q#FLWI%Xw6~CigncJT$@w3<1{uldyy0Fx5Bg3F>)tE
zCU|1luc0ON>UmN%zOaq-Q!A1{Me?whIJ+3lWhpeTOLG^e6-zq4BeE`~(CtQG*DpkP
zGAxBW@eZ7vf*3xe*R18Hby2*G)0n8NnH#w>N2V(iD__p~nOpE-CbPtPA+^bu>X-tk
zWyEswqWCFhgTaFWeZm>`9^qMm#|L5jdMT6^fd_<j)fZ>kM!1F@s$Uf)%bBxQtffJ2
z*w~j5;lnIgsAk#SBWNy%IuJGHe>NeHST3pR(_A-A#9pr4nDjg^GV<XRK<78w?Cte(
zm;1jMH6__i+9*4SLO%^btS0UcB$#u!)vZD-GzsOka)d*2BvG<Qs+kG)dw(8BKvku0
zgJN<P1}kM9C2g3q5q~3GwLLp9j|1^{3)Gp`=^U{aT2z1ga5q(D5%cMvlD)WzEzG}E
z{pH_1=z+T<hiZqoz#C{T=$xF#G5|L#b68^h?9p0O3=n)30?xWMIOC#Lw6@7GFfFV0
z$q@^3+f*(&%&c6YCZc7+^s~A5BZ4ci+b&ufSPJ4#x1$8sa=*c|%;Iy#<%HkcxSH~p
zHE}6tdugP6zk;sXwr-6VK{^5qsKj4$vNEp>5*LXD%h!gv(!LcT1@m$DpPz^3=eN%I
zik|NUH`0o*JazmnTR<XYFMk4|b(p1h_R?E2Pp=(LD3f?KO_15LPu;5Q#}wy;C%$=%
z*(GJY`aR88>r%Eo4f&?^8Ln8pnxz#F>?$E^iwH1pM|Q`kjQDJh9?F!wpCHNKYxW>N
z_N*M?+|B5*l{s8%rEb?0kjhp3U@ZUZ^v7s$;ZG@GV!PdgN&{o#eA=Ac#*fY9Pbb0J
zA?erfwGSjrV+K(1ip&vDW`^P86Vh9B&XXNH{;|JCnFZhc@>l<Cwbg^Aol($Br5Jc$
znL!&9mJ6Dl=bCdWDt$503)vf21Z=z&bJ<f7hvZ~&qDO=ze!f}<dSy26*Sew{W_u8V
zfpcqb%w-!BrSmDmcbX54w23nPwiA9M4qlXR?UE-i+P`wF3hU|->qHE2M49G|YG$FG
z;KwS87xvQDjF!p{@Y`@o+{D3cd7+lV<MYDQA!Y|O==D<R;A{ti4vv#!FN@7IsJNXa
z1G(hP4-MKSfC6jQPeP~C&}J3{w;eqe&W2sx_%7l0L1Tj^*y6at&D~F0+R1aiUCp!{
z9I`7OeKq$<BMX)@$=w3L5f)dYRL~XnEyh%7M(Uy|s?k}UZg#EMc$1=~S-h$$bJdDr
z;38wc=rgqdP}T4LsvLnDgxe%T6-Ix_AWVKzyPevm<bzs^>odRBRb!T-;AlvmY=#w=
zQLJ*u7po;Fom1O((>0gnJ<Cp`wsk#p#BoIV6QV3w^!g$u=~lnuKRomBF#0tfYH8S@
zx#T|UVORh;NLa9#M?(^@Wu7J;L==58*Hz!HyQx+x#d;1Cp7f-+<X_myfRdk8K)dMp
zdwzc|$j8h~E9D7TW(}Y{`_huM*F2?`>1ip&%`{0Fn?)Vh$3jx6&gk8cnCB~p!~qXs
z+1e~bS3xyw=~&$=rd}W-K83f3)QHxC%B#Q0qupuWqm&C1-!9(@v9n3iVoc!%yQ_?y
zvpft4nOC2J&_~93_)o!uiM=?2<T3V+D0wH1mCeir^~y`tYqx_nw9ufhjQ6uhJFaz#
z4IXE;<TiUs$ofgv!+uOWKvk*&imCFwLd_wOedqTU2Uq^F%u$LPAAW>$0C7~5?Vs`V
zUt;+yR(f4m!s+^L>)?s-_M4^DW55o79=+7Y2KA0CVn6D%)q#v(Q<;_vD;QlA49XJ9
z7j~ti!)Gw2woBtknOrVNVw5M_J3ey&Wj9h5CCF33P)!xdv`_Odz5zuuy@~kbEdGo!
z;g!n#udBT&j-{Ate^)9k9guuollX<@Zype8M4HwjC(Pk@Euj4T_fca$4L^Oqw_1-<
zETbdZ(*!pk=Ki6mIsEnhG|S@IOpkP8%C)Z7G6wa$t}Io~#@CIPmGO22$HNj0^TaUG
zX+t#jX2|(Q`A!M-Y42C03VwfJbHnZu`wv?W9*?M{Z1b0+!>up{1M7rxbJs$d0qcnU
zpQWyWtS;vyyfk8MCSu1ypF_1R?gDi#7eU{Et!~vD9S=3iaY9ZP`G-xvFcRhtVp{LM
zLzg8YWQ9G~5{W-N+p25&BtKRlVl6oY9<uf3tuhK|Y%0cm#hyAO<>pmFqA5W2J$${j
zww8<8dp3jC>J=hpX7;`=j$U?fyoWvrVv>5BPsY44SfvO7A1~r}SjovJz;5WVTH4==
zBv{dG&i2<8dz4yTp{rkIZ2pW`YFurReoTog!52yv;1Yj%j6EcSfk@?HqVZ!wASCAv
zylGBcj)o_YfaydN<6Sb@d~em;<=(}8%YZiZQI9-US3vN(hP6E6&opq{Nb_QhyM$6<
zldNUh$SGIzP&q=CCqx)^fYt_$#M9UOHjp>$C|Q3skx$fkf^{$(IDs0WHBMA!lw@t~
zSVK?PYJ{Ty6s1qUG4iV#asB$CLqi@J*I%03Xcg1te(JmfJ+wq7-0^JxI%@_*Vmw6e
zPR`;EOQwwfR3KhM)zLcgwsY^-^F*W5&wY$L>cQ*OUSfL-8{8Uw%ki+&9f{YuAtoM|
zyk7I4hkD1Z<*NL<P;3|9&L#_d(VLZb*yH?|CyKGWdaHL?r|1)X*o2Qop6=k|r_?`Z
z3Xk^6X+2=oJMEao8g-ynKDLLo+D_?m@l<?+2F_FBrXJp#@~>w5wqCY*GW&RkDD{ES
zXS>;_szUmmSz4=$e2(Lr&P}O;5-O*HtuQ)R<n=U%-F%cYx5eSF!5MdKJM_}aWxOja
zm1&d!uR^!ACNZ4nv|?hc?krG*`6@%Bc!*!PHqYNW`58P>6maw9=fnx4)az1>ScT^-
zMuJ{q*K@<^FK4mPxzmR;ycb&sw^!SPJ!+dXucsny1OHk!<@K`L6AH*(m{b_uG7Y$3
z)pay0RKbBj^;vqrs3i13RDdsu4T8ATaM_fpayz%H(PBfgYCDbK<1|V#SmkZCzA7|$
zYxmS?8cUt0`D|{n@2?%^;e~K=Lvqs7YM}FXf`edhMz8^bnb!e@;T~0i0;2WkQHNp1
z3Ev?JzbdzPd}{cn;_K-{^{M$iY^2VhypeR9Q-w<8X_A6dfc`g+R{JbrweO*?!24tD
zwTN$SH;%Crcl@zh-nOKdDF->7J407)6FU^Ht8`>}<*2AuOow{4$G#}pTV#Us=cRv>
zm^gFywCu}X%=DleU$tY#eaH6!K>29ZU2UISU2T3IxvOJTV;^ou_r~SzoWKGJG2dm!
zmg+q7T>}zDN&F(~7@z!&R7ermNd<8xWghVWBGyztVJkr)u&pn}=)l@h{YvlJ*~-_A
zbhd2ku)!-=&&_+Ed~GN%z8oFJs?wC#QuhvrPg>Zcc@DFqtN5|do}0gzrA{f6TOd3<
z5vcKya!R|9l9N_s;383E$gGpIdVA}>Kuz<u+~w?dzS4x8+s<RM6)+l4pyU>QS!lm2
zSN0fD<^y~@(%fM6GcfiX{+4n^{J}n{iF=SoK+N?a9`<yEzc0J)UOf{|z95v%{mWHu
zsQvS@F;5!lx1ODf34(y!QuKs39+Q?l*0yyFp;|Xf^>D$Ivu}bXFT2&ngPy`dVw^%^
z5|V4jpupqaONgWhp!8(n^AB4j3lg#t96>iRdE(zf`nx>K?MhAl9whE&k_@3}`V%Wy
zdR>FxOw){3{@t%sHFSN$Gr(H$7*+~9-ol<cNEpfH@bvD$Aq!d}RxYe}VsH9dUhUJX
z9N;x@#}DFdTFlL{kd0Hd6WM%xb<)n&@!IP9OMO&vnqy-3aMgXS_ABl*#-Zh3lP?nt
zHUe(u!ztLy&(QzzoHp=q0X<pe{?)Iw9))i?Rxo-9kvdKy89r#(vluO(9digxaC29N
z;LR|%P?e}%k}l><6x!aH%EXaqJMvhXoO2$Hz6upT9I|q@`e>|Y`fhz=X*5=WjuJDh
zHgo&PMqA9ljq>^)MbNni`J5%rp55wskkyE`KYH!Xl)(|L`j%TxJg$gf=HyjkdpY=m
zPLfWzd1KLU=Qb@)V&<<igxd7x=^oHdNg-B4G3rjS3fyHDC5S8aC00gdy{8H2se<@#
zd-sj-dO0(Ke?P}YPV)&}#(9g7AqzPgT(rCQ+m{M%hP}+UrQ*Xjel&I+DYlrv7d#rI
z;`LC<z4MuBUx->#M#wfU{7~MwBY>9LY-6|jc6@cGf9#dC8QI+`sFk{x+)~Bz(1y@R
z+r{&A_IUxAThsq5d`<zI__f1b;a_RSycTNNip$;BQANN=&6>Zns(iD{fD?4(ZsZQX
z?bzXA(s=>Fmcf(6{d3oEOX`e1>x09#`B_rB8$KbXww0@)z{5a#rv?5UCj?O;`Hl1H
zD(};h9ei+wUONbMQm<n3KCg|7pS{3)w(nl!1cvZS2JUE0*{&-$dnv_|8kT8@@1hDf
z=R9Cb{e0i@bQ-^HW#u@sj7IbF)A}Peo;EKpfD6`g(yO!Q<~fVZ^Al}Z-n(t9R`iWc
zZOI{f2xe{|izt>V7pSGrlaY}W6WCY~qQ$(Kb-uBHUAT*jlD^;pveBmjRnbjV@tosZ
zak+Kg>q+UC)Udsi{=g_bXnW%D5EdNM)f>>>VPRka9h>^`mX4dRjZ)k|mLspqc+b2z
zPn2~HQR!^ke_9DJ{URcAU-hQx2&pyXWQY%^DL!a2(`(w*v1d7RHA;z5m~DtO`{^!j
zk=xO+9V0jCFx*JS;5@(7Vf3aIIMUHe7;J?4!?2Cva*>>I7sSj`c}39BGm9f(^T$Rb
zc{fVp=7M#nFN{t``u040c$N;=)NN}t6xThG{!2QK!1^$8FAQ%7qP<I620eUL8kCXM
zMZBcWD|d>Kf0Uq2J*=%yFXpq_SGHIzUJ$kMQfORE97$y5+MKLqDjsEDW%;%!l9vQ-
zUzNY~gYu`!f4LzG5xV!_1~;rh@$F|(B(E=T@>%_CJ6+Aa6LgWMF4Q^P=r`oI>93pj
zK*(M@GDkfP?$qw9-<bpDA{pp4NQjF6ISp}d7LWX(=$RZM^F3CIR;xM8-7lTjV)AR6
zwZd@7B#@L`i01Z7(9LV6;}uclhvgf+9>O(5?u{R?^R)KodfJD@P!S&UvPeZNbtArY
zLxt%7Y%QPlaGbPkRV4=ZgRZUS5K#(ofeQ&r4?+S!AFI}bIEAS2{RQd>VHbUWg-W%D
zVPWS$BR!vmwtkvmr>i~;V5^7SWb0UKx)dUIk4B-g5Wrux=<pR?f$XJz_V?~tww;}q
z#^0zqN=w#JZN_^&+E6#YC#3|HM~Ow=XcP{skYChqj)r5<GkkLJMRwXB|2;^$R+f*K
z&pml68D)V{uDo?t`z+jH7znxR`GFERVZhUe;bf9^azY9rfY=R;rc6lnfNpv~V92@h
z;=a!66x5dw)E&6qa1lB3hSb<AxjmVw(?>F0?CJJW8*DdI7a+2S7^Agd`Jnq{TFM9F
zn;1SD*5#ZkV09%B!=jX8WSk+asGRY6+mBw!i{O2wC%<M1!nMm7&e5lF8eo-6eZeIi
zW`ureU~_%>7EUUO_gHU{#h4N-3A45Heb4smrulzK7+s^hso-HPX<BPVO#PGm*Bn7O
z*E*uy1k_hh)qq<K%*W)l&XaaG=g2sESY+NLeK(45{Xx2g#joHZuGHacmUMaDWyFws
zH^D^w=f&4HZTI+asv7{7TV!+TKSbVgPHC^r(kl+|+Qlz^w&c8P&zI@q%>+ux?P&JJ
zF!W8<F2k4poS3T4a5Jg%&*rxuRGz&dLp9?5HEw?Rq6cSw5d2!D{z0nhf^i&QI9g{H
z$!{`P(Y_)804dO0_x{D(elM*nagt47pQ{Q50Pu&ngUO#9x}++$SxJh{z{V;@Awzrm
z#R9}}@e3c+?oJ=r+_%DYO1KiM6tX7sHu;g6=(3+zuZ%P2^}aK-s}_5zANrVa7W~y@
zRT8>7f>-@cpvHqaoT*w+s7Nl+2#MK`5B@4Ea)U1xPIS!7KdD}}i^G8R7^tnda(;lJ
zG}+?Om&Y6_ijSr~pF2x;`60)Pu|s-Tk{O%$DrbwU?<hRntz_4on<86WL9&)TBo+g+
zCTQSvO>x#KF*v;a5ReD8$@oK=7#@y2m*aCtpX=lldx_SylEt$TeG*I0y^8WmM-8z-
zHfV(v1iuFX03;;;?GbP*d(ec9IWr(Tpg;h=`0&Y8EJ@b-P;nbuy3mm(6r7-dj2hFK
zLCiLl<c5IFb<#lAZd^!Il0&aOT`gBM?L}*_A>znH4=-zL(#n<$GNh%7oi17D`eKBe
zJAmGi!E1J&$w%QqqfWd7hYbzhZPZqJs1y<&=8b3hS*C=;7C-Au8@MF&?~8jkX?DIP
z13LtR2CXYrDu-4^<qKKv*7p9#(}XMGsl6?Y>!yJsc3t_b)o0H`*@=6()jxEO8p%gL
zM|Hk)jixIc>P(|<!VfyPegbZq$gsyGSVt$aOL5R7&<BTStCx;+Q@A*V@70zmR#5`2
z_fZvRhe~kxT|#htJ1g0JdT00zV9Q=jyhoz~B1dl|4q#wrOw+NYhW2^X+i+xg0{?gJ
zRKk&WpJXBde`iUN!Y>ne&2TY^+(}bPY0Iv56q9!v(@|+Fh#PyXdioljOtf&X*YWMW
ziVzBctYqc09*Y%Mna{4&mqw#JnoYMtva37w?pIARiEx5ITuf&)!5OQAdp#0jh|TTv
z`g^Knof~caeY<4r{XniK5pB}N6_?mb)S9@?VQN0RC&Ls{T+7W!bCLp5AM(KCuH-iZ
z-o}FB?F=);w7?fy{&JtUjJ@dK=6uhD5=Pt{j=;34M_Lvts4ag9QR|-?@mn4K&`$3s
zG(k(|L<#k_4CPLnHl6xkS4+fq1zbLfr!=hW5=@viwQq%wc^AS0dvuEW+b`m$Z7w}R
zG#G-f$lm2nT94=_pIQ9i=#^)cbLBhti5JIf67yOvCK70p59`|B^dV3YrFidd>x2&m
zM^&N>@2C<7<&isVZU(0xoL7HrMTDo=<sYLrv&V6m=zlSl5$o@qC>B%C_&TcRGW3;M
zCKf+3s`xRl<$B;3-d-c8`Q9(b-%Z4BKlQJo^t0q7S1(bYrzQjmZZR-v7yDPZvu7Lf
z`HPl16J3}2Z5wQ!<S+jX&)nZ)X|-jwF#7IJlI-MO=Hy<I))uZ9AzAVdj3E+l)ofw`
zfu6Y9Ilc0Y7?}JhLz+P@@Go&X8Osc?jOePv{ORj{bf~Z-mFC;&nBiPibyzr+pt(Pl
zCHNHE7#*|bkct0nnMIlst*%LEMz2K%Bs$MEqZc^c%R^LAd&=v4rOgF9yRW69f6FMz
zj22kF_Op7AWT(sow}Q_XQ@buqvr_!u%-X*?9i^zHVT1nks1!SjVaSLlHYTH>^e%&z
zUr=4@1;__zLPm@^eDhwiXoz*4gm$%E<D6N}gW)+=XnYRI$VZj0HYc3Vm*T7v2!w2`
z>)(vuM7PL}y%Hs$XE&l$Q+BoN{}Xr_;DSs;(>$E#4`*;^7f1D!>SrumYVg+N$mz|<
zU||-PpptSnICbgaTH2HAla<X@x@4Eo_Nv){cRPgX3|fk1)wjIL+}+mHYbVw9Qpt5a
zMhH!Cy}BiJz0vug)B2PoKRUEGW{n&olu~Mq9(DySd~=!)aO8*;^cnD=lB)!3k;fj-
zW78qLlznPmnjMA>TFQ^4k{+JFQyHm%7Iy~PPOD_T#!a%bmR$-?JSKS#V2BS8RcYB+
zxPCk}Y&S4i<PM^2h`C1p*K@52K$>@#Uo%0f_FMVSBU|?b{6^C@Zaa3V)}`ci-{5Z8
z8wQ7KcI;L&nG*BSfH6l`gFd=e(TQd{t-X-<2)k<z6EY4ii-?onxzY@RvaK>X<85>c
z=zMAP#!;AXl?Sy1!+7K!6rt(8OlZ^cn^EGwOBEaK$_mzs#2%&1<cK9iM|Af0D1Y!<
zpJOBl_l@{R{dPEPyUH&XJucNr8x~Fv<!?frVL$^ArfK`<|KMaF_e=Oib=R_{2BFX3
zDTjAOTfjNl;(O8N^~uppOzPsyC!;s3x_@TDv5pzPhS>7go9kWtU(B2E->NwTdbZot
zuFn}Y5nT)zQzfa;HMViRMIM(D_11ab+s4PyAq)+QAa+1u+KwgFSXqE`gZ+y5)xEDR
z&#@c#xSwyZX-`4svSFp;z53<tzmw2-ewkc-gOtwmf9t++RcqD<OVWz2m$}~za%!r-
z4|Tjh^8A)%@oFn^GAZ?*w_RuH+)|=e$@S9kvA_cMueIkMc-fe`U^z9_*F3UQc#Vtp
zY<^*6OpE^%^6ZR`moIcr8@Upakhzb<-ql=_bUx7~z|z@3w_DJzu#0y#?!Y9PHo+L%
z$;NuS*`9$Cm!>I)%E|j?LN40I_Sn<@UL`rtMJCU_eymHx>H7QJue@(@+?o~lvtB!{
zcNr`KDs{({Yowp!aDC_fOuYl;`p&shlwmuas0qIX9XxNuD6OWga--+w<_T~ILTRG%
z-VqOy+P4)=WQeH1j{sonOkKhOf(&V?rJv8D#8{apUrvOx`ltAEWvaG2{Y9MmB}$7W
zMt>8`LGVq}n33MDd{b`FS}KUuPQBPI7Jp7YtyS1$99K;YR(e}~sR)hv@Vd8Gn6`@f
zcrP<2S#RRp{8#<L*IARCrt;Y}M7f{T-*z36W}-^)?CSeZTU5vPa0l~%0mx91nCsPH
z^RU(%>k#?&1f__|vnLU~UGprA;-w{7CE(@LZF%1M1}x`NxXSzEWl?i56u3o}LB1Kt
z+I8$13C~L<#eKx_k{NR{FrZGeA0WKn7SSR)n1WSmcc%44Hop3%Fugbs#s9eB@D^)j
zHPPO((GyGcgX)LhgPZozazP*ygKx!_gAbF0<a;wN#`7iU!UGR~TTU}SG5|B#bO_Bi
zU86cEle~eg4;(iK%Ud_tpCsL;zQax(qxXoBJC%P+I-(&6-|y*OB1lR%I3`P~q$%)D
zd;h3^f2)8Hv7czXbomXeZ2=!>A<$TpyWB%ayf@<zBe2^l4&?Z7akLu#X%a=U{ziMS
zljN>1i-<gg5{YUwdanh&tK8_Sikf##UHvSFT~|d?@K!*kq=F`H21`wU7Pfn@f9n*-
z6^AgUfqTMfep-2~wrqm2$Pzd}fR>|+)?&5chosxV!_uV<cwzKix6IFFz1owpTV?UC
zN=DTWk7|VH>P`1{d<~?BTcy+Ii`%C5Jj)S7h_DYQtVLL{a2s+@*0!9`J-1;N1@AdR
zgIP~|RrhZl5ODZ2@x+%TI7w5IiZjzA!C~$SlNo>czV74(-Nwjgh>K76rdRpNQ}0A_
z+ljsS=h62BowtsL62pLtoXlVRwq12ht^Ca=iCK-ygXnjpd8M@UuCXnn6~#`bZAvt1
zc1)i{u#a8k@;Lo--zCE(!|jXhpL~D~9lJUi3p*Bh_8vY|@{yN!>xECLdZ&60)`C!7
znb8&Hrss`apQgUAg~^ij-@O-q?wF(IHD=$oVaClc2iCW&x|&etU=?izjviTgKDVW6
zuQaq5oLsli@TuM(&%uEMRiFCrw17mS`Y%@wgRM$<Vd^4&V=sSEQeYH1g%Y-Y$$?Fn
z`fB##z0R^4VYz)5KN^|y+^qN8RbkgcpZ$_W6zONJGex`myZI#JJcs&Roc&f^haXQD
z#hRioCS6YhpYw?2BGe(xlDu~bmoNM*ZR#R!eK)Z71#ce%20#<<JhLZ~f;fUW0O5YH
zF5qo-Y;nJbzY1FuOk?Gt>*I8uu<X9P40%7O<!997auLLGb^+SKl|w<+@^jR!;cG`B
zZh1Rg=LaX#j!l67B&mK7V6h0=ObSH1KN?NR;yjtcjJ(T3F?y9V7{Ps5fNB#F0WqfL
zlH5Nq=XsdFqTZ!(zewidRQNd=o>%%R(2mnHR9$=aEZEgUGNy!D?H>CdFBz-@l})2z
zaodv~b!G8<&^*Tyc&A*?{s;QyWhYF05KRsG;N?BN^RTd{y)=n)+fwv@J(X}cXI9e&
z(-%bVxIh}xw|3)itfg0}kdB9C&dUIPz6O-1IZ$h<^%BpCL+(2ZMM@z5o-T_Ejiv0_
zYrfpvQ&k%oCGf?2B77kKgr(_$y-7Zw<nA42L`%z87mgj)jibVj;;d%+ilKn;@~+?M
zGHM#X^VBTuHOL<!domB1yZ8^(V`U;x@DV2JM;`^HnLG;D*mP0F!yb=xicDQ1qraA!
zNqcYZ!j?v|M53otAanhb8r*E_YK;bM&z(J`IfKz}%46dx!Djqi4O!M2C!G~@B#ZG(
zp-QIR)*2nLn&82^{p{jDnj>m69gP#t4388_MEF-t*h=+GAiFF-GZai`xdqitCXai)
zhnTqLqp)zXgo1@5GLfeI*Mti6%YjcXSFC*C;rM9~5O@n^mXz$aPWIxq9J8v_<Pq75
z5jK+Vk`#L7=9iOCXW8AApC`BOd;azQzLunur^y(Fv?KiUC=6hIQn$@9o5*YhyX?&U
zdI1#s!*$Fx=Mn#LJ4Yo9K|e&W3=cdV!sIB$<qzd`E@!0~MN-9__PyRuQ&7dAN)&#B
zuo5f3M`SSS-BXO3D{@Mg={C+E(tPqp2E~ZZuEeG9SoKugXdA*%Ucd10g+bLQUlD`0
z4GBp_TuIu~hwNBlk%GTB+ZL!bP+`YkKP>ZCke0BqTW6M&F<TCEB07vI*Mn(NY~r|;
z`CMRQ5V2+!?R^wcB8lQ84|f>B+K+`<B9o!7eb!1MZActqy$OXf(^1YMlNp;>Legx8
zUnIrvH5^Cm`00uZV?K#dQX38Su^2w<Z#h~Z$5f&?t2Afe2z=!-RBHLHmd#Ob$ubG|
zG4lKhXJhYzC@=xtl3*y5%L8;JErW?kA2XIdBBewH{EAMc$u#oux_5|{Yca)5Y`J<+
z#HZ2ty0D$*dW=fq)39pkcz*L}TN5rSYUX&UfeMl78s8H|nO_gCfu81k2+~Gj=p?4!
zcfZj?&<;n8rf!q>rh~co6=i=0hh$`XBvJXxZ+f%z@Uy8FSuPi2*L0rD_i^hzyYW_i
z^aqy4%=jw>9$z#0l!v91fNH&=aX=soF!!gDzMH^|%ux9kfeQ)FQdDZ7%F35{4RrMO
zpOUEk$`n$rdTMAY7c@C4l8VHX6-ttQT;ED;0@eUCSpsu&G2wi5-i#b*{~25WkKSyt
z>Hq^OUAfsN7L~97jpMge*QNj;VRai}iBkCk{5w0W`&#|4Hrw(0b#5Q*+%{S8Xcvi2
zty)mJ)CZKs4gf(Sg`Gk0A8vEEhi;LdI*Y&Fz-=p%TS*cj9&Lhfuk%ON-p2VW^o$;*
zs&G7useJoe_4)nkN!S|?D8Ub&%ef2YGVdYA<U^a=St;CIQBtCfFSCN*vjzQ_LW>$Q
zS#kUZTcqe85`XO$=r<VQP=OP-;AwL-#4o$B;iq@vcVAt`5+?{ZGvC~{lc3#%h|Xlh
zbNHO5444<Y1*sKotq0+Xp`eQ;<Zt5}D;_(i6U)DZUquhKwoO@Rnzkx)em?f>S}SZF
zr9z7ZRe1ovSrd*s82BOWteCgg8MW&Ee>1wo651N=|FfT%X_M%VF6<=~$FI0Ei^9lA
zSgnr0ZSe$*>4Z$@{CtRyt87Z)c}q2>H#_~7n3JtB=hKpTtX0M5;o{zR7$7{g$>5N?
z-0_PXNWRaW-BOf=;^q@aCIc2ksU@a{1N=Tp`9n=ko6l<SXpU}_b>s-AN4Uq;1Tha0
z_NR-=IA)D^(rfLsp3uEtl%g^j(%8qEFFCJ<fTt;~zjv&Es?YoY*l$aD&{a{P93EYT
z?mzDbLL$HMbA@-AHD9jUat#D=UKHA2t{ft~p{dco2v^npUJ-oAUpm-I2EPnXa=Fez
zcZnFW-*bF8PYPo^&B%}7Lf-R(yYh6FWVsteE;7H0&Uu~)WQ6SHG4swr8Bn%hNCbl-
zpGyQit^7NqJ0dK~&}WV_OFez>;#JNWn$z%`WrGFful{KVjRNV0Gb=u?8^yojy8Voc
zJ#XSb8E=1{9uIz3e|D=8W03#{DZ&F_v(3`qD{T%HwhzGGcrUez&1u9)m6b~3r1H-N
zZzs-1w+l-YR~37m8b)7t>~%yoQV$mvmIqlugsyQ9M>#A&pDWuzqqQ0yzi*nXah-$5
zPVB%X=ONCQi=}A6a`3C~$=P60$=urO0Q<%ScT<Oc;2kj@STXpNjdta$fz55>GR^94
zrf-IiSHV5hLAxSOL!O0S-p?=AVH#tntIPQ_Z^CHMe{&$f-=^UAU%wVj-g;gq+MG!^
z>gBZ=G+o`qW6EtJIO=AJAWvPbiQwP=e}x@+JXCA@#8-)~JybF^iZD_baT{9=+4sm2
z*+pYtBC>>rG_H!!FqJKL8lr4vsTfPPDaMk|zBXCH5QCX}#&Eyi?|y&W_pkZA=RE8C
zZ0C9Byl3+m&0VdO?@N&IOZo<WfN~v4C0h1gnJ!e6E_z{UU;1rziES&J!4*0aHdnu(
zR9s}~4}w*W$?a)ffO8;RYXlxvd{#c*5F(fF5TF{P@tvKBZ<MO*8=B|nY^guAfzfL=
zoRFvTi%hd$>p9xE&fB;S0Mve)ZlBU`y4`a9U;7lb>QT|}3%t@ICw(i^wTXORu=-?V
z;HZg~>#^m}ZGz1>Tv6Za)}VSVN@saxnryeg7YwX3I((tK4zA{DFru4wxHAA5xSU79
zNcwCk^-}%7vRB?_y+PWxu>Z%KmA2>M>#}amlWGq`uGvPFtv}BC^ZFWuD|Y*Vjs(dg
zqN|!}Qp@~b4vz{Xp)XX8N^#nmKcY3>zfv4Nuan3hL$%X;tAjMim&$qUb4Dpp66KwM
zS|eWba@DW%m>s8*xqrpn$Sl{VR}L#k974&0(h6-?d_awnQ?BpiRq~+ERqiQ$ZsFE5
z55;U9+uIhC3<W}5Z_5WDf`xC7>o=iKnhw(6R7tp;_Jl2QdCi_T^xn*iG{~$}ZCze5
zdeYU75q$yzu2eZa!wfv>^=9Nje!a^v3?GtquCKFV<T}*N<!T;3!_z9WqP9_j8rai$
z%pA^AJKAK=wg=EG2fZBngk>upTeO}CyR+o0<&?|oG=jqwL{6xBg+4$)br+YyYjCo@
zq9LH7E9(60&T03bmHd1f=I}D|24Q?O<kiQ0be=~RYF5?m@lzeWFeJ53IL08F5Gi3_
z*B-GI*PfMMBti(Mun&9;ml8KR`J#oVhZC{)Xr=z;)4g=n;|);`87ZwKTVJ<jH|*XS
zHlIPw6K8WKMQdSJTf?q*EdA_jO)xt19~DopM*R5An9`35j#0UPaUc9nil_foUuiz;
z5JbK@<FFtPFr#2&;aU?N)HH6kqUoaV@SI!h$n2l1Z=!4k8V4}9&5Kf<<xrW{8#rs_
zpoloNS;XD4${OQ5^to)RtxdZi58<R%(qlvhdLr{uo7ppygi;Ujak#9ob6xfEhK|SL
zW|>pX@Ox_`)G77W9=}9QEO<ap)+J<Hx*jsTe-w<_Li3;z1HhUmIn??yYN~vhr<mi0
zh&x-e>x?b$x<;}i?GJMpFF(2dwgt7;yR4d@89ZB+gFNIsPad!vk`|XI4#%ZiHEZgI
z&!q$llYYBy@BUN)f1)MYZvLos+xm}YNtySHA_wADVTxUU<dBFjx~9e&sM^0~GSqVT
z!2eQQ?sWMqc4o|9M^LKM{-*%%0D|ECN->qa@%c?a!vX4f`-;C}VWi-L@6Bnorol<y
zDU~v+EpO7lH5ua!NVgukwe0b8L7#BdXiYxo3>k$>U_Yp(5S=yyrKX@bT-g4k6&gjR
zH890c{Xfg`SB(zqR3|2&{1M7!S7b03s(v41yPWOer**z_&b~fb;c4W>S}-sIfQEYV
zq%SA%E;*n-Lr)*+LV&8?X<`G@?<bVIx@^u8wr9ECyz0KtJI-Nh&%7nl9xtC{PN#EE
zBW@s)M6nZM{*nR_jD4Np`(6Z>MDS}6;v3c$oLm~orCpd~{o3!<PZ&3a@k=WzhLzv6
zc(=qbJ}5>|GFq?@!u!`&=$;Z3k<@nRD>p?VAIw2pv|nJB`>dxo%1bCWJJNgJ6mWno
zm9UHCgr;mkdi*2MD<ZU4B_LqmFLnABPt7!8&=8qDj$01>VN;fnfG$>n3T<@{#cSEZ
z@p3<Vgnca)tihuiI%AJ51Sx{u#N@ld)zd0;mC!jeve4oT&B(RHByFxNRsM2bGI-WO
zEMEFXQWh)@iCiIe)O&^1AHF!j&eRd1<yCp;H{0HRvPyAMK;M4<ep6p4Z)xC}*q@cO
zvBgB>!76SNYPP{DVf4aYkVguQoJC9@PR<niKrDg0_5GbL<y8Q@78?w*8p-BiVg#s>
z%m*&!NMTKA4BrD|n<^VK`;B00*v7_gb-0}ix`pL&#Io-Akip6k0KmI#$RLskFhG;U
zNvVgyifd*C&jl%~*<5!3gqvz@`TGjhK5gvK2onJJ`@uoVf6%-aZp;;(buH_Fhs$c5
zT~C9Ok<`H~8&k{EeCq%ff3UGJ0j;SFA|$!zUeg<uQk%M0!0|mG?wKhv7mbyYw5#v_
zNEoQqOfYMUn?qgw8t1!*JuWKR0P;0FHMWbgS(R%N66hG0*@45OvAQwZd}>;H*e`{!
zRqfmZ?>LMEDB?5l*t3^(oO2z~r=VYtkfnNm#Va&qv=8TCnJfYtjCkhu5U2$nyqw2i
z%-f8~*%h-zAuP65Cxe0iQPJB^KXfOJPiA@3wWO)%xvF*I5&HDW{ZI%KXl4aLcuJ_Q
zNh_9d!AN7Dsuj{+-;{ACUNGX5e2XLcqa5!A2SP_iVW(L7f9B)gGcJ1k{)SL>Co=&9
zn_e4khpJx|3{Sjb82HHDx0W1U>y}C6WCah9yL;P-`X7tHgru*FPIq~-(JbS$<u^9v
z?rx_laK470#TuZ&vL=A^YiCK<dWV!D)tv<pkXADI`9LNX(DU}POd>G*cVHT@{%-}k
z*_?Ud=jG=p_@$nGEzu=d36bf1IVbk`CD%iC*B>&7n=a=H;6bo%512|DFZn1pR^jP+
zDERt0IG#m<8z#&jfX4%}5ESgafg_48wtj1N*92)IJHi9sC_W2bpHx|#%rJHhZAXBp
zTAuCV3`8oMw7iYzZ=rT=bHt!tnFa2_s^mawyJ(n=KPK@ZjQI?$pKsT&-zJ2|yg1jf
zt^WV{gWTOAZ|2<qi7~q4G&}Hr(<E)|qM$}rPH(&Fb{~TYwM&zF2lNr<1h56!Swmn)
z9DwB%;0i&Q^$j?{)n(Zpuq)24d;TBHuI_f}{FAqTyZ&zke7)Bq58${QYn3F4OxAR@
LjF3eaugClaipVDS

literal 0
HcmV?d00001

diff --git a/doc/eva/main.tex b/doc/eva/main.tex
index 803d05e8984..e22acf2feb3 100644
--- a/doc/eva/main.tex
+++ b/doc/eva/main.tex
@@ -2067,6 +2067,43 @@ In these three cases, the function \lstinline|f| is reached by the analysis
 (and thus counted in the \textsf{Metrics} coverage), but not analyzed
 (and thus not counted in the \Eva{} coverage).
 
+\subsection{Profiling via {\em Flame graphs}}
+
+When running long analyses with \Eva{}, you can use option
+\texttt{-eva-flamegraph <file>} to obtain profiling information about which
+functions are taking time. This option outputs textual data to the specified
+\texttt{<file>}, which can then be read by the \texttt{flamegraph.pl} script
+developed by Brendan Egg\footnote{\url{https://www.brendangregg.com/flamegraphs.html}}.
+This script is available as a package in some Linux distributions, and it is
+also included in Frama-C's shared files. The version shipped with Frama-C can
+be run with the following command:
+
+\begin{listing}{1}
+frama-c-script flamegraph <file> [<dir>]
+\end{listing}
+
+The \texttt{<file>} argument must be the same given to option
+\texttt{-eva-flamegraph}. The \texttt{<dir>} argument is optional, but when
+specified, it stores the produced flame graph (in SVG and HTML versions)
+in that directory.
+
+Figure~\ref{fig:flamegraph} presents an example of a flame graph.
+
+\begin{figure}[hbt]
+\centering
+\includegraphics[width=0.95\textwidth]{flamegraph.png}
+\caption{Flame graph for an analysis with Eva}
+\label{fig:flamegraph}
+\end{figure}
+
+These flame graphs are interactive SVGs, which can be wrapped in an HTML page.
+It is possible to zoom and filter by name. The length of a bar is proportional
+to the time spent in that function. Note that if a function \texttt{f}
+contains several callsites for \texttt{g}, only the total aggregated time is
+displayed as a single bar \texttt{g} below \texttt{f}.
+Finally, note that \texttt{-eva-flamegraph} has a negligible cost in terms of
+execution time for the analysis.
+
 \subsection{Audit messages ({\em experimental})}
 
 Using options \lstinline|-audit-prepare| and \lstinline|-audit-check|, the
-- 
GitLab