R1  Lemma 2.4(ii): greedy disks are the D_v, and they form a packing of the gap
  [ok]   R1 unit gap (A*, B*): 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=15/13, b=41/47, x_A=-2/5: 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=41/33, b=46/47, x_A=4: 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=4/37, b=46/49, x_A=-1/8: 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=59/56, b=49/38, x_A=4: 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=53/3, b=4/7, x_A=-7/3: 511 greedy disks, 513 disks with A and B
  [ok]   R1 gap a=8/7, b=23/5, x_A=1/2: 511 greedy disks, 513 disks with A and B
R2  Related work: the greedy packing is a real Moebius image of the Ford circles
  [ok]   R2 unit gap (A*, B*): 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 unit gap: g(z) = 2z - 1
  [ok]   R2 gap a=15/13, b=41/47, x_A=-2/5: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 gap a=41/33, b=46/47, x_A=4: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 gap a=4/37, b=46/49, x_A=-1/8: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 gap a=59/56, b=49/38, x_A=4: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 gap a=53/3, b=4/7, x_A=-7/3: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
  [ok]   R2 gap a=8/7, b=23/5, x_A=1/2: 47 Ford circles p/q in [0,1], q <= 12, map onto D_(q-p,p)
ALL CHECKS PASSED
