0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
3 0 0 1 1 0
4 0 1 0 0 0
5 0 1 0 1 1
6 0 1 1 0 1
7 0 1 1 1 1
8 1 0 0 0 0
9 1 0 0 1 0
10 1 0 1 0 1
11 1 0 1 1 0
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 1
15 1 1 1 1 0
0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
5 0 1 0 1 1
6 0 1 1 0 1
7 0 1 1 1 1
10 1 0 1 0 1
13 1 1 0 1 1
14 1 1 1 0 1
Gruppe 0
0 0 0 0 0 1
Gruppe 1
1 0 0 0 1 1
2 0 0 1 0 1
Gruppe 2
5 0 1 0 1 1
6 0 1 1 0 1
10 1 0 1 0 1
Gruppe 3
7 0 1 1 1 1
13 1 1 0 1 1
14 1 1 1 0 1
0;1 0 0 0 -
0;2 0 0 - 0
5;7 0 1 - 0
1;5 0 - 0 1
2;5 0 - 1 0
10;14 1 - 1 0
2;10 - 0 1 0
5;13 - 1 0 1
6;14 - 1 1 0
0;1 0 0 0 -
1;5 0 - 0 1
5;13 - 1 0 1
0;2;5;7 0 - - 0
2;10;6;14 - - 1 0
2;5;10;14 - - 1 0
0;1 0 0 0 -
1;5 0 - 0 1
5;13 - 1 0 1
0 1 2 5 6 10 7 13 14
0;2;5;7 * * * *
2;10;6;14 * * * *
2;5;10;14 * * * *
0;1 * *
1;5 * *
5;13 * *
0 1 2 5 6 10 7 13 14
0;2;5;7 * * * *
2;10;6;14 * * * *
1;5 * *
5;13 * *
(not x3 and not x0) or (x1 and not x0) or (not x3 and not x1 and x0) or (x2 and not x1 and x0)