# isabelle_session_info

session_name: ZF-UNITY
sources: 9c08b644de85a5f1ee1e05b2c3d9935ee8c4da53
input_heaps:
5276688fea607e3a3776d373302d975e53d8d37c
e17b249ca690ac440c439495ab91b69adc362506
c54fcbf961a9de2a26b652cbe09cec223e122807


