# isabelle_session_info

session_name: Circus
sources:
0b8efa224641e87d41f0c2727293eeb43ce36bb7
1181268358707341d13a3a94857622a0920b579b
148e38cb5f3d3d290d111319209a9738ac361aa0
18d08009b0409d92bdd968c937cae4d5fd634cf1
1c7e5466288b401ad82032c7750c259cb143b759
1dd8cf7b4e43302dd3afaef1e6d216605ed1469d
2fa54d72c65f940de20bafb91f89dba793a79ff6
32abb7565f623d323c95ce7f9321792f97f6f069
451ac76a0e3aa8304d970e80bc94e109173687c0
4a3d4221b9ec3a16c10bb13effa55d0b74ae1940
5ea38e279cba1e483e846cf8edd984e0106a58fb
6cb3e8103c291d92b9b34b088c0dc7f9e362865e
70ce409d38ede16b522b4fa352a7a32dc8d18e08
714852b53ee6a25ca4de13109c563e7b37c2b556
718392053b2911848e68c08ca8632a5637f5e432
8ed6364163cb7bb734027488d45397a19bebdb6d
92995e9515df3d77186d866b4763eb9e106ce2b9
a91192f51e3d7b1749a1c784e15471886bccb3b7
b011eac9002258baed1dbbd398a3f4dacfa0e6e8
b4ce39f5a9a6908fa3c9c1f8555058e6f5479869
c82d62de931c365d5f6aa6c1fc72ca1356266dd3
c91a90c472a98d4f1ddde3d19c15523b8f2d8df9
cd3237b53316c58230598e8b914fd4c991392e4b
d580a5ea7726c90b4e60e8c589c8c4d31443e01b
e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68
f078dfc60c21bb30283487a9cd39a42392584699
f4e7842ad645c6f197a109225189baa4416aea54
f89b8afadf4fd37c7a526959d4bf35f3800952e2
fc96718445da73b17044491ab0d8c643ae59368f

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
d89f71d5d2ee0a36d2c2a6c8a200096443e783cb


