\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.500000 0 0.064024 0.000000 0.000195 0.000000 \\ connectedbase 0.010000 50 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 50 BLOCK 1 R0001 R0002 R0003 R0004 R0005 R0006 R0007 R0008 R0009 R0279 BLOCK 2 R0010 R0011 R0012 R0013 R0014 R0015 R0016 R0017 R0018 R0280 BLOCK 3 R0019 R0020 R0021 R0022 R0023 R0024 R0025 R0281 BLOCK 4 R0026 R0027 R0028 R0029 R0030 R0031 R0032 R0033 R0282 BLOCK 5 R0034 R0035 R0036 R0037 R0038 R0039 R0040 R0041 R0042 R0283 BLOCK 6 R0043 R0044 R0045 R0284 BLOCK 7 R0046 R0047 R0048 R0285 BLOCK 8 R0049 R0050 R0051 R0052 R0286 BLOCK 9 R0053 R0054 R0055 R0056 R0057 R0287 BLOCK 10 R0058 R0059 R0060 R0061 R0062 R0063 R0064 R0065 R0066 R0067 R0288 BLOCK 11 R0068 R0069 R0070 R0289 BLOCK 12 R0071 R0072 R0073 R0074 R0075 R0076 R0077 R0290 BLOCK 13 R0078 R0079 R0291 BLOCK 14 R0080 R0081 R0082 R0083 R0084 R0292 BLOCK 15 R0085 R0086 R0087 R0088 R0089 R0090 R0293 BLOCK 16 R0091 R0294 BLOCK 17 R0092 R0295 BLOCK 18 R0093 R0296 BLOCK 19 R0094 R0095 R0096 R0097 R0098 R0099 R0100 R0101 R0297 BLOCK 20 R0102 R0103 R0104 R0105 R0298 BLOCK 21 R0106 R0107 R0299 BLOCK 22 R0108 R0109 R0110 R0111 R0112 R0113 R0114 R0300 BLOCK 23 R0115 R0116 R0117 R0118 R0119 R0120 R0301 BLOCK 24 R0121 R0122 R0123 R0124 R0302 BLOCK 25 R0125 R0126 R0127 R0128 R0303 BLOCK 26 R0129 R0130 R0304 BLOCK 27 R0131 R0132 R0133 R0134 R0135 R0305 BLOCK 28 R0136 R0137 R0138 R0139 R0140 R0141 R0142 R0143 R0306 BLOCK 29 R0144 R0145 R0146 R0147 R0148 R0149 R0150 R0151 R0152 R0307 BLOCK 30 R0153 R0154 R0155 R0156 R0157 R0308 BLOCK 31 R0158 R0159 R0160 R0161 R0162 R0163 R0309 BLOCK 32 R0164 R0165 R0166 R0167 R0168 R0169 R0170 R0171 R0310 BLOCK 33 R0172 R0173 R0174 R0175 R0176 R0177 R0178 R0179 R0180 R0311 BLOCK 34 R0181 R0182 R0183 R0184 R0312 BLOCK 35 R0185 R0186 R0187 R0188 R0189 R0190 R0191 R0313 BLOCK 36 R0192 R0314 BLOCK 37 R0193 R0194 R0195 R0196 R0197 R0198 R0199 R0200 R0201 R0202 R0315 BLOCK 38 R0203 R0204 R0205 R0206 R0207 R0208 R0316 BLOCK 39 R0209 R0210 R0211 R0212 R0213 R0317 BLOCK 40 R0214 R0215 R0216 R0318 BLOCK 41 R0217 R0218 R0219 R0220 R0319 BLOCK 42 R0221 R0222 R0223 R0224 R0225 R0226 R0227 R0228 R0320 BLOCK 43 R0229 R0230 R0231 R0232 R0233 R0234 R0235 R0321 BLOCK 44 R0236 R0237 R0238 R0322 BLOCK 45 R0239 R0323 BLOCK 46 R0240 R0324 BLOCK 47 R0241 R0325 BLOCK 48 R0242 R0243 R0244 R0326 BLOCK 49 R0245 R0246 R0247 R0248 R0249 R0250 R0251 R0252 R0253 R0327 BLOCK 50 R0254 R0255 R0256 R0257 R0328 MASTERCONSS R0258 R0259 R0260 R0261 R0262 R0263 R0264 R0265 R0266 R0267 R0268 R0269 R0270 R0271 R0272 R0273 R0274 R0275 R0276 R0277 R0278