proteinsOrig.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.00933
alpar@2
     2
554	0.0048426
alpar@2
     3
571	0.0101438
alpar@2
     4
614	0.0160244
alpar@2
     5
634	0.0055254
alpar@2
     6
636	0.0055176
alpar@2
     7
639	0.0055298
alpar@2
     8
730	0.0062686
alpar@2
     9
731	0.0062006
alpar@2
    10
734	0.006399
alpar@2
    11
735	0.006201
alpar@2
    12
737	0.0127362
alpar@2
    13
755	0.0064454
alpar@2
    14
760	0.0064492
alpar@2
    15
788	0.0402688
alpar@2
    16
794	0.0271848
alpar@2
    17
795	0.0066826
alpar@2
    18
802	0.0068094
alpar@2
    19
816	0.0068848
alpar@2
    20
819	0.0069766
alpar@2
    21
831	0.0069608
alpar@2
    22
833	0.0070578
alpar@2
    23
838	0.0070424
alpar@2
    24
858	0.0071302
alpar@2
    25
861	0.007289
alpar@2
    26
874	0.0072476
alpar@2
    27
877	0.0072588
alpar@2
    28
879	0.0073866
alpar@2
    29
886	0.0075584
alpar@2
    30
899	0.0075456
alpar@2
    31
957	0.0078766
alpar@2
    32
982	0.008093
alpar@2
    33
995	0.0082604
alpar@2
    34
1019	0.0083024
alpar@2
    35
1022	0.0084154
alpar@2
    36
1046	0.0260838
alpar@2
    37
1049	0.00862
alpar@2
    38
1060	0.0263476
alpar@2
    39
1073	0.0089944
alpar@2
    40
1076	0.0088408
alpar@2
    41
1097	0.009004
alpar@2
    42
1140	0.011927
alpar@2
    43
1156	0.0094506
alpar@2
    44
1183	0.0096988
alpar@2
    45
1192	0.0097022
alpar@2
    46
1202	0.0196014
alpar@2
    47
1227	0.009995
alpar@2
    48
1271	0.0103726
alpar@2
    49
1300	0.031792
alpar@2
    50
1304	0.0106004
alpar@2
    51
1312	0.0107224
alpar@2
    52
1356	0.010955
alpar@2
    53
1494	0.0122148
alpar@2
    54
1502	0.0240034
alpar@2
    55
1559	0.0146244
alpar@2
    56
1568	0.0126524
alpar@2
    57
1576	0.0127062
alpar@2
    58
1605	0.0130618
alpar@2
    59
1608	0.0129284
alpar@2
    60
1625	0.0131026
alpar@2
    61
1632	0.0132112
alpar@2
    62
1635	0.0132376
alpar@2
    63
1648	0.0393914
alpar@2
    64
1674	0.01357
alpar@2
    65
1684	0.040418
alpar@2
    66
1732	0.013806
alpar@2
    67
1744	0.0139638
alpar@2
    68
1750	0.0141246
alpar@2
    69
1754	0.0140028
alpar@2
    70
1764	0.0141012
alpar@2
    71
1775	0.0140804
alpar@2
    72
1826	0.0143854
alpar@2
    73
1844	0.0169686
alpar@2
    74
1886	0.0148972
alpar@2
    75
1930	0.0155738
alpar@2
    76
1938	0.0154866
alpar@2
    77
1948	0.0156868
alpar@2
    78
1995	0.0158374
alpar@2
    79
2000	0.0161844
alpar@2
    80
2020	0.0160882
alpar@2
    81
2044	0.0163024
alpar@2
    82
2086	0.0500254
alpar@2
    83
2115	0.0335898
alpar@2
    84
2123	0.016785
alpar@2
    85
2126	0.0171256
alpar@2
    86
2138	0.017006
alpar@2
    87
2168	0.0187934
alpar@2
    88
2190	0.0174834
alpar@2
    89
2222	0.0175936
alpar@2
    90
2250	0.035681
alpar@2
    91
2298	0.0183318
alpar@2
    92
2314	0.0182116
alpar@2
    93
2316	0.0183132
alpar@2
    94
2325	0.0188066
alpar@2
    95
2327	0.0415436
alpar@2
    96
2329	0.0185322
alpar@2
    97
2344	0.0210168
alpar@2
    98
2348	0.0375368
alpar@2
    99
2355	0.0189582
alpar@2
   100
2379	0.0186914
alpar@2
   101
2383	0.0189134
alpar@2
   102
2413	0.0190806
alpar@2
   103
2423	0.0190378
alpar@2
   104
2464	0.0193094
alpar@2
   105
2466	0.0193746
alpar@2
   106
2512	0.0200688
alpar@2
   107
2546	0.0212194
alpar@2
   108
2553	0.0200294
alpar@2
   109
2593	0.0205548
alpar@2
   110
2604	0.020481
alpar@2
   111
2605	0.0206952
alpar@2
   112
2607	0.0413156
alpar@2
   113
2610	0.0413662
alpar@2
   114
2611	0.020519
alpar@2
   115
2612	0.0207798
alpar@2
   116
2613	0.0205942
alpar@2
   117
2616	0.020616
alpar@2
   118
