# isabelle_session_info

session_name: Circus
sources: b709856520744138848857a68beebcce10ffebac
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
46523c3132f996c931a29721a4e23576bc962ad7


