From 7fe6996461cf4bca2e87ad058b71aac33e9b8fc1 Mon Sep 17 00:00:00 2001
From: Matthew Roughan <matthew.roughana@adelaide.edu.au>
Date: Sun, 27 May 2018 23:24:26 +0930
Subject: [PATCH] added some internal documentation, plus created an examples
 directory and shifted some code there

---
 {test => examples}/Data/dyadic_tree_3.dot     |  28 ++---
 examples/Data/dyadic_tree_3.dot.pdf           | Bin 0 -> 16201 bytes
 {test => examples}/Data/dyadic_tree_3.dot.svg |   0
 {test => examples}/Data/dyadic_tree_4.dot     |   0
 {test => examples}/Data/dyadic_tree_4.dot.pdf | Bin 19788 -> 19811 bytes
 {test => examples}/Data/dyadic_tree_4.dot.svg |   0
 {test => examples}/dyadic_tree.jl             |   2 +-
 {test => examples}/examples.jl                |   2 +-
 src/SurrealFinite.jl                          | 108 +++++++++++++++-
 src/SurrealNumbers.jl                         |   2 +-
 src/todo.txt                                  |  12 +-
 test/Data/dyadic_tree_3.dot.pdf               | Bin 16226 -> 0 bytes
 test/special_case.jl                          |  30 -----
 test/timing_2.jl                              |  69 +++++++++++
 test/timing_3.jl                              | 115 ++++++++++++++++++
 15 files changed, 315 insertions(+), 53 deletions(-)
 rename {test => examples}/Data/dyadic_tree_3.dot (74%)
 create mode 100644 examples/Data/dyadic_tree_3.dot.pdf
 rename {test => examples}/Data/dyadic_tree_3.dot.svg (100%)
 rename {test => examples}/Data/dyadic_tree_4.dot (100%)
 rename {test => examples}/Data/dyadic_tree_4.dot.pdf (53%)
 rename {test => examples}/Data/dyadic_tree_4.dot.svg (100%)
 rename {test => examples}/dyadic_tree.jl (99%)
 rename {test => examples}/examples.jl (99%)
 delete mode 100644 test/Data/dyadic_tree_3.dot.pdf
 delete mode 100644 test/special_case.jl
 create mode 100644 test/timing_2.jl
 create mode 100644 test/timing_3.jl

diff --git a/test/Data/dyadic_tree_3.dot b/examples/Data/dyadic_tree_3.dot
similarity index 74%
rename from test/Data/dyadic_tree_3.dot
rename to examples/Data/dyadic_tree_3.dot
index e59d77e..8b9192e 100644
--- a/test/Data/dyadic_tree_3.dot
+++ b/examples/Data/dyadic_tree_3.dot
@@ -10,14 +10,14 @@ node_day_1 [shape=none, pos="7.875,1!", label="Day 1", fontsize=18]
    node_1 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-1</TD></TR>
-         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-2.25,1!"
          ];
    node_1:R -> node_0;
    node_2 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">1</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
          </TABLE>>,pos="2.25,1!"
          ];
    node_2:L -> node_0;
@@ -25,21 +25,21 @@ node_day_2 [shape=none, pos="7.875,2!", label="Day 2", fontsize=18]
    node_3 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-2</TD></TR>
-         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1"> -1 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1,1"> -1 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-4.5,2!"
          ];
    node_3:R -> node_1;
    node_4 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">2</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1"> 1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1,1"> 1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
          </TABLE>>,pos="4.5,2!"
          ];
    node_4:L -> node_2;
    node_5 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">1/2</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1"> 1 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1,1"> 1 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="1.125,2!"
          ];
    node_5:L -> node_0;
@@ -47,7 +47,7 @@ node_day_2 [shape=none, pos="7.875,2!", label="Day 2", fontsize=18]
    node_6 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-1/2</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1"> -1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1,1"> -1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-1.125,2!"
          ];
    node_6:L -> node_1;
@@ -56,21 +56,21 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_7 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-3</TD></TR>
-         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-2"> -2 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-2,1"> -2 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-6.75,3!"
          ];
    node_7:R -> node_3;
    node_8 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">3</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="2"> 2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="2,1"> 2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
          </TABLE>>,pos="6.75,3!"
          ];
    node_8:L -> node_4;
    node_9 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">1/4</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1/2"> 1/2 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1/2,1"> 1/2 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="0.5625,3!"
          ];
    node_9:L -> node_0;
@@ -78,7 +78,7 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_10 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-1/4</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1/2"> -1/2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1/2,1"> -1/2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-0.5625,3!"
          ];
    node_10:L -> node_6;
@@ -86,7 +86,7 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_11 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">3/4</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1/2"> 1/2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1"> 1 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1/2,1"> 1/2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1,1"> 1 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="1.6875,3!"
          ];
    node_11:L -> node_5;
@@ -94,7 +94,7 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_12 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-3/4</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1"> -1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1/2"> -1/2 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1,1"> -1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1/2,1"> -1/2 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-1.6875,3!"
          ];
    node_12:L -> node_1;
@@ -102,7 +102,7 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_13 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">3/2</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1"> 1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="2"> 2 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="1,1"> 1 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="2,1"> 2 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="3.375,3!"
          ];
    node_13:L -> node_2;
@@ -110,7 +110,7 @@ node_day_3 [shape=none, pos="7.875,3!", label="Day 3", fontsize=18]
    node_14 [shape=none,margin=0,label=
          <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
          <TR><TD COLSPAN="2">-3/2</TD></TR>
-         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-2"> -2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1"> -1 </TD> &nbsp; </TR></TABLE> </TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-2,1"> -2 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="-1,1"> -1 </TD> &nbsp; </TR></TABLE> </TD></TR>
          </TABLE>>,pos="-3.375,3!"
          ];
    node_14:L -> node_3;
