# isabelle_session_info

session_name: IOA
sources: e06f60d8a160dd26a436be83512f26f9c165378e
uuid: 829a7603-078f-4876-9c0b-1a365042354f
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
3fb5361bdc753157728b1cbfe72dced1b7b00a3d


