# isabelle_session_info

session_name: CAVA_Automata
sources: 3fab2c272daee36e5e83e41b8bf2a64382dfeeb0
output_heap: c31504316bd4d09f9f42a1c69f6b3f159fd2525e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
3b148a2a61b1ae023fb5751b78092e889d79d244
ad3546b6465eba07d90464777e99f5697f86ada4
14f9a792e2818de9e20f47cc9d5358034e12d2c7
ca718b5e0e86fe4830bc55080bfefda056cf1a2b


