# isabelle_session_info

session_name: IOA
sources: a10d9f6a1434bb74b3d86d427af1b90d1596c495
uuid: 6bc5f62d-9f43-4a99-86c2-a0cf4626bb6c
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
da981246f99a4aacf8e4346be7f4aa65ab4bc3dc


