VF2PPLabel/Proteins.128.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.0682333
madarasip@6
     2
554	0.0683333
madarasip@6
     3
571	0.0761
madarasip@6
     4
614	0.0712444
madarasip@6
     5
634	0.0761333
madarasip@6
     6
636	0.0716
madarasip@6
     7
639	0.0702333
madarasip@6
     8
730	0.0923667
madarasip@6
     9
731	0.0807
madarasip@6
    10
734	0.0888
madarasip@6
    11
735	0.0748333
madarasip@6
    12
737	0.0955
madarasip@6
    13
755	0.0768333
madarasip@6
    14
760	0.0778333
madarasip@6
    15
788	0.0933833
madarasip@6
    16
794	0.0995
madarasip@6
    17
795	0.0870667
madarasip@6
    18
802	0.0941667
madarasip@6
    19
816	0.0861333
madarasip@6
    20
819	0.0948
madarasip@6
    21
831	0.0883667
madarasip@6
    22
833	0.0966333
madarasip@6
    23
838	0.0918
madarasip@6
    24
858	0.0857333
madarasip@6
    25
861	0.0993667
madarasip@6
    26
874	0.0851333
madarasip@6
    27
877	0.086
madarasip@6
    28
879	0.0919333
madarasip@6
    29
886	0.103633
madarasip@6
    30
899	0.0994333
madarasip@6
    31
957	0.0955333
madarasip@6
    32
982	0.101833
madarasip@6
    33
995	0.0966667
madarasip@6
    34
1019	0.0916333
madarasip@6
    35
1022	0.097
madarasip@6
    36
1046	0.1107
madarasip@6
    37
1049	0.101067
madarasip@6
    38
1060	0.0998778
madarasip@6
    39
1073	0.140667
madarasip@6
    40
1076	0.102567
madarasip@6
    41
1097	0.1093
madarasip@6
    42
1140	0.104967
madarasip@6
    43
1156	0.107167
madarasip@6
    44
1183	0.1104
madarasip@6
    45
1192	0.1103
madarasip@6
    46
1202	0.1061
madarasip@6
    47
1227	0.1117
madarasip@6
    48
1271	0.1109
madarasip@6
    49
1300	0.155522
madarasip@6
    50
1304	0.125933
madarasip@6
    51
1312	0.125933
madarasip@6
    52
1356	0.130167
madarasip@6
    53
1494	0.145567
madarasip@6
    54
1502	0.129017
madarasip@6
    55
1559	0.1309
madarasip@6
    56
1568	0.128833
madarasip@6
    57
1576	0.138733
madarasip@6
    58
1605	0.141133
madarasip@6
    59
1608	0.1418
madarasip@6
    60
1625	0.140633
madarasip@6
    61
1632	0.146333
madarasip@6
    62
1635	0.145367
madarasip@6
    63
1648	0.134789
madarasip@6
    64
1674	0.139967
madarasip@6
    65
1684	0.140444
madarasip@6
    66
1732	0.1446
madarasip@6
    67
1744	0.153333
madarasip@6
    68
1750	0.151733
madarasip@6
    69
1754	0.147033
madarasip@6
    70
1764	0.149633
madarasip@6
    71
1775	0.146833
madarasip@6
    72
1826	0.135667
madarasip@6
    73
1844	0.177133
madarasip@6
    74
1886	0.1551
madarasip@6
    75
1930	0.1658
madarasip@6
    76
1938	0.157267
madarasip@6
    77
1948	0.161967
madarasip@6
    78
1995	0.2002
madarasip@6
    79
2000	0.197433
madarasip@6
    80
2020	0.1655
madarasip@6
    81
2044	0.202433
madarasip@6
    82
2086	0.165167
madarasip@6
    83
2115	0.2093
madarasip@6
    84
2123	0.175933
madarasip@6
    85
2126	0.192033
madarasip@6
    86
2138	0.1735
madarasip@6
    87
2168	0.226633
madarasip@6
    88
2190	0.1742
madarasip@6
    89
2222	0.1762
madarasip@6
    90
2250	0.178167
madarasip@6
    91
2298	0.1938
madarasip@6
    92
2314	0.1894
madarasip@6
    93
2316	0.189067
madarasip@6
    94
2325	0.190333
madarasip@6
    95
2327	0.1877
madarasip@6
    96
2329	0.172767
madarasip@6
    97
2344	0.189733
madarasip@6
    98
2348	0.196083
madarasip@6
    99
2355	0.194033
madarasip@6
   100
2379	0.1917
madarasip@6
   101
2383	0.1911
madarasip@6
   102
2413	0.1942
madarasip@6
   103
2423	0.198333
madarasip@6
   104
2464	0.189167
madarasip@6
   105
2466	0.193233
madarasip@6
   106
2512	0.194033
madarasip@6
   107
2546	0.190067
madarasip@6
   108
2553	0.2342
madarasip@6
   109
2593	0.204767
madarasip@6
   110
2604	0.197767
madarasip@6
   111
2605	0.206667
madarasip@6
   112
2607	0.203033
madarasip@6
   113
2610	0.200183
madarasip@6
   114
2611	0.199967
madarasip@6
   115
2612	0.2054
madarasip@6
   116
2613	0.199467
madarasip@6
   117
