\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.230000 1 0.075718 0.000000 0.012987 0.000000 \\ connectedbase 0.000000 116 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 117 BLOCK 1 c625_lhs c625_rhs BLOCK 2 c0 c8 c16 c24 c32 c40 c48 c56 c64 c72 c80 c88 c96 c104 c112 c120 c128 c136 c144 c152 c160 c168 c176 c184 c192 c200 c208 c216 c224 c232 c240 c248 c256 c264 c272 c280 c288 c296 c304 c312 c320 c328 c336 c344 c352 c360 c368 c376 c384 c392 c400 c408 c420 c630_lhs c630_rhs c638_lhs c638_rhs c646_lhs c646_rhs c654_lhs c654_rhs c662_lhs c662_rhs c670_lhs c670_rhs c678_lhs c678_rhs c686_lhs c686_rhs BLOCK 3 c1 c9 c17 c25 c33 c41 c49 c57 c65 c73 c81 c89 c97 c105 c113 c121 c129 c137 c145 c153 c161 c169 c177 c185 c193 c201 c209 c217 c225 c233 c241 c249 c257 c265 c273 c281 c289 c297 c305 c313 c321 c329 c337 c345 c353 c361 c369 c377 c385 c393 c401 c409 c423 c425 c501 c502 c503 c504 c505 c506 c507 c508 c509 c510 c511 c512 c513 c514 c515 c516 c517 c518 c519 c520 c581 c582 c583 c584 c585 c586 c587 c588 c589 c590 c591 c592 c593 c594 c595 c596 c597 c598 c599 c600 c623_lhs c623_rhs c631_lhs c631_rhs c639_lhs c639_rhs c647_lhs c647_rhs c655_lhs c655_rhs c663_lhs c663_rhs c671_lhs c671_rhs c679_lhs c679_rhs c687_lhs c687_rhs BLOCK 4 c2 BLOCK 5 c3 c11 c19 c27 c35 c43 c51 c59 c67 c75 c83 c91 c99 c107 c115 c123 c131 c139 c147 c155 c163 c171 c179 c187 c195 c203 c211 c219 c227 c235 c243 c251 c259 c267 c275 c283 c291 c299 c307 c315 c323 c331 c339 c347 c355 c363 c371 c379 c387 c395 c403 c411 c435 c633_lhs c633_rhs c641_lhs c641_rhs c649_lhs c649_rhs c657_lhs c657_rhs c665_lhs c665_rhs c673_lhs c673_rhs c681_lhs c681_rhs c689_lhs c689_rhs BLOCK 6 c4 c12 c20 c28 c36 c44 c52 c60 c68 c76 c84 c92 c100 c108 c116 c124 c132 c140 c148 c156 c164 c172 c180 c188 c196 c204 c212 c220 c228 c236 c244 c252 c260 c268 c276 c284 c292 c300 c308 c316 c324 c332 c340 c348 c356 c364 c372 c380 c388 c396 c404 c412 c440 c634_lhs c634_rhs c642_lhs c642_rhs c650_lhs c650_rhs c658_lhs c658_rhs c666_lhs c666_rhs c674_lhs c674_rhs c682_lhs c682_rhs c690_lhs c690_rhs BLOCK 7 c5 c13 c21 c29 c37 c45 c53 c61 c69 c77 c85 c93 c101 c109 c117 c125 c133 c141 c149 c157 c165 c173 c181 c189 c197 c205 c213 c221 c229 c237 c245 c253 c261 c269 c277 c285 c293 c301 c309 c317 c325 c333 c341 c349 c357 c365 c373 c381 c389 c397 c405 c413 c445 c635_lhs c635_rhs c643_lhs c643_rhs c651_lhs c651_rhs c659_lhs c659_rhs c667_lhs c667_rhs c675_lhs c675_rhs c683_lhs c683_rhs c691_lhs c691_rhs BLOCK 8 c6 c14 c22 c30 c38 c46 c54 c62 c70 c78 c86 c94 c102 c110 c118 c126 c134 c142 c150 c158 c166 c174 c182 c190 c198 c206 c214 c222 c230 c238 c246 c254 c262 c270 c278 c286 c294 c302 c310 c318 c326 c334 c342 c350 c358 c366 c374 c382 c390 c398 c406 c414 c450 c636_lhs c636_rhs c644_lhs c644_rhs c652_lhs c652_rhs c660_lhs c660_rhs c668_lhs c668_rhs c676_lhs c676_rhs c684_lhs c684_rhs c692_lhs c692_rhs BLOCK 9 c7 c15 c23 c31 c39 c47 c55 c63 c71 c79 c87 c95 c103 c111 c119 c127 c135 c143 c151 c159 c167 c175 c183 c191 c199 c207 c215 c223 c231 c239 c247 c255 c263 c271 c279 c287 c295 c303 c311 c319 c327 c335 c343 c351 c359 c367 c375 c383 c391 c399 c407 c415 c455 c637_lhs c637_rhs c645_lhs c645_rhs c653_lhs c653_rhs c661_lhs c661_rhs c669_lhs c669_rhs c677_lhs c677_rhs c685_lhs c685_rhs c693_lhs c693_rhs BLOCK 10 c10 BLOCK 11 c18 BLOCK 12 c26 BLOCK 13 c34 c66 c90 c98 c664_lhs c664_rhs c672_lhs c672_rhs c680_lhs c680_rhs c688_lhs c688_rhs BLOCK 14 c42 BLOCK 15 c50 BLOCK 16 c58 BLOCK 17 c74 BLOCK 18 c82 BLOCK 19 c106 BLOCK 20 c114 BLOCK 21 c122 BLOCK 22 c130 BLOCK 23 c138 BLOCK 24 c146 BLOCK 25 c154 BLOCK 26 c162 BLOCK 27 c170 BLOCK 28 c178 BLOCK 29 c186 BLOCK 30 c194 BLOCK 31 c202 BLOCK 32 c210 BLOCK 33 c218 BLOCK 34 c226 BLOCK 35 c234 BLOCK 36 c242 BLOCK 37 c250 BLOCK 38 c258 BLOCK 39 c266 BLOCK 40 c274 BLOCK 41 c282 BLOCK 42 c290 BLOCK 43 c298 BLOCK 44 c306 BLOCK 45 c314 BLOCK 46 c322 BLOCK 47 c330 BLOCK 48 c338 BLOCK 49 c346 BLOCK 50 c354 BLOCK 51 c362 BLOCK 52 c370 BLOCK 53 c378 BLOCK 54 c386 BLOCK 55 c394 BLOCK 56 c402 BLOCK 57 c410 BLOCK 58 c461 c541 BLOCK 59 c462 c542 BLOCK 60 c463 c543 BLOCK 61 c464 c544 BLOCK 62 c465 c545 BLOCK 63 c466 c546 BLOCK 64 c467 c547 BLOCK 65 c468 c548 BLOCK 66 c469 c549 BLOCK 67 c470 c550 BLOCK 68 c471 c551 BLOCK 69 c472 c552 BLOCK 70 c473 c553 BLOCK 71 c474 c554 BLOCK 72 c475 c555 BLOCK 73 c476 c556 BLOCK 74 c477 c557 BLOCK 75 c478 c558 BLOCK 76 c479 c559 BLOCK 77 c480 c560 BLOCK 78 c481 c561 BLOCK 79 c482 c562 BLOCK 80 c483 c563 BLOCK 81 c484 c564 BLOCK 82 c485 c565 BLOCK 83 c486 c566 BLOCK 84 c487 c567 BLOCK 85 c488 c568 BLOCK 86 c489 c569 BLOCK 87 c490 c570 BLOCK 88 c491 c571 BLOCK 89 c492 c572 BLOCK 90 c493 c573 BLOCK 91 c494 c574 BLOCK 92 c495 c575 BLOCK 93 c496 c576 BLOCK 94 c497 c577 BLOCK 95 c498 c578 BLOCK 96 c499 c579 BLOCK 97 c500 c580 BLOCK 98 c521 c601 BLOCK 99 c522 c602 BLOCK 100 c523 c603 BLOCK 101 c524 c604 BLOCK 102 c525 c605 BLOCK 103 c526 c606 BLOCK 104 c527 c607 BLOCK 105 c528 c608 BLOCK 106 c529 c609 BLOCK 107 c530 c610 BLOCK 108 c531 c611 BLOCK 109 c532 c612 BLOCK 110 c533 c613 BLOCK 111 c534 c614 BLOCK 112 c535 c615 BLOCK 113 c536 c616 BLOCK 114 c537 c617 BLOCK 115 c538 c618 BLOCK 116 c539 c619 BLOCK 117 c540 c620 MASTERCONSS c416 c417 c418 c419 c421 c422 c424 c426 c427 c428 c429 c430 c431 c432 c433 c434 c436 c437 c438 c439 c441 c442 c443 c444 c446 c447 c448 c449 c451 c452 c453 c454 c456 c457 c458 c459 c460 c621_lhs c621_rhs c622_lhs c622_rhs c624_lhs c624_rhs c626_lhs c626_rhs c627_lhs c627_rhs c628_lhs c628_rhs c629_lhs c629_rhs c632 c640_lhs c640_rhs c648_lhs c648_rhs c656_lhs c656_rhs