# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
75374a09cbef1204a7e538fc9a783ad1f5d9fc25


