# isabelle_session_info

session_name: Subresultants
sources: 5b4954572001766dbf9b36cdf5ef59e651e28cab
output_heap: dafd534336a62680526b7adb2769d33adb777c73
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac
e9f583b3750b5c1e76eefd343f7fd1a670ada61c
41e50692a44a746fb0d98c1dd9e7c2f9637b9dea
ba83dd71245b33f5674958c582cfaff3a87cf260
9d1b21b46f8bdc53478e9473fe0c5b8cd9d67cb1
3a8237a337d82e1a3ecb45f9a99ffcd0eb6ace3f


