# isabelle_session_info

session_name: Algebraic_VCs
sources: 81222de844ccd76885b85f36c8f094dc98b0c1ec
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
d4a6f3e921d39841f386c3c0f67c9fffcfacaa73
27d8d3322ad729210d8d4d442cf83c53c9c32455


