# isabelle_session_info

session_name: HOL-UNITY
sources: 71f285872c9c2d9f0171fe790b5facf53069bb24
input_heaps:
099484936cdb3aed7d7a3f03a59ffc0f493f1467
4e13f85eb7aaf7c4efab8590b39a15fc642af0d1
d965690ed2aee4ef16c8bab19ff752c76b5ced70


