Flyspeck/ gt-def