# isabelle_session_info

session_name: IOA
sources: f29d01a281cf4a79c97425dfe2d71b780fcdfe28
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
f83d7033b16a537bdb1e000671132204b7290a25


