# isabelle_session_info

session_name: ClockSynchInst
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772
sources:
03fc5407a1863f996c32dc9839554a793352f24e
1ada44196f0f092a73f7cf05d193818482d6283d
1c73eea94aeeee4ed1379b7fc85cb8af4357a08c
4fe8894e0f87c582c785bbbd6e1767f74071337f
f0827bd66ec30d76f4db5a9addd865d6a43e28f2


