output2.edges

p cnf 91 109
-1 0
-2 0
-5 0
-9 0
-10 0
61 0
-62 0
63 0
-65 0
-44 0
-68 0
70 0
-71 0
72 0
-74 0
-76 0
79 0
80 0
81 0
-83 0
-86 0
-91 0
90 0
-89 0
90 0
88 0
3 0
87 0
87 0
85 0
84 0
84 0
82 0
-78 0
78 -77 0
78 0
77 0
75 0
75 0
75 0
73 0
-69 0
69 -67 0
69 0
69 0
67 0
66 0
66 0
66 0
64 0
-60 0
-8 0
-7 0
-6 0
60 -4 0
60 -3 0
59 0
59 0
59 0
-55 0
59 0
59 0
59 0
58 0
57 0
56 0
54 0
53 0
52 0
51 0
50 0
49 0
48 0
47 0
46 0
45 0
-38 0
43 0
-42 0
-40 0
41 0
40 0
39 0
-31 0
-34 0
-37 0
-35 0
36 0
35 0
-2 0
-32 0
33 0
32 0
-29 0
30 0
29 0
-22 0
28 0
28 0
27 0
26 0
25 0
24 0
23 0
-20 0
21 0
20 0
19 0
19 0