# isabelle_session_info

session_name: Polynomials
sources: 95f30208fc0d748255d935d5b45d25806cc61ddb
output_heap: 8c5c0f1cb51cadda0c5c2c332d5b271692bdd217
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6
3c2158dc692ebded3a7c2453852d9b90ca55ce1b


