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