VF2PPLabel/Proteins.64.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.117333
madarasip@6
     2
554	0.1213
madarasip@6
     3
571	0.114
madarasip@6
     4
614	0.141578
madarasip@6
     5
634	0.1208
madarasip@6
     6
636	0.0847667
madarasip@6
     7
639	0.132533
madarasip@6
     8
730	0.168067
madarasip@6
     9
731	0.100233
madarasip@6
    10
734	0.1423
madarasip@6
    11
735	0.1423
madarasip@6
    12
737	0.150517
madarasip@6
    13
755	0.148033
madarasip@6
    14
760	0.138133
madarasip@6
    15
788	0.1567
madarasip@6
    16
794	0.153975
madarasip@6
    17
795	0.1551
madarasip@6
    18
802	0.183267
madarasip@6
    19
816	0.114
madarasip@6
    20
819	0.1594
madarasip@6
    21
831	0.160567
madarasip@6
    22
833	0.164767
madarasip@6
    23
838	0.117667
madarasip@6
    24
858	0.166167
madarasip@6
    25
861	0.168833
madarasip@6
    26
874	0.168067
madarasip@6
    27
877	0.1661
madarasip@6
    28
879	0.117767
madarasip@6
    29
886	0.1726
madarasip@6
    30
899	0.1245
madarasip@6
    31
957	0.191667
madarasip@6
    32
982	0.185233
madarasip@6
    33
995	0.1903
madarasip@6
    34
1019	0.191567
madarasip@6
    35
1022	0.2069
madarasip@6
    36
1046	0.199344
madarasip@6
    37
1049	0.210567
madarasip@6
    38
1060	0.2039
madarasip@6
    39
1073	0.205333
madarasip@6
    40
1076	0.1449
madarasip@6
    41
1097	0.140733
madarasip@6
    42
1140	0.206167
madarasip@6
    43
1156	0.234167
madarasip@6
    44
1183	0.2296
madarasip@6
    45
1192	0.223733
madarasip@6
    46
1202	0.23
madarasip@6
    47
1227	0.1732
madarasip@6
    48
1271	0.235467
madarasip@6
    49
1300	0.251022
madarasip@6
    50
1304	0.1666
madarasip@6
    51
1312	0.244267
madarasip@6
    52
1356	0.265167
madarasip@6
    53
1494	0.3025
madarasip@6
    54
1502	0.299417
madarasip@6
    55
1559	0.282667
madarasip@6
    56
1568	0.278233
madarasip@6
    57
1576	0.307467
madarasip@6
    58
1605	0.301633
madarasip@6
    59
1608	0.301667
madarasip@6
    60
1625	0.305233
madarasip@6
    61
1632	0.307367
madarasip@6
    62
1635	0.308633
madarasip@6
    63
1648	0.308433
madarasip@6
    64
1674	0.308233
madarasip@6
    65
1684	0.307356
madarasip@6
    66
1732	0.3073
madarasip@6
    67
1744	0.33
madarasip@6
    68
1750	0.330433
madarasip@6
    69
1754	0.3196
madarasip@6
    70
1764	0.339867
madarasip@6
    71
1775	0.340367
madarasip@6
    72
1826	0.326667
madarasip@6
    73
1844	0.359233
madarasip@6
    74
1886	0.339033
madarasip@6
    75
1930	0.371767
madarasip@6
    76
1938	0.350167
madarasip@6
    77
1948	0.355167
madarasip@6
    78
1995	0.393633
madarasip@6
    79
2000	0.259
madarasip@6
    80
2020	0.380233
madarasip@6
    81
2044	0.408967
madarasip@6
    82
2086	0.384033
madarasip@6
    83
2115	0.41785
madarasip@6
    84
2123	0.397667
madarasip@6
    85
2126	0.387667
madarasip@6
    86
2138	0.3881
madarasip@6
    87
2168	0.3641
madarasip@6
    88
2190	0.394233
madarasip@6
    89
2222	0.403833
madarasip@6
    90
2250	0.419683
madarasip@6
    91
2298	0.443733
madarasip@6
    92
2314	0.421833
madarasip@6
    93
2316	0.423033
madarasip@6
    94
2325	0.4342
madarasip@6
    95
2327	0.439067
madarasip@6
    96
2329	0.421133
madarasip@6
    97
2344	0.437633
madarasip@6
    98
2348	0.445233
madarasip@6
    99
2355	0.4439
madarasip@6
   100
2379	0.433567
madarasip@6
   101
2383	0.306667
madarasip@6
   102
2413	0.445333
madarasip@6
   103
2423	0.4776
madarasip@6
   104
2464	0.455233
madarasip@6
   105
2466	0.4502
madarasip@6
   106
2512	0.461833
madarasip@6
   107
2546	0.441467
madarasip@6
   108
2553	0.475067
madarasip@6
   109
2593	0.491033
madarasip@6
   110
2604	0.486267
madarasip@6
   111
2605	0.4916
madarasip@6
   112
2607	0.4865
madarasip@6
   113
2610	0.476967
madarasip@6
   114
2611	0.480033
madarasip@6
   115
2612	0.493033
madarasip@6
   116
2613	0.4802
madarasip@6
   117
2616	0.5062
madarasip@6
   118
