# isabelle_session_info

session_name: Algebraic_VCs
sources: 4e037d3bdb6a0cecab5284207c6ea4a909d45f44
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
b9823c63ec65db558a030907f9cc1960ca53839e
2ede3a5adc5655c3f30cadb55284949d40ee1673
cf0c79974a6d9e6e28fa754e4d671f5c46692a4f


