P
Initializing...
Dris configuration: $\omega(m) \le k + \Omega(s)$ · Prove2Me