# isabelle_session_info

session_name: Count_Complex_Roots
sources: fbd7a50ca90a90d62e4dd7761ef40c1804607479
output_heap: b6cc15fdcc138de6bedd62904c37122eaf2c3e72
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9


