# isabelle_session_info

session_name: IOA
sources: 7e390c98fe42cc56e16a5cd0f84b759d8addb38d
input_heaps:
66da40a09a6751d87de8ae236e637a692a9b1c0e
4af5075887a76481f038d4f4925e41d5598ce611
85ce5cfd0ef81f487f047bfed13f724e59cf30e4


