# Studies of Euler diagrams/dukeli NP/valneg

dummy

In each row the same values are negated. I.e. circles with spikes on the outside have the same color.
E.g. in row 3 the negator is always before 0 and 1. I.e. the red and green circles 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)