# isabelle_session_info

session_name: HOL-UNITY
sources: 7b35dc36e65d5358854d373bd40d43c75871f833
uuid: 7a7d2ef4-11c2-451f-bf75-fa47af36f503
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
9f7ab486dc950671712dc70b8e50e082d2307b52


