# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: b4eace73409f031ddf484fdfcd7089fb7a251616
input_heaps:
8e317804cc1fbab9a0e9f003ee80317e5adb94d4
0634c582985b1be92fc708eb5be83667c49da2d8
0916db4258a1e7d81e50138bf9b5817ce2170dd3


