# isabelle_session_info

session_name: IMAP-CRDT
sources: 5e6ac09929bf525a91eb554c657bbb24931a8f9a
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
e8f478eb1caa43861a5485c081d6e582337d69de


