# isabelle_session_info

session_name: HyperCTL
sources:
383f905173f174089090ecd177669a4776a25676
3a789a05a2dc9933bd074691cbf66c0acacbbdf5
55cf8cb8aaf918014eb60dc38d9879f43b9a808b
6ec780e2b27c1c30f138f7aa5809b0d84a535011
b3041b9d145e1bf75cafc18ad7ababb2b2798630
bdb4973df7ab63e621de849d107e6b0be95bfe54
c27a7b0460c005f5daac95cf8a605b2342071d57
f2f482db4c012d045b08fd8492f92457350ec887
f81c05292f889e0628dbd2fa160c342e71830c9e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


