# isabelle_session_info

session_name: Circus
sources: 2038a49b12d9137da3417dcea019e7f7f5af2130
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
ae1264fadafb781b758c2a75f667cc392a6d572a


