# isabelle_session_info

session_name: IOA
sources: ee56c50b67d6e0dac75d2aab1415062fc5233322
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
e0cfad92c797c9e8a0f41439f8c4afa04efb6315


