# isabelle_session_info

session_name: IOA
sources: 1e603388c131f0aed87ad78fee1cedb5ab587418
input_heaps:
d3f289e5195aaefd6aafc967100d776a58ce0b4f
29fed47a579a81d17666737d5ee8d107ce867490
e31084a75a7006c02021dbd875c3c588e57093fb


