# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: da416772d106de78fd5e60ae8243f7549a44e7a9
input_heaps:
bfd4436cacf29df2b3310f6b7fbb88215e2f1ae4
440bb6d8b3a0b5998408d27bb6ca257f3b3a9377
38867d857f2616f38ee61290a8d3fccd4ef767af


