# isabelle_session_info

session_name: IOA
sources: bbac5103a761c6aecd3780dc05ff6353b30fcf84
input_heaps:
ca1a0b1d4f8c730bb749d2feb20167ff4ff70290
beba8c6737cbaf995eb11ce9f749e82ea384bdc6
69ffd0f32fc55c7b3cfdb3e25189870f0a5ade43


