Бристольский университет
Весной 2019 года Эндрю Букер (Бристольский университет) разработал другую стратегию поиска со временем расчётов пропорциональным formula_27, а не их максимуму, и нашёл представление 33 и 795: