# isabelle_session_info

session_name: ZF-UNITY
sources: 6c0dcbdf7829f952ea55fa621d52379720c6003b
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
71ece054648c7677be1b389e68c54bc48399d8b0
6164aca63eccf50666e7bf8dcf71540e0700f1e2


