# isabelle_session_info

session_name: HOL-UNITY
sources: e1b64d4b8eb3a752667005c35aa47425e024e505
input_heaps:
7a436e51f62a42a02ddb55d4319a81be06759b89
c799ba9bdc115a3ecf3b5996f3e7bb7c44ffc380
fd9304d25dc83cf915dc2e46831d3f12fde060a9


