# isabelle_session_info

session_name: IOA
sources: 2d77087fbded2daa88992000a83a83ac6e4c489d
uuid: 6bf5d830-0664-47e5-b9cf-21b3a0b2d05b
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
e47dfaf8c2bb578d27fa68206f4ea8b45f311a4e


