(a) estimate (2) of Theorem 4 on 45 graphs x 5 values of p: True  (max of lhs/(C1 p^2) = 0.166667)
(b) g(e) > g(x) for all x != e (exact): True
(c) N(x)/d^|x| <= mu_p(x)/(p q^|x|) <= N(x)/d^|x| + q/p (exact, 4 values of p): True
(d) N(x) P_1(x,y) = N(y) P_1(y,x) for x,y on the same level (exact): True
(e) Z_20: tau(0)=20.431729  tau(0.001)=20.726809  tau(0.999)=2.0877748
    C_3: tau(0) = 0.66666667  <  tau(1-) = 2
    C_4: tau(0) = 1.0  <  tau(1-) = 2
    C_5: tau(0) = 1.4472136  <  tau(1-) = 2
    C_6: tau(0) = 2.0  =  tau(1-) = 2
    C_7: tau(0) = 2.6559706  >  tau(1-) = 2
    C_8: tau(0) = 3.4142136  >  tau(1-) = 2
    C_9: tau(0) = 4.2743161  >  tau(1-) = 2
    C_10: tau(0) = 5.236068  >  tau(1-) = 2
    C_11: tau(0) = 6.2993528  >  tau(1-) = 2
    C_12: tau(0) = 7.4641016  >  tau(1-) = 2
    C_13: tau(0) = 8.7302715  >  tau(1-) = 2
    C_14: tau(0) = 10.097835  >  tau(1-) = 2
done
