# isabelle_session_info

session_name: IOA
sources: 02238ff16af9902472f93989479b2a0964c159ef
input_heaps:
bae43dd2951a6b8e1263e49c814c4a696de4b0ad
fa7786099e4357d1af728bd041479c3ee700c993
3cd8fd18d1ba7d261f7fef5e35e66ef3f5290380


