; ATP system name : SNARK (version 20080805r004) ; TPTP version : 3.5.0 ; CPU : Mac Pro with two 2.8GHz 4-core Xeon processors ; RAM size : 10GB ; Operating system : Mac OS X 10.5.4, SBCL 1.0.12 ; Units : Time seconds ; : Wffs number of wffs derived or input ; : Kept number of wffs kept ; : Given number of wffs given ; : Proof number of wffs in proof ; Settings/flags : tptp2X -ftptp ; defaults + ; (USE-HYPERRESOLUTION T) ; (USE-PARAMODULATION T) ; (USE-FACTORING :POS) ; (USE-LITERAL-ORDERING-WITH-HYPERRESOLUTION LITERAL-ORDERING-P) ; (USE-LITERAL-ORDERING-WITH-PARAMODULATION LITERAL-ORDERING-P) ; (ORDERING-FUNCTIONS>CONSTANTS T) ; (ASSERT-CONTEXT :CURRENT) ; (RUN-TIME-LIMIT ????) ; (USE-CLOSURE-WHEN-SATISFIABLE NIL) ; (PRINT-ROWS-WHEN-GIVEN NIL) ; (PRINT-ROWS-WHEN-DERIVED NIL) ; (PRINT-UNORIENTABLE-ROWS NIL) ; (PRINT-ROW-WFFS-PRETTILY NIL) ; (PRINT-FINAL-ROWS :TPTP) ; (USE-VARIABLE-NAME-SORTS NIL) ; Submitted by : Mark E. Stickel (stickel@ai.sri.com) ; Availability : contact author ; References : http://www.ai.sri.com/~stickel/snark.html ; an application is described in ; M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. ; Deductive composition of astronomical software from subroutine libraries. ; Proceedings of the Twelfth International Conference on Automated Deduction (CADE-12), ; Nancy, France, June 1994, 341-355. ; ; The result 'noinfer' indicates that all selected inferences have been performed ; without finding a proof. The strategy used is incomplete, so 'noinfer' does not ; always mean the clause set is satisfiable. ; ; The result 'aborted' indicates that the proof attempt was aborted ; for using too much memory or for using too much time between points at ; which time limit is checked automatically. ; ; The result 'notdone' indicates no proof was attempted at this time; ; the result probably would have been 'timeout' or 'aborted'. ; ; Commutative unification is used for commutative function and relation symbols. ; Associative-commutative unification is used for associative-commutative function ; symbols. Commutativity and associativity axioms in the problems are detected ; automatically. ; ; There is no serious effort to find models, but if the propositional abstraction ; of a problem is satisfiable, the existence of a model is reported. ; ; Results summary : 11395 problems (11395 in TPTP v3.5.0, ? since Bugfixed) ; CNF FOF ; 6346 5049 ; 4813 proofs 2933 1880 ; 344 models 231 113 ; 535 noinfer 259 276 ; 0 timeout 0 0 ; 0 aborted 0 0 ; 0 error 0 0 ; 5703 notdone 2923 2780 ; 5157 successes (proofs + models) 3164 1993 ; 45.3% success 49.9% 39.5% ; ; Problem Result Time Wffs Kept Given Proof (AGT001+1 P 1 0.1 630 630 1 3) (AGT001+2 P 1 0.2 997 960 1 3) (AGT002+1 P 1 0.1 630 630 1 3) (AGT002+2 P 1 0.2 997 960 1 3) (AGT003+1 P 1 0.9 18728 3827 752 12) (AGT003+2 P 1 0.8 20162 4220 943 6) (AGT004+1 P 1 0.8 18111 3777 703 9) (AGT004+2 P 1 0.3 1404 961 692 4) (AGT005+1 - noinfer 2.6 50746 9894 9571 ) (AGT005+2 P 1 0.8 20162 4220 943 6) (AGT006+1 - noinfer 2.5 50746 9894 9571 ) (AGT006+2 - noinfer 2.9 56364 10283 9904 ) (AGT007+1 - noinfer 2.5 50746 9894 9571 ) (AGT007+2 - noinfer 2.9 56364 10283 9904 ) (AGT008+1 - noinfer 2.6 50867 9897 9573 ) (AGT008+2 - noinfer 2.8 56461 10287 9906 ) (AGT009+1 - noinfer 2.6 50968 9886 9572 ) (AGT009+2 - noinfer 2.9 56627 10262 9905 ) (AGT010+1 - noinfer 2.5 50770 9900 9571 ) (AGT010+2 - noinfer 2.9 56389 10284 9904 ) (AGT011+1 - noinfer 2.5 50771 9900 9571 ) (AGT011+2 - noinfer 2.9 56390 10284 9904 ) (AGT012+1 - noinfer 2.5 50771 9900 9571 ) (AGT012+2 - noinfer 2.9 56390 10284 9904 ) (AGT013+1 - noinfer 2.5 50771 9900 9571 ) (AGT013+2 - noinfer 2.9 56390 10284 9904 ) (AGT014+1 P 1 0.9 18802 3727 593 9) (AGT014+2 P 1 0.2 1011 968 1 5) (AGT015+1 P 1 0.8 17668 3796 619 8) (AGT015+2 P 1 0.2 1065 960 1 3) (AGT016+1 - noinfer 2.6 53634 9901 9571 ) (AGT016+2 P 1 0.9 20189 4206 942 4) (AGT017+1 P 1 0.8 17917 3795 680 7) (AGT017+2 P 1 0.2 997 960 1 3) (AGT018+1 - noinfer 2.5 50761 9901 9570 ) (AGT018+2 - noinfer 2.9 56094 10274 9892 ) (AGT019+1 - noinfer 2.5 50761 9901 9570 ) (AGT019+2 - noinfer 2.9 56094 10274 9892 ) (AGT020+1 - noinfer 2.6 53592 9910 9558 ) (AGT020+2 - noinfer 2.9 58271 10254 9849 ) (AGT022+1 - noinfer 2.6 53592 9910 9558 ) (AGT022+2 - noinfer 2.9 58810 10275 9870 ) (AGT024+1 - noinfer 2.6 50772 9901 9570 ) (AGT024+2 - noinfer 2.9 56399 10285 9903 ) (AGT025+1 - noinfer 2.5 50772 9901 9570 ) (AGT025+2 - noinfer 2.9 56399 10285 9903 ) (AGT026+1 - noinfer 2.6 50772 9901 9570 ) (AGT026+2 - noinfer 2.9 56391 10284 9903 ) (ALG002-1 P 1 0.1 715 114 49 21) (ALG004-1 P 1 64 50401 5511 182 19) (ALG005-1 P 1 0.5 3076 381 42 46) (ALG006-1 P 1 0.2 1263 226 24 34) (ALG007-1 P 1 4.2 11807 1153 54 46) (ALG011-1 P 1 0.1 145 106 19 15) (ALG014+1 P 1 0.1 798 504 1 15) (ALG015+1 P 1 3.7 6156 2491 338 263) (ALG016+1 P 1 1.7 2758 1733 1 230) (ALG017+1 P 1 0.1 555 286 1 12) (ALG018+1 P 1 0.1 290 226 30 15) (ALG019+1 P 1 0.1 436 360 34 18) (ALG020+1 P 1 0.1 567 271 141 32) (ALG023+1 P 1 275 392889 14917 5799 144) (ALG025+1 P 1 0.2 607 564 1 18) (ALG028+1 P 1 0.2 625 555 1 22) (ALG029+1 P 1 0.3 1695 1298 44 17) (ALG030+1 P 1 3.0 22799 6325 144 18) (ALG031+1 P 1 0.2 1090 558 306 62) (ALG036+1 P 1 0.1 720 432 1 23) (ALG037+1 P 1 4.6 7771 3136 302 260) (ALG038+1 P 1 13 10806 7087 356 276) (ALG039+1 P 1 0.1 456 139 1 12) (ALG040+1 P 1 0.1 290 226 30 15) (ALG041+1 P 1 0.1 436 360 34 18) (ALG042+1 P 1 0.1 567 271 141 32) (ALG045+1 P 1 22 53642 4920 2442 99) (ALG046+1 P 1 53 92970 9412 2301 481) (ALG048+1 P 1 173 70717 15422 1192 535) (ALG049+1 P 1 183 106101 31100 1054 609) (ALG050+1 P 1 517 281128 36060 4540 858) (ALG054+1 P 1 0.3 2002 745 263 100) (ALG061+1 P 1 0.8 3482 1860 335 225) (ALG065+1 P 1 0.6 2958 1585 306 109) (ALG069+1 P 1 1.0 3404 3194 70 15) (ALG070+1 P 1 0.05 133 83 23 18) (ALG073+1 P 1 0.1 432 337 33 20) (ALG075+1 P 1 0.1 635 352 198 52) (ALG076+1 P 1 0.2 856 432 221 56) (ALG077+1 P 1 0.1 673 355 198 48) (ALG078+1 P 1 0.1 771 395 205 56) (ALG079+1 P 1 0.1 674 356 198 46) (ALG080+1 P 1 0.3 1773 697 279 90) (ALG081+1 P 1 0.1 675 357 198 49) (ALG082+1 P 1 0.1 673 355 198 53) (ALG083+1 P 1 0.1 674 356 198 51) (ALG084+1 P 1 0.1 964 458 211 55) (ALG085+1 P 1 0.1 675 357 198 51) (ALG086+1 P 1 0.1 883 432 209 51) (ALG087+1 P 1 0.1 754 388 216 62) (ALG088+1 P 1 0.1 635 352 198 48) (ALG089+1 P 1 0.1 867 431 209 44) (ALG097+1 P 1 566 529210 34129 7772 788) (ALG105+1 P 1 3.6 6615 2594 253 267) (ALG107+1 P 1 11 15985 6580 940 382) (ALG110+1 P 1 1.7 2590 1519 161 254) (ALG111+1 P 1 1.6 2482 1536 1 269) (ALG112+1 P 1 244 402521 27537 6347 827) (ALG113+1 P 1 3.1 4254 1350 1 160) (ALG114+1 P 1 1.5 2429 1414 1 261) (ALG116+1 P 1 150 251310 22975 5011 728) (ALG117+1 P 1 1.7 2499 1564 1 285) (ALG121+1 P 1 619 116905 107797 1 250) (ALG125+1 P 1 37 96691 10684 2385 488) (ALG130+1 P 1 1503 2147424 38939 12646 432) (ALG136+1 P 1 204 284129 16319 4657 507) (ALG138+1 P 1 0.2 1274 394 183 92) (ALG139+1 P 1 9.7 29030 3815 1461 244) (ALG142+1 P 1 169 228217 14191 3893 440) (ALG168+1 P 1 112 74408 14291 1 451) (ALG169+1 P 1 109 73027 12604 1 475) (ALG170+1 P 1 7.9 28631 7871 956 270) (ALG171+1 P 1 1.7 3920 2770 1 7) (ALG172+1 P 1 1.7 3388 2739 1 6) (ALG173+1 P 1 1.3 4043 2111 1 6) (ALG174+1 P 1 1.5 4154 2326 1 10) (ALG175+1 P 1 0.1 499 363 1 38) (ALG176+1 P 1 1.9 5034 4400 82 15) (ALG177+1 P 1 1.9 5034 4400 82 15) (ALG178+1 P 1 0.04 103 71 20 17) (ALG179+1 P 1 0.04 103 68 20 17) (ALG180+1 P 1 0.1 769 402 219 53) (ALG181+1 P 1 0.1 621 324 199 27) (ALG182+1 P 1 0.1 621 324 199 27) (ALG183+1 P 1 0.1 619 324 199 27) (ALG184+1 P 1 0.1 619 324 199 27) (ALG185+1 P 1 8.6 12174 4001 769 159) (ALG192+1 P 1 23 53299 9453 2766 311) (ALG193+1 P 1 37 75308 11816 3410 370) (ALG194+1 P 1 2.5 5890 4516 561 28) (ALG198+1 P 1 0.3 592 522 1 1) (ALG199+1 P 1 0.3 617 529 1 10) (ALG200+1 P 1 0.3 749 526 1 9) (ALG201+1 P 1 0.03 26 15 15 8) (ALG202+1 P 1 0.04 24 19 13 10) (ALG203+1 P 1 0.1 771 645 37 17) (ALG204+1 P 1 0.2 930 536 321 25) (ALG205+1 P 1 0.2 954 620 321 25) (ALG206+1 P 1 43 70263 6733 1210 39) (ALG210+2 P 1 64 66478 3715 251 131) (ALG211+1 P 1 0.04 43 36 26 17) (ALG214+1 P 1 1.4 5607 4257 1068 37) (ALG215+1 P 1 1.1 5119 4087 1032 40) (ALG219+1 P 1 0.2 458 432 213 42) (ALG220+1 P 1 5.8 1163 1076 480 48) (ALG223+1 P 1 132 558263 15670 5086 19) (ALG224+1 P 1 135 559624 15660 5083 19) (ALG227+1 P 1 0.05 114 81 50 10) (ANA006-1 M 1 0.02 14 0 0 ) (ANA006-2 M 1 0.02 26 0 0 ) (ANA007-1 P 1 17 40889 12515 3078 10) (ANA007-2 P 1 0.04 10 9 9 9) (ANA009-2 P 1 0.04 16 13 12 13) (ANA010-2 P 1 0.04 39 29 21 16) (ANA012-2 P 1 0.03 21 17 17 16) (ANA013-2 P 1 0.03 7 7 7 7) (ANA014-2 P 1 22 20937 5311 267 38) (ANA015-2 P 1 0.7 1244 696 38 23) (ANA016-2 P 1 0.04 20 18 16 17) (ANA017-2 P 1 0.8 1240 692 34 19) (ANA018-2 P 1 0.04 43 32 24 22) (ANA019-2 P 1 19 264994 6182 538 27) (ANA020-1 P 1 17 44104 12721 3136 22) (ANA020-2 P 1 0.04 31 24 20 22) (ANA021-2 P 1 0.04 9 8 8 8) (ANA022-2 P 1 170 381356 9887 838 61) (ANA023-1 P 1 680 20292838 18798 6921 29) (ANA023-2 P 1 0.04 25 22 21 21) (ANA024-2 P 1 0.03 14 13 12 13) (ANA025-2 P 1 0.05 101 61 25 23) (ANA026-2 P 1 4.8 8165 4884 168 87) (ANA027-1 P 1 678 20277400 18798 6920 29) (ANA027-2 P 1 0.04 27 24 23 23) (ANA028-2 P 1 0.4 1091 267 58 44) (ANA029-2 P 1 0.1 245 181 33 23) (ANA030-2 P 1 0.1 233 88 48 32) (ANA034-2 P 1 0.04 61 47 24 24) (ANA035-2 P 1 0.1 155 49 14 17) (ANA037-2 P 1 0.1 108 80 21 17) (ANA038-2 P 1 0.05 108 80 21 17) (ANA039-2 P 1 0.05 144 61 24 18) (ANA041-1 P 1 1.0 3077 2840 1 3) (ANA041-2 P 1 0.03 3 3 1 3) (ANA042-1 P 1 3.8 10245 6317 2111 3) (ANA042-2 P 1 0.03 3 3 3 3) (ANA043-2 P 1 0.1 177 47 21 17) (ANA044-2 P 1 0.04 46 36 16 13) (ANA045-1 P 1 17 40803 12512 3075 10) (ANA045-2 P 1 0.03 10 9 8 9) (BOO001-1 P 1 0.1 156 61 12 9) (BOO002-1 P 1 0.3 1155 340 30 15) (BOO002-2 P 1 0.4 1278 396 30 15) (BOO003-1 P 1 0.2 2987 101 19 11) (BOO003-2 P 1 0.1 193 54 17 13) (BOO003-4 P 1 0.1 191 51 17 13) (BOO004-1 P 1 0.3 7604 118 25 11) (BOO004-2 P 1 0.1 154 47 14 14) (BOO004-4 P 1 0.1 148 43 14 14) (BOO005-1 P 1 0.4 11775 121 28 16) (BOO005-2 P 1 0.1 156 48 14 14) (BOO005-4 P 1 0.1 150 44 14 14) (BOO006-1 P 1 0.2 4743 113 22 14) (BOO006-2 P 1 0.05 96 34 11 7) (BOO006-4 P 1 0.05 90 31 11 7) (BOO007-1 P 1 2.9 64563 1369 74 33) (BOO007-2 P 1 1.2 8623 835 84 47) (BOO007-4 P 1 10 54775 2060 166 102) (BOO008-1 P 1 3.3 71280 1642 101 43) (BOO008-2 P 1 1.7 12924 924 107 56) (BOO008-3 - noinfer 11 182102 7600 71 ) (BOO008-4 P 1 6.9 49309 1604 157 55) (BOO009-1 P 1 0.2 4760 115 22 14) (BOO009-2 P 1 0.05 118 42 12 11) (BOO009-4 P 1 0.1 111 38 12 11) (BOO010-1 P 1 0.4 11789 123 28 20) (BOO010-2 P 1 0.1 117 39 12 12) (BOO010-4 P 1 0.1 110 34 12 12) (BOO011-1 P 1 0.04 51 14 9 5) (BOO011-2 P 1 0.04 20 9 5 4) (BOO011-4 P 1 0.03 14 9 5 4) (BOO012-1 P 1 3.4 72556 370 42 12) (BOO012-2 P 1 0.1 269 61 21 10) (BOO012-3 P 1 68 2247477 570 57 12) (BOO012-4 P 1 0.1 267 58 21 10) (BOO013-1 P 1 0.4 11830 253 34 13) (BOO013-2 P 1 0.1 177 92 22 12) (BOO013-3 P 1 0.4 11837 242 35 13) (BOO013-4 P 1 0.1 774 208 49 12) (BOO014-1 P 1 13 195954 2702 131 46) (BOO014-2 P 1 1.1 11525 720 186 47) (BOO014-3 P 1 4.0 84849 1446 91 43) (BOO014-4 P 1 10 54764 2060 165 66) (BOO015-1 P 1 9.8 156556 2485 120 41) (BOO015-2 P 1 0.4 2748 420 129 52) (BOO015-4 P 1 11 55259 2089 166 67) (BOO016-1 P 1 0.5 13741 231 32 19) (BOO016-2 P 1 0.1 175 59 15 13) (BOO017-1 P 1 0.2 5271 156 24 14) (BOO017-2 P 1 0.1 137 45 15 13) (BOO018-4 P 1 0.03 16 10 6 4) (BOO021-1 P 1 0.04 42 28 10 7) (BOO022-1 P 1 27 276400 9848 602 92) (BOO024-1 P 1 0.6 1872 848 88 95) (BOO025-1 P 1 0.8 2054 995 98 99) (BOO026-1 P 1 5.6 3377 2090 96 243) (BOO028-1 P 1 0.4 2421 184 18 20) (BOO029-1 P 1 0.4 2853 225 24 12) (BOO034-1 P 1 1.6 7902 850 91 42) (BOO035-1 P 1 13 10172 3762 79 105) (BOO036-1 M 1 0.02 5 0 0 ) (BOO037-1 M 1 0.02 22 0 0 ) (BOO037-2 M 1 0.02 14 0 0 ) (BOO037-3 M 1 0.01 8 0 0 ) (BOO038-1 P 1 93 548297 10586 533 148) (BOO067-1 P 1 12 10118 3747 78 96) (BOO068-1 P 1 12 10116 3711 79 74) (BOO069-1 P 1 12 6905 3523 35 63) (BOO070-1 P 1 12 10116 3711 79 75) (BOO071-1 P 1 12 6905 3523 35 59) (BOO072-1 P 1 0.8 3611 1125 89 64) (BOO073-1 P 1 92 548277 10581 531 146) (BOO074-1 P 1 0.8 3803 1152 90 67) (BOO075-1 P 1 0.3 1435 304 39 27) (CAT001-1 P 1 0.2 2719 773 159 24) (CAT001-2 - noinfer 1.3 5885 701 692 ) (CAT001-3 P 1 0.3 2214 705 169 6) (CAT001-4 P 1 0.1 1431 417 145 6) (CAT002-1 P 1 0.2 2507 705 155 21) (CAT002-2 - noinfer 3.7 12781 1501 1451 ) (CAT003-1 P 1 0.2 2764 795 162 24) (CAT003-2 P 1 0.1 234 102 34 13) (CAT003-3 P 1 3.3 23880 5034 994 6) (CAT003-4 P 1 2.4 18433 3480 970 6) (CAT004-1 P 1 0.2 2469 684 153 21) (CAT004-2 P 1 0.1 384 141 44 20) (CAT005-1 P 1 0.1 973 195 58 13) (CAT005-3 P 1 0.05 104 67 27 13) (CAT005-4 P 1 0.04 62 45 21 13) (CAT006-1 P 1 0.1 973 195 58 13) (CAT006-3 P 1 0.05 97 63 25 11) (CAT006-4 P 1 0.04 66 45 21 12) (CAT007-1 P 1 0.04 64 39 22 8) (CAT007-3 P 1 0.04 42 20 10 5) (CAT008-1 P 1 0.1 895 242 51 16) (CAT009-1 P 1 0.7 8836 1410 145 16) (CAT009-3 P 1 0.6 3197 1028 187 16) (CAT009-4 P 1 0.2 1471 369 135 16) (CAT010-1 P 1 0.6 8752 1408 142 16) (CAT010-4 P 1 0.2 1532 381 138 16) (CAT011-1 P 1 0.4 4347 709 76 9) (CAT011-2 P 1 0.03 13 11 3 5) (CAT011-3 P 1 0.1 616 261 65 12) (CAT011-4 P 1 0.1 342 143 54 12) (CAT012-1 P 1 0.4 4607 712 81 9) (CAT012-3 P 1 0.1 598 260 65 8) (CAT012-4 P 1 0.1 330 142 54 8) (CAT013-1 P 1 0.3 4058 707 73 9) (CAT013-3 P 1 0.1 433 238 61 8) (CAT013-4 P 1 0.05 211 100 46 8) (CAT014-1 P 1 0.3 4525 711 79 9) (CAT014-2 P 1 0.03 13 10 3 5) (CAT014-3 P 1 0.1 562 256 63 11) (CAT014-4 P 1 0.1 301 138 52 11) (CAT015-3 M 1 0.02 19 0 0 ) (CAT015-4 M 1 0.02 13 0 0 ) (CAT016-3 P 1 0.05 77 50 21 6) (CAT016-4 P 1 0.04 43 32 16 6) (CAT017-3 P 1 0.05 98 60 25 6) (CAT017-4 P 1 0.04 70 43 22 8) (CAT018-1 P 1 0.1 546 234 51 16) (CAT018-3 P 1 0.5 3589 967 207 28) (CAT018-4 P 1 0.2 1935 471 179 24) (CAT019-1 P 1 0.04 22 22 9 3) (CAT019-2 P 1 0.04 11 11 3 3) (CAT019-3 P 1 0.1 441 169 46 9) (CAT020-1 M 1 0.02 18 0 0 ) (CAT020-2 M 1 0.01 7 0 0 ) (CAT020-3 M 1 0.02 17 0 0 ) (CAT020-4 M 1 0.02 11 0 0 ) (CAT033+1 P 1 0.1 208 176 92 12) (COL001-1 P 1 0.3 368 170 16 8) (COL001-2 P 1 0.2 298 161 17 8) (COL002-1 P 1 0.2 224 128 12 8) (COL002-2 P 1 5.2 1619 727 29 11) (COL002-3 P 1 25 4231 1998 44 21) (COL002-4 P 1 6.8 1631 827 29 12) (COL003-12 P 1 29 13859 3522 65 18) (COL003-13 P 1 29 13919 3540 66 18) (COL003-14 P 1 309 80455 7188 157 19) (COL003-15 P 1 29 14008 3554 67 17) (COL003-18 P 1 1350 224701 8502 245 28) (COL003-20 P 1 330 84654 7609 157 26) (COL004-3 P 1 0.03 4 4 1 4) (COL007-1 P 1 0.03 11 3 3 3) (COL008-1 P 1 0.03 32 13 5 5) (COL009-1 P 1 7.5 6098 2279 62 7) (COL010-1 P 1 0.04 43 24 5 5) (COL011-1 P 1 328 88521 7254 178 8) (COL012-1 P 1 0.03 6 3 3 3) (COL013-1 P 1 0.03 12 4 3 3) (COL014-1 P 1 0.03 12 4 3 3) (COL015-1 P 1 0.05 61 26 6 6) (COL016-1 P 1 0.03 21 5 4 3) (COL017-1 P 1 0.04 59 26 9 5) (COL018-1 P 1 0.03 13 5 3 3) (COL019-1 P 1 0.1 85 42 7 7) (COL020-1 P 1 0.1 90 62 7 7) (COL021-1 P 1 0.1 88 40 7 5) (COL022-1 P 1 0.1 215 54 12 5) (COL023-1 P 1 0.1 271 97 12 6) (COL024-1 P 1 0.1 88 40 7 5) (COL025-1 P 1 0.05 56 24 6 5) (COL026-1 P 1 0.9 1315 422 33 6) (COL027-1 P 1 0.2 514 204 19 6) (COL029-1 P 1 0.03 6 3 3 3) (COL030-1 P 1 319 156810 7408 186 6) (COL031-1 P 1 0.4 915 272 18 7) (COL039-1 P 1 34 22779 4486 92 11) (COL042-7 P 1 645 136791 9601 321 33) (COL042-9 P 1 38 13421 4874 68 16) (COL045-1 P 1 0.05 66 38 6 5) (COL048-1 P 1 0.1 198 57 12 5) (COL050-1 P 1 0.03 26 10 5 5) (COL051-1 P 1 0.03 29 11 6 5) (COL052-1 P 1 0.04 35 17 8 7) (COL052-2 P 1 0.1 134 58 15 10) (COL053-1 P 1 0.04 12 7 3 4) (COL054-1 P 1 0.04 42 11 5 5) (COL055-1 P 1 0.03 6 3 3 3) (COL056-1 P 1 0.03 25 14 7 7) (COL058-1 P 1 0.2 365 126 14 6) (COL058-2 P 1 0.1 155 63 7 10) (COL058-3 P 1 0.1 154 62 7 9) (COL059-1 P 1 0.1 136 54 13 25) (COL060-2 P 1 0.03 4 4 1 4) (COL060-3 P 1 0.03 4 4 1 4) (COL061-2 P 1 0.03 4 4 1 4) (COL061-3 P 1 0.03 4 4 1 4) (COL062-2 P 1 0.03 17 12 3 7) (COL062-3 P 1 0.04 17 12 3 7) (COL063-2 P 1 0.04 17 12 3 7) (COL063-3 P 1 0.04 18 13 3 9) (COL063-4 P 1 0.04 17 12 3 7) (COL063-5 P 1 0.04 17 12 3 7) (COL063-6 P 1 0.04 18 13 3 9) (COL064-11 P 1 0.04 17 12 3 7) (COL064-2 P 1 940 25364 5254 69 38) (COL064-3 P 1 0.04 17 12 3 7) (COL064-4 P 1 264 10511 4100 47 22) (COL064-6 P 1 0.04 17 12 3 7) (COL064-7 P 1 252 10397 4011 46 20) (COL064-8 P 1 0.03 17 12 3 7) (COL066-2 P 1 6.0 4258 1172 38 15) (COL066-3 P 1 5.9 4258 1172 38 16) (COL070-1 P 1 0.1 280 115 12 6) (COL074-3 P 1 1.8 2680 1721 101 30) (COL075-1 P 1 23 18499 7808 269 7) (COL075-2 P 1 0.1 196 123 17 7) (COL077-1 P 1 2.9 3775 1723 134 16) (COL078-1 P 1 3.0 3834 1728 137 18) (COL078-2 P 1 0.1 531 129 39 18) (COL079-2 P 1 14 9367 3158 87 12) (COL080-1 P 1 3.4 4343 1983 155 10) (COL080-2 P 1 0.1 690 180 44 10) (COL081-1 P 1 1.1 2357 855 107 10) (COL081-2 P 1 0.1 271 81 27 10) (COL083-1 P 1 0.03 4 4 2 2) (COL084-1 P 1 0.04 4 4 2 2) (COL085-1 P 1 0.03 3 3 1 3) (COL086-1 P 1 0.03 3 3 1 3) (COL098-1 P 1 0.1 182 128 76 17) (COL099-1 P 1 0.04 44 36 26 11) (COL099-2 P 1 398 5826817 11811 3537 11) (COL100-1 P 1 0.1 407 293 163 18) (COL101-1 P 1 0.4 1387 1353 1 3) (COL101-2 P 1 0.03 3 3 1 3) (COL102-2 P 1 0.04 15 14 11 9) (COL103-1 P 1 0.4 1388 1354 1 3) (COL103-2 P 1 0.03 3 3 1 3) (COL104-2 P 1 0.03 15 14 11 9) (COL105-1 P 1 0.6 3736 2260 1280 4) (COL105-2 P 1 0.03 4 4 4 4) (COL109-2 P 1 2.2 5405 3435 76 10) (COL110-2 P 1 0.3 1417 1309 44 15) (COL111-1 P 1 0.6 3736 2260 1280 4) (COL111-2 P 1 0.03 4 4 4 4) (COL112-1 P 1 0.8 4035 2536 1313 4) (COL112-2 P 1 0.03 4 4 4 4) (COL113-1 P 1 0.4 2661 1399 1131 3) (COL113-2 P 1 0.03 3 3 3 3) (COL114-1 P 1 0.8 4117 2604 1315 4) (COL114-2 P 1 0.03 4 4 4 4) (COL115-1 P 1 0.8 4240 2731 1339 4) (COL115-2 P 1 0.04 4 4 4 4) (COL116-1 P 1 0.6 3483 2040 1255 3) (COL116-2 P 1 0.04 3 3 3 3) (COL117-2 P 1 2.1 5405 3435 76 10) (COL118-2 P 1 0.04 59 41 10 7) (COL119-1 P 1 0.8 4126 2612 1318 4) (COL119-2 P 1 0.03 4 4 4 4) (COL120-1 P 1 0.6 3818 2348 1291 4) (COL120-2 P 1 0.03 4 4 4 4) (COL121-2 P 1 0.1 106 88 48 17) (COL122-1 P 1 0.6 3654 2193 1279 4) (COL122-2 P 1 0.03 4 4 4 4) (COL123-2 P 1 0.1 128 95 47 16) (COL124-1 P 1 0.8 4001 2508 1322 5) (COL124-2 P 1 0.03 9 5 5 5) (COM001-1 P 1 0.03 19 17 16 10) (COM002-1 P 1 0.04 58 48 35 16) (COM002-2 P 1 0.04 49 46 36 16) (COM003+2 P 1 0.1 196 124 92 29) (COM003+3 P 1 0.6 3905 891 190 138) (COM003-2 P 1 0.1 79 72 52 16) (COM004-1 P 1 0.03 14 11 11 10) (COM007+1 P 1 0.1 124 58 31 24) (COM007+2 P 1 0.05 108 55 27 22) (COM009-1 P 1 0.9 5142 3591 1354 7) (COM009-2 P 1 0.03 10 8 7 7) (COM010-1 P 1 9.1 19072 8163 2645 6) (COM010-2 P 1 0.04 12 6 6 6) (COM011-2 P 1 0.04 32 25 22 21) (CSR001+2 P 1 995 1454168 15768 4157 106) (CSR002+2 P 1 6.5 31812 2148 995 72) (CSR004+2 P 1 0.1 276 152 88 5) (CSR006+1 P 1 1147 4202706 16663 4660 90) (CSR008+1 P 1 14 104892 6461 1298 96) (CSR009+1 P 1 50 140616 3675 1076 66) (CSR012+1 P 1 0.1 873 301 227 25) (CSR014+1 P 1 0.4 4663 518 407 51) (CSR015+1 P 1 7.9 59124 4911 1260 12) (CSR016+1 P 1 0.4 3748 922 713 34) (CSR017+1 P 1 8.2 62532 4917 1261 35) (CSR018+1 P 1 0.4 4352 1105 721 34) (CSR019+1 P 1 8.0 58848 4961 1263 12) (CSR020+1 P 1 8.4 62192 5075 1265 35) (CSR021+1 P 1 7.7 57022 4907 1260 11) (CSR022+1 P 1 7.7 57024 4911 1261 11) (CSR023+1 P 1 0.1 822 306 202 10) (CSR024+1.009 P 1 0.3 2215 701 385 66) (CSR024+1.010 P 1 0.3 2181 607 395 73) (CSR025+1 P 1 0.05 56 40 1 3) (CSR025+2 P 1 0.3 1134 1093 1 3) (CSR025+3 P 1 2.2 8008 7360 1 3) (CSR025+4 P 1 17 44218 42772 1 3) (CSR026+1 P 1 0.05 98 81 63 16) (CSR026+2 P 1 0.4 2913 2609 1463 16) (CSR026+3 P 1 4.3 36999 16263 10601 16) (CSR026+4 - noinfer 33 317745 52709 51958 ) (CSR027+1 P 1 0.1 360 129 127 16) (CSR027+2 - noinfer 8.5 248944 19032 18876 ) (CSR027+3 - noinfer 11 89226 30407 26919 ) (CSR027+4 - noinfer 34 317745 52709 51958 ) (CSR028+1 P 1 0.04 48 37 1 3) (CSR028+2 P 1 0.3 1134 1093 1 3) (CSR028+3 P 1 2.1 8008 7360 1 3) (CSR028+4 P 1 17 44218 42772 1 3) (CSR029+1 P 1 0.05 111 90 72 18) (CSR029+2 P 1 0.5 3743 3406 1946 18) (CSR029+3 - noinfer 9.6 75201 26626 23181 ) (CSR029+4 - noinfer 36 317669 52720 51958 ) (CSR030+1 P 1 0.1 107 86 71 11) (CSR030+2 P 1 0.7 5789 5297 2738 11) (CSR030+3 - noinfer 11 89000 30366 26841 ) (CSR030+4 - noinfer 34 317627 52709 51958 ) (CSR031+1 P 1 0.05 74 54 44 6) (CSR031+2 P 1 0.4 2377 2079 1239 6) (CSR031+3 P 1 3.4 29150 11653 8090 6) (CSR031+4 P 1 23 285913 46739 43014 6) (CSR032+1 P 1 0.05 84 64 37 4) (CSR032+2 P 1 0.3 1326 1273 888 4) (CSR032+3 P 1 2.4 9677 8894 5758 4) (CSR032+4 P 1 18 50487 46077 26577 4) (CSR033+1 P 1 0.1 321 131 121 30) (CSR033+2 P 1 1.4 21034 6798 5530 30) (CSR033+3 - noinfer 9.6 73993 26717 23130 ) (CSR033+4 - noinfer 35 317635 52709 51958 ) (CSR034+1 P 1 0.1 225 150 104 36) (CSR034+2 P 1 0.7 7129 5780 2960 36) (CSR034+3 P 1 2.4 9186 8482 4960 4) (CSR034+4 P 1 18 48962 46076 25581 4) (CSR035+1 P 1 0.04 41 31 1 4) (CSR035+2 P 1 0.3 1135 1094 1 4) (CSR035+3 P 1 2.2 8039 7362 1 4) (CSR035+4 P 1 17 44258 42778 1 4) (CSR036+1 P 1 0.2 5101 693 565 62) (CSR036+2 P 1 4.9 124917 13610 10471 62) (CSR036+3 - noinfer 11 89000 30366 26841 ) (CSR037+1 P 1 0.1 93 70 49 8) (CSR037+2 P 1 0.4 1867 1571 1075 8) (CSR037+3 P 1 2.9 14333 10697 7186 8) (CSR037+4 P 1 19 99252 46099 41554 8) (CSR038+1 P 1 0.1 130 82 82 10) (CSR038+2 - noinfer 8.4 247501 18649 18516 ) (CSR038+3 - noinfer 9.8 76459 26735 23408 ) (CSR039+1 P 1 0.2 3649 591 471 56) (CSR039+2 P 1 4.5 114972 13142 10007 56) (CSR039+3 - noinfer 10 76776 27169 23649 ) (CSR040+1 P 1 0.1 319 273 180 40) (CSR040+2 P 1 0.5 3689 3387 1929 40) (CSR040+3 P 1 5.5 55376 24461 17953 40) (CSR040+4 P 1 24 309888 52377 48627 40) (CSR041+1 P 1 0.1 440 149 145 7) (CSR041+2 - noinfer 8.4 249038 18945 18803 ) (CSR041+3 - noinfer 11 89000 30366 26841 ) (CSR041+4 - noinfer 35 317627 52709 51958 ) (CSR042+1 P 1 0.04 32 22 1 4) (CSR042+2 P 1 0.3 1139 1094 1 4) (CSR042+3 P 1 2.1 8028 7369 1 4) (CSR042+4 P 1 16 44240 42774 1 4) (CSR043+1 P 1 0.04 60 44 1 3) (CSR043+2 P 1 0.3 1134 1093 1 3) (CSR043+3 P 1 2.2 8008 7360 1 3) (CSR043+4 P 1 17 44218 42772 1 3) (CSR044+1 P 1 0.1 272 105 105 20) (CSR044+2 - noinfer 8.8 249038 18945 18803 ) (CSR044+3 - noinfer 11 89000 30368 26841 ) (CSR045+1 P 1 0.1 172 142 93 16) (CSR045+2 P 1 0.5 3171 2872 1635 16) (CSR045+3 P 1 4.8 44363 20324 14011 16) (CSR045+4 - noinfer 35 317624 52707 51956 ) (CSR046+1 P 1 0.05 69 53 1 3) (CSR046+2 P 1 0.3 1134 1093 1 3) (CSR046+3 P 1 2.1 8008 7360 1 3) (CSR046+4 P 1 17 44218 42772 1 3) (CSR047+1 P 1 0.04 32 22 1 4) (CSR047+2 P 1 0.3 1134 1093 1 4) (CSR047+3 P 1 2.1 8012 7361 1 4) (CSR047+4 P 1 16 44222 42773 1 4) (CSR048+1 P 1 0.04 45 32 21 7) (CSR048+2 P 1 0.4 1824 1548 1028 7) (CSR048+3 P 1 2.5 13173 10409 6441 7) (CSR048+4 P 1 19 74448 46077 30256 7) (CSR049+1 P 1 0.2 5436 720 581 64) (CSR049+2 P 1 4.8 125271 13409 10279 64) (CSR049+3 - noinfer 10 86254 29542 26108 ) (CSR050+1 P 1 0.1 307 139 130 19) (CSR050+2 - noinfer 8.5 247594 18693 18555 ) (CSR050+3 - noinfer 9.8 76776 27169 23649 ) (CSR050+4 - noinfer 35 317627 52709 51958 ) (CSR051+1 P 1 0.04 31 23 1 4) (CSR051+2 P 1 0.3 1135 1094 1 4) (CSR051+3 P 1 2.1 8009 7361 1 4) (CSR051+4 P 1 17 44219 42773 1 4) (CSR052+1 P 1 0.1 424 157 143 17) (CSR052+2 P 1 1.6 24343 7270 5639 17) (CSR052+3 - noinfer 10 76776 27169 23649 ) (CSR052+4 - noinfer 35 317627 52709 51958 ) (CSR053+1 P 1 0.04 32 24 1 4) (CSR053+2 P 1 0.3 1136 1094 1 4) (CSR053+3 P 1 2.1 8020 7361 1 4) (CSR053+4 P 1 17 44234 42777 1 4) (CSR054+1 P 1 0.04 42 34 1 4) (CSR054+2 P 1 0.3 1137 1093 1 4) (CSR054+3 P 1 2.2 8064 7409 1 4) (CSR054+4 P 1 17 44318 42775 1 4) (CSR055+1 P 1 0.05 74 54 44 6) (CSR055+2 P 1 0.4 2377 2079 1239 6) (CSR055+3 P 1 3.4 29150 11653 8090 6) (CSR055+4 P 1 23 285913 46739 43014 6) (CSR056+1 P 1 0.1 113 90 70 14) (CSR056+2 P 1 0.4 2879 2580 1450 14) (CSR056+3 P 1 4.5 37288 16289 10605 14) (CSR056+4 - noinfer 34 317632 52711 51958 ) (CSR057+1 P 1 0.1 157 106 82 19) (CSR057+2 P 1 0.5 3318 3019 1711 19) (CSR057+3 P 1 5.2 48329 22006 15597 19) (CSR057+4 - noinfer 34 317633 52711 51958 ) (CSR058+1 P 1 0.04 43 35 1 4) (CSR058+2 P 1 0.3 1135 1093 1 4) (CSR058+3 P 1 2.2 8039 7360 1 4) (CSR058+4 P 1 17 44258 42772 1 4) (CSR059+1 P 1 0.04 45 32 21 7) (CSR059+2 P 1 0.3 1831 1558 1030 7) (CSR059+3 P 1 2.7 13212 10453 6452 7) (CSR059+4 P 1 18 74447 46077 30268 7) (CSR060+1 P 1 0.1 365 145 145 24) (CSR060+2 - noinfer 8.4 247594 18693 18555 ) (CSR060+3 - noinfer 10 76776 27169 23649 ) (CSR061+1 P 1 0.1 1358 292 254 36) (CSR061+2 P 1 3.4 69947 11663 8533 36) (CSR061+3 - noinfer 9.8 76440 26731 23404 ) (CSR062+1 P 1 0.1 290 109 106 15) (CSR062+2 P 1 1.9 26960 7745 6097 15) (CSR062+3 - noinfer 11 89000 30366 26841 ) (CSR062+4 - noinfer 35 317627 52709 51958 ) (CSR063+1 P 1 0.1 1125 326 319 22) (CSR063+2 - noinfer 8.4 247517 18663 18528 ) (CSR063+3 - noinfer 10 76461 26733 23407 ) (CSR063+4 - noinfer 34 317628 52708 51957 ) (CSR064+1 P 1 0.1 219 97 95 8) (CSR064+2 - noinfer 8.5 247516 18663 18528 ) (CSR064+3 - noinfer 9.9 76460 26733 23407 ) (CSR064+4 - noinfer 35 317627 52708 51957 ) (CSR065+1 P 1 0.1 98 81 63 16) (CSR065+2 P 1 0.4 2909 2605 1461 16) (CSR065+3 P 1 4.3 36983 16262 10593 16) (CSR065+4 - noinfer 35 317745 52709 51958 ) (CSR066+1 P 1 0.1 202 104 100 12) (CSR066+2 - noinfer 8.4 247594 18693 18555 ) (CSR066+3 - noinfer 10 76776 27169 23649 ) (CSR067+1 P 1 0.04 32 22 1 4) (CSR067+2 P 1 0.3 1139 1098 1 4) (CSR067+3 P 1 2.1 8028 7360 1 4) (CSR067+4 P 1 17 44240 42781 1 4) (CSR068+1 P 1 0.05 79 62 40 9) (CSR068+2 P 1 0.4 1835 1560 1034 9) (CSR068+3 P 1 2.6 13212 10442 6473 9) (CSR068+4 - noinfer 37 317627 52709 51958 ) (CSR069+1 P 1 0.04 32 22 1 4) (CSR069+2 P 1 0.3 1136 1095 1 4) (CSR069+3 P 1 2.2 8020 7363 1 4) (CSR069+4 P 1 17 44234 42775 1 4) (CSR070+1 P 1 0.1 432 143 142 15) (CSR070+2 - noinfer 8.4 248944 19032 18876 ) (CSR070+3 - noinfer 11 89226 30407 26919 ) (CSR071+1 P 1 0.1 127 101 76 14) (CSR071+2 P 1 0.4 2681 2377 1380 14) (CSR071+3 P 1 3.9 32410 13213 9034 14) (CSR071+4 - noinfer 34 317745 52709 51958 ) (CSR072+1 P 1 0.05 69 53 1 3) (CSR072+2 P 1 0.3 1134 1093 1 3) (CSR072+3 P 1 2.1 8008 7360 1 3) (CSR072+4 P 1 17 44218 42772 1 3) (CSR073+1 P 1 0.1 369 132 126 15) (CSR073+2 P 1 2.1 33399 8983 6816 15) (CSR073+3 - noinfer 11 89226 30407 26919 ) (CSR074+1 P 1 0.1 111 90 72 18) (CSR074+2 P 1 0.5 3826 3484 1976 18) (CSR074+3 - noinfer 9.8 75495 26824 23295 ) (CSR074+4 - noinfer 35 317717 52732 51958 ) (CSR083+1 P 1 3.5 22588 11909 9087 4) (CSR083+2 P 1 5.8 35945 19221 14434 4) (CSR083+3 P 1 22 106175 68371 60987 4) (CSR085+1 P 1 3.4 22592 11913 9090 5) (CSR085+2 P 1 5.7 35949 19225 14437 5) (CSR085+3 P 1 22 106179 68374 60990 5) (CSR098+1 P 1 2.8 11617 11108 1 4) (CSR098+2 P 1 4.4 17869 17051 1 4) (CSR098+3 P 1 16 66843 65374 1 4) (CSR103+1 P 1 2.8 11614 11105 1 3) (CSR103+2 P 1 4.4 17866 17048 1 3) (CSR103+3 P 1 17 66840 65371 1 3) (CSR111+2 - noinfer 8.5 247494 18647 18514 ) (CSR111+3 - noinfer 10 76454 26733 23405 ) (CSR111+4 - noinfer 33 317623 52707 51956 ) (FLD001-3 P 1 0.1 257 127 41 11) (FLD002-3 P 1 0.1 239 124 39 11) (FLD005-3 P 1 1022 28290194 13028 4249 13) (FLD006-1 P 1 194 7576782 9877 238 10) (FLD006-3 P 1 0.04 35 31 9 4) (FLD007-3 P 1 28 635107 6827 631 11) (FLD008-4 P 1 3.2 41754 6653 146 18) (FLD009-3 P 1 1330 37969016 14246 4761 14) (FLD010-1 P 1 189 7253321 9919 254 11) (FLD010-3 P 1 0.05 60 53 19 5) (FLD010-5 P 1 1.1 8034 4699 99 17) (FLD013-3 P 1 3.1 42515 6690 170 13) (FLD013-4 P 1 0.2 1402 1013 65 10) (FLD013-5 P 1 0.2 1760 1303 71 11) (FLD014-3 P 1 1.8 17294 5707 169 18) (FLD015-3 P 1 1.3 10339 5080 88 12) (FLD016-3 P 1 3.2 41806 6658 148 15) (FLD016-5 P 1 4.7 72803 7160 194 20) (FLD017-1 P 1 1686 110984239 9851 531 8) (FLD017-3 P 1 0.1 293 229 38 8) (FLD018-3 P 1 0.4 3588 2776 65 10) (FLD019-3 P 1 0.4 3499 2997 58 10) (FLD020-3 P 1 1.2 8985 5036 78 7) (FLD021-1 P 1 261 12115642 8011 296 9) (FLD021-3 P 1 0.1 190 126 35 7) (FLD022-3 P 1 3.2 41783 6657 146 15) (FLD023-3 P 1 1.2 8712 5010 82 10) (FLD024-3 P 1 1.1 8555 5001 77 10) (FLD025-3 P 1 3.5 45875 7211 261 12) (FLD025-4 P 1 0.2 1348 1009 61 10) (FLD025-5 P 1 0.2 1698 1297 67 11) (FLD027-3 P 1 1.3 12281 5179 101 14) (FLD028-3 P 1 3.3 43678 6657 156 16) (FLD029-3 P 1 696 23517291 10267 2791 16) (FLD030-1 P 1 0.1 214 166 29 5) (FLD030-3 P 1 2.3 24254 6503 189 12) (FLD030-4 P 1 0.1 331 229 44 8) (FLD031-3 P 1 0.5 3834 3012 70 11) (FLD031-5 P 1 2.6 31568 5492 183 15) (FLD032-3 P 1 0.5 3523 3002 62 11) (FLD033-3 P 1 1.2 9002 5039 82 8) (FLD034-1 P 1 333 16702755 8181 314 9) (FLD034-3 P 1 0.1 200 126 37 7) (FLD035-3 P 1 3.3 43678 6657 156 16) (FLD036-3 P 1 3.3 43678 6657 156 16) (FLD037-3 P 1 1.2 9165 5049 87 11) (FLD038-3 P 1 1.2 8996 5039 82 11) (FLD039-1 P 1 0.04 31 30 1 3) (FLD039-3 P 1 0.1 136 85 31 7) (FLD040-3 P 1 0.5 3675 3016 68 19) (FLD040-5 P 1 0.5 3646 3007 65 21) (FLD041-3 P 1 1.4 12302 5179 101 20) (FLD041-4 P 1 2.3 25961 6155 151 22) (FLD043-3 P 1 1.2 9013 5037 79 12) (FLD043-5 P 1 51 1218372 7126 804 25) (FLD049-4 P 1 5.7 108470 6584 209 20) (FLD050-4 P 1 6.5 123838 6605 237 20) (FLD055-1 P 1 0.1 737 624 45 10) (FLD055-3 P 1 0.1 253 175 39 13) (FLD056-1 P 1 0.05 74 64 19 4) (FLD056-3 P 1 0.05 88 75 18 4) (FLD058-1 P 1 0.1 511 385 44 10) (FLD058-3 P 1 0.1 205 129 38 16) (FLD059-1 P 1 89 2674026 9824 190 20) (FLD059-2 P 1 338 16694245 8202 314 17) (FLD059-3 P 1 0.6 4116 3275 71 11) (FLD059-4 P 1 0.1 188 126 37 10) (FLD060-3 P 1 96 2390692 6794 968 13) (FLD060-4 P 1 3.3 42383 6748 180 13) (FLD061-3 P 1 670 22361042 9755 2656 16) (FLD061-4 P 1 6.3 118408 6903 263 14) (FLD062-3 P 1 98 2443420 7481 1055 30) (FLD063-3 P 1 95 2390188 6756 955 17) (FLD064-3 P 1 1.2 9630 4585 144 11) (FLD065-3 P 1 0.4 3233 2769 58 9) (FLD066-3 P 1 4.6 72753 7158 191 25) (FLD067-3 P 1 952 23626214 12425 3945 12) (FLD067-4 P 1 1.9 18806 5868 103 8) (FLD068-3 P 1 949 23641992 12446 3948 19) (FLD068-4 P 1 1.9 18837 5872 105 14) (FLD069-1 P 1 333 16696001 8206 317 19) (FLD069-3 P 1 0.1 175 125 35 11) (FLD070-1 P 1 258 12110622 8116 296 22) (FLD070-2 P 1 896 52854368 9178 457 18) (FLD070-3 P 1 1.3 10556 5123 109 13) (FLD070-4 P 1 0.1 250 176 41 11) (FLD071-1 P 1 0.1 140 116 25 5) (FLD071-2 P 1 34 721448 8374 118 13) (FLD071-3 P 1 1.4 11222 5310 152 9) (FLD071-4 P 1 0.1 190 171 25 6) (FLD090-3 P 1 246 5855871 9259 2026 42) (GEO001-1 P 1 0.3 1563 325 35 14) (GEO001-2 P 1 0.3 1514 395 34 14) (GEO001-3 P 1 3.9 12412 2775 70 10) (GEO002-1 P 1 0.2 1447 253 33 14) (GEO002-2 P 1 0.2 1318 203 30 14) (GEO002-3 P 1 0.05 68 52 18 5) (GEO002-4 P 1 0.1 193 108 18 17) (GEO003-1 P 1 0.1 201 53 25 7) (GEO003-2 P 1 0.05 103 38 22 7) (GEO003-3 P 1 0.05 56 48 15 5) (GEO006-1 P 1 268 734352 11923 429 33) (GEO006-3 P 1 0.2 1992 300 56 8) (GEO007-3 P 1 15 41494 6568 142 12) (GEO008-3 P 1 26 69890 7929 169 14) (GEO009-3 P 1 4.2 13839 3484 101 22) (GEO011-1 P 1 271 629901 11784 209 23) (GEO011-2 P 1 0.04 33 31 15 6) (GEO011-3 P 1 0.1 408 160 56 6) (GEO011-4 P 1 0.05 29 28 14 6) (GEO011-5 P 1 0.03 23 22 14 6) (GEO013-3 P 1 0.5 5825 455 108 11) (GEO014-2 P 1 0.04 26 22 11 5) (GEO015-2 P 1 0.05 48 37 23 6) (GEO015-3 P 1 0.04 38 24 13 5) (GEO016-2 P 1 0.04 29 24 12 5) (GEO016-3 P 1 0.04 43 27 14 5) (GEO017-2 P 1 0.05 125 45 25 7) (GEO017-3 P 1 0.05 98 44 25 7) (GEO018-2 P 1 0.04 44 35 22 6) (GEO018-3 P 1 0.05 116 46 27 6) (GEO019-2 P 1 0.04 29 23 12 5) (GEO019-3 P 1 0.04 48 29 15 5) (GEO020-2 P 1 0.05 125 44 25 7) (GEO020-3 P 1 0.05 98 43 25 6) (GEO021-2 P 1 0.05 44 36 22 6) (GEO021-3 P 1 0.05 116 45 27 7) (GEO022-2 P 1 0.1 159 56 30 8) (GEO022-3 P 1 0.1 156 63 32 7) (GEO024-2 P 1 0.05 103 39 22 6) (GEO024-3 P 1 0.05 47 40 15 5) (GEO025-2 P 1 0.2 1573 282 58 22) (GEO025-3 P 1 1.6 9264 1215 135 18) (GEO026-2 P 1 0.1 366 102 31 12) (GEO026-3 P 1 0.2 1553 321 51 10) (GEO027-2 P 1 0.2 1425 260 33 12) (GEO027-3 P 1 0.1 161 67 34 7) (GEO030-2 P 1 0.1 804 163 44 16) (GEO030-3 P 1 0.7 7010 819 83 13) (GEO032-3 P 1 0.3 2145 404 65 8) (GEO033-3 P 1 1.2 7779 1000 101 11) (GEO034-3 P 1 1.3 10648 833 85 12) (GEO035-2 P 1 0.04 22 21 10 5) (GEO035-3 P 1 0.04 32 30 11 5) (GEO036-2 P 1 0.1 481 82 25 13) (GEO036-3 P 1 0.2 2072 300 57 8) (GEO037-2 P 1 0.1 1030 135 30 20) (GEO037-3 P 1 1.4 11771 956 73 15) (GEO038-2 P 1 0.04 23 21 10 4) (GEO038-3 P 1 0.05 36 31 12 4) (GEO039-2 P 1 0.1 187 51 27 14) (GEO039-3 P 1 0.1 58 52 14 9) (GEO040-2 P 1 0.1 916 183 31 11) (GEO040-3 P 1 6.5 29944 3614 78 11) (GEO041-2 P 1 6.9 19734 5022 71 24) (GEO041-3 P 1 0.2 2065 344 53 8) (GEO042-2 P 1 2.2 7670 2734 62 19) (GEO042-3 P 1 6.4 29580 3624 74 12) (GEO043-2 P 1 5.5 15385 4519 62 23) (GEO043-3 P 1 30 108439 7276 138 13) (GEO044-3 P 1 2.1 11139 2304 81 12) (GEO045-3 P 1 0.3 2347 487 59 10) (GEO046-3 P 1 0.3 2578 514 59 12) (GEO047-3 P 1 0.3 2532 448 59 8) (GEO048-2 P 1 9.3 25607 6016 93 22) (GEO048-3 P 1 54 277815 8543 254 10) (GEO049-2 P 1 121 302397 10901 415 30) (GEO051-3 P 1 14 35742 6141 133 10) (GEO052-3 P 1 1.2 7908 1335 88 18) (GEO053-2 P 1 28 85351 8099 146 32) (GEO053-3 P 1 0.7 6538 647 83 10) (GEO054-2 P 1 0.04 26 23 11 5) (GEO054-3 P 1 0.05 42 36 13 5) (GEO055-2 P 1 0.04 26 24 11 5) (GEO055-3 P 1 0.04 42 37 13 5) (GEO056-2 P 1 0.1 167 62 25 9) (GEO056-3 P 1 0.04 41 37 13 7) (GEO057-2 P 1 0.1 164 60 24 7) (GEO057-3 P 1 0.05 38 35 12 5) (GEO058-2 P 1 0.1 952 138 32 12) (GEO058-3 P 1 0.1 994 139 42 8) (GEO059-2 P 1 0.2 1255 144 32 12) (GEO059-3 P 1 0.2 1674 196 48 9) (GEO064-2 P 1 0.3 1668 486 48 16) (GEO064-3 P 1 0.6 5356 492 91 6) (GEO065-2 P 1 0.3 1668 485 48 16) (GEO065-3 P 1 0.6 5356 491 91 6) (GEO066-2 P 1 0.3 1668 484 48 16) (GEO066-3 P 1 0.6 5356 490 91 6) (GEO067-2 P 1 0.1 228 55 28 19) (GEO067-3 P 1 0.1 123 99 22 11) (GEO069-3 P 1 0.5 5196 420 98 13) (GEO076-4 P 1 155 277210 8968 164 38) (GEO077-4 P 1 1.4 4214 2349 76 22) (GEO079-1 P 1 0.03 8 8 8 6) (GEO080+1 P 1 0.1 232 130 48 5) (GEO080-1 P 1 0.1 228 130 48 5) (GEO081+1 P 1 0.1 477 230 60 10) (GEO081-1 P 1 0.1 473 230 60 10) (GEO082+1 P 1 25 100647 7355 560 13) (GEO082-1 P 1 19 64866 6419 425 13) (GEO085+1 P 1 0.2 840 274 66 15) (GEO085-1 P 1 0.2 836 274 66 15) (GEO086+1 P 1 0.04 54 53 17 6) (GEO086-1 P 1 0.1 54 53 17 6) (GEO087+1 P 1 0.1 812 197 62 11) (GEO087-1 P 1 0.1 808 197 62 11) (GEO094+1 P 1 8.6 59453 6850 319 26) (GEO094-1 P 1 9.8 64808 6854 335 26) (GEO111+1 P 1 83 295209 10271 627 31) (GEO111-1 P 1 79 280041 10376 647 31) (GEO112+1 P 1 0.1 538 215 63 14) (GEO112-1 P 1 0.1 534 215 63 14) (GEO117+1 P 1 16 15948 7428 123 7) (GEO117-1 P 1 16 15940 7428 123 7) (GEO118+1 P 1 18 24717 8150 138 8) (GEO118-1 P 1 18 24709 8149 138 8) (GEO124+1 P 1 17 24754 8071 145 15) (GEO124-1 P 1 18 24746 8063 145 15) (GEO125+1 P 1 18 24750 8061 145 15) (GEO125-1 P 1 18 24742 8057 145 15) (GEO127+1 P 1 8.0 7242 3923 120 30) (GEO127-1 P 1 8.0 7239 3926 122 30) (GEO147+1 P 1 11 9805 5198 129 12) (GEO147-1 P 1 12 9801 5202 129 15) (GEO148+1 P 1 16 17469 7439 145 8) (GEO148-1 P 1 15 17466 7447 145 12) (GEO169+1 P 1 206 2228859 7286 1879 203) (GEO170+1 P 1 0.05 58 38 26 10) (GEO170+2 P 1 0.04 64 38 26 11) (GEO171+1 P 1 0.04 26 22 20 8) (GEO171+2 P 1 0.04 17 17 7 4) (GEO172+1 P 1 0.1 121 79 39 18) (GEO172+2 P 1 0.1 121 70 37 13) (GEO173+1 P 1 0.1 271 146 48 10) (GEO173+2 P 1 0.1 303 139 47 11) (GEO174+1 P 1 0.04 58 40 29 12) (GEO174+2 P 1 0.05 97 57 35 13) (GEO175+1 P 1 0.1 288 161 47 18) (GEO175+2 P 1 0.1 307 153 47 13) (GEO176+1 P 1 0.04 53 39 28 12) (GEO176+2 P 1 0.04 29 26 21 7) (GEO178+1 P 1 0.05 64 36 27 10) (GEO178+2 P 1 0.04 23 23 16 8) (GEO179+1 P 1 0.04 67 44 29 14) (GEO179+2 P 1 0.1 132 52 36 13) (GEO180+1 P 1 608 62902 5912 202 18) (GEO180+2 P 1 1290 169307 5696 428 20) (GEO181+1 P 1 621 65405 6244 216 25) (GEO181+2 P 1 1329 169091 5696 428 18) (GEO182+1 P 1 593 60464 5699 191 19) (GEO182+2 P 1 1355 168472 5698 429 19) (GEO183+1 P 1 0.04 58 40 29 12) (GEO183+2 P 1 0.05 97 57 35 13) (GEO184+1 P 1 0.1 271 146 48 10) (GEO184+2 P 1 0.1 303 139 47 11) (GEO185+1 P 1 0.04 53 39 28 12) (GEO185+2 P 1 0.04 29 26 21 7) (GEO186+1 P 1 0.1 288 161 47 18) (GEO186+2 P 1 0.1 307 153 47 13) (GEO188+1 P 1 1314 165769 5586 429 20) (GEO188+2 P 1 1334 173758 5746 429 22) (GEO189+1 P 1 1288 166013 5531 429 15) (GEO189+2 P 1 1333 173008 5691 429 16) (GEO190+1 P 1 1314 164538 5546 429 19) (GEO190+2 P 1 1348 168468 5713 429 19) (GEO191+2 P 1 155 50887 7096 1161 17) (GEO192+1 P 1 0.1 307 115 47 14) (GEO192+2 P 1 0.1 320 139 48 15) (GEO193+2 P 1 890 281536 9043 1772 15) (GEO194+2 P 1 887 281382 9045 1772 15) (GEO196+2 P 1 196 60666 10167 1167 19) (GEO197+2 P 1 730 230352 8383 1756 19) (GEO198+2 P 1 902 281370 8833 1768 15) (GEO200+1 P 1 975 141581 5056 194 15) (GEO200+2 P 1 995 144119 5056 194 15) (GEO204+1 P 1 1606 281352 6320 323 21) (GEO204+2 P 1 1583 278082 6125 315 16) (GEO206+1 P 1 0.1 324 148 52 11) (GEO206+2 P 1 0.1 321 145 51 11) (GEO207+1 P 1 0.04 19 19 1 3) (GEO207+2 P 1 0.03 19 19 1 3) (GEO208+1 P 1 0.04 29 26 24 7) (GEO208+2 P 1 0.04 29 26 24 7) (GEO209+1 P 1 0.1 152 87 42 11) (GEO209+2 P 1 0.1 148 81 41 11) (GEO210+1 P 1 202 86748 7769 2384 9) (GEO210+2 P 1 245 94245 10177 3840 9) (GEO211+1 P 1 0.04 28 26 10 4) (GEO211+2 P 1 0.04 28 26 11 4) (GEO212+1 P 1 0.1 207 96 52 16) (GEO212+2 P 1 0.1 219 100 58 16) (GEO213+1 P 1 0.2 955 289 94 23) (GEO213+2 P 1 0.1 230 104 59 19) (GEO214+1 P 1 0.04 74 43 36 11) (GEO214+2 P 1 0.04 87 50 40 11) (GEO215+1 P 1 1.1 3132 1138 358 19) (GEO215+2 P 1 0.6 2066 990 203 19) (GEO216+1 P 1 0.04 22 22 6 4) (GEO216+2 P 1 0.04 22 22 7 4) (GEO217+1 P 1 0.05 114 57 34 11) (GEO217+2 P 1 0.05 115 57 36 11) (GEO218+1 P 1 0.1 135 57 37 13) (GEO218+2 P 1 0.05 130 54 37 13) (GEO219+1 P 1 0.04 56 36 29 10) (GEO219+2 P 1 0.04 59 38 31 10) (GEO220+1 P 1 0.04 62 39 28 6) (GEO220+2 P 1 0.04 63 41 30 6) (GEO225+1 P 1 0.04 33 29 22 6) (GEO225+2 P 1 0.04 35 30 22 7) (GEO226+1 P 1 0.04 46 44 28 6) (GEO226+2 P 1 0.04 79 69 41 8) (GEO227+1 P 1 0.05 71 58 18 4) (GEO228+1 P 1 0.05 87 69 37 11) (GEO229+1 P 1 0.05 67 52 1 1) (GEO230+1 P 1 0.05 81 65 34 5) (GEO231+1 P 1 0.1 90 68 37 11) (GEO232+1 P 1 0.05 70 57 17 4) (GEO233+1 P 1 0.1 78 62 33 8) (GEO234+1 P 1 0.1 94 72 39 5) (GEO235+1 P 1 0.04 70 53 1 3) (GEO236+1 P 1 0.05 71 53 1 3) (GEO237+1 P 1 0.05 71 58 1 5) (GEO238+1 P 1 0.04 72 57 1 5) (GEO239+1 P 1 0.05 70 54 1 3) (GEO240+1 P 1 0.04 70 54 1 3) (GEO241+1 P 1 0.05 71 55 1 3) (GEO242+1 P 1 0.04 71 55 1 3) (GEO243+1 P 1 0.04 70 54 1 3) (GEO244+1 P 1 0.05 70 54 1 3) (GEO245+1 P 1 0.05 70 54 1 3) (GEO246+1 P 1 0.05 70 54 1 3) (GEO247+1 P 1 0.04 76 53 1 3) (GEO248+1 P 1 0.05 70 53 1 3) (GEO249+1 P 1 0.04 70 53 1 3) (GEO250+1 P 1 0.05 69 53 1 3) (GEO251+1 P 1 0.05 69 53 1 3) (GEO252+1 P 1 0.05 70 53 1 3) (GEO253+1 P 1 0.05 70 59 1 5) (GEO254+1 P 1 0.05 89 72 37 5) (GEO255+1 P 1 0.05 103 75 41 5) (GEO256+1 P 1 0.05 74 56 1 3) (GEO257+1 P 1 0.05 74 56 1 3) (GEO258+1 P 1 0.05 86 70 36 5) (GEO259+1 P 1 0.1 90 73 36 5) (GEO260+1 P 1 0.1 90 73 36 5) (GEO261+1 P 1 0.05 86 71 35 9) (GEO262+1 P 1 0.1 97 80 40 9) (GEO263+1 P 1 0.1 95 78 40 9) (GEO264+1 P 1 0.04 71 53 1 3) (GRA001-1 P 1 0.03 34 28 25 28) (GRA002+3 P 1 3.7 4548 2586 166 22) (GRA002+4 P 1 0.1 178 139 78 13) (GRA003+1 P 1 0.1 117 101 73 26) (GRA004+1 P 1 12 1312 728 359 27) (GRA005+1 P 1 0.1 78 71 49 6) (GRA008+2 P 1 4.9 5068 3647 177 27) (GRA010+1 P 1 0.7 1557 1374 112 15) (GRA010+2 P 1 0.7 1559 1377 113 15) (GRA013+1 - noinfer 0.04 98 47 43 ) (GRA014+1 P 1 0.1 1195 175 116 100) (GRP001+6 P 1 0.1 472 188 14 11) (GRP001-1 P 1 0.1 517 92 15 11) (GRP001-2 P 1 0.04 96 34 15 11) (GRP001-4 P 1 0.04 72 28 11 12) (GRP001-5 P 1 0.04 111 12 11 11) (GRP002-1 P 1 7.4 67210 8302 354 105) (GRP002-2 P 1 0.2 1415 498 107 65) (GRP002-3 P 1 0.4 2426 614 77 75) (GRP002-4 P 1 0.4 2390 602 74 61) (GRP003-1 P 1 0.04 308 19 12 8) (GRP003-2 P 1 0.1 952 228 26 8) (GRP004-1 P 1 0.05 669 35 14 8) (GRP004-2 P 1 0.1 952 229 26 8) (GRP005-1 P 1 0.04 10 10 8 5) (GRP006-1 P 1 0.04 87 21 11 7) (GRP007-1 P 1 0.04 46 12 10 5) (GRP008-1 P 1 0.1 432 83 18 12) (GRP009-1 P 1 0.05 469 62 20 13) (GRP010-1 P 1 0.05 302 41 16 8) (GRP010-4 P 1 0.04 70 31 12 13) (GRP011-4 P 1 0.04 100 32 14 14) (GRP012+5 P 1 0.1 1368 471 22 11) (GRP012-1 P 1 0.1 404 81 19 9) (GRP012-2 P 1 0.1 650 123 23 14) (GRP012-3 P 1 0.2 2897 357 30 14) (GRP012-4 P 1 0.04 122 25 14 11) (GRP013-1 P 1 0.1 616 136 18 10) (GRP014-1 P 1 2.8 8493 1974 70 131) (GRP017-1 P 1 0.1 436 75 15 9) (GRP018-1 P 1 0.03 29 13 8 6) (GRP019-1 P 1 0.04 29 12 8 6) (GRP020-1 P 1 0.03 29 14 8 6) (GRP021-1 P 1 0.04 29 15 8 6) (GRP022-1 P 1 0.04 299 32 16 9) (GRP022-2 P 1 0.03 49 18 9 8) (GRP023-1 P 1 0.04 28 10 8 5) (GRP023-2 P 1 0.03 11 7 5 4) (GRP028-1 P 1 0.03 29 9 6 6) (GRP028-2 P 1 0.04 253 63 10 6) (GRP028-3 P 1 0.04 227 77 9 6) (GRP028-4 P 1 0.04 56 14 7 6) (GRP029-1 P 1 0.05 348 45 15 8) (GRP029-2 P 1 0.1 1562 320 29 8) (GRP030-1 P 1 0.04 233 34 14 8) (GRP031-1 P 1 0.05 449 49 16 8) (GRP031-2 P 1 0.1 1899 399 28 8) (GRP032-3 P 1 0.03 32 17 10 5) (GRP033-3 P 1 0.05 235 99 23 8) (GRP033-4 P 1 0.04 203 36 14 8) (GRP034-3 P 1 0.04 199 34 13 7) (GRP034-4 P 1 0.04 112 56 11 7) (GRP035-3 P 1 0.1 709 160 32 19) (GRP036-3 P 1 0.1 374 74 22 10) (GRP037-3 P 1 0.1 703 110 33 13) (GRP038-3 P 1 0.04 57 25 14 6) (GRP039-1 P 1 0.9 6313 1726 88 30) (GRP039-2 P 1 50 55429 6591 153 37) (GRP039-3 P 1 3.1 12623 3317 115 39) (GRP039-4 P 1 0.9 6312 1693 88 30) (GRP039-5 P 1 51 55425 6573 153 37) (GRP039-6 P 1 0.6 13773 819 96 24) (GRP039-7 P 1 51 54293 6389 148 37) (GRP040-3 P 1 0.2 1634 460 45 28) (GRP040-4 P 1 0.1 1085 291 41 27) (GRP041-2 P 1 0.04 16 11 6 5) (GRP042-2 P 1 0.04 87 43 12 7) (GRP043-2 P 1 0.05 207 103 18 11) (GRP044-2 P 1 0.05 110 61 13 8) (GRP045-2 P 1 0.1 1035 368 38 11) (GRP046-2 P 1 0.1 935 256 30 11) (GRP047-2 P 1 0.5 8866 1738 64 15) (GRP048-2 P 1 1.5 24054 3663 93 15) (GRP049-1 P 1 33 161611 8973 211 116) (GRP050-1 P 1 2.2 3659 1235 23 84) (GRP051-1 P 1 115 613853 12602 418 233) (GRP052-1 P 1 7.0 9617 2824 60 94) (GRP053-1 P 1 8.9 11529 3395 57 176) (GRP054-1 P 1 16 45391 7850 120 107) (GRP055-1 P 1 20 46325 7208 99 111) (GRP056-1 P 1 905 5814261 6861 1072 135) (GRP057-1 P 1 2.8 8495 1976 71 145) (GRP058-1 P 1 0.8 4101 1037 49 128) (GRP059-1 P 1 0.6 3654 1001 53 67) (GRP060-1 P 1 16 15747 6053 60 164) (GRP061-1 P 1 19 14071 5750 71 107) (GRP062-1 P 1 19 62031 6740 142 144) (GRP063-1 P 1 0.1 792 81 40 38) (GRP064-1 P 1 0.1 792 81 40 38) (GRP065-1 P 1 0.5 5676 318 69 62) (GRP066-1 P 1 0.05 191 41 21 27) (GRP067-1 P 1 0.1 191 41 21 27) (GRP068-1 P 1 0.1 352 44 27 29) (GRP069-1 P 1 0.1 352 44 27 29) (GRP070-1 P 1 0.1 384 91 23 29) (GRP071-1 P 1 1.2 2659 1324 28 153) (GRP072-1 P 1 1.5 2977 1357 29 148) (GRP073-1 P 1 0.4 1373 473 22 73) (GRP074-1 P 1 3.8 7785 2308 40 92) (GRP075-1 P 1 0.1 401 95 32 33) (GRP076-1 P 1 0.1 403 87 36 43) (GRP077-1 P 1 0.1 349 98 29 43) (GRP078-1 P 1 0.1 368 101 29 42) (GRP079-1 P 1 0.1 340 90 30 36) (GRP080-1 P 1 0.1 455 117 35 44) (GRP082-1 P 1 1.1 3433 1256 26 75) (GRP083-1 P 1 10 23419 6145 69 88) (GRP085-1 P 1 1.3 6893 582 77 38) (GRP086-1 P 1 157 131022 4773 221 32) (GRP087-1 P 1 0.1 258 89 18 26) (GRP088-1 P 1 0.1 466 80 31 34) (GRP089-1 P 1 0.1 361 67 26 35) (GRP090-1 P 1 0.1 613 73 33 28) (GRP091-1 P 1 0.1 256 42 24 30) (GRP092-1 P 1 0.1 256 51 24 30) (GRP093-1 P 1 0.1 346 47 27 29) (GRP094-1 P 1 0.1 257 49 23 31) (GRP095-1 P 1 0.1 373 69 27 33) (GRP096-1 P 1 0.1 607 199 28 45) (GRP097-1 P 1 0.1 395 85 28 34) (GRP098-1 P 1 0.1 460 112 29 33) (GRP099-1 P 1 0.2 1120 161 56 55) (GRP100-1 P 1 0.5 3470 426 70 42) (GRP101-1 P 1 0.5 3515 440 74 45) (GRP102-1 P 1 0.6 3745 487 74 54) (GRP103-1 P 1 0.5 3584 474 78 54) (GRP104-1 P 1 0.6 3140 551 66 58) (GRP105-1 P 1 0.8 4375 517 68 38) (GRP106-1 P 1 0.2 629 320 18 45) (GRP107-1 P 1 0.9 4502 627 70 44) (GRP108-1 P 1 0.3 908 448 27 74) (GRP109-1 P 1 0.6 3014 544 66 58) (GRP110-1 P 1 0.2 571 308 18 53) (GRP111-1 P 1 0.9 4504 635 69 46) (GRP115-1 P 1 11 3081 1691 21 98) (GRP116-1 P 1 10 3057 1347 18 97) (GRP117-1 P 1 8.0 2055 1004 18 59) (GRP118-1 P 1 8.7 2271 1107 18 53) (GRP119-1 P 1 108 83667 11669 185 165) (GRP120-1 P 1 109 83671 11681 185 145) (GRP121-1 P 1 112 83672 11707 185 132) (GRP122-1 P 1 106 83667 11669 185 146) (GRP123-1.003 P 1 0.05 238 32 30 18) (GRP123-2.003 P 1 0.05 244 38 36 18) (GRP123-3.003 P 1 0.1 275 54 51 18) (GRP123-3.004 - noinfer 20 168164 244 203 ) (GRP123-4.003 P 1 0.04 160 42 26 18) (GRP123-4.004 - noinfer 326 4703374 609 316 ) (GRP123-6.003 P 1 0.05 158 45 35 23) (GRP123-7.003 P 1 0.04 164 51 41 23) (GRP123-8.003 P 1 0.1 187 65 54 23) (GRP123-8.004 - noinfer 13 101259 1086 769 ) (GRP123-9.003 P 1 0.05 178 65 55 23) (GRP123-9.004 - noinfer 13 101241 1090 775 ) (GRP124-1.004 P 1 1.1 10164 146 85 55) (GRP124-2.004 P 1 0.2 1155 94 69 30) (GRP124-3.004 P 1 1.2 10388 182 117 55) (GRP124-4.004 P 1 0.2 1196 110 61 46) (GRP124-6.004 P 1 0.2 1638 219 133 53) (GRP124-7.004 P 1 0.2 1648 229 143 53) (GRP124-8.004 P 1 0.2 1690 249 161 53) (GRP124-9.004 P 1 0.2 1672 253 167 53) (GRP125-1.003 P 1 0.04 106 30 26 19) (GRP125-1.004 - noinfer 1.1 14312 446 223 ) (GRP125-2.004 - noinfer 0.2 1624 184 107 ) (GRP125-3.004 - noinfer 1.4 17690 542 282 ) (GRP125-4.003 P 1 0.04 132 45 28 20) (GRP125-4.004 - noinfer 3.7 38666 1853 302 ) (GRP126-1.004 P 1 0.1 932 143 70 45) (GRP126-2.004 P 1 0.1 957 152 81 49) (GRP126-3.004 P 1 0.1 999 176 101 58) (GRP126-4.004 P 1 1.9 15140 1470 165 64) (GRP127-1.004 P 1 0.2 2110 214 106 40) (GRP127-3.004 P 1 0.2 2210 258 138 40) (GRP127-4.004 P 1 0.2 1797 294 93 56) (GRP128-1.003 P 1 0.1 504 90 54 26) (GRP128-1.004 - noinfer 193 981657 7685 2516 ) (GRP128-2.004 - noinfer 7.6 81319 1767 673 ) (GRP128-3.004 - noinfer 32 263393 3781 1300 ) (GRP128-4.003 P 1 0.1 1403 253 69 29) (GRP128-4.004 - noinfer 219 877552 20824 1893 ) (GRP129-1.003 P 1 0.3 3004 241 97 60) (GRP129-2.004 P 1 12 38706 2768 413 154) (GRP129-3.004 P 1 18 50283 4000 577 253) (GRP129-4.004 P 1 3.0 13762 2847 215 78) (GRP130-1.003 P 1 0.1 668 97 60 38) (GRP130-2.003 P 1 0.1 708 104 68 41) (GRP130-3.003 P 1 0.1 761 124 85 53) (GRP130-4.003 P 1 0.1 1001 174 63 26) (GRP130-4.004 - noinfer 153 1041604 8337 1625 ) (GRP131-1.002 P 1 0.1 396 27 25 18) (GRP131-2.002 P 1 0.1 399 30 28 18) (GRP132-1.002 P 1 0.05 360 27 25 18) (GRP132-2.002 P 1 0.05 363 30 28 18) (GRP133-1.003 P 1 0.2 2829 207 104 63) (GRP133-2.003 P 1 0.2 1949 175 88 60) (GRP134-1.003 P 1 0.2 2285 185 90 64) (GRP134-2.003 P 1 0.2 1931 176 87 60) (GRP135-1.002 P 1 0.04 165 26 24 16) (GRP135-2.002 P 1 0.04 168 29 27 16) (GRP136-1 P 1 0.04 26 21 1 5) (GRP137-1 P 1 0.04 26 21 1 5) (GRP138-1 P 1 0.5 2542 485 69 10) (GRP139-1 P 1 0.04 25 21 1 4) (GRP140-1 P 1 0.3 1328 227 45 7) (GRP141-1 P 1 0.1 236 38 15 7) (GRP142-1 P 1 0.04 21 17 1 3) (GRP143-1 P 1 0.03 21 17 1 3) (GRP144-1 P 1 0.03 21 17 1 3) (GRP145-1 P 1 0.04 21 17 1 3) (GRP146-1 P 1 0.04 25 21 1 4) (GRP147-1 P 1 0.6 2544 489 69 10) (GRP148-1 P 1 0.3 1328 227 45 7) (GRP149-1 P 1 0.04 108 24 13 7) (GRP150-1 P 1 0.04 21 17 1 3) (GRP151-1 P 1 0.03 21 17 1 3) (GRP152-1 P 1 0.04 21 17 1 3) (GRP153-1 P 1 0.03 21 17 1 3) (GRP154-1 P 1 0.1 504 91 18 5) (GRP155-1 P 1 0.1 562 95 19 5) (GRP156-1 P 1 0.1 572 101 20 7) (GRP157-1 P 1 0.1 373 77 16 5) (GRP158-1 P 1 0.1 432 83 17 5) (GRP159-1 P 1 0.1 573 103 20 7) (GRP160-1 P 1 0.03 21 17 1 3) (GRP161-1 P 1 0.03 21 17 1 3) (GRP162-1 P 1 0.04 50 21 10 6) (GRP163-1 P 1 0.04 50 21 10 6) (GRP165-1 P 1 0.1 504 91 18 6) (GRP165-2 P 1 0.1 562 95 19 6) (GRP166-1 P 1 0.4 1850 324 46 13) (GRP166-2 P 1 0.4 1850 324 46 13) (GRP166-3 P 1 0.1 565 107 20 6) (GRP166-4 P 1 0.1 623 111 21 6) (GRP168-1 P 1 0.3 1205 235 41 7) (GRP168-2 P 1 0.3 1275 253 43 7) (GRP169-1 P 1 0.5 1916 406 53 19) (GRP169-2 P 1 0.5 2011 452 56 23) (GRP170-1 P 1 0.4 1963 367 56 10) (GRP170-2 P 1 0.5 2293 439 64 10) (GRP170-3 P 1 0.6 2635 503 70 13) (GRP170-4 P 1 0.5 2288 443 64 12) (GRP171-1 P 1 0.3 1654 277 42 14) (GRP171-2 P 1 0.3 1459 213 37 12) (GRP172-1 P 1 0.3 1460 215 37 9) (GRP172-2 P 1 0.4 1741 297 44 11) (GRP173-1 P 1 0.3 1253 236 38 15) (GRP174-1 P 1 0.3 1253 236 38 18) (GRP175-1 P 1 81 49197 5459 236 14) (GRP175-2 P 1 81 49152 5419 235 10) (GRP175-3 P 1 81 49142 5419 235 12) (GRP175-4 P 1 82 49207 5459 236 12) (GRP176-1 P 1 0.04 21 17 1 5) (GRP176-2 P 1 0.04 22 18 1 5) (GRP177-2 P 1 0.6 3046 541 66 22) (GRP178-1 P 1 1.3 5125 800 96 21) (GRP178-2 P 1 1.0 4373 726 90 20) (GRP182-1 P 1 0.04 21 17 1 3) (GRP182-2 P 1 0.04 24 20 1 3) (GRP182-3 P 1 0.04 21 17 1 3) (GRP182-4 P 1 0.04 24 20 1 3) (GRP184-1 P 1 0.1 682 130 29 26) (GRP184-2 P 1 0.1 273 64 14 18) (GRP184-3 P 1 0.2 682 130 29 26) (GRP184-4 P 1 0.1 276 67 14 20) (GRP185-1 P 1 0.04 21 17 1 6) (GRP185-2 P 1 0.04 24 20 1 6) (GRP185-3 P 1 0.04 21 17 1 6) (GRP185-4 P 1 0.04 24 20 1 6) (GRP186-3 P 1 0.1 560 101 22 15) (GRP186-4 P 1 0.04 41 22 9 7) (GRP188-1 P 1 0.03 21 17 1 3) (GRP188-2 P 1 0.04 24 20 1 3) (GRP189-1 P 1 0.04 21 17 1 3) (GRP189-2 P 1 0.04 24 20 1 3) (GRP190-1 P 1 0.6 2491 511 67 19) (GRP190-2 P 1 0.7 2509 533 68 21) (GRP191-1 P 1 0.9 2830 579 72 23) (GRP191-2 P 1 0.8 2812 557 71 21) (GRP192-1 P 1 0.2 706 106 22 11) (GRP193-1 P 1 0.2 887 182 30 14) (GRP193-2 P 1 0.2 750 138 25 10) (GRP194+1 P 1 0.1 471 243 29 18) (GRP195-1 P 1 1.4 1057 568 14 21) (GRP200-1 P 1 24 22374 7795 220 181) (GRP201-1 P 1 36 50083 14335 314 237) (GRP202-1 P 1 21 29214 8044 244 164) (GRP203-1 P 1 73 54508 8462 220 66) (GRP205-1 P 1 21 29214 8044 244 164) (GRP206-1 P 1 0.05 133 45 24 7) (GRP211-1 P 1 1000 1992958 15410 1150 204) (GRP215-1 P 1 266 692362 7060 656 186) (GRP218-1 P 1 327 823454 6017 352 107) (GRP223-1 P 1 1018 2143703 17467 1321 245) (GRP226-1 P 1 123 455126 6222 689 109) (GRP229-1 P 1 0.3 2426 627 136 107) (GRP231-1 P 1 765 2929190 9657 639 170) (GRP234-1 P 1 813 2143172 7401 658 160) (GRP235-1 P 1 777 2121539 10587 733 168) (GRP236-1 P 1 352 350979 9436 612 170) (GRP241-1 P 1 568 3027829 7746 774 201) (GRP250-1 P 1 6.6 59287 1155 224 45) (GRP253-1 P 1 1.2 8538 555 110 49) (GRP259-1 P 1 247 1750093 4643 479 130) (GRP261-1 P 1 2.0 18748 1170 228 49) (GRP262-1 P 1 1173 3118378 6808 747 180) (GRP267-1 P 1 3.5 16752 2450 472 64) (GRP272-1 P 1 1159 3118181 6749 743 179) (GRP274-1 P 1 38 199181 3361 393 123) (GRP276-1 P 1 8.1 46780 4136 600 55) (GRP277-1 P 1 480 667357 14864 4630 44) (GRP278-1 P 1 1844 3032717 6837 835 151) (GRP285-1 P 1 0.4 2482 813 183 37) (GRP289-1 P 1 1540 4212977 6109 701 195) (GRP291-1 P 1 37 221756 3236 375 123) (GRP292-1 P 1 0.3 1053 369 84 29) (GRP293-1 P 1 331 2074265 4710 603 149) (GRP296-1 P 1 298 2015789 4760 588 139) (GRP297-1 P 1 465 667333 14875 4630 43) (GRP298-1 P 1 4.1 18046 1585 261 65) (GRP299-1 P 1 462 667348 14880 4630 43) (GRP300-1 P 1 2.5 19195 551 80 40) (GRP304-1 P 1 36 158970 3025 332 133) (GRP306-1 P 1 20 91769 2377 272 133) (GRP310-1 P 1 1510 1783276 15694 1749 223) (GRP313-1 P 1 87 1295745 1194 171 54) (GRP326-1 P 1 245 980445 7008 672 197) (GRP328-1 P 1 1022 2231623 20084 1786 276) (GRP333-1 P 1 13 53140 2116 263 148) (GRP344-1 P 1 173 375586 6177 523 156) (GRP348-1 P 1 50 177633 10262 1591 200) (GRP349-1 P 1 735 9881348 1249 182 55) (GRP353-1 P 1 574 899278 18464 6378 124) (GRP354-1 P 1 19 96866 9293 1071 63) (GRP355-1 P 1 1.1 7106 656 142 37) (GRP392-1 M 1 0.02 6 0 0 ) (GRP393-1 M 1 0.02 4 0 0 ) (GRP393-2 M 1 0.02 1 0 0 ) (GRP394+3 M 1 0.02 3 0 0 ) (GRP394-1 M 1 0.02 8 0 0 ) (GRP394-2 M 1 0.02 7 0 0 ) (GRP394-3 M 1 0.02 3 0 0 ) (GRP395-1 M 1 0.02 11 0 0 ) (GRP396+1 M 1 0.02 2 0 0 ) (GRP397-1 M 1 0.01 3 0 0 ) (GRP398-1 M 1 0.02 10 0 0 ) (GRP398-2 M 1 0.02 9 0 0 ) (GRP398-3 M 1 0.02 5 0 0 ) (GRP399-1 M 1 0.02 15 0 0 ) (GRP401-1 P 1 46 285945 15506 414 138) (GRP402-1 P 1 0.3 1152 409 44 17) (GRP403-1 P 1 2.9 3417 1540 23 16) (GRP404-1 P 1 37 182509 8869 229 55) (GRP405-1 P 1 34 161341 8966 208 112) (GRP406-1 P 1 0.9 2350 678 20 15) (GRP407-1 P 1 2.1 3674 1235 23 83) (GRP408-1 P 1 1.9 3637 1148 22 77) (GRP409-1 P 1 0.4 676 252 15 11) (GRP410-1 P 1 129 723535 13273 489 199) (GRP411-1 P 1 118 633332 12269 418 223) (GRP412-1 P 1 2.9 4657 1550 29 14) (GRP413-1 P 1 6.9 9667 2830 60 93) (GRP414-1 P 1 7.2 9576 2786 59 88) (GRP415-1 P 1 3.8 4280 1174 27 15) (GRP416-1 P 1 8.7 12520 3570 62 149) (GRP417-1 P 1 8.8 11457 3374 55 172) (GRP418-1 P 1 3.2 5974 1603 38 24) (GRP419-1 P 1 17 48904 7799 122 54) (GRP420-1 P 1 16 45390 7850 118 94) (GRP421-1 P 1 2.4 5430 1273 25 12) (GRP422-1 P 1 22 51134 7450 95 83) (GRP423-1 P 1 20 46207 7198 96 107) (GRP424-1 P 1 0.3 712 179 17 19) (GRP425-1 P 1 1022 7013514 6815 1303 39) (GRP426-1 P 1 858 5809201 6858 1067 130) (GRP427-1 P 1 2.6 6961 1866 39 109) (GRP428-1 P 1 2.6 6959 1858 39 115) (GRP429-1 P 1 2.9 8493 1974 70 131) (GRP430-1 P 1 0.8 3764 1011 36 92) (GRP431-1 P 1 0.7 3710 1008 31 110) (GRP432-1 P 1 0.8 4097 1035 47 114) (GRP433-1 P 1 0.5 2138 910 22 52) (GRP434-1 P 1 0.5 2103 909 19 49) (GRP435-1 P 1 0.6 3650 999 51 58) (GRP436-1 P 1 15 15745 6051 60 137) (GRP437-1 P 1 15 15415 5698 60 147) (GRP438-1 P 1 15 15506 5871 60 126) (GRP439-1 P 1 12 8045 4531 49 24) (GRP440-1 P 1 17 12318 5144 55 57) (GRP441-1 P 1 19 14065 5747 69 101) (GRP442-1 P 1 18 60625 6647 112 104) (GRP443-1 P 1 19 60612 6637 112 120) (GRP444-1 P 1 18 62029 6738 141 131) (GRP445-1 P 1 0.04 63 27 10 12) (GRP446-1 P 1 0.1 400 62 22 19) (GRP447-1 P 1 0.1 788 79 38 35) (GRP448-1 P 1 0.04 63 27 10 12) (GRP449-1 P 1 0.1 400 62 22 19) (GRP450-1 P 1 0.1 788 79 38 35) (GRP451-1 P 1 0.04 103 44 13 17) (GRP452-1 P 1 0.5 5380 300 55 53) (GRP453-1 P 1 0.5 5674 316 67 60) (GRP454-1 P 1 0.03 8 7 1 6) (GRP455-1 P 1 0.04 51 24 10 14) (GRP456-1 P 1 0.05 190 40 20 26) (GRP457-1 P 1 0.03 8 7 1 6) (GRP458-1 P 1 0.04 51 24 10 14) (GRP459-1 P 1 0.05 190 40 20 26) (GRP460-1 P 1 0.03 8 8 1 6) (GRP461-1 P 1 0.04 37 20 9 13) (GRP462-1 P 1 0.1 351 43 26 28) (GRP463-1 P 1 0.03 8 7 1 6) (GRP464-1 P 1 0.03 37 20 9 13) (GRP465-1 P 1 0.1 351 43 26 28) (GRP466-1 P 1 0.03 26 8 5 7) (GRP467-1 P 1 0.1 145 70 9 12) (GRP468-1 P 1 0.1 375 86 23 26) (GRP469-1 P 1 1.2 2656 1316 28 145) (GRP470-1 P 1 1.0 2280 1176 28 89) (GRP471-1 P 1 1.3 2658 1323 28 126) (GRP472-1 P 1 1.4 2974 1354 28 129) (GRP473-1 P 1 1.2 2881 1270 23 118) (GRP474-1 P 1 1.2 2937 1310 23 127) (GRP475-1 P 1 0.3 1233 305 22 30) (GRP476-1 P 1 0.4 1240 390 22 40) (GRP477-1 P 1 0.4 1371 471 22 64) (GRP478-1 P 1 3.7 7782 2305 39 89) (GRP479-1 P 1 2.4 7084 1669 33 35) (GRP480-1 P 1 2.7 7578 2080 33 55) (GRP481-1 P 1 0.04 26 17 8 11) (GRP482-1 P 1 0.04 46 25 11 16) (GRP483-1 P 1 0.1 399 93 30 31) (GRP484-1 P 1 0.04 36 23 9 13) (GRP485-1 P 1 0.05 141 53 19 26) (GRP486-1 P 1 0.1 401 85 34 41) (GRP487-1 P 1 0.04 36 23 9 13) (GRP488-1 P 1 0.05 110 62 13 24) (GRP489-1 P 1 0.1 347 96 27 41) (GRP490-1 P 1 0.04 53 32 11 15) (GRP491-1 P 1 0.1 107 58 15 23) (GRP492-1 P 1 0.1 366 99 27 40) (GRP493-1 P 1 0.04 33 22 8 11) (GRP494-1 P 1 0.04 112 49 14 20) (GRP495-1 P 1 0.1 338 88 28 34) (GRP496-1 P 1 0.03 18 9 6 9) (GRP497-1 P 1 0.1 236 86 22 27) (GRP498-1 P 1 0.1 453 115 34 42) (GRP499-1 P 1 1.1 3431 1254 26 61) (GRP500-1 P 1 1.0 3391 1199 26 62) (GRP501-1 P 1 1.0 3417 1240 26 69) (GRP502-1 P 1 10 23257 6130 62 76) (GRP503-1 P 1 9.4 23050 5950 54 48) (GRP504-1 P 1 9.9 23355 6132 68 70) (GRP505-1 P 1 1693 3888889 14983 747 112) (GRP506-1 P 1 1684 3894057 16986 765 276) (GRP508-1 P 1 1691 3894851 17000 787 293) (GRP509-1 P 1 0.1 680 158 30 22) (GRP510-1 P 1 0.1 636 157 29 21) (GRP511-1 P 1 1.3 6858 566 75 28) (GRP512-1 P 1 0.1 140 69 12 15) (GRP513-1 P 1 0.1 286 76 21 18) (GRP514-1 P 1 0.05 168 36 14 15) (GRP515-1 P 1 157 130998 4764 219 26) (GRP516-1 P 1 0.05 122 31 13 13) (GRP517-1 P 1 0.1 232 83 16 19) (GRP518-1 P 1 0.04 70 28 8 10) (GRP519-1 P 1 0.1 114 45 10 18) (GRP520-1 P 1 0.04 70 27 8 15) (GRP521-1 P 1 0.04 62 29 9 10) (GRP522-1 P 1 0.04 132 53 11 12) (GRP523-1 P 1 0.1 462 78 29 32) (GRP524-1 P 1 0.1 278 68 21 22) (GRP525-1 P 1 0.04 57 34 9 13) (GRP526-1 P 1 0.04 66 40 9 12) (GRP527-1 P 1 0.1 359 65 25 33) (GRP528-1 P 1 0.1 215 55 18 15) (GRP529-1 P 1 0.04 46 26 9 13) (GRP530-1 P 1 0.04 22 15 6 9) (GRP531-1 P 1 0.1 608 71 31 25) (GRP532-1 P 1 0.1 398 56 22