# isabelle_session_info

session_name: IMAP-CRDT
sources: c5fed85a6adc13f20a33b03fd4fd9f6bc455a35d
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
cb40a62482825736ef209e50ad01913a5ddb8b88


