# isabelle_session_info

session_name: IMAP-CRDT
sources: 148e727d9b7abe633601dff78e8ce07a49c76304
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
0b796e80ce7abc66d27c9237bf48c13f91783d67


