maxitime ccdid mode hotnum discard update reject replace 534904884.1 0 1 1 0 206448 8367 30945 0.000061 534904884.1 1 1 0 0 190943 4589 50228 0.000000 534904885.1 2 1 0 0 169191 4558 72011 0.000000 534904885.1 3 1 0 0 179594 7040 59126 0.000000 534904885.1 4 1 1 0 178035 7293 60432 0.000061 534904886.1 5 1 2 0 197986 4050 43724 0.000122 534904886.1 6 1 0 0 206535 5812 33413 0.000000 534904887.1 7 1 1 0 220278 5588 19894 0.000061 534904887.1 8 1 0 0 216739 7952 21069 0.000000 534904887.1 9 1 0 0 216770 5134 23856 0.000000 534904888.1 10 1 1 0 199741 7219 38800 0.000061 534904888.1 11 1 1 0 198784 4270 42706 0.000061 534904888.1 12 1 2 0 203310 5231 37219 0.000122 534904889.1 13 1 1 0 205466 4227 36067 0.000061 534904889.1 14 1 0 0 218823 5759 21178 0.000000 534904890.1 15 1 0 0 218007 6220 21533 0.000000 534910445.1 0 1 1 0 202286 10171 33303 0.000061 534910445.1 1 1 0 0 200134 4829 40797 0.000000 534910446.1 2 1 0 0 178592 4937 62231 0.000000 534910446.1 3 1 0 0 178701 7251 59808 0.000000 534910446.1 4 1 1 0 174219 8305 63236 0.000061 534910447.1 5 1 2 0 181977 5398 58385 0.000122 534910447.1 6 1 0 0 205266 6792 33702 0.000000 534910448.1 7 1 1 0 218745 6740 20275 0.000061 534910448.1 8 1 0 0 214204 10273 21283 0.000000 534910448.1 9 1 0 0 214743 4172 26845 0.000000 534910449.1 10 1 1 0 199427 7052 39281 0.000061 534910449.1 11 1 2 0 197815 4633 43312 0.000122 534910449.1 12 1 2 0 203963 6141 35656 0.000122 534910450.1 13 1 2 0 204538 5289 35933 0.000122 534910450.1 14 1 0 0 217155 6904 21701 0.000000 534910451.1 15 1 0 0 218512 5371 21877 0.000000 534916010.1 0 1 1 0 206521 8306 30933 0.000061 534916010.1 1 1 0 0 196637 7549 41574 0.000000 534916011.1 2 1 0 0 171183 10670 63907 0.000000 534916011.1 3 1 0 0 174042 10041 61677 0.000000 534916011.1 4 1 1 0 171613 7175 66972 0.000061 534916012.1 5 1 2 0 198101 4430 43229 0.000122 534916012.1 6 1 0 0 208449 4729 32582 0.000000 534916013.1 7 1 1 0 221868 4817 19075 0.000061 534916013.1 8 1 0 0 215638 8465 21657 0.000000 534916013.1 9 1 0 0 209620 7419 28721 0.000000 534916014.1 10 1 1 0 193506 10149 42105 0.000061 534916014.1 11 1 1 0 201255 5435 39070 0.000061 534916014.1 12 1 2 0 203954 4904 36902 0.000122 534916015.1 13 1 1 0 206756 3289 35715 0.000061 534916015.1 14 1 0 0 220170 5064 20526 0.000000 534916016.1 15 1 0 0 221435 3681 20644 0.000000 534921565.1 0 1 1 0 209417 6322 30021 0.000061 534921565.1 1 1 0 0 202960 4078 38722 0.000000 534921566.1 2 1 0 0 172378 8588 64794 0.000000 534921566.1 3 1 0 0 180267 5812 59681 0.000000 534921566.1 4 1 1 0 180395 5205 60160 0.000061 534921567.1 5 1 2 0 199279 3203 43278 0.000122 534921567.1 6 1 0 0 209365 4599 31796 0.000000 534921568.1 7 1 1 0 223330 4117 18313 0.000061 534921568.1 8 1 0 0 221069 5066 19625 0.000000 534921568.1 9 1 0 0 216325 3797 25638 0.000000 534921569.1 10 1 1 0 194832 7791 43137 0.000061 534921569.1 11 1 2 0 186172 3036 56552 0.000122 534921569.1 12 1 2 0 205049 4283 36428 0.000122 534921570.1 13 1 2 0 208183 2755 34822 0.000122 534921570.1 14 1 0 0 221725 4700 19335 0.000000 534921571.1 15 1 0 0 222143 3825 19792 0.000000 534927130.1 0 1 1 0 205891 3925 35944 0.000061 534927130.1 1 1 0 0 205210 2892 37658 0.000000 534927131.1 2 1 0 0 180140 3229 62391 0.000000 534927131.1 3 1 0 0 182552 4114 59094 0.000000 534927131.1 4 1 1 0 182034 4239 59487 0.000061 534927132.1 5 1 2 0 201092 2532 42136 0.000122 534927132.1 6 1 0 0 211406 2867 31487 0.000000 534927133.1 7 1 1 0 225042 3542 17176 0.000061 534927133.1 8 1 0 0 222872 4468 18420 0.000000 534927133.1 9 1 0 0 218621 2796 24343 0.000000 534927134.1 10 1 1 0 204482 3586 37692 0.000061 534927134.1 11 1 2 0 201524 2260 41976 0.000122 534927134.1 12 1 2 0 207894 2604 35262 0.000122 534927135.1 13 1 2 0 209633 2149 33978 0.000122 534927135.1 14 1 0 0 223499 3483 18778 0.000000 534927136.1 15 1 0 0 224362 2596 18802 0.000000 534932685.1 0 1 1 0 211876 4718 29166 0.000061 534932685.1 1 1 0 0 205942 2468 37350 0.000000 534932686.1 2 1 0 0 181545 2026 62189 0.000000 534932686.1 3 1 0 0 184014 3138 58608 0.000000 534932686.1 4 1 1 0 182037 3711 60012 0.000061 534932687.1 5 1 2 0 201788 1992 41980 0.000122 534932687.1 6 1 0 0 211716 2629 31415 0.000000 534932688.1 7 1 1 0 224755 2656 18349 0.000061 534932688.1 8 1 0 0 221502 5034 19224 0.000000 534932688.1 9 1 0 0 219165 2566 24029 0.000000 534932689.1 10 1 1 0 205842 2943 36975 0.000061 534932689.1 11 1 1 0 202295 1667 41798 0.000061 534932689.1 12 1 2 0 207690 2722 35348 0.000122 534932690.1 13 1 1 0 209749 1847 34164 0.000061 534932690.1 14 1 0 0 224283 2161 19316 0.000000 534932691.1 15 1 0 0 224607 2160 18993 0.000000 534938250.1 0 1 1 0 214190 3105 28465 0.000061 534938250.1 1 1 0 0 206579 1696 37485 0.000000 534938251.1 2 1 0 0 181278 2481 62001 0.000000 534938251.1 3 1 0 0 182795 4591 58374 0.000000 534938251.1 4 1 1 0 183311 3074 59375 0.000061 534938252.1 5 1 2 0 201865 1827 42068 0.000122 534938252.1 6 1 0 0 212337 2429 30994 0.000000 534938253.1 7 1 1 0 225826 2435 17499 0.000061 534938253.1 8 1 0 0 223206 3518 19036 0.000000 534938253.1 9 1 0 0 219888 1854 24018 0.000000 534938254.1 10 1 1 0 206030 2704 37026 0.000061 534938254.1 11 1 2 0 202585 1539 41636 0.000122 534938254.1 12 1 2 0 208376 2615 34769 0.000122 534938255.1 13 1 0 0 209600 2473 33687 0.000000 534938255.1 14 1 0 0 224770 2631 18359 0.000000 534938256.1 15 1 0 0 225162 1674 18924 0.000000 534943814.1 0 1 1 0 212995 4087 28678 0.000061 534943814.1 1 1 0 0 206800 1943 37017 0.000000 534943815.1 2 1 0 0 181898 1856 62006 0.000000 534943815.1 3 1 0 0 184355 3166 58239 0.000000 534943815.1 4 1 1 0 183436 3270 59054 0.000061 534943816.1 5 1 2 0 202132 1775 41853 0.000122 534943816.1 6 1 0 0 212530 2178 31052 0.000000 534943817.1 7 1 1 0 225392 2479 17889 0.000061 534943817.1 8 1 0 0 222713 3963 19084 0.000000 534943817.1 9 1 0 0 220142 1916 23702 0.000000 534943818.1 10 1 0 0 206005 2894 36861 0.000000 534943818.1 11 1 0 0 202646 1801 41313 0.000000 534943818.1 12 1 2 0 208513 2405 34842 0.000122 534943819.1 13 1 0 0 210089 1903 33768 0.000000 534943819.1 14 1 0 0 225050 2419 18291 0.000000 534943820.1 15 1 0 0 224954 2246 18560 0.000000 534949370.1 0 1 1 0 212057 4575 29128 0.000061 534949370.1 1 1 0 0 195008 1556 49196 0.000000 534949371.1 2 1 0 0 171724 1930 72106 0.000000 534949371.1 3 1 0 0 183809 3294 58657 0.000000 534949371.1 4 1 1 0 182005 4070 59685 0.000061 534949372.1 5 1 1 0 201730 2215 41815 0.000061 534949372.1 6 1 0 0 211120 3756 30884 0.000000 534949373.1 7 1 1 0 226254 2381 17125 0.000061 534949373.1 8 1 0 0 224575 2991 18194 0.000000 534949373.1 9 1 0 0 221234 1770 22756 0.000000 534949374.1 10 1 1 0 205971 2876 36913 0.000061 534949374.1 11 1 0 0 202840 1758 41162 0.000000 534949374.1 12 1 2 0 207740 2769 35251 0.000122 534949375.1 13 1 0 0 210126 1979 33655 0.000000 534949375.1 14 1 0 0 222715 3852 19193 0.000000 534949376.1 15 1 0 0 223763 2840 19157 0.000000 534954934.1 0 1 1 0 212031 4319 29410 0.000061 534954934.1 1 1 0 0 206280 2355 37125 0.000000 534954935.1 2 1 0 0 181967 1708 62085 0.000000 534954935.1 3 1 0 0 184971 2907 57882 0.000000 534954935.1 4 1 1 0 182511 4226 59023 0.000061 534954936.1 5 1 1 0 201587 2285 41888 0.000061 534954936.1 6 1 0 0 211382 3418 30960 0.000000 534954937.1 7 1 1 0 224537 3011 18212 0.000061 534954937.1 8 1 0 0 223748 3840 18172 0.000000 534954937.1 9 1 0 0 217170 1997 26593 0.000000 534954938.1 10 1 1 0 194370 2545 48845 0.000061 534954938.1 11 1 0 0 202045 2073 41642 0.000000 534954938.1 12 1 2 0 208083 2761 34916 0.000122 534954939.1 13 1 0 0 209542 2114 34104 0.000000 534954939.1 14 1 0 0 223446 3730 18584 0.000000 534954940.1 15 1 0 0 223902 2619 19239 0.000000 534960490.1 0 1 1 0 212299 4196 29265 0.000061 534960490.1 1 1 0 0 195584 2318 47858 0.000000 534960491.1 2 1 0 0 170952 2516 72292 0.000000 534960491.1 3 1 0 0 184239 3254 58267 0.000000 534960491.1 4 1 1 0 182108 4392 59260 0.000061 534960492.1 5 1 0 0 204144 2305 39311 0.000000 534960492.1 6 1 0 0 211543 2931 31286 0.000000 534960493.1 7 1 1 0 225063 2659 18038 0.000061 534960493.1 8 1 0 0 223885 3603 18272 0.000000 534960493.1 9 1 0 0 220812 2278 22670 0.000000 534960494.1 10 1 0 0 205661 2936 37163 0.000000 534960494.1 11 1 0 0 202545 2027 41188 0.000000 534960494.1 12 1 2 0 208802 2681 34277 0.000122 534960495.1 13 1 0 0 210057 2112 33591 0.000000 534960495.1 14 1 0 0 223586 3436 18738 0.000000 534960496.1 15 1 0 0 223592 3278 18890 0.000000 534966054.1 0 1 1 0 214257 3275 28228 0.000061 534966054.1 1 1 0 0 206635 2553 36572 0.000000 534966055.1 2 1 0 0 181413 2066 62281 0.000000 534966055.1 3 1 0 0 184433 3368 57959 0.000000 534966055.1 4 1 0 0 183033 3811 58916 0.000000 534966056.1 5 1 0 0 202537 1936 41287 0.000000 534966056.1 6 1 0 0 212584 2649 30527 0.000000 534966057.1 7 1 1 0 225965 2478 17317 0.000061 534966057.1 8 1 0 0 224132 3517 18111 0.000000 534966057.1 9 1 0 0 217185 2194 26381 0.000000 534966058.1 10 1 1 0 194367 2809 48584 0.000061 534966058.1 11 1 0 0 202904 1920 40936 0.000000 534966058.1 12 1 2 0 208556 2783 34421 0.000122 534966059.1 13 1 0 0 210331 1888 33541 0.000000 534966059.1 14 1 0 0 224966 2118 18676 0.000000 534966060.1 15 1 0 0 224626 2014 19120 0.000000 534971615.1 0 1 1 0 213291 3744 28725 0.000061 534971615.1 1 1 0 0 194714 2001 49045 0.000000 534971616.1 2 1 0 0 171386 2128 72246 0.000000 534971616.1 3 1 0 0 184814 2995 57951 0.000000 534971616.1 4 1 1 0 181806 4993 58961 0.000061 534971617.1 5 1 0 0 202535 1741 41484 0.000000 534971617.1 6 1 0 0 211913 2794 31053 0.000000 534971618.1 7 1 1 0 225437 2899 17424 0.000061 534971618.1 8 1 0 0 223644 3872 18244 0.000000 534971618.1 9 1 0 0 221249 1984 22527 0.000000 534971619.1 10 1 1 0 205612 3205 36943 0.000061 534971619.1 11 1 0 0 202151 2348 41261 0.000000 534971619.1 12 1 2 0 209293 2077 34390 0.000122 534971620.1 13 1 0 0 210058 2063 33639 0.000000 534971620.1 14 1 0 0 224231 2742 18787 0.000000 534971621.1 15 1 0 0 223964 2730 19066 0.000000 534977179.1 0 1 1 0 212445 4209 29106 0.000061 534977179.1 1 1 0 0 206432 2288 37040 0.000000 534977180.1 2 1 0 0 181693 2129 61938 0.000000 534977180.1 3 1 0 0 184103 3633 58024 0.000000 534977180.1 4 1 1 0 182925 3873 58962 0.000061 534977181.1 5 1 0 0 202130 1941 41689 0.000000 534977181.1 6 1 0 0 212072 2491 31197 0.000000 534977182.1 7 1 1 0 225055 3168 17537 0.000061 534977182.1 8 1 0 0 223423 4132 18205 0.000000 534977182.1 9 1 0 0 219261 2352 24147 0.000000 534977183.1 10 1 1 0 206128 2877 36755 0.000061 534977183.1 11 1 0 0 202499 2116 41145 0.000000 534977183.1 12 1 2 0 207648 3114 34998 0.000122 534977184.1 13 1 0 0 209753 2138 33869 0.000000 534977184.1 14 1 0 0 224058 3013 18689 0.000000 534977185.1 15 1 0 0 223031 2187 20542 0.000000 534982735.2 0 1 1 0 211153 5237 29370 0.000061 534982735.2 1 1 0 0 205050 3630 37080 0.000000 534982736.2 2 1 0 0 180984 2704 62072 0.000000 534982736.2 3 1 0 0 183291 4091 58378 0.000000 534982736.2 4 1 1 0 181808 4619 59333 0.000061 534982737.2 5 1 0 0 201696 2500 41564 0.000000 534982737.2 6 1 0 0 208385 3163 34212 0.000000 534982738.2 7 1 1 0 222371 2842 20547 0.000061 534982738.2 8 1 0 0 222476 4499 18785 0.000000 534982738.2 9 1 0 0 218106 3018 24636 0.000000 534982739.2 10 1 0 0 203855 4599 37306 0.000000 534982739.2 11 1 0 0 202736 2365 40659 0.000000 534982739.2 12 1 2 0 208194 2763 34803 0.000122 534982740.2 13 1 0 0 208419 3193 34148 0.000000 534982740.2 14 1 0 0 222554 3862 19344 0.000000 534982741.2 15 1 0 0 223305 2677 19778 0.000000 534988299.2 0 1 1 0 207511 7462 30787 0.000061 534988299.2 1 1 0 0 204453 3802 37505 0.000000 534988300.2 2 1 0 0 179472 3879 62409 0.000000 534988300.2 3 1 0 0 179934 7375 58451 0.000000 534988300.2 4 1 0 0 179623 6630 59507 0.000000 534988301.2 5 1 0 0 199967 3688 42105 0.000000 534988301.2 6 1 0 0 207949 5494 32317 0.000000 534988302.2 7 1 1 0 221004 4970 19786 0.000061 534988302.2 8 1 0 0 217368 7870 20522 0.000000 534988302.2 9 1 0 0 217018 3444 25298 0.000000 534988303.2 10 1 0 0 203579 4194 37987 0.000000 534988303.2 11 1 0 0 200818 3344 41598 0.000000 534988303.2 12 1 2 0 204547 5273 35940 0.000122 534988304.2 13 1 0 0 207322 3545 34893 0.000000 534988304.2 14 1 0 0 220647 5424 19689 0.000000 534988305.2 15 1 0 0 219335 4351 22074 0.000000