# isabelle_session_info

session_name: Circus
sources: 28223a038cbde3b0f43c4740646b35e3c11a739d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
1d500dd49d5973be067251b26432ee76a4da1120


