VF2PPLabel/ContactMaps.txt
author Madarasi Peter
Wed, 23 Nov 2016 20:59:40 +0100
changeset 11 e73184c3928f
permissions -rw-r--r--
Proof of distinctness of cutting rules in case of IND and SUB
     1 99	3.55861e-05
     2 102	3.48204e-05
     3 104	3.82857e-05
     4 105	3.27361e-05
     5 107	4.155e-05
     6 114	2.985e-05
     7 117	2.91611e-05
     8 120	3.40694e-05
     9 122	3.21074e-05
    10 123	3.34333e-05
    11 124	3.04222e-05
    12 125	3.40778e-05
    13 130	7.72042e-05
    14 133	7.44806e-05
    15 136	6.73958e-05
    16 137	7.2275e-05
    17 138	7.38313e-05
    18 140	6.9265e-05
    19 141	7.06243e-05
    20 144	6.62625e-05
    21 146	6.535e-05
    22 147	6.59417e-05
    23 149	6.74542e-05
    24 150	6.75e-05
    25 151	6.84764e-05
    26 156	6.6225e-05
    27 157	6.81729e-05
    28 158	7.44188e-05
    29 159	6.7125e-05
    30 162	6.9319e-05
    31 164	6.64e-05
    32 169	6.52042e-05
    33 181	6.78417e-05
    34 185	6.90083e-05
    35 186	6.86083e-05
    36 187	7.00875e-05
    37 190	6.96403e-05
    38 191	6.99542e-05
    39 192	7.03875e-05
    40 193	6.995e-05
    41 197	6.64583e-05
    42 198	6.95e-05
    43 199	7.16069e-05
    44 214	7.11792e-05
    45 220	7.20187e-05
    46 221	7.10063e-05
    47 222	7.22021e-05
    48 224	7.13417e-05
    49 225	7.18417e-05
    50 226	7.27333e-05
    51 228	7.45125e-05
    52 237	6.83292e-05
    53 252	7.39167e-05
    54 264	0.00016664
    55 265	0.00013917
    56 271	0.000139285
    57 274	0.000156853
    58 275	0.000175157
    59 276	0.000159083
    60 277	0.000172348
    61 280	0.00014612
    62 286	0.00014713
    63 302	0.000154183
    64 327	0.000143703
    65 330	0.000139873
    66 334	0.00014221
    67 336	0.000143023
    68 359	0.000145047
    69 360	0.00014404
    70 385	0.000144682
    71 387	0.000145017
    72 388	0.00014499
    73 393	0.000143265
    74 395	0.000142503
    75 414	0.000149473
    76 428	0.00015246
    77 457	0.000154736
    78 484	0.000152073
    79 501	0.00015102
    80 556	0.00014716
    81 558	0.000145393
    82 564	0.00015671
    83 585	0.000143333
    84 599	0.000143203
    85 600	0.000148243
    86 611	0.000159897
    87 617	0.00016459
    88 694	0.000153237
    89 741	0.000152753
    90 773	0.000145913