# isabelle_session_info

session_name: IOA
sources: d1f8057fa790c437da02be6f567c52eddd335c53
input_heaps:
62b46d030507eff717bda6aaba560c4c46c9bcf8
728829bd792d2c691813ae1727b2f161c6b300e4
f5d6320538fc1d52cb0eef34421a5b22b03e16aa


