p cnf 0 201
1 0
-2 1 0
-1 2 0
-3 1 0
-1 3 0
-4 1 0
-1 4 0
-5 1 0
-1 5 0
-6 1 0
-1 6 0
-7 1 0
-1 7 0
-8 2 0
-9 2 0
-10 2 0
-11 2 0
-12 2 0
-13 2 0
-2 8 9 10 11 12 13 0
-8 -9 0
-8 -10 0
-8 -11 0
-8 -12 0
-8 -13 0
-9 -10 0
-9 -11 0
-9 -12 0
-9 -13 0
-10 -11 0
-10 -12 0
-10 -13 0
-11 -12 0
-11 -13 0
-12 -13 0
-14 3 0
-15 3 0
-16 3 0
-3 14 15 16 0
-14 -15 0
-14 -16 0
-15 -16 0
-17 4 0
-18 4 0
-19 4 0
-20 4 0
-21 4 0
-22 4 0
-23 4 0
-24 4 0
-25 4 0
-26 4 0
-27 4 0
-28 4 0
-29 4 0
-30 4 0
-31 4 0
-32 4 0
-4 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 0
-17 -18 0
-17 -19 0
-17 -20 0
-17 -21 0
-17 -22 0
-17 -23 0
-17 -24 0
-17 -25 0
-17 -26 0
-17 -27 0
-17 -28 0
-17 -29 0
-17 -30 0
-17 -31 0
-17 -32 0
-18 -19 0
-18 -20 0
-18 -21 0
-18 -22 0
-18 -23 0
-18 -24 0
-18 -25 0
-18 -26 0
-18 -27 0
-18 -28 0
-18 -29 0
-18 -30 0
-18 -31 0
-18 -32 0
-19 -20 0
-19 -21 0
-19 -22 0
-19 -23 0
-19 -24 0
-19 -25 0
-19 -26 0
-19 -27 0
-19 -28 0
-19 -29 0
-19 -30 0
-19 -31 0
-19 -32 0
-20 -21 0
-20 -22 0
-20 -23 0
-20 -24 0
-20 -25 0
-20 -26 0
-20 -27 0
-20 -28 0
-20 -29 0
-20 -30 0
-20 -31 0
-20 -32 0
-21 -22 0
-21 -23 0
-21 -24 0
-21 -25 0
-21 -26 0
-21 -27 0
-21 -28 0
-21 -29 0
-21 -30 0
-21 -31 0
-21 -32 0
-22 -23 0
-22 -24 0
-22 -25 0
-22 -26 0
-22 -27 0
-22 -28 0
-22 -29 0
-22 -30 0
-22 -31 0
-22 -32 0
-23 -24 0
-23 -25 0
-23 -26 0
-23 -27 0
-23 -28 0
-23 -29 0
-23 -30 0
-23 -31 0
-23 -32 0
-24 -25 0
-24 -26 0
-24 -27 0
-24 -28 0
-24 -29 0
-24 -30 0
-24 -31 0
-24 -32 0
-25 -26 0
-25 -27 0
-25 -28 0
-25 -29 0
-25 -30 0
-25 -31 0
-25 -32 0
-26 -27 0
-26 -28 0
-26 -29 0
-26 -30 0
-26 -31 0
-26 -32 0
-27 -28 0
-27 -29 0
-27 -30 0
-27 -31 0
-27 -32 0
-28 -29 0
-28 -30 0
-28 -31 0
-28 -32 0
-29 -30 0
-29 -31 0
-29 -32 0
-30 -31 0
-30 -32 0
-31 -32 0
-33 5 0
-34 5 0
-35 5 0
-5 33 34 35 0
-33 -34 0
-33 -35 0
-34 -35 0
-36 6 0
-37 6 0
-38 6 0
-39 6 0
-6 36 37 38 39 0
-36 -37 0
-36 -38 0
-36 -39 0
-37 -38 0
-37 -39 0
-38 39 0
-40 7 0
-41 7 0
-7 40 41 0
-40 -41 0
