# isabelle_session_info

session_name: Polynomials
sources: 46d41e0bfef178fc8c4adfe375ade8772566ecea
output_heap: 5a7a99f5c8d3c1b5e3d450b3cfdac206729c570b
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
3d0667e85ef75ac10b3f67c9303a4f3b005e68cb


