# isabelle_session_info

session_name: HOL-UNITY
sources: 64a7574d3de8dae8e5ed5f8312ea71f01058de85
input_heaps:
48f89a5452f1468e6ef7e43148f4049bfa854994
104b44d6b335769e6a9f2ccc49d063b910fbd6d8
744b08e25d048d556f88f595995dbf7c080813b7


