# isabelle_session_info

session_name: Polynomials
output_heap: 70bb61da4531d8cc7c42ecac8d866daa7e6a1ae5
sources:
0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc
19cff7a57e0eec64f8dcbdca97f8c4d940829486
2c7358b8a06650eec37f803b01424f3c937acf85
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
98eea06df0ff957ef8b6b7693fd3dc82613324eb
ad3e0430353cf9dd719486ae796d190d5e13f04d
b19def0f21aa60775239c4a6f43b6568546283ef
bd8a10d8b8af91647ad6b8199ad78d256018edf2
c913cb99114dfca0e4183e33d44baf386d1bfdd4
d847acdbcc2ecef1af24bc2d2ec3333eef641609

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e89de90d18201999edb9d0c4b8a208bce353f9c8


