# isabelle_session_info

session_name: Algebraic_VCs
sources: 9d84249f767b9e7ff4f6119053eb661fc6b371fe
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
a642933183b53fca718dc59a0bff9e3d87623969
71a93aa9ea19d34d00ae2f909a2201608689bcd9
d4cf960b3a0d88e23a8e008dacd01c426debc249


