# isabelle_session_info

session_name: IOA
sources: dd51727749a6cb2031651dd05dc9f04344b6a4cd
input_heaps:
71ff5a8bbdfc43c9b0b231f02646a3d44e6e9566
29613e1ba570ce5d15b2350e88ce8def22fab79d
6497dc53e1e9fc2f82c4430d447de841d7716270


