# isabelle_session_info

session_name: CAVA_Base
sources: 4e8c653418d5f5edcd14af9bba89fa48eba8ed83
output_heap: 4a0f3700ec32a11ffbd799c70a3b3c9d1f81ea83
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
2f484737f9e309b1dda4db1db62345fe202c4f91
14de8d5ef97011d1aab90fe1ee9e6a72e94b032d
20ce141ce56eee59065d2403cf726ecb8d9be303


