VF2PPLabel/Proteins.8.txt
author Madarasi Peter
Wed, 23 Nov 2016 20:59:40 +0100
changeset 11 e73184c3928f
parent 2 20d1b0e5838f
child 18 e9f28d631c8b
permissions -rw-r--r--
Proof of distinctness of cutting rules in case of IND and SUB
     1 535	0.0647333
     2 554	0.0612667
     3 571	0.0691
     4 614	0.0742778
     5 634	0.0850667
     6 636	0.0617333
     7 639	0.0818333
     8 730	0.0902
     9 731	0.0622333
    10 734	0.098
    11 735	0.0949
    12 737	0.10115
    13 755	0.0988667
    14 760	0.0893333
    15 788	0.0983278
    16 794	0.105167
    17 795	0.1071
    18 802	0.0973333
    19 816	0.0718667
    20 819	0.1086
    21 831	0.114067
    22 833	0.110567
    23 838	0.0794
    24 858	0.104733
    25 861	0.109533
    26 874	0.106333
    27 877	0.108767
    28 879	0.076
    29 886	0.1074
    30 899	0.0736333
    31 957	0.120733
    32 982	0.123367
    33 995	0.124933
    34 1019	0.122733
    35 1022	0.124867
    36 1046	0.1354
    37 1049	0.135133
    38 1060	0.138811
    39 1073	0.1451
    40 1076	0.0974333
    41 1097	0.0959
    42 1140	0.143467
    43 1156	0.143933
    44 1183	0.143167
    45 1192	0.152367
    46 1202	0.161967
    47 1227	0.109467
    48 1271	0.156733
    49 1300	0.165778
    50 1304	0.113367
    51 1312	0.163267
    52 1356	0.170467
    53 1494	0.194533
    54 1502	0.194133
    55 1559	0.193867
    56 1568	0.1948
    57 1576	0.199467
    58 1605	0.193533
    59 1608	0.194233
    60 1625	0.196733
    61 1632	0.199233
    62 1635	0.2071
    63 1648	0.205289
    64 1674	0.213933
    65 1684	0.213244
    66 1732	0.223
    67 1744	0.2078
    68 1750	0.211433
    69 1754	0.217333
    70 1764	0.225733
    71 1775	0.211933
    72 1826	0.227233
    73 1844	0.245933
    74 1886	0.226767
    75 1930	0.243167
    76 1938	0.2498
    77 1948	0.2386
    78 1995	0.252967
    79 2000	0.189667
    80 2020	0.2556
    81 2044	0.262367
    82 2086	0.260922
    83 2115	0.26975
    84 2123	0.267967
    85 2126	0.278467
    86 2138	0.2641
    87 2168	0.284167
    88 2190	0.275267
    89 2222	0.284133
    90 2250	0.292183
    91 2298	0.289133
    92 2314	0.285
    93 2316	0.285
    94 2325	0.2857
    95 2327	0.2891
    96 2329	0.297967
    97 2344	0.290233
    98 2348	0.298917
    99 2355	0.314467
   100 2379	0.291267
   101 2383	0.222133
   102 2413	0.294033
   103 2423	0.299733
   104 2464	0.302733
   105 2466	0.3123
   106 2512	0.309567
   107 2546	0.3311
   108 2553	0.314067
   109 2593	0.333333
   110 2604	0.323433
   111 2605	0.334533
   112 2607	0.325967
   113 2610	0.320467
   114 2611	0.3224
   115 2612	0.333
   116 2613	0.322633
   117 2616	0.343733
   118 2620	0.323267
   119 2622	0.323267
   120 2625	0.322
   121 2648	0.325167
   122 2651	0.332067
   123 2716	0.3418
   124 2733	0.369483
   125 2775	0.354
   126 2812	0.3528
   127 2838	0.346767
   128 2857	0.359933
   129 2872	0.354033
   130 2887	0.363433
   131 2916	0.361267
   132 2920	0.3637
   133 2928	0.377833
   134 2949	0.363867
   135 2966	0.375967
   136 2977	0.3698
   137 2991	0.2508
   138 3104	0.374289
   139 3130	0.410067
   140 3131	0.4105
   141 3134	0.3987
   142 3135	0.420567
   143 3172	0.339967
   144 3182	0.390667
   145 3209	0.4133
   146 3243	0.403533
   147 3255	0.4085
   148 3310	0.405433
   149 3366	0.4279
   150 3429	0.4205
   151 3459	0.4319
   152 3469	0.442133
   153 3483	0.443711
   154 3497	0.447533
   155 3502	0.4467
   156 3505	0.444067
   157 3515	0.4499
   158 3517	0.447567
   159 3522	0.4385
   160 3523	0.450467
   161 3526	0.446967
   162 3529	0.450133
   163 3560	0.459767
   164 3563	0.4523
   165 3566	0.457833
   166 3574	0.455583
   167 3582	0.460533
   168 3584	0.4595
   169 3618	0.446
   170 3619	0.461733
   171 3623	0.460867
   172 3703	0.473867
   173 3711	0.475433
   174 3819	0.481
   175 3829	0.473983
   176 3839	0.497533
   177 3870	0.4921
   178 3906	0.512667
   179 4025	0.505333
   180 4083	0.5298
   181 4156	0.506967
   182 4194	0.502967
   183 4220	0.523717
   184 4244	0.527633
   185 4283	0.539833
   186 4353	0.5396
   187 4382	0.565433
   188 4389	0.543967
   189 4421	0.577067
   190 4446	0.3986
   191 4521	0.562933
   192 4531	0.575233
   193 4532	0.5717
   194 4568	0.566633
   195 4573	0.591933
   196 4582	0.5832
   197 4604	0.574167
   198 4629	0.590089
   199 4710	0.6268
   200 4713	0.6242
   201 4797	0.599867
   202 4879	0.605333
   203 4970	0.630833
   204 5059	0.640267
   205 5126	0.6408
   206 5241	0.660733
   207 5254	0.6702
   208 5271	0.6651
   209 5318	0.687267
   210 5346	0.687033
   211 5455	0.6758
   212 5492	0.7136
   213 5608	0.6989
   214 5735	0.7156
   215 5775	0.7491
   216 5777	0.750067
   217 5795	0.7296
   218 5845	0.731167
   219 5859	0.758233
   220 5877	0.729278
   221 5945	0.7701
   222 5974	0.764056
   223 5976	0.764767
   224 5983	0.7731
   225 6261	0.804417
   226 6606	0.845833
   227 6713	0.852367
   228 6778	0.849867
   229 6883	0.864867
   230 7349	0.92615
   231 7453	0.924333
   232 9114	1.1517
   233 9174	1.14957
   234 10081	1.2828