# isabelle_session_info

session_name: IMAP-CRDT
sources: 8eea540630f97ca004703eb0546e2b82f09508d8
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
c9d3cd1042343eaa8451858bcf498c6a0db67069


