# isabelle_session_info

session_name: IOA
sources: d3bc99bf0a6d449433d9c0e530f18c0a0ae05200
input_heaps:
531cd0dd66962abee933561c825def01215eb14d
7628b1d8b68dee6d44a904ec07f356e58b6f78ee
2a40c51c479bda8dca4998187f4bd0d1a07da08e


