# isabelle_session_info

session_name: ZF-UNITY
sources: 94c29652ccc92de86b404bea6076e3f408d4ac3c
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
1e7bb8d896755bbb779450a1105f0ed37cd956d6
dfe56f3619ac6c91064f610c81197f0e41720d5a


