# isabelle_session_info

session_name: IMAP-CRDT
sources: 8f489c48892a3dc781e98298b93f545b0bff08a8
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
8b34193a1f159c73d54da8652d94543da736e019


