float margin T - F on the Dirac curve K_S = V delta_x (evidence only)
rho2=0.001  a/rho2=1.0  min margin 0.000073 at x=1.4142  (margin/rho2 = 0.0731)
rho2=0.001  a/rho2=0.5  min margin 0.000138 at x=1.4132  (margin/rho2 = 0.1377)
rho2=0.001  a/rho2=0.0  min margin 0.000203 at x=1.4121  (margin/rho2 = 0.2026)
rho2=0.005  a/rho2=1.0  min margin 0.000357 at x=1.4142  (margin/rho2 = 0.0714)
rho2=0.005  a/rho2=0.5  min margin 0.000671 at x=1.4090  (margin/rho2 = 0.1341)
rho2=0.005  a/rho2=0.0  min margin 0.000995 at x=1.4039  (margin/rho2 = 0.1989)
rho2=0.01   a/rho2=1.0  min margin 0.000692 at x=1.4142  (margin/rho2 = 0.0692)
rho2=0.01   a/rho2=0.5  min margin 0.001296 at x=1.4028  (margin/rho2 = 0.1296)
rho2=0.01   a/rho2=0.0  min margin 0.001946 at x=1.3945  (margin/rho2 = 0.1946)
rho2=0.02   a/rho2=1.0  min margin 0.001300 at x=1.4142  (margin/rho2 = 0.0650)
rho2=0.02   a/rho2=0.5  min margin 0.002409 at x=1.3904  (margin/rho2 = 0.1205)
rho2=0.02   a/rho2=0.0  min margin 0.003730 at x=1.3738  (margin/rho2 = 0.1865)
rho2=0.03   a/rho2=1.0  min margin 0.001827 at x=1.4142  (margin/rho2 = 0.0609)
rho2=0.03   a/rho2=0.5  min margin 0.003344 at x=1.3769  (margin/rho2 = 0.1115)
rho2=0.03   a/rho2=0.0  min margin 0.005373 at x=1.3542  (margin/rho2 = 0.1791)
rho2=0.05   a/rho2=1.0  min margin 0.002635 at x=1.4111  (margin/rho2 = 0.0527)
rho2=0.05   a/rho2=0.5  min margin 0.004704 at x=1.3500  (margin/rho2 = 0.0941)
rho2=0.05   a/rho2=0.0  min margin 0.008256 at x=1.3148  (margin/rho2 = 0.1651)
rho2=0.07   a/rho2=1.0  min margin 0.003032 at x=1.4008  (margin/rho2 = 0.0433)
rho2=0.07   a/rho2=0.5  min margin 0.005438 at x=1.3221  (margin/rho2 = 0.0777)
rho2=0.07   a/rho2=0.0  min margin 0.010532 at x=1.2786  (margin/rho2 = 0.1505)
rho2=0.1    a/rho2=1.0  min margin 0.002749 at x=1.3800  (margin/rho2 = 0.0275)
rho2=0.1    a/rho2=0.5  min margin 0.005557 at x=1.2827  (margin/rho2 = 0.0556)
rho2=0.1    a/rho2=0.0  min margin 0.012719 at x=1.2299  (margin/rho2 = 0.1272)
