# isabelle_session_info

session_name: IOA
sources: 4d23ad7ce2c750efa37653bee331d8b078eaa6b0
input_heaps:
6062096c27f4b7f40368b5d9ad593f43067d4c1a
35c7f7c8136871aff25ef6ca7272466cc67611a1
349e4842a5907cb1c7e3f68b6006ad1e9505db28


