# isabelle_session_info

session_name: IOA
sources: d0f916af0009c4ec52ac5162649be01d31a9f237
uuid: 561d86be-35bc-469e-8479-ba608c84098a
input_heaps:
e2de7c39f4fe13c1839505ef008d2e8cab80b2b1
a06314b2c10d1c04af4a957577328c1f98c585e1
2a7a6785d7d42ce85925627ade05a0fc19901ead