2620	0.0206024
alpar@2
   119
2622	0.0208306
alpar@2
   120
2625	0.0206588
alpar@2
   121
2648	0.0207112
alpar@2
   122
2651	0.020809
alpar@2
   123
2716	0.0214544
alpar@2
   124
2733	0.0429016
alpar@2
   125
2775	0.0218256
alpar@2
   126
2812	0.022073
alpar@2
   127
2838	0.0223354
alpar@2
   128
2857	0.0224582
alpar@2
   129
2872	0.022702
alpar@2
   130
2887	0.0226996
alpar@2
   131
2916	0.023026
alpar@2
   132
2920	0.0230596
alpar@2
   133
2928	0.0229554
alpar@2
   134
2949	0.0230266
alpar@2
   135
2966	0.0236646
alpar@2
   136
2977	0.0233996
alpar@2
   137
2991	0.023805
alpar@2
   138
3104	0.0729416
alpar@2
   139
3130	0.0245946
alpar@2
   140
3131	0.0247104
alpar@2
   141
3134	0.0247662
alpar@2
   142
3135	0.024655
alpar@2
   143
3172	0.0496846
alpar@2
   144
3182	0.0249804
alpar@2
   145
3209	0.0254436
alpar@2
   146
3243	0.0256234
alpar@2
   147
3255	0.02566
alpar@2
   148
3310	0.02578
alpar@2
   149
3366	0.0530752
alpar@2
   150
3429	0.0268696
alpar@2
   151
3459	0.0270434
alpar@2
   152
3469	0.0272324
alpar@2
   153
3483	0.0818254
alpar@2
   154
3497	0.027448
alpar@2
   155
3502	0.0301076
alpar@2
   156
3505	0.0274052
alpar@2
   157
3515	0.0305398
alpar@2
   158
3517	0.027646
alpar@2
   159
3522	0.0275168
alpar@2
   160
3523	0.0278608
alpar@2
   161
3526	0.0275568
alpar@2
   162
3529	0.0300194
alpar@2
   163
3560	0.0278486
alpar@2
   164
3563	0.0305282
alpar@2
   165
3566	0.0279604
alpar@2
   166
3574	0.061117
alpar@2
   167
3582	0.028011
alpar@2
   168
3584	0.0307634
alpar@2
   169
3618	0.0284038
alpar@2
   170
3619	0.030887
alpar@2
   171
3623	0.0285192
alpar@2
   172
3703	0.0291152
alpar@2
   173
3711	0.0294168
alpar@2
   174
3819	0.0300598
alpar@2
   175
3829	0.0602938
alpar@2
   176
3839	0.02996
alpar@2
   177
3870	0.0301306
alpar@2
   178
3906	0.0307346
alpar@2
   179
4025	0.0314486
alpar@2
   180
4083	0.0319468
alpar@2
   181
4156	0.0325752
alpar@2
   182
4194	0.0650586
alpar@2
   183
4220	0.0657286
alpar@2
   184
4244	0.0663086
alpar@2
   185
4283	0.0669852
alpar@2
   186
4353	0.033708
alpar@2
   187
4382	0.034609
alpar@2
   188
4389	0.037257
alpar@2
   189
4421	0.0346708
alpar@2
   190
4446	0.0344042
alpar@2
   191
4521	0.038212
alpar@2
   192
4531	0.0357212
alpar@2
   193
4532	0.105859
alpar@2
   194
4568	0.0354522
alpar@2
   195
4573	0.0356558
alpar@2
   196
4582	0.0359722
alpar@2
   197
4604	0.0358566
alpar@2
   198
4629	0.216298
alpar@2
   199
4710	0.0372214
alpar@2
   200
4713	0.0735056
alpar@2
   201
4797	0.0371454
alpar@2
   202
4879	0.0380788
alpar@2
   203
4970	0.0386252
alpar@2
   204
5059	0.078794
alpar@2
   205
5126	0.0398446
alpar@2
   206
5241	0.0407118
alpar@2
   207
5254	0.040868
alpar@2
   208
5271	0.0409336
alpar@2
   209
5318	0.0417448
alpar@2
   210
5346	0.0827414
alpar@2
   211
5455	0.0422882
alpar@2
   212
5492	0.0428714
alpar@2
   213
5608	0.0433644
alpar@2
   214
5735	0.0444986
alpar@2
   215
5775	0.0451754
alpar@2
   216
5777	0.0449896
alpar@2
   217
5795	0.0450432
alpar@2
   218
5845	0.0906458
alpar@2
   219
5859	0.046418
alpar@2
   220
5877	0.137908
alpar@2
   221
5945	0.0463896
alpar@2
   222
5974	0.277901
alpar@2
   223
5976	0.0462824
alpar@2
   224
5983	0.046494
alpar@2
   225
6261	0.09819
alpar@2
   226
6606	0.0518274
alpar@2
   227
6713	0.0518206
alpar@2
   228
6778	0.0520364
alpar@2
   229
6883	0.0540192
alpar@2
   230
7349	0.114335
alpar@2
   231
7453	0.0580826
alpar@2
   232
9114	0.0703468
alpar@2
   233
9174	0.0713082
alpar@2
   234
10081	0.077456