\\ ndetectors 
\\ 2 
\\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars  
\\ consclass 0.000000 0 0.672414 0.000000 0.004329 0.000000 
\\ connectedbase 0.000000 19 0.000000 0.000000 0.000000 0.000000 
PRESOLVED
0
NBLOCKS
19
BLOCK 1
c2
BLOCK 2
c3
BLOCK 3
c4
BLOCK 4
c5
BLOCK 5
c6
BLOCK 6
c7
BLOCK 7
c8
BLOCK 8
c9
BLOCK 9
c10
BLOCK 10
c11
BLOCK 11
c12
BLOCK 12
c13
BLOCK 13
c14
BLOCK 14
c15
BLOCK 15
c16
BLOCK 16
c17
BLOCK 17
c18
BLOCK 18
c19
BLOCK 19
c20
MASTERCONSS
c59
c21
c22
c23
c24
c25
c26
c27
c28
c29
c30
c31
c32
c33
c34
c35
c36
c37
c38
c39
c40
c41
c42
c43
c44
c45
c46
c47
c48
c49
c50
c51
c52
c53
c54
c55
c56
c57
c58