# isabelle_session_info

session_name: Count_Complex_Roots
sources: 14bd1e09d355db5d0d2b98709a7ebc23f7009dff
output_heap: 3d56bae9e5971c0679f46ac950d906d3d1db9de8
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
084dd84dd5b6b00e22e43a181a74fc2ea6a92b25


