# isabelle_session_info

session_name: IOA
sources: e0146fd0cbd483940de6061a3c6d7d329a2d453e
input_heaps:
ddf058c9f10e05f4106827b25b4f95ca1cedad49
983acd18ec90f8d3a7702fe7ef442de9eca26a93
6238ff11a1ac97b39c39dfa790e7f10afea656a2


