# isabelle_session_info

session_name: Zeta_3_Irrational
sources: c9270c3ca5c31dfaf38f79ad7e1542183dd0495e
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
8d72a20da3529ac1397d6baaa2e0de9cc0929a6d
e4af1b843f3d61605b87cbf8d90463da209d9e6a
77d025a30e7f2e52b321ef2778848a411a4dd95d
454b8651e9d4465b25bbbf14a6f50689c0a99911
2b7b5c2941826eac4179bece73f0b82a12c48dac


