# isabelle_session_info

session_name: IOA
sources: b996ed8fd1a50d707a634143258476d8d2c32a19
input_heaps:
4ef489b3613babddd4508356c27a113c0ac29a4b
55b6ff6b8f9fb383aae387ba1a281e772a16bdd7
c5be07b1b4161663a77f70353b9a4c6f8ca75f3c


