# isabelle_session_info

session_name: Subresultants
output_heap: dc7a8c9afb26ea634fad03607af9b003d22c6612
sources:
0497f0c7d5bf1f3d65d9e6e2c9555e88ee7f58bb
380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed
63700ff9afcf9144a64ab63006adc45ee65dc47c
6a2796e1a162edff950b0506e5310e2a7ab4d953
79e5e4a100020ed906985ebca6ecc17e6f623093
8830d5fc3908a5ecdc2c4e7458d146823f87cde4
8ada41df1da80096d953f6df5ae5324a480a5b91
a454a70e2e9516a6acac874dbd5c03b8eb595595
bd78f0b3c38150b926db087743c6ebc275a6745a
ca36ee4297082491c2c97be811fea2224730a70a
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2
9b738987f2d069af23af5e00acdec7355830e9fb
2d6f3decda41d7780fc826a1595c7883c1073ce8
0f667df573e764682d0e0fa5e45ed2a85f4ffaf7
c3420241cea903e9a96c57f90ce32eccbb91b80f


