# isabelle_session_info

session_name: IOA
sources: 546445dcfb00f3c8cb7af2af7087a4bccb20c900
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
285b28884f06fd2844d6910e277df4947a17f048
f93e4eb2580f0dd0f1c7e96d72aff5af8c80a77e


