# isabelle_session_info

session_name: IMAP-CRDT
sources: 37ccf9352dc62147fb5d7c4582954f4d1e3c367d
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
b72013e013780b97aee02d9f66a6f1f030e533a5


