# isabelle_session_info

session_name: IOA
sources: b583becc4042cd8088fd3df4b407a390cc5bcf38
input_heaps:
6e0b414cde7cbca05415ec6e5bf86c58afea3732
f9895dcd254f82aab3b7e4ca41b9f20af3db58f1
b99744ba36849b251da3af52156060cdd37cc861


