# isabelle_session_info

session_name: Dirichlet_L
sources: 70062aa91f866c11f492b3adf0dda1c5be026022
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
50d7567ba5f079e933f9c40588fc7548716f71d9
fc755b3981a58e3ab6e234e516a386fb4c8de4b9


