# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 71e8cb62c51324209d73b4d7d3260a308d777aac
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
1574c04bcef66ce661081e0a155b70b7d2bde470


