# isabelle_session_info

session_name: IMAP-CRDT
sources: db6dc1f8084f36d0f0e0d7610d918219c2c7be3e
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
115309c418b07c5ca564de9ee22a1e97406772f7


