maxitime ccdid mode hotnum discard update reject replace 535511279.5 0 1 1 0 217772 2984 25004 0.000061 535511279.5 1 1 0 0 210855 1580 33325 0.000000 535511280.5 2 1 0 0 176215 1541 68004 0.000000 535511280.5 3 1 0 0 177277 1525 66958 0.000000 535511280.5 4 1 1 0 188033 2071 55656 0.000061 535511281.5 5 1 2 0 208844 1353 35563 0.000122 535511281.5 6 1 0 0 223101 1881 20778 0.000000 535511282.5 7 1 1 0 227320 1825 16615 0.000061 535511282.5 8 1 0 0 225865 2688 17207 0.000000 535511282.5 9 1 0 0 223983 1525 20252 0.000000 535511283.5 10 1 1 0 209597 2129 34034 0.000061 535511283.5 11 1 0 0 210860 1912 32988 0.000000 535511283.5 12 1 2 0 214020 1722 30018 0.000122 535511284.5 13 1 0 0 214340 1065 30355 0.000000 535511284.5 14 1 0 0 226118 1920 17722 0.000000 535511285.5 15 1 0 0 226207 1543 18010 0.000000 535516845.5 0 1 1 0 218359 2490 24911 0.000061 535516845.5 1 1 0 0 212619 1139 32002 0.000000 535516846.5 2 1 0 0 191022 1343 53395 0.000000 535516846.5 3 1 0 0 187911 2340 55509 0.000000 535516846.5 4 1 1 0 187926 1903 55931 0.000061 535516847.5 5 1 2 0 209485 1064 35211 0.000122 535516847.5 6 1 0 0 223207 1722 20831 0.000000 535516848.5 7 1 1 0 227035 2140 16585 0.000061 535516848.5 8 1 0 0 225992 2737 17031 0.000000 535516848.5 9 1 0 0 219670 1338 24752 0.000000 535516849.5 10 1 1 0 196482 2047 47231 0.000061 535516849.5 11 1 0 0 209585 1310 34865 0.000000 535516849.5 12 1 2 0 214655 1292 29813 0.000122 535516850.5 13 1 0 0 214506 1305 29949 0.000000 535516850.5 14 1 0 0 226973 1520 17267 0.000000 535516851.5 15 1 0 0 226427 1627 17706 0.000000 535522415.5 0 1 1 0 217678 2654 25428 0.000061 535522415.5 1 1 0 0 209883 1464 34413 0.000000 535522416.5 2 1 0 0 188212 1463 56085 0.000000 535522416.5 3 1 0 0 188250 1461 56049 0.000000 535522416.5 4 1 1 0 182860 2241 60659 0.000061 535522417.5 5 1 2 0 189872 1105 54783 0.000122 535522417.5 6 1 0 0 221046 1715 22999 0.000000 535522418.5 7 1 1 0 226707 1524 17529 0.000061 535522418.5 8 1 0 0 226038 2289 17433 0.000000 535522418.5 9 1 0 0 222379 1879 21502 0.000000 535522419.5 10 1 1 0 209346 1539 34875 0.000061 535522419.5 11 1 1 0 208676 882 36202 0.000061 535522419.5 12 1 2 0 214009 1414 30337 0.000122 535522420.5 13 1 0 0 213758 1205 30797 0.000000 535522420.5 14 1 0 0 226111 1867 17782 0.000000 535522421.5 15 1 0 0 226415 1550 17795 0.000000 535527985.5 0 1 1 0 216148 2889 26723 0.000061 535527985.5 1 1 0 0 209500 1278 34982 0.000000 535527986.5 2 1 0 0 187950 1336 56474 0.000000 535527986.5 3 1 0 0 187865 1715 56180 0.000000 535527986.5 4 1 1 0 186050 3173 56537 0.000061 535527987.5 5 1 2 0 207547 868 37345 0.000122 535527987.5 6 1 0 0 222636 1079 22045 0.000000 535527988.5 7 1 1 0 227779 1388 16593 0.000061 535527988.5 8 1 0 0 226067 2051 17642 0.000000 535527988.5 9 1 0 0 223381 1263 21116 0.000000 535527989.5 10 1 1 0 209792 1439 34529 0.000061 535527989.5 11 1 2 0 207243 1145 37372 0.000122 535527989.5 12 1 2 0 213249 1689 30822 0.000122 535527990.5 13 1 1 0 213115 1192 31453 0.000061 535527990.5 14 1 0 0 226865 1186 17709 0.000000 535527991.5 15 1 0 0 225788 1141 18831 0.000000 535533559.5 0 1 1 0 218474 2453 24833 0.000061 535533559.5 1 1 0 0 210858 850 34052 0.000000 535533560.5 2 1 0 0 176553 1363 67844 0.000000 535533560.5 3 1 0 0 177204 1555 67001 0.000000 535533560.5 4 1 1 0 186564 2521 56675 0.000061 535533561.5 5 1 2 0 209170 1139 35451 0.000122 535533561.5 6 1 0 0 222461 1936 21363 0.000000 535533562.5 7 1 1 0 228292 1303 16165 0.000061 535533562.5 8 1 0 0 226952 2024 16784 0.000000 535533562.5 9 1 0 0 223494 1170 21096 0.000000 535533563.5 10 1 1 0 210051 1627 34082 0.000061 535533563.5 11 1 0 0 210044 979 34737 0.000000 535533563.5 12 1 2 0 213395 1353 31012 0.000122 535533564.5 13 1 0 0 213770 1252 30738 0.000000 535533564.5 14 1 0 0 227026 1353 17381 0.000000 535533565.5 15 1 0 0 226982 1215 17563 0.000000 535539129.6 0 1 1 0 212027 1826 31907 0.000061 535539129.6 1 1 0 0 211058 994 33708 0.000000 535539130.6 2 1 0 0 189324 906 55530 0.000000 535539130.6 3 1 0 0 188785 1782 55193 0.000000 535539130.6 4 1 1 0 188539 1599 55622 0.000061 535539131.6 5 1 0 0 208860 1111 35789 0.000000 535539131.6 6 1 0 0 223128 1468 21164 0.000000 535539132.6 7 1 1 0 227467 1651 16642 0.000061 535539132.6 8 1 0 0 227107 1942 16711 0.000000 535539132.6 9 1 0 0 224169 1100 20491 0.000000 535539133.6 10 1 1 0 210367 1066 34327 0.000061 535539133.6 11 1 0 0 208875 837 36048 0.000000 535539133.6 12 1 2 0 214299 1228 30233 0.000122 535539134.6 13 1 0 0 214033 1103 30624 0.000000 535539134.6 14 1 0 0 226444 2219 17097 0.000000 535539135.6 15 1 0 0 226522 1321 17917 0.000000 535544695.6 0 1 1 0 218413 2762 24585 0.000061 535544695.6 1 1 0 0 210768 811 34181 0.000000 535544696.6 2 1 0 0 188387 1080 56293 0.000000 535544696.6 3 1 0 0 188514 1541 55705 0.000000 535544696.6 4 1 1 0 187432 1993 56335 0.000061 535544697.6 5 1 1 0 208316 1189 36255 0.000061 535544697.6 6 1 0 0 211059 1147 33554 0.000000 535544698.6 7 1 1 0 225233 1057 19470 0.000061 535544698.6 8 1 0 0 227374 1975 16411 0.000000 535544698.6 9 1 0 0 223254 1713 20793 0.000000 535544699.6 10 1 1 0 210201 967 34592 0.000061 535544699.6 11 1 2 0 208323 829 36608 0.000122 535544699.6 12 1 2 0 214067 1508 30185 0.000122 535544700.6 13 1 1 0 213825 1005 30930 0.000061 535544700.6 14 1 0 0 226027 2613 17120 0.000000 535544701.6 15 1 0 0 226787 1314 17659 0.000000 535550265.6 0 1 1 0 218783 2113 24864 0.000061 535550265.6 1 1 0 0 209751 1286 34723 0.000000 535550266.6 4 1 1 0 186798 2220 56742 0.000061 535550266.6 2 1 0 0 188239 970 56551 0.000000 535550266.6 3 1 0 0 188089 1887 55784 0.000000 535550267.6 5 1 1 0 207493 943 37324 0.000061 535550267.6 6 1 0 0 210875 1059 33826 0.000000 535550268.6 7 1 1 0 225014 1488 19258 0.000061 535550268.6 8 1 0 0 227130 2114 16516 0.000000 535550268.6 9 1 0 0 223347 1255 21158 0.000000 535550269.6 10 1 1 0 209832 1288 34640 0.000061 535550269.6 11 1 1 0 207836 850 37074 0.000061 535550269.6 12 1 2 0 214156 958 30646 0.000122 535550270.6 13 1 1 0 213406 1254 31100 0.000061 535550270.6 14 1 0 0 227140 1567 17053 0.000000 535550271.6 15 1 0 0 226287 1831 17642 0.000000 535555840.6 0 1 1 0 211917 1950 31893 0.000061 535555840.6 1 1 0 0 198664 983 46113 0.000000 535555841.6 2 1 0 0 188067 1068 56625 0.000000 535555841.6 3 1 0 0 188574 1216 55970 0.000000 535555841.6 4 1 1 0 186963 1916 56881 0.000061 535555842.6 5 1 1 0 207146 918 37696 0.000061 535555842.6 6 1 0 0 221696 1754 22310 0.000000 535555843.6 7 1 1 0 227847 1824 16089 0.000061 535555843.6 8 1 0 0 225472 3264 17024 0.000000 535555843.6 9 1 0 0 224543 1067 20150 0.000000 535555844.6 10 1 1 0 209837 1083 34840 0.000061 535555844.6 11 1 2 0 207984 1028 36748 0.000122 535555844.6 12 1 2 0 213166 1797 30797 0.000122 535555845.6 13 1 1 0 213674 1010 31076 0.000061 535555845.6 14 1 0 0 227181 1616 16963 0.000000 535555846.6 15 1 0 0 227335 940 17485 0.000000 535561409.6 0 1 509 15875 245760 0 0 1.000000 535561409.6 1 1 509 15875 245760 0 0 1.000000 535561410.6 2 1 509 15875 245760 0 0 1.000000 535561410.6 3 1 509 15875 245760 0 0 1.000000 535561410.6 4 1 509 15875 245760 0 0 1.000000 535561411.6 5 1 509 15875 245760 0 0 1.000000 535561411.6 6 1 509 15875 245760 0 0 1.000000 535561412.6 7 1 509 15647 245576 153 31 0.986084 535561412.6 8 1 509 15875 245760 0 0 1.000000 535561412.6 9 1 509 15875 245760 0 0 1.000000 535561413.6 10 1 509 15875 245760 0 0 1.000000 535561413.6 11 1 509 15875 245503 0 257 1.000000 535561413.6 12 1 509 15875 245760 0 0 1.000000 535561414.6 13 1 509 15875 245760 0 0 1.000000 535561414.6 14 1 509 15875 245760 0 0 1.000000 535561415.6 15 1 509 15875 245760 0 0 1.000000 535566984.6 0 1 1 0 218732 2285 24743 0.000061 535566984.6 1 1 0 0 193544 1165 51051 0.000000 535566985.6 2 1 0 0 174247 1101 70412 0.000000 535566985.6 3 1 0 0 188011 1460 56289 0.000000 535566985.6 4 1 1 0 186966 1653 57141 0.000061 535566986.6 5 1 1 0 206831 1298 37631 0.000061 535566986.6 6 1 0 0 221955 1474 22331 0.000000 535566987.6 7 1 1 0 228284 1052 16424 0.000061 535566987.6 8 1 0 0 226618 2226 16916 0.000000 535566987.6 9 1 1 0 225344 974 19442 0.000061 535566988.6 10 1 1 0 209397 1141 35222 0.000061 535566988.6 11 1 2 0 206808 1010 37942 0.000122 535566988.6 12 1 2 0 213363 1059 31338 0.000122 535566989.6 13 1 1 0 213153 1434 31173 0.000061 535566989.6 14 1 0 0 226814 1455 17491 0.000000 535566990.6 15 1 0 0 226586 1273 17901 0.000000 535572550.6 0 1 1 0 218504 2086 25170 0.000061 535572550.6 1 1 0 0 209741 1055 34964 0.000000 535572551.6 2 1 0 0 187900 1166 56694 0.000000 535572551.6 3 1 0 0 187737 1358 56665 0.000000 535572551.6 4 1 1 0 186367 2037 57356 0.000061 535572552.6 5 1 1 0 206902 1056 37802 0.000061 535572552.6 6 1 0 0 221019 1719 23022 0.000000 535572553.6 7 1 1 0 227941 1491 16328 0.000061 535572553.6 8 1 0 0 227145 1886 16729 0.000000 535572553.6 9 1 1 0 223389 1311 21060 0.000061 535572554.6 10 1 1 0 209052 1745 34963 0.000061 535572554.6 11 1 2 0 207280 1264 37216 0.000122 535572554.6 12 1 2 0 212629 1622 31509 0.000122 535572555.6 13 1 1 0 213549 1137 31074 0.000061 535572555.6 14 1 1 0 226652 1650 17458 0.000061 535572556.6 15 1 0 0 224584 1834 19342 0.000000 535578125.6 0 1 1 0 218312 2408 25040 0.000061 535578125.6 1 1 0 0 209653 1287 34820 0.000000 535578126.6 2 1 0 0 188177 1042 56541 0.000000 535578126.6 3 1 0 0 187990 1696 56074 0.000000 535578126.6 4 1 1 0 186636 1834 57290 0.000061 535578127.6 5 1 1 0 210723 1185 33852 0.000061 535578127.6 6 1 0 0 221009 2014 22737 0.000000 535578128.6 7 1 1 0 227645 1452 16663 0.000061 535578128.6 8 1 0 0 226173 2678 16909 0.000000 535578128.6 9 1 1 0 223387 1486 20887 0.000061 535578129.6 10 1 1 0 208708 1996 35056 0.000061 535578129.6 11 1 2 0 207338 1432 36990 0.000122 535578129.6 12 1 2 0 213118 1376 31266 0.000122 535578130.6 13 1 1 0 209334 1400 35026 0.000061 535578130.6 14 1 1 0 222172 1520 22068 0.000061 535578131.6 15 1 0 0 226659 1439 17662 0.000000 535583695.6 0 1 1 0 218775 2133 24852 0.000061 535583695.6 1 1 0 0 211210 1137 33413 0.000000 535583696.6 2 1 0 0 188733 1152 55875 0.000000 535583696.6 3 1 0 0 188265 2122 55373 0.000000 535583696.6 4 1 1 0 186927 2123 56710 0.000061 535583697.6 5 1 1 0 208202 1169 36389 0.000061 535583697.6 6 1 0 0 222282 2101 21377 0.000000 535583698.6 7 1 1 0 226743 1891 17126 0.000061 535583698.6 8 1 0 0 225552 2142 18066 0.000000 535583698.6 9 1 0 0 223512 1085 21163 0.000000 535583699.6 10 1 1 0 209762 1303 34695 0.000061 535583699.6 11 1 0 0 208351 935 36474 0.000000 535583699.6 12 1 2 0 213578 1490 30692 0.000122 535583700.6 13 1 0 0 213371 1334 31055 0.000000 535583700.6 14 1 0 0 226337 1972 17451 0.000000 535583701.6 15 1 0 0 226575 1357 17828 0.000000 535589270.6 0 1 1 0 216314 3773 25673 0.000061 535589270.6 1 1 0 0 210600 1127 34033 0.000000 535589271.6 2 1 0 0 188634 1498 55628 0.000000 535589271.6 3 1 0 0 187923 2261 55576 0.000000 535589271.6 4 1 1 0 182742 2132 60886 0.000061 535589272.6 5 1 1 0 189080 1281 55399 0.000061 535589272.6 6 1 0 0 221705 2328 21727 0.000000 535589273.6 7 1 1 0 227186 1945 16629 0.000061 535589273.6 8 1 0 0 226132 2545 17083 0.000000 535589273.6 9 1 0 0 223407 1344 21009 0.000000 535589274.6 10 1 1 0 208703 1893 35164 0.000061 535589274.6 11 1 2 0 208091 1299 36370 0.000122 535589274.6 12 1 2 0 213934 1585 30241 0.000122 535589275.6 13 1 1 0 213801 1843 30116 0.000061 535589275.6 14 1 0 0 225373 2072 18315 0.000000 535589276.6 15 1 0 0 223883 1959 19918 0.000000