# isabelle_session_info

session_name: ClockSynchInst
input_heaps: 19db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
sources:
1ada44196f0f092a73f7cf05d193818482d6283d
1c73eea94aeeee4ed1379b7fc85cb8af4357a08c
4fe8894e0f87c582c785bbbd6e1767f74071337f
b46913f802e81cd9f864a8a819e982defc8f7fa6
f0827bd66ec30d76f4db5a9addd865d6a43e28f2


