# isabelle_session_info

session_name: IMAP-CRDT
sources: be7c1f8e0ca1eee8bef79ef364bd6abc40efcb49
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
2d9f5b5dc1173b52c485c89ad4ee001aab1190df


