# isabelle_session_info

session_name: IOA
sources: 3c06cb10a056434d046f749ffc1414e1cfa36a6a
uuid: da4ffcf7-8c90-44db-a586-59c6cbd7004e
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
ab5130a3ad7ab7050768d3d586b1f4cea36fb6e6


