\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.666667 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 26 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 26 BLOCK 1 AssignFirstCon[1] BLOCK 2 AssignFirstCon[2] BLOCK 3 AssignFirstCon[3] BLOCK 4 AssignFirstCon[4] BLOCK 5 AssignFirstCon[5] BLOCK 6 AssignFirstCon[6] BLOCK 7 AssignFirstCon[7] BLOCK 8 AssignFirstCon[8] BLOCK 9 AssignFirstCon[9] BLOCK 10 AssignFirstCon[10] BLOCK 11 AssignFirstCon[11] BLOCK 12 AssignFirstCon[12] BLOCK 13 AssignFirstCon[13] BLOCK 14 AssignFirstCon[14] BLOCK 15 AssignFirstCon[15] BLOCK 16 AssignFirstCon[16] BLOCK 17 AssignFirstCon[17] BLOCK 18 AssignFirstCon[18] BLOCK 19 AssignFirstCon[19] BLOCK 20 AssignFirstCon[20] BLOCK 21 AssignFirstCon[21] BLOCK 22 AssignFirstCon[22] BLOCK 23 AssignFirstCon[23] BLOCK 24 AssignFirstCon[24] BLOCK 25 AssignFirstCon[25] BLOCK 26 AssignFirstCon[26] MASTERCONSS AlldiffCon[1] AlldiffCon[2] AlldiffCon[3] AlldiffCon[4] AlldiffCon[5] AlldiffCon[6] AlldiffCon[7] AlldiffCon[8] AlldiffCon[9] AlldiffCon[10] AlldiffCon[11] AlldiffCon[12] AlldiffCon[13] AlldiffCon[14] AlldiffCon[15] AlldiffCon[16] AlldiffCon[17] AlldiffCon[18] AlldiffCon[19] AlldiffCon[20] AlldiffCon[21] AlldiffCon[22] AlldiffCon[23] AlldiffCon[24] AlldiffCon[25] AlldiffCon[26] AlldiffCon[27] AlldiffCon[28] AlldiffCon[29] AlldiffCon[30] AlldiffCon[31] AlldiffCon[32] AlldiffCon[33] AlldiffCon[34] AlldiffCon[35] AlldiffCon[36] AlldiffCon[37] AlldiffCon[38] AlldiffCon[39] AlldiffCon[40] AlldiffCon[41] AlldiffCon[42] AlldiffCon[43] AlldiffCon[44] AlldiffCon[45] AlldiffCon[46] AlldiffCon[47] AlldiffCon[48] AlldiffCon[49] AlldiffCon[50] AlldiffCon[51] AlldiffCon[52]