\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.048701 0.000000 0.000000 0.000000 \\ connectedbase 0.010000 293 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 293 BLOCK 1 R0016 BLOCK 2 R0017 BLOCK 3 R0018 BLOCK 4 R0019 BLOCK 5 R0020 BLOCK 6 R0021 BLOCK 7 R0022 BLOCK 8 R0023 BLOCK 9 R0024 BLOCK 10 R0025 BLOCK 11 R0026 BLOCK 12 R0027 BLOCK 13 R0028 BLOCK 14 R0029 BLOCK 15 R0030 BLOCK 16 R0031 BLOCK 17 R0032 BLOCK 18 R0033 BLOCK 19 R0034 BLOCK 20 R0035 BLOCK 21 R0036 BLOCK 22 R0037 BLOCK 23 R0038 BLOCK 24 R0039 BLOCK 25 R0040 BLOCK 26 R0041 BLOCK 27 R0042 BLOCK 28 R0043 BLOCK 29 R0044 BLOCK 30 R0045 BLOCK 31 R0046 BLOCK 32 R0047 BLOCK 33 R0048 BLOCK 34 R0049 BLOCK 35 R0050 BLOCK 36 R0051 BLOCK 37 R0052 BLOCK 38 R0053 BLOCK 39 R0054 BLOCK 40 R0055 BLOCK 41 R0056 BLOCK 42 R0057 BLOCK 43 R0058 BLOCK 44 R0059 BLOCK 45 R0060 BLOCK 46 R0061 BLOCK 47 R0062 BLOCK 48 R0063 BLOCK 49 R0064 BLOCK 50 R0065 BLOCK 51 R0066 BLOCK 52 R0067 BLOCK 53 R0068 BLOCK 54 R0069 BLOCK 55 R0070 BLOCK 56 R0071 BLOCK 57 R0072 BLOCK 58 R0073 BLOCK 59 R0074 BLOCK 60 R0075 BLOCK 61 R0076 BLOCK 62 R0077 BLOCK 63 R0078 BLOCK 64 R0079 BLOCK 65 R0080 BLOCK 66 R0081 BLOCK 67 R0082 BLOCK 68 R0083 BLOCK 69 R0084 BLOCK 70 R0085 BLOCK 71 R0086 BLOCK 72 R0087 BLOCK 73 R0088 BLOCK 74 R0089 BLOCK 75 R0090 BLOCK 76 R0091 BLOCK 77 R0092 BLOCK 78 R0093 BLOCK 79 R0094 BLOCK 80 R0095 BLOCK 81 R0096 BLOCK 82 R0097 BLOCK 83 R0098 BLOCK 84 R0099 BLOCK 85 R0100 BLOCK 86 R0101 BLOCK 87 R0102 BLOCK 88 R0103 BLOCK 89 R0104 BLOCK 90 R0105 BLOCK 91 R0106 BLOCK 92 R0107 BLOCK 93 R0108 BLOCK 94 R0109 BLOCK 95 R0110 BLOCK 96 R0111 BLOCK 97 R0112 BLOCK 98 R0113 BLOCK 99 R0114 BLOCK 100 R0115 BLOCK 101 R0116 BLOCK 102 R0117 BLOCK 103 R0118 BLOCK 104 R0119 BLOCK 105 R0120 BLOCK 106 R0121 BLOCK 107 R0122 BLOCK 108 R0123 BLOCK 109 R0124 BLOCK 110 R0125 BLOCK 111 R0126 BLOCK 112 R0127 BLOCK 113 R0128 BLOCK 114 R0129 BLOCK 115 R0130 BLOCK 116 R0131 BLOCK 117 R0132 BLOCK 118 R0133 BLOCK 119 R0134 BLOCK 120 R0135 BLOCK 121 R0136 BLOCK 122 R0137 BLOCK 123 R0138 BLOCK 124 R0139 BLOCK 125 R0140 BLOCK 126 R0141 BLOCK 127 R0142 BLOCK 128 R0143 BLOCK 129 R0144 BLOCK 130 R0145 BLOCK 131 R0146 BLOCK 132 R0147 BLOCK 133 R0148 BLOCK 134 R0149 BLOCK 135 R0150 BLOCK 136 R0151 BLOCK 137 R0152 BLOCK 138 R0153 BLOCK 139 R0154 BLOCK 140 R0155 BLOCK 141 R0156 BLOCK 142 R0157 BLOCK 143 R0158 BLOCK 144 R0159 BLOCK 145 R0160 BLOCK 146 R0161 BLOCK 147 R0162 BLOCK 148 R0163 BLOCK 149 R0164 BLOCK 150 R0165 BLOCK 151 R0166 BLOCK 152 R0167 BLOCK 153 R0168 BLOCK 154 R0169 BLOCK 155 R0170 BLOCK 156 R0171 BLOCK 157 R0172 BLOCK 158 R0173 BLOCK 159 R0174 BLOCK 160 R0175 BLOCK 161 R0176 BLOCK 162 R0177 BLOCK 163 R0178 BLOCK 164 R0179 BLOCK 165 R0180 BLOCK 166 R0181 BLOCK 167 R0182 BLOCK 168 R0183 BLOCK 169 R0184 BLOCK 170 R0185 BLOCK 171 R0186 BLOCK 172 R0187 BLOCK 173 R0188 BLOCK 174 R0189 BLOCK 175 R0190 BLOCK 176 R0191 BLOCK 177 R0192 BLOCK 178 R0193 BLOCK 179 R0194 BLOCK 180 R0195 BLOCK 181 R0196 BLOCK 182 R0197 BLOCK 183 R0198 BLOCK 184 R0199 BLOCK 185 R0200 BLOCK 186 R0201 BLOCK 187 R0202 BLOCK 188 R0203 BLOCK 189 R0204 BLOCK 190 R0205 BLOCK 191 R0206 BLOCK 192 R0207 BLOCK 193 R0208 BLOCK 194 R0209 BLOCK 195 R0210 BLOCK 196 R0211 BLOCK 197 R0212 BLOCK 198 R0213 BLOCK 199 R0214 BLOCK 200 R0215 BLOCK 201 R0216 BLOCK 202 R0217 BLOCK 203 R0218 BLOCK 204 R0219 BLOCK 205 R0220 BLOCK 206 R0221 BLOCK 207 R0222 BLOCK 208 R0223 BLOCK 209 R0224 BLOCK 210 R0225 BLOCK 211 R0226 BLOCK 212 R0227 BLOCK 213 R0228 BLOCK 214 R0229 BLOCK 215 R0230 BLOCK 216 R0231 BLOCK 217 R0232 BLOCK 218 R0233 BLOCK 219 R0234 BLOCK 220 R0235 BLOCK 221 R0236 BLOCK 222 R0237 BLOCK 223 R0238 BLOCK 224 R0239 BLOCK 225 R0240 BLOCK 226 R0241 BLOCK 227 R0242 BLOCK 228 R0243 BLOCK 229 R0244 BLOCK 230 R0245 BLOCK 231 R0246 BLOCK 232 R0247 BLOCK 233 R0248 BLOCK 234 R0249 BLOCK 235 R0250 BLOCK 236 R0251 BLOCK 237 R0252 BLOCK 238 R0253 BLOCK 239 R0254 BLOCK 240 R0255 BLOCK 241 R0256 BLOCK 242 R0257 BLOCK 243 R0258 BLOCK 244 R0259 BLOCK 245 R0260 BLOCK 246 R0261 BLOCK 247 R0262 BLOCK 248 R0263 BLOCK 249 R0264 BLOCK 250 R0265 BLOCK 251 R0266 BLOCK 252 R0267 BLOCK 253 R0268 BLOCK 254 R0269 BLOCK 255 R0270 BLOCK 256 R0271 BLOCK 257 R0272 BLOCK 258 R0273 BLOCK 259 R0274 BLOCK 260 R0275 BLOCK 261 R0276 BLOCK 262 R0277 BLOCK 263 R0278 BLOCK 264 R0279 BLOCK 265 R0280 BLOCK 266 R0281 BLOCK 267 R0282 BLOCK 268 R0283 BLOCK 269 R0284 BLOCK 270 R0285 BLOCK 271 R0286 BLOCK 272 R0287 BLOCK 273 R0288 BLOCK 274 R0289 BLOCK 275 R0290 BLOCK 276 R0291 BLOCK 277 R0292 BLOCK 278 R0293 BLOCK 279 R0294 BLOCK 280 R0295 BLOCK 281 R0296 BLOCK 282 R0297 BLOCK 283 R0298 BLOCK 284 R0299 BLOCK 285 R0300 BLOCK 286 R0301 BLOCK 287 R0302 BLOCK 288 R0303 BLOCK 289 R0304 BLOCK 290 R0305 BLOCK 291 R0306 BLOCK 292 R0307 BLOCK 293 R0308 MASTERCONSS R0001 R0002 R0003 R0004 R0005 R0006 R0007 R0008 R0009 R0010 R0011 R0012 R0013 R0014 R0015