# isabelle_session_info

session_name: HOL-UNITY
sources: 3ca95710131f9fe252825df85d6afda3c5e522b1
uuid: 88a2987a-721d-4d9b-9b4f-6800a693dea9
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
1a4145968e8de10b1c4c3c76aeaeea129031771c


