# isabelle_session_info

session_name: ZF-UNITY
sources: 49bc9a25e2877582f496b15422370c847cc47dd4
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
828b1be275ff0e979d79a617d6af5099e773fc71
c974c54641b824f239c606ed430509acd1f90352


