# isabelle_session_info

session_name: Launchbury
sources: 85c45fc1195061a1d9c5512a4a681c99779928c4
output_heap: f70052e6bc5bc43def3aec0c3d0774862eb4fbab
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
ca15bea6ec4025d00c2fa7ca9546369b40a90b90


