# isabelle_session_info

session_name: IOA
sources: 7ec304ea4e573ee407e5664a095d991d3dde62a6
input_heaps:
345ae181c538e4194d592676e06efaf9bde7d260
419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b
deddb564b9a905d3695434e12379611f37bce3af


