# isabelle_session_info

session_name: IOA-ex
sources:
0a3b8cd38944bdab984be3653875710900390a44
600351b420a2a1e509c529a1cdc650c3f43945ab
64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d

input_heaps:
0dae525efa6f84ecf34af93ff7cba31c2592ec0d
8169f475732fbdf137107131aba0d9b3f4e56903
44190651e766f74bb3f25a3b29bbc1b367a82386
2d0e3f70468dce97a0ad58472904bfc293db1155


