# isabelle_session_info

session_name: Polynomials
output_heap: 1bd667a4dd74a8cf1e8b6bac9c9b234b55e9f465
sources:
0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc
2c7358b8a06650eec37f803b01424f3c937acf85
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
6a213435ca6ce89c07e8bd75e635b205de3bc928
98eea06df0ff957ef8b6b7693fd3dc82613324eb
b19def0f21aa60775239c4a6f43b6568546283ef
bd8a10d8b8af91647ad6b8199ad78d256018edf2
c913cb99114dfca0e4183e33d44baf386d1bfdd4
d847acdbcc2ecef1af24bc2d2ec3333eef641609

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
aad3cc731f1655b88ce4180fcc3519595b2d56f9


