From 366984a7e97d05f52249c46ee7ece825dc3e20c9 Mon Sep 17 00:00:00 2001 From: Andrew Lorimer Date: Sun, 8 Sep 2019 22:10:45 +1000 Subject: [PATCH] [spec] clean up --- spec/statistics.pdf | Bin 247971 -> 249150 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/spec/statistics.pdf b/spec/statistics.pdf index 6e08307749499c6965118c5929c022903d8b5efe..5ee10734e799982484a0982968768e6497d8b606 100644 GIT binary patch delta 6858 zcmaiZMNpg#v@9?{U~u<9AQ0T$g1c+*!2(Qh3C;(E-~@Nq!8Je#?(XgoJh&5Ncz@Na z_ZD|^7rp2@z3i&)Q(YL3(~*HwtB8lp&n?80T1SP*2%H+P{-A7$_dl;0A_1*m=w;kT z1)(g6)PCn8#u&w~-Jp8PUpJ}unI=(H=BagNP-;3VFws zcBqIP&R@FSzueg={xp9+6E{eyLTcJc=0_^sBt1h6ge@-idLF#`$DjOzUtL<*REaH? zJp13C0Twnh|KNZ3ukQ9=!lJVIxt6Xs*UUbieI!nJ_3~mJPPgkNm$Z^Qk~<&Q(D3SUUGslE=x@b}GhzY_N7{W6SUIEpw1)(_DWBUdmH z*NF-~>e4O}kfp*L;h4h?H+||~^SQP)k{DX2(?w;RLr+cF6JDK~pSec@jg$ag5p_FXW&h;9Nz8V03|$G&NavGBJ4V zl;a#jm%hVyYxDZpfAe=|2co&|R`LflJX+U`m8Ta37Jw_fEH?tl*OoKWY~&RRj4_#a z&mFpHK&;&-q^hVT;T4{M@3oVDs!w0MP{0_=hFuN~_U^Yeg;na2Yl?ioowvBC$0n~T4+L;K=3Q}E6&$xClM*aX z+_JgT%-z)&6%*^Nd0q_2Rk#G^R<}=7>87_eyqwQQm{!5gQ0RBTX34srnm@Zq*;vCj z80<*tMY9{3*s-c;U`@;lgywL(#La+pvEt{!fXAIE z@1Imluu(8mjIhm*50YIK18|IS8Cqg^=4vd7UapzxCl5Hz;}!1YJpc?g4Zb{8LCCo> zmkC}PaNP@wxH8hW>hJ!IQs2{w`Y9cBTA!ESuzxfWTYELI^K9?zw5Ubfe%^=o!Y}0` za3B2t{*h$xXb0BJQh`vQ3#q@xyqZZAPGggHITytYW}Sx?yFd$jda@bzOymUx z_(RC^H{?r|l?4TwLYAYs4*B-hR^rIR=I>V?f4JK@D44MY`vJ=eTWC+kBEnx{)zMwP zy;QG?x30>TFLaFxt|}6BW3ZC1Mm6T!TeWMjyE-sZmit1I;dV&-Qu(8mzip^WJ-*GX|K^KPs+A#vOEJtZu2T^J+cMoSgT)DnMa z2WMwOlVcXFWbD2_GXmy1Gj<`)U%U741bq@b?3sDUchU$$w@ww1e-YX|;*(v;MIZ*D zP3Km|F;#{e=nm-!Se=gi(^Ng0rah^4-jyrK0p6BbR{dySP0NtYd*gi(7b%iOaTAbX zL|*JTJ64(4Kc^{DSN?(O4RNk}Aw$@9Em}alZy|z*x##$ZBNM`!Y4nX;-lLQ})`=MN znAd^mfQ}DW6ThFT4#6}NCte<19f*Kxu_8w=(o86WY~>HR*zSdBb>tbBDxGqFru5nU@p)V|`%uyG*U+$dVrIzhzT#J~=HO&depUDaV#$O@|CD)9k%M<| z_WZRrx#+xE$F6pw6ioAxkV;U<%xVbyKn;Je$R=DI zaR_9%Xov{s4j5CSA7;vyR_G+3pnd7YOUT>i;HA}dmb0yIG>wc_dZT4qq$&x`PFYe) zRPc4AR>VIha`P|buE@jt)k8xs3wlicTQw1_k}hU|Y|cZv`>WdqUx>B3&Qe0f3izOq zZM@GTgRSPWV}HX%CzT%lKw4Ce>wpbP_*|3qPBL;DLmdseVi)p`wc_q@Xoc&FOf17z z!cy!QLFsQZlWZAEFNDy#fXgK;h!teus&%J@XxGxK#28B!=*f}zO?zmfJ|y<6nPeY=Op_YRQI< z<1HXJNEXJmgobutKy5V?`pz6{D$rfhr6c-bLYYr!YC?>b{R)%)8aI%t@bfZ;hRT72 z0#f#n1_DjDy+SOGMx?@CqnlqC{hEl1NeJwXXn54r!@BZ`1A~ORk7>40)U$2$@=Ld;@FT}pKP^!8 zShTZY#jluiJH&i%N4u5aPpAdsmVnnB_@t2%naeB$!Aj?<7oZD|VD9=Gj!Z%ge3coc zd_Dr@Jb1CVq-6*tU_o3o_t#E&_QN8^`F6u%SX}>mJBw1Wr&p_pdkwZ*(lh zzYQb%{n0bk3OTCXu;Q}wLlT~|0@)#L;Vu}x9V9t#pFnZx{o3X?qp1Cb^#&_NvLAFU zEUA$3^$5b*KiI|Yr}4h{$D5S~kF>B*AKN-PL(ZHCVG+7GS`=ujD3FQN=qCb0wn|I(k@!UNnT@WN-5%_nSc~;3Hs7sk_5iGztjIJ|cjfccG ziP~z&@yS17#iik=2IRfRNE0)zdHg`j9E)<&2#;2vTovS*ALvgqyp4*dIM{;CY6}M9 z4ow$Lpm&g0FY`0!9_9}z*-%^{h{vV(hhCuVo*5~B!;we=QD@8cp#R!3wp9`6RkcQO z=FJpH!l{UbOhJn7&yla8HI@Y%7Wx^@m!z(2*-R55B4&|`LZ>#4G8IY^c^N-9@<^b<08=V zy1gvGq?Pkk%3NMh)ew}FOc*Z_zft@vawU;Zdw|8YXa2#;RSiGeppQ^gWA@X~e|v1c z7FmFedLmn?7vm@;*N%|Jgcyev6s9V{p;=FZ2_itp1K_27T8@rF`}=6#^lMVZF+1p( zIU{jttdR(Yf)+zf$c}@jUn@P->J2DRmPuKm^;uqs2)B|;^1CM(N)R0$jl85D%=dXG zfy~{1i5(EWL*B1K@E<5_aT@F;+3bg`bi=?7kusnolPRKCiGIkogh!5*IMahNGB{Yc z7$fcquqFaU)6$lc)Y2QB^OBx2Q|?p?GuR5 zGqaEWju;M^5=t2+keA}Dwe1oyiD#f-t;@b=qwE*$vM&#B+_k>=K7}mwb=tqx@LVtX z#5(#4XUglJ*7oHOI?3eBGqRJ>gSFM5=ofT{QjbypYRX7UG*?KU_DS1^)s`XU zVmFAts4g(6Qh7={(4^R)>rDtlKB2k%ubNV%W7=)9nab4-BoZ2tfx9>pgD5a^k}2OJ zsgquI(qXn9T}mFM{wzx!f29`_*WA4^ka}?_e3?{hBf_O52ttFRnEuiE9J!1uzzpZ+3J2PR28kl%EHa7n@{~Q~YqEA9WVOhGt z^OK)PNNzS=@6xAolbzv{XhuxA6pGuuqP#Zt;Q`rwZR=``*^=%F;ae`cX4 zXb@+F@bxKu`RFk@b=HtAMK{;AHVZm!YaeUUL|Lmi7aBGkw(tad3LiE884a`rs!K@u zU=c5lVgXyjnz0hqGS3=ai9$CFcv}d0354+V{Xy$vf@mU)Y=><9i)L|%uM<&Xx8<#$ z{6oYWgj$RIh&rP*AJnyiH0xX?3d@gNxAT#qKT4nrY}%Vb3B(~xfMhX73Ypq5xT;l- z(xKAXRf!{)hn0a;4fcyL7iLaMD@2L+(Hcx{!6|5hHj2E_&+IwQ9*!z=bDP#?r4-jO0B(>Mx=n7k0N9W=DVBs--KC1{mo zR46m(L}?O;J|O`pff#vsQw@%d_;HrVm}kT(PsIux7BEDKlR$foVL9D6S|qfBNj+FJ zEgJoZQzOncOE}GzkNLFaR+Zmn7o7m*C#HXbC>%=J z_zp~&;J)XOgKjzN*4OI_Q1DE%{mD?Tn&*Idk>5{Io_hCyj)FLkWZlTiE=Aqw@RiY| zA1sDk>WF`^&SVo@W)veq!E=cJROhk!Be7;JCBw^6YpRwebUpx=Yn%n7^*_mV4Dvz_ zw`aB>grmZPE(jGUdgaV0*GXiYi5>>^GYTa7x_$(FocD@9Zo#5Ng}U=w1|ypFaY`Dk zVi8s_sBGju~vP9;+dpLz*&mGxqT8?Mkwi!vX{3CPa!WW8su9^|0KXw&h)-<1@ z9hQEf;Db-@Q>+3Wt{>=M0a9eBI9WPQ;Z3J}ZE>jZ~&W{Oy|}oOXlyG;&*_ zY;>mrrIdH}ckO0rv2^@zi-ZavLfl4@C`m}E@#`N1sa!(9T^JKp*W16(e&+fOZO5-x9&oMq`_5kk}6iX z2V1{ceZB!41N_J>1Y%tH+A=1N98MJCbxXP3k8QYo9bZ&|;uS_B(mwlC`ZlByuYFwS z(ORa5_CbHQm3EO;gcD4$rfm%MpxVc{z!lG&k$TESsM)7Jh!YZ=v+rk-xCxz150k63BNyp@<@3Sj5o@3PtF^^Ph!ov=3M0f6{20cH;vBHjEowFkz=gwJbzIq6jpkMAa#+5_rByM_efX?#Rbox_# zP1LgMQepGRDf8{jZ`w_tOKTxzjN)BQ8pnSBd?UB;stEZYZd^`*lr#Q~_ti24<5xY< z3KEurZ*KS2)z>-#u^A%+#a7RCZQYIkI)EVp8!U74HP)ctt#y=h;!}4KB?)NKfS2f1 z4!bgAfcTdOSd6EAOAth@LmInr;WEP0|8#hf{E_T_rpjWK&GopTf3S*9dvpY1PN^Q$ zljZP$%mziRo@9^hSn~m$y*{}wE?yg%O*;9Db>7}SFZ>Sz{J+y|_U4L;X#0E01jCPX z*FXK{86olOWpjyPxXjb8v5S&t%Nh>vbFO8Qr^uKT)#}r$qaB-=BSb^t+yX*$0v>kXf#yvhFi6*#u4?C#Kw zt$z1smqDo`FE9Jp_(Z4OMdz6nN9E7nbn9F(ihY#Yi=ASW6x`f){w78oxTa`Q(ZCe} zn$_9gpAt)|uRfmf;kG63_)2-^@9UrSb>2bNo|z0nSqI@*+bWN(IfH)ds=Z)H!IrJpy~2qdrR}$ie|rWSmCC1-UvslczP_-S zv%KO=n0sW#bJL+6JU4y$46q=*7kPz8aUbv__62ICvIyz_T)x^-cuBBS=v?8xZW8E5_DaFTwK%H0$h z$9AwdiU=@h6h{5`WuVxyo_{0yCA%)SpCZtU6VB`07tDHJ{p?c+kjPi&S=Z2`Y&sme zgS%E;Z~it_n7%Vve%5vT+C5;uhBo$v!<#z>h2=D7$2X-qt(-bnSWu^~MGi_}Cb0jr zcv1)40N`O_!vWl{B#ymozNQpTgQj#P*)k@Th)F`~pf z);|)<1J2#ngZfq~7RwonYljD=D{BP!JA|>0zMoU97UBTxHD!pY{bOLzd{^s?b?Tk{ zfqNV493_=6U3g2z$ABKfB{zZZw|p4PIDoP3%1v@W|=o=fzhLPOi4( zH+T9lcY4JCfYj_x4^oYOBfurdC&100I#dUu{Qu;*4rGhLA?a#qOQT}v=;76@T@Qi~ zYVpfR3dlQ4G#|& z&Hr6isKy0&`ZNg#wy!t7yy_XVIO6I}xP1HNYAiHMk<7INDxC)xYNZtyaVM>o>X2h) zt3#&J>)K%6`vM19E&4LtGje^o%2x^<;lE~H1!deZXmKymzWiWK(Bzg(85T64x3tPp zNmNXr(YE>?-6fv%*LSrK|G#g-y-AioJjzM}Xwx)djYr{@UQl58uMH!L8GOimANA{9 zd>s2{MeN~F%n$DS?@;=b!HRfH4D>}wNqE$ki3sQku3D1JibUw~P%UYwB30Q3thk8U zfDJUEA7A(+&lnmr-c7a|vc<(>RO#gnOhZARCmUCSUI?nNxB9B)(ck0z{2iF2UqLb8 zsa!Map`iy^r>sWqb$}zO&>Z>rd0< u!D8(*k-ZyMU$7FXmVD(QxgEPW_AVkcsXjxXw-|za{5)X#{{lu1{C@ywV@DnU delta 5692 zcmai&Wm6OYqlF2nC8PvamRw>%YUys4Md^+urKMRK+@(Q6K#&gUMnaHSLPS!!JEWzg zq~yNum;3SFnR8~&GjrzrfYX`vv?%%MXEh335vX7~bPI5##duD7dk0|W5`L)^NBJIrW;SOXnP<={KY z?7g>#%GaB}V4u?nER#jH;D$ZJhLM9$MZkL?Kt9~vVBWu1`sHHu2 zwn>>+eO}B#xsTO0yPs&y=?0V;tt}&di!uogSi1Qw9sWGNn46P(`+zx{;ekc0nvzma zl2BqI$*YX&Bxc0Qda5lRPY*7iu65e1eK@hmzkkb$%_Awn3K7T>Sh=|z9P4^_jMMcn zA8XM+9s*CA%Oz@fO2JguX2i*_rL56_%uNkxGBi*|1-S>6X#Cjka`T&WFk=3`G=oRD z?D}|i{5B})T=WCjP9-s=`5NZ;#xC$Em~s6C_}RXe8Utw1emEfpV{`Ev>(l|>%mnRY-i<8A6y zm$I~|?vn90z_u?Jm{YeO?hwu4lWAl~<^2J}W&GM|POjqh>UkHb*~o!Qi^Oo(18eoy zE)4(cl_R&ui6T--`*`ye3o_^6HecOD!SaQw>b-&WG zKXE7zDNoZWXc5z-)gYiIJSnK}NERy?jr-t~!DOv0EqL_8Pu6bIM@&Ttl0on5#)B7a$M8DnNqh zN872kWHR)y&Fe`!;*b)0bHAE+q|!I4O2e@G>CJ{+jC@}AIAyWw2s8JLfnM(o*6o?! zp1ydTStEu7V)ixpUL^Y7jf8vC!uC*Ep(PdeoAda6DKE$IF>{}p1GAZ}Q%{km1aczN z@jR}$;54*UzNrQp8G;sLjIPUi4*NJ8l?-+~2@7}6FHOQE%X{0}-z3%pI!lPa&$3=l z!7l`kbBu)W$He14P6WMvaxz$$6w(6v{!v9NM7HZK{O0My#Z;VUv&cZ%uosHuLJ&5Z z9)^CF_TZ3#lfrYKUG=ogw02bUi}AyU&gGk#o%d4BN22cOVHE_TMVz-r_>T5O7$b1^ zg1}Dxs(YaSUvk4WPh_&HmR#=I>OE_5>-=(#kg<5n;_9-y?}=VS_laH1Qp9wheM{>A zsh`7=d47lHAOrWw)Fi;SBL}72$Y|S`7jZ5~biwgp3Cn)uT><}E2g#J|g5G<$+&r!k zNZ_)hz3mqVJ%8*%!-^Q3uzHjAX~Zr4^j@nVE^3IT{InWa{)$vwbQZ01 zxjHEEYu+@J8+YHV!WCEYi(x?>2duMN+yi|t4a)t}SBC!D-JoXOF5d0y zyLCLuG`9s)1;dU!X3kE-q-TvU24d?)9Q%%mnm1kW%+7CBnAt@%dXq(S*lN@ zo{kLCqr=01Bi>pej?5{KfJU8|pd3edSTC7G^K+Y#4`bFaP4`zo6jAdMKPpQC*XtN+ zWI#-nsecd~@M)67W`k*2nyWUvJEy^fj?P%x^DB)?D4_DGqO1mr?B$lS4(fQJ;3r(69s;yQm|i(K!LjH4G;l$n9hLlgkUEpB9V zMR0SH4Fnh|EZB$-(hv4H%M)RNF34bcKftt}x-m#MPmWw7PnZoAo8}wCWjE zQ3{DnMx!ss)j$z(UC0+fF!Vj3*4yxU1goqs(>IpH=k+`6L|~yzn<57@g@_po)z8#k z?H^Z#sj5_s*^%I>#)~EhL-b62JKnS~j!bthp3#V`+c@ej%xrI}O(W8zH%?GHVZMNq z6z_SyZ3)NShJeu9&7cyjaI3jA+jMFyx3Qo=uzW~i5$t${*s4R6#v333G-K!l=wnNM zR2SciaZibjI#_@U^)W%76PXr12Pd7YCeWY@+7mPil{EJ3hyrQHcJXM3Q#>aWbFhzdS>kjg)-thCR5v$j; zX>gr3L~R1?IdxDIAFrMac6wqx!!`YN6ovyNG}>Qf;qW3))#PY+DntPO>N#u1MDZzA z6%~whGUz$nlcfG>NT-5c$7l$%l&gU$qL>Yxph>eB2d0G=by!8bbJ)tJU8Fr_U##fj znYGx+#WLVRNq8SVVj`4G+?a{1L$MuOh$O@#9fi|Rq0-k8A)Fol zNZ^L`x}y5DN~!JlvnH&R=4AR@Mv`xxWn5?uzJU8;uJ)x@Py}rA(9Bd5NF33D^(1nCJAQ<-*^ilpN3!a z+L5VJbVMr3TYQs>s3*_J+2njJ9}%bKn_T(of{RsaZmdM;q@Z`;I!D2G-t)b_b9Qq! z+hlh!f}+w*rO8%&8pp|s|LMBkP26PC1TISymcCjG7C@;(1^ao zCoMiBTKL2Ugis}sDXdmVbsE318v%;B^p|Q0!krVMI(r1m{h2NB1=J?_NJ%*E=;kAR z!V0E6RfA^n{o&=&>a%cS7!!Yy4p#|b;$mK)QnJe?bun3^VhV@#By{`?zV&tQa8f{% zs8TL#onAQwY8xHa$BBzV2X=d%^?a*sYV@JXDNFHMr7g9=jb(5MjSadz1<=w-bQm@X zHSy9pa*Za-(zOu_pS~m2mNB)<@En1jQ4URy`0#jv(!40cing7~9R7sOL^t^&Vrc;J zg_?V&c+xz&Kq^zaGpB7JyL^eEz*~l3!Y{W0V+r2lQ+r$>v^T1_yxbdI7xiW~ZHOQc zk}^4uFOBwLvu|KQVz0TnI-O$2coh`Y!^N?;;yu&$VP7jCNuY!s((N#$3`p$=pKb1B zgYDNZJ~qg^WS`YNJ!Fa41kS}Mz+g0XJ_{zr&#sY1IFIw_?Cnk@P585_uccAN(AOY_Cd*6Is`bm zCE^eUC_Ac?ra=a~V7Tv2jxy-FcU|TFh15@@&cXd#ZZ?a7Mn^CkndK&_>u!$*a0!1U zX`ge3v(jm(_4rBzxR;Io24{ z*$Jw(_l0yY{s_L$6Ale2#3?Ls5v#1KKrd{`r41x!}_318}l8M z_=!cDMt$U;_r<2lv=4SxW0LLn8lPlZrS=M9rA@=0bep{Lb0Ig@5%6i(@M$VGfkzCn z9yndczN!`W`CjJcTER253J;O2?j~Wb_~Az=YI#)C+k`%kjKf~JjBw|hvQ`uwcmJ$e zk5lU|!188);m0g^XgEAJDKZD$#k|dqs(=JCpYY?{*=?&h5~oz&CJ!C@qt7bZ4#m@? zYddh&Cs$+Wf{cU8CTM2-zW?3!c*|Tvk=aC!PD(0NTd%j7Ei1WXY^6mn zw%wBv-d4^~1t7fx(GSJV$zma)(>{>1OU}(>Cv3n{|yJ%q}n&zv8$#DoTnASF9y(x2;}9> z*I%0()dZqfR@T+(1;^z-9#DnNv>DiJ6c=+Vp-N{0+8;X#Tb(HuvuPB{i)cj)W+&x5 zK3g!!C{5ced-+){1#X&A@yhZXX{o1#T9LFMtVb7R6yqvmqdWEH(qHv!Ja)C{=83)f zza_h7KWMYzq}P-D@({(TpO>|J3yN?_Ov^)a%TJZuU=|z0Od+zdClSZ0)2dE=B*s}y z2WL9lI>(ZiIX?yO7A@|o$f&;^F6b9VBb$7GO-&v?8K+&vS9iJf_3j;hcisL+v1jHg zFeqPcwQFJdSaj|#t=w^q^Y4aNYtGEnr?HZEbh9#f!)t$biv3VkD+@pSjxJ~9&Re{K z9;pf4H0Qj0k}2*!V^AMhCcm6S4)V_BPXDX88t-_sUiM-qL+t(EE1Uh%_R{QCxjDu~ zsUz_BuG~MLS%Ll^RC5Jn=}kxZM7z4Az$Q+!jfd@3e**66er`U5aJ<;6*w0o8D?O~v zXt!g{mmm1ujv1jv?I)~zx-MB1k3BTyX;0eQp5HHvSHfuUDw-zxN1KY|Z9D@`C!#$e z9M=CbM)#aD?W8*PJbe9H+P8_xP%d>n6U8#}x21suHtTZvDDh%wsDvu;w*8^C2mEZu z9o$5+aU`_^$q!}O((VU-vtDec&IGGv_k_355(uc|2o9i-vIM1e<w*P#D~vP0Z{7nbAoNP6x~I!;WMC1tpX9)Wog7fo?Mc@}B_npE@?>&ByiB0Zx8jw* zy?)|D@^G$d8OI5D1hqH21o{HE<#}D_EQj6vJ=Rm`_b&IP_5*=C*Q<-{l{-CxXRU!t z2zY)M2`&mJ-swU5$9bdd5K|yzr>@Mj#!aHk6qxEuIE4n9j!Hfc)zU%i#Zj>qfiftG!{&RT= zvab$f2BQx~F=S^-C55wOARPh;ufLy)+|ya*$G1)_?Q(Wgvy}rJA#xYeG42y4h;hu8wdum{jN~J$t&H}CuSc%Ol&wQ-FL07RIe`=FA1UU zY-_}1SQ_m#6)$ick+uZ8TxIM0dk-{1#+lH+@RIc^-I`Fx2G%MHvhc2PNo7GYEFy2V zUrn*u+d(3`&OA!H*^T*ju|~^15FAj@tItF54g)8j4?MzSD;~+AFJ9_swDi$hY80V_ zo{i8lt4J-A{X4a998P?DB9a-!H>d7Fr?mzdx4|3F(n>x0_>Wd22wGu!n zUNR`y{v%fG;P&fqLhfinZtVXUr-hIkS0kR_KM$gan6PjT7vdq%|Z^azIuWsk&fOKRQ5)xrf z-_XW^px7rRgmAT~qc+Z0Ud8an@>1SWO2rz#j^(|YpBqxPgE^5rPf%3Zcsj0Y0>BeV zSd5RdESPfo<|jPX;XRrgl>LI0OAWj^%(}p)s;v6~B_6X!qs+WXIZK_%u4J1!@`0iO z9yLe;lbzCrL!F`Al^pNmy?le4clA~i)&SCbpgUcow39Q6dw z%NAJieold`?#ls-Sc@rX(wsvLY#?2)iU_hYc-<7%-PdkN=r29# z?;JjOHxB51@?d%-aOP4&mXVue$T1w1#1S{xE-7|Lj&wlMVcMYsvKsgC+fSsGIH`2?_+V#K5-NqT