# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 4b0deef64dbaeb677ccdd4a19c1576532070eb9c
input_heaps:
a6e14f3df5685a2cf70838105a1d52553d7e5c21
7e91a6acdbf094f8bcc460b702802d7d8cfd5801
b7c680255b0d811beadafdc6b4381ca36c9ca3e9


