c cnf for all orientation of gaussoid=111111
p cnf 6 144
-6 5 -1 1 5 0
-5 6 -1 1 5 0
-6 5 -3 1 5 0
-5 6 -3 1 5 0
-6 5 -1 3 5 0
-5 6 -1 3 5 0
-6 5 -3 3 5 0
-5 6 -3 3 5 0
-6 5 -5 1 3 0
-5 6 -5 1 3 0
-6 5 -5 -1 -3 0
-5 6 -5 -1 -3 0
-4 3 -1 1 3 0
-3 4 -1 1 3 0
-4 3 -5 1 3 0
-3 4 -5 1 3 0
-4 3 -1 5 3 0
-3 4 -1 5 3 0
-4 3 -5 5 3 0
-3 4 -5 5 3 0
-4 3 -3 1 5 0
-3 4 -3 1 5 0
-4 3 -3 -1 -5 0
-3 4 -3 -1 -5 0
-2 1 -3 3 1 0
-1 2 -3 3 1 0
-2 1 -5 3 1 0
-1 2 -5 3 1 0
-2 1 -3 5 1 0
-1 2 -3 5 1 0
-2 1 -5 5 1 0
-1 2 -5 5 1 0
-2 1 -1 3 5 0
-1 2 -1 3 5 0
-2 1 -1 -3 -5 0
-1 2 -1 -3 -5 0
-4 3 -1 1 3 0
-3 4 -1 1 3 0
-4 3 -6 1 3 0
-3 4 -6 1 3 0
-4 3 -1 6 3 0
-3 4 -1 6 3 0
-4 3 -6 6 3 0
-3 4 -6 6 3 0
-4 3 -3 1 6 0
-3 4 -3 1 6 0
-4 3 -3 -1 -6 0
-3 4 -3 -1 -6 0
-2 1 -3 3 1 0
-1 2 -3 3 1 0
-2 1 -6 3 1 0
-1 2 -6 3 1 0
-2 1 -3 6 1 0
-1 2 -3 6 1 0
-2 1 -6 6 1 0
-1 2 -6 6 1 0
-2 1 -1 3 6 0
-1 2 -1 3 6 0
-2 1 -1 -3 -6 0
-1 2 -1 -3 -6 0
-6 5 -1 1 5 0
-5 6 -1 1 5 0
-6 5 -4 1 5 0
-5 6 -4 1 5 0
-6 5 -1 4 5 0
-5 6 -1 4 5 0
-6 5 -4 4 5 0
-5 6 -4 4 5 0
-6 5 -5 1 4 0
-5 6 -5 1 4 0
-6 5 -5 -1 -4 0
-5 6 -5 -1 -4 0
-2 1 -4 4 1 0
-1 2 -4 4 1 0
-2 1 -5 4 1 0
-1 2 -5 4 1 0
-2 1 -4 5 1 0
-1 2 -4 5 1 0
-2 1 -5 5 1 0
-1 2 -5 5 1 0
-2 1 -1 4 5 0
-1 2 -1 4 5 0
-2 1 -1 -4 -5 0
-1 2 -1 -4 -5 0
-6 5 -2 2 5 0
-5 6 -2 2 5 0
-6 5 -3 2 5 0
-5 6 -3 2 5 0
-6 5 -2 3 5 0
-5 6 -2 3 5 0
-6 5 -3 3 5 0
-5 6 -3 3 5 0
-6 5 -5 2 3 0
-5 6 -5 2 3 0
-6 5 -5 -2 -3 0
-5 6 -5 -2 -3 0
-4 3 -2 2 3 0
-3 4 -2 2 3 0
-4 3 -5 2 3 0
-3 4 -5 2 3 0
-4 3 -2 5 3 0
-3 4 -2 5 3 0
-4 3 -5 5 3 0
-3 4 -5 5 3 0
-4 3 -3 2 5 0
-3 4 -3 2 5 0
-4 3 -3 -2 -5 0
-3 4 -3 -2 -5 0
-2 1 -4 4 1 0
-1 2 -4 4 1 0
-2 1 -6 4 1 0
-1 2 -6 4 1 0
-2 1 -4 6 1 0
-1 2 -4 6 1 0
-2 1 -6 6 1 0
-1 2 -6 6 1 0
-2 1 -1 4 6 0
-1 2 -1 4 6 0
-2 1 -1 -4 -6 0
-1 2 -1 -4 -6 0
-4 3 -2 2 3 0
-3 4 -2 2 3 0
-4 3 -6 2 3 0
-3 4 -6 2 3 0
-4 3 -2 6 3 0
-3 4 -2 6 3 0
-4 3 -6 6 3 0
-3 4 -6 6 3 0
-4 3 -3 2 6 0
-3 4 -3 2 6 0
-4 3 -3 -2 -6 0
-3 4 -3 -2 -6 0
-6 5 -2 2 5 0
-5 6 -2 2 5 0
-6 5 -4 2 5 0
-5 6 -4 2 5 0
-6 5 -2 4 5 0
-5 6 -2 4 5 0
-6 5 -4 4 5 0
-5 6 -4 4 5 0
-6 5 -5 2 4 0
-5 6 -5 2 4 0
-6 5 -5 -2 -4 0
-5 6 -5 -2 -4 0