# isabelle_session_info

session_name: Pi_Transcendental
sources: 32712d6947ff271e7200c38ace43952c4989e598
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
9846996e56cbfc97b7826e49f81b92a7393793d5


