# isabelle_session_info

session_name: IOA
sources: 220fd6eb45c39ca1efec2d9734b06009b1d68556
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
8cbaba6e2209abf08a8f35077b30b48649d3abbe


