\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.090000 0 0.359281 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 17 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 17 BLOCK 1 R0 R1 R12 R13 R14 R15 R26 R27 R28 R29 R40 R41 R42 R43 R54 R55 R56 R57 R68 R69 R70 R71 R82 R83 R84 R85 R96 R97 R154 R160 R163 R164 R165 BLOCK 2 R2 R3 R16 R17 R18 R19 R30 R31 R44 R45 R58 R59 R72 R73 R86 R87 R155 R166 BLOCK 3 R4 R5 BLOCK 4 R6 R7 BLOCK 5 R8 R9 R22 R23 R36 R37 R50 R51 R64 R65 R78 R79 R92 R93 R158 BLOCK 6 R10 R11 R24 R25 R38 R39 R52 R53 R66 R67 R80 R81 R94 R95 R159 BLOCK 7 R20 R21 BLOCK 8 R32 R33 BLOCK 9 R34 R35 BLOCK 10 R46 R47 BLOCK 11 R48 R49 BLOCK 12 R60 R61 BLOCK 13 R62 R63 BLOCK 14 R74 R75 BLOCK 15 R76 R77 BLOCK 16 R88 R89 BLOCK 17 R90 R91 MASTERCONSS R98 R99 R100 R101 R102 R103 R104 R105 R106 R107 R108 R109 R110 R111 R112 R113 R114 R115 R116 R117 R118 R119 R120 R121 R122 R123 R124 R125 R126 R127 R128 R129 R130 R131 R132 R133 R134 R135 R136 R137 R138 R139 R140 R141 R142 R143 R144 R145 R146 R147 R148 R149 R150 R151 R152 R153 R156 R157 R161 R162