Formatted Output from treedist.rD(BO.example.KTM,  BO.example.KTF)
Verified by hand.


range: 0-1
KTM:     1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
KTF:     1 2 3 4 5 8 7 6 9 10 11 12 13 14 15
KTM^KTF: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
D =  (15*0) + (15*0) - 2* (15*0)  
  = 0 + 0 -  2*0 
  = 0

range: 1-2
KTM:     1 2 3 4 (5 6) 7 8 9 10 11 12 13 14 15
KTF:     1 2 3 4 (5 8) 7 6 9 10 11 12 13 14 15
KTM^KTF: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
D = (13*0 + 1*1) + (13*0 + 1*1) - 2 *(15*0) 
  = 1 + 1 - 2*0
  = 2


range: 2-3
KTM:     1 2 3 4 (5 6) 7 8 (9 10) 11 12 13 14 15
KTF:     1 2 3 4 (5 8) (7 6) 9 10 11 12 13 14 15
KTM^KTF: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
D =  (11*0 + 2*1) + (11*0 + 2*1) - 2 * (15 * 0) 
  = 2 + 2 - 2*0 
  = 4


range: 3-4
KTM:     1 2 3 4 (5 6) (7 8) (9 10) 11 12 13 14 15
KTF:     (1 2) 3 4 (5 8) (7 6) 9 10 11 12 13 14 15
KTM^KTF: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
D =  (9*0 + 3*1) + (9*0 + 3*1) - 2 * (15 * 0) 
  = 3 + 3 - 2*0
  = 6


range: 4-5
KTM:     1 2 3 4 (5 6) (7 8) (9 10) (11 12) 13 14 15
KTF:     (1 2) 3 4 (5 8) (7 6) (9 10) 11 12 13 14 15
KTM^KTF: 1 2 3 4 5 6 7 8 (9 10) 11 12 13 14 15
D = (7*0 + 4*1) + (7*0 + 4*1) - 2*(13*0 + 1*1)
  = 4 + 4 - 2 *1
  = 6


range: 5-6
KTM:     1 2 3 4 (5 6 7 8) (9 10) (11 12) 13 14 15
KTF:     (1 2) 3 4 (5 8 7 6) (9 10) 11 12 13 14 15
KTM^KTF: 1 2 3 4 (5 6 7 8) (9 10) 11 12 13 14 15
D = (7*0 + 2*1 +1*6) + (7*0 + 2*1 + 1*6) - 2 *(9*0 + 1*1 + 1*6)
  = 8 + 8 - 2*7
  = 2 

range: 6-7
KTM:     (1 2) 3 4 (5 6 7 8) (9 10) (11 12) 13 14 15
KTF:     (1 2) 3 4 (5 8 7 6) (9 10) (11 12) 13 14 15
KTM^KTF: (1 2) 3 4 (5 6 7 8) (9 10) (11 12) 13 14 15
D=0

range: 7-8
KTM:     (1 2) 3 4 (5 6 7 8 9 10) (11 12) 13 14 15
KTF:     (1 2) 3 4 (5 8 7 6 9 10) (11 12) 13 14 15
KTM^KTF: (1 2) 3 4 (5 6 7 8 9 10) (11 12) 13 14 15
D=0

range: 8-9
KTM:     (1 2) 3 4 (5 6 7 8 9 10) (11 12) (13 14) 15
KTF:     (1 2 3) 4 (5 8 7 6 9 10) (11 12) 13 14 15
KTM^KTF: (1 2) 3 4 (5 6 7 8 9 10) (11 12) 13 14 15
D = (3*0 + 3*1 + 1*15) + (4*0 + 1*1 + 1*3 + 1*15) - 2*(5*0 + 2*1 + 1*15)
  = 18 + 19 - 2 * 17
  = 3


range: 9-10
KTM:     (1 2 3) 4 (5 6 7 8 9 10) (11 12) (13 14) 15
KTF:     (1 2 3 4) (5 8 7 6 9 10) (11 12) 13 14 15
KTM^KTF: (1 2 3) 4 (5 6 7 8 9 10) (11 12) 13 14 15
D = (2*0 + 2*1 + 1*3 + 1*15) + (3*0 + 1*1 + 1*6 + 1*15) 
    - 2*(4*0 +1*1 + 1*3 + 1*15)
  = 20 + 22 - 2* 19
  = 4

range: 10-11
KTM:     (1 2 3) 4 (5 6 7 8 9 10) (11 12 13 14) 15
KTF:     (1 2 3 4) (5 8 7 6 9 10) (11 12) (13 14) 15
KTM^KTF: (1 2 3) 4 (5 6 7 8 9 10) (11 12) (13 14) 15
D = (2*0 + 1*3 + 1*6 + 1*15) + (1*0 + 2*1 + 1*6 + 1*15)
 	 -2*(2*0 + 2*1 + 1*3 + 1*15) 
  = 24 + 23 - 2*20
  = 7

range: 11-12
KTM:     (1 2 3 4) (5 6 7 8 9 10) (11 12 13 14) 15
KTF:     (1 2 3 4) (5 8 7 6 9 10) (11 12 13 14) 15
KTM^KTF: (1 2 3 4) (5 6 7 8 9 10) (11 12 13 14) 15
D=0

range: 12-13
KTM:     (1 2 3 4 5 6 7 8 9 10) (11 12 13 14) 15
KTF:     (1 2 3 4 5 8 7 6 9 10) (11 12 13 14) 15
KTM^KTF: (1 2 3 4 5 6 7 8 9 10) (11 12 13 14) 15
D=0

range: 13-14
KTM:     (1 2 3 4 5 6 7 8 9 10) (11 12 13 14 15)
KTF:     (1 2 3 4 5 8 7 6 9 10) (11 12 13 14 15)
KTM^KTF: (1 2 3 4 5 6 7 8 9 10) (11 12 13 14 15)
D=0

range: 14+
KTM:     (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)
KTF:     (1 2 3 4 5 8 7 6 9 10 11 12 13 14 15)
KTM^KTF: (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)
D=0

0+2+4+6+6+2+0+0+3+4+7+0+0+0+0=34
(reported value was 35)

Summary Table:
Lower and upper show the lower and upper bounds of
evaluation, part1 and part2 show the index of the partition
lattice for the two trees, delta is upper-lower, distance is
the D-distance of the two partitions, total is the running
total.

----------------------------------------------
 lower upper part1 part2 delta distance total
----------------------------------------------
 0      1     1      1     1     0      0 
 1      2     2      2     1     2      2
 2      3     3      3     1     4      6
 3      4     4      4     1     6      12
 4      5     5      5     1     6      18
 5      6     6      6     1     2      20
 6      7     7      7     1     0      20
 7      8     8      8     1     0      20
 8      9     9      9     1     3      23
 9      10    10     10    1     4      27
 10     11    11     11    1     7      34
 11     12    12     12    1     0      34
 12     13    13     13    1     0      34
 13     14    14     14    1     0      34
----------------------------------------------