# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: d0143c0f52db216674e512fa8f672fb0a5db2db0
input_heaps:
26949f38b2066eeb70023a23ab5caf0b930a3a6a
eed6e14c5bd038e1039b7805ff38178942babb11
6b131e9f82ecc6799de346438a8019dbd7ef9110


