# isabelle_session_info

session_name: Algebraic_VCs
sources: d3bc0fbcf3dffe6c45f071f7941803cb44c96a17
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
df2adf98ef6b3530a19be3a34867ef9889a95a89
e2ac2d7e901a7716984cb85f9e7ce1be5c8e2056


