# isabelle_session_info

session_name: IOA
sources: 6e25928dcfee65f9d754bb670a8a8597e91f8641
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
5d58fd94539c33248592dbca1bbe0e90d754e822


