# isabelle_session_info

session_name: Algebraic_VCs
sources: 09d84705ab7edde2e87832ddf6c908e0c73b4fb2
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
2199e330ac59e6d168064afaf1a6cceacea7ddf7
4bf0e95cb0e4dbfc1155448ad46133e11630c39e
ac378a031b6db52facf5d4a383a4a59f0b86d72b


