# isabelle_session_info

session_name: Subresultants
output_heap: 428efc2567b2be58ea77664ff72d61dd36441538
sources:
1aa8f2cb04ca85654c7b4b1383610eabba772a0c
3818bbca84906e2c3eaf744fa00a3037d936d30f
3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca
3eb9bf0f7f07343b3fad0f4f859d143e72cf853f
63700ff9afcf9144a64ab63006adc45ee65dc47c
9c9ec7d6ccd629841bab4197e5f877338e069824
9f388b9eac339137edec0c126475a97d3bcffbca
bd78f0b3c38150b926db087743c6ebc275a6745a
cca922a582219c049022d9870519ab453c52178b
cf2d4675f6049f18240b8d967a9fcab24147e8ca
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0
e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492
754f7bcbfab355e6cc81d4949037f2eec902e487
e73fe595507505773006de3e34fd64af85247e68


