# isabelle_session_info

session_name: IMAP-CRDT
sources: e31d5a4ffff50e0aebbe303f9a22346798f65154
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
33f1d762480feb959995d90dc1ed93eba2fd5013


