# isabelle_session_info

session_name: Subresultants
sources: 8a622ae81e1a37ba351d6c44703fad32951b2ce8
output_heap: 9c166d8c291c10106eada15ca04600ed4ca85f06
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
2ab3967580a9293260799294f3a72b6d3e4eceae
c348c7c334833915f014eb89a25a4aa689902d10
edb61f10827faf0f2018ed3274705c2608d47b97
7025970b89a6876a92fca4d43f1a3380db3e80e7
d02aeea11c5fcba58dfe2f2e89131a1dc9da1b01


