# isabelle_session_info

session_name: Eisbach
sources: 6508e70012ba51b0e6b7ee9be87019be8489d84a
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
a1db7ed45a115a114f0128f1571a41ec2067ebd3


