# isabelle_session_info

session_name: HOL-UNITY
sources: 21418205d9876203e6c76033eb9a63d43994be98
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
e311dcb1fcc06643b7ffa4f8ed6fb6f3d41f9ee8


