# isabelle_session_info

session_name: Polynomials
output_heap: 9de77dfa4246fff0f141581ab70249b167651152
sources:
10eeeb951e8c868e7fc5441e8cda0aa3f1667612
2c7358b8a06650eec37f803b01424f3c937acf85
40cc7eeac230832e110edf43421355bdbbde44b2
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
8728d31d1abdf09f7e3be623dc60d9f7cbfd8fc8
932eae856f0c7cb5698eed3b3b41b4da04281f33
98eea06df0ff957ef8b6b7693fd3dc82613324eb
c913cb99114dfca0e4183e33d44baf386d1bfdd4
d5e3f1a3a440a7e16cdcad25c7df1a74d591c1e4

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
1432408a47bbed2b2d743b49f299e7c2e1427380


