maxitime ccdid mode hotnum discard update reject replace 531879571.0 0 1 1 0 213313 1069 31378 0.000061 531879571.0 1 1 0 0 206721 407 38632 0.000000 531879572.0 2 1 0 0 182415 659 62686 0.000000 531879572.0 3 1 2 0 185513 510 59737 0.000122 531879572.0 4 1 1 0 183804 1425 60531 0.000061 531879573.0 5 1 2 0 201861 393 43506 0.000122 531879573.0 6 1 0 0 208363 460 36937 0.000000 531879574.0 7 1 1 0 223912 299 21549 0.000061 531879574.0 8 1 0 0 226472 486 18802 0.000000 531879574.0 9 1 0 0 220472 327 24961 0.000000 531879575.0 10 1 1 0 207271 544 37945 0.000061 531879575.0 11 1 2 0 202888 420 42452 0.000122 531879575.0 12 1 2 0 208789 438 36533 0.000122 531879576.0 13 1 2 0 210847 408 34505 0.000122 531879576.0 14 1 0 0 226272 0 19488 0.000000 531879577.0 15 1 0 0 226465 0 19295 0.000000 531884081.0 0 1 10 0 190312 687 54761 0.000610 531884081.0 1 1 1 0 191945 372 53443 0.000061 531884082.0 2 1 1 0 168717 539 76504 0.000061 531884082.0 3 1 3 0 170538 517 74705 0.000183 531884082.0 4 1 2 0 170323 586 74851 0.000122 531884083.0 5 1 3 0 187788 426 57546 0.000183 531884083.0 6 1 17 0 195040 555 50165 0.001038 531884084.0 7 1 17 0 215424 495 29841 0.001038 531884084.0 8 1 0 0 222293 358 23109 0.000000 531884084.0 9 1 0 0 217358 0 28402 0.000000 531884085.0 10 1 1 0 201425 0 44335 0.000061 531884085.0 11 1 1 0 199500 0 46260 0.000061 531884085.0 12 1 2 0 203778 0 41982 0.000122 531884086.0 13 1 3 0 206088 0 39672 0.000183 531884086.0 14 1 2 0 221459 0 24301 0.000122 531884087.0 15 1 1 0 219297 0 26463 0.000061 531885341.0 0 1 1 0 219364 678 25718 0.000061 531885341.0 1 1 0 0 209459 392 35909 0.000000 531885342.0 2 1 0 0 187748 430 57582 0.000000 531885342.0 3 1 2 0 188070 580 57110 0.000122 531885342.0 4 1 1 0 193657 664 51439 0.000061 531885343.0 5 1 2 0 213204 286 32270 0.000122 531885343.0 6 1 0 0 220358 483 24919 0.000000 531885344.0 7 1 1 0 228493 233 17034 0.000061 531885344.0 8 1 0 0 227455 258 18047 0.000000 531885344.0 9 1 0 0 223346 330 22084 0.000000 531885345.0 10 1 1 0 209197 391 36172 0.000061 531885345.0 11 1 2 0 207432 240 38088 0.000122 531885345.0 12 1 2 0 213764 355 31641 0.000122 531885346.0 13 1 2 0 208561 208 36991 0.000122 531885346.0 14 1 1 0 220273 0 25487 0.000061 531885347.0 15 1 0 0 227255 0 18505 0.000000 531889641.0 0 1 9 0 196288 1538 47934 0.000549 531889641.0 1 1 1 0 196901 643 48216 0.000061 531889642.0 2 1 1 0 173126 969 71665 0.000061 531889642.0 3 1 3 0 174124 1274 70362 0.000183 531889642.0 4 1 2 0 171440 1584 72736 0.000122 531889643.0 5 1 6 0 177924 577 67259 0.000366 531889643.0 6 1 17 0 199890 786 45084 0.001038 531889644.0 7 1 14 0 218714 595 26451 0.000854 531889644.0 8 1 0 0 222291 903 22566 0.000000 531889644.0 9 1 0 0 217288 678 27794 0.000000 531889645.0 10 1 1 0 201827 860 43073 0.000061 531889645.0 11 1 1 0 200615 517 44628 0.000061 531889645.0 12 1 2 0 204643 661 40456 0.000122 531889646.0 13 1 5 0 207292 508 37960 0.000305 531889646.0 14 1 2 0 221976 0 23784 0.000122 531889647.0 15 1 0 0 223065 0 22695 0.000000 531891051.0 0 1 1 0 217986 1021 26753 0.000061 531891051.0 1 1 0 0 210948 359 34453 0.000000 531891052.0 2 1 0 0 190415 597 54748 0.000000 531891052.0 3 1 2 0 188883 542 56335 0.000122 531891052.0 4 1 1 0 186720 1577 57463 0.000061 531891053.0 5 1 2 0 207169 506 38085 0.000122 531891053.0 6 1 0 0 222011 465 23284 0.000000 531891054.0 7 1 1 0 227607 276 17877 0.000061 531891054.0 8 1 0 0 227233 497 18030 0.000000 531891054.0 9 1 0 0 224061 284 21415 0.000000 531891055.0 10 1 1 0 209699 266 35795 0.000061 531891055.0 11 1 2 0 203989 241 41530 0.000122 531891055.0 12 1 2 0 198248 237 47275 0.000122 531891056.0 13 1 2 0 213422 227 32111 0.000122 531891056.0 14 1 1 0 225189 0 20571 0.000061 531891057.0 15 1 0 0 226825 0 18935 0.000000 531895201.1 0 1 9 0 187262 2016 56482 0.000549 531895201.1 1 1 1 0 191377 1321 53062 0.000061 531895202.1 2 1 1 0 168635 1334 75791 0.000061 531895202.1 3 1 3 0 169006 1546 75208 0.000183 531895202.1 4 1 2 0 167667 2324 75769 0.000122 531895203.1 5 1 4 0 186215 898 58647 0.000244 531895203.1 6 1 17 0 193435 1072 51253 0.001038 531895204.1 7 1 17 0 211955 1003 32802 0.001038 531895204.1 8 1 0 0 218605 732 26423 0.000000 531895204.1 9 1 0 0 214528 548 30684 0.000000 531895205.1 10 1 1 0 197373 1010 47377 0.000061 531895205.1 11 1 1 0 197682 679 47399 0.000061 531895205.1 12 1 2 0 200523 899 44338 0.000122 531895206.1 13 1 10 0 197992 660 47108 0.000610 531895206.1 14 1 3 0 210832 0 34928 0.000183 531895207.1 15 1 0 0 219217 0 26543 0.000000 531895741.1 0 1 1 0 240308 1833 3619 0.000061 531895741.1 1 1 0 0 242382 1051 2327 0.000000 531895742.1 4 1 0 0 240731 2240 2789 0.000000 531895742.1 2 1 0 0 241886 1673 2201 0.000000 531895742.1 3 1 1 0 241668 1631 2461 0.000061 531895743.1 5 1 2 0 241692 867 3201 0.000122 531895743.1 6 1 0 0 241915 831 3014 0.000000 531895744.1 7 1 1 0 242594 581 2585 0.000061 531895744.1 8 1 0 0 241793 538 3429 0.000000 531895744.1 9 1 0 0 242699 711 2350 0.000000 531895745.1 10 1 1 0 241981 729 3050 0.000061 531895745.1 11 1 1 0 242182 909 2669 0.000061 531895745.1 12 1 2 0 242089 629 3042 0.000122 531895746.1 13 1 2 0 241632 1103 3025 0.000122 531895746.1 14 1 0 0 242699 0 3061 0.000000 531895747.1 15 1 0 0 242563 0 3197 0.000000 531900761.1 0 1 13 0 186845 2787 56128 0.000793 531900761.1 1 1 1 0 189936 1583 54241 0.000061 531900762.1 2 1 1 0 166357 1709 77694 0.000061 531900762.1 3 1 3 0 167896 2422 75442 0.000183 531900762.1 4 1 2 0 167120 2766 75874 0.000122 531900763.1 5 1 4 0 177107 938 67715 0.000244 531900763.1 6 1 18 0 180859 1212 63689 0.001099 531900764.1 7 1 18 0 208962 1658 35140 0.001099 531900764.1 8 1 0 0 215571 1181 29008 0.000000 531900764.1 9 1 0 0 212771 673 32316 0.000000 531900765.1 10 1 1 0 194472 1091 50197 0.000061 531900765.1 11 1 1 0 195656 859 49245 0.000061 531900765.1 12 1 2 0 197576 1253 46931 0.000122 531900766.1 13 1 10 0 200512 1055 44193 0.000610 531900766.1 14 1 1 0 214775 0 30985 0.000061 531900767.1 15 1 0 0 215477 0 30283 0.000000 531901301.1 0 1 1 0 240096 1600 4064 0.000061 531901301.1 1 1 0 0 242127 981 2652 0.000000 531901302.1 2 1 0 0 241277 1859 2624 0.000000 531901302.1 3 1 1 0 239875 1923 3962 0.000061 531901303.1 4 1 1 0 239696 2118 3946 0.000061 531901303.1 5 1 2 0 241124 1028 3608 0.000122 531901303.1 6 1 0 0 240523 1333 3904 0.000000 531901304.1 7 1 1 0 241313 343 4104 0.000061 531901304.1 8 1 0 0 240290 1146 4324 0.000000 531901304.1 9 1 0 0 241820 882 3058 0.000000 531901305.1 10 1 1 0 240777 972 4011 0.000061 531901305.1 11 1 1 0 240983 846 3931 0.000061 531901305.1 12 1 2 0 241481 1063 3216 0.000122 531901306.1 13 1 2 0 240880 1188 3692 0.000122 531901306.1 14 1 0 0 242031 0 3729 0.000000 531901307.1 15 1 0 0 242736 0 3024 0.000000 531906641.1 0 1 1 0 207990 2237 35533 0.000061 531906641.1 1 1 0 0 190469 1304 53987 0.000000 531906642.1 2 1 0 0 170382 1098 74280 0.000000 531906642.1 3 1 2 0 181366 1886 62508 0.000122 531906642.1 4 1 1 0 180380 2565 62815 0.000061 531906643.1 5 1 2 0 199369 682 45709 0.000122 531906643.1 6 1 0 0 208326 926 36508 0.000000 531906644.1 7 1 1 0 223011 725 22024 0.000061 531906644.1 8 1 0 0 221210 1192 23358 0.000000 531906644.1 9 1 0 0 217300 728 27732 0.000000 531906645.1 10 1 1 0 203637 1021 41102 0.000061 531906645.1 11 1 1 0 200246 731 44783 0.000061 531906645.1 12 1 2 0 204931 1085 39744 0.000122 531906646.1 13 1 1 0 206351 631 38778 0.000061 531906646.1 14 1 0 0 222836 0 22924 0.000000 531906647.1 15 1 0 0 222415 0 23345 0.000000 531906861.1 0 1 1 0 239876 1720 4164 0.000061 531906861.1 1 1 0 0 241296 1176 3288 0.000000 531906862.1 2 1 0 0 240768 1595 3397 0.000000 531906862.1 3 1 1 0 238999 2380 4381 0.000061 531906862.1 4 1 0 0 238991 3112 3657 0.000000 531906863.1 5 1 2 0 241027 934 3799 0.000122 531906863.1 6 1 0 0 240790 777 4193 0.000000 531906864.1 7 1 1 0 240983 515 4262 0.000061 531906864.1 8 1 0 0 240085 838 4837 0.000000 531906864.1 9 1 0 0 241061 625 4074 0.000000 531906865.1 10 1 1 0 240339 904 4517 0.000061 531906865.1 11 1 1 0 240415 1072 4273 0.000061 531906865.1 12 1 2 0 239362 748 5650 0.000122 531906866.1 13 1 1 0 231080 870 13810 0.000061 531906866.1 14 1 0 0 239240 0 6520 0.000000 531906867.1 15 1 0 0 240608 0 5152 0.000000 531912251.1 0 1 1 0 207030 2468 36262 0.000061 531912251.1 1 1 0 0 191151 1030 53579 0.000000 531912252.1 2 1 0 0 169989 1809 73962 0.000000 531912252.1 3 1 1 0 180575 2431 62754 0.000061 531912252.1 4 1 1 0 179893 2453 63414 0.000061 531912253.1 5 1 2 0 199220 656 45884 0.000122 531912253.1 6 1 0 0 201931 738 43091 0.000000 531912254.1 7 1 1 0 221968 1026 22766 0.000061 531912254.1 8 1 0 0 220403 1543 23814 0.000000 531912254.1 9 1 0 0 218200 637 26923 0.000000 531912255.1 10 1 1 0 202456 848 42456 0.000061 531912255.1 11 1 1 0 200290 645 44825 0.000061 531912255.1 12 1 2 0 204515 1124 40121 0.000122 531912256.1 13 1 1 0 206468 686 38606 0.000061 531912256.1 14 1 0 0 219965 0 25795 0.000000 531912257.1 15 1 0 0 222195 0 23565 0.000000 531912421.1 0 1 1 0 238444 2008 5308 0.000061 531912421.1 1 1 0 0 240565 1169 4026 0.000000 531912422.1 4 1 1 0 237844 2647 5269 0.000061 531912422.1 2 1 0 0 240500 1517 3743 0.000000 531912422.1 3 1 1 0 238588 2814 4358 0.000061 531912423.1 5 1 1 0 238756 2037 4967 0.000061 531912423.1 6 1 0 0 239197 1305 5258 0.000000 531912424.1 7 1 1 0 240428 545 4787 0.000061 531912424.1 8 1 0 0 238319 986 6455 0.000000 531912424.1 9 1 0 0 240206 798 4756 0.000000 531912425.1 10 1 1 0 238511 1184 6065 0.000061 531912425.1 11 1 1 0 239337 963 5460 0.000061 531912425.1 12 1 2 0 237607 1403 6750 0.000122 531912426.1 13 1 0 0 238405 1607 5748 0.000000 531912426.1 14 1 0 0 239573 0 6187 0.000000 531912427.1 15 1 0 0 240218 0 5542 0.000000 531918021.1 0 1 1 0 210617 1463 33680 0.000061 531918021.1 1 1 0 0 193163 798 51799 0.000000 531918022.1 2 1 0 0 171142 1264 73354 0.000000 531918022.1 3 1 1 0 182451 2425 60884 0.000061 531918022.1 4 1 1 0 181590 2489 61681 0.000061 531918023.1 5 1 2 0 200639 579 44542 0.000122 531918023.1 6 1 0 0 209819 923 35018 0.000000 531918024.1 7 1 1 0 224113 552 21095 0.000061 531918024.1 8 1 0 0 222384 942 22434 0.000000 531918024.1 9 1 0 0 218847 446 26467 0.000000 531918025.1 10 1 1 0 204538 569 40653 0.000061 531918025.1 11 1 1 0 201188 811 43761 0.000061 531918025.1 12 1 2 0 206379 1075 38306 0.000122 531918026.1 13 1 1 0 209221 451 36088 0.000061 531918026.1 14 1 0 0 223400 0 22360 0.000000 531918027.1 15 1 0 0 223780 0 21980 0.000000 531923581.1 0 1 1 0 206822 2357 36581 0.000061 531923581.1 1 1 0 0 203227 1397 41136 0.000000 531923582.1 2 1 0 0 179166 1333 65261 0.000000 531923582.1 3 1 1 0 181201 1600 62959 0.000061 531923582.1 4 1 1 0 178084 2275 65401 0.000061 531923583.1 5 1 2 0 185766 702 59292 0.000122 531923583.1 6 1 0 0 207951 981 36828 0.000000 531923584.1 7 1 1 0 223001 829 21930 0.000061 531923584.1 8 1 0 0 220908 1378 23474 0.000000 531923584.1 9 1 0 0 217113 643 28004 0.000000 531923585.1 10 1 1 0 203068 1110 41582 0.000061 531923585.1 11 1 2 0 200249 802 44709 0.000122 531923585.1 12 1 2 0 205188 794 39778 0.000122 531923586.1 13 1 2 0 207055 634 38071 0.000122 531923586.1 14 1 0 0 221487 0 24273 0.000000 531923587.1 15 1 0 0 223505 0 22255 0.000000 531929141.1 0 1 1 0 207205 2419 36136 0.000061 531929141.1 1 1 0 0 203325 1235 41200 0.000000 531929142.1 2 1 0 0 179796 1560 64404 0.000000 531929142.1 3 1 1 0 180717 2429 62614 0.000061 531929142.1 4 1 1 0 177884 2426 65450 0.000061 531929143.1 5 1 2 0 184718 609 60433 0.000122 531929143.1 6 1 0 0 208373 943 36444 0.000000 531929144.1 7 1 1 0 222331 1037 22392 0.000061 531929144.1 8 1 0 0 221250 1068 23442 0.000000 531929144.1 9 1 0 0 216797 735 28228 0.000000 531929145.1 10 1 1 0 202759 1226 41775 0.000061 531929145.1 11 1 2 0 198960 901 45899 0.000122 531929145.1 12 1 2 0 204938 1076 39746 0.000122 531929146.1 13 1 2 0 207107 651 38002 0.000122 531929146.1 14 1 0 0 221126 0 24634 0.000000 531929147.1 15 1 0 0 221963 0 23797 0.000000 531934701.1 0 1 1 0 202745 2688 40327 0.000061 531934701.1 1 1 0 0 203370 1222 41168 0.000000 531934702.1 2 1 0 0 178752 1536 65472 0.000000 531934702.1 3 1 2 0 181406 2251 62103 0.000122 531934702.1 4 1 1 0 179745 2287 63728 0.000061 531934703.1 5 1 2 0 197735 943 47082 0.000122 531934703.1 6 1 0 0 205833 1573 38354 0.000000 531934704.1 7 1 1 0 222931 759 22070 0.000061 531934704.1 8 1 0 0 221610 1346 22804 0.000000 531934704.1 9 1 0 0 217496 787 27477 0.000000 531934705.1 10 1 1 0 202559 985 42216 0.000061 531934705.1 11 1 1 0 199672 1119 44969 0.000061 531934705.1 12 1 2 0 204192 818 40750 0.000122 531934706.1 13 1 2 0 205071 1101 39588 0.000122 531934706.1 14 1 0 0 219722 0 26038 0.000000 531934707.1 15 1 0 0 222808 0 22952 0.000000 531939911.1 0 1 1 0 202872 2408 40480 0.000061 531939911.1 1 1 0 0 202647 1579 41534 0.000000 531939912.1 2 1 0 0 176732 2096 66932 0.000000 531939912.1 3 1 2 0 176978 3402 65380 0.000122 531939912.1 4 1 1 0 179060 2653 64047 0.000061 531939913.1 5 1 1 0 198362 943 46455 0.000061 531939913.1 6 1 0 0 206760 969 38031 0.000000 531939914.1 7 1 1 0 221053 1290 23417 0.000061 531939914.1 8 1 0 0 220248 1413 24099 0.000000 531939914.1 9 1 0 0 215840 1029 28891 0.000000 531939915.1 10 1 1 0 200043 1857 43860 0.000061 531939915.1 11 1 1 0 195633 1541 48586 0.000061 531939915.1 12 1 2 0 203457 1182 41121 0.000122 531939916.1 13 1 1 0 205796 803 39161 0.000061 531939916.1 14 1 0 0 220290 0 25470 0.000000 531939917.1 15 1 0 0 221211 0 24549 0.000000 531940231.1 0 1 1 0 236711 2424 6625 0.000061 531940231.1 1 1 0 0 239163 1683 4914 0.000000 531940232.1 2 1 0 0 237763 2524 5473 0.000000 531940232.1 3 1 1 0 234482 4105 7173 0.000061 531940232.1 4 1 1 0 234280 3703 7777 0.000061 531940233.1 5 1 2 0 235874 1514 8372 0.000122 531940233.1 6 1 0 0 235921 1385 8454 0.000000 531940234.1 7 1 1 0 238618 1156 5986 0.000061 531940234.1 8 1 0 0 237614 1240 6906 0.000000 531940234.1 9 1 0 0 239315 987 5458 0.000000 531940235.1 10 1 1 0 237556 1394 6810 0.000061 531940235.1 11 1 1 0 236282 957 8521 0.000061 531940235.1 12 1 2 0 234363 1189 10208 0.000122 531940236.1 13 1 1 0 230625 1391 13744 0.000061 531940236.1 14 1 0 0 237787 0 7973 0.000000 531940237.1 15 1 0 0 238968 0 6792 0.000000 531945871.1 0 1 1 0 209150 2304 34306 0.000061 531945871.1 1 1 0 0 191782 828 53150 0.000000 531945872.1 2 1 0 0 171416 935 73409 0.000000 531945872.1 3 1 1 0 181782 1454 62524 0.000061 531945872.1 4 1 1 0 179183 2093 64484 0.000061 531945873.1 5 1 2 0 194692 872 50196 0.000122 531945873.1 6 1 0 0 209329 636 35795 0.000000 531945874.1 7 1 1 0 223917 846 20997 0.000061 531945874.1 8 1 0 0 223223 1167 21370 0.000000 531945874.1 9 1 0 0 219054 609 26097 0.000000 531945875.1 10 1 1 0 204289 611 40860 0.000061 531945875.1 11 1 2 0 200062 723 44975 0.000122 531945875.1 12 1 2 0 202920 779 42061 0.000122 531945876.1 13 1 2 0 203014 681 42065 0.000122 531945876.1 14 1 1 0 222677 0 23083 0.000061 531945877.1 15 1 0 0 223957 0 21803 0.000000 531951651.1 0 1 1 0 210924 1767 33069 0.000061 531951651.1 1 1 0 0 204996 483 40281 0.000000 531951652.1 2 1 0 0 180436 412 64912 0.000000 531951652.1 3 1 2 0 182569 819 62372 0.000122 531951652.1 4 1 1 0 183172 1060 61528 0.000061 531951653.1 5 1 2 0 200686 625 44449 0.000122 531951653.1 6 1 0 0 211319 589 33852 0.000000 531951654.1 7 1 1 0 225317 427 20016 0.000061 531951654.1 8 1 0 0 225431 768 19561 0.000000 531951654.1 9 1 1 0 207130 372 38258 0.000061 531951655.1 10 1 1 0 205216 367 40177 0.000061 531951655.1 11 1 2 0 201897 258 43605 0.000122 531951655.1 12 1 2 0 207837 494 37429 0.000122 531951656.1 13 1 2 0 210140 347 35273 0.000122 531951656.1 14 1 0 0 225144 0 20616 0.000000 531951657.1 15 1 0 0 224177 0 21583 0.000000 531957321.1 0 1 1 0 209834 2989 32937 0.000061 531957321.1 1 1 0 0 206049 573 39138 0.000000 531957322.1 2 1 0 0 182916 457 62387 0.000000 531957322.1 3 1 2 0 183076 689 61995 0.000122 531957322.1 4 1 1 0 177209 727 67824 0.000061 531957323.1 5 1 2 0 201035 233 44492 0.000122 531957323.1 6 1 0 0 212362 409 32989 0.000000 531957324.1 7 1 1 0 226777 328 18655 0.000061 531957324.1 8 1 0 0 225229 1020 19511 0.000000 531957324.1 9 1 1 0 219473 632 25655 0.000061 531957325.1 10 1 1 0 202252 518 42990 0.000061 531957325.1 11 1 2 0 201815 409 43536 0.000122 531957325.1 12 1 2 0 207806 740 37214 0.000122 531957326.1 13 1 2 0 210434 383 34943 0.000122 531957326.1 14 1 1 0 226001 0 19759 0.000061 531957327.1 15 1 0 0 225939 0 19821 0.000000 531962941.1 0 1 1 0 212636 996 32128 0.000061 531962941.1 1 1 0 0 205325 423 40012 0.000000 531962942.1 2 1 0 0 182963 478 62319 0.000000 531962942.1 3 1 2 0 184783 874 60103 0.000122 531962942.1 4 1 1 0 182167 587 63006 0.000061 531962943.1 5 1 2 0 186721 382 58657 0.000122 531962943.1 6 1 0 0 211717 436 33607 0.000000 531962944.1 7 1 1 0 226896 277 18587 0.000061 531962944.1 8 1 0 0 226697 644 18419 0.000000 531962944.1 9 1 0 0 221421 311 24028 0.000000 531962945.1 10 1 1 0 206970 409 38381 0.000061 531962945.1 11 1 2 0 202732 238 42790 0.000122 531962945.1 12 1 2 0 209200 326 36234 0.000122 531962946.1 13 1 2 0 210657 364 34739 0.000122 531962946.1 14 1 1 0 225964 0 19796 0.000061 531962947.1 15 1 0 0 226084 0 19676 0.000000