# isabelle_session_info

session_name: IOA
sources: c6ff07615671858e06ac0397dec1295f0f4118a1
input_heaps:
1c2df9ab94e25c8a2679a68910791aed4c2b5de4
6ac8fecf45d23f477b2ee86df14908c91728a9b6
ea4f5fe50c94c05ba52dfc737ee080c0370c2713


