\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.000000 0 0.109890 0.000000 0.046875 0.000000 \\ connectedbase 0.000000 5 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 5 BLOCK 1 c2 c7 c8 c17 c18 c27 c28 c37 c38 c47 c48 c58 c63 c64 c73 c74 c83 c84 c93 c94 c105 c110 c111 c120 c121 c130 c131 c141 c146 c147 c156 c157 c167 c172 c173 BLOCK 2 c3 c9 c10 c19 c20 c29 c30 c39 c40 c49 c50 c59 c65 c66 c75 c76 c85 c86 c95 c96 c106 c112 c113 c122 c123 c132 c133 c142 c148 c149 c158 c159 c168 c174 c175 BLOCK 3 c4 c5 c11 c12 c13 c14 c21 c22 c31 c32 c33 c34 c41 c42 c43 c44 c51 c52 c60 c67 c68 c77 c78 c87 c88 c97 c98 c107 c108 c114 c115 c116 c117 c124 c125 c126 c127 c134 c135 c143 c144 c150 c151 c152 c153 c160 c161 c169 c176 c177 BLOCK 4 c6 c15 c16 c25 c26 c35 c36 c45 c46 c55 c56 c62 c71 c72 c81 c82 c91 c92 c101 c102 c109 c118 c119 c128 c129 c138 c139 c145 c154 c164 c165 c171 c180 c181 BLOCK 5 c61 c69 c70 c99 c100 c170 c178 c179 MASTERCONSS c1 c23 c24 c53 c54 c57 c79 c80 c89 c90 c103 c104 c136 c137 c140 c155 c162 c163 c166 c182