# isabelle_session_info

session_name: Subresultants
sources: a2998aab8d3b51b891ca6aaad37712d1229d97d9
output_heap: a8dd058fd000ffe4ba1649dda78bd8ad0c35fe4b
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
daf773399df2d213d8f31040a17ff1b2e88164e2
46bf87e128242a537a5f1eca2e017689cee9eaf4
4959ce2a4e830d1f517b9343393eefb35954ddf5
739be721b64b47e87f6650473b3687a918b9b691
fe85ab7e1a128b09d8c0f69e048b88998da085e3
c760972f387536362314cbca5ea3668cacf0360d