diff --git a/examples/Data/dyadic_tree_3.dot.pdf b/examples/Data/dyadic_tree_3.dot.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..596ee547530b8bf5dac505890d8d7be35880e290
GIT binary patch
literal 16201
zcmbWe1z4Ngwl$1Ppg<|E!QI{6-QC^YrN!MHN-194Dems>uEn8Hq!jo=x14>>x!-f|
z^CyJ7Yh?MFfidQsFPWmKI2{u`3xKR||NH()@%87az5xI$kP+x$Yz^S$1v1E**;}|;
z0@*;2GLS*s%GTA)8T4*z<Z32rX5wIK2IS`lxVSo-8QB3m!Lu`Y;?_pqhPXUOx;Fw+
zk3Be4hUGuPuZ%ew!gVmxt9LgLzxcc_mYRrX@jVNHiol^OYiX6w=2qi-pYCvgeEo33
zVA0{v(fIW9IVDcl$CX_B>G^85kNal$-ZF7M=jG|^!$j-ZIALe>+0A(sp^k&U7Ylvt
zf#)jMJ6(hERfX$^v+?b3XB^kY0vTU7$2T|XKiUs+_^(2cFXGzhdPRzy`jyNlcevX)
zm~WqX6(g%l8<5k?W<ny&WxhDCOV>8vZFp6fHC&(Xd(sVy$v=%uwC-agf6cCH%XsHd
zmQ8Wtz>_n<AUpkYXafFrccS>3XQO#RSz=Cg*B0kzA~WF+uZF^N!h`*)oUyXAcCUv;
zirMGq9B_pfR)_aFC=K|#7AHYxbqxy@+qGxi*`9Fx@0xROvFaxZ1Q%Q}b8(H2^a$$D
zVB6BuH1Il~HeyP?x7AGB)g<Yd$z~_Hv6x^q!AGW4>)T!Am38^16j*@kWJHp963FU_
zP0gqxk^~aSj?X!@mB!;4HRVX`^U{YAskQUmG=yAkGupbe5yEZA6b(?J2*_!^M-e#+
zvo7n7XkZJW$KW5P7iwxp770I)*j<XL7PIZg%RQWuIB{kpwiF}@BBJpYxwAJO_PaG+
z3yd?}7=J&OHgK<imX+iec=Cp0GP=z;QWxUFKA^$KjRl@ZdgPl6epc3`g=LjrQEm7*
zw~@i;7!mu4LTGmysg{^oeV)p$E9FF8#uNtf;pP$|J=sJ$6%!zarr$mA4T^|+(Dsy#
zyrUKby$DqyWSKkMXM4;ts)vnY-QZE2HI#1a$jV6(sIn5mP>A_<530Z;!5Gz!Fuaks
zx*nw>w-vmu9%eOi8_&UQ_@RQXHK+HGZD-avURkpGi(a0%Ik0VfUeO&9A5BK|hp5s<
z!^H=wqUs1)wi%JtyUf3m;1J5{6`t;welAwO0bS<X!X`M~<B4st-o^?;)#?j)SE0*c
zy<A<6m#tbrX?>TsJyXOQwLpFklQu=zeM_W*{h)#DBf5*H=t6J1t4|(eg4<x6;-QQW
zQ4~ZW=d#D5<6|Hd>ER!%Yz3?4BR{^-7UqLp(X?*|t`fLIt)u>3wu;V>E227dL@qS-
zTh1DM3iU^x^H0J`#j|U0eL{GSOKSJQA^xmytoL-qMp(8K=@C%x!%r(}DrXIue^AVP
z7EUW;y`L&As&j~M6G(&NiHyvaNbBm?14qr<fstxjvJ+9>rWLGEs@bBThe_-YO^D1E
z^EZTBSNw=uqB#{3wM#&1hGv~ZlyOJ&5S*YoJvbN2Mm-1vIpdx~LHAyCo|(H@Am9r|
zi*c0doMtnb#+co3gr{Wk3Va^naD=VS0X=?fmfv<2N$R<BO0b%I_3A2%T9e0yIm`V<
z%Q4ji(M^DanpHa01z0XVPQ#K8_kd_OfIjLrF)XpI@LAoH_4D&4lN1GTQn{x=P?-l+
zS-j4Hxf=ZT`J;$v5R7u2)x5E@XmV<RHdr7+adXU~xl&@6)>7((spJ_H^J8q|6ksN&
zw!SOT8SMv2ST+Nn*sfv1+a{NE6ifXHrU_MpzKpx?j85MI^#o5&$eIAbN$(q(F~7>Y
zB&)o{3VtD3>zQnCa?48H8G63wHNGlFi?|A1l2CI>Bu;1=4{sMJ>#XSxI}csr1QQ|J
z!m2r2gDDZ2f=4ZB9b!hY!N;GBZ-F-61rtC@u|;ta^UlF%qz#-#S%sLD0*6}QKm_lB
zt;u+gotUd2pRU3m+@kWsEb%2cm4t=(GuCn@jsTzylhfhD8*9P9kUGfaleh4XWv7h|
z^jSVwA?bD%xc1r}xcJmf`c(9Vtt#6&)k3ASZnb<0UkJqxY3Lnh+Yb3Fxq^LS&EJhY
zvl)E-X%8!c!Jg~m#eQXKU4AiHG(qz#iHei}`V;rhV)YQLJut3_48ZNm)4bG&^rLU^
zfx+j2k@{n00<`2KtiC;v1(UxdYrfg#CU-sajq8%X@g+nl99xwnk-<1?^q|kBg6VEm
z<^Z5Q%r+tF9ZK6-n5#s|SOS<dT*0-08IeV}kMSHLWfN~wV43fz@P^W0%z+PJaVDbj
z=fT5qV_~7{(NAch`<$z5dDYo26YOlCmk7<eRaUM({cPviAc%Niyi#X$PEAz)B$sW`
zJy1IJxYtdGz+Yc_bcsuPF&UIh!TlA|Pwp@iKrWtLCe)uhQE_9JKY{)%o*kub&;8Yf
zwRom^tBSeFngq7tV=?!liomv1-%MZ9YK>mDv+${A$=X1YjUv68{jWLvi8AZ~j-q=-
zaE0)m(1}6MkI4?9JS22}qMJpmM-MT+hQ$Y!@xU+Z?bL-TTfxK8k1B!JN?)fETF&!?
z&@jP?W@v1@kGsCJ3$eKnfO(CV17@E-swGk#fU!#+uZ)$$(|#)|Jjfj)?$tmw3Cqcp
zD_E-UJEB6Dt2dm=MP{U&P$pEKp>VXOe>MyV4;VVlCM+xnBZiR!!`ufCI>tb_v<!h(
zp7?@N2sQGRpn}m^TbO2{QsYPZTLtB27H!NzvqI-xAviJQaUP=R>N`%hrg)kJ@($LE
z$!Kb*apG2=x2@;GUml8YS)KU=83h&#=FhAXaVMDc7OcFv<;43(v<4doDT1l)*!9~h
zs871yI-V`_Tz!~I@#RiGLkKtIow|b;Don9<WEgMlqe=O!iKJOgAJWqjq;bYlx@<+o
zCLpG76Q6a7V^wCE&)KNbCeF+UtLWBC#A9K$T)P0RpI?dQEE5U8$U~zlZdNATX}XA@
zrzCDtwd5AF$T*2Iv9<Eih1a#@o$mP83a*F96_%0>7%WV<i}bbmW_`gEZ4`^5!>m1j
zUb(Fqv$>Bg{@6LpS~>V1`|&<AxVGR6iNF$1Yy0#-&$4?_&AQ$}YC*WUQnfcPq2DA9
zW%`!xmZ1MgW5S26LK+dW{o&Y@Q*0bocmz)brrn(0enoR<s&ToJ`bB0JwykzEbkROw
zv3&U$y=}zuvy$zv5$ssKS?Ev%w@l)(UoBJ7JB#qu>!a9)Ssvi2zUx^d)+q)XshA}#
z_)6UTvt>g+njGK|HA1EbzNIlJQt4YnZ#3XOs)!@2P9=07Pz)r7w*~5(fgKqWw1Ao9
zc@0!%o=jyAD<kA^qmk>piA%WRtln2NvU{WKP#yAqwciTzPBX;AK@nSZ9FK=j3~b-#
zr0g?5eNjvix0`WJYDE<=VQ<i{7n@f|I8Ow@thvDAU+s#>V(m5<m4sCro<#&56cWU3
z2q57APvs`PKX-lH*+rj6U-B#9c6&Ve4rlMc>%(4_z2<WI`4*~4*5Kd*5xpp-+#7z?
zOWh}Mh55FL0x9PXp`HM5qHaaU<g3=FmY$(-4yPg0r(4~R0~IZ|x$xM&5#%fnc~Eh_
z-wX%rfb}Codo-luk#Gb!!Xl4jA+|%&2IOB*ugkkN)Zfz)A6)a{4VmXwEW#Aholk~{
zH7HeJ%3ck9g&$C=sCMHmt!QDM`l3GcNxZ?0wU^wDjU(1tD$Gi?%nqME@j}ot0TnuZ
z9r8rd1)=^PG5=ddhUsFSA-UGIbFjKr_OExN8RiTz)_in1;te!y6PL|#7LB7J#jdgU
z8Gibi@J@GbcMnTv*-EVrcNHY&7n9&eBX=s&9=*0({sG&?((OOv_{P}1$xNE5%_vD3
zdwjQOp)xB_Ns^|E09_Q>s6PcgAO%+`4oZ0dPH$sFm#J8NQwFci>st_0fN;7ro(-WP
z)Ic&H-tzsH{KL@H4phcGQ)-+~PWlF9dzhc?9;Q@rbfXcQ4W|7c1#Ed$%>icirhk%V
z(A6u~ekIti@64QRoUfn$zWxUfSM_o<12QNYS^WO(Y-aBYWch=WE1S7ExH+4cxd7S!
z07M+@T|u9_0AG1Lh_uU@nOYeMJ9q+h7(oCN6BiSZg_T_o03z;x4)ogaFT$_r>|ml|
z<_gpSjV3A%WKcEpbOq`G8AKdx9h_AhjZDmduew0Qg$c;<yMKOukRAXH`5RVMWdd@(
z!T<(URTd!A>xjxAiSVit{v3>n=^vy0DKD6qf7fG>2Q7+0=v8Cbg9HYULDbCM%EU}r
zLiqn6JyJbXRhBWrCfhmMr%;K3WH&h8@W2@!NpvWs2&oT>5TU{3?xN7*Xm6?1O;x+V
zCBleJ#Ly6e0*x2pzoRG)bSsI9?XO4Mz+Y6bU2kMQ4Qg#JAAVh2wz%+HYyngJ6$sVi
zstNvqHCGeu{G?kK_1$RS9RwB%IFcrK*S5Jil*GL##N4lTzKo17k^^<O=ky;;TUTj2
z70F!|Ufw4VbBK__fC0qj*?IlRG4~;oRqFb&nO~qrZc?b2Lz$Q{a^dsJiFf;|Y;TJX
zXj+HU)5!O7akM6|+gLwEw<>OAl5OWlL*?qGlWke#`@)*Ft4d{p?cY((&fb5N1!F|Z
zFc>=|&$W$U7DK~6kN6G&2AAB&)#i*8^}uEM3Cy#|VlNUZLdv-4?P9vs{<k6XpI3D%
z55`P1$-Q#h;hwUSH}#0IjF=y)98$%=$+YY;EECQu@XpS(77i>QI+r&I{8gU#hP)ru
zuE<X(KM6&D(%Q5=EoW%Q0J|mC&cd(jNKpf;w}TPf-!50U0D^so2CLurcuf#$tDo4n
zgGhl8b$V*+0-j?-PxFoAF(=Srq%)N3E@SlkQJtp<Qy_pu3Z2DFY`>_uNJeyQ3=t`9
z()8&L<z=^v%W8bMm-b^$7v@#SH#Mbi$?(AumaQSY0h;mjrhwr0^V{#S*ePJK{j+V*
zEZq#i{6e@Co1|ce9QeRQNFYh=1-v2rPIOS107D&ZmK6zAE^*A>&xbz=5p*N%w`GNh
zRSs?u<4m2&@@TR1H-l}vAyDICT|Wa@1LzqcXbs=sePD5f+yH_Fe~?6hOogPEgs>8X
zsukj20s{y!ErGiSSv!Kw1$a+E$p^AK!stS2biHvzK>Q#f2ng+#VFcd@u!0M`L_yCJ
zDvie|K+X_eK*809^AZtK<V1t)7m0{RNfdmTBL9L#9aNetqR4kc;)>G(rx*0|Gwc+Q
z73K-tFZgXb#H`VqC9uX1%hf!1a1uSETcV!mA7L@OR=1^_F!+(a_F!(~UV_nv81y8;
z2@b(QPK#^8;a-Uf$7_;;za_FsATEF?5zCB6D!^@ykxX#fgM<moHA=_A7{J~Q(~90U
zRySHOmS&t!H%V8Q#XMj)M_~zg2rM+7uPM@`C>L;tXMdX&L)WKn7-y(comK<6WOT}d
zhcwuQy@TiI--M;hY|mB+^%Z$By7j|J@0)G%E6+CS4YZ3u<ZhQsV_%{Uz<a#+1e<Y$
z1DzD{@Y+x|fyhLuKvG*$RTLb!L%65lw>_*%0bdkci9=Dm`gDz{YGRj!+NAKv<&)5)
zLP;@|NvSgG15~A~iS@|&$lHmMhPh28oUyb7^%W{fbASe9$cX}q$&}=13etFD!prhp
z(#?Wif?gtp%5T2d&uNyXw`6N8w2S&l`!Pr)v7}w6?G9HYl_l7uoTT}XDI_nZd88T8
z=TI0By_bG2`qc!X)GgSp5|Cf5o-4jx-@_LoC6<|&VjOOqX&hl3w8Pe~MAnuVkoXl<
zp+xYgdWNi!2uFCf&}*itUap>d#cYKUUxK6HaW?6w|Az2e`whGqnVHT$<v!j%&VJp9
zGE5Jn;XR8oc42f<bZd0nHS0n1<nH7udzF>`OB+?n1GPQ1ZwhgWc?x(+T&b*@!#vu2
zcBx&d!W^SDxwVn?vi0LUeOb(8@ubJ6$!r7Gm%U$M$JH$n-c3KPfAk*n9Vg*r;&k9(
z<EY`Ju@10dXWC~DXYOYnvJTc;Y9lm2Y42+vHs~{^WSozwnv>N<aphK2o)yzg^B1g_
z@l}|7snfK`m#>?6r<X{t!y)ul_p6GBu!0POCWAqh(nT)6QcguqL8nBg&ij$BDd37>
zlu%apm)ywQPNPpo`P(KWr3q!z)cM-^JOi92jZTqQ{JT2j)e+fJiBd7caw<!68>)sa
zll7B`HV2mEtYvJigL&0!T3Y4e3!k}qd53)Sy|Nx?5cr}rqp~s9F$`$WXjSM=XbH8b
zw4gQZ>W`~`_OA40+US}14Tf6pn$%4ctsgX0l+bOucb@t2Wa?F~W3<Y*PTnHj5<ikZ
zGQskNd4{zk-7UGgQ?>^C&A&bQw%s&w6}<~f;X_d~D^<Litu;Y4@n#|)0TJ^ObB+$n
zdD>~a3C}r!-jqJtz|%2zPHi=1SNr7WnA~E_p?jZQ-}(~Y@>A0z4YCY!f<)9{a&gij
z&Lo0<cv_W4f=1QX#5>~)>x*K3ZvF`V82)!1?j2=*4EIJ)5Krzu*RK~Z4}UH`DnM~U
zmBW7n6hMhXsl)OkFvFulyFvAKgLk(E5;Dvfkm}B1KnVX5aS!2zXG7FO|LKB7Ps>_P
ze(Kev=IQV00YzslCMwd`Dj7F4Gb9legCT?AAwDe8FE%eBC*~uTCMJ`nNvl=2CmyXG
z4J_irAjC!YA$4~yxtm#+3EMs00qmaBv*@PQovt`H?3avAR>m82YdKL9;1c3*qP#@B
z>nYint-LX4_SlD7Oll2#OgtQ*IgGi|yEprl0F@S88$2zV)~6R?B2_7cF0~7xAk?ts
zR%`G*V6P-OJ~^L?rDVEf+$y;KzJ6Ai%qX&&MvsM$qMf0aHJ?$WWyEU!T<u++;B<m4
zrHht%YkKUn><`Ik(k!wdErdGj+6@Z{vz!s7v9|{|dzpLoqxi$u!;k)K=4>8r79H--
zp})G>&TWt?LKZ4@SDWQM^txNNe{`J0*#Ye&moG=fM`O%zH|--g=9E4wRd*O#)?FM7
z2saBWZMV}+=pfnl+oIc^t((_XSg)oL>rekM9^HxDQ6O7OJlWLp(|A}PyA3{TFT5>$
z^w@HT^H^IyYPr_TFxJvvo~qo^tJoj=p7;H0tHx=Ex{;2PA+lARX<R+?m)dseDr<@P
z;^Ttj0GznYgZ5*euV>jSgR6_3n|AMK!DAr%VfhKr@Y>!F-6`5s2-)=;t!<b0PM+i)
zw{%*(H+V04CV7=GDG?%3IM@^CHqSG+$nk|EnY||_aiC_`Y0%+m>xYQXyRsuimi*>>
zC{7}-tDV7n!i!IcyvtsZex*kgPdT@ZQ`(W*xeIFx5sd}xRz9*mn@1mJv+*bJ=>)P~
zd~c#}GcxN&EMz7VCeS}-apidUe-|DIxr&Ow4CB^t<!`Cqo5`-MuG|<6NUPGnYIZJJ
zZGZfwmR4p_$)(5Rm+jYn7Wx#kK+yUr)!@|M>ZswuuKmcd?kRP*BDMqC@9?MIBg4jR
zi{F0iOExZK6wJ?a`VOBL{WZQLzm2D9*b-!YfiZ8+C(9?3)7?A@fCBZWQh|!6`TIrl
zlJ=X^&x?kWb>S9qp-mzTFDVaI3cb*iC6hGb_2S186%v!t57F!1H8=g2qtR)zyCI!a
z&y9B}(`7mS9*^x7#>0J=Hq$2=0@52_I=Fr=+}a(Qe%qV%u(~KJj@&5g5V#F^%6&As
z8B91jRk&A3$%zs0@P+^N-ILtT{9yAg`1<j`N%(IX`kQ&PGco_gS6^A~D+VIOQX(S4
zMlNQiAQJtXuj>6(=aq{8MWFx1)Ls6c-20VIyMZV(6Ocj1%G3o!w*Mf&djI6f|J|vG
zk*krdgT)^@z~xT?@DFDF%C`S~8o!A-gNmE6>u>#_>g;Cr$NXN`@yCbKqB3d<;xsB=
zcE%32e^7Z*GZzzQD@RucX8_ZmB0|+c&ED#_zn|&vSb(#OtB9qMGmr&D+GUOYQP8k5
zb+vq56+0sfNIU#vhJVSNe}op8{**2MTWmouzQ(=}h$8CKVLU41)YCzUFC0nFJuG&f
z$N2z;XoEndKZS$&{0QbmuN+C2o&noC;&L~Wpa9(DTq1ZE{RwXuRlN}oQvQ>u55%F}
zih^2QU4*cC(`IV0i-ZYSA=C%o$)QBgpx!zJNPe`l0i@+wsIW;FgB1UmD+G%IsF*1n
zyx4~pjdxY%;_>Kw?(~oRc7w7{Wc-cc@wjGrPbH>7y<|91wwA)Vnc`)mVhE&nlPdv6
zYe~iGWz6IGKBW%^#h>@1?xfw#ChU$0tf!T`-fd{0i_ju3Jixp!aFqQYtnn{d#>~w2
zm!bVWj{iR5e;wE#2Pki32U1V}d9t=f7O$f4w^|eaEePqD*g1f7%v@X`rN+ey<Yea1
z129N|jLgbJ$lk)%3}jCXLM|q+YLkNzWUQ~_ycT{pVGuELlr*!luyh5oGlNV(#nsGC
z{k4VWA1Hto)H#EYyTxyF0J3o~gT4<&o_~~>7+FEZR|^E4yBRZ(=`S()_e%fz-u=^5
zeoM>0f>KOCRwic9aQ~a(w5R#FqRrzEc6yjwaKIbYWkEsobyZ5i?GcfFz=A_zjR=@R
z(RbINx(GImfa<ABMwO*P5f#%eh$mJoMB{4#8W&&;<)Tw=E9I^z)8@6=Qhg>a1Z4SN
zINa?~7C%)DE{|FGS3S0NHs4K*jh||{jJ%D}P9MtAWvjt)=FHhIoZV}#<0Im;#xmSf
zQ&p${98Hgwm>l0gqZ6$+BPilik5b6PA2p4iJf*M(yUu4VCXbXZUyHOPoxNr98`!Jf
zd;qxl%=bNPKRboC97aT_?dRU7>u6VfQexpL=eW+);w$6DtMZk-^BTHiqaJ}-=%r_e
zq~Gg(!%5GgJ{)HT$)~W0j8B+!7vd}-xpj~~YSVC84F7lz^>x!Ke92)`a=y}Je{0^l
zX|{`>5Z?afShg=wU4au!oCFWs8X1ooCIQ<z$JvB66o|P#oxsF|{isSyzXR21hzICR
z<&<rsAt&%^LZ<rGHzQK9lDo)3yHvdLg;T2j3!4(F{vghn@$rpgU880UwkH&%4xRk3
zZ}c*V1Do^h2qc|G-30Rl?3^q(YRScp)AdNuK|0aeW<+o*%faLrO6;QQ!j^erSZEt>
zH!%Fkekps(+%s&;ZDaP}_DqK4zzd-3W9q-tM}JoF6uU>>Xo={I`UOvK0-*IJ&P<il
zMSaM-47_Z+G})Huap|e+>4cwzd!go~`xSLL*>e|iu{|hh>~KMp@zh4s=s~r5DUqNM
zTtYV}#!qgGLC{Uq_%moIEF>%#HsnI`tP}IWqX)8we4Bq;f7>C%0pUH#TF_U<k8Wr1
zR&*3gosH?1eOZn(v*EXS^E21v?k>YRJ50mAEA{<-xI;u9+fwO4I!$xzPIB69v4ua}
zB37yRPUE#9J!AN^;lj_@+9I3h>c>gl6skg5EaRl)?rxZ+DIL<-J2C9vJxe>=iwSre
zpgxGzyeNBb5~q%D`(`nPD`k=8R8IFH%-EB_s60bk42TBRZvfjXFdq(k+`RF3y?6yH
z(MKnP1yT@g`W`<zHrzavd**bfMZecJR*$%&+Lq3k^^VXY(v7u`*4=Q<zH5=C6?jYk
zrYgJ8S5+=SZqBLT2i&5RX!clEW4dO~6_3ay>J@Fbzj;}|F|SzGZF&L0cE9h^wdE{9
z(i}-S-A}7|g+t^Jge%AhZLFCBLOZ4!LE7t(>tL7t%0tIzw?~`~TR=u9d4ZIS9TU^L
zdFDr!ewA^J*iU|TEK+)_h`a%n^;U6G$FF;KS14ELSX!;isl}<!DSywmt+{RDncSe|
zDa%Tibs2T~&R^p`+%ej*-Z6P>PBLLMxHqJ*=K?MaUM9Goj<9wnjO=}aCSVWyz2qKj
zNKnXwGe?jp0VN)A?A<Nq?Yn~=BK5})Lw+IcA??9jJ+?RIvI+@4a2M~);aQYq9YTkW
zdd_?7C3j2fn~raMt(HyIwB^x@fT7OJsKY+ZJ93`==iOK%dZZn7nu($v66u_r^+?>q
zl&;AgJd&z`)$P@K>GZK0yaHV%<s|yHPT~7W7DV#i(Qh8>$I+JeJQNnc?Mw~;e$4Kp
z$><o>SI00)V^Kw;a8HF@x#N-0)eLb&W=>dL;#ZWg(3HG~xbTOlXt0d3@Uq{*-fGS%
zhLnDz(;_`@>PrLLk)r=xl})-$9h)bxX-*R@v}Vof^ynmZ)`!!8s$~t`{`6qK84<+$
zNE}7dK5x4tenr~JO~JIl*@J;TBrcH;U${nhw%5AMm>A7fU!^AJh!Yg8F(=N76*W)J
zzpEE-ZqxJTzIwELXVo!_2`O$h6~}ST5J9I|^$m^Z6eU~qkXw`0NffaS?Z!d0y;zFZ
zFxDYu7abdH%01X&lk!iTq-sD?H2P9hlJ!?_1HW={oIxkSb#)1~n!@+!81Y>^R<-UV
z)9J$(L`~)}-R7ac`foh8393{l02_~QZAdOUW%bO;Z0*G~X1@~jtAAMGW{FC<*{L+8
ze7{~&m9K8`rXQTQw_;K1M2WS!N9-1UXVvapwViTa3pOQI&mwSg5<10nGGsB;Ji3m-
zr1Aq>m*-~sU{$|d{=`b*gmFqk%I@1ToN{iHL_mxbmAE#|QN-bprx*Sx_E8}2g5>#C
zEh6TjxzEWGUL!sBw0MFapi)y~o^HPPll5kay%yu~RKd?B*saE6v&}N+GkG7f$Lzkh
zx-HdaS4qAyPMyoykg6l_Sz#%<c+2U%QuiMq)6mBDk<Mrl%doPq@!dzwaR3<v8eNk3
z%w+KbJ%?O-cjjgrh2FYI3SeddjR?FkbaZC?I(hrZns-oRbKxK8*dEqioIj0@&{AD{
z;iTkO13xx83WLYw`<@28Ul}_GAk;Q_P10Hgw~u`lDJg!6DK)bq0VHnBwB}sxev2Kt
z@dOm3L(M@^CuFb|_)v+Nc}HqWOiLQnZmL|A5Hc5TsO*(|<O~TJPKo{Q{T?}$bA%%X
z@9Y}p`%^@Par5S8oY%@XUfZ5aZvhrwf{CuObni7IMOX6(3PX3g>zGSuYXnrt2k2+f
zsznv7C4&QmQwGVKpHI=&tJ+jF3p}@q<MIn@?Ag!hiWsp%{>EU>KfSYEk{On9zf@Ey
zlpp#9{}4az9R2M0l}NzWGI*jpfznpB!Ay2Qrj|nqH?e(Kf8l5`=yb-!U`V?CnRZo4
zbxGbBY%%0{QkHNU@7xj;y~4Phy+Nacp$@dMLtlvU4d987C$tLE6VnWR!<RY9YSHUf
z`k?AE$@z6L``FEg#<oe%gnXj|Mfb#U<EL$Ed+UU~p<wmgf}y<#DYH`I=J>gMM5Jw!
zZQ*uEaQzzskK*7=B%WI3nWStbMwOj}4JImZ{QO$o;_sO*^4T8QE#G3t$K4KVTdxmY
z<oETQ^xP=+1`cjz$0N>WTW!9#-@2RUY~0=9fAQY0cffSuTpK>G{2XE(xXWJ%xwDEp
zXuz+>(&#HHqWfq+nZmG!!@J=~cYl$#$g7+EDO+{MMfNI{72V_K1Bbf-^2C>io69M(
zQT{b25>HxU%}VwrwXC>}cJ_h-my3^SNS!WPn@M=x8uvf%9blhEs?{{)M;G+_(<Cel
z&VF?nSqcrOZ;N5)W2nkyGU2~~&#-&i{}1%@m2ACIO=cEWmcLlpU)U=t`$I_l9~6eV
zgoK*7Dvhd@otX=rvV)zG{U6NlU#u0t#044*6sr)k2Wbo|dyvGDGcx&I^<Rj%)!%{x
zL>>PY98An0V*0n@U}j?kyvm^e>B#~TDvUs84o)B&BjbO){)ZO-=!t{*RiXX=d$O{!
z{-dY=OCPWE`#0V6x;_6_+W$Xp_iygc@+akfCI0{&I%beMqhn>}1d(shcudS3%%C{W
z|AYOrfr$3M*#B$kZ}tyhX9xBB2m5DY1YQ2g|ADM*AhGd^O9ELq|EUB(5vYGC0gl%L
z{96eCK$QNEn9*N0_Z#?Y@qY%4Kuvzz%O6EhD2kQsb#4DkdRjXdg6q4*l)Ltf1o7H|
zMBC-W{YlAGvKLdC#!F;VA6rsbTetx%V`xNnLq-(F&T1lG2rJ+~aOf{dVM&n{U&)!&
znul^=@KkVeWBhD=E9p9`loez_R^Mtp^b8d3S@zrb;H2@R<vNSQY_Gd^pNrPJ4xdej
zjdERoA7m^;NJike)>=E-+@LRbcL`USIyb5tKf;IcjIXZGJEH3-P+LC_Hyge6^FDni
z_;4=kpm4V)ieCvVKNS<rlNTo%JJD<V9xJ-;i<kS-*ukZ7L^W7#Z?NV!sP^>Xdsj_?
zj}x-6Z|!q{*2YW+I?X(_DZUVvZcE!CwZIYBR2xC(Hh7>ej3x}u5;*r~!yZ-`!AFbn
zlP+Sl++CN;+%1W^=<cY#v9ce8^YR+oM-^NdHI+2T@H{{CMZZ;E(I`SPiNZVdwHWL5
zOq`%K;G2h1CZkIbb!svn`>)GKpA|e;2!B`QNx*?}#$JB1K38-}%7kpDC41`_f2Lil
zC&F)&E{cx(B8)v2r_`^V(I+%8Q<gmFdDcIpPpjk^NnNGf5(Uu#*xUA}-Hh9RlPoe6
zgz*z)HY}aL?}jKeL`%~~>`h(uKo@B_l{Q5Qo4~?x&4Gpu|J*@urb0zTG9huBYx+l$
zcT%h1`S&ZerdM!QMDL8)!wYOJuSu^cy^!#L@sIPr?5UQCe78_G+~Dqbf?M%=lxoqn
z6MVBW-%&NI-RqSxHmZGbKo|cCU`S$8{9r0xiw0MP1~(0{{QzNP7f@X)NJ-VT5HuCN
zcR2scXn2~|cZ2p<o|b31*3um9+A{5!4aUduo>N*P2AQET)I8HCq1~W?Gw~@Srx*9_
z?z8aLrm8UtcG2NYWT-x4he9keozRtbxDJlF=ftIWadu%MnQ95#&nWo7#0C`QZR;J4
zZT!BfnHRGmjqq`G#Q7(%?%Ldzx^J;!ilwNSNYE3+jox4Uik3c;1e7t467|tA%Y+^i
z2s=;5-^tZ<%YM&IZhD&y3!ZWs_<@@2j(QHU!6!a@H7;}jAwL)~qUM>B47Pu?gZ)a`
zDp_o-e}*z{D=tLo=S=*42XcTZ`umG4s%HtkI!`>Zwhe!E-+7NL&!sYUPa;>*X$YV2
zoYUmQJ_|qOh{^lLaDj4_;a14fHvBVc&jOSL*nT=nb1|!ASzOdKShP1%JH*LNQ>(-i
zLO1fml&RijeN-K3{lgvmI|ac-S43(%oSQ}sI`7khLv3ri)94l!+NomUjTA!ra0(yd
zIjM8o+EmZ<wbr3(uv!NR(4tmG`*c;M3Q(Pnea~pmRP9n4g-;f}>+S7g*>!BTRXpG2
zjNy9nO<v=C+IL#}o@)6kS{0Eqg%&3Xg0(!c&U!hxE@%r++4*yDF=u@qX@?Z~>Ws$x
z>aoi47@J(K!*GkLsm7Q4)larw5~ImT5B;a%x|L`<%Ly3G#*rrCgGAroa$zFj6Ca|Z
zbhjk=qS>olO(>EY+ayrbyNeD#Tn192Vz`bb3iHOnX&sA)Vt8dz!vfx-b3>g01i9)_
z0q9(urZj4ebnxti(n5{#5NM5cTPn-GH{~O@MLq0G23SaMFpNWKb*XO3XrFXTdIFIY
zG|vZ%a)k)ZhYHgo3>sFe($s{OOFs*OX&p00xgw^*#v3szRwnuxB(%dj>jbV9B^JLI
zqnC^KpcraR_+>}`yt(C#^U|#TSR_#6q|r2pe(oINb9t8dweq-O7}uN!F9<hB5e_Ni
z%60tHY+2Vi!2`U8g5<_G02fSg*_l1?LV0LbFIQ*@-Tne=jqFEoXpzipFFoS7j`7vh
zkj`A2Q8&HOM!%>^yU1#@$jWi+R$SK*^zY_k8k*DS>aKRF>}4&<8)2BTR=QVolOwAR
zInBoXvRmp9``SQU1KexM0*F3=J`b$TIFlGp2tn=Bl>1d#q=}5D5gC&oLYIOV<w1jv
z0$Q+yg3y{y_%HEuMt%Zq(C<IMJJR3{Hvd3vhKJcQ{}Rw&fbo6EAs4mh5|T5LPF;lX
zJ9{_eR-by<ZWU1_s(v7)ZjT=)u5~VC;Tmk*U|g^LJ&SI%0R9UWL^V8@{NM`|KkxKf
zn9DMfeR4BOY9eY2vp>UJZpYvjqp#r1u3J1zJ`j#59l5<4E47PH(g#|;mxmO=M+L%v
zZWiimm%1k$0W`M1yl8DG@9^<X`&9_z8#>MKGlIU2HfX|bgNTeaY5BgooyT3LxwAlP
zOVy*+Eh$eN|1URC@`l_9y{3TX5GSVm9pN@!f9!{tZ*1_|hA@qqh&DA8aoxC%sI!EM
zHsB?sD#OaP0f_PM>Jy~Q8rH_ITBoH6p7f%uP**x3=+=?qJ|o|CDKNGpy@Y;Re2Z!K
z8TT9Xz?kHzslD2-%KMG`>H8`sVm#9P7ac~q4=IkYH@z6AlR=Is`azpU<@`Z!^T^1J
z#c*$v?uIGQzGPtJ)f+JRje*srLAzr<@@ovP<NDCMv-1l)Oa3zbMY!Y>dH9AyyaS-Z
zcKju5m=T(o5!0_-5}z=xS05`_<Xh|PC4Cz*2?`0<(j@haq&=BOB4NVr9@@i4W$QfR
zW7>kdnPNu#{Nis`0~4k!(6ZPpNz2{5{ijBRI|t6AO<~PK;}k2;OCOikmP(gamJ&Q=
zeof!U?G8@iP-y4(x#C3+ZpeqaM{n^qsr>lyfjM>Rlb<8ltWf>287D;XRHHx-G@gsb
z6f*ZbGW$(%&RjgOM1*HB5d}ML@RL*l{;mtc5pdm<NK0ZN$!CaORw1#thVYRIpO_&j
zX^-wZQc>NWifoQbtaV9D%a<_edgxiY^p+#M6&cK_eplS0!*BX6IpWxc$LZunxJhGp
zCh{y7jPDIQ49`xb-QPU2+@d|w`=mbM`b4le`P)--$eGN}S*lxonm(PSpLrI2q({t+
zdmrid^Ct_e`Yis9jHZG^kJl~2+O@yfpb_apg5MtY&0JkI!r>q#Z&YU(iAo@|thcO3
zK5`UeK=OstVY72K5)%av&Fm+mx}st&WtA~<lUhT`nG?^7P!nuka<AUXBKok?qeQJZ
zo3$p?!t-Ns(Yr+yy;?{mxy`)<eCbwuQokS-;R!DeM`?KZBal;oD-ebDio1tC?3ek_
zet4n|g@>V+&JeoOP_MODp7us%Dl{!m_EOi|#vh@0%ty|_`$cN)klU4t5ovgdQ$9aY
z8IX`}#1n}%Lu=Mg9C<#}03<XUTZN6ddPB?#n9d#Vber9rB{-9hT*al^n6Y^V*>qqu
z@@;85R&=exMjKlzAl=eDF}Eh@d)0e&7uPD3;LSa#3eU0enP>46tkUv&b!m0<h?cz%
zxmGpiZ3-{_3`j=i*5}q)rbuP<bf%A_8)Qn{Hp3b)%+gYhiX_8i*>jyD-<F<5=##Ru
zdn^ivmAkODc*A12=T7EUm<-V`&*O`RF2v>{Qi)U~dm=9{#5v`uAf>P-vr;-n&o=Ud
z3;fiFcv&?8)K>`j!x+h|x^<$6eYN4uq~baFBCTs_(~$T>wYTe|wJRb2+rV~R;K_jd
zn{;s#UegIXXD%4}9Sfy2oBLS@<CZF8R{L2o#c*lPsyI08Vk=|UEso5uWPp~1SRvsK
zLZt~GB{(y}9=*^EwmMP(^oXM-O3#8O)eUjpP(&edRX%)$z4FchmLp<x4$qdQ^Nn$r
z)>lBn6bs6gkw=j$ZC6`+FO^Kf*h&8<NmJGlD)l|Xccz5lpMyg*$bhO!9dAv)d+Q`u
zv^SVIhqVzUQ_1AQwLpa})hr-AV8vESLN!;%Y0!x^*$14Jju%?GNWGo$gQxO@S^q#x
z3<()IMuksb>}zWXbP>#W7vY`U6$5ufO$-1;F{|d8iqJHQZ8@7$!==sci`EensqPPM
zyV14Xll@vJpzpNjXhi(nuwNP`@kHp=w3Bn?xG%83U3!x0-`hKH>5{Uuo%tew9QT|V
z*8Fa(pox7N^Gc@!M)OyZRQH{Tugz7=mW`Tcy4_Tu*}kpI*?I2=Ol*mo^R7BX{~y1Q
z<A^_YuR<U-H+b&cpG(}W?_GR8?hLxMD<DPJilFFqZ^CV5P4bmqoJCI8Z%lbYv_iY{
z-6H6Bp$>A7TUQwNln=@&Q^u%XxkCKL<<8ry*eaiouK)~M^xLtuu0zM%^d;hSBK530
zQg+O<B8B_Wo$&bx!rbin!?M-H;Noyar2ccF&BJ%W<cBA8j$`5}=?(>lyx}jSL`S))
zMD9q;n)K4Q=Pv#ZnZ&o{N4)psNNEo$*;W(k-@Rldk~qHDE#Je=4gN4*<sODXWT6UC
z7RLT12op-Km*Sd^7Las`?Tcz=M%iO)sqGhEFgLfxQ&aDmeH6ni0FQ#n#l^vHPO$j6
zPdyJyb!B88f6|krkHky4|D5h?%xPh?@!{(>9;2CJ_dMJflztsgn9N2t{nT?Z<^CPl
z&C@OAJQBC)W(h)XkxZ|mfNorBoF1K;NMpB&iw<ua&!~xW9YJ?#6_{i`x@cAm*+h6@
zLG&H~SdxCk%!VG!WK!ho@+CvL%YsB}0Y2M{>OkpXE@jkmhIZjbFw!}EO4-7`W6-v=
z6miN;=A#=!hvvmt${zB?aY-wm`$0_W&*G|x)~kE9+dEiE=hNM=ms_Lv(YV)(ixTof
zHIR?`WV>*Dym@_lA~!i%S@1_w6lUeMwvCE$g)_o$Na`L~n#VBf8Z2~ESv-;JO)1?P
zp)W#6>kJJkM~j`>77XjO&ypihU%-QehN@R$<9ViDCKKhGxWyeE*YM8avo(6+jVm%d
zo$dk6n!36Nu&0{dnahdxaxUs~34m+LI2w)o3P;#)wlj^cdvnL;Istyt1V=26Z{<C_
zdisdjX(Uv<Xs#jOdo@xaAX`IC-gJH3I}j!pErdTuYopW=#wcKRIYQbc+a*I7#b!%o
z&0p=oxW>Rc>`Tp6AeQnD1?MptWwcmIya}GwWQ|H}W*ud5hyR!XQ?%(zx@*=37#>*8
z#UGpap3QC3;tHN`Q^jXiw~JLp$Znz$&Q(ZWC{C5(Z}qb<m1Wt<*66fO^WDV)0Lv_U
zBfbwi1CYmJXsPwi{B!Uk8Y^^Fh`ScL0(Ekw4cp2uZdA&_Ddip7s`6Uq3GLcoOZPjw
zjAI&l`j^pEO#kcRC3EN6lLKa-%@hIcVQuESkg%L|od#VG|IMT9$-a%q3aS_^<Ch2#
z9KUxFFDY96bbS|X5(QiL(MQ^)<1&*pa|@O_^#~0J5A!Q*zYwqmCS_{5?bvA;^%HGS
zZPhcaKVu>k>UM+7-j&<Hnp%HZYCv{k(SR}?W8X2#-6#AIUH4+-(!K_@O_f9QU=aI*
z{4wv{1t?v!^2%*tWz!%Gi6ut&T0Lfmru8h16WU2pqX>3{hDLn9%xJK3^Bc6QBq(XP
zJL9ATOAXueQSiy{NiF*Vf&JY&zTamTDIcp4&CBzrI03>5hZCH3PIvCxqf9ROJB75)
znXi`LF@(?ZJ<7G(d}}>IZ)<{lQe743E2zq~FK?!oV0WWV{re@*I@1HV0!(rO!LmrN
zkU|{;L+6#m!GzTd;2=bx7#Yh6;PSg47gCzUafb3?ZxD+)zU7lj%yhGG3;2W<+9s<$
zmx+*Ax!YikkE+HQl)<>hFlpiQXJc{)kyzw*5MT~R3Aw~@dr!%*-KApGHBp17#zY#p
z_GREO!p`WLr!8v<6%Wh|QN+~wUuPAI$JVS$WM=qOman7vM98ietW=eQ{@0$#hw^&r
zQVS$V-Cip3TMNWLKu@ZDr;;}@*B8<+Wtr99l9np`sT|E(SV*ryP-XR=Ey`4^<luvZ
zB)x1udJOhW6I1MnG{H$9CyZS0NYnuJHM)emkT`w*=rBed{_=#adT+~_{YLMeb!j*~
zBny3(dH}nMK?s7T@f(_zrnlTu76jrgr8Bl8cbqP4R_63ftJgFik!Wlh6%p$PLZZZ%
z`zAl#SMB;3=LC-$+oXl!q|HJYKVfIo*!!K-Q%uHuY#L`e5#mjb^(qyhaC~4Wd&5SP
z@t7vvW-(A#qeBqq$4x^SJK!jc5c^0s<}V2Wj}tDGc~^5-8)ki-#X7gOQnIOa9rzql
zz}NG3y~>rskK*a#Xydw5=eERt$)PReE)`v?PBaP*JU;<zFfC1eA=xX&drH$&rmKRk
zqD*$@#5xJ5{teqh5vhSlf@)*Slt%s6a11dj$)7cizs3~pNpKS{aU30O^J|%Ov6Rfk
zFL}j1Nj(?BOu#%M`cMPEsCCG%UQ(HnQl3N{A27N7sDubgu`JQKwB)5CNF4JP)EPVw
z)c(W<J5y0Ypn^2aV2HRy1eF-0%a;Rr;42eb+wr9gp&MOX%XH3ygdZ!+EE|fi;vC3%
z^}UpOJz}|dEBTGsuC#2u^G7#xvz%@*O1TKRN(upRYB)Qs=~}+@3kO~NAXxKwRhjcV
zL93FD>{Pv-m*MNGko7i2%W)^3wfTIJhOyw0BfHs!B)9q@6&x-0cFwY9b0rVQ=Q%HE
zld}wdkv9g}^wGmM-oAeKpENhW-Tc}cQ+mMu6uTlWv41QdnPxeHHy$Z9CUqdDJNWBT
z#A>(#TeR%!3Lp~DKHj2eUgx20UiH;r^TKb;XXr7O!|P+(9_C4Vzjro2RS9{2s?qF;
ztBP{lhH(}BaB2YS#$geaRWt()I&1T}qI#{tNvHVr32k+^Fzx;hjIQwLsBiJcIj{Xs
zuj1NZs$5*ISPFa_#gd)KIQj+S0a&lut6ff?ly;m+y3({+&|mbYfT+wkRnFPOt4PWW
zT^Gg{c4(@Hg5<r{x*?bSM&<U)tG6&Oz2T${)l*nL`F4Ym$IB+tr`NM(i`Gj^HEV)g
zUU6Qkq-|SL6B7gvf#g^7-mNjpN_)}>Rd`S9HuDY8;K)Yp+^wI^9d51s;9sb?`g}f1
z(5<CoqjYZxbfUGj)^FJva92h=cy4ltn30ALUZeBl(012n*=MfI>92JdI!#6<Hg@!{
z%RJ+@bP&t^x2OHLGxOEK$;Qm~cc#a0fAcFyY3gNUYGq;oy2sXx>TjRuU&%p~AU`=!
zK?SG@%HW`9VxeaRD!CasyLtmb$@{-=1n_kISEIjf?4`7DHgdFdxAF!u)3bt_{j0`b
z`8kxL+{}zjoQ!PD984@sT#TIBjEoeZpTBGVGl^f-$`zC<@_WL{pxh*92U9l_&|Siy
zoRHr>S`pCA!Jt$kAoHK8M8C^c4)&t2DgMlVW)sOdn7)<)f0qB1GUVxOW)AY6GqVF2
z|9$}3+1OavfabtIFeWxuCQxAF^#Qd16JuoN;sA~J?-&~wJIJ~G?-(QF>%{*ZW99;R
zuKxpLVdMZg;s3oJ8`tZa{vG3DW(O_l-?87N|G?N^6K?(kV`1X_uXV6-fxPtpQIDOG
z^}pJ(vvGhjW?mov+5>iGHc$@He_(8E|6PysHKFa_>w%W`Ut@5wv;NoqadC3}=lq!1
zm_h#jfA0^3vHj=%fiTYh##lg!LI2s7h2tOVaCJ5Ur3^X$zCB&V${S=u>_7%(2M16(
z-JcdGWpC~P%B}lteNv*JJTzWoMmBR(Gd4CZ6E@HuGqNyqnlYJhaj~*<8Jn7#v9R(3
e{`V?>L}XlCL0_-mM#;nmS|@;vOiV!>@c#jLPZ!Am

literal 0
HcmV?d00001

diff --git a/test/Data/dyadic_tree_3.dot.svg b/examples/Data/dyadic_tree_3.dot.svg
similarity index 100%
rename from test/Data/dyadic_tree_3.dot.svg
rename to examples/Data/dyadic_tree_3.dot.svg
diff --git a/test/Data/dyadic_tree_4.dot b/examples/Data/dyadic_tree_4.dot
similarity index 100%
rename from test/Data/dyadic_tree_4.dot
rename to examples/Data/dyadic_tree_4.dot
diff --git a/test/Data/dyadic_tree_4.dot.pdf b/examples/Data/dyadic_tree_4.dot.pdf
similarity index 53%
rename from test/Data/dyadic_tree_4.dot.pdf
rename to examples/Data/dyadic_tree_4.dot.pdf
index 62ff774f64831f0ae74f9f33eeb24c595971f2da..8632bdd13be0122e48f27951b4abe73a25053954 100644
GIT binary patch
delta 8945
zcmai%RZyH^wyr~hySrP0256)k4elPS(GC#Yt<gWYy9AdIJh*#s2<{NH(E!0MX!gwP
zz0Wx{b8)_lRc}4@)cS7MJC=#GorzS_%7`kdrKBRQTi?y-g!I3epP38^aM#vpddT*5
za!uY7RLl~zxmTRwKX~gf6ZTBs(44^7;HSj4gc(ZuMymD^lZN1j{9OtoQ@{&JYE8{^
zp|88<8ZvU4A5s0b$9zk-OSj(~#`I>nAp0>1dOxfZ%Nb8(88~%byDo_3b>2d(^89a>
zee;rcM|B&5aTk!#F0v<@0G9kmLj3?wwOiNr8Dw6ZPm}4*J9`uQhGZ}BeVn>1cRTb&
z5HCLwXKt(u3N3^=)o|v-f6~vw?&Gry*uO9|ci3j*eAUdE3kp#OM?3ghtyD^1_O*ZO
zEUl~;lXJ2<{>BpBo`%<W`+@DP!GgGqdghDw)&0(k7w{KB9%7s*B*1TE91R{bN~HW}
zrkRTfOZX#Ar_k8}r~f7&Z<Nx*bmDC4#p*)LoWhaNt&(p8EwXjhbiEb|0kUGX9F(bY
zCijTEi0<P(5Akj|gNW&ZUBJA;RqWTpSfdLKro;*sSCSEbB}YBi;G|cr>_Y@K$;Y;J
z#<I^^Vv&5be^nr3>VVduLxc=NNaN?yhzAdRJG5Fk1j7$;T|;Fg3Ee1XvW3&$dtr7n
zwjfGUCJSDve+_tgXr)g!jI;@y9>OJf#9Xx7r%Tf0r!*Q}?_ImA0~KV)#n%kT^;2O@
z2xIbD8CBkP7*eFkcv0UY7lkUQT9-o~A56pS`Z;NXdk9!5x;>r|@jT#eZ&={Yp*Jj`
zoo;>uN!&gvYCbBOzSh#|<nJ)?35@wfE#p?lChx;5kGZd)zN1j#_Vt9ij2_MRR+{Te
zp2o$4g>U7RPUY1l^xzq4V_xZQSjk_l>pG`YKl}9?KbwFmX0m|%_3f|bBgx?TzLg^1
zCZ^vP1&ly-rLanu=vMQtuaX0-&N6>Gc!1_rtollM^03eFE=H9#&CZt>_7(!jsje*N
zY`c~HC7S^M=J<f4@vBsco(~7_cD;#*q~5$wpn3ItiOxl5oo!RGfd6+YeE^?$IUVIy
z>Mf(N)A!4^%AX2#1qm(q*(d=h$H?7$N_!e*l-BM5Q>!yMMeJS}21SjmPhSdkqw%%i
zQWbHScZd-;cC`K@gOExdZB6I?fRx}$z<!R+gM($|F>&0P(zf@C^17k@q;CqYI%<5q
z!RCweL^0RwW8Txwrl)nTCV6&}EAei=^$EG6rNrp(g-u*w6+KwG3RMl)Wj)1~J(f#9
zu6hpOfE#o>>|<C^GA20i5adwjmEoXeU+f}j*<ZW9pK9sPraXVpWb4%CV6l7DL?CH2
z@~JY&gRTZATGhm;l(V|jwS$Z9^AKI*t^nyWpNkSB*;4WPx7?!Ka&GO<rT(_fKZ_<b
zN-9)81X<&6%jT4l$ZE1&FdkM~W6Db;TxP%ko-*uj8t0t*sclH=Xg#2Q*L<0;rBE2*
z8ad-iQhNob4o2!=6mJjRFqFj1j^}T9z(GNdhjylvdXZ3glmScTx)B+B#)rIV_ZUAV
z@hS{jro5Uj6f3wFHmbody^yoAxI7BZuT^0eisL~%jHC^r7GaObNDQqw7>81`DK7K?
znPiXo)G#J>c$yS96`D@ddxjN4rpv823Zxb&Od@zDp<~LE92V7}y65%POf!J{qXHwb
zRJGI$2QeQZF+9eN&J*XxmsgtIA>t2lm;cWMK8-fMgpGLS)N}!%YqE#L{0-A@`JI5g
z?}uMu<ZY6Y>VHMrc*54nq)(-<@FM>Jz$-ht>*{M^{-?leU%Q_<0+kb)o{vyz!}fhc
zsiTi8$4^IeX6U{VZp{<9puALv;{vqo<DMxWtEqJf<AYnVE0eI?6YQJ5^~}NI=T28&
zXR|iZ&cR43AM4qsB7uzzyV2{`G{=X))~4E?w7OP7wx=#3JsfGL4{q}{t+q>mQPz&?
z4<q|)0j%Pf!~4LE3lffxo*v`KFo;G0?#y|;b2~i&{XIbd+4%z}A12d_ep!>4t`W=4
z49J)`Wf|rts+oMW6M10f)u}W_`g9y1!(Qu8zW!;W58i^IhFJE=Tz%osL%^P&923HM
zLG>n-@()J#cUle@?@U}^dru(HnH%2~Q=<i^>~%(Yau$vWVWr+xTcQy|dDx71hTJ<}
zfzJBmzJke~@H@z-S0k;KF}bPhU!^6yY!hvxV0Y<yKzPIRnB_SbFv28X1UZAo!qxPV
zsqk+ZvxA!zD65KJ_<<+MTL_wZJ8Q6{&M0dWb#^38h;rzTKiLdRqTK-PXnL2Zewe2C
zOx}^%amBKD@`d1Lq93r7pbad%-o7(*LyYV}cUtZwwjH^N5u9kH>8)QnUl$AKEJ}kZ
zmI{e<x0O!9^$^&_8{6L?UsF_Al!t|9<ke<1jToy*S>>GMxn)ys6;zTF{&MfQi~N2^
zLHo&yxAW!SxTHn=*OkS<(Jz*X;gLs+0+BXBA08jZdyZ8Cq%F;7kMzMl*A@~V7*^Fj
zEg17{-%5)f5GeVD74?H0EpGDd@IG;A;@*~Z_YSF>|EeVIpUy{LsiGRl1$@WvYVTLv
zuZ&*+;*f2SihK2rPh}S@PofgWHihk`xqwCTw1k6JKo?i=d!h#rIitmv3bEJ}9vyz;
zO4J%Fs-%`!zr&$a7WmV7!l*4nJmi2`OnK5pmpf+^5!I5hs&>L~@&c&l(bH#NeSK9S
zu6HZ9C$lHl##F&HROm5nJZ<&mbs`m-Yu}AKXH4I`TA18wkGFFc<B@o=^6(@BIOyPw
z>-9_O@cQ8ux=ljha8>9HS}Y?PmQt@gyTYgUjCqBM2{C;&R)jYFPpygkiGnkdKEsrC
zfxic?=)K7oUC3v7FJ3~V*Xf;L!s^^+_feSdRk`LA*WMR<q&xP{$?Z?wxg#BaUEvW^
z!<*^jA4Ad`iADV632jMUg`9Am+^%lGIl8k=2mZ!LjCS_{dHa8Vm=a(Isi(86XdApI
zDR-O?m}j__x~@O;GJ9e9sBJXc47i!GtSNSf30$FyT1m*~-6{){dVL9}W_-}pitjNI
zrR(D%1;_-n!x&YdD$Rx1mpp;l$DWoD5RIpyoDZ~IVBmwA8XpTQInF&?k*s7s!Z!80
z8#$}DZMHc8J!bH-i|`T|isLeKu%deTvkS!<XPJP1ubrPk<Y+Oh^i<=A0_4;;#WhB&
zOHC2`<^?jQ=nZ9w*p<(e4PJ5<s}RiJaBA5e&-nczQOdn%5jSiN@g4Vua`Z7@Oa^)^
zP{6x(`CtnTMxk|8kvp)#5-p{E6AKn}Mwe^8&KChbO~-s;weUc-lVVf*#uVo^-!P6d
zukKimQ7lY7j*^Q{AvOdNL7vcL@PF3uTEH7`swlwN=RV_nH%S{*+15JIYS_m&=4jd2
zM4`%1RSA(XT&5m;OjxGC&Tx8Iy13nIgpTKINQIT!sTlfhq$jMlk%UfUR(_lJeBE@I
z{uu|DjvZHJs3XWQS9#Mhq)XstU$ubitFTSIo4v6(9mN+OR*Y0(uOq5}ewc--wL@H_
zxe57b0O}2tg6L`(YmEOOz#YxhzdNAe{o|xoH&eGaho-+EVDuRa<|Z=4kj3yoZAtk0
z0y<H5<N7O0J8rAb6x5@`jcy~?d_xho9S{N_f9|n4ZI4;}qPstUwGrBYBl(`Y&(chx
zDQ8iDF=U9pm<BF?ITtFay)mag9G_*-K^A6q&wItU`Yi(mHViwgp^xaSO+1o(m;1`j
zoA!Zx#|L{w$TzRkX?0cnf&9U5)p@-rCBpjD?q<uin4jx=N9_nfQkHhL-bz+h_%;~0
zv#0(YwBtVxmKvHu*Jr0cr6=?j^%!eh6jF7>ti&n~+c5)0A?y6M@YnvuY^&!6(n3&%
zg9qxY0xcu<rFL5B@y^$m-jD}Z^)X~V+%KhTXJ*GujdXR*iF>ksIOYjFeYL~zj+`7r
zJC(;kFW$e_Sy+qW`+>7?LggO4+O9Nk-PY6zCwk6fG4jiC`h6hp7)^qK_aKqvJkrgG
zm;n@fEf*nAaUr9L`+Tg3sJ{{zcz@GELT5Mgt+Re<!#`KQpgrZs_~Re4q41b_4%*g>
zHN_3ciOF3-_0YF+nP~LFrxCZ!{@z5hP1%9;6ik;D(f9ckQrSGYzjaMzXbS+mt9(E^
z18~!xAtPRI&RWrcqI61xr_qdxYhYEushgK8-9<IVb-C;O3VAY^$965$g(JKpUR-4a
zEE&3}2f=|~gK-;PO2loK>J)0lGbJ$EihIS_)a>l5cMzxZkf&R>5T=`vW53fe<1uRq
zF-V+rawo4pcSB!8RG4CUm;!VdZru-qq1pJQuO*6wrr_D5+;%W#`EM`3o=K%si|(|T
zQ&Qb@Ac)S?TJ(36-I*bWBYFflv8E+gyM?FP)jV_$x<5!aTNE);2!9|#DZrFM{4<x#
zc+@-Z{sx0}F{#FazUiPSNXZWDVT9g^h3Q56^{Z#^jI9nwc=tY5w*xNrm>AR1M%`0U
ziKeKlOjhF3;*0+FTPC4G2=mRTe3{aOmh&&RreXNqZw<b5V!+sG>+F0hVdW>yD;-vE
zjromQ(RIiw5-z7Xc3l+~Te-NC4c&`cak$sHG8$Q4C^m$Y&epR2swMqQX!??w0Hj)8
z9^x!FwnQT{qK^U`jQ}&G)+0(hxTD1rDr%_~e6Jsf^fd~K<Hqcpr!{mBOT?n7Q`N<E
zc861>=_(znjR@{G=Nmg`^<<67<4F9yg(BnqJU2`w4r9@oy5N>)?r&Uorj#u>3nuaE
z#O}~{_X$5r@o}bUx2a~S%sH?NXs&JAp9ia)IMvV7fmP`?+kvSsf&I&@ey@{ali~_H
z(wQS{a|Z02w76CL<lTkY2J9hfj<R<Wa!@k`c?}5bLIauvY$d_0D&6^ROK8V6ARrOX
z88)IQr(Fjb(bQ5@is@UOP)Tj;-z}+E>`UsY=dj~~EU+0^)T&vN^6L$$4{y)%y)P1S
zkvJzQp_<`w2AIgVUwO%;W0m2j4Yd=VA?yhZ5{Ac%M6UI&^i(?X^)iyKxQX)KW@=1E
zvdB`&Z#7V(=}shlP^s;=iOlCKBOSz2EPm3Zpe_@xT7--4qWDoN%8zT@mXvr;<_a0L
zhP2z!crSdArKxVS?k~bOmy(r2sh|je{RxHg=xa7R1E;g_;9pwGEu)l`+-g&9EHZ_C
zmAg3UNGm4N-|<_T8kI+7w0hI3bj#{FBD=|((+K5VY%((3Vwj^NY&W*Jv^($a27vX8
zooa~~dqykhYf=L;;1UgFpt>jSz46LzG|fgF;_f*4JWQ3S6FS~DoTpKwDL6j;w#BjF
z)v3P-u=Bko<-oRlLTTcMj$Y}}9L*uFOOa3NAB!J$1}-1N2R@)qNb}(&4X6-#T)9?d
zvq98sBjmPKRr+6x8sxFVecf34da+>$aUqxP2*GOf4NB!6X@MtMaZ#i<U(@3MGI^qF
z@UN#OF5LQPn1%J&&6Jzf)j<OS<?&P7_?JzM04N`);j*XE{cX{wmx>>waN|_GMrySF
zX33YI{N}RrR<9%f)pfSU6-|kyY!5kIZG4E#{2jJ{$Vqfd#H!c>8%Y@7Y;A=mH{;vV
zbh+v5*Nx;-96rR;>dy(b)-X2P_w>DHJdGc%zfX^Ovz{L)65FOO85CQ0tQ&`(6t$?K
z2E3GNBV>+bBK!q5!3xnvJRG?;BnsCZMWhim2s@-(3{x&upP$p6rQjvc?EhvrXjC64
zGs%Z`bRKH(-@|47q1=tgsFTt<B$OkgNamqm#NHG|jfdWeLRr4I<&MZoQ%43AN{raJ
zQ_`@w+cHP`iQ6tz15Z<%iUAL1T+N6qV4jLeJ-Li3Rjev5V6c*8AqeeRbz(h5Nl8YV
zuxoKQ6Ggk2jZLj&I;#@3vx|d4U_LWSz~sAgEb%A>_xSVNdt24olh4W2a<9~@TbN<6
zy=i~N0_M#AhHm`4A9GKkDAK<<9w=*a>u^yM=4q>UgAk0lFWd(9{`C4u8X)C{0#TTS
zbPko8%QmZ4Sh;9kP}0{wX$0lNnAUnK<{Wud-`RZ*&G=Ek#$Z#{k^IG_-@G8btK<4;
zB*B&3sFd1qF1Ai)SEh73a<-?TH(OGJH{1F}#>dA!eV0X0B38Q)^H5|;;c0@^@dSUL
zj5r6|49Mf}pWMOP#zejDbei-mQ{Zg%9&}6KXh2dzu#J2X;41gX8|%!&#Zrw3dxo6K
zuB$c7TM_fD(I*6p2j0oja3;^{+6YC*m$#xE?taMg2@WF@_=3y-1@*0)^%JHA$W0Dj
zyUou`i~jaE8cmb?cV-Ga%J(7gNJXvM;4!zsF|;Uk7o|^0<~PWy7|=n|89*v&N**#r
zTQ}g=&PXJbK$Cdxpk0wO-$Yz6aemG5Xycs=GhKVLlNzix7i<E<9i%2bOZK}f6Ti;A
zqM;C>Zolv%{ms3K064ct9*3}KF98F343rTR{ye%7JUyJZlqRB3k6>>VPt|Fh0U;Nz
zN3O@0Fp`a;qcmM+uM9nXAg%pmrx}xKyxmB?h3Qcf0U2^~t2%3<79Z8>b%B~><uDdm
zp!`9cyt`5Dy-GP)IC#eGlK!P|P~-UrM{@eK3B5yHk!_3cW;vwApH{J(=MvI}?|O^C
zLiN#tR59DYermcPlud%FFAkrRVAkqTZoZNqt^?JSB++(N8us>piwUf)&unJ1b&fPb
z#d|7`^&@lYr|BwrUqkZnTmd|gwvQABFPKMqRAdLbSWgGdFXH-TR6m8>TEDHCGgX~d
zi|WH*pMIC_$m<)E7IBb;=}~K;Z(u`ld~)LL{j=X82dkc4@6md&a;1%t?%o#gIztdS
z?24(cJ**VQKidGVBQzODP!S;~Hvi&)Q6?kHo{$Lxs?X{fcV{?1%NKU3dL@pb(^^{f
zd!dah>NKrR4u&Mp21CCIq6d65_O}?YJVysgv`3J5Im0UDwf?eV7JUek&dW?qPW`1I
zun#68ENjB&5-JK+vq~$q^<#_u8d`Q3VHh>3+K(Q3<kb#n#BuUPH{|2L3XA?Nz1{ct
zHg_yLMMW(+(NVd%L}bRB<g~6$M(A@HJ5wg{Scp3m_3*s|1uAoGI&wU#_5^3cs%4R!
zbQ6^T|HzyE4lmEhKF7US)~GEl2rv4Z%(KsE&zEz7!}|iViSx=qg=y2&AD$^Prt6CX
zeg@Ow<#r7K;zzU{?s4!^p+4YxlEZ^!w6#5L_>1qLc_NjUJogypQW$8hN?M{RR3xU2
zOIl!h<Wk(t)I;0jhMZ&`a%+A2UbM`g@8pxa(WUY@#VN%`d#0EFDY5aC(ba(yv6!s)
z9)H#dYCvc1uOSk$G+kovE2u_>O!7t%_czX1A`W?AP^Y4TqYlSq{ZO>k+OkUM)Qol<
zOFN;lkZZZDXH3&iW6<jPdAd+P-^(V!yY2gHxDnc`{Z8vy-oxlnWc0(ECVlQ)OZki(
zE7>t7_KIwXFi2DT^NwyS(JFJUS8!X><fpHkZm7&zL~CK#NjZH7-&N83k3!jbU&SmJ
zV;469N)7L(z;*eOcf3yn{_mb-6*&kPglE3hY3Yq+@uh!hjOt3ekDiXEG+2$0lqFoD
z;xDWH5;E0R)pi_czfqb>(Bg}#$ZyGgMMi3CtayOZWt9hS9b{2z-NXL8rXwy2PNFgu
z?u7lMoRPj<4INi5*)N&b<+R6I74<Ngu(m4)^z<0gUMn-z4gNOKu4kx&!(Bc74r_iB
zd(94O-pr(O5z~!i#FfZeoM7J)53-2EWlY?)F*WVR)3Q5^)GJxjp+^~M!W**{$JeW;
zkUj5FB8dg*y358~ze+hOGQC7I#ae5DOg0Q!^)7iLD@DodUmnvT%oAB@=;bPUJY4HQ
z$&GQ}9Y3qS6=U&-6=D8^0onC>r>1Paj)h)PvX!<TZMYk6p)yF%3^|-p*PInqrmsx<
zSFFMB*js$rA0vD3{nlk3Hd$EWzQX-p%2^Rdt3+uwV2s5iNF^OBF~yS^Vm8iL4M86B
z=H&?8+^!S#s60JWCuud!Iw7rojZyJH_Sh9!vRA9IAfwXBpR22$?rCtXkzJ#PZ9PV4
z>qa*GVfP{t5+H;SqpV1yt-3Dn<h`q<{&GB3^}Z|bfZ#g<xX1Xj5rScQnan#_yO{;B
zTWnW6WA_vGBXTeR_HU9N(#L<MXD_J8+?%{e_&HDP4X-xpq@R{BEgdb~++7(hVGjR{
zP9JPBc?Ict=>Hi6c_94%2l6D-NsuIGGSZ=H%DtD@gVuYB%_047){uCG1o*lW&(jQb
zdwsML!my~%LVnplT*V-IfuHn=9Gj3oGH{BVc8gmJJwC)N68YszStXvLcldNujG@GV
z>_wZ?y9{!+ERY6F7Ew%MXp}55k|8F$wI*!#^yye|f7s^lk&D+psC)5gZDZBfYVYJ*
zM*ZkCZ6i;jP?@ciz|OW`E>OaqoSVIiaiH1vf~on7kCKjpQ+JARu}YR6!Aws3i}|uT
zzuujMxGd2PZAEDXJ%8^LT>}9-M+L7sF~(xmJmMP>(;~;}Odg?Ci3yEcQQm@bQDQnb
z>7)5syN{vQq`9*dR%zkesqqI@IgdZO&UO!Bjp{VZ-L8&nT{#*td_WDUr;X+JP|+5o
zp`r-8tAn?rsQ1}bbi(4Sw^+Mz3EyMG(-v$I>XyDvD9!7(5!Q9pCAOd8$7WO&2;El?
z)HJL2;~5dM4z$PfbcF<Q{EcY1B*DY{je4!Tn9>QsCcjj?RDPO}L}P)YRLR4GYFKcI
z9HS%UxliPT++ha=x&TeW6BpJ^xhK0CA(yrC9IZ$#CMZK#V3m{dt(mag_OoC#kwn`#
zVeomg$7yeblR=HVM+nYDgB-~&n?6sY_VcE0p{@aX?|Z?5NR$+u#8muDYZBDZ<`ALK
z4fJl(b^K@LKSgI)2oHn+V!wAXBoDJ1vl{&`TL<SO+S|4M4M6r8`7;j%sW^e^C@XiA
zpX8s~vyL++M0l@TZ+&k!#w7Y*c2Ta!=(EXQ?cU@+yh%$dip=$S<{w1lmct~X{P<NI
zAdD9<So9hF%|B|1j5z)3TR-(bRddh2iNNdC*Y>0*Bwb98m1hnJrx4#WQreHkzEaR5
z&6{d2R?2hMY~YIjOQCh+RY&BS(M1|ug)d&vf%hD>ZrB)3xwomy-H2n9Ogd?9v&QBk
z@-_Te%kD*Wy*w6DZD-u#8MA-`NO5h}4uSpCTx(X$L7I2Ba%OL_m#f!QableO-6;oS
zH|LG1(rH$I9dEW16DqH5;m)i;CS37n<&fEr?#;1uYan6a=xcK$<6ol|xoY!{2;Y(U
z4|f@7B}uSUxE`iyf_NU;soS5-^GT&K%yV%jBW^e7Ti($S<>}-^WkZSGMs9*p^^oX3
zJ1br%9c>FD4{95+UJpXe*O$dytfVfF6I1mHqR~_R_Ko@xR@Sq$$#YB{2|~Wy4nNJ4
zd_o#!H-O6f6F(&|okU9M9fRuqG%3+#Kc600{?AvVYx{|AN7KG=Riw+s5Pq97F4m9v
z(2qbEy!>u>y1v?hwahLn?)6lT;4!bFaaL3MpTLGPVl{#^tk)PrSVI`yZ>c%_u+8<e
zLWg8#>oB^9#Sw+Q)4lQ`g&|Cq#c~lw?0)+CjKE{Ab9#-w{@gthhrhxFSrm)u$vK*A
zz&o&h`fELq!p=kJtI*cohmcnx5O~7;I)^I&GlezrD5pnu#T+oXIw98n(O`t5eyI{c
zbe5Eth{RghxvGT4Ore4XscG6FYxvR-ipU*fqjT1d54W2HKa5$P)oTB7%ZKy0I9t=W
z1BsfyIQ_knN|9mmuy7t@>S}n`CvAQCj-@U9QISch>??Ar8=EY)x{=%5s_B91Sdzo`
zQMNQ|m@iBOmcpY&&fuO;w|xv&fqqEzA{NM*-2_3kt#q{jit4VI1*punH!T$$8P0$1
z{H_cZtyh}aaJmzG`t|c)yVr^>LDDTiyn4OmAibkNX6sYSH&3%vXdHH9%=*J0`;EX`
z_?0}Wyifh|SnQTdmq(oWH<tu1_Jqg@IgnC|;m;ncdKfcBy^U#QCW0T8qPqOrnuoL;
zr(>x7OL!&4BBGDGK1#ihYY;5zXlVakGg#GrS4-gACQ@NP598vdvLQeWH9rRgt=vK7
zW6^_Pd2z?m<<kBK@KEZ^MtTHEx;1B?2)N3#Li><OpcfqEe^@O1HH!18vgQ-AiDG>t
zRpcOc7haD52wf1g^Y%+O$1R-2_5ImTJm``4Q_&%&p`|Ow{Y!s4O$(ILN?wq@qM#Rx
z^xd(nKTe~t-J2T(#IZBZ&>Wchj!CvO+TXmgT2RL}Z*a;+(>{oNnisE=B!*^Uh-aSd
zkKu;$EpU*{9Cw4%l+t5?+k=$j+c<T+{=C^d1(A-miV{yRR83t}esJ_se?mdes9DZA
z{xhrvEM&McxcA9p+S-Zu=j-h{57{-1&SSP4n!_-ZLfrB4Jb!w}a(m!Ggnj6wL9cEj
zlDcQ$(vVDiyoC5Rs}uZ=CA$WqKQWLPxttwx3vpKLp+1?K=&gxzw#w~uTvm~0Slh-V
zXOm_{y9j#_eRx`rxmtN2KZ?M}=f@YDoL%|}J*;PeK7aC%|E>~=zND2j`Sf<bHRftd
zE3ZTof_c$rgZ1OWh8j39$9uE^wQ~$lZtjV7wh-KCZFm;tUJI2k48#tr`zW6V48|9V
zFs^O0rDxJ<SiWbRwNbd%ic-2Iu8Zp>=(6Z8S=W}ZaP2Ia(uTnJu#!PEyVuX_oGxFT
z*dagmadz&AR{CALffttzv))S~i0golaMA2QE8gp_f&80;0U-C&a_5}TDp~2cI`+=)
z15u}mx@3OY9GUeG^{e}*m?+1J6p|wv-_nn-?c&smBv?~I%@aP8f9mcs*{42GzCpD;
zIwCsqrh#=5s5Vm&I|}WD;>1otz=SBV<xMFgaHShoTj@HX<x$}$p9Eu{-&p!(i+M1S
z5X==9?436BC*bX?zo|dHKfV3(SO2@-EU1CJ6uqiRNB`|5(#bn1ldm|QBrpoWD@Vv|
z62@X=8WETO)~bnD)Z%ev4dP>L2K;h+(>DBaa36HsnH~f|MOC)P*&~%<q#5uQJ3evL
zOgv7iq=mB;3<<}#D@&=C98;`mCFf}Jv=1;fx@o->mIo|b)OMOIa=@p;E<H3^$=ee!
zul-4@oZ-&jZCh%?k>dx+NhB-PPPaSlziGw-{7(;n?jI9}OAPDIEy-(Zl34S|Lu*QC
z{a*ZW_9DihCO^2e(NHeO=)My!txXH%qwPw0c)2zxIqE@FtD!7BO5|yas$Bv{t@`fw
z_bFLrah0V2F*uk}ziOdXryVcem`2ObYU7(8Zila;X|mrxn&0{PhWHgnpRO@PK--su
zj`p6e=Glr02m3Ac^;DtxjNC*;CfJ|y8RuJ0;8L=eBF#%d!Q?c>1T-OD5HA=cn9QY=
z_mU5sJfT#NB#<1W>;>@C^ZfJCJJMtREAR^P3V{Ee34lRD|IP$?LI2?if*^eV?t#Jl
z|KWkbf{_3A1pn{HU@+u=;QzxQ0{^)X0v1fJQV}=f{{R-?F}D;F_y_`h1o2z)!9MVr
x3t4`!_{hfxu@K-D#}xhlD)h$m;^LTY?l4z(xU1zyOkM~t2!zSPBC9Tk`Cm44>%0H}

delta 8893
zcmai$RZyJ^)1?m{+?^0yHo@K90>Rzg-Tg&2?ra<a1ef6M?(Xg`!8Jgb^G(%1RWskk
z^wm?VR(Dl*^~KuHgqp~Ns%fQwSNr}=Oj@nJo5B(5f0%;`9}4h-NH$p>eS91!W_HW2
zHOS6OCl$*YS|@Sc!~J~MO@d~OhlbPrIRh<e#aJz-3BFY#EgFeJ7s1d}Q}biA_9nnd
zR8QW7yK3`gK5IK`i)yR5zifjx2&H*?13*GTPnQ8t?c0-n9~0TUmKIalyslFjqfv(p
z>mo4cK~T;HmcY460)VIz;9&5CRDlAW3*Te$Rm(@!5@qQbs%0z7!Jv^0o>mVQLkxLc
z=XlttCCq$O%r2tW3^r98nO}1QE99Z1_I|s=Y>P!`m!xlLYDqWjINX!U%h}daH)ade
zt1Xx2R!I={WK7Sbzr`i5NCbt$JnXbRin!ERgMw3o45*2ShFjwV-cHMmL-$gB#BJ_>
zn8hst87JO^0cQ8|tpeSQl$>)eze$a&*FsUt9Z!l>pfK&Q3?dsObikd<tS-V64aRg6
z=;9t-rRwj+K~}^vhv%&az3>zohzFn~-@^^iF&{62i+T*D5jB6ZS$ObUr43t(*BgU5
zi?Ad$;2=(gME<K&#(Se$T#FyfiG;3l3b8q-+o4Sn*ob`KukFfl(Ynn8Q?Jy)>ZTfv
zW7!!SqlrE6^pk)I(qj@h&dmsKDbykpG{XdVvJlAQQMBoVMZ9i!Z!t4uib)rB40P}u
zc}34gB+`-bRCsE<>kg^BQGSsn@E^W$v2KBY4olpvCL~XtP<M@8s#W-hh%W7^NCHFV
z4t3_3GJMc^XyQZPof*ynStcebZyz$R7>~4<fV38b((U*Y9Pdi|7aPp?mh5c?9otZ5
z+fc(Lq^CusESpeW+fca1;7X13EE=;S#4>BK^k0I-ox1Jf$e>@OtK=J<FzZZTnC`WJ
z^1g%U0wKAsiUBMdT?8UMtqq}>>*OL(q+Ot1>Q2;>I1^Hj*pi3{lO|@h-j-Mg+h1Ck
z9KDMrPNf_6uc@eNdLqtlfx1#n=+8_>wyPrjc5*3E&tbz~ga2WU)n-w0M$f;4*Q?ep
zzo#PJ7zmow-hs?|T#pu*p`}Fy!P6!IuF?s!Ru1V2P;!Ob@}sQd>eFiDxSr{QspFR{
z@q@W8{r6>1<L#thB?=DFb5>KgH5YUg_CGOm>(z9ew65M}%Uxbe?0`9tNvI6!G-K)o
z&RU0Edg>Q%okC-_t{}tfi)8rxuC+Jm<_u`_hiDK&nAAfd>o6WUgt(Q<^7;v&|EM#6
zY0o1?r`S8ES^nm0vwYknhY(pj&(vLZ$1i4ypP)^ZL)qq-Dz8a4P#^<gO|sl3!dFTY
z2!89~A+Cme&B6ZdifL*`n3x=mg6shF_<dHgYw~<b(U?h*=BXNAGU1q8QIO(}yPrVy
z?xMgngIB6_=OOCu$*YObjxrlS=ce-0s3<$-oKN60>~umh47GsdA`;}J7-KbOL*Kew
zzH}yS88(2*Hj!8t`bGFr4*hp|))IjaTPM95m3sc^clV!r)=S#4!=tnZ1x7nOFIu2X
zjHX1zVAVqp-Mq3<HT+DaZ33Dv2>79xwWXX?-$vqV$*GzsMD?x01keru6V)9a4jH&O
zaXB(gA_Vm&37T~x%DWvp8N39f$O~vMGdA>2GDs&);=|JsJj{D*IyvHTm_bHinyVZY
z-8I3n!3ELDlTn!38OF_+pYI~Mcb=O!SuVOPh{e|Cg87zQw7XhH%C}3h-Q=W<^<Iro
z@J_dZKWyuZ_?7g1eB?6#%r9xYS3mFx-2Fv;4Yq$YiWXc6GnBK^eG*f(de^IH1p42x
z`iM-j8C{PVlgE~tX5Js0M65ytjeh6SKfOZv<brdo(eL}ajKobpglZXCSX8qK8}`FU
zw>tc_uYFzZJB60(ehafLdsx?)&*^0y1_-A!(Ea3=bA>Bv4W0w^vIZw__2$k(qKnl%
z-$xt=$5QIs+bm$3q3JXcPM<T<HxoW#ykm5Wz6r&unZgFPj3Cc)r=tk4OBcpVf!_ap
zy_2BVncVvxUnLZ&hW#%|NZ|OM^K0q!f4KXs1#}e?YiAH3c_e(JRwESMAy}XKrgx|w
zwcz9un&2;?i5~$UraxFsDLtwfVGJkX^Tr$;dvu;XIVaXD=s?)`Y<PZdFgh3c;L8cZ
zPH)5!n!vb)(@y&Dnq-_A+*wAYpu0_k>0VzdUL7b|7U(yOz$_zjw?31Vh!*@EfezU@
zCr-GXL2sKK_!ao49*0l86$4@#5CkoCH{*uS7Gwy&SFQjDy~*=yL_dZ514$Q}OgurX
z*u4!8x)2+}ZgkSX@Ev1oYA5)4I0CBq5!9F;gqXPblCu>u)skhAN(l8e(zL&NQ#KH)
zd$i?&0c}?q#0-Vhq=&-z?4OJB6cq<Fl8)j`-pNl^@{q(2rUN&G3kgC}uq8_;%12z1
zCMJJn{yA_;Ej1l+fm6lb#^gii!}f=G0~2je`LBCAO%GBFoR2X>)v*H)JaeyZizX04
zo=?SRB0(CL;5llEQ<`(MXVq<y%Hlskj<@1}(XI#AOns|$Aa-ATGIg?g0_>jA4-unn
zyr{^V^GH+62U*X+-YGAAt_!#b5}!dIR`xjFwFkWL!^p(goPHD)W^TwhP{$|CACSBx
zsgxJsWwWO_{6sh5lboKti^-6+bV(Pp;Hr=IPT(Ec>YqGLb$)VrkD5;IO!Q8CNxU4%
z9Er5jck{eIJ)u7s3fqwJ<wG0Vw<!^Ux!i$nQBQTxEtDIXHs*;sC2)BV$PRQJS<l_U
zIs-O1lS96xh9FY!QXdW|f)b`#sYHfMSJ*Q+cK&XN5XmxF(+Zj~uF5<b`veMr&v}AR
zdAxJ7sjDH}tomg5tp2jR<%KjhB?_Q9K6!2<o1(iDv9<`0x!>ue1>q-{L>7T%MmFgh
z^5jQ2t~uV27s@+aTMNyaidDm!<CW%BWZ+_Zl_5Ls&Sk!p5DAj6H(SY*$Mfq#NvOb&
z7+z^ec$m}wi5p#GR{!2sOKy0N_m%ojhvB?)3%1|^3vXbO56<K63qerrGk<9Y1&)b|
zX&b6}dN|^MT?yrQj&;2b+uXd$Bt4C(OA<M&X!ZOMawbn>lqQHLwU=cSw_&+K3lN`5
z#W-(>C)OnEeblhCdRGva8;SbPxm|*&T@+9m@rSf1A{jYAgno!_@H|<<@*$+V#~gL7
z^5-(Nhi&=>PZ8$%I?N-Dt(8)hV)8lvL0h1E7An71NO35XZA61s$j{8nQ2*Xkk)UW2
zd}W_AXnYXDH%bK}9#~Ty-<i)n1VAJO0oyuEuTs?K^9WOt-ldnHf9PX-Man0a)OL^(
zS??}f#f_@btnb3x<=$uP_=~yrHsGoxPgccizO!!&0lHe?Rz{UdcMa1BYkQ<wJZm)n
zfDtQna7=T6*&n>OV!V!h{t*oKg@&ewMesnXJ)Ik(U1Hu6KSnvE!!E+X2CzX%{63OB
z0G{x*!(|;lva)UtQ+u>|?dy8POXiigCt-=USPcQ^bvcts$|nXvFFVh#DRbeB-2|5h
zgUU$E*(+mHayLkAKQ`&hI4T9-g;L#BtH(oST-S#wv&hc{ys`Lib!g1(&1bl)Q3k`i
zX@V>Ca8zQgPv>I?-ak2`0Y5g^JPE5M86SJ2w;ioNJ1FzGrHP7tTldzd6!VfdT?_K$
z(9|bTdx(7pzct84J@sM82*(+OWw5uCq3|a0eMK^IgmuwhNwDnK$r;xP(OZ^zwfJ5C
z7@NCoSy{_8fNJ^KB{HI^iw2#^QfHrHf|$sjyq5mKr?Ilknko*$48(@$Cv;RJN?Uy)
zg_3I>Wd}<zY5q7^J0~vT2wOr>5jV+0lne%Wly|YZAvIQ%A(lDC_Gg={){k&Z)DwF%
zjfi*9av=@nojXSqcL`ZfSjT$ko~Rib+T^;?m^h{Ppc4=5hOx*{C6$9m|M*-)hi;~V
zI9KdFi0c+{ddfOV0fTKj<}L7tB_h85F|qHTgmnt-KFYuGRC;gKGA##&NlvHk3f;83
zYzM7sNlq^xxnSu4>AnrZ8s&!X_p%-1X)w{AnXqp{1CAU4-=7I@D*Biax)maGR?*zG
z()O|)w?sLfOP#Td8HPB$VE!NoTT{RrqVW`JnB4yq(?WIr00MRH(APe^>#wI}yQDFh
z#i<FXxq9qd3Re#(^yRiqFO7tZ3=hw6&7+!GXljiY+KBfx;Jv@Nf|G8tp{uJ+h-$`e
zP)d0{1p1Zgzx^apBn#E_x2VXl8Jo^^8x?jQ5tj8F6jtUw2><qxVCachFIKJSIB&Uc
zx!=~W*?n}@1qcyY{B@cP>cA+a6)rNh7ML=}U1Z55w?I?TVv<Mu+_WhqPV^XjX?iVB
z^7Wo(Ey?cTU_2sfs5<SnZuY4(TsOj>K?0j);sEv=qWN_n3Q8<7=_zj#0+&n82NVf|
zB+&%;m--)BG4Geu$jdj<O@>f|JxUK3j{vg;Xoub9O@N0h6nsK9Kiz0_kOt)$ouLSs
z=J-OGuDOHy{3%_G?r03o0=jx7w|DSL5zop|Ed4gT^31?B9rRj>H{B{1(#8;?#H$sV
z9j{HDD%v(=?Lv^<K{;9GTBFcg$^<WyKPZtA$EgtA*pmEgLKc}`rh+>No;9V}6g`kH
z-*JS|29{7JwGsbdt}f(^(j}n`nHdJ-sL_=%vagpdr=&hxO`GTrLKHRD*am09&(}a2
zQd@wz{?){yGD4VXsNsg>9%b&<>l3;!<wohWAt@hr6p7#)1)=nbtN2`wU&O7eQ$0Ch
zY6Sge*d+WJM>0XFg%#6B0L|T^-r=i9|LZdo(BMVpTm`iqDbbl{OgB#J+@WI1Ml_j>
zh<&9TD<#94sgR(n^fx}qf?x?#El#$#sb_eOi;7^J)_}A_is|?m-v<gmHM@|TiWp)y
zh+C*7+-E(lMi>2Ah%ZfEpU=%fy^?-dfHC^(tkd`Gvomm{x1CN{{(;ny<yO9%J`ubF
z0Bh=JH05$fj@!2fD-A7_%}5iCmGR=1_89dT6?E8uB%ZWnY;@-hbH>YBRJt#dooU=N
zk*;!2U(Ca~ivuqyEs$o$V}#e6T5jy~K&z57T$1RvfMO2#WFBw8ZKlYzv>(kL%Udkm
zjEM>|g`QxKVUHDMUTU@(()0cxbVq&ygkl$O(24@vf2r8+@i3~&s}XJJXoM5WtXJHf
zzir$7u2aduk(1K|C9mQRXo7X+A}dP^7e-d3AcGRM!06Ix&f8mlw}by)^A`y&NIfG2
zX;QB0eN<*C;YD%7_v3Buusj|;ciWfj*2k=|T^9QVxtwFHnEns%{AA;Pr(+3l@+Fr|
zRW?O?RJ(P|#r#K|{_0e<O4U)Wj5jC4lofkMOiznUu>uRBb$*z^6fQg5Iz6s(nLuRZ
zGnm#!l~>WRD(`$`hwqU;@(!-SJM?);3!16?jQM^KQG}cmxc^cs9+-c_5zp1V9s)g&
z>Q7neBCBCBUw!>4UnPy|HR>A>C2cmo9w+zl6Gw?`G$}uXab8;>f8c3oc8uRgE^8ZC
zp07>VPxEdM-m{ka_&5KP0O>@|8e1K^i;#=+gFx2)@wlPZ9IH9Q&!fb44Ns=rz09JH
ztCiltO4W_S)}m-qK0<FtznoQu(TF`%qICAsR~*<CDjf&oPqcJexaP0`Ss{Zc1_4E2
znDL?r0bEyil?ZVed3$_0p+co{xNKNyFbs(KRY-1?h2DFq90T_iH)hYfd}zG_Ua}xI
zZL#D<r5-qeR@2B&?6_D?8(#}i0d4P1S<Zr>mKu}v)CN*d=3kR8eA>4(<V&QJMl2Uy
z176n=!WC-y!)!8QmzMy$C;`c0$E2qg&>#BxI9&v$XKq$sR}lRXs_e5tn(YBfMpz+F
z>^EDE^M<u5@Pe8vXh{pLpHqd(f=3NOMYW7~&`(6Z?$rHj=N?8&+=S^XL`;@Lb}oQh
zD24uY6R!Va{Pm1Gmka$Ragj9sG~WS3F|gK8u7f`pq8VuUvjfn(64$Lr^CWs&1t0fj
zqz+zdWDTYo%Qe>`6+smDXV%P(i)+fFWOYEcB~~OiS|i2Gj{Wd#zexBHK;hW#1suvk
zm}6ch&9XYi6J(_X9vp#57H^kc%FFYK(Y{<X!#Bx49U+##9yvCtxESc?*x!4=IbqI?
ziJC&W=efCt*T6+s{S%gjH+8|@KF_Uzi`1Jlt|uKMwd2{!U+*iat#1trmN+tPqGSmE
z!3X%9HG1;8m0Nwn`DS?Zn%Dkgv7l7V8zQ9}P{+j22L_DTB=)}O&jl1WB3hUKSYgZs
zQjK~k{iGN`PNFjBr}Lgle-XJERX|j7NfH!Q4Nk4i-~b?0_sU!i;d6T#n~Ac-qf;Z`
zrBn4skQ|bx<?A2w$Cwt8=I$yYZ}U9thrG0`aMo}{KPp4NI>lCQf6F0-^~*PXINuF^
z|9A_5#1F0Bf-Ytx*ebHtz@z$t)x@a8P|D~bx*;Olx{y%QXa}>*)vQ&?4VxypdB$Jz
zmuyuWm4MSmufskUp(lSFoAj#bMt#%vv7Rv_uU%?cy79s<K7L7=(c5~;AAc{1TQlg{
zC)xdf+wm{w%sDtbokDj^TkmPvC+Q7PUo<;8zv>4!QQm2<LAAc#z`+QX5ol&FBznYL
zdCiJns~fBu3PAssy~{gLE7E(c@LAm>8aF4_O$Lq?nom(c0%>Q^1}dcYC6R=(gL%z1
zvs-QZGxbNt7BY%-G<?JsR^H+I=kTZDcvjl%e9K=sM5ivi)M)Q3im(C=K0#3u&ohpa
z7EmYMe-CQY63A~TO!n}6>fkV)dz^~<6_p~K;XeLYHG;6UCQRaUVrHv74S9O|yFv+M
zr~rPxM}JbM7<J`xs<!{Is4BD6x=t12&RYm`Xy~ujnV3Ew>oa6UhuG#CHt*lh`YtzW
z?B%*A2_~7;k}kA*jRXst%x0*$B%t3J-_0&mdsTrIYphl4UFxvx%Z5mN#VFL<XI)g!
zn%3*RB>SVSsTk#PrGJR|IZ#N^$#>5Oxd6!&^)l>8v(?1OLL5R#AA^t#NYZF2+Z^NR
zlAA7Hh0$jVgex;P+#-pTV8S#7Inj)ArolieJjl*$axyzIqo;MGLE3K#)bDeytXDtu
z?dplNJA?9Da6C|;k!b(^{`(=|&vL6>!%}Bqo#(?lNj_wlpe<;7ZYgj*JCl)B=?Yv9
z$sLy>__F(Hezbj4?Fw#nEgRvt6eMajRy^1v={7GcTz5YiZeo*GYL+aeAad?4nW|7I
zpQut+iuJGdaeTo(quoP8qE+kG`0<ea&{g0w{OYkQxtOQv3v&gUU@z82!MnC@l;H0g
z(N{4znJX7H-a!=#pVL>y8rF=7s{m9qQY_E+1k}AvcFXk?w|)v_;un*Z52x3u!elJk
zi40i&{mZ(jlILkHbL;ju{-y=(h1qMS*mMCO8L_5pecp~pfcCTbsld1isk*ZD^ejPS
z5+7_yU&apA%`fa^TswFwb3%5q)%24E^Mnf$DHsJYGJ|pTTf)3)E;AV&25A5pHnsqV
z<KLVHIDb(Bl;>O|BH}nI8U`@$idC|HHP&^dK1a<&pB1%WhD1?WJI)jiMVW}5x1D)B
z*LN;fP&h4rO|lxfxNhCFkyh~udde6!MB?)zUryhx;Tw~Jmtx2MW})z-HuZi+prqY;
zb>gjI?KV#1<NG}RK@4k&4+n7Qr(MSas<4<|+Zh^3N*rCiDWj}Y&5kXosHCpQq!&t(
z<IBOr%&4D$5TtqS8av;_(o2+aWxCwD=r@*&*i_m|or!5yw=KKpp0}KT*L>r_ADz-{
zzg+~m>*;w1(+?JEloeCA=)EwhXVb$ucMOYSClM&>P|&e`4r=hKo&#P{rz+Tbd|+5{
zw3iBGnL+p2z6CE0mx~souClt^ZbXhuQf}5mE-^bw1K%dRgsb`ei8^a>eD?(<QeEm;
zadWw6g}h{H8R<!L17`^bDIgR$_Q7US5m{#Zb0embG|f8C_pl)!^*S;p4pm&YV+;EF
z=C0DX>5ku+bPJ3qO8_>1$%D@p&7s%9>_US6Ck#ZxX=Rf%-x%?xe)#@A&}B}Eox0&g
zJXgtByqBqzK8+kz93x+Yw|6-V&%h%lcvBRH`p9D0u?=7w;-T@oQw+89Tg(mB3g+ox
z-&G9av`W{~6>K8!HdeOO)$CoM{!tnIL42M0K7(ZLVCL%PVoq*s{~vTTu|Z<xB4Z)@
z4{)*Yvi~2E1wtl_3(2JT0xzqqA*HQe?<u$d^*^jE3<CuKdg_OthlQtkpEi&`rTIdM
zQr~Z3C<hegSrCBmFrp|I+@4bJXfe2Cv4AOF)*-ctv5g5_cK5@~hw_SyL|eq_rn$(~
zq{AaS^Nh8lg)t(A&Wk(0EB_mi!8+jU&UEbG)tz&7CpdkV?MjNrtfLZXwa_oo+mXrJ
zn9%>i!VJ70G3s9+o+?BBq3kYyyv$4>?Tq8QG^oi374knpl`Fa*W=AE&Rdj4=eHWL}
zr1bi%rC;ymE#p}yNP+h?8~>3%x5%M7qh4S`SV8$|gTJJh4d=^x*~40>dvw1Kf3<dF
zG^qb(Y}hR~)X%UW-)@I>WzeE06uJd!*n0@{QVZA_t&A2&)|=c3YhHdr+;Dc&@5KAd
z@w(Hvb7?z?S@~$M_M1-w&7ktgcJjj2$LUG4gks6fw-1U%XJ<qWVMnPpVnPieh1k;w
z`j!ROpAb9CTWN6j>sFt_goN@6Ry?nu306WpF$>1KmQSg=Bg#h@9D+JCE_0-YJ8jeu
z@(K_mDgOi00WajcR>Ud6y1nzBwBXm;^u+>S{9?cUf8!G-7Z1CxT5^fi;+s(DetV3M
zIr%5mRWOZ)GM9vgm{q<U0geH-0d4^Go5~9PTiP}9?r|SO-!wQENf^@r&j8B+=dY@l
z=rj6OTV!|i8|zd7G@cON_i>u3NI#9|#A_htT6`CwZ@%vd3}EMA{Z;o;dB)$(4W$KN
z?F`EpJ6@5cymv4*HPf$OODAq4sp`f>z7^N#d%=dUoS{>E!6U`$BKOm``RE+!#_poA
z!zRV)0=-pU<L)|w5w6)BEcFq@be45540YujcBpwytwr;#9_~B9?|QeXUh;K;T!206
z4Ta07f6JGnXC|h`-+B<dYIZAs(Y?oS=)Q$Z|KwQ4<3XGFl1>}bbK0}ZZqB>zqO6&!
z%nJ&JsEoB2O;(30A_LUCp2i%Viji-HD*%1x70!5^Q`cvL;nL4Zipy4eh}O-h`}7~d
z?56qJI>Jnyf;6|&p}G%zLj^678vsRWE+POT<cfa6+@(3aGrkc5GZTK~4cOsa!StcB
zm3+slH)uf%A#ANWXS;H*)C!=mL#h5DB~)HKLPNwe=L06D$`?KQt}Fj*_xVS@Wvtgy
zUdrlOEfM-mu^>&Ev=`@>N58d(VXB8uw$TAP5A!eLyWieK@-@OZPNn~C0x-s1cG-4S
zTF<Gofz7Ts<}8Y%YGms<6<zs_aGi|z*8$aW&A1%@e|Ohk7u$#yZLp4)JzHxS9C#}F
z-gxa`T;!DFl<HJ`?b}D#*X~4XTkn)+rNgz0ze@X7<<#bsd5yNKmQhAek%sJupNiN`
znN9T-H`T3k`kN!<ZP0`sNVa^_NOZ)E!^a!hjKTK)<rKqW=vD93z=Gafx0WSAN=-se
z!Zd+<WCUv(7Ac_S6~dyM9*X6|E;)sPhKVM{r&%<pUUDoqPE#@GlIcWdLSI6W(UHTj
z1=hSEl`jww*?WzqmOMBIkM4_~=jFzT8J@PsOHd<Xhj#Y6Id@<I&rk}cpAk)>rAcxH
zkZ<Np^;Syk|2=KDZ<`c8z@<@|%T%Ie0-o(N=%X_(WDz^*kr`UQp|OsX>{4EEQwX`T
z`u;;(_PyTwsouI$8in+z^@nAkC4(YDa^^yd@}hYF1437d!Qbj1g*y~+dlp@jOT_yv
zi&p!O`@w6`lQu9w-J*|=<59am^VSY8(kjWRz6CLN)bPt9ZyezeW>cvc+8-i&x_t+0
z=IzO_M3b*S{iAI{<_RnXDw=+-YE?Gf5q=4D(<QFz3HP@^-40VEW_OOSoDD2M<6j*s
zI@9W9l*%xca2UjIQl@LN*ukATVOmH(j>(7<b1SDV9ct$RCR5nP(xYS3ZGR0{@Kilk
zV4sO|4)TO8FQ~h#rD*-pG>4MyfN<FgC&j)#3&Ji>@T^QEbc6pwZS1FvY7hDfo7nHa
zr&UDTrSw;x(EK44kHpPuTAZ+;?r&wt7}>@+(=FrF!oDFQ-CH_uai`7H-UYqd-TdZ$
zD&I{e`o*0L#BJIHPftsO26GUq88_3d4afDMY-61Jw1%n&@ufl<6+6RYmzd(Dvu&D)
zVp>5QH0J3h_Ib2Hl>3M7@Rnx(RB5TU43Bf^WoK<}n!2v=SxOKOJ|gMWFqJECF63Bj
zSMV_spjxR?{x)?|M{Vvdzr9fK<$V1yj%la2+W02`=qhU2Ch3C$?SmQn;hEw{zV1?W
zj0edf9yy0UlA=_=z9W-(j9U;PX_IR9$Yd#D(xqSAk=**$*ZY)`ruAcsc#~O#mK0S~
zY*@-Qy+NI~1!mx3))W=x{571KU)3%;6jF?K!NCoi$D3p-bS{q<yjILw)mJv=;=a-@
zVysC6ULWZm^13D6Ih*oW4$V7XGdLla5ntm=tOAThCX2B$B*nwhRMb*S(%o?sZ;Jj1
ze$OdJ#QmOQqWF-Fgh!*v2g-UA*WOdx_Pa&P<yP8Jyu@R8|2sP|FL!K=9mf5Vv76%r
zZ!pMlPZW}0|4k6eRjJjnj#<etorI3=p4PV$$jKM6ZDpR(Nxyh_CB&WAr)OB=e^i=O
zSR#Rl0(NxB!+B)9{{X6xDc;4jGt>ocPHOHOp*|mE9bW<*A0ni_FuW5IlE{2Kb;BvM
zjzS+uBl%+1nfZ?Z!4W3GN6B9c=hID}B~yO$3_0nad`#S9PVUAXEw0-`34ceQG06h~
zErS~7f}{8?FtTuoTr28e^A(nccQs!$z0bct|L))0H1Nz^{#{wOYx5(+@1bA^FTDP4
zUh<KguRVyhmrb|+g@Yn7bS}8p<Ef`~#Gp)rFGuDZu(5xcrnYRU_}CMpW{EQqggA1N
zl?3imUag9Id)$a)uZpX`Z0Qj2ByHyhTxpsqKZ4Km`RSRN9JO>DHbyW*RH~bwxTND+
zoENk>1-NTHgLj=u+7N>9%4Oq-lhI^kIN}6d>l~yG500J(dgIlqHgE-&{OF&rEV;Hd
zvJxRGe0DmcQ*OAx?JWM2AsW-K*MsW;PTTEmSL$aAi5eBbON~w;uh%*7++RvAmt4NL
zKi>X|F0i?W=lk8C?-}|vbOnW_eQ^y*e<n8F!Gt41O7LGx%oX&N**$lm-w@`ryy78o
zvY(+jI3Sg>2?$&)Z0zhTY!HcWxzH?}ki&2FP#lm9IZr5d2&O!?GB+8^e~Qe34C#LZ
zD<=>8zgg}7*0@;N|I5e4&dd7$`gnNQI3dRJ*n<Bxfrp3tzcpSq-v64w%f${Elov8$
z;p8;8U^C&hU^O=3GBNoVP0hHtc+7cu*x1?FP0WOl1pdDkGJP^3AtYBfV;46s7jp|F
RR$f+C79?tFNku87{{`;-@bdrw

diff --git a/test/Data/dyadic_tree_4.dot.svg b/examples/Data/dyadic_tree_4.dot.svg
similarity index 100%
rename from test/Data/dyadic_tree_4.dot.svg
rename to examples/Data/dyadic_tree_4.dot.svg
diff --git a/test/dyadic_tree.jl b/examples/dyadic_tree.jl
similarity index 99%
rename from test/dyadic_tree.jl
rename to examples/dyadic_tree.jl
index 5c8a84d..6a64ed4 100644
--- a/test/dyadic_tree.jl
+++ b/examples/dyadic_tree.jl
@@ -3,7 +3,7 @@ using SurrealNumbers
 # var_args = "color=red"
 var_args = ""
 n=3; x_scale = 2.25
-n=4; x_scale = 5.00
+# n=4; x_scale = 5.00
 out_dir = "Data/"
 
 name_map = Dict{SurrealFinite, Integer}()
diff --git a/test/examples.jl b/examples/examples.jl
similarity index 99%
rename from test/examples.jl
rename to examples/examples.jl
index a821030..eb6e6c9 100644
--- a/test/examples.jl
+++ b/examples/examples.jl
@@ -27,7 +27,7 @@ generation.(A)
 A .== canonicalise.(A)
 
 
-n = 3
+n = 1
 x = convert.(SurrealFinite, 0:n)
 A = zeros(SurrealFinite, n+1, n+1)    
 for i=1:n+1
diff --git a/src/SurrealFinite.jl b/src/SurrealFinite.jl
index 610f608..1129035 100644
--- a/src/SurrealFinite.jl
+++ b/src/SurrealFinite.jl
@@ -311,7 +311,29 @@ end
 pf(io::IO, x::SurrealFinite) = println(io, "{ ", x.L, " | ", x.R, " }")
 pf(x::SurrealFinite) = pf(STDOUT, x) 
 
-# expand at some level, 0 steps (if possible), 1 step, or completely
+"""
+    expand(x::SurrealFinite; level=0) 
+
+ Writes a surreal as a string with varying levels of expansion.
+
+## Arguments
+* `x::SurrealFinite`: the number of elements to expand
+* `level=0`: the amount of expansion
+    
+    + 0 : write shorthand if it exists, or ``\\{ X_L \\| X_R \\}`` if not
+    + 1 : ``\\{ X_L \\| X_R \\}``
+    + 2 : expand out ``X_L`` and ``X_R`` recursively
+
+## Examples
+```jldoctest
+julia> expand( convert(SurrealFinite, 2))
+"2"
+julia> expand( convert(SurrealFinite, 2); level=1)
+"{ 1 | ϕ }"
+julia> expand( convert(SurrealFinite, 2); level=2)
+"{ { { ϕ | ϕ } | ϕ } | ϕ }"
+```
+"""
 function expand(x::SurrealFinite; level=0)
     if level==0
         s = x.shorthand != "" ? x.shorthand : expand(x; level=1)
@@ -396,6 +418,31 @@ end
 # special "canonicalised" output
 spf(x::SurrealFinite) = print("{ ", canonicalise.(x.L), " | ", canonicalise.(x.R), " }")
 
+""" 
+    surreal2dag(x::SurrealFinite)
+    surreal2dag(io::IO, x::SurrealFinite)
+
+ Writes a surreal representation as a DAG out in DOT format for drawing using GraphVis,
+ and returns the number of nodes in the graph.
+
+## Arguments
+* `io::IO`: output stream, default is STDOUT
+* `x::SurrealFinite`: the number to write out
+    
+## Examples
+```jldoctest
+julia> surreal2dag(convert(SurrealFinite, 0))
+digraph "0.0" {
+   node_1 [shape=none,margin=0,label=
+         <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+         <TR><TD COLSPAN="2">0</TD></TR>
+         <TR><TD PORT="L"> ϕ </TD><TD PORT="R"> ϕ </TD></TR>
+         </TABLE>>,
+         ];
+}
+1
+```
+"""
 function surreal2dag(io::IO, x::SurrealFinite)
     println(io, "digraph \"", float(x), "\" {")
     k = 1
@@ -442,6 +489,33 @@ end
 surreal2dag(x::SurrealFinite) = surreal2dag(STDOUT, x)
 
 
+""" 
+    surreal2dot(x::SurrealFinite)
+    surreal2dot(io::IO, x::SurrealFinite)
+
+ Writes a surreal representation as a tree out in DOT format for drawing using GraphVis,
+ and returns the number of nodes in the graph.
+
+## Arguments
+* `io::IO`: output stream, default is STDOUT
+* `x::SurrealFinite`: the number to write out
+    
+## Examples
+```jldoctest
+julia> surreal2dot(convert(SurrealFinite, 1))
+digraph "1.0" {
+   node_1 [shape=none,margin=0,label=
+         <<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+         <TR><TD COLSPAN="2">1</TD></TR>
+         <TR><TD PORT="L"> <TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0"><TR><TD PORT="0,1"> 0 </TD> &nbsp; </TR></TABLE> </TD><TD PORT="R"> ϕ </TD></TR>
+         </TABLE>>,
+         ];
+   node_1:"0,1" -> node_2;
+   node_2 [shape=none,margin=0,label=<<B>0</B>>]
+}
+2
+```
+"""
 function surreal2dot(io::IO, x::SurrealFinite)
     println(io, "digraph \"", float(x), "\" {")
     k = 1
@@ -525,7 +599,20 @@ surreal2dot(x::SurrealFinite) = surreal2dot(STDOUT, x)
 
 #######################################################
 
-# generation or birth day calculation
+""" 
+    generation(x::SurrealFinite)
+
+ Finds the birthday of a surreal number, which is 1 + the max of any of its components.
+
+## Arguments
+* `x::SurrealFinite`: the number to operate on
+     
+## Examples
+```jldoctest
+julia> generation( convert(SurrealFinite, 1) )
+1
+``` 
+"""
 function generation(x::SurrealFinite)
     if x==zero(x)
         return 0
@@ -536,6 +623,22 @@ function generation(x::SurrealFinite)
 end 
 
 # this is a bit of a cheat, but I'm not smart enough to work out how to do it otherwise
+""" 
+    canonicalise(s::SurrealFinite)
+
+ Convert a surreal number form into its equivalent canonical form.
+
+## Arguments
+* `x::SurrealFinite`: the number to operate on
+     
+## Examples
+```jldoctest
+julia> convert(SurrealFinite, 1) - convert(SurrealFinite, 1)
+{ { ϕ | { ϕ | ϕ } } | { { ϕ | ϕ } | ϕ } }
+julia> pf( canonicalise( convert(SurrealFinite, 1) - convert(SurrealFinite, 1) ) )
+{ ϕ | ϕ }
+``` 
+"""
 canonicalise(s::SurrealFinite) = convert(SurrealFinite, convert(Rational, s))
 iscanonical(s::SurrealFinite) = canonicalise(s) == s
 
@@ -553,7 +656,6 @@ end
 
 ###### standard math routines ##############################
 
-
 sign(x::SurrealFinite) = x<zero(x) ? -one(x) : x>zero(x) ? one(x) : zero(x)
 # abs(x::SurrealFinite) = x<zero(x) ? -x : x
 
diff --git a/src/SurrealNumbers.jl b/src/SurrealNumbers.jl
index 9d1e66b..cd29360 100644
--- a/src/SurrealNumbers.jl
+++ b/src/SurrealNumbers.jl
@@ -9,7 +9,7 @@ export Surreal, SurrealFinite, Dyadic
 export ExistingSurreals
 export <=, zero, one, ==, ≅, ≇, <, -, +, *, ϕ, ≀, ↑, ↓, 
     convert, promote, hash,
-    pf, pff, spf, show, surreal2dot, surreal2dag, surreal2node, surreal2tex, read, expand,
+    pf, pff, spf, show, surreal2dot, surreal2dag, surreal2tex, read, expand,
     generation, canonicalise, iscanonical,
     unique2!, size, size_u, n_zeros, depth_max, depth_av, list_n, count_n, depth, 
     sign, round, floor, ceil, trunc, mod, 
diff --git a/src/todo.txt b/src/todo.txt
index fc5c53b..55f6461 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,4 +1,7 @@
 
+create an examples directory instead of putting all code in the test, plus a doc directory
+   tidy up and add the "old" code to the timing files, so that it isn't in the main source
+
 make round(0.5) match julias behaviour, or better yet implement the different rounding types
        and then precision, which is a whole nother issue
 
@@ -30,14 +33,13 @@ functions
 	gcd
 	lcm
 
-	abs2 -- free
-
 	math functions -- this is hard without cheating by converting to real, and finding canonical equivalent
 	     log
 	     exp
 	     powers
 	     trig
-	     
+         require infinite series, so not valid for finite surreals 
+
 add some automatically generated random tests
 
 "Practically Surreal"
@@ -45,6 +47,10 @@ add some automatically generated random tests
 "The Graphical Structure of the Surreal Numbers Examined Through the
  Lens on an Implementation in Julia"
 
+(1) one paper on CodeX, with general stuff on code and algorithms
+(2) one recreational maths paper on the structure and nature of surreal arithmetic
+
+
 
 
 
diff --git a/test/Data/dyadic_tree_3.dot.pdf b/test/Data/dyadic_tree_3.dot.pdf
deleted file mode 100644
index 8140bf199c40e5ede12d95862f99ab4030ff0cff..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 16226
zcmbWe1yr2Nx-E)(aM#9z)4034ySqbhClDmKyM^HH?k>Rz9xPZ0E<u9bCRuAQ+2_7<
z$Lj|AudmCi7-P;^vnZ9sBp85<tO%3?yBE8M#g`wZ2Zj*X0L%bK6B`6RJ^+)Pxr3#v
z6@VQSQUNeYSlhXpJA*#$j9tye%uOB5%mD%d2rjP9=En92p5WOTys=-#&_Z0EBHWu0
zQoeg|s*WmT!LN)v8NqciGivlUl0Ewb6iZLWvHBi|K!xKol()4jWb>%=2c$Xfp<Lb_
zGFf){b2dHxd`gbh^Kqrpd3-vb8{oMby|qf1&wYMuzME`6o*?OtI=(uoCed~D_hMy?
z+4EfG#?UjISXI2dJD%A3cFcKcBADL1F|o1UkmWGU>Awm=wMbyA=M^D(<X1YM)a7pL
zXt8zdRg9t`V@O3emjQ|RIpf)RO{T8(X5FjOyz%m6*OOsXT;XwSvV9j1r8&F0BOSxB
zJe&H|kvDgeNp9xn$Rzyr_GIxT?|SQkisWatZ9Dv*2`nT(yc!EnNcMKCbH~e%JH74}
zspp=aa={g!*&G9MQ5%W2Ef3!v*EcRyZq*(4W_!X3V6^64<2Fnd2ranc<Pn%0=o2>_
z!*-;lY7%xou1A+%bkxq+*Cy(k%Vj6Jv6^DHz(*w47}%eFEbsA6F0cgGO^+b=B$m?`
zpPp4iA`c>#oA~^uqb!clxFuI|mya=wRK1h;sxjnji`mYlg9L6}wrGe3RZw0l09EuL
z%%;3IypcVG5nEuCQMjcOMfCli<n~f@jkw()Vc!0<<e@V=nUxUvJ5oAt(HjSoQNL@G
zFF~<p>k|RvsYADln3;)wL5Ht6r=mJcBJ?0m9ReGT-B{syWyZd_5M^dgSz1;571h0;
z;4wD*5H0F3SqSY;C*2l3XTV$4bFPx0$DGVWHQHKAsxOzoplS-h*7Caryh0Uqf44Pl
ztKg&!!6-^o2wCn9_rU?DoaS!5STFb!{uk6<n~16@QK<4#l2C~GP7j)(1EFZOt}wze
zG(C?p(d$Y+R}b@A`SqvZ4x&&Y*V?07$c|$he6LJ7gGDb-f?U`Rey^ym@GR3YgAtn4
zPwyp$X(H=MShtu_G<qzW$?-|#^b3!6%RUrqT!9|*?O@~I+!Bg!vR%iBK-C!tdRJq~
z<369CO_Z-%LTO(p*c~h3ezHUffJvPu>AfaZ#k<o)@e$i5RB~ao+cuzjXG+j$lI)>E
z1X1*kTHa-cRoBN*I>N(0M#UOd-A7?!p(D%(ud-#=9$Yo(E3K}^g<Lg*5qEe^=$L$H
z%D3Dv@X54UyeBy#%EfbE;0A;VotD&ZgG2n;UfJyEiI1^vDlsCW-@ZSptgV_eV);Qm
z`#~hNob7hHtf<~Gu0t>tiZ>!6TQaq0P#+xq<5w8zmL+>pl`VRqO6A&3YDSoZ!O-}K
zY;k`hxHY9Lf>N#NkjQOf3Uf@GT+;L#(!1bzwVC11q3pE7Fp#tExzr2+V)HCKt%89i
z*li|}YM-@QDK*FKN5eg(l2+h9l8lDi>FzNS#bo+zRg<Tjs3ZrgE7Yv6vZ}XutXr_&
zuD5-snIydmlvKA)qd5i3Bf@W7(&ZTv>qTIUyiN#9=qP;B@MQb&v;mZ+2282+H43Tl
zqN_;MJF?V(Uq5AuioJtTskfdtaTZHT3Df}#LM(2LUbIk7=+RzEnKY9+hGMyoX_`iu
z&8=(bNpQyeK^~UP#4o;W6pz;8l7?z!FbSMgGaN|2xnO?tEl6MJ@Q|_vAviIhi3O)w
z!6ixcIYy|2{7c_dXNy~A%GZ&nTRxNXV$AUK&?QOrHwk3%EfeoM1<Si@d&5pbm$<-0
zNjGt8kH5f_icZ6$m$r|vpxP1<O~tiAn{0y#A}8CSx`=z{5;4;U&7iJA%t?boEpQ@%
z_rcbt2jC^-DJrC?3Iw;Q{xDB?4o)FwCHsK8oPjTh(1F9{`1X~JP*6xc<nkdJ{C)XR
zQzK)h4{k`BeI<c|jt2n|ZHoa7V`01MR&I@O*_>M)zhViA_&yz@<6OtSKoxhePmBe|
z*b}>9^G^p@QEZMpA1{t`Gn<OjsiH}`heR3*V(1*6pT!y>xI19n;pqt1E06QiZ_^IG
z!3PDO1VtE(mkZKUjj{RmK^9CsNY#F`&r9lg;-Ao?dgV)kS~$KcMJ|hd+~mQSM+4K_
zuEL3cc{kUBq`xm?Z)u?#DQkrQ)N}>c0i;J15!}adik45lN`_^*p&=Yeg|PtKfyJ7N
zDVzk4#*T-DYD7I^hVF8$e)(9F?J~*1{$Yv4yjOMQJm+U8?>ce#9rL*cvvW#<N{)QC
zW$#eg^!-jR1EN4f*})kB#p%?$Bx;^!NI&`g3<N5P>~i73yvfQd`}|3)CyDGx4F{fP
z7q;Tr*3D{`78`Qd#;jtVMODEq>4DjS#MN5;Y-f=pt<o<;iMC3N>JAT|i6+bOhB%9E
zmB1C>_k~UlduAm$hVqg#_=#;4u^rq+`x+JRRmA~H);ehmRX2l2qwZCME|r_7<J(R?
z3S;7clg`rFdVlY^;1FhaAqMlBs6d!|%u-LF*#qN{`o1z=0Z;#}sBkZDgsfi^-83vW
zL%v|CVc>uUOTNKqIuC{U^`r`k$}F{$4dath;QPRlqimAGf-o`|c`%$^@OR&_5znkb
zpj9SIPz#~Pnu#l!opnU$7OFIVq@gLQw6f~p6q*-0ZwteTqfGFUM%CPKvA4w0#Zz^$
zolZs3LQRmh`=GU-h?LwFU$Z&$3o#2W7R(>pBoIsj^%tzYdE_Mq$Fzr=hN**TZa54&
zD`^jV(43B!dC%WYC;RfG9V5Os;+wvK7cNY;ablWiAD~PApoOee!x+-n_D=JdwQSj%
zhFwtHz&0-P4BxukDxa%KwL^l1A6Ch&pOn|qe7SA`+91CQ(^)nGevy|>O~Slfq}yx}
zQD0fYw0g-cdXaewb#ikh%Z1Oi6hm*Kxsv-XVuiJI9R?Q%?lkSoe5--bp$@8L(SGKR
zKcD>Otoi4xHh;Wa7VTW3tU<yLOs;K2!lJNbGdezf&~qGKG;^*uklGM#t~8ykOITM4
zBN@JB+of1PQh`LU)yQMQc0Zh2a*IvE3J>5(!E{>FI?w5D%rwtdQc7gEVLR$JLKhtZ
z7b}*(V|9#KeNeW07{iOvpMwrXbju(ce`uSI`nm{Tv-SzkDANNx#dj@p%qH1zJq4$<
zjYyeCV6J@RM~fpIl4i)v(6>}3B^m?EsP#sIdsPV(wdwfYJ?f!^_Z>k7=3oaV#BE@v
zAH9aEG7hJ+M^zAWc`&JTU&Y3sbJgrB8QZ^7ajXdmSRJ&6ywM8ra8$xmn;_)n7YEz5
zJuLr#ps^^fM9|CpS$ahcVbZ~HP(S8lA;~-`1dG-JtAC9v6042daAYEG-TO>Z=yxIS
zc#IIpIl)tSC~i+&@4s$i&0{V374W#-A6~#YIP&>$lxKf&Ir?x7)gouOcZ!5nlw9Er
zzv`vo6STr|-9n9=dxO|OOgLG;qHEf$ozvDg@}Bd}h}q+{Ue-`$+jSm1o^Lo6>)l7F
zSl@3(L-v4%v5_4*iirp~Vtf(N`|%LFktjo|67<W8UQLYv2C}_Ne!>xpyvjwGLWYy6
z5b;LkN*uZKk!JWI<;og2zOu?Tmgy3WksOIeH@1E%H+Ie#8|g4>wQ_qR#)MNLt9W$i
zv^B^>DHp_sTcrGNmFZ@SAC0KAFP(!mw6h;DKBZeQMceQ*<VrNsbxfYM##%Og3MqDt
zxlQ*o$bf%y<92hmbeyf+?s!v4ZgDyVelT{UD&x^_x9K0aRV>r_GnRjx!<*8ymDc<<
z1#_S8COuR}B|3THOc6p4bvF7>ArDBQRqDMmUW7MjF`>&eY`)3Emlh3eNXY;=Jvz_E
z&=6Vxr4L`lZd?9-Xi674^G7pU{G2xihLk%vAMEd@)$sMAkXj9A{O<+r_|z;A%pJ`B
z0L`GM7p(mPuwOn|xY)T~zWw$5Hyp0!<zx<EQZlyu_1D?l!4<&z8<VS;yEwWzo0_`-
zIDQ929UWXj-@5=_a6AaK%bS~78;dx40(6-{0U(eY2w-L7&_@6P_dgnXDflPgS8{eV
zRW)}7=z>}klK?QOnR~hd^Z`twj&_dDs!qnH=71MoAnF1HaQ>=aKmf!CKu!J%tEsU9
zfG^FcATX(^0RdcpX8EfzAn<Rk{Xs8)EWh$GDS!sWB>ciL96$sEz$9kwZf$C=A}R9!
zKs{1C)Kr(T!=^epJEzgf0F+nw-td4~UMVan<#6e@N)VyJRPJKX5}0T-8fI!e;F4iv
zrs9~0?}AJg;V)2?hI*C7#CO-CY~fEU*)P{K9*4CzmiL<%mn~2I7Tds-9)h6yT(!X8
zvgK)Eo*ee-p<{d+xPib$1xMBb@7c1jfRelwgZTW=$)BEHA~jTheZu(GtbLWfTZzhL
z;W;3lj8l{X1`I)bo`cVy3TGE0Nwt0ukL4L^>?)atB^1blod^H1f^2)B+U~k|kFI?*
zEtP5~4_|u{uY)Zos$FS4gK{fB3Mx-8jdIg6-xt=rQ%yPpZ1?8%+}v%J92hfZy5aaf
zRi0fqi#R6UN%#c>7+lf-cZV}_<Q=zF4wz?=<xT`txU@+T+G3jZ?za((pXc?ecP2o(
zq<;CW_nvZ7R}Dxp%s6kW9aF@?DYfm>t>TX>36GDp7xt{~x|cVI{Z$|NN4)RV&#8{4
za)hIDv^VUIDwsO4!LBKEGKuQDlGVW)>|um<w<;7*0bm!<U=8b8m&BoV1_=XSk*E<P
zkB;nIz;kUG>ArE^=LR{Bb%%1_q<=cO*WfL}5ey`k#$q)W-z_RGk`)^tM?y}WGJCv1
zectZjww@U6r_ajm!8s54rmp-g2|hU7sy&1+P%Dnn3?VpRek%Z%gBljkKid}5%FPhW
zFN9mEMH+U*ksnNy9FoF8&>O<<P!|=5Fw)gwRT*FH63gQKwEvR?Q7^(_OHP<fb?+J}
z*36mmBRyXJMzCEk1bQ5->jwn3Kt^T=dZSl_Z&{rn*8yO`Z>3NnQy>|oAgqO;>VyTB
zzz~FiOW^MBY@EP82YOFKDFksi!RSG0_PlaJM0zVJgb>;*%M89AXbl&1hKlu3xGWC4
z03}^y0hK@p&P!BSi3<~QP&7OaH9_cZnyLhs_FY+?s1pAbxhsAfoc_C?A7G~eY%q`D
ze!*yI5Oc<_mcW|cF4yo9!b$dh+7$D|%7Vq|S>2Lp!4^Pn?!(z4I0K^(G3-l(6B>bo
zoRQFiBRCfmiPNG0M<cb3Co6y`70-x6E+A-)mWqF~0|^tBXPkzMJ%qO%rX96qqG7yX
zBEvkNW}2oUhqK3Ffyx?q7gT66Ut6R_T_NZW&w-X1%`l*06l<hglUfV8WPHR+h&<eb
z_m$AezXey1#euyFsu^W5s{QR@|En#kbI%Uib<EQslwOxJ6JOFUgaE<-;*D66p>FCp
zcpWI)AQaLR0EHce8Y({AKHOt4S|6KoV2PqDStzR4fSw6WZOoEzhcqFTLL#PgC<TrR
z1x<QGpqjJ|nLZUiRVQiUD36(>Gp@FffnpU!F2IlyB|%Ur=`|Imq70$9$g%>rOskNW
zke6to%BvEG&st?^ZP_}Conn46eoT^ytf`l&+oP3<<?*)3hp9f4ib;#99;t?mxzvWF
z0WwcT4=oVNy+XaJf%!EWc@kR<ef%NP;u#;4P2QVin1q|W`^rA3OxckTn9z)_SSoZ-
zGfP=WiZ3!(=r!BYAm6~VV!pymB*|HDKbLqgct!H9^9tUa(p-1<^)BHq{%-x43QQlf
z(JiYAUSU*XRC`qHCEH%>)b`XWN42%Va|ccG9jybcZ!%f3MKXADY?++8<2>ekcA0&d
z;%8<XDjQ>)Wt;nX#`5T?;wg`uscb{G=beYJ?=@}V-Yq|Ee)NCm|DK4Sf!~FXhp&#G
z$~MG~m*J2xnz5U)&o<m(rGwZArL(KE-)O*`oPIK{W<gmW$(>hObzICaBT%qb&R=O-
zQm<v1uTVdUp`XC0%PHKf*R1LxqA1Ix#bj8me3~bqoLiY&&@I`m8!*;04OlUX6wd4|
z$&1MAHqJ55-!dgHi!Yy{&DY829pW-=dJ}Oju&ql~6P_)dARRp_ue$VkUCpR%s$mMr
zcF&56t(?7m_+!l%ZS4w)g%8~Qd?UX3UYU1vi2RXSk=fX5*oO4S^r{Sp^d#Ce+R$3|
z4c}{i_OA?N*y@}54Tsuno7PVjt?e~dmNIO(cOU!lX6V<fVYe%^PhBHlligF@17Z2Y
zJi|JXZ<bu$U$+PQ&7&QD+iICSkJ^T%_MxtwlP=!K)}Ex9d^MSmh=g;7^O*tHdFIVl
z3!!s7qZwnAp{G;cXZ6+OZJooP<MNBq`|bnw18YnC%a1MhbSSbY@sg3lNyUl#_)~}m
z?^CNa<29?B6K+gSZBB~?cm%=)q6ILz+`G#Cm~M?9As*d-u3avk?f+c7SA^n%s(}B7
zPyi(Xr2#8|$O4ZJ?FQA~3*OrvM8Y&{NTK%`8$#qk)IEd`o*hXa>!%AYBRyLM)sa_=
zx~IRV2NZ*exR~fbyHxDR?1*G!G`1|Zhs3Dlp!mF`ytt2es<>>b7QJ@;jzpAB6rhM7
zn}h(%hr->t^k#NVHf;OoE5h~(BdcCY{n3hZ<8JAvsj4``UhOxu!~`Tn8>r9W7=5L?
za#dG`tsc8ji;3-F_X+z$bo<fg`nTo}@ldJ3b-^=YsRR1qrqWf?Skl`Nio%VXZgqwi
zfjgy1aY^|!tfe!h6V|~Ew+(Y5l*SP?bo#9P)SXQIZ28QhZDZE+C+Zj<g=XUAUb|>p
zw5P>9$^DRuqR6Ctr;S)|Q@3s@X`VZ#JdU<^wUe>q@QG;ja`fJx-Gbf2&9ck=DfFS2
z{lpfzGGw7jZ?#pyL%+9e>qpmNtUbV9YWeJw#HVO;f(?g=_0P&5lxw<-tm;qqhD2IL
zl(#w=CUueR2JNuyj@K;eD{WR&$qZ(Gn0)#g@l}!XOTyuXwx8zR+W2+wacALm;l0PE
zJDkUtwS%@xt#lJ@gXQU}P5sK<@r#ca&Fz{;T^h!^Z;Vi^W6fe4SW4<TWvXo?=Zn7=
zd=JEr&DiVw?$dmny)wMI*u7yNFb5tDIS4C2j7iuLFmj`0TPbWmX#8cXqJQe}<M+01
z%K*awv16(8_$kQ{$-?2jShsoJ&x@QToJkyg(FsGf+i!*)A2)x9`e2kFD6!_Z-a>Ja
za-V-4z9l)$LE>BXitsBtpnlA~ZkpDK(8*i)vJl=>z+vqp=d*F}b}pM}l88Yt^V#<*
z>N-86e#}yKDt;0xE0a6d!~a5LDC9gc94CxN(^a6YVP`hGs-|lFQ($Vf!Fj85>1yZw
zgL-PYWfiwRuV1!b=W*y`^a62vPKx1?zx6@mseR{xQ~hJgc4bT#wBP<u{d=bM>o&jL
znCEN)$Vix<CyZS_&jw%k5B%02XJAWF3<Sr$xgM<^O^>!eQX?qR=9CFmKF;4RT9kHP
z9er3dnyP<q85`On%JiIkSFP9&JykkIC($7BU9wVgD(Wt3&Aaw$@a$7m>fClnH_cPi
zP4Y~6uD{29r=`j0z?tpLVY;BqdPx`e&xLFIeY0;na~{^GMa2>8<z0f;fsc9jrdPx9
z2S<vxipjarf*!u`4;P+P_7-~^H^G<p{|&-_!O&mGn*+%5CpdmVxi2vgAeI&t6)|=(
zHv@s_UwBpj&pa<s{7(S=7gBfmzhdtfIPC_4%s>E>thJd72yFib!1^z0`X8Vi_}`U^
z8oL_XIa>ba0WN<KfWJz-fbD<w;ukJwQgt(N{Y4+toZZZSckg8wzrR#a6%iGerc<-F
zH+NxBakMvf_zma9%w0^Kt({yQoe_Y45D9Sykl=6a0BT>}*z{M{zakRW&MvN^R>sZ%
zRu<5yf$<*+APZ=Sn$~8nR=)<x&W!Lv4*sV%E9=X6Sva`>?99yn_4_}R_*+e!EHBgd
z|L@Jl#`d?G{$J{N>EAyV>hI?zzo++QYX6$R-xI1}Y!6~I|KoJq8C!x@6Etrx<wQVK
z4MCTIg_#w=z{bJ_0CIxb1F~?kfJm4$X#K5Cg&i#I%t6Ct5_U0tA%dLjpy!w7UJ?u}
zFDX%DCn<AlODk6d4h~Sgs;=ht8X#f@der(I2e7fT{f<ikSh+w|xm*5PCICB#9)i}_
z^LGl!`Lcj7-2xr`n6n@Ne;)+>wdZ~X{@iqbvbjHq=<g(mC$h1>jO~9pJL=>{bj4Uq
zzUfSlm#7;`uv<>posvqSd^VG9Izut@v7^AT6BxoZfkxsmVn$`|t|0}7um%hThdxM&
zNQtiaO3kL!-c<mCr-PH4;^rFKDc0Detsx6C2UZ)PXQAkiv*Yum6*!75r*g7A_SSAr
zI#1W{PyD*Q>MiCg`HkMn_q=5b(7r)XBDti5vfQiI-<JA(M-RqfxfLP)3EfQ;_3fdd
z>!-GmaPP5pur`-Y{xw8&x0cYFIvlic9=vzV)gH?ktLSc*(!o!<Klfs1RTYfZx+?CQ
zlpo(-^wf6vXrqYu);+~&uSayv+kU1sBND~ct1Yuk%5?>^GN6-1mAo_q3lfK{fO>TV
zL8QcNj1T+aF>#OGD86j^ocqD(tiN?=)7)fl{wIp9W$D?`b=J7nVk2zGnl}@f>*5_&
zNg(dW;6+pYT1MlWR}m}7tfH7>5&3b3^muOFHq=AzD$f?AUUk`0uOM0@j{Mm@N?N5S
z0`-y;;J8K<7?w*(b2;P+BccO}koKrcOe*ER0!$CE#!Ne|O|1n}Uh_#OYtpPqgBwC$
zIFY2B_Fqtqk?sg1`n^98l_N3viQ3<%SJC(}v{lR0h;{+9QguFq#P)~QWjQ;E&86`~
z@q*YG3Yr0r3}f7A!Ev0jubX+DXH-MnC^L$f3P*!mnP(OsA~NcTpN)TN(h=&q2iz%F
z@I7H)Hu4tNGIFI<m-s|@(ihr?CUx8m+Rx1hrn(`iBV4bASje>zf>RNLtpd;V0&BX2
zv~&SUm_~=fRuUI3HcxRoR@efz*#7JEd@J;J*4Pe?*w`G1lNQDXDRHTkW)|?ub>}tb
z;M)r1-)cOaiqCo!2J{7#_Am%O?l^`)nAA3_L?zgZ9veVy5ZMGM+ewjU=EYGi<;yF*
zM@Aj>hAVX<Ixj!t_^NsE%(6o_U{N0Sy(`veS82`5by(%Kdbn&T#6FrX|7QV7yXp9z
zl5uCa^N8_;yf)Z)J+>V`Q9I^D-`A85V*A2El<j~IGNVKx8F}s~buO?o)1JmjaiqWn
zlER%D&-q0v1Dfc%_pN&PyJ!!2%rb_A=o^=$aTQ-reO(5gOKh<fLCd}}6<K}jfEMdL
z4>J`OL!)Cva-O)Rl5iV!DtvCe!Ep}jM(gD$l-yjd4~>FDc2U#vYOsPaIw4*3YuVe6
zq|$m3=&7E%19$J&8Sn;G9Fw`$ZW6dAnq{&wrrCf6GFh9vW$uTL3Da>59Jh6YD{Y(u
zZ%B_u<FxYGNYIBVl2TL4*67MJDX>j%mikSUebUn+X~WgXCbbH(%d_(;XEm%Ibz&DP
zCuS^c8GI2Ozb1M?R_}Wm^w;yn=&qwj=O#uZhxC2~(g^j_a+jybbMeAWl2XFTct(iQ
z$$Zr{t0VWb@2nIkoYb4c{25vyEAAc=(S0zQ;?XE~8fQ2XGqNi~nnPqAPglfi;Xz1B
zl7P51jpnQjj#j}t8n(rOb&4cT)`ab)Vk?=Xhr|>^X8fj^o@OBOeO#e~nN_@Hnezu!
z<vjA~DzGF`x;&-$ccM)y=Bp`2mwA|Gh%`dRyeI<66OvQqc8;&@-aUqFO&gI~jPxao
zbdSwWCDYP>I}6_Rx5LN3G7i=APQO)efArSIN~%OafQl<bu9q4%@&dzyf!w8CzCo$u
z6n2n}TUEQL2#Ax#*y)77FrWxXjC|&7$r%c$nh(^DbzH|dc@xsEw?*vRzH@BrV}DWP
zg*?2uH;fe|YQd*}xpzZb(=O@%Wga7evt1;nSKFq&I{xPMj&{{F;0V6i1L-8*TST<J
zK-(Ax=Bj6bh_2sortvtmDw(%ScoA8ANk)88qj7D~H3aKILtIm921~=$KDnu^EonUr
zN6}I5@zqp@u48t+_YcC&1+ZNm0D&RFC0qf-fMAaY?nbOhv?qj+&e86zt{n1Y`nxe%
z(;vcTLfCe1CEo}xgPn>(YrP?Qe*4+@5zqnO9VYF>nl;e+gX|6&sRy$p(7XWqV#M(S
zdf%BJR}8~~Fv$f+@8jlxhU9iNSrxiL@N2zZKQ02BJjlW?h_Qo;eFnD}dNG1n&u|bm
z(A<+l&u{{KGhZTImXRHjTA?)J(A%i|Q9kE&Np8LFP@LU%i-R!*z>#V}b=DxI^sh<z
z;7#_eQXu-MLim54gW~LU_e3QI$McsEbB6T_njiGpmNlZ%sexMMf7|JWArRb+%IX!8
z6=6AuGPGT?3OzqvGJDg5afbOIbO4{#=Smzp>gtTKZ89_v;_3B3dqFT`i{8*<XIG1~
zV5&$Qvbe=ow2{96p(1S&hh>I=2Pn28PaLypr8#e(mLY!BkF=&;>BeVRgGb3nx#^7s
zcEUV|<}9M&*ni0UMmaPtb;Rai|1f#`bbEeV%}ho}k^ijAEFZ+~L~zy5aWn<#gliD8
zVNxLwg7%S;%0!$1IpJnx7_%fD`(uM4i{Cg{eJ->+%002>@EV2>hr2-6>nEoN*N4+3
zpNRceoDy9Ks_frO!mOEz$ZEj+I@O3sVtf5@gUP?O*PkJGz>=eqb1zNN&Pq8@H7AlJ
zB<>*HMXA_)B>PTZa5GH}%>H2cO?zn4j1^iAk2P$0kZ<(Jlw=3niLN!QMR;O(<!R|*
zDQIbB>E}|dr|d)gZR}U-X?$v(`~g=8xq)?sckWS}A}#tqe!OK#na+W9f}1mL_)f_M
zV>#U<*h5L^vN(;xGmpY?6`cDy4p1t}JDiA`{(d;8w18;a1>*p)W(L13#F5ZGN-U=s
zS6o8^3nU_Cil5t&zu+jk+`*8`RgSSKjczLmlWBmSlTT|q@LiF`nKO5VEwViD_l}dm
zGy0xJRYZ_Do@F%2;>g-<DPVbggbz{(ijVNFiLUwXHLnpYzdn3Hawr-qDxImA=d0xY
zpkMY_drgEZLh=lCf3<5VP?6vM4W}mFA9jCv>dn+WW%k?nB_ZUv;u+Pc9^xz#(=+-f
z#uz#HG3Eo{T8IFBACyYhaQ6O~8_z)2QH7jO=tM@2g|s{{Gio%5RJwY*5kJQKEN$mi
zdqx{!U9qeMe-%82Oj27p0ot0Oi0de_7`tDxr2FgRw)iV71$b^8|7cYiCmBwz@KLm2
zqwqyEckUfd5k|?RFMO4dpLj*8-is1zd`g_ZP-vt#T0R(niK(gN+=-J;C8y`CJSKwk
z2$AX7c^|w!m+JY(=>um1W-m+B>H6DM@F-2LzPdFmgim;k^yJZR!rF00D(86m^5lwH
zRlX*V-riMtv9#cuo1R;_6cRD6o-`qU*8i#>#oLaw`U+7Gu}P9LZLu(^&C+8;&O@w7
zKLXjM*3K=&?C==J?zzN(DdhAKUAgF_=p-kQO8fgtjDlvFzD(u4K}F;1_6oUXF&?uz
z=xEg_C40pyvfA3#_7pC&?DCm;-kJhLKV*9%QTNfR697wtJCeB+o=xF^&p^|gER1aD
zf`YsP;lS;zrfB%vEf0*_jVz@P_S>T_aJnlFw;`|F^f6}SmVt)qUqy7wlPikxVfHlh
z@6W<fk9JM8IlF9o*s!-rT^tfW0iEy!Bir=)bA7Sq_#<Xo<Wq%7X}3CnWM)}K;WL37
zR_iIRzv=M8z~32&ai5BlCiy{m;8~nxCA`Lb-EaH`PS><>I`TakbxK4>3{^v$ba<v|
z50Lpy@7w&*nMiQUHCi!|DWQR|we<B`+{<g^VtR2FM@%2G_}bUSTJi7X<NN?Y=qXV$
zLM0!4$wzj6G`-gKu^nze_ELSVnj(Vc3XfciQAu<GPpBUc=WI+O$spchTx<V%Po<%?
z0PdhG7?bavg9uuDAh`J66>_So0FXJ3`@?v+7{AQsA)GZP8gz&_9<6d+Db^~P6E`bX
z@TUXkkJ|C5Wf$9LZNvr-=uhq_sT(x}x-io#&h!1IPqBP@=Tn|77r7Ts^RHyPzi!zy
zw91@2O+4p@4f~Jwf1z<w(aZdXc*|f2N$)>buz3&O)p#p$)=0}Yj%?Li=iJole`DMe
z8MUqDv8fHy?fn!ci8i@u4<7bKhwqK=eg3`sMYGb64Uu~)m4t|jfkb28FCqFFq5^pY
z2lsMJt7HBVY!N;JPO+QZ$-?c!Bn4(<#l2JNG>BTqVlY>Pyz#~*`o%K}6mh+W0`44*
z%Mp>qdI$={@CrbEcm<AVs5}8KbT<9Iig6NV-if<gp4P^haziHuL&6A_?)E(ieJGvL
zn{OUgEZ?1_yi3gAXTL*AiA;Ee&DzK=eb4XM2G=#(Z~mlanNgqYi#<29BX6V2@g(r$
zP3KaRLLGR&oP1uA5{zJ6V4ie-LQDdgQ-a?+#Saxo;%Tqs%TW@NGBSLqQn4MGI}P@z
z!M~Cf;|vTj?09!;mHz}#3XCH;>wC_A3WP2ALJ}YQ3Wt9D@C;iItO$v=1wSx-!1j92
zY1C&9dL<XV@BuumYlFCOML6smuZ#7Pt2yrXu)~>)^TPt05e`o~hsZDwOD{Qx1#+z)
zSYXx-L00v(19-JbN%4B%6j-eKMMXi(7UM~d$n2^Jw{}!?ym_olgM3uEZO(Y|8G{+b
zQp(6^I^V}9Zqnq{lfm1JTkB6kaK2}^COq_J^Sd<<O?LWQK3DL5b>Q<)emwS1AiV#U
z*X=(|vOV;;+ZeCvd^8=XIRYgT8}k}?2llwXw<pANC5>mxpv&;tw6sB~e}wNzkMZ)3
z@0dGvmv9}DfkX!6-0&eCrN_k`yRas#W?!n%;5Gj^5HMnd%2Lr}y2Ekx%vyjUF${+s
zL$j4LEl!C<vyd^G8de?uX>icozbB@!IGy2Ofz48!sFXSOyv3P)1;OL(B)L7E#AJnS
z6V_7ke!KuA&X%htwLGIqy)#=fC+o&ds%2)~*$0U;Ih1j02XHeHwTvBw-pIOLvp2N$
zZ%<eZfCjZSS<0r;tZfW-K*!!U3U+uuDG~}SacfwckX%9;q!qcM#p~J9W$XFuQ+v{_
zjebrHvl#T1$Ju2Ot@IwzZ=_!q(WNrCU9Yfm@W!0~G-h=VNmI2^u}Mlez$r4c;!Y$Q
z#vT%gWIuPPe5<^0@Jc!>z7)U%8Jfaw3?t(yFRXgzZKbJkULbPNrjb8UO&;is#6UTD
zF-A+bT|xON+`@6A39swx*9$>MpQpuuD0|A{_M)Wa`>MxYnT15?DZ#7TpfdHgNZ82}
zf1YcLqnO$Eq}RDz1v8xSw}xqrU(g>WeY6l1#?uN5S30gbMC_xR#M{N%gAI#2-vtP4
zTY5=r6i-+{56L>q2TjPRzPfVGOQPda{Ptd9UsisQj(0R|^zJ7j^xQ0=!+`<Hc}LWt
zKHfTmMo{W^m`@K}kkiuHI8XdQ_-Xd8Nu7Hif@$NT_`~%wWnc5=M~Gqo^7pYTAusd6
zG+*|kr61Kk;6w>kNUlzM-n2t%FzY;O0geIc`#wPvVmA_}r+VuKI;7YgE*qv(A(yLd
zLyVEx(SFXuzQy;{<pw9ZJoW^6*R|~@T1_??9!=LX{r4#zigcAU6*>=}&zJ5oB9HtB
zB{93x0=Yv>bA!NiDb6`Uoq|H=l_kJLG>YLMM4_0OD~RFpd+!(6TO{yD$iuFXiaEdK
zQ%KJC&hZHP#1z^ksXdj8l3QQf;7-V@#Tu5wxJCoDi3GA!dESxl=XDX|jD8Y!iRSU1
zmSw+5!me+j1y6~NFmxSA$7hC})w4)l))uxLm>n68b_sYqq?S~u;g!rtZ?CT0K=+9s
zU;4OGU9m>sbgU4{=P5@km@IvLt}I|9m~_WIrG7!9U}|9?Y*5BJr?V*|UHDTaimkAa
zQIojZI)F0LOuTe2PEv|dZV)RP@2UkDGbTfPIKTxX-#->PM0<%P=`Jk6nEz=MyPjxy
z(oUnl?bu<xf5)cmJtHJ5W2QzRhpJ%+qL#@kx|I$*9%)NriMFy?yRjQC7j|n4M&Rlt
zT^2H(ZIcpG!%#@1#PW_J$#Zq$y$MO!CzC_XV0_IP2$M&e^iE^b!*OcHsI0a@;0-um
zQjAZXAhpwvsY4`o+q8QPsSe9)*4j+sNIw?N*D-@mB8V~f_T$1*5b*f#g>`P@_sha;
zE;HFaZ?05s=wEg`-4*!t0oRz^iv5ZoPrtAK=vKWBcUW@l2){|e(ykYagagly$E8k5
z)mTXKiuRt?@|5kVWT-5c`+8`Th~Myv{jP|@P&8hxscKrYq5D0yIE~cL^QMP!B?oeX
zgfo06C*S-!pdP-mg~S<|geQgPdYCDgNB97GP)TE#!s;2GImPS4@b7zX+<sI+yi2w!
z)jhM~qajWh_ZHF}-V@TvVTYZqEG1S&9%V8@+9ZWah}PrJh1~O%jj8J@DM#$ZlF&B$
zY{@Es8<w06#b0>>;5xr3qg@MMF5XOfCB7{q*WjGxW?`P&EB;zOT)v805S$jyUVE*M
zHSN?<59i&zWultw$*hod>3VjG{@3Som+H{94kfFJH@siwO+_2W3&ynVSveD4HH@g@
zYjc-#mA6`0dpONRg+Ol~rwfR_GR$U-`ef^EXL@_0wXt;durm(4!^??Tk&xVNQ;0~l
z8Y7&DkRG?*gVq~<ID@plo4^w*Z(c!&K<J!kQ?jV{u&}6ZHrzP%`|LAt-^A$^l)8g+
z*g5E(EkILBHJD;Ncj!8&+Ocj@%{ZD8$hN*;L}MMrM2E%JdZMIJXL#7HaCt~yGb%#A
z`;|&h<kKf#%k}Sk)<3n2>w;<W2)M(kiENchzedC|E|?6#dd-a{a`_~8;!iP@rOs8R
zdp-t6X2hy-%_W>iyiV8iU~c1prnxIf+G(#Jso!l<={%bO!aVoCr)aF1#`Wp6U;O^v
zYg^_ha<+WYc4;a6ix9V0s+Sl=$ENh;B=KDq)%m=4d$fx3jtpWo(erWnd?PeCig71T
zdk(SPwY4AoGY$8E&j(2cUw&3VP;Y=gji-lo?`oH;9>(Q)mt)hI6l&}~oiCeK5X~IH
za2PdqGn2tWeOp1LqxQ|kGt8_by5Ecb{!ecX@K1jXJIi0@oL?@NKZVb~R9}#$`v0Z2
zYl`SdC~48DdfA&e+Wi(*|I&#OfWI9zOlpqm4%WZS^}yc-8jyJUA9)?*kok|i4${p3
zQr9^^it#^m>A#-`{3*?HgLGq+|6PpLkE?YU0HBKbbeVjTebd+Vnn)yqk!Mu=<RjM|
z7?Ld_jlncN&eJ{E8%C7~hO~6p{xO%E*?2|32G<fXMpO>rHo8U=9Hc^ym=DCh{feS`
zeSNryMaxD?u#2QASRvF~->H!V&v*Uxh>!x9$3w`=b5LPZE{4he(dUSk1yIq`_=GWc
zZJHR>77}q-{O*kR0`|jlkCXyU@8bx}KR%Y4z3ZpMkF>KA$;*%^|0Iq`aWl0NX#6Fy
zSfiX}BHyR%&an8yZsd)OyZNO3cVe3vl^%?BO)OD*l!ZH(fC4AE|6z?^Cgx>1Sy<Tr
za{}|{(a($F>8~aJYr%dm;BR67-z)n|(+5fHe@glQT?QZrCrF;><^~Dz+-v|Y7EXPH
z|C^%E3{u_yQuIMZ{!;V-94w$!|E=hQl>R^Td;~U7<$qK0IYEm1Un)K`+lv7Ir-~0?
zc{%1#`P*63ufU(1`H!sv68?W}l|NN{HXtb1|E}Vv`nY1w6AgEJSXgqxo7HDRK@5yk
zNqg>)Qa}N50Y>PMdB6*2O&U}HsTNuM8NEu7H7%4fF@uVna)}Bep*|{5g>Gk>HtFoO
zk`)cMvX~vs2Y`5peD_VW?qvMj)8h8Yq@{oLeS3H7&E)u6I;(~H2mbFyWC1E}Uaxkx
z^(IwQrRy!dMZ7;d^^BBPq^l6kt}+$H(9G?rhq~^&3%Qk*z0M_^ee-VLr_2iOfHrJD
zsqA~Yi)dToF&fbRXF<(IYe-vXo3BGlK-R|-ua1s3GE5Q|{X_OSTg%WN8ab>s7HYxU
z$*~7jgwJDLXS*3&Zi>V!?amI5Ih-GG&5an2X2;$l-Z??WT%u`yn=?##btSOOW#=om
zo;pTE8hD68Up3d4OLf$S_r<lI#-!PgNWFc)7Isxjo-=c4KW($fQ9+!(ZFk1t5ty+h
zrOCUc1bi>2*`7p@&y3mnEqu~-xZqT!mMg4(>Ft}>NV;E@{B`B{E}S@3rb7zDblik;
z9kpv@8&%&VSoKzl9iPK!7{jO*hh&PILKm4L!K~MDo#(I8191a%Zy2L)Q=oa(C6_kk
z95s}4`k+;Lv5*{CzbAzN<jgTLw1k#Xwc+!^IgFJ&RXs&-qt9%&+_t)d7lREEsu8N;
zx>5ZZJLo$oI$l2%p9P(fbhu&!;M}oh4V!7*%CRwI-m2}m^eF~ghL9i%qUWIHU_Z%w
z%G_#hNpBej2Vm!*5)a4553I+Kr#}*+t)h)_JSgw<8{2#$jYmPy4Y{vPt$YGp2y7W_
z-S^!TTyI1^@NN+sM>?gR>2EoPoWcc=e+h3s2OO^8&8{HV2iOB=qMA1git&iV%k%dc
zjy4mT2TT+08muG3IpgIWhE<tio8Odn4zOFF^QA0sQaEH@)u`LN+H||NA_X)pp5t4n
z&T%Au=I_Lw{J>AezBXr(q_j?9@6X_?eoHsniuQQmC%%(9_#}Ja_fBge?6PtgAW@m>
z+a`g*B-8GOD|d&Jg@++O`xE-WzH&qmr)uU9cWT?fxlzlX>Y>z3i*h}=4{LVc`CK5Z
z8t=JcfF9$NwXcw+I2yfPtOb`Jx3%S%rTT|;?St47ssZn-4t4o>`Ohu|Kj0Q+#X83`
zo6@uf&UwYB$j<5e94yNFMfgNBuhR;Mw?aCWFRkW?6F-wzF#L3w_t;PDySvR3n?SLi
zjcrOxqfTk<<L+B_p0DS6Zu4Ux;RqQwB$zEIY)bQlU}w2kd|w<IOUQq}Vv*3+bl^$2
z_N%H!(43J-Wzue88izO~ICVH>o!$4<_DP<@+18(xSm|(V;Ve`8YH>+$>2S$#saV(q
zkC^wth7|Ul!iOQs1`pbk)Xl<D1jK70>=1Vw?vVEN_W8DE2$P{;BBSoXpJH6&?0xmu
z@Tneo4Cd|==(97%cE+94-7)BE4@vJs!ko)wbk3+Lu7PcHQP<IP^X_V}tD|KoMo>i+
z<;Dx&(bqet>M*%6V%x1k4=C135bF|6<Kk*SZX0>+n$pE9trk?1Un82v7^BH&*i%|T
zZeaK3{cg4;se*UZtNVrt%;g;)#l>%57l#mjtnFgTHq><1WHZa)(nO*1OsAf^6H+kL
zj_^igOj@7eRhF{Sl?Fgm`$JT^y&rNWW;%yETbk$xFAU|RS8Y7l7=_)CW_n&!NN_@f
zbt1{Nkc|@lV$<Ms|3=uppSBS*-3Gq%=6t#9)#>H8Fu9m3iTV(N!F=CC!a*%lL0vU6
z#O!G7B<JRa=qZbSDHe;FE}h06Yb2JY5;rRr?6OqPSPyXzUBs%suwx7M+|X+L?X$E>
zkiLXXuryX^quq;||CyO=aWkWmB%-3$GmNzjZGNwKh)WW@s$9FI50<Mxd3Gx8y?L4y
zeQ!HgnR^MwcT@I0u3-M}p*$ZV7#=Gd-a;8jM>ax+4`KL{1ld}k+F6Vk$^~eioXhN%
z>@=P>FP#7U^jW-V?5l<=w4bfA9dt=0kX2in<U}U)d^PbWzRiyX=A&MhFWy9r#KIVK
zdPcc`E}}h-`7o8vA6>JxwsL1rcVd*wE?bRmoI}gG7FBQAd$^3pw^qMqC_CC~7T1oi
zjGVt$m)Gb7Du)aeV3Jo9UJbaIb@0XRM!62E+d|!VriVtl)E_J?9n}l4uMmh|kG2@;
zt1YTC`IPx(wmI~cNJf6QC3#Cw7W=55Z0oU7zH}-UW7Pl96ry-eGx%tsh^$0IZHJuV
z{Km`}n|ccpSx<#ImA7Gzxx(a2`e}_W$DGp0Sqp^3_vz8VhcMrqPJc&>A^Wo7-7_d9
z?DskQ)(*CGm&@o30X=QxMnw`(cBP}1PpOx37826wQ*#xBA<$b5As7f&ga@W557w;h
zbo3)Td;IwYc-Jf&8ihGOILn(tEifrMD?J3ahi8c5x6UyY7~o3a)yP<_q%Kt=#?CNn
zV?LsFnROS>%yGFo=NFHtstcrtjHbs#NCYsYaLsZi6YgHZTs($14<K}R3tl$Nc`XHR
zMf+QL(q{!)0)MoPez?Y?%z3+9Iertzq@)>#JHm8E?cJHv*K@*RXyhUMaq-kr?W$5n
zyLP=c%*MTL?;G1sQxR=0n7eTBTLJ>N$@nfa#}8Gtz}omlw1v#tdyaQ~$Dt23d3Zdq
zk{@fd=aYeWilggd_EOhWKH9~GD0Q;2ex!6iezMxbDp~VJfa~GpJ)3WKtMH<niC>W*
z-r9JFVnZhP&Ns;%nhW$0NsYud^j4A4_lFu(7VFe+@+^2)G<syM9xD83>rCeOQo@em
z=!>p*>}2q4652_v$~^qmsI+p_7b|{5NZKEzotKifPQPxRh>6NIpm+NuL21?6)<Q<7
zjupW|hHsXKn(~8-TG64Ff$eo|eU<6{m)h3W6Fqm2YrE^(4#cX+li)8)U)D>PYyDi>
zC^yVcjjktJi#LSksoPD%Jo~p4+&v%})G!D==!j4^X1E&e%#N2L!ZN<{Tx)3q15D49
z<_b48Gd1~@5>t}ZW_?`GLr-W=b}k)HS_rcY?(e#cBXgdd4(B&}-y4N^_g1d>x$ewP
zC-Az|87_mak^0GBz&mVhZ+H8B(+sUFvaw0IrWN435;S_8;=uRx93dAs@4AY=ETdM)
z4Gn;-_!zkG-=Opt1p5U_SvmfLN`HA>UV^X9yo}APO$|YpZ_R1`#H=7}_#4N*26=P<
zimCuD5ZYt}vNEy(l--P-UA+MySO2dY0-mma75dY`^4ikb*vZP>+8e;a$ObC*SB^jL
zC%hKpVPOVxF|z~Nm^s<m*f@2VnW;fP|H=7xcfXpoE6AwwtHU790lHaW=4J}IKK!eX
zpnxdo)-cFl1Yr5YU-T<&?dTx(;{9j&<I1tTquEOu;g9rR&J#~(a|@7jhlK-y`9CiJ
z2Rl0}JHP_)I|c-G5HuezFMz`zF=iHSPEdRQjIncbfFSWdW6aDi9sg&Hg&X9W`B#jU
znG?hv{+W-R`(;f3jB&hx{(r@O<@jd|gt9>noPWlcS%F+2GWRR@f5ySi4dQ$Mig7Tr
z{Z|_tY#jg9KaO9HsejZ5YM1lha{y#v|F5|Mf(X*T+XdzOuXzEoa54Y8&p>t-j{hpl
z&cgNYJ_FfVUp#03>>oQTh~fM@#s(rv|B1Oe8-q+r&cE)ht6F=5_7DevNyX6-<g){{
z`a*l99V{F{rn}$IVj$Zcp9O~*i!qluD;t*?GnbhuyBQZJ2ap5E%F1jC<Tm4E6+rmk
cv;1b=F0P<|uV0%I2$~Hp1WHPAMG1ue15O_;j{pDw

diff --git a/test/special_case.jl b/test/special_case.jl
deleted file mode 100644
index fb3c64e..0000000
--- a/test/special_case.jl
+++ /dev/null
@@ -1,30 +0,0 @@
-"""
-    special_case()
-
- created: 	Fri May  4 2018 
- email:   	matthew.roughan@adelaide.edu.au
- (c) M Roughan, 2018
-
- Calculates ...
-
-## Arguments
-* `n::Integer`: the number of elements to compute.
-* `dim::Integer=1`: the dimensions along which to perform the computation.
-
-## LateX
-``\\alpha = \\beta``
-
-## Examples
-```jldoctest
-julia> a = [1 2; 3 4]
-2×2 Array{Int64,2}:
- 1  2
- 3  4
-```
-"""
-function special_case(input)
-
-
-
-end
-
diff --git a/test/timing_2.jl b/test/timing_2.jl
new file mode 100644
index 0000000..e60ff81
--- /dev/null
+++ b/test/timing_2.jl
@@ -0,0 +1,69 @@
+# compare the time taken to do simple subtractions compared to <
+# with a view to making some routiens that use subtraction a lot faster
+using IndexedTables
+using SurrealNumbers
+convert(SurrealFinite, 2) * convert(SurrealFinite, 1)
+
+#ns = 6:-1:0
+ns = 0:6
+n = length(ns)
+m = 100 * ones(size(ns))
+x1 = Array{SurrealFinite,1}(n) 
+x2 = Array{Bool,1}(n) 
+t1 = Array{Float64,1}(n) 
+t2 = Array{Float64,1}(n) 
+bytes2 = Array{Float64,1}(n) 
+bytes1 = Array{Float64,1}(n) 
+gctime1 = Array{Float64,1}(n) 
+gctime2 = Array{Float64,1}(n)
+s = convert(SurrealFinite, 1)
+s > 0
+s - 1
+for i=1:n
+    println("  working on ", ns[i])
+    t1[i] = 0
+    t2[i] = 0
+    b1 = 0 
+    g1 = 0 
+    mem1 = 0
+    val1 = 0
+    b2 = 0 
+    g2 = 0
+    mem2 = 0
+    val2 = false
+    for j=1:m[i]
+        s = convert(SurrealFinite, ns[i])
+        # val, time, b, g, mem = @timed convert(Rational, s) 
+        val1, time1, b1, g1, mem1 = @timed s - 1
+        val2, time2, b2, g2, mem2 = @timed s > 1
+        t1[i] += time1
+        t2[i] += time2
+    end
+    x1[i] = val1
+    bytes1[i] = b1
+    gctime1[i] = g1
+    x2[i] = val2
+    bytes2[i] = b2
+    gctime2[i] = g2
+end
+# s = size.(x)
+# d = depth_av.(x)
+# f = n_zeros.(x)
+t1 = t1./m[1:n]
+bytes1 = bytes1./m[1:n]
+t2 = t2./m[1:n]
+bytes2 = bytes2./m[1:n]
+
+t1_p_ms = 1.0e6 * t1
+t2_p_ms = 1.0e6 * t2
+ 
+tab1 = table(@NT( i=0:n-1,
+                time1=t1_p_ms,
+                time2=t2_p_ms,
+                bytes1=bytes1,
+                bytes2=bytes2);
+           pkey = [:i])
+
+
+
+
diff --git a/test/timing_3.jl b/test/timing_3.jl
new file mode 100644
index 0000000..a6d3fd2
--- /dev/null
+++ b/test/timing_3.jl
@@ -0,0 +1,115 @@
+# compare the time taken to do simple subtractions compared to <two different implementations of floor
+# with a view to making some routiens that use subtraction a lot faster
+using IndexedTables
+using SurrealNumbers
+
+# old code for reference, e.g., in case you want to rerun some timing tests to understand
+# why current code is written the way it is
+
+function floor2(s::SurrealFinite)
+    if zero(s) <= s < one(s) 
+        return zero(s)
+    elseif s < zero(s)
+        return floor(s + one(s)) - one(s)
+    elseif s >= one(s)
+        return floor(s - one(s)) + one(s)
+    end
+end
+
+function isinteger2(s::SurrealFinite)
+    if s ≅ zero(s) 
+        return true
+    elseif s <= -one(s)
+        return isinteger(s + one(s))
+    elseif s >= one(s)
+        return isinteger(s - one(s))
+    else
+        return false
+    end
+end
+
+
+# not the more general form of rounding defined in Julia -- should fix
+function round2(s::SurrealFinite)
+    if s ≅ zero(s) 
+        return s
+    elseif s <= -one(s)
+        return round(s + one(s)) - one(s)
+    elseif s >= one(s)
+        return round(s - one(s)) + one(s)
+    elseif s >= convert(SurrealFinite, 1//2)
+        return one(s)
+    elseif s >= convert(SurrealFinite, -1//2)
+        return zero(s)
+    else
+        return -one(s)
+    end
+end
+
+
+
+convert(SurrealFinite, 2) * convert(SurrealFinite, 1)
+
+#ns = 6:-1:0
+ns = 0:4
+n = length(ns)
+m = 100 * ones(size(ns))
+x1 = Array{SurrealFinite,1}(n) 
+x2 = Array{SurrealFinite,1}(n) 
+t1 = Array{Float64,1}(n) 
+t2 = Array{Float64,1}(n) 
+bytes2 = Array{Float64,1}(n) 
+bytes1 = Array{Float64,1}(n) 
+gctime1 = Array{Float64,1}(n) 
+gctime2 = Array{Float64,1}(n)
+s = convert(SurrealFinite, 1)
+floor(s)
+floor2(s)
+for i=1:n
+    println("  working on ", ns[i])
+    t1[i] = 0
+    t2[i] = 0
+    b1 = 0 
+    g1 = 0 
+    mem1 = 0
+    val1 = 0
+    b2 = 0 
+    g2 = 0
+    mem2 = 0
+    val2 = 0
+    for j=1:m[i]
+        s = convert(SurrealFinite, ns[i] + 0.5)
+        # val, time, b, g, mem = @timed convert(Rational, s) 
+        val1, time1, b1, g1, mem1 = @timed floor( s )
+        val2, time2, b2, g2, mem2 = @timed floor2( s )
+        t1[i] += time1
+        t2[i] += time2
+    end
+    x1[i] = val1
+    bytes1[i] = b1
+    gctime1[i] = g1
+    x2[i] = val2
+    bytes2[i] = b2
+    gctime2[i] = g2
+end
+# s = size.(x)
+# d = depth_av.(x)
+# f = n_zeros.(x)
+t1 = t1./m[1:n]
+bytes1 = bytes1./m[1:n]
+t2 = t2./m[1:n]
+bytes2 = bytes2./m[1:n]
+
+t1_p_ms = 1.0e6 * t1
+t2_p_ms = 1.0e6 * t2
+ 
+tab1 = table(@NT( i=0:n-1,
+                time1=t1_p_ms,
+                time2=t2_p_ms,
+                bytes1=bytes1,
+                bytes2=bytes2);
+           pkey = [:i])
+
+
+
+