# isabelle_session_info

session_name: Launchbury
sources: 3668adcd13e6efedadececa9c8b9130ff8f35102
output_heap: 73a77ddc5faba0ce50cac68c98c1975b84e16210
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
c40411e15cda58f0aca26f5a7949660600917046


