# isabelle_session_info

session_name: IMAP-CRDT
sources: 665190e238e1fd6e7ccc5747a2f70c431b98479a
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
ed51b0c7660d9cd5e46b5315772e127818af713e


