# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: b4eace73409f031ddf484fdfcd7089fb7a251616
input_heaps:
44ccf15d3cabf1d8cc27d7af9fe5646307c6887b
e18ba4743cb52871247a2781b1eee86c87e47f56
cde7dfad48414aeb51600150c5275d4534911739


