Суперкомпьютер "Крэй-2" в 1986 году ввели число 2 в степени 2 в степени 30 плюс 1 и задали вопрос, на который после 10 дней вычислений был получен ответ "нет", между тем, как если бы это число уменьшили бы на 5, то такой же ответ был бы получен гораздо раньше. Что за вопрос был задан?