# isabelle_session_info

session_name: Dirichlet_L
sources: 436f25c1b85428236252c5a25fdf52cb179d0e2c
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
0d958163c01ae27342331533ade53b2cd2488299
194e7b00c707fb826cd9ec3260293e14b3a183dd


