# isabelle_session_info

session_name: Circus
sources: 0e3327f9a5ae78eaee94360cd2b4b767feafb3e3
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
6760beee8ace7d46f9707bda98a36d8c8bc2e85f


