# isabelle_session_info

session_name: IOA
sources: da8a18b07477b6257404daf62737b5f7eb48877e
input_heaps:
3af822fee716c8c3f7a258f5d449a67bb4886bf0
419241d6c416195954afc47f066fda364f6dc3ed
0521b67ea6ea69c5ae296ac3b66e924a2c6cd684


