# isabelle_session_info

session_name: IOA
sources: cb6917446d57baaa62ac0b1aea252de5befb3c33
input_heaps:
09b31288d2a9ccacb2f6f283c9625a7fdbd68e8f
1ec97cb3aeae702d70f02f0eecc00288d6bcb40b
ac7fd7c673c6fd501201a6d9a00a26c069327c22


