[lpconsole_proof]

[lpconsole_atoms]