# isabelle_session_info

session_name: IOA
sources: dce078d1566b3c8a5e1f2a4e120eb35bcc03778d
input_heaps:
76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f
eee62ea59121ed3e50df436f618922c8776e9ecf
c6f362851c7e68771c1243c4966ab5b3f939e199


