# isabelle_session_info

session_name: ZF-UNITY
sources: 4fb134afedb1aa7cb88fc01e58a195387aa60c71
uuid: 047e779d-5c48-41a2-8665-61e5258e284a
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
bbfe93f9150d4d18e53b9dbfeec14c27fd42d0fd
65517984d5ff8c883da73057bf9e71ec2b24035c


