# isabelle_session_info

session_name: IMAP-CRDT
sources: 090017a4907e2f4fc7cffa20d9eef73fb1dab178
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
6a99d0991af48fef96aa660f735af4b9be170c5e


