# isabelle_session_info

session_name: Signature_Groebner
sources: 2d103c6362c5ade0d1f8b900cbdacf5e4430ae8e
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c
005cb0de6b39b5f1f9153f1dd6a340ee1f098f94
f152cd8f3dff3df54a1211d24cc89c0cea6580ad
c8e36c3fbcd3245ffde361e480a5e5c46e73b3a4


