# isabelle_session_info

session_name: ZF-UNITY
sources: a6bc3a57a8441faa93d7df0e8a07149d3fe3d579
input_heaps:
119ecd3e4617a6498736c052214d7e7adff34d7d
56c772e1232833163af57f5cb302ba40ddf33f5b
488a09e2e4ec488d35c1a24120c6714f0251c541


