# isabelle_session_info

session_name: Dirichlet_Series
sources: 4e7be0918ce51a6450f40727481967dad1baaad1
output_heap: ec4088309460476cb1493c98ec13fb7c736c4d0c
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
e80462241ac3de8d4540cd4173ab1f28a290f55c


