# isabelle_session_info

session_name: IOA
sources: dc8eb2c93b782dcf399a4dd129c01b6db7e3c523
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
d50af9bd18cda1ff95b0c287a289f86d1dc1a2e4


