From f02ace343ed32cceddbe55f109f5cf8e81b832d1 Mon Sep 17 00:00:00 2001 From: Innocent Obi Date: Mon, 8 Jul 2024 14:23:41 -0500 Subject: [PATCH 1/5] adding Innocent's profile --- .../academic-programs/interns/innocent-obi.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 outreach/academic-programs/interns/innocent-obi.md diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md new file mode 100644 index 0000000..f521c68 --- /dev/null +++ b/outreach/academic-programs/interns/innocent-obi.md @@ -0,0 +1,16 @@ +--- +title: Innocent Ndubuisi-Obi Jr +position: Research Intern +year: 2024 +status: current +--- + +Innocent is a Research Intern at Cloudflare, supervised by Prof. Dr. Marwan Fayed and Dr. Vasilis Giotsas. He is a PhD student in the ICTD Lab at the University of Washington under the guidance of Kurtis Hiemerl. His research interests are both architectural and algebraic: he mixes traditional network and systems research and formal methods. First, in order to improve the interconnectivity and content delivery landscape in Africa his work proposes novel designs aimed at improving path quality, locality, and affordability. Second, using category theory and programming language techniques, his work explores the design of push-button approaches to verifiable security that can aid experts and non-experts alike in reasoning about the compositional security of their APIs. + +At Cloudflare, his work is focused on the design of experiments to understand how internal traffic engineering decisions and interdomain routing in the public internet impact the performance of our global anycast network. He holds a Master’s in Information Science from the University of Michigan School of Information (2019) and a Bachelor's (2016) Degree in International Political Economy from Georgetown University’s Walsh School of Foreign Service. + + +## Research Areas +Networking, API Security, Formal Methods, Peering, Interdomain Routing + + From 320fcdc10744c61323bb1e23ec6ba340c0319158 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A2nia=20Gon=C3=A7alves?= <87486632+vgonc@users.noreply.github.com> Date: Fri, 12 Jul 2024 12:30:24 +0100 Subject: [PATCH 2/5] Update innocent-obi.md --- outreach/academic-programs/interns/innocent-obi.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md index f521c68..9990799 100644 --- a/outreach/academic-programs/interns/innocent-obi.md +++ b/outreach/academic-programs/interns/innocent-obi.md @@ -5,7 +5,7 @@ year: 2024 status: current --- -Innocent is a Research Intern at Cloudflare, supervised by Prof. Dr. Marwan Fayed and Dr. Vasilis Giotsas. He is a PhD student in the ICTD Lab at the University of Washington under the guidance of Kurtis Hiemerl. His research interests are both architectural and algebraic: he mixes traditional network and systems research and formal methods. First, in order to improve the interconnectivity and content delivery landscape in Africa his work proposes novel designs aimed at improving path quality, locality, and affordability. Second, using category theory and programming language techniques, his work explores the design of push-button approaches to verifiable security that can aid experts and non-experts alike in reasoning about the compositional security of their APIs. +Innocent is a PhD student in the ICTD Lab at the University of Washington under the guidance of Kurtis Hiemerl. His research interests are both architectural and algebraic: he mixes traditional network and systems research and formal methods. First, in order to improve the interconnectivity and content delivery landscape in Africa his work proposes novel designs aimed at improving path quality, locality, and affordability. Second, using category theory and programming language techniques, his work explores the design of push-button approaches to verifiable security that can aid experts and non-experts alike in reasoning about the compositional security of their APIs. At Cloudflare, his work is focused on the design of experiments to understand how internal traffic engineering decisions and interdomain routing in the public internet impact the performance of our global anycast network. He holds a Master’s in Information Science from the University of Michigan School of Information (2019) and a Bachelor's (2016) Degree in International Political Economy from Georgetown University’s Walsh School of Foreign Service. From a6b294ec783e00860e8710977d1599cd2f50303a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A2nia=20Gon=C3=A7alves?= <87486632+vgonc@users.noreply.github.com> Date: Fri, 12 Jul 2024 12:32:37 +0100 Subject: [PATCH 3/5] Update innocent-obi.md --- outreach/academic-programs/interns/innocent-obi.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md index 9990799..07e5b6b 100644 --- a/outreach/academic-programs/interns/innocent-obi.md +++ b/outreach/academic-programs/interns/innocent-obi.md @@ -12,5 +12,3 @@ At Cloudflare, his work is focused on the design of experiments to understand ho ## Research Areas Networking, API Security, Formal Methods, Peering, Interdomain Routing - - From b98649bedc6f8be5fe5c56e275bb039e3e5b5394 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A2nia=20Gon=C3=A7alves?= <87486632+vgonc@users.noreply.github.com> Date: Fri, 12 Jul 2024 13:42:22 +0100 Subject: [PATCH 4/5] Update innocent-obi.md --- outreach/academic-programs/interns/innocent-obi.md | 1 - 1 file changed, 1 deletion(-) diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md index 07e5b6b..1a1ef10 100644 --- a/outreach/academic-programs/interns/innocent-obi.md +++ b/outreach/academic-programs/interns/innocent-obi.md @@ -9,6 +9,5 @@ Innocent is a PhD student in the ICTD Lab at the University of Washington under At Cloudflare, his work is focused on the design of experiments to understand how internal traffic engineering decisions and interdomain routing in the public internet impact the performance of our global anycast network. He holds a Master’s in Information Science from the University of Michigan School of Information (2019) and a Bachelor's (2016) Degree in International Political Economy from Georgetown University’s Walsh School of Foreign Service. - ## Research Areas Networking, API Security, Formal Methods, Peering, Interdomain Routing From 05b85f293b0144ed18e89550f7076c6006e4d827 Mon Sep 17 00:00:00 2001 From: vgoncalves Date: Fri, 12 Jul 2024 14:10:29 +0100 Subject: [PATCH 5/5] Adding photo --- img/people/innocent-obi.jpg | Bin 0 -> 51075 bytes .../academic-programs/interns/innocent-obi.md | 1 + 2 files changed, 1 insertion(+) create mode 100644 img/people/innocent-obi.jpg diff --git a/img/people/innocent-obi.jpg b/img/people/innocent-obi.jpg new file mode 100644 index 0000000000000000000000000000000000000000..161e001f080c04ff313a7a19a3700e664d95f9f6 GIT binary patch literal 51075 zcmeFZWmFtZ*EZUNyF+kycZcBan&9s4F2NzVI|K$85;Qo$9RdmNE(s9a{gC^4zxBS~ zS?AAL>s#l~xocKeUA=qHu3bIVQ+ux6(=Q7z8vurajJym00)YUz*B9`z34D|Gv9$sK zd3i4y<+kkN&H{f68kY z|Lp&-77hTC-~pIdDLW?zJ1F@-81!lZDEcos2Rl2c=sy-;UH|~9=sy;jU)_QJANa5N zmn|Yfc}YoQH4Rl6c_r!BVZC~ZqrMvkn4td2k z7LFEw<-h-8Zx0ub*RiR+VjQYd3hUDLK0RRXn*8gCn zFMqMwKNzd!FE+PvbA0{8`d{^_&0XAH?Gyg(i{d{%ydnU=_&XkQYfC3fH&YKw3-W)2 z|0k>e(HE@y>&gE=Y5RZL`v0n*zjNn5{a%RtGbccJS^q6_P6Gh`9(iV-MzU0}CJl=l~8t0FVMy06oA0Z~}aQ5FiFf0}6mD zpar}Ki~w`M254kOt^I$OL2!asqjR0zhG)I8X{G z2UHA#fa*Z4pdQc&XcDvt+63)`&O!H3&`>B)I8Y=|v`}nN{7~XhicnfmhEUc}u26nZ z;ZO-sSx}##zCblW^+1h5%|dNJ9YS3}1JKCOc+eEkEYSSWlF+KqdeBzTZqPx{vCtXN zpP;Lu+n|S_r=d5X|3Kftz`4%wy*@QWT zd4@%WC5B~!6@-kS(Tn*mz}+Xy=VI}5uDdkqH%hX+Ro#|I||_a4p;&L8e0 zTs~Y4TsPb#+&0`5JUl!BJQKVKyehmYya#+Fd^Y?S_%8S<_+9v01Y`s<1Wp7Q1U&>N zgbxTA2$cw(2vZ2Z5FQXQ5NQwv5mgZ_5PcC75la!<5Pu-AR{AFA`2j^BikZ}AZH=hA`c^PBHy84p)jIIq8Olfq9mY{qjaMzqFkV& zqSB&@q3WS}peCR~Q2S8VP;b$&(OA*s(Jat{(Q?t6(5BFi(Gk&U(8bY>(EZRe(7&Sp zK>ve*h(U`XiD8NngprHUiZPFIg^7*HfvJk=i1`t-5_1IeHx@h=EtWKv1y(p#305E0 zHa0Xi6}BX{Id&L!DfR&NE)E@z@8wPpqXHm z5QdPEP@T}5uz+xY@DC9Vkr0tNQ7lnC(GoEfF(a`Cu|IJM@ps}Y5>gUb5*Lzel0K3@ zqPjgfy14wsem4nhd3kwajOkQ&}Eaf7xz1SUE+xWVv~H5_xlZi2SJnpF*HQzaomF zrecobmJ*|qn^K!Hl(K?ys`82ojf#^>vnrq}ubQg5sz#^gs@AR!r>>@+tG=hfp%I`l zq=~I*tXZjfttFwAsI{z3ukESbtAnm%paapl(UsCo(cO5*_Ac<<*n7hFw(nc?;PrI$ z%Ji=ErS;SGcMW(9A`RvY=?r}gM~n!K9E>`Q(Tz=wznZ|B=$cfTJesPSeloo>lQ+vV zJ2jUy&on=@5VJ_L*tZn1OtJiBC1RCg_1jv+I@NmL=B-VJ%^zDy+Z@|7J2|^TyBm8| z`*Qmi2VI96M+8R`$5tmSCwr%UXHsV$=SdePmq?clS3%cw*Hbq|w=#E-yP(*Px`>PM8kCV@LUq;^;-(P+*eqetXe{=ud0E&RnfXzVhz~UfK zkXcY~Fja7P@NS4~NJS`8sD0@82lfvsA1=dm!`i}0!b8HhBV;2!N1{c#Mb1YFMHNQF zMB7GB#BjxA$2`Yc#E!IRyI zyhiNC*d|buZ_{bBP4h;}`>Cmv>KYaq{x%{w(mKjN+C0WP*7Tj{d*e9I zc;f``MAHwxA1yxxezr{tPj*hdo$8sEnjV~ypBbA~nVp=|o?DnVnBQ2iSopo@uz0rQ zwe+wYvI4sjyNa=zu|~Z1X`NxcW`lR5V^eDL`R!e#vR{zj zoWH;A%k2L=&_CEcbUA$Z6M2Mrly^*j+;Adx^8NJP>F$}^*~|II3xbRCOYY0wE48b& zYsc${o7h`|+lo8>yP!@<20;D|_n%PT@bMnd_!^Vi6K-UL#hVHr?Jxp3!{Jbg$=5N&R$+#3Lnb-ur5e2n0aAcJ@Dddp#E*02U7Z^&mGU00jkt z0bpQY;9j*}{rRhn2}6O!0gEk8sUC{Mne1wcE1^+L#dV5D-2+#5_Ob+^ylO&WLSq7N zf!}IKM02fPGvZYYhF|5?%by7>(1~xCFC&j8X$xBYl54y7o0knw#n-u#iR4KVkixO@ zXVc`kcb8!tW$VgTzY1U?;_gTz5Lu>5=V-K+v>gO;_S1eyf4bAy_YtC^_+*1s1Ud;T zwu1n=cII9cpql*zLOCQHQ3AM00&#W7Qr1~5l24x9s>ZIY8DGzW*JtXF6NbD{umP@P z2n_BiNocE29IcLGA4HhKnn!E_l0lY_;LxvhSf8bl4jAgAB83y8G(>i=WM&7G57LV1 z0q7e|YWU`OX|bd1S~oJ@kdE07?Sywo3huQX#pMOCYf7ZehLK=X-A?^!+9g9Bde@wTBx3VgYQuYFj+lG@?z%E3st> z>GcLbZ`PdTrvx89CPm$e2H#oVuVv!SEN}B%hl?0j$x!bC0^*B2WlZ^w8k)1q2fB+6 zaxVaJ@UIw!90uwu1fmLijzyHw$ec*^)()rf;<4>v z-#6?L16Je`kROf0oZvjB!Gn_ry%W`TugPnsfZv+DGCy z^gzyxmFe>gsz_kV`v#{*-fUzCG2QKTL>TT**f)Npx8VT|ml}7osFrxYKU?QoHjg5= zj%bE508W^iTdo>Ec+v~lhjkM(CaU(G(?|4zO9Y#U*d%9N#+LfV9SWI+0Y|zQfUW&z zOZlSse61$4puFNe_TGN`uH`#0>U96f?);3F=3$s8-JU%JgXi+v$~InzRFUlz(El(O zj+&BEtv~&+H88CL-hZ2WlBw9NB=`h5!prsoyVn}6d+?SS6mLPP?q03a)!{SVRQ8x$ z9rfL^7B_3u=P;$HtQ(9M7B(+*1r%TYQZLn(V?H_4kbV4$$^)0_E`N~e@h5JDAR-eA zn-}`ooC$YPT;l4dj8NtiS>P}He)DoTYzPr|j&Q@`>3u-w2z!7_8Iu?}y2?+qYSenN7NUCBqn z5p=+^_E5^QB~rI9?Xrk^x{>(UNv4G6!m&c*hLuekv#!D-VzZw#sZv2ATlQYRiL$HB z!mzdO3P+U;GQe~lXsak)eHMH;QK^a`sD~71YL;ij^8!S0kzCGh?UtQjp3M1HnkmUb zExOXV1iV#^WY+t&=Qr;0yS`1g*dy~i=8bKcQF+SJQw^J4IFbX}gQbLLqU#@yChRmR zs!0m+D}CcN!HyZl8a1a_8gE2KP3_0{nKKoVXMK+!No;LTW2>EWEiSlt%dA@`8S7ib zL>N^!#K9A^Ud6cJrq+)PN*|D`inSP3qv5+ZUx4?A$GNM10fW&~dZe46mg>x0-{r)& zJOi35#rVIqyANTl(g6q+Pq&#v+XUTpQZwnG15y5} z)lSFz{GiE651OTQ3%_;LqKw>h=RIjyCL?{~v_{-_{7Urkc$2}|?@x|3`Z2JC&?O2M ziZAbGJbsnG5rt?W#}B19^{3t;z5p%1@BM>=FiIIRK9ur@Y7cFm1@8)&g!O9nI0s~9+vOATYXKJ1N99lUeD>~O2uB9a*a#6=vW@^@J44<{ zEIH4khHsT<8vRK-f3l4G&>L|+862p zM;Au(`V!ysUUAXE+)D3dcf+P$Kl;r4kER zD$pi{cWpv1`|~EA?81|F;?e{1#+LOAwGBr&)5iZfE2-vgb=AHg%WbzfSz8#SCfonH zk7zjPjPUKn?=xE7AB>27nHV(~xEpRUJMI@wJX^%RLHPolh=0%!k~hF6^6Kh6*m}-M zbg;<_lvoV?#PtkguAyM+V>CnP*vdlUIFwynoIfsFrSxjhp+!(GS{Mww`H$k?7Y5Za zpzJjb>cx%&IAcVQ#ornbq)HV?Syy}%Y>dcnf{MaTfPSfoT<`@%F<1Kh@L2(JG1v5Fg zO+6Kr-`69#r$2HRh@J=GpMjI;al3{HYgK`2?I8pW;v4K`E?=f_<~xt0t^~9Q`b1Dy z0$)O>M4qqDJTZkSLuG`0BPX?>VR75WDs5WXUQ2;zW#N&|9IAxnL+}KB4GjVgB9172 z;Z+*n^E3iwS_Z?jtEK>P5ChH;yX4687jim?V0O>z`Ucmf8O0i^-PyUUmj8ox7+>v> z5Gw&}=K*c}%xeEILF7liC2Qzt3G)GGQH_-9Fh2lWhwFC)#o+cmoza(G%i~5vB44`L zr8pxp$De?EPOVZOz`EZ>$QFM%Nu0Nld~aT8qZ*9AsbC zxd=lq^_=v~Ht?;?53r0~{*3az00L{1wtwogJ_4kD<+*!wh?IcRJ?_yCpqdBtYw^j7rMayONxai31Qqhja4345^B;4P_+&nvp$$9o= z#cs`C*;Q1SDzcJy`(wGVR({{{llU*gr-RD`mEYK{PQ zanv375`3gdGTr~YoduWgcVYi7hB%GdRh4v~Y8s7D_RD>Zczvs&-{~O@f~c>**Npb+ z+ih&?NJW9zrK=L6);`8XMrJv0coNBq7G49BrhPrg*|PcRm{`+_6BkjF*oTL6!*_}f z4PhgF`${qmT}Np7tUBqu`Y`l2$TThNE9rD8I-0A}qI5W&8INo2Ri01nkff6@a$S@z z`s2mouprT}>43fE(zfDkm=-&Gfy4ok<$J>!0=<|HA~LygK3U9hjK_LB>?hgH6rG^B zE0w*0k>NJ!jX0q^Rz(+Al$v1YdGjcL<8kmDx_ZgsZ$jm?mR$EF%NGDEE|965#=Wdx z)3K?VvpHb+fQhxV)##64U^s^h;x3ltw;>8W{u1%wV>=f!vorzA=${>^2TmQ+8lE~C z4IGrz+*PWjU9wo1D`#bQG-aX&Z6lwVlX-A+<#2n_5;>W{0s~B94;j2GbVE}mOvRmM zp3hNr9pzQ(M+cU>ZPhA+5a;g?751mg(?IAvTG8@R)3S2gHKElq;%yyPl9%I}aL@V^ z6^{A)b+6zR5l%0*%!D!{!4N-ZQW#HVskeiS3Z$RkM!kJd(OR)!t)29Kg00Xsol%!C z5Jz&9bwszUof zl)&iQW&B#29ZV2OKfXJO>u?ptnq9)$ibkVfp=u-svtPTKt@SLMs!^$A(v}a)@3E~< zBBBCZCEQk>2c;w1s(r~K3(2~ysyx^u3=hrEB?h7Wo4piiiA27s(dEvWBuvGgV>u~3 zU&yR@9PERrZ?Lu5O9KbqVyi2qef1~=d+WE&!>bEEzHbue9Cu2l=KhoUO;6)yTeUm^ zgLq$8ePR0gNFA?-VXxZWw`>vx>rlE=xG#pxd4+cnPnqmXjaT-YL($B9T4ECLh~+1Z zAKis0Ef$h+D3<*{gl7%&3C;+F=ISpdF$NFs*DjeJC)u1{BnTR+h7fTmrn zF#vWOJzrhKlx!SJ&>b30*hUVkB1nso`% zg+n1MYR4MSQFx%f%QUmy@(1o|>2~L>3`%a?#k$(^$J3qpFRd(-6C1YIO74`ybBW7Ub2Iv23vLEScaTRG^r}0z0kT3EJ_UKdy zmJ)8!qT)Em z#J>7$vFOURSGbx%7VcV}8$DHjVzpP78-N zvw@&#rG3j*=XOQkg`ZcJKaE+Q@0poSusPsZ0k*xQ>Qv{7 z>an0GYtw(jDn@)W_7Hj1owG1&TxJM;0UcH_uUM*Aie#CpfaG)2{h`w5BW7)}defbf z3}%v;(C#u_GCZ`{PL8HS8&-Ay3vm4Xr~~s*0rbINvk4|uT%w?Fh&d-6mN>lK8igd& zd@1<|F57EPO`Ku5wL8U2Tf5V+t~4J=gjc@o~Al6LFI zm)%t1NU%spTO7R__Ji#^2Jslop|hjE z4d9^fGTt#B&G>Etj&QM+4z@W}ofe6V>e)sJ^LB>Uto~R|1-(oK;YqpD0cQ%HUK9_N zX3``b1^m*o*L*ss+fKlJNp+AdeNVEY;iM}gUe&o{wr10Z43P%ZR{ zIzWUIPo^|*pQZYyLQ8cif;)ahB&yrG*dBp%C1~EajynSX(Okh(bcPK3O2}LYykVeC z%J^qQAtObpw8R6o!gaQrv{(2S<$EH}QGSQfpzU3TCf3*$^qp3#>)BAnooU5q)Etlz)2*{yXH+?^{c*M8 z)%fY^0P%!XxV${dZ8FZCLHUa1@b2uR`T%;`q~xZtL7f5Ioog2JK>K^+as@@xW+M8O zfcj(=@*A=$_7|X(jqkJaQ@rY@)khI(8e*)I7a$Hnr{%iEzzOQ0zTxw2WMfS~imy$+ zd-R!W=3{tUidv>@3sax7LHPEbEWRa?&zOK8`gz?2O;JtG!Lrq%;ELH)CxdVIP3A}t z*h5%$KRX`Mus+JwHZ5(;z50YO&8M^SX3k6n9WPInltv~jR#`bHyZ`9zXJ>W&N1Opc zt)&=wS8X*>>PHU6-zVR-j?xx?Y?XD=2pUXl^S{##j9|$4z1Di?5LW(cO)wq&-syL1b=x1+ z?z^gLfd_nR*WKhN{UY;;~U35hRuac zB4m8{NtCH`WqDWH7PB9ZC*)1WGz!O60{~oPC7RX2lMqMvywNAYS0uiLL*9 z3~KrG*l{)ZG`akzd`pC7fvc$P`*8Bw_HYFfTiuHD!?}D-nxV(cgXf162#dOtH~nZf zDHQ2mX+O^A{-XnWVYlnV)QO_;))mR6`e`)WdStGGR{7vqMKoNP&xxVe`JZFrbtU{^ z%f^MbyYotZzs*&4ENajc6vS2$KJ*K_%blJ(X`OM_NpIS?ed1IUd)yhF)FIl-BqV4q zUUgC#PbA4UfMzuIU|aGn*=)k|Yd`-HxUZ9&8JPO{=tkDjZPDrsi}saqV4WYM(7u5l zFoJHPjrNMI92S;?(A8F)jV3q2$LQi~zjfL7dTbm|+o@l+xyaX;T9*HWt+^1u8Ca5ZjPGavUL7WV`vF%uMMC}c~8ONv920KO6l;dph&bq?{UO^^}8VW^rC+7t~q-_6k zd#_1k+^K$8Qor~UEyR)mL%cLmgjVZE9vw_v0)$Eev1`P<3{{rssh;mA+>fH zt<8J)7nn_Ni%G|m!}U1RekRU?zAl7i(6vq7iSRhgI8ybJZ+E+BseTp>?b~e6SScih zQr*KiI8CWJzAC-LOnz4-oAbeb-s=5cay5w>!xY*b z7`0Ac3lRGCe6f~{pl3Sc$np!B?|jn=MtY_ZBRT8{{uL?O)L3M8C2{;ivAmhGw|T4< zXKr6X`%ZS6!~@yj_gaA`Y?WfQgV{DFW=1%5^B$f7cS$kbF=do&L=;FReaYNbC_lbBqSntBO4$^t!O011RHEO@RyhAAaRU z&`5S}Z0o40?WzbRM9>7pqdiz1ea}Twm^JX+3KL^wSlO0Y-bhe@iVE=SQzYGG z{gzrgj2T7AiB;3#Kkd+P^U>cuk)=B&O)J1%nULZW2ds8NW}vYp7lv2>`e&#Y$ynV-s-OUlFpgL*_pKOb=YdI7EnJSCMp zvG<-gA(#29+3d>+D>{8h3y}KCpZ6!(WEWQtx>s=Rt#)e(zi|hmEE73gvN~jfDwBRL zr=YESxg$g7b2G|Xhuaj>N;{`RI7gHfXOFg@-RFJCqJAh_=W@08&mSD-`E*+*dR?%( zNg3}UsiB>*=(?Z5!#COS<%YK$K&Pv+m$csQWW?>uKxU$mwHqjg;ErLu-lDu+3evaK z`;=*s(yRk$v^Wk82~E$czZXvU&11`hhcd`$l(Avwz02Vdt2Up7iC>=+K?bGbv{~xJ zr`U%O(6e5(>nFD)IYf^X^}s}xM-=g_Vdu5|88H6rcv zc^XcXMoHn_>1WFudT{e6KA}=8qc#ad1uPwNFwZqQ_URDc+e|}8|GFC8I^0Yu%`w{s z+E_=)^TL|z@6G$=(whd{(T;fMePbV?#$qb-R6j7BJuiH*Varrhj#A;E;HB)pNlT?* zt^RU5%ShTn(kZl?7VSfyI$rnF(AU2Ku6VyYBP)PFx*FPZsR2e0vkqjmp=#FC2yx^N1W6lzxT)y}LuZ%@s?Q4RT)nTT{Av46xd_ zg^`{FRXi3qH0p$oOvPdfvJHMH2{V3Vsw+8KvYSmA%{0O?TEW*$D9v%;4W6@w&D}4D z(u313dM9{$%iaaULNqvMV9xz-21l9Ptqf^V#HzIUYS&bk-}euU$BvV~VN7S>*^yLt zLx~-AnxE*18m8N{R0lRP>EYneH@Iz|5iCvLRuN_$yPSK9VteK7pi~4X&dyPnem+B` zzZ+OH(PA#x`RM<=nd+X=9zVBI+IA7rP~>0Xg>%{M$r7fvKQhs4*xGYclXoBje*1fv zDZY1?X0YTd2DpK-`ZZ4zAUBcpk(QIx_7`*v`~%y$SB^dqEdJ^=c2LcZn;zvii*}l|?R1H~_=ddZ*j@fV))trzNROOu5c?sDFZD zM-&4GaoaAxb1P~Xe1tB|pC0z=;Sp50;vh$zvg`D~?EIm_(u}Vw=eS}rtdQfPjYfVA zPgiuXDh{vkeUhUbXW44l@s1e1w$JrcmzR;;*U+(fT$! zctdk~C!dsQP~jc#Ge4KkeZRr7Y#q$1JtOHd;Aq-RtpQO;Gzp>$unFhK%E>=$z179- zjJhH!C1g{oT%U2IWOe2WG<)Yfx=saahPgjzz>SkmDhKSefzgOX5zW}3w zYxsr-6JKf%JBtk(b#kXa%_8ZCjYQ+N3e8$*ngzHFOgeS__rAZxDPxlPFwT_9kYR&E+ONyba2c-d7cA~D0|=w-;kYB|a|mio>^eTM%2(SK(m z`!3+1v(iaZr%F)r=W#_SC(}^ug0J?fL@ua*W+x-%u6p*~+Hmzg#$$T!A%5_pzilgL zqvFxu*E&e#TtRlCM%~oTP#)qD-^NpQq|~I#Ot;!Ic&9DdygC+KG#25Bf_u!Hv6O z+X3CBq@Y~~uO4pIanX+bxw3C|BqX*?l2-Td7es3D?+(;zT4>vu+#gOI1ukrB9I(p_ zN*9i>Gah%w6K0~*q~0S|;f05-yJsS3=dUu@`D|fA@9oIZ1U8M8Cbx9|M9>y+Ou$Gh zL;*gAPjN0n$5fo*Q_40)4RJ5qGE}N;vo7vcqF*HKM=2+T^&cs<;SPr6>|(1gYWH9P zI0Wr(Y?M?rgdX0zq*1$V)S>Yr?19*ZPqFtcvq8wBAf&Wn+;(@h#qqT<91zS%2Z>Kl5Q^LK? zD~uW=v>|@h?!6vn))OgkU)320sTLLVS~XAVlkL7XWE$)B`V{l7}!nJS|E(?n+u14p~yr*TBBI-w6*C}286w@-Hx}=O;?SPpYOS*`wmsqr2Ul*y-ZUZb!oLZ19Re_EB>P5>xy4FEe6y=MjkbOJNnpp9~WZ{6_%-% zf3)yFbL}&rev>O3)#k0nz4TpGZw5Jgx76#ar~KeDqEI9|?H#xuv1w^gyYIMMV0Mfm zN`v9=USC&^5g_1Gt{R*xMRz62+1Zsk$Qb>;%|kKQK^9t}ryz+rlM&S@95fxn+kWSM z{$tEX!5xL_`S2BEV@w@xHhh=_De#x)r3Y zyNx)yO5f3)i^~pKLh}3+z{-iEqWG1M%>k{eeygI6gS({eIzk?Nq(M^D399_D>ZLh< zRBjV1!PGT&NK+lP{+X@(;78BQ5D6vGMUiD*nz_U z`Bdg_`UsMTdGi?ULda6nz$e67U z-8bu2D%ofx(=v|IZyCrg`RbAk7IV8^i8;AtPo5{w(ChwkXsbU#nlM>Rb!%^@c4N=g z89^e;$|1BmB4Z$|mY&uqQ9pPv{IpuS==e}Ius!;PnZCH6%1P`@NXt|{F{`tlubSil z{oz2O`b0*NZP-1Sqj(WXHG25-khWk{P^xFX*KGZo*L}$9if`JZ1guSp2&~FFapHCN z0$*-jtJzKmmhezk1cSyq$q43Q*J{}Qgi)|E(|$_++qz{>r;VrsJ=XR1-JW(BwZ$b53W}Om+Hq%U+RZ>BY z-3-em!_d)=TEr5Eb?anH&pP+&o(E;QllM6%TuLuMt4SwV&p3<3Z|wjnppiif7a3Ai z^x#fJ*1lSxfqcWDf|nxvsT`+<-Va@A#`_9(bR)gbU{NFQLF)tf%M%(WIreqQ-vlSG z2=OmD>gyi;%h6(L$1oc5vg{$hgk=U?g)W~ll6GD0@M+TzAWfwhn2hML4eSr~Sl*0J zcPfaKG5mtq+DM=@aa32Q4Ea&g~xRs zqX%ScTS40L;c@?QdO_6C10`P(QjMf;;F*<_>q0lK%_}cjvLFAcBrs1>M}?iJMe)J< z+37WV(a5xWz^-{gHKN$eL&J^mu7Djz=#mQ@nAfJ9DqqMR(BlM55s6eV(HO@Pf-S<47}wu(y;;)j>pIOd7+tO;PiV*$Cle*MJ|U&EIB0-;+OxHZqu`W4EplJ8kJp1Prv^ zqtLQrqG63VwX)*4?&yjy5L#y?rFDj!Zay(7K!&JF4Q9rDxV6xhO(^xx;ag!DNa}rH zoa$-#CBF$ShuV7%jr!B)oE)Yy8`FMIpsrl`;NJ!;1hOZ?DTa0`xyg3#fUCOCG;1h7 z%PkZvnvt`>Gi1;VlvD9HZR1dDK>+`Hg-KWWowBVK91Q++ui=U}cs2`)gLz#s!@(c3 zLrDeYTpOveY&23+qg|mvik@FTPi$0L0SJ}NFfbsDRt^_+EE08OknXjhY))+343=!Hk_KPktwN0 z@&Xw#)5@Pj>9nTkO3fBS-T_kgKWQNibjjL`a8hek@gh3kz77Z#R>MQ4WCy}i@Fx=t z135d=w0gS?^kg^ijMRzH+1cm17lm&GIxg}{@7+!2 z>zo6*!W;CD>(nlsz>>pywzU$nmVR3j2kW$PfeJ;}Q1w2EN1;_$Eu|4{U>`IEI_IN2 zEOC5)C_0fw1^HsI{aq+H2*1{&UFq`E?j(c@_pNGhOTdkE_W>P$#=D}8cce@w&m0su zuHwBpVcW_Rj;#J6+nR<40h}dAtVz@kH5ldrUu!-c@lbj~nwP&aj|tnl@sYHoIk(FO zq)r;D-HA5obFUS&dz|A$mM*Lqm1SIbdU9#1GE?7Dr`Tt0m4;V;(`@CY*4nGYnI|Mf zCnMbEgcmnXPi|$rusi4)OMd|%OOgh5Rmh0Ze|kOh)$J3}l1B%G!Qu14ggY~Db3`Mn zNg#{)O!bYFh9h%4Y{?Ed+AR(VM1QI#%*}AN(3`>>yI*exCGaTXFRq2}+#X^p{7q~N zUmuL?`MX@>o&x;E+a4yawSnpGHf`pY;|K9VXP6gYI!TK^|4GHSCMW()@g;4=^b`41 z*J$+{#k-&Z7cCQTUvy0e@T^%|M#1O^GTK6{^7YZ(%uxuXQ6!r8BQ6$z8|TQhcxLr0 z7FM-0`2%KDwhwJ8P$(D1t!phNYv-?z@sm*bncu1lBc>5=U!cGUtAaEg5Lh&iCqrxn zU6g+ZyKw{-_7>2Y0%Ix!c=cc`BA1zQ9-Gz!JHqTTb~eE258jk?0K0hz){*o;C)dZ) z6-B^l74dzM?p@CmW8kM!6I*S1Tg@=u9Dm6AG^GswFP0R8!cY0f zhM~G{z1y<|)ZtNguVpl53WNpog~_yX?>}Bo3q&ZBo-o^Gqf?(6igF0m&ZY?-UF zGpMvvJBp44a+W)@4BVn8MHAHeJe|dNpYGyhz8wf=GHx>ZXim(ViBbfgw`R31spW4MXJ z-n97k`X@%(J;1@*@ohU+^FWAXQ}J2ewTKbk z!JpxT!$89e8lR;Ss=n$+fbX)^MccTQWcZh(_yUKT)}cz=$^@Q3$3%DAx5VHiklAlV z$q)My-lI)h^7IPrUOyBlW>ZAic_VbtO+*PYp}v_(OukP24fk{Wq_#m+BNWhgTD_7}Dnw;ku3@@+`-arLz$yB@nWbO~?MON35Eb zd{iF5y0nCtQou-#ZJ6k1T7VV1gh>857U9M;Eje7MB+_meEPyLJs-a;&AngC>_CA$G zeaR0@LBA!gS}nN*mVKv4(MVlP?oOFL!r>Cx_>8I%T}+)MEJI9#CQ_u>Y?@AEsdWR= zH29n+fRm&wWa9YUb_z^gp{=EJRVMh!P(oiJXi}{7#GwCP$YqFiWx4v!)T3;Z`y^uA z9&8wd9NGlm%1t$Y)%QUy>D2YBHnk?7I|@UTfri2ith(_*|7h$UuLVn<%mk;sG7+Ap zqpE_|dd@HS3VIBVH}fQKXL$Km3>x9HnVyN_gDSsCWD5sgg# zG*jRpQ_MRpj}KUtXUpiws#K%xx4)9=DY>XN?(Gukp#s&zHYM_eP;PRtB{V~u zIEENkMaX1dwW$c@91Ct{3=E=j#?A|$k%^*4qAh5lm%l8tO~XYKLMO(dQSpDhsko13 zTwjc+G%SoaZN~ctMMHdaaSxG1RC~Hx%NtQm{aDuajS-t96>WOzGotwpcCW=EYU+7P zakPMWobvs{FxPEq+J+Y(Qo9Lh#x_9?Q57qwRb>LxJhrU#DB)A1RCw&M_i`WbF)b}b z+IuN$zY-!~uNwo!!Vi%>Q*+>KROufQlXU=6~jwrBH>|u+MOT zmfGRhf3OxTXDcgY{mN32G~)G$!Z|g0-4t|E6X|xbtEpN>GG|rc#V#*jqD?Y%E%38& z`AT$=uT(FHJB9%*u4p5z#_g53LGt6VHT?ViK$11!XZ#@E}_bhi2BI!`P30Ji!CiA=cZcfI}2{X0-t^rM%q;VS;? zwp|!@t=|r7k~hKE>#>c@SI|KZR#{|&Rh}Ogzb-vFaAUYubclLSqjem*V(|s9a!Ttb znWN96yLl=-DRaLd3xiL7;=1Ztq>zS2^s{6f5bh>M+oJ4v{rVI=GA4aRcn@^41P*`W zAS}N(l+yJ4ld@z;4s=#uW^_qnE8c$y#wg_ImWn^`k@DpgS5h4ciL?W1BfGz$7bGtbKRwx1VO?b9y|?ai*}Thnw~OZqK2zC$YP ztdFhCxwBnk7q8EjYF+K*=DsXL8K0X)a7*M+(CFDo=WDl~=Ezx`*Z*?UTNQzW%n+ov zTm<=(WdH1@!lqeM)$5v3ZRZQZ}JWq{nb)g~YR$NuYO=L8mPRqH_RITjG3WI6ZT}Rr1s8Tf6x))?GIgy z#t*HaSg`YGtGXU1C}Mz4?$#tYN_Uh}G?a;FZ{$zIKxdh-yy3P3MpO`P2&t(}UD>o+ zu27qvkZF_M+JbK>7M*?p668j6A|S1(rFe4!yh#4$hxy_DgUE=3WPQ`PkUtEaeaX&g zX`hoJYiZ@hSG{OooM5YwjmN779No@W-xJ3fMd3ga;d@v17)vx&4d@SkLsF)rHKi4) zv2q+_6L>Yq>3LFk)k(ae79JsR3TgT&qd&vF=$})K*Q2Sggvxl>^>kkU10l~k1)=OZ zBS?Od{&{S~d;#ur|E`Iou!tzSm8=(b+Rp@;%xSRWW`q%YuNm}ihgacSP>WNBLD89K zucXPY?yym%+e4`n-mPZua^w?Mc+MaH`ROLMW5H_bL^4p;)r0UKuQ6{`R?US-B0r@{ z!P5Lz^ryQdXXp+M_-^aM`9b!XVR&!}_5POP-mfaCw9|ENI-D<)ZHWo6YT6Q_+?`^0Aee+j2ZxrOLTam8l)VT=EK$+pKA^Cs_aiN}B{deGT?HOLyw`{Gp;Aj9MJ5 z()j?)Au2m>mH6R}fV99KR)F*S4 zMqQHWB8vAUZ;lX}q!MX?$7HIDuVdqm7TQ4un6nIY(jyG}e%kNjj~YT#u|_v!@}f^} zSoS(OtC2fbY>w_ljLHg%m5!0YE>N$4rBtKX3<0p>l%%C2W3~?TM;}U<2Aq&9Uksz1 zI1!heKev(t7dA8-ax7?Mi<;XK0_q$`wuYIC8XDjDZ9cfhs!K{BDL>;gbN1lrrWc?z zMCTBPW&Z%V14vtFrxwjBGZY=uZCR`+jT{rnAgJ-BbI?;P=^_#909_)KCc<_1!%d*^ z0;}cuaI<;VmTfTV+Da1Q`*JR3y3y2@G_wiQc4-Jymui=YJA;VpKg^XmPS1?D7POPe zYWCFQ;Xt!_ES=&95Kda3sWK$GCHbu&B|gwswh-^#Ub?f&E2?d2QLnXIV@v&t;XHYa z$}Ks>g|JmreMS^#z?BgyF1(Tk#8(ZcO-TE@Q)Txi$bC)oP!;Dn!Ahc=uZ}-wS_CNh zi9Ck>^hajs4txY zsX$ImxpHkyl@(L^h{V#ta!biAszC)H5}NioC@*icPn9UBC%8S11v)ZbrC0k?i<3hR zg);gV$W=+NY;z8C>U|CeMGa~zwkN|EKfUP@1e1`%~LC8ynaK_!*$5?4xnFv&IZDiC|k6ey`nXJn6#C->P> zCCYiIji@#a5Eg#X^~0kHM`UTvB?|F-kh0QaDJ$fX3cWHC?J+ZEHq^J0w$OQbMC_yJ zPEYCnm}-qu+m72AQDG?k5iNrmro7f(66Bz}Ug%nAf%U}~OUk~ZB((;#8r zEKDgs$~1gbr2>J;it|o4+hb0)(5sC|Y$%i9QhzV`!)Wt3`+7mtSqR&*lwY-;g0kBmiDT4g zxTZtj^sTnpO3+8P@x1;nLX3H7P8cu7AB(9mMJBfn+fSf6+zgX16AoqY|So1a?*WcB#^@cDm)BJ(wHm1JO{t19 zo#L`U0=@^h&K9eC=lP}6{uq8pDU9kI??GPJ^MVZk#>K@IY-{VAL(U`+HyD-CI9%{T z6amT*0?6mS1{Ad_zvl#Pzc8BSaU`6(M-VDb`DChxbGB6tarV-_yI`q6NaayXo;Gi` zfn*W@@0ClTCZ!en;M|a!jy;VI0^mn7l&3Ac;pnPUQ%%1?g0?xIP5ed%kVm*LbxhhQbiAH zWnek-P%0{M#R#InG{Bin8~`S@?_3|tPT^Hh9s?jlvIlROs2<;1S#MyJCY$eEZyKdFBnoz>Jd6v9sXHILGaQswTMev{ zy-$2_+iFs|1o-ZKMg|X-E6h^{WY_GWG}@;qjO^AoaSQgrSZ2)mdsW616hHi~?8K*C zaBj#I-9EX3on5}2J)%VTfhF~_kjlG_$9(Ef?F8wt>Ice3u!#;DoSPcbw_&BVQA$|e zpA+evs@Cu)YHplBmLs@4sAz6$X-!;9yX{X=P4lm%230^2ws5G*F_Ag#$NvEKtc#ST z>N~>%r1Iwf0CSA*Du}nd$Vno%1D)bv~k@Bo| zOL!4mZBrDU;gP|y`tMxpMyX41q}^P0QM;|8?)!#984dCT{{R%>a_6A61o2qm#U*=^ z(^aAP;=y>lMYg!(F;NYrr|l8h3rsEMw5hN?m$*Kc0<{{UTd&fTCO#G7u{ja=P+I8??L0JNyCc%Ys}zg%G_T1;E0 zOFDu|R0VvsFO4zvpR4-1(CS&ayt(lm*v6QEv?)G={&_w#Co1GbJ7aX~j!8n=W=l&A zAgRwSe`*Jb!v&HA>)Xj<)R3f+_Ye4-GNVcK`&(F3uJmo8DUQ;DF3?=u#b5ObcW=J? zcE>PoZE032&8?=}TFM%7pZ8Vh2aP|zQLo>>OW~*(z)CkOQczTN}|y8?f{I_wn9?W9gP_MOf^1QLlC6RZK(96xwY` z_WmV9y3~9d6(3sShiS6As z+3bXN+YT`RY=JwbP79A3>sM+WROn{$BqfG+i2^Y4*<^YpBMLIFaUed3QQK4Uob20v zA6zhN2`$FG6e%Go2i~fExLuiivsx!0M2+}~a!(c-LTaU-52jS0N-Xa&m$YRTOubO* zQxMLN4NIX)5Sptev_6-*&y?JxYw0CzpLdqsKt7%Do2<0gP#e^Ct9;qbMSbvGZaO`s z0Mda+A|+|-{if9N?vvkbPQ0MQtUvcCWTU4g7S9$GOA?Rua;DnXTr|8Wmu)wEGZ>iV zJe!0sBrGTTSIF1DrZ|oB1$b1ILe@67Ez=O-O4K$;KVKY0ElhQ5OlS*z>q+%O;`9`e z{{TlN-Uv#M+!8mhh7bPl)>@tPGpQ_2NNpy0CIA6(Op{?hX;@dz1YcI2jm*HX2W z&}sNnR%Od${{ReUYo!OgscE_kVQbJTeD%JUi!wIY&9LG;S(V6kf zkv}cAr|jJwvb81El`bzbmF>p97R@_QKB|v;J zk_v{^%Mns*-kup^F63~%OUWDZ2DwLMp(!d9BDmaDG}|<)s1e8vmlDyLDDtMV01?!q zR1SQT`LVOI6yl2Ncghf->#k@7p2s9I#K__4VjBdLgC(9qwf!^Aq}G(d5Rxm)x5GH3 zVK z8dU6`T-XjqXnBnVB=_*ksg-~bk}7--X{NaWM4I>zaAbg70b7xf;#|6DaU4oTeQ;(# z2})~9rvYV4=ln`g`V1I0o?DK?Y_S%)M`Q&a=k>>Ir75LPi0pfPF`z4PKf?gi?%y0R z=K)ZI+im=F5wXJ@<>vS89P6)E?msva`Z0a#4bIV}EpZU!J6r^m{wNyzmA|;0MI>u$ z3cAUs^p2a-5+yj{^Om_z^AG<3rAeo>{41R=`Na7x>7UJphM23Knq{3`8X5jgePh`2 z3PB+SUMcuzJHB2%TQ0ik`<%-Y?m@m;on5j^&nkpS-?03jZ+{x+rqJ03l)Vh$|RTKtU_MyM@r9J>+XL`9zaJ6D#WETN0gbjf4B>G~5)r~zD zOWq_gDGDy4N&H1Os)5|%FVuZSdV?NRJvU}66O;+KQmSP>APni%Tu#9j>!dd*`pRyV z(<$<<(@>=b>Xwi_zo78M=IPWfn#+(9{l!JHXy=xV{Wl$ABOmKgtkXEk076>7dn4(V%@Bhchs7B*WxLKkHds}Nj9E4%Ej-IfL)<*j;z%tGmA`ykHGYLQ zZK;uWjRIWPt_t6N`ontz~PM`h{tRgpf zvq?bql)NgWeN#{Ko~AR2(}_L~$V_XcSq>`oR@EwNrsm9KB}4|$(srmds=l~Su-Tu| zl3cqp0z0pQ6qzy=RVUXK>xPw?c4)40lCS~dR5w3NAZlKj>WB_=h=sh_B=Jj~zf6R! z1P#~?CA^6tF7+1w0CLv)y4R?rJ03ZTpDksR_ovk58Pb-`O*S-E)bAG8Rg{Va{XKDw z*2$_Zs-i6t(krn_D@=K7nW%wDaf`J8`%;cPzh4ZYX&$OA@R(gJ$Q5?!u7k0<)EJkD zZ5VNV%(--U2HQTNKbz@_J10cBa4cwzIBxGDHI;F7pxk!-LPqo-u49Igz0Yc6ZpzaI zN)GaAR|#dnDgK%aSu~9M=B~Q1x%V|CvUZ0R92)?3+Z8=bBe5(`g3Rw&*;RBNn77?; z(A;Xz2uMrZs}Oc0zWz8}cEw=6>U*X7O}(W9ETJnS?xEcMaQ^^iz1VaHkD09!hTC#9 zQqw61{{U=7Iebn*X&pYedNL{`$5LcGe-R^??6q&lB~7ARg7mcdQAp{6y0nBO2#tiK z3UM8=j7C6R6e@iI$*Z(Sn{jQC#1m4GHW>_-)XUytlS(UZkH-^XB1bPmumY2O*+Z)~ z`E7Fw;8Ie9-n7D(%l`mOwZ@d|WIm-Ow0;%Xep-^FUMt)DV!_spG{&iZ!*5Lz%!%o3 z_0!x3s6H4zw$(O{mT7f22)2mOnhr>u_Td0`9};oUv;MGv^+B^nE!AZ7tCs7da*^a0 zL2)S@z9$_L;a=eW{@H{2ALrw#+OMuQn^modu`F-g5ZO!Z`_|oPR8NP~Grsu44c=aI z+`6*i3uvE+8OgGt31%lDeYF@d%Ugn>K!f3y1zqZJMMqkc6yY_l^cm$a=MX$=L%u*m z3J$^0SV`}e4k-IjJNL?nt0~;?@WB|0rq#?S?dqJC9i5sf^#E6hBH zZ%n4n%a&VEK^3STIN_xv&^g}&WEzoAX&yefD=1k(E2TzdXC$MtQk4)BLVMutHVG)F zhS&lWR7n5~9iC;%0bRT0jJWK-jDS(+Af8FwW)R*j)}EJq^Xtt6Xnmzc)$tp?+gV8i zjIbBxHSjy9Y|Z#8Sf{h|c#hf0@0`tjBS!r1-DYU} zY47E!theuWXwcccbKjr*#!6h0Lq$fej_LPo2pT*I=gYWz?x+?^s=ACAoBAPDY!nE zCEAi}O44Yd^^g(%9ogtCG?X^7p8g5NJEyN(yw*}dLdL{{U9gX*G~@RhgDyNBOmjiy zg>FVE@wC34wnPs=eZ)SBc`8!B!Ot`2M!PqC^>8Mruw84=pYLmOpSPxySV=9AH*r3g z$3b;sPh9#-7v)Q+kOOzkF6)o!JIl$Zl!HpfaG%Jk3Lgq~-wijk$$f(Ri(j1DckW%Qv(e~$L<-DLMe@Ei;G)Y#^@GSH4xnBo=*xtS zHK}b*L%2h5rO2)#ib?+fmJ=cCN$p7Ti%U{eXb*9Uo1I8m-&!^DVcEU)sI@m zi&+h}J2xQ}{vrp|QzGvD2iGkXUV3n=Znd^?3vJy!BrV=2`r7=b;Zu#Y%wv7M5cG47 z2(ml+un}Ux)KLUU5CVwYE8~I8>BI<%FN7FARhk! zzYpl?Hl)2pQ?}hRF=;6L?eRz-8sO8iL)GaD>LVa1tUWyfGofNS2nq4*1}I%G)ABB_ zRuid?#CEw%l)al_1GQ~m7eA9QiaU&)xyq#GfB`Y;1z0MIdHJCxYva zmV;;qi>1x$@Y@a3`KHXrq+LaH*9;!eu1v>ul{5G;!^9sS*9iCK8H*&g+J_2Ml6!nH zMATNr+2O7rQ7S>-imEX?y*%Tu1%xFgrl2cq=+7s&ml(%634dPAj^3Mrcu^npmjn>t z@ULp*CsMj)AE|v9x<{2APd5BzEw>w1)ky9BaBijfcTEj4*%n&bQok}yc&o!T^1(La zri0x+)$@z2sY_`|aMyA+BL%i{g;B@FD?1oAjj@`i@h;bi~ z1$WNjMVb3P?NQLo_jLsM2xTaJ!$1mv-kHjtjpzk*gI??XZz+aN} zjvUpx(pyF7+Rf)Vud`@TB%jwAZiwq4o@PIj%kfP~s{R4$M6G}OK43LS8dC21`+pu# zPToEk434t=g1}K+evnLbntPtO@gMz+<=wwmYYR=?5+})*{|FHO!CxqMzR?H155a@1E>ipgVhb z(~$l6(cs!LFl8h2Xn2j|?ZeYYK70BJ70>!Uk7<^v;#L$t;en6Z4bsNRTwMvJ8uSH# zbDIZAYbBLFEtAa?LfYM>J~>F*D_63#saCluD(~h?r}oSJmqq&iF8#+=fBbquFZPP* zDj&mIG|N=4Xkh;Ue1(7Zme|TF%*z{Op2&hW{{T6J`a?t^I%4^B)E3v*A-LfX5Y*pi zHCNo>rodAQXQtEG_q@%tdh@!}{{Z%K72<&suJ)S|RZ1*F+T@CRx3eBM$l2UfdqMvEZ?1VN%;MLaW0E;v#Ge>E~P84cyPBp^_N zO1t3Es;>0|!!)D-gHTEJ7&8Kmgm1R_4h}_aE2Rjh(;PCLs-=(D0&b-}sZSibfl@dm zSL2(5vy^zn4jxG$938p>LO`kX?~S9U%Sc5MYvYcgq#@d=0Mr^NcdknW1#?_TxF!@A zu5T)cVTCxV`UITfFI^?Ot@^!s)k=NOHbv3Lkm3&G-LcNbe869oraBL+Z*9H7$o4n5 zEchsl<3z-**)C6A3Y77ptG?$8)91==pS?Zw)2&goWLt%gS6Q69X^Z+$jZ0@o-ov7x zOpWNVQ&IH7w_JJ%rXe@2v_TS@-_*}j2aEo0KB2-jQFt=-hvc(+9m z+o0nZeO1-^4pOc=?FH#WgCTow~5I;9jW6tD~y)* zCWn`5XC69BMWQ&seH3qr1Y;m7Rj$W;zeW5*FxH@h#4p1LI`^m2Bv0ivmsm=cIID>O zoLY3h%zd{-*%`N5G`uQt;i3XEzJ zjfW@G4+?%OXtaq{?H{fb?HwC8=GPq|Qdt1^!Lpcv(_k7 z9aE}q&MjWoQ8s5k)3C|gCr_Pb%_if0DrQ9I{PVY9dt!gDbd)&Kh0YQX76lwFkGT5d zEz>~73rjfGNK}hM_6vyoNKcsRS5&FxawGJ~WX4Uv(C_b{XQza8b0gwT?9Qhi1g?>gm{ zCN}#QUp2C@+LBE`IWri}Z$9aoqRQ$kix-xpLW-In!j(9ow;zsVF!@q|_sX`L`MT0= z1x>g4Y1NSvzn;hCk?<*@uheEUw|2BHI%g_bE4sOMuTe~)FN4dUh*_k*GanJ3$-zy3q_qvgMCEvs5XygsB90_RQ@00r_v~PhIrg>f^3-@t+#r z`WuE;s#kSX{Wckr2joZPjm46_n#5X0-(QXoL}eP-_>{ToRXlX!L?(!e=qtNrESa97a2U0 zMAABm8QM1bJ<`~xiy98n*c*;8(~el_?tzRsv83(k1H}7Kk~tm zr>yNBZQ3IW{{TxVAKN!7{wMHv8xaygH7TV%GRa9-g+93DEHywBXijVJ{0TL$*F1TS z9`7K5!CjAI3R!NO>oB>la}%OWyX0;__y z+h|ECO-MWCadtsNM=H~qp&mJIA+-QjKI+#6N>ooWk-uu^mdk};DX>%Pn8lblbmGc| z0ouFcge0LMDILdrrN>7&9!R zf>Y(!e7+3=Lq?Jou4$kHz+;Gjn$@#k1D0)RN%oK2Fm{wwc_BXFosv_&QGvrmsK4zE z)DCISl#NXx5`41wZGq}Sxm16Qo za)#(*>P~TnXYhL zf|?#*Trt1Z%f5}#DmKevmg7m{0#oiM)MRCv1M&}=@Sr}u@^Q8;>SOTl$K;bhLCXRj zp^1?jg(Gk0Kd6q}zXdx?p)7?{_^weze(X~EbMp~wyE0?l667VQ)Kz}N`s5y`>8DO^ zZ@De|aZ9`?4K^PfB|E3|I}%)oR`L?qq2fQ`gvyF8h5$nPomQI8Mp+8|a_Xb8xJhBq zrpk6asxo6sbz(7EM43Z<=&|21uFWCqJElAf+potd-KUL8GGg7R=CLg)0z-|H?hU7M zFhASmC5}&CuNwZ=F}splgREC;Tou1*l-izf5YTi~C*z2<%jLtXeS5qwP+awDyrsER zp-UkGzN6D7ZC6W7#W$$+1BN}iIw;g-t923FoH8S=+CqF*EV@GEh8;=vQFIOw;5{?3 zqSMtxcirIY^;(Tw_c#n@hy9sdKl8)dx2R6M6GbhSmF=&H%z^3u086?z(#Q$7=$$Y4 zhge4fwSYnR)|i#)Ua~s7+vwoWow@_SeLpK}_DZ&~aw6^X;RGC{zkY;Cdg11u@9vJ!nomaN#ZP<10&F z)ed!2?j&*>Qzb2$nk=A~TaW_D*oAh({{U0^Qr@X?#uAhwLXt}_D0jpbsf>E&l)^omifT zCNiMgWhE+6-D+3>5AbuA$<%QqFfZ05p#(fzd6c57bG1o6gE}$t2dl0l_I2y)GOcem z{qE%+Ja^KaloiX^aIr2G%3q_*wkGM<9PP+w@^Y{Cb!d~Mx(;rRvE`ejvZlSXsuQ?B z{;XaLjgwl_&{M-FzFE3!2S{`mOIR;9W}A}5slPo7M(I%)eNBqWkzeHuB>0anwt2Iz zj872~^lyZxVUYDw1F_jV{03P(kGQ2(_zYM70FzqBxi;oM{JLeEwp-A;e=leCK*~Dk zpW$QVl^;WEA8Hn_{#@}(4iqP` z8HmeZkcbk}sHFg^VC|HlJc1~FFa+_h8d9gj1xrt@ARvlUW0(Vmk(&VSyd4At?lHV{ ztqS1k!B?Oj7&Blikx%Z+axxX%6wu?A4L;=>f#HqNkxwy7?mG+>vBd#GwHxenIZJ+e z^vl}U+y4Mg`p2lPvjTyIdv&C{<bww~NUImXom`3~a0Ry1hmxl~azS$7lG24kD`G(c8?kB?(7?!ClGRi`f*Z?bm+Mff4XxduLcu~}Zp;ZY9+PLvrdcxxQzve8Cv_sP5h-@WDQe8?^=@i<(X~Vg) zSecdPCeDGs@XEX7_MhM-A@(ioB!fZ8JJ;7PHWF~odT*O%^r`;x$NvnWCD7 z{O11TG>4qz8&DqaLym=hVN^^ikLsXLwXQ8%l3dFiB|6JZC-G`#sHb`aj}wQz5Azo~ zbciPZgE z(>Ij1qG}s)JEhNou1dT{SXFN$9#x#Iy0zA=9~%DvHq?iVY3#Yn%IEEMKieQKI?JZr zM$_-LdWeSRM`$W5DBVs|{x!rSuhVYYI{HoC;?$?MLoRuq{v+4Z3R-KePTJJcBB|&2 zI0y?(3svqb;yYnRo<}b<>gUvzn^9;tv@F<~w@R&V+N7waRB0a7#6C6nVx`l)No>{n zc~PF0(p^G|Pyyrzr4Nm94`ZxX9cyZ5P3jrQeUhN38m%fmxTtimLC&}7NwXQa1;Kn3 z#E%u8MYVdXfAf>_@zS$#pG&}tW0$#>CuA)!<1nY43HF5g?};szW6az`wzi7O3XA0Z zsHyHw9(7)%yV`G&?W{P;Ttpr%yi@NDtGZYFu#0UHZ&M`5T8l3zt+o>0!E5nR^!jAP zaH4i*N$*A2O@caZGZs|0Tq{CZPbQ9apY|JS9Tn7#Id#$6s>=>aEq7EtrMNax72#3- zo&NxSa?7Tgp3xf8xi@ReZ7H@^*=VDYuHC&3c2o8gbjPRmFP7Qbz9YYjmvXrk%5--J z!*ACG)z8bKN8&Kl2Rlc}&!DnM2><{nDcB6JB$ZOWJ@ZK;%c2!g>s$`1?gn`hPb}r@ z2!J<6O4O~6Y!WvZ49HKD0<>w5Mb(T)9)=cF&*&(o&u4zo&oGFf;bf^jloa}$JHzbZc#p*&P&r3uf!#LNk~C(qY35%@ zYELF*k}FEn+&(yC>qAdG(-%oCtdOr_mYP%_5^$xeG|-K8kub%5K2f8HY;Ki$;m+(W z`rD^Aq$#AaHZK;Zw(6?4f297q{_ONpj6pzzmZu7e(l+8Y{{R^a zruFjWTpSNeM0BB=CWm^DOfYLZ1lacG?C3*_O%DaA{oezL^}kCnUy&MLCe(ng2EC3j zahzSwQInEgDvx1*Pd|LsS0ofX2NGSPm50bZNYO$ehYjW5frp`%Et5qNXh~3Jo-&M5Yqz2-s(1KjQaWv>Y?fUg zYmQKt0vVwwQh1SHTH{Zd?zi*@q!wK#cIrl>j|N1`p^VK6R-~ZPs#Olj8&u&G-K?^LwRQi8=K&^K#zulH_;E4U^a%vPOUG_W9jr%$uFnmeBz0 zm8MxzfcOe#Zgr>jgnX!JUYt2%(Nq5b-MWrj$rih1p*);gyesMTz-)Zpun7xYx?0*78c~Hdp6g1hzI3;)zc`xb ztU7=FnPq4BMY#U}7DI}2ldd>M=?7{LkB(ywu+sNSw14D9POS=AqHDLrVNjGKxmO)N zrcn2seoh7IJpPet@>= zoi7r>Xt$-;XFflM1uBu>pQzsvo5q51i~MMI*eP2`T_v^RpnHUTNB6^Ox0}z@>5XY? zLD;TrTw^fwH6boK5VwZlW=ZHNYw5n2McFZ&eKR91nCWnP90ry8VkM;QvS;dV*(P@*%g( zswh#E6<&Sniu^JILFspVlFvC#JG~hvlGR@jpAW7{$!V#VIP1B?EU*%MsFEE18k68@ zPWbCaKN`_s6##uQzF|y^YgNJ>vG+2l}cQZk?re*D--+bzCD5ePhjwiG#fsFDf5>9+nE zx}RLE0`5g{(vkr7ii~j6f|V&gpn;5$$sq6F1VhfHVL|ecJO*q4?3LF6K)Q;N*k^|z zl_++m2A3NoCZ?wa!LsLMT8$Dp3TJwg?cQ0_nB~P*wKO)4m7=1p}SFIk>x!MM{E-YHEB&4BEZid2TQQ zwFL!nNhj{x1P-K8Ab*_PaO{P{Zm6r8Ht;nV!(Zu!b*6;7X%}N5)X##pNLo48pySrp z#PaS>g>l1fa9H6$ei?BbOGgjPkIk1yCUm2&+NVZH)8^V^TwFtT(s>0Vk)o?XLHc4X zYMR0|3vuSjQz>!am8l1IY3b{ojQ;@n3H+bSnHt;kPoXUVgs{@t)egpM?rhSFRXhgy z$7Dc$Tg*%hr^t^cfOFk-@jjii)amCPMLBtvlL=ul^$SnE2EgOa!an!Pkf6GqyBd6d zwj-15_oYcvo`w>6)TOl2qZNCeuWkJz+$GO*@!oRUkb;`~cH(RM@UWP-eMlRE()`r0 zt_VPHin#g{<@X(X~rmu{*KZBS%#qUyHr_v6-^}mDb%*)f%Qno&Kw~sPZF&9WdDqfQ43|9!94yorW2NIY%YB3JM|OF8*W5sj^6mk zX0<9HQ)=yBrW3ldenqq&RHJH$I&Bx}Fkz*&K#czYoXVXY)xVBoCZyIHpHWEsMfXrm zmhzebPCWTFr-pkN<*;x=%qagaV?{D(@nsddedsru=iOVaL|!qLt~ zWVYMz(hH}TWu1i;wo1q7G@H{3MCHkLQi*lv-`|?OPsa=0HrIM*N!%HpvCoh>~uwi%g1)?aKU1VKKE1FCd0_85lLwgam> zpea7;QywZ0c zrbCDlz-uxw$x$w$Y3O%Lj6}W?%!Iq;GKx`7SMCIScEVh~k1}l24Yl}i<-?F2j>Ee+ zR;u{;_U)MmbZ_y~8HGCD%EVL$6D*OkzP=w!O8URmt4@(G-P3N0Tatx-C(Jbor*0c; zcf)k`W#a2>9NbmZP;c5sYucLU1*pn0N4d3jQ0%fj4g&tYzE71RYp@$|Jy&0KE8^R3 z{{WEe6_Y6hcRH@i~RRvCrh%SIVzIAm;#C1EPWeI^a^ScWJ*4Gxq;^rp!b+8}MKZ~L zilJG}#kD3r)3NQF3MD~F9lPan&C_~}NZ+S73O)RDeD|i`zce`U-}KKVH8jaa2i3@p zl1|xuh^;G32_U3U9J(n@j%h@LvyoeH6Iv02A=0vWV}4?zur(xmc0sIE2+1t=3!w{e28Bp+#A5=gZ)56kc+R{% z%TTX|*v_6xsan^^28>FIyufHO;~e(W9o1f!=+3!x_V3c(pv4j`cbHB`lFEkEBR*mN zbovK3*@=({yQZU13T|anag`z~#z6YPyv$)6wdI%>$P7@x?b!&tg1-6s#p6(I?X}%Sp+YnTekXZmEST zi$PZkAM>^>_8n<$loIRHQj&y(ttlH5oSjTCUqhg{O1;$$%e!o}6uv469qZp3%Dk}R zXeI{gD@7b&k1kA9sSb~}s6Lg#9=3B;#Fn-Z2}*Cjnv?erh5-S-9--t0Q_P(~Ew>A8 z$wPqu0I#+*{{V5z6>TyHAZtLZLoS-8>jiH4t8q>RS8{8OTGqFPB*-tX-Pr_gJ~(iw zNlDhmBXxL{tRywQV2PKTWMg}_vDlHva(>A0eM{!afS*Jc!0}K#)%XPSx*kVf7(5)FG zF^5Q6b$!RnZMcpAk~j1oKdvu59?~w=nAfyC+K8$gQQE&8gusVIeKtz-o+`nkZ&#a$ zZhP$%p%55& zIE6MIi&c5!vH-8U7mMBQ-rGrSDP*cb=v}VqSAZwu{jnVRgw|-&+IoGJY(x(+G_RAY z0>Al1Ha>?tbR0$UI`BET<)YOj=g(+8N{{WgMbom8x zP~OQxKZchNiS@%3`3~Cct=!>R44IDdQj!;52_Kj%#P5am&649O{#hB6yg*k66SDn5 z^dkxn9Gq@gxza7HNq#)m)cAD(kITf4#D4tA@7d|3Y|}3)>h7TkZVr-=+wMet6cWfa z4JBu>H1xy+LuqC;{<2Gr#dW33ca%vST^y3&?mP}@Ly!py`rz-W4*O|e zOah!}npb_!1%OwXVW~(-_A0dRmaTvB&j3wLDVABN1ZEM#A2HHaYv1dFwrVgGwrWjq zX7&UO+)KIT6eS?nJw&Jy232IKH0|-ta3MA4mBFzf*nkfj4ZU)z^3nkVG`5k%FOej7 z%ApEA;(|wpR|3nBQs&g+l~9pP5eOWr6ZOE6O4JjBAk*ywe_TvshWd7BgHSu?xmWU6 zH$rw${n_fI8VsLoc?V#So;Ay%XTS^&rC#BdLb!JTUlfr*J{eLg zy)$5x_DJ6=iDS*Z2}xHhx;Q3_3LEW#4nPtHZ*oT2xR&|Fa@&C(lHm@D1e4nu>RTPVQ`n?fuF%_)8c5+PJBY8E*{xHK zqZATqYhQ*A%Rx)_>_OXp*uk*`cE&?&2Zdj^i}ruP=x)5X^?#;%Z_Be?nNYZX9w`mP zT7J~jdI8%rB+S(9@XlvXQz@L66rvIw0EK#<;AhugR61FsI;W$iX&r55Vr9Nmbu{ZP zvKLTx+P#m*K5&0)N6D_A`8WBgx^&-1s7SK96D6h_Ym(ygB>8GJ-9n!Z`PtIn=4^XG zw!S;K{{W|N0z?ibT0&Bqw3Ls#{{S2?TCUKeG{@rGbDBu{_@3Kj%W1b_JrQUL zS#cojYlkkMr4kgW7a1jTS=@uLr}xI+Sdhy-EwYKiu~~Hz*@%RO>exW22fj=^gj`$m z8D#ymp*TRY%bd%tM_bI6luFix9wo4R0P(|px^s;CK&m)UdgmhA%udgz)7={(i7}VG z2W_}AK!Dq8AzYP8n&EDLNL>p|hE|1gJA{w4f6o*I%1Y9w9B+w8t$BCNCRud}c@5Ol z*RjoAwgt1Usf8_PrZ>?wPP1zsQ){Y}ug*W`hbvBu^U%uf%S8~HHri9%_!E==0L|hw zwIH|v2l%A+2N_D#35=yM*hwovEgJR%9Br_wjTKgTCJPmvs7dqDP^y3c9vGydXY zW-m6V_lrZ#zGNh&ZK2*pv*STd<09X>yQXyorq=z%CN$R)OYNP=KX5AW9k$Me6m60o zUaMLUMKN_IM0VLaN>g0qGZ;u{ww?+KM~!!{e8--&>)Aa-($XzAD_dxn8mTKSZ^yuu z*ZX1Xulm&*dj9O&UD?S`+scy(0X0cWl;nj9_8dhI#NsE^d9YWgQ*}enFqa~7c>x~O zEcYKn{j;lFL}Q1}>aFK2rBimj$FxVY&73^)u-hoDC=YTyMmAoREjYum*Ui^mBtGGy zN!yB3@jL$PkDBnhDWM`#TasP=3vMHgQT;>yUO2b(A4JWU5m$?X8a`c6(j05=3G7qx z-x^L3;yKF-q4M3)O*^Blrt-`2Tbm}IW;^5Lr?sbMR6#_~daO*4;mpWWZ5&}rxboClws zDAaB`+bl?u8&?n;aH@iynVo+ppD~)BqFq6>>x(_)$B_y`9eg2mE+7%bvGw0M!P3j3 zgvg*h#07C(dt|AIicKa)PoBzD50>QzB%g@GT9A^eB{cL0IlKECK58v`T-^FItglTq1?RlT(`7qE zdH(>JAo_OBlBKYu2U{sASmYLyP)DtNbAx>*sbM~g1%tFY)c5^!e$`YdS?)Z3;kSW4 zIb@=Or3bh4_r#6Xfu5ZuBns{H%cqd=@0#O7vVX>C5}w(xUF(8~7LneE^~<)Pr0fO+ zb~K>+(>Fkou^G6Q@Q4aZvwV|XkNL`SAl8FC5)>*9Y!_iklHo|?QMNciY0Vy;D15VjTEpjM`Qj)J|sKJ_0QKE%DmmT-R@B_=25BaPktHDaAY>0wI;qo6lUZEUJxbP4EU=KB-kkVPA@KD%D2HxY`7`4{ zgCgN@QbQ4%Q?C^twJ8;@eBOT2?z`Ojt@A6ZbzQ^ClEmxFojc%f#!9M`AT|alb8=wxL+u@&h=d*Xhn&wF~m58mUC^ApPKzu=wHn zL5mdKv{XL#a7%ZEr4kmTD|!yaUYPq%>QqCXh)lWWp+FR#ThxEcBJ~8-Lt5UD#{!B1 zq^6tt4}kvo#K?9osb)G>grG1KmjS3F)Mrq~C~=tuRQ~{)86_{OO3FhVoKO{CFHDxQ zYUz++fpAlWXf>!`xA%DBWfxUOVoMj6Ur`S%r^`Kw9yvIzOdt2T?&k2}$F*= z<>R(rkU26Miwsj+8m`}BhSSJ&Ew<4~C}|u@7O#(wY&-PpT1^^pf3w2G^2qUo{6O!5{eXC2bCrEkOtd@M%*;?w9xIKQA?Sw+O z$8{F!CyZq>>MdBCE$Cb0MnhKr0K^X}b58qIqu*}>+a)@Yuk5bqHm$5a!V=7|nd(Qd zgdep@8`hLH`rpAYe(iJ(kQ0s^){4zMv z1L41aUxpPBakI~rnH!b&Q96+#d>5^4P7lgT5G6j_wGOr`K%ao$_v8mqb!6yFvubAK zBsDfV9Ee?B=}`Qm&~K2p=d}FjQ*Lmb^3xFtQ%eGdyL*336GUlS{{UL=G2z65^r(%k z42dC%5JzK5?0eT4kr?Gc2Fc-2Ivvw!{YSewbJfg-zX02RgXG`1xGSR9pm;*5)QHrCq_(^nP+e6;R9 z7zO&RxQDf)&}0Hptt_nw4Luf$LO84gOo{5l3YF9AkCehzH%F_4d_8j%Gz@U%?qbVDNc>sYc>9iJXG+UW!$WeE z74Y!iIQ^^cb1aSj06A|}A~IzE01Tn+ z*;}K*UX`zW-LI%u7)?S%xe;D1xT43BzkPQ0A5Ve6r=x+~cD!qCf!*&`j`@)2Mz>`y zY3`@n94hSF&x9y`m~Dl3)AuBW+b^)B1rKkNB`U6b`X0MWf*hZ3et#BRD1FqtX&p!U zy)en9{%r5oc+JX2r@6%9eW^=|Do@6>?eW3>lFXz>#00+Qz74Wg2nndzf(>h)EhLK2 z)3tMq8Xxwab(=&*U*I~sC0~X$ZaH|YDL?7OV@Q754!Op0h01c(a%!WRUPl!X<6n+0 zT6+Rbdb-Qhl(oQ68q;H&OJLDS?0aWFSpBxQBs%4lJwT_pVuz>y z0BvW>G??fbt4`dlZYcwh2&ziG23L__UmZniz<`pVG1@8>$Kj2c2vO!S%T*OouGkDh zM2-BKwqBJbDmwv{=i*Xw$tU`T zY!b(je1fA+C%y>NTtVaqe5*)Ox1|$b1A{Wy<;05mli{0y%SYnfkV1`cMwtYh*Os)P zyrPt+e{z%nA6nsSS9QCjJvl<&*BwZ+Tawypp!Ctp;kHjAA;1&TZ9`wuf=Tfn7{^v? zEia&K59&>0e2;H~9im-%<%EyYzB!D2ZT+p^F1muzh+EyHQTmYE&`p18AMI|Y%X_FS|1xc#^Gy&Ck56VMwMDIp5w zd$=c%NFSIZ``0;B^C9zz)vuThV7Z!`UeCH*Wj(|#=TDT#C%RK#{{VEvv#kAmcIz?w zUZ0eBs;P0*t91M_2c(xZuKxfXscTz~xbRRa?e(vw9jDWr@+vN{LujjRfYg#~`ol4VH*C(0**P~N``g0yP4WA%0lTy-f)^Ah@$eWtX@ zJ#6x>DDxK5xs=eP@5GNE*9)!$O$N&|6&2PjE=!6pz6zf~DsZ1`X&w~yITGo$r}<5~ zB#=}gf7B$Oau?(JVY64lePpuIP-vu{Ja;F0@9BgK{0R)Gzsin0*>TkkiUIJh9gl)I zv(bKUZCYOz>#~$uY#%MujnYqJo|AZ7bbcL~3+7f0Yxd(iRo*_Ygw>wnl(Ql;AuVuE z{{VPM@jo2Z>q_c&8531$buBiMTzCr94%t|UJFke58H#Dsnw8k^t*KIoN|1Q3!7A}T zt_=3Al`0A?GJ+Sy(pnAoq4o8yCb91_B*-y*)g>rbxcD5AjebNo#MDTut*jR6XcLk( zgWEV;8102cwCcs#Uv|?nf!3U$0eb=cHOtD?GVh917642Z{q9Jo{i^r+;R0O6A@t0W zQiA#O4;9zHjyhhVX>EB;IaDZZLr>E%t|z6QX^Np-HFb*1rauX3eMR8yRdj8Jcl@z?uaQrF-IZi`2F(>YUV+@GcY{C$hh%)xb{^oaLVNV(Y*U- zEZS0R(ubLE@J*=IWoYb2axz9cjm2ecTH%x}e%EC3<&n1QwZ=1PRM#DK9EnkM(Ioi& za#=CMt@Dn{paH)7lkgrmB=Yq@Ct|XZ9Z~DRd7M|p#VccoH_vvpXG`>gWxb~dn=tt* zPb$$NcbeU!}WBji56#X}W{gl>wT%zh%6nP|zSnVwsPg6bFUkb~?L{G-q( z`{Bi#ixFFPBJOWQQ>>M!6jUi7Z&Uh=yC5+0{L=~X40KoY_OsK^>Ag-`d5KLI8{&3l zL$Ugw?Sz&s8hX(Db;XRC3X+1;>Sj$A!(;7rDe)ca>45bA09KoQ*5jpawzVm6r}?o0 z$Nlswv`IcAY?##l04*9;`6K<|VdY5d%NK-34+aC-MASVb+otXI-r>vIA))d&+ zAq}58;U}0+{=% zmN_Ai=}#*DQa7$W(t2m5H_IAr<3hI@YMcZ3{^HQ_SoAp=PB9DNrja|dmTtc3du(Se zuFJQoN8%9L+iE8wl$!S6dV1u%-nnT>FclUpj$HYyJd$Kv;#C|s*zb{DKQ8Gf~8zM?=dSQ*(l=Z5~d%CuW ztX<;<6Uo*@KYB>?-zDwcNYhuFS|&!iKCiG>Ml>Weg{*9pQ_ z%ADO{)A>|B82aaDk9p})hv%PjyHS?;mEK+Z`~(m=h{V3d18>0gFBVG1dz zP$s?b7E{>Mzuk_br^^H*wJHJ5J^)B0lt6$ulyAP{H_wTu`nRU}WSxZ+5~|j@V3lm3 z2Isz85^#p4ufuVcLP!9Uu{%>PTOmE^@Xe(yf(If#8C^BW@LG~jV_k-AB~{=P`rw{Q z2YvIwwN&yn#zZmgsOF!DA*h|*k zL4Nxk_g?&4D+vA?1KTU&aEErjOPO$P8z;L1;tY5tI0x^q1=w&_~ed-y~MKW2+h9g)Z&~0JPkqt@HrEyWy6HC z0@SdNbscby{{T#HXKlEWnw=;YQk8|IB=~%A;Sghlf8kCYL!P@%u!kv$Bo<}SOG%(0 z(_`?%`mc+)KI02WSz9fwE+}_9;&;|~@+a9-ceVtU*Tv3B?33wS0?)1Gy={W}-6d#j zCDo+tk}`3MB#S$LZE1D%Q9i_k@;{ciOx709Ka&yt#cN7So`85^k#0%3El3W6WP6lB z$lIf3K~4uKmco>(j`+yzQTcI_ok+CJZc1FXo-c>^v%LTx^2INwy4(5Xy;f_xVK1Qt z3*s%{I%+@}oK!U9LAFAts({hw}dbjH_ri4U;sw z$kBEs(=l`C-j=$@356+9oKm-OBe}wD{4NZ3VV7A>4eR=Y? z(c~Z+@L2K1_I8+_w-h{(6i>8v$XPmOS{A?IB&k1ercdi6Ri6!jJ7r6p&>D{FRMATf zwt`4uJ0L68o+l37Ea((_ypba2w+kg8mXM#%;re8V)6q1~q>7sSF;lccaV@TE?=9y5_XVAY zr9EkhhKiMOnzoeulB5LEu6F%BaZ|DR?w}Hn;j9iuxE0n+_Flf4xI}wG3g-U+6=iNI zZVFO|?aQ@2Zb{?G!N_+GcR9K6(x(cWLR2b8p)}7zZAfq_RVfMFQ??I~m&bk64Xr8# zPbnp9QfPUafH1*gmZTw0ww0x2H7W_*ABI3_$5O+}ao=rIR1>~QT<#yslBrh*(n4A* zqKySJasV>`rOv)}Mh{OkOwBb~YCO5GP0ZuP)72pro57AO(E@kt+FRT#; z5lz}tNwA64RD`W8Bi`utntCVH;+JB1Dw-cc#AUSDOGyTzDi7u(#Y+CzU$H=X6~aSP zVI%P@dzeyH{3d_@0Ai1?!wtHA-*Sm|j~d+%n{E#_E3Th(m3XaV!6WZli7_!nWn8xY|6)idWi{56C{gpA2DOf?`Yl zdoP=D$Q z*}92t)o|slDtd{QzBEcwX-a>bUOIQF9=T}}&AHTZc>yp|(r7?Ga+G{eZSxj&#Myec zNVyV2^_2m9mCb#Rr|F6h$ zP(P@A5B9>{*GRi?dB{zrG7^;XOJGn34{iKAVnO)58vfQhSVxkn4C)ARD=H`4?2zziS?1(D)Dxf6`+v@f*P((1#rG@he^%4WRLR7Edvk4pS=*2}BfQhSl$HmM>r zHJL*|=Pu*)rVpxg`^bS7>u+QgnF%uFDPH8G!iO5&CbfKs#-WU+n2y2zGi{G^HWSDn2H-;H|cj7W3&q2|SduKnK^u8pxjx(+S&*DmeMqL+&WoM?`+2wj05gpAwYla|&MGP& zL%)tUwcV~#mKwG*PcbK(DcGi-Cn`}W{&c6fdJ`}9skUgvv!*F4SK1wyQh)t8-aqX- z)`ili`e78KutQ)ap%S;$$Iv$1nNH9~z2N>4Xcf&JRzL*p&$r?yeP8#In&r z}u@k%e+G*RwWC*=Jn(~%t@?2oiDfIf}ERMTrS5{;%LdY@eMWIlSnA!F3 zzDvoUs-qc5=1S}Q&2XO&n~Wx0Z8f6SIg}qCj&2?D1ou+Ajm{?oD1;}UhpjOMf35vF zpB<=AT3QHEq&YGp7Wn)YYIAn&f1%~RAA^0jrc((iN>=9t(0qJGS)<^vWOfywQfaF_ z&Qc^txx;8E5#Ykn#TXGB=Bz6el=TfLh4bh2-EA2+35ec|RdzzGghSFQ5N$=y4w%9JobMcb-w4NnYCV?P$9J{v^ zI)Lh#;*_IhDSvP4;fyCux!+~C8qya2$CARmsT+R$elQv*Wns~fQPe#Et8&UqkwTD& z$u+GpGFuWY5@lFjK^{_xN$dgi0}r1so_>(KpW@X|E{`bs;e)H)8d7C9s~B(;$yX-G zM|$PN?ukEavQj>lxd~C#7%de|IXI)eMh$V171tEXQ%3j{f;@1$I@LE$+&}7DbT!CO zgwvfoGD2LyrrJ_}I!eg#6zno&VBoPJOK`nfV$GV|XW9utP&`t5g#Q5V$9B}SHbi!n z7^M$L^Bo86DIU25m;AmG0ijQcS7VRk&V9C*4pWDlOr<>Q;&6)Rg>$Y%ZphyByd7o* z>fGvLT^yFA$3N82?aKtv`qJZMx{GDS93E(t(MRv6jy%)X1lXm>o?Io!aEno!<5aE1 zcpu%5^+t?uRYX<6w6z*sSdFQrvaO2uz*HFMX9{8r)`=C z8BXi=)OSy&GltI+mDM1q)a~46?{kBx3g!Xs2tRf(m2?omT9rjm)K_GWQ<@S0V62pL z(=smcpt2ls2|^HxEq;SBzvkoSjk|mYwDy>qq`IW3wY=K5 zIO119^d7m0_YFZaUFy*5(h8dMYPG1;94d+pvmXbStkuGZk?NkhairnhART3Jy|U!# zg+)xfD7MG+gNhx8O+M?9*o?}ZSa1}@Z*f8SiNeoGZF4ScNQ)Lcb(rf8e-pA(>M>2T zM7g8Naq2^8N=GM_D7O#vjP%vl2t)w*ZAH?uW<>7p+he(@#6h+|T$UtE2`n#VN^pK! ze@OoLXK($?!IbN*`RiM$ZE}z}l1FBnK7+?EDf_Hj{Mg^m2Qt!|G8q+2cJ{3g^&jnn zHFcf%bjN8)2#U}BD=s7c!+)7d{{T|9{n+uaK_Wz9m4|b=rYoL(!2T@JP4L_;-|45I z$PH_LYIUvqX^P9PMOw=;RA?Q4ZfZ}%wo>J*EpX68bgBqaKk3+gJFq`8iSVw}!sX9V zElEV!R0wUdmQmaR;z;qXF4^WdTU9ugRQb!4h}Q+Sl%zJg`;>Mk#GhOi%`#?#)e-Me zV=Xb zPZTL>pe~>9ky4-=Md8~+O+6vGHByva_NC7h{4#Ng##Q;pEDoBN7Vo8`X?wfMl*iZd6z(4>*d&OX7e7-oG4~8|=i{#JzUwf6af(r%vp53l_51Y(C=RILomh zs5r2aGm;vf{RaCsZ2JgX&>x!b;n_+(>qUHb_S0|Qf@@u8D(bbZ#W-JDc5RbgztnLZ zy#UsrC_qF+y9H65FrO30FZ&JsI{dhdpt z>1HmFdf?()Y%O&yukU-*pN>vdM>#`|7H{iKV}679-4PjSU0BlplQ@#^TnG!UN;||jy zK4l7BuK=pou=wLgSi>{K^re=)FQqLr3ScmzLkn7*aa_2MRg>K08ZNFSLON~9;M!@E;s^L!^jt z0cml*-5Yck-VX3`h0Y>~1M;ML<)Z2-NJ7y3KXjCGO9frO)V;B^xNBnfDY;LFR+3ap zUt>emdYo#YA|bY!X-jS3YKK?ubNxrqWe^KE$d1!Ou9mB$M6h8rvb9w_qk?{cKi>qG zp>)mVMoabxZh)R3sXK*w1O2ePg}ZjaqE$HTSKueN#N1;qjCn=ZxAV!`s~tR(4#%8(~E5}{P3 zUzuJRfy9EVAP7L!dK?&Yt~PU49-!m-FGrkAt3;)($$&E)9g0$)xQ~I`3=Z1u zJxH@H7pr3{-DpF}_PAR>`+@y&I*lz?jgAUlms@6+^$ez#)=^sWgW8fRl9X*%g-P_o zlun}PZy-H4R$I~eR7`y1p0#wc%OIiMeQp6etApUzD*ph^A4M%~txsxmDZ{r0 z6H-6UU|QCh1CVuU<+(=t(c7utRdpi^w^~Gddn6R85yeeC3b3Pk=+9AM z=*ha(NoVk|Rud!3ci-{b)Og}kK6~#vq8#O3_3_6;L#Css{wTJ1zPD2^yYNTUn%hun zIfhN*;Nzyd6{?_Nuch`?+%$CCld*_!yq_)3)f@K0O^U~G)K@m`*7)mNjw}if99%RG zla-}x?^&)k!WbL1S3T7}yJNUkHpUO=g)1$YCPb9WqnWpVv==YQe9LEuqe||d6Y=od z6;7Ys8@s8AcYw1lFaq5eCuA$~t$w~ZPw8}P3m2%?N$fih@jlmA$J!EmAECoo(b|ti zYDxBMUELDyG7?nOg&L){y%Xq0J{t@aNyJK734-k|JY7Q3RkgITi7IjCk|?Qe8gKL& ztF_(L+<3`QK2b~3R7C@?8u4r520=M*)K`enH9RPGK)7!aCxirSt(j& zB`!$vs+B8!t6vO|{{Yl&8xqF*Frt$5Sqf>HN7`H-r{jp642A;3CleHCJjy=@&2p21B&OW!6)I^0PC{+utkIP&J-)%81G2ujgaT$lY zS!Zq}b_96i$TMGl)`>9!zYY+mU1`Mraq2R#0u=0yau|DM$_Avg3AZ~Q(iP<@JD%dp zp1)6qLg{r~trFkT>S@=f2YD&gI!k3IwKn#RvQ{HaXCJ%1Tj*HXmqy!yE|F5GQ4Z@+Je0L~1dm)s`r@Z< zR@Yahq03Z;Rp*x-W~)i@@xyF@{oO0PYHOKk;Xq?4nk^C^d#mfCqZ>6B0a9*95)>>WTZl{rtu!r<%~W@V6Z~Jf;(dKFla_fc=n1SX=2j#-LJPb>1H_z+xa2_?(oxy*3tsj}GT?fd$vo&x@$!LJw;1-zOMgsg;;X*6VZ# z`gZ9RYGq3eq%}r=f(fr+a zjEOPm+k<`5n(c+HKMD)CzBdg1r6>uNx8(3jeNK7z_$9FxCy>H^Qad`;7M_~R{sDlj-CiD*NVJP z>HYEo@pD*@1T{5fDQMIzZV!pZ#yEN1H%}{my)G)Oq3SC*kEX zlqF)W1#STU0G=0SJHpo$#z80~sZQ5%Ur&xnehKtgf}C+px41 zL!2E_32@LK8sl4g4zSYVtWY7s60cmHfoW80VqTQB618${9^@Qn7Br47szhaQ2l#aU z_`Zf2#zBvEf@)Bu?odx3T$r%lo`cPX6cUnZ+hFWYK}~gV=M}!#8&D{m)JcK4Ahbaq z70n-M%cr`2vE4k`&MrQrRjxQ+oR%aHHKn`h+)!bOJxg-rr)FO4YATXa*_z6~hJ_Ez zHrQ|56EQ8^?;`K1Uut9X5};T?Ufpz4^A#P&xU@||5(N(* zh5;7KD%%am(xkGd9N;t+dUsPYlSpdYrI`;UF{t*+}P zGYq$Ox4gpzN_4osCFS}n(w@11UmKuV+Z)j(LQF#mwq>#ct?NPEw!BKdCv26oU6_e* zVNO{6l3Ow3#%*7h#n0Er>4jSb-t`?)CrfrBBua0Gl$HIhkLkvDPNqb&$r9sh`*RXd zkHbe`Cy)vJ#-0bZ`FX=eRmfl}QgrgKf6O$WQ0>j8*)5MU6AD#BTx+=a?}(RKK3)cs zoW;XN%5F`*c?E{n=kXK&0EPvu{%GVid2UNrgLaPp2E=>05I=TP z6S>0f#d(RSV_fw7;v*(y#SEpMdn%yjJL?{w-7FgJPLgH6Gs}F2*GknD?}wYT%ca|> z?hPeXGx&n@E**jotuXIw(=FTCMA`AtB2(Y@WjtyDKOYQK<;fxgf(JqRQw632Nohhr zSD5SJKII=lhOV}07@A8@O}N-2&1q$kDc2<~ygmcqf3^?Py=gw#t67Bek)g{%P?k`b z^+EI`*9@OCaAaQebh|g28Gb^NnQo`-NKbN;>AqEP$x~(AY{QQcI@xhlCSzWlaLj4I z7?9rI!X1bJdR&d$80hL>|e8B3Z2knqne3xP+h7h&akQMh=!0(azho~1( zE6P=<6sa5{0l5wy>jxn8cTKKRpa}(+Jgy}RB=)9H=_?b`B^VQzK^-QQ?hrjOk*__Y z%UEK%w!Nq&Oeu<$xXPpZoO9lM&r&v~4;MmT?ond7c7O2BHs?0d>gbn0)IENgBV~#$ zT8)t|X(jrA(i2Uv#Wp(LORALW_#_IfpSRH|$@w*f7I=l@XfWyNL`#f8dAQ%4Tcy(K z5ZK}ruT$xV&YbBzBGdwv8)d9bB%9mqbWxfQ06>4fWo9U9~ul9vYP^aJ2< z!=|myMVudq%7aX#$RwTqpG>0&fqI?KbdhnW;Nt@_L4ghlZ7*zBdgv2*+REhp8x;= literal 0 HcmV?d00001 diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md index 1a1ef10..dd74f38 100644 --- a/outreach/academic-programs/interns/innocent-obi.md +++ b/outreach/academic-programs/interns/innocent-obi.md @@ -10,4 +10,5 @@ Innocent is a PhD student in the ICTD Lab at the University of Washington under At Cloudflare, his work is focused on the design of experiments to understand how internal traffic engineering decisions and interdomain routing in the public internet impact the performance of our global anycast network. He holds a Master’s in Information Science from the University of Michigan School of Information (2019) and a Bachelor's (2016) Degree in International Political Economy from Georgetown University’s Walsh School of Foreign Service. ## Research Areas + Networking, API Security, Formal Methods, Peering, Interdomain Routing