lean2/tests/lean/extra/bag.673.71.expected.out

4 lines
62 B
Text

LEAN_INFORMATION
position 674:6
no goals
END_LEAN_INFORMATION