# isabelle_session_info

session_name: CRDT
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772
sources:
03452d59af99836a680906b505187f9a7b92fef1
08f0891cff2f74fd97fe4f8d9775b4b780015337
0c9469e4651698f44e3e228873be074985fc67b7
11e3d63edaae207e5e2a56f61a02be1d8fc71098
185b62c9a47bec524007ec7a2225b16a8f4b9349
3997ad1247c599ff5ca5a09326a165d755ba9b8b
5117119a178eac69d137fb85243808da2d667eaf
53a0e66ebbe420a1db17eea8eaf85b4b45a9c094
6929a5a586c912fe249445f5324e66d2651d4f0a
69b4d87e9cab0b856337e17afce32c08395ac7ff
7bb2894bf6b2b1879e224f67e577c429b34466a5
7d61920a90bf4cf8a723eb044ad8ff033d8c6d1a
81bf41c134f9925f1f3de4f207a27df354f40b9b
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a15e26ba594a2ef06b91fe64c839819edea73a09
a87b57cb81bfe21df0024adf6c927b90c73f48a6
c6595eb84f7f5b6ff8cf51591a134ede1855866a
c99a1e4e3375bd4b794ca4b0e7c471da40c32cab
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
d5b9e6934f370bcb1889bf0abb57946bcadf5409
e16944bf0cd5fb22a0d358f51a5754bfc614e47d
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
faa2ad9cbc8b68aacc77771a34ac920e4d7d75d3


