Flyspeck-Tame-Computation