# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 3f61f813bea9c88a4329b92ebee96781ca3235a0
input_heaps:
bf7b58a3abd9aad2c201e71c33ca4f749f4146b5
ad4297445c0b6027cf95e560b2c3511bbbfc1d62
2eeeecd5394867fa8afbe924596f60ad3452cb6a


