p cnf 24 720
-1 -6 2 0
-1 -6 5 0
-1 -10 3 0
-1 -10 9 0
-2 -5 1 0
-2 -5 6 0
-3 -9 1 0
-3 -9 10 0
-5 -11 7 0
-5 -11 9 0
-7 -9 5 0
-7 -9 11 0
-1 -14 2 0
-1 -14 13 0
-1 -18 3 0
-1 -18 17 0
-5 -14 6 0
-5 -14 13 0
-9 -18 10 0
-9 -18 17 0
-5 -22 7 0
-5 -22 21 0
-9 -22 11 0
-9 -22 21 0
-2 -13 1 0
-2 -13 14 0
-3 -17 1 0
-3 -17 18 0
-6 -13 5 0
-6 -13 14 0
-10 -17 9 0
-10 -17 18 0
-7 -21 5 0
-7 -21 22 0
-11 -21 9 0
-11 -21 22 0
-13 -19 15 0
-13 -19 17 0
-15 -17 13 0
-15 -17 19 0
-13 -23 15 0
-13 -23 21 0
-17 -23 19 0
-17 -23 21 0
-15 -21 13 0
-15 -21 23 0
-19 -21 17 0
-19 -21 23 0
-2 -12 4 0
-2 -12 11 0
-3 -8 4 0
-3 -8 7 0
-6 -12 8 0
-6 -12 10 0
-8 -10 6 0
-8 -10 12 0
-4 -7 3 0
-4 -7 8 0
-4 -11 2 0
-4 -11 12 0
-2 -20 4 0
-2 -20 19 0
-3 -16 4 0
-3 -16 15 0
-6 -24 8 0
-6 -24 23 0
-10 -24 12 0
-10 -24 23 0
-7 -16 8 0
-7 -16 15 0
-11 -20 12 0
-11 -20 19 0
-14 -20 16 0
-14 -20 18 0
-16 -18 14 0
-16 -18 20 0
-14 -24 16 0
-14 -24 22 0
-18 -24 20 0
-18 -24 22 0
-16 -22 14 0
-16 -22 24 0
-20 -22 18 0
-20 -22 24 0
-4 -15 3 0
-4 -15 16 0
-4 -19 2 0
-4 -19 20 0
-8 -15 7 0
-8 -15 16 0
-12 -19 11 0
-12 -19 20 0
-8 -23 6 0
-8 -23 24 0
-12 -23 10 0
-12 -23 24 0
-2 -7 -10 3 0
-2 -7 -10 6 0
-2 -7 -10 11 0
-3 -6 -11 2 0
-3 -6 -11 7 0
-3 -6 -11 10 0
-3 -6 -11 2 0
-3 -6 -11 7 0
-3 -6 -11 10 0
-2 -7 -10 3 0
-2 -7 -10 6 0
-2 -7 -10 11 0
-2 -7 -10 3 0
-2 -7 -10 6 0
-2 -7 -10 11 0
-3 -6 -11 2 0
-3 -6 -11 7 0
-3 -6 -11 10 0
-2 -15 -18 3 0
-2 -15 -18 14 0
-2 -15 -18 19 0
-3 -14 -19 2 0
-3 -14 -19 15 0
-3 -14 -19 18 0
-6 -15 -22 7 0
-6 -15 -22 14 0
-6 -15 -22 23 0
-10 -19 -22 11 0
-10 -19 -22 18 0
-10 -19 -22 23 0
-7 -14 -23 6 0
-7 -14 -23 15 0
-7 -14 -23 22 0
-11 -18 -23 10 0
-11 -18 -23 19 0
-11 -18 -23 22 0
-3 -14 -19 2 0
-3 -14 -19 15 0
-3 -14 -19 18 0
-2 -15 -18 3 0
-2 -15 -18 14 0
-2 -15 -18 19 0
-7 -14 -23 6 0
-7 -14 -23 15 0
-7 -14 -23 22 0
-11 -18 -23 10 0
-11 -18 -23 19 0
-11 -18 -23 22 0
-6 -15 -22 7 0
-6 -15 -22 14 0
-6 -15 -22 23 0
-10 -19 -22 11 0
-10 -19 -22 18 0
-10 -19 -22 23 0
-2 -15 -18 3 0
-2 -15 -18 14 0
-2 -15 -18 19 0
-3 -14 -19 2 0
-3 -14 -19 15 0
-3 -14 -19 18 0
-6 -15 -22 7 0
-6 -15 -22 14 0
-6 -15 -22 23 0
-10 -19 -22 11 0
-10 -19 -22 18 0
-10 -19 -22 23 0
-7 -14 -23 6 0
-7 -14 -23 15 0
-7 -14 -23 22 0
-11 -18 -23 10 0
-11 -18 -23 19 0
-11 -18 -23 22 0
-1 -4 -22 -23 2 0
-1 -4 -22 -23 3 0
-1 -4 -22 -23 21 0
-1 -4 -22 -23 24 0
-1 -4 -22 -23 2 0
-1 -4 -22 -23 3 0
-1 -4 -22 -23 21 0
-1 -4 -22 -23 24 0
-5 -8 -18 -19 6 0
-5 -8 -18 -19 7 0
-5 -8 -18 -19 17 0
-5 -8 -18 -19 20 0
-9 -12 -14 -15 10 0
-9 -12 -14 -15 11 0
-9 -12 -14 -15 13 0
-9 -12 -14 -15 16 0
-5 -8 -18 -19 6 0
-5 -8 -18 -19 7 0
-5 -8 -18 -19 17 0
-5 -8 -18 -19 20 0
-9 -12 -14 -15 10 0
-9 -12 -14 -15 11 0
-9 -12 -14 -15 13 0
-9 -12 -14 -15 16 0
-1 -4 -22 -23 2 0
-1 -4 -22 -23 3 0
-1 -4 -22 -23 21 0
-1 -4 -22 -23 24 0
-1 -4 -22 -23 2 0
-1 -4 -22 -23 3 0
-1 -4 -22 -23 21 0
-1 -4 -22 -23 24 0
-5 -8 -18 -19 6 0
-5 -8 -18 -19 7 0
-5 -8 -18 -19 17 0
-5 -8 -18 -19 20 0
-9 -12 -14 -15 10 0
-9 -12 -14 -15 11 0
-9 -12 -14 -15 13 0
-9 -12 -14 -15 16 0
-5 -8 -18 -19 6 0
-5 -8 -18 -19 7 0
-5 -8 -18 -19 17 0
-5 -8 -18 -19 20 0
-9 -12 -14 -15 10 0
-9 -12 -14 -15 11 0
-9 -12 -14 -15 13 0
-9 -12 -14 -15 16 0
-10 -11 -13 -16 9 0
-10 -11 -13 -16 12 0
-10 -11 -13 -16 14 0
-10 -11 -13 -16 15 0
-6 -7 -17 -20 5 0
-6 -7 -17 -20 8 0
-6 -7 -17 -20 18 0
-6 -7 -17 -20 19 0
-10 -11 -13 -16 9 0
-10 -11 -13 -16 12 0
-10 -11 -13 -16 14 0
-10 -11 -13 -16 15 0
-6 -7 -17 -20 5 0
-6 -7 -17 -20 8 0
-6 -7 -17 -20 18 0
-6 -7 -17 -20 19 0
-2 -3 -21 -24 1 0
-2 -3 -21 -24 4 0
-2 -3 -21 -24 22 0
-2 -3 -21 -24 23 0
-2 -3 -21 -24 1 0
-2 -3 -21 -24 4 0
-2 -3 -21 -24 22 0
-2 -3 -21 -24 23 0
-10 -11 -13 -16 9 0
-10 -11 -13 -16 12 0
-10 -11 -13 -16 14 0
-10 -11 -13 -16 15 0
-6 -7 -17 -20 5 0
-6 -7 -17 -20 8 0
-6 -7 -17 -20 18 0
-6 -7 -17 -20 19 0
-10 -11 -13 -16 9 0
-10 -11 -13 -16 12 0
-10 -11 -13 -16 14 0
-10 -11 -13 -16 15 0
-6 -7 -17 -20 5 0
-6 -7 -17 -20 8 0
-6 -7 -17 -20 18 0
-6 -7 -17 -20 19 0
-2 -3 -21 -24 1 0
-2 -3 -21 -24 4 0
-2 -3 -21 -24 22 0
-2 -3 -21 -24 23 0
-2 -3 -21 -24 1 0
-2 -3 -21 -24 4 0
-2 -3 -21 -24 22 0
-2 -3 -21 -24 23 0
-1 -7 -20 -23 3 0
-1 -7 -20 -23 5 0
-1 -7 -20 -23 19 0
-1 -7 -20 -23 24 0
-1 -11 -16 -23 2 0
-1 -11 -16 -23 9 0
-1 -11 -16 -23 15 0
-1 -11 -16 -23 24 0
-3 -5 -19 -24 1 0
-3 -5 -19 -24 7 0
-3 -5 -19 -24 20 0
-3 -5 -19 -24 23 0
-2 -9 -15 -24 1 0
-2 -9 -15 -24 11 0
-2 -9 -15 -24 16 0
-2 -9 -15 -24 23 0
-5 -10 -16 -19 6 0
-5 -10 -16 -19 9 0
-5 -10 -16 -19 15 0
-5 -10 -16 -19 20 0
-6 -9 -15 -20 5 0
-6 -9 -15 -20 10 0
-6 -9 -15 -20 16 0
-6 -9 -15 -20 19 0
-1 -12 -15 -22 3 0
-1 -12 -15 -22 11 0
-1 -12 -15 -22 13 0
-1 -12 -15 -22 24 0
-1 -8 -19 -22 2 0
-1 -8 -19 -22 7 0
-1 -8 -19 -22 17 0
-1 -8 -19 -22 24 0
-5 -12 -15 -18 7 0
-5 -12 -15 -18 10 0
-5 -12 -15 -18 13 0
-5 -12 -15 -18 20 0
-8 -9 -14 -19 6 0
-8 -9 -14 -19 11 0
-8 -9 -14 -19 16 0
-8 -9 -14 -19 17 0
-4 -5 -18 -23 3 0
-4 -5 -18 -23 6 0
-4 -5 -18 -23 20 0
-4 -5 -18 -23 21 0
-4 -9 -14 -23 2 0
-4 -9 -14 -23 10 0
-4 -9 -14 -23 16 0
-4 -9 -14 -23 21 0
-3 -11 -13 -24 1 0
-3 -11 -13 -24 12 0
-3 -11 -13 -24 15 0
-3 -11 -13 -24 22 0
-2 -7 -17 -24 1 0
-2 -7 -17 -24 8 0
-2 -7 -17 -24 19 0
-2 -7 -17 -24 22 0
-7 -10 -13 -20 5 0
-7 -10 -13 -20 12 0
-7 -10 -13 -20 15 0
-7 -10 -13 -20 18 0
-6 -11 -16 -17 8 0
-6 -11 -16 -17 9 0
-6 -11 -16 -17 14 0
-6 -11 -16 -17 19 0
-3 -6 -20 -21 4 0
-3 -6 -20 -21 5 0
-3 -6 -20 -21 18 0
-3 -6 -20 -21 23 0
-2 -10 -16 -21 4 0
-2 -10 -16 -21 9 0
-2 -10 -16 -21 14 0
-2 -10 -16 -21 23 0
-8 -11 -13 -18 7 0
-8 -11 -13 -18 12 0
-8 -11 -13 -18 14 0
-8 -11 -13 -18 17 0
-7 -12 -14 -17 8 0
-7 -12 -14 -17 11 0
-7 -12 -14 -17 13 0
-7 -12 -14 -17 18 0
-4 -10 -13 -22 3 0
-4 -10 -13 -22 12 0
-4 -10 -13 -22 14 0
-4 -10 -13 -22 21 0
-4 -6 -17 -22 2 0
-4 -6 -17 -22 8 0
-4 -6 -17 -22 18 0
-4 -6 -17 -22 21 0
-3 -12 -14 -21 4 0
-3 -12 -14 -21 10 0
-3 -12 -14 -21 13 0
-3 -12 -14 -21 22 0
-2 -8 -18 -21 4 0
-2 -8 -18 -21 6 0
-2 -8 -18 -21 17 0
-2 -8 -18 -21 22 0
-1 -8 -20 -21 4 0
-1 -8 -20 -21 5 0
-1 -8 -20 -21 17 0
-1 -8 -20 -21 24 0
-1 -12 -16 -21 4 0
-1 -12 -16 -21 9 0
-1 -12 -16 -21 13 0
-1 -12 -16 -21 24 0
-4 -5 -17 -24 1 0
-4 -5 -17 -24 8 0
-4 -5 -17 -24 20 0
-4 -5 -17 -24 21 0
-4 -9 -13 -24 1 0
-4 -9 -13 -24 12 0
-4 -9 -13 -24 16 0
-4 -9 -13 -24 21 0
-5 -12 -16 -17 8 0
-5 -12 -16 -17 9 0
-5 -12 -16 -17 13 0
-5 -12 -16 -17 20 0
-8 -9 -13 -20 5 0
-8 -9 -13 -20 12 0
-8 -9 -13 -20 16 0
-8 -9 -13 -20 17 0
-1 -12 -16 -21 4 0
-1 -12 -16 -21 9 0
-1 -12 -16 -21 13 0
-1 -12 -16 -21 24 0
-1 -8 -20 -21 4 0
-1 -8 -20 -21 5 0
-1 -8 -20 -21 17 0
-1 -8 -20 -21 24 0
-5 -12 -16 -17 8 0
-5 -12 -16 -17 9 0
-5 -12 -16 -17 13 0
-5 -12 -16 -17 20 0
-8 -9 -13 -20 5 0
-8 -9 -13 -20 12 0
-8 -9 -13 -20 16 0
-8 -9 -13 -20 17 0
-4 -5 -17 -24 1 0
-4 -5 -17 -24 8 0
-4 -5 -17 -24 20 0
-4 -5 -17 -24 21 0
-4 -9 -13 -24 1 0
-4 -9 -13 -24 12 0
-4 -9 -13 -24 16 0
-4 -9 -13 -24 21 0
-4 -9 -13 -24 1 0
-4 -9 -13 -24 12 0
-4 -9 -13 -24 16 0
-4 -9 -13 -24 21 0
-4 -5 -17 -24 1 0
-4 -5 -17 -24 8 0
-4 -5 -17 -24 20 0
-4 -5 -17 -24 21 0
-8 -9 -13 -20 5 0
-8 -9 -13 -20 12 0
-8 -9 -13 -20 16 0
-8 -9 -13 -20 17 0
-5 -12 -16 -17 8 0
-5 -12 -16 -17 9 0
-5 -12 -16 -17 13 0
-5 -12 -16 -17 20 0
-1 -8 -20 -21 4 0
-1 -8 -20 -21 5 0
-1 -8 -20 -21 17 0
-1 -8 -20 -21 24 0
-1 -12 -16 -21 4 0
-1 -12 -16 -21 9 0
-1 -12 -16 -21 13 0
-1 -12 -16 -21 24 0
-8 -9 -13 -20 5 0
-8 -9 -13 -20 12 0
-8 -9 -13 -20 16 0
-8 -9 -13 -20 17 0
-5 -12 -16 -17 8 0
-5 -12 -16 -17 9 0
-5 -12 -16 -17 13 0
-5 -12 -16 -17 20 0
-4 -9 -13 -24 1 0
-4 -9 -13 -24 12 0
-4 -9 -13 -24 16 0
-4 -9 -13 -24 21 0
-4 -5 -17 -24 1 0
-4 -5 -17 -24 8 0
-4 -5 -17 -24 20 0
-4 -5 -17 -24 21 0
-1 -12 -16 -21 4 0
-1 -12 -16 -21 9 0
-1 -12 -16 -21 13 0
-1 -12 -16 -21 24 0
-1 -8 -20 -21 4 0
-1 -8 -20 -21 5 0
-1 -8 -20 -21 17 0
-1 -8 -20 -21 24 0
-2 -7 -18 -23 3 0
-2 -7 -18 -23 6 0
-2 -7 -18 -23 19 0
-2 -7 -18 -23 22 0
-3 -11 -14 -23 2 0
-3 -11 -14 -23 10 0
-3 -11 -14 -23 15 0
-3 -11 -14 -23 22 0
-3 -6 -19 -22 2 0
-3 -6 -19 -22 7 0
-3 -6 -19 -22 18 0
-3 -6 -19 -22 23 0
-2 -10 -15 -22 3 0
-2 -10 -15 -22 11 0
-2 -10 -15 -22 14 0
-2 -10 -15 -22 23 0
-7 -10 -14 -19 6 0
-7 -10 -14 -19 11 0
-7 -10 -14 -19 15 0
-7 -10 -14 -19 18 0
-6 -11 -15 -18 7 0
-6 -11 -15 -18 10 0
-6 -11 -15 -18 14 0
-6 -11 -15 -18 19 0
-2 -10 -15 -22 3 0
-2 -10 -15 -22 11 0
-2 -10 -15 -22 14 0
-2 -10 -15 -22 23 0
-3 -6 -19 -22 2 0
-3 -6 -19 -22 7 0
-3 -6 -19 -22 18 0
-3 -6 -19 -22 23 0
-6 -11 -15 -18 7 0
-6 -11 -15 -18 10 0
-6 -11 -15 -18 14 0
-6 -11 -15 -18 19 0
-7 -10 -14 -19 6 0
-7 -10 -14 -19 11 0
-7 -10 -14 -19 15 0
-7 -10 -14 -19 18 0
-2 -7 -18 -23 3 0
-2 -7 -18 -23 6 0
-2 -7 -18 -23 19 0
-2 -7 -18 -23 22 0
-3 -11 -14 -23 2 0
-3 -11 -14 -23 10 0
-3 -11 -14 -23 15 0
-3 -11 -14 -23 22 0
-3 -11 -14 -23 2 0
-3 -11 -14 -23 10 0
-3 -11 -14 -23 15 0
-3 -11 -14 -23 22 0
-2 -7 -18 -23 3 0
-2 -7 -18 -23 6 0
-2 -7 -18 -23 19 0
-2 -7 -18 -23 22 0
-7 -10 -14 -19 6 0
-7 -10 -14 -19 11 0
-7 -10 -14 -19 15 0
-7 -10 -14 -19 18 0
-6 -11 -15 -18 7 0
-6 -11 -15 -18 10 0
-6 -11 -15 -18 14 0
-6 -11 -15 -18 19 0
-3 -6 -19 -22 2 0
-3 -6 -19 -22 7 0
-3 -6 -19 -22 18 0
-3 -6 -19 -22 23 0
-2 -10 -15 -22 3 0
-2 -10 -15 -22 11 0
-2 -10 -15 -22 14 0
-2 -10 -15 -22 23 0
-6 -11 -15 -18 7 0
-6 -11 -15 -18 10 0
-6 -11 -15 -18 14 0
-6 -11 -15 -18 19 0
-7 -10 -14 -19 6 0
-7 -10 -14 -19 11 0
-7 -10 -14 -19 15 0
-7 -10 -14 -19 18 0
-2 -10 -15 -22 3 0
-2 -10 -15 -22 11 0
-2 -10 -15 -22 14 0
-2 -10 -15 -22 23 0
-3 -6 -19 -22 2 0
-3 -6 -19 -22 7 0
-3 -6 -19 -22 18 0
-3 -6 -19 -22 23 0
-3 -11 -14 -23 2 0
-3 -11 -14 -23 10 0
-3 -11 -14 -23 15 0
-3 -11 -14 -23 22 0
-2 -7 -18 -23 3 0
-2 -7 -18 -23 6 0
-2 -7 -18 -23 19 0
-2 -7 -18 -23 22 0
-2 -6 -9 -14 -15 1 0
-2 -6 -9 -14 -15 5 0
-2 -6 -9 -14 -15 13 0
-3 -5 -10 -18 -19 1 0
-3 -5 -10 -18 -19 9 0
-3 -5 -10 -18 -19 17 0
-2 -6 -9 -14 -15 1 0
-2 -6 -9 -14 -15 5 0
-2 -6 -9 -14 -15 13 0
-3 -5 -10 -18 -19 1 0
-3 -5 -10 -18 -19 9 0
-3 -5 -10 -18 -19 17 0
-1 -7 -11 -22 -23 5 0
-1 -7 -11 -22 -23 9 0
-1 -7 -11 -22 -23 21 0
-1 -7 -11 -22 -23 5 0
-1 -7 -11 -22 -23 9 0
-1 -7 -11 -22 -23 21 0
-2 -6 -7 -14 -17 1 0
-2 -6 -7 -14 -17 5 0
-2 -6 -7 -14 -17 13 0
-3 -10 -11 -13 -18 1 0
-3 -10 -11 -13 -18 9 0
-3 -10 -11 -13 -18 17 0
-2 -3 -6 -14 -21 1 0
-2 -3 -6 -14 -21 5 0
-2 -3 -6 -14 -21 13 0
-2 -3 -10 -18 -21 1 0
-2 -3 -10 -18 -21 9 0
-2 -3 -10 -18 -21 17 0
-7 -10 -11 -13 -22 5 0
-7 -10 -11 -13 -22 9 0
-7 -10 -11 -13 -22 21 0
-6 -7 -11 -17 -22 5 0
-6 -7 -11 -17 -22 9 0
-6 -7 -11 -17 -22 21 0
-2 -6 -7 -14 -17 1 0
-2 -6 -7 -14 -17 5 0
-2 -6 -7 -14 -17 13 0
-3 -10 -11 -13 -18 1 0
-3 -10 -11 -13 -18 9 0
-3 -10 -11 -13 -18 17 0
-2 -3 -6 -14 -21 1 0
-2 -3 -6 -14 -21 5 0
-2 -3 -6 -14 -21 13 0
-2 -3 -10 -18 -21 1 0
-2 -3 -10 -18 -21 9 0
-2 -3 -10 -18 -21 17 0
-7 -10 -11 -13 -22 5 0
-7 -10 -11 -13 -22 9 0
-7 -10 -11 -13 -22 21 0
-6 -7 -11 -17 -22 5 0
-6 -7 -11 -17 -22 9 0
-6 -7 -11 -17 -22 21 0
-1 -15 -19 -22 -23 13 0
-1 -15 -19 -22 -23 17 0
-1 -15 -19 -22 -23 21 0
-1 -15 -19 -22 -23 13 0
-1 -15 -19 -22 -23 17 0
-1 -15 -19 -22 -23 21 0
-5 -15 -18 -19 -23 13 0
-5 -15 -18 -19 -23 17 0
-5 -15 -18 -19 -23 21 0
-9 -14 -15 -19 -23 13 0
-9 -14 -15 -19 -23 17 0
-9 -14 -15 -19 -23 21 0
-5 -15 -18 -19 -23 13 0
-5 -15 -18 -19 -23 17 0
-5 -15 -18 -19 -23 21 0
-9 -14 -15 -19 -23 13 0
-9 -14 -15 -19 -23 17 0
-9 -14 -15 -19 -23 21 0
-2 -6 -11 -14 -15 7 0
-3 -7 -10 -18 -19 11 0
-2 -6 -10 -14 -15 3 0
-3 -6 -10 -18 -19 2 0
-3 -7 -11 -22 -23 10 0
-2 -7 -11 -22 -23 6 0
-2 -6 -7 -14 -19 15 0
-3 -10 -11 -15 -18 19 0
-2 -3 -6 -14 -23 15 0
-2 -3 -10 -18 -23 19 0
-7 -10 -11 -15 -22 23 0
-6 -7 -11 -19 -22 23 0
-2 -6 -7 -14 -18 3 0
-3 -10 -11 -14 -18 2 0
-2 -3 -6 -14 -22 7 0
-2 -3 -10 -18 -22 11 0
-7 -10 -11 -14 -22 6 0
-6 -7 -11 -18 -22 10 0
-3 -15 -19 -22 -23 18 0
-2 -15 -19 -22 -23 14 0
-7 -15 -18 -19 -23 22 0
-11 -14 -15 -19 -23 22 0
-6 -15 -18 -19 -23 14 0
-10 -14 -15 -19 -23 18 0
-2 -6 -10 -14 -16 4 0
-3 -6 -10 -18 -20 4 0
-2 -6 -11 -14 -16 8 0
-3 -7 -10 -18 -20 12 0
-2 -7 -11 -22 -24 8 0
-3 -7 -11 -22 -24 12 0
-2 -6 -8 -14 -18 4 0
-3 -10 -12 -14 -18 4 0
-2 -4 -6 -14 -22 8 0
-3 -4 -10 -18 -22 12 0
-7 -11 -12 -14 -22 8 0
-7 -8 -11 -18 -22 12 0
-2 -6 -8 -14 -19 16 0
-3 -10 -12 -15 -18 20 0
-2 -4 -6 -14 -23 16 0
-3 -4 -10 -18 -23 20 0
-7 -11 -12 -15 -22 24 0
-7 -8 -11 -19 -22 24 0
-2 -15 -19 -23 -24 16 0
-3 -15 -19 -23 -24 20 0
-6 -15 -19 -20 -23 16 0
-10 -15 -16 -19 -23 20 0
-7 -15 -19 -20 -23 24 0
-11 -15 -16 -19 -23 24 0
-2 -6 -11 -14 -17 9 0
-3 -7 -10 -13 -18 5 0
-2 -6 -10 -14 -21 9 0
-3 -6 -10 -18 -21 5 0
-3 -7 -11 -13 -22 1 0
-2 -7 -11 -17 -22 1 0
-2 -6 -9 -14 -19 17 0
-3 -5 -10 -15 -18 13 0
-2 -6 -9 -14 -23 21 0
-3 -5 -10 -18 -23 21 0
-1 -7 -11 -15 -22 13 0
-1 -7 -11 -19 -22 17 0
-2 -6 -14 -18 -21 17 0
-3 -10 -14 -18 -21 13 0
-2 -6 -14 -17 -22 21 0
-3 -10 -13 -18 -22 21 0
-7 -11 -14 -17 -22 13 0
-7 -11 -13 -18 -22 17 0
-3 -5 -15 -19 -23 1 0
-2 -9 -15 -19 -23 1 0
-1 -7 -15 -19 -23 5 0
-1 -11 -15 -19 -23 9 0
-6 -9 -15 -19 -23 5 0
-5 -10 -15 -19 -23 9 0
-2 -6 -11 -14 -18 10 0
-3 -7 -10 -14 -18 6 0
-2 -6 -10 -14 -22 11 0
-3 -6 -10 -18 -22 7 0
-3 -7 -11 -14 -22 2 0
-2 -7 -11 -18 -22 3 0
-2 -6 -10 -14 -19 18 0
-3 -6 -10 -15 -18 14 0
-2 -6 -11 -14 -23 22 0
-3 -7 -10 -18 -23 22 0
-2 -7 -11 -15 -22 14 0
-3 -7 -11 -19 -22 18 0
-2 -6 -14 -18 -23 19 0
-3 -10 -14 -18 -23 15 0
-2 -6 -14 -19 -22 23 0
-3 -10 -15 -18 -22 23 0
-7 -11 -14 -19 -22 15 0
-7 -11 -15 -18 -22 19 0
-3 -6 -15 -19 -23 2 0
-2 -10 -15 -19 -23 3 0
-2 -7 -15 -19 -23 6 0
-3 -11 -15 -19 -23 10 0
-6 -11 -15 -19 -23 7 0
-7 -10 -15 -19 -23 11 0