# isabelle_session_info

session_name: Subresultants
sources: f27f7e7f8dd6eb08ac1f676317e6459504642939
output_heap: c94af84f1ea60e6409df6541d809b0190f46afc1
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
d11f8dd5f829b9716e349208ffcad761664f9cff
7e26027066ff35f39f138de3b263eb857600caac
8099db632bc3b32da6016e4d32d081b785e3cfc5
4c4eb99626b2def7cc5db51f645d3f10a6fcd1e2
0fa3f63237fbb1c5c53e77ae847638c1e0213b75
9b050a8e9b991ee757889a1393e4fed75cff3eec


