# isabelle_session_info

session_name: HOL-UNITY
sources: b9baf2f5ca0b5f2f4d13186c34e6a1800ed2d2f1
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
453396bac89a98c87cade77d876532219a8d7340


