VF2PPLabel/Proteins.256.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.0677167
madarasip@6
     2
554	0.0710667
madarasip@6
     3
571	0.07825
madarasip@6
     4
614	0.0720889
madarasip@6
     5
634	0.0767
madarasip@6
     6
636	0.0925667
madarasip@6
     7
639	0.0776667
madarasip@6
     8
730	0.0776667
madarasip@6
     9
731	0.0993667
madarasip@6
    10
734	0.0845333
madarasip@6
    11
735	0.0726333
madarasip@6
    12
737	0.0859167
madarasip@6
    13
755	0.0737333
madarasip@6
    14
760	0.0770333
madarasip@6
    15
788	0.0826556
madarasip@6
    16
794	0.0872583
madarasip@6
    17
795	0.0746
madarasip@6
    18
802	0.0780667
madarasip@6
    19
816	0.1082
madarasip@6
    20
819	0.087
madarasip@6
    21
831	0.0746333
madarasip@6
    22
833	0.0837
madarasip@6
    23
838	0.1097
madarasip@6
    24
858	0.0734
madarasip@6
    25
861	0.0894333
madarasip@6
    26
874	0.0735333
madarasip@6
    27
877	0.0744667
madarasip@6
    28
879	0.113033
madarasip@6
    29
886	0.0938
madarasip@6
    30
899	0.115033
madarasip@6
    31
957	0.0760333
madarasip@6
    32
982	0.0803667
madarasip@6
    33
995	0.086
madarasip@6
    34
1019	0.0740333
madarasip@6
    35
1022	0.0737667
madarasip@6
    36
1046	0.0933667
madarasip@6
    37
1049	0.0832667
madarasip@6
    38
1060	0.0884778
madarasip@6
    39
1073	0.1008
madarasip@6
    40
1076	0.114533
madarasip@6
    41
1097	0.117067
madarasip@6
    42
1140	1.0074
madarasip@6
    43
1156	0.0868
madarasip@6
    44
1183	0.0838333
madarasip@6
    45
1192	0.0865333
madarasip@6
    46
1202	0.0854333
madarasip@6
    47
1227	0.1263
madarasip@6
    48
1271	0.0854333
madarasip@6
    49
1300	0.0879333
madarasip@6
    50
1304	0.133133
madarasip@6
    51
1312	0.0919667
madarasip@6
    52
1356	0.0867
madarasip@6
    53
1494	0.1092
madarasip@6
    54
1502	0.08525
madarasip@6
    55
1559	0.595533
madarasip@6
    56
1568	0.230567
madarasip@6
    57
1576	0.0967333
madarasip@6
    58
1605	0.0972333
madarasip@6
    59
1608	0.0974
madarasip@6
    60
1625	0.0895333
madarasip@6
    61
1632	0.0986333
madarasip@6
    62
1635	0.0979333
madarasip@6
    63
1648	0.0883556
madarasip@6
    64
1674	0.1
madarasip@6
    65
1684	0.0908
madarasip@6
    66
1732	0.0973667
madarasip@6
    67
1744	0.1009
madarasip@6
    68
1750	0.0980667
madarasip@6
    69
1754	0.095
madarasip@6
    70
1764	0.1
madarasip@6
    71
1775	0.0879667
madarasip@6
    72
1826	0.0873
madarasip@6
    73
1844	0.7238
madarasip@6
    74
1886	0.0922667
madarasip@6
    75
1930	0.1058
madarasip@6
    76
1938	0.105067
madarasip@6
    77
1948	0.103767
madarasip@6
    78
1995	0.0980333
madarasip@6
    79
2000	0.1893
madarasip@6
    80
2020	0.100133
madarasip@6
    81
2044	0.0978
madarasip@6
    82
2086	0.103256
madarasip@6
    83
2115	0.101667
madarasip@6
    84
2123	0.1041
madarasip@6
    85
2126	0.126167
madarasip@6
    86
2138	0.104367
madarasip@6
    87
2168	0.490667
madarasip@6
    88
2190	0.109267
madarasip@6
    89
2222	0.109533
madarasip@6
    90
2250	0.10705
madarasip@6
    91
2298	0.1106
madarasip@6
    92
2314	0.103533
madarasip@6
    93
2316	0.103667
madarasip@6
    94
2325	0.118433
madarasip@6
    95
2327	0.363183
madarasip@6
    96
2329	0.1074
madarasip@6
    97
2344	0.365367
madarasip@6
    98
2348	0.123083
madarasip@6
    99
2355	0.133833
madarasip@6
   100
2379	0.104867
madarasip@6
   101
2383	0.185367
madarasip@6
   102
2413	0.111433
madarasip@6
   103
2423	0.109167
madarasip@6
   104
2464	0.106667
madarasip@6
   105
2466	0.1101
madarasip@6
   106
2512	0.1128
madarasip@6
   107
2546	0.476367
madarasip@6
   108
2553	0.107767
madarasip@6
   109
2593	0.3861
madarasip@6
   110
2604	0.111133
madarasip@6
   111
2605	0.387467
madarasip@6
   112
2607	0.251383
madarasip@6
   113
2610	0.113017
madarasip@6
   114
2611	0.113067
madarasip@6
   115
2612	0.3995
madarasip@6
   116
2613	0.110733
madarasip@6
   117
