6,6,6,6,6,6 = T6 = all possible ways to fill first 5 locations 6,1,1,6,6,6 = B1,6 = ways to violate C1 6,5,1,1,6,6 = B2,6 = ways to violate C2 (but not C1) B3,6 = ways to violate C3 first 6,5,5,1,1,6 + A,B,C,C,C 6,1,5,1,1,6 + A,A,B,B,B B4,6 = ways to violate C4 first 6,1,5,5,1,1 + A,A,B,C,C,C 6,5,1,5,1,1 + A,B,B,C,C,C 6,5,5,5,1,1 + A,B,C,D,D,D B5,6 = ways to maybe violate only C5 6,5,5,1,5,1 + A,B,C,C,D,D 6,1,5,1,5,1 + A,A,B,B,C,C 6,1,5,5,5,1 + A,A,B,C,D,D 6,5,1,5,5,1 + A,B,B,C,D,D 6,5,5,5,5,1 + A,B,C,D,E,E B0,6 = T6 - B(1..5),6 6,1,5,5,1,5 + A,A,B,C,C,D 6,5,1,5,1,5 + A,B,B,C,C,D 6,5,5,5,1,5 + A,B,C,D,D,E 6,5,5,1,5,5 + A,B,C,C,D,E 6,1,5,1,5,5 + A,A,B,B,C,D 6,1,5,5,5,5 + A,A,B,C,D,E 6,5,1,5,5,5 + A,B,B,C,D,E 6,5,5,5,5,5 + A,B,C,D,E,F