# isabelle_session_info

session_name: LEM
sources: f640483ac9856248262d5aace171ca719da11c0d
output_heap: 582a6c29396b7fdf5fcd31b045e2b3e569f410dd
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2fa922e6ab1536cbc5fd40a94ba750e210c04e1f


