# isabelle_session_info

session_name: Groebner_Bases
sources: df187b6b0c5d828e8f7a7cc1107f6eeeba4444a5
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
67efed29c5db44bc5a6ce1038966f709e5ebb132
f5479521e07646bd9f6e866a3550d50ec4964d66


