n=6 trees=1296 classes=20
class  0 (()()()()())   mult=   1  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  1 ((())()()())   mult=  20  max|P(tau=i|T)-E~[W_i]| = 6.939e-18
class  2 ((()())()())   mult=  30  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  3 (((()))()())   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  4 ((())(())())   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  5 ((()()())())   mult=  20  max|P(tau=i|T)-E~[W_i]| = 1.388e-17
class  6 (((())())())   mult= 120  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  7 ((()())(()))   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  8 (((()()))())   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class  9 ((((())))())   mult= 120  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 10 (((()))(()))   mult= 120  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 11 ((()()()()))   mult=   5  max|P(tau=i|T)-E~[W_i]| = 4.337e-19
class 12 (((()()())))   mult=  20  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 13 (((())()()))   mult=  60  max|P(tau=i|T)-E~[W_i]| = 4.337e-19
class 14 (((()())()))   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 15 ((((()()))))   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 16 ((((())())))   mult= 120  max|P(tau=i|T)-E~[W_i]| = 8.674e-19
class 17 ((((()))()))   mult= 120  max|P(tau=i|T)-E~[W_i]| = 1.735e-18
class 18 (((())(())))   mult=  60  max|P(tau=i|T)-E~[W_i]| = 0.000e+00
class 19 (((((())))))   mult= 120  max|P(tau=i|T)-E~[W_i]| = 8.674e-19
states checked for Lemma 2.3 (class representatives): 200506755
i= 2  (n-1)P(tau=i)=0.833333333333333  (n-1)mu[W_i]=0.833333333333333
i= 3  (n-1)P(tau=i)=0.729166666666667  (n-1)mu[W_i]=0.729166666666667
i= 4  (n-1)P(tau=i)=0.625000000000000  (n-1)mu[W_i]=0.625000000000000
i= 5  (n-1)P(tau=i)=0.535662615740740  (n-1)mu[W_i]=0.535662615740740
i= 6  (n-1)P(tau=i)=0.457115644290123  (n-1)mu[W_i]=0.457115644290123
i= 7  (n-1)P(tau=i)=0.381944444444445  (n-1)mu[W_i]=0.381944444444445
i= 8  (n-1)P(tau=i)=0.320793748392499  (n-1)mu[W_i]=0.320793748392499
i= 9  (n-1)P(tau=i)=0.261399592228221  (n-1)mu[W_i]=0.261399592228221
i=10  (n-1)P(tau=i)=0.214767281628668  (n-1)mu[W_i]=0.214767281628668
i=11  (n-1)P(tau=i)=0.169034172096509  (n-1)mu[W_i]=0.169034172096509
i=12  (n-1)P(tau=i)=0.134517167912213  (n-1)mu[W_i]=0.134517167912213
i=13  (n-1)P(tau=i)=0.102266120649023  (n-1)mu[W_i]=0.102266120649023
i=14  (n-1)P(tau=i)=0.077509345886222  (n-1)mu[W_i]=0.077509345886222
i=15  (n-1)P(tau=i)=0.055541340997002  (n-1)mu[W_i]=0.055541340997002
i=16  (n-1)P(tau=i)=0.039937141882427  (n-1)mu[W_i]=0.039937141882427
i=17  (n-1)P(tau=i)=0.026002037072712  (n-1)mu[W_i]=0.026002037072712
i=18  (n-1)P(tau=i)=0.016973187621367  (n-1)mu[W_i]=0.016973187621367
i=19  (n-1)P(tau=i)=0.009617153563601  (n-1)mu[W_i]=0.009617153563601
i=20  (n-1)P(tau=i)=0.005651403356501  (n-1)mu[W_i]=0.005651403356501
i=21  (n-1)P(tau=i)=0.001883801118808  (n-1)mu[W_i]=0.001883801118808
i=22  (n-1)P(tau=i)=0.001883801119199  (n-1)mu[W_i]=0.001883801119199
real 5.11
user 4.39
sys 0.02
