# isabelle_session_info

session_name: CRDT
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07
03452d59af99836a680906b505187f9a7b92fef1
08f0891cff2f74fd97fe4f8d9775b4b780015337
2f0418f5a0a6eaf373dffc3ac85cd95f898ee7af
3997ad1247c599ff5ca5a09326a165d755ba9b8b
45b10210862ff40749c3a12eff14d6344f6a942a
53a0e66ebbe420a1db17eea8eaf85b4b45a9c094
6929a5a586c912fe249445f5324e66d2651d4f0a
69b4d87e9cab0b856337e17afce32c08395ac7ff
7d61920a90bf4cf8a723eb044ad8ff033d8c6d1a
81bf41c134f9925f1f3de4f207a27df354f40b9b
a15e26ba594a2ef06b91fe64c839819edea73a09
a87b57cb81bfe21df0024adf6c927b90c73f48a6
c6595eb84f7f5b6ff8cf51591a134ede1855866a
c99a1e4e3375bd4b794ca4b0e7c471da40c32cab
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
e16944bf0cd5fb22a0d358f51a5754bfc614e47d


