xref: /seL4-l4v-master/HOL4/src/HolQbf/tests/z4ml.blif_0.10_0.20_0_1_out_exact.qdimacs

p cnf 61 185
e 1 2 3 4 5 6 7 0
a 34 35 0
e 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 0
1 -8 0
4 -8 0
-4 -1 8 0
-1 -9 0
-4 -9 0
4 1 9 0
10 -8 0
10 -9 0
-10 9 8 0
7 -11 0
-11 10 0
-7 11 -10 0
-7 -12 0
-12 -10 0
7 12 10 0
13 -11 0
13 -12 0
-13 12 11 0
4 -14 0
7 -14 0
-7 -4 14 0
1 -15 0
-15 -13 0
-1 15 13 0
16 -14 0
16 -15 0
-16 15 14 0
3 -17 0
6 -17 0
-6 -3 17 0
-3 -18 0
-6 -18 0
6 3 18 0
19 -17 0
19 -18 0
-19 18 17 0
-20 16 0
-20 19 0
20 -19 -16 0
-21 -16 0
-21 -19 0
21 19 16 0
22 -20 0
22 -21 0
-22 21 20 0
-2 23 0
-5 23 0
5 2 -23 0
2 -24 0
5 -24 0
-5 -2 24 0
3 -25 0
-25 -22 0
-25 23 0
-3 25 -23 22 0
6 -26 0
-26 16 0
-26 23 0
-6 26 -23 -16 0
27 -24 0
27 -25 0
27 -26 0
-27 26 25 24 0
-28 -27 0
-28 23 0
28 27 -23 0
3 -29 0
6 -29 0
-29 -27 0
-6 -3 29 27 0
-30 -27 0
-30 -22 0
-30 16 0
30 27 22 -16 0
2 -31 0
3 -31 0
5 -31 0
6 -31 0
-6 -5 -3 -2 31 0
2 -32 0
5 -32 0
-32 -22 0
-32 16 0
-5 -2 32 22 -16 0
33 -28 0
33 -29 0
33 -30 0
33 -31 0
33 -32 0
-33 32 31 30 29 28 0
7 -36 0
35 -36 0
-7 -35 36 0
-7 -37 0
-35 -37 0
7 35 37 0
38 -36 0
38 -37 0
-38 37 36 0
4 -39 0
7 -39 0
-7 -4 39 0
40 38 0
-1 40 0
1 -40 -38 0
41 -39 0
41 -40 0
-41 40 39 0
3 -42 0
6 -42 0
-6 -3 42 0
-3 -43 0
-6 -43 0
6 3 43 0
44 -42 0
44 -43 0
-44 43 42 0
-45 41 0
-45 44 0
45 -44 -41 0
-46 -41 0
-46 -44 0
46 44 41 0
47 -45 0
47 -46 0
-47 46 45 0
2 -48 0
5 -48 0
-5 -2 48 0
3 -49 0
-49 -47 0
34 -49 0
-3 -34 49 47 0
6 -50 0
-50 41 0
34 -50 0
-6 -34 50 -41 0
51 -48 0
51 -49 0
51 -50 0
-51 50 49 48 0
-52 -51 0
34 -52 0
-34 52 51 0
3 -53 0
6 -53 0
-53 -51 0
-6 -3 53 51 0
-54 -51 0
-54 -47 0
-54 41 0
54 51 47 -41 0
2 -55 0
3 -55 0
5 -55 0
6 -55 0
-6 -5 -3 -2 55 0
2 -56 0
5 -56 0
-56 -47 0
-56 41 0
-5 -2 56 47 -41 0
57 -52 0
57 -53 0
57 -54 0
57 -55 0
57 -56 0
-57 56 55 54 53 52 0
-58 -51 -27 0
-58 51 27 0
58 -51 27 0
58 51 -27 0
-59 -57 -33 0
-59 57 33 0
59 -57 33 0
59 57 -33 0
-60 -47 -22 0
-60 47 22 0
60 -47 22 0
60 47 -22 0
-61 -38 -13 0
-61 38 13 0
61 -38 13 0
61 38 -13 0
61 60 59 58 0