sudoku.cnf

c ┌─────┬─────┐
c │   1 │ 4   │
c │   3 │   2 │
c ├─────┼─────┤
c │     │ 3   │
c │     │     │
c └─────┴─────┘
p cnf 64 453
-60 -64 0
-48 -64 0
-48 -60 0
-44 -64 0
-44 -60 0
-44 -48 0
44 48 60 64 0
-59 -63 0
-47 -63 0
-47 -59 0
-43 -63 0
-43 -59 0
-43 -47 0
43 47 59 63 0
-58 -62 0
-46 -62 0
-46 -58 0
-42 -62 0
-42 -58 0
-42 -46 0
42 46 58 62 0
-57 -61 0
-45 -61 0
-45 -57 0
-41 -61 0
-41 -57 0
-41 -45 0
41 45 57 61 0
-52 -56 0
-40 -56 0
-40 -52 0
-36 -56 0
-36 -52 0
-36 -40 0
36 40 52 56 0
-51 -55 0
-39 -55 0
-39 -51 0
-35 -55 0
-35 -51 0
-35 -39 0
35 39 51 55 0
-50 -54 0
-38 -54 0
-38 -50 0
-34 -54 0
-34 -50 0
-34 -38 0
34 38 50 54 0
-49 -53 0
-37 -53 0
-37 -49 0
-33 -53 0
-33 -49 0
-33 -37 0
33 37 49 53 0
-28 -32 0
-16 -32 0
-16 -28 0
-12 -32 0
-12 -28 0
-12 -16 0
12 16 28 32 0
-27 -31 0
-15 -31 0
-15 -27 0
-11 -31 0
-11 -27 0
-11 -15 0
11 15 27 31 0
-26 -30 0
-14 -30 0
-14 -26 0
-10 -30 0
-10 -26 0
-10 -14 0
10 14 26 30 0
-25 -29 0
-13 -29 0
-13 -25 0
-9 -29 0
-9 -25 0
-9 -13 0
9 13 25 29 0
-20 -24 0
-8 -24 0
-8 -20 0
-4 -24 0
-4 -20 0
-4 -8 0
4 8 20 24 0
-19 -23 0
-7 -23 0
-7 -19 0
-3 -23 0
-3 -19 0
-3 -7 0
3 7 19 23 0
-18 -22 0
-6 -22 0
-6 -18 0
-2 -22 0
-2 -18 0
-2 -6 0
2 6 18 22 0
-17 -21 0
-5 -21 0
-5 -17 0
-1 -21 0
-1 -17 0
-1 -5 0
1 5 17 21 0
-48 -64 0
-32 -64 0
-32 -48 0
-16 -64 0
-16 -48 0
-16 -32 0
16 32 48 64 0
-47 -63 0
-31 -63 0
-31 -47 0
-15 -63 0
-15 -47 0
-15 -31 0
15 31 47 63 0
-46 -62 0
-30 -62 0
-30 -46 0
-14 -62 0
-14 -46 0
-14 -30 0
14 30 46 62 0
-45 -61 0
-29 -61 0
-29 -45 0
-13 -61 0
-13 -45 0
-13 -29 0
13 29 45 61 0
-44 -60 0
-28 -60 0
-28 -44 0
-12 -60 0
-12 -44 0
-12 -28 0
12 28 44 60 0
-43 -59 0
-27 -59 0
-27 -43 0
-11 -59 0
-11 -43 0
-11 -27 0
11 27 43 59 0
-42 -58 0
-26 -58 0
-26 -42 0
-10 -58 0
-10 -42 0
-10 -26 0
10 26 42 58 0
-41 -57 0
-25 -57 0
-25 -41 0
-9 -57 0
-9 -41 0
-9 -25 0
9 25 41 57 0
-40 -56 0
-24 -56 0
-24 -40 0
-8 -56 0
-8 -40 0
-8 -24 0
8 24 40 56 0
-39 -55 0
-23 -55 0
-23 -39 0
-7 -55 0
-7 -39 0
-7 -23 0
7 23 39 55 0
-38 -54 0
-22 -54 0
-22 -38 0
-6 -54 0
-6 -38 0
-6 -22 0
6 22 38 54 0
-37 -53 0
-21 -53 0
-21 -37 0
-5 -53 0
-5 -37 0
-5 -21 0
5 21 37 53 0
-36 -52 0
-20 -52 0
-20 -36 0
-4 -52 0
-4 -36 0
-4 -20 0
4 20 36 52 0
-35 -51 0
-19 -51 0
-19 -35 0
-3 -51 0
-3 -35 0
-3 -19 0
3 19 35 51 0
-34 -50 0
-18 -50 0
-18 -34 0
-2 -50 0
-2 -34 0
-2 -18 0
2 18 34 50 0
-33 -49 0
-17 -49 0
-17 -33 0
-1 -49 0
-1 -33 0
-1 -17 0
1 17 33 49 0
-60 -64 0
-56 -64 0
-56 -60 0
-52 -64 0
-52 -60 0
-52 -56 0
52 56 60 64 0
-59 -63 0
-55 -63 0
-55 -59 0
-51 -63 0
-51 -59 0
-51 -55 0
51 55 59 63 0
-58 -62 0
-54 -62 0
-54 -58 0
-50 -62 0
-50 -58 0
-50 -54 0
50 54 58 62 0
-57 -61 0
-53 -61 0
-53 -57 0
-49 -61 0
-49 -57 0
-49 -53 0
49 53 57 61 0
-44 -48 0
-40 -48 0
-40 -44 0
-36 -48 0
-36 -44 0
-36 -40 0
36 40 44 48 0
-43 -47 0
-39 -47 0
-39 -43 0
-35 -47 0
-35 -43 0
-35 -39 0
35 39 43 47 0
-42 -46 0
-38 -46 0
-38 -42 0
-34 -46 0
-34 -42 0
-34 -38 0
34 38 42 46 0
-41 -45 0
-37 -45 0
-37 -41 0
-33 -45 0
-33 -41 0
-33 -37 0
33 37 41 45 0
-28 -32 0
-24 -32 0
-24 -28 0
-20 -32 0
-20 -28 0
-20 -24 0
20 24 28 32 0
-27 -31 0
-23 -31 0
-23 -27 0
-19 -31 0
-19 -27 0
-19 -23 0
19 23 27 31 0
-26 -30 0
-22 -30 0
-22 -26 0
-18 -30 0
-18 -26 0
-18 -22 0
18 22 26 30 0
-25 -29 0
-21 -29 0
-21 -25 0
-17 -29 0
-17 -25 0
-17 -21 0
17 21 25 29 0
-12 -16 0
-8 -16 0
-8 -12 0
-4 -16 0
-4 -12 0
-4 -8 0
4 8 12 16 0
-11 -15 0
-7 -15 0
-7 -11 0
-3 -15 0
-3 -11 0
-3 -7 0
3 7 11 15 0
-10 -14 0
-6 -14 0
-6 -10 0
-2 -14 0
-2 -10 0
-2 -6 0
2 6 10 14 0
-9 -13 0
-5 -13 0
-5 -9 0
-1 -13 0
-1 -9 0
-1 -5 0
1 5 9 13 0
61 62 63 64 0
-63 -64 0
-62 -64 0
-62 -63 0
-61 -64 0
-61 -63 0
-61 -62 0
57 58 59 60 0
-59 -60 0
-58 -60 0
-58 -59 0
-57 -60 0
-57 -59 0
-57 -58 0
53 54 55 56 0
-55 -56 0
-54 -56 0
-54 -55 0
-53 -56 0
-53 -55 0
-53 -54 0
49 50 51 52 0
-51 -52 0
-50 -52 0
-50 -51 0
-49 -52 0
-49 -51 0
-49 -50 0
45 46 47 48 0
-47 -48 0
-46 -48 0
-46 -47 0
-45 -48 0
-45 -47 0
-45 -46 0
41 42 43 44 0
-43 -44 0
-42 -44 0
-42 -43 0
-41 -44 0
-41 -43 0
-41 -42 0
37 38 39 40 0
-39 -40 0
-38 -40 0
-38 -39 0
-37 -40 0
-37 -39 0
-37 -38 0
33 34 35 36 0
-35 -36 0
-34 -36 0
-34 -35 0
-33 -36 0
-33 -35 0
-33 -34 0
29 30 31 32 0
-31 -32 0
-30 -32 0
-30 -31 0
-29 -32 0
-29 -31 0
-29 -30 0
25 26 27 28 0
-27 -28 0
-26 -28 0
-26 -27 0
-25 -28 0
-25 -27 0
-25 -26 0
21 22 23 24 0
-23 -24 0
-22 -24 0
-22 -23 0
-21 -24 0
-21 -23 0
-21 -22 0
17 18 19 20 0
-19 -20 0
-18 -20 0
-18 -19 0
-17 -20 0
-17 -19 0
-17 -18 0
13 14 15 16 0
-15 -16 0
-14 -16 0
-14 -15 0
-13 -16 0
-13 -15 0
-13 -14 0
9 10 11 12 0
-11 -12 0
-10 -12 0
-10 -11 0
-9 -12 0
-9 -11 0
-9 -10 0
5 6 7 8 0
-7 -8 0
-6 -8 0
-6 -7 0
-5 -8 0
-5 -7 0
-5 -6 0
1 2 3 4 0
-3 -4 0
-2 -4 0
-2 -3 0
-1 -4 0
-1 -3 0
-1 -2 0
43 0
30 0
23 0
12 0
5 0