# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 694775ac417d8aac7012de4e62c6f50d41f3aa92
input_heaps:
fb84d628448b9950118429ddd1544ba3ddd4df21
0698e6c47efe4fb1b477feddf75ff7ff44906ece
84e44d6b10d5139bea8ff397436a96f38522c3fe