2616	0.209867
madarasip@6
   118
2620	0.201567
madarasip@6
   119
2622	0.200733
madarasip@6
   120
2625	0.2032
madarasip@6
   121
2648	0.206267
madarasip@6
   122
2651	0.201767
madarasip@6
   123
2716	0.2119
madarasip@6
   124
2733	0.213133
madarasip@6
   125
2775	0.204567
madarasip@6
   126
2812	0.231733
madarasip@6
   127
2838	0.215433
madarasip@6
   128
2857	0.2856
madarasip@6
   129
2872	0.228633
madarasip@6
   130
2887	0.216867
madarasip@6
   131
2916	0.238967
madarasip@6
   132
2920	0.2335
madarasip@6
   133
2928	0.232533
madarasip@6
   134
2949	0.261333
madarasip@6
   135
2966	0.231933
madarasip@6
   136
2977	0.23
madarasip@6
   137
2991	0.242367
madarasip@6
   138
3104	0.248689
madarasip@6
   139
3130	0.257
madarasip@6
   140
3131	0.251967
madarasip@6
   141
3134	0.280333
madarasip@6
   142
3135	0.241
madarasip@6
   143
3172	0.251233
madarasip@6
   144
3182	0.237633
madarasip@6
   145
3209	0.262467
madarasip@6
   146
3243	0.264833
madarasip@6
   147
3255	0.262533
madarasip@6
   148
3310	0.2488
madarasip@6
   149
3366	0.295783
madarasip@6
   150
3429	0.2652
madarasip@6
   151
3459	0.2694
madarasip@6
   152
3469	0.2555
madarasip@6
   153
3483	0.338144
madarasip@6
   154
3497	0.262133
madarasip@6
   155
3502	0.261367
madarasip@6
   156
3505	0.262667
madarasip@6
   157
3515	0.264567
madarasip@6
   158
3517	0.2774
madarasip@6
   159
3522	0.2638
madarasip@6
   160
3523	0.263933
madarasip@6
   161
3526	0.2627
madarasip@6
   162
3529	0.264367
madarasip@6
   163
3560	0.262967
madarasip@6
   164
3563	0.265867
madarasip@6
   165
3566	0.266433
madarasip@6
   166
3574	0.263183
madarasip@6
   167
3582	0.268533
madarasip@6
   168
3584	0.269
madarasip@6
   169
3618	0.279067
madarasip@6
   170
3619	0.274333
madarasip@6
   171
3623	0.2838
madarasip@6
   172
3703	0.266333
madarasip@6
   173
3711	0.2919
madarasip@6
   174
3819	0.2888
madarasip@6
   175
3829	0.287267
madarasip@6
   176
3839	0.267633
madarasip@6
   177
3870	0.2929
madarasip@6
   178
3906	0.2892
madarasip@6
   179
4025	0.288133
madarasip@6
   180
4083	0.312067
madarasip@6
   181
4156	0.312033
madarasip@6
   182
4194	0.326367
madarasip@6
   183
4220	0.31315
madarasip@6
   184
4244	0.313883
madarasip@6
   185
4283	0.313067
madarasip@6
   186
4353	0.3043
madarasip@6
   187
4382	0.331867
madarasip@6
   188
4389	0.3093
madarasip@6
   189
4421	0.3397
madarasip@6
   190
4446	0.336967
madarasip@6
   191
4521	0.317967
madarasip@6
   192
4531	0.350433
madarasip@6
   193
4532	0.348656
madarasip@6
   194
4568	0.3307
madarasip@6
   195
4573	0.359533
madarasip@6
   196
4582	0.341333
madarasip@6
   197
4604	0.362833
madarasip@6
   198
4629	0.347461
madarasip@6
   199
4710	0.352033
madarasip@6
   200
4713	0.34815
madarasip@6
   201
4797	0.355767
madarasip@6
   202
4879	0.360933
madarasip@6
   203
4970	0.3436
madarasip@6
   204
5059	0.379
madarasip@6
   205
5126	0.374233
madarasip@6
   206
5241	0.427967
madarasip@6
   207
5254	0.415867
madarasip@6
   208
5271	0.4081
madarasip@6
   209
5318	0.408633
madarasip@6
   210
5346	0.393333
madarasip@6
   211
5455	0.407033
madarasip@6
   212
5492	0.4152
madarasip@6
   213
5608	0.413467
madarasip@6
   214
5735	0.414167
madarasip@6
   215
5775	0.427367
madarasip@6
   216
5777	0.4219
madarasip@6
   217
5795	0.438533
madarasip@6
   218
5845	0.430033
madarasip@6
   219
5859	0.435267
madarasip@6
   220
5877	0.457667
madarasip@6
   221
5945	0.419933
madarasip@6
   222
5974	0.431989
madarasip@6
   223
5976	0.424767
madarasip@6
   224
5983	0.422267
madarasip@6
   225
6261	0.472283
madarasip@6
   226
6606	0.4918
madarasip@6
   227
6713	0.4527
madarasip@6
   228
6778	0.453633
madarasip@6
   229
6883	0.488267
madarasip@6
   230
7349	0.603683
madarasip@6
   231
7453	0.523267
madarasip@6
   232
9114	0.6484
madarasip@6
   233
9174	0.63
madarasip@6
   234
10081	0.683833