c cnf for all orientations of gaussoid=111111111111111111111111
p cnf 24 1152
-14 13 -1 1 13 0
-13 14 -1 1 13 0
-14 13 -5 1 13 0
-13 14 -5 1 13 0
-14 13 -1 5 13 0
-13 14 -1 5 13 0
-14 13 -5 5 13 0
-13 14 -5 5 13 0
-14 13 -13 1 5 0
-13 14 -13 1 5 0
-14 13 -13 -1 -5 0
-13 14 -13 -1 -5 0
-6 5 -1 1 5 0
-5 6 -1 1 5 0
-6 5 -13 1 5 0
-5 6 -13 1 5 0
-6 5 -1 13 5 0
-5 6 -1 13 5 0
-6 5 -13 13 5 0
-5 6 -13 13 5 0
-6 5 -5 1 13 0
-5 6 -5 1 13 0
-6 5 -5 -1 -13 0
-5 6 -5 -1 -13 0
-2 1 -5 5 1 0
-1 2 -5 5 1 0
-2 1 -13 5 1 0
-1 2 -13 5 1 0
-2 1 -5 13 1 0
-1 2 -5 13 1 0
-2 1 -13 13 1 0
-1 2 -13 13 1 0
-2 1 -1 5 13 0
-1 2 -1 5 13 0
-2 1 -1 -5 -13 0
-1 2 -1 -5 -13 0
-6 5 -1 1 5 0
-5 6 -1 1 5 0
-6 5 -14 1 5 0
-5 6 -14 1 5 0
-6 5 -1 14 5 0
-5 6 -1 14 5 0
-6 5 -14 14 5 0
-5 6 -14 14 5 0
-6 5 -5 1 14 0
-5 6 -5 1 14 0
-6 5 -5 -1 -14 0
-5 6 -5 -1 -14 0
-2 1 -5 5 1 0
-1 2 -5 5 1 0
-2 1 -14 5 1 0
-1 2 -14 5 1 0
-2 1 -5 14 1 0
-1 2 -5 14 1 0
-2 1 -14 14 1 0
-1 2 -14 14 1 0
-2 1 -1 5 14 0
-1 2 -1 5 14 0
-2 1 -1 -5 -14 0
-1 2 -1 -5 -14 0
-14 13 -1 1 13 0
-13 14 -1 1 13 0
-14 13 -6 1 13 0
-13 14 -6 1 13 0
-14 13 -1 6 13 0
-13 14 -1 6 13 0
-14 13 -6 6 13 0
-13 14 -6 6 13 0
-14 13 -13 1 6 0
-13 14 -13 1 6 0
-14 13 -13 -1 -6 0
-13 14 -13 -1 -6 0
-2 1 -6 6 1 0
-1 2 -6 6 1 0
-2 1 -13 6 1 0
-1 2 -13 6 1 0
-2 1 -6 13 1 0
-1 2 -6 13 1 0
-2 1 -13 13 1 0
-1 2 -13 13 1 0
-2 1 -1 6 13 0
-1 2 -1 6 13 0
-2 1 -1 -6 -13 0
-1 2 -1 -6 -13 0
-14 13 -2 2 13 0
-13 14 -2 2 13 0
-14 13 -5 2 13 0
-13 14 -5 2 13 0
-14 13 -2 5 13 0
-13 14 -2 5 13 0
-14 13 -5 5 13 0
-13 14 -5 5 13 0
-14 13 -13 2 5 0
-13 14 -13 2 5 0
-14 13 -13 -2 -5 0
-13 14 -13 -2 -5 0
-6 5 -2 2 5 0
-5 6 -2 2 5 0
-6 5 -13 2 5 0
-5 6 -13 2 5 0
-6 5 -2 13 5 0
-5 6 -2 13 5 0
-6 5 -13 13 5 0
-5 6 -13 13 5 0
-6 5 -5 2 13 0
-5 6 -5 2 13 0
-6 5 -5 -2 -13 0
-5 6 -5 -2 -13 0
-2 1 -6 6 1 0
-1 2 -6 6 1 0
-2 1 -14 6 1 0
-1 2 -14 6 1 0
-2 1 -6 14 1 0
-1 2 -6 14 1 0
-2 1 -14 14 1 0
-1 2 -14 14 1 0
-2 1 -1 6 14 0
-1 2 -1 6 14 0
-2 1 -1 -6 -14 0
-1 2 -1 -6 -14 0
-6 5 -2 2 5 0
-5 6 -2 2 5 0
-6 5 -14 2 5 0
-5 6 -14 2 5 0
-6 5 -2 14 5 0
-5 6 -2 14 5 0
-6 5 -14 14 5 0
-5 6 -14 14 5 0
-6 5 -5 2 14 0
-5 6 -5 2 14 0
-6 5 -5 -2 -14 0
-5 6 -5 -2 -14 0
-14 13 -2 2 13 0
-13 14 -2 2 13 0
-14 13 -6 2 13 0
-13 14 -6 2 13 0
-14 13 -2 6 13 0
-13 14 -2 6 13 0
-14 13 -6 6 13 0
-13 14 -6 6 13 0
-14 13 -13 2 6 0
-13 14 -13 2 6 0
-14 13 -13 -2 -6 0
-13 14 -13 -2 -6 0
-16 15 -3 3 15 0
-15 16 -3 3 15 0
-16 15 -7 3 15 0
-15 16 -7 3 15 0
-16 15 -3 7 15 0
-15 16 -3 7 15 0
-16 15 -7 7 15 0
-15 16 -7 7 15 0
-16 15 -15 3 7 0
-15 16 -15 3 7 0
-16 15 -15 -3 -7 0
-15 16 -15 -3 -7 0
-8 7 -3 3 7 0
-7 8 -3 3 7 0
-8 7 -15 3 7 0
-7 8 -15 3 7 0
-8 7 -3 15 7 0
-7 8 -3 15 7 0
-8 7 -15 15 7 0
-7 8 -15 15 7 0
-8 7 -7 3 15 0
-7 8 -7 3 15 0
-8 7 -7 -3 -15 0
-7 8 -7 -3 -15 0
-4 3 -7 7 3 0
-3 4 -7 7 3 0
-4 3 -15 7 3 0
-3 4 -15 7 3 0
-4 3 -7 15 3 0
-3 4 -7 15 3 0
-4 3 -15 15 3 0
-3 4 -15 15 3 0
-4 3 -3 7 15 0
-3 4 -3 7 15 0
-4 3 -3 -7 -15 0
-3 4 -3 -7 -15 0
-8 7 -3 3 7 0
-7 8 -3 3 7 0
-8 7 -16 3 7 0
-7 8 -16 3 7 0
-8 7 -3 16 7 0
-7 8 -3 16 7 0
-8 7 -16 16 7 0
-7 8 -16 16 7 0
-8 7 -7 3 16 0
-7 8 -7 3 16 0
-8 7 -7 -3 -16 0
-7 8 -7 -3 -16 0
-4 3 -7 7 3 0
-3 4 -7 7 3 0
-4 3 -16 7 3 0
-3 4 -16 7 3 0
-4 3 -7 16 3 0
-3 4 -7 16 3 0
-4 3 -16 16 3 0
-3 4 -16 16 3 0
-4 3 -3 7 16 0
-3 4 -3 7 16 0
-4 3 -3 -7 -16 0
-3 4 -3 -7 -16 0
-16 15 -3 3 15 0
-15 16 -3 3 15 0
-16 15 -8 3 15 0
-15 16 -8 3 15 0
-16 15 -3 8 15 0
-15 16 -3 8 15 0
-16 15 -8 8 15 0
-15 16 -8 8 15 0
-16 15 -15 3 8 0
-15 16 -15 3 8 0
-16 15 -15 -3 -8 0
-15 16 -15 -3 -8 0
-4 3 -8 8 3 0
-3 4 -8 8 3 0
-4 3 -15 8 3 0
-3 4 -15 8 3 0
-4 3 -8 15 3 0
-3 4 -8 15 3 0
-4 3 -15 15 3 0
-3 4 -15 15 3 0
-4 3 -3 8 15 0
-3 4 -3 8 15 0
-4 3 -3 -8 -15 0
-3 4 -3 -8 -15 0
-16 15 -4 4 15 0
-15 16 -4 4 15 0
-16 15 -7 4 15 0
-15 16 -7 4 15 0
-16 15 -4 7 15 0
-15 16 -4 7 15 0
-16 15 -7 7 15 0
-15 16 -7 7 15 0
-16 15 -15 4 7 0
-15 16 -15 4 7 0
-16 15 -15 -4 -7 0
-15 16 -15 -4 -7 0
-8 7 -4 4 7 0
-7 8 -4 4 7 0
-8 7 -15 4 7 0
-7 8 -15 4 7 0
-8 7 -4 15 7 0
-7 8 -4 15 7 0
-8 7 -15 15 7 0
-7 8 -15 15 7 0
-8 7 -7 4 15 0
-7 8 -7 4 15 0
-8 7 -7 -4 -15 0
-7 8 -7 -4 -15 0
-4 3 -8 8 3 0
-3 4 -8 8 3 0
-4 3 -16 8 3 0
-3 4 -16 8 3 0
-4 3 -8 16 3 0
-3 4 -8 16 3 0
-4 3 -16 16 3 0
-3 4 -16 16 3 0
-4 3 -3 8 16 0
-3 4 -3 8 16 0
-4 3 -3 -8 -16 0
-3 4 -3 -8 -16 0
-8 7 -4 4 7 0
-7 8 -4 4 7 0
-8 7 -16 4 7 0
-7 8 -16 4 7 0
-8 7 -4 16 7 0
-7 8 -4 16 7 0
-8 7 -16 16 7 0
-7 8 -16 16 7 0
-8 7 -7 4 16 0
-7 8 -7 4 16 0
-8 7 -7 -4 -16 0
-7 8 -7 -4 -16 0
-16 15 -4 4 15 0
-15 16 -4 4 15 0
-16 15 -8 4 15 0
-15 16 -8 4 15 0
-16 15 -4 8 15 0
-15 16 -4 8 15 0
-16 15 -8 8 15 0
-15 16 -8 8 15 0
-16 15 -15 4 8 0
-15 16 -15 4 8 0
-16 15 -15 -4 -8 0
-15 16 -15 -4 -8 0
-18 17 -1 1 17 0
-17 18 -1 1 17 0
-18 17 -9 1 17 0
-17 18 -9 1 17 0
-18 17 -1 9 17 0
-17 18 -1 9 17 0
-18 17 -9 9 17 0
-17 18 -9 9 17 0
-18 17 -17 1 9 0
-17 18 -17 1 9 0
-18 17 -17 -1 -9 0
-17 18 -17 -1 -9 0
-10 9 -1 1 9 0
-9 10 -1 1 9 0
-10 9 -17 1 9 0
-9 10 -17 1 9 0
-10 9 -1 17 9 0
-9 10 -1 17 9 0
-10 9 -17 17 9 0
-9 10 -17 17 9 0
-10 9 -9 1 17 0
-9 10 -9 1 17 0
-10 9 -9 -1 -17 0
-9 10 -9 -1 -17 0
-3 1 -9 9 1 0
-1 3 -9 9 1 0
-3 1 -17 9 1 0
-1 3 -17 9 1 0
-3 1 -9 17 1 0
-1 3 -9 17 1 0
-3 1 -17 17 1 0
-1 3 -17 17 1 0
-3 1 -1 9 17 0
-1 3 -1 9 17 0
-3 1 -1 -9 -17 0
-1 3 -1 -9 -17 0
-10 9 -1 1 9 0
-9 10 -1 1 9 0
-10 9 -18 1 9 0
-9 10 -18 1 9 0
-10 9 -1 18 9 0
-9 10 -1 18 9 0
-10 9 -18 18 9 0
-9 10 -18 18 9 0
-10 9 -9 1 18 0
-9 10 -9 1 18 0
-10 9 -9 -1 -18 0
-9 10 -9 -1 -18 0
-3 1 -9 9 1 0
-1 3 -9 9 1 0
-3 1 -18 9 1 0
-1 3 -18 9 1 0
-3 1 -9 18 1 0
-1 3 -9 18 1 0
-3 1 -18 18 1 0
-1 3 -18 18 1 0
-3 1 -1 9 18 0
-1 3 -1 9 18 0
-3 1 -1 -9 -18 0
-1 3 -1 -9 -18 0
-18 17 -1 1 17 0
-17 18 -1 1 17 0
-18 17 -10 1 17 0
-17 18 -10 1 17 0
-18 17 -1 10 17 0
-17 18 -1 10 17 0
-18 17 -10 10 17 0
-17 18 -10 10 17 0
-18 17 -17 1 10 0
-17 18 -17 1 10 0
-18 17 -17 -1 -10 0
-17 18 -17 -1 -10 0
-3 1 -10 10 1 0
-1 3 -10 10 1 0
-3 1 -17 10 1 0
-1 3 -17 10 1 0
-3 1 -10 17 1 0
-1 3 -10 17 1 0
-3 1 -17 17 1 0
-1 3 -17 17 1 0
-3 1 -1 10 17 0
-1 3 -1 10 17 0
-3 1 -1 -10 -17 0
-1 3 -1 -10 -17 0
-18 17 -3 3 17 0
-17 18 -3 3 17 0
-18 17 -9 3 17 0
-17 18 -9 3 17 0
-18 17 -3 9 17 0
-17 18 -3 9 17 0
-18 17 -9 9 17 0
-17 18 -9 9 17 0
-18 17 -17 3 9 0
-17 18 -17 3 9 0
-18 17 -17 -3 -9 0
-17 18 -17 -3 -9 0
-10 9 -3 3 9 0
-9 10 -3 3 9 0
-10 9 -17 3 9 0
-9 10 -17 3 9 0
-10 9 -3 17 9 0
-9 10 -3 17 9 0
-10 9 -17 17 9 0
-9 10 -17 17 9 0
-10 9 -9 3 17 0
-9 10 -9 3 17 0
-10 9 -9 -3 -17 0
-9 10 -9 -3 -17 0
-3 1 -10 10 1 0
-1 3 -10 10 1 0
-3 1 -18 10 1 0
-1 3 -18 10 1 0
-3 1 -10 18 1 0
-1 3 -10 18 1 0
-3 1 -18 18 1 0
-1 3 -18 18 1 0
-3 1 -1 10 18 0
-1 3 -1 10 18 0
-3 1 -1 -10 -18 0
-1 3 -1 -10 -18 0
-10 9 -3 3 9 0
-9 10 -3 3 9 0
-10 9 -18 3 9 0
-9 10 -18 3 9 0
-10 9 -3 18 9 0
-9 10 -3 18 9 0
-10 9 -18 18 9 0
-9 10 -18 18 9 0
-10 9 -9 3 18 0
-9 10 -9 3 18 0
-10 9 -9 -3 -18 0
-9 10 -9 -3 -18 0
-18 17 -3 3 17 0
-17 18 -3 3 17 0
-18 17 -10 3 17 0
-17 18 -10 3 17 0
-18 17 -3 10 17 0
-17 18 -3 10 17 0
-18 17 -10 10 17 0
-17 18 -10 10 17 0
-18 17 -17 3 10 0
-17 18 -17 3 10 0
-18 17 -17 -3 -10 0
-17 18 -17 -3 -10 0
-20 19 -2 2 19 0
-19 20 -2 2 19 0
-20 19 -11 2 19 0
-19 20 -11 2 19 0
-20 19 -2 11 19 0
-19 20 -2 11 19 0
-20 19 -11 11 19 0
-19 20 -11 11 19 0
-20 19 -19 2 11 0
-19 20 -19 2 11 0
-20 19 -19 -2 -11 0
-19 20 -19 -2 -11 0
-12 11 -2 2 11 0
-11 12 -2 2 11 0
-12 11 -19 2 11 0
-11 12 -19 2 11 0
-12 11 -2 19 11 0
-11 12 -2 19 11 0
-12 11 -19 19 11 0
-11 12 -19 19 11 0
-12 11 -11 2 19 0
-11 12 -11 2 19 0
-12 11 -11 -2 -19 0
-11 12 -11 -2 -19 0
-4 2 -11 11 2 0
-2 4 -11 11 2 0
-4 2 -19 11 2 0
-2 4 -19 11 2 0
-4 2 -11 19 2 0
-2 4 -11 19 2 0
-4 2 -19 19 2 0
-2 4 -19 19 2 0
-4 2 -2 11 19 0
-2 4 -2 11 19 0
-4 2 -2 -11 -19 0
-2 4 -2 -11 -19 0
-12 11 -2 2 11 0
-11 12 -2 2 11 0
-12 11 -20 2 11 0
-11 12 -20 2 11 0
-12 11 -2 20 11 0
-11 12 -2 20 11 0
-12 11 -20 20 11 0
-11 12 -20 20 11 0
-12 11 -11 2 20 0
-11 12 -11 2 20 0
-12 11 -11 -2 -20 0
-11 12 -11 -2 -20 0
-4 2 -11 11 2 0
-2 4 -11 11 2 0
-4 2 -20 11 2 0
-2 4 -20 11 2 0
-4 2 -11 20 2 0
-2 4 -11 20 2 0
-4 2 -20 20 2 0
-2 4 -20 20 2 0
-4 2 -2 11 20 0
-2 4 -2 11 20 0
-4 2 -2 -11 -20 0
-2 4 -2 -11 -20 0
-20 19 -2 2 19 0
-19 20 -2 2 19 0
-20 19 -12 2 19 0
-19 20 -12 2 19 0
-20 19 -2 12 19 0
-19 20 -2 12 19 0
-20 19 -12 12 19 0
-19 20 -12 12 19 0
-20 19 -19 2 12 0
-19 20 -19 2 12 0
-20 19 -19 -2 -12 0
-19 20 -19 -2 -12 0
-4 2 -12 12 2 0
-2 4 -12 12 2 0
-4 2 -19 12 2 0
-2 4 -19 12 2 0
-4 2 -12 19 2 0
-2 4 -12 19 2 0
-4 2 -19 19 2 0
-2 4 -19 19 2 0
-4 2 -2 12 19 0
-2 4 -2 12 19 0
-4 2 -2 -12 -19 0
-2 4 -2 -12 -19 0
-20 19 -4 4 19 0
-19 20 -4 4 19 0
-20 19 -11 4 19 0
-19 20 -11 4 19 0
-20 19 -4 11 19 0
-19 20 -4 11 19 0
-20 19 -11 11 19 0
-19 20 -11 11 19 0
-20 19 -19 4 11 0
-19 20 -19 4 11 0
-20 19 -19 -4 -11 0
-19 20 -19 -4 -11 0
-12 11 -4 4 11 0
-11 12 -4 4 11 0
-12 11 -19 4 11 0
-11 12 -19 4 11 0
-12 11 -4 19 11 0
-11 12 -4 19 11 0
-12 11 -19 19 11 0
-11 12 -19 19 11 0
-12 11 -11 4 19 0
-11 12 -11 4 19 0
-12 11 -11 -4 -19 0
-11 12 -11 -4 -19 0
-4 2 -12 12 2 0
-2 4 -12 12 2 0
-4 2 -20 12 2 0
-2 4 -20 12 2 0
-4 2 -12 20 2 0
-2 4 -12 20 2 0
-4 2 -20 20 2 0
-2 4 -20 20 2 0
-4 2 -2 12 20 0
-2 4 -2 12 20 0
-4 2 -2 -12 -20 0
-2 4 -2 -12 -20 0
-12 11 -4 4 11 0
-11 12 -4 4 11 0
-12 11 -20 4 11 0
-11 12 -20 4 11 0
-12 11 -4 20 11 0
-11 12 -4 20 11 0
-12 11 -20 20 11 0
-11 12 -20 20 11 0
-12 11 -11 4 20 0
-11 12 -11 4 20 0
-12 11 -11 -4 -20 0
-11 12 -11 -4 -20 0
-20 19 -4 4 19 0
-19 20 -4 4 19 0
-20 19 -12 4 19 0
-19 20 -12 4 19 0
-20 19 -4 12 19 0
-19 20 -4 12 19 0
-20 19 -12 12 19 0
-19 20 -12 12 19 0
-20 19 -19 4 12 0
-19 20 -19 4 12 0
-20 19 -19 -4 -12 0
-19 20 -19 -4 -12 0
-22 21 -5 5 21 0
-21 22 -5 5 21 0
-22 21 -9 5 21 0
-21 22 -9 5 21 0
-22 21 -5 9 21 0
-21 22 -5 9 21 0
-22 21 -9 9 21 0
-21 22 -9 9 21 0
-22 21 -21 5 9 0
-21 22 -21 5 9 0
-22 21 -21 -5 -9 0
-21 22 -21 -5 -9 0
-11 9 -5 5 9 0
-9 11 -5 5 9 0
-11 9 -21 5 9 0
-9 11 -21 5 9 0
-11 9 -5 21 9 0
-9 11 -5 21 9 0
-11 9 -21 21 9 0
-9 11 -21 21 9 0
-11 9 -9 5 21 0
-9 11 -9 5 21 0
-11 9 -9 -5 -21 0
-9 11 -9 -5 -21 0
-7 5 -9 9 5 0
-5 7 -9 9 5 0
-7 5 -21 9 5 0
-5 7 -21 9 5 0
-7 5 -9 21 5 0
-5 7 -9 21 5 0
-7 5 -21 21 5 0
-5 7 -21 21 5 0
-7 5 -5 9 21 0
-5 7 -5 9 21 0
-7 5 -5 -9 -21 0
-5 7 -5 -9 -21 0
-11 9 -5 5 9 0
-9 11 -5 5 9 0
-11 9 -22 5 9 0
-9 11 -22 5 9 0
-11 9 -5 22 9 0
-9 11 -5 22 9 0
-11 9 -22 22 9 0
-9 11 -22 22 9 0
-11 9 -9 5 22 0
-9 11 -9 5 22 0
-11 9 -9 -5 -22 0
-9 11 -9 -5 -22 0
-7 5 -9 9 5 0
-5 7 -9 9 5 0
-7 5 -22 9 5 0
-5 7 -22 9 5 0
-7 5 -9 22 5 0
-5 7 -9 22 5 0
-7 5 -22 22 5 0
-5 7 -22 22 5 0
-7 5 -5 9 22 0
-5 7 -5 9 22 0
-7 5 -5 -9 -22 0
-5 7 -5 -9 -22 0
-22 21 -5 5 21 0
-21 22 -5 5 21 0
-22 21 -11 5 21 0
-21 22 -11 5 21 0
-22 21 -5 11 21 0
-21 22 -5 11 21 0
-22 21 -11 11 21 0
-21 22 -11 11 21 0
-22 21 -21 5 11 0
-21 22 -21 5 11 0
-22 21 -21 -5 -11 0
-21 22 -21 -5 -11 0
-7 5 -11 11 5 0
-5 7 -11 11 5 0
-7 5 -21 11 5 0
-5 7 -21 11 5 0
-7 5 -11 21 5 0
-5 7 -11 21 5 0
-7 5 -21 21 5 0
-5 7 -21 21 5 0
-7 5 -5 11 21 0
-5 7 -5 11 21 0
-7 5 -5 -11 -21 0
-5 7 -5 -11 -21 0
-22 21 -7 7 21 0
-21 22 -7 7 21 0
-22 21 -9 7 21 0
-21 22 -9 7 21 0
-22 21 -7 9 21 0
-21 22 -7 9 21 0
-22 21 -9 9 21 0
-21 22 -9 9 21 0
-22 21 -21 7 9 0
-21 22 -21 7 9 0
-22 21 -21 -7 -9 0
-21 22 -21 -7 -9 0
-11 9 -7 7 9 0
-9 11 -7 7 9 0
-11 9 -21 7 9 0
-9 11 -21 7 9 0
-11 9 -7 21 9 0
-9 11 -7 21 9 0
-11 9 -21 21 9 0
-9 11 -21 21 9 0
-11 9 -9 7 21 0
-9 11 -9 7 21 0
-11 9 -9 -7 -21 0
-9 11 -9 -7 -21 0
-7 5 -11 11 5 0
-5 7 -11 11 5 0
-7 5 -22 11 5 0
-5 7 -22 11 5 0
-7 5 -11 22 5 0
-5 7 -11 22 5 0
-7 5 -22 22 5 0
-5 7 -22 22 5 0
-7 5 -5 11 22 0
-5 7 -5 11 22 0
-7 5 -5 -11 -22 0
-5 7 -5 -11 -22 0
-11 9 -7 7 9 0
-9 11 -7 7 9 0
-11 9 -22 7 9 0
-9 11 -22 7 9 0
-11 9 -7 22 9 0
-9 11 -7 22 9 0
-11 9 -22 22 9 0
-9 11 -22 22 9 0
-11 9 -9 7 22 0
-9 11 -9 7 22 0
-11 9 -9 -7 -22 0
-9 11 -9 -7 -22 0
-22 21 -7 7 21 0
-21 22 -7 7 21 0
-22 21 -11 7 21 0
-21 22 -11 7 21 0
-22 21 -7 11 21 0
-21 22 -7 11 21 0
-22 21 -11 11 21 0
-21 22 -11 11 21 0
-22 21 -21 7 11 0
-21 22 -21 7 11 0
-22 21 -21 -7 -11 0
-21 22 -21 -7 -11 0
-24 23 -6 6 23 0
-23 24 -6 6 23 0
-24 23 -10 6 23 0
-23 24 -10 6 23 0
-24 23 -6 10 23 0
-23 24 -6 10 23 0
-24 23 -10 10 23 0
-23 24 -10 10 23 0
-24 23 -23 6 10 0
-23 24 -23 6 10 0
-24 23 -23 -6 -10 0
-23 24 -23 -6 -10 0
-12 10 -6 6 10 0
-10 12 -6 6 10 0
-12 10 -23 6 10 0
-10 12 -23 6 10 0
-12 10 -6 23 10 0
-10 12 -6 23 10 0
-12 10 -23 23 10 0
-10 12 -23 23 10 0
-12 10 -10 6 23 0
-10 12 -10 6 23 0
-12 10 -10 -6 -23 0
-10 12 -10 -6 -23 0
-8 6 -10 10 6 0
-6 8 -10 10 6 0
-8 6 -23 10 6 0
-6 8 -23 10 6 0
-8 6 -10 23 6 0
-6 8 -10 23 6 0
-8 6 -23 23 6 0
-6 8 -23 23 6 0
-8 6 -6 10 23 0
-6 8 -6 10 23 0
-8 6 -6 -10 -23 0
-6 8 -6 -10 -23 0
-12 10 -6 6 10 0
-10 12 -6 6 10 0
-12 10 -24 6 10 0
-10 12 -24 6 10 0
-12 10 -6 24 10 0
-10 12 -6 24 10 0
-12 10 -24 24 10 0
-10 12 -24 24 10 0
-12 10 -10 6 24 0
-10 12 -10 6 24 0
-12 10 -10 -6 -24 0
-10 12 -10 -6 -24 0
-8 6 -10 10 6 0
-6 8 -10 10 6 0
-8 6 -24 10 6 0
-6 8 -24 10 6 0
-8 6 -10 24 6 0
-6 8 -10 24 6 0
-8 6 -24 24 6 0
-6 8 -24 24 6 0
-8 6 -6 10 24 0
-6 8 -6 10 24 0
-8 6 -6 -10 -24 0
-6 8 -6 -10 -24 0
-24 23 -6 6 23 0
-23 24 -6 6 23 0
-24 23 -12 6 23 0
-23 24 -12 6 23 0
-24 23 -6 12 23 0
-23 24 -6 12 23 0
-24 23 -12 12 23 0
-23 24 -12 12 23 0
-24 23 -23 6 12 0
-23 24 -23 6 12 0
-24 23 -23 -6 -12 0
-23 24 -23 -6 -12 0
-8 6 -12 12 6 0
-6 8 -12 12 6 0
-8 6 -23 12 6 0
-6 8 -23 12 6 0
-8 6 -12 23 6 0
-6 8 -12 23 6 0
-8 6 -23 23 6 0
-6 8 -23 23 6 0
-8 6 -6 12 23 0
-6 8 -6 12 23 0
-8 6 -6 -12 -23 0
-6 8 -6 -12 -23 0
-24 23 -8 8 23 0
-23 24 -8 8 23 0
-24 23 -10 8 23 0
-23 24 -10 8 23 0
-24 23 -8 10 23 0
-23 24 -8 10 23 0
-24 23 -10 10 23 0
-23 24 -10 10 23 0
-24 23 -23 8 10 0
-23 24 -23 8 10 0
-24 23 -23 -8 -10 0
-23 24 -23 -8 -10 0
-12 10 -8 8 10 0
-10 12 -8 8 10 0
-12 10 -23 8 10 0
-10 12 -23 8 10 0
-12 10 -8 23 10 0
-10 12 -8 23 10 0
-12 10 -23 23 10 0
-10 12 -23 23 10 0
-12 10 -10 8 23 0
-10 12 -10 8 23 0
-12 10 -10 -8 -23 0
-10 12 -10 -8 -23 0
-8 6 -12 12 6 0
-6 8 -12 12 6 0
-8 6 -24 12 6 0
-6 8 -24 12 6 0
-8 6 -12 24 6 0
-6 8 -12 24 6 0
-8 6 -24 24 6 0
-6 8 -24 24 6 0
-8 6 -6 12 24 0
-6 8 -6 12 24 0
-8 6 -6 -12 -24 0
-6 8 -6 -12 -24 0
-12 10 -8 8 10 0
-10 12 -8 8 10 0
-12 10 -24 8 10 0
-10 12 -24 8 10 0
-12 10 -8 24 10 0
-10 12 -8 24 10 0
-12 10 -24 24 10 0
-10 12 -24 24 10 0
-12 10 -10 8 24 0
-10 12 -10 8 24 0
-12 10 -10 -8 -24 0
-10 12 -10 -8 -24 0
-24 23 -8 8 23 0
-23 24 -8 8 23 0
-24 23 -12 8 23 0
-23 24 -12 8 23 0
-24 23 -8 12 23 0
-23 24 -8 12 23 0
-24 23 -12 12 23 0
-23 24 -12 12 23 0
-24 23 -23 8 12 0
-23 24 -23 8 12 0
-24 23 -23 -8 -12 0
-23 24 -23 -8 -12 0
-23 21 -13 13 21 0
-21 23 -13 13 21 0
-23 21 -17 13 21 0
-21 23 -17 13 21 0
-23 21 -13 17 21 0
-21 23 -13 17 21 0
-23 21 -17 17 21 0
-21 23 -17 17 21 0
-23 21 -21 13 17 0
-21 23 -21 13 17 0
-23 21 -21 -13 -17 0
-21 23 -21 -13 -17 0
-19 17 -13 13 17 0
-17 19 -13 13 17 0
-19 17 -21 13 17 0
-17 19 -21 13 17 0
-19 17 -13 21 17 0
-17 19 -13 21 17 0
-19 17 -21 21 17 0
-17 19 -21 21 17 0
-19 17 -17 13 21 0
-17 19 -17 13 21 0
-19 17 -17 -13 -21 0
-17 19 -17 -13 -21 0
-15 13 -17 17 13 0
-13 15 -17 17 13 0
-15 13 -21 17 13 0
-13 15 -21 17 13 0
-15 13 -17 21 13 0
-13 15 -17 21 13 0
-15 13 -21 21 13 0
-13 15 -21 21 13 0
-15 13 -13 17 21 0
-13 15 -13 17 21 0
-15 13 -13 -17 -21 0
-13 15 -13 -17 -21 0
-19 17 -13 13 17 0
-17 19 -13 13 17 0
-19 17 -23 13 17 0
-17 19 -23 13 17 0
-19 17 -13 23 17 0
-17 19 -13 23 17 0
-19 17 -23 23 17 0
-17 19 -23 23 17 0
-19 17 -17 13 23 0
-17 19 -17 13 23 0
-19 17 -17 -13 -23 0
-17 19 -17 -13 -23 0
-15 13 -17 17 13 0
-13 15 -17 17 13 0
-15 13 -23 17 13 0
-13 15 -23 17 13 0
-15 13 -17 23 13 0
-13 15 -17 23 13 0
-15 13 -23 23 13 0
-13 15 -23 23 13 0
-15 13 -13 17 23 0
-13 15 -13 17 23 0
-15 13 -13 -17 -23 0
-13 15 -13 -17 -23 0
-23 21 -13 13 21 0
-21 23 -13 13 21 0
-23 21 -19 13 21 0
-21 23 -19 13 21 0
-23 21 -13 19 21 0
-21 23 -13 19 21 0
-23 21 -19 19 21 0
-21 23 -19 19 21 0
-23 21 -21 13 19 0
-21 23 -21 13 19 0
-23 21 -21 -13 -19 0
-21 23 -21 -13 -19 0
-15 13 -19 19 13 0
-13 15 -19 19 13 0
-15 13 -21 19 13 0
-13 15 -21 19 13 0
-15 13 -19 21 13 0
-13 15 -19 21 13 0
-15 13 -21 21 13 0
-13 15 -21 21 13 0
-15 13 -13 19 21 0
-13 15 -13 19 21 0
-15 13 -13 -19 -21 0
-13 15 -13 -19 -21 0
-23 21 -15 15 21 0
-21 23 -15 15 21 0
-23 21 -17 15 21 0
-21 23 -17 15 21 0
-23 21 -15 17 21 0
-21 23 -15 17 21 0
-23 21 -17 17 21 0
-21 23 -17 17 21 0
-23 21 -21 15 17 0
-21 23 -21 15 17 0
-23 21 -21 -15 -17 0
-21 23 -21 -15 -17 0
-19 17 -15 15 17 0
-17 19 -15 15 17 0
-19 17 -21 15 17 0
-17 19 -21 15 17 0
-19 17 -15 21 17 0
-17 19 -15 21 17 0
-19 17 -21 21 17 0
-17 19 -21 21 17 0
-19 17 -17 15 21 0
-17 19 -17 15 21 0
-19 17 -17 -15 -21 0
-17 19 -17 -15 -21 0
-15 13 -19 19 13 0
-13 15 -19 19 13 0
-15 13 -23 19 13 0
-13 15 -23 19 13 0
-15 13 -19 23 13 0
-13 15 -19 23 13 0
-15 13 -23 23 13 0
-13 15 -23 23 13 0
-15 13 -13 19 23 0
-13 15 -13 19 23 0
-15 13 -13 -19 -23 0
-13 15 -13 -19 -23 0
-19 17 -15 15 17 0
-17 19 -15 15 17 0
-19 17 -23 15 17 0
-17 19 -23 15 17 0
-19 17 -15 23 17 0
-17 19 -15 23 17 0
-19 17 -23 23 17 0
-17 19 -23 23 17 0
-19 17 -17 15 23 0
-17 19 -17 15 23 0
-19 17 -17 -15 -23 0
-17 19 -17 -15 -23 0
-23 21 -15 15 21 0
-21 23 -15 15 21 0
-23 21 -19 15 21 0
-21 23 -19 15 21 0
-23 21 -15 19 21 0
-21 23 -15 19 21 0
-23 21 -19 19 21 0
-21 23 -19 19 21 0
-23 21 -21 15 19 0
-21 23 -21 15 19 0
-23 21 -21 -15 -19 0
-21 23 -21 -15 -19 0
-24 22 -14 14 22 0
-22 24 -14 14 22 0
-24 22 -18 14 22 0
-22 24 -18 14 22 0
-24 22 -14 18 22 0
-22 24 -14 18 22 0
-24 22 -18 18 22 0
-22 24 -18 18 22 0
-24 22 -22 14 18 0
-22 24 -22 14 18 0
-24 22 -22 -14 -18 0
-22 24 -22 -14 -18 0
-20 18 -14 14 18 0
-18 20 -14 14 18 0
-20 18 -22 14 18 0
-18 20 -22 14 18 0
-20 18 -14 22 18 0
-18 20 -14 22 18 0
-20 18 -22 22 18 0
-18 20 -22 22 18 0
-20 18 -18 14 22 0
-18 20 -18 14 22 0
-20 18 -18 -14 -22 0
-18 20 -18 -14 -22 0
-16 14 -18 18 14 0
-14 16 -18 18 14 0
-16 14 -22 18 14 0
-14 16 -22 18 14 0
-16 14 -18 22 14 0
-14 16 -18 22 14 0
-16 14 -22 22 14 0
-14 16 -22 22 14 0
-16 14 -14 18 22 0
-14 16 -14 18 22 0
-16 14 -14 -18 -22 0
-14 16 -14 -18 -22 0
-20 18 -14 14 18 0
-18 20 -14 14 18 0
-20 18 -24 14 18 0
-18 20 -24 14 18 0
-20 18 -14 24 18 0
-18 20 -14 24 18 0
-20 18 -24 24 18 0
-18 20 -24 24 18 0
-20 18 -18 14 24 0
-18 20 -18 14 24 0
-20 18 -18 -14 -24 0
-18 20 -18 -14 -24 0
-16 14 -18 18 14 0
-14 16 -18 18 14 0
-16 14 -24 18 14 0
-14 16 -24 18 14 0
-16 14 -18 24 14 0
-14 16 -18 24 14 0
-16 14 -24 24 14 0
-14 16 -24 24 14 0
-16 14 -14 18 24 0
-14 16 -14 18 24 0
-16 14 -14 -18 -24 0
-14 16 -14 -18 -24 0
-24 22 -14 14 22 0
-22 24 -14 14 22 0
-24 22 -20 14 22 0
-22 24 -20 14 22 0
-24 22 -14 20 22 0
-22 24 -14 20 22 0
-24 22 -20 20 22 0
-22 24 -20 20 22 0
-24 22 -22 14 20 0
-22 24 -22 14 20 0
-24 22 -22 -14 -20 0
-22 24 -22 -14 -20 0
-16 14 -20 20 14 0
-14 16 -20 20 14 0
-16 14 -22 20 14 0
-14 16 -22 20 14 0
-16 14 -20 22 14 0
-14 16 -20 22 14 0
-16 14 -22 22 14 0
-14 16 -22 22 14 0
-16 14 -14 20 22 0
-14 16 -14 20 22 0
-16 14 -14 -20 -22 0
-14 16 -14 -20 -22 0
-24 22 -16 16 22 0
-22 24 -16 16 22 0
-24 22 -18 16 22 0
-22 24 -18 16 22 0
-24 22 -16 18 22 0
-22 24 -16 18 22 0
-24 22 -18 18 22 0
-22 24 -18 18 22 0
-24 22 -22 16 18 0
-22 24 -22 16 18 0
-24 22 -22 -16 -18 0
-22 24 -22 -16 -18 0
-20 18 -16 16 18 0
-18 20 -16 16 18 0
-20 18 -22 16 18 0
-18 20 -22 16 18 0
-20 18 -16 22 18 0
-18 20 -16 22 18 0
-20 18 -22 22 18 0
-18 20 -22 22 18 0
-20 18 -18 16 22 0
-18 20 -18 16 22 0
-20 18 -18 -16 -22 0
-18 20 -18 -16 -22 0
-16 14 -20 20 14 0
-14 16 -20 20 14 0
-16 14 -24 20 14 0
-14 16 -24 20 14 0
-16 14 -20 24 14 0
-14 16 -20 24 14 0
-16 14 -24 24 14 0
-14 16 -24 24 14 0
-16 14 -14 20 24 0
-14 16 -14 20 24 0
-16 14 -14 -20 -24 0
-14 16 -14 -20 -24 0
-20 18 -16 16 18 0
-18 20 -16 16 18 0
-20 18 -24 16 18 0
-18 20 -24 16 18 0
-20 18 -16 24 18 0
-18 20 -16 24 18 0
-20 18 -24 24 18 0
-18 20 -24 24 18 0
-20 18 -18 16 24 0
-18 20 -18 16 24 0
-20 18 -18 -16 -24 0
-18 20 -18 -16 -24 0
-24 22 -16 16 22 0
-22 24 -16 16 22 0
-24 22 -20 16 22 0
-22 24 -20 16 22 0
-24 22 -16 20 22 0
-22 24 -16 20 22 0
-24 22 -20 20 22 0
-22 24 -20 20 22 0
-24 22 -22 16 20 0
-22 24 -22 16 20 0
-24 22 -22 -16 -20 0
-22 24 -22 -16 -20 0