# isabelle_session_info

session_name: IOA
sources: b4725e77ea187e1ec31e691183492ba3bf3491f6
input_heaps:
b4f0352ef26758d0b807242b0832bb09719f7d40
32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de
7b6f84bcec5b9a3bb67348642791b5005293d469


