# isabelle_session_info

session_name: HOL-UNITY
sources: b4aa3438ba7ed5c78c1b6fc3e68cdef6a049f070
uuid: 6f92ba21-02f3-46ec-97a2-3bed7ef66bec
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
ce64f8be08e79bde5b62c3c89519228edc72ffcf


