# isabelle_session_info

session_name: HOL-UNITY
sources: 6757d1899308bcd20957ca6f1b9c8b6dab1e68e4
uuid: b8d58860-5ee1-4894-a6be-4ae2a5592d8e
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
a841f4f70814a2a9dd407942387baaf81536817f


