# isabelle_session_info

session_name: HOL-UNITY
sources: 17787caf0a8fcd3f1d6d713412d777ce0faeba26
input_heaps:
76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec
a32d043d7a78df09e2684446989c171f61b5b8c1
59273d16072f8afba7def3c47a660b4f542380a7
be7c7455b3484f7b1fee4f5fe64e3d797a85a5d0


