# isabelle_session_info

session_name: Dirichlet_Series
sources: ee85d89c670a856f7c48634b5247f3c663fa15c4
output_heap: 0ff98e0c6a40df96524c4911494ec0b8c96845cd
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
46924ae7fdf2d3b6dfe0db46173b9c412365c8f6


