# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: d0143c0f52db216674e512fa8f672fb0a5db2db0
input_heaps:
ddac2b5ec5b65da1b8b70ee1f826bc68a3a90672
30153c358506b8c6cf9900427066fbc55c1a434e
8e9f41bbbc48ae5c70f15c60967c06b1be16a63f


