# isabelle_session_info

session_name: IMAP-CRDT
sources: c79c7bf33c329664e955c2f3a89da6468aec306b
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
e671aad92e2dfe6c9e7548816d211b646a5fa45c


