# isabelle_session_info

session_name: Zeta_Function
sources: f72b6c2544104a813d8e4c28c10d63ade6b9dfe6
output_heap: 9f7cf4dc1820b739252782ff06419c8e611da27f
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
08c0e2c96308589d9617abb6fe2e76cd1331a538


