z4ml.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs

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