VF2PPLabel/Proteins.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
     1 535	9.58556e-05
     2 554	9.565e-05
     3 571	0.000100086
     4 614	0.000106943
     5 634	0.000109544
     6 636	9.65056e-05
     7 639	0.000115294
     8 730	0.000132028
     9 731	0.0001067
    10 734	0.000129933
    11 735	0.000127461
    12 737	0.000134717
    13 755	0.000130183
    14 760	0.000119439
    15 788	0.000132509
    16 794	0.000137249
    17 795	0.000134933
    18 802	0.0001389
    19 816	0.000123478
    20 819	0.000145306
    21 831	0.000138894
    22 833	0.000145033
    23 838	0.000128128
    24 858	0.00013925
    25 861	0.000148417
    26 874	0.000140556
    27 877	0.000140472
    28 879	0.000132017
    29 886	0.0001496
    30 899	0.000132539
    31 957	0.000158272
    32 982	0.000157672
    33 995	0.00016415
    34 1019	0.000159878
    35 1022	0.000165622
    36 1046	0.000174446
    37 1049	0.00017755
    38 1060	0.000177087
    39 1073	0.000189439
    40 1076	0.000157289
    41 1097	0.000154622
    42 1140	0.000342544
    43 1156	0.000194183
    44 1183	0.000188633
    45 1192	0.000191206
    46 1202	0.000197561
    47 1227	0.000179806
    48 1271	0.000199728
    49 1300	0.000221191
    50 1304	0.000183039
    51 1312	0.000211944
    52 1356	0.000223128
    53 1494	0.000254344
    54 1502	0.000241075
    55 1559	0.000332978
    56 1568	0.00026595
    57 1576	0.000257939
    58 1605	0.000247956
    59 1608	0.000247194
    60 1625	0.000255711
    61 1632	0.000260872
    62 1635	0.000264289
    63 1648	0.000259274
    64 1674	0.000257756
    65 1684	0.000261233
    66 1732	0.000269794
    67 1744	0.000275539
    68 1750	0.000276417
    69 1754	0.000264844
    70 1764	0.000285461
    71 1775	0.000274856
    72 1826	0.0002712
    73 1844	0.000414494
    74 1886	0.000285383
    75 1930	0.000307172
    76 1938	0.000296939
    77 1948	0.000302283
    78 1995	0.000319689
    79 2000	0.000289956
    80 2020	0.000322289
    81 2044	0.000328094
    82 2086	0.000320339
    83 2115	0.000337778
    84 2123	0.000331583
    85 2126	0.000339417
    86 2138	0.000328233
    87 2168	0.000396306
    88 2190	0.000339706
    89 2222	0.000340961
    90 2250	0.000350717
    91 2298	0.000369361
    92 2314	0.000353772
    93 2316	0.000354733
    94 2325	0.000363783
    95 2327	0.000410672
    96 2329	0.000352111
    97 2344	0.000411256
    98 2348	0.000379489
    99 2355	0.000388006
   100 2379	0.000358767
   101 2383	0.000323556
   102 2413	0.000373867
   103 2423	0.000384528
   104 2464	0.000373228
   105 2466	0.000377283
   106 2512	0.000384844
   107 2546	0.000443978
   108 2553	0.000399417
   109 2593	0.000453856
   110 2604	0.000393128
   111 2605	0.000461556
   112 2607	0.000427064
   113 2610	0.000393758
   114 2611	0.000394072
   115 2612	0.000458389
   116 2613	0.000393467
   117 2616	0.000417233
   118 2620	0.000394328
   119 2622	0.000396033
   120 2625	0.000399433
   121 2648	0.000414017
   122 2651	0.000395017
   123 2716	0.000415144
   124 2733	0.000419967
   125 2775	0.000429494
   126 2812	0.000444978
   127 2838	0.000427656
   128 2857	0.000445889
   129 2872	0.000448339
   130 2887	0.000435483
   131 2916	0.000450444
   132 2920	0.000457106
   133 2928	0.000455828
   134 2949	0.000455867
   135 2966	0.000456128
   136 2977	0.000448139
   137 2991	0.000407322
   138 3104	0.000478241
   139 3130	0.000495161
   140 3131	0.000492283
   141 3134	0.000504728
   142 3135	0.000482261
   143 3172	0.000462942
   144 3182	0.000480194
   145 3209	0.000505178
   146 3243	0.000514372
   147 3255	0.000496222
   148 3310	0.00049595
   149 3366	0.000542667
   150 3429	0.000535161
   151 3459	0.000538883
   152 3469	0.000528239
   153 3483	0.00054982
   154 3497	0.00055715
   155 3502	0.000716122
   156 3505	0.000560344
   157 3515	0.0007098
   158 3517	0.000561667
   159 3522	0.000540089
   160 3523	0.000592922
   161 3526	0.00056265
   162 3529	0.000716017
   163 3560	0.000548422
   164 3563	0.000729783
   165 3566	0.000570244
   166 3574	0.000727889
   167 3582	0.000606689
   168 3584	0.000723772
   169 3618	0.000553861
   170 3619	0.000721761
   171 3623	0.000561572
   172 3703	0.000563156
   173 3711	0.000595328
   174 3819	0.000581883
   175 3829	0.000584019
   176 3839	0.000579811
   177 3870	0.000582706
   178 3906	0.000600822
   179 4025	0.00060425
   180 4083	0.000641078
   181 4156	0.00062095
   182 4194	0.000633206
   183 4220	0.000649494
   184 4244	0.000632144
   185 4283	0.000641242
   186 4353	0.000637117
   187 4382	0.000673078
   188 4389	0.000781656
   189 4421	0.0006843
   190 4446	0.000598433
   191 4521	0.000803478
   192 4531	0.000687344
   193 4532	0.000685424
   194 4568	0.000671833
   195 4573	0.000700161
   196 4582	0.00070765
   197 4604	0.000707317
   198 4629	0.000715979
   199 4710	0.00074785
   200 4713	0.000745331
   201 4797	0.000714756
   202 4879	0.000739133
   203 4970	0.000761594
   204 5059	0.000782244
   205 5126	0.000773683
   206 5241	0.000786272
   207 5254	0.000797833
   208 5271	0.000821133
   209 5318	0.000806622
   210 5346	0.000808864
   211 5455	0.000836194
   212 5492	0.000859256
   213 5608	0.000851289
   214 5735	0.000868944
   215 5775	0.000899067
   216 5777	0.000899172
   217 5795	0.000895144
   218 5845	0.000874161
   219 5859	0.000964261
   220 5877	0.00091312
   221 5945	0.000910194
   222 5974	0.000904886
   223 5976	0.000907439
   224 5983	0.000909833
   225 6261	0.000970569
   226 6606	0.00101129
   227 6713	0.00102107
   228 6778	0.000996328
   229 6883	0.00103448
   230 7349	0.00112629
   231 7453	0.00109389
   232 9114	0.00139614
   233 9174	0.00136449
   234 10081	0.00148714