12 lines
87 B
Plaintext
12 lines
87 B
Plaintext
|
p cnf 10 10
|
||
|
|
8 -4 0
|
||
|
|
4 5 0
|
||
|
|
4 -5 6 0
|
||
|
|
-9 1 0
|
||
|
|
-1 2 0
|
||
|
|
-1 -2 -3 0
|
||
|
|
-6 3 0
|
||
|
|
10 -8 0
|
||
|
|
10 9 0
|
||
|
|
-10 0
|