From fee0323ee136557d12b306a81a378644b6a8a333 Mon Sep 17 00:00:00 2001 From: Arthur Grisel-Davy Date: Tue, 1 Aug 2023 15:56:33 -0400 Subject: [PATCH] add bpreliminary work presentation --- PhD/research_proposal/images/training_bpv.pdf | Bin 0 -> 74883 bytes PhD/research_proposal/presentation.tex | 94 +++++++++++++++++- 2 files changed, 90 insertions(+), 4 deletions(-) create mode 100644 PhD/research_proposal/images/training_bpv.pdf diff --git a/PhD/research_proposal/images/training_bpv.pdf b/PhD/research_proposal/images/training_bpv.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f2c64cc0df6162ef9385c2cf49e90f063ad1f480 GIT binary patch literal 74883 zcmc$`WmFv9x9*E;kYK@S2=4Cg?(XjH9vp(ZySuvvm&VE7a%>gX$ zND&SI0MLnASUa0IzOStfoK1vHjO>g};COlAoSYp^3~b=sGpo|2>~PqShkrg(xF;eS zk8FP+7)GOjgBT&K^21-p1zVW}cU&Jh-raR;m6Pn4ty~`nOTbgw`|>68)oG+jDY>U{ z*A6Xkm5*5ur(|rY1?gnatAdxCr6{;_wJ24+$VRKX#E2ICQWt3G3Ub+FCz z>+L5K8O2{0`&Q?7PEOa+;Hn#}ljUqD6^?Tk%^%LKSuyKp{bq87ZgY!~H4-?S<$KCn zUO}j@N_37ZPm7N}K-G&RLxV;(fs&VP2wm^!YEAH|bv&CIwRB8POm#@?Yr`5dZ{ky= z30fuc3x*h1U4Kekx7M%Vsn0!s?%1#r_%vjVTdcW+rdbf7k*=@gdYn(&si?M-ZsR}eOh z>Wq^#9$a-i&890`Nd>M>md{6gDe$~q?zG{;wzIvctEe<@{er&?t_t$>O$3bF$Gm|K zwcly)8`%C~t2|v_(Ez@9LKq=H4*U>;GNso(#JI%~Tb109(7(%GaUOb+67Ho@izuBc z|B$5oTHi3Lv_rRI7+NUx8!aGwO4xX&P@C!mJcWc~w+npSWR&Ivr4Pxs(1>|at^MgV zsUC$-bkm5p;v@|#_;JLn9hj63vuql0{gzogm`RCGsKS^sLF!`a)Gd&_4znC}hHlGD zQ>~M$w&|d$Y2x1G_E?yUZP*uTW;E%A%DakW?>b&LdsfoxVYKTgpdqukqMAY$F$&kP zpScV+fT3&cZwQZ~1yLu0rWLkwT0ajaTnu1@jH3vX7BGe*QbJA(7(x4uZi$rW{^LR< zjv`!I!8n{q2`w#u1WlxvobewdVJu0cgpw9Nk|*o>#}S+=Y7WxEBT`{ zCaus@luuJ2fr~F&(Y?f zFO&{DWdI4Xqd0!ba8jK>v2&U7bi6o-52c`9T=JRxpr0|2_)xp(4iD0QS&xIXp~w5; z@o@86v)1u;(dD^v40kesLEx?g_fj+bHV;f2>DVT8CMW#f4Tmd;yT!snrh8UTcu`(P zG(%i%e5djmeyByb92p5n^{~tYPXF~&u_>-^*x5p^Lm2LAigI$X9Eq-zztn8r+FLtT z=%$>Er%x#5>_-3ev3&xWIrjP9E?CVot4?T7=D?&M3C2tkyHw3lJM9gaQx}NNROzX% zqZ3-X!xH?~ZDi*;A!|}NhZj$1jodMk51Y$gVo$c5A8!^Y4^d8C`C%^DGB3m60BXw0 zi&9D;4Qhb@uYoa5Z9D3sEA4dbJ6D`BEjlwW9K0IsZQ^;pZ12NhGWan5)CiH4)M+m6 zdqdYF=zzRPF`fH7NIkPYnECq!y+U!)_|LBXh9g^s7bQq<69*H!Kk(!_J=;h+9=)V8 zI_$K>GVTeQ(|^@;yQw{QEZ(%ab$=HBw%FK#$A@sryWxSNc;qab!d(VMPNXIyuiK$s zO}bWeWZLk2W8bo$Rx&}55n966+`sB%DL;d~Lz8(pPi^Pb)=ldHbmA0NH`zWK0)b%k zca!A3*n6PYX48HlRnpx%Dgev8*PO*%6 zN-7UiZ(+@R;M%c1f41Nes*+PbMP2UyHWB6(@0Ln5+<6OY-^Je<(6s6C;gY+NOIM^) z(qEw3y0uy(6}9@>J*T>>rAo*#$`eInUr_CXvab_pE`DiD zS8rmoK3hkOHIb{+{mtd2Jy)CjeKe{=@)?=Jv!LIMB=0G*M+`|^D}{=1Fg?>2f`_J6kiUjMuO z-zA;8oS~(Ok@G+8+}QwZzejoiojW^#{ZGUJ;P?|U&;#D}?{)?Tz`Op$i~t74zcCYl z;rBuR-UkCS;9Y-W768LPcM-oiE8ty!I2(ZBuO|ch`?>$+8~}#DzKryMcm3O*kpb|o zKQSYK@vko<6X0EcI5U9puP-AD;9Y+>D}eE@FC!b^U4J+`fbp*{BM0DJ|8gdJz`Op$ z3;?FTzD$gOcm3f^0H(jbOw53H{oyPCroX;Stblj@;cNh=zrIZDfOq}j8~~=jzRdK1 zcm2zm836D46Egys|N1gB0p9h8GXt3a`ZBWs-t~vG0+|2$GP42R^@p&wCpc-J4! z0bu#-%SsP;*T0;V0r0LrF(ZKWuP-YT;9Y+>Gl2E4FDnb+U4J+$fc390D;wZle>gjU z^{+202jE@*ayELvyZ*!s0JgurY>a?+{ozaiw!gk?%z$_O;Vb~QzrJj&fOq}j?_Z(6 zzHID(cm3fU0Jgur?DT+l{ma=I0Pp$}GXmKE`m!?t-t~tw1K9uivarc!8;P}_~PaY7pv;Ca}{$>tS8hV=d%ksPRe z#PQD&{$}rQeAk~u_1pV*!uo$bG;sWLoWEQC$ESwhT-n3k1n@Tn{nJv(#nAa5C~D_u z^A8aev~ve&z3={a_Id9smiPYE`DcrwiIbg+qmhXdfa9O;`5zA=RC}{>bgc5?bO(&` zAiep{kgvk@-$W;iVsAAzkir^4f{`d6! z&$;}`&#eEIo&T}@_pJXpp#PMf&7A(t&w?@lI@$MgGOz~FDajZ(S^a)#`+oMn6E`jW zzp49u{qN=Y-8uhXiT!`{`|s=gzxMk-pM!r6=s!KJ{r}qU|9(K;kLbT109CZOs!f14 z6Zhoj5a$Z75xD-K;E2S*A>jQ`5SWSp^68r{-t`tO#f$b8mGxV~wh|ZZ*k>+~8o^S4M z3G}}FI?+S;_3Q4-+o2sY8QR{`{n6pv)5Fu6+Rq6FQQ5kky1R{hP1i_97kawweD63Gop~Kd4-9D9 zxKDg- zyI2c?QO9PSSG=AfuVH3zWrAku4B5%uKEwhZCYC3-ySXg!N2bNz9bG0hI z?at4Pzj1h}J6FL|-sxaO?JBTq!<)KRtmd?}hQ!Gi4LY&7Jw=$A=Uw}9)+FUvlz|V> z+N0qIv#4wMuBPL=%1T@nlC-(_vd6o-WRd8ww`_GOqR|w=mqd~64cn+4llDPsaXB7Vk1bNK{y9y$5tzJn zfv~Eq#=>aZXR1DP&%D=jwpCWuD*5BP8ROeB_|KVY1~oj-s6|p=5Q5^KZRHW2w}L7@ zK;K{UJ9E)Y94v&ex(}P3)Ek^GO~T|5w2N{E$?VX!&eq>gZCiDAfc1ToB(`6V+pE;g zZ>0PZLIjcRYNfmy2v%Hm8fv}91{RY0l|3)fGbpVnBcyaqRIsAV1DJw|6WyizswslY z#cDVx^MkWmS=_nv2?p=$L6oK{z<2?};smXi&gBu=#Y)aSmi9~JeJct9_D|oCr6i#@ zlh?bHpkGU$s1OgHsCC|QJH+extmY*R`cz$vspE@~IE8?5BV_EFRQHD;t2Oeu*YbCd zSkklP>%DkBu$@E<#NCt3B)W7mk*wz6xeyp+VE*uKHlx+R774SxGWvkS>0^lGGx`)v z0)9kqjs7s*%*dY<7{CYk7;R#A%6DZHe#Np_whvxrm}qYM6J=x%#P6${`_5yg7qzBR z2Lxjl>)SrHpY(IrSX(7Lzg5FgA8QzhbTn)?$yfV{>}3-IG#SGXk-1_%n38q}@6u2+ zFcFg)^_#dnB+kQaa$HaK`2CAkYGLx@fP$Z+!A%x>I3JAL?W5zrA_Ns+vCPc4frJ*@ zB3!SYFE&xaG%B>xgUE)X#bOpf*OrY!uwOnz_>HSx-}y);IwhGuMes{*7!~}I2&e^Q znA-*6`;m&lg{1>*s0Y;|?3++N;!CPvfy7#Dq{H~dn!~CQufD2d#Ws=Bddz@mx}-ti z?uRUd0#x%GU56$uMj33C4#a!EYTvMxq*W@5B z7uw`s(4|V1q=WJsgANazQLs5cD{=MqQT;{{3Sp~J0HQPi<;$1I`oT}RU~tRogL?Ab zalEo(fH7pnHKp5Jy}tq+GOqC&h@cKFY`Na3>8t>#QgkTFH>-*$Z7q0xDZ+3ZiiNU> zTiKw)-DbE?%*p#KprgnMy5O_WHIXgjl@K0!Qa?FcrS4}&2{XD7nZA*?(F*%mseCfn zLX0?ASkO7!Fs&T}P1{}lfYwk%sh`yCq`nm=0Xi%yOP5a#&d=((D43*;1d{d{T=+*~ zJx$Im#@r=r{`j_mt3AKg-4%@)7Wgs-38=27O6RswCk|Nb<$C29TQaqXW!WSnl%MsK zn-0`6C}4Nyk_ORvATdMrF6%X$Zw!S%)}1dRP=PZ z6t2}d#)8g4kk5Rc8TaLr1tf8T>Cp33C9d}sRU>xgK-;9Tvk~$)M=FPmR<47L@7&S5 z0>DcMvW__v0Q>~#SNO|x6n#b-cvFA%D|ttUaN3xmyUJWA!Fu#03JI}Kk(at=NfIxd z6%dpsI)jKJ$1$MSv@J1GiA%EcR^im!5xK?`(9a>;l#$%1=Jgg3(#=7X;v=y}!HZ{_ z_Fy2e5Ap6CdE(&Uj`GO)X6x=&WF5C7wODo`#Vk`^%k_ffHBm0k4EdYMrQu0BdV+cKH(g()%z`hp< zSy@%H8&JX_V_hGg0d0D@tYFzT3CSF&scO>O{64& z3lnyq+Earsm-9mEf{6HePEze4#D&JFXV&fz=_^Z z*nh-V9`gMh#B`$+5G<}hHLDLs9v8r;SpW=a(*PDJ-(xf5hF!ce3M+e5&OFqes(?$E zP{Rdgo`Fc*B-sr-Tq)&J6tLcJYe6PcLV$*kF@hF<3#mDLj@ODM#`E)YY(fy1&$Pe+ zHpAK@Yz)aemlRTcEi9a!_E1l-H|lZ(LmNiq_X8eK_2(oPv*2-%3^Pxf7+6t3C)W?~ zXp{j5uF!2{QzGQ!59}wkZlx^?A-CZpRhVU|g>ez7q>FA7Q~NFQjmfd1`C58HLW9G4 zx0iLplfw-hMTT5hGH71}E<2Yvh| zym5i3!XqvGfmFFs?Z7V5)mbqO`34~i+OS{*R}%M^VK`)-%RDS$blB!LRFmLvg;+Uo z@T0dgkJ!CTFUtz};Ab8x++<2IzaW1|pu2BIa)_K{`a@J&zcNzG437;bjDR7hIasOq z4flLj`Gh|9fT_>-M?#Vvk8`aJS&%Ao{HVJ83cvv88g;)hig+~H>Z!|sV)`_K3DlQY z&2P#WP7e>5800ys)4EXIg98QX{38C4!sxIAIP$aIex-%W?5D-IfCp#rpqDFw^8oKR zOVzTrXaVG)mw1$qg6$|$0poB+ubA112mS1%`;HY{VxNwRNqEWnUp zxG>|%QeaI)B1^;-b(+*o7V^MmbDOh+yc$DBEO=q}ot;MnGk+B_gH&yl!M$|!4*RB~ z0E`=CqXnrEL{XjZQm9X53^J}a7O^l*b1PROv5>^35EU3g38e5pjS*?CJd+q*68g$s z=sq{WQo>=@AVJ=L)qDFtc;_V8}{91s80&IhBePAhL3B}0LsmYB@?f{+4Ic?ZdLPlfaDk^&6Q#EU|mQw z79A}sf#eV+wIblGH0voaij0CMO^_Gqen6i8gsc+DNV3Uuq2wLESfEjoCOZkHGmiIWI`g% z{W?VOYjn$2IFVOK$ox#07oy@i^oHpdPbv`u6gVx`?>(v1jFOqoa9vvu#2V*P+VTL= zlOWg_krM2F50zg2*lQO-XPfWQv)msJ%_8a&RsH1D$b~WWMc*#ge1+6u#^6}SbSn?j z>-tPe%z`w?TEeJ=u=6a8l4v$$5Aj3Q~>sL6D(tJ)x?$l7HHbjKACB~CR1 ztps9t@6LD18eBgO%cp;oWl!MA%F?T+MxmqVitC5edLL9Kq0+G8-oewMQF{SD)K*(97J10kVdwM9|k2|4@HX%Lo8bG z5p)!H)B#E~y@JBo%ab?kcxR@yC%to!$qivRE3T3!$cTawDQ-U(MalYpL(m*#EmKtPrXZ`VSYabQT22xl9$C)_hE=ARCk>MYMx&8r&;;M+|GDT@f=r z=~z^%+PsV+U4#HeX}*kmE^QVLk=4eVsz6qQ<{0>Ly@e^$EKT-S8#pl>Pi-3*AO*@- z5%!I@7Z#jJBXsnRV+IbYaH%b6nOf^)yWP)lG-Ty3D=irVoLyHtQK#qz)qP5OJ-$tz z=BBbKaWr8=M5!e#cF-9OUrg~D)X7eZ9Ir8qm7e$K73N`=Eizk}L%-52Hd3aror15T zO->FjMVlJJ8$lGJxm@q7$(_Z2aMC(do@fOvG_7WXvRFywUqIh+agnJ zp*CD|uv4{LrRN2DxNZAsw0FnJE}_;d76H>L_v3fCR|pV<(tE&-@a56ZzLuV-Ya;E71;YDh3I@dR*GOLOo4M785e;e%dv*@q z%e_wH^&BZ2&oB8S89gpCa$if50OGP~&39qcA=;dB&xFNei)r`whOZ_*=ty6iVQN?N z{7liz(n+>6f^QxiJt9d5i_ORT5wnl)F%Kvjo%_b_qQ}JbyXlzrZ<%DQOt-9at*;5I zB#Ol!e>$~ltSX!ZOzdJW)CeFt5UXp&y&)!9K0BmU8ehhStoKKzeE)&u*3YVuF{|=0%hRpiV8WM%#JViMqxHUgl-6=wu{ex(InnK%{!sl3l%^IjsAO2z1 zvzFXLVP#dYr1Y5aFpm{tW*wavH2|XI_tki32l**CmqrC<+z?DY zV)j&6Ym$bPS3y}|@!N@Huh>zHSlr%EAkgG`x+!Z> z>JhRyyv>laAo8K!#e9AgXlF}+D0stZLYNrV%Go()B{E0-=#c|Q=k?VX-tMgPj99Z^ zvp9r!cpTj-hNbc-o%9P%3hi20dqIj`C~Zer@ps;rA=edQXUb*0^aH$&`31R6&lQ#V zAC%{Vt=5$3v<4@%LzE|!Hn%atL}L=X6o+lrj3^7Swuo*0qmZAY0*CMniY--romQOo zhGR7#CQX1d7j^CV9Vc0t)#wWp4u_>%a}|i4*6fyDXe-DocFd7JE__bE=v7E{Y1g8v z;gc7uR?VF!yf!^1!mn3toUEBOY1OLx*0Vg59ww;On8;{(MM|2+H{nen!BS*Ifx6o* zl|cN@8gkc0w>szUsKdGTH|zT*|R-ksoi7#Xo@QtWWQ32#lo*1r^ zT=RpW+sB{oEjxJU=cYx?Q#tY57Y*N28V+sedcJ#xHs+haWim&8d#DE=m2x)ju;!01 zVwr3F%^BT1ZBtY0&N zdT3DkWPQAU+Lb(_qpDeVDa2=#R;+{hr1rdiiXrVNRdFMopu9vYJIYEjn2q8;-c=%g zrQ3*(7Mwx*WfPyaSEEb)l;=?K+W;4C-=nkQPh4M958CH=bJ}A!HpKLU!W-`VpAA%B z7s0+Rq+%Jpo#&sGv-Hamntq_mSvlz%Kr%~t74KL6!l_@6XYrggcynh$HpHXqd=ua` zXG8haO5P7l@$-DLM{!yS7d|gXPKY19Ik|KSvcD)NhUGDAjqa*+eJMAApCa)7DIu;8D=a1&%et zs*5RZ-y6|E+DZj7?CqyV79dRy!?@+r=TzdcM{8I((B8%GH}PJ_b$sTFjeDsMk}W5K zeT%vMDbL;sBdO=Fci<_kW1_jos7}*`13rljm9)i7F`+mW3@z!TVjNDj!(uM4&-mED zEGFN8xd2tVd)4L_ab_9%If8*G2rp0NK_s%1-sEfr(-s;IQ>WRgL}m)siz99L`G8lh z@?|ZD(z0m}*4=ATEoUJA#(cUdP+Olt&tz?$dtaYX(Z z)}PXGG;qC|9~^_$=!LvJ#JBD%0H5}gS+0e9p)gIuzb7>+F|WU3Y7|M$2gZ2zdGnf~ zXIu~M>YE|vxD|>^NX8Zwmt0-D3i6tC(Ktyq39NV0h+qg@t52zilp znfB1ox?nu~ohMP2Ip_}CVDPuw?8Gau$Lhnf zM+DRm8=7cYjrHG6;f&hD&?C-%$ZV&@8y$#lnvk@t;uOe}DmLFGVmZp!_mHl`8rn&+ zE-UjDSbbHd>$xFM5^r9zeip9l8+}VZQNKk>t8Z(YvZ2?CSNajDMgd8(H1Of)vb7?Z zVt)0!1Ivp1XW&TrP5djfrE{0aBJs0DwOgL4LU>47T4~CFF<(^Zg9OEjj1VxaRG6}3 z^pPOP8^CE>Qv7uxSLnJ={{lbq;r!JPGAJp_}}hz4*4#hwFJfzZ4gYFQ*Dyc?NTO}mZxrrUgB63aO&abUAntH`r4I979Az17!`-3e*$_BMhTkyzoC`GneY5k1brR8`}V7=Z`83m3xw*I)SdpUl-j)BYBT#lXX0{K-6mH!0E@hYq3KhlFyLTokt zY<20KVMFX>_5Jz!bJ)rKPMj}JP@ymFq=2Jb*va8e9`w&ym7Y&A?q8NSJzupmGw`!l zP7im6BqL6iwjm4(@QrUz?W=bdrGIf|rtE&_V`D9t&pKBMtj0oE>$@Hsu#hJ;@+;G>3?{{tYf35%hQ}6vhQ~&#?%=|y8ojQ5AKTQ`*Gx>kU+{Aekt`RRX*mgE#gE4h2H4jL z6@2woa#HDAc{Un%CASYxlUqH@ekBH&IoZAt1ks}{#`T}Q+jh&k7s(FeDfk#-WKMO{ zFVeamyIA<1EprQY2|mfZq8=+4_&GUVFzqK5-(qD1<{UDG95CIL0PFcWjw3$v;x+hL z>{xVg=CE>9ukbDPhf>@(!s;a+TT(C-ysVq(J=84PSguW)K4 z0nOAtN(bP5j|uWHA6j0!1nihI~6XC z$vZIyMBw_H;nw%fI$JqMqlQi7BQ+qZ%=1OGUU9YjoYFAEr_>S3U+j907}s;MQHFce zs6OtM*^1V}s$Fe@IQW+w`@V8wzPLfg2+6V*?Kwv!$-~#tFJ~-x@=c#hu+TA`OFWXH ztzzK}sQukuBB$nccep2vP$$Qz)z$Bs(3t8YmAYL)2hrxI!TgT;$&t+xDfHAL71I%s zYjv&H61YbR7mc(koV-B6GZ~UCuybyoG}G?}LD11(42!)tq7u4K2J;lwBX*rm7>qEb z+s1qz0@*js*1#&`YOH_84J*vx`g?2(Tu56Xe=T_7ysvdU{xIU~*0%cdawq~D{ldB0 zO`&NVmbgO2e5ht%`z~Z62i6qMvXh51wg8l%^A)C{dn~aI*cc-X(Rp6Qx*8J#>IpQh zx-!p&wp%eo9&3a{$NaoI1_9HG&We6l04eB|_yw}WY!D@>z zPR_%xzZ(@sB@UI0=DJl@t%JM845-W5$+buq{K#i=2Lgsc>5gvF2ggV}p;5FaAne3XZ>C$to5l=P6^H9LhWdmnHeXXn}S!JiG)ETs8iK9U)LvY(~ZQ_IP-H<&OOAm(0l`oeEtPY2A6 z^9b879t5TYLDecZ`X^HoEGspLY|d2E7`B-Cm1tf|IS-pf*ZbLJ2Cm8}a=76o!%Z)I z0C%@qPyB2@e}K44h`ItILK8r&=QKbYnnAsZjEuIcEHr-{^7&z1))1n{$X^l*6j%P? zTK(!q>);9$&T3t>yQzWtThuU8FcD&=Ys_KqLtznB{}U7<`6ZTq&72YxF-5&J=*4xG zQk}#cO7ypB$ZYWOCdU!SM%?!`CSGIW;q^@U6 zmEj_LixAnLarS*<;~WU$o9P8vTd%`UONE_H{xu!~xUfF%-m2DQo`jnD37X)vQfG7fK03(ugjm zB?v@*1UgZA2@T1YFost_ftPtq9MnM`3g8e((pdNho)T`FA`gzmiuwA3Q6EqJtU?D% zTkranx(s2Lxx0)$%1cj}nXx-;W)Jo?pyVr%(InMTJh0X@fYDj9u5}2TpXUlf`r?`K zq*^+4Qr*+)!!t+ZZjIep6;l{2?w-TL&_TOpub_KTcOA4)iN5Rp@XInf&rIyP62!MQ zY(_xxaHd{QxXcy`H`s0WR8^#V0JpQOfyH(x@>-=!s#g%6jX}8SBD1+YY{mO6kaIg* zFG<9<|B`q@qc)zhH*Ygf;LQbsY*GgTe477uKIQ_V?7UzhXLT&n3q%9p*DbehVD!07 zaA<3|Hv|8k*zObU4)XXu{CZtGh5| zp1uHc9M>#OLm%B3zs%H4Z-V53fRwfl{b0Ky)sJf=q$vb7JVzFBk&_vQvbA%@@-uM_ zu6~&)?30xoBfX+J4D-&l7QGURADa47vWAFhnfxtCcK z7v9WZGXFRUG5>AOAtcl+LU@nxn@-I-RX*6UkK%XK#4(6`uPzNs zTH34~IBW5wr6_6umKWov>wt_OWy6(RuO;+#f8IO5K9qMBUYL}r`er)$lbnaN!$>wjn!-*eV^~#e$9YI^_#4Vh4w=l$W#X#+&e0{X-TKyVh@9}c z0PSOH7(|h8U>%NM2Ef!pWD`C1NcxHm;vlDx3(V8f^PtG7L4-7&2~#MlGyrPC`$oDb zD73Yw)M5%bZm&e`8_o1`&S3J{N`|BTxB{0gqH}JY84nrJJ(-k)n);e$4D2Kn`FfR) z=;W2n!oyOxyNhnglF5*UQQHHyGaG6hrDSCwF{WI4kgprm0t?6?CW zJ|s7EoB3;Y(8xw(q^d}s(*f(t!GSbG&XFV?oH=jZet1$R8GAz>XjfQ!g32+J3ch+%;8P^+#^u$0t4o{yF$WN+Z(U`N~ zZk&49BEf*z5w#1gTs{k$6wBsm??E)t@aNMilQPIW_3vQl62*|BS+yh|a1KzoI59LI z%n*(=3!;=(P8mP>C><+b2E(-Q<0wu+(C}kzLrG5-f8vuOBt6H8^c$+p(X2O831$bL z#V8{p{f1JNeoyPpI~g6v1Vs}r+bU@4GvAzV-$-2n zN{mYkIu1BWsoV)o^MX}$0ePM1Gc|%Opnn#RpvQSLI=U|=$i2w*XAFf?;x zG(7jWi4vYNkz?c-;tG8<36#);5uT!`xHPEmw*zp|+Dl=`Op(Pr5$vDL719xtJo+)z z71pLHV>SRHc|(YGuR=;K#SIz9u7PAEH?|0x$rcjOF}Qq!Mab8yC5<6wfuzCM&ourP zacG@hN$wrNMO$MY796V1cR*8n2uCw!LdyFqAqolq>-KUH)-Xpe7Vo*nj%yLk@dWk( z?G7>c3C7@J3j<8x_Nuj;n#GH1i-FcB(=9k}*B0|&_mifI4gw%IH<|~KNC8vp=yq9O zR*>ZTmB41MEXD|u(I(_M{sc_$5=1_Z@#wbjr-bP(&Xh9SYt)3>kPqxQG15RydM39i zJY@>+a8))Fub`wY_cVv%+vs*uHsAFnMVbv@8561 zsCY`mX7D=PR&mKk1PPAN!eC{$C%U|4-xRUAf*&IWv4+ehz@i&GpNv!Xa$ zFJH7+ZH&nB0W&vPu1f zUGeENeDz%PY}mk0E@Z6ufD4_-76#3-acW{*ylvvcEG)cWNA7mrv2@mKR^nhwCCz3P z)9RHQCW9moJ(K-N3eo!9y`n8V3>KG8;0${1tVAgF7!n{)*ZBoup)oQKu986Qj}7rc=-FD-)(fV=x>AuC7v! zYD4D{Uu7;k8%q^@n;+1dfK?sgS>=X>Ucq=d@$KKGwq8q+tQqL%RuwDp!8@-lr$C^pV^k@TO_}1NM*pw|F{(ysK<%$K`9MZ0ab0n z=FL*zrpJ>~;E0F>ucV|1Un&Yum3NbB!LGI@TwZtdnE*(DMSrWn7?A^YaaP%H7a$L; zNv>L6n|e|hck%7X)~}JGI8aIv>|IR$;o*MhP%lZ?Q{)e&rIXHQdW;r5tBHn3aV3~V zi}4id&KrUbvk^sp5vVqGtoSXN%)N_OH3{n}-B$ZFz^s_MgZYZqub8A#w5}ebrFSMy zGvoxuO_w7FOyo+()fu1p!nz1U%Xors^L!Uc_^@6Pu81D;uPwzfY~woy1@ zj~rjdgc{T_Nxa+6K)Y6`Si%e_`8fcOajtQz$?VIx>)Qb~)iRzC51jo;M5_8ZuVULy zMIJ~RV_nf`DAQt{}y9wD{oNDYKKFf7LXjEn#}g^Plsn+1jxjy zQ3G}ef+L!!4iRsc*dwl^>$*%okvzB7wuLA()i)v_m!}Q7!SoKLZ{v=&8I;xxX<70j z;#x->bd|CaQxs2S-p=Ggv2atFNeiH9(85w8dpxRqRKXm<;d1pUjbz-@)(f-B;-Rrb zHC6aDrVuo=Y>$X)*&jE}Ss4bsW^ee$3q_RgjAF0_bt;~@qZ~CWJggBqtYH_c1c9e8 zfW1d5kyWvm2LL`04Qcm3FIe~}DZ`I-*sz2U7;Wlr6_}7inTC4HxfwZ=k{_lb4VS=-&> z8%w$iS6Q`mQjb@PqW$U{JPLntLwJz=bzC}NzzvewH6BlKw{R;2zH_gIeQR%@T zNvb*V;yCM0P(6>vZ3QJ7LpGTtwntzoFUY$pjGqh;?hvN+M=T|JAm zt@q@r+z}!ThP|abFVyd-+DZ|SeB3P>>0KdqguDp_YS5D+5?b{03a`W}64jP9ZgR)u zpi3L0Ej$&GMB}(%4XLn+y4VnkqZtBkE{_fA4U(I0|0m(9f~J{4XQDvXuBVJk2A}Xl zQgV_@mb3f9N<~2*m3v>`g344G9-h^y^}s~{!>_Iosg#~j1}>jj8eUvhlrDX=XfoXe z7*$(_t!+p-C)k7d!`deE#V9|F?C-6P1$#&Sg977@6|$e8D-N1+68b0ee^^!wNkb2_ zp&8n+8(PJA77s;C;0~8wx~Dwa0ohm=@e#eEqTwaTc*!O{zj!NMdd>des3%9|w)WM^ z7DM2y!h@NY<#0UgJWp$^R_hXhlK<)zCIFOOswbf7_la!Lgr(z(Fx`M@cWgbQ32zV1 zU~C1-msV81)W?{&(+tdbXA~-7PcEpOnGno0jh^h9;3#w~d`2@FwOn(MuwM}?6pzJt znr5uz(7_|*VX6vn;y!LkW+9VAb#X?tlN^uwOc9}MuiN{qdQl&9bfZ@c5107CS7d_O zI%4ad)2CxWy&AP7w&w*)7zH_XI4Pr&bx5@(%Z+n8f3T{>?atE3*+dR#FH|E8U4`To zGB30AT_vl66Gx1qu(7qFPOaK~h0(bz@i60)-ra|?mAWO!J(CFeht=B0s!G#gT|Au> z1i^_x&sU=DdJ*%dT-DZE5%ZsVWaqT^Q6AHbXO>~sb_4?^e6gF11S>>s6yH&P)#HgD zb|ob`uOJq>a+*myCdOx^nog_n_GgfK_B*07x=9wx=Iv+sgyq45K4$0$ zI`vTaB~xuQ7KCyOx*RRG+2htKj9fRi`Z85u%?S-F$lk%~)YShJkB<@*0p_n8=S<&G zav4cC!{V{ogi+>LcWjj;*~eO=V!N~ss*bV}N+eZ1ZJ3W@=P?nnw__yLqZ5%l2Zg9D z%xc#wm=7W~&df@kPbwPZKzxx@%}1_5kaC4nu?s{raaC%3Ryre-T<1NvkYk0ENZDg* zR~hsD(r5#88*K&*4&6dBAfUvaul-E!UucC>NMYpgKCURemJY2++0!VYx@C&j61M^- z$G^h(B?5`L{9Q@dHuT<~}v7~{yVw?IoJYmB+N4aHf4Gv08ZEJGSg zo1dpZOe+6$s|n{)Q&%$dQMbcexS%BL*K0?qAy`7yL}-Rn$*E>b%Mx5_V8lGYU##We zwO}V7`amqavyEWPHPaNbdsJfdEz%= zbF&~tJ&g-y=vrr6)14@68;W&scAbWLjNauV)6}prdc-*T&{yt|HpRS|-mE?*kWf{* zp|?>ne1Pi*pEdJQoY*KUb|<3++C_ooD#<`=^yJACo%gZAV!FNNPgQ0MC)MRIcPh}N z4lk(0544+_7UESz;-nbY&Db3v;jr^m_TMQChMlwvVp)mH2E z?KS(Jtg>n$WsCzyU^zF<>u>I&dWuMlt9C#FBD z*nZ}@%0l8;-{QFcXnk!^C{@uoB*<>o?FsKGX>?4zsc`3Vl7V>tUF4Tie6J#3#Gz)S z=VdEhxZJ*v3`mV+b@Qi!rI@YJXqF;{9{-*ibEt&iaK2Vd(pRYN#qYmjAZ(7rF8CyN zdVF3VAFr>!RLLB0{fBbm-=f{`av}#4!|xWqYj_<0J(=(S)^x&u=6C-u^+X2xejwv4-9?RK?=kAlKP1i<5 z98Z{%8T&I2Lm4VV$DyQP5u=Q<_x4FQ)_t21 zI2p^%GKMgi$r2sV6>NuNhfOLE{ePHy?|7>FKYTnpv+TV`MuTIIGO|M)WTePQD0|%{ zn~;@kNrY@660$NvB9bVPBN}E>MESnn?~@$v^Z9;%|NOZBy&v}KW?d|l7y^Lk!a zl_`ap{iA_j_}oGs&eM0KXU~Z5Sv*u6e^Cp`9c~lr(nvL@nU7?Awp{w9*`oSJZLWm7 z!x~>7QAMI%zr$or(y{S@nVMkp>#6gLr87sza46>S8u{IP{tX@UZvp*406U1yO*Hzu zp?|nt!wv+Ke_;ncV%{O_pih%AuTev8lpK64YcTFd!KfeuN^+|DyIi=!p&6hqv`7vlVLg8vxH?#ulzIowC9QU zIs3EQ`nauQgAMdEY`{iLa--si2t%K2mtnK{Px$LMB_h0Yx8owh|2`fMxpCC-i7;7+ z*X=<1y~j1PeP10WAaPe8%sT!a_b`dIy6Cr`Hbus#0&y#em^1Qzuys&RPl=*@2>H$l z@p9~B=GZJAck<$9RuMeV`0J;t~uOcHiARW_Y^zC#wlA# zattJRPHEhg*spX}q4*PSR+6BOe_Zl2d#mPiI7S~7L~<#gX30i{2{@P`#ehLZ^?@_C zEi^%%w8C5|t|a=0@c0ZXYS=a66Xm2ObXj9cnEc~%=sLUa8avD)2wOCt=NM?Dlga9K z6n|iitn&QU|1ruP%~V*Zhuy}taoh<0>+c#QS-82;#YR<{S(V1uEVLSR;$ z-PcUPrZi~eVpN=+Q%wOI3-Bj}+(vS0by^h2RId1i_*p#u{(8~gE;g1wkxuUp2Lb1$ zvWrb~sPwu}e`Tb#>qT?(D~Fv~N+VIU$-!0vI4N;2TUz%eu5~O+k1s4WWZ%0&vxeJ7 zw13TiihiF+eSq+>@m9cb&iy2_owx547;6gD6KfUK?543AiG8Ugb1yjdji10}JWT;c zijOi0&&FGV@!mBaWKkDiQb?Wd<<7mRA6@8Aoo{g6<1tIML1F4l*tNG)lY>nYUMY6C zy%AgkG^^R_0hLK2ntbxIj4p=@nVqw)wEw&!IC8T7X;H0R@tx7JN!yXHB9`wZ|}^SEPG+?Xi!HEKGfVl@Y-9>}mgdgf}i z$f=t6W$a~B(Xe@c;{y(fkcC)1vNJ07nQ@nj#JKZU&bJ1J01P|loU&tGWgj52CgR)OfpzeAH{PMB7<K$2T#w)jRhNYHi!h=Rc&${*w$>9 zInKsAx~1goAU#G~xNUo^FiXyi)FW$~{NR?qT~%MeV7vD0NeWI-a(u(({i;fxZ#hQx zlY`gld4!gR=J+)IiF(4d)cNJ_qxYt$p{|O1uWxf#p}a_aknpkh1Ea5hWU`_N41(iS z<>0PLk(T#n9cO| zW_aFC=LEqSQdxP2H2U^09KPfZEinyz%l@`fPxjSuyIsHroQ($o0*;vUX3c?mid_cI z=5vWrb9Rs%qdoq%0SB`kPj{oT-9nDv0N`|sKceAuk>vTwvi|#0hDC!JLlUVlv08;c z0FLG2b-s1PZF(@u`2n?6&?pCPtByyqb42!de`Q#0I32UHH%m2~dsd8JC4D|DDAJ>VD|)=GHN`Qj5WDHZ$ZliVeOHT1{IO8Z4b8nH6b7zN|KL3?CLb}KLtK(_ z5MWT1TDG&Ajef)Bd&Hrwr$J)bpGc~4--4XmeQe0t_`8Nn&L+!&zuGP%XM=!kDLFgH zkI^oW+mO>>53`)3A!j)vCgjWOJc;pTvK>C@mN@6ca(4F)md@UiI>!Ia@%~c9+NYZy z;JLE7RocjNs~Z=QZ(y?s?4e2EhWyB<5B`Djjo$c8N4&2ta>FdAZkchl!J*5Y@P$%` zbCOclEw0;oFZtuYDr6wqUCXwyv31xqs)k}h_qTjC}-km ztcurX%Ki)Q3^>AQ1cz$OaFpy<2G-Pb<>H^a_Zf3Ts=mJBVDs~y;mJvF)|S$9+RF=r`0Vq0)s}J6liW11 zKnMOQpxT5mIqDlo7woOimosvGl(L@-1O zU(S1prtXQ*VgA)R&H>)2LIrWg{c$w(WBjTy)I|p$nWfxk>dh^hFk=ZQs_73)j*HPI zh)lj7_bax`U!z#B8;p-L$)d@NqOTazHd5Ibk=LFK_X)qNl|8<8IDs=M`%OT?^dYA^ zNtKxyeYIK+I@$!sNr~i(yGLA@Tjl_6enYsyrC%nTh;qA)4L6t!8Kb#^4S09C?|FndVUO84{Y0u_Y>@%>-sNPh-!2Tsm>OtXKxel05NtUeC#| zWUKF+rOf;_q&~33c4RZyj^?clzVGp0jZsr{>fv7|jXc7!Og^X9V7Z2W&Zo6vw5;^Z zucZU~uk(nE>jWYD!Va+L*#T70=5qu;SImla$G`E6=1TAlo3hT}AflmzEc~ht0a`Uz zuP4ih*A@6v3mBA3JYuPS`OW@2cZ#cE;W>GuCvMubjo+T0xxkF#lewf4Y}~xA{Lb)D zAtOUaoA4-I>ziiVlpJw=!3)gQKTT47#Ot)qiRQ62%xcd;iwAi+Z`VR>xYZvjOQX^=1bNGTMxK+f&t`(;|!>=8XC1Os~Pa&S)^q;iBanarOdFRhn5E4d)Ar zOTJ~GvpV8@%PDe^JelR%t)mDPBQD$37Z*-~uDl)U%GqALmlQr0@C5Lj3Zb@r&VV6< z@$rw|WBrWEaW*n?c}66H-l{jWj!i@>lax8x&gmb$W)`3u89^PG_fKDMa>Yl2w;@Nv zTPUjqp}m9MbrD+Oagv0h<6wYXX=zBNW9Z|;VR4LF$m z7^Aa-KiVz>XS2D(;5a+TkI`=B+kmr$<3KI>wzY#*T&-DNta_;OpS44h5Xu#-9g-`! z^yA{BR$JpriRJ0#>VN-h-|cw|dzwRIjJ$#> zRje9h*#hEsWDH})*Zma)7@vratJumrlKbNjA95!V$DAIlQ$%s#_=$scGn+wXD=y3sSae`M$vE(6IGFFzg zZ-+}mR~Z~t#Zjx~i?vSxa+tXq-LNgJVE^{N6lb%ug1_1>BWI%;VwN1Vul&wDRcJr^ ze<25y9C$@O=2L~recl-u+~N$_F>U_dPoXHnv+NH!FTotAUaG&Ow zF8#!~A(W-`tFR1Fu&^S%T%*=>#KLD!(>`zC@B?j<``gs&TA169y|j`!j^y-c3d(s{&!g@K!E~b|jY^KJa~6g6YVrwA zh+;_xzK=|=9}T6xU30Wr7B3(kT~8f_7gp@=-Hfpm9QbG0fDOjN3jSof3>$3YV|47m z4#5T+Gu~Qo>fd%E^Qn%TP~ypCA6IA9Bs$A3sTS=FtsUxHAlSU_LBr+|jS64Vi$^W3 za@Eiz%gdIW3ALE(!HpoXUC(g<`S)Bf|B)+Ptx=Cs)B84x_AUf zKN4zckm|DHN~L^YR-bT`QoJ7^6=}d%MC*g@stRP6!t8{d1otbeGF|t0gd1!SW$&A< z+hH{&)i_>lSh*)pFWfbG?w9~MkXFRG{!Gz)s(lJT{Iu7IiT5hsG zb-MOxkhKFj*Nuo+M=8g#C6|6a^1b2i>WjQ9zgBz5qZiX%>hW$mKQp-@(2*>)8pF$u z=lk5-=hs|sKQZ)DkwFXc@zdx9`Qp*k z(6WyJnjO1Z^Dv#WX*PYDTL8_DX}a^(w1RR3Q3|R|6^ce(;U^MKU#IVgN4=KzxGz&Y za?#?^7^8`Z(Y_&d=^qG+<{rUByRb(l0(T@ykJ_=$T=-Jc@zTsbCy{m9(X_GEnSH(V zKoh}F@S-yIXi|w+AaeJ+w2&fTe3q12da46_nepo2L(&H z{_Htrf?sCN0Aa=1%V2iAQE(2t?xAm6!PN@T7YNj%D{xu3o?03?#rR`x{p#g^TKu6s zCk`aZ$w12hJHXPRgtebi8DS{$HlLq2%3Jw{lF4|evY_1yLb*M>HMx^QVb-}o1{mpJ z6<~uSX_Lut2`vMRA2>zpOeJV|vgU*97;-Rg_5h7wK1DRESi6HEc_USVfI6!@qe|CZ zt*qux#|*jjK6%#Z%r${A&bM+2cOjt3>9)(axbS|=_L7^|TcQOAV`|^u;!Q+yjX1u0 z_N%+KV8hPFU-q^MAe=L^%h=f%PHrhWJIIdFnL68wPOT2U$cDPYb6oCi9|x!2!9!UJ zL1KIDuG^6Mvfq5heLXgr=H@M_!NKnY(TfQ#^|&{k3&c6}>AK9W-W_TP{5Qv05JGdD zW!6=hZ=>#nBAK@kY+?|0RLc|!s<_M46_G@o@r0TJ@*K$L5!6!p5yLl}FHEU`;qgEC zeb)CVMQFRP@0HrmT_|JiI;J`E;EQ*J{)KBYC-0crg)OJ^-ff~enb($mPzXtF`GYt+o_XHDNuguJIoKjRyR#)& zAJ6N9asi|~wu(tEUn#;>%tju1^?_tR@(>sRhIH!6w&SFtateqW4{4Ix4Eb~#6ni3Y z9!zKpdI)wv(&JZONfOIXxgWWDBPC5VC$JyaLb<{um8?FIYHFIj8Mm&}=BGN3k zF>J`eWXKqTE;!6=myv^Qc8m^C+acs&n;mZ}IsaBybl)&Dg^3Q-klVgKLf`fQSF2gX zRwb8*_fN?=w0&Lm`OmuQyX5!BU`dY8l;EoSHU-kGD@6swC6e2Tk*J&kqa0n!YTSL= zp`udPX?TmlC}-L56bWaPLcy#YS8fMVALjrv&l;{dKjE5_*i;q-YK}dDuAhKQH8EA6 zKqSIZX+k35;jrsNl!xh~in@TauR={fX@i=Ri&1kNjYWOeAez%m>AOehHddMg{}LND z2NOA)6FB&1+J)dPxcx?h7vr(o!RawN+VB7NSn=15Fn~plwL<#TxTG;{ETLhC5Sgkct#MRzR0yj@IQ2&AlEh`PD|9 zM_7(@rWZ#>;GE2>zutN(J5^oZQNbgx@%rk}%|qj1B~~=97qpBQ2z`SSlsC$L^= z5o@7C363d~B(Mx3eLZth#cIKOmGHbYXwqvI(sXHt%mv2tXdXdTh5DFlhPBd3js-uA zUhy)joAF6Bd6%0Q_?y5;zKgpjI!WZBs`z-j`QnvEZkG4VHsWqU*lNxeg1kv{;IFpJ zHD?pN7|7W{f{YG-+=iSjdrqnKQ*=B$q2*kJ?&>P)tiu#_$LdcUp%(-WEAj*_LlUqe&mxe^)XY5S za$GRs;1r>OXhF^SJkh=Jaqsa-PZULk6N!Qyc}T1($Msn;uH1`uhByaqKcHiF?LKTU zWj+!kd#H>e`sjt|!2%}#4@P`?jO@H5WzmQmuH6m#Dt#6s(Srh>wm_LvL_VT9hj0M5 zG7P3t%O-E$vi?wfOYYFz18KS-WzHIfTNO6wY+=ZoVnFz_?J{&WMh2L@6*{MLXPzr` zKInGnU?_8Vy4GJE4p9hoKg8NeTS5bLq(6TeK7VxG?a)iMi@sIIuEy!yXFU>$B7mgp zKn!R(_sL`oIV@T`okh{`e#Wohx!H%&YGnSV;xa-4zUF*1vlJCnk>< zN%x5RP&fpgiXbhP&$JLl_7CTM)z)&v$XOpeS4#?fBbjPiLw!ZKIxy1#eYyV2X*H4r zW7&3!RMevaLW>9l)zxJh{+8EW{2!Ru^abpyYZrVwhRfDUG+!l*8YI5b3curEF?HVV z>$Df+6MF+Z(3CeEfSdB97jBhUfCK*!8?P0{$_oByy9^v`6J&Id>ka`28$;ewbJpB8 zYtFS;nRuw?)beQyftu3+*Bs*SizzP0z#tHzZ{3L$O>?sRt~YZ@gPe zhhC;GfdpTX(4&unA+c&4g;2?%a=Yomkx-z*U@7gAzhnfofQk0N{iWNf>mzRBkpKy= zUs1J@688MOT@PL2jgL#B6db3U)k~y1uD;XGHOdXK{}9x4vUFkG`(pE%G$7|H^xEg` zkGF<9e#H$B8*VW9F^0AR4&B{l+-y9fTMEt&PLR<7!`llE#=!%tEXG>}a0A@~YxT+Y z;e~fOcN}>R-YS5b5SRKrH=Pguxy@^f^JDB0o&B@0I{9Z|^=FtPx5BzQyfo^LpP;TG zI(v{oMPDvUlS_Y9Q7|RDjY8=u`Gj$O08%rQT1qH8lly(|bEEeP1$O9Rj?D=pN@tD) z`!dd(ct-XybdqdlmaJPS{|x@fg4j`Q}Y0{K9*b|@vbacKw8`%%ETpOZw z<`c&V*KW_R{WkCI;wJgM2SvRXIwLn1@%0C1Nyk@|P*kAFna!p?zyheT@vt?EdS)DXjhT*FL45&E zitE92eWL6A#i_K<_Ql5;x*byIpX%+}8*-fPA&pxFQqhU-a=B4Udx2!it0Zy#FVNN@ zsPKLLuWLt`78XnW;H?9F?U2hHHq>nVMZ>6(fc_5%Dy83^@;8&`L&C1VfMl@X^N0;o+D-|r5Aa>FE*q}Xm-gyHX&HU#au_i6V ziiYY2Ow^}tHEA0Q;4=ptgfxJz7o|&ZbtbcTDJp@K%cpSFWv9h$W{M3v8$S>{JN|2fF9LtJ-Ng>Z6mqkvlGs7x3Uq?~cI-IfaiS{@M~j3- zb>)d{P1e53PTey(*ST!K75UN^g)wzQfp+JQqHF6;ZUHl{yk;c|(E^hP)phWu9Jk02!csv)oK(yC9U;&?Cg-M9#}-XaEwlI4x0A!Ud&AFP_}U6=E9x6v>O`U?EvR&I_z@`v zsPVK5zisNGy?xe?Y`K#uMcWUIdrg1o^?kzll0@T_oN`pWWuvH0p6N)eX%5S%X=5W5M_&heHpy*B*fJCrRo=~=tt))e!25=#J*rpqMBA_%i*UaIs0W8iR9k$BKCcF`>auGmR#~a{Xnnj z^5Kfg^BwqC*HhCTx2KI>-P=G2Egt&O8d9SNZWP$CgUOIF%yQuGw#(SrfHfx9k=ViU zu>^L8{P(?z7O}9HLFOZ`xfjbA7=0?xWQ-%b`s-)3v$J7Nv;PtfS_vrGwnC^CZS_1* z>vM!_6-Qoi@E~K%-1^bW|0rLB6c!Ya!lHyhzER{Ds&)4D_e{2aMjpDapBMJ?=#sJZ z@Y{dYlQmVK%va!Hbf$4N_CGM-Pt8C*9xLc}P^eny^q2>};{Y&PiVu{4q{p;fFWeY~ zp^hAd_+U)fPI#*QG&pzoDrA~hs}_!ES8VggAIgc)Os!=$ZhYqgw&biMLQaCk;^LHK z0xrJc^&K8oqDb0aD+AaeJ+w@ps2T8I7)Z6`A znzLDSbf$T>N=VVqRcaMx(Se^Ul3UNX5Fd0!)7CG1H=LIlU-;EhWNhyOf{c&U03)s<+*7UT1=o$hp=`b%AFGB4&a7I0wj&FUnT`{G@%B<;T_sYnaJh5F2*>2T6v%+b&~g zqaI=w9myRe$&%RI-Hx6F?rx!8>m=&|HNR_069~|^c?1HmUCwB`cIpIJb~3yExHY%r zu!_IB@J#AuhXO0_mxt9zaZsfOZ$2orB#+B5R`{M*=Aqmf1_gTlWUT!h) zi6#aDRBa`93#Hu7FK>eNb9PW!H6-2btGhCg4M`0=v7B9{A#Bh6OwDZvkOsTZ09E zw_U~#wh6N24$@>vY&03u!s2rVu&^MI0kLwM78VGkwUDC!a8OiC-<6mN;;M~FU@NCS zmA2XR0iG*}+qQ3ge|ue6j|gmNTqX>ZcV50vg`(e!lD%Ej_T6#VRwmFWGY?0yi6Ej0 zMfq3;QO8w!o2Q2GRu`>xxY3wE4tTICOrJ*)*OEAP=1%qR&HfB5EIK(ofZ39!Y4ey( zWA^9b+hFsMcia;1kjotKA$a&qY0>*B9}2~x|BQ20wh);|{7}r9;77R8efP?&(^F@1 zVsaUqgc~`#5fit)OrAU`;9K*pYM_7HMDcsiaHl&PHsoyZiERxQ{MB|DIUA4Zma4OZ zG+7cGO_qi3^Fq=0d7l+EVCZB!+}MOp->HK`ivGqyIWeUf6O7+c2`d$Foyu(9ajk^zpE-Yt#(HUYgGhICg}V}y7A(CkUNMUKL>8wl#P^nfo}Vzr)=W3t z_jp{0fhEE7d>l0$51iXb5~-$6*F5#tLk&*N(RC-eV+}o-C~tz)2g}$ktGNk9g;$;M$XpPwo;i z<|3z$B}htqwkHxCGM*f@S*ZGUxI*HOtgEtnWI-mZ`~G=IO1cl$Aio}V!{*c_x$)aT zu)#RBfiM3&D$ATDPt9FgnYX24a}DQT)uQWLnpJV==dg&U7V+`3aH zXk*jdq&V9dU;t>&Cy3@G0s~|)41BE%yhtm7HisrdnUzJ>nDs}=sXa4EadwP1adU2| zrYLaztcX7yRX!A;>Y4b#>vXx(F2e@f5Ls#m*|8Khb}WKEdVpaAypQ{~9X*ts;yz;5(KX>JJjF!)im)Dt*XJqK`=NQxvsw}Z zt`N{tpLJH}Mzq)YiZZaF50Y`Qd3Ygv?(7^!}-`2D_UK34sfA&FV|L!-VbUxrz42ir4& zLi*M(f$cy1{4lqk2^{dQyw&pJRBy=&*^L8ndEUDBXkMZiNmG@Eb!l=ZeDI$0;wc@z zhAXGibvv`X=#j`d+eQx?wRi2XO_w#V802C*$@N7S_?`?D&8n4aTQadQ=S2@fF1D>H zK5wsT(nv=l!i|5G(5Mw?kBlhbTxn-E20PEkizR(({Uo5VYSL!^`uSn$`yU18*VY{T zptovm&yn+P)K^8>q&lI8r;vj-{}%V@v~!D%51pzt20Ng)rB(#obeLew}UK`9J!TbicS zFK0qakT0G&Omw(%4LA{eSB*dadTwC;ls>_IA4@@|RSv%JR|b{>G$yNBqT{-rl4CsU z?r#H%3n&IU)1D2diPL^#z3BV>uv7F8X~2)e=Ah-(5$6D>{q1fjY~b0#k42&X1A>eQ z{NZ*PJlN*QQai|xrLgj2jD@*B`S}^705Wvz0)nIcMIN$s&rko+btiMsTJ4=;j@8f1 zQa?P&VK%K0pK#ZHmF(7sIwx-JscXf$G{>^b(Jz@O4d zJpP&~p%(D!`sH1z6W>%8FzKxgY%I(>@I8Fu?Nb$1?NiNjvO`T~jGsT-2hOdmE`4N! zFFbRg3(tEG|M379p29`M^6RN%)WAMleh-reHj6j-mw*rgcUGGVbNH+6GIBO5B4*i< z-a(2ijg2B>zF1a36PT!(0A+;qaTceDG#x6pv7g4Gz~ogdOAffFZN=dI%Cvwc(QLSWwa-wU6$tn1$@K549OKYUBa? zY{+nF&0&c;LNes>sj)8~(v>uwKHWX@M`43Q-)aqg zLa~TL)~m;pjvf`2-etAjV~$#Q_3PrbL~>2U^*DF!-Sn|k9r(BSi=9oG4*cDA89SSU zfz9?xdIx#3G&Y`$DYoz&&tBLfwtx&!?%5r|;moACBrn_GxBjTnzF^(m%rpfo3A@e_hdev6y-_dr*91+%*m$gNiK>_ z)QMvx=q3*qF1~Z$aKC_UDUp4Ppzm39`8 zANZxdz){5fef_-mXg-edJ{v(kD}6p}cwyU4v>xYFs(Dj3a`8Zf#Q6BMa|2>mvB^Q*V)!OALqFkQmt$HFP?rG>j z(bjBIFw@y@S;@#xe!PWJQ1pjEigVsr35&YNN7xHlOMpU~;1g3&r%FkzR3|$UBRD)33uFTI#3(yE$dskAF=fm- za`?+pFh>rc*g8k1>2lS(GtYs#`|Ta~KLIG%fIS{BDN-xWr`J**G+9!ukk^}^6KJxY zI9d4MUIW;vqFKOW0b6shzG58~N#_hZ&=E+qq^U^I!=U^$r#h2>#)I5DgUmR<14l_j zP{-on{`S|&R_0A-h7R&XHyQ%2qosi=z*RNNjProxflC9a?KWx3j8x1Q!l5qfXQ$cX zY+Uz?FZ@p??v9$QD3!&tfq9_XI|V0)z1P!6@cm1I%VS)93Q%=cCIabXh3^%erD-q%Rp<1Qt3neyG)M-bQK) zp;B)ZxS5}Dvz=s``2I1|B|~!#Z*iLKe4EdlXFFll3Dfz-m{!=jpY#Q*D>h?N>5boK zJ9IWzN4o_b3~}qHXJn-xjN`qc$x_A#+57XN{ z(~xEC_A33T?)b=!io+n&?R3W(HTerOmv7oVy6`Truq`zvady)E`uZR}WNO=RbPP(G zkuG%I^Y5~Q{w@AZl+oX9ciGNg!8AtMK?v_0QAWVYaR1k`bK-Y}rvMGwgFP1cG}ij# z7bCCdE4PsR;LVZC4u{L!nOnZq4r!l47Tt8 z&agUE=^zte#~DQc_E%cmw|fZ$lt+5W?6t{*V_!se6g}raY62S_>Nt)l;%fwNM~$)Dyadq4I{ z7xTwUmp;C_oMdvXU$aTLxv58Ha<=-&_+UA>*>ebjZ}#^1*t*wXgAR70jQ(u93>_>J zWyB5!>LIWO>S6X+RVco#3PIRpk{6gvW&*cB9?)X}L3<5C$H?MqKq0rjpp0=8o}0@F z%Vp{J3rnL$&<=~>&kk#m7w)lmXQf`98)*}@rl+C?ks;)X^O2$j9bWNg1O{tx2dFr1 zoKIKGx<#&LoLmSzE%1!>PiYGLP@n^mAzH1j`T-os{2Gr++~AkMM~5pLqO0D`AmKRK9lKAh(l>PRPH#Qj#aT~qnF4UfHT2g zd(yk+?mF0zvxO%Ao$R2$+Abq!1JqlJ&d$+f1lBygqZrH2bSzt}m;;Lyj0#Hn)?a!5 z@%4pHArR3}ckZB=n|!?Qv;4D1PC3_Lx5S*X>O84@`#ZFtTZlyee(t5rEegF31wT|? zFap63m1>2I0=JcBre%_64zqS&xe%iy`fh|0dGlltdKF%{VZ|L-Yc!qR~^iCM5<-sxsE%jD_${(%*%u1+D-ioyKDLbWbadgu$g1>5>QZfr;kbG5Vmvg4S3MO9cIwjQEUZ z*?7x^^Y+?x{zwSMJ>g}w7_l!}_QDwt_b+uF7c25}ERroAR**khx#Zw&4C!=cV4aS+ zYLEvRHsov}$r#A_50K=Ia)?=Tb}&*8@&Am}yZJi&@%E$7jx$ic6?methjFe0blFtqI33tZTXMM}W_^F8k8ka&W9R3Qdb zXLU#TFAv4mP*1&9h_u0#{=Ap!!$GM%=g*Uzk0OYsPEO#?iNCTR_Owv>nuVKye?an+ zy`gT-=hE(z_hpFZSd4mEj)2VR{!*TRB1p}*QLzgC-NZ?op?V5lAf zPKVo0k+;59TctY2RbxNBsp2}gc;dNU*iNksfye4GqQuCe6Y8$O;@ooIWc5Q(65sfXVeFp6Nrv)v5|56bg|LO-MUYDqBTrZ-t%9rSGwn>MR^6K1- z#ChSYA8|;s_8gJmqsqFV7q6myP1zAwrHW~^xNogRig>kKQ8px2j;)$A!?wuGVzut) zu>og;OF(`3rWp$QqwO+qHr~-KC1>X*$q4L`dKfM`@JMHyi%vq%Lb^UlYfv{B>6`>3 zoy91ZdYr!_oh$H2r&JWgcy?d@N43exLe3u^=|GALu=y0Js&E)|4~-3}6P$f1K(OT9 z7Rwsm87jy>&E$NTaXwqbU`#-@l{iwMtd)*0@eCLS-uU5yU;Yt_V`Qp@(->jN#i528 z_6~_~gp@=t%MUON{6Me2*9s{Z@5*3JCN;&bnRAic(eX~8+P@?hpyteao!K}uzYR|V zz5Lu2ut8_zN!U8lL4USghR)`LiBWTQkRf9a)q|iD>IFxmS$8GYZE4HTLv49dt(#J& z_x%-~^`E@yz-dyL?MUN9NE)|(mBEA7pdqsgeqVOLbDUmbI9ouk6_fz07KxgkbdXXM zxi?HQD<(kO?cHn{_44ZR)|9MgWXN*j>X($(1%@vE7F3SI&w~5$OFF|{OOD2BczvY2 zX?F$$T#4D2oGISJDgMiJEv%i#6f{>8-ZS=u!oLyRPLdj`am7jb23k&<1eO|w=^y($ z(?Px!=*x$H3RaNW9wr#sD=XiXY}DSxHJc)u*B^qB@P|peeg)9EGuq2`k=CA6Obg!>c$}j=hcxc z=gto?QBn9lGz7-T`9z4W=%bdMsdT_g2ajB(R*S;S?l;JQ9ly#T(?F3rTA52|@tb$z zd99>YTaJD{?L3_or3 zq4{xIHy>+O zmUhmZL5gw@-P0wkrI4tdQ4t4`jNB5e4v3J0K@ohKNJkmzH~~oM^^R%Q#SeKvK4zBb zl3?Y&$ci`J4^}*DFX1&LilJ87ucJd}`XgNnu%PE}cpY4KU_}q~r;h$|yZdJSJu1Yc zJ3E-Ghk!HUw)5o2I>&*e-Ag{i{7wl_mhzo*7i8yuR%_g37UYTNe33M< zyu6IRy3|~K)?WZp3HrDyUT00#KXoKxiWZ!G)`MGfKzDp_p*+vpv(VmL^!9Z0rJ3O> z7EYeraZxniX^9Pv8zc{zP(N|8@sV{S^)**`hjpj?W46dSqb6;L?+_wAk{CsJqs|aS zf;EIk0d%`p3M8hydVKAKsi=2`c)ETf;ho?3>AFg_5HCE#8#EcqgRilE5zUqDVrGDb z$vESz?X|fAOo)cGZ z0nLSts+NY85e_#nNKU^Dd_uT_T z_StK!c@wX`QnVS%{$#xR^qaG(P%;*DX4jv*zt^q;e`Gj7 zME?}@UQv;^`X=jByd$W4229z13@mcXK-St)Yr#o_Z+Pp2tbCd)M#`?%dTJf$&5Gwm z9aiTcXFCaOZfVZkNK`&{k5Cy&&^pXCPh-_c9BG3*5G9>R;u{}Q7sKsr=*2{-Pf}Ls zPid4lA^Z)fbt(&1T~3wQI75@2d?tU>oR)V{F$cTTBkr|)s=sMNTvJo_PsgjWH67kJ z6KBq+XkQ|Df^Q_-6)2Nj~0% z1}=>{ViIe^Duk*^*Cj!2Z95k{9rrn7Kck%0P7nqA#~8&VRZjM7+kNH%f9M#30vroF znZ5L&#DbhH0ecvuWQ^FC-BRknXWrZ2svQj2L%?Bi+mVC0zCup~m4L{L5%$%FL|y|! zOX<|O?+MxEhcb>`m3iV@FZ`T-bCwM01L<2c7=N(ub9#LA?${CGdjB!WI`$+k-$3E| z@gaMl@?z~LR`P67biSt}kk?LqnBU=@?$g^`Nrbmf5XSR7A~5C^1owMihm-G%?yo85 zo4NnMZ zo)WnCR$*^zfZqNzh3s3jM9C)keaX&^&+7PzB1C>DoQEvgRTi@#J$r#Cuq=&VH~po) z#8c!peMkCi4Y-9cPvMf6(~QqrLTH}qv=ZQ5GN6|gz8PgRQZZhO^>C`Eb8ZZw0 zkxbwI0}5vZ<3MVkW)RLuPvhmGh7CCzPXgSQV<2buHOUyq?wdSk2Q&5%a8}&*nuE!Y zXQZ~Sub@lwn;H_LjKRT3o}Y1Y^77_mQn0rLZ;v$R&Fh~JCE>YgO}5O-pca0O8e!T8 zcJac>(ww(0CfBO8ZRb-v4uHI?8P!>(9zR6DZf_K^ z1A&(f?^H9o=0wodkkD|YxRz(0!ci&s4Nis=c)pHR`+xSHDZnxIwaZHOjG-#4QB>tN zi9I7g9Cd-+)*>R8z5lT>tD4tgs*nkVk|*sz1i zkulox|3JpxUjv0LOlJoQy;1&WGABw#Ha|;1Q-h*2Re9T)2A(T5oF3Tfp z>pq$++VyifLk46Ge{LcC1LYgN@u8Vc+7Z|)dE*x1_ygz`f-W*k;Pwjw0heLjNUcP7 z98Ml0r6LzX%_kO8N;WT!8uGCSRtpdzSub-K!l$2^=nQI)#~_2c*xr}t3RMm$J2GeQ zneKUJ_*@ytE&3R)qy!*e)SikCbaa#}T^{qs`(nUcqy5gnRO|%zN8IVR4`PiPE|JF+ zLMGe4(4u6g5AKJtL1zm|{%fg&_z#5aVVEUsmYp38*+XCt+52P7-nx!ECCY$XbVktd zv-6ok3PZu10{15)_X^XU zJzXjs^yORK*yYeBF+w6}D&JI!8W( zo+JN?zB)76;~r?OWC%%;<5cC&l`HTLhsLRBE{X(?tMNX6PssJ5NJ>2Zcwh?gHC4J1 z1(8Wgb$#G*VIWqDpvXpwhh!#FC)xXTJGRJ$$W(g>*Pf9zZG0Jfp<6lBNj z7b)V78b%^dTYA;LE5p5gUP&f5O@x-dS-ACcJBGGXt}*pPR!p-v`<(sR2hX{sVnfdV z;K=Y-+hycn8zS#u$R0urVtd<>vxOtWT6TOyw!@6S;L~GfBI1pZZ z#<}P`owzI7z0|~V^Rix@4mdTJ{DOJ7M+7}qVURhB=PyB9VK9MZVUwye|@eiKEX=YPX5F-L@A0j~_ zY&3`wIXr&Ogg_p+>cE%gUK#F**nopckuiii@JHKa;A~)eOUc>65i-_{J7Mh<`5>CTycEN$I>_a3JgW0iu$Z5p!sMfB3TIAGk+BEMUl(BS!zWob>#9b)Cd}ZW4SX>d5 zy>!>Z2AwSod6VY+2SWBR>{&2q&JHr<|7XZvI%de;pWq^&aMvU@b^ha78K|C&8B&%h zW|R-!=Hkji$K)~pSx8p8`sD*9h)P=^#s>!5mx$rV>g>TbPl}n;=N1|h5$!=TId|B4 zk`2S%-uB|UI+IH!k>Mi?Z5s6>Bd85dA?>wZGlroxUPupsoWDCyNRMoP>Ie4_8+wEc zM5W?gHxg@4Ds{vNDp4(7<;{J1&JB-rNP2Sg%tAdJBa#?+E-)?Ku)zkC9dFvdA^rmad$94+_HoV*2J9iQ2JCGiIgo3hqLL-QkR>?zge{W4piVqJ z69K#}fc+aBL7gOoawW)>bLn_Wqo4d>IY`1XMp7c*o~&~hw&u{%d z`T94`uF!j{Qk!mYu}3%uNdpP{**);FKxa$Dp7>_P!LaSytr;?gr_W}^*};fC1RNK) zo#kMjU3rdgJG+97*>f*76BBz}SOsYit3L>$`=eZHaBh;Dk)>Et1ktTqJkQmmDWzr` zT`$JeS)}dz)04OTX8G(O7i2?U5eBdmq$+pUCeu2~m?B${HaM15dG4NQSbW@gm~aJW zPG|5FHG(R_F&tte-)k`oFiim+QW1x(9HIIb(ny}U41a?_#VA9Uh3=lh2KHo5cnmOr9+M z*UJm>ABfw-FonV>Jv+#g;qbWar3Z7AoGvBrXcrsHpGc>7N0BM`L2Eg|V0#Ka-(GMD z(Ls-K2~iMU%%y*jGk+!EkpXzL>cClGncmjAyO|1srcz8ycW&Smr<3u!)%dlb^^q3Cj)Syq9R|o`@diKQN>l zb|dQqc^)5Lcy>I2RKyDuenL)O6mem|+k}K$*STX0WTV0aR$d!6hS3NP?W-h9Hs}Ux zh&Mc)W01nD7AU+DQ+m8ISO{1R<2BWPBs{xJoW^YY^m*CuSNin z&-xCEPoENhKV`mpr4g*Jh$hHfnkrOt>CqZ@j&LIJugx8%c&VEmdYGzx5LEg}PX1=R z|0&-9?>KhAU(cz(NP_%7>$ty>DhB*t%y$R)n|ybiVU^!IPW=2b^z^B%`LTWfM*@^v zVcn`s;*Tg^qA={8lZC!-_8hVuW96&-Cd%BQE36PGRgTe@y<+xoANBIG34lQ&8gA;* zkDra>@D_xv#J&`cF?nzFa;cJQv*@zXp*R@)W}e!;jA1zfjW%WFwiN>D-}x6ecKBn! zu><~EFaG}^+uV&x-p?mQbx#Kf1*?*&wVI3F&5a}vvA1xsqyYSp5)OXbu_{uq-yD*( za&mT|;P~Uctqa77f>qMi#04S_0Yl9ozoo1cc*}>@$%cot(9*WVG_2r@l`Y1IcUL4Q zjXU0h!5}vJ`LsV27q)!5wOrcqcvxkgK&-H0SzH^wx`xNZ5QU6R*%fTKKm8SpEQXNC z&1{MhER<&a4Vg+`x+J2|Dz4!bES`{T2%u(=WKS zc2}%@UyW&aY@IAtSWEkW)PFa&ey-hrA6vgnioYc1`ejD?=ck|_remkz1aPzcW{gcO zZ*_I4)QZM7y^rtSIS@DEh^P9!D^yvbp|nM3ZZ-9xHK&d3UI?V%>-i#{QOFd){y21i z+q#Zd-l1CZJ}p%@4JOs&Z$0iyg}G*c(b8q>r58bF7}kl#>_$dxDb;Ic$5EHy;S^w9 zV{z+tN%6M9{N^Axc&K}TFd002p@SxLwMt+^2xKvr_w*W8dcdc9*`wSOFoKh*TJNxR zVG-}CMM#AUhK~4}=q$!f4(H!WX7B3HS+l@T*3uR%aP6FVMM-&wRJjwSP0>Si^x}=& zb3d?tXEIO7P6sPfGBE6A1uD6$$H0Y-96_l2#8nUh_Lla^*gjgd5(hD=e}YRWC3p!myPP~CV*^PzrB(=?!g)k^ zI(S~DM>E*o%gT{wS3vEzIOR9$2Yr67UTtkyrk<-?_Tc?9Yp|=btHbLe-n_*3d%F1# zUR#$Ha!wH01X>5$D7=28PznPvC|IhdiN|I4PvcGCeK51W_wd|z;2>1AHI;P_7&=Tj0oo*z^1XiJ4O5I!5-feC?W$gBp~umj_c)b&88qv>3#KuCkLms3jmx zb=wc>DwSWu_}p7ha&pD2M$&mXoljO^vI+cjO8w(|Bua~29<)j`G)V&qd-x6UN&EQC z@kweV+;hXp>o2(vz){|JtNh4Jut(W_N9iWPY$5t@tERryovE*CC7Y|(_kZfmfAmOk zgLn4*PX&2 zQBqRt=K>S1$;JB`$PszENOnv!Lq^i|xsSU`<@l*9j6LKO6yCB6uEc!4VxUQLlJbpC zo%HfB-(QN!8s#(&&f7*D6^%~$?6utR&>T70`JrgIUxy0WkeI>{SsqcR*!|9$^71gO zx_li(YeOty9326#;sWV@HP3S6E%8R0kE^xy%){uPLrMDlx0^kex{J&xgChQxzxZ@%=$wcNWVnWY3ou=(^3|%V4_qHxZKb-u8=p!b zbk@9lf5tVfso}7)Y%eZBudZBQ&5&gs%j;~AaZj>?-*dZUZjZ&N6SV)?2Yhi!fVuU_ zcPGPWvt)dG_VJi^mEY6{rj&?1uN<+Iwzdwa(w@{iyNzp2Sr^MrF*m&c0sd+GFxL*U zt#GAm!n)B4DX`Ov$(QqjWddOb*JzvqV)V@|JT^7XX&SCgxFNWw#^M#|@v2U9OF6vzEE@ zDrsi5`fW~>tN9#_;WH+(uT+ z3H4GH$uXq{@PBS%@A_xPi4wJsWo%mt&Xh9X(D>KX`2hT}! zVe=fsN-uH@6d%Om(+U+a13~leT*nuv)>_`3-nbV9E_PFKH@c@(SMO<~MWB>m;Ywac zMGjFF#4uhiG#5X!dl|YQVBYqqwX?DyYkm{>?NtjW+vC^{BCyiLH-|TRfy;MeOXw*G z<_d)mXw@p(W*M@)_E%XyaD-U+tW`kK?grGV_v^W@`f=CooO}~FKZedXROeXlr#4eb z3}QxICx^Mh#llVJpimmx^Z~;4xs!oNfx$J_$7E~^FS;DReq8z(eklHsX=fD!QVd8j z=Nk{f?UB_1W%XF>=BtzYza-IO;lm|mh_vmUQ`B;IU&!cl+od~^*Jb@`5S4dW3Y}`Z zUZh?I%=ed^*i5(`)-F#d?!{ei$ar0DtYN78%b%rbK}6&)$Stm}E?hH_k6J(3oS3Jg zxen;&$D1C%;Cyv#X)t=sxpREV>leKsP#V^w@r?_#cxQzA3ra>tIWJ7NzxW_7p}r$= z0lTSPu~P2N#|51i)fb4)dyL(7AKg_Qg5alM>cNp;+w~EgdwY!2YZ}||B;hd!qZ0NS zaNRQ})5NC8&ZKDuG2nJ;8Reyr$)UO<@3dQff`Gz~h+FtUjEj=X!{%UXha%P7aOHbe z^XyBtahoe8+Gu)t0Q;N_Er~EdNd06SQuteQjT{MEtdqdi2gT%1HwY~(*|a0 zA$=WXSP*yF4-97(MwT&Z4}H^<*<)Qu1B=+f@&8E7Z}70AI9~KjOu6U-4V0zbGEoMw zB+jSzc0&eg&SVl+7z$)Oe?3Z}PM?n9X6YJg;Uki9y!$mW&T}}g2Ieu8p}*j~@aXlQxr6a$($dyiae1_lc7O zb&b%Z%kGn%MP%u$C9ADySCqM1R7_=#D2_3{+|%zGrXp`nA-~!o&F7U?I!*j=hL5!h z9oTkuq^3`M*G@SFdS{u=y8Pv%>s8vGeF^uN-1Qb}b_kw|k%F%`1#ipF<8}8UE!7I; zk$uh7sl&_^>2TIq(F)|N1!XA36>;HsT_k<3UrMWd0OGtvV+}S29sMxHnoE^%>#Uu_vlaVH`Dj zyA4=&d8TRNdSb_(&^j+068qW*A!&j&4;GYgL4slUAZo#|HwCy;Ym2Gf{#;Az!Bb zUz)O&P@|6|vB#65#w1UDgb7-5NbxEhrNVsM{-|R1ONR(-{^Xr9kLrc)5`w~A-d&d6 z;-r%)#BZ$ad?tlq!e!lpUt6M#WSW_G2T>-Zn-9&CJs2^d&rG(-!lwBUyqP?}?y(-Z zcbejMSaB=lE~>lB*9j|25Z+f<ZHg_>o%)gc z%n=1EnG%1Vtd+E7RI9t1psF2i*Q{uiShB!PL!JK+lI5i=Gh9dlQ!v}4W#oEhd>e-g z??phm=3<8z+N4apTxo)K^(^J2bZPB^222CDLfh#Lk3EY z_r@K;-V4W9dj169)rhYobD_L+w~~G7u9b(XX=?X<+^8hu;%+=fS~>Y88PnMAZb^B< zC%rvVVZ8u$KlLC&@(8J3@h~Zx9vrT61TZS`TnPIpp+eAT3Soi`PA(-|vB<7h;QJ3T ziI}z1S>Aeu7WDig$9ECln zxiUehqN(cZ&_N>1oYg|ldLj=qk zB|AxGq5k5-z#xZu8vVt^PMSp*YE%nU5}A-J1U{Ksxo(*Qs`;b1ko>~#o);D3;o>#o zfmTB{AN)KxbjKm+_=IK1 z7S|*jWn(uZ#m9oHL%y{{ODqtFsIN?(Q@m3=F_}6b7dx+m-h^Tj8Px=-kK1KTj#Y+! zW+4wjDJKeZ2ifqI7Zv$I-Tte#TEy!Sy2#6igGzimf9ERxf?a`}Y@FYle0QM%za-=R z#aH~#&{I(Gp0kS+#Ki8NN4h~w13Y38`3~8d;+!{rV!q{geP1@WCjxpP0RwW7 z<6<3FuQgTvlhf6c(IMfAOF5_u!r5XOA={HNNiY3x>qwm;aa?)DBGx!thOKXgNV8S= zZROes~|UXC^e!wQB^UcpK*)?ijxNvFmVcoDqhyy(0_1eChJtN;TwRC?bndQ&sl`_1%F zFfxN6b4?-6IxtGeags(uur1(j5Xs-!{3lQT&MdjO{xtb-A_hPBg(TG8MI7P`cCvDC zfja#F6!0oV6FWHE5LZ;wmQZG-0syHbfK=QPR3Z{o65>=mJXAcKe>Rmgv9q%Eq~Mp7 zkd$O&0|0?Q5eacFPENreEo@CJoGE~SKbwn+LOm$-D403n0F@aC-)RVf>xHnh!S}8i z+_aH#F|oA*i`ZM(LMYg7YDApD5PKI29su`E@%yj+US3(@$H-oBUDcdg^iO9bQ3}POX2_2+nc_GTM?>ZZ}pvU z!L9vgu9=?`z~71@+$78W&-nT$EaHHNwTlh7laKK@x|JUP9b$06<6_EL zQMnSlQIz1M31r4-Y+QPYLL|}Do+bgH&06pm@-L-Z;oA+s97z<N(@BH9kW+@?Tneu}O0+GIS^ruuw~YayaZn5)L|va!-*dsv79ZyiC$jtWJeu@CzI zBr4S6xIel1-o%OIY)5dm=4+45sXUl0*cH~m{`l9r+MSjO!M_Wg-Z}j=R7-exb z1cl*f{XH#-eU$wK69sqTXUp~;2hQhK-u3#N7^}EEKIRzm{yo|rMB?Z4%yoG0&3NQI z#Tq0eNAplRn4KE^4uY6!*usT;Y=&^6X~ul{X}q`vUZU?@Dcd``_3%f<}|Tkg_!h{EgN_YN`|T{W`upk||*JnUN&Q zLM8^HiXU7wQ00ww9~X!KYCCgOWJl2B_j@B_dL1D+*Fe-x{RdA?{hBV|%^_spe*h zbn#)L@z96 zmBt167)l=HF1=B?^@>QC9{D!U+i3?S9JDgTvck8?`##Bos_~fu2aWr$*EAw>YFsXB z%8}B^yRR1WTolkX(3_RU#Y|g}{8^qI$onej7Kq1;jh__tQ&FqU+p3E`X@G3-8QZ)I zbP(61hj@CdNHN%x_n z>RgLZBC^LW*1Vy9~T=o1OEVu#v=0kT`&1k>}akQAxvRn<*_Prl; zB&@Auf;#!Yn1Us}#$3E4P}gz0vPFGl4`vt@?2b$*F@TgkMrn`ZBSU7i8F^^|=T!t9 z!p0|a#STq##bui^0EPgVuB4xnN3lZHOczn+C^xfJe*U7tr&2q_QJ!8!TUC!M>7H6T zD;}%$<7Fp;ib69;E8il9LvWSF3o09HpOQMe#1s}M5&|X76^XF<1YHJy?lLprQ@Tsj z=b2W^;ID=9diC5mJ#0)oJ(ah0v zZFxfIHJmsUDyI*Hsa45}4=dIS%gIyQ;!U(8@6nvJb_7#>ZrxU$nbF-o z43w+IJgBQ|pJCWqPsjyXY;sR5xFvsk?S41k`Y5hwQ@-uhoF{*{Rq&IiS>^LiF93Qe z<7#B`J@u7~TM3_s99*}X`KkfTd6{v&cRPB%YK3hr30+k)KJbJG#`8w02q{yX@{CE1g3eHXzyN*9yTLZ5T zdMrFhUNMUWeSM}-JSjLHPLy`65U5swnt8wf)OSA4eP_{6ZQ}*steil9$=#Yrl$W`Y z;`Igb))jA=4hQpNOgrFg@Vr|(E3e0FnjS49r@ad?UB6Aceq1Eu6=mVcox}PbF50Vp{53~ z>4Y>{aIy%_X{384iJFw8|n1i5?@;^n|jiTK- z-i1d)?sz+_yJP#YE+*M3u(S|%8_=S5!q)sNj16{K`+SoQa*WP=33VCM4|Nx0atWPg zROvjTrTjL;Zx6Log3`MRuZw!Gk0G8<>BV}DXyqn@yoAKMcUx)vN*v!66ODGu$zi4I zske7_7hK!ZE#+U3SOtyBb<4d zi-)Y)1JkEd>Hy=Q@Og~QRD}` z?2IQ=eBs`UeA_%hx;-y09}qQf&!KJV1YJ013xF@T+iSU=Zav}mAXILcaHH!SS?Xym z$e0(sMv^hCoBA6k^5#kWk9BweHwg5X7x^=U^Vevl8_Ae||J?qYnuG`d34M38JGG_ zHeOs5C@yt+&0!nl%S)xLy1*m7|7It#nX>{A_AdDKR2RISjPwN)ImRC4av z6lRuI5TTd5NcMj7EdlfhVTa*KargQAc> zB$rXEdP%L%UM}6$Olino5yINwCv*6|-3PshW}C*UB48gczCcr74JR?2##1L(bv4yd zq25?unRJpMuYy}i!gGac`%s!w$0*KluYo#4u2M4Qr5QA3IA93eI6a3khCi-Xe>|)& z7GfudMSB>=%gNi^#vtVFl)p{j6IQ(Vcb)jlLOt-8h5FxgTK@8N|1AlSRacRa(q?p| zk^oR~1O6Kh00#m86$jvfZ#jT-03bX@hvz#8-~jy-2mo>Ypb5W#fFESwR}cWd)}Oxr zKZ1Z8NAxCi@(&&y+x#qX+-!R0fNx9U1oBXD z+{DOmz;_67!qqzfH(Nf~;QxUX-0(nfPPi5fCtRSJ^G1pR2>&Dy{!Ku3PWTZv3Jy5K z_*cAeBX#y`9|E|(U)Vne>)c2{{Ft{CDS$sn%uTQkJI^15{~WEO5Y>d)$%Za*?DyuQ zN12U-j*IA{bR4AHoIQPC#cDvsfvzL>oHMaMGXsY zxqwBHh3)M~9fA-|qMSoDw?0Wa)auikt{M1Ngi9G(ZIEg^FqrqTvb&kEKxBz4n!?Hg z99kJdkBOizF08iWhGO|f7CQ9V4reh(<6pAJg&+n^lcN+yBltx)Z$na~XvU*^Zs#nW z&+3`y=e9P`F3O;Pm^%z#g8zg0Fs4JNPkQXsbfZZ%p(@+!HrE z#_s!&gVVKtiEp|YidJ554D<(+)1uI0rvOp_elR~(DAWZ`y#9(4lCd|3!Ylp+bbmr$ z()XV7BaS4!yCa|>U_fVcSb8sn3&otpOBpkw<75DP)2t3d1 zx6VUbKE2tG37B7|6^7Fo3BDyN>WqCZ(C3h4*^RMZ%lC%qkE)fs#D2QFvTplzoO&uU zX#*rZFE>^pZ@&)LZtp9@0qkU>TPN_*^&8v*tQ4bPQXHd4pFbG9ywDOa=RZ&)OJRya z9sp07O=x*q*Yj7)N=gkTPwnNDHFL-rV#e&&nTh5$^D5Gw_s25=4qKYpr9bJj0G0Ym zDLw1Lnn&iyc52h*Q{)cGq7s!R2NBnmwHdOUbCL$l9P^m^lOSAsZ(UBgq%~jm7weun z23<7kYGx(OheDW1FBa)H-rI}|YY-PH0X6K3)R2*P%QS}}Af)FpcQQ$z_3@~C44d;D zw#8U;?<&$+FIC|r$!dN2HlX#Ot&2Z)9E*8RjQnGPY*d%@Hh<9*i^s5aik8;6 z601Hz-`eZ~{kZT0(~lNDlAop%pmeHh&wzPCO?w5!x0GUL?KkP`CZZ)Zkz>KiwHExIy_d!C|WNXfY&sj4yBH;QfFe8e;N1Q#axkgoGMqxoVgoy4->c^+1A|qX{)l% z_9*e~CnxQcE{p*h?*=p0s02?bh@dl7oA86^=ZJgC(oXjp$|Md7L&#b@V094o0*^zv zL^fu*o<3D`@K;`);coh<1pLxc`lJMK%z)M@Wx_S~^XDrC_sjw`j$@3j2B77A93>_> zlWeFPPSKv)(3KJE8DUN0K5ME|D{3JHv)8bJI<}{J^^Ro+g$d)AGFDSWL-W^Pp6MD4 zDqB?AW~e-@ZUpsR^{RZVLv92=@w1urcVw!mWb)pescN$v^5=QZ^f%#q&MqcSE*?(s S;R^zCbA#^D&`2mr-uqv0s61@| literal 0 HcmV?d00001 diff --git a/PhD/research_proposal/presentation.tex b/PhD/research_proposal/presentation.tex index a5171a6..42c77af 100644 --- a/PhD/research_proposal/presentation.tex +++ b/PhD/research_proposal/presentation.tex @@ -6,12 +6,15 @@ \usepackage{xcolor} \usepackage[scale=2]{ccicons} \usepackage{pgfplots} +\usepackage{numprint} \usepackage{booktabs} \usepgfplotslibrary{dateplot} \usepackage{hyperref} -\usepackage{multirow} +\usepackage{multirow} +\usepackage{tcolorbox} \usepackage{array} \usepackage{xspace} +\usepackage{biblatex} \title{PhD Research proposal: Physics Based Security} \subtitle{} @@ -19,7 +22,6 @@ \author{Arthur Grisel-Davy} \institute{University of Waterloo, Canada} - \begin{document} \maketitle @@ -30,19 +32,102 @@ \begin{frame}{Common IDS Solution} % Figure from the EMSOFT presentation with the different side channels and our solution + \begin{center} + \only<1>{\includegraphics[width=\textwidth]{images/main_illustration_p1.pdf}} + \only<2>{\includegraphics[width=\textwidth]{images/main_illustration_p2.pdf}} + \only<3>{\includegraphics[width=\textwidth]{images/main_illustration_p3.pdf}} + \only<4>{\includegraphics[width=\textwidth]{images/main_illustration_p4.pdf}} + \end{center} \end{frame} -\begin{frame}{Side Channels} - % advantages of power side channel +\begin{frame}{Features of Side-Channels} + \begin{columns} + \begin{column}{0.5\textwidth} + {\color{green}Advantages} + \begin{itemize} + \item Easy to Measure + \item Hard to Forge + \item Independent from the System + \item Low Intrusiveness + \item No Client Required + \end{itemize} + \end{column} + \begin{column}{0.5\textwidth} + {\color{red}Inconvenients} + \begin{itemize} + \item Only Partial Information + \item Aggregated Signal of All Components + \item Require New Processing Tools + \end{itemize} + \vfill + \end{column} + \end{columns} \end{frame} \begin{frame}{Prelimirary Work - EET1} + \begin{figure} + \centering + \includegraphics[width=\textwidth]{images/overview_eet1.pdf} + \end{figure} + Attacks: Firmware Changes, SSH Logs Tempering, Hardware Tempering +\end{frame} + +\begin{frame}{Prelimirary Work - EET1: Firmware} + \begin{figure} + \centering + \includegraphics[height=0.9\textheight]{images/Firmware_Comparison_TD_direct.pdf} + \end{figure} +\end{frame} + +\begin{frame}{Prelimirary Work - EET1: Firmware} + \begin{table}[ht] + \centering + \begin{tabular}{lccc} + \toprule + \textbf{Attack} & \textbf{Model} & \textbf{F1 Score} & \textbf{Accuracy} \tabularnewline + \midrule + \multirow{2}*{Firmware Changes DC} & RFC & \numprint[\%]{100} & \numprint[\%]{100} \tabularnewline + & SVM & \numprint[\%]{96.8} & \numprint[\%]{99.3}\tabularnewline + \midrule + \multirow{3}*{SSH Logs Tempering}& RFC & \numprint[\%]{95} & \numprint[\%]{97} \tabularnewline + & SVM & \numprint[\%]{96} & \numprint[\%]{98} \tabularnewline + & 1D-CNN & \numprint[\%]{93} & \numprint[\%]{96} \tabularnewline + \midrule + \multirow{3}*{Hardware Tempering} & DC SVM & & \numprint[\%]{100} \tabularnewline + & DC KNN & & \numprint[\%]{100} \tabularnewline + & AC SVM & & \numprint[\%]{99.5} \tabularnewline + \bottomrule + \end{tabular} + \label{tab:fw-results} +\end{table} + + \footnote{Published in \textit{Side-channel Based Runtime Intrusion Detection for Network Equipment} at MLCS (Workshop of ECML-PKDD 2023)} \end{frame} \begin{frame}{ Preliminary Work - xPSU} + \begin{figure} + \centering + \includegraphics[height=0.9\textheight]{images/xpsu_illustration.pdf} + \end{figure} +\end{frame} +\begin{frame}{ Preliminary Work - xPSU} + \end{frame} \begin{frame}{Preliminary Work - SDS \& BPV} + \begin{figure} + \centering + \includegraphics[width=\textwidth]{images/sds_illustration.pdf} + \end{figure} +\end{frame} + +\begin{frame}{Preliminary Work - SDS \& BPV} + \begin{figure} + \centering + \includegraphics[width=0.8\textwidth]{images/training_bpv.pdf} + \end{figure} + \footnote{Published in \textit{Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis} at EMSOFT 2022\\ + and in \textit{Independent Boot Process Verification using Side-Channel Power Analysis} at QRS 2023} \end{frame} \begin{frame}{Main problem Statement} @@ -51,5 +136,6 @@ + \end{document}