# isabelle_session_info

session_name: E_Transcendental
sources: 49f2e6ee51dda68398a941e5a22636b7ef0e8c5c
output_heap: 015a413ca3848e025a4a8623ebd645f406e954e2
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
34f017f50e8f9831899f371b93beca4f99c352ea
6d9a012e82d0d19c0d61588fb58146a0bab5a75a


