# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: f4d82cf8c5e4fc7db933630deaaa1a2e6cfcd3ca
input_heaps:
724c7f3ae9a8a6f3fa9668fe696b47388a7b8b71
cda097f0bf3ea97322e944a342d133a31abdd0f6
5224fe33b0f14c340a12c82b308ddf0b665967ed


