# isabelle_session_info

session_name: Dirichlet_Series
sources: 6d1ffa8a4e64a2ea223e04f5885043902994e304
output_heap: 8379c5bada40cfb91f7b5f410b42265c5ca57af9
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
223999b3718fa9c4a49cbc7261f4cb6ae6361149
e53b976b6bbc6f8e17519363f979842af25c60ff
257dfd150f4d03b7641bff6169f8fbdee744bfd5