2620	0.488
madarasip@6
   119
2622	0.4888
madarasip@6
   120
2625	0.485467
madarasip@6
   121
2648	0.491667
madarasip@6
   122
2651	0.466933
madarasip@6
   123
2716	0.509567
madarasip@6
   124
2733	0.510467
madarasip@6
   125
2775	0.522933
madarasip@6
   126
2812	0.539367
madarasip@6
   127
2838	0.525067
madarasip@6
   128
2857	0.519467
madarasip@6
   129
2872	0.541867
madarasip@6
   130
2887	0.511067
madarasip@6
   131
2916	0.5457
madarasip@6
   132
2920	0.548667
madarasip@6
   133
2928	0.5684
madarasip@6
   134
2949	0.539533
madarasip@6
   135
2966	0.5467
madarasip@6
   136
2977	0.5317
madarasip@6
   137
2991	0.388967
madarasip@6
   138
3104	0.589767
madarasip@6
   139
3130	0.6057
madarasip@6
   140
3131	0.597967
madarasip@6
   141
3134	0.605433
madarasip@6
   142
3135	0.580967
madarasip@6
   143
3172	0.5073
madarasip@6
   144
3182	0.577867
madarasip@6
   145
3209	0.613267
madarasip@6
   146
3243	0.630933
madarasip@6
   147
3255	0.575133
madarasip@6
   148
3310	0.612333
madarasip@6
   149
3366	0.651867
madarasip@6
   150
3429	0.655367
madarasip@6
   151
3459	0.6529
madarasip@6
   152
3469	0.633133
madarasip@6
   153
3483	0.646211
madarasip@6
   154
3497	0.650767
madarasip@6
   155
3502	0.6543
madarasip@6
   156
3505	0.658967
madarasip@6
   157
3515	0.655967
madarasip@6
   158
3517	0.682667
madarasip@6
   159
3522	0.661033
madarasip@6
   160
3523	0.659
madarasip@6
   161
3526	0.661033
madarasip@6
   162
3529	0.6588
madarasip@6
   163
3560	0.6631
madarasip@6
   164
3563	0.667
madarasip@6
   165
3566	0.664067
madarasip@6
   166
3574	0.670617
madarasip@6
   167
3582	0.668967
madarasip@6
   168
3584	0.676233
madarasip@6
   169
3618	0.6659
madarasip@6
   170
3619	0.679367
madarasip@6
   171
3623	0.6809
madarasip@6
   172
3703	0.668767
madarasip@6
   173
3711	0.710867
madarasip@6
   174
3819	0.6906
madarasip@6
   175
3829	0.694683
madarasip@6
   176
3839	0.672667
madarasip@6
   177
3870	0.7139
madarasip@6
   178
3906	0.7042
madarasip@6
   179
4025	0.7198
madarasip@6
   180
4083	0.767433
madarasip@6
   181
4156	0.757467
madarasip@6
   182
4194	0.792583
madarasip@6
   183
4220	0.775467
madarasip@6
   184
4244	0.76155
madarasip@6
   185
4283	0.7854
madarasip@6
   186
4353	0.768533
madarasip@6
   187
4382	0.8002
madarasip@6
   188
4389	0.817433
madarasip@6
   189
4421	0.829533
madarasip@6
   190
4446	0.5717
madarasip@6
   191
4521	0.838067
madarasip@6
   192
4531	0.813167
madarasip@6
   193
4532	0.8183
madarasip@6
   194
4568	0.817367
madarasip@6
   195
4573	0.830333
madarasip@6
   196
4582	0.856367
madarasip@6
   197
4604	0.8874
madarasip@6
   198
4629	0.8733
madarasip@6
   199
4710	0.8782
madarasip@6
   200
4713	0.88425
madarasip@6
   201
4797	0.8682
madarasip@6
   202
4879	0.8926
madarasip@6
   203
4970	0.908333
madarasip@6
   204
5059	0.930383
madarasip@6
   205
5126	0.938733
madarasip@6
   206
5241	0.9232
madarasip@6
   207
5254	0.931767
madarasip@6
   208
5271	1.0049
madarasip@6
   209
5318	0.963467
madarasip@6
   210
5346	0.983183
madarasip@6
   211
5455	1.03333
madarasip@6
   212
5492	1.01877
madarasip@6
   213
5608	1.0597
madarasip@6
   214
5735	1.05683
madarasip@6
   215
5775	1.07187
madarasip@6
   216
5777	1.0773
madarasip@6
   217
5795	1.09757
madarasip@6
   218
5845	1.06715
madarasip@6
   219
5859	1.05233
madarasip@6
   220
5877	1.10997
madarasip@6
   221
5945	1.10477
madarasip@6
   222
5974	1.08771
madarasip@6
   223
5976	1.0955
madarasip@6
   224
5983	1.1075
madarasip@6
   225
6261	1.18185
madarasip@6
   226
6606	1.2256
madarasip@6
   227
6713	1.2221
madarasip@6
   228
6778	1.2043
madarasip@6
   229
6883	1.23473
madarasip@6
   230
7349	1.35855
madarasip@6
   231
7453	1.32557
madarasip@6
   232
9114	1.6787
madarasip@6
   233
9174	1.61763
madarasip@6
   234
10081	1.7861