# isabelle_session_info

session_name: IOA
sources: 7fd6a2c6403a34930893190f883b5eb86ed24fb5
input_heaps:
94bc2aef97f45ab00e72704ecebbbcc992b99abf
3f8b5da88d1370194413e7da6a06ba328301b2ca
9ded23981bbd7748a9bd6b851466e1e937c47bed


