# isabelle_session_info

session_name: Groebner_Bases
sources: c5f8c55eaf2a39600af9439294775d725c4f1cff
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2
797c42daa4cf1d41f6f4f9635f31ffc6de9a50df
5a69634c0c69140cbcb9bcd3cfce7f521f800d9a


