VF2PPLabel/proteinIso.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 535	0.236
     2 554	0.24
     3 571	0.289
     4 614	0.246
     5 634	0.27
     6 636	0.321
     7 639	0.274
     8 730	0.334
     9 731	0.316
    10 734	0.428
    11 735	0.309
    12 737	0.495
    13 755	0.305
    14 760	0.359
    15 788	0.421
    16 794	0.467
    17 795	0.375
    18 802	0.333
    19 816	0.34
    20 819	0.387
    21 831	0.355
    22 833	0.366
    23 838	0.354
    24 858	0.357
    25 861	0.503
    26 874	0.353
    27 877	0.362
    28 879	0.497
    29 886	0.42
    30 899	0.44
    31 957	0.399
    32 982	0.475
    33 995	0.415
    34 1019	3.067
    35 1022	0.964
    36 1046	0.477
    37 1049	0.442
    38 1060	0.447
    39 1073	0.677
    40 1076	0.459
    41 1097	0.461
    42 1140	0.509
    43 1156	0.604
    44 1183	0.492
    45 1192	0.534
    46 1202	0.557
    47 1227	0.63
    48 1271	0.652
    49 1300	0.539
    50 1304	0.541
    51 1312	0.607
    52 1356	0.71
    53 1494	0.658
    54 1502	1.021
    55 1559	0.64
    56 1568	0.665
    57 1576	0.702
    58 1605	1.342
    59 1608	1.443
    60 1625	0.721
    61 1632	0.691
    62 1635	0.899
    63 1648	0.812
    64 1674	0.703
    65 1684	0.711
    66 1732	0.729
    67 1744	1.074
    68 1750	1.325
    69 1754	0.895
    70 1764	0.744
    71 1775	0.734
    72 1826	2.625
    73 1844	0.91
    74 1886	1.032
    75 1930	0.906
    76 1938	0.977
    77 1948	0.807
    78 1995	0.837
    79 2000	1.037
    80 2020	0.873
    81 2044	0.883
    82 2086	1.118
    83 2115	0.906
    84 2123	1.044
    85 2126	1.034
    86 2138	0.907
    87 2168	1.424
    88 2190	8.243
    89 2222	8.425
    90 2250	0.972
    91 2298	0.979
    92 2314	0.958
    93 2316	1.092
    94 2325	1.094
    95 2327	0.977
    96 2329	2.405
    97 2344	1.097
    98 2348	1.239
    99 2355	0.999
   100 2379	1.542
   101 2383	0.999
   102 2413	1.16
   103 2423	1.014
   104 2464	1.079
   105 2466	1.042
   106 2512	1.184
   107 2546	1.143
   108 2553	1.236
   109 2593	1.172
   110 2604	1.223
   111 2605	1.295
   112 2607	1.192
   113 2610	1.189
   114 2611	2
   115 2612	1.241
   116 2613	1.326
   117 2616	1.12
   118 2620	1.532
   119 2622	1.219
   120 2625	1.419
   121 2648	1.094
   122 2651	1.104
   123 2716	1.268
   124 2733	1.612
   125 2775	5.068
   126 2812	1.259
   127 2838	1.492
   128 2857	1.398
   129 2872	1.215
   130 2887	1.626
   131 2916	1.352
   132 2920	1.254
   133 2928	1.438
   134 2949	1.315
   135 2966	1.268
   136 2977	1.848
   137 2991	1.398
   138 3104	1.326
   139 3130	1.452
   140 3131	1.416
   141 3134	1.401
   142 3135	1.348
   143 3172	1.497
   144 3182	1.428
   145 3209	1.505
   146 3243	1.409
   147 3255	1.49
   148 3310	1.461
   149 3366	1.635
   150 3429	2.107
   151 3459	1.46
   152 3469	1.481
   153 3483	1.598
   154 3497	1.803
   155 3502	1.552
   156 3505	1.794
   157 3515	1.644
   158 3517	1.531
   159 3522	1.494
   160 3523	1.776
   161 3526	1.829
   162 3529	1.495
   163 3560	1.528
   164 3563	1.851
   165 3566	1.554
   166 3574	1.678
   167 3582	1.609
   168 3584	1.617
   169 3618	1.668
   170 3619	1.717
   171 3623	1.656
   172 3703	1.579
   173 3711	1.668
   174 3819	2.668
   175 3829	1.704
   176 3839	1.865
   177 3870	1.939
   178 3906	1.673
   179 4025	2.308
   180 4083	2.043
   181 4156	1.911
   182 4194	2.312
   183 4220	2.417
   184 4244	2.195
   185 4283	2.477
   186 4353	1.875
   187 4382	1.92
   188 4389	2.067
   189 4421	2.074
   190 4446	2.504
   191 4521	2.222
   192 4531	2.165
   193 4532	2.168
   194 4568	2.7
   195 4573	2.494
   196 4582	2.02
   197 4604	3.078
   198 4629	2.512
   199 4710	2.4
   200 4713	2.178
   201 4797	2.278
   202 4879	2.542
   203 4970	2.115
   204 5059	2.188
   205 5126	2.209
   206 5241	2.311
   207 5254	2.738
   208 5271	2.336
   209 5318	2.791
   210 5346	2.37
   211 5455	2.647
   212 5492	2.404
   213 5608	2.594
   214 5735	2.837
   215 5775	2.667
   216 5777	2.541
   217 5795	3.983
   218 5845	2.654
   219 5859	3.366
   220 5877	3.159
   221 5945	2.893
   222 5974	3.353
   223 5976	2.664
   224 5983	3.436
   225 6261	3.986
   226 6606	2.913
   227 6713	2.994
   228 6778	3.711
   229 6883	2.973
   230 7349	3.269
   231 7453	3.998
   232 9114	4.116
   233 9174	5.284
   234 10081	4.765