\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.010000 0 0.429840 0.000000 0.032468 0.000000 \\ connectedbase 0.000000 122 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 122 BLOCK 1 R0001 R0004 R0011 R0017 R0020 R0027 R0065 R0066 R0075 R0177 R0178 R0181 R0273 R0276 R0283 R0289 R0292 R0299 R0337 R0338 R0347 R0449 R0450 R0453 R0545 R0556 BLOCK 2 R0002 R0033 BLOCK 3 R0003 R0049 BLOCK 4 R0005 R0081 BLOCK 5 R0006 R0097 BLOCK 6 R0007 R0113 BLOCK 7 R0008 R0129 BLOCK 8 R0009 R0145 BLOCK 9 R0010 R0161 BLOCK 10 R0012 R0193 BLOCK 11 R0013 R0209 BLOCK 12 R0014 R0225 BLOCK 13 R0015 R0241 BLOCK 14 R0016 R0257 BLOCK 15 R0018 R0034 BLOCK 16 R0019 R0050 BLOCK 17 R0021 R0082 BLOCK 18 R0022 R0098 BLOCK 19 R0023 R0114 BLOCK 20 R0024 R0130 BLOCK 21 R0025 R0146 BLOCK 22 R0026 R0162 BLOCK 23 R0028 R0194 BLOCK 24 R0029 R0210 BLOCK 25 R0030 R0226 BLOCK 26 R0031 R0242 BLOCK 27 R0032 R0258 BLOCK 28 R0035 R0051 BLOCK 29 R0036 R0067 BLOCK 30 R0037 R0083 BLOCK 31 R0038 R0099 BLOCK 32 R0039 R0115 BLOCK 33 R0040 R0131 BLOCK 34 R0041 R0147 BLOCK 35 R0042 R0163 R0314 R0435 R0555 BLOCK 36 R0043 R0179 BLOCK 37 R0044 R0195 BLOCK 38 R0045 R0211 BLOCK 39 R0046 R0227 BLOCK 40 R0047 R0243 BLOCK 41 R0048 R0259 BLOCK 42 R0052 R0068 BLOCK 43 R0053 R0084 BLOCK 44 R0054 R0100 BLOCK 45 R0055 R0116 BLOCK 46 R0056 R0132 BLOCK 47 R0057 R0148 BLOCK 48 R0058 R0164 BLOCK 49 R0059 R0180 BLOCK 50 R0060 R0196 BLOCK 51 R0061 R0212 BLOCK 52 R0062 R0228 BLOCK 53 R0063 R0244 BLOCK 54 R0064 R0260 BLOCK 55 R0069 R0085 BLOCK 56 R0070 R0101 BLOCK 57 R0071 R0117 BLOCK 58 R0072 R0133 BLOCK 59 R0073 R0149 BLOCK 60 R0074 R0165 BLOCK 61 R0076 R0197 BLOCK 62 R0077 R0213 BLOCK 63 R0078 R0229 BLOCK 64 R0079 R0245 BLOCK 65 R0080 R0261 BLOCK 66 R0086 R0102 BLOCK 67 R0087 R0118 BLOCK 68 R0088 R0134 BLOCK 69 R0089 R0150 BLOCK 70 R0090 R0166 BLOCK 71 R0091 R0182 BLOCK 72 R0092 R0093 R0094 R0095 R0198 R0205 R0206 R0207 R0214 R0221 R0223 R0230 R0237 R0239 R0246 R0253 R0254 R0255 R0364 R0365 R0366 R0367 R0470 R0477 R0478 R0479 R0486 R0493 R0495 R0502 R0509 R0511 R0518 R0525 R0526 R0527 R0557 R0560 BLOCK 73 R0096 R0262 BLOCK 74 R0103 R0104 R0119 R0120 R0135 R0136 R0375 R0376 R0391 R0392 R0407 R0408 R0551 R0553 BLOCK 75 R0105 R0151 BLOCK 76 R0106 R0167 BLOCK 77 R0107 R0183 BLOCK 78 R0108 R0199 BLOCK 79 R0109 R0215 BLOCK 80 R0110 R0231 BLOCK 81 R0111 R0247 BLOCK 82 R0112 R0263 BLOCK 83 R0121 R0152 BLOCK 84 R0122 R0168 BLOCK 85 R0123 R0184 BLOCK 86 R0124 R0200 BLOCK 87 R0125 R0216 BLOCK 88 R0126 R0232 BLOCK 89 R0127 R0248 BLOCK 90 R0128 R0264 BLOCK 91 R0137 R0153 BLOCK 92 R0138 R0169 BLOCK 93 R0139 R0185 BLOCK 94 R0140 R0201 BLOCK 95 R0141 R0217 BLOCK 96 R0142 R0233 BLOCK 97 R0143 R0249 BLOCK 98 R0144 R0265 BLOCK 99 R0154 R0170 BLOCK 100 R0155 R0186 BLOCK 101 R0156 R0202 BLOCK 102 R0157 R0218 BLOCK 103 R0158 R0234 BLOCK 104 R0159 R0250 BLOCK 105 R0160 R0266 R0432 R0538 R0554 BLOCK 106 R0171 R0187 BLOCK 107 R0172 R0203 BLOCK 108 R0173 R0219 BLOCK 109 R0174 R0235 BLOCK 110 R0175 R0251 BLOCK 111 R0176 R0267 BLOCK 112 R0188 R0204 BLOCK 113 R0189 R0220 BLOCK 114 R0190 R0236 BLOCK 115 R0191 R0252 BLOCK 116 R0192 R0268 BLOCK 117 R0208 R0269 BLOCK 118 R0222 R0238 BLOCK 119 R0224 R0270 BLOCK 120 R0240 R0271 BLOCK 121 R0256 R0272 BLOCK 122 R0548 MASTERCONSS R0274 R0275 R0277 R0278 R0279 R0280 R0281 R0282 R0284 R0285 R0286 R0287 R0288 R0290 R0291 R0293 R0294 R0295 R0296 R0297 R0298 R0300 R0301 R0302 R0303 R0304 R0305 R0306 R0307 R0308 R0309 R0310 R0311 R0312 R0313 R0315 R0316 R0317 R0318 R0319 R0320 R0321 R0322 R0323 R0324 R0325 R0326 R0327 R0328 R0329 R0330 R0331 R0332 R0333 R0334 R0335 R0336 R0339 R0340 R0341 R0342 R0343 R0344 R0345 R0346 R0348 R0349 R0350 R0351 R0352 R0353 R0354 R0355 R0356 R0357 R0358 R0359 R0360 R0361 R0362 R0363 R0368 R0369 R0370 R0371 R0372 R0373 R0374 R0377 R0378 R0379 R0380 R0381 R0382 R0383 R0384 R0385 R0386 R0387 R0388 R0389 R0390 R0393 R0394 R0395 R0396 R0397 R0398 R0399 R0400 R0401 R0402 R0403 R0404 R0405 R0406 R0409 R0410 R0411 R0412 R0413 R0414 R0415 R0416 R0417 R0418 R0419 R0420 R0421 R0422 R0423 R0424 R0425 R0426 R0427 R0428 R0429 R0430 R0431 R0433 R0434 R0436 R0437 R0438 R0439 R0440 R0441 R0442 R0443 R0444 R0445 R0446 R0447 R0448 R0451 R0452 R0454 R0455 R0456 R0457 R0458 R0459 R0460 R0461 R0462 R0463 R0464 R0465 R0466 R0467 R0468 R0469 R0471 R0472 R0473 R0474 R0475 R0476 R0480 R0481 R0482 R0483 R0484 R0485 R0487 R0488 R0489 R0490 R0491 R0492 R0494 R0496 R0497 R0498 R0499 R0500 R0501 R0503 R0504 R0505 R0506 R0507 R0508 R0510 R0512 R0513 R0514 R0515 R0516 R0517 R0519 R0520 R0521 R0522 R0523 R0524 R0528 R0529 R0530 R0531 R0532 R0533 R0534 R0535 R0536 R0537 R0539 R0540 R0541 R0542 R0543 R0544 R0546 R0547 R0549 R0550 R0552 R0558 R0559 R0561 R0562 R0563