This search bound was reached in 2006 in a search effort by P. Carlisle, R. Crandall and M. Rodenkirch.
Этот интервал был достигнут поиском, организованном Карлайлом (P. Carlisle), Крэндаллом (R. Crandall) и Роденкирхом (M. Rodenkirch).