# isabelle_session_info

session_name: IOA
sources: dd91c6b6a9a271231f85202b273e29ef70fd0a17
input_heaps:
8359546699246d10a5649e935cb49d82dd24f91c
618d1903d75365a0f0ea3a2b0aa2f2792fc17965
a16a63c85ae6ebb9880ec2f4c972905444d97e29


