# isabelle_session_info

session_name: Algebraic_VCs
sources: 488df4f1c4828511b6297b00381fc150274651be
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
bb40205b498794476d38b0362dbda37d779495b9
5f340e3d381b8d80da48176afd25f3448ef808c3
6eb3080164105fa6db72b42e65cfa6df49f35430


