# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
0051ea09776582b9410b18e4da0feb402522d186
6e328d578e457acf2dd63c4257c2eef6bc6e8798
1dd730c738b19ba45224824a62d018e9ed3eadc1
69fa277fbf1f2821b3dadfec0ce2fdc8065732c7


