# isabelle_session_info

session_name: HOL-UNITY
sources: 81be5f4b8377867954735f9f0c01803f6b16c54f
uuid: 3ec673c2-8e98-4350-9dbe-7e366739e723
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
9c64d6f47b47d52e65e6a91fa5b44d38ef3c76b3


