# isabelle_session_info

session_name: Subresultants
output_heap: 79e0ceb0560fbb9a307747e05fad2c947d45cd63
sources:
0497f0c7d5bf1f3d65d9e6e2c9555e88ee7f58bb
380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed
63700ff9afcf9144a64ab63006adc45ee65dc47c
6a2796e1a162edff950b0506e5310e2a7ab4d953
778e4703e1afdf335ae01ea67dc2affd8df6e7c4
79e5e4a100020ed906985ebca6ecc17e6f623093
8ada41df1da80096d953f6df5ae5324a480a5b91
a454a70e2e9516a6acac874dbd5c03b8eb595595
bd78f0b3c38150b926db087743c6ebc275a6745a
ca36ee4297082491c2c97be811fea2224730a70a
fdbbd4321616d58367760b8c78eba43d64a2ac83

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f
669f1d989ccc8432ce0207b5dfb87086e159796c
0f105beb97f56617b85e9ee0e2fb2fb38deb25f9
82a37fe364b430cc09b750f415b69e157b0b692f


