# isabelle_session_info

session_name: LEM
sources: 53bbe673c99e4fc7fc34be2dca486037833b6c94
output_heap: 4945f9f74f852b9ced51e6f5f2fdb510d11b6b53
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
934750cc51ae3cb341d3ffd6479ca7a7b3b8ed50


