# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: baa6dce1bf02e7d6b0bd8b09e420b272483c8464
uuid: c8d7f595-0323-4389-8ee6-809e39f87b2d
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
0d3692f70cae1037773a3236286a647308247f79


