\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.040000 0 0.076596 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 78 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 78 BLOCK 1 CNS..001 CNS..002 CNS..003 CNS..021 CNS..022 CNS..023 CNS..024 CNS..043 UC...001 UC...002 UC...003 UC...004 UC...005 UC...006 UC...007 UC...008 UC...009 UC...010 UC...011 UC...012 UC...014 UC...016 UC...079 UC...080 UC...081 UC...082 UC...083 UC...084 UC...085 UC...086 UC...087 UC...088 UC...089 UC...090 UC...091 UC...092 UC...093 UC...094 UC...161 UC...163 UC...165 UC...166 UC...167 UC...168 BLOCK 2 CNS..005 UC...013 UC...015 UC...017 UC...018 UC...019 UC...020 BLOCK 3 CNS..007 CNS..008 CNS..009 CNS..010 CNS..028 CNS..029 CNS..048 UC...021 UC...023 UC...025 UC...026 UC...027 UC...028 UC...029 UC...030 UC...031 UC...032 UC...033 UC...034 UC...035 UC...036 UC...037 UC...038 UC...039 UC...040 UC...103 UC...105 UC...107 UC...108 UC...109 UC...110 UC...111 UC...112 UC...113 UC...114 UC...181 UC...183 UC...185 UC...186 UC...187 UC...188 BLOCK 4 CNS..012 CNS..032 CNS..052 CNS..053 UC...041 UC...043 UC...045 UC...046 UC...047 UC...048 UC...119 UC...121 UC...123 UC...124 UC...125 UC...126 UC...128 UC...130 UC...197 UC...199 UC...201 UC...202 UC...203 UC...204 UC...205 UC...206 UC...207 UC...208 BLOCK 5 CNS..014 CNS..015 CNS..034 CNS..035 CNS..036 CNS..055 UC...049 UC...051 UC...053 UC...054 UC...055 UC...056 UC...057 UC...058 UC...059 UC...060 UC...062 UC...064 UC...127 UC...129 UC...131 UC...132 UC...133 UC...134 UC...135 UC...136 UC...137 UC...138 UC...139 UC...140 UC...141 UC...142 UC...209 UC...211 UC...213 UC...214 UC...215 UC...216 BLOCK 6 CNS..017 CNS..018 CNS..019 CNS..020 CNS..038 CNS..039 CNS..040 CNS..059 CNS..060 UC...061 UC...063 UC...065 UC...066 UC...067 UC...068 UC...069 UC...070 UC...071 UC...072 UC...073 UC...074 UC...075 UC...076 UC...077 UC...078 UC...143 UC...145 UC...147 UC...148 UC...149 UC...150 UC...151 UC...152 UC...153 UC...154 UC...155 UC...156 UC...225 UC...227 UC...229 UC...230 UC...231 UC...232 UC...233 UC...234 BLOCK 7 CNS..026 CNS..045 CNS..046 CNS..064 CNS..065 UC...022 UC...024 UC...095 UC...096 UC...097 UC...098 UC...099 UC...100 UC...101 UC...102 UC...169 UC...170 UC...171 UC...172 UC...173 UC...174 UC...175 UC...176 UC...177 UC...178 UC...179 UC...180 UC...243 UC...245 UC...247 UC...248 UC...249 UC...250 UC...251 UC...252 UC...253 UC...254 BLOCK 8 CNS..050 CNS..069 CNS..070 CNS..071 CNS..090 UC...116 UC...118 UC...189 UC...190 UC...191 UC...192 UC...193 UC...194 UC...195 UC...196 UC...198 UC...200 UC...263 UC...265 UC...267 UC...268 UC...269 UC...270 UC...271 UC...272 UC...273 UC...274 UC...275 UC...276 UC...277 UC...278 UC...345 UC...347 UC...349 UC...350 UC...351 UC...352 BLOCK 9 CNS..057 CNS..076 CNS..077 CNS..078 CNS..095 CNS..096 UC...144 UC...146 UC...217 UC...218 UC...219 UC...220 UC...221 UC...222 UC...223 UC...224 UC...226 UC...228 UC...291 UC...292 UC...293 UC...294 UC...295 UC...296 UC...297 UC...298 UC...299 UC...300 UC...301 UC...302 UC...303 UC...304 UC...305 UC...306 UC...365 UC...367 UC...369 UC...370 UC...371 UC...372 UC...373 UC...374 UC...375 UC...376 BLOCK 10 CNS..061 CNS..062 CNS..081 CNS..082 CNS..083 CNS..101 CNS..102 CNS..121 UC...158 UC...160 UC...162 UC...164 UC...235 UC...236 UC...237 UC...238 UC...239 UC...240 UC...241 UC...242 UC...244 UC...246 UC...313 UC...314 UC...315 UC...316 UC...317 UC...318 UC...319 UC...320 UC...321 UC...322 UC...323 UC...324 UC...391 UC...392 UC...393 UC...394 UC...395 UC...396 UC...397 UC...398 UC...469 UC...470 UC...471 UC...472 BLOCK 11 CNS..067 CNS..086 CNS..087 CNS..088 CNS..107 UC...182 UC...184 UC...255 UC...256 UC...257 UC...258 UC...259 UC...260 UC...261 UC...262 UC...264 UC...266 UC...329 UC...331 UC...333 UC...334 UC...335 UC...336 UC...337 UC...338 UC...339 UC...340 UC...341 UC...342 UC...343 UC...344 UC...411 UC...413 UC...415 UC...416 UC...417 UC...418 BLOCK 12 CNS..074 UC...210 UC...212 UC...283 UC...285 UC...287 UC...288 UC...289 UC...290 BLOCK 13 CNS..092 CNS..093 CNS..112 CNS..113 CNS..114 CNS..133 UC...280 UC...282 UC...284 UC...286 UC...353 UC...355 UC...357 UC...358 UC...359 UC...360 UC...361 UC...362 UC...363 UC...364 UC...366 UC...368 UC...431 UC...433 UC...435 UC...436 UC...437 UC...438 UC...439 UC...440 UC...441 UC...442 UC...443 UC...444 UC...445 UC...446 UC...513 UC...515 UC...517 UC...518 UC...519 UC...520 BLOCK 14 CNS..099 CNS..100 CNS..117 CNS..118 CNS..119 CNS..120 CNS..138 UC...308 UC...310 UC...311 UC...312 UC...378 UC...380 UC...381 UC...382 UC...383 UC...384 UC...385 UC...386 UC...387 UC...388 UC...389 UC...390 UC...451 UC...453 UC...455 UC...456 UC...457 UC...458 UC...459 UC...460 UC...461 UC...462 UC...463 UC...464 UC...465 UC...466 UC...467 UC...468 UC...533 UC...535 UC...537 UC...538 UC...539 UC...540 BLOCK 15 CNS..104 CNS..105 CNS..123 CNS..124 CNS..144 UC...326 UC...328 UC...330 UC...332 UC...399 UC...400 UC...401 UC...402 UC...403 UC...404 UC...405 UC...406 UC...407 UC...408 UC...409 UC...410 UC...473 UC...475 UC...477 UC...478 UC...479 UC...480 UC...481 UC...482 UC...483 UC...484 UC...555 UC...557 UC...559 UC...560 UC...561 UC...562 BLOCK 16 CNS..126 CNS..146 CNS..166 CNS..167 CNS..186 CNS..187 CNS..188 UC...412 UC...414 UC...485 UC...487 UC...489 UC...490 UC...491 UC...492 UC...563 UC...565 UC...567 UC...568 UC...569 UC...570 UC...572 UC...574 UC...641 UC...643 UC...645 UC...646 UC...647 UC...648 UC...649 UC...650 UC...651 UC...652 UC...654 UC...656 UC...711 UC...712 UC...713 UC...714 UC...715 UC...716 UC...717 UC...718 BLOCK 17 CNS..128 CNS..129 CNS..148 CNS..149 CNS..169 UC...420 UC...422 UC...424 UC...426 UC...493 UC...495 UC...497 UC...498 UC...499 UC...500 UC...501 UC...502 UC...503 UC...504 UC...571 UC...573 UC...575 UC...576 UC...577 UC...578 UC...579 UC...580 UC...581 UC...582 UC...653 UC...655 UC...657 UC...658 UC...659 UC...660 BLOCK 18 CNS..131 CNS..151 CNS..152 CNS..171 UC...432 UC...434 UC...505 UC...507 UC...509 UC...510 UC...511 UC...512 UC...514 UC...516 UC...583 UC...585 UC...587 UC...588 UC...589 UC...590 UC...591 UC...592 UC...593 UC...594 UC...661 UC...663 UC...665 UC...666 UC...667 UC...668 BLOCK 19 CNS..135 CNS..136 CNS..156 CNS..157 UC...448 UC...450 UC...452 UC...454 UC...521 UC...523 UC...525 UC...526 UC...527 UC...528 UC...529 UC...530 UC...531 UC...532 UC...534 UC...536 UC...603 UC...605 UC...607 UC...608 UC...609 UC...610 UC...611 UC...612 UC...613 UC...614 BLOCK 20 CNS..142 CNS..161 CNS..162 CNS..163 CNS..181 CNS..182 CNS..183 CNS..184 UC...474 UC...476 UC...547 UC...548 UC...549 UC...550 UC...551 UC...552 UC...553 UC...554 UC...556 UC...558 UC...625 UC...626 UC...627 UC...628 UC...629 UC...630 UC...631 UC...632 UC...633 UC...634 UC...635 UC...636 UC...638 UC...640 UC...703 UC...704 UC...705 UC...706 UC...707 UC...708 UC...709 UC...710 BLOCK 21 CNS..154 CNS..173 CNS..174 CNS..175 CNS..194 CNS..195 CNS..196 UC...522 UC...524 UC...595 UC...596 UC...597 UC...598 UC...599 UC...600 UC...601 UC...602 UC...604 UC...606 UC...669 UC...671 UC...673 UC...674 UC...675 UC...676 UC...677 UC...678 UC...679 UC...680 UC...681 UC...682 UC...683 UC...684 UC...686 UC...688 UC...727 UC...728 UC...729 UC...730 UC...731 UC...732 UC...733 UC...734 BLOCK 22 CNS..159 CNS..160 CNS..178 CNS..179 CNS..180 CNS..198 CNS..199 CNS..200 UC...542 UC...544 UC...545 UC...546 UC...615 UC...616 UC...617 UC...618 UC...619 UC...620 UC...621 UC...622 UC...623 UC...624 UC...689 UC...691 UC...693 UC...694 UC...695 UC...696 UC...697 UC...698 UC...699 UC...700 UC...701 UC...702 UC...735 UC...736 UC...737 UC...738 UC...739 UC...740 BLOCK 23 CNS..190 UC...662 UC...664 UC...719 UC...720 UC...721 UC...722 BLOCK 24 CNS..192 UC...670 UC...672 UC...723 UC...724 UC...725 UC...726 BLOCK 25 UC...042 BLOCK 26 UC...044 BLOCK 27 UC...050 BLOCK 28 UC...052 BLOCK 29 UC...104 BLOCK 30 UC...106 BLOCK 31 UC...115 BLOCK 32 UC...117 BLOCK 33 UC...120 BLOCK 34 UC...122 BLOCK 35 UC...157 BLOCK 36 UC...159 BLOCK 37 UC...279 BLOCK 38 UC...281 BLOCK 39 UC...307 BLOCK 40 UC...309 BLOCK 41 UC...325 BLOCK 42 UC...327 BLOCK 43 UC...346 BLOCK 44 UC...348 BLOCK 45 UC...354 BLOCK 46 UC...356 BLOCK 47 UC...377 BLOCK 48 UC...379 BLOCK 49 UC...419 BLOCK 50 UC...421 BLOCK 51 UC...423 BLOCK 52 UC...425 BLOCK 53 UC...427 BLOCK 54 UC...428 BLOCK 55 UC...429 BLOCK 56 UC...430 BLOCK 57 UC...447 BLOCK 58 UC...449 BLOCK 59 UC...486 BLOCK 60 UC...488 BLOCK 61 UC...494 BLOCK 62 UC...496 BLOCK 63 UC...506 BLOCK 64 UC...508 BLOCK 65 UC...541 BLOCK 66 UC...543 BLOCK 67 UC...564 BLOCK 68 UC...566 BLOCK 69 UC...584 BLOCK 70 UC...586 BLOCK 71 UC...637 BLOCK 72 UC...639 BLOCK 73 UC...642 BLOCK 74 UC...644 BLOCK 75 UC...685 BLOCK 76 UC...687 BLOCK 77 UC...690 BLOCK 78 UC...692 MASTERCONSS CNS..004 CNS..006 CNS..011 CNS..013 CNS..016 CNS..025 CNS..027 CNS..030 CNS..031 CNS..033 CNS..037 CNS..041 CNS..042 CNS..044 CNS..047 CNS..049 CNS..051 CNS..054 CNS..056 CNS..058 CNS..063 CNS..066 CNS..068 CNS..072 CNS..073 CNS..075 CNS..079 CNS..080 CNS..084 CNS..085 CNS..089 CNS..091 CNS..094 CNS..097 CNS..098 CNS..103 CNS..106 CNS..108 CNS..109 CNS..110 CNS..111 CNS..115 CNS..116 CNS..122 CNS..125 CNS..127 CNS..130 CNS..132 CNS..134 CNS..137 CNS..139 CNS..140 CNS..141 CNS..143 CNS..145 CNS..147 CNS..150 CNS..153 CNS..155 CNS..158 CNS..164 CNS..165 CNS..168 CNS..170 CNS..172 CNS..176 CNS..177 CNS..185 CNS..189 CNS..191 CNS..193 CNS..197