# isabelle_session_info

session_name: CAVA_Automata
sources: ee89da38290e6f38dcf3dbe44457b8c5e8104bb4
output_heap: 89ec1128792f1ddb137fa1a71df46bfe7758d5fd
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
964183943647a3fc0d559025d2c32108d727845f
7178df41b23c03d70a18770049a914dedd17da3a
138f92f21a3988bb35f15edea16cad5963be6606
ff282e7e90de44bd4e332c0f3bfe20e97be0cd63


