# isabelle_session_info

session_name: Subresultants
output_heap: 0326972b8a5af17738b1ee62b7a26dbda11c18bf
sources:
2307fdb27f307e4dc76be26838086d686630ace3
3818bbca84906e2c3eaf744fa00a3037d936d30f
3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca
3eb9bf0f7f07343b3fad0f4f859d143e72cf853f
63700ff9afcf9144a64ab63006adc45ee65dc47c
9c9ec7d6ccd629841bab4197e5f877338e069824
bd78f0b3c38150b926db087743c6ebc275a6745a
cca922a582219c049022d9870519ab453c52178b
cf2d4675f6049f18240b8d967a9fcab24147e8ca
e5690279158465d6287d5e4e16ba3977fc95c57f
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
e239851711910a6527f92e8db31572ec8f52b3c6
db46c2d97862fb5dd860308057c1a116323a2f0d
aba51160025939bc4a5f67a8b64fb7fd85a2d2a6
ebebdd312ff374dfd4bb99c7d7af12ac1a14180c
d3b5d5857f6b3a32fb1f71b766ae638b884d2190
2015423af69662afc8b69e07a660d8a6c75566ce


