\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hcgpartition 56.460000 5 0.000000 1.000000 0.874007 0.000000 PRESOLVED 0 NBLOCKS 5 BLOCK 1 c1 c3 c5 c7 c9 c11 c13 c15 c17 c19 c21 c23 c25 c27 c29 c31 c33 c61 c63 c91 c93 c95 c123 c125 c153 c155 c157 c185 c187 c215 c217 c219 c247 c249 c277 c279 c281 c309 c311 c339 c341 c343 c371 c373 c401 c403 c405 c434 c436 c465 c467 c496 c498 c527 c529 c558 c560 c588 c590 c618 c620 c622 c650 c652 c680 c682 c684 c712 c714 c742 c744 c746 c774 c776 c778 c780 c782 c784 c786 c788 c790 c792 c794 c796 c798 c800 c802 c804 c806 c808 c810 c812 c814 c816 c818 c820 c822 c824 c826 c828 c830 c832 c834 c836 c838 c840 c842 c844 c846 c848 c850 c852 c854 c856 c858 c860 c862 c864 c866 c868 c870 c872 c874 c876 c878 c880 c882 c884 c886 c888 c890 c892 c894 c896 c898 c900 c902 c904 c906 c908 c910 c912 c914 c916 c918 c920 c922 c924 c926 c928 c930 c932 c934 c936 c938 c940 c942 c944 c946 c948 c950 c952 c954 c956 c958 c960 c19430 c19435 c19400 c19401 c19402 c19405 c19407 c19410 c19411 c19415 c19416 c19417 c19420 c19421 c19422 c19424 c19425 c19426 BLOCK 2 c2 c4 c6 c8 c10 c12 c14 c16 c18 c20 c22 c24 c26 c28 c30 c32 c60 c62 c64 c92 c94 c122 c124 c126 c154 c156 c184 c186 c188 c216 c218 c246 c248 c250 c278 c280 c308 c310 c312 c340 c342 c370 c372 c374 c402 c404 c433 c435 c464 c466 c495 c497 c526 c528 c557 c559 c587 c589 c591 c619 c621 c649 c651 c653 c681 c683 c711 c713 c715 c743 c745 c773 c775 c777 c779 c781 c783 c785 c787 c789 c791 c793 c795 c797 c799 c801 c803 c805 c807 c809 c811 c813 c815 c817 c819 c821 c823 c825 c827 c829 c831 c833 c835 c837 c839 c841 c843 c845 c847 c849 c851 c853 c855 c857 c859 c861 c863 c865 c867 c869 c871 c873 c875 c877 c879 c881 c883 c885 c887 c889 c891 c893 c895 c897 c899 c901 c903 c905 c907 c909 c911 c913 c915 c917 c919 c921 c923 c925 c927 c929 c931 c933 c935 c937 c939 c941 c943 c945 c947 c949 c951 c953 c955 c957 c959 c961 c19429 c19431 c19432 c19433 c19434 c19403 c19404 c19406 c19408 c19409 c19412 c19413 c19414 c19418 c19419 c19423 c19427 c19428 BLOCK 3 c34 c35 c36 c37 c38 c39 c40 c41 c42 c43 c44 c45 c46 c47 c48 c49 c50 c51 c52 c53 c54 c55 c56 c57 c58 c59 c84 c85 c86 c87 c88 c89 c90 c116 c117 c118 c119 c120 c121 c147 c148 c149 c150 c151 c152 c178 c179 c180 c181 c182 c183 c209 c210 c211 c212 c213 c214 c240 c241 c242 c243 c244 c245 c271 c272 c273 c274 c275 c276 c302 c303 c304 c305 c306 c307 c333 c334 c335 c336 c337 c338 c364 c365 c366 c367 c368 c369 c395 c396 c397 c398 c399 c400 c426 c427 c428 c429 c430 c431 c432 c457 c458 c459 c460 c461 c462 c463 c488 c489 c490 c491 c492 c493 c494 c519 c520 c521 c522 c523 c524 c525 c550 c551 c552 c553 c554 c555 c556 c581 c582 c583 c584 c585 c586 c612 c613 c614 c615 c616 c617 c643 c644 c645 c646 c647 c648 c674 c675 c676 c677 c678 c679 c705 c706 c707 c708 c709 c710 c736 c737 c738 c739 c740 c741 c747 c748 c749 c750 c751 c752 c753 c754 c755 c756 c757 c758 c759 c760 c761 c762 c763 c764 c765 c766 c767 c768 c769 c770 c771 c772 c19394 c19395 c19396 c19397 c19398 c19399 BLOCK 4 c284 c285 c286 c287 c288 c289 c290 c291 c292 c293 c294 c295 c296 c297 c298 c299 c300 c315 c316 c317 c318 c319 c320 c321 c322 c323 c324 c325 c326 c327 c328 c329 c330 c331 c346 c347 c348 c349 c350 c351 c352 c353 c354 c355 c356 c357 c358 c359 c360 c361 c362 c377 c378 c379 c380 c381 c382 c383 c384 c385 c386 c387 c388 c389 c390 c391 c392 c393 c408 c409 c410 c411 c412 c413 c414 c415 c416 c417 c418 c419 c420 c421 c422 c423 c424 c439 c440 c441 c442 c443 c444 c445 c446 c447 c448 c449 c450 c451 c452 c453 c454 c455 c470 c471 c472 c473 c474 c475 c476 c477 c478 c479 c480 c481 c482 c483 c484 c485 c486 c501 c502 c503 c504 c505 c506 c507 c508 c509 c510 c511 c512 c513 c514 c515 c516 c517 c532 c533 c534 c535 c536 c537 c538 c539 c540 c541 c542 c543 c544 c545 c546 c547 c548 c563 c564 c565 c566 c567 c568 c569 c570 c571 c572 c573 c574 c575 c576 c577 c578 c579 c594 c595 c596 c597 c598 c599 c600 c601 c602 c603 c604 c605 c606 c607 c608 c609 c610 c625 c626 c627 c628 c629 c630 c631 c632 c633 c634 c635 c636 c637 c638 c639 c640 c641 c656 c657 c658 c659 c660 c661 c662 c663 c664 c665 c666 c667 c668 c669 c670 c671 c672 c687 c688 c689 c690 c691 c692 c693 c694 c695 c696 c697 c698 c699 c700 c701 c702 c703 c19377 c19378 c19379 c19380 c19381 c19382 c19383 c19384 c19385 c19386 c19387 c19388 BLOCK 5 c65 c66 c67 c68 c69 c70 c71 c72 c73 c74 c75 c76 c77 c78 c79 c80 c81 c82 c83 c96 c97 c98 c99 c100 c101 c102 c103 c104 c105 c106 c107 c108 c109 c110 c111 c112 c113 c114 c115 c127 c128 c129 c130 c131 c132 c133 c134 c135 c136 c137 c138 c139 c140 c141 c142 c143 c144 c145 c146 c158 c159 c160 c161 c162 c163 c164 c165 c166 c167 c168 c169 c170 c171 c172 c173 c174 c175 c176 c177 c189 c190 c191 c192 c193 c194 c195 c196 c197 c198 c199 c200 c201 c202 c203 c204 c205 c206 c207 c208 c220 c221 c222 c223 c224 c225 c226 c227 c228 c229 c230 c231 c232 c233 c234 c235 c236 c237 c238 c239 c251 c252 c253 c254 c255 c256 c257 c258 c259 c260 c261 c262 c263 c264 c265 c266 c267 c268 c269 c270 c282 c283 c301 c313 c314 c332 c344 c345 c363 c375 c376 c394 c406 c407 c425 c437 c438 c456 c468 c469 c487 c499 c500 c518 c530 c531 c549 c561 c562 c580 c592 c593 c611 c623 c624 c642 c654 c655 c673 c685 c686 c704 c716 c717 c718 c719 c720 c721 c722 c723 c724 c725 c726 c727 c728 c729 c730 c731 c732 c733 c734 c735 c19389 c19390 c19391 c19392 c19393 MASTERCONSS