# isabelle_session_info

session_name: IOA
sources: e7cbdb393763d5d5b32efe38490535ee8f866839
input_heaps:
9f2f5e34e8f76db58300a1377cba6b70f5110513
16c71c099f3dcffc4dc2c0b8afa759474f673638
7d16cd15bddde8436801dd9ae167a2bedc04b2e1


