maxitime ccdid mode hotnum discard update reject replace 536980815.0 0 1 1 0 213386 3615 28759 0.000061 536980815.0 1 1 0 0 206808 2105 36847 0.000000 536980816.0 2 1 0 0 181379 1969 62412 0.000000 536980816.0 3 1 0 0 184847 2753 58160 0.000000 536980816.0 4 1 1 0 183716 2910 59134 0.000061 536980817.0 5 1 1 0 202483 1540 41737 0.000061 536980817.0 6 1 0 0 212706 1750 31304 0.000000 536980818.0 7 1 1 0 226334 2427 16999 0.000061 536980818.0 8 1 0 0 225180 2880 17700 0.000000 536980818.0 9 1 0 0 220244 1575 23941 0.000000 536980819.0 10 1 1 0 205761 1948 38051 0.000061 536980819.0 11 1 1 0 203321 1350 41089 0.000061 536980819.0 12 1 1 0 195514 2371 47875 0.000061 536980820.0 13 1 1 0 209967 1948 33845 0.000061 536980820.0 14 1 0 0 225341 2393 18026 0.000000 536980821.0 15 1 0 0 225153 1948 18659 0.000000 536986549.0 0 1 1 0 214621 2407 28732 0.000061 536986549.0 1 1 0 0 207240 1469 37051 0.000000 536986550.0 2 1 0 0 182391 1181 62188 0.000000 536986550.0 3 1 0 0 184653 3051 58056 0.000000 536986550.0 4 1 1 0 182699 3940 59121 0.000061 536986551.0 5 1 1 0 202414 1479 41867 0.000061 536986551.0 6 1 0 0 213505 1449 30806 0.000000 536986552.0 7 1 1 0 227496 1627 16637 0.000061 536986552.0 8 1 0 0 226182 2467 17111 0.000000 536986552.0 9 1 0 0 221491 937 23332 0.000000 536986553.0 10 1 1 0 207218 1858 36684 0.000061 536986553.0 11 1 0 0 203120 1438 41202 0.000000 536986553.0 12 1 1 0 209219 1909 34632 0.000061 536986554.0 13 1 0 0 210295 1348 34117 0.000000 536986554.0 14 1 0 0 225983 1804 17973 0.000000 536986555.0 15 1 0 0 224761 1723 19276 0.000000 536992262.0 0 1 1 0 225950 3306 16504 0.000061 536992262.0 1 1 0 0 218800 1266 25694 0.000000 536992262.0 2 1 0 0 194171 1688 49901 0.000000 536992263.0 3 1 0 0 197180 2195 46385 0.000000 536992263.0 4 1 1 0 197978 2310 45472 0.000061 536992263.0 5 1 1 0 204608 1374 39778 0.000061 536992264.0 6 1 0 0 212522 2122 31116 0.000000 536992264.0 7 1 1 0 229972 1843 13945 0.000061 536992264.0 8 1 0 0 224711 3658 17391 0.000000 536992265.0 9 1 0 0 210389 1291 34080 0.000000 536992265.0 10 1 1 0 207299 1851 36610 0.000061 536992266.0 11 1 0 0 201936 1407 42417 0.000000 536992266.0 12 1 2 0 208444 2489 34827 0.000122 536992266.0 13 1 0 0 210157 1535 34068 0.000000 536992267.0 14 1 0 0 227166 1465 17129 0.000000 536992267.0 15 1 0 0 225196 1779 18785 0.000000 536997169.0 0 1 1 0 215809 2481 27470 0.000061 536997169.0 1 1 0 0 207964 1415 36381 0.000000 536997170.0 2 1 0 0 182197 1467 62096 0.000000 536997170.0 3 1 0 0 185239 2524 57997 0.000000 536997170.0 4 1 1 0 185435 1791 58534 0.000061 536997171.0 5 1 0 0 203295 1108 41357 0.000000 536997171.0 6 1 0 0 212463 2498 30799 0.000000 536997172.0 7 1 1 0 227637 1247 16876 0.000061 536997172.0 8 1 0 0 226873 1846 17041 0.000000 536997172.0 9 1 0 0 208550 888 36322 0.000000 536997173.0 10 1 1 0 207798 1740 36222 0.000061 536997173.0 11 1 0 0 203658 1276 40826 0.000000 536997173.0 12 1 1 0 209155 1822 34783 0.000061 536997174.0 13 1 0 0 210716 1151 33893 0.000000 536997174.0 14 1 0 0 226340 1382 18038 0.000000 536997175.0 15 1 0 0 226400 1219 18141 0.000000 537002727.0 0 1 1 0 214386 2421 28953 0.000061 537002727.0 1 1 0 0 208301 973 36486 0.000000 537002728.0 2 1 0 0 181650 1595 62515 0.000000 537002728.0 3 1 0 0 185548 1891 58321 0.000000 537002728.0 4 1 1 0 184809 2261 58690 0.000061 537002729.0 5 1 1 0 194735 1023 50002 0.000061 537002729.0 6 1 0 0 202546 1306 41908 0.000000 537002730.0 7 1 1 0 227247 1777 16736 0.000061 537002730.0 8 1 0 0 225628 2506 17626 0.000000 537002730.0 9 1 0 0 220901 1258 23601 0.000000 537002731.0 10 1 1 0 208222 1527 36011 0.000061 537002731.0 11 1 0 0 203803 1249 40708 0.000000 537002731.0 12 1 1 0 209675 1859 34226 0.000061 537002732.0 13 1 0 0 212596 978 32186 0.000000 537002732.0 14 1 0 0 226331 1725 17704 0.000000 537002733.0 15 1 0 0 226024 1285 18451 0.000000 537008286.0 0 1 1 0 214619 2455 28686 0.000061 537008286.0 1 1 0 0 207402 1625 36733 0.000000 537008287.0 2 1 0 0 180997 2117 62646 0.000000 537008287.0 3 1 0 0 184023 3728 58009 0.000000 537008287.0 4 1 1 0 183865 3021 58874 0.000061 537008288.0 5 1 0 0 202480 2126 41154 0.000000 537008288.0 6 1 0 0 213191 2212 30357 0.000000 537008289.0 7 1 1 0 226930 1725 17105 0.000061 537008289.0 8 1 0 0 224606 3849 17305 0.000000 537008289.0 9 1 0 0 220216 1666 23878 0.000000 537008290.0 10 1 1 0 206821 2392 36547 0.000061 537008290.0 11 1 0 0 202725 1731 41304 0.000000 537008290.0 12 1 2 0 209152 1848 34760 0.000122 537008291.0 13 1 0 0 208364 1350 36046 0.000000 537008291.0 14 1 0 0 221103 1717 22940 0.000000 537008292.0 15 1 0 0 225484 1490 18786 0.000000 537013846.0 0 1 1 0 213213 3068 29479 0.000061 537013846.0 1 1 0 0 206455 1965 37340 0.000000 537013847.0 2 1 0 0 181606 1843 62311 0.000000 537013847.0 3 1 0 0 183929 3212 58619 0.000000 537013847.0 4 1 1 0 183524 2986 59250 0.000061 537013848.0 5 1 1 0 193173 1870 50717 0.000061 537013848.0 6 1 0 0 200705 2198 42857 0.000000 537013849.0 7 1 1 0 225893 2609 17258 0.000061 537013849.0 8 1 0 0 224592 3376 17792 0.000000 537013849.0 9 1 0 0 220264 1276 24220 0.000000 537013850.0 10 1 1 0 206995 1800 36965 0.000061 537013850.0 11 1 1 0 202442 2033 41285 0.000061 537013850.0 12 1 2 0 208801 2084 34875 0.000122 537013851.0 13 1 1 0 212147 1442 32171 0.000061 537013851.0 14 1 0 0 224744 2763 18253 0.000000 537013852.0 15 1 0 0 224236 3071 18453 0.000000 537019403.0 0 1 1 0 207408 3559 34793 0.000061 537019403.0 1 1 0 0 206560 2064 37136 0.000000 537019404.0 2 1 0 0 181540 2156 62064 0.000000 537019404.0 3 1 0 0 184433 3465 57862 0.000000 537019404.0 4 1 0 0 181399 5061 59300 0.000000 537019405.0 5 1 1 0 202045 2034 41681 0.000061 537019405.0 6 1 0 0 212520 2367 30873 0.000000 537019406.0 7 1 1 0 225768 2468 17524 0.000061 537019406.0 8 1 0 0 223812 3977 17971 0.000000 537019406.0 9 1 0 0 219264 1968 24528 0.000000 537019407.0 10 1 1 0 205931 2824 37005 0.000061 537019407.0 11 1 0 0 202136 2143 41481 0.000000 537019407.0 12 1 2 0 207799 2812 35149 0.000122 537019408.0 13 1 0 0 209775 1925 34060 0.000000 537019408.0 14 1 0 0 224010 2684 19066 0.000000 537019409.0 15 1 0 0 225114 2083 18563 0.000000 537024962.0 0 1 1 0 211221 5719 28820 0.000061 537024962.0 1 1 0 0 206539 2489 36732 0.000000 537024963.0 2 1 0 0 181173 2640 61947 0.000000 537024963.0 3 1 0 0 183520 3759 58481 0.000000 537024963.0 4 1 1 0 182827 3872 59061 0.000061 537024964.0 5 1 1 0 201935 1979 41846 0.000061 537024964.0 6 1 0 0 212059 2648 31053 0.000000 537024965.0 7 1 1 0 225383 2464 17913 0.000061 537024965.0 8 1 0 0 223043 4336 18381 0.000000 537024965.0 9 1 0 0 216749 2363 26648 0.000000 537024966.0 10 1 1 0 193490 3207 49063 0.000061 537024966.0 11 1 0 0 201752 2270 41738 0.000000 537024966.0 12 1 1 0 206866 3087 35807 0.000061 537024967.0 13 1 0 0 209420 2094 34246 0.000000 537024967.0 14 1 0 0 224025 2987 18748 0.000000 537024968.0 15 1 0 0 223216 3160 19384 0.000000 537030520.0 0 1 1 0 211436 4618 29706 0.000061 537030520.0 1 1 0 0 205762 2754 37244 0.000000 537030521.0 2 1 0 0 180720 2541 62499 0.000000 537030521.0 3 1 0 0 182753 4178 58829 0.000000 537030521.0 4 1 1 0 182195 3970 59595 0.000061 537030522.0 5 1 0 0 201907 2723 41130 0.000000 537030522.0 6 1 0 0 210314 3443 32003 0.000000 537030523.0 7 1 0 0 224039 3208 18513 0.000000 537030523.0 8 1 0 0 222838 4289 18633 0.000000 537030523.0 9 1 0 0 219580 1749 24431 0.000000 537030524.0 10 1 1 0 204770 3451 37539 0.000061 537030524.0 11 1 0 0 202603 2136 41021 0.000000 537030524.0 12 1 2 0 207476 3137 35147 0.000122 537030525.0 13 1 0 0 206941 2280 36539 0.000000 537030525.0 14 1 0 0 218675 3154 23931 0.000000 537030526.0 15 1 0 0 222331 3430 19999 0.000000 537036079.0 0 1 1 0 208959 5561 31240 0.000061 537036079.0 1 1 0 0 204351 3591 37818 0.000000 537036080.0 2 1 0 0 180029 2421 63310 0.000000 537036080.0 3 1 0 0 182478 4155 59127 0.000000 537036080.0 4 1 1 0 181682 3953 60125 0.000061 537036081.0 5 1 1 0 192455 2048 51257 0.000061 537036081.0 6 1 0 0 198774 3596 43390 0.000000 537036082.0 7 1 1 0 224026 3649 18085 0.000061 537036082.0 8 1 0 0 222421 4452 18887 0.000000 537036082.0 9 1 0 0 218480 2102 25178 0.000000 537036083.0 10 1 0 0 204496 2952 38312 0.000000 537036083.0 11 1 0 0 201803 2178 41779 0.000000 537036083.0 12 1 2 0 205302 4029 36429 0.000122 537036084.0 13 1 0 0 208774 2527 34459 0.000000 537036084.0 14 1 0 0 222846 3478 19436 0.000000 537036085.0 15 1 0 0 222795 3241 19724 0.000000 537041636.0 0 1 1 0 208440 5186 32134 0.000061 537041636.0 1 1 0 0 205777 2212 37771 0.000000 537041637.0 2 1 0 0 179850 2915 62995 0.000000 537041637.0 3 1 0 0 183360 3499 58901 0.000000 537041637.0 4 1 1 0 181378 4568 59814 0.000061 537041638.0 5 1 1 0 200123 2713 42924 0.000061 537041638.0 6 1 0 0 210338 3045 32377 0.000000 537041639.0 7 1 1 0 224015 3746 17999 0.000061 537041639.0 8 1 0 0 222141 4351 19268 0.000000 537041639.0 9 1 0 0 218313 2761 24686 0.000000 537041640.0 10 1 0 0 204276 3927 37557 0.000000 537041640.0 11 1 1 0 200757 2057 42946 0.000061 537041640.0 12 1 2 0 193005 3787 48968 0.000122 537041641.0 13 1 0 0 208370 2363 35027 0.000000 537041641.0 14 1 0 0 222842 3456 19462 0.000000 537041642.0 15 1 0 0 222698 3282 19780 0.000000 537047196.0 0 1 1 0 209872 4151 31737 0.000061 537047196.0 1 1 0 0 205405 2460 37895 0.000000 537047197.0 2 1 0 0 179531 2746 63483 0.000000 537047197.0 3 1 0 0 183260 3446 59054 0.000000 537047197.0 4 1 1 0 181643 4468 59649 0.000061 537047198.0 5 1 1 0 191031 2993 51736 0.000061 537047198.0 6 1 0 0 198388 3379 43993 0.000000 537047199.0 7 1 1 0 224757 2866 18137 0.000061 537047199.0 8 1 0 0 223308 3764 18688 0.000000 537047199.0 9 1 0 0 218544 2376 24840 0.000000 537047200.0 10 1 0 0 204524 3701 37535 0.000000 537047200.0 11 1 0 0 201649 2175 41936 0.000000 537047200.0 12 1 2 0 205828 3475 36457 0.000122 537047201.0 13 1 2 0 208438 2377 34945 0.000122 537047201.0 14 1 1 0 222882 3160 19718 0.000061 537047202.0 15 1 0 0 223409 2925 19426 0.000000 537052854.0 0 1 1 0 210217 4191 31352 0.000061 537052854.0 1 1 0 0 204612 3323 37825 0.000000 537052855.0 2 1 0 0 180554 2133 63073 0.000000 537052855.0 3 1 0 0 181850 3489 60421 0.000000 537052855.0 4 1 1 0 175756 3112 66892 0.000061 537052856.0 5 1 1 0 200360 2084 43316 0.000061 537052856.0 6 1 0 0 210522 2726 32512 0.000000 537052857.0 7 1 1 0 224549 3710 17501 0.000061 537052857.0 8 1 0 0 223933 3795 18032 0.000000 537052857.0 9 1 0 0 219670 1476 24614 0.000000 537052858.0 10 1 1 0 205692 2675 37393 0.000061 537052858.0 11 1 1 0 201700 1854 42206 0.000061 537052858.0 12 1 2 0 206604 2501 36655 0.000122 537052859.0 13 1 2 0 209142 2196 34422 0.000122 537052859.0 14 1 1 0 223798 3265 18697 0.000061 537052860.0 15 1 0 0 224143 2567 19050 0.000000 537058467.0 0 1 1 0 210646 3946 31168 0.000061 537058467.0 1 1 0 0 205470 2379 37911 0.000000 537058468.0 2 1 0 0 181018 1865 62877 0.000000 537058468.0 3 1 0 0 183446 3162 59152 0.000000 537058468.0 4 1 1 0 182199 3550 60011 0.000061 537058469.0 5 1 1 0 200019 2397 43344 0.000061 537058469.0 6 1 0 0 210438 3084 32238 0.000000 537058470.0 7 1 1 0 225373 2790 17597 0.000061 537058470.0 8 1 0 0 224230 3249 18281 0.000000 537058470.0 9 1 0 0 220145 1384 24231 0.000000 537058471.0 10 1 1 0 206073 2274 37413 0.000061 537058471.0 11 1 2 0 201349 2144 42267 0.000122 537058471.0 12 1 2 0 205085 3194 37481 0.000122 537058472.0 13 1 3 0 194080 1766 49914 0.000183 537058472.0 14 1 1 0 223561 2698 19501 0.000061 537058473.0 15 1 0 0 223626 2917 19217 0.000000