# isabelle_session_info

session_name: IOA
sources:
20f478d72a5bcb1fbad9de015615c5c26cbf5f94
220550e733823529c859a6a258e64aa20d62a163
563ba3c0acd73ab3fbd40e39216160d0de8a8a75
7319036ec9b14b681515115059d654c3aaf9b7b7
75423031ef2f690680f016e5066f58335d37a5c8
7cc3e9930e0450f02ff1c420bede3aeb39c372d3
8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24
938d0c484a80e421fb6ae5697e1098725b52e199
9b9a12329672a350731a10b6f071f7d38b0073a2
a11c3093f2f6b7ebe412ec3025bc06061bed7756
a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1
aa84ecbe31330d8b1d01a40e056125bbbcd123ca
adcb01cb026b6f0c3457f2e50bf96234665031f2
aea9862702ac98e9c127ede42162c57c860bae24
c20e06befed5c804ee26a4c681e4a1fff2fa0960
dbba1085e152254111b4f937e379bb956462d610
e3b9e4172c88c8882914e3d4e240442631ad67b6
e6ff1fc226568d2b6cfc085f8139293b3291d2ad
e7fe7ee11c7a9648c8119f78c218af6c13c004c9
f49102a3c25e481f4b313086bde8d4c358c3c9c7
f520112865fc85959231a187297106816b2e1bcd
f981f7a958c30c1d47ac6857ae9e3f01f9a18112

input_heaps:
4d7cc99ba2317c92438b24a1f5d0bb50f2da3794
c6928bcd68337aad18e786f6ec337677f65404f9
4851b79e4b4ad2a213013979ed00ea804f99e183


