# isabelle_session_info

session_name: Subresultants
sources: 93ca37940479dde538a5fd63b9f2782aa0db2385
output_heap: 24edc38cb081fbb95233c400f6485cd2c8c8a3c7
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
d91ebb5bec0137839ea177dc3c1570f8edb1dcd7
41fffcfcd16e24a0a7b6493a55637e4f6b0e1e92
ec7719251eb78712131dba41ba7e40930087540c
52469d684bcbd373d8b47b977bb6d48ed18200c6


