# isabelle_session_info

session_name: IMAP-CRDT
sources: 6fd88828a5d6ea594be98681d46f41ac43d6cc32
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
4de10522ff7f907a4c9957da682078a76eaea400


