# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89
628f88d13b21360fc0948bfd7de8b3d5d6795cbe
45158e4270f7ae228b10ce8aff427c8b8a3f4c75
84d0b438ac5fd09c3a248924091dbda1aa26fabd
5cf71ff7f0e4322b66b62c02ade8793df5e0b8f4


