# isabelle_session_info

session_name: IOA
sources: 189c69dffde3bce832ab718eef33eb01f93379de
input_heaps:
1d3b7742f85f25c1c85e860702329bfabe408a8c
01689be8ff96647a44561310e2e9cd85b0703641
3c4c9aedc60c6c7e722aca726af06fd67106bcaf


