# isabelle_session_info

session_name: Launchbury
sources: 1cc89e4950cd684a48f129da22282e1a407ccd7e
output_heap: c4741bedb9874d15cc05ebca9237dfa8b85b44b3
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
e2a7e9445a9f21e145c2eff14cfba9ef1b86c1e2


