# isabelle_session_info

session_name: HOL-UNITY
sources: 4b572349587fd41e719c9580c2964d6e1f95213a
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
e7b90aac54efecfd846c225ab91f6f0be296cabe
7994e53501acaa91261fc6161a03de41d7fb8c08


