# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: da416772d106de78fd5e60ae8243f7549a44e7a9
input_heaps:
d2ef5c31b6b3dc4759222e80e0e7908f5583284d
0f37cc81934b398fa192c563f955fea88fb533f5
c72ca60370c224e83110d1db9204593c9fad0f91


