# isabelle_session_info

session_name: HyperCTL
sources:
085a79689514cae4b54ff7d38af148e3f9998070
24930768d36bc0a331697257252ae34202f81f2a
383f905173f174089090ecd177669a4776a25676
3a789a05a2dc9933bd074691cbf66c0acacbbdf5
55cf8cb8aaf918014eb60dc38d9879f43b9a808b
6ec780e2b27c1c30f138f7aa5809b0d84a535011
b3041b9d145e1bf75cafc18ad7ababb2b2798630
c27a7b0460c005f5daac95cf8a605b2342071d57
d45b2185175f77027946daa706988c766cbc243a

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


