# isabelle_session_info

session_name: Subresultants
sources:
302416cecb77d281c710a88f5074e363496fdb3b
468bcb9b7ff3274b2a835f450c9c6be815d195a5
63700ff9afcf9144a64ab63006adc45ee65dc47c
a2ba6f84351480db20e04d80de77bb605ac3a93a
a68ca7279f35c481caec44bbdc9476376fefb40d
aa39228551140c09d0624445e19a336471ace6e4
e1c31c4c9e685d92f9a77cf5e9000290944981cc

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
bcb2c163557370fc3c262b426278daa35f969e98
b22e4c2901a024517ac440e4fa6dd75c666e05a9
d0ac89accd1212404966abd2f815523230df7cd2
387e6ee9b0ab6cb9a2a19122a17912e4e7527f4c
c83e948a34ea5bd9fae02e2d678de0f71d87520c
c4359f0a0059f6484e97023bdbdaabfbfb24ca1e
178a24c3f8d80a5bae3dfd9cf10e15136233139f


