From fb42dc0335ed47cbfdd9176a1cfdd37cab487ddd Mon Sep 17 00:00:00 2001 From: Sam Moore Date: Tue, 20 May 2014 01:05:52 +0800 Subject: [PATCH] Add Some Figures - Plots of 8 bit minifloats (positive only) - Messing around with SVG a bit --- figures/minifloat.pdf | Bin 0 -> 21672 bytes figures/minifloat_diff.pdf | Bin 0 -> 22671 bytes figures/rabbit.html | 260 +++++++++++++++++++++++++++++++++++++ figures/rabbit.svg | 159 +++++++++++++++++++++++ figures/rabbit_simple.svg | 196 ++++++++++++++++++++++++++++ figures/shape.html | 39 ++++++ figures/shape.pdf | Bin 0 -> 1153 bytes figures/shape.svg | 18 +++ 8 files changed, 672 insertions(+) create mode 100644 figures/minifloat.pdf create mode 100644 figures/minifloat_diff.pdf create mode 100644 figures/rabbit.html create mode 100644 figures/rabbit.svg create mode 100644 figures/rabbit_simple.svg create mode 100644 figures/shape.html create mode 100644 figures/shape.pdf create mode 100644 figures/shape.svg diff --git a/figures/minifloat.pdf b/figures/minifloat.pdf new file mode 100644 index 0000000000000000000000000000000000000000..565fbfd91fa9be8a2b0c3966c1ecd54c0c73a0f9 GIT binary patch literal 21672 zcmZsC1z1}_vuInaxV30;cXw-{xJz*N1X|p+cyXt=TY|eoarZ#+;_g0%N}gh_ zpUb|VPS~-fh&oo;C2UHgoZ8vhiHfs#`FTH2+^%&d`-*xKWT)o~iL|rj(;2O0KW{%Z zinVk4jN1{5MsJMM^7;ndDz6#(T|SV-ki}fuJzhP`W1epEi9H=2c0SIQtQfdlIb$E! z^qu`~fdbgP&)VA^jm9w)6*?uO0wIcx9yvmusYw?|n$)+tgEch~L)f?a~Xy%(}(5Q+TBB z&{nU|vhy38&t8^hE;MNW{RD+jRrsDQ>$fxQk_oBtMnIl<)_mB>r1v_!em+37r1hVE zH#gr~iz(>%-JZ;Q-}266&p}{VJ^x`%hfMsXB0D@?eF8T|b(DTvIT^{eMs;<)%@SVH zG3vBS=(yjBdFChex!#q`W>Bmov3J{FR;tWczv-S?7+t&%Z*H~U%+_ym_)B$zTtn!J zACv5P$8L*E;Kf^JGt^tgAi&A7A;G4Z;a&NJvBxJmKrNYGcH-PJ=pxkQFL91Ue! z!JI@BLbNVLGyb)9e`EXO#Lxe1ufMT0W5VYaj=SgPqR^t%o8yR0EIB4I!|hh=qxThj z)8%P4MGJlmQG*>RaKTW-^cSbSRZMq=+vE~p(Cp_we!h2OVoz6Y z#}4P`ff?g&jy|2474>(|e=qHpF*_f(Q^cOGcRT;Cul>FH+mpTe{FL%cKC!vw6!c+j z*QGvuKelCZ>ilB>$CSwm+7TO+NCL%iY9;GF3eq3f1JIl4eZ;}!ru!r`!#WU zx{c|34Y>o#I9<7?pB$_R>_JJD(g6zqjw1K$J&2x+YSwX*NrZ zB`6fz^L*ry_ahGs&;C7q$CDgQ)+27$X%~Jua2N0H)hfPxgZnF!&o`2-i8JHP>Cgof zyR~Ny6*+J{q#`KDTmBuG*eG^=22*~f)o zDAS-7UfKq+&{c~Y4BCY&hcC=K%)a>#UtCF5$G_jXD>qHbXZ%69-{~>_lXi9&n$h;7 z4;MyWtGiGXXO^)#K45%1IEOPKve{l zY4kVezNy9us`cD>>r3e5D=pRuQwMMhR`pim?$5&tffc z#ckr*TvX-fQgKG5{vsxn0TKn}D)A$%;zXBNB6(i|*_W|yrYE~`LzZE}f0s^1I-%~b z&$nOgq{jE-S6Tm)&v#wp6dI4ete;cN?7hI zpCAR<#05<0!^TY%9}07W>CilQ=)n%9Rv#<5#FJK29o4c#+B;^?pvjAjh_#-Xe$A} zhU2Ufc1;wA1^?k{a{XSZote!~ijl>Na{YGYRlz!4PVOgkk9Nda-IE`3$h3p(!4F4W ztwShzL%so*Am@a7;t^a*ltcF&XB|qS>Q_XhD_se{30x<*Wr}(1)tHI~_!MgEYLANf z*`)Y*=)?`b1yes`Si z$kwzjsL5aw<<1VnzxC!HepSedHmPc&Fu~VB#N+vJt4ZHu(=D~8%iS}+0u{%i*m%vb zuj<}^!>s-qSI)m}UXP}hW8hYIBaq}fs^PBjZbxHfgA$E8-V|kj_>=ScyFfGoC+CLs zj}ST*4U(+LZ?|Z;w;$Vu$#(49*DZN3_?vQ7l{pHadjUKtBeHU)oF~J~H^K&Ygc3=*A%; z4R!ueWZz=#GRcYP_c7z4D2aALjI5b&c?x5CvI{q)j-X?`4KlnE7M)% z;0g5>IqxZ%2~2P33G8qB>DZHMC7;^(r#oJ7Em~+kBJ-ypJOKt#6@gjG?WHFH-EJwaOx7eX`-6$1sbMcZ$TQytgcQqU&LLgBSatVd@UZsuwFf z!F8Sp@4eRBDwVoQi4;K`A#w7}U~)PSw%9A+InnfNGZbV3*=sQI6fx(fIF=BEd9kFp zp40v*@s=|xYzu0BwkjiL=38b-VOAVIU`jsHqM0R1L!mQlSpe}r6jvCw8Hj)Viwx&5 z!Et>~J9ylBzy0mMnCl-&(S~4x1yi7VY(0Rwf2t7%h5jZ;mZ@05uDp?zYR$ zxk-6a%=@Pvl~de(d;_p**75`hI^W> zkIX;8y_y&nyh0%LR(5jf&-h;5xO|>mXsZVQaHAP9`;&FKFgg z_-_*aO!S{*SZs^sI|WT%vt*_x`(kq@-!%&X@NWz+1rw-9t%E_WcPhx~N<>*#UpgG3sgGWL+jR^$hr5_4%v4Zyg@cvZ>u3xF$%aLqbc3bFqTLtIvI_ zmd|eV6-!269!PTOuzZZ5G4n=!gkm7(X)?Ppb2s9KQXpoNGQ04H2zRQdJ-AKeY?!gQ zv1MKqbeP8RSmB@4X-t`C~Oq zjArgNpOTFY-d?6*&^c9*6kTmy;>Xs$w@c{)@CPZjjm_|iM zZ<4*n)grF^O$_kE9Huj(obpfa*ED+7-%jl1l!#AX%cq4H&=YfmI_i7qs&;9X9 zs6zXUW-cj2Z|L%|lG!Q6s=t+}T7qEK&a8z%muboD#gz-Q+i_K0sp}}g{FY&zZz%+V zM^EY!zw?X-3gjwyxG>&{floFN9@+1zW1cS-( z8(eXTJG08?4x9}4X|js%wNR`-uYm`w=|MchF2!H1nsPs&^F-~A_qr;YpvBoh%=1mttwwW9I%blh|ww2oN+sA@^>4az+g{15^Y5v~z z{6Vc%nC@~5bW;#20ZG0OGZf{NcW;MLeWQz|aB26A!-Sbqj&NudrmMe^YNRFEz?5nm zf6}IwCaOq?`-K4mrdB0g#OwDF3QGn}PBHux6f{?{46h5TJ|Zv3aIiGm4{8?caE(8 zO7{RZZeDutEi;nS5vnv>!5JS(YXBmSMNmhH|KJ;(5$9iPPVH_rE+cU!a?T7TEngmL zapO4RlNiaLKh5WbL{g88Se&jmt{NXe6f8ehuscNs!JGgRZu$fKl<&yW1)9yU`^=88 z_Q?+~3^qw_`M~ouwq#2y)CH-&aEKxl=kYJxKt($1tmJmn!mQ99- z&)ckh6;p>j`b`--SFJ%54r#*{$Xqpe#Cwf}+|UihGo86%*+YKE%J+QQU-?rcbPsCY zXPj~FSr)Jm;8=l8Q`o7TUWBgsXWt$}u3FR)o+2hNYfT|3ke#>fijT2)!_=lb zZPC_i0?U+GeUZ5gH*DRZ?LAj>ArJ7EJt^+hy7O`P4nu+4(XAO<32pa?EOh0D8J=pHdTqFd;-7=H=7X3Jd2qZ7E@^^^bTrRWFllIg+x@8{KLXp_hgd>Z(Y@rO+;~ z;$xF!tflloLt*E$QO5L9x6sC5eJLzk#65g zSn=!A9CrFwv%5{;*3;?WC$uQ5EZH^9Xvv;}W~+|kUYy&4Z(7EEx7tgTb}4zJ@GDC8 zKq<8K>SYpK@@beztXMeY5&zmm!)TE!=vlY(swsaUl%AR{Wdu-&%Fr{>n1Ul%wdtdG zL(jBl;inl2G%&|6uZZ{%C`SGrCsu(~+svznL}vk*X0EQqRo37FZMxpM`9Tqo+u>Uy zl&kXz_!qecLYfSifSYv3{rtdkn)hVwk^h5T`|A(l1;@0qd)?y>w(++)m#7$RG=#HP z=26+Aj&l^o^i--gPk%sPTp!WqzfEd2(7ODIPA_)Vd?MJjkmAhvEn;~F?Luvu_#q$0 zvuK*LR#&lp0<)Q^w68Yi6Tog1B%5L5=1rD#g#^{L5~rGo;FWjxk2J!`kdpPBOwYM3 z8txiGWwc69|G`h@eLex!o!ikU*vXgLHb^j)3CK|p{sGgJ^PWK`lTYMjWx^R=>(qXZ zkAh!H^ENyH3H)2d$vAP+ywx3i%PI|Ra6E+9+=4W%G7`xTlcW$#A&C`x)AENm7g;zQ zlQ9Oj86__ZW?+fvnD_EsZapju;7A!O87irqKe;z0LxDZc{w-SsTYiy+rXbB4Ku<=w zF88pe#2HerDrvmSpk}l*b`QxhJvyd)H5g|cYRhvIU~(qGTC&GpAJwt z@2@+;qFzC~*~Smqi#D5z7c$_A)7z#RU=y&jn5*HMU9r<_2sWUwv#OMiLJ6O!n_m3%jWTADYkqbK^yGv@C;7eD+Fu`+8D#5W=A2yn z0VK|U+||ObebOW((9l#;DRFF_TI=3Dx|u^}Ji-v3;;%4BVT63sHuIq(>py{Ebs??F zXt`yY_=Nt_a87$R0iA&vH)*pzX?3WEkw<&6*~Y+7oQ~KTwgQ9?{~EYtlP}tNU`QZzZ-W{kB$cSMm9OxVEWW6JyxE)KKjLA8g`DOy>p= zPpzkXwM13(J+T#hlVXHB2SwNvwFYgb$}!~!BgWnjPdmHp6z)sxAt|VCayZg7_qgeM z6#4I_cDBDS?wh_MN)+rQy(=Z8r?|U9NPO%?6y%D*!C9u;Bio@PtMg+Pp#1?$<@Fl6 z`_YWFB2{(CfSJ=)IXZYATjsXgr| z$@bzYj{o9y+A;72R|UN;4Tn*2#9gK%AT0tL*LOy)QDVZf*qTqgwAbj1ibjRtF0K{Q zP%{_AVMPj`*EE0^_xcqUQ+j$d-m4&YmzwaV!KBEv!eVqg52k6h0Ef3R_nGk&5V_yw zqgxdZ63hBS zv`wilQ=Nl=|;%2m&VKEr`s|#sk zPD@~!?gy!5J$+$b*q1oo=9fo8GObqoj(Lc=Hm&Wd?dDZlE^BDr^lhiO;S)XLhT*&v z_+NB1Xqc8dBCf4*MtM=N121R-EqV4->#%9QFtvjuO_}{1p2o#XI+jCgsOoIg{Mr+} zq<*uO7XwA3MD7 z$255<>_dH)?DbbY=oW^p1{U7G8A7%l(s@{A5p(UA?G5OyYoFgti+}8MluPrxpF&qD-3a~rG}HuUOZ(!Ri2Vosf9=X7$Ff-k{?_S!=ips45yynw{3>SMP0ED-Er-w`FTTTkd;yPNk8B#cq+EoZ2~d0wsw)=3Gfb#u}pr409V!m^~l&98nM4 z&GE&Ur*9yQpr2BthGLb_2=1AEp=yDk>vHj*c?tzH?TE^eHG;_+N38fC`l zFLenR-=IZ-T8)n=!?hO zeiasbT}YL@r$zW(oUDMC9LIZ1rFeNl>i|F23fk8d0MEhm@<40PBvB-=hq_68tGvhB z4N>aRbbR`7op# zTcn5R&#w3INFMvc&s*KwfO(f?6J>qmmNkZI#=+8g4jy1kX+@VC1 zt#178)#DToWn`jg?dewh4ZxxRR4NQ9VOQDETj3o79 ztev||vxa5=wyvNNL(w%Vq~|N4m^zB$GC{6Y7!O+qu(;e5!Cb9$g1{BR^b+1Sfz`i! zLC7dj%c#27j3-rHVxE{hXS5*XGZz6s#}1)ZK?OGLz2X5{2uu}X>60Z!H1BQR4BL;t z_(KtS`Hb+QWcM;!ZjiNFk|Yp-o(ldmPAacmAj1ap36MW8u7~kJh$`I*PHtkn1?EOp zh8uKJZys*GCf6_?%umkJv97G)z-_bIbo$2+m)RCYm65=9x1a|SH>Px;#OxX+Y=3c5 zyMy^wd`^SMgV>`XTE@HCKYK<4~ z2Utx=Kgl<9Gs~@an&)Mj;BLyK9D^2GB_k`qru{(l(?i*nUZ)(Joz=c@D{RBjG;*_G zU&6-h0JtyDh3Jek+|8jSBQA^=(l~R5;K4am1|G4l!jnZcXJ&9)zd>mpCxfNlLbq-Q zgc=*D@^42t8h4YJuuUt_=W8mRwo!llA;f1!B8Tvi`3u7eY5J~G_K<{k=Hp3K!jYo71RMfZsQK0bYh++q5997b-; zFzOocUNf#W9zM2!lQ^G9^PsoPl6AU$#gZIAH&?>P;jLZ4&i)#pJeT78@`~9sYnK@N zC-fP;s$j~BueNPes8b*d)TslO6;AFW;rSqdUK$dIVqFV{?h9miq)eLiwQ8|@y0r^Q zXXLlWAV3`vl8}A+4q9CUy4M5$!28>hVBpak>Jyw^ zH%_5ZRUmm(6Byg?VDw|Ua=&YGnJoQ;9euEWh9t2kCN~6)Ojcd$<7&F>8`cWWyn4q7 zrD7z@H+LcNMr4pi!&2na08}sfpanp0nHZsvNW+uOc%QVAI&X>q9evXKS*id}Z*@qK zz(kRz!LBfjg*+8V|5p(Jgf(42`I@=bsuQY=%%=*ZMPq(9g2G?|-K6SPEN{Ufg*!!- zDA$F(J>~f^(1j*=Ox`E$q!6*QK>|dt!>TO7rGOdP2^c6w?TcVAtmJx7u-mRB*eX@z zVakK5>|i#d!JjK>FjrF~kMjDoNb^``rLggLo2@`)t7MOr5`gp`Jz4&^!K!5D!-_vU4J+|)sOFP?SE z?~@Zt0FV>swmqda_w6Z&7)N{D-3#BJ|M88*aKKY+CvthTPwb;~lQm`STxb}urmj%CSJxV@v?frrFy$OgvT|Ck=`+$&3gGJlmH_Nx-f6BmpC4

+A-@ip3MGG^`mi8T?uyLSJ2^k2wgqskPQ~ujb6PIw!sNA#X zeSK^ZKYIN^UFwu|$Nq+mrW4V>aS{+z(SZo2agow7J_GMDkavE-G-Wo*;9;dklxIL& zms~FMfSQ$IG*8fKt!61mA2|^`bNsRRu5f5VKU5G*wQ|D9@nLpd%isW+Xn&qB6(qmn z>yn-0!HZ$d3B8{!Rk;3|`{hy*->8-dvn1L%K}u8Nm=MBxjo`T3IHaL>@B#7wKUO>L z$fmwhkRR0+bJ{xcj}dTBnc#FgbprvYQ_ZE6Ew(jUu_#SBSK}5r&B|cRu!tyrJ+@RS zecbXN?t`yj7;bU=!1WFS=TbWBDL(a7(8x+Pti&ACVx?F_MD>GKorF)MZikqyW1uDh zkp&33l@&J#xgOla(M_UD$-D&^rCts4tio4|TlJ7w5CFUY%?B$)nJ*LCHElOB06-1G zS>w+!ZOpj<563V~A*FT2OHcnB6Dh4J5Y!tmb*- zYaa7Q{qzaAG0{}7Kae;TE&&V}XsWNdpNk~xpgT@$W~1<^5CsZfBgnx3K%%jL6*_A& z%X+19T|hx!&64<(_huiAk9tOds9F_-st+EiqT)#zC#E>#kn-zINd3Y^plnLNKU4$oN8=wR*po!T0MwPcZ&#C*5|~V1*dO7z<^MLezn3w_J^XH zQEf`bsP7iWOnF-l-!d2zB}UTlW_WUK=IE3qHd%nIkJJkFFuVRr7ki)|I>eP^krt4{ zUHPDDEx`5(W{D?eli-{9qTfdXir2Yh?0BUIy*A&|)LfdB)fpW~q&hY5fGC2~+W94j zqH5YMrF3Dqf$0i7WDI35<+7P~=3v}pD(=*SD)|?1%QcN;U^q{qMQ}A`{Dc|J0diG5 zDb?!TtGELU*y%2`Ya*j0magT*>$uH$vgEt2k(HswN21U}$j|S4uG-?2jLVb7H^>D|fR}QJ3E-8VQZ0 zIevep)qFsyz#!+3De#CBK3McB%IrDvI2Klafw`hGFNFmIoTL(^Jl?m4JLX9ayAa@RzeErx-OWr7O8x1d@4L61^oo!V}jndYKpZg{_s1fEdY3v_D8gN1oxmUi7- zZ^aCw9#1J~NRu62Nf`^0W&F88?f77DzqIdVw^O(X<)8js52;3?ogq;?GYu#&$B?V&8xGcq8AI#+IT!dN+2Uab8Yy$Hoke4+k* zMjaPIYV7@^T%%Pt^m(#^G&yMb{s1Mh$crRp0X!rxaj%V*Cxhv7fDHcVlT31}QegK| z^*1!!h5*b-@1Y)Ui>dbw0zS|Vj1iB!A`TWpR77m+P|It0KxKPERZ$z1x(o?cKj2KN z(j0S<(Z)=OYwY-fqp@At!f6AX6w@@0>Wa0&mI`cA6=&9R8~gl8(Vq z2XRZsPPc3R!`etCuCE*94FIN*ZqRD1NW|}b`8aL_<Fv2)FX~yZtJJC)45`{ZjwGA+p|%(=B_B>)bS_vR>8G3 zu#dTqB;{?(vdWqnjfTT}npui7xM{V$smqpJt(C*nRnMY@TCvu8?2tC@Xlx|je3%L4 zA}*el7<`dF1_9t!Vx_(#N!LPLU5fWTP6@3hPK4*9>%!zAhL&8h8mPTsHkCv@nAN~@ zu8aN*y{uMj)#YIWw0iQ9Ey4Von^`crahj+(wB$q-tWZKV> z;pZibP$3etnR@lkUu0R6=Qs{PsJAsDPAbfp5yE$1#vDOPxlH$K3!5(^lM&;4RtQKd zbnKuMW}233+M1AJ4Sn5N_}7x6SZYw*cRZi+bv?^k;jL70k6`hK1V9oa>5*=EeSEo8 zYJlm>VN|?F&RAZ<5+M0e`Km;^0OT1CME66LOa;Du^k+_SO(POH0uB1oUbD zNq!H6onjA{R_6|tz7&cz=Cytv(0(rphq|iI+nLV0-b6V7=JA8~|FR(faLr5(kYzkg z={Zd)byso?)ogosZ{m%kD}54TW%d?tL^)V-u{8>>Spz;f*XF2+d`g;9n*vRZy&Q1W zmdd^_|Ei|VsQZOiJwfqoakPV@tcVr>&~4pf4-0sw0j4X7S7X#=5mbYntorggYfK%` zzAMaw4p{E}g0GBO(8@Dtl8$=^3ZGyoX^0Zit$>){_QFy|BKht9Ts3DhW~lcv~aX2e0kKo zc!DCZPun(wR?tLsF{?#SDXansdBj+zv(9=SqEX%=d-$>36KlTt_9bItL<39#@rp{x zJ_q-=u2X%VnnYstj)ghk*EDk_mNbNTC7L9utvA&+e)?>gg(PWcsAzeul#4T58iaVf z+=R(5*$*wPMrMm_>Bnr(ShePBXpb0_ZwuNBZ(cwlmG>*6+g-Q&)s#b@@Vl>5+CIXV zV~xEQ5=;eB8o4bg#Ld^eLk$On(;#~0cmu|{Ttv-Xf6{9-ijLfi*}U=Gml|tmcxQh2_vKG)1v*Gbm+Cv84}I;M9u+6c2HR)e5-D3Yz>nL4eeZ`-ZVO+ZsQDmn*B zfg5wm;|yAzSa?0Os*##ch&%uwC09Qb-^7WX#;m3bbpWSt7Ra$v#6jxp~pZGH@X90Cj1 zlj>Dm%=R>IH+FzAiaT(=?6BTXVKcpfcFDial@^gGdsO#0Adt-0UZ(qFUzjtj{y?kG zd@*ango?aY6!_MtQ=jAQ)83D(Ry8=qg)q|V_rvcnwn`6=0V5JH3-{!Yfb#&6*^`N9 z2_7Y0%{Iz5bibJRd;wYYlXNaX@_B>TkS^>JqdP*f#Hf5+O%lFU`lR$F(r5Vh zW-`s!)Sos2tDzk`yBwUD^mp&D>VTviJbWM~GKa>%db9tcXL@zMM zS#xnI#9B6>N1KqbZ-+-msAySofI6|a{Iivc!^sAk*|$X?Z3M5$o#H+^7g@>N*1XaA zoa@l!KiPfaA?|;Fbmwv~^S5d9Et%ot>uj#>U^2FdUQUia?=6haMOO6E2hKl`W?6{P zOG1BRhRF@}4LTQZ+RXhUfrXz3(jv?k=8Qm z!PHhIkyb*$PXfAik|=rW@A({=GJSy0aj`PD%2ADfD`%98mX^bosZ*!10y{s!fPMes zkQH(uFVslP{Zq@W3|y%=@+sl%r$ZnRBqOYbMY2z5iT2^w85oaiRm^ zpy{pyUw^+c5@}QNDL2CSpiSBGVb6`dLLM#?tQaG+=dle|ayiP^h?}cBD;+aEn1jh?xlua?Mo54FUW@%m z;3c1ztqRLc0KcPDuEcMGTlgegbs7r>i>x#?Qp!@4KPe)8s ztjjiT1=QAWI3t-?$jNLx$-dj0 z3QhpVJ#zEZek!CxzcN7KlQ z8jSHfWJZ#|`+joup4j@~Q&O4M;kyAm+G5CMZIcY? z`He+Z|3R|u`w9_pMig^0zF%W6-Y2WaGkyzbv8erQ9HRzVD^*guUB@5R7(hs@vky<$ zO}ef-9CJZwC4rDW0Ft)K1~@E772K2#v>XKBAAN^ylFSOx`lDAT3H4RONzsi<1U>Puxz=et~S=a7MFcM>|EmE92X zEl5~0(=%9S0T%>yk@>8fMP$-{r%LnM6RP8fYs7HHXXh&!LkEy$KUx9VE1TvN6lyMmV{%V^3aPB&pWSDpxgvUbC_a z&5Ybc5f_!G(12nL|gjUXDIo>+)b`>g8@CgIH+Y3vj&W?Tg!`@9f&q{z|{X~ z0BmZot6FMTNn!bTW^4XdN4hL5DB5K?GqNlTc%z>cftCdPuypyQDweZ-4@N@?J zz?N3}8(b5c7;x^ME>dSIB5vnzX|ZfAbrY4$ibLhX{(QVu5DLj5Q@^3w`-UO|@m}t| zkkZ!!p-alSUyeBds6d;}C2#PHwZMvtLqKfH2VU*H*P+qZZ${wOoXatNy8r{8-3K+t ztBw+tG39%@4>exD*I^}7KH;;0F*4;zA&dPvSeL;@ZR0L9{~ z`G0l4z`nio&Ac?ryj)@JG8|m&+*~gZFZZ1P(^vDalSb0rSz6s0)HUHL!pD=aWs!?yK|vg0^H~XJIGj`S0Ew7!d65zlibv4>58! z4G((@ayAtcD~o@GRZJW$V0bwGdmfvjg*nhf+|Hd`4>rV3&c(}4&dI?`ZtxFU0!9-C z?nM657WAJUAZbTC7yJLk$A9qu8~txV)L~Q|O};wWztA%C`0rs^a%V@Ee_XssD*=Q0 zY~cztvrv;3e*yU~G1V-b>|7kpES$(+RHpX7q~e3!|39rs{Qtw&|F1Rah0K3?m^jG! zdAYg&uU@5X9WQ+V;AZWitbL-{?j&J%TeL|ZOO*l(o2OYPEv7%0TY`>AgA%fjBnOhi z5S5CZ{fTc~u=nA<`K+iQU6$Yz^JK2daku$I)V3CL>b@f^SR00+yV>_w$(EQGi5P9{LRfqQ zO%=-~DDI8?wdnFelHPF7l0S}kK6^?%y&>^P{} zEwJVvN=wug{GKecG6KvruKl_}?tD`T^c$$ZwsMl-(GSaQ^6JOm;`5U@Ozo^z*c@o5 zRJx>A7R|s9nKoEjYO`1}2n1@6_NL_gm4h^XS&Q~tYFx|Fb$IGWcgO^JWbI+?Ryj{9 z2!~FO=FsCN<;f*Z)jMMwD9qdeU&wR~n7)@U6cFVt`4zYW%6~^a5^0l& zsFj#-&?W0^xnOZpn2<(UtOTl2ep2;C<+vpy6ZKJ3@71`@f)7!aUK#tM1&9NrinW69 zzU)BoY?NBY4$pL@W=7FAs&MVZ)f|&inR;qMXzy^$x8cI}Q89+eW+iYXi~romHSUh` z|J`D;n&@zRj!?e~ma3+p6xV;+%&;qiUwJ->KDaylM>iiKMMkED}$}>xLD{* za&Y@Ducm69P3?kWz6K0X(%}h7R7lG@M+Wb~#qinjogn>8L zk?=I8bFvz{k(_}a>`pRgw|;=rj-?xq5Wy>xngcQUU%n1Iu~5gD?ievVGA(X#>*YDB zw0!Ijv?aG66%)HAHgPZZzs`~nEMw_259`&;g@rgu3O;%o-;w3Zs#v30eV;Anc<{ZnI9t#aY;pUor~bON zK|z4G@@VvGqGWydw_9WR!*Alw=VKwx1CXy~tCa~*$HR1*B4(ElDSM^(Kmcdn1DlE3 z)6>oPLu1a=4}>3ihWzC{C$j_F?WV7S@%v1n!zo z2zg(@C{jV+be^h%m?in_P9>f8MMV9Oa|SC7jRq%lG@55e29+-POH&=B!VA|D6uFDe3U}L$iz# z{w3@5yR>eU2iEJ%oH5fjZq@L2PC)c&QHE|F>yK;6VR6i;z3Nm1$o>v!uiJ69-X#M| zKS{%W`c0^?b4$mwKh@M9D~k>$6q2rYvC!5KGCcV#uWP3ppZO^wQqTQZ1)&ziCC z74+aG_APpKw4G80bxlg_bq&#zxl7oR4|UWs$(b~<47(0S3nEhap@B`jTcI>D4w4|r z_wlzZoFdacL42$$%S&@E<>gF4&w8TR;O!hP>Ol-IbApq<6noI`sf2N0q0r^-l-M6U z&OeUl;Px=54_sQ^D)kzz8h^EWi|jx5&{X>_gcxkxUmtFG_WZeKO14{W^6vB8&nyQ3 z^o&Z%76r$g?Dr2(J09+*1G9n>c<{xZA5F((1uyrvN3#2IE}oj7vb)}EDw)cBC6Csa z28?O|^$TsPtCCABN7A(WK-8PZW@cmUDO_JASsaeRcT14{*FK*!1ik{7TbhhN6eG-X z1l@n#PdH|uvM0Z^{M?;1v~+1G=5cY|cAVf>)taN+CXJ+i_cN2(#t(ErM?#WaP{d11 zJ3Te~x!gG@ri8!rliqx=ZKlix+;`qo0;Z|OILArC=A{qZ8gylD73ah_b>jpnW5|YX z8DwxwI1}5ku_<0`e#!!`y@Y_pBx*>`Rj#Y7W>-Rc@hB==OQU3XMge;3qr1%v?Xy*& zfoOns$xR3TiI9(|>DEs=u{?ceKj!;hK$`UCiPvi>(uKQ?seHB*VM-Q|k^;_JSS1-F zmXY6G>K`+D_KCb!18Vcr_ONGxFu&AMjL%LH@HpB8{e;mDg#0Q}-^+e@P1FZh#k=Y~ zzEuy9YrL~F4Z!L8`7SR$Lk4H?|L_4}XN; z`=ma0*JW7Ug1xCdJeyjRD6Vk| z;0Gd3*&3-xmk^wm29;5*6)Lng8XaS1=ICX9Q5o5p0wB`9 zoD4EcoZJT*hsA(qFsg@yD*KiQ#Ulk?Qmh_BS>A08+%5Kn0^)Qt@yrr-^|h zd$Z7j%OO;cZN)Qp60pa5_0Ch?pzuUZxzw%Hrqrv{s+8~E)vrClQqNn5v5%TU!qU@j z0*|uLEairc$)lsNS)kDc`uC=TSi=+Ow7y;%Lz;fR`<0=#$y;-wPlDn0n#G1W%foax zeW3h3Boqy(pmYLwx`hAB9Dh7`gKQT&h69at82zBcHUlTcg?T1yI4JMImje98GP5Bx zwamQqJXhFZqj`%>vF1w^8z~Sx%8~y{r=7jacPK!hkHGi}K*<&Rc2|SLtwAz4q0cY% zUCzW7P$N54(wKaCcXmbCn+Ln>+rWo)AYRI zRwJ83+Jc&CU9@Lj7Ln(U)mQvp8EmwudvAc)dcC_N@;rKjmI4Sq!w{)U1xCdqA&)G> zg3jkJYYe{YQtuw}=-xXxzj8>7;jhVci$vr9B;WOUn=!#6D!O4Y9X*Vs)wd>y)~Q4^ zZYC+We}9CK;E7pN!4o5iKU#>IJDp|*r^ukKxjFLc<7Mr{T*vgX_pQyPaz;^Sk#vEG z50~2!{~USJ+S?PhtQB-G05ci(j5ge`vD7#bNm#@e3R*AJdG7SNNxod3Ra591abK7e z5x!|rc-ZANHfDo+k?zj0CEG$%pOk&da z4--k9wCH}oo{*H;n#NQAG8^VJ2HifRbK6YWPTNk$LK68OYca-o?AY72SZG2uh7@=r z8mVdZ<>5+mSY!No95fQ%^*C7SON9t|YC+^FaS6Q>2?kpbUNkOLdqgW^Bv0Est( zBsAq8syhP9&OV;oj!Rr789#~!U(zHneN&YRG@n*>Xyw+Golxk^$Ti?qQ_D`}=oAoMW_QhUgW@^0hYKId5z{c29{4lHZo(C3^m zB3lzaQk)@Jyb2@;Fz1yK8)R1#QsYw-o6fn#!cR4EzW&|wZ)&-zb%gzmXvioBzV7;~s`=%WRM;9?qTU@wR^vGXGX#pH=Ni>#olj9b5 zKDqS>5vucw^=UjMoi0g}LYFxFc`)Q(l` z6E-uh0xJbe1Z!JF8l|HPFp}t|W;j`#DOm8C=#tv+c7ihjfHuR&|5M4C$3xY&4?JTT zYr<>GHr8aF#SEkD`(CnzWU`DY41=LWvueI>Bf0{9==4D?n1f-9;M8MKYoBZ3CRN2*#~4zZ+h&6)j=2xDw&^Kt zO%eN{jt(MEHuCpHJ zYSgXx<0%@377d8=pc$Jfnp_W#9PhR=>--Y_^j+ z(9Aj({`r)HtO0|~ysgBmWS0+|EV|O_MsF?tQXbPJp0R%K80mnFj73&&^|r({nIC`r zc&TJN2^;Km{>jBjiS>93IXmy+I|4C@u!*!dMyiL#?sYF!`wCZ5{Axl1`X8Kd8~2Ia zG zA(+_OPw;7qU>R zpBlSq+2-$k*O142ua|pblv5<3(^Z9Up@go=&!B5)MLqJ~sBNw`-UY>?VdoT1&NA^x zPqKlCOP@ZzpH2ZhzU+ z@J`rVvZ{+8n&oW>Aa!ggs0h6KvLh^ls(;QB0 z?5$u4r_+YLJA)y(+Yl~fH&M7;WqUNvBS>EnebdY;>9U)1q^Vf?h+&tGT+$_9DRiXM z9Heql@@bUIt=Gbz4qbA!wgGp$x|Bq4R=_hDPJC8q0vjD}5Ivi;F`l39AmTDdA54}0 zvS$S&L10kMNeYgwgz`6M4JOi=Csd5!7#<|{6oAX-|FsISTbF4iAJ$$9NLisjry-Xp z+mgSYPjXOi9PK{e#h4~#>8Re75__6_M#&1?)O0GqkgliZI=!zC~ACz%(x zHL;3;XVK|~N1ew#B~>$Zsz(I3QOn7S$q+OvYrFjxzApLmhy#i=7%6)wDxa=%qPR(v zdqC%YePHUtJR_#F!X9Gh%QRiM67~{`*?I%?0}mmkBuZ_#dRzx_V&@oMNj@0mGgD5v zF2gd}$(AC1A1N%Js6%S0ClHAIViCCsgH!s#A@lBJ?qDCj9eTe6AwR)&QH8> znbRY_H#amSOe+cP86(L%2U9d4Gw7IH-PuqnDhdL#Zbuh)miTArJKXY4DynT(lh6KR zeaU3}HBG1q$HtE8_LVFl7D0vM@{ z<25n2u%Gz*d=?giMM(%X4|)G&eYSuaUG9zd^p<*bwvb0uJdaayp;UNG0`V*&yciGuv+c1}@Cm zKV!S?8-^TTKflz)JEXHvA)RmEBYbR2xV-v0bKSvI_u@uMnnJD%{ zwqsVV@CdG5q|YI3#j$lFrj-h{^kbinxCT#zqsr%;T3Kp1AM>QfEMsIAkFah%+N;|B z(v;}e0KJ``jP4p|C%oGzMy6}Uc1T}JO{Lq$)4wfmpWIy=W`61b4uiGUfF3byRSGr1 zTC?BfjIo|qyTbj&w&j)bR`KDwz^UhgTX{rz-IhhCsaRqkd}`qNnXMu}FJ7UBleDUz zmEyztsfCJK^+2ls@;XjUc8q3yHx)wl#UpA`{^||A=_{a#_RdK=5V!K`Ja?-4Vxt$i z#(TGcIQgs2z@4qEwzo@> z={`bJw#mW{d>56mRY+C#7Y$#a<6d1}a3j$VNgMp;v`tOQtKIRwON==ZEukyX)u5pg z!M0&~8xi416Z)PaW&c_sE+!kXDP9g4g%*&&3+^>v)|9_n8U)kEs0%=bG`n|* z+5Xc8RAx5M){Ygn%z_qVu6CB0%S@f7(gC?LrHMN(&`W-}s>gf^GNlJ{rB5S0o*f8+ zoCmY&JX?!~J7y5U-V5N)77MU(uB)o}QNgnIJr0lEP^y5ytz2Ta8g!!@6zT~4>DRc8 zWB`&dg>GC&r5(Y~alC*|&~GyGSc9G3PYF_8F^c&7Mg_VcIgVrife5s5O#?l8W7EB- z*>+8(WKy^}>}Wt*>JLgfz7$wL-t?qKVAMdY z{Bu<=6HEN6?rBT-=a{=2>{hiwgxPe#$P{=0Q-bEIJYm!CWUgRLs9CvzbU1~y| z+h)J%<7IXD>x|9#8#{XyD^6qCGd@}R#mgtO#7-z@6b+fX?L}$dF03x8d&D*Orn%8R zcYgf!Dk{dXT)|{kq?kVwZy#>7z?=z_F1yg%8sNO~)Z6|-qk5yGuF7KFHHS*o;ro|d zsZmKrTX#M@PSWt9i)YS2xG_B`i8kw2r3-8ijHu*My>Yb&V-~@D4dE8f>MfAYf*k@6 zvc3>dBEKkZIm@VOMAa9r!sINe6cMglt}9$LlR4Vj=`BF^o~C*u(V91N!mpY7(@{|0)86zcYkU>$HX3e?kf@o^&H zynOM5edb0HnPNNuXlHI?cuG%4THEC!#>(#u0Mx$gbuk_|_W+3GfeJ#=9Y0XIW3T|N zgMS~Xd4Tq0VNf^}BC7yHLSQH*COpQqvDL}7$zxYB-? z;vc0i3r8UL1zH#{eHR?o4Zw(inSIe2Ul$K6h|39OW8R9P55yr-r8w?wer$&ek|*UpF5Bks@G}r}(iU&;T?AK9u&47KK1T{=d(U zRt~OFN)&QSX-Gv%bQF;k2Y+oSGzBtK8cONg)z4#4FbX?GDp0;iP(aELv~a}(-zjIb zq5|L_0?@*MGsTJmaD@bF1c8R{YbbM&XxIS=27oT!(i2D7@DV~W`ePb@FKP;GKB!eA zoHHeAl&3QPj+Ff<{P_p2yYK9`LeK)Xk_1))MA8X^Bj6!0IT&0Hz|oR!zP?_{@&FbG zq*wyR%MIt`BZntoj~~?iDFWWv&k5L@@_(534=;!Pxa;M?!qmb5%L0$x&;I`Nd`0H} zO!6nVxH1AONr4gi{eYm5NCXn%3OSI$VNfIxbIJkn{3?SXU`QZ@Kgoa&B}+fafN_AO zpJi|;3JPTQmvL|u@H_I0OhM_lacCu=CVv@+R{G5sI1~Z>)gB;20BQc|9&i{8{_8#9 zFgWrDnJ)nYEPTTLUZQ7kfi9F-QJB0r9uHK&Kd%%Rc)9|a1|}ZVm5(om;JY7PIPeMu NuraB)j+rjwe*nt+$^-xa literal 0 HcmV?d00001 diff --git a/figures/minifloat_diff.pdf b/figures/minifloat_diff.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7ca7b3f324c95fdc9eb4bcc16b451ca8a03cd972 GIT binary patch literal 22671 zcmZsC1z1&Ex3;u&gLHRGcQ+dlM7q0`?vidv0qO4UMxnvvI`;N}slxeT^M?4%77 z4LXvQ`}NnLyhUg02|m6R+H9qpq7shDEv2TVbWuLME`?~=y<1HVd7sO(DuoN4KTozx z!edXrL!Qph)jQXOA8&^ngmwPh#*BLZS-B8?IJ{o+y`Lxf-QQ{R_)h3?uD{cpaPAMu z*wZKJ``cf(h$rvFA9&lGj3G@S#hAUh zAQ67N?l0G=91d9{krwR95YqAJjUnl@^}PxqxhA>ZMZG&mU2-M)ZSV7E?zr=T*2Z-> z`tDv|lN*JR@te5&4s}DL(=IVvlE!!GNYu{LX2SF<;bng43ZX`E%=Iovh>*AbVeK@u z8`b^jqHZAuYa|^wl73K#(1b(K)Ylp7Jj=O(-;55(^0?7{oy)XhLQXrrLdm;I8yNhR zNj6S`&A?pZ0rQjF?(z3bfxL%{DEH+uVwx5Q zrWC05)~|N6kKcBqfBi9(7P7~5oled_eQIX$ew==A$3xW=I9%BLM9xBd<#fKoJAUWb zc#7l8xY88Da$TzpYc^b%(&mHz6_Ri~_WR0dySB$136+qF+9@I4S7s9Ppja92VX@6$*3dz^6jQ{Nje;iQsPvA3*LT`6LI zP>un+(ql*0AbD3m-^a5eA6HRcZN8DMpwHiYPYB2Tj>h<$8-M*7lNPGzK0Tqom1dkv zTi>l@DZSmeBgne*l^z(Ed^r2_)c)jfWWMPbR4j0ynb|X}^)xK}^eb8T;diCJ@Z+J< zZd~P)OPBBOL-x@%Fe&Vx>()wP--nCj%Feq&k|#yGB4rXGlHau$_ZN+`fNzgopU$p) zpZ*X$t<33nJl@T%J>5^~KmIwN$`pRwoqK8{_jR*db!2(C!0kVK{ph~q^C$VZm3!{& zyiwoxA*NFQ>Cbu0)8o$YoW9T9{*#wC^UqA*`>Urr>o?cHSe3@8~x6w>(;fd zaisU#J|AQLcwGpt749lMthn~yoczB11~Ye*MTAPsJaXP-g!jDRVs!;NZw&`PBN-i{;UMD3QIej34U{GjL?0)!CnT~{4 z#h5S+yV1K}uxy(gdOQQfM$L8%ViG~h&4p;_*l%?|r6rbzLdfHj_UR51^hQp7+@RzS zHSbHWB&Q23dFJB>zsbd*j-HuTKdct1H^{bmA>H-Di2Ttgl>HsVdjSuGSr9@>Mbqez zT5q^7CWX=aU$7G!9C~hVRwB?>djmrevc;6h$mva508Y37C$;JJ+dl*?jLQ*h>l`{f zgTzKc5gh0NB6*keXsFPeI&5k0B5XFw6atf6-f^4YnVoyE%xuV=jY+bqyjJx@SWt#Q z>9ze(v6+8pXDU>{k`7ktS@_coFH&V3S@P$Y% zlZ)Ns0SmQhWX%B0CcXE96(!a>Z`F?P4sE5$v?n-Go=tNeSNv&#X{PBtD9U(2bR;qv zkDBBjyNsQr?(yidloR3h;x%56u}|2q^H_$!oW}dZIcsW>AnO~!AdaHgtrsT^Uz#)Y zP*K^R2`GLKia#QwR_my#(BSPr=#41x5*;y{CQqB&VVFz&l^D;gpXZ^2eJ=z@)rr-U zkRiskkDJb;zHGKbuh%P$-KCB~W&aBCg$pSTGidFM^Hq8~&u{!$#7h4>8M>wSIlKvw z2&!KlSO>0Z;2=&xJt9F7u7W|V(P?jK#;~7_@;)nnTtjw{fFowgZNtYYA|3DMGx|HS z_eXRRk;}aN|2TTrO!t^yf>CajRO(wWBF%z$U?Uw_j#$yMYG~*`!64zW3Kx2%{0sIA z{&3rwu~VZUd&Ua41SO2J^C_JMH=RMiOUOimyd*B=6#4H12LK;BHghLvoqR`II>ey4&+2ksh)ibYi!%{%{D&3hgU zR?sT1dB=&~#--evz|Ml}H=5El>6`5fZtE2)BY2yBA15ltOsemEE4*)ucdHuIosO(W zb1p*m?7r+V+f3)jQB4F@P|jx!?NE0^6RgpG-5uKxcRzA3Hpz$pbE-NeRAX_w6zmMkH5+LIVZagx?mt%ylbfKC!D43+~mho(x`q0v# z_%Pw=qhy?4?ZhnRnk3|Vm)t2IdnNxzjihu{5L`So26cU0Dp7|R1ygA{COdmC*1%0x`FZD9s*^vx*={ihqphsWCsb1!% zZ6mJ392W9>lI$7<5I1$Z+!Ar^)xCn1kP3SbzC{Yo)`ZF@kqML<1&i)e-x1z72c5kN z&W*5}|#6evR7!-Ya7wOk8fd-yJ-oGO--Dr4Yy#Qnt+R%q!s?3f8fjN3^0ANUr_BIKl2E#X+8yj6wF9+k|fPr1ZRP<=mBNmU!mQOm=(xvBiwoUkF`RFyu{ zS8^SHSW_UM#?&$z!b0TpdGg-bfyxCH?t^o ziuZzO*>t1{j`mnb!531-;y^*ls`l;!m-)X%q7=(D+baS{P>70o`@x#1%c92oidn_N zb0K35XHwdh#`rRUiVbIdHVF13_Smbta<&_So$~cgO8v`NdiZLDf)pXz#rPh!Q!VV!je z6$UQC;{)80DW0iM&VF-w$61r_$=7Wj5zyxk!QnFhCY4jUz+b{*8Y%rbfJ9WEqO(hZ zAnc1y7g0s5MAfxTS8QO-)XzGQ3uJCkEVMdsDzTs02Y{!K*;OkRE>2qluy+frlWpgi zPodz!&HIa{OZCI2&c`airBt_d+2!~b@Ex3XVJ*|h0xG4Lr*@$ut219n{C& zCSQI?_o-Rn^Y-Di-OniSy=MTQS198CG2?!QEbsz3;u-Q@sQw}K-UYw2{Ed_UI1Z4_ z-g_lOYKe>QZ+=pVeAvI75pUNyy~JMHFSSnZu;TZ=DwtAl_jdSjoLh4Mivf`i+_t+r ze0b1S8XL2pPWfHm_k+fKhEr+G!r+xHzxRyOz11E)bOZ1#pZ8U{qP{Jkw{!KBdYYns z`{AV;W4ffzKz^ouX#}(D4(IQPS?rH5u-5%{*uQtQde1?*4&c$iwixl8{Rtdr0h_N5 z3>1Y{b-WIibk5NgO?!9vRg>bLca^<8OV`LR=$H#u9GSyTxCKMK{L-08jZ4JI>>dll z(;X83s*8y6>erjE9`4>2ZjV1kNW<8iu%O~4R%s^-(kC-KT?HYG=gTgMto__05rDK5 zpm z@5M6KIyL=EP#y7DcwhCH>mvo>TaKN2Ia5M}2ba<=_)VwmtIh|EcfR4?^Cwu}>Iw@~ z04nHFCL4!U&ZX`kxD5So5|GS)!`v%_JIN~M#WiWo;++fW>o-7(N~Kj*f6HMVI3~vp z)Br&t1mnFDfapAn&A&kP@E$xbY-}+tq1h6btx4ge)*{>SDr%HB*hLY@Z&gR;0T)rn z3dCa+ZMXFDI=fT3032lS32V?C(J9udBcknwvtjjFODq%=S+rr&iR=i_(v+L zpDhhuMa6W#!RLIJRAFK<`&#!UaizVmq`kG>L1C)w?s%5jh`a3WGV93TH~@L zq3Qs2pR>tk48Cp-iW{7f>Ie-2Y-E2}*BG?W3UD$%th*^t^nCh|F4XC1eqx!40}O!D z3xGOtJ^n1N??qhtb2$|;c2vxY0O~}+PeO53#|l(koAm1j*5AvCNa?oe*FUB$^;b)# z#uFF$h@yY+9m}g0T4tdVow2`U}Wxv)%Q|yLx^ZFo-06ge;>H$ z3&!}36_sd<txp!Nn(VgCqiijf3;-O)9>dw}lrHKos`YiAuay>Ysvpwk+b$3{*+J z&0f+a=g8B215fv|u(z&M;!AoNL$F}`t6vpN9PMpQ^TYgeh92$$;E?Fn@~H_NGXdqz#b( zM95CPxiEOoR1H(OphA}5Xd{EA{fL4o+_i(tAHW5d-@AJM@<*$pey_QHWO(YHiuzk7 z>)z4lK=XqVdLlOxxVC}78z;mv;|r`pOn+a7}v6C*LpR_?FlV$mVfUq^*mYXkK5}OSLJOzSymcuRA!XM z;yg5dR(u{VGnmiG_?G@s8f3|S=DSu_6kBR2IZkyAH~1&tR8Y1pbDY)KuJ7F7yA=bM z8CX3#0=GNhyGmErfnKDyWVxqB3SE?6xI^nKckAx77Vi?pbR1Ofqp`={Dty@#+0B&? z*F%1`kI{>LKri;Gwx;P-LtQ2_j#vCz95okGfzX7Y%f^DI0-<*0pbZy+>P=SZ8{PTJ znaGt^Ciw^o+l`wY%QCM!cU()>FK2^Zt|4NYQr~a%tV#Z3J8=_4LG5q66u?(t4oo1O z_g~VvPQ67|D1>?b3+7%Pkn+_KG~nr+L-Fqf+F9=~O^@V)&7#1v&n~a~>_H2b1Tuar zB@FVpKeI@M2dc}+OLb{^?s)wAq6x*f7VHqg^M05XRuj(I3~hIKsT}WSpA+X5(*pC$ zbS_?xWl;%dm&K6LG5`i@LNIryNUoHe!29wf0;oLVp^g3o+mwlkat<13|=9F z*!`tI3E2#IshnccK#N0w!G~)BYW?sULbfKR=`o<0w`i#iO&tiRW&o>~4&xtIb?nYSU*I7SP@X80%^`N! z@~mA&gQBMZvmJu>BdKbkI{?Yv=YK(>N!rCJu&QvHg>nVE_2i0d0gcGLIpqH;uhl?j zv$#K02o!a6I%p4bpfFT+G8j}85lp^4{4t^krbhGvLK1ZY712Xyg^9nGJo zATTkpE4SDB13TYA`h%FX8uFk>zxme`WZ> zt~}Y5S@hB76cG6;{7tp$J+H*hGqSm&sPI;I7gme64wH>4`*@uXeWyYzT3&Uzj*GJN+oGm~b`nWX>atgxk zSz1W5u(p!6#X7{gnORjHT08%lh3CE=Joo0TtYMz-F4 zLL8V7BG~e0zH}!SO2>71R67Gj37j@xd|14BS+GGCf)WxylOMzfmi;$86p@~sAQ<0F zcZ~}BuDJ4=+>=2H=&>$t-( zO53=8fC~I}jWzbzLk^+)4TbHH^9@~E?`~iBIAOazJ&D?=t7O%;*Hv5v4BJ%Wb zEQ9McNds`;8$LO|yFJ%e(Q;g2gf)mPtOd2I_S6w%tE*W61a=UVTvW4G`G? zL_)0ERivyQ8BpXc7g|4%Hi0fmagh3)@GGI_o3D(T1zj@=@4t8(Tp$07XJHQ4FEcTmeBU>(0Bh>=*6wzp6_FV-1+ z#C2zp_1l+x&6onE|IvIJSgO+TL9)|&Kq~RJXV84|9_8uODX`V^q9c{zYropk(FTjl(yjW-563S%T73T?jVU^58KGIzNIvZ)#kcc9xoc0Lbz)Mf4g zL;1vsJP?f)-8Y|_!wx5XGM3H)liK8ar5l}*J7R`GI?2};%fY9X3$_~H{IuuRe>W}n zI$Hw#-NX)U(@h&U@X8y5lD1mvmMb=!52OU;)G?Uk3d-e{rV;C=yLu91+s_iXirx7t zq<=T}^3j9y9+ zfEexB13EkmX##H2hxf)C@T~ZV)`iP;PVqHVpKJhtnbwQ~{$u5WteoHiu%^=cFHn0* zoH!XG>W|dS%;}Lqgxs$hH}+G(X;vZyXv_YUc1B;E}wVkEv8)nabik_#t8thGQ< zb^BGz*R2VlnLCjSp6$=J=lg4t31SE4z8=-RA{t<_a8lbTk+Usnb(f7z9GB?t8Ul=F z0Nyud+`9y2*C=ciLBw8B8G<+f7~uQ3qGuG9J#j4XTXBHZn+~20hRnok1}htxo%=>3 zJ*1;pLJbd*WiqF_s>`U*zE3W=w>63&7RNCU<1o;vnSp)cfFgk_y`0|I@XmDybKL+{ z3d4BAIGFJAIa2T~&Vb2}SQOpR8yzX4B)q!n!^_JC?6$IrKWM`Xs#>yJ=+S$G%W`}Z z@0RSVzDEkhp^HBvG|D5BS*aOuN*NNK+bjciXmcUZQ|^)t}HmGlnaO2!nIA+Z2?H2?^+w!@|(Fp z*up)-eR47dzX z3if3Yg`;f|6_lGP$`9xryc`rP$MC$=2iEbm6^j~Qvm;W3f}{vAgQ<--c>ksve!K5~ zR#`y!V%9ysp8;F|{5tNH0Z9PCaXAl-&#AKc&iHxx0MM}4aZeS3=YugVY`%|X|E;uV zZxo)Fe0#vcNEaw{;?nHiu+N^1;-Xfy2*=vX0cH#FR?ssIkZ*r!aM`^PfW^~aFyQCB z|3ATSQ9pBW+{=3bBLE95KV`zCW9oqyGwQaCBj7QGOtDUkDGBxjuLM{>IK+z?P#JHSR+XC5XsD0dp(GODzZIK)HL%c=W|RLzeBgP> z4EVrI<>tc%m9b$razs!vISlVIw%*5AIA*cEd;H=4vL8$tN18;((WzEv2yJPzDaX(G^u=6`|=J+A(llla7U7rv4p;_N2}bJ zI_RtVYP&gf?#@Ol4&cN{j>+{2lX6OdXBT1S0B#Jk<$?IYwM^LXQn``gTud#C?u$}bNlWjOAAocw#vp6OLy(B6~ z_{Z;vq34FoY<*YfU@8r=U$1i}7R*>uKOv?QD2>nqY$hfmHM(;N&LMrc*qx6I5VIBv z8vUeRFCf?1_{@UTT3NY$`~X!!Y4yQ}(+%B2csueH1ZpyEZTv+3r{X%qp7 zJ|Tj4C2S$^(;032+5fUaFMMXji~8S0Rn|1xA{{>vwb4cuh?dqMop3*BcToiDz-cvP z^(;h0mi=W#CTRP5&)4!!vR zE31193jx-Di578Uy8$Abv(ZLB;|qB}L-58kFEj^YfC$N)AED+i zs}(kTh~GpkHlnQT&Ni-y1Bn_9B2urLUo<4w&WeB5uS1qIT?v0ulc_r1nl{ zF}etK{FXXMfahN`SY3ERc#;8(Y<*Z_0Z>`EO^cBDWZSIZ8W@PNXe<-i#e;k%17nkV zn7v4W709qr7QlUe#96D)R2%@+T<9t!K=gyDD>&N*;*Rn!sAuS^GB42a{zpH+2$nUA zkWL`L2qu6L9&xf7&;5Ocd{imMyD;Vn@6^PhmuT$gl--#nXlywH6&hdRN8ffSF(#b* zudTph3BDs|n?V%13qcf$LaQLL=)Sq-huD&v{7|`(n^Myg;v3B0-!BuC>0E;A<$!_f zg-^E30S@quvhV^BN_thPeYpJ?unO5Rhe_oSs9#xmgdkuc#zaIlpEvA2)RqUiZAGo* zA0OZ>pCv2WLY77G^igUXy?68Tp4MmyrfdX0J=~e3AP{# zTG^?bX#WXyyhDdn#i!5vH9Z|#3655ws$kh2cSCB5PyPkyzz!kPGWsxIJb;%a=W}g} zQHXC$>#Nf%i7>*AG*rhzp{C032bb2}OyOlEX^ZU_+1_|;i0jU=tB`tLd-90=r&kky zCX%ey63m23DrO?(%s59%fdEA3=g!BEnbQ^-2Nf55zJtBB;AFn!5vi(RfO)`=P1F3v z=@3OQl7fBhJhJ)?e-q0|#a-`fb!}0WWgzR82qJeqOUnCaHbh#n;Y56~h-Zq=dihje zEu@7pOX0@08ykT?L`^BNTP??n3x@i(J0{5Go+1;hY7NfFBQC_{;=1 zH39+8BLZ<=^O;G9{efc@Ov+fZHD&I1zvaoe$}bViGqdJA3HJUii}#TscgSA{zv?_A z`7VO!+C>wiKrgG^9vtm57EXk+m-gK_FNcLs?YDi@pe1kj@7pxIPrG4NCTq(R=7H6Y zK96cXLM!IKe@ZzHEU$0g?{c1%!fL4LK%JHLea(QhCfHM3_X&!6@Ml??4UpcMY833g z+up5I5AIxhWO*XU&_*z|Gx_IC8F2S}8twTA+Vd4SgvQIm%Jxj~{PFF74y(N!Pm^?W zl2&yBj;4_c2s{q}|5yxJfe)lC;-aK%q%6jUz+d3N8t}#6zbsPrc256AZN|jP#7fHf z?}4{x2G2umq+I_F0nY(H|H$Y5k9<;=_wFA}Nm-N)%}rmhC>uJM0<78oeU1fWYGP?9 zX75I-4Ggi8vU9PLzGdSg)qSBB2Vel?j-=1W@BW^(lXkFo{`g9ZA8{!1$! z;Pd}F0?7LxSpU}%z-KXk&kC}Uvazzg<#}fIpF@Gi9-eMklC!RA=@lm_8NW@a2Pxx6 z6sY6TAStP#Uz0|@9{BNN0MsS z!%JogG@gURHfb<>`as{VB9jHa#LCNvQINgI!V!F&uB)gmK-=tgthqQ}8)ec-cF%^0 zaYe_NV|AYlgj}>ti9xeRpLI@)#O~vBN6E17zt|pB5@g>+g`co=^T8jVd$K#|g%3Pe z5c8TRffwX7RQysWmmwt+7i|%xkokUE{tf~)o)4{u22%<_vi|*m^~XAdFhu-(0*MY$ z=e9su%G`6E3*BCiiaQ-gvxHG|#9NyVv9P)^zuQ^)94)q|t^R!n{Dya{kNNKhD>0zL z$Q}(62y5bFKLvSfmaW>#LN~Gt%`Pr_fvijSwQ8^As6j?trGos!cC|Irj7GH>zHtqv z@^kj{ex1k!cFOHdK3l;}idODb@zt5 zHB5xp#y(y$vPGsWuzgkXZ7O@KIsXGmrXU0KsyZl?1G@i!n&5MBMUz{o^HP(9%{Tdn zvdZ}nDPqys81QUHYItfZY#(AV%gV*A($L9Q;iVv8ATfHtkM19*E(!iG;-*to-mlDwd5cvABq2Yu6e%0EJ+?GA0EHi{2TAB zd?Wm*sshdi1iQj}c_~jk=OeCr6 z0*LI|Nw8xDH@GX41U+2F+8m8L3ZfxUTYKw?_+3T{7(9gPJou>Ksjmsxf%K9eS~=R43R2Rj%KYGJAAPE^!eP*smAH zQ;M?1m=Xz3Ej`%#-i$Kaf_FQ5)e0GpA?`y{GEAhbMd6J=(D1t9q<<%fsE6Jej(N$c_WOjYIzAF{<>>{RKkQ+>GhYkQxaE`N2dQ*+0| zIMv>m&EFw?5vQFGa(@JomizZ+C9n|DTd{Vu@RNp>-VU^Pi!jP1(uZL1ha53rBgl$vHJqdE43594>v#B>Xs|&Mgv7&cfDiXziy^ z_C)B(^-vDd=X6MFpd>L4%A3E%=h6fD$siO3OEAbV$vyM!{u#}V_<5DV~DV*WlQohXy_CJ=F zlO2`KL)R#r`nGiY7$lH=8qTySett#KUl1wqINfc0rR{oJy4Yko8v1$4{M(z~*qj}& zA(Xa$DfuEnM=vL;>E8V=v8|0T!=foXy7G9c+g(Uc{Wi7O891!M_UTJUx0{Movdqu7 zQyBHD)HD6l3rRodTrlyr-=LY>+77ksT=mv7%w|@Yz#=EPS$kRj`E{!-AYB8GIRer? zKH-=OrH}~rAO6m@-R^w3r|nJ<{9tx?%XN-^tg!PgE&rSD{=R+&?}e$yee|};Vn}Ln z`t@aqtpUYB=PO%ge*uh3`A^~HBdKV(DuiU#L194ykW+6>n%{7%b%WlQezUO6cePq6 zv3w{1X>mqwL2D3HT0mN0Wc`vfmbiIm5#FGkcgv7(-SUW~W1FpL%vTRK`K0LeH1K6` z3q|nmelWgL_;yIf$0x*X&B2;oFKNdY&*hXCOTyK{`Wi5Lm-Ql28NVy8oV0NmVPuaLENWK>#eG*7U z-HZ`uDo(`ix ziM%ZiErE&nb5+UNTH#?lT1Xjx)}e&0(bP3Wu=I_Zef1`<_u?*=mwyJVFzwe#Fuoq{ zAo=v3f*(xMEE|)Bco2o-?Oo=WlF#f@A2EM?^8?>hcUdGdBDJ=rBFM5;_Ci9s(&S`V zi4lZE1u4dl6#Tlz@(shA<2!VQy`$QV$x@c~%aRX^dPjF==a!SJJ}tMS8CO?~Thlwk zg;iA>FqjgbZ{aGCF%cTJEND~0U0jilnGBBmi8jtDuT_!5hzG;2 zHOP2}zF}9V3c`Yk`6)|amDW{~00E62rD$tYi5)78CxAJLue#soZKGH4NR zx%p?UFwRNh{mBW~aC>0gAhUUE82j+%?g7rxp-+g1gT+9$LaXVMx)Jonfc2!pbR|wd zYBx{Es^USEvlgL!qrhvIT|eLOtU*$%qk}#~p%IAq4 zbe$J`h~7QWFK1R;&5e~Lwz`zJ$sKPF&5-ooOvB=`Wb%BvJKXB;&}4~@Fgs7@k#e-e zat0F{M)O3bHHX5I%G$@zL>>%uEq(FU{4$#Z7`*`{Wy&W@<{*A8fh4>2m&wvWMmq%9TKxy;xIT$KM>e9 znJ;5n!a;wH`iB?ax)8kLJT9bt<)ORMZa*gA_031*rqBjnF%; zv2K^(!Cu)b(-x}bJN%t1DG$W(?8MAnPZP3d^GCv{ zgsi}gav7>}&q(vt42PrYFcKlUij9QAdLPk5z6R&PMGtmQljUw>-PV(n`LOFOdZP`! zbIYxR_Ev7Ix9K7o6_OdV=mh&1PI2@PkXoiQY^8Ed!wHhh9)rXIHTp5Q47=`B2>=56`>qn z;tJ4H3R)zg%Gt-k_7y9VLpk$Ap(E9k^B{llR?aLOpTpgEhfdYn{Crkc8vn~a(4?Om zU+CIcj1_u!K#EoJ3o=4AUe>Zsp}q2ZO=%~nV|>@3rCxVlSFN9d_$`fH9)n?=la^VW^&eDe*`Lur{ZtEuj{w5686nUP_3Zo7I9LRR<(W^jL*#Si+_F{0*Cqi#7PfpCr~vS<-Mr=Mji?dGMkDY zw1r>3NXfUHygil6)n2@^M*uSX(ZaCqLiH__f$kYVAQUO1r{%0Wy76~1F>~g z%EZ{a_r@oQcH-QBDgM*c@#7HDxQN8^bxT=4lYU#fZDZL<)A!R!dwY+q*S=U3zD|AT z#groW0maNQWK#Cjl|Kfq%+eZ1YS(m6rCkY(DcR6UH~OIX`u(s75BD8;mSw=R^G@Yg zsW|i&nx&w$qV=g1_>{1e3l$80U-GEiOzeF0I z1v53fViKF246;wKGTm|%253Kp#UI(zC^b-}Z|^S6)&?Xwxs)-fd+Phy%8zpMj?14Q z-|Obd&8RPYxtpF7&nFP&PjlaakAH!ld+(SVpe1>Yi2^-a4Nb@74rFZ zZ?vnt7Y>?XBk?Ke=3V2CISa|zorrFH+FY>B}6ut>fz@f7$#ULFVGGl!Pa>z^i5pz z7Ho~cj)b}{y=J>s<%Pl*)0iFAUot>*sS-!9Gg6APKF*f7=&LLeiPRyKG|TOF_)Z=OM0)nBzxM%x$o|q{@3=Uh=k2`Tqn>=w z+mGvWdmfOmriH9p=Rg5HQ?80evBvmmS#{IvM>T!J5VhJD zHGk~R-fP)&W=HcMJ2D3b4|&ziSL)T?n2-;<470fn`u*3l+THCiL{GQg8Fi6$aFYgq zghQ4)eTvcGo9i1bC$sPhNmlM>k8CeGZduNYn*?@#Pj3F)ujEdsWP04BjJn$o>-?2^ z)9T8Q&iN^>KheiyH!;acL7)PAVW5oTJQO(y6B0=xFhqtX%K zDG~fE?*Oms^4&s&ls7M-zs%AHIOIGeehKAykoVH)^;r))jFqONILG7Xn|w; zgTLE-6x+K17c1T&-+J3?2`9!)veUacN&1*|b89>v zclKu{tD-R2`50ac3p9s71>1_1Pf>KZI_EQC`QD{&W#1sYGfl9Np;XlQgIWjbJX^mZSwN-aWPcNelWJ%jbYF_uT|eQ>k%7lk9`i_f)hcah&)R z4adNY9N>RX&e~F_4{Em6e)|?cgpn;S!!?WH;Lq+56;0_`9i?-S)r?TUImv2S$)Qsc z&n#~)<7ye~BsG+52DX_Wk-o6iaM<@5M5Li&4yU?3Q_xYL9hcLV8&G`R{F zeo0u8UKW|IubOA?y-GlW5TSMSIlBo{h3fe|p2WT;;fha7=rpS> z+3eTjh_cOot91N&)9}zijegynj4U07APbeWP=jrHAc-pu6aBt5Rb-4-JP*l>SX=pL?sT9+ z5aC;xnD9Znnh>X8E0r*&pq<3li_G)EtI1tjM=Eds2Zb>a-#96Re1;-x4y0qm^CdaT z5z6$oSuLD5I?4oIA0uyWHS~8CpPUZr=~uPl)U8tw%dPFl2`GMCRM#)-B0}hvW1aav zW-|M%Hcx@u*j5)CARg=+_((g2XQSSH4q3$eVEo|sxM8hTSTEq$*?m{P8W!I^uAO;v z(+q&fWvR+zjaMInA_0KOb0IQBuKGgCbdbK^Hlyb;G2OfMl` zG8U@b>I%Z8PHioDMZb{g%{N^1gj$GpKs`XW`P&9e8VTT-VSkhVE!1*&?Pa3hDs?nnM z(0EA7eJYvCe3>Giq|rM$c~`^c@V{IzLiA}L7G%ovcAa~i}rd1(ydOHIV7`L_Zs1uC8rnpx-tJB zXCWP)SH9?H=&O$tUOc`hLOwo1-&#?}9(gk|vCnqhZsYw>VZ2D!V<5-gf8SRP`%~wq z8usxmqT*|wmifMzmW>As3#^Y4U7nCAh&+_*x)5+MZ4_CeT@VnzZI$(L)~_HBR{Q>l zbS?evyJ$r1TFRg75Qe_(IPZ3u$4z)d^J|A(EeRHcT*XpmSVx9v1-4Mxj~4OPTM-O) zQTW&J{D@rKkl`M*5N&YJO8jgg8y2&rx{^lCI;ar2(l!zyUvDsFTg_7%Y{62j(HeY4 zpRIH}zk;c@^E<5!7R z)#f0e@AE1tSuT+U)@{eF2uY3wb{z&{ILT#W7@F}Iay<9z_!<fi>cWJi9uMh1&r|NAgn)sh zMsQQ;3e1RIgN%7&*ya}k6N$;{5;@f0(DeqJINaqtq{g7m@7?@Gkq_%6JVjArOlZ&s zirYsSEMH}j3Wgk2JvfWIJ{K!6+d&yuSDYBk-e|TdO@EaPbEEr-2 ztl!mM#@^Wob5G>w87!tOq7UJH(r_V!($v}*v<7s*?FwzKRV$F~3Sd={3P0i%qBdzn zr&F_?6(TTGe^;v}S^q0tOtK|tO;oLt)gK7yS718CNq$&2 z4+tlP+KXrinOgCX=~t&8QS)F)sSMWXa9+P5)%4RBiG%T?EgVN#g*>YhArFt$cm+@W zF&B0Pa#NeMf~4uJmx{FEm65V48)VLTwgoN^3=gyfeAO1R3j|lf%q(izMYqZ;GYD#9 z4sLkX&6Pe2*4N7AS-4r>mz*H6;09pcJZLuuzWxX~8z5qDyi>-m%zy?_7mdT{<6rRf zR2BO)2X))Y4F3ezHsVM3|L-sW&58E-v4W7^uPB( zb>l|umRQjOPrVR`r^HE9a%AApkg)cDggj>1k%&;MNBgB>Slq2QvV>sfiJ&$JMY$x` z4%_O*=to2Gl0=EV=gh>Vy1)DQ{r>vRc^ot6{aNPo`Mf{p^LW4JJblK`XBjL%?h}#_ zU5eWN;ohuq zxY2hdoZWRS%3P*Dyh3Q-brG%WOGfH~-?1xyAL2~q9%{YGWe?qUG^-K~zOLc5w>FKP zE-EUOT3+3rlwr$t7$*7vH_5(y1gvY*;XC7-L! zUw357Wbx3WG^hH2eZ5Z-cR6WKPrMr;>P5>rTo+l}4&=B#PSkNyf1fXwl3Kq+W;!Ij zj4|}8Ry{1ZkrFkq_|f#8R}Dtn4jy*2CAU3udIa)b{^)YPAHVq=L&VRy{BOcw_6a{s z4Cqsst_+$li_U-_sPiELQ<69I_}^MbcbBf^@A?!ElC8fL^k{xAeJ9DA<`sxk79=6z zG!;Rj7l{fz_Xp>4>IxtM6o3ZNNR%dkMFKbi8VLZnSz5q|Me?G#>iAH-C`dHFoDS0! zrVWVDqj$JLaQonE6o|p{4SFPBLkf-R4gm>JHGGp5i{fpIBnZmG7lyMJa1Wu$OaYNF z2{4}wfWe5_8$iG#z8gQt1gL2;UgCRG%_>>lcncQV$2S}Zqm1F z02H)r;cz1X0jvOb(!dAWe~9KoMQYg5d~|%6v{?iHo9$?1mOB%IEieE~Y0N(`L;|QA23DY5XJbaDC!()WU!pp+<2aX8k#lR@bKOH!zdvFe{ zCcFgUAlD0Wf_On6;CCV(t_1_7LR1RBHcjXg7Md#O=X{?6KiTmK_@B3Yn$LTHP@5Ov9&Og1ENi*y=+7qEscqx zl~w9F>js3&w;->E9y_tpS~G@Zh>%!uzvlePGsj|emso~V5kl95BR5)#3AY-%7bupj z=3cioP%ch0r1dpRmi4BZCwi7A%=ia3YQIh$=^UwQtja)GsM)N#r{-9(DJs=i&NRb2 z=I)&^ri_|=B})Mz{P0fsn4R#1X(_KRFgw4K!gLcUo*6u>zmxr3k)lgj>m3%FC^l?y z!@2H#+2RhhfV}7DKlNq)=g$%Jotq+BG7S#Z50pz$D-Rp`c5v@9rP;-QY}(bUc2;#` zO6WQ;)Z-GFnyp@L+Pm$^uqWV=>0|CT7Pj{Iy-MF+Zq%`qu5G1#%&E{{v~zYm5`9D< zM}K|Ud-uk+42!JE+|odfXjJ{%*0`Z-s=POYL&i~lT1T=bmewDRc{oH*_^aV;L3!Yc zz6w{z;Ux-H_3{IiciX#}EoWnr#;Tt+5%JTn_T2j8a>DtU9F)PB(&w%>!~MohjrSF{ zlF9L?jmpJC`*ilwx{vQpK2umxw@0*e zeAv-em5#b7&oOwFXKkicG94P)5@Wy}YL~KFu8nG-6&UQxql%SY@@Woi-mizs!5d!O zv6s8DDxFnPu%;O?3hW>AsCkP!9$CjjxaKyyA9gNoF;C~ZV~r!1p~Qn*<2-KV_Yl&9 z`!nXAxHp1o9SLxjJBi1VA0VNCvj@^J&SfFD`%fY0+ z4fM8ywAV^ES9Pd*q!*w+_!XOY##K1T_f@)BcFn^ z@{s4WITw)S&t;kC9SJ?F^6|x;14=fl&TYK-s*V#Y-;bss_5ELP(hqc+``f7?`JI`UqO*%tr z=2P{dQJv$SenZ9m6J}DVEeEF-n<_FK%MStI-I7VnjFVpCT6ycdv}ZoG_o8R$3Oqf; zcsj_q|LjhNx5d?+X{np&=@wTTy>B(03K->tnSCjf;dTdfk-FTz{Kc&uom4)tPkLMa z`hsobE{UG2ie0CkYaqTP`5h6Si9abNJ2K_>*5gWrG}p$W(&5xZAvt$qLs@J@edKmf z{nMzZM#!(+5!sQTcb%%04^KQptDpXSSGCwtHm@Vsm!#HstJ@}pTG_qkwJaS7`70o< zS)ThO!P-BeIrg;Er_o<}OXN#~3f4Amx{~B~VN{%#7kLR2!kbj-UERAWJ;IM0)tiU% zPi_v#H^PGK^(h=Sw#UB2@536C^(jf6?DTTp@6v2^$Vx7W7cB>!vde|OpcPI^It-XE z5*^eYxEvNFC280qx*;HGbO|qnH=+Hw_VLZl2i}gmnr*F?x$R@|WIgwg+|2_FNbV*k zKQ7<6_pO9;?Ln)zhP;ETI$so>yQcKga-XcC4DL+xs}%>jR$o0Z6t!n`(o}dYUXv3Q zx!fPq7XF)84sPH;k#+a();@U+d;2E)i7$&v*rQ(-wHhatq+k0;Jn1lamnoT#aM`mc zFViXy)mk>{&C8{Bd#vf*i?6<$|+NS5CkhQc@uCe$t=X__i=vr`d z0+yov(w!GlPboMEgy6g+B>T=K-()0XGN0 z@*{-Vi0s>TjSy5i%aH!7B#CMAs6k8cMnaaY@6_{q$P|klj;)z_;3f6^F~iNBoK84d zIZej1(8rdyOiVXW-*|rQu)247JF!CuGr5E97xDYP6Nu~`x#dU2aU+gZZ@pq$7E5); z`VH6ZYP)fnzCk?+PpB*-ys!{DI^%qDoqK4_gnvL}I5tzO(NL~2ckuR=#Me)E2jMZH zh3`0r(oR;U2v0E&doS&=oO*?*+j-Iilz#F6+M3S9|3MJPRI&Vz&!$mNXJiY9v&wcI zI~{yUrtt84x%-6;vDrRpzo;M<_b~UWWa+kziCgXTt^LU;!Xxu7$Ol2pT#)}G#=9`; zVT{XdHF`SIU^fN(zl`%h86o{>I0AaJrkx%?gJ|9p6$ z0#<=cNM;!MxY6NpfT?Ut3Y7+N!jLS|fp~5TUl75;r5S@vVZfoivJn~5F*H`-T#}W) zudf%y8&)@bf$)uHUg$6+Kjs&3)ON^yXh;U&&~UI$Ksq|kBb{gG1KgH>>M3j&NRfZ* z;;jBaYRtA8WytrqK#q|~kgS5n3>GB-Us(y*?|HGg06d4f^o=ivRmAMwEodLimkUIt z35^Wb1kYW|If~pLM$YGT5SaZbgU`T2yR<@*6{+k>qA}=5Kpg;IzM-(7%o$@hKGBSHF=PUQ~`zdzq7`M(PV zFeq-zU_O2sdhUh9VX+u2(hVuFfdCO+=-?O9=bH^p{D}>Xh8M~2@)3xT>RDg|2%7ls z>jMEi_In$EMr%Tg@xrob5DPhUp$(5C{O}!+M*N{Z0ziN??ZUDI5dD3d0Rr)d?*-9B zG&DsPl!a{I_hmr<1fhAdFdqP7A=i9o!-7B52M`HA*gydOy=1m5i$Q{ZEnx7s47Q>L vQDDEpcd;d%&O-A2FSrxoJ0HoPk^JR`$s#dWd{2YWKSF3OQ&KW8+qvw&wCi$r literal 0 HcmV?d00001 diff --git a/figures/rabbit.html b/figures/rabbit.html new file mode 100644 index 0000000..d9902e1 --- /dev/null +++ b/figures/rabbit.html @@ -0,0 +1,260 @@ + + + Webby Rabbit + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ + + + + + diff --git a/figures/rabbit.svg b/figures/rabbit.svg new file mode 100644 index 0000000..8691985 --- /dev/null +++ b/figures/rabbit.svg @@ -0,0 +1,159 @@ + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/figures/rabbit_simple.svg b/figures/rabbit_simple.svg new file mode 100644 index 0000000..1340640 --- /dev/null +++ b/figures/rabbit_simple.svg @@ -0,0 +1,196 @@ + + + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/figures/shape.html b/figures/shape.html new file mode 100644 index 0000000..f130d83 --- /dev/null +++ b/figures/shape.html @@ -0,0 +1,39 @@ + + + + Interactive SVG with Javascript + + + + + + + + + + + + + + + + diff --git a/figures/shape.pdf b/figures/shape.pdf new file mode 100644 index 0000000000000000000000000000000000000000..54d36705ab50bbc5720d1af3914dcb41a030cdac GIT binary patch literal 1153 zcmb7EZAcVB7>+24tsp2$>4T{}RLa|1_jd2jE>lnM5Y6l^&A!|A#&hl5y=Ld~`oPGd zprG%56hRU8@gt5%EGj);T=FG&1hB$gQ!;h!Ly+4IiBel;vRJI~Df&ig#i%bF^S z-8r0DU`%Zz(ccUYEI`{?&p4fcEr)6V*8wYmybJ(u?@hp^0Hd%`5@qEg zr;6boMTTBa5j_$o#d@Kxg^>((K&A1fP^1JBtvF6mHwrCN{5qjSRq!Tj4^!4D3B;5H zF4Ce{Lm*3*6r=&p%;lOn5oFb29Li&f%mfV}DO9J(x>-Yk>}=znN~HP2GU@sMh#NP_ zmQp~RflI1%D zGy&tS|6*3&@y|IMPxPMEJASs#p?A0_3DDimvl&ZBFphg(Z T>R3Y9VCdj-8I!4Gt(*A^svuqN literal 0 HcmV?d00001 diff --git a/figures/shape.svg b/figures/shape.svg new file mode 100644 index 0000000..0e1ed7c --- /dev/null +++ b/figures/shape.svg @@ -0,0 +1,18 @@ + + + + + + + + -- 2.20.1