# isabelle_session_info

session_name: IMAP-CRDT
sources: 6c941905e5835b8ce5c522673aad5456d2614a71
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
a451ea67c80a6129ff3edff77452e807a9fac117


