# isabelle_session_info

session_name: IOA
sources: c6ff07615671858e06ac0397dec1295f0f4118a1
input_heaps:
e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e
e0b4ef556b392ea7ef408585b4aaeb86030f1fb5
635921ee6d3e7cd01bedceca62a5bd75da61ea70


