# isabelle_session_info

session_name: Subresultants
output_heap: 6b73c69625f11957dac9cd0cbe217a39df6089c1
sources:
2307fdb27f307e4dc76be26838086d686630ace3
380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed
3818bbca84906e2c3eaf744fa00a3037d936d30f
3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca
3eb9bf0f7f07343b3fad0f4f859d143e72cf853f
63700ff9afcf9144a64ab63006adc45ee65dc47c
bd78f0b3c38150b926db087743c6ebc275a6745a
cca922a582219c049022d9870519ab453c52178b
cf2d4675f6049f18240b8d967a9fcab24147e8ca
e5690279158465d6287d5e4e16ba3977fc95c57f
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
f7302172cbab6776a4f4ea357d315a195daebe42
d67a10205e66d01ca3a2256f96ec1a58fee34e40
210fcaa68eceb1909c0bca6b842c91dfdef9b6eb
5d83e01d4ad30dcd478eae5690303a92b3141b6b


