# isabelle_session_info

session_name: IOA
sources: 9fc7d0d62db821886ac2efedc57a4a82cf40144c
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
b8d87317c74a2333cc591811727eececc63de935


