# isabelle_session_info

session_name: HOL-UNITY
sources: a812f15f858bed5548202fee5494966b7bf91065
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
8d884b5a7909ca2a6b6278965ffc40269a9449d1


