# isabelle_session_info

session_name: Dirichlet_Series
sources: 7fab84355f4c5cd373dc3e70f82b2414aaee3ae1
output_heap: 9ebd7cf8fe123280d9f681af075c1795730064c1
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
27380dc72e623c038461b5a833200b5803ef071c


