# isabelle_session_info

session_name: HOL-UNITY
sources: 289803c8720b3a48a8d576a4349bc55ac8db71a2
uuid: 8fffa109-ce0e-449b-bb8c-0e9ca4f2f9b2
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
7e23294b1018bb2f4a7856257d63db29c47ace82


