# isabelle_session_info

session_name: IOA
sources: 12d2d35db1733a8e7e613602e7ed243047744867
input_heaps:
1b9d791c9837b33e4a03e5886fe2246de351b574
478d747829b3e0420f00bb750e519db44f764c62
710daba6bb20585606da502f20192aa2efdaa92b


