\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.080000 0 0.081737 0.000000 0.057859 0.000000 \\ connectedbase 0.000000 49 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 49 BLOCK 1 c989 c990 c991 c83 c125 c154 c220 c232 c248 c263 c305 c324 c343 c362 c385 c399 c409 c425 c446 c465 c484 c503 c522 c541 c560 c575 c591 c610 c1036 c748 c749 c750 c751 c753 c754 c755 c758 c759 c760 c761 c763 BLOCK 2 c794 c795 c796 c797 c799 c996 c997 c998 c91 c127 c156 c784 c785 c786 c221 c233 c250 c264 c307 c326 c345 c364 c386 c401 c410 c427 c448 c467 c486 c505 c524 c543 c562 c576 c787 c789 c790 c791 c612 c1038 BLOCK 3 c992 c993 c994 c995 c87 c126 c155 c249 c276 c295 c306 c325 c344 c363 c379 c400 c426 c436 c447 c466 c485 c504 c523 c542 c561 c592 c611 c1037 c766 c767 c768 c769 c771 c772 c773 c776 c777 c778 c779 c781 BLOCK 4 c802 c803 c804 c805 c807 c808 c809 c812 c813 c814 c815 c817 c999 c1000 c1001 c95 c128 c157 c222 c234 c251 c265 c308 c327 c346 c365 c387 c402 c411 c428 c449 c468 c487 c506 c525 c544 c563 c577 c594 c613 c1039 BLOCK 5 c55 c118 c147 c1029 c241 c272 c291 c298 c317 c336 c355 c375 c392 c418 c432 c439 c458 c477 c496 c515 c534 c553 c584 c603 c622 c623 c624 c625 c627 c628 c629 c632 c633 c634 c635 c637 c964 c965 c966 c967 BLOCK 6 c59 c119 c148 c166 c242 c273 c1030 c292 c299 c318 c337 c356 c376 c393 c419 c433 c440 c459 c478 c497 c516 c535 c554 c585 c604 c640 c641 c642 c643 c645 c646 c647 c650 c651 c652 c653 c655 c968 c969 c970 c971 BLOCK 7 c820 c821 c822 c823 c825 c826 c827 c1002 c830 c831 c832 c833 c1003 c835 c1004 c99 c129 c158 c223 c235 c252 c266 c309 c328 c347 c366 c388 c403 c412 c429 c450 c469 c488 c507 c526 c545 c564 c578 c614 c1040 BLOCK 8 c63 c120 c149 c167 c243 c274 c1031 c293 c300 c319 c338 c357 c377 c394 c420 c434 c441 c460 c479 c498 c517 c536 c555 c586 c605 c658 c659 c660 c661 c663 c664 c665 c668 c669 c670 c671 c673 c972 c973 c974 c975 BLOCK 9 c67 c121 c150 c168 c244 c275 c1032 c294 c301 c320 c339 c358 c378 c395 c421 c435 c442 c461 c480 c499 c518 c537 c556 c587 c606 c676 c677 c678 c679 c681 c682 c683 c686 c687 c688 c689 c691 c976 c977 c978 c979 BLOCK 10 c71 c122 c151 c217 c229 c245 c260 c1033 c302 c321 c340 c359 c382 c396 c406 c422 c443 c462 c481 c500 c519 c538 c557 c572 c607 c694 c695 c696 c697 c699 c700 c701 c704 c706 c707 c709 c980 c981 c982 BLOCK 11 c75 c123 c152 c218 c230 c246 c261 c1034 c303 c322 c341 c360 c383 c397 c407 c423 c444 c463 c482 c501 c520 c539 c558 c573 c608 c712 c713 c714 c715 c717 c718 c719 c722 c724 c725 c727 c983 c984 c985 BLOCK 12 c79 c124 c219 c231 c262 c408 BLOCK 13 c1005 c838 c839 c840 c841 c1006 c843 c844 c845 c1007 c848 c849 c850 c851 c853 c130 c177 c210 c224 c236 c253 c267 c310 c329 c348 c369 c413 c451 c470 c489 c508 c527 c546 c565 c579 c615 c1041 BLOCK 14 c1008 c1009 c1010 c856 c857 c858 c859 c861 c862 c863 c866 c867 c868 c869 c871 c160 c211 c225 c237 c254 c268 c311 c330 c349 c367 c370 c389 c404 c414 c430 c452 c471 c490 c509 c528 c547 c566 c580 c616 c1042 BLOCK 15 c1011 c1012 c1013 c131 c874 c875 c876 c877 c879 c880 c881 c884 c885 c886 c887 c179 c889 c212 c226 c238 c255 c269 c312 c331 c350 c371 c415 c453 c472 c491 c510 c529 c548 c567 c581 c617 c1043 BLOCK 16 c114 c133 c163 c182 c1022 c1023 c1024 c1025 c258 c278 c297 c315 c334 c353 c368 c381 c405 c431 c438 c456 c475 c494 c513 c532 c551 c570 c928 c929 c930 c601 c931 c620 c933 c934 c935 c938 c939 c940 c941 c943 c1046 BLOCK 17 c132 c1019 c1020 c1021 c181 c910 c911 c912 c913 c214 c915 c227 c239 c257 c270 c916 c917 c920 c921 c922 c923 c925 c314 c333 c352 c373 c416 c455 c474 c493 c512 c531 c550 c569 c582 c619 c1045 BLOCK 18 c134 c228 c240 c271 c417 BLOCK 19 c1014 c1015 c1016 c1017 c1018 c180 c892 c893 c894 c895 c897 c898 c899 c902 c903 c904 c905 c906 c907 c213 c256 c277 c296 c313 c332 c351 c372 c380 c390 c391 c437 c454 c473 c492 c511 c530 c549 c568 c599 c618 c1044 BLOCK 20 c153 c424 c574 BLOCK 21 c216 BLOCK 22 c247 BLOCK 23 c259 BLOCK 24 c304 BLOCK 25 c316 BLOCK 26 c323 BLOCK 27 c335 BLOCK 28 c342 BLOCK 29 c354 BLOCK 30 c361 BLOCK 31 c374 BLOCK 32 c384 BLOCK 33 c398 BLOCK 34 c445 BLOCK 35 c457 BLOCK 36 c464 BLOCK 37 c476 BLOCK 38 c483 BLOCK 39 c495 BLOCK 40 c502 BLOCK 41 c514 BLOCK 42 c521 BLOCK 43 c533 BLOCK 44 c540 BLOCK 45 c552 BLOCK 46 c559 BLOCK 47 c571 BLOCK 48 c583 BLOCK 49 c590 MASTERCONSS c5 c7 c8 c9 c10 c11 c13 c14 c15 c16 c17 c18 c19 c20 c22 c23 c24 c25 c26 c27 c28 c30 c31 c32 c33 c34 c35 c36 c39 c40 c41 c1026 c1027 c1028 c988 c609 c621 c1035 c946 c947 c948 c949 c951 c952 c953 c956 c958 c961 c1047 c1048 c730 c731 c732 c733 c735 c736 c737 c740 c741 c742 c743 c745 c986 c987