# isabelle_session_info

session_name: IOA
sources: f7a191b8b905366c9283e098faa9c699646957cc
input_heaps:
efc28eccda00132ad1b67401ee486ac0b5a1cdf9
b1cdb922eb1f4b9cbde0037d18a4b856bf1bd352
28efa270f6c0d89910bdb6c563f61d691b1a140b


