From c871d4f21b860fab853e47aa11320cc077ba6224 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sun, 26 Feb 2017 15:18:34 +0100 Subject: [PATCH] publications/hasy: Add PDF symbol images --- publications/hasy/symbols/AE.pdf | Bin 0 -> 8301 bytes publications/hasy/symbols/L.pdf | Bin 0 -> 8359 bytes publications/hasy/symbols/O.pdf | Bin 0 -> 8276 bytes publications/hasy/symbols/ae.pdf | Bin 0 -> 10249 bytes publications/hasy/symbols/iddots.pdf | Bin 0 -> 8163 bytes publications/hasy/symbols/mathbb1.pdf | 70 +++++++++++++++++++++++++ publications/hasy/symbols/o.pdf | Bin 0 -> 8240 bytes publications/hasy/symbols/shortmid.pdf | Bin 0 -> 3254 bytes publications/hasy/symbols/ss.pdf | Bin 0 -> 8564 bytes publications/hasy/symbols/textpipe.pdf | Bin 0 -> 8158 bytes 10 files changed, 70 insertions(+) create mode 100644 publications/hasy/symbols/AE.pdf create mode 100644 publications/hasy/symbols/L.pdf create mode 100644 publications/hasy/symbols/O.pdf create mode 100644 publications/hasy/symbols/ae.pdf create mode 100644 publications/hasy/symbols/iddots.pdf create mode 100644 publications/hasy/symbols/mathbb1.pdf create mode 100644 publications/hasy/symbols/o.pdf create mode 100644 publications/hasy/symbols/shortmid.pdf create mode 100644 publications/hasy/symbols/ss.pdf create mode 100644 publications/hasy/symbols/textpipe.pdf diff --git a/publications/hasy/symbols/AE.pdf b/publications/hasy/symbols/AE.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ef2fccaea6dd6b6b63e513591a3846637c0e3094 GIT binary patch literal 8301 zcma)>Wl$Vlx2SPq%;O_1koDkdz4ufkFJh%mScY;fR-~_q6=X_t? zQ}x}dbG!P-Uc1-s_0-zkwSPQxDw5J{Aa))My2;u8MGP(g5a48Liy%!oWwy}4&a0PHk+ncysNLrXVnOk583uCysyIPnyV0bTcsmN*rRh;)ZyTk;- zoe$e|8Fh|yv&b`EF8`M z^`h6&KM;`rfB^wOT)f=>M&ktV0(m+A9lfIedk6pnfx!QU{@HRnrH~00GcrQMCSH)2IV0dOhL15XHOFW zPM>cFsLjqA_8#}3ZZ-D-U-AZLp$co*rwEaSst`~VLWD(YP)JLdJ@|z279d znQ-1Y1_)$y@yLg0DS#~$0r3OOF#-Genyrw zBZ6nkpy|N|5};m9F+xcCYNKy(`T&B0E@5WR4M<_oaQLW@knDpqXVEpxII-p)m0*0V zee~P6*#{UB2z%DrNR*^^@kHXoxsdFp!mzN;&Q8cECQICacNtm?!ZTVngEL}WxY^^T zV^?hiyjce6qq5aDAh4^4@Z*yiSf=gQqX`*A6bQhtaVAQ`+lp}wHG}Kf3U0}zHQvUS zd4hlQ3?GFMw1EwWANeS-wlUR7K&#RjYEn~U&EZ7GjQ8;m+$z2-#2A5xXb^c*5}s`M zloT(buMqtLC_;vS?nVn2sEvb|e`E>wd2(~()WiUU=0vGQ86)~^tGcaC(Zgm}w8}kY zXy{CYgZZGDM}mOpMF;iE@5>unmo9ix?GAEU#b*TH8Ywp4`+m?V#1rmt7OL)~MIt;9 z;l+jEB*2GuyJD!pt)d2_Hv7sy$~)m7V85J(J#rHAqha4j`yu`gqu(q*^MY(4Vhr>= zZo=XG!o8R6Uy&+d$igmIO3g2c7@G?5GR$9fA_he+6r3g6Y48&pe) zcI7Hjl<@K8<4bOBSU)zGkVHVD2-V9Co-PqL@*?!Aa76JJ+7=-lloNSxvFFb6XMvrU zfpa6>XQTHoXCe6=vO7*qlTI%$TM<6A2_J(H(TcD8@sW(f=zqdpZ>ZSa(M(Zvui!e|LSIYohC`BGr-E++y+f^A0b zI6MTrWlZGNDYD7hXnAHhf}`b5`~09CkL!M8wCM*SpPqu3<(GL7B{iHEa%_CQL299+ zrX&w#hg#=0N8_wtKtj;aLv)?aIb<*A>;i@vA2z~uHg0+|N8`b3l&d#MvaJ4PQyAN@ zvib*}e!8vJ3)fB`)BQk~nviu>-o2SochLm$o6y_>)P zE=T4bi1MN72m;^bP-d#CJxr?g=6kBGvkv>nH>mK*tWk zws=gKYrW)+yV}!QvG<_?XEmU;I;Xjvz+=#0SkFFqzY8z6dSB05QT=>EKJRe6Cf*bk z6n~5(P}xS3C0=b*)>!W9eJ4?4OW1GIEqOxEs7Xq#xDB$7|s#-m!tnR=vy{C<2xQf4VC5iV}=Z;Su(_Klk=)3m#LK zU*Y4DW&}&L9oDX9{tdB|CqAzzkp0nj17-TwtmOh|G8z6cx_Il^A#Nj-lLnjmI_~|q z?PF6M(Vu>BwLIG~&Ci`L7pyf5QP)*kQtsB0(oM`KZPnvv=_%F_&HyQWDu?ukK^yn= zzoxXLsec##zS)|fsHZ>VKSF;$flCshUk0sl)Um$1@YdWYZD?!`{4qIm_tP%m$ZHu~ z7}a^G)K+r-F;4b?mS=EwKtI#$yOl$fp$hXdAZ27E8O;W<5}63n$c=UI(4@dTM*}+d ze97lKOe0*B`C4~c1B%!{8&zqx*}LG1=Uu`jnF(RkgPp8`9L&aN~7sgHc|!}r|QYsGrH-)t!N~@kX=UVpB*R$v2{mIhfdHp)KgR)Nv&T1s;eI8 z{6||8n5jPA8!v4>lt!}mK1j<7Encu&5YKh+WlqzuE)>t%1awmM$wF zrkbQ!TaDgNb|>B;|Kx95E+-l1Jq#_6VW}n~!&<{N-=*Md`!(F}By#+X*wIM4iPhol z>7ZHqmV3T-`mOD;;ywDzpv3}`=Q*p@P+a13;uM$u`N;3Tf!$xfRpH8<;OfH>jB@3T zm;O+*U%-{6vDEc%~zJ!sO1hE($D>nnn_| zzHU~~nn;Pqy}vxZ7@?@wNaJgho^PP_R<`Of5fGsJB6eFA{JwKgBK=SPBI1){qr0ln z6;)AsQgxLWR|nG}U%kZFh1_`~Kc$&@1$9p6n)8AtYpn*JjZNBbmB8cDj!=%973v9R z7(zuq=Iw)C(4(ZPPSt(q2Ls2=5f`q;g{mROgB;)z&7nHW_cW|c!_?a?ko#X~qcd{5 zrxm^_UE*Sai^1u2{4Z>3XZd6YcK(AXr(b0+`9j&94OhLQ49PF)nH)(t*8U@`Dtqn~ z75n$m^IkmKy>^81-Gw^HEs}g`d(yhEr=p*8lZz?JX4o{5R6RwZ`KZ?;@~8fJ6r)tD zV#>ce^}M?AYdxYR-7fv1c2hs)vftFucQ=(p`@tUCgM>JCFtDRveQ6E|#$XbTI$ z%MvU^LoR)xpc?>YxdzE&d7|Ed?OFylABKEl&xcIWt1w1+;kyAc{_vXexezJqsUhDl zeNs=XqW~la$Ez!MbHYDko$qBXuCa4m)m= zm}LvqTz!u!8I5;pwK^)3R3ChhX_tYyF(;9{EO&9H@U2gKgFFd443#oT$jamEaYOy5 zA~TzfCzCXFB{LJ>j(yThH>41+=o0Td#X1?&9zpeZJGFq!PLU{icM>s_Z|c-tV>r^( zkn)yqKjrI>$Fq7KQ9>43{W7u*g^o=gy}u##cwl!f=1Lj`Zpap|^$Q3}GkH^NC=#pM z()a(cwSaM_txOVvy`v*KMkQC@`{B?o12~L0dx%@s2?$RwPFkO?`FIQuR_o!fCf_dX z?kDfuYT@4|h|9)*EvZ6JpMc5D2=Y|kZGGQTzA;jYH=ee{OVeKS3ML5mp{eZ2B3%m? z#hAaik*1zMHAFd5Q*kBS4WE8YMd-)J={*7PM*6w0cw>3^n@|f+Pv{&6ge1mgBjn}M zZYuyZ14e%hlM<=%CP1|Ej)Z56ZDp2%ZEeQBmv-&sw({Gh8!6Z>j#`=LcFE5boK9QA zHoZ9#uO(m9ibc(+Aw6&qGc#Z2kNM)CgKl81LzYhSNJC9cDCNf_I3me!QIJ2KE$$-C zjw}BH9Cg6%s$$lU0=7M;@Au4-*q?Ewpzu(a?h;UT&RnuYWt(YMYb-b?@_5`dIw>l< zDd1xe+?)2(A2>f<^rYLWtZaEwqjP^{&S*GfDb01KpVn@PLyt%k=dcjJ;O#T{7+n|` zC60x=tp73~hB-{t<&O`;2jaDM`13LZe@A>o@=JFt4vk%>K)^m&q0|cy#PrVgp<~cQ z)|oLq-d-xo5D34?MUXP_Uyllm1IeoVF4-F_1}w`xoDJCT%& zim$q~2>Cti=`bcyY<9$7B57V9i}-nFie^EP2s(b5?yZy;@7RI@^U6r`{!JOB z%=H(gN#syo|DaoVBO#WNdsx)^947yTW`2m2X&mFOX$ zU@{;Vd20BkH=-I>@cY&^*el$}fz|s%n2hZA zfu9TMTt&pb)D0k!(rfm-3Y9$A(x|KldN_|^P>i{Z5s5xI5Wxcx|v z{syn2OFF|sum*L_TagSOhQYe@op5Xn@W78T{tD*RL|L^~<8gZLsd`Uk7krtLmxr`v z@IY`9IB{9rIENj!&R-(OMU&*$e~Rm*k2ddUWu!H%6}ah!%+q-A=A#6Kt+<+l9(*SC z%^)CeXG$w?A{@UW2K`A4Pth$=I?i8Rc7%%En<2Wz9JfIuIxuTWQhWAY@#Jkcv#@*( zzjx_UQdoLZ{pXLA_18>-!jjDvuJ$M-wO_ROy}o(YL6^ZpoL3V1$MPfbZ!x4l7zgjG zXPp*ZJ4wn2O7!`rNHl(s3Y}QQy3;nmY#6bdZwa)7E|8tgyEPLyD#7!?)%?bppYkz0 zYUGLmUG=SeVq0rBi{rx#8-kNAY2@$keUgV_n9EV(nD-;HHcF17PuX&AG0l8K6hF!D z9W^IDs!IELq{OzSU+@<_!dE8AhzEtOWQm@_WqtmzUr{oCTHs{2x(=%2NXkGmd zqnkKhxZ5?Xh;q(o#n^t+8C;q}G<&5Hn;@qh$7vUaY^NR_YkJ~J++U3HA zlULitX7*~XHzR$BmUopKYi@mewW!M94G1nMI41L3X*yZ5decxFv8LW)XK(kO6f2$y z|3PkvY<>71^^+TUeTy&0lWd&7!*#Jaa7gWY%AF9qj5m2fSzGeu`ukQ7wX#ukM}mt~ zLfh--(bBvS-Cfw(5wtQR&U7{XtXeE_X^OlRe0qPT?|2u>L*O!Xg~|r`Ivy}Bi?M?X zZp^6lVe!am7`1dzYUqwp71>SDwO3(23MQ-vR#fs{1A5vy{#<#EVP73U^@I@{rS(dU; z_{)c*+zpg5xtD7SwNIbi9?D?^M~bvxPvUM>&UbzZvfIA%R9WHVccpfFgjSl>)xK93 zSKZv`&{A$Ji@aD;<4AJV?i8^55P2RzzAo6l`1R7!*zSp|oo(-rwo-L_K>uGkLPsd6 zBT@U(70J-#;&8Z4z_CP5zQt3ptdik+D?^Gt@K#d!w*Z z#_C8vS+>n5DL9Np_%!kUqq(oR%|3P$`v_S_*D+74R(OQBE6*P~RGTp_of{sJ^V%jw z0w1r3KP9GT^YV5^V*2zuy-LKK_LS@1u$;xETb0-_p|F!(e(=msjaA#-nfN%uuiCtH zUlCCQ`Fk7P4)eSw`&LqK2aG(QA3O8~1Ui@U+N1rc20V669Va?Apl~u}h6E`+*NVq8R z4t~DKwOVXeAwaZAF2Dk%yADc02YuU`$B)8uLGIs0?vM2_W`36IE~LLTBfYgw9E!N* zQeCn(tSG)9P1C>@Lu{ko5cD;Uxuw3-5_dzHPSq!~k3%fAJLmW-7gx)Z;O>2r_n~rG zmY-WBfqgn)IXNBFdO2HPzA=awSM$@~w58r}e_PB%UcNJXxb=K6WX;`RHq<_;wNTB2 zZ@so#4+Ku3d+$;z?Qkj*SNCC}H)vgJ^4oplcCJx2pD2IOy4Qnxn8{;H?9D^W_Ytb? zjgE8fo2GNanLO_FwpobDh^Ep|y?lp0+vS{g8$jHB{$^Qt}C{*nwFMM|2i_KYk7hp1$(z z_&tx@jeCT=mAdI^8XO;}ww1&i{&R6c!j0}fQ-u=kW~s|L*C{)4fx{9rDs+Fm*Sk?d zpSmmChe-J5((_RVZ&*%BQR5`ai?dIPXXOtyVre%V;q-2*y=>eABF!hpmX-eIp;>0i zc{DR3L#tZ`*&0S1)~lmBcg34PLq?%9${m1$=~O${j?AIx`mAVcOH5~P%@0%gZv{KA ztICIIDKkAJnL`7EmK^DtXe!)wXLa&r6W~=TonDp~tK^(yyvp`vM7)YB!nY%q$=qWs z`tPzILRu7OxbGVNeAx1x;5)|u6y-JjyFsPecH(dHwwV*FY#7zp5Ncm@q3Ux%Y2mC3 zIM(ia<^xZ3PzsI8iWKgq&F^yk_C<}O)SR#@rzSF8qL*N9=CAM{T=~I}_(|q{)S;P>*@i&r*MB!P)UK0h5 zb{1D3DRV^IugG=^L+;8C4r??^yrpUO?c-^JrndvtzO2`hA~S(U*j(C7gE-%gACTL+}RCqH7z_~u>mb>QPyu13dzPD@q9-*~1KIl~7XGFn`?)aD_%+2$Ei zn#+n~jQYGwjIIf5IT;!r#7p~meu@nyP!X63dl8-++0s=61U+wTg>yRVe!y&Q+phPj zu;@d*#~Zr-VwHX#VZc=0_U={%P~G43Nc{V|A`ouL_kP|ol@_3MF!H62+?t~D<)?3w zP)SDF6B1F@H|8(sEfOmM6nQp)vA}AE9?{PZ?#r!{{zKdar3zHF@5q*hSNT0g|CGGA zHQl7`=ycYULkU0dEkv9adX(xQe{Y+u7uG5gn-3bVWIGGy)z-fgx||yJqRK35)x^m9 zIuXs~cv3hxyB1F}{>k0zsAn~o8iiOdU_DB&kC7?0kNgKLfjCz7bL@Js790-wLr)Sv z^^&!Vguiq>~HCm)X6mQiZw# zweW7qr7zbCTn4C5LhW<&^RepWzI`S6KZZZJaAx!%ED#ljJ27)OPZ$4a$1GyX49Kd5 zvwzbDf#e`%bTqju&AZQf#s?@J+mrU&8o(x+TBzdn6SvL_4l1fueuQ|x)nw8 zO=axU#>#Bb*1`t^2ok-tx{}Tv*IhZxix=*`vW^^5{zUk-kX#cN@D>TYXGlzXG8Ipn z??O!dnKCkX1Db=(!7#i~nwZ?05v~e`cQnVZ*9P@>;kBb7w#azUrELu{&Qe3vL%l!LtfUbS4 zxle`Pdt5rKqejHeDNk8}e1bp(gT0${(AH@Pwm&FH=r5&reL;Juh8~Upb_;6A`wIP* zp`u?4YF|ioQp`qMkh4RCK@-Y>*8b~X>@hmzxj`-`b>sIMT3Py=jG|kVCEde*hjRJ) zeQ|leLKnwPqTpHO+PgR(&G%vRFK|R?(V72g^FW~gq4QK+oy^)h0d#j zvk6Z`S`J1Sr^eS^)lmVglGXo48xMS(pGk|Fw>nos%8N^p7F^ zm(k?;A1%=Eakc<(D4W`p+cNluX-VgoK!#J%HFh`Q+*=_Z1LI9NTmaG_?#EC< zq|H#$&&EiBQJN?pd*vtzvw~>oCR5Ak3gp~?e~h`k(SD+h6+0?9(D6*S_NY0gWbj%s zW~4et3Q9uWM69x)i|egQqYDU7d)*Nw;th(2BBWX|O+s_AQ#?yI zN2#QDQ+YmQ$Qd*oS!XpebbJ!>{Bz>a;TC6-fC1%1%0G11N?>EyW6v7>4W{VxHG<}#ZU8w zt}+bqx9y%4&hJ{E!$xR-@&#o6wuwQ@z+h`re()O~TgosY6|K;7sG@H^FsH4drm;0^ zqdX@xRT!xK!oplDe=CLM=g%^`==lSZ`p&!)J!o4C4r TyS}yo0t9kl(9uaLOJn>W!dI+3 literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/L.pdf b/publications/hasy/symbols/L.pdf new file mode 100644 index 0000000000000000000000000000000000000000..5f399c2ce307f3593c65bd7f70dfb01feaa9e2a2 GIT binary patch literal 8359 zcma)?Wl&sQv+t1*U?8~b;Lb3(y9Srw8r*HrK|*j1t^q=DcOBe=YX}a(9fJGKbI$wL zJyq|mI(OIl(7jf#-T&^|>%*?!qEnNWWdpPG0O+RX27Up!fE+;Qk9GiIVE{F)Z}$I)LiyByCsA| zT@GM+jJk(2@rIW?KUi#PiM-cyi2m=GbT>RYsmdOd^6}YbcB~O-(W0Qd395h>ieeKu0kF)@OY3P|0xa=0WKQRlu4kb zfehtMM38vhtDAJ*4xC2`Xa#AC5FVl?PZSno@NNhHQy8q({KE3Z4GIL%}(vaok|asW{zFV>%mDq3@sld5kHBe5m&R`Kpb z;l%iVl5+%^ncA47qn+EEcEcT_K5}KC5c8StVhlY^XMH!U4N&7o?`FYru_nR^{&FtS z);$H+$!}U#iA?0%6Ce2X`h_0_K5+dV90B~R(CYeh7fw$?S8(3M1fwd5krOTsf@rvj zLS%|Ejob5J9ty`evy(=H7bLN{mDj1pk8l{`b+;;j_o;*kQSIqd;FoY$*}je%B5ZWB z3w!Bl6WjCViXe!(l#g$3ye|4;^~>C*O*+@h5~B30!woymPB{95flDZjkzwGw&EH#e zc5xxl$L@ytSI?gE;g@{(U^93HEEHNc7L4w8`1G!N*nahu6})lHy6icKC*X5D5R^=~ z5k-kWfZ!FnDP|!-R02Zp{_bx|CGom^t{RDs{?>3~Lbn@r_pMywGlP)vJNIXrt+X#; zkBGcL;hS!_{e{c3BytL4c1Bw24YAX%Tb43w(;{0dx;yLNfy-JS)L+EoYu=z>5hT5V z-!K6t4N^+JWDKGJUSYAX_~o$>8Th)uwgHpbF2S2;QaHcBq+rTBYj#9Dibjr4XJWu+ zB!$mkFF@z7d~<=}PwQAOETgYz+pnuw{m4Ogj=PVJuVQ0rs{GU&&d9|RF0ic>F*o~jXp!?&Gr(I>wKrp}2A<{Jj6D=BFJK7F5_g5!Kjyhx5v%^LRnFu<*R)zVLx9G8+Cn5hVz8Rh`(C{93Ye z94xzaa6|g;PWFZFb(a@?7t@`dlu|-qRL)mRmY1wUyY+yfea;IS5B>3nxXWdVzioPN z`yqwlX@~gMdK#Howavg;iOuHxSuMv@3{5{!$AhkoeW2yV`n*&s@kh6Y$fB;;bNJ-_ z5wo+PZgm|>783|L*9X}kWS!1e?#?(|Xn9#~w@saWJi!E3^qPgSVlf$);|CVPe|EE_LziIjX$(2!|1b7Q}3Az2fum&kd8r&Avr3j>sWgDilFeU zek%JVWL>ZNEJ_;!P39CToUpQg}a4kIWj`B*e z@6b0}rwBW|O*uzGS8OUvm(8n}g9#PUBv?zB`5@N5SOLHm3E}92l6(1z;w@+r}-h0qf&KW^1J9s=0jSQ(%4c$}Lv(gb!xY`}rh#vOM}H+~3XBU`df zHPSX6Wf3-2qBp-RVQV{q^usQi4%zNNRzx{IOu7T+6lK z4H}@Yy}>92wG>9rE&H29fGnZc4PUEW%YE;edBKBmR3>6*nPndGfC8!EN62Xc+9pbu z0_qGl37#FF$B+7G^!xZUZ?>eP#f-ya+U{K?X(<`*PBI5wkkU*-@?-EHv>$R3lQ8+$ zpylyD-oC|0PAW2DoU8V6(wQgwVmStZosC(@O{7+ZCTQz)1!Pyvjc=DUfU?_ER8Oap zlpQV$Y)uB&;8r)1d zwt=4#9JilxxJa8%DsDZ~9gSA&Lh?dD;mU1&d7eh6M<;wc#SqHW?5%W(`U*PegW%8u zs6wLJ7soHSz>1ji%P)#X__QfdJ1o~difdJr*7vLJ&49j+#rw1i1HQm$tl(X_RiI7G z68VSm3RzCxpPv*uk80c6F_-$$C4vc5M++KaTUxNh7F3Mq0mU3+i`-mQm_5F*tvJC9 zg$xK()~CN^l|m>5S(ftfilY$q{@dw67mmF(`qv8umC-ngL>zBp(0Stb{FLt&8YOrN%5XeUIa~ zTyQKQ-x(9tF_~=J_J%ZB+ePo%gcZ5YOXP1zw@%pCwq-hV>ffGddIcwyC47^SvfFsz z;z-D;zN}#&2e&_1a;Xv)zYOwCdhU>nZXy@P+!y9(s;qpwu=_9JB(y!+1PKUwRN%6WA>>J&p^4a`=&a+?bm!bSP_wcm1v>eb#_x<&p#Y12mE&s*7yt z7TJ8Ign8MHQAD#Bxik|_!CzN;di`o($Y~(o1bZHen=$%N z2FEeQ?5b0Q$B;h&D3Fpn_NbM_*p5}D%g&5SEOmB@l*>E&bK96&KZiXA`y7x)le3qg zcKQZ5ax&n!yzD;mHNF+sXgEPHZg$dIL78Cl3zi>Bb6x5fYB8wrVwSA2yk&E4Q?0B#qthO}DyFQs4x#Vk{G!~$*kze6u#}gWtxf9wq2h$oq z?5h^CH}i8~UclnvMl>)TVj`wY@Tcsl40WAI@|U?M&ztH#ErWOB)bhV~XcAK=+$Y`@ zotG!XZKNam{pw?HbA7YXL90US>DX}1=qaf*pG-J zWVos?d2 zbUU3&UmD0p^hUo4RlMY+NXA6)?FI#jj$!OUfP?*0!8N@!93K*2{(7uQBOe@wA=#fR za+*Js>26sa;F8%C6-EYpZUxfC8VSOJTu;5%{cnp6H({aNS~0bTED=Iv^>Ms{_bNY; zskj%0SAU5Gws4h@P75oQUdK1r=_j1W)w)p@-rSL;3OQd;^W-lUMVPc@7awphcVK4t zRDQM{&-AjvS$g?nSqFE{-0GWYtmqG9P1k36A< zh)}C}Am6HO5&r!N#dA@90WJ5saQL~A+>|YPvj zEtn{N+g-(2-H9mQn%%G$u?cy{U+O^E7hrq_(p=D>wy8quf~6VL)%#MF^ zaeN!*`}|xkRcL3rIJ8fQ*%{4rkHHh4X!y{yes0d)HXenQIYiaR{q;;CRgidmf0u8< zH8kc*-WSzvUSFVl?sUy*E?UvHa0n&&aCoUax%{{^qm%60)_kV!@Ydr(k+o`56pvLN zFZkBzOUx5pZ^QSxgU?+?wZfH&xpNkzc^ziTeN0skMs9wuko*1eRJJ|S$ag=m`5Qrw zvwAZd@&tQ@jP#Y7)xJ$8vDkD=QT|7Rw;jK7Cv^7(wWo_5jEneWaA(y?*@v8Z>FgO~ zMseML6RQnkR$E0~pBP`-h}5t~&D!&+H(K+khf=RqKX$neQ#4K_mnYAGSi6K_?K}!F za%kwTx<8ZU_4w5H-0u|k>h9!Q0%TNNabKE$&ikzb?Je>}<6CEfgEHC4WBHz?^(Lj-G=}*^CQ)OVcD|eUzTJk2q=LiiPaBTA zt{y!(HtkRNn)GY-H)jFEY#%{KTHcI-`PU#H+`Jy-nJ30|9XUSRWB&tn*S#&6Rr{G| zozt*26Rq#MbR645h&i^e-3DH{r+8i3JyV9)j1BBI?Xyea-~So$n#@vDF2x+|mJHpvT4 zHP1?2m4a*ej$T}2$#48nR+cC$^4+@D%*~&~C&{hZ+99twOb^0v%&7aMdiDgEx1;qx zjN`0pVTQuprpn@!goUicslp;c-9t*A$q5DWIg149vz1jl*x68Xc&YFr*qK<$`zF?z zGX7~X4da~4`_tJvRB4#7s@*+XXiDT>^{r{-Qx#%#d^cn$bAqIB1nZ$I%g2Kt#R>BzCB;dmen~n&Z-L*{t*RZ9DNgE>Gyt@GUR$rL{n3y8gq)faPmBQilZ%^29^51T}5vs0xI-R*Sp zP8$Z-Te0}}9PMxGm&T}e;}QCTJbYgxF*EEV>ba1t&I{%hM86YK;C&Ic2nEI1 zF{#pp!2;s=VFvcpbvZ9vV`+R9vzj59%?psc4;`J>WY{hv6O7rCxzO>4p@^ld8H~wB zyT|68OwmM)%mbacvY{SOpvFfTN{ocu$${Ikv-oj^rw{P#GK2h2S~}<#)Yyie1Fb*W z+-r02Jg}CSoR27l;uZsaic6tDke+1X*+Q#vppQD~Nk^py?P-}?;Ll9J=_PZ8hi|Q8 zwW}#~3$2moVUVQ!;R|AG$Q>$S6AL|(^sIOkAoXymje}i1A~moRBWm=l%02g$)t*ah z-(AA4t(UPpYYb0e-l@m{z45pHmHUy3k3EqYSKtq^(;_cxY2$87$IiLvw_ivTeM9+A zto9D$O}(0|stUxfeMl}RDnLohxaC&&e{@UD$ zYVA|qYI`bf3;OzOuq>xqxVN8Q$4uoD7s!*TfMzb&&1d-!+eJzPodx&qG#8e}hVRt1 zTgXiI@9yUo2FlVcJbN7r-o=iP>$l!*e*$nEj|7#En3 z$BwG6IPyiL0$eY5jl6OJ}Y;dv)p_IJ?c?QA)XxLyFD`! zVwG1pP19c4c#ZGMEecf{Ytz!vDx)56B`A35mX^>$hZe0*-#-)8UvVDq8R;7?#j(u8YJ;R0OJ7wG?E|1$J9!3G^pe7X ztcg5alE{#i`&u^Sjm|z8Qq4VixpypMAKg*D#O_6j)h2fQ&CkQnFZ|?#X@M_T`#$rI zD(1oGA^O8J*ir^F07=nnNai_=XdrreFh5mmgiiUl z%RxU_VY`Cc=l!0c_s3HKjG+-J84-q}CwA`V ze7NGPP0ymCsgv<@p{_%EuUu$wCW* zQdCR_7}oFX{9YJ1Mi6?1CV)%*rPW-mTwEm_>h$O)*t)5O4*b`R_iQybAO%Ubp}67f4CywG!@9Scq)YUP6vq=^~R zt(Sep(Uv5-jR|8QJ^x{VyfJLeC51`ZA;>VD#pzdlUd;y?KOr-Vp=85~XI{;jh;h=i z%-UqlZ1m+)zAJ}9R_N6PDQ=8e@lbLPZElS+#YPb30W-_~rEXi@Zcv?j5e50WHkHwh zX>U37gL-bR?iek-RlJChGGAOpT}GxlhjVSBd8=RGM~xqP=bxZezYmKfo|DT;3yy>H zBU1T7E?QV8ni6he_?*hE?BC5s->3|vk{8e>`K2Hjc1wvR>d2KpL25BI3BDiOzT=-N zbo?2F1VF;{CYn;+`C!;E?<5#C7!n?j3WW>N2x`j3f+mYt*Alnkj3IPvw)HCI&!!?3 zDayKbSTge~uSIx1+?3*m@jaXPayJbOJ~YM@7!Zvt@>UYE!9rQ6L<(=Nr_0`H1i0sr zw}vMRkUS}04Y9y76B9hjY4I#gC?;As(6Zxih4uJBGfU-Y9zFqhx~3PFTyEHGAQPPY z$5iR}j8A5eIr;*e8pVZ8!db{@+p$}^twZ4{)Cz}TspvAUX}*JHN&F)+gk)wXhqm7d zlCXak+D_;k-KSsJP$W{!qkz`@o;9`v;}8vENWidOjZ=fBSdiF?a}q&Jw14X-m<!<)eLU4WA2-*T( zmj39y-oX`62XRoiuXU~Ba)AV!Wh+Q72V-XEFG$Y*4E8HxQ5}@|KM@@m{683- znwztQhxuPt$mn8WrDdu6moaj4u!DJ+03fNqun^+>cjfQ&zg=5rC+WXP5y&Vl$jJfb z27@_xIXO6Zc{o@&zziH541eR4oh|;i5G^+|7Z*#5zkJfn!QB!7Qqz*rWta7EaQJBE znPh2s#<4X+Atg>Nc(QiES@xrKwJ*W>G3zm+W~LZq>zXJ8PCR5Y*q^O5E^ed?4> z&g*m0Lq55lI~%8KZN40fmIeJ!+QjB~T{$ydZSg#5>2%>)R0gyhS2bbk!DGpiRSUR_ zY>Kbd;Z2yU9G%Na{(ZxTwwE5450>{WyXeny%ihCs-PExkQ@PSn@%MU0O2YD6Zaqk3 zB8Ll4x>}nAHs<9e^WVped!q+n-u(J`TfDmucVO}v`WR^&(rN7G_9Nl9X*hqiDn#bF z^$dCMd9OCCY(R;N{JxQDTj&+zfFxVKp=PZxJ;I>IX>x>woUY-{hUsLV$^oL>=o?I!~MA18+MKRy>- z4NEHkNWsa%(i>>N@fUF$0YI9zzLtM207wUD00wdb!GGs8oSh*+Fvs8h8vle_IRpRe z`2FKZ0}X_^Wu^GRk^<74GMth!QnE6#eEbs95&{z3Qc@DKlKfy%;Qt=-H_N}S0B{TZ z|6c(xH#NPR?C%~y=|_)2e?k|}3|0S0DP4~M#--^4U}X_UED~9^6BF&&6T|87BD(%( aQ`{kDZV+#`zir^>-~|Kd=wwu70sjZqyu{`J literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/O.pdf b/publications/hasy/symbols/O.pdf new file mode 100644 index 0000000000000000000000000000000000000000..702cdc2f56fe7b7d3e18c200240e7b8b39e5eb10 GIT binary patch literal 8276 zcma)>bx8bhS`=TH!&H!X&L;5l`*T0Cw0$>I}jI5A&d6AgDnS#xoECB4B zfPWoGOyZU{PNoh3CUF}>CsR>VV~B|<5E2uapm6>N5)c4nVdwleAPB(D3}XLx^!@<am!Xi5HnG$`cO<->kQG8^i&7#}45XNy)XyF~3;#ScGE)P+G+UM9*`n5y-6KAxfF| z-dXo=3y&Snzqt=O?mO<@uY2du{9tTHMK;%XI+OrmBe8BHEF`~>90CoPn3x!>pD{6T zmzSDd)d-8EEMb#KAp>2ClEH6K7TJah^y|M6`?u{wXehG}LZP~ppfuE==?ej5(2~-U zLvN^}Ik-@=MFOjznQ>rm6eRIK_7(bHAqw~MwO9Q$e$|5s01HED=;_Jrs&i)Vql)yd zWlMHpMBE0r@5nm^l0!Mh6A_1?K1v`7ePN>iEg_`C3jheB97kb_)^U1}xA9 zpa$nhzUB*)gMflWihdi~gQ=j-yQ#jX0F`ToBzTGXYKguR67pmKG{WcHHjmsEnB9bE zA|F-wU)_a}RpU=hKC*6EBonZgEWMtG#AG*AtHL}x^{!ZR}65_AYm%ET>=?JXCAdN@g^oPKF`grfR zC6JAQGDrH+VA`juD(21U*%2Nl5Zbkg=#yQrdrxe(ulZn_AxY=`->tkYf4_FPOiu&B z?St#e1d2?(Ga5?r!;K65Yh3kNcD6cZ?ANu+POszRB0+$tiWUq;LVPS#mw*&isD983 zOB5o`YvK2|uz4|$Y^aBg`R&T1^N5!>48e;ZoI!rR`yk;hO=MWOH(3XGL;^&PXXIz! zUyqeBZ=}7xW)B;ZuNxnPo-xAo!QJ|=Z-c0}Art|xP#5{Pz1trQ!g@yEXH>9WgiI6m ztZwy$0a`+pswfWTUHLhJ1j$qhPj==@{zde^j<^G+1 zPC{p5XiWR75C2hqSf3GJkL!(B3Hd0*;f)q3MW6{4AubXq_?K+Q6(op&Un%CQvB`u5 zyKN+i^NAE@a|IceSHWUxGF;jp+TIuiCgSqZ68?pvF^!ZkDruqeXb1h(^G#-ySpzVJ z$_k8dQ2ySb_<7Cg@3&J2ze9(&Te1$*lThJYGVH?zpTRl2b7WQ1jZBgA(zSDNJ8OH< zm!?AQVQ0dc*OGlB9g!BxogY)!2P(DQd*V}np=Mjr#ZIi4xH*TG#28f6h2_0P%E=*E zo#bAngGmP`u2IYRey_~gx;z(R@Zb^-7pEns0%^6ZZMb_y*5RvYk=aQcC?~F4u9cKg0vfM;Iu9<7I7SF7(8Go=)w7 z&t%8e1Ri6?WMBGc&j(=jX>lF-eqp&YGk8eZ$bw3dz=>gH)}Ch@JeMEa;$2C@J~cf@ z`_R6)TYe5?NgYhCE}7`fM~A%pq~!M4n01 zgzg6a;yRNZGHJBHxx_pmm7 zdFfgMui8?^rXA1WK&)5JqIxOP=m1WNu<}_!l<0Iv{qhjwZBeqzgZF)X@JkKInR;N7 zrZn#~!q4sYtTl^%H~0F@!}!x>6M=Dhae1QT&8~rce$?vi$gkiQfkszdP*i>Y?M{Ek zJ~cHoIj62HzyCI3FWSqbw0#bC^iFEOZP_HbO3LeUX=F^9kF6Jtq+p7-`e}_*K3$h>xmGntRjeZ)t21^a#u+G_ZA?K&NPnm?M~w(3n2?xt zgwVqs6p=W7S7W3|uBPzwd^>5H0`m;yNlcc%Q4Z>#>YQ`K3 z1}4|F*_r|GWumjGr;_126Vk0Vp_>>)%F-vl9y0obD{HU>pPq-?V0n+N5w&w zcu$JP&t>DuKcIF|8qc`?GWGfbA2(;jx9R*SjSb0cjSUp{R#SY-zkEG}pEt4|7ObeZ z?pXbJMoNdrl=mCL;9uT%?o_O=?*01W_EVd@yq}#E*Q>A9oz-rNpnE~@(xoa5xHGOs{T}7R&%M=49=u#rVtRW%Bu*;ua3R&*@*7pujyGhRkd!&YsFq-l}nQDA{ z(u=|Nbhjqf&UaO+bUE?Jv-`Trc51QDtbeMtXL=CI!BpBfy)Lf~ z!IbBKN>%%p*>xiT>W-6RE!2(=2eQ=X^krd}>Rh{eNyGRx07vrtCF3bOnry6sj$h;z z$Bfrciy{W<$x>@5fgO2uqWiXI#PAqY^6#@0@*(&OXEaAYnJUw6a0xb4m5q-sf5@U| zy@b(h>X-A?>5`OUCLdB)WfE&dZ$lVk!sg&7Gzdt;dxy8MNneI^9hbD&1Q)nh0_U9~ zBuHd10|NS7{#?W8GmIH@TlwHN5lfTSqZ{4L1n=*}RY2bdtwGsXPODSk6Gh^+nn7++ z#Ng$rI1b7SKw^emq@lTff@<6=A8cc0zkgRV-MG=>ruh71d~l>ruv`zH)gT~&;83DS zetZbu8KC>C@*({65z$vSeUoclRc-YXBKlbc!7gkLVd?%AOn56Li4k}<+NF9%Gmy-m zv;(b@FBz71vQ7D?6>NFHofWkuyrUa&CESLQ`^DU#Z(;D)PzrW7N8h$QQIvAVH#{ba znsv22VOX!#=>FzXJuaGNab~+&8Zf8g8-d|^jFI7W(w37b<*r6dywP*?G`I&_xc@=E z|IB=^T!0;M_A6t?n69m~g2z4O+p7`0H!EK>{_L};Ua=ZainPe+mw{tP|Apt1GZ%jG z*&828;K;7?QxCvag_DVKk8LtLUS-xl{5knKL>Eh(KU$&7v^wCOo6pia-@vKTEf1Nc zZo$1WS|(wRA_BA$-s?dXqOZj5SAm21t-6PY-m+ax|1&f8HMmz}{kF|6W$^E?@na_c zNkb_H_aMO~HKR}y&#%ehoz`=%;xXULd_6lD&I<2cye}8juOPnJ+I(wYDBKT013R3g&y{2@I5e&THc5QZI#9 zzw6_Reqk)$7FZP(m%cG=w1m)CjE7)o4S7d7=MNFZ191np37EURF-2Wy8d1m^RZ&5% zZMO{jKt;2DOqc@x$7bG)bUKQ`EbVQJaz$oHc7?)!`qk$rFd=-vTZK%{~`khn}byW02WfQcM;2Lkb`9t6itpq1vp@!rQu>a1$2UKv-;fZ73 zp3<0rdnfMt9(C8rgpOdIXy>O`St@3D5i~A{;?f@}{F?sfPsg!%Y7wo|a-CnU!x2)9 z>60JXWp3to%oCrD;Y11AoYX>r5fw+6VHD-52L2lV>QRk zcJin%tO{z+zJCrm#tZ4H!Bf-uctQQH{HsIMRfgw$tq#MjKEqQAs7~8|4|4Dt zX2ObOo`Nb|se=W1+n@_}6dRv*kVaCdCSt({bQA9PjQ+)t?Yt?y(-Rn?G1^;yEi5pi> zI*u2V&eCVA?AzS4dX6Zzi=L$j#*GfsXny2?5vUNVhUEeZ*ogEiytu{BOz~)-6)fg2 z14SdE`Qu}#NHzXwwaN*!4$Ha6Eo{!V*+Nt+vt1hHPQwX&Z|!s^f4FCm)VQfhd8hA8 z^H82{s*rZ|*G%-i9Z1k+UU>i1`J*zSdq2AY6P>S^QK7Ao^RN8q~y_d3V zrNJ%Nhy<5IR+AlKk;E__993Fa z5e~_(h5fUR_OrqB_2)A?Hlkd`=Xd!XZ2vOpNn4#&#ZsvPHq8B z``J3PE%k2X2FA|31!5$U(;#V8-(;p3&SnV)W7Bs=L&u5c63KCcAXV zfTzj<2@}jaLzBc9r5xrRu=(Fc_I#|bPji=%F0(r7;U)G4OpX@0F1~1kAAfLQ+bN;K zF>zOqb*jrFZAUWKXcYO~bIRymTN=a>C#)0TYlk zf9LV`Dk$%)q)`^v!kKDbcQcg2J8dmcBj3w$@tjEfbf!)+&0Ra!aP47dy+e_~@Hk_R zHs0lh)g%o-q+ zT>DPcYgs4y6CpN*0MeU!Iv83)%J=IEu5w-tA% zBHtvEYQ1j}+n+)DS&1vOH<0oMUz+2gkDY79VnOm#88$slFg4>F{?P&5tnHpc+_{E%`a<{Tf5p^FPNI z%u6}y0pIXypQ^nmCRY*v#w3xftucLx+cnw;fzTZ9bKtJNIwLsa3insAx^Z0kpzG#3 zyd2ldGLk9=3cXhJkoIXmGLHDk$Rg^O%7}L_q%^MKr%MOEJq@_Zp;7zl${G{%v7J7s z80{WoQt-~-n6Y!?^^0V(Ue3j}(Yo0!Tt}LdIvs%{^ie4x%*w@4>-(G*zev>i1)aR= z!;3~8-*mM4#b>J7#9BlT6!nFEFHTStCPM4O;+JqgPPFna47k2{Xe7H# zQhtl2^fxb(^7TEG_AL?9`^>hxxoDVhdeddenUNeAl`IVW*~WDfNsxUs<&!2o2+_D( zt=n6W`BC4oMQ}(*mXrGJR9^rc!IMA=te;3>(#vILF*QwDTC-tMz!vbzIVP=OWQE~EefNZDNrU}lT_`BxI zjB=`qxzU!4^w_uyn=HVy@BdJpVx6LC>vfNK)~ouuLAo%r4E3w{#lOhNhPmS9D*=v_V2x zHw=T_?}^kS^i^e920V3dPV;Fdz&+VTqWZS7;mgXp?8cbX^UljVOC>DSIexvJAP=4ICKogiaVd{^J;>yrNzae zdbq`z66zWY@Rgb@8Rd2PY~Ag~N2FcwZ#+9*$>t4MIy(|PEcO;9;sr@H>0~xc-~GYM zwEmQpW|o+)BU8>ZBv}YoT6qQI3L`m+z7T|ueU{HOzzM{+&!bzm35-mLFn&mxM#q_7 zb!KC14I7jQ@fU?a1=Vz;on!K_wihBUJwOCGL%ZPTsn43N;sZ;Wf&Lw@+}0=iNA$YF*a||Z&TS|yO+yS(2A7dn%4Mw8Ls|v5 zCCgA_OKTw-*G{$PhZ%fjd^?7EO(`RF@TzE|RDm~|!xxHW$Fr-)A24RM6q_HqTJnDh z_u?9fJuH>&7Ecm>MBNL(aage*>GwRV(AiOy+aq6bvEP+_BqI5$I9U@POBTP=%)o*e z&$l8#82#gq`?u&?>01{-l!5S!-vHW%Vr~W&_xLRB<59bs#PL%@!7dAbYL?~4QguR@ zbsRQ`k_B`yJ3&fm?Zy)le;FZgKSavWO+^obt~db=oU=Ib|-R$;i0{ zd&b|4(OGIVkYwEH67$#)Bbn7mXF&RRVp>S5Z=>st3p2q0yfRKXB(9AObMx(GCjf*#>XGyqEi&;xWgQUs zKWv?X1H{DH_}v%M*qNBAm}e>2eo)Jz>5-;ru|2Q{!3W0{f`o;xZ9ZmnB@5G^g4I+}*Sbd#!>d!j`Uiv9IU^~RKfr?0*3#BCz5(OPE=mF`Ox%Hb(RZU= zM#wfRdMzU(rQO~SI&>%$stHdJZuPz!*0sj~MsLWU<>GTvA228FJP@u0D}j>r=uYdb z9tIB)B+OFWVyrJ6Y|~I3zal=?ioH7~d11flahGxt0Fe5zLStApTU;O?i?xk!L6{3m z425=Baz0W&7n65I{-Gt78Z~%nI1qpz+8@l;TNP9CCoS;o(f?BHj~%GhR~uZ@YLa3f z@}j1K)CSGmNF_lM7`v0FJV1`%6+&fRQb$E0O0|6fNGlltIU%xrHDlj4`&%To5?|{* zFD>|3pV;cELveHMI_SuyG?&Yfv^u3ekEFVR_GlTXy|pKi{zIr@C#j*pl6+W)#!}$; zTuQyrIGR1E?kIu1#Q=pjGIBd_=~&C~&s&ge*9fJTD1j(HoA!rhW50ej5T=`(daU7I z`ab$0VNS>YV{3!{k`X}8C0{E}*b)mQmcan{AW=doeUkE+#KG^z`@1AiS*@*n7laB{{dEXo38)> literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/ae.pdf b/publications/hasy/symbols/ae.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ae14d282676adc63ee82a05a3bd90697f85b2bf3 GIT binary patch literal 10249 zcma)?bxunb@WvH+b-Z2|oJ0A_g$M=N)0ASXBQ zUl)K`(#GE1!WGCYX>a0gA#P#jWNrZv6a=`ryIPny0K8Y(l%=&;l%0RGc8lT3p#OA?|5=YFte8gJuK&}g&o+Y*-aG72lI;=BkPts}aRvYu zj^_WG?yvQa6z>0!1OkHCINAR#kQKQoP z34+9s7RhH{Mzn=gH-V=k+eU|n_=4R#iG%pFUUGxzwuUlsB?lG(6Mft24GT53HXK-R zXw0n)8(SZ-yqRl_8Ugte{ZJWU^qzz^GrUTLhED_))ym4sv$hJF56Xsev=`tWQCJz0 zjSi16i)ae@y1}B1V~_OogUu5HT6vA&=oWy6`Zd838swd z$9TM}NF7vH z*f|j?U^YnXLO%Foxe`bNWTvL3?tm(-pligz$o|#e(@N$}7sh@zK1O#|MD`(-@px6l{r3PeXW>cjjgJ^}y(*eTTe& zNmy)>?;<2PrziDNAz_Te+vc6?)e86RXB z@WLG8!>NpEpLwQ2m?1yD>Em2OIOH-62-zI^_CipATCa@vHJlgQ!to7H@4de3xr+4@ zHmZsgw{TF9X0W|i(G&AlZsYjYdH^rs1B$D3xUS;uP&UqZqs0x)$hy{{ptzn8EN zI1&4hVQekjI9tj@JZbw!AFc*8Jku*WD^yCJmkg!JG#+ltG8&r(pZNtXg8MT(D_)dV z8V9rls?P=7{kM!Yi@4}mi`V!%{qx_W_QzWlCJ*HNdfb(!m!k)5Y4b2QHG0tX`hPf+ zZ>?iQAUDjbxboU#f5y3R+ZDj;P1;K_*-dzBW{;j>hWM_BvA%KvhopZwDYao4)7VOw zO>;zxJY3F_5akDlzd^Z#g-w#s{@Y^8KhL=wcM|+0-TfRGaZdWetK~|o&W3EbqI)>c zwgRE6m;evQBJiYGPpFq}^fU}3Q!1&eYlkTrO1BpXU7+h!o0?O_H)GS(==0$&YkV}u z=o}`zA9&=RgTD%MJ0-u6&N<9d~=Il z_}-NLSQMLBz&zJAI>^TZjgaQ-qM6x81W|W{QFpO5kldJRUA zVG&OWfJ7N5!-dZK+izf!G}+)X(DoMI{FlS@-P7`ZemV^`MnsZZ8~dv7*4au^Q!!SR zg9SxFb<^;Gs*~De8k=26C_A*;pJLhe*$C&_q5V_D<1@|ZDZyQHrv&MM`P0Cf0FLHMmwWdY--<#<2(Ve`> zs2H-7JpD(gkDU#}c=+!ISsQIH(i-}g%1bRq$hSyu^>PKYlc$_dT6svK{y2<4H{4{Y z9;P-J@wXAhC^YD}%i(n8M^$3dy0FmY`MEO?YSWm`7bhqRF*D-coGiVCEYNp8CWtY) z;uBoO_fpFgV2@3!M%1;iuU?A;v*NApvGz4m6c&}(JK?T6j|mG1>EC)3vgkKb?x=vJ zau1RaU$QAq)>-izA?-sg#O1}2xS%o7uo2}}E)|;6rhpV{x9sd8jd zcE=yO6@KAVZ`5wQ>G}vJu`XG3aAgp)82#G$qNj5GF->rNJMPRt&4_JhBo#ou}Pwm&V$ z_iS)1C%eabGjM6B3~ZSu6*m;M$g;ApUT`?~dxN<|t9VOmqK}5>cR2t}9eYYc@Wc)G zUYxh}b|Pgc4nOxN6eyA8ygm7-g;rbqmI2nF#S~16+TiLUwX7; z0lKVQzch;^j1C0*)3w|M_4F6>j+%05X{3RpKDI{PfS@6ZJ=qpv$em|+u7~ojD$RW? zn=43rASDY_r%0`xNNEUv;aH!IeZ#XG zQ;#NRvm*VN33{Hho;o3~$W&nnIyMMeo1rAs^P6iG^!ynwxFNbAT|vk5!%6nsywZqY zFJmm+@~uRms(wIuWEQI*yu>OUN&ZVsRs7f4k?FT|Hn5Hm^p2-uSAd}N>Q3LZ<~sMX z#L27M1@)4hxX3AgZU4Tme9tp{!JcnK@p(MMAG037H1v8D4AT0mqE@F`7r2}Un8qMt z2+_)#qjlPy1-p%ZqqzKNmIQ)Lf8%}Sx5L07zF=pG}4NoGRIjVSA z)KvVCkHe!7o9j-e*JZ!fPwyf1C3>VG+QDl46F0Tcx?iA4c4O3BItCxfn2FDNHsFVq za>mXmdhueC@l3M%p*9W^aBYW@Hc>WZI7dh!95Jos!@AcjP?N2|3ymp;NG$Sm#2-k; z?UMFG7_x}6R)rVPZGF@QaYR;sTyrwKDC|_2x&31Y)6DC{+>tNTl119Ro?u?@9qZn+ z8Vg+{E;=XEJT&pZ&b69i^nY!b%_cTMpfWzilK zYY6}Zt^i24(td$(>zsIrtgm{4hkM}EJS})Wls1)LCzKpduXPVIUSCAf?{7m7;t_Ud zrPJ_;EIkE9L@yd(1s(!oI9f&)J>0{nSWkS#B1q8DGs^0IlrReGoEmmA5ElK}vPA(j zKGT>|)B_c%+noz2{J^;;o=>E0B0~>EvG|r6vpKvLoa%%iIlZ5TEZHp2eMi6Vc`~J- z?;hO}@M@KfXAG&^>6)oOf7&yCwR}nWGSF`R2;F>Ssh_hu{*$4nu5{GK5xZs!;~WQg zE!rT2^T<~&%N15We2p|sPb22^$&8Y!^80I8-=qG_7o1C}(FzSh1o{o574^#rRX=J{ zk{9_Qn3w(*O&4$%>wB6_J(_}-t?@u!-7!{a4dzuuD0>vNF9|QtzV{YGT)hO~ zs=jDKK~&K1j+~3PJMFETWuwH`1s68inSn`qpgHBpifeylK6{(hE#A)rRs6u}yiAm4 zq$*GLA$4l^=N#p%svjdBpkuq4ZPeAX0JvzB3jJy7W;FF~vT`UHQ|Qf_RV^2&mO_`LsYz!&-uSXN)=oua z0nd>rl28MqW3(<)^Nd+EiQ$A$4HC}#_Y{n-c|}ZN)!^glRC1s`DV_|F(u|<2;d;ck zpz}vuh&p+b66fav!>uN6>HSLuBXkWVuHgv-uL>p>rdkX19Uyw_qvA0=RfFEZS_&5k1HmnSkFBtcv8WFI(J&E zc}=KJy$=y-uiqpQ5Bjo3>BVPI*!y1)aH#NCFGVo|h?7Xz-;UsDW&&SPBXivd&u#Sg>&Wbo@S#0lkPIU*5}V>v)n8Y8(6P$CRXwQ`B8R&rHl-X>dM ziaqBN)W?BDlS74m_7i~@LC!rLbVu998(rA4jf<8~AlULAOX&>b2)cs{aaMEJbBOd^ zW$d93x}}Hz@U~w!>2=OAa!)|~hMdji!FmbAudho>o6Yhtbl7s%wh6b@7spkem7^j)IL2X^q1aLkpu<`bwapBe|*w~f+w~Q_!#0CCG z^jScFi&oW=;Y$b!2s38N1Yx8uu5kH<9kE=oG3WPbT0y-_;A6ur9^Vt|t#Kc^&={Ks z9x=&Nx4UYB5qF!GQ8@UZY=~H3p1NQ!oqso%|Cg@73$2qlm%jDa065trxpmIp8Uk1} zwO9wcT9s+P1S_4lyVnulEC>8kFGVYQo*^i0wd)`2xilvWI!3h;B~uKyIkw0L6Or_m zFmbJ6CCb#6A{54=91SyFzk!QEX<&*^i!H}D0~7)JLK?L>T9nP$c7YyN&ohoRs3YyG zroGYBn?4zYoH`*$=PCG&-`&72eBWkc+mr%$kN~?$m)V)iR z0ur#JSxVmdYjaB}@cEmE;B8(O`Nh--3}DgY^ddQImnGm;a073MEo}hL>Ar?Z0o@p+ zVMP)>VNUu13@x#}stgSnANRv0S2114Y^D0m%0?*1jS&Ka?XU4IT&wa6el}>~vtdPN zdEM0ML;)%+7PQKhhMyCgGj0UB1$}=_1k$W&+4I@V(abhUs`H0RszcmuDxH^C%Wvqei%t#2Lwz0>W1d-c#9iy9 zcJ8rA811KNuU2-PQIhVz5R1hDEl!~VnsENst^0BGnRsP|)yx?}yg+frV4Uka4$b#% zvjFz`T45K%yv&s+5lh)_9oa@2L)#xg78#Ad6s}4mIRfRILV7lr2Vvgp!wQX!9 zKfXOss?~Cm4u;KI_1dY)po7}CFt)jN)W(}>bc^U|@$XZnBc<70(6T`mlq8H?m> zTQke}t698#Cty5I#c^&X35}t&HZV9%hk1xJ;+JJBop4`i&)BwFtZ`-g^M^XJg!;i> z^yV-jC!UhG^%bUYmxD?UCsHH_gFs+IYw5cdHBOqwvjYysptm6T9x`VKQR59tyNT^h zbBjU8rM3KIS2$u7e8vNjw-hs-CXWR_%|n2|EwZpsl$tR21ce3T;n+7C!hDH91&#K% zJ-6FVZ+no>$s2|9j220gR21gsVS&hJmN2GgEu6zI()JX(78eaRbJvh9o$V8iw9W9y zeNh$tjS(`C>4E1R%98Cj_jG&S+8rf+V*(dgP4dT)21$Z^S8bs0mtptd)z9*C^P{=@ zlT!u*;T>uhnQvS3*GJjf_&SlHYO)UB5rG4qSndMq`wa73Q8VHOY!fz z{#pm??!De+x{Al*Uz^eS##+r9aP4#;ZMx`_h8$>jxN4MOJQ!|lvJ4yr%1G8X2*?(t z1lRME1qCr;V>9dX2WQ3yb6^K$^S@qktpEzON$MCDgOTdnY%B3zV3DOG8cAo76O@+nRqx!2{{{eqZ)_v}!Y@WuabQT;bo>m}FG8X05rps|7n2 zCU~Y8Qur)vVIJuJAh|AlZyOe_b@HmJ68a$kJMXOwdHX$#UEo-l%Yz?lDF3dTZncn< z=o_NWNA}%@cl6~5s#Nyrb_uOF^B3;Y6ySVqBlBIsv9ef#ysl*oo5gJhBg;M3D{`~O zQ3xydHmI&t;ofFn$=tuLEneGf2J)2nj@kCZOg+_WK*WiKSoBK zz^w6^l$B8h@8yyAQ)-7fVfqcX0UO45cm=iR`H~i;rOWeGc`RiRs)B4K{cabHK8j6c z^#J8}GF%=-&37?q4JCbP9!b%o|e7Hv*jo6pRUhe&5hZ-ol1|Jjg zu}Uv!-I-GzTNIDYA9aixJ$(15^k3;JIah`ZQBW+fd0VQ%8d z{hJBSm!L^9RXJMtCc^Z;YjhOt2o}$rU@+8z$XCBxmWk3z?m2(;v?|-UC{`x*IP}+} z(KigL9<0W)&{=<5*1ukbPxp-F*LX(m)AOFxe!w>fnl*N@t+ZtRK7Z z90i!Mg;9{S{l#119v4kYuEr<5LB8c{$)c}_7xG&3_n~@S&9+%y*X)4Z7*4pDy2TC= z&J*F5hTk0YhF?Q$(~ysYv7c3rX}=2^h8+q>hwF_Ej}UupBw}o@!PveWN`6q+*zB9> zFsGPj93ljbYuON+$oqnDh6>_TV^PJU0w zw=Yupc~+L+ZjQ7Vlc()PNX9}{*4ox_5id4|>jW72t2r^Ek3fCQxM^5*TG6zUY(~Rn zF?qy^SxyQ`FZ#JyzQ!NI9LvFQUDR@wq)wtTa@lZljx@g5xw_hE*8J0#B>pI82}@Zq z(Xx>KEwYOUkG9-w)UOpfN>{Y$Tl0;XPcc{#;q@yLSiMgeO_Kv=k93Dt zRXeq-?40H&m_C0yIBnW9RbtB!Dus{WGsDZRYDkQT7-E7Y5K=9Xz->Nhw?MLj2MJ1c z;w9HAC;FO>V(gwG8aF@|-nQbu1rwqF(T@bvTq_G+-fNf^eac&ySkzTPJ7r9wNi@50 zBDee2>iueATqb3iVP`6AnA`Q_LVMrzUhjyf*J|%J`&r?QwJ?^dqJs;$e8Ea@_4cIIfqXF3K_n355lJ$Vuu zyQHjAV^Opy&}i(o9+ltOIcPliMx8axb4SixhlJS3c@e9uWKIag>YvFz{u% z;@PMfLMqksJi2LMatR0DOh~VgQm(?xzInM^ryty>($|cZ*EdVFmBlT*+F9m5HLBgT^~n5w7VVYt@)`d zDRi(Y$rwtZeKJ`FZlW*9Ke1v>sRCyZKyT*=p#3dV&~nS{(r@pYzAJ=hAVjzSAcrC& z6R#CKB z4ShDZ)lhvwvAj*Cyna?+SWD7~`bqVDSY4*YI`*dT(ZVHmo}LCQtwyN0nBE&8-X)Jt z@yskGsVi$;^@t%?2#c)@fLQ&jFU#}1->IIbOBQ2GAKkJvdHQRv@1P!jl4V*kzmQg1 zD~H!uq`FTtrwci+Zk7cw^Z9h)I3~hr;Hg$ER|z} zGgXI%S>NW^kqauJsX=>5zz;f|nD~;vV z)25_RPU+L^zEl`&20{-#)4h5hQZnfr5}WW4Y@D)l84#sZBeQU&?p?pnZ?o^DMS4b! zq%iUjXd}IG)tbVC-`xt4*Ha{aPoBhB?$%oAdaVLv_*tKn6 zNK4W_@aY8Srtf??<>1!Iux3>WE~hDpzWml*&T|O9bSz^t{YIJF-1VB=wWA)#s5=v5 z=q6yiIYro9QSj`2k9lzr z5-?v8eLjIlZ8C2Kd^DE`YN6o2RYeJA;bL03_MyIM&BrlWE;QUBLAzE*@@8qCcxd*$ z{gl(uFxH~ocvnQa{DsC04fpC$=5pH=YtR)Xn5)!XR^uT_&yRPI}7Kwb1hbcsynaFeB*eM)On8G~~==q{jCGPrvg zb zdu0kFkOh2R)bnES2dq9~HzZhe(O8a;3i0f-hdcnCPT&YBUi!}Gz)Of~>b8XZRsV)S z*~`fu;%*<}G-VT6l?RMWSz+gTK|ll-vldSfZ!dwx{H<1iZtG?MomGBMqZ3lKA&;dW zh8F^x+pAoHsKu1Gj_+Cwh%1SH8zzZd#7ow`Ex?D$--b|1G}GtiX~dPts#(&M)tHkV zp>2Lgr(>cFlkKRSBA@V#l3DiqlpG%p9v$TSdO#&)b}*8bcGD!bML& zpQ-p1aG7eHEG|?%d7dmNAxC1l!ysB{T4T|`*dj(-#uqLXLlTyA)p^V@&7I9Y4Ds?3 zJEaqLnk$Nbqj-6Y%Vbv2?d8t<&M8yP3Oh-yvstQuV6Le*p)0FmpsC9= zzZQ@pz*p9Xx3%+-!vbv00 zhQo1@`C2pT56Nt4b|KqS>obe*Ia+OOb+{Wv3hz78Gd(69i$qw(uuzS&h1q#T1(v&u zXiad$-9fQ*3Vng}Yee%&kY1xVZ8t!V;O;bmm}SX$)O{WdTxBSFoYRn*zS&08jsJqy zYl??fXbu30*Zl&N00}z}F|g?_Hf`N5P#^BH-2<7xtTc$)@r&Hd1c+^wC*Iff<@c8z zRlBz*fuC0UPd8EKs|&uW>Sh-s7dBwjA190qFq51enEM-H)kr)(llIW6bib;2yIM%& z`&c&>eI_br1%J%_I1=c2&W(uGuQ3=g6I}surMYa$pK=rt^Jy=xsD9|amdDPkJU1@2 z8a0crQ_bPLJE{rsw74G!a1ZFI3{VgM{*)T~d%1zH_YpnOX~&eR6h#<8?%~Uh=I{fY zt|NQN==YoPCCL%GOJNN2sfq_2kJ^zASCHvU+u|y?gY5pHOTKCcX+av}7j>4E`DZ(P z8oTcJ4jGrSo#m(F`BvA6>)>aU9u&qKJ)XWhXeA1VfS%b2N-ygjjiN?4Nk*d$`VVb5 zH6(ajDEr@=VH*e5Wu@=^DVCf8jRDtUobK3usx~trk+#F0hO`01%d}w&q(O7lzSFe= zVOVjz!^g?=1x6gkDedwZl?;QT!s^R~1n<_hXdI2C9w0qzZ!zKLF9>!-2cvw?jRthD zuGUu>Qq@{AS4nEYoLM_)PVBa=gp9ZOab-1kCngFi>OO= zJeR+%(+O13sr)H?K)BBzBykN-3!@%Ij_e%Ho7bsUUk#uChLUsfnO>ogtfPN}@7CH; zIOGca)XdoA+pBsPH>+qmB+@^%-bIKrAFhx;Okanze8wnv7(2$nsiIwsxgi*9J92X> z($EfKDk=0EuW>qEoCcXH6(tbGiP-SXR=_80Y`aW=P9x6uBJ2(hy;fjDRZ%wm68A9ts}cm8(&+qH3W z6#q*E0cpf}Sy@2rAP@^DD+>z;8#g@*h?<3k`fr?qlllJ^qV8(q>}+BF7cVlgce4O6 zE2~RrGf8^b+nbs=I{u?Y-P*vU(6{mHw;DdLB4jTScE}jj3?XTiXS3s z7bY&IohFm?VSvCr`sGkj;;CGC)(FuyYXxs7q$VkfjNy5GfT-s1W0BBc?oYqg&xiP! zNC)v&V0r<1wDE`N*N;zgF44QF*B!zZkZ&aAO#e?9?N;DjHQI1zLXF_&wc1ko~lBX=q3a~p}0@kwV z_1ns2gj}EY(X{XK%>N&on)N^4sJ5zwC4gDR(cHotsK@dbB{KjptJ(Nk{IvkgT0lJz zkQE5}+o$T}1uBIJX3+I48^B-Oj@yDIp@sDb6j% z&dDkvDIzJs3K9hV?;(G){0p*U=lTDK>~IEqa3Ii;VP;m);o-A|cL>w~E{{%dEfMrU w-kHjkK!MEV4>cMBoT@%(r5b3{|6CL|cN16lzrO=Z01pob2tY|Gp(F|TKi1%3{Qv*} literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/iddots.pdf b/publications/hasy/symbols/iddots.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9a2f6401baf424306c158359b1f43b52e4c63780 GIT binary patch literal 8163 zcma)>WmH_jvhNA*?mD>3FvtMG-Ccsa1|MK>hXjY<8raul=E`yK2|JYIm>w;YY6~CBqKn;6(_%sGKr(A0bw508W{YW)LeWD+^~!D^w8?RCkD*m6;3r^}`0vd`TsE)?!^ z&`CndqIdWqlO%&VtcaQTAR{yVoxCENVt4|6xGe_j_#!qZf`u@eJKk}B32{HTI&`{* z+7KpKlPV6?%E|JdZ~Z&_ha&L5DFXt4AOY~dbaDfD!QlUE{jK9)8vs5q59q%u_|FBz zdLe0jIcnewX#!|S6)8xW&dS@;bl(|kiy_MgsU;*JnY;N9Sh_=znY6`{DzxyH7@9|sN%3U0I+NuD>W_tHY|_0IF3v9ov6h5h~T!1tsM@Is;a8lCsrNeaMy%= zJa``(mpCyCFk#$9&_K{WJKPO*&ADhb3S3)oNgVRAb12FPY-Y@?PuI&|zZ-P%Usc z_JyOeBdHA=NpVX;+&sc*UG;js{VR~s$rakXoD)R{JY)*qCyE3r-XhbDy>?-w3+WG{ ze|B+?bSQuA!`2E4JR;u&e}$JjOifRQ$38_2^A)F%p1@1@Dct%Nv+2&8k0eUPgNo6_ z*!1pBa&Z7f6o!gz5Ds(DY;`L@J*5^W-k{p>cRGl^L;H&bXmHc!(k=rv)zMgRsyI(H&w5?7+i&EED!3VN@vPahGww^ovpBFct3k>k_uerfBFvA@Z+qIPbS{ z2x|g7vcf&=Ti(O#=-!*`)fLkl>+D-6jfWRenu+K7M$p?ZrmJ)t^i3SQ>?n@5Dwr~= z4*kblgnn<}Sq&w5gp1dUb0s0BgdP%o5nS+$gsH1p!o9OFY-QYe$N)MHxNOIH`FTDo zhcg=u7KLBR3}-){ID`oK+Jvt^RXhhJ9)~SB>zgt*o7tYrH$-oa0TjiXNx@$UYWT-~ zPg3-B!Pw}C+ZX`!Jb*lme{UFXcwcuwJsA^CjMNq~hnU1~)z(fDD5furB%$uaLjB;VofFqJ9QX?nPfiWlQnmQG!MWjnAw?4wZ6 z?+batZ{uh-%L<2nsTz~du{p%cF}-*aKMIE-QrXt*uo3mi+ef&?HLF0=Qq+G`iUzAusaQZK2Va?t?} zzE<)j9JDKrSDbkC8M}PN`ZTRZvNy=#Et}s1$h(Yv@1TypYE!@=A0cI<&+#* z1`-gIom{v)2q( z&GSR?R-6Tv8J1;3zinbI9Zb!lkCdmcKBvenYIzbP$xFuj^^44R(PHF3__Q43bvAnH zeTuu=wH=;%R`trkXCL)i>+1^fxo|5jRy27&Y%}=|U5v!#f78xTYAs^uP5;??YD1O0 zFus?>+dWLiZBK2_oN~Bm&SJvjFVrTmiJ6m5+>Auiyn5Uqx3*7t+283a0=<~+I+@q8 z%9U@8VzNZ{=LzVsUgq!K{5j2_x2w#~Q_Z4}aCXp9w{Ni3Y+Ajt6UB1PI?&pt;Ft3z zcE?0YkFonBpktkognWQ*mAvl*U-KeKk8gJ}m{3NmAn)nfmNDVNk-s8b4t-M{m)O54 zSab=Xf^-Ns)eN1niO{tgi(Db6^S$gS`?SXhKN;|Yzmyo>HoB7~7*Qo==x{jep2Wvr zAK{WXEA5Z-EPEJWHErX7o`ZyG2KI#XTc~;R>!QYT0IQp}o z$WHGTjNjjy7cjB9h~sW*wKS33IcBzGKj3QZ717ZCXp}MDWqMlnWG3qUl8V4MtZThp z{8$yUaFtNa`%BoPN}Sxp#r)kJgA%0jCrJNIdg)Wib4|s@saI5aRa;G`e40VeyiRb= zX$q1+vLS;5+)6W_mAz=_{c?-ocl;IMP2W9lep@{IpKxvp&&K|de^T#);Wia2XdC4v zNc-#)`i%u&%e6)Lr~1%xLDJhu6sBX==# z@yPSL1^cesp6a5SKbprCf!-tWPR`Dw0;S~a?dX@1HLRWgvxzUthEg_-ra`7W{i$QB2_;%eE z1M|A3eJM0ea1FJ$*=&X_Oca>p@cv}bnzPFdmN_c3Q;SSxlzR6X@KIES!*8vp-1xTh z%fzHCt>Hv0hi~I5pHPkAe3M-(QMh2JTUxDvB;<*zPKl}{vj+tK)P>d6-ybv<3*||z z7CEr6d35_al*@KKyRgcghrG6hk$ZmYDYlVQwG!lO%`F0(e;Js*O)h}=_m%#d*{I2 z1(k2y$v<>SSUjc&p}Q(ccf3AJN*}AsG?V&XQp3Mm>!02##*a5-O8)lWm9>y^Q)JDp zXe;=gDjvF89H2U-xnP>-PfjwlM|(i~^USw`&|f!BcpcHxazj zs+0-!jsl3xG87*{3&~QR`13m67wZvw)033$O5iS>2skv;0jQfKce!kO4aTBzp{@%G z`kG<$NS0qPuLf^vrt0^k7Nqzr%#>^RA}4XbxbCpX^HEdmqvCt|lDKP}0fk z3(i+|o4xzw;a46^Zo} zDkUZRmzkR47B;D%xg?RRT<8*V#=Y6{gyHyg#uwbci0T2C^y$V5dxiCaN$!{66q#Sv zt! zXP=1_-4s@_#6eH4zzLd*z4rvTooVanY2@><{zd3jxS6xv4gqHwYeW}9OQ~>xyLXH- z-p%U!he3yAULDIG76wOHxz~dk#agFUY_K=|hH*-~OFoGMrRyX)E{&(Bjd_dM#nH1F ziDlTpIB^pPOw(|WD4X9(5v)_SlHaM^h#{xj`|;kJp5>M)g6MC zWN|3WanrDFlZ>6N+K-dhgX~qmRYYcH((pd7%4&MbPoNNpp6PfOcC9Z6r35NojMVaZ zXDFEO84X8vl}u$j_B^U}<~}@9XTZpER)Xm07Lss8g-!GH3B>X)`;4Olzt7};h|`PD zRsR?k-?=wD>$VKvYO{BP*j41HBXQ>>1u~gjpE`xHy{tEjxivppjHSE1q)O*rI(Yp2 z14{us8)&wi2D%&rfxCy8E>vzV{$986(N?wvOB$hewt@Rt6tmi%;XgL-~iI zQOMfa?LZnQ`y2Mo+a_eTfL77N$euUK!C}yg^+_hwXV-8;%yNf$bh*eWBxW2AW{l~B zL3Cx0K>Lmp=b0>njIKrN9P87=a;nnB>+MbxT`R(uJjHpx4r@4(5vq$jc#ZBw=!i9q zTm?)(6}FUkvv3X1GVlIL|C5XQoy4rrYP2C{l5(ToqqB()^GZfuCky5kh;lfSdo?ac z!-0mQiOU5$Q;9N=Kv}cAJ;KIzq_2O;Y1=Z^T52s*xtwmp81!PlAYyOcGlFnYL8M2^A<+R z_EK9qh9AdCx$Q%ZF~VDux~HgHIPEOt!p0pH&MV0pv`19g zkOQLnZ~P@Nhcf=-O=q|IINE#40pOsq>Rj^4Yzd{|_rCnsJfwjODrkfOT0 zo4>*MWjVI|f&4()+GwRXeeiwS&(V0`UJ=jH)qr96$YdGhvowu`s3JcL=oEI?M)Vxs zw$2(0D`bscd|q!wOzc@D$=Syp)|sFXI$;PrTlU&J#G@A6PbE@bTKhQ>jwUqB38_iz zlo@B5SjK01X}-*VF}{)$5)KEX0kda3wC0kE*h+*EPd47VpMBv8mU0f@i}9Fs>7NHr z_s62^bo@ysig^MV8uIUxbgm6YjYsBWtO;TZM&F@4p1HG7c}zTvz5AUg){n6t@$N`f zrwzq&shSeZGxa%|Z7vQofi+To?hDpvgK~OW?7m`K)Ky}A#_ANfrXkSHT7Fn1=l!AT##I3O95+Vs2T0fF6H@$$*%$O*#Cj1#JM`lFEF~IHex0*ePaIl|>P_OLSnVfq>QYbiB)M?>N!?|X>x4=c*tNHh-ch5iWglc&F$_ARS(yDt?MzSd@k zVpfC?JqD+a*O3c$gVIK-ZcQ+WTmIm31V5ZPWQY9HAVOsRjA~8Lr+5<%H2yRqcV*+0 zwv9;2n#-6v9aktSg#X9n{JJHVtaT*&dsIhzfROeN!dJaA&A=wcoyJawWxCe{z9!-Q zn;r9)u5tBc?*^Uy*awxxt_4E>CuiNJmM^Fd!DW0CS_>PCH`GK8Uk^<1!9)CI7 z07pqqjn@Yaof4Su+xe%A>&n*OgD0-&>cjYxI(m@j_nqNZBtrcSPKo1wXMQ{0HX4}3 ztnPe-cKQ9vkKdUjxlhC_rq@ueBsKk9+K|{M5I=!xWmz5F=uSkm@TDS++^Ga;BAEW5 zKkgPR^%D@;`X2x3drwrB*CVlTnPBlx<`KzEmaw>@nWgL6m^y=1oKEWfnij{V)O3ly z&U_YD%^j_!r3Dur{`_V?rYI}Z$;vz-oeB@+IXP&h^9&x!2_ePH((^k>PIAFUsDskp zv_HY#YIxb40%ALf(s6?0C81`owW`8e zh}_ZrXGeEnZ|ReQmKBP%#+tBEnO*?TE$#|+v;J0Yw0nIH&5WF>uh@4m2WbWc74_i@ zM^gw8TCjfh7_FVt95490M4UfQv7SxJhB1Gx$Uyk1p&^oZ?(4M{iU371g`0k-1J2O0 zaLdL9-TD^jb~!uNB%1!;Ip_{lt*v|q92wg-mw9ED^Yx&s- zW$F-p_(}W>j~6LChOcGy0Q>lbzZ#8O1+|C1`<~L|(auwO#~*905?-Sq0-{-?&EDOO zaK=;sVU}^l5%$~|iD=0ZaBE3oTPqqYas?l_WZf(P&GFFAykUt1v-&A_OyEN94p895YSm<6H z_>j)gXFH|;QX^n0=3Kp7`{7gB=g}k3dNGTh;ODc@+DdWl^V4# zFHKwCWDt9({)5Q!g^qHzEv;8GQ$st6GZBJ-;_c0D;cP=rDf5w-7@#M?=~$84?1W8| zr&O;tiDojYb$hfnCQpVkDj_i(yOps}>XvdRLa(f=EUCo{0g?E@dCu9sr%`|_Y0V7Q z*AxRbGen8=my$rdd{OVIX?zkdl{P|OHv3d->RMN9q?Kn8|bbMO2?k_Rmgp0<-bGehxWkI;)uUWLxba8=1mP|g%x{mU^%$s<^dPesl zhSiVnePY*v4_?}+xXdS*L}bzC@JuQ1YY%tfZcSj9Mz*<`ujc5|7LC}r%o;4WOObs1 z`Pk-5w(MR5i+!}}s91@;;j({AuGJ>M%>cFCOB0H3AU)#D2wM`e!x|82LhSXI1LCrbub-ds zj|i>xmk;mNa6#=o#aX?yj;{O-jr8o8ZGXR7vKFS3}wOtZ&ApO!N=s zMRrUui58-MGmYU}KcvdUp0q{AF{)2vyeqG~OicO}og@6}SN``W9kj3NdkR(PBG@`M zIrmUu-3kY}f94vu7j>TdYM-szw%+)}l7&&!8r^a5iIUrB=X6!S2Vj{!%4+gM6e=ZP zcv-BgMYCFO<gGbGQHvOgf8Zl;fhGTjj*e#0dED zm0vd))uuFIYO_@v>QGgqD@ zL+HY_VPDoMRmj$oX%Si$xO`q|59(Z}O3H57IoCPIw{0ujB+Cf{__m@cagUc41B8~= zWO?U1Wb(f%zlQqc)XG!Alj84f^-Fvyv!RXGRn<-(&9LKO5Iw+jIVfB^rfj&h;UjDt z*_#el&|z1~f*|JRQLUIMF-j1@zjccam&R>02B!Z;oduTWctC!^bAzMKxHXlj0~q-k-0r zdLquRdGY7TgyK3X`eB(zH@&0Fp12Gtev8+f?KJiYGh32$r?V%sB+N>2#%Ne(DJ}SG z0sqvJPVj}iM(t>h$gk6Q)z*&wB-f!Mq!K@ANcBvu0$p?Ns;k39hZC1}MQ?YY`Tg$3 zNI@&z%gi$@d;-rz#TSSZ-S)Bi-`SEj77bCMQ| zy%=H+%CmbA5n$F@pIIB2wh5#T_ZLDdA9u7RC+fY1@c4XqAwFEBw2JG*Lw55G?Wxmu zR8Y#X+8eI61-YazyP#I2gvapTl+$44BB-O1f8zsHJ)*4VzXLNM@P809H8*EV4~xI( zj>*N+TFXlBFY@Ez;sEk8qjF0AWp@zgzdL`I|7F@aJ4yW|d;lgXL2fP}4-m-3$IZnB z<^{5H0U5ct82|byJ6rxI7cDn47Z)qbzqrusqq`LqW=h++mfxR^m~-L1?3 zp8t&F$Flgitgva_M5C-92UY*@F zgD&AxX1^hUeq1HmM>x*D&UgF0Qmvf#ae&W#cFE`617?zW)b!|xVxaF+urxu)Mwu)o ztVjmQxt3!5hufz6ku7FPkfGD>S*7VrS!70?BTdO@-cocg&>Rj1&I3OYi+8X{AM`)1 z#JO5D;)PG42>4)}W20bA{r>Sgc3i}>q#>8Z==6e>Mxr}rSa2*9#E2zGl`|6Bk4iYN zLLo|xg7Wg37eyOE=WF-Ot=gm`qdVk&1egUgI>o!LA+=A4);v7YB*heKkJnSSbQn+# zd`$Y$R6l_RM-# lOL7;Ab`@j$8<3XjTmsXWQ{Xd%DJo*3t literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/mathbb1.pdf b/publications/hasy/symbols/mathbb1.pdf new file mode 100644 index 0000000..a007e8f --- /dev/null +++ b/publications/hasy/symbols/mathbb1.pdf @@ -0,0 +1,70 @@ +%PDF-1.5 +% +3 0 obj +<< /Length 4 0 R + /Filter /FlateDecode +>> +stream +x]An1EmlG,%Y4& +x⎢YlF7|3^$dJ> + >> +>> +endobj +5 0 obj +<< /Type /Page + /Parent 1 0 R + /MediaBox [ 0 0 4.421875 6.421875 ] + /Contents 3 0 R + /Group << + /Type /Group + /S /Transparency + /I true + /CS /DeviceRGB + >> + /Resources 2 0 R +>> +endobj +1 0 obj +<< /Type /Pages + /Kids [ 5 0 R ] + /Count 1 +>> +endobj +6 0 obj +<< /Creator (cairo 1.14.6 (http://cairographics.org)) + /Producer (cairo 1.14.6 (http://cairographics.org)) +>> +endobj +7 0 obj +<< /Type /Catalog + /Pages 1 0 R +>> +endobj +xref +0 8 +0000000000 65535 f +0000000627 00000 n +0000000331 00000 n +0000000015 00000 n +0000000309 00000 n +0000000403 00000 n +0000000692 00000 n +0000000819 00000 n +trailer +<< /Size 8 + /Root 7 0 R + /Info 6 0 R +>> +startxref +871 +%%EOF diff --git a/publications/hasy/symbols/o.pdf b/publications/hasy/symbols/o.pdf new file mode 100644 index 0000000000000000000000000000000000000000..810dfafe884100edb946bf141adebcb16d4fceda GIT binary patch literal 8240 zcma)>Wl$Vlx2SQMpurM?3=mv~K?Vr!5ZocS3=9r~1_%&bgNNXf;1(pfy9Iam2~Ke5 z@}B#Bbx+lItIp}_A8YMiyVp~@d;i%Fy{eQ9JD7tPKtDFsGY8-XasnOAYyd(+0FWZo z!O9f|gg}7*x&R;oE(hN%aB@0W5gfrKVD8_fK+Qi zG5~-&Sp4f{&(S|1{Qm(227w#bT>iuEg@q9q2ksjFBL$*SCkX$;8wCt1B;@5Qo;n(sdLBAJxE|MHX#`7 zOn@K5OcCk-z#Hf}Yzo7n2u{2+M&jkciRf9J%Fz{4rVd7PZ6-j{ML|*+`V8Ib?nZJ3 zgXjH_)nEc*lzX@yDCg2hl*BJXkpC9u2;Gl4k?F8Ke)D5T_LW6OVq;~cI~Sx-bq>v0 z|DyUf8^5QqbLlVRI|)L6>_I}juGWD5i6FJ5jE>=AqPI!l`CryS449Sn* zB)1Inl~;SLU%Qtdl0^Gz6LLH4nqR@)n+H}xiW|XKdw;^gTHR35dHjFdGR!5pyld5rq`Z zBV=7P8wqFX4Tj0M(a&uEr^9Om9vTL!vXd;^8j{OrI`OB0FMM6;PX~XyWV=2g+k%Cz z+WqG$5UVAEo?Zeuu~=&Arr6B`yY!){gj@H=k7qr*H00WNY_>zsKlASIQ^eQ-_{W(ymaYq zYkykRe4;${Grz82djiEjd59B$&^GGQp6Z^SoFtdmvD(^@gsfYBdLsY%e!?a8$Tx*@ zDO+>P$ylF!=jZ*aQni^tGnOOF&zOz^_48e4deoY(?5wEWjXB?49v2z~Hn)W7TAMGc zKc_Fx({`7_&|i+n+0Pvsr*$tvbVfvDro`Umru)h(8oVd>&mC74CGhRP&LAd0>a`um z-nmQb_AkVG8Qc?!bbT3sWJOGVZkxNohonY~f!tI7SQYpfw>bVHx_4;*>ijR}lkJoK z5a&10Fd+{(0-hM-R1yZ`_bh`?%X$_a?+}c}_qZUh`(vLAR(v0_P(dG@=-e6eW>IPS zP_77qogA~Mz|%2Gr?umyXX(jjsWCI>gd2G4HSx)*O|HkX>he$XGY)A>eiog=*NUvN zKR)l+51m)}`%_oWH{#Qr2OoNyQ` z(%CH?L1IbQrd++Pz}wu!CzUYoHa0o=sMaw{b!h~v^0%He zBuqW`_1X+VBQGK#xRksIL%*k2Q9QWBjo0p^nmJb2`z%U@k)&z=nr8%GBZkHYb`+Eq zs_-UVu-UKnS5n^rOO9z4X-`&0@wktu_a$Lgr4M?k4L=2ABd>8MFxP0SFDLm#+U8ys z)1&oAt>ylNuC-37(zmR|9J}&v8r~-pVD$ml2U# z_PcGl!}xXYeatkQsC*$w;r*?vo~&=HvCY5b7QOVyG4V6~agp2g3s*zSQTb|5R+BWJ zFNV}B4WR53<`wJm+b=WQ?Lgxg1<}`meuN|y{##+7mR!tePaHtFfek{; zN%Ti%G^E|*n~kQM+gkqi(PUxN8`20BZQq#@^bXUih-*n8_^xrFKZ|l2aXn#qaf-e> zB1^=*)OuaOO6@FE+@KdxS@bP$Q7eqC)q2uGx?i}UoY?&GaHIV+{Csj)r8RZFxBtsV z3CJvkY#l1}UH)~tc_2{O8KoD#A4N7LN_HBE&QHxR`ynJwuw1<_j);vZ>SWwaTj>3x zbL5Pi1YH`pgl>6yYK+&To!E92o>mIhfRui4sxtLwJW|>AMRK6zt!^WQEBlmBwp+Hf zy@jUjmd%E8I!x^f+W##QpG=BnH*OR^;nh)l)tPEyrNrv{Rc=6p_?@>S$;5nzne^u^ zW(45Ec$ts21ix?6vdN&%vYK}1eQQXpj#i6rM)6dST}2IDLUXT}>1=|u*+Y#pBBUZN z;H_tnJ%XY3Ni5PNK0@8-U0y8%R@pxKBa8EWr((1}+G9YD`U`z^Fh6k(qOV)T%Y8I1 zqt9~0g}Xby+(BS{r7rBHMN9%d>hyM<0a(lQoSGd8S;Ob>N@HyiDSMHsCF2ARly&l z5HFeHciyUu?-CJ9wwL+H`WM3Rq*oD?So+6wcOSG@L8e+;r%H;SIn;X0nyz6pG_7Rj zL~L?9*Y-4TIYdvS-&vwrbMmw85CM*#a{Y}k+<>Ecd`SOHc$D04#%ccj2O@CZ7oNouA($i2D| zy3@PI1I)g|OkBudv2ODHar)u6w%ZdP4K%R?#h8Iw#hn(kcb>3!A3rTl$;e9e%?$eyR<96 zriHH5oMCXgzq+)TSi&xo`~KVM`=tU(&u)gy1Ow43ze<^zuNnNwOnc3Xsb4(%%zw~i zviCWZ)0*TKGd7m`n_qKCM`{eI4rDB<$o3~=_}JyHwQ2J?$Oi<)GC0Nc5ehMe)e}0| zQY48jFIf)ux52C`-8#g#*>w2`@>EP^1>cHD1|S2+^O1O zU^Z0Ic(UvBWFVae((RT7QQ!SaM3-gx^iYZX`*N{>dq(Q0Vr2jRj#?~09y9@T3hgmq ze;1L*x#8?GElXNlD$crt5))pa^sZoSSYkdcry9iPILGO zGzcFesR4K<+Zc;FX&1VQP$B;%waY= zb8%W!N?Sy4S#sEXK76FZ9$um)2XE@Zwg`95Q zvh*0Ez7ks}<(ibb?9p1MO6P>Sig;|nXOQi%;5`(p;d7AGI@vl=Rx`&ti=Q=xpB-Fl zZc1R=F&6I$0`8@1%c^~B+lEa#Sd8fF&lRXx9%yIc8yGe>@I>STz97{y9XBCI1rH=? zwG^0zh~3mtF0vETvHV_#Yq{X;{V`bBdw0EMSutgV^x`elvAIPRt&GJx zD~(FeJWo3pL&Td-IbZU16Sp%co|VyM_Kg{d2(g8zA*>)eyNA#;6<|S9%tNhKY&|EN>i63@!*6!F zSJE+k4s$^Eb&KsCmmDS4aJ2XR7h6?{T+>xKcSZLHcOe-_YV4?QPEZD%QrOy=$tpIn zZ6*Bm!l7L8jw*v2UR$E&kR_OCfR$rcQX}Z3KzE0Vv~KQ4*-1+H{Z9v`eW%Q(Zm4do z{Nl3hxEG~_ipDSz+8<$;& z6lAkID(U;3=;a26BGjeg-1`fp-g(XA5O3WN3}#0pmByfg#OSp!?2sE{iyMmA7n_Rk zs@eM;uUS(Gu;wJ6cUcPiwNxEO3P@e70 z&+6!AVOdw+K zfaM)n!4WGl{lhPq=|iy+_x{Z4gp&!xPqqm3;OUf@)5x19Tkd>mC9@tDFEj5<$B*)% zm#m?!{)5^Urmf!&)l*xAdzPSbwgp-6)8c-Cii4jQeOH>4%E+r~zhssAVP@Q`Ua}?ieY2P^K#Zy)*(j{3jJXm%vfV%kX8kz%s+F#21DV(=9k5 z_%U0Xhx5kxcEo$dGNTUiT?;D^6_-TeB4lQUGTN0l-a_GK%p=%TFJTd0X}-EiZS3SA z70b?HkAYfu9S1^%QjMeh`{Zm$gYVS;0SCE!%;JK8uoq{Z%YHfl%yU1EFPK0ij$eZXdNN&v*xIX69ow9E+9D zVXF<~W)grE%<@B=X|*P!qe{q^36~x{Y*6qrw|Lf#cplOxI@aI0amXLt^)@_b1iPgJ zqqNa*oZ|-7X|TCn0`J+f18W!~h($31N_rD_d2z0M-PMkz*It3x0eKiF=L162ammIB5+fcA`>^X9CHHJo(F3qORsR zG(MQ*B#mh)aSUL(2mL}1?>V<1F;jeS@-Q2DaB*tT?`c*CAqBBalA$xD#`7dhW1&aaVy zCNFCE9A#^Cf^l^DpG7?1Q|W?U!8^G0pNw5w;1M<##WZnNYKeNGW`sl#_9V0ZLvP>g zZ_z{|g>Ms}R{z#w9Kw7BHEj2&=-UV}Jp%2$Ge=QcX(G+GW(ZUi;$H)BN~=o7k}^24 zWc^jKIVoe2fiarw!l9LEag6u+mum&)+wEAJMB&xuc?7cIuRJVD4@2%|1&b`B2Vu94 z&9y)31Gu0zYln09)8P>fP^?SrcdL?Y&FWR*k;xQ6x?Ncv{L~px8g>!^#HpJ|y zqF!`JoV~_o`T)JFRh(29 zROU`P$hJW-a8e8=`NXN{453~80`?NR2^_iK4Z_bUAxDQ>Y`z}MS}RL-MHf{ga$cT5}=B_kIKZKW3{3KcH!1QG_l zWwafvJ&49KZ6WS8o_M;T=Bd051gqT%nE| zz8e*f!84_8+m$LUTFq-slR9aUjZZcKO63iFRc zC-%ZHG&-eN{j2>Xj_u8*xxDO46XW7-rO3Ls7R(C$u;DI*S^s`ADn~L+q668@akubc zez-=dUPEQaI!!5G|6+=_Voi~41=gGn>1oXzBf=-^<7#jR^Yll*(kByJ7xNNnu0{!t#ya6~`fh@hwh2Q~3*@ z{zdt536YU{RUO@2+O7*;G2y+h0fqdRnr$tc2pY>G;MR3{Y3=qX8e%E8Mm!gUcqr%# zs3AiCO1=+DsBn$&xf`D685?vnv>KG!flvM*@qR6^&oYp|NKF6cxBxpzD?=fmX9#?3 zyFXyfVC`_k@WukdulmWzj(E)%Tp2@Uxx zg|TY@)R4!d9le$2GMG}F6_nL^mMUjI(7jkEG_-Es_(ryn%rprkf6xUp`e9kV7sJZh zh|Q#1zX00f>t@P~*>=rXy~9ac<m3=5t_?&JS)0PGY1l_j@y>PK6Sk2}m zu0qzEx-2{)gaY5!Kd!M?E!tUa~bxYkHXQo_9AZ< zIuE=NZtT{9x$Vinhj)qvX~NDWX_+-QN%oTtki+gtXi!%qL_T<`l`1uScCNmxopCxI zMgGD-uhD?J?cC3>8POqto)Qi{i_&fAWc}-u-2bZf*(*E z9Pi9g=(+;ni{~;dN-*=YZHaVex+7eWzUEs9b+ki@YFOQ}g)f)QLvN9n&|fLW-jb4zH$EN>b$pWGI99+GwKspwCBs zwRtVhdb|${oYk;>Rf}C&KYk!*CcQEOtkz(F2y$_ez0dCGdBL19uzgE5sgSD zd{8v%k=H*gZhKagJ3M#IyRv0h3!V z9L-^AB4$3^Cq=U68a_T^Lvr~kl~JF%Y{qjH>QN>%%=D?t7J!G`$19oDDoJHDWBpF` zr;-{hxeiH*Rp*m|dW@twbP<^aFRX$;EV^|lgYfRpev8^mvE^=WN1D5?#=n0NEE4u* z$zK!6L){Ino7a#lEaP%Anti%O#jz*6c5iCpSG~K;8##yY3^cb!5yB15cYX)^pPR`X z1G_#j)c$DB4#i9E#}kfiHB=E@Y!Mw>)Uh`m=gBBmf}sr-HB-<9kBqt~0(GzRuV1pt zyB7WZhE$SBtmgO0{?_L4VUkTPmN#m+IG)li1)9pCD^uCRw$GUMVJmNUurO3o{KA`$ ztmp2yI@5-q(>a(()cr*o9rx{r*<2jZtQq?vd27k0gJCWePobotQ+gtH6RpMocDP^K z!LkHd!TF7T)ge_qoDQk+95OeuyTS!A=B2P2M~&dk@q3u8H1{CLYcV4mBKr_It(K-7Qj|AtSQg+gtawG7U@4HjaSO zy`R%UjjR4S*0*nP8@dqqJ*)?{R#tC+WsNVoJMw(*!0Lv5Ce&nJWN7nHPdxlS78t`b zufi@E-B_T-UDw1KuG3WTh=~&8W&EEu4h;TpI!+btXyIo5tOJ>xEG#vly3ZPshm!-$ z%M1WXKKnpd$LA-{!~agL9UY{ets#&}>Kzv+mGfgTp^8nlNh@;Pd@|nb?5ZP`Jx;Yalnr zb5C9YE(k9>7YF3utp7y_RJ3-70{?+x2HHBAy24zbra$n2Bzgba z5@>#Of&xJ*W;PnG_5hGFknbPW2zPM>^87y!$qnKBU;9&N+`LVv7;(rkf_Vh0Fs@f6 zNx&2Tp%KWUh1Kw_mj+vkE`{)5@k&u$b#bWre$|f@8HZnr1FhYVnszM{iHrh-M7;z= z8)+ws>IUbe9VehPCg#!dSjWgvMq^+ivr6c^uS1lpl3Rb;Fg&ysum#0}6@xbWui|(~ z4Ytr;Q$~z;)G9Lw3ro{>gU5Kfk$)oTW)GFK&kTx%^qvv_kuk*C(oXmowaw?E_h7J_ zTcVPGh_MnXWCCr{6>;=X8Muq!9_Fi>TEoMw_U()tGI=Z1jAl-VMg`y1Bzp)WbZ0oN zQFYTZef2Kr1DXCCXMG=VRZ-+_r5!QQ*M4f92pV+c%Uj+>s5UTi^jA!OSjJ$n^=9fR!R&cFX->xa;8NWA^m9=BTE!6(}LGx~259>?(ia`pmEQvT339 zDhdL-`Ebl@(FxhP$_Vf7S&YYt-v{|2wG`!i`v3gbT>tS=b=9Gk0Fb;yR literal 0 HcmV?d00001 diff --git a/publications/hasy/symbols/shortmid.pdf b/publications/hasy/symbols/shortmid.pdf new file mode 100644 index 0000000000000000000000000000000000000000..096c50735f02ed7da6c2b794f759b99bd8760505 GIT binary patch literal 3254 zcma)`2H&P>Klf}PdFd|B0hiAnwzy&@KTJ|mi=VPrxPP~#q8DOP~6vq_Tf zYA@L5!V#5Fo?0)GFkcl*JFDa*-lFK% zW7v~%LPkbTP`+XHb6aPY`P$n_|bRL5%KN!C7sYOpjelMF4Ahd)s^Xmgw9GO~)YJkC0o35ds~Q8Wl`7mQ4^k^q&M zL{I@+p=cIro+Mnxj0jM#mS-dg5brR7A)-%y@3RW$udnWDGATcZxt-XEoclCKojpNrANA-qJi!}srx)0 z$OF433%tnb)^8kfR&xOpO;8ZAJhnM)>a&w!#hF_jAnUh!(EE` z#MQ)BUw*ng)vqXjmG{orr{OPy;*+zvT7-h^X|YP*cw6b!6~=`C==O_h^4XE}^dYHn zClp3$R%gxX=huBzEy27;-t$-A^Q0U4y~qrh@%*q9C!8!n=!Y_S<9kLXCK@_> zb4=YIG1q7DkLH$j8=b9hH|cL~K??>-_h;wMg0-8TC2uT>+wMPz+dt8&Qd`OD-FJPm z&>t(k@~h55b7}gNlz9yp*xuUB6W+0+{JFU&^OTItSnCFZZ1QJqUb~~Nldo>1g4Z^c z+qL~}396U%wl%Bg+`X0UM$Ds3xw+BSF&ypKRAX9sierJ$92hoKMJ=HaxjmCthgTKlv&7`mZ%?)NUqBSR*m(~_pr`a9EX!tXgP9S+47F&$YM3~2My zP=rZo_Oh^v`oIl|$`$dcmE^V)pK0(hMe&>;Y`vQV<&Lf3KtAu;oL-vK}W`FJN zv*8~iu&R3}jM9kwk@+ojaby?D4;RK7im5Jz)S3C%#8^KMx_O=CxqR)jHpjK2J|CyI zPC9QANazpq4{J}(fof)vTcyfgQh7CfdmRa`_e!@Cg7O^bFXrWPX7cl87B7V_YP|^v ztr*RZhuSYwlkbam{Yu!rb^npJk=JNNAC^^N^Kl?PCNQz-$_I7B!AYCm@%obMdZ)6E z4%glwWMxj|Y|S=QJYP=vP?cNSw13Vyo)quJGSC0hDKK0T`*A#Zyb?xxF3tNYYeg%N z9@M?~ph9q_&l84j+J3yX5-8JUvfZIv8wi`oZU(ev6=t?=p;q91OQEe(HFgmW*Iwmx z+Eo8}=Kk_)+}k}Y&d{3$syZ*4em8uk0lXtRWu>s7E5~iP0Ds*uo=MO#5TLCVpt<@R+b|N0KLGNP_Kt$ZBW;=YdEpm{nuknf&--)A>!K055V z@QEqS|AI{1xLY3b=m@cT>P?c4@2yeU(i6AT9NdMSnkmYS29f!n!nU#_yz~RN27Ln@ zYpzVzwJ!Ice4>mLMl7z6d|keNmAM5C`Z9U=OJGqr&e?P}%Y2+XlU6%lm1gpCW5PQW zZ%cGuY^b!is+vp&A&CP!A7#vcW6J;R10eV}A;8i6Jp$d?I-*SR@Wc~s*&2g_tAS`0 z2+V-(BXocE6ZZCx(8r%_$hHp#frP6gHBlO>aD);ZuEfqe?(gwWDR`PI zg+laTE08NGfCz!%@J6<3#(^Y~n=6_8jRo)R69BO9znBgK)}*Gr9lxjr!!L z=WPufaH?jEW#-CNsq)S2FVuksrSmb|d~&-Fy0~!(-U4>*j#$v+aXTCpBCwj;0T#by zW^goSX35bbjc8U^i<8@rDdz=|7nKiF6ba$%;r-2*Llv$fzM45m#SBLw1>KdbX{(Xo z4Gp>Bo_g{07TX5@URKRZRU1!hDGac>u>ln*PT92goquzVd<7F&x$F)r!o*8B?{swX z-7dISr|Os?m}gqrSkzcceP@>{y6KiiAH2Zn$H)&PT4*97(8NMk)i(9lR7je(<) zXb^?cKq2(>P@oR*&nfIG-vU2vhRT*xJ&RbxWf$Y?(Xg|xHGsDBoI7E2o8bZ1b2rF!QC|khv056zkAQA zcdO2;x^LI|qkHXMyT8?I?^U(y({$?6vTR^>9yGei*}+9LE+7c#YUzL`ER4pX3~{lA z+5vevf&aSDIAraepb!rrhpdwY6e10=a69cTI#ujlnvSoYh7I4_%ni>d)(I76? z|9a40>mL#P{~-np1at9m{#zO+ke3V0^>6R5^naT`K29Ei{}%nfYmSE^Yin&>u*<*$ zrYlg$lbCs~)=@hZGDv~qAX*&BQxl2QLPkwQ_{d2D2^{qU8F&f*Q;XzrvynNjxU{sgytFjIz#s$- z1~d;D1G0M(FOwxm4!>}Ol9D0~ZaN*RV_cyEsZ@%rqoWPu6cJtCYK{}0TTHc;C$?tWjOs>+D1#>fem0DWV;i9&3SGKJrFXN3sI zIDJoq6MH7R^{b#uogd-w1K_Ee98Fw14xX{PxBJ9Ts9-CX*p3};-|V`qe+tB~+K7zunt4n?JB&?o<+F_-C)obv(6bhqByt(mdfqG`vLgOL=noQ? zSXVbA4wZQ9kqm!n-p&)kA;#eE&jE$fj1ndwJ~If7V|d=z!!Ri^Z;>ly+*Sbq>h9c- z8YlNF4_PW)_}8%4+?wwNC1}zsp|5JN*PF8P!ly8xggdUdy0#=D+$(h^feY@%1h=gE z-3I52UM27Jn>RyGWp8~{UdtD6IpBR?W8Y)n*|Gx&5*k6Fw_>!-xXC!~eVsk88``fF z7a>-6HLR~3DX%^fIFyLLnzL@3Utis%L^eN!cEgd|2Z8wE_lw*(#b5Yl5pLuf9zeD& ziLj7>MzDG|j&@S@hY&NGRWgLzXaTZbu&PVQ;swm*MhSw#k7pBc5%u~|1sC2j^^}3l z!1hh3#VndHA*I^{l~URvJfu?jvzh?Db!8s#|dpH5TyEX9Q3+Dixd%= z#E8L;*waXa(2_ryZ-!5p1{YysVTVm#K!Lm79he{T+vh@}$Q|!-3~qJnb@_Fk3u71C z6Coa}Ap3XW8cX33wpj(}5taRh@ye6UPa#uQrBNO2}eS z#{toQsvJ6p#D;Y~2OsX4aV$bp?j@*>Vl3ZCG}}s3l4ByNrhkt0=L5NOuGv^qtrq<` z+{V&0QJAqH#$smuY)5t;!eQ2P^HkpR2~|R|fN(0#62_u~$qxQ2)I1>72Ubf<% z&!<)gGb5A4_xVGV<*=3)-MZ6A}3)FITDbKutohn3CkQMfr!U*apemU}}h z7%z)XG`ri&bFghxiVHnYgE|ObI(k)Qv=9h#pGP08LuH$!e*i5X-gb91? zWTv?fsOF7xt-ffo*G67?JKN!M&T_NpUouUjS!Om?DzJ#E?#z9MKFXyl2;7IVc-m*5 zMLkE4J6uxkEof(|C}W$gqGb0vzI&M$nRqF7&E-PTaJW?LC`L;9)RL$AL4MbUG8a3f zNvNtPKyA}ZG!GhNotIFnA>aZ$h{lVldzU?PsOU4+Wp-d9m=^f-l+|rh4X*3_d~YB; zgV2%fxUa$c=te28Mv%A_?{&jfo_G1iBJlXu#FCXpAzQZ;PyTFo2iea~i1}T~bBl}> zZAtRTJ2uA0sMu(S-44A-qSeuS`n2q`W84({))Qq@l1z%vvlo*=t{THYRPv zX4#QtwWP^gVO4!KV@PywUk2`|Ion#YWD1bqK99?^f}NUPjt(!W}0T%AZh z0@%iawtb#{6R2MBKv&2X7p5i3bRggkNa4$yTMP7SY&>vq--sOjmfL4voG!d3ccmH_ zXV&#@blIt06qf42LO3RNw|sGls9@c;drRe2mdgcO>XEIYr|GsGbqm?A@Cb`66$aBm(2U0yt-rrs=Jo8hm_?-3Ix+8KDcxV1#;uHiPB;AR{@-u9~%? z6)i8OJohX`I6YV^9H}C`Dupj7DKd!#{b5>sIH1UT;DQrRGPO@4CG?hn!%%R49)&rw zyml}(%%^wVGOI^pM_8GUxLD0WjcfLGAl%{M$^Rm{0v`Q=g(zifP{8$Alw2IVpa7i3r9FJirv&2catp#bC0Rsj02SRT&JvpGDFK7?a?B@K8>9wQgA7NlYOXFT*h zV{>#`H#GmL;s5qjUN$wD>#9ADi*jQC9J~xXHY5-nWxH;npNoEx)4U2o z4wjzeNdbI5?^RFftV4hQb&;pao~G2*4EV`_FX#DaZ>_<(`D1S-UoHAc%I zHFiTs$&VzlR6Hrva_K|36MaKBWm?jCY~lriSyZyEYYcj^N-%?KGev~LW69o=nEFH_ z403v!?!MuvX+sMoaBUYNE>|MJJG78BWs*#n~d@k?ukE#1)C~LN9dwW@9jcd+a)GtX(=f9CSCmkawx6|0mu94sPC)e_OTkw24@!;B-B&{S7zinXvJw`VI<@2uRAo$Vn6RCV#C!M-X zh51=4u_&Xs9ZV4R`n*buRQXFQc8vN``<~gFE!UQl`f&gD!v<;(!Hz3wPc^vBMDMix zGp+NEysa&!31j+p#zn)=+e_QRrY|#yODc+Xsa|T8U#B(9LR`eoMOEq#&AkJ7vNLod zF*HQ||Du>!hx{ML|EVJl;kqI2``w`GhJYo$D{BiRlH>Fbbu5 zG2=tl%~b|e@4fpOqw}&0AE0BU9b`b>#D^e7lGkx@wPxS(We_hbyGv}^kTF6xtreya zU0JKiq6468Hvc|8%!h?meC~frJb+2N-}PhSAY;VwPBba@Ln!$rUUI@J-(q}73V z(Pp6OG_)=(PgBuPFsNSCwCe=&XZv3FiybLzflt2@$vyK}wB8&yx#g&yS<6`9zSCAA zm+DCvL4KTQ!|1h!Or*QzCsDVnn3y?A;-45Jl^d#8=`sC#?w>gzooxy4>iJW6e6_!? zZ>@DNyp(=X$sD4KWt~YFwB(F3(q2t$L&24A8xR0G)XHdW@sZ3lxiD_~CN~dR++7Ha z?YVs1&BAe5QP|4Bf?s_6;aa_V5@>Dp)DlDDfiDElSNxjXVrdI^EVQzBASAs5`{I__ z#Zx+$=C7~X7s3)`w?=A`#4(^15}xM~HI*--&Cc6NIm6p{ z@(1XuhQF>{qs1tAcih<=Kb-HSjirc1OigE@r)8ytV(CVWTZhvA>=N|ROCbVYL2!GY zWc$$hYBp2r`-Dw*hb{2Ek=pv@4Ba6q8X~5_+2drK;z62K!FYOu&l9`INf>-&mxfdQ z4Pkj0ByT$x_Cla@K~c&;MSa(0)Xhh};1q*BW|d(>I(iFN91jDxJ;c}Hzn8}&Lk_s6RW{~F)k<8bQ)>YE1`CbgUulq<|r45sMCzGP0O6mI6URkQ@RJM(r^!{VC z*0EXtH$U21rMdUgq?I|f^++^*Q%iL?>gyDkr6Ky7fLfqS=$Xp=L6i>hl)() zpZn3&BGxXgYz*Z*m!wL_-#J&8c^VmGpZ2h0kQjCC(N2E}Zd9I%oEqn->c*P~Gjcn4 zJx5=lq*N2<$lAYpQV8HqNqbxuZ5;^94sO=vuj^PF_Td+g+-O~S-+;HP8<=zomad$! zckn3m&2C)?4$FV2I4kuTuJfpVPh(gJC7`SVijoA-!%SI%apxx%a30x@O3TgV_%#w1 zBVwXQ|2*d&BkZP(llknNHoOeF7IFK^aEpyx&rZja1>g!ZI)p%Bse8}fyv4>%fhj~> z9@f1K2=6Dg0N)Io;PBQKazi^(qK!Jb2&Ea>Xs?jM=alcrs`p63vZM?wauDeY*S=Z~ z3fezdQPcr_@k zqzkM@pajCLE}qmBd(fQL@g~f9_8X$I%SL_4p8(|Jg?1&U*-V+&kXMWr4;(dR#6A#L zp6%mXrqcCk(SLjNtqH^8`b4Nu|D~v0Xs&T}+f;o#V5Z=J`k7%`TuD+T)~Zu#XQ$Qd zRG5iOs$t0eTiQmF*}H%nf8_Lmz3FB+)KRxmml|DvaLq}?H>bkE9QqLVR#C_$-Y8KF zg9?7~o0tw4F4q?%miabxHXRFWl+wJ6=cx&`tdoJ1h%S+3AE1|N~UN2^dP*i8d+2FF`Cc?dPMq%G$ z)wxW@?+W9;l;Ht~vaI$%t9NrgBUokbEXQefB3G#nQ+1km>tDg62L|ga`B5|V?KsXZ z<$N)cbR-F|?GoNPc_%q5yheYia_D7J^dVG>SGG+1fyi1nK+3^Y$w)-E;&?sH@j-sk z(FTW7H$L1fSKU0~6gw$*g4TP?`Mu4+X(xOJ_33h6DNB?u-Z@9Bxd~*I-yi|q=-fH2 z`6`iI_PDEaVRkL!6C?fbt)p2*dqaNw&9WvFfu}}Hc2i;aV`>DS3On~{;Qor?tE_Wm zi7`ZDV-g2ktC!{*i+&UrvhAiKPBItc`- z^|`RjP}%EaetI@~aCJ`EDMnG{9?BE`=g#G#3j}ui%Mz2>b}hyI&OQe|ew|3f_F7&y zdgStnsn0>qiWe32ioajobUlokY#m#79D^O{?`Bj9shtSsdsY)pH$6+0-PrCle+rVV zO%AN34cj_qZl4mPA6+Y z+?aYV%cUOO5)$0GTK4xy=_Z~g-Bqh?fSmu~bbp}c9DnT9!u_ps0le^tm_8}&S&M+> zmEjXOrWf-q3ctC2Xc4+lMQMgo5Wq(dOIFiIHxOlg$`kCYRc!1sJ6t|?QaxQ$E+7-+ zdJ#6V+uXJ(sMqUE|=4^2uG|x$!^fRVU0;8{_qs`iX_6sp(%#uyDV8 z;WN{iq_Bk87+K7$NnRmwSlj$NQU+}MP<0}f*g<3#mA9Ha)%2A4D@8ALNsiy={Q5W| z&*rMQ_{T#9_we5z*7{@2&M|U6uOBL3hsb_Z>W?T?*BGyRP<9XZJv(bdWTNA`eGmS8 zyY-@-wVFi>ut#eBn4Qu^NWY+5Rr+U**p_uBz=LZ2(!tY!32@3X@$w*XsX-jkyJW28 zDjyn>xt>)meJLFBL$#%3sG{y(b5FEuDp-sC@)-i@HsHx?g40>g-i{1b%NW+T1TMg{_G*Q;qOQYPMdnVD@gf!XNUoCF?Z? zBGGch8BO@-U09QR^x_}B-zfF#p>Gb<@0r!c(1&7pB5jTC3u{tV{z14B1=t% z8+^ag6|AORGsM??-BCNtOP=f{%^3C|Z{L}{f}UJN0NP~#T@XezxY7Xzxy-Ilk?y}N zjm+m;Gq)EABP?0!^R@u#cx#=q3H)fx`tX@YC(hm=4_g{&Qy`>6A%^$@J@O7!_zvq>CGGD_(5?{(Rv}{9?^t(%gK9 z;7}VU&Rmt_sJTb5R5xpt%N!Cv&TE%|$O=0a#^@P(-xSPeO_O;0anLM?O zXd}A1hoflhA`+~XMx9u{pU8ciK%kw8{O-stW;0>ecE*(_J8fbgJET<~K58Y_Rp+et z<&Fbt3aH~6|HFs2o}o6m=0$Vkz`!d!x+LF%+hCigu;#1zrx z6wx0UCLQ&=aUWCn%j5vjP*l4)vdEzsPuT}&5%OhTDne%sbH#Uc!AHg-DgNc3?77a< za~rQ7usUZRh^_7paAiPKM5A&(Ze~VN!<-Moxz&{gHOJXyO0Z@H@eDTN*I`x2=mKn4 zOF@#%F795M;DDOYNBX{eO?t96jg-Jq)LgjCH}f}NKlRer_evX;KjG=As6-1&aK~F+ zB)M=b%wOmNjfIkbfZccH`@l>B-r6W#9KK^RXRWrssyDjjt*mvMIWHL9-WDN|hq!BC0nthPbvaKpYh~gUWIi4N3u#;I-FXB7Uh{#i?tG=@h`Z?3s z{Nhp(c9%elf%?vyjVm@iNWq?IV{|druY39$fr|7#sDJ10Ac z=^se^FR07&KT4qO=LP|Cs98E_L7mY!RDpc|&{_{qD3JUAqFgRsp8s$B3`sU|>;n-* zonEqx@BEnj>TGDl7_Qs)vjjiQS=}FZMIA7wh~NACn9~68Y8R$Fz0AcXBId_&Cl2ce zeCRnh+1z}Ch1erSM2^%oqCk${_AIK9&!V9q`Dxeg_mtfk&Ubn!o0q2xdRg*3-P<~C z%VlGr)n}Aw4IH2&F*q0Bx`9y^c}4J@&lN!o4orLo2e}8qJgj=TWKkYKLOP+DZ{!C~ zGE&*)O5YfTTyvFu)XhrMabidv@;2D(CNWN+eib8>f)u8RFxTTTZIw)(vVfJ6j8JGATpEjbL^ zVSp;@034Wy-VrP~O1prwLuAm4>UWM$3A!_$gjNB>r@Y&7ttv6`xGSk#m+T0$T5Uh8 z1yxkX{)Y7RWnwW{e}yP-3W?23r;N(e*(!J=6UDfzOrE3lWl$Vjx3C$441-H>86a3lV1Qw83ot;?V8MNGcb9`(f(LiEKuBfKE1I)q2!}kv!CzzWL!u3z|jQ`IN4CCd7{5SZ2=8kqpS5=vB zdxCB(00ptKA4zSXu z9e7ZMI2-LUL;!FuiNw$Rib#IABI5M;EJ&cqpvvX373Em$8UQ9EW64=wMMAh0Gf^VL zkWNOIZc z#YH?57{^v7{(u>(TQexWk*$9UCgsDIE+W*fYk#2}q;dctR5aGyI*eotV;7@c9X;7{ z4}c|<-QU*k=?4fx@`Irx5da=o7qhnY!&my3I}Cs*8;1b+ZAa`cBvMKMDyijmxPdpv zJ0!^14hdeAXkOKcfgOYr;M$GsTZe;Y&P?&5eFo!cI5fn)QwU;?52ZY@g8$aHsG2YT zOAri`!V@w zP{p|BH=mwE>W`uXS5`(w@n1q0^`T|UZ389Wc!>H5_@z~Ip`f~F3nD@GNk_rFSP>7j zIHG|qIY?1OBv9rR5vnI0{6JA8CSH^m_CfqzvE5Ig1`c+hK9bsId&LCBvzX15R z2|qP{>){;62$r~hpm@9sldPCo?n0z({N@@PrYr07?-{}B4Z+YhA^_u7o@1yNFi64G*8xGydR zm$TY-2$^99AGdjH#ELCcx#2^TQrmQu%0nJCKT=_c@jVcvB?rAi+TX#rr0>n-c4Ytn zkqp&#P%a+iP5q031i>94NL5^D00U;lHGOnUSgr5J`UP6jb5RVjwx_XmQT=`ud14PhC5n1OPSi@a(SjNjc z35gPfrG5=dPscVPzIGPg^g2?r-F6I72cSu{_~~va)!T2+pRk%Srx8XBcK=Q^U-(AJL z!NHO83wx5Zbs$Yp6-L zRF^>It3c>(?Uv%OVmc0trN58I@@Oofsq7V(NJok}t%9C8oX@PVE;!!8zDw&e$FU!Z zO7>&E2sC9DIT>e{*&q6&zeqL|iRO(wrJf4cl45?bew)R@*+HXjT;5hrF==dut=P0K zNhs$FJ*we@SMFzeV;i**7pmJi6Z?(;Utt6iYEHQlX}foTIZ~%I zK$Tvf3}&p^2!+Pk01rXT&ySflWvSL7SzsDBMVA$8`?aA$z?4MfSq%P-xk^&g8Xpcc*r65GvS zz1G2l{fa4Tb8BD1a}H552>`y4a`G*$#)OqTnrrV+H;A1O>k;Q@Tkt{?+jD%l4sXuS zjn!F5?pXAnIJd?Rzk38a z@w5l$w&1SyiP)OLn6ncF3UlIGkG9@1TqpL+M>5vc;yHJPU7PSZ>?)+i>WB}}aq&3C zyr~~l!RWbnOJ524Y(Uy=BQ-y^9Vm!jA0RA(r3#f7HDPP=qaOU7nhD{X0f_ zgWm;DfTuKly~SAR&hnIUsB{t&rn4a^(EWDq`T(m0CK*)1s_%` zLhkXS^Cv}1c0Q{tnBdw;n8y+6=OAZis<;}bPRmO5_iPs{(BQ%^8Z<>h4tdpa6Oml*JiALGly()Z`o zP*DUo11Pn$?9v}0gi11&O86mXv%wS(6^>gF8vk+rI!h%vlG^=U55~_V>c0-X?yFD>a$rHb~mB?gcEi@?Y{7ys9)K-a$(lN;+u)P z@DYdT_I@(J2(4|?PicNqifh8BRhNehD*Cb1Dd*Qi@xku>{SM>25vG7TewdVE*&my< z!>0K4P4CCyuR&L5s9QvAvF$%a#c? zA`j?RYi*u$`)uA9PC>schSC_CSEzsValsV2WSv(L&U`+Uha)Gib8cF6`{o*4Qtw~E zF5iL?cYJw+tQYavzLakMlZADW+Vqijsel+N;MgJk!=Z0}Wt_OE&;(CrM|g*+^Dpmt zMx`81pRu8OXh(Yme`~aQWC}ZLb?U|>umqw@TEh_i^vx{bA>iIk{uk2H;5>b-`mMim zt8K{A`ECD5)MM@uc`C_$(Yfal9Hq9mSl5`M{;k}j&C6onmEV*@&eP|)8yX(=+@-0^ zjjI>0*S#Z8;aYoT3Rt;izH)n|qiB6^CP;(|^}BCJnc>+d7(`mJ8X(q#&JzdiC?f-b zY2*`G{6wZszI7%~kx&PK=9XU&O#MQOxwEOH*y#RqT|WBlizZp3bl=9?6hvR>B}}s( z*Vnsw(7kOxx@H$*eClwzb@Rn$cG~3rYn@%HWEmTJ2)(Mfe=$9YYZrwQ0Ytk#SF`?EXQkF`gZjn$^m=mnZ4M4W}m{%1B!}a z={tLs)po(yt)bLWNl{bTpYjRsTzsN3mixT^fc*E12RbE8jq}cWJui1<&fgeOr#C-( zcpNIc4@CMLJLfpQA8DV&|LVub84)gDfEkAA+_AgITvj_wPC87XBk`E98l>25oI>u? z`?NtX8>_hrP}nIUl&;I}uPEJ>FWZ>Y9nHxKdpj)zoX6Z04u4B(CnJDEosA+JvlC(#4CRNq}7(b^DsMZ zKWBl(65OmQ#}|wqk3mw5SgMPAnEO!xnTdVN3TZ6w19eeF7ab(ZtOAPa2Qj{(jn=-% zvprUP^SX%lYHA0xAELE$xx%IiJ-cOJ5c16%ZtVAaakJxmZ`u{5DMgO3Qy+_4ngON! zTH4B^65w{fNtEBod2_3<)I?lO{fQkqwE2M~fRC4~4%jNAA+g`V_|w?!h$0v*LstQH z@F{Ajw{_%PniP%vg1|bj2GN>O&46NKT?oRf0r7h=hXN-tTHD+uDVRjEMngE#!* zai@HFwL2$*n37ffpNippTxUvqz$)e!#&Jz^#F4C>18XlB91M;28M#0n$cxD?SG>3R zgu#}orDggm{ z4MEqM;k`^-JBK0j9 z`iS7P-7%9pd@BDgD ze+1%r1fGRX^Hasju%jCj@4~b4ri?}$mH_WQ8GoPhk|vz= zp3)kzi4>RSPl-3bO3y?oE*i!8axQ#|p=+S?GnZ&J_lL%!qhaTt%-bf1h6ab(rKPfh z9+9ASEfBjU%beQDTdssp@K0@#TN%Qa22!Nc!ZO^C$u9$s>a`SDcOASdcCIlZHFqD_ zqGc?+?`XIN6Id4eg)G7#Iowo>s8fhx#+Y6SW#<>qSgdaLtMcrJM zUw7}5p8}miJs5u-NGC{FzZ=eo74b8nbRE<3ifL_BcRqBBv}>6P@Z!jhOUaGO>q>t6 zk*GgV@5DwZz@|hMLw&?u__nG=5M@Sb=kbw-p6n0&en8T&nB#G!e=IFyy~ zK{Wo#TK+;0o`x>si~YpX@ma^~(t42Y@s_N0Dl$E;Fzxo%rdu8xKmQ87*(22|bVT(d ztOwgZ_2Mv>!h1NX898oel*(q^Wea}u87274@-^rujZo$EwWY6Z_iUvAF&T@-BnM&< zH8EEmMg628i=ZPTIi==;d?S4kh|v3RqG^T6)I&>|>GSYv3nJch@xkLSY1!J7*?2Xp zx9U<#mg8DYQwE}uir3lU85brn`V_nqLbmABIx;OwOetcy2x_Sy-}ukk7EwtJ+<)e~ zJkiiqbAbvZ3Ygq3ThTh?)TGe4?<-cg^GEQ|Vgjnv-#6@v9k$ks^;{XT#BOAsKUZOw zCFMA&ldA{yT0SEicqWd4{(@2V9M^gtz>U;^WQua2chu=vEWrq7;f#&osovs&FvgVb zH?022EIs0n>9SE@M@7CpFj@^TONsCN%sh{wJ8PUwUAO?gyiB0rK&VfI)4|K;93xOE zO?!SL#ip^3I^Ve$ZPrqZbgKMesxb0fXnr4S?oCFqMwa{e!*TrAXd(?<7uB9UPXnpB z@EtSt%W`&!V_4SJmqLAN{U$d@m_DRCmn5QzM9(~7kUqF0W;&y0V`JCCDs6Au!}D8M{ERIhvi@#$s{*B zyJmqA#qe*#*%4D#wEJ3E=$$ggPtckw0~@zc#`G}8E%U1-dj`1Br*({SS?k?T44yHM zdNq#5di+l(Y!-%Z16r>(L0POqg>SrlP(^PM&A^)taG&dN?K0_AG((qo*NsV`xf^F} zeGvwCD36?V<2DoL2Q)VwJD*p#9Tc^b(}2>POeQZDl5Pdx>*Gvcduo#;MOW%njj!&v z5XX#L+bJ8^qWKo{eZ=FzT4uysN6UhGotj-}I~MzOLcEtK&uE7R&$jsQy$gEwAN>mx zq~EfQGh@nxEy!ZaX1`s&m14Ae8D>!BS(i;W5F=p$#eKKgT{K*KEk(cntVLn&+D#KENGiflv1f;pG8_f99eA2IdG zlGjO(uc)+pvnTq3oz&+&Z>&l+mjbk0`sLHq+iXXbX4(bJ*-w2JMv`9s)>mc$Ewq61 z&@OGGOS#G~tT={Zot)o$bA1@nZm~yWynAjw28uVSxX4e>FkkAzj;)Plsc@U@bPm2B zsm~roET#z3{3ONeE}H49I#->VjoO-$;@Ty8EQYAQ-kegL!qHx$?MZQBA@Je*}tJGm?^A`W1Ipm~n1unQ!gOMs;}7C7NRr zx3Az$0#sH9!fPTfP(iY%?4M>JFFD^X@;NTXF;Dj<)-zHdS&4On`jgU+BaIb|M&bi6 zrQAe6De*6kKJ=E4x7z`-vp=Vr;s~*D9TtLAE|_?Dk&UzCTI;2sZn*bhFD zhKOxSI4(ecqjQzgd*$p^^I*04%sOS0Grm5P9>6l!WSLIN|M+vXMY)IYqGZUah_>95 z$NDyDFXhCoRz|HQK6m{OG5@k$76nb?drcb4?{BtrwrG9Y$*OZQOCjWBGjF#16_*s( z9y0FIeX6I1H<37H4et1`A}EGRZf4R4xP1#Ez@6-uc2g~x(<7Oi4Jm|X zmK!Qk9Tgu#Vr$RBw3cz3E}-=LAYXN;-I zL9%Ph0nsPtEmVpJrkMpC$0H^f=*k6*)7Q8$N%aO&aE1#AYscveU1x4qzyfwkt z<|zk+=VWG97vIP5eg{Fpi!W9cBNLZt4MoCk50m}2QK4oHX~F}T49Er4%p*fgYda}n zORJ<&JF|Vlwo{`o9&JA0#&?`;1b<0P$1;-F>rUAnB?@=yXbt9fo?WEZW28&Ho%;4Q zg{GD=FFK1WgK{c`t{9|qrwEXVl6wqVisB_2qP4=Umn?R9I3gP*>V;eDR%ZP!IU)d6 zh`;SFWZt;g`7m)0?abki5sSp_`KBVbiD?x779^g%-7sB}{%5f_$wsjg`)jKL<1#Vi z{Ar01*@DkCIA2ZkOsBFrEsLf|VPQFOIX?G&jcLE7ppc(WJ!}4(0Lm%7-(m73Kh>JO z3DbVOx5R`;Ldk*FLOfPhNOFU(9w=?p6L^f%jBeW-4qA~7%3ND7yK7GS=XY8H*bD6f zMwfA~M@IVipXYlrn zFhA?F9nN~u@gq+7Ve9pn#cEwV(6X7ot(hi;NMGr@4SpAr36^-j~~L{w>*!3 zP#}Z&%hv_xcsUK?1BV}-Doy;P4=_>eJ8~+WHq=*FKL-doz8B#g>s+G^dWBLNOc-)3 zdgfC!dX|)g;jWTlD=c>&Z4`Cm2d{U44u1qs<4&Sn`^#jt=IOdM>@9J>^H$E0SvP#| zkOEZ|e@ngQ>ilvg9V%^4tWmIh8dT4wMF&z3^*NKBIb1vjHq(C9Q@ZbhL}kAE3s(0I zM*CA>X**!}MzX9erZ`Xn!^Q#&|E`D33Uzw&^z;eI8c(wF-@O?J$Nvy#N{)6WF2>K| zj@jPCR28A|Ec~DlHV$qU5WD!ZxpTIAe)2s1PiSFhEAj02z|0c-oDdEu2ZWOg!UKgs zxmY2bOb`gubDq4N$$v^wbu_fMN0>azLPKjO1c+TpRZ@cu?qY3iWN2&qH;bydg%kMs z{%@u?V0DC}({pJs7u$19Zaz*J_ghXj*gvfQMF^I&a7BRshGGF**&8~WJ0T3guK!vG zW8-9lu>9>K|K$$3|3?c{J?s%+c10sg6=xd|y8@W!Zz<^L@3Cp-Oe8`=s)$0EQ% zCMAhM!W3V@lc1JpH^vzb9Q`bvO3-*M#FDL|$?~q|)_n3eIWWcmzAcw>yO1yl))q)E zu1LzeMGg)PEM|X4qcN)J-pttl8%+9gVaH(f+g3l&0t7Xqq*_6<7cY|6{goJuoY==V z8r-O%A)vI1`CF>Cj9ZFBz0mr6U`k%I4G43i9tk;~LetaRPx#{s%<+D;o|j5TXEOm7@(9K2Mpht%yJV^cbm z`4Qog#_gM|cMATFw$2o|(V=H0#(`ByovT^Z4Z6*AwF5)e2Mjfl^C{8Qrml+z1S5y1ZY++Y%{i{;WiHzPvb8z? z?Yn9yBTPZ;GPWiNcd$0(SrF@j*i|e%5ziwK`$w=g2bdGg@jRz&XXgy&fIP2P{yW{& z4*XyL$=`tlSX)q1>>cm(Hs_Oo^Fk$|yyD#AlDu3nNjMB9CI*+_h6#iJbINm-e~I&d z^fMUzp9QqBfx-1icl#i)8!HOy9!oSe_`@bnm?^3eBRm8Z4CBJ9;dsAnV306BjD%#_ ef>QhMU2$?YbaZxieC`7eFE<~Efk9Fc4*Gu|yFal2 literal 0 HcmV?d00001