# isabelle_session_info

session_name: Zeta_Function
sources: 5af4303a5929da336075c9fe58d81a7a4e37da87
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
dd3b26eb68cac29493bf399898266d7430458d30
2221da8f380423b171939f29c1f8768d85d26b57


