# isabelle_session_info

session_name: IOA
sources: a8671cf4515a257e73186d9f57aeec40c2ab9277
input_heaps:
00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e
2794e690bc7c789dbf80ec81181bde6bcca20a2b
8323acb13b0022692e965cd5fa0d74231327213b


