# isabelle_session_info

session_name: ZF-UNITY
sources: ec233e33f8921dda5371b09847d283573e1c4f0a
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
b09b77fcfe9cb6edf33a9a8ca5cb5c0b2d5266c8
9a9118071c76a36634d574c5a75aa6b3709ac115


