# isabelle_session_info

session_name: Zeta_Function
sources: 5da53e8300d679e300fd78e5cbbe7143c721db88
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
5d4ca6d7330bbafb70358c8735ac13f48c2b9887
2b74afcd83f23b0bfbe4843b30d9ded3b32fe384


