Index: doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt
===================================================================
--- doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt	(revision 0b66ef942dcd38c37734175ce587f2abf585bbe0)
+++ doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt	(revision 0b66ef942dcd38c37734175ce587f2abf585bbe0)
@@ -0,0 +1,89 @@
+a       0 +      0/2 +      0/2   (list is empty)
+b       0 +      0/2 +      0/2   (list is empty)
+-       0 +      1/2 +      0/2   | <0> | ... | <0> |
++       0 +      1/2 +      0/2   | 1 <0> | ... | 1 <0> |
+-       0 +      2/2 +      0/2   | <1> 0 | ... | 1 <0> |
++       0 +      2/2 +      0/2   | 2 <1> 0 | ... 2 1 <0> |
+-       0 +      3/2 +      0/2   | <2> 1 0 ... 2 1 <0> |
++       0 +      3/2 +      0/2   | 3 <2> 1 0 ... 2 1 <0> |
+-       0 +      4/2 +      0/2   | <3> 2 1 ... 2 1 <0> |
++       0 +      4/2 +      0/2   | 4 <3> 2 1 ... 2 1 <0> |
+-       0 +      5/2 +      0/2   | <4> 3 2 ... 2 1 <0> |
++       0 +      5/2 +      0/2   | 5 <4> 3 2 ... 2 1 <0> |
+-       0 +      6/2 +      0/2   | <5> 4 3 ... 2 1 <0> |
++       0 +      6/2 +      0/2   | 6 <5> 4 3 ... 2 1 <0> |
+-       0 +      7/2 +      0/2   | <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
++       0 +      7/2 +      0/2   | 7 <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-       0 +      8/2 +      0/2   | <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
++       0 +      8/2 +      0/2   | 8 <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-       0 +      9/2 +      0/2   | <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
++       0 +      9/2 +      0/2   | 9 <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
+c       0 +     10/2 +      0/2   | <9> 8 7 ... 6 5 <4> 3 2 ... 2 1 <0> |
+-       0 +     10/2 +      1/2   | 9 <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
++       0 +     10/2 +      1/2   | <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
+-       0 +     10/2 +      2/2   | 8 <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
++       0 +     10/2 +      2/2   | <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-       0 +     10/2 +      3/2   | 7 <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
++       0 +     10/2 +      3/2   | <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-       0 +     10/2 +      4/2   | 6 <5> 4 3 ... 2 1 <0> |
++       0 +     10/2 +      4/2   | <5> 4 3 ... 2 1 <0> |
+-       0 +     10/2 +      5/2   | 5 <4> 3 2 ... 2 1 <0> |
++       0 +     10/2 +      5/2   | <4> 3 2 ... 2 1 <0> |
+-       0 +     10/2 +      6/2   | 4 <3> 2 1 ... 2 1 <0> |
++       0 +     10/2 +      6/2   | <3> 2 1 ... 2 1 <0> |
+-       0 +     10/2 +      7/2   | 3 <2> 1 0 ... 2 1 <0> |
++       0 +     10/2 +      7/2   | <2> 1 0 ... 2 1 <0> |
+-       0 +     10/2 +      8/2   | 2 <1> 0 | ... 2 1 <0> |
++       0 +     10/2 +      8/2   | <1> 0 | ... | 1 <0> |
+-       0 +     10/2 +      9/2   | 1 <0> | ... | 1 <0> |
++       0 +     10/2 +      9/2   | <0> | ... | <0> |
+D       0 +     10/2 +     10/2   (list is empty)
+d       0 +     10/2 +     10/2   (list is empty)
+e       0 + ? (rolling over)
+f      10 + ? (rolling over)
+g      10 +      0/2 +      0/2   (list is empty)
+a      10 +      0/2 +      0/2   (list is empty)
+b      10 +      0/2 +      0/2   (list is empty)
+-      10 +      1/2 +      0/2   | <0> | ... | <0> |
++      10 +      1/2 +      0/2   | 1 <0> | ... | 1 <0> |
+-      10 +      2/2 +      0/2   | <1> 0 | ... | 1 <0> |
++      10 +      2/2 +      0/2   | 2 <1> 0 | ... 2 1 <0> |
+-      10 +      3/2 +      0/2   | <2> 1 0 ... 2 1 <0> |
++      10 +      3/2 +      0/2   | 3 <2> 1 0 ... 2 1 <0> |
+-      10 +      4/2 +      0/2   | <3> 2 1 ... 2 1 <0> |
++      10 +      4/2 +      0/2   | 4 <3> 2 1 ... 2 1 <0> |
+-      10 +      5/2 +      0/2   | <4> 3 2 ... 2 1 <0> |
++      10 +      5/2 +      0/2   | 5 <4> 3 2 ... 2 1 <0> |
+-      10 +      6/2 +      0/2   | <5> 4 3 ... 2 1 <0> |
++      10 +      6/2 +      0/2   | 6 <5> 4 3 ... 2 1 <0> |
+-      10 +      7/2 +      0/2   | <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
++      10 +      7/2 +      0/2   | 7 <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-      10 +      8/2 +      0/2   | <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
++      10 +      8/2 +      0/2   | 8 <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-      10 +      9/2 +      0/2   | <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
++      10 +      9/2 +      0/2   | 9 <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
+c      10 +     10/2 +      0/2   | <9> 8 7 ... 6 5 <4> 3 2 ... 2 1 <0> |
+-      10 +     10/2 +      1/2   | 9 <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
++      10 +     10/2 +      1/2   | <8> 7 6 ... 6 5 <4> 3 2 ... 2 1 <0> |
+-      10 +     10/2 +      2/2   | 8 <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
++      10 +     10/2 +      2/2   | <7> 6 5 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-      10 +     10/2 +      3/2   | 7 <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
++      10 +     10/2 +      3/2   | <6> 5 4 ... 5 4 <3> 2 1 ... 2 1 <0> |
+-      10 +     10/2 +      4/2   | 6 <5> 4 3 ... 2 1 <0> |
++      10 +     10/2 +      4/2   | <5> 4 3 ... 2 1 <0> |
+-      10 +     10/2 +      5/2   | 5 <4> 3 2 ... 2 1 <0> |
++      10 +     10/2 +      5/2   | <4> 3 2 ... 2 1 <0> |
+-      10 +     10/2 +      6/2   | 4 <3> 2 1 ... 2 1 <0> |
++      10 +     10/2 +      6/2   | <3> 2 1 ... 2 1 <0> |
+-      10 +     10/2 +      7/2   | 3 <2> 1 0 ... 2 1 <0> |
++      10 +     10/2 +      7/2   | <2> 1 0 ... 2 1 <0> |
+-      10 +     10/2 +      8/2   | 2 <1> 0 | ... 2 1 <0> |
++      10 +     10/2 +      8/2   | <1> 0 | ... | 1 <0> |
+-      10 +     10/2 +      9/2   | 1 <0> | ... | 1 <0> |
++      10 +     10/2 +      9/2   | <0> | ... | <0> |
+D      10 +     10/2 +     10/2   (list is empty)
+d      10 +     10/2 +     10/2   (list is empty)
+e      10 + ? (rolling over)
+f      20 + ? (rolling over)
+g      20 +      0/2 +      0/2   (list is empty)
+
