# isabelle_session_info

session_name: IMAP-CRDT
sources: 2c9ee9efdbadeeec585ebbe6519528db27fa809e
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
79fcac77cd41c0054483430704538ac04a10aac2


