# isabelle_session_info

session_name: IMAP-CRDT
sources: e69e920faa7ba3f19b80489c54d91e37513006b6
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
7a7640c36fe826843a97f58b1968d2120233aff8


