# isabelle_session_info

session_name: Algebraic_VCs
sources: b3a255bb844fb54987a94c2ef3fba4d1b452770f
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
de080a6e9a001cc218fa2593f399edf3cf599caa
45a6c39185b21e2434d10098dafe56ac610d316f
5793fbfae01571d107a6937c9e21fc998eedf641


