# isabelle_session_info

session_name: Dirichlet_Series
sources: 2b35c02a419cf7b3eff23f2c8177fb9390981c21
output_heap: 9c33d99475a76e5247c1cc290422015eeaf159ed
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
2369b8ce4e84580554195548d17ce55ba9cff784


