# isabelle_session_info

session_name: Signature_Groebner
sources: 5d94b6452dc4c03ce3ed3a53b0d4f1a218649b40
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
2766881d7f2046d2733cf19a82afb5b05e74a4d9
2771a78031de35d257604555339f9c6fa94acc5e
945b55ddffa9efa8fd9d0fa7d4fd2980a5c99af4


