# isabelle_session_info

session_name: ZF-UNITY
sources: df4805d69c82359db3019fd33afa0014051dec35
input_heaps:
7d1dbd56b7ae23b5a955bd6c5743b21383ee1393
462cefcf19dcee6c9a378102026878ac3a1d3f62
161775da671a4f70873e922709a2613e7bca6080


