# isabelle_session_info

session_name: IOA
sources: da8a18b07477b6257404daf62737b5f7eb48877e
input_heaps:
bd696809c70613acb70cb901c2e1e6285632648f
609f44c41d03923b1784e4fe74802b6652832cec
63a4b031b3e6524b397e31d762261b35be3d5d6b


