# isabelle_session_info

session_name: Groebner_Bases
sources:
375052f54ee09c03cd75b04192903a244100fe82
3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0
8148bbcd1e77af41ff589246e0a10e6a4230df95
d2f87c4f0afe8e4bd9610410f722d361efafbb3d
d86662b125e3c6f79c66da3a4a5d99e8601879e1
d92cc33c39cb0a77d32c803c7801eeba83eaac6f

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
1432408a47bbed2b2d743b49f299e7c2e1427380
9de77dfa4246fff0f141581ab70249b167651152


