# isabelle_session_info

session_name: Subresultants
sources: 978a1b74faf74be76725c5935a51be1a316efe1c
output_heap: f1a41fa22ecfa8c18942f391269f6b174cfba636
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
76569883e614cc4011056c6d2e832c9797d585d6
1310f4f480a55c96db72e4877ea540bf867992cb
0d8757c54ca0e675b298b118ddf982d3f34b47c5
8ba4b1e25b72c7eaa6f4803804ee4fa24415c18e
2d6ded758bb0c85b988b3ad9a696e42da41adcf5
d0596d5e3dc69cdf2514c09409853486ac7d14e9


