5 lines
48 B
Plaintext
5 lines
48 B
Plaintext
c a header comment
|
|
|
|
c another one
|
|
p cnf 0 0
|
c a header comment
|
|
|
|
c another one
|
|
p cnf 0 0
|