# isabelle_session_info

session_name: Subresultants
sources: e5262ca6a096227da0f3e25b2f5af8e5f217d268
output_heap: ef9ccde3f0c43783554d0e3b6468fb51cf5d8264
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
b99fd466bfce9bcd63f5212920b2f069f7c60f5b
633bab71540a35ad6006607babed2bef3a292c9e
36c84d5d0dd9c9bf4fe95923e64092b0c9ad2e24
4a17272bb69b5f2717a2a49190edc8524e8ae232
00072a7b86cbb3b694df4f0b08401eaf723b3572
643b26df74c67d6e300fa3487ce6857004622c2f


