# isabelle_session_info

session_name: Dirichlet_L
sources: c8737dec2228df7e96259d6981f32a693d6f73ed
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
450c54405b003d6f4b7501021314e5f7abe09d76
8fe6f9252247f772350bde1ccb7260db9c314dab


