# isabelle_session_info

session_name: Subresultants
output_heap: 08b5bb21b98bc4d4b6fe622e56cebedd7ef2f4a1
sources:
2307fdb27f307e4dc76be26838086d686630ace3
3818bbca84906e2c3eaf744fa00a3037d936d30f
3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca
3eb9bf0f7f07343b3fad0f4f859d143e72cf853f
63700ff9afcf9144a64ab63006adc45ee65dc47c
9c9ec7d6ccd629841bab4197e5f877338e069824
bd78f0b3c38150b926db087743c6ebc275a6745a
cca922a582219c049022d9870519ab453c52178b
cf2d4675f6049f18240b8d967a9fcab24147e8ca
e5690279158465d6287d5e4e16ba3977fc95c57f
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
5ad2f9166cfd8d4d2fa74648bcb36846d876bb60
f837b52ad29ce7db2a60e2328ea78022ae00f418
c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365
b9a6edaae3c46678d645b9ab69d92a1885172bcd


