# isabelle_session_info

session_name: IOA
sources: db942ea9fdad515ac0d632c38ebb0e3dbc162602
input_heaps:
90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3
d52b8b1923d8724a29985dc1bf81b4a6465d872c
582c69cede3f82bb5bee0300fc809c5ae405a7c6


