# isabelle_session_info

session_name: CAVA_Automata
sources: 4b6fdb5aed66cf9e314d309d881ff5dfe1b1ce2b
output_heap: ed4bd0f06a393520b1d73af2222947bf90fc4fe7
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
26861a2f7729d3ee945ecb9c15aa4b72e3287be6
5cf2275acca90619f2eb259f066c3f8b5ea2c2b9
de0da2e5791d182edf2ac8be8f977ed6e95800c9
6e63840da944d8dc5760d2a5d7d222e0fefe1a4c


