# isabelle_session_info

session_name: IOA
sources: a178b8c033bc03d23e3681dcb729dc0df63fc151
input_heaps:
8f0f23b1ee8368666f183b49cf0e04597c11b03b
51aaedb747ba6214463c72ede31cf3271ddeb463
15c29a76e1f81b2cf86d3cf1120f631511cf8a6a


