# isabelle_session_info

session_name: Groebner_Bases
sources: ceb1a625ad8e092a06fb41b647559c5812ec37ba
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
4b092d27fd7ac3624e46d7013158836b2bf0e13b
8fcd3e246aad671a3201dad1f498a7fcb82375a1


