maxitime ccdid mode hotnum discard update reject replace 531622640.9 0 1 134 0 202519 1094 42147 0.008179 531622640.9 1 1 19 0 198221 705 46834 0.001160 531622641.9 2 1 16 0 172588 721 72451 0.000977 531622641.9 3 1 22 0 174266 1044 70450 0.001343 531622641.9 4 1 8 0 173914 1292 70554 0.000488 531622642.9 5 1 8 0 191127 619 54014 0.000488 531622642.9 6 1 25 0 201089 589 44082 0.001526 531622643.9 7 1 31 0 217918 974 26868 0.001892 531622643.9 8 1 16 0 224779 405 20576 0.000977 531622643.9 9 1 0 0 219620 304 25836 0.000000 531622644.9 10 1 2 0 205623 322 39815 0.000122 531622644.9 11 1 1 0 203570 266 41924 0.000061 531622644.9 12 1 2 0 193239 522 51999 0.000122 531622645.9 13 1 0 0 208256 1021 36483 0.000000 531622645.9 14 1 0 0 224170 0 21590 0.000000 531622646.9 15 1 3 0 224358 0 21402 0.000183 531623900.9 0 1 1 0 218111 962 26687 0.000061 531623900.9 1 1 0 0 209138 664 35958 0.000000 531623901.9 2 1 0 0 186437 851 58472 0.000000 531623901.9 3 1 1 0 187863 1000 56897 0.000061 531623901.9 4 1 0 0 187440 952 57368 0.000000 531623902.9 5 1 2 0 206515 369 38876 0.000122 531623902.9 6 1 0 0 220134 447 25179 0.000000 531623903.9 7 1 1 0 226955 427 18378 0.000061 531623903.9 8 1 0 0 224090 506 21164 0.000000 531623903.9 9 1 0 0 222358 306 23096 0.000000 531623904.9 10 1 1 0 209183 474 36103 0.000061 531623904.9 11 1 1 0 206789 388 38583 0.000061 531623904.9 12 1 2 0 212959 533 32268 0.000122 531623905.9 13 1 1 0 212783 480 32497 0.000061 531623905.9 14 1 0 0 225322 0 20438 0.000000 531623906.9 15 1 0 0 225803 0 19957 0.000000 531628200.9 0 1 115 0 192762 1120 51878 0.007019 531628200.9 1 1 17 0 191903 672 53185 0.001038 531628201.9 2 1 16 0 168680 835 76245 0.000977 531628201.9 3 1 17 0 169123 1152 75485 0.001038 531628201.9 4 1 8 0 169614 1544 74602 0.000488 531628202.9 5 1 8 0 185501 351 59908 0.000488 531628202.9 6 1 25 0 194434 478 50848 0.001526 531628203.9 7 1 34 0 213565 432 31763 0.002075 531628203.9 8 1 16 0 221545 730 23485 0.000977 531628203.9 9 1 0 0 203115 236 42409 0.000000 531628204.9 10 1 2 0 200598 438 44724 0.000122 531628204.9 11 1 1 0 199743 553 45464 0.000061 531628204.9 12 1 4 0 203912 804 41044 0.000244 531628205.9 13 1 1 0 205377 445 39938 0.000061 531628205.9 14 1 0 0 221231 0 24529 0.000000 531628206.9 15 1 3 0 222507 0 23253 0.000183 531629610.9 0 1 1 0 218895 856 26009 0.000061 531629610.9 1 1 0 0 212375 371 33014 0.000000 531629611.9 2 1 0 0 190880 565 54315 0.000000 531629611.9 3 1 2 0 188668 1143 55949 0.000122 531629611.9 4 1 1 0 188463 724 56573 0.000061 531629612.9 5 1 2 0 209654 296 35810 0.000122 531629612.9 6 1 0 0 223241 442 22077 0.000000 531629613.9 7 1 1 0 227674 256 17830 0.000061 531629613.9 8 1 0 0 226764 476 18520 0.000000 531629613.9 9 1 0 0 218917 324 26519 0.000000 531629614.9 10 1 1 0 196911 505 48344 0.000061 531629614.9 11 1 1 0 209718 503 35539 0.000061 531629614.9 12 1 2 0 213695 380 31685 0.000122 531629615.9 13 1 2 0 213980 304 31476 0.000122 531629615.9 14 1 0 0 227017 0 18743 0.000000 531629616.9 15 1 0 0 226958 0 18802 0.000000 531633780.9 0 1 39 0 191345 1579 52836 0.002380 531633780.9 1 1 6 0 178588 1014 66158 0.000366 531633781.9 2 1 8 0 162114 1009 82637 0.000488 531633781.9 3 1 6 0 167573 1608 76579 0.000366 531633781.9 4 1 3 0 167775 1745 76240 0.000183 531633782.9 5 1 3 0 184008 834 60918 0.000183 531633782.9 6 1 19 0 194157 858 50745 0.001160 531633783.9 7 1 23 0 213743 609 31408 0.001404 531633783.9 8 1 10 0 220092 978 24690 0.000610 531633783.9 9 1 0 0 218115 437 27208 0.000000 531633784.9 10 1 1 0 199622 702 45436 0.000061 531633784.9 11 1 1 0 198814 938 46008 0.000061 531633784.9 12 1 2 0 202266 871 42623 0.000122 531633785.9 13 1 0 0 201501 995 43264 0.000000 531633785.9 14 1 0 0 218829 0 26931 0.000000 531633786.9 15 1 2 0 221762 0 23998 0.000122 531634390.9 0 1 1 0 236981 1052 7727 0.000061 531634390.9 1 1 0 0 242542 876 2342 0.000000 531634391.9 2 1 0 0 242141 1186 2433 0.000000 531634391.9 3 1 1 0 240721 2240 2799 0.000061 531634392.9 4 1 0 0 240640 1580 3540 0.000000 531634392.9 5 1 0 0 241414 808 3538 0.000000 531634392.9 6 1 0 0 240724 912 4124 0.000000 531634393.9 7 1 1 0 240533 920 4307 0.000061 531634393.9 8 1 0 0 241608 574 3578 0.000000 531634393.9 9 1 0 0 241953 603 3204 0.000000 531634394.9 10 1 1 0 241883 607 3270 0.000061 531634394.9 11 1 1 0 242592 590 2578 0.000061 531634394.9 12 1 2 0 242076 873 2811 0.000122 531634395.9 13 1 0 0 241578 890 3292 0.000000 531634395.9 14 1 0 0 241106 0 4654 0.000000 531634396.9 15 1 0 0 240215 0 5545 0.000000 531635390.9 0 1 1 0 219212 809 25739 0.000061 531635390.9 1 1 0 0 195808 443 49509 0.000000 531635391.9 2 1 0 0 174070 413 71277 0.000000 531635391.9 3 1 2 0 189817 498 55445 0.000122 531635391.9 4 1 1 0 188721 663 56376 0.000061 531635392.9 5 1 2 0 210718 219 34823 0.000122 531635392.9 6 1 0 0 224308 184 21268 0.000000 531635393.9 7 1 1 0 227962 294 17504 0.000061 531635393.9 8 1 0 0 227325 329 18106 0.000000 531635393.9 9 1 0 0 224784 128 20848 0.000000 531635394.9 10 1 1 0 210074 266 35420 0.000061 531635394.9 11 1 1 0 211059 235 34466 0.000061 531635394.9 12 1 2 0 214875 274 30611 0.000122 531635395.9 13 1 1 0 215488 223 30049 0.000061 531635395.9 14 1 0 0 226702 0 19058 0.000000 531635396.9 15 1 0 0 226872 0 18888 0.000000 531639350.9 0 1 27 0 195192 2456 48112 0.001648 531639350.9 1 1 6 0 193800 1442 50518 0.000366 531639351.9 2 1 4 0 170739 1713 73308 0.000244 531639351.9 3 1 6 0 171239 2344 72177 0.000366 531639351.9 4 1 4 0 170771 2484 72505 0.000244 531639352.9 5 1 2 0 188882 987 55891 0.000122 531639352.9 6 1 18 0 196750 1098 47912 0.001099 531639353.9 7 1 21 0 215855 832 29073 0.001282 531639353.9 8 1 2 0 220648 1097 24015 0.000122 531639353.9 9 1 0 0 216456 720 28584 0.000000 531639354.9 10 1 1 0 198941 1732 45087 0.000061 531639354.9 11 1 1 0 199302 788 45670 0.000061 531639354.9 12 1 2 0 203432 936 41392 0.000122 531639355.9 13 1 0 0 204781 983 39996 0.000000 531639355.9 14 1 0 0 217764 0 27996 0.000000 531639356.9 15 1 1 0 217856 0 27904 0.000061 531639950.9 0 1 1 0 235645 1700 8415 0.000061 531639950.9 1 1 0 0 240761 1001 3998 0.000000 531639951.9 2 1 0 0 241928 1272 2560 0.000000 531639951.9 3 1 1 0 240053 1932 3775 0.000061 531639951.9 4 1 1 0 238238 3679 3843 0.000061 531639952.9 5 1 0 0 241361 867 3532 0.000000 531639952.9 6 1 0 0 238900 2941 3919 0.000000 531639953.9 7 1 1 0 238075 4614 3071 0.000061 531639953.9 8 1 0 0 240605 603 4552 0.000000 531639953.9 9 1 0 0 241082 590 4088 0.000000 531639954.9 10 1 1 0 241041 878 3841 0.000061 531639954.9 11 1 1 0 241327 1098 3335 0.000061 531639954.9 12 1 2 0 239227 789 5744 0.000122 531639955.9 13 1 0 0 240833 886 4041 0.000000 531639955.9 14 1 0 0 241989 0 3771 0.000000 531639956.9 15 1 0 0 241913 0 3847 0.000000 531640950.9 0 1 1 0 219483 1252 25025 0.000061 531640950.9 1 1 0 0 212527 621 32612 0.000000 531640951.9 2 1 0 0 193520 564 51676 0.000000 531640951.9 3 1 2 0 189811 689 55260 0.000122 531640951.9 4 1 1 0 196704 700 48356 0.000061 531640952.9 5 1 2 0 214635 178 30947 0.000122 531640952.9 6 1 0 0 225020 145 20595 0.000000 531640953.9 7 1 1 0 228030 260 17470 0.000061 531640953.9 8 1 0 0 227307 566 17887 0.000000 531640953.9 9 1 0 0 224598 246 20916 0.000000 531640954.9 10 1 1 0 207998 747 37015 0.000061 531640954.9 11 1 2 0 192342 201 53217 0.000122 531640954.9 12 1 2 0 215885 267 29608 0.000122 531640955.9 13 1 1 0 216448 188 29124 0.000061 531640955.9 14 1 0 0 227209 0 18551 0.000000 531640956.9 15 1 0 0 227313 0 18447 0.000000 531644910.9 0 1 20 0 195809 3193 46758 0.001221 531644910.9 1 1 3 0 194930 1992 48838 0.000183 531644911.9 2 1 3 0 170800 1825 73135 0.000183 531644911.9 3 1 6 0 169597 2841 73322 0.000366 531644911.9 4 1 3 0 168876 3957 72927 0.000183 531644912.9 5 1 2 0 189830 1309 54621 0.000122 531644912.9 6 1 16 0 197755 1509 46496 0.000977 531644913.9 7 1 19 0 214304 1476 29980 0.001160 531644913.9 8 1 0 0 217827 1757 26176 0.000000 531644913.9 9 1 0 0 213749 1067 30944 0.000000 531644914.9 10 1 1 0 199227 1525 45008 0.000061 531644914.9 11 1 1 0 198332 960 46468 0.000061 531644914.9 12 1 2 0 201272 1582 42906 0.000122 531644915.9 13 1 0 0 203358 1312 41090 0.000000 531644915.9 14 1 0 0 216794 0 28966 0.000000 531644916.9 15 1 1 0 215705 0 30055 0.000061 531645510.9 0 1 1 0 238942 1614 5204 0.000061 531645510.9 1 1 0 0 241113 1101 3546 0.000000 531645511.9 2 1 0 0 240055 1852 3853 0.000000 531645511.9 3 1 1 0 237755 2902 5103 0.000061 531645512.9 4 1 1 0 237587 3701 4472 0.000061 531645512.9 5 1 0 0 239431 1002 5327 0.000000 531645512.9 6 1 0 0 239669 958 5133 0.000000 531645513.9 7 1 1 0 239403 1738 4619 0.000061 531645513.9 8 1 0 0 239580 1395 4785 0.000000 531645513.9 9 1 0 0 240867 880 4013 0.000000 531645514.9 10 1 1 0 240640 927 4193 0.000061 531645514.9 11 1 1 0 240566 1069 4125 0.000061 531645514.9 12 1 2 0 239000 977 5783 0.000122 531645515.9 13 1 0 0 239115 1174 5471 0.000000 531645515.9 14 1 0 0 240189 0 5571 0.000000 531645516.9 15 1 0 0 241313 0 4447 0.000000 531651070.9 0 1 1 0 211761 2284 31715 0.000061 531651070.9 1 1 0 0 205420 875 39465 0.000000 531651071.9 2 1 0 0 180708 841 64211 0.000000 531651071.9 3 1 1 0 183452 1823 60485 0.000061 531651071.9 4 1 1 0 182951 1900 60909 0.000061 531651072.9 5 1 1 0 201831 640 43289 0.000061 531651072.9 6 1 0 0 207766 920 37074 0.000000 531651073.9 7 1 1 0 222082 616 23062 0.000061 531651073.9 8 1 0 0 223615 745 21400 0.000000 531651073.9 9 1 0 0 219449 505 25806 0.000000 531651074.9 10 1 1 0 205346 827 39587 0.000061 531651074.9 11 1 1 0 201954 468 43338 0.000061 531651074.9 12 1 2 0 207372 870 37518 0.000122 531651075.9 13 1 0 0 209397 606 35757 0.000000 531651075.9 14 1 0 0 223667 0 22093 0.000000 531651076.9 15 1 0 0 223826 0 21934 0.000000 531656630.9 0 1 1 0 210260 1924 33576 0.000061 531656630.9 1 1 0 0 193373 1046 51341 0.000000 531656631.9 2 1 0 0 170248 1141 74371 0.000000 531656631.9 3 1 1 0 182672 1534 61554 0.000061 531656631.9 4 1 1 0 181619 1988 62153 0.000061 531656632.9 5 1 0 0 201143 822 43795 0.000000 531656632.9 6 1 0 0 209607 835 35318 0.000000 531656633.9 7 1 1 0 223177 616 21967 0.000061 531656633.9 8 1 0 0 220747 1100 23913 0.000000 531656633.9 9 1 0 0 220441 765 24554 0.000000 531656634.9 10 1 1 0 204486 1025 40249 0.000061 531656634.9 11 1 1 0 201319 927 43514 0.000061 531656634.9 12 1 2 0 206054 772 38934 0.000122 531656635.9 13 1 0 0 207566 654 37540 0.000000 531656635.9 14 1 0 0 222235 0 23525 0.000000 531656636.9 15 1 0 0 222630 0 23130 0.000000 531662330.9 0 1 1 0 210398 2634 32728 0.000061 531662330.9 1 1 0 0 191971 999 52790 0.000000 531662331.9 2 1 0 0 171114 1203 73443 0.000000 531662331.9 3 1 2 0 182938 1971 60851 0.000122 531662331.9 4 1 1 0 181068 2559 62133 0.000061 531662332.9 5 1 2 0 200365 1058 44337 0.000122 531662332.9 6 1 0 0 211116 730 33914 0.000000 531662333.9 7 1 1 0 224031 1176 20553 0.000061 531662333.9 8 1 0 0 222408 753 22599 0.000000 531662333.9 9 1 0 0 219449 687 25624 0.000000 531662334.9 10 1 1 0 204285 747 40728 0.000061 531662334.9 11 1 2 0 201094 457 44209 0.000122 531662334.9 12 1 2 0 206614 870 38276 0.000122 531662335.9 13 1 2 0 208057 864 36839 0.000122 531662335.9 14 1 0 0 223853 0 21907 0.000000 531662336.9 15 1 0 0 223807 0 21953 0.000000 531667930.9 0 1 1 0 210919 2469 32372 0.000061 531667930.9 1 1 0 0 204643 982 40135 0.000000 531667931.9 2 1 0 0 180683 1108 63969 0.000000 531667931.9 3 1 2 0 182863 1763 61134 0.000122 531667931.9 4 1 1 0 181483 2670 61607 0.000061 531667932.9 5 1 2 0 200699 692 44369 0.000122 531667932.9 6 1 0 0 206399 856 38505 0.000000 531667933.9 7 1 1 0 220216 775 24769 0.000061 531667933.9 8 1 0 0 222168 1044 22548 0.000000 531667933.9 9 1 0 0 217821 584 27355 0.000000 531667934.9 10 1 1 0 204226 1191 40343 0.000061 531667934.9 11 1 1 0 200491 1067 44202 0.000061 531667934.9 12 1 2 0 206467 788 38505 0.000122 531667935.9 13 1 0 0 208829 478 36453 0.000000 531667935.9 14 1 0 0 222931 0 22829 0.000000 531667936.9 15 1 0 0 223082 0 22678 0.000000 531673480.9 0 1 1 0 209482 2878 33400 0.000061 531673480.9 1 1 0 0 204001 1664 40095 0.000000 531673481.9 2 1 0 0 180221 1294 64245 0.000000 531673481.9 3 1 1 0 182010 2518 61232 0.000061 531673481.9 4 1 1 0 177315 3360 65085 0.000061 531673482.9 5 1 0 0 185532 927 59301 0.000000 531673482.9 6 1 0 0 209169 883 35708 0.000000 531673483.9 7 1 1 0 220939 1064 23757 0.000061 531673483.9 8 1 0 0 221068 1573 23119 0.000000 531673483.9 9 1 0 0 217864 688 27208 0.000000 531673484.9 10 1 1 0 203567 990 41203 0.000061 531673484.9 11 1 1 0 201360 643 43757 0.000061 531673484.9 12 1 2 0 209238 1277 35245 0.000122 531673485.9 13 1 0 0 208204 673 36883 0.000000 531673485.9 14 1 0 0 221895 0 23865 0.000000 531673486.9 15 1 0 0 222057 0 23703 0.000000 531679040.9 0 1 1 0 203606 2642 39512 0.000061 531679040.9 1 1 0 0 203725 1091 40944 0.000000 531679041.9 2 1 0 0 179848 1299 64613 0.000000 531679041.9 3 1 2 0 181370 2120 62270 0.000122 531679041.9 4 1 1 0 181432 2034 62294 0.000061 531679042.9 5 1 2 0 198760 851 46149 0.000122 531679042.9 6 1 0 0 209050 1055 35655 0.000000 531679043.9 7 1 1 0 221968 752 23040 0.000061 531679043.9 8 1 0 0 221496 939 23325 0.000000 531679043.9 9 1 0 0 217888 565 27307 0.000000 531679044.9 10 1 1 0 203718 1296 40746 0.000061 531679044.9 11 1 1 0 201047 937 43776 0.000061 531679044.9 12 1 2 0 206046 821 38893 0.000122 531679045.9 13 1 0 0 206919 950 37891 0.000000 531679045.9 14 1 0 0 221083 0 24677 0.000000 531679046.9 15 1 0 0 222620 0 23140 0.000000 531684230.9 0 1 1 0 206127 2557 37076 0.000061 531684230.9 1 1 0 0 201562 2183 42015 0.000000 531684231.9 2 1 0 0 173012 3369 69379 0.000000 531684231.9 3 1 1 0 170898 6074 68788 0.000061 531684231.9 4 1 1 0 177166 4193 64401 0.000061 531684232.9 5 1 0 0 199204 1125 45431 0.000000 531684232.9 6 1 0 0 205488 1222 39050 0.000000 531684233.9 7 1 1 0 219802 1088 24870 0.000061 531684233.9 8 1 0 0 219523 1627 24610 0.000000 531684233.9 9 1 0 0 214655 967 30138 0.000000 531684234.9 10 1 1 0 197142 1604 47014 0.000061 531684234.9 11 1 1 0 179362 2208 64190 0.000061 531684234.9 12 1 2 0 202402 1662 41696 0.000122 531684235.9 13 1 0 0 205496 974 39290 0.000000 531684235.9 14 1 0 0 217771 0 27989 0.000000 531684236.9 15 1 0 0 220414 0 25346 0.000000 531684440.9 0 1 1 0 231535 3604 10621 0.000061 531684440.9 1 1 0 0 238472 1576 5712 0.000000 531684441.9 2 1 0 0 237646 2464 5650 0.000000 531684441.9 3 1 1 0 232857 3988 8915 0.000061 531684442.9 4 1 1 0 231268 5632 8860 0.000061 531684442.9 5 1 0 0 236007 1719 8034 0.000000 531684442.9 6 1 0 0 235553 1937 8270 0.000000 531684443.9 7 1 1 0 236954 1301 7505 0.000061 531684443.9 8 1 0 0 235970 1262 8528 0.000000 531684443.9 9 1 0 0 237105 970 7685 0.000000 531684444.9 10 1 1 0 235776 1579 8405 0.000061 531684444.9 11 1 1 0 234583 1651 9526 0.000061 531684444.9 12 1 2 0 234501 1869 9390 0.000122 531684445.9 13 1 0 0 235817 2206 7737 0.000000 531684445.9 14 1 0 0 237399 0 8361 0.000000 531684446.9 15 1 0 0 238497 0 7263 0.000000 531690180.9 0 1 1 0 210074 1391 34295 0.000061 531690180.9 1 1 0 0 204997 883 39880 0.000000 531690181.9 2 1 0 0 179711 957 65092 0.000000 531690181.9 3 1 2 0 182760 1887 61113 0.000122 531690181.9 4 1 1 0 181452 1974 62334 0.000061 531690182.9 5 1 2 0 200320 786 44654 0.000122 531690182.9 6 1 0 0 209204 1798 34758 0.000000 531690183.9 7 1 1 0 223858 913 20989 0.000061 531690183.9 8 1 0 0 222729 1075 21956 0.000000 531690183.9 9 1 0 0 218652 746 26362 0.000000 531690184.9 10 1 1 0 204413 980 40367 0.000061 531690184.9 11 1 1 0 201263 705 43792 0.000061 531690184.9 12 1 2 0 205182 949 39629 0.000122 531690185.9 13 1 1 0 193132 840 51788 0.000061 531690185.9 14 1 0 0 224098 0 21662 0.000000 531690186.9 15 1 0 0 224159 0 21601 0.000000 531695970.9 0 1 1 0 211823 1326 32611 0.000061 531695970.9 1 1 0 0 206352 454 38954 0.000000 531695971.9 2 1 0 0 181791 548 63421 0.000000 531695971.9 3 1 2 0 183474 1434 60852 0.000122 531695971.9 4 1 1 0 181367 938 63455 0.000061 531695972.9 5 1 2 0 186750 393 58617 0.000122 531695972.9 6 1 0 0 211504 512 33744 0.000000 531695973.9 7 1 3 0 226382 567 18811 0.000183 531695973.9 8 1 0 0 225350 636 19774 0.000000 531695973.9 9 1 0 0 220463 268 25029 0.000000 531695974.9 10 1 1 0 206306 560 38894 0.000061 531695974.9 11 1 1 0 202784 307 42669 0.000061 531695974.9 12 1 2 0 207759 517 37484 0.000122 531695975.9 13 1 1 0 209733 350 35677 0.000061 531695975.9 14 1 0 0 225707 0 20053 0.000000 531695976.9 15 1 0 0 226086 0 19674 0.000000 531701670.9 0 1 1 0 208420 896 36444 0.000061 531701670.9 1 1 0 0 206640 637 38483 0.000000 531701671.9 2 1 0 0 181467 596 63697 0.000000 531701671.9 3 1 1 0 185398 888 59474 0.000061 531701671.9 4 1 1 0 184044 864 60852 0.000061 531701672.9 5 1 2 0 201635 402 43723 0.000122 531701672.9 6 1 0 0 212463 401 32896 0.000000 531701673.9 7 1 3 0 226332 359 19069 0.000183 531701673.9 8 1 0 0 226225 614 18921 0.000000 531701673.9 9 1 0 0 220646 268 24846 0.000000 531701674.9 10 1 1 0 207578 370 37812 0.000061 531701674.9 11 1 1 0 203095 278 42387 0.000061 531701674.9 12 1 2 0 208265 465 37030 0.000122 531701675.9 13 1 2 0 210248 291 35221 0.000122 531701675.9 14 1 0 0 225773 0 19987 0.000000 531701676.9 15 1 0 0 226278 0 19482 0.000000