# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 76ab0e53f97561d8d6b74870fecbfcc8af3eb48c
input_heaps:
b448280d99dfca3fcc3b756c60f43e37c9f889a6
32c1b1c09689810c1d8958b74fbadf82f0a39e0d
6790ab39f960c9ad64a0ee396a59124868d6a686


