[OK] B1 greedy disks down to size 1/60 = Ford description (1101 disks)
[OK] B1 number of greedy disks of size >= 1/40 is 489 (got 489)
[OK] B1 exact pairwise disjointness (incl. A*,B*) 
[OK] B2 sum_{q>=2} phi(q)/q^4 = zeta(3)/zeta(4)-1 (sum=0.110626535326072, closed=0.110626535326148)
[OK] B2 area = 0.3475435... (area=0.347543510673)
     area(T) = 0.4292036732; ratio = 0.809740
[OK] B2 ratio about 81% 
[OK] B3 sum_{q>=2} phi(q)/(e^q-1) = 1/(e-1)^2 (diff=-3.00e-60)
[OK] B4 greedy value gap (1,1) = w(a)w(b) (ratio-1=3.55e-15)
[OK] B4 greedy value gap (0.7,2.3) = w(a)w(b) (ratio-1=-2.89e-15)
[OK] B4 greedy value gap (3.0,0.4) = w(a)w(b) (ratio-1=-4.44e-16)
[OK] B4 greedy value gap (5.0,5.0) = w(a)w(b) (ratio-1=-6.98e-14)
[OK] B4 greedy value gap (0.1,0.25) = w(a)w(b) (ratio-1=-3.33e-16)
[OK] B5 int t^(p-1) w(s/t) dt, p=1.5, s=0.3 (rel=4.0e-12)
[OK] B5 int t^(p-1) w(s/t) dt, p=1.5, s=1.0 (rel=-1.2e-13)
[OK] B5 int t^(p-1) w(s/t) dt, p=1.5, s=2.7 (rel=1.1e-12)
[OK] B5 int t^(p-1) w(s/t) dt, p=2.5, s=0.3 (rel=-3.2e-13)
[OK] B5 int t^(p-1) w(s/t) dt, p=2.5, s=1.0 (rel=4.4e-16)
[OK] B5 int t^(p-1) w(s/t) dt, p=2.5, s=2.7 (rel=-1.2e-14)
[OK] B5 int t^(p-1) w(s/t) dt, p=4.0, s=0.3 (rel=-1.1e-16)
[OK] B5 int t^(p-1) w(s/t) dt, p=4.0, s=1.0 (rel=0.0e+00)
[OK] B5 int t^(p-1) w(s/t) dt, p=4.0, s=2.7 (rel=0.0e+00)
[OK] B5 int t^(p-1) w(s/t) dt, p=7.0, s=0.3 (rel=0.0e+00)
[OK] B5 int t^(p-1) w(s/t) dt, p=7.0, s=1.0 (rel=2.2e-16)
[OK] B5 int t^(p-1) w(s/t) dt, p=7.0, s=2.7 (rel=2.2e-16)
[OK] B5 int t^3 w(1/t)^2 dt = 6(zeta(3)-zeta(4)) (rel=-1.9e-15)
[OK] B5 int t^(p-1) w(a/t)w(b/t) = Gamma zeta G_p, (a,b,p)=(1,1,4.0) (rel=-3.3e-16)
[OK] B5 int t^(p-1) w(a/t)w(b/t) = Gamma zeta G_p, (a,b,p)=(0.6,1.7,4.0) (rel=-2.1e-14)
[OK] B5 int t^(p-1) w(a/t)w(b/t) = Gamma zeta G_p, (a,b,p)=(2.0,0.5,3.0) (rel=-3.5e-12)
[OK] B5 G_4(1,1) via Hurwitz = zeta(3)/zeta(4)-1 
[OK] B6 four disks of radius 1/9 pack the unit gap 
[OK] B6 greedy has exactly 3 disks of size >= 1/3 
[OK] B7 disks disjoint from A*,B* with |x|<1 lie in T (sampled) (400000 points)
[OK] B8 no disk in a tangent gap is larger than ab/(a+b) (max ratio 0.999889273158)
ALL PASSED   (2.5s)
