# Studies of Euler diagrams/dukeli NP/keyneg

dummy
In each row the same places are negated. I.e. circles with spikes on the outside are in the same position. E.g. in row 3 the negator is always in the first two positions. I.e. the two circles on the left have spikes on the outside.
| (0, 1, 2, 3) | (1, 0, 2, 3) | (0, 2, 1, 3) | (2, 0, 1, 3) | (1, 2, 0, 3) | (2, 1, 0, 3) | (0, 1, 3, 2) | (1, 0, 3, 2) | (0, 3, 1, 2) | (3, 0, 1, 2) | (1, 3, 0, 2) | (3, 1, 0, 2) | (0, 2, 3, 1) | (2, 0, 3, 1) | (0, 3, 2, 1) | (3, 0, 2, 1) | (2, 3, 0, 1) | (3, 2, 0, 1) | (1, 2, 3, 0) | (2, 1, 3, 0) | (1, 3, 2, 0) | (3, 1, 2, 0) | (2, 3, 1, 0) | (3, 2, 1, 0) |
| (~0, 1, 2, 3) | (~1, 0, 2, 3) | (~0, 2, 1, 3) | (~2, 0, 1, 3) | (~1, 2, 0, 3) | (~2, 1, 0, 3) | (~0, 1, 3, 2) | (~1, 0, 3, 2) | (~0, 3, 1, 2) | (~3, 0, 1, 2) | (~1, 3, 0, 2) | (~3, 1, 0, 2) | (~0, 2, 3, 1) | (~2, 0, 3, 1) | (~0, 3, 2, 1) | (~3, 0, 2, 1) | (~2, 3, 0, 1) | (~3, 2, 0, 1) | (~1, 2, 3, 0) | (~2, 1, 3, 0) | (~1, 3, 2, 0) | (~3, 1, 2, 0) | (~2, 3, 1, 0) | (~3, 2, 1, 0) |
| (0, ~1, 2, 3) | (1, ~0, 2, 3) | (0, ~2, 1, 3) | (2, ~0, 1, 3) | (1, ~2, 0, 3) | (2, ~1, 0, 3) | (0, ~1, 3, 2) | (1, ~0, 3, 2) | (0, ~3, 1, 2) | (3, ~0, 1, 2) | (1, ~3, 0, 2) | (3, ~1, 0, 2) | (0, ~2, 3, 1) | (2, ~0, 3, 1) | (0, ~3, 2, 1) | (3, ~0, 2, 1) | (2, ~3, 0, 1) | (3, ~2, 0, 1) | (1, ~2, 3, 0) | (2, ~1, 3, 0) | (1, ~3, 2, 0) | (3, ~1, 2, 0) | (2, ~3, 1, 0) | (3, ~2, 1, 0) |
| (~0, ~1, 2, 3) | (~1, ~0, 2, 3) | (~0, ~2, 1, 3) | (~2, ~0, 1, 3) | (~1, ~2, 0, 3) | (~2, ~1, 0, 3) | (~0, ~1, 3, 2) | (~1, ~0, 3, 2) | (~0, ~3, 1, 2) | (~3, ~0, 1, 2) | (~1, ~3, 0, 2) | (~3, ~1, 0, 2) | (~0, ~2, 3, 1) | (~2, ~0, 3, 1) | (~0, ~3, 2, 1) | (~3, ~0, 2, 1) | (~2, ~3, 0, 1) | (~3, ~2, 0, 1) | (~1, ~2, 3, 0) | (~2, ~1, 3, 0) | (~1, ~3, 2, 0) | (~3, ~1, 2, 0) | (~2, ~3, 1, 0) | (~3, ~2, 1, 0) |
| (0, 1, ~2, 3) | (1, 0, ~2, 3) | (0, 2, ~1, 3) | (2, 0, ~1, 3) | (1, 2, ~0, 3) | (2, 1, ~0, 3) | (0, 1, ~3, 2) | (1, 0, ~3, 2) | (0, 3, ~1, 2) | (3, 0, ~1, 2) | (1, 3, ~0, 2) | (3, 1, ~0, 2) | (0, 2, ~3, 1) | (2, 0, ~3, 1) | (0, 3, ~2, 1) | (3, 0, ~2, 1) | (2, 3, ~0, 1) | (3, 2, ~0, 1) | (1, 2, ~3, 0) | (2, 1, ~3, 0) | (1, 3, ~2, 0) | (3, 1, ~2, 0) | (2, 3, ~1, 0) | (3, 2, ~1, 0) |
| (~0, 1, ~2, 3) | (~1, 0, ~2, 3) | (~0, 2, ~1, 3) | (~2, 0, ~1, 3) | (~1, 2, ~0, 3) | (~2, 1, ~0, 3) | (~0, 1, ~3, 2) | (~1, 0, ~3, 2) | (~0, 3, ~1, 2) | (~3, 0, ~1, 2) | (~1, 3, ~0, 2) | (~3, 1, ~0, 2) | (~0, 2, ~3, 1) | (~2, 0, ~3, 1) | (~0, 3, ~2, 1) | (~3, 0, ~2, 1) | (~2, 3, ~0, 1) | (~3, 2, ~0, 1) | (~1, 2, ~3, 0) | (~2, 1, ~3, 0) | (~1, 3, ~2, 0) | (~3, 1, ~2, 0) | (~2, 3, ~1, 0) | (~3, 2, ~1, 0) |
| (0, ~1, ~2, 3) | (1, ~0, ~2, 3) | (0, ~2, ~1, 3) | (2, ~0, ~1, 3) | (1, ~2, ~0, 3) | (2, ~1, ~0, 3) | (0, ~1, ~3, 2) | (1, ~0, ~3, 2) | (0, ~3, ~1, 2) | (3, ~0, ~1, 2) | (1, ~3, ~0, 2) | (3, ~1, ~0, 2) | (0, ~2, ~3, 1) | (2, ~0, ~3, 1) | (0, ~3, ~2, 1) | (3, ~0, ~2, 1) | (2, ~3, ~0, 1) | (3, ~2, ~0, 1) | (1, ~2, ~3, 0) | (2, ~1, ~3, 0) | (1, ~3, ~2, 0) | (3, ~1, ~2, 0) | (2, ~3, ~1, 0) | (3, ~2, ~1, 0) |
| (~0, ~1, ~2, 3) | (~1, ~0, ~2, 3) | (~0, ~2, ~1, 3) | (~2, ~0, ~1, 3) | (~1, ~2, ~0, 3) | (~2, ~1, ~0, 3) | (~0, ~1, ~3, 2) | (~1, ~0, ~3, 2) | (~0, ~3, ~1, 2) | (~3, ~0, ~1, 2) | (~1, ~3, ~0, 2) | (~3, ~1, ~0, 2) | (~0, ~2, ~3, 1) | (~2, ~0, ~3, 1) | (~0, ~3, ~2, 1) | (~3, ~0, ~2, 1) | (~2, ~3, ~0, 1) | (~3, ~2, ~0, 1) | (~1, ~2, ~3, 0) | (~2, ~1, ~3, 0) | (~1, ~3, ~2, 0) | (~3, ~1, ~2, 0) | (~2, ~3, ~1, 0) | (~3, ~2, ~1, 0) |
| (0, 1, 2, ~3) | (1, 0, 2, ~3) | (0, 2, 1, ~3) | (2, 0, 1, ~3) | (1, 2, 0, ~3) | (2, 1, 0, ~3) | (0, 1, 3, ~2) | (1, 0, 3, ~2) | (0, 3, 1, ~2) | (3, 0, 1, ~2) | (1, 3, 0, ~2) | (3, 1, 0, ~2) | (0, 2, 3, ~1) | (2, 0, 3, ~1) | (0, 3, 2, ~1) | (3, 0, 2, ~1) | (2, 3, 0, ~1) | (3, 2, 0, ~1) | (1, 2, 3, ~0) | (2, 1, 3, ~0) | (1, 3, 2, ~0) | (3, 1, 2, ~0) | (2, 3, 1, ~0) | (3, 2, 1, ~0) |
| (~0, 1, 2, ~3) | (~1, 0, 2, ~3) | (~0, 2, 1, ~3) | (~2, 0, 1, ~3) | (~1, 2, 0, ~3) | (~2, 1, 0, ~3) | (~0, 1, 3, ~2) | (~1, 0, 3, ~2) | (~0, 3, 1, ~2) | (~3, 0, 1, ~2) | (~1, 3, 0, ~2) | (~3, 1, 0, ~2) | (~0, 2, 3, ~1) | (~2, 0, 3, ~1) | (~0, 3, 2, ~1) | (~3, 0, 2, ~1) | (~2, 3, 0, ~1) | (~3, 2, 0, ~1) | (~1, 2, 3, ~0) | (~2, 1, 3, ~0) | (~1, 3, 2, ~0) | (~3, 1, 2, ~0) | (~2, 3, 1, ~0) | (~3, 2, 1, ~0) |
| (0, ~1, 2, ~3) | (1, ~0, 2, ~3) | (0, ~2, 1, ~3) | (2, ~0, 1, ~3) | (1, ~2, 0, ~3) | (2, ~1, 0, ~3) | (0, ~1, 3, ~2) | (1, ~0, 3, ~2) | (0, ~3, 1, ~2) | (3, ~0, 1, ~2) | (1, ~3, 0, ~2) | (3, ~1, 0, ~2) | (0, ~2, 3, ~1) | (2, ~0, 3, ~1) | (0, ~3, 2, ~1) | (3, ~0, 2, ~1) | (2, ~3, 0, ~1) | (3, ~2, 0, ~1) | (1, ~2, 3, ~0) | (2, ~1, 3, ~0) | (1, ~3, 2, ~0) | (3, ~1, 2, ~0) | (2, ~3, 1, ~0) | (3, ~2, 1, ~0) |
| (~0, ~1, 2, ~3) | (~1, ~0, 2, ~3) | (~0, ~2, 1, ~3) | (~2, ~0, 1, ~3) | (~1, ~2, 0, ~3) | (~2, ~1, 0, ~3) | (~0, ~1, 3, ~2) | (~1, ~0, 3, ~2) | (~0, ~3, 1, ~2) | (~3, ~0, 1, ~2) | (~1, ~3, 0, ~2) | (~3, ~1, 0, ~2) | (~0, ~2, 3, ~1) | (~2, ~0, 3, ~1) | (~0, ~3, 2, ~1) | (~3, ~0, 2, ~1) | (~2, ~3, 0, ~1) | (~3, ~2, 0, ~1) | (~1, ~2, 3, ~0) | (~2, ~1, 3, ~0) | (~1, ~3, 2, ~0) | (~3, ~1, 2, ~0) | (~2, ~3, 1, ~0) | (~3, ~2, 1, ~0) |
| (0, 1, ~2, ~3) | (1, 0, ~2, ~3) | (0, 2, ~1, ~3) | (2, 0, ~1, ~3) | (1, 2, ~0, ~3) | (2, 1, ~0, ~3) | (0, 1, ~3, ~2) | (1, 0, ~3, ~2) | (0, 3, ~1, ~2) | (3, 0, ~1, ~2) | (1, 3, ~0, ~2) | (3, 1, ~0, ~2) | (0, 2, ~3, ~1) | (2, 0, ~3, ~1) | (0, 3, ~2, ~1) | (3, 0, ~2, ~1) | (2, 3, ~0, ~1) | (3, 2, ~0, ~1) | (1, 2, ~3, ~0) | (2, 1, ~3, ~0) | (1, 3, ~2, ~0) | (3, 1, ~2, ~0) | (2, 3, ~1, ~0) | (3, 2, ~1, ~0) |
| (~0, 1, ~2, ~3) | (~1, 0, ~2, ~3) | (~0, 2, ~1, ~3) | (~2, 0, ~1, ~3) | (~1, 2, ~0, ~3) | (~2, 1, ~0, ~3) | (~0, 1, ~3, ~2) | (~1, 0, ~3, ~2) | (~0, 3, ~1, ~2) | (~3, 0, ~1, ~2) | (~1, 3, ~0, ~2) | (~3, 1, ~0, ~2) | (~0, 2, ~3, ~1) | (~2, 0, ~3, ~1) | (~0, 3, ~2, ~1) | (~3, 0, ~2, ~1) | (~2, 3, ~0, ~1) | (~3, 2, ~0, ~1) | (~1, 2, ~3, ~0) | (~2, 1, ~3, ~0) | (~1, 3, ~2, ~0) | (~3, 1, ~2, ~0) | (~2, 3, ~1, ~0) | (~3, 2, ~1, ~0) |
| (0, ~1, ~2, ~3) | (1, ~0, ~2, ~3) | (0, ~2, ~1, ~3) | (2, ~0, ~1, ~3) | (1, ~2, ~0, ~3) | (2, ~1, ~0, ~3) | (0, ~1, ~3, ~2) | (1, ~0, ~3, ~2) | (0, ~3, ~1, ~2) | (3, ~0, ~1, ~2) | (1, ~3, ~0, ~2) | (3, ~1, ~0, ~2) | (0, ~2, ~3, ~1) | (2, ~0, ~3, ~1) | (0, ~3, ~2, ~1) | (3, ~0, ~2, ~1) | (2, ~3, ~0, ~1) | (3, ~2, ~0, ~1) | (1, ~2, ~3, ~0) | (2, ~1, ~3, ~0) | (1, ~3, ~2, ~0) | (3, ~1, ~2, ~0) | (2, ~3, ~1, ~0) | (3, ~2, ~1, ~0) |
| (~0, ~1, ~2, ~3) | (~1, ~0, ~2, ~3) | (~0, ~2, ~1, ~3) | (~2, ~0, ~1, ~3) | (~1, ~2, ~0, ~3) | (~2, ~1, ~0, ~3) | (~0, ~1, ~3, ~2) | (~1, ~0, ~3, ~2) | (~0, ~3, ~1, ~2) | (~3, ~0, ~1, ~2) | (~1, ~3, ~0, ~2) | (~3, ~1, ~0, ~2) | (~0, ~2, ~3, ~1) | (~2, ~0, ~3, ~1) | (~0, ~3, ~2, ~1) | (~3, ~0, ~2, ~1) | (~2, ~3, ~0, ~1) | (~3, ~2, ~0, ~1) | (~1, ~2, ~3, ~0) | (~2, ~1, ~3, ~0) | (~1, ~3, ~2, ~0) | (~3, ~1, ~2, ~0) | (~2, ~3, ~1, ~0) | (~3, ~2, ~1, ~0) |