# isabelle_session_info

session_name: Subresultants
sources: ab5a7b6c376fe94189450b09daa55fa6be9603b4
output_heap: fc5292c0509f649541007ad53f555a461799de84
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
35bafc4e8c24229f386bf1fae8a2671fa735bd0f
e9887d22fcfd856465a5bac76cc98ae6f4a36904
438966367b9cf4900d0c319843e61b21bcfd6865
13f4c36e8bfcc9e20fb724be54a6a8a1cde9b061
551f7d7387ce6cf642afe6f02a4dd3d238bcbefd
2c7d80e33be531e84ad33a5ceff404bab9548e8a


