3 lines
64 B
Plaintext
3 lines
64 B
Plaintext
|
1 unsatisfiable dependencies (solution with 2 names)
|
||
|
world: b<2
|