# isabelle_session_info

session_name: Subresultants
sources: 7f89252e819caad4d77de2c9d1c40dd25bfe36b9
output_heap: 19947cb304f0116076da36e539a7364e150892ba
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
799e17e0602b8a57e51c22711081aa85bbe0ad29
26957b508b4baf71538764af93c1fb38ff3317af
7c22faebada35d3a30326ebf1ac4f0645c9eccb3
664bcbc41c74cfc9a951a973d3663c03b3bfe04e
8536b5f1106f93370fd5cd2855665e00eb152c4c


