# isabelle_session_info

session_name: IOA
sources: f8f824b636924da47bbc40ab67e27ce5809a2464
input_heaps:
51dd6ddf81f32d1521a081613e64272e00a7489b
26eb0d9d19e0107059d575886decce0ced0ef3ab
ee0661ee480893ecbc98a2cb95098a5378a326cc


