\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.478673 0.000000 0.003322 0.000000 \\ connectedbase 0.000000 110 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 110 BLOCK 1 R0000002 BLOCK 2 R0000003 BLOCK 3 R0000004 BLOCK 4 R0000005 BLOCK 5 R0000006 BLOCK 6 R0000007 BLOCK 7 R0000008 BLOCK 8 R0000009 BLOCK 9 R0000010 BLOCK 10 R0000011 BLOCK 11 R0000112 BLOCK 12 R0000113 BLOCK 13 R0000114 BLOCK 14 R0000115 BLOCK 15 R0000116 BLOCK 16 R0000117 BLOCK 17 R0000118 BLOCK 18 R0000119 BLOCK 19 R0000120 BLOCK 20 R0000121 BLOCK 21 R0000122 BLOCK 22 R0000123 BLOCK 23 R0000124 BLOCK 24 R0000125 BLOCK 25 R0000126 BLOCK 26 R0000127 BLOCK 27 R0000128 BLOCK 28 R0000129 BLOCK 29 R0000130 BLOCK 30 R0000131 BLOCK 31 R0000132 BLOCK 32 R0000133 BLOCK 33 R0000134 BLOCK 34 R0000135 BLOCK 35 R0000136 BLOCK 36 R0000137 BLOCK 37 R0000138 BLOCK 38 R0000139 BLOCK 39 R0000140 BLOCK 40 R0000141 BLOCK 41 R0000142 BLOCK 42 R0000143 BLOCK 43 R0000144 BLOCK 44 R0000145 BLOCK 45 R0000146 BLOCK 46 R0000147 BLOCK 47 R0000148 BLOCK 48 R0000149 BLOCK 49 R0000150 BLOCK 50 R0000151 BLOCK 51 R0000152 BLOCK 52 R0000153 BLOCK 53 R0000154 BLOCK 54 R0000155 BLOCK 55 R0000156 BLOCK 56 R0000157 BLOCK 57 R0000158 BLOCK 58 R0000159 BLOCK 59 R0000160 BLOCK 60 R0000161 BLOCK 61 R0000162 BLOCK 62 R0000163 BLOCK 63 R0000164 BLOCK 64 R0000165 BLOCK 65 R0000166 BLOCK 66 R0000167 BLOCK 67 R0000168 BLOCK 68 R0000169 BLOCK 69 R0000170 BLOCK 70 R0000171 BLOCK 71 R0000172 BLOCK 72 R0000173 BLOCK 73 R0000174 BLOCK 74 R0000175 BLOCK 75 R0000176 BLOCK 76 R0000177 BLOCK 77 R0000178 BLOCK 78 R0000179 BLOCK 79 R0000180 BLOCK 80 R0000181 BLOCK 81 R0000182 BLOCK 82 R0000183 BLOCK 83 R0000184 BLOCK 84 R0000185 BLOCK 85 R0000186 BLOCK 86 R0000187 BLOCK 87 R0000188 BLOCK 88 R0000189 BLOCK 89 R0000190 BLOCK 90 R0000191 BLOCK 91 R0000192 BLOCK 92 R0000193 BLOCK 93 R0000194 BLOCK 94 R0000195 BLOCK 95 R0000196 BLOCK 96 R0000197 BLOCK 97 R0000198 BLOCK 98 R0000199 BLOCK 99 R0000200 BLOCK 100 R0000201 BLOCK 101 R0000202 BLOCK 102 R0000203 BLOCK 103 R0000204 BLOCK 104 R0000205 BLOCK 105 R0000206 BLOCK 106 R0000207 BLOCK 107 R0000208 BLOCK 108 R0000209 BLOCK 109 R0000210 BLOCK 110 R0000211 MASTERCONSS R0000001 R0000012 R0000013 R0000014 R0000015 R0000016 R0000017 R0000018 R0000019 R0000020 R0000021 R0000022 R0000023 R0000024 R0000025 R0000026 R0000027 R0000028 R0000029 R0000030 R0000031 R0000032 R0000033 R0000034 R0000035 R0000036 R0000037 R0000038 R0000039 R0000040 R0000041 R0000042 R0000043 R0000044 R0000045 R0000046 R0000047 R0000048 R0000049 R0000050 R0000051 R0000052 R0000053 R0000054 R0000055 R0000056 R0000057 R0000058 R0000059 R0000060 R0000061 R0000062 R0000063 R0000064 R0000065 R0000066 R0000067 R0000068 R0000069 R0000070 R0000071 R0000072 R0000073 R0000074 R0000075 R0000076 R0000077 R0000078 R0000079 R0000080 R0000081 R0000082 R0000083 R0000084 R0000085 R0000086 R0000087 R0000088 R0000089 R0000090 R0000091 R0000092 R0000093 R0000094 R0000095 R0000096 R0000097 R0000098 R0000099 R0000100 R0000101 R0000102 R0000103 R0000104 R0000105 R0000106 R0000107 R0000108 R0000109 R0000110 R0000111