# isabelle_session_info

session_name: HOL-UNITY
sources: 6757d1899308bcd20957ca6f1b9c8b6dab1e68e4
uuid: ba1581af-1535-4083-93f8-e384017a557d
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
d4ec17065f0862990162ee0551c9e0559ac809d3


