# isabelle_session_info

session_name: IOA
sources: 9156c400b78c308894aeb0dddba3e36ca1ebdb83
input_heaps:
b98e21abac34c1a5ad8cd46d87921a4b76a51201
57989c06cd95af4e0e65ba812990155b74c440c2
afd8effa12b5327136644c123bc7ee5ebf4fb32c


