# isabelle_session_info

session_name: Subresultants
sources: 274429429a42c1d18c57193cd4c618a6227ebaba
output_heap: a377f8e83d16041e66227883876ec4e895d3306d
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
efadd5e2415b70a835a36820e6157751d92cd168
90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf
0e5cd0aa27bcf9e14390c7f9613452f604e17fee
81570f0964418fcb9945003d64445a2cb57d5d39
5d20c944b256649be85d2caf677b5dd6b7d90589