2616	0.1197
madarasip@6
   118
2620	0.113933
madarasip@6
   119
2622	0.1108
madarasip@6
   120
2625	0.115667
madarasip@6
   121
2648	0.1118
madarasip@6
   122
2651	0.116133
madarasip@6
   123
2716	0.110133
madarasip@6
   124
2733	0.11095
madarasip@6
   125
2775	0.1076
madarasip@6
   126
2812	0.120967
madarasip@6
   127
2838	0.112567
madarasip@6
   128
2857	0.119233
madarasip@6
   129
2872	0.125167
madarasip@6
   130
2887	0.126333
madarasip@6
   131
2916	0.119
madarasip@6
   132
2920	0.123233
madarasip@6
   133
2928	0.111367
madarasip@6
   134
2949	0.1141
madarasip@6
   135
2966	0.1268
madarasip@6
   136
2977	0.1286
madarasip@6
   137
2991	0.227967
madarasip@6
   138
3104	0.124844
madarasip@6
   139
3130	0.128633
madarasip@6
   140
3131	0.126
madarasip@6
   141
3134	0.138333
madarasip@6
   142
3135	0.122267
madarasip@6
   143
3172	0.1801
madarasip@6
   144
3182	0.122267
madarasip@6
   145
3209	0.138467
madarasip@6
   146
3243	0.131233
madarasip@6
   147
3255	0.140233
madarasip@6
   148
3310	0.1214
madarasip@6
   149
3366	0.1432
madarasip@6
   150
3429	0.134233
madarasip@6
   151
3459	0.1301
madarasip@6
   152
3469	0.127533
madarasip@6
   153
3483	0.130533
madarasip@6
   154
3497	0.226567
madarasip@6
   155
3502	1.11327
madarasip@6
   156
3505	0.229333
madarasip@6
   157
3515	1.12097
madarasip@6
   158
3517	0.137533
madarasip@6
   159
3522	0.1236
madarasip@6
   160
3523	0.411933
madarasip@6
   161
3526	0.228167
madarasip@6
   162
3529	1.128
madarasip@6
   163
3560	0.1289
madarasip@6
   164
3563	1.17327
madarasip@6
   165
3566	0.2264
madarasip@6
   166
3574	1.14415
madarasip@6
   167
3582	0.4183
madarasip@6
   168
3584	1.07103
madarasip@6
   169
3618	0.146167
madarasip@6
   170
3619	1.09457
madarasip@6
   171
3623	0.135133
madarasip@6
   172
3703	0.128733
madarasip@6
   173
3711	0.155833
madarasip@6
   174
3819	0.159833
madarasip@6
   175
3829	0.234567
madarasip@6
   176
3839	0.142033
madarasip@6
   177
3870	0.142267
madarasip@6
   178
3906	0.155067
madarasip@6
   179
4025	0.142733
madarasip@6
   180
4083	0.155233
madarasip@6
   181
4156	0.138967
madarasip@6
   182
4194	0.135233
madarasip@6
   183
4220	0.149233
madarasip@6
   184
4244	0.142567
madarasip@6
   185
4283	0.141317
madarasip@6
   186
4353	0.132833
madarasip@6
   187
4382	0.1522
madarasip@6
   188
4389	0.803933
madarasip@6
   189
4421	0.1559
madarasip@6
   190
4446	0.305633
madarasip@6
   191
4521	0.8279
madarasip@6
   192
4531	0.1644
madarasip@6
   193
4532	0.164089
madarasip@6
   194
4568	0.155233
madarasip@6
   195
4573	0.176167
madarasip@6
   196
4582	0.1539
madarasip@6
   197
4604	0.155633
madarasip@6
   198
4629	0.156344
madarasip@6
   199
4710	0.178967
madarasip@6
   200
4713	0.1763
madarasip@6
   201
4797	0.1533
madarasip@6
   202
4879	0.159833
madarasip@6
   203
4970	0.151167
madarasip@6
   204
5059	0.171283
madarasip@6
   205
5126	0.168867
madarasip@6
   206
5241	0.160033
madarasip@6
   207
5254	0.194133
madarasip@6
   208
5271	0.1769
madarasip@6
   209
5318	0.190633
madarasip@6
   210
5346	0.14875
madarasip@6
   211
5455	0.1685
madarasip@6
   212
5492	0.204033
madarasip@6
   213
5608	0.1702
madarasip@6
   214
5735	0.182967
madarasip@6
   215
5775	0.1885
madarasip@6
   216
5777	0.186167
madarasip@6
   217
5795	0.189867
madarasip@6
   218
5845	0.179483
madarasip@6
   219
5859	0.6167
madarasip@6
   220
5877	0.2003
madarasip@6
   221
5945	0.185267
madarasip@6
   222
5974	0.185267
madarasip@6
   223
5976	0.1868
madarasip@6
   224
5983	0.187333
madarasip@6
   225
6261	0.207417
madarasip@6
   226
6606	0.233633
madarasip@6
   227
6713	0.176
madarasip@6
   228
6778	0.1691
madarasip@6
   229
6883	0.201567
madarasip@6
   230
7349	0.2288
madarasip@6
   231
7453	0.211967
madarasip@6
   232
9114	0.253267
madarasip@6
   233
9174	0.2523
madarasip@6
   234
10081	0.265