# isabelle_session_info

session_name: Count_Complex_Roots
sources: 8e92349f5c64ea4adb5d342b30a75d97142d7d1f
output_heap: 267381863383e84b1887be4060b50da2166eb4c4
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
ff933fee1bfbf84c07972e35bbb65890f0fa16d3


