# isabelle_session_info

session_name: Dirichlet_L
sources: 4af0ac2307c47d937fd9514d4e5bf7ce71da39e9
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8
4643949553fea16851da3f50e45b86049f944fa0


