# isabelle_session_info

session_name: HOL-UNITY
sources: 4414749d5778c1f40923bf87156e0b99e9b489c4
uuid: 13632530-9474-4305-8afc-85d8cf5b4ed0
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
09e0a7fa430c03a99d7ffe78e911efd5e40eb875


