\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.020000 0 0.171674 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 146 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 146 BLOCK 1 c3 c57 c58 c59 c163 c180 BLOCK 2 c9 c66 c67 c68 c188 BLOCK 3 c23 c93 c94 c205 c210 c221 BLOCK 4 c26 c99 c100 c176 c218 BLOCK 5 c29 c30 c41 c96 c105 c106 c107 c108 c129 c130 c160 c177 c182 c209 c213 c227 BLOCK 6 c36 c119 c120 c173 c185 c225 BLOCK 7 c44 c135 c136 c184 c186 c229 BLOCK 8 c45 c137 c138 c191 c195 BLOCK 9 c51 BLOCK 10 c52 BLOCK 11 c53 BLOCK 12 c54 BLOCK 13 c55 BLOCK 14 c56 BLOCK 15 c60 BLOCK 16 c61 BLOCK 17 c62 BLOCK 18 c63 BLOCK 19 c64 BLOCK 20 c65 BLOCK 21 c69 BLOCK 22 c70 BLOCK 23 c71 BLOCK 24 c72 BLOCK 25 c73 BLOCK 26 c74 BLOCK 27 c75 BLOCK 28 c76 BLOCK 29 c77 BLOCK 30 c78 BLOCK 31 c79 BLOCK 32 c80 BLOCK 33 c81 BLOCK 34 c82 BLOCK 35 c83 BLOCK 36 c84 BLOCK 37 c85 BLOCK 38 c86 BLOCK 39 c87 BLOCK 40 c88 BLOCK 41 c89 BLOCK 42 c90 BLOCK 43 c91 BLOCK 44 c92 BLOCK 45 c95 BLOCK 46 c97 BLOCK 47 c98 BLOCK 48 c101 BLOCK 49 c102 BLOCK 50 c103 BLOCK 51 c104 BLOCK 52 c109 BLOCK 53 c110 BLOCK 54 c111 BLOCK 55 c112 BLOCK 56 c113 BLOCK 57 c114 BLOCK 58 c115 BLOCK 59 c116 BLOCK 60 c117 BLOCK 61 c118 BLOCK 62 c121 BLOCK 63 c122 BLOCK 64 c123 BLOCK 65 c124 BLOCK 66 c125 BLOCK 67 c126 BLOCK 68 c127 BLOCK 69 c128 BLOCK 70 c131 BLOCK 71 c132 BLOCK 72 c133 BLOCK 73 c134 BLOCK 74 c139 BLOCK 75 c140 BLOCK 76 c141 BLOCK 77 c142 BLOCK 78 c143 BLOCK 79 c144 BLOCK 80 c145 BLOCK 81 c146 BLOCK 82 c147 BLOCK 83 c148 BLOCK 84 c149 BLOCK 85 c150 BLOCK 86 c151 BLOCK 87 c152 BLOCK 88 c153 BLOCK 89 c154 BLOCK 90 c155 BLOCK 91 c156 BLOCK 92 c157 BLOCK 93 c158 BLOCK 94 c159 BLOCK 95 c161 BLOCK 96 c162 BLOCK 97 c164 BLOCK 98 c165 BLOCK 99 c166 BLOCK 100 c167 BLOCK 101 c168 BLOCK 102 c169 BLOCK 103 c170 BLOCK 104 c171 BLOCK 105 c172 BLOCK 106 c174 BLOCK 107 c175 BLOCK 108 c178 BLOCK 109 c179 BLOCK 110 c181 BLOCK 111 c183 BLOCK 112 c187 BLOCK 113 c189 BLOCK 114 c190 BLOCK 115 c192 BLOCK 116 c193 BLOCK 117 c194 BLOCK 118 c196 BLOCK 119 c197 BLOCK 120 c198 BLOCK 121 c199 BLOCK 122 c200 BLOCK 123 c201 BLOCK 124 c202 BLOCK 125 c203 BLOCK 126 c204 BLOCK 127 c206 BLOCK 128 c207 BLOCK 129 c208 BLOCK 130 c211 BLOCK 131 c212 BLOCK 132 c214 BLOCK 133 c215 BLOCK 134 c216 BLOCK 135 c217 BLOCK 136 c219 BLOCK 137 c220 BLOCK 138 c222 BLOCK 139 c223 BLOCK 140 c224 BLOCK 141 c226 BLOCK 142 c228 BLOCK 143 c230 BLOCK 144 c231 BLOCK 145 c232 BLOCK 146 c233 MASTERCONSS c1 c2 c4 c5 c6 c7 c8 c10 c11 c12 c13 c14 c15 c16 c17 c18 c19 c20 c21 c22 c24 c25 c27 c28 c31 c32 c33 c34 c35 c37 c38 c39 c40 c42 c43 c46 c47 c48 c49 c50