4 5 2
-1 0 0 A
0 0 0 B
0 -1 0 C
0 0 1 D
1 2 AB
2 4 BD
4 1 DA
2 3 BC
3 4 CD
1 2 3 ABD
4 5 2 BCD