# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
75374a09cbef1204a7e538fc9a783ad1f5d9fc25
1d187b7709c29b39e7a4bd82128181c9dd851176


