# isabelle_session_info

session_name: IOA
sources: 23ac01a844a2470a7285731ca8b0d9e8ebe4c905
input_heaps:
9400524a2bf0062e34657c8242e59e39ce561b20
8112b346d345fdd1df303f366f2308e1ad40a1e5
69b22b54da214a8809636c8acac5ab9ff4643028


