\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.300000 0 0.076584 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 60 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 60 BLOCK 1 Cardinality(21) Link1(21,1) Link1(21,2) Link1(21,3) Link1(21,4) Link1(21,6) Link1(21,7) Link1(21,9) Link2(21,1) Link2(21,2) Link2(21,3) Link2(21,4) Link2(21,5) Link2(21,6) Link2(21,7) Link2(21,8) Link2(21,9) Link2(21,10) VarBound1(21,1,1) VarBound1(21,1,2) VarBound1(21,1,3) VarBound1(21,1,4) VarBound1(21,1,5) VarBound1(21,1,6) VarBound1(21,1,7) VarBound1(21,1,8) VarBound1(21,1,9) VarBound1(21,1,10) VarBound1(21,2,1) VarBound1(21,2,2) VarBound1(21,2,3) VarBound1(21,2,4) VarBound1(21,2,5) VarBound1(21,2,6) VarBound1(21,2,7) VarBound1(21,2,8) VarBound1(21,2,9) VarBound1(21,2,10) VarBound1(21,3,1) VarBound1(21,3,2) VarBound1(21,3,3) VarBound1(21,3,4) VarBound1(21,3,5) VarBound1(21,3,6) VarBound1(21,3,7) VarBound1(21,3,8) VarBound1(21,3,9) VarBound1(21,3,10) VarBound1(21,4,1) VarBound1(21,4,2) VarBound1(21,4,3) VarBound1(21,4,4) VarBound1(21,4,5) VarBound1(21,4,6) VarBound1(21,4,7) VarBound1(21,4,8) VarBound1(21,4,9) VarBound1(21,4,10) VarBound1(21,5,1) VarBound1(21,5,2) VarBound1(21,5,3) VarBound1(21,5,4) VarBound1(21,5,5) VarBound1(21,5,6) VarBound1(21,5,7) VarBound1(21,5,8) VarBound1(21,5,9) VarBound1(21,5,10) VarBound2(21,1,1) VarBound2(21,1,2) VarBound2(21,1,3) VarBound2(21,1,4) VarBound2(21,1,5) VarBound2(21,1,6) VarBound2(21,1,7) VarBound2(21,1,8) VarBound2(21,1,9) VarBound2(21,1,10) VarBound2(21,2,1) VarBound2(21,2,2) VarBound2(21,2,3) VarBound2(21,2,4) VarBound2(21,2,5) VarBound2(21,2,6) VarBound2(21,2,7) VarBound2(21,2,8) VarBound2(21,2,9) VarBound2(21,2,10) VarBound2(21,3,1) VarBound2(21,3,2) VarBound2(21,3,3) VarBound2(21,3,4) VarBound2(21,3,5) VarBound2(21,3,6) VarBound2(21,3,7) VarBound2(21,3,8) VarBound2(21,3,9) VarBound2(21,3,10) VarBound2(21,4,1) VarBound2(21,4,2) VarBound2(21,4,3) VarBound2(21,4,4) VarBound2(21,4,5) VarBound2(21,4,6) VarBound2(21,4,7) VarBound2(21,4,8) VarBound2(21,4,9) VarBound2(21,4,10) VarBound2(21,5,1) VarBound2(21,5,2) VarBound2(21,5,3) VarBound2(21,5,4) VarBound2(21,5,5) VarBound2(21,5,6) VarBound2(21,5,7) VarBound2(21,5,8) VarBound2(21,5,9) VarBound2(21,5,10) BLOCK 2 Cardinality(22) Link2(22,1) Link2(22,2) Link2(22,3) Link2(22,4) Link2(22,5) Link2(22,6) Link2(22,7) Link2(22,8) Link2(22,9) Link2(22,10) VarBound1(22,1,1) VarBound1(22,1,2) VarBound1(22,1,3) VarBound1(22,1,4) VarBound1(22,1,5) VarBound1(22,1,6) VarBound1(22,1,7) VarBound1(22,1,8) VarBound1(22,1,9) VarBound1(22,1,10) VarBound1(22,2,1) VarBound1(22,2,2) VarBound1(22,2,3) VarBound1(22,2,4) VarBound1(22,2,5) VarBound1(22,2,6) VarBound1(22,2,7) VarBound1(22,2,8) VarBound1(22,2,9) VarBound1(22,2,10) VarBound1(22,3,1) VarBound1(22,3,2) VarBound1(22,3,3) VarBound1(22,3,4) VarBound1(22,3,5) VarBound1(22,3,6) VarBound1(22,3,7) VarBound1(22,3,8) VarBound1(22,3,9) VarBound1(22,3,10) VarBound1(22,4,1) VarBound1(22,4,2) VarBound1(22,4,3) VarBound1(22,4,4) VarBound1(22,4,5) VarBound1(22,4,6) VarBound1(22,4,7) VarBound1(22,4,8) VarBound1(22,4,9) VarBound1(22,4,10) VarBound1(22,5,1) VarBound1(22,5,2) VarBound1(22,5,3) VarBound1(22,5,4) VarBound1(22,5,5) VarBound1(22,5,6) VarBound1(22,5,7) VarBound1(22,5,8) VarBound1(22,5,9) VarBound1(22,5,10) VarBound2(22,1,1) VarBound2(22,1,2) VarBound2(22,1,3) VarBound2(22,1,4) VarBound2(22,1,5) VarBound2(22,1,6) VarBound2(22,1,7) VarBound2(22,1,8) VarBound2(22,1,9) VarBound2(22,1,10) VarBound2(22,2,1) VarBound2(22,2,2) VarBound2(22,2,3) VarBound2(22,2,4) VarBound2(22,2,5) VarBound2(22,2,6) VarBound2(22,2,7) VarBound2(22,2,8) VarBound2(22,2,9) VarBound2(22,2,10) VarBound2(22,3,1) VarBound2(22,3,2) VarBound2(22,3,3) VarBound2(22,3,4) VarBound2(22,3,5) VarBound2(22,3,6) VarBound2(22,3,7) VarBound2(22,3,8) VarBound2(22,3,9) VarBound2(22,3,10) VarBound2(22,4,1) VarBound2(22,4,2) VarBound2(22,4,3) VarBound2(22,4,4) VarBound2(22,4,5) VarBound2(22,4,6) VarBound2(22,4,7) VarBound2(22,4,8) VarBound2(22,4,9) VarBound2(22,4,10) VarBound2(22,5,1) VarBound2(22,5,2) VarBound2(22,5,3) VarBound2(22,5,4) VarBound2(22,5,5) VarBound2(22,5,6) VarBound2(22,5,7) VarBound2(22,5,8) VarBound2(22,5,9) VarBound2(22,5,10) BLOCK 3 Cardinality(24) Link1(24,1) Link1(24,2) Link1(24,3) Link1(24,4) Link1(24,5) Link1(24,6) Link1(24,7) Link1(24,8) Link1(24,9) Link1(24,10) VarBound1(24,1,1) VarBound1(24,1,2) VarBound1(24,1,3) VarBound1(24,1,4) VarBound1(24,1,5) VarBound1(24,1,6) VarBound1(24,1,7) VarBound1(24,1,8) VarBound1(24,1,9) VarBound1(24,1,10) VarBound1(24,2,1) VarBound1(24,2,2) VarBound1(24,2,3) VarBound1(24,2,4) VarBound1(24,2,5) VarBound1(24,2,6) VarBound1(24,2,7) VarBound1(24,2,8) VarBound1(24,2,9) VarBound1(24,2,10) VarBound1(24,3,1) VarBound1(24,3,2) VarBound1(24,3,3) VarBound1(24,3,4) VarBound1(24,3,5) VarBound1(24,3,6) VarBound1(24,3,7) VarBound1(24,3,8) VarBound1(24,3,9) VarBound1(24,3,10) VarBound1(24,4,1) VarBound1(24,4,2) VarBound1(24,4,3) VarBound1(24,4,4) VarBound1(24,4,5) VarBound1(24,4,6) VarBound1(24,4,7) VarBound1(24,4,8) VarBound1(24,4,9) VarBound1(24,4,10) VarBound1(24,5,1) VarBound1(24,5,2) VarBound1(24,5,3) VarBound1(24,5,4) VarBound1(24,5,5) VarBound1(24,5,6) VarBound1(24,5,7) VarBound1(24,5,8) VarBound1(24,5,9) VarBound1(24,5,10) VarBound2(24,1,1) VarBound2(24,1,2) VarBound2(24,1,3) VarBound2(24,1,4) VarBound2(24,1,5) VarBound2(24,1,6) VarBound2(24,1,7) VarBound2(24,1,8) VarBound2(24,1,9) VarBound2(24,1,10) VarBound2(24,2,1) VarBound2(24,2,2) VarBound2(24,2,3) VarBound2(24,2,4) VarBound2(24,2,5) VarBound2(24,2,6) VarBound2(24,2,7) VarBound2(24,2,8) VarBound2(24,2,9) VarBound2(24,2,10) VarBound2(24,3,1) VarBound2(24,3,2) VarBound2(24,3,3) VarBound2(24,3,4) VarBound2(24,3,5) VarBound2(24,3,6) VarBound2(24,3,7) VarBound2(24,3,8) VarBound2(24,3,9) VarBound2(24,3,10) VarBound2(24,4,1) VarBound2(24,4,2) VarBound2(24,4,3) VarBound2(24,4,4) VarBound2(24,4,5) VarBound2(24,4,6) VarBound2(24,4,7) VarBound2(24,4,8) VarBound2(24,4,9) VarBound2(24,4,10) VarBound2(24,5,1) VarBound2(24,5,2) VarBound2(24,5,3) VarBound2(24,5,4) VarBound2(24,5,5) VarBound2(24,5,6) VarBound2(24,5,7) VarBound2(24,5,8) VarBound2(24,5,9) VarBound2(24,5,10) BLOCK 4 Cardinality(25) Link1(25,1) Link1(25,2) Link1(25,3) Link1(25,4) Link1(25,5) Link1(25,6) Link1(25,7) Link1(25,8) Link1(25,9) Link1(25,10) Link2(25,1) Link2(25,2) Link2(25,3) Link2(25,4) Link2(25,5) Link2(25,6) Link2(25,7) Link2(25,8) Link2(25,9) Link2(25,10) VarBound1(25,1,1) VarBound1(25,1,2) VarBound1(25,1,3) VarBound1(25,1,4) VarBound1(25,1,5) VarBound1(25,1,6) VarBound1(25,1,7) VarBound1(25,1,8) VarBound1(25,1,9) VarBound1(25,1,10) VarBound1(25,2,1) VarBound1(25,2,2) VarBound1(25,2,3) VarBound1(25,2,4) VarBound1(25,2,5) VarBound1(25,2,6) VarBound1(25,2,7) VarBound1(25,2,8) VarBound1(25,2,9) VarBound1(25,2,10) VarBound1(25,3,1) VarBound1(25,3,2) VarBound1(25,3,3) VarBound1(25,3,4) VarBound1(25,3,5) VarBound1(25,3,6) VarBound1(25,3,7) VarBound1(25,3,8) VarBound1(25,3,9) VarBound1(25,3,10) VarBound1(25,4,1) VarBound1(25,4,2) VarBound1(25,4,3) VarBound1(25,4,4) VarBound1(25,4,5) VarBound1(25,4,6) VarBound1(25,4,7) VarBound1(25,4,8) VarBound1(25,4,9) VarBound1(25,4,10) VarBound1(25,5,1) VarBound1(25,5,2) VarBound1(25,5,3) VarBound1(25,5,4) VarBound1(25,5,5) VarBound1(25,5,6) VarBound1(25,5,7) VarBound1(25,5,8) VarBound1(25,5,9) VarBound1(25,5,10) VarBound2(25,1,1) VarBound2(25,1,2) VarBound2(25,1,3) VarBound2(25,1,4) VarBound2(25,1,5) VarBound2(25,1,6) VarBound2(25,1,7) VarBound2(25,1,8) VarBound2(25,1,9) VarBound2(25,1,10) VarBound2(25,2,1) VarBound2(25,2,2) VarBound2(25,2,3) VarBound2(25,2,4) VarBound2(25,2,5) VarBound2(25,2,6) VarBound2(25,2,7) VarBound2(25,2,8) VarBound2(25,2,9) VarBound2(25,2,10) VarBound2(25,3,1) VarBound2(25,3,2) VarBound2(25,3,3) VarBound2(25,3,4) VarBound2(25,3,5) VarBound2(25,3,6) VarBound2(25,3,7) VarBound2(25,3,8) VarBound2(25,3,9) VarBound2(25,3,10) VarBound2(25,4,1) VarBound2(25,4,2) VarBound2(25,4,3) VarBound2(25,4,4) VarBound2(25,4,5) VarBound2(25,4,6) VarBound2(25,4,7) VarBound2(25,4,8) VarBound2(25,4,9) VarBound2(25,4,10) VarBound2(25,5,1) VarBound2(25,5,2) VarBound2(25,5,3) VarBound2(25,5,4) VarBound2(25,5,5) VarBound2(25,5,6) VarBound2(25,5,7) VarBound2(25,5,8) VarBound2(25,5,9) VarBound2(25,5,10) BLOCK 5 Cardinality(27) Link1(27,1) Link1(27,2) Link1(27,3) Link1(27,4) Link1(27,5) Link1(27,6) Link1(27,7) Link1(27,8) Link1(27,9) Link1(27,10) Link2(27,1) Link2(27,2) Link2(27,3) Link2(27,4) Link2(27,5) Link2(27,6) Link2(27,7) Link2(27,8) Link2(27,10) VarBound1(27,1,1) VarBound1(27,1,2) VarBound1(27,1,3) VarBound1(27,1,4) VarBound1(27,1,5) VarBound1(27,1,6) VarBound1(27,1,7) VarBound1(27,1,8) VarBound1(27,1,9) VarBound1(27,1,10) VarBound1(27,2,1) VarBound1(27,2,2) VarBound1(27,2,3) VarBound1(27,2,4) VarBound1(27,2,5) VarBound1(27,2,6) VarBound1(27,2,7) VarBound1(27,2,8) VarBound1(27,2,9) VarBound1(27,2,10) VarBound1(27,3,1) VarBound1(27,3,2) VarBound1(27,3,3) VarBound1(27,3,4) VarBound1(27,3,5) VarBound1(27,3,6) VarBound1(27,3,7) VarBound1(27,3,8) VarBound1(27,3,9) VarBound1(27,3,10) VarBound1(27,4,1) VarBound1(27,4,2) VarBound1(27,4,3) VarBound1(27,4,4) VarBound1(27,4,5) VarBound1(27,4,6) VarBound1(27,4,7) VarBound1(27,4,8) VarBound1(27,4,9) VarBound1(27,4,10) VarBound1(27,5,1) VarBound1(27,5,2) VarBound1(27,5,3) VarBound1(27,5,4) VarBound1(27,5,5) VarBound1(27,5,6) VarBound1(27,5,7) VarBound1(27,5,8) VarBound1(27,5,9) VarBound1(27,5,10) VarBound2(27,1,1) VarBound2(27,1,2) VarBound2(27,1,3) VarBound2(27,1,4) VarBound2(27,1,5) VarBound2(27,1,6) VarBound2(27,1,7) VarBound2(27,1,8) VarBound2(27,1,9) VarBound2(27,1,10) VarBound2(27,2,1) VarBound2(27,2,2) VarBound2(27,2,3) VarBound2(27,2,4) VarBound2(27,2,5) VarBound2(27,2,6) VarBound2(27,2,7) VarBound2(27,2,8) VarBound2(27,2,9) VarBound2(27,2,10) VarBound2(27,3,1) VarBound2(27,3,2) VarBound2(27,3,3) VarBound2(27,3,4) VarBound2(27,3,5) VarBound2(27,3,6) VarBound2(27,3,7) VarBound2(27,3,8) VarBound2(27,3,9) VarBound2(27,3,10) VarBound2(27,4,1) VarBound2(27,4,2) VarBound2(27,4,3) VarBound2(27,4,4) VarBound2(27,4,5) VarBound2(27,4,6) VarBound2(27,4,7) VarBound2(27,4,8) VarBound2(27,4,9) VarBound2(27,4,10) VarBound2(27,5,1) VarBound2(27,5,2) VarBound2(27,5,3) VarBound2(27,5,4) VarBound2(27,5,5) VarBound2(27,5,6) VarBound2(27,5,7) VarBound2(27,5,8) VarBound2(27,5,9) VarBound2(27,5,10) BLOCK 6 Cardinality(28) Link1(28,9) Link2(28,1) Link2(28,2) Link2(28,3) Link2(28,4) Link2(28,5) Link2(28,6) Link2(28,7) Link2(28,8) Link2(28,9) Link2(28,10) VarBound1(28,1,1) VarBound1(28,1,2) VarBound1(28,1,3) VarBound1(28,1,4) VarBound1(28,1,5) VarBound1(28,1,6) VarBound1(28,1,7) VarBound1(28,1,8) VarBound1(28,1,9) VarBound1(28,1,10) VarBound1(28,2,1) VarBound1(28,2,2) VarBound1(28,2,3) VarBound1(28,2,4) VarBound1(28,2,5) VarBound1(28,2,6) VarBound1(28,2,7) VarBound1(28,2,8) VarBound1(28,2,9) VarBound1(28,2,10) VarBound1(28,3,1) VarBound1(28,3,2) VarBound1(28,3,3) VarBound1(28,3,4) VarBound1(28,3,5) VarBound1(28,3,6) VarBound1(28,3,7) VarBound1(28,3,8) VarBound1(28,3,9) VarBound1(28,3,10) VarBound1(28,4,1) VarBound1(28,4,2) VarBound1(28,4,3) VarBound1(28,4,4) VarBound1(28,4,5) VarBound1(28,4,6) VarBound1(28,4,7) VarBound1(28,4,8) VarBound1(28,4,9) VarBound1(28,4,10) VarBound1(28,5,1) VarBound1(28,5,2) VarBound1(28,5,3) VarBound1(28,5,4) VarBound1(28,5,5) VarBound1(28,5,6) VarBound1(28,5,7) VarBound1(28,5,8) VarBound1(28,5,9) VarBound1(28,5,10) VarBound2(28,1,1) VarBound2(28,1,2) VarBound2(28,1,3) VarBound2(28,1,4) VarBound2(28,1,5) VarBound2(28,1,6) VarBound2(28,1,7) VarBound2(28,1,8) VarBound2(28,1,9) VarBound2(28,1,10) VarBound2(28,2,1) VarBound2(28,2,2) VarBound2(28,2,3) VarBound2(28,2,4) VarBound2(28,2,5) VarBound2(28,2,6) VarBound2(28,2,7) VarBound2(28,2,8) VarBound2(28,2,9) VarBound2(28,2,10) VarBound2(28,3,1) VarBound2(28,3,2) VarBound2(28,3,3) VarBound2(28,3,4) VarBound2(28,3,5) VarBound2(28,3,6) VarBound2(28,3,7) VarBound2(28,3,8) VarBound2(28,3,9) VarBound2(28,3,10) VarBound2(28,4,1) VarBound2(28,4,2) VarBound2(28,4,3) VarBound2(28,4,4) VarBound2(28,4,5) VarBound2(28,4,6) VarBound2(28,4,7) VarBound2(28,4,8) VarBound2(28,4,9) VarBound2(28,4,10) VarBound2(28,5,1) VarBound2(28,5,2) VarBound2(28,5,3) VarBound2(28,5,4) VarBound2(28,5,5) VarBound2(28,5,6) VarBound2(28,5,7) VarBound2(28,5,8) VarBound2(28,5,9) VarBound2(28,5,10) BLOCK 7 Cardinality(30) Link1(30,1) Link1(30,2) Link1(30,3) Link1(30,4) Link1(30,5) Link1(30,6) Link1(30,7) Link1(30,8) Link1(30,9) Link1(30,10) Link2(30,1) Link2(30,2) Link2(30,3) Link2(30,4) Link2(30,5) Link2(30,6) Link2(30,7) Link2(30,8) Link2(30,9) Link2(30,10) VarBound1(30,1,1) VarBound1(30,1,2) VarBound1(30,1,3) VarBound1(30,1,4) VarBound1(30,1,5) VarBound1(30,1,6) VarBound1(30,1,7) VarBound1(30,1,8) VarBound1(30,1,9) VarBound1(30,1,10) VarBound1(30,2,1) VarBound1(30,2,2) VarBound1(30,2,3) VarBound1(30,2,4) VarBound1(30,2,5) VarBound1(30,2,6) VarBound1(30,2,7) VarBound1(30,2,8) VarBound1(30,2,9) VarBound1(30,2,10) VarBound1(30,3,1) VarBound1(30,3,2) VarBound1(30,3,3) VarBound1(30,3,4) VarBound1(30,3,5) VarBound1(30,3,6) VarBound1(30,3,7) VarBound1(30,3,8) VarBound1(30,3,9) VarBound1(30,3,10) VarBound1(30,4,1) VarBound1(30,4,2) VarBound1(30,4,3) VarBound1(30,4,4) VarBound1(30,4,5) VarBound1(30,4,6) VarBound1(30,4,7) VarBound1(30,4,8) VarBound1(30,4,9) VarBound1(30,4,10) VarBound1(30,5,1) VarBound1(30,5,2) VarBound1(30,5,3) VarBound1(30,5,4) VarBound1(30,5,5) VarBound1(30,5,6) VarBound1(30,5,7) VarBound1(30,5,8) VarBound1(30,5,9) VarBound1(30,5,10) VarBound2(30,1,1) VarBound2(30,1,2) VarBound2(30,1,3) VarBound2(30,1,4) VarBound2(30,1,5) VarBound2(30,1,6) VarBound2(30,1,7) VarBound2(30,1,8) VarBound2(30,1,9) VarBound2(30,1,10) VarBound2(30,2,1) VarBound2(30,2,2) VarBound2(30,2,3) VarBound2(30,2,4) VarBound2(30,2,5) VarBound2(30,2,6) VarBound2(30,2,7) VarBound2(30,2,8) VarBound2(30,2,9) VarBound2(30,2,10) VarBound2(30,3,1) VarBound2(30,3,2) VarBound2(30,3,3) VarBound2(30,3,4) VarBound2(30,3,5) VarBound2(30,3,6) VarBound2(30,3,7) VarBound2(30,3,8) VarBound2(30,3,9) VarBound2(30,3,10) VarBound2(30,4,1) VarBound2(30,4,2) VarBound2(30,4,3) VarBound2(30,4,4) VarBound2(30,4,5) VarBound2(30,4,6) VarBound2(30,4,7) VarBound2(30,4,8) VarBound2(30,4,9) VarBound2(30,4,10) VarBound2(30,5,1) VarBound2(30,5,2) VarBound2(30,5,3) VarBound2(30,5,4) VarBound2(30,5,5) VarBound2(30,5,6) VarBound2(30,5,7) VarBound2(30,5,8) VarBound2(30,5,9) VarBound2(30,5,10) BLOCK 8 Link1(1,1) Link1(1,2) Link1(1,3) Link1(1,4) Link1(1,5) Link1(1,6) Link1(1,7) Link1(1,8) Link1(1,9) Link1(1,10) Link1(2,1) Link1(2,2) Link1(2,3) Link1(2,4) Link1(2,5) Link1(2,6) Link1(2,7) Link1(2,8) Link1(2,9) Link1(2,10) Link2(1,1) Link2(1,2) Link2(1,3) Link2(1,4) Link2(1,5) Link2(1,6) Link2(1,7) Link2(1,8) Link2(1,9) Link2(1,10) Link2(2,2) Link2(2,5) Link2(2,7) Link2(2,8) VarBound1(1,1,1) VarBound1(1,1,2) VarBound1(1,1,3) VarBound1(1,1,4) VarBound1(1,1,5) VarBound1(1,1,6) VarBound1(1,1,7) VarBound1(1,1,8) VarBound1(1,1,9) VarBound1(1,1,10) VarBound1(1,2,1) VarBound1(1,2,2) VarBound1(1,2,3) VarBound1(1,2,4) VarBound1(1,2,5) VarBound1(1,2,6) VarBound1(1,2,7) VarBound1(1,2,8) VarBound1(1,2,9) VarBound1(1,2,10) VarBound1(1,3,1) VarBound1(1,3,2) VarBound1(1,3,3) VarBound1(1,3,4) VarBound1(1,3,5) VarBound1(1,3,6) VarBound1(1,3,7) VarBound1(1,3,8) VarBound1(1,3,9) VarBound1(1,3,10) VarBound1(1,4,1) VarBound1(1,4,2) VarBound1(1,4,3) VarBound1(1,4,4) VarBound1(1,4,5) VarBound1(1,4,6) VarBound1(1,4,7) VarBound1(1,4,8) VarBound1(1,4,9) VarBound1(1,4,10) VarBound1(1,5,1) VarBound1(1,5,2) VarBound1(1,5,3) VarBound1(1,5,4) VarBound1(1,5,5) VarBound1(1,5,6) VarBound1(1,5,7) VarBound1(1,5,8) VarBound1(1,5,9) VarBound1(1,5,10) VarBound1(2,1,1) VarBound1(2,1,2) VarBound1(2,1,3) VarBound1(2,1,4) VarBound1(2,1,5) VarBound1(2,1,6) VarBound1(2,1,7) VarBound1(2,1,8) VarBound1(2,1,9) VarBound1(2,1,10) VarBound1(2,2,1) VarBound1(2,2,2) VarBound1(2,2,3) VarBound1(2,2,4) VarBound1(2,2,5) VarBound1(2,2,6) VarBound1(2,2,7) VarBound1(2,2,8) VarBound1(2,2,9) VarBound1(2,2,10) VarBound1(2,3,1) VarBound1(2,3,2) VarBound1(2,3,3) VarBound1(2,3,4) VarBound1(2,3,5) VarBound1(2,3,6) VarBound1(2,3,7) VarBound1(2,3,8) VarBound1(2,3,9) VarBound1(2,3,10) VarBound1(2,4,1) VarBound1(2,4,2) VarBound1(2,4,3) VarBound1(2,4,4) VarBound1(2,4,5) VarBound1(2,4,6) VarBound1(2,4,7) VarBound1(2,4,8) VarBound1(2,4,9) VarBound1(2,4,10) VarBound1(2,5,1) VarBound1(2,5,2) VarBound1(2,5,3) VarBound1(2,5,4) VarBound1(2,5,5) VarBound1(2,5,6) VarBound1(2,5,7) VarBound1(2,5,8) VarBound1(2,5,9) VarBound1(2,5,10) VarBound2(1,1,1) VarBound2(1,1,2) VarBound2(1,1,3) VarBound2(1,1,4) VarBound2(1,1,5) VarBound2(1,1,6) VarBound2(1,1,7) VarBound2(1,1,8) VarBound2(1,1,9) VarBound2(1,1,10) VarBound2(1,2,1) VarBound2(1,2,2) VarBound2(1,2,3) VarBound2(1,2,4) VarBound2(1,2,5) VarBound2(1,2,6) VarBound2(1,2,7) VarBound2(1,2,8) VarBound2(1,2,9) VarBound2(1,2,10) VarBound2(1,3,1) VarBound2(1,3,2) VarBound2(1,3,3) VarBound2(1,3,4) VarBound2(1,3,5) VarBound2(1,3,6) VarBound2(1,3,7) VarBound2(1,3,8) VarBound2(1,3,9) VarBound2(1,3,10) VarBound2(1,4,1) VarBound2(1,4,2) VarBound2(1,4,3) VarBound2(1,4,4) VarBound2(1,4,5) VarBound2(1,4,6) VarBound2(1,4,7) VarBound2(1,4,8) VarBound2(1,4,9) VarBound2(1,4,10) VarBound2(1,5,1) VarBound2(1,5,2) VarBound2(1,5,3) VarBound2(1,5,4) VarBound2(1,5,5) VarBound2(1,5,6) VarBound2(1,5,7) VarBound2(1,5,8) VarBound2(1,5,9) VarBound2(1,5,10) VarBound2(2,1,1) VarBound2(2,1,2) VarBound2(2,1,3) VarBound2(2,1,4) VarBound2(2,1,5) VarBound2(2,1,6) VarBound2(2,1,7) VarBound2(2,1,8) VarBound2(2,1,9) VarBound2(2,1,10) VarBound2(2,2,1) VarBound2(2,2,2) VarBound2(2,2,3) VarBound2(2,2,4) VarBound2(2,2,5) VarBound2(2,2,6) VarBound2(2,2,7) VarBound2(2,2,8) VarBound2(2,2,9) VarBound2(2,2,10) VarBound2(2,3,1) VarBound2(2,3,2) VarBound2(2,3,3) VarBound2(2,3,4) VarBound2(2,3,5) VarBound2(2,3,6) VarBound2(2,3,7) VarBound2(2,3,8) VarBound2(2,3,9) VarBound2(2,3,10) VarBound2(2,4,1) VarBound2(2,4,2) VarBound2(2,4,3) VarBound2(2,4,4) VarBound2(2,4,5) VarBound2(2,4,6) VarBound2(2,4,7) VarBound2(2,4,8) VarBound2(2,4,9) VarBound2(2,4,10) VarBound2(2,5,1) VarBound2(2,5,2) VarBound2(2,5,3) VarBound2(2,5,4) VarBound2(2,5,5) VarBound2(2,5,6) VarBound2(2,5,7) VarBound2(2,5,8) VarBound2(2,5,9) VarBound2(2,5,10) Cardinality(1) Cardinality(2) BLOCK 9 Link1(3,1) Link1(3,3) Link1(3,4) Link1(3,6) Link1(3,9) Link1(3,10) VarBound1(3,1,1) VarBound1(3,1,2) VarBound1(3,1,3) VarBound1(3,1,4) VarBound1(3,1,5) VarBound1(3,1,6) VarBound1(3,1,7) VarBound1(3,1,8) VarBound1(3,1,9) VarBound1(3,1,10) VarBound1(3,2,1) VarBound1(3,2,2) VarBound1(3,2,3) VarBound1(3,2,4) VarBound1(3,2,5) VarBound1(3,2,6) VarBound1(3,2,7) VarBound1(3,2,8) VarBound1(3,2,9) VarBound1(3,2,10) VarBound1(3,3,1) VarBound1(3,3,2) VarBound1(3,3,3) VarBound1(3,3,4) VarBound1(3,3,5) VarBound1(3,3,6) VarBound1(3,3,7) VarBound1(3,3,8) VarBound1(3,3,9) VarBound1(3,3,10) VarBound1(3,4,1) VarBound1(3,4,2) VarBound1(3,4,3) VarBound1(3,4,4) VarBound1(3,4,5) VarBound1(3,4,6) VarBound1(3,4,7) VarBound1(3,4,8) VarBound1(3,4,9) VarBound1(3,4,10) VarBound1(3,5,1) VarBound1(3,5,2) VarBound1(3,5,3) VarBound1(3,5,4) VarBound1(3,5,5) VarBound1(3,5,6) VarBound1(3,5,7) VarBound1(3,5,8) VarBound1(3,5,9) VarBound1(3,5,10) VarBound2(3,1,1) VarBound2(3,1,2) VarBound2(3,1,3) VarBound2(3,1,4) VarBound2(3,1,5) VarBound2(3,1,6) VarBound2(3,1,7) VarBound2(3,1,8) VarBound2(3,1,9) VarBound2(3,1,10) VarBound2(3,2,1) VarBound2(3,2,2) VarBound2(3,2,3) VarBound2(3,2,4) VarBound2(3,2,5) VarBound2(3,2,6) VarBound2(3,2,7) VarBound2(3,2,8) VarBound2(3,2,9) VarBound2(3,2,10) VarBound2(3,3,1) VarBound2(3,3,2) VarBound2(3,3,3) VarBound2(3,3,4) VarBound2(3,3,5) VarBound2(3,3,6) VarBound2(3,3,7) VarBound2(3,3,8) VarBound2(3,3,9) VarBound2(3,3,10) VarBound2(3,4,1) VarBound2(3,4,2) VarBound2(3,4,3) VarBound2(3,4,4) VarBound2(3,4,5) VarBound2(3,4,6) VarBound2(3,4,7) VarBound2(3,4,8) VarBound2(3,4,9) VarBound2(3,4,10) VarBound2(3,5,1) VarBound2(3,5,2) VarBound2(3,5,3) VarBound2(3,5,4) VarBound2(3,5,5) VarBound2(3,5,6) VarBound2(3,5,7) VarBound2(3,5,8) VarBound2(3,5,9) VarBound2(3,5,10) Cardinality(3) BLOCK 10 Link1(4,1) Link1(4,2) Link1(4,3) Link1(4,4) Link1(4,5) Link1(4,6) Link1(4,7) Link1(4,8) Link1(4,9) Link1(4,10) Link2(4,1) Link2(4,2) Link2(4,3) Link2(4,4) Link2(4,5) Link2(4,6) Link2(4,7) Link2(4,8) Link2(4,9) Link2(4,10) VarBound1(4,1,1) VarBound1(4,1,2) VarBound1(4,1,3) VarBound1(4,1,4) VarBound1(4,1,5) VarBound1(4,1,6) VarBound1(4,1,7) VarBound1(4,1,8) VarBound1(4,1,9) VarBound1(4,1,10) VarBound1(4,2,1) VarBound1(4,2,2) VarBound1(4,2,3) VarBound1(4,2,4) VarBound1(4,2,5) VarBound1(4,2,6) VarBound1(4,2,7) VarBound1(4,2,8) VarBound1(4,2,9) VarBound1(4,2,10) VarBound1(4,3,1) VarBound1(4,3,2) VarBound1(4,3,3) VarBound1(4,3,4) VarBound1(4,3,5) VarBound1(4,3,6) VarBound1(4,3,7) VarBound1(4,3,8) VarBound1(4,3,9) VarBound1(4,3,10) VarBound1(4,4,1) VarBound1(4,4,2) VarBound1(4,4,3) VarBound1(4,4,4) VarBound1(4,4,5) VarBound1(4,4,6) VarBound1(4,4,7) VarBound1(4,4,8) VarBound1(4,4,9) VarBound1(4,4,10) VarBound1(4,5,1) VarBound1(4,5,2) VarBound1(4,5,3) VarBound1(4,5,4) VarBound1(4,5,5) VarBound1(4,5,6) VarBound1(4,5,7) VarBound1(4,5,8) VarBound1(4,5,9) VarBound1(4,5,10) VarBound2(4,1,1) VarBound2(4,1,2) VarBound2(4,1,3) VarBound2(4,1,4) VarBound2(4,1,5) VarBound2(4,1,6) VarBound2(4,1,7) VarBound2(4,1,8) VarBound2(4,1,9) VarBound2(4,1,10) VarBound2(4,2,1) VarBound2(4,2,2) VarBound2(4,2,3) VarBound2(4,2,4) VarBound2(4,2,5) VarBound2(4,2,6) VarBound2(4,2,7) VarBound2(4,2,8) VarBound2(4,2,9) VarBound2(4,2,10) VarBound2(4,3,1) VarBound2(4,3,2) VarBound2(4,3,3) VarBound2(4,3,4) VarBound2(4,3,5) VarBound2(4,3,6) VarBound2(4,3,7) VarBound2(4,3,8) VarBound2(4,3,9) VarBound2(4,3,10) VarBound2(4,4,1) VarBound2(4,4,2) VarBound2(4,4,3) VarBound2(4,4,4) VarBound2(4,4,5) VarBound2(4,4,6) VarBound2(4,4,7) VarBound2(4,4,8) VarBound2(4,4,9) VarBound2(4,4,10) VarBound2(4,5,1) VarBound2(4,5,2) VarBound2(4,5,3) VarBound2(4,5,4) VarBound2(4,5,5) VarBound2(4,5,6) VarBound2(4,5,7) VarBound2(4,5,8) VarBound2(4,5,9) VarBound2(4,5,10) Cardinality(4) BLOCK 11 Link1(6,1) Link1(6,2) Link1(6,3) Link1(6,4) Link1(6,5) Link1(6,6) Link1(6,7) Link1(6,8) Link1(6,9) Link1(6,10) Link2(6,1) Link2(6,2) Link2(6,3) Link2(6,4) Link2(6,5) Link2(6,6) Link2(6,7) Link2(6,8) Link2(6,9) Link2(6,10) VarBound1(6,1,1) VarBound1(6,1,2) VarBound1(6,1,3) VarBound1(6,1,4) VarBound1(6,1,5) VarBound1(6,1,6) VarBound1(6,1,7) VarBound1(6,1,8) VarBound1(6,1,9) VarBound1(6,1,10) VarBound1(6,2,1) VarBound1(6,2,2) VarBound1(6,2,3) VarBound1(6,2,4) VarBound1(6,2,5) VarBound1(6,2,6) VarBound1(6,2,7) VarBound1(6,2,8) VarBound1(6,2,9) VarBound1(6,2,10) VarBound1(6,3,1) VarBound1(6,3,2) VarBound1(6,3,3) VarBound1(6,3,4) VarBound1(6,3,5) VarBound1(6,3,6) VarBound1(6,3,7) VarBound1(6,3,8) VarBound1(6,3,9) VarBound1(6,3,10) VarBound1(6,4,1) VarBound1(6,4,2) VarBound1(6,4,3) VarBound1(6,4,4) VarBound1(6,4,5) VarBound1(6,4,6) VarBound1(6,4,7) VarBound1(6,4,8) VarBound1(6,4,9) VarBound1(6,4,10) VarBound1(6,5,1) VarBound1(6,5,2) VarBound1(6,5,3) VarBound1(6,5,4) VarBound1(6,5,5) VarBound1(6,5,6) VarBound1(6,5,7) VarBound1(6,5,8) VarBound1(6,5,9) VarBound1(6,5,10) VarBound2(6,1,1) VarBound2(6,1,2) VarBound2(6,1,3) VarBound2(6,1,4) VarBound2(6,1,5) VarBound2(6,1,6) VarBound2(6,1,7) VarBound2(6,1,8) VarBound2(6,1,9) VarBound2(6,1,10) VarBound2(6,2,1) VarBound2(6,2,2) VarBound2(6,2,3) VarBound2(6,2,4) VarBound2(6,2,5) VarBound2(6,2,6) VarBound2(6,2,7) VarBound2(6,2,8) VarBound2(6,2,9) VarBound2(6,2,10) VarBound2(6,3,1) VarBound2(6,3,2) VarBound2(6,3,3) VarBound2(6,3,4) VarBound2(6,3,5) VarBound2(6,3,6) VarBound2(6,3,7) VarBound2(6,3,8) VarBound2(6,3,9) VarBound2(6,3,10) VarBound2(6,4,1) VarBound2(6,4,2) VarBound2(6,4,3) VarBound2(6,4,4) VarBound2(6,4,5) VarBound2(6,4,6) VarBound2(6,4,7) VarBound2(6,4,8) VarBound2(6,4,9) VarBound2(6,4,10) VarBound2(6,5,1) VarBound2(6,5,2) VarBound2(6,5,3) VarBound2(6,5,4) VarBound2(6,5,5) VarBound2(6,5,6) VarBound2(6,5,7) VarBound2(6,5,8) VarBound2(6,5,9) VarBound2(6,5,10) Cardinality(6) BLOCK 12 Link1(9,1) Link1(9,2) Link1(9,3) Link1(9,4) Link1(9,5) Link1(9,6) Link1(9,7) Link1(9,8) Link1(9,9) Link1(9,10) Link2(9,1) Link2(9,2) Link2(9,3) Link2(9,4) Link2(9,5) Link2(9,6) Link2(9,7) Link2(9,8) Link2(9,9) Link2(9,10) VarBound1(9,1,1) VarBound1(9,1,2) VarBound1(9,1,3) VarBound1(9,1,4) VarBound1(9,1,5) VarBound1(9,1,6) VarBound1(9,1,7) VarBound1(9,1,8) VarBound1(9,1,9) VarBound1(9,1,10) VarBound1(9,2,1) VarBound1(9,2,2) VarBound1(9,2,3) VarBound1(9,2,4) VarBound1(9,2,5) VarBound1(9,2,6) VarBound1(9,2,7) VarBound1(9,2,8) VarBound1(9,2,9) VarBound1(9,2,10) VarBound1(9,3,1) VarBound1(9,3,2) VarBound1(9,3,3) VarBound1(9,3,4) VarBound1(9,3,5) VarBound1(9,3,6) VarBound1(9,3,7) VarBound1(9,3,8) VarBound1(9,3,9) VarBound1(9,3,10) VarBound1(9,4,1) VarBound1(9,4,2) VarBound1(9,4,3) VarBound1(9,4,4) VarBound1(9,4,5) VarBound1(9,4,6) VarBound1(9,4,7) VarBound1(9,4,8) VarBound1(9,4,9) VarBound1(9,4,10) VarBound1(9,5,1) VarBound1(9,5,2) VarBound1(9,5,3) VarBound1(9,5,4) VarBound1(9,5,5) VarBound1(9,5,6) VarBound1(9,5,7) VarBound1(9,5,8) VarBound1(9,5,9) VarBound1(9,5,10) VarBound2(9,1,1) VarBound2(9,1,2) VarBound2(9,1,3) VarBound2(9,1,4) VarBound2(9,1,5) VarBound2(9,1,6) VarBound2(9,1,7) VarBound2(9,1,8) VarBound2(9,1,9) VarBound2(9,1,10) VarBound2(9,2,1) VarBound2(9,2,2) VarBound2(9,2,3) VarBound2(9,2,4) VarBound2(9,2,5) VarBound2(9,2,6) VarBound2(9,2,7) VarBound2(9,2,8) VarBound2(9,2,9) VarBound2(9,2,10) VarBound2(9,3,1) VarBound2(9,3,2) VarBound2(9,3,3) VarBound2(9,3,4) VarBound2(9,3,5) VarBound2(9,3,6) VarBound2(9,3,7) VarBound2(9,3,8) VarBound2(9,3,9) VarBound2(9,3,10) VarBound2(9,4,1) VarBound2(9,4,2) VarBound2(9,4,3) VarBound2(9,4,4) VarBound2(9,4,5) VarBound2(9,4,6) VarBound2(9,4,7) VarBound2(9,4,8) VarBound2(9,4,9) VarBound2(9,4,10) VarBound2(9,5,1) VarBound2(9,5,2) VarBound2(9,5,3) VarBound2(9,5,4) VarBound2(9,5,5) VarBound2(9,5,6) VarBound2(9,5,7) VarBound2(9,5,8) VarBound2(9,5,9) VarBound2(9,5,10) Cardinality(9) BLOCK 13 Link1(11,1) Link1(11,2) Link1(11,3) Link1(11,4) Link1(11,5) Link1(11,6) Link1(11,7) Link1(11,8) Link1(11,9) Link1(11,10) Link2(11,1) Link2(11,2) Link2(11,3) Link2(11,4) Link2(11,5) Link2(11,6) Link2(11,7) Link2(11,8) Link2(11,9) Link2(11,10) VarBound1(11,1,1) VarBound1(11,1,2) VarBound1(11,1,3) VarBound1(11,1,4) VarBound1(11,1,5) VarBound1(11,1,6) VarBound1(11,1,7) VarBound1(11,1,8) VarBound1(11,1,9) VarBound1(11,1,10) VarBound1(11,2,1) VarBound1(11,2,2) VarBound1(11,2,3) VarBound1(11,2,4) VarBound1(11,2,5) VarBound1(11,2,6) VarBound1(11,2,7) VarBound1(11,2,8) VarBound1(11,2,9) VarBound1(11,2,10) VarBound1(11,3,1) VarBound1(11,3,2) VarBound1(11,3,3) VarBound1(11,3,4) VarBound1(11,3,5) VarBound1(11,3,6) VarBound1(11,3,7) VarBound1(11,3,8) VarBound1(11,3,9) VarBound1(11,3,10) VarBound1(11,4,1) VarBound1(11,4,2) VarBound1(11,4,3) VarBound1(11,4,4) VarBound1(11,4,5) VarBound1(11,4,6) VarBound1(11,4,7) VarBound1(11,4,8) VarBound1(11,4,9) VarBound1(11,4,10) VarBound1(11,5,1) VarBound1(11,5,2) VarBound1(11,5,3) VarBound1(11,5,4) VarBound1(11,5,5) VarBound1(11,5,6) VarBound1(11,5,7) VarBound1(11,5,8) VarBound1(11,5,9) VarBound1(11,5,10) VarBound2(11,1,1) VarBound2(11,1,2) VarBound2(11,1,3) VarBound2(11,1,4) VarBound2(11,1,5) VarBound2(11,1,6) VarBound2(11,1,7) VarBound2(11,1,8) VarBound2(11,1,9) VarBound2(11,1,10) VarBound2(11,2,1) VarBound2(11,2,2) VarBound2(11,2,3) VarBound2(11,2,4) VarBound2(11,2,5) VarBound2(11,2,6) VarBound2(11,2,7) VarBound2(11,2,8) VarBound2(11,2,9) VarBound2(11,2,10) VarBound2(11,3,1) VarBound2(11,3,2) VarBound2(11,3,3) VarBound2(11,3,4) VarBound2(11,3,5) VarBound2(11,3,6) VarBound2(11,3,7) VarBound2(11,3,8) VarBound2(11,3,9) VarBound2(11,3,10) VarBound2(11,4,1) VarBound2(11,4,2) VarBound2(11,4,3) VarBound2(11,4,4) VarBound2(11,4,5) VarBound2(11,4,6) VarBound2(11,4,7) VarBound2(11,4,8) VarBound2(11,4,9) VarBound2(11,4,10) VarBound2(11,5,1) VarBound2(11,5,2) VarBound2(11,5,3) VarBound2(11,5,4) VarBound2(11,5,5) VarBound2(11,5,6) VarBound2(11,5,7) VarBound2(11,5,8) VarBound2(11,5,9) VarBound2(11,5,10) Cardinality(11) BLOCK 14 Link1(13,1) Link1(13,2) Link1(13,3) Link1(13,4) Link1(13,5) Link1(13,6) Link1(13,7) Link1(13,8) Link1(13,9) Link1(13,10) VarBound1(13,1,1) VarBound1(13,1,2) VarBound1(13,1,3) VarBound1(13,1,4) VarBound1(13,1,5) VarBound1(13,1,6) VarBound1(13,1,7) VarBound1(13,1,8) VarBound1(13,1,9) VarBound1(13,1,10) VarBound1(13,2,1) VarBound1(13,2,2) VarBound1(13,2,3) VarBound1(13,2,4) VarBound1(13,2,5) VarBound1(13,2,6) VarBound1(13,2,7) VarBound1(13,2,8) VarBound1(13,2,9) VarBound1(13,2,10) VarBound1(13,3,1) VarBound1(13,3,2) VarBound1(13,3,3) VarBound1(13,3,4) VarBound1(13,3,5) VarBound1(13,3,6) VarBound1(13,3,7) VarBound1(13,3,8) VarBound1(13,3,9) VarBound1(13,3,10) VarBound1(13,4,1) VarBound1(13,4,2) VarBound1(13,4,3) VarBound1(13,4,4) VarBound1(13,4,5) VarBound1(13,4,6) VarBound1(13,4,7) VarBound1(13,4,8) VarBound1(13,4,9) VarBound1(13,4,10) VarBound1(13,5,1) VarBound1(13,5,2) VarBound1(13,5,3) VarBound1(13,5,4) VarBound1(13,5,5) VarBound1(13,5,6) VarBound1(13,5,7) VarBound1(13,5,8) VarBound1(13,5,9) VarBound1(13,5,10) VarBound2(13,1,1) VarBound2(13,1,2) VarBound2(13,1,3) VarBound2(13,1,4) VarBound2(13,1,5) VarBound2(13,1,6) VarBound2(13,1,7) VarBound2(13,1,8) VarBound2(13,1,9) VarBound2(13,1,10) VarBound2(13,2,1) VarBound2(13,2,2) VarBound2(13,2,3) VarBound2(13,2,4) VarBound2(13,2,5) VarBound2(13,2,6) VarBound2(13,2,7) VarBound2(13,2,8) VarBound2(13,2,9) VarBound2(13,2,10) VarBound2(13,3,1) VarBound2(13,3,2) VarBound2(13,3,3) VarBound2(13,3,4) VarBound2(13,3,5) VarBound2(13,3,6) VarBound2(13,3,7) VarBound2(13,3,8) VarBound2(13,3,9) VarBound2(13,3,10) VarBound2(13,4,1) VarBound2(13,4,2) VarBound2(13,4,3) VarBound2(13,4,4) VarBound2(13,4,5) VarBound2(13,4,6) VarBound2(13,4,7) VarBound2(13,4,8) VarBound2(13,4,9) VarBound2(13,4,10) VarBound2(13,5,1) VarBound2(13,5,2) VarBound2(13,5,3) VarBound2(13,5,4) VarBound2(13,5,5) VarBound2(13,5,6) VarBound2(13,5,7) VarBound2(13,5,8) VarBound2(13,5,9) VarBound2(13,5,10) Cardinality(13) BLOCK 15 Link1(14,1) Link1(14,2) Link1(14,3) Link1(14,4) Link1(14,5) Link1(14,6) Link1(14,7) Link1(14,8) Link1(14,9) Link1(14,10) Link2(14,2) VarBound1(14,1,1) VarBound1(14,1,2) VarBound1(14,1,3) VarBound1(14,1,4) VarBound1(14,1,5) VarBound1(14,1,6) VarBound1(14,1,7) VarBound1(14,1,8) VarBound1(14,1,9) VarBound1(14,1,10) VarBound1(14,2,1) VarBound1(14,2,2) VarBound1(14,2,3) VarBound1(14,2,4) VarBound1(14,2,5) VarBound1(14,2,6) VarBound1(14,2,7) VarBound1(14,2,8) VarBound1(14,2,9) VarBound1(14,2,10) VarBound1(14,3,1) VarBound1(14,3,2) VarBound1(14,3,3) VarBound1(14,3,4) VarBound1(14,3,5) VarBound1(14,3,6) VarBound1(14,3,7) VarBound1(14,3,8) VarBound1(14,3,9) VarBound1(14,3,10) VarBound1(14,4,1) VarBound1(14,4,2) VarBound1(14,4,3) VarBound1(14,4,4) VarBound1(14,4,5) VarBound1(14,4,6) VarBound1(14,4,7) VarBound1(14,4,8) VarBound1(14,4,9) VarBound1(14,4,10) VarBound1(14,5,1) VarBound1(14,5,2) VarBound1(14,5,3) VarBound1(14,5,4) VarBound1(14,5,5) VarBound1(14,5,6) VarBound1(14,5,7) VarBound1(14,5,8) VarBound1(14,5,9) VarBound1(14,5,10) VarBound2(14,1,1) VarBound2(14,1,2) VarBound2(14,1,3) VarBound2(14,1,4) VarBound2(14,1,5) VarBound2(14,1,6) VarBound2(14,1,7) VarBound2(14,1,8) VarBound2(14,1,9) VarBound2(14,1,10) VarBound2(14,2,1) VarBound2(14,2,2) VarBound2(14,2,3) VarBound2(14,2,4) VarBound2(14,2,5) VarBound2(14,2,6) VarBound2(14,2,7) VarBound2(14,2,8) VarBound2(14,2,9) VarBound2(14,2,10) VarBound2(14,3,1) VarBound2(14,3,2) VarBound2(14,3,3) VarBound2(14,3,4) VarBound2(14,3,5) VarBound2(14,3,6) VarBound2(14,3,7) VarBound2(14,3,8) VarBound2(14,3,9) VarBound2(14,3,10) VarBound2(14,4,1) VarBound2(14,4,2) VarBound2(14,4,3) VarBound2(14,4,4) VarBound2(14,4,5) VarBound2(14,4,6) VarBound2(14,4,7) VarBound2(14,4,8) VarBound2(14,4,9) VarBound2(14,4,10) VarBound2(14,5,1) VarBound2(14,5,2) VarBound2(14,5,3) VarBound2(14,5,4) VarBound2(14,5,5) VarBound2(14,5,6) VarBound2(14,5,7) VarBound2(14,5,8) VarBound2(14,5,9) VarBound2(14,5,10) Cardinality(14) BLOCK 16 Link1(15,1) Link1(15,3) Link1(15,4) Link1(15,5) Link1(15,6) Link1(15,7) Link1(15,8) Link1(15,9) Link1(15,10) Link2(15,4) VarBound1(15,1,1) VarBound1(15,1,2) VarBound1(15,1,3) VarBound1(15,1,4) VarBound1(15,1,5) VarBound1(15,1,6) VarBound1(15,1,7) VarBound1(15,1,8) VarBound1(15,1,9) VarBound1(15,1,10) VarBound1(15,2,1) VarBound1(15,2,2) VarBound1(15,2,3) VarBound1(15,2,4) VarBound1(15,2,5) VarBound1(15,2,6) VarBound1(15,2,7) VarBound1(15,2,8) VarBound1(15,2,9) VarBound1(15,2,10) VarBound1(15,3,1) VarBound1(15,3,2) VarBound1(15,3,3) VarBound1(15,3,4) VarBound1(15,3,5) VarBound1(15,3,6) VarBound1(15,3,7) VarBound1(15,3,8) VarBound1(15,3,9) VarBound1(15,3,10) VarBound1(15,4,1) VarBound1(15,4,2) VarBound1(15,4,3) VarBound1(15,4,4) VarBound1(15,4,5) VarBound1(15,4,6) VarBound1(15,4,7) VarBound1(15,4,8) VarBound1(15,4,9) VarBound1(15,4,10) VarBound1(15,5,1) VarBound1(15,5,2) VarBound1(15,5,3) VarBound1(15,5,4) VarBound1(15,5,5) VarBound1(15,5,6) VarBound1(15,5,7) VarBound1(15,5,8) VarBound1(15,5,9) VarBound1(15,5,10) VarBound2(15,1,1) VarBound2(15,1,2) VarBound2(15,1,3) VarBound2(15,1,4) VarBound2(15,1,5) VarBound2(15,1,6) VarBound2(15,1,7) VarBound2(15,1,8) VarBound2(15,1,9) VarBound2(15,1,10) VarBound2(15,2,1) VarBound2(15,2,2) VarBound2(15,2,3) VarBound2(15,2,4) VarBound2(15,2,5) VarBound2(15,2,6) VarBound2(15,2,7) VarBound2(15,2,8) VarBound2(15,2,9) VarBound2(15,2,10) VarBound2(15,3,1) VarBound2(15,3,2) VarBound2(15,3,3) VarBound2(15,3,4) VarBound2(15,3,5) VarBound2(15,3,6) VarBound2(15,3,7) VarBound2(15,3,8) VarBound2(15,3,9) VarBound2(15,3,10) VarBound2(15,4,1) VarBound2(15,4,2) VarBound2(15,4,3) VarBound2(15,4,4) VarBound2(15,4,5) VarBound2(15,4,6) VarBound2(15,4,7) VarBound2(15,4,8) VarBound2(15,4,9) VarBound2(15,4,10) VarBound2(15,5,1) VarBound2(15,5,2) VarBound2(15,5,3) VarBound2(15,5,4) VarBound2(15,5,5) VarBound2(15,5,6) VarBound2(15,5,7) VarBound2(15,5,8) VarBound2(15,5,9) VarBound2(15,5,10) Cardinality(15) BLOCK 17 Link1(16,1) Link1(16,2) Link1(16,3) Link1(16,5) Link1(16,6) Link1(16,7) Link1(16,8) Link1(16,9) Link1(16,10) Link1(17,1) Link1(17,2) Link1(17,3) Link1(17,4) Link1(17,5) Link1(17,6) Link1(17,7) Link1(17,8) Link1(17,9) Link1(17,10) Link2(16,1) Link2(16,2) Link2(16,3) Link2(16,4) Link2(16,5) Link2(16,6) Link2(16,7) Link2(16,8) Link2(16,9) Link2(16,10) Link2(17,5) VarBound1(16,1,1) VarBound1(16,1,2) VarBound1(16,1,3) VarBound1(16,1,4) VarBound1(16,1,5) VarBound1(16,1,6) VarBound1(16,1,7) VarBound1(16,1,8) VarBound1(16,1,9) VarBound1(16,1,10) VarBound1(16,2,1) VarBound1(16,2,2) VarBound1(16,2,3) VarBound1(16,2,4) VarBound1(16,2,5) VarBound1(16,2,6) VarBound1(16,2,7) VarBound1(16,2,8) VarBound1(16,2,9) VarBound1(16,2,10) VarBound1(16,3,1) VarBound1(16,3,2) VarBound1(16,3,3) VarBound1(16,3,4) VarBound1(16,3,5) VarBound1(16,3,6) VarBound1(16,3,7) VarBound1(16,3,8) VarBound1(16,3,9) VarBound1(16,3,10) VarBound1(16,4,1) VarBound1(16,4,2) VarBound1(16,4,3) VarBound1(16,4,4) VarBound1(16,4,5) VarBound1(16,4,6) VarBound1(16,4,7) VarBound1(16,4,8) VarBound1(16,4,9) VarBound1(16,4,10) VarBound1(16,5,1) VarBound1(16,5,2) VarBound1(16,5,3) VarBound1(16,5,4) VarBound1(16,5,5) VarBound1(16,5,6) VarBound1(16,5,7) VarBound1(16,5,8) VarBound1(16,5,9) VarBound1(16,5,10) VarBound1(17,1,1) VarBound1(17,1,2) VarBound1(17,1,3) VarBound1(17,1,4) VarBound1(17,1,5) VarBound1(17,1,6) VarBound1(17,1,7) VarBound1(17,1,8) VarBound1(17,1,9) VarBound1(17,1,10) VarBound1(17,2,1) VarBound1(17,2,2) VarBound1(17,2,3) VarBound1(17,2,4) VarBound1(17,2,5) VarBound1(17,2,6) VarBound1(17,2,7) VarBound1(17,2,8) VarBound1(17,2,9) VarBound1(17,2,10) VarBound1(17,3,1) VarBound1(17,3,2) VarBound1(17,3,3) VarBound1(17,3,4) VarBound1(17,3,5) VarBound1(17,3,6) VarBound1(17,3,7) VarBound1(17,3,8) VarBound1(17,3,9) VarBound1(17,3,10) VarBound1(17,4,1) VarBound1(17,4,2) VarBound1(17,4,3) VarBound1(17,4,4) VarBound1(17,4,5) VarBound1(17,4,6) VarBound1(17,4,7) VarBound1(17,4,8) VarBound1(17,4,9) VarBound1(17,4,10) VarBound1(17,5,1) VarBound1(17,5,2) VarBound1(17,5,3) VarBound1(17,5,4) VarBound1(17,5,5) VarBound1(17,5,6) VarBound1(17,5,7) VarBound1(17,5,8) VarBound1(17,5,9) VarBound1(17,5,10) VarBound2(16,1,1) VarBound2(16,1,2) VarBound2(16,1,3) VarBound2(16,1,4) VarBound2(16,1,5) VarBound2(16,1,6) VarBound2(16,1,7) VarBound2(16,1,8) VarBound2(16,1,9) VarBound2(16,1,10) VarBound2(16,2,1) VarBound2(16,2,2) VarBound2(16,2,3) VarBound2(16,2,4) VarBound2(16,2,5) VarBound2(16,2,6) VarBound2(16,2,7) VarBound2(16,2,8) VarBound2(16,2,9) VarBound2(16,2,10) VarBound2(16,3,1) VarBound2(16,3,2) VarBound2(16,3,3) VarBound2(16,3,4) VarBound2(16,3,5) VarBound2(16,3,6) VarBound2(16,3,7) VarBound2(16,3,8) VarBound2(16,3,9) VarBound2(16,3,10) VarBound2(16,4,1) VarBound2(16,4,2) VarBound2(16,4,3) VarBound2(16,4,4) VarBound2(16,4,5) VarBound2(16,4,6) VarBound2(16,4,7) VarBound2(16,4,8) VarBound2(16,4,9) VarBound2(16,4,10) VarBound2(16,5,1) VarBound2(16,5,2) VarBound2(16,5,3) VarBound2(16,5,4) VarBound2(16,5,5) VarBound2(16,5,6) VarBound2(16,5,7) VarBound2(16,5,8) VarBound2(16,5,9) VarBound2(16,5,10) VarBound2(17,1,1) VarBound2(17,1,2) VarBound2(17,1,3) VarBound2(17,1,4) VarBound2(17,1,5) VarBound2(17,1,6) VarBound2(17,1,7) VarBound2(17,1,8) VarBound2(17,1,9) VarBound2(17,1,10) VarBound2(17,2,1) VarBound2(17,2,2) VarBound2(17,2,3) VarBound2(17,2,4) VarBound2(17,2,5) VarBound2(17,2,6) VarBound2(17,2,7) VarBound2(17,2,8) VarBound2(17,2,9) VarBound2(17,2,10) VarBound2(17,3,1) VarBound2(17,3,2) VarBound2(17,3,3) VarBound2(17,3,4) VarBound2(17,3,5) VarBound2(17,3,6) VarBound2(17,3,7) VarBound2(17,3,8) VarBound2(17,3,9) VarBound2(17,3,10) VarBound2(17,4,1) VarBound2(17,4,2) VarBound2(17,4,3) VarBound2(17,4,4) VarBound2(17,4,5) VarBound2(17,4,6) VarBound2(17,4,7) VarBound2(17,4,8) VarBound2(17,4,9) VarBound2(17,4,10) VarBound2(17,5,1) VarBound2(17,5,2) VarBound2(17,5,3) VarBound2(17,5,4) VarBound2(17,5,5) VarBound2(17,5,6) VarBound2(17,5,7) VarBound2(17,5,8) VarBound2(17,5,9) VarBound2(17,5,10) Cardinality(16) Cardinality(17) BLOCK 18 Link1(18,1) Link1(18,2) Link1(18,3) Link1(18,4) Link1(18,6) Link1(18,7) Link1(18,8) Link1(18,9) Link1(18,10) Link2(18,1) Link2(18,2) Link2(18,3) Link2(18,4) Link2(18,5) Link2(18,6) Link2(18,7) Link2(18,8) Link2(18,9) Link2(18,10) VarBound1(18,1,1) VarBound1(18,1,2) VarBound1(18,1,3) VarBound1(18,1,4) VarBound1(18,1,5) VarBound1(18,1,6) VarBound1(18,1,7) VarBound1(18,1,8) VarBound1(18,1,9) VarBound1(18,1,10) VarBound1(18,2,1) VarBound1(18,2,2) VarBound1(18,2,3) VarBound1(18,2,4) VarBound1(18,2,5) VarBound1(18,2,6) VarBound1(18,2,7) VarBound1(18,2,8) VarBound1(18,2,9) VarBound1(18,2,10) VarBound1(18,3,1) VarBound1(18,3,2) VarBound1(18,3,3) VarBound1(18,3,4) VarBound1(18,3,5) VarBound1(18,3,6) VarBound1(18,3,7) VarBound1(18,3,8) VarBound1(18,3,9) VarBound1(18,3,10) VarBound1(18,4,1) VarBound1(18,4,2) VarBound1(18,4,3) VarBound1(18,4,4) VarBound1(18,4,5) VarBound1(18,4,6) VarBound1(18,4,7) VarBound1(18,4,8) VarBound1(18,4,9) VarBound1(18,4,10) VarBound1(18,5,1) VarBound1(18,5,2) VarBound1(18,5,3) VarBound1(18,5,4) VarBound1(18,5,5) VarBound1(18,5,6) VarBound1(18,5,7) VarBound1(18,5,8) VarBound1(18,5,9) VarBound1(18,5,10) VarBound2(18,1,1) VarBound2(18,1,2) VarBound2(18,1,3) VarBound2(18,1,4) VarBound2(18,1,5) VarBound2(18,1,6) VarBound2(18,1,7) VarBound2(18,1,8) VarBound2(18,1,9) VarBound2(18,1,10) VarBound2(18,2,1) VarBound2(18,2,2) VarBound2(18,2,3) VarBound2(18,2,4) VarBound2(18,2,5) VarBound2(18,2,6) VarBound2(18,2,7) VarBound2(18,2,8) VarBound2(18,2,9) VarBound2(18,2,10) VarBound2(18,3,1) VarBound2(18,3,2) VarBound2(18,3,3) VarBound2(18,3,4) VarBound2(18,3,5) VarBound2(18,3,6) VarBound2(18,3,7) VarBound2(18,3,8) VarBound2(18,3,9) VarBound2(18,3,10) VarBound2(18,4,1) VarBound2(18,4,2) VarBound2(18,4,3) VarBound2(18,4,4) VarBound2(18,4,5) VarBound2(18,4,6) VarBound2(18,4,7) VarBound2(18,4,8) VarBound2(18,4,9) VarBound2(18,4,10) VarBound2(18,5,1) VarBound2(18,5,2) VarBound2(18,5,3) VarBound2(18,5,4) VarBound2(18,5,5) VarBound2(18,5,6) VarBound2(18,5,7) VarBound2(18,5,8) VarBound2(18,5,9) VarBound2(18,5,10) Cardinality(18) BLOCK 19 Link1(20,1) Link1(20,2) Link1(20,3) Link1(20,4) Link1(20,5) Link1(20,6) Link1(20,7) Link1(20,8) Link1(20,9) Link1(20,10) Link2(20,5) Link2(20,8) Link2(20,10) VarBound1(20,1,1) VarBound1(20,1,2) VarBound1(20,1,3) VarBound1(20,1,4) VarBound1(20,1,5) VarBound1(20,1,6) VarBound1(20,1,7) VarBound1(20,1,8) VarBound1(20,1,9) VarBound1(20,1,10) VarBound1(20,2,1) VarBound1(20,2,2) VarBound1(20,2,3) VarBound1(20,2,4) VarBound1(20,2,5) VarBound1(20,2,6) VarBound1(20,2,7) VarBound1(20,2,8) VarBound1(20,2,9) VarBound1(20,2,10) VarBound1(20,3,1) VarBound1(20,3,2) VarBound1(20,3,3) VarBound1(20,3,4) VarBound1(20,3,5) VarBound1(20,3,6) VarBound1(20,3,7) VarBound1(20,3,8) VarBound1(20,3,9) VarBound1(20,3,10) VarBound1(20,4,1) VarBound1(20,4,2) VarBound1(20,4,3) VarBound1(20,4,4) VarBound1(20,4,5) VarBound1(20,4,6) VarBound1(20,4,7) VarBound1(20,4,8) VarBound1(20,4,9) VarBound1(20,4,10) VarBound1(20,5,1) VarBound1(20,5,2) VarBound1(20,5,3) VarBound1(20,5,4) VarBound1(20,5,5) VarBound1(20,5,6) VarBound1(20,5,7) VarBound1(20,5,8) VarBound1(20,5,9) VarBound1(20,5,10) VarBound2(20,1,1) VarBound2(20,1,2) VarBound2(20,1,3) VarBound2(20,1,4) VarBound2(20,1,5) VarBound2(20,1,6) VarBound2(20,1,7) VarBound2(20,1,8) VarBound2(20,1,9) VarBound2(20,1,10) VarBound2(20,2,1) VarBound2(20,2,2) VarBound2(20,2,3) VarBound2(20,2,4) VarBound2(20,2,5) VarBound2(20,2,6) VarBound2(20,2,7) VarBound2(20,2,8) VarBound2(20,2,9) VarBound2(20,2,10) VarBound2(20,3,1) VarBound2(20,3,2) VarBound2(20,3,3) VarBound2(20,3,4) VarBound2(20,3,5) VarBound2(20,3,6) VarBound2(20,3,7) VarBound2(20,3,8) VarBound2(20,3,9) VarBound2(20,3,10) VarBound2(20,4,1) VarBound2(20,4,2) VarBound2(20,4,3) VarBound2(20,4,4) VarBound2(20,4,5) VarBound2(20,4,6) VarBound2(20,4,7) VarBound2(20,4,8) VarBound2(20,4,9) VarBound2(20,4,10) VarBound2(20,5,1) VarBound2(20,5,2) VarBound2(20,5,3) VarBound2(20,5,4) VarBound2(20,5,5) VarBound2(20,5,6) VarBound2(20,5,7) VarBound2(20,5,8) VarBound2(20,5,9) VarBound2(20,5,10) Cardinality(20) BLOCK 20 Link2(7,1) Link2(7,2) Link2(7,3) Link2(7,4) Link2(7,5) Link2(7,6) Link2(7,7) Link2(7,8) Link2(7,9) Link2(7,10) VarBound1(7,1,1) VarBound1(7,1,2) VarBound1(7,1,3) VarBound1(7,1,4) VarBound1(7,1,5) VarBound1(7,1,6) VarBound1(7,1,7) VarBound1(7,1,8) VarBound1(7,1,9) VarBound1(7,1,10) VarBound1(7,2,1) VarBound1(7,2,2) VarBound1(7,2,3) VarBound1(7,2,4) VarBound1(7,2,5) VarBound1(7,2,6) VarBound1(7,2,7) VarBound1(7,2,8) VarBound1(7,2,9) VarBound1(7,2,10) VarBound1(7,3,1) VarBound1(7,3,2) VarBound1(7,3,3) VarBound1(7,3,4) VarBound1(7,3,5) VarBound1(7,3,6) VarBound1(7,3,7) VarBound1(7,3,8) VarBound1(7,3,9) VarBound1(7,3,10) VarBound1(7,4,1) VarBound1(7,4,2) VarBound1(7,4,3) VarBound1(7,4,4) VarBound1(7,4,5) VarBound1(7,4,6) VarBound1(7,4,7) VarBound1(7,4,8) VarBound1(7,4,9) VarBound1(7,4,10) VarBound1(7,5,1) VarBound1(7,5,2) VarBound1(7,5,3) VarBound1(7,5,4) VarBound1(7,5,5) VarBound1(7,5,6) VarBound1(7,5,7) VarBound1(7,5,8) VarBound1(7,5,9) VarBound1(7,5,10) VarBound2(7,1,1) VarBound2(7,1,2) VarBound2(7,1,3) VarBound2(7,1,4) VarBound2(7,1,5) VarBound2(7,1,6) VarBound2(7,1,7) VarBound2(7,1,8) VarBound2(7,1,9) VarBound2(7,1,10) VarBound2(7,2,1) VarBound2(7,2,2) VarBound2(7,2,3) VarBound2(7,2,4) VarBound2(7,2,5) VarBound2(7,2,6) VarBound2(7,2,7) VarBound2(7,2,8) VarBound2(7,2,9) VarBound2(7,2,10) VarBound2(7,3,1) VarBound2(7,3,2) VarBound2(7,3,3) VarBound2(7,3,4) VarBound2(7,3,5) VarBound2(7,3,6) VarBound2(7,3,7) VarBound2(7,3,8) VarBound2(7,3,9) VarBound2(7,3,10) VarBound2(7,4,1) VarBound2(7,4,2) VarBound2(7,4,3) VarBound2(7,4,4) VarBound2(7,4,5) VarBound2(7,4,6) VarBound2(7,4,7) VarBound2(7,4,8) VarBound2(7,4,9) VarBound2(7,4,10) VarBound2(7,5,1) VarBound2(7,5,2) VarBound2(7,5,3) VarBound2(7,5,4) VarBound2(7,5,5) VarBound2(7,5,6) VarBound2(7,5,7) VarBound2(7,5,8) VarBound2(7,5,9) VarBound2(7,5,10) Cardinality(7) BLOCK 21 VarBound1(5,1,1) VarBound1(5,1,2) VarBound1(5,1,3) VarBound1(5,1,4) VarBound1(5,1,5) VarBound1(5,1,6) VarBound1(5,1,7) VarBound1(5,1,8) VarBound1(5,1,9) VarBound1(5,1,10) VarBound2(5,1,1) VarBound2(5,1,2) VarBound2(5,1,3) VarBound2(5,1,4) VarBound2(5,1,5) VarBound2(5,1,6) VarBound2(5,1,7) VarBound2(5,1,8) VarBound2(5,1,9) VarBound2(5,1,10) BLOCK 22 VarBound1(5,2,1) VarBound1(5,2,2) VarBound1(5,2,3) VarBound1(5,2,4) VarBound1(5,2,5) VarBound1(5,2,6) VarBound1(5,2,7) VarBound1(5,2,8) VarBound1(5,2,9) VarBound1(5,2,10) VarBound2(5,2,1) VarBound2(5,2,2) VarBound2(5,2,3) VarBound2(5,2,4) VarBound2(5,2,5) VarBound2(5,2,6) VarBound2(5,2,7) VarBound2(5,2,8) VarBound2(5,2,9) VarBound2(5,2,10) BLOCK 23 VarBound1(5,3,1) VarBound1(5,3,2) VarBound1(5,3,3) VarBound1(5,3,4) VarBound1(5,3,5) VarBound1(5,3,6) VarBound1(5,3,7) VarBound1(5,3,8) VarBound1(5,3,9) VarBound1(5,3,10) VarBound2(5,3,1) VarBound2(5,3,2) VarBound2(5,3,3) VarBound2(5,3,4) VarBound2(5,3,5) VarBound2(5,3,6) VarBound2(5,3,7) VarBound2(5,3,8) VarBound2(5,3,9) VarBound2(5,3,10) BLOCK 24 VarBound1(5,4,1) VarBound1(5,4,2) VarBound1(5,4,3) VarBound1(5,4,4) VarBound1(5,4,5) VarBound1(5,4,6) VarBound1(5,4,7) VarBound1(5,4,8) VarBound1(5,4,9) VarBound1(5,4,10) VarBound2(5,4,1) VarBound2(5,4,2) VarBound2(5,4,3) VarBound2(5,4,4) VarBound2(5,4,5) VarBound2(5,4,6) VarBound2(5,4,7) VarBound2(5,4,8) VarBound2(5,4,9) VarBound2(5,4,10) BLOCK 25 VarBound1(5,5,1) VarBound1(5,5,2) VarBound1(5,5,3) VarBound1(5,5,4) VarBound1(5,5,5) VarBound1(5,5,6) VarBound1(5,5,7) VarBound1(5,5,8) VarBound1(5,5,9) VarBound1(5,5,10) VarBound2(5,5,1) VarBound2(5,5,2) VarBound2(5,5,3) VarBound2(5,5,4) VarBound2(5,5,5) VarBound2(5,5,6) VarBound2(5,5,7) VarBound2(5,5,8) VarBound2(5,5,9) VarBound2(5,5,10) BLOCK 26 VarBound1(8,1,1) VarBound1(8,1,2) VarBound1(8,1,3) VarBound1(8,1,4) VarBound1(8,1,5) VarBound1(8,1,6) VarBound1(8,1,7) VarBound1(8,1,8) VarBound1(8,1,9) VarBound1(8,1,10) VarBound2(8,1,1) VarBound2(8,1,2) VarBound2(8,1,3) VarBound2(8,1,4) VarBound2(8,1,5) VarBound2(8,1,6) VarBound2(8,1,7) VarBound2(8,1,8) VarBound2(8,1,9) VarBound2(8,1,10) BLOCK 27 VarBound1(8,2,1) VarBound1(8,2,2) VarBound1(8,2,3) VarBound1(8,2,4) VarBound1(8,2,5) VarBound1(8,2,6) VarBound1(8,2,7) VarBound1(8,2,8) VarBound1(8,2,9) VarBound1(8,2,10) VarBound2(8,2,1) VarBound2(8,2,2) VarBound2(8,2,3) VarBound2(8,2,4) VarBound2(8,2,5) VarBound2(8,2,6) VarBound2(8,2,7) VarBound2(8,2,8) VarBound2(8,2,9) VarBound2(8,2,10) BLOCK 28 VarBound1(8,3,1) VarBound1(8,3,2) VarBound1(8,3,3) VarBound1(8,3,4) VarBound1(8,3,5) VarBound1(8,3,6) VarBound1(8,3,7) VarBound1(8,3,8) VarBound1(8,3,9) VarBound1(8,3,10) VarBound2(8,3,1) VarBound2(8,3,2) VarBound2(8,3,3) VarBound2(8,3,4) VarBound2(8,3,5) VarBound2(8,3,6) VarBound2(8,3,7) VarBound2(8,3,8) VarBound2(8,3,9) VarBound2(8,3,10) BLOCK 29 VarBound1(8,4,1) VarBound1(8,4,2) VarBound1(8,4,3) VarBound1(8,4,4) VarBound1(8,4,5) VarBound1(8,4,6) VarBound1(8,4,7) VarBound1(8,4,8) VarBound1(8,4,9) VarBound1(8,4,10) VarBound2(8,4,1) VarBound2(8,4,2) VarBound2(8,4,3) VarBound2(8,4,4) VarBound2(8,4,5) VarBound2(8,4,6) VarBound2(8,4,7) VarBound2(8,4,8) VarBound2(8,4,9) VarBound2(8,4,10) BLOCK 30 VarBound1(8,5,1) VarBound1(8,5,2) VarBound1(8,5,3) VarBound1(8,5,4) VarBound1(8,5,5) VarBound1(8,5,6) VarBound1(8,5,7) VarBound1(8,5,8) VarBound1(8,5,9) VarBound1(8,5,10) VarBound2(8,5,1) VarBound2(8,5,2) VarBound2(8,5,3) VarBound2(8,5,4) VarBound2(8,5,5) VarBound2(8,5,6) VarBound2(8,5,7) VarBound2(8,5,8) VarBound2(8,5,9) VarBound2(8,5,10) BLOCK 31 VarBound1(10,1,1) VarBound1(10,1,2) VarBound1(10,1,3) VarBound1(10,1,4) VarBound1(10,1,5) VarBound1(10,1,6) VarBound1(10,1,7) VarBound1(10,1,8) VarBound1(10,1,9) VarBound1(10,1,10) VarBound2(10,1,1) VarBound2(10,1,2) VarBound2(10,1,3) VarBound2(10,1,4) VarBound2(10,1,5) VarBound2(10,1,6) VarBound2(10,1,7) VarBound2(10,1,8) VarBound2(10,1,9) VarBound2(10,1,10) BLOCK 32 VarBound1(10,2,1) VarBound1(10,2,2) VarBound1(10,2,3) VarBound1(10,2,4) VarBound1(10,2,5) VarBound1(10,2,6) VarBound1(10,2,7) VarBound1(10,2,8) VarBound1(10,2,9) VarBound1(10,2,10) VarBound2(10,2,1) VarBound2(10,2,2) VarBound2(10,2,3) VarBound2(10,2,4) VarBound2(10,2,5) VarBound2(10,2,6) VarBound2(10,2,7) VarBound2(10,2,8) VarBound2(10,2,9) VarBound2(10,2,10) BLOCK 33 VarBound1(10,3,1) VarBound1(10,3,2) VarBound1(10,3,3) VarBound1(10,3,4) VarBound1(10,3,5) VarBound1(10,3,6) VarBound1(10,3,7) VarBound1(10,3,8) VarBound1(10,3,9) VarBound1(10,3,10) VarBound2(10,3,1) VarBound2(10,3,2) VarBound2(10,3,3) VarBound2(10,3,4) VarBound2(10,3,5) VarBound2(10,3,6) VarBound2(10,3,7) VarBound2(10,3,8) VarBound2(10,3,9) VarBound2(10,3,10) BLOCK 34 VarBound1(10,4,1) VarBound1(10,4,2) VarBound1(10,4,3) VarBound1(10,4,4) VarBound1(10,4,5) VarBound1(10,4,6) VarBound1(10,4,7) VarBound1(10,4,8) VarBound1(10,4,9) VarBound1(10,4,10) VarBound2(10,4,1) VarBound2(10,4,2) VarBound2(10,4,3) VarBound2(10,4,4) VarBound2(10,4,5) VarBound2(10,4,6) VarBound2(10,4,7) VarBound2(10,4,8) VarBound2(10,4,9) VarBound2(10,4,10) BLOCK 35 VarBound1(10,5,1) VarBound1(10,5,2) VarBound1(10,5,3) VarBound1(10,5,4) VarBound1(10,5,5) VarBound1(10,5,6) VarBound1(10,5,7) VarBound1(10,5,8) VarBound1(10,5,9) VarBound1(10,5,10) VarBound2(10,5,1) VarBound2(10,5,2) VarBound2(10,5,3) VarBound2(10,5,4) VarBound2(10,5,5) VarBound2(10,5,6) VarBound2(10,5,7) VarBound2(10,5,8) VarBound2(10,5,9) VarBound2(10,5,10) BLOCK 36 VarBound1(12,1,1) VarBound1(12,1,2) VarBound1(12,1,3) VarBound1(12,1,4) VarBound1(12,1,5) VarBound1(12,1,6) VarBound1(12,1,7) VarBound1(12,1,8) VarBound1(12,1,9) VarBound1(12,1,10) VarBound2(12,1,1) VarBound2(12,1,2) VarBound2(12,1,3) VarBound2(12,1,4) VarBound2(12,1,5) VarBound2(12,1,6) VarBound2(12,1,7) VarBound2(12,1,8) VarBound2(12,1,9) VarBound2(12,1,10) BLOCK 37 VarBound1(12,2,1) VarBound1(12,2,2) VarBound1(12,2,3) VarBound1(12,2,4) VarBound1(12,2,5) VarBound1(12,2,6) VarBound1(12,2,7) VarBound1(12,2,8) VarBound1(12,2,9) VarBound1(12,2,10) VarBound2(12,2,1) VarBound2(12,2,2) VarBound2(12,2,3) VarBound2(12,2,4) VarBound2(12,2,5) VarBound2(12,2,6) VarBound2(12,2,7) VarBound2(12,2,8) VarBound2(12,2,9) VarBound2(12,2,10) BLOCK 38 VarBound1(12,3,1) VarBound1(12,3,2) VarBound1(12,3,3) VarBound1(12,3,4) VarBound1(12,3,5) VarBound1(12,3,6) VarBound1(12,3,7) VarBound1(12,3,8) VarBound1(12,3,9) VarBound1(12,3,10) VarBound2(12,3,1) VarBound2(12,3,2) VarBound2(12,3,3) VarBound2(12,3,4) VarBound2(12,3,5) VarBound2(12,3,6) VarBound2(12,3,7) VarBound2(12,3,8) VarBound2(12,3,9) VarBound2(12,3,10) BLOCK 39 VarBound1(12,4,1) VarBound1(12,4,2) VarBound1(12,4,3) VarBound1(12,4,4) VarBound1(12,4,5) VarBound1(12,4,6) VarBound1(12,4,7) VarBound1(12,4,8) VarBound1(12,4,9) VarBound1(12,4,10) VarBound2(12,4,1) VarBound2(12,4,2) VarBound2(12,4,3) VarBound2(12,4,4) VarBound2(12,4,5) VarBound2(12,4,6) VarBound2(12,4,7) VarBound2(12,4,8) VarBound2(12,4,9) VarBound2(12,4,10) BLOCK 40 VarBound1(12,5,1) VarBound1(12,5,2) VarBound1(12,5,3) VarBound1(12,5,4) VarBound1(12,5,5) VarBound1(12,5,6) VarBound1(12,5,7) VarBound1(12,5,8) VarBound1(12,5,9) VarBound1(12,5,10) VarBound2(12,5,1) VarBound2(12,5,2) VarBound2(12,5,3) VarBound2(12,5,4) VarBound2(12,5,5) VarBound2(12,5,6) VarBound2(12,5,7) VarBound2(12,5,8) VarBound2(12,5,9) VarBound2(12,5,10) BLOCK 41 VarBound1(19,1,1) VarBound1(19,1,2) VarBound1(19,1,3) VarBound1(19,1,4) VarBound1(19,1,5) VarBound1(19,1,6) VarBound1(19,1,7) VarBound1(19,1,8) VarBound1(19,1,9) VarBound1(19,1,10) VarBound2(19,1,1) VarBound2(19,1,2) VarBound2(19,1,3) VarBound2(19,1,4) VarBound2(19,1,5) VarBound2(19,1,6) VarBound2(19,1,7) VarBound2(19,1,8) VarBound2(19,1,9) VarBound2(19,1,10) BLOCK 42 VarBound1(19,2,1) VarBound1(19,2,2) VarBound1(19,2,3) VarBound1(19,2,4) VarBound1(19,2,5) VarBound1(19,2,6) VarBound1(19,2,7) VarBound1(19,2,8) VarBound1(19,2,9) VarBound1(19,2,10) VarBound2(19,2,1) VarBound2(19,2,2) VarBound2(19,2,3) VarBound2(19,2,4) VarBound2(19,2,5) VarBound2(19,2,6) VarBound2(19,2,7) VarBound2(19,2,8) VarBound2(19,2,9) VarBound2(19,2,10) BLOCK 43 VarBound1(19,3,1) VarBound1(19,3,2) VarBound1(19,3,3) VarBound1(19,3,4) VarBound1(19,3,5) VarBound1(19,3,6) VarBound1(19,3,7) VarBound1(19,3,8) VarBound1(19,3,9) VarBound1(19,3,10) VarBound2(19,3,1) VarBound2(19,3,2) VarBound2(19,3,3) VarBound2(19,3,4) VarBound2(19,3,5) VarBound2(19,3,6) VarBound2(19,3,7) VarBound2(19,3,8) VarBound2(19,3,9) VarBound2(19,3,10) BLOCK 44 VarBound1(19,4,1) VarBound1(19,4,2) VarBound1(19,4,3) VarBound1(19,4,4) VarBound1(19,4,5) VarBound1(19,4,6) VarBound1(19,4,7) VarBound1(19,4,8) VarBound1(19,4,9) VarBound1(19,4,10) VarBound2(19,4,1) VarBound2(19,4,2) VarBound2(19,4,3) VarBound2(19,4,4) VarBound2(19,4,5) VarBound2(19,4,6) VarBound2(19,4,7) VarBound2(19,4,8) VarBound2(19,4,9) VarBound2(19,4,10) BLOCK 45 VarBound1(19,5,1) VarBound1(19,5,2) VarBound1(19,5,3) VarBound1(19,5,4) VarBound1(19,5,5) VarBound1(19,5,6) VarBound1(19,5,7) VarBound1(19,5,8) VarBound1(19,5,9) VarBound1(19,5,10) VarBound2(19,5,1) VarBound2(19,5,2) VarBound2(19,5,3) VarBound2(19,5,4) VarBound2(19,5,5) VarBound2(19,5,6) VarBound2(19,5,7) VarBound2(19,5,8) VarBound2(19,5,9) VarBound2(19,5,10) BLOCK 46 VarBound1(23,1,1) VarBound1(23,1,2) VarBound1(23,1,3) VarBound1(23,1,4) VarBound1(23,1,5) VarBound1(23,1,6) VarBound1(23,1,7) VarBound1(23,1,8) VarBound1(23,1,9) VarBound1(23,1,10) VarBound2(23,1,1) VarBound2(23,1,2) VarBound2(23,1,3) VarBound2(23,1,4) VarBound2(23,1,5) VarBound2(23,1,6) VarBound2(23,1,7) VarBound2(23,1,8) VarBound2(23,1,9) VarBound2(23,1,10) BLOCK 47 VarBound1(23,2,1) VarBound1(23,2,2) VarBound1(23,2,3) VarBound1(23,2,4) VarBound1(23,2,5) VarBound1(23,2,6) VarBound1(23,2,7) VarBound1(23,2,8) VarBound1(23,2,9) VarBound1(23,2,10) VarBound2(23,2,1) VarBound2(23,2,2) VarBound2(23,2,3) VarBound2(23,2,4) VarBound2(23,2,5) VarBound2(23,2,6) VarBound2(23,2,7) VarBound2(23,2,8) VarBound2(23,2,9) VarBound2(23,2,10) BLOCK 48 VarBound1(23,3,1) VarBound1(23,3,2) VarBound1(23,3,3) VarBound1(23,3,4) VarBound1(23,3,5) VarBound1(23,3,6) VarBound1(23,3,7) VarBound1(23,3,8) VarBound1(23,3,9) VarBound1(23,3,10) VarBound2(23,3,1) VarBound2(23,3,2) VarBound2(23,3,3) VarBound2(23,3,4) VarBound2(23,3,5) VarBound2(23,3,6) VarBound2(23,3,7) VarBound2(23,3,8) VarBound2(23,3,9) VarBound2(23,3,10) BLOCK 49 VarBound1(23,4,1) VarBound1(23,4,2) VarBound1(23,4,3) VarBound1(23,4,4) VarBound1(23,4,5) VarBound1(23,4,6) VarBound1(23,4,7) VarBound1(23,4,8) VarBound1(23,4,9) VarBound1(23,4,10) VarBound2(23,4,1) VarBound2(23,4,2) VarBound2(23,4,3) VarBound2(23,4,4) VarBound2(23,4,5) VarBound2(23,4,6) VarBound2(23,4,7) VarBound2(23,4,8) VarBound2(23,4,9) VarBound2(23,4,10) BLOCK 50 VarBound1(23,5,1) VarBound1(23,5,2) VarBound1(23,5,3) VarBound1(23,5,4) VarBound1(23,5,5) VarBound1(23,5,6) VarBound1(23,5,7) VarBound1(23,5,8) VarBound1(23,5,9) VarBound1(23,5,10) VarBound2(23,5,1) VarBound2(23,5,2) VarBound2(23,5,3) VarBound2(23,5,4) VarBound2(23,5,5) VarBound2(23,5,6) VarBound2(23,5,7) VarBound2(23,5,8) VarBound2(23,5,9) VarBound2(23,5,10) BLOCK 51 VarBound1(26,1,1) VarBound1(26,1,2) VarBound1(26,1,3) VarBound1(26,1,4) VarBound1(26,1,5) VarBound1(26,1,6) VarBound1(26,1,7) VarBound1(26,1,8) VarBound1(26,1,9) VarBound1(26,1,10) VarBound2(26,1,1) VarBound2(26,1,2) VarBound2(26,1,3) VarBound2(26,1,4) VarBound2(26,1,5) VarBound2(26,1,6) VarBound2(26,1,7) VarBound2(26,1,8) VarBound2(26,1,9) VarBound2(26,1,10) BLOCK 52 VarBound1(26,2,1) VarBound1(26,2,2) VarBound1(26,2,3) VarBound1(26,2,4) VarBound1(26,2,5) VarBound1(26,2,6) VarBound1(26,2,7) VarBound1(26,2,8) VarBound1(26,2,9) VarBound1(26,2,10) VarBound2(26,2,1) VarBound2(26,2,2) VarBound2(26,2,3) VarBound2(26,2,4) VarBound2(26,2,5) VarBound2(26,2,6) VarBound2(26,2,7) VarBound2(26,2,8) VarBound2(26,2,9) VarBound2(26,2,10) BLOCK 53 VarBound1(26,3,1) VarBound1(26,3,2) VarBound1(26,3,3) VarBound1(26,3,4) VarBound1(26,3,5) VarBound1(26,3,6) VarBound1(26,3,7) VarBound1(26,3,8) VarBound1(26,3,9) VarBound1(26,3,10) VarBound2(26,3,1) VarBound2(26,3,2) VarBound2(26,3,3) VarBound2(26,3,4) VarBound2(26,3,5) VarBound2(26,3,6) VarBound2(26,3,7) VarBound2(26,3,8) VarBound2(26,3,9) VarBound2(26,3,10) BLOCK 54 VarBound1(26,4,1) VarBound1(26,4,2) VarBound1(26,4,3) VarBound1(26,4,4) VarBound1(26,4,5) VarBound1(26,4,6) VarBound1(26,4,7) VarBound1(26,4,8) VarBound1(26,4,9) VarBound1(26,4,10) VarBound2(26,4,1) VarBound2(26,4,2) VarBound2(26,4,3) VarBound2(26,4,4) VarBound2(26,4,5) VarBound2(26,4,6) VarBound2(26,4,7) VarBound2(26,4,8) VarBound2(26,4,9) VarBound2(26,4,10) BLOCK 55 VarBound1(26,5,1) VarBound1(26,5,2) VarBound1(26,5,3) VarBound1(26,5,4) VarBound1(26,5,5) VarBound1(26,5,6) VarBound1(26,5,7) VarBound1(26,5,8) VarBound1(26,5,9) VarBound1(26,5,10) VarBound2(26,5,1) VarBound2(26,5,2) VarBound2(26,5,3) VarBound2(26,5,4) VarBound2(26,5,5) VarBound2(26,5,6) VarBound2(26,5,7) VarBound2(26,5,8) VarBound2(26,5,9) VarBound2(26,5,10) BLOCK 56 VarBound1(29,1,1) VarBound1(29,1,2) VarBound1(29,1,3) VarBound1(29,1,4) VarBound1(29,1,5) VarBound1(29,1,6) VarBound1(29,1,7) VarBound1(29,1,8) VarBound1(29,1,9) VarBound1(29,1,10) VarBound2(29,1,1) VarBound2(29,1,2) VarBound2(29,1,3) VarBound2(29,1,4) VarBound2(29,1,5) VarBound2(29,1,6) VarBound2(29,1,7) VarBound2(29,1,8) VarBound2(29,1,9) VarBound2(29,1,10) BLOCK 57 VarBound1(29,2,1) VarBound1(29,2,2) VarBound1(29,2,3) VarBound1(29,2,4) VarBound1(29,2,5) VarBound1(29,2,6) VarBound1(29,2,7) VarBound1(29,2,8) VarBound1(29,2,9) VarBound1(29,2,10) VarBound2(29,2,1) VarBound2(29,2,2) VarBound2(29,2,3) VarBound2(29,2,4) VarBound2(29,2,5) VarBound2(29,2,6) VarBound2(29,2,7) VarBound2(29,2,8) VarBound2(29,2,9) VarBound2(29,2,10) BLOCK 58 VarBound1(29,3,1) VarBound1(29,3,2) VarBound1(29,3,3) VarBound1(29,3,4) VarBound1(29,3,5) VarBound1(29,3,6) VarBound1(29,3,7) VarBound1(29,3,8) VarBound1(29,3,9) VarBound1(29,3,10) VarBound2(29,3,1) VarBound2(29,3,2) VarBound2(29,3,3) VarBound2(29,3,4) VarBound2(29,3,5) VarBound2(29,3,6) VarBound2(29,3,7) VarBound2(29,3,8) VarBound2(29,3,9) VarBound2(29,3,10) BLOCK 59 VarBound1(29,4,1) VarBound1(29,4,2) VarBound1(29,4,3) VarBound1(29,4,4) VarBound1(29,4,5) VarBound1(29,4,6) VarBound1(29,4,7) VarBound1(29,4,8) VarBound1(29,4,9) VarBound1(29,4,10) VarBound2(29,4,1) VarBound2(29,4,2) VarBound2(29,4,3) VarBound2(29,4,4) VarBound2(29,4,5) VarBound2(29,4,6) VarBound2(29,4,7) VarBound2(29,4,8) VarBound2(29,4,9) VarBound2(29,4,10) BLOCK 60 VarBound1(29,5,1) VarBound1(29,5,2) VarBound1(29,5,3) VarBound1(29,5,4) VarBound1(29,5,5) VarBound1(29,5,6) VarBound1(29,5,7) VarBound1(29,5,8) VarBound1(29,5,9) VarBound1(29,5,10) VarBound2(29,5,1) VarBound2(29,5,2) VarBound2(29,5,3) VarBound2(29,5,4) VarBound2(29,5,5) VarBound2(29,5,6) VarBound2(29,5,7) VarBound2(29,5,8) VarBound2(29,5,9) VarBound2(29,5,10) MASTERCONSS Cardinality(23) Cardinality(26) Cardinality(29) Link1(3,2) Link1(3,5) Link1(3,7) Link1(3,8) Link1(5,1) Link1(5,2) Link1(5,3) Link1(5,4) Link1(5,5) Link1(5,6) Link1(5,7) Link1(5,8) Link1(5,9) Link1(5,10) Link1(7,1) Link1(7,2) Link1(7,3) Link1(7,4) Link1(7,5) Link1(7,6) Link1(7,7) Link1(7,8) Link1(7,9) Link1(7,10) Link1(8,1) Link1(8,2) Link1(8,3) Link1(8,4) Link1(8,5) Link1(8,6) Link1(8,7) Link1(8,8) Link1(8,9) Link1(8,10) Link1(10,1) Link1(10,2) Link1(10,3) Link1(10,4) Link1(10,5) Link1(10,6) Link1(10,7) Link1(10,8) Link1(10,9) Link1(10,10) Link1(12,1) Link1(12,2) Link1(12,3) Link1(12,4) Link1(12,5) Link1(12,6) Link1(12,7) Link1(12,8) Link1(12,9) Link1(12,10) Link1(15,2) Link1(16,4) Link1(18,5) Link1(19,1) Link1(19,2) Link1(19,3) Link1(19,4) Link1(19,5) Link1(19,6) Link1(19,7) Link1(19,8) Link1(19,9) Link1(19,10) Link1(21,5) Link1(21,8) Link1(21,10) Link1(22,1) Link1(22,2) Link1(22,3) Link1(22,4) Link1(22,5) Link1(22,6) Link1(22,7) Link1(22,8) Link1(22,9) Link1(22,10) Link1(23,1) Link1(23,2) Link1(23,3) Link1(23,4) Link1(23,5) Link1(23,6) Link1(23,7) Link1(23,8) Link1(23,9) Link1(23,10) Link1(26,1) Link1(26,2) Link1(26,3) Link1(26,4) Link1(26,5) Link1(26,6) Link1(26,7) Link1(26,8) Link1(26,9) Link1(26,10) Link1(28,1) Link1(28,2) Link1(28,3) Link1(28,4) Link1(28,5) Link1(28,6) Link1(28,7) Link1(28,8) Link1(28,10) Link1(29,1) Link1(29,2) Link1(29,3) Link1(29,4) Link1(29,5) Link1(29,6) Link1(29,7) Link1(29,8) Link1(29,9) Link1(29,10) Link2(2,1) Link2(2,3) Link2(2,4) Link2(2,6) Link2(2,9) Link2(2,10) Link2(3,1) Link2(3,2) Link2(3,3) Link2(3,4) Link2(3,5) Link2(3,6) Link2(3,7) Link2(3,8) Link2(3,9) Link2(3,10) Link2(5,1) Link2(5,2) Link2(5,3) Link2(5,4) Link2(5,5) Link2(5,6) Link2(5,7) Link2(5,8) Link2(5,9) Link2(5,10) Link2(8,1) Link2(8,2) Link2(8,3) Link2(8,4) Link2(8,5) Link2(8,6) Link2(8,7) Link2(8,8) Link2(8,9) Link2(8,10) Link2(10,1) Link2(10,2) Link2(10,3) Link2(10,4) Link2(10,5) Link2(10,6) Link2(10,7) Link2(10,8) Link2(10,9) Link2(10,10) Link2(12,1) Link2(12,2) Link2(12,3) Link2(12,4) Link2(12,5) Link2(12,6) Link2(12,7) Link2(12,8) Link2(12,9) Link2(12,10) Link2(13,1) Link2(13,2) Link2(13,3) Link2(13,4) Link2(13,5) Link2(13,6) Link2(13,7) Link2(13,8) Link2(13,9) Link2(13,10) Link2(14,1) Link2(14,3) Link2(14,4) Link2(14,5) Link2(14,6) Link2(14,7) Link2(14,8) Link2(14,9) Link2(14,10) Link2(15,1) Link2(15,2) Link2(15,3) Link2(15,5) Link2(15,6) Link2(15,7) Link2(15,8) Link2(15,9) Link2(15,10) Link2(17,1) Link2(17,2) Link2(17,3) Link2(17,4) Link2(17,6) Link2(17,7) Link2(17,8) Link2(17,9) Link2(17,10) Link2(19,1) Link2(19,2) Link2(19,3) Link2(19,4) Link2(19,5) Link2(19,6) Link2(19,7) Link2(19,8) Link2(19,9) Link2(19,10) Link2(20,1) Link2(20,2) Link2(20,3) Link2(20,4) Link2(20,6) Link2(20,7) Link2(20,9) Link2(23,1) Link2(23,2) Link2(23,3) Link2(23,4) Link2(23,5) Link2(23,6) Link2(23,7) Link2(23,8) Link2(23,9) Link2(23,10) Link2(24,1) Link2(24,2) Link2(24,3) Link2(24,4) Link2(24,5) Link2(24,6) Link2(24,7) Link2(24,8) Link2(24,9) Link2(24,10) Link2(26,1) Link2(26,2) Link2(26,3) Link2(26,4) Link2(26,5) Link2(26,6) Link2(26,7) Link2(26,8) Link2(26,9) Link2(26,10) Link2(27,9) Link2(29,1) Link2(29,2) Link2(29,3) Link2(29,4) Link2(29,5) Link2(29,6) Link2(29,7) Link2(29,8) Link2(29,9) Link2(29,10) Cardinality(5) Cardinality(8) Cardinality(10) Cardinality(12) Cardinality(19)