# isabelle_session_info

session_name: HOL-UNITY
sources: 6e7245d47c8c0748f1605804a2bd0afcaad3b3d9
input_heaps:
23cf972811ccbc85c9826ecc0f49fdc49eb2b8c2
9fc0a6bd7e3d8e1a2a7cdeaa12690299cd2d0bd0
5d1c801a4c90d0d901a63e8dcd96fa138c5409cf


