# isabelle_session_info

session_name: E_Transcendental
sources: 9a8c967b8393258723a3a1625951afa389554901
output_heap: 69121f9f9e0880ba17aca42ac71e570cad9d323f
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2f1df30b59f380b2c8c2f73b1e93b179f1f922db


