# isabelle_session_info

session_name: IOA
sources: 0d5490be2e79f2e27a79f4a3224e25354be60cc8
input_heaps:
88012d37539d18f74cb8b5735460e837dfca88ef
29f0fc07a4a3b14ae9f2f6c9593066cdb6e88d48
15ca2fac350fbf0002a98e6d5cab21b20e50ca7a


