# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
c9404b4528a270b446269572166306b5a65bc19d
5665396567a9c7d310af3c0d056fcd76391113f4


