# isabelle_session_info

session_name: IOA
sources: 5c28d945ed7b67fe8ab992dfbab8b6ae1efcf55f
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
e8a5e3ec0b576b0b2ef3fda3648a764a08adfd13


