# isabelle_session_info

session_name: HOL-UNITY
sources: 84c88a865b9ed010689e8fb604a591d8b74ce4b7
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
c97218d594a987e564d25c697489387a08f113dd


