# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
b62b082da1d764e713f5960b70e1b522ba49b147
49864562e8e54cd291c48e947679592174f2f35d
9d7d535d3ad8d58f3f29a36c74e6e9bc8a8a1330
97fa44cf51ebf82235b09ddbfd26ecc025bcd239
ab28000270f06c6856bf561e49b9b2e847ac146b


