# isabelle_session_info

session_name: Count_Complex_Roots
sources: 9c08423c6e115aa2e7ca9de57fa3a0af2e74c4ee
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
84e9ff1afaa7247afbeef9eb4b335fea17548a6c


