# isabelle_session_info

session_name: IMAP-CRDT
sources: ceeaa6b45866b2bd00fc6319fdbe524903722305
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
b779a2f1aa123a78d6214f6878fa709ec8c7a1c1


