# isabelle_session_info

session_name: Signature_Groebner
sources: 106a4b916293532bce8bbb4cd8bb2a70cd527b87
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
311da8e30ca66082f8792d0561fac6558e211806
83c4e8ba081665f95eae2cbeb14d01828ca7625e
5a2f2cc643732ef896f5a571783ebcfeb3016a17


