# isabelle_session_info

session_name: IMAP-CRDT
sources: 00ee9e71623790f147bc0396cbd8f57b07b09bd6
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
a077e1a5804f91bd653d634f7401382bb0998313


