# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 6a7bf7e6100709dd145b3bd161c3ce2395d78763
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
c0baef3586b45044b7d23440410730b51558d4d9


