# isabelle_session_info

session_name: VectorSpace
sources:
060a24ba4c2b22fab36d96c2aebaf9a759e545fa
0904df2840e733d0d1bc0be759387c2e3f36904c
417c4244ed5cf06034efcf574ac73c56bfd4e57e
5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639
6384c115b1a792101495f2ce540ff66a40255f01
6d815ae860f7b4aaefc07a6f5f03e85e42474556
99733bb1f3c9cdcd00bd02fa80f7c7bf6b8a6209
e546d7289821a29ee4e3b9e7cc40905a0832d969

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2
9b738987f2d069af23af5e00acdec7355830e9fb


