# isabelle_session_info

session_name: IOA
sources: 10d27433897cd3ea818ae7e65ff3288430d8edad
uuid: 92b08ec8-b601-4f4f-afdb-71686007e2e1
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
da1f668b8f77ce4ba640256f14818bd3c504f8fb


