From 1d7505942b666e5aa2d48055d59e2bef30507726 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Thu, 16 Jan 2025 23:06:04 -0500 Subject: [PATCH] Add lfs pdfs --- papers/checkedc.pdf | Bin 479048 -> 131 bytes papers/dcoi.pdf | Bin 731783 -> 131 bytes papers/dcoiomega.pdf | Bin 961987 -> 131 bytes papers/mltt.pdf | Bin 395325 -> 131 bytes papers/systemde.pdf | Bin 824013 -> 131 bytes papers/vrdt.pdf | Bin 469569 -> 131 bytes 6 files changed, 0 insertions(+), 0 deletions(-) diff --git a/papers/checkedc.pdf b/papers/checkedc.pdf index 12d911cab776801ac4e6b6f0bd1028a49e939985..c87dd6120b5739c8d90895d25cd2a9d557000a8f 100644 GIT binary patch literal 131 zcmWN{xe>!45CFiODrmssf23}><7AkzjmC!*xOywvWH0)1A0OG~Ja|*;+2`Z6^K#ox zSa7@*AB5^MV)QDx6&vCP8nX`u0ugFQCY2g7+W>2cXbV(tva!jP9c-*?);iohL3Gwd OEF`%9NcyyDpT!>*!zYOV literal 479048 zcmeFYWmH|u(l&~_I|PT|uyA*GcLD@ixVuAe2=2ilxVyUtcMa|m-1Q^->?7~p=NzgNFtP+X5gP(c&29Kd z&ssZ4iOr4qNHy5x80G9lfM({B9u7bi4|!E14@)C1V^RTrI9@kyH)}iVcVJ>SYbzT^ zZZ|$s17ll5Aou(D_cVa?UCF`Ngj-ou{7;qlD?U;)Cnq~@0KnDNmBE#T!PdbPz{JJH z1z=GR*Lg{++Z z0mID5%uM_ni#Rr{?)>%tQSC%f!gQ#Kg!2c%Nls}SBcR(_2yRZ)Vly3%uW7Giod{%yhrALLy!Yn+d8=a#qmFq*!=_^%tQm(ALJ>*uark*1+1% z!Pd^!*~<2>1c(~Am>UzT8`uy_+B(?$1w_u=$jsn90VK_hEdRy$f8O0c?&y!{f2r0# zcYuGH`FHhe=V0z={m&Bqef1vi_xyJ-{-c&{46K2U?^_hm5nyQGXl?{xVPO1S(0|zd zt?d3*%<}Jw{QrMyix=?kG5=iZ-75zta~o4d15+SBE7#w(|Ht&7sz$c&2_N;ayDfk{_Wl0?f#(KAIsgAlZU4>9-->_Q0Bwx_?if4E-xv6o$-f2m zUjp%;g~r0b+JAeqx!#jGO_~d zzmwqjzKQXx+bZ+^*8N`<{+)k+WYhbn$NNV6j}M!79{;cZ!2MreftdKeYy9UV|Cg)( za`m4x@Skh`H?RK7)ql>wf3Er8y!!vZ)jv<4?@udyq^`fumhYoK&!+FA-)CCpf1Yi{ z&8^-~N&s=I_lGJ`pwav3zcx#T`Bj0r~!J*Wa;n6wOU;Q}POH#QHPi6m+cAD9*r z+0dh(SoJ|*q6M&QeK&?zVg7;F*f`-UG%jKyE z@~1uw<*n!Fny2c_>$Xre9BJXQ!hg& zta8q`lQJKtyQ`^}1he4)5JWgZ)96CspC8x95~X{N+n1iN3Hzw8stQlJ7H)kAPoj$rZNGc&qrmR{XzCi{HiOSj_3A92=EHE5-JxqaG-y~liA zers4Ua@-D~Dis*eytg{y+$Fff3>tBPgz!^j)!IEiS=`ZxD5f)L=cxRE4nRUZT02J# z?*h9&$0l*PIGN*J5|vGIE=Vqit9HcE*acCWw$b}A*& zCO~GbpWGl=k|F@rHYDMof+bLDYV|gt^_R#sp}g@jQJdI<+cZCsL#61|&$@?9w}<4F zY*QW_vu^T_vx_7-7ny*;vG38|23j>^cmn4n=I)n@b5DABTs4&>+86Svp3>BP6f;mE zZEu2zMA`7&=xYdXr=!`Xc%#G@eiXC0cG>w(A-AhJs2z+T5(6f^Ic+?wafo!50XcC3 zVhmG()eI$P#WAQU%A(79tsiXT3$3fyJW5#|8I|VuBC{G+=x`=?>7Grxcci&)Cqr(7U9*cZi`&rm2<)p%czP;9CM^(cQlL^#q4r zz<~6c*9d;&@HtkM(gge14o`I-SEzE>Sy`f+`K7WcCxGU&--phfSXlN{s7+4g1Dp_& zGyHf7CnnMJHEM-^oBhf)6Dlta3cLP(ksa7Xu=|VTZH)7&s*ZGir|GM4@>Zi@t1c~n z71(+uIr>d-b@C?*bWCBKT(@M|r%(u2*b5G?F6fNS%okyA1XM~?vFB7uLQXvJXpr?? zpL5QVTp?CK?#U5x8IC?ZmQYieus{;%Y$GU61`dZ3xJ=QOX-hHe4jiAG-v|zA_0+dl zG?tB2$e*<=LadHx6x9gxeK0UnuPBV|14}k#l25Frf_PXVC3YqO`MUEB{mZ{Z*l3rn zD=D&qOO$kr2+6oL4WCAz9UCVA2Tf5!$V?z#;Ta%Ndt_-xKSX$S$3C9a=3XBn0jjPNczJvbs7Qy+VGxoYQovUb2lvg40<$hg=Y>p%*|HSA;8ijvOgD~vH7hjR*XB&X&5 zyFo!V!<{ZP?gS&~4NB6Euuv+x*{RGQUJm$s@t!*pcXySiXA0HOT#TQ;zxsA#f66;O z&UHTNfR%pw~u_@>0}V?S)siN()C!4kOD>-YhfZ;_@NWo%!il* z-2uM^PhnW($H@=mU$ksjss!qvPIuFS06A41k8zbNd-dzTP@|ng2Yaxc(QV2MciO%b zx-zthxqi;vghI{B)rPBum1Gor$aQ&#GrQkOiOFdz7p#Z5W>r@E|eHz%CwHD&}0 z()Kkxj>H#d`bQDhn60tu@qm&jksxkJh_ozG2q$p{d=OAwSIfDf8crP}u0bI+L*Fmo z)lPjSNYMG|dzKE%?;kIb&lfE;%6-KOhmm|q-!FQm)QYF2mxTHk+8lH5cVZuVI?f?b#qmd8nHZ}-438tfU4MTRp!g7$@; z!GTTohIziJK_GFlh-UWYq<7^=^~)3sZ~A$J!5d(2E}>ilDXnMVs0XVfh3iR$zgarz zE3V9VD<*?~;7zJTkLcXn+%ZBCVKcfw1-;-> z|7h8!u46esMS{;Cr9*p0Bk1^1-VWCwNhhNXKo~}}wD7us$&4?E+iRKmLYH8M?;#vw z#Fl=VXkSZ;Z+%>5<=22D9JKJN$M&nM5C7~`GDT8Oq1wP2{^Qgf5zZY~psBk1Q$lME zD39(jNG}Q8CQ5<4$nyZR9r&GbJlXePL?iD37kM1e{9Mr$1`k6fGf?q+Oy#j`Zl}$T zBcub8SHC*kQL=^an>o6yi}_5oo1+3`fc!vX-iNC#k?a>?X62 z&F#@y%5OhDnUt6_r7dfO`hg$Ou~DModM7D7`%8CfWTVdrCPhNDv?`GLOL#*_WiX>h z22T}Ea#Hhf9x{BH1>!O1A{+9VFBgTjc;g>-JyF_Z4GL8uS5?OXG2Y@PP$&KUVPj)6 zoxHs>5=Oy{cfKh&{6Lr|`egOlAh|K>vbRpb-j&=dC1?x;vWbn`G`=u*bpQ^HVEAsO z^cxw#1j!B>CTnvve-u}P9E%Cn`188I0S8KR56TL98x9?=VO~3!j1g0Z)V{9hJPFDR z?iNmUQVaz>B3Ez=aS=vQ?O|u0# zN`cHrm^_JFL%o^dw#OsOZgtl6{cX4X$b+o0{Gio0XgwE}*IzXDF*FuLjsp~n3d?L> zQ0e4W=zFYd!dyf_97WXAvFB-f9{<4gDL+OK=+`{X+1(e;yL5sZ>(n1nw>{;WER;32 zDa)5;ZiEAmRNEsUrM!q*VicpMFyRT&*xku2&}4)%l!PNQWKDnZ}nXWtDG}9wZw4)Dy@>Cn&n}6Z&;sQwOUMEQzv5(X(pIaaD~3B zA$UD}+A(0dSrKS&5(y(Y+hmJvfTf)ZN*jWFDxi_@+659C`KBKxw^)S9##gkEQQ!zs zvhKJhVrF}Mz|_j50tD%8%^58awJ(JCoCL+R`s@5+e?ISx&cq8^jF3GkdkpJHhVE1# zQhCkjE=(PN+}+$;=P+BAQpJGOMf9DKHAjSiz!IVQh^p8sIr9nFICl{osN?hG`tqhwLxl_X<5s2;lNFK8@$xN-h4Jl(hJes@pQ3o>C2*M%wvN+PUCaCF2{-zE$Fw6EfBMe|K{ zmw4Kbg1}hhN8qWvFw`*C?jg5vLo2yB}>MOBdl;Uoa9W)q9O3w_7a66#G)HbqW$ zs`psg5V|PC8u?gxfMi6AzESKIq2(E&@#%A>JldEI`OzC*;(jZQKSWCRU0)vlE^Kj? zEfwx?QXgn1_Y$AlQbPa&s++$4grUDo+GOuy-4Sg5<)6Eq7Nv0i>@{zk~+Bmpfk8f2#+hUZJ zT6B^b1meOH*V17bx*~1>-n4HC6Tx7!7`J^sPb?(`P#lZg?fM~rJl-f>dUT_R@6JqC z5SIHXm5V46g2SDNC&5K4q*%8^bV;8B=w#fF7QrBDa_fP0jOkV58>A zqxY)siiDKF=(GM|a@J~G#1yV7Z9@Tj?8qAFSo6tf{6z#Ox> zi$>otx;sz`@s1XUdDyY-nzErBre)-vv3$&mL&5?TUN>K(XyNT6W2ax!?|;TMGGbyW z=GNYi852447&$@+GSVa{eW=u_OP@O7bYE2$JRiv;aVgx%=OoA~Y&)RGaE7C9I)ucA zrS*}MUFt%VG!NWQdA1m%=qnX?w<(j`cB;L7m$|H(s=^Suu|u6K96ds?n{- zU`D5s7&@iHL^jWTwHV_U^=6Z2N`W}>Xu_WuO`*$pOT2YzZ(DQT77`cD3l*=yLK(D(Zw;$Bfj7lBUM|;@_Kgwhb7c?hW>Y*GPRv~W1cQi|lJ8U*XLN=xY1u&+rq%gy zhdX(KN7>Wk4qkM8SZqQyEg@mkxxGZ)W_-34B1#iVHISLMK~x1Nk-quK6WJ9SC&jP^ zr;a5uVBKpDd0MA0XoWKj4t*)T;LD^Pp8bw_RrqST$8INW(y-s2gBW*?AK=Jn!vsunieJLpfN(V(VxdLnJyOUJ(Ie99U z3tpkKo-5z0Vv2Y_N|W*LomIy~Z57cyqwYs9BS|s27&W$G*+}uC?V-fD^zH@L5c$#$ zx#k+$$}LUufhCji&u)|=6tS!z8sg8<0i*cwc^4|Rl?q$5sr;cnU#)I_;M^R2;j3nx z0N)y5Mw?S6c5li2hFG4lLyeJbJFI(5zoRLppNQbU=2rZCKt(AQsP-jXEE^Ple`ZdPg3p3Kd{j1otaEzy0mJo!a3cKy_Sn4(tDv5( z>+0*$F}qo+aOp8cdquTytF01Q4q34vO@Z^}#{=4|@R1IfvLKh9TwLB1Kb^h!>vOJE zMz+QzEiS5Y3L!MgW7)>==;JiBlu{k&vzBUu%ONq9s2YnAO4#M7%Tp=?bb1rCCsR|O*wuhx*E~dO-%0A+bK@!pP&p2YoB7i!*X5T zlbQ7QDyIxsDW^C52 zTCyHzob=X4bV0*Z-Qv5?Ocw=-~l=O!ZfUN#42{>4aL6# zwFfO6S9s@*9P3!#2oj<4l@A-)z7S))7G6!}y#d>gQpx5b-yfIz+kokpMS?IWOR9wP zu8mv6FGa=~JKY_LJrTSjJ$?Yj_1M6d0DO@iN+8p_~+lU6$<3!unwp zPIy?m|HuX_m$LvRbZgo=u8*}4E9hsi#rA+56=t^^M>|8Bu>d|ZqRCP-h)b@jf!`Vx z`GmU5!XZ-WI*6}a%yBy3&pYnbDx&>?a!eYH?mE<8LSb)k%gt;GKU0xlb|atko8wUF zWvAYBPoI;LhcZZEfjQC>$(dB!h1}uVRzl9yn1JTIeV@GO>aWab0cT0k?`=nTgt*Gd zowvbuJIDxs4?K5I$HB4#(>e^Ja5oKK*lQ?fywW~ffCga5g z4QAMPMEx)$s8{W`>E8P)g3QeMj4X5~!e^SDv8231uBxTt>ZhLOl%o@K;CP0he%<+MwjJe>5{xHS3)U3 z(bUilULzr9<6?d(D7wQqP%`KK1yfi3d9!4`XvYr4`quD0Tp7-wj6hOJ`S4A-HaO9A zM7Ld@GH9AvkP<<_EQmC*v^-;v=^F&4UEC5^O4nWQ4!*2p1}A%%(1N3l3_5K|l-V%qA%002EI-SlLIW+jh;ct20XB*=N&$G9bb5XPKii=V!E1a07 zeQ}i3%2{3FG`AAIXq5~41UZqv7285rqf{EE5wKr~QSC~HQAz%4GfYX07>RWmQcts= zUwy&pVkDr{-i5~RWda5}Fs<*AOH%|(JrHCp^;jEwGdCV|mlD;h}+AQ%gPdAF_lIoGZC%Fx?{j>JD zb~uD)bL@c@D&;}|wF7HcQ0iC1>pS-!88F(o@(|_PG&-tbNoNW4^XF=EPBsRR^l{|; z+d=^s6RriQhFY54Ztmep>-Vh~oQlf(g=QeE(K40mjocq!@ennPD< zzoY+Tc)$sQ0<`H6)cEJakMpm)n%XrH1`_GR=ldBp(!uU;{4VWA$f)uR-|SBVzG&w# zkXggWZg2zDHZ$g3Y-*67lWYc}g2Og!7JZt0`abWpTo(;lX1;A;k@$>6-?KQ3Nk{nL zU2|QY-``5lF zS(;=^^vojCY(RKYv01{PW1%ESBv|%x^#TDko|agW2HoDwNMJYvUe@B&C@2^lCmuYH z^9m{BNyGM}PDGKpdX4-D>b@J0yO$I$UvrlElx)cUu|!!m0H0>Tk!b&jB^D(+-$Fy`Y0l}U3S&~S zlpn-!wQBZVw5Sxkm2~C;pQvI*oet*ulfQQAd9`J@;%l?ut0RXbYA{3bz=6qfe<~Y8 zbIP572q^Gg14nZMc!uz+df1GFc5|G-Wnoe&nh7ssqRE4IcKhj{!4+F!&NiM7S9-OS zQWME&h(ck`Fp04QQC!}LBa6idu5oOWXMy6W(({dhRGf&;{8-?nNlj&L=5u<51tp1; zl{d&k&2R85Ww9~aHVesb-SaXiV(v|YUmS7AR`kYFTSLno5ZWPUSX#BLRW!*_9Io{n z3{v#VAK-`gaShv>yl{w7Gn-O~gk*Zfis2BzG1N(+a9frbRIvUq7Wy`!xM$z@gDS4} zgmeVL_Fx|BFnn;r2Cir32IzaT$|vzn{JRXir+_(v5h}S+g`zvEB`S?dL^3?8w9xSO z9OHhJ8-h@q=t}(o(O5wKxI30OIbIys`*-eI>5Gz?H?nekWLK63$fNH*wR+5*mQ6U++~DXH z`W)-Nn!Q4bt7ZFDb$+f-J45veF4iyye_gSF6q&VmYJm**lbsS7$#7=Wp(I)~ME;6k zL|&Fb8%j9YoN2FTvB|d3;5h=UJE9`UPP}T}j_$s>>&%`G!zo$6_sd7F`&rJHE}LP5 zZ1%R{y)H<|j;2_;FPl?O*MAfc_tVdnLS z?)4~NQq7us(x*^DnW~)F1!DY{f3rG9-i(=dCrUXCc%qvtKZ!Ppo>s1QtfevKoDpnW z79XrAMmX_>e*yE0vP$sElHesm&Q4`s0(WWL$#jLvN~LNBCc-B7Iw5B}8+cKv{q;R- zW=4LQVV{CW%#xN;9eu#e?5+7DBqsYbToWmrt}pzS64=Zd#-`4u*m0wL*)t(k#eayz|IT+@29X%-JzGW!L&>{uB=X(i`*SZ2Hr* z`QtQIOD9I=gi-B1xRuO^gld(rb^YE}tXs2~^Vh=#Q2reH2*{kSgdwzj0VvQEh}Sm= zfvV*dQAOdL$a9Bhobe~5l})B+@h z6_vGBX+`AZq&NUlP6qG2^FlVJ?`zUCu>yqt<~}2O<)tcO&^IKg6&m8K$&42*C>WOR~p zb(KV7>_TDbnYxA&4U#>z_DFzsk6Jvs`U8DgSo2baU!<%X1Bw zt@lGqvU3cj!w&}WU*rk`QKq4Rdj^r0w{ek|XRz|{u%_xEyllit)5G360SoF4d^I56 zMF1ruG@kz47mxvm52ff-5AD|kO3Y7!(uqPz>Gw5Wc8Y z+scEw>3bo|>@w7a-B@Q72nD>HDD-EKS1;-g$DGlu4WLNZ1fY*RbP0s^M+6DhdS!=LY3(9< z?zZ_{#JBj|y-_*Z4Wb2$2y&m()j8r=Z5PZ<`e{)&`?gbN=bm6MXM~wihPo*L93t4R z`!yqrbr#p~V$ww+N+7;IpnKI|%@>@OYIOR@6*Z|M3ZI*?D4teS=+QPF8uixKcpe49 zFImMeOUDl$#2!qLm(GgQCuHH)DeyTT;sr}Ub>sLKj4OmD9|q_}khTz^PgT2amkkO? z&l2X=@ry#gFPRkz%xBnoL6A|Bc}1LC-&}!E5_RA6-t&wcLJ*O0=+iGC>74>^{I~*> zBWOsqchAue`d7O#$*K!p`D2fTTfWESA2$g>Y>8n&cD8mQ`~;tgLEd`1?>fI11?2de zc0UklK&D{ggKRy={}M@iO{`v7hxq*H$&~{7Mj(s%+NBNScPK#4v9+^X=XMYFBB1gD zNPZItev7*FC3|?IAV0RSeM?R~1iZXSAiDT1d%jwq3uJ5~Lbm`@TgFQcS)pxRcA}BBrq$l65kXHOxaH6I`&?jgw zn5cXBSB++@it%yem;0~z$nE#oug7Cw1bK)D>!(jC8#FG=5OEoV*0 z;piL1n|Sc@HO>U85|Ua0Aa>cT80IJt$E`LyV?)OzbL>O!!AmsY+U^*3iXfU_^Bhj{ zt0ZH!K3{8?Ji))^$uc!m{YvN;;u;I{z)!Z2#q6^wan#}xTvln)jO0bwQ#J(+s9@;i z^QR(@TriAPFpj7LVbpu(o`8gDUL3X-nTIBh=8ra>xDac54uNr(qrvf`VfpqSzP)&O zn)w*8^&+L&vg^VJ3f!-pCaxPxc_G?lZ}mEkGSA?=G+lh}IA#4TbrJFClY+puq2y`B zb{Fe5e)ZCW{@@}%jQ7+5_sMS@Z&#+A7Dw`c4%{+nStf*bPi*(Z4)J!tjCKyhVTzxB zeVU~A%Paf{dGFIL87vXbuGgs1f4O{1rKKOmEPK1P zBvlJw3VRjFk-FXvs~Lb9pz%jkEyTArETi7dio3WbsmIxzG~)Bz>P0eWhz=Si^*$;9 zi7QTai=D6(9%OLjgv>GEe*v!WJwDGKr3MK{=s&{Tg^48zh?2L-9`+=%2@L3#@BHW= zRV6rAZxXKoIlzlUc$;MP=n=6%(JimS=+~Cm38+Q*3??ORZpPe2tK`TZ9e|hI zp0D$%4P*%NfpeYivO4owwf;zPOu*cf27wL-weP2By8-*cRjz%ryEBa@%Mj7vxeWOC zu#|MrT^q-q$jhzZUe;Ln{-@M9&+g8X&pVcmqE!4mMwMD%pNOpxC=ara*Fv>++!BeW z3)7!O@#I2HUn{A-EG5&p(0Vm^@B3wNs zMg=XhKDsXWl$Sq$c-p*d=f6ow$##KCNOOJ!Wzzn{s8ln3^D9#@YybQdf2>C$qm74d ze)P)@WKK!c=T0vXQl`8Q&vaQN&<3$U%%~t-OS|V+5~QCL@I1Pb6V`PGW?_3Bmjr~h z*4k@%;!opgX*JY$0}*Z5G4r8Rn;sEdTF#{W53V#gw)i`GhwJbbO*xv}tJW7XxJefX zCc6i?GdpRN{-m{Zsixq`B5wD zSGi*yvCUxHtL8yZiDR)^z9DoRS$QPKH=Q#$iq^n4SrjC@FZ(ube<_ z+B|THHQ5IA6X{f_DS=j-P;*@oU-Cwu`%KkzxEcJcOewfCm0(u)6K6Tw-8BQKeZINx z1qU0-FXwK>{acK;)722!hl<^ISpyi4=CN3vj>#_7n z9f6y(YWcnV)!WI%b@gOM6bqC6R2KQk{l&{Wm20ybUUlh2LxNI#M6=0;UpKPJBJvCP zYsik>m`SKcc-ABoNUEpW(eCNXMxs0Otj&NW&Eu%9BD}WsqzLwJDb6$noPF7^A9wSAnYD&GXO;r+CS2y?uUe(;QMvF)NJrM z#cqpS=0K!l5C_oA5^ZNmnn^JmTeQQqqsTeZIiI#GGMi`kXaN<28W;)$aqieku(?1s z7mTZdB$yxANi==!1k%#AMeYDRR#S$^%Pg=7$U8~qpkm?S7--h2i=R5+y@`j`mZIwA zij)K>J67hkJqZ$VUycAFUw6d|-N-pRHzn+7+oTsrL^C>2R+4pU$el%WKOYsaW;q~T z`MS=1z6@qmKF@_jE2^2mm-lQ$(-Av2@IEq5uJ7pvsuX##-~_RVNQ7Y28xaS_wX=~- zn=19>A&R5ijsM>t$JRTTC|jY?rhUY}2*?<;GJ zhf?-7^KqZt7cA$lR0|@R%?)9g=J|*bMhVd=4Z?>Onyw_}>4^wTc>b~49paXSebaB1 z|1c0GHYz&u41|{klX}&jV&@l|dg9?>H~HcPb_4+LjaO*E`ze>7I+ayC04HaI*A|uC z2tmvwow=PMfT+7TL<%tneL;|^t`8GsG4F#qvYh4O=-@58LpH^`ax}-D-9oJ^(GDQiW!mq|B1WE|m0w>Oq7{r7G$?UwzOYg7;%3u?|-^ zm`nY&SZfEPABoac9o_a^@?gVzi(PZ-7U($ScAJjT(Q67fGOFb6JX%Zv{WaTgRlgB$ zJsLbHXJ}XPLj(VQVQATHKM>U#bT6Yi0d6PN5qqj}JB)8XzmlHn`}`fJ{;!Ft4i1Ir z7KbuNACoZxtEW$FH(W*_v69Jl;V!p5+WMqoib&_RK1^Hlw&J&9PLh<@C%RSq^$_`Fbe9Wl4}g`kaU#z!KbaMlfZsQ1{Q1kkX#IPKm_%^ z3FgJRyicqLjjPVF^n3$Lxeyx5AvNZTUim(=!X-grqe~>omad;aJ7mX6O6QgkrST4i z?GqySIYFTO-LF6bzC)g}j*oEx7#yCgz1t!u=-Y{hfVF-BvrU4j*{9JaD@5QML? zy!WGiH{8k`6^A^J0MXX#uN@k}lODcTl(?zH8;?{b%1%5CaC8}vkE<-k4fhZ2DYbQs zi%6ZTzlrd|U2(G)IOT^#pp)G701gU^B7M{DM05SF(z3XVZPOdgga@Gyp+6di>JH&6 zuN!YJYvH90TnzfzniS)>mP<8UC5%pj>lPta0E}h&;C_4ZP*q7(>C_b*P$w_lIyM^> zMz^3pe3;JH+Q^l%@!DrKRm@ubYF zrm`5LYLvmZVFigGW>jUgbHXWWDZA>6=BasXf`ZhDZj6(;&0k4bvbUQ$Lxf`2fqS*W zw6_9QJrt9hmyH#8xB@8TW>}=WtIe&Spa`N3nMK)w9{12v_oE0eg zp<1d(fAdjR>;hTG52#HdFV+r{rU_d8DV}RIBVe=BbZ4wf4D*LyFkR>FQ(4wco@FU7 z=h`3H#DB3TO{Ejc6*C@_LV#pY=#aN|+O6R((f03k2o=MLp3mS_p6w>1yA@H$97vb0 zkoK_ReY7yTsNaVy=#tpP-A>`$jWcFuDJS_*fHilJ%A~;3{8JT{e|f}bWH!gdO6%@= z2|r1QhLbXVzo03nge4}ZlkMsA$$>vX7<#Pix(|EZW<6Ep%#RR!_4|AWDr?`5hnUih zv3IQveCFBTmt!PH_ZwnjDmxCd5~$9g*>IdPF)EOe;&`{*rn%`)v{F9Vt=!=XpMES& z-;>I6YQQY_ax>R0Z;5&72))J&mKTpu|CuA|BHy~AW$(^zwER&NCyLfoc`%}*AV`6j zagqNyyrE2}C%D;0Bd~4RESU9ZsXz%-q(?YBNoVDOfGHNU5P zL!0DF=S=jefIhiiW$@1YC8#RaCT2`AfY~_1yDJFcSOh_?K86y})Tw{(9)^gUyJcE0 z`hE7hPsZC!dYG*t@h7Xb9;ct|Z*VJa)gtfzum8v>5OX--)Ro7Zsy#I7DO+~0S0l5J zXM`0%Qi=F5H88#OFiSAsmhF`lkF@aPqa8GCf`!t_x{W*e>UGokw^{MVJ;=(m>4H&A z)w`9irAg%@^TFH(g~n}x`)(;|p-msyJbd^n`(|drR~DR!ketg9)0YD{kQxk)>O81a z@RFjh2SP>53L3L5etn0|6?>Fs8V>oy`jYF<=7hSWDy$z}64?2~Ck>s_zhp3SzBM#| zORN$nwY+S)^&|;Bsuz~f%I-u%uZYjTQt0j;Ku6p)JTB+))G=m^l;s`0KLb#%Ei+A% zQr3g56p$$6BaKdPDf+bY>USi^AzCzZ``E%t(84q}F2aN5!O6JRcOLhX1j$nPX|+;} z{kr`7!31ECKSA9XMG_dFvQxRV^~ttks6wlg$L4|^r=!j`aJ0$33BYq3;_=3dx6YF0 zcJ{>25*gAOtKG1#3*eZ+z)R~lCk+A{a|_b6>6ST2spOz#Ya183~onvu*&#?mzPt+-WXMNv>9-x!LK9EzujOI=H^5_J>gHn49ghle_Dagqz?~f z_9*rm!rkzu5gMk;3gO7C z#woEyBw2tAqPtsq>PxyFpDV%IhAPKyXck}zT_@XK&WaDl{D=wzE7}HRHbP;-dQZGS zbTZ|Nsd(V$llBp_-~_e$k3+2kciK?6#YK*W=UizCC-e>VeG;sbo*=#~pE^p3^ow92A_J%q;bsl$~AZL8~hS+*QfnEcGgoy$c}+VW8rWXztl43|kJw2yLcLYOp>e zrP~k6#=kT-$!n&#ZKpF%g*;V!;!9bb?=-l=9(o##6h;Dh;~j`iVn&@1#wh713O313 z_qW};M^e_+d@z%lHmVW&86RniAC?r9ue<68U+P8A)9x|p`~1^!%tKzMZtKMVw5N(D zNKjx(2d^%Gm>*50#HAH-Hqvc9$2H~9=hl5x z)OMo%Y_I5($Z`r@?OlCSmt_HYYO6+kBll8Y8y~JT>ri~#^s;N=;^Zu=hQmH~&TWlV zg9Is?&!aJ(I-&CVO8iX_VV231Z}pu5p~o5PG_&uWJ5kadD{7iyV{JaX7pdXWoGEkl znP|ubLS=dX-ZukZS#3Pu8st4pG$|Q`cA?kXwl|BZ%>8(k`ZQ2qUEzd_c)_b5aFgA< zCDqxs-Of0V)$7}e6^?Pm;hfg6Jth9Rw-=iuloO6qpY;rfsd4afa}@L-gIq0(Ps*IX z_ao*FtP#tEl{8kXZ(hFR(E0nd6Kz^@6}FZRhL<}1(jLaQ)>rKdfa zpwG!8+x&;kEeYGk2AN;1JCtg$&MS9p6)m~l%e{MGLmz19)xtZXRHJ;r71qzHYm~8K zgv)> zIeYKa*0QhihpEz-*YhvHgOFOf}n?uK_R<;~V{_vi^THj-_%F+z3go?JhHIdZQv zq7EY88N&ND9o(_k`RoR*LX)NH~6q5%D&p995R^f2&o!}&SLdrH~aMSsqdoZ3gnmn~S|v$k}8EIQRY zsb9x!vLv(|_l-_#a9CqF)xQRKb?>CIGy*Zzw$C>mRkqM0wVdi4?VMMHM$wlzer)>x zI84={FSEwfw?_-~#rkx>lzEY_xj4U4N0C(^Y1oEM$x%9T=WXfIc{J5Vh*LLo!)?_5 z2K`#X{tXjL4_DU(%d*!84Ktjr6#qxz|6%Mcpz`{azEKJ-?(R_BAK<~gv}kd6cXxMp zcbDQ&+>5)r7k78J3;mzI=bZb!>$`WA>|`gCN%mxR*3Q%U%~ZjdZAO%vn?ecM#T#x3 z#Uup~m*McYQwXY;Xl?QjIzcd_WQzmH+BC5n2OSBPSfxs&Z}OSk7aV+lToe!0`DR7Db0TXEjb+lpPFz6y^EFf9x- z?we&bCek`uRtkA?F<}mACRfnlucfnG|J`@4fUp>F{XIP9_7|fpPf}tW$M5>n8aAw` zRUy{Jc4idh!Ir@lH(cqt-%8yoGsd~Tr!4X+>`je0g3&Nt8i7xYuVTWZNPW4oztgCR z5TB<_zb?QF5%vz3d#`+;JhB#*xE)5c5AlKHm7Z-_?JZ4$Z3pl+Q*(xoe~Bx6HjcZk z??bE=Iw(@FzSmtZ`vM>jTrAA{q(E|NSPm^D9|f|mKmqXEVGrSRV`_(ag??(vj%nQ8 zFdM-r+E6)88)43Ggc(@m9UwL56~Pu4jial@DhImkcw{d#T+2#BF%%!w+tv3h9YEVyk%HU%`9_z|v%EjKyT#C?3 zQ2O+nc?@y{pY%KgI-MrjGy0?ocFMhcpt%z?pqfZhpTY!@UfitHo9QRE_1Acg82hos zkNa3wY@2)0#~dP|0@x6!S+ zsuB=Y5HsyqU4|{s$fTD7<5J=TB9mhU0@`2+TjLn}CMI^GbjVV*#wYFk;W16Y((@$d z9%}p%1iNQgQK|w+e%hjJOkfqAZr;x?htGxuvO!(2F>WKnVryAE!^aG2@-TZ3#n{N{sj6-Ffj3E#vfZLWl*{7?b*eqN_v6So`v+?1`#0 zuc^@-PgQcohfyoVbL;9S%sv_E6O6^qO7Oxizo1cfel5?rp!t#P1K{eH%D#)^;vN0& zN>LGlANU(WTu(m7M z5x41M#w4**JN0}~QEH2g0rSC`-g*hqK_y|K(ylD1FJdfMW@*Cp;D3?b-IZ2iT4#kr zX!qL;Y~|CJ91=#-xY)F3gAuZe(+Z^3=0b_}0wvM0awrDlHZuQ);kz`@!}PfiI{=i> zF2YSZSr0p7*QBjJxT2WXFuFzsg$Nc58c_@{?ZoPG+4Hgk`94Js28@UGqD>p+Kmm*Q z;hQTvA3&{ALHGCDcPbf5?xP6*Xj@COsLvO2HxhT00^dwtj~3Zdxy6V3T6tf{=Q;Z!pnY_8F+P1d3(lkrl-h#clsoXexgdkPs#A@h&eq2yd!6^5)gyri znIu@ELE4@)(6i4c`+P*YPHEcBQq3zUffJq^)$lcvR$O@1P4X=u`-_34$8-f9*NK(G znYCc-s%h?{P3I(YE?@OH`eYDv)jW6n@$xJYzV7Atc-vT%TVYRbhFqYRrdYQ^t{z^X zvgi$ehXHw(S!(1Qu9SQ?snn^C)^LL$aJ|;ZqW~ zTkpTw&wB{A$t>tDXL%qGhvwbMgZ})sir;d;0C)*$ddVYXE4WXHIxo+tt}nvNFUY?@frwJOstl2gA4c6 zK{3&gV2Yu?gG!y&doZ7UiE@K*KR1w=-rT=BCOs`dU*d?h?H zN*9e==A3n^EFUkuEMH(aDJPkM!k&!zu|WE}N^hk`I6)KG&*vaG(*%&1C1zT*tWV%u zACnDWhq>pZhwu$jko&&by4$Zh`@409OHF=ONh~(cjku9UF9{g$5boG%<%<7}uTn~9 zQoG@PzhxieN2__p)6l|~&!i6pw{gQl#=N59J{O$Q(_fICxW0LqJ3N}G-ShTvWSEq> zYT!O_*5W(%qC-Ddm>PyE?406moL^|n)2l>pN})w#mJCywSh*XcElSZPwurCUl-CFy zBrvf24j8tE*2X$vfqe~LOV+IQP&fmHn3**a$`9`YH?u`d+>y3kC#)l*_CwF) zJ;% zJ8?*G?Q=ks$XTz57g7>7d=?@lL6^9531~;ZA27A+i+~PGj#o5cyRSdunU)2Kj&>4~ z7O@&y6m48i121PB9L$0@n^uk;i`Jq!sM)WsqL&}IP&B(rI`fXCAhnROP_bSd zyLOSi`9G*7`FitFKng-;=4_e-u~Ke6Cbny9abgt^e2S89iv)P4X{(_kQSo$;D~Q=# zE^O>IS|7^|5rp5|7-2%P=1+K4Qljk^1s6e8bQ45p_MPi>$=W}S%zawVZg;CvbCVzt zg-_q`>X`P%^cmA_%w@CvtaTQ==b?w4?CVMK%DPOh_JT7cFa1J3@v4j@ONJ^j4@dUl zRogIBD_aM7odShF#uL;nYrxmux1mDpO0oo|x7V^A9tzn5mw-n9%?fW0rI+nVBt>lR zbJ}y}BL@*~TnPsX)d*|_DRP|;UvDE{4+gqK$7wK(zxX&}R1jpyIvpQP7tsfVctkmB zhI$YZ$9NO|DiW~CI;j0>65Ql(KC6S>_~+0({V0J@U*5jD#vgD7D|r-s#r&g zx+>h$FA3v$q%{2~5K=wjNLr~r`KFk>pfl$MK3@3xYgpQlX@bz@OhGK}OIFS7Q18CD z@X7H{&a$c<$8hP-c;02Zy>>akKsQ#S-G;-)B^otDWD4IzBV&f>@ua2Xwk3&VH{DN5aR0j?RM~LmA7fDM5e(hLIZi$;!=$)KO@5P$tW&{!y73 z?_7bAO(9IHP(TWVrBsx9O^?~U6{HiAiT1P1Jx zw{ln4HU^Il41OQuNPJNn2Az&i1(ZoBX<3MirQlzN$Y1NuO@$I&)WArZZinm`!X+|& zS4a!9RXA;Hi#TA@y{9*A-PsJ=c**mlS^;P}lbLUJlhN&z4$Oo%&j1uzFI#G+rkotV zcboc0yBjwX?mKtf7?%#;_lbQ%@aexg05pXj<)C7Vhk(tA6ZZfNz`x{~ayYrP<_|W7 zjVszK+Q3Ngu2yo8kCP!4ZD6WLPZ+D07(StPq~~Tch@GE#MWOb7S!R7L){ihQgfYj( zDuDVjWK%4ZOh zn*uF&hsxvh!XcUl)>Y8nsm`155M9pvJSUJ;yZD zpjq?CdQgk3Y>T<8wC0vOKkSfpk)k;|2skuHR4hUG3=Qfp@e zAgC*XhSCAOhuv$t)@}%G>x!+9$Z79Miz32U#KyDLMaOR|(l)E;eOfu-X++jcIYm9x7 z;NG><0x83BPq_CYdAZqu3GMfpNn@mv1P!i3%1e#LJ=YQS6^Xu=kP>SuT2$JszVo&; z6o&G+*389WwYI);qJ2|~!@a8Xg-v_S?b5rlBeGvpjoX~QasefKgXP8v1L4^o8|x72 z%9K5G2go&#V@iw&QMDBpER7U5NGfcJhv8EgaFr0nv=FH`sd-1n zhdAsr9y<4;mgx(%A{INB8%t~(j%EsB*Zn?$kIhWVHzBmfo4d2-j@Oiidvj4cJ!HR1 zE0zt{8so`R_G_{WmJB;Y^G7=T?A@<~Jme9I(pQz?mD8rfIFsFY`tHuhvDkC?&sHw^SSQad)9CN7Ry6aw%96@t@ zHTN}dK{Ak_iP!Ydg=;*qeVbilWERzg-LwzpPhR@OI4Rv;4{%Re-4oEYdCncs=titmYqk^QX^ z$iVbY&dB<9{aa>w8}Ogx3;=#@Tm5%92tbTqKtf1}TEf^|$KF=P(p