maxitime ccdid mode hotnum discard update reject replace 365386427.2 0 1 0 0 212718 835 32207 0.000000 365386427.2 1 1 4 0 203460 396 41904 0.000244 365386428.2 2 1 4 0 194338 745 50677 0.000244 365386428.2 3 1 16 0 205317 1598 38845 0.000977 365386428.2 4 1 2 0 205473 834 39453 0.000122 365386429.2 5 1 3 0 209441 291 36028 0.000183 365386429.2 6 1 3 0 226319 260 19181 0.000183 365386430.2 7 1 1 0 226938 290 18532 0.000061 365386430.2 8 1 2 0 226125 429 19206 0.000122 365386430.2 9 1 1 0 223531 216 22013 0.000061 365386431.2 10 1 43 0 223452 667 21641 0.002625 365386431.2 11 1 4 0 207582 286 37892 0.000244 365386431.2 12 1 3 0 205641 555 39564 0.000183 365386432.2 13 1 5 0 227459 308 17993 0.000305 365386432.2 14 1 2 0 226844 0 18916 0.000122 365386433.2 15 1 0 0 226696 0 19064 0.000000 365390557.2 0 1 509 1626 180341 1319 64100 0.130310 365390557.2 1 1 509 152 174232 851 70677 0.040344 365390558.2 2 1 509 926 177512 1331 66917 0.087585 365390558.2 3 1 509 851 173304 2927 69529 0.083008 365390558.2 4 1 509 1294 172620 8574 64566 0.110046 365390559.2 5 1 509 1159 172725 6053 66982 0.101807 365390559.2 6 1 509 1535 180915 2762 62083 0.124756 365390560.2 7 1 509 891 196566 898 48296 0.085449 365390560.2 8 1 509 74 213980 777 31003 0.035583 365390560.2 9 1 47 0 203199 524 42037 0.002869 365390561.2 10 1 471 0 204221 960 40579 0.028748 365390561.2 11 1 63 0 191463 1254 53043 0.003845 365390561.2 12 1 171 0 171985 4629 69146 0.010437 365390562.2 13 1 109 0 174094 6586 65080 0.006653 365390562.2 14 1 94 0 198051 0 47709 0.005737 365390563.2 15 1 157 0 203541 0 42219 0.009583 365391097.2 0 1 0 0 239523 1263 4974 0.000000 365391097.2 1 1 1 0 241845 531 3384 0.000061 365391098.2 2 1 1 0 241365 742 3653 0.000061 365391098.2 3 1 6 0 239426 1244 5090 0.000366 365391099.2 4 1 2 0 238290 1402 6068 0.000122 365391099.2 5 1 2 0 237952 537 7271 0.000122 365391099.2 6 1 2 0 233400 746 11614 0.000122 365391100.2 7 1 1 0 218333 1942 25485 0.000061 365391100.2 8 1 2 0 238266 809 6685 0.000122 365391100.2 9 1 1 0 240783 448 4529 0.000061 365391101.2 10 1 26 0 237684 816 7260 0.001587 365391101.2 11 1 3 0 240759 345 4656 0.000183 365391101.2 12 1 1 0 238457 698 6605 0.000061 365391102.2 13 1 4 0 239300 389 6071 0.000244 365391102.2 14 1 1 0 234834 0 10926 0.000061 365391103.2 15 1 0 0 219686 0 26074 0.000000 365392167.2 0 1 0 0 224744 796 20220 0.000000 365392167.2 1 1 3 0 206460 333 38967 0.000183 365392168.2 2 1 1 0 199217 309 46234 0.000061 365392168.2 3 1 7 0 192788 433 52539 0.000427 365392168.2 4 1 4 0 190082 1129 54549 0.000244 365392169.2 5 1 3 0 213212 143 32405 0.000183 365392169.2 6 1 3 0 226120 231 19409 0.000183 365392170.2 7 1 1 0 226893 464 18403 0.000061 365392170.2 8 1 2 0 226079 451 19230 0.000122 365392170.2 9 1 1 0 225921 148 19691 0.000061 365392171.2 10 1 21 0 225179 290 20291 0.001282 365392171.2 11 1 3 0 215772 256 29732 0.000183 365392171.2 12 1 2 0 225744 519 19497 0.000122 365392172.2 13 1 4 0 227761 189 17810 0.000244 365392172.2 14 1 2 0 226632 0 19128 0.000122 365392173.2 15 1 0 0 226315 0 19445 0.000000 365396097.2 0 1 509 1160 177469 1729 66562 0.101868 365396097.2 1 1 509 18 173004 907 71849 0.032166 365396098.2 2 1 509 815 177124 1072 67564 0.080811 365396098.2 3 1 509 751 175577 1918 68265 0.076904 365396098.2 4 1 509 839 178575 2461 64724 0.082275 365396099.2 5 1 509 898 177338 1914 66508 0.085876 365396099.2 6 1 509 1161 177614 1089 67057 0.101929 365396100.2 7 1 509 342 194563 1193 50004 0.051941 365396100.2 8 1 427 0 211210 897 33653 0.026062 365396100.2 9 1 39 0 203511 504 41745 0.002380 365396101.2 10 1 335 0 204129 641 40990 0.020447 365396101.2 11 1 28 0 196352 752 48656 0.001709 365396101.2 12 1 42 0 191136 1302 53322 0.002563 365396102.2 13 1 58 0 194070 2112 49578 0.003540 365396102.2 14 1 61 0 205955 0 39805 0.003723 365396103.2 15 1 108 0 203522 0 42238 0.006592 365396627.2 0 1 0 0 223631 1310 20819 0.000000 365396627.2 1 1 1 0 240676 528 4556 0.000061 365396628.2 2 1 1 0 240577 998 4185 0.000061 365396628.2 3 1 5 0 239250 1205 5305 0.000305 365396628.2 4 1 2 0 237732 1999 6029 0.000122 365396629.2 5 1 2 0 238388 538 6834 0.000122 365396629.2 6 1 2 0 236573 808 8379 0.000122 365396630.2 7 1 1 0 232565 909 12286 0.000061 365396630.2 8 1 2 0 238205 681 6874 0.000122 365396630.2 9 1 1 0 240978 247 4535 0.000061 365396631.2 10 1 20 0 237563 546 7651 0.001221 365396631.2 11 1 3 0 240234 305 5221 0.000183 365396631.2 12 1 2 0 237715 743 7302 0.000122 365396632.2 13 1 3 0 238555 508 6697 0.000183 365396632.2 14 1 1 0 237277 0 8483 0.000061 365396633.2 15 1 0 0 233326 0 12434 0.000000 365397697.2 0 1 0 0 224012 445 21303 0.000000 365397697.2 1 1 1 0 206779 236 38745 0.000061 365397698.2 2 1 1 0 198439 353 46968 0.000061 365397698.2 3 1 4 0 208017 1018 36725 0.000244 365397698.2 4 1 2 0 207452 1019 37289 0.000122 365397699.2 5 1 3 0 214132 101 31527 0.000183 365397699.2 6 1 2 0 227034 438 18288 0.000122 365397700.2 7 1 1 0 228157 180 17423 0.000061 365397700.2 8 1 2 0 226889 240 18631 0.000122 365397700.2 9 1 1 0 226930 94 18736 0.000061 365397701.2 10 1 19 0 226488 309 18963 0.001160 365397701.2 11 1 3 0 225122 210 20428 0.000183 365397701.2 12 1 2 0 217392 115 28253 0.000122 365397702.2 13 1 55 0 207976 223 37561 0.003357 365397702.2 14 1 1 0 227443 0 18317 0.000061 365397703.2 15 1 0 0 227133 0 18627 0.000000 365401627.2 0 1 509 1649 177693 2795 65272 0.131714 365401627.2 1 1 509 571 175511 2482 67767 0.065918 365401628.2 2 1 509 954 175205 3571 66984 0.089294 365401628.2 3 1 509 946 171796 5749 68215 0.088806 365401628.2 4 1 509 1314 177172 6140 62448 0.111267 365401629.2 5 1 509 1107 180020 2730 63010 0.098633 365401629.2 6 1 509 1605 189255 1202 55303 0.129028 365401630.2 7 1 509 1257 202494 1663 41603 0.107788 365401630.2 8 1 509 60 208661 1836 35263 0.034729 365401630.2 9 1 49 0 197690 1565 46505 0.002991 365401631.2 10 1 423 0 196290 2711 46759 0.025818 365401631.2 11 1 65 0 185659 3054 57047 0.003967 365401631.2 12 1 227 0 183320 3541 58899 0.013855 365401632.2 13 1 115 0 193546 3257 48957 0.007019 365401632.2 14 1 132 0 205963 0 39797 0.008057 365401633.2 15 1 248 0 204751 0 41009 0.015137 365402167.2 0 1 0 0 236550 2184 7026 0.000000 365402167.2 1 1 1 0 240056 828 4876 0.000061 365402168.2 2 1 1 0 239352 880 5528 0.000061 365402168.2 3 1 4 0 235070 2180 8510 0.000244 365402168.2 4 1 2 0 233717 1970 10073 0.000122 365402169.2 5 1 2 0 235334 536 9890 0.000122 365402169.2 6 1 2 0 228460 1012 16288 0.000122 365402170.2 7 1 1 0 215685 1206 28869 0.000061 365402170.2 8 1 2 0 235394 1296 9070 0.000122 365402170.2 9 1 1 0 239497 581 5682 0.000061 365402171.2 10 1 19 0 236742 882 8136 0.001160 365402171.2 11 1 2 0 238578 531 6651 0.000122 365402171.2 12 1 1 0 235450 684 9626 0.000061 365402172.2 13 1 3 0 236490 448 8822 0.000183 365402172.2 14 1 1 0 230718 0 15042 0.000061 365402173.2 15 1 0 0 217617 0 28143 0.000000 365407707.2 0 1 0 0 191142 2025 52593 0.000000 365407707.2 1 1 1 0 194427 951 50382 0.000061 365407708.2 2 1 1 0 178381 1000 66379 0.000061 365407708.2 3 1 3 0 196257 2100 47403 0.000183 365407708.2 4 1 2 0 194785 2305 48670 0.000122 365407709.2 5 1 2 0 195876 666 49218 0.000122 365407709.2 6 1 2 0 202708 1283 41769 0.000122 365407710.2 7 1 1 0 220248 1051 24461 0.000061 365407710.2 8 1 2 0 220208 1026 24526 0.000122 365407710.2 9 1 1 0 212318 479 32963 0.000061 365407711.2 10 1 14 0 214696 1034 30030 0.000854 365407711.2 11 1 3 0 207133 567 38060 0.000183 365407711.2 12 1 1 0 209348 613 35799 0.000061 365407712.2 13 1 51 0 200396 475 44889 0.003113 365407712.2 14 1 1 0 220942 0 24818 0.000061 365407713.2 15 1 0 0 217310 0 28450 0.000000 365413247.2 0 1 0 0 188528 3404 53828 0.000000 365413247.2 1 1 1 0 193125 1524 51111 0.000061 365413248.2 2 1 1 0 177624 1256 66880 0.000061 365413248.2 3 1 3 0 194510 2860 48390 0.000183 365413248.2 4 1 2 0 193261 3028 49471 0.000122 365413249.2 5 1 2 0 195748 786 49226 0.000122 365413249.2 6 1 2 0 201554 1172 43034 0.000122 365413250.2 7 1 1 0 218096 933 26731 0.000061 365413250.2 8 1 2 0 217307 1342 27111 0.000122 365413250.2 9 1 1 0 211474 772 33514 0.000061 365413251.2 10 1 6 0 212533 852 32375 0.000366 365413251.2 11 1 2 0 206654 527 38579 0.000122 365413251.2 12 1 1 0 207326 2102 36332 0.000061 365413252.2 13 1 53 0 198867 1036 45857 0.003235 365413252.2 14 1 1 0 219027 0 26733 0.000061 365413253.2 15 1 0 0 216202 0 29558 0.000000 365418957.2 0 1 0 0 189492 2863 53405 0.000000 365418957.2 1 1 1 0 193549 1483 50728 0.000061 365418958.2 2 1 1 0 179114 1575 65071 0.000061 365418958.2 3 1 3 0 196126 1824 47810 0.000183 365418958.2 4 1 2 0 194574 2274 48912 0.000122 365418959.2 5 1 2 0 196781 493 48486 0.000122 365418959.2 6 1 2 0 202563 958 42239 0.000122 365418960.2 7 1 1 0 219742 707 25311 0.000061 365418960.2 8 1 2 0 220264 1085 24411 0.000122 365418960.2 9 1 1 0 212419 780 32561 0.000061 365418961.2 10 1 3 0 214422 651 30687 0.000183 365418961.2 11 1 3 0 207763 388 37609 0.000183 365418961.2 12 1 1 0 209800 851 35109 0.000061 365418962.2 13 1 48 0 200083 369 45308 0.002930 365418962.2 14 1 1 0 221336 0 24424 0.000061 365418963.2 15 1 0 0 217710 0 28050 0.000000 365424557.2 0 1 0 0 190770 1981 53009 0.000000 365424557.2 1 1 3 0 194904 1060 49796 0.000183 365424558.2 2 1 1 0 183965 1197 60598 0.000061 365424558.2 3 1 3 0 196454 2075 47231 0.000183 365424558.2 4 1 2 0 187382 2268 56110 0.000122 365424559.2 5 1 39 0 191640 676 53444 0.002380 365424559.2 6 1 3 0 205145 597 40018 0.000183 365424560.2 7 1 1 0 221259 770 23731 0.000061 365424560.2 8 1 2 0 219141 1232 25387 0.000122 365424560.2 9 1 1 0 213791 651 31318 0.000061 365424561.2 10 1 3 0 214416 1075 30269 0.000183 365424561.2 11 1 3 0 208612 704 36444 0.000183 365424561.2 12 1 2 0 213471 945 31344 0.000122 365424562.2 13 1 4 0 218892 546 26322 0.000244 365424562.2 14 1 1 0 221120 0 24640 0.000061 365424563.2 15 1 0 0 219303 0 26457 0.000000 365430087.2 0 1 0 0 186729 2772 56259 0.000000 365430087.2 1 1 3 0 170878 996 73886 0.000183 365430088.2 2 1 32 0 179139 1639 64982 0.001953 365430088.2 3 1 4 0 193845 3051 48864 0.000244 365430088.2 4 1 2 0 191259 2260 52241 0.000122 365430089.2 5 1 3 0 192652 746 52362 0.000183 365430089.2 6 1 2 0 197569 1319 46872 0.000122 365430090.2 7 1 1 0 215576 1526 28658 0.000061 365430090.2 8 1 2 0 218224 986 26550 0.000122 365430090.2 9 1 1 0 212842 601 32317 0.000061 365430091.2 10 1 3 0 213395 1531 30834 0.000183 365430091.2 11 1 2 0 204801 2052 38907 0.000122 365430091.2 12 1 2 0 205097 907 39756 0.000122 365430092.2 13 1 4 0 213101 942 31717 0.000244 365430092.2 14 1 1 0 213304 0 32456 0.000061 365430093.2 15 1 0 0 214020 0 31740 0.000000 365435627.2 0 1 0 0 188969 2795 53996 0.000000 365435627.2 1 1 3 0 193701 2000 50059 0.000183 365435628.2 2 1 1 0 183843 1299 60618 0.000061 365435628.2 3 1 4 0 193032 3672 49056 0.000244 365435628.2 4 1 2 0 187817 3902 54041 0.000122 365435629.2 5 1 3 0 186264 2231 57265 0.000183 365435629.2 6 1 2 0 195978 2276 47506 0.000122 365435630.2 7 1 1 0 220329 1209 24222 0.000061 365435630.2 8 1 2 0 219023 1168 25569 0.000122 365435630.2 9 1 1 0 213556 633 31571 0.000061 365435631.2 10 1 2 0 212153 1239 32368 0.000122 365435631.2 11 1 3 0 204851 665 40244 0.000183 365435631.2 12 1 2 0 203056 1220 41484 0.000122 365435632.2 13 1 56 0 191648 2200 51912 0.003418 365435632.2 14 1 1 0 211750 0 34010 0.000061 365435633.2 15 1 0 0 218094 0 27666 0.000000 365440767.2 0 1 0 0 187596 2819 55345 0.000000 365440767.2 1 1 3 0 167722 2195 75843 0.000183 365440768.2 2 1 27 0 171881 3297 70582 0.001648 365440768.2 3 1 4 0 188930 4104 52726 0.000244 365440768.2 4 1 4 0 192303 2828 50629 0.000244 365440769.2 5 1 1 0 193219 893 51648 0.000061 365440769.2 6 1 2 0 199294 1851 44615 0.000122 365440770.2 7 1 1 0 217877 1337 26546 0.000061 365440770.2 8 1 2 0 216442 1342 27976 0.000122 365440770.2 9 1 1 0 208464 965 36331 0.000061 365440771.2 10 1 2 0 204244 2057 39459 0.000122 365440771.2 11 1 3 0 199472 1299 44989 0.000183 365440771.2 12 1 1 0 207110 1268 37382 0.000061 365440772.2 13 1 4 0 212679 954 32127 0.000244 365440772.2 14 1 1 0 216134 0 29626 0.000061 365440773.2 15 1 0 0 216880 0 28880 0.000000 365440943.2 0 1 0 0 229274 4075 12411 0.000000 365440943.2 1 1 3 0 234350 2064 9346 0.000183 365440944.2 2 1 3 0 228410 4027 13323 0.000183 365440944.2 3 1 3 0 217918 7457 20385 0.000183 365440944.2 4 1 4 0 228733 5621 11406 0.000244 365440945.2 5 1 1 0 235488 2543 7729 0.000061 365440945.2 6 1 2 0 230522 2540 12698 0.000122 365440946.2 7 1 1 0 232429 2162 11169 0.000061 365440946.2 8 1 2 0 230619 2964 12177 0.000122 365440946.2 9 1 1 0 234843 1740 9177 0.000061 365440947.2 10 1 2 0 225728 3165 16867 0.000122 365440947.2 11 1 2 0 224244 3842 17674 0.000122 365440947.2 12 1 2 0 232030 3160 10570 0.000122 365440948.2 13 1 4 0 235532 2151 8077 0.000244 365440948.2 14 1 1 0 230675 1030 14055 0.000061 365440948.2 15 1 0 0 231978 1452 12330 0.000000 365446687.2 0 1 0 0 190127 2212 53421 0.000000 365446687.2 1 1 3 0 171289 825 73646 0.000183 365446688.2 2 1 29 0 179524 921 65315 0.001770 365446688.2 3 1 4 0 196393 2158 47209 0.000244 365446688.2 4 1 3 0 195127 2069 48564 0.000183 365446689.2 5 1 0 0 195932 535 49293 0.000000 365446689.2 6 1 2 0 203970 717 41073 0.000122 365446690.2 7 1 1 0 221083 905 23772 0.000061 365446690.2 8 1 2 0 219020 975 25765 0.000122 365446690.2 9 1 1 0 213349 386 32025 0.000061 365446691.2 10 1 2 0 214087 869 30804 0.000122 365446691.2 11 1 4 0 206793 657 38310 0.000244 365446691.2 12 1 1 0 208857 763 36140 0.000061 365446692.2 13 1 4 0 217899 660 27201 0.000244 365446692.2 14 1 1 0 221758 0 24002 0.000061 365446693.2 15 1 0 0 219885 0 25875 0.000000 365452447.2 0 1 0 0 194432 1355 49973 0.000000 365452447.2 1 1 1 0 196055 650 49055 0.000061 365452448.2 2 1 1 0 179167 730 65863 0.000061 365452448.2 3 1 3 0 198100 1491 46169 0.000183 365452448.2 4 1 3 0 198352 1606 45802 0.000183 365452449.2 5 1 1 0 197993 293 47474 0.000061 365452449.2 6 1 2 0 205872 574 39314 0.000122 365452450.2 7 1 1 0 224038 316 21406 0.000061 365452450.2 8 1 2 0 221977 502 23281 0.000122 365452450.2 9 1 1 0 214477 341 30942 0.000061 365452451.2 10 1 2 0 218066 703 26991 0.000122 365452451.2 11 1 2 0 208262 453 37045 0.000122 365452451.2 12 1 1 0 212285 686 32789 0.000061 365452452.2 13 1 4 0 218652 317 26791 0.000244 365452452.2 14 1 1 0 224178 0 21582 0.000061 365452453.2 15 1 0 0 221684 0 24076 0.000000 365458157.3 0 1 0 0 195457 993 49310 0.000000 365458157.3 1 1 1 0 197599 551 47610 0.000061 365458158.3 2 1 1 0 180290 633 64837 0.000061 365458158.3 3 1 3 0 185148 840 59772 0.000183 365458158.3 4 1 3 0 199902 1377 44481 0.000183 365458159.3 5 1 1 0 198685 302 46773 0.000061 365458159.3 6 1 2 0 207144 403 38213 0.000122 365458160.3 7 1 1 0 225816 358 19586 0.000061 365458160.3 8 1 2 0 225047 312 20401 0.000122 365458160.3 9 1 1 0 216151 244 29365 0.000061 365458161.3 10 1 2 0 220450 440 24870 0.000122 365458161.3 11 1 3 0 210372 243 35145 0.000183 365458161.3 12 1 1 0 214109 346 31305 0.000061 365458162.3 13 1 3 0 220559 209 24992 0.000183 365458162.3 14 1 1 0 225441 0 20319 0.000061 365458163.3 15 1 0 0 223357 0 22403 0.000000 365463727.3 0 1 0 0 196480 967 48313 0.000000 365463727.3 1 1 1 0 197304 435 48021 0.000061 365463728.3 2 1 1 0 182728 568 62464 0.000061 365463728.3 3 1 3 0 201035 712 44013 0.000183 365463728.3 4 1 3 0 199951 605 45204 0.000183 365463729.3 5 1 1 0 198752 310 46698 0.000061 365463729.3 6 1 2 0 206957 284 38519 0.000122 365463730.3 7 1 1 0 225409 460 19891 0.000061 365463730.3 8 1 2 0 225018 428 20314 0.000122 365463730.3 9 1 1 0 215918 252 29590 0.000061 365463731.3 10 1 2 0 218992 348 26420 0.000122 365463731.3 11 1 10 0 193343 240 52177 0.000610 365463731.3 12 1 1 0 214351 408 31001 0.000061 365463732.3 13 1 4 0 221212 134 24414 0.000244 365463732.3 14 1 1 0 225779 0 19981 0.000061 365463733.3 15 1 0 0 223372 0 22388 0.000000 365468077.3 0 1 509 1329 181710 1132 62918 0.112183 365468077.3 1 1 509 93 178496 559 66705 0.036743 365468078.3 2 1 509 809 179727 620 65413 0.080444 365468078.3 3 1 509 792 181007 1159 63594 0.079407 365468078.3 4 1 509 1065 186806 1455 57499 0.096069 365468079.3 5 1 509 1003 187410 525 57825 0.092285 365468079.3 6 1 509 1415 191431 569 53760 0.117432 365468080.3 7 1 509 1133 207700 340 37720 0.100220 365468080.3 8 1 347 0 216042 930 28788 0.021179 365468080.3 9 1 90 0 197595 295 47870 0.005493 365468081.3 10 1 165 0 205224 658 39878 0.010071 365468081.3 11 1 10 0 197238 400 48122 0.000610 365468081.3 12 1 15 0 195762 698 49300 0.000916 365468082.3 13 1 47 0 204172 579 41009 0.002869 365468082.3 14 1 46 0 211138 0 34622 0.002808 365468083.3 15 1 95 0 206191 0 39569 0.005798 365469387.3 0 1 0 0 210934 1400 33426 0.000000 365469387.3 1 1 1 0 200045 548 45167 0.000061 365469388.3 2 1 1 0 187766 371 57623 0.000061 365469388.3 3 1 3 0 204030 899 40831 0.000183 365469388.3 4 1 3 0 203640 998 41122 0.000183 365469389.3 5 1 1 0 203635 308 41817 0.000061 365469389.3 6 1 2 0 219920 468 25372 0.000122 365469390.3 7 1 1 0 226705 279 18776 0.000061 365469390.3 8 1 2 0 225280 562 19918 0.000122 365469390.3 9 1 1 0 220295 169 25296 0.000061 365469391.3 10 1 2 0 222343 391 23026 0.000122 365469391.3 11 1 3 0 215968 189 29603 0.000183 365469391.3 12 1 1 0 225426 291 20043 0.000061 365469392.3 13 1 4 0 225313 239 20208 0.000244 365469392.3 14 1 1 0 226170 0 19590 0.000061 365469393.3 15 1 0 0 213362 0 32398 0.000000