# isabelle_session_info

session_name: CAVA_Base
sources: 368b622fe1e42d1c037ca14f0367653c40fcc474
output_heap: 31d63865a6a1fbdcdd2982e57bb03f84c1726c21
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
c53ea5a4b383bbef8b1798e086f5d679eecf4005
323b7c43cd77e027111c072504fd6f99b6ec1d12
b9e0f1f77514d328a62359fa47201af1a4e6cdb5


