# isabelle_session_info

session_name: Subresultants
sources:
302416cecb77d281c710a88f5074e363496fdb3b
63700ff9afcf9144a64ab63006adc45ee65dc47c
9624b0020a1181529287f2d2f8fbf2ed68a0baca
aa39228551140c09d0624445e19a336471ace6e4
e1c31c4c9e685d92f9a77cf5e9000290944981cc
ea52db52e4adfc33a3b56672fe0a1314a0d7ca8d
f478b8a793f1128397e8b74a903e3e245530063f

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
c329537f2338737215b0b9c870b75eecbe1c5de3
09a084a642ea9f440c16b475debdd7dd0e298b77
42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083
9045fac0a18463afce15cd4b1cd390715d9fa55a
367ed44c8c4984180edd7facbde229fdf778a52d
cc61693b0c10b34516e0d6eb7e186848c17ada52
304fa8d0fc3624bcadbd886c9fc7566a98dab259


