Flyspeck II: The basic linear programs
scientific article