# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: da416772d106de78fd5e60ae8243f7549a44e7a9
input_heaps:
bbb5b609aa28db9cebc78e0c10b29428b5e676bd
28100a2ea34f8e56f0719ea87d7ea43a4de19490
c3d60239bae1fe2d4338a0b8f10a992c35613ace


