# isabelle_session_info

session_name: IMAP-CRDT
sources: a4d95dd013353a57b05bca01dd26d4522fbbe531
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
cce13514ba334953d740723cf76afef9f9ed443c


