\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.070000 0 0.196581 0.000000 0.109215 0.000000 \\ connectedbase 0.000000 9 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 9 BLOCK 1 c00_1 c01_1 c01_2 c01_3 c01_4 c01_5 c01_6 c01_7 c01_8 c01_9 c01_10 c01_11 c01_12 c01_13 c01_14 c01_15 c01_16 c01_17 c01_18 c01_19 c01_20 c01_21 c01_22 c01_23 c01_24 c01_25 c01_26 c01_27 c01_28 c01_29 c01_30 c01_31 c01_32 c01_33 c01_34 c01_35 c01_36 c01_37 c01_38 c01_39 c01_40 c01_41 c01_42 c01_43 c01_44 c01_45 c01_46 c01_47 c01_48 c01_49 c01_50 c01_51 c01_52 c01_53 c01_54 c01_55 c01_56 c01_57 c01_58 c01_59 c01_60 c01_61 c01_62 c01_63 c01_64 c02_3 c02_10 c02_11 c02_14 c02_16 c02_19 c02_21 c02_22 c02_24 c02_25 c02_33 c02_34 c02_36 c02_37 c02_40 c02_42 c02_45 c02_46 c03_3 c03_10 c03_11 c03_14 c03_16 c03_19 c03_21 c03_22 c03_24 c03_25 c03_33 c03_34 c03_36 c03_37 c03_40 c03_42 c03_45 c03_46 c04_3 c04_10 c04_11 c04_14 c04_16 c04_19 c04_21 c04_22 c04_24 c04_25 c04_33 c04_34 c04_36 c04_37 c04_40 c04_42 c04_45 c04_46 BLOCK 2 c01_124 c01_125 c01_126 c01_127 c01_128 c01_129 c01_130 c01_131 c01_132 c01_133 c01_134 c01_135 c01_136 c01_137 c01_138 c01_139 c01_140 c01_141 c01_142 c01_143 c01_144 c01_145 c01_146 c01_147 c01_148 c01_149 c01_150 c01_151 c01_152 c01_153 c01_154 c01_155 c01_156 c01_157 c01_158 c01_159 c01_160 c01_161 c01_162 c01_163 c01_164 c01_165 c01_166 c01_167 c01_168 c01_169 c01_170 c01_171 c01_172 c01_173 c01_174 c01_175 c01_176 c01_177 c01_178 c01_179 c01_180 c01_181 c01_182 c01_183 c01_184 c01_185 c01_186 c01_187 c01_188 c01_189 c01_190 c01_191 c01_192 c01_193 c01_194 c01_195 c01_196 c01_197 c01_198 c01_199 c01_200 c02_1 c02_2 c02_4 c02_5 c02_6 c02_8 c02_9 c02_12 c02_13 c02_17 c02_18 c02_20 c02_26 c02_27 c02_28 c02_29 c02_30 c02_31 c02_32 c02_38 c02_41 c02_43 c02_47 c02_49 c02_50 c03_1 c03_2 c03_4 c03_5 c03_6 c03_8 c03_9 c03_12 c03_13 c03_17 c03_18 c03_20 c03_26 c03_27 c03_28 c03_29 c03_30 c03_31 c03_32 c03_38 c03_41 c03_43 c03_47 c03_49 c03_50 c04_1 c04_2 c04_4 c04_5 c04_6 c04_8 c04_9 c04_12 c04_13 c04_17 c04_18 c04_20 c04_26 c04_27 c04_28 c04_29 c04_30 c04_31 c04_32 c04_38 c04_41 c04_43 c04_47 c04_49 c04_50 BLOCK 3 c02_35 c03_35 c04_35 BLOCK 4 c02_39 c03_39 c04_39 BLOCK 5 c03_7 BLOCK 6 c03_15 BLOCK 7 c03_23 BLOCK 8 c03_44 BLOCK 9 c03_48 MASTERCONSS c01_65 c01_66 c01_67 c01_68 c01_69 c01_70 c01_71 c01_72 c01_73 c01_74 c01_75 c01_76 c01_77 c01_78 c01_79 c01_80 c01_81 c01_82 c01_83 c01_84 c01_85 c01_86 c01_87 c01_88 c01_89 c01_90 c01_91 c01_92 c01_93 c01_94 c01_95 c01_96 c01_97 c01_98 c01_99 c01_100 c01_101 c01_102 c01_103 c01_104 c01_105 c01_106 c01_107 c01_108 c01_109 c01_110 c01_111 c01_112 c01_113 c01_114 c01_115 c01_116 c01_117 c01_118 c01_119 c01_120 c01_121 c01_122 c01_123 c02_7 c02_15 c02_23 c02_44 c02_48 c04_7 c04_15 c04_23 c04_44 c04_48