# isabelle_session_info

session_name: Subresultants
output_heap: 566cd0669a58837491873882f5374f762b398ab3
sources:
380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed
3818bbca84906e2c3eaf744fa00a3037d936d30f
3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca
63700ff9afcf9144a64ab63006adc45ee65dc47c
73f0c6e7ef3334f524fc9920fcb38d670f285921
85c600028df10f351f833ebc0b16d0708552662d
bd78f0b3c38150b926db087743c6ebc275a6745a
cca922a582219c049022d9870519ab453c52178b
cf2d4675f6049f18240b8d967a9fcab24147e8ca
fdb09df51581066fd9ae9153d308ec2ddf985eec
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
93abc91c039f52f86271cad82c5783c5cc5df1d2
fa34367f2b58170d59734929198117cd5cb0a339
9a6d2d5f4440a9bdb100269815556e786b616e40
7f31b9ffafc728b1b64807acfe6024c3a928cce0


