maxitime ccdid mode hotnum discard update reject replace 538965687.8 0 1 3 0 197837 10311 37612 0.000183 538965687.8 1 1 0 0 182702 2915 60143 0.000000 538965688.8 2 1 0 0 178274 2522 64964 0.000000 538965688.8 3 1 3 0 192028 4814 48918 0.000183 538965688.8 4 1 3 0 190945 4528 50287 0.000183 538965689.8 5 1 4 0 204695 3475 37590 0.000244 538965689.8 6 1 1 0 201936 3997 39827 0.000061 538965690.8 7 1 0 0 218193 5267 22300 0.000000 538965690.8 8 1 0 0 218645 3709 23406 0.000000 538965690.8 9 1 18 0 209976 2827 32957 0.001099 538965691.8 10 1 234 0 200876 5367 39517 0.014282 538965691.8 11 1 3 0 190383 4306 51071 0.000183 538965691.8 12 1 2 0 191236 3694 50830 0.000122 538965692.8 13 1 0 0 202461 4706 38593 0.000000 538965692.8 14 1 2 0 208474 2307 34979 0.000122 538965693.8 15 1 1 0 220486 3490 21784 0.000061 538971709.8 0 1 3 0 198901 9856 37003 0.000183 538971709.8 1 1 0 0 183591 2778 59391 0.000000 538971710.8 2 1 0 0 178760 2433 64567 0.000000 538971710.8 3 1 3 0 193487 4281 47992 0.000183 538971710.8 4 1 3 0 193909 3534 48317 0.000183 538971711.8 5 1 4 0 206320 3200 36240 0.000244 538971711.8 6 1 1 0 203711 2930 39119 0.000061 538971712.8 7 1 0 0 219671 4414 21675 0.000000 538971712.8 8 1 0 0 219819 3134 22807 0.000000 538971712.8 9 1 18 0 209810 3420 32530 0.001099 538971713.8 10 1 234 0 202586 4715 38459 0.014282 538971713.8 11 1 3 0 193494 2380 49886 0.000183 538971713.8 12 1 2 0 192779 3086 49895 0.000122 538971714.8 13 1 0 0 205302 3727 36731 0.000000 538971714.8 14 1 0 0 208331 2344 35085 0.000000 538971715.8 15 1 1 0 221729 3025 21006 0.000061 538977456.8 0 1 3 0 201024 8114 36622 0.000183 538977456.8 1 1 0 0 185166 1931 58663 0.000000 538977457.8 2 1 0 0 179106 2572 64082 0.000000 538977457.8 3 1 3 0 194139 4623 46998 0.000183 538977457.8 4 1 3 0 194347 3403 48010 0.000183 538977458.8 5 1 4 0 206292 3052 36416 0.000244 538977458.8 6 1 1 0 204267 2319 39174 0.000061 538977459.8 7 1 0 0 221051 3493 21216 0.000000 538977459.8 8 1 0 0 221332 3285 21143 0.000000 538977459.8 9 1 18 0 211627 2318 31815 0.001099 538977460.8 10 1 234 0 204932 3481 37347 0.014282 538977460.8 11 1 3 0 194408 2506 48846 0.000183 538977460.8 12 1 2 0 194649 2557 48554 0.000122 538977461.8 13 1 0 0 207393 2453 35914 0.000000 538977461.8 14 1 0 0 209317 2070 34373 0.000000 538977462.8 15 1 1 0 223267 2692 19801 0.000061 538982369.8 0 1 3 0 199353 9727 36680 0.000183 538982369.8 1 1 0 0 190442 3556 51762 0.000000 538982370.8 2 1 6 0 186935 2721 56104 0.000366 538982370.8 3 1 3 0 192276 4903 48581 0.000183 538982370.8 4 1 3 0 193312 4071 48377 0.000183 538982371.8 5 1 4 0 205687 3787 36286 0.000244 538982371.8 6 1 0 0 202767 3788 39205 0.000000 538982372.8 7 1 0 0 219077 4635 22048 0.000000 538982372.8 8 1 0 0 220973 3780 21007 0.000000 538982372.8 9 1 33 0 199586 2299 43875 0.002014 538982373.8 10 1 253 0 203455 3972 38333 0.015442 538982373.8 11 1 3 0 193174 2877 49709 0.000183 538982373.8 12 1 2 0 191201 3679 50880 0.000122 538982374.8 13 1 0 0 205704 3259 36797 0.000000 538982374.8 14 1 1 0 209530 1995 34235 0.000061 538982375.8 15 1 1 0 222457 3252 20051 0.000061 538983068.8 0 1 3 0 201410 7651 36699 0.000183 538983068.8 1 1 0 0 192315 2783 50662 0.000000 538983069.8 2 1 1 0 177937 2508 65315 0.000061 538983069.8 3 1 3 0 181681 3574 60505 0.000183 538983069.8 4 1 3 0 193534 3559 48667 0.000183 538983070.8 5 1 4 0 205687 3441 36632 0.000244 538983070.8 6 1 0 0 204251 2474 39035 0.000000 538983071.8 7 1 0 0 218125 5689 21946 0.000000 538983071.8 8 1 0 0 220576 3202 21982 0.000000 538983071.8 9 1 26 0 211366 2620 31774 0.001587 538983072.8 10 1 247 0 201519 4779 39462 0.015076 538983072.8 11 1 3 0 194462 2349 48949 0.000183 538983072.8 12 1 2 0 193219 2752 49789 0.000122 538983073.8 13 1 0 0 206372 4195 35193 0.000000 538983073.8 14 1 1 0 209952 2237 33571 0.000061 538983074.8 15 1 1 0 221276 3608 20876 0.000061 538987930.8 0 1 3 0 200594 9420 35746 0.000183 538987930.8 1 1 0 0 193065 2210 50485 0.000000 538987931.8 2 1 12 0 186693 2822 56245 0.000732 538987931.8 3 1 3 0 195820 2883 47057 0.000183 538987931.8 4 1 3 0 195034 3204 47522 0.000183 538987932.8 5 1 4 0 207470 2809 35481 0.000244 538987932.8 6 1 0 0 197168 2314 46278 0.000000 538987933.8 7 1 0 0 212823 4087 28850 0.000000 538987933.8 8 1 0 0 222308 2853 20599 0.000000 538987933.8 9 1 35 0 212015 2714 31031 0.002136 538987934.8 10 1 263 0 204540 3967 37253 0.016052 538987934.8 11 1 3 0 194147 3040 48573 0.000183 538987934.8 12 1 2 0 194047 2541 49172 0.000122 538987935.8 13 1 0 0 207399 3023 35338 0.000000 538987935.8 14 1 0 0 210433 2035 33292 0.000000 538987936.8 15 1 1 0 223779 2590 19391 0.000061 538993489.8 0 1 3 0 200657 9366 35737 0.000183 538993489.8 1 1 0 0 193387 1946 50427 0.000000 538993490.8 2 1 14 0 187846 1785 56129 0.000854 538993490.8 3 1 3 0 196573 3025 46162 0.000183 538993490.8 4 1 3 0 196023 2592 47145 0.000183 538993491.8 5 1 4 0 207830 2409 35521 0.000244 538993491.8 6 1 0 0 205069 2267 38424 0.000000 538993492.8 7 1 0 0 222759 3855 19146 0.000000 538993492.8 8 1 0 0 223811 2115 19834 0.000000 538993492.8 9 1 35 0 212597 2554 30609 0.002136 538993493.8 10 1 264 0 206268 2957 36535 0.016113 538993493.8 11 1 3 0 195172 2788 47800 0.000183 538993493.8 12 1 2 0 194118 2809 48833 0.000122 538993494.8 13 1 0 0 209360 2196 34204 0.000000 538993494.8 14 1 1 0 205718 1551 38491 0.000061 538993495.8 15 1 1 0 220877 1682 23201 0.000061 538999052.8 0 1 3 0 200180 10089 35491 0.000183 538999052.8 1 1 0 0 193511 2072 50177 0.000000 538999053.8 2 1 14 0 189184 1869 54707 0.000854 538999053.8 3 1 3 0 196423 3061 46276 0.000183 538999053.8 4 1 3 0 195868 2244 47648 0.000183 538999054.8 5 1 4 0 208017 2378 35365 0.000244 538999054.8 6 1 1 0 198036 1550 46174 0.000061 538999055.8 7 1 0 0 216107 2908 26745 0.000000 538999055.8 8 1 0 0 223112 2791 19857 0.000000 538999055.8 9 1 37 0 212201 2485 31074 0.002258 538999056.8 10 1 280 0 205485 3561 36714 0.017090 538999056.8 11 1 3 0 195558 2251 47951 0.000183 538999056.8 12 1 2 0 196124 1929 47707 0.000122 538999057.8 13 1 0 0 208985 2820 33955 0.000000 538999057.8 14 1 2 0 211552 1690 32518 0.000122 538999058.8 15 1 1 0 224617 2547 18596 0.000061 539004611.8 0 1 3 0 200876 9542 35342 0.000183 539004611.8 1 1 1 0 186743 1561 57456 0.000061 539004612.8 2 1 17 0 181061 1649 63050 0.001038 539004612.8 3 1 3 0 197570 2463 45727 0.000183 539004612.8 4 1 4 0 195791 2772 47197 0.000244 539004613.8 5 1 4 0 209192 2030 34538 0.000244 539004613.8 6 1 1 0 206101 1772 37887 0.000061 539004614.8 7 1 0 0 223516 2907 19337 0.000000 539004614.8 8 1 0 0 223404 2160 20196 0.000000 539004614.8 9 1 38 0 213328 2146 30286 0.002319 539004615.8 10 1 292 0 205258 3546 36956 0.017822 539004615.8 11 1 3 0 194531 2820 48409 0.000183 539004615.8 12 1 2 0 194971 2248 48541 0.000122 539004616.8 13 1 0 0 208911 2115 34734 0.000000 539004616.8 14 1 1 0 211410 1807 32543 0.000061 539004617.8 15 1 1 0 224132 2314 19314 0.000061 539010173.8 0 1 3 0 200509 9487 35764 0.000183 539010173.8 1 1 0 0 193352 2324 50084 0.000000 539010174.8 2 1 12 0 189052 1860 54848 0.000732 539010174.8 3 1 3 0 195533 3457 46770 0.000183 539010174.8 4 1 4 0 195110 2936 47714 0.000244 539010175.8 5 1 5 0 208194 2464 35102 0.000305 539010175.8 6 1 1 0 205519 2231 38010 0.000061 539010176.8 7 1 0 0 222375 3611 19774 0.000000 539010176.8 8 1 0 0 222495 3049 20216 0.000000 539010176.8 9 1 39 0 206146 1971 37643 0.002380 539010177.8 10 1 302 0 194003 2795 48962 0.018433 539010177.8 11 1 3 0 194253 2735 48772 0.000183 539010177.8 12 1 2 0 194335 2155 49270 0.000122 539010178.8 13 1 0 0 208430 2482 34848 0.000000 539010178.8 14 1 1 0 211218 1655 32887 0.000061 539010179.8 15 1 1 0 224289 2332 19139 0.000061 539015734.9 0 1 3 0 200619 9740 35401 0.000183 539015734.9 1 1 0 0 192500 2818 50442 0.000000 539015735.9 2 1 3 0 187908 2475 55377 0.000183 539015735.9 3 1 3 0 196196 3068 46496 0.000183 539015735.9 4 1 3 0 194722 2989 48049 0.000183 539015736.9 5 1 4 0 207482 2460 35818 0.000244 539015736.9 6 1 1 0 197163 2178 46419 0.000061 539015737.9 7 1 0 0 214097 3685 27978 0.000000 539015737.9 8 1 0 0 221930 2471 21359 0.000000 539015737.9 9 1 36 0 212641 2593 30526 0.002197 539015738.9 10 1 270 0 204826 3440 37494 0.016479 539015738.9 11 1 3 0 194444 2740 48576 0.000183 539015738.9 12 1 2 0 194474 2594 48692 0.000122 539015739.9 13 1 0 0 207754 3323 34683 0.000000 539015739.9 14 1 1 0 211233 1835 32692 0.000061 539015740.9 15 1 1 0 223783 2612 19365 0.000061 539021295.9 0 1 3 0 199260 10268 36232 0.000183 539021295.9 1 1 0 0 192767 2242 50751 0.000000 539021296.9 2 1 1 0 187838 2173 55749 0.000061 539021296.9 3 1 3 0 195715 3162 46883 0.000183 539021296.9 4 1 3 0 194306 2894 48560 0.000183 539021297.9 5 1 4 0 207830 2545 35385 0.000244 539021297.9 6 1 1 0 203781 2683 39296 0.000061 539021298.9 7 1 0 0 223127 3064 19569 0.000000 539021298.9 8 1 0 0 222768 2868 20124 0.000000 539021298.9 9 1 27 0 205751 2088 37921 0.001648 539021299.9 10 1 277 0 192828 3515 49417 0.016907 539021299.9 11 1 3 0 193391 3018 49351 0.000183 539021299.9 12 1 2 0 193041 2930 49789 0.000122 539021300.9 13 1 0 0 207013 2632 36115 0.000000 539021300.9 14 1 1 0 210698 1974 33088 0.000061 539021301.9 15 1 1 0 223336 2676 19748 0.000061 539026855.9 0 1 9 0 194715 6845 44200 0.000549 539026855.9 1 1 0 0 193008 2287 50465 0.000000 539026856.9 2 1 0 0 187239 2834 55687 0.000000 539026856.9 3 1 3 0 195232 3393 47135 0.000183 539026856.9 4 1 3 0 194870 3194 47696 0.000183 539026857.9 5 1 4 0 208070 2411 35279 0.000244 539026857.9 6 1 1 0 204914 2717 38129 0.000061 539026858.9 7 1 0 0 221944 3896 19920 0.000000 539026858.9 8 1 0 0 222754 2466 20540 0.000000 539026858.9 9 1 25 0 212412 2742 30606 0.001526 539026859.9 10 1 261 0 204363 4300 37097 0.015930 539026859.9 11 1 3 0 193810 2707 49243 0.000183 539026859.9 12 1 2 0 194113 2613 49034 0.000122 539026860.9 13 1 0 0 207197 3275 35288 0.000000 539026860.9 14 1 1 0 210538 2086 33136 0.000061 539026861.9 15 1 1 0 223152 1986 20622 0.000061 539032416.9 0 1 3 0 201516 8586 35658 0.000183 539032416.9 1 1 0 0 184941 1916 58903 0.000000 539032417.9 2 1 0 0 180468 2217 63075 0.000000 539032417.9 3 1 3 0 196093 3056 46611 0.000183 539032417.9 4 1 3 0 195096 2430 48234 0.000183 539032418.9 5 1 4 0 207879 2445 35436 0.000244 539032418.9 6 1 1 0 205474 1982 38304 0.000061 539032419.9 7 1 0 0 222430 3036 20294 0.000000 539032419.9 8 1 0 0 222341 2814 20605 0.000000 539032419.9 9 1 18 0 212668 2454 30638 0.001099 539032420.9 10 1 248 0 204400 3737 37623 0.015137 539032420.9 11 1 3 0 193129 3607 49024 0.000183 539032420.9 12 1 2 0 193816 2517 49427 0.000122 539032421.9 13 1 0 0 208254 2384 35122 0.000000 539032421.9 14 1 1 0 211005 1681 33074 0.000061 539032422.9 15 1 1 0 224061 2334 19365 0.000061 539037977.9 0 1 3 0 199310 10773 35677 0.000183 539037977.9 1 1 0 0 193352 1804 50604 0.000000 539037978.9 2 1 0 0 187829 1580 56351 0.000000 539037978.9 3 1 3 0 196095 3157 46508 0.000183 539037978.9 4 1 3 0 193995 3667 48098 0.000183 539037979.9 5 1 4 0 193545 2111 50104 0.000244 539037979.9 6 1 0 0 205172 2156 38432 0.000000 539037980.9 7 1 0 0 222588 3849 19323 0.000000 539037980.9 8 1 0 0 220587 3784 21389 0.000000 539037980.9 9 1 18 0 212573 2575 30612 0.001099 539037981.9 10 1 244 0 205344 3247 37169 0.014893 539037981.9 11 1 3 0 194380 3009 48371 0.000183 539037981.9 12 1 2 0 195219 2556 47985 0.000122 539037982.9 13 1 0 0 208613 2987 34160 0.000000 539037982.9 14 1 1 0 210651 1877 33232 0.000061 539037983.9 15 1 1 0 224670 2085 19005 0.000061 539043538.9 0 1 5 0 198278 11032 36450 0.000305 539043538.9 1 1 0 0 192787 2398 50575 0.000000 539043539.9 2 1 1 0 188807 1828 55125 0.000061 539043539.9 3 1 3 0 195549 3137 47074 0.000183 539043539.9 4 1 3 0 192272 3433 50055 0.000183 539043540.9 5 1 7 0 192025 2485 51250 0.000427 539043540.9 6 1 1 0 204116 2648 38996 0.000061 539043541.9 7 1 0 0 220729 4119 20912 0.000000 539043541.9 8 1 0 0 221946 2500 21314 0.000000 539043541.9 9 1 18 0 212251 2633 30876 0.001099 539043542.9 10 1 274 0 204492 3627 37641 0.016724 539043542.9 11 1 3 0 193294 3218 49248 0.000183 539043542.9 12 1 2 0 193507 3231 49022 0.000122 539043543.9 13 1 0 0 205856 4332 35572 0.000000 539043543.9 14 1 1 0 210362 2110 33288 0.000061 539043544.9 15 1 1 0 222903 3160 19697 0.000061 539049099.9 0 1 4 0 197990 10416 37354 0.000244 539049099.9 1 1 0 0 191474 2789 51497 0.000000 539049100.9 2 1 1 0 187170 2820 55770 0.000061 539049100.9 3 1 3 0 193966 4106 47688 0.000183 539049100.9 4 1 3 0 192484 3479 49797 0.000183 539049101.9 5 1 5 0 204224 4540 36996 0.000305 539049101.9 6 1 1 0 202235 3847 39678 0.000061 539049102.9 7 1 0 0 217103 5638 23019 0.000000 539049102.9 8 1 0 0 213181 4008 28571 0.000000 539049102.9 9 1 18 0 211062 3010 31688 0.001099 539049103.9 10 1 269 0 201823 4183 39754 0.016418 539049103.9 11 1 3 0 190901 4093 50766 0.000183 539049103.9 12 1 2 0 191585 3936 50239 0.000122 539049104.9 13 1 0 0 204883 3980 36897 0.000000 539049104.9 14 1 1 0 208490 2830 34440 0.000061 539049105.9 15 1 1 0 220728 3557 21475 0.000061