# isabelle_session_info

session_name: IOA
sources: ea405c12f884bde23591b416ce2fb86ccbffb113
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
4766c4ad541dcf4a5f48734ac3bc62db434301fe


