# isabelle_session_info

session_name: Subresultants
output_heap: 0116cc855ef7291fdbe0d15d40dae2a33f35f836
sources:
0497f0c7d5bf1f3d65d9e6e2c9555e88ee7f58bb
13105a151ba26616a430617e562c7f2400b58f50
380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed
63700ff9afcf9144a64ab63006adc45ee65dc47c
6a2796e1a162edff950b0506e5310e2a7ab4d953
79e5e4a100020ed906985ebca6ecc17e6f623093
85c600028df10f351f833ebc0b16d0708552662d
8a6c72a0b89aa2a2c5238d8872ca8b47c49c9c8e
bd78f0b3c38150b926db087743c6ebc275a6745a
ca36ee4297082491c2c97be811fea2224730a70a
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
7c89c7fd450bc26883d6ceac86a15ae9969a8ac5
1c4b8fc0b964f3badfaf608717509309386f6979
be664860974755d84e94e607fd8553009e2523c5
1b7af34dda1b3b0d80c7d886ddb63cc1d721397e


