# isabelle_session_info

session_name: IMAP-CRDT
sources: 8875dc4dd0b703ad013b4224cddb5d6314320259
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
a1089a1a4f697783dee6aab7a12fb483210f4147


