# isabelle_session_info

session_name: IOA-ABP
sources: 9c432c619e1e277b34dbf4b4d456acff7a4e6adf
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
1dbe3cf33db494311b52c74a5cce98031f001a35
1d918866f4cd889d42900d8ac71a8068227db413


