# isabelle_session_info

session_name: IOA
sources: 31d1a043fee2c057c8f2349f30876ea7af97e6ac
input_heaps:
0447e8f5f417255aa2e13691341cd99ec9daa58a
a17b66d8aabbb2fda0b260137927a648a82993fc
b7127f6a784c81cdad9da54aeaf1f026500d11d2


