# isabelle_session_info

session_name: Groebner_Bases
sources: 52b441dbf4b0964ad8b24847dbb1f39a0edb09aa
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
73c48e0591b5bffb5348467f27a424ede52f8172
09f9d464fd1cee79b17102e7598a16a6b1ae24b0


