# isabelle_session_info

session_name: IOA
sources: b4725e77ea187e1ec31e691183492ba3bf3491f6
input_heaps:
d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42
bec8f12658c329051cdd3196b3789cc67865eb91
834cd26d807a56fcd9fc7bf2cfc3c2b55e887e65


