# isabelle_session_info

session_name: Dirichlet_Series
sources: bc3463fd03c2cd6d3a1538d82d3355b6c69c7549
output_heap: da9ed2677833b77380b9baddec06a4b429b5850a
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
7eca4f1e65c2d4f1520386d47351a3f6c9e5fa47
d21830a8f9906291a7b8aee2cb546df997b8f7ac


