# isabelle_session_info

session_name: HOL-UNITY
sources: 2496046f9318e11491b3ad0cc334d5ff27ef1403
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
0d64e16e8f7e955788b1397d432e53d735ae9b97
11596679a0234048f019f6f8bf5ff01df99568b7


