# isabelle_session_info

session_name: ZF-UNITY
sources: 77be4ad1dee2ca6d7cdd3a88e5d25c534b14ec4d
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
b46ff461bfa89feebcf1fa7cffea24efcc951959
056243fbb55ff8c232df768ccf6ac6fa9b436dc8


