# isabelle_session_info

session_name: IOA
sources: 9bb5877049a4cdfe5c0ec83413cf3025566e06ec
input_heaps:
3771104ba54383187b82498d379f94f1ac6b03b1
67c8e514558538ef71305db58915e5c5c063f028
69c5cc0eeabe356d97e8a5c8d2084ba74e31ad8f


