# isabelle_session_info

session_name: Dirichlet_L
sources: 0a8950aa21a1eda6fa7130ee6417e8e5e40dc7e2
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
362bcb4c52fd53d399ef9d2a29a45dd20027970d
059c5175c0488b0442dacecc4febaec6050fa2a2


