# isabelle_session_info

session_name: Polynomials
output_heap: 8977330e0178a6a9ebf8c0e9d6ee072006c1cdad
sources:
09e0808c0e37c102417cc80ab635572ecd263bca
0b69d8c3f70856201e8c054bc34357b13520292f
2c7358b8a06650eec37f803b01424f3c937acf85
3122c5b55089566c74375976fd6040cc34c326db
32962e3da5e63e717fa19dd242d9f7d639774471
37e048eca1afc2c069cebaffb562a02b039bb22c
40cc7eeac230832e110edf43421355bdbbde44b2
46c6cffbc7585f1c0b12b05347257f754b1221ed
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
79f31440868c5686b204e83e4f26f92eb8d94f9b
843859570ea739e5d11e1bbd7cf1b8054832b2f8
8728d31d1abdf09f7e3be623dc60d9f7cbfd8fc8
98eea06df0ff957ef8b6b7693fd3dc82613324eb
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a526ece146642d823be07862c7c8488392c4dd25
c913cb99114dfca0e4183e33d44baf386d1bfdd4
d3d8250e5555786375df3552614f695990918b95
f8bf8602b256d952d1aef972c9aae94ce29a6c15

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
7a21c80d3cb9f4fec6066cfeb29821ec2be1b923


