# isabelle_session_info

session_name: ZF-UNITY
sources: df4805d69c82359db3019fd33afa0014051dec35
input_heaps:
de877691d4f439c54add1e4f3c47e94a8527bdce
cc925bd6ad28844622439498d7329a3b10bcffbc
a4750bd93f8e6e6f22b33989ae9c2022e291a362


