# isabelle_session_info

session_name: IOA
sources: 0224a6322dedede8ae500a01258cf475418874e3
input_heaps:
991981938cf9c509b09775da4fe611141d975544
1b9ffcb61ac967bb2234adca439cd7c5b27cb436
340d61436c05c960414b5bf0de12943c124223a9


