\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.480315 0.000000 0.000094 0.000000 \\ connectedbase 1.400000 66 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 66 BLOCK 1 p_lin_1 p_lin_3 BLOCK 2 p_lin_4 p_lin_6 BLOCK 3 p_lin_7 p_lin_9 BLOCK 4 p_lin_10 p_lin_12 BLOCK 5 p_lin_13 p_lin_15 BLOCK 6 p_lin_16 p_lin_18 BLOCK 7 p_lin_19 p_lin_21 BLOCK 8 p_lin_22 p_lin_24 BLOCK 9 p_lin_25 p_lin_27 BLOCK 10 p_lin_28 p_lin_30 BLOCK 11 p_lin_31 p_lin_33 BLOCK 12 p_lin_34 p_lin_35 BLOCK 13 p_lin_38 p_lin_39 BLOCK 14 p_lin_42 p_lin_43 BLOCK 15 p_lin_46 p_lin_47 BLOCK 16 p_lin_50 p_lin_51 BLOCK 17 p_lin_54 p_lin_55 BLOCK 18 p_lin_58 p_lin_59 BLOCK 19 p_lin_62 p_lin_63 BLOCK 20 p_lin_66 p_lin_67 BLOCK 21 p_lin_70 p_lin_71 BLOCK 22 p_lin_74 p_lin_75 BLOCK 23 p_lin_78 p_lin_79 BLOCK 24 p_lin_82 p_lin_83 BLOCK 25 p_lin_86 p_lin_87 BLOCK 26 p_lin_90 p_lin_91 BLOCK 27 p_lin_94 p_lin_95 BLOCK 28 p_lin_98 p_lin_99 BLOCK 29 p_lin_102 p_lin_103 BLOCK 30 p_lin_106 p_lin_107 BLOCK 31 p_lin_110 p_lin_111 BLOCK 32 p_lin_114 p_lin_115 BLOCK 33 p_lin_118 p_lin_119 BLOCK 34 p_lin_122 p_lin_123 BLOCK 35 p_lin_126 p_lin_127 BLOCK 36 p_lin_130 p_lin_131 BLOCK 37 p_lin_134 p_lin_135 BLOCK 38 p_lin_138 p_lin_139 BLOCK 39 p_lin_142 p_lin_143 BLOCK 40 p_lin_146 p_lin_147 BLOCK 41 p_lin_150 p_lin_151 BLOCK 42 p_lin_154 p_lin_155 BLOCK 43 p_lin_158 p_lin_159 BLOCK 44 p_lin_162 p_lin_163 BLOCK 45 p_lin_166 p_lin_167 BLOCK 46 p_lin_170 p_lin_171 BLOCK 47 p_lin_174 p_lin_175 BLOCK 48 p_lin_178 p_lin_179 BLOCK 49 p_lin_182 p_lin_183 BLOCK 50 p_lin_186 p_lin_187 BLOCK 51 p_lin_190 p_lin_191 BLOCK 52 p_lin_194 p_lin_195 BLOCK 53 p_lin_198 p_lin_199 BLOCK 54 p_lin_202 p_lin_203 BLOCK 55 p_lin_206 p_lin_207 BLOCK 56 p_lin_210 p_lin_211 BLOCK 57 p_lin_214 p_lin_215 BLOCK 58 p_lin_218 p_lin_219 BLOCK 59 p_lin_222 p_lin_223 BLOCK 60 p_lin_226 p_lin_227 BLOCK 61 p_lin_230 p_lin_231 BLOCK 62 p_lin_234 p_lin_235 BLOCK 63 p_lin_238 p_lin_239 BLOCK 64 p_lin_242 p_lin_243 BLOCK 65 p_lin_246 p_lin_247 BLOCK 66 p_lin_250 p_lin_251 MASTERCONSS p_lin_0 p_lin_2 p_lin_5 p_lin_8 p_lin_11 p_lin_14 p_lin_17 p_lin_20 p_lin_23 p_lin_26 p_lin_29 p_lin_32 p_lin_36 p_lin_37 p_lin_40 p_lin_41 p_lin_44 p_lin_45 p_lin_48 p_lin_49 p_lin_52 p_lin_53 p_lin_56 p_lin_57 p_lin_60 p_lin_61 p_lin_64 p_lin_65 p_lin_68 p_lin_69 p_lin_72 p_lin_73 p_lin_76 p_lin_77 p_lin_80 p_lin_81 p_lin_84 p_lin_85 p_lin_88 p_lin_89 p_lin_92 p_lin_93 p_lin_96 p_lin_97 p_lin_100 p_lin_101 p_lin_104 p_lin_105 p_lin_108 p_lin_109 p_lin_112 p_lin_113 p_lin_116 p_lin_117 p_lin_120 p_lin_121 p_lin_124 p_lin_125 p_lin_128 p_lin_129 p_lin_132 p_lin_133 p_lin_136 p_lin_137 p_lin_140 p_lin_141 p_lin_144 p_lin_145 p_lin_148 p_lin_149 p_lin_152 p_lin_153 p_lin_156 p_lin_157 p_lin_160 p_lin_161 p_lin_164 p_lin_165 p_lin_168 p_lin_169 p_lin_172 p_lin_173 p_lin_176 p_lin_177 p_lin_180 p_lin_181 p_lin_184 p_lin_185 p_lin_188 p_lin_189 p_lin_192 p_lin_193 p_lin_196 p_lin_197 p_lin_200 p_lin_201 p_lin_204 p_lin_205 p_lin_208 p_lin_209 p_lin_212 p_lin_213 p_lin_216 p_lin_217 p_lin_220 p_lin_221 p_lin_224 p_lin_225 p_lin_228 p_lin_229 p_lin_232 p_lin_233 p_lin_236 p_lin_237 p_lin_240 p_lin_241 p_lin_244 p_lin_245 p_lin_248 p_lin_249 p_lin_252 p_lin_253