# isabelle_session_info

session_name: HOL-UNITY
sources: 46c80827cd604ee3a0409251951958c70c924d17
uuid: 828c343f-ffe5-40fc-8e07-7554768f9119
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
7b28e698e338b53ae298ea6aa1a9a39e579de62b


