# isabelle_session_info

session_name: IMAP-CRDT
sources: 07599e6f9eedbc7ab39878fb5fbc6655cd0cc596
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
71d8fb97da7d9fd9805ae300c0751b9da2ad18e0


