[D+] 6
[C+] 4
[C+, D+] 3
[B+] 5
[B+, D-] 4
[B+, C-] 4
[B+, C-, D-] 3
[A+] 6
[A+, D-] 5
[A+, C-] 4
[A+, C-, D-] 3
[A+, B+] 5
[A+, B+, D-] 4
[A+, B+, C-] 4
[A+, B+, C-, D-] 3
number of patterns: 15
***pruned: 3
