# isabelle_session_info

session_name: ZF-UNITY
sources: 047065d369f5b28e46b44e69306f8e6e5bae3e4a
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
3402a658bcec1f9dc007e56eefc8d137fe01b5ea
20eff1f0f1c8427e08402118ffebbd74f733695d


