# isabelle_session_info

session_name: IOA
sources: 99971bc2c2b2434f994ff85170c5cab8a5d1e8ef
output_heap: a9cc2c61f7738047a6a2e2ad5073784536fbb2a3
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
d31e6c78d310ac04e625ad6cce8d119862d23c6d


