# isabelle_session_info

session_name: Dirichlet_L
sources: c793f74f962e9433ed71efcb551c9f4e8e6f1d94
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9
2714873e21650e15a201d4652bbdf389bc2e4a1c


