# isabelle_session_info

session_name: CAVA_Base
sources: e3c0afeaae421588cbf18abe3500a375e455a3c8
output_heap: 12bc87a7f68113bae96957f58efb27cdece34461
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
afea85cf1dd59bdf03deeb69cbfac976e81fbc62
1c466f71c532c25bd2e72e07095d0f7aba095ee6
03cd2aed9bc0c27ef8667b37b667141c677255b2


