# isabelle_session_info

session_name: IMAP-CRDT
sources: 10ff66f8dc5dc14d899b64e8bb8868cd789ae0f5
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
104f92d46f7535585325e08c3cff22549a6455b4


