# isabelle_session_info

session_name: HOL-UNITY
sources: 6b90ca39c6592c0b8ff02a746fccecd06a18073a
uuid: 0931134e-d63a-4785-8052-bbb52fb18287
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
cb25339d0c298ca7178d8f226c08ae55e8989d5f


