# isabelle_session_info

session_name: HOL-UNITY
sources: 751453f724ccbd78d2dddd4f089b2ed60ee4a8aa
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
93e60a74c792a2bd1ec7d931bc901a4cdda824be
b74675318f7931b8f3c46adfe2ceb26ed32442b7


