== Table 1, first row: k = ceil(d/2 + sqrt(e pi d)/2) ==
       d                  k       p_M1       p_M2   |M1-M2|  Phi(-A/F) Phi(-y/r2) Phi(-heur)        y
1e4                    5147   0.885675   0.885675   4.3e-11   0.884247   0.556563   0.873521  -0.2012
1e6                  501462   0.736209   0.736209   7.6e-12   0.737058   0.518498   0.732548  -0.0656
1e8                50014612   0.611331   0.611331   2.6e-11   0.611816   0.506754   0.610221  -0.0239
1e10             5000146115   0.545519   0.545519   1.6e-09   0.545689   0.501830   0.545170  -0.0065
1e12           500001461142   0.517685   0.517685   2.8e-09   0.517740   0.500600   0.517575  -0.0021
1e14         50000014611412   0.506687   0.506687   1.3e-08   0.506705   0.500257   0.506653  -0.0009
1e16       5000000146114118   0.502454   0.502454   1.2e-07   0.502459   0.500096   0.502443  -0.0003
== Table 1, window row y ~ -1.0: m = round(mc + y sqrt(mc)), d = 2k-1-m ==
k=1e4    d=19606            p_M1=0.951293 p_M2=0.951293 diff=9.9e-12 Phi(-A/F)=0.948993 Phi(-y/r2)=0.759426 Phi(-heur)=0.950620 y=-0.9963
k=1e6    d=1995931          p_M1=0.890556 p_M2=0.890556 diff=1.3e-10 Phi(-A/F)=0.890191 Phi(-y/r2)=0.761761 Phi(-heur)=0.890192 y=-1.0069
k=1e8    d=199958875        p_M1=0.826470 p_M2=0.826470 diff=3.5e-10 Phi(-A/F)=0.826504 Phi(-y/r2)=0.760274 Phi(-heur)=0.826036 y=-1.0001
k=1e10   d=19999587369      p_M1=0.789004 p_M2=0.789004 diff=1.8e-12 Phi(-A/F)=0.789042 Phi(-y/r2)=0.760343 Phi(-heur)=0.788787 y=-1.0004
k=1e12   d=1999995869301    p_M1=0.771668 p_M2=0.771668 diff=6.5e-09 Phi(-A/F)=0.771684 Phi(-y/r2)=0.760298 Phi(-heur)=0.771587 y=-1.0002
k=1e14   d=199999958679114  p_M1=0.764543 p_M2=0.764543 diff=2.2e-08 Phi(-A/F)=0.764549 Phi(-y/r2)=0.760247 Phi(-heur)=0.764516 y=-1.0000
== Table 1, window row y ~ 0.0: m = round(mc + y sqrt(mc)), d = 2k-1-m ==
k=1e4    d=19586            p_M1=0.843836 p_M2=0.843836 diff=1.1e-11 Phi(-A/F)=0.843674 Phi(-y/r2)=0.503503 Phi(-heur)=0.830267 y=-0.0124
k=1e6    d=1995866          p_M1=0.699198 p_M2=0.699198 diff=1.5e-10 Phi(-A/F)=0.700122 Phi(-y/r2)=0.498812 Phi(-heur)=0.695883 y=0.0042
k=1e8    d=199958672        p_M1=0.592878 p_M2=0.592878 diff=1.8e-10 Phi(-A/F)=0.593303 Phi(-y/r2)=0.500435 Phi(-heur)=0.591934 y=-0.0015
k=1e10   d=19999586726      p_M1=0.538121 p_M2=0.538121 diff=1.4e-09 Phi(-A/F)=0.538266 Phi(-y/r2)=0.500059 Phi(-heur)=0.537828 y=-0.0002
k=1e12   d=1999995867268    p_M1=0.514828 p_M2=0.514828 diff=3.0e-09 Phi(-A/F)=0.514875 Phi(-y/r2)=0.500049 Phi(-heur)=0.514736 y=-0.0002
k=1e14   d=199999958672685  p_M1=0.505517 p_M2=0.505517 diff=6.0e-09 Phi(-A/F)=0.505532 Phi(-y/r2)=0.499980 Phi(-heur)=0.505488 y=0.0001
== Table 1, window row y ~ 1.0: m = round(mc + y sqrt(mc)), d = 2k-1-m ==
k=1e4    d=19565            p_M1=0.634715 p_M2=0.634715 diff=8.5e-12 Phi(-A/F)=0.638641 Phi(-y/r2)=0.235246 Phi(-heur)=0.588917 y=1.0206
k=1e6    d=1995802          p_M1=0.432230 p_M2=0.432230 diff=9.1e-11 Phi(-A/F)=0.433632 Phi(-y/r2)=0.239803 Phi(-heur)=0.424121 y=0.9998
k=1e8    d=199958468        p_M1=0.318211 p_M2=0.318211 diff=1.9e-10 Phi(-A/F)=0.318533 Phi(-y/r2)=0.239323 Phi(-heur)=0.316664 y=1.0019
k=1e10   d=19999586083      p_M1=0.270533 p_M2=0.270533 diff=5.7e-10 Phi(-A/F)=0.270609 Phi(-y/r2)=0.239750 Phi(-heur)=0.270172 y=1.0000
k=1e12   d=1999995865235    p_M1=0.251467 p_M2=0.251467 diff=2.6e-09 Phi(-A/F)=0.251487 Phi(-y/r2)=0.239779 Phi(-heur)=0.251368 y=0.9999
k=1e14   d=199999958666257  p_M1=0.244096 p_M2=0.244096 diff=1.1e-09 Phi(-A/F)=0.244102 Phi(-y/r2)=0.239756 Phi(-heur)=0.244067 y=1.0000
limits: Phi(1/sqrt2) = 0.7602  Phi(-1/sqrt2) = 0.2398
== bounded codimension d-k = 1 ==
d=1000         p_M1=0.111744 p_M2=0.111744
d=10000        p_M1=0.054887 p_M2=0.054887
d=100000       p_M1=0.027848 p_M2=0.027848
d=1000000      p_M1=0.014397 p_M2=0.014397
d=100000000    p_M1=0.003983 p_M2=0.003983
d=10000000000  p_M1=0.001135 p_M2=0.001135
