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