# isabelle_session_info

session_name: Dirichlet_L
sources: 7b6e53962afa9e3b7adaf30692f4a2b87665044f
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
f69ab0064f32b87057d73eefc60c89b5c8260371
723222f749cc30f9f9d5b74c003fbf93db1e08c4


