# isabelle_session_info

session_name: IOA
sources: 3bdbe7c4ca59621d7f035a94139bee65ebfa2224
input_heaps:
eb06bb30852b87bf08fc9bc974d190b6e06c78ba
540a2732a3304e44cc5d86f9c84329d38f7892cf
ca2e0a931d84ba92f33ccec33ea8ecb813a10af1


